full results

problem
zip-dev
zip-dev.time
9.79
0.85
9.79
0.97
1.06
1.16
0.89
0.59
0.87
9.79
9.80
9.78
9.09
2.63
9.79
2.17
0.04
0.06
0.06
0.81
9.80
2.79
1.09
0.61
9.80