full results

problem
zip-dev
zip-dev.time
0.08
9.93
9.89
9.96
8.13
9.98
9.94
10.09
9.89
9.89
9.96
9.98
9.88
9.97
10.01
8.71
9.88
9.92
9.97
9.94
10.08
10.08
9.95
10.01
9.92