Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 1866.17 | 93.31 | 95.16 | 68.24 | 74.99 | 1 |
Caqe-hqspre | 695.58 | 34.78 | 41.24 | 16.65 | 59.1 | 1 |
caqe-pre | 697.14 | 34.86 | 41.33 | 16.79 | 58.96 | 1 |
depqbf_prefix_opt_qdo | 8425.01 | 421.25 | 436.78 | 154.63 | 898.89 | 0.55 |
depqbf_pre_QxQBH | 3223.88 | 161.19 | 273.34 | 26.72 | 178.2 | 0.9 |
GhostQ___cegar_pcnf_2019 | 18000 | 900 | 0 | 900 | 0 | 0 |
GhostQ___plain_pcnf_2019 | 18000 | 900 | 0 | 900 | 0 | 0 |
iprover_bloqqer_schedule | 9836.74 | 491.84 | 379.92 | 352.57 | 784.7 | 0.55 |
iprover_bloqqer_single | 9553.42 | 477.67 | 367.09 | 357.07 | 785.56 | 0.55 |
nanoqbf_bloqqer | 12717.11 | 635.86 | 403.51 | 900 | 870.51 | 0.3 |
nanoqbf_hqspre | 5494.08 | 274.7 | 409.38 | 11.97 | 897.44 | 0.7 |
Qute_default | 5666.5 | 283.33 | 404.23 | 38.35 | 898.76 | 0.7 |
Qute_opt500 | 232.84 | 11.64 | 10.49 | 10.44 | 17.89 | 0.45 |
Qute_rrs | 482.83 | 24.14 | 36.01 | 11.04 | 31.75 | 1 |
Rareqs_2018 | 35.08 | 1.75 | 0.88 | 1.74 | 1.27 | 1 |