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-167838847600328.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-L00100M0010C005P005G002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847600328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 13:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 12:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 12:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 15K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 15:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 14:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 14:29 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 140K 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 1678444388231

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-L00100M0010C005P005G002
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 10:33:10] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 10:33:10] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 10:33:11] [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:33:11] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 10:33:12] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 977 ms
[2023-03-10 10:33:12] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2023-03-10 10:33:12] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 89 ms.
[2023-03-10 10:33:12] [INFO ] Unfolded HLPN to a Petri net with 40706 places and 36871 transitions 105658 arcs in 365 ms.
[2023-03-10 10:33:12] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 101 places and 0 transitions.
[2023-03-10 10:33:13] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 40605 places, 36871 transitions and 105658 arcs took 249 ms.
Total runtime 2306 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (COL), instance L00100M0010C005P005G002
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: 40605 places, 36871 transitions, 105658 arcs.
AT ITER 0 NEW BEST:: SOT 865762977 SOS 93995142 HAS SOPS 93995142 HAS SOUS 85879298 HAS SOUPS 85879298 WITH SCORE 8.5973293142E7
AT ITER 23 NEW BEST:: SOT 865760236 SOS 93988549 HAS SOPS 93988549 HAS SOUS 85872705 HAS SOUPS 85872705 WITH SCORE 8.5966693549E7
AT ITER 74 NEW BEST:: SOT 865760236 SOS 93987450 HAS SOPS 93987450 HAS SOUS 85871606 HAS SOUPS 85871606 WITH SCORE 8.596559345E7
AT ITER 81 NEW BEST:: SOT 865759136 SOS 93985239 HAS SOPS 93985239 HAS SOUS 85869395 HAS SOUPS 85869395 WITH SCORE 8.5963380239E7
AT ITER 204 NEW BEST:: SOT 865758133 SOS 93984236 HAS SOPS 93984236 HAS SOUS 85868392 HAS SOUPS 85868392 WITH SCORE 8.5962376236E7
AT ITER 210 NEW BEST:: SOT 865758133 SOS 93983315 HAS SOPS 93983315 HAS SOUS 85867471 HAS SOUPS 85867471 WITH SCORE 8.5961454315E7
AT ITER 359 NEW BEST:: SOT 865757576 SOS 93982201 HAS SOPS 93982201 HAS SOUS 85866357 HAS SOUPS 85866357 WITH SCORE 8.5960339201E7
AT ITER 387 NEW BEST:: SOT 865757576 SOS 93981228 HAS SOPS 93981228 HAS SOUS 85865384 HAS SOUPS 85865384 WITH SCORE 8.5959365228E7
AT ITER 394 NEW BEST:: SOT 865755898 SOS 93977895 HAS SOPS 93977895 HAS SOUS 85862028 HAS SOUPS 85862028 WITH SCORE 8.5956005895E7
AT ITER 411 NEW BEST:: SOT 865755217 SOS 93977214 HAS SOPS 93977214 HAS SOUS 85861347 HAS SOUPS 85861347 WITH SCORE 8.5955324214E7
AT ITER 472 NEW BEST:: SOT 865753024 SOS 93971717 HAS SOPS 93971717 HAS SOUS 85855850 HAS SOUPS 85855850 WITH SCORE 8.5949821717E7
AT ITER 507 NEW BEST:: SOT 865751924 SOS 93969495 HAS SOPS 93969495 HAS SOUS 85853628 HAS SOUPS 85853628 WITH SCORE 8.5947597495E7
AT ITER 566 NEW BEST:: SOT 865751480 SOS 93969051 HAS SOPS 93969051 HAS SOUS 85853184 HAS SOUPS 85853184 WITH SCORE 8.5947153051E7
AT ITER 600 NEW BEST:: SOT 865751021 SOS 93968133 HAS SOPS 93968133 HAS SOUS 85852266 HAS SOUPS 85852266 WITH SCORE 8.5946234133E7
AT ITER 666 NEW BEST:: SOT 865748591 SOS 93962162 HAS SOPS 93962162 HAS SOUS 85846295 HAS SOUPS 85846295 WITH SCORE 8.5940257162E7
AT ITER 678 NEW BEST:: SOT 865747890 SOS 93961461 HAS SOPS 93961461 HAS SOUS 85845589 HAS SOUPS 85845589 WITH SCORE 8.5939550461E7
AT ITER 712 NEW BEST:: SOT 865746547 SOS 93960118 HAS SOPS 93960118 HAS SOUS 85844246 HAS SOUPS 85844246 WITH SCORE 8.5938206118E7
AT ITER 759 NEW BEST:: SOT 865741773 SOS 93969474 HAS SOPS 93969474 HAS SOUS 85841702 HAS SOUPS 85841702 WITH SCORE 8.5935671474E7
AT ITER 797 NEW BEST:: SOT 865741773 SOS 93968519 HAS SOPS 93968519 HAS SOUS 85840747 HAS SOUPS 85840747 WITH SCORE 8.5934715519E7
AT ITER 816 NEW BEST:: SOT 865741773 SOS 93967875 HAS SOPS 93967875 HAS SOUS 85840103 HAS SOUPS 85840103 WITH SCORE 8.5934070875E7
AT ITER 856 NEW BEST:: SOT 865740673 SOS 93965664 HAS SOPS 93965664 HAS SOUS 85837892 HAS SOUPS 85837892 WITH SCORE 8.5931857664E7
AT ITER 879 NEW BEST:: SOT 865740214 SOS 93965205 HAS SOPS 93965205 HAS SOUS 85837433 HAS SOUPS 85837433 WITH SCORE 8.5931398205E7
AT ITER 889 NEW BEST:: SOT 865739114 SOS 93962983 HAS SOPS 93962983 HAS SOUS 85835211 HAS SOUPS 85835211 WITH SCORE 8.5929173983E7
AT ITER 938 NEW BEST:: SOT 865736922 SOS 93957488 HAS SOPS 93957488 HAS SOUS 85829716 HAS SOUPS 85829716 WITH SCORE 8.5923673488E7
AT ITER 969 NEW BEST:: SOT 865736922 SOS 93956564 HAS SOPS 93956564 HAS SOUS 85828792 HAS SOUPS 85828792 WITH SCORE 8.5922748564E7
AT ITER 971 NEW BEST:: SOT 865737848 SOS 93955464 HAS SOPS 93955464 HAS SOUS 85827692 HAS SOUPS 85827692 WITH SCORE 8.5921647464E7
AT ITER 979 NEW BEST:: SOT 865738565 SOS 93954364 HAS SOPS 93954364 HAS SOUS 85826592 HAS SOUPS 85826592 WITH SCORE 8.5920546364E7
AT ITER 998 NEW BEST:: SOT 865738565 SOS 93954065 HAS SOPS 93954065 HAS SOUS 85826293 HAS SOUPS 85826293 WITH SCORE 8.5920247065E7
AT ITER 1006 NEW BEST:: SOT 865736906 SOS 93951295 HAS SOPS 93951295 HAS SOUS 85823523 HAS SOUPS 85823523 WITH SCORE 8.5917474295E7
AT ITER 1023 NEW BEST:: SOT 865733718 SOS 93960687 HAS SOPS 93960687 HAS SOUS 85822281 HAS SOUPS 85822281 WITH SCORE 8.5916241687E7
AT ITER 1108 NEW BEST:: SOT 865733224 SOS 93960193 HAS SOPS 93960193 HAS SOUS 85821787 HAS SOUPS 85821787 WITH SCORE 8.5915747193E7
AT ITER 1127 NEW BEST:: SOT 865732807 SOS 93957950 HAS SOPS 93957950 HAS SOUS 85820261 HAS SOUPS 85820261 WITH SCORE 8.591421895E7
AT ITER 1197 NEW BEST:: SOT 865732482 SOS 93957300 HAS SOPS 93957300 HAS SOUS 85819611 HAS SOUPS 85819611 WITH SCORE 8.59135683E7
AT ITER 1199 NEW BEST:: SOT 865732482 SOS 93956273 HAS SOPS 93956273 HAS SOUS 85818584 HAS SOUPS 85818584 WITH SCORE 8.5912540273E7
AT ITER 1240 NEW BEST:: SOT 865731813 SOS 93955604 HAS SOPS 93955604 HAS SOUS 85817915 HAS SOUPS 85817915 WITH SCORE 8.5911870604E7
AT ITER 1253 NEW BEST:: SOT 865731813 SOS 93955368 HAS SOPS 93955368 HAS SOUS 85817677 HAS SOUPS 85817677 WITH SCORE 8.5911632368E7
AT ITER 1287 NEW BEST:: SOT 865730115 SOS 93952559 HAS SOPS 93952559 HAS SOUS 85814868 HAS SOUPS 85814868 WITH SCORE 8.5908820559E7
AT ITER 1384 NEW BEST:: SOT 865731239 SOS 93951463 HAS SOPS 93951463 HAS SOUS 85813772 HAS SOUPS 85813772 WITH SCORE 8.5907723463E7
AT ITER 1389 NEW BEST:: SOT 865730799 SOS 93951023 HAS SOPS 93951023 HAS SOUS 85813332 HAS SOUPS 85813332 WITH SCORE 8.5907283023E7
AT ITER 1396 NEW BEST:: SOT 865730799 SOS 93950557 HAS SOPS 93950557 HAS SOUS 85812866 HAS SOUPS 85812866 WITH SCORE 8.5906816557E7
AT ITER 1461 NEW BEST:: SOT 865729542 SOS 93949300 HAS SOPS 93949300 HAS SOUS 85811609 HAS SOUPS 85811609 WITH SCORE 8.59055583E7
AT ITER 1464 NEW BEST:: SOT 865728634 SOS 93947100 HAS SOPS 93947100 HAS SOUS 85809409 HAS SOUPS 85809409 WITH SCORE 8.59033561E7
AT ITER 1496 NEW BEST:: SOT 865727291 SOS 93945757 HAS SOPS 93945757 HAS SOUS 85808066 HAS SOUPS 85808066 WITH SCORE 8.5902011757E7
AT ITER 1524 NEW BEST:: SOT 865727123 SOS 93943506 HAS SOPS 93943506 HAS SOUS 85806798 HAS SOUPS 85806798 WITH SCORE 8.5900741506E7
AT ITER 1532 NEW BEST:: SOT 865725598 SOS 93940870 HAS SOPS 93940870 HAS SOUS 85804162 HAS SOUPS 85804162 WITH SCORE 8.589810287E7
AT ITER 1560 NEW BEST:: SOT 865723777 SOS 93937938 HAS SOPS 93937938 HAS SOUS 85801230 HAS SOUPS 85801230 WITH SCORE 8.5895167938E7
AT ITER 1628 NEW BEST:: SOT 865722840 SOS 93941676 HAS SOPS 93941676 HAS SOUS 85797873 HAS SOUPS 85797873 WITH SCORE 8.5891814676E7
AT ITER 1636 NEW BEST:: SOT 865722543 SOS 93941379 HAS SOPS 93941379 HAS SOUS 85797576 HAS SOUPS 85797576 WITH SCORE 8.5891517379E7
AT ITER 1678 NEW BEST:: SOT 865722543 SOS 93940737 HAS SOPS 93940737 HAS SOUS 85796934 HAS SOUPS 85796934 WITH SCORE 8.5890874737E7
AT ITER 1702 NEW BEST:: SOT 865722543 SOS 93939767 HAS SOPS 93939767 HAS SOUS 85795964 HAS SOUPS 85795964 WITH SCORE 8.5889903767E7
AT ITER 1713 NEW BEST:: SOT 865718447 SOS 93940845 HAS SOPS 93940845 HAS SOUS 85792466 HAS SOUPS 85792466 WITH SCORE 8.5886406845E7
AT ITER 1736 NEW BEST:: SOT 865717064 SOS 93938079 HAS SOPS 93938079 HAS SOUS 85789700 HAS SOUPS 85789700 WITH SCORE 8.5883638079E7
AT ITER 1777 NEW BEST:: SOT 865714234 SOS 93932477 HAS SOPS 93932477 HAS SOUS 85784040 HAS SOUPS 85784040 WITH SCORE 8.5877972477E7
AT ITER 1795 NEW BEST:: SOT 865713134 SOS 93930266 HAS SOPS 93930266 HAS SOUS 85783321 HAS SOUPS 85783321 WITH SCORE 8.5877251266E7
AT ITER 1832 NEW BEST:: SOT 865713134 SOS 93929660 HAS SOPS 93929660 HAS SOUS 85782715 HAS SOUPS 85782715 WITH SCORE 8.587664466E7
AT ITER 1845 NEW BEST:: SOT 865712999 SOS 93929419 HAS SOPS 93929419 HAS SOUS 85782574 HAS SOUPS 85782574 WITH SCORE 8.5876503419E7
AT ITER 1853 NEW BEST:: SOT 865712999 SOS 93928898 HAS SOPS 93928898 HAS SOUS 85782053 HAS SOUPS 85782053 WITH SCORE 8.5875981898E7
AT ITER 1897 NEW BEST:: SOT 865712999 SOS 93928248 HAS SOPS 93928248 HAS SOUS 85781403 HAS SOUPS 85781403 WITH SCORE 8.5875331248E7
AT ITER 1941 NEW BEST:: SOT 865712999 SOS 93927859 HAS SOPS 93927859 HAS SOUS 85781014 HAS SOUPS 85781014 WITH SCORE 8.5874941859E7
AT ITER 1942 NEW BEST:: SOT 865711962 SOS 93926822 HAS SOPS 93926822 HAS SOUS 85779977 HAS SOUPS 85779977 WITH SCORE 8.5873903822E7
AT ITER 1943 NEW BEST:: SOT 865707454 SOS 93931858 HAS SOPS 93931858 HAS SOUS 85776865 HAS SOUPS 85776865 WITH SCORE 8.5870796858E7
AT ITER 1944 NEW BEST:: SOT 865705243 SOS 93929636 HAS SOPS 93929636 HAS SOUS 85774643 HAS SOUPS 85774643 WITH SCORE 8.5868572636E7
AT ITER 1959 NEW BEST:: SOT 865703962 SOS 93927074 HAS SOPS 93927074 HAS SOUS 85772081 HAS SOUPS 85772081 WITH SCORE 8.5866008074E7
AT ITER 1975 NEW BEST:: SOT 865703843 SOS 93926836 HAS SOPS 93926836 HAS SOUS 85771843 HAS SOUPS 85771843 WITH SCORE 8.5865769836E7
AT ITER 1992 NEW BEST:: SOT 865703843 SOS 93926736 HAS SOPS 93926736 HAS SOUS 85771743 HAS SOUPS 85771743 WITH SCORE 8.5865669736E7
AT ITER 2022 NEW BEST:: SOT 865701801 SOS 93923583 HAS SOPS 93923583 HAS SOUS 85768590 HAS SOUPS 85768590 WITH SCORE 8.5862513583E7
AT ITER 2056 NEW BEST:: SOT 865699861 SOS 93920532 HAS SOPS 93920532 HAS SOUS 85765539 HAS SOUPS 85765539 WITH SCORE 8.5859459532E7
AT ITER 2062 NEW BEST:: SOT 865699271 SOS 93920452 HAS SOPS 93920452 HAS SOUS 85765459 HAS SOUPS 85765459 WITH SCORE 8.5859379452E7
AT ITER 2071 NEW BEST:: SOT 865698171 SOS 93918241 HAS SOPS 93918241 HAS SOUS 85763248 HAS SOUPS 85763248 WITH SCORE 8.5857166241E7
AT ITER 2074 NEW BEST:: SOT 865696919 SOS 93917635 HAS SOPS 93917635 HAS SOUS 85762636 HAS SOUPS 85762636 WITH SCORE 8.5856553635E7
AT ITER 2100 NEW BEST:: SOT 865695729 SOS 93915255 HAS SOPS 93915255 HAS SOUS 85760256 HAS SOUPS 85760256 WITH SCORE 8.5854171255E7
AT ITER 2107 NEW BEST:: SOT 865695219 SOS 93913055 HAS SOPS 93913055 HAS SOUS 85758056 HAS SOUPS 85758056 WITH SCORE 8.5851969055E7
AT ITER 2210 NEW BEST:: SOT 865692851 SOS 93908421 HAS SOPS 93908421 HAS SOUS 85753320 HAS SOUPS 85753320 WITH SCORE 8.5847228421E7
AT ITER 2264 NEW BEST:: SOT 865692465 SOS 93908035 HAS SOPS 93908035 HAS SOUS 85752934 HAS SOUPS 85752934 WITH SCORE 8.5846842035E7
AT ITER 2319 NEW BEST:: SOT 865692465 SOS 93907371 HAS SOPS 93907371 HAS SOUS 85752270 HAS SOUPS 85752270 WITH SCORE 8.5846177371E7
AT ITER 2379 NEW BEST:: SOT 865692465 SOS 93906377 HAS SOPS 93906377 HAS SOUS 85751276 HAS SOUPS 85751276 WITH SCORE 8.5845182377E7
AT ITER 2389 NEW BEST:: SOT 865691365 SOS 93904166 HAS SOPS 93904166 HAS SOUS 85749065 HAS SOUPS 85749065 WITH SCORE 8.5842969166E7
AT ITER 2404 NEW BEST:: SOT 865689288 SOS 93900978 HAS SOPS 93900978 HAS SOUS 85745877 HAS SOUPS 85745877 WITH SCORE 8.5839777978E7
AT ITER 2412 NEW BEST:: SOT 865689288 SOS 93900150 HAS SOPS 93900150 HAS SOUS 85745049 HAS SOUPS 85745049 WITH SCORE 8.583894915E7
AT ITER 2444 NEW BEST:: SOT 865689288 SOS 93899251 HAS SOPS 93899251 HAS SOUS 85744150 HAS SOUPS 85744150 WITH SCORE 8.5838049251E7
AT ITER 2471 NEW BEST:: SOT 865689288 SOS 93898523 HAS SOPS 93898523 HAS SOUS 85743422 HAS SOUPS 85743422 WITH SCORE 8.5837320523E7
AT ITER 2473 NEW BEST:: SOT 865689953 SOS 93897423 HAS SOPS 93897423 HAS SOUS 85742322 HAS SOUPS 85742322 WITH SCORE 8.5836219423E7
AT ITER 2508 NEW BEST:: SOT 865689953 SOS 93896946 HAS SOPS 93896946 HAS SOUS 85741845 HAS SOUPS 85741845 WITH SCORE 8.5835741946E7
AT ITER 2573 NEW BEST:: SOT 865689953 SOS 93896413 HAS SOPS 93896413 HAS SOUS 85741307 HAS SOUPS 85741307 WITH SCORE 8.5835203413E7
AT ITER 2592 NEW BEST:: SOT 865689109 SOS 93895569 HAS SOPS 93895569 HAS SOUS 85740463 HAS SOUPS 85740463 WITH SCORE 8.5834358569E7
AT ITER 2622 NEW BEST:: SOT 865688117 SOS 93893585 HAS SOPS 93893585 HAS SOUS 85738472 HAS SOUPS 85738472 WITH SCORE 8.5832365585E7
AT ITER 2636 NEW BEST:: SOT 865687134 SOS 93892602 HAS SOPS 93892602 HAS SOUS 85737489 HAS SOUPS 85737489 WITH SCORE 8.5831381602E7
AT ITER 2666 NEW BEST:: SOT 865687134 SOS 93892197 HAS SOPS 93892197 HAS SOUS 85737084 HAS SOUPS 85737084 WITH SCORE 8.5830976197E7
AT ITER 2734 NEW BEST:: SOT 865686528 SOS 93890985 HAS SOPS 93890985 HAS SOUS 85735872 HAS SOUPS 85735872 WITH SCORE 8.5829762985E7
AT ITER 2738 NEW BEST:: SOT 865685249 SOS 93889706 HAS SOPS 93889706 HAS SOUS 85734593 HAS SOUPS 85734593 WITH SCORE 8.5828482706E7
AT ITER 2739 NEW BEST:: SOT 865683975 SOS 93887321 HAS SOPS 93887321 HAS SOUS 85732208 HAS SOUPS 85732208 WITH SCORE 8.5826095321E7
AT ITER 2765 NEW BEST:: SOT 865682875 SOS 93885110 HAS SOPS 93885110 HAS SOUS 85731333 HAS SOUPS 85731333 WITH SCORE 8.582521811E7
AT ITER 2805 NEW BEST:: SOT 865681687 SOS 93882734 HAS SOPS 93882734 HAS SOUS 85728957 HAS SOUPS 85728957 WITH SCORE 8.5822839734E7
AT ITER 2901 NEW BEST:: SOT 865681687 SOS 93882342 HAS SOPS 93882342 HAS SOUS 85728565 HAS SOUPS 85728565 WITH SCORE 8.5822447342E7
AT ITER 2905 NEW BEST:: SOT 865681687 SOS 93881519 HAS SOPS 93881519 HAS SOUS 85727742 HAS SOUPS 85727742 WITH SCORE 8.5821623519E7
AT ITER 2922 NEW BEST:: SOT 865679604 SOS 93877377 HAS SOPS 93877377 HAS SOUS 85723576 HAS SOUPS 85723576 WITH SCORE 8.5817453377E7
AT ITER 2927 NEW BEST:: SOT 865678504 SOS 93875155 HAS SOPS 93875155 HAS SOUS 85721354 HAS SOUPS 85721354 WITH SCORE 8.5815229155E7
AT ITER 2930 NEW BEST:: SOT 865678064 SOS 93874229 HAS SOPS 93874229 HAS SOUS 85720914 HAS SOUPS 85720914 WITH SCORE 8.5814788229E7
AT ITER 2983 NEW BEST:: SOT 865678064 SOS 93874192 HAS SOPS 93874192 HAS SOUS 85720877 HAS SOUPS 85720877 WITH SCORE 8.5814751192E7
AT ITER 3076 NEW BEST:: SOT 865678064 SOS 93873529 HAS SOPS 93873529 HAS SOUS 85720214 HAS SOUPS 85720214 WITH SCORE 8.5814087529E7
AT ITER 3098 NEW BEST:: SOT 865676964 SOS 93871318 HAS SOPS 93871318 HAS SOUS 85719841 HAS SOUPS 85719841 WITH SCORE 8.5813712318E7
AT ITER 3108 NEW BEST:: SOT 865675814 SOS 93869096 HAS SOPS 93869096 HAS SOUS 85717619 HAS SOUPS 85717619 WITH SCORE 8.5811488096E7
AT ITER 3148 NEW BEST:: SOT 865675071 SOS 93868353 HAS SOPS 93868353 HAS SOUS 85716876 HAS SOUPS 85716876 WITH SCORE 8.5810744353E7
AT ITER 3165 NEW BEST:: SOT 865674401 SOS 93867683 HAS SOPS 93867683 HAS SOUS 85716206 HAS SOUPS 85716206 WITH SCORE 8.5810073683E7
AT ITER 3170 NEW BEST:: SOT 865673449 SOS 93866731 HAS SOPS 93866731 HAS SOUS 85715254 HAS SOUPS 85715254 WITH SCORE 8.5809120731E7
AT ITER 3173 NEW BEST:: SOT 865673449 SOS 93866495 HAS SOPS 93866495 HAS SOUS 85715018 HAS SOUPS 85715018 WITH SCORE 8.5808884495E7
AT ITER 3192 NEW BEST:: SOT 865673449 SOS 93865809 HAS SOPS 93865809 HAS SOUS 85714332 HAS SOUPS 85714332 WITH SCORE 8.5808197809E7
AT ITER 3245 NEW BEST:: SOT 865672445 SOS 93863605 HAS SOPS 93863605 HAS SOUS 85712222 HAS SOUPS 85712222 WITH SCORE 8.5806085605E7
AT ITER 3281 NEW BEST:: SOT 865671443 SOS 93862603 HAS SOPS 93862603 HAS SOUS 85711220 HAS SOUPS 85711220 WITH SCORE 8.5805082603E7
AT ITER 3323 NEW BEST:: SOT 865670343 SOS 93860392 HAS SOPS 93860392 HAS SOUS 85709009 HAS SOUPS 85709009 WITH SCORE 8.5802869392E7
AT ITER 3328 NEW BEST:: SOT 865670343 SOS 93859282 HAS SOPS 93859282 HAS SOUS 85707899 HAS SOUPS 85707899 WITH SCORE 8.5801758282E7
AT ITER 3338 NEW BEST:: SOT 865670343 SOS 93858381 HAS SOPS 93858381 HAS SOUS 85706998 HAS SOUPS 85706998 WITH SCORE 8.5800856381E7
AT ITER 3359 NEW BEST:: SOT 865670343 SOS 93857296 HAS SOPS 93857296 HAS SOUS 85705913 HAS SOUPS 85705913 WITH SCORE 8.5799770296E7
AT ITER 3366 NEW BEST:: SOT 865671377 SOS 93858383 HAS SOPS 93858383 HAS SOUS 85705902 HAS SOUPS 85705902 WITH SCORE 8.5799760383E7
AT ITER 3395 NEW BEST:: SOT 865671377 SOS 93857317 HAS SOPS 93857317 HAS SOUS 85704836 HAS SOUPS 85704836 WITH SCORE 8.5798693317E7
AT ITER 3403 NEW BEST:: SOT 865669430 SOS 93852312 HAS SOPS 93852312 HAS SOUS 85699831 HAS SOUPS 85699831 WITH SCORE 8.5793683312E7
AT ITER 3467 NEW BEST:: SOT 865623856 SOS 94943600 HAS SOPS 94943600 HAS SOUS 85669542 HAS SOUPS 85669542 WITH SCORE 8.57644856E7
AT ITER 3572 NEW BEST:: SOT 865623503 SOS 94941382 HAS SOPS 94941382 HAS SOUS 85668077 HAS SOUPS 85668077 WITH SCORE 8.5763018382E7
AT ITER 3589 NEW BEST:: SOT 865622403 SOS 94939160 HAS SOPS 94939160 HAS SOUS 85665855 HAS SOUPS 85665855 WITH SCORE 8.576079416E7
AT ITER 3615 NEW BEST:: SOT 865620283 SOS 94934957 HAS SOPS 94934957 HAS SOUS 85661615 HAS SOUPS 85661615 WITH SCORE 8.5756549957E7
AT ITER 3628 NEW BEST:: SOT 865618344 SOS 94929968 HAS SOPS 94929968 HAS SOUS 85656626 HAS SOUPS 85656626 WITH SCORE 8.5751555968E7
AT ITER 3657 NEW BEST:: SOT 865617636 SOS 94929557 HAS SOPS 94929557 HAS SOUS 85656215 HAS SOUPS 85656215 WITH SCORE 8.5751144557E7
AT ITER 3672 NEW BEST:: SOT 865617636 SOS 94929417 HAS SOPS 94929417 HAS SOUS 85656075 HAS SOUPS 85656075 WITH SCORE 8.5751004417E7
AT ITER 3748 NEW BEST:: SOT 865616424 SOS 94926993 HAS SOPS 94926993 HAS SOUS 85653651 HAS SOUPS 85653651 WITH SCORE 8.5748577993E7
AT ITER 3793 NEW BEST:: SOT 865616103 SOS 94926672 HAS SOPS 94926672 HAS SOUS 85653330 HAS SOUPS 85653330 WITH SCORE 8.5748256672E7
AT ITER 3796 NEW BEST:: SOT 865613821 SOS 94928030 HAS SOPS 94928030 HAS SOUS 85652139 HAS SOUPS 85652139 WITH SCORE 8.574706703E7
AT ITER 3862 NEW BEST:: SOT 865611665 SOS 94924763 HAS SOPS 94924763 HAS SOUS 85648872 HAS SOUPS 85648872 WITH SCORE 8.5743796763E7
AT ITER 3896 NEW BEST:: SOT 865611120 SOS 94923673 HAS SOPS 94923673 HAS SOUS 85647782 HAS SOUPS 85647782 WITH SCORE 8.5742705673E7
AT ITER 3995 NEW BEST:: SOT 865611120 SOS 94923311 HAS SOPS 94923311 HAS SOUS 85647420 HAS SOUPS 85647420 WITH SCORE 8.5742343311E7
AT ITER 4061 NEW BEST:: SOT 865611120 SOS 94922617 HAS SOPS 94922617 HAS SOUS 85646726 HAS SOUPS 85646726 WITH SCORE 8.5741648617E7
AT ITER 4110 NEW BEST:: SOT 865610005 SOS 94920391 HAS SOPS 94920391 HAS SOUS 85646639 HAS SOUPS 85646639 WITH SCORE 8.5741559391E7
AT ITER 4150 NEW BEST:: SOT 865610005 SOS 94919991 HAS SOPS 94919991 HAS SOUS 85646239 HAS SOUPS 85646239 WITH SCORE 8.5741158991E7
AT ITER 4153 NEW BEST:: SOT 865608894 SOS 94917769 HAS SOPS 94917769 HAS SOUS 85644132 HAS SOUPS 85644132 WITH SCORE 8.5739049769E7
AT ITER 4200 NEW BEST:: SOT 865608894 SOS 94916679 HAS SOPS 94916679 HAS SOUS 85643042 HAS SOUPS 85643042 WITH SCORE 8.5737958679E7
AT ITER 4204 NEW BEST:: SOT 865607032 SOS 94913706 HAS SOPS 94913706 HAS SOUS 85640069 HAS SOUPS 85640069 WITH SCORE 8.5734982706E7
AT ITER 4216 NEW BEST:: SOT 865606652 SOS 94912340 HAS SOPS 94912340 HAS SOUS 85639588 HAS SOUPS 85639588 WITH SCORE 8.573450034E7
AT ITER 4231 NEW BEST:: SOT 865605869 SOS 94910129 HAS SOPS 94910129 HAS SOUS 85637694 HAS SOUPS 85637694 WITH SCORE 8.5732604129E7
AT ITER 4236 NEW BEST:: SOT 865606485 SOS 94909029 HAS SOPS 94909029 HAS SOUS 85636594 HAS SOUPS 85636594 WITH SCORE 8.5731503029E7
AT ITER 4270 NEW BEST:: SOT 865604626 SOS 94906059 HAS SOPS 94906059 HAS SOUS 85633624 HAS SOUPS 85633624 WITH SCORE 8.5728530059E7
AT ITER 4295 NEW BEST:: SOT 865603551 SOS 94903909 HAS SOPS 94903909 HAS SOUS 85631474 HAS SOUPS 85631474 WITH SCORE 8.5726377909E7
AT ITER 4327 NEW BEST:: SOT 865602599 SOS 94902005 HAS SOPS 94902005 HAS SOUS 85629570 HAS SOUPS 85629570 WITH SCORE 8.5724472005E7
AT ITER 4345 NEW BEST:: SOT 865602063 SOS 94901539 HAS SOPS 94901539 HAS SOUS 85629104 HAS SOUPS 85629104 WITH SCORE 8.5724005539E7
AT ITER 4397 NEW BEST:: SOT 865592938 SOS 94894149 HAS SOPS 94894149 HAS SOUS 85621708 HAS SOUPS 85621708 WITH SCORE 8.5716602149E7
AT ITER 4421 NEW BEST:: SOT 865592140 SOS 94893351 HAS SOPS 94893351 HAS SOUS 85620910 HAS SOUPS 85620910 WITH SCORE 8.5715803351E7
AT ITER 4473 NEW BEST:: SOT 865592140 SOS 94892290 HAS SOPS 94892290 HAS SOUS 85619849 HAS SOUPS 85619849 WITH SCORE 8.571474129E7
AT ITER 4519 NEW BEST:: SOT 865591040 SOS 94890068 HAS SOPS 94890068 HAS SOUS 85617627 HAS SOUPS 85617627 WITH SCORE 8.5712517068E7
AT ITER 4526 NEW BEST:: SOT 865590342 SOS 94888672 HAS SOPS 94888672 HAS SOUS 85616231 HAS SOUPS 85616231 WITH SCORE 8.5711119672E7
AT ITER 4529 NEW BEST:: SOT 865589848 SOS 94888290 HAS SOPS 94888290 HAS SOUS 85615849 HAS SOUPS 85615849 WITH SCORE 8.571073729E7
AT ITER 4547 NEW BEST:: SOT 865587329 SOS 94883340 HAS SOPS 94883340 HAS SOUS 85610811 HAS SOUPS 85610811 WITH SCORE 8.570569434E7
AT ITER 4562 NEW BEST:: SOT 865586491 SOS 94882502 HAS SOPS 94882502 HAS SOUS 85609973 HAS SOUPS 85609973 WITH SCORE 8.5704855502E7
AT ITER 4597 NEW BEST:: SOT 865586491 SOS 94881413 HAS SOPS 94881413 HAS SOUS 85608884 HAS SOUPS 85608884 WITH SCORE 8.5703765413E7
AT ITER 4628 NEW BEST:: SOT 865585391 SOS 94879202 HAS SOPS 94879202 HAS SOUS 85606673 HAS SOUPS 85606673 WITH SCORE 8.5701552202E7
AT ITER 4631 NEW BEST:: SOT 865585412 SOS 94879174 HAS SOPS 94879174 HAS SOUS 85606642 HAS SOUPS 85606642 WITH SCORE 8.5701521174E7
AT ITER 4648 NEW BEST:: SOT 865584552 SOS 94878314 HAS SOPS 94878314 HAS SOUS 85605782 HAS SOUPS 85605782 WITH SCORE 8.5700660314E7
AT ITER 4684 NEW BEST:: SOT 865584552 SOS 94878214 HAS SOPS 94878214 HAS SOUS 85605682 HAS SOUPS 85605682 WITH SCORE 8.5700560214E7
AT ITER 4730 NEW BEST:: SOT 865584449 SOS 94878008 HAS SOPS 94878008 HAS SOUS 85605476 HAS SOUPS 85605476 WITH SCORE 8.5700354008E7
AT ITER 4741 NEW BEST:: SOT 865582885 SOS 94875333 HAS SOPS 94875333 HAS SOUS 85602801 HAS SOUPS 85602801 WITH SCORE 8.5697676333E7
AT ITER 4750 NEW BEST:: SOT 865575761 SOS 94910857 HAS SOPS 94910857 HAS SOUS 85600917 HAS SOUPS 85600917 WITH SCORE 8.5695827857E7
AT ITER 4758 NEW BEST:: SOT 865572872 SOS 94903968 HAS SOPS 94903968 HAS SOUS 85594028 HAS SOUPS 85594028 WITH SCORE 8.5688931968E7
AT ITER 4813 NEW BEST:: SOT 865572872 SOS 94902975 HAS SOPS 94902975 HAS SOUS 85593035 HAS SOUPS 85593035 WITH SCORE 8.5687937975E7
AT ITER 4838 NEW BEST:: SOT 865571772 SOS 94900753 HAS SOPS 94900753 HAS SOUS 85590813 HAS SOUPS 85590813 WITH SCORE 8.5685713753E7
AT ITER 4845 NEW BEST:: SOT 865571772 SOS 94899729 HAS SOPS 94899729 HAS SOUS 85589789 HAS SOUPS 85589789 WITH SCORE 8.5684688729E7
AT ITER 4851 NEW BEST:: SOT 865571342 SOS 94899475 HAS SOPS 94899475 HAS SOUS 85589535 HAS SOUPS 85589535 WITH SCORE 8.5684434475E7
AT ITER 4859 NEW BEST:: SOT 865570242 SOS 94897264 HAS SOPS 94897264 HAS SOUS 85588786 HAS SOUPS 85588786 WITH SCORE 8.5683683264E7
AT ITER 4862 NEW BEST:: SOT 865568849 SOS 94893367 HAS SOPS 94893367 HAS SOUS 85584889 HAS SOUPS 85584889 WITH SCORE 8.5679782367E7
AT ITER 4866 NEW BEST:: SOT 865567449 SOS 94890856 HAS SOPS 94890856 HAS SOUS 85582378 HAS SOUPS 85582378 WITH SCORE 8.5677268856E7
AT ITER 4877 NEW BEST:: SOT 865564911 SOS 94884669 HAS SOPS 94884669 HAS SOUS 85576191 HAS SOUPS 85576191 WITH SCORE 8.5671075669E7
AT ITER 4883 NEW BEST:: SOT 865564167 SOS 94883181 HAS SOPS 94883181 HAS SOUS 85574703 HAS SOUPS 85574703 WITH SCORE 8.5669586181E7
AT ITER 4885 NEW BEST:: SOT 865562803 SOS 94880453 HAS SOPS 94880453 HAS SOUS 85571975 HAS SOUPS 85571975 WITH SCORE 8.5666855453E7
AT ITER 4898 NEW BEST:: SOT 865560043 SOS 94874998 HAS SOPS 94874998 HAS SOUS 85566455 HAS SOUPS 85566455 WITH SCORE 8.5661329998E7
AT ITER 4906 NEW BEST:: SOT 865560043 SOS 94873887 HAS SOPS 94873887 HAS SOUS 85565344 HAS SOUPS 85565344 WITH SCORE 8.5660217887E7
AT ITER 4935 NEW BEST:: SOT 865557865 SOS 94870598 HAS SOPS 94870598 HAS SOUS 85562055 HAS SOUPS 85562055 WITH SCORE 8.5656925598E7
AT ITER 4938 NEW BEST:: SOT 865556615 SOS 94867311 HAS SOPS 94867311 HAS SOUS 85560805 HAS SOUPS 85560805 WITH SCORE 8.5655672311E7
AT ITER 5003 NEW BEST:: SOT 865556615 SOS 94866792 HAS SOPS 94866792 HAS SOUS 85560286 HAS SOUPS 85560286 WITH SCORE 8.5655152792E7
AT ITER 5024 NEW BEST:: SOT 865555922 SOS 94864581 HAS SOPS 94864581 HAS SOUS 85558492 HAS SOUPS 85558492 WITH SCORE 8.5653356581E7
AT ITER 5032 NEW BEST:: SOT 865555774 SOS 94863353 HAS SOPS 94863353 HAS SOUS 85557264 HAS SOUPS 85557264 WITH SCORE 8.5652127353E7
AT ITER 5034 NEW BEST:: SOT 865555774 SOS 94862715 HAS SOPS 94862715 HAS SOUS 85556626 HAS SOUPS 85556626 WITH SCORE 8.5651488715E7
AT ITER 5035 NEW BEST:: SOT 865555774 SOS 94861961 HAS SOPS 94861961 HAS SOUS 85555872 HAS SOUPS 85555872 WITH SCORE 8.5650733961E7
AT ITER 5066 NEW BEST:: SOT 865555774 SOS 94860949 HAS SOPS 94860949 HAS SOUS 85554860 HAS SOUPS 85554860 WITH SCORE 8.5649720949E7
AT ITER 5102 NEW BEST:: SOT 865553849 SOS 94859024 HAS SOPS 94859024 HAS SOUS 85552935 HAS SOUPS 85552935 WITH SCORE 8.5647794024E7
AT ITER 5109 NEW BEST:: SOT 865553405 SOS 94858580 HAS SOPS 94858580 HAS SOUS 85552491 HAS SOUPS 85552491 WITH SCORE 8.564734958E7
AT ITER 5133 NEW BEST:: SOT 865551894 SOS 94855958 HAS SOPS 94855958 HAS SOUS 85549869 HAS SOUPS 85549869 WITH SCORE 8.5644724958E7
AT ITER 5134 NEW BEST:: SOT 865551466 SOS 94855631 HAS SOPS 94855631 HAS SOUS 85549542 HAS SOUPS 85549542 WITH SCORE 8.5644397631E7
AT ITER 5180 NEW BEST:: SOT 865551466 SOS 94854620 HAS SOPS 94854620 HAS SOUS 85548531 HAS SOUPS 85548531 WITH SCORE 8.564338562E7
AT ITER 5206 NEW BEST:: SOT 865549410 SOS 94850571 HAS SOPS 94850571 HAS SOUS 85544419 HAS SOUPS 85544419 WITH SCORE 8.5639269571E7
AT ITER 5210 NEW BEST:: SOT 865549410 SOS 94850276 HAS SOPS 94850276 HAS SOUS 85544124 HAS SOUPS 85544124 WITH SCORE 8.5638974276E7
AT ITER 5246 NEW BEST:: SOT 865549410 SOS 94849199 HAS SOPS 94849199 HAS SOUS 85544124 HAS SOUPS 85544124 WITH SCORE 8.5638973199E7
AT ITER 5375 NEW BEST:: SOT 865547876 SOS 94846554 HAS SOPS 94846554 HAS SOUS 85541479 HAS SOUPS 85541479 WITH SCORE 8.5636325554E7
AT ITER 5392 NEW BEST:: SOT 865546911 SOS 94845589 HAS SOPS 94845589 HAS SOUS 85540694 HAS SOUPS 85540694 WITH SCORE 8.5635539589E7
AT ITER 5424 NEW BEST:: SOT 865545811 SOS 94843378 HAS SOPS 94843378 HAS SOUS 85538483 HAS SOUPS 85538483 WITH SCORE 8.5633326378E7
AT ITER 5426 NEW BEST:: SOT 865542986 SOS 94837781 HAS SOPS 94837781 HAS SOUS 85532833 HAS SOUPS 85532833 WITH SCORE 8.5627670781E7
AT ITER 5593 NEW BEST:: SOT 865542323 SOS 94837555 HAS SOPS 94837555 HAS SOUS 85532607 HAS SOUPS 85532607 WITH SCORE 8.5627444555E7
AT ITER 5652 NEW BEST:: SOT 865541462 SOS 94835833 HAS SOPS 94835833 HAS SOUS 85530882 HAS SOUPS 85530882 WITH SCORE 8.5625717833E7
AT ITER 5655 NEW BEST:: SOT 865540053 SOS 94833313 HAS SOPS 94833313 HAS SOUS 85528362 HAS SOUPS 85528362 WITH SCORE 8.5623195313E7
AT ITER 5703 NEW BEST:: SOT 865540053 SOS 94832783 HAS SOPS 94832783 HAS SOUS 85527832 HAS SOUPS 85527832 WITH SCORE 8.5622664783E7
AT ITER 5705 NEW BEST:: SOT 865541198 SOS 94831729 HAS SOPS 94831729 HAS SOUS 85526778 HAS SOUPS 85526778 WITH SCORE 8.5621609729E7
AT ITER 5733 NEW BEST:: SOT 865540352 SOS 94830910 HAS SOPS 94830910 HAS SOUS 85526103 HAS SOUPS 85526103 WITH SCORE 8.562093391E7
AT ITER 5783 NEW BEST:: SOT 865538692 SOS 94828139 HAS SOPS 94828139 HAS SOUS 85523332 HAS SOUPS 85523332 WITH SCORE 8.5618160139E7
AT ITER 5796 NEW BEST:: SOT 865538692 SOS 94827660 HAS SOPS 94827660 HAS SOUS 85522853 HAS SOUPS 85522853 WITH SCORE 8.561768066E7
AT ITER 5806 NEW BEST:: SOT 865538692 SOS 94827159 HAS SOPS 94827159 HAS SOUS 85522352 HAS SOUPS 85522352 WITH SCORE 8.5617179159E7
AT ITER 5870 NEW BEST:: SOT 865536492 SOS 94823848 HAS SOPS 94823848 HAS SOUS 85519041 HAS SOUPS 85519041 WITH SCORE 8.5613864848E7
AT ITER 5873 NEW BEST:: SOT 865533816 SOS 94818565 HAS SOPS 94818565 HAS SOUS 85513689 HAS SOUPS 85513689 WITH SCORE 8.5608507565E7
AT ITER 5879 NEW BEST:: SOT 865531079 SOS 94817502 HAS SOPS 94817502 HAS SOUS 85512625 HAS SOUPS 85512625 WITH SCORE 8.5607442502E7
AT ITER 5903 NEW BEST:: SOT 865530690 SOS 94817591 HAS SOPS 94817591 HAS SOUS 85512136 HAS SOUPS 85512136 WITH SCORE 8.5606953591E7
AT ITER 6027 NEW BEST:: SOT 865529555 SOS 94816985 HAS SOPS 94816985 HAS SOUS 85511530 HAS SOUPS 85511530 WITH SCORE 8.5606346985E7
AT ITER 6036 NEW BEST:: SOT 865528468 SOS 94814811 HAS SOPS 94814811 HAS SOUS 85509356 HAS SOUPS 85509356 WITH SCORE 8.5604170811E7
AT ITER 6081 NEW BEST:: SOT 865526643 SOS 94811875 HAS SOPS 94811875 HAS SOUS 85506420 HAS SOUPS 85506420 WITH SCORE 8.5601231875E7
AT ITER 6094 NEW BEST:: SOT 865525635 SOS 94810867 HAS SOPS 94810867 HAS SOUS 85505409 HAS SOUPS 85505409 WITH SCORE 8.5600219867E7
AT ITER 6100 NEW BEST:: SOT 865524535 SOS 94808656 HAS SOPS 94808656 HAS SOUS 85503198 HAS SOUPS 85503198 WITH SCORE 8.5598006656E7
AT ITER 6112 NEW BEST:: SOT 865524535 SOS 94808180 HAS SOPS 94808180 HAS SOUS 85502722 HAS SOUPS 85502722 WITH SCORE 8.559753018E7
AT ITER 6116 NEW BEST:: SOT 865523235 SOS 94805769 HAS SOPS 94805769 HAS SOUS 85500311 HAS SOUPS 85500311 WITH SCORE 8.5595116769E7
AT ITER 6121 NEW BEST:: SOT 865520705 SOS 94799598 HAS SOPS 94799598 HAS SOUS 85494140 HAS SOUPS 85494140 WITH SCORE 8.5588939598E7
AT ITER 6175 NEW BEST:: SOT 865519037 SOS 94795661 HAS SOPS 94795661 HAS SOUS 85493913 HAS SOUPS 85493913 WITH SCORE 8.5588708661E7
AT ITER 6186 NEW BEST:: SOT 865517025 SOS 94792538 HAS SOPS 94792538 HAS SOUS 85490790 HAS SOUPS 85490790 WITH SCORE 8.5585582538E7
AT ITER 6284 NEW BEST:: SOT 865516567 SOS 94790297 HAS SOPS 94790297 HAS SOUS 85489226 HAS SOUPS 85489226 WITH SCORE 8.5584016297E7
AT ITER 6291 NEW BEST:: SOT 865515981 SOS 94789711 HAS SOPS 94789711 HAS SOUS 85488640 HAS SOUPS 85488640 WITH SCORE 8.5583429711E7
AT ITER 6343 NEW BEST:: SOT 865514404 SOS 94787023 HAS SOPS 94787023 HAS SOUS 85485952 HAS SOUPS 85485952 WITH SCORE 8.5580739023E7
AT ITER 6354 NEW BEST:: SOT 865512861 SOS 94785480 HAS SOPS 94785480 HAS SOUS 85482866 HAS SOUPS 85482866 WITH SCORE 8.557765148E7
AT ITER 6361 NEW BEST:: SOT 865512861 SOS 94785008 HAS SOPS 94785008 HAS SOUS 85482394 HAS SOUPS 85482394 WITH SCORE 8.5577179008E7
AT ITER 6379 NEW BEST:: SOT 865511901 SOS 94784048 HAS SOPS 94784048 HAS SOUS 85481434 HAS SOUPS 85481434 WITH SCORE 8.5576218048E7
AT ITER 6395 NEW BEST:: SOT 865510801 SOS 94781837 HAS SOPS 94781837 HAS SOUS 85480826 HAS SOUPS 85480826 WITH SCORE 8.5575607837E7
AT ITER 6397 NEW BEST:: SOT 865508217 SOS 94779253 HAS SOPS 94779253 HAS SOUS 85475658 HAS SOUPS 85475658 WITH SCORE 8.5570437253E7
AT ITER 6466 NEW BEST:: SOT 865508217 SOS 94778729 HAS SOPS 94778729 HAS SOUS 85475134 HAS SOUPS 85475134 WITH SCORE 8.5569912729E7
AT ITER 6481 NEW BEST:: SOT 865507214 SOS 94776723 HAS SOPS 94776723 HAS SOUS 85473128 HAS SOUPS 85473128 WITH SCORE 8.5567904723E7
AT ITER 6526 NEW BEST:: SOT 865505544 SOS 94773942 HAS SOPS 94773942 HAS SOUS 85470347 HAS SOUPS 85470347 WITH SCORE 8.5565120942E7
AT ITER 6549 NEW BEST:: SOT 865503300 SOS 94768343 HAS SOPS 94768343 HAS SOUS 85464748 HAS SOUPS 85464748 WITH SCORE 8.5559516343E7
AT ITER 6570 NEW BEST:: SOT 865502200 SOS 94766132 HAS SOPS 94766132 HAS SOUS 85462537 HAS SOUPS 85462537 WITH SCORE 8.5557303132E7
AT ITER 6579 NEW BEST:: SOT 865500571 SOS 94763392 HAS SOPS 94763392 HAS SOUS 85459797 HAS SOUPS 85459797 WITH SCORE 8.5554560392E7
AT ITER 6585 NEW BEST:: SOT 865500571 SOS 94762384 HAS SOPS 94762384 HAS SOUS 85458789 HAS SOUPS 85458789 WITH SCORE 8.5553551384E7
AT ITER 6590 NEW BEST:: SOT 865498411 SOS 94759113 HAS SOPS 94759113 HAS SOUS 85455518 HAS SOUPS 85455518 WITH SCORE 8.5550277113E7
AT ITER 6592 NEW BEST:: SOT 865495206 SOS 94752718 HAS SOPS 94752718 HAS SOUS 85449108 HAS SOUPS 85449108 WITH SCORE 8.5543860718E7
AT ITER 6599 NEW BEST:: SOT 865494106 SOS 94750507 HAS SOPS 94750507 HAS SOUS 85446897 HAS SOUPS 85446897 WITH SCORE 8.5541647507E7
AT ITER 6602 NEW BEST:: SOT 865493726 SOS 94749747 HAS SOPS 94749747 HAS SOUS 85446137 HAS SOUPS 85446137 WITH SCORE 8.5540886747E7
AT ITER 6657 NEW BEST:: SOT 865492064 SOS 94746423 HAS SOPS 94746423 HAS SOUS 85442813 HAS SOUPS 85442813 WITH SCORE 8.5537559423E7
AT ITER 6660 NEW BEST:: SOT 865491458 SOS 94745211 HAS SOPS 94745211 HAS SOUS 85441601 HAS SOUPS 85441601 WITH SCORE 8.5536346211E7
AT ITER 6668 NEW BEST:: SOT 865490955 SOS 94744528 HAS SOPS 94744528 HAS SOUS 85440918 HAS SOUPS 85440918 WITH SCORE 8.5535662528E7
AT ITER 6674 NEW BEST:: SOT 865492178 SOS 94743630 HAS SOPS 94743630 HAS SOUS 85440020 HAS SOUPS 85440020 WITH SCORE 8.553476363E7
AT ITER 6797 NEW BEST:: SOT 865490342 SOS 94741794 HAS SOPS 94741794 HAS SOUS 85438184 HAS SOUPS 85438184 WITH SCORE 8.5532925794E7
AT ITER 6821 NEW BEST:: SOT 865488866 SOS 94740318 HAS SOPS 94740318 HAS SOUS 85436708 HAS SOUPS 85436708 WITH SCORE 8.5531448318E7
AT ITER 6880 NEW BEST:: SOT 865488866 SOS 94740318 HAS SOPS 94740318 HAS SOUS 85436706 HAS SOUPS 85436706 WITH SCORE 8.5531446318E7
AT ITER 6898 NEW BEST:: SOT 865487529 SOS 94737644 HAS SOPS 94737644 HAS SOUS 85434032 HAS SOUPS 85434032 WITH SCORE 8.5528769644E7
AT ITER 6914 NEW BEST:: SOT 865488717 SOS 94736676 HAS SOPS 94736676 HAS SOUS 85433064 HAS SOUPS 85433064 WITH SCORE 8.5527800676E7
AT ITER 6947 NEW BEST:: SOT 865488308 SOS 94736267 HAS SOPS 94736267 HAS SOUS 85432655 HAS SOUPS 85432655 WITH SCORE 8.5527391267E7
AT ITER 6952 NEW BEST:: SOT 865485279 SOS 94730236 HAS SOPS 94730236 HAS SOUS 85426597 HAS SOUPS 85426597 WITH SCORE 8.5521327236E7
AT ITER 6988 NEW BEST:: SOT 865485279 SOS 94729631 HAS SOPS 94729631 HAS SOUS 85425992 HAS SOUPS 85425992 WITH SCORE 8.5520721631E7
AT ITER 6989 NEW BEST:: SOT 865485279 SOS 94729195 HAS SOPS 94729195 HAS SOUS 85425555 HAS SOUPS 85425555 WITH SCORE 8.5520284195E7
AT ITER 7073 NEW BEST:: SOT 865484083 SOS 94727999 HAS SOPS 94727999 HAS SOUS 85424359 HAS SOUPS 85424359 WITH SCORE 8.5519086999E7
AT ITER 7074 NEW BEST:: SOT 865483384 SOS 94727300 HAS SOPS 94727300 HAS SOUS 85423651 HAS SOUPS 85423651 WITH SCORE 8.55183783E7
AT ITER 7119 NEW BEST:: SOT 865483384 SOS 94726940 HAS SOPS 94726940 HAS SOUS 85423291 HAS SOUPS 85423291 WITH SCORE 8.551801794E7
AT ITER 7133 NEW BEST:: SOT 865482284 SOS 94724729 HAS SOPS 94724729 HAS SOUS 85421080 HAS SOUPS 85421080 WITH SCORE 8.5515804729E7
AT ITER 7158 NEW BEST:: SOT 865480951 SOS 94723396 HAS SOPS 94723396 HAS SOUS 85419747 HAS SOUPS 85419747 WITH SCORE 8.5514470396E7
AT ITER 7159 NEW BEST:: SOT 865478774 SOS 94720108 HAS SOPS 94720108 HAS SOUS 85416459 HAS SOUPS 85416459 WITH SCORE 8.5511179108E7
AT ITER 7187 NEW BEST:: SOT 865478774 SOS 94719045 HAS SOPS 94719045 HAS SOUS 85415396 HAS SOUPS 85415396 WITH SCORE 8.5510115045E7
AT ITER 7212 NEW BEST:: SOT 865476775 SOS 94715935 HAS SOPS 94715935 HAS SOUS 85412286 HAS SOUPS 85412286 WITH SCORE 8.5507001935E7
AT ITER 7225 NEW BEST:: SOT 865476362 SOS 94715109 HAS SOPS 94715109 HAS SOUS 85411460 HAS SOUPS 85411460 WITH SCORE 8.5506175109E7
AT ITER 7245 NEW BEST:: SOT 865477192 SOS 94714009 HAS SOPS 94714009 HAS SOUS 85410360 HAS SOUPS 85410360 WITH SCORE 8.5505074009E7
AT ITER 7249 NEW BEST:: SOT 865474332 SOS 94707178 HAS SOPS 94707178 HAS SOUS 85403529 HAS SOUPS 85403529 WITH SCORE 8.5498236178E7
AT ITER 7275 NEW BEST:: SOT 865474332 SOS 94706297 HAS SOPS 94706297 HAS SOUS 85402648 HAS SOUPS 85402648 WITH SCORE 8.5497354297E7
AT ITER 7291 NEW BEST:: SOT 865474332 SOS 94706035 HAS SOPS 94706035 HAS SOUS 85402648 HAS SOUPS 85402648 WITH SCORE 8.5497354035E7
AT ITER 7307 NEW BEST:: SOT 865473298 SOS 94705001 HAS SOPS 94705001 HAS SOUS 85401614 HAS SOUPS 85401614 WITH SCORE 8.5496319001E7
AT ITER 7372 NEW BEST:: SOT 865470235 SOS 94698891 HAS SOPS 94698891 HAS SOUS 85395488 HAS SOUPS 85395488 WITH SCORE 8.5490186891E7
AT ITER 7408 NEW BEST:: SOT 865468187 SOS 94695732 HAS SOPS 94695732 HAS SOUS 85392329 HAS SOUPS 85392329 WITH SCORE 8.5487024732E7
AT ITER 7421 NEW BEST:: SOT 865465929 SOS 94690105 HAS SOPS 94690105 HAS SOUS 85386702 HAS SOUPS 85386702 WITH SCORE 8.5481392105E7
AT ITER 7487 NEW BEST:: SOT 865465379 SOS 94689005 HAS SOPS 94689005 HAS SOUS 85385602 HAS SOUPS 85385602 WITH SCORE 8.5480291005E7
AT ITER 7499 NEW BEST:: SOT 865465379 SOS 94688631 HAS SOPS 94688631 HAS SOUS 85385225 HAS SOUPS 85385225 WITH SCORE 8.5479913631E7
AT ITER 7508 NEW BEST:: SOT 865462251 SOS 94681469 HAS SOPS 94681469 HAS SOUS 85378969 HAS SOUPS 85378969 WITH SCORE 8.5473650469E7
AT ITER 7542 NEW BEST:: SOT 865462251 SOS 94680867 HAS SOPS 94680867 HAS SOUS 85378367 HAS SOUPS 85378367 WITH SCORE 8.5473047867E7
AT ITER 7544 NEW BEST:: SOT 865462251 SOS 94680041 HAS SOPS 94680041 HAS SOUS 85377541 HAS SOUPS 85377541 WITH SCORE 8.5472221041E7
AT ITER 7590 NEW BEST:: SOT 865462251 SOS 94679743 HAS SOPS 94679743 HAS SOUS 85377243 HAS SOUPS 85377243 WITH SCORE 8.5471922743E7
AT ITER 7603 NEW BEST:: SOT 865462228 SOS 94679697 HAS SOPS 94679697 HAS SOUS 85377197 HAS SOUPS 85377197 WITH SCORE 8.5471876697E7
AT ITER 7608 NEW BEST:: SOT 865461282 SOS 94678751 HAS SOPS 94678751 HAS SOUS 85375305 HAS SOUPS 85375305 WITH SCORE 8.5469983751E7
AT ITER 7618 NEW BEST:: SOT 865459320 SOS 94676789 HAS SOPS 94676789 HAS SOUS 85373343 HAS SOUPS 85373343 WITH SCORE 8.5468019789E7
AT ITER 7644 NEW BEST:: SOT 865459320 SOS 94676601 HAS SOPS 94676601 HAS SOUS 85373155 HAS SOUPS 85373155 WITH SCORE 8.5467831601E7
AT ITER 7660 NEW BEST:: SOT 865458301 SOS 94675582 HAS SOPS 94675582 HAS SOUS 85372136 HAS SOUPS 85372136 WITH SCORE 8.5466811582E7
AT ITER 7688 NEW BEST:: SOT 865457382 SOS 94673382 HAS SOPS 94673382 HAS SOUS 85370110 HAS SOUPS 85370110 WITH SCORE 8.5464783382E7
AT ITER 7690 NEW BEST:: SOT 865455383 SOS 94670272 HAS SOPS 94670272 HAS SOUS 85367000 HAS SOUPS 85367000 WITH SCORE 8.5461670272E7
AT ITER 7793 NEW BEST:: SOT 865454581 SOS 94669470 HAS SOPS 94669470 HAS SOUS 85366198 HAS SOUPS 85366198 WITH SCORE 8.546086747E7
AT ITER 7814 NEW BEST:: SOT 865454950 SOS 94668370 HAS SOPS 94668370 HAS SOUS 85365098 HAS SOUPS 85365098 WITH SCORE 8.545976637E7
AT ITER 7822 NEW BEST:: SOT 865454940 SOS 94668360 HAS SOPS 94668360 HAS SOUS 85365092 HAS SOUPS 85365092 WITH SCORE 8.545976036E7
AT ITER 7873 NEW BEST:: SOT 865454940 SOS 94668241 HAS SOPS 94668241 HAS SOUS 85364973 HAS SOUPS 85364973 WITH SCORE 8.5459641241E7
AT ITER 7892 NEW BEST:: SOT 865454940 SOS 94667310 HAS SOPS 94667310 HAS SOUS 85364042 HAS SOUPS 85364042 WITH SCORE 8.545870931E7
AT ITER 7941 NEW BEST:: SOT 865454940 SOS 94667035 HAS SOPS 94667035 HAS SOUS 85363767 HAS SOUPS 85363767 WITH SCORE 8.5458434035E7
AT ITER 7966 NEW BEST:: SOT 865454940 SOS 94666157 HAS SOPS 94666157 HAS SOUS 85362889 HAS SOUPS 85362889 WITH SCORE 8.5457555157E7
AT ITER 8010 NEW BEST:: SOT 865454940 SOS 94665072 HAS SOPS 94665072 HAS SOUS 85361804 HAS SOUPS 85361804 WITH SCORE 8.5456469072E7
AT ITER 8021 NEW BEST:: SOT 865453094 SOS 94662115 HAS SOPS 94662115 HAS SOUS 85358847 HAS SOUPS 85358847 WITH SCORE 8.5453509115E7
AT ITER 8035 NEW BEST:: SOT 865450096 SOS 94656158 HAS SOPS 94656158 HAS SOUS 85352851 HAS SOUPS 85352851 WITH SCORE 8.5447507158E7
AT ITER 8040 NEW BEST:: SOT 865448966 SOS 94653917 HAS SOPS 94653917 HAS SOUS 85352726 HAS SOUPS 85352726 WITH SCORE 8.5447379917E7
AT ITER 8062 NEW BEST:: SOT 865447853 SOS 94652297 HAS SOPS 94652297 HAS SOUS 85351106 HAS SOUPS 85351106 WITH SCORE 8.5445758297E7
AT ITER 8066 NEW BEST:: SOT 865446753 SOS 94650086 HAS SOPS 94650086 HAS SOUS 85350708 HAS SOUPS 85350708 WITH SCORE 8.5445358086E7
AT ITER 8084 NEW BEST:: SOT 865446666 SOS 94649651 HAS SOPS 94649651 HAS SOUS 85350447 HAS SOUPS 85350447 WITH SCORE 8.5445096651E7
AT ITER 8101 NEW BEST:: SOT 865446666 SOS 94649188 HAS SOPS 94649188 HAS SOUS 85349980 HAS SOUPS 85349980 WITH SCORE 8.5444629188E7
AT ITER 8109 NEW BEST:: SOT 865445453 SOS 94647975 HAS SOPS 94647975 HAS SOUS 85347554 HAS SOUPS 85347554 WITH SCORE 8.5442201975E7
AT ITER 8120 NEW BEST:: SOT 865444840 SOS 94647362 HAS SOPS 94647362 HAS SOUS 85346941 HAS SOUPS 85346941 WITH SCORE 8.5441588362E7
AT ITER 8123 NEW BEST:: SOT 865443195 SOS 94645717 HAS SOPS 94645717 HAS SOUS 85345296 HAS SOUPS 85345296 WITH SCORE 8.5439941717E7
AT ITER 8151 NEW BEST:: SOT 865441634 SOS 94643045 HAS SOPS 94643045 HAS SOUS 85342624 HAS SOUPS 85342624 WITH SCORE 8.5437267045E7
AT ITER 8171 NEW BEST:: SOT 865440482 SOS 94642439 HAS SOPS 94642439 HAS SOUS 85342012 HAS SOUPS 85342012 WITH SCORE 8.5436654439E7
AT ITER 8192 NEW BEST:: SOT 865439382 SOS 94640217 HAS SOPS 94640217 HAS SOUS 85339790 HAS SOUPS 85339790 WITH SCORE 8.5434430217E7
AT ITER 8199 NEW BEST:: SOT 865439382 SOS 94639765 HAS SOPS 94639765 HAS SOUS 85339338 HAS SOUPS 85339338 WITH SCORE 8.5433977765E7
AT ITER 8216 NEW BEST:: SOT 865438080 SOS 94638463 HAS SOPS 94638463 HAS SOUS 85336734 HAS SOUPS 85336734 WITH SCORE 8.5431372463E7
AT ITER 8226 NEW BEST:: SOT 865436236 SOS 94636619 HAS SOPS 94636619 HAS SOUS 85334890 HAS SOUPS 85334890 WITH SCORE 8.5429526619E7
AT ITER 8252 NEW BEST:: SOT 865435533 SOS 94635213 HAS SOPS 94635213 HAS SOUS 85333484 HAS SOUPS 85333484 WITH SCORE 8.5428119213E7
AT ITER 8282 NEW BEST:: SOT 865435533 SOS 94634136 HAS SOPS 94634136 HAS SOUS 85333483 HAS SOUPS 85333483 WITH SCORE 8.5428117136E7
AT ITER 8287 NEW BEST:: SOT 865434796 SOS 94633399 HAS SOPS 94633399 HAS SOUS 85332746 HAS SOUPS 85332746 WITH SCORE 8.5427379399E7
AT ITER 8297 NEW BEST:: SOT 865434796 SOS 94632420 HAS SOPS 94632420 HAS SOUS 85331767 HAS SOUPS 85331767 WITH SCORE 8.542639942E7
AT ITER 8301 NEW BEST:: SOT 865434447 SOS 94631722 HAS SOPS 94631722 HAS SOUS 85331069 HAS SOUPS 85331069 WITH SCORE 8.5425700722E7
AT ITER 8352 NEW BEST:: SOT 865433448 SOS 94630723 HAS SOPS 94630723 HAS SOUS 85330070 HAS SOUPS 85330070 WITH SCORE 8.5424700723E7
AT ITER 8357 NEW BEST:: SOT 865433100 SOS 94630027 HAS SOPS 94630027 HAS SOUS 85329374 HAS SOUPS 85329374 WITH SCORE 8.5424004027E7
AT ITER 8395 NEW BEST:: SOT 865432889 SOS 94627827 HAS SOPS 94627827 HAS SOUS 85327174 HAS SOUPS 85327174 WITH SCORE 8.5421801827E7
AT ITER 8419 NEW BEST:: SOT 865431677 SOS 94625403 HAS SOPS 94625403 HAS SOUS 85324750 HAS SOUPS 85324750 WITH SCORE 8.5419375403E7
AT ITER 8517 NEW BEST:: SOT 865431677 SOS 94624479 HAS SOPS 94624479 HAS SOUS 85323826 HAS SOUPS 85323826 WITH SCORE 8.5418450479E7
AT ITER 8533 NEW BEST:: SOT 865429827 SOS 94622629 HAS SOPS 94622629 HAS SOUS 85321976 HAS SOUPS 85321976 WITH SCORE 8.5416598629E7
AT ITER 8543 NEW BEST:: SOT 865429202 SOS 94622004 HAS SOPS 94622004 HAS SOUS 85321351 HAS SOUPS 85321351 WITH SCORE 8.5415973004E7
AT ITER 8564 NEW BEST:: SOT 865429202 SOS 94621349 HAS SOPS 94621349 HAS SOUS 85320696 HAS SOUPS 85320696 WITH SCORE 8.5415317349E7
AT ITER 8587 NEW BEST:: SOT 865427641 SOS 94618227 HAS SOPS 94618227 HAS SOUS 85317574 HAS SOUPS 85317574 WITH SCORE 8.5412192227E7
AT ITER 8620 NEW BEST:: SOT 865427641 SOS 94617184 HAS SOPS 94617184 HAS SOUS 85316531 HAS SOUPS 85316531 WITH SCORE 8.5411148184E7
AT ITER 8673 NEW BEST:: SOT 865427641 SOS 94616935 HAS SOPS 94616935 HAS SOUS 85316282 HAS SOUPS 85316282 WITH SCORE 8.5410898935E7
AT ITER 8719 NEW BEST:: SOT 865426311 SOS 94614494 HAS SOPS 94614494 HAS SOUS 85313841 HAS SOUPS 85313841 WITH SCORE 8.5408455494E7
AT ITER 8724 NEW BEST:: SOT 865425699 SOS 94613270 HAS SOPS 94613270 HAS SOUS 85312617 HAS SOUPS 85312617 WITH SCORE 8.540723027E7
AT ITER 8759 NEW BEST:: SOT 865424712 SOS 94611296 HAS SOPS 94611296 HAS SOUS 85310640 HAS SOUPS 85310640 WITH SCORE 8.5405251296E7
AT ITER 8772 NEW BEST:: SOT 865421947 SOS 94610241 HAS SOPS 94610241 HAS SOUS 85308304 HAS SOUPS 85308304 WITH SCORE 8.5402914241E7
AT ITER 8777 NEW BEST:: SOT 865421435 SOS 94609729 HAS SOPS 94609729 HAS SOUS 85307792 HAS SOUPS 85307792 WITH SCORE 8.5402401729E7
AT ITER 8794 NEW BEST:: SOT 865421015 SOS 94609495 HAS SOPS 94609495 HAS SOUS 85307558 HAS SOUPS 85307558 WITH SCORE 8.5402167495E7
AT ITER 8830 NEW BEST:: SOT 865418095 SOS 94609728 HAS SOPS 94609728 HAS SOUS 85305568 HAS SOUPS 85305568 WITH SCORE 8.5400177728E7
AT ITER 8854 NEW BEST:: SOT 865418095 SOS 94608696 HAS SOPS 94608696 HAS SOUS 85304536 HAS SOUPS 85304536 WITH SCORE 8.5399144696E7
AT ITER 8902 NEW BEST:: SOT 865416984 SOS 94606474 HAS SOPS 94606474 HAS SOUS 85302631 HAS SOUPS 85302631 WITH SCORE 8.5397237474E7
AT ITER 8920 NEW BEST:: SOT 865416043 SOS 94605533 HAS SOPS 94605533 HAS SOUS 85301690 HAS SOUPS 85301690 WITH SCORE 8.5396295533E7
AT ITER 8986 NEW BEST:: SOT 865415445 SOS 94604935 HAS SOPS 94604935 HAS SOUS 85301092 HAS SOUPS 85301092 WITH SCORE 8.5395696935E7
AT ITER 8987 NEW BEST:: SOT 865415445 SOS 94604529 HAS SOPS 94604529 HAS SOUS 85300682 HAS SOUPS 85300682 WITH SCORE 8.5395286529E7
AT ITER 9006 NEW BEST:: SOT 865415445 SOS 94603722 HAS SOPS 94603722 HAS SOUS 85299875 HAS SOUPS 85299875 WITH SCORE 8.5394478722E7
AT ITER 9068 NEW BEST:: SOT 865414672 SOS 94601522 HAS SOPS 94601522 HAS SOUS 85297675 HAS SOUPS 85297675 WITH SCORE 8.5392276522E7
AT ITER 9101 NEW BEST:: SOT 865414546 SOS 94601311 HAS SOPS 94601311 HAS SOUS 85297423 HAS SOUPS 85297423 WITH SCORE 8.5392024311E7
AT ITER 9145 NEW BEST:: SOT 865413446 SOS 94599089 HAS SOPS 94599089 HAS SOUS 85295201 HAS SOUPS 85295201 WITH SCORE 8.5389800089E7
AT ITER 9150 NEW BEST:: SOT 865410754 SOS 94593779 HAS SOPS 94593779 HAS SOUS 85289817 HAS SOUPS 85289817 WITH SCORE 8.5384410779E7
AT ITER 9159 NEW BEST:: SOT 865409870 SOS 94592011 HAS SOPS 94592011 HAS SOUS 85288045 HAS SOUPS 85288045 WITH SCORE 8.5382637011E7
AT ITER 9163 NEW BEST:: SOT 865406686 SOS 94584681 HAS SOPS 94584681 HAS SOUS 85281677 HAS SOUPS 85281677 WITH SCORE 8.5376261681E7
AT ITER 9192 NEW BEST:: SOT 865405586 SOS 94582470 HAS SOPS 94582470 HAS SOUS 85279466 HAS SOUPS 85279466 WITH SCORE 8.537404847E7
AT ITER 9195 NEW BEST:: SOT 865402963 SOS 94577224 HAS SOPS 94577224 HAS SOUS 85274220 HAS SOUPS 85274220 WITH SCORE 8.5368797224E7
AT ITER 9217 NEW BEST:: SOT 865402963 SOS 94576738 HAS SOPS 94576738 HAS SOUS 85273734 HAS SOUPS 85273734 WITH SCORE 8.5368310738E7
AT ITER 9238 NEW BEST:: SOT 865402963 SOS 94576270 HAS SOPS 94576270 HAS SOUS 85273266 HAS SOUPS 85273266 WITH SCORE 8.536784227E7
AT ITER 9278 NEW BEST:: SOT 865402923 SOS 94576230 HAS SOPS 94576230 HAS SOUS 85273226 HAS SOUPS 85273226 WITH SCORE 8.536780223E7
AT ITER 9317 NEW BEST:: SOT 865401248 SOS 94574555 HAS SOPS 94574555 HAS SOUS 85269876 HAS SOUPS 85269876 WITH SCORE 8.5364450555E7
AT ITER 9421 NEW BEST:: SOT 865401248 SOS 94573618 HAS SOPS 94573618 HAS SOUS 85268939 HAS SOUPS 85268939 WITH SCORE 8.5363512618E7
AT ITER 9429 NEW BEST:: SOT 865401248 SOS 94573085 HAS SOPS 94573085 HAS SOUS 85268401 HAS SOUPS 85268401 WITH SCORE 8.5362974085E7
AT ITER 9464 NEW BEST:: SOT 865401248 SOS 94572439 HAS SOPS 94572439 HAS SOUS 85267755 HAS SOUPS 85267755 WITH SCORE 8.5362327439E7
AT ITER 9498 NEW BEST:: SOT 865400148 SOS 94570217 HAS SOPS 94570217 HAS SOUS 85265533 HAS SOUPS 85265533 WITH SCORE 8.5360103217E7
AT ITER 9508 NEW BEST:: SOT 865399048 SOS 94567995 HAS SOPS 94567995 HAS SOUS 85263311 HAS SOUPS 85263311 WITH SCORE 8.5357878995E7
AT ITER 9525 NEW BEST:: SOT 865398757 SOS 94566713 HAS SOPS 94566713 HAS SOUS 85262729 HAS SOUPS 85262729 WITH SCORE 8.5357295713E7
AT ITER 9529 NEW BEST:: SOT 865398338 SOS 94564513 HAS SOPS 94564513 HAS SOUS 85260529 HAS SOUPS 85260529 WITH SCORE 8.5355093513E7
AT ITER 9553 NEW BEST:: SOT 865398704 SOS 94563413 HAS SOPS 94563413 HAS SOUS 85259429 HAS SOUPS 85259429 WITH SCORE 8.5353992413E7
AT ITER 9592 NEW BEST:: SOT 865397617 SOS 94562326 HAS SOPS 94562326 HAS SOUS 85258342 HAS SOUPS 85258342 WITH SCORE 8.5352904326E7
AT ITER 9623 NEW BEST:: SOT 865397330 SOS 94561146 HAS SOPS 94561146 HAS SOUS 85257954 HAS SOUPS 85257954 WITH SCORE 8.5352515146E7
AT ITER 9640 NEW BEST:: SOT 865394296 SOS 94558112 HAS SOPS 94558112 HAS SOUS 85251886 HAS SOUPS 85251886 WITH SCORE 8.5346444112E7
AT ITER 9659 NEW BEST:: SOT 865392661 SOS 94554876 HAS SOPS 94554876 HAS SOUS 85248616 HAS SOUPS 85248616 WITH SCORE 8.5343170876E7
AT ITER 9715 NEW BEST:: SOT 865392661 SOS 94554562 HAS SOPS 94554562 HAS SOUS 85248302 HAS SOUPS 85248302 WITH SCORE 8.5342856562E7
AT ITER 9759 NEW BEST:: SOT 865392030 SOS 94553300 HAS SOPS 94553300 HAS SOUS 85247040 HAS SOUPS 85247040 WITH SCORE 8.53415933E7
AT ITER 9762 NEW BEST:: SOT 865392030 SOS 94552771 HAS SOPS 94552771 HAS SOUS 85246511 HAS SOUPS 85246511 WITH SCORE 8.5341063771E7
AT ITER 9780 NEW BEST:: SOT 865391426 SOS 94552167 HAS SOPS 94552167 HAS SOUS 85245907 HAS SOUPS 85245907 WITH SCORE 8.5340459167E7
AT ITER 9800 NEW BEST:: SOT 865390885 SOS 94551626 HAS SOPS 94551626 HAS SOUS 85245366 HAS SOUPS 85245366 WITH SCORE 8.5339917626E7
AT ITER 9809 NEW BEST:: SOT 865390121 SOS 94550862 HAS SOPS 94550862 HAS SOUS 85244602 HAS SOUPS 85244602 WITH SCORE 8.5339152862E7
AT ITER 9839 NEW BEST:: SOT 865389231 SOS 94549972 HAS SOPS 94549972 HAS SOUS 85243957 HAS SOUPS 85243957 WITH SCORE 8.5338506972E7
AT ITER 9899 NEW BEST:: SOT 865388911 SOS 94549652 HAS SOPS 94549652 HAS SOUS 85243637 HAS SOUPS 85243637 WITH SCORE 8.5338186652E7
AT ITER 9907 NEW BEST:: SOT 865388045 SOS 94547920 HAS SOPS 94547920 HAS SOUS 85241905 HAS SOUPS 85241905 WITH SCORE 8.533645292E7
AT ITER 9908 NEW BEST:: SOT 865386945 SOS 94545709 HAS SOPS 94545709 HAS SOUS 85239694 HAS SOUPS 85239694 WITH SCORE 8.5334239709E7
AT ITER 9911 NEW BEST:: SOT 865386818 SOS 94544820 HAS SOPS 94544820 HAS SOUS 85239567 HAS SOUPS 85239567 WITH SCORE 8.533411182E7
AT ITER 9919 NEW BEST:: SOT 865384785 SOS 94541676 HAS SOPS 94541676 HAS SOUS 85236423 HAS SOUPS 85236423 WITH SCORE 8.5330964676E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8819236 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16112508 kB

BK_TIME_CONFINEMENT_REACHED

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

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="FamilyReunion-COL-L00100M0010C005P005G002"
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-L00100M0010C005P005G002, 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-167838847600328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-L00100M0010C005P005G002 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 ;