full results

problem
zip-dev
zip-dev.time
0.32
4.47
0.68
0.58
0.69
0.60
0.66
0.87
0.71
0.63
0.66
0.69
0.69
0.62
3.66
0.37
4.26
4.92
9.78
0.17
0.16
0.22
0.23
0.17
0.21