full results

problem
zip-dev
zip-dev.time
9.79
2.15
1.12
0.53
9.79
9.79
9.79
9.79
1.07
0.49
9.80
2.57
9.79
5.75
0.05
0.27
0.06
0.65
0.63
0.76
9.79
2.47
8.28
2.07
9.79