full results

problem
zip-dev
zip-dev.time
10.03
1.95
9.78
2.33
10.02
1.65
9.78
2.08
9.81
1.90
10.02
1.74
10.03
2.17
10.03
2.09
9.92
1.80
10.03
8.29
9.79
7.49
9.79
8.70
9.80