/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE a__fact X a__if a__zero mark X s 0 prod X fact p X a__add 0 X mark X a__add s X Y s a__add mark X mark Y a__prod 0 X 0 a__prod s X Y a__add mark Y a__prod mark X mark Y a__if true X Y mark X a__if false X Y mark Y a__zero 0 true a__zero s X false a__p s X mark X mark fact X a__fact mark X mark if X1 X2 X3 a__if mark X1 X2 X3 mark zero X a__zero mark X mark prod X1 X2 a__prod mark X1 mark X2 mark p X a__p mark X mark add X1 X2 a__add mark X1 mark X2 mark s X s mark X mark 0 0 mark true true mark false false a__fact X fact X a__if X1 X2 X3 if X1 X2 X3 a__zero X zero X a__prod X1 X2 prod X1 X2 a__p X p X a__add X1 X2 add X1 X2 2.2 a__if true X Y mark X mark p X a__p mark X mark fact X mark X a__p s X mark X mark prod X1 X2 a__prod mark X1 mark X2 mark prod X1 X2 mark X2 a__add s X Y mark X a__add s X Y a__add mark X mark Y a__if false X Y mark Y a__prod s X Y a__add mark Y a__prod mark X mark Y mark p X mark X a__add s X Y mark Y mark add X1 X2 a__add mark X1 mark X2 mark if X1 X2 X3 a__if mark X1 X2 X3 mark prod X1 X2 mark X1 mark fact X a__fact mark X a__fact X mark X mark add X1 X2 mark X2 a__fact X a__zero mark X a__prod s X Y mark X mark s X mark X a__fact X a__if a__zero mark X s 0 prod X fact p X mark add X1 X2 mark X1 a__prod s X Y a__prod mark X mark Y mark zero X a__zero mark X a__add 0 X mark X mark if X1 X2 X3 mark X1 a__prod s X Y mark Y mark zero X mark X a__prod s X Y mark Y true a__prod s X Y mark Y a__add s X Y mark Y mark zero X mark X mark p X mark X a__prod s X Y a__add mark Y a__prod mark X mark Y a__prod s X Y mark Y a__if false X Y mark Y mark if X1 X2 X3 mark X1 a__add 0 X mark X a__add s X Y a__add mark X mark Y a__add s X Y mark X a__prod s X Y a__prod mark X mark Y mark add X1 X2 mark X1 a__fact X a__if a__zero mark X s 0 prod X fact p X mark prod X1 X2 mark X2 mark prod X1 X2 a__prod mark X1 mark X2 a__p s X mark X mark s X mark X a__prod s X Y mark X mark fact X mark X mark add X1 X2 mark X2 a__fact X mark X mark fact X a__fact mark X mark prod X1 X2 mark X1 mark if X1 X2 X3 a__if mark X1 X2 X3 mark p X a__p mark X a__if true X Y mark X mark add X1 X2 a__add mark X1 mark X2 true zero 1 1 1 prod 2 1 1 2 0 0 s 1 1 0 a__prod 2 1 1 2 0 0 a__zero 1 0 a__fact 1 1 28226 a__add 2 1 29534 2 29534 0 a__add 2 1 0 2 0 0 false 0 1 a__p 1 1 0 true 0 2 a__zero 1 1 1 p 1 1 0 mark 1 1 29534 0 0 1 if 3 1 28225 2 28224 3 0 0 a__fact 1 1 57760 fact 1 1 28226 mark 1 1 0 a__p 1 1 29534 a__if 3 2 57758 3 29534 0 a__prod 2 1 29535 2 29534 0 add 2 1 0 2 0 0 a__if 3 1 28225 2 28224 3 0 0 mark add X1 X2 a__add mark X1 mark X2 mark p X a__p mark X mark if X1 X2 X3 a__if mark X1 X2 X3 mark fact X a__fact mark X mark add X1 X2 mark X2 mark s X mark X a__p s X mark X mark prod X1 X2 a__prod mark X1 mark X2 mark prod X1 X2 mark X2 a__fact X a__if a__zero mark X s 0 prod X fact p X mark add X1 X2 mark X1 a__prod s X Y a__prod mark X mark Y a__add s X Y mark X a__add s X Y a__add mark X mark Y a__add 0 X mark X a__if false X Y mark Y a__prod s X Y mark Y a__prod s X Y a__add mark Y a__prod mark X mark Y mark p X mark X a__add s X Y mark Y a__prod s X Y mark Y mark 0 0 a__prod 0 X 0 mark p X a__p mark X a__zero 0 true a__fact X a__if a__zero mark X s 0 prod X fact p X a__add s X Y s a__add mark X mark Y mark add X1 X2 a__add mark X1 mark X2 a__fact X fact X a__add X1 X2 add X1 X2 mark true true mark s X s mark X a__if X1 X2 X3 if X1 X2 X3 a__prod s X Y a__add mark Y a__prod mark X mark Y a__p s X mark X a__if false X Y mark Y mark false false a__p X p X mark prod X1 X2 a__prod mark X1 mark X2 mark if X1 X2 X3 a__if mark X1 X2 X3 a__zero X zero X a__prod X1 X2 prod X1 X2 mark fact X a__fact mark X a__zero s X false mark zero X a__zero mark X a__if true X Y mark X a__add 0 X mark X mark p X mark X mark p X a__p mark X a__fact X a__if a__zero mark X s 0 prod X fact p X a__add s X Y mark Y a__add s X Y mark X a__add s X Y a__add mark X mark Y mark add X1 X2 mark X2 mark add X1 X2 mark X1 mark add X1 X2 a__add mark X1 mark X2 mark s X mark X a__prod s X Y mark Y a__prod s X Y a__prod mark X mark Y a__prod s X Y mark Y a__prod s X Y a__add mark Y a__prod mark X mark Y a__p s X mark X a__if false X Y mark Y mark prod X1 X2 mark X2 mark prod X1 X2 a__prod mark X1 mark X2 mark if X1 X2 X3 a__if mark X1 X2 X3 mark fact X a__fact mark X a__add 0 X mark X true zero 1 1 prod 2 2 0 0 s 1 1 0 a__prod 2 2 0 0 a__zero 1 0 a__fact 1 3 a__add 2 1 0 2 0 0 a__add 2 1 0 2 0 0 false 0 1 a__p 1 1 2 true 0 1 a__zero 1 1 p 1 1 2 mark 1 1 0 0 0 0 if 3 1 2 2 1 3 0 0 a__fact 1 3 fact 1 3 mark 1 1 0 a__p 1 1 1 a__if 3 3 0 0 a__prod 2 2 0 0 add 2 1 0 2 0 0 a__if 3 1 2 2 1 3 0 0 a__add 0 X mark X mark fact X a__fact mark X mark if X1 X2 X3 a__if mark X1 X2 X3 mark prod X1 X2 a__prod mark X1 mark X2 mark prod X1 X2 mark X2 a__if false X Y mark Y a__prod s X Y a__add mark Y a__prod mark X mark Y a__prod s X Y mark Y a__prod s X Y a__prod mark X mark Y a__prod s X Y mark Y mark s X mark X mark add X1 X2 a__add mark X1 mark X2 mark add X1 X2 mark X1 mark add X1 X2 mark X2 a__add s X Y a__add mark X mark Y a__add s X Y mark X a__add s X Y mark Y a__fact X a__if a__zero mark X s 0 prod X fact p X mark 0 0 a__prod 0 X 0 mark p X a__p mark X a__zero 0 true a__fact X a__if a__zero mark X s 0 prod X fact p X a__add s X Y s a__add mark X mark Y mark add X1 X2 a__add mark X1 mark X2 a__fact X fact X a__add X1 X2 add X1 X2 mark true true mark s X s mark X a__if X1 X2 X3 if X1 X2 X3 a__prod s X Y a__add mark Y a__prod mark X mark Y a__p s X mark X a__if false X Y mark Y mark false false a__p X p X mark prod X1 X2 a__prod mark X1 mark X2 mark if X1 X2 X3 a__if mark X1 X2 X3 a__zero X zero X a__prod X1 X2 prod X1 X2 mark fact X a__fact mark X a__zero s X false mark zero X a__zero mark X a__if true X Y mark X a__add 0 X mark X a__fact X a__if a__zero mark X s 0 prod X fact p X a__add s X Y mark Y a__add s X Y mark X a__add s X Y a__add mark X mark Y mark add X1 X2 mark X2 mark add X1 X2 mark X1 mark add X1 X2 a__add mark X1 mark X2 mark s X mark X a__prod s X Y mark Y a__prod s X Y a__prod mark X mark Y a__prod s X Y mark Y a__prod s X Y a__add mark Y a__prod mark X mark Y a__if false X Y mark Y mark prod X1 X2 mark X2 mark prod X1 X2 a__prod mark X1 mark X2 mark if X1 X2 X3 a__if mark X1 X2 X3 mark fact X a__fact mark X a__add 0 X mark X true Failed! NaTT certifiable-1.6