Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979500288.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-020B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979500288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 636K
-rw-r--r-- 1 mcc users 7.0K Feb 25 23:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 23:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 23:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 23:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 23:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 23:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 23:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 23:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 239K Mar 5 18:23 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 1679383650287

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=ShieldRVt-PT-020B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:27:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:27:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:27:32] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2023-03-21 07:27:32] [INFO ] Transformed 1003 places.
[2023-03-21 07:27:32] [INFO ] Transformed 1003 transitions.
[2023-03-21 07:27:32] [INFO ] Found NUPN structural information;
[2023-03-21 07:27:32] [INFO ] Parsed PT model containing 1003 places and 1003 transitions and 2366 arcs in 148 ms.
[2023-03-21 07:27:32] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1003 places, 1003 transitions and 2366 arcs took 10 ms.
Total runtime 187 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 020B
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: 1003 places, 1003 transitions, 2366 arcs.
AT ITER 0 NEW BEST:: SOT 515077 SOS 45056 HAS SOPS 45056 HAS SOUS 41787 HAS SOUPS 41787 WITH SCORE 41832.056
AT ITER 21 NEW BEST:: SOT 515077 SOS 45030 HAS SOPS 45030 HAS SOUS 41761 HAS SOUPS 41761 WITH SCORE 41806.03
AT ITER 31 NEW BEST:: SOT 515077 SOS 45030 HAS SOPS 45030 HAS SOUS 41760 HAS SOUPS 41760 WITH SCORE 41805.03
AT ITER 119 NEW BEST:: SOT 515065 SOS 45018 HAS SOPS 45018 HAS SOUS 41748 HAS SOUPS 41748 WITH SCORE 41793.018
AT ITER 194 NEW BEST:: SOT 515065 SOS 44997 HAS SOPS 44997 HAS SOUS 41727 HAS SOUPS 41727 WITH SCORE 41771.997
AT ITER 211 NEW BEST:: SOT 515045 SOS 44931 HAS SOPS 44931 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41725.931
AT ITER 212 NEW BEST:: SOT 515045 SOS 44931 HAS SOPS 44931 HAS SOUS 41664 HAS SOUPS 41664 WITH SCORE 41708.931
AT ITER 267 NEW BEST:: SOT 515045 SOS 44930 HAS SOPS 44930 HAS SOUS 41663 HAS SOUPS 41663 WITH SCORE 41707.93
AT ITER 309 NEW BEST:: SOT 515045 SOS 44929 HAS SOPS 44929 HAS SOUS 41662 HAS SOUPS 41662 WITH SCORE 41706.929
AT ITER 345 NEW BEST:: SOT 515045 SOS 44928 HAS SOPS 44928 HAS SOUS 41661 HAS SOUPS 41661 WITH SCORE 41705.928
AT ITER 381 NEW BEST:: SOT 515052 SOS 44903 HAS SOPS 44903 HAS SOUS 41636 HAS SOUPS 41636 WITH SCORE 41680.903
AT ITER 400 NEW BEST:: SOT 515072 SOS 44877 HAS SOPS 44877 HAS SOUS 41623 HAS SOUPS 41623 WITH SCORE 41667.877
AT ITER 497 NEW BEST:: SOT 515089 SOS 44843 HAS SOPS 44843 HAS SOUS 41597 HAS SOUPS 41597 WITH SCORE 41641.843
AT ITER 508 NEW BEST:: SOT 515087 SOS 44839 HAS SOPS 44839 HAS SOUS 41593 HAS SOUPS 41593 WITH SCORE 41637.839
AT ITER 535 NEW BEST:: SOT 515087 SOS 44825 HAS SOPS 44825 HAS SOUS 41593 HAS SOUPS 41593 WITH SCORE 41637.825
AT ITER 544 NEW BEST:: SOT 515078 SOS 44777 HAS SOPS 44777 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41598.777
AT ITER 557 NEW BEST:: SOT 515092 SOS 44744 HAS SOPS 44744 HAS SOUS 41538 HAS SOUPS 41538 WITH SCORE 41582.744
AT ITER 644 NEW BEST:: SOT 515092 SOS 44722 HAS SOPS 44722 HAS SOUS 41525 HAS SOUPS 41525 WITH SCORE 41569.722
AT ITER 668 NEW BEST:: SOT 515092 SOS 44715 HAS SOPS 44715 HAS SOUS 41518 HAS SOUPS 41518 WITH SCORE 41562.715
AT ITER 728 NEW BEST:: SOT 515091 SOS 44676 HAS SOPS 44676 HAS SOUS 41516 HAS SOUPS 41516 WITH SCORE 41560.676
AT ITER 792 NEW BEST:: SOT 515091 SOS 44660 HAS SOPS 44660 HAS SOUS 41500 HAS SOUPS 41500 WITH SCORE 41544.66
AT ITER 825 NEW BEST:: SOT 515065 SOS 44574 HAS SOPS 44574 HAS SOUS 41382 HAS SOUPS 41382 WITH SCORE 41426.574
AT ITER 857 NEW BEST:: SOT 515057 SOS 44517 HAS SOPS 44517 HAS SOUS 41333 HAS SOUPS 41333 WITH SCORE 41377.517
AT ITER 880 NEW BEST:: SOT 515056 SOS 44512 HAS SOPS 44512 HAS SOUS 41331 HAS SOUPS 41331 WITH SCORE 41375.512
AT ITER 914 NEW BEST:: SOT 515016 SOS 44503 HAS SOPS 44503 HAS SOUS 41290 HAS SOUPS 41290 WITH SCORE 41334.503
AT ITER 918 NEW BEST:: SOT 514971 SOS 44507 HAS SOPS 44507 HAS SOUS 41242 HAS SOUPS 41242 WITH SCORE 41286.507
AT ITER 952 NEW BEST:: SOT 514963 SOS 44475 HAS SOPS 44475 HAS SOUS 41218 HAS SOUPS 41218 WITH SCORE 41262.475
AT ITER 955 NEW BEST:: SOT 514963 SOS 44472 HAS SOPS 44472 HAS SOUS 41215 HAS SOUPS 41215 WITH SCORE 41259.472
AT ITER 963 NEW BEST:: SOT 514935 SOS 44416 HAS SOPS 44416 HAS SOUS 41159 HAS SOUPS 41159 WITH SCORE 41203.416
AT ITER 994 NEW BEST:: SOT 514935 SOS 44439 HAS SOPS 44439 HAS SOUS 41155 HAS SOUPS 41155 WITH SCORE 41199.439
AT ITER 1080 NEW BEST:: SOT 514881 SOS 44411 HAS SOPS 44411 HAS SOUS 41112 HAS SOUPS 41112 WITH SCORE 41156.411
AT ITER 1132 NEW BEST:: SOT 514877 SOS 44399 HAS SOPS 44399 HAS SOUS 41100 HAS SOUPS 41100 WITH SCORE 41144.399
AT ITER 1159 NEW BEST:: SOT 514877 SOS 44395 HAS SOPS 44395 HAS SOUS 41096 HAS SOUPS 41096 WITH SCORE 41140.395
AT ITER 1174 NEW BEST:: SOT 514877 SOS 44381 HAS SOPS 44381 HAS SOUS 41082 HAS SOUPS 41082 WITH SCORE 41126.381
AT ITER 1189 NEW BEST:: SOT 514882 SOS 44372 HAS SOPS 44372 HAS SOUS 41073 HAS SOUPS 41073 WITH SCORE 41117.372
AT ITER 1227 NEW BEST:: SOT 514882 SOS 44354 HAS SOPS 44354 HAS SOUS 41052 HAS SOUPS 41052 WITH SCORE 41096.354
AT ITER 1247 NEW BEST:: SOT 514881 SOS 44344 HAS SOPS 44344 HAS SOUS 41050 HAS SOUPS 41050 WITH SCORE 41094.344
AT ITER 1253 NEW BEST:: SOT 514881 SOS 44344 HAS SOPS 44344 HAS SOUS 41037 HAS SOUPS 41037 WITH SCORE 41081.344
AT ITER 1261 NEW BEST:: SOT 514902 SOS 44308 HAS SOPS 44308 HAS SOUS 41019 HAS SOUPS 41019 WITH SCORE 41063.308
AT ITER 1286 NEW BEST:: SOT 514902 SOS 44308 HAS SOPS 44308 HAS SOUS 41016 HAS SOUPS 41016 WITH SCORE 41060.308
AT ITER 1293 NEW BEST:: SOT 514923 SOS 44350 HAS SOPS 44350 HAS SOUS 41006 HAS SOUPS 41006 WITH SCORE 41050.35
AT ITER 1334 NEW BEST:: SOT 514923 SOS 44332 HAS SOPS 44332 HAS SOUS 40988 HAS SOUPS 40988 WITH SCORE 41032.332
AT ITER 1358 NEW BEST:: SOT 514895 SOS 44304 HAS SOPS 44304 HAS SOUS 40960 HAS SOUPS 40960 WITH SCORE 41004.304
AT ITER 1403 NEW BEST:: SOT 514895 SOS 44301 HAS SOPS 44301 HAS SOUS 40957 HAS SOUPS 40957 WITH SCORE 41001.301
AT ITER 1487 NEW BEST:: SOT 514897 SOS 44289 HAS SOPS 44289 HAS SOUS 40944 HAS SOUPS 40944 WITH SCORE 40988.289
AT ITER 1517 NEW BEST:: SOT 514891 SOS 44304 HAS SOPS 44304 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 40955.304
AT ITER 1522 NEW BEST:: SOT 514913 SOS 44212 HAS SOPS 44212 HAS SOUS 40906 HAS SOUPS 40906 WITH SCORE 40950.212
AT ITER 1564 NEW BEST:: SOT 514884 SOS 44125 HAS SOPS 44125 HAS SOUS 40819 HAS SOUPS 40819 WITH SCORE 40863.125
AT ITER 1592 NEW BEST:: SOT 514884 SOS 44071 HAS SOPS 44071 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40836.071
AT ITER 1606 NEW BEST:: SOT 514850 SOS 44003 HAS SOPS 44003 HAS SOUS 40724 HAS SOUPS 40724 WITH SCORE 40768.003
AT ITER 1631 NEW BEST:: SOT 514847 SOS 43997 HAS SOPS 43997 HAS SOUS 40718 HAS SOUPS 40718 WITH SCORE 40761.997
AT ITER 1640 NEW BEST:: SOT 514842 SOS 43989 HAS SOPS 43989 HAS SOUS 40710 HAS SOUPS 40710 WITH SCORE 40753.989
AT ITER 1788 NEW BEST:: SOT 514834 SOS 43973 HAS SOPS 43973 HAS SOUS 40702 HAS SOUPS 40702 WITH SCORE 40745.973
AT ITER 1796 NEW BEST:: SOT 514834 SOS 43959 HAS SOPS 43959 HAS SOUS 40687 HAS SOUPS 40687 WITH SCORE 40730.959
AT ITER 1829 NEW BEST:: SOT 514819 SOS 43929 HAS SOPS 43929 HAS SOUS 40657 HAS SOUPS 40657 WITH SCORE 40700.929
AT ITER 1873 NEW BEST:: SOT 514818 SOS 43900 HAS SOPS 43900 HAS SOUS 40600 HAS SOUPS 40600 WITH SCORE 40643.9
AT ITER 1904 NEW BEST:: SOT 514790 SOS 43797 HAS SOPS 43797 HAS SOUS 40525 HAS SOUPS 40525 WITH SCORE 40568.797
AT ITER 1915 NEW BEST:: SOT 514790 SOS 43797 HAS SOPS 43797 HAS SOUS 40522 HAS SOUPS 40522 WITH SCORE 40565.797
AT ITER 1927 NEW BEST:: SOT 514790 SOS 43797 HAS SOPS 43797 HAS SOUS 40500 HAS SOUPS 40500 WITH SCORE 40543.797
AT ITER 1962 NEW BEST:: SOT 514786 SOS 43789 HAS SOPS 43789 HAS SOUS 40492 HAS SOUPS 40492 WITH SCORE 40535.789
AT ITER 1972 NEW BEST:: SOT 514786 SOS 43789 HAS SOPS 43789 HAS SOUS 40457 HAS SOUPS 40457 WITH SCORE 40500.789
AT ITER 1980 NEW BEST:: SOT 514775 SOS 43788 HAS SOPS 43788 HAS SOUS 40456 HAS SOUPS 40456 WITH SCORE 40499.788
AT ITER 2019 NEW BEST:: SOT 514769 SOS 43776 HAS SOPS 43776 HAS SOUS 40447 HAS SOUPS 40447 WITH SCORE 40490.776
AT ITER 2031 NEW BEST:: SOT 514768 SOS 43743 HAS SOPS 43743 HAS SOUS 40445 HAS SOUPS 40445 WITH SCORE 40488.743
AT ITER 2057 NEW BEST:: SOT 514768 SOS 43741 HAS SOPS 43741 HAS SOUS 40443 HAS SOUPS 40443 WITH SCORE 40486.741
AT ITER 2087 NEW BEST:: SOT 514781 SOS 43706 HAS SOPS 43706 HAS SOUS 40439 HAS SOUPS 40439 WITH SCORE 40482.706
AT ITER 2108 NEW BEST:: SOT 514781 SOS 43706 HAS SOPS 43706 HAS SOUS 40420 HAS SOUPS 40420 WITH SCORE 40463.706
AT ITER 2219 NEW BEST:: SOT 514780 SOS 43672 HAS SOPS 43672 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40461.672
AT ITER 2259 NEW BEST:: SOT 514780 SOS 43671 HAS SOPS 43671 HAS SOUS 40417 HAS SOUPS 40417 WITH SCORE 40460.671
AT ITER 2293 NEW BEST:: SOT 514777 SOS 43665 HAS SOPS 43665 HAS SOUS 40414 HAS SOUPS 40414 WITH SCORE 40457.665
AT ITER 2302 NEW BEST:: SOT 514777 SOS 43659 HAS SOPS 43659 HAS SOUS 40405 HAS SOUPS 40405 WITH SCORE 40448.659
AT ITER 2391 NEW BEST:: SOT 514777 SOS 43656 HAS SOPS 43656 HAS SOUS 40402 HAS SOUPS 40402 WITH SCORE 40445.656
AT ITER 2419 NEW BEST:: SOT 514776 SOS 43592 HAS SOPS 43592 HAS SOUS 40369 HAS SOUPS 40369 WITH SCORE 40412.592
AT ITER 2438 NEW BEST:: SOT 514769 SOS 43606 HAS SOPS 43606 HAS SOUS 40362 HAS SOUPS 40362 WITH SCORE 40405.606
AT ITER 2453 NEW BEST:: SOT 514769 SOS 43582 HAS SOPS 43582 HAS SOUS 40337 HAS SOUPS 40337 WITH SCORE 40380.582
AT ITER 2534 NEW BEST:: SOT 514727 SOS 43604 HAS SOPS 43604 HAS SOUS 40332 HAS SOUPS 40332 WITH SCORE 40375.604
AT ITER 2580 NEW BEST:: SOT 514765 SOS 43641 HAS SOPS 43641 HAS SOUS 40331 HAS SOUPS 40331 WITH SCORE 40374.641
AT ITER 2585 NEW BEST:: SOT 514765 SOS 43641 HAS SOPS 43641 HAS SOUS 40312 HAS SOUPS 40312 WITH SCORE 40355.641
AT ITER 2589 NEW BEST:: SOT 514778 SOS 43651 HAS SOPS 43651 HAS SOUS 40309 HAS SOUPS 40309 WITH SCORE 40352.651
AT ITER 2591 NEW BEST:: SOT 514780 SOS 43632 HAS SOPS 43632 HAS SOUS 40307 HAS SOUPS 40307 WITH SCORE 40350.632
AT ITER 2656 NEW BEST:: SOT 514780 SOS 43629 HAS SOPS 43629 HAS SOUS 40301 HAS SOUPS 40301 WITH SCORE 40344.629
AT ITER 2774 NEW BEST:: SOT 514780 SOS 43629 HAS SOPS 43629 HAS SOUS 40298 HAS SOUPS 40298 WITH SCORE 40341.629
AT ITER 2804 NEW BEST:: SOT 514780 SOS 43596 HAS SOPS 43596 HAS SOUS 40265 HAS SOUPS 40265 WITH SCORE 40308.596
AT ITER 2811 NEW BEST:: SOT 514812 SOS 43660 HAS SOPS 43660 HAS SOUS 40245 HAS SOUPS 40245 WITH SCORE 40288.66
AT ITER 2826 NEW BEST:: SOT 514812 SOS 43669 HAS SOPS 43669 HAS SOUS 40242 HAS SOUPS 40242 WITH SCORE 40285.669
AT ITER 2855 NEW BEST:: SOT 514812 SOS 43659 HAS SOPS 43659 HAS SOUS 40236 HAS SOUPS 40236 WITH SCORE 40279.659
AT ITER 2904 NEW BEST:: SOT 514846 SOS 43603 HAS SOPS 43603 HAS SOUS 40218 HAS SOUPS 40218 WITH SCORE 40261.603
AT ITER 2965 NEW BEST:: SOT 514826 SOS 43533 HAS SOPS 43533 HAS SOUS 40168 HAS SOUPS 40168 WITH SCORE 40211.533
AT ITER 2969 NEW BEST:: SOT 514801 SOS 43530 HAS SOPS 43530 HAS SOUS 40140 HAS SOUPS 40140 WITH SCORE 40183.53
AT ITER 2979 NEW BEST:: SOT 514795 SOS 43486 HAS SOPS 43486 HAS SOUS 40070 HAS SOUPS 40070 WITH SCORE 40113.486
AT ITER 3019 NEW BEST:: SOT 514789 SOS 43480 HAS SOPS 43480 HAS SOUS 40064 HAS SOUPS 40064 WITH SCORE 40107.48
AT ITER 3065 NEW BEST:: SOT 514778 SOS 43446 HAS SOPS 43446 HAS SOUS 40016 HAS SOUPS 40016 WITH SCORE 40059.446
AT ITER 3112 NEW BEST:: SOT 514777 SOS 43376 HAS SOPS 43376 HAS SOUS 39980 HAS SOUPS 39980 WITH SCORE 40023.376
AT ITER 3136 NEW BEST:: SOT 514770 SOS 43362 HAS SOPS 43362 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40013.362
AT ITER 3177 NEW BEST:: SOT 514742 SOS 43299 HAS SOPS 43299 HAS SOUS 39907 HAS SOUPS 39907 WITH SCORE 39950.299
AT ITER 3193 NEW BEST:: SOT 514728 SOS 43238 HAS SOPS 43238 HAS SOUS 39870 HAS SOUPS 39870 WITH SCORE 39913.238
AT ITER 3267 NEW BEST:: SOT 514683 SOS 43193 HAS SOPS 43193 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39868.193
AT ITER 3271 NEW BEST:: SOT 514657 SOS 43167 HAS SOPS 43167 HAS SOUS 39799 HAS SOUPS 39799 WITH SCORE 39842.167
AT ITER 3309 NEW BEST:: SOT 514655 SOS 43168 HAS SOPS 43168 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39833.168
AT ITER 3326 NEW BEST:: SOT 514627 SOS 43103 HAS SOPS 43103 HAS SOUS 39725 HAS SOUPS 39725 WITH SCORE 39768.103
AT ITER 3404 NEW BEST:: SOT 514616 SOS 43081 HAS SOPS 43081 HAS SOUS 39684 HAS SOUPS 39684 WITH SCORE 39727.081
AT ITER 3406 NEW BEST:: SOT 514596 SOS 43068 HAS SOPS 43068 HAS SOUS 39671 HAS SOUPS 39671 WITH SCORE 39714.068
AT ITER 3412 NEW BEST:: SOT 514595 SOS 43044 HAS SOPS 43044 HAS SOUS 39669 HAS SOUPS 39669 WITH SCORE 39712.044
AT ITER 3458 NEW BEST:: SOT 514595 SOS 43005 HAS SOPS 43005 HAS SOUS 39630 HAS SOUPS 39630 WITH SCORE 39673.005
AT ITER 3493 NEW BEST:: SOT 514574 SOS 42984 HAS SOPS 42984 HAS SOUS 39609 HAS SOUPS 39609 WITH SCORE 39651.984
AT ITER 3523 NEW BEST:: SOT 514570 SOS 42972 HAS SOPS 42972 HAS SOUS 39601 HAS SOUPS 39601 WITH SCORE 39643.972
AT ITER 3577 NEW BEST:: SOT 514546 SOS 42871 HAS SOPS 42871 HAS SOUS 39467 HAS SOUPS 39467 WITH SCORE 39509.871
AT ITER 3652 NEW BEST:: SOT 514558 SOS 42854 HAS SOPS 42854 HAS SOUS 39467 HAS SOUPS 39467 WITH SCORE 39509.854
AT ITER 3656 NEW BEST:: SOT 514548 SOS 42834 HAS SOPS 42834 HAS SOUS 39447 HAS SOUPS 39447 WITH SCORE 39489.834
AT ITER 3701 NEW BEST:: SOT 514559 SOS 42820 HAS SOPS 42820 HAS SOUS 39430 HAS SOUPS 39430 WITH SCORE 39472.82
AT ITER 3714 NEW BEST:: SOT 514539 SOS 42780 HAS SOPS 42780 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39432.78
AT ITER 3756 NEW BEST:: SOT 514566 SOS 42758 HAS SOPS 42758 HAS SOUS 39385 HAS SOUPS 39385 WITH SCORE 39427.758
AT ITER 3781 NEW BEST:: SOT 514566 SOS 42752 HAS SOPS 42752 HAS SOUS 39379 HAS SOUPS 39379 WITH SCORE 39421.752
AT ITER 3808 NEW BEST:: SOT 514559 SOS 42698 HAS SOPS 42698 HAS SOUS 39333 HAS SOUPS 39333 WITH SCORE 39375.698
AT ITER 3816 NEW BEST:: SOT 514570 SOS 42709 HAS SOPS 42709 HAS SOUS 39332 HAS SOUPS 39332 WITH SCORE 39374.709
AT ITER 3829 NEW BEST:: SOT 514570 SOS 42703 HAS SOPS 42703 HAS SOUS 39326 HAS SOUPS 39326 WITH SCORE 39368.703
AT ITER 3849 NEW BEST:: SOT 514564 SOS 42691 HAS SOPS 42691 HAS SOUS 39320 HAS SOUPS 39320 WITH SCORE 39362.691
AT ITER 3865 NEW BEST:: SOT 514564 SOS 42674 HAS SOPS 42674 HAS SOUS 39303 HAS SOUPS 39303 WITH SCORE 39345.674
AT ITER 3891 NEW BEST:: SOT 514533 SOS 42612 HAS SOPS 42612 HAS SOUS 39241 HAS SOUPS 39241 WITH SCORE 39283.612
AT ITER 3923 NEW BEST:: SOT 514533 SOS 42573 HAS SOPS 42573 HAS SOUS 39202 HAS SOUPS 39202 WITH SCORE 39244.573
AT ITER 3925 NEW BEST:: SOT 514503 SOS 42566 HAS SOPS 42566 HAS SOUS 39192 HAS SOUPS 39192 WITH SCORE 39234.566
AT ITER 4052 NEW BEST:: SOT 514503 SOS 42563 HAS SOPS 42563 HAS SOUS 39189 HAS SOUPS 39189 WITH SCORE 39231.563
AT ITER 4063 NEW BEST:: SOT 514507 SOS 42560 HAS SOPS 42560 HAS SOUS 39186 HAS SOUPS 39186 WITH SCORE 39228.56
AT ITER 4141 NEW BEST:: SOT 514514 SOS 42567 HAS SOPS 42567 HAS SOUS 39181 HAS SOUPS 39181 WITH SCORE 39223.567
AT ITER 4149 NEW BEST:: SOT 514514 SOS 42543 HAS SOPS 42543 HAS SOUS 39157 HAS SOUPS 39157 WITH SCORE 39199.543
AT ITER 4189 NEW BEST:: SOT 514510 SOS 42531 HAS SOPS 42531 HAS SOUS 39149 HAS SOUPS 39149 WITH SCORE 39191.531
AT ITER 4201 NEW BEST:: SOT 514506 SOS 42529 HAS SOPS 42529 HAS SOUS 39147 HAS SOUPS 39147 WITH SCORE 39189.529
AT ITER 4214 NEW BEST:: SOT 514506 SOS 42514 HAS SOPS 42514 HAS SOUS 39129 HAS SOUPS 39129 WITH SCORE 39171.514
AT ITER 4244 NEW BEST:: SOT 514561 SOS 42555 HAS SOPS 42555 HAS SOUS 39100 HAS SOUPS 39100 WITH SCORE 39142.555
AT ITER 4280 NEW BEST:: SOT 514561 SOS 42547 HAS SOPS 42547 HAS SOUS 39092 HAS SOUPS 39092 WITH SCORE 39134.547
AT ITER 4302 NEW BEST:: SOT 514561 SOS 42545 HAS SOPS 42545 HAS SOUS 39090 HAS SOUPS 39090 WITH SCORE 39132.545
AT ITER 4442 NEW BEST:: SOT 514561 SOS 42545 HAS SOPS 42545 HAS SOUS 39086 HAS SOUPS 39086 WITH SCORE 39128.545
AT ITER 4495 NEW BEST:: SOT 514561 SOS 42505 HAS SOPS 42505 HAS SOUS 39066 HAS SOUPS 39066 WITH SCORE 39108.505
AT ITER 4542 NEW BEST:: SOT 514560 SOS 42461 HAS SOPS 42461 HAS SOUS 39061 HAS SOUPS 39061 WITH SCORE 39103.461
AT ITER 4558 NEW BEST:: SOT 514603 SOS 42494 HAS SOPS 42494 HAS SOUS 39051 HAS SOUPS 39051 WITH SCORE 39093.494
AT ITER 4585 NEW BEST:: SOT 514603 SOS 42493 HAS SOPS 42493 HAS SOUS 39050 HAS SOUPS 39050 WITH SCORE 39092.493
AT ITER 4668 NEW BEST:: SOT 514593 SOS 42483 HAS SOPS 42483 HAS SOUS 39037 HAS SOUPS 39037 WITH SCORE 39079.483
AT ITER 4788 NEW BEST:: SOT 514607 SOS 42495 HAS SOPS 42495 HAS SOUS 39035 HAS SOUPS 39035 WITH SCORE 39077.495
AT ITER 4883 NEW BEST:: SOT 514605 SOS 42491 HAS SOPS 42491 HAS SOUS 39031 HAS SOUPS 39031 WITH SCORE 39073.491
AT ITER 4922 NEW BEST:: SOT 514605 SOS 42484 HAS SOPS 42484 HAS SOUS 39024 HAS SOUPS 39024 WITH SCORE 39066.484
AT ITER 5058 NEW BEST:: SOT 514603 SOS 42450 HAS SOPS 42450 HAS SOUS 38971 HAS SOUPS 38971 WITH SCORE 39013.45
AT ITER 5079 NEW BEST:: SOT 514599 SOS 42452 HAS SOPS 42452 HAS SOUS 38967 HAS SOUPS 38967 WITH SCORE 39009.452
AT ITER 5099 NEW BEST:: SOT 514599 SOS 42450 HAS SOPS 42450 HAS SOUS 38965 HAS SOUPS 38965 WITH SCORE 39007.45
AT ITER 5165 NEW BEST:: SOT 514597 SOS 42441 HAS SOPS 42441 HAS SOUS 38956 HAS SOUPS 38956 WITH SCORE 38998.441
AT ITER 5202 NEW BEST:: SOT 514597 SOS 42439 HAS SOPS 42439 HAS SOUS 38954 HAS SOUPS 38954 WITH SCORE 38996.439
AT ITER 5207 NEW BEST:: SOT 514596 SOS 42438 HAS SOPS 42438 HAS SOUS 38954 HAS SOUPS 38954 WITH SCORE 38996.438
AT ITER 5216 NEW BEST:: SOT 514585 SOS 42392 HAS SOPS 42392 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38961.392
AT ITER 5228 NEW BEST:: SOT 514580 SOS 42381 HAS SOPS 42381 HAS SOUS 38908 HAS SOUPS 38908 WITH SCORE 38950.381
AT ITER 5230 NEW BEST:: SOT 514579 SOS 42379 HAS SOPS 42379 HAS SOUS 38906 HAS SOUPS 38906 WITH SCORE 38948.379
AT ITER 5232 NEW BEST:: SOT 514579 SOS 42351 HAS SOPS 42351 HAS SOUS 38893 HAS SOUPS 38893 WITH SCORE 38935.351
AT ITER 5234 NEW BEST:: SOT 514579 SOS 42351 HAS SOPS 42351 HAS SOUS 38872 HAS SOUPS 38872 WITH SCORE 38914.351
AT ITER 5249 NEW BEST:: SOT 514557 SOS 42352 HAS SOPS 42352 HAS SOUS 38850 HAS SOUPS 38850 WITH SCORE 38892.352
AT ITER 5254 NEW BEST:: SOT 514542 SOS 42337 HAS SOPS 42337 HAS SOUS 38835 HAS SOUPS 38835 WITH SCORE 38877.337
AT ITER 5412 NEW BEST:: SOT 514521 SOS 42316 HAS SOPS 42316 HAS SOUS 38814 HAS SOUPS 38814 WITH SCORE 38856.316
AT ITER 5432 NEW BEST:: SOT 514504 SOS 42351 HAS SOPS 42351 HAS SOUS 38809 HAS SOUPS 38809 WITH SCORE 38851.351
AT ITER 5447 NEW BEST:: SOT 514539 SOS 42323 HAS SOPS 42323 HAS SOUS 38807 HAS SOUPS 38807 WITH SCORE 38849.323
AT ITER 5467 NEW BEST:: SOT 514538 SOS 42282 HAS SOPS 42282 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38846.282
AT ITER 5485 NEW BEST:: SOT 514538 SOS 42281 HAS SOPS 42281 HAS SOUS 38803 HAS SOUPS 38803 WITH SCORE 38845.281
AT ITER 5571 NEW BEST:: SOT 514557 SOS 42268 HAS SOPS 42268 HAS SOUS 38790 HAS SOUPS 38790 WITH SCORE 38832.268
AT ITER 5618 NEW BEST:: SOT 514562 SOS 42278 HAS SOPS 42278 HAS SOUS 38773 HAS SOUPS 38773 WITH SCORE 38815.278
AT ITER 5630 NEW BEST:: SOT 514562 SOS 42278 HAS SOPS 42278 HAS SOUS 38767 HAS SOUPS 38767 WITH SCORE 38809.278
AT ITER 5643 NEW BEST:: SOT 514575 SOS 42293 HAS SOPS 42293 HAS SOUS 38732 HAS SOUPS 38732 WITH SCORE 38774.293
AT ITER 5650 NEW BEST:: SOT 514558 SOS 42294 HAS SOPS 42294 HAS SOUS 38686 HAS SOUPS 38686 WITH SCORE 38728.294
AT ITER 5657 NEW BEST:: SOT 514558 SOS 42280 HAS SOPS 42280 HAS SOUS 38672 HAS SOUPS 38672 WITH SCORE 38714.28
AT ITER 5694 NEW BEST:: SOT 514560 SOS 42280 HAS SOPS 42280 HAS SOUS 38670 HAS SOUPS 38670 WITH SCORE 38712.28
AT ITER 5725 NEW BEST:: SOT 514560 SOS 42275 HAS SOPS 42275 HAS SOUS 38665 HAS SOUPS 38665 WITH SCORE 38707.275
AT ITER 5729 NEW BEST:: SOT 514560 SOS 42264 HAS SOPS 42264 HAS SOUS 38665 HAS SOUPS 38665 WITH SCORE 38707.264
AT ITER 5746 NEW BEST:: SOT 514550 SOS 42244 HAS SOPS 42244 HAS SOUS 38655 HAS SOUPS 38655 WITH SCORE 38697.244
AT ITER 5761 NEW BEST:: SOT 514581 SOS 42231 HAS SOPS 42231 HAS SOUS 38642 HAS SOUPS 38642 WITH SCORE 38684.231
AT ITER 5802 NEW BEST:: SOT 514572 SOS 42203 HAS SOPS 42203 HAS SOUS 38623 HAS SOUPS 38623 WITH SCORE 38665.203
AT ITER 5828 NEW BEST:: SOT 514572 SOS 42218 HAS SOPS 42218 HAS SOUS 38622 HAS SOUPS 38622 WITH SCORE 38664.218
AT ITER 5833 NEW BEST:: SOT 514572 SOS 42217 HAS SOPS 42217 HAS SOUS 38621 HAS SOUPS 38621 WITH SCORE 38663.217
AT ITER 5837 NEW BEST:: SOT 514569 SOS 42255 HAS SOPS 42255 HAS SOUS 38618 HAS SOUPS 38618 WITH SCORE 38660.255
AT ITER 5903 NEW BEST:: SOT 514569 SOS 42245 HAS SOPS 42245 HAS SOUS 38613 HAS SOUPS 38613 WITH SCORE 38655.245
AT ITER 5922 NEW BEST:: SOT 514542 SOS 42209 HAS SOPS 42209 HAS SOUS 38555 HAS SOUPS 38555 WITH SCORE 38597.209
AT ITER 5967 NEW BEST:: SOT 514516 SOS 42152 HAS SOPS 42152 HAS SOUS 38493 HAS SOUPS 38493 WITH SCORE 38535.152
AT ITER 6056 NEW BEST:: SOT 514508 SOS 42154 HAS SOPS 42154 HAS SOUS 38484 HAS SOUPS 38484 WITH SCORE 38526.154
AT ITER 6058 NEW BEST:: SOT 514525 SOS 42063 HAS SOPS 42063 HAS SOUS 38453 HAS SOUPS 38453 WITH SCORE 38495.063
AT ITER 6112 NEW BEST:: SOT 514525 SOS 42062 HAS SOPS 42062 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38494.062
AT ITER 6144 NEW BEST:: SOT 514525 SOS 42059 HAS SOPS 42059 HAS SOUS 38433 HAS SOUPS 38433 WITH SCORE 38475.059
AT ITER 6195 NEW BEST:: SOT 514510 SOS 42014 HAS SOPS 42014 HAS SOUS 38388 HAS SOUPS 38388 WITH SCORE 38430.014
AT ITER 6202 NEW BEST:: SOT 514510 SOS 42014 HAS SOPS 42014 HAS SOUS 38352 HAS SOUPS 38352 WITH SCORE 38394.014
AT ITER 6258 NEW BEST:: SOT 514509 SOS 41969 HAS SOPS 41969 HAS SOUS 38350 HAS SOUPS 38350 WITH SCORE 38391.969
AT ITER 6310 NEW BEST:: SOT 514508 SOS 41993 HAS SOPS 41993 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38389.993
AT ITER 6326 NEW BEST:: SOT 514504 SOS 41989 HAS SOPS 41989 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38389.989
AT ITER 6346 NEW BEST:: SOT 514504 SOS 41968 HAS SOPS 41968 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38389.968
AT ITER 6404 NEW BEST:: SOT 514502 SOS 41964 HAS SOPS 41964 HAS SOUS 38344 HAS SOUPS 38344 WITH SCORE 38385.964
AT ITER 6446 NEW BEST:: SOT 514502 SOS 41964 HAS SOPS 41964 HAS SOUS 38331 HAS SOUPS 38331 WITH SCORE 38372.964
AT ITER 6459 NEW BEST:: SOT 514516 SOS 41969 HAS SOPS 41969 HAS SOUS 38299 HAS SOUPS 38299 WITH SCORE 38340.969
AT ITER 6561 NEW BEST:: SOT 514495 SOS 41927 HAS SOPS 41927 HAS SOUS 38238 HAS SOUPS 38238 WITH SCORE 38279.927
AT ITER 6642 NEW BEST:: SOT 514480 SOS 41897 HAS SOPS 41897 HAS SOUS 38211 HAS SOUPS 38211 WITH SCORE 38252.897
AT ITER 6663 NEW BEST:: SOT 514480 SOS 41897 HAS SOPS 41897 HAS SOUS 38202 HAS SOUPS 38202 WITH SCORE 38243.897
AT ITER 6700 NEW BEST:: SOT 514461 SOS 41859 HAS SOPS 41859 HAS SOUS 38134 HAS SOUPS 38134 WITH SCORE 38175.859
AT ITER 6702 NEW BEST:: SOT 514393 SOS 41757 HAS SOPS 41757 HAS SOUS 38067 HAS SOUPS 38067 WITH SCORE 38108.757
AT ITER 6754 NEW BEST:: SOT 514393 SOS 41743 HAS SOPS 41743 HAS SOUS 38053 HAS SOUPS 38053 WITH SCORE 38094.743
AT ITER 6759 NEW BEST:: SOT 514397 SOS 41751 HAS SOPS 41751 HAS SOUS 38037 HAS SOUPS 38037 WITH SCORE 38078.751
AT ITER 6867 NEW BEST:: SOT 514397 SOS 41719 HAS SOPS 41719 HAS SOUS 38024 HAS SOUPS 38024 WITH SCORE 38065.719
AT ITER 6924 NEW BEST:: SOT 514387 SOS 41689 HAS SOPS 41689 HAS SOUS 37994 HAS SOUPS 37994 WITH SCORE 38035.689
AT ITER 6970 NEW BEST:: SOT 514376 SOS 41656 HAS SOPS 41656 HAS SOUS 37983 HAS SOUPS 37983 WITH SCORE 38024.656
AT ITER 7071 NEW BEST:: SOT 514351 SOS 41635 HAS SOPS 41635 HAS SOUS 37958 HAS SOUPS 37958 WITH SCORE 37999.635
AT ITER 7116 NEW BEST:: SOT 514349 SOS 41634 HAS SOPS 41634 HAS SOUS 37957 HAS SOUPS 37957 WITH SCORE 37998.634
AT ITER 7301 NEW BEST:: SOT 514341 SOS 41630 HAS SOPS 41630 HAS SOUS 37953 HAS SOUPS 37953 WITH SCORE 37994.63
AT ITER 7324 NEW BEST:: SOT 514331 SOS 41598 HAS SOPS 41598 HAS SOUS 37943 HAS SOUPS 37943 WITH SCORE 37984.598
AT ITER 7326 NEW BEST:: SOT 514330 SOS 41596 HAS SOPS 41596 HAS SOUS 37936 HAS SOUPS 37936 WITH SCORE 37977.596
AT ITER 7358 NEW BEST:: SOT 514336 SOS 41558 HAS SOPS 41558 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37957.558
AT ITER 7384 NEW BEST:: SOT 514334 SOS 41514 HAS SOPS 41514 HAS SOUS 37872 HAS SOUPS 37872 WITH SCORE 37913.514
AT ITER 7460 NEW BEST:: SOT 514309 SOS 41415 HAS SOPS 41415 HAS SOUS 37843 HAS SOUPS 37843 WITH SCORE 37884.415
AT ITER 7530 NEW BEST:: SOT 514306 SOS 41409 HAS SOPS 41409 HAS SOUS 37840 HAS SOUPS 37840 WITH SCORE 37881.409
AT ITER 7589 NEW BEST:: SOT 514295 SOS 41357 HAS SOPS 41357 HAS SOUS 37818 HAS SOUPS 37818 WITH SCORE 37859.357
AT ITER 7700 NEW BEST:: SOT 514281 SOS 41345 HAS SOPS 41345 HAS SOUS 37806 HAS SOUPS 37806 WITH SCORE 37847.345
AT ITER 7709 NEW BEST:: SOT 514289 SOS 41344 HAS SOPS 41344 HAS SOUS 37805 HAS SOUPS 37805 WITH SCORE 37846.344
AT ITER 7736 NEW BEST:: SOT 514285 SOS 41313 HAS SOPS 41313 HAS SOUS 37774 HAS SOUPS 37774 WITH SCORE 37815.313
AT ITER 7777 NEW BEST:: SOT 514284 SOS 41312 HAS SOPS 41312 HAS SOUS 37773 HAS SOUPS 37773 WITH SCORE 37814.312
AT ITER 7824 NEW BEST:: SOT 514283 SOS 41287 HAS SOPS 41287 HAS SOUS 37771 HAS SOUPS 37771 WITH SCORE 37812.287
AT ITER 7831 NEW BEST:: SOT 514283 SOS 41286 HAS SOPS 41286 HAS SOUS 37770 HAS SOUPS 37770 WITH SCORE 37811.286
AT ITER 7868 NEW BEST:: SOT 514338 SOS 41318 HAS SOPS 41318 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37776.318
AT ITER 7934 NEW BEST:: SOT 514324 SOS 41290 HAS SOPS 41290 HAS SOUS 37721 HAS SOUPS 37721 WITH SCORE 37762.29
AT ITER 7960 NEW BEST:: SOT 514324 SOS 41257 HAS SOPS 41257 HAS SOUS 37721 HAS SOUPS 37721 WITH SCORE 37762.257
AT ITER 7965 NEW BEST:: SOT 514324 SOS 41248 HAS SOPS 41248 HAS SOUS 37716 HAS SOUPS 37716 WITH SCORE 37757.248
AT ITER 7980 NEW BEST:: SOT 514323 SOS 41244 HAS SOPS 41244 HAS SOUS 37713 HAS SOUPS 37713 WITH SCORE 37754.244
AT ITER 7991 NEW BEST:: SOT 514279 SOS 41156 HAS SOPS 41156 HAS SOUS 37625 HAS SOUPS 37625 WITH SCORE 37666.156
AT ITER 8015 NEW BEST:: SOT 514252 SOS 41056 HAS SOPS 41056 HAS SOUS 37523 HAS SOUPS 37523 WITH SCORE 37564.056
AT ITER 8044 NEW BEST:: SOT 514214 SOS 40980 HAS SOPS 40980 HAS SOUS 37466 HAS SOUPS 37466 WITH SCORE 37506.98
AT ITER 8083 NEW BEST:: SOT 514201 SOS 40905 HAS SOPS 40905 HAS SOUS 37440 HAS SOUPS 37440 WITH SCORE 37480.905
AT ITER 8283 NEW BEST:: SOT 514186 SOS 40805 HAS SOPS 40805 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37401.805
AT ITER 8293 NEW BEST:: SOT 514186 SOS 40779 HAS SOPS 40779 HAS SOUS 37361 HAS SOUPS 37361 WITH SCORE 37401.779
AT ITER 8305 NEW BEST:: SOT 514202 SOS 40757 HAS SOPS 40757 HAS SOUS 37350 HAS SOUPS 37350 WITH SCORE 37390.757
AT ITER 8309 NEW BEST:: SOT 514201 SOS 40755 HAS SOPS 40755 HAS SOUS 37349 HAS SOUPS 37349 WITH SCORE 37389.755
AT ITER 8324 NEW BEST:: SOT 514201 SOS 40755 HAS SOPS 40755 HAS SOUS 37348 HAS SOUPS 37348 WITH SCORE 37388.755
AT ITER 8335 NEW BEST:: SOT 514153 SOS 40690 HAS SOPS 40690 HAS SOUS 37339 HAS SOUPS 37339 WITH SCORE 37379.69
AT ITER 8336 NEW BEST:: SOT 514158 SOS 40700 HAS SOPS 40700 HAS SOUS 37313 HAS SOUPS 37313 WITH SCORE 37353.7
AT ITER 8371 NEW BEST:: SOT 514167 SOS 40680 HAS SOPS 40680 HAS SOUS 37293 HAS SOUPS 37293 WITH SCORE 37333.68
AT ITER 8381 NEW BEST:: SOT 514167 SOS 40679 HAS SOPS 40679 HAS SOUS 37292 HAS SOUPS 37292 WITH SCORE 37332.679
AT ITER 8442 NEW BEST:: SOT 514158 SOS 40674 HAS SOPS 40674 HAS SOUS 37283 HAS SOUPS 37283 WITH SCORE 37323.674
AT ITER 8519 NEW BEST:: SOT 514153 SOS 40666 HAS SOPS 40666 HAS SOUS 37259 HAS SOUPS 37259 WITH SCORE 37299.666
AT ITER 8547 NEW BEST:: SOT 514123 SOS 40652 HAS SOPS 40652 HAS SOUS 37245 HAS SOUPS 37245 WITH SCORE 37285.652
AT ITER 8627 NEW BEST:: SOT 514123 SOS 40651 HAS SOPS 40651 HAS SOUS 37243 HAS SOUPS 37243 WITH SCORE 37283.651
AT ITER 8651 NEW BEST:: SOT 514106 SOS 40593 HAS SOPS 40593 HAS SOUS 37178 HAS SOUPS 37178 WITH SCORE 37218.593
AT ITER 8690 NEW BEST:: SOT 514103 SOS 40543 HAS SOPS 40543 HAS SOUS 37169 HAS SOUPS 37169 WITH SCORE 37209.543
AT ITER 8756 NEW BEST:: SOT 514102 SOS 40538 HAS SOPS 40538 HAS SOUS 37164 HAS SOUPS 37164 WITH SCORE 37204.538
AT ITER 8790 NEW BEST:: SOT 514097 SOS 40535 HAS SOPS 40535 HAS SOUS 37161 HAS SOUPS 37161 WITH SCORE 37201.535
AT ITER 8796 NEW BEST:: SOT 514109 SOS 40533 HAS SOPS 40533 HAS SOUS 37159 HAS SOUPS 37159 WITH SCORE 37199.533
AT ITER 8804 NEW BEST:: SOT 514096 SOS 40497 HAS SOPS 40497 HAS SOUS 37102 HAS SOUPS 37102 WITH SCORE 37142.497
AT ITER 8861 NEW BEST:: SOT 514100 SOS 40460 HAS SOPS 40460 HAS SOUS 37096 HAS SOUPS 37096 WITH SCORE 37136.46
AT ITER 8987 NEW BEST:: SOT 514071 SOS 40437 HAS SOPS 40437 HAS SOUS 37067 HAS SOUPS 37067 WITH SCORE 37107.437
AT ITER 9005 NEW BEST:: SOT 514032 SOS 40447 HAS SOPS 40447 HAS SOUS 37028 HAS SOUPS 37028 WITH SCORE 37068.447
AT ITER 9019 NEW BEST:: SOT 514032 SOS 40447 HAS SOPS 40447 HAS SOUS 37024 HAS SOUPS 37024 WITH SCORE 37064.447
AT ITER 9038 NEW BEST:: SOT 514034 SOS 40423 HAS SOPS 40423 HAS SOUS 37012 HAS SOUPS 37012 WITH SCORE 37052.423
AT ITER 9081 NEW BEST:: SOT 514029 SOS 40394 HAS SOPS 40394 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37023.394
AT ITER 9100 NEW BEST:: SOT 514006 SOS 40389 HAS SOPS 40389 HAS SOUS 36978 HAS SOUPS 36978 WITH SCORE 37018.389
AT ITER 9138 NEW BEST:: SOT 513976 SOS 40389 HAS SOPS 40389 HAS SOUS 36948 HAS SOUPS 36948 WITH SCORE 36988.389
AT ITER 9165 NEW BEST:: SOT 513990 SOS 40417 HAS SOPS 40417 HAS SOUS 36940 HAS SOUPS 36940 WITH SCORE 36980.417
AT ITER 9178 NEW BEST:: SOT 513974 SOS 40408 HAS SOPS 40408 HAS SOUS 36920 HAS SOUPS 36920 WITH SCORE 36960.408
AT ITER 9275 NEW BEST:: SOT 513956 SOS 40403 HAS SOPS 40403 HAS SOUS 36915 HAS SOUPS 36915 WITH SCORE 36955.403
AT ITER 9323 NEW BEST:: SOT 513956 SOS 40422 HAS SOPS 40422 HAS SOUS 36914 HAS SOUPS 36914 WITH SCORE 36954.422
AT ITER 9383 NEW BEST:: SOT 513948 SOS 40414 HAS SOPS 40414 HAS SOUS 36914 HAS SOUPS 36914 WITH SCORE 36954.414
AT ITER 9422 NEW BEST:: SOT 513955 SOS 40374 HAS SOPS 40374 HAS SOUS 36909 HAS SOUPS 36909 WITH SCORE 36949.374
AT ITER 9475 NEW BEST:: SOT 513929 SOS 40322 HAS SOPS 40322 HAS SOUS 36857 HAS SOUPS 36857 WITH SCORE 36897.322
AT ITER 9490 NEW BEST:: SOT 513915 SOS 40294 HAS SOPS 40294 HAS SOUS 36843 HAS SOUPS 36843 WITH SCORE 36883.294
AT ITER 9539 NEW BEST:: SOT 513898 SOS 40283 HAS SOPS 40283 HAS SOUS 36832 HAS SOUPS 36832 WITH SCORE 36872.283
AT ITER 9589 NEW BEST:: SOT 513924 SOS 40320 HAS SOPS 40320 HAS SOUS 36829 HAS SOUPS 36829 WITH SCORE 36869.32
AT ITER 9625 NEW BEST:: SOT 513948 SOS 40236 HAS SOPS 40236 HAS SOUS 36812 HAS SOUPS 36812 WITH SCORE 36852.236
AT ITER 9648 NEW BEST:: SOT 513948 SOS 40227 HAS SOPS 40227 HAS SOUS 36803 HAS SOUPS 36803 WITH SCORE 36843.227
AT ITER 9678 NEW BEST:: SOT 513919 SOS 40185 HAS SOPS 40185 HAS SOUS 36761 HAS SOUPS 36761 WITH SCORE 36801.185
AT ITER 9728 NEW BEST:: SOT 513920 SOS 40187 HAS SOPS 40187 HAS SOUS 36735 HAS SOUPS 36735 WITH SCORE 36775.187
AT ITER 9735 NEW BEST:: SOT 513938 SOS 40184 HAS SOPS 40184 HAS SOUS 36732 HAS SOUPS 36732 WITH SCORE 36772.184
AT ITER 9768 NEW BEST:: SOT 513943 SOS 40194 HAS SOPS 40194 HAS SOUS 36724 HAS SOUPS 36724 WITH SCORE 36764.194
AT ITER 9775 NEW BEST:: SOT 513941 SOS 40172 HAS SOPS 40172 HAS SOUS 36702 HAS SOUPS 36702 WITH SCORE 36742.172
AT ITER 9780 NEW BEST:: SOT 513940 SOS 40129 HAS SOPS 40129 HAS SOUS 36699 HAS SOUPS 36699 WITH SCORE 36739.129
AT ITER 9859 NEW BEST:: SOT 513943 SOS 40101 HAS SOPS 40101 HAS SOUS 36671 HAS SOUPS 36671 WITH SCORE 36711.101
AT ITER 9903 NEW BEST:: SOT 513916 SOS 40139 HAS SOPS 40139 HAS SOUS 36663 HAS SOUPS 36663 WITH SCORE 36703.139
AT ITER 9907 NEW BEST:: SOT 513913 SOS 40133 HAS SOPS 40133 HAS SOUS 36647 HAS SOUPS 36647 WITH SCORE 36687.133
AT ITER 9911 NEW BEST:: SOT 513890 SOS 40089 HAS SOPS 40089 HAS SOUS 36626 HAS SOUPS 36626 WITH SCORE 36666.089
AT ITER 9935 NEW BEST:: SOT 513890 SOS 40069 HAS SOPS 40069 HAS SOUS 36606 HAS SOUPS 36606 WITH SCORE 36646.069
AT ITER 9972 NEW BEST:: SOT 513899 SOS 40004 HAS SOPS 40004 HAS SOUS 36581 HAS SOUPS 36581 WITH SCORE 36621.004
AT ITER 9976 NEW BEST:: SOT 513899 SOS 40000 HAS SOPS 40000 HAS SOUS 36577 HAS SOUPS 36577 WITH SCORE 36617.0
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 7569952 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16125036 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="ShieldRVt-PT-020B"
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 ShieldRVt-PT-020B, 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 r427-tajo-167905979500288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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