full results

problem
zip-dev
zip-dev.time
10.02
9.89
10.02
0.06
0.06
1.23
1.23
10.02
10.02
10.02
10.02
1.08
1.55
1.75
1.22
1.10
1.08
9.87
1.49
1.73
10.02
0.06
0.06
9.78
10.02