QBF Solver Evaluation Portal
qbflib.orgFamily tipfixpoint results for solvers
QBFEVAL'18 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer | 10800.69 | 900.06 | 0.02 | 900.06 | 0.03 | 0 |
| Caqe-bloqqer-qdo | 10800.62 | 900.05 | 0.03 | 900.06 | 0.05 | 0 |
| Caqe-hqspre | 3762.84 | 313.57 | 415.04 | 32.98 | 891.59 | 0.667 |
| Cued_2_2018 | 9694.8 | 807.9 | 248.98 | 900.02 | 0.05 | 0.167 |
| Cued_3_2018 | 9561.06 | 796.76 | 256.91 | 900.02 | 0.07 | 0.167 |
| depqbf_prefix_opt_qdo | 9021.91 | 751.83 | 331.42 | 900.03 | 0.04 | 0.167 |
| depqbf_pre_QxQBH | 6659.81 | 554.98 | 410.76 | 900.01 | 835.4 | 0.417 |
| GhostQ-PG_cegar | 3627.38 | 302.28 | 422.68 | 4.48 | 897.18 | 0.667 |
| GhostQ-PG_plain | 2042.02 | 170.17 | 331.39 | 3.86 | 106.98 | 0.833 |
| Heretiq-cube | 10800.45 | 900.04 | 0.03 | 900.03 | 0.05 | 0 |
| Heretiq-simple | 10800.51 | 900.04 | 0.03 | 900.03 | 0.06 | 0 |
| ijtihad | 10800.64 | 900.05 | 0.03 | 900.05 | 0.04 | 0 |
| Iprover-HQSpre-Bloqqer | 10000.38 | 833.37 | 221.17 | 900.05 | 0.04 | 0.083 |
| PortfolioDepQBFGhostQRaReQSQute___pf | 3913.22 | 326.1 | 405.99 | 49.68 | 868.5 | 0.667 |
| predyndep | 6703.86 | 558.66 | 407.46 | 900.01 | 834.42 | 0.417 |
| Qute_default | 9912.99 | 826.08 | 245.29 | 900.04 | 0.03 | 0.083 |
| Qute_opt500 | 4757.16 | 396.43 | 428.69 | 110.86 | 892.25 | 0.583 |
| Qute_random | 4758.1 | 396.51 | 428.67 | 111.18 | 892.2 | 0.583 |
| Rareqs_2018 | 10800.54 | 900.05 | 0.03 | 900.04 | 0.05 | 0 |