full results

problem
zip-dev
zip-dev.time
0.05
0.05
0.29
0.19
9.78
9.81
9.77
9.80
9.78
9.82
10.02
9.79
3.77
3.26
0.03
0.02
9.88
1.42
0.31
0.06
9.80
0.77
0.31
0.08
0.56