full results

problem
zip-dev
zip-dev.time
9.86
0.08
0.08
7.12
0.08
0.05
0.04
9.83
9.83
9.85
9.82
9.83
9.96
9.84
9.85
9.82
9.85
0.13
0.06
0.06
0.11
9.81
10.03
9.92
0.88