full results

problem
zip-dev
zip-dev.time
10.46
0.02
10.26
0.02
10.18
0.04
10.40
0.03
10.23
0.02
10.32
0.03
10.37
0.02
10.35
0.03
5.27
0.02
0.03
10.03
0.04
9.83
0.21
3.56
10.03