full results

problem
zip-dev
zip-dev.time
9.83
9.81
9.81
9.80
9.78
9.80
9.78
9.78
9.88
9.77
9.81
9.88
0.03
9.88
0.03
10.12
0.02
1.29
0.01
9.89
0.04
1.57
0.02
1.29
0.02