/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES app nil y y app add n x y add n app x y reverse nil nil reverse add n x app reverse x add n nil shuffle nil nil shuffle add n x add n shuffle reverse x 2.2 shuffle add n x shuffle reverse x reverse add n x reverse x shuffle add n x reverse x app add n x y app x y reverse add n x app reverse x add n nil true shuffle add n x shuffle reverse x true reverse 1 0 reverse 1 1 11798 shuffle 1 0 nil 0 0 app 2 0 shuffle 1 1 0 add 2 2 11799 app 2 1 2 0 reverse add n x app reverse x add n nil app nil y y reverse nil nil app add n x y add n app x y shuffle add n x reverse x false reverse add n x reverse x true reverse 1 1 0 reverse 1 1 1 shuffle 1 0 nil 0 0 app 2 0 shuffle 1 1 0 add 2 2 11799 app 2 1 2 0 reverse add n x app reverse x add n nil app nil y y reverse nil nil app add n x y add n app x y reverse add n x app reverse x add n nil false app add n x y app x y true reverse 1 0 reverse 1 1 1 shuffle 1 0 nil 0 0 app 2 1 0 shuffle 1 1 0 add 2 2 11799 app 2 1 2 0 reverse add n x app reverse x add n nil app nil y y reverse nil nil app add n x y add n app x y NaTT certifiable-1.6