touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDNET -DDEPTH_FIRST'
mv lola lola_netbnd
touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDNET -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_netbnd_symm
touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDNET -DSTUBBORN -DDEPTH_FIRST'
mv lola lola_netbnd_stub
touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDNET -DSTUBBORN -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_netbnd_stubsymm
touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDPLACE -DSTUBBORN -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_placebnd_stubsymm
touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDPLACE -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_placebnd_symm
touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDPLACE -DSTUBBORN -DDEPTH_FIRST'
mv lola lola_placebnd_stub
touch userconfig.H
make CONFIG='-DCOVER -DBOUNDEDPLACE -DDEPTH_FIRST'
mv lola lola_placebnd
touch userconfig.H
make CONFIG='-DFULL -DDEPTH_FIRST'
mv lola lola_full
touch userconfig.H
make CONFIG='-DFULL -DSTUBBORN -DDEPTH_FIRST'
mv lola lola_full_stub
touch userconfig.H
make CONFIG='-DDEADLOCK -DDEPTH_FIRST'
mv lola lola_deadlock_full
touch userconfig.H
make CONFIG='-DDEADLOCK -DSTUBBORN -DDEPTH_FIRST'
mv lola lola_deadlock_stub
touch userconfig.H
make CONFIG='-DDEADLOCK -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_deadlock_symm
touch userconfig.H
make CONFIG='-DDEADLOCK -DSTUBBORN -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_deadlock_stubsymm
touch userconfig.H
make CONFIG='-DREACHABILITY -DSTUBBORN -DSYMMETRY -DBREADTH_FIRST'
mv lola lola_breadth_stubsymm
touch userconfig.H
make CONFIG='-DREACHABILITY -DSYMMETRY -DBREADTH_FIRST'
mv lola lola_breadth_symm
touch userconfig.H
make CONFIG='-DREACHABILITY -DSTUBBORN  -DBREADTH_FIRST'
mv lola lola_breadth_stub
touch userconfig.H
make CONFIG='-DREACHABILITY -DBREADTH_FIRST'
mv lola lola_breadth
touch userconfig.H
make CONFIG='-DREACHABILITY -DSTUBBORN -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_reach_stubsymm
touch userconfig.H
make CONFIG='-DREACHABILITY -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_reach_symm
touch userconfig.H
make CONFIG='-DREACHABILITY -DSTUBBORN  -DDEPTH_FIRST'
mv lola lola_reach_stub
touch userconfig.H
make CONFIG='-DREACHABILITY -DDEPTH_FIRST'
mv lola lola_reach
touch userconfig.H
make CONFIG='-DMODELCHECKING -DSTUBBORN -DDEPTH_FIRST'
mv lola lola_mc_stub
touch userconfig.H
make CONFIG='-DMODELCHECKING -DDEPTH_FIRST'
mv lola lola_mc
touch userconfig.H
make CONFIG='-DEXTENDEDCTL -DMODELCHECKING -DSTUBBORN -DDEPTH_FIRST'
mv lola lola_emc_stub
touch userconfig.H
make CONFIG='-DEXTENDEDCTL -DMODELCHECKING -DDEPTH_FIRST'
mv lola lola_emc
touch userconfig.H
make CONFIG='-DFINDPATH -DSTUBBORN -DDEPTH_FIRST'
mv lola lola_attract
touch userconfig.H
make CONFIG='-DFINDPATH -DDEPTH_FIRST'
mv lola lola_blind
touch userconfig.H
make CONFIG='-DREVERSIBILITY -DDEPTH_FIRST'
mv lola lola_rev
touch userconfig.H
make CONFIG='-DHOME -DDEPTH_FIRST'
mv lola lola_home
touch userconfig.H
make CONFIG='-DDEADTRANSITION -DSTUBBORN -DSYMMETRY -DDEPTH_FIRST'
mv lola lola_deadt_stubsymm
touch userconfig.H
make CONFIG='-DFULL -DSYMMETRY -DSYMMINTEGRATION=1 -DDEPTH_FIRST'
mv lola lola_itsymm
touch userconfig.H
make CONFIG='-DFULL -DSYMMETRY -DSYMMINTEGRATION=2 -DDEPTH_FIRST'
mv lola lola_itstate
touch userconfig.H
make CONFIG='-DFULL -DSYMMETRY -DSYMMINTEGRATION=3 -DDEPTH_FIRST'
mv lola lola_canrep
touch userconfig.H
make CONFIG='-DFULL -DSYMMETRY -DSYMMINTEGRATION=4 -DDEPTH_FIRST'
mv lola lola_flyrep
touch userconfig.H
make CONFIG='-DFULL -DSYMMETRY -DSYMMINTEGRATION=5 -DDEPTH_FIRST'
mv lola lola_slowrep
touch userconfig.H
make CONFIG='-DSTATEPREDICATE'
mv lola lola_state
touch userconfig.H
make CONFIG='-DDEPTH_FIRST -DSTATEPREDICATE -DSTUBBORN'
mv lola lola_state_stub
touch userconfig.H
make CONFIG='-DDEPTH_FIRST -DNONE'
mv lola lola_unfold
touch userconfig.H
make CONFIG='-DDEPTH_FIRST -DNONE -DSYMMETRY -DSYMMINTEGRATION=1'
mv lola lola_getsymm
touch userconfig.H
make CONFIG='-DDEPTH_FIRST -DSTATEPREDICATE -DSTUBBORN -DRELAXED'
mv lola lola_state_relaxedstub
