full results

problem
zip-dev
zip-dev.time
6.61
0.02
7.51
0.03
9.89
0.30
9.91
0.02
9.88
0.02
9.89
0.08
6.39
0.02
7.09
0.02
7.26
0.02
7.58
0.02
9.91
0.04
9.93
9.78
6.88