full results

problem
zip-dev
zip-dev.time
9.79
9.81
9.84
2.18
9.87
9.78
9.78
1.98
9.78
1.89
9.78
9.79
9.79
2.53
9.91
9.78
9.79
9.78
9.78
9.78
2.83
2.85
9.79
2.85
2.48