/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES eq 0 0 true eq 0 s X false eq s X 0 false eq s X s Y eq X Y rm N nil nil rm N add M X ifrm eq N M N add M X ifrm true N add M X rm N X ifrm false N add M X add M rm N X purge nil nil purge add N X add N purge rm N X 2.2 rm N add M X eq N M ifrm false N add M X rm N X eq s X s Y eq X Y purge add N X rm N X ifrm true N add M X rm N X rm N add M X ifrm eq N M N add M X purge add N X purge rm N X true purge add N X purge rm N X true ifrm 3 0 s 1 1 purge 1 1 0 eq 2 1 false 0 1 true 0 1 purge 1 0 eq 2 0 0 0 1 ifrm 3 2 3 1 nil 0 1 add 2 1 2 2 rm 2 1 2 1 rm 2 0 eq s X s Y eq X Y ifrm false N add M X add M rm N X eq 0 0 true eq s X 0 false rm N nil nil ifrm true N add M X rm N X rm N add M X ifrm eq N M N add M X eq 0 s X false purge add N X rm N X false rm N add M X ifrm eq N M N add M X ifrm true N add M X rm N X ifrm false N add M X rm N X true ifrm 3 1 2 3 0 s 1 1 purge 1 1 0 eq 2 9227 false 0 9227 true 0 9227 purge 1 0 eq 2 0 0 0 1 ifrm 3 2 3 1 nil 0 36459 add 2 2 2 rm 2 1 2 1 rm 2 1 2 9228 eq s X s Y eq X Y ifrm false N add M X add M rm N X eq 0 0 true eq s X 0 false rm N nil nil ifrm true N add M X rm N X rm N add M X ifrm eq N M N add M X eq 0 s X false rm N add M X eq N M false eq s X s Y eq X Y true ifrm 3 1 0 s 1 1 1 purge 1 1 0 eq 2 9227 false 0 1 true 0 9227 purge 1 0 eq 2 1 2 0 0 0 1 ifrm 3 2 3 17678 nil 0 1 add 2 2 1 rm 2 1 2 17678 rm 2 9228 eq s X s Y eq X Y ifrm false N add M X add M rm N X eq 0 0 true eq s X 0 false rm N nil nil ifrm true N add M X rm N X rm N add M X ifrm eq N M N add M X eq 0 s X false NaTT certifiable-1.6