full results

problem
zip-dev
zip-dev.time
0.37
0.33
0.29
9.80
9.80
0.36
0.36
0.33
0.32
0.28
0.44
9.10
0.33
0.27
0.28
0.29
0.33
0.39
0.35
0.32
0.36
0.33
0.59
0.33
0.35