/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE app' app' minus x 0 x app' app' minus app' s x app' s y app' app' minus x y app' app' quot 0 app' s y 0 app' app' quot app' s x app' s y app' s app' app' quot app' app' minus x y app' s y app' app' le 0 y true app' app' le app' s x 0 false app' app' le app' s x app' s y app' app' le x y app' app' app nil y y app' app' app app' app' add n x y app' app' add n app' app' app x y app' app' low n nil nil app' app' low n app' app' add m x app' app' app' if_low app' app' le m n n app' app' add m x app' app' app' if_low true n app' app' add m x app' app' add m app' app' low n x app' app' app' if_low false n app' app' add m x app' app' low n x app' app' high n nil nil app' app' high n app' app' add m x app' app' app' if_high app' app' le m n n app' app' add m x app' app' app' if_high true n app' app' add m x app' app' high n x app' app' app' if_high false n app' app' add m x app' app' add m app' app' high n x app' quicksort nil nil app' quicksort app' app' add n x app' app' app app' quicksort app' app' low n x app' app' add n app' quicksort app' app' high n x app' app' map f nil nil app' app' map f app' app' add x xs app' app' add app' f x app' app' map f xs app' app' filter f nil nil app' app' filter f app' app' add x xs app' app' app' app' filter2 app' f x f x xs app' app' app' app' filter2 true f x xs app' app' add x app' app' filter f xs app' app' app' app' filter2 false f x xs app' app' filter f xs 2.2 app' app' minus app' s x app' s y app' minus x app' app' map f app' app' add x xs app' f x app' app' app' if_high false n app' app' add m x app' app' add m app' app' high n x app' quicksort app' app' add n x app' app' low n x app' app' app' if_high true n app' app' add m x app' high n app' app' map f app' app' add x xs app' add app' f x app' app' map f app' app' add x xs app' app' add app' f x app' app' map f xs app' quicksort app' app' add n x app' app' add n app' quicksort app' app' high n x app' app' high n app' app' add m x app' app' app' if_high app' app' le m n n app' app' add m x app' app' quot app' s x app' s y app' app' quot app' app' minus x y app' s y app' app' high n app' app' add m x app' app' if_high app' app' le m n n app' quicksort app' app' add n x app' quicksort app' app' high n x app' app' app app' app' add n x y app' app' app x y app' app' quot app' s x app' s y app' app' minus x y app' quicksort app' app' add n x app' high n app' app' high n app' app' add m x app' le m app' app' app' app' filter2 true f x xs app' app' add x app' app' filter f xs app' app' low n app' app' add m x app' app' if_low app' app' le m n n app' app' low n app' app' add m x app' app' le m n app' app' app' if_low true n app' app' add m x app' low n app' app' app' if_low true n app' app' add m x app' app' low n x app' app' app' if_high true n app' app' add m x app' app' high n x app' app' low n app' app' add m x app' le m app' app' app' if_high false n app' app' add m x app' high n app' app' quot app' s x app' s y app' minus x app' app' app' app' filter2 true f x xs app' add x app' app' app' if_high false n app' app' add m x app' app' high n x app' app' quot app' s x app' s y app' s app' app' quot app' app' minus x y app' s y app' app' high n app' app' add m x app' if_high app' app' le m n app' app' app' app' filter2 false f x xs app' app' filter f xs app' app' filter f app' app' add x xs app' filter2 app' f x app' app' app app' app' add n x y app' app x app' quicksort app' app' add n x app' app' high n x app' app' low n app' app' add m x app' if_low app' app' le m n app' quicksort app' app' add n x app' app app' quicksort app' app' low n x app' app' app app' app' add n x y app' app' add n app' app' app x y app' app' map f app' app' add x xs app' app' map f xs app' app' le app' s x app' s y app' le x app' app' app' if_low true n app' app' add m x app' app' add m app' app' low n x app' quicksort app' app' add n x app' quicksort app' app' low n x app' app' le app' s x app' s y app' app' le x y app' app' filter f app' app' add x xs app' app' app' app' filter2 app' f x f x xs app' quicksort app' app' add n x app' app' app app' quicksort app' app' low n x app' app' add n app' quicksort app' app' high n x app' app' filter f app' app' add x xs app' app' filter2 app' f x f app' app' app' app' filter2 false f x xs app' filter f app' quicksort app' app' add n x app' low n app' app' filter f app' app' add x xs app' f x app' app' app' app' filter2 true f x xs app' filter f app' app' app' if_low false n app' app' add m x app' app' low n x app' app' minus app' s x app' s y app' app' minus x y app' app' quot app' s x app' s y app' quot app' app' minus x y app' app' low n app' app' add m x app' app' app' if_low app' app' le m n n app' app' add m x app' app' app' app' filter2 true f x xs app' app' filter f xs app' app' app' if_low false n app' app' add m x app' low n app' app' high n app' app' add m x app' app' le m n app' app' filter f app' app' add x xs app' app' app' filter2 app' f x f x true 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' add x xs app' f x app' app' filter f app' app' add x xs app' app' app' app' filter2 app' f x f x xs app' app' map f app' app' add x xs app' app' map f xs app' app' map f app' app' add x xs app' f x true le 0 3293 s 0 1 minus 0 49070 if_high 0 34735 app' 2 2 0 false 0 844 quicksort 0 27049 true 0 4 filter2 0 39125 0 0 25647 app' 2 1 2 6 quot 0 10269 high 0 37205 nil 0 47941 map 0 3588 low 0 41194 add 0 2447 filter 0 36683 if_low 0 37884 app 0 34132 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' app' app' filter2 true f x xs app' app' add x app' app' filter f xs false app' app' app' app' filter2 true f x xs app' add x false app' app' app' app' filter2 true f x xs app' filter f false app' app' filter f app' app' add x xs app' app' app' filter2 app' f x f x false app' app' filter f app' app' add x xs app' app' filter2 app' f x f false app' app' app' app' filter2 false f x xs app' filter f false app' quicksort app' app' add n x app' quicksort app' app' high n x app' quicksort app' app' add n x app' quicksort app' app' low n x true Failed! NaTT certifiable-1.6