full results

problem
zip-dev
zip-dev.time
9.78
9.77
9.78
9.79
9.77
9.78
9.78
9.79
9.78
9.78
9.77
9.78
9.78
9.77
9.77
3.11
1.63
0.20
0.09
9.78
9.78
0.07
1.27
9.77
9.79