QBF Solver Evaluation Portal
qbflib.orgFamily PositionalGames_hex results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 7618.89 | 507.93 | 372.09 | 514.45 | 884.65 | 0.667 |
| Caqe-bloqqer-qdo | 7674.03 | 511.6 | 354.68 | 488.33 | 882.26 | 0.667 |
| Caqe-hqspre | 9815.87 | 654.39 | 346.57 | 900 | 865.88 | 0.4 |
| Cued_2_2018 | 8162.31 | 544.15 | 375.65 | 757.85 | 862.54 | 0.533 |
| Cued_3_2018 | 8126.37 | 541.76 | 377.06 | 755.84 | 863 | 0.533 |
| depqbf_prefix_opt_qdo | 7680.39 | 512.03 | 382.78 | 477.89 | 888.82 | 0.533 |
| depqbf_pre_QxQBH | 10097.64 | 673.18 | 372.42 | 900 | 830.62 | 0.333 |
| GhostQ-PG_cegar | 12600.77 | 840.05 | 224.49 | 900.03 | 0.05 | 0.067 |
| GhostQ-PG_plain | 12401.38 | 826.76 | 226.46 | 900.04 | 0.06 | 0.133 |
| Heretiq-cube | 7169.54 | 477.97 | 402.94 | 298.68 | 861.89 | 0.533 |
| Heretiq-simple | 7243.81 | 482.92 | 402.24 | 427.6 | 861.97 | 0.533 |
| ijtihad | 12600.6 | 840.04 | 224.51 | 900.04 | 0.04 | 0.067 |
| Iprover-HQSpre-Bloqqer | 12600.61 | 840.04 | 224.51 | 900.04 | 0.06 | 0.067 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 10828.08 | 721.87 | 356.34 | 900.03 | 888.58 | 0.2 |
| predyndep | 9474.65 | 631.64 | 324.49 | 900.01 | 729.24 | 0.467 |
| Qute_default | 10672.79 | 711.52 | 331.95 | 900.01 | 736.77 | 0.267 |
| Qute_opt500 | 10871.61 | 724.77 | 350.62 | 900.03 | 861.64 | 0.2 |
| Qute_random | 10871.26 | 724.75 | 350.67 | 900.01 | 861.92 | 0.2 |
| Rareqs_2018 | 11808.33 | 787.22 | 251.18 | 900.03 | 314.3 | 0.2 |