[4us] # maximum alphabet 4
[99us] # 8 orders for alphabet 2
[104us] # 48 orders for alphabet 3
[106us] # 384 orders for alphabet 4
[113us] # total:7 rss:21MB
[115us] # n: presentation: invariants: order: extra: strategy: complete:
[92ms] # 8 failed attempts: time:4127us,rounds:8,rules:151,active:76,activePeak:76,maxActiveLHS:19,maxActiveRHS:19,pending:108,pendingPeak:108,maxPendingLHS:29,maxPendingRHS:23,urgent:0,composite:398,trivialPairs:1333,trivialRules:7,killed:60,lhsReduced:49,rhsReduced:14,longestWord:30,stepsTotal:9994,stepsMax:24,reduceNodes:1686,prefixNodes:572,suffixNodes:716,arena:4027,trail:10144
[92ms] # 8 discarded attempts: time:643us,rounds:6,rules:86,active:30,activePeak:34,maxActiveLHS:12,maxActiveRHS:10,pending:0,pendingPeak:45,maxPendingLHS:13,maxPendingRHS:10,urgent:0,composite:171,trivialPairs:400,trivialRules:4,killed:52,lhsReduced:5,rhsReduced:2,longestWord:19,stepsTotal:1931,stepsMax:13,reduceNodes:496,prefixNodes:184,suffixNodes:280,arena:1313,trail:6284
[92ms] # 8 successful attempt: time:55us,rounds:3,rules:16,active:11,activePeak:11,maxActiveLHS:8,maxActiveRHS:10,pending:0,pendingPeak:7,maxPendingLHS:8,maxPendingRHS:10,urgent:0,composite:6,trivialPairs:45,trivialRules:1,killed:3,lhsReduced:1,rhsReduced:0,longestWord:19,stepsTotal:237,stepsMax:13,reduceNodes:45,prefixNodes:45,suffixNodes:63,arena:201,trail:936
[92ms] 1 ab:bababbbabba=a infinite bc/a bba=c custom:0 abc:ca=ac,bba=c,cbac=abcc,cbabcc=ba,baa=ababccc,babac=ababccbcc,bababcc=a,cbaba=abcba,cbabcba=a,bababa=ababccbcba,bababcba=ababcc
[92ms] # 8 failed attempts: time:4332us,rounds:9,rules:151,active:83,activePeak:83,maxActiveLHS:51,maxActiveRHS:106,pending:87,pendingPeak:92,maxPendingLHS:52,maxPendingRHS:110,urgent:0,composite:172,trivialPairs:2067,trivialRules:25,killed:74,lhsReduced:29,rhsReduced:14,longestWord:201,stepsTotal:10000,stepsMax:51,reduceNodes:1893,prefixNodes:507,suffixNodes:580,arena:4107,trail:10156
[92ms] # 8 discarded attempts: time:116us,rounds:3,rules:19,active:18,activePeak:18,maxActiveLHS:7,maxActiveRHS:7,pending:0,pendingPeak:5,maxPendingLHS:5,maxPendingRHS:6,urgent:0,composite:6,trivialPairs:105,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:22,stepsTotal:269,stepsMax:5,reduceNodes:76,prefixNodes:76,suffixNodes:116,arena:153,trail:884
[92ms] # 8 successful attempt: time:17us,rounds:2,rules:11,active:10,activePeak:10,maxActiveLHS:4,maxActiveRHS:6,pending:0,pendingPeak:3,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:15,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:11,stepsTotal:55,stepsMax:5,reduceNodes:36,prefixNodes:36,suffixNodes:60,arena:70,trail:588
[92ms] 2 ab:baababa=a infinite bcd/a ab=c,ba=d custom:1 abcd:db=bc,dccc=c,ab=c,ba=d,ca=ad,dac=accccc,dadc=accc,dadd=a,daa=aadddd,dada=aadd
[99ms] # 8 failed attempts: time:5065us,rounds:10,rules:151,active:86,activePeak:86,maxActiveLHS:54,maxActiveRHS:119,pending:85,pendingPeak:85,maxPendingLHS:63,maxPendingRHS:128,urgent:0,composite:109,trivialPairs:2635,trivialRules:23,killed:71,lhsReduced:38,rhsReduced:17,longestWord:204,stepsTotal:10000,stepsMax:40,reduceNodes:2148,prefixNodes:532,suffixNodes:796,arena:4092,trail:10248
[99ms] # 8 discarded attempts: time:169us,rounds:4,rules:23,active:22,activePeak:22,maxActiveLHS:9,maxActiveRHS:12,pending:0,pendingPeak:7,maxPendingLHS:4,maxPendingRHS:12,urgent:0,composite:10,trivialPairs:131,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:87,stepsTotal:580,stepsMax:10,reduceNodes:96,prefixNodes:96,suffixNodes:148,arena:224,trail:1068
[99ms] # 8 successful attempt: time:46us,rounds:3,rules:13,active:12,activePeak:12,maxActiveLHS:5,maxActiveRHS:11,pending:0,pendingPeak:3,maxPendingLHS:3,maxPendingRHS:11,urgent:0,composite:0,trivialPairs:27,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:21,stepsTotal:121,stepsMax:10,reduceNodes:44,prefixNodes:44,suffixNodes:84,arena:113,trail:700
[99ms] 3 ab:baabababa=a infinite bcd/a ab=c,ba=d custom:1 abcd:db=bc,dcccc=c,ab=c,ba=d,ca=ad,dac=acccccccccc,dadc=accccccc,daddc=acccc,daddd=a,daa=aaddddddddd,dada=aadddddd,dadda=aaddd
[99ms] # 8 failed attempts: time:4257us,rounds:11,rules:151,active:91,activePeak:91,maxActiveLHS:71,maxActiveRHS:130,pending:100,pendingPeak:101,maxPendingLHS:87,maxPendingRHS:146,urgent:0,composite:123,trivialPairs:2554,trivialRules:20,killed:78,lhsReduced:54,rhsReduced:28,longestWord:215,stepsTotal:10000,stepsMax:37,reduceNodes:1479,prefixNodes:591,suffixNodes:888,arena:4139,trail:10176
[99ms] # 8 discarded attempts: time:175us,rounds:4,rules:23,active:22,activePeak:22,maxActiveLHS:11,maxActiveRHS:18,pending:0,pendingPeak:7,maxPendingLHS:11,maxPendingRHS:11,urgent:0,composite:0,trivialPairs:149,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:35,stepsTotal:337,stepsMax:17,reduceNodes:116,prefixNodes:116,suffixNodes:180,arena:301,trail:1076
[99ms] # 8 successful attempt: time:75us,rounds:3,rules:15,active:14,activePeak:14,maxActiveLHS:6,maxActiveRHS:18,pending:0,pendingPeak:3,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:43,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:35,stepsTotal:231,stepsMax:17,reduceNodes:52,prefixNodes:52,suffixNodes:108,arena:178,trail:812
[99ms] 4 ab:baababababa=a infinite bcd/a ab=c,ba=d custom:1 abcd:db=bc,dccccc=c,ab=c,ba=d,ca=ad,dac=accccccccccccccccc,dadc=accccccccccccc,daddc=accccccccc,dadddc=accccc,dadddd=a,daa=aadddddddddddddddd,dada=aadddddddddddd,dadda=aadddddddd,daddda=aadddd
[99ms] # 8 failed attempts: time:6911us,rounds:11,rules:151,active:95,activePeak:95,maxActiveLHS:88,maxActiveRHS:137,pending:99,pendingPeak:99,maxPendingLHS:113,maxPendingRHS:162,urgent:0,composite:100,trivialPairs:2794,trivialRules:16,killed:62,lhsReduced:46,rhsReduced:28,longestWord:221,stepsTotal:10000,stepsMax:33,reduceNodes:1992,prefixNodes:585,suffixNodes:884,arena:4126,trail:10132
[99ms] # 8 discarded attempts: time:214us,rounds:4,rules:25,active:24,activePeak:24,maxActiveLHS:13,maxActiveRHS:27,pending:0,pendingPeak:7,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:167,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:53,stepsTotal:397,stepsMax:26,reduceNodes:136,prefixNodes:136,suffixNodes:212,arena:414,trail:1172
[99ms] # 8 successful attempt: time:117us,rounds:3,rules:17,active:16,activePeak:16,maxActiveLHS:7,maxActiveRHS:27,pending:0,pendingPeak:3,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:63,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:53,stepsTotal:397,stepsMax:26,reduceNodes:60,prefixNodes:60,suffixNodes:132,arena:271,trail:924
[99ms] 5 ab:baabababababa=a infinite bcd/a ab=c,ba=d custom:1 abcd:db=bc,dcccccc=c,ab=c,ba=d,ca=ad,dac=acccccccccccccccccccccccccc,dadc=accccccccccccccccccccc,daddc=acccccccccccccccc,dadddc=accccccccccc,daddddc=acccccc,daddddd=a,daa=aaddddddddddddddddddddddddd,dada=aadddddddddddddddddddd,dadda=aaddddddddddddddd,daddda=aadddddddddd,dadddda=aaddddd
[99ms] # 8 failed attempts: time:5191us,rounds:11,rules:151,active:97,activePeak:97,maxActiveLHS:105,maxActiveRHS:140,pending:92,pendingPeak:92,maxPendingLHS:135,maxPendingRHS:176,urgent:0,composite:67,trivialPairs:2902,trivialRules:17,killed:70,lhsReduced:44,rhsReduced:31,longestWord:235,stepsTotal:10000,stepsMax:37,reduceNodes:2574,prefixNodes:648,suffixNodes:896,arena:4143,trail:10148
[99ms] # 8 discarded attempts: time:191us,rounds:4,rules:27,active:26,activePeak:26,maxActiveLHS:15,maxActiveRHS:38,pending:0,pendingPeak:7,maxPendingLHS:3,maxPendingRHS:38,urgent:0,composite:0,trivialPairs:185,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:75,stepsTotal:631,stepsMax:37,reduceNodes:156,prefixNodes:156,suffixNodes:244,arena:561,trail:1268
[99ms] # 8 successful attempt: time:187us,rounds:3,rules:19,active:18,activePeak:18,maxActiveLHS:8,maxActiveRHS:38,pending:0,pendingPeak:3,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:87,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:75,stepsTotal:631,stepsMax:37,reduceNodes:68,prefixNodes:68,suffixNodes:156,arena:398,trail:1036
[99ms] 6 ab:baababababababa=a infinite bcd/a ab=c,ba=d custom:1 abcd:db=bc,dccccccc=c,ab=c,ba=d,ca=ad,dac=accccccccccccccccccccccccccccccccccccc,dadc=accccccccccccccccccccccccccccccc,daddc=accccccccccccccccccccccccc,dadddc=accccccccccccccccccc,daddddc=accccccccccccc,dadddddc=accccccc,dadddddd=a,daa=aadddddddddddddddddddddddddddddddddddd,dada=aadddddddddddddddddddddddddddddd,dadda=aadddddddddddddddddddddddd,daddda=aadddddddddddddddddd,dadddda=aadddddddddddd,daddddda=aadddddd
[99ms] # 8 failed attempts: time:5092us,rounds:11,rules:151,active:98,activePeak:98,maxActiveLHS:108,maxActiveRHS:163,pending:97,pendingPeak:97,maxPendingLHS:150,maxPendingRHS:212,urgent:0,composite:66,trivialPairs:2982,trivialRules:10,killed:91,lhsReduced:46,rhsReduced:34,longestWord:232,stepsTotal:10000,stepsMax:50,reduceNodes:2649,prefixNodes:735,suffixNodes:900,arena:4147,trail:10212
[99ms] # 8 discarded attempts: time:304us,rounds:4,rules:29,active:28,activePeak:28,maxActiveLHS:17,maxActiveRHS:51,pending:0,pendingPeak:7,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:203,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:101,stepsTotal:945,stepsMax:50,reduceNodes:176,prefixNodes:176,suffixNodes:276,arena:748,trail:1364
[99ms] # 8 successful attempt: time:252us,rounds:3,rules:21,active:20,activePeak:20,maxActiveLHS:9,maxActiveRHS:51,pending:0,pendingPeak:3,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:115,trivialRules:0,killed:0,lhsReduced:1,rhsReduced:0,longestWord:101,stepsTotal:945,stepsMax:50,reduceNodes:76,prefixNodes:76,suffixNodes:180,arena:565,trail:1148
[99ms] 7 ab:baabababababababa=a infinite bcd/a ab=c,ba=d custom:1 abcd:db=bc,dcccccccc=c,ab=c,ba=d,ca=ad,dac=acccccccccccccccccccccccccccccccccccccccccccccccccc,dadc=accccccccccccccccccccccccccccccccccccccccccc,daddc=acccccccccccccccccccccccccccccccccccc,dadddc=accccccccccccccccccccccccccccc,daddddc=acccccccccccccccccccccc,dadddddc=accccccccccccccc,daddddddc=acccccccc,daddddddd=a,daa=aaddddddddddddddddddddddddddddddddddddddddddddddddd,dada=aadddddddddddddddddddddddddddddddddddddddddd,dadda=aaddddddddddddddddddddddddddddddddddd,daddda=aadddddddddddddddddddddddddddd,dadddda=aaddddddddddddddddddddd,daddddda=aadddddddddddddd,dadddddda=aaddddddd
[99ms] # failed attempts: time:6911us,rounds:11,rules:151,active:98,activePeak:98,maxActiveLHS:108,maxActiveRHS:163,pending:108,pendingPeak:108,maxPendingLHS:150,maxPendingRHS:212,urgent:0,composite:398,trivialPairs:2982,trivialRules:25,killed:91,lhsReduced:54,rhsReduced:34,longestWord:235,stepsTotal:10000,stepsMax:51,reduceNodes:2649,prefixNodes:735,suffixNodes:900,arena:4147,trail:10248
[99ms] # discarded attempts: time:643us,rounds:6,rules:86,active:30,activePeak:34,maxActiveLHS:17,maxActiveRHS:51,pending:0,pendingPeak:45,maxPendingLHS:13,maxPendingRHS:38,urgent:0,composite:171,trivialPairs:400,trivialRules:4,killed:52,lhsReduced:5,rhsReduced:2,longestWord:101,stepsTotal:1931,stepsMax:50,reduceNodes:496,prefixNodes:184,suffixNodes:280,arena:1313,trail:6284
[99ms] # successful attempts: time:0us,rounds:0,rules:0,active:0,activePeak:0,maxActiveLHS:0,maxActiveRHS:0,pending:0,pendingPeak:0,maxPendingLHS:0,maxPendingRHS:0,urgent:0,composite:0,trivialPairs:0,trivialRules:0,killed:0,lhsReduced:0,rhsReduced:0,longestWord:0,stepsTotal:0,stepsMax:0,reduceNodes:0,prefixNodes:0,suffixNodes:0,arena:0,trail:0
[99ms] # successful attempts with morph: time:252us,rounds:3,rules:21,active:20,activePeak:20,maxActiveLHS:9,maxActiveRHS:51,pending:0,pendingPeak:7,maxPendingLHS:8,maxPendingRHS:11,urgent:0,composite:6,trivialPairs:115,trivialRules:1,killed:3,lhsReduced:1,rhsReduced:0,longestWord:101,stepsTotal:945,stepsMax:50,reduceNodes:76,prefixNodes:76,suffixNodes:180,arena:565,trail:1148
[99ms] # rss:28MB
[99ms] # finalize and check tables
[99ms] # rss:28MB
[100ms] # writing html
[104ms] # writing index
[106ms] # write HTML #1 ab:bababbbabba=a
[106ms] # write HTML #2 ab:baababa=a
[106ms] # write HTML #3 ab:baabababa=a
[106ms] # write HTML #4 ab:baababababa=a
[106ms] # write HTML #5 ab:baabababababa=a
[106ms] # write HTML #6 ab:baababababababa=a
[106ms] # write HTML #7 ab:baabababababababa=a
[112ms] # all done!