full results

problem
zip-dev
zip-dev.time
9.79
10.05
11.04
11.01
11.01
11.01
1.97
1.61
0.26
1.51
0.56
1.10
0.10
0.05
0.60
0.34
0.38
0.16
0.15
0.17
0.18
9.78
0.20
0.12
0.10