full results

problem
zip-dev
zip-dev.time
0.36
0.30
0.40
9.80
9.78
2.29
9.78
2.36
9.79
9.79
11.02
0.51
0.20
0.05
0.04
0.04
0.04
0.09
0.07
9.78
9.78
9.78
9.77
0.16
0.10