full results

problem
zip-dev
zip-dev.time
9.89
2.86
9.81
0.69
9.96
10.12
3.31
3.13
9.99
3.27
9.95
9.97
9.90
2.28
9.87
2.89
2.21
2.54
9.78
2.38
9.96
9.80
9.83
10.05
9.82