full results

problem
zip-dev
zip-dev.time
9.82
9.83
9.83
9.82
9.85
9.82
9.85
9.82
9.83
9.83
9.83
9.82
0.59
9.80
0.10
9.80
9.89
10.02
9.82
9.82
9.88
10.03
9.88
10.05
11.01