QBF Solver Evaluation Portal
qbflib.orgGhostQ___cegar_qcir_2019 results solving families - 2020
| Family | # Total | # Sat | # Unsat | Time |
|---|---|---|---|---|
| amba | 25 | 22500 | ||
| ASP_Equivalence_Checking | 90 | 2.32 | ||
| BoundedSynthesisPetriGames | 191 | 17 | 15 | 101454.82 |
| chess_composing | 16 | 14400 | ||
| chess_solving | 69 | 20 | 26468.95 | |
| CombinationalEquivalence | 155 | 15 | 20 | 4140.94 |
| cycle-sched | 40 | 36000 | ||
| driver | 34 | 30600 | ||
| genbuf | 14 | 2 | 5091.86 | |
| hwmcc | 12 | 10800 | ||
| jctc | 39 | 6 | 2 | 15361.11 |
| ltl2aig-comp | 18 | 1 | 10199.11 | |
| LTL2DBA | 12 | 10800 | ||
| LTL2DPA | 7 | 6300 | ||
| Model_instances | 166 | 4 | 135116.76 | |
| mult-matrix | 35 | 31500 | ||
| Reduction-finding | 42 | 15 | 2 | 10202.82 |
| Reduction-finding-qcir | 36 | 21 | 14 | 12.55 |
| toy | 30 | 27000 |