/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 mark __ X1 X2 active __ mark X1 mark X2 mark nil active nil mark U11 X active U11 mark X mark tt active tt mark U12 X active U12 mark X mark isNePal X active isNePal mark X __ mark X1 X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ active X1 X2 __ X1 X2 __ X1 active X2 __ X1 X2 U11 mark X U11 X U11 active X U11 X U12 mark X U12 X U12 active X U12 X isNePal mark X isNePal X isNePal active X isNePal X 2.2 active isNePal __ I __ P I mark U11 tt active __ __ X Y Z __ X __ Y Z U11 active X U11 X mark U11 X U11 mark X mark isNePal X mark X mark U12 X U12 mark X mark isNePal X active isNePal mark X U12 mark X U12 X U11 mark X U11 X mark isNePal X isNePal mark X mark nil active nil __ X1 mark X2 __ X1 X2 active __ __ X Y Z __ Y Z isNePal mark X isNePal X mark tt active tt mark U11 X mark X mark U12 X mark X active U11 tt mark U12 tt mark U11 X active U11 mark X active __ __ X Y Z mark __ X __ Y Z isNePal active X isNePal X active U11 tt U12 tt active __ nil X mark X mark __ X1 X2 __ mark X1 mark X2 __ active X1 X2 __ X1 X2 mark __ X1 X2 mark X2 __ X1 active X2 __ X1 X2 active U12 tt mark tt mark __ X1 X2 active __ mark X1 mark X2 active isNePal __ I __ P I U11 tt active __ X nil mark X mark U12 X active U12 mark X U12 active X U12 X __ mark X1 X2 __ X1 X2 mark __ X1 X2 mark X1 true mark __ X1 X2 mark X1 mark U12 X active U12 mark X active __ X nil mark X mark __ X1 X2 active __ mark X1 mark X2 mark isNePal X active isNePal mark X mark isNePal X mark X mark __ X1 X2 mark X2 active __ nil X mark X active __ __ X Y Z mark __ X __ Y Z mark U11 X active U11 mark X active U11 tt mark U12 tt mark U12 X mark X mark U11 X mark X active isNePal __ I __ P I mark U11 tt true U11 1 1 26634 __ 2 0 isNePal 1 1 28740 U12 1 1 26633 U12 1 0 mark 1 1 0 isNePal 1 0 nil 0 50866 mark 1 1 0 U11 1 0 active 1 1 0 active 1 1 0 tt 0 3287 __ 2 1 2 591 mark U11 X active U11 mark X active __ __ X Y Z mark __ X __ Y Z mark isNePal X active isNePal mark X mark __ X1 X2 active __ mark X1 mark X2 mark U12 X active U12 mark X U11 active X U11 X active U11 tt mark U12 tt __ active X1 X2 __ X1 X2 mark nil active nil active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X __ X1 active X2 __ X1 X2 isNePal mark X isNePal X U12 mark X U12 X U11 mark X U11 X isNePal active X isNePal X active U12 tt mark tt mark tt active tt mark __ X1 X2 active __ mark X1 mark X2 U12 active X U12 X __ X1 mark X2 __ X1 X2 mark isNePal X active isNePal mark X mark U12 X active U12 mark X mark U11 X active U11 mark X __ mark X1 X2 __ X1 X2 active isNePal __ I __ P I mark U11 tt active __ X nil mark X active __ __ X Y Z mark __ X __ Y Z mark __ X1 X2 active __ mark X1 mark X2 mark isNePal X active isNePal mark X mark U12 X active U12 mark X mark U11 X active U11 mark X true U11 1 4709 __ 2 0 isNePal 1 1 U12 1 7630 U12 1 0 mark 1 24697 isNePal 1 0 nil 0 51457 mark 1 1 U11 1 0 active 1 1 active 1 1 0 tt 0 1 __ 2 24697 mark __ X1 X2 active __ mark X1 mark X2 active __ __ X Y Z mark __ X __ Y Z U11 active X U11 X active U11 tt mark U12 tt __ active X1 X2 __ X1 X2 mark nil active nil active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X __ X1 active X2 __ X1 X2 isNePal mark X isNePal X U12 mark X U12 X U11 mark X U11 X isNePal active X isNePal X active U12 tt mark tt mark tt active tt mark __ X1 X2 active __ mark X1 mark X2 U12 active X U12 X __ X1 mark X2 __ X1 X2 mark isNePal X active isNePal mark X mark U12 X active U12 mark X mark U11 X active U11 mark X __ mark X1 X2 __ X1 X2 active isNePal __ I __ P I mark U11 tt active __ X nil mark X active __ __ X Y Z mark __ X __ Y Z mark __ X1 X2 active __ mark X1 mark X2 true __ 2 1 U12 1 1 mark 1 1 active 1 1 U11 1 2 isNePal 1 2 U12 1 0 mark 1 1 1 isNePal 1 0 nil 0 3 U11 1 0 active 1 1 1 tt 0 1 __ 2 2 1 2 U11 1 0 isNePal 1 0 U12 1 0 mark 1 1 0 isNePal 1 0 nil 0 0 U11 1 0 active 1 1 0 tt 0 0 __ 2 1 0 2 0 0 mark __ X1 X2 active __ mark X1 mark X2 U11 active X U11 X active U11 tt mark U12 tt __ active X1 X2 __ X1 X2 mark nil active nil active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X __ X1 active X2 __ X1 X2 isNePal mark X isNePal X U12 mark X U12 X U11 mark X U11 X isNePal active X isNePal X active U12 tt mark tt mark tt active tt mark __ X1 X2 active __ mark X1 mark X2 U12 active X U12 X __ X1 mark X2 __ X1 X2 mark isNePal X active isNePal mark X mark U12 X active U12 mark X mark U11 X active U11 mark X __ mark X1 X2 __ X1 X2 active isNePal __ I __ P I mark U11 tt active __ X nil mark X mark __ X1 X2 active __ mark X1 mark X2 false active isNePal __ I __ P I U11 tt false active U12 tt mark tt false mark U11 X U11 mark X false U11 mark X U11 X U11 active X U11 X true U11 1 1 15261 __ 2 0 isNePal 1 21387 U12 1 1 15263 U12 1 0 mark 1 0 isNePal 1 0 nil 0 0 mark 1 1 1 U11 1 1 0 active 1 1 2 active 1 1 tt 0 6128 __ 2 1 mark U12 X U12 mark X false U12 active X U12 X U12 mark X U12 X true U11 1 1 3154 __ 2 0 isNePal 1 3153 U12 1 1 3156 U12 1 1 0 mark 1 0 isNePal 1 0 nil 0 0 mark 1 1 1 U11 1 0 active 1 1 2 active 1 1 tt 0 1 __ 2 45545 active __ __ X Y Z __ X __ Y Z false active __ __ X Y Z __ Y Z false mark isNePal X isNePal mark X false isNePal mark X isNePal X isNePal active X isNePal X true U11 1 1 4187 __ 2 0 isNePal 1 23744 U12 1 1 4189 U12 1 0 mark 1 0 isNePal 1 1 0 nil 0 0 mark 1 1 1 U11 1 0 active 1 1 2 active 1 1 tt 0 19559 __ 2 45545 active U11 tt U12 tt false mark __ X1 X2 __ mark X1 mark X2 false __ mark X1 X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ X1 active X2 __ X1 X2 __ active X1 X2 __ X1 X2 true U11 1 1 10197 __ 2 1 0 isNePal 1 31729 U12 1 1 10199 U12 1 0 mark 1 0 isNePal 1 0 nil 0 0 mark 1 1 1 U11 1 0 active 1 1 2 active 1 1 tt 0 21534 __ 2 1 __ X1 active X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ X1 active X2 __ X1 X2 __ X1 mark X2 __ X1 X2 true U11 1 1 40401 __ 2 2 0 isNePal 1 40400 U12 1 1 40403 U12 1 0 mark 1 0 isNePal 1 0 nil 0 0 mark 1 1 1 U11 1 0 active 1 1 2 active 1 1 tt 0 1 __ 2 7690 mark nil active nil false mark tt active tt false NaTT certifiable-1.6