full results

problem
zip-dev
zip-dev.time
0.05
0.88
0.08
0.90
0.06
0.90
0.06
1.01
0.06
0.86
0.08
0.89
0.06
1.04
0.10
0.85
0.05
0.88
0.06
0.86
0.77
3.49
9.78
0.64
0.74