full results

problem
zip-dev
zip-dev.time
7.27
9.78
0.02
1.45
0.03
9.78
0.02
1.15
10.02
0.06
9.78
9.78
0.11
3.19
9.78
4.22
9.88
9.78
9.78
9.79
9.92
9.80
0.08
0.08
9.84