full results

problem
zip-dev
zip-dev.time
10.03
0.52
10.03
9.78
10.03
0.72
9.79
9.79
9.78
9.84
9.78
9.79
9.96
9.96
10.22
0.02
10.16
0.03
10.21
0.04
10.21
0.04
10.20
0.02
10.16