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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 29K Feb 26 11:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 214K Feb 26 11:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 74K Feb 26 11:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 290K Feb 26 11:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 16K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 32K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 62K Feb 26 11:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 423K Feb 26 11:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 113K Feb 26 11:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 417K Feb 26 11:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 9.3K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.3M 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 1679463301687

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-PT-L00020M0002C001P001G001
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 05:35:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 05:35:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 05:35:03] [INFO ] Load time of PNML (sax parser for PT used): 151 ms
[2023-03-22 05:35:03] [INFO ] Transformed 3271 places.
[2023-03-22 05:35:03] [INFO ] Transformed 2753 transitions.
[2023-03-22 05:35:03] [INFO ] Parsed PT model containing 3271 places and 2753 transitions and 8446 arcs in 236 ms.
[2023-03-22 05:35:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3271 places, 2753 transitions and 8446 arcs took 28 ms.
Total runtime 291 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (PT), 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: 3271 places, 2753 transitions, 8446 arcs.
AT ITER 0 NEW BEST:: SOT 4986251 SOS 457629 HAS SOPS 451813 HAS SOUS 425533 HAS SOUPS 424715 WITH SCORE 425172.629
AT ITER 6 NEW BEST:: SOT 4986214 SOS 457592 HAS SOPS 451776 HAS SOUS 425496 HAS SOUPS 424678 WITH SCORE 425135.592
AT ITER 25 NEW BEST:: SOT 4986178 SOS 457471 HAS SOPS 451655 HAS SOUS 425375 HAS SOUPS 424557 WITH SCORE 425014.471
AT ITER 92 NEW BEST:: SOT 4986158 SOS 457409 HAS SOPS 451593 HAS SOUS 425355 HAS SOUPS 424537 WITH SCORE 424994.409
AT ITER 155 NEW BEST:: SOT 4986158 SOS 457387 HAS SOPS 451571 HAS SOUS 425333 HAS SOUPS 424515 WITH SCORE 424972.387
AT ITER 180 NEW BEST:: SOT 4986025 SOS 457054 HAS SOPS 451238 HAS SOUS 424983 HAS SOUPS 424165 WITH SCORE 424622.054
AT ITER 181 NEW BEST:: SOT 4986025 SOS 457017 HAS SOPS 451201 HAS SOUS 424946 HAS SOUPS 424128 WITH SCORE 424585.017
AT ITER 293 NEW BEST:: SOT 4986021 SOS 457013 HAS SOPS 451197 HAS SOUS 424942 HAS SOUPS 424124 WITH SCORE 424581.013
AT ITER 314 NEW BEST:: SOT 4985959 SOS 456888 HAS SOPS 451072 HAS SOUS 424817 HAS SOUPS 423999 WITH SCORE 424455.888
AT ITER 359 NEW BEST:: SOT 4985897 SOS 456763 HAS SOPS 450947 HAS SOUS 424692 HAS SOUPS 423874 WITH SCORE 424330.763
AT ITER 364 NEW BEST:: SOT 4985897 SOS 456647 HAS SOPS 450831 HAS SOUS 424672 HAS SOUPS 423854 WITH SCORE 424310.647
AT ITER 388 NEW BEST:: SOT 4985849 SOS 456615 HAS SOPS 450799 HAS SOUS 424661 HAS SOUPS 423843 WITH SCORE 424299.615
AT ITER 402 NEW BEST:: SOT 4985665 SOS 456552 HAS SOPS 450736 HAS SOUS 424598 HAS SOUPS 423780 WITH SCORE 424236.552
AT ITER 406 NEW BEST:: SOT 4985665 SOS 456512 HAS SOPS 450696 HAS SOUS 424558 HAS SOUPS 423740 WITH SCORE 424196.512
AT ITER 455 NEW BEST:: SOT 4985606 SOS 456453 HAS SOPS 450637 HAS SOUS 424499 HAS SOUPS 423681 WITH SCORE 424137.453
AT ITER 472 NEW BEST:: SOT 4985605 SOS 456442 HAS SOPS 450626 HAS SOUS 424488 HAS SOUPS 423670 WITH SCORE 424126.442
AT ITER 480 NEW BEST:: SOT 4985555 SOS 456392 HAS SOPS 450576 HAS SOUS 424418 HAS SOUPS 423600 WITH SCORE 424056.392
AT ITER 485 NEW BEST:: SOT 4985555 SOS 456357 HAS SOPS 450541 HAS SOUS 424383 HAS SOUPS 423565 WITH SCORE 424021.357
AT ITER 500 NEW BEST:: SOT 4985426 SOS 456188 HAS SOPS 450372 HAS SOUS 424214 HAS SOUPS 423396 WITH SCORE 423852.188
AT ITER 503 NEW BEST:: SOT 4985356 SOS 456118 HAS SOPS 450302 HAS SOUS 424144 HAS SOUPS 423326 WITH SCORE 423782.118
AT ITER 523 NEW BEST:: SOT 4985294 SOS 456071 HAS SOPS 450255 HAS SOUS 424139 HAS SOUPS 423321 WITH SCORE 423777.071
AT ITER 527 NEW BEST:: SOT 4985264 SOS 455910 HAS SOPS 450094 HAS SOUS 423957 HAS SOUPS 423139 WITH SCORE 423594.91
AT ITER 572 NEW BEST:: SOT 4985144 SOS 455847 HAS SOPS 450031 HAS SOUS 423894 HAS SOUPS 423076 WITH SCORE 423531.847
AT ITER 575 NEW BEST:: SOT 4985013 SOS 455684 HAS SOPS 449868 HAS SOUS 423772 HAS SOUPS 422954 WITH SCORE 423409.684
AT ITER 595 NEW BEST:: SOT 4984971 SOS 455600 HAS SOPS 449784 HAS SOUS 423688 HAS SOUPS 422870 WITH SCORE 423325.6
AT ITER 613 NEW BEST:: SOT 4985024 SOS 455590 HAS SOPS 449774 HAS SOUS 423678 HAS SOUPS 422860 WITH SCORE 423315.59
AT ITER 641 NEW BEST:: SOT 4984963 SOS 455463 HAS SOPS 449647 HAS SOUS 423551 HAS SOUPS 422733 WITH SCORE 423188.463
AT ITER 663 NEW BEST:: SOT 4984963 SOS 455412 HAS SOPS 449596 HAS SOUS 423500 HAS SOUPS 422682 WITH SCORE 423137.412
AT ITER 714 NEW BEST:: SOT 4984963 SOS 455383 HAS SOPS 449567 HAS SOUS 423471 HAS SOUPS 422653 WITH SCORE 423108.383
AT ITER 829 NEW BEST:: SOT 4984963 SOS 455328 HAS SOPS 449512 HAS SOUS 423416 HAS SOUPS 422598 WITH SCORE 423053.328
AT ITER 834 NEW BEST:: SOT 4984928 SOS 455207 HAS SOPS 449391 HAS SOUS 423295 HAS SOUPS 422477 WITH SCORE 422932.207
AT ITER 848 NEW BEST:: SOT 4984876 SOS 455115 HAS SOPS 449299 HAS SOUS 423203 HAS SOUPS 422385 WITH SCORE 422840.115
AT ITER 855 NEW BEST:: SOT 4984814 SOS 455063 HAS SOPS 449247 HAS SOUS 423193 HAS SOUPS 422375 WITH SCORE 422830.063
AT ITER 877 NEW BEST:: SOT 4984814 SOS 455043 HAS SOPS 449227 HAS SOUS 423173 HAS SOUPS 422355 WITH SCORE 422810.043
AT ITER 919 NEW BEST:: SOT 4984759 SOS 454988 HAS SOPS 449172 HAS SOUS 423118 HAS SOUPS 422300 WITH SCORE 422754.988
AT ITER 920 NEW BEST:: SOT 4984698 SOS 454861 HAS SOPS 449045 HAS SOUS 422991 HAS SOUPS 422173 WITH SCORE 422627.861
AT ITER 1053 NEW BEST:: SOT 4984552 SOS 454583 HAS SOPS 448767 HAS SOUS 422699 HAS SOUPS 421881 WITH SCORE 422335.583
AT ITER 1093 NEW BEST:: SOT 4984552 SOS 454527 HAS SOPS 448711 HAS SOUS 422643 HAS SOUPS 421825 WITH SCORE 422279.527
AT ITER 1110 NEW BEST:: SOT 4984552 SOS 454471 HAS SOPS 448655 HAS SOUS 422587 HAS SOUPS 421769 WITH SCORE 422223.471
AT ITER 1134 NEW BEST:: SOT 4984552 SOS 454444 HAS SOPS 448628 HAS SOUS 422560 HAS SOUPS 421742 WITH SCORE 422196.444
AT ITER 1251 NEW BEST:: SOT 4984497 SOS 454389 HAS SOPS 448573 HAS SOUS 422505 HAS SOUPS 421687 WITH SCORE 422141.389
AT ITER 1281 NEW BEST:: SOT 4984482 SOS 454362 HAS SOPS 448546 HAS SOUS 422493 HAS SOUPS 421675 WITH SCORE 422129.362
AT ITER 1287 NEW BEST:: SOT 4984379 SOS 454320 HAS SOPS 448504 HAS SOUS 422411 HAS SOUPS 421593 WITH SCORE 422047.32
AT ITER 1298 NEW BEST:: SOT 4984295 SOS 454072 HAS SOPS 448256 HAS SOUS 422163 HAS SOUPS 421345 WITH SCORE 421799.072
AT ITER 1401 NEW BEST:: SOT 4984366 SOS 454028 HAS SOPS 448212 HAS SOUS 422119 HAS SOUPS 421301 WITH SCORE 421755.028
AT ITER 1446 NEW BEST:: SOT 4984310 SOS 453972 HAS SOPS 448156 HAS SOUS 422063 HAS SOUPS 421245 WITH SCORE 421698.972
AT ITER 1495 NEW BEST:: SOT 4984190 SOS 453669 HAS SOPS 447853 HAS SOUS 421760 HAS SOUPS 420942 WITH SCORE 421395.669
AT ITER 1517 NEW BEST:: SOT 4984190 SOS 453606 HAS SOPS 447790 HAS SOUS 421697 HAS SOUPS 420879 WITH SCORE 421332.606
AT ITER 1580 NEW BEST:: SOT 4984190 SOS 453599 HAS SOPS 447783 HAS SOUS 421690 HAS SOUPS 420872 WITH SCORE 421325.599
AT ITER 1616 NEW BEST:: SOT 4984128 SOS 453474 HAS SOPS 447658 HAS SOUS 421565 HAS SOUPS 420747 WITH SCORE 421200.474
AT ITER 1635 NEW BEST:: SOT 4984151 SOS 453434 HAS SOPS 447618 HAS SOUS 421525 HAS SOUPS 420707 WITH SCORE 421160.434
AT ITER 1667 NEW BEST:: SOT 4984151 SOS 453774 HAS SOPS 447601 HAS SOUS 421525 HAS SOUPS 420690 WITH SCORE 421143.774
AT ITER 1703 NEW BEST:: SOT 4984139 SOS 453762 HAS SOPS 447589 HAS SOUS 421513 HAS SOUPS 420678 WITH SCORE 421131.762
AT ITER 1840 NEW BEST:: SOT 4983978 SOS 453598 HAS SOPS 447425 HAS SOUS 421390 HAS SOUPS 420555 WITH SCORE 421008.598
AT ITER 1851 NEW BEST:: SOT 4983978 SOS 453562 HAS SOPS 447389 HAS SOUS 421354 HAS SOUPS 420519 WITH SCORE 420972.562
AT ITER 1905 NEW BEST:: SOT 4984046 SOS 453512 HAS SOPS 447339 HAS SOUS 421304 HAS SOUPS 420469 WITH SCORE 420922.512
AT ITER 1916 NEW BEST:: SOT 4984046 SOS 453484 HAS SOPS 447311 HAS SOUS 421276 HAS SOUPS 420441 WITH SCORE 420894.484
AT ITER 1945 NEW BEST:: SOT 4982719 SOS 452414 HAS SOPS 446241 HAS SOUS 420024 HAS SOUPS 419189 WITH SCORE 419641.414
AT ITER 2000 NEW BEST:: SOT 4982613 SOS 452290 HAS SOPS 446117 HAS SOUS 419920 HAS SOUPS 419085 WITH SCORE 419537.29
AT ITER 2076 NEW BEST:: SOT 4982602 SOS 452217 HAS SOPS 446044 HAS SOUS 419847 HAS SOUPS 419012 WITH SCORE 419464.217
AT ITER 2103 NEW BEST:: SOT 4982541 SOS 452090 HAS SOPS 445917 HAS SOUS 419720 HAS SOUPS 418885 WITH SCORE 419337.09
AT ITER 2161 NEW BEST:: SOT 4982546 SOS 452115 HAS SOPS 445942 HAS SOUS 419705 HAS SOUPS 418870 WITH SCORE 419322.115
AT ITER 2175 NEW BEST:: SOT 4982546 SOS 452075 HAS SOPS 445902 HAS SOUS 419665 HAS SOUPS 418830 WITH SCORE 419282.075
AT ITER 2196 NEW BEST:: SOT 4982546 SOS 451989 HAS SOPS 445816 HAS SOUS 419665 HAS SOUPS 418830 WITH SCORE 419281.989
AT ITER 2272 NEW BEST:: SOT 4982538 SOS 451896 HAS SOPS 445723 HAS SOUS 419565 HAS SOUPS 418730 WITH SCORE 419181.896
AT ITER 2290 NEW BEST:: SOT 4982476 SOS 451768 HAS SOPS 445595 HAS SOUS 419437 HAS SOUPS 418602 WITH SCORE 419053.768
AT ITER 2311 NEW BEST:: SOT 4982358 SOS 451655 HAS SOPS 445482 HAS SOUS 419288 HAS SOUPS 418453 WITH SCORE 418904.655
AT ITER 2355 NEW BEST:: SOT 4982298 SOS 451532 HAS SOPS 445359 HAS SOUS 419125 HAS SOUPS 418290 WITH SCORE 418741.532
AT ITER 2365 NEW BEST:: SOT 4982298 SOS 451507 HAS SOPS 445334 HAS SOUS 419100 HAS SOUPS 418265 WITH SCORE 418716.507
AT ITER 2384 NEW BEST:: SOT 4982298 SOS 451444 HAS SOPS 445271 HAS SOUS 419037 HAS SOUPS 418202 WITH SCORE 418653.444
AT ITER 2391 NEW BEST:: SOT 4982174 SOS 451375 HAS SOPS 445202 HAS SOUS 418988 HAS SOUPS 418153 WITH SCORE 418604.375
AT ITER 2416 NEW BEST:: SOT 4982137 SOS 451343 HAS SOPS 445170 HAS SOUS 418956 HAS SOUPS 418121 WITH SCORE 418572.343
AT ITER 2508 NEW BEST:: SOT 4982094 SOS 451300 HAS SOPS 445127 HAS SOUS 418913 HAS SOUPS 418078 WITH SCORE 418529.3
AT ITER 2586 NEW BEST:: SOT 4982065 SOS 451242 HAS SOPS 445069 HAS SOUS 418855 HAS SOUPS 418020 WITH SCORE 418471.242
AT ITER 2590 NEW BEST:: SOT 4982065 SOS 451177 HAS SOPS 445004 HAS SOUS 418790 HAS SOUPS 417955 WITH SCORE 418406.177
AT ITER 2630 NEW BEST:: SOT 4982014 SOS 451126 HAS SOPS 444953 HAS SOUS 418739 HAS SOUPS 417904 WITH SCORE 418355.126
AT ITER 2663 NEW BEST:: SOT 4982014 SOS 451098 HAS SOPS 444925 HAS SOUS 418711 HAS SOUPS 417876 WITH SCORE 418327.098
AT ITER 2697 NEW BEST:: SOT 4982014 SOS 451041 HAS SOPS 444868 HAS SOUS 418711 HAS SOUPS 417876 WITH SCORE 418327.041
AT ITER 2758 NEW BEST:: SOT 4982050 SOS 451157 HAS SOPS 444872 HAS SOUS 418703 HAS SOUPS 417868 WITH SCORE 418319.157
AT ITER 2777 NEW BEST:: SOT 4982050 SOS 451121 HAS SOPS 444836 HAS SOUS 418667 HAS SOUPS 417832 WITH SCORE 418283.121
AT ITER 2859 NEW BEST:: SOT 4981976 SOS 450981 HAS SOPS 444696 HAS SOUS 418527 HAS SOUPS 417692 WITH SCORE 418142.981
AT ITER 2903 NEW BEST:: SOT 4981991 SOS 450889 HAS SOPS 444604 HAS SOUS 418415 HAS SOUPS 417580 WITH SCORE 418030.889
AT ITER 2950 NEW BEST:: SOT 4981991 SOS 450847 HAS SOPS 444562 HAS SOUS 418373 HAS SOUPS 417538 WITH SCORE 417988.847
AT ITER 2962 NEW BEST:: SOT 4981991 SOS 450833 HAS SOPS 444548 HAS SOUS 418359 HAS SOUPS 417524 WITH SCORE 417974.833
AT ITER 2966 NEW BEST:: SOT 4981930 SOS 450706 HAS SOPS 444421 HAS SOUS 418232 HAS SOUPS 417397 WITH SCORE 417847.706
AT ITER 3047 NEW BEST:: SOT 4981893 SOS 450585 HAS SOPS 444300 HAS SOUS 418111 HAS SOUPS 417276 WITH SCORE 417726.585
AT ITER 3114 NEW BEST:: SOT 4981893 SOS 450585 HAS SOPS 444300 HAS SOUS 418104 HAS SOUPS 417269 WITH SCORE 417719.585
AT ITER 3144 NEW BEST:: SOT 4981869 SOS 450501 HAS SOPS 444216 HAS SOUS 418038 HAS SOUPS 417203 WITH SCORE 417653.501
AT ITER 3153 NEW BEST:: SOT 4981869 SOS 450450 HAS SOPS 444165 HAS SOUS 418007 HAS SOUPS 417172 WITH SCORE 417622.45
AT ITER 3157 NEW BEST:: SOT 4981808 SOS 450326 HAS SOPS 444041 HAS SOUS 417883 HAS SOUPS 417048 WITH SCORE 417498.326
AT ITER 3186 NEW BEST:: SOT 4981831 SOS 450266 HAS SOPS 443981 HAS SOUS 417823 HAS SOUPS 416988 WITH SCORE 417438.266
AT ITER 3237 NEW BEST:: SOT 4981829 SOS 450264 HAS SOPS 443979 HAS SOUS 417821 HAS SOUPS 416986 WITH SCORE 417436.264
AT ITER 3272 NEW BEST:: SOT 4981742 SOS 450137 HAS SOPS 443852 HAS SOUS 417674 HAS SOUPS 416839 WITH SCORE 417289.137
AT ITER 3280 NEW BEST:: SOT 4981742 SOS 450076 HAS SOPS 443791 HAS SOUS 417613 HAS SOUPS 416778 WITH SCORE 417228.076
AT ITER 3295 NEW BEST:: SOT 4981733 SOS 450011 HAS SOPS 443726 HAS SOUS 417548 HAS SOUPS 416713 WITH SCORE 417163.011
AT ITER 3307 NEW BEST:: SOT 4981733 SOS 449990 HAS SOPS 443705 HAS SOUS 417548 HAS SOUPS 416713 WITH SCORE 417162.99
AT ITER 3310 NEW BEST:: SOT 4981653 SOS 449864 HAS SOPS 443579 HAS SOUS 417422 HAS SOUPS 416587 WITH SCORE 417036.864
AT ITER 3322 NEW BEST:: SOT 4981461 SOS 449497 HAS SOPS 443212 HAS SOUS 417038 HAS SOUPS 416203 WITH SCORE 416652.497
AT ITER 3324 NEW BEST:: SOT 4981461 SOS 449476 HAS SOPS 443191 HAS SOUS 417017 HAS SOUPS 416182 WITH SCORE 416631.476
AT ITER 3451 NEW BEST:: SOT 4981418 SOS 449373 HAS SOPS 443088 HAS SOUS 416956 HAS SOUPS 416121 WITH SCORE 416570.373
AT ITER 3492 NEW BEST:: SOT 4981397 SOS 449331 HAS SOPS 443046 HAS SOUS 416914 HAS SOUPS 416079 WITH SCORE 416528.331
AT ITER 3514 NEW BEST:: SOT 4981368 SOS 449260 HAS SOPS 442975 HAS SOUS 416885 HAS SOUPS 416050 WITH SCORE 416499.26
AT ITER 3517 NEW BEST:: SOT 4981368 SOS 449233 HAS SOPS 442948 HAS SOUS 416858 HAS SOUPS 416023 WITH SCORE 416472.233
AT ITER 3575 NEW BEST:: SOT 4981365 SOS 449230 HAS SOPS 442945 HAS SOUS 416855 HAS SOUPS 416020 WITH SCORE 416469.23
AT ITER 3587 NEW BEST:: SOT 4981276 SOS 449104 HAS SOPS 442819 HAS SOUS 416729 HAS SOUPS 415894 WITH SCORE 416343.104
AT ITER 3592 NEW BEST:: SOT 4981215 SOS 448980 HAS SOPS 442695 HAS SOUS 416605 HAS SOUPS 415770 WITH SCORE 416218.98
AT ITER 3621 NEW BEST:: SOT 4981215 SOS 449019 HAS SOPS 442734 HAS SOUS 416602 HAS SOUPS 415767 WITH SCORE 416216.019
AT ITER 3638 NEW BEST:: SOT 4981197 SOS 449001 HAS SOPS 442716 HAS SOUS 416584 HAS SOUPS 415749 WITH SCORE 416198.001
AT ITER 3648 NEW BEST:: SOT 4981157 SOS 448939 HAS SOPS 442654 HAS SOUS 416522 HAS SOUPS 415687 WITH SCORE 416135.939
AT ITER 3685 NEW BEST:: SOT 4981095 SOS 448771 HAS SOPS 442486 HAS SOUS 416354 HAS SOUPS 415519 WITH SCORE 415967.771
AT ITER 3827 NEW BEST:: SOT 4981053 SOS 448709 HAS SOPS 442424 HAS SOUS 416345 HAS SOUPS 415510 WITH SCORE 415958.709
AT ITER 3968 NEW BEST:: SOT 4981053 SOS 448706 HAS SOPS 442481 HAS SOUS 416316 HAS SOUPS 415481 WITH SCORE 415929.706
AT ITER 3986 NEW BEST:: SOT 4981110 SOS 448886 HAS SOPS 442507 HAS SOUS 416309 HAS SOUPS 415474 WITH SCORE 415922.886
AT ITER 4035 NEW BEST:: SOT 4981110 SOS 448853 HAS SOPS 442474 HAS SOUS 416276 HAS SOUPS 415441 WITH SCORE 415889.853
AT ITER 4048 NEW BEST:: SOT 4981110 SOS 448818 HAS SOPS 442439 HAS SOUS 416241 HAS SOUPS 415406 WITH SCORE 415854.818
AT ITER 4073 NEW BEST:: SOT 4981110 SOS 448797 HAS SOPS 442418 HAS SOUS 416220 HAS SOUPS 415385 WITH SCORE 415833.797
AT ITER 4099 NEW BEST:: SOT 4981048 SOS 448669 HAS SOPS 442290 HAS SOUS 416092 HAS SOUPS 415257 WITH SCORE 415705.669
AT ITER 4141 NEW BEST:: SOT 4981104 SOS 448609 HAS SOPS 442230 HAS SOUS 416032 HAS SOUPS 415197 WITH SCORE 415645.609
AT ITER 4143 NEW BEST:: SOT 4981044 SOS 448483 HAS SOPS 442104 HAS SOUS 415906 HAS SOUPS 415071 WITH SCORE 415519.483
AT ITER 4154 NEW BEST:: SOT 4980995 SOS 448434 HAS SOPS 442055 HAS SOUS 415837 HAS SOUPS 415002 WITH SCORE 415450.434
AT ITER 4165 NEW BEST:: SOT 4980995 SOS 448420 HAS SOPS 442041 HAS SOUS 415823 HAS SOUPS 414988 WITH SCORE 415436.42
AT ITER 4178 NEW BEST:: SOT 4980825 SOS 448017 HAS SOPS 441638 HAS SOUS 415420 HAS SOUPS 414585 WITH SCORE 415033.017
AT ITER 4273 NEW BEST:: SOT 4980825 SOS 447960 HAS SOPS 441581 HAS SOUS 415363 HAS SOUPS 414528 WITH SCORE 414975.96
AT ITER 4285 NEW BEST:: SOT 4980825 SOS 447880 HAS SOPS 441501 HAS SOUS 415343 HAS SOUPS 414508 WITH SCORE 414955.88
AT ITER 4461 NEW BEST:: SOT 4980825 SOS 446683 HAS SOPS 440304 HAS SOUS 415343 HAS SOUPS 414508 WITH SCORE 414954.683
AT ITER 4593 NEW BEST:: SOT 4980825 SOS 446679 HAS SOPS 440300 HAS SOUS 415339 HAS SOUPS 414504 WITH SCORE 414950.679
AT ITER 4678 NEW BEST:: SOT 4980763 SOS 446632 HAS SOPS 440253 HAS SOUS 415292 HAS SOUPS 414457 WITH SCORE 414903.632
AT ITER 4679 NEW BEST:: SOT 4980762 SOS 446631 HAS SOPS 440252 HAS SOUS 415291 HAS SOUPS 414456 WITH SCORE 414902.631
AT ITER 4740 NEW BEST:: SOT 4980762 SOS 446589 HAS SOPS 440210 HAS SOUS 415249 HAS SOUPS 414414 WITH SCORE 414860.589
AT ITER 4798 NEW BEST:: SOT 4980660 SOS 446461 HAS SOPS 440082 HAS SOUS 415162 HAS SOUPS 414327 WITH SCORE 414773.461
AT ITER 4818 NEW BEST:: SOT 4980660 SOS 446461 HAS SOPS 440082 HAS SOUS 415145 HAS SOUPS 414310 WITH SCORE 414756.461
AT ITER 4854 NEW BEST:: SOT 4980611 SOS 446349 HAS SOPS 439970 HAS SOUS 415033 HAS SOUPS 414198 WITH SCORE 414644.349
AT ITER 4875 NEW BEST:: SOT 4980570 SOS 446332 HAS SOPS 439953 HAS SOUS 415016 HAS SOUPS 414181 WITH SCORE 414627.332
AT ITER 4888 NEW BEST:: SOT 4980498 SOS 446324 HAS SOPS 439945 HAS SOUS 414968 HAS SOUPS 414133 WITH SCORE 414579.324
AT ITER 4933 NEW BEST:: SOT 4980440 SOS 446208 HAS SOPS 439829 HAS SOUS 414852 HAS SOUPS 414017 WITH SCORE 414463.208
AT ITER 5023 NEW BEST:: SOT 4980387 SOS 446155 HAS SOPS 439776 HAS SOUS 414799 HAS SOUPS 413964 WITH SCORE 414410.155
AT ITER 5164 NEW BEST:: SOT 4980387 SOS 446123 HAS SOPS 439744 HAS SOUS 414767 HAS SOUPS 413932 WITH SCORE 414378.123
AT ITER 5228 NEW BEST:: SOT 4980355 SOS 446017 HAS SOPS 439638 HAS SOUS 414714 HAS SOUPS 413879 WITH SCORE 414325.017
AT ITER 5279 NEW BEST:: SOT 4980355 SOS 445983 HAS SOPS 439604 HAS SOUS 414680 HAS SOUPS 413845 WITH SCORE 414290.983
AT ITER 5343 NEW BEST:: SOT 4980355 SOS 445975 HAS SOPS 439596 HAS SOUS 414680 HAS SOUPS 413845 WITH SCORE 414290.975
AT ITER 5427 NEW BEST:: SOT 4980320 SOS 445940 HAS SOPS 439561 HAS SOUS 414645 HAS SOUPS 413810 WITH SCORE 414255.94
AT ITER 5431 NEW BEST:: SOT 4980320 SOS 444982 HAS SOPS 438603 HAS SOUS 414645 HAS SOUPS 413810 WITH SCORE 414254.982
AT ITER 5453 NEW BEST:: SOT 4980320 SOS 444861 HAS SOPS 438482 HAS SOUS 414627 HAS SOUPS 413792 WITH SCORE 414236.861
AT ITER 5461 NEW BEST:: SOT 4980293 SOS 444819 HAS SOPS 438440 HAS SOUS 414585 HAS SOUPS 413750 WITH SCORE 414194.819
AT ITER 5488 NEW BEST:: SOT 4980293 SOS 444811 HAS SOPS 438432 HAS SOUS 414577 HAS SOUPS 413742 WITH SCORE 414186.811
AT ITER 5496 NEW BEST:: SOT 4980293 SOS 444759 HAS SOPS 438380 HAS SOUS 414525 HAS SOUPS 413690 WITH SCORE 414134.759
AT ITER 5500 NEW BEST:: SOT 4980157 SOS 444617 HAS SOPS 438238 HAS SOUS 414343 HAS SOUPS 413508 WITH SCORE 413952.617
AT ITER 5517 NEW BEST:: SOT 4980187 SOS 444556 HAS SOPS 438177 HAS SOUS 414282 HAS SOUPS 413447 WITH SCORE 413891.556
AT ITER 5543 NEW BEST:: SOT 4980187 SOS 444506 HAS SOPS 438127 HAS SOUS 414232 HAS SOUPS 413397 WITH SCORE 413841.506
AT ITER 5618 NEW BEST:: SOT 4980124 SOS 444443 HAS SOPS 438064 HAS SOUS 414169 HAS SOUPS 413334 WITH SCORE 413778.443
AT ITER 5625 NEW BEST:: SOT 4980124 SOS 444420 HAS SOPS 438041 HAS SOUS 414169 HAS SOUPS 413334 WITH SCORE 413778.42
AT ITER 5641 NEW BEST:: SOT 4980032 SOS 444206 HAS SOPS 437827 HAS SOUS 414017 HAS SOUPS 413182 WITH SCORE 413626.206
AT ITER 5679 NEW BEST:: SOT 4980019 SOS 444176 HAS SOPS 437797 HAS SOUS 413987 HAS SOUPS 413152 WITH SCORE 413596.176
AT ITER 5725 NEW BEST:: SOT 4979930 SOS 443909 HAS SOPS 437530 HAS SOUS 413750 HAS SOUPS 412915 WITH SCORE 413358.909
AT ITER 5806 NEW BEST:: SOT 4979921 SOS 443873 HAS SOPS 437494 HAS SOUS 413723 HAS SOUPS 412888 WITH SCORE 413331.873
AT ITER 5824 NEW BEST:: SOT 4979851 SOS 443733 HAS SOPS 437354 HAS SOUS 413583 HAS SOUPS 412748 WITH SCORE 413191.733
AT ITER 5832 NEW BEST:: SOT 4979851 SOS 443675 HAS SOPS 437296 HAS SOUS 413525 HAS SOUPS 412690 WITH SCORE 413133.675
AT ITER 5833 NEW BEST:: SOT 4979883 SOS 443604 HAS SOPS 437225 HAS SOUS 413454 HAS SOUPS 412619 WITH SCORE 413062.604
AT ITER 5913 NEW BEST:: SOT 4979842 SOS 443521 HAS SOPS 437142 HAS SOUS 413371 HAS SOUPS 412536 WITH SCORE 412979.521
AT ITER 5938 NEW BEST:: SOT 4979794 SOS 443398 HAS SOPS 437019 HAS SOUS 413248 HAS SOUPS 412413 WITH SCORE 412856.398
AT ITER 6020 NEW BEST:: SOT 4979753 SOS 443316 HAS SOPS 436937 HAS SOUS 413166 HAS SOUPS 412331 WITH SCORE 412774.316
AT ITER 6070 NEW BEST:: SOT 4979747 SOS 443310 HAS SOPS 436931 HAS SOUS 413160 HAS SOUPS 412325 WITH SCORE 412768.31
AT ITER 6126 NEW BEST:: SOT 4979697 SOS 443212 HAS SOPS 436833 HAS SOUS 413089 HAS SOUPS 412254 WITH SCORE 412697.212
AT ITER 6276 NEW BEST:: SOT 4979635 SOS 443087 HAS SOPS 436708 HAS SOUS 412964 HAS SOUPS 412129 WITH SCORE 412572.087
AT ITER 6288 NEW BEST:: SOT 4979635 SOS 443056 HAS SOPS 436677 HAS SOUS 412933 HAS SOUPS 412098 WITH SCORE 412541.056
AT ITER 6333 NEW BEST:: SOT 4979573 SOS 442931 HAS SOPS 436552 HAS SOUS 412808 HAS SOUPS 411973 WITH SCORE 412415.931
AT ITER 6340 NEW BEST:: SOT 4979472 SOS 442805 HAS SOPS 436426 HAS SOUS 412682 HAS SOUPS 411847 WITH SCORE 412289.805
AT ITER 6384 NEW BEST:: SOT 4979472 SOS 442757 HAS SOPS 436378 HAS SOUS 412634 HAS SOUPS 411799 WITH SCORE 412241.757
AT ITER 6415 NEW BEST:: SOT 4979375 SOS 442647 HAS SOPS 436268 HAS SOUS 412524 HAS SOUPS 411689 WITH SCORE 412131.647
AT ITER 6461 NEW BEST:: SOT 4979313 SOS 442522 HAS SOPS 436143 HAS SOUS 412399 HAS SOUPS 411564 WITH SCORE 412006.522
AT ITER 6518 NEW BEST:: SOT 4979256 SOS 442465 HAS SOPS 436086 HAS SOUS 412342 HAS SOUPS 411507 WITH SCORE 411949.465
AT ITER 6532 NEW BEST:: SOT 4979196 SOS 442342 HAS SOPS 435963 HAS SOUS 412219 HAS SOUPS 411384 WITH SCORE 411826.342
AT ITER 6563 NEW BEST:: SOT 4979136 SOS 442219 HAS SOPS 435840 HAS SOUS 412056 HAS SOUPS 411221 WITH SCORE 411663.219
AT ITER 6593 NEW BEST:: SOT 4979136 SOS 442182 HAS SOPS 435803 HAS SOUS 411998 HAS SOUPS 411163 WITH SCORE 411605.182
AT ITER 6690 NEW BEST:: SOT 4979021 SOS 442024 HAS SOPS 435645 HAS SOUS 411840 HAS SOUPS 411005 WITH SCORE 411447.024
AT ITER 6767 NEW BEST:: SOT 4979021 SOS 441996 HAS SOPS 435617 HAS SOUS 411812 HAS SOUPS 410977 WITH SCORE 411418.996
AT ITER 6784 NEW BEST:: SOT 4979021 SOS 441996 HAS SOPS 435611 HAS SOUS 411812 HAS SOUPS 410971 WITH SCORE 411412.996
AT ITER 6829 NEW BEST:: SOT 4978984 SOS 441959 HAS SOPS 435574 HAS SOUS 411713 HAS SOUPS 410872 WITH SCORE 411313.959
AT ITER 6837 NEW BEST:: SOT 4978924 SOS 441897 HAS SOPS 435512 HAS SOUS 411651 HAS SOUPS 410810 WITH SCORE 411251.897
AT ITER 6945 NEW BEST:: SOT 4978924 SOS 441892 HAS SOPS 435507 HAS SOUS 411646 HAS SOUPS 410805 WITH SCORE 411246.892
AT ITER 6956 NEW BEST:: SOT 4978866 SOS 441817 HAS SOPS 435432 HAS SOUS 411571 HAS SOUPS 410730 WITH SCORE 411171.817
AT ITER 7001 NEW BEST:: SOT 4978840 SOS 441791 HAS SOPS 435406 HAS SOUS 411545 HAS SOUPS 410704 WITH SCORE 411145.791
AT ITER 7009 NEW BEST:: SOT 4978772 SOS 441655 HAS SOPS 435270 HAS SOUS 411409 HAS SOUPS 410568 WITH SCORE 411009.655
AT ITER 7019 NEW BEST:: SOT 4978769 SOS 441538 HAS SOPS 435273 HAS SOUS 411406 HAS SOUPS 410568 WITH SCORE 411009.538
AT ITER 7195 NEW BEST:: SOT 4978688 SOS 441514 HAS SOPS 435249 HAS SOUS 411361 HAS SOUPS 410523 WITH SCORE 410964.514
AT ITER 7373 NEW BEST:: SOT 4978688 SOS 441499 HAS SOPS 435234 HAS SOUS 411341 HAS SOUPS 410503 WITH SCORE 410944.499
AT ITER 7381 NEW BEST:: SOT 4978688 SOS 441498 HAS SOPS 435233 HAS SOUS 411340 HAS SOUPS 410502 WITH SCORE 410943.498
AT ITER 7434 NEW BEST:: SOT 4978688 SOS 441498 HAS SOPS 435233 HAS SOUS 411319 HAS SOUPS 410481 WITH SCORE 410922.498
AT ITER 7455 NEW BEST:: SOT 4978688 SOS 441438 HAS SOPS 435173 HAS SOUS 411259 HAS SOUPS 410421 WITH SCORE 410862.438
AT ITER 7470 NEW BEST:: SOT 4978674 SOS 441553 HAS SOPS 434956 HAS SOUS 411213 HAS SOUPS 410204 WITH SCORE 410645.553
AT ITER 7541 NEW BEST:: SOT 4978674 SOS 441553 HAS SOPS 434956 HAS SOUS 411196 HAS SOUPS 410187 WITH SCORE 410628.553
AT ITER 7543 NEW BEST:: SOT 4978583 SOS 441412 HAS SOPS 434815 HAS SOUS 411055 HAS SOUPS 410046 WITH SCORE 410487.412
AT ITER 7579 NEW BEST:: SOT 4978521 SOS 441370 HAS SOPS 434773 HAS SOUS 411055 HAS SOUPS 410046 WITH SCORE 410487.37
AT ITER 7587 NEW BEST:: SOT 4978459 SOS 441325 HAS SOPS 434728 HAS SOUS 411030 HAS SOUPS 410021 WITH SCORE 410462.325
AT ITER 7592 NEW BEST:: SOT 4978459 SOS 441325 HAS SOPS 434728 HAS SOUS 411019 HAS SOUPS 410010 WITH SCORE 410451.325
AT ITER 7677 NEW BEST:: SOT 4978441 SOS 441307 HAS SOPS 434710 HAS SOUS 411001 HAS SOUPS 409992 WITH SCORE 410433.307
AT ITER 7680 NEW BEST:: SOT 4978420 SOS 441286 HAS SOPS 434689 HAS SOUS 410980 HAS SOUPS 409971 WITH SCORE 410412.286
AT ITER 7715 NEW BEST:: SOT 4978354 SOS 441220 HAS SOPS 434623 HAS SOUS 410914 HAS SOUPS 409905 WITH SCORE 410346.22
AT ITER 7716 NEW BEST:: SOT 4978326 SOS 441191 HAS SOPS 434594 HAS SOUS 410886 HAS SOUPS 409877 WITH SCORE 410318.191
AT ITER 7796 NEW BEST:: SOT 4978196 SOS 440863 HAS SOPS 434266 HAS SOUS 410542 HAS SOUPS 409533 WITH SCORE 409973.863
AT ITER 7800 NEW BEST:: SOT 4978207 SOS 440859 HAS SOPS 434262 HAS SOUS 410480 HAS SOUPS 409471 WITH SCORE 409911.859
AT ITER 7802 NEW BEST:: SOT 4978243 SOS 440992 HAS SOPS 434104 HAS SOUS 410613 HAS SOUPS 409349 WITH SCORE 409789.992
AT ITER 7850 NEW BEST:: SOT 4978224 SOS 440973 HAS SOPS 434085 HAS SOUS 410594 HAS SOUPS 409330 WITH SCORE 409770.973
AT ITER 7891 NEW BEST:: SOT 4978207 SOS 440956 HAS SOPS 434068 HAS SOUS 410577 HAS SOUPS 409313 WITH SCORE 409753.956
AT ITER 7892 NEW BEST:: SOT 4978130 SOS 440786 HAS SOPS 433898 HAS SOUS 410360 HAS SOUPS 409096 WITH SCORE 409536.786
AT ITER 7978 NEW BEST:: SOT 4978103 SOS 440759 HAS SOPS 433871 HAS SOUS 410340 HAS SOUPS 409076 WITH SCORE 409516.759
AT ITER 7987 NEW BEST:: SOT 4978103 SOS 440756 HAS SOPS 433868 HAS SOUS 410337 HAS SOUPS 409073 WITH SCORE 409513.756
AT ITER 8038 NEW BEST:: SOT 4978103 SOS 440713 HAS SOPS 433825 HAS SOUS 410294 HAS SOUPS 409030 WITH SCORE 409470.713
AT ITER 8056 NEW BEST:: SOT 4978081 SOS 440669 HAS SOPS 433781 HAS SOUS 410250 HAS SOUPS 408986 WITH SCORE 409426.669
AT ITER 8133 NEW BEST:: SOT 4978053 SOS 440641 HAS SOPS 433753 HAS SOUS 410202 HAS SOUPS 408938 WITH SCORE 409378.641
AT ITER 8158 NEW BEST:: SOT 4978044 SOS 440640 HAS SOPS 433752 HAS SOUS 410201 HAS SOUPS 408937 WITH SCORE 409377.64
AT ITER 8206 NEW BEST:: SOT 4977443 SOS 449667 HAS SOPS 442779 HAS SOUS 410076 HAS SOUPS 408812 WITH SCORE 409261.667
AT ITER 8272 NEW BEST:: SOT 4977401 SOS 448460 HAS SOPS 441572 HAS SOUS 410046 HAS SOUPS 408782 WITH SCORE 409230.46
AT ITER 8352 NEW BEST:: SOT 4977333 SOS 448397 HAS SOPS 441509 HAS SOUS 409983 HAS SOUPS 408719 WITH SCORE 409167.397
AT ITER 8357 NEW BEST:: SOT 4977301 SOS 448378 HAS SOPS 441490 HAS SOUS 409953 HAS SOUPS 408689 WITH SCORE 409137.378
AT ITER 8359 NEW BEST:: SOT 4977356 SOS 448506 HAS SOPS 441441 HAS SOUS 409917 HAS SOUPS 408653 WITH SCORE 409101.506
AT ITER 8406 NEW BEST:: SOT 4977317 SOS 448467 HAS SOPS 441402 HAS SOUS 409839 HAS SOUPS 408575 WITH SCORE 409023.467
AT ITER 8451 NEW BEST:: SOT 4977317 SOS 448453 HAS SOPS 441388 HAS SOUS 409811 HAS SOUPS 408547 WITH SCORE 408995.453
AT ITER 8470 NEW BEST:: SOT 4977317 SOS 448417 HAS SOPS 441352 HAS SOUS 409775 HAS SOUPS 408511 WITH SCORE 408959.417
AT ITER 8479 NEW BEST:: SOT 4977261 SOS 448361 HAS SOPS 441296 HAS SOUS 409719 HAS SOUPS 408455 WITH SCORE 408903.361
AT ITER 8508 NEW BEST:: SOT 4977261 SOS 448329 HAS SOPS 441264 HAS SOUS 409687 HAS SOUPS 408423 WITH SCORE 408871.329
AT ITER 8578 NEW BEST:: SOT 4977202 SOS 448270 HAS SOPS 441205 HAS SOUS 409570 HAS SOUPS 408306 WITH SCORE 408754.27
AT ITER 8618 NEW BEST:: SOT 4977142 SOS 448210 HAS SOPS 441145 HAS SOUS 409497 HAS SOUPS 408233 WITH SCORE 408681.21
AT ITER 8668 NEW BEST:: SOT 4977096 SOS 448198 HAS SOPS 441115 HAS SOUS 409467 HAS SOUPS 408203 WITH SCORE 408651.198
AT ITER 8679 NEW BEST:: SOT 4976911 SOS 448036 HAS SOPS 440953 HAS SOUS 409136 HAS SOUPS 407872 WITH SCORE 408320.036
AT ITER 8744 NEW BEST:: SOT 4976873 SOS 447998 HAS SOPS 440915 HAS SOUS 409098 HAS SOUPS 407834 WITH SCORE 408281.998
AT ITER 8754 NEW BEST:: SOT 4976818 SOS 447943 HAS SOPS 440860 HAS SOUS 409043 HAS SOUPS 407779 WITH SCORE 408226.943
AT ITER 8765 NEW BEST:: SOT 4976758 SOS 447883 HAS SOPS 440800 HAS SOUS 408983 HAS SOUPS 407719 WITH SCORE 408166.883
AT ITER 8846 NEW BEST:: SOT 4976696 SOS 447755 HAS SOPS 440672 HAS SOUS 408855 HAS SOUPS 407591 WITH SCORE 408038.755
AT ITER 8848 NEW BEST:: SOT 4976696 SOS 447679 HAS SOPS 440596 HAS SOUS 408855 HAS SOUPS 407591 WITH SCORE 408038.679
AT ITER 8858 NEW BEST:: SOT 4976696 SOS 447639 HAS SOPS 440556 HAS SOUS 408815 HAS SOUPS 407551 WITH SCORE 407998.639
AT ITER 8885 NEW BEST:: SOT 4976636 SOS 447513 HAS SOPS 440430 HAS SOUS 408689 HAS SOUPS 407425 WITH SCORE 407872.513
AT ITER 8916 NEW BEST:: SOT 4976554 SOS 447394 HAS SOPS 440311 HAS SOUS 408664 HAS SOUPS 407400 WITH SCORE 407847.394
AT ITER 9071 NEW BEST:: SOT 4976422 SOS 447146 HAS SOPS 440063 HAS SOUS 408400 HAS SOUPS 407136 WITH SCORE 407583.146
AT ITER 9152 NEW BEST:: SOT 4976422 SOS 447146 HAS SOPS 440063 HAS SOUS 408384 HAS SOUPS 407120 WITH SCORE 407567.146
AT ITER 9165 NEW BEST:: SOT 4976422 SOS 447112 HAS SOPS 440029 HAS SOUS 408379 HAS SOUPS 407115 WITH SCORE 407562.112
AT ITER 9166 NEW BEST:: SOT 4974543 SOS 455039 HAS SOPS 447956 HAS SOUS 407789 HAS SOUPS 406525 WITH SCORE 406980.039
AT ITER 9190 NEW BEST:: SOT 4974503 SOS 454959 HAS SOPS 447876 HAS SOUS 407709 HAS SOUPS 406445 WITH SCORE 406899.959
AT ITER 9215 NEW BEST:: SOT 4974462 SOS 454918 HAS SOPS 447835 HAS SOUS 407668 HAS SOUPS 406404 WITH SCORE 406858.918
AT ITER 9263 NEW BEST:: SOT 4974421 SOS 454877 HAS SOPS 447794 HAS SOUS 407607 HAS SOUPS 406343 WITH SCORE 406797.877
AT ITER 9280 NEW BEST:: SOT 4974421 SOS 454843 HAS SOPS 447760 HAS SOUS 407573 HAS SOUPS 406309 WITH SCORE 406763.843
AT ITER 9308 NEW BEST:: SOT 4974421 SOS 454840 HAS SOPS 447757 HAS SOUS 407570 HAS SOUPS 406306 WITH SCORE 406760.84
AT ITER 9312 NEW BEST:: SOT 4974329 SOS 454812 HAS SOPS 447729 HAS SOUS 407559 HAS SOUPS 406295 WITH SCORE 406749.812
AT ITER 9392 NEW BEST:: SOT 4974349 SOS 454803 HAS SOPS 447720 HAS SOUS 407543 HAS SOUPS 406279 WITH SCORE 406733.803
AT ITER 9411 NEW BEST:: SOT 4974349 SOS 454767 HAS SOPS 447684 HAS SOUS 407507 HAS SOUPS 406243 WITH SCORE 406697.767
AT ITER 9532 NEW BEST:: SOT 4974287 SOS 454642 HAS SOPS 447559 HAS SOUS 407382 HAS SOUPS 406118 WITH SCORE 406572.642
AT ITER 9575 NEW BEST:: SOT 4974287 SOS 454627 HAS SOPS 447544 HAS SOUS 407367 HAS SOUPS 406103 WITH SCORE 406557.627
AT ITER 9579 NEW BEST:: SOT 4974284 SOS 454588 HAS SOPS 447505 HAS SOUS 407328 HAS SOUPS 406064 WITH SCORE 406518.588
AT ITER 9593 NEW BEST:: SOT 4973873 SOS 455239 HAS SOPS 448156 HAS SOUS 406969 HAS SOUPS 405705 WITH SCORE 406160.239
AT ITER 9602 NEW BEST:: SOT 4973858 SOS 455196 HAS SOPS 448113 HAS SOUS 406926 HAS SOUPS 405662 WITH SCORE 406117.196
AT ITER 9680 NEW BEST:: SOT 4973806 SOS 455144 HAS SOPS 448061 HAS SOUS 406842 HAS SOUPS 405578 WITH SCORE 406033.144
AT ITER 9687 NEW BEST:: SOT 4973806 SOS 455104 HAS SOPS 448021 HAS SOUS 406822 HAS SOUPS 405558 WITH SCORE 406013.104
AT ITER 9701 NEW BEST:: SOT 4973792 SOS 455075 HAS SOPS 447992 HAS SOUS 406793 HAS SOUPS 405529 WITH SCORE 405984.075
AT ITER 9731 NEW BEST:: SOT 4973792 SOS 455016 HAS SOPS 447933 HAS SOUS 406774 HAS SOUPS 405510 WITH SCORE 405965.016
AT ITER 9758 NEW BEST:: SOT 4973792 SOS 454972 HAS SOPS 447889 HAS SOUS 406730 HAS SOUPS 405466 WITH SCORE 405920.972
AT ITER 9846 NEW BEST:: SOT 4973792 SOS 454968 HAS SOPS 447885 HAS SOUS 406726 HAS SOUPS 405462 WITH SCORE 405916.968
AT ITER 9855 NEW BEST:: SOT 4973805 SOS 454906 HAS SOPS 447823 HAS SOUS 406664 HAS SOUPS 405400 WITH SCORE 405854.906
AT ITER 9866 NEW BEST:: SOT 4973805 SOS 454843 HAS SOPS 447760 HAS SOUS 406601 HAS SOUPS 405337 WITH SCORE 405791.843
AT ITER 9874 NEW BEST:: SOT 4973764 SOS 454802 HAS SOPS 447719 HAS SOUS 406560 HAS SOUPS 405296 WITH SCORE 405750.802
AT ITER 9898 NEW BEST:: SOT 4973764 SOS 454742 HAS SOPS 447659 HAS SOUS 406540 HAS SOUPS 405276 WITH SCORE 405730.742
AT ITER 9900 NEW BEST:: SOT 4973764 SOS 454713 HAS SOPS 447630 HAS SOUS 406511 HAS SOUPS 405247 WITH SCORE 405701.713
AT ITER 9924 NEW BEST:: SOT 4973755 SOS 454704 HAS SOPS 447621 HAS SOUS 406493 HAS SOUPS 405229 WITH SCORE 405683.704
AT ITER 9984 NEW BEST:: SOT 4973795 SOS 454695 HAS SOPS 447612 HAS SOUS 406484 HAS SOUPS 405220 WITH SCORE 405674.695
AT ITER 9987 NEW BEST:: SOT 4973667 SOS 454706 HAS SOPS 447623 HAS SOUS 406474 HAS SOUPS 405210 WITH SCORE 405664.706
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14575856 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114548 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-PT-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-PT-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-167838858500408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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