Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Adder | 88 | 52800 | ||
blackbox-01X-QBF | 1084 | 142 | 463226.13 | |
blackbox_design | 131 | 78600 | ||
Blocks | 50 | 4 | 11658.81 | |
BMC | 380 | 27 | 47 | 112603.16 |
C432 | 31 | 1 | 13806.16 | |
C499 | 21 | 1 | 7217.24 | |
C5315 | 32 | 1 | 1 | 12474.46 |
C6288 | 10 | 6000 | ||
C880 | 10 | 6000 | ||
Chain | 22 | 13200 | ||
conformant_planning | 124 | 6 | 2 | 52456.58 |
Connect4 | 4 | 2024.72 | ||
Counter | 14 | 8400 | ||
Debug | 182 | 1 | 109183.16 | |
evader-pursuer-4x4-logarithmic | 29 | 17400 | ||
evader-pursuer-8x8-logarithmic | 10 | 6000 | ||
FPGA_PLB_FIT_SLOW | 10 | 6000 | ||
jmc_quant | 19 | 11400 | ||
k_branch_n | 9 | 5400 | ||
k_branch_p | 21 | 12600 | ||
k_d4_n | 39 | 23400 | ||
k_d4_p | 36 | 21600 | ||
k_dum_n | 32 | 19200 | ||
k_dum_p | 38 | 22800 | ||
k_grz_n | 29 | 17400 | ||
k_grz_p | 26 | 15600 | ||
k_lin_n | 13 | 7800 | ||
k_path_n | 33 | 19800 | ||
k_path_p | 33 | 19800 | ||
k_poly_n | 42 | 25200 | ||
k_t4p_n | 39 | 23400 | ||
k_t4p_p | 51 | 30600 | ||
MutexP | 48 | 28800 | ||
Qshifter | 45 | 27000 | ||
s27 | 21 | 12600 | ||
s298 | 17 | 10200 | ||
s386 | 8 | 4800 | ||
s499 | 11 | 6600 | ||
s510 | 4 | 2400 | ||
s713 | 10 | 6000 | ||
s820 | 8 | 4800 | ||
Sorting_networks | 280 | 9 | 6 | 122113.43 |
SzymanskiP | 61 | 36600 | ||
term1 | 20 | 1 | 7855.83 | |
tipdiam | 223 | 24 | 101388.56 | |
tipfixpoint | 509 | 35 | 253827.57 | |
Toilet | 12 | 7200 |