full results

problem
zip-dev
zip-dev.time
9.79
10.02
9.82
9.99
9.48
10.02
10.02
10.02
10.02
10.02
10.02
10.00
10.02
9.78
6.41
9.80
10.02
10.02
10.02
8.52
9.58
9.89
10.02
10.02
9.82