full results

problem
zip-dev
zip-dev.time
9.79
9.80
0.05
9.82
0.12
9.82
0.12
9.89
0.25
0.38
0.44
0.47
6.86
7.73
0.23
0.26
1.77
9.77
9.79
9.78
9.80
0.08
0.14
0.27
0.08