/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE null nil true null add n x false tail add n x x tail nil nil head add n x n 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 x shuff x nil shuff x y if null x x y app y add head x nil if true x y z y if false x y z shuff reverse tail x z 2.2 if false x y z reverse tail x shuff x y if null x x y app y add head x nil shuff x y head x shuffle x shuff x nil shuff x y null x app add n x y app x y reverse add n x reverse x if false x y z tail x if false x y z shuff reverse tail x z shuff x y app y add head x nil reverse add n x app reverse x add n nil true shuffle x shuff x nil false if false x y z shuff reverse tail x z shuff x y if null x x y app y add head x nil true Failed! NaTT certifiable-1.6