full results

problem
zip-dev
zip-dev.time
9.81
3.08
9.81
5.91
4.89
6.47
1.17
0.10
0.05
0.06
9.84
5.94
9.80
9.86
9.88
9.81
9.85
9.82
9.85
3.61
0.06
0.07
9.79
9.82
0.03