full results

problem
zip-dev
zip-dev.time
0.24
9.89
10.01
9.86
9.85
9.84
9.89
9.91
9.36
9.84
0.04
9.83
0.28
9.83
9.89
9.85
0.03
3.44
9.84
9.86
9.95
9.84
2.75
9.83
10.03