/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES not x if x false true and x y if x y false or x y if x true y implies x y if x y true = x x true = x y if x y not y if true x y x if false x y y if x x if x false true true = x y if x y if y false true 2.2 = x y if x y not y or x y if x true y not x if x false true = x y if y false true = x y not y and x y if x y false implies x y if x y true = x y if x y if y false true true = x y if x y if y false true false implies x y if x y true false and x y if x y false false = x y not y false or x y if x true y false = x y if y false true false not x if x false true false = x y if x y not y false NaTT certifiable-1.6