full results

problem
zip-dev
zip-dev.time
1.20
10.01
9.80
9.85
9.80
9.92
9.80
10.02
9.82
9.77
9.80
10.02
9.80
0.07
1.84
9.82
9.92
0.10
9.80
10.02
9.96
0.03
9.83
9.84
9.83