full results

problem
zip-dev
zip-dev.time
9.84
9.79
7.78
9.79
9.79
9.79
9.79
0.91
0.85
9.79
9.90
9.80
9.78
9.79
9.80
1.16
0.94
9.79
9.79
9.79
9.80
9.79
9.80
9.79
9.79