full results

problem
zip-dev
zip-dev.time
10.02
9.93
10.05
10.03
10.07
9.78
10.04
9.80
10.03
9.80
10.05
9.78
10.04
10.02
10.09
9.79
10.13
9.80
10.14
0.52
10.15
9.83
10.14
0.13
10.13