full results

problem
zip-dev
zip-dev.time
9.83
9.93
10.02
9.79
6.54
0.60
10.03
0.27
0.27
0.04
0.04
7.54
7.61
6.76
8.57
0.09
2.58
9.93
9.81
0.31
10.02
10.02
10.02
9.87
10.02