/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 3 rules on 2 letters mirror SRS with 3 rules on 2 letters DP SRS with 8 strict rules and 3 weak rules on 3 letters EDG SRS with 8 strict rules and 3 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 5 strict rules and 3 weak rules on 3 letters EDG SRS with 5 strict rules and 3 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 3 strict rules and 3 weak rules on 3 letters EDG SRS with 3 strict rules and 3 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 1 strict rules and 3 weak rules on 3 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [b, b, b] -> [b, b, a, b, a, b, a, b] {- Input 0 -} [b, a, b, b] -> [b, a, b, a, b, a, a, b] {- Input 1 -} [b, b, a, b, a, b, a, a, b] -> [b, b, b, b, a, b] {- Input 2 -} reason mirror property Termination has value Just True for SRS [b, b, b] -> [b, a, b, a, b, a, b, b] {- Mirror (Input 0) -} [b, b, a, b] -> [b, a, a, b, a, b, a, b] {- Mirror (Input 1) -} [b, a, a, b, a, b, a, b, b] -> [b, a, b, b, b, b] {- Mirror (Input 2) -} reason DP property Termination has value Just True for SRS [b, b, b] ->= [b, a, b, a, b, a, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, a, b, a, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, a, a, b, a, b, a, b, b] ->= [ b , a , b , b , b , b ] {- DP Nontop (Mirror (Input 2)) -} [b#, b, b] |-> [b#, a, b, b] {- DP (Top 4) (Mirror (Input 0)) -} [b#, b, b] |-> [b#, a, b, a, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b#, b, b] |-> [b#, a, b, a, b, a, b, b] {- DP (Top 0) (Mirror (Input 0)) -} [b#, b, a, b] |-> [b#, a, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b#, b, a, b] |-> [b#, a, a, b, a, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b#, a, a, b, a, b, a, b, b] |-> [b#, b, b] {- DP (Top 3) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , b , b , b ] {- DP (Top 2) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , a , b , b , b , b ] {- DP (Top 0) (Mirror (Input 2)) -} reason EDG property Termination has value Just True for SRS [b#, b, b] |-> [b#, a, b, b] {- DP (Top 4) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , a , b , b , b , b ] {- DP (Top 0) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , b , b , b ] {- DP (Top 2) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [b#, b, b] {- DP (Top 3) (Mirror (Input 2)) -} [b#, b, a, b] |-> [b#, a, a, b, a, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b#, b, a, b] |-> [b#, a, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b#, b, b] |-> [b#, a, b, a, b, a, b, b] {- DP (Top 0) (Mirror (Input 0)) -} [b#, b, b] |-> [b#, a, b, a, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b, b, b] ->= [b, a, b, a, b, a, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, a, b, a, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, a, a, b, a, b, a, b, b] ->= [ b , a , b , b , b , b ] {- DP Nontop (Mirror (Input 2)) -} reason ( b , Wk / 0 0 1 0 \ | 0 0 0 1 | | 0 0 0 1 | \ 0 0 0 1 / ) ( a , Wk / 1 1 0 0 \ | 1 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) ( b# , Wk / 0 1 0 5 \ | 0 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) property Termination has value Just True for SRS [b#, b, b] |-> [b#, a, b, b] {- DP (Top 4) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , a , b , b , b , b ] {- DP (Top 0) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , b , b , b ] {- DP (Top 2) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [b#, b, b] {- DP (Top 3) (Mirror (Input 2)) -} [b#, b, a, b] |-> [b#, a, a, b, a, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b, b, b] ->= [b, a, b, a, b, a, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, a, b, a, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, a, a, b, a, b, a, b, b] ->= [ b , a , b , b , b , b ] {- DP Nontop (Mirror (Input 2)) -} reason EDG property Termination has value Just True for SRS [b#, b, b] |-> [b#, a, b, b] {- DP (Top 4) (Mirror (Input 0)) -} [b#, a, a, b, a, b, a, b, b] |-> [b#, b, b] {- DP (Top 3) (Mirror (Input 2)) -} [b#, b, a, b] |-> [b#, a, a, b, a, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , b , b , b ] {- DP (Top 2) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , a , b , b , b , b ] {- DP (Top 0) (Mirror (Input 2)) -} [b, b, b] ->= [b, a, b, a, b, a, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, a, b, a, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, a, a, b, a, b, a, b, b] ->= [ b , a , b , b , b , b ] {- DP Nontop (Mirror (Input 2)) -} reason ( b , Wk / 0 0 0 4 \ | 0 0 0 0 | | 0 0 0 1 | \ 0 0 0 1 / ) ( a , Wk / 0 0 1 1 \ | 0 1 0 0 | | 0 0 0 3 | \ 0 0 0 1 / ) ( b# , Wk / 1 7 0 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, a, b, a, b, b] |-> [b#, b, b] {- DP (Top 3) (Mirror (Input 2)) -} [b#, b, a, b] |-> [b#, a, a, b, a, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , b , b , b ] {- DP (Top 2) (Mirror (Input 2)) -} [b, b, b] ->= [b, a, b, a, b, a, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, a, b, a, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, a, a, b, a, b, a, b, b] ->= [ b , a , b , b , b , b ] {- DP Nontop (Mirror (Input 2)) -} reason EDG property Termination has value Just True for SRS [b#, a, a, b, a, b, a, b, b] |-> [b#, b, b] {- DP (Top 3) (Mirror (Input 2)) -} [b#, a, a, b, a, b, a, b, b] |-> [ b# , b , b , b ] {- DP (Top 2) (Mirror (Input 2)) -} [b#, b, a, b] |-> [b#, a, a, b, a, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b, b, b] ->= [b, a, b, a, b, a, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, a, b, a, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, a, a, b, a, b, a, b, b] ->= [ b , a , b , b , b , b ] {- DP Nontop (Mirror (Input 2)) -} reason ( b , Wk / 0A 1A - - - 0A - 0A \ | - - - - - 0A 0A 0A | | 0A - 0A 1A 0A 1A - 1A | | - 0A - - - 0A - - | | - 0A 0A 1A 0A 0A - 0A | | - 0A - - - 0A 0A 0A | | - - - - - - - 0A | \ - - - - - - - 0A / ) ( a , Wk / - 0A - - - - 0A 0A \ | - - - - - - - - | | 0A - - 0A - - 0A - | | - - - 0A - - - - | | 0A - - 0A - - 0A - | | - - - - - - - - | | - - - 1A 0A - - - | \ - - - - - - - 0A / ) ( b# , Wk / - - - - - 0A 0A 0A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, a, a, b, a, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b, b, b] ->= [b, a, b, a, b, a, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, a, b, a, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, a, a, b, a, b, a, b, b] ->= [ b , a , b , b , b , b ] {- DP Nontop (Mirror (Input 2)) -} reason EDG ************************************************** skeleton: \Mirror(3,2)\Deepee\EDG(8/3,3)\Matrix{\Natural}{4}\EDG(5/3,3)\Matrix{\Natural}{4}\EDG(3/3,3)\Matrix{\Arctic}{8}(1/3,3)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 8.709320845000 min duration 5.803345905000 total durat. 22.170798805000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 127 , parent = Just 12 , duration = 5.803345905000 , status = Fail , start = 2021-07-13 23:40:32.35257819 UTC , finish = 2021-07-13 23:40:38.155924095 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 51} , self = 541 , parent = Just 520 , duration = 7.658132055000 , status = Fail , start = 2021-07-13 23:44:01.029957736 UTC , finish = 2021-07-13 23:44:08.688089791 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '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 = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 143 , parent = Just 18 , duration = 8.709320845000 , status = Fail , start = 2021-07-13 23:40:32.358948954 UTC , finish = 2021-07-13 23:40:41.068269799 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '3' ] , 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 3 max duration 10.996640642000 min duration 10.009693231000 total durat. 31.017947458000 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 = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 258 , parent = Just 206 , duration = 10.009693231000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:40:55.812914455 UTC , finish = 2021-07-13 23:41:05.822607686 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 517 , parent = Just 501 , duration = 10.011613585000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:43:49.861559292 UTC , finish = 2021-07-13 23:43:59.873172877 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '3' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 342 , parent = Just 301 , duration = 10.996640642000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:23.364130065 UTC , finish = 2021-07-13 23:41:34.360770707 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '4' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 111.581888467000 min duration 68.809657361000 total durat. 180.391545828000 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 = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 557 , parent = Just 301 , duration = 68.809657361000 , status = Success , start = 2021-07-13 23:43:09.204879419 UTC , finish = 2021-07-13 23:44:18.01453678 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 499 , parent = Just 12 , duration = 111.581888467000 , status = Success , start = 2021-07-13 23:41:58.236762287 UTC , finish = 2021-07-13 23:43:49.818650754 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '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 = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 64.781668813000 min duration 50.057192737000 total durat. 114.838861550000 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 = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 397 , parent = Just 12 , duration = 50.057192737000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:08.169634712 UTC , finish = 2021-07-13 23:41:58.226827449 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 468 , parent = Just 301 , duration = 64.781668813000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:42:04.416558516 UTC , finish = 2021-07-13 23:43:09.198227329 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '0' ] , 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 5 max duration 30.039106779000 min duration 1.126708630000 total durat. 93.459304491000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 521 , parent = Just 501 , duration = 1.126708630000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:43:59.879429989 UTC , finish = 2021-07-13 23:44:01.006138619 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '0' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 205 , parent = Just 18 , duration = 14.743492682000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:40:41.068518063 UTC , finish = 2021-07-13 23:40:55.812010745 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '7' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 302 , parent = Just 206 , duration = 17.540661429000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:05.822791595 UTC , finish = 2021-07-13 23:41:23.363453024 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '3' ] , 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 = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 259 , parent = Just 12 , duration = 30.009334971000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:40:38.159822008 UTC , finish = 2021-07-13 23:41:08.169156979 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '7' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 407 , parent = Just 301 , duration = 30.039106779000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:34.377208387 UTC , finish = 2021-07-13 23:42:04.416315166 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '9' ] , 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 2 max duration 116.343652846000 min duration 92.106840658000 total durat. 208.450493504000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 560 , parent = Just 301 , duration = 92.106840658000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:42:45.915720712 UTC , finish = 2021-07-13 23:44:18.02256137 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 502 , parent = Just 12 , duration = 116.343652846000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:53.49174861 UTC , finish = 2021-07-13 23:43:49.835401456 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '9' ] , 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.602897249000 min duration 50.044321752000 total durat. 100.647219001000 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 = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 393 , parent = Just 12 , duration = 50.044321752000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:03.446817359 UTC , finish = 2021-07-13 23:41:53.491139111 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 450 , parent = Just 301 , duration = 50.602897249000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:55.305227785 UTC , finish = 2021-07-13 23:42:45.908125034 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '7' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 22.110128543000 min duration 21.857738974000 total durat. 43.967867517000 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 = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 202 , parent = Just 18 , duration = 21.857738974000 , status = Success , start = 2021-07-13 23:40:33.914490298 UTC , finish = 2021-07-13 23:40:55.772229272 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '2' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 298 , parent = Just 206 , duration = 22.110128543000 , status = Success , start = 2021-07-13 23:41:01.241693846 UTC , finish = 2021-07-13 23:41:23.351822389 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '4' ] , 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.055880275000 min duration 9.067926930000 total durat. 69.153148506000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 522 , parent = Just 501 , duration = 9.067926930000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:43:51.946351833 UTC , finish = 2021-07-13 23:44:01.014278763 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 239 , parent = Just 12 , duration = 30.029341301000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:40:33.412515247 UTC , finish = 2021-07-13 23:41:03.441856548 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' , '3' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 396 , parent = Just 301 , duration = 30.055880275000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:41:25.243327237 UTC , finish = 2021-07-13 23:41:55.299207512 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 6 max duration 5.428397633000 min duration 1.059618610000 total durat. 13.198886921000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 63 , parent = Just 12 , duration = 1.059618610000 , status = Fail , start = 2021-07-13 23:40:32.352543668 UTC , finish = 2021-07-13 23:40:33.412162278 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 51} , self = 529 , parent = Just 520 , duration = 1.200529408000 , status = Fail , start = 2021-07-13 23:44:01.029983899 UTC , finish = 2021-07-13 23:44:02.230513307 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '7' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 72 , parent = Just 18 , duration = 1.552868274000 , status = Fail , start = 2021-07-13 23:40:32.358912966 UTC , finish = 2021-07-13 23:40:33.91178124 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 321 , parent = Just 301 , duration = 1.873443785000 , status = Fail , start = 2021-07-13 23:41:23.3696188 UTC , finish = 2021-07-13 23:41:25.243062585 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 509 , parent = Just 501 , duration = 2.084029211000 , status = Fail , start = 2021-07-13 23:43:49.86158557 UTC , finish = 2021-07-13 23:43:51.945614781 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 232 , parent = Just 206 , duration = 5.428397633000 , status = Fail , start = 2021-07-13 23:40:55.812923694 UTC , finish = 2021-07-13 23:41:01.241321327 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '3' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 6 max duration 2.851203408000 min duration 0.789780321000 total durat. 8.769609960000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 66 , parent = Just 18 , duration = 1.135774195000 , status = Fail , start = 2021-07-13 23:40:32.358895124 UTC , finish = 2021-07-13 23:40:33.494669319 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '6' ] , 0 , True )} Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 310 , parent = Just 301 , duration = 1.464364516000 , status = Fail , start = 2021-07-13 23:41:23.364051059 UTC , finish = 2021-07-13 23:41:24.828415575 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '6' ] , 0 , True )} Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 508 , parent = Just 501 , duration = 1.594718503000 , status = Fail , start = 2021-07-13 23:43:49.861355166 UTC , finish = 2021-07-13 23:43:51.456073669 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '5' ] , 0 , True )} Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 223 , parent = Just 206 , duration = 2.851203408000 , status = Fail , start = 2021-07-13 23:40:55.812834884 UTC , finish = 2021-07-13 23:40:58.664038292 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '3' ] , 0 , True )} Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 9.525739672000 min duration 9.525739672000 total durat. 9.525739672000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 518 , parent = Just 501 , duration = 9.525739672000 , status = Success , start = 2021-07-13 23:43:51.464994451 UTC , finish = 2021-07-13 23:44:00.990734123 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '2' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 5 max duration 10.071444278000 min duration 4.145194049000 total durat. 32.583642111000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 116 , parent = Just 12 , duration = 4.145194049000 , status = Fail , start = 2021-07-13 23:40:33.142663053 UTC , finish = 2021-07-13 23:40:37.287857102 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '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 = 1 , num_top_rules = 1 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 51} , self = 538 , parent = Just 520 , duration = 4.367048101000 , status = Fail , start = 2021-07-13 23:44:01.970854996 UTC , finish = 2021-07-13 23:44:06.337903097 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '0' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 134 , parent = Just 18 , duration = 6.366433780000 , status = Fail , start = 2021-07-13 23:40:33.494862749 UTC , finish = 2021-07-13 23:40:39.861296529 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' , '8' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 336 , parent = Just 301 , duration = 7.633521903000 , status = Fail , start = 2021-07-13 23:41:24.82879093 UTC , finish = 2021-07-13 23:41:32.462312833 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '4' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 260 , parent = Just 206 , duration = 10.071444278000 , status = Fail , start = 2021-07-13 23:40:58.664428119 UTC , finish = 2021-07-13 23:41:08.735872397 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '4' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 25.818805410000 min duration 14.627043507000 total durat. 73.927830200000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 300 , parent = Just 206 , duration = 14.627043507000 , status = Fail , start = 2021-07-13 23:41:08.736074067 UTC , finish = 2021-07-13 23:41:23.363117574 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '1' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 204 , parent = Just 18 , duration = 15.941665717000 , status = Fail , start = 2021-07-13 23:40:39.861543037 UTC , finish = 2021-07-13 23:40:55.803208754 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '6' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 196 , parent = Just 12 , duration = 17.540315566000 , status = Fail , start = 2021-07-13 23:40:37.288251172 UTC , finish = 2021-07-13 23:40:54.828566738 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '9' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 398 , parent = Just 301 , duration = 25.818805410000 , status = Fail , start = 2021-07-13 23:41:32.46254797 UTC , finish = 2021-07-13 23:41:58.28135338 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '9' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 81.209748275000 min duration 78.612610328000 total durat. 159.822358603000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 413 , parent = Just 12 , duration = 78.612610328000 , status = Fail , start = 2021-07-13 23:40:54.829185889 UTC , finish = 2021-07-13 23:42:13.441796217 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '1' ] , 0 , True )} Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 472 , parent = Just 301 , duration = 81.209748275000 , status = Fail , start = 2021-07-13 23:41:58.281528084 UTC , finish = 2021-07-13 23:43:19.491276359 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '4' ] , 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 13 max duration 47.888650978000 min duration 0.049228081000 total durat. 139.071890173000 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 = 152 , num_strict_rules = 152 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 2552} , self = 110 , parent = Just 65 , duration = 2.221508827000 , status = Success , start = 2021-07-13 23:40:34.075880328 UTC , finish = 2021-07-13 23:40:36.297389155 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '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 = 138 , num_strict_rules = 138 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 2304} , self = 144 , parent = Just 118 , duration = 3.028688402000 , status = Success , start = 2021-07-13 23:40:38.139225922 UTC , finish = 2021-07-13 23:40:41.167914324 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 93 , num_strict_rules = 93 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1608} , self = 174 , parent = Just 145 , duration = 5.588622904000 , status = Success , start = 2021-07-13 23:40:41.536120242 UTC , finish = 2021-07-13 23:40:47.124743146 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '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 = 152 , num_strict_rules = 152 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 2552} , self = 228 , parent = Just 65 , duration = 6.789227529000 , status = Success , start = 2021-07-13 23:40:53.822095192 UTC , finish = 2021-07-13 23:41:00.611322721 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 96 , num_strict_rules = 96 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 1656} , self = 267 , parent = Just 229 , duration = 10.328872199000 , status = Success , start = 2021-07-13 23:41:03.596024805 UTC , finish = 2021-07-13 23:41:13.924897004 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 60 , num_strict_rules = 60 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 1008} , self = 361 , parent = Just 325 , duration = 10.583827333000 , status = Success , start = 2021-07-13 23:41:31.099722791 UTC , finish = 2021-07-13 23:41:41.683550124 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 209 , num_strict_rules = 209 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 3927} , self = 365 , parent = Just 74 , duration = 22.218993949000 , status = Success , start = 2021-07-13 23:41:22.894419949 UTC , finish = 2021-07-13 23:41:45.113413898 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '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 = 209 , num_strict_rules = 209 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 3927} , self = 418 , parent = Just 74 , duration = 28.552411200000 , status = Success , start = 2021-07-13 23:41:51.370265306 UTC , finish = 2021-07-13 23:42:19.922676506 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 176 , num_strict_rules = 176 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 3311} , self = 470 , parent = Just 419 , duration = 47.888650978000 , status = Success , start = 2021-07-13 23:42:22.339323279 UTC , finish = 2021-07-13 23:43:10.227974257 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '9' ] , 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 113.476133533000 min duration 0.853853836000 total durat. 148.909188902000 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 = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 315} , self = 104 , parent = Just 44 , duration = 1.241074855000 , status = Success , start = 2021-07-13 23:40:34.923732678 UTC , finish = 2021-07-13 23:40:36.164807533 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '0' ] , 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 = 5 , total_length = 236} , self = 156 , parent = Just 105 , duration = 7.135290344000 , status = Success , start = 2021-07-13 23:40:36.214737839 UTC , finish = 2021-07-13 23:40:43.350028183 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 93 , num_strict_rules = 93 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1608} , self = 324 , parent = Just 145 , duration = 26.202836334000 , status = Success , start = 2021-07-13 23:41:03.62636428 UTC , finish = 2021-07-13 23:41:29.829200614 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 60 , num_strict_rules = 60 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 1008} , self = 480 , parent = Just 325 , duration = 113.476133533000 , status = Success , start = 2021-07-13 23:41:30.334508001 UTC , finish = 2021-07-13 23:43:23.810641534 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '9' ] , 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 15 max duration 59.233465197000 min duration 0.070103831000 total durat. 194.200246771000 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 = 5 , total_length = 236} , self = 121 , parent = Just 105 , duration = 1.206080152000 , status = Success , start = 2021-07-13 23:40:36.480393217 UTC , finish = 2021-07-13 23:40:37.686473369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 138 , num_strict_rules = 138 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 2304} , self = 153 , parent = Just 118 , duration = 4.531479395000 , status = Success , start = 2021-07-13 23:40:38.573798991 UTC , finish = 2021-07-13 23:40:43.105278386 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '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 = 152 , num_strict_rules = 152 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 2552} , self = 137 , parent = Just 65 , duration = 4.999266399000 , status = Success , start = 2021-07-13 23:40:34.924041483 UTC , finish = 2021-07-13 23:40:39.923307882 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 93 , num_strict_rules = 93 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1608} , self = 184 , parent = Just 145 , duration = 7.416342732000 , status = Success , start = 2021-07-13 23:40:41.954825525 UTC , finish = 2021-07-13 23:40:49.371168257 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '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 = 138 , num_strict_rules = 138 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 2304} , self = 242 , parent = Just 118 , duration = 8.958906785000 , status = Success , start = 2021-07-13 23:40:54.796647303 UTC , finish = 2021-07-13 23:41:03.755554088 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 96 , num_strict_rules = 96 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 1656} , self = 273 , parent = Just 229 , duration = 13.795327382000 , status = Success , start = 2021-07-13 23:41:03.839644787 UTC , finish = 2021-07-13 23:41:17.634972169 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 60 , num_strict_rules = 60 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 1008} , self = 367 , parent = Just 325 , duration = 14.447069915000 , status = Success , start = 2021-07-13 23:41:30.772407515 UTC , finish = 2021-07-13 23:41:45.21947743 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 138 , num_strict_rules = 138 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 2304} , self = 354 , parent = Just 118 , duration = 15.410154323000 , status = Success , start = 2021-07-13 23:41:23.056316346 UTC , finish = 2021-07-13 23:41:38.466470669 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 138 , num_strict_rules = 138 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 2304} , self = 414 , parent = Just 118 , duration = 23.363016129000 , status = Success , start = 2021-07-13 23:41:51.370303411 UTC , finish = 2021-07-13 23:42:14.73331954 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 209 , num_strict_rules = 209 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 3927} , self = 462 , parent = Just 74 , duration = 39.208238886000 , status = Success , start = 2021-07-13 23:42:15.320200102 UTC , finish = 2021-07-13 23:42:54.528438988 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '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 = 176 , num_strict_rules = 176 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 3311} , self = 473 , parent = Just 419 , duration = 59.233465197000 , status = Success , start = 2021-07-13 23:42:23.133055477 UTC , finish = 2021-07-13 23:43:22.366520674 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '4' ] , 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 6 max duration 117.135837287000 min duration 0.975804232000 total durat. 172.188224104000 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 = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 315} , self = 113 , parent = Just 44 , duration = 1.987148882000 , status = Success , start = 2021-07-13 23:40:34.923872333 UTC , finish = 2021-07-13 23:40:36.911021215 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 21 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 315} , self = 261 , parent = Just 44 , duration = 5.367410100000 , status = Success , start = 2021-07-13 23:41:03.939597544 UTC , finish = 2021-07-13 23:41:09.307007644 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '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 = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 236} , self = 162 , parent = Just 105 , duration = 7.421957568000 , status = Success , start = 2021-07-13 23:40:36.247678765 UTC , finish = 2021-07-13 23:40:43.669636333 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 93 , num_strict_rules = 93 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1608} , self = 376 , parent = Just 145 , duration = 39.300066035000 , status = Success , start = 2021-07-13 23:41:09.357482481 UTC , finish = 2021-07-13 23:41:48.657548516 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '6' ] , 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 = 60 , num_strict_rules = 60 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 11 , total_length = 1008} , self = 483 , parent = Just 325 , duration = 117.135837287000 , status = Success , start = 2021-07-13 23:41:30.658225089 UTC , finish = 2021-07-13 23:43:27.794062376 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '4' ] , 3 , True )} Fail : Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 4 max duration 133.615820286000 min duration 64.593738581000 total durat. 376.907317953000 Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 351 , parent = Just 12 , duration = 64.593738581000 , status = Fail , start = 2021-07-13 23:40:32.356958488 UTC , finish = 2021-07-13 23:41:36.950697069 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 399 , parent = Just 18 , duration = 86.540893747000 , status = Fail , start = 2021-07-13 23:40:32.371209294 UTC , finish = 2021-07-13 23:41:58.912103041 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 446} , self = 467 , parent = Just 179 , duration = 92.156865339000 , status = Fail , start = 2021-07-13 23:41:36.974626275 UTC , finish = 2021-07-13 23:43:09.131491614 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 469 , parent = Just 206 , duration = 133.615820286000 , status = Fail , start = 2021-07-13 23:40:55.857275181 UTC , finish = 2021-07-13 23:43:09.473095467 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '7' ] , 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 35 max duration 90.289002727000 min duration 0.309868324000 total durat. 889.349624284000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 313 , parent = Just 287 , duration = 1.371139693000 , status = Success , start = 2021-07-13 23:41:23.508002483 UTC , finish = 2021-07-13 23:41:24.879142176 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 = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 308 , parent = Just 301 , duration = 1.384174442000 , status = Success , start = 2021-07-13 23:41:23.390341946 UTC , finish = 2021-07-13 23:41:24.774516388 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 51} , self = 530 , parent = Just 520 , duration = 1.669609068000 , status = Success , start = 2021-07-13 23:44:01.09442367 UTC , finish = 2021-07-13 23:44:02.764032738 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 510 , parent = Just 501 , duration = 2.181343625000 , status = Success , start = 2021-07-13 23:43:49.951118762 UTC , finish = 2021-07-13 23:43:52.132462387 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 48 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 711} , self = 88 , parent = Just 38 , duration = 2.262436324000 , status = Success , start = 2021-07-13 23:40:32.861104208 UTC , finish = 2021-07-13 23:40:35.123540532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 60 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 36 , alphabet_size = 9 , total_length = 840} , self = 96 , parent = Just 40 , duration = 2.381283018000 , status = Success , start = 2021-07-13 23:40:32.926028501 UTC , finish = 2021-07-13 23:40:35.307311519 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 39 , num_strict_rules = 11 , num_top_rules = 11 , num_weak_rules = 28 , alphabet_size = 8 , total_length = 590} , self = 130 , parent = Just 89 , duration = 3.959782778000 , status = Success , start = 2021-07-13 23:40:35.254836252 UTC , finish = 2021-07-13 23:40:39.21461903 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 54 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 759} , self = 135 , parent = Just 97 , duration = 4.429106117000 , status = Success , start = 2021-07-13 23:40:35.44827395 UTC , finish = 2021-07-13 23:40:39.877380067 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 45 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 36 , alphabet_size = 9 , total_length = 657} , self = 233 , parent = Just 169 , duration = 6.013583869000 , status = Success , start = 2021-07-13 23:40:55.48374154 UTC , finish = 2021-07-13 23:41:01.497325409 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 39 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 576} , self = 188 , parent = Just 158 , duration = 6.771267579000 , status = Success , start = 2021-07-13 23:40:45.125223651 UTC , finish = 2021-07-13 23:40:51.89649123 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 51 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 36 , alphabet_size = 9 , total_length = 735} , self = 247 , parent = Just 216 , duration = 7.052481496000 , status = Success , start = 2021-07-13 23:40:57.070394005 UTC , finish = 2021-07-13 23:41:04.122875501 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 30 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 446} , self = 221 , parent = Just 179 , duration = 7.569805232000 , status = Success , start = 2021-07-13 23:40:50.476890303 UTC , finish = 2021-07-13 23:40:58.046695535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 45 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 654} , self = 265 , parent = Just 248 , duration = 8.971689915000 , status = Success , start = 2021-07-13 23:41:04.403256551 UTC , finish = 2021-07-13 23:41:13.374946466 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 32 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 24 , alphabet_size = 8 , total_length = 469} , self = 330 , parent = Just 278 , duration = 9.938994921000 , status = Success , start = 2021-07-13 23:41:20.665067445 UTC , finish = 2021-07-13 23:41:30.604062366 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 45 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 36 , alphabet_size = 9 , total_length = 657} , self = 345 , parent = Just 309 , duration = 10.172338099000 , status = Success , start = 2021-07-13 23:41:25.236868219 UTC , finish = 2021-07-13 23:41:35.409206318 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 = 32 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 24 , alphabet_size = 8 , total_length = 469} , self = 448 , parent = Just 434 , duration = 10.237094859000 , status = Success , start = 2021-07-13 23:42:35.437042338 UTC , finish = 2021-07-13 23:42:45.674137197 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 45 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 36 , alphabet_size = 9 , total_length = 657} , self = 391 , parent = Just 314 , duration = 11.657057518000 , status = Success , start = 2021-07-13 23:41:41.659974397 UTC , finish = 2021-07-13 23:41:53.317031915 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 39 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 576} , self = 352 , parent = Just 283 , duration = 12.670726764000 , status = Success , start = 2021-07-13 23:41:25.360742652 UTC , finish = 2021-07-13 23:41:38.031469416 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 32 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 24 , alphabet_size = 8 , total_length = 469} , self = 440 , parent = Just 427 , duration = 13.271176628000 , status = Success , start = 2021-07-13 23:42:26.98666082 UTC , finish = 2021-07-13 23:42:40.257837448 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 39 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 576} , self = 381 , parent = Just 346 , duration = 13.572130039000 , status = Success , start = 2021-07-13 23:41:35.738453193 UTC , finish = 2021-07-13 23:41:49.310583232 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 45 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 672} , self = 544 , parent = Just 511 , duration = 19.011662266000 , status = Success , start = 2021-07-13 23:43:53.296885731 UTC , finish = 2021-07-13 23:44:12.308547997 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 236 , num_strict_rules = 27 , num_top_rules = 27 , num_weak_rules = 209 , alphabet_size = 21 , total_length = 3977} , self = 293 , parent = Just 131 , duration = 41.388632947000 , status = Success , start = 2021-07-13 23:40:40.981894611 UTC , finish = 2021-07-13 23:41:22.370527558 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 272 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 248 , alphabet_size = 24 , total_length = 4544} , self = 334 , parent = Just 146 , duration = 48.256247938000 , status = Success , start = 2021-07-13 23:40:43.541006159 UTC , finish = 2021-07-13 23:41:31.797254097 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 216 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 192 , alphabet_size = 18 , total_length = 3618} , self = 403 , parent = Just 222 , duration = 60.460968220000 , status = Success , start = 2021-07-13 23:41:01.625779494 UTC , finish = 2021-07-13 23:42:02.086747714 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 248 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 224 , alphabet_size = 23 , total_length = 4144} , self = 410 , parent = Just 189 , duration = 64.270915560000 , status = Success , start = 2021-07-13 23:41:01.657555805 UTC , finish = 2021-07-13 23:42:05.928471365 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 230 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 207 , alphabet_size = 20 , total_length = 3832} , self = 456 , parent = Just 331 , duration = 77.238061937000 , status = Success , start = 2021-07-13 23:41:33.862711587 UTC , finish = 2021-07-13 23:42:51.100773524 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 272 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 248 , alphabet_size = 24 , total_length = 4544} , self = 446 , parent = Just 270 , duration = 85.241461560000 , status = Success , start = 2021-07-13 23:41:20.227938204 UTC , finish = 2021-07-13 23:42:45.469399764 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 150 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 129 , alphabet_size = 18 , total_length = 2598} , self = 485 , parent = Just 404 , duration = 85.926958781000 , status = Success , start = 2021-07-13 23:42:05.493411023 UTC , finish = 2021-07-13 23:43:31.420369804 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 230 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 207 , alphabet_size = 20 , total_length = 3832} , self = 548 , parent = Just 441 , duration = 88.463716385000 , status = Success , start = 2021-07-13 23:42:44.224645748 UTC , finish = 2021-07-13 23:44:12.688362133 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 248 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 224 , alphabet_size = 23 , total_length = 4144} , self = 477 , parent = Just 353 , duration = 89.303155103000 , status = Success , start = 2021-07-13 23:41:54.012243372 UTC , finish = 2021-07-13 23:43:23.315398475 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 248 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 224 , alphabet_size = 23 , total_length = 4144} , self = 475 , parent = Just 382 , duration = 90.289002727000 , status = Success , start = 2021-07-13 23:41:52.458173022 UTC , finish = 2021-07-13 23:43:22.747175749 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '2' ] , 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 18 max duration 73.682883372000 min duration 2.055242397000 total durat. 489.600278382000 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 = 4 , num_top_rules = 4 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 91} , self = 80 , parent = Just 12 , duration = 2.055242397000 , status = Success , start = 2021-07-13 23:40:32.356724527 UTC , finish = 2021-07-13 23:40:34.411966924 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 11 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 126} , self = 94 , parent = Just 18 , duration = 2.904569538000 , status = Success , start = 2021-07-13 23:40:32.371134531 UTC , finish = 2021-07-13 23:40:35.275704069 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 176 , parent = Just 164 , duration = 4.763822262000 , status = Success , start = 2021-07-13 23:40:43.759588986 UTC , finish = 2021-07-13 23:40:48.523411248 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 = 8 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 97} , self = 249 , parent = Just 206 , duration = 8.282900836000 , status = Success , start = 2021-07-13 23:40:55.857205303 UTC , finish = 2021-07-13 23:41:04.140106139 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 = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 332 , parent = Just 287 , duration = 10.495521874000 , status = Success , start = 2021-07-13 23:41:20.842806574 UTC , finish = 2021-07-13 23:41:31.338328448 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '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 = 4 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 51} , self = 542 , parent = Just 520 , duration = 10.800089648000 , status = Success , start = 2021-07-13 23:44:01.094445196 UTC , finish = 2021-07-13 23:44:11.894534844 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 = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 75} , self = 343 , parent = Just 301 , duration = 11.415984578000 , status = Success , start = 2021-07-13 23:41:23.390363964 UTC , finish = 2021-07-13 23:41:34.806348542 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 39 , num_strict_rules = 11 , num_top_rules = 11 , num_weak_rules = 28 , alphabet_size = 8 , total_length = 590} , self = 178 , parent = Just 89 , duration = 11.489909335000 , status = Success , start = 2021-07-13 23:40:37.52538081 UTC , finish = 2021-07-13 23:40:49.015290145 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 6 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 3 , alphabet_size = 3 , total_length = 80} , self = 539 , parent = Just 501 , duration = 17.805227977000 , status = Success , start = 2021-07-13 23:43:49.951137368 UTC , finish = 2021-07-13 23:44:07.756365345 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 39 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 576} , self = 277 , parent = Just 158 , duration = 20.252581869000 , status = Success , start = 2021-07-13 23:40:58.748874238 UTC , finish = 2021-07-13 23:41:19.001456107 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '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 = 54 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 759} , self = 255 , parent = Just 97 , duration = 21.142649785000 , status = Success , start = 2021-07-13 23:40:43.54084326 UTC , finish = 2021-07-13 23:41:04.683493045 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '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 = 30 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 446} , self = 311 , parent = Just 179 , duration = 35.632661052000 , status = Success , start = 2021-07-13 23:40:49.228639975 UTC , finish = 2021-07-13 23:41:24.861301027 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 39 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 576} , self = 426 , parent = Just 283 , duration = 38.743147604000 , status = Success , start = 2021-07-13 23:41:47.045681352 UTC , finish = 2021-07-13 23:42:25.788828956 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 39 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 576} , self = 433 , parent = Just 346 , duration = 40.196461000000 , status = Success , start = 2021-07-13 23:41:51.370287375 UTC , finish = 2021-07-13 23:42:31.566748375 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '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 = 45 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 30 , alphabet_size = 9 , total_length = 654} , self = 400 , parent = Just 248 , duration = 40.995298246000 , status = Success , start = 2021-07-13 23:41:20.234219234 UTC , finish = 2021-07-13 23:42:01.22951748 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 32 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 24 , alphabet_size = 8 , total_length = 469} , self = 424 , parent = Just 278 , duration = 66.265111750000 , status = Success , start = 2021-07-13 23:41:19.230850467 UTC , finish = 2021-07-13 23:42:25.495962217 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 32 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 24 , alphabet_size = 8 , total_length = 469} , self = 488 , parent = Just 427 , duration = 72.676215259000 , status = Success , start = 2021-07-13 23:42:26.105855647 UTC , finish = 2021-07-13 23:43:38.782070906 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 32 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 24 , alphabet_size = 8 , total_length = 469} , self = 493 , parent = Just 434 , duration = 73.682883372000 , status = Success , start = 2021-07-13 23:42:34.701268082 UTC , finish = 2021-07-13 23:43:48.384151454 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '3' ] , 3 , True )} Success : Unlabel { steps = Many, verbose = False, tracing = False} total number 65 max duration 0.327972316000 min duration 0.000003795000 total durat. 1.335658818000 Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 16 max duration 62.735706962000 min duration 0.722412476000 total durat. 207.152548347000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 312 , num_strict_rules = 64 , num_top_rules = 64 , num_weak_rules = 248 , alphabet_size = 24 , total_length = 5112} , self = 146 , parent = Just 136 , duration = 1.361901144000 , status = Success , start = 2021-07-13 23:40:39.877572626 UTC , finish = 2021-07-13 23:40:41.23947377 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 330 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 300 , alphabet_size = 29 , total_length = 6252} , self = 102 , parent = Just 81 , duration = 1.450956530000 , status = Success , start = 2021-07-13 23:40:34.412104521 UTC , finish = 2021-07-13 23:40:35.863061051 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 288 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 248 , alphabet_size = 24 , total_length = 4784} , self = 270 , parent = Just 266 , duration = 3.579651311000 , status = Success , start = 2021-07-13 23:41:13.380812311 UTC , finish = 2021-07-13 23:41:16.960463622 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 517 , num_strict_rules = 88 , num_top_rules = 88 , num_weak_rules = 429 , alphabet_size = 37 , total_length = 9581} , self = 140 , parent = Just 95 , duration = 5.545361026000 , status = Success , start = 2021-07-13 23:40:35.275863601 UTC , finish = 2021-07-13 23:40:40.821224627 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 396 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 363 , alphabet_size = 34 , total_length = 7458} , self = 212 , parent = Just 177 , duration = 7.338599946000 , status = Success , start = 2021-07-13 23:40:48.523538445 UTC , finish = 2021-07-13 23:40:55.862138391 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 324 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 300 , alphabet_size = 29 , total_length = 6150} , self = 556 , parent = Just 540 , duration = 9.341713502000 , status = Success , start = 2021-07-13 23:44:07.75670784 UTC , finish = 2021-07-13 23:44:17.098421342 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 396 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 363 , alphabet_size = 34 , total_length = 7458} , self = 363 , parent = Just 333 , duration = 10.626003242000 , status = Success , start = 2021-07-13 23:41:31.338750905 UTC , finish = 2021-07-13 23:41:41.964754147 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '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 = 484 , num_strict_rules = 55 , num_top_rules = 55 , num_weak_rules = 429 , alphabet_size = 37 , total_length = 9064} , self = 269 , parent = Just 250 , duration = 10.928923592000 , status = Success , start = 2021-07-13 23:41:04.140332312 UTC , finish = 2021-07-13 23:41:15.069255904 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 864 , num_strict_rules = 864 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 17980} , self = 197 , parent = Just 157 , duration = 11.492126202000 , status = Success , start = 2021-07-13 23:40:43.350160861 UTC , finish = 2021-07-13 23:40:54.842287063 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 396 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 363 , alphabet_size = 34 , total_length = 7458} , self = 370 , parent = Just 344 , duration = 11.795108175000 , status = Success , start = 2021-07-13 23:41:34.812037424 UTC , finish = 2021-07-13 23:41:46.607145599 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 864 , num_strict_rules = 864 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 47 , total_length = 17980} , self = 201 , parent = Just 163 , duration = 11.958549182000 , status = Success , start = 2021-07-13 23:40:43.669791897 UTC , finish = 2021-07-13 23:40:55.628341079 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1247 , num_strict_rules = 1247 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 48 , total_length = 25839} , self = 487 , parent = Just 471 , duration = 27.659402683000 , status = Success , start = 2021-07-13 23:43:10.235030886 UTC , finish = 2021-07-13 23:43:37.894433569 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1247 , num_strict_rules = 1247 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 48 , total_length = 25839} , self = 512 , parent = Just 474 , duration = 29.808575226000 , status = Success , start = 2021-07-13 23:43:22.373625626 UTC , finish = 2021-07-13 23:43:52.182200852 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1299 , num_strict_rules = 50 , num_top_rules = 50 , num_weak_rules = 1249 , alphabet_size = 65 , total_length = 27055} , self = 432 , parent = Just 312 , duration = 62.735706962000 , status = Success , start = 2021-07-13 23:41:24.861524554 UTC , finish = 2021-07-13 23:42:27.597231516 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '6' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 84 max duration 13.100944205000 min duration 0.000075709000 total durat. 73.828152037000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 184 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 160 , alphabet_size = 22 , total_length = 3152} , self = 339 , parent = Just 335 , duration = 1.010565020000 , status = Fail , start = 2021-07-13 23:41:31.802863317 UTC , finish = 2021-07-13 23:41:32.813428337 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 176 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 152 , alphabet_size = 21 , total_length = 3000} , self = 482 , parent = Just 478 , duration = 1.039070546000 , status = Fail , start = 2021-07-13 23:43:23.316033793 UTC , finish = 2021-07-13 23:43:24.355104339 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 184 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 160 , alphabet_size = 22 , total_length = 3152} , self = 451 , parent = Just 447 , duration = 1.063633219000 , status = Fail , start = 2021-07-13 23:42:45.469869985 UTC , finish = 2021-07-13 23:42:46.533503204 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 176 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 152 , alphabet_size = 21 , total_length = 3000} , self = 412 , parent = Just 411 , duration = 1.083360133000 , status = Fail , start = 2021-07-13 23:42:05.936311451 UTC , finish = 2021-07-13 23:42:07.019671584 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 170 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 147 , alphabet_size = 20 , total_length = 2904} , self = 458 , parent = Just 457 , duration = 1.139884253000 , status = Fail , start = 2021-07-13 23:42:51.101375193 UTC , finish = 2021-07-13 23:42:52.241259446 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 170 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 147 , alphabet_size = 20 , total_length = 2904} , self = 552 , parent = Just 549 , duration = 1.306623089000 , status = Fail , start = 2021-07-13 23:44:12.688984268 UTC , finish = 2021-07-13 23:44:13.995607357 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '6' , '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 = 176 , num_strict_rules = 176 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 3311} , self = 420 , parent = Just 419 , duration = 1.335869191000 , status = Fail , start = 2021-07-13 23:42:19.929269281 UTC , finish = 2021-07-13 23:42:21.265138472 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '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 = 176 , num_strict_rules = 176 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 3311} , self = 464 , parent = Just 463 , duration = 1.460053778000 , status = Fail , start = 2021-07-13 23:42:54.528781069 UTC , finish = 2021-07-13 23:42:55.988834847 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '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 = 248 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 224 , alphabet_size = 23 , total_length = 4144} , self = 383 , parent = Just 382 , duration = 1.590587949000 , status = Fail , start = 2021-07-13 23:41:49.310981541 UTC , finish = 2021-07-13 23:41:50.90156949 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 216 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 192 , alphabet_size = 18 , total_length = 3618} , self = 226 , parent = Just 222 , duration = 2.015770227000 , status = Fail , start = 2021-07-13 23:40:58.047030835 UTC , finish = 2021-07-13 23:41:00.062801062 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 230 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 207 , alphabet_size = 20 , total_length = 3832} , self = 337 , parent = Just 331 , duration = 2.101091714000 , status = Fail , start = 2021-07-13 23:41:30.609469431 UTC , finish = 2021-07-13 23:41:32.710561145 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 230 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 207 , alphabet_size = 20 , total_length = 3832} , self = 442 , parent = Just 441 , duration = 2.180995416000 , status = Fail , start = 2021-07-13 23:42:40.264615865 UTC , finish = 2021-07-13 23:42:42.445611281 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '0' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 524 , num_strict_rules = 524 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 35 , total_length = 9964} , self = 186 , parent = Just 175 , duration = 2.252030814000 , status = Fail , start = 2021-07-13 23:40:47.124990872 UTC , finish = 2021-07-13 23:40:49.377021686 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 248 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 224 , alphabet_size = 23 , total_length = 4144} , self = 357 , parent = Just 353 , duration = 2.511604478000 , status = Fail , start = 2021-07-13 23:41:38.037268391 UTC , finish = 2021-07-13 23:41:40.548872869 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 230 , num_strict_rules = 23 , num_top_rules = 23 , num_weak_rules = 207 , alphabet_size = 20 , total_length = 3832} , self = 452 , parent = Just 449 , duration = 2.599071678000 , status = Fail , start = 2021-07-13 23:42:45.674550098 UTC , finish = 2021-07-13 23:42:48.273621776 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 248 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 224 , alphabet_size = 23 , total_length = 4144} , self = 194 , parent = Just 189 , duration = 2.652345721000 , status = Fail , start = 2021-07-13 23:40:51.896723045 UTC , finish = 2021-07-13 23:40:54.549068766 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 560 , num_strict_rules = 560 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 37 , total_length = 10640} , self = 291 , parent = Just 274 , duration = 3.134782508000 , status = Fail , start = 2021-07-13 23:41:17.635113624 UTC , finish = 2021-07-13 23:41:20.769896132 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '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 = 416 , num_strict_rules = 416 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 7792} , self = 378 , parent = Just 368 , duration = 3.549602068000 , status = Fail , start = 2021-07-13 23:41:45.219872134 UTC , finish = 2021-07-13 23:41:48.769474202 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 = 560 , num_strict_rules = 560 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 37 , total_length = 10640} , self = 275 , parent = Just 268 , duration = 4.605020956000 , status = Fail , start = 2021-07-13 23:41:13.925182973 UTC , finish = 2021-07-13 23:41:18.530203929 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 524 , num_strict_rules = 524 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 35 , total_length = 9964} , self = 192 , parent = Just 185 , duration = 4.692199880000 , status = Fail , start = 2021-07-13 23:40:49.371462648 UTC , finish = 2021-07-13 23:40:54.063662528 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '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 = 416 , num_strict_rules = 416 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 28 , total_length = 7792} , self = 373 , parent = Just 362 , duration = 5.730443693000 , status = Fail , start = 2021-07-13 23:41:41.684115598 UTC , finish = 2021-07-13 23:41:47.414559291 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '4' , '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 = 792 , num_strict_rules = 44 , num_top_rules = 44 , num_weak_rules = 748 , alphabet_size = 47 , total_length = 15076} , self = 491 , parent = Just 486 , duration = 13.100944205000 , status = Fail , start = 2021-07-13 23:43:31.420595594 UTC , finish = 2021-07-13 23:43:44.521539799 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '0' ] , 3 , False )} **************************************************