QBF Solver Evaluation Portal
qbflib.orgFamily HardwareFixpoint results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 19156.56 | 354.75 | 435.04 | 12.51 | 897.56 | 0.611 |
| Caqe-hqspre | 11920.33 | 220.75 | 358.22 | 14.5 | 145.39 | 0.778 |
| caqe-pre | 12215.93 | 226.22 | 366.09 | 14.33 | 142.34 | 0.759 |
| depqbf_prefix_opt_qdo | 47700 | 883.33 | 121.34 | 900 | 0 | 0.019 |
| depqbf_pre_QxQBH | 16085.31 | 297.88 | 382.45 | 28.51 | 781.43 | 0.741 |
| GhostQ___cegar_pcnf_2019 | 7026.74 | 130.12 | 300.26 | 7.18 | 15.5 | 0.833 |
| GhostQ___plain_pcnf_2019 | 7552.29 | 139.86 | 303 | 6.15 | 15.32 | 0.833 |
| iprover_bloqqer_schedule | 20905.95 | 387.15 | 429.4 | 14.53 | 897.29 | 0.556 |
| iprover_bloqqer_single | 22477.32 | 416.25 | 442.48 | 17.37 | 897.27 | 0.537 |
| nanoqbf_bloqqer | 30654.64 | 567.68 | 433.3 | 900 | 897.02 | 0.37 |
| nanoqbf_hqspre | 11338.01 | 209.96 | 347.37 | 14.45 | 137.76 | 0.815 |
| Qute_default | 12547.57 | 232.36 | 365.59 | 13.96 | 210.08 | 0.778 |
| Qute_opt500 | 4659.04 | 86.28 | 139.64 | 14.01 | 65.61 | 0.407 |
| Qute_rrs | 13402.31 | 248.19 | 374.62 | 13.85 | 271.25 | 0.778 |
| Rareqs_2018 | 26430.48 | 489.45 | 443.12 | 900 | 899.39 | 0.463 |