full results

problem
zip-dev
zip-dev.time
9.78
0.21
0.22
0.24
9.80
0.35
2.42
9.78
9.78
9.85
9.79
9.96
9.79
9.83
9.79
9.92
9.86
9.77
9.78
0.10
0.06
0.13
9.78
0.03
10.02