/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a b c x1 c b a x1 C B A x1 A B C x1 b a C x1 C a b x1 c A B x1 B A c x1 A c b x1 b c A x1 B C a x1 a C B x1 a A x1 x1 A a x1 x1 b B x1 x1 B b x1 x1 c C x1 x1 C c x1 x1 2.2 C B A x1 B C x1 B C a x1 B x1 a b c x1 c b a x1 A c b x1 A x1 b a C x1 a b x1 b a C x1 b x1 a b c x1 b a x1 A c b x1 b c A x1 b a C x1 C a b x1 B C a x1 C B x1 c A B x1 A c x1 c A B x1 B A c x1 C B A x1 C x1 C B A x1 A B C x1 A c b x1 c A x1 a b c x1 a x1 B C a x1 a C B x1 c A B x1 c x1 true c A B x1 c x1 B C a x1 a C B x1 a b c x1 b a x1 a b c x1 a x1 b a C x1 b x1 A c b x1 c A x1 C B A x1 A B C x1 C B A x1 C x1 c A B x1 B A c x1 b a C x1 a b x1 A c b x1 A x1 a b c x1 c b a x1 c A B x1 A c x1 B C a x1 B x1 B C a x1 C B x1 b a C x1 C a b x1 A c b x1 b c A x1 C B A x1 B C x1 true a 1 1 1 b 1 1 21239 B 1 1 8855 c 1 1 1 C 1 1 10803 B 1 1 8856 C 1 1 10802 A 1 1 44083 A 1 1 44082 c 1 1 0 a 1 1 0 b 1 1 21238 A c b x1 b c A x1 b a C x1 C a b x1 a b c x1 c b a x1 c A B x1 B A c x1 C B A x1 A B C x1 B C a x1 a C B x1 c A B x1 B A c x1 A a x1 x1 a b c x1 c b a x1 b a C x1 C a b x1 A c b x1 b c A x1 B b x1 x1 a A x1 x1 C c x1 x1 c C x1 x1 b B x1 x1 B C a x1 a C B x1 C B A x1 A B C x1 c A B x1 B A c x1 a b c x1 c b a x1 B C a x1 a C B x1 true a 1 1 b 1 1 C 1 1 A 1 1 A 1 1 a 1 1 B 1 3 1 c 1 5 1 B 1 2 1 C 1 0 c 1 5 1 b 1 0 B 1 1 0 c 1 1 0 B 1 1 0 C 1 0 c 1 1 0 b 1 0 a b c x1 c b a x1 c A B x1 B A c x1 A a x1 x1 a b c x1 c b a x1 b a C x1 C a b x1 A c b x1 b c A x1 B b x1 x1 a A x1 x1 C c x1 x1 c C x1 x1 b B x1 x1 B C a x1 a C B x1 C B A x1 A B C x1 a b c x1 c b a x1 false b a C x1 C a b x1 A c b x1 b c A x1 C B A x1 A B C x1 true a 1 1 c 1 1 C 1 1 a 1 1 b 1 4 1 B 1 3 1 B 1 6 1 C 1 4 1 A 1 6 1 A 1 6 1 c 1 5 1 b 1 5 1 b 1 1 0 B 1 1 0 B 1 1 0 C 1 1 0 A 1 1 0 A 1 1 0 c 1 1 0 b 1 1 0 c A B x1 B A c x1 A a x1 x1 a b c x1 c b a x1 b a C x1 C a b x1 A c b x1 b c A x1 B b x1 x1 a A x1 x1 C c x1 x1 c C x1 x1 b B x1 x1 B C a x1 a C B x1 C B A x1 A B C x1 NaTT certifiable-1.6