full results

problem
zip-dev
zip-dev.time
0.41
9.79
0.31
0.19
0.52
0.10
0.49
0.11
0.33
0.09
0.32
0.10
0.42
0.14
9.80
0.11
9.81
0.13
9.80
0.11
9.80
0.19
0.04
0.05
0.04