Experimental Evaluation Of Constraint Automata Solutions To The Genome Map Assembly Problem