QBF Solver Evaluation Portal
qbflib.orgFamily Adder results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1294.37 | 129.44 | 260.86 | 27.87 | 32.51 | 0.9 |
| caqe_2017_v1 | 7227.28 | 722.73 | 354.55 | 900 | 883.02 | 0.2 |
| caqe_2017_v2 | 4719.8 | 471.98 | 432 | 554.75 | 898.99 | 0.5 |
| caqe_2017_v3 | 6536.35 | 653.64 | 379.69 | 900 | 882.99 | 0.3 |
| CUED1919_NL | 337.92 | 33.79 | 28.03 | 29.4 | 41.38 | 0 |
| CUED1919_NNL | 55.21 | 5.52 | 4.76 | 3.95 | 6.48 | 0 |
| dynQBF-bloqqer-hqspre | 6727.29 | 672.73 | 344.43 | 900 | 760.18 | 0.4 |
| ghostq-cegar | 9000 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 9000 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 9000 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 7202.18 | 720.22 | 359.56 | 900 | 898.21 | 0.2 |
| HQSpre_solver | 9000 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 7202.19 | 720.22 | 359.56 | 900 | 898.2 | 0.2 |
| ijtihad_v2 | 7202.19 | 720.22 | 359.56 | 900 | 898.2 | 0.2 |
| iProver-qbf-2017-07-27-v3 | 7529.56 | 752.96 | 300.95 | 900 | 592.3 | 0.2 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 6862.97 | 686.3 | 334.44 | 900 | 725.19 | 0.3 |
| prefix-opt-depqbf | 9000 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 4919.91 | 491.99 | 399.02 | 523.1 | 839.61 | 0.1 |
| qbfrelay-limited-depqbf | 8303.44 | 830.34 | 178.71 | 889.52 | 3.44 | 0.1 |
| QELL_default | 7200.55 | 720.06 | 359.89 | 900 | 899.52 | 0.2 |
| QELL_unit | 7200.5 | 720.05 | 359.9 | 900 | 899.57 | 0.2 |
| qesto | 9000 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 7410.78 | 741.08 | 320.99 | 900 | 694.3 | 0.2 |
| Qute_opt500 | 9000 | 900 | 0 | 900 | 0 | 0 |
| Qute_random | 9000 | 900 | 0 | 900 | 0 | 0 |
| rareqs | 6621.66 | 662.17 | 372.49 | 900 | 898.3 | 0.3 |
| rev_qfun0.1 | 7209.52 | 720.95 | 358.1 | 900 | 892.15 | 0.2 |
| xb-qsts_bqsts2.0 | 9000 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts1.0 | 9000 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts2.0 | 9000 | 900 | 0 | 900 | 0 | 0 |