/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 2 letters admits a non-terminating transport system with pivot [a, a, a, a, a, a, a] alphabet [[b, a, b], [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, a, b] [b, a, b] pivot ->^1 pivot [[b, a, b], [b, a, b], [a]] because of derivation [b, a, b, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, a, b, b, a, b, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, a, b], [b, a, b]] pivot ^ 10 ************************************************** proof ************************************************** property Termination has value Just False for SRS [b, a, b, a, a, a, a, a, a, a] -> [ a , a , a , a , a , a , a , b , a , b , b , a , b , a ] {- Input 0 -} reason admits a non-terminating transport system with pivot [a, a, a, a, a, a, a] alphabet [[b, a, b], [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, a, b] [b, a, b] pivot ->^1 pivot [[b, a, b], [b, a, b], [a]] because of derivation [b, a, b, a, a, a, a, a, a, a] ->^1 [a, a, a, a, a, a, a, b, a, b, b, a, b, a] via steps Step { rule = 0, position = 0} infinite derivation starts at [[b, a, b], [b, a, b]] pivot ^ 10 ************************************************** skeleton: (1,2)\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 86.295213259000 min duration 73.580461682000 total durat. 159.875674941000 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 = 24} , self = 384 , parent = Just 4 , duration = 73.580461682000 , status = Fail , start = 2021-07-14 00:03:21.320941549 UTC , finish = 2021-07-14 00:04:34.901403231 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' ] , 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 = 24} , self = 410 , parent = Just 0 , duration = 86.295213259000 , status = Fail , start = 2021-07-14 00:03:21.320900908 UTC , finish = 2021-07-14 00:04:47.616114167 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 2 max duration 5.695338522000 min duration 4.588951489000 total durat. 10.284290011000 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 = 82} , self = 157 , parent = Just 11 , duration = 4.588951489000 , status = Fail , start = 2021-07-14 00:03:21.322725064 UTC , finish = 2021-07-14 00:03:25.911676553 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 122} , self = 179 , parent = Just 16 , duration = 5.695338522000 , status = Fail , start = 2021-07-14 00:03:21.324683289 UTC , finish = 2021-07-14 00:03:27.020021811 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '6' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 60.057314368000 min duration 60.057314368000 total durat. 60.057314368000 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 = 82} , self = 451 , parent = Just 11 , duration = 60.057314368000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:55.953244807 UTC , finish = 2021-07-14 00:04:56.010559175 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '4' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 30.037477602000 min duration 30.030342194000 total durat. 60.067819796000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 8 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 122} , self = 290 , parent = Just 16 , duration = 30.030342194000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:27.031351054 UTC , finish = 2021-07-14 00:03:57.061693248 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '5' ] , 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 = 82} , self = 287 , parent = Just 11 , duration = 30.037477602000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:25.912043024 UTC , finish = 2021-07-14 00:03:55.949520626 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '3' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 55.677039529000 min duration 50.065733225000 total durat. 105.742772754000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 122} , self = 369 , parent = Just 16 , duration = 50.065733225000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:41.346267281 UTC , finish = 2021-07-14 00:04:31.412000506 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '5' ] , 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 = 82} , self = 411 , parent = Just 11 , duration = 55.677039529000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:52.217969673 UTC , finish = 2021-07-14 00:04:47.895009202 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '9' ] , 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 19.070098071000 min duration 19.070098071000 total durat. 19.070098071000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 122} , self = 264 , parent = Just 16 , duration = 19.070098071000 , status = Fail , start = 2021-07-14 00:03:22.275730261 UTC , finish = 2021-07-14 00:03:41.345828332 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '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.015584242000 min duration 30.015584242000 total durat. 30.015584242000 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 = 82} , self = 284 , parent = Just 11 , duration = 30.015584242000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:22.198669789 UTC , finish = 2021-07-14 00:03:52.214254031 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '6' ] , 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.950764226000 min duration 0.873899090000 total durat. 1.824663316000 Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 0.772247099000 min duration 0.641291656000 total durat. 1.413538755000 Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 4.545563798000 min duration 3.947425736000 total durat. 8.492989534000 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 = 82} , self = 158 , parent = Just 11 , duration = 3.947425736000 , status = Fail , start = 2021-07-14 00:03:21.964256003 UTC , finish = 2021-07-14 00:03:25.911681739 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '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 = 3 , total_length = 122} , self = 178 , parent = Just 16 , duration = 4.545563798000 , status = Fail , start = 2021-07-14 00:03:22.097168764 UTC , finish = 2021-07-14 00:03:26.642732562 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '3' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 2 max duration 40.126270809000 min duration 35.864339988000 total durat. 75.990610797000 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 = 82} , self = 301 , parent = Just 11 , duration = 35.864339988000 , status = Fail , start = 2021-07-14 00:03:25.912145923 UTC , finish = 2021-07-14 00:04:01.776485911 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '6' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 122} , self = 322 , parent = Just 16 , duration = 40.126270809000 , status = Fail , start = 2021-07-14 00:03:26.643156398 UTC , finish = 2021-07-14 00:04:06.769427207 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '2' ] , 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 95.581386798000 min duration 95.581386798000 total durat. 95.581386798000 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 = 2 , total_length = 24} , self = 453 , parent = Just 0 , duration = 95.581386798000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-14 00:03:21.320894859 UTC , finish = 2021-07-14 00:04:56.902281657 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' ] , 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 91.488183991000 min duration 91.488183991000 total durat. 91.488183991000 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 = 2 , total_length = 24} , self = 444 , parent = Just 0 , duration = 91.488183991000 , status = Success , start = 2021-07-14 00:03:21.32280157 UTC , finish = 2021-07-14 00:04:52.810985561 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '1' ] , 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 14 max duration 29.203966688000 min duration 0.035484792000 total durat. 112.143982826000 Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 900} , self = 148 , parent = Just 44 , duration = 1.952532446000 , status = Success , start = 2021-07-14 00:03:23.431429192 UTC , finish = 2021-07-14 00:03:25.383961638 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 750} , self = 197 , parent = Just 149 , duration = 3.065515492000 , status = Success , start = 2021-07-14 00:03:25.969363792 UTC , finish = 2021-07-14 00:03:29.034879284 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '6' , '2' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1200} , self = 240 , parent = Just 103 , duration = 4.847556204000 , status = Success , start = 2021-07-14 00:03:30.546926976 UTC , finish = 2021-07-14 00:03:35.39448318 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '9' ] , 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 = 12 , total_length = 600} , self = 256 , parent = Just 213 , duration = 6.566915319000 , status = Success , start = 2021-07-14 00:03:31.76181381 UTC , finish = 2021-07-14 00:03:38.328729129 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '5' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 960} , self = 419 , parent = Just 386 , duration = 13.738487133000 , status = Success , start = 2021-07-14 00:04:37.209539722 UTC , finish = 2021-07-14 00:04:50.948026855 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '6' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 1152} , self = 380 , parent = Just 352 , duration = 13.763628295000 , status = Success , start = 2021-07-14 00:04:20.868986117 UTC , finish = 2021-07-14 00:04:34.632614412 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '2' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 40 , num_strict_rules = 40 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 1200} , self = 291 , parent = Just 103 , duration = 17.457653392000 , status = Success , start = 2021-07-14 00:03:40.853851922 UTC , finish = 2021-07-14 00:03:58.311505314 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '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 = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 2464} , self = 345 , parent = Just 253 , duration = 19.788791281000 , status = Success , start = 2021-07-14 00:03:58.584313992 UTC , finish = 2021-07-14 00:04:18.373105273 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 49 , num_strict_rules = 49 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 1568} , self = 412 , parent = Just 346 , duration = 29.203966688000 , status = Success , start = 2021-07-14 00:04:19.152935554 UTC , finish = 2021-07-14 00:04:48.356902242 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '6' ] , 3 , True )} Success : Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 10 max duration 28.184719061000 min duration 0.235460934000 total durat. 126.580683090000 Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 252} , self = 162 , parent = Just 81 , duration = 3.005974038000 , status = Success , start = 2021-07-14 00:03:23.026081161 UTC , finish = 2021-07-14 00:03:26.032055199 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '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 = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 750} , self = 245 , parent = Just 149 , duration = 8.132720485000 , status = Success , start = 2021-07-14 00:03:28.371907999 UTC , finish = 2021-07-14 00:03:36.504628484 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 750} , self = 341 , parent = Just 149 , duration = 8.914609838000 , status = Success , start = 2021-07-14 00:04:09.232989008 UTC , finish = 2021-07-14 00:04:18.147598846 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '8' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 1152} , self = 385 , parent = Just 352 , duration = 14.993103141000 , status = Success , start = 2021-07-14 00:04:20.703268969 UTC , finish = 2021-07-14 00:04:35.69637211 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 16 , total_length = 960} , self = 441 , parent = Just 386 , duration = 16.476885258000 , status = Success , start = 2021-07-14 00:04:36.303591234 UTC , finish = 2021-07-14 00:04:52.780476492 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '0' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 49 , num_strict_rules = 49 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 1568} , self = 399 , parent = Just 346 , duration = 20.832819495000 , status = Success , start = 2021-07-14 00:04:19.97437472 UTC , finish = 2021-07-14 00:04:40.807194215 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '3' ] , 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 = 12 , total_length = 600} , self = 288 , parent = Just 213 , duration = 25.072482759000 , status = Success , start = 2021-07-14 00:03:31.683828319 UTC , finish = 2021-07-14 00:03:56.756311078 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 2464} , self = 403 , parent = Just 85 , duration = 28.184719061000 , status = Success , start = 2021-07-14 00:04:18.307252078 UTC , finish = 2021-07-14 00:04:46.491971139 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '6' ] , 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 41.181719347000 min duration 2.153421554000 total durat. 54.613117732000 Info { what = Tiling { method = Backward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 24} , self = 119 , parent = Just 0 , duration = 2.153421554000 , status = Success , start = 2021-07-14 00:03:21.322846756 UTC , finish = 2021-07-14 00:03:23.47626831 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 4 , total_length = 104} , self = 258 , parent = Just 38 , duration = 11.277976831000 , status = Success , start = 2021-07-14 00:03:27.747991514 UTC , finish = 2021-07-14 00:03:39.025968345 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '9' ] , 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 = 7 , total_length = 252} , self = 417 , parent = Just 81 , duration = 41.181719347000 , status = Success , start = 2021-07-14 00:04:09.233088127 UTC , finish = 2021-07-14 00:04:50.414807474 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '2' ] , 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 16 max duration 21.664591826000 min duration 0.038222020000 total durat. 117.382072060000 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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 504} , self = 106 , parent = Just 57 , duration = 1.344481767000 , status = Success , start = 2021-07-14 00:03:21.926156425 UTC , finish = 2021-07-14 00:03:23.270638192 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 9 , total_length = 504} , self = 142 , parent = Just 57 , duration = 1.643680271000 , status = Success , start = 2021-07-14 00:03:23.439805114 UTC , finish = 2021-07-14 00:03:25.083485385 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 900} , self = 192 , parent = Just 44 , duration = 3.609875430000 , status = Success , start = 2021-07-14 00:03:25.106189171 UTC , finish = 2021-07-14 00:03:28.716064601 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '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 = 12 , total_length = 750} , self = 201 , parent = Just 149 , duration = 3.967919114000 , status = Success , start = 2021-07-14 00:03:25.502208454 UTC , finish = 2021-07-14 00:03:29.470127568 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '5' , '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 = 20 , num_strict_rules = 20 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 600} , self = 252 , parent = Just 213 , duration = 6.423010187000 , status = Success , start = 2021-07-14 00:03:31.521478829 UTC , finish = 2021-07-14 00:03:37.944489016 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 900} , self = 250 , parent = Just 44 , duration = 7.321054862000 , status = Success , start = 2021-07-14 00:03:30.590719901 UTC , finish = 2021-07-14 00:03:37.911774763 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 1152} , self = 382 , parent = Just 352 , duration = 14.464343646000 , status = Success , start = 2021-07-14 00:04:20.349543534 UTC , finish = 2021-07-14 00:04:34.81388718 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '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 = 16 , total_length = 960} , self = 424 , parent = Just 386 , duration = 14.972428026000 , status = Success , start = 2021-07-14 00:04:36.09492716 UTC , finish = 2021-07-14 00:04:51.067355186 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 21 , total_length = 2464} , self = 357 , parent = Just 85 , duration = 19.312435134000 , status = Success , start = 2021-07-14 00:04:01.494545486 UTC , finish = 2021-07-14 00:04:20.80698062 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '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 = 30 , num_strict_rules = 30 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 900} , self = 297 , parent = Just 44 , duration = 21.111196144000 , status = Success , start = 2021-07-14 00:03:39.989266749 UTC , finish = 2021-07-14 00:04:01.100462893 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 49 , num_strict_rules = 49 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 19 , total_length = 1568} , self = 397 , parent = Just 346 , duration = 21.664591826000 , status = Success , start = 2021-07-14 00:04:19.021958811 UTC , finish = 2021-07-14 00:04:40.686550637 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '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 19.322631936000 min duration 0.214380274000 total durat. 63.081752895000 Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 9 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 7 , total_length = 252} , self = 153 , parent = Just 81 , duration = 2.185664634000 , status = Success , start = 2021-07-14 00:03:23.235422897 UTC , finish = 2021-07-14 00:03:25.421087531 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '8' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 25 , num_strict_rules = 25 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 750} , self = 212 , parent = Just 149 , duration = 2.456707417000 , status = Success , start = 2021-07-14 00:03:28.917890283 UTC , finish = 2021-07-14 00:03:31.3745977 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '1' ] , 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 = 12 , total_length = 600} , self = 265 , parent = Just 213 , duration = 10.770902920000 , status = Success , start = 2021-07-14 00:03:31.568323876 UTC , finish = 2021-07-14 00:03:42.339226796 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '7' ] , 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 = 16 , total_length = 960} , self = 422 , parent = Just 386 , duration = 12.108344013000 , status = Success , start = 2021-07-14 00:04:38.952321344 UTC , finish = 2021-07-14 00:04:51.060665357 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '0' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 2464} , self = 351 , parent = Just 253 , duration = 15.407449920000 , status = Success , start = 2021-07-14 00:04:04.209864784 UTC , finish = 2021-07-14 00:04:19.617314704 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '0' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 18 , total_length = 1152} , self = 395 , parent = Just 352 , duration = 19.322631936000 , status = Success , start = 2021-07-14 00:04:20.765890345 UTC , finish = 2021-07-14 00:04:40.088522281 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '7' ] , 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 23.155795185000 min duration 2.005615465000 total durat. 33.685860426000 Info { what = Tiling { method = Forward , width = 8 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 1 , num_strict_rules = 1 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 24} , self = 112 , parent = Just 0 , duration = 2.005615465000 , status = Success , start = 2021-07-14 00:03:21.324665202 UTC , finish = 2021-07-14 00:03:23.330280667 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '4' ] , 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 = 4 , total_length = 104} , self = 243 , parent = Just 38 , duration = 8.524449776000 , status = Success , start = 2021-07-14 00:03:27.748088148 UTC , finish = 2021-07-14 00:03:36.272537924 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' , '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 = 7 , total_length = 252} , self = 374 , parent = Just 81 , duration = 23.155795185000 , status = Success , start = 2021-07-14 00:04:10.934033803 UTC , finish = 2021-07-14 00:04:34.089828988 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '7' ] , 3 , True )} Success : Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 16 max duration 58.271254234000 min duration 0.397292607000 total durat. 208.235600677000 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 = 3 , total_length = 122} , self = 90 , parent = Just 16 , duration = 1.421627184000 , status = Success , start = 2021-07-14 00:03:21.33692608 UTC , finish = 2021-07-14 00:03:22.758553264 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 15 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 303} , self = 164 , parent = Just 133 , duration = 1.851328289000 , status = Success , start = 2021-07-14 00:03:24.237576999 UTC , finish = 2021-07-14 00:03:26.088905288 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '2' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 432} , self = 127 , parent = Just 64 , duration = 1.857893630000 , status = Success , start = 2021-07-14 00:03:21.902320127 UTC , finish = 2021-07-14 00:03:23.760213757 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 202} , self = 184 , parent = Just 165 , duration = 2.060292617000 , status = Success , start = 2021-07-14 00:03:26.155337833 UTC , finish = 2021-07-14 00:03:28.21563045 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 419} , self = 171 , parent = Just 94 , duration = 3.523584196000 , status = Success , start = 2021-07-14 00:03:22.844989065 UTC , finish = 2021-07-14 00:03:26.368573261 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 432} , self = 230 , parent = Just 64 , duration = 3.870779241000 , status = Success , start = 2021-07-14 00:03:28.525289798 UTC , finish = 2021-07-14 00:03:32.396069039 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 188} , self = 236 , parent = Just 188 , duration = 4.566146601000 , status = Success , start = 2021-07-14 00:03:28.611674541 UTC , finish = 2021-07-14 00:03:33.177821142 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 6 , total_length = 367} , self = 217 , parent = Just 172 , duration = 5.311577157000 , status = Success , start = 2021-07-14 00:03:26.46666452 UTC , finish = 2021-07-14 00:03:31.778241677 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '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 = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 432} , self = 278 , parent = Just 64 , duration = 14.131426324000 , status = Success , start = 2021-07-14 00:03:33.496013816 UTC , finish = 2021-07-14 00:03:47.62744014 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 288} , self = 306 , parent = Just 279 , duration = 14.520395215000 , status = Success , start = 2021-07-14 00:03:48.000177684 UTC , finish = 2021-07-14 00:04:02.520572899 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 270} , self = 370 , parent = Just 337 , duration = 16.649229223000 , status = Success , start = 2021-07-14 00:04:15.091357631 UTC , finish = 2021-07-14 00:04:31.740586854 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 301} , self = 311 , parent = Just 227 , duration = 30.910071206000 , status = Success , start = 2021-07-14 00:03:32.618514591 UTC , finish = 2021-07-14 00:04:03.528585797 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 39 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 21 , alphabet_size = 12 , total_length = 920} , self = 436 , parent = Just 222 , duration = 48.448933141000 , status = Success , start = 2021-07-14 00:04:04.08846049 UTC , finish = 2021-07-14 00:04:52.537393631 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '7' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 39 , num_strict_rules = 18 , num_top_rules = 18 , num_weak_rules = 21 , alphabet_size = 12 , total_length = 920} , self = 366 , parent = Just 222 , duration = 58.271254234000 , status = Success , start = 2021-07-14 00:03:32.28450876 UTC , finish = 2021-07-14 00:04:30.555762994 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '7' ] , 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 36.896178916000 min duration 1.474742062000 total durat. 245.360262963000 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 = 82} , self = 96 , parent = Just 11 , duration = 1.474742062000 , status = Success , start = 2021-07-14 00:03:21.332659542 UTC , finish = 2021-07-14 00:03:22.807401604 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 67} , self = 146 , parent = Just 123 , duration = 1.575214145000 , status = Success , start = 2021-07-14 00:03:23.552269072 UTC , finish = 2021-07-14 00:03:25.127483217 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 122} , self = 130 , parent = Just 16 , duration = 2.567064572000 , status = Success , start = 2021-07-14 00:03:21.337190831 UTC , finish = 2021-07-14 00:03:23.904255403 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '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 = 9 , num_top_rules = 9 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 303} , self = 224 , parent = Just 133 , duration = 6.172121303000 , status = Success , start = 2021-07-14 00:03:26.018326742 UTC , finish = 2021-07-14 00:03:32.190448045 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 202} , self = 234 , parent = Just 165 , duration = 6.743274808000 , status = Success , start = 2021-07-14 00:03:26.206478631 UTC , finish = 2021-07-14 00:03:32.949753439 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '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 = 21 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 9 , alphabet_size = 8 , total_length = 432} , self = 209 , parent = Just 64 , duration = 7.717038436000 , status = Success , start = 2021-07-14 00:03:23.520692887 UTC , finish = 2021-07-14 00:03:31.237731323 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 188} , self = 248 , parent = Just 188 , duration = 9.066896734000 , status = Success , start = 2021-07-14 00:03:28.579761938 UTC , finish = 2021-07-14 00:03:37.646658672 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 202} , self = 361 , parent = Just 165 , duration = 13.747392758000 , status = Success , start = 2021-07-14 00:04:11.66181398 UTC , finish = 2021-07-14 00:04:25.409206738 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 21 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 8 , alphabet_size = 7 , total_length = 419} , self = 271 , parent = Just 94 , duration = 19.250623228000 , status = Success , start = 2021-07-14 00:03:24.786813695 UTC , finish = 2021-07-14 00:03:44.037436923 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '3' , '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 = 14 , num_strict_rules = 8 , num_top_rules = 8 , num_weak_rules = 6 , alphabet_size = 7 , total_length = 288} , self = 439 , parent = Just 279 , duration = 22.119301192000 , status = Success , start = 2021-07-14 00:04:30.548597656 UTC , finish = 2021-07-14 00:04:52.667898848 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '6' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 10 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 202} , self = 324 , parent = Just 165 , duration = 23.785548049000 , status = Success , start = 2021-07-14 00:03:44.782556347 UTC , finish = 2021-07-14 00:04:08.568104396 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 14 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 270} , self = 393 , parent = Just 337 , duration = 25.296389882000 , status = Success , start = 2021-07-14 00:04:14.457964243 UTC , finish = 2021-07-14 00:04:39.754354125 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 19 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 6 , alphabet_size = 6 , total_length = 367} , self = 408 , parent = Just 172 , duration = 33.377087693000 , status = Success , start = 2021-07-14 00:04:14.203235039 UTC , finish = 2021-07-14 00:04:47.580322732 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '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 = 6 , total_length = 367} , self = 304 , parent = Just 172 , duration = 35.571389185000 , status = Success , start = 2021-07-14 00:03:26.526244238 UTC , finish = 2021-07-14 00:04:02.097633423 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 6 , total_length = 301} , self = 327 , parent = Just 227 , duration = 36.896178916000 , status = Success , start = 2021-07-14 00:03:32.44156881 UTC , finish = 2021-07-14 00:04:09.337747726 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 37.636186847000 min duration 23.252009393000 total durat. 90.136073557000 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 = 5 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 82} , self = 274 , parent = Just 11 , duration = 23.252009393000 , status = Success , start = 2021-07-14 00:03:21.332666226 UTC , finish = 2021-07-14 00:03:44.584675619 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 = 4 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 1 , alphabet_size = 3 , total_length = 67} , self = 285 , parent = Just 123 , duration = 29.247877317000 , status = Success , start = 2021-07-14 00:03:23.539261293 UTC , finish = 2021-07-14 00:03:52.78713861 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '7' ] , 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 = 3 , total_length = 122} , self = 295 , parent = Just 16 , duration = 37.636186847000 , status = Success , start = 2021-07-14 00:03:21.33701512 UTC , finish = 2021-07-14 00:03:58.973201967 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '6' , '5' ] , 3 , True )} Success : Transport { mode = Standard, max_derivation_length = Nothing} total number 1 max duration 95.574980310000 min duration 95.574980310000 total durat. 95.574980310000 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 = 2 , total_length = 24} , self = 452 , parent = Just 0 , duration = 95.574980310000 , status = Success , start = 2021-07-14 00:03:21.320910756 UTC , finish = 2021-07-14 00:04:56.895891066 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '2' ] , 1 , True )} Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 27 max duration 63.897947655000 min duration 0.031527263000 total durat. 246.857942214000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 460 , num_strict_rules = 460 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 90 , total_length = 19320} , self = 443 , parent = Just 418 , duration = 2.372758539000 , status = Success , start = 2021-07-14 00:04:50.41497188 UTC , finish = 2021-07-14 00:04:52.787730419 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 165 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 132 , alphabet_size = 35 , total_length = 4961} , self = 329 , parent = Just 325 , duration = 2.580518105000 , status = Success , start = 2021-07-14 00:04:08.568329622 UTC , finish = 2021-07-14 00:04:11.148847727 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 = 166 , num_strict_rules = 47 , num_top_rules = 47 , num_weak_rules = 119 , alphabet_size = 36 , total_length = 4847} , self = 331 , parent = Just 328 , duration = 2.641149444000 , status = Success , start = 2021-07-14 00:04:09.337968089 UTC , finish = 2021-07-14 00:04:11.979117533 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 154 , num_strict_rules = 154 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 48 , total_length = 5852} , self = 168 , parent = Just 113 , duration = 2.782495891000 , status = Success , start = 2021-07-14 00:03:23.330417716 UTC , finish = 2021-07-14 00:03:26.112913607 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 181 , num_strict_rules = 48 , num_top_rules = 48 , num_weak_rules = 133 , alphabet_size = 37 , total_length = 5315} , self = 317 , parent = Just 305 , duration = 3.487058571000 , status = Success , start = 2021-07-14 00:04:02.097792271 UTC , finish = 2021-07-14 00:04:05.584850842 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 165 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 132 , alphabet_size = 35 , total_length = 4961} , self = 364 , parent = Just 362 , duration = 4.027063112000 , status = Success , start = 2021-07-14 00:04:25.409364007 UTC , finish = 2021-07-14 00:04:29.436427119 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 = 165 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 132 , alphabet_size = 35 , total_length = 4961} , self = 255 , parent = Just 235 , duration = 5.335880840000 , status = Success , start = 2021-07-14 00:03:32.950015545 UTC , finish = 2021-07-14 00:03:38.285896385 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 138 , num_strict_rules = 28 , num_top_rules = 28 , num_weak_rules = 110 , alphabet_size = 32 , total_length = 4157} , self = 269 , parent = Just 249 , duration = 6.023965906000 , status = Success , start = 2021-07-14 00:03:37.655165861 UTC , finish = 2021-07-14 00:03:43.679131767 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 164 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 119 , alphabet_size = 36 , total_length = 4804} , self = 402 , parent = Just 394 , duration = 6.117597685000 , status = Success , start = 2021-07-14 00:04:39.754726791 UTC , finish = 2021-07-14 00:04:45.872324476 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '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 = 182 , num_strict_rules = 182 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 52 , total_length = 6916} , self = 416 , parent = Just 396 , duration = 9.889985480000 , status = Success , start = 2021-07-14 00:04:40.094464977 UTC , finish = 2021-07-14 00:04:49.984450457 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 368 , num_strict_rules = 368 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 84 , total_length = 15456} , self = 426 , parent = Just 375 , duration = 17.104622249000 , status = Success , start = 2021-07-14 00:04:34.09589071 UTC , finish = 2021-07-14 00:04:51.200512959 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 = 451 , num_strict_rules = 77 , num_top_rules = 77 , num_weak_rules = 374 , alphabet_size = 104 , total_length = 16368} , self = 360 , parent = Just 296 , duration = 25.832968260000 , status = Success , start = 2021-07-14 00:03:58.973351758 UTC , finish = 2021-07-14 00:04:24.806320018 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 234 , num_strict_rules = 234 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 64 , total_length = 9360} , self = 323 , parent = Just 244 , duration = 31.953599040000 , status = Success , start = 2021-07-14 00:03:36.272710856 UTC , finish = 2021-07-14 00:04:08.226309896 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 420 , num_strict_rules = 42 , num_top_rules = 42 , num_weak_rules = 378 , alphabet_size = 103 , total_length = 15554} , self = 421 , parent = Just 286 , duration = 58.252477157000 , status = Success , start = 2021-07-14 00:03:52.787463993 UTC , finish = 2021-07-14 00:04:51.03994115 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 490 , num_strict_rules = 56 , num_top_rules = 56 , num_weak_rules = 434 , alphabet_size = 116 , total_length = 18088} , self = 415 , parent = Just 275 , duration = 63.897947655000 , status = Success , start = 2021-07-14 00:03:44.603422446 UTC , finish = 2021-07-14 00:04:48.501370101 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '1' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 66 max duration 26.779119339000 min duration 0.000206158000 total durat. 89.778165277000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 98 , num_strict_rules = 98 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 24 , total_length = 3136} , self = 205 , parent = Just 202 , duration = 1.079465696000 , status = Fail , start = 2021-07-14 00:03:29.47033995 UTC , finish = 2021-07-14 00:03:30.549805646 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '3' , '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 = 165 , num_strict_rules = 165 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 5610} , self = 180 , parent = Just 154 , duration = 1.657685063000 , status = Fail , start = 2021-07-14 00:03:25.421251876 UTC , finish = 2021-07-14 00:03:27.078936939 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 165 , num_strict_rules = 165 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 32 , total_length = 5610} , self = 182 , parent = Just 163 , duration = 1.761901365000 , status = Fail , start = 2021-07-14 00:03:26.032226243 UTC , finish = 2021-07-14 00:03:27.794127608 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 2464} , self = 260 , parent = Just 253 , duration = 1.847083195000 , status = Fail , start = 2021-07-14 00:03:37.944760136 UTC , finish = 2021-07-14 00:03:39.791843331 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '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 = 150 , parent = Just 120 , duration = 1.935279455000 , status = Fail , start = 2021-07-14 00:03:23.476454375 UTC , finish = 2021-07-14 00:03:25.41173383 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 77 , num_strict_rules = 77 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 2464} , self = 262 , parent = Just 257 , duration = 2.341064160000 , status = Fail , start = 2021-07-14 00:03:38.328964721 UTC , finish = 2021-07-14 00:03:40.670028881 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 198 , num_strict_rules = 198 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 37 , total_length = 6732} , self = 427 , parent = Just 413 , duration = 3.005090904000 , status = Fail , start = 2021-07-14 00:04:48.357139116 UTC , finish = 2021-07-14 00:04:51.36223002 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 135 , num_strict_rules = 135 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 33 , total_length = 4590} , self = 391 , parent = Just 381 , duration = 3.040401488000 , status = Fail , start = 2021-07-14 00:04:34.632965714 UTC , finish = 2021-07-14 00:04:37.673367202 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 = 135 , num_strict_rules = 135 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 33 , total_length = 4590} , self = 392 , parent = Just 383 , duration = 3.256352774000 , status = Fail , start = 2021-07-14 00:04:34.814203261 UTC , finish = 2021-07-14 00:04:38.070556035 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 = 198 , num_strict_rules = 198 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 37 , total_length = 6732} , self = 407 , parent = Just 398 , duration = 6.529901888000 , status = Fail , start = 2021-07-14 00:04:40.686989723 UTC , finish = 2021-07-14 00:04:47.216891611 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '1' , '4' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 121 , num_strict_rules = 121 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 38 , total_length = 4356} , self = 320 , parent = Just 289 , duration = 9.668743000000 , status = Fail , start = 2021-07-14 00:03:56.775605738 UTC , finish = 2021-07-14 00:04:06.444348738 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 121 , num_strict_rules = 121 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 38 , total_length = 4356} , self = 302 , parent = Just 266 , duration = 19.641942778000 , status = Fail , start = 2021-07-14 00:03:42.347127332 UTC , finish = 2021-07-14 00:04:01.98907011 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 195 , num_strict_rules = 195 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 58 , total_length = 7800} , self = 318 , parent = Just 259 , duration = 26.779119339000 , status = Fail , start = 2021-07-14 00:03:39.026296168 UTC , finish = 2021-07-14 00:04:05.805415507 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '5' ] , 3 , False )} **************************************************