full results

problem
zip-dev
zip-dev.time
10.14
0.02
10.44
0.02
10.43
0.02
10.28
0.03
10.38
0.03
10.41
0.04
10.26
0.02
10.14
0.10
9.88
9.77
10.27
9.81
10.30
0.02
10.22
0.02
10.19