full results

problem
zip-dev
zip-dev.time
9.96
10.08
9.78
9.80
9.88
10.11
10.12
0.02
9.79
9.99
11.01
11.01
0.02
9.80
9.95
11.01
11.01
0.09
0.15
0.25
0.43
0.74
9.82
9.79
9.80