full results

problem
zip-dev
zip-dev.time
10.03
2.16
10.03
2.37
10.03
1.88
9.78
2.10
10.03
2.12
9.90
2.02
10.03
1.91
10.02
2.09
10.03
1.76
10.03
8.67
9.78
7.40
9.78
7.32
9.79