/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES : : : : C x y z u : : x z : : : x y z u 2.2 : : : : C x y z u : x z : : : : C x y z u : x y : : : : C x y z u : : : x y z u : : : : C x y z u : : x z : : : x y z u : : : : C x y z u : : x y z true : : : : C x y z u : : x y z : : : : C x y z u : : x z : : : x y z u : : : : C x y z u : : : x y z u : : : : C x y z u : x y : : : : C x y z u : x z true : 2 1 28959 2 28958 0 C 0 38 : 2 1 1 2 0 0 : : : : C x y z u : : : x y z u : : : : C x y z u : : x z : : : x y z u : : : : C x y z u : : x z : : : x y z u : : : : C x y z u : : : x y z u : : : : C x y z u : : x z : : : x y z u true : 2 1 1 C 0 0 : 2 2 1 2 : 2 1 0 0 C 0 0 : 2 1 0 2 0 0 : : : : C x y z u : : x z : : : x y z u NaTT certifiable-1.6