full results

problem
zip-dev
zip-dev.time
9.82
9.79
10.00
9.80
10.02
0.20
9.78
8.34
3.58
1.24
1.08
0.50
2.29
1.74
1.79
1.25
2.32
6.50
1.45
9.78
9.79
0.24
3.37
9.78
4.97