full results

problem
zip-dev
zip-dev.time
9.79
2.12
1.07
0.60
9.79
9.79
9.86
9.79
0.92
0.52
9.46
2.52
9.79
6.56
0.04
0.20
0.06
0.64
0.69
0.56
9.79
2.47
8.05
1.92
9.79