Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Adder | 88 | 8 | 15408.15 | |
blackbox-01X-QBF | 1084 | 203 | 387270.67 | |
blackbox_design | 131 | 72741.11 | ||
Blocks | 50 | 1 | 5 | 493.46 |
BMC | 380 | 48 | 57 | 38471.45 |
C432 | 31 | 18600 | ||
C499 | 21 | 1 | 5406.05 | |
C5315 | 32 | 1 | 2 | 264.68 |
C6288 | 10 | 6000 | ||
C880 | 10 | 6000 | ||
Chain | 22 | 2 | 2.17 | |
conformant_planning | 124 | 7 | 4 | 45234.53 |
Connect4 | 4 | 2400 | ||
Counter | 14 | 3 | 83.57 | |
Debug | 182 | 21 | 43914.47 | |
evader-pursuer-4x4-logarithmic | 29 | 12525.68 | ||
evader-pursuer-8x8-logarithmic | 10 | 1 | 24.12 | |
FPGA_PLB_FIT_SLOW | 10 | 1 | 38.72 | |
jmc_quant | 19 | 1 | 9226.71 | |
k_branch_n | 9 | 1 | 36.54 | |
k_branch_p | 21 | 2 | 38.72 | |
k_d4_n | 39 | 5 | 533.1 | |
k_d4_p | 36 | 5 | 5.8 | |
k_dum_n | 32 | 5 | 4.93 | |
k_dum_p | 38 | 4 | 4.42 | |
k_grz_n | 29 | 4 | 2099.03 | |
k_grz_p | 26 | 4 | 19.3 | |
k_lin_n | 13 | 3 | 1382.44 | |
k_path_n | 33 | 5 | 315.75 | |
k_path_p | 33 | 5 | 318.31 | |
k_poly_n | 42 | 6 | 66.14 | |
k_t4p_n | 39 | 6 | 52.48 | |
k_t4p_p | 51 | 6 | 11.44 | |
MutexP | 48 | 4 | 3.44 | |
Qshifter | 45 | 4 | 76.83 | |
s27 | 21 | 2 | 5.02 | |
s298 | 17 | 2 | 134.9 | |
s386 | 8 | 1 | 24 | |
s499 | 11 | 2 | 673.88 | |
s510 | 4 | 1 | 4.11 | |
s713 | 10 | 1 | 322.06 | |
s820 | 8 | 1 | 209.9 | |
Sorting_networks | 280 | 15 | 7 | 99308.66 |
SzymanskiP | 61 | 26080.11 | ||
term1 | 20 | 8843.94 | ||
tipdiam | 223 | 43 | 11 | 62117.49 |
tipfixpoint | 509 | 10 | 17 | 263246.26 |
Toilet | 12 | 2 | 4.32 |