/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE r r x1 s r x1 r s x1 s r x1 r n x1 s r x1 r b x1 u s b x1 r u x1 u r x1 s u x1 u s x1 n u x1 u n x1 t r u x1 t c r x1 t s u x1 t c r x1 t n u x1 t c r x1 c u x1 u c x1 c s x1 s c x1 c r x1 r c x1 c n x1 n c x1 c n x1 n x1 2.2 r s x1 r x1 t s u x1 t c r x1 c n x1 c x1 c u x1 c x1 c s x1 c x1 t r u x1 r x1 t r u x1 c r x1 c n x1 n c x1 n u x1 n x1 r b x1 s b x1 r n x1 r x1 t s u x1 c r x1 c s x1 s c x1 c r x1 c x1 t r u x1 t c r x1 t n u x1 r x1 r n x1 s r x1 r r x1 s r x1 t n u x1 c r x1 s u x1 s x1 r s x1 s r x1 t s u x1 r x1 t n u x1 t c r x1 c r x1 r c x1 r u x1 r x1 true t n u x1 t c r x1 t s u x1 t c r x1 t r u x1 t c r x1 true s 1 1 1 n 1 1 2 b 1 41063 u 1 1 1 r 1 1 2 t 1 0 c 1 1 0 s 1 0 r 1 0 c 1 0 t 1 1 0 n 1 0 t s u x1 t c r x1 r b x1 u s b x1 c n x1 n x1 r r x1 s r x1 r n x1 s r x1 r u x1 u r x1 n u x1 u n x1 c n x1 n c x1 c s x1 s c x1 c u x1 u c x1 c r x1 r c x1 s u x1 u s x1 r s x1 s r x1 t s u x1 t c r x1 true Failed! NaTT certifiable-1.6