full results

problem
zip-dev
zip-dev.time
9.84
9.81
0.47
10.04
9.89
9.82
9.79
0.03
0.03
0.03
10.03
0.03
9.84
3.51
3.69
0.14
0.05
9.89
0.04
0.04
9.79
0.04
0.02
9.86
9.94