TSTP Solution File: FLD081-4 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : FLD081-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n032.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sat Jul 16 02:28:05 EDT 2022
% Result : Timeout 300.03s 300.21s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : FLD081-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.00/0.10 % Command : sos-script %s
% 0.10/0.28 % Computer : n032.cluster.edu
% 0.10/0.28 % Model : x86_64 x86_64
% 0.10/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.28 % Memory : 8042.1875MB
% 0.10/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Mon Jun 6 11:24:49 EDT 2022
% 0.10/0.29 % CPUTime :
% 0.14/0.30 ----- Otter 3.2, August 2001 -----
% 0.14/0.30 The process was started by sandbox2 on n032.cluster.edu,
% 0.14/0.30 Mon Jun 6 11:24:49 2022
% 0.14/0.30 The command was "./sos". The process ID is 30457.
% 0.14/0.30
% 0.14/0.30 set(prolog_style_variables).
% 0.14/0.30 set(auto).
% 0.14/0.30 dependent: set(auto1).
% 0.14/0.30 dependent: set(process_input).
% 0.14/0.30 dependent: clear(print_kept).
% 0.14/0.30 dependent: clear(print_new_demod).
% 0.14/0.30 dependent: clear(print_back_demod).
% 0.14/0.30 dependent: clear(print_back_sub).
% 0.14/0.30 dependent: set(control_memory).
% 0.14/0.30 dependent: assign(max_mem, 12000).
% 0.14/0.30 dependent: assign(pick_given_ratio, 4).
% 0.14/0.30 dependent: assign(stats_level, 1).
% 0.14/0.30 dependent: assign(pick_semantic_ratio, 3).
% 0.14/0.30 dependent: assign(sos_limit, 5000).
% 0.14/0.30 dependent: assign(max_weight, 60).
% 0.14/0.30 clear(print_given).
% 0.14/0.30
% 0.14/0.30 list(usable).
% 0.14/0.30
% 0.14/0.30 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.14/0.30
% 0.14/0.30 This is a non-Horn set without equality. The strategy
% 0.14/0.30 will be ordered hyper_res, ur_res, unit deletion, and
% 0.14/0.30 factoring, with satellites in sos and nuclei in usable.
% 0.14/0.30
% 0.14/0.30 dependent: set(hyper_res).
% 0.14/0.30 dependent: set(factor).
% 0.14/0.30 dependent: set(unit_deletion).
% 0.14/0.30
% 0.14/0.30 ------------> process usable:
% 0.14/0.30
% 0.14/0.30 ------------> process sos:
% 0.14/0.30
% 0.14/0.30 ======= end of input processing =======
% 0.14/0.37
% 0.14/0.37 Model 1 (0.00 seconds, 0 Inserts)
% 0.14/0.37
% 0.14/0.37 Stopped by limit on number of solutions
% 0.14/0.37
% 0.14/0.37
% 0.14/0.37 -------------- Softie stats --------------
% 0.14/0.37
% 0.14/0.37 UPDATE_STOP: 300
% 0.14/0.37 SFINDER_TIME_LIMIT: 2
% 0.14/0.37 SHORT_CLAUSE_CUTOFF: 4
% 0.14/0.37 number of clauses in intial UL: 48
% 0.14/0.37 number of clauses initially in problem: 62
% 0.14/0.37 percentage of clauses intially in UL: 77
% 0.14/0.37 percentage of distinct symbols occuring in initial UL: 75
% 0.14/0.37 percent of all initial clauses that are short: 100
% 0.14/0.37 absolute distinct symbol count: 16
% 0.14/0.37 distinct predicate count: 4
% 0.14/0.37 distinct function count: 4
% 0.14/0.37 distinct constant count: 8
% 0.14/0.37
% 0.14/0.37 ---------- no more Softie stats ----------
% 0.14/0.37
% 0.14/0.37
% 0.14/0.37
% 0.14/0.37 Model 2 (0.00 seconds, 0 Inserts)
% 0.14/0.37
% 0.14/0.37 Stopped by limit on number of solutions
% 0.14/0.37
% 0.14/0.37 =========== start of search ===========
% 3.82/4.01
% 3.82/4.01
% 3.82/4.01 Changing weight limit from 60 to 12.
% 3.82/4.01
% 3.82/4.01 Stopped by limit on insertions
% 3.82/4.01
% 3.82/4.01 Model 3 [ 1 1 198 ] (0.00 seconds, 250000 Inserts)
% 3.82/4.01
% 3.82/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 4 [ 1 1 130 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 5 [ 1 1 212 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 6 [ 1 2 171 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 7 [ 1 2 427 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 8 [ 2 1 109 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 9 [ 2 1 107 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 10 [ 9 1 168 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.01
% 3.84/4.01 Model 11 [ 10 1 191 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.01
% 3.84/4.01 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 12 [ 9 1 109 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 13 [ 2 1 144 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 14 [ 3 1 108 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 15 [ 3 2 125 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 16 [ 4 2 222 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 17 [ 9 2 221 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 18 [ 4 1 456 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 19 [ 5 1 190 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 20 [ 4 1 428 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 21 [ 5 1 144 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 22 [ 4 1 142 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 23 [ 6 1 246 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 24 [ 15 1 196 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 25 [ 5 1 146 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 26 [ 6 1 7156 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 27 [ 23 2 249 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 28 [ 19 1 119 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 29 [ 7 1 192 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 30 [ 6 2 471 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 31 [ 5 1 109 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 32 [ 8 1 542 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 33 [ 7 2 23656 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 34 [ 4 2 277 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 35 [ 30 1 333 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Stopped by limit on insertions
% 3.84/4.02
% 3.84/4.02 Model 36 [ 4 1 149 ] (0.00 seconds, 250000 Inserts)
% 3.84/4.02
% 3.84/4.02 Resetting weight limit to 12 after 45 givens.
% 3.84/4.02
% 4.76/5.02
% 4.76/5.02
% 4.76/5.02 Changing weight limit from 12 to 10.
% 4.76/5.02
% 4.76/5.02 Stopped by limit on insertions
% 4.76/5.02
% 4.76/5.02 Model 37 [ 7 1 132 ] (0.00 seconds, 250000 Inserts)
% 4.76/5.02
% 4.76/5.02 Stopped by limit on insertions
% 4.76/5.02
% 4.76/5.02 Model 38 [ 8 9 190681 ] (0.00 seconds, 250000 Inserts)
% 4.76/5.02
% 4.76/5.02 Stopped by limit on insertions
% 4.76/5.02
% 4.76/5.02 Model 39 [ 9 4 65347 ] (0.00 seconds, 250000 Inserts)
% 4.76/5.02
% 4.76/5.02 Stopped by limit on insertions
% 4.76/5.02
% 4.76/5.02 Model 40 [ 11 1 561 ] (0.00 seconds, 250000 Inserts)
% 4.76/5.02
% 4.76/5.02 Stopped by limit on insertions
% 4.76/5.02
% 4.76/5.02 Model 41 [ 6 2 1636 ] (0.00 seconds, 250000 Inserts)
% 4.76/5.02
% 4.76/5.02 Stopped by limit on insertions
% 4.76/5.02
% 4.76/5.02 Model 42 [ 8 1 111 ] (0.00 seconds, 250000 Inserts)
% 4.76/5.02
% 4.76/5.02 Resetting weight limit to 10 after 55 givens.
% 4.76/5.02
% 5.36/5.60
% 5.36/5.60
% 5.36/5.60 Changing weight limit from 10 to 11.
% 5.36/5.60
% 5.36/5.60 Stopped by limit on insertions
% 5.36/5.60
% 5.36/5.60 Model 43 [ 30 2 118 ] (0.00 seconds, 250000 Inserts)
% 5.36/5.60
% 5.36/5.60 Stopped by limit on insertions
% 5.36/5.60
% 5.36/5.60 Model 44 [ 9 1 147 ] (0.00 seconds, 250000 Inserts)
% 5.36/5.60
% 5.36/5.60 Stopped by limit on insertions
% 5.36/5.60
% 5.36/5.60 Model 45 [ 10 4 37734 ] (0.00 seconds, 250000 Inserts)
% 5.36/5.60
% 5.36/5.60 Resetting weight limit to 11 after 60 givens.
% 5.36/5.60
% 6.13/6.37
% 6.13/6.37
% 6.13/6.37 Changing weight limit from 11 to 10.
% 6.13/6.37
% 6.13/6.37 Stopped by limit on insertions
% 6.13/6.37
% 6.13/6.37 Model 46 [ 8 15 227072 ] (0.00 seconds, 250000 Inserts)
% 6.13/6.37
% 6.13/6.37 Stopped by limit on insertions
% 6.13/6.37
% 6.13/6.37 Model 47 [ 42 1 143 ] (0.00 seconds, 250000 Inserts)
% 6.13/6.37
% 6.13/6.37 Stopped by limit on insertions
% 6.13/6.37
% 6.13/6.37 Model 48 [ 9 1 109 ] (0.00 seconds, 250000 Inserts)
% 6.13/6.37
% 6.13/6.37 Stopped by limit on insertions
% 6.13/6.37
% 6.13/6.37 Model 49 [ 40 1 108 ] (0.00 seconds, 250000 Inserts)
% 6.13/6.37
% 6.13/6.37 Resetting weight limit to 10 after 65 givens.
% 6.13/6.37
% 8.26/8.45
% 8.26/8.45
% 8.26/8.45 Changing weight limit from 10 to 11.
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 50 [ 8 2 788 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 51 [ 14 19 232664 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 52 [ 7 21 229928 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 53 [ 42 2 123 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 54 [ 43 1 367 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 55 [ 13 18 213148 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 56 [ 13 4 28700 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Stopped by limit on insertions
% 8.26/8.45
% 8.26/8.45 Model 57 [ 17 5 80419 ] (0.00 seconds, 250000 Inserts)
% 8.26/8.45
% 8.26/8.45 Resetting weight limit to 11 after 75 givens.
% 8.26/8.45
% 10.84/11.04
% 10.84/11.04
% 10.84/11.04 Changing weight limit from 11 to 7.
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 58 [ 10 2 765 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 59 [ 48 1 288 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 60 [ 9 2 142 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 61 [ 51 1 320 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 62 [ 9 17 132378 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 63 [ 16 13 91849 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 64 [ 48 1 111 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 65 [ 17 26 242144 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Stopped by limit on insertions
% 10.84/11.04
% 10.84/11.04 Model 66 [ 12 1 657 ] (0.00 seconds, 250000 Inserts)
% 10.84/11.04
% 10.84/11.04 Resetting weight limit to 7 after 85 givens.
% 10.84/11.04
% 12.20/12.40
% 12.20/12.40
% 12.20/12.40 Changing weight limit from 7 to 8.
% 12.20/12.40
% 12.20/12.40 Stopped by limit on insertions
% 12.20/12.40
% 12.20/12.40 Model 67 [ 54 2 337 ] (0.00 seconds, 250000 Inserts)
% 12.20/12.40
% 12.20/12.40 Stopped by limit on insertions
% 12.20/12.40
% 12.20/12.40 Model 68 [ 14 26 219219 ] (0.00 seconds, 250000 Inserts)
% 12.20/12.40
% 12.20/12.40 Stopped by limit on insertions
% 12.20/12.40
% 12.20/12.40 Model 69 [ 15 16 128558 ] (0.00 seconds, 250000 Inserts)
% 12.20/12.40
% 12.20/12.40 Stopped by limit on insertions
% 12.20/12.40
% 12.20/12.40 Model 70 [ 16 7 48981 ] (0.00 seconds, 250000 Inserts)
% 12.20/12.40
% 12.20/12.40 Resetting weight limit to 8 after 90 givens.
% 12.20/12.40
% 13.94/14.13
% 13.94/14.13
% 13.94/14.13 Changing weight limit from 8 to 9.
% 13.94/14.13
% 13.94/14.13 Stopped by limit on insertions
% 13.94/14.13
% 13.94/14.13 Model 71 [ 10 2 229 ] (0.00 seconds, 250000 Inserts)
% 13.94/14.13
% 13.94/14.13 Stopped by limit on insertions
% 13.94/14.13
% 13.94/14.13 Model 72 [ 56 2 246 ] (0.00 seconds, 250000 Inserts)
% 13.94/14.13
% 13.94/14.13 Stopped by limit on insertions
% 13.94/14.13
% 13.94/14.13 Model 73 [ 11 1 328 ] (0.00 seconds, 250000 Inserts)
% 13.94/14.13
% 13.94/14.13 Stopped by limit on insertions
% 13.94/14.13
% 13.94/14.13 Model 74 [ 70 2 561 ] (0.00 seconds, 250000 Inserts)
% 13.94/14.13
% 13.94/14.13 Stopped by limit on insertions
% 13.94/14.13
% 13.94/14.13 Model 75 [ 11 1 155 ] (0.00 seconds, 250000 Inserts)
% 13.94/14.13
% 13.94/14.13 Stopped by limit on insertions
% 13.94/14.13
% 13.94/14.13 Model 76 [ 12 23 165158 ] (0.00 seconds, 250000 Inserts)
% 13.94/14.13
% 13.94/14.13 Resetting weight limit to 9 after 100 givens.
% 13.94/14.13
% 15.06/15.24
% 15.06/15.24
% 15.06/15.24 Changing weight limit from 9 to 7.
% 15.06/15.24
% 15.06/15.24 Stopped by limit on insertions
% 15.06/15.24
% 15.06/15.24 Model 77 [ 58 1 108 ] (0.00 seconds, 250000 Inserts)
% 15.06/15.24
% 15.06/15.24 Stopped by limit on insertions
% 15.06/15.24
% 15.06/15.24 Model 78 [ 7 1 202 ] (0.00 seconds, 250000 Inserts)
% 15.06/15.24
% 15.06/15.24 Stopped by limit on insertions
% 15.06/15.24
% 15.06/15.24 Model 79 [ 67 1 235 ] (0.00 seconds, 250000 Inserts)
% 15.06/15.24
% 15.06/15.24 Stopped by limit on insertions
% 15.06/15.24
% 15.06/15.24 Model 80 [ 13 1 194 ] (0.00 seconds, 250000 Inserts)
% 15.06/15.24
% 15.06/15.24 Resetting weight limit to 7 after 105 givens.
% 15.06/15.24
% 17.85/18.09
% 17.85/18.09
% 17.85/18.09 Changing weight limit from 7 to 8.
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 81 [ 15 25 187016 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 82 [ 14 2 108 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 83 [ 13 1 141 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 84 [ 15 1 130 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 85 [ 77 1 286 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 86 [ 22 2 4218 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 87 [ 24 10 54027 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Stopped by limit on insertions
% 17.85/18.09
% 17.85/18.09 Model 88 [ 46 3 10348 ] (0.00 seconds, 250000 Inserts)
% 17.85/18.09
% 17.85/18.09 Resetting weight limit to 8 after 115 givens.
% 17.85/18.09
% 19.63/19.82
% 19.63/19.82
% 19.63/19.82 Changing weight limit from 8 to 7.
% 19.63/19.82
% 19.63/19.82 Stopped by limit on insertions
% 19.63/19.82
% 19.63/19.82 Model 89 [ 19 12 60429 ] (0.00 seconds, 250000 Inserts)
% 19.63/19.82
% 19.63/19.82 Stopped by limit on insertions
% 19.63/19.82
% 19.63/19.82 Model 90 [ 23 3 10925 ] (0.00 seconds, 250000 Inserts)
% 19.63/19.82
% 19.63/19.82 Stopped by limit on insertions
% 19.63/19.82
% 19.63/19.82 Model 91 [ 21 35 182965 ] (0.00 seconds, 250000 Inserts)
% 19.63/19.82
% 19.63/19.82 Stopped by limit on insertions
% 19.63/19.82
% 19.63/19.82 Model 92 [ 8 1 214 ] (0.00 seconds, 250000 Inserts)
% 19.63/19.82
% 19.63/19.82 Resetting weight limit to 7 after 120 givens.
% 19.63/19.82
% 27.05/27.26
% 27.05/27.26
% 27.05/27.26 Changing weight limit from 7 to 8.
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 93 [ 79 1 114 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 94 [ 19 1 124 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 95 [ 12 2 142 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 96 [ 30 15 70870 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 97 [ 16 2 141 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 98 [ 18 4 15790 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 99 [ 13 1 146 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 100 [ 90 1 359 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 101 [ 23 1 125 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 102 [ 23 18 81808 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 103 [ 20 9 40620 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 104 [ 91 1 190 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 105 [ 89 25 104783 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 106 [ 24 45 220425 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 107 [ 19 2 109 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 108 [ 19 2 257 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Stopped by limit on insertions
% 27.05/27.26
% 27.05/27.26 Model 109 [ 24 43 201885 ] (0.00 seconds, 250000 Inserts)
% 27.05/27.26
% 27.05/27.26 Resetting weight limit to 8 after 145 givens.
% 27.05/27.26
% 32.14/32.37
% 32.14/32.37
% 32.14/32.37 Changing weight limit from 8 to 7.
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 110 [ 21 2 667 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 111 [ 10 1 122 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 112 [ 99 1 127 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 113 [ 16 1 158 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 114 [ 21 5 14904 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 115 [ 18 1 110 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 116 [ 25 2 108 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 117 [ 87 1 107 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 118 [ 36 17 58350 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Stopped by limit on insertions
% 32.14/32.37
% 32.14/32.37 Model 119 [ 18 1 107 ] (0.00 seconds, 250000 Inserts)
% 32.14/32.37
% 32.14/32.37 Resetting weight limit to 7 after 170 givens.
% 32.14/32.37
% 36.65/36.88
% 36.65/36.88
% 36.65/36.88 Changing weight limit from 7 to 8.
% 36.65/36.88
% 36.65/36.88 Stopped by limit on insertions
% 36.65/36.88
% 36.65/36.88 Model 120 [ 16 8 41665 ] (0.00 seconds, 250000 Inserts)
% 36.65/36.88
% 36.65/36.88 Stopped by limit on insertions
% 36.65/36.88
% 36.65/36.88 Model 121 [ 18 2 107 ] (0.00 seconds, 250000 Inserts)
% 36.65/36.88
% 36.65/36.88 Stopped by limit on insertions
% 36.65/36.88
% 36.65/36.88 Model 122 [ 101 5 12064 ] (0.00 seconds, 250000 Inserts)
% 36.65/36.88
% 36.65/36.88 Stopped by limit on insertions
% 36.65/36.88
% 36.65/36.88 Model 123 [ 11 2 544 ] (0.00 seconds, 250000 Inserts)
% 36.65/36.88
% 36.65/36.88 Stopped by limit on insertions
% 36.65/36.88
% 36.65/36.88 Model 124 [ 81 2 811 ] (0.00 seconds, 250000 Inserts)
% 36.65/36.88
% 36.65/36.88 Stopped by limit on insertions
% 36.65/36.88
% 36.65/36.88 Model 125 [ 23 47 129090 ] (0.00 seconds, 250000 Inserts)
% 36.65/36.88
% 36.65/36.88 Stopped by limit on insertions
% 36.65/36.88
% 36.65/36.88 Model 126 [ 40 28 75730 ] (0.00 seconds, 250000 Inserts)
% 36.65/36.88
% 36.65/36.88 Resetting weight limit to 8 after 180 givens.
% 36.65/36.88
% 39.41/39.66
% 39.41/39.66
% 39.41/39.66 Changing weight limit from 8 to 7.
% 39.41/39.66
% 39.41/39.66 Stopped by limit on insertions
% 39.41/39.66
% 39.41/39.66 Model 127 [ 39 28 76129 ] (0.00 seconds, 250000 Inserts)
% 39.41/39.66
% 39.41/39.66 Stopped by limit on insertions
% 39.41/39.66
% 39.41/39.66 Model 128 [ 21 1 112 ] (0.00 seconds, 250000 Inserts)
% 39.41/39.66
% 39.41/39.66 Stopped by limit on insertions
% 39.41/39.66
% 39.41/39.66 Model 129 [ 107 2 614 ] (0.00 seconds, 250000 Inserts)
% 39.41/39.66
% 39.41/39.66 Stopped by limit on insertions
% 39.41/39.66
% 39.41/39.66 Model 130 [ 20 2 639 ] (0.00 seconds, 250000 Inserts)
% 39.41/39.66
% 39.41/39.66 Resetting weight limit to 7 after 185 givens.
% 39.41/39.66
% 46.01/46.23
% 46.01/46.23
% 46.01/46.23 Changing weight limit from 7 to 6.
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 131 [ 34 1 108 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 132 [ 22 2 140 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 133 [ 20 2 128 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 134 [ 25 2 322 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 135 [ 22 2 110 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 136 [ 99 2 518 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 137 [ 20 2 266 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 138 [ 109 2 156 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 139 [ 111 2 375 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Stopped by limit on insertions
% 46.01/46.23
% 46.01/46.23 Model 140 [ 113 2 281 ] (0.00 seconds, 250000 Inserts)
% 46.01/46.23
% 46.01/46.23 Resetting weight limit to 6 after 205 givens.
% 46.01/46.23
% 49.61/49.81
% 49.61/49.81
% 49.61/49.81 Changing weight limit from 6 to 7.
% 49.61/49.81
% 49.61/49.81 Stopped by limit on insertions
% 49.61/49.81
% 49.61/49.81 Model 141 [ 123 2 118 ] (0.00 seconds, 250000 Inserts)
% 49.61/49.81
% 49.61/49.81 Stopped by limit on insertions
% 49.61/49.81
% 49.61/49.81 Model 142 [ 31 2 630 ] (0.00 seconds, 250000 Inserts)
% 49.61/49.81
% 49.61/49.81 Stopped by limit on insertions
% 49.61/49.81
% 49.61/49.81 Model 143 [ 21 3 628 ] (0.00 seconds, 250000 Inserts)
% 49.61/49.81
% 49.61/49.81 Stopped by limit on insertions
% 49.61/49.81
% 49.61/49.81 Model 144 [ 23 2 242 ] (0.00 seconds, 250000 Inserts)
% 49.61/49.81
% 49.61/49.81 Stopped by limit on insertions
% 49.61/49.81
% 49.61/49.81 Model 145 [ 22 2 111 ] (0.00 seconds, 250000 Inserts)
% 49.61/49.81
% 49.61/49.81 Resetting weight limit to 7 after 215 givens.
% 49.61/49.81
% 49.61/49.82
% 49.61/49.82
% 49.61/49.82 Changing weight limit from 7 to 6.
% 49.61/49.82
% 49.61/49.82 Resetting weight limit to 6 after 220 givens.
% 49.61/49.82
% 51.63/51.89
% 51.63/51.89
% 51.63/51.89 Changing weight limit from 6 to 7.
% 51.63/51.89
% 51.63/51.89 Stopped by limit on insertions
% 51.63/51.89
% 51.63/51.89 Model 146 [ 36 34 82862 ] (0.00 seconds, 250000 Inserts)
% 51.63/51.89
% 51.63/51.89 Stopped by limit on insertions
% 51.63/51.89
% 51.63/51.89 Model 147 [ 27 87 224493 ] (0.00 seconds, 250000 Inserts)
% 51.63/51.89
% 51.63/51.89 Resetting weight limit to 7 after 235 givens.
% 51.63/51.89
% 55.42/55.63
% 55.42/55.63
% 55.42/55.63 Changing weight limit from 7 to 8.
% 55.42/55.63
% 55.42/55.63 Stopped by limit on insertions
% 55.42/55.63
% 55.42/55.63 Model 148 [ 21 1 114 ] (0.00 seconds, 250000 Inserts)
% 55.42/55.63
% 55.42/55.63 Stopped by limit on insertions
% 55.42/55.63
% 55.42/55.63 Model 149 [ 23 84 219410 ] (0.00 seconds, 250000 Inserts)
% 55.42/55.63
% 55.42/55.63 Stopped by limit on insertions
% 55.42/55.63
% 55.42/55.63 Model 150 [ 114 2 164 ] (0.00 seconds, 250000 Inserts)
% 55.42/55.63
% 55.42/55.63 Stopped by limit on insertions
% 55.42/55.63
% 55.42/55.63 Model 151 [ 36 62 129374 ] (0.00 seconds, 250000 Inserts)
% 55.42/55.63
% 55.42/55.63 Resetting weight limit to 8 after 240 givens.
% 55.42/55.63
% 57.52/57.76
% 57.52/57.76
% 57.52/57.76 Changing weight limit from 8 to 6.
% 57.52/57.76
% 57.52/57.76 Stopped by limit on insertions
% 57.52/57.76
% 57.52/57.76 Model 152 [ 26 2 304 ] (0.00 seconds, 250000 Inserts)
% 57.52/57.76
% 57.52/57.76 Stopped by limit on insertions
% 57.52/57.76
% 57.52/57.76 Model 153 [ 32 94 216105 ] (0.00 seconds, 250000 Inserts)
% 57.52/57.76
% 57.52/57.76 Stopped by limit on insertions
% 57.52/57.76
% 57.52/57.76 Model 154 [ 32 2 110 ] (0.00 seconds, 250000 Inserts)
% 57.52/57.76
% 57.52/57.76 Resetting weight limit to 6 after 245 givens.
% 57.52/57.76
% 65.40/65.60
% 65.40/65.60
% 65.40/65.60 Changing weight limit from 6 to 7.
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 155 [ 113 2 194 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 156 [ 42 2 537 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 157 [ 123 2 336 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 158 [ 23 2 743 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 159 [ 139 13 26100 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 160 [ 42 2 697 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 161 [ 33 9 26371 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 162 [ 32 3 245 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Stopped by limit on insertions
% 65.40/65.60
% 65.40/65.60 Model 163 [ 40 38 67776 ] (0.00 seconds, 250000 Inserts)
% 65.40/65.60
% 65.40/65.60 Resetting weight limit to 7 after 260 givens.
% 65.40/65.60
% 66.11/66.36
% 66.11/66.36
% 66.11/66.36 Changing weight limit from 7 to 8.
% 66.11/66.36
% 66.11/66.36 Stopped by limit on insertions
% 66.11/66.36
% 66.11/66.36 Model 164 [ 27 2 350 ] (0.00 seconds, 250000 Inserts)
% 66.11/66.36
% 66.11/66.36 Resetting weight limit to 8 after 265 givens.
% 66.11/66.36
% 100.42/100.61
% 100.42/100.61
% 100.42/100.61 Changing weight limit from 8 to 9.
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 165 [ 29 45 159350 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 166 [ 47 62 135439 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 167 [ 35 2 109 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 168 [ 135 3 1908 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 169 [ 49 72 126486 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 170 [ 31 14 38377 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 171 [ 21 2 146 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 172 [ 141 3 2833 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 173 [ 27 2 566 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 174 [ 45 2 107 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 175 [ 42 23 33585 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 176 [ 34 2 829 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 177 [ 149 3 1379 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 178 [ 37 39 108197 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 179 [ 25 2 693 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 180 [ 53 70 108570 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 181 [ 42 46 60566 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 182 [ 36 29 70289 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 183 [ 25 2 144 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 184 [ 32 29 41736 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 185 [ 56 2 169 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 186 [ 23 9 21127 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 187 [ 135 3 1246 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 188 [ 30 2 788 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 189 [ 167 2 166 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 190 [ 27 2 660 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 191 [ 163 2 190 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 192 [ 28 3 109 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 193 [ 159 2 177 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Stopped by limit on insertions
% 100.42/100.61
% 100.42/100.61 Model 194 [ 145 26 38759 ] (0.00 seconds, 250000 Inserts)
% 100.42/100.61
% 100.42/100.61 Resetting weight limit to 9 after 430 givens.
% 100.42/100.61
% 103.20/103.43
% 103.20/103.43
% 103.20/103.43 Changing weight limit from 9 to 8.
% 103.20/103.43
% 103.20/103.43 Stopped by limit on insertions
% 103.20/103.43
% 103.20/103.43 Model 195 [ 143 58 87365 ] (0.00 seconds, 250000 Inserts)
% 103.20/103.43
% 103.20/103.43 Stopped by limit on insertions
% 103.20/103.43
% 103.20/103.43 Model 196 [ 37 2 224 ] (0.00 seconds, 250000 Inserts)
% 103.20/103.43
% 103.20/103.43 Resetting weight limit to 8 after 435 givens.
% 103.20/103.43
% 105.55/105.76
% 105.55/105.76
% 105.55/105.76 Changing weight limit from 8 to 7.
% 105.55/105.76
% 105.55/105.76 Modelling stopped after 300 given clauses and 0.00 seconds
% 105.55/105.76
% 105.55/105.76
% 105.55/105.76 Resetting weight limit to 7 after 1395 givens.
% 105.55/105.76
% 106.13/106.33
% 106.13/106.33
% 106.13/106.33 Changing weight limit from 7 to 8.
% 106.13/106.33
% 106.13/106.33 Resetting weight limit to 8 after 1485 givens.
% 106.13/106.33
% 106.13/106.36
% 106.13/106.36
% 106.13/106.36 Changing weight limit from 8 to 7.
% 106.13/106.36
% 106.13/106.36 Resetting weight limit to 7 after 1495 givens.
% 106.13/106.36
% 106.51/106.71
% 106.51/106.71
% 106.51/106.71 Changing weight limit from 7 to 8.
% 106.51/106.71
% 106.51/106.71 Resetting weight limit to 8 after 1575 givens.
% 106.51/106.71
% 106.51/106.73
% 106.51/106.73
% 106.51/106.73 Changing weight limit from 8 to 7.
% 106.51/106.73
% 106.51/106.73 Resetting weight limit to 7 after 1580 givens.
% 106.51/106.73
% 106.72/106.92
% 106.72/106.92
% 106.72/106.92 Changing weight limit from 7 to 6.
% 106.72/106.92
% 106.72/106.92 Resetting weight limit to 6 after 1610 givens.
% 106.72/106.92
% 107.03/107.23
% 107.03/107.23
% 107.03/107.23 Changing weight limit from 6 to 7.
% 107.03/107.23
% 107.03/107.23 Resetting weight limit to 7 after 1665 givens.
% 107.03/107.23
% 107.03/107.29
% 107.03/107.29
% 107.03/107.29 Changing weight limit from 7 to 6.
% 107.03/107.29
% 107.03/107.29 Resetting weight limit to 6 after 1680 givens.
% 107.03/107.29
% 107.23/107.41
% 107.23/107.41
% 107.23/107.41 Changing weight limit from 6 to 7.
% 107.23/107.41
% 107.23/107.41 Resetting weight limit to 7 after 1705 givens.
% 107.23/107.41
% 107.23/107.49
% 107.23/107.49
% 107.23/107.49 Changing weight limit from 7 to 6.
% 107.23/107.49
% 107.23/107.49 Resetting weight limit to 6 after 1740 givens.
% 107.23/107.49
% 107.32/107.58
% 107.32/107.58
% 107.32/107.58 Changing weight limit from 6 to 7.
% 107.32/107.58
% 107.32/107.58 Resetting weight limit to 7 after 1785 givens.
% 107.32/107.58
% 107.41/107.60
% 107.41/107.60
% 107.41/107.60 Changing weight limit from 7 to 6.
% 107.41/107.60
% 107.41/107.60 Resetting weight limit to 6 after 1790 givens.
% 107.41/107.60
% 107.53/107.71
% 107.53/107.71
% 107.53/107.71 Changing weight limit from 6 to 7.
% 107.53/107.71
% 107.53/107.71 Resetting weight limit to 7 after 1835 givens.
% 107.53/107.71
% 107.53/107.73
% 107.53/107.73
% 107.53/107.73 Changing weight limit from 7 to 8.
% 107.53/107.73
% 107.53/107.73 Resetting weight limit to 8 after 1840 givens.
% 107.53/107.73
% 107.53/107.74
% 107.53/107.74
% 107.53/107.74 Changing weight limit from 8 to 7.
% 107.53/107.74
% 107.53/107.74 Resetting weight limit to 7 after 1845 givens.
% 107.53/107.74
% 107.72/107.91
% 107.72/107.91
% 107.72/107.91 Changing weight limit from 7 to 8.
% 107.72/107.91
% 107.72/107.91 Resetting weight limit to 8 after 1900 givens.
% 107.72/107.91
% 107.72/107.96
% 107.72/107.96
% 107.72/107.96 Changing weight limit from 8 to 7.
% 107.72/107.96
% 107.72/107.96 Resetting weight limit to 7 after 1905 givens.
% 107.72/107.96
% 107.81/108.02
% 107.81/108.02
% 107.81/108.02 Changing weight limit from 7 to 8.
% 107.81/108.02
% 107.81/108.02 Resetting weight limit to 8 after 1910 givens.
% 107.81/108.02
% 107.81/108.07
% 107.81/108.07
% 107.81/108.07 Changing weight limit from 8 to 7.
% 107.81/108.07
% 107.81/108.07 Resetting weight limit to 7 after 1915 givens.
% 107.81/108.07
% 107.93/108.13
% 107.93/108.13
% 107.93/108.13 Changing weight limit from 7 to 8.
% 107.93/108.13
% 107.93/108.13 Resetting weight limit to 8 after 1920 givens.
% 107.93/108.13
% 107.93/108.18
% 107.93/108.18
% 107.93/108.18 Changing weight limit from 8 to 7.
% 107.93/108.18
% 107.93/108.18 Resetting weight limit to 7 after 1925 givens.
% 107.93/108.18
% 108.03/108.24
% 108.03/108.24
% 108.03/108.24 Changing weight limit from 7 to 8.
% 108.03/108.24
% 108.03/108.24 Resetting weight limit to 8 after 1930 givens.
% 108.03/108.24
% 108.11/108.29
% 108.11/108.29
% 108.11/108.29 Changing weight limit from 8 to 7.
% 108.11/108.29
% 108.11/108.29 Resetting weight limit to 7 after 1935 givens.
% 108.11/108.29
% 108.11/108.35
% 108.11/108.35
% 108.11/108.35 Changing weight limit from 7 to 8.
% 108.11/108.35
% 108.11/108.35 Resetting weight limit to 8 after 1940 givens.
% 108.11/108.35
% 108.22/108.41
% 108.22/108.41
% 108.22/108.41 Changing weight limit from 8 to 7.
% 108.22/108.41
% 108.22/108.41 Resetting weight limit to 7 after 1945 givens.
% 108.22/108.41
% 108.24/108.46
% 108.24/108.46
% 108.24/108.46 Changing weight limit from 7 to 8.
% 108.24/108.46
% 108.24/108.46 Resetting weight limit to 8 after 1950 givens.
% 108.24/108.46
% 108.33/108.52
% 108.33/108.52
% 108.33/108.52 Changing weight limit from 8 to 7.
% 108.33/108.52
% 108.33/108.52 Resetting weight limit to 7 after 1955 givens.
% 108.33/108.52
% 108.40/108.58
% 108.40/108.58
% 108.40/108.58 Changing weight limit from 7 to 8.
% 108.40/108.58
% 108.40/108.58 Resetting weight limit to 8 after 1960 givens.
% 108.40/108.58
% 108.40/108.64
% 108.40/108.64
% 108.40/108.64 Changing weight limit from 8 to 7.
% 108.40/108.64
% 108.40/108.64 Resetting weight limit to 7 after 1965 givens.
% 108.40/108.64
% 108.51/108.70
% 108.51/108.70
% 108.51/108.70 Changing weight limit from 7 to 8.
% 108.51/108.70
% 108.51/108.70 Resetting weight limit to 8 after 1970 givens.
% 108.51/108.70
% 108.55/108.76
% 108.55/108.76
% 108.55/108.76 Changing weight limit from 8 to 7.
% 108.55/108.76
% 108.55/108.76 Resetting weight limit to 7 after 1975 givens.
% 108.55/108.76
% 108.63/108.82
% 108.63/108.82
% 108.63/108.82 Changing weight limit from 7 to 8.
% 108.63/108.82
% 108.63/108.82 Resetting weight limit to 8 after 1995 givens.
% 108.63/108.82
% 108.63/108.83
% 108.63/108.83
% 108.63/108.83 Changing weight limit from 8 to 7.
% 108.63/108.83
% 108.63/108.83 Resetting weight limit to 7 after 2000 givens.
% 108.63/108.83
% 108.63/108.84
% 108.63/108.84
% 108.63/108.84 Changing weight limit from 7 to 8.
% 108.63/108.84
% 108.63/108.84 Resetting weight limit to 8 after 2005 givens.
% 108.63/108.84
% 108.63/108.86
% 108.63/108.86
% 108.63/108.86 Changing weight limit from 8 to 7.
% 108.63/108.86
% 108.63/108.86 Resetting weight limit to 7 after 2010 givens.
% 108.63/108.86
% 108.63/108.87
% 108.63/108.87
% 108.63/108.87 Changing weight limit from 7 to 8.
% 108.63/108.87
% 108.63/108.87 Resetting weight limit to 8 after 2015 givens.
% 108.63/108.87
% 108.69/108.88
% 108.69/108.88
% 108.69/108.88 Changing weight limit from 8 to 7.
% 108.69/108.88
% 108.69/108.88 Resetting weight limit to 7 after 2020 givens.
% 108.69/108.88
% 108.69/108.89
% 108.69/108.89
% 108.69/108.89 Changing weight limit from 7 to 8.
% 108.69/108.89
% 108.69/108.89 Resetting weight limit to 8 after 2025 givens.
% 108.69/108.89
% 108.69/108.91
% 108.69/108.91
% 108.69/108.91 Changing weight limit from 8 to 7.
% 108.69/108.91
% 108.69/108.91 Resetting weight limit to 7 after 2030 givens.
% 108.69/108.91
% 108.69/108.92
% 108.69/108.92
% 108.69/108.92 Changing weight limit from 7 to 8.
% 108.69/108.92
% 108.69/108.92 Resetting weight limit to 8 after 2035 givens.
% 108.69/108.92
% 108.69/108.93
% 108.69/108.93
% 108.69/108.93 Changing weight limit from 8 to 7.
% 108.69/108.93
% 108.69/108.93 Resetting weight limit to 7 after 2040 givens.
% 108.69/108.93
% 108.69/108.94
% 108.69/108.94
% 108.69/108.94 Changing weight limit from 7 to 8.
% 108.69/108.94
% 108.69/108.94 Resetting weight limit to 8 after 2045 givens.
% 108.69/108.94
% 108.69/108.95
% 108.69/108.95
% 108.69/108.95 Changing weight limit from 8 to 7.
% 108.69/108.95
% 108.69/108.95 Resetting weight limit to 7 after 2050 givens.
% 108.69/108.95
% 108.69/108.97
% 108.69/108.97
% 108.69/108.97 Changing weight limit from 7 to 8.
% 108.69/108.97
% 108.69/108.97 Resetting weight limit to 8 after 2055 givens.
% 108.69/108.97
% 108.80/108.98
% 108.80/108.98
% 108.80/108.98 Changing weight limit from 8 to 7.
% 108.80/108.98
% 108.80/108.98 Resetting weight limit to 7 after 2060 givens.
% 108.80/108.98
% 108.80/108.99
% 108.80/108.99
% 108.80/108.99 Changing weight limit from 7 to 8.
% 108.80/108.99
% 108.80/108.99 Resetting weight limit to 8 after 2065 givens.
% 108.80/108.99
% 108.82/109.00
% 108.82/109.00
% 108.82/109.00 Changing weight limit from 8 to 7.
% 108.82/109.00
% 108.82/109.00 Resetting weight limit to 7 after 2070 givens.
% 108.82/109.00
% 108.82/109.02
% 108.82/109.02
% 108.82/109.02 Changing weight limit from 7 to 8.
% 108.82/109.02
% 108.82/109.02 Resetting weight limit to 8 after 2075 givens.
% 108.82/109.02
% 108.84/109.03
% 108.84/109.03
% 108.84/109.03 Changing weight limit from 8 to 7.
% 108.84/109.03
% 108.84/109.03 Resetting weight limit to 7 after 2080 givens.
% 108.84/109.03
% 108.84/109.04
% 108.84/109.04
% 108.84/109.04 Changing weight limit from 7 to 8.
% 108.84/109.04
% 108.84/109.04 Resetting weight limit to 8 after 2085 givens.
% 108.84/109.04
% 108.84/109.05
% 108.84/109.05
% 108.84/109.05 Changing weight limit from 8 to 7.
% 108.84/109.05
% 108.84/109.05 Resetting weight limit to 7 after 2090 givens.
% 108.84/109.05
% 108.84/109.07
% 108.84/109.07
% 108.84/109.07 Changing weight limit from 7 to 8.
% 108.84/109.07
% 108.84/109.07 Resetting weight limit to 8 after 2095 givens.
% 108.84/109.07
% 108.84/109.08
% 108.84/109.08
% 108.84/109.08 Changing weight limit from 8 to 7.
% 108.84/109.08
% 108.84/109.08 Resetting weight limit to 7 after 2100 givens.
% 108.84/109.08
% 108.84/109.09
% 108.84/109.09
% 108.84/109.09 Changing weight limit from 7 to 8.
% 108.84/109.09
% 108.84/109.09 Resetting weight limit to 8 after 2105 givens.
% 108.84/109.09
% 108.84/109.10
% 108.84/109.10
% 108.84/109.10 Changing weight limit from 8 to 7.
% 108.84/109.10
% 108.84/109.10 Resetting weight limit to 7 after 2110 givens.
% 108.84/109.10
% 109.01/109.26
% 109.01/109.26
% 109.01/109.26 Changing weight limit from 7 to 8.
% 109.01/109.26
% 109.01/109.26 Resetting weight limit to 8 after 2130 givens.
% 109.01/109.26
% 109.12/109.32
% 109.12/109.32
% 109.12/109.32 Changing weight limit from 8 to 7.
% 109.12/109.32
% 109.12/109.32 Resetting weight limit to 7 after 2135 givens.
% 109.12/109.32
% 109.15/109.38
% 109.15/109.38
% 109.15/109.38 Changing weight limit from 7 to 8.
% 109.15/109.38
% 109.15/109.38 Resetting weight limit to 8 after 2140 givens.
% 109.15/109.38
% 109.24/109.45
% 109.24/109.45
% 109.24/109.45 Changing weight limit from 8 to 7.
% 109.24/109.45
% 109.24/109.45 Resetting weight limit to 7 after 2145 givens.
% 109.24/109.45
% 109.32/109.51
% 109.32/109.51
% 109.32/109.51 Changing weight limit from 7 to 8.
% 109.32/109.51
% 109.32/109.51 Resetting weight limit to 8 after 2150 givens.
% 109.32/109.51
% 109.32/109.57
% 109.32/109.57
% 109.32/109.57 Changing weight limit from 8 to 7.
% 109.32/109.57
% 109.32/109.57 Resetting weight limit to 7 after 2155 givens.
% 109.32/109.57
% 109.45/109.63
% 109.45/109.63
% 109.45/109.63 Changing weight limit from 7 to 8.
% 109.45/109.63
% 109.45/109.63 Resetting weight limit to 8 after 2160 givens.
% 109.45/109.63
% 109.45/109.70
% 109.45/109.70
% 109.45/109.70 Changing weight limit from 8 to 7.
% 109.45/109.70
% 109.45/109.70 Resetting weight limit to 7 after 2165 givens.
% 109.45/109.70
% 109.53/109.76
% 109.53/109.76
% 109.53/109.76 Changing weight limit from 7 to 8.
% 109.53/109.76
% 109.53/109.76 Resetting weight limit to 8 after 2170 givens.
% 109.53/109.76
% 109.60/109.83
% 109.60/109.83
% 109.60/109.83 Changing weight limit from 8 to 7.
% 109.60/109.83
% 109.60/109.83 Resetting weight limit to 7 after 2175 givens.
% 109.60/109.83
% 109.70/109.89
% 109.70/109.89
% 109.70/109.89 Changing weight limit from 7 to 8.
% 109.70/109.89
% 109.70/109.89 Resetting weight limit to 8 after 2180 givens.
% 109.70/109.89
% 109.73/109.92
% 109.73/109.92
% 109.73/109.92 Changing weight limit from 8 to 7.
% 109.73/109.92
% 109.73/109.92 Resetting weight limit to 7 after 2185 givens.
% 109.73/109.92
% 109.75/109.94
% 109.75/109.94
% 109.75/109.94 Changing weight limit from 7 to 8.
% 109.75/109.94
% 109.75/109.94 Resetting weight limit to 8 after 2195 givens.
% 109.75/109.94
% 110.11/110.35
% 110.11/110.35
% 110.11/110.35 Changing weight limit from 8 to 7.
% 110.11/110.35
% 110.11/110.35 Resetting weight limit to 7 after 2235 givens.
% 110.11/110.35
% 110.21/110.38
% 110.21/110.38
% 110.21/110.38 Changing weight limit from 7 to 8.
% 110.21/110.38
% 110.21/110.38 Resetting weight limit to 8 after 2245 givens.
% 110.21/110.38
% 113.23/113.44
% 113.23/113.44
% 113.23/113.44 Changing weight limit from 8 to 7.
% 113.23/113.44
% 113.23/113.44 Resetting weight limit to 7 after 2550 givens.
% 113.23/113.44
% 113.30/113.52
% 113.30/113.52
% 113.30/113.52 Changing weight limit from 7 to 8.
% 113.30/113.52
% 113.30/113.52 Resetting weight limit to 8 after 2555 givens.
% 113.30/113.52
% 113.40/113.60
% 113.40/113.60
% 113.40/113.60 Changing weight limit from 8 to 7.
% 113.40/113.60
% 113.40/113.60 Resetting weight limit to 7 after 2560 givens.
% 113.40/113.60
% 113.44/113.69
% 113.44/113.69
% 113.44/113.69 Changing weight limit from 7 to 8.
% 113.44/113.69
% 113.44/113.69 Resetting weight limit to 8 after 2565 givens.
% 113.44/113.69
% 113.53/113.77
% 113.53/113.77
% 113.53/113.77 Changing weight limit from 8 to 7.
% 113.53/113.77
% 113.53/113.77 Resetting weight limit to 7 after 2570 givens.
% 113.53/113.77
% 113.62/113.85
% 113.62/113.85
% 113.62/113.85 Changing weight limit from 7 to 8.
% 113.62/113.85
% 113.62/113.85 Resetting weight limit to 8 after 2575 givens.
% 113.62/113.85
% 113.73/113.93
% 113.73/113.93
% 113.73/113.93 Changing weight limit from 8 to 7.
% 113.73/113.93
% 113.73/113.93 Resetting weight limit to 7 after 2580 givens.
% 113.73/113.93
% 113.82/114.00
% 113.82/114.00
% 113.82/114.00 Changing weight limit from 7 to 8.
% 113.82/114.00
% 113.82/114.00 Resetting weight limit to 8 after 2585 givens.
% 113.82/114.00
% 114.32/114.50
% 114.32/114.50
% 114.32/114.50 Changing weight limit from 8 to 7.
% 114.32/114.50
% 114.32/114.50 Resetting weight limit to 7 after 2615 givens.
% 114.32/114.50
% 114.32/114.58
% 114.32/114.58
% 114.32/114.58 Changing weight limit from 7 to 8.
% 114.32/114.58
% 114.32/114.58 Resetting weight limit to 8 after 2620 givens.
% 114.32/114.58
% 114.42/114.67
% 114.42/114.67
% 114.42/114.67 Changing weight limit from 8 to 7.
% 114.42/114.67
% 114.42/114.67 Resetting weight limit to 7 after 2625 givens.
% 114.42/114.67
% 114.53/114.75
% 114.53/114.75
% 114.53/114.75 Changing weight limit from 7 to 8.
% 114.53/114.75
% 114.53/114.75 Resetting weight limit to 8 after 2630 givens.
% 114.53/114.75
% 114.62/114.84
% 114.62/114.84
% 114.62/114.84 Changing weight limit from 8 to 7.
% 114.62/114.84
% 114.62/114.84 Resetting weight limit to 7 after 2635 givens.
% 114.62/114.84
% 114.71/114.92
% 114.71/114.92
% 114.71/114.92 Changing weight limit from 7 to 8.
% 114.71/114.92
% 114.71/114.92 Resetting weight limit to 8 after 2640 givens.
% 114.71/114.92
% 114.82/115.01
% 114.82/115.01
% 114.82/115.01 Changing weight limit from 8 to 7.
% 114.82/115.01
% 114.82/115.01 Resetting weight limit to 7 after 2645 givens.
% 114.82/115.01
% 114.85/115.08
% 114.85/115.08
% 114.85/115.08 Changing weight limit from 7 to 8.
% 114.85/115.08
% 114.85/115.08 Resetting weight limit to 8 after 2650 givens.
% 114.85/115.08
% 117.94/118.16
% 117.94/118.16
% 117.94/118.16 Changing weight limit from 8 to 7.
% 117.94/118.16
% 117.94/118.16 Resetting weight limit to 7 after 2840 givens.
% 117.94/118.16
% 118.03/118.26
% 118.03/118.26
% 118.03/118.26 Changing weight limit from 7 to 8.
% 118.03/118.26
% 118.03/118.26 Resetting weight limit to 8 after 2845 givens.
% 118.03/118.26
% 118.12/118.36
% 118.12/118.36
% 118.12/118.36 Changing weight limit from 8 to 7.
% 118.12/118.36
% 118.12/118.36 Resetting weight limit to 7 after 2850 givens.
% 118.12/118.36
% 118.20/118.45
% 118.20/118.45
% 118.20/118.45 Changing weight limit from 7 to 8.
% 118.20/118.45
% 118.20/118.45 Resetting weight limit to 8 after 2855 givens.
% 118.20/118.45
% 118.33/118.56
% 118.33/118.56
% 118.33/118.56 Changing weight limit from 8 to 7.
% 118.33/118.56
% 118.33/118.56 Resetting weight limit to 7 after 2860 givens.
% 118.33/118.56
% 118.43/118.65
% 118.43/118.65
% 118.43/118.65 Changing weight limit from 7 to 8.
% 118.43/118.65
% 118.43/118.65 Resetting weight limit to 8 after 2865 givens.
% 118.43/118.65
% 119.09/119.28
% 119.09/119.28
% 119.09/119.28 Changing weight limit from 8 to 7.
% 119.09/119.28
% 119.09/119.28 Resetting weight limit to 7 after 2930 givens.
% 119.09/119.28
% 119.14/119.36
% 119.14/119.36
% 119.14/119.36 Changing weight limit from 7 to 8.
% 119.14/119.36
% 119.14/119.36 Resetting weight limit to 8 after 2935 givens.
% 119.14/119.36
% 119.79/120.00
% 119.79/120.00
% 119.79/120.00 Changing weight limit from 8 to 7.
% 119.79/120.00
% 119.79/120.00 Resetting weight limit to 7 after 3000 givens.
% 119.79/120.00
% 119.86/120.08
% 119.86/120.08
% 119.86/120.08 Changing weight limit from 7 to 8.
% 119.86/120.08
% 119.86/120.08 Resetting weight limit to 8 after 3005 givens.
% 119.86/120.08
% 120.02/120.25
% 120.02/120.25
% 120.02/120.25 Changing weight limit from 8 to 7.
% 120.02/120.25
% 120.02/120.25 Resetting weight limit to 7 after 3015 givens.
% 120.02/120.25
% 120.16/120.35
% 120.16/120.35
% 120.16/120.35 Changing weight limit from 7 to 8.
% 120.16/120.35
% 120.16/120.35 Resetting weight limit to 8 after 3020 givens.
% 120.16/120.35
% 120.25/120.46
% 120.25/120.46
% 120.25/120.46 Changing weight limit from 8 to 7.
% 120.25/120.46
% 120.25/120.46 Resetting weight limit to 7 after 3025 givens.
% 120.25/120.46
% 120.39/120.56
% 120.39/120.56
% 120.39/120.56 Changing weight limit from 7 to 8.
% 120.39/120.56
% 120.39/120.56 Resetting weight limit to 8 after 3030 givens.
% 120.39/120.56
% 120.47/120.67
% 120.47/120.67
% 120.47/120.67 Changing weight limit from 8 to 7.
% 120.47/120.67
% 120.47/120.67 Resetting weight limit to 7 after 3035 givens.
% 120.47/120.67
% 120.54/120.77
% 120.54/120.77
% 120.54/120.77 Changing weight limit from 7 to 8.
% 120.54/120.77
% 120.54/120.77 Resetting weight limit to 8 after 3040 givens.
% 120.54/120.77
% 120.70/120.88
% 120.70/120.88
% 120.70/120.88 Changing weight limit from 8 to 7.
% 120.70/120.88
% 120.70/120.88 Resetting weight limit to 7 after 3045 givens.
% 120.70/120.88
% 120.75/120.99
% 120.75/120.99
% 120.75/120.99 Changing weight limit from 7 to 8.
% 120.75/120.99
% 120.75/120.99 Resetting weight limit to 8 after 3050 givens.
% 120.75/120.99
% 120.91/121.10
% 120.91/121.10
% 120.91/121.10 Changing weight limit from 8 to 7.
% 120.91/121.10
% 120.91/121.10 Resetting weight limit to 7 after 3055 givens.
% 120.91/121.10
% 121.02/121.21
% 121.02/121.21
% 121.02/121.21 Changing weight limit from 7 to 8.
% 121.02/121.21
% 121.02/121.21 Resetting weight limit to 8 after 3060 givens.
% 121.02/121.21
% 121.14/121.32
% 121.14/121.32
% 121.14/121.32 Changing weight limit from 8 to 7.
% 121.14/121.32
% 121.14/121.32 Resetting weight limit to 7 after 3065 givens.
% 121.14/121.32
% 121.22/121.42
% 121.22/121.42
% 121.22/121.42 Changing weight limit from 7 to 8.
% 121.22/121.42
% 121.22/121.42 Resetting weight limit to 8 after 3070 givens.
% 121.22/121.42
% 121.34/121.53
% 121.34/121.53
% 121.34/121.53 Changing weight limit from 8 to 7.
% 121.34/121.53
% 121.34/121.53 Resetting weight limit to 7 after 3075 givens.
% 121.34/121.53
% 121.43/121.60
% 121.43/121.60
% 121.43/121.60 Changing weight limit from 7 to 8.
% 121.43/121.60
% 121.43/121.60 Resetting weight limit to 8 after 3080 givens.
% 121.43/121.60
% 125.93/126.10
% 125.93/126.10
% 125.93/126.10 Changing weight limit from 8 to 7.
% 125.93/126.10
% 125.93/126.10 Resetting weight limit to 7 after 3275 givens.
% 125.93/126.10
% 126.00/126.22
% 126.00/126.22
% 126.00/126.22 Changing weight limit from 7 to 8.
% 126.00/126.22
% 126.00/126.22 Resetting weight limit to 8 after 3280 givens.
% 126.00/126.22
% 126.15/126.34
% 126.15/126.34
% 126.15/126.34 Changing weight limit from 8 to 7.
% 126.15/126.34
% 126.15/126.34 Resetting weight limit to 7 after 3285 givens.
% 126.15/126.34
% 126.23/126.46
% 126.23/126.46
% 126.23/126.46 Changing weight limit from 7 to 8.
% 126.23/126.46
% 126.23/126.46 Resetting weight limit to 8 after 3290 givens.
% 126.23/126.46
% 126.42/126.59
% 126.42/126.59
% 126.42/126.59 Changing weight limit from 8 to 7.
% 126.42/126.59
% 126.42/126.59 Resetting weight limit to 7 after 3295 givens.
% 126.42/126.59
% 126.47/126.71
% 126.47/126.71
% 126.47/126.71 Changing weight limit from 7 to 8.
% 126.47/126.71
% 126.47/126.71 Resetting weight limit to 8 after 3300 givens.
% 126.47/126.71
% 126.61/126.83
% 126.61/126.83
% 126.61/126.83 Changing weight limit from 8 to 7.
% 126.61/126.83
% 126.61/126.83 Resetting weight limit to 7 after 3305 givens.
% 126.61/126.83
% 126.76/126.96
% 126.76/126.96
% 126.76/126.96 Changing weight limit from 7 to 8.
% 126.76/126.96
% 126.76/126.96 Resetting weight limit to 8 after 3310 givens.
% 126.76/126.96
% 126.85/127.08
% 126.85/127.08
% 126.85/127.08 Changing weight limit from 8 to 7.
% 126.85/127.08
% 126.85/127.08 Resetting weight limit to 7 after 3315 givens.
% 126.85/127.08
% 127.02/127.21
% 127.02/127.21
% 127.02/127.21 Changing weight limit from 7 to 8.
% 127.02/127.21
% 127.02/127.21 Resetting weight limit to 8 after 3320 givens.
% 127.02/127.21
% 127.13/127.33
% 127.13/127.33
% 127.13/127.33 Changing weight limit from 8 to 7.
% 127.13/127.33
% 127.13/127.33 Resetting weight limit to 7 after 3325 givens.
% 127.13/127.33
% 127.20/127.46
% 127.20/127.46
% 127.20/127.46 Changing weight limit from 7 to 8.
% 127.20/127.46
% 127.20/127.46 Resetting weight limit to 8 after 3330 givens.
% 127.20/127.46
% 127.37/127.58
% 127.37/127.58
% 127.37/127.58 Changing weight limit from 8 to 7.
% 127.37/127.58
% 127.37/127.58 Resetting weight limit to 7 after 3335 givens.
% 127.37/127.58
% 127.51/127.71
% 127.51/127.71
% 127.51/127.71 Changing weight limit from 7 to 8.
% 127.51/127.71
% 127.51/127.71 Resetting weight limit to 8 after 3340 givens.
% 127.51/127.71
% 127.65/127.84
% 127.65/127.84
% 127.65/127.84 Changing weight limit from 8 to 7.
% 127.65/127.84
% 127.65/127.84 Resetting weight limit to 7 after 3345 givens.
% 127.65/127.84
% 127.75/127.96
% 127.75/127.96
% 127.75/127.96 Changing weight limit from 7 to 8.
% 127.75/127.96
% 127.75/127.96 Resetting weight limit to 8 after 3350 givens.
% 127.75/127.96
% 127.91/128.09
% 127.91/128.09
% 127.91/128.09 Changing weight limit from 8 to 7.
% 127.91/128.09
% 127.91/128.09 Resetting weight limit to 7 after 3355 givens.
% 127.91/128.09
% 127.96/128.21
% 127.96/128.21
% 127.96/128.21 Changing weight limit from 7 to 8.
% 127.96/128.21
% 127.96/128.21 Resetting weight limit to 8 after 3360 givens.
% 127.96/128.21
% 128.13/128.34
% 128.13/128.34
% 128.13/128.34 Changing weight limit from 8 to 7.
% 128.13/128.34
% 128.13/128.34 Resetting weight limit to 7 after 3365 givens.
% 128.13/128.34
% 128.24/128.47
% 128.24/128.47
% 128.24/128.47 Changing weight limit from 7 to 8.
% 128.24/128.47
% 128.24/128.47 Resetting weight limit to 8 after 3370 givens.
% 128.24/128.47
% 128.42/128.60
% 128.42/128.60
% 128.42/128.60 Changing weight limit from 8 to 7.
% 128.42/128.60
% 128.42/128.60 Resetting weight limit to 7 after 3375 givens.
% 128.42/128.60
% 128.54/128.73
% 128.54/128.73
% 128.54/128.73 Changing weight limit from 7 to 8.
% 128.54/128.73
% 128.54/128.73 Resetting weight limit to 8 after 3380 givens.
% 128.54/128.73
% 128.65/128.86
% 128.65/128.86
% 128.65/128.86 Changing weight limit from 8 to 7.
% 128.65/128.86
% 128.65/128.86 Resetting weight limit to 7 after 3385 givens.
% 128.65/128.86
% 128.74/128.99
% 128.74/128.99
% 128.74/128.99 Changing weight limit from 7 to 8.
% 128.74/128.99
% 128.74/128.99 Resetting weight limit to 8 after 3390 givens.
% 128.74/128.99
% 128.91/129.12
% 128.91/129.12
% 128.91/129.12 Changing weight limit from 8 to 7.
% 128.91/129.12
% 128.91/129.12 Resetting weight limit to 7 after 3395 givens.
% 128.91/129.12
% 129.04/129.24
% 129.04/129.24
% 129.04/129.24 Changing weight limit from 7 to 8.
% 129.04/129.24
% 129.04/129.24 Resetting weight limit to 8 after 3400 givens.
% 129.04/129.24
% 131.61/131.86
% 131.61/131.86
% 131.61/131.86 Changing weight limit from 8 to 7.
% 131.61/131.86
% 131.61/131.86 Resetting weight limit to 7 after 3500 givens.
% 131.61/131.86
% 131.75/131.95
% 131.75/131.95
% 131.75/131.95 Changing weight limit from 7 to 8.
% 131.75/131.95
% 131.75/131.95 Resetting weight limit to 8 after 3505 givens.
% 131.75/131.95
% 131.91/132.08
% 131.91/132.08
% 131.91/132.08 Changing weight limit from 8 to 7.
% 131.91/132.08
% 131.91/132.08 Resetting weight limit to 7 after 3510 givens.
% 131.91/132.08
% 132.04/132.22
% 132.04/132.22
% 132.04/132.22 Changing weight limit from 7 to 8.
% 132.04/132.22
% 132.04/132.22 Resetting weight limit to 8 after 3515 givens.
% 132.04/132.22
% 132.15/132.36
% 132.15/132.36
% 132.15/132.36 Changing weight limit from 8 to 7.
% 132.15/132.36
% 132.15/132.36 Resetting weight limit to 7 after 3520 givens.
% 132.15/132.36
% 132.31/132.49
% 132.31/132.49
% 132.31/132.49 Changing weight limit from 7 to 8.
% 132.31/132.49
% 132.31/132.49 Resetting weight limit to 8 after 3525 givens.
% 132.31/132.49
% 132.46/132.63
% 132.46/132.63
% 132.46/132.63 Changing weight limit from 8 to 7.
% 132.46/132.63
% 132.46/132.63 Resetting weight limit to 7 after 3530 givens.
% 132.46/132.63
% 132.61/132.77
% 132.61/132.77
% 132.61/132.77 Changing weight limit from 7 to 8.
% 132.61/132.77
% 132.61/132.77 Resetting weight limit to 8 after 3535 givens.
% 132.61/132.77
% 132.68/132.91
% 132.68/132.91
% 132.68/132.91 Changing weight limit from 8 to 7.
% 132.68/132.91
% 132.68/132.91 Resetting weight limit to 7 after 3540 givens.
% 132.68/132.91
% 132.83/133.05
% 132.83/133.05
% 132.83/133.05 Changing weight limit from 7 to 8.
% 132.83/133.05
% 132.83/133.05 Resetting weight limit to 8 after 3545 givens.
% 132.83/133.05
% 132.98/133.19
% 132.98/133.19
% 132.98/133.19 Changing weight limit from 8 to 7.
% 132.98/133.19
% 132.98/133.19 Resetting weight limit to 7 after 3550 givens.
% 132.98/133.19
% 133.13/133.33
% 133.13/133.33
% 133.13/133.33 Changing weight limit from 7 to 8.
% 133.13/133.33
% 133.13/133.33 Resetting weight limit to 8 after 3555 givens.
% 133.13/133.33
% 133.29/133.47
% 133.29/133.47
% 133.29/133.47 Changing weight limit from 8 to 7.
% 133.29/133.47
% 133.29/133.47 Resetting weight limit to 7 after 3560 givens.
% 133.29/133.47
% 133.42/133.61
% 133.42/133.61
% 133.42/133.61 Changing weight limit from 7 to 8.
% 133.42/133.61
% 133.42/133.61 Resetting weight limit to 8 after 3565 givens.
% 133.42/133.61
% 133.59/133.75
% 133.59/133.75
% 133.59/133.75 Changing weight limit from 8 to 7.
% 133.59/133.75
% 133.59/133.75 Resetting weight limit to 7 after 3570 givens.
% 133.59/133.75
% 133.72/133.89
% 133.72/133.89
% 133.72/133.89 Changing weight limit from 7 to 8.
% 133.72/133.89
% 133.72/133.89 Resetting weight limit to 8 after 3575 givens.
% 133.72/133.89
% 133.86/134.03
% 133.86/134.03
% 133.86/134.03 Changing weight limit from 8 to 7.
% 133.86/134.03
% 133.86/134.03 Resetting weight limit to 7 after 3580 givens.
% 133.86/134.03
% 134.01/134.17
% 134.01/134.17
% 134.01/134.17 Changing weight limit from 7 to 8.
% 134.01/134.17
% 134.01/134.17 Resetting weight limit to 8 after 3585 givens.
% 134.01/134.17
% 134.12/134.31
% 134.12/134.31
% 134.12/134.31 Changing weight limit from 8 to 7.
% 134.12/134.31
% 134.12/134.31 Resetting weight limit to 7 after 3590 givens.
% 134.12/134.31
% 134.26/134.45
% 134.26/134.45
% 134.26/134.45 Changing weight limit from 7 to 8.
% 134.26/134.45
% 134.26/134.45 Resetting weight limit to 8 after 3595 givens.
% 134.26/134.45
% 134.43/134.60
% 134.43/134.60
% 134.43/134.60 Changing weight limit from 8 to 7.
% 134.43/134.60
% 134.43/134.60 Resetting weight limit to 7 after 3600 givens.
% 134.43/134.60
% 134.54/134.74
% 134.54/134.74
% 134.54/134.74 Changing weight limit from 7 to 8.
% 134.54/134.74
% 134.54/134.74 Resetting weight limit to 8 after 3605 givens.
% 134.54/134.74
% 134.70/134.89
% 134.70/134.89
% 134.70/134.89 Changing weight limit from 8 to 7.
% 134.70/134.89
% 134.70/134.89 Resetting weight limit to 7 after 3610 givens.
% 134.70/134.89
% 134.86/135.03
% 134.86/135.03
% 134.86/135.03 Changing weight limit from 7 to 8.
% 134.86/135.03
% 134.86/135.03 Resetting weight limit to 8 after 3615 givens.
% 134.86/135.03
% 135.01/135.18
% 135.01/135.18
% 135.01/135.18 Changing weight limit from 8 to 7.
% 135.01/135.18
% 135.01/135.18 Resetting weight limit to 7 after 3620 givens.
% 135.01/135.18
% 135.14/135.32
% 135.14/135.32
% 135.14/135.32 Changing weight limit from 7 to 8.
% 135.14/135.32
% 135.14/135.32 Resetting weight limit to 8 after 3625 givens.
% 135.14/135.32
% 135.22/135.47
% 135.22/135.47
% 135.22/135.47 Changing weight limit from 8 to 7.
% 135.22/135.47
% 135.22/135.47 Resetting weight limit to 7 after 3630 givens.
% 135.22/135.47
% 135.36/135.53
% 135.36/135.53
% 135.36/135.53 Changing weight limit from 7 to 8.
% 135.36/135.53
% 135.36/135.53 Resetting weight limit to 8 after 3635 givens.
% 135.36/135.53
% 135.45/135.67
% 135.45/135.67
% 135.45/135.67 Changing weight limit from 8 to 7.
% 135.45/135.67
% 135.45/135.67 Resetting weight limit to 7 after 3640 givens.
% 135.45/135.67
% 135.64/135.82
% 135.64/135.82
% 135.64/135.82 Changing weight limit from 7 to 8.
% 135.64/135.82
% 135.64/135.82 Resetting weight limit to 8 after 3645 givens.
% 135.64/135.82
% 135.75/135.97
% 135.75/135.97
% 135.75/135.97 Changing weight limit from 8 to 7.
% 135.75/135.97
% 135.75/135.97 Resetting weight limit to 7 after 3650 givens.
% 135.75/135.97
% 135.92/136.11
% 135.92/136.11
% 135.92/136.11 Changing weight limit from 7 to 8.
% 135.92/136.11
% 135.92/136.11 Resetting weight limit to 8 after 3655 givens.
% 135.92/136.11
% 136.07/136.26
% 136.07/136.26
% 136.07/136.26 Changing weight limit from 8 to 7.
% 136.07/136.26
% 136.07/136.26 Resetting weight limit to 7 after 3660 givens.
% 136.07/136.26
% 136.24/136.40
% 136.24/136.40
% 136.24/136.40 Changing weight limit from 7 to 8.
% 136.24/136.40
% 136.24/136.40 Resetting weight limit to 8 after 3665 givens.
% 136.24/136.40
% 136.37/136.55
% 136.37/136.55
% 136.37/136.55 Changing weight limit from 8 to 7.
% 136.37/136.55
% 136.37/136.55 Resetting weight limit to 7 after 3670 givens.
% 136.37/136.55
% 136.52/136.70
% 136.52/136.70
% 136.52/136.70 Changing weight limit from 7 to 8.
% 136.52/136.70
% 136.52/136.70 Resetting weight limit to 8 after 3675 givens.
% 136.52/136.70
% 136.67/136.85
% 136.67/136.85
% 136.67/136.85 Changing weight limit from 8 to 7.
% 136.67/136.85
% 136.67/136.85 Resetting weight limit to 7 after 3680 givens.
% 136.67/136.85
% 136.81/136.99
% 136.81/136.99
% 136.81/136.99 Changing weight limit from 7 to 8.
% 136.81/136.99
% 136.81/136.99 Resetting weight limit to 8 after 3685 givens.
% 136.81/136.99
% 136.97/137.14
% 136.97/137.14
% 136.97/137.14 Changing weight limit from 8 to 7.
% 136.97/137.14
% 136.97/137.14 Resetting weight limit to 7 after 3690 givens.
% 136.97/137.14
% 137.11/137.29
% 137.11/137.29
% 137.11/137.29 Changing weight limit from 7 to 8.
% 137.11/137.29
% 137.11/137.29 Resetting weight limit to 8 after 3695 givens.
% 137.11/137.29
% 137.18/137.38
% 137.18/137.38
% 137.18/137.38 Changing weight limit from 8 to 7.
% 137.18/137.38
% 137.18/137.38 Resetting weight limit to 7 after 3700 givens.
% 137.18/137.38
% 137.31/137.53
% 137.31/137.53
% 137.31/137.53 Changing weight limit from 7 to 8.
% 137.31/137.53
% 137.31/137.53 Resetting weight limit to 8 after 3705 givens.
% 137.31/137.53
% 137.48/137.68
% 137.48/137.68
% 137.48/137.68 Changing weight limit from 8 to 7.
% 137.48/137.68
% 137.48/137.68 Resetting weight limit to 7 after 3710 givens.
% 137.48/137.68
% 137.62/137.83
% 137.62/137.83
% 137.62/137.83 Changing weight limit from 7 to 8.
% 137.62/137.83
% 137.62/137.83 Resetting weight limit to 8 after 3715 givens.
% 137.62/137.83
% 137.77/137.98
% 137.77/137.98
% 137.77/137.98 Changing weight limit from 8 to 7.
% 137.77/137.98
% 137.77/137.98 Resetting weight limit to 7 after 3720 givens.
% 137.77/137.98
% 137.91/138.13
% 137.91/138.13
% 137.91/138.13 Changing weight limit from 7 to 8.
% 137.91/138.13
% 137.91/138.13 Resetting weight limit to 8 after 3725 givens.
% 137.91/138.13
% 138.07/138.28
% 138.07/138.28
% 138.07/138.28 Changing weight limit from 8 to 7.
% 138.07/138.28
% 138.07/138.28 Resetting weight limit to 7 after 3730 givens.
% 138.07/138.28
% 138.22/138.43
% 138.22/138.43
% 138.22/138.43 Changing weight limit from 7 to 8.
% 138.22/138.43
% 138.22/138.43 Resetting weight limit to 8 after 3735 givens.
% 138.22/138.43
% 138.35/138.59
% 138.35/138.59
% 138.35/138.59 Changing weight limit from 8 to 7.
% 138.35/138.59
% 138.35/138.59 Resetting weight limit to 7 after 3740 givens.
% 138.35/138.59
% 138.52/138.74
% 138.52/138.74
% 138.52/138.74 Changing weight limit from 7 to 8.
% 138.52/138.74
% 138.52/138.74 Resetting weight limit to 8 after 3745 givens.
% 138.52/138.74
% 138.67/138.89
% 138.67/138.89
% 138.67/138.89 Changing weight limit from 8 to 7.
% 138.67/138.89
% 138.67/138.89 Resetting weight limit to 7 after 3750 givens.
% 138.67/138.89
% 138.84/139.05
% 138.84/139.05
% 138.84/139.05 Changing weight limit from 7 to 8.
% 138.84/139.05
% 138.84/139.05 Resetting weight limit to 8 after 3755 givens.
% 138.84/139.05
% 138.96/139.20
% 138.96/139.20
% 138.96/139.20 Changing weight limit from 8 to 7.
% 138.96/139.20
% 138.96/139.20 Resetting weight limit to 7 after 3760 givens.
% 138.96/139.20
% 139.26/139.47
% 139.26/139.47
% 139.26/139.47 Changing weight limit from 7 to 8.
% 139.26/139.47
% 139.26/139.47 Resetting weight limit to 8 after 3770 givens.
% 139.26/139.47
% 139.43/139.63
% 139.43/139.63
% 139.43/139.63 Changing weight limit from 8 to 7.
% 139.43/139.63
% 139.43/139.63 Resetting weight limit to 7 after 3775 givens.
% 139.43/139.63
% 139.56/139.79
% 139.56/139.79
% 139.56/139.79 Changing weight limit from 7 to 8.
% 139.56/139.79
% 139.56/139.79 Resetting weight limit to 8 after 3780 givens.
% 139.56/139.79
% 139.73/139.94
% 139.73/139.94
% 139.73/139.94 Changing weight limit from 8 to 7.
% 139.73/139.94
% 139.73/139.94 Resetting weight limit to 7 after 3785 givens.
% 139.73/139.94
% 139.88/140.09
% 139.88/140.09
% 139.88/140.09 Changing weight limit from 7 to 8.
% 139.88/140.09
% 139.88/140.09 Resetting weight limit to 8 after 3790 givens.
% 139.88/140.09
% 140.02/140.25
% 140.02/140.25
% 140.02/140.25 Changing weight limit from 8 to 7.
% 140.02/140.25
% 140.02/140.25 Resetting weight limit to 7 after 3795 givens.
% 140.02/140.25
% 140.17/140.41
% 140.17/140.41
% 140.17/140.41 Changing weight limit from 7 to 8.
% 140.17/140.41
% 140.17/140.41 Resetting weight limit to 8 after 3800 givens.
% 140.17/140.41
% 140.32/140.56
% 140.32/140.56
% 140.32/140.56 Changing weight limit from 8 to 7.
% 140.32/140.56
% 140.32/140.56 Resetting weight limit to 7 after 3805 givens.
% 140.32/140.56
% 140.55/140.72
% 140.55/140.72
% 140.55/140.72 Changing weight limit from 7 to 8.
% 140.55/140.72
% 140.55/140.72 Resetting weight limit to 8 after 3810 givens.
% 140.55/140.72
% 140.69/140.88
% 140.69/140.88
% 140.69/140.88 Changing weight limit from 8 to 7.
% 140.69/140.88
% 140.69/140.88 Resetting weight limit to 7 after 3815 givens.
% 140.69/140.88
% 140.85/141.03
% 140.85/141.03
% 140.85/141.03 Changing weight limit from 7 to 8.
% 140.85/141.03
% 140.85/141.03 Resetting weight limit to 8 after 3820 givens.
% 140.85/141.03
% 141.01/141.19
% 141.01/141.19
% 141.01/141.19 Changing weight limit from 8 to 7.
% 141.01/141.19
% 141.01/141.19 Resetting weight limit to 7 after 3825 givens.
% 141.01/141.19
% 141.30/141.47
% 141.30/141.47
% 141.30/141.47 Changing weight limit from 7 to 8.
% 141.30/141.47
% 141.30/141.47 Resetting weight limit to 8 after 3835 givens.
% 141.30/141.47
% 141.45/141.63
% 141.45/141.63
% 141.45/141.63 Changing weight limit from 8 to 7.
% 141.45/141.63
% 141.45/141.63 Resetting weight limit to 7 after 3840 givens.
% 141.45/141.63
% 141.62/141.79
% 141.62/141.79
% 141.62/141.79 Changing weight limit from 7 to 8.
% 141.62/141.79
% 141.62/141.79 Resetting weight limit to 8 after 3845 givens.
% 141.62/141.79
% 141.75/141.95
% 141.75/141.95
% 141.75/141.95 Changing weight limit from 8 to 7.
% 141.75/141.95
% 141.75/141.95 Resetting weight limit to 7 after 3850 givens.
% 141.75/141.95
% 141.91/142.11
% 141.91/142.11
% 141.91/142.11 Changing weight limit from 7 to 8.
% 141.91/142.11
% 141.91/142.11 Resetting weight limit to 8 after 3855 givens.
% 141.91/142.11
% 142.06/142.27
% 142.06/142.27
% 142.06/142.27 Changing weight limit from 8 to 7.
% 142.06/142.27
% 142.06/142.27 Resetting weight limit to 7 after 3860 givens.
% 142.06/142.27
% 142.23/142.43
% 142.23/142.43
% 142.23/142.43 Changing weight limit from 7 to 8.
% 142.23/142.43
% 142.23/142.43 Resetting weight limit to 8 after 3865 givens.
% 142.23/142.43
% 142.35/142.59
% 142.35/142.59
% 142.35/142.59 Changing weight limit from 8 to 7.
% 142.35/142.59
% 142.35/142.59 Resetting weight limit to 7 after 3870 givens.
% 142.35/142.59
% 142.53/142.75
% 142.53/142.75
% 142.53/142.75 Changing weight limit from 7 to 8.
% 142.53/142.75
% 142.53/142.75 Resetting weight limit to 8 after 3875 givens.
% 142.53/142.75
% 142.66/142.92
% 142.66/142.92
% 142.66/142.92 Changing weight limit from 8 to 7.
% 142.66/142.92
% 142.66/142.92 Resetting weight limit to 7 after 3880 givens.
% 142.66/142.92
% 142.91/143.08
% 142.91/143.08
% 142.91/143.08 Changing weight limit from 7 to 8.
% 142.91/143.08
% 142.91/143.08 Resetting weight limit to 8 after 3885 givens.
% 142.91/143.08
% 143.06/143.24
% 143.06/143.24
% 143.06/143.24 Changing weight limit from 8 to 7.
% 143.06/143.24
% 143.06/143.24 Resetting weight limit to 7 after 3890 givens.
% 143.06/143.24
% 143.28/143.47
% 143.28/143.47
% 143.28/143.47 Changing weight limit from 7 to 8.
% 143.28/143.47
% 143.28/143.47 Resetting weight limit to 8 after 3900 givens.
% 143.28/143.47
% 144.41/144.58
% 144.41/144.58
% 144.41/144.58 Changing weight limit from 8 to 7.
% 144.41/144.58
% 144.41/144.58 Resetting weight limit to 7 after 3935 givens.
% 144.41/144.58
% 144.71/144.87
% 144.71/144.87
% 144.71/144.87 Changing weight limit from 7 to 8.
% 144.71/144.87
% 144.71/144.87 Resetting weight limit to 8 after 3945 givens.
% 144.71/144.87
% 144.86/145.04
% 144.86/145.04
% 144.86/145.04 Changing weight limit from 8 to 7.
% 144.86/145.04
% 144.86/145.04 Resetting weight limit to 7 after 3950 givens.
% 144.86/145.04
% 145.04/145.21
% 145.04/145.21
% 145.04/145.21 Changing weight limit from 7 to 8.
% 145.04/145.21
% 145.04/145.21 Resetting weight limit to 8 after 3955 givens.
% 145.04/145.21
% 145.16/145.35
% 145.16/145.35
% 145.16/145.35 Changing weight limit from 8 to 7.
% 145.16/145.35
% 145.16/145.35 Resetting weight limit to 7 after 3965 givens.
% 145.16/145.35
% 145.35/145.52
% 145.35/145.52
% 145.35/145.52 Changing weight limit from 7 to 8.
% 145.35/145.52
% 145.35/145.52 Resetting weight limit to 8 after 3970 givens.
% 145.35/145.52
% 145.46/145.68
% 145.46/145.68
% 145.46/145.68 Changing weight limit from 8 to 7.
% 145.46/145.68
% 145.46/145.68 Resetting weight limit to 7 after 3975 givens.
% 145.46/145.68
% 145.63/145.85
% 145.63/145.85
% 145.63/145.85 Changing weight limit from 7 to 8.
% 145.63/145.85
% 145.63/145.85 Resetting weight limit to 8 after 3980 givens.
% 145.63/145.85
% 145.85/146.02
% 145.85/146.02
% 145.85/146.02 Changing weight limit from 8 to 7.
% 145.85/146.02
% 145.85/146.02 Resetting weight limit to 7 after 3985 givens.
% 145.85/146.02
% 146.02/146.19
% 146.02/146.19
% 146.02/146.19 Changing weight limit from 7 to 8.
% 146.02/146.19
% 146.02/146.19 Resetting weight limit to 8 after 3990 givens.
% 146.02/146.19
% 146.16/146.36
% 146.16/146.36
% 146.16/146.36 Changing weight limit from 8 to 7.
% 146.16/146.36
% 146.16/146.36 Resetting weight limit to 7 after 3995 givens.
% 146.16/146.36
% 146.36/146.53
% 146.36/146.53
% 146.36/146.53 Changing weight limit from 7 to 8.
% 146.36/146.53
% 146.36/146.53 Resetting weight limit to 8 after 4000 givens.
% 146.36/146.53
% 146.45/146.63
% 146.45/146.63
% 146.45/146.63 Changing weight limit from 8 to 7.
% 146.45/146.63
% 146.45/146.63 Resetting weight limit to 7 after 4005 givens.
% 146.45/146.63
% 146.82/147.04
% 146.82/147.04
% 146.82/147.04 Changing weight limit from 7 to 8.
% 146.82/147.04
% 146.82/147.04 Resetting weight limit to 8 after 4025 givens.
% 146.82/147.04
% 146.91/147.08
% 146.91/147.08
% 146.91/147.08 Changing weight limit from 8 to 7.
% 146.91/147.08
% 146.91/147.08 Resetting weight limit to 7 after 4030 givens.
% 146.91/147.08
% 146.97/147.19
% 146.97/147.19
% 146.97/147.19 Changing weight limit from 7 to 8.
% 146.97/147.19
% 146.97/147.19 Resetting weight limit to 8 after 4035 givens.
% 146.97/147.19
% 148.63/148.81
% 148.63/148.81
% 148.63/148.81 Changing weight limit from 8 to 7.
% 148.63/148.81
% 148.63/148.81 Resetting weight limit to 7 after 4095 givens.
% 148.63/148.81
% 148.72/148.89
% 148.72/148.89
% 148.72/148.89 Changing weight limit from 7 to 8.
% 148.72/148.89
% 148.72/148.89 Resetting weight limit to 8 after 4100 givens.
% 148.72/148.89
% 148.86/149.03
% 148.86/149.03
% 148.86/149.03 Changing weight limit from 8 to 7.
% 148.86/149.03
% 148.86/149.03 Resetting weight limit to 7 after 4105 givens.
% 148.86/149.03
% 149.03/149.25
% 149.03/149.25
% 149.03/149.25 Changing weight limit from 7 to 8.
% 149.03/149.25
% 149.03/149.25 Resetting weight limit to 8 after 4125 givens.
% 149.03/149.25
% 149.33/149.50
% 149.33/149.50
% 149.33/149.50 Changing weight limit from 8 to 7.
% 149.33/149.50
% 149.33/149.50 Resetting weight limit to 7 after 4135 givens.
% 149.33/149.50
% 149.33/149.50
% 149.33/149.50
% 149.33/149.50 Changing weight limit from 7 to 8.
% 149.33/149.50
% 149.33/149.50 Resetting weight limit to 8 after 4140 givens.
% 149.33/149.50
% 150.37/150.57
% 150.37/150.57
% 150.37/150.57 Changing weight limit from 8 to 7.
% 150.37/150.57
% 150.37/150.57 Resetting weight limit to 7 after 4180 givens.
% 150.37/150.57
% 150.52/150.74
% 150.52/150.74
% 150.52/150.74 Changing weight limit from 7 to 8.
% 150.52/150.74
% 150.52/150.74 Resetting weight limit to 8 after 4190 givens.
% 150.52/150.74
% 150.75/150.91
% 150.75/150.91
% 150.75/150.91 Changing weight limit from 8 to 7.
% 150.75/150.91
% 150.75/150.91 Resetting weight limit to 7 after 4195 givens.
% 150.75/150.91
% 150.90/151.08
% 150.90/151.08
% 150.90/151.08 Changing weight limit from 7 to 8.
% 150.90/151.08
% 150.90/151.08 Resetting weight limit to 8 after 4200 givens.
% 150.90/151.08
% 151.04/151.22
% 151.04/151.22
% 151.04/151.22 Changing weight limit from 8 to 7.
% 151.04/151.22
% 151.04/151.22 Resetting weight limit to 7 after 4205 givens.
% 151.04/151.22
% 151.42/151.64
% 151.42/151.64
% 151.42/151.64 Changing weight limit from 7 to 8.
% 151.42/151.64
% 151.42/151.64 Resetting weight limit to 8 after 4220 givens.
% 151.42/151.64
% 151.56/151.78
% 151.56/151.78
% 151.56/151.78 Changing weight limit from 8 to 7.
% 151.56/151.78
% 151.56/151.78 Resetting weight limit to 7 after 4225 givens.
% 151.56/151.78
% 151.85/152.02
% 151.85/152.02
% 151.85/152.02 Changing weight limit from 7 to 8.
% 151.85/152.02
% 151.85/152.02 Resetting weight limit to 8 after 4235 givens.
% 151.85/152.02
% 152.15/152.34
% 152.15/152.34
% 152.15/152.34 Changing weight limit from 8 to 7.
% 152.15/152.34
% 152.15/152.34 Resetting weight limit to 7 after 4245 givens.
% 152.15/152.34
% 152.53/152.69
% 152.53/152.69
% 152.53/152.69 Changing weight limit from 7 to 8.
% 152.53/152.69
% 152.53/152.69 Resetting weight limit to 8 after 4265 givens.
% 152.53/152.69
% 152.55/152.73
% 152.55/152.73
% 152.55/152.73 Changing weight limit from 8 to 7.
% 152.55/152.73
% 152.55/152.73 Resetting weight limit to 7 after 4270 givens.
% 152.55/152.73
% 153.55/153.74
% 153.55/153.74
% 153.55/153.74 Changing weight limit from 7 to 8.
% 153.55/153.74
% 153.55/153.74 Resetting weight limit to 8 after 4310 givens.
% 153.55/153.74
% 153.75/153.92
% 153.75/153.92
% 153.75/153.92 Changing weight limit from 8 to 7.
% 153.75/153.92
% 153.75/153.92 Resetting weight limit to 7 after 4315 givens.
% 153.75/153.92
% 153.92/154.09
% 153.92/154.09
% 153.92/154.09 Changing weight limit from 7 to 8.
% 153.92/154.09
% 153.92/154.09 Resetting weight limit to 8 after 4320 givens.
% 153.92/154.09
% 154.07/154.27
% 154.07/154.27
% 154.07/154.27 Changing weight limit from 8 to 7.
% 154.07/154.27
% 154.07/154.27 Resetting weight limit to 7 after 4325 givens.
% 154.07/154.27
% 154.33/154.51
% 154.33/154.51
% 154.33/154.51 Changing weight limit from 7 to 8.
% 154.33/154.51
% 154.33/154.51 Resetting weight limit to 8 after 4335 givens.
% 154.33/154.51
% 154.52/154.69
% 154.52/154.69
% 154.52/154.69 Changing weight limit from 8 to 7.
% 154.52/154.69
% 154.52/154.69 Resetting weight limit to 7 after 4340 givens.
% 154.52/154.69
% 154.66/154.87
% 154.66/154.87
% 154.66/154.87 Changing weight limit from 7 to 8.
% 154.66/154.87
% 154.66/154.87 Resetting weight limit to 8 after 4345 givens.
% 154.66/154.87
% 155.25/155.46
% 155.25/155.46
% 155.25/155.46 Changing weight limit from 8 to 7.
% 155.25/155.46
% 155.25/155.46 Resetting weight limit to 7 after 4375 givens.
% 155.25/155.46
% 155.35/155.53
% 155.35/155.53
% 155.35/155.53 Changing weight limit from 7 to 8.
% 155.35/155.53
% 155.35/155.53 Resetting weight limit to 8 after 4385 givens.
% 155.35/155.53
% 155.35/155.53
% 155.35/155.53
% 155.35/155.53 Changing weight limit from 8 to 9.
% 155.35/155.53
% 155.35/155.53 Resetting weight limit to 9 after 4390 givens.
% 155.35/155.53
% 155.35/155.53
% 155.35/155.53
% 155.35/155.53 Changing weight limit from 9 to 10.
% 155.35/155.53
% 155.35/155.53 Resetting weight limit to 10 after 4395 givens.
% 155.35/155.53
% 155.35/155.53
% 155.35/155.53
% 155.35/155.53 Changing weight limit from 10 to 11.
% 155.35/155.53
% 155.35/155.53 Resetting weight limit to 11 after 4400 givens.
% 155.35/155.53
% 155.43/155.63
% 155.43/155.63
% 155.43/155.63 Changing weight limit from 11 to 8.
% 155.43/155.63
% 155.43/155.63 Resetting weight limit to 8 after 4405 givens.
% 155.43/155.63
% 156.13/156.35
% 156.13/156.35
% 156.13/156.35 Changing weight limit from 8 to 9.
% 156.13/156.35
% 156.13/156.35 Resetting weight limit to 9 after 4485 givens.
% 156.13/156.35
% 156.25/156.44
% 156.25/156.44
% 156.25/156.44 Changing weight limit from 9 to 10.
% 156.25/156.44
% 156.25/156.44 Resetting weight limit to 10 after 4510 givens.
% 156.25/156.44
% 156.43/156.66
% 156.43/156.66
% 156.43/156.66 Changing weight limit from 10 to 11.
% 156.43/156.66
% 156.43/156.66 Resetting weight limit to 11 after 4605 givens.
% 156.43/156.66
% 300.03/300.21 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------