QBF Solver Evaluation Portal
qbflib.orgSuite Jordan-Kaiser 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 | 1513.9 | 37.85 | 153.62 | 0.1 | 2.81 | 0.975 |
| GhostQ___plain_qcir_2019 | 5790.72 | 144.77 | 320.06 | 0.1 | 4.71 | 0.85 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 238.62 | 5.97 | 3.4 | 4.82 | 2.32 | 0.725 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 1105.21 | 27.63 | 139.71 | 4.8 | 1.17 | 0.65 |
| PortfolioGhostQQfunQuAbSQute___pfs | 209.28 | 5.23 | 0.57 | 4.81 | 1.17 | 0.6 |
| Quabs_2018 | 4327.54 | 108.19 | 278.72 | 0 | 0.35 | 0.9 |
| quabs___caqe-hqspre | 1934.01 | 48.35 | 170.11 | 0 | 2.86 | 0.975 |
| QuAbS___quabs-caqe_2019 | 2330.83 | 58.27 | 165.59 | 0 | 0.35 | 0.975 |
| Qute_default | 10393.44 | 259.84 | 400.26 | 0 | 900.01 | 0.725 |