full results

problem
zip-dev
zip-dev.time
9.83
0.02
0.06
10.02
0.11
9.78
0.02
0.02
0.02
0.05
0.02
0.13
0.02
0.24
1.50
0.24
0.49
4.41
0.10
0.05
9.90
6.69
0.02
9.92
0.29