/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES b a b c z x y a b b z c y z a x f c a b b z a y x f c x b z x y c f c a y a x z f b b z z f b y b x a 2.2 f c a b b z a y x c x b z x y c f c a y a x z b z z c f c a y a x z b x a b a b c z x y a b z c y z a b a b c z x y a c y z a c f c a y a x z f b y b x a b a b c z x y a b b z c y z a x c f c a y a x z b b z z f b y b x a f c a b b z a y x b z x f c a b b z a y x f c x b z x y c f c a y a x z b y b x a c f c a y a x z f b b z z f b y b x a true c f c a y a x z f b b z z f b y b x a b a b c z x y a c y z a c f c a y a x z b y b x a f c a b b z a y x f c x b z x y f c a b b z a y x b z x b a b c z x y a b z c y z a c f c a y a x z b z z c f c a y a x z b b z z f b y b x a b a b c z x y a b b z c y z a x c f c a y a x z f b y b x a f c a b b z a y x c x b z x y true a 0 1 b 2 21239 c 3 2 2 f 1 1 f 1 1 0 c 3 21240 b 2 21240 b a b c z x y a b b z c y z a x c f c a y a x z b b z z f b y b x a c f c a y a x z b z z b a b c z x y a b z c y z a f c a b b z a y x f c x b z x y c f c a y a x z b y b x a b a b c z x y a c y z a b a b c z x y a b b z c y z a x c f c a y a x z f b b z z f b y b x a f c a b b z a y x f c x b z x y b a b c z x y a c y z a b a b c z x y a b z c y z a b a b c z x y a b b z c y z a x c f c a y a x z b y b x a c f c a y a x z b z z c f c a y a x z b b z z f b y b x a true a 0 0 b 2 1 8862 2 8861 0 c 3 1 8859 2 8858 3 8860 0 f 1 8858 f 1 0 c 3 1 2443 2 11301 3 11301 0 b 2 2 2438 0 b a b c z x y a b b z c y z a x c f c a y a x z f b b z z f b y b x a f c a b b z a y x f c x b z x y f c a b b z a y x f c x b z x y true 2 1 a 0 0 1 b 2 1 0 1 0 1 1 0 0 0 2 22833 0 c 3 1 0 1 0 1 0 1 0 0 2 0 1 1 0 3 2447 23368 f 1 50255 1 f 1 0 0 1 0 1 0 0 c 3 0 0 b 2 0 0 b a b c z x y a b b z c y z a x c f c a y a x z f b b z z f b y b x a f c a b b z a y x f c x b z x y c f c a y a x z b x a false NaTT certifiable-1.6