full results

problem
zip-dev
zip-dev.time
0.70
0.87
0.74
0.80
0.53
0.37
0.55
0.33
0.69
0.72
0.55
0.37
0.50
0.41
0.24
0.15
0.23
0.18
0.21
0.17
0.25
0.15
0.21
0.15
0.21