full results

problem
zip-dev
zip-dev.time
9.79
10.32
9.79
10.24
9.78
10.31
10.01
10.26
10.06
10.28
9.80
10.33
9.81
10.41
2.77
11.01
11.02
11.02
9.80
11.01
11.02
11.03
1.28
11.01
11.02