/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES f g f h x x x f h x f x x f h x g x f g h x x f g h x f x f x y f g f h x y x f g g x x f g x g x f f 2.2 f x y f y x f x f y z f f x y z f x y f y x f x f y z f f x y z f x f y z f x y f g h x f x f x y f h x y f g g x x f g x g x f g f h x x x f h x f x x f g h x f x f x y f g f h x y x f h x g x f g h x x f g f h x x x f x x f f h x g x _1 f f g h x x _1 f f g h x f x f x y _1 f f g f h x y x _1 f f g f h x x x _1 f f h x f x x _1 f f g g x x _1 f f g x g x _1 f x f y z f x y f g f h x x x f x x f h x g x f g h x x f x f y z f f x y z f g g x x f g x g x f g h x f x f x y f h x y f g h x f x f x y f g f h x y x f g f h x x x f h x f x x f x y f y x true h 1 1 f 2 1 2 32286 f 2 1 2 0 g 1 1 10451 f g f h x x x f h x f x x f g h x f x f x y f g f h x y x f g h x f x f x y f h x y f g f h x x x f x x f x f y z f x y f g g x x f g x g x f g f h x x x f h x f x x f g h x f x f x y f g f h x y x f x f y z f f x y z f x y f y x f h x g x f g h x x f g g x x f g x g x f x f y z f f x y z f x y f y x f h x g x f g h x x true h 1 2 f 2 1 1 2 f 2 1 1 2 g 1 0 1 h 1 0 f 2 1 0 2 0 0 f 2 1 0 2 0 0 g 1 1 0 f h x g x f g h x x f g g x x f g x g x f g g x x f g x g x f g f h x x x f h x f x x f g h x f x f x y f g f h x y x f x f y z f f x y z f x y f y x f h x g x f g h x x f x f y z f f x y z f x y f y x true f f g h x f x f x y _1 f f g f h x y x _1 f f g f h x x x _1 f f h x f x x _1 f x f y z f f x y z f f g g x x _1 f f g x g x _1 f x y f y x f x f y z f x y f f h x g x _1 f f g h x x _1 true h 1 1 f 2 1 2 8946 f 2 1 2 0 g 1 1 15922 f x f y z f x y f f g f h x x x _1 f f h x f x x _1 f f g h x f x f x y _1 f f g f h x y x _1 f g g x x f g x g x f g f h x x x f h x f x x f g h x f x f x y f g f h x y x f x f y z f f x y z f x y f y x f h x g x f g h x x f f g g x x _1 f f g x g x _1 f x f y z f f x y z f x y f y x f f h x g x _1 f f g h x x _1 true h 1 2 f 2 1 1 2 f 2 1 1 2 g 1 0 1 h 1 0 f 2 1 0 2 0 0 f 2 1 0 2 0 0 g 1 1 0 f f h x g x _1 f f g h x x _1 f f g g x x _1 f f g x g x _1 f g g x x f g x g x f g f h x x x f h x f x x f g h x f x f x y f g f h x y x f x f y z f f x y z f x y f y x f h x g x f g h x x f x f y z f f x y z f x y f y x true NaTT certifiable-1.6