/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 6 strict rules and 1 weak rules on 3 letters EDG SRS with 6 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 4, solver = Minisatapi, verbose = False, 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 = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 6, solver = Minisatapi, verbose = False, 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, b, a, a, b] -> [ a , a , b , a , b , a , a , b , a , b , a , b , a , b ] {- Input 0 -} reason mirror property Termination has value Just True for SRS [b, a, a, b, a, b, a, b, a] -> [ b , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- Mirror (Input 0) -} reason DP property Termination has value Just True for SRS [b, a, a, b, a, b, a, b, a] ->= [ b , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [b#, a, a] {- DP (Top 11) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , a , b , a , b , a , a ] {- DP (Top 6) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , a ] {- DP (Top 9) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , a , b , a , b , a , a ] {- DP (Top 4) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , b , a , a , b , a , b , a , a ] {- DP (Top 2) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- DP (Top 0) (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, a, b, a, b, a] |-> [b#, a, a] {- DP (Top 11) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- DP (Top 0) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , b , a , a , b , a , b , a , a ] {- DP (Top 2) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , a , b , a , b , a , a ] {- DP (Top 4) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , b , a , a ] {- DP (Top 9) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , a , b , a , b , a , a ] {- DP (Top 6) (Mirror (Input 0)) -} [b, a, a, b, a, b, a, b, a] ->= [ b , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( b , Wk / 0A 0A 0A 0A \ | -4A -4A -4A 0A | | -4A -4A -4A 0A | \ -4A -4A -4A 0A / ) ( a , Wk / 0A 0A 0A 4A \ | 0A 0A 0A 4A | | -4A 0A 0A 0A | \ -4A -4A -4A 0A / ) ( b# , Wk / 14A 17A 18A 18A \ | 14A 17A 18A 18A | | 14A 17A 18A 18A | \ 14A 17A 18A 18A / ) property Termination has value Just True for SRS [b#, a, a, b, a, b, a, b, a] |-> [b#, a, a] {- DP (Top 11) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , a , b , a , b , a , a ] {- DP (Top 6) (Mirror (Input 0)) -} [b, a, a, b, a, b, a, b, a] ->= [ b , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, a, b, a, b, a] |-> [b#, a, a] {- DP (Top 11) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, a] |-> [ b# , a , a , b , a , b , a , a ] {- DP (Top 6) (Mirror (Input 0)) -} [b, a, a, b, a, b, a, b, a] ->= [ b , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( b , Wk / 0A 0A 6A 6A 6A 6A \ | 0A 0A 6A 6A 6A 6A | | 0A 0A 6A 6A 6A 6A | | 0A 0A 0A 6A 6A 6A | | -6A 0A 0A 0A 0A 0A | \ -6A -6A 0A 0A 0A 0A / ) ( a , Wk / 0A 0A 0A 0A 0A 0A \ | -6A -6A -6A 0A 0A 0A | | -6A -6A -6A -6A 0A 0A | | -6A -6A -6A -6A -6A 0A | | -6A -6A -6A -6A -6A 0A | \ -6A -6A -6A -6A -6A 0A / ) ( b# , Wk / 31A 34A 36A 36A 36A 36A \ | 31A 34A 36A 36A 36A 36A | | 31A 34A 36A 36A 36A 36A | | 31A 34A 36A 36A 36A 36A | | 31A 34A 36A 36A 36A 36A | \ 31A 34A 36A 36A 36A 36A / ) property Termination has value Just True for SRS [b, a, a, b, a, b, a, b, a] ->= [ b , a , b , a , b , a , b , a , a , b , a , b , a , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG ************************************************** skeleton: \Mirror(1,2)\Deepee\EDG(6/1,3)\Matrix{\Arctic}{4}\EDG(2/1,3)\Matrix{\Arctic}{6}(0/1,2)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 5.642067117000 min duration 4.310497836000 total durat. 15.344515329000 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 = 413 , parent = Just 296 , duration = 4.310497836000 , status = Fail , start = 2021-07-14 00:02:56.608343445 UTC , finish = 2021-07-14 00:03:00.918841281 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 110} , self = 331 , parent = Just 116 , duration = 5.391950376000 , status = Fail , start = 2021-07-14 00:02:52.192447216 UTC , finish = 2021-07-14 00:02:57.584397592 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 90} , self = 452 , parent = Just 336 , duration = 5.642067117000 , status = Fail , start = 2021-07-14 00:02:57.593037151 UTC , finish = 2021-07-14 00:03:03.235104268 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 5.700533506000 min duration 0.970374141000 total durat. 6.670907647000 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 = 129} , self = 308 , parent = Just 15 , duration = 5.700533506000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:51.218332279 UTC , finish = 2021-07-14 00:02:56.918865785 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 14.880486898000 min duration 0.005556109000 total durat. 27.492326286000 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 = 90} , self = 635 , parent = Just 336 , duration = 12.606283279000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:03.23556995 UTC , finish = 2021-07-14 00:03:15.841853229 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '0' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 632 , parent = Just 296 , duration = 14.880486898000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:00.920890908 UTC , finish = 2021-07-14 00:03:15.801377806 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 17.921880846000 min duration 4.399768000000 total durat. 26.880893296000 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 = 110} , self = 335 , parent = Just 116 , duration = 4.399768000000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:53.19060656 UTC , finish = 2021-07-14 00:02:57.59037456 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 309 , parent = Just 15 , duration = 4.559244450000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:52.365109952 UTC , finish = 2021-07-14 00:02:56.924354402 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 633 , parent = Just 296 , duration = 17.921880846000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:57.905490004 UTC , finish = 2021-07-14 00:03:15.82737085 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '7' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 1.296968606000 min duration 0.786745252000 total durat. 4.228150660000 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 = 129} , self = 131 , parent = Just 15 , duration = 1.146491481000 , status = Fail , start = 2021-07-14 00:02:51.218281056 UTC , finish = 2021-07-14 00:02:52.364772537 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 349 , parent = Just 296 , duration = 1.296968606000 , status = Fail , start = 2021-07-14 00:02:56.608354289 UTC , finish = 2021-07-14 00:02:57.905322895 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.100321398000 min duration 1.100321398000 total durat. 1.100321398000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 151} , self = 126 , parent = Just 16 , duration = 1.100321398000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:51.219956118 UTC , finish = 2021-07-14 00:02:52.320277516 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '0' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 1.135301392000 min duration 0.643233220000 total durat. 3.359754179000 Info { what = QPI { dim = 2 , 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 = 346 , parent = Just 296 , duration = 1.135301392000 , status = Fail , start = 2021-07-14 00:02:56.608251631 UTC , finish = 2021-07-14 00:02:57.743553023 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '0' ] , 0 , True )} Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 4.695286416000 min duration 4.502767158000 total durat. 9.198053574000 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 = 129} , self = 294 , parent = Just 15 , duration = 4.502767158000 , status = Success , start = 2021-07-14 00:02:52.100345928 UTC , finish = 2021-07-14 00:02:56.603113086 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '1' ] , 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 = 110} , self = 332 , parent = Just 116 , duration = 4.695286416000 , status = Success , start = 2021-07-14 00:02:52.892096656 UTC , finish = 2021-07-14 00:02:57.587383072 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '0' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 3.941508859000 min duration 2.922456839000 total durat. 6.863965698000 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 = 407 , parent = Just 296 , duration = 2.922456839000 , status = Fail , start = 2021-07-14 00:02:57.743866261 UTC , finish = 2021-07-14 00:03:00.6663231 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '4' ] , 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 = 90} , self = 443 , parent = Just 336 , duration = 3.941508859000 , status = Fail , start = 2021-07-14 00:02:58.234447385 UTC , finish = 2021-07-14 00:03:02.175956244 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '5' ] , 0 , True )} Success : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 15.134398348000 min duration 15.134398348000 total durat. 15.134398348000 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 = 629 , parent = Just 296 , duration = 15.134398348000 , status = Success , start = 2021-07-14 00:03:00.666554874 UTC , finish = 2021-07-14 00:03:15.800953222 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '3' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 13.665424023000 min duration 13.665424023000 total durat. 13.665424023000 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 = 90} , self = 634 , parent = Just 336 , duration = 13.665424023000 , status = Fail , start = 2021-07-14 00:03:02.176363062 UTC , finish = 2021-07-14 00:03:15.841787085 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '0' ] , 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 14 max duration 8.473102691000 min duration 0.013188345000 total durat. 20.803346477000 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 = 696} , self = 342 , parent = Just 50 , duration = 1.651720843000 , status = Success , start = 2021-07-14 00:02:55.969220448 UTC , finish = 2021-07-14 00:02:57.620941291 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 264 , parent = Just 50 , duration = 1.775946065000 , status = Success , start = 2021-07-14 00:02:53.891673435 UTC , finish = 2021-07-14 00:02:55.6676195 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 408 , parent = Just 343 , duration = 2.965549409000 , status = Success , start = 2021-07-14 00:02:57.756336831 UTC , finish = 2021-07-14 00:03:00.72188624 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1160} , self = 533 , parent = Just 249 , duration = 3.214230270000 , status = Success , start = 2021-07-14 00:03:03.301992906 UTC , finish = 2021-07-14 00:03:06.516223176 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '6' ] , 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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 621 , parent = Just 534 , duration = 8.473102691000 , status = Success , start = 2021-07-14 00:03:06.823761529 UTC , finish = 2021-07-14 00:03:15.29686422 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '7' ] , 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 6 max duration 5.706309061000 min duration 0.128212737000 total durat. 11.571705229000 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 243} , self = 219 , parent = Just 128 , duration = 1.208265041000 , status = Success , start = 2021-07-14 00:02:52.964745047 UTC , finish = 2021-07-14 00:02:54.173010088 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '9' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 162} , self = 353 , parent = Just 220 , duration = 3.747018792000 , status = Success , start = 2021-07-14 00:02:54.209910768 UTC , finish = 2021-07-14 00:02:57.95692956 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '7' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 559 , parent = Just 343 , duration = 5.706309061000 , status = Success , start = 2021-07-14 00:03:03.304653463 UTC , finish = 2021-07-14 00:03:09.010962524 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '0' ] , 3 , True )} Success : Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 2 max duration 9.790434862000 min duration 1.714614176000 total durat. 11.505049038000 Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 23} , self = 159 , parent = Just 0 , duration = 1.714614176000 , status = Success , start = 2021-07-14 00:02:51.217871439 UTC , finish = 2021-07-14 00:02:52.932485615 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 50} , self = 519 , parent = Just 81 , duration = 9.790434862000 , status = Success , start = 2021-07-14 00:02:55.972221404 UTC , finish = 2021-07-14 00:03:05.762656266 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '0' ] , 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 14 max duration 5.035966008000 min duration 0.020969237000 total durat. 17.881972063000 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 = 696} , self = 273 , parent = Just 50 , duration = 1.861679159000 , status = Success , start = 2021-07-14 00:02:54.167528146 UTC , finish = 2021-07-14 00:02:56.029207305 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '0' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 355 , parent = Just 50 , duration = 2.087483519000 , status = Success , start = 2021-07-14 00:02:55.969833778 UTC , finish = 2021-07-14 00:02:58.057317297 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 515 , parent = Just 50 , duration = 2.375772662000 , status = Success , start = 2021-07-14 00:03:03.308206359 UTC , finish = 2021-07-14 00:03:05.683979021 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 427 , parent = Just 343 , duration = 3.443848311000 , status = Success , start = 2021-07-14 00:02:57.82455181 UTC , finish = 2021-07-14 00:03:01.268400121 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1160} , self = 586 , parent = Just 249 , duration = 5.035966008000 , status = Success , start = 2021-07-14 00:03:05.77887159 UTC , finish = 2021-07-14 00:03:10.814837598 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '5' ] , 3 , True )} Success : Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 7 max duration 4.830061119000 min duration 0.190639416000 total durat. 13.821656075000 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 243} , self = 302 , parent = Just 128 , duration = 2.853495344000 , status = Success , start = 2021-07-14 00:02:53.816123631 UTC , finish = 2021-07-14 00:02:56.669618975 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '9' ] , 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 243} , self = 549 , parent = Just 128 , duration = 3.908558881000 , status = Success , start = 2021-07-14 00:03:03.450846525 UTC , finish = 2021-07-14 00:03:07.359405406 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '3' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 162} , self = 384 , parent = Just 220 , duration = 4.830061119000 , status = Success , start = 2021-07-14 00:02:54.251603724 UTC , finish = 2021-07-14 00:02:59.081664843 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '2' ] , 3 , True )} Success : Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 2 max duration 9.333412719000 min duration 1.640331970000 total durat. 10.973744689000 Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 23} , self = 153 , parent = Just 0 , duration = 1.640331970000 , status = Success , start = 2021-07-14 00:02:51.217774584 UTC , finish = 2021-07-14 00:02:52.858106554 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 2 , num_strict_rules = 2 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 50} , self = 513 , parent = Just 81 , duration = 9.333412719000 , status = Success , start = 2021-07-14 00:02:55.97213929 UTC , finish = 2021-07-14 00:03:05.305552009 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '6' ] , 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 38 max duration 8.314958101000 min duration 0.204162356000 total durat. 87.627800404000 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 = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 116} , self = 369 , parent = Just 314 , duration = 1.251334816000 , status = Success , start = 2021-07-14 00:02:57.439514245 UTC , finish = 2021-07-14 00:02:58.690849061 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 = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 102} , self = 521 , parent = Just 489 , duration = 1.306546652000 , status = Success , start = 2021-07-14 00:03:04.548447202 UTC , finish = 2021-07-14 00:03:05.854993854 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 249} , self = 233 , parent = Just 167 , duration = 1.341186397000 , status = Success , start = 2021-07-14 00:02:53.03061866 UTC , finish = 2021-07-14 00:02:54.371805057 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 394} , self = 178 , parent = Just 72 , duration = 1.378090009000 , status = Success , start = 2021-07-14 00:02:51.670921416 UTC , finish = 2021-07-14 00:02:53.049011425 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 116} , self = 501 , parent = Just 458 , duration = 1.414407033000 , status = Success , start = 2021-07-14 00:03:03.494039735 UTC , finish = 2021-07-14 00:03:04.908446768 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '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 = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 344} , self = 196 , parent = Just 105 , duration = 1.443581433000 , status = Success , start = 2021-07-14 00:02:52.160521903 UTC , finish = 2021-07-14 00:02:53.604103336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 166} , self = 269 , parent = Just 234 , duration = 1.538106903000 , status = Success , start = 2021-07-14 00:02:54.410067058 UTC , finish = 2021-07-14 00:02:55.948173961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 125} , self = 535 , parent = Just 504 , duration = 1.574099099000 , status = Success , start = 2021-07-14 00:03:05.028763925 UTC , finish = 2021-07-14 00:03:06.602863024 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '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 = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 344} , self = 243 , parent = Just 141 , duration = 1.734051993000 , status = Success , start = 2021-07-14 00:02:52.702390714 UTC , finish = 2021-07-14 00:02:54.436442707 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 24 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 504} , self = 186 , parent = Just 56 , duration = 1.734110948000 , status = Success , start = 2021-07-14 00:02:51.637844101 UTC , finish = 2021-07-14 00:02:53.371955049 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 249} , self = 388 , parent = Just 311 , duration = 1.776459267000 , status = Success , start = 2021-07-14 00:02:57.415382679 UTC , finish = 2021-07-14 00:02:59.191841946 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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 166} , self = 425 , parent = Just 389 , duration = 1.983605196000 , status = Success , start = 2021-07-14 00:02:59.243317475 UTC , finish = 2021-07-14 00:03:01.226922671 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 300} , self = 284 , parent = Just 218 , duration = 2.026488810000 , status = Success , start = 2021-07-14 00:02:54.24145184 UTC , finish = 2021-07-14 00:02:56.26794065 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 300} , self = 323 , parent = Just 255 , duration = 2.379121468000 , status = Success , start = 2021-07-14 00:02:55.079268161 UTC , finish = 2021-07-14 00:02:57.458389629 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 250} , self = 382 , parent = Just 285 , duration = 2.515445273000 , status = Success , start = 2021-07-14 00:02:56.452979643 UTC , finish = 2021-07-14 00:02:58.968424916 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 300} , self = 419 , parent = Just 363 , duration = 2.710763552000 , status = Success , start = 2021-07-14 00:02:58.395303673 UTC , finish = 2021-07-14 00:03:01.106067225 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 250} , self = 399 , parent = Just 324 , duration = 2.766175230000 , status = Success , start = 2021-07-14 00:02:57.539872009 UTC , finish = 2021-07-14 00:03:00.306047239 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 16 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 344} , self = 445 , parent = Just 105 , duration = 3.029852502000 , status = Success , start = 2021-07-14 00:02:59.249250315 UTC , finish = 2021-07-14 00:03:02.279102817 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 294} , self = 547 , parent = Just 482 , duration = 3.097276759000 , status = Success , start = 2021-07-14 00:03:04.222915078 UTC , finish = 2021-07-14 00:03:07.320191837 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '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 = 250} , self = 487 , parent = Just 420 , duration = 3.218984018000 , status = Success , start = 2021-07-14 00:03:01.17999792 UTC , finish = 2021-07-14 00:03:04.398981938 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 = 16 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 344} , self = 481 , parent = Just 141 , duration = 3.433169623000 , status = Success , start = 2021-07-14 00:03:00.654995335 UTC , finish = 2021-07-14 00:03:04.088164958 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 = 336} , self = 545 , parent = Just 462 , duration = 3.498880533000 , status = Success , start = 2021-07-14 00:03:03.503193893 UTC , finish = 2021-07-14 00:03:07.002074426 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 294} , self = 525 , parent = Just 446 , duration = 3.608318493000 , status = Success , start = 2021-07-14 00:03:02.392754919 UTC , finish = 2021-07-14 00:03:06.001073412 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 24 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 504} , self = 396 , parent = Just 56 , duration = 3.916735760000 , status = Success , start = 2021-07-14 00:02:56.236960933 UTC , finish = 2021-07-14 00:03:00.153696693 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 24 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 504} , self = 461 , parent = Just 56 , duration = 4.543049147000 , status = Success , start = 2021-07-14 00:02:58.872940181 UTC , finish = 2021-07-14 00:03:03.415989328 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 336} , self = 588 , parent = Just 462 , duration = 4.804202475000 , status = Success , start = 2021-07-14 00:03:06.062696979 UTC , finish = 2021-07-14 00:03:10.866899454 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '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 = 18 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 394} , self = 598 , parent = Just 72 , duration = 5.519607469000 , status = Success , start = 2021-07-14 00:03:06.506492985 UTC , finish = 2021-07-14 00:03:12.026100454 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 294} , self = 605 , parent = Just 482 , duration = 5.862062444000 , status = Success , start = 2021-07-14 00:03:06.9897949 UTC , finish = 2021-07-14 00:03:12.851857344 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 20 , alphabet_size = 13 , total_length = 725} , self = 581 , parent = Just 426 , duration = 8.314958101000 , status = Success , start = 2021-07-14 00:03:01.56024271 UTC , finish = 2021-07-14 00:03:09.875200811 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '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 25 max duration 13.579892063000 min duration 0.834306509000 total durat. 115.550700075000 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 = 110} , self = 170 , parent = Just 76 , duration = 1.332855745000 , status = Success , start = 2021-07-14 00:02:51.689131828 UTC , finish = 2021-07-14 00:02:53.021987573 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '3' ] , 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 = 110} , self = 201 , parent = Just 116 , duration = 1.586276266000 , status = Success , start = 2021-07-14 00:02:52.203665648 UTC , finish = 2021-07-14 00:02:53.789941914 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 52} , self = 360 , parent = Just 296 , duration = 1.638878429000 , status = Success , start = 2021-07-14 00:02:56.619350462 UTC , finish = 2021-07-14 00:02:58.258228891 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 151} , self = 162 , parent = Just 16 , duration = 1.719285793000 , status = Success , start = 2021-07-14 00:02:51.241056551 UTC , finish = 2021-07-14 00:02:52.960342344 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '3' ] , 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 = 90} , self = 292 , parent = Just 236 , duration = 2.104080348000 , status = Success , start = 2021-07-14 00:02:54.420254757 UTC , finish = 2021-07-14 00:02:56.524335105 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 90} , self = 267 , parent = Just 191 , duration = 2.206316639000 , status = Success , start = 2021-07-14 00:02:53.56383219 UTC , finish = 2021-07-14 00:02:55.770148829 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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 166} , self = 313 , parent = Just 234 , duration = 2.523648438000 , status = Success , start = 2021-07-14 00:02:54.438743056 UTC , finish = 2021-07-14 00:02:56.962391494 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 90} , self = 403 , parent = Just 336 , duration = 2.868074623000 , status = Success , start = 2021-07-14 00:02:57.602953777 UTC , finish = 2021-07-14 00:03:00.4710284 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 151} , self = 305 , parent = Just 16 , duration = 3.363595024000 , status = Success , start = 2021-07-14 00:02:53.545925603 UTC , finish = 2021-07-14 00:02:56.909520627 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '3' ] , 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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 249} , self = 350 , parent = Just 167 , duration = 3.673716152000 , status = Success , start = 2021-07-14 00:02:54.238389601 UTC , finish = 2021-07-14 00:02:57.912105753 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '3' ] , 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 = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 166} , self = 457 , parent = Just 389 , duration = 4.111536443000 , status = Success , start = 2021-07-14 00:02:59.270588579 UTC , finish = 2021-07-14 00:03:03.382125022 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 151} , self = 417 , parent = Just 16 , duration = 4.630081971000 , status = Success , start = 2021-07-14 00:02:56.45503454 UTC , finish = 2021-07-14 00:03:01.085116511 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '1' ] , 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 = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 116} , self = 437 , parent = Just 314 , duration = 4.630229267000 , status = Success , start = 2021-07-14 00:02:57.000746982 UTC , finish = 2021-07-14 00:03:01.630976249 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 102} , self = 565 , parent = Just 489 , duration = 4.697900288000 , status = Success , start = 2021-07-14 00:03:04.509772133 UTC , finish = 2021-07-14 00:03:09.207672421 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 249} , self = 478 , parent = Just 311 , duration = 5.107279295000 , status = Success , start = 2021-07-14 00:02:58.818843891 UTC , finish = 2021-07-14 00:03:03.926123186 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 249} , self = 578 , parent = Just 167 , duration = 5.378543646000 , status = Success , start = 2021-07-14 00:03:04.478427857 UTC , finish = 2021-07-14 00:03:09.856971503 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '1' ] , 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 = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 116} , self = 557 , parent = Just 458 , duration = 5.401050718000 , status = Success , start = 2021-07-14 00:03:03.419370455 UTC , finish = 2021-07-14 00:03:08.820421173 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '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 = 24 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 504} , self = 373 , parent = Just 56 , duration = 5.966866225000 , status = Success , start = 2021-07-14 00:02:52.751703908 UTC , finish = 2021-07-14 00:02:58.718570133 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '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 = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 250} , self = 503 , parent = Just 324 , duration = 7.419618108000 , status = Success , start = 2021-07-14 00:02:57.54553009 UTC , finish = 2021-07-14 00:03:04.965148198 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 250} , self = 571 , parent = Just 420 , duration = 8.424504141000 , status = Success , start = 2021-07-14 00:03:01.226654545 UTC , finish = 2021-07-14 00:03:09.651158686 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 344} , self = 473 , parent = Just 141 , duration = 9.245224550000 , status = Success , start = 2021-07-14 00:02:54.384984039 UTC , finish = 2021-07-14 00:03:03.630208589 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 = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 250} , self = 623 , parent = Just 285 , duration = 12.141956511000 , status = Success , start = 2021-07-14 00:03:03.337986734 UTC , finish = 2021-07-14 00:03:15.479943245 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 300} , self = 616 , parent = Just 363 , duration = 13.579892063000 , status = Success , start = 2021-07-14 00:03:01.049554648 UTC , finish = 2021-07-14 00:03:14.629446711 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '5' ] , 3 , True )} Success : Tiling { method = Overlap , width = 8 , 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 18.083575302000 min duration 8.617034379000 total durat. 108.981829985000 Info { what = Tiling { method = Overlap , width = 8 , 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 = 429 , parent = Just 148 , duration = 8.617034379000 , status = Success , start = 2021-07-14 00:02:52.765692957 UTC , finish = 2021-07-14 00:03:01.382727336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , 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 = 110} , self = 465 , parent = Just 76 , duration = 11.739207540000 , status = Success , start = 2021-07-14 00:02:51.689235898 UTC , finish = 2021-07-14 00:03:03.428443438 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , 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 = 555 , parent = Just 296 , duration = 12.036564261000 , status = Success , start = 2021-07-14 00:02:56.619360671 UTC , finish = 2021-07-14 00:03:08.655924932 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , 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 = 110} , self = 497 , parent = Just 116 , duration = 12.525799177000 , status = Success , start = 2021-07-14 00:02:52.202564142 UTC , finish = 2021-07-14 00:03:04.728363319 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , 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 = 129} , self = 499 , parent = Just 15 , duration = 13.614216030000 , status = Success , start = 2021-07-14 00:02:51.233435461 UTC , finish = 2021-07-14 00:03:04.847651491 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , 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 = 90} , self = 567 , parent = Just 191 , duration = 15.652926677000 , status = Success , start = 2021-07-14 00:02:53.563738948 UTC , finish = 2021-07-14 00:03:09.216665625 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , 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 = 90} , self = 592 , parent = Just 236 , duration = 16.712506619000 , status = Success , start = 2021-07-14 00:02:54.409914878 UTC , finish = 2021-07-14 00:03:11.122421497 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , 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 = 151} , self = 569 , parent = Just 16 , duration = 18.083575302000 , status = Success , start = 2021-07-14 00:02:51.241005023 UTC , finish = 2021-07-14 00:03:09.324580325 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '9' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 24 max duration 8.452717523000 min duration 0.024582120000 total durat. 30.653314066000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 80 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 52 , alphabet_size = 23 , total_length = 2188} , self = 358 , parent = Just 306 , duration = 1.258385544000 , status = Success , start = 2021-07-14 00:02:56.911818105 UTC , finish = 2021-07-14 00:02:58.170203649 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 55 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1325} , self = 553 , parent = Just 546 , duration = 1.338362993000 , status = Success , start = 2021-07-14 00:03:07.002570858 UTC , finish = 2021-07-14 00:03:08.340933851 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '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 = 120 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 96 , alphabet_size = 28 , total_length = 3516} , self = 585 , parent = Just 558 , duration = 1.940379125000 , status = Success , start = 2021-07-14 00:03:08.820636796 UTC , finish = 2021-07-14 00:03:10.761015921 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '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 = 55 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1325} , self = 604 , parent = Just 589 , duration = 1.975913628000 , status = Success , start = 2021-07-14 00:03:10.869202811 UTC , finish = 2021-07-14 00:03:12.845116439 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 99 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 84 , alphabet_size = 25 , total_length = 2964} , self = 594 , parent = Just 566 , duration = 2.032337983000 , status = Success , start = 2021-07-14 00:03:09.208086347 UTC , finish = 2021-07-14 00:03:11.24042433 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '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 = 120 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 96 , alphabet_size = 28 , total_length = 3516} , self = 476 , parent = Just 438 , duration = 2.130046117000 , status = Success , start = 2021-07-14 00:03:01.631163782 UTC , finish = 2021-07-14 00:03:03.761209899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 190 , num_strict_rules = 190 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 6270} , self = 410 , parent = Just 354 , duration = 2.826639727000 , status = Success , start = 2021-07-14 00:02:57.957164945 UTC , finish = 2021-07-14 00:03:00.783804672 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 190 , num_strict_rules = 190 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 6270} , self = 439 , parent = Just 385 , duration = 2.886835883000 , status = Success , start = 2021-07-14 00:02:59.081873626 UTC , finish = 2021-07-14 00:03:01.968709509 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 231 , num_strict_rules = 22 , num_top_rules = 22 , num_weak_rules = 209 , alphabet_size = 47 , total_length = 8360} , self = 577 , parent = Just 430 , duration = 8.452717523000 , status = Success , start = 2021-07-14 00:03:01.382927335 UTC , finish = 2021-07-14 00:03:09.835644858 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '1' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 94 max duration 1.912468061000 min duration 0.000126069000 total durat. 12.876792708000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 44 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 24 , alphabet_size = 13 , total_length = 1076} , self = 554 , parent = Just 548 , duration = 1.115310671000 , status = Fail , start = 2021-07-14 00:03:07.322595882 UTC , finish = 2021-07-14 00:03:08.437906553 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 44 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 24 , alphabet_size = 13 , total_length = 1076} , self = 614 , parent = Just 606 , duration = 1.691459576000 , status = Fail , start = 2021-07-14 00:03:12.852448323 UTC , finish = 2021-07-14 00:03:14.543907899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 4884} , self = 246 , parent = Just 154 , duration = 1.868410066000 , status = Fail , start = 2021-07-14 00:02:52.858365455 UTC , finish = 2021-07-14 00:02:54.726775521 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 4884} , self = 250 , parent = Just 160 , duration = 1.912468061000 , status = Fail , start = 2021-07-14 00:02:52.932695626 UTC , finish = 2021-07-14 00:02:54.845163687 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '3' ] , 3 , False )} **************************************************