QBF Solver Evaluation Portal
qbflib.orgaqme-10 results solving families - 2010
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| Abduction | 6 | 1 | 1 | 3746.06 |
| C499 | 31 | 1339200 | ||
| C880 | 60 | 1730906.5 | ||
| circuits | 2 | 1 | 10811.06 | |
| Counter | 12 | 1 | 132925.34 | |
| jmc_quant | 21 | 330890.51 | ||
| jmc_quant_squaring | 59 | 465489.29 | ||
| k_branch_n | 6 | 2 | 4070.48 | |
| Sorting_networks | 17 | 2 | 2 | 53265.59 |
| tipdiam | 2 | 75238.4 | ||
| tipfixpoint | 43 | 1 | 1004413.69 | |
| uclid | 22 | 950400 | ||
| wmiforward | 6 | 259200 |