$ wget https://www.wklieber.com/ghostq/ghostq-pg-2020-12-23.zip
$ mkdir ghostq
$ cd ghostq
$ unzip ../ghostq-pg-2020-12-23.zip
$ cd bin
$ wget http://www.qbflib.org/APPLICATION/qbflib_repository/Benchmarks/Mangassarian-Veneris/BMC/c1_BMC_p1_k2.qdimacs.gz
$ time ./starexec_run_cegar_pcnf.sh c1_BMC_p1_k2.qdimacs.gz 

WARNING: CEGAR failed!
10

real	0m4.065s
user	0m3.885s
sys	0m0.157s