full results

problem
zip-dev
zip-dev.time
0.11
0.65
1.67
0.10
0.06
0.24
3.36
0.06
0.12
1.68
0.04
0.03
1.56
0.07
0.20
1.61
1.65
2.64
0.20
0.65
1.19
0.20
0.58
3.49
0.23