full results

problem
zip-dev
zip-dev.time
4.41
9.91
9.81
9.83
10.05
3.27
0.24
9.84
3.06
9.84
10.06
9.99
9.80
0.03
0.05
0.03
9.96
9.94
9.85
9.88
9.85
9.89
9.94
9.84
0.02