full results

problem
zip-dev
zip-dev.time
11.01
11.01
0.35
0.14
0.42
1.15
0.11
0.23
0.70
0.71
0.03
0.14
7.81
0.02
0.17
6.75
0.03
2.98
0.02
0.13
0.03
0.17
0.02
0.14
0.02