/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE * 0 x 0 * 1 x x * 2 2 . 1 0 * 3 x . x * min x * min min 1 * 2 min . min 2 * . x y z . * x z * y z * + y z x + * x y * x z + 0 x x + x x * 2 x + 1 2 3 + 1 min 0 + 2 min 1 + 3 x . 1 + min x + . x y z . x + y z + * 2 x x * 3 x + * min x x 0 + * 2 v * min v v . min 3 min . x min . + min x 3 . 0 x x . x . y z . + x y z 2.2 + 3 x . 1 + min x * . x y z . * x z * y z * 2 2 . 1 0 + x x * 2 x . x . y z + x y + * 2 x x * 3 x * + y z x + * x y * x z * 3 x * min x * . x y z * x z . x . y z . + x y z . x min + min x + . x y z . x + y z * 3 x . x * min x * + y z x * x z + 3 x + min x * 2 min . min 2 * . x y z * y z * + y z x * x y . x min . + min x 3 + . x y z + y z true * + y z x * x y * . x y z * y z * + y z x * x z * . x y z * x z true 1 0 0 . 2 0 3 0 0 * 2 1 2 0 0 0 0 . 2 1 2 1 min 0 0 2 0 0 + 2 1 2 1 + 2 0 * 2 0 * . x y z . * x z * y z false * + y z x + * x y * x z false + . x y z + y z + * 2 x x * 3 x . x . y z + x y * 3 x . x * min x + . x y z . x + y z . x . y z . + x y z + 3 x . 1 + min x true Failed! NaTT certifiable-1.6