QBF Solver Evaluation Portal
qbflib.orgFamily amba results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 207.49 | 103.75 | 43.94 | 103.75 | 0 | 1 |
| Caqe-bloqqer-qdo | 253.46 | 126.73 | 64.44 | 126.73 | 0 | 1 |
| Caqe-hqspre | 968.43 | 484.22 | 415.8 | 484.22 | 0 | 0.5 |
| Cued_2_2018 | 910.17 | 455.09 | 444.97 | 455.09 | 0 | 0.5 |
| Cued_3_2018 | 910.23 | 455.12 | 444.93 | 455.12 | 0 | 0.5 |
| depqbf_prefix_opt_qdo | 1800.12 | 900.06 | 0.04 | 900.06 | 0 | 0 |
| depqbf_pre_QxQBH | 1150.78 | 575.39 | 324.61 | 575.39 | 0 | 0.5 |
| GhostQ-PG_cegar | 1800.22 | 900.11 | 0 | 900.11 | 0 | 0 |
| GhostQ-PG_plain | 1800.04 | 900.02 | 0 | 900.02 | 0 | 0 |
| Heretiq-cube | 1010.47 | 505.24 | 394.86 | 505.24 | 0 | 0.5 |
| Heretiq-simple | 795.47 | 397.74 | 287.26 | 397.74 | 0 | 1 |
| ijtihad | 1236.04 | 618.02 | 282.06 | 618.02 | 0 | 0.5 |
| Iprover-HQSpre-Bloqqer | 1800.03 | 900.02 | 0.01 | 900.02 | 0 | 0 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 1800.14 | 900.07 | 0 | 900.07 | 0 | 0 |
| predyndep | 1000.15 | 500.08 | 399.95 | 500.08 | 0 | 0.5 |
| Qute_default | 901.43 | 450.72 | 449.34 | 450.72 | 0 | 0.5 |
| Qute_opt500 | 901.4 | 450.7 | 449.33 | 450.7 | 0 | 0.5 |
| Qute_random | 901.39 | 450.7 | 449.36 | 450.7 | 0 | 0.5 |
| Rareqs_2018 | 191.1 | 95.55 | 46.64 | 95.55 | 0 | 1 |