full results

problem
zip-dev
zip-dev.time
0.02
7.56
0.02
4.46
0.02
4.15
0.02
7.70
9.88
9.80
7.42
0.02
7.60
0.04
9.90
0.03
9.90
9.77
9.98
0.03
7.43
0.03
10.04
0.02
9.89