QBF Solver Evaluation Portal
qbflib.orgFamily blackbox-01X-QBF results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 10665.89 | 533.29 | 423.49 | 900.01 | 881.01 | 0.45 |
| Caqe-bloqqer-qdo | 11924.47 | 596.22 | 374.69 | 875.01 | 796.48 | 0.5 |
| Caqe-hqspre | 6828.06 | 341.4 | 413.03 | 76.54 | 896.63 | 0.65 |
| Cued_2_2018 | 18000.71 | 900.04 | 0.02 | 900.03 | 0.03 | 0 |
| Cued_3_2018 | 18000.69 | 900.03 | 0.02 | 900.03 | 0.03 | 0 |
| depqbf_prefix_opt_qdo | 8100.55 | 405.03 | 420.54 | 168.39 | 896.97 | 0.6 |
| depqbf_pre_QxQBH | 3680.24 | 184.01 | 267.09 | 66.17 | 253.51 | 0.9 |
| GhostQ-PG_cegar | 17103.49 | 855.17 | 195.53 | 900.03 | 0.03 | 0.05 |
| GhostQ-PG_plain | 17102.34 | 855.12 | 195.77 | 900.02 | 0.01 | 0.05 |
| Heretiq-cube | 6451.55 | 322.58 | 423.92 | 31.2 | 898.75 | 0.65 |
| Heretiq-simple | 6451.02 | 322.55 | 423.95 | 31.19 | 898.73 | 0.65 |
| ijtihad | 9913.96 | 495.7 | 447.04 | 900.02 | 898.74 | 0.45 |
| Iprover-HQSpre-Bloqqer | 8992.75 | 449.64 | 395.1 | 330.04 | 896.63 | 0.55 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 4305.28 | 215.26 | 345.93 | 29.35 | 147.09 | 0.8 |
| predyndep | 4822.61 | 241.13 | 334.72 | 76.47 | 173.8 | 0.8 |
| Qute_default | 249.84 | 12.49 | 9.41 | 11.44 | 15.85 | 1 |
| Qute_opt500 | 249.86 | 12.49 | 9.48 | 11.29 | 15.77 | 1 |
| Qute_random | 248.22 | 12.41 | 9.39 | 11.6 | 15.8 | 1 |
| Rareqs_2018 | 32.22 | 1.61 | 0.97 | 1.45 | 1.44 | 1 |