full results

problem
zip-dev
zip-dev.time
11.20
1.86
10.91
13.98
11.10
0.03
0.03
2.74
9.85
0.06
1.74
0.29
0.39
0.41
0.32
0.36
0.44
0.36
0.46
0.34
0.34
0.43
0.39
0.32
0.41