QBF Solver Evaluation Portal
qbflib.orgFamily genpatch results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 3551.9 | 710.38 | 355.68 | 900.05 | 474.21 | 0.4 |
| Caqe-bloqqer-qdo | 3060.44 | 612.09 | 370.07 | 900 | 719.89 | 0.4 |
| Caqe-hqspre | 4458.09 | 891.62 | 16.88 | 900.05 | 21.12 | 0.2 |
| Cued_2_2018 | 3603.03 | 720.61 | 358.86 | 900.02 | 448.58 | 0.2 |
| Cued_3_2018 | 3602.98 | 720.6 | 358.85 | 900.02 | 448.58 | 0.2 |
| depqbf_prefix_opt_qdo | 3632.39 | 726.48 | 347.1 | 900.01 | 433.87 | 0.2 |
| depqbf_pre_QxQBH | 2895.53 | 579.11 | 397.33 | 900.03 | 802.34 | 0.4 |
| GhostQ-PG_cegar | 710.66 | 142.13 | 242.12 | 37.69 | 38.87 | 1 |
| GhostQ-PG_plain | 1225.11 | 245.02 | 337.25 | 46.08 | 117.61 | 0.8 |
| Heretiq-cube | 2685.04 | 537.01 | 342.28 | 531.57 | 539.15 | 0.4 |
| Heretiq-simple | 3096 | 619.2 | 366.04 | 900.03 | 702.11 | 0.4 |
| ijtihad | 3034.86 | 606.97 | 374.23 | 900.02 | 732.7 | 0.4 |
| Iprover-HQSpre-Bloqqer | 4500.17 | 900.03 | 0.02 | 900.03 | 0.02 | 0 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 1166.39 | 233.28 | 333.99 | 85.13 | 44.56 | 0.8 |
| predyndep | 2708.98 | 541.8 | 438.75 | 900.01 | 895.58 | 0.4 |
| Qute_default | 4500.17 | 900.03 | 0.02 | 900.03 | 0.01 | 0 |
| Qute_opt500 | 4500.21 | 900.04 | 0.01 | 900.05 | 0.02 | 0 |
| Qute_random | 4500.15 | 900.03 | 0.02 | 900.02 | 0.01 | 0 |
| Rareqs_2018 | 3600.2 | 720.04 | 360.02 | 900.02 | 450.05 | 0.2 |