full results

problem
zip-dev
zip-dev.time
0.02
8.51
9.88
7.97
8.84
9.90
10.12
10.01
9.94
9.94
9.98
10.01
9.94
10.01
10.09
9.94
8.99
9.93
9.87
10.01
9.99
10.05
10.03
10.03
9.96