full results

problem
zip-dev
zip-dev.time
0.61
1.14
0.24
2.10
5.15
1.94
0.04
0.07
0.06
0.64
2.03
0.28
2.31
5.57
0.31
2.40
5.55
0.29
0.67
3.94
0.35
0.61
1.89
0.32
2.28