full results

problem
zip-dev
zip-dev.time
5.38
0.35
2.33
5.72
0.31
0.42
1.02
0.44
0.47
1.65
2.33
0.53
2.55
0.52
0.23
1.51
4.39
0.48
1.68
0.46
0.15
1.98
9.81
0.29
0.17