QBF Solver Evaluation Portal
qbflib.orgFamily amba 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 | 2746.95 | 549.39 | 429.47 | 900.01 | 876.58 | 0.4 |
| GhostQ___plain_qcir_2019 | 3284.79 | 656.96 | 300.58 | 900.05 | 607.75 | 0.4 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 35.44 | 7.09 | 0.04 | 7.08 | 0.04 | 0 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 29.48 | 5.9 | 0.04 | 5.9 | 0.05 | 0 |
| PortfolioGhostQQfunQuAbSQute___pfs | 29.59 | 5.92 | 0.02 | 5.93 | 0.04 | 0 |
| Quabs_2018 | 3884.06 | 776.81 | 246.42 | 900.02 | 308.03 | 0.2 |
| quabs___caqe-hqspre | 1872.44 | 374.49 | 429.13 | 33.78 | 447.59 | 0.6 |
| QuAbS___quabs-caqe_2019 | 2737.14 | 547.43 | 288.42 | 333.73 | 315.28 | 0.6 |
| Qute_default | 4500.27 | 900.05 | 0.03 | 900.07 | 0.06 | 0 |