QBF Solver Evaluation Portal
qbflib.orgFamily terminator results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1796.39 | 199.6 | 299.56 | 18.74 | 160.16 | 0.889 |
| caqe_2017_v1 | 7186.96 | 798.55 | 232.41 | 900 | 86 | 0.222 |
| caqe_2017_v2 | 60.25 | 6.69 | 6.7 | 3.9 | 11.47 | 1 |
| caqe_2017_v3 | 60.46 | 6.72 | 6.71 | 3.89 | 11.51 | 1 |
| CUED1919_NL | 8100 | 900 | 0 | 900 | 0 | 0 |
| CUED1919_NNL | 8100 | 900 | 0 | 900 | 0 | 0 |
| dynQBF-bloqqer-hqspre | 2380.67 | 264.52 | 255.26 | 230.09 | 315.46 | 1 |
| ghostq-cegar | 5705.96 | 634 | 378.87 | 900 | 749.03 | 0.333 |
| GhostQ-PG_cegar | 1151.12 | 127.9 | 277.77 | 2.97 | 41.36 | 0.889 |
| GhostQ-PG_plain | 156.54 | 17.39 | 38.45 | 1.84 | 4.52 | 1 |
| heretiq | 914.81 | 101.65 | 282.26 | 1.65 | 2.07 | 0.889 |
| HQSpre_solver | 5405.27 | 600.59 | 423.44 | 900 | 897.66 | 0.333 |
| ijtihad_v1 | 914.8 | 101.64 | 282.26 | 1.65 | 2.05 | 0.889 |
| ijtihad_v2 | 912.79 | 101.42 | 282.34 | 1.45 | 1.64 | 0.889 |
| iProver-qbf-2017-07-27-v3 | 8100 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 8100 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 3646.37 | 405.15 | 371.3 | 285.5 | 618.1 | 0.667 |
| qbfrelay | 318 | 35.33 | 22.71 | 31.18 | 39.83 | 0.556 |
| qbfrelay-limited-depqbf | 2932.53 | 325.84 | 400.09 | 79.31 | 472.63 | 0.667 |
| QELL_default | 6164.83 | 684.98 | 328.59 | 900 | 521.06 | 0.333 |
| QELL_unit | 6155.15 | 683.91 | 329.58 | 900 | 525.89 | 0.333 |
| qesto | 4216.6 | 468.51 | 410.17 | 494.1 | 871.94 | 0.556 |
| Qute_default | 29.54 | 3.28 | 5.09 | 2.29 | 1.94 | 1 |
| Qute_opt500 | 73.28 | 8.14 | 16.1 | 2.28 | 2.1 | 1 |
| Qute_random | 73.41 | 8.16 | 16.26 | 2.28 | 2.1 | 1 |
| rareqs | 6464.49 | 718.28 | 340.15 | 900 | 397.34 | 0.222 |
| rev_qfun0.1 | 6308.54 | 700.95 | 372.39 | 900 | 446.58 | 0.222 |
| xb-qsts_bqsts2.0 | 8100 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts1.0 | 8100 | 900 | 0 | 900 | 0 | 0 |
| xb-qsts_xbqsts2.0 | 8100 | 900 | 0 | 900 | 0 | 0 |