full results

problem
zip-dev
zip-dev.time
10.18
0.22
10.22
2.93
10.16
9.81
10.23
9.78
10.22
9.79
10.18
9.79
10.26
9.81
10.23
9.80
10.31
9.81
10.17
9.80
10.24
9.85
10.23
9.88
10.25