full results

problem
zip-dev
zip-dev.time
8.91
0.05
0.04
8.60
0.06
0.05
0.35
0.03
9.77
9.80
9.80
9.88
9.77
0.39
0.16
0.02
0.49
0.27
0.18
0.34
0.27
0.13
0.34
0.34
0.20