full results

problem
zip-dev
zip-dev.time
11.51
1.76
10.88
14.97
10.55
0.03
0.06
2.94
9.79
0.06
1.41
0.35
0.34
0.78
0.41
0.33
0.43
0.36
0.39
0.35
0.37
0.36
0.41
0.35
0.70