/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES rev nil nil rev ++ x y ++ rev1 x y rev2 x y rev1 x nil x rev1 x ++ y z rev1 y z rev2 x nil nil rev2 x ++ y z rev ++ x rev rev2 y z 2.2 rev ++ x y rev2 x y rev1 x ++ y z rev1 y z rev2 x ++ y z rev2 y z rev2 x ++ y z rev ++ x rev rev2 y z rev ++ x y rev1 x y rev2 x ++ y z rev rev2 y z true rev2 x ++ y z rev rev2 y z rev2 x ++ y z rev ++ x rev rev2 y z rev2 x ++ y z rev2 y z rev ++ x y rev2 x y true rev 1 1 0 rev1 2 2 1 ++ 2 2 11799 rev1 2 0 rev2 2 2 11798 nil 0 1 rev 1 1 0 rev2 2 2 0 rev nil nil rev2 x nil nil rev2 x ++ y z rev ++ x rev rev2 y z rev ++ x y ++ rev1 x y rev2 x y rev ++ x y rev1 x y false rev1 x ++ y z rev1 y z true rev 1 1 0 rev1 2 2 1 ++ 2 2 32286 rev1 2 2 0 rev2 2 11798 nil 0 1 rev 1 1 0 rev2 2 2 0 rev nil nil rev2 x nil nil rev2 x ++ y z rev ++ x rev rev2 y z rev ++ x y ++ rev1 x y rev2 x y NaTT certifiable-1.6