QBF Solver Evaluation Portal
qbflib.orgUnique instances for Cqesto_2018
Prenex non-CNF Track
| Instance | Time | Result |
|---|---|---|
| reachqu_query64_1344 | 134.44 | SAT |
| DWs-sat-19-41-1 | 50.93 | SAT |
| DWs-sat-20-43-1 | 56.77 | SAT |
| DWs-sat-21-45-1 | 66.98 | SAT |
| DWs-sat-22-47-1 | 76.77 | SAT |
| DWs-sat-23-49-1 | 97.63 | SAT |
| DWs-sat-24-51-1 | 124.7 | SAT |
| DWs-sat-25-53-1 | 149.14 | SAT |