full results

problem
zip-dev
zip-dev.time
0.14
1.02
0.18
0.93
0.24
1.13
0.16
1.13
0.19
1.00
0.14
1.04
0.18
1.07
0.21
1.26
0.19
1.05
0.17
0.12
0.17
0.11
0.10
0.13
0.11