full results

problem
zip-dev
zip-dev.time
0.11
9.95
10.12
0.13
10.09
10.34
9.89
9.79
9.78
0.97
9.84
9.82
0.12
1.58
10.07
1.23
0.04
9.87
1.25
9.80
1.04
0.22
0.44
9.82
9.85