full results

problem
zip-dev
zip-dev.time
9.90
10.22
11.02
10.06
1.28
9.87
10.09
11.02
10.04
9.91
10.18
11.02
10.03
9.89
9.98
11.02
10.04
9.88
10.11
11.02
9.83
9.80
0.67
1.73
11.02