/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES app app app compose f g x app g app f x app reverse l app app reverse2 l nil app app reverse2 nil l l app app reverse2 app app cons x xs l app app reverse2 xs app app cons x l app hd app app cons x xs x app tl app app cons x xs xs last app app compose hd reverse init app app compose reverse app app compose tl reverse 2.2 app reverse l app reverse2 l app app app compose f g x app f x app app reverse2 app app cons x xs l app app cons x l init app app compose tl reverse app app reverse2 app app cons x xs l app app reverse2 xs app app cons x l app app reverse2 app app cons x xs l app reverse2 xs init app app compose reverse app app compose tl reverse init app compose tl app app app compose f g x app g app f x last app app compose hd reverse app reverse l app app reverse2 l nil init app compose reverse last app compose hd true last app compose hd false init app compose reverse false last app app compose hd reverse false init app app compose tl reverse false app app app compose f g x app f x app app app compose f g x app g app f x true hd 0 1 init 0 0 init 0 0 reverse2 0 18170 reverse 0 20538 compose 0 30538 last 0 0 tl 0 9137 last 0 0 nil 0 12940 app 2 1 0 cons 0 38978 app 2 1 2 38139 app reverse l app app reverse2 l nil false app app reverse2 app app cons x xs l app app reverse2 xs app app cons x l true hd 0 1 init 0 0 init 0 0 reverse2 0 40587 reverse 0 76506 compose 0 49858 last 0 0 tl 0 9137 last 0 0 nil 0 12940 app 2 1 0 cons 0 50349 app 2 1 2 22979 app app reverse2 app app cons x xs l app app reverse2 xs app app cons x l app app app compose f g x app g app f x app app reverse2 nil l l app hd app app cons x xs x app tl app app cons x xs xs app reverse l app app reverse2 l nil app app reverse2 app app cons x xs l app reverse2 xs false app app reverse2 app app cons x xs l app app cons x l false init app compose tl false init app app compose reverse app app compose tl reverse false app reverse l app reverse2 l false NaTT certifiable-1.6