full results

problem
zip-dev
zip-dev.time
10.18
0.22
10.24
2.77
10.18
9.82
10.19
9.79
10.22
9.80
10.19
9.81
10.26
9.81
10.24
9.80
10.23
9.80
10.24
9.81
10.19
9.82
10.18
9.84
10.22