/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 a__x N 0 0 a__x N s M a__plus a__x mark N mark M mark N mark and X1 X2 a__and mark X1 X2 mark plus X1 X2 a__plus mark X1 mark X2 mark x X1 X2 a__x 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 a__x X1 X2 x X1 X2 2.2 mark and X1 X2 a__and mark X1 X2 mark plus X1 X2 mark X1 a__plus N s M a__plus mark N mark M a__x N s M a__x mark N mark M a__x N s M mark M a__x N s M mark N a__plus N s M mark N mark plus X1 X2 mark X2 a__x N s M mark N mark plus X1 X2 a__plus mark X1 mark X2 mark x X1 X2 a__x mark X1 mark X2 mark x X1 X2 mark X2 a__and tt X mark X mark and X1 X2 mark X1 a__plus N 0 mark N a__x N s M a__plus a__x mark N mark M mark N a__plus N s M mark M mark s X mark X mark x X1 X2 mark X1 true mark x X1 X2 mark X1 mark s X mark X a__plus N s M mark N a__plus N s M mark M a__x N s M mark N a__x N s M a__plus a__x mark N mark M mark N a__plus N 0 mark N mark and X1 X2 mark X1 a__and tt X mark X a__x N s M mark M a__x N s M a__x mark N mark M a__plus N s M a__plus mark N mark M mark x X1 X2 mark X2 mark x X1 X2 a__x mark X1 mark X2 mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 a__x N s M mark N mark plus X1 X2 mark X2 mark and X1 X2 a__and mark X1 X2 true a__plus 2 1 0 2 591 0 s 1 1 0 and 2 1 16911 2 2 0 a__x 2 1 15655 2 15064 0 a__x 2 1 591 2 0 0 x 2 1 591 2 0 0 a__plus 2 1 15064 2 15655 0 mark 1 1 15064 0 0 553 a__and 2 1 15067 2 15065 0 mark 1 1 0 plus 2 1 0 2 591 0 tt 0 42199 a__and 2 1 16911 2 2 0 mark plus X1 X2 a__plus mark X1 mark X2 mark plus X1 X2 mark X1 mark x X1 X2 a__x mark X1 mark X2 mark x X1 X2 mark X2 a__plus N s M a__plus mark N mark M a__x N s M a__x mark N mark M a__x N s M mark M a__plus N 0 mark N a__x N s M a__plus a__x mark N mark M mark N a__plus N s M mark N mark s X mark X a__x N 0 0 mark x X1 X2 a__x mark X1 mark X2 a__and tt X mark X a__plus N s M s a__plus mark N mark M a__x N s M a__plus a__x mark N mark M mark N mark 0 0 mark plus X1 X2 a__plus mark X1 mark X2 a__x X1 X2 x X1 X2 a__and X1 X2 and X1 X2 mark s X s mark X mark tt tt a__plus X1 X2 plus X1 X2 mark and X1 X2 a__and mark X1 X2 a__plus N 0 mark N mark x X1 X2 mark X2 mark x X1 X2 a__x mark X1 mark X2 a__plus N s M mark N a__plus N s M a__plus mark N mark M a__x N s M mark M a__x N s M a__x mark N mark M a__x N s M a__plus a__x mark N mark M mark N mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark s X mark X a__plus N 0 mark N true a__plus 2 1 0 s 1 1 0 and 2 2 1 a__x 2 2 3 a__x 2 2 1 x 2 2 1 a__plus 2 1 2 mark 1 1 2 0 0 1 a__and 2 2 mark 1 1 0 plus 2 1 0 tt 0 25074 a__and 2 2 1 a__plus N 0 mark N mark s X mark X mark plus X1 X2 a__plus mark X1 mark X2 mark plus X1 X2 mark X1 a__x N s M a__plus a__x mark N mark M mark N a__x N s M a__x mark N mark M a__plus N s M a__plus mark N mark M a__plus N s M mark N mark x X1 X2 a__x mark X1 mark X2 a__x N 0 0 mark x X1 X2 a__x mark X1 mark X2 a__and tt X mark X a__plus N s M s a__plus mark N mark M a__x N s M a__plus a__x mark N mark M mark N mark 0 0 mark plus X1 X2 a__plus mark X1 mark X2 a__x X1 X2 x X1 X2 a__and X1 X2 and X1 X2 mark s X s mark X mark tt tt a__plus X1 X2 plus X1 X2 mark and X1 X2 a__and mark X1 X2 a__plus N 0 mark N mark x X1 X2 a__x mark X1 mark X2 a__plus N s M mark N a__plus N s M a__plus mark N mark M a__x N s M a__x mark N mark M a__x N s M a__plus a__x mark N mark M mark N mark plus X1 X2 mark X1 mark plus X1 X2 a__plus mark X1 mark X2 mark s X mark X a__plus N 0 mark N true and 2 2 mark 1 1 a__and 2 2 a__plus 2 1 1 2 s 1 0 1 a__x 2 2 1 2 a__x 2 2 1 2 x 2 2 1 2 a__plus 2 1 1 2 mark 1 1 1 0 0 3 a__and 2 0 1 2 plus 2 1 1 2 tt 0 4 a__plus 2 1 0 2 0 0 s 1 1 0 a__x 2 1 0 2 0 0 a__x 2 1 0 2 0 0 x 2 1 0 2 0 0 a__plus 2 1 0 2 0 0 mark 1 1 0 0 0 0 a__and 2 1 0 2 0 0 plus 2 1 0 2 0 0 tt 0 0 a__x N 0 0 mark x X1 X2 a__x mark X1 mark X2 a__and tt X mark X a__plus N s M s a__plus mark N mark M a__x N s M a__plus a__x mark N mark M mark N mark 0 0 mark plus X1 X2 a__plus mark X1 mark X2 a__x X1 X2 x X1 X2 a__and X1 X2 and X1 X2 mark s X s mark X mark tt tt a__plus X1 X2 plus X1 X2 mark and X1 X2 a__and mark X1 X2 a__plus N 0 mark N NaTT certifiable-1.6