full results

problem
zip-dev
zip-dev.time
0.30
5.11
0.69
0.68
0.69
0.60
0.69
0.63
0.58
0.63
0.64
0.80
0.64
0.58
3.56
0.32
4.89
4.41
9.80
0.17
0.19
0.16
0.22
0.18
0.20