/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES not true false not false true odd 0 false odd s x not odd x + x 0 x + x s y s + x y + s x y s + x y 2.2 + s x y + x y odd s x not odd x + x s y + x y odd s x odd x true odd s x odd x true s 1 1 1 false 0 0 true 0 0 not 1 0 0 0 0 odd 1 1 0 odd 1 0 + 2 0 + 2 0 not 1 0 odd s x not odd x false + x s y + x y + s x y + x y true s 1 1 1 false 0 0 true 0 0 not 1 0 0 0 0 odd 1 0 odd 1 0 + 2 0 + 2 1 0 not 1 0 + x s y + x y + x s y + x y true s 1 1 1 false 0 0 true 0 0 not 1 0 0 0 0 odd 1 0 odd 1 0 + 2 0 + 2 2 0 not 1 0 NaTT certifiable-1.6