full results

problem
zip-dev
zip-dev.time
9.78
2.08
9.79
9.87
5.32
2.33
9.82
9.80
0.09
3.34
4.36
0.12
9.78
0.04
0.95
0.35
9.78
9.87
9.85
9.82
0.05
9.81
1.14
0.13
9.81