full results

problem
zip-dev
zip-dev.time
0.26
0.17
0.19
0.33
0.18
9.78
0.49
9.82
9.79
0.03
0.04
9.81
9.79
10.02
9.96
10.01
9.80
9.78
1.44
9.79
9.81
9.79
9.79
9.79
9.80