full results

problem
zip-dev
zip-dev.time
0.02
10.44
0.03
10.15
0.02
10.22
0.02
10.19
0.02
10.16
9.80
10.30
0.02
10.46
0.02
10.38
0.02
10.20
0.04
10.17
0.02
10.31
0.03
10.16
0.03