Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Adder | 88 | 4 | 1 | 38389.49 |
blackbox-01X-QBF | 1084 | 40 | 90 | 460516.72 |
blackbox_design | 131 | 78600 | ||
Blocks | 50 | 12731.95 | ||
BMC | 380 | 3 | 10 | 196869.43 |
C432 | 31 | 1 | 6471.99 | |
C499 | 21 | 1 | 314.09 | |
C5315 | 32 | 1 | 2 | 15329.64 |
C6288 | 10 | 6000 | ||
C880 | 10 | 1 | 33.56 | |
Chain | 22 | 2 | 638.39 | |
conformant_planning | 124 | 7 | 4 | 49394.98 |
Connect4 | 4 | 179.08 | ||
Counter | 14 | 8400 | ||
Debug | 182 | 109200 | ||
evader-pursuer-4x4-logarithmic | 29 | 17400 | ||
evader-pursuer-8x8-logarithmic | 10 | 6000 | ||
FPGA_PLB_FIT_SLOW | 10 | 1 | 1015.58 | |
jmc_quant | 19 | 11400 | ||
k_branch_n | 9 | 1 | 388.14 | |
k_branch_p | 21 | 6384.98 | ||
k_d4_n | 39 | 5 | 2296.82 | |
k_d4_p | 36 | 5 | 385.21 | |
k_dum_n | 32 | 5 | 104.67 | |
k_dum_p | 38 | 4 | 110.6 | |
k_grz_n | 29 | 1380.77 | ||
k_grz_p | 26 | 952.36 | ||
k_lin_n | 13 | 6501.59 | ||
k_path_n | 33 | 5 | 275.03 | |
k_path_p | 33 | 5 | 290.5 | |
k_poly_n | 42 | 1 | 731.85 | |
k_t4p_n | 39 | 6 | 2141.22 | |
k_t4p_p | 51 | 6 | 1002.74 | |
MutexP | 48 | 3 | 10933.51 | |
Qshifter | 45 | 4 | 5760.13 | |
s27 | 21 | 2 | 7.67 | |
s298 | 17 | 2 | 736.52 | |
s386 | 8 | 1 | 110.22 | |
s499 | 11 | 2 | 912.64 | |
s510 | 4 | 1 | 260.99 | |
s713 | 10 | 6000 | ||
s820 | 8 | 4800 | ||
Sorting_networks | 280 | 126321.59 | ||
SzymanskiP | 61 | 21776.93 | ||
term1 | 20 | 2 | 146.1 | |
tipdiam | 223 | 39 | 4 | 81548.45 |
tipfixpoint | 509 | 9 | 16 | 277000.53 |
Toilet | 12 | 1 | 2288.27 |