Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
dCaqe | 33005.46 | 330.05 | 425.57 | 1.48 | 900.02 | 0.65 |
hqs | 15332.97 | 153.33 | 327.84 | 0 | 23.72 | 0.84 |
hqs+ql | 13868.58 | 138.69 | 311.2 | 0 | 19.83 | 0.86 |
hqs+ql+fs | 16142.11 | 161.42 | 335.74 | 0 | 24.34 | 0.83 |
iprover_hqspre | 50166.89 | 501.67 | 432.63 | 900.01 | 892.34 | 0.46 |