full results

problem
zip-dev
zip-dev.time
0.07
0.45
0.04
0.04
0.04
0.73
9.78
9.82
9.81
0.05
0.04
0.49
0.05
0.05
0.55
0.06
0.04
0.37
9.83
9.79
0.03
9.87
9.78
9.89
9.93