QBF Solver Evaluation Portal
qbflib.orgquabs___caqe-hqspre results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 16 | 1 | 2 | 2205.62 |
| ASP_Equivalence_Checking | 90 | 40 | 0 | 0.63 |
| BoundedSynthesisPetriGames | 157 | 37 | 22 | 75726.63 |
| chess_composing | 36 | 0 | 0 | 32401.61 |
| chess_solving | 73 | 0 | 0 | 65703.24 |
| CombinationalEquivalence | 157 | 15 | 22 | 15435.85 |
| cycle-sched | 1 | 0 | 0 | 900.04 |
| driver | 3 | 0 | 2 | 0 |
| genbuf | 13 | 0 | 4 | 862.61 |
| hwmcc | 10 | 0 | 5 | 1874.68 |
| jctc | 47 | 3 | 1 | 28426.49 |
| ltl2aig-comp | 3 | 0 | 2 | 118.51 |
| Model_instances | 135 | 9 | 3 | 68974.17 |
| mult-matrix | 3 | 3 | 0 | 0 |
| Reduction-finding | 37 | 11 | 15 | 3844.29 |
| Reduction-finding-qcir | 14 | 4 | 9 | 8.08 |
| toy | 27 | 7 | 13 | 917.6 |