/export/starexec/sandbox2/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 1 rules on 2 letters DP SRS with 6 strict rules and 1 weak rules on 3 letters EDG SRS with 4 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 4, encoding = Ersatz_Binary, dim = 6, solver = Minisatapi, verbose = True, tracing = False} SRS with 1 strict rules and 1 weak rules on 3 letters EDG SRS with 1 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 4, encoding = Ersatz_Binary, dim = 6, 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, b, b, a, b, a, b] -> [ a , b , b , a , b , a , b , a , b , a , b , b , a ] {- Input 0 -} reason DP property Termination has value Just True for SRS [a, b, a, b, b, a, b, a, b] ->= [ a , b , b , a , b , a , b , a , b , a , b , b , a ] {- DP Nontop (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [a#] {- DP (Top 12) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [ a# , b , a , b , a , b , a , b , b , a ] {- DP (Top 3) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [ a# , b , a , b , a , b , b , a ] {- DP (Top 5) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [a#, b, a, b, b, a] {- DP (Top 7) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [a#, b, b, a] {- DP (Top 9) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [ a# , b , b , a , b , a , b , a , b , a , b , b , a ] {- DP (Top 0) (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, b, b, a, b, a, b] |-> [a#] {- DP (Top 12) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [a#, b, a, b, b, a] {- DP (Top 7) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [ a# , b , a , b , a , b , b , a ] {- DP (Top 5) (Input 0) -} [a#, b, a, b, b, a, b, a, b] |-> [ a# , b , a , b , a , b , a , b , b , a ] {- DP (Top 3) (Input 0) -} [a, b, a, b, b, a, b, a, b] ->= [ a , b , b , a , b , a , b , a , b , a , b , b , a ] {- DP Nontop (Input 0) -} reason ( a , Wk / - - 0A - - 0A \ | - - 0A 0A - - | | 0A - - - - - | | - - - - - 0A | | - 0A - - - - | \ - - - - - 0A / ) ( b , Wk / - - - 0A 0A 0A \ | - - - - 0A - | | - - 0A 0A - - | | 3A - - - - - | | - 0A - - - 0A | \ - - - - - 0A / ) ( a# , Wk / - - 0A - - 2A \ | - - - - - - | | - - - - - - | | - - - - - - | | - - - - - - | \ - - - - - 0A / ) property Termination has value Just True for SRS [a#, b, a, b, b, a, b, a, b] |-> [a#, b, a, b, b, a] {- DP (Top 7) (Input 0) -} [a, b, a, b, b, a, b, a, b] ->= [ a , b , b , a , b , a , b , a , b , a , b , b , a ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, b, b, a, b, a, b] |-> [a#, b, a, b, b, a] {- DP (Top 7) (Input 0) -} [a, b, a, b, b, a, b, a, b] ->= [ a , b , b , a , b , a , b , a , b , a , b , b , a ] {- DP Nontop (Input 0) -} reason ( a , Wk / - - 1A - - 0A \ | - - 0A - - - | | - - - - - - | | 0A 0A - 0A - - | | - 0A - 0A - - | \ - - - - - 0A / ) ( b , Wk / - - 1A - 0A 0A \ | - - - - 0A - | | - - 0A 1A - 2A | | - - - - 0A - | | 0A - - - - - | \ - - - - - 0A / ) ( a# , Wk / - 1A - 1A - 1A \ | - - - - - - | | - - - - - - | | - - - - - - | | - - - - - - | \ - - - - - 0A / ) property Termination has value Just True for SRS [a, b, a, b, b, a, b, a, b] ->= [ a , b , b , a , b , a , b , a , b , a , b , b , a ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee(6/1,3)\EDG(4/1,3)\Matrix{\Arctic}{6}\EDG(1/1,3)\Matrix{\Arctic}{6}(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 119.095577174000 min duration 95.144069694000 total durat. 214.239646868000 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 = 22} , self = 376 , parent = Just 9 , duration = 95.144069694000 , status = Fail , start = 2021-07-13 23:50:20.656145388 UTC , finish = 2021-07-13 23:51:55.800215082 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' ] , 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 = 22} , self = 390 , parent = Just 0 , duration = 119.095577174000 , status = Fail , start = 2021-07-13 23:50:20.656127972 UTC , finish = 2021-07-13 23:52:19.751705146 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' ] , 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 2 max duration 6.038796310000 min duration 3.180728257000 total durat. 9.219524567000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 119 , parent = Just 13 , duration = 3.180728257000 , status = Fail , start = 2021-07-13 23:50:20.656926618 UTC , finish = 2021-07-13 23:50:23.837654875 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' ] , 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 = 123} , self = 160 , parent = Just 14 , duration = 6.038796310000 , status = Fail , start = 2021-07-13 23:50:20.656971146 UTC , finish = 2021-07-13 23:50:26.695767456 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 13.392006619000 min duration 10.901028284000 total durat. 24.293034903000 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 354 , parent = Just 323 , duration = 10.901028284000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:35.258066418 UTC , finish = 2021-07-13 23:51:46.159094702 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '6' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 310 , parent = Just 259 , duration = 13.392006619000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:16.099095197 UTC , finish = 2021-07-13 23:51:29.491101816 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '7' ] , 0 , True )} Success : 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 41.371521486000 min duration 27.380066131000 total durat. 68.751587617000 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 425 , parent = Just 323 , duration = 27.380066131000 , status = Success , start = 2021-07-13 23:52:16.230218766 UTC , finish = 2021-07-13 23:52:43.610284897 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '0' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 321 , parent = Just 13 , duration = 41.371521486000 , status = Success , start = 2021-07-13 23:50:53.879205138 UTC , finish = 2021-07-13 23:51:35.250726624 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '5' ] , 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 1 max duration 19.344272977000 min duration 19.344272977000 total durat. 19.344272977000 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 = 123} , self = 257 , parent = Just 14 , duration = 19.344272977000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:56.743631729 UTC , finish = 2021-07-13 23:51:16.087904706 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '0' ] , 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 4 max duration 31.895672322000 min duration 30.036424343000 total durat. 122.040039981000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 220 , parent = Just 13 , duration = 30.036424343000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:23.837825911 UTC , finish = 2021-07-13 23:50:53.874250254 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '8' ] , 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 = 123} , self = 224 , parent = Just 14 , duration = 30.043000038000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:26.696037063 UTC , finish = 2021-07-13 23:50:56.739037101 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 388 , parent = Just 323 , duration = 30.064943278000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:46.159266284 UTC , finish = 2021-07-13 23:52:16.224209562 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '6' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 377 , parent = Just 259 , duration = 31.895672322000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:29.615380228 UTC , finish = 2021-07-13 23:52:01.51105255 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '3' ] , 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 1.687685771000 min duration 1.687685771000 total durat. 1.687685771000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 351 , parent = Just 13 , duration = 1.687685771000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:41.427549439 UTC , finish = 2021-07-13 23:51:43.11523521 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '7' ] , 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 3 max duration 50.674961971000 min duration 24.060811085000 total durat. 124.820917755000 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 = 123} , self = 258 , parent = Just 14 , duration = 24.060811085000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:52.027651351 UTC , finish = 2021-07-13 23:51:16.088462436 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '1' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 345 , parent = Just 13 , duration = 50.085144699000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:51.336151423 UTC , finish = 2021-07-13 23:51:41.421296122 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '7' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 420 , parent = Just 259 , duration = 50.674961971000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:49.421579894 UTC , finish = 2021-07-13 23:52:40.096541865 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '3' ] , 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 4 max duration 30.064688582000 min duration 30.014380206000 total durat. 120.177602272000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 218 , parent = Just 13 , duration = 30.014380206000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:21.318471996 UTC , finish = 2021-07-13 23:50:51.332852202 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '6' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 356 , parent = Just 259 , duration = 30.040780286000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:19.374720978 UTC , finish = 2021-07-13 23:51:49.415501264 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '7' ] , 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 387 , parent = Just 323 , duration = 30.057753198000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:38.059404035 UTC , finish = 2021-07-13 23:52:08.117157233 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '1' ] , 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 = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 123} , self = 219 , parent = Just 14 , duration = 30.064688582000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:21.897987497 UTC , finish = 2021-07-13 23:50:51.962676079 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '0' ] , 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 4 max duration 3.275131213000 min duration 0.661442735000 total durat. 7.978348521000 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 = 123} , self = 78 , parent = Just 14 , duration = 1.240820525000 , status = Fail , start = 2021-07-13 23:50:20.656877517 UTC , finish = 2021-07-13 23:50:21.897698042 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' ] , 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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 336 , parent = Just 323 , duration = 2.800954048000 , status = Fail , start = 2021-07-13 23:51:35.258078089 UTC , finish = 2021-07-13 23:51:38.059032137 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 283 , parent = Just 259 , duration = 3.275131213000 , status = Fail , start = 2021-07-13 23:51:16.099123348 UTC , finish = 2021-07-13 23:51:19.374254561 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '9' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 2.396571999000 min duration 0.568129560000 total durat. 5.807224581000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 335 , parent = Just 323 , duration = 1.987504809000 , status = Fail , start = 2021-07-13 23:51:35.257985241 UTC , finish = 2021-07-13 23:51:37.24549005 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '8' ] , 0 , True )} Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 281 , parent = Just 259 , duration = 2.396571999000 , status = Fail , start = 2021-07-13 23:51:16.098973069 UTC , finish = 2021-07-13 23:51:18.495545068 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '9' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 11.163149405000 min duration 3.131727362000 total durat. 28.988828087000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 133 , parent = Just 13 , duration = 3.131727362000 , status = Fail , start = 2021-07-13 23:50:21.225199268 UTC , finish = 2021-07-13 23:50:24.35692663 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '1' ] , 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 = 123} , self = 155 , parent = Just 14 , duration = 4.867981477000 , status = Fail , start = 2021-07-13 23:50:21.512207949 UTC , finish = 2021-07-13 23:50:26.380189426 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '5' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 355 , parent = Just 323 , duration = 9.825969843000 , status = Fail , start = 2021-07-13 23:51:37.245814267 UTC , finish = 2021-07-13 23:51:47.07178411 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '7' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 311 , parent = Just 259 , duration = 11.163149405000 , status = Fail , start = 2021-07-13 23:51:18.496030776 UTC , finish = 2021-07-13 23:51:29.659180181 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '3' ] , 0 , True )} Success : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 49.696820915000 min duration 49.696820915000 total durat. 49.696820915000 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 = 123} , self = 255 , parent = Just 14 , duration = 49.696820915000 , status = Success , start = 2021-07-13 23:50:26.380485259 UTC , finish = 2021-07-13 23:51:16.077306174 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '4' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 47.661903892000 min duration 33.626958715000 total durat. 124.012679563000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 397 , parent = Just 323 , duration = 33.626958715000 , status = Fail , start = 2021-07-13 23:51:47.072004138 UTC , finish = 2021-07-13 23:52:20.698962853 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '9' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 231 , parent = Just 13 , duration = 42.723816956000 , status = Fail , start = 2021-07-13 23:50:24.359328215 UTC , finish = 2021-07-13 23:51:07.083145171 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '4' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 389 , parent = Just 259 , duration = 47.661903892000 , status = Fail , start = 2021-07-13 23:51:29.659654938 UTC , finish = 2021-07-13 23:52:17.32155883 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '6' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 36.031555323000 min duration 23.128616411000 total durat. 59.160171734000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 428 , parent = Just 323 , duration = 23.128616411000 , status = Fail , start = 2021-07-13 23:52:20.699189835 UTC , finish = 2021-07-13 23:52:43.827806246 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '3' ] , 0 , True )} Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 350 , parent = Just 13 , duration = 36.031555323000 , status = Fail , start = 2021-07-13 23:51:07.08334091 UTC , finish = 2021-07-13 23:51:43.114896233 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '6' ] , 0 , 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 12 max duration 20.898683899000 min duration 0.033527184000 total durat. 48.297839293000 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 96 , parent = Just 73 , duration = 1.098923633000 , status = Success , start = 2021-07-13 23:50:21.68957021 UTC , finish = 2021-07-13 23:50:22.788493843 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '3' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 141 , parent = Just 73 , duration = 1.159787614000 , status = Success , start = 2021-07-13 23:50:23.863075687 UTC , finish = 2021-07-13 23:50:25.022863301 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 113 , parent = Just 73 , duration = 1.168192791000 , status = Success , start = 2021-07-13 23:50:22.454174572 UTC , finish = 2021-07-13 23:50:23.622367363 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 312} , self = 180 , parent = Just 168 , duration = 1.270844318000 , status = Success , start = 2021-07-13 23:50:29.339769656 UTC , finish = 2021-07-13 23:50:30.610613974 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '3' ] , 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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1176} , self = 165 , parent = Just 63 , duration = 3.397741221000 , status = Success , start = 2021-07-13 23:50:25.262942768 UTC , finish = 2021-07-13 23:50:28.660683989 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '8' ] , 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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1176} , self = 202 , parent = Just 63 , duration = 6.860753341000 , status = Success , start = 2021-07-13 23:50:30.880889979 UTC , finish = 2021-07-13 23:50:37.74164332 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '1' ] , 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 = 78 , num_strict_rules = 78 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 2184} , self = 305 , parent = Just 114 , duration = 11.350425483000 , status = Success , start = 2021-07-13 23:51:16.445136781 UTC , finish = 2021-07-13 23:51:27.795562264 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 = 66 , num_strict_rules = 66 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 1848} , self = 240 , parent = Just 181 , duration = 20.898683899000 , status = Success , start = 2021-07-13 23:50:49.741744158 UTC , finish = 2021-07-13 23:51:10.640428057 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '3' ] , 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 5 max duration 28.071327420000 min duration 0.406981086000 total durat. 34.155817620000 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 = 96} , self = 124 , parent = Just 80 , duration = 1.917399144000 , status = Success , start = 2021-07-13 23:50:22.242088234 UTC , finish = 2021-07-13 23:50:24.159487378 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '7' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 167 , parent = Just 73 , duration = 2.904335193000 , status = Success , start = 2021-07-13 23:50:26.38401478 UTC , finish = 2021-07-13 23:50:29.288349973 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '9' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 312} , self = 225 , parent = Just 168 , duration = 28.071327420000 , status = Success , start = 2021-07-13 23:50:29.319145762 UTC , finish = 2021-07-13 23:50:57.390473182 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '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 12 max duration 32.113561831000 min duration 0.054766160000 total durat. 88.823896834000 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 = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 546} , self = 85 , parent = Just 38 , duration = 1.181436483000 , status = Success , start = 2021-07-13 23:50:21.090100048 UTC , finish = 2021-07-13 23:50:22.271536531 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '9' , '9' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 102 , parent = Just 73 , duration = 1.547653719000 , status = Success , start = 2021-07-13 23:50:21.702364923 UTC , finish = 2021-07-13 23:50:23.250018642 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '7' ] , 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 = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 546} , self = 151 , parent = Just 38 , duration = 1.554848809000 , status = Success , start = 2021-07-13 23:50:24.320967845 UTC , finish = 2021-07-13 23:50:25.875816654 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '0' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 122 , parent = Just 73 , duration = 1.581423413000 , status = Success , start = 2021-07-13 23:50:22.561077917 UTC , finish = 2021-07-13 23:50:24.14250133 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '9' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 312} , self = 186 , parent = Just 168 , duration = 1.853882864000 , status = Success , start = 2021-07-13 23:50:29.351262614 UTC , finish = 2021-07-13 23:50:31.205145478 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '7' ] , 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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1176} , self = 199 , parent = Just 63 , duration = 6.846233858000 , status = Success , start = 2021-07-13 23:50:26.384410712 UTC , finish = 2021-07-13 23:50:33.23064457 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '4' ] , 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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1176} , self = 288 , parent = Just 63 , duration = 13.543495451000 , status = Success , start = 2021-07-13 23:51:07.603905298 UTC , finish = 2021-07-13 23:51:21.147400749 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '0' ] , 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 = 66 , num_strict_rules = 66 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 17 , total_length = 1848} , self = 361 , parent = Just 181 , duration = 27.933477170000 , status = Success , start = 2021-07-13 23:51:23.416921009 UTC , finish = 2021-07-13 23:51:51.350398179 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 42 , num_strict_rules = 42 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1176} , self = 227 , parent = Just 63 , duration = 32.113561831000 , status = Success , start = 2021-07-13 23:50:31.410736211 UTC , finish = 2021-07-13 23:51:03.524298042 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '6' ] , 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 7 max duration 35.429569624000 min duration 0.465110716000 total durat. 57.414917374000 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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 144} , self = 98 , parent = Just 28 , duration = 1.394693086000 , status = Success , start = 2021-07-13 23:50:21.463961694 UTC , finish = 2021-07-13 23:50:22.85865478 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 144} , self = 161 , parent = Just 28 , duration = 1.682501732000 , status = Success , start = 2021-07-13 23:50:26.652050065 UTC , finish = 2021-07-13 23:50:28.334551797 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '7' ] , 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 96} , self = 139 , parent = Just 80 , duration = 2.723686002000 , status = Success , start = 2021-07-13 23:50:22.245207903 UTC , finish = 2021-07-13 23:50:24.968893905 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '1' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 196 , parent = Just 73 , duration = 4.397570306000 , status = Success , start = 2021-07-13 23:50:28.341762127 UTC , finish = 2021-07-13 23:50:32.739332433 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '6' ] , 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 468} , self = 315 , parent = Just 73 , duration = 11.321785908000 , status = Success , start = 2021-07-13 23:51:19.485008956 UTC , finish = 2021-07-13 23:51:30.806794864 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '1' ] , 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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 312} , self = 229 , parent = Just 168 , duration = 35.429569624000 , status = Success , start = 2021-07-13 23:50:29.33607897 UTC , finish = 2021-07-13 23:51:04.765648594 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '9' ] , 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 22 max duration 34.061619111000 min duration 0.428854507000 total durat. 280.085990115000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 271 , parent = Just 259 , duration = 1.158990809000 , status = Success , start = 2021-07-13 23:51:16.128338723 UTC , finish = 2021-07-13 23:51:17.287329532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 15 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 318} , self = 106 , parent = Just 51 , duration = 2.140491603000 , status = Success , start = 2021-07-13 23:50:21.151848123 UTC , finish = 2021-07-13 23:50:23.292339726 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 27 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 555} , self = 131 , parent = Just 59 , duration = 3.026763211000 , status = Success , start = 2021-07-13 23:50:21.323070185 UTC , finish = 2021-07-13 23:50:24.349833396 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 = 8 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 178} , self = 340 , parent = Just 330 , duration = 4.652902658000 , status = Success , start = 2021-07-13 23:51:36.206907356 UTC , finish = 2021-07-13 23:51:40.859810014 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 = 18 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 370} , self = 265 , parent = Just 235 , duration = 5.412909517000 , status = Success , start = 2021-07-13 23:51:10.778608328 UTC , finish = 2021-07-13 23:51:16.191517845 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 37 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 27 , alphabet_size = 16 , total_length = 905} , self = 174 , parent = Just 107 , duration = 5.796555462000 , status = Success , start = 2021-07-13 23:50:23.641196432 UTC , finish = 2021-07-13 23:50:29.437751894 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 429} , self = 295 , parent = Just 272 , duration = 6.598141112000 , status = Success , start = 2021-07-13 23:51:17.564090094 UTC , finish = 2021-07-13 23:51:24.162231206 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 17 , num_strict_rules = 11 , num_top_rules = 11 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 356} , self = 404 , parent = Just 393 , duration = 6.807991035000 , status = Success , start = 2021-07-13 23:52:20.517123591 UTC , finish = 2021-07-13 23:52:27.325114626 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '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 = 11 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 222} , self = 204 , parent = Just 191 , duration = 7.372322230000 , status = Success , start = 2021-07-13 23:50:32.877423149 UTC , finish = 2021-07-13 23:50:40.249745379 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '9' ] , 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 = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 286} , self = 421 , parent = Just 409 , duration = 12.601172318000 , status = Success , start = 2021-07-13 23:52:28.154086687 UTC , finish = 2021-07-13 23:52:40.755259005 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 31 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 21 , alphabet_size = 12 , total_length = 749} , self = 312 , parent = Just 175 , duration = 15.976150629000 , status = Success , start = 2021-07-13 23:51:13.691354248 UTC , finish = 2021-07-13 23:51:29.667504877 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '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 = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 130} , self = 398 , parent = Just 379 , duration = 17.563827447000 , status = Success , start = 2021-07-13 23:52:03.516894829 UTC , finish = 2021-07-13 23:52:21.080722276 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 70 , num_strict_rules = 42 , num_top_rules = 42 , num_weak_rules = 28 , alphabet_size = 16 , total_length = 1603} , self = 210 , parent = Just 135 , duration = 20.569464686000 , status = Success , start = 2021-07-13 23:50:25.388064912 UTC , finish = 2021-07-13 23:50:45.957529598 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '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 = 27 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 24 , alphabet_size = 14 , total_length = 681} , self = 384 , parent = Just 341 , duration = 23.572994818000 , status = Success , start = 2021-07-13 23:51:41.525550614 UTC , finish = 2021-07-13 23:52:05.098545432 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '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 = 31 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 21 , alphabet_size = 12 , total_length = 749} , self = 221 , parent = Just 175 , duration = 24.289159308000 , status = Success , start = 2021-07-13 23:50:29.59837086 UTC , finish = 2021-07-13 23:50:53.887530168 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 60 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 24 , alphabet_size = 14 , total_length = 1374} , self = 352 , parent = Just 211 , duration = 27.400828900000 , status = Success , start = 2021-07-13 23:51:16.708956845 UTC , finish = 2021-07-13 23:51:44.109785745 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 56 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 28 , alphabet_size = 16 , total_length = 1281} , self = 369 , parent = Just 297 , duration = 29.077208697000 , status = Success , start = 2021-07-13 23:51:25.245973139 UTC , finish = 2021-07-13 23:51:54.323181836 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '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 = 31 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 21 , alphabet_size = 12 , total_length = 749} , self = 242 , parent = Just 175 , duration = 30.255083638000 , status = Success , start = 2021-07-13 23:50:40.897170953 UTC , finish = 2021-07-13 23:51:11.152254591 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '9' ] , 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 = 60 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 24 , alphabet_size = 14 , total_length = 1374} , self = 286 , parent = Just 211 , duration = 34.061619111000 , status = Success , start = 2021-07-13 23:50:46.281701769 UTC , finish = 2021-07-13 23:51:20.34332088 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '5' ] , 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 61.790583304000 min duration 2.613288760000 total durat. 260.689706868000 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 = 123} , self = 104 , parent = Just 14 , duration = 2.613288760000 , status = Success , start = 2021-07-13 23:50:20.667662826 UTC , finish = 2021-07-13 23:50:23.280951586 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '9' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 83} , self = 108 , parent = Just 13 , duration = 2.654894285000 , status = Success , start = 2021-07-13 23:50:20.665907895 UTC , finish = 2021-07-13 23:50:23.32080218 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '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 = 2 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 37} , self = 337 , parent = Just 323 , duration = 4.137904649000 , status = Success , start = 2021-07-13 23:51:35.272804954 UTC , finish = 2021-07-13 23:51:39.410709603 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 85} , self = 290 , parent = Just 259 , duration = 5.999453198000 , status = Success , start = 2021-07-13 23:51:16.133135313 UTC , finish = 2021-07-13 23:51:22.132588511 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '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 = 15 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 318} , self = 190 , parent = Just 51 , duration = 7.740601634000 , status = Success , start = 2021-07-13 23:50:24.886877397 UTC , finish = 2021-07-13 23:50:32.627479031 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 8 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 178} , self = 378 , parent = Just 330 , duration = 21.281034654000 , status = Success , start = 2021-07-13 23:51:42.014744384 UTC , finish = 2021-07-13 23:52:03.295779038 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '9' ] , 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 = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 130} , self = 414 , parent = Just 379 , duration = 29.850062158000 , status = Success , start = 2021-07-13 23:52:03.384407514 UTC , finish = 2021-07-13 23:52:33.234469672 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 11 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 222} , self = 244 , parent = Just 191 , duration = 38.556652336000 , status = Success , start = 2021-07-13 23:50:32.720756048 UTC , finish = 2021-07-13 23:51:11.277408384 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 = 18 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 370} , self = 365 , parent = Just 235 , duration = 41.016175406000 , status = Success , start = 2021-07-13 23:51:10.62063996 UTC , finish = 2021-07-13 23:51:51.636815366 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 27 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 555} , self = 234 , parent = Just 59 , duration = 45.049056484000 , status = Success , start = 2021-07-13 23:50:25.390216451 UTC , finish = 2021-07-13 23:51:10.439272935 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 429} , self = 408 , parent = Just 272 , duration = 61.790583304000 , status = Success , start = 2021-07-13 23:51:26.337209416 UTC , finish = 2021-07-13 23:52:28.12779272 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '1' ] , 3 , True )} Success : Unlabel { steps = Many, verbose = False, tracing = False} total number 44 max duration 1.231173445000 min duration 0.000005591000 total durat. 1.427404613000 Info { what = Unlabel { steps = Many, verbose = False, tracing = False} , input_size = Size { num_rules = 264 , num_strict_rules = 264 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 7920} , self = 252 , parent = Just 241 , duration = 1.231173445000 , status = Success , start = 2021-07-13 23:51:14.258487826 UTC , finish = 2021-07-13 23:51:15.489661271 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '3' ] , 0 , False )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 24 max duration 28.295678259000 min duration 0.012281504000 total durat. 89.603709570000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 116 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 96 , alphabet_size = 27 , total_length = 3134} , self = 314 , parent = Just 313 , duration = 1.019764534000 , status = Success , start = 2021-07-13 23:51:29.673989571 UTC , finish = 2021-07-13 23:51:30.693754105 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 140 , num_strict_rules = 42 , num_top_rules = 42 , num_weak_rules = 98 , alphabet_size = 31 , total_length = 3703} , self = 129 , parent = Just 105 , duration = 1.026247812000 , status = Success , start = 2021-07-13 23:50:23.282861105 UTC , finish = 2021-07-13 23:50:24.309108917 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '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 = 81 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 72 , alphabet_size = 23 , total_length = 2205} , self = 339 , parent = Just 338 , duration = 1.299496316000 , status = Success , start = 2021-07-13 23:51:39.410861702 UTC , finish = 2021-07-13 23:51:40.710358018 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 221 , num_strict_rules = 221 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 36 , total_length = 6630} , self = 158 , parent = Just 140 , duration = 1.594030980000 , status = Success , start = 2021-07-13 23:50:24.969090089 UTC , finish = 2021-07-13 23:50:26.563121069 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 221 , num_strict_rules = 221 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 36 , total_length = 6630} , self = 149 , parent = Just 125 , duration = 1.659053155000 , status = Success , start = 2021-07-13 23:50:24.159590112 UTC , finish = 2021-07-13 23:50:25.818643267 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '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 = 195 , num_strict_rules = 78 , num_top_rules = 78 , num_weak_rules = 117 , alphabet_size = 30 , total_length = 5057} , self = 292 , parent = Just 287 , duration = 2.020152198000 , status = Success , start = 2021-07-13 23:51:20.348386428 UTC , finish = 2021-07-13 23:51:22.368538626 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 116 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 96 , alphabet_size = 27 , total_length = 3134} , self = 223 , parent = Just 222 , duration = 2.538528288000 , status = Success , start = 2021-07-13 23:50:53.887776877 UTC , finish = 2021-07-13 23:50:56.426305165 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '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 = 126 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 98 , alphabet_size = 31 , total_length = 3353} , self = 298 , parent = Just 291 , duration = 2.542503260000 , status = Success , start = 2021-07-13 23:51:22.138356943 UTC , finish = 2021-07-13 23:51:24.680860203 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 346 , num_strict_rules = 57 , num_top_rules = 57 , num_weak_rules = 289 , alphabet_size = 47 , total_length = 10053} , self = 270 , parent = Just 245 , duration = 5.398572601000 , status = Success , start = 2021-07-13 23:51:11.277616323 UTC , finish = 2021-07-13 23:51:16.676188924 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 195 , num_strict_rules = 78 , num_top_rules = 78 , num_weak_rules = 117 , alphabet_size = 30 , total_length = 5057} , self = 357 , parent = Just 353 , duration = 5.532618457000 , status = Success , start = 2021-07-13 23:51:44.117990164 UTC , finish = 2021-07-13 23:51:49.650608621 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 696 , num_strict_rules = 696 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 62 , total_length = 22272} , self = 280 , parent = Just 230 , duration = 13.684735874000 , status = Success , start = 2021-07-13 23:51:04.770459651 UTC , finish = 2021-07-13 23:51:18.455195525 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 696 , num_strict_rules = 696 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 62 , total_length = 22272} , self = 254 , parent = Just 226 , duration = 18.619572569000 , status = Success , start = 2021-07-13 23:50:57.39071678 UTC , finish = 2021-07-13 23:51:16.010289349 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 468 , num_strict_rules = 78 , num_top_rules = 78 , num_weak_rules = 390 , alphabet_size = 65 , total_length = 13637} , self = 391 , parent = Just 366 , duration = 28.295678259000 , status = Success , start = 2021-07-13 23:51:51.637091369 UTC , finish = 2021-07-13 23:52:19.932769628 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '4' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 55 max duration 5.865794933000 min duration 0.000084509000 total durat. 23.818762649000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 264 , num_strict_rules = 264 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 7920} , self = 248 , parent = Just 241 , duration = 1.708285442000 , status = Fail , start = 2021-07-13 23:51:10.640572169 UTC , finish = 2021-07-13 23:51:12.348857611 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 220 , num_strict_rules = 220 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 6600} , self = 293 , parent = Just 289 , duration = 2.118221890000 , status = Fail , start = 2021-07-13 23:51:21.147642762 UTC , finish = 2021-07-13 23:51:23.265864652 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 264 , num_strict_rules = 264 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 39 , total_length = 7920} , self = 367 , parent = Just 362 , duration = 2.718140847000 , status = Fail , start = 2021-07-13 23:51:51.350684821 UTC , finish = 2021-07-13 23:51:54.068825668 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 220 , num_strict_rules = 220 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 6600} , self = 201 , parent = Just 200 , duration = 3.152418946000 , status = Fail , start = 2021-07-13 23:50:33.234087485 UTC , finish = 2021-07-13 23:50:36.386506431 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 220 , num_strict_rules = 220 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 6600} , self = 232 , parent = Just 228 , duration = 3.873488407000 , status = Fail , start = 2021-07-13 23:51:03.524495954 UTC , finish = 2021-07-13 23:51:07.397984361 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 220 , num_strict_rules = 220 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 6600} , self = 208 , parent = Just 203 , duration = 5.865794933000 , status = Fail , start = 2021-07-13 23:50:37.741838734 UTC , finish = 2021-07-13 23:50:43.607633667 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '4' ] , 3 , False )} **************************************************