full results

problem
zip-dev
zip-dev.time
9.81
9.82
10.03
10.06
9.77
10.02
10.07
9.77
9.78
9.78
9.78
9.78
9.78
9.86
10.04
10.07
0.09
0.46
1.64
10.02
10.02
10.07
9.77
10.02
10.07