full results

problem
zip-dev
zip-dev.time
11.01
11.02
0.36
0.14
0.31
1.08
0.11
0.21
0.79
0.73
0.02
0.15
7.17
0.03
0.16
7.14
0.03
2.85
0.02
0.23
0.03
0.18
0.02
0.14
0.02