QBF Solver Evaluation Portal
qbflib.orgFamily disjunctive_decomposition results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 1.97 | 0.49 | 0.85 | 0 | 0.99 | 1 |
| Caqe-bloqqer-qdo | 900.7 | 225.18 | 389.64 | 0.33 | 450.35 | 0.75 |
| Caqe-hqspre | 1827.79 | 456.95 | 443.18 | 463.89 | 886.14 | 0.5 |
| Cued_2_2018 | 34.65 | 8.66 | 14.65 | 0.31 | 17.33 | 1 |
| Cued_3_2018 | 35.12 | 8.78 | 14.86 | 0.3 | 17.56 | 1 |
| depqbf_prefix_opt_qdo | 2700.09 | 675.02 | 389.72 | 900.02 | 450.05 | 0.25 |
| depqbf_pre_QxQBH | 903.7 | 225.93 | 389.22 | 1.82 | 451.85 | 0.75 |
| GhostQ-PG_cegar | 3600.17 | 900.04 | 0.03 | 900.04 | 0.05 | 0 |
| GhostQ-PG_plain | 3600.12 | 900.03 | 0.02 | 900.03 | 0.04 | 0 |
| Heretiq-cube | 520.59 | 130.15 | 225.42 | 0.01 | 260.3 | 0.75 |
| Heretiq-simple | 900.06 | 225.02 | 389.74 | 0 | 450.03 | 0.75 |
| ijtihad | 900.09 | 225.02 | 389.75 | 0 | 450.05 | 0.75 |
| Iprover-HQSpre-Bloqqer | 1800.16 | 450.04 | 450.04 | 450.04 | 900.08 | 0.5 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 2849.32 | 712.33 | 325.12 | 900.03 | 375.43 | 0.25 |
| predyndep | 900.92 | 225.23 | 389.62 | 0.43 | 450.46 | 0.75 |
| Qute_default | 2700.11 | 675.03 | 389.73 | 900.03 | 450.05 | 0.25 |
| Qute_opt500 | 1806.49 | 451.62 | 448.42 | 453.22 | 896.83 | 0.5 |
| Qute_random | 1806.53 | 451.63 | 448.41 | 453.23 | 896.81 | 0.5 |
| Rareqs_2018 | 58.09 | 14.52 | 25.15 | 0 | 29.05 | 1 |