full results

problem
zip-dev
zip-dev.time
9.96
10.14
10.01
10.00
10.10
9.89
10.16
10.33
10.18
10.18
10.05
10.26
10.00
10.05
9.97
10.05
9.87
9.99
10.01
10.01
10.05
10.16
9.96
10.12
10.06