full results

problem
zip-dev
zip-dev.time
0.10
0.15
0.11
0.14
0.10
0.12
0.11
0.60
9.78
1.47
9.78
2.13
9.77
1.35
9.78
1.08
9.78
1.75
9.78
9.80
9.78
1.55
4.59
0.45
1.80