full results

problem
zip-dev
zip-dev.time
9.79
10.28
9.80
10.30
9.79
10.30
9.80
10.34
10.04
10.32
9.80
10.35
9.81
10.35
3.08
11.01
11.02
11.02
9.78
11.01
11.02
11.02
1.27
11.01
11.02