full results

problem
zip-dev
zip-dev.time
0.14
1.12
0.18
0.94
0.25
1.13
0.15
0.96
0.15
1.21
0.12
1.06
0.20
0.92
0.20
1.20
0.22
0.94
0.16
0.12
0.11
0.11
0.09
0.12
0.10