full results

problem
zip-dev
zip-dev.time
9.80
0.95
9.79
0.89
1.07
1.10
0.80
0.60
0.88
9.81
9.79
9.81
9.21
2.78
9.57
2.32
0.04
0.06
0.04
0.80
9.10
2.69
0.96
0.59
9.79