/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES app f app f x app g app f x app g app g x app f x 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 app f x app g app f x 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 app g x app f x 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 false 0 1 true 0 20743 f 0 73528 filter2 0 8647 nil 0 48207 app 2 2 0 map 0 38551 cons 0 1143 filter 0 28248 g 0 26391 app 2 1 2 20745 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 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 g app g x app f x app f app f x app g app f x true 2 1 false 0 1 1 true 0 1 1 f 0 2 2 filter2 0 1 1 nil 0 11575 1 app 2 1 0 1 1 1 1 0 0 0 2 0 0 map 0 1 25984 cons 0 1 0 filter 0 1 1 g 0 1 2 app 2 0 0 1 1 1 1 0 0 0 2 0 0 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 false fun x xs app app filter fun xs app f app f x app g app f x app app map fun nil nil app app filter fun nil nil 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 g app g x app f x 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