full results

problem
zip-dev
zip-dev.time
10.00
9.79
10.04
9.82
10.00
9.80
9.99
10.02
10.00
0.90
9.96
10.02
10.01
9.80
10.03
4.50
10.00
10.03
9.99
10.03
10.01
10.03
10.00
0.21
10.03