full results

problem
zip-dev
zip-dev.time
9.78
10.30
9.79
10.24
9.80
10.34
10.04
10.26
9.80
10.27
9.80
10.25
9.80
10.27
3.07
11.01
11.02
11.02
9.81
11.01
11.02
11.02
1.68
11.01
11.02