full results

problem
zip-dev
zip-dev.time
10.06
10.00
10.00
9.98
10.04
10.06
10.07
10.06
10.08
10.05
10.02
10.12
10.04
10.01
10.02
10.21
3.43
10.15
10.07
10.02
10.01
10.17
10.07
10.17
9.99