full results

problem
zip-dev
zip-dev.time
0.98
3.08
10.03
1.96
9.79
1.70
3.07
3.94
0.17
0.16
0.07
0.07
0.11
0.11
0.12
0.08
0.35
0.25
0.09
0.08
0.09
0.11
0.08
0.09
5.99