full results

problem
zip-dev
zip-dev.time
0.03
1.64
0.02
1.66
0.02
0.24
0.02
1.46
0.02
1.55
0.02
1.63
0.02
10.05
0.02
9.94
0.03
1.74
0.02
1.36
0.02
10.01
1.99
1.33
0.02