QBF Solver Evaluation Portal
qbflib.orgFamily Abduction results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 4500 | 900 | 0 | 900 | 0 | 0 |
| caqe_2017_v1 | 3605.46 | 721.09 | 357.82 | 900 | 447.27 | 0.2 |
| caqe_2017_v2 | 4500 | 900 | 0 | 900 | 0 | 0 |
| caqe_2017_v3 | 4500 | 900 | 0 | 900 | 0 | 0 |
| CUED1919_NL | 92.18 | 18.44 | 8.29 | 14.49 | 3.95 | 0 |
| CUED1919_NNL | 13.61 | 2.72 | 0.9 | 2.36 | 0.52 | 0 |
| dynQBF-bloqqer-hqspre | 4500 | 900 | 0 | 900 | 0 | 0 |
| ghostq-cegar | 3608.41 | 721.68 | 356.64 | 900 | 445.8 | 0.2 |
| GhostQ-PG_cegar | 3609.71 | 721.94 | 356.12 | 900 | 445.15 | 0.2 |
| GhostQ-PG_plain | 3731.2 | 746.24 | 307.52 | 900 | 384.4 | 0.2 |
| heretiq | 4500 | 900 | 0 | 900 | 0 | 0 |
| HQSpre_solver | 4500 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 4500 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 4500 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 4500 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 4500 | 900 | 0 | 900 | 0 | 0 |
| prefix-opt-depqbf | 4127.89 | 825.58 | 148.84 | 900 | 186.06 | 0.2 |
| qbfrelay | 3500.02 | 700 | 102.39 | 646.08 | 53.66 | 0 |
| qbfrelay-limited-depqbf | 4466.08 | 893.22 | 2.28 | 894.07 | 3.81 | 0 |
| QELL_default | 3729.31 | 745.86 | 308.28 | 900 | 385.35 | 0.2 |
| QELL_unit | 3622.46 | 724.49 | 351.02 | 900 | 438.77 | 0.2 |
| qesto | 4481.51 | 896.3 | 7.4 | 900 | 9.25 | 0.2 |
| Qute_default | 3689.55 | 737.91 | 324.18 | 900 | 405.23 | 0.2 |
| Qute_opt500 | 3664.15 | 732.83 | 334.34 | 900 | 417.93 | 0.2 |
| Qute_random | 3664.3 | 732.86 | 334.28 | 900 | 417.85 | 0.2 |
| rareqs | 3770.48 | 754.1 | 291.81 | 900 | 364.76 | 0.2 |
| rev_qfun0.1 | 3845.66 | 769.13 | 261.74 | 900 | 327.17 | 0.2 |
| xb-qsts_bqsts2.0 | 3338.16 | 667.63 | 334.95 | 900 | 580.92 | 0.4 |
| xb-qsts_xbqsts1.0 | 3396 | 679.2 | 317.5 | 900 | 552 | 0.4 |
| xb-qsts_xbqsts2.0 | 3398.47 | 679.69 | 317.37 | 900 | 550.77 | 0.4 |