Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
---|---|---|---|---|---|---|
dCaqe | 74874.7 | 748.75 | 328.55 | 900 | 0 | 0.18 |
hqs | 65453.06 | 654.53 | 396.75 | 900 | 883.64 | 0.28 |
idq | 77775.13 | 777.75 | 303.56 | 900 | 0 | 0.14 |
iprover_dqbf18 | 67004.79 | 670.05 | 388.2 | 900 | 820.44 | 0.26 |
iprover_hqspre | 62723.17 | 627.23 | 406.39 | 900 | 874.78 | 0.32 |