full results

problem
zip-dev
zip-dev.time
0.10
0.38
0.62
1.12
0.70
1.74
1.23
0.08
0.08
0.04
0.04
0.21
0.24
0.21
0.21
1.23
0.76
0.59
0.57
0.67
0.59
0.18
0.06
0.18
0.15