full results

problem
zip-dev
zip-dev.time
1.55
0.03
0.05
0.03
0.09
0.03
0.04
9.77
9.77
8.75
9.78
0.69
9.78
9.77
1.41
9.77
9.80
9.35
0.79
0.20
0.79
9.25
0.84
0.08
2.63