Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r395-oct2-167903719000616.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldPPPt-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903719000616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 452K
-rw-r--r-- 1 mcc users 6.1K Feb 25 20:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 20:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 20:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 20:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 21:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 21:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 20:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 20:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679573784473

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPt-PT-010A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:16:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:16:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:16:27] [INFO ] Load time of PNML (sax parser for PT used): 52 ms
[2023-03-23 12:16:27] [INFO ] Transformed 253 places.
[2023-03-23 12:16:27] [INFO ] Transformed 183 transitions.
[2023-03-23 12:16:27] [INFO ] Found NUPN structural information;
[2023-03-23 12:16:27] [INFO ] Parsed PT model containing 253 places and 183 transitions and 726 arcs in 138 ms.
[2023-03-23 12:16:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 253 places, 183 transitions and 726 arcs took 5 ms.
Total runtime 195 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 253 places, 183 transitions, 726 arcs.
AT ITER 0 NEW BEST:: SOT 38059 SOS 31846 HAS SOPS 31846 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25887.846
AT ITER 2 NEW BEST:: SOT 37963 SOS 31818 HAS SOPS 31818 HAS SOUS 25827 HAS SOUPS 25827 WITH SCORE 25858.818
AT ITER 4 NEW BEST:: SOT 37704 SOS 31605 HAS SOPS 31605 HAS SOUS 25630 HAS SOUPS 25630 WITH SCORE 25661.605
AT ITER 8 NEW BEST:: SOT 37704 SOS 31198 HAS SOPS 31198 HAS SOUS 25527 HAS SOUPS 25527 WITH SCORE 25558.198
AT ITER 10 NEW BEST:: SOT 37704 SOS 30916 HAS SOPS 30916 HAS SOUS 25518 HAS SOUPS 25518 WITH SCORE 25548.916
AT ITER 14 NEW BEST:: SOT 37689 SOS 30901 HAS SOPS 30901 HAS SOUS 25501 HAS SOUPS 25501 WITH SCORE 25531.901
AT ITER 20 NEW BEST:: SOT 37617 SOS 30829 HAS SOPS 30829 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25459.829
AT ITER 21 NEW BEST:: SOT 37617 SOS 30635 HAS SOPS 30635 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25459.635
AT ITER 23 NEW BEST:: SOT 37617 SOS 30399 HAS SOPS 30399 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25459.399
AT ITER 30 NEW BEST:: SOT 37617 SOS 30359 HAS SOPS 30359 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25439.359
AT ITER 32 NEW BEST:: SOT 37542 SOS 30273 HAS SOPS 30273 HAS SOUS 25323 HAS SOUPS 25323 WITH SCORE 25353.273
AT ITER 35 NEW BEST:: SOT 37313 SOS 29805 HAS SOPS 29805 HAS SOUS 24911 HAS SOUPS 24911 WITH SCORE 24940.805
AT ITER 38 NEW BEST:: SOT 37304 SOS 29796 HAS SOPS 29796 HAS SOUS 24902 HAS SOUPS 24902 WITH SCORE 24931.796
AT ITER 39 NEW BEST:: SOT 36952 SOS 29185 HAS SOPS 29185 HAS SOUS 24449 HAS SOUPS 24449 WITH SCORE 24478.185
AT ITER 41 NEW BEST:: SOT 36982 SOS 28843 HAS SOPS 28843 HAS SOUS 24354 HAS SOUPS 24354 WITH SCORE 24382.843
AT ITER 42 NEW BEST:: SOT 36602 SOS 27975 HAS SOPS 27975 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23789.975
AT ITER 45 NEW BEST:: SOT 36495 SOS 27866 HAS SOPS 27866 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23685.866
AT ITER 47 NEW BEST:: SOT 36315 SOS 27686 HAS SOPS 27686 HAS SOUS 23477 HAS SOUPS 23477 WITH SCORE 23504.686
AT ITER 49 NEW BEST:: SOT 36309 SOS 27680 HAS SOPS 27680 HAS SOUS 23471 HAS SOUPS 23471 WITH SCORE 23498.68
AT ITER 52 NEW BEST:: SOT 36191 SOS 27560 HAS SOPS 27560 HAS SOUS 23351 HAS SOUPS 23351 WITH SCORE 23378.56
AT ITER 54 NEW BEST:: SOT 36039 SOS 27408 HAS SOPS 27408 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23203.408
AT ITER 55 NEW BEST:: SOT 36039 SOS 27372 HAS SOPS 27372 HAS SOUS 23167 HAS SOUPS 23167 WITH SCORE 23194.372
AT ITER 56 NEW BEST:: SOT 35917 SOS 27249 HAS SOPS 27249 HAS SOUS 23077 HAS SOUPS 23077 WITH SCORE 23104.249
AT ITER 59 NEW BEST:: SOT 35976 SOS 27026 HAS SOPS 27026 HAS SOUS 23038 HAS SOUPS 23038 WITH SCORE 23065.026
AT ITER 61 NEW BEST:: SOT 35927 SOS 26977 HAS SOPS 26977 HAS SOUS 22989 HAS SOUPS 22989 WITH SCORE 23015.977
AT ITER 62 NEW BEST:: SOT 35876 SOS 26926 HAS SOPS 26926 HAS SOUS 22938 HAS SOUPS 22938 WITH SCORE 22964.926
AT ITER 63 NEW BEST:: SOT 35869 SOS 26919 HAS SOPS 26919 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22957.919
AT ITER 65 NEW BEST:: SOT 35869 SOS 26851 HAS SOPS 26851 HAS SOUS 22921 HAS SOUPS 22921 WITH SCORE 22947.851
AT ITER 67 NEW BEST:: SOT 35813 SOS 26827 HAS SOPS 26827 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22851.827
AT ITER 69 NEW BEST:: SOT 35813 SOS 26583 HAS SOPS 26583 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22776.583
AT ITER 71 NEW BEST:: SOT 35705 SOS 26473 HAS SOPS 26473 HAS SOUS 22645 HAS SOUPS 22645 WITH SCORE 22671.473
AT ITER 73 NEW BEST:: SOT 35702 SOS 26470 HAS SOPS 26470 HAS SOUS 22642 HAS SOUPS 22642 WITH SCORE 22668.47
AT ITER 74 NEW BEST:: SOT 35662 SOS 26430 HAS SOPS 26430 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22628.43
AT ITER 75 NEW BEST:: SOT 35662 SOS 26311 HAS SOPS 26311 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22628.311
AT ITER 76 NEW BEST:: SOT 35555 SOS 25802 HAS SOPS 25802 HAS SOUS 22330 HAS SOUPS 22330 WITH SCORE 22355.802
AT ITER 77 NEW BEST:: SOT 35545 SOS 25792 HAS SOPS 25792 HAS SOUS 22320 HAS SOUPS 22320 WITH SCORE 22345.792
AT ITER 79 NEW BEST:: SOT 35302 SOS 25549 HAS SOPS 25549 HAS SOUS 22077 HAS SOUPS 22077 WITH SCORE 22102.549
AT ITER 80 NEW BEST:: SOT 35296 SOS 25543 HAS SOPS 25543 HAS SOUS 22071 HAS SOUPS 22071 WITH SCORE 22096.543
AT ITER 81 NEW BEST:: SOT 35107 SOS 25358 HAS SOPS 25358 HAS SOUS 21886 HAS SOUPS 21886 WITH SCORE 21911.358
AT ITER 83 NEW BEST:: SOT 35063 SOS 25314 HAS SOPS 25314 HAS SOUS 21840 HAS SOUPS 21840 WITH SCORE 21865.314
AT ITER 85 NEW BEST:: SOT 35023 SOS 25274 HAS SOPS 25274 HAS SOUS 21800 HAS SOUPS 21800 WITH SCORE 21825.274
AT ITER 95 NEW BEST:: SOT 35040 SOS 25271 HAS SOPS 25271 HAS SOUS 21797 HAS SOUPS 21797 WITH SCORE 21822.271
AT ITER 103 NEW BEST:: SOT 35040 SOS 25205 HAS SOPS 25205 HAS SOUS 21797 HAS SOUPS 21797 WITH SCORE 21822.205
AT ITER 105 NEW BEST:: SOT 35040 SOS 25152 HAS SOPS 25152 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21811.152
AT ITER 106 NEW BEST:: SOT 35040 SOS 25151 HAS SOPS 25151 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21811.151
AT ITER 108 NEW BEST:: SOT 34993 SOS 25104 HAS SOPS 25104 HAS SOUS 21715 HAS SOUPS 21715 WITH SCORE 21740.104
AT ITER 112 NEW BEST:: SOT 34861 SOS 24972 HAS SOPS 24972 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21581.972
AT ITER 117 NEW BEST:: SOT 34860 SOS 24971 HAS SOPS 24971 HAS SOUS 21555 HAS SOUPS 21555 WITH SCORE 21579.971
AT ITER 118 NEW BEST:: SOT 34704 SOS 24763 HAS SOPS 24763 HAS SOUS 21347 HAS SOUPS 21347 WITH SCORE 21371.763
AT ITER 120 NEW BEST:: SOT 34643 SOS 24701 HAS SOPS 24701 HAS SOUS 21285 HAS SOUPS 21285 WITH SCORE 21309.701
AT ITER 122 NEW BEST:: SOT 34556 SOS 24614 HAS SOPS 24614 HAS SOUS 21198 HAS SOUPS 21198 WITH SCORE 21222.614
AT ITER 127 NEW BEST:: SOT 34556 SOS 24570 HAS SOPS 24570 HAS SOUS 21174 HAS SOUPS 21174 WITH SCORE 21198.57
AT ITER 128 NEW BEST:: SOT 34541 SOS 24178 HAS SOPS 24178 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21115.178
AT ITER 139 NEW BEST:: SOT 34512 SOS 24149 HAS SOPS 24149 HAS SOUS 21027 HAS SOUPS 21027 WITH SCORE 21051.149
AT ITER 144 NEW BEST:: SOT 34512 SOS 24149 HAS SOPS 24149 HAS SOUS 20981 HAS SOUPS 20981 WITH SCORE 21005.149
AT ITER 149 NEW BEST:: SOT 34428 SOS 24128 HAS SOPS 24128 HAS SOUS 20873 HAS SOUPS 20873 WITH SCORE 20897.128
AT ITER 160 NEW BEST:: SOT 34266 SOS 23966 HAS SOPS 23966 HAS SOUS 20710 HAS SOUPS 20710 WITH SCORE 20733.966
AT ITER 161 NEW BEST:: SOT 34238 SOS 23938 HAS SOPS 23938 HAS SOUS 20682 HAS SOUPS 20682 WITH SCORE 20705.938
AT ITER 162 NEW BEST:: SOT 34213 SOS 23500 HAS SOPS 23500 HAS SOUS 20486 HAS SOUPS 20486 WITH SCORE 20509.5
AT ITER 165 NEW BEST:: SOT 34055 SOS 23342 HAS SOPS 23342 HAS SOUS 20326 HAS SOUPS 20326 WITH SCORE 20349.342
AT ITER 166 NEW BEST:: SOT 34055 SOS 23340 HAS SOPS 23340 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20348.34
AT ITER 167 NEW BEST:: SOT 33846 SOS 23009 HAS SOPS 23009 HAS SOUS 19947 HAS SOUPS 19947 WITH SCORE 19970.009
AT ITER 172 NEW BEST:: SOT 33810 SOS 22919 HAS SOPS 22919 HAS SOUS 19857 HAS SOUPS 19857 WITH SCORE 19879.919
AT ITER 173 NEW BEST:: SOT 33757 SOS 22866 HAS SOPS 22866 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19818.866
AT ITER 177 NEW BEST:: SOT 33649 SOS 22672 HAS SOPS 22672 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19624.672
AT ITER 180 NEW BEST:: SOT 33592 SOS 22615 HAS SOPS 22615 HAS SOUS 19541 HAS SOUPS 19541 WITH SCORE 19563.615
AT ITER 181 NEW BEST:: SOT 33587 SOS 22610 HAS SOPS 22610 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19558.61
AT ITER 183 NEW BEST:: SOT 33442 SOS 22241 HAS SOPS 22241 HAS SOUS 19241 HAS SOUPS 19241 WITH SCORE 19263.241
AT ITER 190 NEW BEST:: SOT 33441 SOS 22088 HAS SOPS 22088 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19223.088
AT ITER 193 NEW BEST:: SOT 33374 SOS 21662 HAS SOPS 21662 HAS SOUS 19002 HAS SOUPS 19002 WITH SCORE 19023.662
AT ITER 198 NEW BEST:: SOT 33366 SOS 21648 HAS SOPS 21648 HAS SOUS 18988 HAS SOUPS 18988 WITH SCORE 19009.648
AT ITER 200 NEW BEST:: SOT 33347 SOS 21608 HAS SOPS 21608 HAS SOUS 18948 HAS SOUPS 18948 WITH SCORE 18969.608
AT ITER 203 NEW BEST:: SOT 33251 SOS 21512 HAS SOPS 21512 HAS SOUS 18852 HAS SOUPS 18852 WITH SCORE 18873.512
AT ITER 217 NEW BEST:: SOT 33235 SOS 21496 HAS SOPS 21496 HAS SOUS 18828 HAS SOUPS 18828 WITH SCORE 18849.496
AT ITER 218 NEW BEST:: SOT 33192 SOS 21367 HAS SOPS 21367 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18763.367
AT ITER 221 NEW BEST:: SOT 33192 SOS 21361 HAS SOPS 21361 HAS SOUS 18741 HAS SOUPS 18741 WITH SCORE 18762.361
AT ITER 225 NEW BEST:: SOT 33134 SOS 21303 HAS SOPS 21303 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18749.303
AT ITER 227 NEW BEST:: SOT 33100 SOS 21269 HAS SOPS 21269 HAS SOUS 18694 HAS SOUPS 18694 WITH SCORE 18715.269
AT ITER 229 NEW BEST:: SOT 33026 SOS 21195 HAS SOPS 21195 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18641.195
AT ITER 237 NEW BEST:: SOT 32981 SOS 21135 HAS SOPS 21135 HAS SOUS 18560 HAS SOUPS 18560 WITH SCORE 18581.135
AT ITER 238 NEW BEST:: SOT 32976 SOS 21084 HAS SOPS 21084 HAS SOUS 18548 HAS SOUPS 18548 WITH SCORE 18569.084
AT ITER 243 NEW BEST:: SOT 32670 SOS 20514 HAS SOPS 20514 HAS SOUS 18181 HAS SOUPS 18181 WITH SCORE 18201.514
AT ITER 245 NEW BEST:: SOT 32598 SOS 20442 HAS SOPS 20442 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18129.442
AT ITER 250 NEW BEST:: SOT 32471 SOS 20315 HAS SOPS 20315 HAS SOUS 17937 HAS SOUPS 17937 WITH SCORE 17957.315
AT ITER 252 NEW BEST:: SOT 32456 SOS 20300 HAS SOPS 20300 HAS SOUS 17933 HAS SOUPS 17933 WITH SCORE 17953.3
AT ITER 258 NEW BEST:: SOT 32279 SOS 20123 HAS SOPS 20123 HAS SOUS 17756 HAS SOUPS 17756 WITH SCORE 17776.123
AT ITER 261 NEW BEST:: SOT 32168 SOS 20012 HAS SOPS 20012 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17774.012
AT ITER 262 NEW BEST:: SOT 32132 SOS 20009 HAS SOPS 20009 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17771.009
AT ITER 263 NEW BEST:: SOT 32130 SOS 20007 HAS SOPS 20007 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17769.007
AT ITER 264 NEW BEST:: SOT 31952 SOS 19829 HAS SOPS 19829 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17579.829
AT ITER 265 NEW BEST:: SOT 31892 SOS 19926 HAS SOPS 19926 HAS SOUS 17552 HAS SOUPS 17552 WITH SCORE 17571.926
AT ITER 271 NEW BEST:: SOT 31892 SOS 19895 HAS SOPS 19895 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17563.895
AT ITER 275 NEW BEST:: SOT 32000 SOS 19759 HAS SOPS 19759 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17499.759
AT ITER 290 NEW BEST:: SOT 31986 SOS 19745 HAS SOPS 19745 HAS SOUS 17466 HAS SOUPS 17466 WITH SCORE 17485.745
AT ITER 291 NEW BEST:: SOT 31986 SOS 19728 HAS SOPS 19728 HAS SOUS 17466 HAS SOUPS 17466 WITH SCORE 17485.728
AT ITER 293 NEW BEST:: SOT 32031 SOS 19757 HAS SOPS 19757 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17461.757
AT ITER 297 NEW BEST:: SOT 31923 SOS 19649 HAS SOPS 19649 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17333.649
AT ITER 304 NEW BEST:: SOT 31870 SOS 19596 HAS SOPS 19596 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17280.596
AT ITER 306 NEW BEST:: SOT 31865 SOS 19586 HAS SOPS 19586 HAS SOUS 17256 HAS SOUPS 17256 WITH SCORE 17275.586
AT ITER 310 NEW BEST:: SOT 31866 SOS 19587 HAS SOPS 19587 HAS SOUS 17247 HAS SOUPS 17247 WITH SCORE 17266.587
AT ITER 314 NEW BEST:: SOT 31827 SOS 19452 HAS SOPS 19452 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17180.452
AT ITER 316 NEW BEST:: SOT 31834 SOS 19447 HAS SOPS 19447 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17174.447
AT ITER 317 NEW BEST:: SOT 31701 SOS 19314 HAS SOPS 19314 HAS SOUS 17022 HAS SOUPS 17022 WITH SCORE 17041.314
AT ITER 318 NEW BEST:: SOT 31697 SOS 19279 HAS SOPS 19279 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17015.279
AT ITER 322 NEW BEST:: SOT 31647 SOS 19226 HAS SOPS 19226 HAS SOUS 16952 HAS SOUPS 16952 WITH SCORE 16971.226
AT ITER 326 NEW BEST:: SOT 31579 SOS 19109 HAS SOPS 19109 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16854.109
AT ITER 334 NEW BEST:: SOT 31541 SOS 19071 HAS SOPS 19071 HAS SOUS 16797 HAS SOUPS 16797 WITH SCORE 16816.071
AT ITER 344 NEW BEST:: SOT 31559 SOS 19020 HAS SOPS 19020 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16765.02
AT ITER 347 NEW BEST:: SOT 31550 SOS 18982 HAS SOPS 18982 HAS SOUS 16724 HAS SOUPS 16724 WITH SCORE 16742.982
AT ITER 348 NEW BEST:: SOT 31550 SOS 18891 HAS SOPS 18891 HAS SOUS 16723 HAS SOUPS 16723 WITH SCORE 16741.891
AT ITER 350 NEW BEST:: SOT 31469 SOS 18722 HAS SOPS 18722 HAS SOUS 16598 HAS SOUPS 16598 WITH SCORE 16616.722
AT ITER 351 NEW BEST:: SOT 31465 SOS 18658 HAS SOPS 18658 HAS SOUS 16541 HAS SOUPS 16541 WITH SCORE 16559.658
AT ITER 356 NEW BEST:: SOT 31453 SOS 18646 HAS SOPS 18646 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16547.646
AT ITER 361 NEW BEST:: SOT 31453 SOS 18406 HAS SOPS 18406 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16547.406
AT ITER 363 NEW BEST:: SOT 31373 SOS 18323 HAS SOPS 18323 HAS SOUS 16498 HAS SOUPS 16498 WITH SCORE 16516.323
AT ITER 370 NEW BEST:: SOT 31348 SOS 18296 HAS SOPS 18296 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16489.296
AT ITER 372 NEW BEST:: SOT 31409 SOS 18309 HAS SOPS 18309 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16481.309
AT ITER 379 NEW BEST:: SOT 31408 SOS 18308 HAS SOPS 18308 HAS SOUS 16462 HAS SOUPS 16462 WITH SCORE 16480.308
AT ITER 383 NEW BEST:: SOT 31395 SOS 18269 HAS SOPS 18269 HAS SOUS 16436 HAS SOUPS 16436 WITH SCORE 16454.269
AT ITER 389 NEW BEST:: SOT 31342 SOS 18294 HAS SOPS 18294 HAS SOUS 16385 HAS SOUPS 16385 WITH SCORE 16403.294
AT ITER 392 NEW BEST:: SOT 31410 SOS 18269 HAS SOPS 18269 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16377.269
AT ITER 393 NEW BEST:: SOT 31402 SOS 18253 HAS SOPS 18253 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16370.253
AT ITER 400 NEW BEST:: SOT 31402 SOS 18253 HAS SOPS 18253 HAS SOUS 16351 HAS SOUPS 16351 WITH SCORE 16369.253
AT ITER 415 NEW BEST:: SOT 31390 SOS 18241 HAS SOPS 18241 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16357.241
AT ITER 419 NEW BEST:: SOT 31369 SOS 18241 HAS SOPS 18241 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16325.241
AT ITER 428 NEW BEST:: SOT 31369 SOS 18189 HAS SOPS 18189 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16307.189
AT ITER 429 NEW BEST:: SOT 31355 SOS 18175 HAS SOPS 18175 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16289.175
AT ITER 430 NEW BEST:: SOT 31315 SOS 18073 HAS SOPS 18073 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16187.073
AT ITER 433 NEW BEST:: SOT 31296 SOS 18022 HAS SOPS 18022 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16136.022
AT ITER 434 NEW BEST:: SOT 31237 SOS 17782 HAS SOPS 17782 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15970.782
AT ITER 435 NEW BEST:: SOT 31177 SOS 17619 HAS SOPS 17619 HAS SOUS 15821 HAS SOUPS 15821 WITH SCORE 15838.619
AT ITER 442 NEW BEST:: SOT 31158 SOS 17534 HAS SOPS 17534 HAS SOUS 15783 HAS SOUPS 15783 WITH SCORE 15800.534
AT ITER 445 NEW BEST:: SOT 31107 SOS 17325 HAS SOPS 17325 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15592.325
AT ITER 452 NEW BEST:: SOT 31082 SOS 17300 HAS SOPS 17300 HAS SOUS 15562 HAS SOUPS 15562 WITH SCORE 15579.3
AT ITER 454 NEW BEST:: SOT 31144 SOS 17290 HAS SOPS 17290 HAS SOUS 15552 HAS SOUPS 15552 WITH SCORE 15569.29
AT ITER 461 NEW BEST:: SOT 31125 SOS 17271 HAS SOPS 17271 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15550.271
AT ITER 477 NEW BEST:: SOT 31110 SOS 17256 HAS SOPS 17256 HAS SOUS 15532 HAS SOUPS 15532 WITH SCORE 15549.256
AT ITER 485 NEW BEST:: SOT 31040 SOS 17159 HAS SOPS 17159 HAS SOUS 15526 HAS SOUPS 15526 WITH SCORE 15543.159
AT ITER 490 NEW BEST:: SOT 31018 SOS 17137 HAS SOPS 17137 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15535.137
AT ITER 495 NEW BEST:: SOT 30943 SOS 17043 HAS SOPS 17043 HAS SOUS 15450 HAS SOUPS 15450 WITH SCORE 15467.043
AT ITER 499 NEW BEST:: SOT 30939 SOS 17031 HAS SOPS 17031 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15459.031
AT ITER 501 NEW BEST:: SOT 30916 SOS 17007 HAS SOPS 17007 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15435.007
AT ITER 503 NEW BEST:: SOT 30894 SOS 16944 HAS SOPS 16944 HAS SOUS 15355 HAS SOUPS 15355 WITH SCORE 15371.944
AT ITER 512 NEW BEST:: SOT 30894 SOS 16894 HAS SOPS 16894 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15346.894
AT ITER 513 NEW BEST:: SOT 30862 SOS 16814 HAS SOPS 16814 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15282.814
AT ITER 514 NEW BEST:: SOT 30826 SOS 16781 HAS SOPS 16781 HAS SOUS 15233 HAS SOUPS 15233 WITH SCORE 15249.781
AT ITER 522 NEW BEST:: SOT 30676 SOS 16631 HAS SOPS 16631 HAS SOUS 15052 HAS SOUPS 15052 WITH SCORE 15068.631
AT ITER 531 NEW BEST:: SOT 30507 SOS 16173 HAS SOPS 16173 HAS SOUS 14716 HAS SOUPS 14716 WITH SCORE 14732.173
AT ITER 538 NEW BEST:: SOT 30553 SOS 16162 HAS SOPS 16162 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14720.162
AT ITER 550 NEW BEST:: SOT 30537 SOS 16116 HAS SOPS 16116 HAS SOUS 14685 HAS SOUPS 14685 WITH SCORE 14701.116
AT ITER 555 NEW BEST:: SOT 30509 SOS 16088 HAS SOPS 16088 HAS SOUS 14657 HAS SOUPS 14657 WITH SCORE 14673.088
AT ITER 558 NEW BEST:: SOT 30430 SOS 15977 HAS SOPS 15977 HAS SOUS 14569 HAS SOUPS 14569 WITH SCORE 14584.977
AT ITER 559 NEW BEST:: SOT 30434 SOS 15975 HAS SOPS 15975 HAS SOUS 14567 HAS SOUPS 14567 WITH SCORE 14582.975
AT ITER 564 NEW BEST:: SOT 30433 SOS 15892 HAS SOPS 15892 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14560.892
AT ITER 571 NEW BEST:: SOT 30494 SOS 15922 HAS SOPS 15922 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14546.922
AT ITER 572 NEW BEST:: SOT 30488 SOS 15892 HAS SOPS 15892 HAS SOUS 14513 HAS SOUPS 14513 WITH SCORE 14528.892
AT ITER 577 NEW BEST:: SOT 30487 SOS 15844 HAS SOPS 15844 HAS SOUS 14506 HAS SOUPS 14506 WITH SCORE 14521.844
AT ITER 582 NEW BEST:: SOT 30489 SOS 15846 HAS SOPS 15846 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14513.846
AT ITER 584 NEW BEST:: SOT 30402 SOS 15688 HAS SOPS 15688 HAS SOUS 14340 HAS SOUPS 14340 WITH SCORE 14355.688
AT ITER 594 NEW BEST:: SOT 30393 SOS 15679 HAS SOPS 15679 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14346.679
AT ITER 597 NEW BEST:: SOT 30393 SOS 15674 HAS SOPS 15674 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14341.674
AT ITER 604 NEW BEST:: SOT 30376 SOS 15658 HAS SOPS 15658 HAS SOUS 14310 HAS SOUPS 14310 WITH SCORE 14325.658
AT ITER 605 NEW BEST:: SOT 30413 SOS 15606 HAS SOPS 15606 HAS SOUS 14258 HAS SOUPS 14258 WITH SCORE 14273.606
AT ITER 607 NEW BEST:: SOT 30413 SOS 15601 HAS SOPS 15601 HAS SOUS 14253 HAS SOUPS 14253 WITH SCORE 14268.601
AT ITER 611 NEW BEST:: SOT 30387 SOS 15575 HAS SOPS 15575 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14242.575
AT ITER 615 NEW BEST:: SOT 30361 SOS 15518 HAS SOPS 15518 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14216.518
AT ITER 622 NEW BEST:: SOT 30340 SOS 15513 HAS SOPS 15513 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14211.513
AT ITER 627 NEW BEST:: SOT 30316 SOS 15522 HAS SOPS 15522 HAS SOUS 14186 HAS SOUPS 14186 WITH SCORE 14201.522
AT ITER 640 NEW BEST:: SOT 30316 SOS 15447 HAS SOPS 15447 HAS SOUS 14138 HAS SOUPS 14138 WITH SCORE 14153.447
AT ITER 643 NEW BEST:: SOT 30220 SOS 15264 HAS SOPS 15264 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13956.264
AT ITER 654 NEW BEST:: SOT 30220 SOS 14992 HAS SOPS 14992 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13929.992
AT ITER 658 NEW BEST:: SOT 30220 SOS 14948 HAS SOPS 14948 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13907.948
AT ITER 669 NEW BEST:: SOT 30212 SOS 14940 HAS SOPS 14940 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13899.94
AT ITER 670 NEW BEST:: SOT 30026 SOS 14754 HAS SOPS 14754 HAS SOUS 13638 HAS SOUPS 13638 WITH SCORE 13652.754
AT ITER 714 NEW BEST:: SOT 29988 SOS 14716 HAS SOPS 14716 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13614.716
AT ITER 716 NEW BEST:: SOT 29921 SOS 14623 HAS SOPS 14623 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13506.623
AT ITER 717 NEW BEST:: SOT 29907 SOS 14609 HAS SOPS 14609 HAS SOUS 13478 HAS SOUPS 13478 WITH SCORE 13492.609
AT ITER 720 NEW BEST:: SOT 29907 SOS 14548 HAS SOPS 14548 HAS SOUS 13406 HAS SOUPS 13406 WITH SCORE 13420.548
AT ITER 725 NEW BEST:: SOT 29934 SOS 14352 HAS SOPS 14352 HAS SOUS 13292 HAS SOUPS 13292 WITH SCORE 13306.352
AT ITER 728 NEW BEST:: SOT 29934 SOS 14331 HAS SOPS 14331 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13305.331
AT ITER 730 NEW BEST:: SOT 29934 SOS 14194 HAS SOPS 14194 HAS SOUS 13256 HAS SOUPS 13256 WITH SCORE 13270.194
AT ITER 731 NEW BEST:: SOT 29942 SOS 14193 HAS SOPS 14193 HAS SOUS 13255 HAS SOUPS 13255 WITH SCORE 13269.193
AT ITER 735 NEW BEST:: SOT 29942 SOS 14190 HAS SOPS 14190 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13266.19
AT ITER 741 NEW BEST:: SOT 29806 SOS 13939 HAS SOPS 13939 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13039.939
AT ITER 759 NEW BEST:: SOT 29806 SOS 13928 HAS SOPS 13928 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13028.928
AT ITER 762 NEW BEST:: SOT 29795 SOS 13908 HAS SOPS 13908 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13008.908
AT ITER 770 NEW BEST:: SOT 29787 SOS 13900 HAS SOPS 13900 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13000.9
AT ITER 778 NEW BEST:: SOT 29785 SOS 13894 HAS SOPS 13894 HAS SOUS 12981 HAS SOUPS 12981 WITH SCORE 12994.894
AT ITER 794 NEW BEST:: SOT 29746 SOS 13847 HAS SOPS 13847 HAS SOUS 12934 HAS SOUPS 12934 WITH SCORE 12947.847
AT ITER 796 NEW BEST:: SOT 29744 SOS 13841 HAS SOPS 13841 HAS SOUS 12928 HAS SOUPS 12928 WITH SCORE 12941.841
AT ITER 801 NEW BEST:: SOT 29744 SOS 13819 HAS SOPS 13819 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12933.819
AT ITER 808 NEW BEST:: SOT 29726 SOS 13765 HAS SOPS 13765 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12879.765
AT ITER 829 NEW BEST:: SOT 29720 SOS 13719 HAS SOPS 13719 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12833.719
AT ITER 842 NEW BEST:: SOT 29694 SOS 13654 HAS SOPS 13654 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12768.654
AT ITER 844 NEW BEST:: SOT 29671 SOS 13631 HAS SOPS 13631 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12745.631
AT ITER 866 NEW BEST:: SOT 29648 SOS 13603 HAS SOPS 13603 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12717.603
AT ITER 873 NEW BEST:: SOT 29592 SOS 13547 HAS SOPS 13547 HAS SOUS 12648 HAS SOUPS 12648 WITH SCORE 12661.547
AT ITER 880 NEW BEST:: SOT 29614 SOS 13539 HAS SOPS 13539 HAS SOUS 12640 HAS SOUPS 12640 WITH SCORE 12653.539
AT ITER 886 NEW BEST:: SOT 29579 SOS 13462 HAS SOPS 13462 HAS SOUS 12608 HAS SOUPS 12608 WITH SCORE 12621.462
AT ITER 890 NEW BEST:: SOT 29510 SOS 13313 HAS SOPS 13313 HAS SOUS 12492 HAS SOUPS 12492 WITH SCORE 12505.313
AT ITER 909 NEW BEST:: SOT 29508 SOS 13311 HAS SOPS 13311 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12503.311
AT ITER 925 NEW BEST:: SOT 29447 SOS 13250 HAS SOPS 13250 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12443.25
AT ITER 926 NEW BEST:: SOT 29439 SOS 13240 HAS SOPS 13240 HAS SOUS 12421 HAS SOUPS 12421 WITH SCORE 12434.24
AT ITER 934 NEW BEST:: SOT 29419 SOS 13207 HAS SOPS 13207 HAS SOUS 12368 HAS SOUPS 12368 WITH SCORE 12381.207
AT ITER 938 NEW BEST:: SOT 29418 SOS 13205 HAS SOPS 13205 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12375.205
AT ITER 940 NEW BEST:: SOT 29406 SOS 13228 HAS SOPS 13228 HAS SOUS 12356 HAS SOUPS 12356 WITH SCORE 12369.228
AT ITER 948 NEW BEST:: SOT 29365 SOS 13172 HAS SOPS 13172 HAS SOUS 12300 HAS SOUPS 12300 WITH SCORE 12313.172
AT ITER 960 NEW BEST:: SOT 29365 SOS 13156 HAS SOPS 13156 HAS SOUS 12284 HAS SOUPS 12284 WITH SCORE 12297.156
AT ITER 966 NEW BEST:: SOT 29362 SOS 13150 HAS SOPS 13150 HAS SOUS 12278 HAS SOUPS 12278 WITH SCORE 12291.15
AT ITER 967 NEW BEST:: SOT 29362 SOS 13133 HAS SOPS 13133 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.133
AT ITER 981 NEW BEST:: SOT 29362 SOS 13131 HAS SOPS 13131 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12280.131
AT ITER 988 NEW BEST:: SOT 29342 SOS 13111 HAS SOPS 13111 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12260.111
AT ITER 991 NEW BEST:: SOT 29390 SOS 13110 HAS SOPS 13110 HAS SOUS 12246 HAS SOUPS 12246 WITH SCORE 12259.11
AT ITER 992 NEW BEST:: SOT 29328 SOS 13008 HAS SOPS 13008 HAS SOUS 12186 HAS SOUPS 12186 WITH SCORE 12199.008
AT ITER 1004 NEW BEST:: SOT 29237 SOS 12929 HAS SOPS 12929 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12119.929
AT ITER 1007 NEW BEST:: SOT 29235 SOS 12923 HAS SOPS 12923 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12115.923
AT ITER 1033 NEW BEST:: SOT 29233 SOS 12888 HAS SOPS 12888 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12108.888
AT ITER 1037 NEW BEST:: SOT 29229 SOS 12882 HAS SOPS 12882 HAS SOUS 12090 HAS SOUPS 12090 WITH SCORE 12102.882
AT ITER 1038 NEW BEST:: SOT 29220 SOS 12864 HAS SOPS 12864 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12084.864
AT ITER 1041 NEW BEST:: SOT 29183 SOS 12842 HAS SOPS 12842 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12062.842
AT ITER 1047 NEW BEST:: SOT 29183 SOS 12830 HAS SOPS 12830 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12060.83
AT ITER 1052 NEW BEST:: SOT 29183 SOS 12812 HAS SOPS 12812 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12060.812
AT ITER 1053 NEW BEST:: SOT 29172 SOS 12759 HAS SOPS 12759 HAS SOUS 12011 HAS SOUPS 12011 WITH SCORE 12023.759
AT ITER 1067 NEW BEST:: SOT 29171 SOS 12754 HAS SOPS 12754 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12021.754
AT ITER 1077 NEW BEST:: SOT 29171 SOS 12752 HAS SOPS 12752 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12021.752
AT ITER 1086 NEW BEST:: SOT 29178 SOS 12760 HAS SOPS 12760 HAS SOUS 11975 HAS SOUPS 11975 WITH SCORE 11987.76
AT ITER 1089 NEW BEST:: SOT 29149 SOS 12821 HAS SOPS 12821 HAS SOUS 11910 HAS SOUPS 11910 WITH SCORE 11922.821
AT ITER 1093 NEW BEST:: SOT 29138 SOS 12720 HAS SOPS 12720 HAS SOUS 11861 HAS SOUPS 11861 WITH SCORE 11873.72
AT ITER 1095 NEW BEST:: SOT 29130 SOS 12712 HAS SOPS 12712 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11865.712
AT ITER 1103 NEW BEST:: SOT 29126 SOS 12706 HAS SOPS 12706 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11859.706
AT ITER 1125 NEW BEST:: SOT 29123 SOS 12689 HAS SOPS 12689 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11846.689
AT ITER 1126 NEW BEST:: SOT 29113 SOS 12669 HAS SOPS 12669 HAS SOUS 11824 HAS SOUPS 11824 WITH SCORE 11836.669
AT ITER 1132 NEW BEST:: SOT 29079 SOS 12607 HAS SOPS 12607 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11785.607
AT ITER 1135 NEW BEST:: SOT 29068 SOS 12577 HAS SOPS 12577 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11755.577
AT ITER 1153 NEW BEST:: SOT 29067 SOS 12576 HAS SOPS 12576 HAS SOUS 11742 HAS SOUPS 11742 WITH SCORE 11754.576
AT ITER 1158 NEW BEST:: SOT 29077 SOS 12573 HAS SOPS 12573 HAS SOUS 11739 HAS SOUPS 11739 WITH SCORE 11751.573
AT ITER 1169 NEW BEST:: SOT 29070 SOS 12583 HAS SOPS 12583 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11748.583
AT ITER 1171 NEW BEST:: SOT 29056 SOS 12558 HAS SOPS 12558 HAS SOUS 11711 HAS SOUPS 11711 WITH SCORE 11723.558
AT ITER 1182 NEW BEST:: SOT 29056 SOS 12544 HAS SOPS 12544 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11709.544
AT ITER 1192 NEW BEST:: SOT 29041 SOS 12529 HAS SOPS 12529 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11709.529
AT ITER 1196 NEW BEST:: SOT 29028 SOS 12468 HAS SOPS 12468 HAS SOUS 11634 HAS SOUPS 11634 WITH SCORE 11646.468
AT ITER 1219 NEW BEST:: SOT 29028 SOS 12456 HAS SOPS 12456 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11634.456
AT ITER 1223 NEW BEST:: SOT 29020 SOS 12436 HAS SOPS 12436 HAS SOUS 11604 HAS SOUPS 11604 WITH SCORE 11616.436
AT ITER 1226 NEW BEST:: SOT 29020 SOS 12463 HAS SOPS 12463 HAS SOUS 11588 HAS SOUPS 11588 WITH SCORE 11600.463
AT ITER 1227 NEW BEST:: SOT 29038 SOS 12477 HAS SOPS 12477 HAS SOUS 11579 HAS SOUPS 11579 WITH SCORE 11591.477
AT ITER 1230 NEW BEST:: SOT 29022 SOS 12461 HAS SOPS 12461 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11567.461
AT ITER 1235 NEW BEST:: SOT 29017 SOS 12456 HAS SOPS 12456 HAS SOUS 11550 HAS SOUPS 11550 WITH SCORE 11562.456
AT ITER 1251 NEW BEST:: SOT 29017 SOS 12443 HAS SOPS 12443 HAS SOUS 11539 HAS SOUPS 11539 WITH SCORE 11551.443
AT ITER 1254 NEW BEST:: SOT 29018 SOS 12439 HAS SOPS 12439 HAS SOUS 11507 HAS SOUPS 11507 WITH SCORE 11519.439
AT ITER 1270 NEW BEST:: SOT 28946 SOS 12374 HAS SOPS 12374 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11454.374
AT ITER 1277 NEW BEST:: SOT 28948 SOS 12319 HAS SOPS 12319 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11423.319
AT ITER 1281 NEW BEST:: SOT 28926 SOS 12267 HAS SOPS 12267 HAS SOUS 11359 HAS SOUPS 11359 WITH SCORE 11371.267
AT ITER 1293 NEW BEST:: SOT 28924 SOS 12262 HAS SOPS 12262 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11366.262
AT ITER 1294 NEW BEST:: SOT 28904 SOS 12224 HAS SOPS 12224 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11328.224
AT ITER 1299 NEW BEST:: SOT 28899 SOS 12199 HAS SOPS 12199 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11313.199
AT ITER 1301 NEW BEST:: SOT 28894 SOS 12204 HAS SOPS 12204 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.204
AT ITER 1309 NEW BEST:: SOT 28879 SOS 12190 HAS SOPS 12190 HAS SOUS 11273 HAS SOUPS 11273 WITH SCORE 11285.19
AT ITER 1315 NEW BEST:: SOT 28856 SOS 12154 HAS SOPS 12154 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11249.154
AT ITER 1337 NEW BEST:: SOT 28746 SOS 12073 HAS SOPS 12073 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11156.073
AT ITER 1344 NEW BEST:: SOT 28667 SOS 12017 HAS SOPS 12017 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11100.017
AT ITER 1355 NEW BEST:: SOT 28651 SOS 11985 HAS SOPS 11985 HAS SOUS 11056 HAS SOUPS 11056 WITH SCORE 11067.985
AT ITER 1359 NEW BEST:: SOT 28638 SOS 11972 HAS SOPS 11972 HAS SOUS 11041 HAS SOUPS 11041 WITH SCORE 11052.972
AT ITER 1365 NEW BEST:: SOT 28590 SOS 11892 HAS SOPS 11892 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10972.892
AT ITER 1407 NEW BEST:: SOT 28592 SOS 11866 HAS SOPS 11866 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10964.866
AT ITER 1417 NEW BEST:: SOT 28589 SOS 11854 HAS SOPS 11854 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10955.854
AT ITER 1421 NEW BEST:: SOT 28596 SOS 11843 HAS SOPS 11843 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10944.843
AT ITER 1432 NEW BEST:: SOT 28568 SOS 11795 HAS SOPS 11795 HAS SOUS 10885 HAS SOUPS 10885 WITH SCORE 10896.795
AT ITER 1460 NEW BEST:: SOT 28568 SOS 11716 HAS SOPS 11716 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10873.716
AT ITER 1467 NEW BEST:: SOT 28568 SOS 11653 HAS SOPS 11653 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10810.653
AT ITER 1472 NEW BEST:: SOT 28517 SOS 11602 HAS SOPS 11602 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10759.602
AT ITER 1485 NEW BEST:: SOT 28485 SOS 11580 HAS SOPS 11580 HAS SOUS 10726 HAS SOUPS 10726 WITH SCORE 10737.58
AT ITER 1490 NEW BEST:: SOT 28472 SOS 11557 HAS SOPS 11557 HAS SOUS 10703 HAS SOUPS 10703 WITH SCORE 10714.557
AT ITER 1525 NEW BEST:: SOT 28470 SOS 11562 HAS SOPS 11562 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10699.562
AT ITER 1530 NEW BEST:: SOT 28474 SOS 11559 HAS SOPS 11559 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10696.559
AT ITER 1536 NEW BEST:: SOT 28431 SOS 11449 HAS SOPS 11449 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10596.449
AT ITER 1540 NEW BEST:: SOT 28431 SOS 11448 HAS SOPS 11448 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10595.448
AT ITER 1547 NEW BEST:: SOT 28428 SOS 11406 HAS SOPS 11406 HAS SOUS 10566 HAS SOUPS 10566 WITH SCORE 10577.406
AT ITER 1552 NEW BEST:: SOT 28435 SOS 11413 HAS SOPS 11413 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10563.413
AT ITER 1560 NEW BEST:: SOT 28406 SOS 11378 HAS SOPS 11378 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10528.378
AT ITER 1562 NEW BEST:: SOT 28356 SOS 11295 HAS SOPS 11295 HAS SOUS 10434 HAS SOUPS 10434 WITH SCORE 10445.295
AT ITER 1585 NEW BEST:: SOT 28336 SOS 11276 HAS SOPS 11276 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10426.276
AT ITER 1587 NEW BEST:: SOT 28319 SOS 11217 HAS SOPS 11217 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10387.217
AT ITER 1595 NEW BEST:: SOT 28317 SOS 11215 HAS SOPS 11215 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10385.215
AT ITER 1600 NEW BEST:: SOT 28280 SOS 11157 HAS SOPS 11157 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10306.157
AT ITER 1610 NEW BEST:: SOT 28280 SOS 11148 HAS SOPS 11148 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10297.148
AT ITER 1615 NEW BEST:: SOT 28278 SOS 11125 HAS SOPS 11125 HAS SOUS 10263 HAS SOUPS 10263 WITH SCORE 10274.125
AT ITER 1630 NEW BEST:: SOT 28270 SOS 11075 HAS SOPS 11075 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10224.075
AT ITER 1650 NEW BEST:: SOT 28226 SOS 10987 HAS SOPS 10987 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10135.987
AT ITER 1669 NEW BEST:: SOT 28209 SOS 10988 HAS SOPS 10988 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10130.988
AT ITER 1680 NEW BEST:: SOT 28140 SOS 10974 HAS SOPS 10974 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10116.974
AT ITER 1686 NEW BEST:: SOT 28104 SOS 10835 HAS SOPS 10835 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10022.835
AT ITER 1696 NEW BEST:: SOT 28106 SOS 10837 HAS SOPS 10837 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10021.837
AT ITER 1717 NEW BEST:: SOT 28105 SOS 10842 HAS SOPS 10842 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10018.842
AT ITER 1720 NEW BEST:: SOT 28123 SOS 10819 HAS SOPS 10819 HAS SOUS 9985 HAS SOUPS 9985 WITH SCORE 9995.819
AT ITER 1727 NEW BEST:: SOT 28090 SOS 10804 HAS SOPS 10804 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9978.804
AT ITER 1735 NEW BEST:: SOT 28155 SOS 10645 HAS SOPS 10645 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9978.645
AT ITER 1762 NEW BEST:: SOT 28207 SOS 10612 HAS SOPS 10612 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9943.612
AT ITER 1773 NEW BEST:: SOT 28206 SOS 10610 HAS SOPS 10610 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9941.61
AT ITER 1774 NEW BEST:: SOT 28198 SOS 10602 HAS SOPS 10602 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9933.602
AT ITER 1810 NEW BEST:: SOT 28169 SOS 10584 HAS SOPS 10584 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 9915.584
AT ITER 1818 NEW BEST:: SOT 28160 SOS 10569 HAS SOPS 10569 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9900.569
AT ITER 1820 NEW BEST:: SOT 28159 SOS 10566 HAS SOPS 10566 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9897.566
AT ITER 1828 NEW BEST:: SOT 28155 SOS 10562 HAS SOPS 10562 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9896.562
AT ITER 1836 NEW BEST:: SOT 28155 SOS 10545 HAS SOPS 10545 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9879.545
AT ITER 1878 NEW BEST:: SOT 28153 SOS 10542 HAS SOPS 10542 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9876.542
AT ITER 1905 NEW BEST:: SOT 28144 SOS 10533 HAS SOPS 10533 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9867.533
AT ITER 1923 NEW BEST:: SOT 28144 SOS 10531 HAS SOPS 10531 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9866.531
AT ITER 1936 NEW BEST:: SOT 28142 SOS 10529 HAS SOPS 10529 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9864.529
AT ITER 1941 NEW BEST:: SOT 28140 SOS 10527 HAS SOPS 10527 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9862.527
AT ITER 1948 NEW BEST:: SOT 28052 SOS 10439 HAS SOPS 10439 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9774.439
AT ITER 1952 NEW BEST:: SOT 28044 SOS 10415 HAS SOPS 10415 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9745.415
AT ITER 1965 NEW BEST:: SOT 28072 SOS 10366 HAS SOPS 10366 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9739.366
AT ITER 1972 NEW BEST:: SOT 28067 SOS 10361 HAS SOPS 10361 HAS SOUS 9719 HAS SOUPS 9719 WITH SCORE 9729.361
AT ITER 1980 NEW BEST:: SOT 28067 SOS 10344 HAS SOPS 10344 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9712.344
AT ITER 1995 NEW BEST:: SOT 28051 SOS 10328 HAS SOPS 10328 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9696.328
AT ITER 2002 NEW BEST:: SOT 28052 SOS 10305 HAS SOPS 10305 HAS SOUS 9663 HAS SOUPS 9663 WITH SCORE 9673.305
AT ITER 2007 NEW BEST:: SOT 28052 SOS 10288 HAS SOPS 10288 HAS SOUS 9657 HAS SOUPS 9657 WITH SCORE 9667.288
AT ITER 2008 NEW BEST:: SOT 28012 SOS 10188 HAS SOPS 10188 HAS SOUS 9577 HAS SOUPS 9577 WITH SCORE 9587.188
AT ITER 2025 NEW BEST:: SOT 28001 SOS 10171 HAS SOPS 10171 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9570.171
AT ITER 2034 NEW BEST:: SOT 28000 SOS 10170 HAS SOPS 10170 HAS SOUS 9559 HAS SOUPS 9559 WITH SCORE 9569.17
AT ITER 2054 NEW BEST:: SOT 27954 SOS 10129 HAS SOPS 10129 HAS SOUS 9518 HAS SOUPS 9518 WITH SCORE 9528.129
AT ITER 2058 NEW BEST:: SOT 27951 SOS 10123 HAS SOPS 10123 HAS SOUS 9512 HAS SOUPS 9512 WITH SCORE 9522.123
AT ITER 2071 NEW BEST:: SOT 27947 SOS 10086 HAS SOPS 10086 HAS SOUS 9479 HAS SOUPS 9479 WITH SCORE 9489.086
AT ITER 2076 NEW BEST:: SOT 27948 SOS 10059 HAS SOPS 10059 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9462.059
AT ITER 2083 NEW BEST:: SOT 27942 SOS 10051 HAS SOPS 10051 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9454.051
AT ITER 2100 NEW BEST:: SOT 27928 SOS 10080 HAS SOPS 10080 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9451.08
AT ITER 2112 NEW BEST:: SOT 27885 SOS 10023 HAS SOPS 10023 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9394.023
AT ITER 2121 NEW BEST:: SOT 27895 SOS 10022 HAS SOPS 10022 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9393.022
AT ITER 2122 NEW BEST:: SOT 27891 SOS 10014 HAS SOPS 10014 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9385.014
AT ITER 2127 NEW BEST:: SOT 27891 SOS 10008 HAS SOPS 10008 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9383.008
AT ITER 2130 NEW BEST:: SOT 27861 SOS 9978 HAS SOPS 9978 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9363.978
AT ITER 2135 NEW BEST:: SOT 27862 SOS 9973 HAS SOPS 9973 HAS SOUS 9350 HAS SOUPS 9350 WITH SCORE 9359.973
AT ITER 2145 NEW BEST:: SOT 27856 SOS 9961 HAS SOPS 9961 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9347.961
AT ITER 2187 NEW BEST:: SOT 27856 SOS 9884 HAS SOPS 9884 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9344.884
AT ITER 2191 NEW BEST:: SOT 27847 SOS 9865 HAS SOPS 9865 HAS SOUS 9309 HAS SOUPS 9309 WITH SCORE 9318.865
AT ITER 2194 NEW BEST:: SOT 27801 SOS 9819 HAS SOPS 9819 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9282.819
AT ITER 2195 NEW BEST:: SOT 27794 SOS 9812 HAS SOPS 9812 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9275.812
AT ITER 2229 NEW BEST:: SOT 27782 SOS 9804 HAS SOPS 9804 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9267.804
AT ITER 2246 NEW BEST:: SOT 27771 SOS 9782 HAS SOPS 9782 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9245.782
AT ITER 2249 NEW BEST:: SOT 27771 SOS 9779 HAS SOPS 9779 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9242.779
AT ITER 2266 NEW BEST:: SOT 27766 SOS 9769 HAS SOPS 9769 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9232.769
AT ITER 2282 NEW BEST:: SOT 27743 SOS 9721 HAS SOPS 9721 HAS SOUS 9176 HAS SOUPS 9176 WITH SCORE 9185.721
AT ITER 2286 NEW BEST:: SOT 27740 SOS 9706 HAS SOPS 9706 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9170.706
AT ITER 2289 NEW BEST:: SOT 27720 SOS 9698 HAS SOPS 9698 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9154.698
AT ITER 2291 NEW BEST:: SOT 27712 SOS 9680 HAS SOPS 9680 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9138.68
AT ITER 2295 NEW BEST:: SOT 27712 SOS 9678 HAS SOPS 9678 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9136.678
AT ITER 2328 NEW BEST:: SOT 27697 SOS 9658 HAS SOPS 9658 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9116.658
AT ITER 2335 NEW BEST:: SOT 27683 SOS 9644 HAS SOPS 9644 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9102.644
AT ITER 2349 NEW BEST:: SOT 27647 SOS 9585 HAS SOPS 9585 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9043.585
AT ITER 2362 NEW BEST:: SOT 27642 SOS 9567 HAS SOPS 9567 HAS SOUS 9031 HAS SOUPS 9031 WITH SCORE 9040.567
AT ITER 2386 NEW BEST:: SOT 27649 SOS 9574 HAS SOPS 9574 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9039.574
AT ITER 2429 NEW BEST:: SOT 27649 SOS 9573 HAS SOPS 9573 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9038.573
AT ITER 2438 NEW BEST:: SOT 27658 SOS 9591 HAS SOPS 9591 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9037.591
AT ITER 2451 NEW BEST:: SOT 27658 SOS 9571 HAS SOPS 9571 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9029.571
AT ITER 2477 NEW BEST:: SOT 27658 SOS 9576 HAS SOPS 9576 HAS SOUS 9015 HAS SOUPS 9015 WITH SCORE 9024.576
AT ITER 2497 NEW BEST:: SOT 27657 SOS 9575 HAS SOPS 9575 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9023.575
AT ITER 2546 NEW BEST:: SOT 27657 SOS 9572 HAS SOPS 9572 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9020.572
AT ITER 2560 NEW BEST:: SOT 27657 SOS 9553 HAS SOPS 9553 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9001.553
AT ITER 2585 NEW BEST:: SOT 27657 SOS 9537 HAS SOPS 9537 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8985.537
AT ITER 2641 NEW BEST:: SOT 27653 SOS 9526 HAS SOPS 9526 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8977.526
AT ITER 2666 NEW BEST:: SOT 27653 SOS 9522 HAS SOPS 9522 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8975.522
AT ITER 2687 NEW BEST:: SOT 27656 SOS 9521 HAS SOPS 9521 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8974.521
AT ITER 2696 NEW BEST:: SOT 27646 SOS 9515 HAS SOPS 9515 HAS SOUS 8959 HAS SOUPS 8959 WITH SCORE 8968.515
AT ITER 2704 NEW BEST:: SOT 27629 SOS 9498 HAS SOPS 9498 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8951.498
AT ITER 2713 NEW BEST:: SOT 27615 SOS 9472 HAS SOPS 9472 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8923.472
AT ITER 2724 NEW BEST:: SOT 27615 SOS 9468 HAS SOPS 9468 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8921.468
AT ITER 2734 NEW BEST:: SOT 27603 SOS 9456 HAS SOPS 9456 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8911.456
AT ITER 2735 NEW BEST:: SOT 27582 SOS 9372 HAS SOPS 9372 HAS SOUS 8860 HAS SOUPS 8860 WITH SCORE 8869.372
AT ITER 2763 NEW BEST:: SOT 27560 SOS 9324 HAS SOPS 9324 HAS SOUS 8742 HAS SOUPS 8742 WITH SCORE 8751.324
AT ITER 2812 NEW BEST:: SOT 27507 SOS 9254 HAS SOPS 9254 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8699.254
AT ITER 2823 NEW BEST:: SOT 27502 SOS 9195 HAS SOPS 9195 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8687.195
AT ITER 2843 NEW BEST:: SOT 27504 SOS 9162 HAS SOPS 9162 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8654.162
AT ITER 2850 NEW BEST:: SOT 27516 SOS 9148 HAS SOPS 9148 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8644.148
AT ITER 2857 NEW BEST:: SOT 27516 SOS 9140 HAS SOPS 9140 HAS SOUS 8627 HAS SOUPS 8627 WITH SCORE 8636.14
AT ITER 2922 NEW BEST:: SOT 27516 SOS 9134 HAS SOPS 9134 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8630.134
AT ITER 2931 NEW BEST:: SOT 27515 SOS 9131 HAS SOPS 9131 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.131
AT ITER 2940 NEW BEST:: SOT 27511 SOS 9130 HAS SOPS 9130 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8626.13
AT ITER 2957 NEW BEST:: SOT 27511 SOS 9130 HAS SOPS 9130 HAS SOUS 8612 HAS SOUPS 8612 WITH SCORE 8621.13
AT ITER 2974 NEW BEST:: SOT 27489 SOS 9100 HAS SOPS 9100 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8592.1
AT ITER 2978 NEW BEST:: SOT 27489 SOS 9093 HAS SOPS 9093 HAS SOUS 8576 HAS SOUPS 8576 WITH SCORE 8585.093
AT ITER 2994 NEW BEST:: SOT 27473 SOS 9055 HAS SOPS 9055 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8547.055
AT ITER 3018 NEW BEST:: SOT 27482 SOS 9063 HAS SOPS 9063 HAS SOUS 8537 HAS SOUPS 8537 WITH SCORE 8546.063
AT ITER 3058 NEW BEST:: SOT 27494 SOS 9060 HAS SOPS 9060 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8543.06
AT ITER 3078 NEW BEST:: SOT 27476 SOS 9042 HAS SOPS 9042 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8525.042
AT ITER 3087 NEW BEST:: SOT 27476 SOS 9041 HAS SOPS 9041 HAS SOUS 8515 HAS SOUPS 8515 WITH SCORE 8524.041
AT ITER 3088 NEW BEST:: SOT 27476 SOS 9040 HAS SOPS 9040 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8523.04
AT ITER 3112 NEW BEST:: SOT 27470 SOS 9020 HAS SOPS 9020 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8496.02
AT ITER 3145 NEW BEST:: SOT 27470 SOS 9015 HAS SOPS 9015 HAS SOUS 8482 HAS SOUPS 8482 WITH SCORE 8491.015
AT ITER 3170 NEW BEST:: SOT 27469 SOS 9003 HAS SOPS 9003 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8490.003
AT ITER 3220 NEW BEST:: SOT 27469 SOS 8990 HAS SOPS 8990 HAS SOUS 8480 HAS SOUPS 8480 WITH SCORE 8488.99
AT ITER 3227 NEW BEST:: SOT 27465 SOS 8986 HAS SOPS 8986 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8484.986
AT ITER 3242 NEW BEST:: SOT 27461 SOS 8978 HAS SOPS 8978 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8476.978
AT ITER 3276 NEW BEST:: SOT 27458 SOS 8969 HAS SOPS 8969 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8467.969
AT ITER 3319 NEW BEST:: SOT 27458 SOS 8965 HAS SOPS 8965 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8467.965
AT ITER 3331 NEW BEST:: SOT 27458 SOS 8969 HAS SOPS 8969 HAS SOUS 8452 HAS SOUPS 8452 WITH SCORE 8460.969
AT ITER 3341 NEW BEST:: SOT 27450 SOS 8965 HAS SOPS 8965 HAS SOUS 8448 HAS SOUPS 8448 WITH SCORE 8456.965
AT ITER 3368 NEW BEST:: SOT 27445 SOS 8945 HAS SOPS 8945 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8441.945
AT ITER 3402 NEW BEST:: SOT 27446 SOS 8928 HAS SOPS 8928 HAS SOUS 8424 HAS SOUPS 8424 WITH SCORE 8432.928
AT ITER 3403 NEW BEST:: SOT 27412 SOS 8883 HAS SOPS 8883 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8387.883
AT ITER 3421 NEW BEST:: SOT 27404 SOS 8865 HAS SOPS 8865 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8369.865
AT ITER 3422 NEW BEST:: SOT 27430 SOS 8844 HAS SOPS 8844 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8348.844
AT ITER 3444 NEW BEST:: SOT 27436 SOS 8839 HAS SOPS 8839 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8343.839
AT ITER 3489 NEW BEST:: SOT 27436 SOS 8856 HAS SOPS 8856 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8326.856
AT ITER 3499 NEW BEST:: SOT 27436 SOS 8846 HAS SOPS 8846 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8321.846
AT ITER 3522 NEW BEST:: SOT 27435 SOS 8842 HAS SOPS 8842 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8309.842
AT ITER 3590 NEW BEST:: SOT 27430 SOS 8840 HAS SOPS 8840 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8300.84
AT ITER 3596 NEW BEST:: SOT 27428 SOS 8836 HAS SOPS 8836 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8296.836
AT ITER 3621 NEW BEST:: SOT 27417 SOS 8817 HAS SOPS 8817 HAS SOUS 8269 HAS SOUPS 8269 WITH SCORE 8277.817
AT ITER 3641 NEW BEST:: SOT 27417 SOS 8815 HAS SOPS 8815 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8275.815
AT ITER 3655 NEW BEST:: SOT 27411 SOS 8797 HAS SOPS 8797 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8257.797
AT ITER 3693 NEW BEST:: SOT 27395 SOS 8775 HAS SOPS 8775 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8234.775
AT ITER 3732 NEW BEST:: SOT 27387 SOS 8763 HAS SOPS 8763 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8222.763
AT ITER 3754 NEW BEST:: SOT 27383 SOS 8760 HAS SOPS 8760 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8219.76
AT ITER 3756 NEW BEST:: SOT 27383 SOS 8747 HAS SOPS 8747 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8214.747
AT ITER 3826 NEW BEST:: SOT 27379 SOS 8743 HAS SOPS 8743 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8210.743
AT ITER 3833 NEW BEST:: SOT 27346 SOS 8689 HAS SOPS 8689 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8172.689
AT ITER 3834 NEW BEST:: SOT 27346 SOS 8684 HAS SOPS 8684 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8167.684
AT ITER 3852 NEW BEST:: SOT 27342 SOS 8680 HAS SOPS 8680 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8159.68
AT ITER 3915 NEW BEST:: SOT 27348 SOS 8703 HAS SOPS 8703 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8154.703
AT ITER 3923 NEW BEST:: SOT 27296 SOS 8642 HAS SOPS 8642 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8093.642
AT ITER 3931 NEW BEST:: SOT 27295 SOS 8639 HAS SOPS 8639 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8088.639
AT ITER 3968 NEW BEST:: SOT 27279 SOS 8617 HAS SOPS 8617 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8066.617
AT ITER 3972 NEW BEST:: SOT 27275 SOS 8609 HAS SOPS 8609 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8058.609
AT ITER 4007 NEW BEST:: SOT 27278 SOS 8564 HAS SOPS 8564 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8013.564
AT ITER 4015 NEW BEST:: SOT 27276 SOS 8516 HAS SOPS 8516 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 7997.516
AT ITER 4017 NEW BEST:: SOT 27288 SOS 8513 HAS SOPS 8513 HAS SOUS 7986 HAS SOUPS 7986 WITH SCORE 7994.513
AT ITER 4023 NEW BEST:: SOT 27263 SOS 8506 HAS SOPS 8506 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7987.506
AT ITER 4078 NEW BEST:: SOT 27247 SOS 8492 HAS SOPS 8492 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7973.492
AT ITER 4088 NEW BEST:: SOT 27238 SOS 8490 HAS SOPS 8490 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7971.49
AT ITER 4097 NEW BEST:: SOT 27251 SOS 8468 HAS SOPS 8468 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7949.468
AT ITER 4099 NEW BEST:: SOT 27232 SOS 8423 HAS SOPS 8423 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7926.423
AT ITER 4103 NEW BEST:: SOT 27224 SOS 8433 HAS SOPS 8433 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7922.433
AT ITER 4153 NEW BEST:: SOT 27208 SOS 8409 HAS SOPS 8409 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7898.409
AT ITER 4156 NEW BEST:: SOT 27181 SOS 8382 HAS SOPS 8382 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7892.382
AT ITER 4253 NEW BEST:: SOT 27181 SOS 8376 HAS SOPS 8376 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7886.376
AT ITER 4279 NEW BEST:: SOT 27181 SOS 8377 HAS SOPS 8377 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7881.377
AT ITER 4296 NEW BEST:: SOT 27175 SOS 8366 HAS SOPS 8366 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7871.366
AT ITER 4343 NEW BEST:: SOT 27175 SOS 8357 HAS SOPS 8357 HAS SOUS 7857 HAS SOUPS 7857 WITH SCORE 7865.357
AT ITER 4358 NEW BEST:: SOT 27173 SOS 8309 HAS SOPS 8309 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7817.309
AT ITER 4363 NEW BEST:: SOT 27173 SOS 8303 HAS SOPS 8303 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7812.303
AT ITER 4392 NEW BEST:: SOT 27172 SOS 8301 HAS SOPS 8301 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7811.301
AT ITER 4407 NEW BEST:: SOT 27172 SOS 8293 HAS SOPS 8293 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7803.293
AT ITER 4511 NEW BEST:: SOT 27161 SOS 8280 HAS SOPS 8280 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7795.28
AT ITER 4571 NEW BEST:: SOT 27168 SOS 8272 HAS SOPS 8272 HAS SOUS 7779 HAS SOUPS 7779 WITH SCORE 7787.272
AT ITER 4589 NEW BEST:: SOT 27158 SOS 8263 HAS SOPS 8263 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7778.263
AT ITER 4609 NEW BEST:: SOT 27145 SOS 8259 HAS SOPS 8259 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7776.259
AT ITER 4613 NEW BEST:: SOT 27140 SOS 8252 HAS SOPS 8252 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7769.252
AT ITER 4634 NEW BEST:: SOT 27140 SOS 8221 HAS SOPS 8221 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7764.221
AT ITER 4672 NEW BEST:: SOT 27126 SOS 8203 HAS SOPS 8203 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7746.203
AT ITER 4677 NEW BEST:: SOT 27118 SOS 8189 HAS SOPS 8189 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7732.189
AT ITER 4685 NEW BEST:: SOT 27112 SOS 8183 HAS SOPS 8183 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7732.183
AT ITER 4708 NEW BEST:: SOT 27115 SOS 8177 HAS SOPS 8177 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7731.177
AT ITER 4711 NEW BEST:: SOT 27114 SOS 8173 HAS SOPS 8173 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7730.173
AT ITER 4720 NEW BEST:: SOT 27114 SOS 8166 HAS SOPS 8166 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7723.166
AT ITER 4736 NEW BEST:: SOT 27116 SOS 8160 HAS SOPS 8160 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7717.16
AT ITER 4782 NEW BEST:: SOT 27102 SOS 8146 HAS SOPS 8146 HAS SOUS 7695 HAS SOUPS 7695 WITH SCORE 7703.146
AT ITER 4805 NEW BEST:: SOT 27083 SOS 8115 HAS SOPS 8115 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7672.115
AT ITER 4930 NEW BEST:: SOT 27081 SOS 8113 HAS SOPS 8113 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7672.113
AT ITER 4982 NEW BEST:: SOT 27075 SOS 8093 HAS SOPS 8093 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7666.093
AT ITER 4987 NEW BEST:: SOT 27077 SOS 8089 HAS SOPS 8089 HAS SOUS 7654 HAS SOUPS 7654 WITH SCORE 7662.089
AT ITER 5006 NEW BEST:: SOT 27089 SOS 8053 HAS SOPS 8053 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7626.053
AT ITER 5032 NEW BEST:: SOT 27084 SOS 8048 HAS SOPS 8048 HAS SOUS 7613 HAS SOUPS 7613 WITH SCORE 7621.048
AT ITER 5036 NEW BEST:: SOT 27080 SOS 8045 HAS SOPS 8045 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7616.045
AT ITER 5068 NEW BEST:: SOT 27074 SOS 8042 HAS SOPS 8042 HAS SOUS 7605 HAS SOUPS 7605 WITH SCORE 7613.042
AT ITER 5072 NEW BEST:: SOT 27071 SOS 8039 HAS SOPS 8039 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7610.039
AT ITER 5093 NEW BEST:: SOT 27059 SOS 8015 HAS SOPS 8015 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7586.015
AT ITER 5169 NEW BEST:: SOT 27049 SOS 8005 HAS SOPS 8005 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7576.005
AT ITER 5192 NEW BEST:: SOT 27049 SOS 8002 HAS SOPS 8002 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7570.002
AT ITER 5236 NEW BEST:: SOT 27048 SOS 7995 HAS SOPS 7995 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7567.995
AT ITER 5245 NEW BEST:: SOT 27025 SOS 7960 HAS SOPS 7960 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7532.96
AT ITER 5262 NEW BEST:: SOT 27033 SOS 7968 HAS SOPS 7968 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7530.968
AT ITER 5327 NEW BEST:: SOT 27022 SOS 7946 HAS SOPS 7946 HAS SOUS 7501 HAS SOUPS 7501 WITH SCORE 7508.946
AT ITER 5369 NEW BEST:: SOT 27021 SOS 7951 HAS SOPS 7951 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7505.951
AT ITER 5421 NEW BEST:: SOT 27021 SOS 7942 HAS SOPS 7942 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7501.942
AT ITER 5425 NEW BEST:: SOT 27020 SOS 7941 HAS SOPS 7941 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7501.941
AT ITER 5469 NEW BEST:: SOT 27017 SOS 7927 HAS SOPS 7927 HAS SOUS 7485 HAS SOUPS 7485 WITH SCORE 7492.927
AT ITER 5477 NEW BEST:: SOT 27015 SOS 7915 HAS SOPS 7915 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7480.915
AT ITER 5489 NEW BEST:: SOT 27011 SOS 7907 HAS SOPS 7907 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7472.907
AT ITER 5494 NEW BEST:: SOT 27008 SOS 7903 HAS SOPS 7903 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7468.903
AT ITER 5531 NEW BEST:: SOT 27005 SOS 7888 HAS SOPS 7888 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7456.888
AT ITER 5590 NEW BEST:: SOT 27003 SOS 7886 HAS SOPS 7886 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7455.886
AT ITER 5598 NEW BEST:: SOT 26999 SOS 7874 HAS SOPS 7874 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7447.874
AT ITER 5718 NEW BEST:: SOT 26995 SOS 7870 HAS SOPS 7870 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7443.87
AT ITER 5773 NEW BEST:: SOT 26995 SOS 7867 HAS SOPS 7867 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7440.867
AT ITER 5878 NEW BEST:: SOT 27003 SOS 7869 HAS SOPS 7869 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7429.869
AT ITER 5900 NEW BEST:: SOT 26980 SOS 7863 HAS SOPS 7863 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7423.863
AT ITER 5905 NEW BEST:: SOT 26971 SOS 7854 HAS SOPS 7854 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7414.854
AT ITER 5929 NEW BEST:: SOT 26957 SOS 7838 HAS SOPS 7838 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7398.838
AT ITER 5932 NEW BEST:: SOT 26955 SOS 7835 HAS SOPS 7835 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7395.835
AT ITER 5948 NEW BEST:: SOT 26911 SOS 7786 HAS SOPS 7786 HAS SOUS 7327 HAS SOUPS 7327 WITH SCORE 7334.786
AT ITER 5984 NEW BEST:: SOT 26903 SOS 7769 HAS SOPS 7769 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7317.769
AT ITER 6045 NEW BEST:: SOT 26902 SOS 7767 HAS SOPS 7767 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7309.767
AT ITER 6066 NEW BEST:: SOT 26903 SOS 7765 HAS SOPS 7765 HAS SOUS 7300 HAS SOUPS 7300 WITH SCORE 7307.765
AT ITER 6083 NEW BEST:: SOT 26907 SOS 7764 HAS SOPS 7764 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7306.764
AT ITER 6127 NEW BEST:: SOT 26906 SOS 7755 HAS SOPS 7755 HAS SOUS 7294 HAS SOUPS 7294 WITH SCORE 7301.755
AT ITER 6154 NEW BEST:: SOT 26899 SOS 7743 HAS SOPS 7743 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7289.743
AT ITER 6207 NEW BEST:: SOT 26899 SOS 7725 HAS SOPS 7725 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7279.725
AT ITER 6214 NEW BEST:: SOT 26899 SOS 7723 HAS SOPS 7723 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7277.723
AT ITER 6238 NEW BEST:: SOT 26889 SOS 7704 HAS SOPS 7704 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7258.704
AT ITER 6243 NEW BEST:: SOT 26887 SOS 7695 HAS SOPS 7695 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7249.695
AT ITER 6257 NEW BEST:: SOT 26892 SOS 7691 HAS SOPS 7691 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7245.691
AT ITER 6275 NEW BEST:: SOT 26876 SOS 7663 HAS SOPS 7663 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7217.663
AT ITER 6367 NEW BEST:: SOT 26873 SOS 7661 HAS SOPS 7661 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7215.661
AT ITER 6438 NEW BEST:: SOT 26873 SOS 7663 HAS SOPS 7663 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7214.663
AT ITER 6498 NEW BEST:: SOT 26870 SOS 7660 HAS SOPS 7660 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7211.66
AT ITER 6553 NEW BEST:: SOT 26870 SOS 7660 HAS SOPS 7660 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7210.66
AT ITER 6642 NEW BEST:: SOT 26893 SOS 7675 HAS SOPS 7675 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7208.675
AT ITER 6646 NEW BEST:: SOT 26886 SOS 7666 HAS SOPS 7666 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7199.666
AT ITER 6647 NEW BEST:: SOT 26884 SOS 7664 HAS SOPS 7664 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7197.664
AT ITER 6710 NEW BEST:: SOT 26884 SOS 7661 HAS SOPS 7661 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7194.661
AT ITER 6721 NEW BEST:: SOT 26880 SOS 7658 HAS SOPS 7658 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7191.658
AT ITER 6745 NEW BEST:: SOT 26877 SOS 7651 HAS SOPS 7651 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7182.651
AT ITER 6747 NEW BEST:: SOT 26866 SOS 7636 HAS SOPS 7636 HAS SOUS 7160 HAS SOUPS 7160 WITH SCORE 7167.636
AT ITER 6755 NEW BEST:: SOT 26865 SOS 7631 HAS SOPS 7631 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7164.631
AT ITER 6761 NEW BEST:: SOT 26865 SOS 7631 HAS SOPS 7631 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7163.631
AT ITER 6781 NEW BEST:: SOT 26860 SOS 7626 HAS SOPS 7626 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7160.626
AT ITER 6822 NEW BEST:: SOT 26860 SOS 7625 HAS SOPS 7625 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7159.625
AT ITER 6824 NEW BEST:: SOT 26860 SOS 7623 HAS SOPS 7623 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7156.623
AT ITER 6829 NEW BEST:: SOT 26832 SOS 7612 HAS SOPS 7612 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7151.612
AT ITER 6901 NEW BEST:: SOT 26830 SOS 7610 HAS SOPS 7610 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7149.61
AT ITER 6980 NEW BEST:: SOT 26830 SOS 7608 HAS SOPS 7608 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7147.608
AT ITER 7001 NEW BEST:: SOT 26816 SOS 7587 HAS SOPS 7587 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7126.587
AT ITER 7087 NEW BEST:: SOT 26834 SOS 7579 HAS SOPS 7579 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7118.579
AT ITER 7089 NEW BEST:: SOT 26834 SOS 7562 HAS SOPS 7562 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7101.562
AT ITER 7107 NEW BEST:: SOT 26822 SOS 7517 HAS SOPS 7517 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7055.517
AT ITER 7120 NEW BEST:: SOT 26807 SOS 7487 HAS SOPS 7487 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7025.487
AT ITER 7194 NEW BEST:: SOT 26807 SOS 7484 HAS SOPS 7484 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7022.484
AT ITER 7234 NEW BEST:: SOT 26805 SOS 7482 HAS SOPS 7482 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7019.482
AT ITER 7257 NEW BEST:: SOT 26790 SOS 7467 HAS SOPS 7467 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7019.467
AT ITER 7370 NEW BEST:: SOT 26784 SOS 7460 HAS SOPS 7460 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7012.46
AT ITER 7372 NEW BEST:: SOT 26784 SOS 7457 HAS SOPS 7457 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7012.457
AT ITER 7397 NEW BEST:: SOT 26784 SOS 7453 HAS SOPS 7453 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7008.453
AT ITER 7420 NEW BEST:: SOT 26783 SOS 7446 HAS SOPS 7446 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7001.446
AT ITER 7438 NEW BEST:: SOT 26781 SOS 7444 HAS SOPS 7444 HAS SOUS 6990 HAS SOUPS 6990 WITH SCORE 6997.444
AT ITER 7450 NEW BEST:: SOT 26780 SOS 7441 HAS SOPS 7441 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6994.441
AT ITER 7453 NEW BEST:: SOT 26780 SOS 7433 HAS SOPS 7433 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6994.433
AT ITER 7530 NEW BEST:: SOT 26778 SOS 7431 HAS SOPS 7431 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6992.431
AT ITER 7534 NEW BEST:: SOT 26767 SOS 7398 HAS SOPS 7398 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6964.398
AT ITER 7546 NEW BEST:: SOT 26771 SOS 7402 HAS SOPS 7402 HAS SOUS 6956 HAS SOUPS 6956 WITH SCORE 6963.402
AT ITER 7638 NEW BEST:: SOT 26769 SOS 7358 HAS SOPS 7358 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6949.358
AT ITER 7674 NEW BEST:: SOT 26767 SOS 7355 HAS SOPS 7355 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6946.355
AT ITER 7677 NEW BEST:: SOT 26764 SOS 7349 HAS SOPS 7349 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6940.349
AT ITER 7680 NEW BEST:: SOT 26774 SOS 7357 HAS SOPS 7357 HAS SOUS 6931 HAS SOUPS 6931 WITH SCORE 6938.357
AT ITER 7685 NEW BEST:: SOT 26766 SOS 7344 HAS SOPS 7344 HAS SOUS 6919 HAS SOUPS 6919 WITH SCORE 6926.344
AT ITER 7687 NEW BEST:: SOT 26766 SOS 7336 HAS SOPS 7336 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6918.336
AT ITER 7703 NEW BEST:: SOT 26756 SOS 7321 HAS SOPS 7321 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6908.321
AT ITER 7705 NEW BEST:: SOT 26756 SOS 7318 HAS SOPS 7318 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6905.318
AT ITER 7709 NEW BEST:: SOT 26757 SOS 7291 HAS SOPS 7291 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6891.291
AT ITER 7794 NEW BEST:: SOT 26757 SOS 7285 HAS SOPS 7285 HAS SOUS 6878 HAS SOUPS 6878 WITH SCORE 6885.285
AT ITER 7846 NEW BEST:: SOT 26754 SOS 7282 HAS SOPS 7282 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6882.282
AT ITER 7857 NEW BEST:: SOT 26752 SOS 7277 HAS SOPS 7277 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6879.277
AT ITER 7858 NEW BEST:: SOT 26748 SOS 7273 HAS SOPS 7273 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6875.273
AT ITER 7887 NEW BEST:: SOT 26748 SOS 7266 HAS SOPS 7266 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6868.266
AT ITER 7929 NEW BEST:: SOT 26744 SOS 7250 HAS SOPS 7250 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6856.25
AT ITER 7943 NEW BEST:: SOT 26748 SOS 7248 HAS SOPS 7248 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6854.248
AT ITER 7962 NEW BEST:: SOT 26665 SOS 7160 HAS SOPS 7160 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6753.16
AT ITER 7995 NEW BEST:: SOT 26664 SOS 7152 HAS SOPS 7152 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6744.152
AT ITER 8059 NEW BEST:: SOT 26660 SOS 7134 HAS SOPS 7134 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6732.134
AT ITER 8167 NEW BEST:: SOT 26660 SOS 7134 HAS SOPS 7134 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6730.134
AT ITER 8186 NEW BEST:: SOT 26653 SOS 7113 HAS SOPS 7113 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6709.113
AT ITER 8257 NEW BEST:: SOT 26638 SOS 7082 HAS SOPS 7082 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6694.082
AT ITER 8326 NEW BEST:: SOT 26636 SOS 7072 HAS SOPS 7072 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6687.072
AT ITER 8375 NEW BEST:: SOT 26631 SOS 7056 HAS SOPS 7056 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6671.056
AT ITER 8404 NEW BEST:: SOT 26625 SOS 7047 HAS SOPS 7047 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.047
AT ITER 8430 NEW BEST:: SOT 26623 SOS 7045 HAS SOPS 7045 HAS SOUS 6653 HAS SOUPS 6653 WITH SCORE 6660.045
AT ITER 8549 NEW BEST:: SOT 26616 SOS 7035 HAS SOPS 7035 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6653.035
AT ITER 8554 NEW BEST:: SOT 26616 SOS 7034 HAS SOPS 7034 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6652.034
AT ITER 8614 NEW BEST:: SOT 26609 SOS 7027 HAS SOPS 7027 HAS SOUS 6638 HAS SOUPS 6638 WITH SCORE 6645.027
AT ITER 8835 NEW BEST:: SOT 26609 SOS 7026 HAS SOPS 7026 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.026
AT ITER 8850 NEW BEST:: SOT 26604 SOS 7024 HAS SOPS 7024 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.024
AT ITER 8857 NEW BEST:: SOT 26590 SOS 6997 HAS SOPS 6997 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6619.997
AT ITER 8865 NEW BEST:: SOT 26585 SOS 6989 HAS SOPS 6989 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6616.989
AT ITER 8879 NEW BEST:: SOT 26582 SOS 6964 HAS SOPS 6964 HAS SOUS 6584 HAS SOUPS 6584 WITH SCORE 6590.964
AT ITER 8901 NEW BEST:: SOT 26580 SOS 6958 HAS SOPS 6958 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6584.958
AT ITER 8903 NEW BEST:: SOT 26579 SOS 6955 HAS SOPS 6955 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6583.955
AT ITER 8932 NEW BEST:: SOT 26578 SOS 6951 HAS SOPS 6951 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6579.951
AT ITER 8961 NEW BEST:: SOT 26576 SOS 6949 HAS SOPS 6949 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6577.949
AT ITER 8990 NEW BEST:: SOT 26576 SOS 6948 HAS SOPS 6948 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6577.948
AT ITER 9007 NEW BEST:: SOT 26576 SOS 6943 HAS SOPS 6943 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6567.943
AT ITER 9008 NEW BEST:: SOT 26573 SOS 6941 HAS SOPS 6941 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6565.941
AT ITER 9016 NEW BEST:: SOT 26571 SOS 6939 HAS SOPS 6939 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6565.939
AT ITER 9175 NEW BEST:: SOT 26569 SOS 6935 HAS SOPS 6935 HAS SOUS 6555 HAS SOUPS 6555 WITH SCORE 6561.935
AT ITER 9204 NEW BEST:: SOT 26564 SOS 6927 HAS SOPS 6927 HAS SOUS 6547 HAS SOUPS 6547 WITH SCORE 6553.927
AT ITER 9294 NEW BEST:: SOT 26565 SOS 6926 HAS SOPS 6926 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6547.926
AT ITER 9315 NEW BEST:: SOT 26555 SOS 6916 HAS SOPS 6916 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6537.916
AT ITER 9396 NEW BEST:: SOT 26514 SOS 6852 HAS SOPS 6852 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6452.852
AT ITER 9441 NEW BEST:: SOT 26512 SOS 6851 HAS SOPS 6851 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6448.851
AT ITER 9561 NEW BEST:: SOT 26507 SOS 6842 HAS SOPS 6842 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6439.842
AT ITER 9609 NEW BEST:: SOT 26489 SOS 6807 HAS SOPS 6807 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6401.807
AT ITER 9675 NEW BEST:: SOT 26487 SOS 6802 HAS SOPS 6802 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6396.802
AT ITER 9750 NEW BEST:: SOT 26489 SOS 6794 HAS SOPS 6794 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6388.794
AT ITER 9798 NEW BEST:: SOT 26491 SOS 6796 HAS SOPS 6796 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6386.796
AT ITER 9883 NEW BEST:: SOT 26493 SOS 6791 HAS SOPS 6791 HAS SOUS 6375 HAS SOUPS 6375 WITH SCORE 6381.791
AT ITER 9905 NEW BEST:: SOT 26492 SOS 6795 HAS SOPS 6795 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6379.795
AT ITER 9952 NEW BEST:: SOT 26488 SOS 6791 HAS SOPS 6791 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6375.791
AT ITER 9962 NEW BEST:: SOT 26488 SOS 6781 HAS SOPS 6781 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6370.781
AT ITER 9970 NEW BEST:: SOT 26489 SOS 6775 HAS SOPS 6775 HAS SOUS 6358 HAS SOUPS 6358 WITH SCORE 6364.775
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 2506616 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120896 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPt-PT-010A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ShieldPPPt-PT-010A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903719000616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-010A.tgz
mv ShieldPPPt-PT-010A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;