/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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 mark __ X1 X2 active __ mark X1 mark X2 mark nil active nil mark and X1 X2 active and mark X1 X2 mark tt active tt 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 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and X1 active X2 and X1 X2 isNePal mark X isNePal X isNePal active X isNePal X 2.2 mark __ X1 X2 active __ mark X1 mark X2 and X1 active X2 and X1 X2 __ active X1 X2 __ X1 X2 mark isNePal X active isNePal mark X __ X1 mark X2 __ X1 X2 isNePal active X isNePal X mark and X1 X2 active and mark X1 X2 active __ __ X Y Z __ Y Z mark nil active nil mark isNePal X isNePal mark X mark and X1 X2 and mark X1 X2 active __ nil X mark X mark tt active tt __ X1 active X2 __ X1 X2 mark __ X1 X2 mark X2 active and tt X mark X active __ __ X Y Z __ X __ Y Z and mark X1 X2 and X1 X2 and active X1 X2 and X1 X2 and X1 mark X2 and X1 X2 mark and X1 X2 mark X1 active __ __ X Y Z mark __ X __ Y Z active isNePal __ I __ P I mark tt mark __ X1 X2 __ mark X1 mark X2 active __ X nil mark X __ mark X1 X2 __ X1 X2 mark isNePal X mark X mark __ X1 X2 mark X1 isNePal mark X isNePal X true mark __ X1 X2 mark X1 mark isNePal X mark X active __ X nil mark X mark and X1 X2 active and mark X1 X2 active __ __ X Y Z mark __ X __ Y Z mark and X1 X2 mark X1 mark isNePal X active isNePal mark X active and tt X mark X mark __ X1 X2 mark X2 mark __ X1 X2 active __ mark X1 mark X2 active __ nil X mark X true and 2 8368 __ 2 0 isNePal 1 8366 mark 1 8368 isNePal 1 0 nil 0 8368 mark 1 8367 active 1 1 0 active 1 1 0 tt 0 20165 and 2 0 __ 2 8368 active __ nil X mark X mark __ X1 X2 active __ mark X1 mark X2 mark __ X1 X2 mark X2 active and tt X mark X mark and X1 X2 mark X1 active __ __ X Y Z mark __ X __ Y Z mark and X1 X2 active and mark X1 X2 active __ X nil mark X mark isNePal X mark X mark __ X1 X2 mark X1 and X1 active X2 and X1 X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 isNePal mark X isNePal X and active X1 X2 and X1 X2 isNePal active X isNePal X __ X1 active X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ mark X1 X2 __ X1 X2 __ active X1 X2 __ X1 X2 active and tt X mark X mark and X1 X2 mark X1 mark and X1 X2 active and mark X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X mark isNePal X mark X mark __ X1 X2 mark X2 mark __ X1 X2 mark X1 mark __ X1 X2 active __ mark X1 mark X2 active __ X nil mark X true and 2 1 2 2998 __ 2 0 isNePal 1 1 23046 mark 1 1 0 isNePal 1 0 nil 0 41514 mark 1 1 0 active 1 1 0 active 1 1 0 tt 0 28 and 2 0 __ 2 1 2 8946 mark __ X1 X2 active __ mark X1 mark X2 active __ __ X Y Z mark __ X __ Y Z mark and X1 X2 active and mark X1 X2 and X1 active X2 and X1 X2 active and tt X mark X and mark X1 X2 and X1 X2 mark and X1 X2 active and mark X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X and X1 mark X2 and X1 X2 isNePal mark X isNePal X and active X1 X2 and X1 X2 active isNePal __ I __ P I mark tt mark isNePal X active isNePal mark X mark nil active nil isNePal active X isNePal X __ X1 active X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ mark X1 X2 __ X1 X2 mark tt active tt __ active X1 X2 __ X1 X2 mark __ X1 X2 active __ mark X1 mark X2 active __ X nil mark X mark and X1 X2 active and mark X1 X2 active __ __ X Y Z mark __ X __ Y Z mark __ X1 X2 active __ mark X1 mark X2 true and 2 28882 __ 2 0 isNePal 1 2241 mark 1 28883 isNePal 1 0 nil 0 9726 mark 1 1 1 active 1 28885 active 1 1 0 tt 0 28885 and 2 0 __ 2 28883 mark __ X1 X2 active __ mark X1 mark X2 active __ __ X Y Z mark __ X __ Y Z and X1 active X2 and X1 X2 and mark X1 X2 and X1 X2 and X1 mark X2 and X1 X2 isNePal mark X isNePal X and active X1 X2 and X1 X2 isNePal active X isNePal X __ X1 active X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ mark X1 X2 __ X1 X2 __ active X1 X2 __ X1 X2 active __ __ X Y Z mark __ X __ Y Z mark __ X1 X2 active __ mark X1 mark X2 true mark 1 1 isNePal 1 1 mark 1 1 active 1 1 active 1 1 and 2 1 1 2 __ 2 0 1 2 isNePal 1 1 nil 0 2 tt 0 0 and 2 0 2 1 __ 2 1 1 2 and 2 1 0 2 0 0 __ 2 1 0 2 0 0 isNePal 1 0 nil 0 0 tt 0 0 and 2 1 0 2 0 0 __ 2 1 0 2 0 0 mark __ X1 X2 active __ mark X1 mark X2 and X1 active X2 and X1 X2 active and tt X mark X and mark X1 X2 and X1 X2 mark and X1 X2 active and mark X1 X2 active __ __ X Y Z mark __ X __ Y Z active __ nil X mark X and X1 mark X2 and X1 X2 isNePal mark X isNePal X and active X1 X2 and X1 X2 active isNePal __ I __ P I mark tt mark isNePal X active isNePal mark X mark nil active nil isNePal active X isNePal X __ X1 active X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ mark X1 X2 __ X1 X2 mark tt active tt __ active X1 X2 __ X1 X2 mark __ X1 X2 active __ mark X1 mark X2 active __ X nil mark X mark __ X1 X2 active __ mark X1 mark X2 false active isNePal __ I __ P I mark tt false mark __ X1 X2 __ mark X1 mark X2 false mark tt active tt false mark nil active nil false active __ __ X Y Z __ X __ Y Z false active __ __ X Y Z __ Y Z false __ mark X1 X2 __ X1 X2 __ X1 mark X2 __ X1 X2 __ active X1 X2 __ X1 X2 __ X1 active X2 __ X1 X2 true and 2 1 2 1 __ 2 1 2 0 isNePal 1 1 2 mark 1 0 isNePal 1 0 nil 0 42910 mark 1 1 4 active 1 1 1 active 1 0 tt 0 1 and 2 0 __ 2 1 mark isNePal X isNePal mark X false isNePal mark X isNePal X isNePal active X isNePal X true and 2 1 2 1 __ 2 0 isNePal 1 1 1 mark 1 0 isNePal 1 1 0 nil 0 42910 mark 1 1 4 active 1 1 1 active 1 0 tt 0 1 and 2 0 __ 2 1 mark and X1 X2 and mark X1 X2 false and X1 mark X2 and X1 X2 and active X1 X2 and X1 X2 and mark X1 X2 and X1 X2 and X1 active X2 and X1 X2 true and 2 1 2 1 __ 2 0 isNePal 1 1 1 mark 1 0 isNePal 1 0 nil 0 41065 mark 1 1 4 active 1 1 1 active 1 0 tt 0 1 and 2 1 0 __ 2 1 and X1 active X2 and X1 X2 and X1 mark X2 and X1 X2 and X1 active X2 and X1 X2 and X1 mark X2 and X1 X2 true and 2 1 2 1 __ 2 0 isNePal 1 1 1 mark 1 0 isNePal 1 0 nil 0 52629 mark 1 1 4 active 1 1 1 active 1 0 tt 0 1 and 2 2 0 __ 2 2 NaTT certifiable-1.6