full results

problem
zip-dev
zip-dev.time
3.38
2.22
9.77
2.21
0.21
0.29
0.04
0.03
9.82
9.84
2.49
1.68
0.03
0.04
0.04
0.04
0.24
0.20
0.24
0.18
0.24
0.23
0.05
0.05
0.04