TSTP Solution File: FLD095-4 by SOS---2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : SOS---2.0
% Problem : FLD095-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : sos-script %s
% Computer : n022.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Sat Jul 16 02:28:09 EDT 2022
% Result : Timeout 300.06s 300.27s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : FLD095-4 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.03/0.12 % Command : sos-script %s
% 0.11/0.33 % Computer : n022.cluster.edu
% 0.11/0.33 % Model : x86_64 x86_64
% 0.11/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.33 % Memory : 8042.1875MB
% 0.11/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.33 % CPULimit : 300
% 0.11/0.33 % WCLimit : 600
% 0.11/0.33 % DateTime : Mon Jun 6 16:05:20 EDT 2022
% 0.11/0.33 % CPUTime :
% 0.11/0.35 ----- Otter 3.2, August 2001 -----
% 0.11/0.35 The process was started by sandbox on n022.cluster.edu,
% 0.11/0.35 Mon Jun 6 16:05:20 2022
% 0.11/0.35 The command was "./sos". The process ID is 2672.
% 0.11/0.35
% 0.11/0.35 set(prolog_style_variables).
% 0.11/0.35 set(auto).
% 0.11/0.35 dependent: set(auto1).
% 0.11/0.35 dependent: set(process_input).
% 0.11/0.35 dependent: clear(print_kept).
% 0.11/0.35 dependent: clear(print_new_demod).
% 0.11/0.35 dependent: clear(print_back_demod).
% 0.11/0.35 dependent: clear(print_back_sub).
% 0.11/0.35 dependent: set(control_memory).
% 0.11/0.35 dependent: assign(max_mem, 12000).
% 0.11/0.35 dependent: assign(pick_given_ratio, 4).
% 0.11/0.35 dependent: assign(stats_level, 1).
% 0.11/0.35 dependent: assign(pick_semantic_ratio, 3).
% 0.11/0.35 dependent: assign(sos_limit, 5000).
% 0.11/0.35 dependent: assign(max_weight, 60).
% 0.11/0.35 clear(print_given).
% 0.11/0.35
% 0.11/0.35 list(usable).
% 0.11/0.35
% 0.11/0.35 SCAN INPUT: prop=0, horn=0, equality=0, symmetry=0, max_lits=5.
% 0.11/0.35
% 0.11/0.35 This is a non-Horn set without equality. The strategy
% 0.11/0.35 will be ordered hyper_res, ur_res, unit deletion, and
% 0.11/0.35 factoring, with satellites in sos and nuclei in usable.
% 0.11/0.35
% 0.11/0.35 dependent: set(hyper_res).
% 0.11/0.35 dependent: set(factor).
% 0.11/0.35 dependent: set(unit_deletion).
% 0.11/0.35
% 0.11/0.35 ------------> process usable:
% 0.11/0.35
% 0.11/0.35 ------------> process sos:
% 0.11/0.35
% 0.11/0.35 ======= end of input processing =======
% 0.17/0.43
% 0.17/0.43 Model 1 (0.00 seconds, 0 Inserts)
% 0.17/0.43
% 0.17/0.43 Stopped by limit on number of solutions
% 0.17/0.43
% 0.17/0.43
% 0.17/0.43 -------------- Softie stats --------------
% 0.17/0.43
% 0.17/0.43 UPDATE_STOP: 300
% 0.17/0.43 SFINDER_TIME_LIMIT: 2
% 0.17/0.43 SHORT_CLAUSE_CUTOFF: 4
% 0.17/0.43 number of clauses in intial UL: 50
% 0.17/0.43 number of clauses initially in problem: 69
% 0.17/0.43 percentage of clauses intially in UL: 72
% 0.17/0.43 percentage of distinct symbols occuring in initial UL: 73
% 0.17/0.43 percent of all initial clauses that are short: 100
% 0.17/0.43 absolute distinct symbol count: 19
% 0.17/0.43 distinct predicate count: 4
% 0.17/0.43 distinct function count: 4
% 0.17/0.43 distinct constant count: 11
% 0.17/0.43
% 0.17/0.43 ---------- no more Softie stats ----------
% 0.17/0.43
% 0.17/0.43
% 0.17/0.43
% 0.17/0.43 Model 2 (0.00 seconds, 0 Inserts)
% 0.17/0.43
% 0.17/0.43 Stopped by limit on number of solutions
% 0.17/0.43
% 0.17/0.43 =========== start of search ===========
% 4.08/4.30
% 4.08/4.30
% 4.08/4.30 Changing weight limit from 60 to 12.
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 3 [ 1 2 279 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 4 [ 2 2 301 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 5 [ 3 1 255 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 6 [ 3 1 215 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 7 [ 3 1 181 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 8 [ 3 1 280 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 9 [ 4 1 152 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 10 [ 4 1 410 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 11 [ 5 1 1018 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 12 [ 4 2 651 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 13 [ 6 1 456 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 14 [ 7 1 138 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 15 [ 14 1 135 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 16 [ 14 1 270 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 17 [ 6 1 132 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 18 [ 8 1 180 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 19 [ 6 1 572 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 20 [ 7 2 113 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 21 [ 6 1 419 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 22 [ 16 1 213 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 23 [ 8 1 468 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 24 [ 7 2 215 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 25 [ 22 1 205 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 26 [ 7 1 435 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 27 [ 10 1 420 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 28 [ 10 2 868 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 29 [ 7 1 278 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 30 [ 22 2 149 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 31 [ 12 7 213665 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 32 [ 10 1 711 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 33 [ 13 1 1005 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 34 [ 9 3 44381 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 35 [ 10 2 503 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Stopped by limit on insertions
% 4.08/4.30
% 4.08/4.30 Model 36 [ 8 1 349 ] (0.00 seconds, 250000 Inserts)
% 4.08/4.30
% 4.08/4.30 Resetting weight limit to 12 after 45 givens.
% 4.08/4.30
% 4.64/4.84
% 4.64/4.84
% 4.64/4.84 Changing weight limit from 12 to 10.
% 4.64/4.84
% 4.64/4.84 Stopped by limit on insertions
% 4.64/4.84
% 4.64/4.84 Model 37 [ 32 1 155 ] (0.00 seconds, 250000 Inserts)
% 4.64/4.84
% 4.64/4.84 Stopped by limit on insertions
% 4.64/4.84
% 4.64/4.84 Model 38 [ 30 2 147 ] (0.00 seconds, 250000 Inserts)
% 4.64/4.84
% 4.64/4.84 Stopped by limit on insertions
% 4.64/4.84
% 4.64/4.84 Model 39 [ 8 2 126 ] (0.00 seconds, 250000 Inserts)
% 4.64/4.84
% 4.64/4.84 Stopped by limit on insertions
% 4.64/4.84
% 4.64/4.84 Model 40 [ 12 1 649 ] (0.00 seconds, 250000 Inserts)
% 4.64/4.84
% 4.64/4.84 Resetting weight limit to 10 after 50 givens.
% 4.64/4.84
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 41 [ 10 2 146 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 42 [ 40 1 238 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 43 [ 10 1 429 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 44 [ 43 1 120 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 45 [ 10 2 533 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 46 [ 13 2 896 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 47 [ 33 2 321 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 48 [ 9 8 165235 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 49 [ 13 1 141 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 50 [ 11 2 6854 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 51 [ 9 3 36828 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 52 [ 10 1 150 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 53 [ 50 2 150 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 54 [ 14 13 243379 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 55 [ 43 2 114 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 56 [ 17 4 34586 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 57 [ 16 12 189478 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 58 [ 16 4 38104 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 59 [ 14 10 96567 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 60 [ 15 6 73319 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 61 [ 11 6 100990 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 62 [ 8 2 16848 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 63 [ 49 1 152 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 64 [ 12 2 128 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 65 [ 57 2 166 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 66 [ 17 5 51113 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 67 [ 16 4 40628 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 68 [ 6 1 110 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 69 [ 12 1 182 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 70 [ 16 1 174 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 71 [ 60 1 160 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 72 [ 23 9 88379 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 73 [ 14 14 150403 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 74 [ 23 8 67008 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 75 [ 12 18 161234 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 76 [ 61 1 163 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 77 [ 13 1 127 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 78 [ 69 1 121 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 79 [ 72 1 189 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 80 [ 20 2 976 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 81 [ 78 2 155 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 82 [ 17 27 183472 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 83 [ 19 1 956 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 84 [ 12 2 109 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 85 [ 74 1 206 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 86 [ 17 2 205 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 14.99/15.21 Stopped by limit on insertions
% 14.99/15.21
% 14.99/15.21 Model 87 [ 62 2 164 ] (0.00 seconds, 250000 Inserts)
% 14.99/15.21
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 88 [ 21 1 383 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 89 [ 20 21 116624 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 90 [ 13 3 16527 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 91 [ 16 2 172 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 92 [ 75 2 266 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 93 [ 13 7 191859 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 94 [ 70 2 279 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 95 [ 73 2 152 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 96 [ 17 11 56410 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 97 [ 18 2 786 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 98 [ 95 1 373 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 99 [ 32 18 77707 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 100 [ 14 5 103515 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 101 [ 98 1 182 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 102 [ 74 2 109 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 103 [ 18 55 231338 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 104 [ 17 1 155 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 105 [ 17 1 665 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 106 [ 85 1 112 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 107 [ 33 25 92930 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 108 [ 22 2 1081 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 109 [ 82 2 583 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 110 [ 23 2 111 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 111 [ 85 2 184 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 112 [ 21 35 141349 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 113 [ 21 1 713 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 114 [ 28 2 416 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 115 [ 86 1 110 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 116 [ 25 9 96098 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 117 [ 25 19 109383 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 118 [ 28 2 140 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 119 [ 37 2 1925 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 120 [ 22 60 225961 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 121 [ 26 2 288 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 122 [ 94 2 418 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 123 [ 26 2 762 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 124 [ 26 2 179 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 125 [ 120 2 195 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 126 [ 29 30 87328 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 127 [ 43 63 168284 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 128 [ 15 1 515 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 129 [ 13 2 110 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 130 [ 28 2 109 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 35.54/35.75 Model 131 [ 115 2 205 ] (0.00 seconds, 250000 Inserts)
% 35.54/35.75
% 35.54/35.75 Stopped by limit on insertions
% 35.54/35.75
% 69.14/69.39 Model 132 [ 129 2 131 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 133 [ 22 2 136 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 134 [ 115 2 118 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 135 [ 34 52 142068 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 136 [ 26 2 438 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 137 [ 109 2 934 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 138 [ 33 2 112 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 139 [ 116 2 194 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 140 [ 23 2 939 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 141 [ 19 2 874 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 142 [ 21 2 194 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 143 [ 114 2 601 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 144 [ 43 100 233234 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 145 [ 21 74 234749 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 146 [ 120 2 157 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 147 [ 25 2 223 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 148 [ 33 1 157 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 149 [ 32 2 723 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 150 [ 27 2 461 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 151 [ 26 2 200 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 152 [ 130 2 258 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 153 [ 23 79 212226 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 154 [ 48 4 5680 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 155 [ 33 2 482 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 156 [ 33 2 164 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 157 [ 131 2 206 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 158 [ 31 1 162 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 159 [ 38 2 282 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 160 [ 48 3 1287 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 161 [ 39 2 1242 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 162 [ 144 2 194 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 163 [ 35 86 203522 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 164 [ 22 2 162 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 165 [ 124 101 248374 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 166 [ 45 2 133 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 167 [ 30 2 148 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 168 [ 37 2 148 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 169 [ 50 9 17010 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 170 [ 73 2 267 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 171 [ 42 2 753 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 172 [ 55 64 124845 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 173 [ 28 98 248567 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 174 [ 153 3 499 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 175 [ 31 2 199 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 69.14/69.39 Model 176 [ 135 29 52331 ] (0.00 seconds, 250000 Inserts)
% 69.14/69.39
% 69.14/69.39 Stopped by limit on insertions
% 69.14/69.39
% 125.02/125.22 Model 177 [ 40 4 2558 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 178 [ 168 19 42865 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 179 [ 67 8 7973 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 180 [ 70 19 27117 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 181 [ 170 2 662 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 182 [ 46 3 864 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 183 [ 157 2 476 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 184 [ 44 3 533 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 185 [ 40 3 221 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 186 [ 158 82 129094 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 187 [ 69 22 33773 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 188 [ 50 3 1232 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 189 [ 60 2 128 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 190 [ 54 2 165 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 191 [ 70 89 121650 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 192 [ 66 91 122163 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 193 [ 32 2 967 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 194 [ 185 39 85144 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 195 [ 44 3 385 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 196 [ 180 2 471 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 197 [ 31 3 1638 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 198 [ 39 2 239 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 199 [ 53 2 224 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 200 [ 173 91 147807 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 201 [ 44 2 340 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 202 [ 167 2 396 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 203 [ 40 2 112 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 204 [ 141 2 126 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 205 [ 70 3 803 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 206 [ 78 124 165001 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 207 [ 49 55 119855 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 208 [ 49 8 13077 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 209 [ 170 3 152 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 210 [ 48 3 372 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 211 [ 189 67 98420 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 212 [ 165 2 197 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 213 [ 57 3 151 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 214 [ 191 2 156 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 215 [ 43 2 270 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 216 [ 201 2 197 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 217 [ 50 3 338 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 218 [ 214 3 413 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 219 [ 67 50 55916 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 220 [ 60 3 132 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 125.02/125.22 Stopped by limit on insertions
% 125.02/125.22
% 125.02/125.22 Model 221 [ 188 2 194 ] (0.00 seconds, 250000 Inserts)
% 125.02/125.22
% 300.06/300.27 Wow, sos-wrapper got a signal XCPU
%------------------------------------------------------------------------------