full results

problem
zip-dev
zip-dev.time
11.01
11.02
11.01
11.02
11.01
0.27
0.21
0.10
0.11
0.11
4.62
0.16
0.16
0.13
0.42
0.16
0.17
0.18
0.66
0.44
0.46
0.61
1.93
1.49
1.93