Benchmarks are inside benchmark directory.
Copy the content of a single benchmark in the src/input/ to run.
cd src
cp -r ../benchmarks/b1/* input/
Now run the run.sh file to run Panini with benchmark b1.
bash run.sh
Synthesized solutions will be inside synthesized_sols directory.