full results

problem
zip-dev
zip-dev.time
10.04
8.93
5.22
9.90
1.34
9.89
2.45
9.91
2.58
9.86
9.92
9.82
2.49
9.81
2.42
9.80
9.99
9.98
1.78
3.46
10.07
1.55
1.89
10.06
1.27