/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES g A A g B A g B B g C A g C B g C C foldB t 0 t foldB t s n f foldB t n B foldC t 0 t foldC t s n f foldC t n C f t x f' t g x f' triple a b c C triple a b s c f' triple a b c B f triple a b c A f' triple a b c A f'' foldB triple s a 0 c b f'' triple a b c foldC triple a b 0 c 2.2 f t x f' t g x foldC t s n f foldC t n C foldB t s n foldB t n foldC t s n foldC t n f'' triple a b c foldC triple a b 0 c f' triple a b c A foldB triple s a 0 c b f t x g x f' triple a b c B f triple a b c A foldB t s n f foldB t n B f' triple a b c A f'' foldB triple s a 0 c b true f' triple a b c A f'' foldB triple s a 0 c b foldB t s n f foldB t n B f' triple a b c B f triple a b c A foldB t s n foldB t n foldC t s n f foldC t n C f' triple a b c A foldB triple s a 0 c b f'' triple a b c foldC triple a b 0 c foldC t s n foldC t n f t x f' t g x true s 1 1 23625 foldC 2 1 2 0 f' 2 1 2 23613 triple 3 2 3 0 C 0 4 f 2 1 23625 B 0 9 foldB 2 1 2 23612 0 0 1 foldB 2 1 2 23615 A 0 3 f 2 1 2 23619 g 1 0 f' 2 1 23625 foldC 2 1 2 1 g 1 1 5 f'' 1 1 2 f'' 1 1 2 f' triple a b c A foldB triple s a 0 c b f' triple a b c B f triple a b c A foldB t s n f foldB t n B g C A f'' triple a b c foldC triple a b 0 c foldB t s n f foldB t n B g A A g B B g C B foldC t s n f foldC t n C foldB t 0 t f' triple a b c A f'' foldB triple s a 0 c b f' triple a b c C triple a b s c f t x f' t g x foldC t 0 t f' triple a b c B f triple a b c A g C C g B A f' triple a b c A foldB triple s a 0 c b false foldB t s n f foldB t n B false f' triple a b c B f triple a b c A false f t x g x false NaTT certifiable-1.6