full results

problem
zip-dev
zip-dev.time
0.09
9.84
9.90
9.92
7.87
9.95
9.96
10.01
9.84
9.96
9.93
9.91
9.94
9.92
10.07
8.97
9.88
9.91
9.99
9.94
10.09
10.08
9.98
10.07
10.03