QBF Solver Evaluation Portal
qbflib.orgpreQuel_sKizzo-0.10 results solving families - 2007
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Adder | 88 | 8 | 13641.26 | |
| blackbox-01X-QBF | 1084 | 104 | 65 | 432414.1 |
| blackbox_design | 131 | 1 | 74746.24 | |
| Blocks | 50 | 1 | 5 | 465.25 |
| BMC | 380 | 37 | 16 | 102365.17 |
| C432 | 31 | 18313.43 | ||
| C499 | 21 | 12600 | ||
| C5315 | 32 | 19200 | ||
| C6288 | 10 | 6000 | ||
| C880 | 10 | 6000 | ||
| Chain | 22 | 2 | 1.64 | |
| conformant_planning | 124 | 7 | 4 | 46041.29 |
| Connect4 | 4 | 754.24 | ||
| Counter | 14 | 3 | 71.56 | |
| Debug | 182 | 16 | 78786.92 | |
| evader-pursuer-4x4-logarithmic | 29 | 16155.31 | ||
| evader-pursuer-8x8-logarithmic | 10 | 1 | 103.37 | |
| FPGA_PLB_FIT_SLOW | 10 | 1 | 34.12 | |
| jmc_quant | 19 | 11400 | ||
| k_branch_n | 9 | 1 | 130.15 | |
| k_branch_p | 21 | 2 | 426.17 | |
| k_d4_n | 39 | 5 | 66.7 | |
| k_d4_p | 36 | 5 | 10.62 | |
| k_dum_n | 32 | 5 | 6.54 | |
| k_dum_p | 38 | 4 | 5.48 | |
| k_grz_n | 29 | 4 | 74.27 | |
| k_grz_p | 26 | 4 | 9.19 | |
| k_lin_n | 13 | 3 | 1318.11 | |
| k_path_n | 33 | 5 | 16.78 | |
| k_path_p | 33 | 5 | 12.3 | |
| k_poly_n | 42 | 6 | 110.14 | |
| k_t4p_n | 39 | 6 | 95.88 | |
| k_t4p_p | 51 | 6 | 28.09 | |
| MutexP | 48 | 1 | 22220.42 | |
| Qshifter | 45 | 4 | 91.44 | |
| s27 | 21 | 2 | 4.94 | |
| s298 | 17 | 1 | 4802.16 | |
| s386 | 8 | 4800 | ||
| s499 | 11 | 1 | 3600.58 | |
| s510 | 4 | 1 | 4.27 | |
| s713 | 10 | 1 | 286.58 | |
| s820 | 8 | 1 | 205.23 | |
| Sorting_networks | 280 | 14 | 7 | 99892.54 |
| SzymanskiP | 61 | 35406.36 | ||
| term1 | 20 | 12000 | ||
| tipdiam | 223 | 14 | 1 | 116022.71 |
| tipfixpoint | 509 | 33 | 253439.02 | |
| Toilet | 12 | 2 | 6.26 |