full results

problem
zip-dev
zip-dev.time
0.58
1.33
0.19
2.06
5.77
2.20
0.03
0.07
0.05
0.62
2.00
0.25
2.25
5.63
0.25
2.71
4.83
0.28
0.63
3.50
0.34
0.60
1.86
0.31
2.21