full results

problem
zip-dev
zip-dev.time
9.80
9.86
9.78
0.06
0.05
1.23
1.11
10.02
10.02
9.78
9.97
1.20
1.78
1.59
1.09
1.10
1.02
9.88
1.72
1.72
10.02
0.06
0.06
9.84
9.99