Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
dCaqe | 60034.79 | 600.35 | 419.71 | 900.02 | 900.03 | 0.34 |
hqs | 11115.15 | 111.15 | 291.65 | 0 | 1.05 | 0.36 |
hqs+ql | 11161.25 | 111.61 | 291.56 | 0.51 | 1.07 | 0.36 |
hqs+ql+fs | 11159.44 | 111.59 | 291.56 | 0.52 | 1.04 | 0.36 |
iprover_hqspre | 63106.24 | 631.06 | 403.61 | 900.02 | 828.27 | 0.31 |