fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r163-tall-167838847600336
Last Updated
May 14, 2023

About the Execution of Smart for FamilyReunion-COL-L00200M0020C010P010G005

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
692.731 3600000.00 3575541.00 19158.40 [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.r163-tall-167838847600336.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 smart
Input is FamilyReunion-COL-L00200M0020C010P010G005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847600336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 7.8K Feb 26 17:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 17:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 15:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 15:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 21:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 21:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 20:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 20:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 146K 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 1678444792106

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-COL-L00200M0020C010P010G005
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 10:39:55] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 10:39:55] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 10:39:55] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 10:39:55] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 10:39:56] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 991 ms
[2023-03-10 10:39:56] [INFO ] Detected 5 constant HL places corresponding to 56 PT places.
[2023-03-10 10:39:56] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 144109 PT places and 134480.0 transition bindings in 107 ms.
[2023-03-10 10:39:57] [INFO ] Unfolded HLPN to a Petri net with 144109 places and 134279 transitions 384937 arcs in 1454 ms.
[2023-03-10 10:39:57] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 201 places and 0 transitions.
[2023-03-10 10:39:59] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 143908 places, 134279 transitions and 384937 arcs took 616 ms.
Total runtime 4753 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00200M0020C010P010G005
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 143908 places, 134279 transitions, 384937 arcs.
AT ITER 0 NEW BEST:: SOT -1470596216 SOS 1230352620 HAS SOPS 1230352620 HAS SOUS 1124847691 HAS SOUPS 1124847691 WITH SCORE 1.12607804362E9
AT ITER 23 NEW BEST:: SOT -1470596216 SOS 1230348474 HAS SOPS 1230348474 HAS SOUS 1124843545 HAS SOUPS 1124843545 WITH SCORE 1.126073893474E9
AT ITER 42 NEW BEST:: SOT -1470634269 SOS 1230312913 HAS SOPS 1230312913 HAS SOUS 1124807981 HAS SOUPS 1124807981 WITH SCORE 1.126038293913E9
AT ITER 46 NEW BEST:: SOT -1470634269 SOS 1230309849 HAS SOPS 1230309849 HAS SOUS 1124804917 HAS SOUPS 1124804917 WITH SCORE 1.126035226849E9
AT ITER 61 NEW BEST:: SOT -1470634269 SOS 1230307158 HAS SOPS 1230307158 HAS SOUS 1124802226 HAS SOUPS 1124802226 WITH SCORE 1.126032533158E9
AT ITER 105 NEW BEST:: SOT -1470634269 SOS 1230304182 HAS SOPS 1230304182 HAS SOUS 1124799250 HAS SOUPS 1124799250 WITH SCORE 1.126029554182E9
AT ITER 116 NEW BEST:: SOT -1470637537 SOS 1230300914 HAS SOPS 1230300914 HAS SOUS 1124795982 HAS SOUPS 1124795982 WITH SCORE 1.126026282914E9
AT ITER 135 NEW BEST:: SOT -1470637773 SOS 1230282318 HAS SOPS 1230282318 HAS SOUS 1124795745 HAS SOUPS 1124795745 WITH SCORE 1.126026027318E9
AT ITER 147 NEW BEST:: SOT -1470639481 SOS 1230278902 HAS SOPS 1230278902 HAS SOUS 1124794020 HAS SOUPS 1124794020 WITH SCORE 1.126024298902E9
AT ITER 174 NEW BEST:: SOT -1470643681 SOS 1230270460 HAS SOPS 1230270460 HAS SOUS 1124785578 HAS SOUPS 1124785578 WITH SCORE 1.12601584846E9
AT ITER 185 NEW BEST:: SOT -1470647881 SOS 1230262018 HAS SOPS 1230262018 HAS SOUS 1124777136 HAS SOUPS 1124777136 WITH SCORE 1.126007398018E9
AT ITER 186 NEW BEST:: SOT -1470655471 SOS 1230250207 HAS SOPS 1230250207 HAS SOUS 1124765325 HAS SOUPS 1124765325 WITH SCORE 1.125995575207E9
AT ITER 187 NEW BEST:: SOT -1470656391 SOS 1230248405 HAS SOPS 1230248405 HAS SOUS 1124763485 HAS SOUPS 1124763485 WITH SCORE 1.125993733405E9
AT ITER 289 NEW BEST:: SOT -1470656762 SOS 1230247866 HAS SOPS 1230247866 HAS SOUS 1124762743 HAS SOUPS 1124762743 WITH SCORE 1.125992990866E9
AT ITER 290 NEW BEST:: SOT -1470660962 SOS 1230239445 HAS SOPS 1230239445 HAS SOUS 1124754322 HAS SOUPS 1124754322 WITH SCORE 1.125984561445E9
AT ITER 313 NEW BEST:: SOT -1470662522 SOS 1230237885 HAS SOPS 1230237885 HAS SOUS 1124752762 HAS SOUPS 1124752762 WITH SCORE 1.125982999885E9
AT ITER 342 NEW BEST:: SOT -1470667079 SOS 1230235674 HAS SOPS 1230235674 HAS SOUS 1124750541 HAS SOUPS 1124750541 WITH SCORE 1.125980776674E9
AT ITER 352 NEW BEST:: SOT -1470667079 SOS 1230231848 HAS SOPS 1230231848 HAS SOUS 1124746715 HAS SOUPS 1124746715 WITH SCORE 1.125976946848E9
AT ITER 357 NEW BEST:: SOT -1470667079 SOS 1230227955 HAS SOPS 1230227955 HAS SOUS 1124742822 HAS SOUPS 1124742822 WITH SCORE 1.125973049955E9
AT ITER 373 NEW BEST:: SOT -1470668886 SOS 1230226552 HAS SOPS 1230226552 HAS SOUS 1124741419 HAS SOUPS 1124741419 WITH SCORE 1.125971645552E9
AT ITER 389 NEW BEST:: SOT -1470675673 SOS 1230220208 HAS SOPS 1230220208 HAS SOUS 1124735069 HAS SOUPS 1124735069 WITH SCORE 1.125965289208E9
AT ITER 433 NEW BEST:: SOT -1470680321 SOS 1230211572 HAS SOPS 1230211572 HAS SOUS 1124731062 HAS SOUPS 1124731062 WITH SCORE 1.125961273572E9
AT ITER 437 NEW BEST:: SOT -1470687233 SOS 1230200439 HAS SOPS 1230200439 HAS SOUS 1124719929 HAS SOUPS 1124719929 WITH SCORE 1.125950129439E9
AT ITER 440 NEW BEST:: SOT -1470690219 SOS 1230194467 HAS SOPS 1230194467 HAS SOUS 1124713957 HAS SOUPS 1124713957 WITH SCORE 1.125944151467E9
AT ITER 531 NEW BEST:: SOT -1470690901 SOS 1230193785 HAS SOPS 1230193785 HAS SOUS 1124713275 HAS SOUPS 1124713275 WITH SCORE 1.125943468785E9
AT ITER 583 NEW BEST:: SOT -1470690901 SOS 1230192634 HAS SOPS 1230192634 HAS SOUS 1124712124 HAS SOUPS 1124712124 WITH SCORE 1.125942316634E9
AT ITER 614 NEW BEST:: SOT -1470692789 SOS 1230188858 HAS SOPS 1230188858 HAS SOUS 1124710222 HAS SOUPS 1124710222 WITH SCORE 1.125940410858E9
AT ITER 633 NEW BEST:: SOT -1470693305 SOS 1230187826 HAS SOPS 1230187826 HAS SOUS 1124709190 HAS SOUPS 1124709190 WITH SCORE 1.125939377826E9
AT ITER 671 NEW BEST:: SOT -1470697592 SOS 1230181339 HAS SOPS 1230181339 HAS SOUS 1124706986 HAS SOUPS 1124706986 WITH SCORE 1.125937167339E9
AT ITER 736 NEW BEST:: SOT -1470698572 SOS 1230179468 HAS SOPS 1230179468 HAS SOUS 1124705026 HAS SOUPS 1124705026 WITH SCORE 1.125935205468E9
AT ITER 751 NEW BEST:: SOT -1470698572 SOS 1230175545 HAS SOPS 1230175545 HAS SOUS 1124701103 HAS SOUPS 1124701103 WITH SCORE 1.125931278545E9
AT ITER 779 NEW BEST:: SOT -1470698572 SOS 1230171492 HAS SOPS 1230171492 HAS SOUS 1124697050 HAS SOUPS 1124697050 WITH SCORE 1.125927221492E9
AT ITER 780 NEW BEST:: SOT -1470702772 SOS 1230163050 HAS SOPS 1230163050 HAS SOUS 1124688608 HAS SOUPS 1124688608 WITH SCORE 1.12591877105E9
AT ITER 815 NEW BEST:: SOT -1470705339 SOS 1230160483 HAS SOPS 1230160483 HAS SOUS 1124686041 HAS SOUPS 1124686041 WITH SCORE 1.125916201483E9
AT ITER 830 NEW BEST:: SOT -1470705543 SOS 1230160075 HAS SOPS 1230160075 HAS SOUS 1124685633 HAS SOUPS 1124685633 WITH SCORE 1.125915793075E9
AT ITER 881 NEW BEST:: SOT -1470705543 SOS 1230158716 HAS SOPS 1230158716 HAS SOUS 1124685628 HAS SOUPS 1124685628 WITH SCORE 1.125915786716E9
AT ITER 905 NEW BEST:: SOT -1470708053 SOS 1230153791 HAS SOPS 1230153791 HAS SOUS 1124680608 HAS SOUPS 1124680608 WITH SCORE 1.125910761791E9
AT ITER 910 NEW BEST:: SOT -1470708053 SOS 1230150130 HAS SOPS 1230150130 HAS SOUS 1124676947 HAS SOUPS 1124676947 WITH SCORE 1.12590709713E9
AT ITER 913 NEW BEST:: SOT -1470708053 SOS 1230146697 HAS SOPS 1230146697 HAS SOUS 1124673514 HAS SOUPS 1124673514 WITH SCORE 1.125903660697E9
AT ITER 938 NEW BEST:: SOT -1470715382 SOS 1230135147 HAS SOPS 1230135147 HAS SOUS 1124661964 HAS SOUPS 1124661964 WITH SCORE 1.125892099147E9
AT ITER 966 NEW BEST:: SOT -1470717593 SOS 1230130725 HAS SOPS 1230130725 HAS SOUS 1124657542 HAS SOUPS 1124657542 WITH SCORE 1.125887672725E9
AT ITER 969 NEW BEST:: SOT -1470719716 SOS 1230128690 HAS SOPS 1230128690 HAS SOUS 1124655507 HAS SOUPS 1124655507 WITH SCORE 1.12588563569E9
AT ITER 988 NEW BEST:: SOT -1470727169 SOS 1230117016 HAS SOPS 1230117016 HAS SOUS 1124643833 HAS SOUPS 1124643833 WITH SCORE 1.125873950016E9
AT ITER 1027 NEW BEST:: SOT -1470730043 SOS 1230114142 HAS SOPS 1230114142 HAS SOUS 1124640959 HAS SOUPS 1124640959 WITH SCORE 1.125871073142E9
AT ITER 1080 NEW BEST:: SOT -1470732160 SOS 1230112025 HAS SOPS 1230112025 HAS SOUS 1124638842 HAS SOUPS 1124638842 WITH SCORE 1.125868954025E9
AT ITER 1094 NEW BEST:: SOT -1470735817 SOS 1230108368 HAS SOPS 1230108368 HAS SOUS 1124635185 HAS SOUPS 1124635185 WITH SCORE 1.125865293368E9
AT ITER 1110 NEW BEST:: SOT -1470736489 SOS 1230107213 HAS SOPS 1230107213 HAS SOUS 1124633841 HAS SOUPS 1124633841 WITH SCORE 1.125863948213E9
AT ITER 1119 NEW BEST:: SOT -1470742994 SOS 1230096487 HAS SOPS 1230096487 HAS SOUS 1124623115 HAS SOUPS 1124623115 WITH SCORE 1.125853211487E9
AT ITER 1131 NEW BEST:: SOT -1470742994 SOS 1230093037 HAS SOPS 1230093037 HAS SOUS 1124619665 HAS SOUPS 1124619665 WITH SCORE 1.125849758037E9
AT ITER 1136 NEW BEST:: SOT -1470746550 SOS 1230089481 HAS SOPS 1230089481 HAS SOUS 1124616109 HAS SOUPS 1124616109 WITH SCORE 1.125846198481E9
AT ITER 1156 NEW BEST:: SOT -1470746550 SOS 1230086814 HAS SOPS 1230086814 HAS SOUS 1124613442 HAS SOUPS 1124613442 WITH SCORE 1.125843528814E9
AT ITER 1209 NEW BEST:: SOT -1470746550 SOS 1230085561 HAS SOPS 1230085561 HAS SOUS 1124612185 HAS SOUPS 1124612185 WITH SCORE 1.125842270561E9
AT ITER 1233 NEW BEST:: SOT -1470746550 SOS 1230081895 HAS SOPS 1230081895 HAS SOUS 1124608519 HAS SOUPS 1124608519 WITH SCORE 1.125838600895E9
AT ITER 1255 NEW BEST:: SOT -1470746550 SOS 1230080586 HAS SOPS 1230080586 HAS SOUS 1124607210 HAS SOUPS 1124607210 WITH SCORE 1.125837290586E9
AT ITER 1257 NEW BEST:: SOT -1470754436 SOS 1230068479 HAS SOPS 1230068479 HAS SOUS 1124595103 HAS SOUPS 1124595103 WITH SCORE 1.125825171479E9
AT ITER 1329 NEW BEST:: SOT -1470755882 SOS 1230065587 HAS SOPS 1230065587 HAS SOUS 1124592211 HAS SOUPS 1124592211 WITH SCORE 1.125822276587E9
AT ITER 1331 NEW BEST:: SOT -1470758289 SOS 1230064544 HAS SOPS 1230064544 HAS SOUS 1124591168 HAS SOUPS 1124591168 WITH SCORE 1.125821232544E9
AT ITER 1355 NEW BEST:: SOT -1470766067 SOS 1230055811 HAS SOPS 1230055811 HAS SOUS 1124586847 HAS SOUPS 1124586847 WITH SCORE 1.125816902811E9
AT ITER 1367 NEW BEST:: SOT -1470768422 SOS 1230053456 HAS SOPS 1230053456 HAS SOUS 1124586834 HAS SOUPS 1124586834 WITH SCORE 1.125816887456E9
AT ITER 1431 NEW BEST:: SOT -1470772080 SOS 1230049798 HAS SOPS 1230049798 HAS SOUS 1124583176 HAS SOUPS 1124583176 WITH SCORE 1.125813225798E9
AT ITER 1444 NEW BEST:: SOT -1470777567 SOS 1230047587 HAS SOPS 1230047587 HAS SOUS 1124580959 HAS SOUPS 1124580959 WITH SCORE 1.125811006587E9
AT ITER 1458 NEW BEST:: SOT -1470777567 SOS 1230044286 HAS SOPS 1230044286 HAS SOUS 1124577658 HAS SOUPS 1124577658 WITH SCORE 1.125807702286E9
AT ITER 1476 NEW BEST:: SOT -1470779134 SOS 1230038941 HAS SOPS 1230038941 HAS SOUS 1124575890 HAS SOUPS 1124575890 WITH SCORE 1.125805928941E9
AT ITER 1508 NEW BEST:: SOT -1470783334 SOS 1230030520 HAS SOPS 1230030520 HAS SOUS 1124567469 HAS SOUPS 1124567469 WITH SCORE 1.12579749952E9
AT ITER 1511 NEW BEST:: SOT -1470789442 SOS 1230020191 HAS SOPS 1230020191 HAS SOUS 1124557140 HAS SOUPS 1124557140 WITH SCORE 1.125787160191E9
AT ITER 1532 NEW BEST:: SOT -1470789442 SOS 1230017798 HAS SOPS 1230017798 HAS SOUS 1124554747 HAS SOUPS 1124554747 WITH SCORE 1.125784764798E9
AT ITER 1557 NEW BEST:: SOT -1470794228 SOS 1230015587 HAS SOPS 1230015587 HAS SOUS 1124552530 HAS SOUPS 1124552530 WITH SCORE 1.125782545587E9
AT ITER 1583 NEW BEST:: SOT -1470800387 SOS 1230005207 HAS SOPS 1230005207 HAS SOUS 1124542150 HAS SOUPS 1124542150 WITH SCORE 1.125772155207E9
AT ITER 1613 NEW BEST:: SOT -1470800387 SOS 1230003979 HAS SOPS 1230003979 HAS SOUS 1124540918 HAS SOUPS 1124540918 WITH SCORE 1.125770921979E9
AT ITER 1619 NEW BEST:: SOT -1470802401 SOS 1230001965 HAS SOPS 1230001965 HAS SOUS 1124538904 HAS SOUPS 1124538904 WITH SCORE 1.125768905965E9
AT ITER 1635 NEW BEST:: SOT -1470805055 SOS 1229999311 HAS SOPS 1229999311 HAS SOUS 1124536250 HAS SOUPS 1124536250 WITH SCORE 1.125766249311E9
AT ITER 1657 NEW BEST:: SOT -1470811146 SOS 1229988999 HAS SOPS 1229988999 HAS SOUS 1124525938 HAS SOUPS 1124525938 WITH SCORE 1.125755926999E9
AT ITER 1683 NEW BEST:: SOT -1470815346 SOS 1229980578 HAS SOPS 1229980578 HAS SOUS 1124517517 HAS SOUPS 1124517517 WITH SCORE 1.125747497578E9
AT ITER 1684 NEW BEST:: SOT -1470816195 SOS 1229979729 HAS SOPS 1229979729 HAS SOUS 1124516668 HAS SOUPS 1124516668 WITH SCORE 1.125746647729E9
AT ITER 1692 NEW BEST:: SOT -1470819460 SOS 1229976464 HAS SOPS 1229976464 HAS SOUS 1124513403 HAS SOUPS 1124513403 WITH SCORE 1.125743379464E9
AT ITER 1743 NEW BEST:: SOT -1470823660 SOS 1229968043 HAS SOPS 1229968043 HAS SOUS 1124504982 HAS SOUPS 1124504982 WITH SCORE 1.125734950043E9
AT ITER 1750 NEW BEST:: SOT -1470823660 SOS 1229965398 HAS SOPS 1229965398 HAS SOUS 1124502337 HAS SOUPS 1124502337 WITH SCORE 1.125732302398E9
AT ITER 1796 NEW BEST:: SOT -1470831010 SOS 1229953827 HAS SOPS 1229953827 HAS SOUS 1124490766 HAS SOUPS 1124490766 WITH SCORE 1.125720719827E9
AT ITER 1820 NEW BEST:: SOT -1470832894 SOS 1229951943 HAS SOPS 1229951943 HAS SOUS 1124488882 HAS SOUPS 1124488882 WITH SCORE 1.125718833943E9
AT ITER 1834 NEW BEST:: SOT -1470840200 SOS 1229944637 HAS SOPS 1229944637 HAS SOUS 1124481576 HAS SOUPS 1124481576 WITH SCORE 1.125711520637E9
AT ITER 1840 NEW BEST:: SOT -1470841551 SOS 1229943286 HAS SOPS 1229943286 HAS SOUS 1124480225 HAS SOUPS 1124480225 WITH SCORE 1.125710168286E9
AT ITER 1847 NEW BEST:: SOT -1470841551 SOS 1229940383 HAS SOPS 1229940383 HAS SOUS 1124480225 HAS SOUPS 1124480225 WITH SCORE 1.125710165383E9
AT ITER 1901 NEW BEST:: SOT -1470841551 SOS 1229936621 HAS SOPS 1229936621 HAS SOUS 1124476463 HAS SOUPS 1124476463 WITH SCORE 1.125706399621E9
AT ITER 1910 NEW BEST:: SOT -1470841551 SOS 1229932977 HAS SOPS 1229932977 HAS SOUS 1124472819 HAS SOUPS 1124472819 WITH SCORE 1.125702751977E9
AT ITER 1928 NEW BEST:: SOT -1470845751 SOS 1229924535 HAS SOPS 1229924535 HAS SOUS 1124464377 HAS SOUPS 1124464377 WITH SCORE 1.125694301535E9
AT ITER 1934 NEW BEST:: SOT -1470845751 SOS 1229924054 HAS SOPS 1229924054 HAS SOUS 1124463896 HAS SOUPS 1124463896 WITH SCORE 1.125693820054E9
AT ITER 1937 NEW BEST:: SOT -1470846342 SOS 1229923064 HAS SOPS 1229923064 HAS SOUS 1124462714 HAS SOUPS 1124462714 WITH SCORE 1.125692637064E9
AT ITER 1988 NEW BEST:: SOT -1470850542 SOS 1229914643 HAS SOPS 1229914643 HAS SOUS 1124454293 HAS SOUPS 1124454293 WITH SCORE 1.125684207643E9
AT ITER 1998 NEW BEST:: SOT -1470854572 SOS 1229906583 HAS SOPS 1229906583 HAS SOUS 1124450258 HAS SOUPS 1124450258 WITH SCORE 1.125680164583E9
AT ITER 2047 NEW BEST:: SOT -1470854572 SOS 1229902543 HAS SOPS 1229902543 HAS SOUS 1124446218 HAS SOUPS 1124446218 WITH SCORE 1.125676120543E9
AT ITER 2056 NEW BEST:: SOT -1470860450 SOS 1229900332 HAS SOPS 1229900332 HAS SOUS 1124433027 HAS SOUPS 1124433027 WITH SCORE 1.125662927332E9
AT ITER 2086 NEW BEST:: SOT -1470864650 SOS 1229891911 HAS SOPS 1229891911 HAS SOUS 1124424606 HAS SOUPS 1124424606 WITH SCORE 1.125654497911E9
AT ITER 2106 NEW BEST:: SOT -1470868850 SOS 1229883490 HAS SOPS 1229883490 HAS SOUS 1124416185 HAS SOUPS 1124416185 WITH SCORE 1.12564606849E9
AT ITER 2122 NEW BEST:: SOT -1470868850 SOS 1229880840 HAS SOPS 1229880840 HAS SOUS 1124413535 HAS SOUPS 1124413535 WITH SCORE 1.12564341584E9
AT ITER 2125 NEW BEST:: SOT -1470868850 SOS 1229879834 HAS SOPS 1229879834 HAS SOUS 1124413535 HAS SOUPS 1124413535 WITH SCORE 1.125643414834E9
AT ITER 2171 NEW BEST:: SOT -1470872262 SOS 1229872201 HAS SOPS 1229872201 HAS SOUS 1124405902 HAS SOUPS 1124405902 WITH SCORE 1.125635774201E9
AT ITER 2189 NEW BEST:: SOT -1470872948 SOS 1229871515 HAS SOPS 1229871515 HAS SOUS 1124405216 HAS SOUPS 1124405216 WITH SCORE 1.125635087515E9
AT ITER 2196 NEW BEST:: SOT -1470916420 SOS 1229830199 HAS SOPS 1229830199 HAS SOUS 1124363892 HAS SOUPS 1124363892 WITH SCORE 1.125593722199E9
AT ITER 2198 NEW BEST:: SOT -1470916420 SOS 1229825980 HAS SOPS 1229825980 HAS SOUS 1124359673 HAS SOUPS 1124359673 WITH SCORE 1.12558949898E9
AT ITER 2199 NEW BEST:: SOT -1470916420 SOS 1229822713 HAS SOPS 1229822713 HAS SOUS 1124356406 HAS SOUPS 1124356406 WITH SCORE 1.125586228713E9
AT ITER 2231 NEW BEST:: SOT -1470916420 SOS 1229820904 HAS SOPS 1229820904 HAS SOUS 1124354597 HAS SOUPS 1124354597 WITH SCORE 1.125584417904E9
AT ITER 2243 NEW BEST:: SOT -1470918737 SOS 1229816362 HAS SOPS 1229816362 HAS SOUS 1124349963 HAS SOUPS 1124349963 WITH SCORE 1.125579779362E9
AT ITER 2278 NEW BEST:: SOT -1470921643 SOS 1229813456 HAS SOPS 1229813456 HAS SOUS 1124347057 HAS SOUPS 1124347057 WITH SCORE 1.125576870456E9
AT ITER 2308 NEW BEST:: SOT -1470924176 SOS 1229810923 HAS SOPS 1229810923 HAS SOUS 1124344524 HAS SOUPS 1124344524 WITH SCORE 1.125574334923E9
AT ITER 2312 NEW BEST:: SOT -1470924176 SOS 1229810589 HAS SOPS 1229810589 HAS SOUS 1124344524 HAS SOUPS 1124344524 WITH SCORE 1.125574334589E9
AT ITER 2358 NEW BEST:: SOT -1470926990 SOS 1229807775 HAS SOPS 1229807775 HAS SOUS 1124341710 HAS SOUPS 1124341710 WITH SCORE 1.125571517775E9
AT ITER 2359 NEW BEST:: SOT -1470926990 SOS 1229804912 HAS SOPS 1229804912 HAS SOUS 1124338847 HAS SOUPS 1124338847 WITH SCORE 1.125568651912E9
AT ITER 2367 NEW BEST:: SOT -1470926990 SOS 1229804494 HAS SOPS 1229804494 HAS SOUS 1124338429 HAS SOUPS 1124338429 WITH SCORE 1.125568233494E9
AT ITER 2378 NEW BEST:: SOT -1470933557 SOS 1229797927 HAS SOPS 1229797927 HAS SOUS 1124331862 HAS SOUPS 1124331862 WITH SCORE 1.125561659927E9
AT ITER 2412 NEW BEST:: SOT -1470936560 SOS 1229791921 HAS SOPS 1229791921 HAS SOUS 1124328841 HAS SOUPS 1124328841 WITH SCORE 1.125558632921E9
AT ITER 2434 NEW BEST:: SOT -1470936560 SOS 1229790089 HAS SOPS 1229790089 HAS SOUS 1124327009 HAS SOUPS 1124327009 WITH SCORE 1.125556799089E9
AT ITER 2438 NEW BEST:: SOT -1470939000 SOS 1229787649 HAS SOPS 1229787649 HAS SOUS 1124326989 HAS SOUPS 1124326989 WITH SCORE 1.125556776649E9
AT ITER 2467 NEW BEST:: SOT -1470946658 SOS 1229772333 HAS SOPS 1229772333 HAS SOUS 1124319305 HAS SOUPS 1124319305 WITH SCORE 1.125549077333E9
AT ITER 2512 NEW BEST:: SOT -1470950236 SOS 1229765227 HAS SOPS 1229765227 HAS SOUS 1124312149 HAS SOUPS 1124312149 WITH SCORE 1.125541914227E9
AT ITER 2537 NEW BEST:: SOT -1470950236 SOS 1229762868 HAS SOPS 1229762868 HAS SOUS 1124309790 HAS SOUPS 1124309790 WITH SCORE 1.125539552868E9
AT ITER 2572 NEW BEST:: SOT -1470952447 SOS 1229758446 HAS SOPS 1229758446 HAS SOUS 1124305368 HAS SOUPS 1124305368 WITH SCORE 1.125535126446E9
AT ITER 2576 NEW BEST:: SOT -1470952447 SOS 1229755877 HAS SOPS 1229755877 HAS SOUS 1124302799 HAS SOUPS 1124302799 WITH SCORE 1.125532554877E9
AT ITER 2650 NEW BEST:: SOT -1470952447 SOS 1229752767 HAS SOPS 1229752767 HAS SOUS 1124299689 HAS SOUPS 1124299689 WITH SCORE 1.125529441767E9
AT ITER 2669 NEW BEST:: SOT -1470960451 SOS 1229740542 HAS SOPS 1229740542 HAS SOUS 1124287464 HAS SOUPS 1124287464 WITH SCORE 1.125517204542E9
AT ITER 2670 NEW BEST:: SOT -1470964651 SOS 1229732121 HAS SOPS 1229732121 HAS SOUS 1124279043 HAS SOUPS 1124279043 WITH SCORE 1.125508775121E9
AT ITER 2674 NEW BEST:: SOT -1470968851 SOS 1229723700 HAS SOPS 1229723700 HAS SOUS 1124270622 HAS SOUPS 1124270622 WITH SCORE 1.1255003457E9
AT ITER 2683 NEW BEST:: SOT -1470968851 SOS 1229719727 HAS SOPS 1229719727 HAS SOUS 1124266649 HAS SOUPS 1124266649 WITH SCORE 1.125496368727E9
AT ITER 2687 NEW BEST:: SOT -1470968851 SOS 1229718715 HAS SOPS 1229718715 HAS SOUS 1124265637 HAS SOUPS 1124265637 WITH SCORE 1.125495355715E9
AT ITER 2734 NEW BEST:: SOT -1470972536 SOS 1229715030 HAS SOPS 1229715030 HAS SOUS 1124261952 HAS SOUPS 1124261952 WITH SCORE 1.12549166703E9
AT ITER 2759 NEW BEST:: SOT -1470972536 SOS 1229712513 HAS SOPS 1229712513 HAS SOUS 1124259435 HAS SOUPS 1124259435 WITH SCORE 1.125489147513E9
AT ITER 2767 NEW BEST:: SOT -1470979613 SOS 1229709902 HAS SOPS 1229709902 HAS SOUS 1124257576 HAS SOUPS 1124257576 WITH SCORE 1.125487285902E9
AT ITER 2770 NEW BEST:: SOT -1470981495 SOS 1229708020 HAS SOPS 1229708020 HAS SOUS 1124257574 HAS SOUPS 1124257574 WITH SCORE 1.12548728202E9
AT ITER 2776 NEW BEST:: SOT -1470985917 SOS 1229699176 HAS SOPS 1229699176 HAS SOUS 1124248730 HAS SOUPS 1124248730 WITH SCORE 1.125478429176E9
AT ITER 2784 NEW BEST:: SOT -1470985917 SOS 1229697864 HAS SOPS 1229697864 HAS SOUS 1124247418 HAS SOUPS 1124247418 WITH SCORE 1.125477115864E9
AT ITER 2787 NEW BEST:: SOT -1470985917 SOS 1229696618 HAS SOPS 1229696618 HAS SOUS 1124247408 HAS SOUPS 1124247408 WITH SCORE 1.125477104618E9
AT ITER 2808 NEW BEST:: SOT -1470985917 SOS 1229695809 HAS SOPS 1229695809 HAS SOUS 1124246599 HAS SOUPS 1124246599 WITH SCORE 1.125476294809E9
AT ITER 2819 NEW BEST:: SOT -1470985917 SOS 1229692911 HAS SOPS 1229692911 HAS SOUS 1124243701 HAS SOUPS 1124243701 WITH SCORE 1.125473393911E9
AT ITER 2847 NEW BEST:: SOT -1470993587 SOS 1229681020 HAS SOPS 1229681020 HAS SOUS 1124231810 HAS SOUPS 1124231810 WITH SCORE 1.12546149102E9
AT ITER 2871 NEW BEST:: SOT -1470993587 SOS 1229678064 HAS SOPS 1229678064 HAS SOUS 1124228854 HAS SOUPS 1124228854 WITH SCORE 1.125458532064E9
AT ITER 2887 NEW BEST:: SOT -1470993587 SOS 1229677028 HAS SOPS 1229677028 HAS SOUS 1124227813 HAS SOUPS 1124227813 WITH SCORE 1.125457490028E9
AT ITER 2898 NEW BEST:: SOT -1470997523 SOS 1229673092 HAS SOPS 1229673092 HAS SOUS 1124223877 HAS SOUPS 1124223877 WITH SCORE 1.125453550092E9
AT ITER 2926 NEW BEST:: SOT -1471002167 SOS 1229670881 HAS SOPS 1229670881 HAS SOUS 1124221646 HAS SOUPS 1124221646 WITH SCORE 1.125451316881E9
AT ITER 2935 NEW BEST:: SOT -1471013772 SOS 1229664001 HAS SOPS 1229664001 HAS SOUS 1124210511 HAS SOUPS 1124210511 WITH SCORE 1.125440175001E9
AT ITER 2939 NEW BEST:: SOT -1471013772 SOS 1229661902 HAS SOPS 1229661902 HAS SOUS 1124208412 HAS SOUPS 1124208412 WITH SCORE 1.125438073902E9
AT ITER 2952 NEW BEST:: SOT -1471013772 SOS 1229658332 HAS SOPS 1229658332 HAS SOUS 1124204842 HAS SOUPS 1124204842 WITH SCORE 1.125434500332E9
AT ITER 2954 NEW BEST:: SOT -1471013772 SOS 1229654957 HAS SOPS 1229654957 HAS SOUS 1124201467 HAS SOUPS 1124201467 WITH SCORE 1.125431121957E9
AT ITER 2969 NEW BEST:: SOT -1471013772 SOS 1229654091 HAS SOPS 1229654091 HAS SOUS 1124201461 HAS SOUPS 1124201461 WITH SCORE 1.125431115091E9
AT ITER 3011 NEW BEST:: SOT -1471013772 SOS 1229650441 HAS SOPS 1229650441 HAS SOUS 1124197811 HAS SOUPS 1124197811 WITH SCORE 1.125427461441E9
AT ITER 3018 NEW BEST:: SOT -1471013772 SOS 1229647697 HAS SOPS 1229647697 HAS SOUS 1124195067 HAS SOUPS 1124195067 WITH SCORE 1.125424714697E9
AT ITER 3021 NEW BEST:: SOT -1471017145 SOS 1229644324 HAS SOPS 1229644324 HAS SOUS 1124191694 HAS SOUPS 1124191694 WITH SCORE 1.125421338324E9
AT ITER 3087 NEW BEST:: SOT -1471021564 SOS 1229639905 HAS SOPS 1229639905 HAS SOUS 1124187275 HAS SOUPS 1124187275 WITH SCORE 1.125416914905E9
AT ITER 3177 NEW BEST:: SOT -1471025764 SOS 1229631484 HAS SOPS 1229631484 HAS SOUS 1124178854 HAS SOUPS 1124178854 WITH SCORE 1.125408485484E9
AT ITER 3178 NEW BEST:: SOT -1471025764 SOS 1229627919 HAS SOPS 1229627919 HAS SOUS 1124175289 HAS SOUPS 1124175289 WITH SCORE 1.125404916919E9
AT ITER 3187 NEW BEST:: SOT -1471031353 SOS 1229622330 HAS SOPS 1229622330 HAS SOUS 1124169700 HAS SOUPS 1124169700 WITH SCORE 1.12539932233E9
AT ITER 3200 NEW BEST:: SOT -1471031353 SOS 1229619715 HAS SOPS 1229619715 HAS SOUS 1124167085 HAS SOUPS 1124167085 WITH SCORE 1.125396704715E9
AT ITER 3221 NEW BEST:: SOT -1471031353 SOS 1229615657 HAS SOPS 1229615657 HAS SOUS 1124163027 HAS SOUPS 1124163027 WITH SCORE 1.125392642657E9
AT ITER 3223 NEW BEST:: SOT -1471035340 SOS 1229611670 HAS SOPS 1229611670 HAS SOUS 1124159040 HAS SOUPS 1124159040 WITH SCORE 1.12538865167E9
AT ITER 3227 NEW BEST:: SOT -1471035912 SOS 1229611098 HAS SOPS 1229611098 HAS SOUS 1124158468 HAS SOUPS 1124158468 WITH SCORE 1.125388079098E9
AT ITER 3240 NEW BEST:: SOT -1471036399 SOS 1229610156 HAS SOPS 1229610156 HAS SOUS 1124157494 HAS SOUPS 1124157494 WITH SCORE 1.125387104156E9
AT ITER 3245 NEW BEST:: SOT -1471039693 SOS 1229606862 HAS SOPS 1229606862 HAS SOUS 1124154200 HAS SOUPS 1124154200 WITH SCORE 1.125383806862E9
AT ITER 3253 NEW BEST:: SOT -1471045083 SOS 1229597251 HAS SOPS 1229597251 HAS SOUS 1124144589 HAS SOUPS 1124144589 WITH SCORE 1.125374186251E9
AT ITER 3270 NEW BEST:: SOT -1471047325 SOS 1229595009 HAS SOPS 1229595009 HAS SOUS 1124142347 HAS SOUPS 1124142347 WITH SCORE 1.125371942009E9
AT ITER 3282 NEW BEST:: SOT -1471049416 SOS 1229593038 HAS SOPS 1229593038 HAS SOUS 1124140376 HAS SOUPS 1124140376 WITH SCORE 1.125369969038E9
AT ITER 3298 NEW BEST:: SOT -1471049416 SOS 1229588963 HAS SOPS 1229588963 HAS SOUS 1124136301 HAS SOUPS 1124136301 WITH SCORE 1.125365889963E9
AT ITER 3364 NEW BEST:: SOT -1471053866 SOS 1229584513 HAS SOPS 1229584513 HAS SOUS 1124131851 HAS SOUPS 1124131851 WITH SCORE 1.125361435513E9
AT ITER 3366 NEW BEST:: SOT -1471058288 SOS 1229575669 HAS SOPS 1229575669 HAS SOUS 1124123007 HAS SOUPS 1124123007 WITH SCORE 1.125352582669E9
AT ITER 3382 NEW BEST:: SOT -1471065806 SOS 1229563930 HAS SOPS 1229563930 HAS SOUS 1124111268 HAS SOUPS 1124111268 WITH SCORE 1.12534083193E9
AT ITER 3429 NEW BEST:: SOT -1471070006 SOS 1229555509 HAS SOPS 1229555509 HAS SOUS 1124102847 HAS SOUPS 1124102847 WITH SCORE 1.125332402509E9
AT ITER 3461 NEW BEST:: SOT -1471072355 SOS 1229553160 HAS SOPS 1229553160 HAS SOUS 1124100498 HAS SOUPS 1124100498 WITH SCORE 1.12533005116E9
AT ITER 3466 NEW BEST:: SOT -1471072355 SOS 1229550187 HAS SOPS 1229550187 HAS SOUS 1124097525 HAS SOUPS 1124097525 WITH SCORE 1.125327075187E9
AT ITER 3468 NEW BEST:: SOT -1471078990 SOS 1229539331 HAS SOPS 1229539331 HAS SOUS 1124086669 HAS SOUPS 1124086669 WITH SCORE 1.125316208331E9
AT ITER 3484 NEW BEST:: SOT -1471078990 SOS 1229536306 HAS SOPS 1229536306 HAS SOUS 1124083644 HAS SOUPS 1124083644 WITH SCORE 1.125313180306E9
AT ITER 3498 NEW BEST:: SOT -1471083190 SOS 1229527864 HAS SOPS 1229527864 HAS SOUS 1124075202 HAS SOUPS 1124075202 WITH SCORE 1.125304729864E9
AT ITER 3512 NEW BEST:: SOT -1471089513 SOS 1229517320 HAS SOPS 1229517320 HAS SOUS 1124064658 HAS SOUPS 1124064658 WITH SCORE 1.12529417532E9
AT ITER 3653 NEW BEST:: SOT -1471089513 SOS 1229513941 HAS SOPS 1229513941 HAS SOUS 1124061279 HAS SOUPS 1124061279 WITH SCORE 1.125290792941E9
AT ITER 3676 NEW BEST:: SOT -1471089513 SOS 1229511860 HAS SOPS 1229511860 HAS SOUS 1124059198 HAS SOUPS 1124059198 WITH SCORE 1.12528870986E9
AT ITER 3710 NEW BEST:: SOT -1471092307 SOS 1229509066 HAS SOPS 1229509066 HAS SOUS 1124056404 HAS SOUPS 1124056404 WITH SCORE 1.125285913066E9
AT ITER 3738 NEW BEST:: SOT -1471093707 SOS 1229507666 HAS SOPS 1229507666 HAS SOUS 1124055004 HAS SOUPS 1124055004 WITH SCORE 1.125284511666E9
AT ITER 3757 NEW BEST:: SOT -1471093707 SOS 1229504167 HAS SOPS 1229504167 HAS SOUS 1124051505 HAS SOUPS 1124051505 WITH SCORE 1.125281009167E9
AT ITER 3765 NEW BEST:: SOT -1471097447 SOS 1229496687 HAS SOPS 1229496687 HAS SOUS 1124047751 HAS SOUPS 1124047751 WITH SCORE 1.125277247687E9
AT ITER 3799 NEW BEST:: SOT -1471102713 SOS 1229487200 HAS SOPS 1229487200 HAS SOUS 1124038264 HAS SOUPS 1124038264 WITH SCORE 1.1252677512E9
AT ITER 3819 NEW BEST:: SOT -1471106913 SOS 1229478779 HAS SOPS 1229478779 HAS SOUS 1124029843 HAS SOUPS 1124029843 WITH SCORE 1.125259321779E9
AT ITER 3828 NEW BEST:: SOT -1471111223 SOS 1229474469 HAS SOPS 1229474469 HAS SOUS 1124025533 HAS SOUPS 1124025533 WITH SCORE 1.125255007469E9
AT ITER 3851 NEW BEST:: SOT -1471111223 SOS 1229474469 HAS SOPS 1229474469 HAS SOUS 1124024226 HAS SOUPS 1124024226 WITH SCORE 1.125253700469E9
AT ITER 3856 NEW BEST:: SOT -1471118077 SOS 1229471987 HAS SOPS 1229471987 HAS SOUS 1124022661 HAS SOUPS 1124022661 WITH SCORE 1.125252132987E9
AT ITER 3887 NEW BEST:: SOT -1471125048 SOS 1229463459 HAS SOPS 1229463459 HAS SOUS 1124021101 HAS SOUPS 1124021101 WITH SCORE 1.125250564459E9
AT ITER 3889 NEW BEST:: SOT -1471125048 SOS 1229462456 HAS SOPS 1229462456 HAS SOUS 1124020098 HAS SOUPS 1124020098 WITH SCORE 1.125249560456E9
AT ITER 3892 NEW BEST:: SOT -1471129248 SOS 1229454035 HAS SOPS 1229454035 HAS SOUS 1124011677 HAS SOUPS 1124011677 WITH SCORE 1.125241131035E9
AT ITER 3913 NEW BEST:: SOT -1471133448 SOS 1229445614 HAS SOPS 1229445614 HAS SOUS 1124003256 HAS SOUPS 1124003256 WITH SCORE 1.125232701614E9
AT ITER 3944 NEW BEST:: SOT -1471135766 SOS 1229445136 HAS SOPS 1229445136 HAS SOUS 1124002778 HAS SOUPS 1124002778 WITH SCORE 1.125232223136E9
AT ITER 3954 NEW BEST:: SOT -1471135766 SOS 1229441518 HAS SOPS 1229441518 HAS SOUS 1123999160 HAS SOUPS 1123999160 WITH SCORE 1.125228601518E9
AT ITER 4013 NEW BEST:: SOT -1471143325 SOS 1229429738 HAS SOPS 1229429738 HAS SOUS 1123987380 HAS SOUPS 1123987380 WITH SCORE 1.125216809738E9
AT ITER 4026 NEW BEST:: SOT -1471144378 SOS 1229417102 HAS SOPS 1229417102 HAS SOUS 1123986327 HAS SOUPS 1123986327 WITH SCORE 1.125215744102E9
AT ITER 4059 NEW BEST:: SOT -1471147894 SOS 1229413586 HAS SOPS 1229413586 HAS SOUS 1123982811 HAS SOUPS 1123982811 WITH SCORE 1.125212224586E9
AT ITER 4086 NEW BEST:: SOT -1471147894 SOS 1229409743 HAS SOPS 1229409743 HAS SOUS 1123978968 HAS SOUPS 1123978968 WITH SCORE 1.125208377743E9
AT ITER 4092 NEW BEST:: SOT -1471151547 SOS 1229406090 HAS SOPS 1229406090 HAS SOUS 1123975315 HAS SOUPS 1123975315 WITH SCORE 1.12520472109E9
AT ITER 4159 NEW BEST:: SOT -1471155358 SOS 1229402279 HAS SOPS 1229402279 HAS SOUS 1123971504 HAS SOUPS 1123971504 WITH SCORE 1.125200906279E9
AT ITER 4187 NEW BEST:: SOT -1471156040 SOS 1229400915 HAS SOPS 1229400915 HAS SOUS 1123970140 HAS SOUPS 1123970140 WITH SCORE 1.125199540915E9
AT ITER 4230 NEW BEST:: SOT -1471156040 SOS 1229400878 HAS SOPS 1229400878 HAS SOUS 1123970140 HAS SOUPS 1123970140 WITH SCORE 1.125199540878E9
AT ITER 4238 NEW BEST:: SOT -1471160240 SOS 1229392436 HAS SOPS 1229392436 HAS SOUS 1123961698 HAS SOUPS 1123961698 WITH SCORE 1.125191090436E9
AT ITER 4256 NEW BEST:: SOT -1471166477 SOS 1229386199 HAS SOPS 1229386199 HAS SOUS 1123955461 HAS SOUPS 1123955461 WITH SCORE 1.125184847199E9
AT ITER 4267 NEW BEST:: SOT -1471166477 SOS 1229384754 HAS SOPS 1229384754 HAS SOUS 1123954016 HAS SOUPS 1123954016 WITH SCORE 1.125183400754E9
AT ITER 4271 NEW BEST:: SOT -1471166477 SOS 1229381457 HAS SOPS 1229381457 HAS SOUS 1123950719 HAS SOUPS 1123950719 WITH SCORE 1.125180100457E9
AT ITER 4277 NEW BEST:: SOT -1471170382 SOS 1229377552 HAS SOPS 1229377552 HAS SOUS 1123946814 HAS SOUPS 1123946814 WITH SCORE 1.125176191552E9
AT ITER 4300 NEW BEST:: SOT -1471174582 SOS 1229369131 HAS SOPS 1229369131 HAS SOUS 1123938393 HAS SOUPS 1123938393 WITH SCORE 1.125167762131E9
AT ITER 4334 NEW BEST:: SOT -1471174582 SOS 1229366570 HAS SOPS 1229366570 HAS SOUS 1123935832 HAS SOUPS 1123935832 WITH SCORE 1.12516519857E9
AT ITER 4344 NEW BEST:: SOT -1471174582 SOS 1229362940 HAS SOPS 1229362940 HAS SOUS 1123932202 HAS SOUPS 1123932202 WITH SCORE 1.12516156494E9
AT ITER 4354 NEW BEST:: SOT -1471178943 SOS 1229354454 HAS SOPS 1229354454 HAS SOUS 1123928070 HAS SOUPS 1123928070 WITH SCORE 1.125157424454E9
AT ITER 4361 NEW BEST:: SOT -1471182569 SOS 1229349413 HAS SOPS 1229349413 HAS SOUS 1123923029 HAS SOUPS 1123923029 WITH SCORE 1.125152378413E9
AT ITER 4401 NEW BEST:: SOT -1471183431 SOS 1229348551 HAS SOPS 1229348551 HAS SOUS 1123922167 HAS SOUPS 1123922167 WITH SCORE 1.125151515551E9
AT ITER 4426 NEW BEST:: SOT -1471190455 SOS 1229337306 HAS SOPS 1229337306 HAS SOUS 1123910922 HAS SOUPS 1123910922 WITH SCORE 1.125140259306E9
AT ITER 4441 NEW BEST:: SOT -1471192666 SOS 1229335095 HAS SOPS 1229335095 HAS SOUS 1123908711 HAS SOUPS 1123908711 WITH SCORE 1.125138046095E9
AT ITER 4483 NEW BEST:: SOT -1471192666 SOS 1229333741 HAS SOPS 1229333741 HAS SOUS 1123908711 HAS SOUPS 1123908711 WITH SCORE 1.125138044741E9
AT ITER 4493 NEW BEST:: SOT -1471192666 SOS 1229332973 HAS SOPS 1229332973 HAS SOUS 1123907936 HAS SOUPS 1123907936 WITH SCORE 1.125137268973E9
AT ITER 4512 NEW BEST:: SOT -1471192666 SOS 1229329270 HAS SOPS 1229329270 HAS SOUS 1123904233 HAS SOUPS 1123904233 WITH SCORE 1.12513356227E9
AT ITER 4522 NEW BEST:: SOT -1471195465 SOS 1229325883 HAS SOPS 1229325883 HAS SOUS 1123900846 HAS SOUPS 1123900846 WITH SCORE 1.125130171883E9
AT ITER 4542 NEW BEST:: SOT -1471195465 SOS 1229322198 HAS SOPS 1229322198 HAS SOUS 1123897161 HAS SOUPS 1123897161 WITH SCORE 1.125126483198E9
AT ITER 4553 NEW BEST:: SOT -1471196173 SOS 1229320894 HAS SOPS 1229320894 HAS SOUS 1123895745 HAS SOUPS 1123895745 WITH SCORE 1.125125065894E9
AT ITER 4569 NEW BEST:: SOT -1471197322 SOS 1229319745 HAS SOPS 1229319745 HAS SOUS 1123894596 HAS SOUPS 1123894596 WITH SCORE 1.125123915745E9
AT ITER 4596 NEW BEST:: SOT -1471206738 SOS 1229311519 HAS SOPS 1229311519 HAS SOUS 1123886361 HAS SOUPS 1123886361 WITH SCORE 1.125115672519E9
AT ITER 4598 NEW BEST:: SOT -1471214120 SOS 1229299916 HAS SOPS 1229299916 HAS SOUS 1123874758 HAS SOUPS 1123874758 WITH SCORE 1.125104057916E9
AT ITER 4618 NEW BEST:: SOT -1471217463 SOS 1229296573 HAS SOPS 1229296573 HAS SOUS 1123871415 HAS SOUPS 1123871415 WITH SCORE 1.125100711573E9
AT ITER 4637 NEW BEST:: SOT -1471217463 SOS 1229293302 HAS SOPS 1229293302 HAS SOUS 1123868144 HAS SOUPS 1123868144 WITH SCORE 1.125097437302E9
AT ITER 4644 NEW BEST:: SOT -1471222213 SOS 1229288552 HAS SOPS 1229288552 HAS SOUS 1123863394 HAS SOUPS 1123863394 WITH SCORE 1.125092682552E9
AT ITER 4646 NEW BEST:: SOT -1471222213 SOS 1229286194 HAS SOPS 1229286194 HAS SOUS 1123861036 HAS SOUPS 1123861036 WITH SCORE 1.125090322194E9
AT ITER 4723 NEW BEST:: SOT -1471222213 SOS 1229285106 HAS SOPS 1229285106 HAS SOUS 1123859943 HAS SOUPS 1123859943 WITH SCORE 1.125089228106E9
AT ITER 4728 NEW BEST:: SOT -1471225458 SOS 1229281861 HAS SOPS 1229281861 HAS SOUS 1123856698 HAS SOUPS 1123856698 WITH SCORE 1.125085979861E9
AT ITER 4738 NEW BEST:: SOT -1471225458 SOS 1229281117 HAS SOPS 1229281117 HAS SOUS 1123855954 HAS SOUPS 1123855954 WITH SCORE 1.125085235117E9
AT ITER 4747 NEW BEST:: SOT -1471232798 SOS 1229269556 HAS SOPS 1229269556 HAS SOUS 1123844393 HAS SOUPS 1123844393 WITH SCORE 1.125073662556E9
AT ITER 4768 NEW BEST:: SOT -1471235009 SOS 1229265134 HAS SOPS 1229265134 HAS SOUS 1123839971 HAS SOUPS 1123839971 WITH SCORE 1.125069236134E9
AT ITER 4831 NEW BEST:: SOT -1471235009 SOS 1229263137 HAS SOPS 1229263137 HAS SOUS 1123837974 HAS SOUPS 1123837974 WITH SCORE 1.125067237137E9
AT ITER 4834 NEW BEST:: SOT -1471235009 SOS 1229259178 HAS SOPS 1229259178 HAS SOUS 1123834015 HAS SOUPS 1123834015 WITH SCORE 1.125063274178E9
AT ITER 4852 NEW BEST:: SOT -1471239431 SOS 1229250334 HAS SOPS 1229250334 HAS SOUS 1123825171 HAS SOUPS 1123825171 WITH SCORE 1.125054421334E9
AT ITER 4855 NEW BEST:: SOT -1471239431 SOS 1229246664 HAS SOPS 1229246664 HAS SOUS 1123821501 HAS SOUPS 1123821501 WITH SCORE 1.125050747664E9
AT ITER 4856 NEW BEST:: SOT -1471239431 SOS 1229245444 HAS SOPS 1229245444 HAS SOUS 1123820281 HAS SOUPS 1123820281 WITH SCORE 1.125049526444E9
AT ITER 4875 NEW BEST:: SOT -1471243631 SOS 1229237023 HAS SOPS 1229237023 HAS SOUS 1123811860 HAS SOUPS 1123811860 WITH SCORE 1.125041097023E9
AT ITER 4908 NEW BEST:: SOT -1471245934 SOS 1229234720 HAS SOPS 1229234720 HAS SOUS 1123809557 HAS SOUPS 1123809557 WITH SCORE 1.12503879172E9
AT ITER 4956 NEW BEST:: SOT -1471249925 SOS 1229232509 HAS SOPS 1229232509 HAS SOUS 1123807332 HAS SOUPS 1123807332 WITH SCORE 1.125036564509E9
AT ITER 4994 NEW BEST:: SOT -1471249925 SOS 1229230894 HAS SOPS 1229230894 HAS SOUS 1123805717 HAS SOUPS 1123805717 WITH SCORE 1.125034947894E9
AT ITER 5032 NEW BEST:: SOT -1471254125 SOS 1229222473 HAS SOPS 1229222473 HAS SOUS 1123797296 HAS SOUPS 1123797296 WITH SCORE 1.125026518473E9
AT ITER 5054 NEW BEST:: SOT -1471255987 SOS 1229218749 HAS SOPS 1229218749 HAS SOUS 1123795416 HAS SOUPS 1123795416 WITH SCORE 1.125024634749E9
AT ITER 5072 NEW BEST:: SOT -1471255987 SOS 1229216822 HAS SOPS 1229216822 HAS SOUS 1123793489 HAS SOUPS 1123793489 WITH SCORE 1.125022705822E9
AT ITER 5096 NEW BEST:: SOT -1471260187 SOS 1229208401 HAS SOPS 1229208401 HAS SOUS 1123785068 HAS SOUPS 1123785068 WITH SCORE 1.125014276401E9
AT ITER 5109 NEW BEST:: SOT -1471261139 SOS 1229207449 HAS SOPS 1229207449 HAS SOUS 1123784116 HAS SOUPS 1123784116 WITH SCORE 1.125013323449E9
AT ITER 5139 NEW BEST:: SOT -1471262388 SOS 1229206200 HAS SOPS 1229206200 HAS SOUS 1123782867 HAS SOUPS 1123782867 WITH SCORE 1.1250120732E9
AT ITER 5210 NEW BEST:: SOT -1471262388 SOS 1229204379 HAS SOPS 1229204379 HAS SOUS 1123781046 HAS SOUPS 1123781046 WITH SCORE 1.125010250379E9
AT ITER 5257 NEW BEST:: SOT -1471267206 SOS 1229197361 HAS SOPS 1229197361 HAS SOUS 1123778841 HAS SOUPS 1123778841 WITH SCORE 1.125008038361E9
AT ITER 5279 NEW BEST:: SOT -1471275594 SOS 1229184752 HAS SOPS 1229184752 HAS SOUS 1123766232 HAS SOUPS 1123766232 WITH SCORE 1.124995416752E9
AT ITER 5290 NEW BEST:: SOT -1471275594 SOS 1229180727 HAS SOPS 1229180727 HAS SOUS 1123762207 HAS SOUPS 1123762207 WITH SCORE 1.124991387727E9
AT ITER 5295 NEW BEST:: SOT -1471277805 SOS 1229176305 HAS SOPS 1229176305 HAS SOUS 1123757785 HAS SOUPS 1123757785 WITH SCORE 1.124986961305E9
AT ITER 5385 NEW BEST:: SOT -1471280917 SOS 1229170081 HAS SOPS 1229170081 HAS SOUS 1123754662 HAS SOUPS 1123754662 WITH SCORE 1.124983832081E9
AT ITER 5431 NEW BEST:: SOT -1471286120 SOS 1229162678 HAS SOPS 1229162678 HAS SOUS 1123752460 HAS SOUPS 1123752460 WITH SCORE 1.124981622678E9
AT ITER 5473 NEW BEST:: SOT -1471286120 SOS 1229159555 HAS SOPS 1229159555 HAS SOUS 1123749337 HAS SOUPS 1123749337 WITH SCORE 1.124978496555E9
AT ITER 5482 NEW BEST:: SOT -1471290270 SOS 1229151255 HAS SOPS 1229151255 HAS SOUS 1123745183 HAS SOUPS 1123745183 WITH SCORE 1.124974334255E9
AT ITER 5484 NEW BEST:: SOT -1471290270 SOS 1229149516 HAS SOPS 1229149516 HAS SOUS 1123743444 HAS SOUPS 1123743444 WITH SCORE 1.124972593516E9
AT ITER 5509 NEW BEST:: SOT -1471290270 SOS 1229145942 HAS SOPS 1229145942 HAS SOUS 1123739870 HAS SOUPS 1123739870 WITH SCORE 1.124969015942E9
AT ITER 5517 NEW BEST:: SOT -1471295005 SOS 1229141721 HAS SOPS 1229141721 HAS SOUS 1123735644 HAS SOUPS 1123735644 WITH SCORE 1.124964785721E9
AT ITER 5551 NEW BEST:: SOT -1471295005 SOS 1229112405 HAS SOPS 1229112405 HAS SOUS 1123735644 HAS SOUPS 1123735644 WITH SCORE 1.124964756405E9
AT ITER 5555 NEW BEST:: SOT -1471298720 SOS 1229108690 HAS SOPS 1229108690 HAS SOUS 1123731929 HAS SOUPS 1123731929 WITH SCORE 1.12496103769E9
AT ITER 5564 NEW BEST:: SOT -1471303069 SOS 1229104341 HAS SOPS 1229104341 HAS SOUS 1123727580 HAS SOUPS 1123727580 WITH SCORE 1.124956684341E9
AT ITER 5571 NEW BEST:: SOT -1471305119 SOS 1229102291 HAS SOPS 1229102291 HAS SOUS 1123725530 HAS SOUPS 1123725530 WITH SCORE 1.124954632291E9
AT ITER 5580 NEW BEST:: SOT -1471309319 SOS 1229093849 HAS SOPS 1229093849 HAS SOUS 1123717088 HAS SOUPS 1123717088 WITH SCORE 1.124946181849E9
AT ITER 5639 NEW BEST:: SOT -1471310575 SOS 1229091337 HAS SOPS 1229091337 HAS SOUS 1123714576 HAS SOUPS 1123714576 WITH SCORE 1.124943667337E9
AT ITER 5652 NEW BEST:: SOT -1471317757 SOS 1229084155 HAS SOPS 1229084155 HAS SOUS 1123707394 HAS SOUPS 1123707394 WITH SCORE 1.124936478155E9
AT ITER 5702 NEW BEST:: SOT -1471317757 SOS 1229081340 HAS SOPS 1229081340 HAS SOUS 1123704579 HAS SOUPS 1123704579 WITH SCORE 1.12493366034E9
AT ITER 5742 NEW BEST:: SOT -1471317757 SOS 1229080025 HAS SOPS 1229080025 HAS SOUS 1123703264 HAS SOUPS 1123703264 WITH SCORE 1.124932344025E9
AT ITER 5763 NEW BEST:: SOT -1471317757 SOS 1229078611 HAS SOPS 1229078611 HAS SOUS 1123701850 HAS SOUPS 1123701850 WITH SCORE 1.124930928611E9
AT ITER 5787 NEW BEST:: SOT -1471322002 SOS 1229074366 HAS SOPS 1229074366 HAS SOUS 1123697605 HAS SOUPS 1123697605 WITH SCORE 1.124926679366E9
AT ITER 5825 NEW BEST:: SOT -1471322002 SOS 1229070677 HAS SOPS 1229070677 HAS SOUS 1123693916 HAS SOUPS 1123693916 WITH SCORE 1.124922986677E9
AT ITER 5830 NEW BEST:: SOT -1471326424 SOS 1229061833 HAS SOPS 1229061833 HAS SOUS 1123685072 HAS SOUPS 1123685072 WITH SCORE 1.124914133833E9
AT ITER 5873 NEW BEST:: SOT -1471326424 SOS 1229059031 HAS SOPS 1229059031 HAS SOUS 1123682270 HAS SOUPS 1123682270 WITH SCORE 1.124911329031E9
AT ITER 5875 NEW BEST:: SOT -1471330176 SOS 1229055279 HAS SOPS 1229055279 HAS SOUS 1123678518 HAS SOUPS 1123678518 WITH SCORE 1.124907573279E9
AT ITER 5880 NEW BEST:: SOT -1471330176 SOS 1229052319 HAS SOPS 1229052319 HAS SOUS 1123675558 HAS SOUPS 1123675558 WITH SCORE 1.124904610319E9
AT ITER 5890 NEW BEST:: SOT -1471332083 SOS 1229048505 HAS SOPS 1229048505 HAS SOUS 1123673631 HAS SOUPS 1123673631 WITH SCORE 1.124902679505E9
AT ITER 5891 NEW BEST:: SOT -1471336283 SOS 1229040084 HAS SOPS 1229040084 HAS SOUS 1123665210 HAS SOUPS 1123665210 WITH SCORE 1.124894250084E9
AT ITER 5897 NEW BEST:: SOT -1471336283 SOS 1229038782 HAS SOPS 1229038782 HAS SOUS 1123663908 HAS SOUPS 1123663908 WITH SCORE 1.124892946782E9
AT ITER 5921 NEW BEST:: SOT -1471338982 SOS 1229033384 HAS SOPS 1229033384 HAS SOUS 1123661199 HAS SOUPS 1123661199 WITH SCORE 1.124890232384E9
AT ITER 5944 NEW BEST:: SOT -1471338982 SOS 1229029682 HAS SOPS 1229029682 HAS SOUS 1123657497 HAS SOUPS 1123657497 WITH SCORE 1.124886526682E9
AT ITER 5978 NEW BEST:: SOT -1471343047 SOS 1229025617 HAS SOPS 1229025617 HAS SOUS 1123653432 HAS SOUPS 1123653432 WITH SCORE 1.124882457617E9
AT ITER 5979 NEW BEST:: SOT -1471343047 SOS 1229022339 HAS SOPS 1229022339 HAS SOUS 1123650154 HAS SOUPS 1123650154 WITH SCORE 1.124879176339E9
AT ITER 6023 NEW BEST:: SOT -1471347247 SOS 1229013918 HAS SOPS 1229013918 HAS SOUS 1123641733 HAS SOUPS 1123641733 WITH SCORE 1.124870746918E9
AT ITER 6050 NEW BEST:: SOT -1471353784 SOS 1229005396 HAS SOPS 1229005396 HAS SOUS 1123639742 HAS SOUPS 1123639742 WITH SCORE 1.124868747396E9
AT ITER 6097 NEW BEST:: SOT -1471353784 SOS 1229002957 HAS SOPS 1229002957 HAS SOUS 1123637303 HAS SOUPS 1123637303 WITH SCORE 1.124866305957E9
AT ITER 6145 NEW BEST:: SOT -1471353784 SOS 1229000839 HAS SOPS 1229000839 HAS SOUS 1123635185 HAS SOUPS 1123635185 WITH SCORE 1.124864185839E9
AT ITER 6156 NEW BEST:: SOT -1471353925 SOS 1229000557 HAS SOPS 1229000557 HAS SOUS 1123634903 HAS SOUPS 1123634903 WITH SCORE 1.124863903557E9
AT ITER 6157 NEW BEST:: SOT -1471356120 SOS 1228998362 HAS SOPS 1228998362 HAS SOUS 1123632708 HAS SOUPS 1123632708 WITH SCORE 1.124861706362E9
AT ITER 6182 NEW BEST:: SOT -1471361259 SOS 1228993223 HAS SOPS 1228993223 HAS SOUS 1123627569 HAS SOUPS 1123627569 WITH SCORE 1.124856562223E9
AT ITER 6203 NEW BEST:: SOT -1471366201 SOS 1228984060 HAS SOPS 1228984060 HAS SOUS 1123618406 HAS SOUPS 1123618406 WITH SCORE 1.12484739006E9
AT ITER 6213 NEW BEST:: SOT -1471371543 SOS 1228974497 HAS SOPS 1228974497 HAS SOUS 1123608843 HAS SOUPS 1123608843 WITH SCORE 1.124837817497E9
AT ITER 6286 NEW BEST:: SOT -1471375143 SOS 1228970897 HAS SOPS 1228970897 HAS SOUS 1123605243 HAS SOUPS 1123605243 WITH SCORE 1.124834213897E9
AT ITER 6295 NEW BEST:: SOT -1471376392 SOS 1228969648 HAS SOPS 1228969648 HAS SOUS 1123605240 HAS SOUPS 1123605240 WITH SCORE 1.124834209648E9
AT ITER 6330 NEW BEST:: SOT -1471380592 SOS 1228961227 HAS SOPS 1228961227 HAS SOUS 1123596819 HAS SOUPS 1123596819 WITH SCORE 1.124825780227E9
AT ITER 6343 NEW BEST:: SOT -1471384792 SOS 1228952806 HAS SOPS 1228952806 HAS SOUS 1123588398 HAS SOUPS 1123588398 WITH SCORE 1.124817350806E9
AT ITER 6361 NEW BEST:: SOT -1471392460 SOS 1228949087 HAS SOPS 1228949087 HAS SOUS 1123584908 HAS SOUPS 1123584908 WITH SCORE 1.124813857087E9
AT ITER 6397 NEW BEST:: SOT -1471398626 SOS 1228942921 HAS SOPS 1228942921 HAS SOUS 1123578742 HAS SOUPS 1123578742 WITH SCORE 1.124807684921E9
AT ITER 6428 NEW BEST:: SOT -1471398626 SOS 1228939031 HAS SOPS 1228939031 HAS SOUS 1123574852 HAS SOUPS 1123574852 WITH SCORE 1.124803791031E9
AT ITER 6430 NEW BEST:: SOT -1471400268 SOS 1228935747 HAS SOPS 1228935747 HAS SOUS 1123573205 HAS SOUPS 1123573205 WITH SCORE 1.124802140747E9
AT ITER 6434 NEW BEST:: SOT -1471404556 SOS 1228931459 HAS SOPS 1228931459 HAS SOUS 1123568917 HAS SOUPS 1123568917 WITH SCORE 1.124797848459E9
AT ITER 6441 NEW BEST:: SOT -1471404556 SOS 1228927632 HAS SOPS 1228927632 HAS SOUS 1123565090 HAS SOUPS 1123565090 WITH SCORE 1.124794017632E9
AT ITER 6477 NEW BEST:: SOT -1471405397 SOS 1228926140 HAS SOPS 1228926140 HAS SOUS 1123563408 HAS SOUPS 1123563408 WITH SCORE 1.12479233414E9
AT ITER 6493 NEW BEST:: SOT -1471405397 SOS 1228922392 HAS SOPS 1228922392 HAS SOUS 1123559660 HAS SOUPS 1123559660 WITH SCORE 1.124788582392E9
AT ITER 6516 NEW BEST:: SOT -1471405397 SOS 1228918575 HAS SOPS 1228918575 HAS SOUS 1123555843 HAS SOUPS 1123555843 WITH SCORE 1.124784761575E9
AT ITER 6522 NEW BEST:: SOT -1471405397 SOS 1228917928 HAS SOPS 1228917928 HAS SOUS 1123555196 HAS SOUPS 1123555196 WITH SCORE 1.124784113928E9
AT ITER 6535 NEW BEST:: SOT -1471409597 SOS 1228909507 HAS SOPS 1228909507 HAS SOUS 1123546775 HAS SOUPS 1123546775 WITH SCORE 1.124775684507E9
AT ITER 6568 NEW BEST:: SOT -1471413346 SOS 1228904220 HAS SOPS 1228904220 HAS SOUS 1123541488 HAS SOUPS 1123541488 WITH SCORE 1.12477039222E9
AT ITER 6577 NEW BEST:: SOT -1471413346 SOS 1228900816 HAS SOPS 1228900816 HAS SOUS 1123538084 HAS SOUPS 1123538084 WITH SCORE 1.124766984816E9
AT ITER 6663 NEW BEST:: SOT -1471413346 SOS 1228898558 HAS SOPS 1228898558 HAS SOUS 1123535826 HAS SOUPS 1123535826 WITH SCORE 1.124764724558E9
AT ITER 6694 NEW BEST:: SOT -1471413346 SOS 1228894448 HAS SOPS 1228894448 HAS SOUS 1123531716 HAS SOUPS 1123531716 WITH SCORE 1.124760610448E9
AT ITER 6709 NEW BEST:: SOT -1471417546 SOS 1228886027 HAS SOPS 1228886027 HAS SOUS 1123523295 HAS SOUPS 1123523295 WITH SCORE 1.124752181027E9
AT ITER 6729 NEW BEST:: SOT -1471423584 SOS 1228886027 HAS SOPS 1228886027 HAS SOUS 1123520857 HAS SOUPS 1123520857 WITH SCORE 1.124749743027E9
AT ITER 6790 NEW BEST:: SOT -1471427370 SOS 1228883816 HAS SOPS 1228883816 HAS SOUS 1123518642 HAS SOUPS 1123518642 WITH SCORE 1.124747525816E9
AT ITER 6804 NEW BEST:: SOT -1471429483 SOS 1228881703 HAS SOPS 1228881703 HAS SOUS 1123516529 HAS SOUPS 1123516529 WITH SCORE 1.124745410703E9
AT ITER 6806 NEW BEST:: SOT -1471429483 SOS 1228878245 HAS SOPS 1228878245 HAS SOUS 1123513071 HAS SOUPS 1123513071 WITH SCORE 1.124741949245E9
AT ITER 6808 NEW BEST:: SOT -1471432303 SOS 1228875425 HAS SOPS 1228875425 HAS SOUS 1123510251 HAS SOUPS 1123510251 WITH SCORE 1.124739126425E9
AT ITER 6847 NEW BEST:: SOT -1471435474 SOS 1228869083 HAS SOPS 1228869083 HAS SOUS 1123507067 HAS SOUPS 1123507067 WITH SCORE 1.124735936083E9
AT ITER 6908 NEW BEST:: SOT -1471438558 SOS 1228865999 HAS SOPS 1228865999 HAS SOUS 1123503983 HAS SOUPS 1123503983 WITH SCORE 1.124732848999E9
AT ITER 6950 NEW BEST:: SOT -1471446510 SOS 1228853826 HAS SOPS 1228853826 HAS SOUS 1123491810 HAS SOUPS 1123491810 WITH SCORE 1.124720663826E9
AT ITER 6954 NEW BEST:: SOT -1471447611 SOS 1228851624 HAS SOPS 1228851624 HAS SOUS 1123489608 HAS SOUPS 1123489608 WITH SCORE 1.124718459624E9
AT ITER 6990 NEW BEST:: SOT -1471451811 SOS 1228843203 HAS SOPS 1228843203 HAS SOUS 1123481187 HAS SOUPS 1123481187 WITH SCORE 1.124710030203E9
AT ITER 7023 NEW BEST:: SOT -1471457603 SOS 1228838469 HAS SOPS 1228838469 HAS SOUS 1123476433 HAS SOUPS 1123476433 WITH SCORE 1.124705271469E9
AT ITER 7077 NEW BEST:: SOT -1471515230 SOS 1229055447 HAS SOPS 1229055447 HAS SOUS 1123447791 HAS SOUPS 1123447791 WITH SCORE 1.124676846447E9
AT ITER 7084 NEW BEST:: SOT -1471519164 SOS 1229051513 HAS SOPS 1229051513 HAS SOUS 1123443857 HAS SOUPS 1123443857 WITH SCORE 1.124672908513E9
AT ITER 7109 NEW BEST:: SOT -1471519164 SOS 1229049095 HAS SOPS 1229049095 HAS SOUS 1123441439 HAS SOUPS 1123441439 WITH SCORE 1.124670488095E9
AT ITER 7124 NEW BEST:: SOT -1471523364 SOS 1229040674 HAS SOPS 1229040674 HAS SOUS 1123433018 HAS SOUPS 1123433018 WITH SCORE 1.124662058674E9
AT ITER 7142 NEW BEST:: SOT -1471528320 SOS 1229036453 HAS SOPS 1229036453 HAS SOUS 1123428794 HAS SOUPS 1123428794 WITH SCORE 1.124657830453E9
AT ITER 7179 NEW BEST:: SOT -1471533948 SOS 1229030825 HAS SOPS 1229030825 HAS SOUS 1123423166 HAS SOUPS 1123423166 WITH SCORE 1.124652196825E9
AT ITER 7204 NEW BEST:: SOT -1471538148 SOS 1229022404 HAS SOPS 1229022404 HAS SOUS 1123414745 HAS SOUPS 1123414745 WITH SCORE 1.124643767404E9
AT ITER 7339 NEW BEST:: SOT -1471540522 SOS 1229020030 HAS SOPS 1229020030 HAS SOUS 1123412371 HAS SOUPS 1123412371 WITH SCORE 1.12464139103E9
AT ITER 7360 NEW BEST:: SOT -1471543913 SOS 1229016639 HAS SOPS 1229016639 HAS SOUS 1123408980 HAS SOUPS 1123408980 WITH SCORE 1.124637996639E9
AT ITER 7373 NEW BEST:: SOT -1471543913 SOS 1229013357 HAS SOPS 1229013357 HAS SOUS 1123405698 HAS SOUPS 1123405698 WITH SCORE 1.124634711357E9
AT ITER 7378 NEW BEST:: SOT -1471548113 SOS 1229004915 HAS SOPS 1229004915 HAS SOUS 1123397256 HAS SOUPS 1123397256 WITH SCORE 1.124626260915E9
AT ITER 7396 NEW BEST:: SOT -1471552503 SOS 1229000525 HAS SOPS 1229000525 HAS SOUS 1123392866 HAS SOUPS 1123392866 WITH SCORE 1.124621866525E9
AT ITER 7405 NEW BEST:: SOT -1471556667 SOS 1228992197 HAS SOPS 1228992197 HAS SOUS 1123384538 HAS SOUPS 1123384538 WITH SCORE 1.124613530197E9
AT ITER 7418 NEW BEST:: SOT -1471556667 SOS 1228988944 HAS SOPS 1228988944 HAS SOUS 1123381285 HAS SOUPS 1123381285 WITH SCORE 1.124610273944E9
AT ITER 7491 NEW BEST:: SOT -1471559378 SOS 1228983522 HAS SOPS 1228983522 HAS SOUS 1123378556 HAS SOUPS 1123378556 WITH SCORE 1.124607539522E9
AT ITER 7500 NEW BEST:: SOT -1471562419 SOS 1228980481 HAS SOPS 1228980481 HAS SOUS 1123375515 HAS SOUPS 1123375515 WITH SCORE 1.124604495481E9
AT ITER 7518 NEW BEST:: SOT -1471563797 SOS 1228977725 HAS SOPS 1228977725 HAS SOUS 1123372759 HAS SOUPS 1123372759 WITH SCORE 1.124601736725E9
AT ITER 7544 NEW BEST:: SOT -1471563797 SOS 1228976832 HAS SOPS 1228976832 HAS SOUS 1123371857 HAS SOUPS 1123371857 WITH SCORE 1.124600833832E9
AT ITER 7614 NEW BEST:: SOT -1471563797 SOS 1228973707 HAS SOPS 1228973707 HAS SOUS 1123368732 HAS SOUPS 1123368732 WITH SCORE 1.124597705707E9
AT ITER 7622 NEW BEST:: SOT -1471563797 SOS 1228970360 HAS SOPS 1228970360 HAS SOUS 1123365385 HAS SOUPS 1123365385 WITH SCORE 1.12459435536E9
AT ITER 7628 NEW BEST:: SOT -1471566173 SOS 1228967984 HAS SOPS 1228967984 HAS SOUS 1123363009 HAS SOUPS 1123363009 WITH SCORE 1.124591976984E9
AT ITER 7662 NEW BEST:: SOT -1471566173 SOS 1228964274 HAS SOPS 1228964274 HAS SOUS 1123359299 HAS SOUPS 1123359299 WITH SCORE 1.124588263274E9
AT ITER 7683 NEW BEST:: SOT -1471566173 SOS 1228961462 HAS SOPS 1228961462 HAS SOUS 1123356487 HAS SOUPS 1123356487 WITH SCORE 1.124585448462E9
AT ITER 7684 NEW BEST:: SOT -1471573246 SOS 1228958530 HAS SOPS 1228958530 HAS SOUS 1123354245 HAS SOUPS 1123354245 WITH SCORE 1.12458320353E9
AT ITER 7695 NEW BEST:: SOT -1471573346 SOS 1228958430 HAS SOPS 1228958430 HAS SOUS 1123354145 HAS SOUPS 1123354145 WITH SCORE 1.12458310343E9
AT ITER 7724 NEW BEST:: SOT -1471577279 SOS 1228954497 HAS SOPS 1228954497 HAS SOUS 1123350212 HAS SOUPS 1123350212 WITH SCORE 1.124579166497E9
AT ITER 7728 NEW BEST:: SOT -1471577279 SOS 1228951126 HAS SOPS 1228951126 HAS SOUS 1123346841 HAS SOUPS 1123346841 WITH SCORE 1.124575792126E9
AT ITER 7743 NEW BEST:: SOT -1471579574 SOS 1228948831 HAS SOPS 1228948831 HAS SOUS 1123344546 HAS SOUPS 1123344546 WITH SCORE 1.124573494831E9
AT ITER 7762 NEW BEST:: SOT -1471581912 SOS 1228946493 HAS SOPS 1228946493 HAS SOUS 1123342208 HAS SOUPS 1123342208 WITH SCORE 1.124571154493E9
AT ITER 7771 NEW BEST:: SOT -1471581912 SOS 1228942753 HAS SOPS 1228942753 HAS SOUS 1123338468 HAS SOUPS 1123338468 WITH SCORE 1.124567410753E9
AT ITER 7830 NEW BEST:: SOT -1471584445 SOS 1228940220 HAS SOPS 1228940220 HAS SOUS 1123335935 HAS SOUPS 1123335935 WITH SCORE 1.12456487522E9
AT ITER 7835 NEW BEST:: SOT -1471590783 SOS 1228935999 HAS SOPS 1228935999 HAS SOUS 1123325376 HAS SOUPS 1123325376 WITH SCORE 1.124554311999E9
AT ITER 7851 NEW BEST:: SOT -1471592557 SOS 1228934225 HAS SOPS 1228934225 HAS SOUS 1123323602 HAS SOUPS 1123323602 WITH SCORE 1.124552536225E9
AT ITER 7901 NEW BEST:: SOT -1471596497 SOS 1228930285 HAS SOPS 1228930285 HAS SOUS 1123319662 HAS SOUPS 1123319662 WITH SCORE 1.124548592285E9
AT ITER 7907 NEW BEST:: SOT -1471596497 SOS 1228926891 HAS SOPS 1228926891 HAS SOUS 1123316268 HAS SOUPS 1123316268 WITH SCORE 1.124545194891E9
AT ITER 7931 NEW BEST:: SOT -1471598708 SOS 1228922469 HAS SOPS 1228922469 HAS SOUS 1123311846 HAS SOUPS 1123311846 WITH SCORE 1.124540768469E9
AT ITER 7980 NEW BEST:: SOT -1471605874 SOS 1228915303 HAS SOPS 1228915303 HAS SOUS 1123311838 HAS SOUPS 1123311838 WITH SCORE 1.124540753303E9
AT ITER 7982 NEW BEST:: SOT -1471608200 SOS 1228910751 HAS SOPS 1228910751 HAS SOUS 1123307186 HAS SOUPS 1123307186 WITH SCORE 1.124536096751E9
AT ITER 8000 NEW BEST:: SOT -1471614987 SOS 1228899743 HAS SOPS 1228899743 HAS SOUS 1123296178 HAS SOUPS 1123296178 WITH SCORE 1.124525077743E9
AT ITER 8001 NEW BEST:: SOT -1471616770 SOS 1228897960 HAS SOPS 1228897960 HAS SOUS 1123296175 HAS SOUPS 1123296175 WITH SCORE 1.12452507296E9
AT ITER 8017 NEW BEST:: SOT -1471616770 SOS 1228894635 HAS SOPS 1228894635 HAS SOUS 1123292850 HAS SOUPS 1123292850 WITH SCORE 1.124521744635E9
AT ITER 8021 NEW BEST:: SOT -1471624354 SOS 1228889542 HAS SOPS 1228889542 HAS SOUS 1123288164 HAS SOUPS 1123288164 WITH SCORE 1.124517053542E9
AT ITER 8026 NEW BEST:: SOT -1471627145 SOS 1228882530 HAS SOPS 1228882530 HAS SOUS 1123281152 HAS SOUPS 1123281152 WITH SCORE 1.12451003453E9
AT ITER 8047 NEW BEST:: SOT -1471627145 SOS 1228878668 HAS SOPS 1228878668 HAS SOUS 1123277290 HAS SOUPS 1123277290 WITH SCORE 1.124506168668E9
AT ITER 8059 NEW BEST:: SOT -1471627145 SOS 1228877901 HAS SOPS 1228877901 HAS SOUS 1123276523 HAS SOUPS 1123276523 WITH SCORE 1.124505400901E9
AT ITER 8062 NEW BEST:: SOT -1471630800 SOS 1228875690 HAS SOPS 1228875690 HAS SOUS 1123274308 HAS SOUPS 1123274308 WITH SCORE 1.12450318369E9
AT ITER 8065 NEW BEST:: SOT -1471630800 SOS 1228871573 HAS SOPS 1228871573 HAS SOUS 1123270191 HAS SOUPS 1123270191 WITH SCORE 1.124499062573E9
AT ITER 8075 NEW BEST:: SOT -1471632040 SOS 1228870333 HAS SOPS 1228870333 HAS SOUS 1123268951 HAS SOUPS 1123268951 WITH SCORE 1.124497821333E9
AT ITER 8080 NEW BEST:: SOT -1471636240 SOS 1228864330 HAS SOPS 1228864330 HAS SOUS 1123262948 HAS SOUPS 1123262948 WITH SCORE 1.12449181233E9
AT ITER 8092 NEW BEST:: SOT -1471636240 SOS 1228863396 HAS SOPS 1228863396 HAS SOUS 1123262014 HAS SOUPS 1123262014 WITH SCORE 1.124490877396E9
AT ITER 8094 NEW BEST:: SOT -1471636240 SOS 1228862990 HAS SOPS 1228862990 HAS SOUS 1123261608 HAS SOUPS 1123261608 WITH SCORE 1.12449047099E9
AT ITER 8203 NEW BEST:: SOT -1471640440 SOS 1228854548 HAS SOPS 1228854548 HAS SOUS 1123253166 HAS SOUPS 1123253166 WITH SCORE 1.124482020548E9
AT ITER 8207 NEW BEST:: SOT -1471644304 SOS 1228850684 HAS SOPS 1228850684 HAS SOUS 1123249302 HAS SOUPS 1123249302 WITH SCORE 1.124478152684E9
AT ITER 8235 NEW BEST:: SOT -1471648504 SOS 1228842263 HAS SOPS 1228842263 HAS SOUS 1123240881 HAS SOUPS 1123240881 WITH SCORE 1.124469723263E9
AT ITER 8275 NEW BEST:: SOT -1471651950 SOS 1228838817 HAS SOPS 1228838817 HAS SOUS 1123237435 HAS SOUPS 1123237435 WITH SCORE 1.124466273817E9
AT ITER 8302 NEW BEST:: SOT -1471656150 SOS 1228830375 HAS SOPS 1228830375 HAS SOUS 1123228993 HAS SOUPS 1123228993 WITH SCORE 1.124457823375E9
AT ITER 8308 NEW BEST:: SOT -1471658042 SOS 1228824699 HAS SOPS 1228824699 HAS SOUS 1123223317 HAS SOUPS 1123223317 WITH SCORE 1.124452141699E9
AT ITER 8392 NEW BEST:: SOT -1471658042 SOS 1228812036 HAS SOPS 1228812036 HAS SOUS 1123223317 HAS SOUPS 1123223317 WITH SCORE 1.124452129036E9
AT ITER 8414 NEW BEST:: SOT -1471660261 SOS 1228809817 HAS SOPS 1228809817 HAS SOUS 1123223313 HAS SOUPS 1123223313 WITH SCORE 1.124452122817E9
AT ITER 8421 NEW BEST:: SOT -1471665127 SOS 1228804951 HAS SOPS 1228804951 HAS SOUS 1123218447 HAS SOUPS 1123218447 WITH SCORE 1.124447251951E9
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15511292 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16098372 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00200M0020C010P010G005"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is FamilyReunion-COL-L00200M0020C010P010G005, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r163-tall-167838847600336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00200M0020C010P010G005.tgz
mv FamilyReunion-COL-L00200M0020C010P010G005 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;