/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE i x x i a b g x x g a b h s f x h f x f s x s s f h s x f g s x y f g x s y h g x s y h g s x y h i x y i i c h h y x g a g x g b g a g x y g a g a g a g x g b g b y 2.2 h g x s y h g s x y h i x y h h y g a g x g b g a g x y g a g a g x g b g b y f g s x y g x s y i x x i a b g a g x g b g a g x y g a g a g a g x g b g b y g a g x g b g a g x y g a g x g b g b y h i x y h y h s f x h f x h i x y i c h h y g a g x g b g a g x y g b y f s x h s x g a g x g b g a g x y g b g b y h g x s y g s x y g x x g a b f g s x y f g x s y g a g x g b g a g x y g x g b g b y h i x y i i c h h y x f s x f h s x true f s x f h s x f g s x y f g x s y true a 0 0 h 1 42321 s 1 1 42322 b 0 0 c 0 1 f 1 1 1 h 1 0 f 1 1 0 g 2 0 i 2 1 5854 g 2 1 2 0 i 2 0 f g s x y f g x s y g a g x g b g a g x y g a g a g a g x g b g b y i x x i a b h s f x h f x h i x y i i c h h y x h g x s y h g s x y g x x g a b f g s x y f g x s y true a 0 0 h 1 42321 s 1 1 1 b 0 31892 c 0 1 f 1 1 1 h 1 0 f 1 1 0 g 2 0 i 2 1 496 g 2 1 1 i 2 0 g a g x g b g a g x y g a g a g a g x g b g b y i x x i a b h s f x h f x h i x y i i c h h y x h g x s y h g s x y g x x g a b f g s x y g x s y false g a g x g b g a g x y g a g x g b g b y g a g x g b g a g x y g x g b g b y g a g x g b g a g x y g a g a g a g x g b g b y g a g x g b g a g x y g a g a g x g b g b y true Failed! NaTT certifiable-1.6