/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a h h h x s x a l x s y h a l x y s h a l x s y s z a l x y a l x s y z a l s x h z a l x z z a s l h h z a l z h z + x h x + h x x + s x s y s s + x y + + x y z + x + y z s h 1 * h x h * x h h * s x s y s + + * x y x y 2.2 a l x s y h s h * s x s y * x y + s x s y s s + x y a s l h h z a l z h z a l x s y s z a l x s y z a h h h x s x + s x s y s + x y + + x y z + x + y z a l x s y s z a l x y a l x s y z * s x s y + * x y x a l s x h z a l x z z * s x s y s + + * x y x y a l x s y h a l x y s h + + x y z + y z + s x s y + x y * s x s y + + * x y x y true * s x s y * x y true a 4 0 h 0 0 1 0 0 s 1 1 1 * 2 1 2 0 s 1 0 a 4 0 + 2 0 + 2 0 * 2 0 * s x s y s + + * x y x y false * s x s y + + * x y x y false * s x s y + * x y x false a l x s y h a l x y s h a l s x h z a l x z z a l x s y s z a l x s y z a s l h h z a l z h z a l x s y s z a l x y a l x s y z true a 4 1 h 0 1 1 0 4 s 1 1 2 * 2 0 s 1 0 a 4 1 0 + 2 0 + 2 0 * 2 0 a l x s y s z a l x y a l x s y z a l x s y s z a l x s y z a l s x h z a l x z z a l x s y h a l x y s h a l s x h z a l x z z a l x s y s z a l x s y z a l x s y s z a l x y a l x s y z a l x s y h a l x y s h true a 4 1 h 0 1 1 0 4 s 1 1 2 * 2 0 s 1 0 a 4 2 0 + 2 0 + 2 0 * 2 0 a l x s y h a l x y s h a l x s y s z a l x y a l x s y z a l x s y s z a l x s y z a l x s y s z a l x s y z a l x s y s z a l x y a l x s y z a l x s y h a l x y s h true a 4 1 h 0 1 1 0 3 s 1 1 2 * 2 0 s 1 0 a 4 3 0 + 2 0 + 2 0 * 2 0 a l x s y s z a l x s y z s h 1 a l x s y s z a l x s y z true a 4 0 h 0 1 1 0 3 s 1 1 1 * 2 0 s 1 0 a 4 4 7720 0 + 2 0 + 2 0 * 2 0 a h h h x s x false + s x s y + x y + + x y z + y z + + x y z + x + y z true a 4 1 2 3 4 52869 h 0 1 1 0 52869 s 1 1 52868 * 2 0 s 1 0 a 4 3 0 + 2 1 2 1 + 2 1 2 0 * 2 0 + + x y z + x + y z + s x s y s s + x y s h 1 + h x x + + x y z + x + y z + x h x + + x y z + x + y z true a 4 1 2 3 4 2 h 0 1 1 0 2 s 1 1 1 * 2 0 s 1 0 a 4 3 0 + 2 1 2 1 + 2 1 0 * 2 0 + s x s y s s + x y s h 1 + h x x + + x y z + x + y z + x h x + s x s y s s + x y false + s x s y s + x y false a l x s y h s h false NaTT certifiable-1.6