full results

problem
zip-dev
zip-dev.time
0.02
0.19
0.02
0.06
9.79
0.01
0.02
0.02
0.03
12.14
10.03
12.16
0.02
0.02
0.02
0.02
0.02
0.01
0.02
9.96
0.02
0.02
0.02
0.02
9.81