Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 7290.04 | 132.55 | 272.15 | 0.91 | 20.53 | 0.909 |
Caqe-hqspre | 9930.47 | 180.55 | 333.82 | 0 | 133.79 | 0.836 |
caqe-pre | 9142.26 | 166.22 | 307.59 | 0 | 133.37 | 0.891 |
depqbf_prefix_opt_qdo | 16329.26 | 296.9 | 408.98 | 0 | 900 | 0.691 |
depqbf_pre_QxQBH | 17175.23 | 312.28 | 410.17 | 4.63 | 900 | 0.691 |
GhostQ___cegar_pcnf_2019 | 5191.24 | 94.39 | 222.08 | 1.2 | 34.2 | 0.945 |
GhostQ___plain_pcnf_2019 | 16627.28 | 302.31 | 417.19 | 1.14 | 900 | 0.709 |
iprover_bloqqer_schedule | 31024.36 | 564.08 | 416.52 | 900 | 890.93 | 0.4 |
iprover_bloqqer_single | 31218.35 | 567.61 | 423.78 | 900 | 890.34 | 0.382 |
nanoqbf_bloqqer | 24225.53 | 440.46 | 444.87 | 34.96 | 899.43 | 0.527 |
nanoqbf_hqspre | 27992.19 | 508.95 | 444.53 | 900 | 900 | 0.436 |
Qute_default | 18070.15 | 328.55 | 432.01 | 1.69 | 900 | 0.636 |
Qute_opt500 | 593.57 | 10.79 | 31.65 | 0.9 | 2.34 | 0.345 |
Qute_rrs | 17166.7 | 312.12 | 427.11 | 1.52 | 899.96 | 0.655 |
Rareqs_2018 | 6682.42 | 121.5 | 279.62 | 0 | 8.69 | 0.891 |