full results

problem
zip-dev
zip-dev.time
6.59
9.84
9.78
0.09
0.33
0.02
0.58
0.03
0.04
9.78
0.11
9.77
0.31
9.78
0.37
0.08
2.40
9.78
9.80
9.80
0.22
0.17
5.43
9.78
0.09