full results

problem
zip-dev
zip-dev.time
1.35
0.04
0.05
0.03
0.05
0.04
0.04
9.78
9.77
8.63
9.79
0.63
9.79
9.78
1.43
9.79
9.77
9.35
0.80
0.20
0.83
9.18
0.88
0.08
2.64