full results

problem
zip-dev
zip-dev.time
10.77
10.25
10.24
9.82
9.79
10.55
10.68
9.84
9.80
10.33
10.41
9.80
9.80
10.58
10.75
9.82
9.81
0.17
0.18
10.61
10.65
9.80
9.81
10.73
11.01