full results

problem
zip-dev
zip-dev.time
0.06
0.02
0.07
0.04
1.12
3.83
0.03
9.87
10.02
9.85
9.86
4.73
0.03
4.80
0.03
9.88
0.03
4.80
0.03
9.83
9.91
9.82
0.02
9.80
0.02