/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES * x 1 x * 1 y y * i x x 1 * x i x 1 * x * y z * * x y z i 1 1 * * x y i y x * * x i y y x i i x x i * x y * i y i x k x 1 1 k x x 1 * k x y k y x 1 * * i x k y z x k * * i x y x * * i x z x k * x i y * y i x 1 2.2 * * i x k y z x * * i x y x i * x y * i y i x * x * y z * * x y z i * x y i y * x * y z * x y * * i x k y z x * i x z * * i x k y z x * i x y * * i x k y z x k * * i x y x * * i x z x i * x y i x * * i x k y z x * * i x z x true i * x y i x i * x y i y true 1 0 0 k 2 0 * 2 0 k 2 0 i 1 0 * 2 1 2 1 i 1 1 0 i * x y * i y i x false * * i x k y z x * * i x z x * * i x k y z x * i x y * x * y z * * x y z * * i x k y z x * i x z * x * y z * x y * * i x k y z x * * i x y x true 1 0 0 k 2 0 2 1 * 2 1 2 1 k 2 0 2 1 i 1 2 1 * 2 1 2 1 i 1 0 1 0 0 k 2 1 0 2 0 0 * 2 1 0 2 0 0 k 2 1 0 2 0 0 i 1 1 0 * 2 1 0 2 0 0 i 1 0 * * i x k y z x * * i x z x * x i x 1 k * x i y * y i x 1 * * x i y y x * x 1 x * i x x 1 * x * y z * * x y z i * x y * i y i x * * x y i y x * * i x k y z x k * * i x y x * * i x z x k x x 1 k x 1 1 i i x x * k x y k y x 1 i 1 1 * 1 y y * * i x k y z x * * i x z x true 1 0 1 k 2 2 2438 * 2 1 0 k 2 0 i 1 1 0 * 2 1 2 20653 i 1 0 * x i x 1 k * x i y * y i x 1 * * x i y y x * x 1 x * i x x 1 * x * y z * * x y z i * x y * i y i x * * x y i y x * * i x k y z x k * * i x y x * * i x z x k x x 1 k x 1 1 i i x x * k x y k y x 1 i 1 1 * 1 y y * * i x k y z x k * * i x y x * * i x z x false NaTT certifiable-1.6