QBF Solver Evaluation Portal
qbflib.orgFamily hwmcc results for solvers
QBFEVAL'18 - Prenex 2QBF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| aspq2v3 | 5400.25 | 900.04 | 0.03 | 900.03 | 0.01 | 0 |
| aspq3alt | 5400.26 | 900.04 | 0.03 | 900.05 | 0.05 | 0 |
| ASPQ_2018 | 5400.45 | 900.08 | 0.07 | 900.05 | 0.05 | 0 |
| CADET_2017 | 5400.19 | 900.03 | 0.03 | 900.02 | 0.03 | 0 |
| Caqe-bloqqer | 5400.23 | 900.04 | 0.02 | 900.04 | 0.03 | 0 |
| Caqe-bloqqer-qdo | 5400.3 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |
| Caqe-hqspre | 4595.25 | 765.88 | 300.02 | 900.05 | 805.04 | 0.167 |
| Cued_2_2018 | 5400.14 | 900.02 | 0.02 | 900.02 | 0.01 | 0 |
| Cued_3_2018 | 5400.36 | 900.06 | 0.01 | 900.06 | 0.01 | 0 |
| depqbf_prefix_opt_qdo | 5400.27 | 900.05 | 0.02 | 900.04 | 0.03 | 0 |
| depqbf_pre_QxQBH | 4507.32 | 751.22 | 332.8 | 900.04 | 892.99 | 0.167 |
| GhostQ-PG_cegar | 5400.45 | 900.08 | 0.02 | 900.08 | 0.06 | 0 |
| GhostQ-PG_plain | 5400.33 | 900.06 | 0.01 | 900.06 | 0.03 | 0 |
| Heretiq-cube | 3395.15 | 565.86 | 119.83 | 513.37 | 26.32 | 0 |
| Heretiq-simple | 5400.32 | 900.05 | 0.03 | 900.05 | 0.04 | 0 |
| ijtihad | 5400.33 | 900.06 | 0.03 | 900.06 | 0.06 | 0 |
| Iprover-HQSpre-Bloqqer | 4234.42 | 705.74 | 310.45 | 826.63 | 821.28 | 0.167 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 3856.64 | 642.77 | 369.88 | 900.02 | 887.21 | 0.333 |
| predyndep | 4670.24 | 778.37 | 272.07 | 900.05 | 730.04 | 0.167 |
| Qute_default | 4708.76 | 784.79 | 257.69 | 900.03 | 691.46 | 0.167 |
| Qute_opt500 | 4726.2 | 787.7 | 251.25 | 900.06 | 674.17 | 0.167 |
| Qute_random | 4714.02 | 785.67 | 255.74 | 900.04 | 686.23 | 0.167 |
| Rareqs_2018 | 5400.14 | 900.02 | 0.01 | 900.02 | 0.01 | 0 |