full results

problem
zip-dev
zip-dev.time
10.81
2.04
10.51
13.96
11.82
0.03
0.04
2.16
9.78
0.06
1.42
0.36
0.43
0.39
0.35
0.34
0.39
0.40
0.40
0.35
0.35
0.39
0.40
0.47
0.48