full results

problem
zip-dev
zip-dev.time
3.44
9.95
4.57
9.70
0.64
9.95
9.79
10.01
9.79
9.98
9.80
9.99
9.98
9.95
9.85
10.00
9.79
9.96
10.03
10.17
10.03
9.98
9.80
10.00
9.80