full results

problem
zip-dev
zip-dev.time
0.13
1.25
0.48
0.06
0.15
0.63
0.18
0.19
0.10
2.74
0.24
0.05
0.06
0.75
0.43
10.02
0.40
9.82
2.30
9.95
0.32
10.02
1.02
10.00
0.92