/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES if true x y x if false x y y eq 0 0 true eq 0 s x false eq s x s y eq x y union empty x x inter empty x empty inter union y z x union inter x y inter x z inter singl x singl y if eq x y singl x empty inter union eq inter union 2.2 union x union y z union union x y z inter x inter y z inter inter x y z inter x y inter y x union x y union y x eq x y eq y x union x union y z union x y inter x inter y z inter x y eq x y eq y x inter x y inter y x inter x inter y z inter inter x y z union x union y z union union x y z union x y union y x inter union y z x inter x z inter union y z x union inter x y inter x z inter union y z x inter x y eq s x s y eq x y inter singl x singl y if eq x y singl x empty inter singl x singl y eq x y union union empty x _1 union x _1 inter inter singl x singl y _1 inter if eq x y singl x empty _1 inter inter empty x _1 inter empty _1 inter inter union y z x _1 inter union inter x y inter x z _1 inter union y z x inter x y inter union y z x inter x z inter x inter y z inter x y inter x inter y z inter inter x y z inter x y inter y x true if 3 2 s 1 0 1 eq 2 2 false 0 1 true 0 1 eq 2 0 if 3 4 3 2 0 0 0 union 2 0 1 2 singl 1 3 1 inter 2 5 1 2 empty 0 3 inter 2 5 1 2 union 2 0 s 1 1 0 eq 2 0 false 0 0 true 0 0 eq 2 0 if 3 2 0 3 0 0 0 0 0 union 2 1 0 2 0 0 singl 1 1 0 inter 2 1 0 2 0 0 empty 0 0 inter 2 1 0 2 0 0 union 2 0 inter x inter y z inter x y inter union y z x inter x z inter union y z x inter x y inter union y z x union inter x y inter x z if true x y x inter empty x empty union x y union y x inter x y inter y x inter x inter y z inter inter x y z inter singl x singl y if eq x y singl x empty union x union y z union union x y z union empty x x if false x y y inter x y inter y x inter x inter y z inter inter x y z true inter singl x singl y if eq x y singl x empty false inter singl x singl y eq x y false eq x y eq y x eq s x s y eq x y true s 1 1 1 eq 2 1 2 1 false 0 42739 true 0 94329 eq 2 1 2 0 if 3 1 2 3 1 0 0 42736 union 2 1 2 20163 singl 1 1 if 3 0 inter 2 1 2 1 empty 0 1 inter 2 0 union 2 0 eq s x s y eq x y eq x y eq y x true inter union y z x union inter x y inter x z false union x y union y x union x union y z union union x y z union x union y z union x y true eq x y eq y x true union union empty x _1 union x _1 union x union y z union union x y z union x union y z union x y union x y union y x true s 1 1 11873 eq 2 1 2 1 false 0 20821 true 0 26749 eq 2 0 if 3 1 2 3 1 0 0 8946 union 2 1 2 1 singl 1 1 if 3 0 inter 2 1 2 1 empty 0 1 inter 2 0 union 2 1 2 0 union x union y z union x y union union empty x _1 union x _1 union x y union y x union x union y z union union x y z union empty x x union x y union y x union x union y z union union x y z true inter x inter y z inter inter x y z inter inter union y z x _1 inter union inter x y inter x z _1 inter x inter y z inter x y inter inter singl x singl y _1 inter if eq x y singl x empty _1 inter inter empty x _1 inter empty _1 inter x y inter y x true if 3 2 s 1 0 1 eq 2 2 1 2 false 0 1 true 0 1 eq 2 0 if 3 4 3 2 0 0 0 union 2 0 1 2 singl 1 3 1 inter 2 5 1 2 empty 0 3 inter 2 5 1 2 union 2 0 s 1 1 0 eq 2 1 0 2 0 0 false 0 0 true 0 0 eq 2 0 if 3 2 0 3 0 0 0 0 0 union 2 1 0 2 0 0 singl 1 1 0 inter 2 1 0 2 0 0 empty 0 0 inter 2 1 0 2 0 0 union 2 0 inter inter empty x _1 inter empty _1 inter inter singl x singl y _1 inter if eq x y singl x empty _1 inter x inter y z inter x y inter inter union y z x _1 inter union inter x y inter x z _1 eq 0 s x false inter union y z x union inter x y inter x z if true x y x eq 0 0 true inter empty x empty union x y union y x inter x y inter y x inter x inter y z inter inter x y z inter singl x singl y if eq x y singl x empty union x union y z union union x y z union empty x x if false x y y inter x y inter y x inter x inter y z inter inter x y z true NaTT certifiable-1.6