QBF Solver Evaluation Portal
qbflib.orgFamily tipfixpoint results for solvers
QBFEVAL'17 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| AIGSolve | 6835.18 | 525.78 | 413.45 | 900 | 879.78 | 0.462 |
| caqe_2017_v1 | 11700 | 900 | 0 | 900 | 0 | 0 |
| caqe_2017_v2 | 3774.86 | 290.37 | 407.22 | 15.88 | 496.19 | 0.692 |
| caqe_2017_v3 | 3776.61 | 290.51 | 407.15 | 15.57 | 496.9 | 0.692 |
| CUED1919_NL | 1759.98 | 135.38 | 170.65 | 50.18 | 125.95 | 0 |
| CUED1919_NNL | 653.02 | 50.23 | 73.88 | 9.75 | 33.14 | 0 |
| dynQBF-bloqqer-hqspre | 8986.88 | 691.3 | 351.52 | 900 | 479.59 | 0.308 |
| ghostq-cegar | 4531.17 | 348.55 | 435.96 | 6.35 | 897.03 | 0.615 |
| GhostQ-PG_cegar | 4527.09 | 348.24 | 436.21 | 5.8 | 897.21 | 0.615 |
| GhostQ-PG_plain | 2937.45 | 225.96 | 373.09 | 4.63 | 104.81 | 0.769 |
| heretiq | 11700 | 900 | 0 | 900 | 0 | 0 |
| HQSpre_solver | 11700 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v1 | 11700 | 900 | 0 | 900 | 0 | 0 |
| ijtihad_v2 | 11700 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-2017-07-27-v3 | 11700 | 900 | 0 | 900 | 0 | 0 |
| iProver-qbf-bloqqer-2017-07-27-v3 | 10804.86 | 831.14 | 238.53 | 900 | 0 | 0.077 |
| prefix-opt-depqbf | 9914.31 | 762.64 | 322.14 | 900 | 0 | 0.154 |
| qbfrelay | 1535.82 | 118.14 | 145.25 | 56.82 | 56.53 | 0.231 |
| qbfrelay-limited-depqbf | 8358.44 | 642.96 | 373.13 | 888.52 | 720.53 | 0.308 |
| QELL_default | 4502.92 | 346.38 | 437.68 | 0.47 | 899.74 | 0.615 |
| QELL_unit | 4503.96 | 346.46 | 437.61 | 0.66 | 899.74 | 0.615 |
| qesto | 11700 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 10812.42 | 831.72 | 236.51 | 900 | 0 | 0.077 |
| Qute_opt500 | 5660.07 | 435.39 | 433.04 | 203.46 | 892.2 | 0.538 |
| Qute_random | 5659.14 | 435.32 | 433.09 | 202.89 | 892.27 | 0.538 |
| rareqs | 11700 | 900 | 0 | 900 | 0 | 0 |
| rev_qfun0.1 | 3641.1 | 280.08 | 413.28 | 5.25 | 452.04 | 0.692 |
| xb-qsts_bqsts2.0 | 10804.66 | 831.13 | 238.58 | 900 | 0 | 0.077 |
| xb-qsts_xbqsts1.0 | 10804.88 | 831.14 | 238.52 | 900 | 0 | 0.077 |
| xb-qsts_xbqsts2.0 | 10804.68 | 831.13 | 238.58 | 900 | 0 | 0.077 |