How many cores do you have?

src/main/scala/leon/synthesis/ParallelSearch.scala

src/main/scala/leon/synthesis/SimpleSearch.scala

src/main/scala/leon/synthesis/SynthesisContext.scala

src/main/scala/leon/synthesis/SynthesisPhase.scala

src/main/scala/leon/synthesis/Synthesizer.scala

src/main/scala/leon/synthesis/rules/Cegis.scala

...cala/leon/synthesis/search/AndOrGraphParallelSearch.scala

src/main/scala/leon/synthesis/search/AndOrGraphSearch.scala