/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES le 0 Y true le s X 0 false le s X s Y le X Y app nil Y Y app cons N L Y cons N app L Y low N nil nil low N cons M L iflow le M N N cons M L iflow true N cons M L cons M low N L iflow false N cons M L low N L high N nil nil high N cons M L ifhigh le M N N cons M L ifhigh true N cons M L high N L ifhigh false N cons M L cons M high N L quicksort nil nil quicksort cons N L app quicksort low N L cons N quicksort high N L 2.2 iflow false N cons M L low N L low N cons M L iflow le M N N cons M L quicksort cons N L low N L le s X s Y le X Y quicksort cons N L app quicksort low N L cons N quicksort high N L quicksort cons N L quicksort low N L quicksort cons N L quicksort high N L low N cons M L le M N iflow true N cons M L low N L ifhigh true N cons M L high N L high N cons M L ifhigh le M N N cons M L ifhigh false N cons M L high N L app cons N L Y app L Y quicksort cons N L high N L high N cons M L le M N true quicksort cons N L quicksort high N L quicksort cons N L quicksort low N L true le 2 2 1 s 1 1 le 2 0 quicksort 1 1 0 high 2 0 false 0 3 quicksort 1 0 true 0 2 iflow 3 0 0 0 1 high 2 2 1 nil 0 1 app 2 0 low 2 2 1 iflow 3 3 1 ifhigh 3 3 1 cons 2 2 2 ifhigh 3 0 low 2 0 app 2 0 iflow true N cons M L cons M low N L high N nil nil low N cons M L iflow le M N N cons M L ifhigh true N cons M L high N L high N cons M L ifhigh le M N N cons M L iflow false N cons M L low N L ifhigh false N cons M L cons M high N L low N nil nil quicksort cons N L high N L false quicksort cons N L app quicksort low N L cons N quicksort high N L false app cons N L Y app L Y true le 2 2 1 s 1 1 le 2 0 quicksort 1 1 0 high 2 0 false 0 17653 quicksort 1 0 true 0 2 iflow 3 0 0 0 17651 high 2 2 38978 nil 0 1 app 2 1 0 low 2 2 42736 iflow 3 3 42736 ifhigh 3 3 38978 cons 2 2 2 ifhigh 3 0 low 2 0 app 2 0 iflow true N cons M L cons M low N L high N nil nil low N cons M L iflow le M N N cons M L ifhigh true N cons M L high N L high N cons M L ifhigh le M N N cons M L iflow false N cons M L low N L ifhigh false N cons M L cons M high N L low N nil nil quicksort cons N L low N L false ifhigh false N cons M L high N L high N cons M L ifhigh le M N N cons M L ifhigh true N cons M L high N L true le 2 2 1 s 1 1 1 le 2 0 quicksort 1 0 high 2 2 1 false 0 1 quicksort 1 0 true 0 1 iflow 3 0 0 0 50736 high 2 2 11049 nil 0 1 app 2 0 low 2 2 31122 iflow 3 3 31122 ifhigh 3 3 11049 cons 2 1 2 2 ifhigh 3 3 0 low 2 0 app 2 0 iflow true N cons M L cons M low N L le 0 Y true le s X s Y le X Y high N nil nil low N cons M L iflow le M N N cons M L iflow false N cons M L low N L low N nil nil le s X 0 false high N cons M L le M N false low N cons M L iflow le M N N cons M L iflow true N cons M L low N L iflow false N cons M L low N L true le 2 2 1 s 1 1 1 le 2 0 quicksort 1 0 high 2 1 false 0 1 quicksort 1 0 true 0 1 iflow 3 2 3 0 0 0 50736 high 2 2 11049 nil 0 35495 app 2 0 low 2 2 3 iflow 3 3 3 ifhigh 3 3 11049 cons 2 1 2 2 ifhigh 3 0 low 2 1 2 1 app 2 0 iflow true N cons M L cons M low N L le 0 Y true le s X s Y le X Y high N nil nil low N cons M L iflow le M N N cons M L iflow false N cons M L low N L low N nil nil le s X 0 false low N cons M L le M N false le s X s Y le X Y true le 2 2 1 s 1 1 1 le 2 1 0 quicksort 1 0 high 2 1 false 0 25075 quicksort 1 0 true 0 1 iflow 3 0 0 0 25074 high 2 2 11049 nil 0 35495 app 2 0 low 2 2 3 iflow 3 3 3 ifhigh 3 3 11049 cons 2 1 2 2 ifhigh 3 0 low 2 1 app 2 0 iflow true N cons M L cons M low N L le 0 Y true le s X s Y le X Y high N nil nil low N cons M L iflow le M N N cons M L iflow false N cons M L low N L low N nil nil le s X 0 false NaTT certifiable-1.6