full results

problem
zip-dev
zip-dev.time
10.77
1.96
12.79
11.68
10.71
0.03
0.04
3.41
9.77
0.06
1.44
0.36
0.39
0.46
0.35
0.39
0.38
0.36
0.45
0.33
0.38
0.35
0.41
0.30
0.77