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-167838847600312.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-L00020M0002C001P001G001, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847600312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.4K Feb 26 11:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 11:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 11:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 11:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 11:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 11:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:45 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 11:45 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 135K 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 1678443433247

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-L00020M0002C001P001G001
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 10:17:15] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 10:17:15] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 10:17:15] [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:17:16] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 10:17:16] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 953 ms
[2023-03-10 10:17:17] [INFO ] Detected 5 constant HL places corresponding to 11 PT places.
[2023-03-10 10:17:17] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 3292 PT places and 2774.0 transition bindings in 68 ms.
[2023-03-10 10:17:17] [INFO ] Unfolded HLPN to a Petri net with 3292 places and 2753 transitions 7900 arcs in 93 ms.
[2023-03-10 10:17:17] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 21 places and 0 transitions.
[2023-03-10 10:17:17] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 3271 places, 2753 transitions and 7900 arcs took 44 ms.
Total runtime 1428 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00020M0002C001P001G001
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: 3271 places, 2753 transitions, 7900 arcs.
AT ITER 0 NEW BEST:: SOT 4972945 SOS 455275 HAS SOPS 455275 HAS SOUS 415375 HAS SOUPS 415375 WITH SCORE 415830.275
AT ITER 2 NEW BEST:: SOT 4972885 SOS 455152 HAS SOPS 455152 HAS SOUS 415252 HAS SOUPS 415252 WITH SCORE 415707.152
AT ITER 53 NEW BEST:: SOT 4972192 SOS 456103 HAS SOPS 456103 HAS SOUS 414493 HAS SOUPS 414493 WITH SCORE 414949.103
AT ITER 91 NEW BEST:: SOT 4972180 SOS 456091 HAS SOPS 456091 HAS SOUS 414481 HAS SOUPS 414481 WITH SCORE 414937.091
AT ITER 97 NEW BEST:: SOT 4972122 SOS 455975 HAS SOPS 455975 HAS SOUS 414365 HAS SOUPS 414365 WITH SCORE 414820.975
AT ITER 116 NEW BEST:: SOT 4972065 SOS 455918 HAS SOPS 455918 HAS SOUS 414308 HAS SOUPS 414308 WITH SCORE 414763.918
AT ITER 175 NEW BEST:: SOT 4971985 SOS 455775 HAS SOPS 455775 HAS SOUS 414165 HAS SOUPS 414165 WITH SCORE 414620.775
AT ITER 208 NEW BEST:: SOT 4971985 SOS 455718 HAS SOPS 455718 HAS SOUS 414108 HAS SOUPS 414108 WITH SCORE 414563.718
AT ITER 249 NEW BEST:: SOT 4971965 SOS 455620 HAS SOPS 455620 HAS SOUS 414101 HAS SOUPS 414101 WITH SCORE 414556.62
AT ITER 263 NEW BEST:: SOT 4971877 SOS 455444 HAS SOPS 455444 HAS SOUS 413925 HAS SOUPS 413925 WITH SCORE 414380.444
AT ITER 366 NEW BEST:: SOT 4971751 SOS 455283 HAS SOPS 455283 HAS SOUS 413589 HAS SOUPS 413589 WITH SCORE 414044.283
AT ITER 374 NEW BEST:: SOT 4971700 SOS 455232 HAS SOPS 455232 HAS SOUS 413538 HAS SOUPS 413538 WITH SCORE 413993.232
AT ITER 389 NEW BEST:: SOT 4971700 SOS 455225 HAS SOPS 455225 HAS SOUS 413531 HAS SOUPS 413531 WITH SCORE 413986.225
AT ITER 404 NEW BEST:: SOT 4971651 SOS 455176 HAS SOPS 455176 HAS SOUS 413482 HAS SOUPS 413482 WITH SCORE 413937.176
AT ITER 521 NEW BEST:: SOT 4971631 SOS 455078 HAS SOPS 455078 HAS SOUS 413461 HAS SOUPS 413461 WITH SCORE 413916.078
AT ITER 555 NEW BEST:: SOT 4971565 SOS 454893 HAS SOPS 454893 HAS SOUS 413276 HAS SOUPS 413276 WITH SCORE 413730.893
AT ITER 556 NEW BEST:: SOT 4971565 SOS 454827 HAS SOPS 454827 HAS SOUS 413210 HAS SOUPS 413210 WITH SCORE 413664.827
AT ITER 698 NEW BEST:: SOT 4971505 SOS 454704 HAS SOPS 454704 HAS SOUS 413087 HAS SOUPS 413087 WITH SCORE 413541.704
AT ITER 706 NEW BEST:: SOT 4971476 SOS 454675 HAS SOPS 454675 HAS SOUS 413057 HAS SOUPS 413057 WITH SCORE 413511.675
AT ITER 774 NEW BEST:: SOT 4971476 SOS 454636 HAS SOPS 454636 HAS SOUS 413018 HAS SOUPS 413018 WITH SCORE 413472.636
AT ITER 824 NEW BEST:: SOT 4971476 SOS 454563 HAS SOPS 454563 HAS SOUS 412945 HAS SOUPS 412945 WITH SCORE 413399.563
AT ITER 834 NEW BEST:: SOT 4971476 SOS 454507 HAS SOPS 454507 HAS SOUS 412889 HAS SOUPS 412889 WITH SCORE 413343.507
AT ITER 850 NEW BEST:: SOT 4971456 SOS 454487 HAS SOPS 454487 HAS SOUS 412869 HAS SOUPS 412869 WITH SCORE 413323.487
AT ITER 913 NEW BEST:: SOT 4971468 SOS 454471 HAS SOPS 454471 HAS SOUS 412853 HAS SOUPS 412853 WITH SCORE 413307.471
AT ITER 921 NEW BEST:: SOT 4971468 SOS 454412 HAS SOPS 454412 HAS SOUS 412794 HAS SOUPS 412794 WITH SCORE 413248.412
AT ITER 957 NEW BEST:: SOT 4971468 SOS 454391 HAS SOPS 454391 HAS SOUS 412773 HAS SOUPS 412773 WITH SCORE 413227.391
AT ITER 982 NEW BEST:: SOT 4971374 SOS 454209 HAS SOPS 454209 HAS SOUS 412585 HAS SOUPS 412585 WITH SCORE 413039.209
AT ITER 1000 NEW BEST:: SOT 4971314 SOS 454032 HAS SOPS 454032 HAS SOUS 412408 HAS SOUPS 412408 WITH SCORE 412862.032
AT ITER 1014 NEW BEST:: SOT 4971193 SOS 453920 HAS SOPS 453920 HAS SOUS 412295 HAS SOUPS 412295 WITH SCORE 412748.92
AT ITER 1015 NEW BEST:: SOT 4971105 SOS 453909 HAS SOPS 453909 HAS SOUS 412225 HAS SOUPS 412225 WITH SCORE 412678.909
AT ITER 1078 NEW BEST:: SOT 4971044 SOS 453848 HAS SOPS 453848 HAS SOUS 412164 HAS SOUPS 412164 WITH SCORE 412617.848
AT ITER 1085 NEW BEST:: SOT 4970978 SOS 453810 HAS SOPS 453810 HAS SOUS 412126 HAS SOUPS 412126 WITH SCORE 412579.81
AT ITER 1086 NEW BEST:: SOT 4970978 SOS 453765 HAS SOPS 453765 HAS SOUS 412081 HAS SOUPS 412081 WITH SCORE 412534.765
AT ITER 1090 NEW BEST:: SOT 4970978 SOS 453732 HAS SOPS 453732 HAS SOUS 412048 HAS SOUPS 412048 WITH SCORE 412501.732
AT ITER 1113 NEW BEST:: SOT 4971074 SOS 453722 HAS SOPS 453722 HAS SOUS 412038 HAS SOUPS 412038 WITH SCORE 412491.722
AT ITER 1133 NEW BEST:: SOT 4971008 SOS 453535 HAS SOPS 453535 HAS SOUS 411851 HAS SOUPS 411851 WITH SCORE 412304.535
AT ITER 1154 NEW BEST:: SOT 4970980 SOS 453412 HAS SOPS 453412 HAS SOUS 411823 HAS SOUPS 411823 WITH SCORE 412276.412
AT ITER 1206 NEW BEST:: SOT 4970980 SOS 453355 HAS SOPS 453355 HAS SOUS 411822 HAS SOUPS 411822 WITH SCORE 412275.355
AT ITER 1255 NEW BEST:: SOT 4970853 SOS 453206 HAS SOPS 453206 HAS SOUS 411673 HAS SOUPS 411673 WITH SCORE 412126.206
AT ITER 1296 NEW BEST:: SOT 4970853 SOS 453161 HAS SOPS 453161 HAS SOUS 411628 HAS SOUPS 411628 WITH SCORE 412081.161
AT ITER 1330 NEW BEST:: SOT 4970793 SOS 453038 HAS SOPS 453038 HAS SOUS 411505 HAS SOUPS 411505 WITH SCORE 411958.038
AT ITER 1355 NEW BEST:: SOT 4970711 SOS 452996 HAS SOPS 452996 HAS SOUS 411461 HAS SOUPS 411461 WITH SCORE 411913.996
AT ITER 1364 NEW BEST:: SOT 4970711 SOS 452953 HAS SOPS 452953 HAS SOUS 411418 HAS SOUPS 411418 WITH SCORE 411870.953
AT ITER 1386 NEW BEST:: SOT 4970535 SOS 452645 HAS SOPS 452645 HAS SOUS 411096 HAS SOUPS 411096 WITH SCORE 411548.645
AT ITER 1454 NEW BEST:: SOT 4970532 SOS 452642 HAS SOPS 452642 HAS SOUS 411093 HAS SOUPS 411093 WITH SCORE 411545.642
AT ITER 1551 NEW BEST:: SOT 4970383 SOS 452516 HAS SOPS 452516 HAS SOUS 410795 HAS SOUPS 410795 WITH SCORE 411247.516
AT ITER 1565 NEW BEST:: SOT 4970376 SOS 452502 HAS SOPS 452502 HAS SOUS 410781 HAS SOUPS 410781 WITH SCORE 411233.502
AT ITER 1578 NEW BEST:: SOT 4970182 SOS 452442 HAS SOPS 452442 HAS SOUS 410719 HAS SOUPS 410719 WITH SCORE 411171.442
AT ITER 1588 NEW BEST:: SOT 4970182 SOS 452394 HAS SOPS 452394 HAS SOUS 410671 HAS SOUPS 410671 WITH SCORE 411123.394
AT ITER 1590 NEW BEST:: SOT 4970182 SOS 452435 HAS SOPS 452435 HAS SOUS 410650 HAS SOUPS 410650 WITH SCORE 411102.435
AT ITER 1695 NEW BEST:: SOT 4970182 SOS 452393 HAS SOPS 452393 HAS SOUS 410622 HAS SOUPS 410622 WITH SCORE 411074.393
AT ITER 1756 NEW BEST:: SOT 4970182 SOS 452337 HAS SOPS 452337 HAS SOUS 410566 HAS SOUPS 410566 WITH SCORE 411018.337
AT ITER 1771 NEW BEST:: SOT 4970173 SOS 452179 HAS SOPS 452179 HAS SOUS 410408 HAS SOUPS 410408 WITH SCORE 410860.179
AT ITER 1776 NEW BEST:: SOT 4970113 SOS 452059 HAS SOPS 452059 HAS SOUS 410288 HAS SOUPS 410288 WITH SCORE 410740.059
AT ITER 1944 NEW BEST:: SOT 4970093 SOS 452019 HAS SOPS 452019 HAS SOUS 410248 HAS SOUPS 410248 WITH SCORE 410700.019
AT ITER 2008 NEW BEST:: SOT 4969933 SOS 451950 HAS SOPS 451950 HAS SOUS 410179 HAS SOUPS 410179 WITH SCORE 410630.95
AT ITER 2050 NEW BEST:: SOT 4969933 SOS 451900 HAS SOPS 451900 HAS SOUS 410129 HAS SOUPS 410129 WITH SCORE 410580.9
AT ITER 2089 NEW BEST:: SOT 4969933 SOS 451854 HAS SOPS 451854 HAS SOUS 410083 HAS SOUPS 410083 WITH SCORE 410534.854
AT ITER 2105 NEW BEST:: SOT 4969884 SOS 451832 HAS SOPS 451832 HAS SOUS 410061 HAS SOUPS 410061 WITH SCORE 410512.832
AT ITER 2178 NEW BEST:: SOT 4969824 SOS 451706 HAS SOPS 451706 HAS SOUS 409935 HAS SOUPS 409935 WITH SCORE 410386.706
AT ITER 2185 NEW BEST:: SOT 4969771 SOS 451653 HAS SOPS 451653 HAS SOUS 409882 HAS SOUPS 409882 WITH SCORE 410333.653
AT ITER 2196 NEW BEST:: SOT 4969771 SOS 451642 HAS SOPS 451642 HAS SOUS 409862 HAS SOUPS 409862 WITH SCORE 410313.642
AT ITER 2205 NEW BEST:: SOT 4969771 SOS 451588 HAS SOPS 451588 HAS SOUS 409808 HAS SOUPS 409808 WITH SCORE 410259.588
AT ITER 2314 NEW BEST:: SOT 4969727 SOS 451544 HAS SOPS 451544 HAS SOUS 409764 HAS SOUPS 409764 WITH SCORE 410215.544
AT ITER 2369 NEW BEST:: SOT 4969696 SOS 451524 HAS SOPS 451524 HAS SOUS 409744 HAS SOUPS 409744 WITH SCORE 410195.524
AT ITER 2432 NEW BEST:: SOT 4969601 SOS 451433 HAS SOPS 451433 HAS SOUS 409673 HAS SOUPS 409673 WITH SCORE 410124.433
AT ITER 2446 NEW BEST:: SOT 4969415 SOS 451135 HAS SOPS 451135 HAS SOUS 409366 HAS SOUPS 409366 WITH SCORE 409817.135
AT ITER 2454 NEW BEST:: SOT 4969395 SOS 451026 HAS SOPS 451026 HAS SOUS 409304 HAS SOUPS 409304 WITH SCORE 409755.026
AT ITER 2460 NEW BEST:: SOT 4969395 SOS 451003 HAS SOPS 451003 HAS SOUS 409281 HAS SOUPS 409281 WITH SCORE 409732.003
AT ITER 2503 NEW BEST:: SOT 4969301 SOS 450869 HAS SOPS 450869 HAS SOUS 409147 HAS SOUPS 409147 WITH SCORE 409597.869
AT ITER 2518 NEW BEST:: SOT 4969281 SOS 450849 HAS SOPS 450849 HAS SOUS 409127 HAS SOUPS 409127 WITH SCORE 409577.849
AT ITER 2602 NEW BEST:: SOT 4969241 SOS 450809 HAS SOPS 450809 HAS SOUS 409087 HAS SOUPS 409087 WITH SCORE 409537.809
AT ITER 2642 NEW BEST:: SOT 4969213 SOS 450741 HAS SOPS 450741 HAS SOUS 409059 HAS SOUPS 409059 WITH SCORE 409509.741
AT ITER 2662 NEW BEST:: SOT 4969213 SOS 450706 HAS SOPS 450706 HAS SOUS 409059 HAS SOUPS 409059 WITH SCORE 409509.706
AT ITER 2677 NEW BEST:: SOT 4969162 SOS 450655 HAS SOPS 450655 HAS SOUS 409008 HAS SOUPS 409008 WITH SCORE 409458.655
AT ITER 2691 NEW BEST:: SOT 4969156 SOS 450649 HAS SOPS 450649 HAS SOUS 409007 HAS SOUPS 409007 WITH SCORE 409457.649
AT ITER 2694 NEW BEST:: SOT 4969156 SOS 450607 HAS SOPS 450607 HAS SOUS 408965 HAS SOUPS 408965 WITH SCORE 409415.607
AT ITER 2697 NEW BEST:: SOT 4969019 SOS 450511 HAS SOPS 450511 HAS SOUS 408869 HAS SOUPS 408869 WITH SCORE 409319.511
AT ITER 2701 NEW BEST:: SOT 4968967 SOS 450511 HAS SOPS 450511 HAS SOUS 408868 HAS SOUPS 408868 WITH SCORE 409318.511
AT ITER 2744 NEW BEST:: SOT 4968846 SOS 450327 HAS SOPS 450327 HAS SOUS 408684 HAS SOUPS 408684 WITH SCORE 409134.327
AT ITER 2759 NEW BEST:: SOT 4968839 SOS 450320 HAS SOPS 450320 HAS SOUS 408677 HAS SOUPS 408677 WITH SCORE 409127.32
AT ITER 2804 NEW BEST:: SOT 4968839 SOS 450254 HAS SOPS 450254 HAS SOUS 408611 HAS SOUPS 408611 WITH SCORE 409061.254
AT ITER 2870 NEW BEST:: SOT 4968655 SOS 449828 HAS SOPS 449828 HAS SOUS 408243 HAS SOUPS 408243 WITH SCORE 408692.828
AT ITER 2894 NEW BEST:: SOT 4968555 SOS 449665 HAS SOPS 449665 HAS SOUS 408080 HAS SOUPS 408080 WITH SCORE 408529.665
AT ITER 2949 NEW BEST:: SOT 4968345 SOS 449308 HAS SOPS 449308 HAS SOUS 407660 HAS SOUPS 407660 WITH SCORE 408109.308
AT ITER 2959 NEW BEST:: SOT 4968345 SOS 449249 HAS SOPS 449249 HAS SOUS 407601 HAS SOUPS 407601 WITH SCORE 408050.249
AT ITER 3016 NEW BEST:: SOT 4968148 SOS 448849 HAS SOPS 448849 HAS SOUS 407189 HAS SOUPS 407189 WITH SCORE 407637.849
AT ITER 3108 NEW BEST:: SOT 4968148 SOS 448789 HAS SOPS 448789 HAS SOUS 407189 HAS SOUPS 407189 WITH SCORE 407637.789
AT ITER 3121 NEW BEST:: SOT 4968088 SOS 448663 HAS SOPS 448663 HAS SOUS 407063 HAS SOUPS 407063 WITH SCORE 407511.663
AT ITER 3177 NEW BEST:: SOT 4968088 SOS 448624 HAS SOPS 448624 HAS SOUS 407024 HAS SOUPS 407024 WITH SCORE 407472.624
AT ITER 3181 NEW BEST:: SOT 4968021 SOS 448672 HAS SOPS 448672 HAS SOUS 406994 HAS SOUPS 406994 WITH SCORE 407442.672
AT ITER 3214 NEW BEST:: SOT 4967950 SOS 448672 HAS SOPS 448672 HAS SOUS 406992 HAS SOUPS 406992 WITH SCORE 407440.672
AT ITER 3339 NEW BEST:: SOT 4967896 SOS 448812 HAS SOPS 448812 HAS SOUS 406988 HAS SOUPS 406988 WITH SCORE 407436.812
AT ITER 3388 NEW BEST:: SOT 4967896 SOS 448764 HAS SOPS 448764 HAS SOUS 406940 HAS SOUPS 406940 WITH SCORE 407388.764
AT ITER 3410 NEW BEST:: SOT 4967854 SOS 448722 HAS SOPS 448722 HAS SOUS 406898 HAS SOUPS 406898 WITH SCORE 407346.722
AT ITER 3459 NEW BEST:: SOT 4967854 SOS 448715 HAS SOPS 448715 HAS SOUS 406891 HAS SOUPS 406891 WITH SCORE 407339.715
AT ITER 3488 NEW BEST:: SOT 4967890 SOS 448680 HAS SOPS 448680 HAS SOUS 406856 HAS SOUPS 406856 WITH SCORE 407304.68
AT ITER 3490 NEW BEST:: SOT 4967890 SOS 448624 HAS SOPS 448624 HAS SOUS 406800 HAS SOUPS 406800 WITH SCORE 407248.624
AT ITER 3506 NEW BEST:: SOT 4967774 SOS 448445 HAS SOPS 448445 HAS SOUS 406621 HAS SOUPS 406621 WITH SCORE 407069.445
AT ITER 3517 NEW BEST:: SOT 4967744 SOS 448415 HAS SOPS 448415 HAS SOUS 406591 HAS SOUPS 406591 WITH SCORE 407039.415
AT ITER 3566 NEW BEST:: SOT 4967684 SOS 448241 HAS SOPS 448241 HAS SOUS 406539 HAS SOUPS 406539 WITH SCORE 406987.241
AT ITER 3599 NEW BEST:: SOT 4967624 SOS 448118 HAS SOPS 448118 HAS SOUS 406535 HAS SOUPS 406535 WITH SCORE 406983.118
AT ITER 3605 NEW BEST:: SOT 4967615 SOS 446684 HAS SOPS 446684 HAS SOUS 406439 HAS SOUPS 406439 WITH SCORE 406885.684
AT ITER 3649 NEW BEST:: SOT 4967588 SOS 446657 HAS SOPS 446657 HAS SOUS 406412 HAS SOUPS 406412 WITH SCORE 406858.657
AT ITER 3676 NEW BEST:: SOT 4967551 SOS 446499 HAS SOPS 446499 HAS SOUS 406335 HAS SOUPS 406335 WITH SCORE 406781.499
AT ITER 3742 NEW BEST:: SOT 4967525 SOS 446427 HAS SOPS 446427 HAS SOUS 406315 HAS SOUPS 406315 WITH SCORE 406761.427
AT ITER 3750 NEW BEST:: SOT 4967525 SOS 446406 HAS SOPS 446406 HAS SOUS 406294 HAS SOUPS 406294 WITH SCORE 406740.406
AT ITER 3782 NEW BEST:: SOT 4967389 SOS 446264 HAS SOPS 446264 HAS SOUS 406152 HAS SOUPS 406152 WITH SCORE 406598.264
AT ITER 3825 NEW BEST:: SOT 4967255 SOS 446035 HAS SOPS 446035 HAS SOUS 405800 HAS SOUPS 405800 WITH SCORE 406246.035
AT ITER 3826 NEW BEST:: SOT 4967184 SOS 445933 HAS SOPS 445933 HAS SOUS 405698 HAS SOUPS 405698 WITH SCORE 406143.933
AT ITER 3945 NEW BEST:: SOT 4967124 SOS 445810 HAS SOPS 445810 HAS SOUS 405575 HAS SOUPS 405575 WITH SCORE 406020.81
AT ITER 3948 NEW BEST:: SOT 4967113 SOS 445799 HAS SOPS 445799 HAS SOUS 405564 HAS SOUPS 405564 WITH SCORE 406009.799
AT ITER 3968 NEW BEST:: SOT 4967113 SOS 445769 HAS SOPS 445769 HAS SOUS 405564 HAS SOUPS 405564 WITH SCORE 406009.769
AT ITER 4034 NEW BEST:: SOT 4967047 SOS 445595 HAS SOPS 445595 HAS SOUS 405390 HAS SOUPS 405390 WITH SCORE 405835.595
AT ITER 4107 NEW BEST:: SOT 4967047 SOS 445438 HAS SOPS 445438 HAS SOUS 405350 HAS SOUPS 405350 WITH SCORE 405795.438
AT ITER 4115 NEW BEST:: SOT 4966679 SOS 445088 HAS SOPS 445088 HAS SOUS 405000 HAS SOUPS 405000 WITH SCORE 405445.088
AT ITER 4159 NEW BEST:: SOT 4966565 SOS 444781 HAS SOPS 444781 HAS SOUS 404688 HAS SOUPS 404688 WITH SCORE 405132.781
AT ITER 4180 NEW BEST:: SOT 4966545 SOS 444705 HAS SOPS 444705 HAS SOUS 404667 HAS SOUPS 404667 WITH SCORE 405111.705
AT ITER 4193 NEW BEST:: SOT 4966449 SOS 444609 HAS SOPS 444609 HAS SOUS 404571 HAS SOUPS 404571 WITH SCORE 405015.609
AT ITER 4226 NEW BEST:: SOT 4966426 SOS 444586 HAS SOPS 444586 HAS SOUS 404548 HAS SOUPS 404548 WITH SCORE 404992.586
AT ITER 4306 NEW BEST:: SOT 4966426 SOS 444543 HAS SOPS 444543 HAS SOUS 404547 HAS SOUPS 404547 WITH SCORE 404991.543
AT ITER 4319 NEW BEST:: SOT 4966342 SOS 444316 HAS SOPS 444316 HAS SOUS 404320 HAS SOUPS 404320 WITH SCORE 404764.316
AT ITER 4325 NEW BEST:: SOT 4966275 SOS 444151 HAS SOPS 444151 HAS SOUS 404207 HAS SOUPS 404207 WITH SCORE 404651.151
AT ITER 4439 NEW BEST:: SOT 4966169 SOS 443982 HAS SOPS 443982 HAS SOUS 404038 HAS SOUPS 404038 WITH SCORE 404481.982
AT ITER 4484 NEW BEST:: SOT 4966057 SOS 443674 HAS SOPS 443674 HAS SOUS 403727 HAS SOUPS 403727 WITH SCORE 404170.674
AT ITER 4602 NEW BEST:: SOT 4965997 SOS 443551 HAS SOPS 443551 HAS SOUS 403604 HAS SOUPS 403604 WITH SCORE 404047.551
AT ITER 4684 NEW BEST:: SOT 4965942 SOS 443496 HAS SOPS 443496 HAS SOUS 403549 HAS SOUPS 403549 WITH SCORE 403992.496
AT ITER 4748 NEW BEST:: SOT 4965942 SOS 443467 HAS SOPS 443467 HAS SOUS 403520 HAS SOUPS 403520 WITH SCORE 403963.467
AT ITER 4770 NEW BEST:: SOT 4965882 SOS 443341 HAS SOPS 443341 HAS SOUS 403394 HAS SOUPS 403394 WITH SCORE 403837.341
AT ITER 4806 NEW BEST:: SOT 4965882 SOS 443283 HAS SOPS 443283 HAS SOUS 403336 HAS SOUPS 403336 WITH SCORE 403779.283
AT ITER 4871 NEW BEST:: SOT 4965862 SOS 443209 HAS SOPS 443209 HAS SOUS 403278 HAS SOUPS 403278 WITH SCORE 403721.209
AT ITER 4919 NEW BEST:: SOT 4965862 SOS 443191 HAS SOPS 443191 HAS SOUS 403260 HAS SOUPS 403260 WITH SCORE 403703.191
AT ITER 4947 NEW BEST:: SOT 4965862 SOS 443136 HAS SOPS 443136 HAS SOUS 403205 HAS SOUPS 403205 WITH SCORE 403648.136
AT ITER 5009 NEW BEST:: SOT 4965832 SOS 443106 HAS SOPS 443106 HAS SOUS 403175 HAS SOUPS 403175 WITH SCORE 403618.106
AT ITER 5029 NEW BEST:: SOT 4965762 SOS 442973 HAS SOPS 442973 HAS SOUS 403167 HAS SOUPS 403167 WITH SCORE 403609.973
AT ITER 5074 NEW BEST:: SOT 4965730 SOS 442941 HAS SOPS 442941 HAS SOUS 403167 HAS SOUPS 403167 WITH SCORE 403609.941
AT ITER 5107 NEW BEST:: SOT 4965626 SOS 442837 HAS SOPS 442837 HAS SOUS 403063 HAS SOUPS 403063 WITH SCORE 403505.837
AT ITER 5156 NEW BEST:: SOT 4965626 SOS 442798 HAS SOPS 442798 HAS SOUS 403024 HAS SOUPS 403024 WITH SCORE 403466.798
AT ITER 5158 NEW BEST:: SOT 4965464 SOS 442489 HAS SOPS 442489 HAS SOUS 402700 HAS SOUPS 402700 WITH SCORE 403142.489
AT ITER 5237 NEW BEST:: SOT 4965500 SOS 442945 HAS SOPS 442945 HAS SOUS 402623 HAS SOUPS 402623 WITH SCORE 403065.945
AT ITER 5241 NEW BEST:: SOT 4965440 SOS 442885 HAS SOPS 442885 HAS SOUS 402563 HAS SOUPS 402563 WITH SCORE 403005.885
AT ITER 5278 NEW BEST:: SOT 4965440 SOS 442855 HAS SOPS 442855 HAS SOUS 402533 HAS SOUPS 402533 WITH SCORE 402975.855
AT ITER 5284 NEW BEST:: SOT 4965356 SOS 442687 HAS SOPS 442687 HAS SOUS 402365 HAS SOUPS 402365 WITH SCORE 402807.687
AT ITER 5290 NEW BEST:: SOT 4965325 SOS 442661 HAS SOPS 442661 HAS SOUS 402339 HAS SOUPS 402339 WITH SCORE 402781.661
AT ITER 5296 NEW BEST:: SOT 4965379 SOS 442597 HAS SOPS 442597 HAS SOUS 402205 HAS SOUPS 402205 WITH SCORE 402647.597
AT ITER 5356 NEW BEST:: SOT 4965379 SOS 442534 HAS SOPS 442534 HAS SOUS 402142 HAS SOUPS 402142 WITH SCORE 402584.534
AT ITER 5411 NEW BEST:: SOT 4965313 SOS 442397 HAS SOPS 442397 HAS SOUS 402005 HAS SOUPS 402005 WITH SCORE 402447.397
AT ITER 5489 NEW BEST:: SOT 4965313 SOS 442246 HAS SOPS 442246 HAS SOUS 401965 HAS SOUPS 401965 WITH SCORE 402407.246
AT ITER 5541 NEW BEST:: SOT 4965313 SOS 442186 HAS SOPS 442186 HAS SOUS 401905 HAS SOUPS 401905 WITH SCORE 402347.186
AT ITER 5589 NEW BEST:: SOT 4965280 SOS 442153 HAS SOPS 442153 HAS SOUS 401872 HAS SOUPS 401872 WITH SCORE 402314.153
AT ITER 5610 NEW BEST:: SOT 4965160 SOS 441970 HAS SOPS 441970 HAS SOUS 401689 HAS SOUPS 401689 WITH SCORE 402130.97
AT ITER 5646 NEW BEST:: SOT 4965140 SOS 441901 HAS SOPS 441901 HAS SOUS 401680 HAS SOUPS 401680 WITH SCORE 402121.901
AT ITER 5667 NEW BEST:: SOT 4965140 SOS 441872 HAS SOPS 441872 HAS SOUS 401680 HAS SOUPS 401680 WITH SCORE 402121.872
AT ITER 5694 NEW BEST:: SOT 4965119 SOS 441830 HAS SOPS 441830 HAS SOUS 401638 HAS SOUPS 401638 WITH SCORE 402079.83
AT ITER 5780 NEW BEST:: SOT 4965119 SOS 441792 HAS SOPS 441792 HAS SOUS 401600 HAS SOUPS 401600 WITH SCORE 402041.792
AT ITER 5800 NEW BEST:: SOT 4964987 SOS 441597 HAS SOPS 441597 HAS SOUS 401403 HAS SOUPS 401403 WITH SCORE 401844.597
AT ITER 5935 NEW BEST:: SOT 4964987 SOS 441556 HAS SOPS 441556 HAS SOUS 401362 HAS SOUPS 401362 WITH SCORE 401803.556
AT ITER 5954 NEW BEST:: SOT 4964759 SOS 441493 HAS SOPS 441493 HAS SOUS 401291 HAS SOUPS 401291 WITH SCORE 401732.493
AT ITER 5960 NEW BEST:: SOT 4964699 SOS 441433 HAS SOPS 441433 HAS SOUS 401231 HAS SOUPS 401231 WITH SCORE 401672.433
AT ITER 5963 NEW BEST:: SOT 4964663 SOS 441397 HAS SOPS 441397 HAS SOUS 401195 HAS SOUPS 401195 WITH SCORE 401636.397
AT ITER 6063 NEW BEST:: SOT 4964642 SOS 441881 HAS SOPS 441881 HAS SOUS 401088 HAS SOUPS 401088 WITH SCORE 401529.881
AT ITER 6068 NEW BEST:: SOT 4964582 SOS 441800 HAS SOPS 441800 HAS SOUS 401007 HAS SOUPS 401007 WITH SCORE 401448.8
AT ITER 6110 NEW BEST:: SOT 4964553 SOS 441615 HAS SOPS 441615 HAS SOUS 400900 HAS SOUPS 400900 WITH SCORE 401341.615
AT ITER 6113 NEW BEST:: SOT 4964379 SOS 441360 HAS SOPS 441360 HAS SOUS 400645 HAS SOUPS 400645 WITH SCORE 401086.36
AT ITER 6121 NEW BEST:: SOT 4964377 SOS 441358 HAS SOPS 441358 HAS SOUS 400643 HAS SOUPS 400643 WITH SCORE 401084.358
AT ITER 6164 NEW BEST:: SOT 4964377 SOS 441303 HAS SOPS 441303 HAS SOUS 400588 HAS SOUPS 400588 WITH SCORE 401029.303
AT ITER 6425 NEW BEST:: SOT 4964377 SOS 441283 HAS SOPS 441283 HAS SOUS 400568 HAS SOUPS 400568 WITH SCORE 401009.283
AT ITER 6454 NEW BEST:: SOT 4964282 SOS 441180 HAS SOPS 441180 HAS SOUS 400567 HAS SOUPS 400567 WITH SCORE 401008.18
AT ITER 6473 NEW BEST:: SOT 4964221 SOS 441079 HAS SOPS 441079 HAS SOUS 400526 HAS SOUPS 400526 WITH SCORE 400967.079
AT ITER 6530 NEW BEST:: SOT 4964221 SOS 441039 HAS SOPS 441039 HAS SOUS 400486 HAS SOUPS 400486 WITH SCORE 400927.039
AT ITER 6558 NEW BEST:: SOT 4964102 SOS 440857 HAS SOPS 440857 HAS SOUS 400304 HAS SOUPS 400304 WITH SCORE 400744.857
AT ITER 6583 NEW BEST:: SOT 4964036 SOS 440671 HAS SOPS 440671 HAS SOUS 400118 HAS SOUPS 400118 WITH SCORE 400558.671
AT ITER 6603 NEW BEST:: SOT 4964014 SOS 440649 HAS SOPS 440649 HAS SOUS 400096 HAS SOUPS 400096 WITH SCORE 400536.649
AT ITER 6655 NEW BEST:: SOT 4963900 SOS 440430 HAS SOPS 440430 HAS SOUS 399877 HAS SOUPS 399877 WITH SCORE 400317.43
AT ITER 6668 NEW BEST:: SOT 4963840 SOS 440307 HAS SOPS 440307 HAS SOUS 399863 HAS SOUPS 399863 WITH SCORE 400303.307
AT ITER 6778 NEW BEST:: SOT 4963684 SOS 440013 HAS SOPS 440013 HAS SOUS 399551 HAS SOUPS 399551 WITH SCORE 399991.013
AT ITER 6807 NEW BEST:: SOT 4963684 SOS 439972 HAS SOPS 439972 HAS SOUS 399510 HAS SOUPS 399510 WITH SCORE 399949.972
AT ITER 6869 NEW BEST:: SOT 4963684 SOS 439946 HAS SOPS 439946 HAS SOUS 399484 HAS SOUPS 399484 WITH SCORE 399923.946
AT ITER 6894 NEW BEST:: SOT 4963647 SOS 439909 HAS SOPS 439909 HAS SOUS 399447 HAS SOUPS 399447 WITH SCORE 399886.909
AT ITER 6900 NEW BEST:: SOT 4963615 SOS 439877 HAS SOPS 439877 HAS SOUS 399415 HAS SOUPS 399415 WITH SCORE 399854.877
AT ITER 6941 NEW BEST:: SOT 4963605 SOS 439857 HAS SOPS 439857 HAS SOUS 399395 HAS SOUPS 399395 WITH SCORE 399834.857
AT ITER 6999 NEW BEST:: SOT 4963545 SOS 439734 HAS SOPS 439734 HAS SOUS 399272 HAS SOUPS 399272 WITH SCORE 399711.734
AT ITER 7012 NEW BEST:: SOT 4963426 SOS 439552 HAS SOPS 439552 HAS SOUS 399090 HAS SOUPS 399090 WITH SCORE 399529.552
AT ITER 7032 NEW BEST:: SOT 4963484 SOS 439492 HAS SOPS 439492 HAS SOUS 399086 HAS SOUPS 399086 WITH SCORE 399525.492
AT ITER 7076 NEW BEST:: SOT 4963484 SOS 439470 HAS SOPS 439470 HAS SOUS 399085 HAS SOUPS 399085 WITH SCORE 399524.47
AT ITER 7097 NEW BEST:: SOT 4963442 SOS 439350 HAS SOPS 439350 HAS SOUS 398965 HAS SOUPS 398965 WITH SCORE 399404.35
AT ITER 7124 NEW BEST:: SOT 4963454 SOS 439342 HAS SOPS 439342 HAS SOUS 398957 HAS SOUPS 398957 WITH SCORE 399396.342
AT ITER 7233 NEW BEST:: SOT 4963454 SOS 439331 HAS SOPS 439331 HAS SOUS 398946 HAS SOUPS 398946 WITH SCORE 399385.331
AT ITER 7276 NEW BEST:: SOT 4963454 SOS 439216 HAS SOPS 439216 HAS SOUS 398831 HAS SOUPS 398831 WITH SCORE 399270.216
AT ITER 7300 NEW BEST:: SOT 4963454 SOS 439196 HAS SOPS 439196 HAS SOUS 398811 HAS SOUPS 398811 WITH SCORE 399250.196
AT ITER 7347 NEW BEST:: SOT 4963454 SOS 438816 HAS SOPS 438816 HAS SOUS 398811 HAS SOUPS 398811 WITH SCORE 399249.816
AT ITER 7352 NEW BEST:: SOT 4963413 SOS 438775 HAS SOPS 438775 HAS SOUS 398770 HAS SOUPS 398770 WITH SCORE 399208.775
AT ITER 7362 NEW BEST:: SOT 4963413 SOS 438767 HAS SOPS 438767 HAS SOUS 398770 HAS SOUPS 398770 WITH SCORE 399208.767
AT ITER 7375 NEW BEST:: SOT 4963365 SOS 438629 HAS SOPS 438629 HAS SOUS 398701 HAS SOUPS 398701 WITH SCORE 399139.629
AT ITER 7384 NEW BEST:: SOT 4963365 SOS 438587 HAS SOPS 438587 HAS SOUS 398659 HAS SOUPS 398659 WITH SCORE 399097.587
AT ITER 7396 NEW BEST:: SOT 4963348 SOS 438570 HAS SOPS 438570 HAS SOUS 398642 HAS SOUPS 398642 WITH SCORE 399080.57
AT ITER 7465 NEW BEST:: SOT 4963348 SOS 438529 HAS SOPS 438529 HAS SOUS 398600 HAS SOUPS 398600 WITH SCORE 399038.529
AT ITER 7508 NEW BEST:: SOT 4963336 SOS 438505 HAS SOPS 438505 HAS SOUS 398576 HAS SOUPS 398576 WITH SCORE 399014.505
AT ITER 7566 NEW BEST:: SOT 4963426 SOS 438492 HAS SOPS 438492 HAS SOUS 398563 HAS SOUPS 398563 WITH SCORE 399001.492
AT ITER 7605 NEW BEST:: SOT 4963426 SOS 438489 HAS SOPS 438489 HAS SOUS 398563 HAS SOUPS 398563 WITH SCORE 399001.489
AT ITER 7615 NEW BEST:: SOT 4963384 SOS 438447 HAS SOPS 438447 HAS SOUS 398521 HAS SOUPS 398521 WITH SCORE 398959.447
AT ITER 7658 NEW BEST:: SOT 4963384 SOS 438431 HAS SOPS 438431 HAS SOUS 398505 HAS SOUPS 398505 WITH SCORE 398943.431
AT ITER 7696 NEW BEST:: SOT 4963364 SOS 438411 HAS SOPS 438411 HAS SOUS 398485 HAS SOUPS 398485 WITH SCORE 398923.411
AT ITER 7714 NEW BEST:: SOT 4963315 SOS 438449 HAS SOPS 438449 HAS SOUS 398442 HAS SOUPS 398442 WITH SCORE 398880.449
AT ITER 7763 NEW BEST:: SOT 4963274 SOS 438408 HAS SOPS 438408 HAS SOUS 398401 HAS SOUPS 398401 WITH SCORE 398839.408
AT ITER 7823 NEW BEST:: SOT 4963060 SOS 437965 HAS SOPS 437965 HAS SOUS 397973 HAS SOUPS 397973 WITH SCORE 398410.965
AT ITER 7873 NEW BEST:: SOT 4963060 SOS 437964 HAS SOPS 437964 HAS SOUS 397972 HAS SOUPS 397972 WITH SCORE 398409.964
AT ITER 7929 NEW BEST:: SOT 4963056 SOS 437956 HAS SOPS 437956 HAS SOUS 397964 HAS SOUPS 397964 WITH SCORE 398401.956
AT ITER 7944 NEW BEST:: SOT 4962882 SOS 437617 HAS SOPS 437617 HAS SOUS 397616 HAS SOUPS 397616 WITH SCORE 398053.617
AT ITER 7965 NEW BEST:: SOT 4962882 SOS 437574 HAS SOPS 437574 HAS SOUS 397573 HAS SOUPS 397573 WITH SCORE 398010.574
AT ITER 7969 NEW BEST:: SOT 4962813 SOS 437505 HAS SOPS 437505 HAS SOUS 397573 HAS SOUPS 397573 WITH SCORE 398010.505
AT ITER 7976 NEW BEST:: SOT 4962813 SOS 437451 HAS SOPS 437451 HAS SOUS 397519 HAS SOUPS 397519 WITH SCORE 397956.451
AT ITER 7995 NEW BEST:: SOT 4962801 SOS 437439 HAS SOPS 437439 HAS SOUS 397507 HAS SOUPS 397507 WITH SCORE 397944.439
AT ITER 8085 NEW BEST:: SOT 4962768 SOS 437373 HAS SOPS 437373 HAS SOUS 397441 HAS SOUPS 397441 WITH SCORE 397878.373
AT ITER 8095 NEW BEST:: SOT 4962645 SOS 437247 HAS SOPS 437247 HAS SOUS 397315 HAS SOUPS 397315 WITH SCORE 397752.247
AT ITER 8096 NEW BEST:: SOT 4962594 SOS 437196 HAS SOPS 437196 HAS SOUS 397264 HAS SOUPS 397264 WITH SCORE 397701.196
AT ITER 8110 NEW BEST:: SOT 4962581 SOS 437146 HAS SOPS 437146 HAS SOUS 397214 HAS SOUPS 397214 WITH SCORE 397651.146
AT ITER 8201 NEW BEST:: SOT 4962587 SOS 437127 HAS SOPS 437127 HAS SOUS 397195 HAS SOUPS 397195 WITH SCORE 397632.127
AT ITER 8236 NEW BEST:: SOT 4962587 SOS 437075 HAS SOPS 437075 HAS SOUS 397143 HAS SOUPS 397143 WITH SCORE 397580.075
AT ITER 8248 NEW BEST:: SOT 4962587 SOS 437015 HAS SOPS 437015 HAS SOUS 397083 HAS SOUPS 397083 WITH SCORE 397520.015
AT ITER 8260 NEW BEST:: SOT 4962600 SOS 437002 HAS SOPS 437002 HAS SOUS 397070 HAS SOUPS 397070 WITH SCORE 397507.002
AT ITER 8283 NEW BEST:: SOT 4962600 SOS 436960 HAS SOPS 436960 HAS SOUS 397028 HAS SOUPS 397028 WITH SCORE 397464.96
AT ITER 8388 NEW BEST:: SOT 4962600 SOS 436920 HAS SOPS 436920 HAS SOUS 396988 HAS SOUPS 396988 WITH SCORE 397424.92
AT ITER 8428 NEW BEST:: SOT 4962600 SOS 436900 HAS SOPS 436900 HAS SOUS 396968 HAS SOUPS 396968 WITH SCORE 397404.9
AT ITER 8453 NEW BEST:: SOT 4962579 SOS 436798 HAS SOPS 436798 HAS SOUS 396866 HAS SOUPS 396866 WITH SCORE 397302.798
AT ITER 8487 NEW BEST:: SOT 4962527 SOS 436746 HAS SOPS 436746 HAS SOUS 396814 HAS SOUPS 396814 WITH SCORE 397250.746
AT ITER 8558 NEW BEST:: SOT 4962515 SOS 436705 HAS SOPS 436705 HAS SOUS 396773 HAS SOUPS 396773 WITH SCORE 397209.705
AT ITER 8619 NEW BEST:: SOT 4962515 SOS 436684 HAS SOPS 436684 HAS SOUS 396752 HAS SOUPS 396752 WITH SCORE 397188.684
AT ITER 8632 NEW BEST:: SOT 4962478 SOS 436503 HAS SOPS 436503 HAS SOUS 396675 HAS SOUPS 396675 WITH SCORE 397111.503
AT ITER 8654 NEW BEST:: SOT 4962434 SOS 436424 HAS SOPS 436424 HAS SOUS 396596 HAS SOUPS 396596 WITH SCORE 397032.424
AT ITER 8695 NEW BEST:: SOT 4962434 SOS 436382 HAS SOPS 436382 HAS SOUS 396554 HAS SOUPS 396554 WITH SCORE 396990.382
AT ITER 8767 NEW BEST:: SOT 4962434 SOS 436326 HAS SOPS 436326 HAS SOUS 396498 HAS SOUPS 396498 WITH SCORE 396934.326
AT ITER 8773 NEW BEST:: SOT 4962434 SOS 436279 HAS SOPS 436279 HAS SOUS 396451 HAS SOUPS 396451 WITH SCORE 396887.279
AT ITER 8780 NEW BEST:: SOT 4962434 SOS 436237 HAS SOPS 436237 HAS SOUS 396451 HAS SOUPS 396451 WITH SCORE 396887.237
AT ITER 8915 NEW BEST:: SOT 4962392 SOS 436195 HAS SOPS 436195 HAS SOUS 396408 HAS SOUPS 396408 WITH SCORE 396844.195
AT ITER 8916 NEW BEST:: SOT 4962447 SOS 436125 HAS SOPS 436125 HAS SOUS 396338 HAS SOUPS 396338 WITH SCORE 396774.125
AT ITER 8949 NEW BEST:: SOT 4962447 SOS 436097 HAS SOPS 436097 HAS SOUS 396338 HAS SOUPS 396338 WITH SCORE 396774.097
AT ITER 8970 NEW BEST:: SOT 4962358 SOS 436081 HAS SOPS 436081 HAS SOUS 396291 HAS SOUPS 396291 WITH SCORE 396727.081
AT ITER 8973 NEW BEST:: SOT 4962343 SOS 436066 HAS SOPS 436066 HAS SOUS 396276 HAS SOUPS 396276 WITH SCORE 396712.066
AT ITER 8978 NEW BEST:: SOT 4962343 SOS 436003 HAS SOPS 436003 HAS SOUS 396213 HAS SOUPS 396213 WITH SCORE 396649.003
AT ITER 9029 NEW BEST:: SOT 4962343 SOS 435978 HAS SOPS 435978 HAS SOUS 396213 HAS SOUPS 396213 WITH SCORE 396648.978
AT ITER 9059 NEW BEST:: SOT 4962343 SOS 435912 HAS SOPS 435912 HAS SOUS 396147 HAS SOUPS 396147 WITH SCORE 396582.912
AT ITER 9077 NEW BEST:: SOT 4962272 SOS 435778 HAS SOPS 435778 HAS SOUS 396013 HAS SOUPS 396013 WITH SCORE 396448.778
AT ITER 9193 NEW BEST:: SOT 4962272 SOS 435643 HAS SOPS 435643 HAS SOUS 395973 HAS SOUPS 395973 WITH SCORE 396408.643
AT ITER 9231 NEW BEST:: SOT 4962214 SOS 435446 HAS SOPS 435446 HAS SOUS 395805 HAS SOUPS 395805 WITH SCORE 396240.446
AT ITER 9471 NEW BEST:: SOT 4962211 SOS 435385 HAS SOPS 435385 HAS SOUS 395744 HAS SOUPS 395744 WITH SCORE 396179.385
AT ITER 9529 NEW BEST:: SOT 4962169 SOS 435218 HAS SOPS 435218 HAS SOUS 395577 HAS SOUPS 395577 WITH SCORE 396012.218
AT ITER 9539 NEW BEST:: SOT 4962169 SOS 435200 HAS SOPS 435200 HAS SOUS 395559 HAS SOUPS 395559 WITH SCORE 395994.2
AT ITER 9547 NEW BEST:: SOT 4962169 SOS 435164 HAS SOPS 435164 HAS SOUS 395523 HAS SOUPS 395523 WITH SCORE 395958.164
AT ITER 9633 NEW BEST:: SOT 4962109 SOS 435041 HAS SOPS 435041 HAS SOUS 395400 HAS SOUPS 395400 WITH SCORE 395835.041
AT ITER 9691 NEW BEST:: SOT 4962109 SOS 435037 HAS SOPS 435037 HAS SOUS 395396 HAS SOUPS 395396 WITH SCORE 395831.037
AT ITER 9821 NEW BEST:: SOT 4962103 SOS 434958 HAS SOPS 434958 HAS SOUS 395310 HAS SOUPS 395310 WITH SCORE 395744.958
AT ITER 9905 NEW BEST:: SOT 4962097 SOS 434952 HAS SOPS 434952 HAS SOUS 395304 HAS SOUPS 395304 WITH SCORE 395738.952
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13490292 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16137432 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-L00020M0002C001P001G001"
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-L00020M0002C001P001G001, 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-167838847600312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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