/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES app app . 1 x x app app . x 1 x app app . app i x x 1 app app . x app i x 1 app app . app i y app app . y z z app app . y app app . app i y z z app i 1 1 app i app i x x app app map f nil nil app app map f app app cons x xs app app cons app f x app app map f xs app app filter f nil nil app app filter f app app cons x xs app app app app filter2 app f x f x xs app app app app filter2 true f x xs app app cons x app app filter f xs app app app app filter2 false f x xs app app filter f xs 2.2 app app app app filter2 true f x xs app cons x app app filter f app app cons x xs app app app filter2 app f x f x app app map f app app cons x xs app cons app f x app app filter f app app cons x xs app f x app app app app filter2 false f x xs app filter f app app map f app app cons x xs app app cons app f x app app map f xs app app map f app app cons x xs app f x app app filter f app app cons x xs app app filter2 app f x f app app app app filter2 false f x xs app app filter f xs app app filter f app app cons x xs app app app app filter2 app f x f x xs app app app app filter2 true f x xs app app filter f xs app app app app filter2 true f x xs app app cons x app app filter f xs app app filter f app app cons x xs app filter2 app f x app app map f app app cons x xs app app map f xs app app app app filter2 true f x xs app filter f true app app map f app app cons x xs app f x app app map f app app cons x xs app app map f xs app app app app filter2 true f x xs app app filter f xs app app filter f app app cons x xs app f x app app filter f app app cons x xs app app app app filter2 app f x f x xs app app app app filter2 false f x xs app app filter f xs true 1 0 188604 false 0 1 true 0 37160 filter2 0 2719 nil 0 29393 app 2 2 0 map 0 39898 . 0 14219 i 0 62898 cons 0 1143 filter 0 38737 app 2 1 2 37162 app app app app filter2 false f x xs app app filter f xs app app app app filter2 true f x xs app app filter f xs app app app app filter2 false f x xs app app filter f xs false app app app app filter2 true f x xs app app filter f xs false app app app app filter2 true f x xs app app cons x app app filter f xs false app app app app filter2 true f x xs app filter f false app app filter f app app cons x xs app app app filter2 app f x f x false app app filter f app app cons x xs app filter2 app f x false app app app app filter2 false f x xs app filter f false app app map f app app cons x xs app app cons app f x app app map f xs false app app map f app app cons x xs app cons app f x false app app filter f app app cons x xs app app filter2 app f x f false app app app app filter2 true f x xs app cons x false NaTT certifiable-1.6