QBF Solver Evaluation Portal
qbflib.orgInstances of family PetriGames solved by Cqesto_2018
QBFEVAL'18 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| pg-hkb-2 | UNSAT | 0 | |
| pg-hkb-3 | UNSAT | 0.84 | |
| pg-hkb-4 | UNSAT | 10.19 | |
| pg-hkb-9 | FAIL | 17.79 | |
| pg-hkb-13 | FAIL | 17.81 | |
| pg-hkb-17 | FAIL | 18.33 | |
| pg-hkb-11 | FAIL | 18.34 | |
| pg-hkb-19 | FAIL | 19.07 | |
| pg-hkb-18 | FAIL | 19.15 | |
| pg-hkb-20 | FAIL | 19.28 | |
| pg-hkb-10 | FAIL | 19.55 | |
| pg-hkb-22 | FAIL | 20.2 | |
| pg-hkb-12 | FAIL | 20.2 | |
| pg-hkb-21 | FAIL | 20.33 | |
| pg-hkb-14 | FAIL | 20.52 | |
| pg-hkb-15 | FAIL | 20.8 | |
| pg-hkb-16 | FAIL | 20.99 | |
| pg-hkb-24 | FAIL | 21.1 | |
| pg-hkb-23 | FAIL | 21.6 | |
| pg-hkb-25 | FAIL | 21.68 | |
| pg-hkb-26 | FAIL | 22.7 | |
| pg-hkb-8 | FAIL | 47.73 | |
| pg-hkb-5 | UNSAT | 101.61 | |
| pg-hkb-6 | UNSAT | 560.59 | |
| pg-hkb-7 | FAIL | 900.06 |