Setup [Optuna](4. Easy Parallelization — Optuna 3.1.0 documentation)
Change the DB URL in exp_april.
Run
seq 10 | python exp_april.py --
python exp_april.py --test --total=200
Generate 200 instances to cnfs/april-final
python test_backdoor.py
Run solvers against the generated formulas.
Observe the results using *.ipynb.