/export/starexec/sandbox2/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 1 rules on 2 letters DP SRS with 4 strict rules and 1 weak rules on 3 letters EDG SRS with 4 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 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 2 strict rules and 1 weak rules on 3 letters EDG SRS with 2 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 3, encoding = Ersatz_Binary, dim = 4, solver = Minisatapi, verbose = True, tracing = False} SRS with 0 strict rules and 1 weak rules on 2 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [b, a, a, b, b, a, a, b] -> [a, a, b, b, a, a, b, a, a, b, b] {- Input 0 -} reason DP property Termination has value Just True for SRS [b, a, a, b, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b ] {- DP Nontop (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [b#, b] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b ] {- DP (Top 2) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [b#, a, a, b, b] {- DP (Top 6) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [ b# , a , a , b , a , a , b , b ] {- DP (Top 3) (Input 0) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b] |-> [b#, b] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [ b# , a , a , b , a , a , b , b ] {- DP (Top 3) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [b#, a, a, b, b] {- DP (Top 6) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b ] {- DP (Top 2) (Input 0) -} [b, a, a, b, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason ( b , Wk / 0A 0A 0A 0A \ | 0A 0A 0A 0A | | 0A 0A 0A 0A | \ -4A -4A 0A 0A / ) ( a , Wk / 0A 0A 0A 0A \ | -4A -4A 0A 0A | | -4A -4A -4A 0A | \ -4A -4A -4A -4A / ) ( b# , Wk / 5A 7A 7A 7A \ | 5A 7A 7A 7A | | 5A 7A 7A 7A | \ 5A 7A 7A 7A / ) property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b] |-> [b#, b] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [b#, a, a, b, b] {- DP (Top 6) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b ] {- DP (Top 2) (Input 0) -} [b, a, a, b, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b] |-> [b#, b] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [ b# , b , a , a , b , a , a , b , b ] {- DP (Top 2) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [b#, a, a, b, b] {- DP (Top 6) (Input 0) -} [b, a, a, b, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason ( b , Wk / 0A - - - - 0A 0A 1A \ | - - 0A - 0A - - - | | - - - - - - - - | | - - 0A - - 0A - - | | 0A - - - 0A 0A 0A - | | - - - - - - - - | | - 0A - - - 0A 0A - | \ - - - - - - - 0A / ) ( a , Wk / 0A - 0A - - - - - \ | - - - 1A - - - - | | - - - - - - 0A - | | - - 1A - - - - - | | - - - 0A - - - - | | - 0A - 0A - - - - | | - - - 0A - 0A - - | \ - - - - - - - 0A / ) ( b# , Wk / 0A - - - - - 1A 1A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b] |-> [b#, b] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [b#, a, a, b, b] {- DP (Top 6) (Input 0) -} [b, a, a, b, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, b, a, a, b] |-> [b#, b] {- DP (Top 9) (Input 0) -} [b#, a, a, b, b, a, a, b] |-> [b#, a, a, b, b] {- DP (Top 6) (Input 0) -} [b, a, a, b, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason ( b , Wk / 0 0 4 3 \ | 0 0 1 0 | | 0 0 2 0 | \ 0 0 0 1 / ) ( a , Wk / 0 1 0 0 \ | 0 0 0 3 | | 1 0 0 1 | \ 0 0 0 1 / ) ( b# , Wk / 0 0 2 0 \ | 0 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) property Termination has value Just True for SRS [b, a, a, b, b, a, a, b] ->= [ a , a , b , b , a , a , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee\EDG(4/1,3)\Matrix{\Arctic}{4}\EDG(3/1,3)\Matrix{\Arctic}{8}\EDG(2/1,3)\Matrix{\Natural}{4}(0/1,2)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} total number 2 max duration 68.012097168000 min duration 67.719936954000 total durat. 135.732034122000 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 = 19} , self = 465 , parent = Just 4 , duration = 67.719936954000 , status = Fail , start = 2021-07-13 23:45:52.108205677 UTC , finish = 2021-07-13 23:46:59.828142631 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' ] , 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 = 19} , self = 466 , parent = Just 0 , duration = 68.012097168000 , status = Fail , start = 2021-07-13 23:45:52.108235082 UTC , finish = 2021-07-13 23:47:00.12033225 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' ] , 2 , True )} Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 3.316018973000 min duration 1.470185723000 total durat. 7.893805927000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 42} , self = 656 , parent = Just 643 , duration = 1.470185723000 , status = Fail , start = 2021-07-13 23:49:29.694191024 UTC , finish = 2021-07-13 23:49:31.164376747 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '2' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 59} , self = 259 , parent = Just 198 , duration = 3.107601231000 , status = Fail , start = 2021-07-13 23:45:55.090763049 UTC , finish = 2021-07-13 23:45:58.19836428 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 63} , self = 224 , parent = Just 96 , duration = 3.316018973000 , status = Fail , start = 2021-07-13 23:45:52.846019007 UTC , finish = 2021-07-13 23:45:56.16203798 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '1' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 3.074326358000 min duration 0.732800931000 total durat. 3.807127289000 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 = 75} , self = 204 , parent = Just 13 , duration = 3.074326358000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:52.109301267 UTC , finish = 2021-07-13 23:45:55.183627625 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' ] , 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 130.520782855000 min duration 130.520782855000 total durat. 130.520782855000 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 = 59} , self = 641 , parent = Just 198 , duration = 130.520782855000 , status = Success , start = 2021-07-13 23:47:19.153755722 UTC , finish = 2021-07-13 23:49:29.674538577 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.918256518000 min duration 50.181112619000 total durat. 101.099369137000 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 = 63} , self = 489 , parent = Just 96 , duration = 50.181112619000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:26.215988585 UTC , finish = 2021-07-13 23:47:16.397101204 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '5' ] , 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 = 59} , self = 490 , parent = Just 198 , duration = 50.918256518000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:28.224872429 UTC , finish = 2021-07-13 23:47:19.143128947 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '6' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 30.038258604000 min duration 30.023026877000 total durat. 60.061285481000 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 = 59} , self = 367 , parent = Just 198 , duration = 30.023026877000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:58.198616703 UTC , finish = 2021-07-13 23:46:28.22164358 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 63} , self = 362 , parent = Just 96 , duration = 30.038258604000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:56.166643837 UTC , finish = 2021-07-13 23:46:26.204902441 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 133.717122504000 min duration 133.717122504000 total durat. 133.717122504000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 59} , self = 650 , parent = Just 198 , duration = 133.717122504000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:47:16.023749324 UTC , finish = 2021-07-13 23:49:29.740871828 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '0' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.142856469000 min duration 50.058291066000 total durat. 100.201147535000 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 = 59} , self = 488 , parent = Just 198 , duration = 50.058291066000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:25.943805052 UTC , finish = 2021-07-13 23:47:16.002096118 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 63} , self = 487 , parent = Just 96 , duration = 50.142856469000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:46:23.579612299 UTC , finish = 2021-07-13 23:47:13.722468768 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '8' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 4.446567754000 min duration 4.446567754000 total durat. 4.446567754000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 42} , self = 661 , parent = Just 643 , duration = 4.446567754000 , status = Success , start = 2021-07-13 23:49:30.075760011 UTC , finish = 2021-07-13 23:49:34.522327765 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '3' , '0' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 30.072226958000 min duration 2.406922459000 total durat. 62.527709132000 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 = 75} , self = 205 , parent = Just 13 , duration = 2.406922459000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:52.778749954 UTC , finish = 2021-07-13 23:45:55.185672413 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '2' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 59} , self = 359 , parent = Just 198 , duration = 30.048559715000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:55.889474785 UTC , finish = 2021-07-13 23:46:25.9380345 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 63} , self = 344 , parent = Just 96 , duration = 30.072226958000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:45:53.503166382 UTC , finish = 2021-07-13 23:46:23.57539334 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '5' ] , 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 0.798499913000 min duration 0.354861035000 total durat. 2.479481490000 Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 0.564048133000 min duration 0.282751188000 total durat. 1.868580883000 Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 2.460362517000 min duration 2.460362517000 total durat. 2.460362517000 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 = 75} , self = 196 , parent = Just 13 , duration = 2.460362517000 , status = Success , start = 2021-07-13 23:45:52.624561543 UTC , finish = 2021-07-13 23:45:55.08492406 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '8' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 3.268327766000 min duration 1.387356663000 total durat. 7.633170543000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 42} , self = 660 , parent = Just 643 , duration = 1.387356663000 , status = Fail , start = 2021-07-13 23:49:29.976996177 UTC , finish = 2021-07-13 23:49:31.36435284 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '2' , '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 = 59} , self = 260 , parent = Just 198 , duration = 2.977486114000 , status = Fail , start = 2021-07-13 23:45:55.597556676 UTC , finish = 2021-07-13 23:45:58.57504279 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 63} , self = 233 , parent = Just 96 , duration = 3.268327766000 , status = Fail , start = 2021-07-13 23:45:53.411472325 UTC , finish = 2021-07-13 23:45:56.679800091 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '9' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 47.899405315000 min duration 3.170917870000 total durat. 85.091708751000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 42} , self = 664 , parent = Just 643 , duration = 3.170917870000 , status = Fail , start = 2021-07-13 23:49:31.383742289 UTC , finish = 2021-07-13 23:49:34.554660159 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '5' ] , 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 = 59} , self = 369 , parent = Just 198 , duration = 34.021385566000 , status = Fail , start = 2021-07-13 23:45:58.575367194 UTC , finish = 2021-07-13 23:46:32.59675276 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 63} , self = 419 , parent = Just 96 , duration = 47.899405315000 , status = Fail , start = 2021-07-13 23:45:56.679983709 UTC , finish = 2021-07-13 23:46:44.579389024 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '2' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 177.107008340000 min duration 177.107008340000 total durat. 177.107008340000 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 = 59} , self = 649 , parent = Just 198 , duration = 177.107008340000 , status = Fail , start = 2021-07-13 23:46:32.596956653 UTC , finish = 2021-07-13 23:49:29.703964993 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '9' ] , 0 , True )} Success : Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 12 max duration 93.119335164000 min duration 0.012161649000 total durat. 176.499649841000 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 = 13 , total_length = 750} , self = 190 , parent = Just 71 , duration = 1.211516567000 , status = Success , start = 2021-07-13 23:45:53.802367089 UTC , finish = 2021-07-13 23:45:55.013883656 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '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 = 12 , total_length = 625} , self = 247 , parent = Just 191 , duration = 2.020564084000 , status = Success , start = 2021-07-13 23:45:55.505075312 UTC , finish = 2021-07-13 23:45:57.525639396 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '2' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1000} , self = 281 , parent = Just 118 , duration = 2.088317118000 , status = Success , start = 2021-07-13 23:45:59.028826053 UTC , finish = 2021-07-13 23:46:01.117143171 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 64 , num_strict_rules = 64 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 20 , total_length = 1728} , self = 437 , parent = Just 371 , duration = 15.863127867000 , status = Success , start = 2021-07-13 23:46:34.107547016 UTC , finish = 2021-07-13 23:46:49.970674883 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 104 , num_strict_rules = 104 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 2808} , self = 510 , parent = Just 248 , duration = 29.373829010000 , status = Success , start = 2021-07-13 23:46:58.409925673 UTC , finish = 2021-07-13 23:47:27.783754683 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '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 = 80 , num_strict_rules = 80 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 2160} , self = 370 , parent = Just 174 , duration = 31.718546733000 , status = Success , start = 2021-07-13 23:46:01.237356736 UTC , finish = 2021-07-13 23:46:32.955903469 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 192 , num_strict_rules = 192 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 35 , total_length = 5568} , self = 611 , parent = Just 309 , duration = 93.119335164000 , status = Success , start = 2021-07-13 23:47:28.100937797 UTC , finish = 2021-07-13 23:49:01.220272961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '6' ] , 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 4 max duration 41.356355409000 min duration 0.208196924000 total durat. 47.305501901000 Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 84} , self = 149 , parent = Just 38 , duration = 1.304301629000 , status = Success , start = 2021-07-13 23:45:52.629021278 UTC , finish = 2021-07-13 23:45:53.933322907 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 207} , self = 269 , parent = Just 86 , duration = 4.436647939000 , status = Success , start = 2021-07-13 23:45:55.520397655 UTC , finish = 2021-07-13 23:45:59.957045594 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 625} , self = 448 , parent = Just 191 , duration = 41.356355409000 , status = Success , start = 2021-07-13 23:46:14.594922681 UTC , finish = 2021-07-13 23:46:55.95127809 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '8' ] , 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 109.865425949000 min duration 109.865425949000 total durat. 109.865425949000 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 = 19} , self = 537 , parent = Just 0 , duration = 109.865425949000 , status = Success , start = 2021-07-13 23:45:52.110215526 UTC , finish = 2021-07-13 23:47:41.975641475 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' ] , 3 , True )} Success : Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 12 max duration 44.519844945000 min duration 0.014183077000 total durat. 118.905499242000 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 = 13 , total_length = 750} , self = 240 , parent = Just 71 , duration = 2.497284232000 , status = Success , start = 2021-07-13 23:45:54.695521414 UTC , finish = 2021-07-13 23:45:57.192805646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 625} , self = 263 , parent = Just 191 , duration = 2.783048509000 , status = Success , start = 2021-07-13 23:45:55.891315967 UTC , finish = 2021-07-13 23:45:58.674364476 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 750} , self = 295 , parent = Just 71 , duration = 2.809783483000 , status = Success , start = 2021-07-13 23:45:59.493591393 UTC , finish = 2021-07-13 23:46:02.303374876 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '0' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 64 , num_strict_rules = 64 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 20 , total_length = 1728} , self = 453 , parent = Just 371 , duration = 21.873191592000 , status = Success , start = 2021-07-13 23:46:35.708978002 UTC , finish = 2021-07-13 23:46:57.582169594 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '2' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 80 , num_strict_rules = 80 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 2160} , self = 417 , parent = Just 174 , duration = 41.959724172000 , status = Success , start = 2021-07-13 23:46:02.447217746 UTC , finish = 2021-07-13 23:46:44.406941918 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 80 , num_strict_rules = 80 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 2160} , self = 543 , parent = Just 174 , duration = 44.519844945000 , status = Success , start = 2021-07-13 23:47:01.5333672 UTC , finish = 2021-07-13 23:47:46.053212145 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '9' ] , 3 , True )} Success : Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 4 max duration 45.026628630000 min duration 0.210584442000 total durat. 51.826043399000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 4 , total_length = 84} , self = 151 , parent = Just 38 , duration = 1.376542625000 , status = Success , start = 2021-07-13 23:45:52.628835344 UTC , finish = 2021-07-13 23:45:54.005377969 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '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 = 7 , total_length = 207} , self = 273 , parent = Just 86 , duration = 5.212287702000 , status = Success , start = 2021-07-13 23:45:55.522586373 UTC , finish = 2021-07-13 23:46:00.734874075 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '0' ] , 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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 625} , self = 463 , parent = Just 191 , duration = 45.026628630000 , status = Success , start = 2021-07-13 23:46:14.588165794 UTC , finish = 2021-07-13 23:46:59.614794424 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '2' ] , 3 , True )} Success : Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 111.440329722000 min duration 111.440329722000 total durat. 111.440329722000 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 = 19} , self = 539 , parent = Just 0 , duration = 111.440329722000 , status = Success , start = 2021-07-13 23:45:52.109236215 UTC , finish = 2021-07-13 23:47:43.549565937 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' ] , 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 55 max duration 86.616705436000 min duration 0.202002399000 total durat. 837.102258826000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 226} , self = 141 , parent = Just 84 , duration = 1.009827879000 , status = Success , start = 2021-07-13 23:45:52.837817304 UTC , finish = 2021-07-13 23:45:53.847645183 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '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 = 8 , total_length = 381} , self = 121 , parent = Just 52 , duration = 1.071309901000 , status = Success , start = 2021-07-13 23:45:52.405382659 UTC , finish = 2021-07-13 23:45:53.47669256 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 226} , self = 157 , parent = Just 110 , duration = 1.085249549000 , status = Success , start = 2021-07-13 23:45:53.186297904 UTC , finish = 2021-07-13 23:45:54.271547453 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 254} , self = 170 , parent = Just 122 , duration = 1.095601160000 , status = Success , start = 2021-07-13 23:45:53.514145029 UTC , finish = 2021-07-13 23:45:54.609746189 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 327} , self = 234 , parent = Just 213 , duration = 1.193321992000 , status = Success , start = 2021-07-13 23:45:55.538183635 UTC , finish = 2021-07-13 23:45:56.731505627 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 218} , self = 255 , parent = Just 235 , duration = 1.251988838000 , status = Success , start = 2021-07-13 23:45:56.776841032 UTC , finish = 2021-07-13 23:45:58.02882987 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 268} , self = 225 , parent = Just 69 , duration = 1.440719982000 , status = Success , start = 2021-07-13 23:45:54.811537339 UTC , finish = 2021-07-13 23:45:56.252257321 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 42} , self = 653 , parent = Just 643 , duration = 1.448205201000 , status = Success , start = 2021-07-13 23:49:29.704062376 UTC , finish = 2021-07-13 23:49:31.152267577 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 171} , self = 315 , parent = Just 303 , duration = 4.027993804000 , status = Success , start = 2021-07-13 23:46:03.813785288 UTC , finish = 2021-07-13 23:46:07.841779092 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 = 24 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 513} , self = 285 , parent = Just 178 , duration = 5.418302441000 , status = Success , start = 2021-07-13 23:45:56.281081605 UTC , finish = 2021-07-13 23:46:01.699384046 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 513} , self = 275 , parent = Just 207 , duration = 5.426153296000 , status = Success , start = 2021-07-13 23:45:55.325667576 UTC , finish = 2021-07-13 23:46:00.751820872 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 17 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 360} , self = 423 , parent = Just 384 , duration = 8.400315497000 , status = Success , start = 2021-07-13 23:46:36.807164489 UTC , finish = 2021-07-13 23:46:45.207479986 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '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 = 45 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 25 , alphabet_size = 15 , total_length = 935} , self = 299 , parent = Just 171 , duration = 8.469395813000 , status = Success , start = 2021-07-13 23:45:55.016431646 UTC , finish = 2021-07-13 23:46:03.485827459 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 17 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 360} , self = 431 , parent = Just 397 , duration = 8.491659517000 , status = Success , start = 2021-07-13 23:46:39.36649756 UTC , finish = 2021-07-13 23:46:47.858157077 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 421 , parent = Just 276 , duration = 8.620978449000 , status = Success , start = 2021-07-13 23:46:36.544614884 UTC , finish = 2021-07-13 23:46:45.165593333 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 218} , self = 351 , parent = Just 329 , duration = 8.653731039000 , status = Success , start = 2021-07-13 23:46:15.520948801 UTC , finish = 2021-07-13 23:46:24.17467984 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 429 , parent = Just 286 , duration = 8.671404905000 , status = Success , start = 2021-07-13 23:46:39.07794296 UTC , finish = 2021-07-13 23:46:47.749347865 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 171} , self = 345 , parent = Just 324 , duration = 8.678887301000 , status = Success , start = 2021-07-13 23:46:14.962119566 UTC , finish = 2021-07-13 23:46:23.641006867 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 443 , parent = Just 276 , duration = 9.674214266000 , status = Success , start = 2021-07-13 23:46:45.694416942 UTC , finish = 2021-07-13 23:46:55.368631208 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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 457 , parent = Just 286 , duration = 9.784191697000 , status = Success , start = 2021-07-13 23:46:48.525659783 UTC , finish = 2021-07-13 23:46:58.30985148 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 522 , parent = Just 286 , duration = 10.237174169000 , status = Success , start = 2021-07-13 23:47:20.417706971 UTC , finish = 2021-07-13 23:47:30.65488114 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '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 = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 561} , self = 451 , parent = Just 300 , duration = 12.072602074000 , status = Success , start = 2021-07-13 23:46:44.221922438 UTC , finish = 2021-07-13 23:46:56.294524512 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 561} , self = 407 , parent = Just 300 , duration = 13.142406362000 , status = Success , start = 2021-07-13 23:46:27.64509562 UTC , finish = 2021-07-13 23:46:40.787501982 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 393 , parent = Just 286 , duration = 13.934166817000 , status = Success , start = 2021-07-13 23:46:23.977552739 UTC , finish = 2021-07-13 23:46:37.911719556 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 375} , self = 477 , parent = Just 276 , duration = 14.826766397000 , status = Success , start = 2021-07-13 23:46:56.378435744 UTC , finish = 2021-07-13 23:47:11.205202141 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 501} , self = 403 , parent = Just 354 , duration = 15.366063287000 , status = Success , start = 2021-07-13 23:46:24.578922078 UTC , finish = 2021-07-13 23:46:39.944985365 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 508 , parent = Just 276 , duration = 16.507043377000 , status = Success , start = 2021-07-13 23:47:11.262579115 UTC , finish = 2021-07-13 23:47:27.769622492 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 335 , parent = Just 276 , duration = 17.689250951000 , status = Success , start = 2021-07-13 23:46:00.845849144 UTC , finish = 2021-07-13 23:46:18.535100095 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 541 , parent = Just 276 , duration = 17.690170441000 , status = Success , start = 2021-07-13 23:47:27.954838578 UTC , finish = 2021-07-13 23:47:45.645009019 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 604 , parent = Just 286 , duration = 17.714148358000 , status = Success , start = 2021-07-13 23:48:24.960039603 UTC , finish = 2021-07-13 23:48:42.674187961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 584 , parent = Just 286 , duration = 19.109094592000 , status = Success , start = 2021-07-13 23:48:05.807054353 UTC , finish = 2021-07-13 23:48:24.916148945 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '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 = 23 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 498} , self = 617 , parent = Just 346 , duration = 20.175950477000 , status = Success , start = 2021-07-13 23:48:42.717542357 UTC , finish = 2021-07-13 23:49:02.893492834 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 23 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 498} , self = 600 , parent = Just 316 , duration = 20.434173357000 , status = Success , start = 2021-07-13 23:48:19.694995507 UTC , finish = 2021-07-13 23:48:40.129168864 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 495 , parent = Just 286 , duration = 20.712641429000 , status = Success , start = 2021-07-13 23:46:59.34245531 UTC , finish = 2021-07-13 23:47:20.055096739 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 25 , alphabet_size = 15 , total_length = 835} , self = 353 , parent = Just 256 , duration = 25.572474864000 , status = Success , start = 2021-07-13 23:45:58.616918286 UTC , finish = 2021-07-13 23:46:24.18939315 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 365 , parent = Just 286 , duration = 26.108680640000 , status = Success , start = 2021-07-13 23:46:01.846760117 UTC , finish = 2021-07-13 23:46:27.955440757 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 561} , self = 504 , parent = Just 300 , duration = 26.209326892000 , status = Success , start = 2021-07-13 23:46:58.629045061 UTC , finish = 2021-07-13 23:47:24.838371953 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 378 , parent = Just 276 , duration = 26.662635442000 , status = Success , start = 2021-07-13 23:46:08.895898902 UTC , finish = 2021-07-13 23:46:35.558534344 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '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 = 9 , num_top_rules = 9 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 501} , self = 588 , parent = Just 553 , duration = 28.294092489000 , status = Success , start = 2021-07-13 23:47:59.092951794 UTC , finish = 2021-07-13 23:48:27.387044283 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '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 = 40 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 25 , alphabet_size = 15 , total_length = 835} , self = 552 , parent = Just 352 , duration = 31.936265771000 , status = Success , start = 2021-07-13 23:47:25.132990614 UTC , finish = 2021-07-13 23:47:57.069256385 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 561} , self = 380 , parent = Just 300 , duration = 32.088706184000 , status = Success , start = 2021-07-13 23:46:03.754075181 UTC , finish = 2021-07-13 23:46:35.842781365 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 574 , parent = Just 276 , duration = 32.744561441000 , status = Success , start = 2021-07-13 23:47:46.883777758 UTC , finish = 2021-07-13 23:48:19.628339199 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 561 , parent = Just 286 , duration = 35.009421813000 , status = Success , start = 2021-07-13 23:47:30.733651021 UTC , finish = 2021-07-13 23:48:05.743072834 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 438} , self = 565 , parent = Just 533 , duration = 36.635698711000 , status = Success , start = 2021-07-13 23:47:39.259973532 UTC , finish = 2021-07-13 23:48:15.895672243 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 = 66 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 48 , alphabet_size = 23 , total_length = 1548} , self = 516 , parent = Just 243 , duration = 48.344870121000 , status = Success , start = 2021-07-13 23:46:41.701187838 UTC , finish = 2021-07-13 23:47:30.046057959 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '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 = 55 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 40 , alphabet_size = 22 , total_length = 1290} , self = 629 , parent = Just 517 , duration = 63.286968695000 , status = Success , start = 2021-07-13 23:48:16.046067268 UTC , finish = 2021-07-13 23:49:19.333035963 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 55 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 40 , alphabet_size = 22 , total_length = 1290} , self = 608 , parent = Just 517 , duration = 86.616705436000 , status = Success , start = 2021-07-13 23:47:30.107092109 UTC , finish = 2021-07-13 23:48:56.723797545 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '1' ] , 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 26 max duration 108.158547724000 min duration 0.951884547000 total durat. 937.531344205000 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 = 63} , self = 134 , parent = Just 73 , duration = 1.266938197000 , status = Success , start = 2021-07-13 23:45:52.538223212 UTC , finish = 2021-07-13 23:45:53.805161409 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 59} , self = 229 , parent = Just 198 , duration = 1.332320109000 , status = Success , start = 2021-07-13 23:45:55.102631969 UTC , finish = 2021-07-13 23:45:56.434952078 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 63} , self = 159 , parent = Just 96 , duration = 1.420396294000 , status = Success , start = 2021-07-13 23:45:52.855156911 UTC , finish = 2021-07-13 23:45:54.275553205 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 94} , self = 137 , parent = Just 14 , duration = 1.702174247000 , status = Success , start = 2021-07-13 23:45:52.122104475 UTC , finish = 2021-07-13 23:45:53.824278722 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 94} , self = 231 , parent = Just 14 , duration = 2.104099807000 , status = Success , start = 2021-07-13 23:45:54.379134553 UTC , finish = 2021-07-13 23:45:56.48323436 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '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 = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 184} , self = 271 , parent = Just 158 , duration = 5.853822822000 , status = Success , start = 2021-07-13 23:45:54.687737591 UTC , finish = 2021-07-13 23:46:00.541560413 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 184} , self = 311 , parent = Just 142 , duration = 6.649890778000 , status = Success , start = 2021-07-13 23:45:57.674764338 UTC , finish = 2021-07-13 23:46:04.324655116 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 254} , self = 289 , parent = Just 122 , duration = 7.680572079000 , status = Success , start = 2021-07-13 23:45:54.081502148 UTC , finish = 2021-07-13 23:46:01.762074227 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 218} , self = 338 , parent = Just 235 , duration = 21.421999093000 , status = Success , start = 2021-07-13 23:45:57.693272749 UTC , finish = 2021-07-13 23:46:19.115271842 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 171} , self = 390 , parent = Just 324 , duration = 22.398059154000 , status = Success , start = 2021-07-13 23:46:14.917604553 UTC , finish = 2021-07-13 23:46:37.315663707 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 218} , self = 405 , parent = Just 329 , duration = 24.899429797000 , status = Success , start = 2021-07-13 23:46:15.528442776 UTC , finish = 2021-07-13 23:46:40.427872573 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 171} , self = 376 , parent = Just 303 , duration = 30.066331220000 , status = Success , start = 2021-07-13 23:46:03.784092282 UTC , finish = 2021-07-13 23:46:33.850423502 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 17 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 360} , self = 481 , parent = Just 384 , duration = 33.604522426000 , status = Success , start = 2021-07-13 23:46:37.825865272 UTC , finish = 2021-07-13 23:47:11.430387698 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 17 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 360} , self = 491 , parent = Just 397 , duration = 39.600325066000 , status = Success , start = 2021-07-13 23:46:40.262431853 UTC , finish = 2021-07-13 23:47:19.862756919 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 445 , parent = Just 286 , duration = 40.862257042000 , status = Success , start = 2021-07-13 23:46:14.867308345 UTC , finish = 2021-07-13 23:46:55.729565387 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '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 = 23 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 498} , self = 621 , parent = Just 346 , duration = 46.222724530000 , status = Success , start = 2021-07-13 23:48:30.858672069 UTC , finish = 2021-07-13 23:49:17.081396599 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 439 , parent = Just 276 , duration = 47.557057562000 , status = Success , start = 2021-07-13 23:46:03.552883576 UTC , finish = 2021-07-13 23:46:51.109941138 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '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 = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 625 , parent = Just 276 , duration = 54.942809485000 , status = Success , start = 2021-07-13 23:48:22.887674724 UTC , finish = 2021-07-13 23:49:17.830484209 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '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 = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 561} , self = 493 , parent = Just 300 , duration = 64.483195345000 , status = Success , start = 2021-07-13 23:46:15.420089794 UTC , finish = 2021-07-13 23:47:19.903285139 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 594 , parent = Just 286 , duration = 68.190756664000 , status = Success , start = 2021-07-13 23:47:21.555271833 UTC , finish = 2021-07-13 23:48:29.746028497 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 10 , total_length = 375} , self = 578 , parent = Just 276 , duration = 69.517859765000 , status = Success , start = 2021-07-13 23:47:12.447068634 UTC , finish = 2021-07-13 23:48:21.964928399 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 24 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 501} , self = 526 , parent = Just 354 , duration = 70.647211349000 , status = Success , start = 2021-07-13 23:46:24.582165678 UTC , finish = 2021-07-13 23:47:35.229377027 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '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 = 40 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 25 , alphabet_size = 15 , total_length = 835} , self = 530 , parent = Just 256 , duration = 78.066640808000 , status = Success , start = 2021-07-13 23:46:19.993432358 UTC , finish = 2021-07-13 23:47:38.060073166 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 561} , self = 571 , parent = Just 300 , duration = 87.929518295000 , status = Success , start = 2021-07-13 23:46:48.69473388 UTC , finish = 2021-07-13 23:48:16.624252175 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 438} , self = 637 , parent = Just 533 , duration = 108.158547724000 , status = Success , start = 2021-07-13 23:47:39.492984833 UTC , finish = 2021-07-13 23:49:27.651532557 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '4' ] , 3 , True )} Success : Unlabel { steps = Many, verbose = False, tracing = False} total number 73 max duration 1.169150625000 min duration 0.000005090000 total durat. 1.429067643000 Info { what = Unlabel { steps = Many, verbose = False, tracing = False} , input_size = Size { num_rules = 192 , num_strict_rules = 192 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 35 , total_length = 5568} , self = 333 , parent = Just 309 , duration = 1.169150625000 , status = Success , start = 2021-07-13 23:46:15.3333885 UTC , finish = 2021-07-13 23:46:16.502539125 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '0' ] , 3 , False )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 61 max duration 12.772843347000 min duration 0.006613209000 total durat. 110.054188731000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 627 , num_strict_rules = 76 , num_top_rules = 76 , num_weak_rules = 551 , alphabet_size = 86 , total_length = 17803} , self = 501 , parent = Just 494 , duration = 1.141823149000 , status = Success , start = 2021-07-13 23:47:19.908316677 UTC , finish = 2021-07-13 23:47:21.050139826 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 96 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 72 , alphabet_size = 26 , total_length = 2264} , self = 409 , parent = Just 404 , duration = 1.144289491000 , status = Success , start = 2021-07-13 23:46:39.945310133 UTC , finish = 2021-07-13 23:46:41.089599624 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 104 , num_strict_rules = 32 , num_top_rules = 32 , num_weak_rules = 72 , alphabet_size = 26 , total_length = 2440} , self = 388 , parent = Just 381 , duration = 1.150764580000 , status = Success , start = 2021-07-13 23:46:35.843167765 UTC , finish = 2021-07-13 23:46:36.993932345 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 32 , num_top_rules = 32 , num_weak_rules = 72 , alphabet_size = 26 , total_length = 2440} , self = 413 , parent = Just 408 , duration = 1.186012582000 , status = Success , start = 2021-07-13 23:46:40.787744027 UTC , finish = 2021-07-13 23:46:41.973756609 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 32 , num_top_rules = 32 , num_weak_rules = 72 , alphabet_size = 26 , total_length = 2440} , self = 455 , parent = Just 452 , duration = 1.324765924000 , status = Success , start = 2021-07-13 23:46:56.298592762 UTC , finish = 2021-07-13 23:46:57.623358686 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 170 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 140 , alphabet_size = 38 , total_length = 4460} , self = 293 , parent = Just 272 , duration = 1.342051434000 , status = Success , start = 2021-07-13 23:46:00.541790722 UTC , finish = 2021-07-13 23:46:01.883842156 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 744 , num_strict_rules = 744 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 76 , total_length = 23064} , self = 472 , parent = Just 464 , duration = 1.712550972000 , status = Success , start = 2021-07-13 23:46:59.615242357 UTC , finish = 2021-07-13 23:47:01.327793329 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 165 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 140 , alphabet_size = 36 , total_length = 4365} , self = 401 , parent = Just 391 , duration = 2.306478800000 , status = Success , start = 2021-07-13 23:46:37.316086236 UTC , finish = 2021-07-13 23:46:39.622565036 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 = 165 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 140 , alphabet_size = 36 , total_length = 4365} , self = 389 , parent = Just 377 , duration = 3.427630959000 , status = Success , start = 2021-07-13 23:46:33.850849897 UTC , finish = 2021-07-13 23:46:37.278480856 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 285 , num_strict_rules = 285 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 8265} , self = 310 , parent = Just 274 , duration = 3.565355203000 , status = Success , start = 2021-07-13 23:46:00.735130413 UTC , finish = 2021-07-13 23:46:04.300485616 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 = 285 , num_strict_rules = 285 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 8265} , self = 309 , parent = Just 270 , duration = 3.803866685000 , status = Success , start = 2021-07-13 23:45:59.957294416 UTC , finish = 2021-07-13 23:46:03.761161101 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 390 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 345 , alphabet_size = 60 , total_length = 11115} , self = 470 , parent = Just 446 , duration = 4.757655167000 , status = Success , start = 2021-07-13 23:46:55.733633247 UTC , finish = 2021-07-13 23:47:00.491288414 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 744 , num_strict_rules = 744 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 76 , total_length = 23064} , self = 471 , parent = Just 449 , duration = 5.236380464000 , status = Success , start = 2021-07-13 23:46:55.951745489 UTC , finish = 2021-07-13 23:47:01.188125953 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 252 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 216 , alphabet_size = 53 , total_length = 6600} , self = 428 , parent = Just 406 , duration = 7.173947810000 , status = Success , start = 2021-07-13 23:46:40.42808207 UTC , finish = 2021-07-13 23:46:47.60202988 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 170 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 140 , alphabet_size = 38 , total_length = 4460} , self = 321 , parent = Just 312 , duration = 7.305609594000 , status = Success , start = 2021-07-13 23:46:04.324953913 UTC , finish = 2021-07-13 23:46:11.630563507 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 = 390 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 345 , alphabet_size = 60 , total_length = 11115} , self = 469 , parent = Just 440 , duration = 9.110397030000 , status = Success , start = 2021-07-13 23:46:51.110372248 UTC , finish = 2021-07-13 23:47:00.220769278 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 264 , num_strict_rules = 48 , num_top_rules = 48 , num_weak_rules = 216 , alphabet_size = 53 , total_length = 6888} , self = 322 , parent = Just 290 , duration = 12.601269977000 , status = Success , start = 2021-07-13 23:46:01.762227049 UTC , finish = 2021-07-13 23:46:14.363497026 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 1710 , num_strict_rules = 1710 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 130 , total_length = 56430} , self = 551 , parent = Just 540 , duration = 12.771997217000 , status = Success , start = 2021-07-13 23:47:43.559962063 UTC , finish = 2021-07-13 23:47:56.33195928 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1710 , num_strict_rules = 1710 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 130 , total_length = 56430} , self = 549 , parent = Just 538 , duration = 12.772843347000 , status = Success , start = 2021-07-13 23:47:41.975974504 UTC , finish = 2021-07-13 23:47:54.748817851 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '7' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 66 max duration 3.116492922000 min duration 0.000069183000 total durat. 14.752048105000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 15 , alphabet_size = 13 , total_length = 501} , self = 554 , parent = Just 553 , duration = 1.352148387000 , status = Fail , start = 2021-07-13 23:47:57.091046686 UTC , finish = 2021-07-13 23:47:58.443195073 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 25 , alphabet_size = 15 , total_length = 835} , self = 360 , parent = Just 352 , duration = 1.932212827000 , status = Fail , start = 2021-07-13 23:46:24.175130409 UTC , finish = 2021-07-13 23:46:26.107343236 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 252 , num_strict_rules = 252 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 40 , total_length = 7308} , self = 467 , parent = Just 454 , duration = 2.562861097000 , status = Fail , start = 2021-07-13 23:46:57.582581795 UTC , finish = 2021-07-13 23:47:00.145442892 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '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 = 252 , num_strict_rules = 252 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 40 , total_length = 7308} , self = 441 , parent = Just 438 , duration = 3.116492922000 , status = Fail , start = 2021-07-13 23:46:49.975233048 UTC , finish = 2021-07-13 23:46:53.09172597 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '5' ] , 3 , False )} **************************************************