full results

problem
zip-dev
zip-dev.time
0.12
0.75
1.93
0.12
0.05
0.24
3.40
0.07
0.14
1.67
0.04
0.03
1.65
0.08
0.28
1.88
1.55
2.28
0.24
0.58
1.36
0.20
0.58
3.42
0.27