/export/starexec/sandbox/solver/bin/starexec_run_Certifiable /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U15 tt V2 U16 isNat activate V2 U16 tt tt U21 tt V1 U22 isNatKind activate V1 activate V1 U22 tt V1 U23 isNat activate V1 U23 tt tt U31 tt V2 U32 isNatKind activate V2 U32 tt tt U41 tt tt U51 tt N U52 isNatKind activate N activate N U52 tt N activate N U61 tt M N U62 isNatKind activate M activate M activate N U62 tt M N U63 isNat activate N activate M activate N U63 tt M N U64 isNatKind activate N activate M activate N U64 tt M N s plus activate N activate M isNat n__0 tt isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 isNat n__s V1 U21 isNatKind activate V1 activate V1 isNatKind n__0 tt isNatKind n__plus V1 V2 U31 isNatKind activate V1 activate V2 isNatKind n__s V1 U41 isNatKind activate V1 plus N 0 U51 isNat N N plus N s M U61 isNat M M N 0 n__0 plus X1 X2 n__plus X1 X2 s X n__s X activate n__0 0 activate n__plus X1 X2 plus activate X1 activate X2 activate n__s X s activate X activate X X 2.2 U12 tt V1 V2 isNatKind activate V2 U63 tt M N activate N U21 tt V1 U22 isNatKind activate V1 activate V1 U31 tt V2 activate V2 U11 tt V1 V2 activate V2 plus N s M U61 isNat M M N U63 tt M N activate M U63 tt M N activate N U15 tt V2 isNat activate V2 U61 tt M N activate M plus N s M isNat M U62 tt M N isNat activate N U61 tt M N isNatKind activate M isNat n__s V1 U21 isNatKind activate V1 activate V1 U14 tt V1 V2 U15 isNat activate V1 activate V2 U61 tt M N activate N U13 tt V1 V2 isNatKind activate V2 U13 tt V1 V2 activate V2 U15 tt V2 activate V2 U51 tt N U52 isNatKind activate N activate N U13 tt V1 V2 activate V2 U62 tt M N activate M U22 tt V1 U23 isNat activate V1 U63 tt M N isNatKind activate N isNat n__s V1 activate V1 isNatKind n__plus V1 V2 U31 isNatKind activate V1 activate V2 U51 tt N activate N isNatKind n__s V1 isNatKind activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 isNat activate V1 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U61 tt M N U62 isNatKind activate M activate M activate N plus N 0 isNat N U64 tt M N activate N U14 tt V1 V2 activate V2 activate n__s X activate X U22 tt V1 activate V1 isNatKind n__s V1 activate V1 U21 tt V1 activate V1 U64 tt M N s plus activate N activate M U62 tt M N activate N U64 tt M N activate M isNatKind n__plus V1 V2 isNatKind activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U21 tt V1 isNatKind activate V1 U62 tt M N U63 isNat activate N activate M activate N isNat n__s V1 isNatKind activate V1 isNat n__plus V1 V2 isNatKind activate V1 U52 tt N activate N U51 tt N isNatKind activate N U63 tt M N U64 isNatKind activate N activate M activate N isNatKind n__s V1 U41 isNatKind activate V1 U11 tt V1 V2 activate V1 U31 tt V2 U32 isNatKind activate V2 U61 tt M N activate M U12 tt V1 V2 activate V2 activate n__s X s activate X U11 tt V1 V2 activate V1 isNat n__plus V1 V2 activate V2 plus N 0 U51 isNat N N U31 tt V2 isNatKind activate V2 isNat n__plus V1 V2 activate V1 U13 tt V1 V2 activate V1 activate n__plus X1 X2 plus activate X1 activate X2 U21 tt V1 activate V1 activate n__plus X1 X2 activate X2 U11 tt V1 V2 isNatKind activate V1 isNat n__plus V1 V2 activate V1 U22 tt V1 isNat activate V1 U15 tt V2 U16 isNat activate V2 activate n__0 0 isNatKind n__plus V1 V2 activate V2 U12 tt V1 V2 activate V2 U14 tt V1 V2 activate V1 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U62 tt M N activate N U51 tt N activate N isNatKind n__plus V1 V2 activate V1 U12 tt V1 V2 activate V1 U64 tt M N plus activate N activate M isNat n__s V1 activate V1 activate n__plus X1 X2 activate X1 true activate n__plus X1 X2 activate X1 U64 tt M N plus activate N activate M isNat n__s V1 activate V1 isNat n__plus V1 V2 isNatKind activate V1 U62 tt M N U63 isNat activate N activate M activate N isNat n__s V1 isNatKind activate V1 U12 tt V1 V2 activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U21 tt V1 isNatKind activate V1 isNatKind n__plus V1 V2 isNatKind activate V1 U64 tt M N activate M isNatKind n__plus V1 V2 activate V1 U62 tt M N activate N U21 tt V1 activate V1 isNatKind n__s V1 activate V1 U22 tt V1 activate V1 U51 tt N activate N activate n__s X activate X U62 tt M N activate N U14 tt V1 V2 activate V2 U64 tt M N activate N U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 plus N 0 isNat N U14 tt V1 V2 activate V1 U61 tt M N U62 isNatKind activate M activate M activate N U12 tt V1 V2 activate V2 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 isNatKind n__plus V1 V2 activate V2 U14 tt V1 V2 isNat activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U22 tt V1 isNat activate V1 isNat n__plus V1 V2 activate V1 isNatKind n__s V1 isNatKind activate V1 U51 tt N activate N isNatKind n__plus V1 V2 U31 isNatKind activate V1 activate V2 U11 tt V1 V2 isNatKind activate V1 isNat n__s V1 activate V1 U21 tt V1 activate V1 activate n__plus X1 X2 activate X2 activate n__plus X1 X2 plus activate X1 activate X2 U63 tt M N isNatKind activate N U62 tt M N activate M U13 tt V1 V2 activate V1 U13 tt V1 V2 activate V2 U51 tt N U52 isNatKind activate N activate N isNat n__plus V1 V2 activate V1 U13 tt V1 V2 activate V2 U15 tt V2 activate V2 U13 tt V1 V2 isNatKind activate V2 U61 tt M N activate N U31 tt V2 isNatKind activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 isNat n__s V1 U21 isNatKind activate V1 activate V1 U61 tt M N isNatKind activate M plus N 0 U51 isNat N N U62 tt M N isNat activate N isNat n__plus V1 V2 activate V2 U11 tt V1 V2 activate V1 U61 tt M N activate M plus N s M isNat M U12 tt V1 V2 activate V2 U61 tt M N activate M U15 tt V2 isNat activate V2 U11 tt V1 V2 activate V1 U63 tt M N activate N U63 tt M N activate M plus N s M U61 isNat M M N U11 tt V1 V2 activate V2 U63 tt M N U64 isNatKind activate N activate M activate N U51 tt N isNatKind activate N U31 tt V2 activate V2 U21 tt V1 U22 isNatKind activate V1 activate V1 U63 tt M N activate N U12 tt V1 V2 isNatKind activate V2 U52 tt N activate N true 0 0 0 U32 1 0 isNatKind 1 1 2 U16 1 3 U21 2 1 26819 U11 3 1 3 U64 3 2 3 26822 s 1 1 26819 isNat 1 1 0 activate 1 1 0 plus 2 1 2 5 activate 1 1 3 U23 1 0 U23 1 3 U63 3 2 3 26822 U13 3 2 3 3 U52 2 2 4 U12 3 1 6 U16 1 0 n__s 1 1 26819 U12 3 2 3 3 U62 3 2 3 26822 0 0 2 U14 3 2 3 3 s 1 0 U62 3 2 3 26822 n__plus 2 1 2 3 U63 3 2 3 26821 U15 2 2 3 U32 1 4 n__0 0 2 U14 3 0 isNat 1 1 1 U52 2 2 0 U15 2 2 U61 3 2 3 26822 plus 2 1 2 3 U51 2 2 6 U11 3 2 3 3 U64 3 2 3 6 U31 2 1 3 U41 1 0 U21 2 2 3 U22 2 2 3 tt 0 4 U13 3 1 9 U22 2 1 26822 U51 2 2 5 isNatKind 1 1 0 U41 1 1 0 U31 2 1 2 0 U61 3 2 3 26823 U21 tt V1 U22 isNatKind activate V1 activate V1 U11 tt V1 V2 activate V2 U11 tt V1 V2 activate V1 U12 tt V1 V2 activate V2 U11 tt V1 V2 activate V1 isNat n__plus V1 V2 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U15 tt V2 activate V2 U13 tt V1 V2 activate V2 isNat n__plus V1 V2 activate V1 U13 tt V1 V2 activate V2 U13 tt V1 V2 activate V1 U21 tt V1 activate V1 isNat n__plus V1 V2 activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 isNatKind n__plus V1 V2 activate V2 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U12 tt V1 V2 activate V2 U14 tt V1 V2 activate V1 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U14 tt V1 V2 activate V2 U22 tt V1 activate V1 U21 tt V1 activate V1 isNatKind n__plus V1 V2 activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U12 tt V1 V2 activate V1 U64 tt M N s plus activate N activate M U61 tt M N U62 isNatKind activate M activate M activate N U62 tt M N U63 isNat activate N activate M activate N plus N s M U61 isNat M M N activate n__s X s activate X U63 tt M N U64 isNatKind activate N activate M activate N 0 n__0 isNatKind n__0 tt plus X1 X2 n__plus X1 X2 activate X X U31 tt V2 U32 isNatKind activate V2 plus N 0 U51 isNat N N activate n__0 0 U52 tt N activate N activate n__plus X1 X2 plus activate X1 activate X2 U41 tt tt isNatKind n__plus V1 V2 U31 isNatKind activate V1 activate V2 isNatKind n__s V1 U41 isNatKind activate V1 U32 tt tt U51 tt N U52 isNatKind activate N activate N s X n__s X U21 tt V1 activate V1 false U21 tt V1 activate V1 false U21 tt V1 U22 isNatKind activate V1 activate V1 false U22 tt V1 activate V1 false isNat n__plus V1 V2 activate V2 false isNat n__plus V1 V2 activate V1 false isNat n__plus V1 V2 activate V1 false isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 false U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 false U11 tt V1 V2 activate V1 false U11 tt V1 V2 activate V1 false U11 tt V1 V2 activate V2 false isNatKind n__plus V1 V2 activate V2 false isNatKind n__plus V1 V2 activate V1 false U12 tt V1 V2 activate V2 false U12 tt V1 V2 activate V1 false U12 tt V1 V2 activate V2 false U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 false U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 false U14 tt V1 V2 U15 isNat activate V1 activate V2 false U15 tt V2 activate V2 false U14 tt V1 V2 activate V1 false U14 tt V1 V2 activate V2 false U13 tt V1 V2 activate V2 false U13 tt V1 V2 activate V1 false U13 tt V1 V2 activate V2 false U64 tt M N s plus activate N activate M false U22 tt V1 U23 isNat activate V1 false U15 tt V2 U16 isNat activate V2 false U31 tt V2 U32 isNatKind activate V2 false isNatKind n__s V1 U41 isNatKind activate V1 false activate n__0 0 false activate n__s X s activate X false NaTT certifiable-1.6