full results

problem
zip-dev
zip-dev.time
8.93
0.06
0.04
8.63
0.06
0.05
0.37
0.02
9.78
9.79
9.90
9.82
9.78
0.36
0.16
0.02
0.31
0.32
0.21
0.30
0.32
0.14
0.43
0.32
0.18