full results

problem
zip-dev
zip-dev.time
9.94
9.79
9.78
9.83
0.09
9.80
9.79
9.79
3.26
9.87
1.58
9.78
0.21
9.87
9.88
9.79
9.79
9.83
9.78
9.78
0.04
9.79
9.80
0.31
0.27