/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES a a b b x1 C C x1 b b c c x1 A A x1 c c a a x1 B B x1 A A C C x1 b b x1 C C B B x1 a a x1 B B A A x1 c c x1 a a a a a a a a a a x1 A A A A A A x1 A A A A A A A A x1 a a a a a a a a x1 b b b b b b b b b b x1 B B B B B B x1 B B B B B B B B x1 b b b b b b b b x1 c c c c c c c c c c x1 C C C C C C x1 C C C C C C C C x1 c c c c c c c c x1 B B a a a a a a a a x1 c c A A A A A A x1 A A A A A A b b x1 a a a a a a a a C C x1 C C b b b b b b b b x1 a a B B B B B B x1 B B B B B B c c x1 b b b b b b b b A A x1 A A c c c c c c c c x1 b b C C C C C C x1 C C C C C C a a x1 c c c c c c c c B B x1 a a A A x1 x1 A A a a x1 x1 b b B B x1 x1 B B b b x1 x1 c c C C x1 x1 C C c c x1 x1 2.2 b b c c x1 A x1 A A A A A A A A x1 a a a x1 a a a a a a a a a a x1 A A A A A A x1 C C C C C C C C x1 c c c c x1 A A A A A A b b x1 a a a a a a C C x1 A A A A A A A A x1 a a a a a a x1 A A c c c c c c c c x1 C x1 a a a a a a a a a a x1 A A A x1 A A A A A A b b x1 C x1 C C b b b b b b b b x1 B B x1 A A A A A A b b x1 C C x1 A A A A A A b b x1 a a a a C C x1 C C C C C C a a x1 c c c c c c c c B B x1 A A C C x1 b b x1 C C b b b b b b b b x1 B B B B B B x1 B B B B B B c c x1 b b A A x1 a a a a a a a a a a x1 A A x1 B B B B B B B B x1 b b b b x1 B B B B B B c c x1 b b b b A A x1 a a a a a a a a a a x1 A x1 B B B B B B c c x1 A A x1 B B B B B B c c x1 b A A x1 C C B B x1 a x1 A A c c c c c c c c x1 C C C C C C x1 A A A A A A b b x1 a a a C C x1 B B a a a a a a a a x1 c A A A A A A x1 A A c c c c c c c c x1 b b C C C C C C x1 B B B B B B B B x1 b b x1 B B B B B B c c x1 b b b b b b b b A A x1 A A A A A A b b x1 a C C x1 C C b b b b b b b b x1 a B B B B B B x1 C C C C C C a a x1 B B x1 B B B B B B B B x1 b b b b b b x1 b b b b b b b b b b x1 B B B B B B x1 B B a a a a a a a a x1 A A A A x1 B B a a a a a a a a x1 A A x1 A A C C x1 b x1 C C B B x1 a a x1 B B B B B B c c x1 A x1 C C b b b b b b b b x1 B B B x1 c c c c c c c c c c x1 C x1 B B B B B B c c x1 b b b b b A A x1 c c c c c c c c c c x1 C C x1 A A A A A A A A x1 a a a a a a a a x1 c c a a x1 B x1 a a a a a a a a a a x1 A A A A x1 C C b b b b b b b b x1 B x1 B B B B B B c c x1 b b b b b b A A x1 C C C C C C a a x1 c c c c c c B B x1 B B a a a a a a a a x1 A x1 C C C C C C C C x1 c c x1 a a b b x1 C C x1 B B B B B B B B x1 b x1 C C b b b b b b b b x1 a a B B B B B B x1 A A A A A A A A x1 a a a a a a a x1 b b b b b b b b b b x1 B B B B B x1 C C C C C C a a x1 c B B x1 A A c c c c c c c c x1 C C C C C x1 C C C C C C C C x1 c c c x1 B B B B B B B B x1 b b b b b x1 B B B B B B B B x1 b b b b b b b b x1 C C C C C C C C x1 c c c c c c c c x1 C C C C C C a a x1 B x1 c c c c c c c c c c x1 C C C C C x1 A A A A A A A A x1 a x1 B B a a a a a a a a x1 A A A A A A x1 A A A A A A b b x1 a a C C x1 B B a a a a a a a a x1 A A A x1 C C b b b b b b b b x1 B B B B B x1 C C b b b b b b b b x1 B B B B x1 A A c c c c c c c c x1 C C C x1 A A A A A A b b x1 a a a a a a a a C C x1 B B B B B B c c x1 b b b A A x1 B B a a a a a a a a x1 c c A A A A A A x1 a a a a a a a a a a x1 A A A A A x1 A A c c c c c c c c x1 C C x1 C C C C C C C C x1 c c c c c x1 c c c c c c c c c c x1 C C C x1 A A A A A A b b x1 a a a a a a a C C x1 A A A A A A A A x1 a a a a a x1 A A A A A A A A x1 a a x1 C C C C C C C C x1 c c c c c c x1 A A c c c c c c c c x1 b C C C C C C x1 b b b b b b b b b b x1 B B x1 C C C C C C C C x1 c x1 c c c c c c c c c c x1 C C C C C C x1 A A c c c c c c c c x1 C C C C x1 C C C C C C a a x1 c c B B x1 C C C C C C C C x1 c c c c c c c x1 C C C C C C a a x1 c c c c c c c B B x1 A A A A A A A A x1 a a a a x1 B B B B B B c c x1 b b b b b b b A A x1 A A A A A A b b x1 a a a a a C C x1 c c c c c c c c c c x1 C C C C x1 b b b b b b b b b b x1 B B B x1 B B A A x1 c c x1 c c a a x1 B B x1 b b c c x1 A A x1 B B B B B B B B x1 b b b x1 B B a a a a a a a a x1 A A A A A x1 b b b b b b b b b b x1 B B B B x1 C C C C C C a a x1 c c c c c B B x1 C C C C C C a a x1 c c c c B B x1 B B A A x1 c x1 C C C C C C a a x1 c c c B B x1 a a b b x1 C x1 B B B B B B B B x1 b b b b b b b x1 b b b b b b b b b b x1 B x1 true b b b b b b b b b b x1 B x1 C C C C C C a a x1 B x1 a a b b x1 C x1 B B B B B B B B x1 b b b b b b b x1 C C C C C C a a x1 c c c B B x1 C C C C C C C C x1 c c c c c c c c x1 B B B B B B B B x1 b b b b b x1 B B B B B B B B x1 b b b b b b b b x1 B B A A x1 c x1 A A c c c c c c c c x1 C C C C C x1 C C C C C C C C x1 c c c x1 C C C C C C a a x1 c c c c B B x1 C C C C C C a a x1 c B B x1 C C C C C C a a x1 c c c c c B B x1 b b b b b b b b b b x1 B B B B B x1 A A A A A A A A x1 a a a a a a a x1 b b b b b b b b b b x1 B B B B x1 C C b b b b b b b b x1 a a B B B B B B x1 a a b b x1 C C x1 B B B B B B B B x1 b x1 C C C C C C C C x1 c c x1 B B a a a a a a a a x1 A x1 C C C C C C a a x1 c c c c c c B B x1 B B B B B B c c x1 b b b b b b A A x1 B B a a a a a a a a x1 A A A A A x1 C C b b b b b b b b x1 B x1 a a a a a a a a a a x1 A A A A x1 B B B B B B B B x1 b b b x1 c c a a x1 B x1 A A A A A A A A x1 a a a a a a a a x1 b b c c x1 A A x1 c c c c c c c c c c x1 C C x1 c c a a x1 B B x1 B B B B B B c c x1 b b b b b A A x1 B B A A x1 c c x1 c c c c c c c c c c x1 C x1 b b b b b b b b b b x1 B B B x1 C C b b b b b b b b x1 B B B x1 c c c c c c c c c c x1 C C C C x1 B B B B B B c c x1 A x1 A A A A A A b b x1 a a a a a C C x1 C C B B x1 a a x1 B B B B B B c c x1 b b b b b b b A A x1 A A A A A A A A x1 a a a a x1 C C C C C C a a x1 c c c c c c c B B x1 A A C C x1 b x1 C C C C C C a a x1 c c B B x1 C C C C C C C C x1 c c c c c c c x1 B B a a a a a a a a x1 A A x1 B B a a a a a a a a x1 A A A A x1 b b b b b b b b b b x1 B B B B B B x1 A A c c c c c c c c x1 C C C C x1 C C C C C C a a x1 B B x1 B B B B B B B B x1 b b b b b b x1 C C C C C C C C x1 c x1 c c c c c c c c c c x1 C C C C C C x1 C C b b b b b b b b x1 a B B B B B B x1 b b b b b b b b b b x1 B B x1 A A A A A A b b x1 a C C x1 B B B B B B c c x1 b b b b b b b b A A x1 B B B B B B B B x1 b b x1 A A c c c c c c c c x1 b C C C C C C x1 A A c c c c c c c c x1 b b C C C C C C x1 B B a a a a a a a a x1 c A A A A A A x1 C C C C C C C C x1 c c c c c c x1 A A c c c c c c c c x1 C C C C C C x1 A A A A A A b b x1 a a a C C x1 A A A A A A A A x1 a a x1 C C B B x1 a x1 A A A A A A A A x1 a a a a a x1 B B B B B B c c x1 b A A x1 A A A A A A b b x1 a a a a a a a C C x1 B B B B B B c c x1 A A x1 a a a a a a a a a a x1 A x1 B B B B B B c c x1 b b b b A A x1 c c c c c c c c c c x1 C C C x1 B B B B B B B B x1 b b b b x1 C C C C C C C C x1 c c c c c x1 A A c c c c c c c c x1 C C x1 B B B B B B c c x1 b b A A x1 a a a a a a a a a a x1 A A x1 a a a a a a a a a a x1 A A A A A x1 C C b b b b b b b b x1 B B B B B B x1 B B a a a a a a a a x1 c c A A A A A A x1 A A C C x1 b b x1 C C C C C C a a x1 c c c c c c c c B B x1 B B B B B B c c x1 b b b A A x1 A A A A A A b b x1 a a a a C C x1 A A c c c c c c c c x1 C C C x1 A A A A A A b b x1 a a a a a a a a C C x1 C C b b b b b b b b x1 B B B B x1 A A A A A A b b x1 C C x1 C C b b b b b b b b x1 B B x1 C C b b b b b b b b x1 B B B B B x1 A A A A A A b b x1 C x1 B B a a a a a a a a x1 A A A x1 a a a a a a a a a a x1 A A A x1 A A A A A A A A x1 a a a a a a x1 A A c c c c c c c c x1 C x1 A A A A A A b b x1 a a C C x1 A A A A A A A A x1 a x1 B B a a a a a a a a x1 A A A A A A x1 A A A A A A b b x1 a a a a a a C C x1 C C C C C C C C x1 c c c c x1 A A A A A A A A x1 a a a x1 a a a a a a a a a a x1 A A A A A A x1 b b c c x1 A x1 c c c c c c c c c c x1 C C C C C x1 true a 1 1 31844 b 1 1 31844 B 1 1 15923 c 1 1 31844 C 1 1 47766 B 1 1 47766 C 1 1 47765 A 1 1 47766 A 1 1 47765 c 1 1 0 a 1 1 31842 b 1 1 0 C C C C C C a a x1 c c c c c c c c B B x1 A A C C x1 b b x1 C C b b b b b b b b x1 a a B B B B B B x1 A A A A A A A A x1 a a a a a a a a x1 a a b b x1 C C x1 c c a a x1 B B x1 B B B B B B c c x1 b b b b b b b b A A x1 b b B B x1 x1 a a A A x1 x1 A A c c c c c c c c x1 b b C C C C C C x1 B B b b x1 x1 C C B B x1 a a x1 B B B B B B B B x1 b b b b b b b b x1 a a a a a a a a a a x1 A A A A A A x1 A A a a x1 x1 A A A A A A b b x1 a a a a a a a a C C x1 C C C C C C C C x1 c c c c c c c c x1 c c C C x1 x1 C C c c x1 x1 c c c c c c c c c c x1 C C C C C C x1 b b b b b b b b b b x1 B B B B B B x1 B B a a a a a a a a x1 c c A A A A A A x1 B B A A x1 c c x1 b b c c x1 A A x1 NaTT certifiable-1.6