full results

problem
zip-dev
zip-dev.time
9.79
9.80
9.79
9.80
1.43
0.58
1.49
9.79
9.79
1.51
0.04
0.06
0.03
0.04
0.05
0.39
9.18
2.41
0.06
0.38
9.80
9.93
1.75
9.81
9.79