full results

problem
zip-dev
zip-dev.time
0.18
0.20
0.30
0.74
0.91
0.84
0.82
1.34
0.72
0.58
0.53
0.58
0.61
0.52
0.92
0.61
0.25
0.22
0.25
0.28
0.20
0.19
0.20
0.21
0.37