full results

problem
zip-dev
zip-dev.time
0.05
0.06
0.08
0.13
9.85
9.87
0.04
0.03
0.03
10.18
0.04
0.53
0.02
10.20
9.81
10.15
10.16
10.14
10.14
5.93
10.04
10.16
11.02
9.79
10.14