full results

problem
zip-dev
zip-dev.time
3.30
2.26
9.77
2.25
0.23
0.18
0.05
0.03
9.80
9.78
2.20
1.60
0.03
0.03
0.06
0.04
0.27
0.22
0.18
0.18
0.25
0.19
0.06
0.05
0.04