full results

problem
zip-dev
zip-dev.time
9.83
7.49
9.83
8.35
9.82
9.85
0.58
0.54
0.50
0.36
0.70
0.07
9.80
9.81
9.81
0.07
0.07
9.79
9.88
0.07
0.04
10.03
9.91
0.05
0.04