QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Reduction-finding
QBFEVAL'16 - Prenex CNF Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| query01_ntrivil_1344 | aqua-f3v | UNSAT | 0.01 |  |
| query03_query25_1344 | rareqs | UNSAT | 0.4 | |
| query11_query21_1344 | qestos | UNSAT | 0.15 | |
| query21_ntrivil_1344 | aqua-s3o | UNSAT | 0.06 | |
| query26_query34_1344 | depqbf-v1 | SAT | 0.04 | |
| query31_reachqu_1344n | caqe-minisat | SAT | 8.27 | |
| query42_query06_1344n | rareqs | UNSAT | 34.26 | |
| query48_query15_1344 | depqbf-v1 | UNSAT | 0.03 | |
| query51_query50_1344 | rareqs | UNSAT | 0.2 | |