MAYBE Time: 0.013917 TRS: { top free x -> top check new x, check new x -> new check x, check free x -> free check x, check old x -> old x, check old x -> old check x, new free x -> free new x, new serve() -> free serve(), old free x -> free old x, old serve() -> free serve()} DP: DP: { top# free x -> top# check new x, top# free x -> check# new x, top# free x -> new# x, check# new x -> check# x, check# new x -> new# check x, check# free x -> check# x, check# old x -> check# x, check# old x -> old# check x, new# free x -> new# x, old# free x -> old# x} TRS: { top free x -> top check new x, check new x -> new check x, check free x -> free check x, check old x -> old x, check old x -> old check x, new free x -> free new x, new serve() -> free serve(), old free x -> free old x, old serve() -> free serve()} UR: { check new x -> new check x, check free x -> free check x, check old x -> old x, check old x -> old check x, new free x -> free new x, new serve() -> free serve(), old free x -> free old x, old serve() -> free serve()} EDG: {(check# new x -> new# check x, new# free x -> new# x) (top# free x -> top# check new x, top# free x -> new# x) (top# free x -> top# check new x, top# free x -> check# new x) (top# free x -> top# check new x, top# free x -> top# check new x) (check# new x -> check# x, check# old x -> old# check x) (check# new x -> check# x, check# old x -> check# x) (check# new x -> check# x, check# free x -> check# x) (check# new x -> check# x, check# new x -> new# check x) (check# new x -> check# x, check# new x -> check# x) (check# old x -> check# x, check# old x -> old# check x) (check# old x -> check# x, check# old x -> check# x) (check# old x -> check# x, check# free x -> check# x) (check# old x -> check# x, check# new x -> new# check x) (check# old x -> check# x, check# new x -> check# x) (old# free x -> old# x, old# free x -> old# x) (new# free x -> new# x, new# free x -> new# x) (check# free x -> check# x, check# new x -> check# x) (check# free x -> check# x, check# new x -> new# check x) (check# free x -> check# x, check# free x -> check# x) (check# free x -> check# x, check# old x -> check# x) (check# free x -> check# x, check# old x -> old# check x) (top# free x -> new# x, new# free x -> new# x) (check# old x -> old# check x, old# free x -> old# x) (top# free x -> check# new x, check# new x -> check# x) (top# free x -> check# new x, check# new x -> new# check x) (top# free x -> check# new x, check# free x -> check# x) (top# free x -> check# new x, check# old x -> check# x) (top# free x -> check# new x, check# old x -> old# check x)} EDG: {(check# new x -> new# check x, new# free x -> new# x) (top# free x -> top# check new x, top# free x -> new# x) (top# free x -> top# check new x, top# free x -> check# new x) (top# free x -> top# check new x, top# free x -> top# check new x) (check# new x -> check# x, check# old x -> old# check x) (check# new x -> check# x, check# old x -> check# x) (check# new x -> check# x, check# free x -> check# x) (check# new x -> check# x, check# new x -> new# check x) (check# new x -> check# x, check# new x -> check# x) (check# old x -> check# x, check# old x -> old# check x) (check# old x -> check# x, check# old x -> check# x) (check# old x -> check# x, check# free x -> check# x) (check# old x -> check# x, check# new x -> new# check x) (check# old x -> check# x, check# new x -> check# x) (old# free x -> old# x, old# free x -> old# x) (new# free x -> new# x, new# free x -> new# x) (check# free x -> check# x, check# new x -> check# x) (check# free x -> check# x, check# new x -> new# check x) (check# free x -> check# x, check# free x -> check# x) (check# free x -> check# x, check# old x -> check# x) (check# free x -> check# x, check# old x -> old# check x) (top# free x -> new# x, new# free x -> new# x) (check# old x -> old# check x, old# free x -> old# x) (top# free x -> check# new x, check# new x -> check# x) (top# free x -> check# new x, check# new x -> new# check x) (top# free x -> check# new x, check# free x -> check# x) (top# free x -> check# new x, check# old x -> check# x) (top# free x -> check# new x, check# old x -> old# check x)} EDG: {(check# new x -> new# check x, new# free x -> new# x) (top# free x -> top# check new x, top# free x -> new# x) (top# free x -> top# check new x, top# free x -> check# new x) (top# free x -> top# check new x, top# free x -> top# check new x) (check# old x -> old# check x, old# free x -> old# x) (top# free x -> check# new x, check# new x -> check# x) (top# free x -> check# new x, check# new x -> new# check x) (top# free x -> check# new x, check# free x -> check# x) (top# free x -> check# new x, check# old x -> check# x) (top# free x -> check# new x, check# old x -> old# check x)} EDG: {(check# new x -> new# check x, new# free x -> new# x) (top# free x -> top# check new x, top# free x -> new# x) (top# free x -> top# check new x, top# free x -> check# new x) (top# free x -> top# check new x, top# free x -> top# check new x) (check# old x -> old# check x, old# free x -> old# x) (top# free x -> check# new x, check# new x -> check# x) (top# free x -> check# new x, check# new x -> new# check x) (top# free x -> check# new x, check# free x -> check# x)} STATUS: arrows: 0.920000 SCCS (1): Scc: {top# free x -> top# check new x} SCC (1): Strict: {top# free x -> top# check new x} Weak: { top free x -> top check new x, check new x -> new check x, check free x -> free check x, check old x -> old x, check old x -> old check x, new free x -> free new x, new serve() -> free serve(), old free x -> free old x, old serve() -> free serve()} Fail