full results

problem
zip-dev
zip-dev.time
0.82
0.80
0.15
0.31
1.06
0.11
0.22
0.77
0.15
0.31
1.25
0.11
0.22
0.79
0.14
0.35
1.11
0.10
0.21
0.81
0.77
0.14
0.33
1.16
0.12