Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 7256.21 | 725.62 | 348.76 | 900 | 867.62 | 0.2 |
Caqe-hqspre | 5477.59 | 547.76 | 431.69 | 900 | 897.61 | 0.4 |
caqe-pre | 5031.66 | 503.17 | 415.73 | 676.97 | 897.67 | 0.5 |
depqbf_prefix_opt_qdo | 4075.09 | 407.51 | 422.55 | 235.07 | 899.95 | 0.6 |
depqbf_pre_QxQBH | 2936.79 | 293.68 | 398.07 | 65.07 | 86.11 | 0.7 |
GhostQ___cegar_pcnf_2019 | 3590.82 | 359.08 | 402.07 | 70.22 | 672.19 | 0.7 |
GhostQ___plain_pcnf_2019 | 3341.64 | 334.16 | 395.71 | 55.18 | 489.08 | 0.7 |
iprover_bloqqer_schedule | 8737.22 | 873.72 | 78.83 | 900 | 0 | 0.1 |
iprover_bloqqer_single | 4960.66 | 496.07 | 337.54 | 353.37 | 746.85 | 0.6 |
nanoqbf_bloqqer | 7235.54 | 723.55 | 352.9 | 900 | 878.86 | 0.2 |
nanoqbf_hqspre | 2789.39 | 278.94 | 406.91 | 8.67 | 58.14 | 0.7 |
Qute_default | 6313.78 | 631.38 | 410.33 | 900 | 897.98 | 0.3 |
Qute_opt500 | 422.55 | 42.26 | 64.17 | 13.65 | 28.64 | 0.3 |
Qute_rrs | 6313.68 | 631.37 | 410.35 | 900 | 897.93 | 0.3 |
Rareqs_2018 | 7220.76 | 722.08 | 355.86 | 900 | 884.18 | 0.2 |