full results

problem
zip-dev
zip-dev.time
5.38
0.14
9.78
0.36
9.79
0.10
9.78
0.15
9.78
7.42
9.81
10.03
9.78
6.92
9.82
9.80
0.23
9.79
0.09
0.03
10.03
10.02
0.04
9.87
10.02