QBF Solver Evaluation Portal
qbflib.orgFamily HardwareFixpoint results for solvers
QBFEVAL'19 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 28154.54 | 433.15 | 445.89 | 23.29 | 896.35 | 0.523 |
| Caqe-hqspre | 20961.88 | 322.49 | 410.04 | 31.47 | 897.89 | 0.662 |
| caqe-pre | 20130.56 | 309.7 | 398.39 | 30.52 | 897.89 | 0.646 |
| depqbf_prefix_opt_qdo | 56703.06 | 872.35 | 155.43 | 900.04 | 0.05 | 0.031 |
| depqbf_pre_QxQBH | 24884.1 | 382.83 | 411.56 | 200.23 | 896.81 | 0.631 |
| GhostQ___cegar_pcnf_2019 | 14207.66 | 218.58 | 363.4 | 9.73 | 176.62 | 0.708 |
| GhostQ___plain_pcnf_2019 | 14731.06 | 226.63 | 363.32 | 7.31 | 333.01 | 0.708 |
| Hiqqer2019_1 | 40635.45 | 625.16 | 412.5 | 900.01 | 898.53 | 0.308 |
| Hiqqer2019_2 | 38734.97 | 595.92 | 425.15 | 900.01 | 898.45 | 0.338 |
| Hiqqer2019_3 | 40527.21 | 623.5 | 414.69 | 900.02 | 898.56 | 0.308 |
| Qute_default | 21533.82 | 331.29 | 413.12 | 37.92 | 896.73 | 0.662 |
| Qute_opt500 | 6888.88 | 105.98 | 179.35 | 13.5 | 78.07 | 0.354 |
| Qute_rrs | 22398.66 | 344.59 | 416.62 | 37.63 | 896.79 | 0.662 |