full results

problem
zip-dev
zip-dev.time
10.03
9.83
10.10
10.03
10.07
9.77
10.10
9.78
10.04
9.78
10.09
9.78
10.07
10.03
10.04
9.79
10.13
9.80
10.12
0.58
10.12
9.78
10.10
0.10
10.11