full results

problem
zip-dev
zip-dev.time
9.94
10.05
10.15
10.18
10.15
9.86
9.82
9.85
9.93
10.15
10.17
9.84
9.90
10.18
9.95
3.50
9.95
2.69
9.99
10.18
10.01
10.15
9.79
10.10
10.06