full results

problem
zip-dev
zip-dev.time
10.07
10.09
10.05
9.85
10.08
10.07
10.06
10.08
9.97
10.06
10.08
9.80
9.84
9.96
9.91
9.82
9.92
6.61
10.16
9.96
9.90
10.15
9.92
10.17
0.06