Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
Caqe-bloqqer-qdo | 1385.27 | 138.53 | 260.52 | 36.24 | 45.29 | 0.9 |
Caqe-hqspre | 2232.93 | 223.29 | 339.4 | 59.21 | 56.83 | 0.8 |
caqe-pre | 1900.69 | 190.07 | 283.52 | 58.21 | 56.23 | 0.9 |
depqbf_prefix_opt_qdo | 8107.38 | 810.74 | 267.79 | 900 | 0 | 0.1 |
depqbf_pre_QxQBH | 5458.42 | 545.84 | 334.02 | 512.01 | 876.54 | 0.6 |
GhostQ___cegar_pcnf_2019 | 7169.24 | 716.92 | 343.41 | 900 | 861.35 | 0.3 |
GhostQ___plain_pcnf_2019 | 8148.19 | 814.82 | 255.54 | 900 | 0 | 0.1 |
iprover_bloqqer_schedule | 8158.39 | 815.84 | 140.19 | 900 | 288.99 | 0 |
iprover_bloqqer_single | 7971.13 | 797.11 | 206.1 | 900 | 488.68 | 0 |
nanoqbf_bloqqer | 6855.57 | 685.56 | 354.92 | 900 | 883.49 | 0.3 |
nanoqbf_hqspre | 5845.25 | 584.53 | 392.48 | 900 | 878.62 | 0.4 |
Qute_default | 8558.65 | 855.87 | 132.41 | 900 | 0 | 0.1 |
Qute_opt500 | 624.91 | 62.49 | 123.97 | 20.68 | 20.19 | 0 |
Qute_rrs | 8501.26 | 850.13 | 149.62 | 900 | 0 | 0.1 |
Rareqs_2018 | 2201.38 | 220.14 | 342.22 | 47.12 | 113.14 | 0.8 |