QBF Solver Evaluation Portal
qbflib.orgFamily jmc_quant_squaring results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1816.73 | 227.09 | 388.51 | 3.86 | 451.83 | 0.75 |
| caqe_2017_v1 | 6584.69 | 823.09 | 203.49 | 900 | 0 | 0.125 |
| caqe_2017_v2 | 7200 | 900 | 0 | 900 | 0 | 0 |
| caqe_2017_v3 | 6574.86 | 821.86 | 206.75 | 900 | 0 | 0.125 |
| CUED1919_NL | 75.78 | 9.47 | 16.31 | 0.46 | 13.79 | 0 |
| CUED1919_NNL | 11.9 | 1.49 | 2.56 | 0.08 | 2.13 | 0 |
| dynQBF-bloqqer-hqspre | 4852.18 | 606.52 | 382.43 | 900 | 738.1 | 0.375 |
| ghostq-cegar | 7200 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 7200 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 7200 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 6342.55 | 792.82 | 283.57 | 900 | 0 | 0.125 |
| HQSpre_solver | 7200 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 7200 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 7200 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 7200 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 7200 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 6321.88 | 790.24 | 290.41 | 900 | 0 | 0.125 |
| qbfrelay | 3595.81 | 449.48 | 395.99 | 415.49 | 837.24 | 0 |
| qbfrelay-limited-depqbf | 5812.87 | 726.61 | 301.88 | 888.51 | 217.74 | 0.25 |
| QELL_default | 7200 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 6900.88 | 862.61 | 98.92 | 900 | 0 | 0.125 |
| qesto | 7200 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 6300.21 | 787.53 | 297.58 | 900 | 0 | 0.125 |
| Qute_opt500 | 6880.8 | 860.1 | 105.57 | 900 | 0 | 0.125 |
| Qute_random | 6880.83 | 860.1 | 105.56 | 900 | 0 | 0.125 |
| rareqs | 7200 | 900 | 0 | 900 | 0 | 0 |
| rev_qfun0.1 | 7200 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_bqsts2.0 | 6344.9 | 793.11 | 189.45 | 900 | 173.58 | 0.25 |
| xb-qsts_xbqsts1.0 | 6349.78 | 793.72 | 188.48 | 900 | 172.04 | 0.25 |
| xb-qsts_xbqsts2.0 | 6350.64 | 793.83 | 188.43 | 900 | 171.25 | 0.25 |