QBF Solver Evaluation Portal
qbflib.orgPortfolioGhostQQfunQuAbSQute___pf3 results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 16 | 94.13 | ||
| ASP_Equivalence_Checking | 90 | 431.38 | ||
| BoundedSynthesisPetriGames | 157 | 39 | 22 | 15912.96 |
| chess_composing | 36 | 32401.86 | ||
| chess_solving | 73 | 25469.95 | ||
| CombinationalEquivalence | 157 | 6 | 894.82 | |
| cycle-sched | 1 | 5.93 | ||
| driver | 3 | 17.75 | ||
| genbuf | 13 | 1 | 76.28 | |
| hwmcc | 10 | 1 | 57.67 | |
| jctc | 47 | 286.88 | ||
| ltl2aig-comp | 3 | 17.9 | ||
| Model_instances | 135 | 9 | 7 | 52881.36 |
| mult-matrix | 3 | 2 | 15.38 | |
| Reduction-finding | 37 | 6 | 7 | 1996.67 |
| Reduction-finding-qcir | 14 | 4 | 9 | 67.01 |
| toy | 27 | 6 | 13 | 137.79 |