/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES app g app h app g x app g x app g app g x app g app h app g x app h app h x app h app app f app h x 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 g app g x app h app g x app app filter fun app app cons x xs app app app filter2 app fun x fun x 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 cons app fun x app app map fun app app cons x xs app fun x app h app h x app h app app f app h x x app app app app filter2 true fun x xs app filter fun app app filter fun app app cons x xs app app filter2 app fun x fun 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 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 true fun x xs app app filter fun xs app h app h x app f app h x app app app app filter2 false fun x xs app app filter fun xs app g app g x app g app h app g x app app filter fun app app cons x xs app filter2 app fun x app h app h x app app f app h x x app app app app filter2 false fun x xs app filter fun app app app app filter2 true fun x xs app cons x true app app map fun app app cons x xs app fun x app app app app filter2 false fun x xs app app filter fun xs app app filter fun app app cons x xs app fun 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 filter fun app app cons x xs app app app app filter2 app fun x fun x xs true h 0 1 false 0 35919 true 0 282 f 0 35141 filter2 0 32335 nil 0 36466 app 2 2 0 map 0 33428 cons 0 26372 filter 0 85957 g 0 39558 app 2 1 2 8851 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 true fun x xs app app filter fun xs false app app app app filter2 false fun x xs app app filter fun xs false app g app g x app g app h app g x true h 0 591 false 0 0 true 0 0 f 0 0 filter2 0 28183 nil 0 0 app 2 2 0 map 0 3564 cons 0 203 filter 0 29865 g 0 3038 app 2 1 841 app app map fun nil nil app app app app filter2 true fun x xs app app cons x app app filter fun xs app g app h app g x app g x app h app h x app h app app f app h 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 app app filter2 app fun x fun x xs app app app app filter2 false fun x xs app app filter fun xs app app filter fun nil nil app g app g x app g app h app g x app app app app filter2 false fun x xs app filter fun 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 map fun app app cons x xs app cons app fun x 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 map fun app app cons x xs app app cons app fun x app app map fun xs false app app filter fun app app cons x xs app app filter2 app fun x fun false app g app g x app h app g x false app h app h x app h app app f app h x x false app h app h x app app f app h x x false app h app h x app f app h x false app app app app filter2 true fun x xs app filter fun false NaTT certifiable-1.6