/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 10 strict rules and 1 weak rules on 3 letters EDG SRS with 10 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 2, solver = Minisatapi, verbose = False, tracing = False} SRS with 2 strict rules and 1 weak rules on 3 letters EDG SRS with 2 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 8, solver = Minisatapi, verbose = False, tracing = False} SRS with 0 strict rules and 1 weak rules on 2 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [a, b, b, a, a, a, a, a, a, a] -> [ a , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- Input 0 -} reason DP property Termination has value Just True for SRS [a, b, b, a, a, a, a, a, a, a] ->= [ a , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP Nontop (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 0) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 1) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 2) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 3) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , b , b , a , a , b , b ] {- DP (Top 4) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , b , b , a , a , b , b ] {- DP (Top 5) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [a#, a, b, b] {- DP (Top 10) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , b , b , a , a , b , b ] {- DP (Top 6) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [a#, b, b] {- DP (Top 11) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , b , b , a , a , b , b ] {- DP (Top 7) (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 0) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , b , b , a , a , b , b ] {- DP (Top 7) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [a#, b, b] {- DP (Top 11) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , b , b , a , a , b , b ] {- DP (Top 6) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [a#, a, b, b] {- DP (Top 10) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , b , b , a , a , b , b ] {- DP (Top 5) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , b , b , a , a , b , b ] {- DP (Top 4) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 3) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 2) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP (Top 1) (Input 0) -} [a, b, b, a, a, a, a, a, a, a] ->= [ a , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A 0A \ \ -2A -2A / ) ( b , Wk / 0A 0A \ \ 0A 0A / ) ( a# , Wk / 1A 2A \ \ 1A 2A / ) property Termination has value Just True for SRS [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , b , b , a , a , b , b ] {- DP (Top 7) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [a#, b, b] {- DP (Top 11) (Input 0) -} [a, b, b, a, a, a, a, a, a, a] ->= [ a , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, b, a, a, a, a, a, a, a] |-> [ a# , b , b , a , a , b , b ] {- DP (Top 7) (Input 0) -} [a#, b, b, a, a, a, a, a, a, a] |-> [a#, b, b] {- DP (Top 11) (Input 0) -} [a, b, b, a, a, a, a, a, a, a] ->= [ a , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A 0A 0A 0A 0A 8A 8A 8A \ | 0A 0A 0A 0A 0A 8A 8A 8A | | 0A 0A 0A 0A 0A 0A 8A 8A | | 0A 0A 0A 0A 0A 0A 0A 8A | | -8A 0A 0A 0A 0A 0A 0A 0A | | -8A -8A 0A 0A 0A 0A 0A 0A | | -8A -8A -8A 0A 0A 0A 0A 0A | \ -8A -8A -8A -8A 0A 0A 0A 0A / ) ( b , Wk / 0A 0A 0A 0A 0A 0A 0A 8A \ | -8A -8A -8A -8A -8A -8A 0A 0A | | -8A -8A -8A -8A -8A -8A 0A 0A | | -8A -8A -8A -8A -8A -8A 0A 0A | | -8A -8A -8A -8A -8A -8A 0A 0A | | -8A -8A -8A -8A -8A -8A 0A 0A | | -8A -8A -8A -8A -8A -8A -8A 0A | \ -8A -8A -8A -8A -8A -8A -8A 0A / ) ( a# , Wk / 19A 21A 22A 23A 23A 25A 26A 27A \ | 19A 21A 22A 23A 23A 25A 26A 27A | | 19A 21A 22A 23A 23A 25A 26A 27A | | 19A 21A 22A 23A 23A 25A 26A 27A | | 19A 21A 22A 23A 23A 25A 26A 27A | | 19A 21A 22A 23A 23A 25A 26A 27A | | 19A 21A 22A 23A 23A 25A 26A 27A | \ 19A 21A 22A 23A 23A 25A 26A 27A / ) property Termination has value Just True for SRS [a, b, b, a, a, a, a, a, a, a] ->= [ a , a , a , a , a , a , a , a , b , b , a , a , b , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee\EDG(10/1,3)\Matrix{\Arctic}{2}\EDG(2/1,3)\Matrix{\Arctic}{8}(0/1,2)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : 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 4.889124602000 min duration 3.648831559000 total durat. 8.537956161000 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 = 54} , self = 186 , parent = Just 96 , duration = 3.648831559000 , status = Fail , start = 2021-07-13 23:59:22.448380935 UTC , finish = 2021-07-13 23:59:26.097212494 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 183 , parent = Just 14 , duration = 4.889124602000 , status = Fail , start = 2021-07-13 23:59:21.094705446 UTC , finish = 2021-07-13 23:59:25.983830048 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.352017742000 min duration 1.352017742000 total durat. 1.352017742000 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 = 11 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 215} , self = 97 , parent = Just 13 , duration = 1.352017742000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:21.094678409 UTC , finish = 2021-07-13 23:59:22.446696151 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 40.223337314000 min duration 40.223337314000 total durat. 40.223337314000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 399 , parent = Just 96 , duration = 40.223337314000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:56.164794933 UTC , finish = 2021-07-14 00:00:36.388132247 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '7' ] , 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.163416123000 min duration 30.059827568000 total durat. 60.223243691000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 316 , parent = Just 96 , duration = 30.059827568000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:26.099075945 UTC , finish = 2021-07-13 23:59:56.158903513 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 315 , parent = Just 14 , duration = 30.163416123000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:25.984304983 UTC , finish = 2021-07-13 23:59:56.147721106 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '3' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 14.380233667000 min duration 14.380233667000 total durat. 14.380233667000 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 400 , parent = Just 96 , duration = 14.380233667000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:00:22.013412499 UTC , finish = 2021-07-14 00:00:36.393646166 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '6' ] , 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.146341875000 min duration 50.058779084000 total durat. 100.205120959000 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 356 , parent = Just 14 , duration = 50.058779084000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:37.388397802 UTC , finish = 2021-07-14 00:00:27.447176886 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '6' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 353 , parent = Just 96 , duration = 50.146341875000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:31.860111379 UTC , finish = 2021-07-14 00:00:22.006453254 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '8' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 15.330957419000 min duration 8.780960241000 total durat. 24.111917660000 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 = 54} , self = 244 , parent = Just 96 , duration = 8.780960241000 , status = Fail , start = 2021-07-13 23:59:23.078808322 UTC , finish = 2021-07-13 23:59:31.859768563 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 282 , parent = Just 14 , duration = 15.330957419000 , status = Fail , start = 2021-07-13 23:59:22.056705389 UTC , finish = 2021-07-13 23:59:37.387662808 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '9' ] , 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 3 max duration 2.341397558000 min duration 0.630230555000 total durat. 3.933286510000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 90} , self = 391 , parent = Just 367 , duration = 2.341397558000 , status = Fail , start = 2021-07-14 00:00:33.909848273 UTC , finish = 2021-07-14 00:00:36.251245831 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '6' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.353402842000 min duration 1.353402842000 total durat. 1.353402842000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 215} , self = 98 , parent = Just 13 , duration = 1.353402842000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:59:21.094689832 UTC , finish = 2021-07-13 23:59:22.448092674 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' ] , 0 , True )} Success : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 1.351307465000 min duration 1.351307465000 total durat. 1.351307465000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 11 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 215} , self = 94 , parent = Just 13 , duration = 1.351307465000 , status = Success , start = 2021-07-13 23:59:21.094617082 UTC , finish = 2021-07-13 23:59:22.445924547 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 1.818671197000 min duration 0.403165010000 total durat. 2.974147621000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 90} , self = 378 , parent = Just 367 , duration = 1.818671197000 , status = Fail , start = 2021-07-14 00:00:33.909874512 UTC , finish = 2021-07-14 00:00:35.728545709 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '6' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 3.855270651000 min duration 2.961931580000 total durat. 6.817202231000 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 = 54} , self = 172 , parent = Just 96 , duration = 2.961931580000 , status = Fail , start = 2021-07-13 23:59:22.851683366 UTC , finish = 2021-07-13 23:59:25.813614946 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '3' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 169 , parent = Just 14 , duration = 3.855270651000 , status = Fail , start = 2021-07-13 23:59:21.847258437 UTC , finish = 2021-07-13 23:59:25.702529088 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' , '6' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 21.467244195000 min duration 18.550984628000 total durat. 40.018228823000 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 = 54} , self = 293 , parent = Just 96 , duration = 18.550984628000 , status = Fail , start = 2021-07-13 23:59:25.813850281 UTC , finish = 2021-07-13 23:59:44.364834909 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '3' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 302 , parent = Just 14 , duration = 21.467244195000 , status = Fail , start = 2021-07-13 23:59:25.705598246 UTC , finish = 2021-07-13 23:59:47.172842441 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '9' ] , 0 , True )} Success : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 51.996601154000 min duration 46.632066214000 total durat. 98.628667368000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 365 , parent = Just 14 , duration = 46.632066214000 , status = Success , start = 2021-07-13 23:59:47.173583633 UTC , finish = 2021-07-14 00:00:33.805649847 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '9' ] , 0 , True )} Info { what = QPI { dim = 8 , 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 = 54} , self = 396 , parent = Just 96 , duration = 51.996601154000 , status = Success , start = 2021-07-13 23:59:44.36501108 UTC , finish = 2021-07-14 00:00:36.361612234 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '8' ] , 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 30.904818510000 min duration 0.024148706000 total durat. 64.729117073000 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 252} , self = 129 , parent = Just 85 , duration = 1.115867372000 , status = Success , start = 2021-07-13 23:59:22.282032472 UTC , finish = 2021-07-13 23:59:23.397899844 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 420} , self = 126 , parent = Just 55 , duration = 1.316052456000 , status = Success , start = 2021-07-13 23:59:22.028514754 UTC , finish = 2021-07-13 23:59:23.34456721 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 420} , self = 156 , parent = Just 55 , duration = 1.619480350000 , status = Success , start = 2021-07-13 23:59:23.846833813 UTC , finish = 2021-07-13 23:59:25.466314163 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 900} , self = 225 , parent = Just 50 , duration = 4.048004243000 , status = Success , start = 2021-07-13 23:59:25.502569266 UTC , finish = 2021-07-13 23:59:29.550573509 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 750} , self = 232 , parent = Just 171 , duration = 4.291719201000 , status = Success , start = 2021-07-13 23:59:26.250873863 UTC , finish = 2021-07-13 23:59:30.542593064 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 900} , self = 283 , parent = Just 50 , duration = 6.201579988000 , status = Success , start = 2021-07-13 23:59:31.524125741 UTC , finish = 2021-07-13 23:59:37.725705729 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 480} , self = 309 , parent = Just 275 , duration = 14.343543324000 , status = Success , start = 2021-07-13 23:59:35.832074354 UTC , finish = 2021-07-13 23:59:50.175617678 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 900} , self = 357 , parent = Just 50 , duration = 30.904818510000 , status = Success , start = 2021-07-13 23:59:58.709647756 UTC , finish = 2021-07-14 00:00:29.614466266 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '5' ] , 3 , True )} Success : Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 5 max duration 32.907839792000 min duration 0.254930645000 total durat. 43.798884105000 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 = 252} , self = 191 , parent = Just 85 , duration = 3.177589252000 , status = Success , start = 2021-07-13 23:59:24.338618755 UTC , finish = 2021-07-13 23:59:27.516208007 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '5' ] , 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 = 750} , self = 286 , parent = Just 171 , duration = 6.471355471000 , status = Success , start = 2021-07-13 23:59:31.385313635 UTC , finish = 2021-07-13 23:59:37.856669106 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 480} , self = 348 , parent = Just 275 , duration = 32.907839792000 , status = Success , start = 2021-07-13 23:59:36.051257602 UTC , finish = 2021-07-14 00:00:08.959097394 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '2' ] , 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 6.855197262000 min duration 6.855197262000 total durat. 6.855197262000 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 = 24} , self = 195 , parent = Just 0 , duration = 6.855197262000 , status = Success , start = 2021-07-13 23:59:21.096428504 UTC , finish = 2021-07-13 23:59:27.951625766 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '7' ] , 3 , True )} Success : Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 10 max duration 42.326213588000 min duration 0.023659860000 total durat. 62.569467048000 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 = 900} , self = 170 , parent = Just 50 , duration = 2.296116487000 , status = Success , start = 2021-07-13 23:59:23.479515702 UTC , finish = 2021-07-13 23:59:25.775632189 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '6' ] , 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 = 750} , self = 221 , parent = Just 171 , duration = 2.870290392000 , status = Success , start = 2021-07-13 23:59:25.981444706 UTC , finish = 2021-07-13 23:59:28.851735098 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '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 = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1200} , self = 264 , parent = Just 121 , duration = 3.148096518000 , status = Success , start = 2021-07-13 23:59:31.378684537 UTC , finish = 2021-07-13 23:59:34.526781055 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 480} , self = 307 , parent = Just 275 , duration = 10.178659330000 , status = Success , start = 2021-07-13 23:59:37.444469959 UTC , finish = 2021-07-13 23:59:47.623129289 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 2560} , self = 350 , parent = Just 131 , duration = 42.326213588000 , status = Success , start = 2021-07-13 23:59:34.700622831 UTC , finish = 2021-07-14 00:00:17.026836419 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '3' ] , 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 5 max duration 25.037076052000 min duration 0.257271349000 total durat. 32.993624223000 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 = 252} , self = 193 , parent = Just 85 , duration = 3.203480787000 , status = Success , start = 2021-07-13 23:59:24.3388534 UTC , finish = 2021-07-13 23:59:27.542334187 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 750} , self = 274 , parent = Just 171 , duration = 3.503509025000 , status = Success , start = 2021-07-13 23:59:31.385399791 UTC , finish = 2021-07-13 23:59:34.888908816 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 480} , self = 337 , parent = Just 275 , duration = 25.037076052000 , status = Success , start = 2021-07-13 23:59:35.317603754 UTC , finish = 2021-07-14 00:00:00.354679806 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '4' ] , 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 6.263360097000 min duration 6.263360097000 total durat. 6.263360097000 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 = 24} , self = 189 , parent = Just 0 , duration = 6.263360097000 , status = Success , start = 2021-07-13 23:59:21.096388569 UTC , finish = 2021-07-13 23:59:27.359748666 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '1' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 19 max duration 48.999710461000 min duration 0.296432411000 total durat. 226.202891988000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 172} , self = 204 , parent = Just 164 , duration = 2.641663457000 , status = Success , start = 2021-07-13 23:59:25.60635082 UTC , finish = 2021-07-13 23:59:28.248014277 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 172} , self = 215 , parent = Just 176 , duration = 2.733961182000 , status = Success , start = 2021-07-13 23:59:25.908647517 UTC , finish = 2021-07-13 23:59:28.642608699 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 163 , parent = Just 93 , duration = 3.056658605000 , status = Success , start = 2021-07-13 23:59:22.46586281 UTC , finish = 2021-07-13 23:59:25.522521415 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 175 , parent = Just 113 , duration = 3.068867015000 , status = Success , start = 2021-07-13 23:59:22.800525456 UTC , finish = 2021-07-13 23:59:25.869392471 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 276} , self = 160 , parent = Just 69 , duration = 3.490028831000 , status = Success , start = 2021-07-13 23:59:22.020524912 UTC , finish = 2021-07-13 23:59:25.510553743 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 276} , self = 248 , parent = Just 69 , duration = 4.010711555000 , status = Success , start = 2021-07-13 23:59:28.386869367 UTC , finish = 2021-07-13 23:59:32.397580922 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 14 , num_top_rules = 14 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 342} , self = 253 , parent = Just 201 , duration = 5.616301636000 , status = Success , start = 2021-07-13 23:59:28.330135708 UTC , finish = 2021-07-13 23:59:33.946437344 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '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 = 27 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 513} , self = 200 , parent = Just 82 , duration = 5.955426462000 , status = Success , start = 2021-07-13 23:59:22.232567994 UTC , finish = 2021-07-13 23:59:28.187994456 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '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 = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 157} , self = 294 , parent = Just 257 , duration = 10.961335836000 , status = Success , start = 2021-07-13 23:59:34.60875279 UTC , finish = 2021-07-13 23:59:45.570088626 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 157} , self = 296 , parent = Just 268 , duration = 11.474859216000 , status = Success , start = 2021-07-13 23:59:34.657097083 UTC , finish = 2021-07-13 23:59:46.131956299 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 21 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 534} , self = 290 , parent = Just 216 , duration = 14.019942831000 , status = Success , start = 2021-07-13 23:59:28.776007784 UTC , finish = 2021-07-13 23:59:42.795950615 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 17 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 328} , self = 335 , parent = Just 261 , duration = 25.066149056000 , status = Success , start = 2021-07-13 23:59:34.904661365 UTC , finish = 2021-07-13 23:59:59.970810421 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 21 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 534} , self = 343 , parent = Just 205 , duration = 33.992749473000 , status = Success , start = 2021-07-13 23:59:32.454906422 UTC , finish = 2021-07-14 00:00:06.447655895 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 517} , self = 382 , parent = Just 297 , duration = 48.685498327000 , status = Success , start = 2021-07-13 23:59:47.333103855 UTC , finish = 2021-07-14 00:00:36.018602182 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 = 20 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 517} , self = 379 , parent = Just 295 , duration = 48.999710461000 , status = Success , start = 2021-07-13 23:59:46.945981095 UTC , finish = 2021-07-14 00:00:35.945691556 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '6' ] , 3 , True )} Success : Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 15 max duration 69.171826224000 min duration 1.189327287000 total durat. 289.372962579000 Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 122 , parent = Just 73 , duration = 1.189327287000 , status = Success , start = 2021-07-13 23:59:22.037825016 UTC , finish = 2021-07-13 23:59:23.227152303 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 141 , parent = Just 96 , duration = 1.401920633000 , status = Success , start = 2021-07-13 23:59:22.453299338 UTC , finish = 2021-07-13 23:59:23.855219971 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 11 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 215} , self = 145 , parent = Just 13 , duration = 3.087118590000 , status = Success , start = 2021-07-13 23:59:21.114046746 UTC , finish = 2021-07-13 23:59:24.201165336 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '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 = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 212 , parent = Just 113 , duration = 4.085282470000 , status = Success , start = 2021-07-13 23:59:24.382801514 UTC , finish = 2021-07-13 23:59:28.468083984 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 197 , parent = Just 93 , duration = 4.099671973000 , status = Success , start = 2021-07-13 23:59:23.915460275 UTC , finish = 2021-07-13 23:59:28.015132248 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 129} , self = 154 , parent = Just 14 , duration = 4.307889958000 , status = Success , start = 2021-07-13 23:59:21.103979347 UTC , finish = 2021-07-13 23:59:25.411869305 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 172} , self = 234 , parent = Just 164 , duration = 5.162458252000 , status = Success , start = 2021-07-13 23:59:25.704976544 UTC , finish = 2021-07-13 23:59:30.867434796 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 172} , self = 238 , parent = Just 176 , duration = 5.265641735000 , status = Success , start = 2021-07-13 23:59:25.930112616 UTC , finish = 2021-07-13 23:59:31.195754351 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 317 , parent = Just 93 , duration = 23.697575484000 , status = Success , start = 2021-07-13 23:59:34.161566506 UTC , finish = 2021-07-13 23:59:57.85914199 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 324 , parent = Just 113 , duration = 24.180295753000 , status = Success , start = 2021-07-13 23:59:34.562197705 UTC , finish = 2021-07-13 23:59:58.742493458 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 157} , self = 327 , parent = Just 257 , duration = 24.636089315000 , status = Success , start = 2021-07-13 23:59:34.285676095 UTC , finish = 2021-07-13 23:59:58.92176541 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 157} , self = 331 , parent = Just 268 , duration = 24.919676318000 , status = Success , start = 2021-07-13 23:59:34.628403158 UTC , finish = 2021-07-13 23:59:59.548079476 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 224} , self = 389 , parent = Just 93 , duration = 29.681835389000 , status = Success , start = 2021-07-14 00:00:06.547237729 UTC , finish = 2021-07-14 00:00:36.229073118 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 18 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 342} , self = 363 , parent = Just 201 , duration = 64.486353198000 , status = Success , start = 2021-07-13 23:59:28.433788891 UTC , finish = 2021-07-14 00:00:32.920142089 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 27 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 513} , self = 375 , parent = Just 82 , duration = 69.171826224000 , status = Success , start = 2021-07-13 23:59:26.459820216 UTC , finish = 2021-07-14 00:00:35.63164644 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '6' ] , 3 , True )} Success : Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 2 max duration 37.407908611000 min duration 36.638840945000 total durat. 74.046749556000 Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 320 , parent = Just 73 , duration = 36.638840945000 , status = Success , start = 2021-07-13 23:59:22.037838108 UTC , finish = 2021-07-13 23:59:58.676679053 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 333 , parent = Just 96 , duration = 37.407908611000 , status = Success , start = 2021-07-13 23:59:22.453305315 UTC , finish = 2021-07-13 23:59:59.861213926 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '1' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 22 max duration 21.647407546000 min duration 0.050737938000 total durat. 86.044863679000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 140 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 120 , alphabet_size = 34 , total_length = 4300} , self = 247 , parent = Just 239 , duration = 1.055872318000 , status = Success , start = 2021-07-13 23:59:31.19591903 UTC , finish = 2021-07-13 23:59:32.251791348 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 140 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 120 , alphabet_size = 34 , total_length = 4300} , self = 245 , parent = Just 235 , duration = 1.133200595000 , status = Success , start = 2021-07-13 23:59:30.867696006 UTC , finish = 2021-07-13 23:59:32.000896601 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 120 , num_strict_rules = 60 , num_top_rules = 60 , num_weak_rules = 60 , alphabet_size = 26 , total_length = 3306} , self = 153 , parent = Just 146 , duration = 1.137132161000 , status = Success , start = 2021-07-13 23:59:24.201284776 UTC , finish = 2021-07-13 23:59:25.338416937 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 165 , num_strict_rules = 165 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 5610} , self = 223 , parent = Just 192 , duration = 1.452229406000 , status = Success , start = 2021-07-13 23:59:27.516331491 UTC , finish = 2021-07-13 23:59:28.968560897 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 53 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 20 , alphabet_size = 13 , total_length = 1193} , self = 339 , parent = Just 336 , duration = 1.512036109000 , status = Success , start = 2021-07-13 23:59:59.971176114 UTC , finish = 2021-07-14 00:00:01.483212223 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 165 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 5610} , self = 224 , parent = Just 194 , duration = 1.970080164000 , status = Success , start = 2021-07-13 23:59:27.542598393 UTC , finish = 2021-07-13 23:59:29.512678557 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 135 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 120 , alphabet_size = 32 , total_length = 4195} , self = 341 , parent = Just 328 , duration = 7.124203882000 , status = Success , start = 2021-07-13 23:59:58.922146551 UTC , finish = 2021-07-14 00:00:06.046350433 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 320 , num_strict_rules = 320 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 12160} , self = 263 , parent = Just 190 , duration = 7.158743926000 , status = Success , start = 2021-07-13 23:59:27.361959754 UTC , finish = 2021-07-13 23:59:34.52070368 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 320 , num_strict_rules = 320 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 12160} , self = 280 , parent = Just 196 , duration = 8.402497616000 , status = Success , start = 2021-07-13 23:59:27.951765669 UTC , finish = 2021-07-13 23:59:36.354263285 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 135 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 120 , alphabet_size = 32 , total_length = 4195} , self = 346 , parent = Just 332 , duration = 8.885594876000 , status = Success , start = 2021-07-13 23:59:59.548419948 UTC , finish = 2021-07-14 00:00:08.434014824 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 204 , num_strict_rules = 204 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 7344} , self = 359 , parent = Just 349 , duration = 20.942805117000 , status = Success , start = 2021-07-14 00:00:08.959398517 UTC , finish = 2021-07-14 00:00:29.902203634 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 204 , num_strict_rules = 204 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 7344} , self = 354 , parent = Just 338 , duration = 21.647407546000 , status = Success , start = 2021-07-14 00:00:00.36741753 UTC , finish = 2021-07-14 00:00:22.014825076 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '6' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 55 max duration 3.098384995000 min duration 0.000121921000 total durat. 13.281815978000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 48 , num_strict_rules = 48 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 1536} , self = 352 , parent = Just 351 , duration = 1.061817371000 , status = Fail , start = 2021-07-14 00:00:17.026999803 UTC , finish = 2021-07-14 00:00:18.088817174 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 20 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 517} , self = 303 , parent = Just 297 , duration = 1.071644961000 , status = Fail , start = 2021-07-13 23:59:46.144977206 UTC , finish = 2021-07-13 23:59:47.216622167 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 15 , alphabet_size = 12 , total_length = 517} , self = 298 , parent = Just 295 , duration = 1.197033802000 , status = Fail , start = 2021-07-13 23:59:45.584524978 UTC , finish = 2021-07-13 23:59:46.78155878 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '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 = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 2464} , self = 311 , parent = Just 308 , duration = 2.942522518000 , status = Fail , start = 2021-07-13 23:59:47.62361216 UTC , finish = 2021-07-13 23:59:50.566134678 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 2464} , self = 313 , parent = Just 310 , duration = 3.098384995000 , status = Fail , start = 2021-07-13 23:59:50.176039669 UTC , finish = 2021-07-13 23:59:53.274424664 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '8' ] , 3 , False )} **************************************************