/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/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 and X1 X2 and active X1 X2 active plus X1 X2 plus active X1 X2 active plus X1 X2 plus X1 active X2 active s X s active X and mark X1 X2 mark and X1 X2 plus mark X1 X2 mark plus X1 X2 plus X1 mark X2 mark plus X1 X2 s mark X mark s X proper and X1 X2 and proper X1 proper X2 proper tt ok tt proper plus X1 X2 plus proper X1 proper X2 proper 0 ok 0 proper s X s proper X and ok X1 ok X2 ok and X1 X2 plus ok X1 ok X2 ok plus X1 X2 s ok X ok s X top mark X top proper X top ok X top active X 2.2 active plus X1 X2 active X2 plus ok X1 ok X2 plus X1 X2 proper and X1 X2 proper X1 active s X s active X proper plus X1 X2 proper X1 top mark X top proper X active plus N s M s plus N M proper s X proper X top mark X proper X active s X active X active plus N s M plus N M top ok X top active X proper and X1 X2 proper X2 proper plus X1 X2 proper X2 proper and X1 X2 and proper X1 proper X2 active and X1 X2 active X1 proper s X s proper X active and X1 X2 and active X1 X2 active plus X1 X2 active X1 s ok X s X and mark X1 X2 and X1 X2 top ok X active X active plus X1 X2 plus active X1 X2 plus mark X1 X2 plus X1 X2 active plus X1 X2 plus X1 active X2 proper plus X1 X2 plus proper X1 proper X2 plus X1 mark X2 plus X1 X2 s mark X s X and ok X1 ok X2 and X1 X2 true top mark X top proper X top ok X top active X true top 1 1 proper 1 1 ok 1 1 s 1 1 active 1 1 s 1 4 1 top 1 0 and 2 5 1 2 plus 2 0 0 0 2 mark 1 4 1 proper 1 0 plus 2 5 1 2 active 1 0 tt 0 3 and 2 0 1 2 s 1 1 0 top 1 0 and 2 1 0 2 0 0 plus 2 0 0 0 0 mark 1 1 0 proper 1 0 plus 2 1 0 2 0 0 active 1 0 tt 0 0 and 2 1 0 2 0 0 top ok X top active X plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M proper s X s proper X s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X proper plus X1 X2 plus proper X1 proper X2 proper and X1 X2 and proper X1 proper X2 s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N top ok X top active X true s 1 1 0 top 1 0 and 2 1 0 plus 2 0 top 1 1 0 proper 1 593 ok 1 1 2 0 0 591 s 1 0 mark 1 0 proper 1 0 plus 2 2 0 active 1 1 1 active 1 0 tt 0 1 and 2 0 plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M proper s X s proper X s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X proper plus X1 X2 plus proper X1 proper X2 proper and X1 X2 and proper X1 proper X2 s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N top mark X proper X false proper s X proper X proper plus X1 X2 proper X1 proper and X1 X2 proper X1 proper plus X1 X2 proper X2 proper and X1 X2 proper X2 true s 1 1 1 top 1 0 and 2 1 2 1 plus 2 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 s 1 0 mark 1 12457 proper 1 1 0 plus 2 1 2 1 active 1 1 36229 active 1 0 tt 0 1 and 2 0 plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N proper and X1 X2 and proper X1 proper X2 false proper plus X1 X2 plus proper X1 proper X2 false proper s X s proper X false top ok X active X false active s X active X active plus X1 X2 active X1 active and X1 X2 active X1 active plus X1 X2 active X2 true s 1 1 1 top 1 0 and 2 1 2 1 plus 2 0 top 1 0 proper 1 47422 ok 1 1 47421 0 0 1 s 1 0 mark 1 1 proper 1 0 plus 2 1 2 6879 active 1 1 59821 active 1 1 0 tt 0 1 and 2 0 plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N active plus X1 X2 plus X1 active X2 false active s X s active X false active plus X1 X2 plus active X1 X2 false active plus N s M s plus N M false s mark X s X s ok X s X true s 1 1 1 top 1 0 and 2 1 2 37894 plus 2 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 s 1 1 0 mark 1 1 1 proper 1 0 plus 2 1 2 0 active 1 1 1 active 1 0 tt 0 1 and 2 0 plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N active plus N s M plus N M false plus X1 mark X2 plus X1 X2 plus mark X1 X2 plus X1 X2 plus ok X1 ok X2 plus X1 X2 true s 1 1 1 top 1 0 and 2 1 2 23217 plus 2 2 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 s 1 0 mark 1 1 1 proper 1 0 plus 2 1 2 0 active 1 1 41065 active 1 0 tt 0 1 and 2 0 plus mark X1 X2 plus X1 X2 plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N plus mark X1 X2 plus X1 X2 true s 1 1 1 top 1 0 and 2 1 2 1 plus 2 1 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 s 1 0 mark 1 1 1 proper 1 0 plus 2 1 2 0 active 1 1 1 active 1 0 tt 0 1 and 2 0 plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N active and X1 X2 and active X1 X2 false and ok X1 ok X2 and X1 X2 and mark X1 X2 and X1 X2 true s 1 1 1 top 1 0 and 2 1 2 1 plus 2 0 top 1 0 proper 1 2 ok 1 1 1 0 0 1 s 1 0 mark 1 1 1 proper 1 0 plus 2 1 2 0 active 1 1 56247 active 1 0 tt 0 1 and 2 1 0 plus ok X1 ok X2 ok plus X1 X2 active and X1 X2 and active X1 X2 proper 0 ok 0 and mark X1 X2 mark and X1 X2 active and tt X mark X active plus N s M mark s plus N M s ok X ok s X and ok X1 ok X2 ok and X1 X2 active plus X1 X2 plus active X1 X2 plus X1 mark X2 mark plus X1 X2 active s X s active X s mark X mark s X plus mark X1 X2 mark plus X1 X2 proper tt ok tt active plus X1 X2 plus X1 active X2 active plus N 0 mark N NaTT certifiable-1.6