/export/starexec/sandbox/solver/bin/starexec_run_ttt2_cert /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2U15isNatactivateV1activateV2U15ttV2U16isNatactivateV2U16ttttU21ttV1U22isNatKindactivateV1activateV1U22ttV1U23isNatactivateV1U23ttttU31ttV2U32isNatKindactivateV2U32ttttU41ttttU51ttNU52isNatKindactivateNactivateNU52ttNactivateNU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNsplusactivateNactivateMisNatn__0ttisNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__0ttisNatKindn__plusV1V2U31isNatKindactivateV1activateV2isNatKindn__sV1U41isNatKindactivateV1plusN0U51isNatNNplusNsMU61isNatMMN0n__0plusX1X2n__plusX1X2sXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__sXsactivateXactivateXX2.1U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatKindactivateV1U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2activateV1U12ttV1V2activateV2U12ttV1V2isNatKindactivateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2activateV1U13ttV1V2activateV2U13ttV1V2isNatKindactivateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2activateV2U14ttV1V2activateV1U14ttV1V2isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2activateV2U15ttV2isNatactivateV2U15ttV2U16isNatactivateV2U21ttV1activateV1U21ttV1isNatKindactivateV1U21ttV1U22isNatKindactivateV1activateV1U22ttV1activateV1U22ttV1isNatactivateV1U22ttV1U23isNatactivateV1U31ttV2activateV2U31ttV2isNatKindactivateV2U31ttV2U32isNatKindactivateV2U51ttNactivateNU51ttNisNatKindactivateNU51ttNU52isNatKindactivateNactivateNU52ttNactivateNU61ttMNactivateNU61ttMNactivateMU61ttMNisNatKindactivateMU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNactivateMU62ttMNactivateNU62ttMNisNatactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNactivateMU63ttMNactivateNU63ttMNisNatKindactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNactivateMU64ttMNactivateNU64ttMNplusactivateNactivateMU64ttMNsplusactivateNactivateMisNatn__plusV1V2activateV2isNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2U31isNatKindactivateV1activateV2isNatKindn__sV1activateV1isNatKindn__sV1isNatKindactivateV1isNatKindn__sV1U41isNatKindactivateV1plusN0isNatNplusN0U51isNatNNplusNsMisNatMplusNsMU61isNatMMNactivaten__00activaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2activaten__sXactivateXactivaten__sXsactivateXtrueplusN0U51isNatNNU51ttNactivateNactivaten__plusX1X2activateX2activaten__plusX1X2activateX1activaten__plusX1X2plusactivateX1activateX2plusN0isNatNisNatn__plusV1V2activateV2activaten__sXactivateXisNatn__plusV1V2activateV1isNatn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2activateV2isNatKindn__plusV1V2activateV1isNatKindn__plusV1V2isNatKindactivateV1isNatKindn__plusV1V2U31isNatKindactivateV1activateV2U31ttV2activateV2U31ttV2isNatKindactivateV2isNatKindn__sV1activateV1isNatKindn__sV1isNatKindactivateV1isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2U11ttV1V2activateV2U11ttV1V2activateV1U11ttV1V2isNatKindactivateV1U11ttV1V2U12isNatKindactivateV1activateV1activateV2U12ttV1V2activateV1U12ttV1V2activateV2U12ttV1V2isNatKindactivateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2activateV1U13ttV1V2activateV2U13ttV1V2isNatKindactivateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U14ttV1V2activateV2U14ttV1V2activateV1U14ttV1V2isNatactivateV1isNatn__sV1activateV1isNatn__sV1isNatKindactivateV1isNatn__sV1U21isNatKindactivateV1activateV1U21ttV1activateV1U21ttV1isNatKindactivateV1U21ttV1U22isNatKindactivateV1activateV1U22ttV1activateV1U22ttV1isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U15ttV2activateV2U15ttV2isNatactivateV2plusNsMisNatMplusNsMU61isNatMMNU61ttMNactivateNU61ttMNactivateMU61ttMNisNatKindactivateMU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNactivateMU62ttMNactivateNU62ttMNisNatactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNactivateMU63ttMNactivateNU63ttMNisNatKindactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNactivateMU64ttMNactivateNU64ttMNplusactivateNactivateMU51ttNisNatKindactivateNU51ttNU52isNatKindactivateNactivateNU52ttNactivateNtrue12345671641U6130132233U1232102131U411010U152010272U1130102230isNatKind1110U51201122U64301322352n__s11112U6230132233U13301123232U522011210012isNat11112plus221322U11301222352U522011212U13301022312U1430112132U21201020tt00isNat1010U63301322352n__plus221322plus2112212isNatKind1110U3212112U1230122232U231011U61301221312s11112n__0012U22201320U161010U31201021U31201120U1430102230U222011212U64301221312U63301221312U212011212U62301221312U15201122activate1110U512011212activate1110U31ttV2activateV2U31ttV2isNatKindactivateV2isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2U12ttV1V2U13isNatKindactivateV2activateV1activateV2U13ttV1V2U14isNatKindactivateV2activateV1activateV2U21ttV1U22isNatKindactivateV1activateV1U22ttV1isNatactivateV1U14ttV1V2U15isNatactivateV1activateV2U61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNisNatactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNplusactivateNactivateMU51ttNU52isNatKindactivateNactivateNU51ttNU52isNatKindactivateNactivateNU52ttNactivateNU61ttMNU62isNatKindactivateMactivateMactivateNU62ttMNU63isNatactivateNactivateMactivateNU63ttMNU64isNatKindactivateNactivateMactivateNU64ttMNsplusactivateNactivateMplusN0U51isNatNNplusNsMU61isNatMMN0n__0plusX1X2n__plusX1X2sXn__sXactivaten__00activaten__plusX1X2plusactivateX1activateX2activaten__sXsactivateXactivateXXU12ttV1V2U13isNatKindactivateV2activateV1activateV2false1U13ttV1V2U14isNatKindactivateV2activateV1activateV2false1U14ttV1V2U15isNatactivateV1activateV2falseU21ttV1U22isNatKindactivateV1activateV1false1U22ttV1isNatactivateV1false6U31ttV2activateV2falseU31ttV2isNatKindactivateV2falseU51ttNU52isNatKindactivateNactivateNfalseU61ttMNU62isNatKindactivateMactivateMactivateNfalse13U62ttMNisNatactivateNfalse1isNatn__plusV1V2U11isNatKindactivateV1activateV1activateV2falseU62ttMNU63isNatactivateNactivateMactivateNfalse1U63ttMNU64isNatKindactivateNactivateMactivateNfalse1U64ttMNplusactivateNactivateMfalseU64ttMNsplusactivateNactivateMfalseU15ttV2U16isNatactivateV2falseU22ttV1U23isNatactivateV1falseU31ttV2U32isNatKindactivateV2falseisNatKindn__sV1U41isNatKindactivateV1falseactivaten__sXsactivateXfalseactivaten__00falsettt2ttt2 1.20 [hg: unknown]((if standard then var else fail) | con | (if srs then ((sleep -t 25?;rlab;(((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])! || (rev?;((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))![299])! ) else ((((( (if srs then arctic -dim 1 -ib 4 -ob 5 else fail) || (if srs then arctic -dim 2 -ib 2 -ob 3 else fail) || (if srs then arctic -dim 3 -ib 1 -ob 2 else fail) || (if srs then arctic -dim 3 -ib 2 -ob 2 else fail) || matrix -dim 1 -ib 5 -ob 8 || matrix -dim 2 -ib 3 -ob 4 || matrix -dim 3 -ib 2 -ob 3 || matrix -dim 3 -ib 1 -ob 2 || matrix -dim 4 -ib 1 -ob 2 || matrix -dim 5 -ib 1 -ob 1 || kbo -ib 3 -ob 4 || wpo -msum -ib 3 -ob 4 -cpf || fail)[5]*);((dp;(edg -gtcap -nl[1.0]?;(sccs | ((sc || sc -rec -defs || sc -mulex -defs) || sct || {ur?;( (wpo -cpf -dp -ur -sum -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -pol -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -max -ib 3 -ob 3 [3] | wpo -cpf -dp -ur -msum -ib 3 -ob 3 [4] | wpo -cpf -dp -ur -mat -dim 2 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -mat -dim 3 -ib 3 -ob 3 [5] | wpo -cpf -dp -ur -ib 3 -ob 3 [9] | fail ) || matrix -dp -ur -dim 1 -ib 3 -ob 5 || matrix -dp -ur -dim 1 -ib 3 -ob 8 -rat 2 -db 1 || matrix -dp -ur -dim 1 -ib 4 -ob 10 -rat 4 -db 1 || matrix -dp -ur -dim 2 -ib 2 -ob 3 || matrix -dp -ur -dim 2 -ib 3 -ob 4 -rat 2 -db 0 || matrix -dp -ur -dim 3 -ib 1 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 || matrix -dp -ur -dim 3 -ib 2 -ob 3 -rat 2 -db 0 || matrix -dp -ur -dim 4 -ib 1 -ob 2 || lpo -ur -af || (arctic -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || (arctic -bz -dp -ur -dim 1 -ib 4 -ob 3[25] | arctic -bz -dp -ur -dim 2 -ib 2 -ob 2[28] | arctic -bz -dp -ur -dim 3 -ib 1 -ob 1[28] | arctic -bz -dp -ur -dim 4 -ib 1 -ob 1[28] | fail) || fail) } restore) )*[29])) || (bounds -cert || fail;(bounds -rfc -qc))))! || (( unfold || fail)*[7])!)[299])))