full results

problem
zip-dev
zip-dev.time
9.90
9.95
9.78
9.92
0.08
9.78
9.85
9.79
2.92
9.79
1.65
9.79
0.18
9.78
9.78
9.78
9.94
9.79
9.78
9.87
0.04
9.78
9.78
0.28
0.30