/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES circ cons a s t cons msubst a t circ s t circ cons lift s cons a t cons a circ s t circ cons lift s cons lift t cons lift circ s t circ circ s t u circ s circ t u circ s id s circ id s s circ cons lift s circ cons lift t u circ cons lift circ s t u subst a id a msubst a id a msubst msubst a s t msubst a circ s t 2.2 circ cons lift s circ cons lift t u circ cons lift circ s t u circ cons lift s cons lift t circ s t circ circ s t u circ s circ t u circ cons a s t msubst a t circ circ s t u circ t u msubst msubst a s t circ s t circ cons lift s circ cons lift t u circ s t circ cons lift s cons a t circ s t circ cons a s t circ s t msubst msubst a s t msubst a circ s t true msubst msubst a s t msubst a circ s t circ cons a s t circ s t circ cons lift s cons a t circ s t circ cons lift s circ cons lift t u circ s t circ circ s t u circ s circ t u circ cons lift s cons lift t circ s t msubst msubst a s t circ s t circ circ s t u circ t u circ cons a s t msubst a t circ cons lift s circ cons lift t u circ cons lift circ s t u true msubst 2 1 2 0 lift 0 0 msubst 2 1 2 8856 subst 2 0 circ 2 1 2 8855 subst 2 0 cons 2 1 14235 2 28471 0 id 0 0 circ 2 1 2 8856 circ circ s t u circ s circ t u msubst msubst a s t msubst a circ s t circ circ s t u circ s circ t u circ cons a s t cons msubst a t circ s t circ cons lift s cons lift t cons lift circ s t circ s id s msubst msubst a s t msubst a circ s t circ cons lift s circ cons lift t u circ cons lift circ s t u msubst a id a circ id s s circ cons lift s cons a t cons a circ s t circ circ s t u circ s circ t u true msubst 2 0 lift 0 1 msubst 2 1 2 subst 2 0 circ 2 1 0 subst 2 0 cons 2 1 14681 id 0 1 circ 2 1 1 msubst msubst a s t msubst a circ s t true msubst 2 1 0 lift 0 1 msubst 2 1 44365 subst 2 0 circ 2 1 0 subst 2 0 cons 2 1 14681 id 0 1 circ 2 1 44364 NaTT certifiable-1.6