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

--------------------
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 1679436349926

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-L00020M0002C001P001G001
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 22:05:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 22:05:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 22:05:51] [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 22:05:51] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-21 22:05:52] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 659 ms
[2023-03-21 22:05:52] [INFO ] Detected 5 constant HL places corresponding to 11 PT places.
[2023-03-21 22:05:52] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 3292 PT places and 2774.0 transition bindings in 21 ms.
[2023-03-21 22:05:52] [INFO ] Unfolded HLPN to a Petri net with 3292 places and 2753 transitions 7900 arcs in 44 ms.
[2023-03-21 22:05:52] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-21 22:05:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3292 places, 2753 transitions and 7900 arcs took 22 ms.
Total runtime 827 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00020M0002C001P001G001
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: 3292 places, 2753 transitions, 7900 arcs.
AT ITER 0 NEW BEST:: SOT 4972945 SOS 455258 HAS SOPS 455258 HAS SOUS 415358 HAS SOUPS 415358 WITH SCORE 415813.258
AT ITER 39 NEW BEST:: SOT 4972878 SOS 455131 HAS SOPS 455131 HAS SOUS 415320 HAS SOUPS 415320 WITH SCORE 415775.131
AT ITER 48 NEW BEST:: SOT 4972852 SOS 455079 HAS SOPS 455079 HAS SOUS 415268 HAS SOUPS 415268 WITH SCORE 415723.079
AT ITER 72 NEW BEST:: SOT 4972805 SOS 455032 HAS SOPS 455032 HAS SOUS 415221 HAS SOUPS 415221 WITH SCORE 415676.032
AT ITER 175 NEW BEST:: SOT 4972727 SOS 455000 HAS SOPS 455000 HAS SOUS 415188 HAS SOUPS 415188 WITH SCORE 415643.0
AT ITER 226 NEW BEST:: SOT 4972667 SOS 454877 HAS SOPS 454877 HAS SOUS 415065 HAS SOUPS 415065 WITH SCORE 415519.877
AT ITER 238 NEW BEST:: SOT 4972667 SOS 454822 HAS SOPS 454822 HAS SOUS 415010 HAS SOUPS 415010 WITH SCORE 415464.822
AT ITER 262 NEW BEST:: SOT 4972601 SOS 454644 HAS SOPS 454644 HAS SOUS 414832 HAS SOUPS 414832 WITH SCORE 415286.644
AT ITER 301 NEW BEST:: SOT 4972544 SOS 454473 HAS SOPS 454473 HAS SOUS 414661 HAS SOUPS 414661 WITH SCORE 415115.473
AT ITER 345 NEW BEST:: SOT 4972516 SOS 454393 HAS SOPS 454393 HAS SOUS 414593 HAS SOUPS 414593 WITH SCORE 415047.393
AT ITER 357 NEW BEST:: SOT 4972456 SOS 454270 HAS SOPS 454270 HAS SOUS 414470 HAS SOUPS 414470 WITH SCORE 414924.27
AT ITER 404 NEW BEST:: SOT 4972372 SOS 454102 HAS SOPS 454102 HAS SOUS 414302 HAS SOUPS 414302 WITH SCORE 414756.102
AT ITER 444 NEW BEST:: SOT 4972262 SOS 454047 HAS SOPS 454047 HAS SOUS 414246 HAS SOUPS 414246 WITH SCORE 414700.047
AT ITER 454 NEW BEST:: SOT 4972116 SOS 453760 HAS SOPS 453760 HAS SOUS 413954 HAS SOUPS 413954 WITH SCORE 414407.76
AT ITER 480 NEW BEST:: SOT 4972072 SOS 453714 HAS SOPS 453714 HAS SOUS 413908 HAS SOUPS 413908 WITH SCORE 414361.714
AT ITER 569 NEW BEST:: SOT 4972022 SOS 453691 HAS SOPS 453691 HAS SOUS 413885 HAS SOUPS 413885 WITH SCORE 414338.691
AT ITER 598 NEW BEST:: SOT 4972022 SOS 453667 HAS SOPS 453667 HAS SOUS 413884 HAS SOUPS 413884 WITH SCORE 414337.667
AT ITER 619 NEW BEST:: SOT 4972023 SOS 453656 HAS SOPS 453656 HAS SOUS 413873 HAS SOUPS 413873 WITH SCORE 414326.656
AT ITER 629 NEW BEST:: SOT 4971983 SOS 453616 HAS SOPS 453616 HAS SOUS 413833 HAS SOUPS 413833 WITH SCORE 414286.616
AT ITER 654 NEW BEST:: SOT 4971923 SOS 453493 HAS SOPS 453493 HAS SOUS 413710 HAS SOUPS 413710 WITH SCORE 414163.493
AT ITER 681 NEW BEST:: SOT 4971837 SOS 453451 HAS SOPS 453451 HAS SOUS 413668 HAS SOUPS 413668 WITH SCORE 414121.451
AT ITER 699 NEW BEST:: SOT 4971673 SOS 453137 HAS SOPS 453137 HAS SOUS 413340 HAS SOUPS 413340 WITH SCORE 413793.137
AT ITER 715 NEW BEST:: SOT 4971673 SOS 453077 HAS SOPS 453077 HAS SOUS 413280 HAS SOUPS 413280 WITH SCORE 413733.077
AT ITER 721 NEW BEST:: SOT 4971631 SOS 453035 HAS SOPS 453035 HAS SOUS 413238 HAS SOUPS 413238 WITH SCORE 413691.035
AT ITER 822 NEW BEST:: SOT 4971576 SOS 452967 HAS SOPS 452967 HAS SOUS 413170 HAS SOUPS 413170 WITH SCORE 413622.967
AT ITER 827 NEW BEST:: SOT 4971516 SOS 452844 HAS SOPS 452844 HAS SOUS 413168 HAS SOUPS 413168 WITH SCORE 413620.844
AT ITER 883 NEW BEST:: SOT 4971458 SOS 452786 HAS SOPS 452786 HAS SOUS 413110 HAS SOUPS 413110 WITH SCORE 413562.786
AT ITER 914 NEW BEST:: SOT 4971424 SOS 452760 HAS SOPS 452760 HAS SOUS 413084 HAS SOUPS 413084 WITH SCORE 413536.76
AT ITER 922 NEW BEST:: SOT 4971358 SOS 452605 HAS SOPS 452605 HAS SOUS 412929 HAS SOUPS 412929 WITH SCORE 413381.605
AT ITER 929 NEW BEST:: SOT 4971298 SOS 452479 HAS SOPS 452479 HAS SOUS 412803 HAS SOUPS 412803 WITH SCORE 413255.479
AT ITER 956 NEW BEST:: SOT 4971298 SOS 452437 HAS SOPS 452437 HAS SOUS 412761 HAS SOUPS 412761 WITH SCORE 413213.437
AT ITER 1171 NEW BEST:: SOT 4971206 SOS 452165 HAS SOPS 452165 HAS SOUS 412739 HAS SOUPS 412739 WITH SCORE 413191.165
AT ITER 1222 NEW BEST:: SOT 4971144 SOS 452125 HAS SOPS 452125 HAS SOUS 412657 HAS SOUPS 412657 WITH SCORE 413109.125
AT ITER 1251 NEW BEST:: SOT 4971038 SOS 452001 HAS SOPS 452001 HAS SOUS 412553 HAS SOUPS 412553 WITH SCORE 413005.001
AT ITER 1305 NEW BEST:: SOT 4970996 SOS 451876 HAS SOPS 451876 HAS SOUS 412428 HAS SOUPS 412428 WITH SCORE 412879.876
AT ITER 1377 NEW BEST:: SOT 4970996 SOS 451835 HAS SOPS 451835 HAS SOUS 412387 HAS SOUPS 412387 WITH SCORE 412838.835
AT ITER 1389 NEW BEST:: SOT 4970996 SOS 451777 HAS SOPS 451777 HAS SOUS 412329 HAS SOUPS 412329 WITH SCORE 412780.777
AT ITER 1403 NEW BEST:: SOT 4970898 SOS 451616 HAS SOPS 451616 HAS SOUS 412168 HAS SOUPS 412168 WITH SCORE 412619.616
AT ITER 1437 NEW BEST:: SOT 4970771 SOS 451320 HAS SOPS 451320 HAS SOUS 411872 HAS SOUPS 411872 WITH SCORE 412323.32
AT ITER 1455 NEW BEST:: SOT 4970751 SOS 451280 HAS SOPS 451280 HAS SOUS 411832 HAS SOUPS 411832 WITH SCORE 412283.28
AT ITER 1472 NEW BEST:: SOT 4970628 SOS 451166 HAS SOPS 451166 HAS SOUS 411718 HAS SOUPS 411718 WITH SCORE 412169.166
AT ITER 1543 NEW BEST:: SOT 4970578 SOS 451116 HAS SOPS 451116 HAS SOUS 411668 HAS SOUPS 411668 WITH SCORE 412119.116
AT ITER 1578 NEW BEST:: SOT 4970578 SOS 451087 HAS SOPS 451087 HAS SOUS 411639 HAS SOUPS 411639 WITH SCORE 412090.087
AT ITER 1625 NEW BEST:: SOT 4970578 SOS 451047 HAS SOPS 451047 HAS SOUS 411599 HAS SOUPS 411599 WITH SCORE 412050.047
AT ITER 1685 NEW BEST:: SOT 4970578 SOS 451001 HAS SOPS 451001 HAS SOUS 411553 HAS SOUPS 411553 WITH SCORE 412004.001
AT ITER 1700 NEW BEST:: SOT 4970531 SOS 450891 HAS SOPS 450891 HAS SOUS 411443 HAS SOUPS 411443 WITH SCORE 411893.891
AT ITER 1705 NEW BEST:: SOT 4970489 SOS 450796 HAS SOPS 450796 HAS SOUS 411348 HAS SOUPS 411348 WITH SCORE 411798.796
AT ITER 1712 NEW BEST:: SOT 4970450 SOS 450760 HAS SOPS 450760 HAS SOUS 411312 HAS SOUPS 411312 WITH SCORE 411762.76
AT ITER 1717 NEW BEST:: SOT 4970429 SOS 450718 HAS SOPS 450718 HAS SOUS 411270 HAS SOUPS 411270 WITH SCORE 411720.718
AT ITER 1735 NEW BEST:: SOT 4970377 SOS 450666 HAS SOPS 450666 HAS SOUS 411218 HAS SOUPS 411218 WITH SCORE 411668.666
AT ITER 1737 NEW BEST:: SOT 4970333 SOS 450545 HAS SOPS 450545 HAS SOUS 411177 HAS SOUPS 411177 WITH SCORE 411627.545
AT ITER 1742 NEW BEST:: SOT 4970333 SOS 450486 HAS SOPS 450486 HAS SOUS 411118 HAS SOUPS 411118 WITH SCORE 411568.486
AT ITER 1754 NEW BEST:: SOT 4970199 SOS 450155 HAS SOPS 450155 HAS SOUS 410787 HAS SOUPS 410787 WITH SCORE 411237.155
AT ITER 1761 NEW BEST:: SOT 4970139 SOS 450029 HAS SOPS 450029 HAS SOUS 410661 HAS SOUPS 410661 WITH SCORE 411111.029
AT ITER 1775 NEW BEST:: SOT 4970083 SOS 449973 HAS SOPS 449973 HAS SOUS 410605 HAS SOUPS 410605 WITH SCORE 411054.973
AT ITER 1786 NEW BEST:: SOT 4970041 SOS 449931 HAS SOPS 449931 HAS SOUS 410563 HAS SOUPS 410563 WITH SCORE 411012.931
AT ITER 1814 NEW BEST:: SOT 4970041 SOS 449895 HAS SOPS 449895 HAS SOUS 410527 HAS SOUPS 410527 WITH SCORE 410976.895
AT ITER 1830 NEW BEST:: SOT 4969981 SOS 449769 HAS SOPS 449769 HAS SOUS 410401 HAS SOUPS 410401 WITH SCORE 410850.769
AT ITER 1938 NEW BEST:: SOT 4969981 SOS 449687 HAS SOPS 449687 HAS SOUS 410359 HAS SOUPS 410359 WITH SCORE 410808.687
AT ITER 1974 NEW BEST:: SOT 4969981 SOS 449663 HAS SOPS 449663 HAS SOUS 410335 HAS SOUPS 410335 WITH SCORE 410784.663
AT ITER 1999 NEW BEST:: SOT 4970013 SOS 449650 HAS SOPS 449650 HAS SOUS 410322 HAS SOUPS 410322 WITH SCORE 410771.65
AT ITER 2029 NEW BEST:: SOT 4970013 SOS 449523 HAS SOPS 449523 HAS SOUS 410282 HAS SOUPS 410282 WITH SCORE 410731.523
AT ITER 2172 NEW BEST:: SOT 4969972 SOS 449482 HAS SOPS 449482 HAS SOUS 410241 HAS SOUPS 410241 WITH SCORE 410690.482
AT ITER 2239 NEW BEST:: SOT 4969921 SOS 449377 HAS SOPS 449377 HAS SOUS 410136 HAS SOUPS 410136 WITH SCORE 410585.377
AT ITER 2416 NEW BEST:: SOT 4969921 SOS 449356 HAS SOPS 449356 HAS SOUS 410115 HAS SOUPS 410115 WITH SCORE 410564.356
AT ITER 2448 NEW BEST:: SOT 4969837 SOS 449113 HAS SOPS 449113 HAS SOUS 409872 HAS SOUPS 409872 WITH SCORE 410321.113
AT ITER 2474 NEW BEST:: SOT 4969837 SOS 449080 HAS SOPS 449080 HAS SOUS 409839 HAS SOUPS 409839 WITH SCORE 410288.08
AT ITER 2479 NEW BEST:: SOT 4969837 SOS 449029 HAS SOPS 449029 HAS SOUS 409788 HAS SOUPS 409788 WITH SCORE 410237.029
AT ITER 2511 NEW BEST:: SOT 4969771 SOS 448851 HAS SOPS 448851 HAS SOUS 409610 HAS SOUPS 409610 WITH SCORE 410058.851
AT ITER 2581 NEW BEST:: SOT 4969771 SOS 448838 HAS SOPS 448838 HAS SOUS 409584 HAS SOUPS 409584 WITH SCORE 410032.838
AT ITER 2623 NEW BEST:: SOT 4969771 SOS 448790 HAS SOPS 448790 HAS SOUS 409536 HAS SOUPS 409536 WITH SCORE 409984.79
AT ITER 2636 NEW BEST:: SOT 4969745 SOS 448754 HAS SOPS 448754 HAS SOUS 409484 HAS SOUPS 409484 WITH SCORE 409932.754
AT ITER 2699 NEW BEST:: SOT 4969731 SOS 448726 HAS SOPS 448726 HAS SOUS 409456 HAS SOUPS 409456 WITH SCORE 409904.726
AT ITER 2704 NEW BEST:: SOT 4969617 SOS 448549 HAS SOPS 448549 HAS SOUS 409279 HAS SOUPS 409279 WITH SCORE 409727.549
AT ITER 2716 NEW BEST:: SOT 4969617 SOS 448511 HAS SOPS 448511 HAS SOUS 409241 HAS SOUPS 409241 WITH SCORE 409689.511
AT ITER 2762 NEW BEST:: SOT 4969533 SOS 448271 HAS SOPS 448271 HAS SOUS 409114 HAS SOUPS 409114 WITH SCORE 409562.271
AT ITER 2802 NEW BEST:: SOT 4969533 SOS 448242 HAS SOPS 448242 HAS SOUS 409085 HAS SOUPS 409085 WITH SCORE 409533.242
AT ITER 2824 NEW BEST:: SOT 4969533 SOS 448181 HAS SOPS 448181 HAS SOUS 409024 HAS SOUPS 409024 WITH SCORE 409472.181
AT ITER 2837 NEW BEST:: SOT 4969493 SOS 448141 HAS SOPS 448141 HAS SOUS 408984 HAS SOUPS 408984 WITH SCORE 409432.141
AT ITER 2844 NEW BEST:: SOT 4969493 SOS 448130 HAS SOPS 448130 HAS SOUS 408973 HAS SOUPS 408973 WITH SCORE 409421.13
AT ITER 2851 NEW BEST:: SOT 4969427 SOS 447953 HAS SOPS 447953 HAS SOUS 408796 HAS SOUPS 408796 WITH SCORE 409243.953
AT ITER 2894 NEW BEST:: SOT 4969367 SOS 447830 HAS SOPS 447830 HAS SOUS 408673 HAS SOUPS 408673 WITH SCORE 409120.83
AT ITER 2951 NEW BEST:: SOT 4969335 SOS 447798 HAS SOPS 447798 HAS SOUS 408641 HAS SOUPS 408641 WITH SCORE 409088.798
AT ITER 2963 NEW BEST:: SOT 4969314 SOS 447795 HAS SOPS 447795 HAS SOUS 408620 HAS SOUPS 408620 WITH SCORE 409067.795
AT ITER 3039 NEW BEST:: SOT 4969314 SOS 447758 HAS SOPS 447758 HAS SOUS 408582 HAS SOUPS 408582 WITH SCORE 409029.758
AT ITER 3049 NEW BEST:: SOT 4968621 SOS 448554 HAS SOPS 448554 HAS SOUS 407823 HAS SOUPS 407823 WITH SCORE 408271.554
AT ITER 3056 NEW BEST:: SOT 4968570 SOS 448503 HAS SOPS 448503 HAS SOUS 407772 HAS SOUPS 407772 WITH SCORE 408220.503
AT ITER 3092 NEW BEST:: SOT 4968570 SOS 448483 HAS SOPS 448483 HAS SOUS 407752 HAS SOUPS 407752 WITH SCORE 408200.483
AT ITER 3168 NEW BEST:: SOT 4968554 SOS 448467 HAS SOPS 448467 HAS SOUS 407736 HAS SOUPS 407736 WITH SCORE 408184.467
AT ITER 3193 NEW BEST:: SOT 4968554 SOS 448349 HAS SOPS 448349 HAS SOUS 407618 HAS SOUPS 407618 WITH SCORE 408066.349
AT ITER 3233 NEW BEST:: SOT 4968469 SOS 448198 HAS SOPS 448198 HAS SOUS 407609 HAS SOUPS 407609 WITH SCORE 408057.198
AT ITER 3254 NEW BEST:: SOT 4968495 SOS 448161 HAS SOPS 448161 HAS SOUS 407572 HAS SOUPS 407572 WITH SCORE 408020.161
AT ITER 3306 NEW BEST:: SOT 4968459 SOS 448109 HAS SOPS 448109 HAS SOUS 407520 HAS SOUPS 407520 WITH SCORE 407968.109
AT ITER 3308 NEW BEST:: SOT 4968419 SOS 448069 HAS SOPS 448069 HAS SOUS 407480 HAS SOUPS 407480 WITH SCORE 407928.069
AT ITER 3394 NEW BEST:: SOT 4968290 SOS 447748 HAS SOPS 447748 HAS SOUS 407159 HAS SOUPS 407159 WITH SCORE 407606.748
AT ITER 3406 NEW BEST:: SOT 4968209 SOS 447627 HAS SOPS 447627 HAS SOUS 407118 HAS SOUPS 407118 WITH SCORE 407565.627
AT ITER 3483 NEW BEST:: SOT 4968189 SOS 447416 HAS SOPS 447416 HAS SOUS 407101 HAS SOUPS 407101 WITH SCORE 407548.416
AT ITER 3508 NEW BEST:: SOT 4968158 SOS 447354 HAS SOPS 447354 HAS SOUS 407070 HAS SOUPS 407070 WITH SCORE 407517.354
AT ITER 3559 NEW BEST:: SOT 4968108 SOS 447397 HAS SOPS 447397 HAS SOUS 407027 HAS SOUPS 407027 WITH SCORE 407474.397
AT ITER 3633 NEW BEST:: SOT 4967967 SOS 447052 HAS SOPS 447052 HAS SOUS 406682 HAS SOUPS 406682 WITH SCORE 407129.052
AT ITER 3696 NEW BEST:: SOT 4967940 SOS 447025 HAS SOPS 447025 HAS SOUS 406655 HAS SOUPS 406655 WITH SCORE 407102.025
AT ITER 3714 NEW BEST:: SOT 4967940 SOS 446980 HAS SOPS 446980 HAS SOUS 406610 HAS SOUPS 406610 WITH SCORE 407056.98
AT ITER 3785 NEW BEST:: SOT 4967902 SOS 446942 HAS SOPS 446942 HAS SOUS 406572 HAS SOUPS 406572 WITH SCORE 407018.942
AT ITER 3805 NEW BEST:: SOT 4967850 SOS 446890 HAS SOPS 446890 HAS SOUS 406520 HAS SOUPS 406520 WITH SCORE 406966.89
AT ITER 3837 NEW BEST:: SOT 4966942 SOS 446036 HAS SOPS 446036 HAS SOUS 405665 HAS SOUPS 405665 WITH SCORE 406111.036
AT ITER 3876 NEW BEST:: SOT 4966807 SOS 445766 HAS SOPS 445766 HAS SOUS 405395 HAS SOUPS 405395 WITH SCORE 405840.766
AT ITER 3972 NEW BEST:: SOT 4966748 SOS 445596 HAS SOPS 445596 HAS SOUS 405277 HAS SOUPS 405277 WITH SCORE 405722.596
AT ITER 4008 NEW BEST:: SOT 4966635 SOS 445449 HAS SOPS 445449 HAS SOUS 404967 HAS SOUPS 404967 WITH SCORE 405412.449
AT ITER 4041 NEW BEST:: SOT 4966635 SOS 445406 HAS SOPS 445406 HAS SOUS 404924 HAS SOUPS 404924 WITH SCORE 405369.406
AT ITER 4114 NEW BEST:: SOT 4966623 SOS 445394 HAS SOPS 445394 HAS SOUS 404911 HAS SOUPS 404911 WITH SCORE 405356.394
AT ITER 4140 NEW BEST:: SOT 4966565 SOS 445236 HAS SOPS 445236 HAS SOUS 404832 HAS SOUPS 404832 WITH SCORE 405277.236
AT ITER 4166 NEW BEST:: SOT 4966515 SOS 445186 HAS SOPS 445186 HAS SOUS 404790 HAS SOUPS 404790 WITH SCORE 405235.186
AT ITER 4171 NEW BEST:: SOT 4966515 SOS 445130 HAS SOPS 445130 HAS SOUS 404734 HAS SOUPS 404734 WITH SCORE 405179.13
AT ITER 4181 NEW BEST:: SOT 4966507 SOS 445122 HAS SOPS 445122 HAS SOUS 404726 HAS SOUPS 404726 WITH SCORE 405171.122
AT ITER 4252 NEW BEST:: SOT 4965659 SOS 446743 HAS SOPS 446743 HAS SOUS 403854 HAS SOUPS 403854 WITH SCORE 404300.743
AT ITER 4260 NEW BEST:: SOT 4965615 SOS 446699 HAS SOPS 446699 HAS SOUS 403810 HAS SOUPS 403810 WITH SCORE 404256.699
AT ITER 4278 NEW BEST:: SOT 4965587 SOS 446671 HAS SOPS 446671 HAS SOUS 403782 HAS SOUPS 403782 WITH SCORE 404228.671
AT ITER 4335 NEW BEST:: SOT 4965513 SOS 446512 HAS SOPS 446512 HAS SOUS 403623 HAS SOUPS 403623 WITH SCORE 404069.512
AT ITER 4354 NEW BEST:: SOT 4965405 SOS 446341 HAS SOPS 446341 HAS SOUS 403452 HAS SOUPS 403452 WITH SCORE 403898.341
AT ITER 4355 NEW BEST:: SOT 4965350 SOS 446286 HAS SOPS 446286 HAS SOUS 403397 HAS SOUPS 403397 WITH SCORE 403843.286
AT ITER 4449 NEW BEST:: SOT 4965307 SOS 446243 HAS SOPS 446243 HAS SOUS 403354 HAS SOUPS 403354 WITH SCORE 403800.243
AT ITER 4511 NEW BEST:: SOT 4965291 SOS 446207 HAS SOPS 446207 HAS SOUS 403318 HAS SOUPS 403318 WITH SCORE 403764.207
AT ITER 4518 NEW BEST:: SOT 4965291 SOS 446151 HAS SOPS 446151 HAS SOUS 403262 HAS SOUPS 403262 WITH SCORE 403708.151
AT ITER 4527 NEW BEST:: SOT 4965291 SOS 446151 HAS SOPS 446151 HAS SOUS 403202 HAS SOUPS 403202 WITH SCORE 403648.151
AT ITER 4711 NEW BEST:: SOT 4965239 SOS 446099 HAS SOPS 446099 HAS SOUS 403150 HAS SOUPS 403150 WITH SCORE 403596.099
AT ITER 4818 NEW BEST:: SOT 4965179 SOS 445976 HAS SOPS 445976 HAS SOUS 403136 HAS SOUPS 403136 WITH SCORE 403581.976
AT ITER 4821 NEW BEST:: SOT 4965119 SOS 445823 HAS SOPS 445823 HAS SOUS 402983 HAS SOUPS 402983 WITH SCORE 403428.823
AT ITER 4845 NEW BEST:: SOT 4965119 SOS 445699 HAS SOPS 445699 HAS SOUS 402983 HAS SOUPS 402983 WITH SCORE 403428.699
AT ITER 4853 NEW BEST:: SOT 4965109 SOS 445607 HAS SOPS 445607 HAS SOUS 402973 HAS SOUPS 402973 WITH SCORE 403418.607
AT ITER 4890 NEW BEST:: SOT 4965041 SOS 445587 HAS SOPS 445587 HAS SOUS 402952 HAS SOUPS 402952 WITH SCORE 403397.587
AT ITER 5014 NEW BEST:: SOT 4964999 SOS 445503 HAS SOPS 445503 HAS SOUS 402868 HAS SOUPS 402868 WITH SCORE 403313.503
AT ITER 5068 NEW BEST:: SOT 4964999 SOS 445449 HAS SOPS 445449 HAS SOUS 402814 HAS SOUPS 402814 WITH SCORE 403259.449
AT ITER 5078 NEW BEST:: SOT 4964945 SOS 445355 HAS SOPS 445355 HAS SOUS 402719 HAS SOUPS 402719 WITH SCORE 403164.355
AT ITER 5133 NEW BEST:: SOT 4964925 SOS 445287 HAS SOPS 445287 HAS SOUS 402699 HAS SOUPS 402699 WITH SCORE 403144.287
AT ITER 5190 NEW BEST:: SOT 4964925 SOS 445282 HAS SOPS 445282 HAS SOUS 402699 HAS SOUPS 402699 WITH SCORE 403144.282
AT ITER 5237 NEW BEST:: SOT 4964836 SOS 445153 HAS SOPS 445153 HAS SOUS 402658 HAS SOUPS 402658 WITH SCORE 403103.153
AT ITER 5335 NEW BEST:: SOT 4964810 SOS 445073 HAS SOPS 445073 HAS SOUS 402592 HAS SOUPS 402592 WITH SCORE 403037.073
AT ITER 5371 NEW BEST:: SOT 4964750 SOS 444950 HAS SOPS 444950 HAS SOUS 402469 HAS SOUPS 402469 WITH SCORE 402913.95
AT ITER 5399 NEW BEST:: SOT 4964714 SOS 444899 HAS SOPS 444899 HAS SOUS 402418 HAS SOUPS 402418 WITH SCORE 402862.899
AT ITER 5427 NEW BEST:: SOT 4964654 SOS 444773 HAS SOPS 444773 HAS SOUS 402292 HAS SOUPS 402292 WITH SCORE 402736.773
AT ITER 5468 NEW BEST:: SOT 4964654 SOS 444745 HAS SOPS 444745 HAS SOUS 402264 HAS SOUPS 402264 WITH SCORE 402708.745
AT ITER 5554 NEW BEST:: SOT 4964646 SOS 444729 HAS SOPS 444729 HAS SOUS 402248 HAS SOUPS 402248 WITH SCORE 402692.729
AT ITER 5586 NEW BEST:: SOT 4964462 SOS 444424 HAS SOPS 444424 HAS SOUS 401880 HAS SOUPS 401880 WITH SCORE 402324.424
AT ITER 5631 NEW BEST:: SOT 4964462 SOS 444418 HAS SOPS 444418 HAS SOUS 401874 HAS SOUPS 401874 WITH SCORE 402318.418
AT ITER 5666 NEW BEST:: SOT 4964462 SOS 444411 HAS SOPS 444411 HAS SOUS 401867 HAS SOUPS 401867 WITH SCORE 402311.411
AT ITER 5860 NEW BEST:: SOT 4964298 SOS 444045 HAS SOPS 444045 HAS SOUS 401539 HAS SOUPS 401539 WITH SCORE 401983.045
AT ITER 5870 NEW BEST:: SOT 4964298 SOS 444010 HAS SOPS 444010 HAS SOUS 401504 HAS SOUPS 401504 WITH SCORE 401948.01
AT ITER 5874 NEW BEST:: SOT 4964298 SOS 443970 HAS SOPS 443970 HAS SOUS 401504 HAS SOUPS 401504 WITH SCORE 401947.97
AT ITER 5882 NEW BEST:: SOT 4964298 SOS 443938 HAS SOPS 443938 HAS SOUS 401503 HAS SOUPS 401503 WITH SCORE 401946.938
AT ITER 5932 NEW BEST:: SOT 4964298 SOS 443933 HAS SOPS 443933 HAS SOUS 401498 HAS SOUPS 401498 WITH SCORE 401941.933
AT ITER 5934 NEW BEST:: SOT 4964262 SOS 443897 HAS SOPS 443897 HAS SOUS 401462 HAS SOUPS 401462 WITH SCORE 401905.897
AT ITER 5957 NEW BEST:: SOT 4964192 SOS 443787 HAS SOPS 443787 HAS SOUS 401420 HAS SOUPS 401420 WITH SCORE 401863.787
AT ITER 6001 NEW BEST:: SOT 4964188 SOS 443720 HAS SOPS 443720 HAS SOUS 401353 HAS SOUPS 401353 WITH SCORE 401796.72
AT ITER 6020 NEW BEST:: SOT 4964158 SOS 443690 HAS SOPS 443690 HAS SOUS 401323 HAS SOUPS 401323 WITH SCORE 401766.69
AT ITER 6054 NEW BEST:: SOT 4964158 SOS 443655 HAS SOPS 443655 HAS SOUS 401288 HAS SOUPS 401288 WITH SCORE 401731.655
AT ITER 6061 NEW BEST:: SOT 4964298 SOS 441072 HAS SOPS 441072 HAS SOUS 401232 HAS SOUPS 401232 WITH SCORE 401673.072
AT ITER 6112 NEW BEST:: SOT 4964284 SOS 441030 HAS SOPS 441030 HAS SOUS 401218 HAS SOUPS 401218 WITH SCORE 401659.03
AT ITER 6127 NEW BEST:: SOT 4964264 SOS 441010 HAS SOPS 441010 HAS SOUS 401178 HAS SOUPS 401178 WITH SCORE 401619.01
AT ITER 6191 NEW BEST:: SOT 4964198 SOS 440907 HAS SOPS 440907 HAS SOUS 401075 HAS SOUPS 401075 WITH SCORE 401515.907
AT ITER 6285 NEW BEST:: SOT 4964183 SOS 440829 HAS SOPS 440829 HAS SOUS 400997 HAS SOUPS 400997 WITH SCORE 401437.829
AT ITER 6290 NEW BEST:: SOT 4964183 SOS 440889 HAS SOPS 440889 HAS SOUS 400988 HAS SOUPS 400988 WITH SCORE 401428.889
AT ITER 6318 NEW BEST:: SOT 4964183 SOS 440869 HAS SOPS 440869 HAS SOUS 400968 HAS SOUPS 400968 WITH SCORE 401408.869
AT ITER 6362 NEW BEST:: SOT 4964183 SOS 440829 HAS SOPS 440829 HAS SOUS 400928 HAS SOUPS 400928 WITH SCORE 401368.829
AT ITER 6392 NEW BEST:: SOT 4964133 SOS 440729 HAS SOPS 440729 HAS SOUS 400828 HAS SOUPS 400828 WITH SCORE 401268.729
AT ITER 6414 NEW BEST:: SOT 4964036 SOS 440569 HAS SOPS 440569 HAS SOUS 400571 HAS SOUPS 400571 WITH SCORE 401011.569
AT ITER 6679 NEW BEST:: SOT 4963955 SOS 440527 HAS SOPS 440527 HAS SOUS 400529 HAS SOUPS 400529 WITH SCORE 400969.527
AT ITER 6724 NEW BEST:: SOT 4963895 SOS 440437 HAS SOPS 440437 HAS SOUS 400439 HAS SOUPS 400439 WITH SCORE 400879.437
AT ITER 6740 NEW BEST:: SOT 4963723 SOS 440265 HAS SOPS 440265 HAS SOUS 400095 HAS SOUPS 400095 WITH SCORE 400535.265
AT ITER 6768 NEW BEST:: SOT 4963647 SOS 440129 HAS SOPS 440129 HAS SOUS 399999 HAS SOUPS 399999 WITH SCORE 400439.129
AT ITER 6829 NEW BEST:: SOT 4963647 SOS 440088 HAS SOPS 440088 HAS SOUS 399958 HAS SOUPS 399958 WITH SCORE 400398.088
AT ITER 6862 NEW BEST:: SOT 4963607 SOS 440048 HAS SOPS 440048 HAS SOUS 399918 HAS SOUPS 399918 WITH SCORE 400358.048
AT ITER 6896 NEW BEST:: SOT 4963536 SOS 439977 HAS SOPS 439977 HAS SOUS 399847 HAS SOUPS 399847 WITH SCORE 400286.977
AT ITER 6981 NEW BEST:: SOT 4963506 SOS 439947 HAS SOPS 439947 HAS SOUS 399817 HAS SOUPS 399817 WITH SCORE 400256.947
AT ITER 7000 NEW BEST:: SOT 4963475 SOS 439854 HAS SOPS 439854 HAS SOUS 399786 HAS SOUPS 399786 WITH SCORE 400225.854
AT ITER 7019 NEW BEST:: SOT 4963460 SOS 439839 HAS SOPS 439839 HAS SOUS 399771 HAS SOUPS 399771 WITH SCORE 400210.839
AT ITER 7116 NEW BEST:: SOT 4963460 SOS 439793 HAS SOPS 439793 HAS SOUS 399725 HAS SOUPS 399725 WITH SCORE 400164.793
AT ITER 7148 NEW BEST:: SOT 4963460 SOS 439785 HAS SOPS 439785 HAS SOUS 399717 HAS SOUPS 399717 WITH SCORE 400156.785
AT ITER 7214 NEW BEST:: SOT 4962630 SOS 439265 HAS SOPS 439265 HAS SOUS 398968 HAS SOUPS 398968 WITH SCORE 399407.265
AT ITER 7237 NEW BEST:: SOT 4962606 SOS 439237 HAS SOPS 439237 HAS SOUS 398940 HAS SOUPS 398940 WITH SCORE 399379.237
AT ITER 7251 NEW BEST:: SOT 4962546 SOS 439111 HAS SOPS 439111 HAS SOUS 398814 HAS SOUPS 398814 WITH SCORE 399253.111
AT ITER 7278 NEW BEST:: SOT 4962486 SOS 438985 HAS SOPS 438985 HAS SOUS 398688 HAS SOUPS 398688 WITH SCORE 399126.985
AT ITER 7287 NEW BEST:: SOT 4962486 SOS 438972 HAS SOPS 438972 HAS SOUS 398688 HAS SOUPS 398688 WITH SCORE 399126.972
AT ITER 7346 NEW BEST:: SOT 4962269 SOS 438892 HAS SOPS 438892 HAS SOUS 398606 HAS SOUPS 398606 WITH SCORE 399044.892
AT ITER 7371 NEW BEST:: SOT 4962257 SOS 438850 HAS SOPS 438850 HAS SOUS 398576 HAS SOUPS 398576 WITH SCORE 399014.85
AT ITER 7469 NEW BEST:: SOT 4962257 SOS 438832 HAS SOPS 438832 HAS SOUS 398558 HAS SOUPS 398558 WITH SCORE 398996.832
AT ITER 7499 NEW BEST:: SOT 4962184 SOS 438753 HAS SOPS 438753 HAS SOUS 398478 HAS SOUPS 398478 WITH SCORE 398916.753
AT ITER 7505 NEW BEST:: SOT 4962168 SOS 438737 HAS SOPS 438737 HAS SOUS 398462 HAS SOUPS 398462 WITH SCORE 398900.737
AT ITER 7574 NEW BEST:: SOT 4962168 SOS 438737 HAS SOPS 438737 HAS SOUS 398461 HAS SOUPS 398461 WITH SCORE 398899.737
AT ITER 7587 NEW BEST:: SOT 4962108 SOS 438595 HAS SOPS 438595 HAS SOUS 398319 HAS SOUPS 398319 WITH SCORE 398757.595
AT ITER 7597 NEW BEST:: SOT 4962001 SOS 438491 HAS SOPS 438491 HAS SOUS 398215 HAS SOUPS 398215 WITH SCORE 398653.491
AT ITER 7672 NEW BEST:: SOT 4961988 SOS 438478 HAS SOPS 438478 HAS SOUS 398202 HAS SOUPS 398202 WITH SCORE 398640.478
AT ITER 7677 NEW BEST:: SOT 4961974 SOS 438464 HAS SOPS 438464 HAS SOUS 398188 HAS SOUPS 398188 WITH SCORE 398626.464
AT ITER 7685 NEW BEST:: SOT 4961974 SOS 438404 HAS SOPS 438404 HAS SOUS 398188 HAS SOUPS 398188 WITH SCORE 398626.404
AT ITER 7716 NEW BEST:: SOT 4961960 SOS 438376 HAS SOPS 438376 HAS SOUS 398160 HAS SOUPS 398160 WITH SCORE 398598.376
AT ITER 7844 NEW BEST:: SOT 4961944 SOS 438344 HAS SOPS 438344 HAS SOUS 398128 HAS SOUPS 398128 WITH SCORE 398566.344
AT ITER 7899 NEW BEST:: SOT 4961957 SOS 438272 HAS SOPS 438272 HAS SOUS 398056 HAS SOUPS 398056 WITH SCORE 398494.272
AT ITER 7934 NEW BEST:: SOT 4961891 SOS 438125 HAS SOPS 438125 HAS SOUS 397909 HAS SOUPS 397909 WITH SCORE 398347.125
AT ITER 7952 NEW BEST:: SOT 4961891 SOS 438095 HAS SOPS 438095 HAS SOUS 397879 HAS SOUPS 397879 WITH SCORE 398317.095
AT ITER 8027 NEW BEST:: SOT 4961828 SOS 438060 HAS SOPS 438060 HAS SOUS 397844 HAS SOUPS 397844 WITH SCORE 398282.06
AT ITER 8034 NEW BEST:: SOT 4961819 SOS 438051 HAS SOPS 438051 HAS SOUS 397844 HAS SOUPS 397844 WITH SCORE 398282.051
AT ITER 8134 NEW BEST:: SOT 4961819 SOS 438021 HAS SOPS 438021 HAS SOUS 397814 HAS SOUPS 397814 WITH SCORE 398252.021
AT ITER 8191 NEW BEST:: SOT 4961799 SOS 437919 HAS SOPS 437919 HAS SOUS 397811 HAS SOUPS 397811 WITH SCORE 398248.919
AT ITER 8370 NEW BEST:: SOT 4961799 SOS 437899 HAS SOPS 437899 HAS SOUS 397791 HAS SOUPS 397791 WITH SCORE 398228.899
AT ITER 8473 NEW BEST:: SOT 4961758 SOS 437817 HAS SOPS 437817 HAS SOUS 397709 HAS SOUPS 397709 WITH SCORE 398146.817
AT ITER 8688 NEW BEST:: SOT 4961758 SOS 437756 HAS SOPS 437756 HAS SOUS 397648 HAS SOUPS 397648 WITH SCORE 398085.756
AT ITER 8765 NEW BEST:: SOT 4961702 SOS 437716 HAS SOPS 437716 HAS SOUS 397572 HAS SOUPS 397572 WITH SCORE 398009.716
AT ITER 8775 NEW BEST:: SOT 4961652 SOS 437616 HAS SOPS 437616 HAS SOUS 397472 HAS SOUPS 397472 WITH SCORE 397909.616
AT ITER 8787 NEW BEST:: SOT 4961592 SOS 437486 HAS SOPS 437486 HAS SOUS 397342 HAS SOUPS 397342 WITH SCORE 397779.486
AT ITER 8899 NEW BEST:: SOT 4961526 SOS 437357 HAS SOPS 437357 HAS SOUS 397213 HAS SOUPS 397213 WITH SCORE 397650.357
AT ITER 8911 NEW BEST:: SOT 4961543 SOS 437321 HAS SOPS 437321 HAS SOUS 397177 HAS SOUPS 397177 WITH SCORE 397614.321
AT ITER 8937 NEW BEST:: SOT 4959634 SOS 442228 HAS SOPS 442228 HAS SOUS 396758 HAS SOUPS 396758 WITH SCORE 397200.228
AT ITER 8980 NEW BEST:: SOT 4959732 SOS 442227 HAS SOPS 442227 HAS SOUS 396757 HAS SOUPS 396757 WITH SCORE 397199.227
AT ITER 8985 NEW BEST:: SOT 4959711 SOS 442213 HAS SOPS 442213 HAS SOUS 396680 HAS SOUPS 396680 WITH SCORE 397122.213
AT ITER 9046 NEW BEST:: SOT 4959711 SOS 442125 HAS SOPS 442125 HAS SOUS 396677 HAS SOUPS 396677 WITH SCORE 397119.125
AT ITER 9050 NEW BEST:: SOT 4959711 SOS 442050 HAS SOPS 442050 HAS SOUS 396602 HAS SOUPS 396602 WITH SCORE 397044.05
AT ITER 9061 NEW BEST:: SOT 4959651 SOS 441927 HAS SOPS 441927 HAS SOUS 396479 HAS SOUPS 396479 WITH SCORE 396920.927
AT ITER 9108 NEW BEST:: SOT 4959621 SOS 441897 HAS SOPS 441897 HAS SOUS 396468 HAS SOUPS 396468 WITH SCORE 396909.897
AT ITER 9112 NEW BEST:: SOT 4959621 SOS 441870 HAS SOPS 441870 HAS SOUS 396440 HAS SOUPS 396440 WITH SCORE 396881.87
AT ITER 9123 NEW BEST:: SOT 4959588 SOS 441732 HAS SOPS 441732 HAS SOUS 396374 HAS SOUPS 396374 WITH SCORE 396815.732
AT ITER 9206 NEW BEST:: SOT 4959588 SOS 441700 HAS SOPS 441700 HAS SOUS 396316 HAS SOUPS 396316 WITH SCORE 396757.7
AT ITER 9387 NEW BEST:: SOT 4959525 SOS 441600 HAS SOPS 441600 HAS SOUS 396216 HAS SOUPS 396216 WITH SCORE 396657.6
AT ITER 9495 NEW BEST:: SOT 4959423 SOS 441456 HAS SOPS 441456 HAS SOUS 396072 HAS SOUPS 396072 WITH SCORE 396513.456
AT ITER 9562 NEW BEST:: SOT 4959413 SOS 441446 HAS SOPS 441446 HAS SOUS 396062 HAS SOUPS 396062 WITH SCORE 396503.446
AT ITER 9564 NEW BEST:: SOT 4959383 SOS 441319 HAS SOPS 441319 HAS SOUS 396002 HAS SOUPS 396002 WITH SCORE 396443.319
AT ITER 9632 NEW BEST:: SOT 4959383 SOS 441282 HAS SOPS 441282 HAS SOUS 395965 HAS SOUPS 395965 WITH SCORE 396406.282
AT ITER 9717 NEW BEST:: SOT 4959361 SOS 441238 HAS SOPS 441238 HAS SOUS 395921 HAS SOUPS 395921 WITH SCORE 396362.238
AT ITER 9783 NEW BEST:: SOT 4959349 SOS 441226 HAS SOPS 441226 HAS SOUS 395909 HAS SOUPS 395909 WITH SCORE 396350.226
AT ITER 9898 NEW BEST:: SOT 4959330 SOS 441169 HAS SOPS 441169 HAS SOUS 395890 HAS SOUPS 395890 WITH SCORE 396331.169
AT ITER 9935 NEW BEST:: SOT 4959305 SOS 441144 HAS SOPS 441144 HAS SOUS 395865 HAS SOUPS 395865 WITH SCORE 396306.144
AT ITER 9968 NEW BEST:: SOT 4959163 SOS 441002 HAS SOPS 441002 HAS SOUS 395826 HAS SOUPS 395826 WITH SCORE 396267.002
AT ITER 9970 NEW BEST:: SOT 4959146 SOS 440985 HAS SOPS 440985 HAS SOUS 395809 HAS SOUPS 395809 WITH SCORE 396249.985
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14593624 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114388 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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-L00020M0002C001P001G001"
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-L00020M0002C001P001G001, 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-167838858400312"
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 ;