full results

problem
zip-dev
zip-dev.time
10.05
10.04
7.25
9.90
10.11
9.96
9.91
9.89
9.87
9.91
9.93
9.87
9.88
10.01
9.96
9.93
9.99
10.00
9.90
10.08
9.89
0.15
0.18
9.89
9.94