/export/starexec/sandbox/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO ************************************************** summary ************************************************** SRS with 1 rules on 3 letters admits a non-terminating transport system with pivot [a, a, a, a, a, a, a] alphabet [[b, c, c], [a]] pivot represented as [[a], [a], [a], [a], [a], [a], [a]] derivations for transport system [a] [a] pivot ->^0 pivot [[a]] because of derivation [a, a, a, a, a, a, a, a] ->^0 [a, a, a, a, a, a, a, a] via steps [b, c, c] [b, c, c] pivot ->^1 pivot [[b, c, c], [b, c, c], [a]] because of derivation [b, c, c, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, c, c, b, c, c, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, c, c], [b, c, c]] pivot ^ 10 ************************************************** proof ************************************************** property Termination has value Just False for SRS [b, c, c, a, a, a, a, a, a, a] -> [ a , a , a , a , a , a , a , b , c , c , b , c , c , a ] {- Input 0 -} reason admits a non-terminating transport system with pivot [a, a, a, a, a, a, a] alphabet [[b, c, c], [a]] pivot represented as [[a], [a], [a], [a], [a], [a], [a]] derivations for transport system [a] [a] pivot ->^0 pivot [[a]] because of derivation [a, a, a, a, a, a, a, a] ->^0 [a, a, a, a, a, a, a, a] via steps [b, c, c] [b, c, c] pivot ->^1 pivot [[b, c, c], [b, c, c], [a]] because of derivation [b, c, c, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, c, c, b, c, c, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, c, c], [b, c, c]] pivot ^ 10 ************************************************** skeleton: (1,3)\Transport{}[] ************************************************** 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 93.996307648000 min duration 76.624456726000 total durat. 170.620764374000 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 = 3 , total_length = 24} , self = 386 , parent = Just 4 , duration = 76.624456726000 , status = Fail , start = 2021-07-14 00:02:50.981668956 UTC , finish = 2021-07-14 00:04:07.606125682 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' ] , 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 = 3 , total_length = 24} , self = 412 , parent = Just 0 , duration = 93.996307648000 , status = Fail , start = 2021-07-14 00:02:50.981653591 UTC , finish = 2021-07-14 00:04:24.977961239 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' ] , 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 2 max duration 4.866897189000 min duration 3.330233996000 total durat. 8.197131185000 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 = 4 , total_length = 55} , self = 175 , parent = Just 11 , duration = 3.330233996000 , status = Fail , start = 2021-07-14 00:02:50.983152482 UTC , finish = 2021-07-14 00:02:54.313386478 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 198 , parent = Just 16 , duration = 4.866897189000 , status = Fail , start = 2021-07-14 00:02:50.985106456 UTC , finish = 2021-07-14 00:02:55.852003645 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 2 max duration 50.068350101000 min duration 50.025250732000 total durat. 100.093600833000 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 = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 401 , parent = Just 16 , duration = 50.025250732000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:25.889831111 UTC , finish = 2021-07-14 00:04:15.915081843 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 400 , parent = Just 11 , duration = 50.068350101000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:25.526569122 UTC , finish = 2021-07-14 00:04:15.594919223 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '5' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 31.209565703000 min duration 30.030060713000 total durat. 61.239626416000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 303 , parent = Just 16 , duration = 30.030060713000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:55.852377525 UTC , finish = 2021-07-14 00:03:25.882438238 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '9' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 300 , parent = Just 11 , duration = 31.209565703000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:54.313628745 UTC , finish = 2021-07-14 00:03:25.523194448 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '1' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.700315620000 min duration 50.044458592000 total durat. 100.744774212000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 375 , parent = Just 11 , duration = 50.044458592000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:07.553224463 UTC , finish = 2021-07-14 00:03:57.597683055 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 397 , parent = Just 16 , duration = 50.700315620000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:22.184995955 UTC , finish = 2021-07-14 00:04:12.885311575 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '1' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 15.938697226000 min duration 15.938697226000 total durat. 15.938697226000 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 = 4 , total_length = 55} , self = 264 , parent = Just 11 , duration = 15.938697226000 , status = Fail , start = 2021-07-14 00:02:51.614353836 UTC , finish = 2021-07-14 00:03:07.553051062 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 30.116373279000 min duration 30.116373279000 total durat. 30.116373279000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 299 , parent = Just 16 , duration = 30.116373279000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:51.8963855 UTC , finish = 2021-07-14 00:03:22.012758779 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '1' ] , 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 2 max duration 0.910957000000 min duration 0.631032722000 total durat. 1.541989722000 Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 0.755809829000 min duration 0.463315025000 total durat. 1.219124854000 Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 4.369904815000 min duration 2.370436973000 total durat. 6.740341788000 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 = 4 , total_length = 55} , self = 162 , parent = Just 11 , duration = 2.370436973000 , status = Fail , start = 2021-07-14 00:02:51.446544546 UTC , finish = 2021-07-14 00:02:53.816981519 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' , '8' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 201 , parent = Just 16 , duration = 4.369904815000 , status = Fail , start = 2021-07-14 00:02:51.741219875 UTC , finish = 2021-07-14 00:02:56.11112469 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '5' , '6' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 50.107818560000 min duration 24.378436038000 total durat. 74.486254598000 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 = 4 , total_length = 55} , self = 287 , parent = Just 11 , duration = 24.378436038000 , status = Fail , start = 2021-07-14 00:02:53.818799383 UTC , finish = 2021-07-14 00:03:18.197235421 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '0' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 358 , parent = Just 16 , duration = 50.107818560000 , status = Fail , start = 2021-07-14 00:02:56.111499647 UTC , finish = 2021-07-14 00:03:46.219318207 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '3' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Simple (Config { tracing = False , verbose = False , closure = Forward , max_closure_length = Nothing , max_closure_width = Nothing , intermediates = All , priority = (Linear [ (1, Log2 Steps) , (-1, Width_lhs) , (-2, Log2 Width_rhs) ])}) total number 1 max duration 105.960589615000 min duration 105.960589615000 total durat. 105.960589615000 Info { what = Simple (Config { tracing = False , verbose = False , closure = Forward , max_closure_length = Nothing , max_closure_width = Nothing , intermediates = All , priority = (Linear [ (1, Log2 Steps) , (-1, Width_lhs) , (-2, Log2 Width_rhs) ])}) , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 433 , parent = Just 0 , duration = 105.960589615000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:02:50.981624712 UTC , finish = 2021-07-14 00:04:36.942214327 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' ] , 1 , True )} Success : Tiling { method = Backward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 77.291362960000 min duration 77.291362960000 total durat. 77.291362960000 Info { what = Tiling { method = Backward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 389 , parent = Just 0 , duration = 77.291362960000 , status = Success , start = 2021-07-14 00:02:50.987444045 UTC , finish = 2021-07-14 00:04:08.278807005 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '7' ] , 3 , 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 11 max duration 32.338859758000 min duration 0.036586413000 total durat. 69.225563833000 Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 160 , parent = Just 38 , duration = 1.185666342000 , status = Success , start = 2021-07-14 00:02:52.407944442 UTC , finish = 2021-07-14 00:02:53.593610784 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '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 = 28 , num_strict_rules = 28 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 840} , self = 194 , parent = Just 112 , duration = 1.557524949000 , status = Success , start = 2021-07-14 00:02:54.190032527 UTC , finish = 2021-07-14 00:02:55.747557476 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 238 , parent = Just 76 , duration = 2.875081797000 , status = Success , start = 2021-07-14 00:02:56.237922869 UTC , finish = 2021-07-14 00:02:59.113004666 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 269 , parent = Just 161 , duration = 9.620088054000 , status = Success , start = 2021-07-14 00:03:00.729370968 UTC , finish = 2021-07-14 00:03:10.349459022 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 314 , parent = Just 128 , duration = 20.838251305000 , status = Success , start = 2021-07-14 00:03:11.290088716 UTC , finish = 2021-07-14 00:03:32.128340021 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 90 , num_strict_rules = 90 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 3240} , self = 393 , parent = Just 181 , duration = 32.338859758000 , status = Success , start = 2021-07-14 00:03:37.248821107 UTC , finish = 2021-07-14 00:04:09.587680865 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '7' ] , 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 6 max duration 24.539617789000 min duration 0.137632788000 total durat. 33.884071311000 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 = 9 , total_length = 252} , self = 139 , parent = Just 89 , duration = 1.144689143000 , status = Success , start = 2021-07-14 00:02:51.93948227 UTC , finish = 2021-07-14 00:02:53.084171413 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 199 , parent = Just 38 , duration = 2.587427824000 , status = Success , start = 2021-07-14 00:02:53.476898712 UTC , finish = 2021-07-14 00:02:56.064326536 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '5' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 259 , parent = Just 76 , duration = 4.993135040000 , status = Success , start = 2021-07-14 00:02:57.397154857 UTC , finish = 2021-07-14 00:03:02.390289897 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '4' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 349 , parent = Just 128 , duration = 24.539617789000 , status = Success , start = 2021-07-14 00:03:13.953027954 UTC , finish = 2021-07-14 00:03:38.492645743 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '0' ] , 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 3 max duration 20.918972327000 min duration 2.289952050000 total durat. 28.601405849000 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 = 3 , total_length = 24} , self = 151 , parent = Just 0 , duration = 2.289952050000 , status = Success , start = 2021-07-14 00:02:50.98749687 UTC , finish = 2021-07-14 00:02:53.27744892 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '7' ] , 3 , True )} 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 104} , self = 253 , parent = Just 44 , duration = 5.392481472000 , status = Success , start = 2021-07-14 00:02:55.731827991 UTC , finish = 2021-07-14 00:03:01.124309463 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '5' ] , 3 , True )} 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 365 , parent = Just 89 , duration = 20.918972327000 , status = Success , start = 2021-07-14 00:03:27.751770236 UTC , finish = 2021-07-14 00:03:48.670742563 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '5' ] , 3 , True )} Success : Tiling { method = Forward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 1 max duration 73.334056891000 min duration 73.334056891000 total durat. 73.334056891000 Info { what = Tiling { method = Forward , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 380 , parent = Just 0 , duration = 73.334056891000 , status = Success , start = 2021-07-14 00:02:50.987481578 UTC , finish = 2021-07-14 00:04:04.321538469 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '3' ] , 3 , True )} Success : Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 13 max duration 41.318095726000 min duration 0.040862722000 total durat. 82.282680193000 Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 167 , parent = Just 38 , duration = 1.097964424000 , status = Success , start = 2021-07-14 00:02:52.977753802 UTC , finish = 2021-07-14 00:02:54.075718226 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 28 , num_strict_rules = 28 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 840} , self = 202 , parent = Just 112 , duration = 1.787845487000 , status = Success , start = 2021-07-14 00:02:54.336018488 UTC , finish = 2021-07-14 00:02:56.123863975 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '6' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 236 , parent = Just 76 , duration = 2.846236755000 , status = Success , start = 2021-07-14 00:02:56.244702763 UTC , finish = 2021-07-14 00:02:59.090939518 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 333 , parent = Just 128 , duration = 15.913641480000 , status = Success , start = 2021-07-14 00:03:19.231068591 UTC , finish = 2021-07-14 00:03:35.144710071 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '5' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 288 , parent = Just 161 , duration = 17.487751311000 , status = Success , start = 2021-07-14 00:03:00.729447868 UTC , finish = 2021-07-14 00:03:18.217199179 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '7' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 90 , num_strict_rules = 90 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 3240} , self = 402 , parent = Just 181 , duration = 41.318095726000 , status = Success , start = 2021-07-14 00:03:38.155877931 UTC , finish = 2021-07-14 00:04:19.473973657 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '2' ] , 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 8 max duration 45.199491882000 min duration 0.129730340000 total durat. 78.799008253000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 16 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 480} , self = 180 , parent = Just 38 , duration = 1.330673493000 , status = Success , start = 2021-07-14 00:02:53.223360358 UTC , finish = 2021-07-14 00:02:54.554033851 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '3' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 960} , self = 234 , parent = Just 76 , duration = 2.762678587000 , status = Success , start = 2021-07-14 00:02:56.247753448 UTC , finish = 2021-07-14 00:02:59.010432035 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '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 = 50 , num_strict_rules = 50 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 22 , total_length = 1600} , self = 279 , parent = Just 161 , duration = 12.184172784000 , status = Success , start = 2021-07-14 00:03:01.917740839 UTC , finish = 2021-07-14 00:03:14.101913623 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 56 , num_strict_rules = 56 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 25 , total_length = 1904} , self = 316 , parent = Just 128 , duration = 16.218704360000 , status = Success , start = 2021-07-14 00:03:15.92252296 UTC , finish = 2021-07-14 00:03:32.14122732 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 90 , num_strict_rules = 90 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 3240} , self = 410 , parent = Just 181 , duration = 45.199491882000 , status = Success , start = 2021-07-14 00:03:39.389878146 UTC , finish = 2021-07-14 00:04:24.589370028 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '8' ] , 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 3 max duration 10.848192212000 min duration 1.655854138000 total durat. 16.677543786000 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 = 3 , total_length = 24} , self = 129 , parent = Just 0 , duration = 1.655854138000 , status = Success , start = 2021-07-14 00:02:50.98747489 UTC , finish = 2021-07-14 00:02:52.643329028 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '3' , '1' ] , 3 , True )} 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 104} , self = 245 , parent = Just 44 , duration = 4.173497436000 , status = Success , start = 2021-07-14 00:02:55.731782476 UTC , finish = 2021-07-14 00:02:59.905279912 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '3' ] , 3 , True )} 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 = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 252} , self = 344 , parent = Just 89 , duration = 10.848192212000 , status = Success , start = 2021-07-14 00:03:27.27152637 UTC , finish = 2021-07-14 00:03:38.119718582 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '1' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 17 max duration 35.195148048000 min duration 0.242797052000 total durat. 201.316689574000 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 = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 117 , parent = Just 16 , duration = 1.327333976000 , status = Success , start = 2021-07-14 00:02:50.999940721 UTC , finish = 2021-07-14 00:02:52.327274697 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 12 , total_length = 369} , self = 230 , parent = Just 209 , duration = 2.385431585000 , status = Success , start = 2021-07-14 00:02:56.346806566 UTC , finish = 2021-07-14 00:02:58.732238151 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 21 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 8 , alphabet_size = 9 , total_length = 419} , self = 182 , parent = Just 120 , duration = 2.782468096000 , status = Success , start = 2021-07-14 00:02:52.444333041 UTC , finish = 2021-07-14 00:02:55.226801137 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 222 , parent = Just 183 , duration = 2.902145455000 , status = Success , start = 2021-07-14 00:02:55.339295643 UTC , finish = 2021-07-14 00:02:58.241441098 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 25 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 15 , alphabet_size = 14 , total_length = 615} , self = 208 , parent = Just 142 , duration = 3.057521555000 , status = Success , start = 2021-07-14 00:02:53.223306881 UTC , finish = 2021-07-14 00:02:56.280828436 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 270} , self = 320 , parent = Just 301 , duration = 6.099693833000 , status = Success , start = 2021-07-14 00:03:26.245306452 UTC , finish = 2021-07-14 00:03:32.345000285 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 301} , self = 273 , parent = Just 226 , duration = 12.160554586000 , status = Success , start = 2021-07-14 00:02:58.738973488 UTC , finish = 2021-07-14 00:03:10.899528074 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 28 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 12 , alphabet_size = 12 , total_length = 633} , self = 387 , parent = Just 370 , duration = 12.345952165000 , status = Success , start = 2021-07-14 00:03:55.782779551 UTC , finish = 2021-07-14 00:04:08.128731716 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '8' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 836} , self = 324 , parent = Just 224 , duration = 20.506685979000 , status = Success , start = 2021-07-14 00:03:12.252059665 UTC , finish = 2021-07-14 00:03:32.758745644 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 34 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 801} , self = 369 , parent = Just 322 , duration = 22.418497927000 , status = Success , start = 2021-07-14 00:03:32.861838846 UTC , finish = 2021-07-14 00:03:55.280336773 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 36 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 836} , self = 296 , parent = Just 224 , duration = 23.063288161000 , status = Success , start = 2021-07-14 00:02:58.534812711 UTC , finish = 2021-07-14 00:03:21.598100872 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 36 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 18 , alphabet_size = 14 , total_length = 836} , self = 429 , parent = Just 224 , duration = 23.356673405000 , status = Success , start = 2021-07-14 00:04:09.834156279 UTC , finish = 2021-07-14 00:04:33.190829684 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 310 , parent = Just 74 , duration = 31.676115699000 , status = Success , start = 2021-07-14 00:02:59.119948162 UTC , finish = 2021-07-14 00:03:30.796063861 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 49 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 35 , alphabet_size = 21 , total_length = 1351} , self = 382 , parent = Just 231 , duration = 35.195148048000 , status = Success , start = 2021-07-14 00:03:32.174338685 UTC , finish = 2021-07-14 00:04:07.369486733 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '4' ] , 3 , True )} Success : Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 15 max duration 38.159008078000 min duration 0.506010421000 total durat. 175.377378477000 Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 261} , self = 157 , parent = Just 55 , duration = 1.829390095000 , status = Success , start = 2021-07-14 00:02:51.672237621 UTC , finish = 2021-07-14 00:02:53.501627716 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 4 , total_length = 122} , self = 133 , parent = Just 16 , duration = 1.901143507000 , status = Success , start = 2021-07-14 00:02:50.999872017 UTC , finish = 2021-07-14 00:02:52.901015524 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 165 , parent = Just 106 , duration = 1.909413036000 , status = Success , start = 2021-07-14 00:02:52.125471818 UTC , finish = 2021-07-14 00:02:54.034884854 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 12 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 6 , alphabet_size = 9 , total_length = 261} , self = 214 , parent = Just 55 , duration = 2.734573032000 , status = Success , start = 2021-07-14 00:02:54.467153488 UTC , finish = 2021-07-14 00:02:57.20172652 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '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 = 15 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 9 , alphabet_size = 12 , total_length = 369} , self = 257 , parent = Just 209 , duration = 5.081588749000 , status = Success , start = 2021-07-14 00:02:57.223269898 UTC , finish = 2021-07-14 00:03:02.304858647 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 8 , alphabet_size = 9 , total_length = 419} , self = 242 , parent = Just 120 , duration = 6.547448789000 , status = Success , start = 2021-07-14 00:02:53.329404893 UTC , finish = 2021-07-14 00:02:59.876853682 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 261 , parent = Just 183 , duration = 7.002899270000 , status = Success , start = 2021-07-14 00:02:55.404838205 UTC , finish = 2021-07-14 00:03:02.407737475 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 270} , self = 329 , parent = Just 301 , duration = 7.309523964000 , status = Success , start = 2021-07-14 00:03:26.128296646 UTC , finish = 2021-07-14 00:03:33.43782061 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 337 , parent = Just 183 , duration = 10.906687728000 , status = Success , start = 2021-07-14 00:03:25.761508726 UTC , finish = 2021-07-14 00:03:36.668196454 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 301} , self = 285 , parent = Just 226 , duration = 17.955226224000 , status = Success , start = 2021-07-14 00:02:58.641074579 UTC , finish = 2021-07-14 00:03:16.596300803 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 404 , parent = Just 183 , duration = 19.294024405000 , status = Success , start = 2021-07-14 00:04:00.792730448 UTC , finish = 2021-07-14 00:04:20.086754853 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 8 , total_length = 367} , self = 376 , parent = Just 183 , duration = 23.877359229000 , status = Success , start = 2021-07-14 00:03:35.573510721 UTC , finish = 2021-07-14 00:03:59.45086995 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 28 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 20 , alphabet_size = 18 , total_length = 772} , self = 351 , parent = Just 74 , duration = 30.363081950000 , status = Success , start = 2021-07-14 00:03:08.463057339 UTC , finish = 2021-07-14 00:03:38.826139289 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 49 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 35 , alphabet_size = 21 , total_length = 1351} , self = 419 , parent = Just 231 , duration = 38.159008078000 , status = Success , start = 2021-07-14 00:03:48.320815828 UTC , finish = 2021-07-14 00:04:26.479823906 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '4' ] , 3 , True )} Success : Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 3 max duration 44.070976727000 min duration 6.262600637000 total durat. 80.354947042000 Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 3 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 55} , self = 220 , parent = Just 11 , duration = 6.262600637000 , status = Success , start = 2021-07-14 00:02:50.99068365 UTC , finish = 2021-07-14 00:02:57.253284287 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 4 , total_length = 122} , self = 293 , parent = Just 16 , duration = 30.021369678000 , status = Success , start = 2021-07-14 00:02:50.999741158 UTC , finish = 2021-07-14 00:03:21.021110836 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 8 , total_length = 174} , self = 413 , parent = Just 106 , duration = 44.070976727000 , status = Success , start = 2021-07-14 00:03:41.962585887 UTC , finish = 2021-07-14 00:04:26.033562614 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '4' ] , 3 , True )} Success : Transport { mode = Standard, max_derivation_length = Nothing} total number 1 max duration 105.937909140000 min duration 105.937909140000 total durat. 105.937909140000 Info { what = Transport { mode = Standard, max_derivation_length = Nothing} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 3 , total_length = 24} , self = 432 , parent = Just 0 , duration = 105.937909140000 , status = Success , start = 2021-07-14 00:02:50.981619934 UTC , finish = 2021-07-14 00:04:36.919529074 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' ] , 1 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 13 max duration 17.438994764000 min duration 0.044388231000 total durat. 30.824952645000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 84 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 50 , alphabet_size = 29 , total_length = 2351} , self = 263 , parent = Just 262 , duration = 1.484642314000 , status = Success , start = 2021-07-14 00:03:02.407933534 UTC , finish = 2021-07-14 00:03:03.892575848 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 84 , num_strict_rules = 34 , num_top_rules = 34 , num_weak_rules = 50 , alphabet_size = 29 , total_length = 2351} , self = 408 , parent = Just 405 , duration = 1.660301824000 , status = Success , start = 2021-07-14 00:04:20.087151037 UTC , finish = 2021-07-14 00:04:21.747452861 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 76 , num_strict_rules = 31 , num_top_rules = 31 , num_weak_rules = 45 , alphabet_size = 29 , total_length = 2128} , self = 335 , parent = Just 330 , duration = 1.815334393000 , status = Success , start = 2021-07-14 00:03:33.441503355 UTC , finish = 2021-07-14 00:03:35.256837748 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 78 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 45 , alphabet_size = 29 , total_length = 2171} , self = 292 , parent = Just 286 , duration = 4.352637137000 , status = Success , start = 2021-07-14 00:03:16.596591461 UTC , finish = 2021-07-14 00:03:20.949228598 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 396 , num_strict_rules = 77 , num_top_rules = 77 , num_weak_rules = 319 , alphabet_size = 97 , total_length = 14278} , self = 348 , parent = Just 294 , duration = 17.438994764000 , status = Success , start = 2021-07-14 00:03:21.021496999 UTC , finish = 2021-07-14 00:03:38.460491763 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '7' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 70 max duration 48.512143039000 min duration 0.000108974000 total durat. 256.920355142000 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 = 90 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 3240} , self = 216 , parent = Just 200 , duration = 1.142266344000 , status = Fail , start = 2021-07-14 00:02:56.066083757 UTC , finish = 2021-07-14 00:02:57.208350101 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 178 , parent = Just 130 , duration = 1.882537410000 , status = Fail , start = 2021-07-14 00:02:52.643493342 UTC , finish = 2021-07-14 00:02:54.526030752 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 186 , parent = Just 152 , duration = 1.996255137000 , status = Fail , start = 2021-07-14 00:02:53.277639236 UTC , finish = 2021-07-14 00:02:55.273894373 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 5832} , self = 341 , parent = Just 334 , duration = 2.241265201000 , status = Fail , start = 2021-07-14 00:03:35.144818266 UTC , finish = 2021-07-14 00:03:37.386083467 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '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 = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 255 , parent = Just 235 , duration = 2.416409769000 , status = Fail , start = 2021-07-14 00:02:59.010551122 UTC , finish = 2021-07-14 00:03:01.426960891 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '7' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 42 , total_length = 5832} , self = 331 , parent = Just 315 , duration = 2.959731706000 , status = Fail , start = 2021-07-14 00:03:32.128494895 UTC , finish = 2021-07-14 00:03:35.088226601 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 427 , parent = Just 411 , duration = 3.641002859000 , status = Fail , start = 2021-07-14 00:04:24.589730134 UTC , finish = 2021-07-14 00:04:28.230732993 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 96 , num_strict_rules = 16 , num_top_rules = 16 , num_weak_rules = 80 , alphabet_size = 37 , total_length = 3128} , self = 265 , parent = Just 258 , duration = 5.606115085000 , status = Fail , start = 2021-07-14 00:03:02.309669543 UTC , finish = 2021-07-14 00:03:07.915784628 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 346 , parent = Just 317 , duration = 6.292480844000 , status = Fail , start = 2021-07-14 00:03:32.141497488 UTC , finish = 2021-07-14 00:03:38.433978332 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 242 , num_strict_rules = 242 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 55 , total_length = 9196} , self = 417 , parent = Just 403 , duration = 6.827140342000 , status = Fail , start = 2021-07-14 00:04:19.474271095 UTC , finish = 2021-07-14 00:04:26.301411437 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 150 , num_strict_rules = 20 , num_top_rules = 20 , num_weak_rules = 130 , alphabet_size = 51 , total_length = 5230} , self = 359 , parent = Just 352 , duration = 8.311720870000 , status = Fail , start = 2021-07-14 00:03:38.826346502 UTC , finish = 2021-07-14 00:03:47.138067372 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 132 , num_strict_rules = 132 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 45 , total_length = 5016} , self = 275 , parent = Just 260 , duration = 9.166314155000 , status = Fail , start = 2021-07-14 00:03:02.39520261 UTC , finish = 2021-07-14 00:03:11.561516765 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 242 , num_strict_rules = 242 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 55 , total_length = 9196} , self = 406 , parent = Just 394 , duration = 10.944650242000 , status = Fail , start = 2021-07-14 00:04:09.587797442 UTC , finish = 2021-07-14 00:04:20.532447684 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '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 = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 367 , parent = Just 350 , duration = 13.641489820000 , status = Fail , start = 2021-07-14 00:03:38.492836224 UTC , finish = 2021-07-14 00:03:52.134326044 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 283 , parent = Just 246 , duration = 15.841686929000 , status = Fail , start = 2021-07-14 00:02:59.905420594 UTC , finish = 2021-07-14 00:03:15.747107523 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 306 , parent = Just 254 , duration = 25.356240587000 , status = Fail , start = 2021-07-14 00:03:01.124531429 UTC , finish = 2021-07-14 00:03:26.480772016 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 425 , parent = Just 366 , duration = 38.836034548000 , status = Fail , start = 2021-07-14 00:03:48.671022243 UTC , finish = 2021-07-14 00:04:27.507056791 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '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 = 240 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 216 , alphabet_size = 70 , total_length = 8916} , self = 353 , parent = Just 221 , duration = 42.234438728000 , status = Fail , start = 2021-07-14 00:02:57.253444374 UTC , finish = 2021-07-14 00:03:39.487883102 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 304 , num_strict_rules = 304 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 74 , total_length = 12768} , self = 421 , parent = Just 345 , duration = 48.512143039000 , status = Fail , start = 2021-07-14 00:03:38.123533583 UTC , finish = 2021-07-14 00:04:26.635676622 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '9' ] , 3 , False )} **************************************************