Step 1: clone and set up the cryptoleq repository, as shown here:
git clone https://github.com/momalab/cryptoleq.git
Step 2: clone the benchmarks repository:
git clone https://github.com/momalab/TERMinatorSuite.git
Step 3: copy all the benchmark files inside the cryptoleq directory:
cp -rf ./TERMinatorSuite/* ./cryptoleq/scr/ceal/tests/