full results

problem
zip-dev
zip-dev.time
9.94
10.07
9.85
10.06
10.14
9.98
9.99
10.16
10.40
11.01
11.01
10.08
10.03
10.24
9.83
9.99
10.22
10.19
9.89
10.00
10.17
10.32
11.01
11.01
9.85