/export/starexec/sandbox/solver/bin/starexec_run_tc21-9.sh /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 4 rules on 2 letters mirror SRS with 4 rules on 2 letters DP SRS with 12 strict rules and 4 weak rules on 3 letters EDG SRS with 5 strict rules and 4 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 3, encoding = FBV, dim = 4, solver = Minisatapi, verbose = False, tracing = False} SRS with 4 strict rules and 4 weak rules on 3 letters EDG SRS with 4 strict rules and 4 weak rules on 3 letters Matrix { monotone = Weak, domain = Arctic, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 8, solver = Minisatapi, verbose = True, tracing = False} SRS with 3 strict rules and 4 weak rules on 3 letters EDG SRS with 3 strict rules and 4 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 2, encoding = Ersatz_Binary, dim = 6, solver = Minisatapi, verbose = True, tracing = False} SRS with 2 strict rules and 4 weak rules on 3 letters EDG SRS with 2 strict rules and 4 weak rules on 3 letters Matrix { monotone = Weak, domain = Natural, shape = Full, bits = 3, encoding = Ersatz_Binary, dim = 4, solver = Minisatapi, verbose = True, tracing = False} SRS with 0 strict rules and 4 weak rules on 2 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [b, a, b, b] -> [b, b, b, a, b] {- Input 0 -} [b, a, a, b, b] -> [b, a, b, b, a, a, b] {- Input 1 -} [b, a, a, a, b, b] -> [b, a, a, b, b, a, a, a, b] {- Input 2 -} [b, a, a, a, a, b, b] -> [b, a, a, a, b, b, a, a, a, a, b] {- Input 3 -} reason mirror property Termination has value Just True for SRS [b, b, a, b] -> [b, a, b, b, b] {- Mirror (Input 0) -} [b, b, a, a, b] -> [b, a, a, b, b, a, b] {- Mirror (Input 1) -} [b, b, a, a, a, b] -> [b, a, a, a, b, b, a, a, b] {- Mirror (Input 2) -} [b, b, a, a, a, a, b] -> [ b , a , a , a , a , b , b , a , a , a , b ] {- Mirror (Input 3) -} reason DP property Termination has value Just True for SRS [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b#, b, a, b] |-> [b#, a, b, b, b] {- DP (Top 0) (Mirror (Input 0)) -} [b#, b, a, a, b] |-> [b#, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b#, b, a, a, b] |-> [b#, a, b] {- DP (Top 4) (Mirror (Input 1)) -} [b#, b, a, a, b] |-> [b#, a, a, b, b, a, b] {- DP (Top 0) (Mirror (Input 1)) -} [b#, b, a, a, a, b] |-> [b#, b, a, a, b] {- DP (Top 4) (Mirror (Input 2)) -} [b#, b, a, a, a, b] |-> [b#, a, a, b] {- DP (Top 5) (Mirror (Input 2)) -} [b#, b, a, a, a, b] |-> [ b# , a , a , a , b , b , a , a , b ] {- DP (Top 0) (Mirror (Input 2)) -} [b#, b, a, a, a, a, b] |-> [ b# , b , a , a , a , b ] {- DP (Top 5) (Mirror (Input 3)) -} [b#, b, a, a, a, a, b] |-> [b#, a, a, a, b] {- DP (Top 6) (Mirror (Input 3)) -} [b#, b, a, a, a, a, b] |-> [ b# , a , a , a , a , b , b , a , a , a , b ] {- DP (Top 0) (Mirror (Input 3)) -} reason EDG property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, a, a, a, b] |-> [ b# , b , a , a , a , b ] {- DP (Top 5) (Mirror (Input 3)) -} [b#, b, a, a, a, b] |-> [b#, b, a, a, b] {- DP (Top 4) (Mirror (Input 2)) -} [b#, b, a, a, b] |-> [b#, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason ( b , Wk / 0A 0A 0A 0A \ | -4A -4A -4A -4A | | -4A -4A -4A -4A | \ -4A -4A -4A -4A / ) ( a , Wk / 0A 0A 0A 4A \ | 0A 0A 0A 0A | | -4A 0A 0A 0A | \ -4A -4A 0A 0A / ) ( b# , Wk / 30A 30A 32A 32A \ | 30A 30A 32A 32A | | 30A 30A 32A 32A | \ 30A 30A 32A 32A / ) property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, a, a, b] |-> [b#, b, a, a, b] {- DP (Top 4) (Mirror (Input 2)) -} [b#, b, a, a, b] |-> [b#, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason EDG property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b#, b, a, a, b] |-> [b#, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b#, b, a, a, a, b] |-> [b#, b, a, a, b] {- DP (Top 4) (Mirror (Input 2)) -} [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason ( b , Wk / - - - 0A - 0A 0A 0A \ | - - 0A 1A - 0A 0A - | | - - 0A 0A - - - 1A | | - - - 0A - - - - | | - - - 0A - 0A 0A - | | - - - 0A - 0A 0A - | | - - - - - 0A 0A 0A | \ - - - - - - - 0A / ) ( a , Wk / - - 0A - - 1A - 0A \ | - - - 0A 0A - - - | | - - 0A 0A - - - - | | - - - 0A - - - 0A | | 0A - - - - 0A - - | | - - - - - - - 0A | | - - - - 0A - - - | \ - - - - - - - 0A / ) ( b# , Wk / 1A 0A 0A 1A - - - 0A \ | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | | - - - - - - - - | \ - - - - - - - 0A / ) property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b#, b, a, a, b] |-> [b#, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason EDG property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, a, b] |-> [b#, b, a, b] {- DP (Top 3) (Mirror (Input 1)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason ( b , Wk / 1 0 1 0 0 0 \ | 0 1 0 1 0 0 | | 0 0 0 0 0 0 | | 1 1 0 0 0 0 | | 1 0 1 0 0 0 | \ 0 0 0 0 0 1 / ) ( a , Wk / 0 0 0 0 0 0 \ | 0 0 0 0 1 0 | | 0 0 0 0 1 0 | | 0 0 0 0 1 0 | | 1 0 0 0 0 1 | \ 0 0 0 0 0 1 / ) ( b# , Wk / 2 0 1 0 0 0 \ | 0 0 0 0 0 0 | | 0 0 0 0 0 0 | | 0 0 0 0 0 0 | | 0 0 0 0 0 0 | \ 0 0 0 0 0 1 / ) property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason EDG property Termination has value Just True for SRS [b#, b, a, b] |-> [b#, b] {- DP (Top 3) (Mirror (Input 0)) -} [b#, b, a, b] |-> [b#, b, b] {- DP (Top 2) (Mirror (Input 0)) -} [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason ( b , Wk / 1 0 0 0 \ | 0 0 0 1 | | 1 0 0 3 | \ 0 0 0 1 / ) ( a , Wk / 0 1 1 0 \ | 0 0 0 1 | | 0 1 0 1 | \ 0 0 0 1 / ) ( b# , Wk / 1 1 0 1 \ | 0 0 0 0 | | 0 0 0 0 | \ 0 0 0 1 / ) property Termination has value Just True for SRS [b, b, a, b] ->= [b, a, b, b, b] {- DP Nontop (Mirror (Input 0)) -} [b, b, a, a, b] ->= [b, a, a, b, b, a, b] {- DP Nontop (Mirror (Input 1)) -} [b, b, a, a, a, b] ->= [ b , a , a , a , b , b , a , a , b ] {- DP Nontop (Mirror (Input 2)) -} [b, b, a, a, a, a, b] ->= [ b , a , a , a , a , b , b , a , a , a , b ] {- DP Nontop (Mirror (Input 3)) -} reason EDG ************************************************** skeleton: \Mirror(4,2)\Deepee(12/4,3)\EDG(5/4,3)\Matrix{\Arctic}{4}\EDG(4/4,3)\Matrix{\Arctic}{8}\EDG(3/4,3)\Matrix{\Natural}{6}\EDG(2/4,3)\Matrix{\Natural}{4}(0/4,2)\EDG[] ************************************************** let {} in let {trac ?= False;loop_cap = 1;match_cap = 2;tile_cap = 3;matrix_cap = 4;mo = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail));wop = Or_Else (Worker (Weight {modus = mo})) Pass;weighted = \ m -> And_Then m wop;done = Worker No_Strict_Rules;dont = \ p -> Fail;tiling = \ m w -> On tile_cap (weighted (And_Then (Worker (Tiling {method = m,width = w,map_type = Enum,max_num_tiles = Just 1000,max_num_rules = Just 100000})) (Worker Remap)));tile_roc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Overlap w)) <> [ Worker Unlabel];mb = \ size -> On match_cap (Apply (Worker (Matchbound {method = RFC,max_size = Just size})) done);mbs = \ size -> First_Of [ mb size, Apply (Worker Mirror) (mb size)];tile_rfc = Tree_Search_Preemptive 0 done let {ws = [ 2, 4, 8, 12]}in (for ws (\ w -> tiling Forward w)) <> ((for ws (\ w -> tiling Backward w)) <> [ Worker Unlabel]);solver = Minisatapi;qpi = \ dim bits -> On matrix_cap (weighted (Worker (QPI {tracing = trac,dim = dim,bits = bits,solver = solver})));qpis = Seq [ Timeout 10 (qpi 2 3), Timeout 30 (qpi 4 3), Timeout 50 (qpi 6 3), qpi 8 3];kbo = \ b -> On matrix_cap (weighted (Worker (KBO {bits = b,solver = solver})));matrix = \ dom dim bits -> On matrix_cap (weighted (Worker (Matrix {monotone = Weak,domain = dom,dim = dim,bits = bits,encoding = Ersatz_Binary,tracing = trac,verbose = True,solver = solver})));arctics = Seq [ Timeout 10 (matrix Arctic 2 16), Timeout 30 (matrix Arctic 4 8), Timeout 50 (matrix Arctic 6 4), matrix Arctic 8 2];naturals = Seq [ Timeout 10 (matrix Natural 2 4), Timeout 30 (matrix Natural 4 3), Timeout 50 (matrix Natural 6 2), matrix Natural 8 1];remove = First_Of [ qpis, arctics, naturals, As_Transformer tile_roc];remove_wop = And_Then wop (Or_Else (As_Transformer (Worker No_Strict_Rules)) remove);deepee = Apply (And_Then (Worker DP) (Worker Remap)) (Apply wop (Branch (Worker (EDG {tracing = False,usable = True})) remove_wop));when_small = \ m -> Apply (Worker (SizeAtmost 1000)) m;yeah = First_Of [ when_small (First_Of [ deepee, Apply (Worker Mirror) deepee]), tile_rfc, mbs 100000];noh_for = \ side -> Worker (Simple (Config {closure = side,max_closure_width = Nothing,intermediates = All,priority = Linear [ ( 1, Log2 Steps), ( -1, Width_lhs), ( -2, Log2 Width_rhs)]}));noh = First_Of [ On loop_cap (noh_for Forward), On loop_cap (noh_for Backward), On loop_cap (Worker Transport)]} in Apply (Worker Remap) (Apply wop (Seq [ Worker KKST01, First_Of [ yeah, noh]])) ************************************************** statistics on proof search (nodes types that (together) took more than 1.000000000000) ************************************************** Fail : Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} total number 2 max duration 182.235630861000 min duration 181.321008903000 total durat. 363.556639764000 Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 54} , self = 471 , parent = Just 0 , duration = 181.321008903000 , status = Fail , start = 2021-07-13 12:03:33.409780216 UTC , finish = 2021-07-13 12:06:34.730789119 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' ] , 2 , True )} Info { what = Matchbound { method = RFC , max_size = Just 100000 , max_bound = Nothing , verbose = False , tracing = False} , input_size = Size { num_rules = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 54} , self = 472 , parent = Just 3 , duration = 182.235630861000 , status = Fail , start = 2021-07-13 12:03:33.409822287 UTC , finish = 2021-07-13 12:06:35.645453148 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '0' ] , 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 3 max duration 6.331900954000 min duration 4.700081881000 total durat. 16.149970056000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 67} , self = 577 , parent = Just 561 , duration = 4.700081881000 , status = Fail , start = 2021-07-13 12:07:53.883426213 UTC , finish = 2021-07-13 12:07:58.583508094 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '6' , '4' ] , 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 = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 188 , parent = Just 103 , duration = 5.117987221000 , status = Fail , start = 2021-07-13 12:03:36.717349719 UTC , finish = 2021-07-13 12:03:41.83533694 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '4' , '0' ] , 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 = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 203 , parent = Just 129 , duration = 6.331900954000 , status = Fail , start = 2021-07-13 12:03:38.181989208 UTC , finish = 2021-07-13 12:03:44.513890162 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '9' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 10.008069167000 min duration 1.599947062000 total durat. 18.996719030000 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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 192} , self = 72 , parent = Just 16 , duration = 1.599947062000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:33.413853313 UTC , finish = 2021-07-13 12:03:35.013800375 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 139} , self = 102 , parent = Just 74 , duration = 1.678898222000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:35.028086741 UTC , finish = 2021-07-13 12:03:36.706984963 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 16 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 100} , self = 155 , parent = Just 12 , duration = 5.709804579000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:33.411284713 UTC , finish = 2021-07-13 12:03:39.121089292 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' ] , 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 = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 497 , parent = Just 463 , duration = 10.008069167000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:06:33.160997945 UTC , finish = 2021-07-13 12:06:43.169067112 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '9' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 86.598843393000 min duration 86.598843393000 total durat. 86.598843393000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 461 , parent = Just 129 , duration = 86.598843393000 , status = Success , start = 2021-07-13 12:05:06.517313066 UTC , finish = 2021-07-13 12:06:33.116156459 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '3' , '8' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 3 max duration 51.975186165000 min duration 40.656422060000 total durat. 142.652762809000 Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 568 , parent = Just 463 , duration = 40.656422060000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:07:13.28554384 UTC , finish = 2021-07-13 12:07:53.9419659 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '6' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Arctic , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 398 , parent = Just 103 , duration = 50.021154584000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:04:20.074401021 UTC , finish = 2021-07-13 12:05:10.095555605 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '6' ] , 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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 395 , parent = Just 129 , duration = 51.975186165000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:04:14.535401425 UTC , finish = 2021-07-13 12:05:06.51058759 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '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 3 max duration 38.208927549000 min duration 30.021030441000 total durat. 98.317903903000 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 = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 289 , parent = Just 129 , duration = 30.021030441000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:44.514098454 UTC , finish = 2021-07-13 12:04:14.535128895 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 534 , parent = Just 463 , duration = 30.087945913000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:06:43.169305212 UTC , finish = 2021-07-13 12:07:13.257251125 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '4' , '1' ] , 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 = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 312 , parent = Just 103 , duration = 38.208927549000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:41.836080487 UTC , finish = 2021-07-13 12:04:20.045008036 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '9' , '9' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 93.588785606000 min duration 93.588785606000 total durat. 93.588785606000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 1 , encoding = Ersatz_Binary , dim = 8 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 467 , parent = Just 129 , duration = 93.588785606000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:04:59.571990256 UTC , finish = 2021-07-13 12:06:33.160775862 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '2' , '7' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 47.017754330000 min duration 47.017754330000 total durat. 47.017754330000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 559 , parent = Just 463 , duration = 47.017754330000 , status = Success , start = 2021-07-13 12:07:06.847538572 UTC , finish = 2021-07-13 12:07:53.865292902 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '0' , '9' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} total number 2 max duration 50.098697733000 min duration 50.024361806000 total durat. 100.123059539000 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 = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 387 , parent = Just 129 , duration = 50.024361806000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:04:09.547385 UTC , finish = 2021-07-13 12:04:59.571746806 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '4' , '2' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 2 , encoding = Ersatz_Binary , dim = 6 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 386 , parent = Just 103 , duration = 50.098697733000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:04:07.712562981 UTC , finish = 2021-07-13 12:04:57.811260714 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '4' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 16.105159489000 min duration 16.105159489000 total durat. 16.105159489000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 67} , self = 585 , parent = Just 561 , duration = 16.105159489000 , status = Success , start = 2021-07-13 12:07:54.843521486 UTC , finish = 2021-07-13 12:08:10.948680975 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '4' ] , 0 , True )} Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} total number 4 max duration 30.170305716000 min duration 4.562688970000 total durat. 94.791163090000 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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 100} , self = 156 , parent = Just 12 , duration = 4.562688970000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:34.560743709 UTC , finish = 2021-07-13 12:03:39.123432679 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '8' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 276 , parent = Just 129 , duration = 30.018571945000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:39.523358138 UTC , finish = 2021-07-13 12:04:09.541930083 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '5' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 272 , parent = Just 103 , duration = 30.039596459000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:37.657760352 UTC , finish = 2021-07-13 12:04:07.697356811 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '4' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 3 , encoding = Ersatz_Binary , dim = 4 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 532 , parent = Just 463 , duration = 30.170305716000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:06:36.653046194 UTC , finish = 2021-07-13 12:07:06.82335191 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '6' ] , 0 , True )} Success : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.671138126000 min duration 1.671138126000 total durat. 1.671138126000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 11 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 139} , self = 99 , parent = Just 74 , duration = 1.671138126000 , status = Success , start = 2021-07-13 12:03:35.028106361 UTC , finish = 2021-07-13 12:03:36.699244487 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '7' , '3' ] , 0 , True )} Fail : Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 5 max duration 3.491827168000 min duration 0.937904441000 total durat. 7.863799635000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 100} , self = 61 , parent = Just 12 , duration = 1.149245350000 , status = Fail , start = 2021-07-13 12:03:33.411300656 UTC , finish = 2021-07-13 12:03:34.560546006 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 166 , parent = Just 129 , duration = 1.341180062000 , status = Fail , start = 2021-07-13 12:03:38.181998038 UTC , finish = 2021-07-13 12:03:39.5231781 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '1' ] , 0 , True )} Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 481 , parent = Just 463 , duration = 3.491827168000 , status = Fail , start = 2021-07-13 12:06:33.161009894 UTC , finish = 2021-07-13 12:06:36.652837062 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '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 = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} total number 1 max duration 1.601853214000 min duration 1.601853214000 total durat. 1.601853214000 Info { what = Matrix { monotone = Weak , domain = Natural , shape = Full , bits = 4 , encoding = Ersatz_Binary , dim = 2 , solver = Minisatapi , verbose = True , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 192} , self = 73 , parent = Just 16 , duration = 1.601853214000 , status = Except [ 'A' , 's' , 'y' , 'n' , 'c' , 'C' , 'a' , 'n' , 'c' , 'e' , 'l' , 'l' , 'e' , 'd' ] , start = 2021-07-13 12:03:33.413844372 UTC , finish = 2021-07-13 12:03:35.015697586 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' ] , 0 , True )} Success : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 1.596668621000 min duration 1.596668621000 total durat. 1.596668621000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 192} , self = 70 , parent = Just 16 , duration = 1.596668621000 , status = Success , start = 2021-07-13 12:03:33.413857775 UTC , finish = 2021-07-13 12:03:35.010526396 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' ] , 0 , True )} Fail : QPI { dim = 2, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 6 max duration 2.681269521000 min duration 0.646409444000 total durat. 7.068174195000 Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 11 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 139} , self = 96 , parent = Just 74 , duration = 1.043442520000 , status = Fail , start = 2021-07-13 12:03:35.02636527 UTC , finish = 2021-07-13 12:03:36.06980779 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '6' , '3' ] , 0 , True )} Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 160 , parent = Just 129 , duration = 1.121750541000 , status = Fail , start = 2021-07-13 12:03:38.181907896 UTC , finish = 2021-07-13 12:03:39.303658437 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '1' , '1' ] , 0 , True )} Info { what = QPI { dim = 2 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 474 , parent = Just 463 , duration = 2.681269521000 , status = Fail , start = 2021-07-13 12:06:33.160917124 UTC , finish = 2021-07-13 12:06:35.842186645 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '6' , '1' ] , 0 , True )} Success : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 1 max duration 3.864002527000 min duration 3.864002527000 total durat. 3.864002527000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 100} , self = 127 , parent = Just 12 , duration = 3.864002527000 , status = Success , start = 2021-07-13 12:03:34.311613191 UTC , finish = 2021-07-13 12:03:38.175615718 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '3' , '4' ] , 0 , True )} Fail : QPI { dim = 4, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 5 max duration 10.410236892000 min duration 0.632654777000 total durat. 23.387204148000 Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 179 , parent = Just 103 , duration = 3.758180303000 , status = Fail , start = 2021-07-13 12:03:37.362446612 UTC , finish = 2021-07-13 12:03:41.120626915 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '9' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 67} , self = 578 , parent = Just 561 , duration = 4.216518506000 , status = Fail , start = 2021-07-13 12:07:54.558669936 UTC , finish = 2021-07-13 12:07:58.775188442 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '9' , '1' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 197 , parent = Just 129 , duration = 4.369613670000 , status = Fail , start = 2021-07-13 12:03:39.303870505 UTC , finish = 2021-07-13 12:03:43.673484175 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '1' ] , 0 , True )} Info { what = QPI { dim = 4 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 502 , parent = Just 463 , duration = 10.410236892000 , status = Fail , start = 2021-07-13 12:06:35.850397995 UTC , finish = 2021-07-13 12:06:46.260634887 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '0' ] , 0 , True )} Fail : QPI { dim = 6, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 4 max duration 25.330031928000 min duration 12.254333193000 total durat. 78.509246506000 Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 67} , self = 588 , parent = Just 561 , duration = 12.254333193000 , status = Fail , start = 2021-07-13 12:07:58.784551716 UTC , finish = 2021-07-13 12:08:11.038884909 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '0' , '9' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 271 , parent = Just 103 , duration = 16.310213135000 , status = Fail , start = 2021-07-13 12:03:41.121341726 UTC , finish = 2021-07-13 12:03:57.431554861 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '8' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 533 , parent = Just 463 , duration = 24.614668250000 , status = Fail , start = 2021-07-13 12:06:46.26083896 UTC , finish = 2021-07-13 12:07:10.87550721 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '7' , '4' ] , 0 , True )} Info { what = QPI { dim = 6 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 273 , parent = Just 129 , duration = 25.330031928000 , status = Fail , start = 2021-07-13 12:03:43.673715441 UTC , finish = 2021-07-13 12:04:09.003747369 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '0' , '7' ] , 0 , True )} Fail : QPI { dim = 8, bits = 3, solver = Minisatapi, tracing = False, verbose = False} total number 3 max duration 144.156496864000 min duration 43.017063814000 total durat. 287.241043858000 Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 566 , parent = Just 463 , duration = 43.017063814000 , status = Fail , start = 2021-07-13 12:07:10.902520663 UTC , finish = 2021-07-13 12:07:53.919584477 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '1' , '2' ] , 0 , True )} Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 405 , parent = Just 103 , duration = 100.067483180000 , status = Fail , start = 2021-07-13 12:03:57.451565995 UTC , finish = 2021-07-13 12:05:37.519049175 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '0' ] , 0 , True )} Info { what = QPI { dim = 8 , bits = 3 , solver = Minisatapi , tracing = False , verbose = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 464 , parent = Just 129 , duration = 144.156496864000 , status = Fail , start = 2021-07-13 12:04:09.003950757 UTC , finish = 2021-07-13 12:06:33.160447621 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '7' ] , 0 , True )} Fail : 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 2 max duration 107.058062275000 min duration 70.475024048000 total durat. 177.533086323000 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 = 22 , num_strict_rules = 22 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 350} , self = 525 , parent = Just 97 , duration = 70.475024048000 , status = Fail , start = 2021-07-13 12:05:45.514532484 UTC , finish = 2021-07-13 12:06:55.989556532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '3' ] , 3 , True )} 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 54} , self = 400 , parent = Just 0 , duration = 107.058062275000 , status = Fail , start = 2021-07-13 12:03:33.416840007 UTC , finish = 2021-07-13 12:05:20.474902282 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '2' ] , 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 10 max duration 47.377276861000 min duration 0.076027930000 total durat. 145.870793789000 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 = 22 , num_strict_rules = 22 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 350} , self = 162 , parent = Just 97 , duration = 1.800767555000 , status = Success , start = 2021-07-13 12:03:37.637748067 UTC , finish = 2021-07-13 12:03:39.438515622 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '9' , '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 = 186 , num_strict_rules = 186 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 3282} , self = 195 , parent = Just 86 , duration = 6.895456685000 , status = Success , start = 2021-07-13 12:03:36.653475467 UTC , finish = 2021-07-13 12:03:43.548932152 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 2862} , self = 224 , parent = Just 145 , duration = 7.004454511000 , status = Success , start = 2021-07-13 12:03:41.001778153 UTC , finish = 2021-07-13 12:03:48.006232664 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '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 = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 288} , self = 511 , parent = Just 490 , duration = 7.385591508000 , status = Success , start = 2021-07-13 12:06:43.407721009 UTC , finish = 2021-07-13 12:06:50.793312517 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '5' , '3' ] , 3 , True )} Info { what = Tiling { method = Backward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 186 , num_strict_rules = 186 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 15 , total_length = 3282} , self = 441 , parent = Just 86 , duration = 34.372293125000 , status = Success , start = 2021-07-13 12:05:45.513683118 UTC , finish = 2021-07-13 12:06:19.885976243 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '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 = 108 , num_strict_rules = 108 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 1908} , self = 331 , parent = Just 225 , duration = 39.730579968000 , status = Success , start = 2021-07-13 12:03:49.609862479 UTC , finish = 2021-07-13 12:04:29.340442447 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 96 , num_strict_rules = 96 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 1740} , self = 509 , parent = Just 413 , duration = 47.377276861000 , status = Success , start = 2021-07-13 12:06:01.333787437 UTC , finish = 2021-07-13 12:06:48.711064298 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '9' ] , 3 , True )} Success : Tiling { method = Backward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 2 max duration 50.395274863000 min duration 1.877076120000 total durat. 52.272350983000 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 54} , self = 82 , parent = Just 0 , duration = 1.877076120000 , status = Success , start = 2021-07-13 12:03:33.416797441 UTC , finish = 2021-07-13 12:03:35.293873561 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 22 , num_strict_rules = 22 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 350} , self = 341 , parent = Just 97 , duration = 50.395274863000 , status = Success , start = 2021-07-13 12:03:43.826655133 UTC , finish = 2021-07-13 12:04:34.221929996 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '3' ] , 3 , True )} Fail : 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 155.672112418000 min duration 155.672112418000 total durat. 155.672112418000 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 54} , self = 434 , parent = Just 0 , duration = 155.672112418000 , status = Fail , start = 2021-07-13 12:03:33.416734562 UTC , finish = 2021-07-13 12:06:09.08884698 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 11 max duration 53.221938365000 min duration 0.085456352000 total durat. 196.417539944000 Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 24 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 372} , self = 80 , parent = Just 46 , duration = 1.112272968000 , status = Success , start = 2021-07-13 12:03:34.052258167 UTC , finish = 2021-07-13 12:03:35.164531135 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '0' , '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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 558} , self = 133 , parent = Just 28 , duration = 1.528943602000 , status = Success , start = 2021-07-13 12:03:36.655989404 UTC , finish = 2021-07-13 12:03:38.184933006 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '1' , '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 = 22 , num_strict_rules = 22 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 350} , self = 144 , parent = Just 97 , duration = 1.914978211000 , status = Success , start = 2021-07-13 12:03:36.882827921 UTC , finish = 2021-07-13 12:03:38.797806132 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 = 36 , num_strict_rules = 36 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 6 , total_length = 558} , self = 189 , parent = Just 28 , duration = 2.147763112000 , status = Success , start = 2021-07-13 12:03:40.880163347 UTC , finish = 2021-07-13 12:03:43.027926459 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '8' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 18 , num_strict_rules = 18 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 288} , self = 513 , parent = Just 490 , duration = 8.609703200000 , status = Success , start = 2021-07-13 12:06:43.149013694 UTC , finish = 2021-07-13 12:06:51.758716894 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '3' , '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 = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 2862} , self = 282 , parent = Just 145 , duration = 28.249709986000 , status = Success , start = 2021-07-13 12:03:43.839621162 UTC , finish = 2021-07-13 12:04:12.089331148 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '1' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 108 , num_strict_rules = 108 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 1908} , self = 353 , parent = Just 225 , duration = 48.218383360000 , status = Success , start = 2021-07-13 12:03:52.266394835 UTC , finish = 2021-07-13 12:04:40.484778195 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 162 , num_strict_rules = 162 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 2862} , self = 479 , parent = Just 145 , duration = 50.767001251000 , status = Success , start = 2021-07-13 12:05:45.55483603 UTC , finish = 2021-07-13 12:06:36.321837281 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '6' , '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 = 96 , num_strict_rules = 96 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 1740} , self = 517 , parent = Just 413 , duration = 53.221938365000 , status = Success , start = 2021-07-13 12:06:00.423054073 UTC , finish = 2021-07-13 12:06:53.644992438 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '5' ] , 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 2 max duration 56.210409008000 min duration 2.162526311000 total durat. 58.372935319000 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 = 4 , num_strict_rules = 4 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 2 , total_length = 54} , self = 84 , parent = Just 0 , duration = 2.162526311000 , status = Success , start = 2021-07-13 12:03:33.41690532 UTC , finish = 2021-07-13 12:03:35.579431631 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '2' , '8' ] , 3 , True )} Info { what = Tiling { method = Forward , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 22 , num_strict_rules = 22 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 5 , total_length = 350} , self = 349 , parent = Just 97 , duration = 56.210409008000 , status = Success , start = 2021-07-13 12:03:43.829816084 UTC , finish = 2021-07-13 12:04:40.040225092 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '1' , '7' ] , 3 , True )} Fail : Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 4 max duration 51.117385796000 min duration 12.021640562000 total durat. 115.068824720000 Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 100} , self = 212 , parent = Just 12 , duration = 12.021640562000 , status = Fail , start = 2021-07-13 12:03:33.421168907 UTC , finish = 2021-07-13 12:03:45.442809469 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 192} , self = 259 , parent = Just 16 , duration = 20.573463963000 , status = Fail , start = 2021-07-13 12:03:33.428550407 UTC , finish = 2021-07-13 12:03:54.00201437 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 277 , parent = Just 129 , duration = 31.356334399000 , status = Fail , start = 2021-07-13 12:03:38.198561665 UTC , finish = 2021-07-13 12:04:09.554896064 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 12 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 355 , parent = Just 249 , duration = 51.117385796000 , status = Fail , start = 2021-07-13 12:03:51.051440727 UTC , finish = 2021-07-13 12:04:42.168826523 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '9' , '0' ] , 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 46 max duration 216.150551427000 min duration 0.260146116000 total durat. 1274.862716800000 Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 264 , parent = Just 249 , duration = 1.481221095000 , status = Success , start = 2021-07-13 12:03:53.082231707 UTC , finish = 2021-07-13 12:03:54.563452802 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 112} , self = 313 , parent = Just 304 , duration = 2.515161517000 , status = Success , start = 2021-07-13 12:04:18.017196161 UTC , finish = 2021-07-13 12:04:20.532357678 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 112} , self = 290 , parent = Just 278 , duration = 2.574554902000 , status = Success , start = 2021-07-13 12:04:11.96804344 UTC , finish = 2021-07-13 12:04:14.542598342 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 63 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 48 , alphabet_size = 8 , total_length = 912} , self = 111 , parent = Just 38 , duration = 3.278891987000 , status = Success , start = 2021-07-13 12:03:33.83781541 UTC , finish = 2021-07-13 12:03:37.116707397 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '9' , '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 = 57 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 855} , self = 140 , parent = Just 63 , duration = 3.680035569000 , status = Success , start = 2021-07-13 12:03:34.917435032 UTC , finish = 2021-07-13 12:03:38.597470601 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 69 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 48 , alphabet_size = 9 , total_length = 1041} , self = 125 , parent = Just 47 , duration = 4.045883923000 , status = Success , start = 2021-07-13 12:03:34.103873641 UTC , finish = 2021-07-13 12:03:38.149757564 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '1' , '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 = 39 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 585} , self = 182 , parent = Just 114 , duration = 4.129630898000 , status = Success , start = 2021-07-13 12:03:37.419610011 UTC , finish = 2021-07-13 12:03:41.549240909 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '8' , '4' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 483 , parent = Just 463 , duration = 4.495318629000 , status = Success , start = 2021-07-13 12:06:33.203698725 UTC , finish = 2021-07-13 12:06:37.699017354 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '7' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 57 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 855} , self = 168 , parent = Just 88 , duration = 4.581429571000 , status = Success , start = 2021-07-13 12:03:35.875070541 UTC , finish = 2021-07-13 12:03:40.456500112 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 38 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 24 , alphabet_size = 7 , total_length = 570} , self = 204 , parent = Just 141 , duration = 5.837131149000 , status = Success , start = 2021-07-13 12:03:38.88300541 UTC , finish = 2021-07-13 12:03:44.720136559 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 26 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 24 , alphabet_size = 7 , total_length = 390} , self = 222 , parent = Just 183 , duration = 5.863286711000 , status = Success , start = 2021-07-13 12:03:41.774719596 UTC , finish = 2021-07-13 12:03:47.638006307 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 = 60 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 48 , alphabet_size = 8 , total_length = 867} , self = 208 , parent = Just 150 , duration = 6.104132651000 , status = Success , start = 2021-07-13 12:03:39.21405514 UTC , finish = 2021-07-13 12:03:45.318187791 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '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 = 38 , num_strict_rules = 14 , num_top_rules = 14 , num_weak_rules = 24 , alphabet_size = 7 , total_length = 570} , self = 217 , parent = Just 169 , duration = 6.648237413000 , status = Success , start = 2021-07-13 12:03:40.738777172 UTC , finish = 2021-07-13 12:03:47.387014585 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 6 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 67} , self = 579 , parent = Just 561 , duration = 6.990407482000 , status = Success , start = 2021-07-13 12:07:53.920300534 UTC , finish = 2021-07-13 12:08:00.910708016 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '7' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 51 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 36 , alphabet_size = 7 , total_length = 726} , self = 206 , parent = Just 112 , duration = 7.761313045000 , status = Success , start = 2021-07-13 12:03:37.284145042 UTC , finish = 2021-07-13 12:03:45.045458087 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '7' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 368} , self = 325 , parent = Just 255 , duration = 12.094443058000 , status = Success , start = 2021-07-13 12:04:14.598885803 UTC , finish = 2021-07-13 12:04:26.693328861 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '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 = 34 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 520} , self = 343 , parent = Just 260 , duration = 12.548767505000 , status = Success , start = 2021-07-13 12:04:23.061552207 UTC , finish = 2021-07-13 12:04:35.610319712 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 51 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 762} , self = 377 , parent = Just 291 , duration = 13.322382766000 , status = Success , start = 2021-07-13 12:04:39.450974382 UTC , finish = 2021-07-13 12:04:52.773357148 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 34 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 520} , self = 333 , parent = Just 238 , duration = 13.641432696000 , status = Success , start = 2021-07-13 12:04:16.176162435 UTC , finish = 2021-07-13 12:04:29.817595131 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '9' , '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 = 51 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 762} , self = 388 , parent = Just 314 , duration = 14.905899880000 , status = Success , start = 2021-07-13 12:04:44.898398468 UTC , finish = 2021-07-13 12:04:59.804298348 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 60 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 48 , alphabet_size = 8 , total_length = 867} , self = 368 , parent = Just 265 , duration = 17.870676818000 , status = Success , start = 2021-07-13 12:04:30.60595564 UTC , finish = 2021-07-13 12:04:48.476632458 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '6' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 43 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 33 , alphabet_size = 7 , total_length = 631} , self = 356 , parent = Just 308 , duration = 19.421441976000 , status = Success , start = 2021-07-13 12:04:23.686950398 UTC , finish = 2021-07-13 12:04:43.108392374 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '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 = 32 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 486} , self = 443 , parent = Just 424 , duration = 21.058010231000 , status = Success , start = 2021-07-13 12:05:59.532764845 UTC , finish = 2021-07-13 12:06:20.590775076 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 34 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 520} , self = 285 , parent = Just 238 , duration = 21.063915926000 , status = Success , start = 2021-07-13 12:03:52.205885123 UTC , finish = 2021-07-13 12:04:13.269801049 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '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 = 32 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 486} , self = 477 , parent = Just 429 , duration = 23.057258798000 , status = Success , start = 2021-07-13 12:06:13.021591317 UTC , finish = 2021-07-13 12:06:36.078850115 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '0' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 48 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 36 , alphabet_size = 7 , total_length = 681} , self = 274 , parent = Just 209 , duration = 23.582414601000 , status = Success , start = 2021-07-13 12:03:45.53905879 UTC , finish = 2021-07-13 12:04:09.121473391 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '3' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 69 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 48 , alphabet_size = 9 , total_length = 1041} , self = 295 , parent = Just 47 , duration = 25.024663341000 , status = Success , start = 2021-07-13 12:03:50.070546494 UTC , finish = 2021-07-13 12:04:15.095209835 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '5' , '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 = 69 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 48 , alphabet_size = 9 , total_length = 1041} , self = 450 , parent = Just 47 , duration = 27.525866106000 , status = Success , start = 2021-07-13 12:05:56.09991827 UTC , finish = 2021-07-13 12:06:23.625784376 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '9' , '5' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 20 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 18 , alphabet_size = 7 , total_length = 306} , self = 535 , parent = Just 505 , duration = 27.940200279000 , status = Success , start = 2021-07-13 12:06:48.570915423 UTC , finish = 2021-07-13 12:07:16.511115702 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 46 , num_strict_rules = 13 , num_top_rules = 13 , num_weak_rules = 33 , alphabet_size = 7 , total_length = 676} , self = 321 , parent = Just 243 , duration = 29.964164359000 , status = Success , start = 2021-07-13 12:03:55.281885689 UTC , finish = 2021-07-13 12:04:25.246050048 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '2' , '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 = 43 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 33 , alphabet_size = 7 , total_length = 631} , self = 448 , parent = Just 415 , duration = 33.148219792000 , status = Success , start = 2021-07-13 12:05:48.928808912 UTC , finish = 2021-07-13 12:06:22.077028704 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '8' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 34 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 24 , alphabet_size = 7 , total_length = 508} , self = 401 , parent = Just 378 , duration = 34.296138541000 , status = Success , start = 2021-07-13 12:04:53.818939384 UTC , finish = 2021-07-13 12:05:28.115077925 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '1' , '9' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 34 , num_strict_rules = 10 , num_top_rules = 10 , num_weak_rules = 24 , alphabet_size = 7 , total_length = 508} , self = 409 , parent = Just 389 , duration = 39.832673679000 , status = Success , start = 2021-07-13 12:05:00.851340463 UTC , finish = 2021-07-13 12:05:40.684014142 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '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 = 57 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 48 , alphabet_size = 8 , total_length = 828} , self = 547 , parent = Just 484 , duration = 42.624046666000 , status = Success , start = 2021-07-13 12:06:39.373816413 UTC , finish = 2021-07-13 12:07:21.997863079 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '1' , '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 = 48 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 36 , alphabet_size = 7 , total_length = 681} , self = 403 , parent = Just 369 , duration = 42.896723329000 , status = Success , start = 2021-07-13 12:04:49.071779203 UTC , finish = 2021-07-13 12:05:31.968502532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '0' , '1' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 69 , num_strict_rules = 21 , num_top_rules = 21 , num_weak_rules = 48 , alphabet_size = 9 , total_length = 1041} , self = 541 , parent = Just 47 , duration = 45.451046944000 , status = Success , start = 2021-07-13 12:06:35.789830025 UTC , finish = 2021-07-13 12:07:21.240876969 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '9' , '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 = 192 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 186 , alphabet_size = 17 , total_length = 3348} , self = 521 , parent = Just 326 , duration = 141.325641735000 , status = Success , start = 2021-07-13 12:04:33.126439955 UTC , finish = 2021-07-13 12:06:54.45208169 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 216 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 210 , alphabet_size = 18 , total_length = 3768} , self = 436 , parent = Just 236 , duration = 144.279939049000 , status = Success , start = 2021-07-13 12:03:53.579956665 UTC , finish = 2021-07-13 12:06:17.859895714 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '0' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 246 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 210 , alphabet_size = 19 , total_length = 4284} , self = 459 , parent = Just 233 , duration = 159.142001453000 , status = Success , start = 2021-07-13 12:03:53.954152316 UTC , finish = 2021-07-13 12:06:33.096153769 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '1' , '7' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 2 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 317 , num_strict_rules = 38 , num_top_rules = 38 , num_weak_rules = 279 , alphabet_size = 20 , total_length = 5430} , self = 553 , parent = Just 226 , duration = 216.150551427000 , status = Success , start = 2021-07-13 12:03:50.59389179 UTC , finish = 2021-07-13 12:07:26.744443217 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '2' ] , 3 , True )} Success : Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} total number 15 max duration 218.189242939000 min duration 5.585932779000 total durat. 823.992846285000 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 = 3 , total_length = 100} , self = 151 , parent = Just 12 , duration = 5.585932779000 , status = Success , start = 2021-07-13 12:03:33.421128889 UTC , finish = 2021-07-13 12:03:39.007061668 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '5' , '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 = 11 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 139} , self = 175 , parent = Just 53 , duration = 6.703602631000 , status = Success , start = 2021-07-13 12:03:34.143678482 UTC , finish = 2021-07-13 12:03:40.847281113 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 5 , num_strict_rules = 1 , num_top_rules = 1 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 61} , self = 201 , parent = Just 103 , duration = 7.200047530000 , status = Success , start = 2021-07-13 12:03:36.739310991 UTC , finish = 2021-07-13 12:03:43.939358521 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '3' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 192} , self = 180 , parent = Just 16 , duration = 8.092702394000 , status = Success , start = 2021-07-13 12:03:33.428460191 UTC , finish = 2021-07-13 12:03:41.521162585 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '7' , '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 = 11 , num_strict_rules = 7 , num_top_rules = 7 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 139} , self = 193 , parent = Just 74 , duration = 8.199146114000 , status = Success , start = 2021-07-13 12:03:35.054735288 UTC , finish = 2021-07-13 12:03:43.253881402 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 230 , parent = Just 129 , duration = 10.295202712000 , status = Success , start = 2021-07-13 12:03:38.198248423 UTC , finish = 2021-07-13 12:03:48.493451135 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '2' , '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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 112} , self = 345 , parent = Just 278 , duration = 24.581589000000 , status = Success , start = 2021-07-13 12:04:11.787067185 UTC , finish = 2021-07-13 12:04:36.368656185 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 = 9 , num_strict_rules = 5 , num_top_rules = 5 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 112} , self = 358 , parent = Just 304 , duration = 25.641616990000 , status = Success , start = 2021-07-13 12:04:17.827327879 UTC , finish = 2021-07-13 12:04:43.468944869 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '2' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 8 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 87} , self = 323 , parent = Just 249 , duration = 34.770139443000 , status = Success , start = 2021-07-13 12:03:51.036749829 UTC , finish = 2021-07-13 12:04:25.806889272 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '8' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 192} , self = 364 , parent = Just 16 , duration = 35.979607160000 , status = Success , start = 2021-07-13 12:04:11.029339499 UTC , finish = 2021-07-13 12:04:47.008946659 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '5' , '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 = 16 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 192} , self = 439 , parent = Just 16 , duration = 69.634149220000 , status = Success , start = 2021-07-13 12:05:10.167834666 UTC , finish = 2021-07-13 12:06:19.801983886 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '4' , '6' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 7 , num_strict_rules = 3 , num_top_rules = 3 , num_weak_rules = 4 , alphabet_size = 3 , total_length = 76} , self = 571 , parent = Just 463 , duration = 82.046183583000 , status = Success , start = 2021-07-13 12:06:33.203842627 UTC , finish = 2021-07-13 12:07:55.25002621 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '8' , '3' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 24 , num_strict_rules = 2 , num_top_rules = 2 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 368} , self = 445 , parent = Just 255 , duration = 126.839265972000 , status = Success , start = 2021-07-13 12:04:14.040480965 UTC , finish = 2021-07-13 12:06:20.879746937 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '8' , '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 = 34 , num_strict_rules = 12 , num_top_rules = 12 , num_weak_rules = 22 , alphabet_size = 7 , total_length = 520} , self = 527 , parent = Just 260 , duration = 160.234417818000 , status = Success , start = 2021-07-13 12:04:16.965307532 UTC , finish = 2021-07-13 12:06:57.19972535 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '0' , '2' ] , 3 , True )} Info { what = Tiling { method = Overlap , width = 4 , state_type = Best , map_type = Enum , unlabel = True , print_completion_steps = False , print_tiles = False , max_num_tiles = Just 1000 , max_num_rules = Just 100000 , verbose = False , tracing = False} , input_size = Size { num_rules = 51 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 36 , alphabet_size = 7 , total_length = 726} , self = 555 , parent = Just 112 , duration = 218.189242939000 , status = Success , start = 2021-07-13 12:03:50.594353216 UTC , finish = 2021-07-13 12:07:28.783596155 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '6' , '8' ] , 3 , True )} Success : Unlabel { steps = Many, verbose = False, tracing = False} total number 79 max duration 0.513935648000 min duration 0.000005689000 total durat. 2.636501531000 Success : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 32 max duration 81.749736455000 min duration 0.079050992000 total durat. 505.384492699000 Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 222 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 216 , alphabet_size = 18 , total_length = 3846} , self = 236 , parent = Just 223 , duration = 2.020783707000 , status = Success , start = 2021-07-13 12:03:47.638355001 UTC , finish = 2021-07-13 12:03:49.659138708 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 = 258 , num_strict_rules = 42 , num_top_rules = 42 , num_weak_rules = 216 , alphabet_size = 19 , total_length = 4458} , self = 233 , parent = Just 218 , duration = 2.114255333000 , status = Success , start = 2021-07-13 12:03:47.387423049 UTC , finish = 2021-07-13 12:03:49.501678382 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 258 , num_strict_rules = 42 , num_top_rules = 42 , num_weak_rules = 216 , alphabet_size = 19 , total_length = 4458} , self = 216 , parent = Just 205 , duration = 2.393337591000 , status = Success , start = 2021-07-13 12:03:44.720546672 UTC , finish = 2021-07-13 12:03:47.113884263 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 328 , num_strict_rules = 40 , num_top_rules = 40 , num_weak_rules = 288 , alphabet_size = 21 , total_length = 5568} , self = 226 , parent = Just 207 , duration = 3.032326211000 , status = Success , start = 2021-07-13 12:03:45.045943676 UTC , finish = 2021-07-13 12:03:48.078269887 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 396 , num_strict_rules = 396 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 7722} , self = 146 , parent = Just 85 , duration = 3.228360310000 , status = Success , start = 2021-07-13 12:03:35.579556619 UTC , finish = 2021-07-13 12:03:38.807916929 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '9' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 396 , num_strict_rules = 396 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 23 , total_length = 7722} , self = 139 , parent = Just 83 , duration = 3.274594064000 , status = Success , start = 2021-07-13 12:03:35.293992399 UTC , finish = 2021-07-13 12:03:38.568586463 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '2' , '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 = 1680 , num_strict_rules = 90 , num_top_rules = 90 , num_weak_rules = 1590 , alphabet_size = 67 , total_length = 35595} , self = 531 , parent = Just 528 , duration = 5.564172507000 , status = Success , start = 2021-07-13 12:06:57.200439036 UTC , finish = 2021-07-13 12:07:02.764611543 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 320 , num_strict_rules = 32 , num_top_rules = 32 , num_weak_rules = 288 , alphabet_size = 21 , total_length = 5432} , self = 299 , parent = Just 275 , duration = 6.406603793000 , status = Success , start = 2021-07-13 12:04:09.12681774 UTC , finish = 2021-07-13 12:04:15.533421533 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '3' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 567 , num_strict_rules = 63 , num_top_rules = 63 , num_weak_rules = 504 , alphabet_size = 31 , total_length = 10971} , self = 221 , parent = Just 176 , duration = 6.703269023000 , status = Success , start = 2021-07-13 12:03:40.850383435 UTC , finish = 2021-07-13 12:03:47.553652458 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '7' , '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 = 477 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 468 , alphabet_size = 28 , total_length = 9243} , self = 246 , parent = Just 202 , duration = 6.770043043000 , status = Success , start = 2021-07-13 12:03:43.939565459 UTC , finish = 2021-07-13 12:03:50.709608502 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '2' , '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 = 567 , num_strict_rules = 63 , num_top_rules = 63 , num_weak_rules = 504 , alphabet_size = 31 , total_length = 10971} , self = 244 , parent = Just 194 , duration = 7.365294188000 , status = Success , start = 2021-07-13 12:03:43.256567069 UTC , finish = 2021-07-13 12:03:50.621861257 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 = 627 , num_strict_rules = 55 , num_top_rules = 55 , num_weak_rules = 572 , alphabet_size = 34 , total_length = 11990} , self = 215 , parent = Just 152 , duration = 8.104044575000 , status = Success , start = 2021-07-13 12:03:39.009774074 UTC , finish = 2021-07-13 12:03:47.113818649 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '5' , '1' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 246 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 216 , alphabet_size = 19 , total_length = 4248} , self = 419 , parent = Just 410 , duration = 8.344886724000 , status = Success , start = 2021-07-13 12:05:40.684748898 UTC , finish = 2021-07-13 12:05:49.029635622 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '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 = 2127 , num_strict_rules = 111 , num_top_rules = 111 , num_weak_rules = 2016 , alphabet_size = 85 , total_length = 44346} , self = 558 , parent = Just 556 , duration = 9.360679775000 , status = Success , start = 2021-07-13 12:07:28.784721388 UTC , finish = 2021-07-13 12:07:38.145401163 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '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 = 246 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 216 , alphabet_size = 19 , total_length = 4248} , self = 406 , parent = Just 402 , duration = 10.744370178000 , status = Success , start = 2021-07-13 12:05:28.124033964 UTC , finish = 2021-07-13 12:05:38.868404142 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 320 , num_strict_rules = 32 , num_top_rules = 32 , num_weak_rules = 288 , alphabet_size = 21 , total_length = 5432} , self = 411 , parent = Just 404 , duration = 11.556039921000 , status = Success , start = 2021-07-13 12:05:31.968832933 UTC , finish = 2021-07-13 12:05:43.524872854 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '8' , '5' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 756 , num_strict_rules = 108 , num_top_rules = 108 , num_weak_rules = 648 , alphabet_size = 38 , total_length = 14526} , self = 270 , parent = Just 181 , duration = 14.127793356000 , status = Success , start = 2021-07-13 12:03:41.523789878 UTC , finish = 2021-07-13 12:03:55.651583234 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 = 549 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 504 , alphabet_size = 31 , total_length = 10620} , self = 392 , parent = Just 359 , duration = 16.881999140000 , status = Success , start = 2021-07-13 12:04:43.469550544 UTC , finish = 2021-07-13 12:05:00.351549684 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 549 , num_strict_rules = 45 , num_top_rules = 45 , num_weak_rules = 504 , alphabet_size = 31 , total_length = 10620} , self = 381 , parent = Just 346 , duration = 16.974673155000 , status = Success , start = 2021-07-13 12:04:36.374716701 UTC , finish = 2021-07-13 12:04:53.349389856 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '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 = 616 , num_strict_rules = 44 , num_top_rules = 44 , num_weak_rules = 572 , alphabet_size = 34 , total_length = 11781} , self = 366 , parent = Just 324 , duration = 21.208644259000 , status = Success , start = 2021-07-13 12:04:25.807580273 UTC , finish = 2021-07-13 12:04:47.016224532 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 852 , num_strict_rules = 852 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 16668} , self = 376 , parent = Just 332 , duration = 22.186357638000 , status = Success , start = 2021-07-13 12:04:29.346642452 UTC , finish = 2021-07-13 12:04:51.53300009 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1425 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 1410 , alphabet_size = 60 , total_length = 30135} , self = 492 , parent = Just 446 , duration = 22.210493283000 , status = Success , start = 2021-07-13 12:06:20.888371666 UTC , finish = 2021-07-13 12:06:43.098864949 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 756 , num_strict_rules = 108 , num_top_rules = 108 , num_weak_rules = 648 , alphabet_size = 38 , total_length = 14526} , self = 489 , parent = Just 440 , duration = 22.807087374000 , status = Success , start = 2021-07-13 12:06:19.802775292 UTC , finish = 2021-07-13 12:06:42.609862666 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 616 , num_strict_rules = 44 , num_top_rules = 44 , num_weak_rules = 572 , alphabet_size = 34 , total_length = 11781} , self = 292 , parent = Just 231 , duration = 26.361566971000 , status = Success , start = 2021-07-13 12:03:48.49387517 UTC , finish = 2021-07-13 12:04:14.855442141 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '5' , '4' , '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 = 852 , num_strict_rules = 852 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 34 , total_length = 16668} , self = 396 , parent = Just 354 , duration = 27.614067493000 , status = Success , start = 2021-07-13 12:04:40.490857202 UTC , finish = 2021-07-13 12:05:08.104924695 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '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 = 756 , num_strict_rules = 108 , num_top_rules = 108 , num_weak_rules = 648 , alphabet_size = 38 , total_length = 14526} , self = 407 , parent = Just 365 , duration = 53.201776384000 , status = Success , start = 2021-07-13 12:04:47.015652293 UTC , finish = 2021-07-13 12:05:40.217428677 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '9' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1215 , num_strict_rules = 1215 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 51 , total_length = 25785} , self = 423 , parent = Just 342 , duration = 81.258687738000 , status = Success , start = 2021-07-13 12:04:34.222594705 UTC , finish = 2021-07-13 12:05:55.481282443 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 1215 , num_strict_rules = 1215 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 51 , total_length = 25785} , self = 428 , parent = Just 350 , duration = 81.749736455000 , status = Success , start = 2021-07-13 12:04:40.04640137 UTC , finish = 2021-07-13 12:06:01.796137825 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '8' , '1' ] , 3 , False )} Fail : Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} total number 70 max duration 7.024970771000 min duration 0.000083883000 total durat. 74.259300821000 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 = 14 , total_length = 2862} , self = 167 , parent = Just 163 , duration = 1.010973256000 , status = Fail , start = 2021-07-13 12:03:39.43886488 UTC , finish = 2021-07-13 12:03:40.449838136 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '4' , '6' , '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 = 108 , num_strict_rules = 108 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 12 , total_length = 1908} , self = 482 , parent = Just 480 , duration = 1.176219965000 , status = Fail , start = 2021-07-13 12:06:36.332184433 UTC , finish = 2021-07-13 12:06:37.508404398 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 124 , num_strict_rules = 124 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 13 , total_length = 2188} , self = 447 , parent = Just 442 , duration = 1.373443370000 , status = Fail , start = 2021-07-13 12:06:19.886372036 UTC , finish = 2021-07-13 12:06:21.259815406 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 57 , num_strict_rules = 9 , num_top_rules = 9 , num_weak_rules = 48 , alphabet_size = 8 , total_length = 828} , self = 485 , parent = Just 484 , duration = 1.427487568000 , status = Fail , start = 2021-07-13 12:06:37.707561762 UTC , finish = 2021-07-13 12:06:39.13504933 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 51 , num_strict_rules = 15 , num_top_rules = 15 , num_weak_rules = 36 , alphabet_size = 8 , total_length = 762} , self = 315 , parent = Just 314 , duration = 1.801681700000 , status = Fail , start = 2021-07-13 12:04:20.532940248 UTC , finish = 2021-07-13 12:04:22.334621948 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '3' , '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 = 672 , num_strict_rules = 672 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 13284} , self = 524 , parent = Just 518 , duration = 1.809897889000 , status = Fail , start = 2021-07-13 12:06:53.653312906 UTC , finish = 2021-07-13 12:06:55.463210795 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 144 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 140 , alphabet_size = 16 , total_length = 2512} , self = 438 , parent = Just 437 , duration = 1.868677397000 , status = Fail , start = 2021-07-13 12:06:17.869146259 UTC , finish = 2021-07-13 12:06:19.737823656 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '2' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 192 , num_strict_rules = 6 , num_top_rules = 6 , num_weak_rules = 186 , alphabet_size = 17 , total_length = 3348} , self = 329 , parent = Just 326 , duration = 2.314075230000 , status = Fail , start = 2021-07-13 12:04:26.693648919 UTC , finish = 2021-07-13 12:04:29.007724149 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 150 , num_strict_rules = 150 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 2652} , self = 519 , parent = Just 514 , duration = 2.562489902000 , status = Fail , start = 2021-07-13 12:06:51.76667362 UTC , finish = 2021-07-13 12:06:54.329163522 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '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 = 128 , num_strict_rules = 4 , num_top_rules = 4 , num_weak_rules = 124 , alphabet_size = 15 , total_length = 2232} , self = 526 , parent = Just 522 , duration = 2.583418973000 , status = Fail , start = 2021-07-13 12:06:54.452831374 UTC , finish = 2021-07-13 12:06:57.036250347 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '9' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 164 , num_strict_rules = 24 , num_top_rules = 24 , num_weak_rules = 140 , alphabet_size = 17 , total_length = 2856} , self = 473 , parent = Just 460 , duration = 2.598511040000 , status = Fail , start = 2021-07-13 12:06:33.097121056 UTC , finish = 2021-07-13 12:06:35.695632096 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '4' , '6' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 224 , num_strict_rules = 38 , num_top_rules = 38 , num_weak_rules = 186 , alphabet_size = 17 , total_length = 3789} , self = 557 , parent = Just 554 , duration = 2.712299246000 , status = Fail , start = 2021-07-13 12:07:26.839857733 UTC , finish = 2021-07-13 12:07:29.552156979 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '1' , '4' , '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 = 150 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 14 , total_length = 2652} , self = 515 , parent = Just 512 , duration = 2.814942862000 , status = Fail , start = 2021-07-13 12:06:50.793756379 UTC , finish = 2021-07-13 12:06:53.608699241 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '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 = 222 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 186 , alphabet_size = 18 , total_length = 3864} , self = 337 , parent = Just 334 , duration = 3.072384158000 , status = Fail , start = 2021-07-13 12:04:29.818313422 UTC , finish = 2021-07-13 12:04:32.89069758 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '9' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 222 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 186 , alphabet_size = 18 , total_length = 3864} , self = 303 , parent = Just 286 , duration = 3.294081952000 , status = Fail , start = 2021-07-13 12:04:13.276404868 UTC , finish = 2021-07-13 12:04:16.57048682 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '6' , '7' , '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 = 276 , num_strict_rules = 33 , num_top_rules = 33 , num_weak_rules = 243 , alphabet_size = 19 , total_length = 4734} , self = 327 , parent = Just 322 , duration = 3.477442372000 , status = Fail , start = 2021-07-13 12:04:25.246343393 UTC , finish = 2021-07-13 12:04:28.723785765 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '5' , '5' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 269 , num_strict_rules = 26 , num_top_rules = 26 , num_weak_rules = 243 , alphabet_size = 19 , total_length = 4615} , self = 362 , parent = Just 357 , duration = 3.824041096000 , status = Fail , start = 2021-07-13 12:04:43.11496213 UTC , finish = 2021-07-13 12:04:46.939003226 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '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 = 216 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 186 , alphabet_size = 18 , total_length = 3750} , self = 453 , parent = Just 444 , duration = 4.422331659000 , status = Fail , start = 2021-07-13 12:06:20.599854174 UTC , finish = 2021-07-13 12:06:25.022185833 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '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 = 222 , num_strict_rules = 36 , num_top_rules = 36 , num_weak_rules = 186 , alphabet_size = 18 , total_length = 3864} , self = 351 , parent = Just 344 , duration = 4.613940273000 , status = Fail , start = 2021-07-13 12:04:35.61097895 UTC , finish = 2021-07-13 12:04:40.224919223 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '7' , '7' , '3' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 269 , num_strict_rules = 26 , num_top_rules = 26 , num_weak_rules = 243 , alphabet_size = 19 , total_length = 4615} , self = 455 , parent = Just 449 , duration = 6.360446943000 , status = Fail , start = 2021-07-13 12:06:22.085939212 UTC , finish = 2021-07-13 12:06:28.446386155 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '9' , '3' , '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 = 672 , num_strict_rules = 672 , num_top_rules = 0 , num_weak_rules = 0 , alphabet_size = 31 , total_length = 13284} , self = 523 , parent = Just 510 , duration = 6.681292437000 , status = Fail , start = 2021-07-13 12:06:48.711948105 UTC , finish = 2021-07-13 12:06:55.393240542 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '8' , '8' ] , 3 , False )} Info { what = Weight { modus = Pre (Or_Else Count (IfSizeLeq 100000 (Simplex Sparse) Fail)) , verbose = False , tracing = False} , input_size = Size { num_rules = 216 , num_strict_rules = 30 , num_top_rules = 30 , num_weak_rules = 186 , alphabet_size = 18 , total_length = 3750} , self = 495 , parent = Just 478 , duration = 7.024970771000 , status = Fail , start = 2021-07-13 12:06:36.08841179 UTC , finish = 2021-07-13 12:06:43.113382561 UTC , thread_cap_info = ( [ 'T' , 'h' , 'r' , 'e' , 'a' , 'd' , 'I' , 'd' , ' ' , '1' , '0' , '0' , '3' ] , 3 , False )} **************************************************