Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Adder | 88 | 1 | 41275.58 | |
blackbox-01X-QBF | 1084 | 283 | 231853.96 | |
blackbox_design | 131 | 27 | 1 | 74.64 |
Blocks | 50 | 30000 | ||
BMC | 380 | 23 | 34 | 108847.02 |
C432 | 31 | 1 | 13630.14 | |
C499 | 21 | 1 | 7220.3 | |
C5315 | 32 | 1 | 1 | 10652.17 |
C6288 | 10 | 1 | 3.96 | |
C880 | 10 | 6000 | ||
Chain | 22 | 2 | 3.01 | |
conformant_planning | 124 | 4 | 1 | 61088.56 |
Connect4 | 4 | 1 | 510.86 | |
Counter | 14 | 8400 | ||
Debug | 182 | 85211.67 | ||
evader-pursuer-4x4-logarithmic | 29 | 8436.56 | ||
evader-pursuer-8x8-logarithmic | 10 | 2846.02 | ||
FPGA_PLB_FIT_SLOW | 10 | 6000 | ||
jmc_quant | 19 | 2 | 1 | 194.09 |
k_branch_n | 9 | 1 | 57.42 | |
k_branch_p | 21 | 8722.29 | ||
k_d4_n | 39 | 23400 | ||
k_d4_p | 36 | 21600 | ||
k_dum_n | 32 | 19200 | ||
k_dum_p | 38 | 22800 | ||
k_grz_n | 29 | 1 | 14441.96 | |
k_grz_p | 26 | 1 | 10912.58 | |
k_lin_n | 13 | 3 | 575.34 | |
k_path_n | 33 | 19800 | ||
k_path_p | 33 | 19800 | ||
k_poly_n | 42 | 6 | 3.4 | |
k_t4p_n | 39 | 19417.45 | ||
k_t4p_p | 51 | 1 | 24979.02 | |
MutexP | 48 | 28800 | ||
Qshifter | 45 | 3 | 7791.38 | |
s27 | 21 | 2 | 1.42 | |
s298 | 17 | 2 | 26.56 | |
s386 | 8 | 1 | 2.27 | |
s499 | 11 | 2 | 21.8 | |
s510 | 4 | 1 | 0.82 | |
s713 | 10 | 1 | 4.28 | |
s820 | 8 | 1 | 6.14 | |
Sorting_networks | 280 | 8 | 13 | 107012.53 |
SzymanskiP | 61 | 6 | 1814.29 | |
term1 | 20 | 2 | 2905.62 | |
tipdiam | 223 | 54 | 6 | 47689.4 |
tipfixpoint | 509 | 73 | 37 | 147860.77 |
Toilet | 12 | 7200 |