full results

problem
zip-dev
zip-dev.time
9.78
0.32
0.19
0.02
0.72
0.18
0.70
9.81
0.04
9.77
9.84
0.10
0.06
5.97
5.09
9.81
9.77
9.77
0.44
0.05
0.61
2.39
9.00
9.30
9.78