QBF Solver Evaluation Portal
qbflib.orgquabs___caqe-hqspre results solving families - 2020
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 25 | 2 | 0 | 10269.67 |
| ASP_Equivalence_Checking | 90 | 40 | 0 | 0.25 |
| BoundedSynthesisPetriGames | 191 | 18 | 20 | 118544.59 |
| chess_composing | 16 | 0 | 0 | 14400 |
| chess_solving | 69 | 0 | 0 | 62100 |
| CombinationalEquivalence | 155 | 15 | 20 | 15439.88 |
| cycle-sched | 40 | 2 | 1 | 23196.57 |
| driver | 34 | 6 | 0 | 31.63 |
| genbuf | 14 | 0 | 2 | 2362.64 |
| hwmcc | 12 | 1 | 0 | 4977.61 |
| jctc | 39 | 3 | 1 | 23397.81 |
| ltl2aig-comp | 18 | 0 | 2 | 6390.34 |
| LTL2DBA | 12 | 1 | 0 | 4509.8 |
| LTL2DPA | 7 | 0 | 0 | 6300 |
| Model_instances | 166 | 13 | 1 | 84256.02 |
| mult-matrix | 35 | 4 | 1 | 7245.72 |
| Reduction-finding | 42 | 15 | 3 | 6508.32 |
| Reduction-finding-qcir | 36 | 21 | 14 | 1535.52 |
| toy | 30 | 4 | 0 | 4540.02 |