TSTP Solution File: NLP184-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : NLP184-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n029.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 : Mon Jul 18 05:24:30 EDT 2022
% Result : Timeout 297.41s 297.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : NLP184-1 : TPTP v8.1.0. Released v2.4.0.
% 0.10/0.12 % Command : sos-script %s
% 0.12/0.33 % Computer : n029.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 30 23:34:38 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.35
% 0.12/0.35
% 0.12/0.35 WARNING, multiple arity: set/1, set/2.
% 0.12/0.35
% 0.12/0.35 ----- Otter 3.2, August 2001 -----
% 0.12/0.35 The process was started by sandbox2 on n029.cluster.edu,
% 0.12/0.35 Thu Jun 30 23:34:38 2022
% 0.12/0.35 The command was "./sos". The process ID is 18169.
% 0.12/0.35
% 0.12/0.35 set(prolog_style_variables).
% 0.12/0.35 set(auto).
% 0.12/0.35 dependent: set(auto1).
% 0.12/0.35 dependent: set(process_input).
% 0.12/0.35 dependent: clear(print_kept).
% 0.12/0.35 dependent: clear(print_new_demod).
% 0.12/0.35 dependent: clear(print_back_demod).
% 0.12/0.35 dependent: clear(print_back_sub).
% 0.12/0.35 dependent: set(control_memory).
% 0.12/0.35 dependent: assign(max_mem, 12000).
% 0.12/0.35 dependent: assign(pick_given_ratio, 4).
% 0.12/0.35 dependent: assign(stats_level, 1).
% 0.12/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.12/0.35 dependent: assign(sos_limit, 5000).
% 0.12/0.35 dependent: assign(max_weight, 60).
% 0.12/0.35 clear(print_given).
% 0.12/0.35
% 0.12/0.35 list(usable).
% 0.12/0.35
% 0.12/0.35 SCAN INPUT: prop=0, horn=0, equality=1, symmetry=0, max_lits=28.
% 0.12/0.35
% 0.12/0.35 This ia a non-Horn set with equality. The strategy will be
% 0.12/0.35 Knuth-Bendix, ordered hyper_res, ur_res, factoring, and
% 0.12/0.35 unit deletion, with positive clauses in sos and nonpositive
% 0.12/0.35 clauses in usable.
% 0.12/0.35
% 0.12/0.35 dependent: set(knuth_bendix).
% 0.12/0.35 dependent: set(para_from).
% 0.12/0.35 dependent: set(para_into).
% 0.12/0.35 dependent: clear(para_from_right).
% 0.12/0.35 dependent: clear(para_into_right).
% 0.12/0.35 dependent: set(para_from_vars).
% 0.12/0.35 dependent: set(eq_units_both_ways).
% 0.12/0.35 dependent: set(dynamic_demod_all).
% 0.12/0.35 dependent: set(dynamic_demod).
% 0.12/0.35 dependent: set(order_eq).
% 0.12/0.35 dependent: set(back_demod).
% 0.12/0.35 dependent: set(lrpo).
% 0.12/0.35 dependent: set(hyper_res).
% 0.12/0.35 dependent: set(unit_deletion).
% 0.12/0.35 dependent: set(factor).
% 0.12/0.35
% 0.12/0.35 ------------> process usable:
% 0.12/0.35 85 back subsumes 84.
% 0.12/0.35
% 0.12/0.35 ------------> process sos:
% 0.12/0.35 Following clause subsumed by 113 during input processing: 0 [copy,113,flip.1] {-} A=A.
% 0.12/0.35 113 back subsumes 86.
% 0.12/0.35 113 back subsumes 85.
% 0.12/0.35 113 back subsumes 83.
% 0.12/0.35
% 0.12/0.35 ======= end of input processing =======
% 0.18/0.53
% 0.18/0.53 Model 1 (0.00 seconds, 0 Inserts)
% 0.18/0.53
% 0.18/0.53 Stopped by limit on number of solutions
% 0.18/0.53
% 0.18/0.53
% 0.18/0.53 -------------- Softie stats --------------
% 0.18/0.53
% 0.18/0.53 UPDATE_STOP: 300
% 0.18/0.53 SFINDER_TIME_LIMIT: 2
% 0.18/0.53 SHORT_CLAUSE_CUTOFF: 4
% 0.18/0.53 number of clauses in intial UL: 82
% 0.18/0.53 number of clauses initially in problem: 109
% 0.18/0.53 percentage of clauses intially in UL: 75
% 0.18/0.53 percentage of distinct symbols occuring in initial UL: 93
% 0.18/0.53 percent of all initial clauses that are short: 99
% 0.18/0.53 absolute distinct symbol count: 86
% 0.18/0.53 distinct predicate count: 70
% 0.18/0.53 distinct function count: 10
% 0.18/0.53 distinct constant count: 6
% 0.18/0.53
% 0.18/0.53 ---------- no more Softie stats ----------
% 0.18/0.53
% 0.18/0.53
% 0.18/0.53
% 0.18/0.53 Model 2 (0.00 seconds, 0 Inserts)
% 0.18/0.53
% 0.18/0.53 Stopped by limit on number of solutions
% 0.18/0.53
% 0.18/0.53 =========== start of search ===========
% 13.52/13.70
% 13.52/13.70 Model 3 (0.00 seconds, 0 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on number of solutions
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 4 [ 1 10 87243 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Model 5 (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on number of solutions
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 6 [ 2 6 37392 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 7 [ 3 12 122303 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 8 [ 2 2 5580 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 9 [ 5 3 15017 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 10 [ 5 3 13344 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 11 [ 6 3 14324 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 12 [ 5 14 144755 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 13 [ 7 2 15724 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 14 [ 4 4 28506 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 15 [ 2 6 21523 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 16 [ 9 5 36718 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 17 [ 8 2 14758 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 18 [ 3 7 35588 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 19 [ 1 4 14049 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 20 [ 7 4 19549 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 21 [ 7 9 54298 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 22 [ 8 11 55777 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 23 [ 12 5 45088 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 24 [ 13 26 167246 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 25 [ 14 3 15073 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 26 [ 9 7 22251 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 27 [ 16 3 11924 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 28 [ 9 12 65534 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 29 [ 12 6 45065 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 30 [ 14 4 28420 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 31 [ 13 7 48655 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 32 [ 17 7 49571 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 33 [ 17 3 14005 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 34 [ 17 5 37320 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 35 [ 15 5 25222 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 36 [ 17 2 12436 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 37 [ 12 11 70233 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 38 [ 19 3 18080 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 39 [ 26 9 69888 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 40 [ 26 5 33068 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 41 [ 22 9 46573 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 42 [ 24 4 27378 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 43 [ 20 3 4128 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 44 [ 39 11 80767 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 45 [ 28 3 14665 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 46 [ 43 5 30495 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 47 [ 29 6 36067 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 13.52/13.70 Model 48 [ 34 5 35384 ] (0.00 seconds, 250000 Inserts)
% 13.52/13.70
% 13.52/13.70 Stopped by limit on insertions
% 13.52/13.70
% 42.74/42.93 Model 49 [ 38 4 19816 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 50 [ 33 2 13896 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 51 [ 36 8 48567 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 52 [ 67 5 30655 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 53 [ 45 7 41886 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 54 [ 45 7 44784 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 55 [ 37 13 128709 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 56 [ 50 4 20168 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 57 [ 56 5 28819 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 58 [ 30 5 37143 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 59 [ 44 3 15177 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 60 [ 40 3 17954 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 61 [ 43 4 22971 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 62 [ 50 5 17707 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 63 [ 72 4 18319 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 64 [ 65 5 35247 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 65 [ 99 5 26720 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 66 [ 82 6 37482 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 67 [ 85 5 23259 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 68 [ 80 4 19551 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 69 [ 58 5 29942 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 70 [ 79 3 1245 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 71 [ 98 8 38886 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 72 [ 129 5 32250 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 73 [ 73 6 28676 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 74 [ 101 6 31680 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 75 [ 58 6 31747 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 76 [ 76 4 19836 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 77 [ 97 6 39342 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 78 [ 74 4 11377 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 79 [ 64 4 21038 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 80 [ 54 7 42499 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 81 [ 87 3 13459 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 82 [ 101 4 15724 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 83 [ 110 6 33450 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 84 [ 84 6 25155 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 85 [ 91 6 33051 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 86 [ 102 6 28012 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 87 [ 78 6 25159 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 88 [ 49 4 13156 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 89 [ 97 9 47169 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 90 [ 100 3 15324 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 91 [ 108 9 49078 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 92 [ 75 10 59462 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 93 [ 123 6 28833 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 94 [ 93 4 17977 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 42.74/42.93
% 42.74/42.93 Model 95 [ 108 5 26667 ] (0.00 seconds, 250000 Inserts)
% 42.74/42.93
% 42.74/42.93 Stopped by limit on insertions
% 45.24/45.47
% 45.24/45.47
% 45.24/45.47 Changing weight limit from 60 to 48.
% 45.24/45.47
% 45.24/45.47 Model 96 [ 105 6 24922 ] (0.00 seconds, 250000 Inserts)
% 45.24/45.47
% 45.24/45.47 Stopped by limit on insertions
% 45.24/45.47
% 45.24/45.47 Model 97 [ 77 2 3189 ] (0.00 seconds, 250000 Inserts)
% 45.24/45.47
% 45.24/45.47 Resetting weight limit to 48 after 160 givens.
% 45.24/45.47
% 48.25/48.46
% 48.25/48.46
% 48.25/48.46 Changing weight limit from 48 to 37.
% 48.25/48.46
% 48.25/48.46 Stopped by limit on insertions
% 48.25/48.46
% 48.25/48.46 Model 98 [ 87 11 63026 ] (0.00 seconds, 250000 Inserts)
% 48.25/48.46
% 48.25/48.46 Stopped by limit on insertions
% 48.25/48.46
% 48.25/48.46 Model 99 [ 137 7 34947 ] (0.00 seconds, 250000 Inserts)
% 48.25/48.46
% 48.25/48.46 Resetting weight limit to 37 after 165 givens.
% 48.25/48.46
% 59.10/59.33
% 59.10/59.33
% 59.10/59.33 Changing weight limit from 37 to 38.
% 59.10/59.33
% 59.10/59.33 Stopped by limit on insertions
% 59.10/59.33
% 59.10/59.33 Model 100 [ 118 10 49221 ] (0.00 seconds, 250000 Inserts)
% 59.10/59.33
% 59.10/59.33 Stopped by limit on insertions
% 59.10/59.33
% 59.10/59.33 Model 101 [ 213 4 1184 ] (0.00 seconds, 250000 Inserts)
% 59.10/59.33
% 59.10/59.33 Stopped by limit on insertions
% 59.10/59.33
% 59.10/59.33 Model 102 [ 136 6 15430 ] (0.00 seconds, 250000 Inserts)
% 59.10/59.33
% 59.10/59.33 Stopped by limit on insertions
% 59.10/59.33
% 59.10/59.33 Model 103 [ 159 5 14083 ] (0.00 seconds, 250000 Inserts)
% 59.10/59.33
% 59.10/59.33 Resetting weight limit to 38 after 170 givens.
% 59.10/59.33
% 67.74/67.97
% 67.74/67.97
% 67.74/67.97 Changing weight limit from 38 to 39.
% 67.74/67.97
% 67.74/67.97 Stopped by limit on insertions
% 67.74/67.97
% 67.74/67.97 Model 104 [ 202 6 11971 ] (0.00 seconds, 250000 Inserts)
% 67.74/67.97
% 67.74/67.97 Stopped by limit on insertions
% 67.74/67.97
% 67.74/67.97 Model 105 [ 204 10 37433 ] (0.00 seconds, 250000 Inserts)
% 67.74/67.97
% 67.74/67.97 Stopped by limit on insertions
% 67.74/67.97
% 67.74/67.97 Model 106 [ 173 10 37756 ] (0.00 seconds, 250000 Inserts)
% 67.74/67.97
% 67.74/67.97 Stopped by limit on insertions
% 67.74/67.97
% 67.74/67.97 Model 107 [ 176 10 37778 ] (0.00 seconds, 250000 Inserts)
% 67.74/67.97
% 67.74/67.97 Resetting weight limit to 39 after 175 givens.
% 67.74/67.97
% 77.60/77.78
% 77.60/77.78
% 77.60/77.78 Changing weight limit from 39 to 40.
% 77.60/77.78
% 77.60/77.78 Stopped by limit on insertions
% 77.60/77.78
% 77.60/77.78 Model 108 [ 157 5 14136 ] (0.00 seconds, 250000 Inserts)
% 77.60/77.78
% 77.60/77.78 Stopped by limit on insertions
% 77.60/77.78
% 77.60/77.78 Model 109 [ 195 12 51781 ] (0.00 seconds, 250000 Inserts)
% 77.60/77.78
% 77.60/77.78 Stopped by limit on insertions
% 77.60/77.78
% 77.60/77.78 Model 110 [ 68 13 55623 ] (0.00 seconds, 250000 Inserts)
% 77.60/77.78
% 77.60/77.78 Stopped by limit on insertions
% 77.60/77.78
% 77.60/77.78 Model 111 [ 179 7 26666 ] (0.00 seconds, 250000 Inserts)
% 77.60/77.78
% 77.60/77.78 Resetting weight limit to 40 after 180 givens.
% 77.60/77.78
% 84.21/84.39
% 84.21/84.39
% 84.21/84.39 Changing weight limit from 40 to 41.
% 84.21/84.39
% 84.21/84.39 Stopped by limit on insertions
% 84.21/84.39
% 84.21/84.39 Model 112 [ 219 5 1207 ] (0.00 seconds, 250000 Inserts)
% 84.21/84.39
% 84.21/84.39 Stopped by limit on insertions
% 84.21/84.39
% 84.21/84.39 Model 113 [ 158 8 28904 ] (0.00 seconds, 250000 Inserts)
% 84.21/84.39
% 84.21/84.39 Stopped by limit on insertions
% 84.21/84.39
% 84.21/84.39 Model 114 [ 165 6 15436 ] (0.00 seconds, 250000 Inserts)
% 84.21/84.39
% 84.21/84.39 Stopped by limit on insertions
% 84.21/84.39
% 84.21/84.39 Model 115 [ 109 8 27008 ] (0.00 seconds, 250000 Inserts)
% 84.21/84.39
% 84.21/84.39 Resetting weight limit to 41 after 185 givens.
% 84.21/84.39
% 92.40/92.60
% 92.40/92.60
% 92.40/92.60 Changing weight limit from 41 to 35.
% 92.40/92.60
% 92.40/92.60 Stopped by limit on insertions
% 92.40/92.60
% 92.40/92.60 Model 116 [ 278 11 38732 ] (0.00 seconds, 250000 Inserts)
% 92.40/92.60
% 92.40/92.60 Stopped by limit on insertions
% 92.40/92.60
% 92.40/92.60 Model 117 [ 103 9 33608 ] (0.00 seconds, 250000 Inserts)
% 92.40/92.60
% 92.40/92.60 Resetting weight limit to 35 after 190 givens.
% 92.40/92.60
% 108.25/108.47
% 108.25/108.47
% 108.25/108.47 Changing weight limit from 35 to 32.
% 108.25/108.47
% 108.25/108.47 Stopped by limit on insertions
% 108.25/108.47
% 108.25/108.47 Model 118 [ 124 9 30605 ] (0.00 seconds, 250000 Inserts)
% 108.25/108.47
% 108.25/108.47 Stopped by limit on insertions
% 108.25/108.47
% 108.25/108.47 Model 119 [ 208 7 13513 ] (0.00 seconds, 250000 Inserts)
% 108.25/108.47
% 108.25/108.47 Stopped by limit on insertions
% 108.25/108.47
% 108.25/108.47 Model 120 [ 165 9 28047 ] (0.00 seconds, 250000 Inserts)
% 108.25/108.47
% 108.25/108.47 Stopped by limit on insertions
% 108.25/108.47
% 108.25/108.47 Model 121 [ 175 10 41509 ] (0.00 seconds, 250000 Inserts)
% 108.25/108.47
% 108.25/108.47 Resetting weight limit to 32 after 255 givens.
% 108.25/108.47
% 148.74/148.94
% 148.74/148.94
% 148.74/148.94 Changing weight limit from 32 to 31.
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 122 [ 235 7 13599 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 123 [ 165 9 24628 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 124 [ 262 10 26020 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 125 [ 240 7 14943 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 126 [ 256 12 45253 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 127 [ 199 7 12842 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 128 [ 174 11 35419 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 129 [ 220 7 14823 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 130 [ 108 12 46183 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 131 [ 232 7 10525 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 132 [ 114 6 3750 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Stopped by limit on insertions
% 148.74/148.94
% 148.74/148.94 Model 133 [ 194 10 23075 ] (0.00 seconds, 250000 Inserts)
% 148.74/148.94
% 148.74/148.94 Modelling stopped after 300 given clauses and 0.00 seconds
% 148.74/148.94
% 148.74/148.94
% 148.74/148.94 Resetting weight limit to 31 after 425 givens.
% 148.74/148.94
% 149.12/149.35
% 149.12/149.35
% 149.12/149.35 Changing weight limit from 31 to 30.
% 149.12/149.35
% 149.12/149.35 Resetting weight limit to 30 after 435 givens.
% 149.12/149.35
% 150.34/150.54
% 150.34/150.54
% 150.34/150.54 Changing weight limit from 30 to 29.
% 150.34/150.54
% 150.34/150.54 Resetting weight limit to 29 after 465 givens.
% 150.34/150.54
% 150.64/150.86
% 150.64/150.86
% 150.64/150.86 Changing weight limit from 29 to 28.
% 150.64/150.86
% 150.64/150.86 Resetting weight limit to 28 after 475 givens.
% 150.64/150.86
% 151.12/151.33
% 151.12/151.33
% 151.12/151.33 Changing weight limit from 28 to 26.
% 151.12/151.33
% 151.12/151.33 Resetting weight limit to 26 after 485 givens.
% 151.12/151.33
% 151.64/151.88
% 151.64/151.88
% 151.64/151.88 Changing weight limit from 26 to 25.
% 151.64/151.88
% 151.64/151.88 Resetting weight limit to 25 after 510 givens.
% 151.64/151.88
% 151.82/152.04
% 151.82/152.04
% 151.82/152.04 Changing weight limit from 25 to 24.
% 151.82/152.04
% 151.82/152.04 Resetting weight limit to 24 after 515 givens.
% 151.82/152.04
% 152.51/152.69
% 152.51/152.69
% 152.51/152.69 Changing weight limit from 24 to 23.
% 152.51/152.69
% 152.51/152.69 Resetting weight limit to 23 after 545 givens.
% 152.51/152.69
% 152.65/152.82
% 152.65/152.82
% 152.65/152.82 Changing weight limit from 23 to 22.
% 152.65/152.82
% 152.65/152.82 Resetting weight limit to 22 after 550 givens.
% 152.65/152.82
% 155.12/155.35
% 155.12/155.35
% 155.12/155.35 Changing weight limit from 22 to 21.
% 155.12/155.35
% 155.12/155.35 Resetting weight limit to 21 after 660 givens.
% 155.12/155.35
% 155.81/156.00
% 155.81/156.00
% 155.81/156.00 Changing weight limit from 21 to 20.
% 155.81/156.00
% 155.81/156.00 Resetting weight limit to 20 after 685 givens.
% 155.81/156.00
% 157.05/157.26
% 157.05/157.26
% 157.05/157.26 Changing weight limit from 20 to 19.
% 157.05/157.26
% 157.05/157.26 Resetting weight limit to 19 after 720 givens.
% 157.05/157.26
% 161.25/161.45
% 161.25/161.45
% 161.25/161.45 Changing weight limit from 19 to 18.
% 161.25/161.45
% 161.25/161.45 Resetting weight limit to 18 after 915 givens.
% 161.25/161.45
% 162.01/162.23
% 162.01/162.23
% 162.01/162.23 Changing weight limit from 18 to 17.
% 162.01/162.23
% 162.01/162.23 Resetting weight limit to 17 after 970 givens.
% 162.01/162.23
% 175.92/176.14
% 175.92/176.14
% 175.92/176.14 Changing weight limit from 17 to 18.
% 175.92/176.14
% 175.92/176.14 Resetting weight limit to 18 after 4625 givens.
% 175.92/176.14
% 175.92/176.16
% 175.92/176.16
% 175.92/176.16 Changing weight limit from 18 to 17.
% 175.92/176.16
% 175.92/176.16 Resetting weight limit to 17 after 4630 givens.
% 175.92/176.16
% 176.02/176.19
% 176.02/176.19
% 176.02/176.19 Changing weight limit from 17 to 18.
% 176.02/176.19
% 176.02/176.19 Resetting weight limit to 18 after 4645 givens.
% 176.02/176.19
% 176.03/176.21
% 176.03/176.21
% 176.03/176.21 Changing weight limit from 18 to 17.
% 176.03/176.21
% 176.03/176.21 Resetting weight limit to 17 after 4650 givens.
% 176.03/176.21
% 176.03/176.24
% 176.03/176.24
% 176.03/176.24 Changing weight limit from 17 to 18.
% 176.03/176.24
% 176.03/176.24 Resetting weight limit to 18 after 4665 givens.
% 176.03/176.24
% 176.03/176.25
% 176.03/176.25
% 176.03/176.25 Changing weight limit from 18 to 17.
% 176.03/176.25
% 176.03/176.25 Resetting weight limit to 17 after 4670 givens.
% 176.03/176.25
% 176.03/176.28
% 176.03/176.28
% 176.03/176.28 Changing weight limit from 17 to 18.
% 176.03/176.28
% 176.03/176.28 Resetting weight limit to 18 after 4685 givens.
% 176.03/176.28
% 176.03/176.29
% 176.03/176.29
% 176.03/176.29 Changing weight limit from 18 to 17.
% 176.03/176.29
% 176.03/176.29 Resetting weight limit to 17 after 4690 givens.
% 176.03/176.29
% 176.14/176.31
% 176.14/176.31
% 176.14/176.31 Changing weight limit from 17 to 18.
% 176.14/176.31
% 176.14/176.31 Resetting weight limit to 18 after 4705 givens.
% 176.14/176.31
% 176.14/176.32
% 176.14/176.32
% 176.14/176.32 Changing weight limit from 18 to 17.
% 176.14/176.32
% 176.14/176.32 Resetting weight limit to 17 after 4710 givens.
% 176.14/176.32
% 176.14/176.34
% 176.14/176.34
% 176.14/176.34 Changing weight limit from 17 to 18.
% 176.14/176.34
% 176.14/176.34 Resetting weight limit to 18 after 4725 givens.
% 176.14/176.34
% 176.14/176.35
% 176.14/176.35
% 176.14/176.35 Changing weight limit from 18 to 17.
% 176.14/176.35
% 176.14/176.35 Resetting weight limit to 17 after 4730 givens.
% 176.14/176.35
% 176.14/176.37
% 176.14/176.37
% 176.14/176.37 Changing weight limit from 17 to 18.
% 176.14/176.37
% 176.14/176.37 Resetting weight limit to 18 after 4745 givens.
% 176.14/176.37
% 176.14/176.38
% 176.14/176.38
% 176.14/176.38 Changing weight limit from 18 to 17.
% 176.14/176.38
% 176.14/176.38 Resetting weight limit to 17 after 4750 givens.
% 176.14/176.38
% 176.14/176.40
% 176.14/176.40
% 176.14/176.40 Changing weight limit from 17 to 18.
% 176.14/176.40
% 176.14/176.40 Resetting weight limit to 18 after 4765 givens.
% 176.14/176.40
% 176.24/176.41
% 176.24/176.41
% 176.24/176.41 Changing weight limit from 18 to 17.
% 176.24/176.41
% 176.24/176.41 Resetting weight limit to 17 after 4770 givens.
% 176.24/176.41
% 176.24/176.44
% 176.24/176.44
% 176.24/176.44 Changing weight limit from 17 to 18.
% 176.24/176.44
% 176.24/176.44 Resetting weight limit to 18 after 4785 givens.
% 176.24/176.44
% 176.24/176.46
% 176.24/176.46
% 176.24/176.46 Changing weight limit from 18 to 17.
% 176.24/176.46
% 176.24/176.46 Resetting weight limit to 17 after 4790 givens.
% 176.24/176.46
% 176.24/176.49
% 176.24/176.49
% 176.24/176.49 Changing weight limit from 17 to 18.
% 176.24/176.49
% 176.24/176.49 Resetting weight limit to 18 after 4805 givens.
% 176.24/176.49
% 176.24/176.50
% 176.24/176.50
% 176.24/176.50 Changing weight limit from 18 to 17.
% 176.24/176.50
% 176.24/176.50 Resetting weight limit to 17 after 4810 givens.
% 176.24/176.50
% 176.34/176.53
% 176.34/176.53
% 176.34/176.53 Changing weight limit from 17 to 18.
% 176.34/176.53
% 176.34/176.53 Resetting weight limit to 18 after 4825 givens.
% 176.34/176.53
% 176.34/176.54
% 176.34/176.54
% 176.34/176.54 Changing weight limit from 18 to 17.
% 176.34/176.54
% 176.34/176.54 Resetting weight limit to 17 after 4830 givens.
% 176.34/176.54
% 176.34/176.57
% 176.34/176.57
% 176.34/176.57 Changing weight limit from 17 to 18.
% 176.34/176.57
% 176.34/176.57 Resetting weight limit to 18 after 4845 givens.
% 176.34/176.57
% 176.34/176.59
% 176.34/176.59
% 176.34/176.59 Changing weight limit from 18 to 17.
% 176.34/176.59
% 176.34/176.59 Resetting weight limit to 17 after 4850 givens.
% 176.34/176.59
% 176.42/176.62
% 176.42/176.62
% 176.42/176.62 Changing weight limit from 17 to 18.
% 176.42/176.62
% 176.42/176.62 Resetting weight limit to 18 after 4865 givens.
% 176.42/176.62
% 176.42/176.64
% 176.42/176.64
% 176.42/176.64 Changing weight limit from 18 to 17.
% 176.42/176.64
% 176.42/176.64 Resetting weight limit to 17 after 4870 givens.
% 176.42/176.64
% 176.42/176.67
% 176.42/176.67
% 176.42/176.67 Changing weight limit from 17 to 18.
% 176.42/176.67
% 176.42/176.67 Resetting weight limit to 18 after 4885 givens.
% 176.42/176.67
% 176.51/176.68
% 176.51/176.68
% 176.51/176.68 Changing weight limit from 18 to 17.
% 176.51/176.68
% 176.51/176.68 Resetting weight limit to 17 after 4890 givens.
% 176.51/176.68
% 176.55/176.72
% 176.55/176.72
% 176.55/176.72 Changing weight limit from 17 to 18.
% 176.55/176.72
% 176.55/176.72 Resetting weight limit to 18 after 4905 givens.
% 176.55/176.72
% 176.55/176.73
% 176.55/176.73
% 176.55/176.73 Changing weight limit from 18 to 17.
% 176.55/176.73
% 176.55/176.73 Resetting weight limit to 17 after 4910 givens.
% 176.55/176.73
% 176.55/176.77
% 176.55/176.77
% 176.55/176.77 Changing weight limit from 17 to 18.
% 176.55/176.77
% 176.55/176.77 Resetting weight limit to 18 after 4925 givens.
% 176.55/176.77
% 176.55/176.78
% 176.55/176.78
% 176.55/176.78 Changing weight limit from 18 to 17.
% 176.55/176.78
% 176.55/176.78 Resetting weight limit to 17 after 4930 givens.
% 176.55/176.78
% 176.65/176.82
% 176.65/176.82
% 176.65/176.82 Changing weight limit from 17 to 18.
% 176.65/176.82
% 176.65/176.82 Resetting weight limit to 18 after 4945 givens.
% 176.65/176.82
% 176.65/176.83
% 176.65/176.83
% 176.65/176.83 Changing weight limit from 18 to 17.
% 176.65/176.83
% 176.65/176.83 Resetting weight limit to 17 after 4950 givens.
% 176.65/176.83
% 176.65/176.87
% 176.65/176.87
% 176.65/176.87 Changing weight limit from 17 to 18.
% 176.65/176.87
% 176.65/176.87 Resetting weight limit to 18 after 4965 givens.
% 176.65/176.87
% 176.65/176.88
% 176.65/176.88
% 176.65/176.88 Changing weight limit from 18 to 17.
% 176.65/176.88
% 176.65/176.88 Resetting weight limit to 17 after 4970 givens.
% 176.65/176.88
% 176.73/176.92
% 176.73/176.92
% 176.73/176.92 Changing weight limit from 17 to 18.
% 176.73/176.92
% 176.73/176.92 Resetting weight limit to 18 after 4985 givens.
% 176.73/176.92
% 176.73/176.93
% 176.73/176.93
% 176.73/176.93 Changing weight limit from 18 to 17.
% 176.73/176.93
% 176.73/176.93 Resetting weight limit to 17 after 4990 givens.
% 176.73/176.93
% 176.73/176.97
% 176.73/176.97
% 176.73/176.97 Changing weight limit from 17 to 18.
% 176.73/176.97
% 176.73/176.97 Resetting weight limit to 18 after 5005 givens.
% 176.73/176.97
% 176.82/176.98
% 176.82/176.98
% 176.82/176.98 Changing weight limit from 18 to 17.
% 176.82/176.98
% 176.82/176.98 Resetting weight limit to 17 after 5010 givens.
% 176.82/176.98
% 176.85/177.02
% 176.85/177.02
% 176.85/177.02 Changing weight limit from 17 to 18.
% 176.85/177.02
% 176.85/177.02 Resetting weight limit to 18 after 5025 givens.
% 176.85/177.02
% 176.86/177.04
% 176.86/177.04
% 176.86/177.04 Changing weight limit from 18 to 17.
% 176.86/177.04
% 176.86/177.04 Resetting weight limit to 17 after 5030 givens.
% 176.86/177.04
% 176.86/177.07
% 176.86/177.07
% 176.86/177.07 Changing weight limit from 17 to 18.
% 176.86/177.07
% 176.86/177.07 Resetting weight limit to 18 after 5045 givens.
% 176.86/177.07
% 176.86/177.08
% 176.86/177.08
% 176.86/177.08 Changing weight limit from 18 to 17.
% 176.86/177.08
% 176.86/177.08 Resetting weight limit to 17 after 5050 givens.
% 176.86/177.08
% 176.86/177.11
% 176.86/177.11
% 176.86/177.11 Changing weight limit from 17 to 18.
% 176.86/177.11
% 176.86/177.11 Resetting weight limit to 18 after 5065 givens.
% 176.86/177.11
% 176.95/177.12
% 176.95/177.12
% 176.95/177.12 Changing weight limit from 18 to 17.
% 176.95/177.12
% 176.95/177.12 Resetting weight limit to 17 after 5070 givens.
% 176.95/177.12
% 176.95/177.15
% 176.95/177.15
% 176.95/177.15 Changing weight limit from 17 to 18.
% 176.95/177.15
% 176.95/177.15 Resetting weight limit to 18 after 5085 givens.
% 176.95/177.15
% 176.95/177.17
% 176.95/177.17
% 176.95/177.17 Changing weight limit from 18 to 17.
% 176.95/177.17
% 176.95/177.17 Resetting weight limit to 17 after 5090 givens.
% 176.95/177.17
% 177.02/177.20
% 177.02/177.20
% 177.02/177.20 Changing weight limit from 17 to 18.
% 177.02/177.20
% 177.02/177.20 Resetting weight limit to 18 after 5105 givens.
% 177.02/177.20
% 177.02/177.22
% 177.02/177.22
% 177.02/177.22 Changing weight limit from 18 to 17.
% 177.02/177.22
% 177.02/177.22 Resetting weight limit to 17 after 5110 givens.
% 177.02/177.22
% 177.02/177.25
% 177.02/177.25
% 177.02/177.25 Changing weight limit from 17 to 18.
% 177.02/177.25
% 177.02/177.25 Resetting weight limit to 18 after 5125 givens.
% 177.02/177.25
% 177.10/177.27
% 177.10/177.27
% 177.10/177.27 Changing weight limit from 18 to 17.
% 177.10/177.27
% 177.10/177.27 Resetting weight limit to 17 after 5130 givens.
% 177.10/177.27
% 177.12/177.30
% 177.12/177.30
% 177.12/177.30 Changing weight limit from 17 to 18.
% 177.12/177.30
% 177.12/177.30 Resetting weight limit to 18 after 5145 givens.
% 177.12/177.30
% 177.15/177.31
% 177.15/177.31
% 177.15/177.31 Changing weight limit from 18 to 17.
% 177.15/177.31
% 177.15/177.31 Resetting weight limit to 17 after 5150 givens.
% 177.15/177.31
% 177.16/177.33
% 177.16/177.33
% 177.16/177.33 Changing weight limit from 17 to 18.
% 177.16/177.33
% 177.16/177.33 Resetting weight limit to 18 after 5165 givens.
% 177.16/177.33
% 177.16/177.34
% 177.16/177.34
% 177.16/177.34 Changing weight limit from 18 to 17.
% 177.16/177.34
% 177.16/177.34 Resetting weight limit to 17 after 5170 givens.
% 177.16/177.34
% 177.16/177.37
% 177.16/177.37
% 177.16/177.37 Changing weight limit from 17 to 18.
% 177.16/177.37
% 177.16/177.37 Resetting weight limit to 18 after 5185 givens.
% 177.16/177.37
% 177.16/177.39
% 177.16/177.39
% 177.16/177.39 Changing weight limit from 18 to 17.
% 177.16/177.39
% 177.16/177.39 Resetting weight limit to 17 after 5190 givens.
% 177.16/177.39
% 177.25/177.42
% 177.25/177.42
% 177.25/177.42 Changing weight limit from 17 to 18.
% 177.25/177.42
% 177.25/177.42 Resetting weight limit to 18 after 5205 givens.
% 177.25/177.42
% 177.25/177.43
% 177.25/177.43
% 177.25/177.43 Changing weight limit from 18 to 17.
% 177.25/177.43
% 177.25/177.43 Resetting weight limit to 17 after 5210 givens.
% 177.25/177.43
% 177.32/177.51
% 177.32/177.51
% 177.32/177.51 Changing weight limit from 17 to 18.
% 177.32/177.51
% 177.32/177.51 Resetting weight limit to 18 after 5245 givens.
% 177.32/177.51
% 177.32/177.52
% 177.32/177.52
% 177.32/177.52 Changing weight limit from 18 to 17.
% 177.32/177.52
% 177.32/177.52 Resetting weight limit to 17 after 5250 givens.
% 177.32/177.52
% 177.43/177.61
% 177.43/177.61
% 177.43/177.61 Changing weight limit from 17 to 18.
% 177.43/177.61
% 177.43/177.61 Resetting weight limit to 18 after 5285 givens.
% 177.43/177.61
% 177.46/177.63
% 177.46/177.63
% 177.46/177.63 Changing weight limit from 18 to 17.
% 177.46/177.63
% 177.46/177.63 Resetting weight limit to 17 after 5290 givens.
% 177.46/177.63
% 177.46/177.66
% 177.46/177.66
% 177.46/177.66 Changing weight limit from 17 to 18.
% 177.46/177.66
% 177.46/177.66 Resetting weight limit to 18 after 5305 givens.
% 177.46/177.66
% 177.46/177.68
% 177.46/177.68
% 177.46/177.68 Changing weight limit from 18 to 17.
% 177.46/177.68
% 177.46/177.68 Resetting weight limit to 17 after 5310 givens.
% 177.46/177.68
% 177.46/177.71
% 177.46/177.71
% 177.46/177.71 Changing weight limit from 17 to 18.
% 177.46/177.71
% 177.46/177.71 Resetting weight limit to 18 after 5325 givens.
% 177.46/177.71
% 177.56/177.73
% 177.56/177.73
% 177.56/177.73 Changing weight limit from 18 to 17.
% 177.56/177.73
% 177.56/177.73 Resetting weight limit to 17 after 5330 givens.
% 177.56/177.73
% 177.56/177.77
% 177.56/177.77
% 177.56/177.77 Changing weight limit from 17 to 18.
% 177.56/177.77
% 177.56/177.77 Resetting weight limit to 18 after 5345 givens.
% 177.56/177.77
% 177.56/177.78
% 177.56/177.78
% 177.56/177.78 Changing weight limit from 18 to 17.
% 177.56/177.78
% 177.56/177.78 Resetting weight limit to 17 after 5350 givens.
% 177.56/177.78
% 177.63/177.86
% 177.63/177.86
% 177.63/177.86 Changing weight limit from 17 to 18.
% 177.63/177.86
% 177.63/177.86 Resetting weight limit to 18 after 5385 givens.
% 177.63/177.86
% 177.70/177.87
% 177.70/177.87
% 177.70/177.87 Changing weight limit from 18 to 17.
% 177.70/177.87
% 177.70/177.87 Resetting weight limit to 17 after 5390 givens.
% 177.70/177.87
% 177.73/177.92
% 177.73/177.92
% 177.73/177.92 Changing weight limit from 17 to 18.
% 177.73/177.92
% 177.73/177.92 Resetting weight limit to 18 after 5405 givens.
% 177.73/177.92
% 177.76/177.93
% 177.76/177.93
% 177.76/177.93 Changing weight limit from 18 to 17.
% 177.76/177.93
% 177.76/177.93 Resetting weight limit to 17 after 5410 givens.
% 177.76/177.93
% 177.76/177.97
% 177.76/177.97
% 177.76/177.97 Changing weight limit from 17 to 18.
% 177.76/177.97
% 177.76/177.97 Resetting weight limit to 18 after 5425 givens.
% 177.76/177.97
% 177.76/177.98
% 177.76/177.98
% 177.76/177.98 Changing weight limit from 18 to 17.
% 177.76/177.98
% 177.76/177.98 Resetting weight limit to 17 after 5430 givens.
% 177.76/177.98
% 177.76/178.02
% 177.76/178.02
% 177.76/178.02 Changing weight limit from 17 to 18.
% 177.76/178.02
% 177.76/178.02 Resetting weight limit to 18 after 5445 givens.
% 177.76/178.02
% 177.86/178.03
% 177.86/178.03
% 177.86/178.03 Changing weight limit from 18 to 17.
% 177.86/178.03
% 177.86/178.03 Resetting weight limit to 17 after 5450 givens.
% 177.86/178.03
% 177.86/178.07
% 177.86/178.07
% 177.86/178.07 Changing weight limit from 17 to 18.
% 177.86/178.07
% 177.86/178.07 Resetting weight limit to 18 after 5465 givens.
% 177.86/178.07
% 177.86/178.08
% 177.86/178.08
% 177.86/178.08 Changing weight limit from 18 to 17.
% 177.86/178.08
% 177.86/178.08 Resetting weight limit to 17 after 5470 givens.
% 177.86/178.08
% 177.93/178.12
% 177.93/178.12
% 177.93/178.12 Changing weight limit from 17 to 18.
% 177.93/178.12
% 177.93/178.12 Resetting weight limit to 18 after 5485 givens.
% 177.93/178.12
% 177.93/178.13
% 177.93/178.13
% 177.93/178.13 Changing weight limit from 18 to 17.
% 177.93/178.13
% 177.93/178.13 Resetting weight limit to 17 after 5490 givens.
% 177.93/178.13
% 177.93/178.16
% 177.93/178.16
% 177.93/178.16 Changing weight limit from 17 to 18.
% 177.93/178.16
% 177.93/178.16 Resetting weight limit to 18 after 5505 givens.
% 177.93/178.16
% 177.93/178.17
% 177.93/178.17
% 177.93/178.17 Changing weight limit from 18 to 17.
% 177.93/178.17
% 177.93/178.17 Resetting weight limit to 17 after 5510 givens.
% 177.93/178.17
% 178.02/178.20
% 178.02/178.20
% 178.02/178.20 Changing weight limit from 17 to 18.
% 178.02/178.20
% 178.02/178.20 Resetting weight limit to 18 after 5525 givens.
% 178.02/178.20
% 178.05/178.21
% 178.05/178.21
% 178.05/178.21 Changing weight limit from 18 to 17.
% 178.05/178.21
% 178.05/178.21 Resetting weight limit to 17 after 5530 givens.
% 178.05/178.21
% 178.06/178.25
% 178.06/178.25
% 178.06/178.25 Changing weight limit from 17 to 18.
% 178.06/178.25
% 178.06/178.25 Resetting weight limit to 18 after 5545 givens.
% 178.06/178.25
% 178.06/178.26
% 178.06/178.26
% 178.06/178.26 Changing weight limit from 18 to 17.
% 178.06/178.26
% 178.06/178.26 Resetting weight limit to 17 after 5550 givens.
% 178.06/178.26
% 178.06/178.30
% 178.06/178.30
% 178.06/178.30 Changing weight limit from 17 to 18.
% 178.06/178.30
% 178.06/178.30 Resetting weight limit to 18 after 5565 givens.
% 178.06/178.30
% 178.14/178.31
% 178.14/178.31
% 178.14/178.31 Changing weight limit from 18 to 17.
% 178.14/178.31
% 178.14/178.31 Resetting weight limit to 17 after 5570 givens.
% 178.14/178.31
% 178.14/178.34
% 178.14/178.34
% 178.14/178.34 Changing weight limit from 17 to 18.
% 178.14/178.34
% 178.14/178.34 Resetting weight limit to 18 after 5585 givens.
% 178.14/178.34
% 178.14/178.35
% 178.14/178.35
% 178.14/178.35 Changing weight limit from 18 to 17.
% 178.14/178.35
% 178.14/178.35 Resetting weight limit to 17 after 5590 givens.
% 178.14/178.35
% 178.21/178.38
% 178.21/178.38
% 178.21/178.38 Changing weight limit from 17 to 18.
% 178.21/178.38
% 178.21/178.38 Resetting weight limit to 18 after 5605 givens.
% 178.21/178.38
% 178.21/178.40
% 178.21/178.40
% 178.21/178.40 Changing weight limit from 18 to 17.
% 178.21/178.40
% 178.21/178.40 Resetting weight limit to 17 after 5610 givens.
% 178.21/178.40
% 178.21/178.43
% 178.21/178.43
% 178.21/178.43 Changing weight limit from 17 to 18.
% 178.21/178.43
% 178.21/178.43 Resetting weight limit to 18 after 5625 givens.
% 178.21/178.43
% 178.21/178.44
% 178.21/178.44
% 178.21/178.44 Changing weight limit from 18 to 17.
% 178.21/178.44
% 178.21/178.44 Resetting weight limit to 17 after 5630 givens.
% 178.21/178.44
% 178.30/178.47
% 178.30/178.47
% 178.30/178.47 Changing weight limit from 17 to 18.
% 178.30/178.47
% 178.30/178.47 Resetting weight limit to 18 after 5645 givens.
% 178.30/178.47
% 178.32/178.49
% 178.32/178.49
% 178.32/178.49 Changing weight limit from 18 to 17.
% 178.32/178.49
% 178.32/178.49 Resetting weight limit to 17 after 5650 givens.
% 178.32/178.49
% 178.35/178.52
% 178.35/178.52
% 178.35/178.52 Changing weight limit from 17 to 18.
% 178.35/178.52
% 178.35/178.52 Resetting weight limit to 18 after 5665 givens.
% 178.35/178.52
% 178.36/178.54
% 178.36/178.54
% 178.36/178.54 Changing weight limit from 18 to 17.
% 178.36/178.54
% 178.36/178.54 Resetting weight limit to 17 after 5670 givens.
% 178.36/178.54
% 178.36/178.57
% 178.36/178.57
% 178.36/178.57 Changing weight limit from 17 to 18.
% 178.36/178.57
% 178.36/178.57 Resetting weight limit to 18 after 5685 givens.
% 178.36/178.57
% 178.36/178.59
% 178.36/178.59
% 178.36/178.59 Changing weight limit from 18 to 17.
% 178.36/178.59
% 178.36/178.59 Resetting weight limit to 17 after 5690 givens.
% 178.36/178.59
% 178.44/178.62
% 178.44/178.62
% 178.44/178.62 Changing weight limit from 17 to 18.
% 178.44/178.62
% 178.44/178.62 Resetting weight limit to 18 after 5705 givens.
% 178.44/178.62
% 178.44/178.64
% 178.44/178.64
% 178.44/178.64 Changing weight limit from 18 to 17.
% 178.44/178.64
% 178.44/178.64 Resetting weight limit to 17 after 5710 givens.
% 178.44/178.64
% 178.44/178.67
% 178.44/178.67
% 178.44/178.67 Changing weight limit from 17 to 18.
% 178.44/178.67
% 178.44/178.67 Resetting weight limit to 18 after 5725 givens.
% 178.44/178.67
% 178.44/178.68
% 178.44/178.68
% 178.44/178.68 Changing weight limit from 18 to 17.
% 178.44/178.68
% 178.44/178.68 Resetting weight limit to 17 after 5730 givens.
% 178.44/178.68
% 178.53/178.71
% 178.53/178.71
% 178.53/178.71 Changing weight limit from 17 to 18.
% 178.53/178.71
% 178.53/178.71 Resetting weight limit to 18 after 5745 givens.
% 178.53/178.71
% 178.53/178.72
% 178.53/178.72
% 178.53/178.72 Changing weight limit from 18 to 17.
% 178.53/178.72
% 178.53/178.72 Resetting weight limit to 17 after 5750 givens.
% 178.53/178.72
% 178.53/178.75
% 178.53/178.75
% 178.53/178.75 Changing weight limit from 17 to 18.
% 178.53/178.75
% 178.53/178.75 Resetting weight limit to 18 after 5765 givens.
% 178.53/178.75
% 178.53/178.77
% 178.53/178.77
% 178.53/178.77 Changing weight limit from 18 to 17.
% 178.53/178.77
% 178.53/178.77 Resetting weight limit to 17 after 5770 givens.
% 178.53/178.77
% 178.63/178.80
% 178.63/178.80
% 178.63/178.80 Changing weight limit from 17 to 18.
% 178.63/178.80
% 178.63/178.80 Resetting weight limit to 18 after 5785 givens.
% 178.63/178.80
% 178.65/178.82
% 178.65/178.82
% 178.65/178.82 Changing weight limit from 18 to 17.
% 178.65/178.82
% 178.65/178.82 Resetting weight limit to 17 after 5790 givens.
% 178.65/178.82
% 178.65/178.85
% 178.65/178.85
% 178.65/178.85 Changing weight limit from 17 to 18.
% 178.65/178.85
% 178.65/178.85 Resetting weight limit to 18 after 5805 givens.
% 178.65/178.85
% 178.65/178.86
% 178.65/178.86
% 178.65/178.86 Changing weight limit from 18 to 17.
% 178.65/178.86
% 178.65/178.86 Resetting weight limit to 17 after 5810 givens.
% 178.65/178.86
% 178.65/178.90
% 178.65/178.90
% 178.65/178.90 Changing weight limit from 17 to 18.
% 178.65/178.90
% 178.65/178.90 Resetting weight limit to 18 after 5825 givens.
% 178.65/178.90
% 178.74/178.91
% 178.74/178.91
% 178.74/178.91 Changing weight limit from 18 to 17.
% 178.74/178.91
% 178.74/178.91 Resetting weight limit to 17 after 5830 givens.
% 178.74/178.91
% 178.74/178.94
% 178.74/178.94
% 178.74/178.94 Changing weight limit from 17 to 18.
% 178.74/178.94
% 178.74/178.94 Resetting weight limit to 18 after 5845 givens.
% 178.74/178.94
% 178.74/178.96
% 178.74/178.96
% 178.74/178.96 Changing weight limit from 18 to 17.
% 178.74/178.96
% 178.74/178.96 Resetting weight limit to 17 after 5850 givens.
% 178.74/178.96
% 178.74/178.99
% 178.74/178.99
% 178.74/178.99 Changing weight limit from 17 to 18.
% 178.74/178.99
% 178.74/178.99 Resetting weight limit to 18 after 5865 givens.
% 178.74/178.99
% 178.83/179.01
% 178.83/179.01
% 178.83/179.01 Changing weight limit from 18 to 17.
% 178.83/179.01
% 178.83/179.01 Resetting weight limit to 17 after 5870 givens.
% 178.83/179.01
% 178.83/179.04
% 178.83/179.04
% 178.83/179.04 Changing weight limit from 17 to 18.
% 178.83/179.04
% 178.83/179.04 Resetting weight limit to 18 after 5885 givens.
% 178.83/179.04
% 178.83/179.06
% 178.83/179.06
% 178.83/179.06 Changing weight limit from 18 to 17.
% 178.83/179.06
% 178.83/179.06 Resetting weight limit to 17 after 5890 givens.
% 178.83/179.06
% 178.91/179.09
% 178.91/179.09
% 178.91/179.09 Changing weight limit from 17 to 18.
% 178.91/179.09
% 178.91/179.09 Resetting weight limit to 18 after 5905 givens.
% 178.91/179.09
% 178.93/179.11
% 178.93/179.11
% 178.93/179.11 Changing weight limit from 18 to 17.
% 178.93/179.11
% 178.93/179.11 Resetting weight limit to 17 after 5910 givens.
% 178.93/179.11
% 178.95/179.14
% 178.95/179.14
% 178.95/179.14 Changing weight limit from 17 to 18.
% 178.95/179.14
% 178.95/179.14 Resetting weight limit to 18 after 5925 givens.
% 178.95/179.14
% 178.95/179.16
% 178.95/179.16
% 178.95/179.16 Changing weight limit from 18 to 17.
% 178.95/179.16
% 178.95/179.16 Resetting weight limit to 17 after 5930 givens.
% 178.95/179.16
% 178.95/179.19
% 178.95/179.19
% 178.95/179.19 Changing weight limit from 17 to 18.
% 178.95/179.19
% 178.95/179.19 Resetting weight limit to 18 after 5945 givens.
% 178.95/179.19
% 178.95/179.20
% 178.95/179.20
% 178.95/179.20 Changing weight limit from 18 to 17.
% 178.95/179.20
% 178.95/179.20 Resetting weight limit to 17 after 5950 givens.
% 178.95/179.20
% 179.04/179.24
% 179.04/179.24
% 179.04/179.24 Changing weight limit from 17 to 18.
% 179.04/179.24
% 179.04/179.24 Resetting weight limit to 18 after 5965 givens.
% 179.04/179.24
% 179.04/179.25
% 179.04/179.25
% 179.04/179.25 Changing weight limit from 18 to 17.
% 179.04/179.25
% 179.04/179.25 Resetting weight limit to 17 after 5970 givens.
% 179.04/179.25
% 179.04/179.29
% 179.04/179.29
% 179.04/179.29 Changing weight limit from 17 to 18.
% 179.04/179.29
% 179.04/179.29 Resetting weight limit to 18 after 5985 givens.
% 179.04/179.29
% 179.04/179.30
% 179.04/179.30
% 179.04/179.30 Changing weight limit from 18 to 17.
% 179.04/179.30
% 179.04/179.30 Resetting weight limit to 17 after 5990 givens.
% 179.04/179.30
% 179.14/179.33
% 179.14/179.33
% 179.14/179.33 Changing weight limit from 17 to 18.
% 179.14/179.33
% 179.14/179.33 Resetting weight limit to 18 after 6005 givens.
% 179.14/179.33
% 179.14/179.35
% 179.14/179.35
% 179.14/179.35 Changing weight limit from 18 to 17.
% 179.14/179.35
% 179.14/179.35 Resetting weight limit to 17 after 6010 givens.
% 179.14/179.35
% 179.14/179.38
% 179.14/179.38
% 179.14/179.38 Changing weight limit from 17 to 18.
% 179.14/179.38
% 179.14/179.38 Resetting weight limit to 18 after 6025 givens.
% 179.14/179.38
% 179.23/179.39
% 179.23/179.39
% 179.23/179.39 Changing weight limit from 18 to 17.
% 179.23/179.39
% 179.23/179.39 Resetting weight limit to 17 after 6030 givens.
% 179.23/179.39
% 179.23/179.43
% 179.23/179.43
% 179.23/179.43 Changing weight limit from 17 to 18.
% 179.23/179.43
% 179.23/179.43 Resetting weight limit to 18 after 6045 givens.
% 179.23/179.43
% 179.23/179.44
% 179.23/179.44
% 179.23/179.44 Changing weight limit from 18 to 17.
% 179.23/179.44
% 179.23/179.44 Resetting weight limit to 17 after 6050 givens.
% 179.23/179.44
% 179.23/179.48
% 179.23/179.48
% 179.23/179.48 Changing weight limit from 17 to 18.
% 179.23/179.48
% 179.23/179.48 Resetting weight limit to 18 after 6065 givens.
% 179.23/179.48
% 179.33/179.50
% 179.33/179.50
% 179.33/179.50 Changing weight limit from 18 to 17.
% 179.33/179.50
% 179.33/179.50 Resetting weight limit to 17 after 6070 givens.
% 179.33/179.50
% 179.33/179.54
% 179.33/179.54
% 179.33/179.54 Changing weight limit from 17 to 18.
% 179.33/179.54
% 179.33/179.54 Resetting weight limit to 18 after 6085 givens.
% 179.33/179.54
% 179.33/179.56
% 179.33/179.56
% 179.33/179.56 Changing weight limit from 18 to 17.
% 179.33/179.56
% 179.33/179.56 Resetting weight limit to 17 after 6090 givens.
% 179.33/179.56
% 179.43/179.60
% 179.43/179.60
% 179.43/179.60 Changing weight limit from 17 to 18.
% 179.43/179.60
% 179.43/179.60 Resetting weight limit to 18 after 6105 givens.
% 179.43/179.60
% 179.43/179.62
% 179.43/179.62
% 179.43/179.62 Changing weight limit from 18 to 17.
% 179.43/179.62
% 179.43/179.62 Resetting weight limit to 17 after 6110 givens.
% 179.43/179.62
% 179.43/179.66
% 179.43/179.66
% 179.43/179.66 Changing weight limit from 17 to 18.
% 179.43/179.66
% 179.43/179.66 Resetting weight limit to 18 after 6125 givens.
% 179.43/179.66
% 179.43/179.68
% 179.43/179.68
% 179.43/179.68 Changing weight limit from 18 to 17.
% 179.43/179.68
% 179.43/179.68 Resetting weight limit to 17 after 6130 givens.
% 179.43/179.68
% 179.53/179.73
% 179.53/179.73
% 179.53/179.73 Changing weight limit from 17 to 18.
% 179.53/179.73
% 179.53/179.73 Resetting weight limit to 18 after 6145 givens.
% 179.53/179.73
% 179.53/179.74
% 179.53/179.74
% 179.53/179.74 Changing weight limit from 18 to 17.
% 179.53/179.74
% 179.53/179.74 Resetting weight limit to 17 after 6150 givens.
% 179.53/179.74
% 179.53/179.79
% 179.53/179.79
% 179.53/179.79 Changing weight limit from 17 to 18.
% 179.53/179.79
% 179.53/179.79 Resetting weight limit to 18 after 6165 givens.
% 179.53/179.79
% 179.63/179.81
% 179.63/179.81
% 179.63/179.81 Changing weight limit from 18 to 17.
% 179.63/179.81
% 179.63/179.81 Resetting weight limit to 17 after 6170 givens.
% 179.63/179.81
% 179.63/179.85
% 179.63/179.85
% 179.63/179.85 Changing weight limit from 17 to 18.
% 179.63/179.85
% 179.63/179.85 Resetting weight limit to 18 after 6185 givens.
% 179.63/179.85
% 179.63/179.86
% 179.63/179.86
% 179.63/179.86 Changing weight limit from 18 to 17.
% 179.63/179.86
% 179.63/179.86 Resetting weight limit to 17 after 6190 givens.
% 179.63/179.86
% 179.63/179.91
% 179.63/179.91
% 179.63/179.91 Changing weight limit from 17 to 18.
% 179.63/179.91
% 179.63/179.91 Resetting weight limit to 18 after 6205 givens.
% 179.63/179.91
% 179.74/179.93
% 179.74/179.93
% 179.74/179.93 Changing weight limit from 18 to 17.
% 179.74/179.93
% 179.74/179.93 Resetting weight limit to 17 after 6210 givens.
% 179.74/179.93
% 180.46/180.67
% 180.46/180.67
% 180.46/180.67 Changing weight limit from 17 to 18.
% 180.46/180.67
% 180.46/180.67 Resetting weight limit to 18 after 6325 givens.
% 180.46/180.67
% 180.46/180.69
% 180.46/180.69
% 180.46/180.69 Changing weight limit from 18 to 17.
% 180.46/180.69
% 180.46/180.69 Resetting weight limit to 17 after 6330 givens.
% 180.46/180.69
% 180.46/180.70
% 180.46/180.70
% 180.46/180.70 Changing weight limit from 17 to 18.
% 180.46/180.70
% 180.46/180.70 Resetting weight limit to 18 after 6335 givens.
% 180.46/180.70
% 180.54/180.72
% 180.54/180.72
% 180.54/180.72 Changing weight limit from 18 to 17.
% 180.54/180.72
% 180.54/180.72 Resetting weight limit to 17 after 6340 givens.
% 180.54/180.72
% 180.54/180.73
% 180.54/180.73
% 180.54/180.73 Changing weight limit from 17 to 18.
% 180.54/180.73
% 180.54/180.73 Resetting weight limit to 18 after 6345 givens.
% 180.54/180.73
% 180.54/180.75
% 180.54/180.75
% 180.54/180.75 Changing weight limit from 18 to 17.
% 180.54/180.75
% 180.54/180.75 Resetting weight limit to 17 after 6350 givens.
% 180.54/180.75
% 180.54/180.77
% 180.54/180.77
% 180.54/180.77 Changing weight limit from 17 to 18.
% 180.54/180.77
% 180.54/180.77 Resetting weight limit to 18 after 6355 givens.
% 180.54/180.77
% 180.61/180.78
% 180.61/180.78
% 180.61/180.78 Changing weight limit from 18 to 17.
% 180.61/180.78
% 180.61/180.78 Resetting weight limit to 17 after 6360 givens.
% 180.61/180.78
% 180.61/180.79
% 180.61/180.79
% 180.61/180.79 Changing weight limit from 17 to 18.
% 180.61/180.79
% 180.61/180.79 Resetting weight limit to 18 after 6365 givens.
% 180.61/180.79
% 180.61/180.86
% 180.61/180.86
% 180.61/180.86 Changing weight limit from 18 to 19.
% 180.61/180.86
% 180.61/180.86 Resetting weight limit to 19 after 6385 givens.
% 180.61/180.86
% 180.84/181.05
% 180.84/181.05
% 180.84/181.05 Changing weight limit from 19 to 20.
% 180.84/181.05
% 180.84/181.05 Resetting weight limit to 20 after 6405 givens.
% 180.84/181.05
% 198.82/199.05
% 198.82/199.05
% 198.82/199.05 Changing weight limit from 20 to 19.
% 198.82/199.05
% 198.82/199.05 Resetting weight limit to 19 after 8115 givens.
% 198.82/199.05
% 259.90/260.08
% 259.90/260.08
% 259.90/260.08 Changing weight limit from 19 to 20.
% 259.90/260.08
% 259.90/260.08 Resetting weight limit to 20 after 13840 givens.
% 259.90/260.08
% 259.92/260.11
% 259.92/260.11
% 259.92/260.11 Changing weight limit from 20 to 21.
% 259.92/260.11
% 259.92/260.11 Resetting weight limit to 21 after 13845 givens.
% 259.92/260.11
% 297.41/297.58
% 297.41/297.58
% 297.41/297.58 Changing weight limit from 21 to 20.
% 297.41/297.58
% 297.41/297.58 Resetting weight limit to 20 after 18945 givens.
% 297.41/297.58
% 300.01/300.19 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------