QBF Solver Evaluation Portal
qbflib.orgQuBE7-c results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Abduction | 6 | 1 | 20284.59 | |
| C499 | 31 | 1 | 990908.9 | |
| C880 | 60 | 1 | 2297940.44 | |
| circuits | 2 | 12397.62 | ||
| Counter | 12 | 10900.46 | ||
| jmc_quant | 21 | 2 | 1 | 291271.69 |
| jmc_quant_squaring | 59 | 1 | 2024951.31 | |
| k_branch_n | 6 | 20038.47 | ||
| Sorting_networks | 17 | 1 | 219203.86 | |
| tipdiam | 2 | 86400 | ||
| tipfixpoint | 43 | 7 | 798401.54 | |
| uclid | 22 | 950402.23 | ||
| wmiforward | 6 | 1 | 106815.96 |