full results

problem
zip-dev
zip-dev.time
9.82
2.88
9.84
0.66
10.08
10.12
3.40
3.10
10.01
3.29
9.97
9.94
9.87
2.39
9.82
3.11
2.15
2.47
9.79
2.35
9.97
9.79
9.82
10.04
9.87