/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES c b a a x1 a a b c x1 b a a a x1 a a a b x1 a b c x1 c b a x1 c c b b x1 b b c c x1 2.2 b a a a x1 a a b x1 a b c x1 b a x1 c c b b x1 b c c x1 c b a a x1 a b c x1 c b a a x1 c x1 c c b b x1 b b c c x1 c c b b x1 c c x1 a b c x1 a x1 c b a a x1 b c x1 a b c x1 c b a x1 b a a a x1 a b x1 b a a a x1 a a a b x1 c b a a x1 a a b c x1 c c b b x1 c x1 b a a a x1 b x1 true b a a a x1 b x1 c c b b x1 c c x1 c c b b x1 c x1 c c b b x1 b b c c x1 c b a a x1 a a b c x1 b a a a x1 a a a b x1 b a a a x1 a b x1 c b a a x1 c x1 c b a a x1 a b c x1 c c b b x1 b c c x1 a b c x1 b a x1 a b c x1 c b a x1 c b a a x1 b c x1 a b c x1 a x1 b a a a x1 a a b x1 true a 1 1 5854 b 1 1 4685 c 1 1 30613 c 1 1 25928 a 1 1 1169 b 1 1 0 a b c x1 c b a x1 b a a a x1 a a a b x1 c b a a x1 a a b c x1 c c b b x1 b b c c x1 c c b b x1 b b c c x1 c b a a x1 a a b c x1 a b c x1 c b a x1 b a a a x1 a a a b x1 c c b b x1 b b c c x1 c b a a x1 a a b c x1 a b c x1 c b a x1 b a a a x1 a a a b x1 true 2 1 a 1 0 0 1 0 1 0 0 b 1 0 1 0 0 1 0 0 c 1 1 0 0 0 1 31302 0 c 1 1 0 0 0 1 1 0 a 1 0 0 1 0 1 0 0 b 1 1 0 c c b b x1 b b c c x1 c b a a x1 a a b c x1 a b c x1 c b a x1 b a a a x1 a a a b x1 NaTT certifiable-1.6