full results

problem
zip-dev
zip-dev.time
9.96
0.08
0.08
7.16
0.08
0.05
0.04
9.81
9.80
9.86
9.82
9.83
10.08
9.82
9.83
9.81
10.08
0.11
0.06
0.06
0.08
9.81
9.88
9.94
0.88