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.r395-oct2-167903718600288.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPt-PT-020B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718600288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 25 17:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 17:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 17:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 17:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 17:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 17:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:57 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 338K 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 1679560661824

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=ShieldIIPt-PT-020B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:37:44] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:37:44] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:37:44] [INFO ] Load time of PNML (sax parser for PT used): 151 ms
[2023-03-23 08:37:44] [INFO ] Transformed 1403 places.
[2023-03-23 08:37:44] [INFO ] Transformed 1303 transitions.
[2023-03-23 08:37:44] [INFO ] Found NUPN structural information;
[2023-03-23 08:37:44] [INFO ] Parsed PT model containing 1403 places and 1303 transitions and 3246 arcs in 310 ms.
[2023-03-23 08:37:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1403 places, 1303 transitions and 3246 arcs took 22 ms.
Total runtime 397 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (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: 1403 places, 1303 transitions, 3246 arcs.
AT ITER 0 NEW BEST:: SOT 944271 SOS 87785 HAS SOPS 87785 HAS SOUS 81625 HAS SOUPS 81625 WITH SCORE 81712.785
AT ITER 39 NEW BEST:: SOT 944271 SOS 87737 HAS SOPS 87737 HAS SOUS 81577 HAS SOUPS 81577 WITH SCORE 81664.737
AT ITER 96 NEW BEST:: SOT 944247 SOS 87713 HAS SOPS 87713 HAS SOUS 81577 HAS SOUPS 81577 WITH SCORE 81664.713
AT ITER 98 NEW BEST:: SOT 944214 SOS 87647 HAS SOPS 87647 HAS SOUS 81470 HAS SOUPS 81470 WITH SCORE 81557.647
AT ITER 119 NEW BEST:: SOT 944182 SOS 87645 HAS SOPS 87645 HAS SOUS 81461 HAS SOUPS 81461 WITH SCORE 81548.645
AT ITER 141 NEW BEST:: SOT 944182 SOS 87625 HAS SOPS 87625 HAS SOUS 81440 HAS SOUPS 81440 WITH SCORE 81527.625
AT ITER 152 NEW BEST:: SOT 944131 SOS 87512 HAS SOPS 87512 HAS SOUS 81369 HAS SOUPS 81369 WITH SCORE 81456.512
AT ITER 161 NEW BEST:: SOT 944064 SOS 87480 HAS SOPS 87480 HAS SOUS 81337 HAS SOUPS 81337 WITH SCORE 81424.48
AT ITER 197 NEW BEST:: SOT 944064 SOS 87442 HAS SOPS 87442 HAS SOUS 81299 HAS SOUPS 81299 WITH SCORE 81386.442
AT ITER 260 NEW BEST:: SOT 944073 SOS 87435 HAS SOPS 87435 HAS SOUS 81284 HAS SOUPS 81284 WITH SCORE 81371.435
AT ITER 344 NEW BEST:: SOT 944073 SOS 87417 HAS SOPS 87417 HAS SOUS 81266 HAS SOUPS 81266 WITH SCORE 81353.417
AT ITER 346 NEW BEST:: SOT 944043 SOS 87387 HAS SOPS 87387 HAS SOUS 81236 HAS SOUPS 81236 WITH SCORE 81323.387
AT ITER 355 NEW BEST:: SOT 944043 SOS 87386 HAS SOPS 87386 HAS SOUS 81235 HAS SOUPS 81235 WITH SCORE 81322.386
AT ITER 364 NEW BEST:: SOT 944080 SOS 87351 HAS SOPS 87351 HAS SOUS 81227 HAS SOUPS 81227 WITH SCORE 81314.351
AT ITER 432 NEW BEST:: SOT 944080 SOS 87332 HAS SOPS 87332 HAS SOUS 81208 HAS SOUPS 81208 WITH SCORE 81295.332
AT ITER 454 NEW BEST:: SOT 944049 SOS 87239 HAS SOPS 87239 HAS SOUS 81115 HAS SOUPS 81115 WITH SCORE 81202.239
AT ITER 486 NEW BEST:: SOT 944049 SOS 87231 HAS SOPS 87231 HAS SOUS 81107 HAS SOUPS 81107 WITH SCORE 81194.231
AT ITER 488 NEW BEST:: SOT 944049 SOS 87227 HAS SOPS 87227 HAS SOUS 81103 HAS SOUPS 81103 WITH SCORE 81190.227
AT ITER 584 NEW BEST:: SOT 944025 SOS 87176 HAS SOPS 87176 HAS SOUS 81084 HAS SOUPS 81084 WITH SCORE 81171.176
AT ITER 590 NEW BEST:: SOT 944025 SOS 87158 HAS SOPS 87158 HAS SOUS 81066 HAS SOUPS 81066 WITH SCORE 81153.158
AT ITER 606 NEW BEST:: SOT 943941 SOS 86997 HAS SOPS 86997 HAS SOUS 80939 HAS SOUPS 80939 WITH SCORE 81025.997
AT ITER 646 NEW BEST:: SOT 943959 SOS 87031 HAS SOPS 87031 HAS SOUS 80924 HAS SOUPS 80924 WITH SCORE 81011.031
AT ITER 658 NEW BEST:: SOT 943930 SOS 86922 HAS SOPS 86922 HAS SOUS 80815 HAS SOUPS 80815 WITH SCORE 80901.922
AT ITER 812 NEW BEST:: SOT 943871 SOS 86869 HAS SOPS 86869 HAS SOUS 80691 HAS SOUPS 80691 WITH SCORE 80777.869
AT ITER 831 NEW BEST:: SOT 943870 SOS 86924 HAS SOPS 86924 HAS SOUS 80689 HAS SOUPS 80689 WITH SCORE 80775.924
AT ITER 844 NEW BEST:: SOT 943844 SOS 86851 HAS SOPS 86851 HAS SOUS 80637 HAS SOUPS 80637 WITH SCORE 80723.851
AT ITER 941 NEW BEST:: SOT 943844 SOS 86849 HAS SOPS 86849 HAS SOUS 80634 HAS SOUPS 80634 WITH SCORE 80720.849
AT ITER 944 NEW BEST:: SOT 943844 SOS 86849 HAS SOPS 86849 HAS SOUS 80609 HAS SOUPS 80609 WITH SCORE 80695.849
AT ITER 960 NEW BEST:: SOT 943795 SOS 86795 HAS SOPS 86795 HAS SOUS 80534 HAS SOUPS 80534 WITH SCORE 80620.795
AT ITER 973 NEW BEST:: SOT 943769 SOS 86726 HAS SOPS 86726 HAS SOUS 80465 HAS SOUPS 80465 WITH SCORE 80551.726
AT ITER 1015 NEW BEST:: SOT 943744 SOS 86666 HAS SOPS 86666 HAS SOUS 80405 HAS SOUPS 80405 WITH SCORE 80491.666
AT ITER 1050 NEW BEST:: SOT 943744 SOS 86666 HAS SOPS 86666 HAS SOUS 80399 HAS SOUPS 80399 WITH SCORE 80485.666
AT ITER 1138 NEW BEST:: SOT 943695 SOS 86481 HAS SOPS 86481 HAS SOUS 80295 HAS SOUPS 80295 WITH SCORE 80381.481
AT ITER 1147 NEW BEST:: SOT 943695 SOS 86476 HAS SOPS 86476 HAS SOUS 80290 HAS SOUPS 80290 WITH SCORE 80376.476
AT ITER 1176 NEW BEST:: SOT 943692 SOS 86466 HAS SOPS 86466 HAS SOUS 80284 HAS SOUPS 80284 WITH SCORE 80370.466
AT ITER 1198 NEW BEST:: SOT 943687 SOS 86452 HAS SOPS 86452 HAS SOUS 80270 HAS SOUPS 80270 WITH SCORE 80356.452
AT ITER 1263 NEW BEST:: SOT 943644 SOS 86323 HAS SOPS 86323 HAS SOUS 80184 HAS SOUPS 80184 WITH SCORE 80270.323
AT ITER 1272 NEW BEST:: SOT 943642 SOS 86320 HAS SOPS 86320 HAS SOUS 80181 HAS SOUPS 80181 WITH SCORE 80267.32
AT ITER 1276 NEW BEST:: SOT 943642 SOS 86289 HAS SOPS 86289 HAS SOUS 80148 HAS SOUPS 80148 WITH SCORE 80234.289
AT ITER 1349 NEW BEST:: SOT 943641 SOS 86272 HAS SOPS 86272 HAS SOUS 80131 HAS SOUPS 80131 WITH SCORE 80217.272
AT ITER 1365 NEW BEST:: SOT 943589 SOS 86272 HAS SOPS 86272 HAS SOUS 80079 HAS SOUPS 80079 WITH SCORE 80165.272
AT ITER 1409 NEW BEST:: SOT 943589 SOS 86227 HAS SOPS 86227 HAS SOUS 80079 HAS SOUPS 80079 WITH SCORE 80165.227
AT ITER 1412 NEW BEST:: SOT 943583 SOS 86221 HAS SOPS 86221 HAS SOUS 80073 HAS SOUPS 80073 WITH SCORE 80159.221
AT ITER 1703 NEW BEST:: SOT 943583 SOS 86214 HAS SOPS 86214 HAS SOUS 80042 HAS SOUPS 80042 WITH SCORE 80128.214
AT ITER 1709 NEW BEST:: SOT 943581 SOS 86188 HAS SOPS 86188 HAS SOUS 80016 HAS SOUPS 80016 WITH SCORE 80102.188
AT ITER 1905 NEW BEST:: SOT 943590 SOS 86019 HAS SOPS 86019 HAS SOUS 79993 HAS SOUPS 79993 WITH SCORE 80079.019
AT ITER 1917 NEW BEST:: SOT 943563 SOS 86060 HAS SOPS 86060 HAS SOUS 79966 HAS SOUPS 79966 WITH SCORE 80052.06
AT ITER 2009 NEW BEST:: SOT 943653 SOS 86047 HAS SOPS 86047 HAS SOUS 79953 HAS SOUPS 79953 WITH SCORE 80039.047
AT ITER 2024 NEW BEST:: SOT 943653 SOS 86036 HAS SOPS 86036 HAS SOUS 79942 HAS SOUPS 79942 WITH SCORE 80028.036
AT ITER 2028 NEW BEST:: SOT 943586 SOS 85983 HAS SOPS 85983 HAS SOUS 79875 HAS SOUPS 79875 WITH SCORE 79960.983
AT ITER 2057 NEW BEST:: SOT 943586 SOS 85982 HAS SOPS 85982 HAS SOUS 79856 HAS SOUPS 79856 WITH SCORE 79941.982
AT ITER 2069 NEW BEST:: SOT 943543 SOS 85939 HAS SOPS 85939 HAS SOUS 79813 HAS SOUPS 79813 WITH SCORE 79898.939
AT ITER 2079 NEW BEST:: SOT 943543 SOS 85939 HAS SOPS 85939 HAS SOUS 79812 HAS SOUPS 79812 WITH SCORE 79897.939
AT ITER 2104 NEW BEST:: SOT 943543 SOS 85939 HAS SOPS 85939 HAS SOUS 79810 HAS SOUPS 79810 WITH SCORE 79895.939
AT ITER 2115 NEW BEST:: SOT 943575 SOS 85824 HAS SOPS 85824 HAS SOUS 79784 HAS SOUPS 79784 WITH SCORE 79869.824
AT ITER 2160 NEW BEST:: SOT 943575 SOS 85722 HAS SOPS 85722 HAS SOUS 79682 HAS SOUPS 79682 WITH SCORE 79767.722
AT ITER 2178 NEW BEST:: SOT 943534 SOS 85707 HAS SOPS 85707 HAS SOUS 79667 HAS SOUPS 79667 WITH SCORE 79752.707
AT ITER 2201 NEW BEST:: SOT 943483 SOS 85686 HAS SOPS 85686 HAS SOUS 79645 HAS SOUPS 79645 WITH SCORE 79730.686
AT ITER 2209 NEW BEST:: SOT 943466 SOS 85597 HAS SOPS 85597 HAS SOUS 79557 HAS SOUPS 79557 WITH SCORE 79642.597
AT ITER 2222 NEW BEST:: SOT 943374 SOS 85493 HAS SOPS 85493 HAS SOUS 79428 HAS SOUPS 79428 WITH SCORE 79513.493
AT ITER 2230 NEW BEST:: SOT 943373 SOS 85491 HAS SOPS 85491 HAS SOUS 79426 HAS SOUPS 79426 WITH SCORE 79511.491
AT ITER 2276 NEW BEST:: SOT 943299 SOS 85261 HAS SOPS 85261 HAS SOUS 79318 HAS SOUPS 79318 WITH SCORE 79403.261
AT ITER 2350 NEW BEST:: SOT 943299 SOS 85242 HAS SOPS 85242 HAS SOUS 79309 HAS SOUPS 79309 WITH SCORE 79394.242
AT ITER 2354 NEW BEST:: SOT 943299 SOS 85241 HAS SOPS 85241 HAS SOUS 79308 HAS SOUPS 79308 WITH SCORE 79393.241
AT ITER 2372 NEW BEST:: SOT 943299 SOS 85226 HAS SOPS 85226 HAS SOUS 79308 HAS SOUPS 79308 WITH SCORE 79393.226
AT ITER 2381 NEW BEST:: SOT 943270 SOS 85215 HAS SOPS 85215 HAS SOUS 79297 HAS SOUPS 79297 WITH SCORE 79382.215
AT ITER 2403 NEW BEST:: SOT 943236 SOS 85183 HAS SOPS 85183 HAS SOUS 79269 HAS SOUPS 79269 WITH SCORE 79354.183
AT ITER 2404 NEW BEST:: SOT 943236 SOS 85172 HAS SOPS 85172 HAS SOUS 79258 HAS SOUPS 79258 WITH SCORE 79343.172
AT ITER 2441 NEW BEST:: SOT 943082 SOS 84989 HAS SOPS 84989 HAS SOUS 79064 HAS SOUPS 79064 WITH SCORE 79148.989
AT ITER 2472 NEW BEST:: SOT 943100 SOS 84982 HAS SOPS 84982 HAS SOUS 79057 HAS SOUPS 79057 WITH SCORE 79141.982
AT ITER 2533 NEW BEST:: SOT 943052 SOS 85005 HAS SOPS 85005 HAS SOUS 79029 HAS SOUPS 79029 WITH SCORE 79114.005
AT ITER 2547 NEW BEST:: SOT 943052 SOS 84908 HAS SOPS 84908 HAS SOUS 78976 HAS SOUPS 78976 WITH SCORE 79060.908
AT ITER 2585 NEW BEST:: SOT 943052 SOS 84838 HAS SOPS 84838 HAS SOUS 78941 HAS SOUPS 78941 WITH SCORE 79025.838
AT ITER 2606 NEW BEST:: SOT 943052 SOS 84837 HAS SOPS 84837 HAS SOUS 78940 HAS SOUPS 78940 WITH SCORE 79024.837
AT ITER 2613 NEW BEST:: SOT 943054 SOS 84780 HAS SOPS 84780 HAS SOUS 78883 HAS SOUPS 78883 WITH SCORE 78967.78
AT ITER 2669 NEW BEST:: SOT 943054 SOS 84686 HAS SOPS 84686 HAS SOUS 78789 HAS SOUPS 78789 WITH SCORE 78873.686
AT ITER 2697 NEW BEST:: SOT 943023 SOS 84624 HAS SOPS 84624 HAS SOUS 78727 HAS SOUPS 78727 WITH SCORE 78811.624
AT ITER 2721 NEW BEST:: SOT 943023 SOS 84624 HAS SOPS 84624 HAS SOUS 78726 HAS SOUPS 78726 WITH SCORE 78810.624
AT ITER 2760 NEW BEST:: SOT 942976 SOS 84606 HAS SOPS 84606 HAS SOUS 78630 HAS SOUPS 78630 WITH SCORE 78714.606
AT ITER 2896 NEW BEST:: SOT 942973 SOS 84602 HAS SOPS 84602 HAS SOUS 78628 HAS SOUPS 78628 WITH SCORE 78712.602
AT ITER 2961 NEW BEST:: SOT 942973 SOS 84575 HAS SOPS 84575 HAS SOUS 78601 HAS SOUPS 78601 WITH SCORE 78685.575
AT ITER 2973 NEW BEST:: SOT 942937 SOS 84462 HAS SOPS 84462 HAS SOUS 78488 HAS SOUPS 78488 WITH SCORE 78572.462
AT ITER 3006 NEW BEST:: SOT 942933 SOS 84454 HAS SOPS 84454 HAS SOUS 78484 HAS SOUPS 78484 WITH SCORE 78568.454
AT ITER 3091 NEW BEST:: SOT 942985 SOS 84472 HAS SOPS 84472 HAS SOUS 78457 HAS SOUPS 78457 WITH SCORE 78541.472
AT ITER 3096 NEW BEST:: SOT 943008 SOS 84410 HAS SOPS 84410 HAS SOUS 78394 HAS SOUPS 78394 WITH SCORE 78478.41
AT ITER 3129 NEW BEST:: SOT 943007 SOS 84359 HAS SOPS 84359 HAS SOUS 78343 HAS SOUPS 78343 WITH SCORE 78427.359
AT ITER 3158 NEW BEST:: SOT 942999 SOS 84343 HAS SOPS 84343 HAS SOUS 78335 HAS SOUPS 78335 WITH SCORE 78419.343
AT ITER 3191 NEW BEST:: SOT 942921 SOS 84298 HAS SOPS 84298 HAS SOUS 78279 HAS SOUPS 78279 WITH SCORE 78363.298
AT ITER 3210 NEW BEST:: SOT 942921 SOS 84291 HAS SOPS 84291 HAS SOUS 78246 HAS SOUPS 78246 WITH SCORE 78330.291
AT ITER 3218 NEW BEST:: SOT 942921 SOS 84290 HAS SOPS 84290 HAS SOUS 78245 HAS SOUPS 78245 WITH SCORE 78329.29
AT ITER 3241 NEW BEST:: SOT 942938 SOS 84270 HAS SOPS 84270 HAS SOUS 78225 HAS SOUPS 78225 WITH SCORE 78309.27
AT ITER 3257 NEW BEST:: SOT 942880 SOS 84257 HAS SOPS 84257 HAS SOUS 78212 HAS SOUPS 78212 WITH SCORE 78296.257
AT ITER 3284 NEW BEST:: SOT 942852 SOS 84194 HAS SOPS 84194 HAS SOUS 78149 HAS SOUPS 78149 WITH SCORE 78233.194
AT ITER 3301 NEW BEST:: SOT 942852 SOS 84185 HAS SOPS 84185 HAS SOUS 78140 HAS SOUPS 78140 WITH SCORE 78224.185
AT ITER 3484 NEW BEST:: SOT 942879 SOS 84145 HAS SOPS 84145 HAS SOUS 78120 HAS SOUPS 78120 WITH SCORE 78204.145
AT ITER 3502 NEW BEST:: SOT 942864 SOS 84099 HAS SOPS 84099 HAS SOUS 78091 HAS SOUPS 78091 WITH SCORE 78175.099
AT ITER 3527 NEW BEST:: SOT 942852 SOS 84075 HAS SOPS 84075 HAS SOUS 78019 HAS SOUPS 78019 WITH SCORE 78103.075
AT ITER 3689 NEW BEST:: SOT 942787 SOS 84033 HAS SOPS 84033 HAS SOUS 77977 HAS SOUPS 77977 WITH SCORE 78061.033
AT ITER 3704 NEW BEST:: SOT 942787 SOS 84033 HAS SOPS 84033 HAS SOUS 77974 HAS SOUPS 77974 WITH SCORE 78058.033
AT ITER 3724 NEW BEST:: SOT 942787 SOS 84027 HAS SOPS 84027 HAS SOUS 77972 HAS SOUPS 77972 WITH SCORE 78056.027
AT ITER 3779 NEW BEST:: SOT 942776 SOS 83994 HAS SOPS 83994 HAS SOUS 77939 HAS SOUPS 77939 WITH SCORE 78022.994
AT ITER 3817 NEW BEST:: SOT 942774 SOS 83990 HAS SOPS 83990 HAS SOUS 77935 HAS SOUPS 77935 WITH SCORE 78018.99
AT ITER 3820 NEW BEST:: SOT 942790 SOS 83968 HAS SOPS 83968 HAS SOUS 77929 HAS SOUPS 77929 WITH SCORE 78012.968
AT ITER 3829 NEW BEST:: SOT 942793 SOS 83973 HAS SOPS 83973 HAS SOUS 77928 HAS SOUPS 77928 WITH SCORE 78011.973
AT ITER 3841 NEW BEST:: SOT 942792 SOS 83873 HAS SOPS 83873 HAS SOUS 77877 HAS SOUPS 77877 WITH SCORE 77960.873
AT ITER 3875 NEW BEST:: SOT 942759 SOS 83857 HAS SOPS 83857 HAS SOUS 77877 HAS SOUPS 77877 WITH SCORE 77960.857
AT ITER 3878 NEW BEST:: SOT 942757 SOS 83804 HAS SOPS 83804 HAS SOUS 77841 HAS SOUPS 77841 WITH SCORE 77924.804
AT ITER 3883 NEW BEST:: SOT 942755 SOS 83789 HAS SOPS 83789 HAS SOUS 77826 HAS SOUPS 77826 WITH SCORE 77909.789
AT ITER 3902 NEW BEST:: SOT 942738 SOS 83826 HAS SOPS 83826 HAS SOUS 77809 HAS SOUPS 77809 WITH SCORE 77892.826
AT ITER 3956 NEW BEST:: SOT 942738 SOS 83827 HAS SOPS 83827 HAS SOUS 77778 HAS SOUPS 77778 WITH SCORE 77861.827
AT ITER 3962 NEW BEST:: SOT 942626 SOS 83681 HAS SOPS 83681 HAS SOUS 77632 HAS SOUPS 77632 WITH SCORE 77715.681
AT ITER 3969 NEW BEST:: SOT 942578 SOS 83537 HAS SOPS 83537 HAS SOUS 77488 HAS SOUPS 77488 WITH SCORE 77571.537
AT ITER 3998 NEW BEST:: SOT 942531 SOS 83490 HAS SOPS 83490 HAS SOUS 77416 HAS SOUPS 77416 WITH SCORE 77499.49
AT ITER 3999 NEW BEST:: SOT 942531 SOS 83488 HAS SOPS 83488 HAS SOUS 77416 HAS SOUPS 77416 WITH SCORE 77499.488
AT ITER 4000 NEW BEST:: SOT 942530 SOS 83486 HAS SOPS 83486 HAS SOUS 77414 HAS SOUPS 77414 WITH SCORE 77497.486
AT ITER 4011 NEW BEST:: SOT 942527 SOS 83471 HAS SOPS 83471 HAS SOUS 77411 HAS SOUPS 77411 WITH SCORE 77494.471
AT ITER 4018 NEW BEST:: SOT 942527 SOS 83483 HAS SOPS 83483 HAS SOUS 77408 HAS SOUPS 77408 WITH SCORE 77491.483
AT ITER 4083 NEW BEST:: SOT 942527 SOS 83466 HAS SOPS 83466 HAS SOUS 77391 HAS SOUPS 77391 WITH SCORE 77474.466
AT ITER 4097 NEW BEST:: SOT 942489 SOS 83452 HAS SOPS 83452 HAS SOUS 77354 HAS SOUPS 77354 WITH SCORE 77437.452
AT ITER 4103 NEW BEST:: SOT 942513 SOS 83444 HAS SOPS 83444 HAS SOUS 77346 HAS SOUPS 77346 WITH SCORE 77429.444
AT ITER 4141 NEW BEST:: SOT 942519 SOS 83294 HAS SOPS 83294 HAS SOUS 77327 HAS SOUPS 77327 WITH SCORE 77410.294
AT ITER 4281 NEW BEST:: SOT 942463 SOS 83263 HAS SOPS 83263 HAS SOUS 77271 HAS SOUPS 77271 WITH SCORE 77354.263
AT ITER 4293 NEW BEST:: SOT 942374 SOS 83245 HAS SOPS 83245 HAS SOUS 77237 HAS SOUPS 77237 WITH SCORE 77320.245
AT ITER 4308 NEW BEST:: SOT 942374 SOS 83187 HAS SOPS 83187 HAS SOUS 77208 HAS SOUPS 77208 WITH SCORE 77291.187
AT ITER 4362 NEW BEST:: SOT 942374 SOS 83164 HAS SOPS 83164 HAS SOUS 77185 HAS SOUPS 77185 WITH SCORE 77268.164
AT ITER 4365 NEW BEST:: SOT 942364 SOS 83154 HAS SOPS 83154 HAS SOUS 77184 HAS SOUPS 77184 WITH SCORE 77267.154
AT ITER 4367 NEW BEST:: SOT 942340 SOS 83105 HAS SOPS 83105 HAS SOUS 77135 HAS SOUPS 77135 WITH SCORE 77218.105
AT ITER 4375 NEW BEST:: SOT 942335 SOS 83095 HAS SOPS 83095 HAS SOUS 77108 HAS SOUPS 77108 WITH SCORE 77191.095
AT ITER 4423 NEW BEST:: SOT 942335 SOS 83094 HAS SOPS 83094 HAS SOUS 77107 HAS SOUPS 77107 WITH SCORE 77190.094
AT ITER 4457 NEW BEST:: SOT 942335 SOS 83091 HAS SOPS 83091 HAS SOUS 77104 HAS SOUPS 77104 WITH SCORE 77187.091
AT ITER 4460 NEW BEST:: SOT 942335 SOS 83088 HAS SOPS 83088 HAS SOUS 77098 HAS SOUPS 77098 WITH SCORE 77181.088
AT ITER 4462 NEW BEST:: SOT 942315 SOS 83048 HAS SOPS 83048 HAS SOUS 77058 HAS SOUPS 77058 WITH SCORE 77141.048
AT ITER 4505 NEW BEST:: SOT 942315 SOS 83025 HAS SOPS 83025 HAS SOUS 77035 HAS SOUPS 77035 WITH SCORE 77118.025
AT ITER 4540 NEW BEST:: SOT 942343 SOS 82879 HAS SOPS 82879 HAS SOUS 76929 HAS SOUPS 76929 WITH SCORE 77011.879
AT ITER 4554 NEW BEST:: SOT 942301 SOS 82858 HAS SOPS 82858 HAS SOUS 76908 HAS SOUPS 76908 WITH SCORE 76990.858
AT ITER 4569 NEW BEST:: SOT 942301 SOS 82849 HAS SOPS 82849 HAS SOUS 76908 HAS SOUPS 76908 WITH SCORE 76990.849
AT ITER 4591 NEW BEST:: SOT 942286 SOS 82833 HAS SOPS 82833 HAS SOUS 76892 HAS SOUPS 76892 WITH SCORE 76974.833
AT ITER 4617 NEW BEST:: SOT 942268 SOS 82779 HAS SOPS 82779 HAS SOUS 76838 HAS SOUPS 76838 WITH SCORE 76920.779
AT ITER 4621 NEW BEST:: SOT 942268 SOS 82763 HAS SOPS 82763 HAS SOUS 76836 HAS SOUPS 76836 WITH SCORE 76918.763
AT ITER 4623 NEW BEST:: SOT 942222 SOS 82705 HAS SOPS 82705 HAS SOUS 76711 HAS SOUPS 76711 WITH SCORE 76793.705
AT ITER 4671 NEW BEST:: SOT 942211 SOS 82705 HAS SOPS 82705 HAS SOUS 76700 HAS SOUPS 76700 WITH SCORE 76782.705
AT ITER 4688 NEW BEST:: SOT 942106 SOS 82644 HAS SOPS 82644 HAS SOUS 76595 HAS SOUPS 76595 WITH SCORE 76677.644
AT ITER 4810 NEW BEST:: SOT 942205 SOS 82789 HAS SOPS 82789 HAS SOUS 76590 HAS SOUPS 76590 WITH SCORE 76672.789
AT ITER 4838 NEW BEST:: SOT 942205 SOS 82789 HAS SOPS 82789 HAS SOUS 76589 HAS SOUPS 76589 WITH SCORE 76671.789
AT ITER 4925 NEW BEST:: SOT 942193 SOS 82783 HAS SOPS 82783 HAS SOUS 76583 HAS SOUPS 76583 WITH SCORE 76665.783
AT ITER 4978 NEW BEST:: SOT 942204 SOS 82864 HAS SOPS 82864 HAS SOUS 76559 HAS SOUPS 76559 WITH SCORE 76641.864
AT ITER 4983 NEW BEST:: SOT 942193 SOS 82840 HAS SOPS 82840 HAS SOUS 76534 HAS SOUPS 76534 WITH SCORE 76616.84
AT ITER 4984 NEW BEST:: SOT 942193 SOS 82839 HAS SOPS 82839 HAS SOUS 76533 HAS SOUPS 76533 WITH SCORE 76615.839
AT ITER 5046 NEW BEST:: SOT 942284 SOS 82803 HAS SOPS 82803 HAS SOUS 76519 HAS SOUPS 76519 WITH SCORE 76601.803
AT ITER 5054 NEW BEST:: SOT 942296 SOS 82827 HAS SOPS 82827 HAS SOUS 76479 HAS SOUPS 76479 WITH SCORE 76561.827
AT ITER 5113 NEW BEST:: SOT 942337 SOS 82814 HAS SOPS 82814 HAS SOUS 76470 HAS SOUPS 76470 WITH SCORE 76552.814
AT ITER 5136 NEW BEST:: SOT 942294 SOS 82701 HAS SOPS 82701 HAS SOUS 76334 HAS SOUPS 76334 WITH SCORE 76416.701
AT ITER 5171 NEW BEST:: SOT 942230 SOS 82533 HAS SOPS 82533 HAS SOUS 76246 HAS SOUPS 76246 WITH SCORE 76328.533
AT ITER 5172 NEW BEST:: SOT 942239 SOS 82529 HAS SOPS 82529 HAS SOUS 76207 HAS SOUPS 76207 WITH SCORE 76289.529
AT ITER 5179 NEW BEST:: SOT 942248 SOS 82514 HAS SOPS 82514 HAS SOUS 76192 HAS SOUPS 76192 WITH SCORE 76274.514
AT ITER 5213 NEW BEST:: SOT 942254 SOS 82484 HAS SOPS 82484 HAS SOUS 76162 HAS SOUPS 76162 WITH SCORE 76244.484
AT ITER 5248 NEW BEST:: SOT 942170 SOS 82390 HAS SOPS 82390 HAS SOUS 76071 HAS SOUPS 76071 WITH SCORE 76153.39
AT ITER 5252 NEW BEST:: SOT 942170 SOS 82364 HAS SOPS 82364 HAS SOUS 76045 HAS SOUPS 76045 WITH SCORE 76127.364
AT ITER 5255 NEW BEST:: SOT 942166 SOS 82356 HAS SOPS 82356 HAS SOUS 76037 HAS SOUPS 76037 WITH SCORE 76119.356
AT ITER 5280 NEW BEST:: SOT 942145 SOS 82341 HAS SOPS 82341 HAS SOUS 76022 HAS SOUPS 76022 WITH SCORE 76104.341
AT ITER 5305 NEW BEST:: SOT 942165 SOS 82323 HAS SOPS 82323 HAS SOUS 76002 HAS SOUPS 76002 WITH SCORE 76084.323
AT ITER 5354 NEW BEST:: SOT 942125 SOS 82203 HAS SOPS 82203 HAS SOUS 75882 HAS SOUPS 75882 WITH SCORE 75964.203
AT ITER 5359 NEW BEST:: SOT 942124 SOS 82201 HAS SOPS 82201 HAS SOUS 75880 HAS SOUPS 75880 WITH SCORE 75962.201
AT ITER 5391 NEW BEST:: SOT 942190 SOS 82122 HAS SOPS 82122 HAS SOUS 75828 HAS SOUPS 75828 WITH SCORE 75910.122
AT ITER 5463 NEW BEST:: SOT 942188 SOS 82119 HAS SOPS 82119 HAS SOUS 75825 HAS SOUPS 75825 WITH SCORE 75907.119
AT ITER 5466 NEW BEST:: SOT 942093 SOS 81960 HAS SOPS 81960 HAS SOUS 75714 HAS SOUPS 75714 WITH SCORE 75795.96
AT ITER 5499 NEW BEST:: SOT 942072 SOS 81897 HAS SOPS 81897 HAS SOUS 75651 HAS SOUPS 75651 WITH SCORE 75732.897
AT ITER 5528 NEW BEST:: SOT 942053 SOS 81878 HAS SOPS 81878 HAS SOUS 75632 HAS SOUPS 75632 WITH SCORE 75713.878
AT ITER 5530 NEW BEST:: SOT 942044 SOS 81860 HAS SOPS 81860 HAS SOUS 75623 HAS SOUPS 75623 WITH SCORE 75704.86
AT ITER 5566 NEW BEST:: SOT 942041 SOS 81803 HAS SOPS 81803 HAS SOUS 75537 HAS SOUPS 75537 WITH SCORE 75618.803
AT ITER 5587 NEW BEST:: SOT 942041 SOS 81826 HAS SOPS 81826 HAS SOUS 75529 HAS SOUPS 75529 WITH SCORE 75610.826
AT ITER 5613 NEW BEST:: SOT 942045 SOS 81830 HAS SOPS 81830 HAS SOUS 75522 HAS SOUPS 75522 WITH SCORE 75603.83
AT ITER 5643 NEW BEST:: SOT 942055 SOS 81826 HAS SOPS 81826 HAS SOUS 75518 HAS SOUPS 75518 WITH SCORE 75599.826
AT ITER 5666 NEW BEST:: SOT 942000 SOS 81568 HAS SOPS 81568 HAS SOUS 75461 HAS SOUPS 75461 WITH SCORE 75542.568
AT ITER 5692 NEW BEST:: SOT 941974 SOS 81490 HAS SOPS 81490 HAS SOUS 75383 HAS SOUPS 75383 WITH SCORE 75464.49
AT ITER 5706 NEW BEST:: SOT 941974 SOS 81485 HAS SOPS 81485 HAS SOUS 75378 HAS SOUPS 75378 WITH SCORE 75459.485
AT ITER 5786 NEW BEST:: SOT 941994 SOS 81467 HAS SOPS 81467 HAS SOUS 75360 HAS SOUPS 75360 WITH SCORE 75441.467
AT ITER 5820 NEW BEST:: SOT 941994 SOS 81424 HAS SOPS 81424 HAS SOUS 75317 HAS SOUPS 75317 WITH SCORE 75398.424
AT ITER 5832 NEW BEST:: SOT 942014 SOS 81274 HAS SOPS 81274 HAS SOUS 75262 HAS SOUPS 75262 WITH SCORE 75343.274
AT ITER 5850 NEW BEST:: SOT 942014 SOS 81262 HAS SOPS 81262 HAS SOUS 75262 HAS SOUPS 75262 WITH SCORE 75343.262
AT ITER 5855 NEW BEST:: SOT 942000 SOS 81220 HAS SOPS 81220 HAS SOUS 75220 HAS SOUPS 75220 WITH SCORE 75301.22
AT ITER 5901 NEW BEST:: SOT 941999 SOS 81159 HAS SOPS 81159 HAS SOUS 75218 HAS SOUPS 75218 WITH SCORE 75299.159
AT ITER 5991 NEW BEST:: SOT 941963 SOS 81051 HAS SOPS 81051 HAS SOUS 75110 HAS SOUPS 75110 WITH SCORE 75191.051
AT ITER 6165 NEW BEST:: SOT 941948 SOS 81036 HAS SOPS 81036 HAS SOUS 75095 HAS SOUPS 75095 WITH SCORE 75176.036
AT ITER 6168 NEW BEST:: SOT 941947 SOS 81034 HAS SOPS 81034 HAS SOUS 75093 HAS SOUPS 75093 WITH SCORE 75174.034
AT ITER 6216 NEW BEST:: SOT 941914 SOS 80985 HAS SOPS 80985 HAS SOUS 75045 HAS SOUPS 75045 WITH SCORE 75125.985
AT ITER 6235 NEW BEST:: SOT 941892 SOS 80966 HAS SOPS 80966 HAS SOUS 75023 HAS SOUPS 75023 WITH SCORE 75103.966
AT ITER 6250 NEW BEST:: SOT 941892 SOS 80917 HAS SOPS 80917 HAS SOUS 74974 HAS SOUPS 74974 WITH SCORE 75054.917
AT ITER 6260 NEW BEST:: SOT 941892 SOS 80910 HAS SOPS 80910 HAS SOUS 74967 HAS SOUPS 74967 WITH SCORE 75047.91
AT ITER 6269 NEW BEST:: SOT 941892 SOS 80892 HAS SOPS 80892 HAS SOUS 74949 HAS SOUPS 74949 WITH SCORE 75029.892
AT ITER 6326 NEW BEST:: SOT 941869 SOS 80862 HAS SOPS 80862 HAS SOUS 74919 HAS SOUPS 74919 WITH SCORE 74999.862
AT ITER 6331 NEW BEST:: SOT 941859 SOS 80857 HAS SOPS 80857 HAS SOUS 74914 HAS SOUPS 74914 WITH SCORE 74994.857
AT ITER 6383 NEW BEST:: SOT 941860 SOS 80836 HAS SOPS 80836 HAS SOUS 74890 HAS SOUPS 74890 WITH SCORE 74970.836
AT ITER 6398 NEW BEST:: SOT 941824 SOS 80764 HAS SOPS 80764 HAS SOUS 74794 HAS SOUPS 74794 WITH SCORE 74874.764
AT ITER 6413 NEW BEST:: SOT 941795 SOS 80568 HAS SOPS 80568 HAS SOUS 74695 HAS SOUPS 74695 WITH SCORE 74775.568
AT ITER 6431 NEW BEST:: SOT 941816 SOS 80548 HAS SOPS 80548 HAS SOUS 74675 HAS SOUPS 74675 WITH SCORE 74755.548
AT ITER 6473 NEW BEST:: SOT 941769 SOS 80447 HAS SOPS 80447 HAS SOUS 74574 HAS SOUPS 74574 WITH SCORE 74654.447
AT ITER 6483 NEW BEST:: SOT 941757 SOS 80440 HAS SOPS 80440 HAS SOUS 74567 HAS SOUPS 74567 WITH SCORE 74647.44
AT ITER 6595 NEW BEST:: SOT 941710 SOS 80469 HAS SOPS 80469 HAS SOUS 74566 HAS SOUPS 74566 WITH SCORE 74646.469
AT ITER 6676 NEW BEST:: SOT 941677 SOS 80390 HAS SOPS 80390 HAS SOUS 74520 HAS SOUPS 74520 WITH SCORE 74600.39
AT ITER 6685 NEW BEST:: SOT 941642 SOS 80476 HAS SOPS 80476 HAS SOUS 74462 HAS SOUPS 74462 WITH SCORE 74542.476
AT ITER 6714 NEW BEST:: SOT 941667 SOS 80416 HAS SOPS 80416 HAS SOUS 74427 HAS SOUPS 74427 WITH SCORE 74507.416
AT ITER 6753 NEW BEST:: SOT 941677 SOS 80366 HAS SOPS 80366 HAS SOUS 74417 HAS SOUPS 74417 WITH SCORE 74497.366
AT ITER 6833 NEW BEST:: SOT 941610 SOS 80105 HAS SOPS 80105 HAS SOUS 74268 HAS SOUPS 74268 WITH SCORE 74348.105
AT ITER 6857 NEW BEST:: SOT 941610 SOS 80087 HAS SOPS 80087 HAS SOUS 74250 HAS SOUPS 74250 WITH SCORE 74330.087
AT ITER 6882 NEW BEST:: SOT 941549 SOS 79851 HAS SOPS 79851 HAS SOUS 74114 HAS SOUPS 74114 WITH SCORE 74193.851
AT ITER 6893 NEW BEST:: SOT 941543 SOS 79845 HAS SOPS 79845 HAS SOUS 74108 HAS SOUPS 74108 WITH SCORE 74187.845
AT ITER 6953 NEW BEST:: SOT 941543 SOS 79851 HAS SOPS 79851 HAS SOUS 74105 HAS SOUPS 74105 WITH SCORE 74184.851
AT ITER 6955 NEW BEST:: SOT 941543 SOS 79849 HAS SOPS 79849 HAS SOUS 74105 HAS SOUPS 74105 WITH SCORE 74184.849
AT ITER 6966 NEW BEST:: SOT 941527 SOS 79817 HAS SOPS 79817 HAS SOUS 74060 HAS SOUPS 74060 WITH SCORE 74139.817
AT ITER 6992 NEW BEST:: SOT 941476 SOS 79735 HAS SOPS 79735 HAS SOUS 73978 HAS SOUPS 73978 WITH SCORE 74057.735
AT ITER 6995 NEW BEST:: SOT 941470 SOS 79699 HAS SOPS 79699 HAS SOUS 73965 HAS SOUPS 73965 WITH SCORE 74044.699
AT ITER 7028 NEW BEST:: SOT 941462 SOS 79688 HAS SOPS 79688 HAS SOUS 73954 HAS SOUPS 73954 WITH SCORE 74033.688
AT ITER 7044 NEW BEST:: SOT 941408 SOS 79645 HAS SOPS 79645 HAS SOUS 73911 HAS SOUPS 73911 WITH SCORE 73990.645
AT ITER 7063 NEW BEST:: SOT 941408 SOS 79644 HAS SOPS 79644 HAS SOUS 73910 HAS SOUPS 73910 WITH SCORE 73989.644
AT ITER 7068 NEW BEST:: SOT 941417 SOS 79627 HAS SOPS 79627 HAS SOUS 73893 HAS SOUPS 73893 WITH SCORE 73972.627
AT ITER 7072 NEW BEST:: SOT 941453 SOS 79626 HAS SOPS 79626 HAS SOUS 73892 HAS SOUPS 73892 WITH SCORE 73971.626
AT ITER 7126 NEW BEST:: SOT 941420 SOS 79604 HAS SOPS 79604 HAS SOUS 73870 HAS SOUPS 73870 WITH SCORE 73949.604
AT ITER 7164 NEW BEST:: SOT 941406 SOS 79590 HAS SOPS 79590 HAS SOUS 73856 HAS SOUPS 73856 WITH SCORE 73935.59
AT ITER 7168 NEW BEST:: SOT 941361 SOS 79454 HAS SOPS 79454 HAS SOUS 73766 HAS SOUPS 73766 WITH SCORE 73845.454
AT ITER 7200 NEW BEST:: SOT 941381 SOS 79410 HAS SOPS 79410 HAS SOUS 73744 HAS SOUPS 73744 WITH SCORE 73823.41
AT ITER 7223 NEW BEST:: SOT 941381 SOS 79388 HAS SOPS 79388 HAS SOUS 73722 HAS SOUPS 73722 WITH SCORE 73801.388
AT ITER 7295 NEW BEST:: SOT 941325 SOS 79226 HAS SOPS 79226 HAS SOUS 73616 HAS SOUPS 73616 WITH SCORE 73695.226
AT ITER 7322 NEW BEST:: SOT 941337 SOS 79200 HAS SOPS 79200 HAS SOUS 73591 HAS SOUPS 73591 WITH SCORE 73670.2
AT ITER 7352 NEW BEST:: SOT 941333 SOS 79196 HAS SOPS 79196 HAS SOUS 73591 HAS SOUPS 73591 WITH SCORE 73670.196
AT ITER 7390 NEW BEST:: SOT 941333 SOS 79193 HAS SOPS 79193 HAS SOUS 73588 HAS SOUPS 73588 WITH SCORE 73667.193
AT ITER 7547 NEW BEST:: SOT 941333 SOS 79179 HAS SOPS 79179 HAS SOUS 73581 HAS SOUPS 73581 WITH SCORE 73660.179
AT ITER 7586 NEW BEST:: SOT 941349 SOS 79172 HAS SOPS 79172 HAS SOUS 73574 HAS SOUPS 73574 WITH SCORE 73653.172
AT ITER 7596 NEW BEST:: SOT 941342 SOS 78991 HAS SOPS 78991 HAS SOUS 73417 HAS SOUPS 73417 WITH SCORE 73495.991
AT ITER 7602 NEW BEST:: SOT 941295 SOS 78890 HAS SOPS 78890 HAS SOUS 73348 HAS SOUPS 73348 WITH SCORE 73426.89
AT ITER 7671 NEW BEST:: SOT 941331 SOS 78840 HAS SOPS 78840 HAS SOUS 73343 HAS SOUPS 73343 WITH SCORE 73421.84
AT ITER 7682 NEW BEST:: SOT 941311 SOS 78800 HAS SOPS 78800 HAS SOUS 73303 HAS SOUPS 73303 WITH SCORE 73381.8
AT ITER 7693 NEW BEST:: SOT 941306 SOS 78758 HAS SOPS 78758 HAS SOUS 73261 HAS SOUPS 73261 WITH SCORE 73339.758
AT ITER 7755 NEW BEST:: SOT 941306 SOS 78735 HAS SOPS 78735 HAS SOUS 73258 HAS SOUPS 73258 WITH SCORE 73336.735
AT ITER 7800 NEW BEST:: SOT 941247 SOS 78693 HAS SOPS 78693 HAS SOUS 73238 HAS SOUPS 73238 WITH SCORE 73316.693
AT ITER 7810 NEW BEST:: SOT 941227 SOS 78560 HAS SOPS 78560 HAS SOUS 73198 HAS SOUPS 73198 WITH SCORE 73276.56
AT ITER 7815 NEW BEST:: SOT 941178 SOS 78511 HAS SOPS 78511 HAS SOUS 73149 HAS SOUPS 73149 WITH SCORE 73227.511
AT ITER 7886 NEW BEST:: SOT 941112 SOS 78407 HAS SOPS 78407 HAS SOUS 73045 HAS SOUPS 73045 WITH SCORE 73123.407
AT ITER 7924 NEW BEST:: SOT 941126 SOS 78387 HAS SOPS 78387 HAS SOUS 73017 HAS SOUPS 73017 WITH SCORE 73095.387
AT ITER 7931 NEW BEST:: SOT 941064 SOS 78198 HAS SOPS 78198 HAS SOUS 72890 HAS SOUPS 72890 WITH SCORE 72968.198
AT ITER 7957 NEW BEST:: SOT 941059 SOS 78188 HAS SOPS 78188 HAS SOUS 72880 HAS SOUPS 72880 WITH SCORE 72958.188
AT ITER 8071 NEW BEST:: SOT 941010 SOS 78188 HAS SOPS 78188 HAS SOUS 72831 HAS SOUPS 72831 WITH SCORE 72909.188
AT ITER 8079 NEW BEST:: SOT 941016 SOS 78173 HAS SOPS 78173 HAS SOUS 72801 HAS SOUPS 72801 WITH SCORE 72879.173
AT ITER 8082 NEW BEST:: SOT 941006 SOS 78104 HAS SOPS 78104 HAS SOUS 72705 HAS SOUPS 72705 WITH SCORE 72783.104
AT ITER 8107 NEW BEST:: SOT 941006 SOS 78082 HAS SOPS 78082 HAS SOUS 72690 HAS SOUPS 72690 WITH SCORE 72768.082
AT ITER 8126 NEW BEST:: SOT 940957 SOS 78043 HAS SOPS 78043 HAS SOUS 72651 HAS SOUPS 72651 WITH SCORE 72729.043
AT ITER 8175 NEW BEST:: SOT 940956 SOS 78015 HAS SOPS 78015 HAS SOUS 72636 HAS SOUPS 72636 WITH SCORE 72714.015
AT ITER 8192 NEW BEST:: SOT 940911 SOS 77994 HAS SOPS 77994 HAS SOUS 72614 HAS SOUPS 72614 WITH SCORE 72691.994
AT ITER 8237 NEW BEST:: SOT 940911 SOS 77975 HAS SOPS 77975 HAS SOUS 72595 HAS SOUPS 72595 WITH SCORE 72672.975
AT ITER 8377 NEW BEST:: SOT 940933 SOS 77953 HAS SOPS 77953 HAS SOUS 72551 HAS SOUPS 72551 WITH SCORE 72628.953
AT ITER 8422 NEW BEST:: SOT 940897 SOS 77917 HAS SOPS 77917 HAS SOUS 72515 HAS SOUPS 72515 WITH SCORE 72592.917
AT ITER 8435 NEW BEST:: SOT 940897 SOS 77916 HAS SOPS 77916 HAS SOUS 72514 HAS SOUPS 72514 WITH SCORE 72591.916
AT ITER 8515 NEW BEST:: SOT 940879 SOS 77904 HAS SOPS 77904 HAS SOUS 72502 HAS SOUPS 72502 WITH SCORE 72579.904
AT ITER 8667 NEW BEST:: SOT 940803 SOS 77793 HAS SOPS 77793 HAS SOUS 72391 HAS SOUPS 72391 WITH SCORE 72468.793
AT ITER 8703 NEW BEST:: SOT 940813 SOS 77719 HAS SOPS 77719 HAS SOUS 72338 HAS SOUPS 72338 WITH SCORE 72415.719
AT ITER 8738 NEW BEST:: SOT 940792 SOS 77703 HAS SOPS 77703 HAS SOUS 72320 HAS SOUPS 72320 WITH SCORE 72397.703
AT ITER 8784 NEW BEST:: SOT 940792 SOS 77696 HAS SOPS 77696 HAS SOUS 72313 HAS SOUPS 72313 WITH SCORE 72390.696
AT ITER 8890 NEW BEST:: SOT 940784 SOS 77680 HAS SOPS 77680 HAS SOUS 72297 HAS SOUPS 72297 WITH SCORE 72374.68
AT ITER 8906 NEW BEST:: SOT 940751 SOS 77627 HAS SOPS 77627 HAS SOUS 72244 HAS SOUPS 72244 WITH SCORE 72321.627
AT ITER 8926 NEW BEST:: SOT 940812 SOS 77619 HAS SOPS 77619 HAS SOUS 72236 HAS SOUPS 72236 WITH SCORE 72313.619
AT ITER 9021 NEW BEST:: SOT 940812 SOS 77577 HAS SOPS 77577 HAS SOUS 72194 HAS SOUPS 72194 WITH SCORE 72271.577
AT ITER 9068 NEW BEST:: SOT 940812 SOS 77479 HAS SOPS 77479 HAS SOUS 72194 HAS SOUPS 72194 WITH SCORE 72271.479
AT ITER 9236 NEW BEST:: SOT 940810 SOS 77477 HAS SOPS 77477 HAS SOUS 72192 HAS SOUPS 72192 WITH SCORE 72269.477
AT ITER 9239 NEW BEST:: SOT 940794 SOS 77551 HAS SOPS 77551 HAS SOUS 72150 HAS SOUPS 72150 WITH SCORE 72227.551
AT ITER 9263 NEW BEST:: SOT 940766 SOS 77509 HAS SOPS 77509 HAS SOUS 72108 HAS SOUPS 72108 WITH SCORE 72185.509
AT ITER 9294 NEW BEST:: SOT 940722 SOS 77465 HAS SOPS 77465 HAS SOUS 72064 HAS SOUPS 72064 WITH SCORE 72141.465
AT ITER 9306 NEW BEST:: SOT 940700 SOS 77421 HAS SOPS 77421 HAS SOUS 72031 HAS SOUPS 72031 WITH SCORE 72108.421
AT ITER 9354 NEW BEST:: SOT 940700 SOS 77392 HAS SOPS 77392 HAS SOUS 72002 HAS SOUPS 72002 WITH SCORE 72079.392
AT ITER 9373 NEW BEST:: SOT 940665 SOS 77287 HAS SOPS 77287 HAS SOUS 71958 HAS SOUPS 71958 WITH SCORE 72035.287
AT ITER 9462 NEW BEST:: SOT 940665 SOS 77317 HAS SOPS 77317 HAS SOUS 71954 HAS SOUPS 71954 WITH SCORE 72031.317
AT ITER 9473 NEW BEST:: SOT 940679 SOS 77168 HAS SOPS 77168 HAS SOUS 71896 HAS SOUPS 71896 WITH SCORE 71973.168
AT ITER 9483 NEW BEST:: SOT 940657 SOS 77030 HAS SOPS 77030 HAS SOUS 71758 HAS SOUPS 71758 WITH SCORE 71835.03
AT ITER 9522 NEW BEST:: SOT 940657 SOS 77001 HAS SOPS 77001 HAS SOUS 71750 HAS SOUPS 71750 WITH SCORE 71827.001
AT ITER 9576 NEW BEST:: SOT 940648 SOS 76989 HAS SOPS 76989 HAS SOUS 71741 HAS SOUPS 71741 WITH SCORE 71817.989
AT ITER 9627 NEW BEST:: SOT 940642 SOS 76976 HAS SOPS 76976 HAS SOUS 71721 HAS SOUPS 71721 WITH SCORE 71797.976
AT ITER 9710 NEW BEST:: SOT 940640 SOS 76970 HAS SOPS 76970 HAS SOUS 71715 HAS SOUPS 71715 WITH SCORE 71791.97
AT ITER 9753 NEW BEST:: SOT 940638 SOS 76968 HAS SOPS 76968 HAS SOUS 71713 HAS SOUPS 71713 WITH SCORE 71789.968
AT ITER 9778 NEW BEST:: SOT 940650 SOS 76884 HAS SOPS 76884 HAS SOUS 71629 HAS SOUPS 71629 WITH SCORE 71705.884
AT ITER 9813 NEW BEST:: SOT 940650 SOS 76800 HAS SOPS 76800 HAS SOUS 71545 HAS SOUPS 71545 WITH SCORE 71621.8
AT ITER 9833 NEW BEST:: SOT 940638 SOS 76753 HAS SOPS 76753 HAS SOUS 71510 HAS SOUPS 71510 WITH SCORE 71586.753
AT ITER 9892 NEW BEST:: SOT 940626 SOS 76699 HAS SOPS 76699 HAS SOUS 71440 HAS SOUPS 71440 WITH SCORE 71516.699
AT ITER 9929 NEW BEST:: SOT 940668 SOS 76618 HAS SOPS 76618 HAS SOUS 71428 HAS SOUPS 71428 WITH SCORE 71504.618
AT ITER 9974 NEW BEST:: SOT 940658 SOS 76608 HAS SOPS 76608 HAS SOUS 71418 HAS SOUPS 71418 WITH SCORE 71494.608
AT ITER 9980 NEW BEST:: SOT 940639 SOS 76570 HAS SOPS 76570 HAS SOUS 71399 HAS SOUPS 71399 WITH SCORE 71475.57
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8434008 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16123972 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="ShieldIIPt-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 ShieldIIPt-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 r395-oct2-167903718600288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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