full results

problem
zip-dev
zip-dev.time
0.20
0.22
0.22
0.24
0.22
0.15
0.15
0.24
0.19
0.29
9.79
0.29
9.80
0.29
9.80
0.29
9.80
0.26
9.79
0.26
10.03
0.40
9.84
0.28
10.04