/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE app app app if true x y x app app app if false x y y app app app until p f x app app app if app p x x app app app until p f app f x 2.2 app app app until p f x app app if app p x x app app app until p f x app f x app app app until p f x app app app until p f app f x app app app until p f x app if app p x app app app until p f x app app app if app p x x app app app until p f app f x app app app until p f x app p x true app app app until p f x app p x app app app until p f x app f x app app app until p f x app app app until p f app f x true Failed! NaTT certifiable-1.6