full results

problem
zip-dev
zip-dev.time
9.79
9.79
9.78
9.81
9.79
9.78
9.81
9.81
9.81
9.80
9.77
9.91
0.03
10.01
0.03
10.16
0.02
1.26
0.02
9.89
0.03
1.56
0.02
1.40
0.02