full results

problem
zip-dev
zip-dev.time
2.21
0.03
0.07
0.79
9.79
10.02
9.96
10.02
10.03
9.78
10.03
9.79
10.03
9.95
9.89
0.10
9.92
0.15
9.85
0.16
0.09
0.09
9.85
0.03
3.20