QBF Solver Evaluation Portal
qbflib.orgFamily Planning-CTE results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 13745.13 | 528.66 | 354.41 | 387.23 | 665.96 | 0.538 |
| Caqe-bloqqer-qdo | 17309.19 | 665.74 | 286.1 | 764.83 | 474.47 | 0.538 |
| Caqe-hqspre | 2228.06 | 85.69 | 63.04 | 63.41 | 108.36 | 1 |
| Cued_2_2018 | 23341.01 | 897.73 | 11.51 | 900.02 | 0.04 | 0 |
| Cued_3_2018 | 23341.6 | 897.75 | 11.42 | 900.03 | 0.04 | 0 |
| depqbf_prefix_opt_qdo | 23032.9 | 885.88 | 70.78 | 900.03 | 0.04 | 0.038 |
| depqbf_pre_QxQBH | 13503.07 | 519.35 | 421.04 | 900.01 | 862.11 | 0.462 |
| GhostQ-PG_cegar | 23401.05 | 900.04 | 0.03 | 900.03 | 0.05 | 0 |
| GhostQ-PG_plain | 23400.91 | 900.04 | 0.03 | 900.03 | 0.04 | 0 |
| Heretiq-cube | 5667.86 | 217.99 | 184.06 | 205.82 | 301.82 | 1 |
| Heretiq-simple | 5764.86 | 221.73 | 195.15 | 196.75 | 286.85 | 1 |
| ijtihad | 5421.42 | 208.52 | 174.6 | 196.5 | 274.23 | 1 |
| Iprover-HQSpre-Bloqqer | 2197.71 | 84.53 | 61.9 | 64.26 | 105.17 | 1 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 7187.98 | 276.46 | 218.58 | 169.64 | 349.09 | 0.962 |
| predyndep | 18344.48 | 705.56 | 355.65 | 900.02 | 794.03 | 0.231 |
| Qute_default | 3093.98 | 119 | 84.84 | 87.48 | 162.64 | 1 |
| Qute_opt500 | 3097.8 | 119.15 | 86.81 | 81.83 | 163.26 | 1 |
| Qute_random | 3243.89 | 124.77 | 96.34 | 78.51 | 181.23 | 1 |
| Rareqs_2018 | 7599.84 | 292.3 | 264.07 | 233.09 | 380.52 | 0.962 |