QBF Solver Evaluation Portal
qbflib.orgResults for instance tlc02-uniform-depth-151
QBFEVAL'17 - Prenex CNF Track
| Solver | Time | Result |
|---|---|---|
| ijtihad_v1 | 3.94 | UNSAT |
| ijtihad_v2 | 3.97 | UNSAT |
| heretiq | 3.98 | UNSAT |
| caqe_2017_v1 | 4.93 | UNSAT |
| rareqs | 5.26 | UNSAT |
| ghostq-cegar | 5.65 | FAIL |
| qesto | 5.85 | UNSAT |
| rev_qfun0.1 | 8.1 | FAIL |
| HQSpre_solver | 19.33 | UNSAT |
| AIGSolve | 25 | UNSAT |
| Qute_random | 31.37 | UNSAT |
| Qute_default | 31.41 | UNSAT |
| Qute_opt500 | 31.47 | UNSAT |
| QELL_unit | 31.86 | UNSAT |
| caqe_2017_v3 | 32.71 | UNSAT |
| caqe_2017_v2 | 32.79 | UNSAT |
| QELL_default | 33.76 | UNSAT |
| CUED1919_NNL | 50.91 | FAIL |
| qbfrelay | 51.92 | UNSAT |
| dynQBF-bloqqer-hqspre | 52 | UNSAT |
| xb-qsts_bqsts2.0 | 52.2 | UNSAT |
| CUED1919_NL | 52.24 | FAIL |
| xb-qsts_xbqsts1.0 | 53.37 | UNSAT |
| xb-qsts_xbqsts2.0 | 54.69 | UNSAT |
| qbfrelay-limited-depqbf | 97.61 | UNSAT |
| GhostQ-PG_plain | 111.16 | UNSAT |
| GhostQ-PG_cegar | 112.09 | UNSAT |
| iProver-qbf-bloqqer-2017-07-27-v3 | 150.94 | UNSAT |
| prefix-opt-depqbf | 161.13 | UNSAT |
| iProver-qbf-2017-07-27-v3 | 316.73 | UNSAT |