/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES minus n__0 Y 0 minus n__s X n__s Y minus activate X activate Y geq X n__0 true geq n__0 n__s Y false geq n__s X n__s Y geq activate X activate Y div 0 n__s Y 0 div s X n__s Y if geq X activate Y n__s div minus X activate Y n__s activate Y n__0 if true X Y activate X if false X Y activate Y 0 n__0 s X n__s X activate n__0 0 activate n__s X s X activate X X 2.2 minus n__s X n__s Y activate X activate n__0 0 div s X n__s Y activate Y div s X n__s Y activate Y div s X n__s Y minus X activate Y div s X n__s Y activate Y geq n__s X n__s Y geq activate X activate Y div s X n__s Y if geq X activate Y n__s div minus X activate Y n__s activate Y n__0 div s X n__s Y div minus X activate Y n__s activate Y if false X Y activate Y minus n__0 Y 0 geq n__s X n__s Y activate Y minus n__s X n__s Y activate Y minus n__s X n__s Y minus activate X activate Y div s X n__s Y geq X activate Y geq n__s X n__s Y activate X activate n__s X s X if true X Y activate X true div s X n__s Y div minus X activate Y n__s activate Y true 0 0 0 div 2 1 2 0 s 1 1 29246 minus 2 1 29243 activate 1 1 2 geq 2 0 activate 1 0 false 0 0 div 2 0 geq 2 0 true 0 0 n__s 1 1 29244 0 0 41063 if 3 0 s 1 0 n__0 0 41063 minus 2 0 if 3 0 minus n__0 Y 0 0 n__0 activate X X activate n__0 0 s X n__s X activate n__s X s X minus n__s X n__s Y minus activate X activate Y div s X n__s Y geq X activate Y false geq n__s X n__s Y geq activate X activate Y true 0 0 0 div 2 1 2 0 s 1 1 3 minus 2 1 29243 activate 1 1 1 geq 2 1 2 0 activate 1 0 false 0 0 div 2 0 geq 2 0 true 0 0 n__s 1 1 2 0 0 41063 if 3 0 s 1 0 n__0 0 41063 minus 2 0 if 3 0 minus n__0 Y 0 0 n__0 activate X X activate n__0 0 s X n__s X activate n__s X s X minus n__s X n__s Y minus activate X activate Y geq n__s X n__s Y activate X false geq n__s X n__s Y activate Y false div s X n__s Y activate Y false div s X n__s Y minus X activate Y false minus n__s X n__s Y minus activate X activate Y true 0 0 0 div 2 1 2 0 s 1 1 3 minus 2 1 1 activate 1 1 1 geq 2 1 2 0 activate 1 0 false 0 0 div 2 0 geq 2 0 true 0 0 n__s 1 1 2 0 0 38146 if 3 0 s 1 0 n__0 0 38145 minus 2 1 2 0 if 3 0 minus n__0 Y 0 0 n__0 activate X X activate n__0 0 s X n__s X activate n__s X s X minus n__s X n__s Y minus activate X activate Y minus n__s X n__s Y activate Y false minus n__0 Y 0 false div s X n__s Y activate Y false div s X n__s Y activate Y false div s X n__s Y if geq X activate Y n__s div minus X activate Y n__s activate Y n__0 false if false X Y activate Y false if true X Y activate X false minus n__s X n__s Y activate X false activate n__s X s X false activate n__0 0 false NaTT certifiable-1.6