TSTP Solution File: FLD048-4 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : FLD048-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n021.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:27:50 EDT 2022
% Result : Timeout 285.81s 286.03s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : FLD048-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.11/0.12 % Command : sos-script %s
% 0.13/0.33 % Computer : n021.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Mon Jun 6 14:13:05 EDT 2022
% 0.13/0.33 % CPUTime :
% 0.13/0.35 ----- Otter 3.2, August 2001 -----
% 0.13/0.35 The process was started by sandbox on n021.cluster.edu,
% 0.13/0.35 Mon Jun 6 14:13:05 2022
% 0.13/0.35 The command was "./sos". The process ID is 20638.
% 0.13/0.35
% 0.13/0.35 set(prolog_style_variables).
% 0.13/0.35 set(auto).
% 0.13/0.35 dependent: set(auto1).
% 0.13/0.35 dependent: set(process_input).
% 0.13/0.35 dependent: clear(print_kept).
% 0.13/0.35 dependent: clear(print_new_demod).
% 0.13/0.35 dependent: clear(print_back_demod).
% 0.13/0.35 dependent: clear(print_back_sub).
% 0.13/0.35 dependent: set(control_memory).
% 0.13/0.35 dependent: assign(max_mem, 12000).
% 0.13/0.35 dependent: assign(pick_given_ratio, 4).
% 0.13/0.35 dependent: assign(stats_level, 1).
% 0.13/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.13/0.35 dependent: assign(sos_limit, 5000).
% 0.13/0.35 dependent: assign(max_weight, 60).
% 0.13/0.35 clear(print_given).
% 0.13/0.35
% 0.13/0.35 list(usable).
% 0.13/0.35
% 0.13/0.35 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.13/0.35
% 0.13/0.35 This is a non-Horn set without equality. The strategy
% 0.13/0.35 will be ordered hyper_res, ur_res, unit deletion, and
% 0.13/0.35 factoring, with satellites in sos and nuclei in usable.
% 0.13/0.35
% 0.13/0.35 dependent: set(hyper_res).
% 0.13/0.35 dependent: set(factor).
% 0.13/0.35 dependent: set(unit_deletion).
% 0.13/0.35
% 0.13/0.35 ------------> process usable:
% 0.13/0.35
% 0.13/0.35 ------------> process sos:
% 0.13/0.35
% 0.13/0.35 ======= end of input processing =======
% 0.19/0.43
% 0.19/0.43 Model 1 (0.00 seconds, 0 Inserts)
% 0.19/0.43
% 0.19/0.43 Stopped by limit on number of solutions
% 0.19/0.43
% 0.19/0.43
% 0.19/0.43 -------------- Softie stats --------------
% 0.19/0.43
% 0.19/0.43 UPDATE_STOP: 300
% 0.19/0.43 SFINDER_TIME_LIMIT: 2
% 0.19/0.43 SHORT_CLAUSE_CUTOFF: 4
% 0.19/0.43 number of clauses in intial UL: 50
% 0.19/0.43 number of clauses initially in problem: 66
% 0.19/0.43 percentage of clauses intially in UL: 75
% 0.19/0.43 percentage of distinct symbols occuring in initial UL: 78
% 0.19/0.43 percent of all initial clauses that are short: 100
% 0.19/0.43 absolute distinct symbol count: 19
% 0.19/0.43 distinct predicate count: 4
% 0.19/0.43 distinct function count: 4
% 0.19/0.43 distinct constant count: 11
% 0.19/0.43
% 0.19/0.43 ---------- no more Softie stats ----------
% 0.19/0.43
% 0.19/0.43
% 0.19/0.43
% 0.19/0.43 Model 2 (0.00 seconds, 0 Inserts)
% 0.19/0.43
% 0.19/0.43 Stopped by limit on number of solutions
% 0.19/0.43
% 0.19/0.43 =========== start of search ===========
% 3.34/3.55
% 3.34/3.55
% 3.34/3.55 Changing weight limit from 60 to 10.
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 3 [ 2 2 257 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 4 [ 2 2 183 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 5 [ 3 2 262 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 6 [ 4 1 195 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 7 [ 4 1 213 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 8 [ 4 1 217 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 9 [ 4 2 599 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 10 [ 4 1 388 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 11 [ 13 1 202 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 12 [ 13 2 289 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 13 [ 13 2 168 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 14 [ 4 1 537 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 15 [ 7 2 444 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 16 [ 6 2 134 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 17 [ 8 2 114 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 18 [ 5 2 163 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 19 [ 6 1 233 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 20 [ 6 1 4554 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 21 [ 5 1 120 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 22 [ 5 1 484 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 23 [ 21 1 270 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 24 [ 7 1 413 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 25 [ 6 3 109415 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 26 [ 27 1 143 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 27 [ 28 2 194 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 28 [ 7 1 308 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 29 [ 6 2 347 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 30 [ 6 2 400 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 31 [ 9 1 469 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 32 [ 29 1 193 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Stopped by limit on insertions
% 3.34/3.55
% 3.34/3.55 Model 33 [ 6 7 233411 ] (0.00 seconds, 250000 Inserts)
% 3.34/3.55
% 3.34/3.55 Resetting weight limit to 10 after 40 givens.
% 3.34/3.55
% 3.94/4.12
% 3.94/4.12
% 3.94/4.12 Changing weight limit from 10 to 11.
% 3.94/4.12
% 3.94/4.12 Stopped by limit on insertions
% 3.94/4.12
% 3.94/4.12 Model 34 [ 34 1 201 ] (0.00 seconds, 250000 Inserts)
% 3.94/4.12
% 3.94/4.12 Stopped by limit on insertions
% 3.94/4.12
% 3.94/4.12 Model 35 [ 8 1 208 ] (0.00 seconds, 250000 Inserts)
% 3.94/4.12
% 3.94/4.12 Stopped by limit on insertions
% 3.94/4.12
% 3.94/4.12 Model 36 [ 33 1 185 ] (0.00 seconds, 250000 Inserts)
% 3.94/4.12
% 3.94/4.12 Stopped by limit on insertions
% 3.94/4.12
% 3.94/4.12 Model 37 [ 27 1 232 ] (0.00 seconds, 250000 Inserts)
% 3.94/4.12
% 3.94/4.12 Resetting weight limit to 11 after 45 givens.
% 3.94/4.12
% 4.66/4.86
% 4.66/4.86
% 4.66/4.86 Changing weight limit from 11 to 10.
% 4.66/4.86
% 4.66/4.86 Stopped by limit on insertions
% 4.66/4.86
% 4.66/4.86 Model 38 [ 11 6 169410 ] (0.00 seconds, 250000 Inserts)
% 4.66/4.86
% 4.66/4.86 Stopped by limit on insertions
% 4.66/4.86
% 4.66/4.86 Model 39 [ 10 9 249637 ] (0.00 seconds, 250000 Inserts)
% 4.66/4.86
% 4.66/4.86 Stopped by limit on insertions
% 4.66/4.86
% 4.66/4.86 Model 40 [ 36 1 186 ] (0.00 seconds, 250000 Inserts)
% 4.66/4.86
% 4.66/4.86 Stopped by limit on insertions
% 4.66/4.86
% 4.66/4.86 Model 41 [ 6 1 426 ] (0.00 seconds, 250000 Inserts)
% 4.66/4.86
% 4.66/4.86 Stopped by limit on insertions
% 4.66/4.86
% 4.66/4.86 Model 42 [ 18 1 148 ] (0.00 seconds, 250000 Inserts)
% 4.66/4.86
% 4.66/4.86 Resetting weight limit to 10 after 50 givens.
% 4.66/4.86
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 43 [ 15 2 1224 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 44 [ 9 5 112692 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 45 [ 38 1 198 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 46 [ 11 1 198 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 47 [ 13 17 241365 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 48 [ 11 6 112201 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 49 [ 10 1 304 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 50 [ 5 2 25869 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 51 [ 45 2 244 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 52 [ 46 1 127 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 53 [ 24 2 9161 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 54 [ 8 2 6255 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 55 [ 9 2 8882 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 56 [ 14 3 20052 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 57 [ 15 7 121970 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 58 [ 11 2 200 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 59 [ 20 2 12596 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 60 [ 13 1 1248 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 61 [ 50 1 306 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 62 [ 15 1 974 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 63 [ 17 4 85387 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 64 [ 51 1 447 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 65 [ 11 1 162 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 66 [ 18 1 164 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 67 [ 11 1 118 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 68 [ 67 2 602 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 69 [ 11 1 129 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 70 [ 11 2 218 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 71 [ 63 1 126 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 72 [ 18 13 106052 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 73 [ 21 2 548 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 74 [ 18 2 709 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 75 [ 72 1 131 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 76 [ 15 1 571 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 77 [ 74 2 166 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 78 [ 26 27 176215 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 79 [ 14 2 222 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 80 [ 82 1 112 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 81 [ 15 1 1129 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 82 [ 20 2 145 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 83 [ 18 1 216 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 84 [ 29 25 189096 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 85 [ 19 1 172 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 86 [ 70 2 255 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 14.73/14.94 Model 87 [ 36 17 144306 ] (0.00 seconds, 250000 Inserts)
% 14.73/14.94
% 14.73/14.94 Stopped by limit on insertions
% 14.73/14.94
% 35.33/35.52 Model 88 [ 80 2 625 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 89 [ 75 1 125 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 90 [ 23 20 121434 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 91 [ 28 2 1369 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 92 [ 23 1 354 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 93 [ 83 1 120 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 94 [ 33 36 219419 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 95 [ 82 1 119 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 96 [ 18 2 1255 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 97 [ 93 2 698 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 98 [ 31 2 1346 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 99 [ 18 1 207 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 100 [ 81 2 156 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 101 [ 20 1 155 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 102 [ 37 36 170496 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 103 [ 18 2 14302 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 104 [ 28 1 165 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 105 [ 95 2 874 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 106 [ 28 2 249 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 107 [ 24 47 212230 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 108 [ 18 1 320 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 109 [ 28 10 42558 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 110 [ 16 2 977 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 111 [ 84 4 24548 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 112 [ 34 2 2128 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 113 [ 94 1 194 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 114 [ 104 2 192 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 115 [ 35 9 35251 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 116 [ 23 2 1246 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 117 [ 37 35 233004 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 118 [ 110 2 177 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 119 [ 37 2 860 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 120 [ 113 1 196 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 121 [ 46 17 68879 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 122 [ 45 45 165694 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 123 [ 49 16 53123 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 124 [ 51 56 210011 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 125 [ 39 29 96271 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 126 [ 37 17 51900 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 127 [ 51 12 39461 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 128 [ 22 12 57144 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 129 [ 124 2 154 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 130 [ 105 1 130 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 131 [ 28 2 216 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 35.33/35.52 Model 132 [ 38 24 67299 ] (0.00 seconds, 250000 Inserts)
% 35.33/35.52
% 35.33/35.52 Stopped by limit on insertions
% 35.33/35.52
% 62.33/62.56 Model 133 [ 30 2 903 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 134 [ 30 2 809 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 135 [ 134 2 196 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 136 [ 36 1 120 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 137 [ 19 2 746 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 138 [ 20 2 3355 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 139 [ 129 2 367 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 140 [ 41 2 424 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 141 [ 39 2 359 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 142 [ 122 2 167 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 143 [ 43 68 218295 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 144 [ 38 60 169229 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 145 [ 37 45 111267 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 146 [ 44 2 788 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 147 [ 111 2 681 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 148 [ 33 2 156 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 149 [ 120 3 7085 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 150 [ 44 2 139 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 151 [ 119 2 3966 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 152 [ 39 11 31980 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 153 [ 34 29 73298 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 154 [ 40 2 534 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 155 [ 19 3 12839 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 156 [ 106 2 393 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 157 [ 33 2 520 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 158 [ 35 2 5098 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 159 [ 43 2 1031 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 160 [ 132 16 54118 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 161 [ 145 2 361 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 162 [ 28 4 15046 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 163 [ 48 29 74956 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 164 [ 35 1 121 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 165 [ 34 2 285 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 166 [ 44 2 254 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 167 [ 29 2 397 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 168 [ 40 98 206394 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 169 [ 44 39 101765 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 170 [ 143 5 13386 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 171 [ 43 97 229163 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 172 [ 139 2 230 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 173 [ 34 3 6030 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 174 [ 149 2 121 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 175 [ 29 2 343 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 176 [ 148 43 161766 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 177 [ 39 2 338 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 62.33/62.56 Model 178 [ 157 2 304 ] (0.00 seconds, 250000 Inserts)
% 62.33/62.56
% 62.33/62.56 Stopped by limit on insertions
% 62.33/62.56
% 95.00/95.24 Model 179 [ 42 14 2
% 95.00/95.24
% 95.00/95.24 Changing weight limit from 10 to 9.
% 95.00/95.24 3473 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 180 [ 49 3 1348 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 181 [ 40 97 168147 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 182 [ 30 2 290 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 183 [ 142 9 20278 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 184 [ 43 106 224572 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 185 [ 44 3 750 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 186 [ 143 13 30708 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 187 [ 29 2 892 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 188 [ 127 23 64704 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 189 [ 53 109 217339 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 190 [ 39 8 44309 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 191 [ 146 13 26445 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 192 [ 57 138 238337 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 193 [ 50 2 756 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 194 [ 54 2 116 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 195 [ 172 2 408 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 196 [ 45 21 65543 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 197 [ 40 9 56113 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 198 [ 50 3 653 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 199 [ 40 3 1303 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 200 [ 51 2 227 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 201 [ 143 53 140332 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 202 [ 58 74 186003 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 203 [ 76 58 202289 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 204 [ 49 5 28724 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 205 [ 42 10 38823 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 206 [ 54 2 133 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 207 [ 187 2 345 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 208 [ 182 9 17419 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 209 [ 45 51 93843 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 210 [ 57 100 165430 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 211 [ 66 72 79453 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Stopped by limit on insertions
% 95.00/95.24
% 95.00/95.24 Model 212 [ 48 6 2216 ] (0.00 seconds, 250000 Inserts)
% 95.00/95.24
% 95.00/95.24 Resetting weight limit to 9 after 305 givens.
% 95.00/95.24
% 98.02/98.24
% 98.02/98.24
% 98.02/98.24 Changing weight limit from 9 to 8.
% 98.02/98.24
% 98.02/98.24 Stopped by limit on insertions
% 98.02/98.24
% 98.02/98.24 Model 213 [ 59 213 246092 ] (0.00 seconds, 250000 Inserts)
% 98.02/98.24
% 98.02/98.24 Resetting weight limit to 8 after 320 givens.
% 98.02/98.24
% 148.90/149.08
% 148.90/149.08
% 148.90/149.08 Changing weight limit from 8 to 7.
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 214 [ 169 3 234 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 215 [ 36 5 951 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 216 [ 161 4 145 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 217 [ 46 34 28471 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 218 [ 39 5 1187 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 219 [ 160 5 434 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 220 [ 57 4 712 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 221 [ 196 4 208 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 222 [ 40 19 15249 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 223 [ 190 4 153 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 224 [ 59 68 66251 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 225 [ 61 43 40165 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 226 [ 34 5 721 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 227 [ 182 103 126803 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 228 [ 44 5 1508 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 229 [ 84 47 64418 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 230 [ 39 3 284 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 231 [ 182 2 195 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 232 [ 43 3 287 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 233 [ 50 5 4402 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 234 [ 60 3 116 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 235 [ 43 3 387 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 236 [ 219 77 156187 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 237 [ 205 4 2559 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 238 [ 211 3 166 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 239 [ 42 3 1744 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 240 [ 222 2 145 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 241 [ 56 67 99384 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 242 [ 48 39 63129 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 243 [ 77 176 238713 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 244 [ 75 35 48137 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Stopped by limit on insertions
% 148.90/149.08
% 148.90/149.08 Model 245 [ 41 3 1254 ] (0.00 seconds, 250000 Inserts)
% 148.90/149.08
% 148.90/149.08 Resetting weight limit to 7 after 370 givens.
% 148.90/149.08
% 150.61/150.85
% 150.61/150.85
% 150.61/150.85 Changing weight limit from 7 to 8.
% 150.61/150.85
% 150.61/150.85 Stopped by limit on insertions
% 150.61/150.85
% 150.61/150.85 Model 246 [ 51 7 17868 ] (0.00 seconds, 250000 Inserts)
% 150.61/150.85
% 150.61/150.85 Stopped by limit on insertions
% 150.61/150.85
% 150.61/150.85 Stopped by limit on insertions
% 150.61/150.85
% 150.61/150.85 Model 247 [ 53 2 707 ] (0.00 seconds, 250000 Inserts)
% 150.61/150.85
% 150.61/150.85 Modelling stopped after 300 given clauses and 0.00 seconds
% 150.61/150.85
% 150.61/150.85
% 150.61/150.85 Resetting weight limit to 8 after 525 givens.
% 150.61/150.85
% 160.13/160.31
% 160.13/160.31
% 160.13/160.31 Changing weight limit from 8 to 7.
% 160.13/160.31
% 160.13/160.31 Resetting weight limit to 7 after 2780 givens.
% 160.13/160.31
% 167.72/167.95
% 167.72/167.95
% 167.72/167.95 Changing weight limit from 7 to 8.
% 167.72/167.95
% 167.72/167.95 Resetting weight limit to 8 after 3340 givens.
% 167.72/167.95
% 167.82/168.05
% 167.82/168.05
% 167.82/168.05 Changing weight limit from 8 to 7.
% 167.82/168.05
% 167.82/168.05 Resetting weight limit to 7 after 3345 givens.
% 167.82/168.05
% 167.90/168.14
% 167.90/168.14
% 167.90/168.14 Changing weight limit from 7 to 8.
% 167.90/168.14
% 167.90/168.14 Resetting weight limit to 8 after 3350 givens.
% 167.90/168.14
% 168.02/168.24
% 168.02/168.24
% 168.02/168.24 Changing weight limit from 8 to 7.
% 168.02/168.24
% 168.02/168.24 Resetting weight limit to 7 after 3355 givens.
% 168.02/168.24
% 168.12/168.33
% 168.12/168.33
% 168.12/168.33 Changing weight limit from 7 to 8.
% 168.12/168.33
% 168.12/168.33 Resetting weight limit to 8 after 3360 givens.
% 168.12/168.33
% 168.22/168.42
% 168.22/168.42
% 168.22/168.42 Changing weight limit from 8 to 7.
% 168.22/168.42
% 168.22/168.42 Resetting weight limit to 7 after 3365 givens.
% 168.22/168.42
% 168.32/168.52
% 168.32/168.52
% 168.32/168.52 Changing weight limit from 7 to 8.
% 168.32/168.52
% 168.32/168.52 Resetting weight limit to 8 after 3370 givens.
% 168.32/168.52
% 168.41/168.61
% 168.41/168.61
% 168.41/168.61 Changing weight limit from 8 to 7.
% 168.41/168.61
% 168.41/168.61 Resetting weight limit to 7 after 3375 givens.
% 168.41/168.61
% 168.52/168.71
% 168.52/168.71
% 168.52/168.71 Changing weight limit from 7 to 8.
% 168.52/168.71
% 168.52/168.71 Resetting weight limit to 8 after 3380 givens.
% 168.52/168.71
% 168.61/168.80
% 168.61/168.80
% 168.61/168.80 Changing weight limit from 8 to 7.
% 168.61/168.80
% 168.61/168.80 Resetting weight limit to 7 after 3385 givens.
% 168.61/168.80
% 168.71/168.90
% 168.71/168.90
% 168.71/168.90 Changing weight limit from 7 to 8.
% 168.71/168.90
% 168.71/168.90 Resetting weight limit to 8 after 3390 givens.
% 168.71/168.90
% 168.81/168.99
% 168.81/168.99
% 168.81/168.99 Changing weight limit from 8 to 7.
% 168.81/168.99
% 168.81/168.99 Resetting weight limit to 7 after 3395 givens.
% 168.81/168.99
% 168.83/169.09
% 168.83/169.09
% 168.83/169.09 Changing weight limit from 7 to 8.
% 168.83/169.09
% 168.83/169.09 Resetting weight limit to 8 after 3400 givens.
% 168.83/169.09
% 169.00/169.19
% 169.00/169.19
% 169.00/169.19 Changing weight limit from 8 to 7.
% 169.00/169.19
% 169.00/169.19 Resetting weight limit to 7 after 3405 givens.
% 169.00/169.19
% 169.10/169.28
% 169.10/169.28
% 169.10/169.28 Changing weight limit from 7 to 8.
% 169.10/169.28
% 169.10/169.28 Resetting weight limit to 8 after 3410 givens.
% 169.10/169.28
% 169.13/169.38
% 169.13/169.38
% 169.13/169.38 Changing weight limit from 8 to 7.
% 169.13/169.38
% 169.13/169.38 Resetting weight limit to 7 after 3415 givens.
% 169.13/169.38
% 169.21/169.48
% 169.21/169.48
% 169.21/169.48 Changing weight limit from 7 to 8.
% 169.21/169.48
% 169.21/169.48 Resetting weight limit to 8 after 3420 givens.
% 169.21/169.48
% 169.30/169.58
% 169.30/169.58
% 169.30/169.58 Changing weight limit from 8 to 7.
% 169.30/169.58
% 169.30/169.58 Resetting weight limit to 7 after 3425 givens.
% 169.30/169.58
% 169.44/169.67
% 169.44/169.67
% 169.44/169.67 Changing weight limit from 7 to 8.
% 169.44/169.67
% 169.44/169.67 Resetting weight limit to 8 after 3430 givens.
% 169.44/169.67
% 169.53/169.77
% 169.53/169.77
% 169.53/169.77 Changing weight limit from 8 to 7.
% 169.53/169.77
% 169.53/169.77 Resetting weight limit to 7 after 3435 givens.
% 169.53/169.77
% 169.74/169.93
% 169.74/169.93
% 169.74/169.93 Changing weight limit from 7 to 8.
% 169.74/169.93
% 169.74/169.93 Resetting weight limit to 8 after 3445 givens.
% 169.74/169.93
% 169.83/170.03
% 169.83/170.03
% 169.83/170.03 Changing weight limit from 8 to 7.
% 169.83/170.03
% 169.83/170.03 Resetting weight limit to 7 after 3450 givens.
% 169.83/170.03
% 169.91/170.13
% 169.91/170.13
% 169.91/170.13 Changing weight limit from 7 to 8.
% 169.91/170.13
% 169.91/170.13 Resetting weight limit to 8 after 3455 givens.
% 169.91/170.13
% 170.04/170.23
% 170.04/170.23
% 170.04/170.23 Changing weight limit from 8 to 7.
% 170.04/170.23
% 170.04/170.23 Resetting weight limit to 7 after 3460 givens.
% 170.04/170.23
% 170.12/170.33
% 170.12/170.33
% 170.12/170.33 Changing weight limit from 7 to 8.
% 170.12/170.33
% 170.12/170.33 Resetting weight limit to 8 after 3465 givens.
% 170.12/170.33
% 170.19/170.43
% 170.19/170.43
% 170.19/170.43 Changing weight limit from 8 to 7.
% 170.19/170.43
% 170.19/170.43 Resetting weight limit to 7 after 3470 givens.
% 170.19/170.43
% 170.34/170.53
% 170.34/170.53
% 170.34/170.53 Changing weight limit from 7 to 8.
% 170.34/170.53
% 170.34/170.53 Resetting weight limit to 8 after 3475 givens.
% 170.34/170.53
% 170.41/170.63
% 170.41/170.63
% 170.41/170.63 Changing weight limit from 8 to 7.
% 170.41/170.63
% 170.41/170.63 Resetting weight limit to 7 after 3480 givens.
% 170.41/170.63
% 170.50/170.73
% 170.50/170.73
% 170.50/170.73 Changing weight limit from 7 to 8.
% 170.50/170.73
% 170.50/170.73 Resetting weight limit to 8 after 3485 givens.
% 170.50/170.73
% 170.64/170.84
% 170.64/170.84
% 170.64/170.84 Changing weight limit from 8 to 7.
% 170.64/170.84
% 170.64/170.84 Resetting weight limit to 7 after 3490 givens.
% 170.64/170.84
% 170.72/170.94
% 170.72/170.94
% 170.72/170.94 Changing weight limit from 7 to 8.
% 170.72/170.94
% 170.72/170.94 Resetting weight limit to 8 after 3495 givens.
% 170.72/170.94
% 170.81/171.04
% 170.81/171.04
% 170.81/171.04 Changing weight limit from 8 to 7.
% 170.81/171.04
% 170.81/171.04 Resetting weight limit to 7 after 3500 givens.
% 170.81/171.04
% 170.93/171.14
% 170.93/171.14
% 170.93/171.14 Changing weight limit from 7 to 8.
% 170.93/171.14
% 170.93/171.14 Resetting weight limit to 8 after 3505 givens.
% 170.93/171.14
% 171.03/171.25
% 171.03/171.25
% 171.03/171.25 Changing weight limit from 8 to 7.
% 171.03/171.25
% 171.03/171.25 Resetting weight limit to 7 after 3510 givens.
% 171.03/171.25
% 171.12/171.35
% 171.12/171.35
% 171.12/171.35 Changing weight limit from 7 to 8.
% 171.12/171.35
% 171.12/171.35 Resetting weight limit to 8 after 3515 givens.
% 171.12/171.35
% 171.23/171.46
% 171.23/171.46
% 171.23/171.46 Changing weight limit from 8 to 7.
% 171.23/171.46
% 171.23/171.46 Resetting weight limit to 7 after 3520 givens.
% 171.23/171.46
% 171.31/171.56
% 171.31/171.56
% 171.31/171.56 Changing weight limit from 7 to 8.
% 171.31/171.56
% 171.31/171.56 Resetting weight limit to 8 after 3525 givens.
% 171.31/171.56
% 171.41/171.66
% 171.41/171.66
% 171.41/171.66 Changing weight limit from 8 to 7.
% 171.41/171.66
% 171.41/171.66 Resetting weight limit to 7 after 3530 givens.
% 171.41/171.66
% 171.52/171.77
% 171.52/171.77
% 171.52/171.77 Changing weight limit from 7 to 8.
% 171.52/171.77
% 171.52/171.77 Resetting weight limit to 8 after 3535 givens.
% 171.52/171.77
% 171.62/171.88
% 171.62/171.88
% 171.62/171.88 Changing weight limit from 8 to 7.
% 171.62/171.88
% 171.62/171.88 Resetting weight limit to 7 after 3540 givens.
% 171.62/171.88
% 171.71/171.98
% 171.71/171.98
% 171.71/171.98 Changing weight limit from 7 to 8.
% 171.71/171.98
% 171.71/171.98 Resetting weight limit to 8 after 3545 givens.
% 171.71/171.98
% 171.81/172.09
% 171.81/172.09
% 171.81/172.09 Changing weight limit from 8 to 7.
% 171.81/172.09
% 171.81/172.09 Resetting weight limit to 7 after 3550 givens.
% 171.81/172.09
% 172.01/172.19
% 172.01/172.19
% 172.01/172.19 Changing weight limit from 7 to 8.
% 172.01/172.19
% 172.01/172.19 Resetting weight limit to 8 after 3555 givens.
% 172.01/172.19
% 172.11/172.30
% 172.11/172.30
% 172.11/172.30 Changing weight limit from 8 to 7.
% 172.11/172.30
% 172.11/172.30 Resetting weight limit to 7 after 3560 givens.
% 172.11/172.30
% 172.21/172.40
% 172.21/172.40
% 172.21/172.40 Changing weight limit from 7 to 8.
% 172.21/172.40
% 172.21/172.40 Resetting weight limit to 8 after 3565 givens.
% 172.21/172.40
% 172.21/172.47
% 172.21/172.47
% 172.21/172.47 Changing weight limit from 8 to 7.
% 172.21/172.47
% 172.21/172.47 Resetting weight limit to 7 after 3570 givens.
% 172.21/172.47
% 172.33/172.58
% 172.33/172.58
% 172.33/172.58 Changing weight limit from 7 to 8.
% 172.33/172.58
% 172.33/172.58 Resetting weight limit to 8 after 3575 givens.
% 172.33/172.58
% 172.50/172.69
% 172.50/172.69
% 172.50/172.69 Changing weight limit from 8 to 7.
% 172.50/172.69
% 172.50/172.69 Resetting weight limit to 7 after 3580 givens.
% 172.50/172.69
% 172.61/172.79
% 172.61/172.79
% 172.61/172.79 Changing weight limit from 7 to 8.
% 172.61/172.79
% 172.61/172.79 Resetting weight limit to 8 after 3585 givens.
% 172.61/172.79
% 172.72/172.90
% 172.72/172.90
% 172.72/172.90 Changing weight limit from 8 to 7.
% 172.72/172.90
% 172.72/172.90 Resetting weight limit to 7 after 3590 givens.
% 172.72/172.90
% 172.80/173.01
% 172.80/173.01
% 172.80/173.01 Changing weight limit from 7 to 8.
% 172.80/173.01
% 172.80/173.01 Resetting weight limit to 8 after 3595 givens.
% 172.80/173.01
% 172.92/173.12
% 172.92/173.12
% 172.92/173.12 Changing weight limit from 8 to 7.
% 172.92/173.12
% 172.92/173.12 Resetting weight limit to 7 after 3600 givens.
% 172.92/173.12
% 173.03/173.23
% 173.03/173.23
% 173.03/173.23 Changing weight limit from 7 to 8.
% 173.03/173.23
% 173.03/173.23 Resetting weight limit to 8 after 3605 givens.
% 173.03/173.23
% 173.10/173.34
% 173.10/173.34
% 173.10/173.34 Changing weight limit from 8 to 7.
% 173.10/173.34
% 173.10/173.34 Resetting weight limit to 7 after 3610 givens.
% 173.10/173.34
% 173.24/173.43
% 173.24/173.43
% 173.24/173.43 Changing weight limit from 7 to 8.
% 173.24/173.43
% 173.24/173.43 Resetting weight limit to 8 after 3615 givens.
% 173.24/173.43
% 173.33/173.54
% 173.33/173.54
% 173.33/173.54 Changing weight limit from 8 to 7.
% 173.33/173.54
% 173.33/173.54 Resetting weight limit to 7 after 3620 givens.
% 173.33/173.54
% 173.40/173.65
% 173.40/173.65
% 173.40/173.65 Changing weight limit from 7 to 8.
% 173.40/173.65
% 173.40/173.65 Resetting weight limit to 8 after 3625 givens.
% 173.40/173.65
% 173.54/173.76
% 173.54/173.76
% 173.54/173.76 Changing weight limit from 8 to 7.
% 173.54/173.76
% 173.54/173.76 Resetting weight limit to 7 after 3630 givens.
% 173.54/173.76
% 173.62/173.87
% 173.62/173.87
% 173.62/173.87 Changing weight limit from 7 to 8.
% 173.62/173.87
% 173.62/173.87 Resetting weight limit to 8 after 3635 givens.
% 173.62/173.87
% 173.79/173.99
% 173.79/173.99
% 173.79/173.99 Changing weight limit from 8 to 7.
% 173.79/173.99
% 173.79/173.99 Resetting weight limit to 7 after 3640 givens.
% 173.79/173.99
% 173.84/174.10
% 173.84/174.10
% 173.84/174.10 Changing weight limit from 7 to 8.
% 173.84/174.10
% 173.84/174.10 Resetting weight limit to 8 after 3645 givens.
% 173.84/174.10
% 174.02/174.21
% 174.02/174.21
% 174.02/174.21 Changing weight limit from 8 to 7.
% 174.02/174.21
% 174.02/174.21 Resetting weight limit to 7 after 3650 givens.
% 174.02/174.21
% 174.14/174.32
% 174.14/174.32
% 174.14/174.32 Changing weight limit from 7 to 8.
% 174.14/174.32
% 174.14/174.32 Resetting weight limit to 8 after 3655 givens.
% 174.14/174.32
% 175.52/175.72
% 175.52/175.72
% 175.52/175.72 Changing weight limit from 8 to 7.
% 175.52/175.72
% 175.52/175.72 Resetting weight limit to 7 after 3775 givens.
% 175.52/175.72
% 175.62/175.83
% 175.62/175.83
% 175.62/175.83 Changing weight limit from 7 to 8.
% 175.62/175.83
% 175.62/175.83 Resetting weight limit to 8 after 3780 givens.
% 175.62/175.83
% 175.72/175.95
% 175.72/175.95
% 175.72/175.95 Changing weight limit from 8 to 7.
% 175.72/175.95
% 175.72/175.95 Resetting weight limit to 7 after 3785 givens.
% 175.72/175.95
% 175.84/176.06
% 175.84/176.06
% 175.84/176.06 Changing weight limit from 7 to 8.
% 175.84/176.06
% 175.84/176.06 Resetting weight limit to 8 after 3790 givens.
% 175.84/176.06
% 175.92/176.18
% 175.92/176.18
% 175.92/176.18 Changing weight limit from 8 to 7.
% 175.92/176.18
% 175.92/176.18 Resetting weight limit to 7 after 3795 givens.
% 175.92/176.18
% 176.12/176.30
% 176.12/176.30
% 176.12/176.30 Changing weight limit from 7 to 8.
% 176.12/176.30
% 176.12/176.30 Resetting weight limit to 8 after 3800 givens.
% 176.12/176.30
% 176.23/176.42
% 176.23/176.42
% 176.23/176.42 Changing weight limit from 8 to 7.
% 176.23/176.42
% 176.23/176.42 Resetting weight limit to 7 after 3805 givens.
% 176.23/176.42
% 176.31/176.53
% 176.31/176.53
% 176.31/176.53 Changing weight limit from 7 to 8.
% 176.31/176.53
% 176.31/176.53 Resetting weight limit to 8 after 3810 givens.
% 176.31/176.53
% 176.45/176.65
% 176.45/176.65
% 176.45/176.65 Changing weight limit from 8 to 7.
% 176.45/176.65
% 176.45/176.65 Resetting weight limit to 7 after 3815 givens.
% 176.45/176.65
% 176.54/176.77
% 176.54/176.77
% 176.54/176.77 Changing weight limit from 7 to 8.
% 176.54/176.77
% 176.54/176.77 Resetting weight limit to 8 after 3820 givens.
% 176.54/176.77
% 176.71/176.89
% 176.71/176.89
% 176.71/176.89 Changing weight limit from 8 to 7.
% 176.71/176.89
% 176.71/176.89 Resetting weight limit to 7 after 3825 givens.
% 176.71/176.89
% 176.75/177.00
% 176.75/177.00
% 176.75/177.00 Changing weight limit from 7 to 8.
% 176.75/177.00
% 176.75/177.00 Resetting weight limit to 8 after 3830 givens.
% 176.75/177.00
% 176.92/177.12
% 176.92/177.12
% 176.92/177.12 Changing weight limit from 8 to 7.
% 176.92/177.12
% 176.92/177.12 Resetting weight limit to 7 after 3835 givens.
% 176.92/177.12
% 177.05/177.24
% 177.05/177.24
% 177.05/177.24 Changing weight limit from 7 to 8.
% 177.05/177.24
% 177.05/177.24 Resetting weight limit to 8 after 3840 givens.
% 177.05/177.24
% 177.13/177.36
% 177.13/177.36
% 177.13/177.36 Changing weight limit from 8 to 7.
% 177.13/177.36
% 177.13/177.36 Resetting weight limit to 7 after 3845 givens.
% 177.13/177.36
% 177.29/177.48
% 177.29/177.48
% 177.29/177.48 Changing weight limit from 7 to 8.
% 177.29/177.48
% 177.29/177.48 Resetting weight limit to 8 after 3850 givens.
% 177.29/177.48
% 177.43/177.61
% 177.43/177.61
% 177.43/177.61 Changing weight limit from 8 to 7.
% 177.43/177.61
% 177.43/177.61 Resetting weight limit to 7 after 3855 givens.
% 177.43/177.61
% 177.51/177.72
% 177.51/177.72
% 177.51/177.72 Changing weight limit from 7 to 8.
% 177.51/177.72
% 177.51/177.72 Resetting weight limit to 8 after 3860 givens.
% 177.51/177.72
% 177.65/177.85
% 177.65/177.85
% 177.65/177.85 Changing weight limit from 8 to 7.
% 177.65/177.85
% 177.65/177.85 Resetting weight limit to 7 after 3865 givens.
% 177.65/177.85
% 177.74/177.97
% 177.74/177.97
% 177.74/177.97 Changing weight limit from 7 to 8.
% 177.74/177.97
% 177.74/177.97 Resetting weight limit to 8 after 3870 givens.
% 177.74/177.97
% 177.91/178.09
% 177.91/178.09
% 177.91/178.09 Changing weight limit from 8 to 7.
% 177.91/178.09
% 177.91/178.09 Resetting weight limit to 7 after 3875 givens.
% 177.91/178.09
% 178.04/178.21
% 178.04/178.21
% 178.04/178.21 Changing weight limit from 7 to 8.
% 178.04/178.21
% 178.04/178.21 Resetting weight limit to 8 after 3880 givens.
% 178.04/178.21
% 178.13/178.34
% 178.13/178.34
% 178.13/178.34 Changing weight limit from 8 to 7.
% 178.13/178.34
% 178.13/178.34 Resetting weight limit to 7 after 3885 givens.
% 178.13/178.34
% 178.23/178.46
% 178.23/178.46
% 178.23/178.46 Changing weight limit from 7 to 8.
% 178.23/178.46
% 178.23/178.46 Resetting weight limit to 8 after 3890 givens.
% 178.23/178.46
% 178.33/178.59
% 178.33/178.59
% 178.33/178.59 Changing weight limit from 8 to 7.
% 178.33/178.59
% 178.33/178.59 Resetting weight limit to 7 after 3895 givens.
% 178.33/178.59
% 178.53/178.71
% 178.53/178.71
% 178.53/178.71 Changing weight limit from 7 to 8.
% 178.53/178.71
% 178.53/178.71 Resetting weight limit to 8 after 3900 givens.
% 178.53/178.71
% 178.63/178.83
% 178.63/178.83
% 178.63/178.83 Changing weight limit from 8 to 7.
% 178.63/178.83
% 178.63/178.83 Resetting weight limit to 7 after 3905 givens.
% 178.63/178.83
% 178.83/179.03
% 178.83/179.03
% 178.83/179.03 Changing weight limit from 7 to 8.
% 178.83/179.03
% 178.83/179.03 Resetting weight limit to 8 after 3915 givens.
% 178.83/179.03
% 178.92/179.16
% 178.92/179.16
% 178.92/179.16 Changing weight limit from 8 to 7.
% 178.92/179.16
% 178.92/179.16 Resetting weight limit to 7 after 3920 givens.
% 178.92/179.16
% 179.02/179.28
% 179.02/179.28
% 179.02/179.28 Changing weight limit from 7 to 8.
% 179.02/179.28
% 179.02/179.28 Resetting weight limit to 8 after 3925 givens.
% 179.02/179.28
% 179.22/179.41
% 179.22/179.41
% 179.22/179.41 Changing weight limit from 8 to 7.
% 179.22/179.41
% 179.22/179.41 Resetting weight limit to 7 after 3930 givens.
% 179.22/179.41
% 179.34/179.54
% 179.34/179.54
% 179.34/179.54 Changing weight limit from 7 to 8.
% 179.34/179.54
% 179.34/179.54 Resetting weight limit to 8 after 3935 givens.
% 179.34/179.54
% 179.43/179.67
% 179.43/179.67
% 179.43/179.67 Changing weight limit from 8 to 7.
% 179.43/179.67
% 179.43/179.67 Resetting weight limit to 7 after 3940 givens.
% 179.43/179.67
% 179.61/179.80
% 179.61/179.80
% 179.61/179.80 Changing weight limit from 7 to 8.
% 179.61/179.80
% 179.61/179.80 Resetting weight limit to 8 after 3945 givens.
% 179.61/179.80
% 179.73/179.93
% 179.73/179.93
% 179.73/179.93 Changing weight limit from 8 to 7.
% 179.73/179.93
% 179.73/179.93 Resetting weight limit to 7 after 3950 givens.
% 179.73/179.93
% 179.96/180.16
% 179.96/180.16
% 179.96/180.16 Changing weight limit from 7 to 8.
% 179.96/180.16
% 179.96/180.16 Resetting weight limit to 8 after 3960 givens.
% 179.96/180.16
% 180.10/180.30
% 180.10/180.30
% 180.10/180.30 Changing weight limit from 8 to 7.
% 180.10/180.30
% 180.10/180.30 Resetting weight limit to 7 after 3965 givens.
% 180.10/180.30
% 180.26/180.43
% 180.26/180.43
% 180.26/180.43 Changing weight limit from 7 to 8.
% 180.26/180.43
% 180.26/180.43 Resetting weight limit to 8 after 3970 givens.
% 180.26/180.43
% 180.35/180.57
% 180.35/180.57
% 180.35/180.57 Changing weight limit from 8 to 7.
% 180.35/180.57
% 180.35/180.57 Resetting weight limit to 7 after 3975 givens.
% 180.35/180.57
% 180.52/180.70
% 180.52/180.70
% 180.52/180.70 Changing weight limit from 7 to 8.
% 180.52/180.70
% 180.52/180.70 Resetting weight limit to 8 after 3980 givens.
% 180.52/180.70
% 180.63/180.83
% 180.63/180.83
% 180.63/180.83 Changing weight limit from 8 to 7.
% 180.63/180.83
% 180.63/180.83 Resetting weight limit to 7 after 3985 givens.
% 180.63/180.83
% 180.69/180.96
% 180.69/180.96
% 180.69/180.96 Changing weight limit from 7 to 8.
% 180.69/180.96
% 180.69/180.96 Resetting weight limit to 8 after 3990 givens.
% 180.69/180.96
% 180.86/181.09
% 180.86/181.09
% 180.86/181.09 Changing weight limit from 8 to 7.
% 180.86/181.09
% 180.86/181.09 Resetting weight limit to 7 after 3995 givens.
% 180.86/181.09
% 181.00/181.22
% 181.00/181.22
% 181.00/181.22 Changing weight limit from 7 to 8.
% 181.00/181.22
% 181.00/181.22 Resetting weight limit to 8 after 4000 givens.
% 181.00/181.22
% 181.15/181.35
% 181.15/181.35
% 181.15/181.35 Changing weight limit from 8 to 7.
% 181.15/181.35
% 181.15/181.35 Resetting weight limit to 7 after 4005 givens.
% 181.15/181.35
% 181.24/181.48
% 181.24/181.48
% 181.24/181.48 Changing weight limit from 7 to 8.
% 181.24/181.48
% 181.24/181.48 Resetting weight limit to 8 after 4010 givens.
% 181.24/181.48
% 181.43/181.61
% 181.43/181.61
% 181.43/181.61 Changing weight limit from 8 to 7.
% 181.43/181.61
% 181.43/181.61 Resetting weight limit to 7 after 4015 givens.
% 181.43/181.61
% 181.55/181.74
% 181.55/181.74
% 181.55/181.74 Changing weight limit from 7 to 8.
% 181.55/181.74
% 181.55/181.74 Resetting weight limit to 8 after 4020 givens.
% 181.55/181.74
% 181.63/181.88
% 181.63/181.88
% 181.63/181.88 Changing weight limit from 8 to 7.
% 181.63/181.88
% 181.63/181.88 Resetting weight limit to 7 after 4025 givens.
% 181.63/181.88
% 181.75/182.01
% 181.75/182.01
% 181.75/182.01 Changing weight limit from 7 to 8.
% 181.75/182.01
% 181.75/182.01 Resetting weight limit to 8 after 4030 givens.
% 181.75/182.01
% 181.92/182.14
% 181.92/182.14
% 181.92/182.14 Changing weight limit from 8 to 7.
% 181.92/182.14
% 181.92/182.14 Resetting weight limit to 7 after 4035 givens.
% 181.92/182.14
% 182.04/182.27
% 182.04/182.27
% 182.04/182.27 Changing weight limit from 7 to 8.
% 182.04/182.27
% 182.04/182.27 Resetting weight limit to 8 after 4040 givens.
% 182.04/182.27
% 182.23/182.40
% 182.23/182.40
% 182.23/182.40 Changing weight limit from 8 to 7.
% 182.23/182.40
% 182.23/182.40 Resetting weight limit to 7 after 4045 givens.
% 182.23/182.40
% 182.43/182.62
% 182.43/182.62
% 182.43/182.62 Changing weight limit from 7 to 8.
% 182.43/182.62
% 182.43/182.62 Resetting weight limit to 8 after 4055 givens.
% 182.43/182.62
% 182.53/182.75
% 182.53/182.75
% 182.53/182.75 Changing weight limit from 8 to 7.
% 182.53/182.75
% 182.53/182.75 Resetting weight limit to 7 after 4060 givens.
% 182.53/182.75
% 182.62/182.88
% 182.62/182.88
% 182.62/182.88 Changing weight limit from 7 to 8.
% 182.62/182.88
% 182.62/182.88 Resetting weight limit to 8 after 4065 givens.
% 182.62/182.88
% 182.84/183.02
% 182.84/183.02
% 182.84/183.02 Changing weight limit from 8 to 7.
% 182.84/183.02
% 182.84/183.02 Resetting weight limit to 7 after 4070 givens.
% 182.84/183.02
% 182.91/183.15
% 182.91/183.15
% 182.91/183.15 Changing weight limit from 7 to 8.
% 182.91/183.15
% 182.91/183.15 Resetting weight limit to 8 after 4075 givens.
% 182.91/183.15
% 183.05/183.29
% 183.05/183.29
% 183.05/183.29 Changing weight limit from 8 to 7.
% 183.05/183.29
% 183.05/183.29 Resetting weight limit to 7 after 4080 givens.
% 183.05/183.29
% 183.22/183.42
% 183.22/183.42
% 183.22/183.42 Changing weight limit from 7 to 8.
% 183.22/183.42
% 183.22/183.42 Resetting weight limit to 8 after 4085 givens.
% 183.22/183.42
% 183.35/183.56
% 183.35/183.56
% 183.35/183.56 Changing weight limit from 8 to 7.
% 183.35/183.56
% 183.35/183.56 Resetting weight limit to 7 after 4090 givens.
% 183.35/183.56
% 183.61/183.80
% 183.61/183.80
% 183.61/183.80 Changing weight limit from 7 to 8.
% 183.61/183.80
% 183.61/183.80 Resetting weight limit to 8 after 4100 givens.
% 183.61/183.80
% 183.74/183.94
% 183.74/183.94
% 183.74/183.94 Changing weight limit from 8 to 7.
% 183.74/183.94
% 183.74/183.94 Resetting weight limit to 7 after 4105 givens.
% 183.74/183.94
% 183.90/184.08
% 183.90/184.08
% 183.90/184.08 Changing weight limit from 7 to 8.
% 183.90/184.08
% 183.90/184.08 Resetting weight limit to 8 after 4110 givens.
% 183.90/184.08
% 184.02/184.21
% 184.02/184.21
% 184.02/184.21 Changing weight limit from 8 to 7.
% 184.02/184.21
% 184.02/184.21 Resetting weight limit to 7 after 4115 givens.
% 184.02/184.21
% 184.09/184.35
% 184.09/184.35
% 184.09/184.35 Changing weight limit from 7 to 8.
% 184.09/184.35
% 184.09/184.35 Resetting weight limit to 8 after 4120 givens.
% 184.09/184.35
% 184.25/184.49
% 184.25/184.49
% 184.25/184.49 Changing weight limit from 8 to 7.
% 184.25/184.49
% 184.25/184.49 Resetting weight limit to 7 after 4125 givens.
% 184.25/184.49
% 184.41/184.62
% 184.41/184.62
% 184.41/184.62 Changing weight limit from 7 to 8.
% 184.41/184.62
% 184.41/184.62 Resetting weight limit to 8 after 4130 givens.
% 184.41/184.62
% 184.56/184.76
% 184.56/184.76
% 184.56/184.76 Changing weight limit from 8 to 7.
% 184.56/184.76
% 184.56/184.76 Resetting weight limit to 7 after 4135 givens.
% 184.56/184.76
% 184.72/184.90
% 184.72/184.90
% 184.72/184.90 Changing weight limit from 7 to 8.
% 184.72/184.90
% 184.72/184.90 Resetting weight limit to 8 after 4140 givens.
% 184.72/184.90
% 184.85/185.04
% 184.85/185.04
% 184.85/185.04 Changing weight limit from 8 to 7.
% 184.85/185.04
% 184.85/185.04 Resetting weight limit to 7 after 4145 givens.
% 184.85/185.04
% 184.94/185.18
% 184.94/185.18
% 184.94/185.18 Changing weight limit from 7 to 8.
% 184.94/185.18
% 184.94/185.18 Resetting weight limit to 8 after 4150 givens.
% 184.94/185.18
% 185.14/185.32
% 185.14/185.32
% 185.14/185.32 Changing weight limit from 8 to 7.
% 185.14/185.32
% 185.14/185.32 Resetting weight limit to 7 after 4155 givens.
% 185.14/185.32
% 185.23/185.46
% 185.23/185.46
% 185.23/185.46 Changing weight limit from 7 to 8.
% 185.23/185.46
% 185.23/185.46 Resetting weight limit to 8 after 4160 givens.
% 185.23/185.46
% 185.41/185.60
% 185.41/185.60
% 185.41/185.60 Changing weight limit from 8 to 7.
% 185.41/185.60
% 185.41/185.60 Resetting weight limit to 7 after 4165 givens.
% 185.41/185.60
% 185.55/185.74
% 185.55/185.74
% 185.55/185.74 Changing weight limit from 7 to 8.
% 185.55/185.74
% 185.55/185.74 Resetting weight limit to 8 after 4170 givens.
% 185.55/185.74
% 185.62/185.88
% 185.62/185.88
% 185.62/185.88 Changing weight limit from 8 to 7.
% 185.62/185.88
% 185.62/185.88 Resetting weight limit to 7 after 4175 givens.
% 185.62/185.88
% 185.83/186.02
% 185.83/186.02
% 185.83/186.02 Changing weight limit from 7 to 8.
% 185.83/186.02
% 185.83/186.02 Resetting weight limit to 8 after 4180 givens.
% 185.83/186.02
% 185.93/186.16
% 185.93/186.16
% 185.93/186.16 Changing weight limit from 8 to 7.
% 185.93/186.16
% 185.93/186.16 Resetting weight limit to 7 after 4185 givens.
% 185.93/186.16
% 186.11/186.30
% 186.11/186.30
% 186.11/186.30 Changing weight limit from 7 to 8.
% 186.11/186.30
% 186.11/186.30 Resetting weight limit to 8 after 4190 givens.
% 186.11/186.30
% 186.24/186.45
% 186.24/186.45
% 186.24/186.45 Changing weight limit from 8 to 7.
% 186.24/186.45
% 186.24/186.45 Resetting weight limit to 7 after 4195 givens.
% 186.24/186.45
% 186.40/186.59
% 186.40/186.59
% 186.40/186.59 Changing weight limit from 7 to 8.
% 186.40/186.59
% 186.40/186.59 Resetting weight limit to 8 after 4200 givens.
% 186.40/186.59
% 186.54/186.73
% 186.54/186.73
% 186.54/186.73 Changing weight limit from 8 to 7.
% 186.54/186.73
% 186.54/186.73 Resetting weight limit to 7 after 4205 givens.
% 186.54/186.73
% 186.61/186.87
% 186.61/186.87
% 186.61/186.87 Changing weight limit from 7 to 8.
% 186.61/186.87
% 186.61/186.87 Resetting weight limit to 8 after 4210 givens.
% 186.61/186.87
% 186.84/187.02
% 186.84/187.02
% 186.84/187.02 Changing weight limit from 8 to 7.
% 186.84/187.02
% 186.84/187.02 Resetting weight limit to 7 after 4215 givens.
% 186.84/187.02
% 186.91/187.16
% 186.91/187.16
% 186.91/187.16 Changing weight limit from 7 to 8.
% 186.91/187.16
% 186.91/187.16 Resetting weight limit to 8 after 4220 givens.
% 186.91/187.16
% 187.05/187.31
% 187.05/187.31
% 187.05/187.31 Changing weight limit from 8 to 7.
% 187.05/187.31
% 187.05/187.31 Resetting weight limit to 7 after 4225 givens.
% 187.05/187.31
% 187.35/187.53
% 187.35/187.53
% 187.35/187.53 Changing weight limit from 7 to 8.
% 187.35/187.53
% 187.35/187.53 Resetting weight limit to 8 after 4235 givens.
% 187.35/187.53
% 187.49/187.68
% 187.49/187.68
% 187.49/187.68 Changing weight limit from 8 to 7.
% 187.49/187.68
% 187.49/187.68 Resetting weight limit to 7 after 4240 givens.
% 187.49/187.68
% 187.61/187.82
% 187.61/187.82
% 187.61/187.82 Changing weight limit from 7 to 8.
% 187.61/187.82
% 187.61/187.82 Resetting weight limit to 8 after 4245 givens.
% 187.61/187.82
% 187.72/187.97
% 187.72/187.97
% 187.72/187.97 Changing weight limit from 8 to 7.
% 187.72/187.97
% 187.72/187.97 Resetting weight limit to 7 after 4250 givens.
% 187.72/187.97
% 187.93/188.11
% 187.93/188.11
% 187.93/188.11 Changing weight limit from 7 to 8.
% 187.93/188.11
% 187.93/188.11 Resetting weight limit to 8 after 4255 givens.
% 187.93/188.11
% 188.04/188.26
% 188.04/188.26
% 188.04/188.26 Changing weight limit from 8 to 7.
% 188.04/188.26
% 188.04/188.26 Resetting weight limit to 7 after 4260 givens.
% 188.04/188.26
% 188.20/188.40
% 188.20/188.40
% 188.20/188.40 Changing weight limit from 7 to 8.
% 188.20/188.40
% 188.20/188.40 Resetting weight limit to 8 after 4265 givens.
% 188.20/188.40
% 188.34/188.55
% 188.34/188.55
% 188.34/188.55 Changing weight limit from 8 to 7.
% 188.34/188.55
% 188.34/188.55 Resetting weight limit to 7 after 4270 givens.
% 188.34/188.55
% 188.51/188.70
% 188.51/188.70
% 188.51/188.70 Changing weight limit from 7 to 8.
% 188.51/188.70
% 188.51/188.70 Resetting weight limit to 8 after 4275 givens.
% 188.51/188.70
% 188.63/188.84
% 188.63/188.84
% 188.63/188.84 Changing weight limit from 8 to 7.
% 188.63/188.84
% 188.63/188.84 Resetting weight limit to 7 after 4280 givens.
% 188.63/188.84
% 188.82/188.99
% 188.82/188.99
% 188.82/188.99 Changing weight limit from 7 to 8.
% 188.82/188.99
% 188.82/188.99 Resetting weight limit to 8 after 4285 givens.
% 188.82/188.99
% 188.94/189.14
% 188.94/189.14
% 188.94/189.14 Changing weight limit from 8 to 7.
% 188.94/189.14
% 188.94/189.14 Resetting weight limit to 7 after 4290 givens.
% 188.94/189.14
% 189.02/189.28
% 189.02/189.28
% 189.02/189.28 Changing weight limit from 7 to 8.
% 189.02/189.28
% 189.02/189.28 Resetting weight limit to 8 after 4295 givens.
% 189.02/189.28
% 189.23/189.44
% 189.23/189.44
% 189.23/189.44 Changing weight limit from 8 to 7.
% 189.23/189.44
% 189.23/189.44 Resetting weight limit to 7 after 4300 givens.
% 189.23/189.44
% 189.32/189.58
% 189.32/189.58
% 189.32/189.58 Changing weight limit from 7 to 8.
% 189.32/189.58
% 189.32/189.58 Resetting weight limit to 8 after 4305 givens.
% 189.32/189.58
% 189.55/189.73
% 189.55/189.73
% 189.55/189.73 Changing weight limit from 8 to 7.
% 189.55/189.73
% 189.55/189.73 Resetting weight limit to 7 after 4310 givens.
% 189.55/189.73
% 189.63/189.88
% 189.63/189.88
% 189.63/189.88 Changing weight limit from 7 to 8.
% 189.63/189.88
% 189.63/189.88 Resetting weight limit to 8 after 4315 givens.
% 189.63/189.88
% 189.84/190.03
% 189.84/190.03
% 189.84/190.03 Changing weight limit from 8 to 7.
% 189.84/190.03
% 189.84/190.03 Resetting weight limit to 7 after 4320 givens.
% 189.84/190.03
% 189.93/190.18
% 189.93/190.18
% 189.93/190.18 Changing weight limit from 7 to 8.
% 189.93/190.18
% 189.93/190.18 Resetting weight limit to 8 after 4325 givens.
% 189.93/190.18
% 190.15/190.33
% 190.15/190.33
% 190.15/190.33 Changing weight limit from 8 to 7.
% 190.15/190.33
% 190.15/190.33 Resetting weight limit to 7 after 4330 givens.
% 190.15/190.33
% 190.31/190.48
% 190.31/190.48
% 190.31/190.48 Changing weight limit from 7 to 8.
% 190.31/190.48
% 190.31/190.48 Resetting weight limit to 8 after 4335 givens.
% 190.31/190.48
% 190.45/190.63
% 190.45/190.63
% 190.45/190.63 Changing weight limit from 8 to 7.
% 190.45/190.63
% 190.45/190.63 Resetting weight limit to 7 after 4340 givens.
% 190.45/190.63
% 190.60/190.78
% 190.60/190.78
% 190.60/190.78 Changing weight limit from 7 to 8.
% 190.60/190.78
% 190.60/190.78 Resetting weight limit to 8 after 4345 givens.
% 190.60/190.78
% 190.75/190.94
% 190.75/190.94
% 190.75/190.94 Changing weight limit from 8 to 7.
% 190.75/190.94
% 190.75/190.94 Resetting weight limit to 7 after 4350 givens.
% 190.75/190.94
% 190.89/191.09
% 190.89/191.09
% 190.89/191.09 Changing weight limit from 7 to 8.
% 190.89/191.09
% 190.89/191.09 Resetting weight limit to 8 after 4355 givens.
% 190.89/191.09
% 191.05/191.24
% 191.05/191.24
% 191.05/191.24 Changing weight limit from 8 to 7.
% 191.05/191.24
% 191.05/191.24 Resetting weight limit to 7 after 4360 givens.
% 191.05/191.24
% 191.20/191.39
% 191.20/191.39
% 191.20/191.39 Changing weight limit from 7 to 8.
% 191.20/191.39
% 191.20/191.39 Resetting weight limit to 8 after 4365 givens.
% 191.20/191.39
% 191.35/191.55
% 191.35/191.55
% 191.35/191.55 Changing weight limit from 8 to 7.
% 191.35/191.55
% 191.35/191.55 Resetting weight limit to 7 after 4370 givens.
% 191.35/191.55
% 191.52/191.70
% 191.52/191.70
% 191.52/191.70 Changing weight limit from 7 to 8.
% 191.52/191.70
% 191.52/191.70 Resetting weight limit to 8 after 4375 givens.
% 191.52/191.70
% 191.66/191.85
% 191.66/191.85
% 191.66/191.85 Changing weight limit from 8 to 7.
% 191.66/191.85
% 191.66/191.85 Resetting weight limit to 7 after 4380 givens.
% 191.66/191.85
% 191.82/192.00
% 191.82/192.00
% 191.82/192.00 Changing weight limit from 7 to 8.
% 191.82/192.00
% 191.82/192.00 Resetting weight limit to 8 after 4385 givens.
% 191.82/192.00
% 191.94/192.16
% 191.94/192.16
% 191.94/192.16 Changing weight limit from 8 to 7.
% 191.94/192.16
% 191.94/192.16 Resetting weight limit to 7 after 4390 givens.
% 191.94/192.16
% 192.12/192.31
% 192.12/192.31
% 192.12/192.31 Changing weight limit from 7 to 8.
% 192.12/192.31
% 192.12/192.31 Resetting weight limit to 8 after 4395 givens.
% 192.12/192.31
% 192.24/192.47
% 192.24/192.47
% 192.24/192.47 Changing weight limit from 8 to 7.
% 192.24/192.47
% 192.24/192.47 Resetting weight limit to 7 after 4400 givens.
% 192.24/192.47
% 192.42/192.62
% 192.42/192.62
% 192.42/192.62 Changing weight limit from 7 to 8.
% 192.42/192.62
% 192.42/192.62 Resetting weight limit to 8 after 4405 givens.
% 192.42/192.62
% 192.52/192.78
% 192.52/192.78
% 192.52/192.78 Changing weight limit from 8 to 7.
% 192.52/192.78
% 192.52/192.78 Resetting weight limit to 7 after 4410 givens.
% 192.52/192.78
% 192.73/192.93
% 192.73/192.93
% 192.73/192.93 Changing weight limit from 7 to 8.
% 192.73/192.93
% 192.73/192.93 Resetting weight limit to 8 after 4415 givens.
% 192.73/192.93
% 192.91/193.09
% 192.91/193.09
% 192.91/193.09 Changing weight limit from 8 to 7.
% 192.91/193.09
% 192.91/193.09 Resetting weight limit to 7 after 4420 givens.
% 192.91/193.09
% 193.04/193.24
% 193.04/193.24
% 193.04/193.24 Changing weight limit from 7 to 8.
% 193.04/193.24
% 193.04/193.24 Resetting weight limit to 8 after 4425 givens.
% 193.04/193.24
% 193.23/193.40
% 193.23/193.40
% 193.23/193.40 Changing weight limit from 8 to 7.
% 193.23/193.40
% 193.23/193.40 Resetting weight limit to 7 after 4430 givens.
% 193.23/193.40
% 193.34/193.56
% 193.34/193.56
% 193.34/193.56 Changing weight limit from 7 to 8.
% 193.34/193.56
% 193.34/193.56 Resetting weight limit to 8 after 4435 givens.
% 193.34/193.56
% 193.54/193.72
% 193.54/193.72
% 193.54/193.72 Changing weight limit from 8 to 7.
% 193.54/193.72
% 193.54/193.72 Resetting weight limit to 7 after 4440 givens.
% 193.54/193.72
% 193.63/193.87
% 193.63/193.87
% 193.63/193.87 Changing weight limit from 7 to 8.
% 193.63/193.87
% 193.63/193.87 Resetting weight limit to 8 after 4445 givens.
% 193.63/193.87
% 193.86/194.03
% 193.86/194.03
% 193.86/194.03 Changing weight limit from 8 to 7.
% 193.86/194.03
% 193.86/194.03 Resetting weight limit to 7 after 4450 givens.
% 193.86/194.03
% 194.10/194.29
% 194.10/194.29
% 194.10/194.29 Changing weight limit from 7 to 8.
% 194.10/194.29
% 194.10/194.29 Resetting weight limit to 8 after 4460 givens.
% 194.10/194.29
% 194.22/194.45
% 194.22/194.45
% 194.22/194.45 Changing weight limit from 8 to 7.
% 194.22/194.45
% 194.22/194.45 Resetting weight limit to 7 after 4465 givens.
% 194.22/194.45
% 194.42/194.62
% 194.42/194.62
% 194.42/194.62 Changing weight limit from 7 to 8.
% 194.42/194.62
% 194.42/194.62 Resetting weight limit to 8 after 4470 givens.
% 194.42/194.62
% 194.61/194.79
% 194.61/194.79
% 194.61/194.79 Changing weight limit from 8 to 7.
% 194.61/194.79
% 194.61/194.79 Resetting weight limit to 7 after 4475 givens.
% 194.61/194.79
% 194.75/194.95
% 194.75/194.95
% 194.75/194.95 Changing weight limit from 7 to 8.
% 194.75/194.95
% 194.75/194.95 Resetting weight limit to 8 after 4480 givens.
% 194.75/194.95
% 194.91/195.13
% 194.91/195.13
% 194.91/195.13 Changing weight limit from 8 to 7.
% 194.91/195.13
% 194.91/195.13 Resetting weight limit to 7 after 4485 givens.
% 194.91/195.13
% 195.06/195.31
% 195.06/195.31
% 195.06/195.31 Changing weight limit from 7 to 8.
% 195.06/195.31
% 195.06/195.31 Resetting weight limit to 8 after 4490 givens.
% 195.06/195.31
% 195.34/195.52
% 195.34/195.52
% 195.34/195.52 Changing weight limit from 8 to 7.
% 195.34/195.52
% 195.34/195.52 Resetting weight limit to 7 after 4495 givens.
% 195.34/195.52
% 195.60/195.79
% 195.60/195.79
% 195.60/195.79 Changing weight limit from 7 to 8.
% 195.60/195.79
% 195.60/195.79 Resetting weight limit to 8 after 4500 givens.
% 195.60/195.79
% 195.83/196.01
% 195.83/196.01
% 195.83/196.01 Changing weight limit from 8 to 7.
% 195.83/196.01
% 195.83/196.01 Resetting weight limit to 7 after 4505 givens.
% 195.83/196.01
% 196.13/196.30
% 196.13/196.30
% 196.13/196.30 Changing weight limit from 7 to 8.
% 196.13/196.30
% 196.13/196.30 Resetting weight limit to 8 after 4515 givens.
% 196.13/196.30
% 196.21/196.47
% 196.21/196.47
% 196.21/196.47 Changing weight limit from 8 to 7.
% 196.21/196.47
% 196.21/196.47 Resetting weight limit to 7 after 4520 givens.
% 196.21/196.47
% 196.43/196.63
% 196.43/196.63
% 196.43/196.63 Changing weight limit from 7 to 8.
% 196.43/196.63
% 196.43/196.63 Resetting weight limit to 8 after 4525 givens.
% 196.43/196.63
% 196.60/196.80
% 196.60/196.80
% 196.60/196.80 Changing weight limit from 8 to 7.
% 196.60/196.80
% 196.60/196.80 Resetting weight limit to 7 after 4530 givens.
% 196.60/196.80
% 196.82/197.01
% 196.82/197.01
% 196.82/197.01 Changing weight limit from 7 to 8.
% 196.82/197.01
% 196.82/197.01 Resetting weight limit to 8 after 4545 givens.
% 196.82/197.01
% 196.82/197.02
% 196.82/197.02
% 196.82/197.02 Changing weight limit from 8 to 7.
% 196.82/197.02
% 196.82/197.02 Resetting weight limit to 7 after 4550 givens.
% 196.82/197.02
% 196.90/197.08
% 196.90/197.08
% 196.90/197.08 Changing weight limit from 7 to 8.
% 196.90/197.08
% 196.90/197.08 Resetting weight limit to 8 after 4555 givens.
% 196.90/197.08
% 196.95/197.21
% 196.95/197.21
% 196.95/197.21 Changing weight limit from 8 to 7.
% 196.95/197.21
% 196.95/197.21 Resetting weight limit to 7 after 4565 givens.
% 196.95/197.21
% 197.26/197.51
% 197.26/197.51
% 197.26/197.51 Changing weight limit from 7 to 8.
% 197.26/197.51
% 197.26/197.51 Resetting weight limit to 8 after 4600 givens.
% 197.26/197.51
% 197.34/197.55
% 197.34/197.55
% 197.34/197.55 Changing weight limit from 8 to 7.
% 197.34/197.55
% 197.34/197.55 Resetting weight limit to 7 after 4605 givens.
% 197.34/197.55
% 197.50/197.69
% 197.50/197.69
% 197.50/197.69 Changing weight limit from 7 to 8.
% 197.50/197.69
% 197.50/197.69 Resetting weight limit to 8 after 4620 givens.
% 197.50/197.69
% 197.55/197.73
% 197.55/197.73
% 197.55/197.73 Changing weight limit from 8 to 7.
% 197.55/197.73
% 197.55/197.73 Resetting weight limit to 7 after 4625 givens.
% 197.55/197.73
% 197.93/198.11
% 197.93/198.11
% 197.93/198.11 Changing weight limit from 7 to 8.
% 197.93/198.11
% 197.93/198.11 Resetting weight limit to 8 after 4690 givens.
% 197.93/198.11
% 197.93/198.16
% 197.93/198.16
% 197.93/198.16 Changing weight limit from 8 to 7.
% 197.93/198.16
% 197.93/198.16 Resetting weight limit to 7 after 4695 givens.
% 197.93/198.16
% 198.74/198.92
% 198.74/198.92
% 198.74/198.92 Changing weight limit from 7 to 8.
% 198.74/198.92
% 198.74/198.92 Resetting weight limit to 8 after 4750 givens.
% 198.74/198.92
% 199.31/199.53
% 199.31/199.53
% 199.31/199.53 Changing weight limit from 8 to 7.
% 199.31/199.53
% 199.31/199.53 Resetting weight limit to 7 after 4800 givens.
% 199.31/199.53
% 199.43/199.67
% 199.43/199.67
% 199.43/199.67 Changing weight limit from 7 to 8.
% 199.43/199.67
% 199.43/199.67 Resetting weight limit to 8 after 4805 givens.
% 199.43/199.67
% 200.44/200.68
% 200.44/200.68
% 200.44/200.68 Changing weight limit from 8 to 7.
% 200.44/200.68
% 200.44/200.68 Resetting weight limit to 7 after 4840 givens.
% 200.44/200.68
% 200.74/200.92
% 200.74/200.92
% 200.74/200.92 Changing weight limit from 7 to 8.
% 200.74/200.92
% 200.74/200.92 Resetting weight limit to 8 after 4850 givens.
% 200.74/200.92
% 200.81/201.03
% 200.81/201.03
% 200.81/201.03 Changing weight limit from 8 to 7.
% 200.81/201.03
% 200.81/201.03 Resetting weight limit to 7 after 4855 givens.
% 200.81/201.03
% 201.10/201.31
% 201.10/201.31
% 201.10/201.31 Changing weight limit from 7 to 8.
% 201.10/201.31
% 201.10/201.31 Resetting weight limit to 8 after 4865 givens.
% 201.10/201.31
% 203.91/204.10
% 203.91/204.10
% 203.91/204.10 Changing weight limit from 8 to 7.
% 203.91/204.10
% 203.91/204.10 Resetting weight limit to 7 after 4960 givens.
% 203.91/204.10
% 203.91/204.11
% 203.91/204.11
% 203.91/204.11 Changing weight limit from 7 to 8.
% 203.91/204.11
% 203.91/204.11 Resetting weight limit to 8 after 4965 givens.
% 203.91/204.11
% 204.00/204.18
% 204.00/204.18
% 204.00/204.18 Changing weight limit from 8 to 7.
% 204.00/204.18
% 204.00/204.18 Resetting weight limit to 7 after 4970 givens.
% 204.00/204.18
% 204.14/204.32
% 204.14/204.32
% 204.14/204.32 Changing weight limit from 7 to 8.
% 204.14/204.32
% 204.14/204.32 Resetting weight limit to 8 after 4975 givens.
% 204.14/204.32
% 212.43/212.67
% 212.43/212.67
% 212.43/212.67 Changing weight limit from 8 to 7.
% 212.43/212.67
% 212.43/212.67 Resetting weight limit to 7 after 5260 givens.
% 212.43/212.67
% 212.51/212.75
% 212.51/212.75
% 212.51/212.75 Changing weight limit from 7 to 8.
% 212.51/212.75
% 212.51/212.75 Resetting weight limit to 8 after 5265 givens.
% 212.51/212.75
% 213.13/213.36
% 213.13/213.36
% 213.13/213.36 Changing weight limit from 8 to 9.
% 213.13/213.36
% 213.13/213.36 Resetting weight limit to 9 after 5305 givens.
% 213.13/213.36
% 213.34/213.53
% 213.34/213.53
% 213.34/213.53 Changing weight limit from 9 to 8.
% 213.34/213.53
% 213.34/213.53 Resetting weight limit to 8 after 5310 givens.
% 213.34/213.53
% 213.74/213.99
% 213.74/213.99
% 213.74/213.99 Changing weight limit from 8 to 9.
% 213.74/213.99
% 213.74/213.99 Resetting weight limit to 9 after 5345 givens.
% 213.74/213.99
% 213.94/214.11
% 213.94/214.11
% 213.94/214.11 Changing weight limit from 9 to 8.
% 213.94/214.11
% 213.94/214.11 Resetting weight limit to 8 after 5350 givens.
% 213.94/214.11
% 224.60/224.83
% 224.60/224.83
% 224.60/224.83 Changing weight limit from 8 to 9.
% 224.60/224.83
% 224.60/224.83 Resetting weight limit to 9 after 5645 givens.
% 224.60/224.83
% 224.82/225.01
% 224.82/225.01
% 224.82/225.01 Changing weight limit from 9 to 8.
% 224.82/225.01
% 224.82/225.01 Resetting weight limit to 8 after 5650 givens.
% 224.82/225.01
% 226.94/227.12
% 226.94/227.12
% 226.94/227.12 Changing weight limit from 8 to 9.
% 226.94/227.12
% 226.94/227.12 Resetting weight limit to 9 after 5725 givens.
% 226.94/227.12
% 227.03/227.27
% 227.03/227.27
% 227.03/227.27 Changing weight limit from 9 to 8.
% 227.03/227.27
% 227.03/227.27 Resetting weight limit to 8 after 5730 givens.
% 227.03/227.27
% 229.33/229.58
% 229.33/229.58
% 229.33/229.58 Changing weight limit from 8 to 9.
% 229.33/229.58
% 229.33/229.58 Resetting weight limit to 9 after 5805 givens.
% 229.33/229.58
% 229.43/229.69
% 229.43/229.69
% 229.43/229.69 Changing weight limit from 9 to 8.
% 229.43/229.69
% 229.43/229.69 Resetting weight limit to 8 after 5810 givens.
% 229.43/229.69
% 236.31/236.58
% 236.31/236.58
% 236.31/236.58 Changing weight limit from 8 to 7.
% 236.31/236.58
% 236.31/236.58 Resetting weight limit to 7 after 6000 givens.
% 236.31/236.58
% 236.71/236.99
% 236.71/236.99
% 236.71/236.99 Changing weight limit from 7 to 8.
% 236.71/236.99
% 236.71/236.99 Resetting weight limit to 8 after 6045 givens.
% 236.71/236.99
% 236.82/237.05
% 236.82/237.05
% 236.82/237.05 Changing weight limit from 8 to 7.
% 236.82/237.05
% 236.82/237.05 Resetting weight limit to 7 after 6050 givens.
% 236.82/237.05
% 238.05/238.27
% 238.05/238.27
% 238.05/238.27 Changing weight limit from 7 to 8.
% 238.05/238.27
% 238.05/238.27 Resetting weight limit to 8 after 6150 givens.
% 238.05/238.27
% 238.13/238.35
% 238.13/238.35
% 238.13/238.35 Changing weight limit from 8 to 7.
% 238.13/238.35
% 238.13/238.35 Resetting weight limit to 7 after 6155 givens.
% 238.13/238.35
% 238.20/238.43
% 238.20/238.43
% 238.20/238.43 Changing weight limit from 7 to 8.
% 238.20/238.43
% 238.20/238.43 Resetting weight limit to 8 after 6160 givens.
% 238.20/238.43
% 238.31/238.50
% 238.31/238.50
% 238.31/238.50 Changing weight limit from 8 to 7.
% 238.31/238.50
% 238.31/238.50 Resetting weight limit to 7 after 6165 givens.
% 238.31/238.50
% 238.48/238.74
% 238.48/238.74
% 238.48/238.74 Changing weight limit from 7 to 8.
% 238.48/238.74
% 238.48/238.74 Resetting weight limit to 8 after 6185 givens.
% 238.48/238.74
% 242.34/242.59
% 242.34/242.59
% 242.34/242.59 Changing weight limit from 8 to 9.
% 242.34/242.59
% 242.34/242.59 Resetting weight limit to 9 after 6465 givens.
% 242.34/242.59
% 242.43/242.65
% 242.43/242.65
% 242.43/242.65 Changing weight limit from 9 to 8.
% 242.43/242.65
% 242.43/242.65 Resetting weight limit to 8 after 6470 givens.
% 242.43/242.65
% 275.21/275.44
% 275.21/275.44
% 275.21/275.44 Changing weight limit from 8 to 9.
% 275.21/275.44
% 275.21/275.44 Resetting weight limit to 9 after 8525 givens.
% 275.21/275.44
% 275.51/275.73
% 275.51/275.73
% 275.51/275.73 Changing weight limit from 9 to 8.
% 275.51/275.73
% 275.51/275.73 Resetting weight limit to 8 after 8530 givens.
% 275.51/275.73
% 275.98/276.20
% 275.98/276.20
% 275.98/276.20 Changing weight limit from 8 to 9.
% 275.98/276.20
% 275.98/276.20 Resetting weight limit to 9 after 8540 givens.
% 275.98/276.20
% 276.28/276.49
% 276.28/276.49
% 276.28/276.49 Changing weight limit from 9 to 8.
% 276.28/276.49
% 276.28/276.49 Resetting weight limit to 8 after 8545 givens.
% 276.28/276.49
% 276.58/276.78
% 276.58/276.78
% 276.58/276.78 Changing weight limit from 8 to 9.
% 276.58/276.78
% 276.58/276.78 Resetting weight limit to 9 after 8550 givens.
% 276.58/276.78
% 276.87/277.07
% 276.87/277.07
% 276.87/277.07 Changing weight limit from 9 to 8.
% 276.87/277.07
% 276.87/277.07 Resetting weight limit to 8 after 8555 givens.
% 276.87/277.07
% 277.09/277.36
% 277.09/277.36
% 277.09/277.36 Changing weight limit from 8 to 9.
% 277.09/277.36
% 277.09/277.36 Resetting weight limit to 9 after 8560 givens.
% 277.09/277.36
% 277.41/277.66
% 277.41/277.66
% 277.41/277.66 Changing weight limit from 9 to 8.
% 277.41/277.66
% 277.41/277.66 Resetting weight limit to 8 after 8565 givens.
% 277.41/277.66
% 277.72/277.95
% 277.72/277.95
% 277.72/277.95 Changing weight limit from 8 to 9.
% 277.72/277.95
% 277.72/277.95 Resetting weight limit to 9 after 8570 givens.
% 277.72/277.95
% 278.01/278.25
% 278.01/278.25
% 278.01/278.25 Changing weight limit from 9 to 8.
% 278.01/278.25
% 278.01/278.25 Resetting weight limit to 8 after 8575 givens.
% 278.01/278.25
% 278.31/278.54
% 278.31/278.54
% 278.31/278.54 Changing weight limit from 8 to 9.
% 278.31/278.54
% 278.31/278.54 Resetting weight limit to 9 after 8580 givens.
% 278.31/278.54
% 278.62/278.83
% 278.62/278.83
% 278.62/278.83 Changing weight limit from 9 to 8.
% 278.62/278.83
% 278.62/278.83 Resetting weight limit to 8 after 8585 givens.
% 278.62/278.83
% 278.93/279.13
% 278.93/279.13
% 278.93/279.13 Changing weight limit from 8 to 9.
% 278.93/279.13
% 278.93/279.13 Resetting weight limit to 9 after 8590 givens.
% 278.93/279.13
% 279.23/279.42
% 279.23/279.42
% 279.23/279.42 Changing weight limit from 9 to 8.
% 279.23/279.42
% 279.23/279.42 Resetting weight limit to 8 after 8595 givens.
% 279.23/279.42
% 279.51/279.72
% 279.51/279.72
% 279.51/279.72 Changing weight limit from 8 to 9.
% 279.51/279.72
% 279.51/279.72 Resetting weight limit to 9 after 8600 givens.
% 279.51/279.72
% 279.81/280.02
% 279.81/280.02
% 279.81/280.02 Changing weight limit from 9 to 8.
% 279.81/280.02
% 279.81/280.02 Resetting weight limit to 8 after 8605 givens.
% 279.81/280.02
% 280.09/280.31
% 280.09/280.31
% 280.09/280.31 Changing weight limit from 8 to 9.
% 280.09/280.31
% 280.09/280.31 Resetting weight limit to 9 after 8610 givens.
% 280.09/280.31
% 280.39/280.61
% 280.39/280.61
% 280.39/280.61 Changing weight limit from 9 to 8.
% 280.39/280.61
% 280.39/280.61 Resetting weight limit to 8 after 8615 givens.
% 280.39/280.61
% 280.70/280.90
% 280.70/280.90
% 280.70/280.90 Changing weight limit from 8 to 9.
% 280.70/280.90
% 280.70/280.90 Resetting weight limit to 9 after 8620 givens.
% 280.70/280.90
% 280.99/281.20
% 280.99/281.20
% 280.99/281.20 Changing weight limit from 9 to 8.
% 280.99/281.20
% 280.99/281.20 Resetting weight limit to 8 after 8625 givens.
% 280.99/281.20
% 281.22/281.50
% 281.22/281.50
% 281.22/281.50 Changing weight limit from 8 to 9.
% 281.22/281.50
% 281.22/281.50 Resetting weight limit to 9 after 8630 givens.
% 281.22/281.50
% 281.61/281.81
% 281.61/281.81
% 281.61/281.81 Changing weight limit from 9 to 8.
% 281.61/281.81
% 281.61/281.81 Resetting weight limit to 8 after 8635 givens.
% 281.61/281.81
% 281.90/282.10
% 281.90/282.10
% 281.90/282.10 Changing weight limit from 8 to 9.
% 281.90/282.10
% 281.90/282.10 Resetting weight limit to 9 after 8640 givens.
% 281.90/282.10
% 282.11/282.40
% 282.11/282.40
% 282.11/282.40 Changing weight limit from 9 to 8.
% 282.11/282.40
% 282.11/282.40 Resetting weight limit to 8 after 8645 givens.
% 282.11/282.40
% 282.42/282.70
% 282.42/282.70
% 282.42/282.70 Changing weight limit from 8 to 9.
% 282.42/282.70
% 282.42/282.70 Resetting weight limit to 9 after 8650 givens.
% 282.42/282.70
% 282.73/283.00
% 282.73/283.00
% 282.73/283.00 Changing weight limit from 9 to 8.
% 282.73/283.00
% 282.73/283.00 Resetting weight limit to 8 after 8655 givens.
% 282.73/283.00
% 283.04/283.30
% 283.04/283.30
% 283.04/283.30 Changing weight limit from 8 to 9.
% 283.04/283.30
% 283.04/283.30 Resetting weight limit to 9 after 8660 givens.
% 283.04/283.30
% 283.34/283.60
% 283.34/283.60
% 283.34/283.60 Changing weight limit from 9 to 8.
% 283.34/283.60
% 283.34/283.60 Resetting weight limit to 8 after 8665 givens.
% 283.34/283.60
% 283.64/283.90
% 283.64/283.90
% 283.64/283.90 Changing weight limit from 8 to 9.
% 283.64/283.90
% 283.64/283.90 Resetting weight limit to 9 after 8670 givens.
% 283.64/283.90
% 283.94/284.21
% 283.94/284.21
% 283.94/284.21 Changing weight limit from 9 to 8.
% 283.94/284.21
% 283.94/284.21 Resetting weight limit to 8 after 8675 givens.
% 283.94/284.21
% 284.24/284.51
% 284.24/284.51
% 284.24/284.51 Changing weight limit from 8 to 9.
% 284.24/284.51
% 284.24/284.51 Resetting weight limit to 9 after 8680 givens.
% 284.24/284.51
% 284.63/284.81
% 284.63/284.81
% 284.63/284.81 Changing weight limit from 9 to 8.
% 284.63/284.81
% 284.63/284.81 Resetting weight limit to 8 after 8685 givens.
% 284.63/284.81
% 284.83/285.11
% 284.83/285.11
% 284.83/285.11 Changing weight limit from 8 to 9.
% 284.83/285.11
% 284.83/285.11 Resetting weight limit to 9 after 8690 givens.
% 284.83/285.11
% 285.22/285.42
% 285.22/285.42
% 285.22/285.42 Changing weight limit from 9 to 8.
% 285.22/285.42
% 285.22/285.42 Resetting weight limit to 8 after 8695 givens.
% 285.22/285.42
% 285.53/285.72
% 285.53/285.72
% 285.53/285.72 Changing weight limit from 8 to 9.
% 285.53/285.72
% 285.53/285.72 Resetting weight limit to 9 after 8700 givens.
% 285.53/285.72
% 285.81/286.03
% 285.81/286.03
% 285.81/286.03 Changing weight limit from 9 to 8.
% 285.81/286.03
% 285.81/286.03 Resetting weight limit to 8 after 8705 givens.
% 285.81/286.03
% 286.11/286.33
% 286.11/286.33
% 286.11/286.33 Changing weight limit from 8 to 9.
% 286.11/286.33
% 286.11/286.33 Resetting weight limit to 9 after 8710 givens.
% 286.11/286.33
% 286.40/286.64
% 286.40/286.64
% 286.40/286.64 Changing weight limit from 9 to 8.
% 286.40/286.64
% 286.40/286.64 Resetting weight limit to 8 after 8715 givens.
% 286.40/286.64
% 286.70/286.94
% 286.70/286.94
% 286.70/286.94 Changing weight limit from 8 to 9.
% 286.70/286.94
% 286.70/286.94 Resetting weight limit to 9 after 8720 givens.
% 286.70/286.94
% 287.01/287.25
% 287.01/287.25
% 287.01/287.25 Changing weight limit from 9 to 8.
% 287.01/287.25
% 287.01/287.25 Resetting weight limit to 8 after 8725 givens.
% 287.01/287.25
% 287.31/287.55
% 287.31/287.55
% 287.31/287.55 Changing weight limit from 8 to 9.
% 287.31/287.55
% 287.31/287.55 Resetting weight limit to 9 after 8730 givens.
% 287.31/287.55
% 287.59/287.86
% 287.59/287.86
% 287.59/287.86 Changing weight limit from 9 to 8.
% 287.59/287.86
% 287.59/287.86 Resetting weight limit to 8 after 8735 givens.
% 287.59/287.86
% 287.90/288.16
% 287.90/288.16
% 287.90/288.16 Changing weight limit from 8 to 9.
% 287.90/288.16
% 287.90/288.16 Resetting weight limit to 9 after 8740 givens.
% 287.90/288.16
% 288.21/288.47
% 288.21/288.47
% 288.21/288.47 Changing weight limit from 9 to 8.
% 288.21/288.47
% 288.21/288.47 Resetting weight limit to 8 after 8745 givens.
% 288.21/288.47
% 288.52/288.77
% 288.52/288.77
% 288.52/288.77 Changing weight limit from 8 to 9.
% 288.52/288.77
% 288.52/288.77 Resetting weight limit to 9 after 8750 givens.
% 288.52/288.77
% 288.81/289.08
% 288.81/289.08
% 288.81/289.08 Changing weight limit from 9 to 8.
% 288.81/289.08
% 288.81/289.08 Resetting weight limit to 8 after 8755 givens.
% 288.81/289.08
% 289.13/289.39
% 289.13/289.39
% 289.13/289.39 Changing weight limit from 8 to 9.
% 289.13/289.39
% 289.13/289.39 Resetting weight limit to 9 after 8760 givens.
% 289.13/289.39
% 289.42/289.70
% 289.42/289.70
% 289.42/289.70 Changing weight limit from 9 to 8.
% 289.42/289.70
% 289.42/289.70 Resetting weight limit to 8 after 8765 givens.
% 289.42/289.70
% 289.74/290.00
% 289.74/290.00
% 289.74/290.00 Changing weight limit from 8 to 9.
% 289.74/290.00
% 289.74/290.00 Resetting weight limit to 9 after 8770 givens.
% 289.74/290.00
% 290.12/290.31
% 290.12/290.31
% 290.12/290.31 Changing weight limit from 9 to 8.
% 290.12/290.31
% 290.12/290.31 Resetting weight limit to 8 after 8775 givens.
% 290.12/290.31
% 290.34/290.62
% 290.34/290.62
% 290.34/290.62 Changing weight limit from 8 to 9.
% 290.34/290.62
% 290.34/290.62 Resetting weight limit to 9 after 8780 givens.
% 290.34/290.62
% 290.74/290.93
% 290.74/290.93
% 290.74/290.93 Changing weight limit from 9 to 8.
% 290.74/290.93
% 290.74/290.93 Resetting weight limit to 8 after 8785 givens.
% 290.74/290.93
% 291.02/291.24
% 291.02/291.24
% 291.02/291.24 Changing weight limit from 8 to 9.
% 291.02/291.24
% 291.02/291.24 Resetting weight limit to 9 after 8790 givens.
% 291.02/291.24
% 291.32/291.55
% 291.32/291.55
% 291.32/291.55 Changing weight limit from 9 to 8.
% 291.32/291.55
% 291.32/291.55 Resetting weight limit to 8 after 8795 givens.
% 291.32/291.55
% 291.63/291.86
% 291.63/291.86
% 291.63/291.86 Changing weight limit from 8 to 9.
% 291.63/291.86
% 291.63/291.86 Resetting weight limit to 9 after 8800 givens.
% 291.63/291.86
% 291.93/292.18
% 291.93/292.18
% 291.93/292.18 Changing weight limit from 9 to 8.
% 291.93/292.18
% 291.93/292.18 Resetting weight limit to 8 after 8805 givens.
% 291.93/292.18
% 292.22/292.49
% 292.22/292.49
% 292.22/292.49 Changing weight limit from 8 to 9.
% 292.22/292.49
% 292.22/292.49 Resetting weight limit to 9 after 8810 givens.
% 292.22/292.49
% 292.61/292.80
% 292.61/292.80
% 292.61/292.80 Changing weight limit from 9 to 8.
% 292.61/292.80
% 292.61/292.80 Resetting weight limit to 8 after 8815 givens.
% 292.61/292.80
% 292.90/293.11
% 292.90/293.11
% 292.90/293.11 Changing weight limit from 8 to 9.
% 292.90/293.11
% 292.90/293.11 Resetting weight limit to 9 after 8820 givens.
% 292.90/293.11
% 293.20/293.43
% 293.20/293.43
% 293.20/293.43 Changing weight limit from 9 to 8.
% 293.20/293.43
% 293.20/293.43 Resetting weight limit to 8 after 8825 givens.
% 293.20/293.43
% 293.50/293.74
% 293.50/293.74
% 293.50/293.74 Changing weight limit from 8 to 9.
% 293.50/293.74
% 293.50/293.74 Resetting weight limit to 9 after 8830 givens.
% 293.50/293.74
% 293.80/294.06
% 293.80/294.06
% 293.80/294.06 Changing weight limit from 9 to 8.
% 293.80/294.06
% 293.80/294.06 Resetting weight limit to 8 after 8835 givens.
% 293.80/294.06
% 294.08/294.37
% 294.08/294.37
% 294.08/294.37 Changing weight limit from 8 to 9.
% 294.08/294.37
% 294.08/294.37 Resetting weight limit to 9 after 8840 givens.
% 294.08/294.37
% 294.50/294.68
% 294.50/294.68
% 294.50/294.68 Changing weight limit from 9 to 8.
% 294.50/294.68
% 294.50/294.68 Resetting weight limit to 8 after 8845 givens.
% 294.50/294.68
% 294.80/294.99
% 294.80/294.99
% 294.80/294.99 Changing weight limit from 8 to 9.
% 294.80/294.99
% 294.80/294.99 Resetting weight limit to 9 after 8850 givens.
% 294.80/294.99
% 295.12/295.31
% 295.12/295.31
% 295.12/295.31 Changing weight limit from 9 to 8.
% 295.12/295.31
% 295.12/295.31 Resetting weight limit to 8 after 8855 givens.
% 295.12/295.31
% 295.42/295.62
% 295.42/295.62
% 295.42/295.62 Changing weight limit from 8 to 9.
% 295.42/295.62
% 295.42/295.62 Resetting weight limit to 9 after 8860 givens.
% 295.42/295.62
% 295.71/295.94
% 295.71/295.94
% 295.71/295.94 Changing weight limit from 9 to 8.
% 295.71/295.94
% 295.71/295.94 Resetting weight limit to 8 after 8865 givens.
% 295.71/295.94
% 296.01/296.25
% 296.01/296.25
% 296.01/296.25 Changing weight limit from 8 to 9.
% 296.01/296.25
% 296.01/296.25 Resetting weight limit to 9 after 8870 givens.
% 296.01/296.25
% 296.32/296.57
% 296.32/296.57
% 296.32/296.57 Changing weight limit from 9 to 8.
% 296.32/296.57
% 296.32/296.57 Resetting weight limit to 8 after 8875 givens.
% 296.32/296.57
% 296.62/296.88
% 296.62/296.88
% 296.62/296.88 Changing weight limit from 8 to 9.
% 296.62/296.88
% 296.62/296.88 Resetting weight limit to 9 after 8880 givens.
% 296.62/296.88
% 296.93/297.20
% 296.93/297.20
% 296.93/297.20 Changing weight limit from 9 to 8.
% 296.93/297.20
% 296.93/297.20 Resetting weight limit to 8 after 8885 givens.
% 296.93/297.20
% 297.32/297.52
% 297.32/297.52
% 297.32/297.52 Changing weight limit from 8 to 9.
% 297.32/297.52
% 297.32/297.52 Resetting weight limit to 9 after 8890 givens.
% 297.32/297.52
% 297.62/297.84
% 297.62/297.84
% 297.62/297.84 Changing weight limit from 9 to 8.
% 297.62/297.84
% 297.62/297.84 Resetting weight limit to 8 after 8895 givens.
% 297.62/297.84
% 297.91/298.16
% 297.91/298.16
% 297.91/298.16 Changing weight limit from 8 to 9.
% 297.91/298.16
% 297.91/298.16 Resetting weight limit to 9 after 8900 givens.
% 297.91/298.16
% 298.23/298.48
% 298.23/298.48
% 298.23/298.48 Changing weight limit from 9 to 8.
% 298.23/298.48
% 298.23/298.48 Resetting weight limit to 8 after 8905 givens.
% 298.23/298.48
% 298.52/298.79
% 298.52/298.79
% 298.52/298.79 Changing weight limit from 8 to 9.
% 298.52/298.79
% 298.52/298.79 Resetting weight limit to 9 after 8910 givens.
% 298.52/298.79
% 298.91/299.12
% 298.91/299.12
% 298.91/299.12 Changing weight limit from 9 to 8.
% 298.91/299.12
% 298.91/299.12 Resetting weight limit to 8 after 8915 givens.
% 298.91/299.12
% 299.23/299.44
% 299.23/299.44
% 299.23/299.44 Changing weight limit from 8 to 9.
% 299.23/299.44
% 299.23/299.44 Resetting weight limit to 9 after 8920 givens.
% 299.23/299.44
% 299.51/299.76
% 299.51/299.76
% 299.51/299.76 Changing weight limit from 9 to 8.
% 299.51/299.76
% 299.51/299.76 Resetting weight limit to 8 after 8925 givens.
% 299.51/299.76
% 299.81/300.08
% 299.81/300.08
% 299.81/300.08 Changing weight limit from 8 to 9.
% 299.81/300.08
% 299.81/300.08 Resetting weight limit to 9 after 8930 givens.
% 299.81/300.08
% 300.02/300.22 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------