/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE ap ap f x x ap ap x ap f x ap ap cons x nil ap ap ap foldr g h nil h ap ap ap foldr g h ap ap cons x xs ap ap g x ap ap ap foldr g h xs 2.2 ap ap ap foldr g h ap ap cons x xs ap g x ap ap f x x ap ap cons x nil ap ap f x x ap cons x ap ap f x x ap x ap f x ap ap ap foldr g h ap ap cons x xs ap ap ap foldr g h xs ap ap ap foldr g h ap ap cons x xs ap ap g x ap ap ap foldr g h xs ap ap f x x ap ap x ap f x ap ap cons x nil true ap ap f x x ap ap x ap f x ap ap cons x nil ap ap ap foldr g h ap ap cons x xs ap ap g x ap ap ap foldr g h xs ap ap ap foldr g h ap ap cons x xs ap ap ap foldr g h xs ap ap f x x ap x ap f x ap ap ap foldr g h ap ap cons x xs ap g x true Failed! NaTT certifiable-1.6