/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES norm nil 0 norm g x y s norm x f x nil g nil x f x g y z g f x y z rem nil y nil rem g x y 0 g x y rem g x y s z rem x z 2.2 rem g x y s z rem x z f x g y z f x y norm g x y norm x true norm g x y norm x true s 1 0 norm 1 1 0 norm 1 0 rem 2 0 f 2 0 0 0 0 nil 0 0 rem 2 0 f 2 0 g 2 1 1 f x g y z f x y true s 1 0 norm 1 0 norm 1 0 rem 2 0 f 2 0 0 0 0 nil 0 0 rem 2 0 f 2 2 0 g 2 1 1 rem g x y s z rem x z true s 1 1 1 norm 1 0 norm 1 0 rem 2 2 0 f 2 0 0 0 0 nil 0 0 rem 2 0 f 2 0 g 2 1 NaTT certifiable-1.6