full results

problem
zip-dev
zip-dev.time
0.03
1.51
0.02
1.70
0.02
0.22
0.02
1.69
0.02
1.59
0.02
1.47
0.02
9.94
0.02
9.99
0.03
1.72
0.02
1.32
0.02
10.11
1.74
1.53
0.02