Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 30205.16 | 755.13 | 293.62 | 900 | 0 | 0.225 |
Caqe-hqspre | 4465.98 | 111.65 | 167.83 | 50.49 | 125.57 | 0.975 |
caqe-pre | 5338.61 | 133.47 | 229.49 | 50.29 | 125.68 | 0.925 |
depqbf_prefix_opt_qdo | 35078.59 | 876.96 | 104.17 | 900 | 0 | 0.05 |
depqbf_pre_QxQBH | 18884.39 | 472.11 | 416.94 | 521.21 | 876.3 | 0.525 |
GhostQ___cegar_pcnf_2019 | 36000 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 36000 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 27875.55 | 696.89 | 314.01 | 900 | 472.67 | 0.325 |
iprover_bloqqer_single | 34775.39 | 869.38 | 133.51 | 900 | 0 | 0.05 |
nanoqbf_bloqqer | 19532.04 | 488.3 | 390.12 | 492.85 | 876.07 | 0.575 |
nanoqbf_hqspre | 3972.9 | 99.32 | 117.24 | 59.17 | 132.1 | 1 |
Qute_default | 6424.71 | 160.62 | 225.49 | 72.72 | 183.41 | 0.95 |
Qute_opt500 | 5098.49 | 127.46 | 147.76 | 72.51 | 183.4 | 0.9 |
Qute_rrs | 6251.18 | 156.28 | 216.15 | 73.11 | 184.84 | 0.95 |
Rareqs_2018 | 9513.43 | 237.84 | 269.21 | 138 | 418.92 | 0.975 |