full results

problem
zip-dev
zip-dev.time
0.04
1.70
0.02
1.49
0.02
0.24
0.02
1.65
0.02
1.82
0.03
1.73
0.02
10.14
0.03
10.02
0.02
1.64
0.02
1.53
0.02
9.93
2.18
1.28
0.02