QBF Solver Evaluation Portal
qbflib.orgFamily CombinationalEquivalence results for solvers
QBFEVAL'19 - Prenex non-CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| GhostQ___cegar_qcir_2019 | 631.03 | 17.05 | 30.38 | 7.38 | 11.12 | 1 |
| GhostQ___plain_qcir_2019 | 26051.79 | 704.1 | 337.8 | 900.02 | 385.83 | 0.27 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 256.08 | 6.92 | 0.38 | 7.07 | 0.09 | 0.162 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 212.16 | 5.73 | 0.37 | 5.9 | 0.11 | 0.162 |
| PortfolioGhostQQfunQuAbSQute___pfs | 211.95 | 5.73 | 0.38 | 5.89 | 0.08 | 0.162 |
| Quabs_2018 | 1755.55 | 47.45 | 41.48 | 39.28 | 60.13 | 1 |
| quabs___caqe-hqspre | 2283.15 | 61.71 | 140.43 | 4.76 | 20.18 | 1 |
| QuAbS___quabs-caqe_2019 | 1761.09 | 47.6 | 42.06 | 39.45 | 60.39 | 1 |
| Qute_default | 21486.65 | 580.72 | 384.16 | 900 | 815.86 | 0.486 |