/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 and tt X mark X active isNePal __ I __ P I mark tt active __ X1 X2 __ active X1 X2 active __ X1 X2 __ X1 active X2 active and X1 X2 and active X1 X2 active isNePal X isNePal active X __ mark X1 X2 mark __ X1 X2 __ X1 mark X2 mark __ X1 X2 and mark X1 X2 mark and X1 X2 isNePal mark X mark isNePal X proper __ X1 X2 __ proper X1 proper X2 proper nil ok nil proper and X1 X2 and proper X1 proper X2 proper tt ok tt proper isNePal X isNePal proper X __ ok X1 ok X2 ok __ X1 X2 and ok X1 ok X2 ok and X1 X2 isNePal ok X ok isNePal X top mark X top proper X top ok X top active X 2.2 active __ X1 X2 active X1 proper isNePal X proper X __ X1 mark X2 __ X1 X2 and ok X1 ok X2 and X1 X2 and mark X1 X2 and X1 X2 proper __ X1 X2 proper X1 active __ __ X Y Z __ X __ Y Z proper and X1 X2 proper X2 proper __ X1 X2 proper X2 active __ X1 X2 __ X1 active X2 active __ __ X Y Z __ Y Z isNePal ok X isNePal X top ok X top active X proper __ X1 X2 __ proper X1 proper X2 active isNePal X active X proper isNePal X isNePal proper X proper and X1 X2 proper X1 active and X1 X2 active X1 top mark X top proper X __ ok X1 ok X2 __ X1 X2 active and X1 X2 and active X1 X2 proper and X1 X2 and proper X1 proper X2 __ mark X1 X2 __ X1 X2 isNePal mark X isNePal X active __ X1 X2 __ active X1 X2 top ok X active X active __ X1 X2 active X2 active isNePal X isNePal active X top mark X proper X true top mark X top proper X top ok X top active X true top 1 1 proper 1 1 ok 1 1 proper 1 1 active 1 1 active 1 1 top 1 0 and 2 3 2 1 __ 2 0 1 2 isNePal 1 2 1 isNePal 1 0 nil 0 1 mark 1 2 1 tt 0 1 and 2 0 1 2 __ 2 3 1 2 top 1 0 and 2 1 0 2 0 0 __ 2 1 0 2 0 0 isNePal 1 1 0 isNePal 1 0 nil 0 0 mark 1 1 0 tt 0 0 and 2 1 0 2 0 0 __ 2 1 0 2 0 0 top ok X top active X proper isNePal X isNePal proper X active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X proper and X1 X2 and proper X1 proper X2 isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 proper __ X1 X2 __ proper X1 proper X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X top ok X top active X true top 1 0 and 2 2 0 top 1 1 0 __ 2 0 isNePal 1 1 0 proper 1 61699 ok 1 1 30101 isNePal 1 0 nil 0 31598 mark 1 0 proper 1 0 active 1 1 30100 active 1 0 tt 0 20585 and 2 0 __ 2 1 0 proper isNePal X isNePal proper X active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X proper and X1 X2 and proper X1 proper X2 isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 proper __ X1 X2 __ proper X1 proper X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X top ok X active X false top mark X proper X false proper __ X1 X2 proper X2 proper and X1 X2 proper X2 proper __ X1 X2 proper X1 proper and X1 X2 proper X1 proper isNePal X proper X true top 1 0 and 2 1 2 1 top 1 0 __ 2 0 isNePal 1 1 1 proper 1 2 ok 1 1 1 isNePal 1 0 nil 0 1 mark 1 0 proper 1 1 0 active 1 1 1 active 1 0 tt 0 0 and 2 0 __ 2 1 2 1 active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X proper __ X1 X2 __ proper X1 proper X2 false proper and X1 X2 and proper X1 proper X2 false proper isNePal X isNePal proper X false active __ X1 X2 active X2 active and X1 X2 active X1 active isNePal X active X active __ X1 X2 active X1 true top 1 0 and 2 1 2 1 top 1 0 __ 2 0 isNePal 1 1 1 proper 1 2 ok 1 1 1 isNePal 1 0 nil 0 1 mark 1 0 proper 1 0 active 1 1 1 active 1 1 0 tt 0 0 and 2 0 __ 2 1 2 1 active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X active __ X1 X2 __ active X1 X2 false active isNePal X isNePal active X false active __ X1 X2 __ X1 active X2 false active __ __ X Y Z __ X __ Y Z false active __ __ X Y Z __ Y Z false __ mark X1 X2 __ X1 X2 __ ok X1 ok X2 __ X1 X2 __ X1 mark X2 __ X1 X2 true top 1 0 and 2 1 2 9508 top 1 0 __ 2 1 2 0 isNePal 1 1 1 proper 1 2 ok 1 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 proper 1 0 active 1 1 1 active 1 0 tt 0 0 and 2 0 __ 2 1 2 1 active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X active and X1 X2 and active X1 X2 false and mark X1 X2 and X1 X2 and ok X1 ok X2 and X1 X2 true top 1 0 and 2 1 2 1 top 1 0 __ 2 0 isNePal 1 1 17897 proper 1 2 ok 1 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 proper 1 0 active 1 1 1 active 1 0 tt 0 0 and 2 2 0 __ 2 1 2 1 and mark X1 X2 and X1 X2 active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X and mark X1 X2 and X1 X2 true top 1 0 and 2 1 2 34678 top 1 0 __ 2 0 isNePal 1 1 32024 proper 1 2 ok 1 1 1 isNePal 1 0 nil 0 1 mark 1 1 1 proper 1 0 active 1 1 1 active 1 0 tt 0 0 and 2 1 0 __ 2 1 2 1 active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X isNePal mark X isNePal X isNePal ok X isNePal X true top 1 0 and 2 1 2 4426 top 1 0 __ 2 0 isNePal 1 1 1 proper 1 2 ok 1 1 1 isNePal 1 1 0 nil 0 1 mark 1 1 1 proper 1 0 active 1 1 1 active 1 0 tt 0 0 and 2 0 __ 2 1 2 1 active and tt X mark X proper nil ok nil active and X1 X2 and active X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X isNePal ok X ok isNePal X __ ok X1 ok X2 ok __ X1 X2 proper tt ok tt active isNePal __ I __ P I mark tt __ mark X1 X2 mark __ X1 X2 active __ X1 X2 __ X1 active X2 and ok X1 ok X2 ok and X1 X2 and mark X1 X2 mark and X1 X2 __ X1 mark X2 mark __ X1 X2 active isNePal X isNePal active X isNePal mark X mark isNePal X active __ X1 X2 __ active X1 X2 active __ X nil mark X NaTT certifiable-1.6