full results

problem
zip-dev
zip-dev.time
0.02
10.02
9.81
10.18
10.28
0.02
0.02
10.36
10.60
0.03
0.02
10.45
10.55
10.22
10.17
9.83
9.87
10.32
10.31
0.02
0.02
10.46
10.85
0.02
0.02