full results

problem
zip-dev
zip-dev.time
6.29
0.78
0.21
0.09
9.89
9.77
9.78
0.13
9.79
2.47
3.23
0.11
0.11
9.77
0.10
9.78
0.07
9.84
0.34
9.86
1.20
9.78
2.02
1.28
0.36