full results

problem
zip-dev
zip-dev.time
3.57
9.99
4.38
9.67
0.69
9.95
9.78
9.96
9.85
9.96
9.79
9.98
10.03
10.23
10.03
9.99
9.78
10.00
9.99
10.14
10.03
10.00
9.78
10.00
9.79