/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__and tt X mark X a__plus N 0 mark N a__plus N s M s a__plus mark N mark M mark and X1 X2 a__and mark X1 X2 mark plus X1 X2 a__plus mark X1 mark X2 mark tt tt mark 0 0 mark s X s mark X a__and X1 X2 and X1 X2 a__plus X1 X2 plus X1 X2 2.2 mark plus X1 X2 a__plus mark X1 mark X2 a__plus N s M mark N mark s X mark X mark and X1 X2 mark X1 a__plus N s M mark M mark and X1 X2 a__and mark X1 X2 a__plus N s M a__plus mark N mark M mark plus X1 X2 mark X1 a__plus N 0 mark N a__and tt X mark X mark plus X1 X2 mark X2 true mark plus X1 X2 mark X2 a__and tt X mark X a__plus N 0 mark N mark plus X1 X2 mark X1 mark and X1 X2 mark X1 mark s X mark X a__plus N s M mark N a__plus N s M a__plus mark N mark M mark and X1 X2 a__and mark X1 X2 a__plus N s M mark M mark plus X1 X2 a__plus mark X1 mark X2 true a__plus 2 1 2 1 s 1 1 1 and 2 1 2 1 a__plus 2 1 2 0 mark 1 1 0 0 0 8366 a__and 2 1 2 0 mark 1 1 0 plus 2 1 2 1 tt 0 1 a__and 2 1 2 1 mark and X1 X2 a__and mark X1 X2 mark s X s mark X a__and tt X mark X a__plus N s M s a__plus mark N mark M mark plus X1 X2 a__plus mark X1 mark X2 a__plus X1 X2 plus X1 X2 mark 0 0 a__and X1 X2 and X1 X2 mark tt tt a__plus N 0 mark N NaTT certifiable-1.6