full results

problem
zip-dev
zip-dev.time
10.17
10.46
9.78
9.81
9.95
10.58
10.39
0.03
0.07
0.44
2.71
8.71
0.05
3.38
9.78
9.80
9.79
10.22
10.23
10.26
10.29
10.33
10.27
10.26
10.28