/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE 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 app flatten app app node x xs app app cons x app concat app app map flatten xs app concat nil nil app concat app app cons x xs app app append x app concat xs app app append nil xs xs app app append app app cons x xs ys app app cons x app app append xs ys 2.2 app app map f app app cons x xs app cons app f x app app append app app cons x xs ys app app append xs ys app flatten app app node x xs app concat app app map flatten xs app concat app app cons x xs app append x app flatten app app node x xs app app cons x app concat app app map flatten xs app flatten app app node x xs app cons x app flatten app app node x xs app app map flatten xs app app append app app cons x xs ys app append xs app concat app app cons x xs app concat xs app app append app app cons x xs ys app app cons x app app append xs ys 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 concat app app cons x xs app app append x app concat xs app flatten app app node x xs app map flatten 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 flatten app app node x xs app app map flatten xs app app map f app app cons x xs app f x true flatten 0 1 concat 0 32139 append 0 21259 nil 0 37046 app 2 2 0 map 0 4140 cons 0 21258 node 0 14681 app 2 1 2 15922 app flatten app app node x xs app cons x false app app map f app app cons x xs app app cons app f x app app map f xs false app flatten app app node x xs app map flatten false app flatten app app node x xs app app cons x app concat app app map flatten xs false app flatten app app node x xs app concat app app map flatten xs false app concat app app cons x xs app concat xs true flatten 0 1 concat 0 1 append 0 2 nil 0 1 app 2 2 0 map 0 4140 cons 0 1 node 0 2241 app 2 1 2 1 app concat app app cons x xs app app append x app concat xs false app app append app app cons x xs ys app app append xs ys true Failed! NaTT certifiable-1.6