full results

problem
zip-dev
zip-dev.time
10.02
0.05
0.18
10.03
11.52
10.04
10.90
10.03
3.65
10.07
9.78
9.80
11.01
11.01
3.40
0.16
0.07
0.93
0.08
0.10
10.04
9.96
0.09
2.65
1.58