For now only synthesis tests that 100% pass. The rest of benchmarks need
to be investigated due to memory consumption issues