full results

problem
zip-dev
zip-dev.time
9.89
2.88
9.81
0.69
10.10
10.12
3.34
3.12
10.20
3.26
10.02
9.94
9.92
2.25
9.84
2.92
2.13
2.54
9.84
2.38
9.93
9.81
9.85
10.05
9.86