full results

problem
zip-dev
zip-dev.time
11.38
2.41
11.09
11.18
11.52
0.03
0.04
3.04
9.77
0.07
1.45
0.30
0.37
0.37
0.34
0.36
0.42
0.36
0.43
0.41
0.37
0.41
0.37
0.34
0.45