full results

problem
zip-dev
zip-dev.time
9.91
10.06
11.01
10.05
1.31
9.87
10.08
11.01
9.96
9.96
10.29
11.01
9.97
9.87
10.00
11.01
10.03
9.91
10.08
11.02
9.81
9.80
0.66
2.01
11.02