full results

problem
zip-dev
zip-dev.time
10.03
2.06
9.78
2.06
10.03
1.86
9.78
2.09
9.78
2.23
10.03
1.94
10.03
2.20
10.03
1.91
9.86
1.99
10.03
8.38
9.78
7.70
9.78
8.65
9.78