full results

problem
zip-dev
zip-dev.time
0.03
1.69
0.02
1.63
0.02
0.24
0.02
1.45
0.02
1.72
0.02
1.69
0.02
10.06
0.02
10.13
0.02
1.80
0.02
1.37
0.02
9.95
2.22
1.43
0.02