/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES a__U11 tt M N a__U12 tt M N a__U12 tt M N s a__plus mark N mark M a__plus N 0 mark N a__plus N s M a__U11 tt M N mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 mark plus X1 X2 a__plus mark X1 mark X2 mark tt tt mark s X s mark X mark 0 0 a__U11 X1 X2 X3 U11 X1 X2 X3 a__U12 X1 X2 X3 U12 X1 X2 X3 a__plus X1 X2 plus X1 X2 2.2 a__U12 tt M N mark N mark s X mark X a__U11 tt M N a__U12 tt M N mark plus X1 X2 mark X2 mark U11 X1 X2 X3 mark X1 a__plus N 0 mark N a__plus N s M a__U11 tt M N mark plus X1 X2 a__plus mark X1 mark X2 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark U12 X1 X2 X3 mark X1 a__U12 tt M N mark M a__U12 tt M N a__plus mark N mark M mark plus X1 X2 mark X1 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 true mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__plus N s M a__U11 tt M N a__plus N 0 mark N mark plus X1 X2 mark X1 a__U12 tt M N a__plus mark N mark M a__U12 tt M N mark M mark U11 X1 X2 X3 mark X1 mark plus X1 X2 mark X2 a__U11 tt M N a__U12 tt M N mark s X mark X mark U12 X1 X2 X3 mark X1 mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark plus X1 X2 a__plus mark X1 mark X2 a__U12 tt M N mark N true a__plus 2 1 2 1324 U11 3 1 2 3 21658 s 1 1 64698 a__U11 3 2 3 3 U12 3 1 2 3 21658 a__U12 3 2 3 3 a__plus 2 1 2 2 mark 1 1 3 0 0 2 mark 1 1 0 a__U11 3 1 2 3 21658 a__U12 3 1 2 3 21658 plus 2 1 2 1324 tt 0 44364 a__U12 tt M N mark N a__U11 tt M N a__U12 tt M N a__U12 tt M N mark M a__plus N s M a__U11 tt M N mark tt tt a__U11 tt M N a__U12 tt M N a__plus N 0 mark N mark U11 X1 X2 X3 a__U11 mark X1 X2 X3 mark 0 0 mark plus X1 X2 a__plus mark X1 mark X2 a__U12 X1 X2 X3 U12 X1 X2 X3 a__U11 X1 X2 X3 U11 X1 X2 X3 mark s X s mark X a__plus X1 X2 plus X1 X2 mark U12 X1 X2 X3 a__U12 mark X1 X2 X3 a__U12 tt M N s a__plus mark N mark M a__U11 tt M N a__U12 tt M N false a__U12 tt M N mark M false a__U12 tt M N mark N false NaTT certifiable-1.6