full results

problem
zip-dev
zip-dev.time
9.86
10.30
9.89
11.02
1.48
1.30
0.37
11.02
2.64
11.02
10.56
1.95
0.41
11.02
3.02
11.02
11.02
10.15
10.16
0.04
10.22
11.03
11.03
11.03
11.03