/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES __ __ X Y Z __ X __ Y Z __ X nil X __ nil X X U11 tt V U12 isNeList activate V U12 tt tt U21 tt V1 V2 U22 isList activate V1 activate V2 U22 tt V2 U23 isList activate V2 U23 tt tt U31 tt V U32 isQid activate V U32 tt tt U41 tt V1 V2 U42 isList activate V1 activate V2 U42 tt V2 U43 isNeList activate V2 U43 tt tt U51 tt V1 V2 U52 isNeList activate V1 activate V2 U52 tt V2 U53 isList activate V2 U53 tt tt U61 tt V U62 isQid activate V U62 tt tt U71 tt V U72 isNePal activate V U72 tt tt and tt X activate X isList V U11 isPalListKind activate V activate V isList n__nil tt isList n____ V1 V2 U21 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isNeList V U31 isPalListKind activate V activate V isNeList n____ V1 V2 U41 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 isNePal V U61 isPalListKind activate V activate V isNePal n____ I n____ P I and and isQid activate I n__isPalListKind activate I n__and n__isPal activate P n__isPalListKind activate P isPal V U71 isPalListKind activate V activate V isPal n__nil tt isPalListKind n__a tt isPalListKind n__e tt isPalListKind n__i tt isPalListKind n__nil tt isPalListKind n__o tt isPalListKind n__u tt isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 isQid n__a tt isQid n__e tt isQid n__i tt isQid n__o tt isQid n__u tt nil n__nil __ X1 X2 n____ X1 X2 isPalListKind X n__isPalListKind X and X1 X2 n__and X1 X2 isPal X n__isPal X a n__a e n__e i n__i o n__o u n__u activate n__nil nil activate n____ X1 X2 __ activate X1 activate X2 activate n__isPalListKind X isPalListKind X activate n__and X1 X2 and activate X1 X2 activate n__isPal X isPal X activate n__a a activate n__e e activate n__i i activate n__o o activate n__u u activate X X 2.2 isNePal n____ I n____ P I and isQid activate I n__isPalListKind activate I isNeList n____ V1 V2 activate V1 U51 tt V1 V2 isNeList activate V1 activate n__and X1 X2 and activate X1 X2 isList n____ V1 V2 activate V2 isNeList n____ V1 V2 isPalListKind activate V1 isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 activate n__o o U51 tt V1 V2 U52 isNeList activate V1 activate V2 U11 tt V U12 isNeList activate V activate n__isPalListKind X isPalListKind X isList n____ V1 V2 activate V2 U11 tt V activate V activate n__nil nil activate n__e e isPal V U71 isPalListKind activate V activate V isNeList V activate V isNeList n____ V1 V2 activate V1 isPal V isPalListKind activate V U61 tt V isQid activate V U61 tt V U62 isQid activate V isNePal V U61 isPalListKind activate V activate V isNePal V activate V U42 tt V2 U43 isNeList activate V2 isNePal n____ I n____ P I activate P isNePal V isPalListKind activate V U22 tt V2 U23 isList activate V2 isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 U42 tt V2 activate V2 __ __ X Y Z __ Y Z isNeList V U31 isPalListKind activate V activate V isPalListKind n____ V1 V2 activate V2 activate n__i i isPalListKind n____ V1 V2 isPalListKind activate V1 U22 tt V2 activate V2 U61 tt V activate V U52 tt V2 activate V2 U31 tt V activate V isNeList n____ V1 V2 activate V2 U31 tt V isQid activate V isNeList n____ V1 V2 U41 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U71 tt V isNePal activate V U51 tt V1 V2 activate V2 U11 tt V isNeList activate V isNeList n____ V1 V2 activate V1 isPalListKind n____ V1 V2 activate V1 isList n____ V1 V2 U21 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U71 tt V activate V U22 tt V2 isList activate V2 __ __ X Y Z __ X __ Y Z isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 U21 tt V1 V2 U22 isList activate V1 activate V2 isList V U11 isPalListKind activate V activate V activate n__and X1 X2 activate X1 isNeList V isPalListKind activate V isPal V activate V U41 tt V1 V2 U42 isList activate V1 activate V2 activate n____ X1 X2 activate X1 and tt X activate X isNePal n____ I n____ P I activate P U42 tt V2 isNeList activate V2 isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 U52 tt V2 U53 isList activate V2 U52 tt V2 isList activate V2 isList V activate V isList n____ V1 V2 isPalListKind activate V1 isNeList n____ V1 V2 activate V2 isNePal n____ I n____ P I activate I U51 tt V1 V2 activate V1 isList V activate V U41 tt V1 V2 activate V2 U31 tt V U32 isQid activate V isList n____ V1 V2 activate V1 isNeList n____ V1 V2 activate V1 isNeList n____ V1 V2 activate V2 U41 tt V1 V2 activate V1 isNePal V activate V U21 tt V1 V2 activate V2 isList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n____ X1 X2 __ activate X1 activate X2 isList V isPalListKind activate V U41 tt V1 V2 isList activate V1 isNeList n____ V1 V2 activate V2 isNeList n____ V1 V2 isPalListKind activate V1 isList n____ V1 V2 activate V1 activate n____ X1 X2 activate X2 U21 tt V1 V2 activate V1 isNePal n____ I n____ P I isQid activate I U71 tt V U72 isNePal activate V isNePal n____ I n____ P I and and isQid activate I n__isPalListKind activate I n__and n__isPal activate P n__isPalListKind activate P isNeList V activate V activate n__isPal X isPal X U21 tt V1 V2 isList activate V1 isNePal n____ I n____ P I activate I activate n__u u isPal V activate V activate n__a a true U41 tt V1 V2 U42 isList activate V1 activate V2 isList V U11 isPalListKind activate V activate V U21 tt V1 V2 U22 isList activate V1 activate V2 U21 tt V1 V2 isList activate V1 U22 tt V2 isList activate V2 isList n____ V1 V2 U21 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U11 tt V isNeList activate V isNeList n____ V1 V2 U41 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U41 tt V1 V2 isList activate V1 U52 tt V2 isList activate V2 U51 tt V1 V2 U52 isNeList activate V1 activate V2 isNeList n____ V1 V2 U51 and isPalListKind activate V1 n__isPalListKind activate V2 activate V1 activate V2 U42 tt V2 isNeList activate V2 U51 tt V1 V2 isNeList activate V1 true a 0 1 n__a 0 1 U72 1 0 U32 1 0 U21 3 12205 isPalListKind 1 0 U11 2 626 n__o 0 0 isNeList 1 3 isPal 1 1 12208 U42 2 5 e 0 0 u 0 25984 activate 1 1 0 U71 2 12208 and 2 2 0 u 0 0 isNeList 1 1 12207 U43 1 6 activate 1 0 n__i 0 16021 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 12207 isNePal 1 1 U72 1 12208 isQid 1 0 isPal 1 0 n__isPal 1 1 12208 n__nil 0 11582 U52 2 2 23784 U12 1 1 624 isQid 1 12208 n____ 2 1 2 11579 n__e 0 0 o 0 0 n__isPalListKind 1 12208 U42 2 2 12207 U12 1 0 U62 1 0 isList 1 1 625 isNePal 1 0 nil 0 11582 n__u 0 25984 o 0 0 U62 1 1 1 nil 0 0 isList 1 1 23783 U32 1 5 i 0 16021 U52 2 1 2 U61 2 1 0 U51 3 1 2 3 11577 e 0 0 U11 2 1 2 0 U31 2 4 U41 3 2 3 23784 a 0 0 U21 3 1 2 3 11576 U22 2 2 23784 tt 0 12208 n__and 2 2 0 U71 2 0 U22 2 12206 U51 3 2 3 4 isPalListKind 1 12208 U53 1 1 11586 U41 3 3 4 U31 2 0 and 2 0 __ 2 1 2 11579 U61 2 0 i 0 0 U42 tt V2 isNeList activate V2 U21 tt V1 V2 U22 isList activate V1 activate V2 e n__e activate n__nil nil __ __ X Y Z __ X __ Y Z __ nil X X and tt X activate X isPalListKind n__o tt activate n__u u U71 tt V U72 isNePal activate V isPalListKind n__a tt activate n__e e isPalListKind n__i tt nil n__nil isPalListKind n__e tt activate X X isQid n__a tt U72 tt tt a n__a o n__o isPal V U71 isPalListKind activate V activate V activate n__o o activate n__isPalListKind X isPalListKind X isPal n__nil tt __ X1 X2 n____ X1 X2 activate n__and X1 X2 and activate X1 X2 i n__i isQid n__e tt activate n____ X1 X2 __ activate X1 activate X2 activate n__a a isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__i i activate n__isPal X isPal X isPal X n__isPal X u n__u and X1 X2 n__and X1 X2 isPalListKind n__u tt isQid n__i tt isQid n__o tt isPalListKind X n__isPalListKind X isPalListKind n__nil tt isQid n__u tt __ X nil X U42 tt V2 isNeList activate V2 false U21 tt V1 V2 U22 isList activate V1 activate V2 false U42 tt V2 U43 isNeList activate V2 false U42 tt V2 activate V2 false U11 tt V U12 isNeList activate V false isNeList V U31 isPalListKind activate V activate V false U31 tt V U32 isQid activate V false U31 tt V isQid activate V false U31 tt V activate V false isNeList V isPalListKind activate V false isNeList V activate V false isNeList V activate V false U52 tt V2 U53 isList activate V2 false U22 tt V2 U23 isList activate V2 false U22 tt V2 activate V2 false U21 tt V1 V2 activate V1 false U21 tt V1 V2 activate V2 false isList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 false isList n____ V1 V2 isPalListKind activate V1 false isList n____ V1 V2 activate V1 false isList n____ V1 V2 activate V2 false isList n____ V1 V2 activate V1 false isList n____ V1 V2 activate V2 false U52 tt V2 activate V2 false U51 tt V1 V2 activate V1 false U51 tt V1 V2 activate V2 false isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 false isNeList n____ V1 V2 isPalListKind activate V1 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false U11 tt V activate V false isList V isPalListKind activate V false isList V activate V false isList V activate V false U41 tt V1 V2 activate V1 false U41 tt V1 V2 activate V2 false isNeList n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 false isNeList n____ V1 V2 isPalListKind activate V1 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false isNeList n____ V1 V2 activate V1 false isNeList n____ V1 V2 activate V2 false isPal V activate V isPal V activate V isNePal n____ I n____ P I activate I activate n__and X1 X2 activate X1 U71 tt V activate V isPalListKind n____ V1 V2 activate V1 activate n__isPal X isPal X U71 tt V isNePal activate V isNePal n____ I n____ P I and and isQid activate I n__isPalListKind activate I n__and n__isPal activate P n__isPalListKind activate P activate n____ X1 X2 activate X2 U61 tt V activate V isPalListKind n____ V1 V2 isPalListKind activate V1 isPalListKind n____ V1 V2 activate V2 isNePal V activate V isNePal V isPalListKind activate V isNePal n____ I n____ P I activate P isNePal V activate V isNePal V U61 isPalListKind activate V activate V isPal V isPalListKind activate V isPal V U71 isPalListKind activate V activate V isNePal n____ I n____ P I activate I activate n__isPalListKind X isPalListKind X isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 and tt X activate X isNePal n____ I n____ P I activate P activate n__and X1 X2 and activate X1 X2 isNePal n____ I n____ P I and isQid activate I n__isPalListKind activate I activate n____ X1 X2 activate X1 true a 0 1 n__a 0 1 U72 1 0 U32 1 0 U21 3 0 isPalListKind 1 1 6 U11 2 0 n__o 0 1143 isNeList 1 0 isPal 1 1 6 U42 2 0 e 0 0 u 0 23626 activate 1 1 0 U71 2 1 0 2 3 0 and 2 1 1 2 0 0 u 0 0 isNeList 1 0 U43 1 0 activate 1 1 4 n__i 0 21258 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 0 isNePal 1 1 U72 1 3 isQid 1 0 isPal 1 1 9 n__isPal 1 1 6 n__nil 0 52429 U52 2 0 U12 1 0 isQid 1 2 n____ 2 1 26290 2 0 0 n__e 0 15922 o 0 1143 n__isPalListKind 1 1 2 U42 2 0 U12 1 0 U62 1 0 isList 1 0 isNePal 1 1 7 nil 0 52429 n__u 0 23626 o 0 0 U62 1 1 nil 0 0 isList 1 0 U32 1 0 i 0 21258 U52 2 0 U61 2 0 U51 3 0 e 0 15922 U11 2 0 U31 2 0 U41 3 0 a 0 0 U21 3 0 U22 2 0 tt 0 2 n__and 2 1 1 2 0 0 U71 2 1 6 2 8 0 U22 2 0 U51 3 0 isPalListKind 1 1 2 U53 1 0 U41 3 0 U31 2 0 and 2 1 1 2 4 0 __ 2 1 26290 2 0 0 U61 2 1 3 2 5 0 i 0 0 activate n__and X1 X2 and activate X1 X2 and tt X activate X isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__isPalListKind X isPalListKind X activate n____ X1 X2 activate X2 e n__e activate n__nil nil __ __ X Y Z __ X __ Y Z __ nil X X and tt X activate X isPalListKind n__o tt activate n__u u U71 tt V U72 isNePal activate V isPalListKind n__a tt activate n__e e isPalListKind n__i tt nil n__nil isPalListKind n__e tt activate X X isQid n__a tt U72 tt tt a n__a o n__o isPal V U71 isPalListKind activate V activate V activate n__o o activate n__isPalListKind X isPalListKind X isPal n__nil tt __ X1 X2 n____ X1 X2 activate n__and X1 X2 and activate X1 X2 i n__i isQid n__e tt activate n____ X1 X2 __ activate X1 activate X2 activate n__a a isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__i i activate n__isPal X isPal X isPal X n__isPal X u n__u and X1 X2 n__and X1 X2 isPalListKind n__u tt isQid n__i tt isQid n__o tt isPalListKind X n__isPalListKind X isPalListKind n__nil tt isQid n__u tt __ X nil X and tt X activate X activate n__isPalListKind X isPalListKind X activate n__and X1 X2 and activate X1 X2 activate n____ X1 X2 activate X2 isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 true a 0 1 n__a 0 2 U72 1 0 U32 1 0 U21 3 7968 isPalListKind 1 26034 U11 2 1 4386 n__o 0 2 isNeList 1 633 isPal 1 1 1 U42 2 7972 e 0 0 u 0 1 activate 1 0 U71 2 2 2 and 2 2 1 u 0 0 isNeList 1 12207 U43 1 7970 activate 1 1 12208 n__i 0 16022 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 7970 isNePal 1 1 U72 1 3 isQid 1 0 isPal 1 12208 n__isPal 1 2 n__nil 0 2 U52 2 23784 U12 1 1 12831 isQid 1 7971 n____ 2 2 3581 n__e 0 2 o 0 1 n__isPalListKind 1 13826 U42 2 12207 U12 1 0 U62 1 0 isList 1 1 4386 isNePal 1 12208 nil 0 1 n__u 0 2 o 0 0 U62 1 1 2 nil 0 0 isList 1 23783 U32 1 635 i 0 16021 U52 2 1 2 U61 2 1 1 U51 3 11577 e 0 1 U11 2 0 U31 2 634 U41 3 23784 a 0 0 U21 3 11576 U22 2 23784 tt 0 7971 n__and 2 2 14023 U71 2 12208 U22 2 7969 U51 3 3 634 isPalListKind 1 1 U53 1 1 3588 U41 3 1 3 0 U31 2 0 and 2 2 12208 __ 2 1 3580 U61 2 1 i 0 0 isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__isPalListKind X isPalListKind X and tt X activate X isQid n__a tt isQid n__e tt isQid n__i tt isQid n__o tt isQid n__u tt and tt X activate X activate n__isPalListKind X isPalListKind X isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 true a 0 1 n__a 0 1 U72 1 0 U32 1 0 U21 3 1 3 0 isPalListKind 1 1 3 U11 2 4386 n__o 0 1 isNeList 1 1 isPal 1 19459 U42 2 1 2 e 0 0 u 0 1 activate 1 1 0 U71 2 19459 and 2 1 2 1 u 0 0 isNeList 1 12207 U43 1 0 activate 1 1 0 n__i 0 0 U23 1 0 U53 1 0 __ 2 0 U43 1 0 U23 1 3 isNePal 1 1 U72 1 19459 isQid 1 0 isPal 1 12208 n__isPal 1 19459 n__nil 0 1 U52 2 23784 U12 1 1 5492 isQid 1 1 4 n____ 2 1 2 5 n__e 0 0 o 0 1 n__isPalListKind 1 1 4 U42 2 12207 U12 1 0 U62 1 0 isList 1 1 1 isNePal 1 12208 nil 0 1 n__u 0 1 o 0 0 U62 1 1 0 nil 0 0 isList 1 23783 U32 1 3 i 0 0 U52 2 1 4 U61 2 2 2 U51 3 11577 e 0 0 U11 2 0 U31 2 2 U41 3 23784 a 0 0 U21 3 11576 U22 2 23784 tt 0 4 n__and 2 1 2 1 U71 2 12208 U22 2 2 U51 3 1 2 3 0 isPalListKind 1 1 4 U53 1 1 3588 U41 3 3 2 U31 2 0 and 2 2 1 __ 2 1 2 5 U61 2 1 i 0 0 e n__e activate n__nil nil __ __ X Y Z __ X __ Y Z __ nil X X and tt X activate X isPalListKind n__o tt activate n__u u U71 tt V U72 isNePal activate V isPalListKind n__a tt activate n__e e isPalListKind n__i tt nil n__nil isPalListKind n__e tt activate X X isQid n__a tt U72 tt tt a n__a o n__o isPal V U71 isPalListKind activate V activate V activate n__o o activate n__isPalListKind X isPalListKind X isPal n__nil tt __ X1 X2 n____ X1 X2 activate n__and X1 X2 and activate X1 X2 i n__i isQid n__e tt activate n____ X1 X2 __ activate X1 activate X2 activate n__a a isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__i i activate n__isPal X isPal X isPal X n__isPal X u n__u and X1 X2 n__and X1 X2 isPalListKind n__u tt isQid n__i tt isQid n__o tt isPalListKind X n__isPalListKind X isPalListKind n__nil tt isQid n__u tt __ X nil X U71 tt V U72 isNePal activate V false isNePal n____ I n____ P I isQid activate I false U61 tt V U62 isQid activate V false U61 tt V isQid activate V false activate n__i i false activate n__a a false activate n____ X1 X2 __ activate X1 activate X2 false __ __ X Y Z __ X __ Y Z __ __ X Y Z __ Y Z true a 0 1 n__a 0 1 U72 1 0 U32 1 0 U21 3 1 3 0 isPalListKind 1 1 3 U11 2 4386 n__o 0 1 isNeList 1 1 isPal 1 4 U42 2 1 2 e 0 0 u 0 1 activate 1 1 0 U71 2 4 and 2 1 2 22227 u 0 0 isNeList 1 12207 U43 1 0 activate 1 0 n__i 0 0 U23 1 0 U53 1 0 __ 2 1 0 U43 1 0 U23 1 3 isNePal 1 1 U72 1 4 isQid 1 0 isPal 1 12208 n__isPal 1 4 n__nil 0 1 U52 2 23784 U12 1 1 5492 isQid 1 1 4 n____ 2 1 2 22231 n__e 0 0 o 0 1 n__isPalListKind 1 1 4 U42 2 12207 U12 1 0 U62 1 0 isList 1 1 2 isNePal 1 12208 nil 0 1 n__u 0 1 o 0 0 U62 1 1 0 nil 0 0 isList 1 23783 U32 1 3 i 0 0 U52 2 1 4 U61 2 2 2 U51 3 11577 e 0 0 U11 2 0 U31 2 2 U41 3 23784 a 0 0 U21 3 11576 U22 2 23784 tt 0 4 n__and 2 1 2 22227 U71 2 12208 U22 2 2 U51 3 1 2 3 0 isPalListKind 1 1 4 U53 1 1 3588 U41 3 3 3 U31 2 0 and 2 2 1 __ 2 1 2 22231 U61 2 1 i 0 0 e n__e activate n__nil nil __ __ X Y Z __ X __ Y Z __ nil X X and tt X activate X isPalListKind n__o tt activate n__u u U71 tt V U72 isNePal activate V isPalListKind n__a tt activate n__e e isPalListKind n__i tt nil n__nil isPalListKind n__e tt activate X X isQid n__a tt U72 tt tt a n__a o n__o isPal V U71 isPalListKind activate V activate V activate n__o o activate n__isPalListKind X isPalListKind X isPal n__nil tt __ X1 X2 n____ X1 X2 activate n__and X1 X2 and activate X1 X2 i n__i isQid n__e tt activate n____ X1 X2 __ activate X1 activate X2 activate n__a a isPalListKind n____ V1 V2 and isPalListKind activate V1 n__isPalListKind activate V2 activate n__i i activate n__isPal X isPal X isPal X n__isPal X u n__u and X1 X2 n__and X1 X2 isPalListKind n__u tt isQid n__i tt isQid n__o tt isPalListKind X n__isPalListKind X isPalListKind n__nil tt isQid n__u tt __ X nil X activate n__o o false activate n__e e false activate n__u u false activate n__nil nil false NaTT certifiable-1.6