QBF Solver Evaluation Portal
qbflib.orgSota solver results for family BoundedSynthesisPetriGames
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| CM-sat-07-01-06-3 | QuAbS_2017 | SAT | 90.49 |  |
| CM-sat-07-01-06-4 | QuAbS_2017 | SAT | 594.13 | |
| CM-sat-07-01-07-3 | Qute_opt993 | SAT | 42.14 | |
| CM-unsat-07-01-06-2 | QuAbS_2017 | UNSAT | 250.66 | |
| DW-sat-08-22-1 | cqesto | SAT | 9.65 | |
| DW-sat-08-23-1 | QuAbS_2017 | SAT | 4.63 | |
| DW-sat-08-24-1 | cqesto | SAT | 4.8 | |
| DW-unsat-08-21-1 | Qute_hybrid | UNSAT | 14.38 | |
| DW-unsat-09-22-1 | QuAbS_2017 | UNSAT | 48.56 | |
| DW-unsat-09-23-1 | Qute_opt617 | UNSAT | 33.58 | |
| DWs-sat-10-23-1 | QuAbS_2017 | SAT | 44.84 | |
| DWs-sat-10-24-1 | QuAbS_2017 | SAT | 20.09 | |
| DWs-sat-10-25-1 | cqesto | SAT | 39.44 | |
| DWs-unsat-11-23-1 | QuAbS_2017 | UNSAT | 63.48 | |
| DWs-unsat-11-24-1 | QuAbS_2017 | UNSAT | 108.18 | |
| DWs-unsat-12-25-1 | QuAbS_2017 | UNSAT | 155.97 | |
| JP-sat-03-09-4 | QuAbS_2017 | UNSAT | 857.39 | |
| JP-unsat-02-06-3 | QuAbS_2017 | UNSAT | 1.59 | |
| JP-unsat-02-07-2 | QuAbS_2017 | UNSAT | 0.75 | |
| JP-unsat-03-07-4 | QuAbS_2017 | UNSAT | 175.04 | |
| SR-sat-03-01-08-2 | QuAbS_2017 | SAT | 248.81 | |
| SR-unsat-03-01-07-1 | cqesto | UNSAT | 0.38 | |
| SR-unsat-04-01-08-1 | QuAbS_2017 | UNSAT | 7.71 | |