full results

problem
zip-dev
zip-dev.time
0.02
0.03
9.87
0.50
0.02
0.04
9.85
0.15
9.56
1.02
8.42
0.08
9.81
1.63
9.86
0.06
7.35
0.32
9.93
0.62
0.06
0.05
0.44
0.13
0.10