full results

problem
zip-dev
zip-dev.time
0.16
1.04
0.18
1.05
0.25
1.13
0.16
0.99
0.14
1.19
0.12
1.21
0.20
0.95
0.21
1.18
0.17
1.00
0.15
0.12
0.16
0.11
0.09
0.12
0.10