full results

problem
zip-dev
zip-dev.time
9.80
10.02
10.02
10.02
0.15
0.16
0.05
0.44
10.02
10.02
10.02
10.02
0.05
9.77
0.08
9.88
0.12
9.79
0.17
9.78
0.04
9.81
0.07
9.79
0.05