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