QBF Solver Evaluation Portal
qbflib.orgFamily chess_solving 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 | 16558.88 | 459.97 | 396.86 | 221.86 | 824.68 | 0.556 |
| GhostQ___plain_qcir_2019 | 6698.77 | 186.08 | 282.85 | 29.29 | 213.91 | 0.889 |
| PortfolioGhostQQfunQuAbSQute___pf2 | 258.22 | 7.17 | 0.05 | 7.18 | 0.07 | 0 |
| PortfolioGhostQQfunQuAbSQute___pf3 | 14520.21 | 403.34 | 444.27 | 6.02 | 894.06 | 0 |
| PortfolioGhostQQfunQuAbSQute___pfs | 215.33 | 5.98 | 0.05 | 5.98 | 0.08 | 0 |
| Quabs_2018 | 9216.28 | 256.01 | 349.8 | 29.34 | 500.62 | 0.861 |
| quabs___caqe-hqspre | 32401.64 | 900.05 | 0.03 | 900.04 | 0.05 | 0 |
| QuAbS___quabs-caqe_2019 | 10242.6 | 284.52 | 386.17 | 29.8 | 887.22 | 0.722 |
| Qute_default | 25985.16 | 721.81 | 265.13 | 900.02 | 348.17 | 0.389 |