QBF Solver Evaluation Portal
qbflib.orgqZilla results solving families - 2007
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Adder | 88 | 6 | 0 | 28081.37 |
| blackbox-01X-QBF | 1084 | 0 | 209 | 383517.36 |
| blackbox_design | 131 | 0 | 0 | 78330.59 |
| Blocks | 50 | 1 | 5 | 6104.36 |
| BMC | 380 | 44 | 58 | 47294.95 |
| C432 | 31 | 1 | 0 | 12735.89 |
| C499 | 21 | 1 | 0 | 7484.56 |
| C5315 | 32 | 1 | 0 | 13822.14 |
| C6288 | 10 | 0 | 0 | 6000 |
| C880 | 10 | 1 | 0 | 130.45 |
| Chain | 22 | 2 | 0 | 2.34 |
| conformant_planning | 124 | 8 | 2 | 49140.2 |
| Connect4 | 4 | 0 | 0 | 2400 |
| Counter | 14 | 3 | 0 | 718.66 |
| Debug | 182 | 3 | 1 | 93200.16 |
| evader-pursuer-4x4-logarithmic | 29 | 3 | 0 | 628.13 |
| evader-pursuer-8x8-logarithmic | 10 | 0 | 1 | 249.46 |
| FPGA_PLB_FIT_SLOW | 10 | 0 | 1 | 74.24 |
| jmc_quant | 19 | 0 | 1 | 11344.68 |
| k_branch_n | 9 | 1 | 0 | 288.09 |
| k_branch_p | 21 | 0 | 2 | 5212.51 |
| k_d4_n | 39 | 5 | 0 | 2060.71 |
| k_d4_p | 36 | 0 | 5 | 1006.23 |
| k_dum_n | 32 | 5 | 0 | 2 |
| k_dum_p | 38 | 0 | 4 | 600.12 |
| k_grz_n | 29 | 4 | 0 | 6120.32 |
| k_grz_p | 26 | 0 | 4 | 320.56 |
| k_lin_n | 13 | 0 | 0 | 7800 |
| k_path_n | 33 | 5 | 0 | 2.24 |
| k_path_p | 33 | 0 | 5 | 2.38 |
| k_poly_n | 42 | 6 | 0 | 2.7 |
| k_t4p_n | 39 | 5 | 0 | 5222.44 |
| k_t4p_p | 51 | 0 | 6 | 2095.77 |
| MutexP | 48 | 4 | 0 | 651.84 |
| Qshifter | 45 | 4 | 0 | 271.03 |
| s27 | 21 | 0 | 2 | 31.5 |
| s298 | 17 | 1 | 0 | 4801.66 |
| s386 | 8 | 1 | 0 | 17.54 |
| s499 | 11 | 1 | 0 | 3601.64 |
| s510 | 4 | 1 | 0 | 3.7 |
| s713 | 10 | 1 | 0 | 335.26 |
| s820 | 8 | 1 | 0 | 3479.38 |
| Sorting_networks | 280 | 27 | 14 | 65460.79 |
| SzymanskiP | 61 | 0 | 0 | 31997.98 |
| term1 | 20 | 0 | 0 | 12000 |
| tipdiam | 223 | 27 | 0 | 100676.74 |
| tipfixpoint | 509 | 1 | 32 | 256804.7 |
| Toilet | 12 | 2 | 0 | 63.17 |