full results

problem
zip-dev
zip-dev.time
11.56
2.14
9.68
11.49
11.86
0.03
0.04
2.21
9.77
0.06
1.49
0.35
0.34
0.33
0.38
0.33
0.40
0.39
0.39
0.34
0.34
0.39
0.42
0.57
0.44