full results

problem
zip-dev
zip-dev.time
10.16
9.89
10.16
10.16
9.90
10.09
10.16
9.89
2.50
9.89
10.15
10.16
10.15
10.16
9.89
10.16
10.16
10.03
10.00
10.14
10.15
10.15
10.15
10.15
10.15