full results

problem
zip-dev
zip-dev.time
9.95
2.85
9.82
0.66
10.10
10.12
3.22
3.11
10.12
3.32
10.01
9.96
9.88
2.28
9.82
2.81
2.16
2.53
9.80
2.30
9.94
9.95
9.82
10.04
9.91