full results

problem
zip-dev
zip-dev.time
9.80
9.92
9.88
10.08
3.26
0.10
9.99
10.09
10.01
10.00
1.42
9.96
9.96
9.98
9.96
10.03
10.02
10.06
10.14
10.17
9.81
10.09
10.15
10.22
9.97