full results

problem
zip-dev
zip-dev.time
9.96
9.96
9.92
10.01
10.07
10.00
9.98
9.77
0.36
10.06
9.81
9.94
9.94
9.80
1.22
10.04
10.04
10.04
10.22
10.23
10.21
10.26
10.27
10.27
2.37