QBF Solver Evaluation Portal
qbflib.orgSuite Wintersteiger results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 21605.29 | 480.12 | 448.93 | 900.01 | 900.06 | 0.467 |
| Caqe-bloqqer-qdo | 16937.58 | 376.39 | 433.99 | 19.31 | 898.28 | 0.6 |
| Caqe-hqspre | 11103.73 | 246.75 | 378.34 | 11.59 | 321.42 | 0.756 |
| Cued_2_2018 | 20222.47 | 449.39 | 443.45 | 338.63 | 898.24 | 0.511 |
| Cued_3_2018 | 20136.47 | 447.48 | 444.11 | 253.02 | 898.22 | 0.511 |
| depqbf_prefix_opt_qdo | 39626.83 | 880.6 | 128.98 | 900.04 | 0.04 | 0.022 |
| depqbf_pre_QxQBH | 16583.79 | 368.53 | 421.51 | 37.75 | 900.01 | 0.622 |
| GhostQ-PG_cegar | 9169.75 | 203.77 | 352.18 | 17.04 | 63.28 | 0.778 |
| GhostQ-PG_plain | 12855.71 | 285.68 | 378.26 | 57.17 | 675.71 | 0.711 |
| Heretiq-cube | 16241.24 | 360.92 | 378.37 | 428.26 | 748.33 | 0.489 |
| Heretiq-simple | 20865.51 | 463.68 | 446.73 | 900 | 900.05 | 0.489 |
| ijtihad | 21612.45 | 480.28 | 448.75 | 900 | 900.04 | 0.467 |
| Iprover-HQSpre-Bloqqer | 14988.53 | 333.08 | 395.5 | 70.61 | 900.01 | 0.689 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 15809.56 | 351.32 | 415.27 | 22.26 | 893.74 | 0.644 |
| predyndep | 16267.35 | 361.5 | 422.56 | 72.58 | 897.82 | 0.622 |
| Qute_default | 18103.12 | 402.29 | 431.81 | 68.18 | 900.04 | 0.578 |
| Qute_opt500 | 11343.65 | 252.08 | 355.9 | 39.3 | 407.92 | 0.8 |
| Qute_random | 11600.55 | 257.79 | 362.13 | 39.17 | 435.25 | 0.8 |
| Rareqs_2018 | 20015.06 | 444.78 | 446.15 | 192.29 | 900.06 | 0.511 |