full results

problem
zip-dev
zip-dev.time
1.31
1.36
4.45
1.15
9.89
9.80
9.81
9.79
9.81
9.78
0.63
0.37
0.18
0.20
9.96
9.82
9.89
9.82
9.87
9.82
0.62
0.45
9.81
9.78
0.12