full results

problem
zip-dev
zip-dev.time
9.85
9.93
9.99
9.87
9.90
9.96
9.88
9.98
9.99
9.98
0.38
9.87
9.91
10.02
0.25
10.01
9.92
7.34
9.90
9.91
9.93
9.90
9.87
9.94
10.00