full results

problem
zip-dev
zip-dev.time
0.18
9.97
10.22
11.01
9.87
0.55
1.66
11.01
9.79
0.65
1.46
11.01
0.66
3.05
9.96
10.11
11.01
2.78
9.90
10.25
11.01
3.10
6.40
9.97
11.01