full results

problem
zip-dev
zip-dev.time
10.79
1.79
10.34
14.54
11.13
0.05
0.10
2.31
9.82
0.08
1.47
0.32
0.36
0.43
0.36
0.41
0.40
0.35
0.40
0.49
0.35
0.35
0.42
0.39
0.65