full results

problem
zip-dev
zip-dev.time
0.96
4.26
10.14
10.52
0.77
0.59
0.80
0.30
0.38
10.30
0.07
10.11
9.88
10.07
10.01
9.85
10.09
0.79
10.06
9.85
9.90
10.10
9.83
9.83
10.26