full results

problem
zip-dev
zip-dev.time
10.29
10.33
10.28
10.26
10.28
10.32
10.37
0.20
1.09
2.25
3.55
4.82
0.02
8.36
9.88
9.97
10.06
0.02
9.82
9.83
9.96
10.08
0.11
9.80
9.88