full results

problem
zip-dev
zip-dev.time
9.88
10.02
1.79
1.79
1.86
0.81
0.93
1.03
1.19
7.17
9.79
9.88
9.86
9.79
0.31
0.55
1.86
0.51
1.83
0.77
9.92
9.98
9.80
10.02
9.82