full results

problem
zip-dev
zip-dev.time
0.23
0.75
0.82
0.14
0.33
1.26
0.11
0.23
0.72
0.16
0.34
1.25
0.12
0.21
0.75
0.16
0.30
1.01
0.12
0.23
0.71
0.18
0.30
1.14
0.12