full results

problem
zip-dev
zip-dev.time
9.97
10.11
11.01
10.05
1.27
9.91
10.08
11.01
10.04
9.88
10.28
11.01
10.03
9.90
9.99
11.01
9.89
9.88
10.07
11.02
9.82
9.79
0.60
1.97
11.01