full results

problem
zip-dev
zip-dev.time
10.09
10.06
9.85
10.00
10.36
9.84
9.99
10.21
10.36
11.01
11.01
10.08
9.97
10.14
9.88
10.00
10.22
10.16
9.92
10.24
10.24
10.07
11.02
11.01
9.90