full results

problem
zip-dev
zip-dev.time
9.79
9.91
9.89
9.99
3.46
0.09
9.93
10.17
9.99
10.00
1.60
9.99
9.94
9.95
9.98
9.79
10.02
10.11
10.07
10.19
9.90
10.12
10.20
10.17
9.96