full results

problem
zip-dev
zip-dev.time
0.60
1.31
0.22
1.83
5.16
2.21
0.03
0.09
0.05
0.61
1.80
0.28
2.25
4.88
0.28
2.70
4.83
0.29
0.63
3.89
0.34
0.52
2.13
0.31
2.24