QBF Solver Evaluation Portal
qbflib.orgUnique instances for quabs___caqe-hqspre
Prenex non-CNF Track
| Instance | Time | Result |
|---|---|---|
| reachqu_query71_1344 | 431.51 | UNSAT |
| SR-unsat-03-01-06-2 | 805.75 | UNSAT |
| Instance | Time | Result |
|---|---|---|
| reachqu_query71_1344 | 431.51 | UNSAT |
| SR-unsat-03-01-06-2 | 805.75 | UNSAT |