full results

problem
zip-dev
zip-dev.time
9.77
0.02
0.06
9.97
0.08
9.78
0.02
0.02
0.02
0.05
0.02
0.11
0.02
0.36
1.53
0.21
0.48
4.13
0.09
0.04
9.78
5.77
0.02
9.82
0.29