/export/starexec/sandbox/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 1 rules on 2 letters DP SRS with 7 strict rules and 1 weak rules on 3 letters EDG SRS with 7 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 2, solver = Minisatapi, verbose = False, tracing = False} SRS with 4 strict rules and 1 weak rules on 3 letters EDG SRS with 4 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 8, solver = Minisatapi, verbose = True, tracing = False} SRS with 3 strict rules and 1 weak rules on 3 letters EDG SRS with 3 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 8, solver = Minisatapi, verbose = True, tracing = False} SRS with 2 strict rules and 1 weak rules on 3 letters EDG SRS with 2 strict rules and 1 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 3, encoding = Ersatz_Binary, dim = 4, solver = Minisatapi, verbose = True, tracing = False} SRS with 0 strict rules and 1 weak rules on 2 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [a, b, a, a, b, a, b, a, a, b] -> [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- Input 0 -} reason DP property Termination has value Just True for SRS [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , a , b , a , a , b , a , b ] {- DP (Top 5) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, a, b, a, b] {- DP (Top 8) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 0) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , a , b , a , a , b , a , b ] {- DP (Top 5) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 0) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, a, b, a, b] {- DP (Top 8) (Input 0) -} [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A 0A \ \ -2A -2A / ) ( b , Wk / 0A 2A \ \ 0A 0A / ) ( a# , Wk / 3A 4A \ \ 3A 4A / ) property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , a , b , a , b ] {- DP (Top 3) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / - - - - 1A 0A 0A 0A \ | - - 0A - - - - 0A | | - - - 0A - - - - | | - - - - - - - - | | - 0A - - - - 0A - | | - - - 1A - - 0A - | | - - 0A - 0A - - - | \ - - - - - - - 0A / ) ( b , Wk / - - 1A - - 0A - 0A \ | 0A - - - - - 0A - | | - - - - - - - 0A | | - 0A - 0A - - - - | | - - 1A 0A - - - - | | - - 0A - 0A - - - | | - - - - - - - - | \ - - - - - - - 0A / ) ( a# , Wk / 0A - - 0A - - - 0A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , b , a , a , b , a , a , b , a , b ] {- DP (Top 1) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0A - 0A - - 0A 0A - \ | - - - - 0A - - - | | - - - 0A - - - - | | - - - - - 0A - - | | - 0A - - - 2A - - | | - - 0A - - 0A 0A - | | - 0A 0A - 0A - - - | \ - - - - - - - 0A / ) ( b , Wk / 0A - - - - 0A - - \ | - - 0A - - - - - | | - - - - - - - - | | 0A - - 0A - - - - | | - 0A - - - - - - | | - - - - - - - - | | - 0A - - - - 0A - | \ - - - - - - - 0A / ) ( a# , Wk / 0A - - - 1A - - - \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason EDG property Termination has value Just True for SRS [a#, b, a, a, b, a, b, a, a, b] |-> [a#, b, a, b] {- DP (Top 9) (Input 0) -} [a#, b, a, a, b, a, b, a, a, b] |-> [ a# , b , a , a , b , a , b ] {- DP (Top 6) (Input 0) -} [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason ( a , Wk / 0 0 1 0 \ | 0 0 0 0 | | 0 1 0 0 | \ 0 0 0 1 / ) ( b , Wk / 2 1 0 0 \ | 1 0 0 1 | | 2 0 0 0 | \ 0 0 0 1 / ) ( a# , Wk / 1 0 0 0 \ | 0 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) property Termination has value Just True for SRS [a, b, a, a, b, a, b, a, a, b] ->= [ a , a , b , a , b , a , a , b , a , a , b , a , b ] {- DP Nontop (Input 0) -} reason EDG ************************************************** skeleton: (1,2)\Deepee\EDG(7/1,3)\Matrix{\Arctic}{2}\EDG(4/1,3)\Matrix{\Arctic}{8}\EDG(3/1,3)\Matrix{\Arctic}{8}\EDG(2/1,3)\Matrix{\Natural}{4}(0/1,2)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} total number 2 max duration 140.391170206000 min duration 126.413765410000 total durat. 266.804935616000 Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 23} , self = 656 , parent = Just 0 , duration = 126.413765410000 , status = Fail , start = 2021-07-13 23:50:20.626696392 UTC , finish = 2021-07-13 23:52:27.040461802 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' ] , 2 , True )} Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 23} , self = 678 , parent = Just 6 , duration = 140.391170206000 , status = Fail , start = 2021-07-13 23:50:20.626747826 UTC , finish = 2021-07-13 23:52:41.017918032 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' ] , 2 , True )} Fail : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 7.529040239000 min duration 4.624451243000 total durat. 24.596125157000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 287 , parent = Just 111 , duration = 4.624451243000 , status = Fail , start = 2021-07-13 23:50:21.595330376 UTC , finish = 2021-07-13 23:50:26.219781619 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 364 , parent = Just 241 , duration = 5.598923717000 , status = Fail , start = 2021-07-13 23:50:24.898963856 UTC , finish = 2021-07-13 23:50:30.497887573 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '6' ] , 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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 885 , parent = Just 869 , duration = 6.843709958000 , status = Fail , start = 2021-07-13 23:54:31.138998187 UTC , finish = 2021-07-13 23:54:37.982708145 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '6' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 693 , parent = Just 671 , duration = 7.529040239000 , status = Fail , start = 2021-07-13 23:52:39.884044718 UTC , finish = 2021-07-13 23:52:47.413084957 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 5.323854233000 min duration 0.961094458000 total durat. 6.284948691000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 275 , parent = Just 18 , duration = 5.323854233000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:20.630662138 UTC , finish = 2021-07-13 23:50:25.954516371 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 53.198426809000 min duration 23.413281751000 total durat. 76.611708560000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 867 , parent = Just 671 , duration = 23.413281751000 , status = Success , start = 2021-07-13 23:54:07.664744143 UTC , finish = 2021-07-13 23:54:31.078025894 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '1' , '2' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 667 , parent = Just 111 , duration = 53.198426809000 , status = Success , start = 2021-07-13 23:51:46.484458814 UTC , finish = 2021-07-13 23:52:39.682885623 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '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 = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 50.134611783000 min duration 50.045340824000 total durat. 150.310259833000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 611 , parent = Just 241 , duration = 50.045340824000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:00.539189184 UTC , finish = 2021-07-13 23:51:50.584530008 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 838 , parent = Just 671 , duration = 50.130307226000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:17.519651047 UTC , finish = 2021-07-13 23:54:07.649958273 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '8' , '3' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 603 , parent = Just 111 , duration = 50.134611783000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:56.306766435 UTC , finish = 2021-07-13 23:51:46.441378218 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '7' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 30.081542504000 min duration 6.441096571000 total durat. 96.628408350000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 901 , parent = Just 869 , duration = 6.441096571000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:37.990059592 UTC , finish = 2021-07-13 23:54:44.431156163 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '0' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 524 , parent = Just 241 , duration = 30.036445815000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:30.498214769 UTC , finish = 2021-07-13 23:51:00.534660584 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 745 , parent = Just 671 , duration = 30.069323460000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:52:47.41382412 UTC , finish = 2021-07-13 23:53:17.48314758 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 508 , parent = Just 111 , duration = 30.081542504000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:26.220337114 UTC , finish = 2021-07-13 23:50:56.301879618 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '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 = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 54.435123200000 min duration 29.860089290000 total durat. 84.295212490000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 876 , parent = Just 671 , duration = 29.860089290000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:54:01.550929873 UTC , finish = 2021-07-13 23:54:31.411019163 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '8' , '8' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 670 , parent = Just 111 , duration = 54.435123200000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:51:45.299030246 UTC , finish = 2021-07-13 23:52:39.734153446 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '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 3 max duration 52.516822083000 min duration 50.030745595000 total durat. 152.694241865000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 604 , parent = Just 241 , duration = 50.030745595000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:56.753110445 UTC , finish = 2021-07-13 23:51:46.78385604 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '2' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 818 , parent = Just 671 , duration = 50.146674187000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:53:11.398040978 UTC , finish = 2021-07-13 23:54:01.544715165 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '6' , '7' ] , 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 602 , parent = Just 111 , duration = 52.516822083000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:52.58235675 UTC , finish = 2021-07-13 23:51:45.099178833 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '3' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 12.287100216000 min duration 12.287100216000 total durat. 12.287100216000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 897 , parent = Just 869 , duration = 12.287100216000 , status = Success , start = 2021-07-13 23:54:32.008053855 UTC , finish = 2021-07-13 23:54:44.295154071 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 4 max duration 30.252388432000 min duration 4.284611842000 total durat. 94.685702068000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 276 , parent = Just 18 , duration = 4.284611842000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:21.677685037 UTC , finish = 2021-07-13 23:50:25.962296879 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 511 , parent = Just 241 , duration = 30.021835833000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:26.726337565 UTC , finish = 2021-07-13 23:50:56.748173398 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 499 , parent = Just 111 , duration = 30.126865961000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:22.423228535 UTC , finish = 2021-07-13 23:50:52.550094496 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '4' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 736 , parent = Just 671 , duration = 30.252388432000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:52:41.134114978 UTC , finish = 2021-07-13 23:53:11.38650341 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '7' , '7' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 5 max duration 1.827062314000 min duration 0.827445520000 total durat. 5.781756360000 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 = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 124 , parent = Just 18 , duration = 1.046783263000 , status = Fail , start = 2021-07-13 23:50:20.630630153 UTC , finish = 2021-07-13 23:50:21.677413416 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '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 = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 679 , parent = Just 671 , duration = 1.228255594000 , status = Fail , start = 2021-07-13 23:52:39.884098954 UTC , finish = 2021-07-13 23:52:41.112354548 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '5' , '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 = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 297 , parent = Just 241 , duration = 1.827062314000 , status = Fail , start = 2021-07-13 23:50:24.898976418 UTC , finish = 2021-07-13 23:50:26.726038732 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.193275453000 min duration 1.193275453000 total durat. 1.193275453000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 152} , self = 125 , parent = Just 13 , duration = 1.193275453000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 23:50:20.627756513 UTC , finish = 2021-07-13 23:50:21.821031966 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 5 max duration 1.647298413000 min duration 0.710472091000 total durat. 4.876729452000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 290 , parent = Just 241 , duration = 1.647298413000 , status = Fail , start = 2021-07-13 23:50:24.898854913 UTC , finish = 2021-07-13 23:50:26.546153326 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '8' ] , 0 , True )} Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 3.524918930000 min duration 3.524918930000 total durat. 3.524918930000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 113} , self = 239 , parent = Just 18 , duration = 3.524918930000 , status = Success , start = 2021-07-13 23:50:21.365762729 UTC , finish = 2021-07-13 23:50:24.890681659 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '9' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 6.365975901000 min duration 3.134935265000 total durat. 18.817524879000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 351 , parent = Just 241 , duration = 3.134935265000 , status = Fail , start = 2021-07-13 23:50:26.5481295 UTC , finish = 2021-07-13 23:50:29.683064765 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '8' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 282 , parent = Just 111 , duration = 3.750391084000 , status = Fail , start = 2021-07-13 23:50:22.30608452 UTC , finish = 2021-07-13 23:50:26.056475604 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '9' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 692 , parent = Just 671 , duration = 5.566222629000 , status = Fail , start = 2021-07-13 23:52:40.963113421 UTC , finish = 2021-07-13 23:52:46.52933605 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '7' , '3' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 886 , parent = Just 869 , duration = 6.365975901000 , status = Fail , start = 2021-07-13 23:54:31.935695378 UTC , finish = 2021-07-13 23:54:38.301671279 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '9' , '1' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 50.205863253000 min duration 6.100570806000 total durat. 148.607242573000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 900 , parent = Just 869 , duration = 6.100570806000 , status = Fail , start = 2021-07-13 23:54:38.317072903 UTC , finish = 2021-07-13 23:54:44.417643709 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '0' , '9' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 539 , parent = Just 111 , duration = 42.268831109000 , status = Fail , start = 2021-07-13 23:50:26.056951013 UTC , finish = 2021-07-13 23:51:08.325782122 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '9' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 573 , parent = Just 241 , duration = 50.031977405000 , status = Fail , start = 2021-07-13 23:50:29.685509815 UTC , finish = 2021-07-13 23:51:19.71748722 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '8' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 764 , parent = Just 671 , duration = 50.205863253000 , status = Fail , start = 2021-07-13 23:52:46.543186392 UTC , finish = 2021-07-13 23:53:36.749049645 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '0' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 91.380094465000 min duration 54.371094534000 total durat. 145.751188999000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 875 , parent = Just 671 , duration = 54.371094534000 , status = Fail , start = 2021-07-13 23:53:36.791026599 UTC , finish = 2021-07-13 23:54:31.162121133 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '1' , '6' ] , 0 , True )} Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 669 , parent = Just 111 , duration = 91.380094465000 , status = Fail , start = 2021-07-13 23:51:08.334781505 UTC , finish = 2021-07-13 23:52:39.71487597 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '9' ] , 0 , True )} Success : Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 20 max duration 46.661862082000 min duration 0.024615082000 total durat. 187.443348641000 Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 251 , parent = Just 51 , duration = 1.360312158000 , status = Success , start = 2021-07-13 23:50:24.019114648 UTC , finish = 2021-07-13 23:50:25.379426806 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 306 , parent = Just 51 , duration = 1.633060819000 , status = Success , start = 2021-07-13 23:50:25.828589779 UTC , finish = 2021-07-13 23:50:27.461650598 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '2' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1160} , self = 443 , parent = Just 248 , duration = 2.587091843000 , status = Success , start = 2021-07-13 23:50:33.129836476 UTC , finish = 2021-07-13 23:50:35.716928319 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 361 , parent = Just 307 , duration = 2.873010962000 , status = Success , start = 2021-07-13 23:50:27.587978174 UTC , finish = 2021-07-13 23:50:30.460989136 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 435} , self = 533 , parent = Just 503 , duration = 10.969737716000 , status = Success , start = 2021-07-13 23:50:55.894359387 UTC , finish = 2021-07-13 23:51:06.864097103 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 577 , parent = Just 444 , duration = 16.046286116000 , status = Success , start = 2021-07-13 23:51:10.009899354 UTC , finish = 2021-07-13 23:51:26.05618547 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 500 , parent = Just 444 , duration = 17.280221140000 , status = Success , start = 2021-07-13 23:50:36.032329768 UTC , finish = 2021-07-13 23:50:53.312550908 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '2' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 48 , num_strict_rules = 48 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1392} , self = 648 , parent = Just 169 , duration = 17.428617053000 , status = Success , start = 2021-07-13 23:52:04.979759579 UTC , finish = 2021-07-13 23:52:22.408376632 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 616 , parent = Just 444 , duration = 27.358281485000 , status = Success , start = 2021-07-13 23:51:33.20644817 UTC , finish = 2021-07-13 23:52:00.564729655 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '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 = 60 , num_strict_rules = 60 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1860} , self = 728 , parent = Just 153 , duration = 39.713889601000 , status = Success , start = 2021-07-13 23:52:22.875298075 UTC , finish = 2021-07-13 23:53:02.589187676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '7' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 48 , num_strict_rules = 48 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 1488} , self = 812 , parent = Just 729 , duration = 46.661862082000 , status = Success , start = 2021-07-13 23:53:09.855314148 UTC , finish = 2021-07-13 23:53:56.51717623 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '5' , '1' ] , 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 8 max duration 83.496941709000 min duration 0.162402011000 total durat. 166.762402753000 Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 243} , self = 227 , parent = Just 131 , duration = 1.740421110000 , status = Success , start = 2021-07-13 23:50:22.725394117 UTC , finish = 2021-07-13 23:50:24.465815227 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 162} , self = 339 , parent = Just 228 , duration = 4.227946781000 , status = Success , start = 2021-07-13 23:50:24.505823096 UTC , finish = 2021-07-13 23:50:28.733769877 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 502 , parent = Just 307 , duration = 21.570559866000 , status = Success , start = 2021-07-13 23:50:33.13339178 UTC , finish = 2021-07-13 23:50:54.703951646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '2' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 780 , parent = Just 444 , duration = 54.583139823000 , status = Success , start = 2021-07-13 23:52:47.911327691 UTC , finish = 2021-07-13 23:53:42.494467514 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 435} , self = 642 , parent = Just 503 , duration = 83.496941709000 , status = Success , start = 2021-07-13 23:50:55.817063251 UTC , finish = 2021-07-13 23:52:19.31400496 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '1' ] , 3 , True )} Success : Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 156.371491152000 min duration 156.371491152000 total durat. 156.371491152000 Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 23} , self = 720 , parent = Just 0 , duration = 156.371491152000 , status = Success , start = 2021-07-13 23:50:20.628579252 UTC , finish = 2021-07-13 23:52:57.000070404 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' ] , 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 23 max duration 52.008394015000 min duration 0.028512393000 total durat. 277.004551916000 Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 268 , parent = Just 51 , duration = 1.574088364000 , status = Success , start = 2021-07-13 23:50:24.189781069 UTC , finish = 2021-07-13 23:50:25.763869433 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '0' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 428 , parent = Just 51 , duration = 1.715601580000 , status = Success , start = 2021-07-13 23:50:33.130387902 UTC , finish = 2021-07-13 23:50:34.845989482 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 696} , self = 312 , parent = Just 51 , duration = 2.195507733000 , status = Success , start = 2021-07-13 23:50:25.828687229 UTC , finish = 2021-07-13 23:50:28.024194962 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 371 , parent = Just 307 , duration = 3.116914956000 , status = Success , start = 2021-07-13 23:50:27.660197212 UTC , finish = 2021-07-13 23:50:30.777112168 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '2' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1160} , self = 478 , parent = Just 248 , duration = 6.165774637000 , status = Success , start = 2021-07-13 23:50:34.96708024 UTC , finish = 2021-07-13 23:50:41.132854877 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 435} , self = 535 , parent = Just 503 , duration = 11.766916309000 , status = Success , start = 2021-07-13 23:50:55.907328844 UTC , finish = 2021-07-13 23:51:07.674245153 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' , '3' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 1160} , self = 704 , parent = Just 248 , duration = 16.938115497000 , status = Success , start = 2021-07-13 23:52:39.513483287 UTC , finish = 2021-07-13 23:52:56.451598784 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '2' , '3' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 657 , parent = Just 444 , duration = 19.135366697000 , status = Success , start = 2021-07-13 23:52:08.981958449 UTC , finish = 2021-07-13 23:52:28.117325146 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 587 , parent = Just 444 , duration = 21.113567915000 , status = Success , start = 2021-07-13 23:51:10.515162012 UTC , finish = 2021-07-13 23:51:31.628729927 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' , '9' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 522 , parent = Just 444 , duration = 23.254227976000 , status = Success , start = 2021-07-13 23:50:37.169354564 UTC , finish = 2021-07-13 23:51:00.42358254 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 10 , total_length = 725} , self = 618 , parent = Just 444 , duration = 29.831723929000 , status = Success , start = 2021-07-13 23:51:33.188408562 UTC , finish = 2021-07-13 23:52:03.020132491 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '2' , '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 = 60 , num_strict_rules = 60 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1860} , self = 887 , parent = Just 153 , duration = 38.248660889000 , status = Success , start = 2021-07-13 23:54:02.520257684 UTC , finish = 2021-07-13 23:54:40.768918573 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '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 = 60 , num_strict_rules = 60 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 1860} , self = 777 , parent = Just 153 , duration = 45.915103010000 , status = Success , start = 2021-07-13 23:52:56.493457622 UTC , finish = 2021-07-13 23:53:42.408560632 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '2' , '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 = 48 , num_strict_rules = 48 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 1488} , self = 822 , parent = Just 729 , duration = 52.008394015000 , status = Success , start = 2021-07-13 23:53:10.093446454 UTC , finish = 2021-07-13 23:54:02.101840469 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '6' , '3' ] , 3 , True )} Success : Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 10 max duration 93.286880686000 min duration 0.179370686000 total durat. 219.498497733000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 243} , self = 277 , parent = Just 131 , duration = 2.529900038000 , status = Success , start = 2021-07-13 23:50:23.437683994 UTC , finish = 2021-07-13 23:50:25.967584032 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 243} , self = 453 , parent = Just 131 , duration = 3.712827006000 , status = Success , start = 2021-07-13 23:50:33.138089498 UTC , finish = 2021-07-13 23:50:36.850916504 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 6 , num_strict_rules = 6 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 162} , self = 341 , parent = Just 228 , duration = 4.608607213000 , status = Success , start = 2021-07-13 23:50:24.54961299 UTC , finish = 2021-07-13 23:50:29.158220203 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '2' ] , 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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 574 , parent = Just 307 , duration = 47.802384460000 , status = Success , start = 2021-07-13 23:50:36.890896926 UTC , finish = 2021-07-13 23:51:24.693281386 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 580} , self = 802 , parent = Just 307 , duration = 65.557249502000 , status = Success , start = 2021-07-13 23:52:48.167293188 UTC , finish = 2021-07-13 23:53:53.72454269 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '0' , '4' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 15 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 8 , total_length = 435} , self = 659 , parent = Just 503 , duration = 93.286880686000 , status = Success , start = 2021-07-13 23:50:55.894393447 UTC , finish = 2021-07-13 23:52:29.181274133 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '9' ] , 3 , True )} Success : Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 174.527013372000 min duration 174.527013372000 total durat. 174.527013372000 Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 23} , self = 737 , parent = Just 0 , duration = 174.527013372000 , status = Success , start = 2021-07-13 23:50:20.628655997 UTC , finish = 2021-07-13 23:53:15.155669369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '5' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 61 max duration 104.528387045000 min duration 0.283713887000 total durat. 1134.527695091000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 131} , self = 434 , parent = Just 409 , duration = 1.164990514000 , status = Success , start = 2021-07-13 23:50:33.771706284 UTC , finish = 2021-07-13 23:50:34.936696798 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 166} , self = 349 , parent = Just 321 , duration = 1.343817139000 , status = Success , start = 2021-07-13 23:50:28.262922626 UTC , finish = 2021-07-13 23:50:29.606739765 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 131} , self = 376 , parent = Just 344 , duration = 1.535663915000 , status = Success , start = 2021-07-13 23:50:29.531913087 UTC , finish = 2021-07-13 23:50:31.067577002 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 362} , self = 170 , parent = Just 75 , duration = 1.642476668000 , status = Success , start = 2021-07-13 23:50:21.103973833 UTC , finish = 2021-07-13 23:50:22.746450501 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 216} , self = 288 , parent = Just 234 , duration = 1.667470261000 , status = Success , start = 2021-07-13 23:50:24.584277438 UTC , finish = 2021-07-13 23:50:26.251747699 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 312} , self = 193 , parent = Just 102 , duration = 1.735176427000 , status = Success , start = 2021-07-13 23:50:21.608176692 UTC , finish = 2021-07-13 23:50:23.343353119 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 324} , self = 233 , parent = Just 163 , duration = 1.758516040000 , status = Success , start = 2021-07-13 23:50:22.767923769 UTC , finish = 2021-07-13 23:50:24.526439809 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 166} , self = 414 , parent = Just 387 , duration = 1.763634002000 , status = Success , start = 2021-07-13 23:50:31.908124343 UTC , finish = 2021-07-13 23:50:33.671758345 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 262} , self = 280 , parent = Just 216 , duration = 1.861879011000 , status = Success , start = 2021-07-13 23:50:24.143951301 UTC , finish = 2021-07-13 23:50:26.005830312 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 312} , self = 215 , parent = Just 141 , duration = 1.880137482000 , status = Success , start = 2021-07-13 23:50:22.191931079 UTC , finish = 2021-07-13 23:50:24.072068561 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 262} , self = 249 , parent = Just 194 , duration = 1.946533136000 , status = Success , start = 2021-07-13 23:50:23.41741996 UTC , finish = 2021-07-13 23:50:25.363953096 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 450} , self = 181 , parent = Just 58 , duration = 1.952680385000 , status = Success , start = 2021-07-13 23:50:21.041103576 UTC , finish = 2021-07-13 23:50:22.993783961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 216} , self = 359 , parent = Just 327 , duration = 2.097778551000 , status = Success , start = 2021-07-13 23:50:28.287962572 UTC , finish = 2021-07-13 23:50:30.385741123 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 151} , self = 458 , parent = Just 424 , duration = 2.267096343000 , status = Success , start = 2021-07-13 23:50:34.9605568 UTC , finish = 2021-07-13 23:50:37.227653143 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 324} , self = 326 , parent = Just 263 , duration = 2.475895015000 , status = Success , start = 2021-07-13 23:50:25.768591648 UTC , finish = 2021-07-13 23:50:28.244486663 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 447 , parent = Just 401 , duration = 2.618684879000 , status = Success , start = 2021-07-13 23:50:33.396283098 UTC , finish = 2021-07-13 23:50:36.014967977 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 54} , self = 879 , parent = Just 869 , duration = 2.648014344000 , status = Success , start = 2021-07-13 23:54:31.149380907 UTC , finish = 2021-07-13 23:54:33.797395251 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 362} , self = 332 , parent = Just 75 , duration = 2.791713368000 , status = Success , start = 2021-07-13 23:50:25.730027539 UTC , finish = 2021-07-13 23:50:28.521740907 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 450} , self = 400 , parent = Just 58 , duration = 3.059060634000 , status = Success , start = 2021-07-13 23:50:30.259645503 UTC , finish = 2021-07-13 23:50:33.318706137 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 450} , self = 355 , parent = Just 58 , duration = 3.529203536000 , status = Success , start = 2021-07-13 23:50:26.735907941 UTC , finish = 2021-07-13 23:50:30.265111477 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 684 , parent = Just 671 , duration = 4.629303728000 , status = Success , start = 2021-07-13 23:52:39.944247807 UTC , finish = 2021-07-13 23:52:44.573551535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 109} , self = 790 , parent = Just 766 , duration = 7.030822250000 , status = Success , start = 2021-07-13 23:53:38.951133406 UTC , finish = 2021-07-13 23:53:45.981955656 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '2' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 35 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 20 , alphabet_size = 13 , total_length = 860} , self = 469 , parent = Just 360 , duration = 8.149837069000 , status = Success , start = 2021-07-13 23:50:30.602413865 UTC , finish = 2021-07-13 23:50:38.752250934 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 24 , alphabet_size = 13 , total_length = 1004} , self = 432 , parent = Just 281 , duration = 8.223258351000 , status = Success , start = 2021-07-13 23:50:26.689870394 UTC , finish = 2021-07-13 23:50:34.913128745 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 40 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 24 , alphabet_size = 13 , total_length = 1004} , self = 466 , parent = Just 250 , duration = 9.013528850000 , status = Success , start = 2021-07-13 23:50:28.583352027 UTC , finish = 2021-07-13 23:50:37.596880877 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 268} , self = 714 , parent = Just 685 , duration = 11.714548613000 , status = Success , start = 2021-07-13 23:52:44.835018244 UTC , finish = 2021-07-13 23:52:56.549566857 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 553 , parent = Just 401 , duration = 12.419405598000 , status = Success , start = 2021-07-13 23:51:00.781509839 UTC , finish = 2021-07-13 23:51:13.200915437 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 18 , alphabet_size = 11 , total_length = 753} , self = 483 , parent = Just 377 , duration = 13.085028347000 , status = Success , start = 2021-07-13 23:50:31.392853558 UTC , finish = 2021-07-13 23:50:44.477881905 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 646 , parent = Just 401 , duration = 14.552141244000 , status = Success , start = 2021-07-13 23:52:07.025748663 UTC , finish = 2021-07-13 23:52:21.577889907 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 620 , parent = Just 401 , duration = 14.737159760000 , status = Success , start = 2021-07-13 23:51:49.735112971 UTC , finish = 2021-07-13 23:52:04.472272731 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '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 = 7 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 151} , self = 509 , parent = Just 474 , duration = 16.619500080000 , status = Success , start = 2021-07-13 23:50:39.887080409 UTC , finish = 2021-07-13 23:50:56.506580489 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 516 , parent = Just 401 , duration = 21.643669559000 , status = Success , start = 2021-07-13 23:50:37.508502547 UTC , finish = 2021-07-13 23:50:59.152172106 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 690 , parent = Just 401 , duration = 22.967539103000 , status = Success , start = 2021-07-13 23:52:23.261287484 UTC , finish = 2021-07-13 23:52:46.228826587 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 218} , self = 751 , parent = Just 715 , duration = 24.411604967000 , status = Success , start = 2021-07-13 23:52:56.617878856 UTC , finish = 2021-07-13 23:53:21.029483823 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '3' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 13 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 320} , self = 784 , parent = Just 740 , duration = 25.467649702000 , status = Success , start = 2021-07-13 23:53:17.411168255 UTC , finish = 2021-07-13 23:53:42.878817957 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 599 , parent = Just 401 , duration = 26.434453410000 , status = Success , start = 2021-07-13 23:51:14.684510666 UTC , finish = 2021-07-13 23:51:41.118964076 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 30 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 15 , alphabet_size = 11 , total_length = 725} , self = 529 , parent = Just 415 , duration = 27.763342139000 , status = Success , start = 2021-07-13 23:50:33.933288609 UTC , finish = 2021-07-13 23:51:01.696630748 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 = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 394} , self = 852 , parent = Just 807 , duration = 29.065080117000 , status = Success , start = 2021-07-13 23:53:54.203503979 UTC , finish = 2021-07-13 23:54:23.268584096 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 250} , self = 605 , parent = Just 568 , duration = 29.282895032000 , status = Success , start = 2021-07-13 23:51:18.643979411 UTC , finish = 2021-07-13 23:51:47.926874443 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 9 , alphabet_size = 9 , total_length = 401} , self = 826 , parent = Just 759 , duration = 29.791425268000 , status = Success , start = 2021-07-13 23:53:36.532882234 UTC , finish = 2021-07-13 23:54:06.324307502 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 8 , alphabet_size = 8 , total_length = 394} , self = 846 , parent = Just 797 , duration = 30.493439184000 , status = Success , start = 2021-07-13 23:53:46.674369197 UTC , finish = 2021-07-13 23:54:17.167808381 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '6' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 9 , total_length = 435} , self = 842 , parent = Just 709 , duration = 32.416018553000 , status = Success , start = 2021-07-13 23:53:43.183397109 UTC , finish = 2021-07-13 23:54:15.599415662 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '4' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 11 , total_length = 674} , self = 581 , parent = Just 510 , duration = 33.631397502000 , status = Success , start = 2021-07-13 23:50:57.463733757 UTC , finish = 2021-07-13 23:51:31.095131259 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '2' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 18 , alphabet_size = 11 , total_length = 753} , self = 546 , parent = Just 435 , duration = 36.676000881000 , status = Success , start = 2021-07-13 23:50:35.297865377 UTC , finish = 2021-07-13 23:51:11.973866258 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 9 , alphabet_size = 9 , total_length = 401} , self = 634 , parent = Just 582 , duration = 39.671091835000 , status = Success , start = 2021-07-13 23:51:31.545825886 UTC , finish = 2021-07-13 23:52:11.216917721 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 9 , alphabet_size = 9 , total_length = 435} , self = 770 , parent = Just 709 , duration = 42.037986460000 , status = Success , start = 2021-07-13 23:52:56.596307803 UTC , finish = 2021-07-13 23:53:38.634294263 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '3' , '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 = 30 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 15 , alphabet_size = 11 , total_length = 725} , self = 708 , parent = Just 415 , duration = 42.578546432000 , status = Success , start = 2021-07-13 23:52:13.928790703 UTC , finish = 2021-07-13 23:52:56.507337135 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 12 , alphabet_size = 9 , total_length = 591} , self = 579 , parent = Just 484 , duration = 43.576917741000 , status = Success , start = 2021-07-13 23:50:47.201080634 UTC , finish = 2021-07-13 23:51:30.777998375 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 27 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 18 , alphabet_size = 11 , total_length = 681} , self = 861 , parent = Just 791 , duration = 43.643070603000 , status = Success , start = 2021-07-13 23:53:46.110335737 UTC , finish = 2021-07-13 23:54:29.75340634 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '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 = 27 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 15 , alphabet_size = 11 , total_length = 674} , self = 758 , parent = Just 459 , duration = 48.741299956000 , status = Success , start = 2021-07-13 23:52:47.765293697 UTC , finish = 2021-07-13 23:53:36.506593653 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 24 , alphabet_size = 13 , total_length = 908} , self = 839 , parent = Just 752 , duration = 50.011792041000 , status = Success , start = 2021-07-13 23:53:21.929145904 UTC , finish = 2021-07-13 23:54:11.940937945 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '9' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 12 , alphabet_size = 9 , total_length = 591} , self = 626 , parent = Just 547 , duration = 53.466857592000 , status = Success , start = 2021-07-13 23:51:13.52291482 UTC , finish = 2021-07-13 23:52:06.989772412 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 24 , alphabet_size = 13 , total_length = 1004} , self = 663 , parent = Just 281 , duration = 65.039549800000 , status = Success , start = 2021-07-13 23:51:33.84634843 UTC , finish = 2021-07-13 23:52:38.88589823 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 24 , alphabet_size = 13 , total_length = 1004} , self = 746 , parent = Just 250 , duration = 66.957416984000 , status = Success , start = 2021-07-13 23:52:13.5995083 UTC , finish = 2021-07-13 23:53:20.556925284 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '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 = 48 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 32 , alphabet_size = 15 , total_length = 1316} , self = 858 , parent = Just 205 , duration = 104.528387045000 , status = Success , start = 2021-07-13 23:52:39.474396515 UTC , finish = 2021-07-13 23:54:24.00278356 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '8' ] , 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 37 max duration 193.317091463000 min duration 0.950280738000 total durat. 1166.082162313000 Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 203 , parent = Just 148 , duration = 1.229346741000 , status = Success , start = 2021-07-13 23:50:22.265459467 UTC , finish = 2021-07-13 23:50:23.494806208 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 156 , parent = Just 77 , duration = 1.277097680000 , status = Success , start = 2021-07-13 23:50:21.131200352 UTC , finish = 2021-07-13 23:50:22.408298032 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 75} , self = 291 , parent = Just 241 , duration = 1.489788951000 , status = Success , start = 2021-07-13 23:50:25.156712103 UTC , finish = 2021-07-13 23:50:26.646501054 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 96} , self = 189 , parent = Just 111 , duration = 1.645951465000 , status = Success , start = 2021-07-13 23:50:21.615341366 UTC , finish = 2021-07-13 23:50:23.261292831 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 152} , self = 154 , parent = Just 13 , duration = 1.769538920000 , status = Success , start = 2021-07-13 23:50:20.63588827 UTC , finish = 2021-07-13 23:50:22.40542719 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 152} , self = 283 , parent = Just 13 , duration = 2.865935288000 , status = Success , start = 2021-07-13 23:50:23.268545791 UTC , finish = 2021-07-13 23:50:26.134481079 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 216} , self = 386 , parent = Just 327 , duration = 3.330305022000 , status = Success , start = 2021-07-13 23:50:28.314151226 UTC , finish = 2021-07-13 23:50:31.644456248 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 216} , self = 320 , parent = Just 234 , duration = 3.558209543000 , status = Success , start = 2021-07-13 23:50:24.636854285 UTC , finish = 2021-07-13 23:50:28.195063828 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 8 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 166} , self = 396 , parent = Just 321 , duration = 4.013066624000 , status = Success , start = 2021-07-13 23:50:28.232469015 UTC , finish = 2021-07-13 23:50:32.245535639 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 166} , self = 451 , parent = Just 387 , duration = 4.352258303000 , status = Success , start = 2021-07-13 23:50:31.706130292 UTC , finish = 2021-07-13 23:50:36.058388595 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 324} , self = 336 , parent = Just 163 , duration = 4.475273639000 , status = Success , start = 2021-07-13 23:50:24.189927299 UTC , finish = 2021-07-13 23:50:28.665200938 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 131} , self = 421 , parent = Just 344 , duration = 4.681222077000 , status = Success , start = 2021-07-13 23:50:29.30569589 UTC , finish = 2021-07-13 23:50:33.986917967 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '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 = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 324} , self = 393 , parent = Just 263 , duration = 4.731039315000 , status = Success , start = 2021-07-13 23:50:27.193495849 UTC , finish = 2021-07-13 23:50:31.924535164 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 262} , self = 343 , parent = Just 216 , duration = 5.047546318000 , status = Success , start = 2021-07-13 23:50:24.190332315 UTC , finish = 2021-07-13 23:50:29.237878633 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 262} , self = 408 , parent = Just 194 , duration = 5.351133346000 , status = Success , start = 2021-07-13 23:50:28.116243204 UTC , finish = 2021-07-13 23:50:33.46737655 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 21 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 450} , self = 314 , parent = Just 58 , duration = 5.844073538000 , status = Success , start = 2021-07-13 23:50:22.235246529 UTC , finish = 2021-07-13 23:50:28.079320067 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 312} , self = 366 , parent = Just 141 , duration = 6.493551226000 , status = Success , start = 2021-07-13 23:50:24.027044177 UTC , finish = 2021-07-13 23:50:30.520595403 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 4 , num_top_rules = 4 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 131} , self = 481 , parent = Just 409 , duration = 7.979571431000 , status = Success , start = 2021-07-13 23:50:33.53541574 UTC , finish = 2021-07-13 23:50:41.514987171 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 76} , self = 698 , parent = Just 671 , duration = 12.104308712000 , status = Success , start = 2021-07-13 23:52:39.944265934 UTC , finish = 2021-07-13 23:52:52.048574646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 151} , self = 493 , parent = Just 424 , duration = 17.182922478000 , status = Success , start = 2021-07-13 23:50:34.885292114 UTC , finish = 2021-07-13 23:50:52.068214592 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 518 , parent = Just 401 , duration = 24.395679693000 , status = Success , start = 2021-07-13 23:50:34.769490642 UTC , finish = 2021-07-13 23:50:59.165170335 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 300} , self = 567 , parent = Just 401 , duration = 25.904958810000 , status = Success , start = 2021-07-13 23:50:52.423934866 UTC , finish = 2021-07-13 23:51:18.328893676 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 109} , self = 828 , parent = Just 766 , duration = 27.690226322000 , status = Success , start = 2021-07-13 23:53:38.634225005 UTC , finish = 2021-07-13 23:54:06.324451327 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '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 = 7 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 151} , self = 537 , parent = Just 474 , duration = 28.323624302000 , status = Success , start = 2021-07-13 23:50:39.887043382 UTC , finish = 2021-07-13 23:51:08.210667684 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 324} , self = 549 , parent = Just 263 , duration = 32.603221042000 , status = Success , start = 2021-07-13 23:50:39.77860071 UTC , finish = 2021-07-13 23:51:12.381821752 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 324} , self = 722 , parent = Just 163 , duration = 35.942426160000 , status = Success , start = 2021-07-13 23:52:22.638152584 UTC , finish = 2021-07-13 23:52:58.580578744 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 312} , self = 563 , parent = Just 141 , duration = 39.059283740000 , status = Success , start = 2021-07-13 23:50:37.378518152 UTC , finish = 2021-07-13 23:51:16.437801892 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 218} , self = 765 , parent = Just 715 , duration = 41.556161672000 , status = Success , start = 2021-07-13 23:52:56.813192715 UTC , finish = 2021-07-13 23:53:38.369354387 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 324} , self = 612 , parent = Just 263 , duration = 42.583891284000 , status = Success , start = 2021-07-13 23:51:14.497882215 UTC , finish = 2021-07-13 23:51:57.081773499 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 268} , self = 774 , parent = Just 685 , duration = 48.213447292000 , status = Success , start = 2021-07-13 23:52:52.573527251 UTC , finish = 2021-07-13 23:53:40.786974543 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '1' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 2 , alphabet_size = 5 , total_length = 250} , self = 630 , parent = Just 568 , duration = 50.458077608000 , status = Success , start = 2021-07-13 23:51:18.607300005 UTC , finish = 2021-07-13 23:52:09.065377613 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 9 , alphabet_size = 9 , total_length = 401} , self = 739 , parent = Just 582 , duration = 79.745848019000 , status = Success , start = 2021-07-13 23:51:57.251913915 UTC , finish = 2021-07-13 23:53:16.997761934 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 13 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 320} , self = 891 , parent = Just 740 , duration = 84.985928419000 , status = Success , start = 2021-07-13 23:53:17.411106542 UTC , finish = 2021-07-13 23:54:42.397034961 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '7' , '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 = 24 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 12 , alphabet_size = 9 , total_length = 591} , self = 796 , parent = Just 547 , duration = 153.722676986000 , status = Success , start = 2021-07-13 23:51:12.86988874 UTC , finish = 2021-07-13 23:53:46.592565726 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 12 , alphabet_size = 9 , total_length = 591} , self = 806 , parent = Just 484 , duration = 157.207198146000 , status = Success , start = 2021-07-13 23:51:16.635501012 UTC , finish = 2021-07-13 23:53:53.842699158 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '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 = 30 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 18 , alphabet_size = 11 , total_length = 753} , self = 819 , parent = Just 435 , duration = 193.317091463000 , status = Success , start = 2021-07-13 23:50:48.383280268 UTC , finish = 2021-07-13 23:54:01.700371731 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '7' , '9' ] , 3 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 38 max duration 22.479910060000 min duration 0.026470326000 total durat. 96.541974824000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1225} , self = 457 , parent = Just 448 , duration = 1.025245535000 , status = Success , start = 2021-07-13 23:50:36.018156411 UTC , finish = 2021-07-13 23:50:37.043401946 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 80 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 52 , alphabet_size = 23 , total_length = 2192} , self = 302 , parent = Just 284 , duration = 1.028096119000 , status = Success , start = 2021-07-13 23:50:26.134773904 UTC , finish = 2021-07-13 23:50:27.162870023 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1225} , self = 694 , parent = Just 691 , duration = 1.242192996000 , status = Success , start = 2021-07-13 23:52:46.229200034 UTC , finish = 2021-07-13 23:52:47.47139303 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '8' , '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 = 120 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 96 , alphabet_size = 28 , total_length = 3606} , self = 439 , parent = Just 422 , duration = 1.302776050000 , status = Success , start = 2021-07-13 23:50:33.987193859 UTC , finish = 2021-07-13 23:50:35.289969909 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '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 = 50 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1225} , self = 561 , parent = Just 554 , duration = 1.347649620000 , status = Success , start = 2021-07-13 23:51:13.201313693 UTC , finish = 2021-07-13 23:51:14.548963313 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 50 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1225} , self = 525 , parent = Just 517 , duration = 1.440847387000 , status = Success , start = 2021-07-13 23:50:59.1523683 UTC , finish = 2021-07-13 23:51:00.593215687 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 45 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 20 , alphabet_size = 12 , total_length = 1090} , self = 607 , parent = Just 606 , duration = 1.453848109000 , status = Success , start = 2021-07-13 23:51:47.977748748 UTC , finish = 2021-07-13 23:51:49.431596857 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1225} , self = 654 , parent = Just 647 , duration = 1.463159080000 , status = Success , start = 2021-07-13 23:52:21.593103516 UTC , finish = 2021-07-13 23:52:23.056262596 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 132 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 96 , alphabet_size = 28 , total_length = 3888} , self = 418 , parent = Just 397 , duration = 1.617990042000 , status = Success , start = 2021-07-13 23:50:32.245783334 UTC , finish = 2021-07-13 23:50:33.863773376 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 190 , num_strict_rules = 190 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 6270} , self = 373 , parent = Just 340 , duration = 2.242614707000 , status = Success , start = 2021-07-13 23:50:28.735945438 UTC , finish = 2021-07-13 23:50:30.978560145 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 190 , num_strict_rules = 190 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 6270} , self = 385 , parent = Just 342 , duration = 2.263751394000 , status = Success , start = 2021-07-13 23:50:29.158386657 UTC , finish = 2021-07-13 23:50:31.422138051 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 25 , num_top_rules = 25 , num_weak_rules = 25 , alphabet_size = 14 , total_length = 1225} , self = 624 , parent = Just 621 , duration = 2.454593698000 , status = Success , start = 2021-07-13 23:52:04.472468169 UTC , finish = 2021-07-13 23:52:06.927061867 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 132 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 96 , alphabet_size = 28 , total_length = 3888} , self = 472 , parent = Just 452 , duration = 2.885286672000 , status = Success , start = 2021-07-13 23:50:36.058711935 UTC , finish = 2021-07-13 23:50:38.943998607 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1250 , num_strict_rules = 1250 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 94 , total_length = 46250} , self = 726 , parent = Just 721 , duration = 4.427788931000 , status = Success , start = 2021-07-13 23:52:57.000349057 UTC , finish = 2021-07-13 23:53:01.428137988 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' , '2' ] , 0 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 111 , num_strict_rules = 27 , num_top_rules = 27 , num_weak_rules = 84 , alphabet_size = 25 , total_length = 3327} , self = 557 , parent = Just 538 , duration = 5.624642296000 , status = Success , start = 2021-07-13 23:51:08.210878002 UTC , finish = 2021-07-13 23:51:13.835520298 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '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 = 1250 , num_strict_rules = 1250 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 94 , total_length = 46250} , self = 748 , parent = Just 738 , duration = 5.633559098000 , status = Success , start = 2021-07-13 23:53:15.163169205 UTC , finish = 2021-07-13 23:53:20.796728303 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '6' , '9' ] , 2 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 120 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 96 , alphabet_size = 28 , total_length = 3606} , self = 489 , parent = Just 482 , duration = 6.685215250000 , status = Success , start = 2021-07-13 23:50:41.519382616 UTC , finish = 2021-07-13 23:50:48.204597866 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '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 = 180 , num_strict_rules = 60 , num_top_rules = 60 , num_weak_rules = 120 , alphabet_size = 32 , total_length = 5280} , self = 644 , parent = Just 631 , duration = 11.165038485000 , status = Success , start = 2021-07-13 23:52:09.072585736 UTC , finish = 2021-07-13 23:52:20.237624221 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 496 , num_strict_rules = 496 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 17360} , self = 681 , parent = Just 660 , duration = 12.707938352000 , status = Success , start = 2021-07-13 23:52:29.181651554 UTC , finish = 2021-07-13 23:52:41.889589906 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '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 = 496 , num_strict_rules = 496 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 17360} , self = 680 , parent = Just 643 , duration = 22.479910060000 , status = Success , start = 2021-07-13 23:52:19.327062104 UTC , finish = 2021-07-13 23:52:41.806972164 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '7' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 137 max duration 10.619839551000 min duration 0.000073542000 total durat. 63.614292413000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 90 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 66 , alphabet_size = 21 , total_length = 2496} , self = 591 , parent = Just 580 , duration = 1.014946931000 , status = Fail , start = 2021-07-13 23:51:30.794106148 UTC , finish = 2021-07-13 23:51:31.809053079 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 44 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 28 , alphabet_size = 14 , total_length = 1200} , self = 860 , parent = Just 859 , duration = 1.217313565000 , status = Fail , start = 2021-07-13 23:54:24.14886697 UTC , finish = 2021-07-13 23:54:25.366180535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '4' , '3' , '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 = 75 , num_strict_rules = 19 , num_top_rules = 19 , num_weak_rules = 56 , alphabet_size = 19 , total_length = 2089} , self = 636 , parent = Just 635 , duration = 2.143346114000 , status = Fail , start = 2021-07-13 23:52:11.217292965 UTC , finish = 2021-07-13 23:52:13.360639079 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 104 , num_strict_rules = 104 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 3224} , self = 540 , parent = Just 534 , duration = 2.407519696000 , status = Fail , start = 2021-07-13 23:51:06.86441142 UTC , finish = 2021-07-13 23:51:09.271931116 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 90 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 66 , alphabet_size = 21 , total_length = 2496} , self = 632 , parent = Just 627 , duration = 2.428172464000 , status = Fail , start = 2021-07-13 23:52:07.004731333 UTC , finish = 2021-07-13 23:52:09.432903797 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 104 , num_strict_rules = 104 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 3224} , self = 544 , parent = Just 536 , duration = 2.683373760000 , status = Fail , start = 2021-07-13 23:51:07.674525447 UTC , finish = 2021-07-13 23:51:10.357899207 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 130 , num_strict_rules = 130 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 4030} , self = 532 , parent = Just 523 , duration = 3.013342090000 , status = Fail , start = 2021-07-13 23:51:00.429444178 UTC , finish = 2021-07-13 23:51:03.442786268 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 48 , num_strict_rules = 48 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 1488} , self = 730 , parent = Just 729 , duration = 3.199885136000 , status = Fail , start = 2021-07-13 23:53:02.589477878 UTC , finish = 2021-07-13 23:53:05.789363014 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 130 , num_strict_rules = 130 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 4030} , self = 622 , parent = Just 617 , duration = 4.142953810000 , status = Fail , start = 2021-07-13 23:52:00.565103355 UTC , finish = 2021-07-13 23:52:04.708057165 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '6' , '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 = 130 , num_strict_rules = 130 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 4030} , self = 628 , parent = Just 619 , duration = 5.707838210000 , status = Fail , start = 2021-07-13 23:52:03.020530915 UTC , finish = 2021-07-13 23:52:08.728369125 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 130 , num_strict_rules = 130 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 4030} , self = 589 , parent = Just 578 , duration = 5.719872447000 , status = Fail , start = 2021-07-13 23:51:26.083054672 UTC , finish = 2021-07-13 23:51:31.802927119 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 130 , num_strict_rules = 130 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 4030} , self = 521 , parent = Just 501 , duration = 7.087008028000 , status = Fail , start = 2021-07-13 23:50:53.312920116 UTC , finish = 2021-07-13 23:51:00.399928144 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 130 , num_strict_rules = 130 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 4030} , self = 661 , parent = Just 658 , duration = 10.619839551000 , status = Fail , start = 2021-07-13 23:52:28.117692231 UTC , finish = 2021-07-13 23:52:38.737531782 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '4' ] , 3 , False )} **************************************************