full results

problem
zip-dev
zip-dev.time
10.79
10.22
10.25
9.82
9.82
10.68
10.77
9.93
9.92
10.29
10.44
9.82
9.82
10.58
10.91
9.81
9.80
0.18
0.21
10.37
10.53
9.82
9.79
10.72
10.95