full results

problem
zip-dev
zip-dev.time
0.24
9.93
9.97
9.89
9.99
10.09
9.92
9.92
9.99
0.12
10.08
9.89
9.88
9.95
9.98
9.62
9.84
0.71
9.87
9.86
9.87
5.52
9.91
9.99
9.96