full results

problem
zip-dev
zip-dev.time
3.87
9.93
4.43
8.32
0.69
9.93
9.86
9.93
9.82
9.96
9.78
9.94
9.80
9.94
9.84
9.94
9.78
9.97
9.86
10.13
9.98
9.96
9.81
9.99
9.78