/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE app app times x 0 0 app app times x app s y app app plus app app times x y x app app plus x 0 x app app plus 0 x x app app plus x app s y app s app app plus x y app app plus app s x y app s app app plus x y 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 times x app s y app plus app app times x y app app plus app s x y app plus 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 true f x xs app app filter f xs app app app app filter2 false f x xs app app filter f xs app app map f app app cons x xs app app map f xs app app app app filter2 false f x xs app filter f 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 app cons app f x app app map f xs app app app app filter2 true f x xs app app cons x app app filter f xs app app app app filter2 true f x xs app filter f app app plus app s x y app app plus x y app app map f app app cons x xs app f x app app filter f app app cons x xs app f x app app plus x app s y app app plus x y app app map f app app cons x xs app cons app f x app app filter f app app cons x xs app filter2 app f x app app times x app s y app app times x y app app times x app s y app app plus app app times x y x app app app app filter2 true f x xs app cons x app app filter f app app cons x xs app app filter2 app f x f app app plus app s x y app s app app plus x y app app plus x app s y app s app app plus x y true app app map f app app cons x xs app app map f xs 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 filter f app app cons x xs app app app app filter2 app f x f x xs app app filter f app app cons x xs app f x app app map f app app cons x xs app f x true s 0 1 false 0 17118 true 0 20977 filter2 0 38083 0 0 8647 times 0 41231 nil 0 13448 app 2 2 0 map 0 51150 plus 0 1143 cons 0 44022 filter 0 64626 app 2 1 2 4712 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 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 times x app s y app app times x y true s 0 1 false 0 45789 true 0 21238 filter2 0 28313 0 0 1 times 0 33119 nil 0 13448 app 2 2 0 map 0 3037 plus 0 1 cons 0 1 filter 0 74105 app 2 1 2 1 app app times x app s y app app plus app app times x y x false app app app app filter2 true f x xs app cons x false app app app app filter2 false 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 app filter2 app f x f false app app filter f app app cons x xs app filter2 app f x false app app map f app app cons x xs app cons app f x false app app plus x app s y app app plus x y app app plus app s x y app app plus x y true s 0 12213 false 0 58938 true 0 12280 filter2 0 45290 0 0 48999 times 0 1 nil 0 39227 app 2 2 0 map 0 1 plus 0 1 cons 0 28163 filter 0 128655 app 2 1 2 12213 app app plus app s x y app app plus x y app app plus app s x y app app plus x y true Failed! NaTT certifiable-1.6