full results

problem
zip-dev
zip-dev.time
10.02
10.05
0.07
9.89
0.18
10.13
0.19
9.88
9.95
9.91
10.12
9.91
10.01
9.89
10.09
9.82
10.08
9.91
5.41
9.84
9.96
9.86
10.08
10.09
4.54