/export/starexec/sandbox/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 1 rules on 2 letters DP SRS with 8 strict rules and 1 weak rules on 3 letters EDG SRS with 8 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 2, solver = Minisatapi, verbose = False, tracing = False} SRS with 6 strict rules and 1 weak rules on 3 letters EDG SRS with 6 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 8, solver = Minisatapi, verbose = True, tracing = False} SRS with 0 strict rules and 1 weak rules on 2 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [a, b, a, a, b, a, b, a, b, a] -> [ a , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- Input 0 -} reason DP property Termination has value Just True for SRS [a, b, a, a, b, a, b, a, b, a] ->= [ a , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, a, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 0) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b] {- DP (Top 12) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 7) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b, a, b] {- DP (Top 10) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , a , b , a , b ] {- DP (Top 5) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, b, a] |-> [a#, a, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , a , b , a , b ] {- DP (Top 5) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b, a, b] {- DP (Top 10) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 7) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b] {- DP (Top 12) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 0) (Input 0) -} [a, b, a, a, b, a, b, a, b, a] ->= [ a , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A 0A \ \ -2A -2A / ) ( b , Wk / 0A 0A \ \ 0A 0A / ) ( a# , Wk / 4A 6A \ \ 4A 6A / ) property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , a , b , a , b ] {- DP (Top 5) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b, a, b] {- DP (Top 10) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 7) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b] {- DP (Top 12) (Input 0) -} [a, b, a, a, b, a, b, a, b, a] ->= [ a , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b] {- DP (Top 12) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 7) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [a#, b, a, b] {- DP (Top 10) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , a , b , a , b ] {- DP (Top 5) (Input 0) -} [a#, b, a, a, b, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a, b, a, a, b, a, b, a, b, a] ->= [ a , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A - - - - - - 0A \ | 0A 0A - 0A 0A - - 0A | | - - - - 1A 1A - 1A | | - - - - - - 0A - | | 0A - 0A - - - - - | | - 0A - - - 0A - - | | 0A - - - - - - 0A | \ - - - - - - - 0A / ) ( b , Wk / 0A - - - - - - - \ | 0A - - - - 0A - - | | - - - - - 0A - - | | - - - 0A 0A - - - | | - - - - 0A - - - | | - - - - - 0A - - | | - - 0A - - - - - | \ - - - - - - - 0A / ) ( a# , Wk / 1A 1A - - - 1A - 0A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [a, b, a, a, b, a, b, a, b, a] ->= [ a , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee\EDG(8/1,3)\Matrix{\Arctic}{2}\EDG(6/1,3)\Matrix{\Arctic}{8}(0/1,2)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} total number 2 max duration 82.493552587000 min duration 78.105475818000 total durat. 160.599028405000 Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 24} , self = 295 , parent = Just 0 , duration = 78.105475818000 , status = Fail , start = 2021-07-13 23:53:37.094259337 UTC , finish = 2021-07-13 23:54:55.199735155 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' ] , 2 , True )} Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 24} , self = 305 , parent = Just 5 , duration = 82.493552587000 , status = Fail , start = 2021-07-13 23:53:37.094296984 UTC , finish = 2021-07-13 23:54:59.587849571 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' ] , 2 , True )} Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 5.525315663000 min duration 2.956521053000 total durat. 13.509256040000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 79} , self = 354 , parent = Just 344 , duration = 2.956521053000 , status = Fail , start = 2021-07-13 23:55:51.706674516 UTC , finish = 2021-07-13 23:55:54.663195569 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 132 , parent = Just 13 , duration = 5.027419324000 , status = Fail , start = 2021-07-13 23:53:37.095918673 UTC , finish = 2021-07-13 23:53:42.123337997 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 146 , parent = Just 88 , duration = 5.525315663000 , status = Fail , start = 2021-07-13 23:53:38.200993817 UTC , finish = 2021-07-13 23:53:43.72630948 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '4' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.096962827000 min duration 1.096962827000 total durat. 1.096962827000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 87 , parent = Just 12 , duration = 1.096962827000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:37.095709294 UTC , finish = 2021-07-13 23:53:38.192672121 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 100.660658677000 min duration 49.172314956000 total durat. 149.832973633000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 342 , parent = Just 13 , duration = 49.172314956000 , status = Success , start = 2021-07-13 23:55:02.31710053 UTC , finish = 2021-07-13 23:55:51.489415486 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 394 , parent = Just 88 , duration = 100.660658677000 , status = Success , start = 2021-07-13 23:55:03.911348616 UTC , finish = 2021-07-13 23:56:44.572007293 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '9' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.082414699000 min duration 49.991506236000 total durat. 100.073920935000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 317 , parent = Just 88 , duration = 49.991506236000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:13.919394629 UTC , finish = 2021-07-13 23:55:03.910900865 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '4' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 314 , parent = Just 13 , duration = 50.082414699000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:12.189494233 UTC , finish = 2021-07-13 23:55:02.271908932 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 30.162749180000 min duration 30.041972321000 total durat. 90.265341160000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 79} , self = 371 , parent = Just 344 , duration = 30.041972321000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:54.663387468 UTC , finish = 2021-07-13 23:56:24.705359789 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 233 , parent = Just 13 , duration = 30.060619659000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:42.123545957 UTC , finish = 2021-07-13 23:54:12.184165616 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '4' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 239 , parent = Just 88 , duration = 30.162749180000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:43.726768228 UTC , finish = 2021-07-13 23:54:13.889517408 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 53.395317092000 min duration 53.395317092000 total durat. 53.395317092000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 351 , parent = Just 13 , duration = 53.395317092000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:58.357444449 UTC , finish = 2021-07-13 23:55:51.752761541 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '6' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.099758793000 min duration 50.024703232000 total durat. 100.124462025000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 304 , parent = Just 88 , duration = 50.024703232000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:09.555859645 UTC , finish = 2021-07-13 23:54:59.580562877 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '4' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 303 , parent = Just 13 , duration = 50.099758793000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:08.225404447 UTC , finish = 2021-07-13 23:54:58.32516324 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '0' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 30.238867592000 min duration 30.045057449000 total durat. 90.357482007000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 232 , parent = Just 88 , duration = 30.045057449000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:39.503182652 UTC , finish = 2021-07-13 23:54:09.548240101 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 229 , parent = Just 13 , duration = 30.073556966000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:38.143494235 UTC , finish = 2021-07-13 23:54:08.217051201 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '0' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 79} , self = 370 , parent = Just 344 , duration = 30.238867592000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:55:52.389409274 UTC , finish = 2021-07-13 23:56:22.628276866 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '6' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 1.300356394000 min duration 0.659331139000 total durat. 3.005348773000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 77 , parent = Just 13 , duration = 1.045661240000 , status = Fail , start = 2021-07-13 23:53:37.095720724 UTC , finish = 2021-07-13 23:53:38.141381964 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 113 , parent = Just 88 , duration = 1.300356394000 , status = Fail , start = 2021-07-13 23:53:38.201012975 UTC , finish = 2021-07-13 23:53:39.501369369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '6' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.417926392000 min duration 1.417926392000 total durat. 1.417926392000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 95 , parent = Just 12 , duration = 1.417926392000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:37.095730238 UTC , finish = 2021-07-13 23:53:38.51365663 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' ] , 0 , True )} Success : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 1.091063162000 min duration 1.091063162000 total durat. 1.091063162000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 85 , parent = Just 12 , duration = 1.091063162000 , status = Success , start = 2021-07-13 23:53:37.095773329 UTC , finish = 2021-07-13 23:53:38.186836491 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 0.950958739000 min duration 0.507286878000 total durat. 2.190905092000 Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 5.846341167000 min duration 2.608008644000 total durat. 12.697607336000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 79} , self = 355 , parent = Just 344 , duration = 2.608008644000 , status = Fail , start = 2021-07-13 23:55:52.222392357 UTC , finish = 2021-07-13 23:55:54.830401001 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '2' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 129 , parent = Just 13 , duration = 4.243257525000 , status = Fail , start = 2021-07-13 23:53:37.828673088 UTC , finish = 2021-07-13 23:53:42.071930613 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '5' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 171 , parent = Just 88 , duration = 5.846341167000 , status = Fail , start = 2021-07-13 23:53:39.15024782 UTC , finish = 2021-07-13 23:53:44.996588987 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '7' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 34.382911532000 min duration 26.672795105000 total durat. 61.055706637000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 79} , self = 369 , parent = Just 344 , duration = 26.672795105000 , status = Fail , start = 2021-07-13 23:55:54.846345084 UTC , finish = 2021-07-13 23:56:21.519140189 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '4' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 241 , parent = Just 13 , duration = 34.382911532000 , status = Fail , start = 2021-07-13 23:53:42.072224839 UTC , finish = 2021-07-13 23:54:16.455136371 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '0' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 50.383959422000 min duration 50.383959422000 total durat. 50.383959422000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 264 , parent = Just 88 , duration = 50.383959422000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:44.997107584 UTC , finish = 2021-07-13 23:54:35.381067006 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '2' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 95.290129964000 min duration 95.290129964000 total durat. 95.290129964000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 350 , parent = Just 13 , duration = 95.290129964000 , status = Fail , start = 2021-07-13 23:54:16.455411362 UTC , finish = 2021-07-13 23:55:51.745541326 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '7' ] , 0 , True )} Fail : Tiling { method = Backward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 138.196798840000 min duration 138.196798840000 total durat. 138.196798840000 Info { what = Tiling { method = Backward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 24} , self = 356 , parent = Just 0 , duration = 138.196798840000 , status = Fail , start = 2021-07-13 23:53:37.09790837 UTC , finish = 2021-07-13 23:55:55.29470721 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '9' ] , 3 , True )} Success : Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 8 max duration 30.870665592000 min duration 0.046797946000 total durat. 61.475739684000 Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 672} , self = 97 , parent = Just 49 , duration = 1.494628346000 , status = Success , start = 2021-07-13 23:53:37.701591578 UTC , finish = 2021-07-13 23:53:39.196219924 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '0' , '5' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 448} , self = 119 , parent = Just 98 , duration = 2.169593363000 , status = Success , start = 2021-07-13 23:53:39.234570222 UTC , finish = 2021-07-13 23:53:41.404163585 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '4' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 63 , num_strict_rules = 63 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1890} , self = 189 , parent = Just 70 , duration = 7.661135478000 , status = Success , start = 2021-07-13 23:53:41.89017282 UTC , finish = 2021-07-13 23:53:49.551308298 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '7' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 84 , num_strict_rules = 84 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 2520} , self = 273 , parent = Just 120 , duration = 18.785757643000 , status = Success , start = 2021-07-13 23:54:25.523094224 UTC , finish = 2021-07-13 23:54:44.308851867 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '2' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1680} , self = 245 , parent = Just 190 , duration = 30.870665592000 , status = Success , start = 2021-07-13 23:53:49.774806702 UTC , finish = 2021-07-13 23:54:20.645472294 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '5' ] , 3 , True )} Success : Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 3 max duration 47.017223199000 min duration 0.525989869000 total durat. 51.915211157000 Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 104} , self = 137 , parent = Just 38 , duration = 4.371998089000 , status = Success , start = 2021-07-13 23:53:38.179220518 UTC , finish = 2021-07-13 23:53:42.551218607 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 448} , self = 262 , parent = Just 98 , duration = 47.017223199000 , status = Success , start = 2021-07-13 23:53:47.1135822 UTC , finish = 2021-07-13 23:54:34.130805399 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '2' ] , 3 , True )} Fail : Tiling { method = Forward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 134.051343800000 min duration 134.051343800000 total durat. 134.051343800000 Info { what = Tiling { method = Forward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 24} , self = 341 , parent = Just 0 , duration = 134.051343800000 , status = Fail , start = 2021-07-13 23:53:37.098091161 UTC , finish = 2021-07-13 23:55:51.149434961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '5' ] , 3 , True )} Success : Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 10 max duration 36.729531833000 min duration 0.058726937000 total durat. 93.986926517000 Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 672} , self = 116 , parent = Just 49 , duration = 2.445336073000 , status = Success , start = 2021-07-13 23:53:38.179191097 UTC , finish = 2021-07-13 23:53:40.62452717 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 448} , self = 130 , parent = Just 98 , duration = 2.850871454000 , status = Success , start = 2021-07-13 23:53:39.245786627 UTC , finish = 2021-07-13 23:53:42.096658081 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 672} , self = 179 , parent = Just 49 , duration = 3.310340941000 , status = Success , start = 2021-07-13 23:53:42.777319769 UTC , finish = 2021-07-13 23:53:46.08766071 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '2' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 63 , num_strict_rules = 63 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1890} , self = 283 , parent = Just 70 , duration = 21.554065367000 , status = Success , start = 2021-07-13 23:54:29.609105005 UTC , finish = 2021-07-13 23:54:51.163170372 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '2' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 63 , num_strict_rules = 63 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1890} , self = 234 , parent = Just 70 , duration = 26.153300834000 , status = Success , start = 2021-07-13 23:53:46.122856384 UTC , finish = 2021-07-13 23:54:12.276157218 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1680} , self = 256 , parent = Just 190 , duration = 36.729531833000 , status = Success , start = 2021-07-13 23:53:49.860075511 UTC , finish = 2021-07-13 23:54:26.589607344 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '9' ] , 3 , True )} Success : Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 3 max duration 57.311465362000 min duration 0.571510601000 total durat. 63.044119868000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 104} , self = 144 , parent = Just 38 , duration = 5.161143905000 , status = Success , start = 2021-07-13 23:53:38.33035433 UTC , finish = 2021-07-13 23:53:43.491498235 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '2' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 448} , self = 278 , parent = Just 98 , duration = 57.311465362000 , status = Success , start = 2021-07-13 23:53:48.882821392 UTC , finish = 2021-07-13 23:54:46.194286754 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '6' ] , 3 , True )} Fail : Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 5 max duration 65.439295092000 min duration 39.093321952000 total durat. 234.865508659000 Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 242 , parent = Just 78 , duration = 39.093321952000 , status = Fail , start = 2021-07-13 23:53:38.179796437 UTC , finish = 2021-07-13 23:54:17.273118389 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 243 , parent = Just 88 , duration = 39.109091762000 , status = Fail , start = 2021-07-13 23:53:38.221504531 UTC , finish = 2021-07-13 23:54:17.330596293 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 244 , parent = Just 12 , duration = 43.355082171000 , status = Fail , start = 2021-07-13 23:53:37.107764869 UTC , finish = 2021-07-13 23:54:20.46284704 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 318 , parent = Just 12 , duration = 47.868717682000 , status = Fail , start = 2021-07-13 23:54:17.284576215 UTC , finish = 2021-07-13 23:55:05.153293897 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 269 , parent = Just 13 , duration = 65.439295092000 , status = Fail , start = 2021-07-13 23:53:37.111934531 UTC , finish = 2021-07-13 23:54:42.551229623 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '3' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 24 max duration 102.960003527000 min duration 0.735424770000 total durat. 537.548057456000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 105 , parent = Just 88 , duration = 1.035804761000 , status = Success , start = 2021-07-13 23:53:38.221464532 UTC , finish = 2021-07-13 23:53:39.257269293 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 103 , parent = Just 78 , duration = 1.035945153000 , status = Success , start = 2021-07-13 23:53:38.218213977 UTC , finish = 2021-07-13 23:53:39.25415913 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 392} , self = 159 , parent = Just 106 , duration = 5.006324973000 , status = Success , start = 2021-07-13 23:53:39.501019429 UTC , finish = 2021-07-13 23:53:44.507344402 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 392} , self = 157 , parent = Just 104 , duration = 5.007450145000 , status = Success , start = 2021-07-13 23:53:39.496028479 UTC , finish = 2021-07-13 23:53:44.503478624 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 191 , parent = Just 158 , duration = 5.051784664000 , status = Success , start = 2021-07-13 23:53:44.624623505 UTC , finish = 2021-07-13 23:53:49.676408169 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 193 , parent = Just 160 , duration = 5.052137031000 , status = Success , start = 2021-07-13 23:53:44.630857754 UTC , finish = 2021-07-13 23:53:49.682994785 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 444} , self = 141 , parent = Just 69 , duration = 5.094409546000 , status = Success , start = 2021-07-13 23:53:38.151356581 UTC , finish = 2021-07-13 23:53:43.245766127 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 432} , self = 203 , parent = Just 149 , duration = 5.802354741000 , status = Success , start = 2021-07-13 23:53:44.37421903 UTC , finish = 2021-07-13 23:53:50.176573771 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 79} , self = 357 , parent = Just 344 , duration = 5.896786436000 , status = Success , start = 2021-07-13 23:55:51.707553416 UTC , finish = 2021-07-13 23:55:57.604339852 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 648} , self = 148 , parent = Just 62 , duration = 6.338874829000 , status = Success , start = 2021-07-13 23:53:37.944754642 UTC , finish = 2021-07-13 23:53:44.283629471 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 310} , self = 329 , parent = Just 306 , duration = 11.903033528000 , status = Success , start = 2021-07-13 23:55:01.125695868 UTC , finish = 2021-07-13 23:55:13.028729396 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 310} , self = 335 , parent = Just 321 , duration = 13.464486720000 , status = Success , start = 2021-07-13 23:55:08.196515243 UTC , finish = 2021-07-13 23:55:21.661001963 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 11 , num_top_rules = 11 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 326} , self = 221 , parent = Just 207 , duration = 14.165028812000 , status = Success , start = 2021-07-13 23:53:50.788959372 UTC , finish = 2021-07-13 23:54:04.953988184 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 11 , num_top_rules = 11 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 326} , self = 223 , parent = Just 205 , duration = 16.109251000000 , status = Success , start = 2021-07-13 23:53:51.006716631 UTC , finish = 2021-07-13 23:54:07.115967631 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 444} , self = 251 , parent = Just 69 , duration = 16.831926273000 , status = Success , start = 2021-07-13 23:54:09.333517755 UTC , finish = 2021-07-13 23:54:26.165444028 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 444} , self = 236 , parent = Just 69 , duration = 22.477892583000 , status = Success , start = 2021-07-13 23:53:50.412529613 UTC , finish = 2021-07-13 23:54:12.890422196 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 339} , self = 381 , parent = Just 358 , duration = 37.037786310000 , status = Success , start = 2021-07-13 23:55:58.239622124 UTC , finish = 2021-07-13 23:56:35.277408434 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 28 , alphabet_size = 13 , total_length = 1272} , self = 296 , parent = Just 199 , duration = 45.979738312000 , status = Success , start = 2021-07-13 23:54:09.512820776 UTC , finish = 2021-07-13 23:54:55.492559088 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 28 , alphabet_size = 13 , total_length = 1272} , self = 270 , parent = Just 199 , duration = 53.399635628000 , status = Success , start = 2021-07-13 23:53:50.399230856 UTC , finish = 2021-07-13 23:54:43.798866484 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 78 , num_strict_rules = 42 , num_top_rules = 42 , num_weak_rules = 36 , alphabet_size = 16 , total_length = 1920} , self = 288 , parent = Just 213 , duration = 61.393599841000 , status = Success , start = 2021-07-13 23:53:51.440275348 UTC , finish = 2021-07-13 23:54:52.833875189 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 52 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 24 , alphabet_size = 14 , total_length = 1280} , self = 372 , parent = Just 289 , duration = 94.889267255000 , status = Success , start = 2021-07-13 23:54:53.571698234 UTC , finish = 2021-07-13 23:56:28.460965489 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 42 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 20 , alphabet_size = 11 , total_length = 1048} , self = 391 , parent = Just 297 , duration = 102.960003527000 , status = Success , start = 2021-07-13 23:54:56.326889026 UTC , finish = 2021-07-13 23:56:39.286892553 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '2' ] , 3 , True )} Except [ 'M' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '.' , 'T' , 'i' , 'l' , 'i' , 'n' , 'g' , '.' , 'A' , 'u' , 't' , 'o' , 'm' , 'a' , 't' , 'o' , 'n' , '.' , 'S' , 't' , 'a' , 't' , 'e' , '.' , 'f' , 'f' , ':' , ' ' , 'a' , 'r' , 'g' , 'u' , 'm' , 'e' , 'n' , 't' , ' ' , 'e' , 'x' , 'c' , 'e' , 'e' , 'd' , 's' , ' ' , 'r' , 'a' , 'n' , 'g' , 'e' , '\n' , 'C' , 'a' , 'l' , 'l' , 'S' , 't' , 'a' , 'c' , 'k' , ' ' , '(' , 'f' , 'r' , 'o' , 'm' , ' ' , 'H' , 'a' , 's' , 'C' , 'a' , 'l' , 'l' , 'S' , 't' , 'a' , 'c' , 'k' , ')' , ':' , '\n' , ' ' , ' ' , 'e' , 'r' , 'r' , 'o' , 'r' , ',' , ' ' , 'c' , 'a' , 'l' , 'l' , 'e' , 'd' , ' ' , 'a' , 't' , ' ' , 's' , 'r' , 'c' , '/' , 'M' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '/' , 'T' , 'i' , 'l' , 'i' , 'n' , 'g' , '/' , 'A' , 'u' , 't' , 'o' , 'm' , 'a' , 't' , 'o' , 'n' , '/' , 'S' , 't' , 'a' , 't' , 'e' , '/' , 'B' , 'i' , 't' , '6' , '4' , '.' , 'h' , 's' , ':' , '1' , '0' , '3' , ':' , '1' , '2' , ' ' , 'i' , 'n' , ' ' , 'p' , 'u' , 'r' , 'e' , '-' , 'm' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '-' , '1' , '.' , '0' , '-' , 'E' , 'O' , 'W' , 'r' , 'N' , 's' , 'Q' , 'm' , 'b' , 'E' , 'R' , '7' , 'j' , 'e' , 'R' , 'r' , '0' , 'w' , 'N' , 'n' , 'X' , 'p' , ':' , 'M' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '.' , 'T' , 'i' , 'l' , 'i' , 'n' , 'g' , '.' , 'A' , 'u' , 't' , 'o' , 'm' , 'a' , 't' , 'o' , 'n' , '.' , 'S' , 't' , 'a' , 't' , 'e' , '.' , 'B' , 'i' , 't' , '6' , '4' ] : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 2 max duration 1.834182622000 min duration 0.104636022000 total durat. 1.938818644000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 160 , num_strict_rules = 61 , num_top_rules = 61 , num_weak_rules = 99 , alphabet_size = 27 , total_length = 4428} , self = 380 , parent = Just 170 , duration = 1.834182622000 , status = Except [ 'M' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '.' , 'T' , 'i' , 'l' , 'i' , 'n' , 'g' , '.' , 'A' , 'u' , 't' , 'o' , 'm' , 'a' , 't' , 'o' , 'n' , '.' , 'S' , 't' , 'a' , 't' , 'e' , '.' , 'f' , 'f' , ':' , ' ' , 'a' , 'r' , 'g' , 'u' , 'm' , 'e' , 'n' , 't' , ' ' , 'e' , 'x' , 'c' , 'e' , 'e' , 'd' , 's' , ' ' , 'r' , 'a' , 'n' , 'g' , 'e' , '\n' , 'C' , 'a' , 'l' , 'l' , 'S' , 't' , 'a' , 'c' , 'k' , ' ' , '(' , 'f' , 'r' , 'o' , 'm' , ' ' , 'H' , 'a' , 's' , 'C' , 'a' , 'l' , 'l' , 'S' , 't' , 'a' , 'c' , 'k' , ')' , ':' , '\n' , ' ' , ' ' , 'e' , 'r' , 'r' , 'o' , 'r' , ',' , ' ' , 'c' , 'a' , 'l' , 'l' , 'e' , 'd' , ' ' , 'a' , 't' , ' ' , 's' , 'r' , 'c' , '/' , 'M' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '/' , 'T' , 'i' , 'l' , 'i' , 'n' , 'g' , '/' , 'A' , 'u' , 't' , 'o' , 'm' , 'a' , 't' , 'o' , 'n' , '/' , 'S' , 't' , 'a' , 't' , 'e' , '/' , 'B' , 'i' , 't' , '6' , '4' , '.' , 'h' , 's' , ':' , '1' , '0' , '3' , ':' , '1' , '2' , ' ' , 'i' , 'n' , ' ' , 'p' , 'u' , 'r' , 'e' , '-' , 'm' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '-' , '1' , '.' , '0' , '-' , 'E' , 'O' , 'W' , 'r' , 'N' , 's' , 'Q' , 'm' , 'b' , 'E' , 'R' , '7' , 'j' , 'e' , 'R' , 'r' , '0' , 'w' , 'N' , 'n' , 'X' , 'p' , ':' , 'M' , 'a' , 't' , 'c' , 'h' , 'b' , 'o' , 'x' , '.' , 'T' , 'i' , 'l' , 'i' , 'n' , 'g' , '.' , 'A' , 'u' , 't' , 'o' , 'm' , 'a' , 't' , 'o' , 'n' , '.' , 'S' , 't' , 'a' , 't' , 'e' , '.' , 'B' , 'i' , 't' , '6' , '4' ] , start = 2021-07-13 23:56:31.918541618 UTC , finish = 2021-07-13 23:56:33.75272424 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '2' ] , 3 , True )} Success : Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 11 max duration 95.076533215000 min duration 3.947207742000 total durat. 330.702164620000 Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 133 , parent = Just 78 , duration = 3.947207742000 , status = Success , start = 2021-07-13 23:53:38.179657567 UTC , finish = 2021-07-13 23:53:42.126865309 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 135 , parent = Just 88 , duration = 4.282604388000 , status = Success , start = 2021-07-13 23:53:38.221489283 UTC , finish = 2021-07-13 23:53:42.504093671 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 121 , parent = Just 13 , duration = 4.322280044000 , status = Success , start = 2021-07-13 23:53:37.111789351 UTC , finish = 2021-07-13 23:53:41.434069395 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 123 , parent = Just 12 , duration = 4.475113115000 , status = Success , start = 2021-07-13 23:53:37.107606861 UTC , finish = 2021-07-13 23:53:41.582719976 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 217 , parent = Just 12 , duration = 7.596489368000 , status = Success , start = 2021-07-13 23:53:45.448259691 UTC , finish = 2021-07-13 23:53:53.044749059 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 79} , self = 363 , parent = Just 344 , duration = 27.346029393000 , status = Success , start = 2021-07-13 23:55:51.707569283 UTC , finish = 2021-07-13 23:56:19.053598676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 11 , num_top_rules = 11 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 326} , self = 280 , parent = Just 207 , duration = 38.767826955000 , status = Success , start = 2021-07-13 23:54:08.233903286 UTC , finish = 2021-07-13 23:54:47.001730241 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 260 , parent = Just 160 , duration = 45.407403744000 , status = Success , start = 2021-07-13 23:53:45.455992382 UTC , finish = 2021-07-13 23:54:30.863396126 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 11 , num_top_rules = 11 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 326} , self = 265 , parent = Just 205 , duration = 46.384847308000 , status = Success , start = 2021-07-13 23:53:50.69215328 UTC , finish = 2021-07-13 23:54:37.077000588 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 432} , self = 267 , parent = Just 149 , duration = 53.095829348000 , status = Success , start = 2021-07-13 23:53:45.653216799 UTC , finish = 2021-07-13 23:54:38.749046147 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 310} , self = 387 , parent = Just 306 , duration = 95.076533215000 , status = Success , start = 2021-07-13 23:55:00.637513947 UTC , finish = 2021-07-13 23:56:35.714047162 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '1' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 22 max duration 27.125397785000 min duration 0.108216690000 total durat. 142.301700617000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 469 , num_strict_rules = 78 , num_top_rules = 78 , num_weak_rules = 391 , alphabet_size = 52 , total_length = 14626} , self = 389 , parent = Just 388 , duration = 1.296869663000 , status = Success , start = 2021-07-13 23:56:35.714496176 UTC , finish = 2021-07-13 23:56:37.011365839 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 171 , num_strict_rules = 54 , num_top_rules = 54 , num_weak_rules = 117 , alphabet_size = 32 , total_length = 4788} , self = 150 , parent = Just 136 , duration = 1.787896331000 , status = Success , start = 2021-07-13 23:53:42.504349045 UTC , finish = 2021-07-13 23:53:44.292245376 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 171 , num_strict_rules = 54 , num_top_rules = 54 , num_weak_rules = 117 , alphabet_size = 32 , total_length = 4788} , self = 147 , parent = Just 134 , duration = 1.993040217000 , status = Success , start = 2021-07-13 23:53:42.127108881 UTC , finish = 2021-07-13 23:53:44.120149098 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 225 , num_strict_rules = 72 , num_top_rules = 72 , num_weak_rules = 153 , alphabet_size = 38 , total_length = 6327} , self = 156 , parent = Just 124 , duration = 2.827037106000 , status = Success , start = 2021-07-13 23:53:41.582857961 UTC , finish = 2021-07-13 23:53:44.409895067 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 230 , num_strict_rules = 70 , num_top_rules = 70 , num_weak_rules = 160 , alphabet_size = 39 , total_length = 6460} , self = 170 , parent = Just 122 , duration = 3.322663157000 , status = Success , start = 2021-07-13 23:53:41.434346975 UTC , finish = 2021-07-13 23:53:44.757010132 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 225 , num_strict_rules = 72 , num_top_rules = 72 , num_weak_rules = 153 , alphabet_size = 38 , total_length = 6327} , self = 219 , parent = Just 218 , duration = 3.804964563000 , status = Success , start = 2021-07-13 23:53:53.045117847 UTC , finish = 2021-07-13 23:53:56.85008241 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 323 , num_strict_rules = 323 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 44 , total_length = 10336} , self = 183 , parent = Just 138 , duration = 4.043211866000 , status = Success , start = 2021-07-13 23:53:42.553989053 UTC , finish = 2021-07-13 23:53:46.597200919 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 323 , num_strict_rules = 323 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 44 , total_length = 10336} , self = 187 , parent = Just 145 , duration = 4.105875091000 , status = Success , start = 2021-07-13 23:53:43.491760288 UTC , finish = 2021-07-13 23:53:47.597635379 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 481 , num_strict_rules = 90 , num_top_rules = 90 , num_weak_rules = 391 , alphabet_size = 53 , total_length = 14890} , self = 308 , parent = Just 281 , duration = 13.594899696000 , status = Success , start = 2021-07-13 23:54:47.001992496 UTC , finish = 2021-07-13 23:55:00.596892192 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1152 , num_strict_rules = 1152 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 84 , total_length = 39168} , self = 316 , parent = Just 279 , duration = 16.298481696000 , status = Success , start = 2021-07-13 23:54:46.194577446 UTC , finish = 2021-07-13 23:55:02.493059142 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 481 , num_strict_rules = 90 , num_top_rules = 90 , num_weak_rules = 391 , alphabet_size = 53 , total_length = 14890} , self = 292 , parent = Just 266 , duration = 16.384217690000 , status = Success , start = 2021-07-13 23:54:37.077243276 UTC , finish = 2021-07-13 23:54:53.461460966 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 544 , num_strict_rules = 102 , num_top_rules = 102 , num_weak_rules = 442 , alphabet_size = 62 , total_length = 16762} , self = 282 , parent = Just 261 , duration = 19.248267634000 , status = Success , start = 2021-07-13 23:54:30.869667905 UTC , finish = 2021-07-13 23:54:50.117935539 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 760 , num_strict_rules = 133 , num_top_rules = 133 , num_weak_rules = 627 , alphabet_size = 81 , total_length = 23484} , self = 313 , parent = Just 268 , duration = 23.357358032000 , status = Success , start = 2021-07-13 23:54:38.749300686 UTC , finish = 2021-07-13 23:55:02.106658718 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1152 , num_strict_rules = 1152 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 84 , total_length = 39168} , self = 311 , parent = Just 263 , duration = 27.125397785000 , status = Success , start = 2021-07-13 23:54:34.130956082 UTC , finish = 2021-07-13 23:55:01.256353867 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '5' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 47 max duration 2.954984952000 min duration 0.000094845000 total durat. 15.757929895000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1680} , self = 240 , parent = Just 235 , duration = 1.779441089000 , status = Fail , start = 2021-07-13 23:54:12.296838454 UTC , finish = 2021-07-13 23:54:14.076279543 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 28 , alphabet_size = 13 , total_length = 1272} , self = 225 , parent = Just 222 , duration = 2.718779453000 , status = Fail , start = 2021-07-13 23:54:04.954182158 UTC , finish = 2021-07-13 23:54:07.672961611 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 299 , num_strict_rules = 299 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 36 , total_length = 9568} , self = 258 , parent = Just 257 , duration = 2.815094989000 , status = Fail , start = 2021-07-13 23:54:26.589864249 UTC , finish = 2021-07-13 23:54:29.404959238 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 299 , num_strict_rules = 299 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 36 , total_length = 9568} , self = 247 , parent = Just 246 , duration = 2.954984952000 , status = Fail , start = 2021-07-13 23:54:20.645736359 UTC , finish = 2021-07-13 23:54:23.600721311 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '7' ] , 3 , False )} **************************************************