/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 mirror SRS with 1 rules on 2 letters DP SRS with 7 strict rules and 1 weak rules on 3 letters EDG SRS with 7 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 3, encoding = Ersatz_Binary, dim = 4, solver = Minisatapi, verbose = True, tracing = False} SRS with 4 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 = 3, encoding = FBV, dim = 6, solver = Minisatapi, verbose = False, tracing = False} SRS with 3 strict rules and 1 weak rules on 3 letters EDG SRS with 3 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 2 strict rules and 1 weak rules on 3 letters EDG SRS with 2 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 3, encoding = Ersatz_Binary, dim = 4, 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, a, a, b, a, b, a] -> [ a , a , b , a , b , a , b , a , b , a , a , b , a , b ] {- Input 0 -} reason mirror property Termination has value Just True for SRS [a, b, a, b, a, a, b, a, b, a] -> [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- Mirror (Input 0) -} reason DP property Termination has value Just True for SRS [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 3) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , a ] {- DP (Top 10) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 1) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , a ] {- DP (Top 6) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a ] {- DP (Top 4) (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a ] {- DP (Top 4) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , a ] {- DP (Top 6) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 1) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , a ] {- DP (Top 10) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 3) (Mirror (Input 0)) -} [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( a , Wk / 1 0 0 0 \ | 2 0 0 1 | | 0 1 0 0 | \ 0 0 0 1 / ) ( b , Wk / 0 0 1 0 \ | 1 0 0 0 | | 0 0 1 1 | \ 0 0 0 1 / ) ( a# , Wk / 0 3 0 2 \ | 0 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) property Termination has value Just True for SRS [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a ] {- DP (Top 4) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 3) (Mirror (Input 0)) -} [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 3) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , b , a , b , a , a ] {- DP (Top 4) (Mirror (Input 0)) -} [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( a , Wk / 0A 0A 0A 0A 0A 0A \ | 0A 0A 0A 0A 0A 0A | | 0A 0A 0A 0A 0A 0A | | 0A 0A 0A 0A 0A 0A | | -6A -6A 0A 0A 0A 0A | \ -6A -6A -6A 0A 0A 0A / ) ( b , Wk / 0A 0A 0A 0A 0A 0A \ | -6A -6A -6A -6A 0A 0A | | -6A -6A -6A -6A -6A 0A | | -6A -6A -6A -6A -6A -6A | | -6A -6A -6A -6A -6A -6A | \ -6A -6A -6A -6A -6A -6A / ) ( a# , Wk / 1A 6A 6A 6A 6A 6A \ | 1A 6A 6A 6A 6A 6A | | 1A 6A 6A 6A 6A 6A | | 1A 6A 6A 6A 6A 6A | | 1A 6A 6A 6A 6A 6A | \ 1A 6A 6A 6A 6A 6A / ) property Termination has value Just True for SRS [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 3) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , a , b , a , b , a , b , a , b , a , a ] {- DP (Top 3) (Mirror (Input 0)) -} [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( a , Wk / - - - - 0A - - 1A \ | - - 0A - - - - - | | - - - - - 0A - - | | - - - - 0A 0A - - | | - - - - 0A - - 0A | | 0A - - - - - - - | | - 0A - 0A - - - - | \ - - - - - - - 0A / ) ( b , Wk / 0A - - 0A 0A 0A - - \ | - - - - - - 0A - | | - - 0A - - - - - | | - 0A - - - - 1A - | | - 0A - - - - - - | | - - - - - - - - | | - 0A 0A - - 0A - - | \ - - - - - - - 0A / ) ( a# , Wk / 0A - - - 1A 0A - 1A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [a#, b, a, b, a, a, b, a, b, a] |-> [a#, a] {- DP (Top 12) (Mirror (Input 0)) -} [a#, b, a, b, a, a, b, a, b, a] |-> [ a# , b , a , b , a , a ] {- DP (Top 8) (Mirror (Input 0)) -} [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( a , Wk / 1 0 1 0 \ | 0 0 1 0 | | 1 0 0 1 | \ 0 0 0 1 / ) ( b , Wk / 0 1 0 0 \ | 0 0 0 3 | | 0 0 1 0 | \ 0 0 0 1 / ) ( a# , Wk / 2 0 0 0 \ | 0 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) property Termination has value Just True for SRS [a, b, a, b, a, a, b, a, b, a] ->= [ b , a , b , a , a , b , a , b , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG ************************************************** skeleton: \Mirror(1,2)\Deepee\EDG(7/1,3)\Matrix{\Natural}{4}\EDG(4/1,3)\Matrix{\Arctic}{6}\EDG(3/1,3)\Matrix{\Arctic}{8}\EDG(2/1,3)\Matrix{\Natural}{4}(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 96.489056069000 min duration 96.262923949000 total durat. 192.751980018000 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 = 425 , parent = Just 8 , duration = 96.262923949000 , status = Fail , start = 2021-07-13 23:56:22.835672347 UTC , finish = 2021-07-13 23:57:59.098596296 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' ] , 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 = 426 , parent = Just 0 , duration = 96.489056069000 , status = Fail , start = 2021-07-13 23:56:22.835627024 UTC , finish = 2021-07-13 23:57:59.324683093 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' ] , 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 8 max duration 8.609476555000 min duration 2.036353812000 total durat. 42.731096292000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 600 , parent = Just 583 , duration = 2.036353812000 , status = Fail , start = 2021-07-14 00:00:19.186724929 UTC , finish = 2021-07-14 00:00:21.223078741 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '7' , '4' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 80} , self = 546 , parent = Just 536 , duration = 3.998852917000 , status = Fail , start = 2021-07-13 23:59:46.596428942 UTC , finish = 2021-07-13 23:59:50.595281859 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '7' , '0' ] , 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 = 121 , parent = Just 12 , duration = 4.533931134000 , status = Fail , start = 2021-07-13 23:56:22.83720669 UTC , finish = 2021-07-13 23:56:27.371137824 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' ] , 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 = 93} , self = 268 , parent = Just 226 , duration = 4.602262870000 , status = Fail , start = 2021-07-13 23:56:36.412276214 UTC , finish = 2021-07-13 23:56:41.014539084 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 143 , parent = Just 82 , duration = 5.118921853000 , status = Fail , start = 2021-07-13 23:56:23.960934485 UTC , finish = 2021-07-13 23:56:29.079856338 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '4' ] , 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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 222 , parent = Just 151 , duration = 6.568344347000 , status = Fail , start = 2021-07-13 23:56:29.722782518 UTC , finish = 2021-07-13 23:56:36.291126865 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '2' ] , 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 = 92} , self = 445 , parent = Just 396 , duration = 7.262952804000 , status = Fail , start = 2021-07-13 23:57:54.184602546 UTC , finish = 2021-07-13 23:58:01.44755535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 363 , parent = Just 329 , duration = 8.609476555000 , status = Fail , start = 2021-07-13 23:57:13.982045729 UTC , finish = 2021-07-13 23:57:22.591522284 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '2' ] , 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.115192312000 min duration 1.115192312000 total durat. 1.115192312000 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 = 81 , parent = Just 14 , duration = 1.115192312000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:22.837140147 UTC , finish = 2021-07-13 23:56:23.952332459 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' ] , 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 96.248544108000 min duration 23.807834147000 total durat. 120.056378255000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 92} , self = 534 , parent = Just 396 , duration = 23.807834147000 , status = Success , start = 2021-07-13 23:59:22.766979694 UTC , finish = 2021-07-13 23:59:46.574813841 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '3' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 581 , parent = Just 329 , duration = 96.248544108000 , status = Success , start = 2021-07-13 23:58:42.814472688 UTC , finish = 2021-07-14 00:00:19.063016796 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '2' ] , 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 1 max duration 45.160831656000 min duration 45.160831656000 total durat. 45.160831656000 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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 394 , parent = Just 151 , duration = 45.160831656000 , status = Success , start = 2021-07-13 23:57:08.947486184 UTC , finish = 2021-07-13 23:57:54.10831784 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '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 3 max duration 50.285407771000 min duration 2.917703922000 total durat. 103.332570887000 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 = 93} , self = 328 , parent = Just 226 , duration = 2.917703922000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:11.06363251 UTC , finish = 2021-07-13 23:57:13.981336432 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '1' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 493 , parent = Just 329 , duration = 50.129459194000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:52.648199784 UTC , finish = 2021-07-13 23:58:42.777658978 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '7' ] , 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 = 92} , self = 513 , parent = Just 396 , duration = 50.285407771000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:58:31.524441433 UTC , finish = 2021-07-13 23:59:21.809849204 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '6' ] , 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 7 max duration 32.630571260000 min duration 0.631575796000 total durat. 162.446752666000 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 = 227 , parent = Just 12 , duration = 9.040550554000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:27.371325882 UTC , finish = 2021-07-13 23:56:36.411876436 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '2' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 80} , self = 599 , parent = Just 536 , duration = 30.017784888000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:50.615439571 UTC , finish = 2021-07-14 00:00:20.633224459 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '0' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 93} , self = 318 , parent = Just 226 , duration = 30.035185185000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:41.017818359 UTC , finish = 2021-07-13 23:57:11.053003544 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 = 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 = 92} , self = 469 , parent = Just 396 , duration = 30.041771143000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:58:01.448564501 UTC , finish = 2021-07-13 23:58:31.490335644 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '7' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 393 , parent = Just 329 , duration = 30.049313840000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:22.591815425 UTC , finish = 2021-07-13 23:57:52.641129265 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '7' ] , 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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 309 , parent = Just 151 , duration = 32.630571260000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:36.297833433 UTC , finish = 2021-07-13 23:57:08.928404693 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 104.010624616000 min duration 7.963191626000 total durat. 144.764103394000 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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 429 , parent = Just 151 , duration = 7.963191626000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:51.46357244 UTC , finish = 2021-07-13 23:57:59.426764066 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '8' ] , 0 , True )} 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 = 92} , self = 545 , parent = Just 396 , duration = 32.790287152000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:17.270422146 UTC , finish = 2021-07-13 23:59:50.060709298 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '3' ] , 0 , True )} 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 593 , parent = Just 329 , duration = 104.010624616000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:58:35.272435797 UTC , finish = 2021-07-14 00:00:19.283060413 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '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 = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 50.251576264000 min duration 5.193000848000 total durat. 155.603798291000 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 = 93} , self = 330 , parent = Just 226 , duration = 5.193000848000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:08.788585037 UTC , finish = 2021-07-13 23:57:13.981585885 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '2' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 470 , parent = Just 329 , duration = 50.069512191000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:45.158639454 UTC , finish = 2021-07-13 23:58:35.228151645 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 389 , parent = Just 151 , duration = 50.089708988000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:01.352433103 UTC , finish = 2021-07-13 23:57:51.442142091 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 92} , self = 508 , parent = Just 396 , duration = 50.251576264000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:58:27.000051919 UTC , finish = 2021-07-13 23:59:17.251628183 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '2' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 12.580520798000 min duration 4.421599190000 total durat. 17.002119988000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 614 , parent = Just 583 , duration = 4.421599190000 , status = Success , start = 2021-07-14 00:00:19.727472615 UTC , finish = 2021-07-14 00:00:24.149071805 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '1' , '4' ] , 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 = 223 , parent = Just 12 , duration = 12.580520798000 , status = Success , start = 2021-07-13 23:56:23.827529475 UTC , finish = 2021-07-13 23:56:36.408050273 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '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 6 max duration 31.339905479000 min duration 4.633686183000 total durat. 156.425125709000 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 = 150 , parent = Just 82 , duration = 4.633686183000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:25.078839787 UTC , finish = 2021-07-13 23:56:29.71252597 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '2' ] , 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 = 80} , self = 580 , parent = Just 536 , duration = 30.066311855000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:47.725471574 UTC , finish = 2021-07-14 00:00:17.791783429 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '9' ] , 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 = 73} , self = 388 , parent = Just 329 , duration = 30.102969440000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:15.049938547 UTC , finish = 2021-07-13 23:57:45.152907987 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 307 , parent = Just 151 , duration = 30.125461928000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:31.179630556 UTC , finish = 2021-07-13 23:57:01.305092484 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 92} , self = 468 , parent = Just 396 , duration = 30.156790824000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:57:56.820184903 UTC , finish = 2021-07-13 23:58:26.976975727 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 93} , self = 308 , parent = Just 226 , duration = 31.339905479000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:37.441279847 UTC , finish = 2021-07-13 23:57:08.781185326 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '3' ] , 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 8 max duration 2.628748653000 min duration 0.533122609000 total durat. 9.798307152000 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 = 93} , self = 237 , parent = Just 226 , duration = 1.028805183000 , status = Fail , start = 2021-07-13 23:56:36.412287107 UTC , finish = 2021-07-13 23:56:37.44109229 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '3' ] , 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 340 , parent = Just 329 , duration = 1.067718830000 , status = Fail , start = 2021-07-13 23:57:13.982059757 UTC , finish = 2021-07-13 23:57:15.049778587 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '4' ] , 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 = 105 , parent = Just 82 , duration = 1.117471946000 , status = Fail , start = 2021-07-13 23:56:23.960965515 UTC , finish = 2021-07-13 23:56:25.078437461 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '6' ] , 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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 179 , parent = Just 151 , duration = 1.453909747000 , status = Fail , start = 2021-07-13 23:56:29.722802051 UTC , finish = 2021-07-13 23:56:31.176711798 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '4' ] , 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 = 92} , self = 420 , parent = Just 396 , duration = 2.628748653000 , status = Fail , start = 2021-07-13 23:57:54.184581185 UTC , finish = 2021-07-13 23:57:56.813329838 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.279970828000 min duration 1.279970828000 total durat. 1.279970828000 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 14 , duration = 1.279970828000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:56:22.837076447 UTC , finish = 2021-07-13 23:56:24.117047275 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' ] , 0 , True )} Success : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 1.110666741000 min duration 1.110666741000 total durat. 1.110666741000 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 = 79 , parent = Just 14 , duration = 1.110666741000 , status = Success , start = 2021-07-13 23:56:22.837128756 UTC , finish = 2021-07-13 23:56:23.947795497 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 8 max duration 2.124275988000 min duration 0.459928999000 total durat. 7.873835474000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 176 , parent = Just 151 , duration = 1.195483689000 , status = Fail , start = 2021-07-13 23:56:29.72263961 UTC , finish = 2021-07-13 23:56:30.918123299 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '4' ] , 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 = 92} , self = 419 , parent = Just 396 , duration = 2.124275988000 , status = Fail , start = 2021-07-13 23:57:54.178377037 UTC , finish = 2021-07-13 23:57:56.302653025 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '3' ] , 0 , True )} Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 4.842267833000 min duration 4.842267833000 total durat. 4.842267833000 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 = 147 , parent = Just 82 , duration = 4.842267833000 , status = Success , start = 2021-07-13 23:56:24.863248688 UTC , finish = 2021-07-13 23:56:29.705516521 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '7' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 7 max duration 7.824398760000 min duration 1.700635495000 total durat. 35.131037436000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 601 , parent = Just 583 , duration = 1.700635495000 , status = Fail , start = 2021-07-14 00:00:19.647471414 UTC , finish = 2021-07-14 00:00:21.348106909 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '1' , '1' ] , 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 = 93} , self = 267 , parent = Just 226 , duration = 3.722864281000 , status = Fail , start = 2021-07-13 23:56:37.272855349 UTC , finish = 2021-07-13 23:56:40.99571963 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '0' ] , 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 = 128 , parent = Just 12 , duration = 4.165951621000 , status = Fail , start = 2021-07-13 23:56:23.606800659 UTC , finish = 2021-07-13 23:56:27.77275228 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '6' ] , 0 , True )} 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 = 80} , self = 547 , parent = Just 536 , duration = 5.128671614000 , status = Fail , start = 2021-07-13 23:59:47.372543161 UTC , finish = 2021-07-13 23:59:52.501214775 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '6' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 235 , parent = Just 151 , duration = 6.289316512000 , status = Fail , start = 2021-07-13 23:56:30.920837704 UTC , finish = 2021-07-13 23:56:37.210154216 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '2' ] , 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 = 92} , self = 446 , parent = Just 396 , duration = 6.299199153000 , status = Fail , start = 2021-07-13 23:57:56.309971168 UTC , finish = 2021-07-13 23:58:02.609170321 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '0' ] , 0 , True )} 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 = 73} , self = 364 , parent = Just 329 , duration = 7.824398760000 , status = Fail , start = 2021-07-13 23:57:14.800312334 UTC , finish = 2021-07-13 23:57:22.624711094 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '2' ] , 0 , True )} Success : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 32.978592448000 min duration 32.978592448000 total durat. 32.978592448000 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 = 93} , self = 326 , parent = Just 226 , duration = 32.978592448000 , status = Success , start = 2021-07-13 23:56:40.998632319 UTC , finish = 2021-07-13 23:57:13.977224767 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '2' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 5 max duration 50.062168882000 min duration 2.808974338000 total durat. 140.753436081000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 617 , parent = Just 583 , duration = 2.808974338000 , status = Fail , start = 2021-07-14 00:00:21.355720598 UTC , finish = 2021-07-14 00:00:24.164694936 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '2' , '6' ] , 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 = 225 , parent = Just 12 , duration = 8.638684743000 , status = Fail , start = 2021-07-13 23:56:27.773008221 UTC , finish = 2021-07-13 23:56:36.411692964 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '3' ] , 0 , True )} 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 = 73} , self = 390 , parent = Just 329 , duration = 29.206280218000 , status = Fail , start = 2021-07-13 23:57:22.624944331 UTC , finish = 2021-07-13 23:57:51.831224549 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '0' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 367 , parent = Just 151 , duration = 50.037327900000 , status = Fail , start = 2021-07-13 23:56:37.210868094 UTC , finish = 2021-07-13 23:57:27.248195994 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '6' ] , 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 = 92} , self = 497 , parent = Just 396 , duration = 50.062168882000 , status = Fail , start = 2021-07-13 23:58:02.609370086 UTC , finish = 2021-07-13 23:58:52.671538968 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '0' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 147.385947517000 min duration 32.172204826000 total durat. 233.495245458000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 428 , parent = Just 151 , duration = 32.172204826000 , status = Fail , start = 2021-07-13 23:57:27.249138389 UTC , finish = 2021-07-13 23:57:59.421343215 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '5' ] , 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 = 92} , self = 542 , parent = Just 396 , duration = 53.937093115000 , status = Fail , start = 2021-07-13 23:58:52.672456795 UTC , finish = 2021-07-13 23:59:46.60954991 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '8' ] , 0 , True )} Info { what = QPI { dim = 8 , 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 = 73} , self = 589 , parent = Just 329 , duration = 147.385947517000 , status = Fail , start = 2021-07-13 23:57:51.837450449 UTC , finish = 2021-07-14 00:00:19.223397966 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '1' ] , 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 8 max duration 112.268068160000 min duration 0.052091591000 total durat. 171.536546609000 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.510050909000 , status = Success , start = 2021-07-13 23:56:23.476695843 UTC , finish = 2021-07-13 23:56:24.986746752 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '0' , '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 = 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.244224916000 , status = Success , start = 2021-07-13 23:56:25.029781003 UTC , finish = 2021-07-13 23:56:27.274005919 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 = 238 , parent = Just 67 , duration = 10.106698009000 , status = Success , start = 2021-07-13 23:56:27.713730445 UTC , finish = 2021-07-13 23:56:37.820428454 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '0' ] , 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 = 365 , parent = Just 239 , duration = 44.864106522000 , status = Success , start = 2021-07-13 23:56:38.84212096 UTC , finish = 2021-07-13 23:57:23.706227482 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '0' ] , 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 = 514 , parent = Just 120 , duration = 112.268068160000 , status = Success , start = 2021-07-13 23:57:33.3215102 UTC , finish = 2021-07-13 23:59:25.58957836 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '5' ] , 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 = 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 1 max duration 4.006336992000 min duration 4.006336992000 total durat. 4.006336992000 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 = 221 , num_strict_rules = 221 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 30 , total_length = 7072} , self = 520 , parent = Just 202 , duration = 4.006336992000 , 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:59:25.792901311 UTC , finish = 2021-07-13 23:59:29.799238303 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '8' ] , 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 94.186463167000 min duration 0.555856109000 total durat. 98.632535185000 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 = 131 , parent = Just 38 , duration = 3.890215909000 , status = Success , start = 2021-07-13 23:56:23.975529789 UTC , finish = 2021-07-13 23:56:27.865745698 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '6' ] , 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 = 447 , parent = Just 98 , duration = 94.186463167000 , status = Success , start = 2021-07-13 23:56:33.15867928 UTC , finish = 2021-07-13 23:58:07.345142447 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '4' ] , 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 130.233029644000 min duration 0.077692781000 total durat. 244.646481814000 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.490760933000 , status = Success , start = 2021-07-13 23:56:23.975491561 UTC , finish = 2021-07-13 23:56:26.466252494 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 448} , self = 133 , parent = Just 98 , duration = 2.916661024000 , status = Success , start = 2021-07-13 23:56:25.044410853 UTC , finish = 2021-07-13 23:56:27.961071877 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 = 198 , parent = Just 49 , duration = 3.694042258000 , status = Success , start = 2021-07-13 23:56:28.300297786 UTC , finish = 2021-07-13 23:56:31.994340044 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '3' ] , 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 = 321 , parent = Just 67 , duration = 39.931586926000 , status = Success , start = 2021-07-13 23:56:32.050324323 UTC , finish = 2021-07-13 23:57:11.981911249 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '1' ] , 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 = 386 , parent = Just 239 , duration = 64.360606481000 , status = Success , start = 2021-07-13 23:56:38.914306055 UTC , finish = 2021-07-13 23:57:43.274912536 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 63 , num_strict_rules = 63 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1890} , self = 575 , parent = Just 67 , duration = 130.233029644000 , status = Success , start = 2021-07-13 23:57:59.582508491 UTC , finish = 2021-07-14 00:00:09.815538135 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '7' ] , 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 172.682216632000 min duration 0.599692945000 total durat. 177.994708534000 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 = 141 , parent = Just 38 , duration = 4.712798957000 , status = Success , start = 2021-07-13 23:56:23.995752768 UTC , finish = 2021-07-13 23:56:28.708551725 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '4' ] , 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 = 518 , parent = Just 98 , duration = 172.682216632000 , status = Success , start = 2021-07-13 23:56:33.701621563 UTC , finish = 2021-07-13 23:59:26.383838195 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '8' ] , 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 1 max duration 51.763369851000 min duration 51.763369851000 total durat. 51.763369851000 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 = 338 , parent = Just 12 , duration = 51.763369851000 , status = Fail , start = 2021-07-13 23:56:22.854708688 UTC , finish = 2021-07-13 23:57:14.618078539 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 43 max duration 87.876035142000 min duration 0.794497248000 total durat. 1108.913371465000 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 82 , duration = 1.077398860000 , status = Success , start = 2021-07-13 23:56:23.979825342 UTC , finish = 2021-07-13 23:56:25.057224202 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '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 = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 108 , parent = Just 90 , duration = 1.105402161000 , status = Success , start = 2021-07-13 23:56:24.050639886 UTC , finish = 2021-07-13 23:56:25.156042047 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 187 , parent = Just 151 , duration = 1.997236686000 , status = Success , start = 2021-07-13 23:56:29.757959666 UTC , finish = 2021-07-13 23:56:31.755196352 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 216 , parent = Just 190 , duration = 2.183784355000 , status = Success , start = 2021-07-13 23:56:31.994777277 UTC , finish = 2021-07-13 23:56:34.178561632 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 210 , parent = Just 183 , duration = 2.207159228000 , status = Success , start = 2021-07-13 23:56:31.735367524 UTC , finish = 2021-07-13 23:56:33.942526752 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 93} , self = 244 , parent = Just 226 , duration = 2.550702434000 , status = Success , start = 2021-07-13 23:56:36.437670227 UTC , finish = 2021-07-13 23:56:38.988372661 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 73} , self = 346 , parent = Just 329 , duration = 2.946314460000 , status = Success , start = 2021-07-13 23:57:14.000471798 UTC , finish = 2021-07-13 23:57:16.946786258 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 604 , parent = Just 583 , duration = 4.479969334000 , status = Success , start = 2021-07-14 00:00:19.202010189 UTC , finish = 2021-07-14 00:00:23.681979523 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '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 = 20 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 444} , self = 144 , parent = Just 77 , duration = 5.271861473000 , status = Success , start = 2021-07-13 23:56:23.97989381 UTC , finish = 2021-07-13 23:56:29.251755283 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 = 174 , parent = Just 109 , duration = 5.494580882000 , status = Success , start = 2021-07-13 23:56:25.409883583 UTC , finish = 2021-07-13 23:56:30.904464465 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 18 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 392} , self = 168 , parent = Just 104 , duration = 5.580655309000 , status = Success , start = 2021-07-13 23:56:25.169420749 UTC , finish = 2021-07-13 23:56:30.750076058 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 92} , self = 439 , parent = Just 396 , duration = 6.305524768000 , status = Success , start = 2021-07-13 23:57:54.313987048 UTC , finish = 2021-07-13 23:58:00.619511816 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 30 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 648} , self = 159 , parent = Just 62 , duration = 6.359579040000 , status = Success , start = 2021-07-13 23:56:23.739412003 UTC , finish = 2021-07-13 23:56:30.098991043 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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 250 , parent = Just 169 , duration = 8.711201493000 , status = Success , start = 2021-07-13 23:56:30.88862081 UTC , finish = 2021-07-13 23:56:39.599822303 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 16 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 354} , self = 262 , parent = Just 188 , duration = 8.858957876000 , status = Success , start = 2021-07-13 23:56:31.956663032 UTC , finish = 2021-07-13 23:56:40.815620908 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 260 , parent = Just 175 , duration = 9.057660507000 , status = Success , start = 2021-07-13 23:56:31.554612454 UTC , finish = 2021-07-13 23:56:40.612272961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 16 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 354} , self = 281 , parent = Just 211 , duration = 10.100727777000 , status = Success , start = 2021-07-13 23:56:34.123087097 UTC , finish = 2021-07-13 23:56:44.223814874 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 354} , self = 290 , parent = Just 217 , duration = 10.245219937000 , status = Success , start = 2021-07-13 23:56:34.365572313 UTC , finish = 2021-07-13 23:56:44.61079225 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 20 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 432} , self = 258 , parent = Just 160 , duration = 10.354442025000 , status = Success , start = 2021-07-13 23:56:30.200965669 UTC , finish = 2021-07-13 23:56:40.555407694 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 80} , self = 556 , parent = Just 536 , duration = 15.885232441000 , status = Success , start = 2021-07-13 23:59:46.595380922 UTC , finish = 2021-07-14 00:00:02.480613363 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 310} , self = 370 , parent = Just 311 , duration = 20.479327613000 , status = Success , start = 2021-07-13 23:57:09.461313497 UTC , finish = 2021-07-13 23:57:29.94064111 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 13 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 288} , self = 382 , parent = Just 324 , duration = 21.159781253000 , status = Success , start = 2021-07-13 23:57:14.686685698 UTC , finish = 2021-07-13 23:57:35.846466951 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 302} , self = 314 , parent = Just 263 , duration = 28.393544522000 , status = Success , start = 2021-07-13 23:56:41.043279049 UTC , finish = 2021-07-13 23:57:09.436823571 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 266} , self = 459 , parent = Just 410 , duration = 29.537839889000 , status = Success , start = 2021-07-13 23:57:55.402436988 UTC , finish = 2021-07-13 23:58:24.940276877 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 465} , self = 310 , parent = Just 245 , duration = 30.080298768000 , status = Success , start = 2021-07-13 23:56:39.154079579 UTC , finish = 2021-07-13 23:57:09.234378347 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 302} , self = 341 , parent = Just 282 , duration = 31.527718837000 , status = Success , start = 2021-07-13 23:56:44.466174544 UTC , finish = 2021-07-13 23:57:15.993893381 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 302} , self = 343 , parent = Just 291 , duration = 31.769021499000 , status = Success , start = 2021-07-13 23:56:44.841677472 UTC , finish = 2021-07-13 23:57:16.610698971 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '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 = 13 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 288} , self = 407 , parent = Just 359 , duration = 34.414319287000 , status = Success , start = 2021-07-13 23:57:20.746371068 UTC , finish = 2021-07-13 23:57:55.160690355 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '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 = 13 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 288} , self = 400 , parent = Just 355 , duration = 35.447256801000 , status = Success , start = 2021-07-13 23:57:18.802067812 UTC , finish = 2021-07-13 23:57:54.249324613 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 399} , self = 409 , parent = Just 347 , duration = 37.869803456000 , status = Success , start = 2021-07-13 23:57:17.306380007 UTC , finish = 2021-07-13 23:57:55.176183463 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 417 , parent = Just 175 , duration = 38.184628867000 , status = Success , start = 2021-07-13 23:57:18.046671198 UTC , finish = 2021-07-13 23:57:56.231300065 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 421 , parent = Just 169 , duration = 39.644403323000 , status = Success , start = 2021-07-13 23:57:18.75062952 UTC , finish = 2021-07-13 23:57:58.395032843 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 308} , self = 487 , parent = Just 440 , duration = 40.726079056000 , status = Success , start = 2021-07-13 23:58:00.630055491 UTC , finish = 2021-07-13 23:58:41.356134547 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 471 , parent = Just 175 , duration = 41.043041939000 , status = Success , start = 2021-07-13 23:57:55.802275095 UTC , finish = 2021-07-13 23:58:36.845317034 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 479 , parent = Just 169 , duration = 43.820610650000 , status = Success , start = 2021-07-13 23:57:56.749105684 UTC , finish = 2021-07-13 23:58:40.569716334 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '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 = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 272} , self = 590 , parent = Just 502 , duration = 66.399021381000 , status = Success , start = 2021-07-13 23:59:12.84199988 UTC , finish = 2021-07-14 00:00:19.241021261 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '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 = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 256} , self = 548 , parent = Just 488 , duration = 73.905230513000 , status = Success , start = 2021-07-13 23:58:41.3994093 UTC , finish = 2021-07-13 23:59:55.304639813 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 11 , num_top_rules = 11 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 326} , self = 562 , parent = Just 475 , duration = 83.163807269000 , status = Success , start = 2021-07-13 23:58:40.180250282 UTC , finish = 2021-07-14 00:00:03.344057551 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 566 , parent = Just 483 , duration = 83.186458315000 , status = Success , start = 2021-07-13 23:58:40.873274682 UTC , finish = 2021-07-14 00:00:04.059732997 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 572 , parent = Just 169 , duration = 87.771020773000 , status = Success , start = 2021-07-13 23:58:40.694212673 UTC , finish = 2021-07-14 00:00:08.465233446 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 569 , parent = Just 175 , duration = 87.876035142000 , status = Success , start = 2021-07-13 23:58:40.082806342 UTC , finish = 2021-07-14 00:00:07.958841484 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '6' ] , 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 20 max duration 168.651904082000 min duration 4.277872320000 total durat. 1080.080479375000 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 = 139 , parent = Just 90 , duration = 4.277872320000 , status = Success , start = 2021-07-13 23:56:24.012676042 UTC , finish = 2021-07-13 23:56:28.290548362 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 130} , self = 135 , parent = Just 82 , duration = 4.286087935000 , status = Success , start = 2021-07-13 23:56:23.979727909 UTC , finish = 2021-07-13 23:56:28.265815844 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 148} , self = 124 , parent = Just 12 , duration = 4.782764189000 , status = Success , start = 2021-07-13 23:56:22.854616686 UTC , finish = 2021-07-13 23:56:27.637380875 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 = 129 , parent = Just 14 , duration = 4.949451858000 , status = Success , start = 2021-07-13 23:56:22.854128238 UTC , finish = 2021-07-13 23:56:27.803580096 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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 233 , parent = Just 151 , duration = 6.917687937000 , status = Success , start = 2021-07-13 23:56:29.757982302 UTC , finish = 2021-07-13 23:56:36.675670239 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 252 , parent = Just 183 , duration = 7.898599178000 , status = Success , start = 2021-07-13 23:56:31.701810982 UTC , finish = 2021-07-13 23:56:39.60041016 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 254 , parent = Just 190 , duration = 7.999785825000 , status = Success , start = 2021-07-13 23:56:31.948236729 UTC , finish = 2021-07-13 23:56:39.948022554 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '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 = 9 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 169} , self = 286 , parent = Just 14 , duration = 12.815237857000 , status = Success , start = 2021-07-13 23:56:31.558961054 UTC , finish = 2021-07-13 23:56:44.374198911 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 93} , self = 300 , parent = Just 226 , duration = 13.015398081000 , status = Success , start = 2021-07-13 23:56:36.437706863 UTC , finish = 2021-07-13 23:56:49.453104944 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '2' ] , 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 = 73} , self = 376 , parent = Just 329 , duration = 19.176225474000 , status = Success , start = 2021-07-13 23:57:14.000579669 UTC , finish = 2021-07-13 23:57:33.176805143 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 92} , self = 453 , parent = Just 396 , duration = 26.750378174000 , status = Success , start = 2021-07-13 23:57:54.306856668 UTC , finish = 2021-07-13 23:58:21.057234842 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 80} , self = 602 , parent = Just 536 , duration = 36.623603338000 , status = Success , start = 2021-07-13 23:59:46.617419115 UTC , finish = 2021-07-14 00:00:23.241022453 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '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 = 368 , parent = Just 14 , duration = 41.040671981000 , status = Success , start = 2021-07-13 23:56:46.424956854 UTC , finish = 2021-07-13 23:57:27.465628835 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 340} , self = 391 , parent = Just 169 , duration = 80.156273700000 , status = Success , start = 2021-07-13 23:56:31.805331824 UTC , finish = 2021-07-13 23:57:51.961605524 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 302} , self = 465 , parent = Just 263 , duration = 102.260334859000 , status = Success , start = 2021-07-13 23:56:43.192900967 UTC , finish = 2021-07-13 23:58:25.453235826 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 13 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 288} , self = 498 , parent = Just 324 , duration = 115.541193324000 , status = Success , start = 2021-07-13 23:57:14.211051275 UTC , finish = 2021-07-13 23:59:09.752244599 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 302} , self = 494 , parent = Just 291 , duration = 123.007530972000 , status = Success , start = 2021-07-13 23:56:46.859949085 UTC , finish = 2021-07-13 23:58:49.867480057 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '2' ] , 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 = 13 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 288} , self = 523 , parent = Just 359 , duration = 137.437324701000 , status = Success , start = 2021-07-13 23:57:20.632239452 UTC , finish = 2021-07-13 23:59:38.069564153 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 20 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 432} , self = 506 , parent = Just 160 , duration = 162.492153590000 , status = Success , start = 2021-07-13 23:56:32.826176411 UTC , finish = 2021-07-13 23:59:15.318330001 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 465} , self = 531 , parent = Just 245 , duration = 168.651904082000 , status = Success , start = 2021-07-13 23:56:56.961802249 UTC , finish = 2021-07-13 23:59:45.613706331 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '0' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 41 max duration 27.095978364000 min duration 0.011058389000 total durat. 137.050684759000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 66 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 42 , alphabet_size = 17 , total_length = 1686} , self = 374 , parent = Just 371 , duration = 1.425229389000 , status = Success , start = 2021-07-13 23:57:29.941188028 UTC , finish = 2021-07-13 23:57:31.366417417 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 171 , num_strict_rules = 54 , num_top_rules = 54 , num_weak_rules = 117 , alphabet_size = 32 , total_length = 4788} , self = 157 , parent = Just 140 , duration = 1.538332752000 , status = Success , start = 2021-07-13 23:56:28.290821039 UTC , finish = 2021-07-13 23:56:29.829153791 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '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 = 171 , num_strict_rules = 54 , num_top_rules = 54 , num_weak_rules = 117 , alphabet_size = 32 , total_length = 4788} , self = 158 , parent = Just 136 , duration = 1.672268066000 , status = Success , start = 2021-07-13 23:56:28.266034247 UTC , finish = 2021-07-13 23:56:29.938302313 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 = 1152 , num_strict_rules = 1152 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 84 , total_length = 39168} , self = 449 , parent = Just 448 , duration = 1.787012489000 , status = Success , start = 2021-07-13 23:58:07.345829377 UTC , finish = 2021-07-13 23:58:09.132841866 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '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 = 48 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 28 , alphabet_size = 14 , total_length = 1220} , self = 319 , parent = Just 315 , duration = 1.846903710000 , status = Success , start = 2021-07-13 23:57:09.437016488 UTC , finish = 2021-07-13 23:57:11.283920198 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '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 = 52 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 28 , alphabet_size = 14 , total_length = 1304} , self = 424 , parent = Just 418 , duration = 2.459551773000 , status = Success , start = 2021-07-13 23:57:56.231681896 UTC , finish = 2021-07-13 23:57:58.691233669 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '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 = 760 , num_strict_rules = 133 , num_top_rules = 133 , num_weak_rules = 627 , alphabet_size = 81 , total_length = 23484} , self = 509 , parent = Just 507 , duration = 2.571368275000 , status = Success , start = 2021-07-13 23:59:15.402351615 UTC , finish = 2021-07-13 23:59:17.97371989 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '0' ] , 0 , 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 = 166 , parent = Just 130 , duration = 2.860420338000 , status = Success , start = 2021-07-13 23:56:27.803816081 UTC , finish = 2021-07-13 23:56:30.664236419 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 52 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 28 , alphabet_size = 14 , total_length = 1304} , self = 473 , parent = Just 472 , duration = 2.911466744000 , status = Success , start = 2021-07-13 23:58:36.961094839 UTC , finish = 2021-07-13 23:58:39.872561583 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '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 = 162 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 117 , alphabet_size = 32 , total_length = 4581} , self = 257 , parent = Just 234 , duration = 3.643044833000 , status = Success , start = 2021-07-13 23:56:36.67604758 UTC , finish = 2021-07-13 23:56:40.319092413 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 162 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 117 , alphabet_size = 32 , total_length = 4581} , self = 279 , parent = Just 255 , duration = 3.652745776000 , status = Success , start = 2021-07-13 23:56:39.948502786 UTC , finish = 2021-07-13 23:56:43.601248562 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 = 162 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 117 , alphabet_size = 32 , total_length = 4581} , self = 278 , parent = Just 253 , duration = 3.667928104000 , status = Success , start = 2021-07-13 23:56:39.603762961 UTC , finish = 2021-07-13 23:56:43.271691065 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 230 , num_strict_rules = 70 , num_top_rules = 70 , num_weak_rules = 160 , alphabet_size = 39 , total_length = 6460} , self = 180 , parent = Just 125 , duration = 3.865548266000 , status = Success , start = 2021-07-13 23:56:27.637697942 UTC , finish = 2021-07-13 23:56:31.503246208 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 323 , num_strict_rules = 323 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 44 , total_length = 10336} , self = 202 , parent = Just 132 , duration = 4.281877184000 , status = Success , start = 2021-07-13 23:56:27.86606896 UTC , finish = 2021-07-13 23:56:32.147946144 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 = 1152 , num_strict_rules = 1152 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 84 , total_length = 39168} , self = 521 , parent = Just 519 , duration = 4.410047143000 , status = Success , start = 2021-07-13 23:59:26.563513639 UTC , finish = 2021-07-13 23:59:30.973560782 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '2' , '0' ] , 2 , 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 = 208 , parent = Just 142 , duration = 4.835266480000 , status = Success , start = 2021-07-13 23:56:28.708801028 UTC , finish = 2021-07-13 23:56:33.544067508 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 190 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 150 , alphabet_size = 38 , total_length = 5430} , self = 303 , parent = Just 301 , duration = 7.045119627000 , status = Success , start = 2021-07-13 23:56:49.468223242 UTC , finish = 2021-07-13 23:56:56.513342869 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 544 , num_strict_rules = 102 , num_top_rules = 102 , num_weak_rules = 442 , alphabet_size = 62 , total_length = 16762} , self = 433 , parent = Just 392 , duration = 7.787625420000 , status = Success , start = 2021-07-13 23:57:51.96804462 UTC , finish = 2021-07-13 23:57:59.75567004 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '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 = 225 , num_strict_rules = 72 , num_top_rules = 72 , num_weak_rules = 153 , alphabet_size = 38 , total_length = 6327} , self = 302 , parent = Just 287 , duration = 11.974813603000 , status = Success , start = 2021-07-13 23:56:44.374701442 UTC , finish = 2021-07-13 23:56:56.349515045 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 180 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 150 , alphabet_size = 38 , total_length = 5170} , self = 432 , parent = Just 377 , duration = 26.297796151000 , status = Success , start = 2021-07-13 23:57:33.177271437 UTC , finish = 2021-07-13 23:57:59.475067588 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '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 = 225 , num_strict_rules = 72 , num_top_rules = 72 , num_weak_rules = 153 , alphabet_size = 38 , total_length = 6327} , self = 404 , parent = Just 369 , duration = 27.095978364000 , status = Success , start = 2021-07-13 23:57:27.47125905 UTC , finish = 2021-07-13 23:57:54.567237414 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '7' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 66 max duration 16.155535540000 min duration 0.000090721000 total durat. 36.037972810000 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 = 323 , parent = Just 322 , duration = 1.075871456000 , status = Fail , start = 2021-07-13 23:57:11.982147381 UTC , finish = 2021-07-13 23:57:13.058018837 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '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 = 50 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 28 , alphabet_size = 13 , total_length = 1272} , self = 568 , parent = Just 567 , duration = 3.097415508000 , status = Fail , start = 2021-07-14 00:00:04.077601558 UTC , finish = 2021-07-14 00:00:07.175017066 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' , '1' ] , 0 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 46 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 28 , alphabet_size = 13 , total_length = 1188} , self = 384 , parent = Just 383 , duration = 4.887883905000 , status = Fail , start = 2021-07-13 23:57:35.846882255 UTC , finish = 2021-07-13 23:57:40.73476616 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 299 , num_strict_rules = 299 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 36 , total_length = 9568} , self = 372 , parent = Just 366 , duration = 6.689183424000 , status = Fail , start = 2021-07-13 23:57:23.706836096 UTC , finish = 2021-07-13 23:57:30.39601952 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '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 = 299 , num_strict_rules = 299 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 36 , total_length = 9568} , self = 430 , parent = Just 387 , duration = 16.155535540000 , status = Fail , start = 2021-07-13 23:57:43.297540226 UTC , finish = 2021-07-13 23:57:59.453075766 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '0' ] , 3 , False )} **************************************************