full results

problem
zip-dev
zip-dev.time
9.79
10.04
11.01
11.01
11.01
11.01
1.92
1.48
0.39
0.74
0.52
1.38
0.06
0.06
0.47
0.31
0.59
0.18
0.14
0.17
0.17
9.78
0.18
0.11
0.10