FO Temp

./runlim/runlim -s 1024 -r 600 ./fo_temp.sh toy_examples/toyExamples/Adult/20/UNSAT/


FO TSPASS

./runlim/runlim -s 1024 -r 600 ./fo_tspass.sh toy_examples/toyExamples/Adult/20/UNSAT/


NuXMV-BDD


NuXMV-BMC


NuXMV-ic3


Aalta


pltl


TRP++UC