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.r171-tall-167838858400304.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 smartxred
Input is FamilyReunion-COL-L00010M0001C001P001G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858400304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 6.9K Feb 26 12:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 12:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 11:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 11:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 17K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 26 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 26 12:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 12:04 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 134K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679435685957

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-COL-L00010M0001C001P001G001
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 21:54:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 21:54:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 21:54:47] [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-21 21:54:47] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-21 21:54:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 678 ms
[2023-03-21 21:54:48] [INFO ] Detected 5 constant HL places corresponding to 10 PT places.
[2023-03-21 21:54:48] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 1486 PT places and 1245.0 transition bindings in 21 ms.
[2023-03-21 21:54:48] [INFO ] Unfolded HLPN to a Petri net with 1486 places and 1234 transitions 3535 arcs in 29 ms.
[2023-03-21 21:54:48] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-21 21:54:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1486 places, 1234 transitions and 3535 arcs took 13 ms.
Total runtime 819 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00010M0001C001P001G001
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1486 places, 1234 transitions, 3535 arcs.
AT ITER 0 NEW BEST:: SOT 989778 SOS 134653 HAS SOPS 134653 HAS SOUS 115243 HAS SOUPS 115243 WITH SCORE 115377.653
AT ITER 143 NEW BEST:: SOT 989736 SOS 134631 HAS SOPS 134631 HAS SOUS 115221 HAS SOUPS 115221 WITH SCORE 115355.631
AT ITER 223 NEW BEST:: SOT 989736 SOS 134535 HAS SOPS 134535 HAS SOUS 115220 HAS SOUPS 115220 WITH SCORE 115354.535
AT ITER 261 NEW BEST:: SOT 989715 SOS 134537 HAS SOPS 134537 HAS SOUS 115214 HAS SOUPS 115214 WITH SCORE 115348.537
AT ITER 292 NEW BEST:: SOT 989715 SOS 134526 HAS SOPS 134526 HAS SOUS 115203 HAS SOUPS 115203 WITH SCORE 115337.526
AT ITER 310 NEW BEST:: SOT 989691 SOS 134509 HAS SOPS 134509 HAS SOUS 115186 HAS SOUPS 115186 WITH SCORE 115320.509
AT ITER 323 NEW BEST:: SOT 989616 SOS 134473 HAS SOPS 134473 HAS SOUS 115150 HAS SOUPS 115150 WITH SCORE 115284.473
AT ITER 374 NEW BEST:: SOT 989576 SOS 134433 HAS SOPS 134433 HAS SOUS 115099 HAS SOUPS 115099 WITH SCORE 115233.433
AT ITER 428 NEW BEST:: SOT 989478 SOS 134351 HAS SOPS 134351 HAS SOUS 115017 HAS SOUPS 115017 WITH SCORE 115151.351
AT ITER 507 NEW BEST:: SOT 989335 SOS 134218 HAS SOPS 134218 HAS SOUS 114905 HAS SOUPS 114905 WITH SCORE 115039.218
AT ITER 518 NEW BEST:: SOT 989253 SOS 134168 HAS SOPS 134168 HAS SOUS 114855 HAS SOUPS 114855 WITH SCORE 114989.168
AT ITER 520 NEW BEST:: SOT 989222 SOS 134093 HAS SOPS 134093 HAS SOUS 114780 HAS SOUPS 114780 WITH SCORE 114914.093
AT ITER 537 NEW BEST:: SOT 989138 SOS 134056 HAS SOPS 134056 HAS SOUS 114743 HAS SOUPS 114743 WITH SCORE 114877.056
AT ITER 538 NEW BEST:: SOT 989138 SOS 134050 HAS SOPS 134050 HAS SOUS 114737 HAS SOUPS 114737 WITH SCORE 114871.05
AT ITER 540 NEW BEST:: SOT 989104 SOS 134048 HAS SOPS 134048 HAS SOUS 114734 HAS SOUPS 114734 WITH SCORE 114868.048
AT ITER 587 NEW BEST:: SOT 989098 SOS 134042 HAS SOPS 134042 HAS SOUS 114728 HAS SOUPS 114728 WITH SCORE 114862.042
AT ITER 594 NEW BEST:: SOT 989062 SOS 133959 HAS SOPS 133959 HAS SOUS 114717 HAS SOUPS 114717 WITH SCORE 114850.959
AT ITER 607 NEW BEST:: SOT 988930 SOS 133893 HAS SOPS 133893 HAS SOUS 114651 HAS SOUPS 114651 WITH SCORE 114784.893
AT ITER 611 NEW BEST:: SOT 988943 SOS 133918 HAS SOPS 133918 HAS SOUS 114628 HAS SOUPS 114628 WITH SCORE 114761.918
AT ITER 613 NEW BEST:: SOT 988895 SOS 133896 HAS SOPS 133896 HAS SOUS 114606 HAS SOUPS 114606 WITH SCORE 114739.896
AT ITER 633 NEW BEST:: SOT 988888 SOS 133882 HAS SOPS 133882 HAS SOUS 114592 HAS SOUPS 114592 WITH SCORE 114725.882
AT ITER 651 NEW BEST:: SOT 988787 SOS 133874 HAS SOPS 133874 HAS SOUS 114584 HAS SOUPS 114584 WITH SCORE 114717.874
AT ITER 713 NEW BEST:: SOT 988721 SOS 133773 HAS SOPS 133773 HAS SOUS 114483 HAS SOUPS 114483 WITH SCORE 114616.773
AT ITER 723 NEW BEST:: SOT 988652 SOS 133751 HAS SOPS 133751 HAS SOUS 114461 HAS SOUPS 114461 WITH SCORE 114594.751
AT ITER 790 NEW BEST:: SOT 988542 SOS 133751 HAS SOPS 133751 HAS SOUS 114351 HAS SOUPS 114351 WITH SCORE 114484.751
AT ITER 793 NEW BEST:: SOT 988520 SOS 133640 HAS SOPS 133640 HAS SOUS 114328 HAS SOUPS 114328 WITH SCORE 114461.64
AT ITER 847 NEW BEST:: SOT 988513 SOS 133619 HAS SOPS 133619 HAS SOUS 114307 HAS SOUPS 114307 WITH SCORE 114440.619
AT ITER 860 NEW BEST:: SOT 988513 SOS 133573 HAS SOPS 133573 HAS SOUS 114306 HAS SOUPS 114306 WITH SCORE 114439.573
AT ITER 970 NEW BEST:: SOT 988438 SOS 132875 HAS SOPS 132875 HAS SOUS 114268 HAS SOUPS 114268 WITH SCORE 114400.875
AT ITER 973 NEW BEST:: SOT 988411 SOS 132821 HAS SOPS 132821 HAS SOUS 114198 HAS SOUPS 114198 WITH SCORE 114330.821
AT ITER 985 NEW BEST:: SOT 988308 SOS 132790 HAS SOPS 132790 HAS SOUS 114167 HAS SOUPS 114167 WITH SCORE 114299.79
AT ITER 1002 NEW BEST:: SOT 988308 SOS 132782 HAS SOPS 132782 HAS SOUS 114159 HAS SOUPS 114159 WITH SCORE 114291.782
AT ITER 1053 NEW BEST:: SOT 988284 SOS 132714 HAS SOPS 132714 HAS SOUS 114091 HAS SOUPS 114091 WITH SCORE 114223.714
AT ITER 1095 NEW BEST:: SOT 988244 SOS 132692 HAS SOPS 132692 HAS SOUS 114069 HAS SOUPS 114069 WITH SCORE 114201.692
AT ITER 1099 NEW BEST:: SOT 988159 SOS 132670 HAS SOPS 132670 HAS SOUS 114047 HAS SOUPS 114047 WITH SCORE 114179.67
AT ITER 1135 NEW BEST:: SOT 988156 SOS 132667 HAS SOPS 132667 HAS SOUS 114044 HAS SOUPS 114044 WITH SCORE 114176.667
AT ITER 1150 NEW BEST:: SOT 988139 SOS 132617 HAS SOPS 132617 HAS SOUS 113986 HAS SOUPS 113986 WITH SCORE 114118.617
AT ITER 1179 NEW BEST:: SOT 988080 SOS 132491 HAS SOPS 132491 HAS SOUS 113967 HAS SOUPS 113967 WITH SCORE 114099.491
AT ITER 1188 NEW BEST:: SOT 988060 SOS 132471 HAS SOPS 132471 HAS SOUS 113915 HAS SOUPS 113915 WITH SCORE 114047.471
AT ITER 1194 NEW BEST:: SOT 987979 SOS 132457 HAS SOPS 132457 HAS SOUS 113901 HAS SOUPS 113901 WITH SCORE 114033.457
AT ITER 1204 NEW BEST:: SOT 987951 SOS 132397 HAS SOPS 132397 HAS SOUS 113845 HAS SOUPS 113845 WITH SCORE 113977.397
AT ITER 1222 NEW BEST:: SOT 987955 SOS 132370 HAS SOPS 132370 HAS SOUS 113818 HAS SOUPS 113818 WITH SCORE 113950.37
AT ITER 1234 NEW BEST:: SOT 987947 SOS 132346 HAS SOPS 132346 HAS SOUS 113794 HAS SOUPS 113794 WITH SCORE 113926.346
AT ITER 1269 NEW BEST:: SOT 987868 SOS 132178 HAS SOPS 132178 HAS SOUS 113626 HAS SOUPS 113626 WITH SCORE 113758.178
AT ITER 1336 NEW BEST:: SOT 987856 SOS 132154 HAS SOPS 132154 HAS SOUS 113590 HAS SOUPS 113590 WITH SCORE 113722.154
AT ITER 1377 NEW BEST:: SOT 987856 SOS 132136 HAS SOPS 132136 HAS SOUS 113572 HAS SOUPS 113572 WITH SCORE 113704.136
AT ITER 1380 NEW BEST:: SOT 987832 SOS 132130 HAS SOPS 132130 HAS SOUS 113566 HAS SOUPS 113566 WITH SCORE 113698.13
AT ITER 1388 NEW BEST:: SOT 987832 SOS 132130 HAS SOPS 132130 HAS SOUS 113539 HAS SOUPS 113539 WITH SCORE 113671.13
AT ITER 1390 NEW BEST:: SOT 987832 SOS 132120 HAS SOPS 132120 HAS SOUS 113539 HAS SOUPS 113539 WITH SCORE 113671.12
AT ITER 1393 NEW BEST:: SOT 987820 SOS 132096 HAS SOPS 132096 HAS SOUS 113527 HAS SOUPS 113527 WITH SCORE 113659.096
AT ITER 1435 NEW BEST:: SOT 987820 SOS 132115 HAS SOPS 132115 HAS SOUS 113525 HAS SOUPS 113525 WITH SCORE 113657.115
AT ITER 1441 NEW BEST:: SOT 987814 SOS 132103 HAS SOPS 132103 HAS SOUS 113519 HAS SOUPS 113519 WITH SCORE 113651.103
AT ITER 1474 NEW BEST:: SOT 987805 SOS 132032 HAS SOPS 132032 HAS SOUS 113501 HAS SOUPS 113501 WITH SCORE 113633.032
AT ITER 1503 NEW BEST:: SOT 987805 SOS 132021 HAS SOPS 132021 HAS SOUS 113490 HAS SOUPS 113490 WITH SCORE 113622.021
AT ITER 1513 NEW BEST:: SOT 987798 SOS 132000 HAS SOPS 132000 HAS SOUS 113469 HAS SOUPS 113469 WITH SCORE 113601.0
AT ITER 1547 NEW BEST:: SOT 987798 SOS 131929 HAS SOPS 131929 HAS SOUS 113398 HAS SOUPS 113398 WITH SCORE 113529.929
AT ITER 1558 NEW BEST:: SOT 987758 SOS 131889 HAS SOPS 131889 HAS SOUS 113345 HAS SOUPS 113345 WITH SCORE 113476.889
AT ITER 1598 NEW BEST:: SOT 987747 SOS 131889 HAS SOPS 131889 HAS SOUS 113335 HAS SOUPS 113335 WITH SCORE 113466.889
AT ITER 1619 NEW BEST:: SOT 987747 SOS 131851 HAS SOPS 131851 HAS SOUS 113297 HAS SOUPS 113297 WITH SCORE 113428.851
AT ITER 1623 NEW BEST:: SOT 987736 SOS 131808 HAS SOPS 131808 HAS SOUS 113219 HAS SOUPS 113219 WITH SCORE 113350.808
AT ITER 1632 NEW BEST:: SOT 987676 SOS 131671 HAS SOPS 131671 HAS SOUS 113198 HAS SOUPS 113198 WITH SCORE 113329.671
AT ITER 1678 NEW BEST:: SOT 987615 SOS 131627 HAS SOPS 131627 HAS SOUS 113154 HAS SOUPS 113154 WITH SCORE 113285.627
AT ITER 1683 NEW BEST:: SOT 987574 SOS 131542 HAS SOPS 131542 HAS SOUS 113069 HAS SOUPS 113069 WITH SCORE 113200.542
AT ITER 1688 NEW BEST:: SOT 987574 SOS 131553 HAS SOPS 131553 HAS SOUS 113018 HAS SOUPS 113018 WITH SCORE 113149.553
AT ITER 1699 NEW BEST:: SOT 987574 SOS 131553 HAS SOPS 131553 HAS SOUS 113017 HAS SOUPS 113017 WITH SCORE 113148.553
AT ITER 1710 NEW BEST:: SOT 987574 SOS 131516 HAS SOPS 131516 HAS SOUS 113016 HAS SOUPS 113016 WITH SCORE 113147.516
AT ITER 1725 NEW BEST:: SOT 987574 SOS 131502 HAS SOPS 131502 HAS SOUS 113016 HAS SOUPS 113016 WITH SCORE 113147.502
AT ITER 1763 NEW BEST:: SOT 987542 SOS 131379 HAS SOPS 131379 HAS SOUS 112893 HAS SOUPS 112893 WITH SCORE 113024.379
AT ITER 1827 NEW BEST:: SOT 987484 SOS 131357 HAS SOPS 131357 HAS SOUS 112871 HAS SOUPS 112871 WITH SCORE 113002.357
AT ITER 1829 NEW BEST:: SOT 987449 SOS 131328 HAS SOPS 131328 HAS SOUS 112842 HAS SOUPS 112842 WITH SCORE 112973.328
AT ITER 1878 NEW BEST:: SOT 987391 SOS 131232 HAS SOPS 131232 HAS SOUS 112746 HAS SOUPS 112746 WITH SCORE 112877.232
AT ITER 2023 NEW BEST:: SOT 987351 SOS 131192 HAS SOPS 131192 HAS SOUS 112665 HAS SOUPS 112665 WITH SCORE 112796.192
AT ITER 2038 NEW BEST:: SOT 987292 SOS 129701 HAS SOPS 129701 HAS SOUS 112558 HAS SOUPS 112558 WITH SCORE 112687.701
AT ITER 2081 NEW BEST:: SOT 987231 SOS 129696 HAS SOPS 129696 HAS SOUS 112492 HAS SOUPS 112492 WITH SCORE 112621.696
AT ITER 2083 NEW BEST:: SOT 987231 SOS 129696 HAS SOPS 129696 HAS SOUS 112484 HAS SOUPS 112484 WITH SCORE 112613.696
AT ITER 2087 NEW BEST:: SOT 987223 SOS 129683 HAS SOPS 129683 HAS SOUS 112469 HAS SOUPS 112469 WITH SCORE 112598.683
AT ITER 2131 NEW BEST:: SOT 987223 SOS 129645 HAS SOPS 129645 HAS SOUS 112445 HAS SOUPS 112445 WITH SCORE 112574.645
AT ITER 2204 NEW BEST:: SOT 987212 SOS 129623 HAS SOPS 129623 HAS SOUS 112423 HAS SOUPS 112423 WITH SCORE 112552.623
AT ITER 2214 NEW BEST:: SOT 987187 SOS 129579 HAS SOPS 129579 HAS SOUS 112379 HAS SOUPS 112379 WITH SCORE 112508.579
AT ITER 2250 NEW BEST:: SOT 987165 SOS 129557 HAS SOPS 129557 HAS SOUS 112357 HAS SOUPS 112357 WITH SCORE 112486.557
AT ITER 2304 NEW BEST:: SOT 987087 SOS 129448 HAS SOPS 129448 HAS SOUS 112248 HAS SOUPS 112248 WITH SCORE 112377.448
AT ITER 2314 NEW BEST:: SOT 987087 SOS 129426 HAS SOPS 129426 HAS SOUS 112226 HAS SOUPS 112226 WITH SCORE 112355.426
AT ITER 2357 NEW BEST:: SOT 987041 SOS 129299 HAS SOPS 129299 HAS SOUS 112099 HAS SOUPS 112099 WITH SCORE 112228.299
AT ITER 2363 NEW BEST:: SOT 986966 SOS 129266 HAS SOPS 129266 HAS SOUS 112059 HAS SOUPS 112059 WITH SCORE 112188.266
AT ITER 2399 NEW BEST:: SOT 986975 SOS 129200 HAS SOPS 129200 HAS SOUS 111993 HAS SOUPS 111993 WITH SCORE 112122.2
AT ITER 2433 NEW BEST:: SOT 986975 SOS 129189 HAS SOPS 129189 HAS SOUS 111982 HAS SOUPS 111982 WITH SCORE 112111.189
AT ITER 2490 NEW BEST:: SOT 986927 SOS 129079 HAS SOPS 129079 HAS SOUS 111872 HAS SOUPS 111872 WITH SCORE 112001.079
AT ITER 2556 NEW BEST:: SOT 986899 SOS 129021 HAS SOPS 129021 HAS SOUS 111819 HAS SOUPS 111819 WITH SCORE 111948.021
AT ITER 2583 NEW BEST:: SOT 986899 SOS 128986 HAS SOPS 128986 HAS SOUS 111819 HAS SOUPS 111819 WITH SCORE 111947.986
AT ITER 2601 NEW BEST:: SOT 986818 SOS 128900 HAS SOPS 128900 HAS SOUS 111771 HAS SOUPS 111771 WITH SCORE 111899.9
AT ITER 2629 NEW BEST:: SOT 986818 SOS 128891 HAS SOPS 128891 HAS SOUS 111762 HAS SOUPS 111762 WITH SCORE 111890.891
AT ITER 2656 NEW BEST:: SOT 986725 SOS 128780 HAS SOPS 128780 HAS SOUS 111713 HAS SOUPS 111713 WITH SCORE 111841.78
AT ITER 2865 NEW BEST:: SOT 986663 SOS 128752 HAS SOPS 128752 HAS SOUS 111685 HAS SOUPS 111685 WITH SCORE 111813.752
AT ITER 2948 NEW BEST:: SOT 986663 SOS 128735 HAS SOPS 128735 HAS SOUS 111685 HAS SOUPS 111685 WITH SCORE 111813.735
AT ITER 2962 NEW BEST:: SOT 986656 SOS 128732 HAS SOPS 128732 HAS SOUS 111671 HAS SOUPS 111671 WITH SCORE 111799.732
AT ITER 2990 NEW BEST:: SOT 986667 SOS 128725 HAS SOPS 128725 HAS SOUS 111649 HAS SOUPS 111649 WITH SCORE 111777.725
AT ITER 3071 NEW BEST:: SOT 986622 SOS 128546 HAS SOPS 128546 HAS SOUS 111527 HAS SOUPS 111527 WITH SCORE 111655.546
AT ITER 3078 NEW BEST:: SOT 986599 SOS 128435 HAS SOPS 128435 HAS SOUS 111475 HAS SOUPS 111475 WITH SCORE 111603.435
AT ITER 3111 NEW BEST:: SOT 986599 SOS 128426 HAS SOPS 128426 HAS SOUS 111466 HAS SOUPS 111466 WITH SCORE 111594.426
AT ITER 3140 NEW BEST:: SOT 986536 SOS 128416 HAS SOPS 128416 HAS SOUS 111456 HAS SOUPS 111456 WITH SCORE 111584.416
AT ITER 3156 NEW BEST:: SOT 986471 SOS 128252 HAS SOPS 128252 HAS SOUS 111292 HAS SOUPS 111292 WITH SCORE 111420.252
AT ITER 3237 NEW BEST:: SOT 986462 SOS 128243 HAS SOPS 128243 HAS SOUS 111283 HAS SOUPS 111283 WITH SCORE 111411.243
AT ITER 3272 NEW BEST:: SOT 986435 SOS 128192 HAS SOPS 128192 HAS SOUS 111230 HAS SOUPS 111230 WITH SCORE 111358.192
AT ITER 3309 NEW BEST:: SOT 986407 SOS 128122 HAS SOPS 128122 HAS SOUS 111160 HAS SOUPS 111160 WITH SCORE 111288.122
AT ITER 3312 NEW BEST:: SOT 986407 SOS 128161 HAS SOPS 128161 HAS SOUS 111138 HAS SOUPS 111138 WITH SCORE 111266.161
AT ITER 3415 NEW BEST:: SOT 986407 SOS 128158 HAS SOPS 128158 HAS SOUS 111138 HAS SOUPS 111138 WITH SCORE 111266.158
AT ITER 3436 NEW BEST:: SOT 986342 SOS 128149 HAS SOPS 128149 HAS SOUS 111129 HAS SOUPS 111129 WITH SCORE 111257.149
AT ITER 3438 NEW BEST:: SOT 986309 SOS 128105 HAS SOPS 128105 HAS SOUS 111085 HAS SOUPS 111085 WITH SCORE 111213.105
AT ITER 3454 NEW BEST:: SOT 986268 SOS 128064 HAS SOPS 128064 HAS SOUS 111044 HAS SOUPS 111044 WITH SCORE 111172.064
AT ITER 3537 NEW BEST:: SOT 986220 SOS 128042 HAS SOPS 128042 HAS SOUS 111022 HAS SOUPS 111022 WITH SCORE 111150.042
AT ITER 3565 NEW BEST:: SOT 986220 SOS 127994 HAS SOPS 127994 HAS SOUS 110974 HAS SOUPS 110974 WITH SCORE 111101.994
AT ITER 3615 NEW BEST:: SOT 986220 SOS 128003 HAS SOPS 128003 HAS SOUS 110965 HAS SOUPS 110965 WITH SCORE 111093.003
AT ITER 3664 NEW BEST:: SOT 986209 SOS 127958 HAS SOPS 127958 HAS SOUS 110920 HAS SOUPS 110920 WITH SCORE 111047.958
AT ITER 3671 NEW BEST:: SOT 986205 SOS 127954 HAS SOPS 127954 HAS SOUS 110915 HAS SOUPS 110915 WITH SCORE 111042.954
AT ITER 3789 NEW BEST:: SOT 986197 SOS 127930 HAS SOPS 127930 HAS SOUS 110891 HAS SOUPS 110891 WITH SCORE 111018.93
AT ITER 3814 NEW BEST:: SOT 986193 SOS 127918 HAS SOPS 127918 HAS SOUS 110879 HAS SOUPS 110879 WITH SCORE 111006.918
AT ITER 3847 NEW BEST:: SOT 986055 SOS 127827 HAS SOPS 127827 HAS SOUS 110788 HAS SOUPS 110788 WITH SCORE 110915.827
AT ITER 3892 NEW BEST:: SOT 986037 SOS 127817 HAS SOPS 127817 HAS SOUS 110778 HAS SOUPS 110778 WITH SCORE 110905.817
AT ITER 3954 NEW BEST:: SOT 986021 SOS 127829 HAS SOPS 127829 HAS SOUS 110774 HAS SOUPS 110774 WITH SCORE 110901.829
AT ITER 4060 NEW BEST:: SOT 985950 SOS 127824 HAS SOPS 127824 HAS SOUS 110765 HAS SOUPS 110765 WITH SCORE 110892.824
AT ITER 4075 NEW BEST:: SOT 985908 SOS 127740 HAS SOPS 127740 HAS SOUS 110681 HAS SOUPS 110681 WITH SCORE 110808.74
AT ITER 4081 NEW BEST:: SOT 985908 SOS 127718 HAS SOPS 127718 HAS SOUS 110659 HAS SOUPS 110659 WITH SCORE 110786.718
AT ITER 4114 NEW BEST:: SOT 985812 SOS 127648 HAS SOPS 127648 HAS SOUS 110589 HAS SOUPS 110589 WITH SCORE 110716.648
AT ITER 4121 NEW BEST:: SOT 985779 SOS 127644 HAS SOPS 127644 HAS SOUS 110585 HAS SOUPS 110585 WITH SCORE 110712.644
AT ITER 4191 NEW BEST:: SOT 985779 SOS 127633 HAS SOPS 127633 HAS SOUS 110585 HAS SOUPS 110585 WITH SCORE 110712.633
AT ITER 4211 NEW BEST:: SOT 985739 SOS 127553 HAS SOPS 127553 HAS SOUS 110505 HAS SOUPS 110505 WITH SCORE 110632.553
AT ITER 4233 NEW BEST:: SOT 985723 SOS 127553 HAS SOPS 127553 HAS SOUS 110489 HAS SOUPS 110489 WITH SCORE 110616.553
AT ITER 4284 NEW BEST:: SOT 985688 SOS 127489 HAS SOPS 127489 HAS SOUS 110425 HAS SOUPS 110425 WITH SCORE 110552.489
AT ITER 4368 NEW BEST:: SOT 985683 SOS 127484 HAS SOPS 127484 HAS SOUS 110420 HAS SOUPS 110420 WITH SCORE 110547.484
AT ITER 4421 NEW BEST:: SOT 985677 SOS 127466 HAS SOPS 127466 HAS SOUS 110402 HAS SOUPS 110402 WITH SCORE 110529.466
AT ITER 4472 NEW BEST:: SOT 985659 SOS 127437 HAS SOPS 127437 HAS SOUS 110384 HAS SOUPS 110384 WITH SCORE 110511.437
AT ITER 4485 NEW BEST:: SOT 985655 SOS 127433 HAS SOPS 127433 HAS SOUS 110380 HAS SOUPS 110380 WITH SCORE 110507.433
AT ITER 4548 NEW BEST:: SOT 985655 SOS 127430 HAS SOPS 127430 HAS SOUS 110377 HAS SOUPS 110377 WITH SCORE 110504.43
AT ITER 4583 NEW BEST:: SOT 985530 SOS 127369 HAS SOPS 127369 HAS SOUS 110316 HAS SOUPS 110316 WITH SCORE 110443.369
AT ITER 4622 NEW BEST:: SOT 985507 SOS 127247 HAS SOPS 127247 HAS SOUS 110250 HAS SOUPS 110250 WITH SCORE 110377.247
AT ITER 4642 NEW BEST:: SOT 985507 SOS 127207 HAS SOPS 127207 HAS SOUS 110250 HAS SOUPS 110250 WITH SCORE 110377.207
AT ITER 4681 NEW BEST:: SOT 985459 SOS 127126 HAS SOPS 127126 HAS SOUS 110180 HAS SOUPS 110180 WITH SCORE 110307.126
AT ITER 4693 NEW BEST:: SOT 985457 SOS 127122 HAS SOPS 127122 HAS SOUS 110176 HAS SOUPS 110176 WITH SCORE 110303.122
AT ITER 4697 NEW BEST:: SOT 985408 SOS 127114 HAS SOPS 127114 HAS SOUS 110168 HAS SOUPS 110168 WITH SCORE 110295.114
AT ITER 4703 NEW BEST:: SOT 985396 SOS 127112 HAS SOPS 127112 HAS SOUS 110166 HAS SOUPS 110166 WITH SCORE 110293.112
AT ITER 4773 NEW BEST:: SOT 985396 SOS 127104 HAS SOPS 127104 HAS SOUS 110158 HAS SOUPS 110158 WITH SCORE 110285.104
AT ITER 4782 NEW BEST:: SOT 985319 SOS 127025 HAS SOPS 127025 HAS SOUS 110118 HAS SOUPS 110118 WITH SCORE 110245.025
AT ITER 4809 NEW BEST:: SOT 985317 SOS 127012 HAS SOPS 127012 HAS SOUS 110105 HAS SOUPS 110105 WITH SCORE 110232.012
AT ITER 4831 NEW BEST:: SOT 985259 SOS 126921 HAS SOPS 126921 HAS SOUS 110084 HAS SOUPS 110084 WITH SCORE 110210.921
AT ITER 4842 NEW BEST:: SOT 985261 SOS 126914 HAS SOPS 126914 HAS SOUS 110076 HAS SOUPS 110076 WITH SCORE 110202.914
AT ITER 5056 NEW BEST:: SOT 985235 SOS 126902 HAS SOPS 126902 HAS SOUS 110073 HAS SOUPS 110073 WITH SCORE 110199.902
AT ITER 5090 NEW BEST:: SOT 985235 SOS 126885 HAS SOPS 126885 HAS SOUS 110072 HAS SOUPS 110072 WITH SCORE 110198.885
AT ITER 5092 NEW BEST:: SOT 985235 SOS 126863 HAS SOPS 126863 HAS SOUS 110050 HAS SOUPS 110050 WITH SCORE 110176.863
AT ITER 5124 NEW BEST:: SOT 985134 SOS 126753 HAS SOPS 126753 HAS SOUS 109995 HAS SOUPS 109995 WITH SCORE 110121.753
AT ITER 5130 NEW BEST:: SOT 985134 SOS 126735 HAS SOPS 126735 HAS SOUS 109977 HAS SOUPS 109977 WITH SCORE 110103.735
AT ITER 5135 NEW BEST:: SOT 985012 SOS 126674 HAS SOPS 126674 HAS SOUS 109916 HAS SOUPS 109916 WITH SCORE 110042.674
AT ITER 5161 NEW BEST:: SOT 985007 SOS 126617 HAS SOPS 126617 HAS SOUS 109859 HAS SOUPS 109859 WITH SCORE 109985.617
AT ITER 5167 NEW BEST:: SOT 984942 SOS 126592 HAS SOPS 126592 HAS SOUS 109834 HAS SOUPS 109834 WITH SCORE 109960.592
AT ITER 5182 NEW BEST:: SOT 984937 SOS 126587 HAS SOPS 126587 HAS SOUS 109834 HAS SOUPS 109834 WITH SCORE 109960.587
AT ITER 5242 NEW BEST:: SOT 984960 SOS 126584 HAS SOPS 126584 HAS SOUS 109831 HAS SOUPS 109831 WITH SCORE 109957.584
AT ITER 5254 NEW BEST:: SOT 984960 SOS 126562 HAS SOPS 126562 HAS SOUS 109779 HAS SOUPS 109779 WITH SCORE 109905.562
AT ITER 5261 NEW BEST:: SOT 984932 SOS 126448 HAS SOPS 126448 HAS SOUS 109665 HAS SOUPS 109665 WITH SCORE 109791.448
AT ITER 5303 NEW BEST:: SOT 984910 SOS 126494 HAS SOPS 126494 HAS SOUS 109658 HAS SOUPS 109658 WITH SCORE 109784.494
AT ITER 5339 NEW BEST:: SOT 984822 SOS 126479 HAS SOPS 126479 HAS SOUS 109643 HAS SOUPS 109643 WITH SCORE 109769.479
AT ITER 5372 NEW BEST:: SOT 984822 SOS 126479 HAS SOPS 126479 HAS SOUS 109625 HAS SOUPS 109625 WITH SCORE 109751.479
AT ITER 5389 NEW BEST:: SOT 984822 SOS 126457 HAS SOPS 126457 HAS SOUS 109603 HAS SOUPS 109603 WITH SCORE 109729.457
AT ITER 5414 NEW BEST:: SOT 984843 SOS 126446 HAS SOPS 126446 HAS SOUS 109592 HAS SOUPS 109592 WITH SCORE 109718.446
AT ITER 5429 NEW BEST:: SOT 984821 SOS 126476 HAS SOPS 126476 HAS SOUS 109578 HAS SOUPS 109578 WITH SCORE 109704.476
AT ITER 5454 NEW BEST:: SOT 984803 SOS 126467 HAS SOPS 126467 HAS SOUS 109569 HAS SOUPS 109569 WITH SCORE 109695.467
AT ITER 5487 NEW BEST:: SOT 984781 SOS 126379 HAS SOPS 126379 HAS SOUS 109481 HAS SOUPS 109481 WITH SCORE 109607.379
AT ITER 5573 NEW BEST:: SOT 984659 SOS 126299 HAS SOPS 126299 HAS SOUS 109401 HAS SOUPS 109401 WITH SCORE 109527.299
AT ITER 5582 NEW BEST:: SOT 984566 SOS 126031 HAS SOPS 126031 HAS SOUS 109257 HAS SOUPS 109257 WITH SCORE 109383.031
AT ITER 5615 NEW BEST:: SOT 984566 SOS 125976 HAS SOPS 125976 HAS SOUS 109213 HAS SOUPS 109213 WITH SCORE 109338.976
AT ITER 5750 NEW BEST:: SOT 984566 SOS 125967 HAS SOPS 125967 HAS SOUS 109204 HAS SOUPS 109204 WITH SCORE 109329.967
AT ITER 5764 NEW BEST:: SOT 984563 SOS 125954 HAS SOPS 125954 HAS SOUS 109187 HAS SOUPS 109187 WITH SCORE 109312.954
AT ITER 5770 NEW BEST:: SOT 984419 SOS 125860 HAS SOPS 125860 HAS SOUS 109093 HAS SOUPS 109093 WITH SCORE 109218.86
AT ITER 5772 NEW BEST:: SOT 984408 SOS 125849 HAS SOPS 125849 HAS SOUS 109082 HAS SOUPS 109082 WITH SCORE 109207.849
AT ITER 5940 NEW BEST:: SOT 984403 SOS 125840 HAS SOPS 125840 HAS SOUS 109073 HAS SOUPS 109073 WITH SCORE 109198.84
AT ITER 6000 NEW BEST:: SOT 984371 SOS 125753 HAS SOPS 125753 HAS SOUS 109004 HAS SOUPS 109004 WITH SCORE 109129.753
AT ITER 6052 NEW BEST:: SOT 984347 SOS 125687 HAS SOPS 125687 HAS SOUS 108938 HAS SOUPS 108938 WITH SCORE 109063.687
AT ITER 6055 NEW BEST:: SOT 984299 SOS 125643 HAS SOPS 125643 HAS SOUS 108894 HAS SOUPS 108894 WITH SCORE 109019.643
AT ITER 6080 NEW BEST:: SOT 984315 SOS 125673 HAS SOPS 125673 HAS SOUS 108858 HAS SOUPS 108858 WITH SCORE 108983.673
AT ITER 6094 NEW BEST:: SOT 984296 SOS 125667 HAS SOPS 125667 HAS SOUS 108852 HAS SOUPS 108852 WITH SCORE 108977.667
AT ITER 6179 NEW BEST:: SOT 984296 SOS 125645 HAS SOPS 125645 HAS SOUS 108851 HAS SOUPS 108851 WITH SCORE 108976.645
AT ITER 6216 NEW BEST:: SOT 984261 SOS 125610 HAS SOPS 125610 HAS SOUS 108816 HAS SOUPS 108816 WITH SCORE 108941.61
AT ITER 6219 NEW BEST:: SOT 984210 SOS 125535 HAS SOPS 125535 HAS SOUS 108741 HAS SOUPS 108741 WITH SCORE 108866.535
AT ITER 6235 NEW BEST:: SOT 984206 SOS 125527 HAS SOPS 125527 HAS SOUS 108737 HAS SOUPS 108737 WITH SCORE 108862.527
AT ITER 6269 NEW BEST:: SOT 984182 SOS 125459 HAS SOPS 125459 HAS SOUS 108669 HAS SOUPS 108669 WITH SCORE 108794.459
AT ITER 6272 NEW BEST:: SOT 984172 SOS 125471 HAS SOPS 125471 HAS SOUS 108659 HAS SOUPS 108659 WITH SCORE 108784.471
AT ITER 6369 NEW BEST:: SOT 984164 SOS 125463 HAS SOPS 125463 HAS SOUS 108651 HAS SOUPS 108651 WITH SCORE 108776.463
AT ITER 6402 NEW BEST:: SOT 984164 SOS 125403 HAS SOPS 125403 HAS SOUS 108621 HAS SOUPS 108621 WITH SCORE 108746.403
AT ITER 6419 NEW BEST:: SOT 984135 SOS 125397 HAS SOPS 125397 HAS SOUS 108615 HAS SOUPS 108615 WITH SCORE 108740.397
AT ITER 6477 NEW BEST:: SOT 984107 SOS 125387 HAS SOPS 125387 HAS SOUS 108605 HAS SOUPS 108605 WITH SCORE 108730.387
AT ITER 6512 NEW BEST:: SOT 984107 SOS 125386 HAS SOPS 125386 HAS SOUS 108604 HAS SOUPS 108604 WITH SCORE 108729.386
AT ITER 6530 NEW BEST:: SOT 984091 SOS 125354 HAS SOPS 125354 HAS SOUS 108556 HAS SOUPS 108556 WITH SCORE 108681.354
AT ITER 6551 NEW BEST:: SOT 984046 SOS 125235 HAS SOPS 125235 HAS SOUS 108437 HAS SOUPS 108437 WITH SCORE 108562.235
AT ITER 6561 NEW BEST:: SOT 984023 SOS 125207 HAS SOPS 125207 HAS SOUS 108409 HAS SOUPS 108409 WITH SCORE 108534.207
AT ITER 6586 NEW BEST:: SOT 984023 SOS 125172 HAS SOPS 125172 HAS SOUS 108409 HAS SOUPS 108409 WITH SCORE 108534.172
AT ITER 6646 NEW BEST:: SOT 983979 SOS 125139 HAS SOPS 125139 HAS SOUS 108376 HAS SOUPS 108376 WITH SCORE 108501.139
AT ITER 6734 NEW BEST:: SOT 983949 SOS 125107 HAS SOPS 125107 HAS SOUS 108302 HAS SOUPS 108302 WITH SCORE 108427.107
AT ITER 6769 NEW BEST:: SOT 983949 SOS 125096 HAS SOPS 125096 HAS SOUS 108291 HAS SOUPS 108291 WITH SCORE 108416.096
AT ITER 6835 NEW BEST:: SOT 983939 SOS 125076 HAS SOPS 125076 HAS SOUS 108281 HAS SOUPS 108281 WITH SCORE 108406.076
AT ITER 6911 NEW BEST:: SOT 983939 SOS 125040 HAS SOPS 125040 HAS SOUS 108277 HAS SOUPS 108277 WITH SCORE 108402.04
AT ITER 6920 NEW BEST:: SOT 983928 SOS 124965 HAS SOPS 124965 HAS SOUS 108202 HAS SOUPS 108202 WITH SCORE 108326.965
AT ITER 6962 NEW BEST:: SOT 983928 SOS 124941 HAS SOPS 124941 HAS SOUS 108178 HAS SOUPS 108178 WITH SCORE 108302.941
AT ITER 6965 NEW BEST:: SOT 983911 SOS 124924 HAS SOPS 124924 HAS SOUS 108161 HAS SOUPS 108161 WITH SCORE 108285.924
AT ITER 7017 NEW BEST:: SOT 983907 SOS 124920 HAS SOPS 124920 HAS SOUS 108153 HAS SOUPS 108153 WITH SCORE 108277.92
AT ITER 7033 NEW BEST:: SOT 983906 SOS 124933 HAS SOPS 124933 HAS SOUS 108151 HAS SOUPS 108151 WITH SCORE 108275.933
AT ITER 7076 NEW BEST:: SOT 983907 SOS 124893 HAS SOPS 124893 HAS SOUS 108111 HAS SOUPS 108111 WITH SCORE 108235.893
AT ITER 7125 NEW BEST:: SOT 983905 SOS 124891 HAS SOPS 124891 HAS SOUS 108109 HAS SOUPS 108109 WITH SCORE 108233.891
AT ITER 7156 NEW BEST:: SOT 983852 SOS 124853 HAS SOPS 124853 HAS SOUS 108071 HAS SOUPS 108071 WITH SCORE 108195.853
AT ITER 7166 NEW BEST:: SOT 983845 SOS 124831 HAS SOPS 124831 HAS SOUS 108049 HAS SOUPS 108049 WITH SCORE 108173.831
AT ITER 7280 NEW BEST:: SOT 983841 SOS 124827 HAS SOPS 124827 HAS SOUS 108043 HAS SOUPS 108043 WITH SCORE 108167.827
AT ITER 7298 NEW BEST:: SOT 983770 SOS 124046 HAS SOPS 124046 HAS SOUS 107972 HAS SOUPS 107972 WITH SCORE 108096.046
AT ITER 7334 NEW BEST:: SOT 983747 SOS 124024 HAS SOPS 124024 HAS SOUS 107950 HAS SOUPS 107950 WITH SCORE 108074.024
AT ITER 7392 NEW BEST:: SOT 983696 SOS 123989 HAS SOPS 123989 HAS SOUS 107915 HAS SOUPS 107915 WITH SCORE 108038.989
AT ITER 7431 NEW BEST:: SOT 983607 SOS 123932 HAS SOPS 123932 HAS SOUS 107858 HAS SOUPS 107858 WITH SCORE 107981.932
AT ITER 7437 NEW BEST:: SOT 983607 SOS 123904 HAS SOPS 123904 HAS SOUS 107830 HAS SOUPS 107830 WITH SCORE 107953.904
AT ITER 7533 NEW BEST:: SOT 983698 SOS 123869 HAS SOPS 123869 HAS SOUS 107795 HAS SOUPS 107795 WITH SCORE 107918.869
AT ITER 7643 NEW BEST:: SOT 983698 SOS 123750 HAS SOPS 123750 HAS SOUS 107718 HAS SOUPS 107718 WITH SCORE 107841.75
AT ITER 7646 NEW BEST:: SOT 983698 SOS 123706 HAS SOPS 123706 HAS SOUS 107684 HAS SOUPS 107684 WITH SCORE 107807.706
AT ITER 7707 NEW BEST:: SOT 983720 SOS 123704 HAS SOPS 123704 HAS SOUS 107682 HAS SOUPS 107682 WITH SCORE 107805.704
AT ITER 7767 NEW BEST:: SOT 983710 SOS 123674 HAS SOPS 123674 HAS SOUS 107652 HAS SOUPS 107652 WITH SCORE 107775.674
AT ITER 7771 NEW BEST:: SOT 983708 SOS 123672 HAS SOPS 123672 HAS SOUS 107650 HAS SOUPS 107650 WITH SCORE 107773.672
AT ITER 7800 NEW BEST:: SOT 983710 SOS 123592 HAS SOPS 123592 HAS SOUS 107570 HAS SOUPS 107570 WITH SCORE 107693.592
AT ITER 7842 NEW BEST:: SOT 983710 SOS 123588 HAS SOPS 123588 HAS SOUS 107566 HAS SOUPS 107566 WITH SCORE 107689.588
AT ITER 7854 NEW BEST:: SOT 983704 SOS 123600 HAS SOPS 123600 HAS SOUS 107554 HAS SOUPS 107554 WITH SCORE 107677.6
AT ITER 7864 NEW BEST:: SOT 983579 SOS 123599 HAS SOPS 123599 HAS SOUS 107553 HAS SOUPS 107553 WITH SCORE 107676.599
AT ITER 7960 NEW BEST:: SOT 983579 SOS 123587 HAS SOPS 123587 HAS SOUS 107531 HAS SOUPS 107531 WITH SCORE 107654.587
AT ITER 7996 NEW BEST:: SOT 983496 SOS 123549 HAS SOPS 123549 HAS SOUS 107493 HAS SOUPS 107493 WITH SCORE 107616.549
AT ITER 8000 NEW BEST:: SOT 983471 SOS 123533 HAS SOPS 123533 HAS SOUS 107477 HAS SOUPS 107477 WITH SCORE 107600.533
AT ITER 8055 NEW BEST:: SOT 983449 SOS 123605 HAS SOPS 123605 HAS SOUS 107463 HAS SOUPS 107463 WITH SCORE 107586.605
AT ITER 8094 NEW BEST:: SOT 983441 SOS 121969 HAS SOPS 121969 HAS SOUS 107381 HAS SOUPS 107381 WITH SCORE 107502.969
AT ITER 8144 NEW BEST:: SOT 983441 SOS 121969 HAS SOPS 121969 HAS SOUS 107361 HAS SOUPS 107361 WITH SCORE 107482.969
AT ITER 8299 NEW BEST:: SOT 983441 SOS 121968 HAS SOPS 121968 HAS SOUS 107360 HAS SOUPS 107360 WITH SCORE 107481.968
AT ITER 8306 NEW BEST:: SOT 983441 SOS 121968 HAS SOPS 121968 HAS SOUS 107337 HAS SOUPS 107337 WITH SCORE 107458.968
AT ITER 8319 NEW BEST:: SOT 983360 SOS 121850 HAS SOPS 121850 HAS SOUS 107219 HAS SOUPS 107219 WITH SCORE 107340.85
AT ITER 8392 NEW BEST:: SOT 983360 SOS 121839 HAS SOPS 121839 HAS SOUS 107208 HAS SOUPS 107208 WITH SCORE 107329.839
AT ITER 8450 NEW BEST:: SOT 983290 SOS 121800 HAS SOPS 121800 HAS SOUS 107169 HAS SOUPS 107169 WITH SCORE 107290.8
AT ITER 8495 NEW BEST:: SOT 983161 SOS 121798 HAS SOPS 121798 HAS SOUS 107167 HAS SOUPS 107167 WITH SCORE 107288.798
AT ITER 8524 NEW BEST:: SOT 983146 SOS 121753 HAS SOPS 121753 HAS SOUS 107137 HAS SOUPS 107137 WITH SCORE 107258.753
AT ITER 8536 NEW BEST:: SOT 983098 SOS 121729 HAS SOPS 121729 HAS SOUS 107113 HAS SOUPS 107113 WITH SCORE 107234.729
AT ITER 8593 NEW BEST:: SOT 983053 SOS 121716 HAS SOPS 121716 HAS SOUS 107110 HAS SOUPS 107110 WITH SCORE 107231.716
AT ITER 8596 NEW BEST:: SOT 982986 SOS 122243 HAS SOPS 122243 HAS SOUS 107047 HAS SOUPS 107047 WITH SCORE 107169.243
AT ITER 8680 NEW BEST:: SOT 982876 SOS 122177 HAS SOPS 122177 HAS SOUS 106981 HAS SOUPS 106981 WITH SCORE 107103.177
AT ITER 8685 NEW BEST:: SOT 982814 SOS 122096 HAS SOPS 122096 HAS SOUS 106900 HAS SOUPS 106900 WITH SCORE 107022.096
AT ITER 8768 NEW BEST:: SOT 982836 SOS 122094 HAS SOPS 122094 HAS SOUS 106898 HAS SOUPS 106898 WITH SCORE 107020.094
AT ITER 8782 NEW BEST:: SOT 982824 SOS 122082 HAS SOPS 122082 HAS SOUS 106886 HAS SOUPS 106886 WITH SCORE 107008.082
AT ITER 8820 NEW BEST:: SOT 982804 SOS 122042 HAS SOPS 122042 HAS SOUS 106865 HAS SOUPS 106865 WITH SCORE 106987.042
AT ITER 8846 NEW BEST:: SOT 982810 SOS 122021 HAS SOPS 122021 HAS SOUS 106844 HAS SOUPS 106844 WITH SCORE 106966.021
AT ITER 8935 NEW BEST:: SOT 982810 SOS 122017 HAS SOPS 122017 HAS SOUS 106844 HAS SOUPS 106844 WITH SCORE 106966.017
AT ITER 8965 NEW BEST:: SOT 982778 SOS 121999 HAS SOPS 121999 HAS SOUS 106825 HAS SOUPS 106825 WITH SCORE 106946.999
AT ITER 8989 NEW BEST:: SOT 982806 SOS 121971 HAS SOPS 121971 HAS SOUS 106797 HAS SOUPS 106797 WITH SCORE 106918.971
AT ITER 9072 NEW BEST:: SOT 982803 SOS 121965 HAS SOPS 121965 HAS SOUS 106791 HAS SOUPS 106791 WITH SCORE 106912.965
AT ITER 9081 NEW BEST:: SOT 982710 SOS 121925 HAS SOPS 121925 HAS SOUS 106751 HAS SOUPS 106751 WITH SCORE 106872.925
AT ITER 9108 NEW BEST:: SOT 982574 SOS 121854 HAS SOPS 121854 HAS SOUS 106680 HAS SOUPS 106680 WITH SCORE 106801.854
AT ITER 9154 NEW BEST:: SOT 982574 SOS 121809 HAS SOPS 121809 HAS SOUS 106673 HAS SOUPS 106673 WITH SCORE 106794.809
AT ITER 9194 NEW BEST:: SOT 982583 SOS 121779 HAS SOPS 121779 HAS SOUS 106643 HAS SOUPS 106643 WITH SCORE 106764.779
AT ITER 9223 NEW BEST:: SOT 982575 SOS 121745 HAS SOPS 121745 HAS SOUS 106609 HAS SOUPS 106609 WITH SCORE 106730.745
AT ITER 9256 NEW BEST:: SOT 982546 SOS 121740 HAS SOPS 121740 HAS SOUS 106604 HAS SOUPS 106604 WITH SCORE 106725.74
AT ITER 9285 NEW BEST:: SOT 982546 SOS 121697 HAS SOPS 121697 HAS SOUS 106518 HAS SOUPS 106518 WITH SCORE 106639.697
AT ITER 9299 NEW BEST:: SOT 982546 SOS 121697 HAS SOPS 121697 HAS SOUS 106508 HAS SOUPS 106508 WITH SCORE 106629.697
AT ITER 9330 NEW BEST:: SOT 982493 SOS 121644 HAS SOPS 121644 HAS SOUS 106445 HAS SOUPS 106445 WITH SCORE 106566.644
AT ITER 9382 NEW BEST:: SOT 982492 SOS 121647 HAS SOPS 121647 HAS SOUS 106444 HAS SOUPS 106444 WITH SCORE 106565.647
AT ITER 9399 NEW BEST:: SOT 982491 SOS 121594 HAS SOPS 121594 HAS SOUS 106444 HAS SOUPS 106444 WITH SCORE 106565.594
AT ITER 9408 NEW BEST:: SOT 982491 SOS 121572 HAS SOPS 121572 HAS SOUS 106433 HAS SOUPS 106433 WITH SCORE 106554.572
AT ITER 9550 NEW BEST:: SOT 982170 SOS 123856 HAS SOPS 123856 HAS SOUS 106322 HAS SOUPS 106322 WITH SCORE 106445.856
AT ITER 9597 NEW BEST:: SOT 982148 SOS 123739 HAS SOPS 123739 HAS SOUS 106286 HAS SOUPS 106286 WITH SCORE 106409.739
AT ITER 9604 NEW BEST:: SOT 982148 SOS 123659 HAS SOPS 123659 HAS SOUS 106275 HAS SOUPS 106275 WITH SCORE 106398.659
AT ITER 9649 NEW BEST:: SOT 982102 SOS 123632 HAS SOPS 123632 HAS SOUS 106247 HAS SOUPS 106247 WITH SCORE 106370.632
AT ITER 9712 NEW BEST:: SOT 981988 SOS 123614 HAS SOPS 123614 HAS SOUS 106229 HAS SOUPS 106229 WITH SCORE 106352.614
AT ITER 9737 NEW BEST:: SOT 981961 SOS 123587 HAS SOPS 123587 HAS SOUS 106202 HAS SOUPS 106202 WITH SCORE 106325.587
AT ITER 9740 NEW BEST:: SOT 981942 SOS 123548 HAS SOPS 123548 HAS SOUS 106163 HAS SOUPS 106163 WITH SCORE 106286.548
AT ITER 9743 NEW BEST:: SOT 981810 SOS 123581 HAS SOPS 123581 HAS SOUS 106046 HAS SOUPS 106046 WITH SCORE 106169.581
AT ITER 9762 NEW BEST:: SOT 981791 SOS 123562 HAS SOPS 123562 HAS SOUS 106045 HAS SOUPS 106045 WITH SCORE 106168.562
AT ITER 9785 NEW BEST:: SOT 981791 SOS 123543 HAS SOPS 123543 HAS SOUS 106026 HAS SOUPS 106026 WITH SCORE 106149.543
AT ITER 9795 NEW BEST:: SOT 981748 SOS 123507 HAS SOPS 123507 HAS SOUS 105990 HAS SOUPS 105990 WITH SCORE 106113.507
AT ITER 9812 NEW BEST:: SOT 981720 SOS 123479 HAS SOPS 123479 HAS SOUS 105962 HAS SOUPS 105962 WITH SCORE 106085.479
AT ITER 9823 NEW BEST:: SOT 981709 SOS 123468 HAS SOPS 123468 HAS SOUS 105951 HAS SOUPS 105951 WITH SCORE 106074.468
AT ITER 9898 NEW BEST:: SOT 981691 SOS 123450 HAS SOPS 123450 HAS SOUS 105933 HAS SOUPS 105933 WITH SCORE 106056.45
AT ITER 9924 NEW BEST:: SOT 981635 SOS 123340 HAS SOPS 123340 HAS SOUS 105823 HAS SOUPS 105823 WITH SCORE 105946.34
AT ITER 9985 NEW BEST:: SOT 981618 SOS 123306 HAS SOPS 123306 HAS SOUS 105772 HAS SOUPS 105772 WITH SCORE 105895.306
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10412016 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119864 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is FamilyReunion-COL-L00010M0001C001P001G001, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858400304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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