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.r163-tall-167838847800456.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is FlexibleBarrier-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847800456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 12:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 12:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 12:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Feb 25 12:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 25 12:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 69K Mar 5 18:22 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 1678450820713

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-04b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 04b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 268 places, 305 transitions, 743 arcs.
AT ITER 0 NEW BEST:: SOT 51847 SOS 21531 HAS SOPS 21531 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.531
AT ITER 1 NEW BEST:: SOT 51705 SOS 21460 HAS SOPS 21460 HAS SOUS 18587 HAS SOUPS 18587 WITH SCORE 18608.46
AT ITER 2 NEW BEST:: SOT 51646 SOS 21342 HAS SOPS 21342 HAS SOUS 18469 HAS SOUPS 18469 WITH SCORE 18490.342
AT ITER 5 NEW BEST:: SOT 51623 SOS 21296 HAS SOPS 21296 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18455.296
AT ITER 17 NEW BEST:: SOT 51546 SOS 21421 HAS SOPS 21421 HAS SOUS 18417 HAS SOUPS 18417 WITH SCORE 18438.421
AT ITER 19 NEW BEST:: SOT 51473 SOS 21257 HAS SOPS 21257 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18337.257
AT ITER 21 NEW BEST:: SOT 51354 SOS 21183 HAS SOPS 21183 HAS SOUS 18197 HAS SOUPS 18197 WITH SCORE 18218.183
AT ITER 24 NEW BEST:: SOT 51354 SOS 21169 HAS SOPS 21169 HAS SOUS 18181 HAS SOUPS 18181 WITH SCORE 18202.169
AT ITER 31 NEW BEST:: SOT 51326 SOS 21093 HAS SOPS 21093 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18174.093
AT ITER 35 NEW BEST:: SOT 51326 SOS 21093 HAS SOPS 21093 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18165.093
AT ITER 39 NEW BEST:: SOT 51258 SOS 21090 HAS SOPS 21090 HAS SOUS 18119 HAS SOUPS 18119 WITH SCORE 18140.09
AT ITER 43 NEW BEST:: SOT 51203 SOS 20858 HAS SOPS 20858 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18052.858
AT ITER 48 NEW BEST:: SOT 51202 SOS 20856 HAS SOPS 20856 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18049.856
AT ITER 53 NEW BEST:: SOT 51093 SOS 20753 HAS SOPS 20753 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17950.753
AT ITER 55 NEW BEST:: SOT 51014 SOS 20761 HAS SOPS 20761 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17886.761
AT ITER 59 NEW BEST:: SOT 51014 SOS 20712 HAS SOPS 20712 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17886.712
AT ITER 71 NEW BEST:: SOT 51014 SOS 20709 HAS SOPS 20709 HAS SOUS 17863 HAS SOUPS 17863 WITH SCORE 17883.709
AT ITER 77 NEW BEST:: SOT 50938 SOS 20641 HAS SOPS 20641 HAS SOUS 17808 HAS SOUPS 17808 WITH SCORE 17828.641
AT ITER 78 NEW BEST:: SOT 50928 SOS 20631 HAS SOPS 20631 HAS SOUS 17786 HAS SOUPS 17786 WITH SCORE 17806.631
AT ITER 79 NEW BEST:: SOT 50830 SOS 20579 HAS SOPS 20579 HAS SOUS 17706 HAS SOUPS 17706 WITH SCORE 17726.579
AT ITER 86 NEW BEST:: SOT 50825 SOS 20574 HAS SOPS 20574 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17721.574
AT ITER 89 NEW BEST:: SOT 50825 SOS 20547 HAS SOPS 20547 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17694.547
AT ITER 90 NEW BEST:: SOT 50660 SOS 20785 HAS SOPS 20785 HAS SOUS 17552 HAS SOUPS 17552 WITH SCORE 17572.785
AT ITER 96 NEW BEST:: SOT 50564 SOS 20689 HAS SOPS 20689 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17477.689
AT ITER 98 NEW BEST:: SOT 50504 SOS 20721 HAS SOPS 20721 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17418.721
AT ITER 99 NEW BEST:: SOT 50504 SOS 20721 HAS SOPS 20721 HAS SOUS 17364 HAS SOUPS 17364 WITH SCORE 17384.721
AT ITER 100 NEW BEST:: SOT 50520 SOS 20703 HAS SOPS 20703 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17376.703
AT ITER 106 NEW BEST:: SOT 50505 SOS 20598 HAS SOPS 20598 HAS SOUS 17326 HAS SOUPS 17326 WITH SCORE 17346.598
AT ITER 108 NEW BEST:: SOT 50505 SOS 20572 HAS SOPS 20572 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17333.572
AT ITER 118 NEW BEST:: SOT 50003 SOS 20197 HAS SOPS 20197 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16929.197
AT ITER 129 NEW BEST:: SOT 49984 SOS 20159 HAS SOPS 20159 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16910.159
AT ITER 142 NEW BEST:: SOT 49934 SOS 19939 HAS SOPS 19939 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16809.939
AT ITER 147 NEW BEST:: SOT 49922 SOS 19750 HAS SOPS 19750 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16797.75
AT ITER 152 NEW BEST:: SOT 49945 SOS 19704 HAS SOPS 19704 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16784.704
AT ITER 169 NEW BEST:: SOT 49929 SOS 19683 HAS SOPS 19683 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16771.683
AT ITER 174 NEW BEST:: SOT 49929 SOS 19647 HAS SOPS 19647 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16732.647
AT ITER 181 NEW BEST:: SOT 49927 SOS 19641 HAS SOPS 19641 HAS SOUS 16708 HAS SOUPS 16708 WITH SCORE 16727.641
AT ITER 198 NEW BEST:: SOT 49889 SOS 19431 HAS SOPS 19431 HAS SOUS 16639 HAS SOUPS 16639 WITH SCORE 16658.431
AT ITER 203 NEW BEST:: SOT 49861 SOS 19403 HAS SOPS 19403 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16630.403
AT ITER 207 NEW BEST:: SOT 49858 SOS 19399 HAS SOPS 19399 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16626.399
AT ITER 209 NEW BEST:: SOT 49864 SOS 19225 HAS SOPS 19225 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16539.225
AT ITER 212 NEW BEST:: SOT 49816 SOS 19025 HAS SOPS 19025 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16469.025
AT ITER 213 NEW BEST:: SOT 49767 SOS 18821 HAS SOPS 18821 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16349.821
AT ITER 220 NEW BEST:: SOT 49781 SOS 18835 HAS SOPS 18835 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16339.835
AT ITER 226 NEW BEST:: SOT 49739 SOS 18797 HAS SOPS 18797 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16259.797
AT ITER 227 NEW BEST:: SOT 49115 SOS 20208 HAS SOPS 20208 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15882.208
AT ITER 231 NEW BEST:: SOT 49113 SOS 20204 HAS SOPS 20204 HAS SOUS 15858 HAS SOUPS 15858 WITH SCORE 15878.204
AT ITER 235 NEW BEST:: SOT 49101 SOS 20323 HAS SOPS 20323 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15861.323
AT ITER 238 NEW BEST:: SOT 49103 SOS 20219 HAS SOPS 20219 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15791.219
AT ITER 240 NEW BEST:: SOT 49100 SOS 20198 HAS SOPS 20198 HAS SOUS 15768 HAS SOUPS 15768 WITH SCORE 15788.198
AT ITER 252 NEW BEST:: SOT 49079 SOS 20098 HAS SOPS 20098 HAS SOUS 15726 HAS SOUPS 15726 WITH SCORE 15746.098
AT ITER 263 NEW BEST:: SOT 49130 SOS 20141 HAS SOPS 20141 HAS SOUS 15718 HAS SOUPS 15718 WITH SCORE 15738.141
AT ITER 270 NEW BEST:: SOT 49047 SOS 20058 HAS SOPS 20058 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15657.058
AT ITER 271 NEW BEST:: SOT 49023 SOS 20010 HAS SOPS 20010 HAS SOUS 15613 HAS SOUPS 15613 WITH SCORE 15633.01
AT ITER 273 NEW BEST:: SOT 49073 SOS 20039 HAS SOPS 20039 HAS SOUS 15610 HAS SOUPS 15610 WITH SCORE 15630.039
AT ITER 275 NEW BEST:: SOT 49126 SOS 20043 HAS SOPS 20043 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15553.043
AT ITER 285 NEW BEST:: SOT 49126 SOS 20032 HAS SOPS 20032 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15542.032
AT ITER 295 NEW BEST:: SOT 48946 SOS 19924 HAS SOPS 19924 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15361.924
AT ITER 297 NEW BEST:: SOT 48890 SOS 19901 HAS SOPS 19901 HAS SOUS 15339 HAS SOUPS 15339 WITH SCORE 15358.901
AT ITER 302 NEW BEST:: SOT 48085 SOS 19432 HAS SOPS 19432 HAS SOUS 14637 HAS SOUPS 14637 WITH SCORE 14656.432
AT ITER 307 NEW BEST:: SOT 48037 SOS 19178 HAS SOPS 19178 HAS SOUS 14612 HAS SOUPS 14612 WITH SCORE 14631.178
AT ITER 311 NEW BEST:: SOT 48033 SOS 19154 HAS SOPS 19154 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14623.154
AT ITER 325 NEW BEST:: SOT 48033 SOS 19148 HAS SOPS 19148 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14620.148
AT ITER 334 NEW BEST:: SOT 47964 SOS 19104 HAS SOPS 19104 HAS SOUS 14532 HAS SOUPS 14532 WITH SCORE 14551.104
AT ITER 336 NEW BEST:: SOT 47994 SOS 18617 HAS SOPS 18617 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14514.617
AT ITER 338 NEW BEST:: SOT 47962 SOS 18609 HAS SOPS 18609 HAS SOUS 14472 HAS SOUPS 14472 WITH SCORE 14490.609
AT ITER 348 NEW BEST:: SOT 47962 SOS 18588 HAS SOPS 18588 HAS SOUS 14435 HAS SOUPS 14435 WITH SCORE 14453.588
AT ITER 353 NEW BEST:: SOT 47961 SOS 18574 HAS SOPS 18574 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14452.574
AT ITER 354 NEW BEST:: SOT 48064 SOS 18651 HAS SOPS 18651 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14442.651
AT ITER 356 NEW BEST:: SOT 48056 SOS 18635 HAS SOPS 18635 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14432.635
AT ITER 362 NEW BEST:: SOT 48066 SOS 18650 HAS SOPS 18650 HAS SOUS 14403 HAS SOUPS 14403 WITH SCORE 14421.65
AT ITER 373 NEW BEST:: SOT 48055 SOS 18628 HAS SOPS 18628 HAS SOUS 14392 HAS SOUPS 14392 WITH SCORE 14410.628
AT ITER 382 NEW BEST:: SOT 47876 SOS 18660 HAS SOPS 18660 HAS SOUS 14206 HAS SOUPS 14206 WITH SCORE 14224.66
AT ITER 385 NEW BEST:: SOT 47876 SOS 18660 HAS SOPS 18660 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14223.66
AT ITER 392 NEW BEST:: SOT 47844 SOS 18510 HAS SOPS 18510 HAS SOUS 14161 HAS SOUPS 14161 WITH SCORE 14179.51
AT ITER 393 NEW BEST:: SOT 47844 SOS 18510 HAS SOPS 18510 HAS SOUS 14148 HAS SOUPS 14148 WITH SCORE 14166.51
AT ITER 397 NEW BEST:: SOT 47900 SOS 18238 HAS SOPS 18238 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14082.238
AT ITER 415 NEW BEST:: SOT 47890 SOS 18228 HAS SOPS 18228 HAS SOUS 14054 HAS SOUPS 14054 WITH SCORE 14072.228
AT ITER 416 NEW BEST:: SOT 47736 SOS 18228 HAS SOPS 18228 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13976.228
AT ITER 433 NEW BEST:: SOT 47727 SOS 18169 HAS SOPS 18169 HAS SOUS 13908 HAS SOUPS 13908 WITH SCORE 13926.169
AT ITER 440 NEW BEST:: SOT 47715 SOS 18157 HAS SOPS 18157 HAS SOUS 13896 HAS SOUPS 13896 WITH SCORE 13914.157
AT ITER 447 NEW BEST:: SOT 47619 SOS 17871 HAS SOPS 17871 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13770.871
AT ITER 454 NEW BEST:: SOT 47503 SOS 17751 HAS SOPS 17751 HAS SOUS 13624 HAS SOUPS 13624 WITH SCORE 13641.751
AT ITER 468 NEW BEST:: SOT 47485 SOS 17715 HAS SOPS 17715 HAS SOUS 13588 HAS SOUPS 13588 WITH SCORE 13605.715
AT ITER 469 NEW BEST:: SOT 47208 SOS 18539 HAS SOPS 18539 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13535.539
AT ITER 470 NEW BEST:: SOT 47204 SOS 18528 HAS SOPS 18528 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13531.528
AT ITER 477 NEW BEST:: SOT 47280 SOS 18563 HAS SOPS 18563 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13529.563
AT ITER 499 NEW BEST:: SOT 47280 SOS 18563 HAS SOPS 18563 HAS SOUS 13493 HAS SOUPS 13493 WITH SCORE 13511.563
AT ITER 505 NEW BEST:: SOT 47266 SOS 18542 HAS SOPS 18542 HAS SOUS 13472 HAS SOUPS 13472 WITH SCORE 13490.542
AT ITER 510 NEW BEST:: SOT 47281 SOS 18539 HAS SOPS 18539 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13472.539
AT ITER 523 NEW BEST:: SOT 47272 SOS 18510 HAS SOPS 18510 HAS SOUS 13426 HAS SOUPS 13426 WITH SCORE 13444.51
AT ITER 529 NEW BEST:: SOT 47251 SOS 18413 HAS SOPS 18413 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13435.413
AT ITER 540 NEW BEST:: SOT 47241 SOS 18382 HAS SOPS 18382 HAS SOUS 13407 HAS SOUPS 13407 WITH SCORE 13425.382
AT ITER 542 NEW BEST:: SOT 47189 SOS 18402 HAS SOPS 18402 HAS SOUS 13404 HAS SOUPS 13404 WITH SCORE 13422.402
AT ITER 546 NEW BEST:: SOT 47179 SOS 18400 HAS SOPS 18400 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13420.4
AT ITER 549 NEW BEST:: SOT 47158 SOS 18337 HAS SOPS 18337 HAS SOUS 13339 HAS SOUPS 13339 WITH SCORE 13357.337
AT ITER 552 NEW BEST:: SOT 47135 SOS 18291 HAS SOPS 18291 HAS SOUS 13293 HAS SOUPS 13293 WITH SCORE 13311.291
AT ITER 553 NEW BEST:: SOT 47148 SOS 18156 HAS SOPS 18156 HAS SOUS 13251 HAS SOUPS 13251 WITH SCORE 13269.156
AT ITER 554 NEW BEST:: SOT 47245 SOS 18149 HAS SOPS 18149 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13262.149
AT ITER 574 NEW BEST:: SOT 47267 SOS 18147 HAS SOPS 18147 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13240.147
AT ITER 602 NEW BEST:: SOT 47267 SOS 18117 HAS SOPS 18117 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13180.117
AT ITER 612 NEW BEST:: SOT 47269 SOS 18119 HAS SOPS 18119 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13164.119
AT ITER 617 NEW BEST:: SOT 47269 SOS 18106 HAS SOPS 18106 HAS SOUS 13146 HAS SOUPS 13146 WITH SCORE 13164.106
AT ITER 623 NEW BEST:: SOT 47269 SOS 18106 HAS SOPS 18106 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13154.106
AT ITER 635 NEW BEST:: SOT 47270 SOS 18005 HAS SOPS 18005 HAS SOUS 13118 HAS SOUPS 13118 WITH SCORE 13136.005
AT ITER 637 NEW BEST:: SOT 47261 SOS 17996 HAS SOPS 17996 HAS SOUS 13100 HAS SOUPS 13100 WITH SCORE 13117.996
AT ITER 641 NEW BEST:: SOT 47261 SOS 17996 HAS SOPS 17996 HAS SOUS 13072 HAS SOUPS 13072 WITH SCORE 13089.996
AT ITER 667 NEW BEST:: SOT 47164 SOS 17840 HAS SOPS 17840 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12927.84
AT ITER 677 NEW BEST:: SOT 47161 SOS 17781 HAS SOPS 17781 HAS SOUS 12877 HAS SOUPS 12877 WITH SCORE 12894.781
AT ITER 690 NEW BEST:: SOT 47186 SOS 17727 HAS SOPS 17727 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12853.727
AT ITER 697 NEW BEST:: SOT 47119 SOS 17656 HAS SOPS 17656 HAS SOUS 12765 HAS SOUPS 12765 WITH SCORE 12782.656
AT ITER 712 NEW BEST:: SOT 47130 SOS 17639 HAS SOPS 17639 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12765.639
AT ITER 713 NEW BEST:: SOT 47130 SOS 17616 HAS SOPS 17616 HAS SOUS 12725 HAS SOUPS 12725 WITH SCORE 12742.616
AT ITER 720 NEW BEST:: SOT 47136 SOS 17611 HAS SOPS 17611 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12740.611
AT ITER 738 NEW BEST:: SOT 47215 SOS 17626 HAS SOPS 17626 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12719.626
AT ITER 744 NEW BEST:: SOT 47215 SOS 17644 HAS SOPS 17644 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12695.644
AT ITER 755 NEW BEST:: SOT 47182 SOS 17611 HAS SOPS 17611 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12683.611
AT ITER 760 NEW BEST:: SOT 47175 SOS 17597 HAS SOPS 17597 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12677.597
AT ITER 765 NEW BEST:: SOT 47173 SOS 17591 HAS SOPS 17591 HAS SOUS 12654 HAS SOUPS 12654 WITH SCORE 12671.591
AT ITER 770 NEW BEST:: SOT 47125 SOS 17519 HAS SOPS 17519 HAS SOUS 12602 HAS SOUPS 12602 WITH SCORE 12619.519
AT ITER 777 NEW BEST:: SOT 47115 SOS 17514 HAS SOPS 17514 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12609.514
AT ITER 783 NEW BEST:: SOT 47115 SOS 17513 HAS SOPS 17513 HAS SOUS 12591 HAS SOUPS 12591 WITH SCORE 12608.513
AT ITER 792 NEW BEST:: SOT 47074 SOS 17361 HAS SOPS 17361 HAS SOUS 12494 HAS SOUPS 12494 WITH SCORE 12511.361
AT ITER 813 NEW BEST:: SOT 47064 SOS 17341 HAS SOPS 17341 HAS SOUS 12484 HAS SOUPS 12484 WITH SCORE 12501.341
AT ITER 823 NEW BEST:: SOT 47063 SOS 17336 HAS SOPS 17336 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12496.336
AT ITER 829 NEW BEST:: SOT 47018 SOS 17261 HAS SOPS 17261 HAS SOUS 12476 HAS SOUPS 12476 WITH SCORE 12493.261
AT ITER 834 NEW BEST:: SOT 47036 SOS 17203 HAS SOPS 17203 HAS SOUS 12467 HAS SOUPS 12467 WITH SCORE 12484.203
AT ITER 838 NEW BEST:: SOT 47107 SOS 17267 HAS SOPS 17267 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12477.267
AT ITER 840 NEW BEST:: SOT 47107 SOS 17245 HAS SOPS 17245 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12455.245
AT ITER 850 NEW BEST:: SOT 47107 SOS 17245 HAS SOPS 17245 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12447.245
AT ITER 857 NEW BEST:: SOT 47105 SOS 17243 HAS SOPS 17243 HAS SOUS 12424 HAS SOUPS 12424 WITH SCORE 12441.243
AT ITER 860 NEW BEST:: SOT 47105 SOS 17243 HAS SOPS 17243 HAS SOUS 12423 HAS SOUPS 12423 WITH SCORE 12440.243
AT ITER 862 NEW BEST:: SOT 47019 SOS 17071 HAS SOPS 17071 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12330.071
AT ITER 901 NEW BEST:: SOT 47015 SOS 17048 HAS SOPS 17048 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12240.048
AT ITER 913 NEW BEST:: SOT 47029 SOS 17076 HAS SOPS 17076 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12219.076
AT ITER 919 NEW BEST:: SOT 47026 SOS 17078 HAS SOPS 17078 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12217.078
AT ITER 920 NEW BEST:: SOT 47009 SOS 17044 HAS SOPS 17044 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12181.044
AT ITER 929 NEW BEST:: SOT 47006 SOS 17038 HAS SOPS 17038 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12178.038
AT ITER 931 NEW BEST:: SOT 47006 SOS 17018 HAS SOPS 17018 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12138.018
AT ITER 941 NEW BEST:: SOT 46991 SOS 17037 HAS SOPS 17037 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12124.037
AT ITER 955 NEW BEST:: SOT 46988 SOS 17031 HAS SOPS 17031 HAS SOUS 12104 HAS SOUPS 12104 WITH SCORE 12121.031
AT ITER 958 NEW BEST:: SOT 46953 SOS 17005 HAS SOPS 17005 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12086.005
AT ITER 964 NEW BEST:: SOT 46949 SOS 16962 HAS SOPS 16962 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12060.962
AT ITER 992 NEW BEST:: SOT 46878 SOS 16886 HAS SOPS 16886 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11973.886
AT ITER 1000 NEW BEST:: SOT 46879 SOS 16888 HAS SOPS 16888 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11965.888
AT ITER 1005 NEW BEST:: SOT 46864 SOS 16858 HAS SOPS 16858 HAS SOUS 11919 HAS SOUPS 11919 WITH SCORE 11935.858
AT ITER 1010 NEW BEST:: SOT 46853 SOS 16911 HAS SOPS 16911 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11921.911
AT ITER 1012 NEW BEST:: SOT 46804 SOS 16862 HAS SOPS 16862 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11904.862
AT ITER 1015 NEW BEST:: SOT 46723 SOS 16796 HAS SOPS 16796 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11863.796
AT ITER 1018 NEW BEST:: SOT 46696 SOS 16706 HAS SOPS 16706 HAS SOUS 11748 HAS SOUPS 11748 WITH SCORE 11764.706
AT ITER 1023 NEW BEST:: SOT 46616 SOS 16625 HAS SOPS 16625 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11762.625
AT ITER 1032 NEW BEST:: SOT 46577 SOS 16602 HAS SOPS 16602 HAS SOUS 11687 HAS SOUPS 11687 WITH SCORE 11703.602
AT ITER 1039 NEW BEST:: SOT 46565 SOS 16590 HAS SOPS 16590 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11700.59
AT ITER 1042 NEW BEST:: SOT 46567 SOS 16536 HAS SOPS 16536 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11693.536
AT ITER 1048 NEW BEST:: SOT 46561 SOS 16524 HAS SOPS 16524 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11662.524
AT ITER 1052 NEW BEST:: SOT 46556 SOS 16514 HAS SOPS 16514 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11652.514
AT ITER 1055 NEW BEST:: SOT 46556 SOS 16514 HAS SOPS 16514 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11642.514
AT ITER 1063 NEW BEST:: SOT 46529 SOS 16452 HAS SOPS 16452 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11609.452
AT ITER 1067 NEW BEST:: SOT 46496 SOS 16461 HAS SOPS 16461 HAS SOUS 11560 HAS SOUPS 11560 WITH SCORE 11576.461
AT ITER 1083 NEW BEST:: SOT 46483 SOS 16435 HAS SOPS 16435 HAS SOUS 11536 HAS SOUPS 11536 WITH SCORE 11552.435
AT ITER 1101 NEW BEST:: SOT 46483 SOS 16435 HAS SOPS 16435 HAS SOUS 11535 HAS SOUPS 11535 WITH SCORE 11551.435
AT ITER 1102 NEW BEST:: SOT 46429 SOS 16290 HAS SOPS 16290 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11416.29
AT ITER 1118 NEW BEST:: SOT 46417 SOS 16266 HAS SOPS 16266 HAS SOUS 11379 HAS SOUPS 11379 WITH SCORE 11395.266
AT ITER 1119 NEW BEST:: SOT 46413 SOS 16174 HAS SOPS 16174 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11374.174
AT ITER 1130 NEW BEST:: SOT 46406 SOS 16225 HAS SOPS 16225 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11367.225
AT ITER 1135 NEW BEST:: SOT 46397 SOS 16226 HAS SOPS 16226 HAS SOUS 11348 HAS SOUPS 11348 WITH SCORE 11364.226
AT ITER 1137 NEW BEST:: SOT 46396 SOS 16224 HAS SOPS 16224 HAS SOUS 11271 HAS SOUPS 11271 WITH SCORE 11287.224
AT ITER 1163 NEW BEST:: SOT 46389 SOS 16210 HAS SOPS 16210 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11273.21
AT ITER 1197 NEW BEST:: SOT 46368 SOS 16196 HAS SOPS 16196 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11231.196
AT ITER 1211 NEW BEST:: SOT 46351 SOS 16162 HAS SOPS 16162 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11180.162
AT ITER 1234 NEW BEST:: SOT 46349 SOS 16160 HAS SOPS 16160 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11180.16
AT ITER 1236 NEW BEST:: SOT 46353 SOS 16152 HAS SOPS 16152 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11174.152
AT ITER 1240 NEW BEST:: SOT 46352 SOS 16106 HAS SOPS 16106 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11172.106
AT ITER 1250 NEW BEST:: SOT 46331 SOS 16076 HAS SOPS 16076 HAS SOUS 11135 HAS SOUPS 11135 WITH SCORE 11151.076
AT ITER 1251 NEW BEST:: SOT 46302 SOS 15349 HAS SOPS 15349 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11130.349
AT ITER 1256 NEW BEST:: SOT 46302 SOS 15360 HAS SOPS 15360 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11116.36
AT ITER 1261 NEW BEST:: SOT 46275 SOS 15368 HAS SOPS 15368 HAS SOUS 11067 HAS SOUPS 11067 WITH SCORE 11082.368
AT ITER 1278 NEW BEST:: SOT 46247 SOS 15284 HAS SOPS 15284 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11051.284
AT ITER 1307 NEW BEST:: SOT 46184 SOS 15162 HAS SOPS 15162 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11017.162
AT ITER 1308 NEW BEST:: SOT 46156 SOS 15194 HAS SOPS 15194 HAS SOUS 10974 HAS SOUPS 10974 WITH SCORE 10989.194
AT ITER 1313 NEW BEST:: SOT 46157 SOS 15230 HAS SOPS 15230 HAS SOUS 10967 HAS SOUPS 10967 WITH SCORE 10982.23
AT ITER 1329 NEW BEST:: SOT 46179 SOS 15192 HAS SOPS 15192 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10937.192
AT ITER 1332 NEW BEST:: SOT 46179 SOS 15180 HAS SOPS 15180 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10937.18
AT ITER 1339 NEW BEST:: SOT 46165 SOS 15152 HAS SOPS 15152 HAS SOUS 10908 HAS SOUPS 10908 WITH SCORE 10923.152
AT ITER 1343 NEW BEST:: SOT 46163 SOS 15091 HAS SOPS 15091 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10921.091
AT ITER 1348 NEW BEST:: SOT 46163 SOS 15082 HAS SOPS 15082 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10912.082
AT ITER 1360 NEW BEST:: SOT 46163 SOS 15042 HAS SOPS 15042 HAS SOUS 10852 HAS SOUPS 10852 WITH SCORE 10867.042
AT ITER 1380 NEW BEST:: SOT 46110 SOS 14989 HAS SOPS 14989 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10813.989
AT ITER 1382 NEW BEST:: SOT 46110 SOS 14979 HAS SOPS 14979 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10813.979
AT ITER 1391 NEW BEST:: SOT 46110 SOS 14979 HAS SOPS 14979 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10811.979
AT ITER 1412 NEW BEST:: SOT 46110 SOS 14978 HAS SOPS 14978 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10810.978
AT ITER 1414 NEW BEST:: SOT 46114 SOS 14881 HAS SOPS 14881 HAS SOUS 10788 HAS SOUPS 10788 WITH SCORE 10802.881
AT ITER 1420 NEW BEST:: SOT 46114 SOS 14881 HAS SOPS 14881 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10799.881
AT ITER 1427 NEW BEST:: SOT 46084 SOS 14821 HAS SOPS 14821 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10769.821
AT ITER 1433 NEW BEST:: SOT 46095 SOS 14831 HAS SOPS 14831 HAS SOUS 10751 HAS SOUPS 10751 WITH SCORE 10765.831
AT ITER 1445 NEW BEST:: SOT 46093 SOS 14823 HAS SOPS 14823 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10763.823
AT ITER 1454 NEW BEST:: SOT 46093 SOS 14823 HAS SOPS 14823 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10755.823
AT ITER 1468 NEW BEST:: SOT 46091 SOS 14819 HAS SOPS 14819 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10751.819
AT ITER 1501 NEW BEST:: SOT 46090 SOS 14817 HAS SOPS 14817 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10751.817
AT ITER 1505 NEW BEST:: SOT 46090 SOS 14817 HAS SOPS 14817 HAS SOUS 10736 HAS SOUPS 10736 WITH SCORE 10750.817
AT ITER 1512 NEW BEST:: SOT 46077 SOS 14804 HAS SOPS 14804 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10713.804
AT ITER 1520 NEW BEST:: SOT 46077 SOS 14804 HAS SOPS 14804 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10708.804
AT ITER 1543 NEW BEST:: SOT 46085 SOS 14820 HAS SOPS 14820 HAS SOUS 10687 HAS SOUPS 10687 WITH SCORE 10701.82
AT ITER 1553 NEW BEST:: SOT 46069 SOS 14797 HAS SOPS 14797 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10678.797
AT ITER 1566 NEW BEST:: SOT 46070 SOS 14787 HAS SOPS 14787 HAS SOUS 10661 HAS SOUPS 10661 WITH SCORE 10675.787
AT ITER 1572 NEW BEST:: SOT 45999 SOS 14645 HAS SOPS 14645 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10626.645
AT ITER 1576 NEW BEST:: SOT 46005 SOS 14616 HAS SOPS 14616 HAS SOUS 10555 HAS SOUPS 10555 WITH SCORE 10569.616
AT ITER 1596 NEW BEST:: SOT 46011 SOS 14622 HAS SOPS 14622 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10563.622
AT ITER 1603 NEW BEST:: SOT 46003 SOS 14606 HAS SOPS 14606 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10557.606
AT ITER 1621 NEW BEST:: SOT 46003 SOS 14596 HAS SOPS 14596 HAS SOUS 10529 HAS SOUPS 10529 WITH SCORE 10543.596
AT ITER 1622 NEW BEST:: SOT 45993 SOS 14574 HAS SOPS 14574 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10521.574
AT ITER 1639 NEW BEST:: SOT 45956 SOS 14605 HAS SOPS 14605 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10493.605
AT ITER 1646 NEW BEST:: SOT 45964 SOS 14613 HAS SOPS 14613 HAS SOUS 10473 HAS SOUPS 10473 WITH SCORE 10487.613
AT ITER 1650 NEW BEST:: SOT 45962 SOS 14609 HAS SOPS 14609 HAS SOUS 10457 HAS SOUPS 10457 WITH SCORE 10471.609
AT ITER 1699 NEW BEST:: SOT 45942 SOS 14587 HAS SOPS 14587 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10433.587
AT ITER 1717 NEW BEST:: SOT 45942 SOS 14564 HAS SOPS 14564 HAS SOUS 10418 HAS SOUPS 10418 WITH SCORE 10432.564
AT ITER 1718 NEW BEST:: SOT 45941 SOS 14563 HAS SOPS 14563 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10431.563
AT ITER 1728 NEW BEST:: SOT 45921 SOS 14535 HAS SOPS 14535 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10423.535
AT ITER 1744 NEW BEST:: SOT 45901 SOS 14561 HAS SOPS 14561 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10405.561
AT ITER 1749 NEW BEST:: SOT 45890 SOS 14550 HAS SOPS 14550 HAS SOUS 10380 HAS SOUPS 10380 WITH SCORE 10394.55
AT ITER 1758 NEW BEST:: SOT 45890 SOS 14533 HAS SOPS 14533 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10360.533
AT ITER 1774 NEW BEST:: SOT 45875 SOS 14515 HAS SOPS 14515 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10343.515
AT ITER 1780 NEW BEST:: SOT 45841 SOS 14464 HAS SOPS 14464 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10311.464
AT ITER 1788 NEW BEST:: SOT 45805 SOS 14392 HAS SOPS 14392 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10247.392
AT ITER 1792 NEW BEST:: SOT 45805 SOS 14320 HAS SOPS 14320 HAS SOUS 10232 HAS SOUPS 10232 WITH SCORE 10246.32
AT ITER 1803 NEW BEST:: SOT 45798 SOS 14283 HAS SOPS 14283 HAS SOUS 10218 HAS SOUPS 10218 WITH SCORE 10232.283
AT ITER 1809 NEW BEST:: SOT 45775 SOS 14262 HAS SOPS 14262 HAS SOUS 10195 HAS SOUPS 10195 WITH SCORE 10209.262
AT ITER 1847 NEW BEST:: SOT 45760 SOS 14247 HAS SOPS 14247 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10192.247
AT ITER 1849 NEW BEST:: SOT 45730 SOS 14217 HAS SOPS 14217 HAS SOUS 10130 HAS SOUPS 10130 WITH SCORE 10144.217
AT ITER 1858 NEW BEST:: SOT 45730 SOS 14217 HAS SOPS 14217 HAS SOUS 10123 HAS SOUPS 10123 WITH SCORE 10137.217
AT ITER 1864 NEW BEST:: SOT 45705 SOS 14167 HAS SOPS 14167 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10133.167
AT ITER 1930 NEW BEST:: SOT 45696 SOS 14097 HAS SOPS 14097 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10115.097
AT ITER 1934 NEW BEST:: SOT 45686 SOS 14070 HAS SOPS 14070 HAS SOUS 10046 HAS SOUPS 10046 WITH SCORE 10060.07
AT ITER 1950 NEW BEST:: SOT 45674 SOS 14046 HAS SOPS 14046 HAS SOUS 10022 HAS SOUPS 10022 WITH SCORE 10036.046
AT ITER 1980 NEW BEST:: SOT 45673 SOS 14045 HAS SOPS 14045 HAS SOUS 10021 HAS SOUPS 10021 WITH SCORE 10035.045
AT ITER 1986 NEW BEST:: SOT 45666 SOS 14031 HAS SOPS 14031 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10021.031
AT ITER 2027 NEW BEST:: SOT 45612 SOS 13968 HAS SOPS 13968 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9966.968
AT ITER 2034 NEW BEST:: SOT 45598 SOS 13932 HAS SOPS 13932 HAS SOUS 9905 HAS SOUPS 9905 WITH SCORE 9918.932
AT ITER 2055 NEW BEST:: SOT 45598 SOS 13932 HAS SOPS 13932 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9904.932
AT ITER 2087 NEW BEST:: SOT 45583 SOS 13917 HAS SOPS 13917 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9889.917
AT ITER 2093 NEW BEST:: SOT 45536 SOS 13870 HAS SOPS 13870 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9889.87
AT ITER 2094 NEW BEST:: SOT 45521 SOS 13855 HAS SOPS 13855 HAS SOUS 9875 HAS SOUPS 9875 WITH SCORE 9888.855
AT ITER 2121 NEW BEST:: SOT 45522 SOS 13856 HAS SOPS 13856 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9880.856
AT ITER 2142 NEW BEST:: SOT 45520 SOS 13854 HAS SOPS 13854 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9879.854
AT ITER 2148 NEW BEST:: SOT 45512 SOS 13842 HAS SOPS 13842 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9867.842
AT ITER 2164 NEW BEST:: SOT 45512 SOS 13829 HAS SOPS 13829 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9867.829
AT ITER 2173 NEW BEST:: SOT 45510 SOS 13827 HAS SOPS 13827 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9867.827
AT ITER 2183 NEW BEST:: SOT 45510 SOS 13827 HAS SOPS 13827 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9865.827
AT ITER 2198 NEW BEST:: SOT 45359 SOS 13676 HAS SOPS 13676 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9714.676
AT ITER 2228 NEW BEST:: SOT 45355 SOS 13672 HAS SOPS 13672 HAS SOUS 9695 HAS SOUPS 9695 WITH SCORE 9708.672
AT ITER 2236 NEW BEST:: SOT 45355 SOS 13672 HAS SOPS 13672 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9698.672
AT ITER 2237 NEW BEST:: SOT 45334 SOS 13598 HAS SOPS 13598 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9653.598
AT ITER 2263 NEW BEST:: SOT 45352 SOS 13577 HAS SOPS 13577 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9650.577
AT ITER 2264 NEW BEST:: SOT 45352 SOS 13572 HAS SOPS 13572 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9625.572
AT ITER 2270 NEW BEST:: SOT 45352 SOS 13572 HAS SOPS 13572 HAS SOUS 9609 HAS SOUPS 9609 WITH SCORE 9622.572
AT ITER 2286 NEW BEST:: SOT 45302 SOS 13472 HAS SOPS 13472 HAS SOUS 9571 HAS SOUPS 9571 WITH SCORE 9584.472
AT ITER 2293 NEW BEST:: SOT 45272 SOS 13370 HAS SOPS 13370 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9542.37
AT ITER 2327 NEW BEST:: SOT 45266 SOS 13358 HAS SOPS 13358 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9538.358
AT ITER 2345 NEW BEST:: SOT 45263 SOS 13355 HAS SOPS 13355 HAS SOUS 9523 HAS SOUPS 9523 WITH SCORE 9536.355
AT ITER 2348 NEW BEST:: SOT 45263 SOS 13322 HAS SOPS 13322 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9503.322
AT ITER 2362 NEW BEST:: SOT 45228 SOS 13252 HAS SOPS 13252 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9468.252
AT ITER 2393 NEW BEST:: SOT 45223 SOS 13247 HAS SOPS 13247 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9463.247
AT ITER 2405 NEW BEST:: SOT 45226 SOS 13231 HAS SOPS 13231 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9453.231
AT ITER 2411 NEW BEST:: SOT 45230 SOS 13159 HAS SOPS 13159 HAS SOUS 9440 HAS SOUPS 9440 WITH SCORE 9453.159
AT ITER 2414 NEW BEST:: SOT 45238 SOS 13174 HAS SOPS 13174 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9450.174
AT ITER 2424 NEW BEST:: SOT 45194 SOS 13154 HAS SOPS 13154 HAS SOUS 9422 HAS SOUPS 9422 WITH SCORE 9435.154
AT ITER 2432 NEW BEST:: SOT 45188 SOS 13134 HAS SOPS 13134 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9421.134
AT ITER 2445 NEW BEST:: SOT 45184 SOS 13132 HAS SOPS 13132 HAS SOUS 9392 HAS SOUPS 9392 WITH SCORE 9405.132
AT ITER 2469 NEW BEST:: SOT 45187 SOS 13135 HAS SOPS 13135 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9394.135
AT ITER 2480 NEW BEST:: SOT 45205 SOS 13153 HAS SOPS 13153 HAS SOUS 9369 HAS SOUPS 9369 WITH SCORE 9382.153
AT ITER 2504 NEW BEST:: SOT 45193 SOS 13136 HAS SOPS 13136 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9372.136
AT ITER 2521 NEW BEST:: SOT 45047 SOS 13553 HAS SOPS 13553 HAS SOUS 9263 HAS SOUPS 9263 WITH SCORE 9276.553
AT ITER 2540 NEW BEST:: SOT 45034 SOS 13540 HAS SOPS 13540 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9238.54
AT ITER 2551 NEW BEST:: SOT 45007 SOS 13251 HAS SOPS 13251 HAS SOUS 9162 HAS SOUPS 9162 WITH SCORE 9175.251
AT ITER 2585 NEW BEST:: SOT 45042 SOS 13311 HAS SOPS 13311 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9167.311
AT ITER 2603 NEW BEST:: SOT 45037 SOS 13301 HAS SOPS 13301 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9162.301
AT ITER 2621 NEW BEST:: SOT 45037 SOS 13296 HAS SOPS 13296 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9162.296
AT ITER 2635 NEW BEST:: SOT 45023 SOS 13248 HAS SOPS 13248 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9152.248
AT ITER 2651 NEW BEST:: SOT 45023 SOS 13236 HAS SOPS 13236 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9148.236
AT ITER 2658 NEW BEST:: SOT 45018 SOS 13226 HAS SOPS 13226 HAS SOUS 9129 HAS SOUPS 9129 WITH SCORE 9142.226
AT ITER 2659 NEW BEST:: SOT 45011 SOS 13219 HAS SOPS 13219 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9137.219
AT ITER 2672 NEW BEST:: SOT 45009 SOS 13217 HAS SOPS 13217 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9137.217
AT ITER 2683 NEW BEST:: SOT 44995 SOS 13203 HAS SOPS 13203 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9123.203
AT ITER 2700 NEW BEST:: SOT 44995 SOS 13203 HAS SOPS 13203 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9112.203
AT ITER 2736 NEW BEST:: SOT 45008 SOS 13229 HAS SOPS 13229 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9110.229
AT ITER 2748 NEW BEST:: SOT 45010 SOS 13222 HAS SOPS 13222 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9106.222
AT ITER 2754 NEW BEST:: SOT 45010 SOS 13222 HAS SOPS 13222 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9099.222
AT ITER 2765 NEW BEST:: SOT 45003 SOS 13208 HAS SOPS 13208 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9085.208
AT ITER 2786 NEW BEST:: SOT 44959 SOS 13528 HAS SOPS 13528 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9082.528
AT ITER 2808 NEW BEST:: SOT 44969 SOS 13484 HAS SOPS 13484 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9072.484
AT ITER 2811 NEW BEST:: SOT 44953 SOS 13464 HAS SOPS 13464 HAS SOUS 9039 HAS SOUPS 9039 WITH SCORE 9052.464
AT ITER 2821 NEW BEST:: SOT 44953 SOS 13459 HAS SOPS 13459 HAS SOUS 9039 HAS SOUPS 9039 WITH SCORE 9052.459
AT ITER 2830 NEW BEST:: SOT 44951 SOS 13418 HAS SOPS 13418 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9050.418
AT ITER 2865 NEW BEST:: SOT 44948 SOS 13415 HAS SOPS 13415 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9043.415
AT ITER 2885 NEW BEST:: SOT 44937 SOS 13393 HAS SOPS 13393 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9025.393
AT ITER 2924 NEW BEST:: SOT 44943 SOS 13300 HAS SOPS 13300 HAS SOUS 9012 HAS SOUPS 9012 WITH SCORE 9025.3
AT ITER 2953 NEW BEST:: SOT 44878 SOS 13171 HAS SOPS 13171 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8960.171
AT ITER 2957 NEW BEST:: SOT 44872 SOS 13157 HAS SOPS 13157 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8946.157
AT ITER 2977 NEW BEST:: SOT 44812 SOS 13089 HAS SOPS 13089 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8886.089
AT ITER 2988 NEW BEST:: SOT 44811 SOS 13111 HAS SOPS 13111 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8885.111
AT ITER 3058 NEW BEST:: SOT 44793 SOS 13126 HAS SOPS 13126 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8870.126
AT ITER 3061 NEW BEST:: SOT 44766 SOS 13099 HAS SOPS 13099 HAS SOUS 8857 HAS SOUPS 8857 WITH SCORE 8870.099
AT ITER 3092 NEW BEST:: SOT 44759 SOS 13088 HAS SOPS 13088 HAS SOUS 8846 HAS SOUPS 8846 WITH SCORE 8859.088
AT ITER 3096 NEW BEST:: SOT 44759 SOS 13088 HAS SOPS 13088 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8832.088
AT ITER 3162 NEW BEST:: SOT 44744 SOS 13071 HAS SOPS 13071 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8817.071
AT ITER 3168 NEW BEST:: SOT 44727 SOS 13042 HAS SOPS 13042 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8800.042
AT ITER 3169 NEW BEST:: SOT 44712 SOS 12987 HAS SOPS 12987 HAS SOUS 8772 HAS SOUPS 8772 WITH SCORE 8784.987
AT ITER 3174 NEW BEST:: SOT 44702 SOS 12977 HAS SOPS 12977 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8774.977
AT ITER 3188 NEW BEST:: SOT 44693 SOS 12962 HAS SOPS 12962 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8762.962
AT ITER 3194 NEW BEST:: SOT 44690 SOS 12959 HAS SOPS 12959 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8753.959
AT ITER 3220 NEW BEST:: SOT 44672 SOS 12905 HAS SOPS 12905 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8724.905
AT ITER 3222 NEW BEST:: SOT 44667 SOS 12902 HAS SOPS 12902 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8715.902
AT ITER 3235 NEW BEST:: SOT 44735 SOS 12414 HAS SOPS 12414 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8713.414
AT ITER 3277 NEW BEST:: SOT 44729 SOS 12402 HAS SOPS 12402 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8704.402
AT ITER 3298 NEW BEST:: SOT 44728 SOS 12401 HAS SOPS 12401 HAS SOUS 8690 HAS SOUPS 8690 WITH SCORE 8702.401
AT ITER 3345 NEW BEST:: SOT 44741 SOS 12427 HAS SOPS 12427 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8691.427
AT ITER 3398 NEW BEST:: SOT 44823 SOS 12385 HAS SOPS 12385 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8672.385
AT ITER 3418 NEW BEST:: SOT 44819 SOS 12381 HAS SOPS 12381 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8672.381
AT ITER 3443 NEW BEST:: SOT 44818 SOS 12377 HAS SOPS 12377 HAS SOUS 8657 HAS SOUPS 8657 WITH SCORE 8669.377
AT ITER 3445 NEW BEST:: SOT 44811 SOS 12404 HAS SOPS 12404 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8665.404
AT ITER 3466 NEW BEST:: SOT 44768 SOS 12350 HAS SOPS 12350 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8651.35
AT ITER 3486 NEW BEST:: SOT 44733 SOS 12280 HAS SOPS 12280 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8616.28
AT ITER 3585 NEW BEST:: SOT 44723 SOS 12276 HAS SOPS 12276 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8606.276
AT ITER 3588 NEW BEST:: SOT 44719 SOS 12264 HAS SOPS 12264 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8606.264
AT ITER 3625 NEW BEST:: SOT 44707 SOS 12223 HAS SOPS 12223 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8582.223
AT ITER 3677 NEW BEST:: SOT 44707 SOS 12223 HAS SOPS 12223 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8580.223
AT ITER 3703 NEW BEST:: SOT 44704 SOS 12224 HAS SOPS 12224 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8578.224
AT ITER 3717 NEW BEST:: SOT 44659 SOS 12134 HAS SOPS 12134 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8521.134
AT ITER 3846 NEW BEST:: SOT 44646 SOS 12348 HAS SOPS 12348 HAS SOUS 8502 HAS SOUPS 8502 WITH SCORE 8514.348
AT ITER 3860 NEW BEST:: SOT 44590 SOS 12302 HAS SOPS 12302 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8501.302
AT ITER 3877 NEW BEST:: SOT 44585 SOS 12280 HAS SOPS 12280 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8496.28
AT ITER 3893 NEW BEST:: SOT 44554 SOS 12208 HAS SOPS 12208 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8459.208
AT ITER 3933 NEW BEST:: SOT 44566 SOS 12175 HAS SOPS 12175 HAS SOUS 8438 HAS SOUPS 8438 WITH SCORE 8450.175
AT ITER 3961 NEW BEST:: SOT 44588 SOS 12172 HAS SOPS 12172 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8442.172
AT ITER 4043 NEW BEST:: SOT 44581 SOS 12178 HAS SOPS 12178 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8441.178
AT ITER 4105 NEW BEST:: SOT 44576 SOS 12173 HAS SOPS 12173 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8441.173
AT ITER 4160 NEW BEST:: SOT 44587 SOS 11948 HAS SOPS 11948 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8429.948
AT ITER 4198 NEW BEST:: SOT 44573 SOS 11920 HAS SOPS 11920 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.92
AT ITER 4248 NEW BEST:: SOT 44568 SOS 11910 HAS SOPS 11910 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.91
AT ITER 4256 NEW BEST:: SOT 44568 SOS 11873 HAS SOPS 11873 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8399.873
AT ITER 4259 NEW BEST:: SOT 44568 SOS 11873 HAS SOPS 11873 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8398.873
AT ITER 4277 NEW BEST:: SOT 44565 SOS 11867 HAS SOPS 11867 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8392.867
AT ITER 4284 NEW BEST:: SOT 44575 SOS 11887 HAS SOPS 11887 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8379.887
AT ITER 4307 NEW BEST:: SOT 44573 SOS 11885 HAS SOPS 11885 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8366.885
AT ITER 4344 NEW BEST:: SOT 44571 SOS 11870 HAS SOPS 11870 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8362.87
AT ITER 4383 NEW BEST:: SOT 44544 SOS 11824 HAS SOPS 11824 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8335.824
AT ITER 4487 NEW BEST:: SOT 44542 SOS 11823 HAS SOPS 11823 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8333.823
AT ITER 4512 NEW BEST:: SOT 44532 SOS 11817 HAS SOPS 11817 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8323.817
AT ITER 4561 NEW BEST:: SOT 44557 SOS 11840 HAS SOPS 11840 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8319.84
AT ITER 4591 NEW BEST:: SOT 44557 SOS 11851 HAS SOPS 11851 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8315.851
AT ITER 4650 NEW BEST:: SOT 44558 SOS 11842 HAS SOPS 11842 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8315.842
AT ITER 4698 NEW BEST:: SOT 44545 SOS 11816 HAS SOPS 11816 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8289.816
AT ITER 4761 NEW BEST:: SOT 44557 SOS 11813 HAS SOPS 11813 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8286.813
AT ITER 4771 NEW BEST:: SOT 44557 SOS 11813 HAS SOPS 11813 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8285.813
AT ITER 4778 NEW BEST:: SOT 44556 SOS 11811 HAS SOPS 11811 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8283.811
AT ITER 4779 NEW BEST:: SOT 44550 SOS 11799 HAS SOPS 11799 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8272.799
AT ITER 4787 NEW BEST:: SOT 44584 SOS 11833 HAS SOPS 11833 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8264.833
AT ITER 4800 NEW BEST:: SOT 44582 SOS 11825 HAS SOPS 11825 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8260.825
AT ITER 4808 NEW BEST:: SOT 44540 SOS 11832 HAS SOPS 11832 HAS SOUS 8233 HAS SOUPS 8233 WITH SCORE 8244.832
AT ITER 4822 NEW BEST:: SOT 44529 SOS 11821 HAS SOPS 11821 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8233.821
AT ITER 4832 NEW BEST:: SOT 44529 SOS 11817 HAS SOPS 11817 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8233.817
AT ITER 4851 NEW BEST:: SOT 44529 SOS 11811 HAS SOPS 11811 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8233.811
AT ITER 4881 NEW BEST:: SOT 44529 SOS 11811 HAS SOPS 11811 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8206.811
AT ITER 4933 NEW BEST:: SOT 44533 SOS 11809 HAS SOPS 11809 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8188.809
AT ITER 4951 NEW BEST:: SOT 44533 SOS 11815 HAS SOPS 11815 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8182.815
AT ITER 4976 NEW BEST:: SOT 44533 SOS 11808 HAS SOPS 11808 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8175.808
AT ITER 4998 NEW BEST:: SOT 44532 SOS 11806 HAS SOPS 11806 HAS SOUS 8163 HAS SOUPS 8163 WITH SCORE 8174.806
AT ITER 5014 NEW BEST:: SOT 44525 SOS 11798 HAS SOPS 11798 HAS SOUS 8154 HAS SOUPS 8154 WITH SCORE 8165.798
AT ITER 5061 NEW BEST:: SOT 44525 SOS 11773 HAS SOPS 11773 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8159.773
AT ITER 5063 NEW BEST:: SOT 44534 SOS 11781 HAS SOPS 11781 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8158.781
AT ITER 5069 NEW BEST:: SOT 44539 SOS 11781 HAS SOPS 11781 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8153.781
AT ITER 5073 NEW BEST:: SOT 44539 SOS 11737 HAS SOPS 11737 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8153.737
AT ITER 5075 NEW BEST:: SOT 44538 SOS 11751 HAS SOPS 11751 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8151.751
AT ITER 5088 NEW BEST:: SOT 44536 SOS 11749 HAS SOPS 11749 HAS SOUS 8138 HAS SOUPS 8138 WITH SCORE 8149.749
AT ITER 5139 NEW BEST:: SOT 44534 SOS 11725 HAS SOPS 11725 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8137.725
AT ITER 5193 NEW BEST:: SOT 44532 SOS 11721 HAS SOPS 11721 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8133.721
AT ITER 5194 NEW BEST:: SOT 44516 SOS 11705 HAS SOPS 11705 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8127.705
AT ITER 5211 NEW BEST:: SOT 44511 SOS 11700 HAS SOPS 11700 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8122.7
AT ITER 5246 NEW BEST:: SOT 44506 SOS 11690 HAS SOPS 11690 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8113.69
AT ITER 5286 NEW BEST:: SOT 44481 SOS 11615 HAS SOPS 11615 HAS SOUS 8046 HAS SOUPS 8046 WITH SCORE 8057.615
AT ITER 5312 NEW BEST:: SOT 44470 SOS 11606 HAS SOPS 11606 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8042.606
AT ITER 5337 NEW BEST:: SOT 44456 SOS 11648 HAS SOPS 11648 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8028.648
AT ITER 5357 NEW BEST:: SOT 44456 SOS 11646 HAS SOPS 11646 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8028.646
AT ITER 5385 NEW BEST:: SOT 44461 SOS 11609 HAS SOPS 11609 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8026.609
AT ITER 5450 NEW BEST:: SOT 44458 SOS 11604 HAS SOPS 11604 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8021.604
AT ITER 5456 NEW BEST:: SOT 44456 SOS 11571 HAS SOPS 11571 HAS SOUS 8006 HAS SOUPS 8006 WITH SCORE 8017.571
AT ITER 5480 NEW BEST:: SOT 44454 SOS 11542 HAS SOPS 11542 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8013.542
AT ITER 5483 NEW BEST:: SOT 44454 SOS 11542 HAS SOPS 11542 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8011.542
AT ITER 5501 NEW BEST:: SOT 44447 SOS 11570 HAS SOPS 11570 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8010.57
AT ITER 5674 NEW BEST:: SOT 44447 SOS 11570 HAS SOPS 11570 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8009.57
AT ITER 5681 NEW BEST:: SOT 44444 SOS 11556 HAS SOPS 11556 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8007.556
AT ITER 5686 NEW BEST:: SOT 44439 SOS 11551 HAS SOPS 11551 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8002.551
AT ITER 5694 NEW BEST:: SOT 44439 SOS 11551 HAS SOPS 11551 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7998.551
AT ITER 5698 NEW BEST:: SOT 44431 SOS 11535 HAS SOPS 11535 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7974.535
AT ITER 5702 NEW BEST:: SOT 44429 SOS 11533 HAS SOPS 11533 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7969.533
AT ITER 5751 NEW BEST:: SOT 44430 SOS 11534 HAS SOPS 11534 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7959.534
AT ITER 5753 NEW BEST:: SOT 44429 SOS 11524 HAS SOPS 11524 HAS SOUS 7942 HAS SOUPS 7942 WITH SCORE 7953.524
AT ITER 5832 NEW BEST:: SOT 44429 SOS 11521 HAS SOPS 11521 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7950.521
AT ITER 5886 NEW BEST:: SOT 44428 SOS 11519 HAS SOPS 11519 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7949.519
AT ITER 5905 NEW BEST:: SOT 44421 SOS 11505 HAS SOPS 11505 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7927.505
AT ITER 5920 NEW BEST:: SOT 44420 SOS 11505 HAS SOPS 11505 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7926.505
AT ITER 5972 NEW BEST:: SOT 44420 SOS 11501 HAS SOPS 11501 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7926.501
AT ITER 6007 NEW BEST:: SOT 44420 SOS 11495 HAS SOPS 11495 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7926.495
AT ITER 6029 NEW BEST:: SOT 44411 SOS 11525 HAS SOPS 11525 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7919.525
AT ITER 6046 NEW BEST:: SOT 44421 SOS 11523 HAS SOPS 11523 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7917.523
AT ITER 6055 NEW BEST:: SOT 44420 SOS 11516 HAS SOPS 11516 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7915.516
AT ITER 6075 NEW BEST:: SOT 44401 SOS 11497 HAS SOPS 11497 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7896.497
AT ITER 6081 NEW BEST:: SOT 44415 SOS 11502 HAS SOPS 11502 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7878.502
AT ITER 6108 NEW BEST:: SOT 44413 SOS 11490 HAS SOPS 11490 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7870.49
AT ITER 6138 NEW BEST:: SOT 44413 SOS 11484 HAS SOPS 11484 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7870.484
AT ITER 6145 NEW BEST:: SOT 44412 SOS 11482 HAS SOPS 11482 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7860.482
AT ITER 6212 NEW BEST:: SOT 44412 SOS 11480 HAS SOPS 11480 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7859.48
AT ITER 6267 NEW BEST:: SOT 44412 SOS 11473 HAS SOPS 11473 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7859.473
AT ITER 6277 NEW BEST:: SOT 44412 SOS 11470 HAS SOPS 11470 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7859.47
AT ITER 6289 NEW BEST:: SOT 44419 SOS 11478 HAS SOPS 11478 HAS SOUS 7847 HAS SOUPS 7847 WITH SCORE 7858.478
AT ITER 6300 NEW BEST:: SOT 44413 SOS 11487 HAS SOPS 11487 HAS SOUS 7841 HAS SOUPS 7841 WITH SCORE 7852.487
AT ITER 6328 NEW BEST:: SOT 44371 SOS 11386 HAS SOPS 11386 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7798.386
AT ITER 6356 NEW BEST:: SOT 44368 SOS 11383 HAS SOPS 11383 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7795.383
AT ITER 6393 NEW BEST:: SOT 44368 SOS 11369 HAS SOPS 11369 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7795.369
AT ITER 6407 NEW BEST:: SOT 44362 SOS 11363 HAS SOPS 11363 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7789.363
AT ITER 6440 NEW BEST:: SOT 44387 SOS 11203 HAS SOPS 11203 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7779.203
AT ITER 6450 NEW BEST:: SOT 44378 SOS 11186 HAS SOPS 11186 HAS SOUS 7764 HAS SOUPS 7764 WITH SCORE 7775.186
AT ITER 6461 NEW BEST:: SOT 44377 SOS 11185 HAS SOPS 11185 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7773.185
AT ITER 6503 NEW BEST:: SOT 44375 SOS 11188 HAS SOPS 11188 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7769.188
AT ITER 6516 NEW BEST:: SOT 44372 SOS 11182 HAS SOPS 11182 HAS SOUS 7755 HAS SOUPS 7755 WITH SCORE 7766.182
AT ITER 6533 NEW BEST:: SOT 44373 SOS 11183 HAS SOPS 11183 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7762.183
AT ITER 6554 NEW BEST:: SOT 44371 SOS 11197 HAS SOPS 11197 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7752.197
AT ITER 6678 NEW BEST:: SOT 44358 SOS 11158 HAS SOPS 11158 HAS SOUS 7731 HAS SOUPS 7731 WITH SCORE 7742.158
AT ITER 6705 NEW BEST:: SOT 44356 SOS 11158 HAS SOPS 11158 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7740.158
AT ITER 6720 NEW BEST:: SOT 44356 SOS 11158 HAS SOPS 11158 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7735.158
AT ITER 6793 NEW BEST:: SOT 44356 SOS 11158 HAS SOPS 11158 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7732.158
AT ITER 6822 NEW BEST:: SOT 44355 SOS 11156 HAS SOPS 11156 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7730.156
AT ITER 6870 NEW BEST:: SOT 44358 SOS 11101 HAS SOPS 11101 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7730.101
AT ITER 7027 NEW BEST:: SOT 44334 SOS 11044 HAS SOPS 11044 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7727.044
AT ITER 7124 NEW BEST:: SOT 44323 SOS 11022 HAS SOPS 11022 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7716.022
AT ITER 7150 NEW BEST:: SOT 44318 SOS 11012 HAS SOPS 11012 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7711.012
AT ITER 7166 NEW BEST:: SOT 44318 SOS 11010 HAS SOPS 11010 HAS SOUS 7698 HAS SOUPS 7698 WITH SCORE 7709.01
AT ITER 7192 NEW BEST:: SOT 44312 SOS 11013 HAS SOPS 11013 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7700.013
AT ITER 7236 NEW BEST:: SOT 44311 SOS 11003 HAS SOPS 11003 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7690.003
AT ITER 7245 NEW BEST:: SOT 44308 SOS 11017 HAS SOPS 11017 HAS SOUS 7675 HAS SOUPS 7675 WITH SCORE 7686.017
AT ITER 7366 NEW BEST:: SOT 44281 SOS 10963 HAS SOPS 10963 HAS SOUS 7647 HAS SOUPS 7647 WITH SCORE 7657.963
AT ITER 7377 NEW BEST:: SOT 44252 SOS 10975 HAS SOPS 10975 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7646.975
AT ITER 7401 NEW BEST:: SOT 44250 SOS 10973 HAS SOPS 10973 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7644.973
AT ITER 7437 NEW BEST:: SOT 44215 SOS 10884 HAS SOPS 10884 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7609.884
AT ITER 7444 NEW BEST:: SOT 44207 SOS 10876 HAS SOPS 10876 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7601.876
AT ITER 7456 NEW BEST:: SOT 44207 SOS 10868 HAS SOPS 10868 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7597.868
AT ITER 7498 NEW BEST:: SOT 44201 SOS 10869 HAS SOPS 10869 HAS SOUS 7581 HAS SOUPS 7581 WITH SCORE 7591.869
AT ITER 7500 NEW BEST:: SOT 44201 SOS 10867 HAS SOPS 10867 HAS SOUS 7580 HAS SOUPS 7580 WITH SCORE 7590.867
AT ITER 7532 NEW BEST:: SOT 44194 SOS 10860 HAS SOPS 10860 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7583.86
AT ITER 7542 NEW BEST:: SOT 44190 SOS 10856 HAS SOPS 10856 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7579.856
AT ITER 7661 NEW BEST:: SOT 44190 SOS 10846 HAS SOPS 10846 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7578.846
AT ITER 7749 NEW BEST:: SOT 44189 SOS 10843 HAS SOPS 10843 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7576.843
AT ITER 7754 NEW BEST:: SOT 44184 SOS 10951 HAS SOPS 10951 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7571.951
AT ITER 7869 NEW BEST:: SOT 44191 SOS 10912 HAS SOPS 10912 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7563.912
AT ITER 7883 NEW BEST:: SOT 44195 SOS 10905 HAS SOPS 10905 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7552.905
AT ITER 7923 NEW BEST:: SOT 44203 SOS 10912 HAS SOPS 10912 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7544.912
AT ITER 7938 NEW BEST:: SOT 44201 SOS 10908 HAS SOPS 10908 HAS SOUS 7532 HAS SOUPS 7532 WITH SCORE 7542.908
AT ITER 8043 NEW BEST:: SOT 44217 SOS 10876 HAS SOPS 10876 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7498.876
AT ITER 8049 NEW BEST:: SOT 44196 SOS 10855 HAS SOPS 10855 HAS SOUS 7465 HAS SOUPS 7465 WITH SCORE 7475.855
AT ITER 8127 NEW BEST:: SOT 44173 SOS 10914 HAS SOPS 10914 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7459.914
AT ITER 8196 NEW BEST:: SOT 44172 SOS 10912 HAS SOPS 10912 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7458.912
AT ITER 8316 NEW BEST:: SOT 44171 SOS 10911 HAS SOPS 10911 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7458.911
AT ITER 8320 NEW BEST:: SOT 44157 SOS 10909 HAS SOPS 10909 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7430.909
AT ITER 8393 NEW BEST:: SOT 44156 SOS 10907 HAS SOPS 10907 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7428.907
AT ITER 8412 NEW BEST:: SOT 44156 SOS 10889 HAS SOPS 10889 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7428.889
AT ITER 8431 NEW BEST:: SOT 44153 SOS 10886 HAS SOPS 10886 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7425.886
AT ITER 8488 NEW BEST:: SOT 44153 SOS 10878 HAS SOPS 10878 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7417.878
AT ITER 8507 NEW BEST:: SOT 44147 SOS 10879 HAS SOPS 10879 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7405.879
AT ITER 8517 NEW BEST:: SOT 44147 SOS 10878 HAS SOPS 10878 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7404.878
AT ITER 8527 NEW BEST:: SOT 44144 SOS 10872 HAS SOPS 10872 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7401.872
AT ITER 8549 NEW BEST:: SOT 44143 SOS 10862 HAS SOPS 10862 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7392.862
AT ITER 8583 NEW BEST:: SOT 44138 SOS 10872 HAS SOPS 10872 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7390.872
AT ITER 8619 NEW BEST:: SOT 44133 SOS 10867 HAS SOPS 10867 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7388.867
AT ITER 8630 NEW BEST:: SOT 44129 SOS 10845 HAS SOPS 10845 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7376.845
AT ITER 8659 NEW BEST:: SOT 44116 SOS 10805 HAS SOPS 10805 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7336.805
AT ITER 8707 NEW BEST:: SOT 44116 SOS 10790 HAS SOPS 10790 HAS SOUS 7326 HAS SOUPS 7326 WITH SCORE 7336.79
AT ITER 8796 NEW BEST:: SOT 44111 SOS 10787 HAS SOPS 10787 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7333.787
AT ITER 8802 NEW BEST:: SOT 44109 SOS 10786 HAS SOPS 10786 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7330.786
AT ITER 8843 NEW BEST:: SOT 44109 SOS 10785 HAS SOPS 10785 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7330.785
AT ITER 8862 NEW BEST:: SOT 43987 SOS 11694 HAS SOPS 11694 HAS SOUS 7310 HAS SOUPS 7310 WITH SCORE 7321.694
AT ITER 8923 NEW BEST:: SOT 44002 SOS 11374 HAS SOPS 11374 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7299.374
AT ITER 8943 NEW BEST:: SOT 43996 SOS 11361 HAS SOPS 11361 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7290.361
AT ITER 8980 NEW BEST:: SOT 43991 SOS 11351 HAS SOPS 11351 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7285.351
AT ITER 8989 NEW BEST:: SOT 43989 SOS 11336 HAS SOPS 11336 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7270.336
AT ITER 9050 NEW BEST:: SOT 43989 SOS 11334 HAS SOPS 11334 HAS SOUS 7259 HAS SOUPS 7259 WITH SCORE 7270.334
AT ITER 9073 NEW BEST:: SOT 43988 SOS 11333 HAS SOPS 11333 HAS SOUS 7258 HAS SOUPS 7258 WITH SCORE 7269.333
AT ITER 9183 NEW BEST:: SOT 44001 SOS 11345 HAS SOPS 11345 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7267.345
AT ITER 9229 NEW BEST:: SOT 43995 SOS 11343 HAS SOPS 11343 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7266.343
AT ITER 9255 NEW BEST:: SOT 43992 SOS 11339 HAS SOPS 11339 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7262.339
AT ITER 9265 NEW BEST:: SOT 43992 SOS 11336 HAS SOPS 11336 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7262.336
AT ITER 9274 NEW BEST:: SOT 43989 SOS 11333 HAS SOPS 11333 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7259.333
AT ITER 9310 NEW BEST:: SOT 43984 SOS 11323 HAS SOPS 11323 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7253.323
AT ITER 9346 NEW BEST:: SOT 43962 SOS 11356 HAS SOPS 11356 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7242.356
AT ITER 9395 NEW BEST:: SOT 43961 SOS 11352 HAS SOPS 11352 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7235.352
AT ITER 9472 NEW BEST:: SOT 43961 SOS 11361 HAS SOPS 11361 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7231.361
AT ITER 9509 NEW BEST:: SOT 43971 SOS 11326 HAS SOPS 11326 HAS SOUS 7219 HAS SOUPS 7219 WITH SCORE 7230.326
AT ITER 9621 NEW BEST:: SOT 43971 SOS 11322 HAS SOPS 11322 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7226.322
AT ITER 9820 NEW BEST:: SOT 43969 SOS 11320 HAS SOPS 11320 HAS SOUS 7211 HAS SOUPS 7211 WITH SCORE 7222.32
AT ITER 9836 NEW BEST:: SOT 43969 SOS 11320 HAS SOPS 11320 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7220.32
AT ITER 9908 NEW BEST:: SOT 43968 SOS 11350 HAS SOPS 11350 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7219.35
AT ITER 9915 NEW BEST:: SOT 43968 SOS 11338 HAS SOPS 11338 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7219.338
AT ITER 9923 NEW BEST:: SOT 43967 SOS 11338 HAS SOPS 11338 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7218.338
AT ITER 9937 NEW BEST:: SOT 43985 SOS 11294 HAS SOPS 11294 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7214.294
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 2500248 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16155544 kB

BK_TIME_CONFINEMENT_REACHED

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

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="FlexibleBarrier-PT-04b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is FlexibleBarrier-PT-04b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847800456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-04b.tgz
mv FlexibleBarrier-PT-04b 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 ;