QBF Solver Evaluation Portal
qbflib.orgGhostQ___cegar_qcir_2019 results solving families - 2019
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 16 | 2 | 10038.47 | |
| ASP_Equivalence_Checking | 90 | 1.03 | ||
| BoundedSynthesisPetriGames | 157 | 36 | 18 | 47414.54 |
| chess_composing | 36 | 32401.37 | ||
| chess_solving | 73 | 20 | 30081.67 | |
| CombinationalEquivalence | 157 | 15 | 22 | 4170.94 |
| cycle-sched | 1 | 900.02 | ||
| driver | 3 | 2 | 17.94 | |
| genbuf | 13 | 4 | 3213.52 | |
| hwmcc | 10 | 5 | 2188.97 | |
| jctc | 47 | 6 | 2 | 22570.35 |
| ltl2aig-comp | 3 | 2 | 981.65 | |
| Model_instances | 135 | 3 | 2 | 108205.03 |
| mult-matrix | 3 | 2 | 900.12 | |
| Reduction-finding | 37 | 11 | 15 | 2957.86 |
| Reduction-finding-qcir | 14 | 4 | 9 | 0.58 |
| toy | 27 | 6 | 13 | 7201.48 |