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.r355-smll-167891803500416.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 SemanticWebServices-PT-S128P18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803500416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 672K
-rw-r--r-- 1 mcc users 6.9K Feb 26 10:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 10:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 10:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 10:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 10:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 10:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 10:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 10:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 261K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679936999116

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=SemanticWebServices-PT-S128P18
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SemanticWebServices (PT), instance S128P18
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: 184 places, 466 transitions, 1873 arcs.
AT ITER 0 NEW BEST:: SOT 72443 SOS 52389 HAS SOPS 44269 HAS SOUS 19177 HAS SOUPS 16795 WITH SCORE 16847.389
AT ITER 2 NEW BEST:: SOT 72443 SOS 52371 HAS SOPS 44269 HAS SOUS 19168 HAS SOUPS 16795 WITH SCORE 16847.371
AT ITER 3 NEW BEST:: SOT 72443 SOS 51623 HAS SOPS 43443 HAS SOUS 18772 HAS SOUPS 16360 WITH SCORE 16411.623
AT ITER 7 NEW BEST:: SOT 72443 SOS 51507 HAS SOPS 43327 HAS SOUS 18768 HAS SOUPS 16356 WITH SCORE 16407.507
AT ITER 8 NEW BEST:: SOT 72443 SOS 51507 HAS SOPS 43229 HAS SOUS 18670 HAS SOUPS 16209 WITH SCORE 16260.507
AT ITER 9 NEW BEST:: SOT 72443 SOS 51523 HAS SOPS 43161 HAS SOUS 18620 HAS SOUPS 16138 WITH SCORE 16189.523
AT ITER 11 NEW BEST:: SOT 72767 SOS 51201 HAS SOPS 42599 HAS SOUS 18481 HAS SOUPS 15879 WITH SCORE 15930.201
AT ITER 14 NEW BEST:: SOT 72767 SOS 51165 HAS SOPS 42599 HAS SOUS 18481 HAS SOUPS 15879 WITH SCORE 15930.165
AT ITER 18 NEW BEST:: SOT 72767 SOS 51121 HAS SOPS 42415 HAS SOUS 18398 HAS SOUPS 15761 WITH SCORE 15812.121
AT ITER 21 NEW BEST:: SOT 72767 SOS 51103 HAS SOPS 42415 HAS SOUS 18389 HAS SOUPS 15761 WITH SCORE 15812.103
AT ITER 23 NEW BEST:: SOT 72767 SOS 50883 HAS SOPS 42249 HAS SOUS 18309 HAS SOUPS 15708 WITH SCORE 15758.883
AT ITER 27 NEW BEST:: SOT 72767 SOS 50871 HAS SOPS 42185 HAS SOUS 18303 HAS SOUPS 15676 WITH SCORE 15726.871
AT ITER 29 NEW BEST:: SOT 73295 SOS 50387 HAS SOPS 41685 HAS SOUS 17360 HAS SOUPS 14725 WITH SCORE 14775.387
AT ITER 32 NEW BEST:: SOT 73295 SOS 50351 HAS SOPS 41649 HAS SOUS 17342 HAS SOUPS 14707 WITH SCORE 14757.351
AT ITER 33 NEW BEST:: SOT 73295 SOS 49891 HAS SOPS 41147 HAS SOUS 16822 HAS SOUPS 14166 WITH SCORE 14215.891
AT ITER 35 NEW BEST:: SOT 73289 SOS 49184 HAS SOPS 40702 HAS SOUS 16331 HAS SOUPS 13675 WITH SCORE 13724.184
AT ITER 40 NEW BEST:: SOT 73289 SOS 49154 HAS SOPS 40702 HAS SOUS 16331 HAS SOUPS 13675 WITH SCORE 13724.154
AT ITER 43 NEW BEST:: SOT 65363 SOS 42900 HAS SOPS 35952 HAS SOUS 13196 HAS SOUPS 10944 WITH SCORE 10986.9
AT ITER 46 NEW BEST:: SOT 65859 SOS 43418 HAS SOPS 36364 HAS SOUS 13133 HAS SOUPS 10828 WITH SCORE 10871.418
AT ITER 50 NEW BEST:: SOT 65859 SOS 43458 HAS SOPS 36346 HAS SOUS 13153 HAS SOUPS 10819 WITH SCORE 10862.458
AT ITER 54 NEW BEST:: SOT 65859 SOS 43672 HAS SOPS 36560 HAS SOUS 12820 HAS SOUPS 10486 WITH SCORE 10529.672
AT ITER 56 NEW BEST:: SOT 65811 SOS 43448 HAS SOPS 36688 HAS SOUS 12722 HAS SOUPS 10476 WITH SCORE 10519.448
AT ITER 57 NEW BEST:: SOT 65811 SOS 42818 HAS SOPS 35980 HAS SOUS 12654 HAS SOUPS 10369 WITH SCORE 10411.818
AT ITER 58 NEW BEST:: SOT 65777 SOS 42918 HAS SOPS 36080 HAS SOUS 12602 HAS SOUPS 10317 WITH SCORE 10359.918
AT ITER 64 NEW BEST:: SOT 65777 SOS 42812 HAS SOPS 35898 HAS SOUS 12550 HAS SOUPS 10246 WITH SCORE 10288.812
AT ITER 66 NEW BEST:: SOT 65773 SOS 42596 HAS SOPS 35836 HAS SOUS 12440 HAS SOUPS 10213 WITH SCORE 10255.596
AT ITER 67 NEW BEST:: SOT 65943 SOS 41822 HAS SOPS 35008 HAS SOUS 12025 HAS SOUPS 9771 WITH SCORE 9812.822
AT ITER 69 NEW BEST:: SOT 65943 SOS 41792 HAS SOPS 34992 HAS SOUS 12010 HAS SOUPS 9763 WITH SCORE 9804.792
AT ITER 70 NEW BEST:: SOT 66309 SOS 40974 HAS SOPS 34638 HAS SOUS 11978 HAS SOUPS 9731 WITH SCORE 9771.974
AT ITER 74 NEW BEST:: SOT 66241 SOS 40906 HAS SOPS 34570 HAS SOUS 11978 HAS SOUPS 9731 WITH SCORE 9771.906
AT ITER 84 NEW BEST:: SOT 66241 SOS 40900 HAS SOPS 34532 HAS SOUS 11975 HAS SOUPS 9712 WITH SCORE 9752.9
AT ITER 86 NEW BEST:: SOT 66241 SOS 40770 HAS SOPS 34410 HAS SOUS 11971 HAS SOUPS 9712 WITH SCORE 9752.77
AT ITER 88 NEW BEST:: SOT 66241 SOS 40516 HAS SOPS 34410 HAS SOUS 11947 HAS SOUPS 9712 WITH SCORE 9752.516
AT ITER 92 NEW BEST:: SOT 66241 SOS 40482 HAS SOPS 34410 HAS SOUS 11930 HAS SOUPS 9712 WITH SCORE 9752.482
AT ITER 93 NEW BEST:: SOT 58511 SOS 45920 HAS SOPS 45084 HAS SOUS 9426 HAS SOUPS 9122 WITH SCORE 9167.92
AT ITER 96 NEW BEST:: SOT 58439 SOS 45824 HAS SOPS 45004 HAS SOUS 9382 HAS SOUPS 9082 WITH SCORE 9127.824
AT ITER 98 NEW BEST:: SOT 58407 SOS 45824 HAS SOPS 45004 HAS SOUS 9366 HAS SOUPS 9066 WITH SCORE 9111.824
AT ITER 102 NEW BEST:: SOT 58357 SOS 45774 HAS SOPS 44954 HAS SOUS 9327 HAS SOUPS 9027 WITH SCORE 9072.774
AT ITER 103 NEW BEST:: SOT 58313 SOS 45730 HAS SOPS 44910 HAS SOUS 9239 HAS SOUPS 8939 WITH SCORE 8984.73
AT ITER 108 NEW BEST:: SOT 58333 SOS 45746 HAS SOPS 44930 HAS SOUS 9231 HAS SOUPS 8931 WITH SCORE 8976.746
AT ITER 111 NEW BEST:: SOT 59577 SOS 41682 HAS SOPS 39480 HAS SOUS 9538 HAS SOUPS 8720 WITH SCORE 8761.682
AT ITER 115 NEW BEST:: SOT 59551 SOS 41484 HAS SOPS 39454 HAS SOUS 9424 HAS SOUPS 8654 WITH SCORE 8695.484
AT ITER 116 NEW BEST:: SOT 59599 SOS 41532 HAS SOPS 39502 HAS SOUS 9420 HAS SOUPS 8650 WITH SCORE 8691.532
AT ITER 117 NEW BEST:: SOT 59389 SOS 41424 HAS SOPS 39394 HAS SOUS 9390 HAS SOUPS 8620 WITH SCORE 8661.424
AT ITER 122 NEW BEST:: SOT 59393 SOS 41442 HAS SOPS 39398 HAS SOUS 9394 HAS SOUPS 8617 WITH SCORE 8658.442
AT ITER 128 NEW BEST:: SOT 59465 SOS 41532 HAS SOPS 39192 HAS SOUS 9236 HAS SOUPS 8438 WITH SCORE 8479.532
AT ITER 132 NEW BEST:: SOT 59465 SOS 41496 HAS SOPS 39192 HAS SOUS 9213 HAS SOUPS 8433 WITH SCORE 8474.496
AT ITER 144 NEW BEST:: SOT 59493 SOS 41562 HAS SOPS 39220 HAS SOUS 9231 HAS SOUPS 8432 WITH SCORE 8473.562
AT ITER 150 NEW BEST:: SOT 59484 SOS 41544 HAS SOPS 39202 HAS SOUS 9204 HAS SOUPS 8405 WITH SCORE 8446.544
AT ITER 151 NEW BEST:: SOT 59666 SOS 41304 HAS SOPS 39026 HAS SOUS 9030 HAS SOUPS 8263 WITH SCORE 8304.304
AT ITER 152 NEW BEST:: SOT 57590 SOS 39305 HAS SOPS 37027 HAS SOUS 8710 HAS SOUPS 7943 WITH SCORE 7982.305
AT ITER 153 NEW BEST:: SOT 57590 SOS 39303 HAS SOPS 37027 HAS SOUS 8709 HAS SOUPS 7943 WITH SCORE 7982.303
AT ITER 154 NEW BEST:: SOT 57728 SOS 39353 HAS SOPS 37085 HAS SOUS 8664 HAS SOUPS 7902 WITH SCORE 7941.353
AT ITER 157 NEW BEST:: SOT 57706 SOS 39175 HAS SOPS 36985 HAS SOUS 8575 HAS SOUPS 7852 WITH SCORE 7891.175
AT ITER 160 NEW BEST:: SOT 57626 SOS 39067 HAS SOPS 36891 HAS SOUS 8496 HAS SOUPS 7780 WITH SCORE 7819.067
AT ITER 162 NEW BEST:: SOT 57520 SOS 38949 HAS SOPS 36779 HAS SOUS 8359 HAS SOUPS 7646 WITH SCORE 7684.949
AT ITER 169 NEW BEST:: SOT 57386 SOS 38831 HAS SOPS 36661 HAS SOUS 8309 HAS SOUPS 7596 WITH SCORE 7634.831
AT ITER 170 NEW BEST:: SOT 57654 SOS 38597 HAS SOPS 36355 HAS SOUS 8283 HAS SOUPS 7534 WITH SCORE 7572.597
AT ITER 172 NEW BEST:: SOT 57654 SOS 38533 HAS SOPS 36355 HAS SOUS 8221 HAS SOUPS 7504 WITH SCORE 7542.533
AT ITER 183 NEW BEST:: SOT 57710 SOS 38509 HAS SOPS 36331 HAS SOUS 8221 HAS SOUPS 7504 WITH SCORE 7542.509
AT ITER 187 NEW BEST:: SOT 57706 SOS 38505 HAS SOPS 36327 HAS SOUS 8192 HAS SOUPS 7475 WITH SCORE 7513.505
AT ITER 188 NEW BEST:: SOT 57668 SOS 38467 HAS SOPS 36289 HAS SOUS 8173 HAS SOUPS 7456 WITH SCORE 7494.467
AT ITER 190 NEW BEST:: SOT 57544 SOS 38319 HAS SOPS 36165 HAS SOUS 8037 HAS SOUPS 7332 WITH SCORE 7370.319
AT ITER 192 NEW BEST:: SOT 57589 SOS 38441 HAS SOPS 36199 HAS SOUS 8014 HAS SOUPS 7309 WITH SCORE 7347.441
AT ITER 193 NEW BEST:: SOT 57657 SOS 38509 HAS SOPS 36267 HAS SOUS 7992 HAS SOUPS 7287 WITH SCORE 7325.509
AT ITER 196 NEW BEST:: SOT 57387 SOS 38239 HAS SOPS 35997 HAS SOUS 7956 HAS SOUPS 7251 WITH SCORE 7289.239
AT ITER 204 NEW BEST:: SOT 57167 SOS 38019 HAS SOPS 35777 HAS SOUS 7945 HAS SOUPS 7240 WITH SCORE 7278.019
AT ITER 206 NEW BEST:: SOT 57175 SOS 38063 HAS SOPS 35785 HAS SOUS 7958 HAS SOUPS 7235 WITH SCORE 7273.063
AT ITER 210 NEW BEST:: SOT 57175 SOS 38051 HAS SOPS 35783 HAS SOUS 7952 HAS SOUPS 7234 WITH SCORE 7272.051
AT ITER 213 NEW BEST:: SOT 56935 SOS 37821 HAS SOPS 35553 HAS SOUS 7912 HAS SOUPS 7194 WITH SCORE 7231.821
AT ITER 215 NEW BEST:: SOT 56887 SOS 37699 HAS SOPS 35505 HAS SOUS 7802 HAS SOUPS 7121 WITH SCORE 7158.699
AT ITER 217 NEW BEST:: SOT 57031 SOS 37713 HAS SOPS 35519 HAS SOUS 7727 HAS SOUPS 7046 WITH SCORE 7083.713
AT ITER 219 NEW BEST:: SOT 56827 SOS 37509 HAS SOPS 35315 HAS SOUS 7633 HAS SOUPS 6952 WITH SCORE 6989.509
AT ITER 222 NEW BEST:: SOT 56717 SOS 37575 HAS SOPS 35381 HAS SOUS 7625 HAS SOUPS 6944 WITH SCORE 6981.575
AT ITER 223 NEW BEST:: SOT 56697 SOS 37555 HAS SOPS 35361 HAS SOUS 7605 HAS SOUPS 6924 WITH SCORE 6961.555
AT ITER 224 NEW BEST:: SOT 56697 SOS 37541 HAS SOPS 35361 HAS SOUS 7598 HAS SOUPS 6924 WITH SCORE 6961.541
AT ITER 227 NEW BEST:: SOT 56417 SOS 37261 HAS SOPS 35081 HAS SOUS 7579 HAS SOUPS 6905 WITH SCORE 6942.261
AT ITER 230 NEW BEST:: SOT 56391 SOS 37235 HAS SOPS 35055 HAS SOUS 7566 HAS SOUPS 6892 WITH SCORE 6929.235
AT ITER 235 NEW BEST:: SOT 56171 SOS 37064 HAS SOPS 34884 HAS SOUS 7430 HAS SOUPS 6756 WITH SCORE 6793.064
AT ITER 242 NEW BEST:: SOT 56163 SOS 37056 HAS SOPS 34876 HAS SOUS 7424 HAS SOUPS 6750 WITH SCORE 6787.056
AT ITER 247 NEW BEST:: SOT 56163 SOS 36996 HAS SOPS 34876 HAS SOUS 7419 HAS SOUPS 6750 WITH SCORE 6786.996
AT ITER 257 NEW BEST:: SOT 56147 SOS 36980 HAS SOPS 34860 HAS SOUS 7411 HAS SOUPS 6742 WITH SCORE 6778.98
AT ITER 258 NEW BEST:: SOT 55999 SOS 36860 HAS SOPS 34712 HAS SOUS 7387 HAS SOUPS 6704 WITH SCORE 6740.86
AT ITER 278 NEW BEST:: SOT 55951 SOS 36796 HAS SOPS 34648 HAS SOUS 7346 HAS SOUPS 6663 WITH SCORE 6699.796
AT ITER 279 NEW BEST:: SOT 55927 SOS 36792 HAS SOPS 34624 HAS SOUS 7356 HAS SOUPS 6663 WITH SCORE 6699.792
AT ITER 282 NEW BEST:: SOT 56071 SOS 36936 HAS SOPS 34768 HAS SOUS 7320 HAS SOUPS 6627 WITH SCORE 6663.936
AT ITER 286 NEW BEST:: SOT 56235 SOS 37020 HAS SOPS 34852 HAS SOUS 7307 HAS SOUPS 6614 WITH SCORE 6651.02
AT ITER 289 NEW BEST:: SOT 56337 SOS 36168 HAS SOPS 33964 HAS SOUS 7308 HAS SOUPS 6597 WITH SCORE 6633.168
AT ITER 299 NEW BEST:: SOT 56115 SOS 35830 HAS SOPS 33494 HAS SOUS 7314 HAS SOUPS 6570 WITH SCORE 6605.83
AT ITER 318 NEW BEST:: SOT 56155 SOS 34758 HAS SOPS 32306 HAS SOUS 7350 HAS SOUPS 6548 WITH SCORE 6582.758
AT ITER 326 NEW BEST:: SOT 56137 SOS 34740 HAS SOPS 32288 HAS SOUS 7332 HAS SOUPS 6530 WITH SCORE 6564.74
AT ITER 334 NEW BEST:: SOT 56531 SOS 35134 HAS SOPS 32682 HAS SOUS 7293 HAS SOUPS 6491 WITH SCORE 6526.134
AT ITER 349 NEW BEST:: SOT 56585 SOS 35088 HAS SOPS 32592 HAS SOUS 7302 HAS SOUPS 6478 WITH SCORE 6513.088
AT ITER 358 NEW BEST:: SOT 56615 SOS 35132 HAS SOPS 32622 HAS SOUS 7307 HAS SOUPS 6476 WITH SCORE 6511.132
AT ITER 363 NEW BEST:: SOT 56615 SOS 35130 HAS SOPS 32624 HAS SOUS 7306 HAS SOUPS 6476 WITH SCORE 6511.13
AT ITER 365 NEW BEST:: SOT 57203 SOS 35750 HAS SOPS 33244 HAS SOUS 7304 HAS SOUPS 6474 WITH SCORE 6509.75
AT ITER 373 NEW BEST:: SOT 57193 SOS 35740 HAS SOPS 33234 HAS SOUS 7299 HAS SOUPS 6469 WITH SCORE 6504.74
AT ITER 379 NEW BEST:: SOT 57049 SOS 35764 HAS SOPS 33258 HAS SOUS 7259 HAS SOUPS 6429 WITH SCORE 6464.764
AT ITER 380 NEW BEST:: SOT 56715 SOS 35382 HAS SOPS 32876 HAS SOUS 7088 HAS SOUPS 6258 WITH SCORE 6293.382
AT ITER 395 NEW BEST:: SOT 56637 SOS 35402 HAS SOPS 32798 HAS SOUS 7065 HAS SOUPS 6235 WITH SCORE 6270.402
AT ITER 405 NEW BEST:: SOT 56741 SOS 35366 HAS SOPS 32762 HAS SOUS 6993 HAS SOUPS 6163 WITH SCORE 6198.366
AT ITER 412 NEW BEST:: SOT 56941 SOS 35566 HAS SOPS 32962 HAS SOUS 6968 HAS SOUPS 6138 WITH SCORE 6173.566
AT ITER 413 NEW BEST:: SOT 56929 SOS 35532 HAS SOPS 32928 HAS SOUS 6940 HAS SOUPS 6110 WITH SCORE 6145.532
AT ITER 416 NEW BEST:: SOT 57421 SOS 35516 HAS SOPS 32832 HAS SOUS 6964 HAS SOUPS 6094 WITH SCORE 6129.516
AT ITER 418 NEW BEST:: SOT 57421 SOS 35460 HAS SOPS 32804 HAS SOUS 6936 HAS SOUPS 6080 WITH SCORE 6115.46
AT ITER 424 NEW BEST:: SOT 57589 SOS 35628 HAS SOPS 32972 HAS SOUS 6927 HAS SOUPS 6071 WITH SCORE 6106.628
AT ITER 428 NEW BEST:: SOT 57757 SOS 35724 HAS SOPS 33104 HAS SOUS 6926 HAS SOUPS 6070 WITH SCORE 6105.724
AT ITER 430 NEW BEST:: SOT 57975 SOS 35914 HAS SOPS 33294 HAS SOUS 6922 HAS SOUPS 6066 WITH SCORE 6101.914
AT ITER 431 NEW BEST:: SOT 57853 SOS 35722 HAS SOPS 33172 HAS SOUS 6790 HAS SOUPS 5969 WITH SCORE 6004.722
AT ITER 432 NEW BEST:: SOT 57853 SOS 35590 HAS SOPS 33062 HAS SOUS 6768 HAS SOUPS 5958 WITH SCORE 5993.59
AT ITER 435 NEW BEST:: SOT 57853 SOS 35542 HAS SOPS 33062 HAS SOUS 6744 HAS SOUPS 5958 WITH SCORE 5993.542
AT ITER 441 NEW BEST:: SOT 57861 SOS 35516 HAS SOPS 33036 HAS SOUS 6721 HAS SOUPS 5935 WITH SCORE 5970.516
AT ITER 449 NEW BEST:: SOT 57815 SOS 35492 HAS SOPS 32964 HAS SOUS 6680 HAS SOUPS 5894 WITH SCORE 5929.492
AT ITER 461 NEW BEST:: SOT 57789 SOS 35466 HAS SOPS 32938 HAS SOUS 6667 HAS SOUPS 5881 WITH SCORE 5916.466
AT ITER 467 NEW BEST:: SOT 57677 SOS 35354 HAS SOPS 32826 HAS SOUS 6667 HAS SOUPS 5881 WITH SCORE 5916.354
AT ITER 473 NEW BEST:: SOT 57633 SOS 34854 HAS SOPS 32152 HAS SOUS 6692 HAS SOUPS 5864 WITH SCORE 5898.854
AT ITER 481 NEW BEST:: SOT 57641 SOS 34862 HAS SOPS 32160 HAS SOUS 6690 HAS SOUPS 5862 WITH SCORE 5896.862
AT ITER 482 NEW BEST:: SOT 57743 SOS 34964 HAS SOPS 32262 HAS SOUS 6676 HAS SOUPS 5848 WITH SCORE 5882.964
AT ITER 500 NEW BEST:: SOT 57743 SOS 34930 HAS SOPS 32262 HAS SOUS 6659 HAS SOUPS 5848 WITH SCORE 5882.93
AT ITER 504 NEW BEST:: SOT 57641 SOS 34860 HAS SOPS 32196 HAS SOUS 6640 HAS SOUPS 5831 WITH SCORE 5865.86
AT ITER 507 NEW BEST:: SOT 58073 SOS 35292 HAS SOPS 32628 HAS SOUS 6597 HAS SOUPS 5788 WITH SCORE 5823.292
AT ITER 508 NEW BEST:: SOT 57959 SOS 35178 HAS SOPS 32514 HAS SOUS 6587 HAS SOUPS 5778 WITH SCORE 5813.178
AT ITER 512 NEW BEST:: SOT 57933 SOS 35152 HAS SOPS 32488 HAS SOUS 6577 HAS SOUPS 5768 WITH SCORE 5803.152
AT ITER 526 NEW BEST:: SOT 57983 SOS 35202 HAS SOPS 32538 HAS SOUS 6575 HAS SOUPS 5766 WITH SCORE 5801.202
AT ITER 539 NEW BEST:: SOT 57979 SOS 35198 HAS SOPS 32534 HAS SOUS 6573 HAS SOUPS 5764 WITH SCORE 5799.198
AT ITER 541 NEW BEST:: SOT 58187 SOS 35366 HAS SOPS 32702 HAS SOUS 6455 HAS SOUPS 5646 WITH SCORE 5681.366
AT ITER 555 NEW BEST:: SOT 58163 SOS 35214 HAS SOPS 32594 HAS SOUS 6379 HAS SOUPS 5592 WITH SCORE 5627.214
AT ITER 558 NEW BEST:: SOT 58151 SOS 35202 HAS SOPS 32582 HAS SOUS 6320 HAS SOUPS 5533 WITH SCORE 5568.202
AT ITER 563 NEW BEST:: SOT 58219 SOS 35174 HAS SOPS 32602 HAS SOUS 6289 HAS SOUPS 5502 WITH SCORE 5537.174
AT ITER 564 NEW BEST:: SOT 58251 SOS 35182 HAS SOPS 32610 HAS SOUS 6281 HAS SOUPS 5494 WITH SCORE 5529.182
AT ITER 573 NEW BEST:: SOT 58251 SOS 35190 HAS SOPS 32568 HAS SOUS 6285 HAS SOUPS 5473 WITH SCORE 5508.19
AT ITER 574 NEW BEST:: SOT 58185 SOS 35146 HAS SOPS 32528 HAS SOUS 6283 HAS SOUPS 5473 WITH SCORE 5508.146
AT ITER 576 NEW BEST:: SOT 58185 SOS 35056 HAS SOPS 32528 HAS SOUS 6279 HAS SOUPS 5473 WITH SCORE 5508.056
AT ITER 581 NEW BEST:: SOT 58147 SOS 35018 HAS SOPS 32490 HAS SOUS 6259 HAS SOUPS 5453 WITH SCORE 5488.018
AT ITER 602 NEW BEST:: SOT 58079 SOS 34862 HAS SOPS 32312 HAS SOUS 6230 HAS SOUPS 5424 WITH SCORE 5458.862
AT ITER 610 NEW BEST:: SOT 57999 SOS 34782 HAS SOPS 32232 HAS SOUS 6190 HAS SOUPS 5384 WITH SCORE 5418.782
AT ITER 613 NEW BEST:: SOT 58047 SOS 34830 HAS SOPS 32280 HAS SOUS 6166 HAS SOUPS 5360 WITH SCORE 5394.83
AT ITER 619 NEW BEST:: SOT 58026 SOS 34776 HAS SOPS 32226 HAS SOUS 6116 HAS SOUPS 5310 WITH SCORE 5344.776
AT ITER 621 NEW BEST:: SOT 57996 SOS 34731 HAS SOPS 32181 HAS SOUS 6071 HAS SOUPS 5265 WITH SCORE 5299.731
AT ITER 623 NEW BEST:: SOT 57997 SOS 34777 HAS SOPS 32227 HAS SOUS 6066 HAS SOUPS 5260 WITH SCORE 5294.777
AT ITER 626 NEW BEST:: SOT 57977 SOS 34757 HAS SOPS 32207 HAS SOUS 6056 HAS SOUPS 5250 WITH SCORE 5284.757
AT ITER 635 NEW BEST:: SOT 57977 SOS 34781 HAS SOPS 32185 HAS SOUS 6062 HAS SOUPS 5239 WITH SCORE 5273.781
AT ITER 648 NEW BEST:: SOT 57889 SOS 34685 HAS SOPS 32089 HAS SOUS 6046 HAS SOUPS 5223 WITH SCORE 5257.685
AT ITER 653 NEW BEST:: SOT 57893 SOS 34689 HAS SOPS 32093 HAS SOUS 6044 HAS SOUPS 5221 WITH SCORE 5255.689
AT ITER 655 NEW BEST:: SOT 57869 SOS 34665 HAS SOPS 32069 HAS SOUS 6036 HAS SOUPS 5213 WITH SCORE 5247.665
AT ITER 658 NEW BEST:: SOT 57869 SOS 34605 HAS SOPS 32039 HAS SOUS 6006 HAS SOUPS 5198 WITH SCORE 5232.605
AT ITER 664 NEW BEST:: SOT 57781 SOS 34517 HAS SOPS 31951 HAS SOUS 5985 HAS SOUPS 5177 WITH SCORE 5211.517
AT ITER 665 NEW BEST:: SOT 57781 SOS 34483 HAS SOPS 31951 HAS SOUS 5985 HAS SOUPS 5177 WITH SCORE 5211.483
AT ITER 675 NEW BEST:: SOT 57735 SOS 34437 HAS SOPS 31905 HAS SOUS 5920 HAS SOUPS 5112 WITH SCORE 5146.437
AT ITER 678 NEW BEST:: SOT 57692 SOS 34392 HAS SOPS 31860 HAS SOUS 5877 HAS SOUPS 5069 WITH SCORE 5103.392
AT ITER 682 NEW BEST:: SOT 57636 SOS 34336 HAS SOPS 31804 HAS SOUS 5848 HAS SOUPS 5040 WITH SCORE 5074.336
AT ITER 683 NEW BEST:: SOT 57634 SOS 34334 HAS SOPS 31802 HAS SOUS 5845 HAS SOUPS 5037 WITH SCORE 5071.334
AT ITER 690 NEW BEST:: SOT 57634 SOS 34326 HAS SOPS 31802 HAS SOUS 5844 HAS SOUPS 5037 WITH SCORE 5071.326
AT ITER 692 NEW BEST:: SOT 57716 SOS 34408 HAS SOPS 31884 HAS SOUS 5840 HAS SOUPS 5033 WITH SCORE 5067.408
AT ITER 715 NEW BEST:: SOT 57696 SOS 34388 HAS SOPS 31864 HAS SOUS 5831 HAS SOUPS 5024 WITH SCORE 5058.388
AT ITER 736 NEW BEST:: SOT 57690 SOS 34382 HAS SOPS 31858 HAS SOUS 5829 HAS SOUPS 5022 WITH SCORE 5056.382
AT ITER 737 NEW BEST:: SOT 57686 SOS 34282 HAS SOPS 31812 HAS SOUS 5769 HAS SOUPS 4989 WITH SCORE 5023.282
AT ITER 744 NEW BEST:: SOT 57686 SOS 34194 HAS SOPS 31812 HAS SOUS 5725 HAS SOUPS 4989 WITH SCORE 5023.194
AT ITER 754 NEW BEST:: SOT 57638 SOS 34146 HAS SOPS 31764 HAS SOUS 5709 HAS SOUPS 4973 WITH SCORE 5007.146
AT ITER 755 NEW BEST:: SOT 57734 SOS 34242 HAS SOPS 31860 HAS SOUS 5683 HAS SOUPS 4947 WITH SCORE 4981.242
AT ITER 761 NEW BEST:: SOT 57554 SOS 34062 HAS SOPS 31680 HAS SOUS 5628 HAS SOUPS 4892 WITH SCORE 4926.062
AT ITER 769 NEW BEST:: SOT 57538 SOS 34028 HAS SOPS 31664 HAS SOUS 5607 HAS SOUPS 4880 WITH SCORE 4914.028
AT ITER 775 NEW BEST:: SOT 57530 SOS 34020 HAS SOPS 31656 HAS SOUS 5599 HAS SOUPS 4872 WITH SCORE 4906.02
AT ITER 777 NEW BEST:: SOT 57530 SOS 34012 HAS SOPS 31656 HAS SOUS 5595 HAS SOUPS 4872 WITH SCORE 4906.012
AT ITER 781 NEW BEST:: SOT 57530 SOS 34000 HAS SOPS 31656 HAS SOUS 5592 HAS SOUPS 4872 WITH SCORE 4906.0
AT ITER 785 NEW BEST:: SOT 57668 SOS 34138 HAS SOPS 31794 HAS SOUS 5564 HAS SOUPS 4844 WITH SCORE 4878.138
AT ITER 791 NEW BEST:: SOT 57370 SOS 33840 HAS SOPS 31496 HAS SOUS 5548 HAS SOUPS 4828 WITH SCORE 4861.84
AT ITER 800 NEW BEST:: SOT 57370 SOS 33826 HAS SOPS 31478 HAS SOUS 5539 HAS SOUPS 4819 WITH SCORE 4852.826
AT ITER 818 NEW BEST:: SOT 57314 SOS 33770 HAS SOPS 31422 HAS SOUS 5511 HAS SOUPS 4791 WITH SCORE 4824.77
AT ITER 821 NEW BEST:: SOT 57204 SOS 33660 HAS SOPS 31312 HAS SOUS 5478 HAS SOUPS 4758 WITH SCORE 4791.66
AT ITER 851 NEW BEST:: SOT 57204 SOS 33624 HAS SOPS 31288 HAS SOUS 5472 HAS SOUPS 4758 WITH SCORE 4791.624
AT ITER 870 NEW BEST:: SOT 57204 SOS 33614 HAS SOPS 31288 HAS SOUS 5467 HAS SOUPS 4758 WITH SCORE 4791.614
AT ITER 875 NEW BEST:: SOT 57204 SOS 33628 HAS SOPS 31276 HAS SOUS 5474 HAS SOUPS 4752 WITH SCORE 4785.628
AT ITER 883 NEW BEST:: SOT 57162 SOS 33602 HAS SOPS 31250 HAS SOUS 5453 HAS SOUPS 4731 WITH SCORE 4764.602
AT ITER 918 NEW BEST:: SOT 56946 SOS 33392 HAS SOPS 31040 HAS SOUS 5405 HAS SOUPS 4683 WITH SCORE 4716.392
AT ITER 945 NEW BEST:: SOT 56818 SOS 33264 HAS SOPS 30912 HAS SOUS 5405 HAS SOUPS 4683 WITH SCORE 4716.264
AT ITER 949 NEW BEST:: SOT 56625 SOS 33071 HAS SOPS 30719 HAS SOUS 5396 HAS SOUPS 4674 WITH SCORE 4707.071
AT ITER 950 NEW BEST:: SOT 56575 SOS 33009 HAS SOPS 30615 HAS SOUS 5340 HAS SOUPS 4597 WITH SCORE 4630.009
AT ITER 956 NEW BEST:: SOT 56569 SOS 32963 HAS SOPS 30557 HAS SOUS 5317 HAS SOUPS 4568 WITH SCORE 4600.963
AT ITER 964 NEW BEST:: SOT 56569 SOS 32963 HAS SOPS 30557 HAS SOUS 5309 HAS SOUPS 4560 WITH SCORE 4592.963
AT ITER 966 NEW BEST:: SOT 56543 SOS 32931 HAS SOPS 30525 HAS SOUS 5280 HAS SOUPS 4531 WITH SCORE 4563.931
AT ITER 968 NEW BEST:: SOT 56531 SOS 32919 HAS SOPS 30513 HAS SOUS 5268 HAS SOUPS 4519 WITH SCORE 4551.919
AT ITER 976 NEW BEST:: SOT 56531 SOS 32907 HAS SOPS 30507 HAS SOUS 5262 HAS SOUPS 4516 WITH SCORE 4548.907
AT ITER 981 NEW BEST:: SOT 56531 SOS 32839 HAS SOPS 30439 HAS SOUS 5262 HAS SOUPS 4516 WITH SCORE 4548.839
AT ITER 982 NEW BEST:: SOT 56531 SOS 32675 HAS SOPS 30395 HAS SOUS 5210 HAS SOUPS 4494 WITH SCORE 4526.675
AT ITER 986 NEW BEST:: SOT 56531 SOS 32647 HAS SOPS 30377 HAS SOUS 5196 HAS SOUPS 4485 WITH SCORE 4517.647
AT ITER 991 NEW BEST:: SOT 56531 SOS 32585 HAS SOPS 30365 HAS SOUS 5184 HAS SOUPS 4479 WITH SCORE 4511.585
AT ITER 994 NEW BEST:: SOT 56501 SOS 32555 HAS SOPS 30335 HAS SOUS 5183 HAS SOUPS 4478 WITH SCORE 4510.555
AT ITER 996 NEW BEST:: SOT 56471 SOS 32487 HAS SOPS 30317 HAS SOUS 5149 HAS SOUPS 4469 WITH SCORE 4501.487
AT ITER 1007 NEW BEST:: SOT 56471 SOS 32577 HAS SOPS 30313 HAS SOUS 5175 HAS SOUPS 4467 WITH SCORE 4499.577
AT ITER 1016 NEW BEST:: SOT 56471 SOS 32577 HAS SOPS 30313 HAS SOUS 5127 HAS SOUPS 4419 WITH SCORE 4451.577
AT ITER 1035 NEW BEST:: SOT 56521 SOS 32583 HAS SOPS 30341 HAS SOUS 5124 HAS SOUPS 4416 WITH SCORE 4448.583
AT ITER 1042 NEW BEST:: SOT 56521 SOS 32579 HAS SOPS 30341 HAS SOUS 5122 HAS SOUPS 4416 WITH SCORE 4448.579
AT ITER 1046 NEW BEST:: SOT 56469 SOS 32527 HAS SOPS 30289 HAS SOUS 5118 HAS SOUPS 4412 WITH SCORE 4444.527
AT ITER 1057 NEW BEST:: SOT 56441 SOS 32499 HAS SOPS 30261 HAS SOUS 5073 HAS SOUPS 4367 WITH SCORE 4399.499
AT ITER 1075 NEW BEST:: SOT 56441 SOS 32441 HAS SOPS 30251 HAS SOUS 5063 HAS SOUPS 4362 WITH SCORE 4394.441
AT ITER 1077 NEW BEST:: SOT 56423 SOS 32423 HAS SOPS 30233 HAS SOUS 5062 HAS SOUPS 4361 WITH SCORE 4393.423
AT ITER 1090 NEW BEST:: SOT 56423 SOS 32417 HAS SOPS 30233 HAS SOUS 5059 HAS SOUPS 4361 WITH SCORE 4393.417
AT ITER 1092 NEW BEST:: SOT 56379 SOS 32373 HAS SOPS 30189 HAS SOUS 5019 HAS SOUPS 4321 WITH SCORE 4353.373
AT ITER 1093 NEW BEST:: SOT 56379 SOS 32323 HAS SOPS 30189 HAS SOUS 4994 HAS SOUPS 4321 WITH SCORE 4353.323
AT ITER 1095 NEW BEST:: SOT 56379 SOS 32321 HAS SOPS 30189 HAS SOUS 4993 HAS SOUPS 4321 WITH SCORE 4353.321
AT ITER 1105 NEW BEST:: SOT 56379 SOS 32231 HAS SOPS 30189 HAS SOUS 4944 HAS SOUPS 4317 WITH SCORE 4349.231
AT ITER 1122 NEW BEST:: SOT 56350 SOS 32219 HAS SOPS 30177 HAS SOUS 4937 HAS SOUPS 4310 WITH SCORE 4342.219
AT ITER 1128 NEW BEST:: SOT 56341 SOS 32213 HAS SOPS 30171 HAS SOUS 4937 HAS SOUPS 4310 WITH SCORE 4342.213
AT ITER 1129 NEW BEST:: SOT 56283 SOS 32155 HAS SOPS 30113 HAS SOUS 4898 HAS SOUPS 4271 WITH SCORE 4303.155
AT ITER 1132 NEW BEST:: SOT 56283 SOS 32155 HAS SOPS 30113 HAS SOUS 4895 HAS SOUPS 4268 WITH SCORE 4300.155
AT ITER 1149 NEW BEST:: SOT 56263 SOS 32135 HAS SOPS 30093 HAS SOUS 4884 HAS SOUPS 4257 WITH SCORE 4289.135
AT ITER 1155 NEW BEST:: SOT 56263 SOS 32131 HAS SOPS 30091 HAS SOUS 4882 HAS SOUPS 4256 WITH SCORE 4288.131
AT ITER 1167 NEW BEST:: SOT 56061 SOS 33585 HAS SOPS 31779 HAS SOUS 4791 HAS SOUPS 4233 WITH SCORE 4266.585
AT ITER 1169 NEW BEST:: SOT 56076 SOS 33603 HAS SOPS 31797 HAS SOUS 4790 HAS SOUPS 4232 WITH SCORE 4265.603
AT ITER 1186 NEW BEST:: SOT 56064 SOS 33591 HAS SOPS 31785 HAS SOUS 4788 HAS SOUPS 4230 WITH SCORE 4263.591
AT ITER 1191 NEW BEST:: SOT 56050 SOS 33535 HAS SOPS 31729 HAS SOUS 4783 HAS SOUPS 4225 WITH SCORE 4258.535
AT ITER 1210 NEW BEST:: SOT 56006 SOS 33517 HAS SOPS 31703 HAS SOUS 4774 HAS SOUPS 4212 WITH SCORE 4245.517
AT ITER 1223 NEW BEST:: SOT 55962 SOS 33473 HAS SOPS 31659 HAS SOUS 4752 HAS SOUPS 4190 WITH SCORE 4223.473
AT ITER 1244 NEW BEST:: SOT 55798 SOS 33309 HAS SOPS 31495 HAS SOUS 4750 HAS SOUPS 4188 WITH SCORE 4221.309
AT ITER 1246 NEW BEST:: SOT 55760 SOS 33271 HAS SOPS 31457 HAS SOUS 4740 HAS SOUPS 4178 WITH SCORE 4211.271
AT ITER 1256 NEW BEST:: SOT 55962 SOS 33473 HAS SOPS 31659 HAS SOUS 4715 HAS SOUPS 4153 WITH SCORE 4186.473
AT ITER 1280 NEW BEST:: SOT 55962 SOS 33441 HAS SOPS 31643 HAS SOUS 4699 HAS SOUPS 4145 WITH SCORE 4178.441
AT ITER 1285 NEW BEST:: SOT 55966 SOS 33445 HAS SOPS 31647 HAS SOUS 4694 HAS SOUPS 4140 WITH SCORE 4173.445
AT ITER 1292 NEW BEST:: SOT 55962 SOS 33441 HAS SOPS 31643 HAS SOUS 4690 HAS SOUPS 4136 WITH SCORE 4169.441
AT ITER 1308 NEW BEST:: SOT 55818 SOS 34679 HAS SOPS 33057 HAS SOUS 4623 HAS SOUPS 4121 WITH SCORE 4155.679
AT ITER 1318 NEW BEST:: SOT 55781 SOS 34647 HAS SOPS 33025 HAS SOUS 4612 HAS SOUPS 4110 WITH SCORE 4144.647
AT ITER 1327 NEW BEST:: SOT 55765 SOS 34631 HAS SOPS 33009 HAS SOUS 4604 HAS SOUPS 4102 WITH SCORE 4136.631
AT ITER 1337 NEW BEST:: SOT 55759 SOS 34622 HAS SOPS 33000 HAS SOUS 4598 HAS SOUPS 4096 WITH SCORE 4130.622
AT ITER 1351 NEW BEST:: SOT 55759 SOS 34622 HAS SOPS 32994 HAS SOUS 4598 HAS SOUPS 4093 WITH SCORE 4127.622
AT ITER 1363 NEW BEST:: SOT 55759 SOS 34636 HAS SOPS 32992 HAS SOUS 4601 HAS SOUPS 4092 WITH SCORE 4126.636
AT ITER 1403 NEW BEST:: SOT 55759 SOS 34626 HAS SOPS 32982 HAS SOUS 4596 HAS SOUPS 4087 WITH SCORE 4121.626
AT ITER 1425 NEW BEST:: SOT 55759 SOS 34626 HAS SOPS 32982 HAS SOUS 4590 HAS SOUPS 4081 WITH SCORE 4115.626
AT ITER 1443 NEW BEST:: SOT 55753 SOS 34620 HAS SOPS 32976 HAS SOUS 4584 HAS SOUPS 4075 WITH SCORE 4109.62
AT ITER 1454 NEW BEST:: SOT 55709 SOS 34576 HAS SOPS 32932 HAS SOUS 4576 HAS SOUPS 4067 WITH SCORE 4101.576
AT ITER 1505 NEW BEST:: SOT 55703 SOS 34570 HAS SOPS 32926 HAS SOUS 4563 HAS SOUPS 4054 WITH SCORE 4088.57
AT ITER 1512 NEW BEST:: SOT 55703 SOS 34562 HAS SOPS 32926 HAS SOUS 4559 HAS SOUPS 4054 WITH SCORE 4088.562
AT ITER 1531 NEW BEST:: SOT 55703 SOS 34500 HAS SOPS 32908 HAS SOUS 4541 HAS SOUPS 4045 WITH SCORE 4079.5
AT ITER 1537 NEW BEST:: SOT 55703 SOS 34490 HAS SOPS 32892 HAS SOUS 4536 HAS SOUPS 4037 WITH SCORE 4071.49
AT ITER 1561 NEW BEST:: SOT 55695 SOS 34482 HAS SOPS 32884 HAS SOUS 4536 HAS SOUPS 4037 WITH SCORE 4071.482
AT ITER 1619 NEW BEST:: SOT 55689 SOS 34476 HAS SOPS 32878 HAS SOUS 4533 HAS SOUPS 4034 WITH SCORE 4068.476
AT ITER 1627 NEW BEST:: SOT 55689 SOS 34476 HAS SOPS 32868 HAS SOUS 4533 HAS SOUPS 4029 WITH SCORE 4063.476
AT ITER 1652 NEW BEST:: SOT 55645 SOS 34432 HAS SOPS 32824 HAS SOUS 4524 HAS SOUPS 4020 WITH SCORE 4054.432
AT ITER 1663 NEW BEST:: SOT 55649 SOS 34436 HAS SOPS 32828 HAS SOUS 4523 HAS SOUPS 4019 WITH SCORE 4053.436
AT ITER 1666 NEW BEST:: SOT 55647 SOS 34433 HAS SOPS 32825 HAS SOUS 4521 HAS SOUPS 4017 WITH SCORE 4051.433
AT ITER 1675 NEW BEST:: SOT 55631 SOS 34417 HAS SOPS 32809 HAS SOUS 4501 HAS SOUPS 3997 WITH SCORE 4031.417
AT ITER 1691 NEW BEST:: SOT 55599 SOS 34399 HAS SOPS 32791 HAS SOUS 4497 HAS SOUPS 3993 WITH SCORE 4027.399
AT ITER 1696 NEW BEST:: SOT 55631 SOS 34431 HAS SOPS 32823 HAS SOUS 4484 HAS SOUPS 3980 WITH SCORE 4014.431
AT ITER 1698 NEW BEST:: SOT 55631 SOS 34367 HAS SOPS 32787 HAS SOUS 4452 HAS SOUPS 3962 WITH SCORE 3996.367
AT ITER 1704 NEW BEST:: SOT 55627 SOS 34363 HAS SOPS 32783 HAS SOUS 4451 HAS SOUPS 3961 WITH SCORE 3995.363
AT ITER 1727 NEW BEST:: SOT 55623 SOS 34359 HAS SOPS 32779 HAS SOUS 4447 HAS SOUPS 3957 WITH SCORE 3991.359
AT ITER 1754 NEW BEST:: SOT 55679 SOS 34415 HAS SOPS 32835 HAS SOUS 4433 HAS SOUPS 3943 WITH SCORE 3977.415
AT ITER 1761 NEW BEST:: SOT 55615 SOS 34351 HAS SOPS 32771 HAS SOUS 4428 HAS SOUPS 3938 WITH SCORE 3972.351
AT ITER 1763 NEW BEST:: SOT 55615 SOS 34351 HAS SOPS 32771 HAS SOUS 4412 HAS SOUPS 3922 WITH SCORE 3956.351
AT ITER 1797 NEW BEST:: SOT 55615 SOS 34351 HAS SOPS 32771 HAS SOUS 4404 HAS SOUPS 3914 WITH SCORE 3948.351
AT ITER 1841 NEW BEST:: SOT 55615 SOS 34345 HAS SOPS 32769 HAS SOUS 4402 HAS SOUPS 3913 WITH SCORE 3947.345
AT ITER 1900 NEW BEST:: SOT 55615 SOS 34319 HAS SOPS 32767 HAS SOUS 4398 HAS SOUPS 3912 WITH SCORE 3946.319
AT ITER 1910 NEW BEST:: SOT 55685 SOS 34390 HAS SOPS 32838 HAS SOUS 4389 HAS SOUPS 3903 WITH SCORE 3937.39
AT ITER 1911 NEW BEST:: SOT 55639 SOS 34320 HAS SOPS 32768 HAS SOUS 4319 HAS SOUPS 3833 WITH SCORE 3867.32
AT ITER 1923 NEW BEST:: SOT 55638 SOS 34319 HAS SOPS 32767 HAS SOUS 4319 HAS SOUPS 3833 WITH SCORE 3867.319
AT ITER 1930 NEW BEST:: SOT 55588 SOS 34269 HAS SOPS 32717 HAS SOUS 4311 HAS SOUPS 3825 WITH SCORE 3859.269
AT ITER 1943 NEW BEST:: SOT 55582 SOS 34263 HAS SOPS 32711 HAS SOUS 4305 HAS SOUPS 3819 WITH SCORE 3853.263
AT ITER 1952 NEW BEST:: SOT 55582 SOS 34237 HAS SOPS 32711 HAS SOUS 4292 HAS SOUPS 3819 WITH SCORE 3853.237
AT ITER 1953 NEW BEST:: SOT 55568 SOS 34223 HAS SOPS 32697 HAS SOUS 4292 HAS SOUPS 3819 WITH SCORE 3853.223
AT ITER 2002 NEW BEST:: SOT 55428 SOS 34083 HAS SOPS 32557 HAS SOUS 4289 HAS SOUPS 3816 WITH SCORE 3850.083
AT ITER 2038 NEW BEST:: SOT 55428 SOS 34083 HAS SOPS 32557 HAS SOUS 4288 HAS SOUPS 3815 WITH SCORE 3849.083
AT ITER 2077 NEW BEST:: SOT 55428 SOS 34145 HAS SOPS 32549 HAS SOUS 4295 HAS SOUPS 3811 WITH SCORE 3845.145
AT ITER 2081 NEW BEST:: SOT 55420 SOS 34137 HAS SOPS 32541 HAS SOUS 4288 HAS SOUPS 3804 WITH SCORE 3838.137
AT ITER 2104 NEW BEST:: SOT 55416 SOS 34133 HAS SOPS 32537 HAS SOUS 4284 HAS SOUPS 3800 WITH SCORE 3834.133
AT ITER 2118 NEW BEST:: SOT 55594 SOS 34311 HAS SOPS 32715 HAS SOUS 4280 HAS SOUPS 3796 WITH SCORE 3830.311
AT ITER 2122 NEW BEST:: SOT 55594 SOS 34309 HAS SOPS 32713 HAS SOUS 4279 HAS SOUPS 3795 WITH SCORE 3829.309
AT ITER 2166 NEW BEST:: SOT 55562 SOS 34277 HAS SOPS 32681 HAS SOUS 4254 HAS SOUPS 3770 WITH SCORE 3804.277
AT ITER 2185 NEW BEST:: SOT 55542 SOS 34263 HAS SOPS 32661 HAS SOUS 4245 HAS SOUPS 3761 WITH SCORE 3795.263
AT ITER 2196 NEW BEST:: SOT 55542 SOS 34263 HAS SOPS 32661 HAS SOUS 4242 HAS SOUPS 3758 WITH SCORE 3792.263
AT ITER 2228 NEW BEST:: SOT 55544 SOS 34265 HAS SOPS 32663 HAS SOUS 4241 HAS SOUPS 3757 WITH SCORE 3791.265
AT ITER 2238 NEW BEST:: SOT 55544 SOS 34279 HAS SOPS 32655 HAS SOUS 4233 HAS SOUPS 3753 WITH SCORE 3787.279
AT ITER 2263 NEW BEST:: SOT 55452 SOS 34187 HAS SOPS 32563 HAS SOUS 4232 HAS SOUPS 3752 WITH SCORE 3786.187
AT ITER 2282 NEW BEST:: SOT 55452 SOS 34187 HAS SOPS 32563 HAS SOUS 4229 HAS SOUPS 3749 WITH SCORE 3783.187
AT ITER 2288 NEW BEST:: SOT 55862 SOS 34597 HAS SOPS 32973 HAS SOUS 4219 HAS SOUPS 3739 WITH SCORE 3773.597
AT ITER 2290 NEW BEST:: SOT 55868 SOS 34603 HAS SOPS 32979 HAS SOUS 4218 HAS SOUPS 3738 WITH SCORE 3772.603
AT ITER 2302 NEW BEST:: SOT 55854 SOS 34589 HAS SOPS 32965 HAS SOUS 4211 HAS SOUPS 3731 WITH SCORE 3765.589
AT ITER 2306 NEW BEST:: SOT 55846 SOS 34581 HAS SOPS 32957 HAS SOUS 4205 HAS SOUPS 3725 WITH SCORE 3759.581
AT ITER 2309 NEW BEST:: SOT 55795 SOS 34526 HAS SOPS 32902 HAS SOUS 4202 HAS SOUPS 3722 WITH SCORE 3756.526
AT ITER 2334 NEW BEST:: SOT 55791 SOS 34522 HAS SOPS 32898 HAS SOUS 4200 HAS SOUPS 3720 WITH SCORE 3754.522
AT ITER 2343 NEW BEST:: SOT 55785 SOS 34516 HAS SOPS 32892 HAS SOUS 4187 HAS SOUPS 3707 WITH SCORE 3741.516
AT ITER 2348 NEW BEST:: SOT 55795 SOS 34526 HAS SOPS 32902 HAS SOUS 4180 HAS SOUPS 3700 WITH SCORE 3734.526
AT ITER 2394 NEW BEST:: SOT 55745 SOS 34476 HAS SOPS 32852 HAS SOUS 4180 HAS SOUPS 3700 WITH SCORE 3734.476
AT ITER 2398 NEW BEST:: SOT 55745 SOS 34426 HAS SOPS 32850 HAS SOUS 4178 HAS SOUPS 3699 WITH SCORE 3733.426
AT ITER 2400 NEW BEST:: SOT 55567 SOS 34248 HAS SOPS 32672 HAS SOUS 4178 HAS SOUPS 3699 WITH SCORE 3733.248
AT ITER 2413 NEW BEST:: SOT 55567 SOS 34238 HAS SOPS 32672 HAS SOUS 4173 HAS SOUPS 3699 WITH SCORE 3733.238
AT ITER 2419 NEW BEST:: SOT 55533 SOS 34204 HAS SOPS 32638 HAS SOUS 4156 HAS SOUPS 3682 WITH SCORE 3716.204
AT ITER 2426 NEW BEST:: SOT 55515 SOS 34186 HAS SOPS 32620 HAS SOUS 4126 HAS SOUPS 3652 WITH SCORE 3686.186
AT ITER 2456 NEW BEST:: SOT 55539 SOS 34210 HAS SOPS 32644 HAS SOUS 4124 HAS SOUPS 3650 WITH SCORE 3684.21
AT ITER 2460 NEW BEST:: SOT 55539 SOS 34210 HAS SOPS 32644 HAS SOUS 4121 HAS SOUPS 3647 WITH SCORE 3681.21
AT ITER 2524 NEW BEST:: SOT 55539 SOS 34206 HAS SOPS 32644 HAS SOUS 4119 HAS SOUPS 3647 WITH SCORE 3681.206
AT ITER 2530 NEW BEST:: SOT 55381 SOS 36136 HAS SOPS 34854 HAS SOUS 4034 HAS SOUPS 3645 WITH SCORE 3681.136
AT ITER 2577 NEW BEST:: SOT 55381 SOS 36126 HAS SOPS 34854 HAS SOUS 4029 HAS SOUPS 3645 WITH SCORE 3681.126
AT ITER 2581 NEW BEST:: SOT 55377 SOS 36122 HAS SOPS 34850 HAS SOUS 4028 HAS SOUPS 3644 WITH SCORE 3680.122
AT ITER 2582 NEW BEST:: SOT 55377 SOS 36116 HAS SOPS 34844 HAS SOUS 4025 HAS SOUPS 3641 WITH SCORE 3677.116
AT ITER 2594 NEW BEST:: SOT 55381 SOS 36120 HAS SOPS 34848 HAS SOUS 4013 HAS SOUPS 3629 WITH SCORE 3665.12
AT ITER 2601 NEW BEST:: SOT 55609 SOS 36348 HAS SOPS 35076 HAS SOUS 3988 HAS SOUPS 3604 WITH SCORE 3640.348
AT ITER 2603 NEW BEST:: SOT 55605 SOS 36344 HAS SOPS 35072 HAS SOUS 3986 HAS SOUPS 3602 WITH SCORE 3638.344
AT ITER 2655 NEW BEST:: SOT 55581 SOS 36320 HAS SOPS 35048 HAS SOUS 3957 HAS SOUPS 3573 WITH SCORE 3609.32
AT ITER 2671 NEW BEST:: SOT 55581 SOS 36320 HAS SOPS 35044 HAS SOUS 3959 HAS SOUPS 3571 WITH SCORE 3607.32
AT ITER 2773 NEW BEST:: SOT 55577 SOS 36290 HAS SOPS 35040 HAS SOUS 3933 HAS SOUPS 3558 WITH SCORE 3594.29
AT ITER 2775 NEW BEST:: SOT 55569 SOS 36282 HAS SOPS 35032 HAS SOUS 3927 HAS SOUPS 3552 WITH SCORE 3588.282
AT ITER 2870 NEW BEST:: SOT 55563 SOS 36276 HAS SOPS 35026 HAS SOUS 3924 HAS SOUPS 3549 WITH SCORE 3585.276
AT ITER 2889 NEW BEST:: SOT 55549 SOS 36262 HAS SOPS 35012 HAS SOUS 3909 HAS SOUPS 3534 WITH SCORE 3570.262
AT ITER 2918 NEW BEST:: SOT 55549 SOS 36262 HAS SOPS 35010 HAS SOUS 3909 HAS SOUPS 3533 WITH SCORE 3569.262
AT ITER 2928 NEW BEST:: SOT 55509 SOS 36222 HAS SOPS 34970 HAS SOUS 3909 HAS SOUPS 3533 WITH SCORE 3569.222
AT ITER 2929 NEW BEST:: SOT 55529 SOS 36174 HAS SOPS 34990 HAS SOUS 3881 HAS SOUPS 3522 WITH SCORE 3558.174
AT ITER 2980 NEW BEST:: SOT 55527 SOS 36172 HAS SOPS 34988 HAS SOUS 3880 HAS SOUPS 3521 WITH SCORE 3557.172
AT ITER 3015 NEW BEST:: SOT 55613 SOS 36258 HAS SOPS 35074 HAS SOUS 3871 HAS SOUPS 3512 WITH SCORE 3548.258
AT ITER 3032 NEW BEST:: SOT 55613 SOS 36258 HAS SOPS 35074 HAS SOUS 3868 HAS SOUPS 3509 WITH SCORE 3545.258
AT ITER 3072 NEW BEST:: SOT 55601 SOS 36246 HAS SOPS 35062 HAS SOUS 3868 HAS SOUPS 3509 WITH SCORE 3545.246
AT ITER 3149 NEW BEST:: SOT 55679 SOS 36324 HAS SOPS 35140 HAS SOUS 3858 HAS SOUPS 3499 WITH SCORE 3535.324
AT ITER 3176 NEW BEST:: SOT 55717 SOS 36358 HAS SOPS 35172 HAS SOUS 3853 HAS SOUPS 3493 WITH SCORE 3529.358
AT ITER 3190 NEW BEST:: SOT 55745 SOS 36386 HAS SOPS 35200 HAS SOUS 3843 HAS SOUPS 3483 WITH SCORE 3519.386
AT ITER 3196 NEW BEST:: SOT 55735 SOS 36376 HAS SOPS 35190 HAS SOUS 3838 HAS SOUPS 3478 WITH SCORE 3514.376
AT ITER 3200 NEW BEST:: SOT 55735 SOS 36376 HAS SOPS 35190 HAS SOUS 3837 HAS SOUPS 3477 WITH SCORE 3513.376
AT ITER 3258 NEW BEST:: SOT 55731 SOS 36372 HAS SOPS 35186 HAS SOUS 3832 HAS SOUPS 3472 WITH SCORE 3508.372
AT ITER 3305 NEW BEST:: SOT 55731 SOS 36372 HAS SOPS 35186 HAS SOUS 3829 HAS SOUPS 3469 WITH SCORE 3505.372
AT ITER 3312 NEW BEST:: SOT 55783 SOS 36424 HAS SOPS 35238 HAS SOUS 3827 HAS SOUPS 3467 WITH SCORE 3503.424
AT ITER 3314 NEW BEST:: SOT 55733 SOS 36374 HAS SOPS 35188 HAS SOUS 3820 HAS SOUPS 3460 WITH SCORE 3496.374
AT ITER 3327 NEW BEST:: SOT 55719 SOS 36360 HAS SOPS 35174 HAS SOUS 3806 HAS SOUPS 3446 WITH SCORE 3482.36
AT ITER 3366 NEW BEST:: SOT 55741 SOS 36382 HAS SOPS 35196 HAS SOUS 3796 HAS SOUPS 3436 WITH SCORE 3472.382
AT ITER 3370 NEW BEST:: SOT 55655 SOS 36296 HAS SOPS 35110 HAS SOUS 3796 HAS SOUPS 3436 WITH SCORE 3472.296
AT ITER 3416 NEW BEST:: SOT 55655 SOS 36297 HAS SOPS 35111 HAS SOUS 3794 HAS SOUPS 3434 WITH SCORE 3470.297
AT ITER 3455 NEW BEST:: SOT 55643 SOS 36285 HAS SOPS 35099 HAS SOUS 3794 HAS SOUPS 3434 WITH SCORE 3470.285
AT ITER 3482 NEW BEST:: SOT 55625 SOS 36267 HAS SOPS 35081 HAS SOUS 3776 HAS SOUPS 3416 WITH SCORE 3452.267
AT ITER 3507 NEW BEST:: SOT 55621 SOS 36263 HAS SOPS 35077 HAS SOUS 3774 HAS SOUPS 3414 WITH SCORE 3450.263
AT ITER 3513 NEW BEST:: SOT 55697 SOS 36339 HAS SOPS 35153 HAS SOUS 3772 HAS SOUPS 3412 WITH SCORE 3448.339
AT ITER 3528 NEW BEST:: SOT 55679 SOS 36321 HAS SOPS 35135 HAS SOUS 3763 HAS SOUPS 3403 WITH SCORE 3439.321
AT ITER 3529 NEW BEST:: SOT 55673 SOS 36315 HAS SOPS 35129 HAS SOUS 3759 HAS SOUPS 3399 WITH SCORE 3435.315
AT ITER 3574 NEW BEST:: SOT 55647 SOS 36289 HAS SOPS 35103 HAS SOUS 3759 HAS SOUPS 3399 WITH SCORE 3435.289
AT ITER 3575 NEW BEST:: SOT 55647 SOS 36277 HAS SOPS 35101 HAS SOUS 3774 HAS SOUPS 3398 WITH SCORE 3434.277
AT ITER 3633 NEW BEST:: SOT 55625 SOS 36255 HAS SOPS 35079 HAS SOUS 3763 HAS SOUPS 3387 WITH SCORE 3423.255
AT ITER 3655 NEW BEST:: SOT 55515 SOS 36145 HAS SOPS 34969 HAS SOUS 3763 HAS SOUPS 3387 WITH SCORE 3423.145
AT ITER 3662 NEW BEST:: SOT 55139 SOS 35848 HAS SOPS 34732 HAS SOUS 3707 HAS SOUPS 3346 WITH SCORE 3381.848
AT ITER 3671 NEW BEST:: SOT 55079 SOS 35784 HAS SOPS 34672 HAS SOUS 3692 HAS SOUPS 3334 WITH SCORE 3369.784
AT ITER 3728 NEW BEST:: SOT 55026 SOS 35748 HAS SOPS 34636 HAS SOUS 3682 HAS SOUPS 3324 WITH SCORE 3359.748
AT ITER 3749 NEW BEST:: SOT 54984 SOS 35706 HAS SOPS 34594 HAS SOUS 3675 HAS SOUPS 3317 WITH SCORE 3352.706
AT ITER 3814 NEW BEST:: SOT 54984 SOS 35706 HAS SOPS 34594 HAS SOUS 3670 HAS SOUPS 3312 WITH SCORE 3347.706
AT ITER 3837 NEW BEST:: SOT 54984 SOS 35704 HAS SOPS 34592 HAS SOUS 3669 HAS SOUPS 3311 WITH SCORE 3346.704
AT ITER 3867 NEW BEST:: SOT 54926 SOS 35646 HAS SOPS 34534 HAS SOUS 3664 HAS SOUPS 3306 WITH SCORE 3341.646
AT ITER 3895 NEW BEST:: SOT 54926 SOS 35646 HAS SOPS 34524 HAS SOUS 3664 HAS SOUPS 3301 WITH SCORE 3336.646
AT ITER 3946 NEW BEST:: SOT 54926 SOS 35646 HAS SOPS 34524 HAS SOUS 3662 HAS SOUPS 3299 WITH SCORE 3334.646
AT ITER 3974 NEW BEST:: SOT 54940 SOS 35648 HAS SOPS 34530 HAS SOUS 3640 HAS SOUPS 3278 WITH SCORE 3313.648
AT ITER 4035 NEW BEST:: SOT 54880 SOS 35588 HAS SOPS 34470 HAS SOUS 3640 HAS SOUPS 3278 WITH SCORE 3313.588
AT ITER 4105 NEW BEST:: SOT 54906 SOS 35614 HAS SOPS 34496 HAS SOUS 3639 HAS SOUPS 3277 WITH SCORE 3312.614
AT ITER 4107 NEW BEST:: SOT 54886 SOS 35594 HAS SOPS 34476 HAS SOUS 3634 HAS SOUPS 3272 WITH SCORE 3307.594
AT ITER 4121 NEW BEST:: SOT 54882 SOS 35590 HAS SOPS 34472 HAS SOUS 3618 HAS SOUPS 3256 WITH SCORE 3291.59
AT ITER 4143 NEW BEST:: SOT 54878 SOS 35586 HAS SOPS 34468 HAS SOUS 3616 HAS SOUPS 3254 WITH SCORE 3289.586
AT ITER 4162 NEW BEST:: SOT 54792 SOS 35500 HAS SOPS 34382 HAS SOUS 3611 HAS SOUPS 3249 WITH SCORE 3284.5
AT ITER 4175 NEW BEST:: SOT 54792 SOS 35508 HAS SOPS 34378 HAS SOUS 3597 HAS SOUPS 3247 WITH SCORE 3282.508
AT ITER 4208 NEW BEST:: SOT 54792 SOS 35504 HAS SOPS 34376 HAS SOUS 3595 HAS SOUPS 3246 WITH SCORE 3281.504
AT ITER 4240 NEW BEST:: SOT 54784 SOS 35496 HAS SOPS 34368 HAS SOUS 3593 HAS SOUPS 3244 WITH SCORE 3279.496
AT ITER 4246 NEW BEST:: SOT 54764 SOS 35476 HAS SOPS 34348 HAS SOUS 3579 HAS SOUPS 3230 WITH SCORE 3265.476
AT ITER 4248 NEW BEST:: SOT 54738 SOS 35450 HAS SOPS 34322 HAS SOUS 3566 HAS SOUPS 3217 WITH SCORE 3252.45
AT ITER 4257 NEW BEST:: SOT 54794 SOS 35506 HAS SOPS 34378 HAS SOUS 3564 HAS SOUPS 3215 WITH SCORE 3250.506
AT ITER 4278 NEW BEST:: SOT 54806 SOS 35454 HAS SOPS 34272 HAS SOUS 3558 HAS SOUPS 3197 WITH SCORE 3232.454
AT ITER 4288 NEW BEST:: SOT 54806 SOS 35450 HAS SOPS 34268 HAS SOUS 3556 HAS SOUPS 3195 WITH SCORE 3230.45
AT ITER 4302 NEW BEST:: SOT 54800 SOS 35444 HAS SOPS 34262 HAS SOUS 3552 HAS SOUPS 3191 WITH SCORE 3226.444
AT ITER 4348 NEW BEST:: SOT 54798 SOS 35442 HAS SOPS 34260 HAS SOUS 3551 HAS SOUPS 3190 WITH SCORE 3225.442
AT ITER 4356 NEW BEST:: SOT 54798 SOS 35436 HAS SOPS 34254 HAS SOUS 3548 HAS SOUPS 3187 WITH SCORE 3222.436
AT ITER 4365 NEW BEST:: SOT 54790 SOS 35428 HAS SOPS 34246 HAS SOUS 3546 HAS SOUPS 3185 WITH SCORE 3220.428
AT ITER 4399 NEW BEST:: SOT 54760 SOS 35398 HAS SOPS 34216 HAS SOUS 3536 HAS SOUPS 3175 WITH SCORE 3210.398
AT ITER 4461 NEW BEST:: SOT 54760 SOS 35412 HAS SOPS 34214 HAS SOUS 3534 HAS SOUPS 3174 WITH SCORE 3209.412
AT ITER 4525 NEW BEST:: SOT 54740 SOS 35392 HAS SOPS 34194 HAS SOUS 3534 HAS SOUPS 3174 WITH SCORE 3209.392
AT ITER 4560 NEW BEST:: SOT 54732 SOS 35384 HAS SOPS 34186 HAS SOUS 3524 HAS SOUPS 3164 WITH SCORE 3199.384
AT ITER 4667 NEW BEST:: SOT 54720 SOS 35372 HAS SOPS 34174 HAS SOUS 3517 HAS SOUPS 3157 WITH SCORE 3192.372
AT ITER 4726 NEW BEST:: SOT 54729 SOS 35381 HAS SOPS 34183 HAS SOUS 3514 HAS SOUPS 3154 WITH SCORE 3189.381
AT ITER 4736 NEW BEST:: SOT 54729 SOS 35377 HAS SOPS 34181 HAS SOUS 3512 HAS SOUPS 3153 WITH SCORE 3188.377
AT ITER 4763 NEW BEST:: SOT 54729 SOS 35373 HAS SOPS 34173 HAS SOUS 3514 HAS SOUPS 3149 WITH SCORE 3184.373
AT ITER 4771 NEW BEST:: SOT 54729 SOS 35369 HAS SOPS 34169 HAS SOUS 3512 HAS SOUPS 3147 WITH SCORE 3182.369
AT ITER 4775 NEW BEST:: SOT 54729 SOS 35369 HAS SOPS 34169 HAS SOUS 3510 HAS SOUPS 3145 WITH SCORE 3180.369
AT ITER 4826 NEW BEST:: SOT 54725 SOS 35365 HAS SOPS 34165 HAS SOUS 3506 HAS SOUPS 3141 WITH SCORE 3176.365
AT ITER 4879 NEW BEST:: SOT 54725 SOS 35365 HAS SOPS 34165 HAS SOUS 3497 HAS SOUPS 3132 WITH SCORE 3167.365
AT ITER 4909 NEW BEST:: SOT 54725 SOS 35355 HAS SOPS 34165 HAS SOUS 3492 HAS SOUPS 3132 WITH SCORE 3167.355
AT ITER 4935 NEW BEST:: SOT 54715 SOS 35345 HAS SOPS 34155 HAS SOUS 3489 HAS SOUPS 3129 WITH SCORE 3164.345
AT ITER 5033 NEW BEST:: SOT 54715 SOS 35347 HAS SOPS 34151 HAS SOUS 3490 HAS SOUPS 3127 WITH SCORE 3162.347
AT ITER 5128 NEW BEST:: SOT 54715 SOS 35341 HAS SOPS 34149 HAS SOUS 3487 HAS SOUPS 3126 WITH SCORE 3161.341
AT ITER 5186 NEW BEST:: SOT 54685 SOS 35325 HAS SOPS 34119 HAS SOUS 3482 HAS SOUPS 3121 WITH SCORE 3156.325
AT ITER 5287 NEW BEST:: SOT 54679 SOS 35319 HAS SOPS 34113 HAS SOUS 3475 HAS SOUPS 3114 WITH SCORE 3149.319
AT ITER 5303 NEW BEST:: SOT 54679 SOS 35311 HAS SOPS 34109 HAS SOUS 3475 HAS SOUPS 3112 WITH SCORE 3147.311
AT ITER 5324 NEW BEST:: SOT 54675 SOS 35307 HAS SOPS 34105 HAS SOUS 3473 HAS SOUPS 3110 WITH SCORE 3145.307
AT ITER 5334 NEW BEST:: SOT 54665 SOS 35297 HAS SOPS 34095 HAS SOUS 3467 HAS SOUPS 3104 WITH SCORE 3139.297
AT ITER 5361 NEW BEST:: SOT 54659 SOS 35291 HAS SOPS 34089 HAS SOUS 3461 HAS SOUPS 3098 WITH SCORE 3133.291
AT ITER 5412 NEW BEST:: SOT 54653 SOS 35285 HAS SOPS 34083 HAS SOUS 3458 HAS SOUPS 3095 WITH SCORE 3130.285
AT ITER 5488 NEW BEST:: SOT 54651 SOS 35283 HAS SOPS 34081 HAS SOUS 3454 HAS SOUPS 3091 WITH SCORE 3126.283
AT ITER 5491 NEW BEST:: SOT 54655 SOS 35287 HAS SOPS 34085 HAS SOUS 3446 HAS SOUPS 3083 WITH SCORE 3118.287
AT ITER 5627 NEW BEST:: SOT 54645 SOS 35279 HAS SOPS 34083 HAS SOUS 3442 HAS SOUPS 3082 WITH SCORE 3117.279
AT ITER 5652 NEW BEST:: SOT 54645 SOS 35271 HAS SOPS 34081 HAS SOUS 3440 HAS SOUPS 3081 WITH SCORE 3116.271
AT ITER 5656 NEW BEST:: SOT 54643 SOS 35269 HAS SOPS 34079 HAS SOUS 3437 HAS SOUPS 3078 WITH SCORE 3113.269
AT ITER 5743 NEW BEST:: SOT 54639 SOS 35265 HAS SOPS 34075 HAS SOUS 3437 HAS SOUPS 3078 WITH SCORE 3113.265
AT ITER 5836 NEW BEST:: SOT 54623 SOS 35249 HAS SOPS 34059 HAS SOUS 3429 HAS SOUPS 3070 WITH SCORE 3105.249
AT ITER 5855 NEW BEST:: SOT 54625 SOS 35251 HAS SOPS 34061 HAS SOUS 3428 HAS SOUPS 3069 WITH SCORE 3104.251
AT ITER 5916 NEW BEST:: SOT 54621 SOS 35247 HAS SOPS 34057 HAS SOUS 3424 HAS SOUPS 3065 WITH SCORE 3100.247
AT ITER 5922 NEW BEST:: SOT 54621 SOS 35241 HAS SOPS 34055 HAS SOUS 3421 HAS SOUPS 3064 WITH SCORE 3099.241
AT ITER 5956 NEW BEST:: SOT 54615 SOS 35235 HAS SOPS 34049 HAS SOUS 3418 HAS SOUPS 3061 WITH SCORE 3096.235
AT ITER 6028 NEW BEST:: SOT 54615 SOS 35235 HAS SOPS 34049 HAS SOUS 3415 HAS SOUPS 3058 WITH SCORE 3093.235
AT ITER 6040 NEW BEST:: SOT 54613 SOS 35233 HAS SOPS 34047 HAS SOUS 3414 HAS SOUPS 3057 WITH SCORE 3092.233
AT ITER 6093 NEW BEST:: SOT 54637 SOS 35257 HAS SOPS 34071 HAS SOUS 3405 HAS SOUPS 3048 WITH SCORE 3083.257
AT ITER 6117 NEW BEST:: SOT 54635 SOS 35255 HAS SOPS 34069 HAS SOUS 3404 HAS SOUPS 3047 WITH SCORE 3082.255
AT ITER 6192 NEW BEST:: SOT 54635 SOS 35251 HAS SOPS 34067 HAS SOUS 3402 HAS SOUPS 3046 WITH SCORE 3081.251
AT ITER 6231 NEW BEST:: SOT 54623 SOS 35239 HAS SOPS 34055 HAS SOUS 3402 HAS SOUPS 3046 WITH SCORE 3081.239
AT ITER 6286 NEW BEST:: SOT 54593 SOS 35209 HAS SOPS 34025 HAS SOUS 3402 HAS SOUPS 3046 WITH SCORE 3081.209
AT ITER 6387 NEW BEST:: SOT 54587 SOS 35203 HAS SOPS 34019 HAS SOUS 3401 HAS SOUPS 3045 WITH SCORE 3080.203
AT ITER 6456 NEW BEST:: SOT 54579 SOS 35195 HAS SOPS 34011 HAS SOUS 3398 HAS SOUPS 3042 WITH SCORE 3077.195
AT ITER 6548 NEW BEST:: SOT 54571 SOS 35187 HAS SOPS 34003 HAS SOUS 3394 HAS SOUPS 3038 WITH SCORE 3073.187
AT ITER 6555 NEW BEST:: SOT 54585 SOS 35204 HAS SOPS 34020 HAS SOUS 3389 HAS SOUPS 3033 WITH SCORE 3068.204
AT ITER 6606 NEW BEST:: SOT 54522 SOS 35188 HAS SOPS 34004 HAS SOUS 3370 HAS SOUPS 3014 WITH SCORE 3049.188
AT ITER 6625 NEW BEST:: SOT 54520 SOS 35186 HAS SOPS 34002 HAS SOUS 3370 HAS SOUPS 3014 WITH SCORE 3049.186
AT ITER 6707 NEW BEST:: SOT 54520 SOS 35186 HAS SOPS 34002 HAS SOUS 3357 HAS SOUPS 3001 WITH SCORE 3036.186
AT ITER 6897 NEW BEST:: SOT 54520 SOS 35186 HAS SOPS 34002 HAS SOUS 3355 HAS SOUPS 2999 WITH SCORE 3034.186
AT ITER 6970 NEW BEST:: SOT 54514 SOS 35180 HAS SOPS 33996 HAS SOUS 3350 HAS SOUPS 2994 WITH SCORE 3029.18
AT ITER 7084 NEW BEST:: SOT 54362 SOS 37608 HAS SOPS 36690 HAS SOUS 3274 HAS SOUPS 2990 WITH SCORE 3027.608
AT ITER 7133 NEW BEST:: SOT 54360 SOS 37606 HAS SOPS 36688 HAS SOUS 3270 HAS SOUPS 2986 WITH SCORE 3023.606
AT ITER 7194 NEW BEST:: SOT 54352 SOS 37598 HAS SOPS 36680 HAS SOUS 3268 HAS SOUPS 2984 WITH SCORE 3021.598
AT ITER 7209 NEW BEST:: SOT 54350 SOS 37596 HAS SOPS 36678 HAS SOUS 3267 HAS SOUPS 2983 WITH SCORE 3020.596
AT ITER 7241 NEW BEST:: SOT 54350 SOS 37592 HAS SOPS 36674 HAS SOUS 3265 HAS SOUPS 2981 WITH SCORE 3018.592
AT ITER 7292 NEW BEST:: SOT 54330 SOS 37572 HAS SOPS 36654 HAS SOUS 3243 HAS SOUPS 2959 WITH SCORE 2996.572
AT ITER 7314 NEW BEST:: SOT 54328 SOS 37570 HAS SOPS 36652 HAS SOUS 3243 HAS SOUPS 2959 WITH SCORE 2996.57
AT ITER 7375 NEW BEST:: SOT 54320 SOS 37562 HAS SOPS 36644 HAS SOUS 3243 HAS SOUPS 2959 WITH SCORE 2996.562
AT ITER 7538 NEW BEST:: SOT 54320 SOS 37562 HAS SOPS 36644 HAS SOUS 3237 HAS SOUPS 2953 WITH SCORE 2990.562
AT ITER 7671 NEW BEST:: SOT 54320 SOS 37558 HAS SOPS 36642 HAS SOUS 3235 HAS SOUPS 2952 WITH SCORE 2989.558
AT ITER 7944 NEW BEST:: SOT 54320 SOS 37554 HAS SOPS 36638 HAS SOUS 3233 HAS SOUPS 2950 WITH SCORE 2987.554
AT ITER 7985 NEW BEST:: SOT 54318 SOS 37552 HAS SOPS 36636 HAS SOUS 3231 HAS SOUPS 2948 WITH SCORE 2985.552
AT ITER 7989 NEW BEST:: SOT 54316 SOS 37550 HAS SOPS 36634 HAS SOUS 3229 HAS SOUPS 2946 WITH SCORE 2983.55
AT ITER 7994 NEW BEST:: SOT 54514 SOS 37748 HAS SOPS 36832 HAS SOUS 3210 HAS SOUPS 2927 WITH SCORE 2964.748
AT ITER 8004 NEW BEST:: SOT 54502 SOS 37736 HAS SOPS 36820 HAS SOUS 3207 HAS SOUPS 2924 WITH SCORE 2961.736
AT ITER 8128 NEW BEST:: SOT 54500 SOS 37734 HAS SOPS 36818 HAS SOUS 3205 HAS SOUPS 2922 WITH SCORE 2959.734
AT ITER 8209 NEW BEST:: SOT 54500 SOS 37730 HAS SOPS 36816 HAS SOUS 3204 HAS SOUPS 2921 WITH SCORE 2958.73
AT ITER 8253 NEW BEST:: SOT 54800 SOS 38030 HAS SOPS 37116 HAS SOUS 3199 HAS SOUPS 2916 WITH SCORE 2954.03
AT ITER 8364 NEW BEST:: SOT 54800 SOS 38048 HAS SOPS 37112 HAS SOUS 3200 HAS SOUPS 2914 WITH SCORE 2952.048
AT ITER 8395 NEW BEST:: SOT 54788 SOS 38036 HAS SOPS 37100 HAS SOUS 3200 HAS SOUPS 2914 WITH SCORE 2952.036
AT ITER 8550 NEW BEST:: SOT 54792 SOS 38040 HAS SOPS 37104 HAS SOUS 3199 HAS SOUPS 2913 WITH SCORE 2951.04
AT ITER 8554 NEW BEST:: SOT 54762 SOS 38018 HAS SOPS 37082 HAS SOUS 3192 HAS SOUPS 2906 WITH SCORE 2944.018
AT ITER 8591 NEW BEST:: SOT 54852 SOS 38108 HAS SOPS 37172 HAS SOUS 3183 HAS SOUPS 2897 WITH SCORE 2935.108
AT ITER 8638 NEW BEST:: SOT 54840 SOS 38096 HAS SOPS 37160 HAS SOUS 3180 HAS SOUPS 2894 WITH SCORE 2932.096
AT ITER 8664 NEW BEST:: SOT 54834 SOS 38090 HAS SOPS 37154 HAS SOUS 3180 HAS SOUPS 2894 WITH SCORE 2932.09
AT ITER 8690 NEW BEST:: SOT 54834 SOS 38088 HAS SOPS 37154 HAS SOUS 3180 HAS SOUPS 2894 WITH SCORE 2932.088
AT ITER 8701 NEW BEST:: SOT 54838 SOS 38092 HAS SOPS 37158 HAS SOUS 3178 HAS SOUPS 2892 WITH SCORE 2930.092
AT ITER 8719 NEW BEST:: SOT 54834 SOS 38088 HAS SOPS 37154 HAS SOUS 3176 HAS SOUPS 2890 WITH SCORE 2928.088
AT ITER 8753 NEW BEST:: SOT 54834 SOS 38088 HAS SOPS 37154 HAS SOUS 3175 HAS SOUPS 2889 WITH SCORE 2927.088
AT ITER 8760 NEW BEST:: SOT 54838 SOS 38092 HAS SOPS 37158 HAS SOUS 3170 HAS SOUPS 2884 WITH SCORE 2922.092
AT ITER 8855 NEW BEST:: SOT 54836 SOS 38090 HAS SOPS 37156 HAS SOUS 3169 HAS SOUPS 2883 WITH SCORE 2921.09
AT ITER 8930 NEW BEST:: SOT 54818 SOS 38072 HAS SOPS 37138 HAS SOUS 3163 HAS SOUPS 2877 WITH SCORE 2915.072
AT ITER 9013 NEW BEST:: SOT 54818 SOS 38072 HAS SOPS 37138 HAS SOUS 3153 HAS SOUPS 2867 WITH SCORE 2905.072
AT ITER 9031 NEW BEST:: SOT 54808 SOS 38062 HAS SOPS 37128 HAS SOUS 3153 HAS SOUPS 2867 WITH SCORE 2905.062
AT ITER 9072 NEW BEST:: SOT 54808 SOS 38054 HAS SOPS 37124 HAS SOUS 3151 HAS SOUPS 2865 WITH SCORE 2903.054
AT ITER 9109 NEW BEST:: SOT 54806 SOS 38052 HAS SOPS 37122 HAS SOUS 3150 HAS SOUPS 2864 WITH SCORE 2902.052
AT ITER 9113 NEW BEST:: SOT 54794 SOS 38040 HAS SOPS 37110 HAS SOUS 3144 HAS SOUPS 2858 WITH SCORE 2896.04
AT ITER 9193 NEW BEST:: SOT 54766 SOS 38012 HAS SOPS 37082 HAS SOUS 3144 HAS SOUPS 2858 WITH SCORE 2896.012
AT ITER 9215 NEW BEST:: SOT 54770 SOS 38016 HAS SOPS 37086 HAS SOUS 3139 HAS SOUPS 2853 WITH SCORE 2891.016
AT ITER 9346 NEW BEST:: SOT 54764 SOS 38010 HAS SOPS 37080 HAS SOUS 3136 HAS SOUPS 2850 WITH SCORE 2888.01
AT ITER 9362 NEW BEST:: SOT 54764 SOS 38006 HAS SOPS 37080 HAS SOUS 3136 HAS SOUPS 2850 WITH SCORE 2888.006
AT ITER 9365 NEW BEST:: SOT 54762 SOS 38004 HAS SOPS 37078 HAS SOUS 3134 HAS SOUPS 2848 WITH SCORE 2886.004
AT ITER 9395 NEW BEST:: SOT 54758 SOS 38000 HAS SOPS 37074 HAS SOUS 3132 HAS SOUPS 2846 WITH SCORE 2884.0
AT ITER 9397 NEW BEST:: SOT 54714 SOS 37956 HAS SOPS 37030 HAS SOUS 3124 HAS SOUPS 2838 WITH SCORE 2875.956
AT ITER 9608 NEW BEST:: SOT 54736 SOS 37978 HAS SOPS 37052 HAS SOUS 3122 HAS SOUPS 2836 WITH SCORE 2873.978
AT ITER 9614 NEW BEST:: SOT 54728 SOS 37970 HAS SOPS 37044 HAS SOUS 3117 HAS SOUPS 2831 WITH SCORE 2868.97
AT ITER 9658 NEW BEST:: SOT 54724 SOS 37966 HAS SOPS 37040 HAS SOUS 3113 HAS SOUPS 2827 WITH SCORE 2864.966
AT ITER 9833 NEW BEST:: SOT 54726 SOS 37968 HAS SOPS 37042 HAS SOUS 3111 HAS SOUPS 2825 WITH SCORE 2862.968
AT ITER 9858 NEW BEST:: SOT 54702 SOS 37944 HAS SOPS 37018 HAS SOUS 3107 HAS SOUPS 2821 WITH SCORE 2858.944
AT ITER 9882 NEW BEST:: SOT 54686 SOS 37928 HAS SOPS 37002 HAS SOUS 3105 HAS SOUPS 2819 WITH SCORE 2856.928
AT ITER 9899 NEW BEST:: SOT 54662 SOS 37904 HAS SOPS 36978 HAS SOUS 3105 HAS SOUPS 2819 WITH SCORE 2856.904
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15060368 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149908 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="SemanticWebServices-PT-S128P18"
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 SemanticWebServices-PT-S128P18, 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 r355-smll-167891803500416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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