full results

problem
zip-dev
zip-dev.time
0.12
0.75
1.88
0.11
0.06
0.21
3.37
0.06
0.14
1.91
0.04
0.03
1.77
0.07
0.21
1.65
1.62
2.63
0.20
0.68
1.18
0.20
0.64
2.99
0.20