full results

problem
zip-dev
zip-dev.time
10.13
10.45
9.78
9.81
10.15
10.08
10.38
0.03
0.07
0.41
2.69
8.52
0.03
4.08
9.78
9.78
9.81
10.22
10.23
10.26
10.28
10.33
10.25
10.26
10.28