full results

problem
zip-dev
zip-dev.time
0.25
1.03
0.24
1.05
0.25
1.01
0.16
0.93
0.16
1.17
0.12
1.20
0.20
1.06
0.23
1.06
0.22
0.92
0.17
0.12
0.17
0.12
0.09
0.13
0.10