full results

problem
zip-dev
zip-dev.time
0.02
9.83
9.78
7.44
8.91
9.92
9.91
9.91
9.96
9.91
9.91
10.05
9.93
9.87
10.03
9.94
7.96
9.92
9.88
9.95
10.10
10.12
10.14
10.01
9.98