Fix benchmarks

CLP script runs for sizes that correspond to SciFe benchmark
Korat script timeout breaks out of the loop
SciFe benchmark sizes corrected (were too big and tests timed out)
Reporter and parser corrections
Merge branch 'develop' into feat/benchmarks

Conflicts:
	src/bench/test/scala/insynth/enumeration/util/Reporter.scala