full results

problem
zip-dev
zip-dev.time
10.05
9.23
5.40
9.93
1.04
9.85
2.45
9.91
2.59
9.84
9.93
9.80
2.47
9.81
2.46
9.81
10.07
10.03
1.77
3.82
10.10
1.67
1.92
10.05
1.32