full results

problem
zip-dev
zip-dev.time
4.28
9.90
9.85
9.86
10.05
3.28
0.24
9.83
3.10
9.82
9.93
10.01
9.87
0.02
0.05
0.02
9.96
9.95
9.84
9.86
9.85
9.91
9.91
9.86
0.02