/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES f j x y y g f x k y f x h1 y z h2 0 x h1 y z g h2 x y h1 z u h2 s x y h1 z u h2 x j y h1 z u h1 z u h2 s x y h1 s z u i f x h y y i h2 s x y h1 x z z k h x h1 0 x k h1 x y h1 s x y 2.2 g h2 x y h1 z u h2 s x y h1 z u h2 x j y h1 z u h1 z u h2 s x y h1 s z u f j x y y k y f j x y y g f x k y f x h1 y z h2 0 x h1 y z f j x y y f x k y true f j x y y f x k y true h 1 1 s 1 1 k 1 28959 h2 3 0 f 2 0 0 0 28958 k 1 0 f 2 1 2 0 g 1 0 j 2 1 28960 h1 2 1 1 i 1 0 h2 3 0 g 1 0 i 1 0 k h1 x y h1 s x y k h x h1 0 x f x h1 y z h2 0 x h1 y z false f j x y y g f x k y false f j x y y k y false g h2 x y h1 z u h2 s x y h1 z u false h2 x j y h1 z u h1 z u h2 s x y h1 s z u true h 1 1 s 1 1 k 1 28959 h2 3 1 2 3 0 f 2 0 0 0 28958 k 1 0 f 2 2 0 g 1 0 j 2 1 2 2 h1 2 1 1 i 1 0 h2 3 0 g 1 0 i 1 0 k h1 x y h1 s x y k h x h1 0 x NaTT certifiable-1.6