Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Adder | 88 | 4 | 12106.68 | |
blackbox-01X-QBF | 1084 | 130 | 10997.66 | |
blackbox_design | 131 | 2030.05 | ||
Blocks | 50 | 1 | 5 | 920.97 |
BMC | 380 | 51 | 56 | 25876.58 |
C432 | 31 | 1 | 1 | 9851.18 |
C499 | 21 | 1 | 99.43 | |
C5315 | 32 | 1 | 2 | 97.82 |
C6288 | 10 | 122.73 | ||
C880 | 10 | 119.05 | ||
Chain | 22 | 2 | 1.5 | |
conformant_planning | 124 | 8 | 5 | 21137.31 |
Connect4 | 4 | 107.35 | ||
Counter | 14 | 3 | 95.51 | |
Debug | 182 | 22 | 39963.3 | |
evader-pursuer-4x4-logarithmic | 29 | 8932.78 | ||
evader-pursuer-8x8-logarithmic | 10 | 3378.09 | ||
FPGA_PLB_FIT_SLOW | 10 | 1 | 44.12 | |
jmc_quant | 19 | 4410.54 | ||
k_branch_n | 9 | 87.24 | ||
k_branch_p | 21 | 240.63 | ||
k_d4_n | 39 | 406.34 | ||
k_d4_p | 36 | 390.47 | ||
k_dum_n | 32 | 5 | 0.85 | |
k_dum_p | 38 | 4 | 1.14 | |
k_grz_n | 29 | 3 | 852.33 | |
k_grz_p | 26 | 3 | 709.96 | |
k_lin_n | 13 | 7800 | ||
k_path_n | 33 | 5 | 1.61 | |
k_path_p | 33 | 5 | 1.65 | |
k_poly_n | 42 | 6 | 1.06 | |
k_t4p_n | 39 | 3 | 212.93 | |
k_t4p_p | 51 | 3 | 322.09 | |
MutexP | 48 | 598.59 | ||
Qshifter | 45 | 4 | 294.48 | |
s27 | 21 | 2 | 35.62 | |
s298 | 17 | 2 | 146.11 | |
s386 | 8 | 1 | 20.86 | |
s499 | 11 | 2 | 491.25 | |
s510 | 4 | 1 | 5.66 | |
s713 | 10 | 1 | 3626.07 | |
s820 | 8 | 1 | 2454.87 | |
Sorting_networks | 280 | 18 | 8 | 11102.9 |
SzymanskiP | 61 | 681.25 | ||
term1 | 20 | 6845.82 | ||
tipdiam | 223 | 23 | 5122.94 | |
tipfixpoint | 509 | 2 | 7 | 8646.26 |
Toilet | 12 | 2 | 8.42 |