full results

problem
zip-dev
zip-dev.time
3.11
3.35
3.31
9.78
9.79
8.10
9.80
6.75
9.80
3.82
9.34
4.42
1.30
0.65
0.44
0.96
9.78
7.08
0.02
10.02
9.78
9.78
10.02
9.78
9.80