1:
seed: 0
Nr of vars set: 19 (#equs: 0)
Nr of vars set: 38 (#equs: 3)
#decisions: 619; #end-nodes: 41;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 41 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
result: model found (1)
Model found with constant: 101647831 (1991368:>=*);
#decisions: 88; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101672390 (1966809:>=*);
#decisions: 65; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101672391 (1966808:>=*);
#decisions: 68; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101672407 (1966792:>=*);
#decisions: 68; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101672439 (1966760:>=*);
#decisions: 79; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101672951 (1966248:>=*);
#decisions: 78; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101673207 (1965992:>=*);
#decisions: 70; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101673271 (1965928:>=*);
#decisions: 60; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101673273 (1965926:>=*);
#decisions: 77; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101673785 (1965414:>=*);
#decisions: 67; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101673849 (1965350:>=*);
#decisions: 95; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101685305 (1953894:>=*);
#decisions: 82; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101689401 (1949798:>=*);
#decisions: 75; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101689657 (1949542:>=*);
#decisions: 79; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101690169 (1949030:>=*);
#decisions: 65; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101690233 (1948966:>=*);
#decisions: 63; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101690265 (1948934:>=*);
#decisions: 53; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101690266 (1948933:>=*);
#decisions: 91; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101694106 (1945093:>=*);
#decisions: 89; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101698202 (1940997:>=*);
#decisions: 66; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101698458 (1940741:>=*);
#decisions: 50; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101698459 (1940740:>=*);
#decisions: 55; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101698463 (1940736:>=*);
#decisions: 99; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101705621 (1933578:>=*);
#decisions: 89; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101715315 (1923884:>=*);
#decisions: 80; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101723507 (1915692:>=*);
#decisions: 60; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101723509 (1915690:>=*);
#decisions: 61; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101723541 (1915658:>=*);
#decisions: 77; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101725589 (1913610:>=*);
#decisions: 73; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101726101 (1913098:>=*);
#decisions: 86; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101728436 (1910763:>=*);
#decisions: 58; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101728437 (1910762:>=*);
#decisions: 81; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101728949 (1910250:>=*);
#decisions: 72; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101729077 (1910122:>=*);
#decisions: 78; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101730852 (1908347:>=*);
#decisions: 63; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101730868 (1908331:>=*);
#decisions: 118; #end-nodes: 61;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 61 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101730869 (1908330:>=*);
#decisions: 119; #end-nodes: 57;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 57 / 80 (80)
#axs: 39, #non-axs: 39
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101730901 (1908298:>=*);
#decisions: 1003; #end-nodes: 330;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 87 / 99 (80)
#axs: 39, #non-axs: 105
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101735745 (1903454:>=*);
#decisions: 36; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 105
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101735761 (1903438:>=*);
#decisions: 28; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 105
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101735765 (1903434:>=*);
#decisions: 24; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 105
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101735767 (1903432:>=*);
#decisions: 37; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 105
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101735799 (1903400:>=*);
#decisions: 101; #end-nodes: 60;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 60 / 80 (80)
#axs: 39, #non-axs: 105
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101735815 (1903384:>=*);
#decisions: 89; #end-nodes: 59;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 59 / 80 (80)
#axs: 39, #non-axs: 105
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101735823 (1903376:>=*);
#decisions: 730; #end-nodes: 341;
#proof improvement attempts: 0; #restarts: 3
Current batch, end-nodes: 26 / 185 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101738290 (1900909:>=*);
#decisions: 267; #end-nodes: 82;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101745374 (1893825:>=*);
#decisions: 55; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101745406 (1893793:>=*);
#decisions: 47; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101745414 (1893785:>=*);
#decisions: 43; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101745418 (1893781:>=*);
#decisions: 73; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101749028 (1890171:>=*);
#decisions: 112; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101749540 (1889659:>=*);
#decisions: 63; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101749668 (1889531:>=*);
#decisions: 79; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101749670 (1889529:>=*);
#decisions: 70; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101750182 (1889017:>=*);
#decisions: 63; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101750244 (1888955:>=*);
#decisions: 84; #end-nodes: 27;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 27 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101750246 (1888953:>=*);
#decisions: 96; #end-nodes: 33;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 33 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101750502 (1888697:>=*);
#decisions: 49; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101750504 (1888695:>=*);
#decisions: 88; #end-nodes: 45;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 45 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101750506 (1888693:>=*);
#decisions: 126; #end-nodes: 73;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 73 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101750538 (1888661:>=*);
#decisions: 223; #end-nodes: 84;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 4 / 83 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751053 (1888146:>=*);
#decisions: 126; #end-nodes: 43;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 43 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751117 (1888082:>=*);
#decisions: 78; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751133 (1888066:>=*);
#decisions: 63; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751134 (1888065:>=*);
#decisions: 81; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751373 (1887826:>=*);
#decisions: 78; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751374 (1887825:>=*);
#decisions: 51; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751390 (1887809:>=*);
#decisions: 85; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751398 (1887801:>=*);
#decisions: 130; #end-nodes: 64;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 64 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751437 (1887762:>=*);
#decisions: 92; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751501 (1887698:>=*);
#decisions: 94; #end-nodes: 31;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751509 (1887690:>=*);
#decisions: 57; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 39, #non-axs: 156
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101751525 (1887674:>=*);
#decisions: 227; #end-nodes: 104;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 23 / 116 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101756356 (1882843:>=*);
#decisions: 111; #end-nodes: 30;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101756420 (1882779:>=*);
#decisions: 80; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101756428 (1882771:>=*);
#decisions: 88; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101756940 (1882259:>=*);
#decisions: 74; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101757196 (1882003:>=*);
#decisions: 136; #end-nodes: 56;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 56 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101757708 (1881491:>=*);
#decisions: 156; #end-nodes: 78;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 78 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101757964 (1881235:>=*);
#decisions: 65; #end-nodes: 18;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 18 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101757968 (1881231:>=*);
#decisions: 97; #end-nodes: 36;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 36 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101758000 (1881199:>=*);
#decisions: 390; #end-nodes: 188;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 6 / 101 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101758136 (1881063:>=*);
#decisions: 71; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766328 (1872871:>=*);
#decisions: 47; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766336 (1872863:>=*);
#decisions: 59; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766464 (1872735:>=*);
#decisions: 37; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766465 (1872734:>=*);
#decisions: 55; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766529 (1872670:>=*);
#decisions: 68; #end-nodes: 25;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766530 (1872669:>=*);
#decisions: 59; #end-nodes: 23;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766537 (1872662:>=*);
#decisions: 71; #end-nodes: 37;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766538 (1872661:>=*);
#decisions: 92; #end-nodes: 51;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 51 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766553 (1872646:>=*);
#decisions: 41; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101766554 (1872645:>=*);
#decisions: 88; #end-nodes: 30;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 30 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101767354 (1871845:>=*);
#decisions: 130; #end-nodes: 62;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 62 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101767385 (1871814:>=*);
#decisions: 36; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101767386 (1871813:>=*);
#decisions: 48; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101767418 (1871781:>=*);
#decisions: 584; #end-nodes: 374;
#proof improvement attempts: 0; #restarts: 4
Current batch, end-nodes: 8 / 81 (81)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101767934 (1871265:>=*);
#decisions: 80; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101769854 (1869345:>=*);
#decisions: 90; #end-nodes: 1;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 1 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101772909 (1866290:>=*);
#decisions: 66; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101772910 (1866289:>=*);
#decisions: 72; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101772926 (1866273:>=*);
#decisions: 79; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773054 (1866145:>=*);
#decisions: 68; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773070 (1866129:>=*);
#decisions: 82; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773085 (1866114:>=*);
#decisions: 84; #end-nodes: 12;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 12 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773086 (1866113:>=*);
#decisions: 64; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773087 (1866112:>=*);
#decisions: 61; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773088 (1866111:>=*);
#decisions: 73; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773103 (1866096:>=*);
#decisions: 62; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101773104 (1866095:>=*);
#decisions: 97; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101777239 (1861960:>=*);
#decisions: 79; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101784919 (1854280:>=*);
#decisions: 92; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101785431 (1853768:>=*);
#decisions: 111; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101785559 (1853640:>=*);
#decisions: 84; #end-nodes: 15;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 15 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101785567 (1853632:>=*);
#decisions: 86; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101786581 (1852618:>=*);
#decisions: 87; #end-nodes: 14;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 14 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101786583 (1852616:>=*);
#decisions: 80; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101786591 (1852608:>=*);
#decisions: 73; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101786655 (1852544:>=*);
#decisions: 98; #end-nodes: 17;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 17 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101786903 (1852296:>=*);
#decisions: 74; #end-nodes: 8;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 8 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101786911 (1852288:>=*);
#decisions: 79; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101786912 (1852287:>=*);
#decisions: 74; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787416 (1851783:>=*);
#decisions: 82; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787424 (1851775:>=*);
#decisions: 81; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787432 (1851767:>=*);
#decisions: 74; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787440 (1851759:>=*);
#decisions: 91; #end-nodes: 25;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 25 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787441 (1851758:>=*);
#decisions: 100; #end-nodes: 26;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 26 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787566 (1851633:>=*);
#decisions: 133; #end-nodes: 64;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 64 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787567 (1851632:>=*);
#decisions: 116; #end-nodes: 59;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 59 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787568 (1851631:>=*);
#decisions: 90; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101787569 (1851630:>=*);
#decisions: 780; #end-nodes: 485;
#proof improvement attempts: 0; #restarts: 5
Current batch, end-nodes: 9 / 81 (81)
#axs: 39, #non-axs: 158
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101788374 (1850825:>=*);
#decisions: 1326; #end-nodes: 766;
#proof improvement attempts: 0; #restarts: 7
Current batch, end-nodes: 124 / 137 (81)
#axs: 39, #non-axs: 161
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101788749 (1850450:>=*);
#decisions: 2039; #end-nodes: 1488;
#proof improvement attempts: 0; #restarts: 17
Current batch, end-nodes: 3 / 84 (84)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101788989 (1850210:>=*);
#decisions: 343; #end-nodes: 199;
#proof improvement attempts: 0; #restarts: 2
Current batch, end-nodes: 39 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101789691 (1849508:>=*);
#decisions: 70; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101790715 (1848484:>=*);
#decisions: 59; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101790779 (1848420:>=*);
#decisions: 63; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101790838 (1848361:>=*);
#decisions: 97; #end-nodes: 42;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 42 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101790839 (1848360:>=*);
#decisions: 52; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101790843 (1848356:>=*);
#decisions: 90; #end-nodes: 32;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 32 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101790855 (1848344:>=*);
#decisions: 64; #end-nodes: 24;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 24 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101790859 (1848340:>=*);
#decisions: 1956; #end-nodes: 1490;
#proof improvement attempts: 0; #restarts: 18
Current batch, end-nodes: 2 / 84 (84)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101792613 (1846586:>=*);
#decisions: 50; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101792869 (1846330:>=*);
#decisions: 41; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101792885 (1846314:>=*);
#decisions: 29; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101792887 (1846312:>=*);
#decisions: 36; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101792895 (1846304:>=*);
#decisions: 44; #end-nodes: 0;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 0 / 80 (80)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101792927 (1846272:>=*);
#decisions: 666; #end-nodes: 478;
#proof improvement attempts: 0; #restarts: 5
Current batch, end-nodes: 2 / 81 (81)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101793309 (1845890:>=*);
#decisions: 3896; #end-nodes: 3113;
#proof improvement attempts: 0; #restarts: 36
Current batch, end-nodes: 2 / 89 (89)
#axs: 42, #non-axs: 11
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101793346 (1845853:>=*);
#decisions: 7949; #end-nodes: 6432;
#proof improvement attempts: 0; #restarts: 71
Current batch, end-nodes: 1 / 97 (97)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101794351 (1844848:>=*);
#decisions: 163; #end-nodes: 76;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 76 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101794461 (1844738:>=*);
#decisions: 40; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101794477 (1844722:>=*);
#decisions: 63; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101794479 (1844720:>=*);
#decisions: 85; #end-nodes: 22;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 22 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101794975 (1844224:>=*);
#decisions: 120; #end-nodes: 52;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 52 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101794991 (1844208:>=*);
#decisions: 59; #end-nodes: 16;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 16 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795021 (1844178:>=*);
#decisions: 79; #end-nodes: 31;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 31 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795023 (1844176:>=*);
#decisions: 42; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795055 (1844144:>=*);
#decisions: 75; #end-nodes: 23;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 23 / 80 (80)
#axs: 42, #non-axs: 13
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795247 (1843952:>=*);
#decisions: 8861; #end-nodes: 7393;
#proof improvement attempts: 0; #restarts: 78
Current batch, end-nodes: 4 / 99 (99)
#axs: 42, #non-axs: 16
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795436 (1843763:>=*);
#decisions: 128; #end-nodes: 75;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 75 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795437 (1843762:>=*);
#decisions: 28; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795439 (1843760:>=*);
#decisions: 62; #end-nodes: 35;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 35 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795440 (1843759:>=*);
#decisions: 66; #end-nodes: 37;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 37 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795443 (1843756:>=*);
#decisions: 67; #end-nodes: 47;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795444 (1843755:>=*);
#decisions: 44; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795452 (1843747:>=*);
#decisions: 106; #end-nodes: 47;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 47 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795500 (1843699:>=*);
#decisions: 80; #end-nodes: 28;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 28 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795502 (1843697:>=*);
#decisions: 35; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795504 (1843695:>=*);
#decisions: 40; #end-nodes: 10;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 10 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795508 (1843691:>=*);
#decisions: 79; #end-nodes: 29;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 29 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795555 (1843644:>=*);
#decisions: 74; #end-nodes: 19;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 19 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795571 (1843628:>=*);
#decisions: 102; #end-nodes: 60;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 60 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795572 (1843627:>=*);
#decisions: 84; #end-nodes: 55;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 55 / 80 (80)
#axs: 42, #non-axs: 17
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795580 (1843619:>=*);
#decisions: 4039; #end-nodes: 3398;
#proof improvement attempts: 0; #restarts: 39
Current batch, end-nodes: 16 / 158 (89)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795630 (1843569:>=*);
#decisions: 65; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795662 (1843537:>=*);
#decisions: 35; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795694 (1843505:>=*);
#decisions: 24; #end-nodes: 9;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 9 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795696 (1843503:>=*);
#decisions: 25; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795698 (1843501:>=*);
#decisions: 26; #end-nodes: 7;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 7 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795700 (1843499:>=*);
#decisions: 30; #end-nodes: 11;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 11 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795702 (1843497:>=*);
#decisions: 31; #end-nodes: 13;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 13 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795704 (1843495:>=*);
#decisions: 25; #end-nodes: 6;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 6 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795708 (1843491:>=*);
#decisions: 3642; #end-nodes: 3452;
#proof improvement attempts: 0; #restarts: 14
Current batch, end-nodes: 252 / 738 (83)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795711 (1843488:>=*);
#decisions: 38; #end-nodes: 3;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 3 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795739 (1843460:>=*);
#decisions: 27; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795743 (1843456:>=*);
#decisions: 29; #end-nodes: 5;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 5 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795746 (1843453:>=*);
#decisions: 21; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795747 (1843452:>=*);
#decisions: 26; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795751 (1843448:>=*);
#decisions: 19; #end-nodes: 4;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 4 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795752 (1843447:>=*);
#decisions: 17; #end-nodes: 2;
#proof improvement attempts: 0; #restarts: 0
Current batch, end-nodes: 2 / 80 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795753 (1843446:>=*);
#decisions: 1973; #end-nodes: 1731;
#proof improvement attempts: 0; #restarts: 15
Current batch, end-nodes: 8 / 101 (83)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795854 (1843345:>=*);
#decisions: 248; #end-nodes: 126;
#proof improvement attempts: 0; #restarts: 1
Current batch, end-nodes: 46 / 93 (80)
#axs: 42, #non-axs: 18
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant: 101795999 (1843200:>=*);
#decisions: 9163; #end-nodes: 8268;
#proof improvement attempts: 0; #restarts: 70
Current batch, end-nodes: 416 / 695 (97)
#axs: 46, #non-axs: 10
tight: meta-meta: start: 6, end: 9; meta: start: 12, end (keep): 23
loose: meta-meta: start: 9, end: 14; meta: start: 30, end (keep): 50
Model found with constant:
(pushed:) 101795999 (1843200:>=*)
With an increment of the last pushed constant, a proof of false was found.
result: proof of false found (0)
seed: 0
Nr of vars set: 133 (#equs: 10)
Time taken in seconds: 16
times:
0m0.018s 0m0.009s
0m12.693s 0m3.785s
v -STM1_bit_7 -STM1_bit_6 -STM1_bit_5 -STM1_bit_4 -STM1_bit_3 -STM1_bit_2 -STM1_bit_1 -STM1_bit0 -STM1_bit1 STM1_bit2 STM1_bit3 STM1_bit4 STM1_bit5 -STM1_bit6 -STM1_bit7 -STM1_bit8 -STM1_bit9 -STM1_bit10 -STM1_bit11 -STM1_bit12 -ANM1_bit0 ANM1_bit1 ANM1_bit2 -ANM1_bit3 -ANM1_bit4 -UE1_bit_7 -UE1_bit_6 -UE1_bit_5 -UE1_bit_4 -UE1_bit_3 -UE1_bit_2 -UE1_bit_1 -UE1_bit0 -UE1_bit1 -UE1_bit2 -UE1_bit3 -UE1_bit4 -UE1_bit5 -UE1_bit6 -UE1_bit7 -UE1_bit8 -UE1_bit9 -UE1_bit10 -UE1_bit11 -UE1_bit12 STM2_bit0 STM2_bit1 -STM2_bit2 -STM2_bit3 -STM2_bit4 -ANM2_bit0 ANM2_bit1 ANM2_bit2 -ANM2_bit3 -ANM2_bit4 -UE2_bit_7 -UE2_bit_6 -UE2_bit_5 -UE2_bit_4 -UE2_bit_3 -UE2_bit_2 -UE2_bit_1 -UE2_bit0 -UE2_bit1 -UE2_bit2 UE2_bit3 UE2_bit4 -UE2_bit5 UE2_bit6 -UE2_bit7 -UE2_bit8 UE2_bit9 -UE2_bit10 -UE2_bit11 -UE2_bit12 STM3_bit0 STM3_bit1 -STM3_bit2 -STM3_bit3 -STM3_bit4 -ANM3_bit0 -ANM3_bit1 -ANM3_bit2 -ANM3_bit3 ANM3_bit4 -UE3_bit_7 -UE3_bit_6 -UE3_bit_5 -UE3_bit_4 -UE3_bit_3 -UE3_bit_2 -UE3_bit_1 -UE3_bit0 -UE3_bit1 -UE3_bit2 UE3_bit3 UE3_bit4 -UE3_bit5 UE3_bit6 -UE3_bit7 -UE3_bit8 UE3_bit9 -UE3_bit10 -UE3_bit11 -UE3_bit12 STM4_bit0 -STM4_bit1 STM4_bit2 STM4_bit3 -STM4_bit4 ANM4_bit0 ANM4_bit1 ANM4_bit2 -ANM4_bit3 -ANM4_bit4 -UE4_bit_7 -UE4_bit_6 -UE4_bit_5 -UE4_bit_4 -UE4_bit_3 -UE4_bit_2 -UE4_bit_1 -UE4_bit0 -UE4_bit1 -UE4_bit2 UE4_bit3 -UE4_bit4 -UE4_bit5 UE4_bit6 UE4_bit7 -UE4_bit8 -UE4_bit9 -UE4_bit10 -UE4_bit11 -UE4_bit12 STM5_bit0 -STM5_bit1 STM5_bit2 STM5_bit3 -STM5_bit4 -ANM5_bit0 -ANM5_bit1 ANM5_bit2 ANM5_bit3 -ANM5_bit4 -UE5_bit_7 -UE5_bit_6 -UE5_bit_5 -UE5_bit_4 -UE5_bit_3 -UE5_bit_2 -UE5_bit_1 -UE5_bit0 -UE5_bit1 -UE5_bit2 -UE5_bit3 -UE5_bit4 -UE5_bit5 -UE5_bit6 -UE5_bit7 -UE5_bit8 -UE5_bit9 -UE5_bit10 -UE5_bit11 -UE5_bit12 -STM6_bit0 STM6_bit1 -STM6_bit2 -STM6_bit3 STM6_bit4 -ANM6_bit0 -ANM6_bit1 -ANM6_bit2 -ANM6_bit3 -ANM6_bit4 -UE6_bit_7 -UE6_bit_6 -UE6_bit_5 -UE6_bit_4 -UE6_bit_3 -UE6_bit_2 -UE6_bit_1 -UE6_bit0 UE6_bit1 UE6_bit2 UE6_bit3 -UE6_bit4 UE6_bit5 UE6_bit6 UE6_bit7 -UE6_bit8 UE6_bit9 -UE6_bit10 -UE6_bit11 -UE6_bit12
s OPTIMUM FOUND