QBF Solver Evaluation Portal
qbflib.orgPortfolioGhostQQfunQuAbSQute___pfs results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 16 | 0 | 0 | 94.37 |
| ASP_Equivalence_Checking | 90 | 0 | 0 | 431.21 |
| BoundedSynthesisPetriGames | 157 | 35 | 21 | 15854.93 |
| chess_composing | 36 | 0 | 0 | 27931.22 |
| chess_solving | 73 | 0 | 0 | 436.49 |
| CombinationalEquivalence | 157 | 0 | 6 | 893.32 |
| cycle-sched | 1 | 0 | 0 | 5.83 |
| driver | 3 | 0 | 0 | 17.68 |
| genbuf | 13 | 0 | 1 | 76.29 |
| hwmcc | 10 | 0 | 2 | 1850.66 |
| jctc | 47 | 3 | 0 | 13362.94 |
| ltl2aig-comp | 3 | 0 | 0 | 17.83 |
| Model_instances | 135 | 9 | 7 | 52558.38 |
| mult-matrix | 3 | 2 | 0 | 15.49 |
| Reduction-finding | 37 | 5 | 6 | 205.27 |
| Reduction-finding-qcir | 14 | 4 | 9 | 66.78 |
| toy | 27 | 6 | 13 | 137.78 |