QBF Solver Evaluation Portal
qbflib.orgInstances of family Reduction-finding solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| ntrivil_query54_1133 | SAT | 0 | |
| query71_query15_1133 | UNSAT | 0 | |
| query64_query31_1133 | UNSAT | 0 | |
| query51_query48_1133 | UNSAT | 0 | |
| query50_query49_1133 | UNSAT | 0 | |
| query30_eequery_1133 | SAT | 0 | |
| query04_query03_1133 | UNSAT | 0 | |
| query21_reachqu_1133 | SAT | 0.77 | |
| query44_query57_1133 | UNSAT | 1.03 | |
| query33_query71_1344 | UNSAT | 1.04 | |
| query49_query64_1133 | UNSAT | 1.37 | |
| nreachq_query02_1344 | UNSAT | 1.82 | |
| query64_query55_1344 | UNSAT | 2.91 | |
| query64_query58_1344 | UNSAT | 16.1 | |
| query03_query57_1344 | SAT | 257.79 | |
| query09_trivial_1344 | SAT | 261.92 | |
| query49_query58_1344 | UNSAT | 284.27 | |
| nreachq_reachqu_2133 | FAIL | 900.01 | |
| nreachq_reachqu_2233 | FAIL | 900.01 | |
| query42_query64_1344 | FAIL | 900.02 | |
| query42_query57_1344 | FAIL | 900.03 | |
| query48_query42_1344 | FAIL | 900.04 | |
| query44_query58_1344 | FAIL | 900.05 | |
| query08_query64_1344 | FAIL | 900.08 | |
| query08_query26_1344 | FAIL | 900.09 |