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.r139-smll-167819423300528.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DoubleLock-PT-p1s3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423300528
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 14:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 14:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 14:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678460900059

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=DoubleLock-PT-p1s3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 15:08:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 15:08:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 15:08:23] [INFO ] Load time of PNML (sax parser for PT used): 685 ms
[2023-03-10 15:08:23] [INFO ] Transformed 570 places.
[2023-03-10 15:08:24] [INFO ] Transformed 7568 transitions.
[2023-03-10 15:08:24] [INFO ] Parsed PT model containing 570 places and 7568 transitions and 30656 arcs in 891 ms.
[2023-03-10 15:08:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 570 places, 7568 transitions and 30656 arcs took 86 ms.
Total runtime 1041 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p1s3
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: 570 places, 7568 transitions, 30656 arcs.
AT ITER 0 NEW BEST:: SOT 1800929 SOS 1570232 HAS SOPS 1488684 HAS SOUS 636155 HAS SOUPS 595247 WITH SCORE 596817.232
AT ITER 17 NEW BEST:: SOT 1801293 SOS 1570156 HAS SOPS 1488718 HAS SOUS 635356 HAS SOUPS 594503 WITH SCORE 596073.156
AT ITER 40 NEW BEST:: SOT 1798553 SOS 1567805 HAS SOPS 1486381 HAS SOUS 633200 HAS SOUPS 592361 WITH SCORE 593928.805
AT ITER 43 NEW BEST:: SOT 1800653 SOS 1558230 HAS SOPS 1456151 HAS SOUS 618367 HAS SOUPS 577522 WITH SCORE 579080.23
AT ITER 50 NEW BEST:: SOT 1801143 SOS 1557946 HAS SOPS 1456125 HAS SOUS 617040 HAS SOUPS 576281 WITH SCORE 577838.946
AT ITER 78 NEW BEST:: SOT 1804630 SOS 1559903 HAS SOPS 1458592 HAS SOUS 616668 HAS SOUPS 576079 WITH SCORE 577638.903
AT ITER 96 NEW BEST:: SOT 1805440 SOS 1559714 HAS SOPS 1458736 HAS SOUS 614755 HAS SOUPS 574277 WITH SCORE 575836.714
AT ITER 136 NEW BEST:: SOT 1803542 SOS 1548267 HAS SOPS 1447289 HAS SOUS 607656 HAS SOUPS 567178 WITH SCORE 568726.267
AT ITER 181 NEW BEST:: SOT 1804090 SOS 1548075 HAS SOPS 1447325 HAS SOUS 606540 HAS SOUPS 566138 WITH SCORE 567686.075
AT ITER 192 NEW BEST:: SOT 1804969 SOS 1547891 HAS SOPS 1447465 HAS SOUS 604305 HAS SOUPS 564011 WITH SCORE 565558.891
AT ITER 208 NEW BEST:: SOT 1805029 SOS 1547897 HAS SOPS 1447471 HAS SOUS 603992 HAS SOUPS 563698 WITH SCORE 565245.897
AT ITER 221 NEW BEST:: SOT 1806482 SOS 1548059 HAS SOPS 1448047 HAS SOUS 601921 HAS SOUPS 561765 WITH SCORE 563313.059
AT ITER 223 NEW BEST:: SOT 1807360 SOS 1548093 HAS SOPS 1448354 HAS SOUS 600823 HAS SOUPS 560758 WITH SCORE 562306.093
AT ITER 226 NEW BEST:: SOT 1814209 SOS 1554549 HAS SOPS 1454810 HAS SOUS 600676 HAS SOUPS 560611 WITH SCORE 562165.549
AT ITER 243 NEW BEST:: SOT 1815308 SOS 1554618 HAS SOPS 1455188 HAS SOUS 599544 HAS SOUPS 559582 WITH SCORE 561136.618
AT ITER 256 NEW BEST:: SOT 1816441 SOS 1554951 HAS SOPS 1455770 HAS SOUS 599078 HAS SOUPS 559199 WITH SCORE 560753.951
AT ITER 273 NEW BEST:: SOT 1817252 SOS 1554582 HAS SOPS 1455748 HAS SOUS 596731 HAS SOUPS 556971 WITH SCORE 558525.582
AT ITER 277 NEW BEST:: SOT 1817256 SOS 1551461 HAS SOPS 1452625 HAS SOUS 596674 HAS SOUPS 556912 WITH SCORE 558463.461
AT ITER 299 NEW BEST:: SOT 1816530 SOS 1550735 HAS SOPS 1451899 HAS SOUS 596344 HAS SOUPS 556582 WITH SCORE 558132.735
AT ITER 300 NEW BEST:: SOT 1816902 SOS 1550667 HAS SOPS 1451963 HAS SOUS 595789 HAS SOUPS 556071 WITH SCORE 557621.667
AT ITER 317 NEW BEST:: SOT 1817278 SOS 1550737 HAS SOPS 1452135 HAS SOUS 595538 HAS SOUPS 555854 WITH SCORE 557404.737
AT ITER 327 NEW BEST:: SOT 1817284 SOS 1550743 HAS SOPS 1452141 HAS SOUS 595285 HAS SOUPS 555601 WITH SCORE 557151.743
AT ITER 344 NEW BEST:: SOT 1820200 SOS 1551921 HAS SOPS 1453850 HAS SOUS 594071 HAS SOUPS 554564 WITH SCORE 556115.921
AT ITER 350 NEW BEST:: SOT 1819715 SOS 1538859 HAS SOPS 1440753 HAS SOUS 582839 HAS SOUPS 543312 WITH SCORE 544850.859
AT ITER 369 NEW BEST:: SOT 1820636 SOS 1538719 HAS SOPS 1440910 HAS SOUS 581696 HAS SOUPS 542268 WITH SCORE 543806.719
AT ITER 387 NEW BEST:: SOT 1828448 SOS 1544095 HAS SOPS 1446956 HAS SOUS 580244 HAS SOUPS 541053 WITH SCORE 542597.095
AT ITER 448 NEW BEST:: SOT 1829824 SOS 1544122 HAS SOPS 1447361 HAS SOUS 578236 HAS SOUPS 539178 WITH SCORE 540722.122
AT ITER 450 NEW BEST:: SOT 1829830 SOS 1544119 HAS SOPS 1447360 HAS SOUS 578211 HAS SOUPS 539154 WITH SCORE 540698.119
AT ITER 456 NEW BEST:: SOT 1828634 SOS 1542888 HAS SOPS 1446129 HAS SOUS 576031 HAS SOUPS 536974 WITH SCORE 538516.888
AT ITER 469 NEW BEST:: SOT 1828634 SOS 1544168 HAS SOPS 1447409 HAS SOUS 576029 HAS SOUPS 536972 WITH SCORE 538516.168
AT ITER 491 NEW BEST:: SOT 1830808 SOS 1544598 HAS SOPS 1448325 HAS SOUS 573673 HAS SOUPS 534778 WITH SCORE 536322.598
AT ITER 503 NEW BEST:: SOT 1833343 SOS 1544968 HAS SOPS 1449301 HAS SOUS 568872 HAS SOUPS 530179 WITH SCORE 531723.968
AT ITER 506 NEW BEST:: SOT 1835167 SOS 1545315 HAS SOPS 1450079 HAS SOUS 567733 HAS SOUPS 529186 WITH SCORE 530731.315
AT ITER 525 NEW BEST:: SOT 1835087 SOS 1545203 HAS SOPS 1449967 HAS SOUS 567535 HAS SOUPS 528988 WITH SCORE 530533.203
AT ITER 529 NEW BEST:: SOT 1827871 SOS 1537987 HAS SOPS 1442751 HAS SOUS 566079 HAS SOUPS 527532 WITH SCORE 529069.987
AT ITER 530 NEW BEST:: SOT 1827777 SOS 1537855 HAS SOPS 1442619 HAS SOUS 565812 HAS SOUPS 527265 WITH SCORE 528802.855
AT ITER 540 NEW BEST:: SOT 1828352 SOS 1537840 HAS SOPS 1442784 HAS SOUS 565513 HAS SOUPS 527026 WITH SCORE 528563.84
AT ITER 551 NEW BEST:: SOT 1828038 SOS 1537491 HAS SOPS 1442435 HAS SOUS 564766 HAS SOUPS 526279 WITH SCORE 527816.491
AT ITER 557 NEW BEST:: SOT 1828102 SOS 1537423 HAS SOPS 1442403 HAS SOUS 564446 HAS SOUPS 525971 WITH SCORE 527508.423
AT ITER 566 NEW BEST:: SOT 1829405 SOS 1537783 HAS SOPS 1443042 HAS SOUS 564339 HAS SOUPS 525957 WITH SCORE 527494.783
AT ITER 568 NEW BEST:: SOT 1829380 SOS 1537175 HAS SOPS 1442593 HAS SOUS 562914 HAS SOUPS 524585 WITH SCORE 526122.175
AT ITER 604 NEW BEST:: SOT 1835487 SOS 1529825 HAS SOPS 1415573 HAS SOUS 553127 HAS SOUPS 514798 WITH SCORE 516327.825
AT ITER 606 NEW BEST:: SOT 1835485 SOS 1529823 HAS SOPS 1415571 HAS SOUS 553122 HAS SOUPS 514793 WITH SCORE 516322.823
AT ITER 626 NEW BEST:: SOT 1835435 SOS 1529757 HAS SOPS 1415505 HAS SOUS 553055 HAS SOUPS 514726 WITH SCORE 516255.757
AT ITER 651 NEW BEST:: SOT 1836596 SOS 1529890 HAS SOPS 1416018 HAS SOUS 552657 HAS SOUPS 514423 WITH SCORE 515952.89
AT ITER 655 NEW BEST:: SOT 1836792 SOS 1529078 HAS SOPS 1415542 HAS SOUS 550845 HAS SOUPS 512695 WITH SCORE 514224.078
AT ITER 683 NEW BEST:: SOT 1836880 SOS 1529166 HAS SOPS 1415630 HAS SOUS 550697 HAS SOUPS 512547 WITH SCORE 514076.166
AT ITER 688 NEW BEST:: SOT 1837704 SOS 1529258 HAS SOPS 1415966 HAS SOUS 550284 HAS SOUPS 512195 WITH SCORE 513724.258
AT ITER 703 NEW BEST:: SOT 1837649 SOS 1529203 HAS SOPS 1415911 HAS SOUS 550229 HAS SOUPS 512140 WITH SCORE 513669.203
AT ITER 707 NEW BEST:: SOT 1837270 SOS 1528793 HAS SOPS 1415501 HAS SOUS 549537 HAS SOUPS 511448 WITH SCORE 512976.793
AT ITER 708 NEW BEST:: SOT 1837840 SOS 1529103 HAS SOPS 1415915 HAS SOUS 549489 HAS SOUPS 511426 WITH SCORE 512955.103
AT ITER 748 NEW BEST:: SOT 1837840 SOS 1529079 HAS SOPS 1415891 HAS SOUS 549318 HAS SOUPS 511255 WITH SCORE 512784.079
AT ITER 754 NEW BEST:: SOT 1837208 SOS 1528659 HAS SOPS 1415401 HAS SOUS 548896 HAS SOUPS 510808 WITH SCORE 512336.659
AT ITER 789 NEW BEST:: SOT 1837039 SOS 1528493 HAS SOPS 1415235 HAS SOUS 548610 HAS SOUPS 510522 WITH SCORE 512050.493
AT ITER 794 NEW BEST:: SOT 1834586 SOS 1517192 HAS SOPS 1403262 HAS SOUS 541943 HAS SOUPS 503683 WITH SCORE 505200.192
AT ITER 808 NEW BEST:: SOT 1845768 SOS 1528224 HAS SOPS 1402796 HAS SOUS 541536 HAS SOUPS 503276 WITH SCORE 504804.224
AT ITER 836 NEW BEST:: SOT 1847449 SOS 1527902 HAS SOPS 1403114 HAS SOUS 538818 HAS SOUPS 500718 WITH SCORE 502245.902
AT ITER 849 NEW BEST:: SOT 1847015 SOS 1527468 HAS SOPS 1402680 HAS SOUS 538383 HAS SOUPS 500283 WITH SCORE 501810.468
AT ITER 850 NEW BEST:: SOT 1846713 SOS 1527172 HAS SOPS 1402384 HAS SOUS 538023 HAS SOUPS 499923 WITH SCORE 501450.172
AT ITER 854 NEW BEST:: SOT 1847879 SOS 1527296 HAS SOPS 1402836 HAS SOUS 536739 HAS SOUPS 498721 WITH SCORE 500248.296
AT ITER 859 NEW BEST:: SOT 1847879 SOS 1527168 HAS SOPS 1402708 HAS SOUS 536739 HAS SOUPS 498721 WITH SCORE 500248.168
AT ITER 864 NEW BEST:: SOT 1847690 SOS 1527028 HAS SOPS 1402540 HAS SOUS 536637 HAS SOUPS 498612 WITH SCORE 500139.028
AT ITER 871 NEW BEST:: SOT 1847652 SOS 1526990 HAS SOPS 1402502 HAS SOUS 536599 HAS SOUPS 498574 WITH SCORE 500100.99
AT ITER 883 NEW BEST:: SOT 1844551 SOS 1525454 HAS SOPS 1400312 HAS SOUS 536209 HAS SOUPS 498039 WITH SCORE 499564.454
AT ITER 913 NEW BEST:: SOT 1844937 SOS 1525784 HAS SOPS 1400642 HAS SOUS 536187 HAS SOUPS 498017 WITH SCORE 499542.784
AT ITER 927 NEW BEST:: SOT 1844549 SOS 1525628 HAS SOPS 1400398 HAS SOUS 536194 HAS SOUPS 498002 WITH SCORE 499527.628
AT ITER 934 NEW BEST:: SOT 1844451 SOS 1525530 HAS SOPS 1400300 HAS SOUS 536036 HAS SOUPS 497844 WITH SCORE 499369.53
AT ITER 947 NEW BEST:: SOT 1842712 SOS 1523791 HAS SOPS 1398561 HAS SOUS 534553 HAS SOUPS 496361 WITH SCORE 497884.791
AT ITER 991 NEW BEST:: SOT 1843916 SOS 1524404 HAS SOPS 1399358 HAS SOUS 534186 HAS SOUPS 496040 WITH SCORE 497564.404
AT ITER 1016 NEW BEST:: SOT 1844629 SOS 1523998 HAS SOPS 1399300 HAS SOUS 531813 HAS SOUPS 493754 WITH SCORE 495277.998
AT ITER 1062 NEW BEST:: SOT 1844737 SOS 1523859 HAS SOPS 1399237 HAS SOUS 531462 HAS SOUPS 493422 WITH SCORE 494945.859
AT ITER 1082 NEW BEST:: SOT 1846016 SOS 1524114 HAS SOPS 1399840 HAS SOUS 530889 HAS SOUPS 492936 WITH SCORE 494460.114
AT ITER 1098 NEW BEST:: SOT 1846220 SOS 1524318 HAS SOPS 1400044 HAS SOUS 530685 HAS SOUPS 492732 WITH SCORE 494256.318
AT ITER 1124 NEW BEST:: SOT 1845360 SOS 1523380 HAS SOPS 1399106 HAS SOUS 529831 HAS SOUPS 491878 WITH SCORE 493401.38
AT ITER 1125 NEW BEST:: SOT 1844497 SOS 1522517 HAS SOPS 1398243 HAS SOUS 529263 HAS SOUPS 491310 WITH SCORE 492832.517
AT ITER 1156 NEW BEST:: SOT 1844497 SOS 1522517 HAS SOPS 1398243 HAS SOUS 529231 HAS SOUPS 491278 WITH SCORE 492800.517
AT ITER 1162 NEW BEST:: SOT 1844444 SOS 1522473 HAS SOPS 1398196 HAS SOUS 529197 HAS SOUPS 491243 WITH SCORE 492765.473
AT ITER 1187 NEW BEST:: SOT 1845383 SOS 1522644 HAS SOPS 1398619 HAS SOUS 528813 HAS SOUPS 490922 WITH SCORE 492444.644
AT ITER 1204 NEW BEST:: SOT 1845775 SOS 1522456 HAS SOPS 1398619 HAS SOUS 528046 HAS SOUPS 490202 WITH SCORE 491724.456
AT ITER 1238 NEW BEST:: SOT 1843471 SOS 1520152 HAS SOPS 1396315 HAS SOUS 525742 HAS SOUPS 487898 WITH SCORE 489418.152
AT ITER 1258 NEW BEST:: SOT 1845414 SOS 1520454 HAS SOPS 1397177 HAS SOUS 524754 HAS SOUPS 487050 WITH SCORE 488570.454
AT ITER 1263 NEW BEST:: SOT 1846115 SOS 1520169 HAS SOPS 1397216 HAS SOUS 523350 HAS SOUPS 485727 WITH SCORE 487247.169
AT ITER 1265 NEW BEST:: SOT 1846025 SOS 1520061 HAS SOPS 1397108 HAS SOUS 523153 HAS SOUPS 485530 WITH SCORE 487050.061
AT ITER 1292 NEW BEST:: SOT 1847280 SOS 1520072 HAS SOPS 1397567 HAS SOUS 522815 HAS SOUPS 485304 WITH SCORE 486824.072
AT ITER 1321 NEW BEST:: SOT 1847280 SOS 1520048 HAS SOPS 1397543 HAS SOUS 522815 HAS SOUPS 485304 WITH SCORE 486824.048
AT ITER 1326 NEW BEST:: SOT 1847044 SOS 1519794 HAS SOPS 1397289 HAS SOUS 522265 HAS SOUPS 484754 WITH SCORE 486273.794
AT ITER 1328 NEW BEST:: SOT 1846496 SOS 1519195 HAS SOPS 1396690 HAS SOUS 522000 HAS SOUPS 484489 WITH SCORE 486008.195
AT ITER 1335 NEW BEST:: SOT 1846734 SOS 1519071 HAS SOPS 1396698 HAS SOUS 521275 HAS SOUPS 483797 WITH SCORE 485316.071
AT ITER 1346 NEW BEST:: SOT 1846739 SOS 1519016 HAS SOPS 1396663 HAS SOUS 521160 HAS SOUPS 483687 WITH SCORE 485206.016
AT ITER 1356 NEW BEST:: SOT 1847269 SOS 1518493 HAS SOPS 1396464 HAS SOUS 519785 HAS SOUPS 482393 WITH SCORE 483911.493
AT ITER 1358 NEW BEST:: SOT 1846825 SOS 1518013 HAS SOPS 1395984 HAS SOUS 519453 HAS SOUPS 482061 WITH SCORE 483579.013
AT ITER 1366 NEW BEST:: SOT 1827540 SOS 1498753 HAS SOPS 1378248 HAS SOUS 511420 HAS SOUPS 474028 WITH SCORE 475526.753
AT ITER 1378 NEW BEST:: SOT 1834509 SOS 1505638 HAS SOPS 1378049 HAS SOUS 511249 HAS SOUPS 473857 WITH SCORE 475362.638
AT ITER 1405 NEW BEST:: SOT 1834509 SOS 1505383 HAS SOPS 1377794 HAS SOUS 511131 HAS SOUPS 473739 WITH SCORE 475244.383
AT ITER 1408 NEW BEST:: SOT 1834547 SOS 1505291 HAS SOPS 1377742 HAS SOUS 510809 HAS SOUPS 473427 WITH SCORE 474932.291
AT ITER 1414 NEW BEST:: SOT 1834307 SOS 1505039 HAS SOPS 1377490 HAS SOUS 510517 HAS SOUPS 473135 WITH SCORE 474640.039
AT ITER 1419 NEW BEST:: SOT 1834307 SOS 1505039 HAS SOPS 1377490 HAS SOUS 510497 HAS SOUPS 473115 WITH SCORE 474620.039
AT ITER 1428 NEW BEST:: SOT 1834342 SOS 1505044 HAS SOPS 1377507 HAS SOUS 510480 HAS SOUPS 473101 WITH SCORE 474606.044
AT ITER 1449 NEW BEST:: SOT 1835072 SOS 1504866 HAS SOPS 1377649 HAS SOUS 509697 HAS SOUPS 472398 WITH SCORE 473902.866
AT ITER 1451 NEW BEST:: SOT 1835754 SOS 1504879 HAS SOPS 1377964 HAS SOUS 509253 HAS SOUPS 472030 WITH SCORE 473534.879
AT ITER 1465 NEW BEST:: SOT 1825573 SOS 1496657 HAS SOPS 1369027 HAS SOUS 503107 HAS SOUPS 465662 WITH SCORE 467158.657
AT ITER 1487 NEW BEST:: SOT 1825469 SOS 1496529 HAS SOPS 1368899 HAS SOUS 502899 HAS SOUPS 465454 WITH SCORE 466950.529
AT ITER 1492 NEW BEST:: SOT 1829699 SOS 1499050 HAS SOPS 1372024 HAS SOUS 502339 HAS SOUPS 465045 WITH SCORE 466544.05
AT ITER 1500 NEW BEST:: SOT 1836954 SOS 1503658 HAS SOPS 1377549 HAS SOUS 501981 HAS SOUPS 464923 WITH SCORE 466426.658
AT ITER 1517 NEW BEST:: SOT 1839740 SOS 1504608 HAS SOPS 1379135 HAS SOUS 501539 HAS SOUPS 464640 WITH SCORE 466144.608
AT ITER 1532 NEW BEST:: SOT 1843128 SOS 1506693 HAS SOPS 1381676 HAS SOUS 501191 HAS SOUPS 464406 WITH SCORE 465912.693
AT ITER 1552 NEW BEST:: SOT 1829493 SOS 1493119 HAS SOPS 1368102 HAS SOUS 495598 HAS SOUPS 458813 WITH SCORE 460306.119
AT ITER 1554 NEW BEST:: SOT 1829587 SOS 1492797 HAS SOPS 1367908 HAS SOUS 494756 HAS SOUPS 458003 WITH SCORE 459495.797
AT ITER 1555 NEW BEST:: SOT 1831477 SOS 1493507 HAS SOPS 1369018 HAS SOUS 494206 HAS SOUPS 457553 WITH SCORE 459046.507
AT ITER 1562 NEW BEST:: SOT 1831543 SOS 1492391 HAS SOPS 1368266 HAS SOUS 492175 HAS SOUPS 455613 WITH SCORE 457105.391
AT ITER 1566 NEW BEST:: SOT 1817421 SOS 1478269 HAS SOPS 1354144 HAS SOUS 485989 HAS SOUPS 449427 WITH SCORE 450905.269
AT ITER 1576 NEW BEST:: SOT 1818136 SOS 1478240 HAS SOPS 1354395 HAS SOUS 485138 HAS SOUPS 448646 WITH SCORE 450124.24
AT ITER 1583 NEW BEST:: SOT 1818454 SOS 1478288 HAS SOPS 1354539 HAS SOUS 484906 HAS SOUPS 448438 WITH SCORE 449916.288
AT ITER 1603 NEW BEST:: SOT 1823592 SOS 1481527 HAS SOPS 1358474 HAS SOUS 484166 HAS SOUPS 447874 WITH SCORE 449355.527
AT ITER 1611 NEW BEST:: SOT 1825721 SOS 1482453 HAS SOPS 1359820 HAS SOUS 483591 HAS SOUPS 447404 WITH SCORE 448886.453
AT ITER 1643 NEW BEST:: SOT 1824879 SOS 1481434 HAS SOPS 1358801 HAS SOUS 481982 HAS SOUPS 445795 WITH SCORE 447276.434
AT ITER 1650 NEW BEST:: SOT 1824265 SOS 1480700 HAS SOPS 1358067 HAS SOUS 480848 HAS SOUPS 444661 WITH SCORE 446141.7
AT ITER 1674 NEW BEST:: SOT 1823448 SOS 1479883 HAS SOPS 1357250 HAS SOUS 479733 HAS SOUPS 443546 WITH SCORE 445025.883
AT ITER 1678 NEW BEST:: SOT 1833158 SOS 1487034 HAS SOPS 1365481 HAS SOUS 479257 HAS SOUPS 443340 WITH SCORE 444827.034
AT ITER 1710 NEW BEST:: SOT 1832781 SOS 1486657 HAS SOPS 1365104 HAS SOUS 478880 HAS SOUPS 442963 WITH SCORE 444449.657
AT ITER 1713 NEW BEST:: SOT 1832998 SOS 1486211 HAS SOPS 1364862 HAS SOUS 477570 HAS SOUPS 441704 WITH SCORE 443190.211
AT ITER 1731 NEW BEST:: SOT 1833020 SOS 1486233 HAS SOPS 1364884 HAS SOUS 477556 HAS SOUPS 441690 WITH SCORE 443176.233
AT ITER 1741 NEW BEST:: SOT 1833020 SOS 1486225 HAS SOPS 1364876 HAS SOUS 476028 HAS SOUPS 440162 WITH SCORE 441648.225
AT ITER 1745 NEW BEST:: SOT 1832367 SOS 1485699 HAS SOPS 1364298 HAS SOUS 475617 HAS SOUPS 439736 WITH SCORE 441221.699
AT ITER 1758 NEW BEST:: SOT 1833234 SOS 1485987 HAS SOPS 1364982 HAS SOUS 474038 HAS SOUPS 438256 WITH SCORE 439741.987
AT ITER 1776 NEW BEST:: SOT 1833234 SOS 1485255 HAS SOPS 1364250 HAS SOUS 473887 HAS SOUPS 438105 WITH SCORE 439590.255
AT ITER 1781 NEW BEST:: SOT 1834243 SOS 1484928 HAS SOPS 1364359 HAS SOUS 471662 HAS SOUPS 435989 WITH SCORE 437473.928
AT ITER 1857 NEW BEST:: SOT 1834442 SOS 1484950 HAS SOPS 1364441 HAS SOUS 471428 HAS SOUPS 435770 WITH SCORE 437254.95
AT ITER 1878 NEW BEST:: SOT 1834410 SOS 1484918 HAS SOPS 1364409 HAS SOUS 471312 HAS SOUPS 435654 WITH SCORE 437138.918
AT ITER 1881 NEW BEST:: SOT 1834437 SOS 1486059 HAS SOPS 1365561 HAS SOUS 471161 HAS SOUPS 435503 WITH SCORE 436989.059
AT ITER 1908 NEW BEST:: SOT 1834219 SOS 1485832 HAS SOPS 1365334 HAS SOUS 470902 HAS SOUPS 435244 WITH SCORE 436729.832
AT ITER 1915 NEW BEST:: SOT 1833939 SOS 1485692 HAS SOPS 1365138 HAS SOUS 470829 HAS SOUPS 435157 WITH SCORE 436642.692
AT ITER 1922 NEW BEST:: SOT 1833545 SOS 1485613 HAS SOPS 1364935 HAS SOUS 470727 HAS SOUPS 435024 WITH SCORE 436509.613
AT ITER 1928 NEW BEST:: SOT 1833457 SOS 1485525 HAS SOPS 1364847 HAS SOUS 470572 HAS SOUPS 434869 WITH SCORE 436354.525
AT ITER 1929 NEW BEST:: SOT 1832921 SOS 1485069 HAS SOPS 1364366 HAS SOUS 470069 HAS SOUPS 434355 WITH SCORE 435840.069
AT ITER 1936 NEW BEST:: SOT 1832823 SOS 1484971 HAS SOPS 1364268 HAS SOUS 470039 HAS SOUPS 434325 WITH SCORE 435809.971
AT ITER 1961 NEW BEST:: SOT 1832437 SOS 1484513 HAS SOPS 1363810 HAS SOUS 469341 HAS SOUPS 433627 WITH SCORE 435111.513
AT ITER 1993 NEW BEST:: SOT 1831275 SOS 1483778 HAS SOPS 1362899 HAS SOUS 468820 HAS SOUPS 433062 WITH SCORE 434545.778
AT ITER 2007 NEW BEST:: SOT 1831206 SOS 1483709 HAS SOPS 1362830 HAS SOUS 468677 HAS SOUPS 432919 WITH SCORE 434402.709
AT ITER 2032 NEW BEST:: SOT 1831284 SOS 1483657 HAS SOPS 1362830 HAS SOUS 468320 HAS SOUPS 432575 WITH SCORE 434058.657
AT ITER 2048 NEW BEST:: SOT 1831662 SOS 1483489 HAS SOPS 1362830 HAS SOUS 467480 HAS SOUPS 431777 WITH SCORE 433260.489
AT ITER 2068 NEW BEST:: SOT 1831974 SOS 1483511 HAS SOPS 1362948 HAS SOUS 466810 HAS SOUPS 431131 WITH SCORE 432614.511
AT ITER 2091 NEW BEST:: SOT 1831841 SOS 1483378 HAS SOPS 1362815 HAS SOUS 466424 HAS SOUPS 430745 WITH SCORE 432228.378
AT ITER 2107 NEW BEST:: SOT 1831955 SOS 1483292 HAS SOPS 1362809 HAS SOUS 466204 HAS SOUPS 430545 WITH SCORE 432028.292
AT ITER 2110 NEW BEST:: SOT 1832652 SOS 1483989 HAS SOPS 1363506 HAS SOUS 466058 HAS SOUPS 430399 WITH SCORE 431882.989
AT ITER 2126 NEW BEST:: SOT 1833044 SOS 1484101 HAS SOPS 1363730 HAS SOUS 465890 HAS SOUPS 430259 WITH SCORE 431743.101
AT ITER 2130 NEW BEST:: SOT 1833288 SOS 1484185 HAS SOPS 1363878 HAS SOUS 465774 HAS SOUPS 430159 WITH SCORE 431643.185
AT ITER 2163 NEW BEST:: SOT 1833896 SOS 1484727 HAS SOPS 1364420 HAS SOUS 465468 HAS SOUPS 429853 WITH SCORE 431337.727
AT ITER 2170 NEW BEST:: SOT 1834290 SOS 1484757 HAS SOPS 1364658 HAS SOUS 464734 HAS SOUPS 429171 WITH SCORE 430655.757
AT ITER 2186 NEW BEST:: SOT 1835073 SOS 1484741 HAS SOPS 1364914 HAS SOUS 464512 HAS SOUPS 429017 WITH SCORE 430501.741
AT ITER 2198 NEW BEST:: SOT 1833741 SOS 1483169 HAS SOPS 1363342 HAS SOUS 461812 HAS SOUPS 426317 WITH SCORE 427800.169
AT ITER 2208 NEW BEST:: SOT 1834364 SOS 1482601 HAS SOPS 1363142 HAS SOUS 460183 HAS SOUPS 424780 WITH SCORE 426262.601
AT ITER 2243 NEW BEST:: SOT 1834414 SOS 1482651 HAS SOPS 1363192 HAS SOUS 460068 HAS SOUPS 424665 WITH SCORE 426147.651
AT ITER 2267 NEW BEST:: SOT 1834402 SOS 1482099 HAS SOPS 1362808 HAS SOUS 458826 HAS SOUPS 423465 WITH SCORE 424947.099
AT ITER 2270 NEW BEST:: SOT 1834259 SOS 1481475 HAS SOPS 1362332 HAS SOUS 457551 HAS SOUPS 422227 WITH SCORE 423708.475
AT ITER 2280 NEW BEST:: SOT 1833801 SOS 1480999 HAS SOPS 1361856 HAS SOUS 456895 HAS SOUPS 421571 WITH SCORE 423051.999
AT ITER 2304 NEW BEST:: SOT 1833757 SOS 1480955 HAS SOPS 1361812 HAS SOUS 456775 HAS SOUPS 421451 WITH SCORE 422931.955
AT ITER 2327 NEW BEST:: SOT 1834106 SOS 1480863 HAS SOPS 1361876 HAS SOUS 456387 HAS SOUPS 421102 WITH SCORE 422582.863
AT ITER 2334 NEW BEST:: SOT 1834106 SOS 1480605 HAS SOPS 1361618 HAS SOUS 456260 HAS SOUPS 420975 WITH SCORE 422455.605
AT ITER 2354 NEW BEST:: SOT 1834769 SOS 1480778 HAS SOPS 1361963 HAS SOUS 456061 HAS SOUPS 420819 WITH SCORE 422299.778
AT ITER 2365 NEW BEST:: SOT 1835520 SOS 1479986 HAS SOPS 1361171 HAS SOUS 450442 HAS SOUPS 415200 WITH SCORE 416679.986
AT ITER 2376 NEW BEST:: SOT 1836076 SOS 1480282 HAS SOPS 1361547 HAS SOUS 450358 HAS SOUPS 415136 WITH SCORE 416616.282
AT ITER 2420 NEW BEST:: SOT 1835710 SOS 1480066 HAS SOPS 1361271 HAS SOUS 450149 HAS SOUPS 414912 WITH SCORE 416392.066
AT ITER 2432 NEW BEST:: SOT 1835664 SOS 1480023 HAS SOPS 1361228 HAS SOUS 450013 HAS SOUPS 414776 WITH SCORE 416256.023
AT ITER 2442 NEW BEST:: SOT 1835704 SOS 1479959 HAS SOPS 1361196 HAS SOUS 449821 HAS SOUPS 414592 WITH SCORE 416071.959
AT ITER 2447 NEW BEST:: SOT 1835560 SOS 1479815 HAS SOPS 1361052 HAS SOUS 449773 HAS SOUPS 414544 WITH SCORE 416023.815
AT ITER 2467 NEW BEST:: SOT 1835560 SOS 1479395 HAS SOPS 1360632 HAS SOUS 449633 HAS SOUPS 414404 WITH SCORE 415883.395
AT ITER 2478 NEW BEST:: SOT 1835746 SOS 1479451 HAS SOPS 1360740 HAS SOUS 449532 HAS SOUPS 414316 WITH SCORE 415795.451
AT ITER 2489 NEW BEST:: SOT 1837033 SOS 1479928 HAS SOPS 1361541 HAS SOUS 449340 HAS SOUPS 414205 WITH SCORE 415684.928
AT ITER 2500 NEW BEST:: SOT 1837943 SOS 1480010 HAS SOPS 1361911 HAS SOUS 448389 HAS SOUPS 413326 WITH SCORE 414806.01
AT ITER 2556 NEW BEST:: SOT 1839027 SOS 1480718 HAS SOPS 1362767 HAS SOUS 448243 HAS SOUPS 413217 WITH SCORE 414697.718
AT ITER 2590 NEW BEST:: SOT 1839416 SOS 1480867 HAS SOPS 1363096 HAS SOUS 447999 HAS SOUPS 413018 WITH SCORE 414498.867
AT ITER 2633 NEW BEST:: SOT 1840400 SOS 1480858 HAS SOPS 1363465 HAS SOUS 447043 HAS SOUPS 412155 WITH SCORE 413635.858
AT ITER 2653 NEW BEST:: SOT 1836828 SOS 1477250 HAS SOPS 1359857 HAS SOUS 446612 HAS SOUPS 411724 WITH SCORE 413201.25
AT ITER 2681 NEW BEST:: SOT 1836608 SOS 1477024 HAS SOPS 1359631 HAS SOUS 446366 HAS SOUPS 411478 WITH SCORE 412955.024
AT ITER 2716 NEW BEST:: SOT 1836897 SOS 1476923 HAS SOPS 1359654 HAS SOUS 445875 HAS SOUPS 411018 WITH SCORE 412494.923
AT ITER 2750 NEW BEST:: SOT 1837236 SOS 1476972 HAS SOPS 1359819 HAS SOUS 445814 HAS SOUPS 410986 WITH SCORE 412462.972
AT ITER 2759 NEW BEST:: SOT 1841569 SOS 1480305 HAS SOPS 1363152 HAS SOUS 445512 HAS SOUPS 410684 WITH SCORE 412164.305
AT ITER 2781 NEW BEST:: SOT 1843476 SOS 1469338 HAS SOPS 1352185 HAS SOUS 445257 HAS SOUPS 410429 WITH SCORE 411898.338
AT ITER 2797 NEW BEST:: SOT 1844235 SOS 1469110 HAS SOPS 1352277 HAS SOUS 444372 HAS SOUPS 409624 WITH SCORE 411093.11
AT ITER 2820 NEW BEST:: SOT 1845675 SOS 1469532 HAS SOPS 1353087 HAS SOUS 443816 HAS SOUPS 409165 WITH SCORE 410634.532
AT ITER 2845 NEW BEST:: SOT 1845433 SOS 1469290 HAS SOPS 1352845 HAS SOUS 443542 HAS SOUPS 408891 WITH SCORE 410360.29
AT ITER 2863 NEW BEST:: SOT 1845609 SOS 1469306 HAS SOPS 1352925 HAS SOUS 443446 HAS SOUPS 408811 WITH SCORE 410280.306
AT ITER 2865 NEW BEST:: SOT 1845665 SOS 1469258 HAS SOPS 1352909 HAS SOUS 443278 HAS SOUPS 408651 WITH SCORE 410120.258
AT ITER 2871 NEW BEST:: SOT 1845521 SOS 1469114 HAS SOPS 1352765 HAS SOUS 443174 HAS SOUPS 408547 WITH SCORE 410016.114
AT ITER 2875 NEW BEST:: SOT 1845321 SOS 1468914 HAS SOPS 1352565 HAS SOUS 442974 HAS SOUPS 408347 WITH SCORE 409815.914
AT ITER 2922 NEW BEST:: SOT 1845121 SOS 1468675 HAS SOPS 1352326 HAS SOUS 442563 HAS SOUPS 407936 WITH SCORE 409404.675
AT ITER 2926 NEW BEST:: SOT 1845083 SOS 1468637 HAS SOPS 1352288 HAS SOUS 442535 HAS SOUPS 407908 WITH SCORE 409376.637
AT ITER 2942 NEW BEST:: SOT 1847374 SOS 1470410 HAS SOPS 1354061 HAS SOUS 441070 HAS SOUPS 406443 WITH SCORE 407913.41
AT ITER 2971 NEW BEST:: SOT 1848096 SOS 1470115 HAS SOPS 1354102 HAS SOUS 439831 HAS SOUPS 405288 WITH SCORE 406758.115
AT ITER 2988 NEW BEST:: SOT 1847381 SOS 1469304 HAS SOPS 1353291 HAS SOUS 439004 HAS SOUPS 404461 WITH SCORE 405930.304
AT ITER 3009 NEW BEST:: SOT 1847763 SOS 1469686 HAS SOPS 1353673 HAS SOUS 438970 HAS SOUPS 404427 WITH SCORE 405896.686
AT ITER 3027 NEW BEST:: SOT 1847747 SOS 1469670 HAS SOPS 1353657 HAS SOUS 438954 HAS SOUPS 404411 WITH SCORE 405880.67
AT ITER 3093 NEW BEST:: SOT 1851791 SOS 1471048 HAS SOPS 1356056 HAS SOUS 437813 HAS SOUPS 403509 WITH SCORE 404980.048
AT ITER 3139 NEW BEST:: SOT 1858666 SOS 1475075 HAS SOPS 1361087 HAS SOUS 436780 HAS SOUPS 402727 WITH SCORE 404202.075
AT ITER 3203 NEW BEST:: SOT 1856720 SOS 1473129 HAS SOPS 1359141 HAS SOUS 435514 HAS SOUPS 401461 WITH SCORE 402934.129
AT ITER 3210 NEW BEST:: SOT 1858714 SOS 1475089 HAS SOPS 1361101 HAS SOUS 435478 HAS SOUPS 401425 WITH SCORE 402900.089
AT ITER 3212 NEW BEST:: SOT 1858714 SOS 1474841 HAS SOPS 1360838 HAS SOUS 435410 HAS SOUPS 401357 WITH SCORE 402831.841
AT ITER 3243 NEW BEST:: SOT 1855212 SOS 1473098 HAS SOPS 1358347 HAS SOUS 433051 HAS SOUPS 398811 WITH SCORE 400284.098
AT ITER 3245 NEW BEST:: SOT 1855200 SOS 1473086 HAS SOPS 1358335 HAS SOUS 432959 HAS SOUPS 398719 WITH SCORE 400192.086
AT ITER 3269 NEW BEST:: SOT 1855673 SOS 1473213 HAS SOPS 1358594 HAS SOUS 432651 HAS SOUPS 398444 WITH SCORE 399917.213
AT ITER 3273 NEW BEST:: SOT 1855513 SOS 1473053 HAS SOPS 1358434 HAS SOUS 432445 HAS SOUPS 398238 WITH SCORE 399711.053
AT ITER 3288 NEW BEST:: SOT 1856355 SOS 1472881 HAS SOPS 1358610 HAS SOUS 431577 HAS SOUPS 397457 WITH SCORE 398929.881
AT ITER 3319 NEW BEST:: SOT 1856350 SOS 1472617 HAS SOPS 1358426 HAS SOUS 431030 HAS SOUPS 396930 WITH SCORE 398402.617
AT ITER 3361 NEW BEST:: SOT 1856424 SOS 1472685 HAS SOPS 1358500 HAS SOUS 431020 HAS SOUPS 396926 WITH SCORE 398398.685
AT ITER 3388 NEW BEST:: SOT 1856424 SOS 1472685 HAS SOPS 1358500 HAS SOUS 431008 HAS SOUPS 396914 WITH SCORE 398386.685
AT ITER 3389 NEW BEST:: SOT 1856662 SOS 1472153 HAS SOPS 1358188 HAS SOUS 429947 HAS SOUPS 395908 WITH SCORE 397380.153
AT ITER 3470 NEW BEST:: SOT 1856612 SOS 1472087 HAS SOPS 1358122 HAS SOUS 429859 HAS SOUPS 395820 WITH SCORE 397292.087
AT ITER 3551 NEW BEST:: SOT 1855709 SOS 1471734 HAS SOPS 1357549 HAS SOUS 429503 HAS SOUPS 395409 WITH SCORE 396880.734
AT ITER 3564 NEW BEST:: SOT 1849476 SOS 1465523 HAS SOPS 1351338 HAS SOUS 426974 HAS SOUPS 392880 WITH SCORE 394345.523
AT ITER 3598 NEW BEST:: SOT 1849240 SOS 1465251 HAS SOPS 1351066 HAS SOUS 426490 HAS SOUPS 392396 WITH SCORE 393861.251
AT ITER 3610 NEW BEST:: SOT 1849180 SOS 1465191 HAS SOPS 1351006 HAS SOUS 426350 HAS SOUPS 392256 WITH SCORE 393721.191
AT ITER 3631 NEW BEST:: SOT 1845811 SOS 1461838 HAS SOPS 1347645 HAS SOUS 426187 HAS SOUPS 392086 WITH SCORE 393547.838
AT ITER 3652 NEW BEST:: SOT 1847965 SOS 1463150 HAS SOPS 1349261 HAS SOUS 425904 HAS SOUPS 391879 WITH SCORE 393342.15
AT ITER 3681 NEW BEST:: SOT 1846430 SOS 1461927 HAS SOPS 1347909 HAS SOUS 424884 HAS SOUPS 390826 WITH SCORE 392287.927
AT ITER 3686 NEW BEST:: SOT 1846940 SOS 1462437 HAS SOPS 1348419 HAS SOUS 424710 HAS SOUPS 390652 WITH SCORE 392114.437
AT ITER 3699 NEW BEST:: SOT 1847216 SOS 1462638 HAS SOPS 1348620 HAS SOUS 424492 HAS SOUPS 390434 WITH SCORE 391896.638
AT ITER 3738 NEW BEST:: SOT 1846918 SOS 1462408 HAS SOPS 1348350 HAS SOUS 424326 HAS SOUPS 390258 WITH SCORE 391720.408
AT ITER 3755 NEW BEST:: SOT 1845918 SOS 1461396 HAS SOPS 1347338 HAS SOUS 423621 HAS SOUPS 389553 WITH SCORE 391014.396
AT ITER 3801 NEW BEST:: SOT 1845918 SOS 1461228 HAS SOPS 1347218 HAS SOUS 423165 HAS SOUPS 389109 WITH SCORE 390570.228
AT ITER 3920 NEW BEST:: SOT 1847132 SOS 1461296 HAS SOPS 1347690 HAS SOUS 421624 HAS SOUPS 387669 WITH SCORE 389130.296
AT ITER 3931 NEW BEST:: SOT 1846955 SOS 1461087 HAS SOPS 1347481 HAS SOUS 421333 HAS SOUPS 387378 WITH SCORE 388839.087
AT ITER 3944 NEW BEST:: SOT 1846977 SOS 1461100 HAS SOPS 1347494 HAS SOUS 421316 HAS SOUPS 387361 WITH SCORE 388822.1
AT ITER 3945 NEW BEST:: SOT 1846993 SOS 1461096 HAS SOPS 1347498 HAS SOUS 421272 HAS SOUPS 387319 WITH SCORE 388780.096
AT ITER 3955 NEW BEST:: SOT 1847521 SOS 1461596 HAS SOPS 1347998 HAS SOUS 420670 HAS SOUPS 386717 WITH SCORE 388178.596
AT ITER 4033 NEW BEST:: SOT 1847745 SOS 1461826 HAS SOPS 1348228 HAS SOUS 420668 HAS SOUPS 386715 WITH SCORE 388176.826
AT ITER 4043 NEW BEST:: SOT 1848403 SOS 1461406 HAS SOPS 1348136 HAS SOUS 419108 HAS SOUPS 385237 WITH SCORE 386698.406
AT ITER 4061 NEW BEST:: SOT 1848418 SOS 1461351 HAS SOPS 1348101 HAS SOUS 418958 HAS SOUPS 385092 WITH SCORE 386553.351
AT ITER 4078 NEW BEST:: SOT 1849200 SOS 1461464 HAS SOPS 1348438 HAS SOUS 418644 HAS SOUPS 384834 WITH SCORE 386295.464
AT ITER 4087 NEW BEST:: SOT 1849121 SOS 1461357 HAS SOPS 1348331 HAS SOUS 418493 HAS SOUPS 384683 WITH SCORE 386144.357
AT ITER 4095 NEW BEST:: SOT 1849115 SOS 1461359 HAS SOPS 1348333 HAS SOUS 418391 HAS SOUPS 384581 WITH SCORE 386042.359
AT ITER 4099 NEW BEST:: SOT 1852719 SOS 1445886 HAS SOPS 1323973 HAS SOUS 425243 HAS SOUPS 382622 WITH SCORE 384067.886
AT ITER 4151 NEW BEST:: SOT 1857225 SOS 1448478 HAS SOPS 1327173 HAS SOUS 424964 HAS SOUPS 382495 WITH SCORE 383943.478
AT ITER 4160 NEW BEST:: SOT 1856961 SOS 1448103 HAS SOPS 1326798 HAS SOUS 423891 HAS SOUPS 381422 WITH SCORE 382870.103
AT ITER 4197 NEW BEST:: SOT 1857368 SOS 1448145 HAS SOPS 1326951 HAS SOUS 423476 HAS SOUPS 381007 WITH SCORE 382455.145
AT ITER 4198 NEW BEST:: SOT 1858369 SOS 1455366 HAS SOPS 1334532 HAS SOUS 423202 HAS SOUPS 380823 WITH SCORE 382278.366
AT ITER 4320 NEW BEST:: SOT 1858241 SOS 1455202 HAS SOPS 1334368 HAS SOUS 422936 HAS SOUPS 380557 WITH SCORE 382012.202
AT ITER 4323 NEW BEST:: SOT 1857958 SOS 1454853 HAS SOPS 1334005 HAS SOUS 422833 HAS SOUPS 380440 WITH SCORE 381894.853
AT ITER 4389 NEW BEST:: SOT 1857568 SOS 1454612 HAS SOPS 1333702 HAS SOUS 422694 HAS SOUPS 380293 WITH SCORE 381747.612
AT ITER 4402 NEW BEST:: SOT 1857879 SOS 1454770 HAS SOPS 1333860 HAS SOUS 422032 HAS SOUPS 379631 WITH SCORE 381085.77
AT ITER 4413 NEW BEST:: SOT 1857879 SOS 1454578 HAS SOPS 1333668 HAS SOUS 421961 HAS SOUPS 379560 WITH SCORE 381014.578
AT ITER 4430 NEW BEST:: SOT 1856954 SOS 1453875 HAS SOPS 1332872 HAS SOUS 421121 HAS SOUPS 378700 WITH SCORE 380153.875
AT ITER 4462 NEW BEST:: SOT 1855073 SOS 1452555 HAS SOPS 1331336 HAS SOUS 420004 HAS SOUPS 377583 WITH SCORE 379035.555
AT ITER 4473 NEW BEST:: SOT 1855199 SOS 1452519 HAS SOPS 1331354 HAS SOUS 419734 HAS SOUPS 377313 WITH SCORE 378765.519
AT ITER 4536 NEW BEST:: SOT 1855215 SOS 1452535 HAS SOPS 1331370 HAS SOUS 419730 HAS SOUPS 377309 WITH SCORE 378761.535
AT ITER 4544 NEW BEST:: SOT 1855540 SOS 1452691 HAS SOPS 1331578 HAS SOUS 419575 HAS SOUPS 377167 WITH SCORE 378619.691
AT ITER 4577 NEW BEST:: SOT 1856715 SOS 1452963 HAS SOPS 1332108 HAS SOUS 418500 HAS SOUPS 376092 WITH SCORE 377544.963
AT ITER 4595 NEW BEST:: SOT 1856715 SOS 1452945 HAS SOPS 1332090 HAS SOUS 418490 HAS SOUPS 376082 WITH SCORE 377534.945
AT ITER 4624 NEW BEST:: SOT 1857917 SOS 1453572 HAS SOPS 1332897 HAS SOUS 418282 HAS SOUPS 375919 WITH SCORE 377372.572
AT ITER 4640 NEW BEST:: SOT 1858049 SOS 1453554 HAS SOPS 1332939 HAS SOUS 418081 HAS SOUPS 375733 WITH SCORE 377186.554
AT ITER 4642 NEW BEST:: SOT 1857214 SOS 1452952 HAS SOPS 1332223 HAS SOUS 417722 HAS SOUPS 375374 WITH SCORE 376826.952
AT ITER 4650 NEW BEST:: SOT 1857207 SOS 1452945 HAS SOPS 1332216 HAS SOUS 417712 HAS SOUPS 375364 WITH SCORE 376816.945
AT ITER 4710 NEW BEST:: SOT 1857005 SOS 1452641 HAS SOPS 1331912 HAS SOUS 416724 HAS SOUPS 374376 WITH SCORE 375828.641
AT ITER 4734 NEW BEST:: SOT 1856956 SOS 1452643 HAS SOPS 1331914 HAS SOUS 416408 HAS SOUPS 374060 WITH SCORE 375512.643
AT ITER 4750 NEW BEST:: SOT 1857323 SOS 1453031 HAS SOPS 1332302 HAS SOUS 416346 HAS SOUPS 373998 WITH SCORE 375451.031
AT ITER 4773 NEW BEST:: SOT 1857229 SOS 1452932 HAS SOPS 1332203 HAS SOUS 416209 HAS SOUPS 373861 WITH SCORE 375313.932
AT ITER 4790 NEW BEST:: SOT 1858014 SOS 1452922 HAS SOPS 1332403 HAS SOUS 414345 HAS SOUPS 371997 WITH SCORE 373449.922
AT ITER 4865 NEW BEST:: SOT 1858104 SOS 1456047 HAS SOPS 1335609 HAS SOUS 413887 HAS SOUPS 371566 WITH SCORE 373022.047
AT ITER 4866 NEW BEST:: SOT 1859084 SOS 1456411 HAS SOPS 1336207 HAS SOUS 413591 HAS SOUPS 371318 WITH SCORE 372774.411
AT ITER 4869 NEW BEST:: SOT 1858973 SOS 1456273 HAS SOPS 1336069 HAS SOUS 413354 HAS SOUPS 371081 WITH SCORE 372537.273
AT ITER 4892 NEW BEST:: SOT 1859018 SOS 1456234 HAS SOPS 1336051 HAS SOUS 413234 HAS SOUPS 370961 WITH SCORE 372417.234
AT ITER 4934 NEW BEST:: SOT 1860595 SOS 1457097 HAS SOPS 1337142 HAS SOUS 412913 HAS SOUPS 370697 WITH SCORE 372154.097
AT ITER 4946 NEW BEST:: SOT 1860649 SOS 1457127 HAS SOPS 1337178 HAS SOUS 412811 HAS SOUPS 370601 WITH SCORE 372058.127
AT ITER 4994 NEW BEST:: SOT 1860719 SOS 1457137 HAS SOPS 1337203 HAS SOUS 412751 HAS SOUPS 370541 WITH SCORE 371998.137
AT ITER 5023 NEW BEST:: SOT 1860719 SOS 1456625 HAS SOPS 1336691 HAS SOUS 412745 HAS SOUPS 370535 WITH SCORE 371991.625
AT ITER 5159 NEW BEST:: SOT 1860531 SOS 1456437 HAS SOPS 1336503 HAS SOUS 412557 HAS SOUPS 370347 WITH SCORE 371803.437
AT ITER 5176 NEW BEST:: SOT 1860505 SOS 1456411 HAS SOPS 1336477 HAS SOUS 412408 HAS SOUPS 370198 WITH SCORE 371654.411
AT ITER 5184 NEW BEST:: SOT 1861013 SOS 1456617 HAS SOPS 1336775 HAS SOUS 412364 HAS SOUPS 370156 WITH SCORE 371612.617
AT ITER 5224 NEW BEST:: SOT 1861013 SOS 1455868 HAS SOPS 1336026 HAS SOUS 412357 HAS SOUPS 370149 WITH SCORE 371604.868
AT ITER 5260 NEW BEST:: SOT 1862220 SOS 1456690 HAS SOPS 1336848 HAS SOUS 412101 HAS SOUPS 369893 WITH SCORE 371349.69
AT ITER 5268 NEW BEST:: SOT 1862176 SOS 1456666 HAS SOPS 1336816 HAS SOUS 412067 HAS SOUPS 369857 WITH SCORE 371313.666
AT ITER 5278 NEW BEST:: SOT 1862158 SOS 1456648 HAS SOPS 1336798 HAS SOUS 412013 HAS SOUPS 369803 WITH SCORE 371259.648
AT ITER 5299 NEW BEST:: SOT 1856636 SOS 1451126 HAS SOPS 1334732 HAS SOUS 410459 HAS SOUPS 368249 WITH SCORE 369700.126
AT ITER 5328 NEW BEST:: SOT 1856362 SOS 1451011 HAS SOPS 1334617 HAS SOUS 410160 HAS SOUPS 367950 WITH SCORE 369401.011
AT ITER 5372 NEW BEST:: SOT 1856362 SOS 1450843 HAS SOPS 1334449 HAS SOUS 410139 HAS SOUPS 367929 WITH SCORE 369379.843
AT ITER 5375 NEW BEST:: SOT 1856448 SOS 1450929 HAS SOPS 1334535 HAS SOUS 409993 HAS SOUPS 367783 WITH SCORE 369233.929
AT ITER 5391 NEW BEST:: SOT 1856251 SOS 1450704 HAS SOPS 1334310 HAS SOUS 409725 HAS SOUPS 367515 WITH SCORE 368965.704
AT ITER 5464 NEW BEST:: SOT 1856187 SOS 1450640 HAS SOPS 1334246 HAS SOUS 409593 HAS SOUPS 367383 WITH SCORE 368833.64
AT ITER 5469 NEW BEST:: SOT 1856901 SOS 1450730 HAS SOPS 1334552 HAS SOUS 409113 HAS SOUPS 366903 WITH SCORE 368353.73
AT ITER 5491 NEW BEST:: SOT 1857620 SOS 1450798 HAS SOPS 1334878 HAS SOUS 408645 HAS SOUPS 366435 WITH SCORE 367885.798
AT ITER 5548 NEW BEST:: SOT 1856919 SOS 1449920 HAS SOPS 1334000 HAS SOUS 407121 HAS SOUPS 364911 WITH SCORE 366360.92
AT ITER 5562 NEW BEST:: SOT 1856203 SOS 1449382 HAS SOPS 1333366 HAS SOUS 406481 HAS SOUPS 364247 WITH SCORE 365696.382
AT ITER 5687 NEW BEST:: SOT 1854691 SOS 1447870 HAS SOPS 1331854 HAS SOUS 406249 HAS SOUPS 364015 WITH SCORE 365462.87
AT ITER 5769 NEW BEST:: SOT 1848993 SOS 1441963 HAS SOPS 1332127 HAS SOUS 405440 HAS SOUPS 363263 WITH SCORE 364704.963
AT ITER 5835 NEW BEST:: SOT 1848903 SOS 1441873 HAS SOPS 1332037 HAS SOUS 405350 HAS SOUPS 363173 WITH SCORE 364614.873
AT ITER 5950 NEW BEST:: SOT 1848534 SOS 1441585 HAS SOPS 1331722 HAS SOUS 405149 HAS SOUPS 362963 WITH SCORE 364404.585
AT ITER 5976 NEW BEST:: SOT 1848588 SOS 1441615 HAS SOPS 1331758 HAS SOUS 405047 HAS SOUPS 362867 WITH SCORE 364308.615
AT ITER 5988 NEW BEST:: SOT 1848781 SOS 1441691 HAS SOPS 1331873 HAS SOUS 405044 HAS SOUPS 362864 WITH SCORE 364305.691
AT ITER 6004 NEW BEST:: SOT 1848481 SOS 1441471 HAS SOPS 1331621 HAS SOUS 404972 HAS SOUPS 362784 WITH SCORE 364225.471
AT ITER 6011 NEW BEST:: SOT 1847372 SOS 1440214 HAS SOPS 1330364 HAS SOUS 403819 HAS SOUPS 361631 WITH SCORE 363071.214
AT ITER 6021 NEW BEST:: SOT 1849780 SOS 1441736 HAS SOPS 1328804 HAS SOUS 406599 HAS SOUPS 361329 WITH SCORE 362770.736
AT ITER 6024 NEW BEST:: SOT 1849858 SOS 1441760 HAS SOPS 1328846 HAS SOUS 406557 HAS SOUPS 361287 WITH SCORE 362728.76
AT ITER 6058 NEW BEST:: SOT 1849527 SOS 1441360 HAS SOPS 1328446 HAS SOUS 405809 HAS SOUPS 360539 WITH SCORE 361980.36
AT ITER 6081 NEW BEST:: SOT 1849799 SOS 1441482 HAS SOPS 1328619 HAS SOUS 405743 HAS SOUPS 360473 WITH SCORE 361914.482
AT ITER 6115 NEW BEST:: SOT 1849709 SOS 1441437 HAS SOPS 1328559 HAS SOUS 405737 HAS SOUPS 360462 WITH SCORE 361903.437
AT ITER 6137 NEW BEST:: SOT 1850619 SOS 1441711 HAS SOPS 1329046 HAS SOUS 405530 HAS SOUPS 360255 WITH SCORE 361696.711
AT ITER 6149 NEW BEST:: SOT 1850416 SOS 1441580 HAS SOPS 1328891 HAS SOUS 405391 HAS SOUPS 360108 WITH SCORE 361549.58
AT ITER 6198 NEW BEST:: SOT 1849813 SOS 1441001 HAS SOPS 1328312 HAS SOUS 404832 HAS SOUPS 359549 WITH SCORE 360990.001
AT ITER 6202 NEW BEST:: SOT 1847333 SOS 1438563 HAS SOPS 1325874 HAS SOUS 404636 HAS SOUPS 359353 WITH SCORE 360791.563
AT ITER 6213 NEW BEST:: SOT 1847229 SOS 1438435 HAS SOPS 1325746 HAS SOUS 404404 HAS SOUPS 359121 WITH SCORE 360559.435
AT ITER 6215 NEW BEST:: SOT 1846913 SOS 1438203 HAS SOPS 1325478 HAS SOUS 404236 HAS SOUPS 358953 WITH SCORE 360391.203
AT ITER 6234 NEW BEST:: SOT 1846908 SOS 1438021 HAS SOPS 1325296 HAS SOUS 403124 HAS SOUPS 357841 WITH SCORE 359279.021
AT ITER 6299 NEW BEST:: SOT 1846794 SOS 1437889 HAS SOPS 1325164 HAS SOUS 402932 HAS SOUPS 357649 WITH SCORE 359086.889
AT ITER 6330 NEW BEST:: SOT 1846808 SOS 1437885 HAS SOPS 1325166 HAS SOUS 402908 HAS SOUPS 357625 WITH SCORE 359062.885
AT ITER 6346 NEW BEST:: SOT 1845998 SOS 1437351 HAS SOPS 1324530 HAS SOUS 402596 HAS SOUPS 357313 WITH SCORE 358750.351
AT ITER 6393 NEW BEST:: SOT 1845959 SOS 1437303 HAS SOPS 1324482 HAS SOUS 402512 HAS SOUPS 357229 WITH SCORE 358666.303
AT ITER 6397 NEW BEST:: SOT 1845791 SOS 1437123 HAS SOPS 1324302 HAS SOUS 402448 HAS SOUPS 357165 WITH SCORE 358602.123
AT ITER 6413 NEW BEST:: SOT 1844087 SOS 1435431 HAS SOPS 1322608 HAS SOUS 402162 HAS SOUPS 356877 WITH SCORE 358312.431
AT ITER 6433 NEW BEST:: SOT 1843966 SOS 1435265 HAS SOPS 1322442 HAS SOUS 402146 HAS SOUPS 356861 WITH SCORE 358296.265
AT ITER 6459 NEW BEST:: SOT 1845322 SOS 1436588 HAS SOPS 1323765 HAS SOUS 402116 HAS SOUPS 356831 WITH SCORE 358267.588
AT ITER 6501 NEW BEST:: SOT 1845102 SOS 1436521 HAS SOPS 1323647 HAS SOUS 402067 HAS SOUPS 356782 WITH SCORE 358218.521
AT ITER 6515 NEW BEST:: SOT 1845516 SOS 1436935 HAS SOPS 1324061 HAS SOUS 402009 HAS SOUPS 356724 WITH SCORE 358160.935
AT ITER 6531 NEW BEST:: SOT 1845673 SOS 1436874 HAS SOPS 1324061 HAS SOUS 401896 HAS SOUPS 356615 WITH SCORE 358051.874
AT ITER 6552 NEW BEST:: SOT 1845291 SOS 1436467 HAS SOPS 1323666 HAS SOUS 401879 HAS SOUPS 356602 WITH SCORE 358038.467
AT ITER 6572 NEW BEST:: SOT 1844997 SOS 1436253 HAS SOPS 1323420 HAS SOUS 401819 HAS SOUPS 356534 WITH SCORE 357970.253
AT ITER 6577 NEW BEST:: SOT 1845464 SOS 1436456 HAS SOPS 1323716 HAS SOUS 401709 HAS SOUPS 356424 WITH SCORE 357860.456
AT ITER 6611 NEW BEST:: SOT 1845399 SOS 1436331 HAS SOPS 1323606 HAS SOUS 401449 HAS SOUPS 356164 WITH SCORE 357600.331
AT ITER 6633 NEW BEST:: SOT 1844550 SOS 1435806 HAS SOPS 1322976 HAS SOUS 401160 HAS SOUPS 355875 WITH SCORE 357310.806
AT ITER 6663 NEW BEST:: SOT 1844465 SOS 1435721 HAS SOPS 1322891 HAS SOUS 400926 HAS SOUPS 355641 WITH SCORE 357076.721
AT ITER 6691 NEW BEST:: SOT 1845149 SOS 1435811 HAS SOPS 1323179 HAS SOUS 400782 HAS SOUPS 355497 WITH SCORE 356932.811
AT ITER 6739 NEW BEST:: SOT 1844694 SOS 1435497 HAS SOPS 1322811 HAS SOUS 400416 HAS SOUPS 355131 WITH SCORE 356566.497
AT ITER 6756 NEW BEST:: SOT 1844658 SOS 1435568 HAS SOPS 1322882 HAS SOUS 400356 HAS SOUPS 355071 WITH SCORE 356506.568
AT ITER 6829 NEW BEST:: SOT 1844568 SOS 1435430 HAS SOPS 1322744 HAS SOUS 400116 HAS SOUPS 354831 WITH SCORE 356266.43
AT ITER 6841 NEW BEST:: SOT 1846097 SOS 1436794 HAS SOPS 1324210 HAS SOUS 399686 HAS SOUPS 354503 WITH SCORE 355939.794
AT ITER 6895 NEW BEST:: SOT 1846052 SOS 1436737 HAS SOPS 1324153 HAS SOUS 399590 HAS SOUPS 354407 WITH SCORE 355843.737
AT ITER 6897 NEW BEST:: SOT 1845929 SOS 1436556 HAS SOPS 1323972 HAS SOUS 399376 HAS SOUPS 354193 WITH SCORE 355629.556
AT ITER 6989 NEW BEST:: SOT 1845925 SOS 1436584 HAS SOPS 1324000 HAS SOUS 399373 HAS SOUPS 354190 WITH SCORE 355626.584
AT ITER 7001 NEW BEST:: SOT 1847268 SOS 1437245 HAS SOPS 1324887 HAS SOUS 399350 HAS SOUPS 354168 WITH SCORE 355605.245
AT ITER 7035 NEW BEST:: SOT 1830136 SOS 1427239 HAS SOPS 1333203 HAS SOUS 398221 HAS SOUPS 353175 WITH SCORE 354602.239
AT ITER 7044 NEW BEST:: SOT 1830010 SOS 1427185 HAS SOPS 1333131 HAS SOUS 398194 HAS SOUPS 353139 WITH SCORE 354566.185
AT ITER 7081 NEW BEST:: SOT 1829882 SOS 1427009 HAS SOPS 1332955 HAS SOUS 397922 HAS SOUPS 352867 WITH SCORE 354294.009
AT ITER 7205 NEW BEST:: SOT 1829836 SOS 1426963 HAS SOPS 1332909 HAS SOUS 397884 HAS SOUPS 352829 WITH SCORE 354255.963
AT ITER 7344 NEW BEST:: SOT 1830006 SOS 1426942 HAS SOPS 1332932 HAS SOUS 397541 HAS SOUPS 352486 WITH SCORE 353912.942
AT ITER 7376 NEW BEST:: SOT 1830046 SOS 1426938 HAS SOPS 1332940 HAS SOUS 397489 HAS SOUPS 352438 WITH SCORE 353864.938
AT ITER 7565 NEW BEST:: SOT 1830028 SOS 1427880 HAS SOPS 1333882 HAS SOUS 397484 HAS SOUPS 352433 WITH SCORE 353860.88
AT ITER 7577 NEW BEST:: SOT 1829648 SOS 1427449 HAS SOPS 1333451 HAS SOUS 396991 HAS SOUPS 351940 WITH SCORE 353367.449
AT ITER 7588 NEW BEST:: SOT 1829526 SOS 1427330 HAS SOPS 1333332 HAS SOUS 396868 HAS SOUPS 351817 WITH SCORE 353244.33
AT ITER 7624 NEW BEST:: SOT 1829514 SOS 1427315 HAS SOPS 1333317 HAS SOUS 396843 HAS SOUPS 351792 WITH SCORE 353219.315
AT ITER 7634 NEW BEST:: SOT 1829748 SOS 1427387 HAS SOPS 1333443 HAS SOUS 396717 HAS SOUPS 351666 WITH SCORE 353093.387
AT ITER 7731 NEW BEST:: SOT 1829765 SOS 1428819 HAS SOPS 1334905 HAS SOUS 396669 HAS SOUPS 351624 WITH SCORE 353052.819
AT ITER 7787 NEW BEST:: SOT 1830276 SOS 1428943 HAS SOPS 1335158 HAS SOUS 396061 HAS SOUPS 351016 WITH SCORE 352444.943
AT ITER 7877 NEW BEST:: SOT 1830648 SOS 1429020 HAS SOPS 1335299 HAS SOUS 395538 HAS SOUPS 350493 WITH SCORE 351922.02
AT ITER 7922 NEW BEST:: SOT 1831012 SOS 1429280 HAS SOPS 1335585 HAS SOUS 395447 HAS SOUPS 350415 WITH SCORE 351844.28
AT ITER 7960 NEW BEST:: SOT 1830926 SOS 1429190 HAS SOPS 1335495 HAS SOUS 395314 HAS SOUPS 350282 WITH SCORE 351711.19
AT ITER 7972 NEW BEST:: SOT 1831232 SOS 1428976 HAS SOPS 1335411 HAS SOUS 394523 HAS SOUPS 349491 WITH SCORE 350919.976
AT ITER 8012 NEW BEST:: SOT 1834391 SOS 1431437 HAS SOPS 1338062 HAS SOUS 393425 HAS SOUPS 348583 WITH SCORE 350014.437
AT ITER 8045 NEW BEST:: SOT 1834164 SOS 1431207 HAS SOPS 1337832 HAS SOUS 392969 HAS SOUPS 348127 WITH SCORE 349558.207
AT ITER 8047 NEW BEST:: SOT 1834236 SOS 1431213 HAS SOPS 1337850 HAS SOUS 392903 HAS SOUPS 348061 WITH SCORE 349492.213
AT ITER 8079 NEW BEST:: SOT 1833852 SOS 1430826 HAS SOPS 1337463 HAS SOUS 392694 HAS SOUPS 347852 WITH SCORE 349282.826
AT ITER 8098 NEW BEST:: SOT 1833698 SOS 1430644 HAS SOPS 1337281 HAS SOUS 392418 HAS SOUPS 347576 WITH SCORE 349006.644
AT ITER 8146 NEW BEST:: SOT 1833142 SOS 1430253 HAS SOPS 1336815 HAS SOUS 392035 HAS SOUPS 347193 WITH SCORE 348623.253
AT ITER 8152 NEW BEST:: SOT 1833033 SOS 1430289 HAS SOPS 1336803 HAS SOUS 392008 HAS SOUPS 347143 WITH SCORE 348573.289
AT ITER 8241 NEW BEST:: SOT 1832759 SOS 1430015 HAS SOPS 1336529 HAS SOUS 391589 HAS SOUPS 346724 WITH SCORE 348154.015
AT ITER 8285 NEW BEST:: SOT 1832933 SOS 1430054 HAS SOPS 1336613 HAS SOUS 391417 HAS SOUPS 346552 WITH SCORE 347982.054
AT ITER 8310 NEW BEST:: SOT 1833740 SOS 1430775 HAS SOPS 1337388 HAS SOUS 391335 HAS SOUPS 346524 WITH SCORE 347954.775
AT ITER 8317 NEW BEST:: SOT 1833988 SOS 1430836 HAS SOPS 1337489 HAS SOUS 391198 HAS SOUPS 346387 WITH SCORE 347817.836
AT ITER 8338 NEW BEST:: SOT 1834241 SOS 1430936 HAS SOPS 1337640 HAS SOUS 391081 HAS SOUPS 346270 WITH SCORE 347700.936
AT ITER 8409 NEW BEST:: SOT 1834217 SOS 1430908 HAS SOPS 1337612 HAS SOUS 390973 HAS SOUPS 346162 WITH SCORE 347592.908
AT ITER 8429 NEW BEST:: SOT 1834191 SOS 1430882 HAS SOPS 1337586 HAS SOUS 390943 HAS SOUPS 346132 WITH SCORE 347562.882
AT ITER 8493 NEW BEST:: SOT 1834032 SOS 1430723 HAS SOPS 1337427 HAS SOUS 390816 HAS SOUPS 346005 WITH SCORE 347435.723
AT ITER 8496 NEW BEST:: SOT 1834032 SOS 1430723 HAS SOPS 1337427 HAS SOUS 390672 HAS SOUPS 345861 WITH SCORE 347291.723
AT ITER 8502 NEW BEST:: SOT 1834010 SOS 1430695 HAS SOPS 1337399 HAS SOUS 390640 HAS SOUPS 345829 WITH SCORE 347259.695
AT ITER 8535 NEW BEST:: SOT 1834172 SOS 1430438 HAS SOPS 1337228 HAS SOUS 389937 HAS SOUPS 345126 WITH SCORE 346556.438
AT ITER 8569 NEW BEST:: SOT 1834044 SOS 1430310 HAS SOPS 1337100 HAS SOUS 389937 HAS SOUPS 345126 WITH SCORE 346556.31
AT ITER 8631 NEW BEST:: SOT 1831665 SOS 1428002 HAS SOPS 1334603 HAS SOUS 389966 HAS SOUPS 344973 WITH SCORE 346401.002
AT ITER 8694 NEW BEST:: SOT 1831377 SOS 1427794 HAS SOPS 1334375 HAS SOUS 389778 HAS SOUPS 344775 WITH SCORE 346202.794
AT ITER 8730 NEW BEST:: SOT 1831369 SOS 1427783 HAS SOPS 1334364 HAS SOUS 389753 HAS SOUPS 344750 WITH SCORE 346177.783
AT ITER 8798 NEW BEST:: SOT 1831479 SOS 1427755 HAS SOPS 1334378 HAS SOUS 389587 HAS SOUPS 344584 WITH SCORE 346011.755
AT ITER 8857 NEW BEST:: SOT 1830960 SOS 1427236 HAS SOPS 1333859 HAS SOUS 388880 HAS SOUPS 343877 WITH SCORE 345304.236
AT ITER 8962 NEW BEST:: SOT 1831006 SOS 1427165 HAS SOPS 1333812 HAS SOUS 388689 HAS SOUPS 343686 WITH SCORE 345113.165
AT ITER 8963 NEW BEST:: SOT 1831303 SOS 1427418 HAS SOPS 1334109 HAS SOUS 388627 HAS SOUPS 343635 WITH SCORE 345062.418
AT ITER 9023 NEW BEST:: SOT 1831291 SOS 1427406 HAS SOPS 1334097 HAS SOUS 388613 HAS SOUPS 343621 WITH SCORE 345048.406
AT ITER 9025 NEW BEST:: SOT 1831723 SOS 1427550 HAS SOPS 1334313 HAS SOUS 388505 HAS SOUPS 343513 WITH SCORE 344940.55
AT ITER 9156 NEW BEST:: SOT 1831673 SOS 1427521 HAS SOPS 1334278 HAS SOUS 388489 HAS SOUPS 343497 WITH SCORE 344924.521
AT ITER 9213 NEW BEST:: SOT 1831675 SOS 1427520 HAS SOPS 1334277 HAS SOUS 388483 HAS SOUPS 343491 WITH SCORE 344918.52
AT ITER 9324 NEW BEST:: SOT 1832813 SOS 1428636 HAS SOPS 1333452 HAS SOUS 388221 HAS SOUPS 343213 WITH SCORE 344641.636
AT ITER 9348 NEW BEST:: SOT 1832500 SOS 1428281 HAS SOPS 1333097 HAS SOUS 387829 HAS SOUPS 342821 WITH SCORE 344249.281
AT ITER 9361 NEW BEST:: SOT 1832242 SOS 1428124 HAS SOPS 1332914 HAS SOUS 387675 HAS SOUPS 342667 WITH SCORE 344095.124
AT ITER 9367 NEW BEST:: SOT 1831445 SOS 1427327 HAS SOPS 1332117 HAS SOUS 387474 HAS SOUPS 342466 WITH SCORE 343893.327
AT ITER 9370 NEW BEST:: SOT 1836607 SOS 1430552 HAS SOPS 1335888 HAS SOUS 386223 HAS SOUPS 341409 WITH SCORE 342839.552
AT ITER 9432 NEW BEST:: SOT 1836632 SOS 1430557 HAS SOPS 1335898 HAS SOUS 386118 HAS SOUPS 341309 WITH SCORE 342739.557
AT ITER 9438 NEW BEST:: SOT 1835916 SOS 1429841 HAS SOPS 1335182 HAS SOUS 385730 HAS SOUPS 340921 WITH SCORE 342350.841
AT ITER 9479 NEW BEST:: SOT 1836094 SOS 1429927 HAS SOPS 1335294 HAS SOUS 385388 HAS SOUPS 340605 WITH SCORE 342034.927
AT ITER 9493 NEW BEST:: SOT 1836080 SOS 1429913 HAS SOPS 1335280 HAS SOUS 385353 HAS SOUPS 340570 WITH SCORE 341999.913
AT ITER 9534 NEW BEST:: SOT 1836107 SOS 1431039 HAS SOPS 1336425 HAS SOUS 385191 HAS SOUPS 340420 WITH SCORE 341851.039
AT ITER 9557 NEW BEST:: SOT 1835537 SOS 1430469 HAS SOPS 1335855 HAS SOUS 384757 HAS SOUPS 339986 WITH SCORE 341416.469
AT ITER 9586 NEW BEST:: SOT 1834815 SOS 1429785 HAS SOPS 1335133 HAS SOUS 384223 HAS SOUPS 339414 WITH SCORE 340843.785
AT ITER 9617 NEW BEST:: SOT 1834421 SOS 1429551 HAS SOPS 1334859 HAS SOUS 384115 HAS SOUPS 339306 WITH SCORE 340735.551
AT ITER 9650 NEW BEST:: SOT 1834260 SOS 1429390 HAS SOPS 1334698 HAS SOUS 383954 HAS SOUPS 339145 WITH SCORE 340574.39
AT ITER 9653 NEW BEST:: SOT 1834280 SOS 1429407 HAS SOPS 1334715 HAS SOUS 383941 HAS SOUPS 339132 WITH SCORE 340561.407
AT ITER 9696 NEW BEST:: SOT 1834278 SOS 1429396 HAS SOPS 1334704 HAS SOUS 383934 HAS SOUPS 339125 WITH SCORE 340554.396
AT ITER 9780 NEW BEST:: SOT 1834298 SOS 1429361 HAS SOPS 1334679 HAS SOUS 383834 HAS SOUPS 339025 WITH SCORE 340454.361
AT ITER 9787 NEW BEST:: SOT 1834120 SOS 1429135 HAS SOPS 1334453 HAS SOUS 383364 HAS SOUPS 338555 WITH SCORE 339984.135
AT ITER 9813 NEW BEST:: SOT 1835074 SOS 1429813 HAS SOPS 1335263 HAS SOUS 383052 HAS SOUPS 338276 WITH SCORE 339705.813
AT ITER 9924 NEW BEST:: SOT 1835317 SOS 1429964 HAS SOPS 1335462 HAS SOUS 382779 HAS SOUPS 338015 WITH SCORE 339444.964
AT ITER 9998 NEW BEST:: SOT 1835132 SOS 1429734 HAS SOPS 1335223 HAS SOUS 382693 HAS SOUPS 337920 WITH SCORE 339349.734
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 2735908 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16113964 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="DoubleLock-PT-p1s3"
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 DoubleLock-PT-p1s3, 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 r139-smll-167819423300528"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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