QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 6940.19 | 365.27 | 417.34 | 30.26 | 898.83 | 0.684 |
| Caqe-bloqqer-qdo | 4985.73 | 262.41 | 388.85 | 9.89 | 354.77 | 0.737 |
| Caqe-hqspre | 6507.95 | 342.52 | 359.57 | 205.69 | 513.41 | 0.737 |
| Cued_2_2018 | 7270.68 | 382.67 | 441.22 | 9.94 | 896.43 | 0.579 |
| Cued_3_2018 | 7270.46 | 382.66 | 441.23 | 9.89 | 896.51 | 0.579 |
| depqbf_prefix_opt_qdo | 9903.12 | 521.22 | 444.21 | 900.02 | 899.98 | 0.421 |
| depqbf_pre_QxQBH | 5866.93 | 308.79 | 359.89 | 165.83 | 193.3 | 0.737 |
| GhostQ-PG_cegar | 16465.64 | 866.61 | 141.89 | 900.05 | 0.04 | 0.053 |
| GhostQ-PG_plain | 16450.8 | 865.83 | 145.14 | 900.04 | 0.04 | 0.053 |
| Heretiq-cube | 9121.59 | 480.08 | 443.12 | 900.04 | 898.84 | 0.474 |
| Heretiq-simple | 9133.91 | 480.73 | 442.52 | 900 | 898.84 | 0.474 |
| ijtihad | 9360.62 | 492.66 | 435.22 | 900.02 | 898.82 | 0.474 |
| Iprover-HQSpre-Bloqqer | 6408.25 | 337.28 | 357.35 | 239.09 | 354.29 | 0.737 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 14055.21 | 739.75 | 267.62 | 900.02 | 523.55 | 0.316 |
| predyndep | 3216.35 | 169.28 | 321.64 | 9.45 | 22.54 | 0.842 |
| Qute_default | 7451.22 | 392.17 | 380.82 | 220.75 | 813.31 | 0.737 |
| Qute_opt500 | 8454.26 | 444.96 | 406.59 | 299.89 | 885.04 | 0.579 |
| Qute_random | 7275.65 | 382.93 | 374.54 | 285.36 | 884.33 | 0.684 |
| Rareqs_2018 | 11364.46 | 598.13 | 407.22 | 900.01 | 892.26 | 0.368 |