full results

problem
zip-dev
zip-dev.time
9.80
9.81
9.79
9.79
1.59
0.57
1.46
9.80
9.80
1.51
0.04
0.05
0.04
0.03
0.05
0.35
9.03
2.86
0.05
0.38
9.80
9.79
1.65
9.80
9.82