/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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 app append xs nil xs app app append nil ys ys app app append app app cons x xs ys app app cons x app app append xs ys app app zip nil yss yss app app zip xss nil xss app app zip app app cons xs xss app app cons ys yss app app cons app app append xs ys app app zip xss yss app app combine xs nil xs app app combine xs app app cons ys yss app app combine app app zip xs ys yss app levels app app node x xs app app cons app app cons x nil app app combine nil app app map levels xs 2.2 app app map f app app cons x xs app cons app f x app levels app app node x xs app cons app app cons x nil app app combine xs app app cons ys yss app app combine app app zip xs ys yss app levels app app node x xs app app combine nil app app map levels xs app levels app app node x xs app app map levels xs app app zip app app cons xs xss app app cons ys yss app app zip xss yss app app zip app app cons xs xss app app cons ys yss app append xs app levels app app node x xs app map levels app app combine xs app app cons ys yss app combine app app zip xs ys app app zip app app cons xs xss app app cons ys yss app zip xss app app zip app app cons xs xss app app cons ys yss app app cons app app append xs ys app app zip xss yss app levels app app node x xs app app cons x nil app levels app app node x xs app combine nil app levels app app node x xs app app cons app app cons x nil app app combine nil app app map levels xs app app zip app app cons xs xss app app cons ys yss app app append xs ys app app append app app cons x xs ys app app cons x app app append xs ys app app append app app cons x xs ys app append xs app app zip app app cons xs xss app app cons ys yss app cons app app append xs ys app app combine xs app app cons ys yss app zip xs 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 levels app app node x xs app cons x app app combine xs app app cons ys yss app app zip xs ys app app map f app app cons x xs app app map f xs app app append app app cons x xs ys app app append xs ys 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 levels app app node x xs app app map levels xs true append 0 11594 combine 0 1 levels 0 32335 nil 0 36466 app 2 2 0 map 0 32567 cons 0 11593 zip 0 11594 node 0 15922 app 2 1 2 5854 app app map f app app cons x xs app app cons app f x app app map f xs false app levels app app node x xs app cons x false app levels app app node x xs app map levels false app levels app app node x xs app app combine nil app app map levels xs false app app combine xs app app cons ys yss app app combine app app zip xs ys yss true append 0 9094 combine 0 1 levels 0 1 nil 0 35632 app 2 2 0 map 0 20904 cons 0 9093 zip 0 11594 node 0 591 app 2 1 2 2241 app app combine xs app app cons ys yss app combine app app zip xs ys false app app combine xs app app cons ys yss app app zip xs ys false app app zip app app cons xs xss app app cons ys yss app app zip xss yss true append 0 59822 combine 0 1 levels 0 41746 nil 0 1 app 2 2 0 map 0 27463 cons 0 59821 zip 0 59822 node 0 31112 app 2 1 2 1 app app zip app app cons xs xss app app cons ys yss app cons app app append xs ys false app app zip app app cons xs xss app app cons ys yss app append xs false app app zip app app cons xs xss app app cons ys yss app zip xss false app app combine xs app app cons ys yss app zip xs false app levels app app node x xs app cons app app cons x nil false app app zip app app cons xs xss app app cons ys yss app app append xs ys false app app append app app cons x xs ys app app append xs ys true Failed! NaTT certifiable-1.6