full results

problem
zip-dev
zip-dev.time
0.12
0.66
1.88
0.12
0.06
0.24
3.00
0.07
0.13
1.69
0.04
0.03
1.58
0.07
0.23
1.63
1.47
2.35
0.18
0.58
1.37
0.20
0.74
2.99
0.20