full results

problem
zip-dev
zip-dev.time
10.03
9.78
10.03
0.07
0.06
1.08
1.23
10.03
10.03
9.85
10.03
1.08
1.53
1.82
1.10
1.25
1.02
10.03
1.54
1.58
9.85
0.06
0.06
10.03
10.03