/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES ++ nil y y ++ x nil x ++ . x y z . x ++ y z ++ ++ x y z ++ x ++ y z 2.2 ++ ++ x y z ++ x ++ y z ++ ++ x y z ++ y z ++ . x y z ++ y z true ++ . x y z ++ y z ++ ++ x y z ++ y z ++ ++ x y z ++ x ++ y z true ++ 2 1 2 1 ++ 2 1 2 0 nil 0 14235 . 2 2 8856 ++ ++ x y z ++ x ++ y z ++ ++ x y z ++ x ++ y z ++ nil y y ++ . x y z . x ++ y z ++ x nil x ++ ++ x y z ++ x ++ y z true ++ 2 1 2 1 ++ 2 1 0 nil 0 36466 . 2 2 8856 ++ x nil x NaTT certifiable-1.6