full results

problem
zip-dev
zip-dev.time
0.69
9.98
9.79
9.88
0.02
10.09
0.02
9.88
0.07
9.88
0.02
9.92
0.02
9.97
9.78
9.88
0.02
10.11
0.04
9.87
9.87
9.91
0.02
9.87
0.06