Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r163-tall-167838847600320.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 FamilyReunion-COL-L00050M0005C002P002G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847600320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 7.2K Feb 26 12:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 26 12:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 12:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 12:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 26 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 12:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 12:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 137K 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 1678443707152

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=FamilyReunion-COL-L00050M0005C002P002G001
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 10:21:50] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 10:21:50] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 10:21:50] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 10:21:50] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 10:21:51] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 861 ms
[2023-03-10 10:21:51] [INFO ] Detected 5 constant HL places corresponding to 17 PT places.
[2023-03-10 10:21:51] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 12245 PT places and 10611.0 transition bindings in 85 ms.
[2023-03-10 10:21:51] [INFO ] Unfolded HLPN to a Petri net with 12245 places and 10560 transitions 30300 arcs in 233 ms.
[2023-03-10 10:21:51] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 51 places and 0 transitions.
[2023-03-10 10:21:51] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 12194 places, 10560 transitions and 30300 arcs took 142 ms.
Total runtime 1778 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00050M0005C002P002G001
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: 12194 places, 10560 transitions, 30300 arcs.
AT ITER 0 NEW BEST:: SOT 73012720 SOS 10214451 HAS SOPS 10214451 HAS SOUS 9052310 HAS SOUPS 9052310 WITH SCORE 9062524.451
AT ITER 3 NEW BEST:: SOT 73012509 SOS 10214029 HAS SOPS 10214029 HAS SOUS 9051888 HAS SOUPS 9051888 WITH SCORE 9062102.029
AT ITER 43 NEW BEST:: SOT 73012456 SOS 10213780 HAS SOPS 10213780 HAS SOUS 9051871 HAS SOUPS 9051871 WITH SCORE 9062084.78
AT ITER 72 NEW BEST:: SOT 73012330 SOS 10213446 HAS SOPS 10213446 HAS SOUS 9051727 HAS SOUPS 9051727 WITH SCORE 9061940.446
AT ITER 85 NEW BEST:: SOT 73012199 SOS 10213083 HAS SOPS 10213083 HAS SOUS 9051548 HAS SOUPS 9051548 WITH SCORE 9061761.083
AT ITER 125 NEW BEST:: SOT 73012048 SOS 10212790 HAS SOPS 10212790 HAS SOUS 9051246 HAS SOUPS 9051246 WITH SCORE 9061458.79
AT ITER 175 NEW BEST:: SOT 73011077 SOS 10211903 HAS SOPS 10211903 HAS SOUS 9050359 HAS SOUPS 9050359 WITH SCORE 9060570.903
AT ITER 176 NEW BEST:: SOT 73010403 SOS 10211565 HAS SOPS 10211565 HAS SOUS 9049926 HAS SOUPS 9049926 WITH SCORE 9060137.565
AT ITER 182 NEW BEST:: SOT 73010226 SOS 10211034 HAS SOPS 10211034 HAS SOUS 9049395 HAS SOUPS 9049395 WITH SCORE 9059606.034
AT ITER 188 NEW BEST:: SOT 73009505 SOS 10210728 HAS SOPS 10210728 HAS SOUS 9049089 HAS SOUPS 9049089 WITH SCORE 9059299.728
AT ITER 233 NEW BEST:: SOT 73009454 SOS 10210575 HAS SOPS 10210575 HAS SOUS 9048936 HAS SOUPS 9048936 WITH SCORE 9059146.575
AT ITER 245 NEW BEST:: SOT 73008382 SOS 10210122 HAS SOPS 10210122 HAS SOUS 9048483 HAS SOUPS 9048483 WITH SCORE 9058693.122
AT ITER 247 NEW BEST:: SOT 73007854 SOS 10209510 HAS SOPS 10209510 HAS SOUS 9047871 HAS SOUPS 9047871 WITH SCORE 9058080.51
AT ITER 249 NEW BEST:: SOT 73007205 SOS 10207980 HAS SOPS 10207980 HAS SOUS 9046341 HAS SOUPS 9046341 WITH SCORE 9056548.98
AT ITER 270 NEW BEST:: SOT 73006979 SOS 10207816 HAS SOPS 10207816 HAS SOUS 9046037 HAS SOUPS 9046037 WITH SCORE 9056244.816
AT ITER 271 NEW BEST:: SOT 73006121 SOS 10207294 HAS SOPS 10207294 HAS SOUS 9045541 HAS SOUPS 9045541 WITH SCORE 9055748.294
AT ITER 272 NEW BEST:: SOT 73005399 SOS 10205764 HAS SOPS 10205764 HAS SOUS 9044011 HAS SOUPS 9044011 WITH SCORE 9054216.764
AT ITER 292 NEW BEST:: SOT 73004549 SOS 10205424 HAS SOPS 10205424 HAS SOUS 9043671 HAS SOUPS 9043671 WITH SCORE 9053876.424
AT ITER 308 NEW BEST:: SOT 73004313 SOS 10205093 HAS SOPS 10205093 HAS SOUS 9043340 HAS SOUPS 9043340 WITH SCORE 9053545.093
AT ITER 373 NEW BEST:: SOT 73003956 SOS 10204702 HAS SOPS 10204702 HAS SOUS 9042949 HAS SOUPS 9042949 WITH SCORE 9053153.702
AT ITER 383 NEW BEST:: SOT 73003292 SOS 10204471 HAS SOPS 10204471 HAS SOUS 9042841 HAS SOUPS 9042841 WITH SCORE 9053045.471
AT ITER 449 NEW BEST:: SOT 73002425 SOS 10204277 HAS SOPS 10204277 HAS SOUS 9042647 HAS SOUPS 9042647 WITH SCORE 9052851.277
AT ITER 461 NEW BEST:: SOT 73002117 SOS 10203661 HAS SOPS 10203661 HAS SOUS 9041723 HAS SOUPS 9041723 WITH SCORE 9051926.661
AT ITER 538 NEW BEST:: SOT 73002066 SOS 10203610 HAS SOPS 10203610 HAS SOUS 9041672 HAS SOUPS 9041672 WITH SCORE 9051875.61
AT ITER 544 NEW BEST:: SOT 73001791 SOS 10203060 HAS SOPS 10203060 HAS SOUS 9041397 HAS SOUPS 9041397 WITH SCORE 9051600.06
AT ITER 554 NEW BEST:: SOT 73001177 SOS 10201822 HAS SOPS 10201822 HAS SOUS 9040681 HAS SOUPS 9040681 WITH SCORE 9050882.822
AT ITER 563 NEW BEST:: SOT 73000662 SOS 10201210 HAS SOPS 10201210 HAS SOUS 9040580 HAS SOUPS 9040580 WITH SCORE 9050781.21
AT ITER 599 NEW BEST:: SOT 73000560 SOS 10200802 HAS SOPS 10200802 HAS SOUS 9040478 HAS SOUPS 9040478 WITH SCORE 9050678.802
AT ITER 607 NEW BEST:: SOT 72999815 SOS 10199272 HAS SOPS 10199272 HAS SOUS 9038948 HAS SOUPS 9038948 WITH SCORE 9049147.272
AT ITER 685 NEW BEST:: SOT 72999027 SOS 10197742 HAS SOPS 10197742 HAS SOUS 9037418 HAS SOUPS 9037418 WITH SCORE 9047615.742
AT ITER 710 NEW BEST:: SOT 72998747 SOS 10197481 HAS SOPS 10197481 HAS SOUS 9037157 HAS SOUPS 9037157 WITH SCORE 9047354.481
AT ITER 725 NEW BEST:: SOT 72997875 SOS 10197080 HAS SOPS 10197080 HAS SOUS 9036756 HAS SOUPS 9036756 WITH SCORE 9046953.08
AT ITER 733 NEW BEST:: SOT 72997289 SOS 10196468 HAS SOPS 10196468 HAS SOUS 9036144 HAS SOUPS 9036144 WITH SCORE 9046340.468
AT ITER 755 NEW BEST:: SOT 72996641 SOS 10195684 HAS SOPS 10195684 HAS SOUS 9035360 HAS SOUPS 9035360 WITH SCORE 9045555.684
AT ITER 808 NEW BEST:: SOT 72996488 SOS 10195494 HAS SOPS 10195494 HAS SOUS 9035170 HAS SOUPS 9035170 WITH SCORE 9045365.494
AT ITER 811 NEW BEST:: SOT 72995876 SOS 10195050 HAS SOPS 10195050 HAS SOUS 9034723 HAS SOUPS 9034723 WITH SCORE 9044918.05
AT ITER 860 NEW BEST:: SOT 72995306 SOS 10194438 HAS SOPS 10194438 HAS SOUS 9034111 HAS SOUPS 9034111 WITH SCORE 9044305.438
AT ITER 875 NEW BEST:: SOT 72994625 SOS 10194027 HAS SOPS 10194027 HAS SOUS 9033697 HAS SOUPS 9033697 WITH SCORE 9043891.027
AT ITER 932 NEW BEST:: SOT 72994370 SOS 10193624 HAS SOPS 10193624 HAS SOUS 9033268 HAS SOUPS 9033268 WITH SCORE 9043461.624
AT ITER 943 NEW BEST:: SOT 72994319 SOS 10193471 HAS SOPS 10193471 HAS SOUS 9033115 HAS SOUPS 9033115 WITH SCORE 9043308.471
AT ITER 945 NEW BEST:: SOT 72994044 SOS 10192921 HAS SOPS 10192921 HAS SOUS 9032290 HAS SOUPS 9032290 WITH SCORE 9042482.921
AT ITER 961 NEW BEST:: SOT 72993530 SOS 10192309 HAS SOPS 10192309 HAS SOUS 9031678 HAS SOUPS 9031678 WITH SCORE 9041870.309
AT ITER 1070 NEW BEST:: SOT 72993530 SOS 10192194 HAS SOPS 10192194 HAS SOUS 9031563 HAS SOUPS 9031563 WITH SCORE 9041755.194
AT ITER 1078 NEW BEST:: SOT 72993530 SOS 10192125 HAS SOPS 10192125 HAS SOUS 9031494 HAS SOUPS 9031494 WITH SCORE 9041686.125
AT ITER 1079 NEW BEST:: SOT 72990147 SOS 10193457 HAS SOPS 10193457 HAS SOUS 9029586 HAS SOUPS 9029586 WITH SCORE 9039779.457
AT ITER 1091 NEW BEST:: SOT 72990147 SOS 10193453 HAS SOPS 10193453 HAS SOUS 9029582 HAS SOUPS 9029582 WITH SCORE 9039775.453
AT ITER 1097 NEW BEST:: SOT 72990055 SOS 10193315 HAS SOPS 10193315 HAS SOUS 9029444 HAS SOUPS 9029444 WITH SCORE 9039637.315
AT ITER 1102 NEW BEST:: SOT 72989613 SOS 10192125 HAS SOPS 10192125 HAS SOUS 9028254 HAS SOUPS 9028254 WITH SCORE 9038446.125
AT ITER 1106 NEW BEST:: SOT 72989545 SOS 10192006 HAS SOPS 10192006 HAS SOUS 9028135 HAS SOUPS 9028135 WITH SCORE 9038327.006
AT ITER 1129 NEW BEST:: SOT 72989443 SOS 10191867 HAS SOPS 10191867 HAS SOUS 9027996 HAS SOUPS 9027996 WITH SCORE 9038187.867
AT ITER 1133 NEW BEST:: SOT 72988926 SOS 10191561 HAS SOPS 10191561 HAS SOUS 9027690 HAS SOUPS 9027690 WITH SCORE 9037881.561
AT ITER 1171 NEW BEST:: SOT 72987936 SOS 10190892 HAS SOPS 10190892 HAS SOUS 9027021 HAS SOUPS 9027021 WITH SCORE 9037211.892
AT ITER 1206 NEW BEST:: SOT 72987802 SOS 10190673 HAS SOPS 10190673 HAS SOUS 9026886 HAS SOUPS 9026886 WITH SCORE 9037076.673
AT ITER 1213 NEW BEST:: SOT 72987500 SOS 10190069 HAS SOPS 10190069 HAS SOUS 9026282 HAS SOUPS 9026282 WITH SCORE 9036472.069
AT ITER 1226 NEW BEST:: SOT 72987467 SOS 10190045 HAS SOPS 10190045 HAS SOUS 9026282 HAS SOUPS 9026282 WITH SCORE 9036472.045
AT ITER 1255 NEW BEST:: SOT 72987467 SOS 10190030 HAS SOPS 10190030 HAS SOUS 9026267 HAS SOUPS 9026267 WITH SCORE 9036457.03
AT ITER 1272 NEW BEST:: SOT 72987200 SOS 10189496 HAS SOPS 10189496 HAS SOUS 9025998 HAS SOUPS 9025998 WITH SCORE 9036187.496
AT ITER 1323 NEW BEST:: SOT 72987200 SOS 10189392 HAS SOPS 10189392 HAS SOUS 9025894 HAS SOUPS 9025894 WITH SCORE 9036083.392
AT ITER 1362 NEW BEST:: SOT 72986492 SOS 10187862 HAS SOPS 10187862 HAS SOUS 9024364 HAS SOUPS 9024364 WITH SCORE 9034551.862
AT ITER 1364 NEW BEST:: SOT 72986492 SOS 10188163 HAS SOPS 10188163 HAS SOUS 9023752 HAS SOUPS 9023752 WITH SCORE 9033940.163
AT ITER 1472 NEW BEST:: SOT 72986173 SOS 10187216 HAS SOPS 10187216 HAS SOUS 9023726 HAS SOUPS 9023726 WITH SCORE 9033913.216
AT ITER 1528 NEW BEST:: SOT 72985368 SOS 10186411 HAS SOPS 10186411 HAS SOUS 9022921 HAS SOUPS 9022921 WITH SCORE 9033107.411
AT ITER 1545 NEW BEST:: SOT 72985139 SOS 10185724 HAS SOPS 10185724 HAS SOUS 9022234 HAS SOUPS 9022234 WITH SCORE 9032419.724
AT ITER 1583 NEW BEST:: SOT 72984066 SOS 10184613 HAS SOPS 10184613 HAS SOUS 9021123 HAS SOUPS 9021123 WITH SCORE 9031307.613
AT ITER 1679 NEW BEST:: SOT 72978883 SOS 10255838 HAS SOPS 10255838 HAS SOUS 9017307 HAS SOUPS 9017307 WITH SCORE 9027562.838
AT ITER 1722 NEW BEST:: SOT 72977965 SOS 10255131 HAS SOPS 10255131 HAS SOUS 9016600 HAS SOUPS 9016600 WITH SCORE 9026855.131
AT ITER 1776 NEW BEST:: SOT 72977180 SOS 10255086 HAS SOPS 10255086 HAS SOUS 9016555 HAS SOUPS 9016555 WITH SCORE 9026810.086
AT ITER 1800 NEW BEST:: SOT 72976643 SOS 10254780 HAS SOPS 10254780 HAS SOUS 9016249 HAS SOUPS 9016249 WITH SCORE 9026503.78
AT ITER 1841 NEW BEST:: SOT 72975827 SOS 10254270 HAS SOPS 10254270 HAS SOUS 9015739 HAS SOUPS 9015739 WITH SCORE 9025993.27
AT ITER 1925 NEW BEST:: SOT 72975114 SOS 10254208 HAS SOPS 10254208 HAS SOUS 9015677 HAS SOUPS 9015677 WITH SCORE 9025931.208
AT ITER 1952 NEW BEST:: SOT 72975114 SOS 10254062 HAS SOPS 10254062 HAS SOUS 9015531 HAS SOUPS 9015531 WITH SCORE 9025785.062
AT ITER 1953 NEW BEST:: SOT 72975114 SOS 10253756 HAS SOPS 10253756 HAS SOUS 9015225 HAS SOUPS 9015225 WITH SCORE 9025478.756
AT ITER 1981 NEW BEST:: SOT 72974216 SOS 10253363 HAS SOPS 10253363 HAS SOUS 9014832 HAS SOUPS 9014832 WITH SCORE 9025085.363
AT ITER 2000 NEW BEST:: SOT 72973420 SOS 10253057 HAS SOPS 10253057 HAS SOUS 9014526 HAS SOUPS 9014526 WITH SCORE 9024779.057
AT ITER 2029 NEW BEST:: SOT 72973029 SOS 10252751 HAS SOPS 10252751 HAS SOUS 9014220 HAS SOUPS 9014220 WITH SCORE 9024472.751
AT ITER 2035 NEW BEST:: SOT 72972441 SOS 10251269 HAS SOPS 10251269 HAS SOUS 9012738 HAS SOUPS 9012738 WITH SCORE 9022989.269
AT ITER 2036 NEW BEST:: SOT 72972441 SOS 10251269 HAS SOPS 10251269 HAS SOUS 9012534 HAS SOUPS 9012534 WITH SCORE 9022785.269
AT ITER 2087 NEW BEST:: SOT 72972288 SOS 10252670 HAS SOPS 10252670 HAS SOUS 9012291 HAS SOUPS 9012291 WITH SCORE 9022543.67
AT ITER 2119 NEW BEST:: SOT 72972283 SOS 10252665 HAS SOPS 10252665 HAS SOUS 9012286 HAS SOUPS 9012286 WITH SCORE 9022538.665
AT ITER 2150 NEW BEST:: SOT 72971949 SOS 10252428 HAS SOPS 10252428 HAS SOUS 9012049 HAS SOUPS 9012049 WITH SCORE 9022301.428
AT ITER 2166 NEW BEST:: SOT 72971591 SOS 10251816 HAS SOPS 10251816 HAS SOUS 9011437 HAS SOUPS 9011437 WITH SCORE 9021688.816
AT ITER 2173 NEW BEST:: SOT 72971591 SOS 10251300 HAS SOPS 10251300 HAS SOUS 9010921 HAS SOUPS 9010921 WITH SCORE 9021172.3
AT ITER 2235 NEW BEST:: SOT 72971591 SOS 10250382 HAS SOPS 10250382 HAS SOUS 9010003 HAS SOUPS 9010003 WITH SCORE 9020253.382
AT ITER 2246 NEW BEST:: SOT 72971591 SOS 10249464 HAS SOPS 10249464 HAS SOUS 9009085 HAS SOUPS 9009085 WITH SCORE 9019334.464
AT ITER 2277 NEW BEST:: SOT 72971030 SOS 10249298 HAS SOPS 10249298 HAS SOUS 9008919 HAS SOUPS 9008919 WITH SCORE 9019168.298
AT ITER 2289 NEW BEST:: SOT 72970074 SOS 10248731 HAS SOPS 10248731 HAS SOUS 9008352 HAS SOUPS 9008352 WITH SCORE 9018600.731
AT ITER 2298 NEW BEST:: SOT 72969823 SOS 10247704 HAS SOPS 10247704 HAS SOUS 9008338 HAS SOUPS 9008338 WITH SCORE 9018585.704
AT ITER 2302 NEW BEST:: SOT 72969304 SOS 10247588 HAS SOPS 10247588 HAS SOUS 9008222 HAS SOUPS 9008222 WITH SCORE 9018469.588
AT ITER 2321 NEW BEST:: SOT 72968103 SOS 10246550 HAS SOPS 10246550 HAS SOUS 9007184 HAS SOUPS 9007184 WITH SCORE 9017430.55
AT ITER 2333 NEW BEST:: SOT 72967380 SOS 10245922 HAS SOPS 10245922 HAS SOUS 9006556 HAS SOUPS 9006556 WITH SCORE 9016801.922
AT ITER 2344 NEW BEST:: SOT 72966508 SOS 10245455 HAS SOPS 10245455 HAS SOUS 9006089 HAS SOUPS 9006089 WITH SCORE 9016334.455
AT ITER 2400 NEW BEST:: SOT 72966387 SOS 10245148 HAS SOPS 10245148 HAS SOUS 9005930 HAS SOUPS 9005930 WITH SCORE 9016175.148
AT ITER 2431 NEW BEST:: SOT 72965418 SOS 10243928 HAS SOPS 10243928 HAS SOUS 9005112 HAS SOUPS 9005112 WITH SCORE 9015355.928
AT ITER 2432 NEW BEST:: SOT 72965386 SOS 10243832 HAS SOPS 10243832 HAS SOUS 9005080 HAS SOUPS 9005080 WITH SCORE 9015323.832
AT ITER 2454 NEW BEST:: SOT 72964500 SOS 10242982 HAS SOPS 10242982 HAS SOUS 9004230 HAS SOUPS 9004230 WITH SCORE 9014472.982
AT ITER 2498 NEW BEST:: SOT 72963767 SOS 10242846 HAS SOPS 10242846 HAS SOUS 9004094 HAS SOUPS 9004094 WITH SCORE 9014336.846
AT ITER 2499 NEW BEST:: SOT 72964120 SOS 10242640 HAS SOPS 10242640 HAS SOUS 9003888 HAS SOUPS 9003888 WITH SCORE 9014130.64
AT ITER 2502 NEW BEST:: SOT 72963872 SOS 10242136 HAS SOPS 10242136 HAS SOUS 9003392 HAS SOUPS 9003392 WITH SCORE 9013634.136
AT ITER 2530 NEW BEST:: SOT 72963348 SOS 10240782 HAS SOPS 10240782 HAS SOUS 9002038 HAS SOUPS 9002038 WITH SCORE 9012278.782
AT ITER 2531 NEW BEST:: SOT 72963230 SOS 10240498 HAS SOPS 10240498 HAS SOUS 9001825 HAS SOUPS 9001825 WITH SCORE 9012065.498
AT ITER 2546 NEW BEST:: SOT 72962952 SOS 10239942 HAS SOPS 10239942 HAS SOUS 9001544 HAS SOUPS 9001544 WITH SCORE 9011783.942
AT ITER 2619 NEW BEST:: SOT 72962836 SOS 10239710 HAS SOPS 10239710 HAS SOUS 9001423 HAS SOUPS 9001423 WITH SCORE 9011662.71
AT ITER 2641 NEW BEST:: SOT 72962450 SOS 10239098 HAS SOPS 10239098 HAS SOUS 9000811 HAS SOUPS 9000811 WITH SCORE 9011050.098
AT ITER 2643 NEW BEST:: SOT 72961784 SOS 10238888 HAS SOPS 10238888 HAS SOUS 9000601 HAS SOUPS 9000601 WITH SCORE 9010839.888
AT ITER 2648 NEW BEST:: SOT 72961560 SOS 10238684 HAS SOPS 10238684 HAS SOUS 9000397 HAS SOUPS 9000397 WITH SCORE 9010635.684
AT ITER 2657 NEW BEST:: SOT 72961326 SOS 10238216 HAS SOPS 10238216 HAS SOUS 8999929 HAS SOUPS 8999929 WITH SCORE 9010167.216
AT ITER 2691 NEW BEST:: SOT 72960391 SOS 10237468 HAS SOPS 10237468 HAS SOUS 8999178 HAS SOUPS 8999178 WITH SCORE 9009415.468
AT ITER 2694 NEW BEST:: SOT 72959779 SOS 10236982 HAS SOPS 10236982 HAS SOUS 8998690 HAS SOUPS 8998690 WITH SCORE 9008926.982
AT ITER 2696 NEW BEST:: SOT 72958708 SOS 10236070 HAS SOPS 10236070 HAS SOUS 8997778 HAS SOUPS 8997778 WITH SCORE 9008014.07
AT ITER 2702 NEW BEST:: SOT 72957737 SOS 10235334 HAS SOPS 10235334 HAS SOUS 8997042 HAS SOUPS 8997042 WITH SCORE 9007277.334
AT ITER 2726 NEW BEST:: SOT 72957358 SOS 10234270 HAS SOPS 10234270 HAS SOUS 8995978 HAS SOUPS 8995978 WITH SCORE 9006212.27
AT ITER 2782 NEW BEST:: SOT 72957090 SOS 10233281 HAS SOPS 10233281 HAS SOUS 8995659 HAS SOUPS 8995659 WITH SCORE 9005892.281
AT ITER 2789 NEW BEST:: SOT 72956521 SOS 10231837 HAS SOPS 10231837 HAS SOUS 8994215 HAS SOUPS 8994215 WITH SCORE 9004446.837
AT ITER 2795 NEW BEST:: SOT 72956521 SOS 10231782 HAS SOPS 10231782 HAS SOUS 8994160 HAS SOUPS 8994160 WITH SCORE 9004391.782
AT ITER 2840 NEW BEST:: SOT 72956403 SOS 10231298 HAS SOPS 10231298 HAS SOUS 8993945 HAS SOUPS 8993945 WITH SCORE 9004176.298
AT ITER 2844 NEW BEST:: SOT 72955685 SOS 10231106 HAS SOPS 10231106 HAS SOUS 8993804 HAS SOUPS 8993804 WITH SCORE 9004035.106
AT ITER 2854 NEW BEST:: SOT 72955685 SOS 10230924 HAS SOPS 10230924 HAS SOUS 8993622 HAS SOUPS 8993622 WITH SCORE 9003852.924
AT ITER 2871 NEW BEST:: SOT 72954714 SOS 10230137 HAS SOPS 10230137 HAS SOUS 8992835 HAS SOUPS 8992835 WITH SCORE 9003065.137
AT ITER 2927 NEW BEST:: SOT 72954364 SOS 10229525 HAS SOPS 10229525 HAS SOUS 8992223 HAS SOUPS 8992223 WITH SCORE 9002452.525
AT ITER 2929 NEW BEST:: SOT 72954274 SOS 10229345 HAS SOPS 10229345 HAS SOUS 8992043 HAS SOUPS 8992043 WITH SCORE 9002272.345
AT ITER 2942 NEW BEST:: SOT 72953668 SOS 10229039 HAS SOPS 10229039 HAS SOUS 8991737 HAS SOUPS 8991737 WITH SCORE 9001966.039
AT ITER 3004 NEW BEST:: SOT 72953078 SOS 10227553 HAS SOPS 10227553 HAS SOUS 8990251 HAS SOUPS 8990251 WITH SCORE 9000478.553
AT ITER 3011 NEW BEST:: SOT 72952309 SOS 10227345 HAS SOPS 10227345 HAS SOUS 8990043 HAS SOUPS 8990043 WITH SCORE 9000270.345
AT ITER 3014 NEW BEST:: SOT 72951372 SOS 10226393 HAS SOPS 10226393 HAS SOUS 8989091 HAS SOUPS 8989091 WITH SCORE 8999317.393
AT ITER 3018 NEW BEST:: SOT 72951164 SOS 10226185 HAS SOPS 10226185 HAS SOUS 8988883 HAS SOUPS 8988883 WITH SCORE 8999109.185
AT ITER 3052 NEW BEST:: SOT 72950789 SOS 10225435 HAS SOPS 10225435 HAS SOUS 8988133 HAS SOUPS 8988133 WITH SCORE 8998358.435
AT ITER 3062 NEW BEST:: SOT 72950789 SOS 10225595 HAS SOPS 10225595 HAS SOUS 8988031 HAS SOUPS 8988031 WITH SCORE 8998256.595
AT ITER 3106 NEW BEST:: SOT 72949716 SOS 10224641 HAS SOPS 10224641 HAS SOUS 8987077 HAS SOUPS 8987077 WITH SCORE 8997301.641
AT ITER 3117 NEW BEST:: SOT 72949686 SOS 10224581 HAS SOPS 10224581 HAS SOUS 8987017 HAS SOUPS 8987017 WITH SCORE 8997241.581
AT ITER 3124 NEW BEST:: SOT 72948768 SOS 10223692 HAS SOPS 10223692 HAS SOUS 8986124 HAS SOUPS 8986124 WITH SCORE 8996347.692
AT ITER 3147 NEW BEST:: SOT 72948090 SOS 10223386 HAS SOPS 10223386 HAS SOUS 8985818 HAS SOUPS 8985818 WITH SCORE 8996041.386
AT ITER 3149 NEW BEST:: SOT 72947598 SOS 10223080 HAS SOPS 10223080 HAS SOUS 8985512 HAS SOUPS 8985512 WITH SCORE 8995735.08
AT ITER 3156 NEW BEST:: SOT 72947598 SOS 10223029 HAS SOPS 10223029 HAS SOUS 8985508 HAS SOUPS 8985508 WITH SCORE 8995731.029
AT ITER 3166 NEW BEST:: SOT 72947598 SOS 10222750 HAS SOPS 10222750 HAS SOUS 8985229 HAS SOUPS 8985229 WITH SCORE 8995451.75
AT ITER 3247 NEW BEST:: SOT 72946525 SOS 10221793 HAS SOPS 10221793 HAS SOUS 8984272 HAS SOUPS 8984272 WITH SCORE 8994493.793
AT ITER 3251 NEW BEST:: SOT 72945066 SOS 10220635 HAS SOPS 10220635 HAS SOUS 8983114 HAS SOUPS 8983114 WITH SCORE 8993334.635
AT ITER 3279 NEW BEST:: SOT 72944456 SOS 10219499 HAS SOPS 10219499 HAS SOUS 8982504 HAS SOUPS 8982504 WITH SCORE 8992723.499
AT ITER 3314 NEW BEST:: SOT 72944259 SOS 10218908 HAS SOPS 10218908 HAS SOUS 8981913 HAS SOUPS 8981913 WITH SCORE 8992131.908
AT ITER 3318 NEW BEST:: SOT 72943343 SOS 10218602 HAS SOPS 10218602 HAS SOUS 8981607 HAS SOUPS 8981607 WITH SCORE 8991825.602
AT ITER 3321 NEW BEST:: SOT 72943207 SOS 10218202 HAS SOPS 10218202 HAS SOUS 8981207 HAS SOUPS 8981207 WITH SCORE 8991425.202
AT ITER 3356 NEW BEST:: SOT 72942364 SOS 10216672 HAS SOPS 10216672 HAS SOUS 8979677 HAS SOUPS 8979677 WITH SCORE 8989893.672
AT ITER 3376 NEW BEST:: SOT 72941803 SOS 10216603 HAS SOPS 10216603 HAS SOUS 8979608 HAS SOUPS 8979608 WITH SCORE 8989824.603
AT ITER 3377 NEW BEST:: SOT 72940867 SOS 10216402 HAS SOPS 10216402 HAS SOUS 8979407 HAS SOUPS 8979407 WITH SCORE 8989623.402
AT ITER 3450 NEW BEST:: SOT 72940751 SOS 10216476 HAS SOPS 10216476 HAS SOUS 8979378 HAS SOUPS 8979378 WITH SCORE 8989594.476
AT ITER 3521 NEW BEST:: SOT 72940751 SOS 10216476 HAS SOPS 10216476 HAS SOUS 8979372 HAS SOUPS 8979372 WITH SCORE 8989588.476
AT ITER 3539 NEW BEST:: SOT 72939408 SOS 10215450 HAS SOPS 10215450 HAS SOUS 8978346 HAS SOUPS 8978346 WITH SCORE 8988561.45
AT ITER 3550 NEW BEST:: SOT 72938598 SOS 10215342 HAS SOPS 10215342 HAS SOUS 8977428 HAS SOUPS 8977428 WITH SCORE 8987643.342
AT ITER 3584 NEW BEST:: SOT 72937668 SOS 10214853 HAS SOPS 10214853 HAS SOUS 8976939 HAS SOUPS 8976939 WITH SCORE 8987153.853
AT ITER 3626 NEW BEST:: SOT 72937107 SOS 10214689 HAS SOPS 10214689 HAS SOUS 8976775 HAS SOUPS 8976775 WITH SCORE 8986989.689
AT ITER 3648 NEW BEST:: SOT 72936899 SOS 10214535 HAS SOPS 10214535 HAS SOUS 8976728 HAS SOUPS 8976728 WITH SCORE 8986942.535
AT ITER 3655 NEW BEST:: SOT 72936660 SOS 10214057 HAS SOPS 10214057 HAS SOUS 8976250 HAS SOUPS 8976250 WITH SCORE 8986464.057
AT ITER 3663 NEW BEST:: SOT 72936064 SOS 10212559 HAS SOPS 10212559 HAS SOUS 8974752 HAS SOUPS 8974752 WITH SCORE 8984964.559
AT ITER 3668 NEW BEST:: SOT 72935704 SOS 10211959 HAS SOPS 10211959 HAS SOUS 8974290 HAS SOUPS 8974290 WITH SCORE 8984501.959
AT ITER 3678 NEW BEST:: SOT 72935704 SOS 10211787 HAS SOPS 10211787 HAS SOUS 8974118 HAS SOUPS 8974118 WITH SCORE 8984329.787
AT ITER 3693 NEW BEST:: SOT 72935704 SOS 10211687 HAS SOPS 10211687 HAS SOUS 8974018 HAS SOUPS 8974018 WITH SCORE 8984229.687
AT ITER 3697 NEW BEST:: SOT 72934999 SOS 10211199 HAS SOPS 10211199 HAS SOUS 8973530 HAS SOUPS 8973530 WITH SCORE 8983741.199
AT ITER 3714 NEW BEST:: SOT 72934132 SOS 10211174 HAS SOPS 10211174 HAS SOUS 8973505 HAS SOUPS 8973505 WITH SCORE 8983716.174
AT ITER 3721 NEW BEST:: SOT 72933879 SOS 10210862 HAS SOPS 10210862 HAS SOUS 8973193 HAS SOUPS 8973193 WITH SCORE 8983403.862
AT ITER 3728 NEW BEST:: SOT 72932936 SOS 10210334 HAS SOPS 10210334 HAS SOUS 8972665 HAS SOUPS 8972665 WITH SCORE 8982875.334
AT ITER 3742 NEW BEST:: SOT 72932936 SOS 10210159 HAS SOPS 10210159 HAS SOUS 8972490 HAS SOUPS 8972490 WITH SCORE 8982700.159
AT ITER 3757 NEW BEST:: SOT 72932754 SOS 10209613 HAS SOPS 10209613 HAS SOUS 8971944 HAS SOUPS 8971944 WITH SCORE 8982153.613
AT ITER 3778 NEW BEST:: SOT 72931835 SOS 10209509 HAS SOPS 10209509 HAS SOUS 8971840 HAS SOUPS 8971840 WITH SCORE 8982049.509
AT ITER 3791 NEW BEST:: SOT 72931835 SOS 10209407 HAS SOPS 10209407 HAS SOUS 8971738 HAS SOUPS 8971738 WITH SCORE 8981947.407
AT ITER 3812 NEW BEST:: SOT 72931708 SOS 10209280 HAS SOPS 10209280 HAS SOUS 8971685 HAS SOUPS 8971685 WITH SCORE 8981894.28
AT ITER 3836 NEW BEST:: SOT 72931289 SOS 10208136 HAS SOPS 10208136 HAS SOUS 8970541 HAS SOUPS 8970541 WITH SCORE 8980749.136
AT ITER 3891 NEW BEST:: SOT 72930742 SOS 10206977 HAS SOPS 10206977 HAS SOUS 8969382 HAS SOUPS 8969382 WITH SCORE 8979588.977
AT ITER 3904 NEW BEST:: SOT 72930691 SOS 10206875 HAS SOPS 10206875 HAS SOUS 8969280 HAS SOUPS 8969280 WITH SCORE 8979486.875
AT ITER 3928 NEW BEST:: SOT 72930691 SOS 10206794 HAS SOPS 10206794 HAS SOUS 8969199 HAS SOUPS 8969199 WITH SCORE 8979405.794
AT ITER 3934 NEW BEST:: SOT 72930083 SOS 10206720 HAS SOPS 10206720 HAS SOUS 8969000 HAS SOUPS 8969000 WITH SCORE 8979206.72
AT ITER 3937 NEW BEST:: SOT 72929391 SOS 10206666 HAS SOPS 10206666 HAS SOUS 8968946 HAS SOUPS 8968946 WITH SCORE 8979152.666
AT ITER 3957 NEW BEST:: SOT 72927750 SOS 10205427 HAS SOPS 10205427 HAS SOUS 8967563 HAS SOUPS 8967563 WITH SCORE 8977768.427
AT ITER 4007 NEW BEST:: SOT 72926868 SOS 10205082 HAS SOPS 10205082 HAS SOUS 8967218 HAS SOUPS 8967218 WITH SCORE 8977423.082
AT ITER 4087 NEW BEST:: SOT 72926738 SOS 10205128 HAS SOPS 10205128 HAS SOUS 8967156 HAS SOUPS 8967156 WITH SCORE 8977361.128
AT ITER 4135 NEW BEST:: SOT 72926437 SOS 10204526 HAS SOPS 10204526 HAS SOUS 8966851 HAS SOUPS 8966851 WITH SCORE 8977055.526
AT ITER 4148 NEW BEST:: SOT 72926327 SOS 10204196 HAS SOPS 10204196 HAS SOUS 8966521 HAS SOUPS 8966521 WITH SCORE 8976725.196
AT ITER 4172 NEW BEST:: SOT 72925622 SOS 10203908 HAS SOPS 10203908 HAS SOUS 8966233 HAS SOUPS 8966233 WITH SCORE 8976436.908
AT ITER 4197 NEW BEST:: SOT 72921322 SOS 10200021 HAS SOPS 10200021 HAS SOUS 8962346 HAS SOUPS 8962346 WITH SCORE 8972546.021
AT ITER 4218 NEW BEST:: SOT 72921115 SOS 10199400 HAS SOPS 10199400 HAS SOUS 8961725 HAS SOUPS 8961725 WITH SCORE 8971924.4
AT ITER 4227 NEW BEST:: SOT 72920611 SOS 10198086 HAS SOPS 10198086 HAS SOUS 8960411 HAS SOUPS 8960411 WITH SCORE 8970609.086
AT ITER 4271 NEW BEST:: SOT 72919739 SOS 10197595 HAS SOPS 10197595 HAS SOUS 8959920 HAS SOUPS 8959920 WITH SCORE 8970117.595
AT ITER 4331 NEW BEST:: SOT 72919216 SOS 10196243 HAS SOPS 10196243 HAS SOUS 8958568 HAS SOUPS 8958568 WITH SCORE 8968764.243
AT ITER 4342 NEW BEST:: SOT 72916201 SOS 10193689 HAS SOPS 10193689 HAS SOUS 8956014 HAS SOUPS 8956014 WITH SCORE 8966207.689
AT ITER 4356 NEW BEST:: SOT 72915640 SOS 10193658 HAS SOPS 10193658 HAS SOUS 8955983 HAS SOUPS 8955983 WITH SCORE 8966176.658
AT ITER 4360 NEW BEST:: SOT 72915487 SOS 10193403 HAS SOPS 10193403 HAS SOUS 8955728 HAS SOUPS 8955728 WITH SCORE 8965921.403
AT ITER 4387 NEW BEST:: SOT 72915487 SOS 10193331 HAS SOPS 10193331 HAS SOUS 8955656 HAS SOUPS 8955656 WITH SCORE 8965849.331
AT ITER 4405 NEW BEST:: SOT 72915487 SOS 10193229 HAS SOPS 10193229 HAS SOUS 8955554 HAS SOUPS 8955554 WITH SCORE 8965747.229
AT ITER 4438 NEW BEST:: SOT 72914886 SOS 10192949 HAS SOPS 10192949 HAS SOUS 8955274 HAS SOUPS 8955274 WITH SCORE 8965466.949
AT ITER 4440 NEW BEST:: SOT 72914014 SOS 10192551 HAS SOPS 10192551 HAS SOUS 8954876 HAS SOUPS 8954876 WITH SCORE 8965068.551
AT ITER 4444 NEW BEST:: SOT 72913963 SOS 10192500 HAS SOPS 10192500 HAS SOUS 8954825 HAS SOUPS 8954825 WITH SCORE 8965017.5
AT ITER 4503 NEW BEST:: SOT 72913606 SOS 10192168 HAS SOPS 10192168 HAS SOUS 8954493 HAS SOUPS 8954493 WITH SCORE 8964685.168
AT ITER 4542 NEW BEST:: SOT 72913606 SOS 10192013 HAS SOPS 10192013 HAS SOUS 8954338 HAS SOUPS 8954338 WITH SCORE 8964530.013
AT ITER 4558 NEW BEST:: SOT 72913398 SOS 10191389 HAS SOPS 10191389 HAS SOUS 8953714 HAS SOUPS 8953714 WITH SCORE 8963905.389
AT ITER 4615 NEW BEST:: SOT 72912615 SOS 10190958 HAS SOPS 10190958 HAS SOUS 8953283 HAS SOUPS 8953283 WITH SCORE 8963473.958
AT ITER 4618 NEW BEST:: SOT 72911895 SOS 10189428 HAS SOPS 10189428 HAS SOUS 8951753 HAS SOUPS 8951753 WITH SCORE 8961942.428
AT ITER 4674 NEW BEST:: SOT 72910978 SOS 10188924 HAS SOPS 10188924 HAS SOUS 8951249 HAS SOUPS 8951249 WITH SCORE 8961437.924
AT ITER 4684 NEW BEST:: SOT 72897034 SOS 10352591 HAS SOPS 10352591 HAS SOUS 8940540 HAS SOUPS 8940540 WITH SCORE 8950892.591
AT ITER 4697 NEW BEST:: SOT 72897198 SOS 10352576 HAS SOPS 10352576 HAS SOUS 8940525 HAS SOUPS 8940525 WITH SCORE 8950877.576
AT ITER 4705 NEW BEST:: SOT 72896702 SOS 10351584 HAS SOPS 10351584 HAS SOUS 8939533 HAS SOUPS 8939533 WITH SCORE 8949884.584
AT ITER 4744 NEW BEST:: SOT 72895680 SOS 10350819 HAS SOPS 10350819 HAS SOUS 8938768 HAS SOUPS 8938768 WITH SCORE 8949118.819
AT ITER 4752 NEW BEST:: SOT 72894607 SOS 10349775 HAS SOPS 10349775 HAS SOUS 8937724 HAS SOUPS 8937724 WITH SCORE 8948073.775
AT ITER 4757 NEW BEST:: SOT 72894345 SOS 10349754 HAS SOPS 10349754 HAS SOUS 8937703 HAS SOUPS 8937703 WITH SCORE 8948052.754
AT ITER 4820 NEW BEST:: SOT 72893374 SOS 10349013 HAS SOPS 10349013 HAS SOUS 8936962 HAS SOUPS 8936962 WITH SCORE 8947311.013
AT ITER 4822 NEW BEST:: SOT 72892546 SOS 10348830 HAS SOPS 10348830 HAS SOUS 8936779 HAS SOUPS 8936779 WITH SCORE 8947127.83
AT ITER 4865 NEW BEST:: SOT 72892696 SOS 10348674 HAS SOPS 10348674 HAS SOUS 8936623 HAS SOUPS 8936623 WITH SCORE 8946971.674
AT ITER 4889 NEW BEST:: SOT 72892274 SOS 10347524 HAS SOPS 10347524 HAS SOUS 8935473 HAS SOUPS 8935473 WITH SCORE 8945820.524
AT ITER 4892 NEW BEST:: SOT 72892202 SOS 10347431 HAS SOPS 10347431 HAS SOUS 8935380 HAS SOUPS 8935380 WITH SCORE 8945727.431
AT ITER 4914 NEW BEST:: SOT 72891052 SOS 10346861 HAS SOPS 10346861 HAS SOUS 8934810 HAS SOUPS 8934810 WITH SCORE 8945156.861
AT ITER 4942 NEW BEST:: SOT 72891052 SOS 10346759 HAS SOPS 10346759 HAS SOUS 8934708 HAS SOUPS 8934708 WITH SCORE 8945054.759
AT ITER 4944 NEW BEST:: SOT 72890177 SOS 10346727 HAS SOPS 10346727 HAS SOUS 8934676 HAS SOUPS 8934676 WITH SCORE 8945022.727
AT ITER 4991 NEW BEST:: SOT 72889780 SOS 10346115 HAS SOPS 10346115 HAS SOUS 8934064 HAS SOUPS 8934064 WITH SCORE 8944410.115
AT ITER 4994 NEW BEST:: SOT 72887263 SOS 10349575 HAS SOPS 10349575 HAS SOUS 8933494 HAS SOUPS 8933494 WITH SCORE 8943843.575
AT ITER 5011 NEW BEST:: SOT 72887161 SOS 10349147 HAS SOPS 10349147 HAS SOUS 8933307 HAS SOUPS 8933307 WITH SCORE 8943656.147
AT ITER 5052 NEW BEST:: SOT 72887161 SOS 10348966 HAS SOPS 10348966 HAS SOUS 8933126 HAS SOUPS 8933126 WITH SCORE 8943474.966
AT ITER 5115 NEW BEST:: SOT 72887066 SOS 10349346 HAS SOPS 10349346 HAS SOUS 8933031 HAS SOUPS 8933031 WITH SCORE 8943380.346
AT ITER 5143 NEW BEST:: SOT 72886148 SOS 10348705 HAS SOPS 10348705 HAS SOUS 8932390 HAS SOUPS 8932390 WITH SCORE 8942738.705
AT ITER 5169 NEW BEST:: SOT 72885983 SOS 10348375 HAS SOPS 10348375 HAS SOUS 8931895 HAS SOUPS 8931895 WITH SCORE 8942243.375
AT ITER 5170 NEW BEST:: SOT 72885650 SOS 10347763 HAS SOPS 10347763 HAS SOUS 8931616 HAS SOUPS 8931616 WITH SCORE 8941963.763
AT ITER 5209 NEW BEST:: SOT 72885017 SOS 10347619 HAS SOPS 10347619 HAS SOUS 8931472 HAS SOUPS 8931472 WITH SCORE 8941819.619
AT ITER 5225 NEW BEST:: SOT 72884635 SOS 10334473 HAS SOPS 10334473 HAS SOUS 8931090 HAS SOUPS 8931090 WITH SCORE 8941424.473
AT ITER 5261 NEW BEST:: SOT 72884322 SOS 10333548 HAS SOPS 10333548 HAS SOUS 8930165 HAS SOUPS 8930165 WITH SCORE 8940498.548
AT ITER 5272 NEW BEST:: SOT 72884220 SOS 10333446 HAS SOPS 10333446 HAS SOUS 8930063 HAS SOUPS 8930063 WITH SCORE 8940396.446
AT ITER 5282 NEW BEST:: SOT 72883386 SOS 10331949 HAS SOPS 10331949 HAS SOUS 8928617 HAS SOUPS 8928617 WITH SCORE 8938948.949
AT ITER 5286 NEW BEST:: SOT 72880170 SOS 10329180 HAS SOPS 10329180 HAS SOUS 8925848 HAS SOUPS 8925848 WITH SCORE 8936177.18
AT ITER 5311 NEW BEST:: SOT 72880017 SOS 10329027 HAS SOPS 10329027 HAS SOUS 8925695 HAS SOUPS 8925695 WITH SCORE 8936024.027
AT ITER 5316 NEW BEST:: SOT 72879966 SOS 10328874 HAS SOPS 10328874 HAS SOUS 8925542 HAS SOUPS 8925542 WITH SCORE 8935870.874
AT ITER 5327 NEW BEST:: SOT 72879192 SOS 10328448 HAS SOPS 10328448 HAS SOUS 8925116 HAS SOUPS 8925116 WITH SCORE 8935444.448
AT ITER 5371 NEW BEST:: SOT 72878897 SOS 10327858 HAS SOPS 10327858 HAS SOUS 8924526 HAS SOUPS 8924526 WITH SCORE 8934853.858
AT ITER 5376 NEW BEST:: SOT 72878283 SOS 10326572 HAS SOPS 10326572 HAS SOUS 8923810 HAS SOUPS 8923810 WITH SCORE 8934136.572
AT ITER 5439 NEW BEST:: SOT 72877793 SOS 10325286 HAS SOPS 10325286 HAS SOUS 8922524 HAS SOUPS 8922524 WITH SCORE 8932849.286
AT ITER 5489 NEW BEST:: SOT 72877691 SOS 10325147 HAS SOPS 10325147 HAS SOUS 8922385 HAS SOUPS 8922385 WITH SCORE 8932710.147
AT ITER 5528 NEW BEST:: SOT 72877119 SOS 10324617 HAS SOPS 10324617 HAS SOUS 8921855 HAS SOUPS 8921855 WITH SCORE 8932179.617
AT ITER 5536 NEW BEST:: SOT 72876841 SOS 10324566 HAS SOPS 10324566 HAS SOUS 8921804 HAS SOUPS 8921804 WITH SCORE 8932128.566
AT ITER 5564 NEW BEST:: SOT 72876841 SOS 10324354 HAS SOPS 10324354 HAS SOUS 8921804 HAS SOUPS 8921804 WITH SCORE 8932128.354
AT ITER 5565 NEW BEST:: SOT 72876627 SOS 10323926 HAS SOPS 10323926 HAS SOUS 8921376 HAS SOUPS 8921376 WITH SCORE 8931699.926
AT ITER 5589 NEW BEST:: SOT 72875755 SOS 10323603 HAS SOPS 10323603 HAS SOUS 8921053 HAS SOUPS 8921053 WITH SCORE 8931376.603
AT ITER 5604 NEW BEST:: SOT 72875574 SOS 10323241 HAS SOPS 10323241 HAS SOUS 8920691 HAS SOUPS 8920691 WITH SCORE 8931014.241
AT ITER 5639 NEW BEST:: SOT 72875305 SOS 10322972 HAS SOPS 10322972 HAS SOUS 8920422 HAS SOUPS 8920422 WITH SCORE 8930744.972
AT ITER 5645 NEW BEST:: SOT 72874880 SOS 10322190 HAS SOPS 10322190 HAS SOUS 8919691 HAS SOUPS 8919691 WITH SCORE 8930013.19
AT ITER 5691 NEW BEST:: SOT 72874529 SOS 10321656 HAS SOPS 10321656 HAS SOUS 8919340 HAS SOUPS 8919340 WITH SCORE 8929661.656
AT ITER 5709 NEW BEST:: SOT 72874471 SOS 10321453 HAS SOPS 10321453 HAS SOUS 8919101 HAS SOUPS 8919101 WITH SCORE 8929422.453
AT ITER 5738 NEW BEST:: SOT 72873740 SOS 10319923 HAS SOPS 10319923 HAS SOUS 8917571 HAS SOUPS 8917571 WITH SCORE 8927890.923
AT ITER 5795 NEW BEST:: SOT 72873395 SOS 10318966 HAS SOPS 10318966 HAS SOUS 8916614 HAS SOUPS 8916614 WITH SCORE 8926932.966
AT ITER 5802 NEW BEST:: SOT 72873206 SOS 10318675 HAS SOPS 10318675 HAS SOUS 8916323 HAS SOUPS 8916323 WITH SCORE 8926641.675
AT ITER 5803 NEW BEST:: SOT 72872318 SOS 10317438 HAS SOPS 10317438 HAS SOUS 8915086 HAS SOUPS 8915086 WITH SCORE 8925403.438
AT ITER 5825 NEW BEST:: SOT 72871961 SOS 10317087 HAS SOPS 10317087 HAS SOUS 8914735 HAS SOUPS 8914735 WITH SCORE 8925052.087
AT ITER 5846 NEW BEST:: SOT 72871961 SOS 10317049 HAS SOPS 10317049 HAS SOUS 8914735 HAS SOUPS 8914735 WITH SCORE 8925052.049
AT ITER 5897 NEW BEST:: SOT 72870783 SOS 10316369 HAS SOPS 10316369 HAS SOUS 8914055 HAS SOUPS 8914055 WITH SCORE 8924371.369
AT ITER 5943 NEW BEST:: SOT 72870503 SOS 10316118 HAS SOPS 10316118 HAS SOUS 8913804 HAS SOUPS 8913804 WITH SCORE 8924120.118
AT ITER 5981 NEW BEST:: SOT 72870503 SOS 10315834 HAS SOPS 10315834 HAS SOUS 8913520 HAS SOUPS 8913520 WITH SCORE 8923835.834
AT ITER 5998 NEW BEST:: SOT 72870503 SOS 10315785 HAS SOPS 10315785 HAS SOUS 8913471 HAS SOUPS 8913471 WITH SCORE 8923786.785
AT ITER 6023 NEW BEST:: SOT 72870488 SOS 10315770 HAS SOPS 10315770 HAS SOUS 8913456 HAS SOUPS 8913456 WITH SCORE 8923771.77
AT ITER 6026 NEW BEST:: SOT 72870030 SOS 10315541 HAS SOPS 10315541 HAS SOUS 8913221 HAS SOUPS 8913221 WITH SCORE 8923536.541
AT ITER 6037 NEW BEST:: SOT 72869136 SOS 10314675 HAS SOPS 10314675 HAS SOUS 8912355 HAS SOUPS 8912355 WITH SCORE 8922669.675
AT ITER 6065 NEW BEST:: SOT 72855071 SOS 10477583 HAS SOPS 10477583 HAS SOUS 8901831 HAS SOUPS 8901831 WITH SCORE 8912308.583
AT ITER 6096 NEW BEST:: SOT 72851834 SOS 10477253 HAS SOPS 10477253 HAS SOUS 8900021 HAS SOUPS 8900021 WITH SCORE 8910498.253
AT ITER 6102 NEW BEST:: SOT 72851834 SOS 10476335 HAS SOPS 10476335 HAS SOUS 8899103 HAS SOUPS 8899103 WITH SCORE 8909579.335
AT ITER 6104 NEW BEST:: SOT 72851834 SOS 10476624 HAS SOPS 10476624 HAS SOUS 8898491 HAS SOUPS 8898491 WITH SCORE 8908967.624
AT ITER 6112 NEW BEST:: SOT 72851032 SOS 10476318 HAS SOPS 10476318 HAS SOUS 8898185 HAS SOUPS 8898185 WITH SCORE 8908661.318
AT ITER 6118 NEW BEST:: SOT 72850981 SOS 10476267 HAS SOPS 10476267 HAS SOUS 8898134 HAS SOUPS 8898134 WITH SCORE 8908610.267
AT ITER 6130 NEW BEST:: SOT 72850694 SOS 10475693 HAS SOPS 10475693 HAS SOUS 8897560 HAS SOUPS 8897560 WITH SCORE 8908035.693
AT ITER 6140 NEW BEST:: SOT 72850694 SOS 10475386 HAS SOPS 10475386 HAS SOUS 8897559 HAS SOUPS 8897559 WITH SCORE 8908034.386
AT ITER 6155 NEW BEST:: SOT 72850721 SOS 10475413 HAS SOPS 10475413 HAS SOUS 8897457 HAS SOUPS 8897457 WITH SCORE 8907932.413
AT ITER 6156 NEW BEST:: SOT 72850721 SOS 10475386 HAS SOPS 10475386 HAS SOUS 8897430 HAS SOUPS 8897430 WITH SCORE 8907905.386
AT ITER 6175 NEW BEST:: SOT 72849826 SOS 10474185 HAS SOPS 10474185 HAS SOUS 8897302 HAS SOUPS 8897302 WITH SCORE 8907776.185
AT ITER 6228 NEW BEST:: SOT 72849530 SOS 10473593 HAS SOPS 10473593 HAS SOUS 8896710 HAS SOUPS 8896710 WITH SCORE 8907183.593
AT ITER 6237 NEW BEST:: SOT 72848625 SOS 10472063 HAS SOPS 10472063 HAS SOUS 8895180 HAS SOUPS 8895180 WITH SCORE 8905652.063
AT ITER 6265 NEW BEST:: SOT 72847605 SOS 10471994 HAS SOPS 10471994 HAS SOUS 8895111 HAS SOUPS 8895111 WITH SCORE 8905582.994
AT ITER 6309 NEW BEST:: SOT 72847033 SOS 10471362 HAS SOPS 10471362 HAS SOUS 8894479 HAS SOUPS 8894479 WITH SCORE 8904950.362
AT ITER 6353 NEW BEST:: SOT 72846263 SOS 10470744 HAS SOPS 10470744 HAS SOUS 8893861 HAS SOUPS 8893861 WITH SCORE 8904331.744
AT ITER 6376 NEW BEST:: SOT 72846212 SOS 10470693 HAS SOPS 10470693 HAS SOUS 8893810 HAS SOUPS 8893810 WITH SCORE 8904280.693
AT ITER 6386 NEW BEST:: SOT 72846171 SOS 10470608 HAS SOPS 10470608 HAS SOUS 8893725 HAS SOUPS 8893725 WITH SCORE 8904195.608
AT ITER 6395 NEW BEST:: SOT 72845902 SOS 10469801 HAS SOPS 10469801 HAS SOUS 8892918 HAS SOUPS 8892918 WITH SCORE 8903387.801
AT ITER 6496 NEW BEST:: SOT 72845752 SOS 10469801 HAS SOPS 10469801 HAS SOUS 8892896 HAS SOUPS 8892896 WITH SCORE 8903365.801
AT ITER 6498 NEW BEST:: SOT 72844496 SOS 10468679 HAS SOPS 10468679 HAS SOUS 8891774 HAS SOUPS 8891774 WITH SCORE 8902242.679
AT ITER 6508 NEW BEST:: SOT 72844496 SOS 10468625 HAS SOPS 10468625 HAS SOUS 8891720 HAS SOUPS 8891720 WITH SCORE 8902188.625
AT ITER 6677 NEW BEST:: SOT 72844032 SOS 10468013 HAS SOPS 10468013 HAS SOUS 8891108 HAS SOUPS 8891108 WITH SCORE 8901576.013
AT ITER 6678 NEW BEST:: SOT 72844032 SOS 10466574 HAS SOPS 10466574 HAS SOUS 8890972 HAS SOUPS 8890972 WITH SCORE 8901438.574
AT ITER 6693 NEW BEST:: SOT 72844032 SOS 10466561 HAS SOPS 10466561 HAS SOUS 8890959 HAS SOUPS 8890959 WITH SCORE 8901425.561
AT ITER 6702 NEW BEST:: SOT 72843205 SOS 10466441 HAS SOPS 10466441 HAS SOUS 8890839 HAS SOUPS 8890839 WITH SCORE 8901305.441
AT ITER 6712 NEW BEST:: SOT 72842919 SOS 10465583 HAS SOPS 10465583 HAS SOUS 8889981 HAS SOUPS 8889981 WITH SCORE 8900446.583
AT ITER 6725 NEW BEST:: SOT 72842623 SOS 10465333 HAS SOPS 10465333 HAS SOUS 8889731 HAS SOUPS 8889731 WITH SCORE 8900196.333
AT ITER 6764 NEW BEST:: SOT 72842408 SOS 10465161 HAS SOPS 10465161 HAS SOUS 8889555 HAS SOUPS 8889555 WITH SCORE 8900020.161
AT ITER 6828 NEW BEST:: SOT 72842408 SOS 10465092 HAS SOPS 10465092 HAS SOUS 8889486 HAS SOUPS 8889486 WITH SCORE 8899951.092
AT ITER 6832 NEW BEST:: SOT 72842408 SOS 10465092 HAS SOPS 10465092 HAS SOUS 8889193 HAS SOUPS 8889193 WITH SCORE 8899658.092
AT ITER 6909 NEW BEST:: SOT 72839292 SOS 10462538 HAS SOPS 10462538 HAS SOUS 8886333 HAS SOUPS 8886333 WITH SCORE 8896795.538
AT ITER 6960 NEW BEST:: SOT 72838657 SOS 10461008 HAS SOPS 10461008 HAS SOUS 8884803 HAS SOUPS 8884803 WITH SCORE 8895264.008
AT ITER 6962 NEW BEST:: SOT 72838616 SOS 10460976 HAS SOPS 10460976 HAS SOUS 8884771 HAS SOUPS 8884771 WITH SCORE 8895231.976
AT ITER 6966 NEW BEST:: SOT 72838114 SOS 10459666 HAS SOPS 10459666 HAS SOUS 8883461 HAS SOUPS 8883461 WITH SCORE 8893920.666
AT ITER 6977 NEW BEST:: SOT 72837693 SOS 10458633 HAS SOPS 10458633 HAS SOUS 8882428 HAS SOUPS 8882428 WITH SCORE 8892886.633
AT ITER 6979 NEW BEST:: SOT 72837421 SOS 10458169 HAS SOPS 10458169 HAS SOUS 8882054 HAS SOUPS 8882054 WITH SCORE 8892512.169
AT ITER 6987 NEW BEST:: SOT 72836554 SOS 10458057 HAS SOPS 10458057 HAS SOUS 8881942 HAS SOUPS 8881942 WITH SCORE 8892400.057
AT ITER 6993 NEW BEST:: SOT 72835802 SOS 10457883 HAS SOPS 10457883 HAS SOUS 8881768 HAS SOUPS 8881768 WITH SCORE 8892225.883
AT ITER 7017 NEW BEST:: SOT 72835751 SOS 10457781 HAS SOPS 10457781 HAS SOUS 8881666 HAS SOUPS 8881666 WITH SCORE 8892123.781
AT ITER 7077 NEW BEST:: SOT 72835206 SOS 10456955 HAS SOPS 10456955 HAS SOUS 8880840 HAS SOUPS 8880840 WITH SCORE 8891296.955
AT ITER 7087 NEW BEST:: SOT 72835155 SOS 10456860 HAS SOPS 10456860 HAS SOUS 8880745 HAS SOUPS 8880745 WITH SCORE 8891201.86
AT ITER 7089 NEW BEST:: SOT 72834075 SOS 10456395 HAS SOPS 10456395 HAS SOUS 8880280 HAS SOUPS 8880280 WITH SCORE 8890736.395
AT ITER 7109 NEW BEST:: SOT 72834075 SOS 10456697 HAS SOPS 10456697 HAS SOUS 8879974 HAS SOUPS 8879974 WITH SCORE 8890430.697
AT ITER 7122 NEW BEST:: SOT 72833645 SOS 10456541 HAS SOPS 10456541 HAS SOUS 8879818 HAS SOUPS 8879818 WITH SCORE 8890274.541
AT ITER 7146 NEW BEST:: SOT 72832995 SOS 10455011 HAS SOPS 10455011 HAS SOUS 8878288 HAS SOUPS 8878288 WITH SCORE 8888743.011
AT ITER 7157 NEW BEST:: SOT 72832460 SOS 10455002 HAS SOPS 10455002 HAS SOUS 8878279 HAS SOUPS 8878279 WITH SCORE 8888734.002
AT ITER 7159 NEW BEST:: SOT 72832281 SOS 10454644 HAS SOPS 10454644 HAS SOUS 8877921 HAS SOUPS 8877921 WITH SCORE 8888375.644
AT ITER 7165 NEW BEST:: SOT 72831845 SOS 10453808 HAS SOPS 10453808 HAS SOUS 8877820 HAS SOUPS 8877820 WITH SCORE 8888273.808
AT ITER 7169 NEW BEST:: SOT 72831133 SOS 10452278 HAS SOPS 10452278 HAS SOUS 8876290 HAS SOUPS 8876290 WITH SCORE 8886742.278
AT ITER 7230 NEW BEST:: SOT 72830996 SOS 10452127 HAS SOPS 10452127 HAS SOUS 8876139 HAS SOUPS 8876139 WITH SCORE 8886591.127
AT ITER 7263 NEW BEST:: SOT 72830690 SOS 10451901 HAS SOPS 10451901 HAS SOUS 8875805 HAS SOUPS 8875805 WITH SCORE 8886256.901
AT ITER 7276 NEW BEST:: SOT 72829959 SOS 10450507 HAS SOPS 10450507 HAS SOUS 8874462 HAS SOUPS 8874462 WITH SCORE 8884912.507
AT ITER 7283 NEW BEST:: SOT 72829691 SOS 10449971 HAS SOPS 10449971 HAS SOUS 8873926 HAS SOUPS 8873926 WITH SCORE 8884375.971
AT ITER 7348 NEW BEST:: SOT 72829494 SOS 10449783 HAS SOPS 10449783 HAS SOUS 8873738 HAS SOUPS 8873738 WITH SCORE 8884187.783
AT ITER 7377 NEW BEST:: SOT 72856733 SOS 10479570 HAS SOPS 10479570 HAS SOUS 8870923 HAS SOUPS 8870923 WITH SCORE 8881402.57
AT ITER 7392 NEW BEST:: SOT 72856346 SOS 10478958 HAS SOPS 10478958 HAS SOUS 8870311 HAS SOUPS 8870311 WITH SCORE 8880789.958
AT ITER 7446 NEW BEST:: SOT 72855845 SOS 10477650 HAS SOPS 10477650 HAS SOUS 8869003 HAS SOUPS 8869003 WITH SCORE 8879480.65
AT ITER 7472 NEW BEST:: SOT 72855729 SOS 10477418 HAS SOPS 10477418 HAS SOUS 8868655 HAS SOUPS 8868655 WITH SCORE 8879132.418
AT ITER 7521 NEW BEST:: SOT 72852526 SOS 10480496 HAS SOPS 10480496 HAS SOUS 8867793 HAS SOUPS 8867793 WITH SCORE 8878273.496
AT ITER 7564 NEW BEST:: SOT 72851659 SOS 10480303 HAS SOPS 10480303 HAS SOUS 8867600 HAS SOUPS 8867600 WITH SCORE 8878080.303
AT ITER 7600 NEW BEST:: SOT 72851302 SOS 10479964 HAS SOPS 10479964 HAS SOUS 8867261 HAS SOUPS 8867261 WITH SCORE 8877740.964
AT ITER 7604 NEW BEST:: SOT 72850741 SOS 10479821 HAS SOPS 10479821 HAS SOUS 8867118 HAS SOUPS 8867118 WITH SCORE 8877597.821
AT ITER 7619 NEW BEST:: SOT 72849869 SOS 10479476 HAS SOPS 10479476 HAS SOUS 8866773 HAS SOUPS 8866773 WITH SCORE 8877252.476
AT ITER 7635 NEW BEST:: SOT 72849404 SOS 10478654 HAS SOPS 10478654 HAS SOUS 8866002 HAS SOUPS 8866002 WITH SCORE 8876480.654
AT ITER 7636 NEW BEST:: SOT 72849404 SOS 10478580 HAS SOPS 10478580 HAS SOUS 8865928 HAS SOUPS 8865928 WITH SCORE 8876406.58
AT ITER 7793 NEW BEST:: SOT 72848862 SOS 10477968 HAS SOPS 10477968 HAS SOUS 8865316 HAS SOUPS 8865316 WITH SCORE 8875793.968
AT ITER 7802 NEW BEST:: SOT 72848808 SOS 10477914 HAS SOPS 10477914 HAS SOUS 8865208 HAS SOUPS 8865208 WITH SCORE 8875685.914
AT ITER 7822 NEW BEST:: SOT 72848626 SOS 10477290 HAS SOPS 10477290 HAS SOUS 8864584 HAS SOUPS 8864584 WITH SCORE 8875061.29
AT ITER 7841 NEW BEST:: SOT 72848218 SOS 10476270 HAS SOPS 10476270 HAS SOUS 8863564 HAS SOUPS 8863564 WITH SCORE 8874040.27
AT ITER 7845 NEW BEST:: SOT 72847657 SOS 10476155 HAS SOPS 10476155 HAS SOUS 8863449 HAS SOUPS 8863449 WITH SCORE 8873925.155
AT ITER 7856 NEW BEST:: SOT 72847630 SOS 10476074 HAS SOPS 10476074 HAS SOUS 8863368 HAS SOUPS 8863368 WITH SCORE 8873844.074
AT ITER 7866 NEW BEST:: SOT 72846204 SOS 10475004 HAS SOPS 10475004 HAS SOUS 8862298 HAS SOUPS 8862298 WITH SCORE 8872773.004
AT ITER 7878 NEW BEST:: SOT 72845487 SOS 10473474 HAS SOPS 10473474 HAS SOUS 8860768 HAS SOUPS 8860768 WITH SCORE 8871241.474
AT ITER 7891 NEW BEST:: SOT 72845487 SOS 10473006 HAS SOPS 10473006 HAS SOUS 8860300 HAS SOUPS 8860300 WITH SCORE 8870773.006
AT ITER 7902 NEW BEST:: SOT 72845478 SOS 10472801 HAS SOPS 10472801 HAS SOUS 8859890 HAS SOUPS 8859890 WITH SCORE 8870362.801
AT ITER 7906 NEW BEST:: SOT 72845478 SOS 10472801 HAS SOPS 10472801 HAS SOUS 8859776 HAS SOUPS 8859776 WITH SCORE 8870248.801
AT ITER 7909 NEW BEST:: SOT 72844829 SOS 10472495 HAS SOPS 10472495 HAS SOUS 8859470 HAS SOUPS 8859470 WITH SCORE 8869942.495
AT ITER 7923 NEW BEST:: SOT 72844472 SOS 10472094 HAS SOPS 10472094 HAS SOUS 8859069 HAS SOUPS 8859069 WITH SCORE 8869541.094
AT ITER 7925 NEW BEST:: SOT 72845124 SOS 10471444 HAS SOPS 10471444 HAS SOUS 8858788 HAS SOUPS 8858788 WITH SCORE 8869259.444
AT ITER 7929 NEW BEST:: SOT 72844767 SOS 10471289 HAS SOPS 10471289 HAS SOUS 8858633 HAS SOUPS 8858633 WITH SCORE 8869104.289
AT ITER 7976 NEW BEST:: SOT 72844426 SOS 10470555 HAS SOPS 10470555 HAS SOUS 8857899 HAS SOUPS 8857899 WITH SCORE 8868369.555
AT ITER 8003 NEW BEST:: SOT 72843541 SOS 10470201 HAS SOPS 10470201 HAS SOUS 8857545 HAS SOUPS 8857545 WITH SCORE 8868015.201
AT ITER 8007 NEW BEST:: SOT 72842541 SOS 10470162 HAS SOPS 10470162 HAS SOUS 8857506 HAS SOUPS 8857506 WITH SCORE 8867976.162
AT ITER 8046 NEW BEST:: SOT 72841702 SOS 10469902 HAS SOPS 10469902 HAS SOUS 8857246 HAS SOUPS 8857246 WITH SCORE 8867715.902
AT ITER 8052 NEW BEST:: SOT 72840880 SOS 10469029 HAS SOPS 10469029 HAS SOUS 8856424 HAS SOUPS 8856424 WITH SCORE 8866893.029
AT ITER 8067 NEW BEST:: SOT 72841119 SOS 10468326 HAS SOPS 10468326 HAS SOUS 8855392 HAS SOUPS 8855392 WITH SCORE 8865860.326
AT ITER 8108 NEW BEST:: SOT 72839408 SOS 10466967 HAS SOPS 10466967 HAS SOUS 8854033 HAS SOUPS 8854033 WITH SCORE 8864499.967
AT ITER 8113 NEW BEST:: SOT 72839204 SOS 10466514 HAS SOPS 10466514 HAS SOUS 8853580 HAS SOUPS 8853580 WITH SCORE 8864046.514
AT ITER 8142 NEW BEST:: SOT 72838601 SOS 10465232 HAS SOPS 10465232 HAS SOUS 8852886 HAS SOUPS 8852886 WITH SCORE 8863351.232
AT ITER 8144 NEW BEST:: SOT 72838449 SOS 10465232 HAS SOPS 10465232 HAS SOUS 8852733 HAS SOUPS 8852733 WITH SCORE 8863198.232
AT ITER 8150 NEW BEST:: SOT 72838373 SOS 10465004 HAS SOPS 10465004 HAS SOUS 8852505 HAS SOUPS 8852505 WITH SCORE 8862970.004
AT ITER 8161 NEW BEST:: SOT 72838007 SOS 10463966 HAS SOPS 10463966 HAS SOUS 8851467 HAS SOUPS 8851467 WITH SCORE 8861930.966
AT ITER 8197 NEW BEST:: SOT 72838007 SOS 10463966 HAS SOPS 10463966 HAS SOUS 8851312 HAS SOUPS 8851312 WITH SCORE 8861775.966
AT ITER 8237 NEW BEST:: SOT 72838007 SOS 10463815 HAS SOPS 10463815 HAS SOUS 8851312 HAS SOUPS 8851312 WITH SCORE 8861775.815
AT ITER 8241 NEW BEST:: SOT 72837702 SOS 10463543 HAS SOPS 10463543 HAS SOUS 8851040 HAS SOUPS 8851040 WITH SCORE 8861503.543
AT ITER 8266 NEW BEST:: SOT 72836524 SOS 10462915 HAS SOPS 10462915 HAS SOUS 8850412 HAS SOUPS 8850412 WITH SCORE 8860874.915
AT ITER 8319 NEW BEST:: SOT 72835945 SOS 10462609 HAS SOPS 10462609 HAS SOUS 8850106 HAS SOUPS 8850106 WITH SCORE 8860568.609
AT ITER 8374 NEW BEST:: SOT 72835387 SOS 10461745 HAS SOPS 10461745 HAS SOUS 8849242 HAS SOUPS 8849242 WITH SCORE 8859703.745
AT ITER 8381 NEW BEST:: SOT 72835387 SOS 10461643 HAS SOPS 10461643 HAS SOUS 8849140 HAS SOUPS 8849140 WITH SCORE 8859601.643
AT ITER 8434 NEW BEST:: SOT 72826384 SOS 10878116 HAS SOPS 10878116 HAS SOUS 8848682 HAS SOUPS 8848682 WITH SCORE 8859560.116
AT ITER 8439 NEW BEST:: SOT 72826384 SOS 10877914 HAS SOPS 10877914 HAS SOUS 8848682 HAS SOUPS 8848682 WITH SCORE 8859559.914
AT ITER 8441 NEW BEST:: SOT 72826182 SOS 10877308 HAS SOPS 10877308 HAS SOUS 8848076 HAS SOUPS 8848076 WITH SCORE 8858953.308
AT ITER 8471 NEW BEST:: SOT 72825747 SOS 10877284 HAS SOPS 10877284 HAS SOUS 8848052 HAS SOUPS 8848052 WITH SCORE 8858929.284
AT ITER 8498 NEW BEST:: SOT 72825747 SOS 10876986 HAS SOPS 10876986 HAS SOUS 8847754 HAS SOUPS 8847754 WITH SCORE 8858630.986
AT ITER 8564 NEW BEST:: SOT 72825397 SOS 10876680 HAS SOPS 10876680 HAS SOUS 8847448 HAS SOUPS 8847448 WITH SCORE 8858324.68
AT ITER 8596 NEW BEST:: SOT 72824224 SOS 10875201 HAS SOPS 10875201 HAS SOUS 8847102 HAS SOUPS 8847102 WITH SCORE 8857977.201
AT ITER 8612 NEW BEST:: SOT 72823663 SOS 10875162 HAS SOPS 10875162 HAS SOUS 8847063 HAS SOUPS 8847063 WITH SCORE 8857938.162
AT ITER 8647 NEW BEST:: SOT 72823476 SOS 10874788 HAS SOPS 10874788 HAS SOUS 8846876 HAS SOUPS 8846876 WITH SCORE 8857750.788
AT ITER 8659 NEW BEST:: SOT 72822968 SOS 10874018 HAS SOPS 10874018 HAS SOUS 8846106 HAS SOUPS 8846106 WITH SCORE 8856980.018
AT ITER 8675 NEW BEST:: SOT 72822845 SOS 10874298 HAS SOPS 10874298 HAS SOUS 8846095 HAS SOUPS 8846095 WITH SCORE 8856969.298
AT ITER 8707 NEW BEST:: SOT 72821117 SOS 10872111 HAS SOPS 10872111 HAS SOUS 8843816 HAS SOUPS 8843816 WITH SCORE 8854688.111
AT ITER 8734 NEW BEST:: SOT 72821117 SOS 10872111 HAS SOPS 10872111 HAS SOUS 8843700 HAS SOUPS 8843700 WITH SCORE 8854572.111
AT ITER 8745 NEW BEST:: SOT 72821117 SOS 10871689 HAS SOPS 10871689 HAS SOUS 8843278 HAS SOUPS 8843278 WITH SCORE 8854149.689
AT ITER 8765 NEW BEST:: SOT 72820245 SOS 10871260 HAS SOPS 10871260 HAS SOUS 8842849 HAS SOUPS 8842849 WITH SCORE 8853720.26
AT ITER 8807 NEW BEST:: SOT 72820204 SOS 10871219 HAS SOPS 10871219 HAS SOUS 8842808 HAS SOUPS 8842808 WITH SCORE 8853679.219
AT ITER 8853 NEW BEST:: SOT 72819824 SOS 10871168 HAS SOPS 10871168 HAS SOUS 8842757 HAS SOUPS 8842757 WITH SCORE 8853628.168
AT ITER 8867 NEW BEST:: SOT 72819784 SOS 10871944 HAS SOPS 10871944 HAS SOUS 8842377 HAS SOUPS 8842377 WITH SCORE 8853248.944
AT ITER 8905 NEW BEST:: SOT 72819536 SOS 10871448 HAS SOPS 10871448 HAS SOUS 8841881 HAS SOUPS 8841881 WITH SCORE 8852752.448
AT ITER 8909 NEW BEST:: SOT 72819787 SOS 10871495 HAS SOPS 10871495 HAS SOUS 8841723 HAS SOUPS 8841723 WITH SCORE 8852594.495
AT ITER 8930 NEW BEST:: SOT 72819422 SOS 10871444 HAS SOPS 10871444 HAS SOUS 8841672 HAS SOUPS 8841672 WITH SCORE 8852543.444
AT ITER 8960 NEW BEST:: SOT 72819116 SOS 10870656 HAS SOPS 10870656 HAS SOUS 8840884 HAS SOUPS 8840884 WITH SCORE 8851754.656
AT ITER 8991 NEW BEST:: SOT 72818340 SOS 10869126 HAS SOPS 10869126 HAS SOUS 8839354 HAS SOUPS 8839354 WITH SCORE 8850223.126
AT ITER 8993 NEW BEST:: SOT 72818111 SOS 10868690 HAS SOPS 10868690 HAS SOUS 8838918 HAS SOUPS 8838918 WITH SCORE 8849786.69
AT ITER 9009 NEW BEST:: SOT 72817115 SOS 10868351 HAS SOPS 10868351 HAS SOUS 8838579 HAS SOUPS 8838579 WITH SCORE 8849447.351
AT ITER 9021 NEW BEST:: SOT 72816897 SOS 10867889 HAS SOPS 10867889 HAS SOUS 8838146 HAS SOUPS 8838146 WITH SCORE 8849013.889
AT ITER 9033 NEW BEST:: SOT 72816897 SOS 10867417 HAS SOPS 10867417 HAS SOUS 8837674 HAS SOUPS 8837674 WITH SCORE 8848541.417
AT ITER 9047 NEW BEST:: SOT 72816380 SOS 10867178 HAS SOPS 10867178 HAS SOUS 8837433 HAS SOUPS 8837433 WITH SCORE 8848300.178
AT ITER 9074 NEW BEST:: SOT 72815731 SOS 10866138 HAS SOPS 10866138 HAS SOUS 8836393 HAS SOUPS 8836393 WITH SCORE 8847259.138
AT ITER 9104 NEW BEST:: SOT 72814853 SOS 10865514 HAS SOPS 10865514 HAS SOUS 8835769 HAS SOUPS 8835769 WITH SCORE 8846634.514
AT ITER 9129 NEW BEST:: SOT 72814553 SOS 10865463 HAS SOPS 10865463 HAS SOUS 8835718 HAS SOUPS 8835718 WITH SCORE 8846583.463
AT ITER 9144 NEW BEST:: SOT 72813635 SOS 10864619 HAS SOPS 10864619 HAS SOUS 8833928 HAS SOUPS 8833928 WITH SCORE 8844792.619
AT ITER 9167 NEW BEST:: SOT 72813635 SOS 10864802 HAS SOPS 10864802 HAS SOUS 8833826 HAS SOUPS 8833826 WITH SCORE 8844690.802
AT ITER 9173 NEW BEST:: SOT 72813435 SOS 10864402 HAS SOPS 10864402 HAS SOUS 8833426 HAS SOUPS 8833426 WITH SCORE 8844290.402
AT ITER 9176 NEW BEST:: SOT 72812416 SOS 10863077 HAS SOPS 10863077 HAS SOUS 8833351 HAS SOUPS 8833351 WITH SCORE 8844214.077
AT ITER 9191 NEW BEST:: SOT 72812059 SOS 10862699 HAS SOPS 10862699 HAS SOUS 8832973 HAS SOUPS 8832973 WITH SCORE 8843835.699
AT ITER 9208 NEW BEST:: SOT 72811701 SOS 10861729 HAS SOPS 10861729 HAS SOUS 8832003 HAS SOUPS 8832003 WITH SCORE 8842864.729
AT ITER 9218 NEW BEST:: SOT 72811548 SOS 10861474 HAS SOPS 10861474 HAS SOUS 8831748 HAS SOUPS 8831748 WITH SCORE 8842609.474
AT ITER 9226 NEW BEST:: SOT 72811139 SOS 10860759 HAS SOPS 10860759 HAS SOUS 8831033 HAS SOUPS 8831033 WITH SCORE 8841893.759
AT ITER 9273 NEW BEST:: SOT 72811139 SOS 10860458 HAS SOPS 10860458 HAS SOUS 8831032 HAS SOUPS 8831032 WITH SCORE 8841892.458
AT ITER 9288 NEW BEST:: SOT 72811065 SOS 10860347 HAS SOPS 10860347 HAS SOUS 8830921 HAS SOUPS 8830921 WITH SCORE 8841781.347
AT ITER 9308 NEW BEST:: SOT 72811001 SOS 10860251 HAS SOPS 10860251 HAS SOUS 8830825 HAS SOUPS 8830825 WITH SCORE 8841685.251
AT ITER 9314 NEW BEST:: SOT 72810468 SOS 10859301 HAS SOPS 10859301 HAS SOUS 8829875 HAS SOUPS 8829875 WITH SCORE 8840734.301
AT ITER 9412 NEW BEST:: SOT 72810468 SOS 10859242 HAS SOPS 10859242 HAS SOUS 8829816 HAS SOUPS 8829816 WITH SCORE 8840675.242
AT ITER 9424 NEW BEST:: SOT 72809980 SOS 10858266 HAS SOPS 10858266 HAS SOUS 8828840 HAS SOUPS 8828840 WITH SCORE 8839698.266
AT ITER 9460 NEW BEST:: SOT 72809801 SOS 10857813 HAS SOPS 10857813 HAS SOUS 8828387 HAS SOUPS 8828387 WITH SCORE 8839244.813
AT ITER 9477 NEW BEST:: SOT 72809051 SOS 10857643 HAS SOPS 10857643 HAS SOUS 8828217 HAS SOUPS 8828217 WITH SCORE 8839074.643
AT ITER 9487 NEW BEST:: SOT 72808179 SOS 10857512 HAS SOPS 10857512 HAS SOUS 8828086 HAS SOUPS 8828086 WITH SCORE 8838943.512
AT ITER 9497 NEW BEST:: SOT 72807567 SOS 10857194 HAS SOPS 10857194 HAS SOUS 8827766 HAS SOUPS 8827766 WITH SCORE 8838623.194
AT ITER 9498 NEW BEST:: SOT 72807451 SOS 10857268 HAS SOPS 10857268 HAS SOUS 8827724 HAS SOUPS 8827724 WITH SCORE 8838581.268
AT ITER 9526 NEW BEST:: SOT 72807145 SOS 10857205 HAS SOPS 10857205 HAS SOUS 8827355 HAS SOUPS 8827355 WITH SCORE 8838212.205
AT ITER 9530 NEW BEST:: SOT 72806436 SOS 10856935 HAS SOPS 10856935 HAS SOUS 8827085 HAS SOUPS 8827085 WITH SCORE 8837941.935
AT ITER 9577 NEW BEST:: SOT 72805818 SOS 10856017 HAS SOPS 10856017 HAS SOUS 8826167 HAS SOUPS 8826167 WITH SCORE 8837023.017
AT ITER 9601 NEW BEST:: SOT 72805818 SOS 10855911 HAS SOPS 10855911 HAS SOUS 8826167 HAS SOUPS 8826167 WITH SCORE 8837022.911
AT ITER 9648 NEW BEST:: SOT 72805818 SOS 10855173 HAS SOPS 10855173 HAS SOUS 8826167 HAS SOUPS 8826167 WITH SCORE 8837022.173
AT ITER 9652 NEW BEST:: SOT 72805765 SOS 10855069 HAS SOPS 10855069 HAS SOUS 8826063 HAS SOUPS 8826063 WITH SCORE 8836918.069
AT ITER 9657 NEW BEST:: SOT 72805497 SOS 10854533 HAS SOPS 10854533 HAS SOUS 8825527 HAS SOUPS 8825527 WITH SCORE 8836381.533
AT ITER 9682 NEW BEST:: SOT 72805011 SOS 10853303 HAS SOPS 10853303 HAS SOUS 8824297 HAS SOUPS 8824297 WITH SCORE 8835150.303
AT ITER 9683 NEW BEST:: SOT 72805026 SOS 10853231 HAS SOPS 10853231 HAS SOUS 8824225 HAS SOUPS 8824225 WITH SCORE 8835078.231
AT ITER 9725 NEW BEST:: SOT 72805026 SOS 10853571 HAS SOPS 10853571 HAS SOUS 8824100 HAS SOUPS 8824100 WITH SCORE 8834953.571
AT ITER 9738 NEW BEST:: SOT 72805026 SOS 10853265 HAS SOPS 10853265 HAS SOUS 8823794 HAS SOUPS 8823794 WITH SCORE 8834647.265
AT ITER 9766 NEW BEST:: SOT 72804101 SOS 10853097 HAS SOPS 10853097 HAS SOUS 8823626 HAS SOUPS 8823626 WITH SCORE 8834479.097
AT ITER 9792 NEW BEST:: SOT 72803197 SOS 10852619 HAS SOPS 10852619 HAS SOUS 8823148 HAS SOUPS 8823148 WITH SCORE 8834000.619
AT ITER 9794 NEW BEST:: SOT 72802731 SOS 10852007 HAS SOPS 10852007 HAS SOUS 8822536 HAS SOUPS 8822536 WITH SCORE 8833388.007
AT ITER 9812 NEW BEST:: SOT 72802590 SOS 10851725 HAS SOPS 10851725 HAS SOUS 8822254 HAS SOUPS 8822254 WITH SCORE 8833105.725
AT ITER 9835 NEW BEST:: SOT 72802269 SOS 10850792 HAS SOPS 10850792 HAS SOUS 8821321 HAS SOUPS 8821321 WITH SCORE 8832171.792
AT ITER 9839 NEW BEST:: SOT 72801096 SOS 10849313 HAS SOPS 10849313 HAS SOUS 8820733 HAS SOUPS 8820733 WITH SCORE 8831582.313
AT ITER 9841 NEW BEST:: SOT 72801080 SOS 10849211 HAS SOPS 10849211 HAS SOUS 8820631 HAS SOUPS 8820631 WITH SCORE 8831480.211
AT ITER 9851 NEW BEST:: SOT 72800834 SOS 10848734 HAS SOPS 10848734 HAS SOUS 8820154 HAS SOUPS 8820154 WITH SCORE 8831002.734
AT ITER 9900 NEW BEST:: SOT 72800673 SOS 10848496 HAS SOPS 10848496 HAS SOUS 8819832 HAS SOUPS 8819832 WITH SCORE 8830680.496
AT ITER 9906 NEW BEST:: SOT 72800673 SOS 10848477 HAS SOPS 10848477 HAS SOUS 8819813 HAS SOUPS 8819813 WITH SCORE 8830661.477
AT ITER 9952 NEW BEST:: SOT 72800673 SOS 10848454 HAS SOPS 10848454 HAS SOUS 8819790 HAS SOUPS 8819790 WITH SCORE 8830638.454
AT ITER 9983 NEW BEST:: SOT 72799495 SOS 10847771 HAS SOPS 10847771 HAS SOUS 8819107 HAS SOUPS 8819107 WITH SCORE 8829954.771
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7831108 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16129360 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="FamilyReunion-COL-L00050M0005C002P002G001"
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 FamilyReunion-COL-L00050M0005C002P002G001, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847600320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00050M0005C002P002G001.tgz
mv FamilyReunion-COL-L00050M0005C002P002G001 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 ;