full results

problem
zip-dev
zip-dev.time
0.23
10.09
0.83
0.52
10.07
10.06
10.05
10.03
10.03
10.03
10.03
10.03
10.04
10.04
10.04
10.06
10.07
10.06
9.81
10.04
10.06
10.08
10.03
10.06
10.04