QBF Solver Evaluation Portal
qbflib.orgncQuBE1.0 results solving families - 2007
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Adder | 88 | 1 | 46691.42 | |
| blackbox-01X-QBF | 1084 | 289 | 261537.37 | |
| blackbox_design | 131 | 27 | 1 | 80.33 |
| Blocks | 50 | 1 | 29207.66 | |
| BMC | 380 | 24 | 35 | 108529.39 |
| C432 | 31 | 1 | 13194.44 | |
| C499 | 21 | 1 | 7235.14 | |
| C5315 | 32 | 1 | 1 | 12707.04 |
| C6288 | 10 | 1 | 4.4 | |
| C880 | 10 | 1 | 616.8 | |
| Chain | 22 | 2 | 3.4 | |
| conformant_planning | 124 | 4 | 1 | 62013.33 |
| Connect4 | 4 | 1232.81 | ||
| Counter | 14 | 2458.89 | ||
| Debug | 182 | 85154.84 | ||
| evader-pursuer-4x4-logarithmic | 29 | 8758.16 | ||
| evader-pursuer-8x8-logarithmic | 10 | 5187.28 | ||
| FPGA_PLB_FIT_SLOW | 10 | 6000 | ||
| jmc_quant | 19 | 2 | 1 | 340.72 |
| k_branch_n | 9 | 1 | 60.7 | |
| k_branch_p | 21 | 9783.44 | ||
| k_d4_n | 39 | 10959.11 | ||
| k_d4_p | 36 | 10886.58 | ||
| k_dum_n | 32 | 1 | 7862.18 | |
| k_dum_p | 38 | 1 | 8231.53 | |
| k_grz_n | 29 | 2 | 7271.13 | |
| k_grz_p | 26 | 2 | 3996.4 | |
| k_lin_n | 13 | 3 | 727.42 | |
| k_path_n | 33 | 16263.81 | ||
| k_path_p | 33 | 1 | 14715.88 | |
| k_poly_n | 42 | 6 | 3.58 | |
| k_t4p_n | 39 | 11741.44 | ||
| k_t4p_p | 51 | 1 | 14177.09 | |
| MutexP | 48 | 28800 | ||
| Qshifter | 45 | 3 | 7791.04 | |
| s27 | 21 | 1 | 1.38 | |
| s298 | 17 | 2 | 16.61 | |
| s386 | 8 | 1 | 2.34 | |
| s499 | 11 | 2 | 21.89 | |
| s510 | 4 | 1 | 0.85 | |
| s713 | 10 | 1 | 4.4 | |
| s820 | 8 | 1 | 6.11 | |
| Sorting_networks | 280 | 9 | 14 | 101740.48 |
| SzymanskiP | 61 | 6 | 1836.87 | |
| term1 | 20 | 2 | 3319 | |
| tipdiam | 223 | 52 | 6 | 50130.76 |
| tipfixpoint | 509 | 73 | 36 | 149186.02 |
| Toilet | 12 | 7200 |