full results

problem
zip-dev
zip-dev.time
9.88
9.97
2.09
2.02
2.07
0.71
0.80
1.24
1.06
7.31
9.81
9.82
10.02
9.82
0.28
0.55
1.81
0.55
2.15
0.92
9.81
9.86
10.02
10.02
9.79