/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES app app app f 0 1 x app app app f app s x x x app app app f x y app s z app s app app app f 0 1 z app app map fun nil nil app app map fun app app cons x xs app app cons app fun x app app map fun xs app app filter fun nil nil app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs app app app app filter2 true fun x xs app app cons x app app filter fun xs app app app app filter2 false fun x xs app app filter fun xs 2.2 app app app f x y app s z app app app f 0 1 z app app filter fun app app cons x xs app app app filter2 app fun x fun x app app app app filter2 true fun x xs app filter fun app app filter fun app app cons x xs app fun x app app app app filter2 true fun x xs app cons x app app map fun app app cons x xs app app map fun xs app app app app filter2 true fun x xs app app filter fun xs app app app f 0 1 x app app app f app s x x x app app map fun app app cons x xs app app cons app fun x app app map fun xs app app filter fun app app cons x xs app app filter2 app fun x fun app app app app filter2 true fun x xs app app cons x app app filter fun xs app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs app app map fun app app cons x xs app fun x app app app f 0 1 x app s x app app app app filter2 false fun x xs app filter fun app app map fun app app cons x xs app cons app fun x app app app f 0 1 x app f app s x app app app f x y app s z app app f 0 1 app app app f x y app s z app s app app app f 0 1 z app app filter fun app app cons x xs app filter2 app fun x app app app f 0 1 x app app f app s x x app app app f x y app s z app f 0 app app app app filter2 false fun x xs app app filter fun xs true app app app app filter2 false fun x xs app app filter fun xs app app app app filter2 true fun x xs app app filter fun xs app app map fun app app cons x xs app app map fun xs app app filter fun app app cons x xs app fun x app app map fun app app cons x xs app fun x app app filter fun app app cons x xs app app app app filter2 app fun x fun x xs true 1 0 1 s 0 11383 false 0 29393 true 0 32774 f 0 34651 filter2 0 48207 0 0 2998 nil 0 45293 app 2 2 0 map 0 6996 cons 0 80700 filter 0 282 app 2 1 2 32776 app app app app filter2 true fun x xs app app filter fun xs app app app app filter2 false fun x xs app app filter fun xs app app app app filter2 false fun x xs app app filter fun xs false app app app app filter2 true fun x xs app app filter fun xs false app app app app filter2 true fun x xs app cons x false app app filter fun app app cons x xs app app app filter2 app fun x fun x false app app filter fun app app cons x xs app filter2 app fun x false app app app app filter2 true fun x xs app filter fun false app app map fun app app cons x xs app cons app fun x false app app app app filter2 false fun x xs app filter fun false app app app app filter2 true fun x xs app app cons x app app filter fun xs false app app filter fun app app cons x xs app app filter2 app fun x fun false app app app f 0 1 x app app app f app s x x x app app app f x y app s z app app app f 0 1 z true 1 0 1 s 0 1 false 0 20828 true 0 1 f 0 1 filter2 0 26633 0 0 2 nil 0 26058 app 2 2 0 map 0 39769 cons 0 841 filter 0 25794 app 2 1 2 3 app app app f 0 1 x app app app f app s x x x app app app f 0 1 x app app app f app s x x x false app app app f x y app s z app s app app app f 0 1 z false app app app f x y app s z app app f 0 1 false app app app f x y app s z app f 0 false app app app f 0 1 x app app f app s x x false app app app f 0 1 x app f app s x false app app app f 0 1 x app s x false app app map fun app app cons x xs app app cons app fun x app app map fun xs false NaTT certifiable-1.6