full results

problem
zip-dev
zip-dev.time
11.01
11.01
0.35
0.15
0.29
1.12
0.11
0.21
0.80
0.72
0.03
0.15
6.93
0.03
0.17
6.86
0.03
2.88
0.02
0.15
0.03
0.17
0.02
0.15
0.02