/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE app id x x app add 0 id app app add app s x y app s app app add x y app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs 2.2 app app map f app app cons x xs app cons app f x app app add app s x y app app add x y app app add app s x y app add x app app add app s x y app s app app add x y app app map f app app cons x xs app f x app app map f app app cons x xs app app cons app f x app app map f xs app app map f app app cons x xs app app map f xs true app app map f app app cons x xs app app map f xs app app map f app app cons x xs app f x app app add app s x y app app add x y true s 0 1 0 0 27719 nil 0 36466 app 2 2 0 map 0 33428 cons 0 30988 id 0 64468 add 0 30894 app 2 1 2 5854 app app add app s x y app app add x y app app add app s x y app app add x y true Failed! NaTT certifiable-1.6