0.03/0.12 % Problem : theBenchmark.p : TPTP v0.0.0. Released v0.0.0. 0.03/0.12 % Command : /export/starexec/sandbox2/solver/bin/execute.py 240 /export/starexec/sandbox2/benchmark/theBenchmark.p 0.12/0.33 % Computer : n026.cluster.edu 0.12/0.33 % Model : x86_64 x86_64 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz 0.12/0.33 % Memory : 8042.1875MB 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 0.12/0.33 % CPULimit : 1920 0.12/0.33 % WCLimit : 240 0.12/0.33 % DateTime : Wed Jul 30 02:03:19 EDT 2025 0.12/0.33 % CPUTime : 0.12/0.33 SPASS-SCL-FOL version: 0.19/0.42 SPASS-SCL-FOL 0.1 (595c0c7b1) [parallel mode] 43.41/9.13 Starting: ./SPASS-SCL-FOL --heuristics_normal -t 240 /export/starexec/sandbox2/benchmark/theBenchmark.p 43.41/9.13 Starting: ./SPASS-SCL-FOL --heuristics_resolution_1 -t 240 /export/starexec/sandbox2/benchmark/theBenchmark.p 43.41/9.13 Starting: ./SPASS-SCL-FOL --heuristics_resolution_2 -t 240 /export/starexec/sandbox2/benchmark/theBenchmark.p 43.41/9.13 Starting: ./SPASS-SCL-FOL --heuristics_resolution_3 -t 240 /export/starexec/sandbox2/benchmark/theBenchmark.p 43.41/9.13 Starting: ./SPASS-SCL-FOL --heuristics_lmodel_grow -t 240 /export/starexec/sandbox2/benchmark/theBenchmark.p 43.41/9.13 Execution lmodel_grow ended with status: unsatisfiable 43.41/9.13 Used heuristic: lmodel_grow 43.41/9.13 43.41/9.13 Input Clauses: 43.41/9.13 1:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssACTVT,np__2))) 43.41/9.13 2:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_BANF_BSA,ssBSART,ssSTAR))) 43.41/9.13 3:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__9))) 43.41/9.13 4:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME52N))) 43.41/9.13 5:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssACTVT,np__1))) 43.41/9.13 6:12:15:INP:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_EKGRP,x3))),ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_WERKS,x4))),ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_GSWRT,x5))),ssAccess(x6,authObj(ssM_EINK_FRG,ssFRGGR,x1)),ssAccess(x6,authObj(ssM_BANF_BSA,ssBSART,x7)),ssAccess(x6,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x6,authObj(ssM_BANF_WRK,ssWERKS,x4)),ssAccess(x6,ssME54N),ssAccess(x6,authObj(ssM_EINK_FRG,ssFRGCO,x8)),ssReleaseRequirement(x0,x1,x8),ssRequisitionCreated(x9,x7,x10,x11,x4,x3,x12,x13,x5,x14) -> ssRequisitionReleasedStep(x6,x1,x0,x8,x7,x10,x11,x4,x3,x12,x13,x5,x14) 43.41/9.13 7:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__2))) 43.41/9.13 8:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssACTVT,ssSTAR))) 43.41/9.13 9:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W1,authObj(ssM_EINK_FRG,ssFRGCO,ssW1))) 43.41/9.13 10:1:0:INP:: -> ssReleaseStrategy(ssVF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI26))) 43.41/9.13 11:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_EKG,ssACTVT,ssSTAR))) 43.41/9.13 12:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__8))) 43.41/9.13 13:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssACTVT,np__3))) 43.41/9.13 14:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssWERKS,ssINF))) 43.41/9.13 15:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_EINK_MKL,ssMATKL,ssB0002))) 43.41/9.13 16:1:0:INP:: -> ssReleaseStrategy(ssKF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) 43.41/9.13 17:1:0:INP:: -> ssReleaseStrategy(ssVF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) 43.41/9.13 18:1:0:INP:: -> ssReleaseRequirement(ssKF,ssRGRP_01,ssW1) 43.41/9.13 19:17:5:INP:TopTopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME21N)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKO,ssEKORG,x1)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_WRK,ssWERKS,x3)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKG,ssEKGRP,x4)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__1)) -> ssAccess(x0,ssME21N) 43.41/9.13 20:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssACTVT,np__8))) 43.41/9.13 21:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__9))) 43.41/9.13 22:20:5:INP:TopTopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME22N)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssBSART,x1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x1)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_WRK,ssWERKS,x2)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKG,ssEKGRP,x3)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BEST_EKO,ssEKORG,x4)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__2)) -> ssAccess(x0,ssME22N) 43.41/9.13 23:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__2))) 43.41/9.13 24:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME22N))) 43.41/9.13 25:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_EINK_MKL,ssMATKL,ssSTAR))) 43.41/9.13 26:2:2:INP:TopTop: ren1(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) -> 43.41/9.13 27:2:2:INP:TopTop: ren1(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssLESS_EQUAL_1000_EUR))) -> 43.41/9.13 28:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) -> ren1(x0,x1) 43.41/9.13 29:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssACTVT,np__2))) 43.41/9.13 30:2:4:INP:TopTopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,x3))) -> ssAccess(x0,authObj(x1,x2,x3)) 43.41/9.13 31:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__1))) 43.41/9.13 32:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_ALL,ssZORDER_WRK_INF_BASE)) 43.41/9.13 33:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssEKORG,ssINF))) 43.41/9.13 34:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_BSA,ssACTVT,ssSTAR))) 43.41/9.13 35:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME51N))) 43.41/9.13 36:1:9:INP:TopTopTopTopTopTopTopTopTop: -> ssRequisition(x0,x1,x2,x3,x4,x5,x6,x7,x8) 43.41/9.13 37:3:10:INP:TopTopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> 43.41/9.13 38:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssBSART,ssNB))) 43.41/9.13 39:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__8))) 43.41/9.13 40:1:0:INP:: -> ssReleaseStrategy(ssKF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI26))) 43.41/9.13 41:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__3))) 43.41/9.13 42:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__9))) 43.41/9.13 43:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssWERKS,ssINF))) 43.41/9.13 44:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssACTVT,np__3))) 43.41/9.13 45:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssEKGRP,ssI26))) 43.41/9.13 46:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__8))) 43.41/9.13 47:3:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ssRequisitionReleasedStep(x0,ssRGRP_01,ssVF,ssW1,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionReleasedStep(x10,ssRGRP_01,ssVF,ssW2,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> ren2(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) 43.41/9.13 48:2:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ssRequisitionReleasedStep(x0,ssRGRP_01,ssKF,ssW1,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> ren2(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9,x0) 43.41/9.13 49:2:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ren2(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> ssRequisitionReleased(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 50:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W1_MULTI,ssZRELEASE_WRK_INF_BASE)) 43.41/9.13 51:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssEKGRP,ssI26))) 43.41/9.13 52:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME53N))) 43.41/9.13 53:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W2_MULTI,ssZRELEASE_WRK_INF_BASE)) 43.41/9.13 54:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__2))) 43.41/9.13 55:7:10:INP:TopTopTopTopTopTopTopTopTopTop: ssRequisition(x0,x1,x2,x3,x4,x5,x6,x7,x8),ssStandardPurchase(x0),ssAccess(x9,ssME51N),ssAccess(x9,authObj(ssM_BANF_WRK,ssWERKS,x3)),ssAccess(x9,authObj(ssM_BANF_EKG,ssEKGRP,x4)),ssAccess(x9,authObj(ssM_BANF_BSA,ssBSART,x0)) -> ssRequisitionCreated(x9,x0,x1,x2,x3,x4,x5,x6,x7,x8) 43.41/9.13 56:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__1))) 43.41/9.13 57:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__2))) 43.41/9.13 58:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__3))) 43.41/9.13 59:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME23N))) 43.41/9.13 60:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssACTVT,np__2))) 43.41/9.13 61:9:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME53N)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x3)) -> ssAccess(x0,ssME53N) 43.41/9.13 62:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__2))) 43.41/9.13 63:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_BANF_BSA,ssBSART,ssDIRECT))) 43.41/9.13 64:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__9))) 43.41/9.13 65:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__1))) 43.41/9.13 66:1:0:INP:: -> ssHolds(ssMUELLER,ssZBANF_WRK_INF_ED) 43.41/9.13 67:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssACTVT,np__2))) 43.41/9.13 68:9:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x1)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x3)),ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME52N)) -> ssAccess(x0,ssME52N) 43.41/9.13 69:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__8))) 43.41/9.13 70:2:9:INP:TopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,ssGREATER_10000_EUR,x8) -> ssRequisitionCreated(skf1(x4,x7,x5,x6,x1,x2,x3,x8),x1,x2,x3,x4,x5,x6,x7,ssGREATER_10000_EUR,x8) 43.41/9.13 71:2:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ren3(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 72:2:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ren3(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11),ssRequisitionReleased(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> 43.41/9.13 73:2:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ren3(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11),ssRequisitionCreated(x11,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> 43.41/9.13 74:14:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisition(x0,x1,x2,x3,x4,x5,x6,x7,x8),ssDirectPurchase(x0),ssAccess(x9,authObj(ssM_EINK_GWT,ssGSWRT,x7)),ssAccess(x9,authObj(ssS_TCODE,ssTCD,ssME21NOFF)),ssAccess(x9,ssME22N),ssAccess(x9,authObj(ssM_BEST_WRK,ssWERKS,x3)),ssAccess(x9,authObj(ssM_BANF_BSA,ssBSART,x0)),ssAccess(x9,authObj(ssM_BEST_BSA,ssBSART,x0)),ssAccess(x9,authObj(ssM_BEST_EKG,ssEKGRP,x4)),ssAccess(x9,authObj(ssM_BEST_EKO,ssEKORG,x5)),ssAccess(x9,ssME23N),ssAccess(x9,ssME21N),ssAccess(x9,authObj(ssM_EINK_MKL,ssMATKL,x6)) -> ren3(x9,x0,x1,x2,x3,x4,x5,x6,x7,x8,x10,x11) 43.41/9.13 75:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_ALL,ssZORDER_WRK_INF_TYPE_ALL)) 43.41/9.13 76:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__9))) 43.41/9.13 77:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__3))) 43.41/9.13 78:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__1))) 43.41/9.13 79:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_EINK_GWT,ssGSWRT,ssSTAR))) 43.41/9.13 80:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__3))) 43.41/9.13 81:1:0:INP:: -> ssReleaseRequirement(ssVF,ssRGRP_01,ssW1) 43.41/9.13 82:1:0:INP:: -> ssHolds(ssLAMOTTE,ssZORDER_WRK_INF_OFFICE) 43.41/9.13 83:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssBSART,ssNB))) 43.41/9.13 84:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssEKORG,ssADSU))) 43.41/9.13 85:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_EINK_MKL,ssMATKL,ssSTAR))) 43.41/9.13 86:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssBSART,ssSTAR))) 43.41/9.13 87:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W1_MULTI,ssZRELEASE_WRK_INF_W1)) 43.41/9.13 88:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__8))) 43.41/9.13 89:12:6:INP:TopTopTopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME54N)),ssAccess(x0,ssME53N),ssAccess(x0,authObj(ssM_EINK_FRG,ssFRGGR,x1)),ssAccess(x0,authObj(ssM_EINK_FRG,ssFRGCO,x2)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x4)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x5)) -> ssAccess(x0,ssME54N) 43.41/9.13 90:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_EINK_GWT,ssGSWRT,ssSTAR))) 43.41/9.13 91:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME21N))) 43.41/9.13 92:2:2:INP:TopTop: ren4(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssGRSU))) -> 43.41/9.13 93:2:2:INP:TopTop: ren4(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) -> 43.41/9.13 94:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssADSU))) -> ren4(x0,x1) 43.41/9.13 95:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssACTVT,np__1))) 43.41/9.13 96:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_OFFICE,ssZORDER_WRK_INF_BASE)) 43.41/9.13 97:1:0:INP:: -> ssHolds(ssKAISER,ssZRELEASE_WRK_INF_W1_MULTI) 43.41/9.13 98:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssS_TCODE,ssTCD,ssME21NOFF))) 43.41/9.13 99:1:0:INP:: -> ssReleaseStrategy(ssVF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) 43.41/9.13 100:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__2))) 43.41/9.13 101:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W2,authObj(ssM_EINK_FRG,ssFRGCO,ssW2))) 43.41/9.13 102:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssACTVT,np__8))) 43.41/9.13 103:1:0:INP:: -> ssReleaseStrategy(ssKF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) 43.41/9.13 104:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME21N))) 43.41/9.13 105:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__8))) 43.41/9.13 106:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__9))) 43.41/9.13 107:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssACTVT,np__3))) 43.41/9.13 108:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssVF,x0,class(x1,property(ssFRG_CEBAN_EKGRP,x2))),ren5(x0,x1,x2,x3,x4) 43.41/9.13 109:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssVF,x0,class(x1,property(ssFRG_CEBAN_WERKS,x2))),ren5(x0,x1,x3,x2,x4) 43.41/9.13 110:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssVF,x0,class(x1,property(ssFRG_CEBAN_GSWRT,x2))),ren5(x0,x1,x3,x4,x2) 43.41/9.13 111:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssKF,x0,class(x1,property(ssFRG_CEBAN_WERKS,x2))),ren6(x0,x1,x2,x3,x4) 43.41/9.13 112:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssKF,x0,class(x1,property(ssFRG_CEBAN_GSWRT,x2))),ren6(x0,x1,x3,x2,x4) 43.41/9.13 113:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssKF,x0,class(x1,property(ssFRG_CEBAN_EKGRP,x2))),ren6(x0,x1,x3,x4,x2) 43.41/9.13 114:4:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ren5(x10,x11,x5,x4,x8),ren6(x10,x11,x4,x8,x5) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 115:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_BSA,ssBSART,ssSTAR))) 43.41/9.13 116:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_BEST_BSA,ssBSART,ssSTAR))) 43.41/9.13 117:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__1))) 43.41/9.13 118:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__2))) 43.41/9.13 119:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssEKGRP,ssI26))) 43.41/9.13 120:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_EKG,ssACTVT,ssSTAR))) 43.41/9.13 121:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__1))) 43.41/9.13 122:4:7:INP:TopTopTopTopTopTopTop: ssCompositeRole(compositeRoleEntry(x0,x1)),ssSingleRole(singleRoleEntry(x1,authObj(x2,x3,x4))),ssHolds(x5,x0) -> ren7(x0,x1,x2,x3,x4,x5,x6) 43.41/9.13 123:3:7:INP:TopTopTopTopTopTopTop: ssHolds(x0,x1),ssSingleRole(singleRoleEntry(x1,authObj(x2,x3,x4))) -> ren7(x5,x1,x2,x3,x4,x0,x6) 43.41/9.13 124:3:7:INP:TopTopTopTopTopTopTop: ssProfile(profileEntry(x0,authObj(x1,x2,x3))),ssHolds(x4,x0) -> ren7(x5,x6,x1,x2,x3,x4,x0) 43.41/9.13 125:2:7:INP:TopTopTopTopTopTopTop: ren7(x0,x1,x2,x3,x4,x5,x6) -> ssUserProfile(userProfileEntry(x5,authObj(x2,x3,x4))) 43.41/9.13 126:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssBSART,ssNB))) 43.41/9.13 127:2:9:INP:TopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,ssGREATER_1000_LESS_10000_EUR,x8) -> ssRequisitionCreated(skf2(x4,x7,x5,x6,x1,x2,x3,x8),x1,x2,x3,x4,x5,x6,x7,ssGREATER_1000_LESS_10000_EUR,x8) 43.41/9.13 128:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__3))) 43.41/9.13 129:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_BEST_BSA,ssBSART,ssDIRECT))) 43.41/9.13 130:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssWERKS,ssADSU))) 43.41/9.13 131:2:4:INP:TopTopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssSTAR))) -> ssAccess(x0,authObj(x1,x2,x3)) 43.41/9.13 132:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI27))),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI26))) -> 43.41/9.13 133:2:2:INP:TopTop: ren8(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssGRSU))) -> 43.41/9.13 134:2:2:INP:TopTop: ren8(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssADSU))) -> 43.41/9.13 135:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) -> ren8(x0,x1) 43.41/9.13 136:1:0:INP:: -> ssReleaseRequirement(ssVF,ssRGRP_01,ssW2) 43.41/9.13 137:1:0:INP:: -> ssDirectPurchase(ssDIRECT) 43.41/9.13 138:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_EKG,ssEKGRP,ssI26))) 43.41/9.13 139:2:2:INP:TopTop: ren9(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssLESS_EQUAL_1000_EUR))) -> 43.41/9.13 140:2:2:INP:TopTop: ren9(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) -> 43.41/9.13 141:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) -> ren9(x0,x1) 43.41/9.13 142:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W2,authObj(ssM_EINK_FRG,ssFRGGR,ssRGRP_01))) 43.41/9.13 143:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__9))) 43.41/9.13 144:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__1))) 43.41/9.13 145:8:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x1)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__1)),ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME51N)) -> ssAccess(x0,ssME51N) 43.41/9.13 146:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssACTVT,np__3))) 43.41/9.13 147:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__2))) 43.41/9.13 148:2:3:INP:TopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssGREATER_10000_EUR))) -> ssAccess(x0,authObj(x1,x2,ssGREATER_1000_LESS_10000_EUR)) 43.41/9.13 149:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssWERKS,ssINF))) 43.41/9.13 150:1:0:INP:: -> ssStandardPurchase(ssNB) 43.41/9.13 151:2:3:INP:TopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssGREATER_10000_EUR))) -> ren10(x0,x1,x2) 43.41/9.13 152:2:3:INP:TopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssGREATER_1000_LESS_10000_EUR))) -> ren10(x0,x1,x2) 43.41/9.13 153:2:3:INP:TopTopTop: ren10(x0,x1,x2) -> ssAccess(x0,authObj(x1,x2,ssLESS_EQUAL_1000_EUR)) 43.41/9.13 154:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__3))) 43.41/9.13 155:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__8))) 43.41/9.13 156:12:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssAccess(x10,ssME23N),ssAccess(x10,authObj(ssM_BEST_WRK,ssWERKS,x4)),ssAccess(x10,authObj(ssM_BEST_BSA,ssBSART,x1)),ssAccess(x10,authObj(ssM_BEST_EKG,ssEKGRP,x5)),ssAccess(x10,authObj(ssM_BEST_EKO,ssEKORG,x6)),ssAccess(x10,authObj(ssM_EINK_GWT,ssGSWRT,x8)),ssAccess(x10,authObj(ssM_EINK_MKL,ssMATKL,x7)),ssAccess(x10,authObj(ssM_BANF_BSA,ssBSART,x1)),ssAccess(x10,ssME22N),ssAccess(x10,ssME21N) -> ssOrderCreated(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 157:1:0:INP:: -> ssHolds(ssSCHMITT,ssZORDER_WRK_INF_ALL) 43.41/9.13 158:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__9))) 43.41/9.13 159:1:8:INP:TopTopTopTopTopTopTopTop: -> ssRequisition(x0,x1,x2,x3,ssINF,x4,x5,x6,x7) 43.41/9.13 160:1:8:INP:TopTopTopTopTopTopTopTop: ssRequisitionCreated(ssMUELLER,x0,x1,x2,ssINF,x3,x4,x5,x6,x7) -> 43.41/9.13 161:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_EINK_GWT,ssGSWRT,ssLESS_EQUAL_1000_EUR))) 43.41/9.13 162:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME53N))) 43.41/9.13 163:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssACTVT,np__1))) 43.41/9.13 164:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__8))) 43.41/9.13 165:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__8))) 43.41/9.13 166:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_OFFICE,ssZORDER_WRK_INF_TYPE_OFFICE)) 43.41/9.13 167:1:0:INP:: -> ssHolds(ssMEIER,ssZRELEASE_WRK_INF_W2_MULTI) 43.41/9.13 168:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__3))) 43.41/9.13 169:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssWERKS,ssADSU))) 43.41/9.13 170:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssS_TCODE,ssTCD,ssME51N))) 43.41/9.13 171:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__1))) 43.41/9.13 172:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__2))) 43.41/9.13 173:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W1,authObj(ssM_EINK_FRG,ssFRGGR,ssRGRP_01))) 43.41/9.13 174:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__3))) 43.41/9.13 175:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME54N))) 43.41/9.13 176:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_EKG,ssEKGRP,ssI26))) 43.41/9.13 177:18:5:INP:TopTopTopTopTop: ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKO,ssEKORG,x1)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BEST_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKG,ssEKGRP,x3)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BEST_WRK,ssWERKS,x4)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__3)),ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME23N)) -> ssAccess(x0,ssME23N) 43.41/9.13 178:2:2:INP:TopTop: ren11(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssADSU))) -> 43.41/9.13 179:2:2:INP:TopTop: ren11(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) -> 43.41/9.13 180:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssGRSU))) -> ren11(x0,x1) 43.41/9.13 181:2:1:INP:Top: ssDirectPurchase(x0),ssStandardPurchase(x0) -> 43.41/9.13 182:2:2:INP:TopTop: ren12(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) -> 43.41/9.13 183:2:2:INP:TopTop: ren12(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) -> 43.41/9.13 184:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssLESS_EQUAL_1000_EUR))) -> ren12(x0,x1) 43.41/9.13 185:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__3))) 43.41/9.13 186:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W2_MULTI,ssZRELEASE_WRK_INF_W2)) 43.41/9.13 187:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__1))) 43.41/9.13 188:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI26))),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI27))) -> 43.41/9.13 43.41/9.13 Predicates: ssSingleRole ssRequisitionReleasedStep ssReleaseStrategy ssAccess ssReleaseRequirement ssRequisitionCreated ssUserProfile ssCompositeRole ssOrderCreated ssRequisitionReleased ssRequisition ssStandardPurchase ssHolds ssDirectPurchase ssProfile ren1 ren2 ren3 ren4 ren5 ren6 ren7 ren8 ren9 ren10 ren11 ren12 43.41/9.13 Fol Constants: ssZRELEASE_WRK_INF_BASE ssM_BANF_WRK ssACTVT np__2 ssZORDER_WRK_INF_TYPE_ALL ssM_BANF_BSA ssBSART ssSTAR ssZORDER_WRK_ADSU_ED ssM_BEST_BSA np__9 ssZBANF_WRK_ADSU_ED ssS_TCODE ssTCD ssME52N np__1 ssFRG_CEBAN_EKGRP ssFRG_CEBAN_WERKS ssFRG_CEBAN_GSWRT ssM_EINK_FRG ssFRGGR ssM_BANF_EKG ssEKGRP ssWERKS ssME54N ssFRGCO ssM_BEST_WRK ssZRELEASE_WRK_INF_W1 ssW1 ssVF ssRGRP_01 ssFRG_EBAN ssI26 ssZBANF_WRK_INF_ED ssZORDER_WRK_INF_BASE np__8 np__3 ssINF ssZORDER_WRK_INF_TYPE_OFFICE ssM_EINK_MKL ssMATKL ssB0002 ssKF ssGREATER_10000_EUR ssME21N ssM_BEST_EKO ssEKORG ssM_BEST_EKG ssME22N ssLESS_EQUAL_1000_EUR ssGREATER_1000_LESS_10000_EUR ssZORDER_WRK_INF_ALL ssME51N ssNB ssW2 ssZRELEASE_WRK_INF_W1_MULTI ssME53N ssZRELEASE_WRK_INF_W2_MULTI ssME23N ssDIRECT ssMUELLER ssM_EINK_GWT ssGSWRT ssME21NOFF ssLAMOTTE ssZORDER_WRK_INF_OFFICE ssADSU ssGRSU ssKAISER ssZRELEASE_WRK_INF_W2 ssI27 ssSCHMITT ssMEIER 43.41/9.13 Fol Functions: authObj singleRoleEntry property class userProfileEntry compositeRoleEntry profileEntry skf1 skf2 43.41/9.13 Problem Properties: 43.41/9.13 This is a full first-order problem without equality. 43.41/9.13 43.41/9.13 After reduction: Problem Properties: 43.41/9.13 This is a full first-order problem without equality. 43.41/9.13 43.41/9.13 43.41/9.13 Reduced Input Clauses: 43.41/9.13 1:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssACTVT,np__2))) 43.41/9.13 2:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_BANF_BSA,ssBSART,ssSTAR))) 43.41/9.13 3:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__9))) 43.41/9.13 4:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME52N))) 43.41/9.13 5:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssACTVT,np__1))) 43.41/9.13 6:12:15:INP:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_EKGRP,x3))),ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_WERKS,x4))),ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_GSWRT,x5))),ssAccess(x6,authObj(ssM_EINK_FRG,ssFRGGR,x1)),ssAccess(x6,authObj(ssM_BANF_BSA,ssBSART,x7)),ssAccess(x6,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x6,authObj(ssM_BANF_WRK,ssWERKS,x4)),ssAccess(x6,ssME54N),ssAccess(x6,authObj(ssM_EINK_FRG,ssFRGCO,x8)),ssReleaseRequirement(x0,x1,x8),ssRequisitionCreated(x9,x7,x10,x11,x4,x3,x12,x13,x5,x14) -> ssRequisitionReleasedStep(x6,x1,x0,x8,x7,x10,x11,x4,x3,x12,x13,x5,x14) 43.41/9.13 7:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__2))) 43.41/9.13 8:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssACTVT,ssSTAR))) 43.41/9.13 9:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W1,authObj(ssM_EINK_FRG,ssFRGCO,ssW1))) 43.41/9.13 10:1:0:INP:: -> ssReleaseStrategy(ssVF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI26))) 43.41/9.13 11:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_EKG,ssACTVT,ssSTAR))) 43.41/9.13 12:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__8))) 43.41/9.13 13:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssACTVT,np__3))) 43.41/9.13 14:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssWERKS,ssINF))) 43.41/9.13 15:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_EINK_MKL,ssMATKL,ssB0002))) 43.41/9.13 16:1:0:INP:: -> ssReleaseStrategy(ssKF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) 43.41/9.13 17:1:0:INP:: -> ssReleaseStrategy(ssVF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) 43.41/9.13 18:1:0:INP:: -> ssReleaseRequirement(ssKF,ssRGRP_01,ssW1) 43.41/9.13 19:17:5:INP:TopTopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME21N)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKO,ssEKORG,x1)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_WRK,ssWERKS,x3)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKG,ssEKGRP,x4)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__1)) -> ssAccess(x0,ssME21N) 43.41/9.13 20:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssACTVT,np__8))) 43.41/9.13 21:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__9))) 43.41/9.13 22:20:5:INP:TopTopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME22N)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssBSART,x1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x1)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_WRK,ssWERKS,x2)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKG,ssEKGRP,x3)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BEST_EKO,ssEKORG,x4)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__2)) -> ssAccess(x0,ssME22N) 43.41/9.13 23:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__2))) 43.41/9.13 24:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME22N))) 43.41/9.13 25:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_EINK_MKL,ssMATKL,ssSTAR))) 43.41/9.13 26:2:2:INP:TopTop: ren1(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) -> 43.41/9.13 27:2:2:INP:TopTop: ren1(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssLESS_EQUAL_1000_EUR))) -> 43.41/9.13 28:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) -> ren1(x0,x1) 43.41/9.13 29:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssACTVT,np__2))) 43.41/9.13 30:2:4:INP:TopTopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,x3))) -> ssAccess(x0,authObj(x1,x2,x3)) 43.41/9.13 31:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__1))) 43.41/9.13 32:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_ALL,ssZORDER_WRK_INF_BASE)) 43.41/9.13 33:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssEKORG,ssINF))) 43.41/9.13 34:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_BSA,ssACTVT,ssSTAR))) 43.41/9.13 35:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME51N))) 43.41/9.13 36:1:9:INP:TopTopTopTopTopTopTopTopTop: -> ssRequisition(x0,x1,x2,x3,x4,x5,x6,x7,x8) 43.41/9.13 37:3:10:INP:TopTopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> 43.41/9.13 38:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssBSART,ssNB))) 43.41/9.13 39:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__8))) 43.41/9.13 40:1:0:INP:: -> ssReleaseStrategy(ssKF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI26))) 43.41/9.13 41:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__3))) 43.41/9.13 42:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__9))) 43.41/9.13 43:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssWERKS,ssINF))) 43.41/9.13 44:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssACTVT,np__3))) 43.41/9.13 45:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssEKGRP,ssI26))) 43.41/9.13 46:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__8))) 43.41/9.13 47:3:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ssRequisitionReleasedStep(x0,ssRGRP_01,ssVF,ssW1,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionReleasedStep(x10,ssRGRP_01,ssVF,ssW2,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> ren2(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) 43.41/9.13 48:2:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ssRequisitionReleasedStep(x0,ssRGRP_01,ssKF,ssW1,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> ren2(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9,x0) 43.41/9.13 49:2:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ren2(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10) -> ssRequisitionReleased(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 50:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W1_MULTI,ssZRELEASE_WRK_INF_BASE)) 43.41/9.13 51:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssEKGRP,ssI26))) 43.41/9.13 52:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME53N))) 43.41/9.13 53:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W2_MULTI,ssZRELEASE_WRK_INF_BASE)) 43.41/9.13 54:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__2))) 43.41/9.13 189:6:10:[36.0,55.0]:TopTopTopTopTopTopTopTopTopTop: ssStandardPurchase(x0),ssAccess(x1,ssME51N),ssAccess(x1,authObj(ssM_BANF_WRK,ssWERKS,x2)),ssAccess(x1,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x1,authObj(ssM_BANF_BSA,ssBSART,x0)) -> ssRequisitionCreated(x1,x0,x4,x5,x2,x3,x6,x7,x8,x9) 43.41/9.13 56:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__1))) 43.41/9.13 57:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__2))) 43.41/9.13 58:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__3))) 43.41/9.13 59:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME23N))) 43.41/9.13 60:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssACTVT,np__2))) 43.41/9.13 61:9:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME53N)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x3)) -> ssAccess(x0,ssME53N) 43.41/9.13 62:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__2))) 43.41/9.13 63:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_BANF_BSA,ssBSART,ssDIRECT))) 43.41/9.13 64:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__9))) 43.41/9.13 65:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__1))) 43.41/9.13 66:1:0:INP:: -> ssHolds(ssMUELLER,ssZBANF_WRK_INF_ED) 43.41/9.13 67:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssACTVT,np__2))) 43.41/9.13 68:9:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x1)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x3)),ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME52N)) -> ssAccess(x0,ssME52N) 43.41/9.13 69:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__8))) 43.41/9.13 70:2:9:INP:TopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,ssGREATER_10000_EUR,x8) -> ssRequisitionCreated(skf1(x4,x7,x5,x6,x1,x2,x3,x8),x1,x2,x3,x4,x5,x6,x7,ssGREATER_10000_EUR,x8) 43.41/9.13 71:2:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ren3(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11) -> ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 72:2:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ren3(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11),ssRequisitionReleased(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> 43.41/9.13 73:2:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ren3(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11),ssRequisitionCreated(x11,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> 43.41/9.13 190:13:12:[36.0,74.0]:TopTopTopTopTopTopTopTopTopTopTopTop: ssDirectPurchase(x0),ssAccess(x1,authObj(ssM_EINK_GWT,ssGSWRT,x2)),ssAccess(x1,authObj(ssS_TCODE,ssTCD,ssME21NOFF)),ssAccess(x1,ssME22N),ssAccess(x1,authObj(ssM_BEST_WRK,ssWERKS,x3)),ssAccess(x1,authObj(ssM_BANF_BSA,ssBSART,x0)),ssAccess(x1,authObj(ssM_BEST_BSA,ssBSART,x0)),ssAccess(x1,authObj(ssM_BEST_EKG,ssEKGRP,x4)),ssAccess(x1,authObj(ssM_BEST_EKO,ssEKORG,x5)),ssAccess(x1,ssME23N),ssAccess(x1,ssME21N),ssAccess(x1,authObj(ssM_EINK_MKL,ssMATKL,x6)) -> ren3(x1,x0,x7,x8,x3,x4,x5,x6,x2,x9,x10,x11) 43.41/9.13 75:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_ALL,ssZORDER_WRK_INF_TYPE_ALL)) 43.41/9.13 76:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__9))) 43.41/9.13 77:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__3))) 43.41/9.13 78:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__1))) 43.41/9.13 79:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_EINK_GWT,ssGSWRT,ssSTAR))) 43.41/9.13 80:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__3))) 43.41/9.13 81:1:0:INP:: -> ssReleaseRequirement(ssVF,ssRGRP_01,ssW1) 43.41/9.13 82:1:0:INP:: -> ssHolds(ssLAMOTTE,ssZORDER_WRK_INF_OFFICE) 43.41/9.13 83:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssBSART,ssNB))) 43.41/9.13 84:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssEKORG,ssADSU))) 43.41/9.13 85:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_EINK_MKL,ssMATKL,ssSTAR))) 43.41/9.13 86:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssBSART,ssSTAR))) 43.41/9.13 87:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W1_MULTI,ssZRELEASE_WRK_INF_W1)) 43.41/9.13 88:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__8))) 43.41/9.13 89:12:6:INP:TopTopTopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME54N)),ssAccess(x0,ssME53N),ssAccess(x0,authObj(ssM_EINK_FRG,ssFRGGR,x1)),ssAccess(x0,authObj(ssM_EINK_FRG,ssFRGCO,x2)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x4)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x5)) -> ssAccess(x0,ssME54N) 43.41/9.13 90:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_EINK_GWT,ssGSWRT,ssSTAR))) 43.41/9.13 91:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssS_TCODE,ssTCD,ssME21N))) 43.41/9.13 92:2:2:INP:TopTop: ren4(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssGRSU))) -> 43.41/9.13 93:2:2:INP:TopTop: ren4(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) -> 43.41/9.13 94:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssADSU))) -> ren4(x0,x1) 43.41/9.13 95:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssACTVT,np__1))) 43.41/9.13 96:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_OFFICE,ssZORDER_WRK_INF_BASE)) 43.41/9.13 97:1:0:INP:: -> ssHolds(ssKAISER,ssZRELEASE_WRK_INF_W1_MULTI) 43.41/9.13 98:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssS_TCODE,ssTCD,ssME21NOFF))) 43.41/9.13 99:1:0:INP:: -> ssReleaseStrategy(ssVF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) 43.41/9.13 100:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__2))) 43.41/9.13 101:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W2,authObj(ssM_EINK_FRG,ssFRGCO,ssW2))) 43.41/9.13 102:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_EKG,ssACTVT,np__8))) 43.41/9.13 103:1:0:INP:: -> ssReleaseStrategy(ssKF,ssRGRP_01,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) 43.41/9.13 104:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME21N))) 43.41/9.13 105:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__8))) 43.41/9.13 106:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__9))) 43.41/9.13 107:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_WRK,ssACTVT,np__3))) 43.41/9.13 108:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssVF,x0,class(x1,property(ssFRG_CEBAN_EKGRP,x2))),ren5(x0,x1,x2,x3,x4) 43.41/9.13 109:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssVF,x0,class(x1,property(ssFRG_CEBAN_WERKS,x2))),ren5(x0,x1,x3,x2,x4) 43.41/9.13 110:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssVF,x0,class(x1,property(ssFRG_CEBAN_GSWRT,x2))),ren5(x0,x1,x3,x4,x2) 43.41/9.13 111:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssKF,x0,class(x1,property(ssFRG_CEBAN_WERKS,x2))),ren6(x0,x1,x2,x3,x4) 43.41/9.13 112:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssKF,x0,class(x1,property(ssFRG_CEBAN_GSWRT,x2))),ren6(x0,x1,x3,x2,x4) 43.41/9.13 113:2:5:INP:TopTopTopTopTop: -> ssReleaseStrategy(ssKF,x0,class(x1,property(ssFRG_CEBAN_EKGRP,x2))),ren6(x0,x1,x3,x4,x2) 43.41/9.13 114:4:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ren5(x10,x11,x5,x4,x8),ren6(x10,x11,x4,x8,x5) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 115:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_BSA,ssBSART,ssSTAR))) 43.41/9.13 116:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_ALL,authObj(ssM_BEST_BSA,ssBSART,ssSTAR))) 43.41/9.13 117:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__1))) 43.41/9.13 118:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__2))) 43.41/9.13 119:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssEKGRP,ssI26))) 43.41/9.13 120:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_EKG,ssACTVT,ssSTAR))) 43.41/9.13 121:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__1))) 43.41/9.13 122:4:7:INP:TopTopTopTopTopTopTop: ssCompositeRole(compositeRoleEntry(x0,x1)),ssSingleRole(singleRoleEntry(x1,authObj(x2,x3,x4))),ssHolds(x5,x0) -> ren7(x0,x1,x2,x3,x4,x5,x6) 43.41/9.13 123:3:7:INP:TopTopTopTopTopTopTop: ssHolds(x0,x1),ssSingleRole(singleRoleEntry(x1,authObj(x2,x3,x4))) -> ren7(x5,x1,x2,x3,x4,x0,x6) 43.41/9.13 124:3:7:INP:TopTopTopTopTopTopTop: ssProfile(profileEntry(x0,authObj(x1,x2,x3))),ssHolds(x4,x0) -> ren7(x5,x6,x1,x2,x3,x4,x0) 43.41/9.13 125:2:7:INP:TopTopTopTopTopTopTop: ren7(x0,x1,x2,x3,x4,x5,x6) -> ssUserProfile(userProfileEntry(x5,authObj(x2,x3,x4))) 43.41/9.13 126:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BANF_BSA,ssBSART,ssNB))) 43.41/9.13 127:2:9:INP:TopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,ssGREATER_1000_LESS_10000_EUR,x8) -> ssRequisitionCreated(skf2(x4,x7,x5,x6,x1,x2,x3,x8),x1,x2,x3,x4,x5,x6,x7,ssGREATER_1000_LESS_10000_EUR,x8) 43.41/9.13 128:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__3))) 43.41/9.13 129:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_BEST_BSA,ssBSART,ssDIRECT))) 43.41/9.13 130:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssWERKS,ssADSU))) 43.41/9.13 131:2:4:INP:TopTopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssSTAR))) -> ssAccess(x0,authObj(x1,x2,x3)) 43.41/9.13 188:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI26))),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_EKGRP,ssI27))) -> 43.41/9.13 133:2:2:INP:TopTop: ren8(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssGRSU))) -> 43.41/9.13 134:2:2:INP:TopTop: ren8(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssADSU))) -> 43.41/9.13 135:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) -> ren8(x0,x1) 43.41/9.13 136:1:0:INP:: -> ssReleaseRequirement(ssVF,ssRGRP_01,ssW2) 43.41/9.13 137:1:0:INP:: -> ssDirectPurchase(ssDIRECT) 43.41/9.13 138:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_EKG,ssEKGRP,ssI26))) 43.41/9.13 139:2:2:INP:TopTop: ren9(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssLESS_EQUAL_1000_EUR))) -> 43.41/9.13 140:2:2:INP:TopTop: ren9(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) -> 43.41/9.13 141:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) -> ren9(x0,x1) 43.41/9.13 142:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W2,authObj(ssM_EINK_FRG,ssFRGGR,ssRGRP_01))) 43.41/9.13 143:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKO,ssACTVT,np__9))) 43.41/9.13 144:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__1))) 43.41/9.13 145:8:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x1)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__1)),ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME51N)) -> ssAccess(x0,ssME51N) 43.41/9.13 146:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_WRK,ssACTVT,np__3))) 43.41/9.13 147:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__2))) 43.41/9.13 148:2:3:INP:TopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssGREATER_10000_EUR))) -> ssAccess(x0,authObj(x1,x2,ssGREATER_1000_LESS_10000_EUR)) 43.41/9.13 149:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssWERKS,ssINF))) 43.41/9.13 150:1:0:INP:: -> ssStandardPurchase(ssNB) 43.41/9.13 151:2:3:INP:TopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssGREATER_10000_EUR))) -> ren10(x0,x1,x2) 43.41/9.13 152:2:3:INP:TopTopTop: ssUserProfile(userProfileEntry(x0,authObj(x1,x2,ssGREATER_1000_LESS_10000_EUR))) -> ren10(x0,x1,x2) 43.41/9.13 153:2:3:INP:TopTopTop: ren10(x0,x1,x2) -> ssAccess(x0,authObj(x1,x2,ssLESS_EQUAL_1000_EUR)) 43.41/9.13 154:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__3))) 43.41/9.13 155:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__8))) 43.41/9.13 156:12:11:INP:TopTopTopTopTopTopTopTopTopTopTop: ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssAccess(x10,ssME23N),ssAccess(x10,authObj(ssM_BEST_WRK,ssWERKS,x4)),ssAccess(x10,authObj(ssM_BEST_BSA,ssBSART,x1)),ssAccess(x10,authObj(ssM_BEST_EKG,ssEKGRP,x5)),ssAccess(x10,authObj(ssM_BEST_EKO,ssEKORG,x6)),ssAccess(x10,authObj(ssM_EINK_GWT,ssGSWRT,x8)),ssAccess(x10,authObj(ssM_EINK_MKL,ssMATKL,x7)),ssAccess(x10,authObj(ssM_BANF_BSA,ssBSART,x1)),ssAccess(x10,ssME22N),ssAccess(x10,ssME21N) -> ssOrderCreated(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) 43.41/9.13 157:1:0:INP:: -> ssHolds(ssSCHMITT,ssZORDER_WRK_INF_ALL) 43.41/9.13 158:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssACTVT,np__9))) 43.41/9.13 187:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_WRK,ssACTVT,np__1))) 43.41/9.13 160:1:8:INP:TopTopTopTopTopTopTopTop: ssRequisitionCreated(ssMUELLER,x0,x1,x2,ssINF,x3,x4,x5,x6,x7) -> 43.41/9.13 161:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_TYPE_OFFICE,authObj(ssM_EINK_GWT,ssGSWRT,ssLESS_EQUAL_1000_EUR))) 43.41/9.13 162:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME53N))) 43.41/9.13 163:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssM_BANF_WRK,ssACTVT,np__1))) 43.41/9.13 164:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKO,ssACTVT,np__8))) 43.41/9.13 165:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssM_BANF_BSA,ssACTVT,np__8))) 43.41/9.13 166:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZORDER_WRK_INF_OFFICE,ssZORDER_WRK_INF_TYPE_OFFICE)) 43.41/9.13 167:1:0:INP:: -> ssHolds(ssMEIER,ssZRELEASE_WRK_INF_W2_MULTI) 43.41/9.13 168:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_EKG,ssACTVT,np__3))) 43.41/9.13 169:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_WRK,ssWERKS,ssADSU))) 43.41/9.13 170:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_INF_ED,authObj(ssS_TCODE,ssTCD,ssME51N))) 43.41/9.13 171:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_INF_BASE,authObj(ssM_BEST_BSA,ssACTVT,np__1))) 43.41/9.13 172:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__2))) 43.41/9.13 173:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_W1,authObj(ssM_EINK_FRG,ssFRGGR,ssRGRP_01))) 43.41/9.13 174:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_BSA,ssACTVT,np__3))) 43.41/9.13 175:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZRELEASE_WRK_INF_BASE,authObj(ssS_TCODE,ssTCD,ssME54N))) 43.41/9.13 176:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZBANF_WRK_ADSU_ED,authObj(ssM_BANF_EKG,ssEKGRP,ssI26))) 43.41/9.13 177:18:5:INP:TopTopTopTopTop: ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKO,ssEKORG,x1)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BEST_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_EKG,ssEKGRP,x3)),ssAccess(x0,authObj(ssM_BEST_EKG,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BEST_WRK,ssWERKS,x4)),ssAccess(x0,authObj(ssM_BEST_WRK,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__9)),ssAccess(x0,authObj(ssM_BEST_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BEST_EKO,ssACTVT,np__3)),ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME23N)) -> ssAccess(x0,ssME23N) 43.41/9.13 178:2:2:INP:TopTop: ren11(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssADSU))) -> 43.41/9.13 179:2:2:INP:TopTop: ren11(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssINF))) -> 43.41/9.13 180:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_WERKS,ssGRSU))) -> ren11(x0,x1) 43.41/9.13 181:2:1:INP:Top: ssDirectPurchase(x0),ssStandardPurchase(x0) -> 43.41/9.13 182:2:2:INP:TopTop: ren12(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_1000_LESS_10000_EUR))) -> 43.41/9.13 183:2:2:INP:TopTop: ren12(x0,x1),ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssGREATER_10000_EUR))) -> 43.41/9.13 184:2:2:INP:TopTop: ssReleaseStrategy(x0,x1,class(ssFRG_EBAN,property(ssFRG_CEBAN_GSWRT,ssLESS_EQUAL_1000_EUR))) -> ren12(x0,x1) 43.41/9.13 185:1:0:INP:: -> ssSingleRole(singleRoleEntry(ssZORDER_WRK_ADSU_ED,authObj(ssM_BEST_EKG,ssACTVT,np__3))) 43.41/9.13 186:1:0:INP:: -> ssCompositeRole(compositeRoleEntry(ssZRELEASE_WRK_INF_W2_MULTI,ssZRELEASE_WRK_INF_W2)) 43.41/9.13 43.41/9.13 Most General Atoms: ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_EKGRP,x3))) ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_WERKS,x4))) ssReleaseStrategy(x0,x1,class(x2,property(ssFRG_CEBAN_GSWRT,x5))) ssReleaseRequirement(x0,x1,x8) ssRequisitionReleasedStep(x6,x1,x0,x8,x7,x10,x11,x4,x3,x12,x13,x5,x14) ren1(x0,x1) ssAccess(x0,authObj(x1,x2,x3)) ssRequisition(x0,x1,x2,x3,x4,x5,x6,x7,x8) ren2(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9,x0) ssRequisitionReleased(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) ssStandardPurchase(x0) ssAccess(x0,ssME53N) ssAccess(x0,ssME52N) ssRequisitionCreated(x11,x1,x2,x3,x4,x5,x6,x7,x8,x9) ssDirectPurchase(x0) ren3(x1,x0,x7,x8,x3,x4,x5,x6,x2,x9,x10,x11) ssAccess(x0,ssME54N) ren4(x0,x1) ren5(x10,x11,x5,x4,x8) ren6(x10,x11,x4,x8,x5) ssCompositeRole(compositeRoleEntry(x0,x1)) ssSingleRole(singleRoleEntry(x1,authObj(x2,x3,x4))) ssProfile(profileEntry(x0,authObj(x1,x2,x3))) ssHolds(x4,x0) ren7(x5,x6,x1,x2,x3,x4,x0) ssUserProfile(userProfileEntry(x5,authObj(x2,x3,x4))) ren8(x0,x1) ren9(x0,x1) ssAccess(x0,ssME51N) ren10(x0,x1,x2) ssAccess(x10,ssME22N) ssAccess(x10,ssME21N) ssOrderCreated(x10,x1,x2,x3,x4,x5,x6,x7,x8,x9) ssAccess(x0,ssME23N) ren11(x0,x1) ren12(x0,x1) 43.41/9.13 43.41/9.13 === Starting SPASS-SCL-FOL A Little Less Naive, considering 239 atoms initially, heuristics mode: lmodel_grow === 43.41/9.13 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 263 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 284 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 305 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 328 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 354 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 379 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 389 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 397 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 401 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 412 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 417 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 419 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 426 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 467 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 487 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 514 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 530 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 541 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 546 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 550 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 556 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 588 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 601 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 624 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 641 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 652 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 664 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 676 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 691 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 705 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 720 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 727 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 740 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 752 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 765 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 778 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 783 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 794 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 806 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 811 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 817 43.41/9.13 === Conflict found: 125:2:7:INP:TopTopTopTopTopTopTop: ren7(x0,x1,x2,x3,x4,x5,x6) -> ssUserProfile(userProfileEntry(x5,authObj(x2,x3,x4))) {x0 -> ssMEIER, x1 -> ssZRELEASE_WRK_INF_W2, x2 -> ssM_EINK_FRG, x3 -> ssFRGCO, x4 -> ssZRELEASE_WRK_INF_BASE, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE} 43.41/9.13 === Backtracking. Learning clause 191:3:5:[125.1,123.3,30.1]:TopTopTopTopTop: ssHolds(x0,x1),ssSingleRole(singleRoleEntry(x1,authObj(x2,x3,x4))) -> ssAccess(x0,authObj(x2,x3,x4)) 43.41/9.13 === Conflict found: 37:3:10:INP:TopTopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> {x0 -> ssSCHMITT, x1 -> ssZRELEASE_WRK_INF_BASE, x2 -> ssZRELEASE_WRK_INF_BASE, x3 -> ssZRELEASE_WRK_INF_BASE, x4 -> ssZRELEASE_WRK_INF_BASE, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE, x7 -> ssZRELEASE_WRK_INF_BASE, x8 -> ssZRELEASE_WRK_INF_BASE, x9 -> ssZRELEASE_WRK_INF_BASE} 43.41/9.13 === Backtracking. Learning clause 192:4:12:[37.2,114.4]:TopTopTopTopTopTopTopTopTopTopTopTop: ssOrderCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ren5(x10,x11,x5,x4,x8),ren6(x10,x11,x4,x8,x5) -> 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 868 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 898 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 911 43.41/9.13 === Conflict found: 114:4:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ren5(x10,x11,x5,x4,x8),ren6(x10,x11,x4,x8,x5) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) {x0 -> ssLAMOTTE, x1 -> ssZRELEASE_WRK_INF_BASE, x2 -> ssZRELEASE_WRK_INF_BASE, x3 -> ssZRELEASE_WRK_INF_BASE, x4 -> ssZRELEASE_WRK_INF_BASE, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE, x7 -> ssZRELEASE_WRK_INF_BASE, x8 -> ssGREATER_10000_EUR, x9 -> ssZRELEASE_WRK_INF_BASE, x10 -> ssMEIER, x11 -> ssKAISER} 43.41/9.13 === Backtracking. Learning clause 193:4:12:[114.3,111.2,109.2]:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssReleaseStrategy(ssKF,x10,class(x11,property(ssFRG_CEBAN_WERKS,x4))),ssReleaseStrategy(ssVF,x10,class(x11,property(ssFRG_CEBAN_WERKS,x4))) 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 953 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 968 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 976 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 983 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 991 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 995 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 999 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1004 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1011 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1021 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1028 43.41/9.13 === Conflict found: 61:9:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME53N)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__8)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__3)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x3)) -> ssAccess(x0,ssME53N) {x0 -> ssKAISER, x1 -> ssINF, x2 -> ssZRELEASE_WRK_INF_BASE, x3 -> ssI26} 43.41/9.13 === Backtracking. Learning clause 194:24:15:[61.7,191.3,191.3,89.2,191.3,191.3,191.3,191.3,191.3,191.3,191.3]:TopTopTopTopTopTopTopTopTopTopTopTopTopTopTop: ssHolds(x0,x1),ssSingleRole(singleRoleEntry(x1,authObj(ssM_BANF_EKG,ssACTVT,np__3))),ssHolds(x0,x2),ssSingleRole(singleRoleEntry(x2,authObj(ssM_BANF_BSA,ssACTVT,np__3))),ssAccess(x0,authObj(ssM_EINK_FRG,ssFRGGR,x3)),ssAccess(x0,authObj(ssM_EINK_FRG,ssFRGCO,x4)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x5)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x6)),ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x7)),ssHolds(x0,x8),ssSingleRole(singleRoleEntry(x8,authObj(ssM_BANF_BSA,ssACTVT,np__2))),ssHolds(x0,x9),ssSingleRole(singleRoleEntry(x9,authObj(ssM_BANF_BSA,ssACTVT,np__8))),ssHolds(x0,x10),ssSingleRole(singleRoleEntry(x10,authObj(ssM_BANF_EKG,ssACTVT,np__2))),ssHolds(x0,x11),ssSingleRole(singleRoleEntry(x11,authObj(ssM_BANF_WRK,ssACTVT,np__2))),ssHolds(x0,x12),ssSingleRole(singleRoleEntry(x12,authObj(ssM_BANF_WRK,ssACTVT,np__3))),ssHolds(x0,x13),ssSingleRole(singleRoleEntry(x13,authObj(ssS_TCODE,ssTCD,ssME54N))),ssHolds(x0,x14),ssSingleRole(singleRoleEntry(x14,authObj(ssS_TCODE,ssTCD,ssME53N))) -> ssAccess(x0,ssME54N) 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1055 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1069 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1082 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1120 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1149 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1159 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1168 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1182 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1212 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1232 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1243 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1252 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1259 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1267 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1276 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1285 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1294 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1303 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1309 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1316 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1323 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1332 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1339 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1347 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1357 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1369 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1377 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1384 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1391 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1397 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1405 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1413 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1420 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1427 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1433 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1441 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1454 43.41/9.13 === Conflict found: 114:4:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ren5(x10,x11,x5,x4,x8),ren6(x10,x11,x4,x8,x5) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) {x0 -> ssLAMOTTE, x1 -> ssZRELEASE_WRK_INF_BASE, x2 -> ssZRELEASE_WRK_INF_BASE, x3 -> ssZRELEASE_WRK_INF_BASE, x4 -> ssZRELEASE_WRK_INF_BASE, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE, x7 -> ssZRELEASE_WRK_INF_BASE, x8 -> ssMEIER, x9 -> ssZRELEASE_WRK_INF_BASE, x10 -> ssMEIER, x11 -> ssZRELEASE_WRK_INF_BASE} 43.41/9.13 === Backtracking. Learning clause 195:4:12:[114.2,109.2,113.2]:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssReleaseStrategy(ssVF,x10,class(x11,property(ssFRG_CEBAN_WERKS,x4))),ssReleaseStrategy(ssKF,x10,class(x11,property(ssFRG_CEBAN_EKGRP,x5))) 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1487 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1526 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1549 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1562 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1576 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1587 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1600 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1613 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1622 43.41/9.13 === Conflict found: 114:4:12:INP:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ren5(x10,x11,x5,x4,x8),ren6(x10,x11,x4,x8,x5) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) {x0 -> skf2(ssZRELEASE_WRK_INF_BASE,ssZRELEASE_WRK_INF_BASE,ssZRELEASE_WRK_INF_BASE,ssZRELEASE_WRK_INF_BASE,ssZRELEASE_WRK_INF_BASE,ssZRELEASE_WRK_INF_BASE,ssZRELEASE_WRK_INF_BASE,ssZRELEASE_WRK_INF_BASE), x1 -> ssDIRECT, x2 -> ssZRELEASE_WRK_INF_BASE, x3 -> ssZRELEASE_WRK_INF_BASE, x4 -> ssINF, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE, x7 -> ssZRELEASE_WRK_INF_BASE, x8 -> ssZRELEASE_WRK_INF_BASE, x9 -> ssZRELEASE_WRK_INF_BASE, x10 -> ssMEIER, x11 -> ssLAMOTTE} 43.41/9.13 === Backtracking. Learning clause 196:4:12:[114.3,113.2,110.2]:TopTopTopTopTopTopTopTopTopTopTopTop: ssRequisitionCreated(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9) -> ssRequisitionReleased(x0,x1,x2,x3,x4,x5,x6,x7,x8,x9),ssReleaseStrategy(ssKF,x10,class(x11,property(ssFRG_CEBAN_EKGRP,x5))),ssReleaseStrategy(ssVF,x10,class(x11,property(ssFRG_CEBAN_GSWRT,x8))) 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1640 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1651 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1657 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1661 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1663 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1667 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1674 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1676 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1679 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1681 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1685 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1689 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1698 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1703 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1707 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1712 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1718 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1725 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1727 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1729 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1732 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1736 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1741 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1743 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1745 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1748 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1751 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1753 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1755 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1757 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1760 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1764 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1766 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1768 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1770 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1773 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1777 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1779 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1781 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1783 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1786 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1790 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1792 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1794 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1796 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1799 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1803 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1805 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1807 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1809 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1812 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1816 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1818 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1820 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1822 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1825 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1828 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1830 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1832 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1834 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1837 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1841 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1844 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1846 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1848 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1851 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1855 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1865 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1876 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1879 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1882 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1886 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1888 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1890 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1892 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1895 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1899 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1908 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1917 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1919 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1922 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1926 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1935 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1942 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1944 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1947 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1950 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1952 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1954 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1956 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1959 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1963 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1966 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1968 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1970 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1973 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1977 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1980 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1982 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1984 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1987 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1991 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1994 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1997 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 1999 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2002 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2006 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2015 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2020 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2024 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2027 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2030 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2032 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2034 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2036 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2039 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2042 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2051 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2053 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2055 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2058 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2062 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2065 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2067 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2069 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2072 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2076 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2078 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2080 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2082 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2085 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2089 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2091 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2093 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2095 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2099 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2103 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2113 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2121 43.41/9.13 === Conflict found: 125:2:7:INP:TopTopTopTopTopTopTop: ren7(x0,x1,x2,x3,x4,x5,x6) -> ssUserProfile(userProfileEntry(x5,authObj(x2,x3,x4))) {x0 -> ssMEIER, x1 -> ssZBANF_WRK_INF_ED, x2 -> ssM_BANF_BSA, x3 -> ssBSART, x4 -> ssSTAR, x5 -> ssMUELLER, x6 -> ssZRELEASE_WRK_INF_BASE} 43.41/9.13 === Backtracking. Learning clause 197:3:5:[125.1,123.3,131.1]:TopTopTopTopTop: ssHolds(x0,x1),ssSingleRole(singleRoleEntry(x1,authObj(x2,x3,ssSTAR))) -> ssAccess(x0,authObj(x2,x3,x4)) 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2168 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2198 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2225 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2256 43.41/9.13 === Conflict found: 189:6:10:[36.0,55.0]:TopTopTopTopTopTopTopTopTopTop: ssStandardPurchase(x0),ssAccess(x1,ssME51N),ssAccess(x1,authObj(ssM_BANF_WRK,ssWERKS,x2)),ssAccess(x1,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x1,authObj(ssM_BANF_BSA,ssBSART,x0)) -> ssRequisitionCreated(x1,x0,x4,x5,x2,x3,x6,x7,x8,x9) {x0 -> ssZRELEASE_WRK_INF_BASE, x1 -> ssADSU, x2 -> ssZRELEASE_WRK_INF_BASE, x3 -> ssZRELEASE_WRK_INF_BASE, x4 -> ssZRELEASE_WRK_INF_BASE, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE, x7 -> ssZRELEASE_WRK_INF_BASE, x8 -> ssZRELEASE_WRK_INF_BASE, x9 -> ssZRELEASE_WRK_INF_BASE} 43.41/9.13 === Backtracking. Learning clause 198:8:12:[189.6,192.2]:TopTopTopTopTopTopTopTopTopTopTopTop: ssStandardPurchase(x0),ssAccess(x1,ssME51N),ssAccess(x1,authObj(ssM_BANF_WRK,ssWERKS,x2)),ssAccess(x1,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x1,authObj(ssM_BANF_BSA,ssBSART,x0)),ssOrderCreated(x1,x0,x4,x5,x2,x3,x6,x7,x8,x9),ren5(x10,x11,x3,x2,x8),ren6(x10,x11,x2,x8,x3) -> 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2283 43.41/9.13 === Conflict found: 189:6:10:[36.0,55.0]:TopTopTopTopTopTopTopTopTopTop: ssStandardPurchase(x0),ssAccess(x1,ssME51N),ssAccess(x1,authObj(ssM_BANF_WRK,ssWERKS,x2)),ssAccess(x1,authObj(ssM_BANF_EKG,ssEKGRP,x3)),ssAccess(x1,authObj(ssM_BANF_BSA,ssBSART,x0)) -> ssRequisitionCreated(x1,x0,x4,x5,x2,x3,x6,x7,x8,x9) {x0 -> ssNB, x1 -> ssMUELLER, x2 -> ssINF, x3 -> ssLESS_EQUAL_1000_EUR, x4 -> ssZRELEASE_WRK_INF_BASE, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE, x7 -> ssZRELEASE_WRK_INF_BASE, x8 -> ssZRELEASE_WRK_INF_BASE, x9 -> ssZRELEASE_WRK_INF_BASE} 43.41/9.13 === Backtracking. Learning clause 199:7:11:[189.3,191.3]:TopTopTopTopTopTopTopTopTopTopTop: ssStandardPurchase(x0),ssAccess(x1,ssME51N),ssAccess(x1,authObj(ssM_BANF_EKG,ssEKGRP,x2)),ssAccess(x1,authObj(ssM_BANF_BSA,ssBSART,x0)),ssHolds(x1,x3),ssSingleRole(singleRoleEntry(x3,authObj(ssM_BANF_WRK,ssWERKS,x4))) -> ssRequisitionCreated(x1,x0,x5,x6,x4,x2,x7,x8,x9,x10) 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2312 43.41/9.13 === Conflict found: 199:7:11:[189.3,191.3]:TopTopTopTopTopTopTopTopTopTopTop: ssStandardPurchase(x0),ssAccess(x1,ssME51N),ssAccess(x1,authObj(ssM_BANF_EKG,ssEKGRP,x2)),ssAccess(x1,authObj(ssM_BANF_BSA,ssBSART,x0)),ssHolds(x1,x3),ssSingleRole(singleRoleEntry(x3,authObj(ssM_BANF_WRK,ssWERKS,x4))) -> ssRequisitionCreated(x1,x0,x5,x6,x4,x2,x7,x8,x9,x10) {x0 -> ssNB, x1 -> ssMUELLER, x2 -> ssI26, x3 -> ssZBANF_WRK_INF_ED, x4 -> ssINF, x5 -> ssZRELEASE_WRK_INF_BASE, x6 -> ssZRELEASE_WRK_INF_BASE, x7 -> ssZRELEASE_WRK_INF_BASE, x8 -> ssZRELEASE_WRK_INF_BASE, x9 -> ssZRELEASE_WRK_INF_BASE, x10 -> ssZRELEASE_WRK_INF_BASE} 43.41/9.13 === Backtracking. Learning clause 200:7:4:[199.7,160.1,191.3]:TopTopTopTop: ssStandardPurchase(x0),ssAccess(ssMUELLER,ssME51N),ssAccess(ssMUELLER,authObj(ssM_BANF_BSA,ssBSART,x0)),ssHolds(ssMUELLER,x1),ssSingleRole(singleRoleEntry(x1,authObj(ssM_BANF_WRK,ssWERKS,ssINF))),ssHolds(ssMUELLER,x2),ssSingleRole(singleRoleEntry(x2,authObj(ssM_BANF_EKG,ssEKGRP,x3))) -> 43.41/9.13 === Clause set with instances from active satisfied. Growing active. New size: 2368 43.41/9.13 === Conflict found: 145:8:4:INP:TopTopTopTop: ssAccess(x0,authObj(ssM_BANF_WRK,ssWERKS,x1)),ssAccess(x0,authObj(ssM_BANF_EKG,ssEKGRP,x2)),ssAccess(x0,authObj(ssM_BANF_EKG,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_BSA,ssBSART,x3)),ssAccess(x0,authObj(ssM_BANF_BSA,ssACTVT,np__1)),ssAccess(x0,authObj(ssM_BANF_WRK,ssACTVT,np__1)),ssAccess(x0,authObj(ssS_TCODE,ssTCD,ssME51N)) -> ssAccess(x0,ssME51N) {x0 -> ssMUELLER, x1 -> ssINF, x2 -> ssI26, x3 -> ssDIRECT} 43.41/9.13 43.41/9.13 SZS status Unsatisfiable 43.41/9.13 43.41/9.13 Problem: /export/starexec/sandbox2/benchmark/theBenchmark.p 43.41/9.13 43.41/9.13 SPASS-SCL-FOL Statistics: 43.41/9.13 Number of learned clauses: 10 43.41/9.13 Number of propagations: 3668 43.41/9.13 Number of decisions: 8094 43.41/9.13 Number of resolutions: 43 43.41/9.13 Number of condensations: 1 43.41/9.13 Number of sub resolutions: 2 43.41/9.13 Number of input literals (deduplicated): 239 43.41/9.13 Number of grows: 247 43.41/9.13 Number of considered ground atoms: 2368 43.41/9.13 43.41/9.13 Needed: 0:00:08.61 43.41/9.13 43.41/9.14 EOF