full results

problem
zip-dev
zip-dev.time
0.38
0.89
0.28
0.20
0.14
0.23
0.14
0.25
0.16
0.23
0.15
0.22
0.14
0.23
0.15
10.03
10.03
9.82
10.03
9.80
10.03
10.03
10.03
0.40
10.03