QBF Solver Evaluation Portal
qbflib.orgPortfolioGhostQQfunQuAbSQute___pf2 results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 16 | 113.53 | ||
| ASP_Equivalence_Checking | 90 | 433.46 | ||
| BoundedSynthesisPetriGames | 157 | 39 | 22 | 16021.48 |
| chess_composing | 36 | 259.6 | ||
| chess_solving | 73 | 523.39 | ||
| CombinationalEquivalence | 157 | 6 | 1081.91 | |
| cycle-sched | 1 | 7.1 | ||
| driver | 3 | 1 | 17.42 | |
| genbuf | 13 | 1 | 90.77 | |
| hwmcc | 10 | 1 | 66.69 | |
| jctc | 47 | 1 | 338.7 | |
| ltl2aig-comp | 3 | 21.42 | ||
| Model_instances | 135 | 9 | 7 | 52793.19 |
| mult-matrix | 3 | 2 | 16.56 | |
| Reduction-finding | 37 | 8 | 8 | 262.53 |
| Reduction-finding-qcir | 14 | 4 | 9 | 66.74 |
| toy | 27 | 6 | 13 | 147.09 |