full results

problem
zip-dev
zip-dev.time
9.93
9.82
10.01
10.16
9.98
9.91
9.93
10.06
10.17
10.16
10.16
9.95
10.07
10.14
10.15
3.52
10.02
3.11
10.20
9.96
10.10
10.05
9.88
9.98
10.09