full results

problem
zip-dev
zip-dev.time
0.19
0.17
9.79
9.82
0.04
0.04
9.82
9.84
9.79
9.81
9.85
9.82
9.84
9.79
9.81
9.79
9.81
9.82
9.80
9.91
9.81
0.92
9.86
9.79
9.85