QBF Solver Evaluation Portal
qbflib.orgdepqbf results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Abduction | 6 | 1 | 1 | 771.38 |
| C499 | 31 | 0 | 1 | 1316474.09 |
| C880 | 60 | 0 | 0 | 2592000 |
| circuits | 2 | 0 | 0 | 86400 |
| Counter | 12 | 0 | 0 | 328028.31 |
| jmc_quant | 21 | 0 | 0 | 907200 |
| jmc_quant_squaring | 59 | 0 | 0 | 2548800 |
| k_branch_n | 6 | 0 | 0 | 259200 |
| Sorting_networks | 17 | 1 | 0 | 435611.41 |
| tipdiam | 2 | 0 | 0 | 86400 |
| tipfixpoint | 43 | 0 | 0 | 1857600 |
| uclid | 22 | 0 | 0 | 950400 |
| wmiforward | 6 | 0 | 0 | 259200 |