QBF Solver Evaluation Portal
qbflib.orgFamily cycle-sched results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 1829.66 | 457.42 | 442.61 | 460.58 | 885.17 | 0.5 |
| caqe_2017_v1 | 1831.61 | 457.9 | 434.88 | 460.75 | 869.5 | 0.75 |
| caqe_2017_v2 | 2861.36 | 715.34 | 319.84 | 900 | 369.32 | 0.25 |
| caqe_2017_v3 | 2861.19 | 715.3 | 319.91 | 900 | 369.41 | 0.25 |
| CUED1919_NL | 1591.18 | 397.8 | 206.84 | 463.22 | 350.5 | 0 |
| CUED1919_NNL | 2711.99 | 678 | 384.52 | 900 | 444.01 | 0 |
| dynQBF-bloqqer-hqspre | 2862.26 | 715.57 | 319.45 | 900 | 368.87 | 0.25 |
| ghostq-cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_cegar | 3600 | 900 | 0 | 900 | 0 | 0 |
| GhostQ-PG_plain | 3600 | 900 | 0 | 900 | 0 | 0 |
| heretiq | 2635.38 | 658.85 | 335.71 | 823.99 | 482.31 | 0.5 |
| HQSpre_solver | 2750.56 | 687.64 | 367.82 | 900 | 424.72 | 0.25 |
| ijtihad_v1 | 2241.03 | 560.26 | 358.72 | 641.67 | 679.49 | 0.5 |
| ijtihad_v2 | 2217.34 | 554.34 | 363.62 | 634.14 | 691.33 | 0.5 |
| iProver-qbf-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 3600 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 3600 | 900 | 0 | 900 | 0 | 0 |
| qbfrelay | 2393.28 | 598.32 | 303.83 | 638.06 | 596.18 | 0.25 |
| qbfrelay-limited-depqbf | 3569.4 | 892.35 | 1.07 | 892.47 | 1.94 | 0 |
| QELL_default | 3600 | 900 | 0 | 900 | 0 | 0 |
| QELL_unit | 3600 | 900 | 0 | 900 | 0 | 0 |
| qesto | 1990.32 | 497.58 | 406.6 | 538.7 | 804.84 | 0.5 |
| Qute_default | 3600 | 900 | 0 | 900 | 0 | 0 |
| Qute_opt500 | 3600 | 900 | 0 | 900 | 0 | 0 |
| Qute_random | 3600 | 900 | 0 | 900 | 0 | 0 |
| rareqs | 1292.39 | 323.1 | 360.74 | 191.59 | 610.63 | 0.75 |
| rev_qfun0.1 | 3477.39 | 869.35 | 53.09 | 900 | 61.31 | 0.25 |
| xb-qsts_bqsts2.0 | 2760.13 | 690.03 | 363.67 | 900 | 419.94 | 0.25 |
| xb-qsts_xbqsts1.0 | 2769.08 | 692.27 | 359.8 | 900 | 415.46 | 0.25 |
| xb-qsts_xbqsts2.0 | 2769.36 | 692.34 | 359.68 | 900 | 415.32 | 0.25 |