full results

problem
zip-dev
zip-dev.time
9.79
3.09
9.82
5.74
4.58
5.85
1.34
0.08
0.04
0.07
9.79
6.86
9.87
9.82
9.84
9.82
9.83
9.87
9.80
3.88
0.07
0.09
9.79
9.88
0.04