/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 sum app app cons x xs app app plus x app sum xs app size app app node x xs app s app sum app app map size xs app app plus 0 x 0 app app plus app s x y app s app app plus x y 2.2 app app map f app app cons x xs app cons app f x app app plus app s x y app app plus x y app size app app node x xs app app map size xs app sum app app cons x xs app plus x app size app app node x xs app s app sum app app map size xs app size app app node x xs app sum app app map size xs app size app app node x xs app map size app app plus app s x y app plus x app sum app app cons x xs app sum xs app app plus app s x y app s app app plus 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 sum app app cons x xs app app plus x app sum 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 size app app node x xs app app map size xs true s 0 1 sum 0 1 0 0 14219 nil 0 42736 app 2 2 0 map 0 1 plus 0 30614 cons 0 1 node 0 1 size 0 1 app 2 1 2 1 app app map f app app cons x xs app app cons app f x app app map f xs false app size app app node x xs app s app sum app app map size xs false app size app app node x xs app sum app app map size xs false app size app app node x xs app map size false app sum app app cons x xs app sum xs true s 0 1 sum 0 52429 0 0 37577 nil 0 42736 app 2 2 0 map 0 29922 plus 0 2 cons 0 1 node 0 1 size 0 40966 app 2 1 2 28904 app sum app app cons x xs app app plus x app sum xs false app app plus app s x y app app plus x y true Failed! NaTT certifiable-1.6