full results

problem
zip-dev
zip-dev.time
9.80
0.04
9.90
0.11
9.77
0.08
9.78
0.21
9.81
0.31
9.78
0.49
9.83
0.51
9.86
0.45
9.77
0.20
9.88
0.05
9.87
9.81
9.78
9.78
9.78