full results

problem
zip-dev
zip-dev.time
9.80
0.03
0.06
9.98
0.10
10.01
0.02
0.03
0.03
0.06
0.03
0.13
0.03
0.24
1.30
0.25
0.53
3.84
0.09
0.05
10.03
6.72
0.03
10.03
0.30