full results

problem
zip-dev
zip-dev.time
0.03
10.31
0.03
10.22
0.02
10.29
0.02
10.36
0.02
10.17
9.80
10.16
0.02
10.41
0.02
10.21
0.02
10.31
0.03
10.42
0.02
10.20
0.03
10.17
0.03