/export/starexec/sandbox/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 1 rules on 2 letters mirror SRS with 1 rules on 2 letters DP SRS with 5 strict rules and 1 weak rules on 3 letters EDG SRS with 5 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 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 0 strict rules and 1 weak rules on 2 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [b, a, a, b, a, b, a, a, b] -> [ a , b , a , b , a , a , b , a , a , b , a , b ] {- Input 0 -} reason mirror property Termination has value Just True for SRS [b, a, a, b, a, b, a, a, b] -> [ b , a , b , a , a , b , a , a , b , a , b , a ] {- Mirror (Input 0) -} reason DP property Termination has value Just True for SRS [b, a, a, b, a, b, a, a, b] ->= [ b , a , b , a , a , b , a , a , b , a , b , a ] {- DP Nontop (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [b#, a] {- DP (Top 10) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , b , a ] {- DP (Top 8) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , b , a , a , b , a , a , b , a , b , a ] {- DP (Top 0) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , b , a ] {- DP (Top 5) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , a , b , a , b , a ] {- DP (Top 2) (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, a, b, a, a, b] |-> [b#, a] {- DP (Top 10) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , a , b , a , b , a ] {- DP (Top 2) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , b , a ] {- DP (Top 5) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , b , a , a , b , a , a , b , a , b , a ] {- DP (Top 0) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , b , a ] {- DP (Top 8) (Mirror (Input 0)) -} [b, a, a, b, a, b, a, a, b] ->= [ b , a , b , a , a , b , a , a , b , a , b , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( b , Wk / 0A 0A 0A 0A \ | -4A -4A -4A -4A | | -4A -4A -4A -4A | \ -4A -4A -4A -4A / ) ( a , Wk / 0A 0A 0A 0A \ | 0A 0A 0A 0A | | 0A 0A 0A 0A | \ -4A 0A 0A 0A / ) ( b# , Wk / 13A 13A 16A 17A \ | 13A 13A 16A 17A | | 13A 13A 16A 17A | \ 13A 13A 16A 17A / ) property Termination has value Just True for SRS [b#, a, a, b, a, b, a, a, b] |-> [b#, a] {- DP (Top 10) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , a , b , a , b , a ] {- DP (Top 2) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , b , a ] {- DP (Top 5) (Mirror (Input 0)) -} [b, a, a, b, a, b, a, a, b] ->= [ b , a , b , a , a , b , a , a , b , a , b , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, a, b, a, a, b] |-> [b#, a] {- DP (Top 10) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , b , a ] {- DP (Top 5) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, a, b] |-> [ b# , a , a , b , a , a , b , a , b , a ] {- DP (Top 2) (Mirror (Input 0)) -} [b, a, a, b, a, b, a, a, b] ->= [ b , a , b , a , a , b , a , a , b , a , b , a ] {- DP Nontop (Mirror (Input 0)) -} reason ( b , Wk / - - 0A - - 0A - 0A \ | 0A - - 0A - - - 0A | | - - - 0A - - - 0A | | - - - - - 2A 0A - | | - 0A - - 0A 1A 0A - | | 0A 0A - 0A 0A - 0A 0A | | - - - - - - - - | \ - - - - - - - 0A / ) ( a , Wk / - - 0A - - - - 0A \ | - - 0A - - 0A - - | | - 0A - - - - - - | | 0A - - - - - - - | | 0A - 0A - - 0A - 0A | | - - - - - - 0A - | | - - - - - 1A - 0A | \ - - - - - - - 0A / ) ( b# , Wk / - - - 1A - - - 1A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [b, a, a, b, a, b, a, a, b] ->= [ b , a , b , a , a , b , a , a , b , a , b , a ] {- DP Nontop (Mirror (Input 0)) -} reason EDG ************************************************** skeleton: \Mirror(1,2)\Deepee\EDG(5/1,3)\Matrix{\Arctic}{4}\EDG(3/1,3)\Matrix{\Arctic}{8}(0/1,2)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} total number 2 max duration 117.305359651000 min duration 95.568661134000 total durat. 212.874020785000 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 = 21} , self = 693 , parent = Just 4 , duration = 95.568661134000 , status = Fail , start = 2021-07-13 23:45:36.83829157 UTC , finish = 2021-07-13 23:47:12.406952704 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' ] , 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 = 21} , self = 698 , parent = Just 0 , duration = 117.305359651000 , status = Fail , start = 2021-07-13 23:45:36.838303589 UTC , finish = 2021-07-13 23:47:34.14366324 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' ] , 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 4 max duration 6.696346577000 min duration 3.221047346000 total durat. 17.949533129000 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 = 86} , self = 208 , parent = Just 12 , duration = 3.221047346000 , status = Fail , start = 2021-07-13 23:45:36.839545215 UTC , finish = 2021-07-13 23:45:40.060592561 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' ] , 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 = 67} , self = 337 , parent = Just 260 , duration = 3.755034012000 , status = Fail , start = 2021-07-13 23:45:41.232329941 UTC , finish = 2021-07-13 23:45:44.987363953 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 101} , self = 246 , parent = Just 13 , duration = 4.277105194000 , status = Fail , start = 2021-07-13 23:45:36.840056985 UTC , finish = 2021-07-13 23:45:41.117162179 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 68} , self = 563 , parent = Just 486 , duration = 6.696346577000 , status = Fail , start = 2021-07-13 23:46:23.614976064 UTC , finish = 2021-07-13 23:46:30.311322641 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '3' ] , 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 1 max duration 40.904201552000 min duration 40.904201552000 total durat. 40.904201552000 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 = 67} , self = 720 , parent = Just 260 , duration = 40.904201552000 , status = Success , start = 2021-07-13 23:47:05.146679322 UTC , finish = 2021-07-13 23:47:46.050880874 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '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 = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.041948053000 min duration 13.491648116000 total durat. 63.533596169000 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 = 86} , self = 485 , parent = Just 12 , duration = 13.491648116000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:10.103642402 UTC , finish = 2021-07-13 23:46:23.595290518 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '8' ] , 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 = 67} , self = 672 , parent = Just 260 , duration = 50.041948053000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:15.095710052 UTC , finish = 2021-07-13 23:47:05.137658105 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '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 = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 30.093317219000 min duration 0.112265387000 total durat. 90.310402762000 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 = 86} , self = 462 , parent = Just 12 , duration = 30.037574760000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:40.060789947 UTC , finish = 2021-07-13 23:46:10.098364707 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 68} , self = 664 , parent = Just 486 , duration = 30.067245396000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:30.326652042 UTC , finish = 2021-07-13 23:47:00.393897438 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '9' ] , 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 = 67} , self = 468 , parent = Just 260 , duration = 30.093317219000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:44.994204826 UTC , finish = 2021-07-13 23:46:15.087522045 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '2' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 50.119425132000 min duration 16.032942832000 total durat. 116.194162922000 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 = 86} , self = 487 , parent = Just 12 , duration = 16.032942832000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:07.577613121 UTC , finish = 2021-07-13 23:46:23.610555953 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '3' ] , 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 = 67} , self = 670 , parent = Just 260 , duration = 50.041794958000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:12.256675541 UTC , finish = 2021-07-13 23:47:02.298470499 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '8' ] , 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 = 68} , self = 719 , parent = Just 486 , duration = 50.119425132000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:54.877630407 UTC , finish = 2021-07-13 23:47:44.997055539 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '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 = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 30.063830607000 min duration 3.525411089000 total durat. 93.693872103000 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 = 101} , self = 261 , parent = Just 13 , duration = 3.525411089000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:37.704431194 UTC , finish = 2021-07-13 23:45:41.229842283 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 68} , self = 663 , parent = Just 486 , duration = 30.044351764000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:24.825726503 UTC , finish = 2021-07-13 23:46:54.870078267 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 67} , self = 467 , parent = Just 260 , duration = 30.060278643000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:42.192068962 UTC , finish = 2021-07-13 23:46:12.252347605 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '8' ] , 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 = 86} , self = 459 , parent = Just 12 , duration = 30.063830607000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:37.509684099 UTC , finish = 2021-07-13 23:46:07.573514706 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '0' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 1.210602456000 min duration 0.670009365000 total durat. 3.701985160000 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 = 68} , self = 524 , parent = Just 486 , duration = 1.210602456000 , status = Fail , start = 2021-07-13 23:46:23.614918796 UTC , finish = 2021-07-13 23:46:24.825521252 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '1' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 0.999987263000 min duration 0.542450301000 total durat. 2.777580867000 Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 3.714982092000 min duration 3.714982092000 total durat. 3.714982092000 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 = 101} , self = 257 , parent = Just 13 , duration = 3.714982092000 , status = Success , start = 2021-07-13 23:45:37.509128046 UTC , finish = 2021-07-13 23:45:41.224110138 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '7' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 6.225876774000 min duration 3.424222388000 total durat. 13.147087978000 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 = 86} , self = 240 , parent = Just 12 , duration = 3.424222388000 , status = Fail , start = 2021-07-13 23:45:37.409450367 UTC , finish = 2021-07-13 23:45:40.833672755 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '2' ] , 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 = 67} , self = 352 , parent = Just 260 , duration = 3.496988816000 , status = Fail , start = 2021-07-13 23:45:41.772962239 UTC , finish = 2021-07-13 23:45:45.269951055 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '7' ] , 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 = 68} , self = 568 , parent = Just 486 , duration = 6.225876774000 , status = Fail , start = 2021-07-13 23:46:24.615090276 UTC , finish = 2021-07-13 23:46:30.84096705 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '1' ] , 0 , True )} Success : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 42.760742754000 min duration 42.760742754000 total durat. 42.760742754000 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 = 86} , self = 483 , parent = Just 12 , duration = 42.760742754000 , status = Success , start = 2021-07-13 23:45:40.833932933 UTC , finish = 2021-07-13 23:46:23.594675687 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '3' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 51.205828336000 min duration 49.026417753000 total durat. 100.232246089000 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 = 68} , self = 697 , parent = Just 486 , duration = 49.026417753000 , status = Fail , start = 2021-07-13 23:46:30.849198484 UTC , finish = 2021-07-13 23:47:19.875616237 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '2' ] , 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 = 67} , self = 613 , parent = Just 260 , duration = 51.205828336000 , status = Fail , start = 2021-07-13 23:45:45.270431602 UTC , finish = 2021-07-13 23:46:36.476259938 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '0' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 69.591135627000 min duration 26.211355246000 total durat. 95.802490873000 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 = 68} , self = 724 , parent = Just 486 , duration = 26.211355246000 , status = Fail , start = 2021-07-13 23:47:19.875835856 UTC , finish = 2021-07-13 23:47:46.087191102 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '6' ] , 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 = 67} , self = 723 , parent = Just 260 , duration = 69.591135627000 , status = Fail , start = 2021-07-13 23:46:36.476545466 UTC , finish = 2021-07-13 23:47:46.067681093 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '3' ] , 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 18 max duration 40.914897623000 min duration 0.008650013000 total durat. 107.539289028000 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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 870} , self = 325 , parent = Just 123 , duration = 3.278059825000 , status = Success , start = 2021-07-13 23:45:41.217685047 UTC , finish = 2021-07-13 23:45:44.495744872 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 16 , total_length = 1160} , self = 434 , parent = Just 368 , duration = 6.740365059000 , status = Success , start = 2021-07-13 23:45:47.465105057 UTC , finish = 2021-07-13 23:45:54.205470116 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 20 , total_length = 1450} , self = 571 , parent = Just 211 , duration = 6.987286143000 , status = Success , start = 2021-07-13 23:46:23.959842096 UTC , finish = 2021-07-13 23:46:30.947128239 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 725} , self = 679 , parent = Just 625 , duration = 22.610414355000 , status = Success , start = 2021-07-13 23:46:44.359183131 UTC , finish = 2021-07-13 23:47:06.969597486 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '3' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 45 , num_strict_rules = 45 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 1305} , self = 499 , parent = Just 166 , duration = 23.091940212000 , status = Success , start = 2021-07-13 23:46:00.659689006 UTC , finish = 2021-07-13 23:46:23.751629218 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 112 , num_strict_rules = 112 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 3472} , self = 691 , parent = Just 326 , duration = 40.914897623000 , status = Success , start = 2021-07-13 23:46:31.34408271 UTC , finish = 2021-07-13 23:47:12.258980333 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '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 9 max duration 20.818759209000 min duration 0.126312899000 total durat. 49.696549655000 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 = 5 , total_length = 100} , self = 226 , parent = Just 179 , duration = 1.427189296000 , status = Success , start = 2021-07-13 23:45:39.050938209 UTC , finish = 2021-07-13 23:45:40.478127505 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '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 = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 324} , self = 345 , parent = Just 55 , duration = 2.719730263000 , status = Success , start = 2021-07-13 23:45:42.35122658 UTC , finish = 2021-07-13 23:45:45.070956843 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '4' ] , 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 243} , self = 428 , parent = Just 346 , duration = 7.436825106000 , status = Success , start = 2021-07-13 23:45:45.147268486 UTC , finish = 2021-07-13 23:45:52.584093592 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '3' ] , 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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 870} , self = 624 , parent = Just 123 , duration = 15.988655109000 , status = Success , start = 2021-07-13 23:46:23.708270483 UTC , finish = 2021-07-13 23:46:39.696925592 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 405} , self = 493 , parent = Just 190 , duration = 20.818759209000 , status = Success , start = 2021-07-13 23:46:02.830380502 UTC , finish = 2021-07-13 23:46:23.649139711 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '9' ] , 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 1 max duration 46.782986189000 min duration 46.782986189000 total durat. 46.782986189000 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 = 21} , self = 491 , parent = Just 0 , duration = 46.782986189000 , status = Success , start = 2021-07-13 23:45:36.843205551 UTC , finish = 2021-07-13 23:46:23.62619174 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '3' ] , 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 17 max duration 26.596604853000 min duration 0.006409688000 total durat. 69.916310487000 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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 405} , self = 280 , parent = Just 190 , duration = 1.135046183000 , status = Success , start = 2021-07-13 23:45:40.481396315 UTC , finish = 2021-07-13 23:45:41.616442498 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 243} , self = 367 , parent = Just 346 , duration = 1.482892024000 , status = Success , start = 2021-07-13 23:45:45.308848326 UTC , finish = 2021-07-13 23:45:46.79174035 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 870} , self = 363 , parent = Just 123 , duration = 4.351712210000 , status = Success , start = 2021-07-13 23:45:42.174427056 UTC , finish = 2021-07-13 23:45:46.526139266 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 870} , self = 426 , parent = Just 123 , duration = 5.141441797000 , status = Success , start = 2021-07-13 23:45:47.153307166 UTC , finish = 2021-07-13 23:45:52.294748963 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1160} , self = 597 , parent = Just 368 , duration = 9.495817299000 , status = Success , start = 2021-07-13 23:46:24.080304927 UTC , finish = 2021-07-13 23:46:33.576122226 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 725} , self = 665 , parent = Just 625 , duration = 18.698685099000 , status = Success , start = 2021-07-13 23:46:41.820477312 UTC , finish = 2021-07-13 23:47:00.519162411 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 870} , self = 481 , parent = Just 123 , duration = 26.596604853000 , status = Success , start = 2021-07-13 23:45:54.721158432 UTC , finish = 2021-07-13 23:46:21.317763285 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '0' ] , 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 11 max duration 29.488220193000 min duration 0.125851351000 total durat. 74.094361299000 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 = 6 , total_length = 150} , self = 203 , parent = Just 68 , duration = 1.268676248000 , status = Success , start = 2021-07-13 23:45:38.184498059 UTC , finish = 2021-07-13 23:45:39.453174307 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 100} , self = 232 , parent = Just 179 , duration = 1.575262260000 , status = Success , start = 2021-07-13 23:45:38.980677137 UTC , finish = 2021-07-13 23:45:40.555939397 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 6 , total_length = 150} , self = 312 , parent = Just 68 , duration = 1.794678266000 , status = Success , start = 2021-07-13 23:45:42.176448651 UTC , finish = 2021-07-13 23:45:43.971126917 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 324} , self = 394 , parent = Just 55 , duration = 4.303319883000 , status = Success , start = 2021-07-13 23:45:43.986343239 UTC , finish = 2021-07-13 23:45:48.289663122 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 243} , self = 443 , parent = Just 346 , duration = 12.621278441000 , status = Success , start = 2021-07-13 23:45:45.210827681 UTC , finish = 2021-07-13 23:45:57.832106122 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 12 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 324} , self = 525 , parent = Just 55 , duration = 22.078826074000 , status = Success , start = 2021-07-13 23:46:02.844122533 UTC , finish = 2021-07-13 23:46:24.922948607 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 870} , self = 660 , parent = Just 123 , duration = 29.488220193000 , status = Success , start = 2021-07-13 23:46:24.968154617 UTC , finish = 2021-07-13 23:46:54.45637481 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '9' ] , 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 1 max duration 47.368232585000 min duration 47.368232585000 total durat. 47.368232585000 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 = 21} , self = 521 , parent = Just 0 , duration = 47.368232585000 , status = Success , start = 2021-07-13 23:45:36.841267036 UTC , finish = 2021-07-13 23:46:24.209499621 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' ] , 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 49 max duration 52.460867935000 min duration 0.168335672000 total durat. 388.058158620000 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 = 5 , total_length = 76} , self = 595 , parent = Just 583 , duration = 1.031677538000 , status = Success , start = 2021-07-13 23:46:32.543429121 UTC , finish = 2021-07-13 23:46:33.575106659 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 5 , total_length = 75} , self = 355 , parent = Just 334 , duration = 1.052867771000 , status = Success , start = 2021-07-13 23:45:45.080994516 UTC , finish = 2021-07-13 23:45:46.133862287 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 11 , total_length = 316} , self = 234 , parent = Just 168 , duration = 1.902095642000 , status = Success , start = 2021-07-13 23:45:38.670211253 UTC , finish = 2021-07-13 23:45:40.572306895 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 10 , alphabet_size = 12 , total_length = 366} , self = 206 , parent = Just 124 , duration = 2.265412735000 , status = Success , start = 2021-07-13 23:45:37.77961596 UTC , finish = 2021-07-13 23:45:40.045028695 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 11 , total_length = 316} , self = 331 , parent = Just 290 , duration = 2.459021319000 , status = Success , start = 2021-07-13 23:45:42.486431887 UTC , finish = 2021-07-13 23:45:44.945453206 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 251} , self = 373 , parent = Just 319 , duration = 2.662853958000 , status = Success , start = 2021-07-13 23:45:44.300698413 UTC , finish = 2021-07-13 23:45:46.963552371 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 310 , parent = Just 235 , duration = 2.663508077000 , status = Success , start = 2021-07-13 23:45:41.238232224 UTC , finish = 2021-07-13 23:45:43.901740301 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 8 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 152} , self = 535 , parent = Just 514 , duration = 2.671878711000 , status = Success , start = 2021-07-13 23:46:24.126023938 UTC , finish = 2021-07-13 23:46:26.797902649 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 389 , parent = Just 332 , duration = 2.911817195000 , status = Success , start = 2021-07-13 23:45:44.99423704 UTC , finish = 2021-07-13 23:45:47.906054235 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 397 , parent = Just 332 , duration = 2.960880411000 , status = Success , start = 2021-07-13 23:45:46.188577494 UTC , finish = 2021-07-13 23:45:49.149457905 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '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 = 28 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 12 , alphabet_size = 12 , total_length = 624} , self = 243 , parent = Just 129 , duration = 3.035867726000 , status = Success , start = 2021-07-13 23:45:37.971899349 UTC , finish = 2021-07-13 23:45:41.007767075 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 201} , self = 564 , parent = Just 544 , duration = 3.105883060000 , status = Success , start = 2021-07-13 23:46:27.205600678 UTC , finish = 2021-07-13 23:46:30.311483738 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 10 , alphabet_size = 12 , total_length = 366} , self = 419 , parent = Just 124 , duration = 3.258442281000 , status = Success , start = 2021-07-13 23:45:47.153823079 UTC , finish = 2021-07-13 23:45:50.41226536 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 10 , alphabet_size = 12 , total_length = 366} , self = 384 , parent = Just 124 , duration = 3.266629732000 , status = Success , start = 2021-07-13 23:45:44.140503452 UTC , finish = 2021-07-13 23:45:47.407133184 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 468} , self = 327 , parent = Just 254 , duration = 3.524883274000 , status = Success , start = 2021-07-13 23:45:41.297470672 UTC , finish = 2021-07-13 23:45:44.822353946 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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 430 , parent = Just 332 , duration = 3.868705172000 , status = Success , start = 2021-07-13 23:45:49.471192416 UTC , finish = 2021-07-13 23:45:53.339897588 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 251} , self = 432 , parent = Just 408 , duration = 4.106110375000 , status = Success , start = 2021-07-13 23:45:49.624813192 UTC , finish = 2021-07-13 23:45:53.730923567 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 312} , self = 578 , parent = Just 538 , duration = 4.224221461000 , status = Success , start = 2021-07-13 23:46:27.432900228 UTC , finish = 2021-07-13 23:46:31.657121689 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 559 , parent = Just 332 , duration = 4.446346444000 , status = Success , start = 2021-07-13 23:46:24.1586137 UTC , finish = 2021-07-13 23:46:28.604960144 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 646 , parent = Just 332 , duration = 4.506079006000 , status = Success , start = 2021-07-13 23:46:39.970810126 UTC , finish = 2021-07-13 23:46:44.476889132 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 593 , parent = Just 332 , duration = 4.537657467000 , status = Success , start = 2021-07-13 23:46:28.970575998 UTC , finish = 2021-07-13 23:46:33.508233465 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 28 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 12 , alphabet_size = 12 , total_length = 624} , self = 413 , parent = Just 129 , duration = 4.967101397000 , status = Success , start = 2021-07-13 23:45:45.354466642 UTC , finish = 2021-07-13 23:45:50.321568039 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 622 , parent = Just 332 , duration = 5.547735151000 , status = Success , start = 2021-07-13 23:46:33.902845843 UTC , finish = 2021-07-13 23:46:39.450580994 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '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 = 12 , num_top_rules = 12 , num_weak_rules = 12 , alphabet_size = 12 , total_length = 536} , self = 590 , parent = Just 536 , duration = 6.146016197000 , status = Success , start = 2021-07-13 23:46:27.135682776 UTC , finish = 2021-07-13 23:46:33.281698973 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 201} , self = 507 , parent = Just 472 , duration = 6.739744218000 , status = Success , start = 2021-07-13 23:46:17.135999376 UTC , finish = 2021-07-13 23:46:23.875743594 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 402} , self = 634 , parent = Just 596 , duration = 6.749831068000 , status = Success , start = 2021-07-13 23:46:33.797951272 UTC , finish = 2021-07-13 23:46:40.54778234 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 22 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 563} , self = 607 , parent = Just 199 , duration = 10.736255992000 , status = Success , start = 2021-07-13 23:46:23.834917328 UTC , finish = 2021-07-13 23:46:34.57117332 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 22 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 563} , self = 642 , parent = Just 199 , duration = 11.658278384000 , status = Success , start = 2021-07-13 23:46:30.875505909 UTC , finish = 2021-07-13 23:46:42.533784293 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 10 , alphabet_size = 12 , total_length = 366} , self = 501 , parent = Just 124 , duration = 12.605514717000 , status = Success , start = 2021-07-13 23:46:11.162341826 UTC , finish = 2021-07-13 23:46:23.767856543 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '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 = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 10 , total_length = 316} , self = 460 , parent = Just 422 , duration = 18.850566472000 , status = Success , start = 2021-07-13 23:45:50.569929858 UTC , finish = 2021-07-13 23:46:09.42049633 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 216} , self = 689 , parent = Just 655 , duration = 18.856765871000 , status = Success , start = 2021-07-13 23:46:52.766298557 UTC , finish = 2021-07-13 23:47:11.623064428 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 24 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 12 , alphabet_size = 12 , total_length = 536} , self = 667 , parent = Just 536 , duration = 20.169095491000 , status = Success , start = 2021-07-13 23:46:41.677851711 UTC , finish = 2021-07-13 23:47:01.846947202 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 469 , parent = Just 332 , duration = 21.891659856000 , status = Success , start = 2021-07-13 23:45:54.721184099 UTC , finish = 2021-07-13 23:46:16.612843955 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 = 40 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 20 , alphabet_size = 16 , total_length = 985} , self = 677 , parent = Just 580 , duration = 34.332902455000 , status = Success , start = 2021-07-13 23:46:32.465921267 UTC , finish = 2021-07-13 23:47:06.798823722 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 32 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 16 , alphabet_size = 15 , total_length = 788} , self = 529 , parent = Just 149 , duration = 34.639375910000 , status = Success , start = 2021-07-13 23:45:50.411817166 UTC , finish = 2021-07-13 23:46:25.051193076 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 22 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 563} , self = 706 , parent = Just 199 , duration = 51.376786523000 , status = Success , start = 2021-07-13 23:46:44.60265398 UTC , finish = 2021-07-13 23:47:35.979440503 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 22 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 563} , self = 709 , parent = Just 303 , duration = 52.460867935000 , status = Success , start = 2021-07-13 23:46:45.019833494 UTC , finish = 2021-07-13 23:47:37.480701429 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '0' ] , 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 49.569423174000 min duration 0.860790568000 total durat. 294.842370863000 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 = 6 , total_length = 98} , self = 228 , parent = Just 152 , duration = 1.114989770000 , status = Success , start = 2021-07-13 23:45:39.427694417 UTC , finish = 2021-07-13 23:45:40.542684187 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 98} , self = 333 , parent = Just 273 , duration = 1.249659810000 , status = Success , start = 2021-07-13 23:45:43.713079487 UTC , finish = 2021-07-13 23:45:44.962739297 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 67} , self = 187 , parent = Just 130 , duration = 1.371824516000 , status = Success , start = 2021-07-13 23:45:37.795611538 UTC , finish = 2021-07-13 23:45:39.167436054 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 101} , self = 163 , parent = Just 13 , duration = 1.566925002000 , status = Success , start = 2021-07-13 23:45:36.851891126 UTC , finish = 2021-07-13 23:45:38.418816128 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 67} , self = 299 , parent = Just 260 , duration = 1.746990329000 , status = Success , start = 2021-07-13 23:45:41.24111977 UTC , finish = 2021-07-13 23:45:42.988110099 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 5 , total_length = 75} , self = 295 , parent = Just 229 , duration = 1.923673629000 , status = Success , start = 2021-07-13 23:45:40.575905304 UTC , finish = 2021-07-13 23:45:42.499578933 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 = 10 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 192} , self = 218 , parent = Just 52 , duration = 2.276370792000 , status = Success , start = 2021-07-13 23:45:38.106927926 UTC , finish = 2021-07-13 23:45:40.383298718 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '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 = 5 , total_length = 96} , self = 297 , parent = Just 219 , duration = 2.296099133000 , status = Success , start = 2021-07-13 23:45:40.422184083 UTC , finish = 2021-07-13 23:45:42.718283216 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 5 , total_length = 75} , self = 387 , parent = Just 334 , duration = 2.465676761000 , status = Success , start = 2021-07-13 23:45:45.059234273 UTC , finish = 2021-07-13 23:45:47.524911034 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '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 = 7 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 136} , self = 403 , parent = Just 64 , duration = 2.572605253000 , status = Success , start = 2021-07-13 23:45:46.852092237 UTC , finish = 2021-07-13 23:45:49.42469749 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 101} , self = 359 , parent = Just 13 , duration = 2.976769476000 , status = Success , start = 2021-07-13 23:45:43.25483263 UTC , finish = 2021-07-13 23:45:46.231602106 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 68} , self = 531 , parent = Just 486 , duration = 3.003378767000 , status = Success , start = 2021-07-13 23:46:23.64970847 UTC , finish = 2021-07-13 23:46:26.653087237 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 8 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 2 , alphabet_size = 6 , total_length = 152} , self = 582 , parent = Just 514 , duration = 4.703905518000 , status = Success , start = 2021-07-13 23:46:27.497734408 UTC , finish = 2021-07-13 23:46:32.201639926 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 5 , total_length = 76} , self = 616 , parent = Just 583 , duration = 5.105771712000 , status = Success , start = 2021-07-13 23:46:32.271806909 UTC , finish = 2021-07-13 23:46:37.377578621 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 5 , total_length = 113} , self = 441 , parent = Just 404 , duration = 7.755770325000 , status = Success , start = 2021-07-13 23:45:49.478102764 UTC , finish = 2021-07-13 23:45:57.233873089 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 201} , self = 618 , parent = Just 544 , duration = 11.254581779000 , status = Success , start = 2021-07-13 23:46:27.055957366 UTC , finish = 2021-07-13 23:46:38.310539145 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 654 , parent = Just 332 , duration = 12.940634351000 , status = Success , start = 2021-07-13 23:46:36.496707141 UTC , finish = 2021-07-13 23:46:49.437341492 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 201} , self = 573 , parent = Just 472 , duration = 13.924733868000 , status = Success , start = 2021-07-13 23:46:17.135891876 UTC , finish = 2021-07-13 23:46:31.060625744 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 251} , self = 543 , parent = Just 319 , duration = 26.160000991000 , status = Success , start = 2021-07-13 23:46:00.764717639 UTC , finish = 2021-07-13 23:46:26.92471863 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 251} , self = 471 , parent = Just 408 , duration = 27.333903051000 , status = Success , start = 2021-07-13 23:45:49.605760092 UTC , finish = 2021-07-13 23:46:16.939663143 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 478 , parent = Just 332 , duration = 28.353130042000 , status = Success , start = 2021-07-13 23:45:49.197451167 UTC , finish = 2021-07-13 23:46:17.550581209 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 312} , self = 681 , parent = Just 538 , duration = 39.784866748000 , status = Success , start = 2021-07-13 23:46:27.42962654 UTC , finish = 2021-07-13 23:47:07.214493288 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '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 = 10 , total_length = 468} , self = 537 , parent = Just 254 , duration = 42.529895498000 , status = Success , start = 2021-07-13 23:45:44.320556609 UTC , finish = 2021-07-13 23:46:26.850452107 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 266} , self = 699 , parent = Just 235 , duration = 49.569423174000 , status = Success , start = 2021-07-13 23:46:44.603111115 UTC , finish = 2021-07-13 23:47:34.172534289 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '4' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 40 max duration 74.229746011000 min duration 0.033085049000 total durat. 211.341343094000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 27 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 18 , alphabet_size = 15 , total_length = 678} , self = 694 , parent = Just 690 , duration = 1.141162520000 , status = Success , start = 2021-07-13 23:47:11.634791118 UTC , finish = 2021-07-13 23:47:12.775953638 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '5' , '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 = 90 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 66 , alphabet_size = 31 , total_length = 2496} , self = 309 , parent = Just 298 , duration = 1.177061204000 , status = Success , start = 2021-07-13 23:45:42.718422258 UTC , finish = 2021-07-13 23:45:43.895483462 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 30 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 21 , alphabet_size = 17 , total_length = 759} , self = 438 , parent = Just 431 , duration = 1.258171916000 , status = Success , start = 2021-07-13 23:45:53.340247681 UTC , finish = 2021-07-13 23:45:54.598419597 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 33 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 24 , alphabet_size = 19 , total_length = 840} , self = 463 , parent = Just 461 , duration = 1.599506529000 , status = Success , start = 2021-07-13 23:46:09.428935893 UTC , finish = 2021-07-13 23:46:11.028442422 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '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 = 84 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 66 , alphabet_size = 31 , total_length = 2340} , self = 620 , parent = Just 617 , duration = 1.672824159000 , status = Success , start = 2021-07-13 23:46:37.377884961 UTC , finish = 2021-07-13 23:46:39.05070912 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 105 , num_strict_rules = 35 , num_top_rules = 35 , num_weak_rules = 70 , alphabet_size = 32 , total_length = 2870} , self = 447 , parent = Just 442 , duration = 2.807678989000 , status = Success , start = 2021-07-13 23:45:57.234114164 UTC , finish = 2021-07-13 23:46:00.041793153 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 171 , num_strict_rules = 27 , num_top_rules = 27 , num_weak_rules = 144 , alphabet_size = 40 , total_length = 5187} , self = 605 , parent = Just 574 , duration = 3.007491146000 , status = Success , start = 2021-07-13 23:46:31.060780541 UTC , finish = 2021-07-13 23:46:34.068271687 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 171 , num_strict_rules = 27 , num_top_rules = 27 , num_weak_rules = 144 , alphabet_size = 40 , total_length = 5187} , self = 638 , parent = Just 619 , duration = 3.087618483000 , status = Success , start = 2021-07-13 23:46:38.31074468 UTC , finish = 2021-07-13 23:46:41.398363163 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 10032} , self = 452 , parent = Just 444 , duration = 3.179374308000 , status = Success , start = 2021-07-13 23:45:57.832359467 UTC , finish = 2021-07-13 23:46:01.011733775 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 10032} , self = 451 , parent = Just 429 , duration = 8.359017925000 , status = Success , start = 2021-07-13 23:45:52.597538068 UTC , finish = 2021-07-13 23:46:00.956555993 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 250 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 210 , alphabet_size = 58 , total_length = 7560} , self = 705 , parent = Just 682 , duration = 27.524896894000 , status = Success , start = 2021-07-13 23:47:07.227124936 UTC , finish = 2021-07-13 23:47:34.75202183 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 950 , num_strict_rules = 950 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 112 , total_length = 33250} , self = 712 , parent = Just 522 , duration = 73.700212114000 , status = Success , start = 2021-07-13 23:46:24.209787313 UTC , finish = 2021-07-13 23:47:37.909999427 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 950 , num_strict_rules = 950 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 112 , total_length = 33250} , self = 711 , parent = Just 492 , duration = 74.229746011000 , status = Success , start = 2021-07-13 23:46:23.626327201 UTC , finish = 2021-07-13 23:47:37.856073212 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '5' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 101 max duration 5.289193372000 min duration 0.000119013000 total durat. 44.098507139000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 128 , num_strict_rules = 128 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 3968} , self = 609 , parent = Just 598 , duration = 1.094515311000 , status = Fail , start = 2021-07-13 23:46:33.58006152 UTC , finish = 2021-07-13 23:46:34.674576831 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '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 = 99 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 63 , alphabet_size = 27 , total_length = 2700} , self = 533 , parent = Just 530 , duration = 1.606458394000 , status = Fail , start = 2021-07-13 23:46:25.051486052 UTC , finish = 2021-07-13 23:46:26.657944446 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 112 , num_strict_rules = 112 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 3472} , self = 436 , parent = Just 427 , duration = 2.049716978000 , status = Fail , start = 2021-07-13 23:45:52.295025148 UTC , finish = 2021-07-13 23:45:54.344742126 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 67 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 55 , alphabet_size = 24 , total_length = 1888} , self = 717 , parent = Just 707 , duration = 2.239407153000 , status = Fail , start = 2021-07-13 23:47:35.979738045 UTC , finish = 2021-07-13 23:47:38.219145198 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 112 , num_strict_rules = 112 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 3472} , self = 505 , parent = Just 482 , duration = 2.541736334000 , status = Fail , start = 2021-07-13 23:46:21.317945273 UTC , finish = 2021-07-13 23:46:23.859681607 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 216} , self = 656 , parent = Just 655 , duration = 3.151392527000 , status = Fail , start = 2021-07-13 23:46:49.437731414 UTC , finish = 2021-07-13 23:46:52.589123941 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '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 = 104 , num_strict_rules = 104 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 26 , total_length = 3224} , self = 696 , parent = Just 692 , duration = 3.460082021000 , status = Fail , start = 2021-07-13 23:47:12.303367567 UTC , finish = 2021-07-13 23:47:15.763449588 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '5' , '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 = 110 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 70 , alphabet_size = 29 , total_length = 3000} , self = 683 , parent = Just 678 , duration = 3.491073494000 , status = Fail , start = 2021-07-13 23:47:06.798985835 UTC , finish = 2021-07-13 23:47:10.290059329 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '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 = 104 , num_strict_rules = 104 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 26 , total_length = 3224} , self = 685 , parent = Just 680 , duration = 3.611331815000 , status = Fail , start = 2021-07-13 23:47:06.979741639 UTC , finish = 2021-07-13 23:47:10.591073454 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '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 = 128 , num_strict_rules = 128 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 3968} , self = 445 , parent = Just 435 , duration = 4.053753859000 , status = Fail , start = 2021-07-13 23:45:54.205655799 UTC , finish = 2021-07-13 23:45:58.259409658 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 67 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 55 , alphabet_size = 24 , total_length = 1888} , self = 718 , parent = Just 710 , duration = 4.158643161000 , status = Fail , start = 2021-07-13 23:47:37.481057738 UTC , finish = 2021-07-13 23:47:41.639700899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '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 = 104 , num_strict_rules = 104 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 26 , total_length = 3224} , self = 673 , parent = Just 666 , duration = 5.289193372000 , status = Fail , start = 2021-07-13 23:47:00.527608104 UTC , finish = 2021-07-13 23:47:05.816801476 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '2' , '4' ] , 3 , False )} **************************************************