full results

problem
zip-dev
zip-dev.time
9.86
10.09
10.12
10.07
9.93
9.89
9.87
9.98
10.02
10.00
0.38
9.85
10.00
9.92
0.25
10.02
9.83
7.91
9.89
9.92
9.96
9.99
9.89
9.97
9.98