/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES r1 a x1 a a a r1 x1 r2 a x1 a a a r2 x1 a l1 x1 l1 a a a x1 a a l2 x1 l2 a a x1 r1 b x1 l1 b x1 r2 b x1 l2 a b x1 b l1 x1 b r2 x1 b l2 x1 b r1 x1 a a x1 x1 2.2 r2 a x1 a a r2 x1 b l1 x1 b r2 x1 r1 a x1 a r1 x1 a l1 x1 a a x1 r1 a x1 a a a r1 x1 r1 a x1 a a r1 x1 r1 a x1 r1 x1 b l1 x1 r2 x1 a l1 x1 a x1 r2 b x1 a b x1 a a l2 x1 a a x1 b l2 x1 r1 x1 r2 a x1 a r2 x1 r2 a x1 a a a r2 x1 a l1 x1 a a a x1 b l2 x1 b r1 x1 r2 a x1 r2 x1 a a l2 x1 a x1 true b l2 x1 b r1 x1 b l1 x1 b r2 x1 true 2 1 a 1 0 1 1 0 1 0 0 b 1 0 0 1 1 1 6213 1 l1 1 0 1 1 0 1 6212 6212 l2 1 0 1 0 0 1 1 6213 r1 1 0 0 r1 1 0 1 1 0 1 6212 6212 r2 1 0 0 a 1 0 0 r2 1 0 1 1 0 1 1 1 b 1 0 0 1 0 1 0 0 a a l2 x1 l2 a a x1 b l2 x1 b r1 x1 r1 a x1 a a a r1 x1 a l1 x1 l1 a a a x1 r1 b x1 l1 b x1 b l1 x1 b r2 x1 a a x1 x1 r2 b x1 l2 a b x1 r2 a x1 a a a r2 x1 b l2 x1 r1 x1 false r1 a x1 r1 x1 true a 1 1 1 b 1 1 1 l1 1 20166 l2 1 20163 r1 1 1 0 r1 1 1 20164 r2 1 0 a 1 0 r2 1 20167 b 1 0 r1 a x1 a a a r1 x1 false r1 a x1 a a r1 x1 false r1 a x1 a r1 x1 false b l1 x1 r2 x1 false r2 a x1 r2 x1 true a 1 1 1 b 1 1 1 l1 1 4 l2 1 1 r1 1 0 r1 1 1 2 r2 1 1 0 a 1 0 r2 1 20167 b 1 0 r2 a x1 a a a r2 x1 false r2 a x1 a r2 x1 false r2 b x1 a b x1 false r2 a x1 a a r2 x1 false a a l2 x1 a x1 a l1 x1 a a a x1 a l1 x1 a a x1 a a l2 x1 a a x1 a l1 x1 a x1 true a 1 1 0 b 1 1 1143 l1 1 1 4 l2 1 1 1 r1 1 0 r1 1 1 3 r2 1 0 a 1 1 0 r2 1 1147 b 1 0 a a l2 x1 l2 a a x1 a l1 x1 l1 a a a x1 a a x1 x1 NaTT certifiable-1.6