full results

problem
zip-dev
zip-dev.time
0.03
0.04
9.88
0.04
0.40
0.05
9.89
10.20
9.87
9.81
9.70
0.04
0.32
0.23
9.81
9.81
9.91
9.79
1.82
1.98
9.79
9.79
9.84
9.84
0.12