QBF Solver Evaluation Portal
qbflib.orgSota solver results for family PetriGames
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| pg-hkb-10 | quabs___caqe-bloqqer | UNSAT | 29.07 |  |
| pg-hkb-11 | quabs___caqe-hqspre | UNSAT | 382.02 | |
| pg-hkb-2 | Qute_hybrid | UNSAT | 0 | |
| pg-hkb-3 | Qute_hybrid | UNSAT | 0 | |
| pg-hkb-4 | quabs___caqe-bloqqer | UNSAT | 0 | |
| pg-hkb-5 | quabs___caqe-bloqqer | UNSAT | 0 | |
| pg-hkb-6 | quabs___caqe-bloqqer | UNSAT | 0 | |
| pg-hkb-7 | quabs___caqe-bloqqer | UNSAT | 0.04 | |
| pg-hkb-8 | quabs___caqe-bloqqer | UNSAT | 4.14 | |
| pg-hkb-9 | quabs___caqe-bloqqer | UNSAT | 9.56 | |