full results

problem
zip-dev
zip-dev.time
0.60
1.29
0.19
2.15
5.14
1.97
0.03
0.06
0.05
0.74
2.02
0.25
2.31
5.60
0.29
2.40
5.43
0.28
0.63
3.65
0.31
0.58
1.95
0.31
2.25