Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Adder | 88 | 8 | 1 | 21162.22 |
blackbox-01X-QBF | 1084 | 311 | 150319.6 | |
blackbox_design | 131 | 27 | 1 | 180.25 |
Blocks | 50 | 1 | 5 | 249.79 |
BMC | 380 | 46 | 55 | 68015.66 |
C432 | 31 | 1 | 13913.52 | |
C499 | 21 | 1 | 1 | 1040.93 |
C5315 | 32 | 1 | 2 | 3361.89 |
C6288 | 10 | 1 | 1558.98 | |
C880 | 10 | 1909.52 | ||
Chain | 22 | 2 | 16.68 | |
conformant_planning | 124 | 6 | 1 | 53074.82 |
Connect4 | 4 | 1 | 3.84 | |
Counter | 14 | 3 | 43.58 | |
Debug | 182 | 10 | 2 | 73938.24 |
evader-pursuer-4x4-logarithmic | 29 | 3 | 33.95 | |
evader-pursuer-8x8-logarithmic | 10 | 1 | 42.04 | |
FPGA_PLB_FIT_SLOW | 10 | 1 | 50 | |
jmc_quant | 19 | 11400 | ||
k_branch_n | 9 | 1 | 45.9 | |
k_branch_p | 21 | 2 | 55.36 | |
k_d4_n | 39 | 5 | 2377.59 | |
k_d4_p | 36 | 5 | 26.03 | |
k_dum_n | 32 | 5 | 22.86 | |
k_dum_p | 38 | 4 | 25.79 | |
k_grz_n | 29 | 4 | 99.15 | |
k_grz_p | 26 | 4 | 50.56 | |
k_lin_n | 13 | 3 | 63.23 | |
k_path_n | 33 | 5 | 20.44 | |
k_path_p | 33 | 5 | 20.65 | |
k_poly_n | 42 | 6 | 24.66 | |
k_t4p_n | 39 | 6 | 105.78 | |
k_t4p_p | 51 | 6 | 35.45 | |
MutexP | 48 | 4 | 33.2 | |
Qshifter | 45 | 4 | 125.06 | |
s27 | 21 | 2 | 13.32 | |
s298 | 17 | 2 | 46.38 | |
s386 | 8 | 1 | 6.69 | |
s499 | 11 | 2 | 37.46 | |
s510 | 4 | 1 | 3.39 | |
s713 | 10 | 1 | 14.84 | |
s820 | 8 | 1 | 19.3 | |
Sorting_networks | 280 | 27 | 18 | 49566.11 |
SzymanskiP | 61 | 6 | 8623.15 | |
term1 | 20 | 2 | 8894.77 | |
tipdiam | 223 | 47 | 8 | 60779.77 |
tipfixpoint | 509 | 35 | 37 | 187749.03 |
Toilet | 12 | 2 | 12.94 |