full results

problem
zip-dev
zip-dev.time
10.82
10.26
10.31
9.84
9.77
10.58
10.80
9.81
9.85
10.32
10.47
9.80
9.80
10.59
10.81
9.89
9.89
0.20
0.18
10.35
10.54
9.78
9.79
10.86
11.01