About the Execution of Smart+red for DoubleLock-PT-p1s2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10486.743 | 3600000.00 | 3626183.00 | 10183.70 | [undef] | Time out reached |
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-167819423300520.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-p1s2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423300520
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.8M
-rw-r--r-- 1 mcc users 7.1K Feb 25 14:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 14:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 14:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 184K Feb 25 14:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 14:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 14:27 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 1678457033899
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-p1s2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 14:03:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 14:03:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 14:03:58] [INFO ] Load time of PNML (sax parser for PT used): 885 ms
[2023-03-10 14:03:58] [INFO ] Transformed 570 places.
[2023-03-10 14:03:58] [INFO ] Transformed 7600 transitions.
[2023-03-10 14:03:58] [INFO ] Parsed PT model containing 570 places and 7600 transitions and 30784 arcs in 1094 ms.
[2023-03-10 14:03:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 570 places, 7600 transitions and 30784 arcs took 92 ms.
Total runtime 1248 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleLock (PT), instance p1s2
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, 7600 transitions, 30784 arcs.
AT ITER 0 NEW BEST:: SOT 1805073 SOS 1574056 HAS SOPS 1492508 HAS SOUS 635928 HAS SOUPS 595020 WITH SCORE 596594.056
AT ITER 4 NEW BEST:: SOT 1805053 SOS 1574036 HAS SOPS 1492488 HAS SOUS 635908 HAS SOUPS 595000 WITH SCORE 596574.036
AT ITER 16 NEW BEST:: SOT 1806415 SOS 1574486 HAS SOPS 1493166 HAS SOUS 634574 HAS SOUPS 593780 WITH SCORE 595354.486
AT ITER 23 NEW BEST:: SOT 1806741 SOS 1574452 HAS SOPS 1493222 HAS SOUS 633991 HAS SOUPS 593242 WITH SCORE 594816.452
AT ITER 28 NEW BEST:: SOT 1808771 SOS 1575330 HAS SOPS 1494388 HAS SOUS 633183 HAS SOUPS 592578 WITH SCORE 594153.33
AT ITER 37 NEW BEST:: SOT 1811095 SOS 1576246 HAS SOPS 1495656 HAS SOUS 630455 HAS SOUPS 590026 WITH SCORE 591602.246
AT ITER 42 NEW BEST:: SOT 1811449 SOS 1575912 HAS SOPS 1495494 HAS SOUS 628537 HAS SOUPS 588194 WITH SCORE 589769.912
AT ITER 45 NEW BEST:: SOT 1808129 SOS 1572795 HAS SOPS 1492391 HAS SOUS 625826 HAS SOUPS 585497 WITH SCORE 587069.795
AT ITER 47 NEW BEST:: SOT 1812255 SOS 1575761 HAS SOPS 1495647 HAS SOUS 625244 HAS SOUPS 585060 WITH SCORE 586635.761
AT ITER 50 NEW BEST:: SOT 1810859 SOS 1562213 HAS SOPS 1467809 HAS SOUS 613014 HAS SOUPS 572824 WITH SCORE 574386.213
AT ITER 54 NEW BEST:: SOT 1811320 SOS 1561737 HAS SOPS 1467640 HAS SOUS 611255 HAS SOUPS 571170 WITH SCORE 572731.737
AT ITER 63 NEW BEST:: SOT 1813078 SOS 1562325 HAS SOPS 1468618 HAS SOUS 609805 HAS SOUPS 569850 WITH SCORE 571412.325
AT ITER 68 NEW BEST:: SOT 1813078 SOS 1562197 HAS SOPS 1468490 HAS SOUS 609804 HAS SOUPS 569849 WITH SCORE 571411.197
AT ITER 95 NEW BEST:: SOT 1813811 SOS 1562131 HAS SOPS 1468689 HAS SOUS 608633 HAS SOUPS 568767 WITH SCORE 570329.131
AT ITER 97 NEW BEST:: SOT 1811736 SOS 1560056 HAS SOPS 1466614 HAS SOUS 607358 HAS SOUPS 567492 WITH SCORE 569052.056
AT ITER 99 NEW BEST:: SOT 1811704 SOS 1560024 HAS SOPS 1466582 HAS SOUS 607326 HAS SOUPS 567460 WITH SCORE 569020.024
AT ITER 104 NEW BEST:: SOT 1816611 SOS 1563064 HAS SOPS 1470217 HAS SOUS 605871 HAS SOUPS 566217 WITH SCORE 567780.064
AT ITER 111 NEW BEST:: SOT 1835772 SOS 1581870 HAS SOPS 1467362 HAS SOUS 603199 HAS SOUPS 563545 WITH SCORE 565126.87
AT ITER 143 NEW BEST:: SOT 1835984 SOS 1582082 HAS SOPS 1467574 HAS SOUS 603107 HAS SOUPS 563453 WITH SCORE 565035.082
AT ITER 155 NEW BEST:: SOT 1839836 SOS 1584737 HAS SOPS 1470628 HAS SOUS 602700 HAS SOUPS 563179 WITH SCORE 564763.737
AT ITER 182 NEW BEST:: SOT 1838185 SOS 1572317 HAS SOPS 1454148 HAS SOUS 598507 HAS SOUPS 558986 WITH SCORE 560558.317
AT ITER 194 NEW BEST:: SOT 1839869 SOS 1572879 HAS SOPS 1455106 HAS SOUS 598184 HAS SOUPS 558784 WITH SCORE 560356.879
AT ITER 201 NEW BEST:: SOT 1839413 SOS 1572423 HAS SOPS 1454650 HAS SOUS 597913 HAS SOUPS 558513 WITH SCORE 560085.423
AT ITER 218 NEW BEST:: SOT 1840365 SOS 1561119 HAS SOPS 1443339 HAS SOUS 590460 HAS SOUPS 551055 WITH SCORE 552616.119
AT ITER 220 NEW BEST:: SOT 1841817 SOS 1561281 HAS SOPS 1443930 HAS SOUS 589292 HAS SOUPS 550010 WITH SCORE 551571.281
AT ITER 237 NEW BEST:: SOT 1841817 SOS 1560449 HAS SOPS 1443098 HAS SOUS 589286 HAS SOUPS 550004 WITH SCORE 551564.449
AT ITER 251 NEW BEST:: SOT 1838645 SOS 1558268 HAS SOPS 1440538 HAS SOUS 586596 HAS SOUPS 547176 WITH SCORE 548734.268
AT ITER 263 NEW BEST:: SOT 1838995 SOS 1558168 HAS SOPS 1440573 HAS SOUS 585945 HAS SOUPS 546570 WITH SCORE 548128.168
AT ITER 287 NEW BEST:: SOT 1840495 SOS 1558712 HAS SOPS 1441414 HAS SOUS 585419 HAS SOUPS 546143 WITH SCORE 547701.712
AT ITER 310 NEW BEST:: SOT 1841232 SOS 1558428 HAS SOPS 1441479 HAS SOUS 583780 HAS SOUPS 544600 WITH SCORE 546158.428
AT ITER 316 NEW BEST:: SOT 1842221 SOS 1558427 HAS SOPS 1441781 HAS SOUS 582300 HAS SOUPS 543221 WITH SCORE 544779.427
AT ITER 356 NEW BEST:: SOT 1842433 SOS 1558415 HAS SOPS 1441838 HAS SOUS 582180 HAS SOUPS 543124 WITH SCORE 544682.415
AT ITER 358 NEW BEST:: SOT 1842793 SOS 1558325 HAS SOPS 1441883 HAS SOUS 581550 HAS SOUPS 542539 WITH SCORE 544097.325
AT ITER 368 NEW BEST:: SOT 1842757 SOS 1558289 HAS SOPS 1441847 HAS SOUS 581514 HAS SOUPS 542503 WITH SCORE 544061.289
AT ITER 385 NEW BEST:: SOT 1842617 SOS 1558212 HAS SOPS 1441749 HAS SOUS 581444 HAS SOUPS 542426 WITH SCORE 543984.212
AT ITER 414 NEW BEST:: SOT 1841441 SOS 1557877 HAS SOPS 1441147 HAS SOUS 581364 HAS SOUPS 542257 WITH SCORE 543814.877
AT ITER 440 NEW BEST:: SOT 1841435 SOS 1557871 HAS SOPS 1441141 HAS SOUS 581360 HAS SOUPS 542253 WITH SCORE 543810.871
AT ITER 451 NEW BEST:: SOT 1845736 SOS 1560797 HAS SOPS 1444502 HAS SOUS 581151 HAS SOUPS 542189 WITH SCORE 543749.797
AT ITER 462 NEW BEST:: SOT 1844444 SOS 1559506 HAS SOPS 1443211 HAS SOUS 580606 HAS SOUPS 541644 WITH SCORE 543203.506
AT ITER 463 NEW BEST:: SOT 1844438 SOS 1559500 HAS SOPS 1443205 HAS SOUS 580599 HAS SOUPS 541637 WITH SCORE 543196.5
AT ITER 474 NEW BEST:: SOT 1842169 SOS 1557231 HAS SOPS 1440936 HAS SOUS 579098 HAS SOUPS 540136 WITH SCORE 541693.231
AT ITER 487 NEW BEST:: SOT 1826454 SOS 1541516 HAS SOPS 1425221 HAS SOUS 577719 HAS SOUPS 538757 WITH SCORE 540298.516
AT ITER 491 NEW BEST:: SOT 1827080 SOS 1541363 HAS SOPS 1425322 HAS SOUS 576370 HAS SOUPS 537483 WITH SCORE 539024.363
AT ITER 492 NEW BEST:: SOT 1827099 SOS 1543117 HAS SOPS 1427083 HAS SOUS 576273 HAS SOUPS 537391 WITH SCORE 538934.117
AT ITER 496 NEW BEST:: SOT 1827075 SOS 1543093 HAS SOPS 1427059 HAS SOUS 576249 HAS SOUPS 537367 WITH SCORE 538910.093
AT ITER 497 NEW BEST:: SOT 1827555 SOS 1542865 HAS SOPS 1427056 HAS SOUS 575133 HAS SOUPS 536320 WITH SCORE 537862.865
AT ITER 503 NEW BEST:: SOT 1826035 SOS 1541345 HAS SOPS 1425536 HAS SOUS 574187 HAS SOUPS 535374 WITH SCORE 536915.345
AT ITER 527 NEW BEST:: SOT 1828197 SOS 1542904 HAS SOPS 1427350 HAS SOUS 573680 HAS SOUPS 534939 WITH SCORE 536481.904
AT ITER 556 NEW BEST:: SOT 1828857 SOS 1542823 HAS SOPS 1427510 HAS SOUS 572777 HAS SOUPS 534110 WITH SCORE 535652.823
AT ITER 585 NEW BEST:: SOT 1830722 SOS 1543231 HAS SOPS 1428382 HAS SOUS 571474 HAS SOUPS 532957 WITH SCORE 534500.231
AT ITER 614 NEW BEST:: SOT 1830592 SOS 1543101 HAS SOPS 1428252 HAS SOUS 571344 HAS SOUPS 532827 WITH SCORE 534370.101
AT ITER 616 NEW BEST:: SOT 1831701 SOS 1542969 HAS SOPS 1428508 HAS SOUS 568800 HAS SOUPS 530407 WITH SCORE 531949.969
AT ITER 617 NEW BEST:: SOT 1834195 SOS 1543116 HAS SOPS 1418365 HAS SOUS 562321 HAS SOUPS 523928 WITH SCORE 525471.116
AT ITER 633 NEW BEST:: SOT 1834225 SOS 1543126 HAS SOPS 1418383 HAS SOUS 562309 HAS SOUPS 523918 WITH SCORE 525461.126
AT ITER 634 NEW BEST:: SOT 1835263 SOS 1542910 HAS SOPS 1418623 HAS SOUS 560235 HAS SOUPS 521958 WITH SCORE 523500.91
AT ITER 638 NEW BEST:: SOT 1835263 SOS 1542754 HAS SOPS 1418467 HAS SOUS 560070 HAS SOUPS 521793 WITH SCORE 523335.754
AT ITER 653 NEW BEST:: SOT 1838505 SOS 1544082 HAS SOPS 1420494 HAS SOUS 558420 HAS SOUPS 520319 WITH SCORE 521863.082
AT ITER 659 NEW BEST:: SOT 1841020 SOS 1544845 HAS SOPS 1421917 HAS SOUS 555786 HAS SOUPS 517850 WITH SCORE 519394.845
AT ITER 671 NEW BEST:: SOT 1840557 SOS 1544382 HAS SOPS 1421454 HAS SOUS 555323 HAS SOUPS 517387 WITH SCORE 518931.382
AT ITER 676 NEW BEST:: SOT 1839068 SOS 1542839 HAS SOPS 1419911 HAS SOUS 553960 HAS SOUPS 516024 WITH SCORE 517566.839
AT ITER 681 NEW BEST:: SOT 1838620 SOS 1542371 HAS SOPS 1419443 HAS SOUS 552320 HAS SOUPS 514384 WITH SCORE 515926.371
AT ITER 687 NEW BEST:: SOT 1840510 SOS 1542888 HAS SOPS 1420472 HAS SOUS 551512 HAS SOUPS 513714 WITH SCORE 515256.888
AT ITER 706 NEW BEST:: SOT 1840504 SOS 1542864 HAS SOPS 1420448 HAS SOUS 551330 HAS SOUPS 513532 WITH SCORE 515074.864
AT ITER 746 NEW BEST:: SOT 1840644 SOS 1543004 HAS SOPS 1420588 HAS SOUS 551298 HAS SOUPS 513500 WITH SCORE 515043.004
AT ITER 751 NEW BEST:: SOT 1841018 SOS 1542839 HAS SOPS 1420619 HAS SOUS 550131 HAS SOUPS 512382 WITH SCORE 513924.839
AT ITER 759 NEW BEST:: SOT 1842338 SOS 1543012 HAS SOPS 1421224 HAS SOUS 549520 HAS SOUPS 511879 WITH SCORE 513422.012
AT ITER 762 NEW BEST:: SOT 1841140 SOS 1541814 HAS SOPS 1420026 HAS SOUS 548786 HAS SOUPS 511145 WITH SCORE 512686.814
AT ITER 765 NEW BEST:: SOT 1841120 SOS 1541794 HAS SOPS 1420006 HAS SOUS 548658 HAS SOUPS 511017 WITH SCORE 512558.794
AT ITER 770 NEW BEST:: SOT 1840547 SOS 1541221 HAS SOPS 1419433 HAS SOUS 548305 HAS SOUPS 510664 WITH SCORE 512205.221
AT ITER 772 NEW BEST:: SOT 1840237 SOS 1540911 HAS SOPS 1419123 HAS SOUS 547897 HAS SOUPS 510256 WITH SCORE 511796.911
AT ITER 821 NEW BEST:: SOT 1841122 SOS 1541885 HAS SOPS 1420097 HAS SOUS 547254 HAS SOUPS 509613 WITH SCORE 511154.885
AT ITER 902 NEW BEST:: SOT 1841351 SOS 1541377 HAS SOPS 1419857 HAS SOUS 545486 HAS SOUPS 507912 WITH SCORE 509453.377
AT ITER 919 NEW BEST:: SOT 1841483 SOS 1541806 HAS SOPS 1420295 HAS SOUS 544981 HAS SOUPS 507413 WITH SCORE 508954.806
AT ITER 933 NEW BEST:: SOT 1841511 SOS 1541834 HAS SOPS 1420323 HAS SOUS 544953 HAS SOUPS 507385 WITH SCORE 508926.834
AT ITER 939 NEW BEST:: SOT 1841683 SOS 1541572 HAS SOPS 1420221 HAS SOUS 544275 HAS SOUPS 506747 WITH SCORE 508288.572
AT ITER 957 NEW BEST:: SOT 1841645 SOS 1541534 HAS SOPS 1420183 HAS SOUS 544240 HAS SOUPS 506712 WITH SCORE 508253.534
AT ITER 963 NEW BEST:: SOT 1841640 SOS 1541401 HAS SOPS 1420050 HAS SOUS 544234 HAS SOUPS 506706 WITH SCORE 508247.401
AT ITER 979 NEW BEST:: SOT 1842285 SOS 1541411 HAS SOPS 1420279 HAS SOUS 543308 HAS SOUPS 505845 WITH SCORE 507386.411
AT ITER 988 NEW BEST:: SOT 1842978 SOS 1541283 HAS SOPS 1420459 HAS SOUS 542354 HAS SOUPS 504968 WITH SCORE 506509.283
AT ITER 995 NEW BEST:: SOT 1842838 SOS 1541117 HAS SOPS 1420293 HAS SOUS 541192 HAS SOUPS 503806 WITH SCORE 505347.117
AT ITER 998 NEW BEST:: SOT 1842562 SOS 1540841 HAS SOPS 1420017 HAS SOUS 541080 HAS SOUPS 503694 WITH SCORE 505234.841
AT ITER 1046 NEW BEST:: SOT 1842538 SOS 1540498 HAS SOPS 1419790 HAS SOUS 540186 HAS SOUPS 502829 WITH SCORE 504369.498
AT ITER 1060 NEW BEST:: SOT 1844001 SOS 1540805 HAS SOPS 1420553 HAS SOUS 539243 HAS SOUPS 502000 WITH SCORE 503540.805
AT ITER 1079 NEW BEST:: SOT 1843995 SOS 1540799 HAS SOPS 1420547 HAS SOUS 539216 HAS SOUPS 501973 WITH SCORE 503513.799
AT ITER 1117 NEW BEST:: SOT 1842130 SOS 1538934 HAS SOPS 1418682 HAS SOUS 537351 HAS SOUPS 500108 WITH SCORE 501646.934
AT ITER 1160 NEW BEST:: SOT 1855812 SOS 1552616 HAS SOPS 1432364 HAS SOUS 537337 HAS SOUPS 500094 WITH SCORE 501646.616
AT ITER 1167 NEW BEST:: SOT 1855840 SOS 1552644 HAS SOPS 1432392 HAS SOUS 537257 HAS SOUPS 500014 WITH SCORE 501566.644
AT ITER 1176 NEW BEST:: SOT 1856070 SOS 1551884 HAS SOPS 1431992 HAS SOUS 534765 HAS SOUPS 497612 WITH SCORE 499163.884
AT ITER 1194 NEW BEST:: SOT 1855286 SOS 1551293 HAS SOPS 1431401 HAS SOUS 534411 HAS SOUPS 497258 WITH SCORE 498809.293
AT ITER 1205 NEW BEST:: SOT 1854704 SOS 1550911 HAS SOPS 1430935 HAS SOUS 534057 HAS SOUPS 496883 WITH SCORE 498433.911
AT ITER 1211 NEW BEST:: SOT 1854517 SOS 1550724 HAS SOPS 1430748 HAS SOUS 533870 HAS SOUPS 496696 WITH SCORE 498246.724
AT ITER 1214 NEW BEST:: SOT 1855021 SOS 1550315 HAS SOPS 1430671 HAS SOUS 532260 HAS SOUPS 495169 WITH SCORE 496719.315
AT ITER 1222 NEW BEST:: SOT 1854579 SOS 1549836 HAS SOPS 1430192 HAS SOUS 531067 HAS SOUPS 493976 WITH SCORE 495525.836
AT ITER 1234 NEW BEST:: SOT 1855150 SOS 1549717 HAS SOPS 1430341 HAS SOUS 530259 HAS SOUPS 493235 WITH SCORE 494784.717
AT ITER 1284 NEW BEST:: SOT 1855150 SOS 1549717 HAS SOPS 1430341 HAS SOUS 530243 HAS SOUPS 493219 WITH SCORE 494768.717
AT ITER 1295 NEW BEST:: SOT 1854460 SOS 1549530 HAS SOPS 1429967 HAS SOUS 530032 HAS SOUPS 492958 WITH SCORE 494507.53
AT ITER 1297 NEW BEST:: SOT 1855860 SOS 1549924 HAS SOPS 1430753 HAS SOUS 529806 HAS SOUPS 492830 WITH SCORE 494379.924
AT ITER 1303 NEW BEST:: SOT 1855916 SOS 1549903 HAS SOPS 1430760 HAS SOUS 529645 HAS SOUPS 492676 WITH SCORE 494225.903
AT ITER 1308 NEW BEST:: SOT 1858843 SOS 1551490 HAS SOPS 1432839 HAS SOUS 528375 HAS SOUPS 491530 WITH SCORE 493081.49
AT ITER 1330 NEW BEST:: SOT 1858843 SOS 1552514 HAS SOPS 1433863 HAS SOUS 528373 HAS SOUPS 491528 WITH SCORE 493080.514
AT ITER 1339 NEW BEST:: SOT 1860284 SOS 1552753 HAS SOPS 1434537 HAS SOUS 527131 HAS SOUPS 490403 WITH SCORE 491955.753
AT ITER 1341 NEW BEST:: SOT 1861372 SOS 1552820 HAS SOPS 1434984 HAS SOUS 526595 HAS SOUPS 489962 WITH SCORE 491514.82
AT ITER 1343 NEW BEST:: SOT 1849873 SOS 1541321 HAS SOPS 1426045 HAS SOUS 523544 HAS SOUPS 486911 WITH SCORE 488452.321
AT ITER 1370 NEW BEST:: SOT 1850491 SOS 1541535 HAS SOPS 1426409 HAS SOUS 523049 HAS SOUPS 486455 WITH SCORE 487996.535
AT ITER 1372 NEW BEST:: SOT 1850373 SOS 1541432 HAS SOPS 1426306 HAS SOUS 522972 HAS SOUPS 486378 WITH SCORE 487919.432
AT ITER 1373 NEW BEST:: SOT 1854040 SOS 1543227 HAS SOPS 1428807 HAS SOUS 522062 HAS SOUPS 485647 WITH SCORE 487190.227
AT ITER 1421 NEW BEST:: SOT 1860762 SOS 1548262 HAS SOPS 1434596 HAS SOUS 521828 HAS SOUPS 485615 WITH SCORE 487163.262
AT ITER 1435 NEW BEST:: SOT 1851290 SOS 1538790 HAS SOPS 1429476 HAS SOUS 516708 HAS SOUPS 480495 WITH SCORE 482033.79
AT ITER 1461 NEW BEST:: SOT 1853043 SOS 1538659 HAS SOPS 1430025 HAS SOUS 512828 HAS SOUPS 476794 WITH SCORE 478332.659
AT ITER 1487 NEW BEST:: SOT 1853239 SOS 1537909 HAS SOPS 1429619 HAS SOUS 510279 HAS SOUPS 474331 WITH SCORE 475868.909
AT ITER 1499 NEW BEST:: SOT 1853224 SOS 1537894 HAS SOPS 1429604 HAS SOUS 510248 HAS SOUPS 474300 WITH SCORE 475837.894
AT ITER 1542 NEW BEST:: SOT 1853128 SOS 1537660 HAS SOPS 1429370 HAS SOUS 510098 HAS SOUPS 474150 WITH SCORE 475687.66
AT ITER 1553 NEW BEST:: SOT 1853328 SOS 1537450 HAS SOPS 1429312 HAS SOUS 509346 HAS SOUPS 473436 WITH SCORE 474973.45
AT ITER 1564 NEW BEST:: SOT 1853202 SOS 1537324 HAS SOPS 1429186 HAS SOUS 509272 HAS SOUPS 473362 WITH SCORE 474899.324
AT ITER 1566 NEW BEST:: SOT 1853096 SOS 1536954 HAS SOPS 1428816 HAS SOUS 508960 HAS SOUPS 473050 WITH SCORE 474586.954
AT ITER 1572 NEW BEST:: SOT 1853115 SOS 1536924 HAS SOPS 1428805 HAS SOUS 508878 HAS SOUPS 472973 WITH SCORE 474509.924
AT ITER 1628 NEW BEST:: SOT 1853007 SOS 1536809 HAS SOPS 1428690 HAS SOUS 508609 HAS SOUPS 472704 WITH SCORE 474240.809
AT ITER 1636 NEW BEST:: SOT 1853792 SOS 1536994 HAS SOPS 1429115 HAS SOUS 508384 HAS SOUPS 472539 WITH SCORE 474075.994
AT ITER 1670 NEW BEST:: SOT 1853301 SOS 1536834 HAS SOPS 1428815 HAS SOUS 508360 HAS SOUPS 472480 WITH SCORE 474016.834
AT ITER 1672 NEW BEST:: SOT 1854501 SOS 1537062 HAS SOPS 1429431 HAS SOUS 508136 HAS SOUPS 472353 WITH SCORE 473890.062
AT ITER 1690 NEW BEST:: SOT 1855456 SOS 1536893 HAS SOPS 1429667 HAS SOUS 506084 HAS SOUPS 470410 WITH SCORE 471946.893
AT ITER 1694 NEW BEST:: SOT 1859140 SOS 1539079 HAS SOPS 1432382 HAS SOUS 503775 HAS SOUPS 468252 WITH SCORE 469791.079
AT ITER 1702 NEW BEST:: SOT 1858349 SOS 1538225 HAS SOPS 1431528 HAS SOUS 502039 HAS SOUPS 466516 WITH SCORE 468054.225
AT ITER 1704 NEW BEST:: SOT 1859882 SOS 1538193 HAS SOPS 1432056 HAS SOUS 499594 HAS SOUPS 464226 WITH SCORE 465764.193
AT ITER 1717 NEW BEST:: SOT 1859982 SOS 1538121 HAS SOPS 1432048 HAS SOUS 499144 HAS SOUPS 463794 WITH SCORE 465332.121
AT ITER 1744 NEW BEST:: SOT 1860584 SOS 1538062 HAS SOPS 1432245 HAS SOUS 498882 HAS SOUPS 463596 WITH SCORE 465134.062
AT ITER 1800 NEW BEST:: SOT 1861599 SOS 1537863 HAS SOPS 1432484 HAS SOUS 496370 HAS SOUPS 461201 WITH SCORE 462738.863
AT ITER 1825 NEW BEST:: SOT 1861189 SOS 1537453 HAS SOPS 1432074 HAS SOUS 496268 HAS SOUPS 461099 WITH SCORE 462636.453
AT ITER 1832 NEW BEST:: SOT 1863397 SOS 1538262 HAS SOPS 1433397 HAS SOUS 495889 HAS SOUPS 460863 WITH SCORE 462401.262
AT ITER 1841 NEW BEST:: SOT 1863063 SOS 1537943 HAS SOPS 1433078 HAS SOUS 495482 HAS SOUPS 460456 WITH SCORE 461993.943
AT ITER 1857 NEW BEST:: SOT 1862610 SOS 1537780 HAS SOPS 1432799 HAS SOUS 495283 HAS SOUPS 460228 WITH SCORE 461765.78
AT ITER 1864 NEW BEST:: SOT 1862456 SOS 1537076 HAS SOPS 1432295 HAS SOUS 493249 HAS SOUPS 458244 WITH SCORE 459781.076
AT ITER 1868 NEW BEST:: SOT 1860665 SOS 1535285 HAS SOPS 1432296 HAS SOUS 493250 HAS SOUPS 458245 WITH SCORE 459780.285
AT ITER 1885 NEW BEST:: SOT 1861283 SOS 1535853 HAS SOPS 1432864 HAS SOUS 493221 HAS SOUPS 458216 WITH SCORE 459751.853
AT ITER 1905 NEW BEST:: SOT 1860280 SOS 1535722 HAS SOPS 1432419 HAS SOUS 493280 HAS SOUPS 458182 WITH SCORE 459717.722
AT ITER 1906 NEW BEST:: SOT 1862152 SOS 1536342 HAS SOPS 1433520 HAS SOUS 492601 HAS SOUPS 457632 WITH SCORE 459168.342
AT ITER 1928 NEW BEST:: SOT 1863507 SOS 1536456 HAS SOPS 1434093 HAS SOUS 490509 HAS SOUPS 455668 WITH SCORE 457204.456
AT ITER 1956 NEW BEST:: SOT 1863371 SOS 1536400 HAS SOPS 1434005 HAS SOUS 490405 HAS SOUPS 455556 WITH SCORE 457092.4
AT ITER 1991 NEW BEST:: SOT 1863071 SOS 1536077 HAS SOPS 1433682 HAS SOUS 489760 HAS SOUPS 454911 WITH SCORE 456447.077
AT ITER 1999 NEW BEST:: SOT 1863119 SOS 1536129 HAS SOPS 1433734 HAS SOUS 489752 HAS SOUPS 454903 WITH SCORE 456439.129
AT ITER 2012 NEW BEST:: SOT 1863125 SOS 1536135 HAS SOPS 1433740 HAS SOUS 489729 HAS SOUPS 454880 WITH SCORE 456416.135
AT ITER 2031 NEW BEST:: SOT 1863177 SOS 1536099 HAS SOPS 1433736 HAS SOUS 489449 HAS SOUPS 454608 WITH SCORE 456144.099
AT ITER 2041 NEW BEST:: SOT 1863174 SOS 1535876 HAS SOPS 1433593 HAS SOUS 488818 HAS SOUPS 453997 WITH SCORE 455532.876
AT ITER 2069 NEW BEST:: SOT 1859730 SOS 1532432 HAS SOPS 1430149 HAS SOUS 486910 HAS SOUPS 452089 WITH SCORE 453621.432
AT ITER 2081 NEW BEST:: SOT 1859578 SOS 1532274 HAS SOPS 1429991 HAS SOUS 486540 HAS SOUPS 451719 WITH SCORE 453251.274
AT ITER 2084 NEW BEST:: SOT 1859683 SOS 1532214 HAS SOPS 1429991 HAS SOUS 486232 HAS SOUPS 451426 WITH SCORE 452958.214
AT ITER 2092 NEW BEST:: SOT 1856869 SOS 1529400 HAS SOPS 1427177 HAS SOUS 484954 HAS SOUPS 450148 WITH SCORE 451677.4
AT ITER 2103 NEW BEST:: SOT 1856998 SOS 1529088 HAS SOPS 1427012 HAS SOUS 483735 HAS SOUPS 448978 WITH SCORE 450507.088
AT ITER 2104 NEW BEST:: SOT 1856897 SOS 1528969 HAS SOPS 1426893 HAS SOUS 483116 HAS SOUPS 448359 WITH SCORE 449887.969
AT ITER 2105 NEW BEST:: SOT 1856751 SOS 1528807 HAS SOPS 1426731 HAS SOUS 482730 HAS SOUPS 447973 WITH SCORE 449501.807
AT ITER 2160 NEW BEST:: SOT 1857079 SOS 1528527 HAS SOPS 1426687 HAS SOUS 481721 HAS SOUPS 447023 WITH SCORE 448551.527
AT ITER 2177 NEW BEST:: SOT 1857118 SOS 1528566 HAS SOPS 1426726 HAS SOUS 481712 HAS SOUPS 447014 WITH SCORE 448542.566
AT ITER 2178 NEW BEST:: SOT 1863785 SOS 1533653 HAS SOPS 1432674 HAS SOUS 479953 HAS SOUPS 445488 WITH SCORE 447021.653
AT ITER 2193 NEW BEST:: SOT 1863825 SOS 1533693 HAS SOPS 1432714 HAS SOUS 479613 HAS SOUPS 445148 WITH SCORE 446681.693
AT ITER 2224 NEW BEST:: SOT 1868063 SOS 1536421 HAS SOPS 1435977 HAS SOUS 478430 HAS SOUPS 444116 WITH SCORE 445652.421
AT ITER 2274 NEW BEST:: SOT 1867741 SOS 1536099 HAS SOPS 1435655 HAS SOUS 478073 HAS SOUPS 443759 WITH SCORE 445295.099
AT ITER 2275 NEW BEST:: SOT 1869826 SOS 1536583 HAS SOPS 1436765 HAS SOUS 477608 HAS SOUPS 443451 WITH SCORE 444987.583
AT ITER 2313 NEW BEST:: SOT 1869159 SOS 1536087 HAS SOPS 1436193 HAS SOUS 477015 HAS SOUPS 442839 WITH SCORE 444375.087
AT ITER 2317 NEW BEST:: SOT 1868671 SOS 1535573 HAS SOPS 1435679 HAS SOUS 476105 HAS SOUPS 441929 WITH SCORE 443464.573
AT ITER 2319 NEW BEST:: SOT 1875554 SOS 1541407 HAS SOPS 1434114 HAS SOUS 475523 HAS SOUPS 441347 WITH SCORE 442888.407
AT ITER 2399 NEW BEST:: SOT 1876473 SOS 1541352 HAS SOPS 1434427 HAS SOUS 474150 HAS SOUPS 440066 WITH SCORE 441607.352
AT ITER 2405 NEW BEST:: SOT 1877731 SOS 1541820 HAS SOPS 1435211 HAS SOUS 473822 HAS SOUPS 439817 WITH SCORE 441358.82
AT ITER 2425 NEW BEST:: SOT 1877713 SOS 1541801 HAS SOPS 1435192 HAS SOUS 473789 HAS SOUPS 439784 WITH SCORE 441325.801
AT ITER 2465 NEW BEST:: SOT 1878309 SOS 1541737 HAS SOPS 1435392 HAS SOUS 473465 HAS SOUPS 439526 WITH SCORE 441067.737
AT ITER 2474 NEW BEST:: SOT 1878279 SOS 1541707 HAS SOPS 1435362 HAS SOUS 473375 HAS SOUPS 439436 WITH SCORE 440977.707
AT ITER 2509 NEW BEST:: SOT 1878279 SOS 1541623 HAS SOPS 1435278 HAS SOUS 473347 HAS SOUPS 439408 WITH SCORE 440949.623
AT ITER 2529 NEW BEST:: SOT 1878277 SOS 1541621 HAS SOPS 1435276 HAS SOUS 473345 HAS SOUPS 439406 WITH SCORE 440947.621
AT ITER 2536 NEW BEST:: SOT 1878068 SOS 1541412 HAS SOPS 1435067 HAS SOUS 473316 HAS SOUPS 439377 WITH SCORE 440918.412
AT ITER 2557 NEW BEST:: SOT 1878142 SOS 1541325 HAS SOPS 1435040 HAS SOUS 473000 HAS SOUPS 439076 WITH SCORE 440617.325
AT ITER 2581 NEW BEST:: SOT 1880600 SOS 1543179 HAS SOPS 1437238 HAS SOUS 471675 HAS SOUPS 437837 WITH SCORE 439380.179
AT ITER 2603 NEW BEST:: SOT 1880488 SOS 1543067 HAS SOPS 1437126 HAS SOUS 471499 HAS SOUPS 437661 WITH SCORE 439204.067
AT ITER 2604 NEW BEST:: SOT 1880388 SOS 1542967 HAS SOPS 1437026 HAS SOUS 471369 HAS SOUPS 437531 WITH SCORE 439073.967
AT ITER 2614 NEW BEST:: SOT 1879826 SOS 1542412 HAS SOPS 1436471 HAS SOUS 471181 HAS SOUPS 437343 WITH SCORE 438885.412
AT ITER 2653 NEW BEST:: SOT 1879244 SOS 1541792 HAS SOPS 1435851 HAS SOUS 469881 HAS SOUPS 436043 WITH SCORE 437584.792
AT ITER 2694 NEW BEST:: SOT 1878789 SOS 1547299 HAS SOPS 1441862 HAS SOUS 468341 HAS SOUPS 434629 WITH SCORE 436176.299
AT ITER 2696 NEW BEST:: SOT 1878789 SOS 1545635 HAS SOPS 1440198 HAS SOUS 468328 HAS SOUPS 434616 WITH SCORE 436161.635
AT ITER 2702 NEW BEST:: SOT 1878529 SOS 1545375 HAS SOPS 1439938 HAS SOUS 467652 HAS SOUPS 433940 WITH SCORE 435485.375
AT ITER 2714 NEW BEST:: SOT 1876593 SOS 1544334 HAS SOPS 1438542 HAS SOUS 466195 HAS SOUPS 432393 WITH SCORE 433937.334
AT ITER 2742 NEW BEST:: SOT 1876773 SOS 1544334 HAS SOPS 1438614 HAS SOUS 465997 HAS SOUPS 432213 WITH SCORE 433757.334
AT ITER 2768 NEW BEST:: SOT 1879739 SOS 1546367 HAS SOPS 1441055 HAS SOUS 464672 HAS SOUPS 430990 WITH SCORE 432536.367
AT ITER 2781 NEW BEST:: SOT 1887748 SOS 1554352 HAS SOPS 1441000 HAS SOUS 464630 HAS SOUPS 430948 WITH SCORE 432502.352
AT ITER 2787 NEW BEST:: SOT 1886952 SOS 1553556 HAS SOPS 1440204 HAS SOUS 463452 HAS SOUPS 429770 WITH SCORE 431323.556
AT ITER 2815 NEW BEST:: SOT 1885908 SOS 1552176 HAS SOPS 1438824 HAS SOUS 463291 HAS SOUPS 429609 WITH SCORE 431161.176
AT ITER 2839 NEW BEST:: SOT 1885908 SOS 1552176 HAS SOPS 1438824 HAS SOUS 463251 HAS SOUPS 429569 WITH SCORE 431121.176
AT ITER 2849 NEW BEST:: SOT 1886686 SOS 1552484 HAS SOPS 1439320 HAS SOUS 463118 HAS SOUPS 429483 WITH SCORE 431035.484
AT ITER 2864 NEW BEST:: SOT 1886546 SOS 1552344 HAS SOPS 1439180 HAS SOUS 462338 HAS SOUPS 428703 WITH SCORE 430255.344
AT ITER 2921 NEW BEST:: SOT 1886602 SOS 1552300 HAS SOPS 1439176 HAS SOUS 462210 HAS SOUPS 428585 WITH SCORE 430137.3
AT ITER 2928 NEW BEST:: SOT 1887015 SOS 1552483 HAS SOPS 1439451 HAS SOUS 462139 HAS SOUPS 428537 WITH SCORE 430089.483
AT ITER 2942 NEW BEST:: SOT 1887003 SOS 1552471 HAS SOPS 1439439 HAS SOUS 462127 HAS SOUPS 428525 WITH SCORE 430077.471
AT ITER 2949 NEW BEST:: SOT 1887357 SOS 1552825 HAS SOPS 1439793 HAS SOUS 462013 HAS SOUPS 428411 WITH SCORE 429963.825
AT ITER 2956 NEW BEST:: SOT 1888167 SOS 1552665 HAS SOPS 1440021 HAS SOUS 461124 HAS SOUPS 427619 WITH SCORE 429171.665
AT ITER 3037 NEW BEST:: SOT 1888335 SOS 1552723 HAS SOPS 1440123 HAS SOUS 460977 HAS SOUPS 427483 WITH SCORE 429035.723
AT ITER 3042 NEW BEST:: SOT 1888353 SOS 1552711 HAS SOPS 1440123 HAS SOUS 460891 HAS SOUPS 427400 WITH SCORE 428952.711
AT ITER 3075 NEW BEST:: SOT 1890351 SOS 1553409 HAS SOPS 1441341 HAS SOUS 460509 HAS SOUPS 427148 WITH SCORE 428701.409
AT ITER 3089 NEW BEST:: SOT 1889547 SOS 1552605 HAS SOPS 1440537 HAS SOUS 459857 HAS SOUPS 426496 WITH SCORE 428048.605
AT ITER 3106 NEW BEST:: SOT 1891918 SOS 1554976 HAS SOPS 1442908 HAS SOUS 458840 HAS SOUPS 425479 WITH SCORE 427033.976
AT ITER 3165 NEW BEST:: SOT 1891812 SOS 1554690 HAS SOPS 1442694 HAS SOUS 458128 HAS SOUPS 424785 WITH SCORE 426339.69
AT ITER 3180 NEW BEST:: SOT 1890788 SOS 1553666 HAS SOPS 1441670 HAS SOUS 457616 HAS SOUPS 424273 WITH SCORE 425826.666
AT ITER 3246 NEW BEST:: SOT 1891135 SOS 1553545 HAS SOPS 1441737 HAS SOUS 457000 HAS SOUPS 423704 WITH SCORE 425257.545
AT ITER 3259 NEW BEST:: SOT 1890919 SOS 1553329 HAS SOPS 1441521 HAS SOUS 456544 HAS SOUPS 423248 WITH SCORE 424801.329
AT ITER 3283 NEW BEST:: SOT 1890919 SOS 1552927 HAS SOPS 1441119 HAS SOUS 456410 HAS SOUPS 423114 WITH SCORE 424666.927
AT ITER 3311 NEW BEST:: SOT 1890319 SOS 1552327 HAS SOPS 1440519 HAS SOUS 455010 HAS SOUPS 421714 WITH SCORE 423266.327
AT ITER 3312 NEW BEST:: SOT 1891371 SOS 1552609 HAS SOPS 1441109 HAS SOUS 454917 HAS SOUPS 421698 WITH SCORE 423250.609
AT ITER 3342 NEW BEST:: SOT 1891257 SOS 1552495 HAS SOPS 1440995 HAS SOUS 454707 HAS SOUPS 421488 WITH SCORE 423040.495
AT ITER 3354 NEW BEST:: SOT 1891715 SOS 1552935 HAS SOPS 1441435 HAS SOUS 454127 HAS SOUPS 420908 WITH SCORE 422460.935
AT ITER 3355 NEW BEST:: SOT 1892499 SOS 1552759 HAS SOPS 1441643 HAS SOUS 452893 HAS SOUPS 419770 WITH SCORE 421322.759
AT ITER 3395 NEW BEST:: SOT 1892731 SOS 1552851 HAS SOPS 1441791 HAS SOUS 452699 HAS SOUPS 419590 WITH SCORE 421142.851
AT ITER 3404 NEW BEST:: SOT 1892643 SOS 1552763 HAS SOPS 1441703 HAS SOUS 452479 HAS SOUPS 419370 WITH SCORE 420922.763
AT ITER 3413 NEW BEST:: SOT 1893174 SOS 1552734 HAS SOPS 1441898 HAS SOUS 451529 HAS SOUPS 418476 WITH SCORE 420028.734
AT ITER 3495 NEW BEST:: SOT 1893178 SOS 1552718 HAS SOPS 1441890 HAS SOUS 451471 HAS SOUPS 418420 WITH SCORE 419972.718
AT ITER 3496 NEW BEST:: SOT 1894020 SOS 1552540 HAS SOPS 1442120 HAS SOUS 448651 HAS SOUPS 415702 WITH SCORE 417254.54
AT ITER 3500 NEW BEST:: SOT 1893952 SOS 1552472 HAS SOPS 1442052 HAS SOUS 448583 HAS SOUPS 415634 WITH SCORE 417186.472
AT ITER 3537 NEW BEST:: SOT 1894162 SOS 1552402 HAS SOPS 1442094 HAS SOUS 448103 HAS SOUPS 415182 WITH SCORE 416734.402
AT ITER 3542 NEW BEST:: SOT 1895190 SOS 1553070 HAS SOPS 1442906 HAS SOUS 447960 HAS SOUPS 415075 WITH SCORE 416628.07
AT ITER 3553 NEW BEST:: SOT 1894926 SOS 1552806 HAS SOPS 1442642 HAS SOUS 447960 HAS SOUPS 415075 WITH SCORE 416627.806
AT ITER 3630 NEW BEST:: SOT 1894808 SOS 1552688 HAS SOPS 1442524 HAS SOUS 447916 HAS SOUPS 415031 WITH SCORE 416583.688
AT ITER 3632 NEW BEST:: SOT 1894560 SOS 1552530 HAS SOPS 1442330 HAS SOUS 447690 HAS SOUPS 414796 WITH SCORE 416348.53
AT ITER 3651 NEW BEST:: SOT 1894560 SOS 1552518 HAS SOPS 1442318 HAS SOUS 447679 HAS SOUPS 414785 WITH SCORE 416337.518
AT ITER 3675 NEW BEST:: SOT 1894630 SOS 1552528 HAS SOPS 1442352 HAS SOUS 447601 HAS SOUPS 414713 WITH SCORE 416265.528
AT ITER 3686 NEW BEST:: SOT 1894284 SOS 1552182 HAS SOPS 1442006 HAS SOUS 447071 HAS SOUPS 414183 WITH SCORE 415735.182
AT ITER 3700 NEW BEST:: SOT 1894642 SOS 1552220 HAS SOPS 1442172 HAS SOUS 446711 HAS SOUPS 413855 WITH SCORE 415407.22
AT ITER 3720 NEW BEST:: SOT 1891868 SOS 1549437 HAS SOPS 1439389 HAS SOUS 446669 HAS SOUPS 413813 WITH SCORE 415362.437
AT ITER 3723 NEW BEST:: SOT 1891748 SOS 1549317 HAS SOPS 1439269 HAS SOUS 446379 HAS SOUPS 413523 WITH SCORE 415072.317
AT ITER 3749 NEW BEST:: SOT 1884344 SOS 1541913 HAS SOPS 1431865 HAS SOUS 446143 HAS SOUPS 413287 WITH SCORE 414828.913
AT ITER 3766 NEW BEST:: SOT 1884336 SOS 1541905 HAS SOPS 1431857 HAS SOUS 446055 HAS SOUPS 413199 WITH SCORE 414740.905
AT ITER 3768 NEW BEST:: SOT 1883240 SOS 1541445 HAS SOPS 1431129 HAS SOUS 445816 HAS SOUPS 412893 WITH SCORE 414434.445
AT ITER 3773 NEW BEST:: SOT 1883164 SOS 1541369 HAS SOPS 1431053 HAS SOUS 445452 HAS SOUPS 412529 WITH SCORE 414070.369
AT ITER 3786 NEW BEST:: SOT 1883206 SOS 1541381 HAS SOPS 1431077 HAS SOUS 445425 HAS SOUPS 412505 WITH SCORE 414046.381
AT ITER 3794 NEW BEST:: SOT 1883788 SOS 1541493 HAS SOPS 1431377 HAS SOUS 445071 HAS SOUPS 412198 WITH SCORE 413739.493
AT ITER 3818 NEW BEST:: SOT 1882285 SOS 1539947 HAS SOPS 1429831 HAS SOUS 442127 HAS SOUPS 409254 WITH SCORE 410793.947
AT ITER 3824 NEW BEST:: SOT 1882619 SOS 1540043 HAS SOPS 1430023 HAS SOUS 441975 HAS SOUPS 409126 WITH SCORE 410666.043
AT ITER 3846 NEW BEST:: SOT 1881925 SOS 1539349 HAS SOPS 1429329 HAS SOUS 441529 HAS SOUPS 408680 WITH SCORE 410219.349
AT ITER 3875 NEW BEST:: SOT 1882333 SOS 1539757 HAS SOPS 1429737 HAS SOUS 441377 HAS SOUPS 408528 WITH SCORE 410067.757
AT ITER 3880 NEW BEST:: SOT 1879460 SOS 1536884 HAS SOPS 1426864 HAS SOUS 440168 HAS SOUPS 407319 WITH SCORE 408855.884
AT ITER 3889 NEW BEST:: SOT 1879574 SOS 1536938 HAS SOPS 1426942 HAS SOUS 440154 HAS SOUPS 407311 WITH SCORE 408847.938
AT ITER 3905 NEW BEST:: SOT 1878975 SOS 1536310 HAS SOPS 1426314 HAS SOUS 439112 HAS SOUPS 406269 WITH SCORE 407805.31
AT ITER 3912 NEW BEST:: SOT 1879203 SOS 1536208 HAS SOPS 1426344 HAS SOUS 438347 HAS SOUPS 405537 WITH SCORE 407073.208
AT ITER 3945 NEW BEST:: SOT 1882979 SOS 1539020 HAS SOPS 1429628 HAS SOUS 438155 HAS SOUPS 405463 WITH SCORE 407002.02
AT ITER 4002 NEW BEST:: SOT 1880884 SOS 1536925 HAS SOPS 1427533 HAS SOUS 437340 HAS SOUPS 404648 WITH SCORE 406184.925
AT ITER 4029 NEW BEST:: SOT 1880904 SOS 1536945 HAS SOPS 1427553 HAS SOUS 437304 HAS SOUPS 404612 WITH SCORE 406148.945
AT ITER 4042 NEW BEST:: SOT 1880654 SOS 1536695 HAS SOPS 1427303 HAS SOUS 436622 HAS SOUPS 403930 WITH SCORE 405466.695
AT ITER 4084 NEW BEST:: SOT 1880660 SOS 1536679 HAS SOPS 1427295 HAS SOUS 436552 HAS SOUPS 403862 WITH SCORE 405398.679
AT ITER 4139 NEW BEST:: SOT 1880060 SOS 1536349 HAS SOPS 1426965 HAS SOUS 436016 HAS SOUPS 403326 WITH SCORE 404862.349
AT ITER 4147 NEW BEST:: SOT 1858516 SOS 1518099 HAS SOPS 1408715 HAS SOUS 432538 HAS SOUPS 399848 WITH SCORE 401366.099
AT ITER 4209 NEW BEST:: SOT 1857822 SOS 1517865 HAS SOPS 1408297 HAS SOUS 432070 HAS SOUPS 399334 WITH SCORE 400851.865
AT ITER 4251 NEW BEST:: SOT 1857316 SOS 1517725 HAS SOPS 1408005 HAS SOUS 432034 HAS SOUPS 399260 WITH SCORE 400777.725
AT ITER 4266 NEW BEST:: SOT 1857296 SOS 1517699 HAS SOPS 1407979 HAS SOUS 431924 HAS SOUPS 399150 WITH SCORE 400667.699
AT ITER 4287 NEW BEST:: SOT 1856878 SOS 1517281 HAS SOPS 1407561 HAS SOUS 431638 HAS SOUPS 398864 WITH SCORE 400381.281
AT ITER 4311 NEW BEST:: SOT 1857760 SOS 1517687 HAS SOPS 1408163 HAS SOUS 431540 HAS SOUPS 398815 WITH SCORE 400332.687
AT ITER 4342 NEW BEST:: SOT 1861046 SOS 1521769 HAS SOPS 1412245 HAS SOUS 431022 HAS SOUPS 398297 WITH SCORE 399818.769
AT ITER 4362 NEW BEST:: SOT 1860907 SOS 1521650 HAS SOPS 1412106 HAS SOUS 430927 HAS SOUPS 398197 WITH SCORE 399718.65
AT ITER 4373 NEW BEST:: SOT 1861163 SOS 1521906 HAS SOPS 1412362 HAS SOUS 430895 HAS SOUPS 398165 WITH SCORE 399686.906
AT ITER 4428 NEW BEST:: SOT 1861150 SOS 1521893 HAS SOPS 1412349 HAS SOUS 430866 HAS SOUPS 398136 WITH SCORE 399657.893
AT ITER 4433 NEW BEST:: SOT 1862956 SOS 1522561 HAS SOPS 1413481 HAS SOUS 430678 HAS SOUPS 398064 WITH SCORE 399586.561
AT ITER 4434 NEW BEST:: SOT 1862554 SOS 1522321 HAS SOPS 1413169 HAS SOUS 430437 HAS SOUPS 397805 WITH SCORE 399327.321
AT ITER 4441 NEW BEST:: SOT 1862516 SOS 1522283 HAS SOPS 1413131 HAS SOUS 430355 HAS SOUPS 397723 WITH SCORE 399245.283
AT ITER 4458 NEW BEST:: SOT 1860341 SOS 1521182 HAS SOPS 1411594 HAS SOUS 429363 HAS SOUPS 396622 WITH SCORE 398143.182
AT ITER 4489 NEW BEST:: SOT 1859761 SOS 1520942 HAS SOPS 1411210 HAS SOUS 429259 HAS SOUPS 396482 WITH SCORE 398002.942
AT ITER 4510 NEW BEST:: SOT 1859593 SOS 1520774 HAS SOPS 1411042 HAS SOUS 428899 HAS SOUPS 396122 WITH SCORE 397642.774
AT ITER 4591 NEW BEST:: SOT 1859703 SOS 1520884 HAS SOPS 1411152 HAS SOUS 428842 HAS SOUPS 396065 WITH SCORE 397585.884
AT ITER 4612 NEW BEST:: SOT 1859631 SOS 1520812 HAS SOPS 1411080 HAS SOUS 428664 HAS SOUPS 395887 WITH SCORE 397407.812
AT ITER 4654 NEW BEST:: SOT 1860051 SOS 1520962 HAS SOPS 1411350 HAS SOUS 428456 HAS SOUPS 395709 WITH SCORE 397229.962
AT ITER 4729 NEW BEST:: SOT 1860384 SOS 1520995 HAS SOPS 1411683 HAS SOUS 427431 HAS SOUPS 394759 WITH SCORE 396279.995
AT ITER 4784 NEW BEST:: SOT 1860156 SOS 1520767 HAS SOPS 1411455 HAS SOUS 426811 HAS SOUPS 394139 WITH SCORE 395659.767
AT ITER 4918 NEW BEST:: SOT 1859725 SOS 1520534 HAS SOPS 1411134 HAS SOUS 426632 HAS SOUPS 393938 WITH SCORE 395458.534
AT ITER 4933 NEW BEST:: SOT 1859713 SOS 1520522 HAS SOPS 1411122 HAS SOUS 426632 HAS SOUPS 393938 WITH SCORE 395458.522
AT ITER 4954 NEW BEST:: SOT 1859514 SOS 1520323 HAS SOPS 1410923 HAS SOUS 426561 HAS SOUPS 393867 WITH SCORE 395387.323
AT ITER 5081 NEW BEST:: SOT 1859617 SOS 1519630 HAS SOPS 1410230 HAS SOUS 426292 HAS SOUPS 393598 WITH SCORE 395117.63
AT ITER 5115 NEW BEST:: SOT 1861101 SOS 1512614 HAS SOPS 1402370 HAS SOUS 426001 HAS SOUPS 393307 WITH SCORE 394819.614
AT ITER 5121 NEW BEST:: SOT 1860893 SOS 1512406 HAS SOPS 1402162 HAS SOUS 425841 HAS SOUPS 393147 WITH SCORE 394659.406
AT ITER 5160 NEW BEST:: SOT 1860917 SOS 1512400 HAS SOPS 1402168 HAS SOUS 425820 HAS SOUPS 393129 WITH SCORE 394641.4
AT ITER 5229 NEW BEST:: SOT 1860823 SOS 1512306 HAS SOPS 1402074 HAS SOUS 425711 HAS SOUPS 393020 WITH SCORE 394532.306
AT ITER 5274 NEW BEST:: SOT 1861752 SOS 1512423 HAS SOPS 1402496 HAS SOUS 425401 HAS SOUPS 392778 WITH SCORE 394290.423
AT ITER 5279 NEW BEST:: SOT 1861729 SOS 1512400 HAS SOPS 1402473 HAS SOUS 425382 HAS SOUPS 392759 WITH SCORE 394271.4
AT ITER 5306 NEW BEST:: SOT 1862493 SOS 1512506 HAS SOPS 1402843 HAS SOUS 424388 HAS SOUPS 391831 WITH SCORE 393343.506
AT ITER 5322 NEW BEST:: SOT 1862613 SOS 1512518 HAS SOPS 1402903 HAS SOUS 424340 HAS SOUPS 391795 WITH SCORE 393307.518
AT ITER 5338 NEW BEST:: SOT 1862147 SOS 1512411 HAS SOPS 1402656 HAS SOUS 424240 HAS SOUPS 391660 WITH SCORE 393172.411
AT ITER 5378 NEW BEST:: SOT 1862057 SOS 1512321 HAS SOPS 1402566 HAS SOUS 424119 HAS SOUPS 391539 WITH SCORE 393051.321
AT ITER 5434 NEW BEST:: SOT 1862297 SOS 1512046 HAS SOPS 1402466 HAS SOUS 423140 HAS SOUPS 390595 WITH SCORE 392107.046
AT ITER 5470 NEW BEST:: SOT 1861915 SOS 1511736 HAS SOPS 1402124 HAS SOUS 422998 HAS SOUPS 390445 WITH SCORE 391956.736
AT ITER 5498 NEW BEST:: SOT 1862659 SOS 1512228 HAS SOPS 1402728 HAS SOUS 422476 HAS SOUPS 389951 WITH SCORE 391463.228
AT ITER 5523 NEW BEST:: SOT 1862683 SOS 1512252 HAS SOPS 1402752 HAS SOUS 422433 HAS SOUPS 389908 WITH SCORE 391420.252
AT ITER 5548 NEW BEST:: SOT 1862409 SOS 1511978 HAS SOPS 1402478 HAS SOUS 421671 HAS SOUPS 389146 WITH SCORE 390657.978
AT ITER 5664 NEW BEST:: SOT 1858903 SOS 1508472 HAS SOPS 1398972 HAS SOUS 419421 HAS SOUPS 386896 WITH SCORE 388404.472
AT ITER 5742 NEW BEST:: SOT 1861159 SOS 1510190 HAS SOPS 1401010 HAS SOUS 418963 HAS SOUPS 386518 WITH SCORE 388028.19
AT ITER 5750 NEW BEST:: SOT 1861159 SOS 1509958 HAS SOPS 1400802 HAS SOUS 418675 HAS SOUPS 386230 WITH SCORE 387739.958
AT ITER 5761 NEW BEST:: SOT 1861248 SOS 1509803 HAS SOPS 1400738 HAS SOUS 418406 HAS SOUPS 385981 WITH SCORE 387490.803
AT ITER 5786 NEW BEST:: SOT 1861160 SOS 1510371 HAS SOPS 1401535 HAS SOUS 418274 HAS SOUPS 385861 WITH SCORE 387371.371
AT ITER 5804 NEW BEST:: SOT 1863625 SOS 1513691 HAS SOPS 1404855 HAS SOUS 418144 HAS SOUPS 385731 WITH SCORE 387244.691
AT ITER 5816 NEW BEST:: SOT 1864074 SOS 1513708 HAS SOPS 1405027 HAS SOUS 417889 HAS SOUPS 385507 WITH SCORE 387020.708
AT ITER 5840 NEW BEST:: SOT 1864074 SOS 1513657 HAS SOPS 1404993 HAS SOUS 417889 HAS SOUPS 385507 WITH SCORE 387020.657
AT ITER 5870 NEW BEST:: SOT 1863649 SOS 1513328 HAS SOPS 1404568 HAS SOUS 417828 HAS SOUPS 385422 WITH SCORE 386935.328
AT ITER 5965 NEW BEST:: SOT 1863649 SOS 1514520 HAS SOPS 1405760 HAS SOUS 417822 HAS SOUPS 385416 WITH SCORE 386930.52
AT ITER 5986 NEW BEST:: SOT 1862718 SOS 1513996 HAS SOPS 1405072 HAS SOUS 417114 HAS SOUPS 384667 WITH SCORE 386180.996
AT ITER 6030 NEW BEST:: SOT 1863382 SOS 1514660 HAS SOPS 1405736 HAS SOUS 416894 HAS SOUPS 384447 WITH SCORE 385961.66
AT ITER 6048 NEW BEST:: SOT 1863764 SOS 1514925 HAS SOPS 1406053 HAS SOUS 416828 HAS SOUPS 384394 WITH SCORE 385908.925
AT ITER 6082 NEW BEST:: SOT 1863420 SOS 1514561 HAS SOPS 1405689 HAS SOUS 416288 HAS SOUPS 383854 WITH SCORE 385368.561
AT ITER 6091 NEW BEST:: SOT 1863414 SOS 1514555 HAS SOPS 1405683 HAS SOUS 416282 HAS SOUPS 383848 WITH SCORE 385362.555
AT ITER 6164 NEW BEST:: SOT 1863338 SOS 1514456 HAS SOPS 1405590 HAS SOUS 416111 HAS SOUPS 383677 WITH SCORE 385191.456
AT ITER 6222 NEW BEST:: SOT 1863200 SOS 1514318 HAS SOPS 1405452 HAS SOUS 415973 HAS SOUPS 383539 WITH SCORE 385053.318
AT ITER 6225 NEW BEST:: SOT 1862875 SOS 1513993 HAS SOPS 1405127 HAS SOUS 415468 HAS SOUPS 383034 WITH SCORE 384547.993
AT ITER 6226 NEW BEST:: SOT 1863835 SOS 1514128 HAS SOPS 1405622 HAS SOUS 414357 HAS SOUPS 382013 WITH SCORE 383527.128
AT ITER 6261 NEW BEST:: SOT 1863419 SOS 1514032 HAS SOPS 1405398 HAS SOUS 414341 HAS SOUPS 381965 WITH SCORE 383479.032
AT ITER 6323 NEW BEST:: SOT 1863366 SOS 1513979 HAS SOPS 1405345 HAS SOUS 414207 HAS SOUPS 381831 WITH SCORE 383344.979
AT ITER 6378 NEW BEST:: SOT 1863366 SOS 1513339 HAS SOPS 1404705 HAS SOUS 414202 HAS SOUPS 381826 WITH SCORE 383339.339
AT ITER 6407 NEW BEST:: SOT 1863462 SOS 1513217 HAS SOPS 1404668 HAS SOUS 413937 HAS SOUPS 381578 WITH SCORE 383091.217
AT ITER 6411 NEW BEST:: SOT 1863606 SOS 1513230 HAS SOPS 1404737 HAS SOUS 413760 HAS SOUPS 381415 WITH SCORE 382928.23
AT ITER 6415 NEW BEST:: SOT 1863576 SOS 1513198 HAS SOPS 1404705 HAS SOUS 413734 HAS SOUPS 381389 WITH SCORE 382902.198
AT ITER 6431 NEW BEST:: SOT 1863500 SOS 1513118 HAS SOPS 1404625 HAS SOUS 413598 HAS SOUPS 381253 WITH SCORE 382766.118
AT ITER 6456 NEW BEST:: SOT 1863608 SOS 1513146 HAS SOPS 1404685 HAS SOUS 413530 HAS SOUPS 381193 WITH SCORE 382706.146
AT ITER 6501 NEW BEST:: SOT 1863054 SOS 1512882 HAS SOPS 1404305 HAS SOUS 413556 HAS SOUPS 381190 WITH SCORE 382702.882
AT ITER 6547 NEW BEST:: SOT 1862984 SOS 1512778 HAS SOPS 1404213 HAS SOUS 413510 HAS SOUPS 381144 WITH SCORE 382656.778
AT ITER 6572 NEW BEST:: SOT 1862625 SOS 1512570 HAS SOPS 1403941 HAS SOUS 413250 HAS SOUPS 380868 WITH SCORE 382380.57
AT ITER 6595 NEW BEST:: SOT 1879181 SOS 1525802 HAS SOPS 1417173 HAS SOUS 412270 HAS SOUPS 379888 WITH SCORE 381413.802
AT ITER 6622 NEW BEST:: SOT 1879157 SOS 1525778 HAS SOPS 1417149 HAS SOUS 412246 HAS SOUPS 379864 WITH SCORE 381389.778
AT ITER 6624 NEW BEST:: SOT 1879101 SOS 1525762 HAS SOPS 1417117 HAS SOUS 412222 HAS SOUPS 379836 WITH SCORE 381361.762
AT ITER 6625 NEW BEST:: SOT 1879089 SOS 1525750 HAS SOPS 1417105 HAS SOUS 412210 HAS SOUPS 379824 WITH SCORE 381349.75
AT ITER 6647 NEW BEST:: SOT 1879089 SOS 1525258 HAS SOPS 1416613 HAS SOUS 412050 HAS SOUPS 379664 WITH SCORE 381189.258
AT ITER 6650 NEW BEST:: SOT 1878291 SOS 1524544 HAS SOPS 1415815 HAS SOUS 411651 HAS SOUPS 379244 WITH SCORE 380768.544
AT ITER 6664 NEW BEST:: SOT 1878291 SOS 1523980 HAS SOPS 1415251 HAS SOUS 411463 HAS SOUPS 379056 WITH SCORE 380579.98
AT ITER 6703 NEW BEST:: SOT 1878309 SOS 1523800 HAS SOPS 1415146 HAS SOUS 410827 HAS SOUPS 378435 WITH SCORE 379958.8
AT ITER 6705 NEW BEST:: SOT 1878473 SOS 1523864 HAS SOPS 1415250 HAS SOUS 410715 HAS SOUPS 378333 WITH SCORE 379856.864
AT ITER 6738 NEW BEST:: SOT 1878501 SOS 1523909 HAS SOPS 1415295 HAS SOUS 410589 HAS SOUPS 378207 WITH SCORE 379730.909
AT ITER 6902 NEW BEST:: SOT 1879007 SOS 1524671 HAS SOPS 1415990 HAS SOUS 410544 HAS SOUPS 378162 WITH SCORE 379686.671
AT ITER 6972 NEW BEST:: SOT 1879135 SOS 1524679 HAS SOPS 1416046 HAS SOUS 410276 HAS SOUPS 377906 WITH SCORE 379430.679
AT ITER 6980 NEW BEST:: SOT 1879117 SOS 1524665 HAS SOPS 1416028 HAS SOUS 410274 HAS SOUPS 377903 WITH SCORE 379427.665
AT ITER 7018 NEW BEST:: SOT 1879099 SOS 1524647 HAS SOPS 1416010 HAS SOUS 410229 HAS SOUPS 377858 WITH SCORE 379382.647
AT ITER 7059 NEW BEST:: SOT 1879099 SOS 1524263 HAS SOPS 1415626 HAS SOUS 410226 HAS SOUPS 377855 WITH SCORE 379379.263
AT ITER 7119 NEW BEST:: SOT 1879099 SOS 1522855 HAS SOPS 1414218 HAS SOUS 410209 HAS SOUPS 377838 WITH SCORE 379360.855
AT ITER 7189 NEW BEST:: SOT 1879215 SOS 1522831 HAS SOPS 1414250 HAS SOUS 409969 HAS SOUPS 377612 WITH SCORE 379134.831
AT ITER 7196 NEW BEST:: SOT 1878651 SOS 1522267 HAS SOPS 1413686 HAS SOUS 409381 HAS SOUPS 377024 WITH SCORE 378546.267
AT ITER 7300 NEW BEST:: SOT 1878657 SOS 1522270 HAS SOPS 1413689 HAS SOUS 409360 HAS SOUPS 377003 WITH SCORE 378525.27
AT ITER 7334 NEW BEST:: SOT 1878587 SOS 1522115 HAS SOPS 1413551 HAS SOUS 409061 HAS SOUPS 376704 WITH SCORE 378226.115
AT ITER 7344 NEW BEST:: SOT 1878621 SOS 1522149 HAS SOPS 1413585 HAS SOUS 409031 HAS SOUPS 376674 WITH SCORE 378196.149
AT ITER 7371 NEW BEST:: SOT 1879617 SOS 1522775 HAS SOPS 1414463 HAS SOUS 407757 HAS SOUPS 375452 WITH SCORE 376974.775
AT ITER 7378 NEW BEST:: SOT 1879617 SOS 1523991 HAS SOPS 1415679 HAS SOUS 407749 HAS SOUPS 375444 WITH SCORE 376967.991
AT ITER 7394 NEW BEST:: SOT 1879467 SOS 1523841 HAS SOPS 1415529 HAS SOUS 407295 HAS SOUPS 374990 WITH SCORE 376513.841
AT ITER 7396 NEW BEST:: SOT 1879567 SOS 1523671 HAS SOPS 1415467 HAS SOUS 406803 HAS SOUPS 374525 WITH SCORE 376048.671
AT ITER 7399 NEW BEST:: SOT 1878257 SOS 1522821 HAS SOPS 1414433 HAS SOUS 406637 HAS SOUPS 374313 WITH SCORE 375835.821
AT ITER 7424 NEW BEST:: SOT 1878257 SOS 1522671 HAS SOPS 1414283 HAS SOUS 406581 HAS SOUPS 374257 WITH SCORE 375779.671
AT ITER 7445 NEW BEST:: SOT 1878257 SOS 1522485 HAS SOPS 1414097 HAS SOUS 406519 HAS SOUPS 374195 WITH SCORE 375717.485
AT ITER 7461 NEW BEST:: SOT 1878257 SOS 1522357 HAS SOPS 1413969 HAS SOUS 406518 HAS SOUPS 374194 WITH SCORE 375716.357
AT ITER 7465 NEW BEST:: SOT 1876523 SOS 1521373 HAS SOPS 1412685 HAS SOUS 406179 HAS SOUPS 373780 WITH SCORE 375301.373
AT ITER 7476 NEW BEST:: SOT 1876523 SOS 1521307 HAS SOPS 1412619 HAS SOUS 406157 HAS SOUPS 373758 WITH SCORE 375279.307
AT ITER 7556 NEW BEST:: SOT 1876069 SOS 1521057 HAS SOPS 1412289 HAS SOUS 405871 HAS SOUPS 373452 WITH SCORE 374973.057
AT ITER 7610 NEW BEST:: SOT 1875120 SOS 1520108 HAS SOPS 1411340 HAS SOUS 404926 HAS SOUPS 372507 WITH SCORE 374027.108
AT ITER 7620 NEW BEST:: SOT 1877186 SOS 1521710 HAS SOPS 1413238 HAS SOUS 404482 HAS SOUPS 372137 WITH SCORE 373658.71
AT ITER 7695 NEW BEST:: SOT 1876583 SOS 1521107 HAS SOPS 1412635 HAS SOUS 404263 HAS SOUPS 371918 WITH SCORE 373439.107
AT ITER 7823 NEW BEST:: SOT 1876717 SOS 1521101 HAS SOPS 1412685 HAS SOUS 404193 HAS SOUPS 371862 WITH SCORE 373383.101
AT ITER 7862 NEW BEST:: SOT 1876291 SOS 1520675 HAS SOPS 1412259 HAS SOUS 403641 HAS SOUPS 371310 WITH SCORE 372830.675
AT ITER 8014 NEW BEST:: SOT 1876427 SOS 1520127 HAS SOPS 1411711 HAS SOUS 403549 HAS SOUPS 371218 WITH SCORE 372738.127
AT ITER 8150 NEW BEST:: SOT 1876600 SOS 1520230 HAS SOPS 1411842 HAS SOUS 403461 HAS SOUPS 371137 WITH SCORE 372657.23
AT ITER 8208 NEW BEST:: SOT 1873144 SOS 1516774 HAS SOPS 1410050 HAS SOUS 403205 HAS SOUPS 370881 WITH SCORE 372397.774
AT ITER 8296 NEW BEST:: SOT 1872924 SOS 1516594 HAS SOPS 1409830 HAS SOUS 403055 HAS SOUPS 370721 WITH SCORE 372237.594
AT ITER 8310 NEW BEST:: SOT 1872626 SOS 1516366 HAS SOPS 1409574 HAS SOUS 402902 HAS SOUPS 370561 WITH SCORE 372077.366
AT ITER 8322 NEW BEST:: SOT 1872674 SOS 1516414 HAS SOPS 1409622 HAS SOUS 402830 HAS SOUPS 370489 WITH SCORE 372005.414
AT ITER 8358 NEW BEST:: SOT 1872572 SOS 1516382 HAS SOPS 1409562 HAS SOUS 402796 HAS SOUPS 370448 WITH SCORE 371964.382
AT ITER 8402 NEW BEST:: SOT 1872572 SOS 1516454 HAS SOPS 1409634 HAS SOUS 402789 HAS SOUPS 370441 WITH SCORE 371957.454
AT ITER 8485 NEW BEST:: SOT 1872428 SOS 1516294 HAS SOPS 1409474 HAS SOUS 402341 HAS SOUPS 369993 WITH SCORE 371509.294
AT ITER 8502 NEW BEST:: SOT 1872408 SOS 1516277 HAS SOPS 1409453 HAS SOUS 402332 HAS SOUPS 369983 WITH SCORE 371499.277
AT ITER 8532 NEW BEST:: SOT 1872330 SOS 1516199 HAS SOPS 1409375 HAS SOUS 402210 HAS SOUPS 369861 WITH SCORE 371377.199
AT ITER 8536 NEW BEST:: SOT 1871994 SOS 1515983 HAS SOPS 1409111 HAS SOUS 402026 HAS SOUPS 369665 WITH SCORE 371180.983
AT ITER 8564 NEW BEST:: SOT 1871936 SOS 1515925 HAS SOPS 1409053 HAS SOUS 401724 HAS SOUPS 369363 WITH SCORE 370878.925
AT ITER 8592 NEW BEST:: SOT 1871928 SOS 1515917 HAS SOPS 1409045 HAS SOUS 401632 HAS SOUPS 369271 WITH SCORE 370786.917
AT ITER 8603 NEW BEST:: SOT 1871928 SOS 1513869 HAS SOPS 1406997 HAS SOUS 401620 HAS SOUPS 369259 WITH SCORE 370772.869
AT ITER 8618 NEW BEST:: SOT 1872648 SOS 1514069 HAS SOPS 1407405 HAS SOUS 401284 HAS SOUPS 368975 WITH SCORE 370489.069
AT ITER 8683 NEW BEST:: SOT 1872696 SOS 1514077 HAS SOPS 1407429 HAS SOUS 401260 HAS SOUPS 368955 WITH SCORE 370469.077
AT ITER 8715 NEW BEST:: SOT 1867779 SOS 1509160 HAS SOPS 1402512 HAS SOUS 400719 HAS SOUPS 368414 WITH SCORE 369923.16
AT ITER 8734 NEW BEST:: SOT 1850715 SOS 1496168 HAS SOPS 1407592 HAS SOUS 400345 HAS SOUPS 368040 WITH SCORE 369536.168
AT ITER 8746 NEW BEST:: SOT 1850485 SOS 1495938 HAS SOPS 1407362 HAS SOUS 400155 HAS SOUPS 367850 WITH SCORE 369345.938
AT ITER 8755 NEW BEST:: SOT 1851136 SOS 1496071 HAS SOPS 1407686 HAS SOUS 399982 HAS SOUPS 367718 WITH SCORE 369214.071
AT ITER 8775 NEW BEST:: SOT 1851509 SOS 1496496 HAS SOPS 1408111 HAS SOUS 399856 HAS SOUPS 367592 WITH SCORE 369088.496
AT ITER 8776 NEW BEST:: SOT 1851507 SOS 1496494 HAS SOPS 1408109 HAS SOUS 399854 HAS SOUPS 367590 WITH SCORE 369086.494
AT ITER 8787 NEW BEST:: SOT 1851327 SOS 1496416 HAS SOPS 1407991 HAS SOUS 399781 HAS SOUPS 367507 WITH SCORE 369003.416
AT ITER 8818 NEW BEST:: SOT 1851367 SOS 1496216 HAS SOPS 1407887 HAS SOUS 399293 HAS SOUPS 367043 WITH SCORE 368539.216
AT ITER 8835 NEW BEST:: SOT 1851361 SOS 1496210 HAS SOPS 1407881 HAS SOUS 399278 HAS SOUPS 367028 WITH SCORE 368524.21
AT ITER 8856 NEW BEST:: SOT 1851571 SOS 1496321 HAS SOPS 1408025 HAS SOUS 399222 HAS SOUPS 366983 WITH SCORE 368479.321
AT ITER 8865 NEW BEST:: SOT 1851321 SOS 1496071 HAS SOPS 1407775 HAS SOUS 399003 HAS SOUPS 366764 WITH SCORE 368260.071
AT ITER 9109 NEW BEST:: SOT 1851129 SOS 1495879 HAS SOPS 1407583 HAS SOUS 398843 HAS SOUPS 366604 WITH SCORE 368099.879
AT ITER 9143 NEW BEST:: SOT 1851135 SOS 1495635 HAS SOPS 1407439 HAS SOUS 398080 HAS SOUPS 365866 WITH SCORE 367361.635
AT ITER 9153 NEW BEST:: SOT 1851766 SOS 1495537 HAS SOPS 1407630 HAS SOUS 397387 HAS SOUPS 365242 WITH SCORE 366737.537
AT ITER 9262 NEW BEST:: SOT 1852100 SOS 1495617 HAS SOPS 1407806 HAS SOUS 397276 HAS SOUPS 365155 WITH SCORE 366650.617
AT ITER 9268 NEW BEST:: SOT 1852048 SOS 1495565 HAS SOPS 1407754 HAS SOUS 397160 HAS SOUPS 365039 WITH SCORE 366534.565
AT ITER 9318 NEW BEST:: SOT 1852018 SOS 1495535 HAS SOPS 1407724 HAS SOUS 397090 HAS SOUPS 364969 WITH SCORE 366464.535
AT ITER 9390 NEW BEST:: SOT 1844621 SOS 1488142 HAS SOPS 1402505 HAS SOUS 396819 HAS SOUPS 364698 WITH SCORE 366186.142
AT ITER 9479 NEW BEST:: SOT 1843940 SOS 1487461 HAS SOPS 1401824 HAS SOUS 396218 HAS SOUPS 364097 WITH SCORE 365584.461
AT ITER 9495 NEW BEST:: SOT 1831286 SOS 1477843 HAS SOPS 1392206 HAS SOUS 395237 HAS SOUPS 363116 WITH SCORE 364593.843
AT ITER 9507 NEW BEST:: SOT 1831296 SOS 1477835 HAS SOPS 1392204 HAS SOUS 395195 HAS SOUPS 363076 WITH SCORE 364553.835
AT ITER 9530 NEW BEST:: SOT 1831644 SOS 1477716 HAS SOPS 1392270 HAS SOUS 394391 HAS SOUPS 362319 WITH SCORE 363796.716
AT ITER 9531 NEW BEST:: SOT 1831644 SOS 1477482 HAS SOPS 1392036 HAS SOUS 394352 HAS SOUPS 362280 WITH SCORE 363757.482
AT ITER 9537 NEW BEST:: SOT 1812071 SOS 1475286 HAS SOPS 1406645 HAS SOUS 391881 HAS SOUPS 359809 WITH SCORE 361284.286
AT ITER 9564 NEW BEST:: SOT 1812011 SOS 1475145 HAS SOPS 1406531 HAS SOUS 391779 HAS SOUPS 359707 WITH SCORE 361182.145
AT ITER 9593 NEW BEST:: SOT 1812396 SOS 1475339 HAS SOPS 1406793 HAS SOUS 391551 HAS SOUPS 359496 WITH SCORE 360971.339
AT ITER 9653 NEW BEST:: SOT 1812038 SOS 1474981 HAS SOPS 1406435 HAS SOUS 390907 HAS SOUPS 358852 WITH SCORE 360326.981
AT ITER 9703 NEW BEST:: SOT 1811868 SOS 1474811 HAS SOPS 1406265 HAS SOUS 390741 HAS SOUPS 358686 WITH SCORE 360160.811
AT ITER 9707 NEW BEST:: SOT 1809168 SOS 1472182 HAS SOPS 1403636 HAS SOUS 390167 HAS SOUPS 358112 WITH SCORE 359584.182
AT ITER 9741 NEW BEST:: SOT 1809530 SOS 1472364 HAS SOPS 1403878 HAS SOUS 390073 HAS SOUPS 358038 WITH SCORE 359510.364
AT ITER 9809 NEW BEST:: SOT 1809530 SOS 1470060 HAS SOPS 1401574 HAS SOUS 390055 HAS SOUPS 358020 WITH SCORE 359490.06
AT ITER 9941 NEW BEST:: SOT 1809002 SOS 1469532 HAS SOPS 1401046 HAS SOUS 389599 HAS SOUPS 357564 WITH SCORE 359033.532
AT ITER 9947 NEW BEST:: SOT 1808822 SOS 1469421 HAS SOPS 1400914 HAS SOUS 389518 HAS SOUPS 357475 WITH SCORE 358944.421
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5671432 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114304 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-p1s2"
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-p1s2, 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-167819423300520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DoubleLock-PT-p1s2.tgz
mv DoubleLock-PT-p1s2 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 '
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 ;