/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 X1 X2 activate n__s X s X activate X X 2.2 U12 tt V1 V2 isNatKind activate V2 plus N s M U61 isNat M M N U21 tt V1 activate V1 U15 tt V2 isNat activate V2 U22 tt V1 activate V1 isNat n__s V1 isNatKind activate V1 activate n__s X s X U63 tt M N activate N U63 tt M N U64 isNatKind activate N activate M activate N U14 tt V1 V2 isNat activate V1 isNat n__s V1 activate V1 U62 tt M N activate N U61 tt M N activate N isNat n__s V1 activate V1 U14 tt V1 V2 activate V2 U14 tt V1 V2 activate V1 U13 tt V1 V2 activate V2 U11 tt V1 V2 activate V1 U63 tt M N isNatKind activate N U51 tt N U52 isNatKind activate N activate N U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U13 tt V1 V2 isNatKind activate V2 U61 tt M N U62 isNatKind activate M activate M activate N U63 tt M N activate M U62 tt M N activate N 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 activate V1 U64 tt M N s plus activate N activate M isNat n__plus V1 V2 activate V1 U61 tt M N activate M isNat n__plus V1 V2 isNatKind activate V1 U64 tt M N activate N isNat n__s V1 U21 isNatKind activate V1 activate V1 U61 tt M N activate M isNatKind n__s V1 activate V1 U31 tt V2 U32 isNatKind activate V2 U64 tt M N activate M U13 tt V1 V2 activate V2 isNatKind n__plus V1 V2 isNatKind activate V1 U11 tt V1 V2 activate V1 U21 tt V1 activate V1 U62 tt M N activate M U62 tt M N U63 isNat activate N activate M activate N isNat n__plus V1 V2 activate V1 plus N 0 U51 isNat N N U51 tt N isNatKind activate N U63 tt M N activate N isNatKind n__s V1 U41 isNatKind activate V1 U22 tt V1 U23 isNat activate V1 U31 tt V2 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U12 tt V1 V2 activate V2 plus N s M isNat M U22 tt V1 isNat activate V1 U21 tt V1 isNatKind activate V1 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U15 tt V2 U16 isNat activate V2 U21 tt V1 U22 isNatKind activate V1 activate V1 U11 tt V1 V2 isNatKind activate V1 activate n__plus X1 X2 plus X1 X2 U31 tt V2 isNatKind activate V2 activate n__0 0 U11 tt V1 V2 activate V2 isNat n__plus V1 V2 activate V2 U61 tt M N isNatKind activate M U15 tt V2 activate V2 plus N 0 isNat N isNatKind n__plus V1 V2 activate V2 U12 tt V1 V2 activate V2 U64 tt M N plus activate N activate M U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U51 tt N activate N isNatKind n__plus V1 V2 activate V1 U12 tt V1 V2 activate V1 U62 tt M N isNat activate N U52 tt N activate N true U52 tt N activate N U62 tt M N isNat activate N isNat n__plus V1 V2 activate V1 U62 tt M N activate M U62 tt M N U63 isNat activate N activate M activate N U12 tt V1 V2 activate V1 U11 tt V1 V2 activate V1 U21 tt V1 activate V1 isNatKind n__plus V1 V2 isNatKind activate V1 isNatKind n__plus V1 V2 activate V1 U64 tt M N activate M U13 tt V1 V2 activate V2 isNatKind n__s V1 activate V1 U61 tt M N activate M U51 tt N activate N isNat n__s V1 U21 isNatKind activate V1 activate V1 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U64 tt M N activate N U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 isNat n__plus V1 V2 isNatKind activate V1 U64 tt M N plus activate N activate M U61 tt M N activate M U12 tt V1 V2 activate V2 isNat n__plus V1 V2 activate V1 isNatKind n__plus V1 V2 activate V2 plus N 0 isNat N U15 tt V2 activate V2 U13 tt V1 V2 activate V1 U61 tt M N isNatKind activate M isNat n__plus V1 V2 activate V2 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 activate V2 U62 tt M N activate N U31 tt V2 isNatKind activate V2 activate n__plus X1 X2 plus X1 X2 U63 tt M N activate M U61 tt M N U62 isNatKind activate M activate M activate N U13 tt V1 V2 isNatKind activate V2 U11 tt V1 V2 isNatKind activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U51 tt N U52 isNatKind activate N activate N U21 tt V1 U22 isNatKind activate V1 activate V1 U11 tt V1 V2 activate V1 U63 tt M N isNatKind activate N U13 tt V1 V2 activate V2 U14 tt V1 V2 activate V1 U14 tt V1 V2 activate V2 isNat n__s V1 activate V1 U61 tt M N activate N isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U62 tt M N activate N U21 tt V1 isNatKind activate V1 U22 tt V1 isNat activate V1 U14 tt V1 V2 isNat activate V1 isNat n__s V1 activate V1 plus N s M isNat M U12 tt V1 V2 activate V2 U14 tt V1 V2 U15 isNat activate V1 activate V2 U63 tt M N U64 isNatKind activate N activate M activate N U31 tt V2 activate V2 U63 tt M N activate N isNat n__s V1 isNatKind activate V1 U22 tt V1 activate V1 U63 tt M N activate N U51 tt N isNatKind activate N U15 tt V2 isNat activate V2 U21 tt V1 activate V1 plus N s M U61 isNat M M N U12 tt V1 V2 isNatKind activate V2 plus N 0 U51 isNat N N true 0 0 0 U32 1 0 isNatKind 1 2 U16 1 7 U21 2 1 0 U11 3 2 2 U64 3 2 3 0 s 1 1 0 isNat 1 1 2 activate 1 1 0 plus 2 1 2 2 activate 1 1 2 U23 1 0 U23 1 1 U63 3 2 3 0 U13 3 1 2 3 0 U52 2 2 3 U12 3 3 3 U16 1 0 n__s 1 1 0 U12 3 2 3 2 U62 3 2 3 2 0 0 21097 U14 3 2 3 2 s 1 0 U62 3 2 3 0 n__plus 2 1 2 0 U63 3 2 3 2 U15 2 2 2 U32 1 1 0 n__0 0 21097 U14 3 5 isNat 1 1 U52 2 1 2 0 U15 2 6 U61 3 2 3 0 plus 2 1 2 0 U51 2 2 4 U11 3 2 3 2 U64 3 2 3 2 U31 2 2 U41 1 0 U21 2 2 2 U22 2 2 2 tt 0 2 U13 3 1 2 U22 2 3 U51 2 2 2 isNatKind 1 1 2 U41 1 1 0 U31 2 2 2 U61 3 2 3 2 U12 tt V1 V2 isNatKind activate V2 plus N s M U61 isNat M M N U21 tt V1 activate V1 U15 tt V2 isNat activate V2 U63 tt M N activate N U22 tt V1 activate V1 isNat n__s V1 isNatKind activate V1 U63 tt M N activate N U31 tt V2 activate V2 U63 tt M N U64 isNatKind activate N activate M activate N U14 tt V1 V2 U15 isNat activate V1 activate V2 U12 tt V1 V2 activate V2 plus N s M isNat M isNat n__s V1 activate V1 U14 tt V1 V2 isNat activate V1 U22 tt V1 isNat activate V1 U21 tt V1 isNatKind activate V1 U62 tt M N activate N isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 U61 tt M N activate N isNat n__s V1 activate V1 U14 tt V1 V2 activate V2 U14 tt V1 V2 activate V1 U13 tt V1 V2 activate V2 U63 tt M N isNatKind activate N U11 tt V1 V2 activate V1 U21 tt V1 U22 isNatKind activate V1 activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U11 tt V1 V2 isNatKind activate V1 U13 tt V1 V2 isNatKind activate V2 U61 tt M N U62 isNatKind activate M activate M activate N U63 tt M N activate M activate n__plus X1 X2 plus X1 X2 U31 tt V2 isNatKind activate V2 U62 tt M N activate N U11 tt V1 V2 activate V2 isNatKind n__plus V1 V2 U31 isNatKind activate V1 activate V2 isNatKind n__s V1 isNatKind activate V1 isNat n__plus V1 V2 activate V2 U61 tt M N isNatKind activate M U13 tt V1 V2 activate V1 U15 tt V2 activate V2 isNatKind n__plus V1 V2 activate V2 isNat n__plus V1 V2 activate V1 U12 tt V1 V2 activate V2 U61 tt M N activate M U64 tt M N plus activate N activate M isNat n__plus V1 V2 isNatKind activate V1 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 U64 tt M N activate N U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 isNat n__s V1 U21 isNatKind activate V1 activate V1 U61 tt M N activate M isNatKind n__s V1 activate V1 U13 tt V1 V2 activate V2 U64 tt M N activate M isNatKind n__plus V1 V2 activate V1 isNatKind n__plus V1 V2 isNatKind activate V1 U21 tt V1 activate V1 U11 tt V1 V2 activate V1 U12 tt V1 V2 activate V1 U62 tt M N U63 isNat activate N activate M activate N U62 tt M N activate M isNat n__plus V1 V2 activate V1 U62 tt M N isNat activate N 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 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 X1 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 U64 tt M N activate M U64 tt M N activate N U64 tt M N plus activate N activate M U14 tt V1 V2 activate V2 U14 tt V1 V2 activate V1 U14 tt V1 V2 isNat activate V1 U14 tt V1 V2 U15 isNat activate V1 activate V2 U61 tt M N activate N U61 tt M N activate M U61 tt M N activate M U61 tt M N isNatKind activate M U61 tt M N U62 isNatKind activate M activate M activate N U22 tt V1 activate V1 U22 tt V1 isNat activate V1 U11 tt V1 V2 activate V2 U11 tt V1 V2 activate V1 U11 tt V1 V2 activate V1 U11 tt V1 V2 isNatKind activate V1 U11 tt V1 V2 U12 isNatKind activate V1 activate V1 activate V2 U13 tt V1 V2 activate V2 U13 tt V1 V2 activate V1 U13 tt V1 V2 activate V2 U13 tt V1 V2 isNatKind activate V2 U13 tt V1 V2 U14 isNatKind activate V2 activate V1 activate V2 U62 tt M N activate N U62 tt M N activate M U62 tt M N activate N U62 tt M N isNat activate N U62 tt M N U63 isNat activate N activate M activate N isNat n__s V1 activate V1 isNat n__s V1 activate V1 isNat n__s V1 isNatKind activate V1 isNat n__s V1 U21 isNatKind activate V1 activate V1 plus N s M isNat M plus N s M U61 isNat M M N U63 tt M N activate N U63 tt M N activate M U63 tt M N activate N U63 tt M N isNatKind activate N U63 tt M N U64 isNatKind activate N activate M activate N U15 tt V2 activate V2 U15 tt V2 isNat activate V2 U31 tt V2 activate V2 U31 tt V2 isNatKind activate V2 U21 tt V1 activate V1 U21 tt V1 activate V1 U21 tt V1 isNatKind activate V1 U21 tt V1 U22 isNatKind activate V1 activate V1 isNat n__plus V1 V2 activate V2 isNat n__plus V1 V2 activate V1 isNat n__plus V1 V2 activate V1 isNat n__plus V1 V2 isNatKind activate V1 isNat n__plus V1 V2 U11 isNatKind activate V1 activate V1 activate V2 activate n__plus X1 X2 plus X1 X2 isNatKind n__plus V1 V2 activate V2 isNatKind n__plus V1 V2 activate V1 isNatKind n__plus V1 V2 isNatKind activate V1 isNatKind n__plus V1 V2 U31 isNatKind activate V1 activate V2 isNatKind n__s V1 activate V1 isNatKind n__s V1 isNatKind activate V1 U12 tt V1 V2 activate V2 U12 tt V1 V2 activate V1 U12 tt V1 V2 activate V2 U12 tt V1 V2 isNatKind activate V2 U12 tt V1 V2 U13 isNatKind activate V2 activate V1 activate V2 true 0 0 0 U32 1 0 isNatKind 1 2 U16 1 7 U21 2 1 0 U11 3 2 2 U64 3 2 3 28482 s 1 1 6 isNat 1 1 2 activate 1 1 0 plus 2 1 2 1 activate 1 1 2 U23 1 0 U23 1 1 U63 3 2 3 28482 U13 3 1 2 3 3 U52 2 2 3 U12 3 3 3 U16 1 0 n__s 1 1 6 U12 3 2 3 6 U62 3 2 3 5 0 0 31274 U14 3 2 3 4 s 1 0 U62 3 2 3 28482 n__plus 2 1 2 28476 U63 3 2 3 4 U15 2 2 3 U32 1 1 0 n__0 0 31274 U14 3 5 isNat 1 1 U52 2 1 2 0 U15 2 6 U61 3 2 3 28482 plus 2 1 2 28476 U51 2 4 U11 3 2 3 7 U64 3 2 3 3 U31 2 2 U41 1 0 U21 2 2 4 U22 2 2 3 tt 0 2 U13 3 1 2 U22 2 3 U51 2 2 2 isNatKind 1 1 3 U41 1 1 0 U31 2 2 4 U61 3 2 3 6 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 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 X1 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 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 X false NaTT certifiable-1.6