/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a f a g a f x a f a g a g a f x a g a f a g x a g a f a f a g x 2.2 a g a f a g x a f a f a g x a f a g a f x a f a g a g a f x a g a f a g x a g a f a f a g x a f a g a f x a g a g a f x true a f a g a f x a g a g a f x a g a f a g x a g a f a f a g x a f a g a f x a f a g a g a f x a g a f a g x a f a f a g x true a 2 1 1 0 f 0 0 a 2 1 11293 2 11294 0 g 0 3 a f a g a f x a f a g a g a f x a g a f a g x a g a f a f a g x a f a g a f x a g a g a f x a f a g a f x a f a g a g a f x a g a f a g x a g a f a f a g x a f a g a f x a f a g a g a f x true 2 1 a 2 0 1 0 0 1 0 0 1 0 2 1 43730 f 0 2 1 a 2 1 0 1 1 2 0 0 g 0 1 1 a f a g a f x a f a g a g a f x a g a f a g x a g a f a f a g x a f a g a f x a g a g a f x false a g a f a g x a g a f a f a g x true 2 1 a 2 0 1 0 0 1 0 0 1 0 2 30808 0 f 0 1 1 a 2 1 0 1 1 2 0 0 g 0 14023 1 a f a g a f x a f a g a g a f x a g a f a g x a g a f a f a g x NaTT certifiable-1.6