Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500451.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-8B, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500451
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.2M
-rw-r--r-- 1 mcc users 4.1K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 6 20:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 6 20:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 6 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-8B-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589644222983

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8B
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 9140 places, 14577 transitions, 30726 arcs.
AT ITER 0 NEW BEST:: SOT 69147713 SOS 8174620 HAS SOPS 8174620 HAS SOUS 5957584 HAS SOUPS 5957584 WITH SCORE 5965758.62
AT ITER 22 NEW BEST:: SOT 69147401 SOS 8174410 HAS SOPS 8174410 HAS SOUS 5957372 HAS SOUPS 5957372 WITH SCORE 5965546.41
AT ITER 26 NEW BEST:: SOT 69146669 SOS 8175921 HAS SOPS 8175921 HAS SOUS 5957219 HAS SOUPS 5957219 WITH SCORE 5965394.921
AT ITER 42 NEW BEST:: SOT 69146241 SOS 8175065 HAS SOPS 8175065 HAS SOUS 5956791 HAS SOUPS 5956791 WITH SCORE 5964966.065
AT ITER 47 NEW BEST:: SOT 69145913 SOS 8173817 HAS SOPS 8173817 HAS SOUS 5956726 HAS SOUPS 5956726 WITH SCORE 5964899.817
AT ITER 54 NEW BEST:: SOT 69144052 SOS 8171232 HAS SOPS 8171232 HAS SOUS 5954127 HAS SOUPS 5954127 WITH SCORE 5962298.232
AT ITER 66 NEW BEST:: SOT 69142348 SOS 8169528 HAS SOPS 8169528 HAS SOUS 5952423 HAS SOUPS 5952423 WITH SCORE 5960592.528
AT ITER 70 NEW BEST:: SOT 69142146 SOS 8169427 HAS SOPS 8169427 HAS SOUS 5952221 HAS SOUPS 5952221 WITH SCORE 5960390.427
AT ITER 79 NEW BEST:: SOT 69142146 SOS 8168675 HAS SOPS 8168675 HAS SOUS 5952221 HAS SOUPS 5952221 WITH SCORE 5960389.675
AT ITER 100 NEW BEST:: SOT 69142145 SOS 8167808 HAS SOPS 8167808 HAS SOUS 5951354 HAS SOUPS 5951354 WITH SCORE 5959521.808
AT ITER 103 NEW BEST:: SOT 69142145 SOS 8167808 HAS SOPS 8167808 HAS SOUS 5951353 HAS SOUPS 5951353 WITH SCORE 5959520.808
AT ITER 104 NEW BEST:: SOT 69139117 SOS 8166044 HAS SOPS 8166044 HAS SOUS 5948342 HAS SOUPS 5948342 WITH SCORE 5956508.044
AT ITER 122 NEW BEST:: SOT 69138769 SOS 8165348 HAS SOPS 8165348 HAS SOUS 5947993 HAS SOUPS 5947993 WITH SCORE 5956158.348
AT ITER 125 NEW BEST:: SOT 69136805 SOS 8162989 HAS SOPS 8162989 HAS SOUS 5945577 HAS SOUPS 5945577 WITH SCORE 5953739.989
AT ITER 136 NEW BEST:: SOT 69136226 SOS 8161831 HAS SOPS 8161831 HAS SOUS 5944997 HAS SOUPS 5944997 WITH SCORE 5953158.831
AT ITER 186 NEW BEST:: SOT 69135914 SOS 8161207 HAS SOPS 8161207 HAS SOUS 5944684 HAS SOUPS 5944684 WITH SCORE 5952845.207
AT ITER 198 NEW BEST:: SOT 69135469 SOS 8160926 HAS SOPS 8160926 HAS SOUS 5944403 HAS SOUPS 5944403 WITH SCORE 5952563.926
AT ITER 218 NEW BEST:: SOT 69134945 SOS 8159878 HAS SOPS 8159878 HAS SOUS 5943879 HAS SOUPS 5943879 WITH SCORE 5952038.878
AT ITER 219 NEW BEST:: SOT 69133532 SOS 8158237 HAS SOPS 8158237 HAS SOUS 5942121 HAS SOUPS 5942121 WITH SCORE 5950279.237
AT ITER 223 NEW BEST:: SOT 69132842 SOS 8157553 HAS SOPS 8157553 HAS SOUS 5941435 HAS SOUPS 5941435 WITH SCORE 5949592.553
AT ITER 229 NEW BEST:: SOT 69132842 SOS 8157485 HAS SOPS 8157485 HAS SOUS 5941435 HAS SOUPS 5941435 WITH SCORE 5949592.485
AT ITER 242 NEW BEST:: SOT 69132842 SOS 8157247 HAS SOPS 8157247 HAS SOUS 5941417 HAS SOUPS 5941417 WITH SCORE 5949574.247
AT ITER 329 NEW BEST:: SOT 69132842 SOS 8157791 HAS SOPS 8157791 HAS SOUS 5941416 HAS SOUPS 5941416 WITH SCORE 5949573.791
AT ITER 353 NEW BEST:: SOT 69132492 SOS 8157579 HAS SOPS 8157579 HAS SOUS 5941204 HAS SOUPS 5941204 WITH SCORE 5949361.579
AT ITER 422 NEW BEST:: SOT 69132492 SOS 8154793 HAS SOPS 8154793 HAS SOUS 5940806 HAS SOUPS 5940806 WITH SCORE 5948960.793
AT ITER 430 NEW BEST:: SOT 69107033 SOS 8798251 HAS SOPS 8798251 HAS SOUS 5924217 HAS SOUPS 5924217 WITH SCORE 5933015.251
AT ITER 471 NEW BEST:: SOT 69107033 SOS 8798250 HAS SOPS 8798250 HAS SOUS 5924216 HAS SOUPS 5924216 WITH SCORE 5933014.25
AT ITER 494 NEW BEST:: SOT 69106527 SOS 8796985 HAS SOPS 8796985 HAS SOUS 5923710 HAS SOUPS 5923710 WITH SCORE 5932506.985
AT ITER 562 NEW BEST:: SOT 69106526 SOS 8796983 HAS SOPS 8796983 HAS SOUS 5923708 HAS SOUPS 5923708 WITH SCORE 5932504.983
AT ITER 606 NEW BEST:: SOT 69106526 SOS 8796983 HAS SOPS 8796983 HAS SOUS 5923707 HAS SOUPS 5923707 WITH SCORE 5932503.983
AT ITER 608 NEW BEST:: SOT 69105787 SOS 8795505 HAS SOPS 8795505 HAS SOUS 5922968 HAS SOUPS 5922968 WITH SCORE 5931763.505
AT ITER 637 NEW BEST:: SOT 69105396 SOS 8794723 HAS SOPS 8794723 HAS SOUS 5922576 HAS SOUPS 5922576 WITH SCORE 5931370.723
AT ITER 639 NEW BEST:: SOT 69048556 SOS 8792706 HAS SOPS 8792706 HAS SOUS 5868866 HAS SOUPS 5868866 WITH SCORE 5877658.706
AT ITER 660 NEW BEST:: SOT 69048493 SOS 8792517 HAS SOPS 8792517 HAS SOUS 5868677 HAS SOUPS 5868677 WITH SCORE 5877469.517
AT ITER 686 NEW BEST:: SOT 69048127 SOS 8792415 HAS SOPS 8792415 HAS SOUS 5868197 HAS SOUPS 5868197 WITH SCORE 5876989.415
AT ITER 702 NEW BEST:: SOT 69047366 SOS 8790893 HAS SOPS 8790893 HAS SOUS 5866675 HAS SOUPS 5866675 WITH SCORE 5875465.893
AT ITER 745 NEW BEST:: SOT 69047366 SOS 8790167 HAS SOPS 8790167 HAS SOUS 5866675 HAS SOUPS 5866675 WITH SCORE 5875465.167
AT ITER 754 NEW BEST:: SOT 69046131 SOS 8789847 HAS SOPS 8789847 HAS SOUS 5865734 HAS SOUPS 5865734 WITH SCORE 5874523.847
AT ITER 784 NEW BEST:: SOT 68986291 SOS 9483279 HAS SOPS 9483279 HAS SOUS 5815538 HAS SOUPS 5815538 WITH SCORE 5825021.279
AT ITER 804 NEW BEST:: SOT 68972536 SOS 9695973 HAS SOPS 9695973 HAS SOUS 5804826 HAS SOUPS 5804826 WITH SCORE 5814521.973
AT ITER 817 NEW BEST:: SOT 68971921 SOS 9694743 HAS SOPS 9694743 HAS SOUS 5804210 HAS SOUPS 5804210 WITH SCORE 5813904.743
AT ITER 902 NEW BEST:: SOT 68971189 SOS 9693279 HAS SOPS 9693279 HAS SOUS 5802505 HAS SOUPS 5802505 WITH SCORE 5812198.279
AT ITER 913 NEW BEST:: SOT 68964074 SOS 9856604 HAS SOPS 9856604 HAS SOUS 5801107 HAS SOUPS 5801107 WITH SCORE 5810963.604
AT ITER 915 NEW BEST:: SOT 68964074 SOS 9856604 HAS SOPS 9856604 HAS SOUS 5801105 HAS SOUPS 5801105 WITH SCORE 5810961.604
AT ITER 945 NEW BEST:: SOT 68961182 SOS 9860335 HAS SOPS 9860335 HAS SOUS 5799479 HAS SOUPS 5799479 WITH SCORE 5809339.335
AT ITER 983 NEW BEST:: SOT 68960654 SOS 9854194 HAS SOPS 9854194 HAS SOUS 5799410 HAS SOUPS 5799410 WITH SCORE 5809264.194
AT ITER 992 NEW BEST:: SOT 68958434 SOS 9852632 HAS SOPS 9852632 HAS SOUS 5797622 HAS SOUPS 5797622 WITH SCORE 5807474.632
AT ITER 1094 NEW BEST:: SOT 68958572 SOS 9850140 HAS SOPS 9850140 HAS SOUS 5796514 HAS SOUPS 5796514 WITH SCORE 5806364.14
AT ITER 1095 NEW BEST:: SOT 68957276 SOS 9847548 HAS SOPS 9847548 HAS SOUS 5796190 HAS SOUPS 5796190 WITH SCORE 5806037.548
AT ITER 1113 NEW BEST:: SOT 68957263 SOS 9847522 HAS SOPS 9847522 HAS SOUS 5796164 HAS SOUPS 5796164 WITH SCORE 5806011.522
AT ITER 1148 NEW BEST:: SOT 68956848 SOS 9847107 HAS SOPS 9847107 HAS SOUS 5796155 HAS SOUPS 5796155 WITH SCORE 5806002.107
AT ITER 1154 NEW BEST:: SOT 68956579 SOS 9846825 HAS SOPS 9846825 HAS SOUS 5795788 HAS SOUPS 5795788 WITH SCORE 5805634.825
AT ITER 1186 NEW BEST:: SOT 68955744 SOS 9846078 HAS SOPS 9846078 HAS SOUS 5794779 HAS SOUPS 5794779 WITH SCORE 5804625.078
AT ITER 1189 NEW BEST:: SOT 68941879 SOS 10281588 HAS SOPS 10281588 HAS SOUS 5786873 HAS SOUPS 5786873 WITH SCORE 5797154.588
AT ITER 1195 NEW BEST:: SOT 68939526 SOS 10278526 HAS SOPS 10278526 HAS SOUS 5783811 HAS SOUPS 5783811 WITH SCORE 5794089.526
AT ITER 1224 NEW BEST:: SOT 68938502 SOS 10278014 HAS SOPS 10278014 HAS SOUS 5783185 HAS SOUPS 5783185 WITH SCORE 5793463.014
AT ITER 1252 NEW BEST:: SOT 68937589 SOS 10277353 HAS SOPS 10277353 HAS SOUS 5782290 HAS SOUPS 5782290 WITH SCORE 5792567.353
AT ITER 1258 NEW BEST:: SOT 68937582 SOS 10277325 HAS SOPS 10277325 HAS SOUS 5782283 HAS SOUPS 5782283 WITH SCORE 5792560.325
AT ITER 1269 NEW BEST:: SOT 68935199 SOS 10275064 HAS SOPS 10275064 HAS SOUS 5780420 HAS SOUPS 5780420 WITH SCORE 5790695.064
AT ITER 1285 NEW BEST:: SOT 68934548 SOS 10273762 HAS SOPS 10273762 HAS SOUS 5778860 HAS SOUPS 5778860 WITH SCORE 5789133.762
AT ITER 1289 NEW BEST:: SOT 68934057 SOS 10276786 HAS SOPS 10276786 HAS SOUS 5778700 HAS SOUPS 5778700 WITH SCORE 5788976.786
AT ITER 1296 NEW BEST:: SOT 68932732 SOS 10276464 HAS SOPS 10276464 HAS SOUS 5777293 HAS SOUPS 5777293 WITH SCORE 5787569.464
AT ITER 1298 NEW BEST:: SOT 68931793 SOS 10275322 HAS SOPS 10275322 HAS SOUS 5775986 HAS SOUPS 5775986 WITH SCORE 5786261.322
AT ITER 1332 NEW BEST:: SOT 68931191 SOS 10275345 HAS SOPS 10275345 HAS SOUS 5775906 HAS SOUPS 5775906 WITH SCORE 5786181.345
AT ITER 1340 NEW BEST:: SOT 68930927 SOS 10274817 HAS SOPS 10274817 HAS SOUS 5775641 HAS SOUPS 5775641 WITH SCORE 5785915.817
AT ITER 1364 NEW BEST:: SOT 68931005 SOS 10275002 HAS SOPS 10275002 HAS SOUS 5775631 HAS SOUPS 5775631 WITH SCORE 5785906.002
AT ITER 1403 NEW BEST:: SOT 68930744 SOS 10274480 HAS SOPS 10274480 HAS SOUS 5775630 HAS SOUPS 5775630 WITH SCORE 5785904.48
AT ITER 1405 NEW BEST:: SOT 68929416 SOS 10273016 HAS SOPS 10273016 HAS SOUS 5773600 HAS SOUPS 5773600 WITH SCORE 5783873.016
AT ITER 1413 NEW BEST:: SOT 68929017 SOS 10272450 HAS SOPS 10272450 HAS SOUS 5772985 HAS SOUPS 5772985 WITH SCORE 5783257.45
AT ITER 1418 NEW BEST:: SOT 68928609 SOS 10271634 HAS SOPS 10271634 HAS SOUS 5772576 HAS SOUPS 5772576 WITH SCORE 5782847.634
AT ITER 1433 NEW BEST:: SOT 68928571 SOS 10271558 HAS SOPS 10271558 HAS SOUS 5772500 HAS SOUPS 5772500 WITH SCORE 5782771.558
AT ITER 1438 NEW BEST:: SOT 68927258 SOS 10269643 HAS SOPS 10269643 HAS SOUS 5771295 HAS SOUPS 5771295 WITH SCORE 5781564.643
AT ITER 1462 NEW BEST:: SOT 68927174 SOS 10269475 HAS SOPS 10269475 HAS SOUS 5771210 HAS SOUPS 5771210 WITH SCORE 5781479.475
AT ITER 1498 NEW BEST:: SOT 68926865 SOS 10268446 HAS SOPS 10268446 HAS SOUS 5770901 HAS SOUPS 5770901 WITH SCORE 5781169.446
AT ITER 1500 NEW BEST:: SOT 68926597 SOS 10267910 HAS SOPS 10267910 HAS SOUS 5770632 HAS SOUPS 5770632 WITH SCORE 5780899.91
AT ITER 1503 NEW BEST:: SOT 68926597 SOS 10267910 HAS SOPS 10267910 HAS SOUS 5770630 HAS SOUPS 5770630 WITH SCORE 5780897.91
AT ITER 1521 NEW BEST:: SOT 68926237 SOS 10264880 HAS SOPS 10264880 HAS SOUS 5770270 HAS SOUPS 5770270 WITH SCORE 5780534.88
AT ITER 1531 NEW BEST:: SOT 68924115 SOS 10261819 HAS SOPS 10261819 HAS SOUS 5768148 HAS SOUPS 5768148 WITH SCORE 5778409.819
AT ITER 1534 NEW BEST:: SOT 68924115 SOS 10260987 HAS SOPS 10260987 HAS SOUS 5768148 HAS SOUPS 5768148 WITH SCORE 5778408.987
AT ITER 1557 NEW BEST:: SOT 68923938 SOS 10260633 HAS SOPS 10260633 HAS SOUS 5767971 HAS SOUPS 5767971 WITH SCORE 5778231.633
AT ITER 1560 NEW BEST:: SOT 68923938 SOS 10259736 HAS SOPS 10259736 HAS SOUS 5767672 HAS SOUPS 5767672 WITH SCORE 5777931.736
AT ITER 1567 NEW BEST:: SOT 68923543 SOS 10257006 HAS SOPS 10257006 HAS SOUS 5767545 HAS SOUPS 5767545 WITH SCORE 5777802.006
AT ITER 1589 NEW BEST:: SOT 68923391 SOS 10256702 HAS SOPS 10256702 HAS SOUS 5766976 HAS SOUPS 5766976 WITH SCORE 5777232.702
AT ITER 1615 NEW BEST:: SOT 68923390 SOS 10256700 HAS SOPS 10256700 HAS SOUS 5766974 HAS SOUPS 5766974 WITH SCORE 5777230.7
AT ITER 1649 NEW BEST:: SOT 68845487 SOS 10339322 HAS SOPS 10339322 HAS SOUS 5690091 HAS SOUPS 5690091 WITH SCORE 5700430.322
AT ITER 1653 NEW BEST:: SOT 68845295 SOS 10338746 HAS SOPS 10338746 HAS SOUS 5689707 HAS SOUPS 5689707 WITH SCORE 5700045.746
AT ITER 1667 NEW BEST:: SOT 68842779 SOS 10341977 HAS SOPS 10341977 HAS SOUS 5687662 HAS SOUPS 5687662 WITH SCORE 5698003.977
AT ITER 1680 NEW BEST:: SOT 68842779 SOS 10341977 HAS SOPS 10341977 HAS SOUS 5687661 HAS SOUPS 5687661 WITH SCORE 5698002.977
AT ITER 1736 NEW BEST:: SOT 68842779 SOS 10341820 HAS SOPS 10341820 HAS SOUS 5687661 HAS SOUPS 5687661 WITH SCORE 5698002.82
AT ITER 1746 NEW BEST:: SOT 68842517 SOS 10341296 HAS SOPS 10341296 HAS SOUS 5687399 HAS SOUPS 5687399 WITH SCORE 5697740.296
AT ITER 1765 NEW BEST:: SOT 68842401 SOS 10341064 HAS SOPS 10341064 HAS SOUS 5687236 HAS SOUPS 5687236 WITH SCORE 5697577.064
AT ITER 1767 NEW BEST:: SOT 68842022 SOS 10340306 HAS SOPS 10340306 HAS SOUS 5686856 HAS SOUPS 5686856 WITH SCORE 5697196.306
AT ITER 1816 NEW BEST:: SOT 68841496 SOS 10340591 HAS SOPS 10340591 HAS SOUS 5686562 HAS SOUPS 5686562 WITH SCORE 5696902.591
AT ITER 1825 NEW BEST:: SOT 68840734 SOS 10339141 HAS SOPS 10339141 HAS SOUS 5685212 HAS SOUPS 5685212 WITH SCORE 5695551.141
AT ITER 1873 NEW BEST:: SOT 68827951 SOS 10404003 HAS SOPS 10404003 HAS SOUS 5672421 HAS SOUPS 5672421 WITH SCORE 5682825.003
AT ITER 1878 NEW BEST:: SOT 68827902 SOS 10403905 HAS SOPS 10403905 HAS SOUS 5672323 HAS SOUPS 5672323 WITH SCORE 5682726.905
AT ITER 1919 NEW BEST:: SOT 68827558 SOS 10403217 HAS SOPS 10403217 HAS SOUS 5671979 HAS SOUPS 5671979 WITH SCORE 5682382.217
AT ITER 1956 NEW BEST:: SOT 68826971 SOS 10402043 HAS SOPS 10402043 HAS SOUS 5671392 HAS SOUPS 5671392 WITH SCORE 5681794.043
AT ITER 1969 NEW BEST:: SOT 68826652 SOS 10399023 HAS SOPS 10399023 HAS SOUS 5670234 HAS SOUPS 5670234 WITH SCORE 5680633.023
AT ITER 1989 NEW BEST:: SOT 68826096 SOS 10398189 HAS SOPS 10398189 HAS SOUS 5669678 HAS SOUPS 5669678 WITH SCORE 5680076.189
AT ITER 1999 NEW BEST:: SOT 68825412 SOS 10396821 HAS SOPS 10396821 HAS SOUS 5668310 HAS SOUPS 5668310 WITH SCORE 5678706.821
AT ITER 2057 NEW BEST:: SOT 68825006 SOS 10396009 HAS SOPS 10396009 HAS SOUS 5667904 HAS SOUPS 5667904 WITH SCORE 5678300.009
AT ITER 2061 NEW BEST:: SOT 68823984 SOS 10394773 HAS SOPS 10394773 HAS SOUS 5666478 HAS SOUPS 5666478 WITH SCORE 5676872.773
AT ITER 2070 NEW BEST:: SOT 68823507 SOS 10394835 HAS SOPS 10394835 HAS SOUS 5666180 HAS SOUPS 5666180 WITH SCORE 5676574.835
AT ITER 2091 NEW BEST:: SOT 68821848 SOS 10393413 HAS SOPS 10393413 HAS SOUS 5664747 HAS SOUPS 5664747 WITH SCORE 5675140.413
AT ITER 2137 NEW BEST:: SOT 68821702 SOS 10393121 HAS SOPS 10393121 HAS SOUS 5664528 HAS SOUPS 5664528 WITH SCORE 5674921.121
AT ITER 2168 NEW BEST:: SOT 68821359 SOS 10392092 HAS SOPS 10392092 HAS SOUS 5664280 HAS SOUPS 5664280 WITH SCORE 5674672.092
AT ITER 2183 NEW BEST:: SOT 68819274 SOS 10389092 HAS SOPS 10389092 HAS SOUS 5661025 HAS SOUPS 5661025 WITH SCORE 5671414.092
AT ITER 2206 NEW BEST:: SOT 68819035 SOS 10388614 HAS SOPS 10388614 HAS SOUS 5660786 HAS SOUPS 5660786 WITH SCORE 5671174.614
AT ITER 2230 NEW BEST:: SOT 68819035 SOS 10387306 HAS SOPS 10387306 HAS SOUS 5660786 HAS SOUPS 5660786 WITH SCORE 5671173.306
AT ITER 2236 NEW BEST:: SOT 68818267 SOS 10385770 HAS SOPS 10385770 HAS SOUS 5660018 HAS SOUPS 5660018 WITH SCORE 5670403.77
AT ITER 2237 NEW BEST:: SOT 68818267 SOS 10385672 HAS SOPS 10385672 HAS SOUS 5660018 HAS SOUPS 5660018 WITH SCORE 5670403.672
AT ITER 2284 NEW BEST:: SOT 68814275 SOS 10381685 HAS SOPS 10381685 HAS SOUS 5656025 HAS SOUPS 5656025 WITH SCORE 5666406.685
AT ITER 2343 NEW BEST:: SOT 68813133 SOS 10380103 HAS SOPS 10380103 HAS SOUS 5654181 HAS SOUPS 5654181 WITH SCORE 5664561.103
AT ITER 2357 NEW BEST:: SOT 68812538 SOS 10379593 HAS SOPS 10379593 HAS SOUS 5653584 HAS SOUPS 5653584 WITH SCORE 5663963.593
AT ITER 2377 NEW BEST:: SOT 68812007 SOS 10377469 HAS SOPS 10377469 HAS SOUS 5653053 HAS SOUPS 5653053 WITH SCORE 5663430.469
AT ITER 2381 NEW BEST:: SOT 68812002 SOS 10377459 HAS SOPS 10377459 HAS SOUS 5652985 HAS SOUPS 5652985 WITH SCORE 5663362.459
AT ITER 2429 NEW BEST:: SOT 68810648 SOS 10376585 HAS SOPS 10376585 HAS SOUS 5651955 HAS SOUPS 5651955 WITH SCORE 5662331.585
AT ITER 2438 NEW BEST:: SOT 68810092 SOS 10375751 HAS SOPS 10375751 HAS SOUS 5651677 HAS SOUPS 5651677 WITH SCORE 5662052.751
AT ITER 2453 NEW BEST:: SOT 68809759 SOS 10374667 HAS SOPS 10374667 HAS SOUS 5651344 HAS SOUPS 5651344 WITH SCORE 5661718.667
AT ITER 2467 NEW BEST:: SOT 68809423 SOS 10373995 HAS SOPS 10373995 HAS SOUS 5651342 HAS SOUPS 5651342 WITH SCORE 5661715.995
AT ITER 2474 NEW BEST:: SOT 68808601 SOS 10373704 HAS SOPS 10373704 HAS SOUS 5650198 HAS SOUPS 5650198 WITH SCORE 5660571.704
AT ITER 2480 NEW BEST:: SOT 68807096 SOS 10365168 HAS SOPS 10365168 HAS SOUS 5649308 HAS SOUPS 5649308 WITH SCORE 5659673.168
AT ITER 2483 NEW BEST:: SOT 68805185 SOS 10363497 HAS SOPS 10363497 HAS SOUS 5646899 HAS SOUPS 5646899 WITH SCORE 5657262.497
AT ITER 2494 NEW BEST:: SOT 68800360 SOS 10358091 HAS SOPS 10358091 HAS SOUS 5641100 HAS SOUPS 5641100 WITH SCORE 5651458.091
AT ITER 2500 NEW BEST:: SOT 68800092 SOS 10357555 HAS SOPS 10357555 HAS SOUS 5640831 HAS SOUPS 5640831 WITH SCORE 5651188.555
AT ITER 2504 NEW BEST:: SOT 68795032 SOS 10354057 HAS SOPS 10354057 HAS SOUS 5636066 HAS SOUPS 5636066 WITH SCORE 5646420.057
AT ITER 2556 NEW BEST:: SOT 68794984 SOS 10353961 HAS SOPS 10353961 HAS SOUS 5635994 HAS SOUPS 5635994 WITH SCORE 5646347.961
AT ITER 2559 NEW BEST:: SOT 68794962 SOS 10353917 HAS SOPS 10353917 HAS SOUS 5635972 HAS SOUPS 5635972 WITH SCORE 5646325.917
AT ITER 2574 NEW BEST:: SOT 68794601 SOS 10351455 HAS SOPS 10351455 HAS SOUS 5635628 HAS SOUPS 5635628 WITH SCORE 5645979.455
AT ITER 2587 NEW BEST:: SOT 68793291 SOS 10348835 HAS SOPS 10348835 HAS SOUS 5634824 HAS SOUPS 5634824 WITH SCORE 5645172.835
AT ITER 2594 NEW BEST:: SOT 68793742 SOS 10339468 HAS SOPS 10339468 HAS SOUS 5634259 HAS SOUPS 5634259 WITH SCORE 5644598.468
AT ITER 2596 NEW BEST:: SOT 68793742 SOS 10339468 HAS SOPS 10339468 HAS SOUS 5634258 HAS SOUPS 5634258 WITH SCORE 5644597.468
AT ITER 2604 NEW BEST:: SOT 68793742 SOS 10339468 HAS SOPS 10339468 HAS SOUS 5634257 HAS SOUPS 5634257 WITH SCORE 5644596.468
AT ITER 2609 NEW BEST:: SOT 68792438 SOS 10338278 HAS SOPS 10338278 HAS SOUS 5633067 HAS SOUPS 5633067 WITH SCORE 5643405.278
AT ITER 2620 NEW BEST:: SOT 68788675 SOS 10333680 HAS SOPS 10333680 HAS SOUS 5628352 HAS SOUPS 5628352 WITH SCORE 5638685.68
AT ITER 2643 NEW BEST:: SOT 68788396 SOS 10333122 HAS SOPS 10333122 HAS SOUS 5628072 HAS SOUPS 5628072 WITH SCORE 5638405.122
AT ITER 2665 NEW BEST:: SOT 68788366 SOS 10333105 HAS SOPS 10333105 HAS SOUS 5627968 HAS SOUPS 5627968 WITH SCORE 5638301.105
AT ITER 2672 NEW BEST:: SOT 68787835 SOS 10332764 HAS SOPS 10332764 HAS SOUS 5627470 HAS SOUPS 5627470 WITH SCORE 5637802.764
AT ITER 2700 NEW BEST:: SOT 68787835 SOS 10332707 HAS SOPS 10332707 HAS SOUS 5627470 HAS SOUPS 5627470 WITH SCORE 5637802.707
AT ITER 2708 NEW BEST:: SOT 68787530 SOS 10330716 HAS SOPS 10330716 HAS SOUS 5625827 HAS SOUPS 5625827 WITH SCORE 5636157.716
AT ITER 2723 NEW BEST:: SOT 68787162 SOS 10330390 HAS SOPS 10330390 HAS SOUS 5625501 HAS SOUPS 5625501 WITH SCORE 5635831.39
AT ITER 2726 NEW BEST:: SOT 68787075 SOS 10330216 HAS SOPS 10330216 HAS SOUS 5625497 HAS SOUPS 5625497 WITH SCORE 5635827.216
AT ITER 2740 NEW BEST:: SOT 68787074 SOS 10330214 HAS SOPS 10330214 HAS SOUS 5625495 HAS SOUPS 5625495 WITH SCORE 5635825.214
AT ITER 2741 NEW BEST:: SOT 68786549 SOS 10330444 HAS SOPS 10330444 HAS SOUS 5624968 HAS SOUPS 5624968 WITH SCORE 5635298.444
AT ITER 2751 NEW BEST:: SOT 68784834 SOS 10328805 HAS SOPS 10328805 HAS SOUS 5623252 HAS SOUPS 5623252 WITH SCORE 5633580.805
AT ITER 2772 NEW BEST:: SOT 68784624 SOS 10328385 HAS SOPS 10328385 HAS SOUS 5623042 HAS SOUPS 5623042 WITH SCORE 5633370.385
AT ITER 2793 NEW BEST:: SOT 68764966 SOS 10308392 HAS SOPS 10308392 HAS SOUS 5603045 HAS SOUPS 5603045 WITH SCORE 5613353.392
AT ITER 2804 NEW BEST:: SOT 68764753 SOS 10308239 HAS SOPS 10308239 HAS SOUS 5602696 HAS SOUPS 5602696 WITH SCORE 5613004.239
AT ITER 2824 NEW BEST:: SOT 68764490 SOS 10307713 HAS SOPS 10307713 HAS SOUS 5602695 HAS SOUPS 5602695 WITH SCORE 5613002.713
AT ITER 2836 NEW BEST:: SOT 68763475 SOS 10304668 HAS SOPS 10304668 HAS SOUS 5602437 HAS SOUPS 5602437 WITH SCORE 5612741.668
AT ITER 2847 NEW BEST:: SOT 68762726 SOS 10304220 HAS SOPS 10304220 HAS SOUS 5601902 HAS SOUPS 5601902 WITH SCORE 5612206.22
AT ITER 2858 NEW BEST:: SOT 68762416 SOS 10303600 HAS SOPS 10303600 HAS SOUS 5601877 HAS SOUPS 5601877 WITH SCORE 5612180.6
AT ITER 2867 NEW BEST:: SOT 68762129 SOS 10303026 HAS SOPS 10303026 HAS SOUS 5601876 HAS SOUPS 5601876 WITH SCORE 5612179.026
AT ITER 2914 NEW BEST:: SOT 68761269 SOS 10301306 HAS SOPS 10301306 HAS SOUS 5601016 HAS SOUPS 5601016 WITH SCORE 5611317.306
AT ITER 2920 NEW BEST:: SOT 68761194 SOS 10301156 HAS SOPS 10301156 HAS SOUS 5600941 HAS SOUPS 5600941 WITH SCORE 5611242.156
AT ITER 2932 NEW BEST:: SOT 68760910 SOS 10300588 HAS SOPS 10300588 HAS SOUS 5600657 HAS SOUPS 5600657 WITH SCORE 5610957.588
AT ITER 2984 NEW BEST:: SOT 68760318 SOS 10299108 HAS SOPS 10299108 HAS SOUS 5600065 HAS SOUPS 5600065 WITH SCORE 5610364.108
AT ITER 3011 NEW BEST:: SOT 68760005 SOS 10298482 HAS SOPS 10298482 HAS SOUS 5599752 HAS SOUPS 5599752 WITH SCORE 5610050.482
AT ITER 3049 NEW BEST:: SOT 68759870 SOS 10233679 HAS SOPS 10233679 HAS SOUS 5599617 HAS SOUPS 5599617 WITH SCORE 5609850.679
AT ITER 3056 NEW BEST:: SOT 68759870 SOS 10233663 HAS SOPS 10233663 HAS SOUS 5599617 HAS SOUPS 5599617 WITH SCORE 5609850.663
AT ITER 3069 NEW BEST:: SOT 68757820 SOS 10230720 HAS SOPS 10230720 HAS SOUS 5596410 HAS SOUPS 5596410 WITH SCORE 5606640.72
AT ITER 3087 NEW BEST:: SOT 68757049 SOS 10229178 HAS SOPS 10229178 HAS SOUS 5595639 HAS SOUPS 5595639 WITH SCORE 5605868.178
AT ITER 3092 NEW BEST:: SOT 68756377 SOS 10230824 HAS SOPS 10230824 HAS SOUS 5594908 HAS SOUPS 5594908 WITH SCORE 5605138.824
AT ITER 3132 NEW BEST:: SOT 68755140 SOS 10233495 HAS SOPS 10233495 HAS SOUS 5594789 HAS SOUPS 5594789 WITH SCORE 5605022.495
AT ITER 3153 NEW BEST:: SOT 68753732 SOS 10231774 HAS SOPS 10231774 HAS SOUS 5593068 HAS SOUPS 5593068 WITH SCORE 5603299.774
AT ITER 3163 NEW BEST:: SOT 68753385 SOS 10231475 HAS SOPS 10231475 HAS SOUS 5592498 HAS SOUPS 5592498 WITH SCORE 5602729.475
AT ITER 3185 NEW BEST:: SOT 68752933 SOS 10230571 HAS SOPS 10230571 HAS SOUS 5592497 HAS SOUPS 5592497 WITH SCORE 5602727.571
AT ITER 3195 NEW BEST:: SOT 68752246 SOS 10230412 HAS SOPS 10230412 HAS SOUS 5592078 HAS SOUPS 5592078 WITH SCORE 5602308.412
AT ITER 3219 NEW BEST:: SOT 68751967 SOS 10229854 HAS SOPS 10229854 HAS SOUS 5591799 HAS SOUPS 5591799 WITH SCORE 5602028.854
AT ITER 3220 NEW BEST:: SOT 68751832 SOS 10229494 HAS SOPS 10229494 HAS SOUS 5591664 HAS SOUPS 5591664 WITH SCORE 5601893.494
AT ITER 3226 NEW BEST:: SOT 68751832 SOS 10229494 HAS SOPS 10229494 HAS SOUS 5591663 HAS SOUPS 5591663 WITH SCORE 5601892.494
AT ITER 3229 NEW BEST:: SOT 68751380 SOS 10228590 HAS SOPS 10228590 HAS SOUS 5591209 HAS SOUPS 5591209 WITH SCORE 5601437.59
AT ITER 3240 NEW BEST:: SOT 68750996 SOS 10227822 HAS SOPS 10227822 HAS SOUS 5591173 HAS SOUPS 5591173 WITH SCORE 5601400.822
AT ITER 3242 NEW BEST:: SOT 68750574 SOS 10226978 HAS SOPS 10226978 HAS SOUS 5590751 HAS SOUPS 5590751 WITH SCORE 5600977.978
AT ITER 3271 NEW BEST:: SOT 68750460 SOS 10227322 HAS SOPS 10227322 HAS SOUS 5590637 HAS SOUPS 5590637 WITH SCORE 5600864.322
AT ITER 3280 NEW BEST:: SOT 68750460 SOS 10226927 HAS SOPS 10226927 HAS SOUS 5590636 HAS SOUPS 5590636 WITH SCORE 5600862.927
AT ITER 3289 NEW BEST:: SOT 68750074 SOS 10226155 HAS SOPS 10226155 HAS SOUS 5590250 HAS SOUPS 5590250 WITH SCORE 5600476.155
AT ITER 3296 NEW BEST:: SOT 68750074 SOS 10225451 HAS SOPS 10225451 HAS SOUS 5590250 HAS SOUPS 5590250 WITH SCORE 5600475.451
AT ITER 3329 NEW BEST:: SOT 68749062 SOS 10223427 HAS SOPS 10223427 HAS SOUS 5589238 HAS SOUPS 5589238 WITH SCORE 5599461.427
AT ITER 3354 NEW BEST:: SOT 68748185 SOS 10221673 HAS SOPS 10221673 HAS SOUS 5588361 HAS SOUPS 5588361 WITH SCORE 5598582.673
AT ITER 3371 NEW BEST:: SOT 68748441 SOS 10222185 HAS SOPS 10222185 HAS SOUS 5588341 HAS SOUPS 5588341 WITH SCORE 5598563.185
AT ITER 3448 NEW BEST:: SOT 68747577 SOS 10221465 HAS SOPS 10221465 HAS SOUS 5587476 HAS SOUPS 5587476 WITH SCORE 5597697.465
AT ITER 3491 NEW BEST:: SOT 68747525 SOS 10221361 HAS SOPS 10221361 HAS SOUS 5587474 HAS SOUPS 5587474 WITH SCORE 5597695.361
AT ITER 3539 NEW BEST:: SOT 68747417 SOS 10221145 HAS SOPS 10221145 HAS SOUS 5587418 HAS SOUPS 5587418 WITH SCORE 5597639.145
AT ITER 3550 NEW BEST:: SOT 68747379 SOS 10221069 HAS SOPS 10221069 HAS SOUS 5587380 HAS SOUPS 5587380 WITH SCORE 5597601.069
AT ITER 3599 NEW BEST:: SOT 68746635 SOS 10219581 HAS SOPS 10219581 HAS SOUS 5585892 HAS SOUPS 5585892 WITH SCORE 5596111.581
AT ITER 3630 NEW BEST:: SOT 68745969 SOS 10218249 HAS SOPS 10218249 HAS SOUS 5585225 HAS SOUPS 5585225 WITH SCORE 5595443.249
AT ITER 3656 NEW BEST:: SOT 68745707 SOS 10217725 HAS SOPS 10217725 HAS SOUS 5584962 HAS SOUPS 5584962 WITH SCORE 5595179.725
AT ITER 3657 NEW BEST:: SOT 68745707 SOS 10216447 HAS SOPS 10216447 HAS SOUS 5584962 HAS SOUPS 5584962 WITH SCORE 5595178.447
AT ITER 3677 NEW BEST:: SOT 68637841 SOS 10307895 HAS SOPS 10307895 HAS SOUS 5480104 HAS SOUPS 5480104 WITH SCORE 5490411.895
AT ITER 3729 NEW BEST:: SOT 68605607 SOS 10277023 HAS SOPS 10277023 HAS SOUS 5447870 HAS SOUPS 5447870 WITH SCORE 5458147.023
AT ITER 3735 NEW BEST:: SOT 68604098 SOS 10274993 HAS SOPS 10274993 HAS SOUS 5445570 HAS SOUPS 5445570 WITH SCORE 5455844.993
AT ITER 3788 NEW BEST:: SOT 68603878 SOS 10274553 HAS SOPS 10274553 HAS SOUS 5445350 HAS SOUPS 5445350 WITH SCORE 5455624.553
AT ITER 3822 NEW BEST:: SOT 68603789 SOS 10274375 HAS SOPS 10274375 HAS SOUS 5445175 HAS SOUPS 5445175 WITH SCORE 5455449.375
AT ITER 3839 NEW BEST:: SOT 68603483 SOS 10273763 HAS SOPS 10273763 HAS SOUS 5444869 HAS SOUPS 5444869 WITH SCORE 5455142.763
AT ITER 3853 NEW BEST:: SOT 68559207 SOS 10320157 HAS SOPS 10320157 HAS SOUS 5401511 HAS SOUPS 5401511 WITH SCORE 5411831.157
AT ITER 3859 NEW BEST:: SOT 68559151 SOS 10320045 HAS SOPS 10320045 HAS SOUS 5401455 HAS SOUPS 5401455 WITH SCORE 5411775.045
AT ITER 3861 NEW BEST:: SOT 68559110 SOS 10319963 HAS SOPS 10319963 HAS SOUS 5401414 HAS SOUPS 5401414 WITH SCORE 5411733.963
AT ITER 3911 NEW BEST:: SOT 68559083 SOS 10319909 HAS SOPS 10319909 HAS SOUS 5401387 HAS SOUPS 5401387 WITH SCORE 5411706.909
AT ITER 3924 NEW BEST:: SOT 68558081 SOS 10317905 HAS SOPS 10317905 HAS SOUS 5400384 HAS SOUPS 5400384 WITH SCORE 5410701.905
AT ITER 3938 NEW BEST:: SOT 68557013 SOS 10313435 HAS SOPS 10313435 HAS SOUS 5399317 HAS SOUPS 5399317 WITH SCORE 5409630.435
AT ITER 4029 NEW BEST:: SOT 68557013 SOS 10310174 HAS SOPS 10310174 HAS SOUS 5399317 HAS SOUPS 5399317 WITH SCORE 5409627.174
AT ITER 4053 NEW BEST:: SOT 68556294 SOS 10308736 HAS SOPS 10308736 HAS SOUS 5399282 HAS SOUPS 5399282 WITH SCORE 5409590.736
AT ITER 4089 NEW BEST:: SOT 68556292 SOS 10308672 HAS SOPS 10308672 HAS SOUS 5399280 HAS SOUPS 5399280 WITH SCORE 5409588.672
AT ITER 4126 NEW BEST:: SOT 68555806 SOS 10307700 HAS SOPS 10307700 HAS SOUS 5398791 HAS SOUPS 5398791 WITH SCORE 5409098.7
AT ITER 4145 NEW BEST:: SOT 68555392 SOS 10309038 HAS SOPS 10309038 HAS SOUS 5398624 HAS SOUPS 5398624 WITH SCORE 5408933.038
AT ITER 4151 NEW BEST:: SOT 68555392 SOS 10306410 HAS SOPS 10306410 HAS SOUS 5398024 HAS SOUPS 5398024 WITH SCORE 5408330.41
AT ITER 4155 NEW BEST:: SOT 68555392 SOS 10306286 HAS SOPS 10306286 HAS SOUS 5397900 HAS SOUPS 5397900 WITH SCORE 5408206.286
AT ITER 4158 NEW BEST:: SOT 68554801 SOS 10305930 HAS SOPS 10305930 HAS SOUS 5397430 HAS SOUPS 5397430 WITH SCORE 5407735.93
AT ITER 4219 NEW BEST:: SOT 68554533 SOS 10305126 HAS SOPS 10305126 HAS SOUS 5396894 HAS SOUPS 5396894 WITH SCORE 5407199.126
AT ITER 4224 NEW BEST:: SOT 68553633 SOS 10302406 HAS SOPS 10302406 HAS SOUS 5396001 HAS SOUPS 5396001 WITH SCORE 5406303.406
AT ITER 4230 NEW BEST:: SOT 68553312 SOS 10301657 HAS SOPS 10301657 HAS SOUS 5395573 HAS SOUPS 5395573 WITH SCORE 5405874.657
AT ITER 4239 NEW BEST:: SOT 68553201 SOS 10300805 HAS SOPS 10300805 HAS SOUS 5395462 HAS SOUPS 5395462 WITH SCORE 5405762.805
AT ITER 4250 NEW BEST:: SOT 68553128 SOS 10300805 HAS SOPS 10300805 HAS SOUS 5395389 HAS SOUPS 5395389 WITH SCORE 5405689.805
AT ITER 4298 NEW BEST:: SOT 68552634 SOS 10300311 HAS SOPS 10300311 HAS SOUS 5395389 HAS SOUPS 5395389 WITH SCORE 5405689.311
AT ITER 4329 NEW BEST:: SOT 68552401 SOS 10299845 HAS SOPS 10299845 HAS SOUS 5395154 HAS SOUPS 5395154 WITH SCORE 5405453.845
AT ITER 4333 NEW BEST:: SOT 68552128 SOS 10299299 HAS SOPS 10299299 HAS SOUS 5394881 HAS SOUPS 5394881 WITH SCORE 5405180.299
AT ITER 4336 NEW BEST:: SOT 68551780 SOS 10297907 HAS SOPS 10297907 HAS SOUS 5394532 HAS SOUPS 5394532 WITH SCORE 5404829.907
AT ITER 4373 NEW BEST:: SOT 68551172 SOS 10296691 HAS SOPS 10296691 HAS SOUS 5393924 HAS SOUPS 5393924 WITH SCORE 5404220.691
AT ITER 4378 NEW BEST:: SOT 68550865 SOS 10296662 HAS SOPS 10296662 HAS SOUS 5393649 HAS SOUPS 5393649 WITH SCORE 5403945.662
AT ITER 4381 NEW BEST:: SOT 68550225 SOS 10292873 HAS SOPS 10292873 HAS SOUS 5392471 HAS SOUPS 5392471 WITH SCORE 5402763.873
AT ITER 4390 NEW BEST:: SOT 68549923 SOS 10292269 HAS SOPS 10292269 HAS SOUS 5392467 HAS SOUPS 5392467 WITH SCORE 5402759.269
AT ITER 4406 NEW BEST:: SOT 68549826 SOS 10291978 HAS SOPS 10291978 HAS SOUS 5392370 HAS SOUPS 5392370 WITH SCORE 5402661.978
AT ITER 4409 NEW BEST:: SOT 68512567 SOS 10698276 HAS SOPS 10698276 HAS SOUS 5359422 HAS SOUPS 5359422 WITH SCORE 5370120.276
AT ITER 4415 NEW BEST:: SOT 68511232 SOS 10695606 HAS SOPS 10695606 HAS SOUS 5359318 HAS SOUPS 5359318 WITH SCORE 5370013.606
AT ITER 4449 NEW BEST:: SOT 68510258 SOS 10693658 HAS SOPS 10693658 HAS SOUS 5358874 HAS SOUPS 5358874 WITH SCORE 5369567.658
AT ITER 4457 NEW BEST:: SOT 68509334 SOS 10691810 HAS SOPS 10691810 HAS SOUS 5357950 HAS SOUPS 5357950 WITH SCORE 5368641.81
AT ITER 4471 NEW BEST:: SOT 68509079 SOS 10691553 HAS SOPS 10691553 HAS SOUS 5357949 HAS SOUPS 5357949 WITH SCORE 5368640.553
AT ITER 4482 NEW BEST:: SOT 68508725 SOS 10691435 HAS SOPS 10691435 HAS SOUS 5357595 HAS SOUPS 5357595 WITH SCORE 5368286.435
AT ITER 4495 NEW BEST:: SOT 68507971 SOS 10691173 HAS SOPS 10691173 HAS SOUS 5356976 HAS SOUPS 5356976 WITH SCORE 5367667.173
AT ITER 4521 NEW BEST:: SOT 68507424 SOS 10690079 HAS SOPS 10690079 HAS SOUS 5356973 HAS SOUPS 5356973 WITH SCORE 5367663.079
AT ITER 4546 NEW BEST:: SOT 68506460 SOS 10689545 HAS SOPS 10689545 HAS SOUS 5355867 HAS SOUPS 5355867 WITH SCORE 5366556.545
AT ITER 4558 NEW BEST:: SOT 68506431 SOS 10689680 HAS SOPS 10689680 HAS SOUS 5355838 HAS SOUPS 5355838 WITH SCORE 5366527.68
AT ITER 4594 NEW BEST:: SOT 68506159 SOS 10689136 HAS SOPS 10689136 HAS SOUS 5355566 HAS SOUPS 5355566 WITH SCORE 5366255.136
AT ITER 4609 NEW BEST:: SOT 68506043 SOS 10689255 HAS SOPS 10689255 HAS SOUS 5355451 HAS SOUPS 5355451 WITH SCORE 5366140.255
AT ITER 4640 NEW BEST:: SOT 68505714 SOS 10688597 HAS SOPS 10688597 HAS SOUS 5355450 HAS SOUPS 5355450 WITH SCORE 5366138.597
AT ITER 4718 NEW BEST:: SOT 68505330 SOS 10687445 HAS SOPS 10687445 HAS SOUS 5355066 HAS SOUPS 5355066 WITH SCORE 5365753.445
AT ITER 4719 NEW BEST:: SOT 68505081 SOS 10686485 HAS SOPS 10686485 HAS SOUS 5354923 HAS SOUPS 5354923 WITH SCORE 5365609.485
AT ITER 4730 NEW BEST:: SOT 68505081 SOS 10685905 HAS SOPS 10685905 HAS SOUS 5354633 HAS SOUPS 5354633 WITH SCORE 5365318.905
AT ITER 4733 NEW BEST:: SOT 68503798 SOS 10680773 HAS SOPS 10680773 HAS SOUS 5353349 HAS SOUPS 5353349 WITH SCORE 5364029.773
AT ITER 4760 NEW BEST:: SOT 68503580 SOS 10680464 HAS SOPS 10680464 HAS SOUS 5353321 HAS SOUPS 5353321 WITH SCORE 5364001.464
AT ITER 4779 NEW BEST:: SOT 68503136 SOS 10679576 HAS SOPS 10679576 HAS SOUS 5352877 HAS SOUPS 5352877 WITH SCORE 5363556.576
AT ITER 4825 NEW BEST:: SOT 68503131 SOS 10679566 HAS SOPS 10679566 HAS SOUS 5352871 HAS SOUPS 5352871 WITH SCORE 5363550.566
AT ITER 4872 NEW BEST:: SOT 68502837 SOS 10678435 HAS SOPS 10678435 HAS SOUS 5352577 HAS SOUPS 5352577 WITH SCORE 5363255.435
AT ITER 4891 NEW BEST:: SOT 68502561 SOS 10678219 HAS SOPS 10678219 HAS SOUS 5352300 HAS SOUPS 5352300 WITH SCORE 5362978.219
AT ITER 4900 NEW BEST:: SOT 68498627 SOS 10684726 HAS SOPS 10684726 HAS SOUS 5351190 HAS SOUPS 5351190 WITH SCORE 5361874.726
AT ITER 4945 NEW BEST:: SOT 68469226 SOS 10771730 HAS SOPS 10771730 HAS SOUS 5326399 HAS SOUPS 5326399 WITH SCORE 5337170.73
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-8B-CTLCardinality-00 ( (EG( (AF(potential( (tk(P2316)) <= (tk(P7901)) ))))) | (AU( potential( (tk(P497)) <= (tk(P3129)) ),potential( ( 2 ) <= (tk(P8448)) ) )) )
PROPERTY: NoC3x3-PT-8B-CTLCardinality-01 ( (EF(( ( potential( (tk(P3612)) <= (tk(P2864)) ) & potential( ( 1 ) <= (tk(P5714)) ) ) | ( potential( ( 2 ) <= (tk(P5403)) ) & potential( (tk(P4105)) <= (tk(P533)) ) ) ))) & (EF(potential( ( 3 ) <= (tk(P2175)) ))) )
PROPERTY: NoC3x3-PT-8B-CTLCardinality-02 (EU( ( (! potential( ( 3 ) <= (tk(P5744)) )) & ( potential( (tk(P1237)) <= (tk(P2792)) ) & potential( (tk(P4476)) <= (tk(P8613)) ) ) ),potential( ( 3 ) <= (tk(P1925)) ) ))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-03 (EU( (EX( potential( (tk(P2026)) <= (tk(P2165)) ))),( ( potential( ( 1 ) <= (tk(P92)) ) & potential( (tk(P5632)) <= (tk(P2478)) ) ) & ( potential( ( 2 ) <= (tk(P434)) ) & potential( ( 1 ) <= (tk(P4152)) ) ) ) ))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-04 (AG( (AG( ( potential( ( 3 ) <= (tk(P7400)) ) | potential( (tk(P4314)) <= (tk(P616)) ) )))))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-05 ( (AG( (! potential( ( 3 ) <= (tk(P5222)) )))) & ( ( ( potential( (tk(P5561)) <= (tk(P6673)) ) | potential( ( 2 ) <= (tk(P4989)) ) ) | (EX( potential( ( 2 ) <= (tk(P3703)) ))) ) | ( (! (! potential( ( 2 ) <= (tk(P4154)) ))) | ( (! potential( ( 2 ) <= (tk(P2035)) )) & potential( (tk(P6379)) <= (tk(P3434)) ) ) ) ) )
PROPERTY: NoC3x3-PT-8B-CTLCardinality-06 (! (AF((! (! potential( ( 1 ) <= (tk(P3422)) ))))))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-07 (EG( (EX( potential( (tk(P8662)) <= (tk(P8574)) )))))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-08 (EU( (AX( potential( (tk(P4739)) <= (tk(P5475)) ))),( ( potential( ( 2 ) <= (tk(P4676)) ) | potential( (tk(P6580)) <= (tk(P3739)) ) ) & ( potential( (tk(P9115)) <= (tk(P8486)) ) & potential( ( 2 ) <= (tk(P3357)) ) ) ) ))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-09 (! (AU( ( potential( (tk(P6994)) <= (tk(P8448)) ) & potential( (tk(P4197)) <= (tk(P7585)) ) ),(! potential( (tk(P4074)) <= (tk(P3782)) )) )))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-10 (EF((AG( ( potential( (tk(P297)) <= (tk(P6628)) ) | potential( (tk(P3430)) <= (tk(P1476)) ) )))))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-11 ( ( (AU( potential( (tk(P7324)) <= (tk(P3774)) ),potential( (tk(P5859)) <= (tk(P8547)) ) )) & ( potential( ( 2 ) <= (tk(P3061)) ) & potential( (tk(P2652)) <= (tk(P8023)) ) ) ) | (AU( ( potential( (tk(P3917)) <= (tk(P9053)) ) | potential( (tk(P4070)) <= (tk(P9124)) ) ),(! potential( (tk(P4511)) <= (tk(P7615)) )) )) )
PROPERTY: NoC3x3-PT-8B-CTLCardinality-12 (AU( potential( (tk(P4802)) <= (tk(P5851)) ),(! ( potential( ( 1 ) <= (tk(P6322)) ) | potential( (tk(P5381)) <= (tk(P3948)) ) )) ))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-13 (EF(( ( (! potential( ( 1 ) <= (tk(P1804)) )) | ( potential( (tk(P6351)) <= (tk(P2086)) ) | potential( (tk(P4911)) <= (tk(P9013)) ) ) ) & ( ( potential( ( 2 ) <= (tk(P4616)) ) & potential( (tk(P1871)) <= (tk(P2667)) ) ) & (! potential( (tk(P5851)) <= (tk(P5180)) )) ) )))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-14 (EU( ( potential( ( 1 ) <= (tk(P3006)) ) | potential( ( 3 ) <= (tk(P8585)) ) ),(AG( potential( (tk(P2422)) <= (tk(P6434)) ))) ))
PROPERTY: NoC3x3-PT-8B-CTLCardinality-15 (AU( potential( (tk(P5082)) <= (tk(P2812)) ),( ( potential( ( 2 ) <= (tk(P4328)) ) & potential( ( 1 ) <= (tk(P4760)) ) ) & ( potential( (tk(P7466)) <= (tk(P5901)) ) & potential( ( 3 ) <= (tk(P7171)) ) ) ) ))

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="NoC3x3-PT-8B"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-8B, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500451"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8B.tgz
mv NoC3x3-PT-8B execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;