full results

problem
zip-dev
zip-dev.time
10.03
9.80
10.03
9.86
10.03
10.03
9.89
10.03
10.03
10.03
10.03
10.03
9.93
9.92
9.91
9.90
10.03
5.38
10.03
5.31
9.99
10.03
10.03
10.03
10.03