QBF Solver Evaluation Portal
qbflib.orgaigqbf_sr results solving families - 2007
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Adder | 88 | 4 | 1 | 38602.51 |
| blackbox-01X-QBF | 1084 | 40 | 114 | 442602.46 |
| blackbox_design | 131 | 8 | 0 | 52505.15 |
| Blocks | 50 | 0 | 0 | 30000 |
| BMC | 380 | 3 | 10 | 198140.13 |
| C432 | 31 | 0 | 1 | 11442 |
| C499 | 21 | 0 | 1 | 2898.23 |
| C5315 | 32 | 1 | 1 | 16194.46 |
| C6288 | 10 | 0 | 0 | 6000 |
| C880 | 10 | 1 | 0 | 41.2 |
| Chain | 22 | 2 | 0 | 610.6 |
| conformant_planning | 124 | 3 | 1 | 69087.45 |
| Connect4 | 4 | 0 | 0 | 177 |
| Counter | 14 | 0 | 0 | 8400 |
| Debug | 182 | 0 | 0 | 109200 |
| evader-pursuer-4x4-logarithmic | 29 | 0 | 0 | 17400 |
| evader-pursuer-8x8-logarithmic | 10 | 0 | 0 | 6000 |
| FPGA_PLB_FIT_SLOW | 10 | 0 | 1 | 3387.45 |
| jmc_quant | 19 | 0 | 0 | 11400 |
| k_branch_n | 9 | 1 | 0 | 1276.53 |
| k_branch_p | 21 | 0 | 0 | 8445.87 |
| k_d4_n | 39 | 5 | 0 | 5873.48 |
| k_d4_p | 36 | 0 | 5 | 742.77 |
| k_dum_n | 32 | 5 | 0 | 148.91 |
| k_dum_p | 38 | 0 | 4 | 171.54 |
| k_grz_n | 29 | 0 | 0 | 13845.23 |
| k_grz_p | 26 | 0 | 0 | 10788.2 |
| k_lin_n | 13 | 0 | 0 | 7800 |
| k_path_n | 33 | 5 | 0 | 387.15 |
| k_path_p | 33 | 0 | 5 | 406.15 |
| k_poly_n | 42 | 1 | 0 | 5173.8 |
| k_t4p_n | 39 | 6 | 0 | 3786.37 |
| k_t4p_p | 51 | 0 | 6 | 2212.72 |
| MutexP | 48 | 2 | 0 | 15941.67 |
| Qshifter | 45 | 4 | 0 | 5717.81 |
| s27 | 21 | 0 | 2 | 19.72 |
| s298 | 17 | 2 | 0 | 1698.54 |
| s386 | 8 | 1 | 0 | 223.15 |
| s499 | 11 | 2 | 0 | 2245.23 |
| s510 | 4 | 1 | 0 | 126.3 |
| s713 | 10 | 0 | 0 | 6000 |
| s820 | 8 | 0 | 0 | 4800 |
| Sorting_networks | 280 | 0 | 0 | 167160.77 |
| SzymanskiP | 61 | 0 | 0 | 21675.96 |
| term1 | 20 | 0 | 2 | 213.4 |
| tipdiam | 223 | 35 | 4 | 86107.54 |
| tipfixpoint | 509 | 13 | 17 | 272682.65 |
| Toilet | 12 | 0 | 0 | 7200 |