/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES __ __ X Y Z __ X __ Y Z __ X nil X __ nil X X and tt X activate X isList V isNeList activate V isList n__nil tt isList n____ V1 V2 and isList activate V1 n__isList activate V2 isNeList V isQid activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 isNePal V isQid activate V isNePal n____ I n____ P I and isQid activate I n__isPal activate P isPal V isNePal activate V isPal n__nil tt 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 isList X n__isList X isNeList X n__isNeList X 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__isList X isList X activate n__isNeList X isNeList X 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 activate n__i i activate n__isNeList X isNeList X __ __ X Y Z __ X __ Y Z isNeList V isQid activate V isNeList V activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isNePal n____ I n____ P I isQid activate I isNeList n____ V1 V2 activate V2 isNePal V activate V activate n__u u isList n____ V1 V2 activate V2 isNePal n____ I n____ P I and isQid activate I n__isPal activate P isList V activate V isNePal n____ I n____ P I activate I isList V isNeList activate V isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 isList n____ V1 V2 and isList activate V1 n__isList activate V2 isNeList n____ V1 V2 isList activate V1 and tt X activate X isNePal V isQid activate V activate n__isList X isList X isPal V activate V isNeList n____ V1 V2 activate V2 isList n____ V1 V2 activate V1 activate n__e e isNeList n____ V1 V2 activate V1 activate n____ X1 X2 activate X1 activate n__isPal X isPal X activate n__nil nil isNeList n____ V1 V2 isNeList activate V1 __ __ X Y Z __ Y Z isList n____ V1 V2 isList activate V1 activate n____ X1 X2 __ activate X1 activate X2 activate n__o o activate n__a a isNeList n____ V1 V2 activate V1 isNePal n____ I n____ P I activate P isPal V isNePal activate V activate n____ X1 X2 activate X2 true activate n____ X1 X2 activate X2 isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 isPal V isNePal activate V isList V isNeList activate V isNePal n____ I n____ P I activate I isNePal n____ I n____ P I activate P isList V activate V isNePal n____ I n____ P I and isQid activate I n__isPal activate P isNeList n____ V1 V2 activate V1 isList n____ V1 V2 activate V2 isList n____ V1 V2 isList activate V1 isNeList n____ V1 V2 isNeList activate V1 isNePal V activate V isNeList n____ V1 V2 activate V2 activate n__isPal X isPal X activate n____ X1 X2 activate X1 isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isNeList n____ V1 V2 activate V1 isNeList V activate V isList n____ V1 V2 activate V1 isNeList n____ V1 V2 activate V2 isPal V activate V activate n__isList X isList X and tt X activate X isNeList n____ V1 V2 isList activate V1 activate n__isNeList X isNeList X isList n____ V1 V2 and isList activate V1 n__isList activate V2 true a 0 1 n__a 0 1 n__o 0 10451 isNeList 1 1 2 isPal 1 1 5 e 0 0 u 0 26567 activate 1 1 0 and 2 1 2 0 u 0 0 n__isNeList 1 1 2 isNeList 1 1 1 activate 1 1 0 n__i 0 30613 __ 2 0 n__isList 1 1 3 isNePal 1 1 2 isQid 1 0 isPal 1 1 4 n__isPal 1 1 5 n__nil 0 44022 isQid 1 2 n____ 2 1 2 20544 n__e 0 10088 o 0 10451 isList 1 1 3 isNePal 1 1 3 nil 0 44022 n__u 0 26567 o 0 0 nil 0 0 isList 1 1 2 i 0 30613 e 0 10088 a 0 0 tt 0 1 and 2 1 2 0 __ 2 1 2 20544 i 0 0 isQid n__o tt and tt X activate X isQid n__a tt isNeList V isQid activate V __ __ X Y Z __ X __ Y Z __ nil X X isQid n__e tt __ X1 X2 n____ X1 X2 activate n__e e e n__e isQid n__u tt activate n__isList X isList X isQid n__i tt i n__i activate n__isPal X isPal X isList X n__isList X o n__o isList V isNeList activate V activate n__isNeList X isNeList X isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 activate n__u u isList n____ V1 V2 and isList activate V1 n__isList activate V2 nil n__nil a n__a activate n__nil nil isPal n__nil tt activate n____ X1 X2 __ activate X1 activate X2 isNePal n____ I n____ P I and isQid activate I n__isPal activate P isNeList X n__isNeList X isPal X n__isPal X isNePal V isQid activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isPal V isNePal activate V activate X X isList n__nil tt activate n__o o activate n__i i activate n__a a u n__u __ X nil X isNePal V isQid activate V false isNePal n____ I n____ P I isQid activate I false isNeList V isQid activate V false activate n__a a false activate n__i i false activate n__o o false activate n____ X1 X2 __ activate X1 activate X2 false __ __ X Y Z __ Y Z __ __ X Y Z __ X __ Y Z true a 0 1 n__a 0 1 n__o 0 44364 isNeList 1 1 1 isPal 1 1 1 e 0 0 u 0 26567 activate 1 1 0 and 2 1 2 0 u 0 0 n__isNeList 1 1 1 isNeList 1 1 1 activate 1 0 n__i 0 30613 __ 2 1 0 n__isList 1 1 1 isNePal 1 1 1 isQid 1 0 isPal 1 4 n__isPal 1 1 1 n__nil 0 1 isQid 1 1 n____ 2 1 2 1 n__e 0 10088 o 0 44364 isList 1 1 1 isNePal 1 1 3 nil 0 1 n__u 0 26567 o 0 0 nil 0 0 isList 1 1 2 i 0 30613 e 0 10088 a 0 0 tt 0 1 and 2 1 2 0 __ 2 1 2 1 i 0 0 isQid n__o tt and tt X activate X isQid n__a tt isNeList V isQid activate V __ __ X Y Z __ X __ Y Z __ nil X X isQid n__e tt __ X1 X2 n____ X1 X2 activate n__e e e n__e isQid n__u tt activate n__isList X isList X isQid n__i tt i n__i activate n__isPal X isPal X isList X n__isList X o n__o isList V isNeList activate V activate n__isNeList X isNeList X isNeList n____ V1 V2 and isNeList activate V1 n__isList activate V2 activate n__u u isList n____ V1 V2 and isList activate V1 n__isList activate V2 nil n__nil a n__a activate n__nil nil isPal n__nil tt activate n____ X1 X2 __ activate X1 activate X2 isNePal n____ I n____ P I and isQid activate I n__isPal activate P isNeList X n__isNeList X isPal X n__isPal X isNePal V isQid activate V isNeList n____ V1 V2 and isList activate V1 n__isNeList activate V2 isPal V isNePal activate V activate X X isList n__nil tt activate n__o o activate n__i i activate n__a a u n__u __ X nil X activate n__nil nil false activate n__u u false activate n__e e false NaTT certifiable-1.6