/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 rev x x rev ++ x y ++ rev y rev x ++ nil y y ++ x nil x ++ . x y z . x ++ y z ++ x ++ y z ++ ++ x y z make x . x nil 2.2 ++ x ++ y z ++ ++ x y z rev ++ x y rev x rev ++ x y rev y ++ x ++ y z ++ x y ++ . x y z ++ y z rev ++ x y ++ rev y rev x true rev ++ x y rev x rev ++ x y rev y true rev 1 1 0 ++ 2 1 2 1 make 1 0 ++ 2 0 nil 0 0 rev 1 0 . 2 0 make 1 0 rev ++ x y ++ rev y rev x false ++ . x y z ++ y z ++ x ++ y z ++ x y ++ x ++ y z ++ ++ x y z true rev 1 0 ++ 2 1 2 1 make 1 0 ++ 2 2 0 nil 0 1 rev 1 0 . 2 2 1 make 1 0 ++ . x y z ++ y z ++ . x y z ++ y z true rev 1 0 ++ 2 1 2 1 make 1 0 ++ 2 1 0 nil 0 10157 rev 1 0 . 2 2 21239 make 1 0 ++ nil y y ++ x nil x ++ x ++ y z ++ ++ x y z ++ . x y z . x ++ y z NaTT certifiable-1.6