QBF Solver Evaluation Portal
qbflib.orgSolver performances for family instances
QBFEVAL'19 - Prenex non-CNF Track
| Family | Overall | Time | Reference solver | |||
|---|---|---|---|---|---|---|
| N | # | S | U | |||
| amba | 5 | 3 | 1 | 2 | 72.4 | quabs___caqe-hqspre |
| ASP_Equivalence_Checking | 40 | 40 | 40 | 0 | 0.31 | quabs___caqe-hqspre |
| BoundedSynthesisPetriGames | 65 | 61 | 39 | 22 | 3693.9 | PortfolioGhostQQfunQuAbSQute___pf3 |
| chess_composing | 36 | 0 | 0 | 0 | - | - |
| chess_solving | 36 | 32 | 32 | 0 | 3098.6 | GhostQ___plain_qcir_2019 |
| CombinationalEquivalence | 37 | 37 | 15 | 22 | 631.03 | GhostQ___cegar_qcir_2019 |
| cycle-sched | 1 | 0 | 0 | 0 | - | - |
| driver | 2 | 2 | 0 | 2 | 0 | quabs___caqe-hqspre |
| genbuf | 4 | 4 | 0 | 4 | 176.15 | quabs___caqe-hqspre |
| hwmcc | 7 | 5 | 0 | 5 | 47.19 | quabs___caqe-hqspre |
| jctc | 17 | 10 | 6 | 4 | 1311.25 | GhostQ___plain_qcir_2019 |
| ltl2aig-comp | 2 | 2 | 0 | 2 | 60.75 | quabs___caqe-hqspre |
| Model_instances | 25 | 16 | 9 | 7 | 1475.33 | PortfolioGhostQQfunQuAbSQute___pfs |
| mult-matrix | 3 | 3 | 3 | 0 | 0 | quabs___caqe-hqspre |
| Reduction-finding | 27 | 26 | 11 | 15 | 613.37 | GhostQ___cegar_qcir_2019 |
| Reduction-finding-qcir | 13 | 13 | 4 | 9 | 0 | Qute_default |
| toy | 21 | 20 | 7 | 13 | 3.4 | quabs___caqe-hqspre |