/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES active f X mark if X c f true active if true X Y mark X active if false X Y mark Y active f X f active X active if X1 X2 X3 if active X1 X2 X3 active if X1 X2 X3 if X1 active X2 X3 f mark X mark f X if mark X1 X2 X3 mark if X1 X2 X3 if X1 mark X2 X3 mark if X1 X2 X3 proper f X f proper X proper if X1 X2 X3 if proper X1 proper X2 proper X3 proper c ok c proper true ok true proper false ok false f ok X ok f X if ok X1 ok X2 ok X3 ok if X1 X2 X3 top mark X top proper X top ok X top active X 2.2 active if X1 X2 X3 active X2 proper if X1 X2 X3 proper X2 top mark X top proper X proper f X f proper X active if X1 X2 X3 if active X1 X2 X3 top ok X active X active if X1 X2 X3 active X1 top mark X proper X active f X f active X proper if X1 X2 X3 proper X3 proper f X proper X proper if X1 X2 X3 proper X1 top ok X top active X active f X f true f ok X f X active f X active X active f X if X c f true if X1 mark X2 X3 if X1 X2 X3 active if X1 X2 X3 if X1 active X2 X3 f mark X f X if ok X1 ok X2 ok X3 if X1 X2 X3 proper if X1 X2 X3 if proper X1 proper X2 proper X3 if mark X1 X2 X3 if X1 X2 X3 true top mark X top proper X top ok X top active X true top 1 1 proper 1 1 ok 1 1 active 1 1 top 1 0 false 0 4 c 0 3 true 0 2 f 1 5 1 if 3 4 2 1 mark 1 1 1 f 1 0 proper 1 0 if 3 0 2 1 active 1 0 top 1 1 false 0 21656 c 0 0 true 0 0 f 1 1 1 if 3 1 2 3 0 mark 1 1 0 f 1 1 proper 1 1 if 3 1 2 1 active 1 1 top ok X top active X active f X f active X f ok X ok f X if mark X1 X2 X3 mark if X1 X2 X3 active f X mark if X c f true active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 active if X1 X2 X3 if active X1 X2 X3 proper f X f proper X f mark X mark f X proper false ok false proper c ok c proper if X1 X2 X3 if proper X1 proper X2 proper X3 if X1 mark X2 X3 mark if X1 X2 X3 proper true ok true active if X1 X2 X3 if X1 active X2 X3 active if true X Y mark X top ok X top active X true top 1 0 false 0 1 top 1 1 0 c 0 1 true 0 1 f 1 1 0 proper 1 21598 ok 1 1 21597 if 3 3 0 mark 1 0 f 1 0 proper 1 0 active 1 1 21596 if 3 0 active 1 0 active f X f active X f ok X ok f X if mark X1 X2 X3 mark if X1 X2 X3 active f X mark if X c f true active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 active if X1 X2 X3 if active X1 X2 X3 proper f X f proper X f mark X mark f X proper false ok false proper c ok c proper if X1 X2 X3 if proper X1 proper X2 proper X3 if X1 mark X2 X3 mark if X1 X2 X3 proper true ok true active if X1 X2 X3 if X1 active X2 X3 active if true X Y mark X top mark X proper X false top ok X active X false proper if X1 X2 X3 proper X2 proper if X1 X2 X3 proper X1 proper f X proper X proper if X1 X2 X3 proper X3 true top 1 0 false 0 32742 top 1 0 c 0 0 true 0 0 f 1 1 1 proper 1 0 ok 1 1 1 if 3 1 2 3 0 mark 1 0 f 1 0 proper 1 1 0 active 1 1 49509 if 3 0 active 1 0 proper if X1 X2 X3 proper X3 proper if X1 X2 X3 proper X1 proper if X1 X2 X3 proper X2 active f X f active X f ok X ok f X if mark X1 X2 X3 mark if X1 X2 X3 active f X mark if X c f true active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 active if X1 X2 X3 if active X1 X2 X3 f mark X mark f X if X1 mark X2 X3 mark if X1 X2 X3 active if X1 X2 X3 if X1 active X2 X3 active if true X Y mark X proper if X1 X2 X3 proper X3 proper if X1 X2 X3 proper X2 proper if X1 X2 X3 proper X1 true top 1 0 false 0 1 top 1 0 c 0 0 true 0 0 f 1 1 1 proper 1 0 ok 1 1 1 if 3 1 2 3 1 mark 1 0 f 1 0 proper 1 1 0 active 1 1 1 if 3 0 active 1 0 active f X f active X f ok X ok f X if mark X1 X2 X3 mark if X1 X2 X3 active f X mark if X c f true active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 active if X1 X2 X3 if active X1 X2 X3 f mark X mark f X if X1 mark X2 X3 mark if X1 X2 X3 active if X1 X2 X3 if X1 active X2 X3 active if true X Y mark X proper if X1 X2 X3 if proper X1 proper X2 proper X3 false proper f X f proper X false active if X1 X2 X3 active X1 active f X active X active if X1 X2 X3 active X2 true top 1 0 false 0 1 top 1 0 c 0 0 true 0 0 f 1 1 1 proper 1 0 ok 1 1 1 if 3 1 2 3 1 mark 1 0 f 1 0 proper 1 0 active 1 1 56247 if 3 0 active 1 1 0 active f X f active X f ok X ok f X if mark X1 X2 X3 mark if X1 X2 X3 active f X mark if X c f true active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 active if X1 X2 X3 if active X1 X2 X3 f mark X mark f X if X1 mark X2 X3 mark if X1 X2 X3 active if X1 X2 X3 if X1 active X2 X3 active if true X Y mark X active if X1 X2 X3 if X1 active X2 X3 false active if X1 X2 X3 if active X1 X2 X3 false active f X if X c f true false if mark X1 X2 X3 if X1 X2 X3 if ok X1 ok X2 ok X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 true top 1 0 false 0 240 top 1 0 c 0 0 true 0 0 f 1 1 proper 1 0 ok 1 1 1 if 3 1 2 3 1 mark 1 2 f 1 0 proper 1 0 active 1 1 1 if 3 3 0 active 1 0 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 if mark X1 X2 X3 mark if X1 X2 X3 active f X mark if X c f true active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 if X1 mark X2 X3 mark if X1 X2 X3 active if true X Y mark X if mark X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 true top 1 0 false 0 1 top 1 0 c 0 0 true 0 0 f 1 36404 proper 1 0 ok 1 1 1 if 3 1 2 3 1 mark 1 1 1 f 1 0 proper 1 0 active 1 1 2 if 3 2 0 active 1 0 if mark X1 X2 X3 if X1 X2 X3 if mark X1 X2 X3 mark if X1 X2 X3 active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 if X1 mark X2 X3 mark if X1 X2 X3 active if true X Y mark X if mark X1 X2 X3 if X1 X2 X3 true top 1 0 false 0 24324 top 1 0 c 0 0 true 0 0 f 1 1 proper 1 0 ok 1 1 1 if 3 1 2 3 1 mark 1 1 1 f 1 0 proper 1 0 active 1 1 2 if 3 1 0 active 1 0 if mark X1 X2 X3 mark if X1 X2 X3 active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 if X1 mark X2 X3 mark if X1 X2 X3 active if true X Y mark X active f X f true false active f X f active X false f mark X f X f ok X f X true top 1 0 false 0 1 top 1 0 c 0 0 true 0 0 f 1 5969 proper 1 0 ok 1 1 17525 if 3 1 2 3 3578 mark 1 1 1 f 1 1 0 proper 1 0 active 1 1 3579 if 3 0 active 1 0 if mark X1 X2 X3 mark if X1 X2 X3 active if false X Y mark Y if ok X1 ok X2 ok X3 ok if X1 X2 X3 if X1 mark X2 X3 mark if X1 X2 X3 active if true X Y mark X NaTT certifiable-1.6