full results

problem
zip-dev
zip-dev.time
0.08
0.17
0.10
0.12
0.11
0.25
0.16
0.12
0.15
10.54
9.78
10.43
9.78
10.52
9.78
9.30
9.78
10.43
9.78
10.56
9.78
10.54
9.78
10.49
9.78