TSTP Solution File: NLP241-1 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : NLP241-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n004.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:25:06 EDT 2022
% Result : Timeout 296.00s 296.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : NLP241-1 : TPTP v8.1.0. Released v2.4.0.
% 0.07/0.14 % Command : sos-script %s
% 0.14/0.35 % Computer : n004.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Thu Jun 30 22:36:53 EDT 2022
% 0.14/0.35 % CPUTime :
% 0.14/0.38 ----- Otter 3.2, August 2001 -----
% 0.14/0.38 The process was started by sandbox2 on n004.cluster.edu,
% 0.14/0.38 Thu Jun 30 22:36:53 2022
% 0.14/0.38 The command was "./sos". The process ID is 1442.
% 0.14/0.38
% 0.14/0.38 set(prolog_style_variables).
% 0.14/0.38 set(auto).
% 0.14/0.38 dependent: set(auto1).
% 0.14/0.38 dependent: set(process_input).
% 0.14/0.38 dependent: clear(print_kept).
% 0.14/0.38 dependent: clear(print_new_demod).
% 0.14/0.38 dependent: clear(print_back_demod).
% 0.14/0.38 dependent: clear(print_back_sub).
% 0.14/0.38 dependent: set(control_memory).
% 0.14/0.38 dependent: assign(max_mem, 12000).
% 0.14/0.38 dependent: assign(pick_given_ratio, 4).
% 0.14/0.38 dependent: assign(stats_level, 1).
% 0.14/0.38 dependent: assign(pick_semantic_ratio, 3).
% 0.14/0.38 dependent: assign(sos_limit, 5000).
% 0.14/0.38 dependent: assign(max_weight, 60).
% 0.14/0.38 clear(print_given).
% 0.14/0.38
% 0.14/0.38 list(usable).
% 0.14/0.38
% 0.14/0.38 SCAN INPUT: prop=0, horn=1, equality=1, symmetry=0, max_lits=9.
% 0.14/0.38
% 0.14/0.38 This is a Horn set with equality. The strategy will be
% 0.14/0.38 Knuth-Bendix and hyper_res, with positive clauses in
% 0.14/0.38 sos and nonpositive clauses in usable.
% 0.14/0.38
% 0.14/0.38 dependent: set(knuth_bendix).
% 0.14/0.38 dependent: set(para_from).
% 0.14/0.38 dependent: set(para_into).
% 0.14/0.38 dependent: clear(para_from_right).
% 0.14/0.38 dependent: clear(para_into_right).
% 0.14/0.38 dependent: set(para_from_vars).
% 0.14/0.38 dependent: set(eq_units_both_ways).
% 0.14/0.38 dependent: set(dynamic_demod_all).
% 0.14/0.38 dependent: set(dynamic_demod).
% 0.14/0.38 dependent: set(order_eq).
% 0.14/0.38 dependent: set(back_demod).
% 0.14/0.38 dependent: set(lrpo).
% 0.14/0.38 dependent: set(hyper_res).
% 0.14/0.38 dependent: clear(order_hyper).
% 0.14/0.38
% 0.14/0.38 ------------> process usable:
% 0.14/0.38
% 0.14/0.38 ------------> process sos:
% 0.14/0.38 Following clause subsumed by 113 during input processing: 0 [copy,113,flip.1] {-} A=A.
% 0.14/0.38
% 0.14/0.38 ======= end of input processing =======
% 0.22/0.43
% 0.22/0.43 Model 1 (0.00 seconds, 0 Inserts)
% 0.22/0.43
% 0.22/0.43 Stopped by limit on number of solutions
% 0.22/0.43
% 0.22/0.43
% 0.22/0.43 -------------- Softie stats --------------
% 0.22/0.43
% 0.22/0.43 UPDATE_STOP: 300
% 0.22/0.43 SFINDER_TIME_LIMIT: 2
% 0.22/0.43 SHORT_CLAUSE_CUTOFF: 4
% 0.22/0.43 number of clauses in intial UL: 75
% 0.22/0.43 number of clauses initially in problem: 113
% 0.22/0.43 percentage of clauses intially in UL: 66
% 0.22/0.43 percentage of distinct symbols occuring in initial UL: 71
% 0.22/0.43 percent of all initial clauses that are short: 100
% 0.22/0.43 absolute distinct symbol count: 53
% 0.22/0.43 distinct predicate count: 37
% 0.22/0.43 distinct function count: 1
% 0.22/0.43 distinct constant count: 15
% 0.22/0.43
% 0.22/0.43 ---------- no more Softie stats ----------
% 0.22/0.43
% 0.22/0.43
% 0.22/0.43
% 0.22/0.43 Model 2 (0.00 seconds, 0 Inserts)
% 0.22/0.43
% 0.22/0.43 Stopped by limit on number of solutions
% 0.22/0.43
% 0.22/0.43 =========== start of search ===========
% 12.77/13.00
% 12.77/13.00 Model 3 (0.00 seconds, 0 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on number of solutions
% 12.77/13.00
% 12.77/13.00 Model 4 (0.00 seconds, 0 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on number of solutions
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 5 [ 1 1 832 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 6 [ 3 1 509 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 7 [ 3 0 923 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 8 [ 1 1 1232 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 9 [ 4 1 1307 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 10 [ 1 0 1027 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 11 [ 4 1 816 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 12 [ 2 1 1585 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 13 [ 5 0 515 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 14 [ 8 1 926 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Model 15 (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on number of solutions
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 16 [ 4 1 1393 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 17 [ 10 0 1282 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 18 [ 4 0 1021 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 19 [ 13 1 2261 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 20 [ 11 2 65173 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 21 [ 4 1 1426 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 22 [ 7 1 1010 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 23 [ 13 0 936 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 24 [ 13 1 963 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 25 [ 4 1 2054 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 26 [ 14 1 1018 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 27 [ 12 1 841 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 28 [ 6 1 2623 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 29 [ 19 1 509 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 30 [ 6 1 3997 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 31 [ 17 1 1495 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 32 [ 15 1 816 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 33 [ 7 1 1761 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 34 [ 21 1 1340 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 35 [ 21 1 798 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 36 [ 23 2 7445 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 37 [ 16 0 808 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 38 [ 19 1 770 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 39 [ 25 1 632 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 40 [ 20 1 1335 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 41 [ 19 1 3268 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 42 [ 18 0 1038 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 43 [ 19 1 1220 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 44 [ 19 1 877 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 45 [ 20 0 805 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 46 [ 31 0 509 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 47 [ 22 1 1282 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 48 [ 33 1 2382 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 12.77/13.00 Model 49 [ 17 0 796 ] (0.00 seconds, 250000 Inserts)
% 12.77/13.00
% 12.77/13.00 Stopped by limit on insertions
% 12.77/13.00
% 27.95/28.19 Model 50 [ 22 1 2437 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 51 [ 18 1 1568 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 52 [ 23 1 1806 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 53 [ 21 6 24197 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 54 [ 24 0 868 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 55 [ 39 12 158151 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 56 [ 37 0 520 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 57 [ 22 1 2287 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 58 [ 39 1 509 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 59 [ 28 1 864 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 60 [ 41 1 570 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 61 [ 40 1 2374 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 62 [ 37 0 848 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 63 [ 44 1 2483 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 64 [ 42 22 233002 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 65 [ 27 1 902 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 66 [ 43 0 841 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 67 [ 30 1 8789 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 68 [ 32 1 961 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 69 [ 45 1 6884 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 70 [ 36 1 980 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 71 [ 47 1 6121 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 72 [ 30 1 11105 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 73 [ 31 1 1154 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 74 [ 45 1 2902 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 75 [ 29 2 12966 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 76 [ 39 0 804 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 77 [ 28 14 156526 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 78 [ 34 1 5419 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 79 [ 25 1 887 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 80 [ 38 0 1353 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 81 [ 39 3 14662 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 82 [ 54 1 509 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 83 [ 57 1 4025 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 84 [ 55 1 3814 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 85 [ 56 1 2830 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 86 [ 54 1 761 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 87 [ 57 4 32634 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 88 [ 57 25 225427 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 89 [ 46 0 1430 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 90 [ 58 2 8152 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 91 [ 62 1 844 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 92 [ 65 1 4302 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 93 [ 57 4 36970 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 94 [ 36 0 851 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 95 [ 54 4 74692 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 27.95/28.19 Model 96 [ 64 1 4211 ] (0.00 seconds, 250000 Inserts)
% 27.95/28.19
% 27.95/28.19 Stopped by limit on insertions
% 27.95/28.19
% 54.14/54.33 Model 97 [ 63 7 51744 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 98 [ 65 15 136021 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 99 [ 38 1 2298 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 100 [ 66 1 3293 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 101 [ 54 1 4293 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 102 [ 47 0 832 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 103 [ 64 1 744 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 104 [ 53 1 823 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 105 [ 68 1 3814 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 106 [ 68 1 8545 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 107 [ 70 18 162701 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 108 [ 53 1 842 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 109 [ 49 1 821 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 110 [ 51 2 4065 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 111 [ 79 1 4619 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 112 [ 60 84 229179 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 113 [ 82 1 3542 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 114 [ 86 1 933 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 115 [ 93 29 175502 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 116 [ 80 1 818 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 117 [ 57 0 791 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 118 [ 89 1 1854 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 119 [ 90 2 13053 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 120 [ 54 1 804 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 121 [ 68 1 785 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 122 [ 84 0 745 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 123 [ 53 2 7093 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 124 [ 101 1 3870 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 125 [ 94 1 954 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 126 [ 77 1 2393 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 127 [ 65 2 8445 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 128 [ 70 1 812 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 129 [ 89 11 76878 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 130 [ 55 1 1430 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 131 [ 57 1 766 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 132 [ 105 2 4224 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 133 [ 70 1 1467 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 134 [ 72 1 1591 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 135 [ 110 2 6364 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 136 [ 95 10 64231 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 137 [ 96 1 796 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 138 [ 106 1 810 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 139 [ 107 2 4051 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 140 [ 96 1 883 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 141 [ 122 7 31783 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 142 [ 86 1 811 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 54.14/54.33 Model 143 [ 67 1 838 ] (0.00 seconds, 250000 Inserts)
% 54.14/54.33
% 54.14/54.33 Stopped by limit on insertions
% 54.14/54.33
% 92.36/92.55 Model 144 [ 118 1 834 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 145 [ 113 2 7325 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 146 [ 81 2 7040 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 147 [ 105 1 1206 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 148 [ 66 1 809 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 149 [ 67 5 16482 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 150 [ 86 1 825 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 151 [ 116 2 2719 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 152 [ 95 2 2551 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 153 [ 70 2 5273 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 154 [ 126 2 4071 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 155 [ 120 2 4557 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 156 [ 130 2 3607 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 157 [ 132 1 2799 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 158 [ 83 2 6544 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 159 [ 63 2 7126 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 160 [ 80 1 807 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 161 [ 84 1 821 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 162 [ 121 1 1329 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 163 [ 133 2 6145 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 164 [ 68 15 66656 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 165 [ 129 1 509 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 166 [ 109 2 4582 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 167 [ 73 4 11870 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 168 [ 106 7 28658 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 169 [ 132 1 3687 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 170 [ 138 1 2241 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 171 [ 132 35 156778 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 172 [ 133 12 45215 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 173 [ 107 1 3221 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 174 [ 85 1 779 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 175 [ 140 1 3037 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 176 [ 144 1 509 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 177 [ 80 1 1592 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 178 [ 94 1 775 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 179 [ 129 3 6377 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 180 [ 104 1 787 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 181 [ 107 1 1102 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 182 [ 142 2 4808 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 183 [ 141 2 3732 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 184 [ 155 1 912 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 185 [ 103 1 794 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 186 [ 86 1 773 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 187 [ 84 3 11237 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 188 [ 87 14 24107 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 92.36/92.55 Model 189 [ 147 1 1673 ] (0.00 seconds, 250000 Inserts)
% 92.36/92.55
% 92.36/92.55 Stopped by limit on insertions
% 92.36/92.55
% 144.17/144.34 Model 190 [ 153 1 522 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 191 [ 140 2 3522 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 192 [ 90 2 1593 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 193 [ 120 1 813 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 194 [ 162 2 5132 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 195 [ 141 2 3048 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 196 [ 145 1 2826 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 197 [ 152 2 3250 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 198 [ 84 2 7805 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 199 [ 146 2 3770 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 200 [ 145 1 814 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 201 [ 148 1 3138 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 202 [ 126 10 37439 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 203 [ 166 2 3242 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 204 [ 108 1 1517 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 205 [ 154 1 523 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 206 [ 164 2 4019 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 207 [ 138 1 1668 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 208 [ 157 2 2618 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 209 [ 157 2 3788 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 210 [ 167 1 846 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 211 [ 122 5 13818 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 212 [ 172 1 509 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 213 [ 150 1 561 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 214 [ 146 2 4072 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 215 [ 159 1 557 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 216 [ 168 1 509 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 217 [ 147 1 3464 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 218 [ 156 1 509 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 219 [ 118 1 805 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 220 [ 98 114 187963 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 221 [ 135 1 832 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 222 [ 147 2 3814 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 223 [ 169 1 1697 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 224 [ 173 1 522 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.34
% 144.17/144.34 Stopped by limit on insertions
% 144.17/144.34
% 144.17/144.34 Model 225 [ 135 5 11145 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 226 [ 163 2 3108 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 227 [ 150 2 3017 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 228 [ 115 1 807 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 229 [ 182 3 5330 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 230 [ 164 1 1272 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 231 [ 175 2 2739 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 232 [ 96 4 6383 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 233 [ 179 1 2858 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 234 [ 111 1 820 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 144.17/144.35 Model 235 [ 175 4 7532 ] (0.00 seconds, 250000 Inserts)
% 144.17/144.35
% 144.17/144.35 Stopped by limit on insertions
% 144.17/144.35
% 223.51/223.71 Model 236 [ 177 3 5833 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 237 [ 90 37 106456 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 238 [ 125 4 6483 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 239 [ 176 1 509 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 240 [ 147 7 15474 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 241 [ 97 2 3038 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 242 [ 187 97 228653 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 243 [ 161 68 200000 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 244 [ 157 2 3420 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 245 [ 154 21 71674 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 246 [ 179 53 133682 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 247 [ 117 1 778 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 248 [ 152 9 24991 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 249 [ 182 2 4653 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 250 [ 178 79 202399 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 251 [ 147 5 12658 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 252 [ 186 3 5569 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 253 [ 145 3 8257 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 254 [ 199 6 6680 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 255 [ 98 2 758 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 256 [ 188 5 4354 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 257 [ 196 5 5219 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 258 [ 173 4 3420 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 259 [ 183 2 1872 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 260 [ 205 2 509 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 261 [ 181 4 3895 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 262 [ 193 8 8414 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 263 [ 187 3 2624 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 264 [ 186 3 3154 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 265 [ 200 3 2538 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 266 [ 183 69 125807 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 267 [ 190 6 7471 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 268 [ 145 4 3319 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 269 [ 198 6 6363 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 270 [ 143 10 21879 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 271 [ 177 36 101786 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 272 [ 164 20 53292 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 273 [ 185 3 5438 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 274 [ 190 82 175106 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 275 [ 197 6 9325 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 276 [ 101 1 1273 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 277 [ 127 38 81378 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 278 [ 158 12 31510 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 279 [ 199 19 116964 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 280 [ 203 35 90946 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 223.51/223.71 Model 281 [ 208 1 517 ] (0.00 seconds, 250000 Inserts)
% 223.51/223.71
% 223.51/223.71 Stopped by limit on insertions
% 223.51/223.71
% 254.39/254.65 Mode
% 254.39/254.65
% 254.39/254.65 Changing weight limit from 60 to 59.
% 254.39/254.65 l 282 [ 208 1 792 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 283 [ 210 55 138493 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 284 [ 214 2 2884 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 285 [ 179 1 509 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 286 [ 203 57 127162 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 287 [ 235 1 1271 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 288 [ 201 2 4091 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 289 [ 208 2 2719 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 290 [ 181 44 91960 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 291 [ 192 100 217956 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 292 [ 215 3 3579 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 293 [ 232 54 101946 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 294 [ 210 73 153654 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 295 [ 189 3 4480 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 296 [ 218 78 158321 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 297 [ 154 1 807 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 298 [ 125 2 3812 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Stopped by limit on insertions
% 254.39/254.65
% 254.39/254.65 Model 299 [ 157 2 4255 ] (0.00 seconds, 250000 Inserts)
% 254.39/254.65
% 254.39/254.65 Modelling stopped after 300 given clauses and 0.00 seconds
% 254.39/254.65
% 254.39/254.65
% 254.39/254.65 Resetting weight limit to 59 after 480 givens.
% 254.39/254.65
% 254.72/254.94
% 254.72/254.94
% 254.72/254.94 Changing weight limit from 59 to 48.
% 254.72/254.94
% 254.72/254.94 Resetting weight limit to 48 after 495 givens.
% 254.72/254.94
% 255.23/255.42
% 255.23/255.42
% 255.23/255.42 Changing weight limit from 48 to 37.
% 255.23/255.42
% 255.23/255.42 Resetting weight limit to 37 after 530 givens.
% 255.23/255.42
% 255.43/255.63
% 255.43/255.63
% 255.43/255.63 Changing weight limit from 37 to 36.
% 255.43/255.63
% 255.43/255.63 Resetting weight limit to 36 after 550 givens.
% 255.43/255.63
% 256.31/256.53
% 256.31/256.53
% 256.31/256.53 Changing weight limit from 36 to 33.
% 256.31/256.53
% 256.31/256.53 Resetting weight limit to 33 after 680 givens.
% 256.31/256.53
% 256.39/256.58
% 256.39/256.58
% 256.39/256.58 Changing weight limit from 33 to 32.
% 256.39/256.58
% 256.39/256.58 Resetting weight limit to 32 after 690 givens.
% 256.39/256.58
% 256.45/256.71
% 256.45/256.71
% 256.45/256.71 Changing weight limit from 32 to 31.
% 256.45/256.71
% 256.45/256.71 Resetting weight limit to 31 after 710 givens.
% 256.45/256.71
% 258.25/258.44
% 258.25/258.44
% 258.25/258.44 Changing weight limit from 31 to 27.
% 258.25/258.44
% 258.25/258.44 Resetting weight limit to 27 after 1020 givens.
% 258.25/258.44
% 258.35/258.55
% 258.35/258.55
% 258.35/258.55 Changing weight limit from 27 to 28.
% 258.35/258.55
% 258.35/258.55 Resetting weight limit to 28 after 1045 givens.
% 258.35/258.55
% 258.35/258.57
% 258.35/258.57
% 258.35/258.57 Changing weight limit from 28 to 26.
% 258.35/258.57
% 258.35/258.57 Resetting weight limit to 26 after 1050 givens.
% 258.35/258.57
% 258.43/258.64
% 258.43/258.64
% 258.43/258.64 Changing weight limit from 26 to 27.
% 258.43/258.64
% 258.43/258.64 Resetting weight limit to 27 after 1065 givens.
% 258.43/258.64
% 258.43/258.67
% 258.43/258.67
% 258.43/258.67 Changing weight limit from 27 to 26.
% 258.43/258.67
% 258.43/258.67 Resetting weight limit to 26 after 1070 givens.
% 258.43/258.67
% 258.53/258.74
% 258.53/258.74
% 258.53/258.74 Changing weight limit from 26 to 27.
% 258.53/258.74
% 258.53/258.74 Resetting weight limit to 27 after 1085 givens.
% 258.53/258.74
% 258.53/258.76
% 258.53/258.76
% 258.53/258.76 Changing weight limit from 27 to 26.
% 258.53/258.76
% 258.53/258.76 Resetting weight limit to 26 after 1090 givens.
% 258.53/258.76
% 258.63/258.83
% 258.63/258.83
% 258.63/258.83 Changing weight limit from 26 to 27.
% 258.63/258.83
% 258.63/258.83 Resetting weight limit to 27 after 1105 givens.
% 258.63/258.83
% 258.63/258.85
% 258.63/258.85
% 258.63/258.85 Changing weight limit from 27 to 26.
% 258.63/258.85
% 258.63/258.85 Resetting weight limit to 26 after 1110 givens.
% 258.63/258.85
% 258.71/258.92
% 258.71/258.92
% 258.71/258.92 Changing weight limit from 26 to 27.
% 258.71/258.92
% 258.71/258.92 Resetting weight limit to 27 after 1125 givens.
% 258.71/258.92
% 258.71/258.94
% 258.71/258.94
% 258.71/258.94 Changing weight limit from 27 to 26.
% 258.71/258.94
% 258.71/258.94 Resetting weight limit to 26 after 1130 givens.
% 258.71/258.94
% 258.80/259.01
% 258.80/259.01
% 258.80/259.01 Changing weight limit from 26 to 27.
% 258.80/259.01
% 258.80/259.01 Resetting weight limit to 27 after 1145 givens.
% 258.80/259.01
% 258.80/259.04
% 258.80/259.04
% 258.80/259.04 Changing weight limit from 27 to 26.
% 258.80/259.04
% 258.80/259.04 Resetting weight limit to 26 after 1150 givens.
% 258.80/259.04
% 258.92/259.10
% 258.92/259.10
% 258.92/259.10 Changing weight limit from 26 to 27.
% 258.92/259.10
% 258.92/259.10 Resetting weight limit to 27 after 1165 givens.
% 258.92/259.10
% 258.93/259.13
% 258.93/259.13
% 258.93/259.13 Changing weight limit from 27 to 26.
% 258.93/259.13
% 258.93/259.13 Resetting weight limit to 26 after 1170 givens.
% 258.93/259.13
% 258.93/259.20
% 258.93/259.20
% 258.93/259.20 Changing weight limit from 26 to 27.
% 258.93/259.20
% 258.93/259.20 Resetting weight limit to 27 after 1185 givens.
% 258.93/259.20
% 258.93/259.22
% 258.93/259.22
% 258.93/259.22 Changing weight limit from 27 to 26.
% 258.93/259.22
% 258.93/259.22 Resetting weight limit to 26 after 1190 givens.
% 258.93/259.22
% 259.32/259.50
% 259.32/259.50
% 259.32/259.50 Changing weight limit from 26 to 27.
% 259.32/259.50
% 259.32/259.50 Resetting weight limit to 27 after 1245 givens.
% 259.32/259.50
% 259.33/259.52
% 259.33/259.52
% 259.33/259.52 Changing weight limit from 27 to 26.
% 259.33/259.52
% 259.33/259.52 Resetting weight limit to 26 after 1250 givens.
% 259.33/259.52
% 259.33/259.60
% 259.33/259.60
% 259.33/259.60 Changing weight limit from 26 to 27.
% 259.33/259.60
% 259.33/259.60 Resetting weight limit to 27 after 1265 givens.
% 259.33/259.60
% 259.43/259.62
% 259.43/259.62
% 259.43/259.62 Changing weight limit from 27 to 26.
% 259.43/259.62
% 259.43/259.62 Resetting weight limit to 26 after 1270 givens.
% 259.43/259.62
% 259.51/259.70
% 259.51/259.70
% 259.51/259.70 Changing weight limit from 26 to 27.
% 259.51/259.70
% 259.51/259.70 Resetting weight limit to 27 after 1285 givens.
% 259.51/259.70
% 259.51/259.73
% 259.51/259.73
% 259.51/259.73 Changing weight limit from 27 to 26.
% 259.51/259.73
% 259.51/259.73 Resetting weight limit to 26 after 1290 givens.
% 259.51/259.73
% 259.51/259.75
% 259.51/259.75
% 259.51/259.75 Changing weight limit from 26 to 25.
% 259.51/259.75
% 259.51/259.75 Resetting weight limit to 25 after 1295 givens.
% 259.51/259.75
% 259.60/259.80
% 259.60/259.80
% 259.60/259.80 Changing weight limit from 25 to 26.
% 259.60/259.80
% 259.60/259.80 Resetting weight limit to 26 after 1305 givens.
% 259.60/259.80
% 259.63/259.82
% 259.63/259.82
% 259.63/259.82 Changing weight limit from 26 to 25.
% 259.63/259.82
% 259.63/259.82 Resetting weight limit to 25 after 1310 givens.
% 259.63/259.82
% 259.65/259.89
% 259.65/259.89
% 259.65/259.89 Changing weight limit from 25 to 26.
% 259.65/259.89
% 259.65/259.89 Resetting weight limit to 26 after 1325 givens.
% 259.65/259.89
% 259.65/259.91
% 259.65/259.91
% 259.65/259.91 Changing weight limit from 26 to 25.
% 259.65/259.91
% 259.65/259.91 Resetting weight limit to 25 after 1330 givens.
% 259.65/259.91
% 259.76/259.97
% 259.76/259.97
% 259.76/259.97 Changing weight limit from 25 to 26.
% 259.76/259.97
% 259.76/259.97 Resetting weight limit to 26 after 1345 givens.
% 259.76/259.97
% 259.82/260.00
% 259.82/260.00
% 259.82/260.00 Changing weight limit from 26 to 25.
% 259.82/260.00
% 259.82/260.00 Resetting weight limit to 25 after 1350 givens.
% 259.82/260.00
% 259.89/260.07
% 259.89/260.07
% 259.89/260.07 Changing weight limit from 25 to 26.
% 259.89/260.07
% 259.89/260.07 Resetting weight limit to 26 after 1365 givens.
% 259.89/260.07
% 259.89/260.09
% 259.89/260.09
% 259.89/260.09 Changing weight limit from 26 to 25.
% 259.89/260.09
% 259.89/260.09 Resetting weight limit to 25 after 1370 givens.
% 259.89/260.09
% 259.96/260.17
% 259.96/260.17
% 259.96/260.17 Changing weight limit from 25 to 26.
% 259.96/260.17
% 259.96/260.17 Resetting weight limit to 26 after 1385 givens.
% 259.96/260.17
% 259.96/260.19
% 259.96/260.19
% 259.96/260.19 Changing weight limit from 26 to 25.
% 259.96/260.19
% 259.96/260.19 Resetting weight limit to 25 after 1390 givens.
% 259.96/260.19
% 260.06/260.25
% 260.06/260.25
% 260.06/260.25 Changing weight limit from 25 to 26.
% 260.06/260.25
% 260.06/260.25 Resetting weight limit to 26 after 1405 givens.
% 260.06/260.25
% 260.06/260.27
% 260.06/260.27
% 260.06/260.27 Changing weight limit from 26 to 25.
% 260.06/260.27
% 260.06/260.27 Resetting weight limit to 25 after 1410 givens.
% 260.06/260.27
% 260.12/260.34
% 260.12/260.34
% 260.12/260.34 Changing weight limit from 25 to 26.
% 260.12/260.34
% 260.12/260.34 Resetting weight limit to 26 after 1425 givens.
% 260.12/260.34
% 260.18/260.37
% 260.18/260.37
% 260.18/260.37 Changing weight limit from 26 to 25.
% 260.18/260.37
% 260.18/260.37 Resetting weight limit to 25 after 1430 givens.
% 260.18/260.37
% 260.18/260.44
% 260.18/260.44
% 260.18/260.44 Changing weight limit from 25 to 26.
% 260.18/260.44
% 260.18/260.44 Resetting weight limit to 26 after 1445 givens.
% 260.18/260.44
% 260.18/260.47
% 260.18/260.47
% 260.18/260.47 Changing weight limit from 26 to 25.
% 260.18/260.47
% 260.18/260.47 Resetting weight limit to 25 after 1450 givens.
% 260.18/260.47
% 260.35/260.53
% 260.35/260.53
% 260.35/260.53 Changing weight limit from 25 to 26.
% 260.35/260.53
% 260.35/260.53 Resetting weight limit to 26 after 1465 givens.
% 260.35/260.53
% 260.39/260.56
% 260.39/260.56
% 260.39/260.56 Changing weight limit from 26 to 25.
% 260.39/260.56
% 260.39/260.56 Resetting weight limit to 25 after 1470 givens.
% 260.39/260.56
% 260.39/260.63
% 260.39/260.63
% 260.39/260.63 Changing weight limit from 25 to 26.
% 260.39/260.63
% 260.39/260.63 Resetting weight limit to 26 after 1485 givens.
% 260.39/260.63
% 260.47/260.65
% 260.47/260.65
% 260.47/260.65 Changing weight limit from 26 to 25.
% 260.47/260.65
% 260.47/260.65 Resetting weight limit to 25 after 1490 givens.
% 260.47/260.65
% 260.52/260.72
% 260.52/260.72
% 260.52/260.72 Changing weight limit from 25 to 26.
% 260.52/260.72
% 260.52/260.72 Resetting weight limit to 26 after 1505 givens.
% 260.52/260.72
% 260.58/260.75
% 260.58/260.75
% 260.58/260.75 Changing weight limit from 26 to 25.
% 260.58/260.75
% 260.58/260.75 Resetting weight limit to 25 after 1510 givens.
% 260.58/260.75
% 260.69/260.90
% 260.69/260.90
% 260.69/260.90 Changing weight limit from 25 to 26.
% 260.69/260.90
% 260.69/260.90 Resetting weight limit to 26 after 1545 givens.
% 260.69/260.90
% 260.69/260.92
% 260.69/260.92
% 260.69/260.92 Changing weight limit from 26 to 25.
% 260.69/260.92
% 260.69/260.92 Resetting weight limit to 25 after 1550 givens.
% 260.69/260.92
% 260.82/260.99
% 260.82/260.99
% 260.82/260.99 Changing weight limit from 25 to 26.
% 260.82/260.99
% 260.82/260.99 Resetting weight limit to 26 after 1565 givens.
% 260.82/260.99
% 260.82/261.02
% 260.82/261.02
% 260.82/261.02 Changing weight limit from 26 to 25.
% 260.82/261.02
% 260.82/261.02 Resetting weight limit to 25 after 1570 givens.
% 260.82/261.02
% 260.91/261.09
% 260.91/261.09
% 260.91/261.09 Changing weight limit from 25 to 26.
% 260.91/261.09
% 260.91/261.09 Resetting weight limit to 26 after 1585 givens.
% 260.91/261.09
% 260.91/261.11
% 260.91/261.11
% 260.91/261.11 Changing weight limit from 26 to 25.
% 260.91/261.11
% 260.91/261.11 Resetting weight limit to 25 after 1590 givens.
% 260.91/261.11
% 260.99/261.19
% 260.99/261.19
% 260.99/261.19 Changing weight limit from 25 to 26.
% 260.99/261.19
% 260.99/261.19 Resetting weight limit to 26 after 1605 givens.
% 260.99/261.19
% 260.99/261.21
% 260.99/261.21
% 260.99/261.21 Changing weight limit from 26 to 25.
% 260.99/261.21
% 260.99/261.21 Resetting weight limit to 25 after 1610 givens.
% 260.99/261.21
% 261.10/261.28
% 261.10/261.28
% 261.10/261.28 Changing weight limit from 25 to 26.
% 261.10/261.28
% 261.10/261.28 Resetting weight limit to 26 after 1625 givens.
% 261.10/261.28
% 261.10/261.31
% 261.10/261.31
% 261.10/261.31 Changing weight limit from 26 to 25.
% 261.10/261.31
% 261.10/261.31 Resetting weight limit to 25 after 1630 givens.
% 261.10/261.31
% 261.21/261.38
% 261.21/261.38
% 261.21/261.38 Changing weight limit from 25 to 26.
% 261.21/261.38
% 261.21/261.38 Resetting weight limit to 26 after 1645 givens.
% 261.21/261.38
% 261.21/261.41
% 261.21/261.41
% 261.21/261.41 Changing weight limit from 26 to 25.
% 261.21/261.41
% 261.21/261.41 Resetting weight limit to 25 after 1650 givens.
% 261.21/261.41
% 261.29/261.48
% 261.29/261.48
% 261.29/261.48 Changing weight limit from 25 to 26.
% 261.29/261.48
% 261.29/261.48 Resetting weight limit to 26 after 1665 givens.
% 261.29/261.48
% 261.29/261.51
% 261.29/261.51
% 261.29/261.51 Changing weight limit from 26 to 25.
% 261.29/261.51
% 261.29/261.51 Resetting weight limit to 25 after 1670 givens.
% 261.29/261.51
% 261.35/261.57
% 261.35/261.57
% 261.35/261.57 Changing weight limit from 25 to 26.
% 261.35/261.57
% 261.35/261.57 Resetting weight limit to 26 after 1685 givens.
% 261.35/261.57
% 261.41/261.60
% 261.41/261.60
% 261.41/261.60 Changing weight limit from 26 to 25.
% 261.41/261.60
% 261.41/261.60 Resetting weight limit to 25 after 1690 givens.
% 261.41/261.60
% 261.49/261.67
% 261.49/261.67
% 261.49/261.67 Changing weight limit from 25 to 26.
% 261.49/261.67
% 261.49/261.67 Resetting weight limit to 26 after 1705 givens.
% 261.49/261.67
% 261.53/261.70
% 261.53/261.70
% 261.53/261.70 Changing weight limit from 26 to 25.
% 261.53/261.70
% 261.53/261.70 Resetting weight limit to 25 after 1710 givens.
% 261.53/261.70
% 261.57/261.77
% 261.57/261.77
% 261.57/261.77 Changing weight limit from 25 to 26.
% 261.57/261.77
% 261.57/261.77 Resetting weight limit to 26 after 1725 givens.
% 261.57/261.77
% 261.57/261.79
% 261.57/261.79
% 261.57/261.79 Changing weight limit from 26 to 25.
% 261.57/261.79
% 261.57/261.79 Resetting weight limit to 25 after 1730 givens.
% 261.57/261.79
% 261.70/261.87
% 261.70/261.87
% 261.70/261.87 Changing weight limit from 25 to 26.
% 261.70/261.87
% 261.70/261.87 Resetting weight limit to 26 after 1745 givens.
% 261.70/261.87
% 261.70/261.89
% 261.70/261.89
% 261.70/261.89 Changing weight limit from 26 to 25.
% 261.70/261.89
% 261.70/261.89 Resetting weight limit to 25 after 1750 givens.
% 261.70/261.89
% 261.79/261.97
% 261.79/261.97
% 261.79/261.97 Changing weight limit from 25 to 26.
% 261.79/261.97
% 261.79/261.97 Resetting weight limit to 26 after 1765 givens.
% 261.79/261.97
% 261.83/261.99
% 261.83/261.99
% 261.83/261.99 Changing weight limit from 26 to 25.
% 261.83/261.99
% 261.83/261.99 Resetting weight limit to 25 after 1770 givens.
% 261.83/261.99
% 261.87/262.07
% 261.87/262.07
% 261.87/262.07 Changing weight limit from 25 to 26.
% 261.87/262.07
% 261.87/262.07 Resetting weight limit to 26 after 1785 givens.
% 261.87/262.07
% 261.87/262.09
% 261.87/262.09
% 261.87/262.09 Changing weight limit from 26 to 25.
% 261.87/262.09
% 261.87/262.09 Resetting weight limit to 25 after 1790 givens.
% 261.87/262.09
% 261.95/262.17
% 261.95/262.17
% 261.95/262.17 Changing weight limit from 25 to 26.
% 261.95/262.17
% 261.95/262.17 Resetting weight limit to 26 after 1805 givens.
% 261.95/262.17
% 262.02/262.19
% 262.02/262.19
% 262.02/262.19 Changing weight limit from 26 to 25.
% 262.02/262.19
% 262.02/262.19 Resetting weight limit to 25 after 1810 givens.
% 262.02/262.19
% 262.02/262.26
% 262.02/262.26
% 262.02/262.26 Changing weight limit from 25 to 26.
% 262.02/262.26
% 262.02/262.26 Resetting weight limit to 26 after 1825 givens.
% 262.02/262.26
% 262.11/262.28
% 262.11/262.28
% 262.11/262.28 Changing weight limit from 26 to 25.
% 262.11/262.28
% 262.11/262.28 Resetting weight limit to 25 after 1830 givens.
% 262.11/262.28
% 262.15/262.36
% 262.15/262.36
% 262.15/262.36 Changing weight limit from 25 to 26.
% 262.15/262.36
% 262.15/262.36 Resetting weight limit to 26 after 1845 givens.
% 262.15/262.36
% 262.15/262.39
% 262.15/262.39
% 262.15/262.39 Changing weight limit from 26 to 25.
% 262.15/262.39
% 262.15/262.39 Resetting weight limit to 25 after 1850 givens.
% 262.15/262.39
% 262.24/262.48
% 262.24/262.48
% 262.24/262.48 Changing weight limit from 25 to 26.
% 262.24/262.48
% 262.24/262.48 Resetting weight limit to 26 after 1865 givens.
% 262.24/262.48
% 262.32/262.50
% 262.32/262.50
% 262.32/262.50 Changing weight limit from 26 to 25.
% 262.32/262.50
% 262.32/262.50 Resetting weight limit to 25 after 1870 givens.
% 262.32/262.50
% 262.41/262.59
% 262.41/262.59
% 262.41/262.59 Changing weight limit from 25 to 26.
% 262.41/262.59
% 262.41/262.59 Resetting weight limit to 26 after 1885 givens.
% 262.41/262.59
% 262.43/262.61
% 262.43/262.61
% 262.43/262.61 Changing weight limit from 26 to 25.
% 262.43/262.61
% 262.43/262.61 Resetting weight limit to 25 after 1890 givens.
% 262.43/262.61
% 262.47/262.70
% 262.47/262.70
% 262.47/262.70 Changing weight limit from 25 to 26.
% 262.47/262.70
% 262.47/262.70 Resetting weight limit to 26 after 1905 givens.
% 262.47/262.70
% 262.55/262.73
% 262.55/262.73
% 262.55/262.73 Changing weight limit from 26 to 25.
% 262.55/262.73
% 262.55/262.73 Resetting weight limit to 25 after 1910 givens.
% 262.55/262.73
% 262.63/262.82
% 262.63/262.82
% 262.63/262.82 Changing weight limit from 25 to 26.
% 262.63/262.82
% 262.63/262.82 Resetting weight limit to 26 after 1925 givens.
% 262.63/262.82
% 262.63/262.84
% 262.63/262.84
% 262.63/262.84 Changing weight limit from 26 to 25.
% 262.63/262.84
% 262.63/262.84 Resetting weight limit to 25 after 1930 givens.
% 262.63/262.84
% 262.75/262.94
% 262.75/262.94
% 262.75/262.94 Changing weight limit from 25 to 26.
% 262.75/262.94
% 262.75/262.94 Resetting weight limit to 26 after 1945 givens.
% 262.75/262.94
% 262.75/262.96
% 262.75/262.96
% 262.75/262.96 Changing weight limit from 26 to 25.
% 262.75/262.96
% 262.75/262.96 Resetting weight limit to 25 after 1950 givens.
% 262.75/262.96
% 262.85/263.05
% 262.85/263.05
% 262.85/263.05 Changing weight limit from 25 to 26.
% 262.85/263.05
% 262.85/263.05 Resetting weight limit to 26 after 1965 givens.
% 262.85/263.05
% 262.85/263.07
% 262.85/263.07
% 262.85/263.07 Changing weight limit from 26 to 25.
% 262.85/263.07
% 262.85/263.07 Resetting weight limit to 25 after 1970 givens.
% 262.85/263.07
% 273.66/273.88
% 273.66/273.88
% 273.66/273.88 Changing weight limit from 25 to 26.
% 273.66/273.88
% 273.66/273.88 Resetting weight limit to 26 after 4105 givens.
% 273.66/273.88
% 273.66/273.90
% 273.66/273.90
% 273.66/273.90 Changing weight limit from 26 to 25.
% 273.66/273.90
% 273.66/273.90 Resetting weight limit to 25 after 4110 givens.
% 273.66/273.90
% 273.66/273.93
% 273.66/273.93
% 273.66/273.93 Changing weight limit from 25 to 26.
% 273.66/273.93
% 273.66/273.93 Resetting weight limit to 26 after 4120 givens.
% 273.66/273.93
% 273.66/273.93
% 273.66/273.93
% 273.66/273.93 Changing weight limit from 26 to 27.
% 273.66/273.93
% 273.66/273.93 Resetting weight limit to 27 after 4125 givens.
% 273.66/273.93
% 273.76/273.94
% 273.76/273.94
% 273.76/273.94 Changing weight limit from 27 to 28.
% 273.76/273.94
% 273.76/273.94 Resetting weight limit to 28 after 4130 givens.
% 273.76/273.94
% 273.89/274.07
% 273.89/274.07
% 273.89/274.07 Changing weight limit from 28 to 29.
% 273.89/274.07
% 273.89/274.07 Resetting weight limit to 29 after 4145 givens.
% 273.89/274.07
% 273.89/274.10
% 273.89/274.10
% 273.89/274.10 Changing weight limit from 29 to 28.
% 273.89/274.10
% 273.89/274.10 Resetting weight limit to 28 after 4150 givens.
% 273.89/274.10
% 274.00/274.21
% 274.00/274.21
% 274.00/274.21 Changing weight limit from 28 to 29.
% 274.00/274.21
% 274.00/274.21 Resetting weight limit to 29 after 4165 givens.
% 274.00/274.21
% 274.08/274.25
% 274.08/274.25
% 274.08/274.25 Changing weight limit from 29 to 28.
% 274.08/274.25
% 274.08/274.25 Resetting weight limit to 28 after 4170 givens.
% 274.08/274.25
% 274.08/274.28
% 274.08/274.28
% 274.08/274.28 Changing weight limit from 28 to 29.
% 274.08/274.28
% 274.08/274.28 Resetting weight limit to 29 after 4175 givens.
% 274.08/274.28
% 274.08/274.32
% 274.08/274.32
% 274.08/274.32 Changing weight limit from 29 to 30.
% 274.08/274.32
% 274.08/274.32 Resetting weight limit to 30 after 4180 givens.
% 274.08/274.32
% 274.16/274.36
% 274.16/274.36
% 274.16/274.36 Changing weight limit from 30 to 31.
% 274.16/274.36
% 274.16/274.36 Resetting weight limit to 31 after 4185 givens.
% 274.16/274.36
% 274.21/274.41
% 274.21/274.41
% 274.21/274.41 Changing weight limit from 31 to 28.
% 274.21/274.41
% 274.21/274.41 Resetting weight limit to 28 after 4190 givens.
% 274.21/274.41
% 274.34/274.52
% 274.34/274.52
% 274.34/274.52 Changing weight limit from 28 to 29.
% 274.34/274.52
% 274.34/274.52 Resetting weight limit to 29 after 4205 givens.
% 274.34/274.52
% 274.38/274.56
% 274.38/274.56
% 274.38/274.56 Changing weight limit from 29 to 28.
% 274.38/274.56
% 274.38/274.56 Resetting weight limit to 28 after 4210 givens.
% 274.38/274.56
% 274.46/274.67
% 274.46/274.67
% 274.46/274.67 Changing weight limit from 28 to 29.
% 274.46/274.67
% 274.46/274.67 Resetting weight limit to 29 after 4225 givens.
% 274.46/274.67
% 274.51/274.71
% 274.51/274.71
% 274.51/274.71 Changing weight limit from 29 to 28.
% 274.51/274.71
% 274.51/274.71 Resetting weight limit to 28 after 4230 givens.
% 274.51/274.71
% 274.60/274.82
% 274.60/274.82
% 274.60/274.82 Changing weight limit from 28 to 29.
% 274.60/274.82
% 274.60/274.82 Resetting weight limit to 29 after 4245 givens.
% 274.60/274.82
% 274.68/274.85
% 274.68/274.85
% 274.68/274.85 Changing weight limit from 29 to 28.
% 274.68/274.85
% 274.68/274.85 Resetting weight limit to 28 after 4250 givens.
% 274.68/274.85
% 274.79/274.96
% 274.79/274.96
% 274.79/274.96 Changing weight limit from 28 to 29.
% 274.79/274.96
% 274.79/274.96 Resetting weight limit to 29 after 4265 givens.
% 274.79/274.96
% 274.79/275.00
% 274.79/275.00
% 274.79/275.00 Changing weight limit from 29 to 30.
% 274.79/275.00
% 274.79/275.00 Resetting weight limit to 30 after 4270 givens.
% 274.79/275.00
% 274.87/275.05
% 274.87/275.05
% 274.87/275.05 Changing weight limit from 30 to 28.
% 274.87/275.05
% 274.87/275.05 Resetting weight limit to 28 after 4275 givens.
% 274.87/275.05
% 274.90/275.12
% 274.90/275.12
% 274.90/275.12 Changing weight limit from 28 to 29.
% 274.90/275.12
% 274.90/275.12 Resetting weight limit to 29 after 4285 givens.
% 274.90/275.12
% 274.98/275.16
% 274.98/275.16
% 274.98/275.16 Changing weight limit from 29 to 28.
% 274.98/275.16
% 274.98/275.16 Resetting weight limit to 28 after 4290 givens.
% 274.98/275.16
% 275.05/275.28
% 275.05/275.28
% 275.05/275.28 Changing weight limit from 28 to 29.
% 275.05/275.28
% 275.05/275.28 Resetting weight limit to 29 after 4305 givens.
% 275.05/275.28
% 275.10/275.31
% 275.10/275.31
% 275.10/275.31 Changing weight limit from 29 to 28.
% 275.10/275.31
% 275.10/275.31 Resetting weight limit to 28 after 4310 givens.
% 275.10/275.31
% 275.10/275.35
% 275.10/275.35
% 275.10/275.35 Changing weight limit from 28 to 29.
% 275.10/275.35
% 275.10/275.35 Resetting weight limit to 29 after 4315 givens.
% 275.10/275.35
% 275.19/275.39
% 275.19/275.39
% 275.19/275.39 Changing weight limit from 29 to 28.
% 275.19/275.39
% 275.19/275.39 Resetting weight limit to 28 after 4320 givens.
% 275.19/275.39
% 275.22/275.43
% 275.22/275.43
% 275.22/275.43 Changing weight limit from 28 to 29.
% 275.22/275.43
% 275.22/275.43 Resetting weight limit to 29 after 4325 givens.
% 275.22/275.43
% 275.26/275.46
% 275.26/275.46
% 275.26/275.46 Changing weight limit from 29 to 28.
% 275.26/275.46
% 275.26/275.46 Resetting weight limit to 28 after 4330 givens.
% 275.26/275.46
% 275.40/275.57
% 275.40/275.57
% 275.40/275.57 Changing weight limit from 28 to 29.
% 275.40/275.57
% 275.40/275.57 Resetting weight limit to 29 after 4345 givens.
% 275.40/275.57
% 275.40/275.61
% 275.40/275.61
% 275.40/275.61 Changing weight limit from 29 to 28.
% 275.40/275.61
% 275.40/275.61 Resetting weight limit to 28 after 4350 givens.
% 275.40/275.61
% 275.53/275.73
% 275.53/275.73
% 275.53/275.73 Changing weight limit from 28 to 29.
% 275.53/275.73
% 275.53/275.73 Resetting weight limit to 29 after 4365 givens.
% 275.53/275.73
% 275.57/275.77
% 275.57/275.77
% 275.57/275.77 Changing weight limit from 29 to 28.
% 275.57/275.77
% 275.57/275.77 Resetting weight limit to 28 after 4370 givens.
% 275.57/275.77
% 275.94/276.12
% 275.94/276.12
% 275.94/276.12 Changing weight limit from 28 to 29.
% 275.94/276.12
% 275.94/276.12 Resetting weight limit to 29 after 4415 givens.
% 275.94/276.12
% 275.94/276.16
% 275.94/276.16
% 275.94/276.16 Changing weight limit from 29 to 30.
% 275.94/276.16
% 275.94/276.16 Resetting weight limit to 30 after 4420 givens.
% 275.94/276.16
% 276.02/276.26
% 276.02/276.26
% 276.02/276.26 Changing weight limit from 30 to 28.
% 276.02/276.26
% 276.02/276.26 Resetting weight limit to 28 after 4430 givens.
% 276.02/276.26
% 280.01/280.21
% 280.01/280.21
% 280.01/280.21 Changing weight limit from 28 to 29.
% 280.01/280.21
% 280.01/280.21 Resetting weight limit to 29 after 4965 givens.
% 280.01/280.21
% 282.61/282.80
% 282.61/282.80
% 282.61/282.80 Changing weight limit from 29 to 30.
% 282.61/282.80
% 282.61/282.80 Resetting weight limit to 30 after 5335 givens.
% 282.61/282.80
% 296.00/296.20
% 296.00/296.20
% 296.00/296.20 Changing weight limit from 30 to 31.
% 296.00/296.20
% 296.00/296.20 Resetting weight limit to 31 after 6725 givens.
% 296.00/296.20
% 296.10/296.28
% 296.10/296.28
% 296.10/296.28 Changing weight limit from 31 to 30.
% 296.10/296.28
% 296.10/296.28 Resetting weight limit to 30 after 6730 givens.
% 296.10/296.28
% 299.80/300.05
% 299.80/300.05
% 299.80/300.05 Changing weight limit from 30 to 27.
% 299.80/300.05
% 299.80/300.05 Resetting weight limit to 27 after 7020 givens.
% 299.80/300.05
% 299.93/300.11
% 299.93/300.11
% 299.93/300.11 Changing weight limit from 27 to 26.
% 299.93/300.11
% 299.93/300.11 Resetting weight limit to 26 after 7025 givens.
% 299.93/300.11
% 300.07/300.24 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------