full results

problem
zip-dev
zip-dev.time
10.81
10.17
10.30
9.78
9.88
10.56
10.68
9.82
9.86
10.35
10.39
9.81
9.80
10.61
10.92
9.98
9.84
0.18
0.20
10.80
10.54
9.80
9.82
10.94
10.97