for(int attempt=0;attempt<2;++attempt)
{// try learning the same machine a few times
LearnerGraph pta = new LearnerGraph(config);
RandomPathGenerator generator = new RandomPathGenerator(referenceGraph,new Random(attempt),5,null);
final int tracesToGenerate = makeEven(traceQuantity);
generator.generateRandomPosNeg(tracesToGenerate, 1, false, new RandomLengthGenerator() {
@Override
public int getLength() {
return (int)(traceLengthMultiplier*states*tracesAlphabet);
}