full results

problem
zip-dev
zip-dev.time
0.48
10.10
0.92
0.56
10.06
10.06
10.05
10.02
10.03
10.05
10.03
10.03
10.04
10.04
10.07
10.06
10.07
10.05
9.80
10.04
10.06
10.07
10.03
10.06
10.06