/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active and tt X mark X active plus N 0 mark N active plus N s M mark s plus N M active x N 0 mark 0 active x N s M mark plus x N M N mark and X1 X2 active and mark X1 X2 mark tt active tt mark plus X1 X2 active plus mark X1 mark X2 mark 0 active 0 mark s X active s mark X mark x X1 X2 active x mark X1 mark X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 plus mark X1 X2 plus X1 X2 plus X1 mark X2 plus X1 X2 plus active X1 X2 plus X1 X2 plus X1 active X2 plus X1 X2 s mark X s X s active X s X x mark X1 X2 x X1 X2 x X1 mark X2 x X1 X2 x active X1 X2 x X1 X2 x X1 active X2 x X1 X2 2.2 mark and X1 X2 active and mark X1 X2 active plus N s M mark s plus N M mark plus X1 X2 mark X1 and X1 active X2 and X1 X2 active x N 0 mark 0 mark 0 active 0 and mark X1 X2 and X1 X2 mark x X1 X2 mark X1 x active X1 X2 x X1 X2 x mark X1 X2 x X1 X2 active x N s M x N M x X1 mark X2 x X1 X2 active plus N s M plus N M and active X1 X2 and X1 X2 active plus N s M s plus N M plus X1 mark X2 plus X1 X2 mark s X mark X mark x X1 X2 active x mark X1 mark X2 plus active X1 X2 plus X1 X2 mark x X1 X2 mark X2 mark plus X1 X2 active plus mark X1 mark X2 and X1 mark X2 and X1 X2 plus mark X1 X2 plus X1 X2 active x N s M plus x N M N mark plus X1 X2 plus mark X1 mark X2 s active X s X mark tt active tt active and tt X mark X mark s X s mark X plus X1 active X2 plus X1 X2 mark plus X1 X2 mark X2 active x N s M mark plus x N M N s mark X s X mark and X1 X2 and mark X1 X2 active plus N 0 mark N mark x X1 X2 x mark X1 mark X2 x X1 active X2 x X1 X2 mark and X1 X2 mark X1 mark s X active s mark X true mark s X active s mark X mark and X1 X2 mark X1 active plus N 0 mark N active x N s M mark plus x N M N mark plus X1 X2 mark X2 mark x X1 X2 mark X1 active and tt X mark X mark plus X1 X2 active plus mark X1 mark X2 mark x X1 X2 mark X2 mark x X1 X2 active x mark X1 mark X2 mark plus X1 X2 mark X1 active plus N s M mark s plus N M mark and X1 X2 active and mark X1 X2 mark s X mark X true s 1 39 and 2 40 plus 2 0 x 2 40 mark 1 40 0 0 1 x 2 0 s 1 0 mark 1 1 plus 2 40 active 1 1 active 1 1 0 tt 0 1 and 2 0 mark s X mark X mark and X1 X2 active and mark X1 X2 active plus N s M mark s plus N M mark plus X1 X2 mark X1 mark x X1 X2 active x mark X1 mark X2 mark x X1 X2 mark X2 mark plus X1 X2 active plus mark X1 mark X2 active and tt X mark X mark x X1 X2 mark X1 mark plus X1 X2 mark X2 active x N s M mark plus x N M N active plus N 0 mark N mark and X1 X2 mark X1 plus active X1 X2 plus X1 X2 active x N 0 mark 0 and X1 active X2 and X1 X2 mark plus X1 X2 active plus mark X1 mark X2 active and tt X mark X active plus N s M mark s plus N M plus mark X1 X2 plus X1 X2 s active X s X plus X1 active X2 plus X1 X2 plus X1 mark X2 plus X1 X2 x mark X1 X2 x X1 X2 active x N s M mark plus x N M N mark s X active s mark X mark tt active tt s mark X s X x X1 active X2 x X1 X2 and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 x X1 mark X2 x X1 X2 x active X1 X2 x X1 X2 mark x X1 X2 active x mark X1 mark X2 mark 0 active 0 and X1 mark X2 and X1 X2 mark and X1 X2 active and mark X1 X2 active plus N 0 mark N mark plus X1 X2 mark X2 mark plus X1 X2 mark X1 mark plus X1 X2 active plus mark X1 mark X2 active and tt X mark X active plus N s M mark s plus N M active x N s M mark plus x N M N mark s X mark X mark x X1 X2 mark X2 mark x X1 X2 mark X1 mark x X1 X2 active x mark X1 mark X2 mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active plus N 0 mark N true s 1 1 0 and 2 1 14681 2 40967 0 plus 2 0 x 2 1 36460 2 36459 0 mark 1 1 0 0 0 36461 x 2 0 s 1 0 mark 1 1 0 plus 2 1 0 2 36460 0 active 1 1 0 active 1 1 0 tt 0 11943 and 2 0 active plus N 0 mark N mark and X1 X2 active and mark X1 X2 mark x X1 X2 active x mark X1 mark X2 mark s X mark X active x N s M mark plus x N M N active plus N s M mark s plus N M mark plus X1 X2 active plus mark X1 mark X2 mark plus X1 X2 mark X1 plus active X1 X2 plus X1 X2 active x N 0 mark 0 and X1 active X2 and X1 X2 mark plus X1 X2 active plus mark X1 mark X2 active and tt X mark X active plus N s M mark s plus N M plus mark X1 X2 plus X1 X2 s active X s X plus X1 active X2 plus X1 X2 plus X1 mark X2 plus X1 X2 x mark X1 X2 x X1 X2 active x N s M mark plus x N M N mark s X active s mark X mark tt active tt s mark X s X x X1 active X2 x X1 X2 and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 x X1 mark X2 x X1 X2 x active X1 X2 x X1 X2 mark x X1 X2 active x mark X1 mark X2 mark 0 active 0 and X1 mark X2 and X1 X2 mark and X1 X2 active and mark X1 X2 active plus N 0 mark N mark plus X1 X2 mark X1 mark plus X1 X2 active plus mark X1 mark X2 active plus N s M mark s plus N M active x N s M mark plus x N M N mark s X mark X mark x X1 X2 active x mark X1 mark X2 mark and X1 X2 active and mark X1 X2 active plus N 0 mark N true s 1 14682 and 2 14682 plus 2 0 x 2 17680 mark 1 17680 0 0 0 x 2 0 s 1 0 mark 1 14681 plus 2 17680 active 1 1 0 active 1 1 0 tt 0 0 and 2 0 active plus N 0 mark N mark x X1 X2 active x mark X1 mark X2 mark s X mark X active x N s M mark plus x N M N active plus N s M mark s plus N M mark plus X1 X2 active plus mark X1 mark X2 mark plus X1 X2 mark X1 plus active X1 X2 plus X1 X2 and X1 active X2 and X1 X2 plus mark X1 X2 plus X1 X2 s active X s X plus X1 active X2 plus X1 X2 plus X1 mark X2 plus X1 X2 x mark X1 X2 x X1 X2 s mark X s X x X1 active X2 x X1 X2 and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 x X1 mark X2 x X1 X2 x active X1 X2 x X1 X2 and X1 mark X2 and X1 X2 mark plus X1 X2 mark X1 mark plus X1 X2 active plus mark X1 mark X2 active plus N s M mark s plus N M active x N s M mark plus x N M N mark s X mark X mark x X1 X2 active x mark X1 mark X2 active plus N 0 mark N true and 2 2 mark 1 1 active 1 1 and 2 2 s 1 0 1 plus 2 0 x 2 4 2 1 mark 1 2 1 0 0 1 x 2 0 s 1 0 plus 2 3 2 1 active 1 1 1 tt 0 5 s 1 1 0 plus 2 0 x 2 1 0 2 0 0 mark 1 1 0 0 0 0 x 2 0 s 1 0 plus 2 1 0 2 0 0 active 1 1 0 tt 0 0 plus active X1 X2 plus X1 X2 active x N 0 mark 0 and X1 active X2 and X1 X2 mark plus X1 X2 active plus mark X1 mark X2 active and tt X mark X active plus N s M mark s plus N M plus mark X1 X2 plus X1 X2 s active X s X plus X1 active X2 plus X1 X2 plus X1 mark X2 plus X1 X2 x mark X1 X2 x X1 X2 active x N s M mark plus x N M N mark s X active s mark X mark tt active tt s mark X s X x X1 active X2 x X1 X2 and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 x X1 mark X2 x X1 X2 x active X1 X2 x X1 X2 mark x X1 X2 active x mark X1 mark X2 mark 0 active 0 and X1 mark X2 and X1 X2 mark and X1 X2 active and mark X1 X2 active plus N 0 mark N mark and X1 X2 and mark X1 X2 false and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and X1 active X2 and X1 X2 true s 1 1 20586 and 2 1 plus 2 0 x 2 2 40436 mark 1 0 0 0 17888 x 2 0 s 1 0 mark 1 1 1 plus 2 1 20588 active 1 1 2 active 1 0 tt 0 31598 and 2 1 0 and X1 active X2 and X1 X2 and X1 mark X2 and X1 X2 and X1 active X2 and X1 X2 and X1 mark X2 and X1 X2 true s 1 1 19266 and 2 9508 plus 2 0 x 2 2 38525 mark 1 0 0 0 38578 x 2 0 s 1 0 mark 1 1 1 plus 2 1 38532 active 1 1 19266 active 1 0 tt 0 34444 and 2 2 0 active x N s M plus x N M N false active x N s M x N M false mark x X1 X2 x mark X1 mark X2 false x X1 active X2 x X1 X2 x X1 mark X2 x X1 X2 x mark X1 X2 x X1 X2 x active X1 X2 x X1 X2 true s 1 1 15262 and 2 9508 plus 2 0 x 2 2 15943 mark 1 0 0 0 4684 x 2 1 0 s 1 0 mark 1 1 1 plus 2 1 31967 active 1 1 2 active 1 0 tt 0 1 and 2 0 x X1 mark X2 x X1 X2 x X1 active X2 x X1 X2 x X1 active X2 x X1 X2 x X1 mark X2 x X1 X2 true s 1 1 44199 and 2 2805 plus 2 0 x 2 2 33840 mark 1 0 0 0 1 x 2 2 0 s 1 0 mark 1 1 240 plus 2 1 44201 active 1 1 241 active 1 0 tt 0 7210 and 2 0 mark tt active tt false active plus N s M s plus N M false active plus N s M plus N M false mark s X s mark X false s mark X s X s active X s X true s 1 1 2 and 2 41347 plus 2 0 x 2 2 39090 mark 1 0 0 0 35873 x 2 0 s 1 1 0 mark 1 1 240 plus 2 1 12704 active 1 1 241 active 1 0 tt 0 55573 and 2 0 active x N 0 mark 0 false mark 0 active 0 false mark plus X1 X2 plus mark X1 mark X2 false plus X1 mark X2 plus X1 X2 plus X1 active X2 plus X1 X2 plus mark X1 X2 plus X1 X2 plus active X1 X2 plus X1 X2 true s 1 1 29274 and 2 14459 plus 2 1 2 0 x 2 2 44055 mark 1 0 0 0 3578 x 2 0 s 1 0 mark 1 1 15047 plus 2 1 29276 active 1 1 15048 active 1 0 tt 0 25532 and 2 0 NaTT certifiable-1.6