full results

problem
zip-dev
zip-dev.time
9.79
10.23
9.79
10.25
9.79
10.30
9.92
10.33
9.99
10.29
9.81
10.31
9.80
10.28
2.86
11.02
11.02
11.02
9.78
11.01
11.02
11.02
1.26
11.01
11.02