QBF Solver Evaluation Portal
qbflib.orgFamily crafted_2020 results for solvers
Crafted Instances Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 187.97 | 1.42 | 10.67 | 0 | 0 | 1 |
| Caqe-hqspre | 21692.79 | 164.34 | 346.83 | 0 | 1.05 | 0.818 |
| caqe-pre | 18992.27 | 143.88 | 314.61 | 0 | 1.03 | 0.864 |
| depqbf_prefix_opt_qdo | 41814.68 | 316.78 | 424.09 | 0 | 900 | 0.667 |
| depqbf_pre_QxQBH | 758.86 | 5.75 | 40.06 | 0 | 0 | 1 |
| GhostQ___cegar_pcnf_2019 | 16578.34 | 125.59 | 308.42 | 0 | 0.38 | 0.864 |
| GhostQ___plain_pcnf_2019 | 34695.06 | 262.84 | 405.74 | 0 | 900 | 0.712 |
| iprover_bloqqer_schedule | 192.7 | 1.46 | 10.65 | 0 | 0.07 | 1 |
| iprover_bloqqer_single | 194.44 | 1.47 | 10.8 | 0 | 0.08 | 1 |
| nanoqbf_bloqqer | 15979.98 | 121.06 | 304.59 | 0 | 0 | 0.871 |
| nanoqbf_hqspre | 23012.8 | 174.34 | 351.76 | 0 | 3.79 | 0.811 |
| Qute_default | 9436.42 | 71.49 | 238.95 | 0 | 0 | 0.924 |
| Qute_opt500 | 174.31 | 1.32 | 5.72 | 0 | 0 | 0.765 |
| Qute_rrs | 10189.71 | 77.19 | 248.56 | 0 | 0 | 0.917 |
| Rareqs_2018 | 16209.39 | 122.8 | 308.83 | 0 | 0 | 0.864 |