full results

problem
zip-dev
zip-dev.time
9.79
2.11
9.78
9.80
5.42
2.36
9.78
9.79
0.09
3.33
4.38
0.11
9.79
0.03
0.90
0.28
9.77
9.87
9.99
9.77
0.05
9.80
1.10
0.13
9.78