/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES app app app if true x y x app app app if true x y y app app takeWhile p nil nil app app takeWhile p app app cons x xs app app app if app p x app app cons x app app takeWhile p xs nil app app dropWhile p nil nil app app dropWhile p app app cons x xs app app app if app p x app app dropWhile p xs app app cons x xs 2.2 app app dropWhile p app app cons x xs app app if app p x app app dropWhile p xs app app takeWhile p app app cons x xs app app app if app p x app app cons x app app takeWhile p xs nil app app takeWhile p app app cons x xs app p x app app takeWhile p app app cons x xs app app takeWhile p xs app app takeWhile p app app cons x xs app app if app p x app app cons x app app takeWhile p xs app app takeWhile p app app cons x xs app app cons x app app takeWhile p xs app app dropWhile p app app cons x xs app app dropWhile p xs app app dropWhile p app app cons x xs app if app p x app app dropWhile p app app cons x xs app app app if app p x app app dropWhile p xs app app cons x xs app app takeWhile p app app cons x xs app if app p x app app dropWhile p app app cons x xs app p x true app app dropWhile p app app cons x xs app p x app app takeWhile p app app cons x xs app app takeWhile p xs app app takeWhile p app app cons x xs app p x app app dropWhile p app app cons x xs app app dropWhile p xs true true 0 1 takeWhile 0 12940 if 0 24287 nil 0 60386 app 2 2 0 cons 0 10732 dropWhile 0 39558 app 2 1 2 26391 app app dropWhile p app app cons x xs app app app if app p x app app dropWhile p xs app app cons x xs false app app dropWhile p app app cons x xs app if app p x false app app takeWhile p app app cons x xs app app app if app p x app app cons x app app takeWhile p xs nil false app app takeWhile p app app cons x xs app if app p x false app app takeWhile p app app cons x xs app app cons x app app takeWhile p xs false app app takeWhile p app app cons x xs app app if app p x app app cons x app app takeWhile p xs false app app dropWhile p app app cons x xs app app if app p x app app dropWhile p xs false NaTT certifiable-1.6