full results

problem
zip-dev
zip-dev.time
7.38
0.02
6.61
0.02
9.90
0.26
9.88
0.02
9.91
0.02
9.92
0.07
7.06
0.02
6.25
0.02
7.13
0.02
7.39
0.02
9.93
0.04
9.90
9.88
6.80