QBF Solver Evaluation Portal
qbflib.orgFamily Model_instances 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 | 19146.56 | 765.86 | 290.92 | 900.02 | 0.04 | 0.2 |
| GhostQ___plain_qcir_2019 | 20012.07 | 800.48 | 269.83 | 900.04 | 0.06 | 0.12 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 9616.14 | 384.65 | 399.65 | 151.82 | 879.95 | 0.64 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 9638.15 | 385.53 | 399.15 | 158.88 | 880.19 | 0.64 |
| PortfolioGhostQQfunQuAbSQute___pfs | 9575.82 | 383.03 | 399.34 | 149.64 | 880.28 | 0.64 |
| Quabs_2018 | 11774.75 | 470.99 | 395.69 | 277.08 | 864.45 | 0.56 |
| quabs___caqe-hqspre | 11910.36 | 476.41 | 441.74 | 900.01 | 896 | 0.48 |
| QuAbS___quabs-caqe_2019 | 12164.27 | 486.57 | 404.4 | 272.13 | 864.47 | 0.52 |
| Qute_default | 15269.42 | 610.78 | 408.95 | 900.01 | 881.52 | 0.36 |