Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 7208.69 | 720.87 | 358.26 | 900 | 895.23 | 0.2 |
Caqe-hqspre | 2971.41 | 297.14 | 400.84 | 13.62 | 242.89 | 0.7 |
caqe-pre | 2973.38 | 297.34 | 400.81 | 13.65 | 244.78 | 0.7 |
depqbf_prefix_opt_qdo | 6301.69 | 630.17 | 412.17 | 900 | 900 | 0.3 |
depqbf_pre_QxQBH | 3797.07 | 379.71 | 400.34 | 225.81 | 641.86 | 0.7 |
GhostQ___cegar_pcnf_2019 | 2724.16 | 272.42 | 410.86 | 4.87 | 8.45 | 0.7 |
GhostQ___plain_pcnf_2019 | 2004 | 200.4 | 353.58 | 2.58 | 16.42 | 0.8 |
iprover_bloqqer_schedule | 8104.81 | 810.48 | 268.56 | 900 | 0 | 0.1 |
iprover_bloqqer_single | 7569.52 | 756.95 | 297.2 | 900 | 535.27 | 0.2 |
nanoqbf_bloqqer | 7381.34 | 738.13 | 326.07 | 900 | 722.26 | 0.2 |
nanoqbf_hqspre | 3946.8 | 394.68 | 424.21 | 172.38 | 899.82 | 0.6 |
Qute_default | 3603.5 | 360.35 | 440.62 | 1.75 | 900 | 0.6 |
Qute_opt500 | 89.69 | 8.97 | 12.14 | 1.65 | 8.23 | 0.5 |
Qute_rrs | 3603.34 | 360.33 | 440.64 | 1.67 | 900 | 0.6 |
Rareqs_2018 | 7200 | 720 | 360 | 900 | 900 | 0.2 |