full results

problem
zip-dev
zip-dev.time
9.78
9.78
0.02
0.02
9.85
9.79
9.79
10.01
9.78
3.65
9.78
9.81
9.05
0.03
6.13
0.04
9.94
0.04
9.95
9.81
9.79
9.79
9.83
1.42
9.79