/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES p 0 0 p s x x plus x 0 x plus 0 y y plus s x y s plus x y plus s x y s plus p s x y plus x s y s plus x p s y times 0 y 0 times s 0 y y times s x y plus y times x y div 0 y 0 div x y quot x y y quot zero y s y z 0 quot s x s y z quot x y z quot x 0 s z s div x s z div div x y z div x times zero y z eq 0 0 true eq s x 0 false eq 0 s y false eq s x s y eq x y divides y x eq x times div x y y prime s s x pr s s x s x pr x s 0 true pr x s s y if divides s s y x x s y if true x y false if false x y pr x y zero div x x x zero divides x x x zero times x x x zero quot x x x x zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 2.2 plus s x y p s x zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 eq s x s y eq x y zero s x zero 0 zero s x zero 0 div div x y z div x times zero y z divides y x div x y quot s x s y z quot x y z plus x s y plus x p s y div div x y z times zero y z if false x y pr x y zero s x eq x s 0 zero s x plus 0 zero 0 div x y quot x y y divides y x times div x y y quot x 0 s z div x s z times s x y times x y prime s s x pr s s x s x div div x y z zero y divides y x eq x times div x y y times s x y plus y times x y pr x s s y if divides s s y x x s y plus s x y plus p s x y zero s x plus zero 0 0 plus x s y p s y pr x s s y divides s s y x plus s x y plus x y true prime s s x pr s s x s x false pr x s s y divides s s y x quot s x s y z quot x y z divides y x div x y pr x s s y if divides s s y x x s y div div x y z div x times zero y z div div x y z zero y zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 quot x 0 s z div x s z div x y quot x y y if false x y pr x y true zero 1 1 2 div 2 1 0 s 1 1 0 prime 1 0 plus 2 0 pr 2 1 2 eq 2 2 0 false 0 2 div 2 1 2 9515 p 1 0 true 0 2 eq 2 0 prime 1 0 p 1 1 0 times 2 0 0 0 1 if 3 2 quot 3 3 9516 times 2 1 9514 pr 2 2 divides 2 2 1 plus 2 1 2 9507 if 3 2 2 quot 3 1 0 zero 1 1 9514 divides 2 2 1673 if false x y pr x y div x y quot x y y quot x 0 s z div x s z pr x s s y if divides s s y x x s y quot s x s y z quot x y z plus 0 y y p 0 0 plus x 0 x if false x y pr x y zero div x x x zero divides x x x plus s x y s plus x y plus x s y s plus x p s y if true x y false zero quot x x x x zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 pr x s 0 true pr x s s y if divides s s y x x s y plus s x y s plus p s x y zero times x x x p s x x quot x 0 s z div x s z quot s x s y z quot x y z div x y quot x y y true zero 1 1 1 div 2 1 0 s 1 1 1 prime 1 0 plus 2 0 pr 2 2 eq 2 2 0 false 0 2 div 2 1 2 1 p 1 0 true 0 2 eq 2 0 prime 1 0 p 1 0 times 2 0 0 0 1 if 3 2 quot 3 3 9516 times 2 1 2 1 pr 2 2 divides 2 1 plus 2 1 15945 if 3 2 quot 3 1 0 zero 1 9514 divides 2 2 1 div x y quot x y y quot x 0 s z div x s z plus x 0 x if false x y pr x y zero div x x x zero divides x x x if true x y false zero quot x x x x zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 pr x s 0 true pr x s s y if divides s s y x x s y zero times x x x quot x 0 s z div x s z div x y quot x y y true zero 1 0 div 2 2 2 0 s 1 0 prime 1 0 plus 2 0 pr 2 0 eq 2 0 false 0 0 div 2 0 p 1 0 true 0 0 eq 2 0 prime 1 0 p 1 0 times 2 0 0 0 3 if 3 0 quot 3 0 times 2 0 pr 2 0 divides 2 0 plus 2 0 if 3 0 quot 3 2 0 3 1 0 zero 1 0 divides 2 0 if false x y pr x y pr x s s y if divides s s y x x s y true zero 1 1 0 div 2 0 s 1 1 845 prime 1 0 plus 2 0 pr 2 2 3 0 eq 2 0 false 0 0 div 2 1 847 0 p 1 0 true 0 0 eq 2 0 prime 1 0 p 1 1 0 times 2 0 0 0 849 if 3 1 846 2 848 3 1437 0 quot 3 1 848 2 2 3 1 0 times 2 1 35495 2 1 0 pr 2 1 847 0 divides 2 0 plus 2 0 if 3 1 1 3 4 0 quot 3 0 zero 1 0 divides 2 1 1 0 eq s x 0 false divides y x eq x times div x y y eq 0 s y false eq 0 0 true eq s x s y eq x y divides y x eq x times div x y y false divides y x times div x y y false div div x y z times zero y z false times s x y times x y true zero 1 1 12 div 2 0 s 1 1 1 prime 1 0 plus 2 0 pr 2 1 eq 2 1 2 5 false 0 9 div 2 1 2 0 p 1 0 true 0 10 eq 2 0 prime 1 0 p 1 1 times 2 1 0 0 0 2 if 3 13 quot 3 3 9517 times 2 1 1 pr 2 13 divides 2 1 plus 2 26729 if 3 0 quot 3 0 zero 1 9514 divides 2 2 2 if false x y pr x y zero div x x x zero divides x x x if true x y false zero quot x x x x zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 pr x s 0 true pr x s s y if divides s s y x x s y zero times x x x times s x y plus y times x y false plus s x y plus x y plus x s y plus x p s y plus s x y plus p s x y true zero 1 1 12 div 2 0 s 1 1 1 prime 1 0 plus 2 1 0 pr 2 1 eq 2 1 2 0 false 0 9 div 2 1 2 0 p 1 0 true 0 3 eq 2 0 prime 1 0 p 1 1 0 times 2 0 0 0 1 if 3 13 quot 3 3 1 times 2 1 29639 pr 2 13 divides 2 1 plus 2 29641 if 3 0 quot 3 0 zero 1 9514 divides 2 2 11495 plus s x y plus p s x y plus x s y plus x p s y p 0 0 if false x y pr x y zero div x x x zero divides x x x if true x y false zero quot x x x x zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 pr x s 0 true pr x s s y if divides s s y x x s y zero times x x x p s x x plus x s y plus x p s y plus s x y plus p s x y true div 2 2 pr 2 1 zero 1 0 s 1 1 prime 1 0 plus 2 0 2 eq 2 0 2 1 false 0 0 div 2 0 1 2 p 1 0 true 0 0 eq 2 0 1 2 prime 1 0 p 1 0 times 2 0 0 0 0 if 3 0 3 2 1 quot 3 0 2 1 3 times 2 0 1 2 pr 2 0 1 2 divides 2 0 plus 2 0 2 1 if 3 0 3 2 1 quot 3 0 3 2 1 zero 1 0 divides 2 0 1 2 zero 1 1 s 1 1 1 prime 1 1 plus 2 2 0 0 eq 2 1 1 2 1 0 false 0 0 div 2 1 1 2 1 0 p 1 1 true 0 0 eq 2 1 1 2 1 0 prime 1 1 p 1 1 0 times 2 2 1 0 0 0 7758 if 3 1 1 2 1 3 1 0 quot 3 1 1 2 1 3 1 0 times 2 1 1 2 1 0 pr 2 1 1 2 1 0 divides 2 2 1 plus 2 1 1 2 1 0 if 3 1 2 3 1 quot 3 1 2 3 1 zero 1 1 divides 2 1 1 2 1 0 plus s x y plus p s x y p 0 0 p s x x plus s x y plus p s x y true div 2 2 pr 2 1 zero 1 0 s 1 1 prime 1 0 plus 2 2 2 1 eq 2 0 2 1 false 0 0 div 2 0 1 2 p 1 0 true 0 0 eq 2 0 1 2 prime 1 0 p 1 0 times 2 0 0 0 0 if 3 0 3 2 1 quot 3 0 2 1 3 times 2 0 1 2 pr 2 0 1 2 divides 2 0 plus 2 0 2 1 if 3 0 3 2 1 quot 3 0 3 2 1 zero 1 0 divides 2 0 1 2 zero 1 1 s 1 1 2 prime 1 1 plus 2 1 21239 2 1 0 eq 2 1 1 2 1 0 false 0 0 div 2 1 1 2 1 0 p 1 1 true 0 0 eq 2 1 1 2 1 0 prime 1 1 p 1 1 0 times 2 2 1 0 0 0 7758 if 3 1 1 2 1 3 1 0 quot 3 1 1 2 1 3 1 0 times 2 1 1 2 1 0 pr 2 1 1 2 1 0 divides 2 2 1 plus 2 1 1 2 1 0 if 3 1 2 3 1 quot 3 1 2 3 1 zero 1 1 divides 2 1 1 2 1 0 p 0 0 p s x x plus s x y p s x false plus x s y p s y false zero s x eq x s 0 false eq s x s y eq x y true zero 1 1 12 div 2 0 s 1 1 1 prime 1 0 plus 2 0 pr 2 1 eq 2 1 2 1 false 0 9 div 2 1 2 0 p 1 0 true 0 6 eq 2 1 0 prime 1 0 p 1 1 times 2 0 0 0 2 if 3 13 quot 3 3 2 times 2 1 1 pr 2 13 divides 2 1 plus 2 722 if 3 0 quot 3 0 zero 1 9514 divides 2 2 1 if false x y pr x y zero div x x x zero divides x x x if true x y false zero quot x x x x zero s x if eq x s 0 plus zero 0 0 s plus 0 zero 0 pr x s 0 true pr x s s y if divides s s y x x s y zero times x x x zero s x plus zero 0 0 false zero s x zero 0 false zero s x plus 0 zero 0 false zero s x zero 0 false NaTT certifiable-1.6