/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES app f a app f b app g b app g a 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 filter fun app app cons x xs app app app app filter2 app fun x fun x xs app app filter fun app app cons x xs app fun x app app app app filter2 false fun x xs app filter fun app app app app filter2 true fun x xs app app filter fun xs app f a app f b app app app app filter2 false fun x xs app app filter fun xs app app map fun app app cons x xs app app cons app fun x app app map fun xs app app app app filter2 true fun x xs app app cons x app app filter fun xs app app app app filter2 true fun x xs app filter fun app app filter fun app app cons x xs app filter2 app fun x app app map fun app app cons x xs app app map fun xs app app map fun app app cons x xs app fun x app app filter fun app app cons x xs app app app filter2 app fun x fun x app g b app g a app app app app filter2 true fun x xs app cons x app app map fun app app cons x xs app cons app fun x app app filter fun app app cons x xs app app filter2 app fun x fun true app app app app filter2 false fun x xs app app filter fun xs app app map fun app app cons x xs app fun x 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 filter fun app app cons x xs app app app app filter2 app fun x fun x xs true a 0 2 b 0 1 false 0 30538 true 0 29393 f 0 0 filter2 0 12940 nil 0 8647 app 2 2 0 map 0 62898 cons 0 5854 filter 0 36480 g 0 0 app 2 1 2 29395 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 g b app g a false app app app app filter2 true fun x xs app app cons x 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 app filter2 app fun x fun 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 f a app f b false app app map fun app app cons x xs app app cons app fun x app app map fun xs 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 NaTT certifiable-1.6