/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES active __ __ X Y Z mark __ X __ Y Z active __ X nil mark X active __ nil X mark X active U11 tt mark U12 tt active U12 tt mark tt active isNePal __ I __ P I mark U11 tt active __ X1 X2 __ active X1 X2 active __ X1 X2 __ X1 active X2 active U11 X U11 active X active U12 X U12 active X active isNePal X isNePal active X __ mark X1 X2 mark __ X1 X2 __ X1 mark X2 mark __ X1 X2 U11 mark X mark U11 X U12 mark X mark U12 X isNePal mark X mark isNePal X proper __ X1 X2 __ proper X1 proper X2 proper nil ok nil proper U11 X U11 proper X proper tt ok tt proper U12 X U12 proper X proper isNePal X isNePal proper X __ ok X1 ok X2 ok __ X1 X2 U11 ok X ok U11 X U12 ok X ok U12 X isNePal ok X ok isNePal X top mark X top proper X top ok X top active X 2.2 __ X1 mark X2 __ X1 X2 proper U12 X proper X U12 mark X U12 X active isNePal X active X active __ X1 X2 active X1 __ mark X1 X2 __ X1 X2 U12 ok X U12 X proper __ X1 X2 proper X2 proper __ X1 X2 proper X1 active __ X1 X2 __ active X1 X2 active __ __ X Y Z __ X __ Y Z active U12 X U12 active X isNePal mark X isNePal X proper U11 X U11 proper X top mark X top proper X U11 ok X U11 X U11 mark X U11 X active __ X1 X2 __ X1 active X2 active isNePal X isNePal active X proper U12 X U12 proper X proper __ X1 X2 __ proper X1 proper X2 active __ X1 X2 active X2 isNePal ok X isNePal X top ok X active X active __ __ X Y Z __ Y Z proper isNePal X proper X proper U11 X proper X active U11 tt U12 tt top mark X proper X top ok X top active X active U11 X U11 active X active isNePal __ I __ P I U11 tt __ ok X1 ok X2 __ X1 X2 active U12 X active X active U11 X active X proper isNePal X isNePal proper X true top ok X top active X top mark X top proper X true top 1 1 __ 2 1 isNePal 1 1 U12 1 1 proper 1 1 ok 1 1 active 1 1 U11 1 2 1 top 1 0 U12 1 1 1 isNePal 1 0 nil 0 0 mark 1 1 1 proper 1 0 U11 1 0 active 1 0 tt 0 3 __ 2 5 1 2 U11 1 1 0 top 1 0 U12 1 1 0 isNePal 1 0 nil 0 0 mark 1 1 0 proper 1 0 U11 1 0 active 1 0 tt 0 0 __ 2 1 0 2 0 0 top ok X top active X proper nil ok nil active U11 tt mark U12 tt U12 mark X mark U12 X active __ X1 X2 __ X1 active X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal mark X mark isNePal X proper U12 X U12 proper X isNePal ok X ok isNePal X proper U11 X U11 proper X proper __ X1 X2 __ proper X1 proper X2 proper isNePal X isNePal proper X active U12 tt mark tt active U12 X U12 active X active __ X1 X2 __ active X1 X2 proper tt ok tt U12 ok X ok U12 X U11 mark X mark U11 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 U11 ok X ok U11 X active isNePal X isNePal active X active U11 X U11 active X __ X1 mark X2 mark __ X1 X2 active isNePal __ I __ P I mark U11 tt active __ X nil mark X top ok X top active X true U11 1 1 0 top 1 0 top 1 1 0 __ 2 0 isNePal 1 1 0 U12 1 1 0 U12 1 0 proper 1 48699 ok 1 1 30802 isNePal 1 0 nil 0 15261 mark 1 0 proper 1 0 U11 1 0 active 1 1 30801 active 1 0 tt 0 17897 __ 2 2 0 proper nil ok nil active U11 tt mark U12 tt U12 mark X mark U12 X active __ X1 X2 __ X1 active X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal mark X mark isNePal X proper U12 X U12 proper X isNePal ok X ok isNePal X proper U11 X U11 proper X proper __ X1 X2 __ proper X1 proper X2 proper isNePal X isNePal proper X active U12 tt mark tt active U12 X U12 active X active __ X1 X2 __ active X1 X2 proper tt ok tt U12 ok X ok U12 X U11 mark X mark U11 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 U11 ok X ok U11 X active isNePal X isNePal active X active U11 X U11 active X __ X1 mark X2 mark __ X1 X2 active isNePal __ I __ P I mark U11 tt active __ X nil mark X top ok X active X false active U11 X active X active U12 X active X active __ X1 X2 active X1 active isNePal X active X active __ X1 X2 active X2 true U11 1 1 1 top 1 0 top 1 0 __ 2 0 isNePal 1 1 1 U12 1 1 1 U12 1 0 proper 1 899 ok 1 1 24198 isNePal 1 0 nil 0 28938 mark 1 1 19045 proper 1 0 U11 1 0 active 1 19044 active 1 1 0 tt 0 1 __ 2 1 2 1 U12 mark X mark U12 X U12 ok X ok U12 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal __ I __ P I U11 tt false active U11 X U11 active X false active isNePal X isNePal active X false active __ X1 X2 __ active X1 X2 false active U12 X U12 active X false active __ __ X Y Z __ X __ Y Z false active __ __ X Y Z __ Y Z false active __ X1 X2 __ X1 active X2 false active U11 tt U12 tt false top mark X proper X false proper __ X1 X2 proper X1 proper __ X1 X2 proper X2 proper U11 X proper X proper isNePal X proper X proper U12 X proper X true U11 1 1 1 top 1 0 top 1 0 __ 2 0 isNePal 1 1 1 U12 1 1 1 U12 1 0 proper 1 1 ok 1 1 1 isNePal 1 0 nil 0 1 mark 1 1 2 proper 1 1 0 U11 1 0 active 1 1 active 1 0 tt 0 1 __ 2 1 2 1 U12 mark X mark U12 X U12 ok X ok U12 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 __ X1 mark X2 mark __ X1 X2 proper isNePal X isNePal proper X false isNePal mark X isNePal X isNePal ok X isNePal X true U11 1 1 15620 top 1 0 top 1 0 __ 2 0 isNePal 1 1 24168 U12 1 1 1 U12 1 0 proper 1 1 ok 1 1 12237 isNePal 1 1 0 nil 0 54886 mark 1 1 2 proper 1 0 U11 1 0 active 1 1 active 1 0 tt 0 1 __ 2 1 2 1 U12 mark X mark U12 X U12 ok X ok U12 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 __ X1 mark X2 mark __ X1 X2 proper __ X1 X2 __ proper X1 proper X2 false __ ok X1 ok X2 __ X1 X2 __ mark X1 X2 __ X1 X2 __ X1 mark X2 __ X1 X2 true U11 1 1 1 top 1 0 top 1 0 __ 2 1 2 0 isNePal 1 1 24168 U12 1 1 1 U12 1 0 proper 1 1 ok 1 1 3566 isNePal 1 0 nil 0 3247 mark 1 1 2 proper 1 0 U11 1 0 active 1 1 active 1 0 tt 0 1 __ 2 1 2 1 U12 mark X mark U12 X U12 ok X ok U12 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 __ X1 mark X2 mark __ X1 X2 proper U11 X U11 proper X false U11 mark X U11 X U11 ok X U11 X true U11 1 1 19621 top 1 0 top 1 0 __ 2 0 isNePal 1 1 24168 U12 1 1 1 U12 1 0 proper 1 1 ok 1 1 3566 isNePal 1 0 nil 0 1 mark 1 1 3 proper 1 0 U11 1 1 0 active 1 1 active 1 0 tt 0 1 __ 2 1 2 1 U12 mark X mark U12 X U12 ok X ok U12 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 __ X1 mark X2 mark __ X1 X2 proper U12 X U12 proper X false U12 ok X U12 X U12 mark X U12 X true U11 1 1 1 top 1 0 top 1 0 __ 2 0 isNePal 1 1 24168 U12 1 1 3578 U12 1 1 0 proper 1 1 ok 1 1 3566 isNePal 1 0 nil 0 1 mark 1 1 2 proper 1 0 U11 1 0 active 1 1 active 1 0 tt 0 1 __ 2 1 2 1 U12 mark X mark U12 X U12 ok X ok U12 X __ mark X1 X2 mark __ X1 X2 __ ok X1 ok X2 ok __ X1 X2 __ X1 mark X2 mark __ X1 X2 NaTT certifiable-1.6