full results

problem
zip-dev
zip-dev.time
0.97
0.10
9.79
9.79
3.24
6.80
0.76
0.59
1.09
0.57
9.74
2.07
0.71
0.70
0.80
0.80
9.79
9.79
9.81
9.80
0.99
0.67
9.79
9.79
9.79