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.r003-oct2-167813590900464.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 smart
Input is AutoFlight-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 18:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 18:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 18:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 18:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 18:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 25 18:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 134K 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 1678472941243

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=AutoFlight-PT-06b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 06b
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: 574 places, 572 transitions, 1334 arcs.
AT ITER 0 NEW BEST:: SOT 177901 SOS 33567 HAS SOPS 33567 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30783.567
AT ITER 32 NEW BEST:: SOT 177894 SOS 33546 HAS SOPS 33546 HAS SOUS 30743 HAS SOUPS 30743 WITH SCORE 30776.546
AT ITER 33 NEW BEST:: SOT 177720 SOS 33467 HAS SOPS 33467 HAS SOUS 30600 HAS SOUPS 30600 WITH SCORE 30633.467
AT ITER 34 NEW BEST:: SOT 177720 SOS 33451 HAS SOPS 33451 HAS SOUS 30584 HAS SOUPS 30584 WITH SCORE 30617.451
AT ITER 38 NEW BEST:: SOT 177849 SOS 33522 HAS SOPS 33522 HAS SOUS 30554 HAS SOUPS 30554 WITH SCORE 30587.522
AT ITER 40 NEW BEST:: SOT 177849 SOS 33537 HAS SOPS 33537 HAS SOUS 30549 HAS SOUPS 30549 WITH SCORE 30582.537
AT ITER 43 NEW BEST:: SOT 177827 SOS 33493 HAS SOPS 33493 HAS SOUS 30490 HAS SOUPS 30490 WITH SCORE 30523.493
AT ITER 55 NEW BEST:: SOT 177813 SOS 33488 HAS SOPS 33488 HAS SOUS 30474 HAS SOUPS 30474 WITH SCORE 30507.488
AT ITER 65 NEW BEST:: SOT 177768 SOS 33425 HAS SOPS 33425 HAS SOUS 30402 HAS SOUPS 30402 WITH SCORE 30435.425
AT ITER 70 NEW BEST:: SOT 177729 SOS 33347 HAS SOPS 33347 HAS SOUS 30299 HAS SOUPS 30299 WITH SCORE 30332.347
AT ITER 81 NEW BEST:: SOT 177677 SOS 33295 HAS SOPS 33295 HAS SOUS 30195 HAS SOUPS 30195 WITH SCORE 30228.295
AT ITER 95 NEW BEST:: SOT 177673 SOS 33294 HAS SOPS 33294 HAS SOUS 30194 HAS SOUPS 30194 WITH SCORE 30227.294
AT ITER 112 NEW BEST:: SOT 177638 SOS 33288 HAS SOPS 33288 HAS SOUS 30188 HAS SOUPS 30188 WITH SCORE 30221.288
AT ITER 131 NEW BEST:: SOT 177638 SOS 33274 HAS SOPS 33274 HAS SOUS 30174 HAS SOUPS 30174 WITH SCORE 30207.274
AT ITER 143 NEW BEST:: SOT 177638 SOS 33250 HAS SOPS 33250 HAS SOUS 30168 HAS SOUPS 30168 WITH SCORE 30201.25
AT ITER 144 NEW BEST:: SOT 177659 SOS 33292 HAS SOPS 33292 HAS SOUS 30160 HAS SOUPS 30160 WITH SCORE 30193.292
AT ITER 147 NEW BEST:: SOT 177659 SOS 33277 HAS SOPS 33277 HAS SOUS 30145 HAS SOUPS 30145 WITH SCORE 30178.277
AT ITER 152 NEW BEST:: SOT 177659 SOS 33249 HAS SOPS 33249 HAS SOUS 30145 HAS SOUPS 30145 WITH SCORE 30178.249
AT ITER 166 NEW BEST:: SOT 177653 SOS 33231 HAS SOPS 33231 HAS SOUS 30078 HAS SOUPS 30078 WITH SCORE 30111.231
AT ITER 169 NEW BEST:: SOT 177641 SOS 33137 HAS SOPS 33137 HAS SOUS 30054 HAS SOUPS 30054 WITH SCORE 30087.137
AT ITER 178 NEW BEST:: SOT 177587 SOS 33083 HAS SOPS 33083 HAS SOUS 30000 HAS SOUPS 30000 WITH SCORE 30033.083
AT ITER 192 NEW BEST:: SOT 177554 SOS 32984 HAS SOPS 32984 HAS SOUS 29949 HAS SOUPS 29949 WITH SCORE 29981.984
AT ITER 214 NEW BEST:: SOT 177554 SOS 32965 HAS SOPS 32965 HAS SOUS 29930 HAS SOUPS 29930 WITH SCORE 29962.965
AT ITER 231 NEW BEST:: SOT 177522 SOS 32937 HAS SOPS 32937 HAS SOUS 29882 HAS SOUPS 29882 WITH SCORE 29914.937
AT ITER 242 NEW BEST:: SOT 177462 SOS 32795 HAS SOPS 32795 HAS SOUS 29874 HAS SOUPS 29874 WITH SCORE 29906.795
AT ITER 243 NEW BEST:: SOT 177467 SOS 32810 HAS SOPS 32810 HAS SOUS 29846 HAS SOUPS 29846 WITH SCORE 29878.81
AT ITER 259 NEW BEST:: SOT 177467 SOS 32810 HAS SOPS 32810 HAS SOUS 29821 HAS SOUPS 29821 WITH SCORE 29853.81
AT ITER 288 NEW BEST:: SOT 177483 SOS 32842 HAS SOPS 32842 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29833.842
AT ITER 317 NEW BEST:: SOT 177436 SOS 32784 HAS SOPS 32784 HAS SOUS 29743 HAS SOUPS 29743 WITH SCORE 29775.784
AT ITER 318 NEW BEST:: SOT 177445 SOS 32776 HAS SOPS 32776 HAS SOUS 29735 HAS SOUPS 29735 WITH SCORE 29767.776
AT ITER 327 NEW BEST:: SOT 177251 SOS 32672 HAS SOPS 32672 HAS SOUS 29605 HAS SOUPS 29605 WITH SCORE 29637.672
AT ITER 330 NEW BEST:: SOT 177167 SOS 32556 HAS SOPS 32556 HAS SOUS 29554 HAS SOUPS 29554 WITH SCORE 29586.556
AT ITER 339 NEW BEST:: SOT 177166 SOS 32554 HAS SOPS 32554 HAS SOUS 29552 HAS SOUPS 29552 WITH SCORE 29584.554
AT ITER 362 NEW BEST:: SOT 177138 SOS 32526 HAS SOPS 32526 HAS SOUS 29510 HAS SOUPS 29510 WITH SCORE 29542.526
AT ITER 369 NEW BEST:: SOT 177141 SOS 32517 HAS SOPS 32517 HAS SOUS 29501 HAS SOUPS 29501 WITH SCORE 29533.517
AT ITER 387 NEW BEST:: SOT 177204 SOS 32517 HAS SOPS 32517 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29470.517
AT ITER 409 NEW BEST:: SOT 177168 SOS 32733 HAS SOPS 32733 HAS SOUS 29402 HAS SOUPS 29402 WITH SCORE 29434.733
AT ITER 417 NEW BEST:: SOT 177143 SOS 32683 HAS SOPS 32683 HAS SOUS 29364 HAS SOUPS 29364 WITH SCORE 29396.683
AT ITER 433 NEW BEST:: SOT 177143 SOS 32673 HAS SOPS 32673 HAS SOUS 29364 HAS SOUPS 29364 WITH SCORE 29396.673
AT ITER 455 NEW BEST:: SOT 177143 SOS 32600 HAS SOPS 32600 HAS SOUS 29291 HAS SOUPS 29291 WITH SCORE 29323.6
AT ITER 468 NEW BEST:: SOT 177140 SOS 32594 HAS SOPS 32594 HAS SOUS 29287 HAS SOUPS 29287 WITH SCORE 29319.594
AT ITER 469 NEW BEST:: SOT 177142 SOS 32560 HAS SOPS 32560 HAS SOUS 29253 HAS SOUPS 29253 WITH SCORE 29285.56
AT ITER 481 NEW BEST:: SOT 177142 SOS 32560 HAS SOPS 32560 HAS SOUS 29252 HAS SOUPS 29252 WITH SCORE 29284.56
AT ITER 483 NEW BEST:: SOT 177145 SOS 32541 HAS SOPS 32541 HAS SOUS 29233 HAS SOUPS 29233 WITH SCORE 29265.541
AT ITER 484 NEW BEST:: SOT 177119 SOS 32489 HAS SOPS 32489 HAS SOUS 29181 HAS SOUPS 29181 WITH SCORE 29213.489
AT ITER 607 NEW BEST:: SOT 177117 SOS 32562 HAS SOPS 32562 HAS SOUS 29103 HAS SOUPS 29103 WITH SCORE 29135.562
AT ITER 619 NEW BEST:: SOT 177117 SOS 32553 HAS SOPS 32553 HAS SOUS 29094 HAS SOUPS 29094 WITH SCORE 29126.553
AT ITER 646 NEW BEST:: SOT 177117 SOS 32553 HAS SOPS 32553 HAS SOUS 29087 HAS SOUPS 29087 WITH SCORE 29119.553
AT ITER 647 NEW BEST:: SOT 177117 SOS 32458 HAS SOPS 32458 HAS SOUS 29065 HAS SOUPS 29065 WITH SCORE 29097.458
AT ITER 662 NEW BEST:: SOT 177117 SOS 32417 HAS SOPS 32417 HAS SOUS 29028 HAS SOUPS 29028 WITH SCORE 29060.417
AT ITER 716 NEW BEST:: SOT 177069 SOS 32368 HAS SOPS 32368 HAS SOUS 29002 HAS SOUPS 29002 WITH SCORE 29034.368
AT ITER 746 NEW BEST:: SOT 177069 SOS 32335 HAS SOPS 32335 HAS SOUS 28969 HAS SOUPS 28969 WITH SCORE 29001.335
AT ITER 756 NEW BEST:: SOT 177032 SOS 32261 HAS SOPS 32261 HAS SOUS 28895 HAS SOUPS 28895 WITH SCORE 28927.261
AT ITER 765 NEW BEST:: SOT 177015 SOS 32273 HAS SOPS 32273 HAS SOUS 28893 HAS SOUPS 28893 WITH SCORE 28925.273
AT ITER 779 NEW BEST:: SOT 177005 SOS 32243 HAS SOPS 32243 HAS SOUS 28863 HAS SOUPS 28863 WITH SCORE 28895.243
AT ITER 783 NEW BEST:: SOT 177005 SOS 32228 HAS SOPS 32228 HAS SOUS 28863 HAS SOUPS 28863 WITH SCORE 28895.228
AT ITER 798 NEW BEST:: SOT 177028 SOS 32225 HAS SOPS 32225 HAS SOUS 28860 HAS SOUPS 28860 WITH SCORE 28892.225
AT ITER 803 NEW BEST:: SOT 177001 SOS 32171 HAS SOPS 32171 HAS SOUS 28833 HAS SOUPS 28833 WITH SCORE 28865.171
AT ITER 805 NEW BEST:: SOT 176999 SOS 32305 HAS SOPS 32305 HAS SOUS 28829 HAS SOUPS 28829 WITH SCORE 28861.305
AT ITER 811 NEW BEST:: SOT 176916 SOS 32238 HAS SOPS 32238 HAS SOUS 28762 HAS SOUPS 28762 WITH SCORE 28794.238
AT ITER 818 NEW BEST:: SOT 176923 SOS 32212 HAS SOPS 32212 HAS SOUS 28744 HAS SOUPS 28744 WITH SCORE 28776.212
AT ITER 839 NEW BEST:: SOT 176917 SOS 32194 HAS SOPS 32194 HAS SOUS 28732 HAS SOUPS 28732 WITH SCORE 28764.194
AT ITER 846 NEW BEST:: SOT 176914 SOS 32188 HAS SOPS 32188 HAS SOUS 28726 HAS SOUPS 28726 WITH SCORE 28758.188
AT ITER 855 NEW BEST:: SOT 176909 SOS 32178 HAS SOPS 32178 HAS SOUS 28716 HAS SOUPS 28716 WITH SCORE 28748.178
AT ITER 882 NEW BEST:: SOT 176874 SOS 32108 HAS SOPS 32108 HAS SOUS 28646 HAS SOUPS 28646 WITH SCORE 28678.108
AT ITER 907 NEW BEST:: SOT 176838 SOS 32123 HAS SOPS 32123 HAS SOUS 28604 HAS SOUPS 28604 WITH SCORE 28636.123
AT ITER 910 NEW BEST:: SOT 176838 SOS 32109 HAS SOPS 32109 HAS SOUS 28604 HAS SOUPS 28604 WITH SCORE 28636.109
AT ITER 913 NEW BEST:: SOT 176830 SOS 32093 HAS SOPS 32093 HAS SOUS 28588 HAS SOUPS 28588 WITH SCORE 28620.093
AT ITER 916 NEW BEST:: SOT 176767 SOS 32019 HAS SOPS 32019 HAS SOUS 28525 HAS SOUPS 28525 WITH SCORE 28557.019
AT ITER 936 NEW BEST:: SOT 176774 SOS 32033 HAS SOPS 32033 HAS SOUS 28519 HAS SOUPS 28519 WITH SCORE 28551.033
AT ITER 964 NEW BEST:: SOT 176809 SOS 32071 HAS SOPS 32071 HAS SOUS 28506 HAS SOUPS 28506 WITH SCORE 28538.071
AT ITER 979 NEW BEST:: SOT 176809 SOS 32064 HAS SOPS 32064 HAS SOUS 28502 HAS SOUPS 28502 WITH SCORE 28534.064
AT ITER 1004 NEW BEST:: SOT 176800 SOS 32055 HAS SOPS 32055 HAS SOUS 28502 HAS SOUPS 28502 WITH SCORE 28534.055
AT ITER 1011 NEW BEST:: SOT 176804 SOS 31855 HAS SOPS 31855 HAS SOUS 28490 HAS SOUPS 28490 WITH SCORE 28521.855
AT ITER 1030 NEW BEST:: SOT 176804 SOS 31855 HAS SOPS 31855 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28476.855
AT ITER 1032 NEW BEST:: SOT 176786 SOS 31708 HAS SOPS 31708 HAS SOUS 28409 HAS SOUPS 28409 WITH SCORE 28440.708
AT ITER 1048 NEW BEST:: SOT 176786 SOS 31678 HAS SOPS 31678 HAS SOUS 28379 HAS SOUPS 28379 WITH SCORE 28410.678
AT ITER 1083 NEW BEST:: SOT 176785 SOS 31668 HAS SOPS 31668 HAS SOUS 28376 HAS SOUPS 28376 WITH SCORE 28407.668
AT ITER 1093 NEW BEST:: SOT 176820 SOS 31698 HAS SOPS 31698 HAS SOUS 28355 HAS SOUPS 28355 WITH SCORE 28386.698
AT ITER 1105 NEW BEST:: SOT 176819 SOS 31697 HAS SOPS 31697 HAS SOUS 28354 HAS SOUPS 28354 WITH SCORE 28385.697
AT ITER 1107 NEW BEST:: SOT 176786 SOS 31664 HAS SOPS 31664 HAS SOUS 28321 HAS SOUPS 28321 WITH SCORE 28352.664
AT ITER 1127 NEW BEST:: SOT 176786 SOS 31564 HAS SOPS 31564 HAS SOUS 28321 HAS SOUPS 28321 WITH SCORE 28352.564
AT ITER 1138 NEW BEST:: SOT 176762 SOS 31578 HAS SOPS 31578 HAS SOUS 28315 HAS SOUPS 28315 WITH SCORE 28346.578
AT ITER 1216 NEW BEST:: SOT 176698 SOS 31464 HAS SOPS 31464 HAS SOUS 28313 HAS SOUPS 28313 WITH SCORE 28344.464
AT ITER 1258 NEW BEST:: SOT 176709 SOS 31486 HAS SOPS 31486 HAS SOUS 28311 HAS SOUPS 28311 WITH SCORE 28342.486
AT ITER 1305 NEW BEST:: SOT 176680 SOS 31486 HAS SOPS 31486 HAS SOUS 28282 HAS SOUPS 28282 WITH SCORE 28313.486
AT ITER 1311 NEW BEST:: SOT 176697 SOS 31520 HAS SOPS 31520 HAS SOUS 28276 HAS SOUPS 28276 WITH SCORE 28307.52
AT ITER 1323 NEW BEST:: SOT 176670 SOS 31492 HAS SOPS 31492 HAS SOUS 28236 HAS SOUPS 28236 WITH SCORE 28267.492
AT ITER 1338 NEW BEST:: SOT 176638 SOS 31460 HAS SOPS 31460 HAS SOUS 28204 HAS SOUPS 28204 WITH SCORE 28235.46
AT ITER 1351 NEW BEST:: SOT 176636 SOS 31456 HAS SOPS 31456 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28219.456
AT ITER 1382 NEW BEST:: SOT 176634 SOS 31454 HAS SOPS 31454 HAS SOUS 28186 HAS SOUPS 28186 WITH SCORE 28217.454
AT ITER 1385 NEW BEST:: SOT 176633 SOS 31439 HAS SOPS 31439 HAS SOUS 28171 HAS SOUPS 28171 WITH SCORE 28202.439
AT ITER 1401 NEW BEST:: SOT 176620 SOS 31400 HAS SOPS 31400 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28189.4
AT ITER 1432 NEW BEST:: SOT 176620 SOS 31383 HAS SOPS 31383 HAS SOUS 28158 HAS SOUPS 28158 WITH SCORE 28189.383
AT ITER 1443 NEW BEST:: SOT 176620 SOS 31359 HAS SOPS 31359 HAS SOUS 28134 HAS SOUPS 28134 WITH SCORE 28165.359
AT ITER 1471 NEW BEST:: SOT 176630 SOS 31379 HAS SOPS 31379 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28143.379
AT ITER 1495 NEW BEST:: SOT 176625 SOS 31369 HAS SOPS 31369 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28143.369
AT ITER 1528 NEW BEST:: SOT 176625 SOS 31399 HAS SOPS 31399 HAS SOUS 28109 HAS SOUPS 28109 WITH SCORE 28140.399
AT ITER 1533 NEW BEST:: SOT 176618 SOS 31385 HAS SOPS 31385 HAS SOUS 28102 HAS SOUPS 28102 WITH SCORE 28133.385
AT ITER 1537 NEW BEST:: SOT 176617 SOS 31349 HAS SOPS 31349 HAS SOUS 28066 HAS SOUPS 28066 WITH SCORE 28097.349
AT ITER 1599 NEW BEST:: SOT 176597 SOS 31377 HAS SOPS 31377 HAS SOUS 28063 HAS SOUPS 28063 WITH SCORE 28094.377
AT ITER 1606 NEW BEST:: SOT 176581 SOS 31315 HAS SOPS 31315 HAS SOUS 28040 HAS SOUPS 28040 WITH SCORE 28071.315
AT ITER 1614 NEW BEST:: SOT 176484 SOS 31337 HAS SOPS 31337 HAS SOUS 27943 HAS SOUPS 27943 WITH SCORE 27974.337
AT ITER 1622 NEW BEST:: SOT 176451 SOS 31271 HAS SOPS 31271 HAS SOUS 27943 HAS SOUPS 27943 WITH SCORE 27974.271
AT ITER 1633 NEW BEST:: SOT 176434 SOS 31237 HAS SOPS 31237 HAS SOUS 27909 HAS SOUPS 27909 WITH SCORE 27940.237
AT ITER 1636 NEW BEST:: SOT 176431 SOS 31231 HAS SOPS 31231 HAS SOUS 27903 HAS SOUPS 27903 WITH SCORE 27934.231
AT ITER 1637 NEW BEST:: SOT 176431 SOS 31215 HAS SOPS 31215 HAS SOUS 27887 HAS SOUPS 27887 WITH SCORE 27918.215
AT ITER 1644 NEW BEST:: SOT 176417 SOS 31201 HAS SOPS 31201 HAS SOUS 27859 HAS SOUPS 27859 WITH SCORE 27890.201
AT ITER 1647 NEW BEST:: SOT 176421 SOS 31139 HAS SOPS 31139 HAS SOUS 27770 HAS SOUPS 27770 WITH SCORE 27801.139
AT ITER 1667 NEW BEST:: SOT 176421 SOS 31097 HAS SOPS 31097 HAS SOUS 27728 HAS SOUPS 27728 WITH SCORE 27759.097
AT ITER 1691 NEW BEST:: SOT 176395 SOS 31032 HAS SOPS 31032 HAS SOUS 27663 HAS SOUPS 27663 WITH SCORE 27694.032
AT ITER 1701 NEW BEST:: SOT 176391 SOS 31016 HAS SOPS 31016 HAS SOUS 27655 HAS SOUPS 27655 WITH SCORE 27686.016
AT ITER 1718 NEW BEST:: SOT 176386 SOS 31011 HAS SOPS 31011 HAS SOUS 27650 HAS SOUPS 27650 WITH SCORE 27681.011
AT ITER 1784 NEW BEST:: SOT 176377 SOS 31002 HAS SOPS 31002 HAS SOUS 27641 HAS SOUPS 27641 WITH SCORE 27672.002
AT ITER 1793 NEW BEST:: SOT 176345 SOS 30948 HAS SOPS 30948 HAS SOUS 27619 HAS SOUPS 27619 WITH SCORE 27649.948
AT ITER 1819 NEW BEST:: SOT 176355 SOS 30865 HAS SOPS 30865 HAS SOUS 27615 HAS SOUPS 27615 WITH SCORE 27645.865
AT ITER 1859 NEW BEST:: SOT 176363 SOS 30853 HAS SOPS 30853 HAS SOUS 27595 HAS SOUPS 27595 WITH SCORE 27625.853
AT ITER 1884 NEW BEST:: SOT 176363 SOS 30843 HAS SOPS 30843 HAS SOUS 27585 HAS SOUPS 27585 WITH SCORE 27615.843
AT ITER 1901 NEW BEST:: SOT 176296 SOS 30709 HAS SOPS 30709 HAS SOUS 27456 HAS SOUPS 27456 WITH SCORE 27486.709
AT ITER 1940 NEW BEST:: SOT 176283 SOS 30683 HAS SOPS 30683 HAS SOUS 27430 HAS SOUPS 27430 WITH SCORE 27460.683
AT ITER 2001 NEW BEST:: SOT 176282 SOS 30681 HAS SOPS 30681 HAS SOUS 27428 HAS SOUPS 27428 WITH SCORE 27458.681
AT ITER 2018 NEW BEST:: SOT 176282 SOS 30681 HAS SOPS 30681 HAS SOUS 27370 HAS SOUPS 27370 WITH SCORE 27400.681
AT ITER 2050 NEW BEST:: SOT 176266 SOS 30641 HAS SOPS 30641 HAS SOUS 27335 HAS SOUPS 27335 WITH SCORE 27365.641
AT ITER 2081 NEW BEST:: SOT 176283 SOS 30675 HAS SOPS 30675 HAS SOUS 27333 HAS SOUPS 27333 WITH SCORE 27363.675
AT ITER 2087 NEW BEST:: SOT 176264 SOS 30626 HAS SOPS 30626 HAS SOUS 27303 HAS SOUPS 27303 WITH SCORE 27333.626
AT ITER 2114 NEW BEST:: SOT 176264 SOS 30626 HAS SOPS 30626 HAS SOUS 27301 HAS SOUPS 27301 WITH SCORE 27331.626
AT ITER 2132 NEW BEST:: SOT 176209 SOS 30551 HAS SOPS 30551 HAS SOUS 27224 HAS SOUPS 27224 WITH SCORE 27254.551
AT ITER 2178 NEW BEST:: SOT 176205 SOS 30543 HAS SOPS 30543 HAS SOUS 27216 HAS SOUPS 27216 WITH SCORE 27246.543
AT ITER 2199 NEW BEST:: SOT 176197 SOS 30527 HAS SOPS 30527 HAS SOUS 27206 HAS SOUPS 27206 WITH SCORE 27236.527
AT ITER 2246 NEW BEST:: SOT 176147 SOS 30427 HAS SOPS 30427 HAS SOUS 27154 HAS SOUPS 27154 WITH SCORE 27184.427
AT ITER 2263 NEW BEST:: SOT 176091 SOS 30120 HAS SOPS 30120 HAS SOUS 27082 HAS SOUPS 27082 WITH SCORE 27112.12
AT ITER 2283 NEW BEST:: SOT 176091 SOS 30082 HAS SOPS 30082 HAS SOUS 27044 HAS SOUPS 27044 WITH SCORE 27074.082
AT ITER 2314 NEW BEST:: SOT 176091 SOS 30082 HAS SOPS 30082 HAS SOUS 27038 HAS SOUPS 27038 WITH SCORE 27068.082
AT ITER 2335 NEW BEST:: SOT 176096 SOS 30034 HAS SOPS 30034 HAS SOUS 26990 HAS SOUPS 26990 WITH SCORE 27020.034
AT ITER 2341 NEW BEST:: SOT 176076 SOS 30123 HAS SOPS 30123 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27007.123
AT ITER 2351 NEW BEST:: SOT 176076 SOS 30121 HAS SOPS 30121 HAS SOUS 26975 HAS SOUPS 26975 WITH SCORE 27005.121
AT ITER 2377 NEW BEST:: SOT 176090 SOS 30091 HAS SOPS 30091 HAS SOUS 26974 HAS SOUPS 26974 WITH SCORE 27004.091
AT ITER 2381 NEW BEST:: SOT 176090 SOS 30133 HAS SOPS 30133 HAS SOUS 26971 HAS SOUPS 26971 WITH SCORE 27001.133
AT ITER 2399 NEW BEST:: SOT 176082 SOS 30037 HAS SOPS 30037 HAS SOUS 26955 HAS SOUPS 26955 WITH SCORE 26985.037
AT ITER 2440 NEW BEST:: SOT 176062 SOS 29998 HAS SOPS 29998 HAS SOUS 26916 HAS SOUPS 26916 WITH SCORE 26945.998
AT ITER 2441 NEW BEST:: SOT 176039 SOS 29909 HAS SOPS 29909 HAS SOUS 26827 HAS SOUPS 26827 WITH SCORE 26856.909
AT ITER 2468 NEW BEST:: SOT 176019 SOS 29869 HAS SOPS 29869 HAS SOUS 26787 HAS SOUPS 26787 WITH SCORE 26816.869
AT ITER 2481 NEW BEST:: SOT 175943 SOS 29801 HAS SOPS 29801 HAS SOUS 26747 HAS SOUPS 26747 WITH SCORE 26776.801
AT ITER 2487 NEW BEST:: SOT 175941 SOS 29791 HAS SOPS 29791 HAS SOUS 26743 HAS SOUPS 26743 WITH SCORE 26772.791
AT ITER 2529 NEW BEST:: SOT 175934 SOS 29768 HAS SOPS 29768 HAS SOUS 26720 HAS SOUPS 26720 WITH SCORE 26749.768
AT ITER 2530 NEW BEST:: SOT 175916 SOS 29732 HAS SOPS 29732 HAS SOUS 26640 HAS SOUPS 26640 WITH SCORE 26669.732
AT ITER 2549 NEW BEST:: SOT 175875 SOS 29709 HAS SOPS 29709 HAS SOUS 26617 HAS SOUPS 26617 WITH SCORE 26646.709
AT ITER 2568 NEW BEST:: SOT 175792 SOS 29311 HAS SOPS 29311 HAS SOUS 26448 HAS SOUPS 26448 WITH SCORE 26477.311
AT ITER 2585 NEW BEST:: SOT 175755 SOS 29316 HAS SOPS 29316 HAS SOUS 26438 HAS SOUPS 26438 WITH SCORE 26467.316
AT ITER 2599 NEW BEST:: SOT 175770 SOS 29346 HAS SOPS 29346 HAS SOUS 26435 HAS SOUPS 26435 WITH SCORE 26464.346
AT ITER 2643 NEW BEST:: SOT 175786 SOS 29318 HAS SOPS 29318 HAS SOUS 26407 HAS SOUPS 26407 WITH SCORE 26436.318
AT ITER 2645 NEW BEST:: SOT 175792 SOS 29314 HAS SOPS 29314 HAS SOUS 26397 HAS SOUPS 26397 WITH SCORE 26426.314
AT ITER 2650 NEW BEST:: SOT 175763 SOS 29206 HAS SOPS 29206 HAS SOUS 26339 HAS SOUPS 26339 WITH SCORE 26368.206
AT ITER 2661 NEW BEST:: SOT 175727 SOS 29202 HAS SOPS 29202 HAS SOUS 26335 HAS SOUPS 26335 WITH SCORE 26364.202
AT ITER 2721 NEW BEST:: SOT 175727 SOS 29193 HAS SOPS 29193 HAS SOUS 26335 HAS SOUPS 26335 WITH SCORE 26364.193
AT ITER 2745 NEW BEST:: SOT 175727 SOS 29184 HAS SOPS 29184 HAS SOUS 26326 HAS SOUPS 26326 WITH SCORE 26355.184
AT ITER 2746 NEW BEST:: SOT 175747 SOS 29174 HAS SOPS 29174 HAS SOUS 26316 HAS SOUPS 26316 WITH SCORE 26345.174
AT ITER 2785 NEW BEST:: SOT 175698 SOS 29076 HAS SOPS 29076 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26313.076
AT ITER 2791 NEW BEST:: SOT 175698 SOS 29010 HAS SOPS 29010 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26313.01
AT ITER 2872 NEW BEST:: SOT 175703 SOS 28978 HAS SOPS 28978 HAS SOUS 26268 HAS SOUPS 26268 WITH SCORE 26296.978
AT ITER 2884 NEW BEST:: SOT 175703 SOS 28955 HAS SOPS 28955 HAS SOUS 26245 HAS SOUPS 26245 WITH SCORE 26273.955
AT ITER 2931 NEW BEST:: SOT 175692 SOS 28933 HAS SOPS 28933 HAS SOUS 26223 HAS SOUPS 26223 WITH SCORE 26251.933
AT ITER 2934 NEW BEST:: SOT 175692 SOS 28919 HAS SOPS 28919 HAS SOUS 26209 HAS SOUPS 26209 WITH SCORE 26237.919
AT ITER 2969 NEW BEST:: SOT 175709 SOS 28866 HAS SOPS 28866 HAS SOUS 26156 HAS SOUPS 26156 WITH SCORE 26184.866
AT ITER 3005 NEW BEST:: SOT 175720 SOS 28835 HAS SOPS 28835 HAS SOUS 26125 HAS SOUPS 26125 WITH SCORE 26153.835
AT ITER 3025 NEW BEST:: SOT 175726 SOS 28823 HAS SOPS 28823 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26099.823
AT ITER 3060 NEW BEST:: SOT 175720 SOS 28811 HAS SOPS 28811 HAS SOUS 26059 HAS SOUPS 26059 WITH SCORE 26087.811
AT ITER 3064 NEW BEST:: SOT 175712 SOS 28803 HAS SOPS 28803 HAS SOUS 26051 HAS SOUPS 26051 WITH SCORE 26079.803
AT ITER 3082 NEW BEST:: SOT 175710 SOS 28801 HAS SOPS 28801 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26077.801
AT ITER 3100 NEW BEST:: SOT 175710 SOS 28780 HAS SOPS 28780 HAS SOUS 26028 HAS SOUPS 26028 WITH SCORE 26056.78
AT ITER 3113 NEW BEST:: SOT 175691 SOS 28761 HAS SOPS 28761 HAS SOUS 26009 HAS SOUPS 26009 WITH SCORE 26037.761
AT ITER 3146 NEW BEST:: SOT 175673 SOS 28725 HAS SOPS 28725 HAS SOUS 25973 HAS SOUPS 25973 WITH SCORE 26001.725
AT ITER 3180 NEW BEST:: SOT 175673 SOS 28715 HAS SOPS 28715 HAS SOUS 25963 HAS SOUPS 25963 WITH SCORE 25991.715
AT ITER 3200 NEW BEST:: SOT 175664 SOS 28700 HAS SOPS 28700 HAS SOUS 25940 HAS SOUPS 25940 WITH SCORE 25968.7
AT ITER 3206 NEW BEST:: SOT 175664 SOS 28689 HAS SOPS 28689 HAS SOUS 25929 HAS SOUPS 25929 WITH SCORE 25957.689
AT ITER 3285 NEW BEST:: SOT 175664 SOS 28678 HAS SOPS 28678 HAS SOUS 25918 HAS SOUPS 25918 WITH SCORE 25946.678
AT ITER 3296 NEW BEST:: SOT 175666 SOS 28641 HAS SOPS 28641 HAS SOUS 25907 HAS SOUPS 25907 WITH SCORE 25935.641
AT ITER 3306 NEW BEST:: SOT 175666 SOS 28641 HAS SOPS 28641 HAS SOUS 25895 HAS SOUPS 25895 WITH SCORE 25923.641
AT ITER 3366 NEW BEST:: SOT 175642 SOS 28605 HAS SOPS 28605 HAS SOUS 25871 HAS SOUPS 25871 WITH SCORE 25899.605
AT ITER 3395 NEW BEST:: SOT 175600 SOS 28348 HAS SOPS 28348 HAS SOUS 25824 HAS SOUPS 25824 WITH SCORE 25852.348
AT ITER 3414 NEW BEST:: SOT 175619 SOS 28285 HAS SOPS 28285 HAS SOUS 25761 HAS SOUPS 25761 WITH SCORE 25789.285
AT ITER 3421 NEW BEST:: SOT 175598 SOS 28247 HAS SOPS 28247 HAS SOUS 25723 HAS SOUPS 25723 WITH SCORE 25751.247
AT ITER 3434 NEW BEST:: SOT 175598 SOS 28242 HAS SOPS 28242 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25746.242
AT ITER 3444 NEW BEST:: SOT 175581 SOS 28160 HAS SOPS 28160 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25712.16
AT ITER 3450 NEW BEST:: SOT 175581 SOS 28154 HAS SOPS 28154 HAS SOUS 25678 HAS SOUPS 25678 WITH SCORE 25706.154
AT ITER 3474 NEW BEST:: SOT 175587 SOS 28131 HAS SOPS 28131 HAS SOUS 25655 HAS SOUPS 25655 WITH SCORE 25683.131
AT ITER 3476 NEW BEST:: SOT 175587 SOS 28065 HAS SOPS 28065 HAS SOUS 25633 HAS SOUPS 25633 WITH SCORE 25661.065
AT ITER 3653 NEW BEST:: SOT 175602 SOS 28023 HAS SOPS 28023 HAS SOUS 25571 HAS SOUPS 25571 WITH SCORE 25599.023
AT ITER 3655 NEW BEST:: SOT 175599 SOS 28011 HAS SOPS 28011 HAS SOUS 25565 HAS SOUPS 25565 WITH SCORE 25593.011
AT ITER 3686 NEW BEST:: SOT 175604 SOS 27919 HAS SOPS 27919 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25563.919
AT ITER 3752 NEW BEST:: SOT 175562 SOS 27846 HAS SOPS 27846 HAS SOUS 25463 HAS SOUPS 25463 WITH SCORE 25490.846
AT ITER 3787 NEW BEST:: SOT 175535 SOS 27749 HAS SOPS 27749 HAS SOUS 25366 HAS SOUPS 25366 WITH SCORE 25393.749
AT ITER 3790 NEW BEST:: SOT 175526 SOS 27719 HAS SOPS 27719 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25384.719
AT ITER 3803 NEW BEST:: SOT 175523 SOS 27713 HAS SOPS 27713 HAS SOUS 25351 HAS SOUPS 25351 WITH SCORE 25378.713
AT ITER 3821 NEW BEST:: SOT 175521 SOS 27709 HAS SOPS 27709 HAS SOUS 25349 HAS SOUPS 25349 WITH SCORE 25376.709
AT ITER 3835 NEW BEST:: SOT 175518 SOS 27703 HAS SOPS 27703 HAS SOUS 25343 HAS SOUPS 25343 WITH SCORE 25370.703
AT ITER 3851 NEW BEST:: SOT 175510 SOS 27687 HAS SOPS 27687 HAS SOUS 25343 HAS SOUPS 25343 WITH SCORE 25370.687
AT ITER 3856 NEW BEST:: SOT 175476 SOS 27703 HAS SOPS 27703 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25336.703
AT ITER 3859 NEW BEST:: SOT 175501 SOS 27664 HAS SOPS 27664 HAS SOUS 25286 HAS SOUPS 25286 WITH SCORE 25313.664
AT ITER 3872 NEW BEST:: SOT 175484 SOS 27630 HAS SOPS 27630 HAS SOUS 25252 HAS SOUPS 25252 WITH SCORE 25279.63
AT ITER 3896 NEW BEST:: SOT 175483 SOS 27660 HAS SOPS 27660 HAS SOUS 25248 HAS SOUPS 25248 WITH SCORE 25275.66
AT ITER 3913 NEW BEST:: SOT 175483 SOS 27660 HAS SOPS 27660 HAS SOUS 25247 HAS SOUPS 25247 WITH SCORE 25274.66
AT ITER 3936 NEW BEST:: SOT 175487 SOS 27639 HAS SOPS 27639 HAS SOUS 25226 HAS SOUPS 25226 WITH SCORE 25253.639
AT ITER 3938 NEW BEST:: SOT 175487 SOS 27634 HAS SOPS 27634 HAS SOUS 25226 HAS SOUPS 25226 WITH SCORE 25253.634
AT ITER 3998 NEW BEST:: SOT 175459 SOS 27578 HAS SOPS 27578 HAS SOUS 25170 HAS SOUPS 25170 WITH SCORE 25197.578
AT ITER 4024 NEW BEST:: SOT 175417 SOS 27494 HAS SOPS 27494 HAS SOUS 25125 HAS SOUPS 25125 WITH SCORE 25152.494
AT ITER 4115 NEW BEST:: SOT 175414 SOS 27488 HAS SOPS 27488 HAS SOUS 25119 HAS SOUPS 25119 WITH SCORE 25146.488
AT ITER 4162 NEW BEST:: SOT 175414 SOS 27481 HAS SOPS 27481 HAS SOUS 25112 HAS SOUPS 25112 WITH SCORE 25139.481
AT ITER 4184 NEW BEST:: SOT 175414 SOS 27357 HAS SOPS 27357 HAS SOUS 25100 HAS SOUPS 25100 WITH SCORE 25127.357
AT ITER 4199 NEW BEST:: SOT 175374 SOS 27333 HAS SOPS 27333 HAS SOUS 25067 HAS SOUPS 25067 WITH SCORE 25094.333
AT ITER 4220 NEW BEST:: SOT 175357 SOS 27344 HAS SOPS 27344 HAS SOUS 25064 HAS SOUPS 25064 WITH SCORE 25091.344
AT ITER 4259 NEW BEST:: SOT 175349 SOS 27312 HAS SOPS 27312 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25075.312
AT ITER 4273 NEW BEST:: SOT 175329 SOS 27338 HAS SOPS 27338 HAS SOUS 25008 HAS SOUPS 25008 WITH SCORE 25035.338
AT ITER 4298 NEW BEST:: SOT 175329 SOS 27338 HAS SOPS 27338 HAS SOUS 24999 HAS SOUPS 24999 WITH SCORE 25026.338
AT ITER 4310 NEW BEST:: SOT 175329 SOS 27366 HAS SOPS 27366 HAS SOUS 24971 HAS SOUPS 24971 WITH SCORE 24998.366
AT ITER 4312 NEW BEST:: SOT 175329 SOS 27333 HAS SOPS 27333 HAS SOUS 24938 HAS SOUPS 24938 WITH SCORE 24965.333
AT ITER 4358 NEW BEST:: SOT 175328 SOS 27325 HAS SOPS 27325 HAS SOUS 24930 HAS SOUPS 24930 WITH SCORE 24957.325
AT ITER 4393 NEW BEST:: SOT 175333 SOS 27301 HAS SOPS 27301 HAS SOUS 24906 HAS SOUPS 24906 WITH SCORE 24933.301
AT ITER 4417 NEW BEST:: SOT 175311 SOS 27190 HAS SOPS 27190 HAS SOUS 24795 HAS SOUPS 24795 WITH SCORE 24822.19
AT ITER 4418 NEW BEST:: SOT 175315 SOS 27162 HAS SOPS 27162 HAS SOUS 24767 HAS SOUPS 24767 WITH SCORE 24794.162
AT ITER 4419 NEW BEST:: SOT 175317 SOS 27064 HAS SOPS 27064 HAS SOUS 24762 HAS SOUPS 24762 WITH SCORE 24789.064
AT ITER 4450 NEW BEST:: SOT 175316 SOS 27064 HAS SOPS 27064 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24788.064
AT ITER 4457 NEW BEST:: SOT 175306 SOS 27044 HAS SOPS 27044 HAS SOUS 24741 HAS SOUPS 24741 WITH SCORE 24768.044
AT ITER 4474 NEW BEST:: SOT 175293 SOS 27018 HAS SOPS 27018 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24742.018
AT ITER 4494 NEW BEST:: SOT 175293 SOS 27004 HAS SOPS 27004 HAS SOUS 24701 HAS SOUPS 24701 WITH SCORE 24728.004
AT ITER 4547 NEW BEST:: SOT 175310 SOS 27060 HAS SOPS 27060 HAS SOUS 24696 HAS SOUPS 24696 WITH SCORE 24723.06
AT ITER 4574 NEW BEST:: SOT 175309 SOS 27036 HAS SOPS 27036 HAS SOUS 24694 HAS SOUPS 24694 WITH SCORE 24721.036
AT ITER 4585 NEW BEST:: SOT 175299 SOS 26993 HAS SOPS 26993 HAS SOUS 24651 HAS SOUPS 24651 WITH SCORE 24677.993
AT ITER 4608 NEW BEST:: SOT 175296 SOS 26987 HAS SOPS 26987 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24671.987
AT ITER 4613 NEW BEST:: SOT 175260 SOS 26949 HAS SOPS 26949 HAS SOUS 24604 HAS SOUPS 24604 WITH SCORE 24630.949
AT ITER 4659 NEW BEST:: SOT 175212 SOS 26802 HAS SOPS 26802 HAS SOUS 24553 HAS SOUPS 24553 WITH SCORE 24579.802
AT ITER 4670 NEW BEST:: SOT 175212 SOS 26769 HAS SOPS 26769 HAS SOUS 24520 HAS SOUPS 24520 WITH SCORE 24546.769
AT ITER 4688 NEW BEST:: SOT 175208 SOS 26761 HAS SOPS 26761 HAS SOUS 24512 HAS SOUPS 24512 WITH SCORE 24538.761
AT ITER 4740 NEW BEST:: SOT 175198 SOS 26725 HAS SOPS 26725 HAS SOUS 24509 HAS SOUPS 24509 WITH SCORE 24535.725
AT ITER 4748 NEW BEST:: SOT 175198 SOS 26669 HAS SOPS 26669 HAS SOUS 24509 HAS SOUPS 24509 WITH SCORE 24535.669
AT ITER 4816 NEW BEST:: SOT 175205 SOS 26623 HAS SOPS 26623 HAS SOUS 24487 HAS SOUPS 24487 WITH SCORE 24513.623
AT ITER 4817 NEW BEST:: SOT 175193 SOS 26606 HAS SOPS 26606 HAS SOUS 24470 HAS SOUPS 24470 WITH SCORE 24496.606
AT ITER 4841 NEW BEST:: SOT 175179 SOS 26578 HAS SOPS 26578 HAS SOUS 24462 HAS SOUPS 24462 WITH SCORE 24488.578
AT ITER 4845 NEW BEST:: SOT 175176 SOS 26572 HAS SOPS 26572 HAS SOUS 24462 HAS SOUPS 24462 WITH SCORE 24488.572
AT ITER 4887 NEW BEST:: SOT 175164 SOS 26548 HAS SOPS 26548 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24464.548
AT ITER 4896 NEW BEST:: SOT 175167 SOS 26436 HAS SOPS 26436 HAS SOUS 24432 HAS SOUPS 24432 WITH SCORE 24458.436
AT ITER 4899 NEW BEST:: SOT 175252 SOS 26471 HAS SOPS 26471 HAS SOUS 24431 HAS SOUPS 24431 WITH SCORE 24457.471
AT ITER 4920 NEW BEST:: SOT 175250 SOS 26467 HAS SOPS 26467 HAS SOUS 24427 HAS SOUPS 24427 WITH SCORE 24453.467
AT ITER 4939 NEW BEST:: SOT 175227 SOS 26449 HAS SOPS 26449 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24426.449
AT ITER 4972 NEW BEST:: SOT 175196 SOS 26418 HAS SOPS 26418 HAS SOUS 24369 HAS SOUPS 24369 WITH SCORE 24395.418
AT ITER 4979 NEW BEST:: SOT 175195 SOS 26417 HAS SOPS 26417 HAS SOUS 24368 HAS SOUPS 24368 WITH SCORE 24394.417
AT ITER 5006 NEW BEST:: SOT 175196 SOS 26419 HAS SOPS 26419 HAS SOUS 24366 HAS SOUPS 24366 WITH SCORE 24392.419
AT ITER 5013 NEW BEST:: SOT 175194 SOS 26417 HAS SOPS 26417 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24388.417
AT ITER 5027 NEW BEST:: SOT 175183 SOS 26395 HAS SOPS 26395 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24354.395
AT ITER 5059 NEW BEST:: SOT 175185 SOS 26390 HAS SOPS 26390 HAS SOUS 24314 HAS SOUPS 24314 WITH SCORE 24340.39
AT ITER 5072 NEW BEST:: SOT 175185 SOS 26384 HAS SOPS 26384 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24334.384
AT ITER 5077 NEW BEST:: SOT 175185 SOS 26379 HAS SOPS 26379 HAS SOUS 24303 HAS SOUPS 24303 WITH SCORE 24329.379
AT ITER 5080 NEW BEST:: SOT 175181 SOS 26371 HAS SOPS 26371 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24325.371
AT ITER 5084 NEW BEST:: SOT 175175 SOS 26359 HAS SOPS 26359 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24313.359
AT ITER 5089 NEW BEST:: SOT 175175 SOS 26334 HAS SOPS 26334 HAS SOUS 24262 HAS SOUPS 24262 WITH SCORE 24288.334
AT ITER 5094 NEW BEST:: SOT 175163 SOS 26310 HAS SOPS 26310 HAS SOUS 24252 HAS SOUPS 24252 WITH SCORE 24278.31
AT ITER 5187 NEW BEST:: SOT 175159 SOS 26302 HAS SOPS 26302 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24270.302
AT ITER 5209 NEW BEST:: SOT 175158 SOS 26301 HAS SOPS 26301 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24269.301
AT ITER 5210 NEW BEST:: SOT 175158 SOS 26299 HAS SOPS 26299 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24267.299
AT ITER 5226 NEW BEST:: SOT 175158 SOS 26292 HAS SOPS 26292 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24260.292
AT ITER 5231 NEW BEST:: SOT 175157 SOS 26289 HAS SOPS 26289 HAS SOUS 24231 HAS SOUPS 24231 WITH SCORE 24257.289
AT ITER 5265 NEW BEST:: SOT 175156 SOS 26288 HAS SOPS 26288 HAS SOUS 24230 HAS SOUPS 24230 WITH SCORE 24256.288
AT ITER 5298 NEW BEST:: SOT 175159 SOS 26294 HAS SOPS 26294 HAS SOUS 24222 HAS SOUPS 24222 WITH SCORE 24248.294
AT ITER 5329 NEW BEST:: SOT 175159 SOS 26288 HAS SOPS 26288 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24236.288
AT ITER 5385 NEW BEST:: SOT 175155 SOS 26265 HAS SOPS 26265 HAS SOUS 24196 HAS SOUPS 24196 WITH SCORE 24222.265
AT ITER 5398 NEW BEST:: SOT 175170 SOS 26228 HAS SOPS 26228 HAS SOUS 24195 HAS SOUPS 24195 WITH SCORE 24221.228
AT ITER 5405 NEW BEST:: SOT 175170 SOS 26224 HAS SOPS 26224 HAS SOUS 24191 HAS SOUPS 24191 WITH SCORE 24217.224
AT ITER 5478 NEW BEST:: SOT 175189 SOS 26227 HAS SOPS 26227 HAS SOUS 24158 HAS SOUPS 24158 WITH SCORE 24184.227
AT ITER 5483 NEW BEST:: SOT 175185 SOS 26229 HAS SOPS 26229 HAS SOUS 24149 HAS SOUPS 24149 WITH SCORE 24175.229
AT ITER 5508 NEW BEST:: SOT 175183 SOS 26225 HAS SOPS 26225 HAS SOUS 24147 HAS SOUPS 24147 WITH SCORE 24173.225
AT ITER 5516 NEW BEST:: SOT 175258 SOS 26198 HAS SOPS 26198 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24146.198
AT ITER 5522 NEW BEST:: SOT 175258 SOS 26195 HAS SOPS 26195 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24143.195
AT ITER 5563 NEW BEST:: SOT 175258 SOS 26188 HAS SOPS 26188 HAS SOUS 24111 HAS SOUPS 24111 WITH SCORE 24137.188
AT ITER 5580 NEW BEST:: SOT 175230 SOS 26156 HAS SOPS 26156 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24105.156
AT ITER 5613 NEW BEST:: SOT 175225 SOS 26146 HAS SOPS 26146 HAS SOUS 24069 HAS SOUPS 24069 WITH SCORE 24095.146
AT ITER 5634 NEW BEST:: SOT 175225 SOS 26148 HAS SOPS 26148 HAS SOUS 24067 HAS SOUPS 24067 WITH SCORE 24093.148
AT ITER 5638 NEW BEST:: SOT 175226 SOS 26109 HAS SOPS 26109 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24054.109
AT ITER 5645 NEW BEST:: SOT 175226 SOS 26091 HAS SOPS 26091 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24054.091
AT ITER 5668 NEW BEST:: SOT 175226 SOS 26087 HAS SOPS 26087 HAS SOUS 24024 HAS SOUPS 24024 WITH SCORE 24050.087
AT ITER 5680 NEW BEST:: SOT 175228 SOS 26098 HAS SOPS 26098 HAS SOUS 24016 HAS SOUPS 24016 WITH SCORE 24042.098
AT ITER 5696 NEW BEST:: SOT 175209 SOS 26041 HAS SOPS 26041 HAS SOUS 23961 HAS SOUPS 23961 WITH SCORE 23987.041
AT ITER 5726 NEW BEST:: SOT 175191 SOS 25966 HAS SOPS 25966 HAS SOUS 23917 HAS SOUPS 23917 WITH SCORE 23942.966
AT ITER 5727 NEW BEST:: SOT 175190 SOS 25963 HAS SOPS 25963 HAS SOUS 23909 HAS SOUPS 23909 WITH SCORE 23934.963
AT ITER 5782 NEW BEST:: SOT 175183 SOS 25926 HAS SOPS 25926 HAS SOUS 23895 HAS SOUPS 23895 WITH SCORE 23920.926
AT ITER 5797 NEW BEST:: SOT 175183 SOS 25926 HAS SOPS 25926 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23916.926
AT ITER 5857 NEW BEST:: SOT 175183 SOS 25910 HAS SOPS 25910 HAS SOUS 23883 HAS SOUPS 23883 WITH SCORE 23908.91
AT ITER 5875 NEW BEST:: SOT 175183 SOS 25904 HAS SOPS 25904 HAS SOUS 23877 HAS SOUPS 23877 WITH SCORE 23902.904
AT ITER 5887 NEW BEST:: SOT 175183 SOS 25888 HAS SOPS 25888 HAS SOUS 23861 HAS SOUPS 23861 WITH SCORE 23886.888
AT ITER 5894 NEW BEST:: SOT 175168 SOS 25858 HAS SOPS 25858 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23856.858
AT ITER 5985 NEW BEST:: SOT 175172 SOS 25816 HAS SOPS 25816 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23814.816
AT ITER 5990 NEW BEST:: SOT 175142 SOS 25756 HAS SOPS 25756 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23771.756
AT ITER 6120 NEW BEST:: SOT 175142 SOS 25751 HAS SOPS 25751 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23771.751
AT ITER 6212 NEW BEST:: SOT 175140 SOS 25747 HAS SOPS 25747 HAS SOUS 23743 HAS SOUPS 23743 WITH SCORE 23768.747
AT ITER 6256 NEW BEST:: SOT 175136 SOS 25664 HAS SOPS 25664 HAS SOUS 23735 HAS SOUPS 23735 WITH SCORE 23760.664
AT ITER 6275 NEW BEST:: SOT 175121 SOS 25634 HAS SOPS 25634 HAS SOUS 23720 HAS SOUPS 23720 WITH SCORE 23745.634
AT ITER 6329 NEW BEST:: SOT 175133 SOS 25614 HAS SOPS 25614 HAS SOUS 23700 HAS SOUPS 23700 WITH SCORE 23725.614
AT ITER 6342 NEW BEST:: SOT 175140 SOS 25542 HAS SOPS 25542 HAS SOUS 23699 HAS SOUPS 23699 WITH SCORE 23724.542
AT ITER 6391 NEW BEST:: SOT 175140 SOS 25541 HAS SOPS 25541 HAS SOUS 23698 HAS SOUPS 23698 WITH SCORE 23723.541
AT ITER 6398 NEW BEST:: SOT 175084 SOS 25562 HAS SOPS 25562 HAS SOUS 23671 HAS SOUPS 23671 WITH SCORE 23696.562
AT ITER 6400 NEW BEST:: SOT 175082 SOS 25533 HAS SOPS 25533 HAS SOUS 23667 HAS SOUPS 23667 WITH SCORE 23692.533
AT ITER 6410 NEW BEST:: SOT 175077 SOS 25477 HAS SOPS 25477 HAS SOUS 23653 HAS SOUPS 23653 WITH SCORE 23678.477
AT ITER 6493 NEW BEST:: SOT 175062 SOS 25474 HAS SOPS 25474 HAS SOUS 23650 HAS SOUPS 23650 WITH SCORE 23675.474
AT ITER 6497 NEW BEST:: SOT 175061 SOS 25472 HAS SOPS 25472 HAS SOUS 23648 HAS SOUPS 23648 WITH SCORE 23673.472
AT ITER 6517 NEW BEST:: SOT 175046 SOS 25419 HAS SOPS 25419 HAS SOUS 23595 HAS SOUPS 23595 WITH SCORE 23620.419
AT ITER 6589 NEW BEST:: SOT 175025 SOS 25415 HAS SOPS 25415 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23616.415
AT ITER 6629 NEW BEST:: SOT 175005 SOS 25403 HAS SOPS 25403 HAS SOUS 23572 HAS SOUPS 23572 WITH SCORE 23597.403
AT ITER 6726 NEW BEST:: SOT 175004 SOS 25402 HAS SOPS 25402 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23596.402
AT ITER 6778 NEW BEST:: SOT 175004 SOS 25396 HAS SOPS 25396 HAS SOUS 23550 HAS SOUPS 23550 WITH SCORE 23575.396
AT ITER 6851 NEW BEST:: SOT 175002 SOS 25394 HAS SOPS 25394 HAS SOUS 23548 HAS SOUPS 23548 WITH SCORE 23573.394
AT ITER 6892 NEW BEST:: SOT 175001 SOS 25393 HAS SOPS 25393 HAS SOUS 23547 HAS SOUPS 23547 WITH SCORE 23572.393
AT ITER 6894 NEW BEST:: SOT 175000 SOS 25380 HAS SOPS 25380 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23559.38
AT ITER 6944 NEW BEST:: SOT 175000 SOS 25371 HAS SOPS 25371 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23559.371
AT ITER 6999 NEW BEST:: SOT 174987 SOS 25379 HAS SOPS 25379 HAS SOUS 23532 HAS SOUPS 23532 WITH SCORE 23557.379
AT ITER 7006 NEW BEST:: SOT 174987 SOS 25364 HAS SOPS 25364 HAS SOUS 23532 HAS SOUPS 23532 WITH SCORE 23557.364
AT ITER 7031 NEW BEST:: SOT 174991 SOS 25372 HAS SOPS 25372 HAS SOUS 23522 HAS SOUPS 23522 WITH SCORE 23547.372
AT ITER 7055 NEW BEST:: SOT 174987 SOS 25355 HAS SOPS 25355 HAS SOUS 23505 HAS SOUPS 23505 WITH SCORE 23530.355
AT ITER 7058 NEW BEST:: SOT 174978 SOS 25343 HAS SOPS 25343 HAS SOUS 23493 HAS SOUPS 23493 WITH SCORE 23518.343
AT ITER 7076 NEW BEST:: SOT 174978 SOS 25339 HAS SOPS 25339 HAS SOUS 23485 HAS SOUPS 23485 WITH SCORE 23510.339
AT ITER 7121 NEW BEST:: SOT 174977 SOS 25337 HAS SOPS 25337 HAS SOUS 23483 HAS SOUPS 23483 WITH SCORE 23508.337
AT ITER 7154 NEW BEST:: SOT 174977 SOS 25326 HAS SOPS 25326 HAS SOUS 23472 HAS SOUPS 23472 WITH SCORE 23497.326
AT ITER 7165 NEW BEST:: SOT 174946 SOS 25264 HAS SOPS 25264 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23458.264
AT ITER 7176 NEW BEST:: SOT 174949 SOS 25237 HAS SOPS 25237 HAS SOUS 23419 HAS SOUPS 23419 WITH SCORE 23444.237
AT ITER 7201 NEW BEST:: SOT 174948 SOS 25235 HAS SOPS 25235 HAS SOUS 23417 HAS SOUPS 23417 WITH SCORE 23442.235
AT ITER 7203 NEW BEST:: SOT 174905 SOS 25149 HAS SOPS 25149 HAS SOUS 23331 HAS SOUPS 23331 WITH SCORE 23356.149
AT ITER 7234 NEW BEST:: SOT 174905 SOS 25149 HAS SOPS 25149 HAS SOUS 23323 HAS SOUPS 23323 WITH SCORE 23348.149
AT ITER 7242 NEW BEST:: SOT 174899 SOS 25099 HAS SOPS 25099 HAS SOUS 23308 HAS SOUPS 23308 WITH SCORE 23333.099
AT ITER 7243 NEW BEST:: SOT 174872 SOS 25196 HAS SOPS 25196 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23315.196
AT ITER 7254 NEW BEST:: SOT 174861 SOS 25174 HAS SOPS 25174 HAS SOUS 23278 HAS SOUPS 23278 WITH SCORE 23303.174
AT ITER 7255 NEW BEST:: SOT 174860 SOS 25176 HAS SOPS 25176 HAS SOUS 23277 HAS SOUPS 23277 WITH SCORE 23302.176
AT ITER 7280 NEW BEST:: SOT 174855 SOS 25161 HAS SOPS 25161 HAS SOUS 23262 HAS SOUPS 23262 WITH SCORE 23287.161
AT ITER 7285 NEW BEST:: SOT 174837 SOS 25107 HAS SOPS 25107 HAS SOUS 23220 HAS SOUPS 23220 WITH SCORE 23245.107
AT ITER 7307 NEW BEST:: SOT 174821 SOS 25103 HAS SOPS 25103 HAS SOUS 23216 HAS SOUPS 23216 WITH SCORE 23241.103
AT ITER 7413 NEW BEST:: SOT 174820 SOS 25101 HAS SOPS 25101 HAS SOUS 23214 HAS SOUPS 23214 WITH SCORE 23239.101
AT ITER 7479 NEW BEST:: SOT 174808 SOS 25077 HAS SOPS 25077 HAS SOUS 23190 HAS SOUPS 23190 WITH SCORE 23215.077
AT ITER 7483 NEW BEST:: SOT 174801 SOS 25063 HAS SOPS 25063 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23201.063
AT ITER 7485 NEW BEST:: SOT 174813 SOS 25051 HAS SOPS 25051 HAS SOUS 23164 HAS SOUPS 23164 WITH SCORE 23189.051
AT ITER 7554 NEW BEST:: SOT 174806 SOS 25027 HAS SOPS 25027 HAS SOUS 23140 HAS SOUPS 23140 WITH SCORE 23165.027
AT ITER 7623 NEW BEST:: SOT 174764 SOS 25027 HAS SOPS 25027 HAS SOUS 23098 HAS SOUPS 23098 WITH SCORE 23123.027
AT ITER 7624 NEW BEST:: SOT 174754 SOS 25017 HAS SOPS 25017 HAS SOUS 23088 HAS SOUPS 23088 WITH SCORE 23113.017
AT ITER 7625 NEW BEST:: SOT 174750 SOS 25009 HAS SOPS 25009 HAS SOUS 23084 HAS SOUPS 23084 WITH SCORE 23109.009
AT ITER 7681 NEW BEST:: SOT 174742 SOS 24993 HAS SOPS 24993 HAS SOUS 23068 HAS SOUPS 23068 WITH SCORE 23092.993
AT ITER 7732 NEW BEST:: SOT 174736 SOS 24975 HAS SOPS 24975 HAS SOUS 23056 HAS SOUPS 23056 WITH SCORE 23080.975
AT ITER 7745 NEW BEST:: SOT 174736 SOS 24957 HAS SOPS 24957 HAS SOUS 23038 HAS SOUPS 23038 WITH SCORE 23062.957
AT ITER 7749 NEW BEST:: SOT 174741 SOS 24942 HAS SOPS 24942 HAS SOUS 23023 HAS SOUPS 23023 WITH SCORE 23047.942
AT ITER 7763 NEW BEST:: SOT 174726 SOS 24915 HAS SOPS 24915 HAS SOUS 22980 HAS SOUPS 22980 WITH SCORE 23004.915
AT ITER 7796 NEW BEST:: SOT 174726 SOS 24912 HAS SOPS 24912 HAS SOUS 22977 HAS SOUPS 22977 WITH SCORE 23001.912
AT ITER 7819 NEW BEST:: SOT 174731 SOS 24894 HAS SOPS 24894 HAS SOUS 22959 HAS SOUPS 22959 WITH SCORE 22983.894
AT ITER 7906 NEW BEST:: SOT 174713 SOS 24858 HAS SOPS 24858 HAS SOUS 22955 HAS SOUPS 22955 WITH SCORE 22979.858
AT ITER 7934 NEW BEST:: SOT 174714 SOS 24860 HAS SOPS 24860 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22976.86
AT ITER 7938 NEW BEST:: SOT 174714 SOS 24852 HAS SOPS 24852 HAS SOUS 22944 HAS SOUPS 22944 WITH SCORE 22968.852
AT ITER 8037 NEW BEST:: SOT 174711 SOS 24849 HAS SOPS 24849 HAS SOUS 22941 HAS SOUPS 22941 WITH SCORE 22965.849
AT ITER 8041 NEW BEST:: SOT 174711 SOS 24829 HAS SOPS 24829 HAS SOUS 22931 HAS SOUPS 22931 WITH SCORE 22955.829
AT ITER 8090 NEW BEST:: SOT 174717 SOS 24826 HAS SOPS 24826 HAS SOUS 22928 HAS SOUPS 22928 WITH SCORE 22952.826
AT ITER 8140 NEW BEST:: SOT 174708 SOS 24817 HAS SOPS 24817 HAS SOUS 22927 HAS SOUPS 22927 WITH SCORE 22951.817
AT ITER 8141 NEW BEST:: SOT 174708 SOS 24812 HAS SOPS 24812 HAS SOUS 22927 HAS SOUPS 22927 WITH SCORE 22951.812
AT ITER 8145 NEW BEST:: SOT 174708 SOS 24809 HAS SOPS 24809 HAS SOUS 22927 HAS SOUPS 22927 WITH SCORE 22951.809
AT ITER 8173 NEW BEST:: SOT 174708 SOS 24808 HAS SOPS 24808 HAS SOUS 22926 HAS SOUPS 22926 WITH SCORE 22950.808
AT ITER 8264 NEW BEST:: SOT 174696 SOS 24778 HAS SOPS 24778 HAS SOUS 22914 HAS SOUPS 22914 WITH SCORE 22938.778
AT ITER 8268 NEW BEST:: SOT 174696 SOS 24775 HAS SOPS 24775 HAS SOUS 22914 HAS SOUPS 22914 WITH SCORE 22938.775
AT ITER 8342 NEW BEST:: SOT 174694 SOS 24779 HAS SOPS 24779 HAS SOUS 22908 HAS SOUPS 22908 WITH SCORE 22932.779
AT ITER 8470 NEW BEST:: SOT 174673 SOS 24737 HAS SOPS 24737 HAS SOUS 22859 HAS SOUPS 22859 WITH SCORE 22883.737
AT ITER 8472 NEW BEST:: SOT 174673 SOS 24735 HAS SOPS 24735 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22881.735
AT ITER 8507 NEW BEST:: SOT 174673 SOS 24725 HAS SOPS 24725 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22881.725
AT ITER 8523 NEW BEST:: SOT 174645 SOS 24711 HAS SOPS 24711 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22862.711
AT ITER 8549 NEW BEST:: SOT 174645 SOS 24699 HAS SOPS 24699 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22852.699
AT ITER 8572 NEW BEST:: SOT 174645 SOS 24719 HAS SOPS 24719 HAS SOUS 22818 HAS SOUPS 22818 WITH SCORE 22842.719
AT ITER 8615 NEW BEST:: SOT 174659 SOS 24585 HAS SOPS 24585 HAS SOUS 22770 HAS SOUPS 22770 WITH SCORE 22794.585
AT ITER 8706 NEW BEST:: SOT 174659 SOS 24585 HAS SOPS 24585 HAS SOUS 22751 HAS SOUPS 22751 WITH SCORE 22775.585
AT ITER 8710 NEW BEST:: SOT 174647 SOS 24535 HAS SOPS 24535 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22763.535
AT ITER 8756 NEW BEST:: SOT 174647 SOS 24514 HAS SOPS 24514 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22757.514
AT ITER 8758 NEW BEST:: SOT 174619 SOS 24510 HAS SOPS 24510 HAS SOUS 22677 HAS SOUPS 22677 WITH SCORE 22701.51
AT ITER 8775 NEW BEST:: SOT 174617 SOS 24508 HAS SOPS 24508 HAS SOUS 22675 HAS SOUPS 22675 WITH SCORE 22699.508
AT ITER 8797 NEW BEST:: SOT 174609 SOS 24488 HAS SOPS 24488 HAS SOUS 22655 HAS SOUPS 22655 WITH SCORE 22679.488
AT ITER 8934 NEW BEST:: SOT 174608 SOS 24487 HAS SOPS 24487 HAS SOUS 22654 HAS SOUPS 22654 WITH SCORE 22678.487
AT ITER 8969 NEW BEST:: SOT 174605 SOS 24486 HAS SOPS 24486 HAS SOUS 22653 HAS SOUPS 22653 WITH SCORE 22677.486
AT ITER 8970 NEW BEST:: SOT 174605 SOS 24478 HAS SOPS 24478 HAS SOUS 22645 HAS SOUPS 22645 WITH SCORE 22669.478
AT ITER 8987 NEW BEST:: SOT 174607 SOS 24482 HAS SOPS 24482 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22656.482
AT ITER 9015 NEW BEST:: SOT 174607 SOS 24474 HAS SOPS 24474 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22656.474
AT ITER 9052 NEW BEST:: SOT 174597 SOS 24378 HAS SOPS 24378 HAS SOUS 22617 HAS SOUPS 22617 WITH SCORE 22641.378
AT ITER 9146 NEW BEST:: SOT 174596 SOS 24376 HAS SOPS 24376 HAS SOUS 22615 HAS SOUPS 22615 WITH SCORE 22639.376
AT ITER 9149 NEW BEST:: SOT 174595 SOS 24374 HAS SOPS 24374 HAS SOUS 22613 HAS SOUPS 22613 WITH SCORE 22637.374
AT ITER 9152 NEW BEST:: SOT 174595 SOS 24374 HAS SOPS 24374 HAS SOUS 22600 HAS SOUPS 22600 WITH SCORE 22624.374
AT ITER 9170 NEW BEST:: SOT 174579 SOS 24329 HAS SOPS 24329 HAS SOUS 22568 HAS SOUPS 22568 WITH SCORE 22592.329
AT ITER 9203 NEW BEST:: SOT 174579 SOS 24348 HAS SOPS 24348 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22569.348
AT ITER 9219 NEW BEST:: SOT 174579 SOS 24348 HAS SOPS 24348 HAS SOUS 22542 HAS SOUPS 22542 WITH SCORE 22566.348
AT ITER 9245 NEW BEST:: SOT 174567 SOS 24348 HAS SOPS 24348 HAS SOUS 22530 HAS SOUPS 22530 WITH SCORE 22554.348
AT ITER 9322 NEW BEST:: SOT 174567 SOS 24338 HAS SOPS 24338 HAS SOUS 22530 HAS SOUPS 22530 WITH SCORE 22554.338
AT ITER 9402 NEW BEST:: SOT 174569 SOS 24329 HAS SOPS 24329 HAS SOUS 22521 HAS SOUPS 22521 WITH SCORE 22545.329
AT ITER 9428 NEW BEST:: SOT 174545 SOS 24330 HAS SOPS 24330 HAS SOUS 22511 HAS SOUPS 22511 WITH SCORE 22535.33
AT ITER 9452 NEW BEST:: SOT 174545 SOS 24266 HAS SOPS 24266 HAS SOUS 22511 HAS SOUPS 22511 WITH SCORE 22535.266
AT ITER 9479 NEW BEST:: SOT 174540 SOS 24255 HAS SOPS 24255 HAS SOUS 22500 HAS SOUPS 22500 WITH SCORE 22524.255
AT ITER 9512 NEW BEST:: SOT 174570 SOS 24250 HAS SOPS 24250 HAS SOUS 22495 HAS SOUPS 22495 WITH SCORE 22519.25
AT ITER 9515 NEW BEST:: SOT 174558 SOS 24238 HAS SOPS 24238 HAS SOUS 22483 HAS SOUPS 22483 WITH SCORE 22507.238
AT ITER 9544 NEW BEST:: SOT 174548 SOS 24218 HAS SOPS 24218 HAS SOUS 22463 HAS SOUPS 22463 WITH SCORE 22487.218
AT ITER 9570 NEW BEST:: SOT 174548 SOS 24218 HAS SOPS 24218 HAS SOUS 22462 HAS SOUPS 22462 WITH SCORE 22486.218
AT ITER 9604 NEW BEST:: SOT 174527 SOS 24176 HAS SOPS 24176 HAS SOUS 22420 HAS SOUPS 22420 WITH SCORE 22444.176
AT ITER 9621 NEW BEST:: SOT 174502 SOS 24151 HAS SOPS 24151 HAS SOUS 22395 HAS SOUPS 22395 WITH SCORE 22419.151
AT ITER 9638 NEW BEST:: SOT 174515 SOS 24140 HAS SOPS 24140 HAS SOUS 22384 HAS SOUPS 22384 WITH SCORE 22408.14
AT ITER 9673 NEW BEST:: SOT 174506 SOS 24122 HAS SOPS 24122 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22385.122
AT ITER 9727 NEW BEST:: SOT 174504 SOS 24154 HAS SOPS 24154 HAS SOUS 22359 HAS SOUPS 22359 WITH SCORE 22383.154
AT ITER 9812 NEW BEST:: SOT 174503 SOS 24153 HAS SOPS 24153 HAS SOUS 22358 HAS SOUPS 22358 WITH SCORE 22382.153
AT ITER 9830 NEW BEST:: SOT 174514 SOS 24163 HAS SOPS 24163 HAS SOUS 22356 HAS SOUPS 22356 WITH SCORE 22380.163
AT ITER 9861 NEW BEST:: SOT 174492 SOS 24086 HAS SOPS 24086 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22303.086
AT ITER 9878 NEW BEST:: SOT 174492 SOS 24082 HAS SOPS 24082 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22299.082
AT ITER 9888 NEW BEST:: SOT 174492 SOS 24078 HAS SOPS 24078 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22295.078
AT ITER 9902 NEW BEST:: SOT 174483 SOS 24076 HAS SOPS 24076 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22293.076
AT ITER 9922 NEW BEST:: SOT 174483 SOS 24076 HAS SOPS 24076 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22263.076
AT ITER 9943 NEW BEST:: SOT 174476 SOS 24062 HAS SOPS 24062 HAS SOUS 22225 HAS SOUPS 22225 WITH SCORE 22249.062
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3747728 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149688 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="AutoFlight-PT-06b"
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 AutoFlight-PT-06b, 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 r003-oct2-167813590900464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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