full results

problem
zip-dev
zip-dev.time
8.82
0.05
0.05
8.53
0.06
0.04
0.18
0.02
9.78
9.78
9.99
9.91
9.77
0.42
0.16
0.02
0.27
0.31
0.21
0.30
0.32
0.14
0.30
0.34
0.17