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.r099-tall-167814472600568.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 DLCflexbar-PT-5b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.0M
-rw-r--r-- 1 mcc users 6.4K Feb 25 15:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 15:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 15:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 15:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 15:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 25 15:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 15:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 25 15:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 6.5M 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 1678251347652

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=DLCflexbar-PT-5b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5b
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: 17305 places, 26483 transitions, 73264 arcs.
AT ITER 0 NEW BEST:: SOT 301486809 SOS 67500431 HAS SOPS 67500431 HAS SOUS 41609817 HAS SOUPS 41609817 WITH SCORE 4.1677317431E7
AT ITER 2 NEW BEST:: SOT 301485330 SOS 67498952 HAS SOPS 67498952 HAS SOUS 41609817 HAS SOUPS 41609817 WITH SCORE 4.1677315952E7
AT ITER 31 NEW BEST:: SOT 301484904 SOS 67498100 HAS SOPS 67498100 HAS SOUS 41608965 HAS SOUPS 41608965 WITH SCORE 4.16764631E7
AT ITER 37 NEW BEST:: SOT 301484904 SOS 67498100 HAS SOPS 67498100 HAS SOUS 41608964 HAS SOUPS 41608964 WITH SCORE 4.16764621E7
AT ITER 46 NEW BEST:: SOT 301482761 SOS 67498096 HAS SOPS 67498096 HAS SOUS 41607433 HAS SOUPS 41607433 WITH SCORE 4.1674931096E7
AT ITER 68 NEW BEST:: SOT 301482993 SOS 67511960 HAS SOPS 67511960 HAS SOUS 41606406 HAS SOUPS 41606406 WITH SCORE 4.167391796E7
AT ITER 109 NEW BEST:: SOT 301482993 SOS 67511960 HAS SOPS 67511960 HAS SOUS 41606405 HAS SOUPS 41606405 WITH SCORE 4.167391696E7
AT ITER 120 NEW BEST:: SOT 301482993 SOS 67521007 HAS SOPS 67521007 HAS SOUS 41603387 HAS SOUPS 41603387 WITH SCORE 4.1670908007E7
AT ITER 124 NEW BEST:: SOT 301481619 SOS 67518259 HAS SOPS 67518259 HAS SOUS 41600639 HAS SOUPS 41600639 WITH SCORE 4.1668157259E7
AT ITER 132 NEW BEST:: SOT 301479556 SOS 67516196 HAS SOPS 67516196 HAS SOUS 41598576 HAS SOUPS 41598576 WITH SCORE 4.1666092196E7
AT ITER 136 NEW BEST:: SOT 301479556 SOS 67516196 HAS SOPS 67516196 HAS SOUS 41598575 HAS SOUPS 41598575 WITH SCORE 4.1666091196E7
AT ITER 147 NEW BEST:: SOT 301477631 SOS 67506571 HAS SOPS 67506571 HAS SOUS 41594725 HAS SOUPS 41594725 WITH SCORE 4.1662231571E7
AT ITER 166 NEW BEST:: SOT 301474462 SOS 67503599 HAS SOPS 67503599 HAS SOUS 41591756 HAS SOUPS 41591756 WITH SCORE 4.1659259599E7
AT ITER 174 NEW BEST:: SOT 301472656 SOS 67501793 HAS SOPS 67501793 HAS SOUS 41589950 HAS SOUPS 41589950 WITH SCORE 4.1657451793E7
AT ITER 185 NEW BEST:: SOT 301472656 SOS 67500299 HAS SOPS 67500299 HAS SOUS 41588456 HAS SOUPS 41588456 WITH SCORE 4.1655956299E7
AT ITER 188 NEW BEST:: SOT 301472656 SOS 67499331 HAS SOPS 67499331 HAS SOUS 41588456 HAS SOUPS 41588456 WITH SCORE 4.1655955331E7
AT ITER 204 NEW BEST:: SOT 301472656 SOS 67498595 HAS SOPS 67498595 HAS SOUS 41588455 HAS SOUPS 41588455 WITH SCORE 4.1655953595E7
AT ITER 212 NEW BEST:: SOT 301471868 SOS 67497887 HAS SOPS 67497887 HAS SOUS 41586799 HAS SOUPS 41586799 WITH SCORE 4.1654296887E7
AT ITER 241 NEW BEST:: SOT 301470014 SOS 67500502 HAS SOPS 67500502 HAS SOUS 41583000 HAS SOUPS 41583000 WITH SCORE 4.1650500502E7
AT ITER 261 NEW BEST:: SOT 301469476 SOS 67499426 HAS SOPS 67499426 HAS SOUS 41581713 HAS SOUPS 41581713 WITH SCORE 4.1649212426E7
AT ITER 320 NEW BEST:: SOT 301469164 SOS 67499270 HAS SOPS 67499270 HAS SOUS 41581557 HAS SOUPS 41581557 WITH SCORE 4.164905627E7
AT ITER 346 NEW BEST:: SOT 301467954 SOS 67496850 HAS SOPS 67496850 HAS SOUS 41579137 HAS SOUPS 41579137 WITH SCORE 4.164663385E7
AT ITER 363 NEW BEST:: SOT 301448752 SOS 67487690 HAS SOPS 67487690 HAS SOUS 41573504 HAS SOUPS 41573504 WITH SCORE 4.164099169E7
AT ITER 388 NEW BEST:: SOT 301444497 SOS 67483435 HAS SOPS 67483435 HAS SOUS 41569249 HAS SOUPS 41569249 WITH SCORE 4.1636732435E7
AT ITER 439 NEW BEST:: SOT 301444496 SOS 67483433 HAS SOPS 67483433 HAS SOUS 41569247 HAS SOUPS 41569247 WITH SCORE 4.1636730433E7
AT ITER 498 NEW BEST:: SOT 301440612 SOS 67479806 HAS SOPS 67479806 HAS SOUS 41565363 HAS SOUPS 41565363 WITH SCORE 4.1632842806E7
AT ITER 503 NEW BEST:: SOT 301438166 SOS 67474914 HAS SOPS 67474914 HAS SOUS 41560471 HAS SOUPS 41560471 WITH SCORE 4.1627945914E7
AT ITER 538 NEW BEST:: SOT 301434671 SOS 67467924 HAS SOPS 67467924 HAS SOUS 41550720 HAS SOUPS 41550720 WITH SCORE 4.1618187924E7
AT ITER 539 NEW BEST:: SOT 301434670 SOS 67467922 HAS SOPS 67467922 HAS SOUS 41550718 HAS SOUPS 41550718 WITH SCORE 4.1618185922E7
AT ITER 576 NEW BEST:: SOT 301434670 SOS 67467922 HAS SOPS 67467922 HAS SOUS 41550717 HAS SOUPS 41550717 WITH SCORE 4.1618184922E7
AT ITER 580 NEW BEST:: SOT 301433394 SOS 67469194 HAS SOPS 67469194 HAS SOUS 41549440 HAS SOUPS 41549440 WITH SCORE 4.1616909194E7
AT ITER 583 NEW BEST:: SOT 301432862 SOS 67472306 HAS SOPS 67472306 HAS SOUS 41548908 HAS SOUPS 41548908 WITH SCORE 4.1616380306E7
AT ITER 658 NEW BEST:: SOT 301432861 SOS 67472304 HAS SOPS 67472304 HAS SOUS 41548906 HAS SOUPS 41548906 WITH SCORE 4.1616378304E7
AT ITER 664 NEW BEST:: SOT 301432861 SOS 67471488 HAS SOPS 67471488 HAS SOUS 41548498 HAS SOUPS 41548498 WITH SCORE 4.1615969488E7
AT ITER 665 NEW BEST:: SOT 301432216 SOS 67470198 HAS SOPS 67470198 HAS SOUS 41547853 HAS SOUPS 41547853 WITH SCORE 4.1615323198E7
AT ITER 690 NEW BEST:: SOT 301432216 SOS 67462557 HAS SOPS 67462557 HAS SOUS 41545306 HAS SOUPS 41545306 WITH SCORE 4.1612768557E7
AT ITER 712 NEW BEST:: SOT 301432216 SOS 67462554 HAS SOPS 67462554 HAS SOUS 41545059 HAS SOUPS 41545059 WITH SCORE 4.1612521554E7
AT ITER 718 NEW BEST:: SOT 301429549 SOS 67460732 HAS SOPS 67460732 HAS SOUS 41543237 HAS SOUPS 41543237 WITH SCORE 4.1610697732E7
AT ITER 733 NEW BEST:: SOT 301428209 SOS 67462257 HAS SOPS 67462257 HAS SOUS 41539140 HAS SOUPS 41539140 WITH SCORE 4.1606602257E7
AT ITER 745 NEW BEST:: SOT 301427408 SOS 67461689 HAS SOPS 67461689 HAS SOUS 41537538 HAS SOUPS 41537538 WITH SCORE 4.1604999689E7
AT ITER 756 NEW BEST:: SOT 301424598 SOS 67464611 HAS SOPS 67464611 HAS SOUS 41534728 HAS SOUPS 41534728 WITH SCORE 4.1602192611E7
AT ITER 770 NEW BEST:: SOT 301424598 SOS 67465309 HAS SOPS 67465309 HAS SOUS 41534727 HAS SOUPS 41534727 WITH SCORE 4.1602192309E7
AT ITER 771 NEW BEST:: SOT 301424598 SOS 67465309 HAS SOPS 67465309 HAS SOUS 41534726 HAS SOUPS 41534726 WITH SCORE 4.1602191309E7
AT ITER 774 NEW BEST:: SOT 301424595 SOS 67465303 HAS SOPS 67465303 HAS SOUS 41534720 HAS SOUPS 41534720 WITH SCORE 4.1602185303E7
AT ITER 775 NEW BEST:: SOT 301424620 SOS 67464967 HAS SOPS 67464967 HAS SOUS 41534384 HAS SOUPS 41534384 WITH SCORE 4.1601848967E7
AT ITER 780 NEW BEST:: SOT 301420604 SOS 67461093 HAS SOPS 67461093 HAS SOUS 41530368 HAS SOUPS 41530368 WITH SCORE 4.1597829093E7
AT ITER 809 NEW BEST:: SOT 301419967 SOS 67459819 HAS SOPS 67459819 HAS SOUS 41529731 HAS SOUPS 41529731 WITH SCORE 4.1597190819E7
AT ITER 828 NEW BEST:: SOT 301419409 SOS 67458703 HAS SOPS 67458703 HAS SOUS 41528615 HAS SOUPS 41528615 WITH SCORE 4.1596073703E7
AT ITER 844 NEW BEST:: SOT 301416795 SOS 67441363 HAS SOPS 67441363 HAS SOUS 41519968 HAS SOUPS 41519968 WITH SCORE 4.1587409363E7
AT ITER 855 NEW BEST:: SOT 301416365 SOS 67441322 HAS SOPS 67441322 HAS SOUS 41519811 HAS SOUPS 41519811 WITH SCORE 4.1587252322E7
AT ITER 871 NEW BEST:: SOT 301416365 SOS 67434758 HAS SOPS 67434758 HAS SOUS 41517623 HAS SOUPS 41517623 WITH SCORE 4.1585057758E7
AT ITER 877 NEW BEST:: SOT 301415874 SOS 67435732 HAS SOPS 67435732 HAS SOUS 41517130 HAS SOUPS 41517130 WITH SCORE 4.1584565732E7
AT ITER 897 NEW BEST:: SOT 301415188 SOS 67435732 HAS SOPS 67435732 HAS SOUS 41516787 HAS SOUPS 41516787 WITH SCORE 4.1584222732E7
AT ITER 991 NEW BEST:: SOT 301414477 SOS 67435021 HAS SOPS 67435021 HAS SOUS 41516076 HAS SOUPS 41516076 WITH SCORE 4.1583511021E7
AT ITER 1009 NEW BEST:: SOT 301413338 SOS 67436160 HAS SOPS 67436160 HAS SOUS 41514937 HAS SOUPS 41514937 WITH SCORE 4.158237316E7
AT ITER 1068 NEW BEST:: SOT 301413324 SOS 67436132 HAS SOPS 67436132 HAS SOUS 41513782 HAS SOUPS 41513782 WITH SCORE 4.1581218132E7
AT ITER 1086 NEW BEST:: SOT 301412517 SOS 67457359 HAS SOPS 67457359 HAS SOUS 41512167 HAS SOUPS 41512167 WITH SCORE 4.1579624359E7
AT ITER 1188 NEW BEST:: SOT 301410173 SOS 67455015 HAS SOPS 67455015 HAS SOUS 41509823 HAS SOUPS 41509823 WITH SCORE 4.1577278015E7
AT ITER 1252 NEW BEST:: SOT 301408869 SOS 67453711 HAS SOPS 67453711 HAS SOUS 41508519 HAS SOUPS 41508519 WITH SCORE 4.1575972711E7
AT ITER 1274 NEW BEST:: SOT 301404728 SOS 67451792 HAS SOPS 67451792 HAS SOUS 41506499 HAS SOUPS 41506499 WITH SCORE 4.1573950792E7
AT ITER 1283 NEW BEST:: SOT 301403933 SOS 67450202 HAS SOPS 67450202 HAS SOUS 41504909 HAS SOUPS 41504909 WITH SCORE 4.1572359202E7
AT ITER 1296 NEW BEST:: SOT 301403130 SOS 67468692 HAS SOPS 67468692 HAS SOUS 41503302 HAS SOUPS 41503302 WITH SCORE 4.1570770692E7
AT ITER 1309 NEW BEST:: SOT 301398954 SOS 67463198 HAS SOPS 67463198 HAS SOUS 41497037 HAS SOUPS 41497037 WITH SCORE 4.1564500198E7
AT ITER 1310 NEW BEST:: SOT 301398954 SOS 67453847 HAS SOPS 67453847 HAS SOUS 41497037 HAS SOUPS 41497037 WITH SCORE 4.1564490847E7
AT ITER 1322 NEW BEST:: SOT 301395597 SOS 67454066 HAS SOPS 67454066 HAS SOUS 41495991 HAS SOUPS 41495991 WITH SCORE 4.1563445066E7
AT ITER 1361 NEW BEST:: SOT 301396984 SOS 67464723 HAS SOPS 67464723 HAS SOUS 41494821 HAS SOUPS 41494821 WITH SCORE 4.1562285723E7
AT ITER 1372 NEW BEST:: SOT 301396116 SOS 67457353 HAS SOPS 67457353 HAS SOUS 41493085 HAS SOUPS 41493085 WITH SCORE 4.1560542353E7
AT ITER 1375 NEW BEST:: SOT 301395098 SOS 67458367 HAS SOPS 67458367 HAS SOUS 41491048 HAS SOUPS 41491048 WITH SCORE 4.1558506367E7
AT ITER 1405 NEW BEST:: SOT 301395098 SOS 67458996 HAS SOPS 67458996 HAS SOUS 41491046 HAS SOUPS 41491046 WITH SCORE 4.1558504996E7
AT ITER 1438 NEW BEST:: SOT 301392648 SOS 67458986 HAS SOPS 67458986 HAS SOUS 41489851 HAS SOUPS 41489851 WITH SCORE 4.1557309986E7
AT ITER 1447 NEW BEST:: SOT 301392648 SOS 67469135 HAS SOPS 67469135 HAS SOUS 41488571 HAS SOUPS 41488571 WITH SCORE 4.1556040135E7
AT ITER 1488 NEW BEST:: SOT 301391681 SOS 67466231 HAS SOPS 67466231 HAS SOUS 41486636 HAS SOUPS 41486636 WITH SCORE 4.1554102231E7
AT ITER 1495 NEW BEST:: SOT 301388765 SOS 67457483 HAS SOPS 67457483 HAS SOUS 41482262 HAS SOUPS 41482262 WITH SCORE 4.1549719483E7
AT ITER 1502 NEW BEST:: SOT 301384804 SOS 67453522 HAS SOPS 67453522 HAS SOUS 41478301 HAS SOUPS 41478301 WITH SCORE 4.1545754522E7
AT ITER 1537 NEW BEST:: SOT 301381950 SOS 67450668 HAS SOPS 67450668 HAS SOUS 41475447 HAS SOUPS 41475447 WITH SCORE 4.1542897668E7
AT ITER 1539 NEW BEST:: SOT 301381462 SOS 67449693 HAS SOPS 67449693 HAS SOUS 41474472 HAS SOUPS 41474472 WITH SCORE 4.1541921693E7
AT ITER 1553 NEW BEST:: SOT 301377818 SOS 67447871 HAS SOPS 67447871 HAS SOUS 41472650 HAS SOUPS 41472650 WITH SCORE 4.1540097871E7
AT ITER 1576 NEW BEST:: SOT 301374426 SOS 67444469 HAS SOPS 67444469 HAS SOUS 41469257 HAS SOUPS 41469257 WITH SCORE 4.1536701469E7
AT ITER 1609 NEW BEST:: SOT 301373471 SOS 67448694 HAS SOPS 67448694 HAS SOUS 41466288 HAS SOUPS 41466288 WITH SCORE 4.1533736694E7
AT ITER 1615 NEW BEST:: SOT 301373057 SOS 67447866 HAS SOPS 67447866 HAS SOUS 41465460 HAS SOUPS 41465460 WITH SCORE 4.1532907866E7
AT ITER 1616 NEW BEST:: SOT 301373421 SOS 67459177 HAS SOPS 67459177 HAS SOUS 41465010 HAS SOUPS 41465010 WITH SCORE 4.1532469177E7
AT ITER 1618 NEW BEST:: SOT 301373421 SOS 67457134 HAS SOPS 67457134 HAS SOUS 41465009 HAS SOUPS 41465009 WITH SCORE 4.1532466134E7
AT ITER 1652 NEW BEST:: SOT 301370165 SOS 67455066 HAS SOPS 67455066 HAS SOUS 41462174 HAS SOUPS 41462174 WITH SCORE 4.1529629066E7
AT ITER 1685 NEW BEST:: SOT 301370165 SOS 67451835 HAS SOPS 67451835 HAS SOUS 41461097 HAS SOUPS 41461097 WITH SCORE 4.1528548835E7
AT ITER 1702 NEW BEST:: SOT 301369665 SOS 67452831 HAS SOPS 67452831 HAS SOUS 41461096 HAS SOUPS 41461096 WITH SCORE 4.1528548831E7
AT ITER 1709 NEW BEST:: SOT 301369547 SOS 67452772 HAS SOPS 67452772 HAS SOUS 41461037 HAS SOUPS 41461037 WITH SCORE 4.1528489772E7
AT ITER 1750 NEW BEST:: SOT 301366315 SOS 67449540 HAS SOPS 67449540 HAS SOUS 41457805 HAS SOUPS 41457805 WITH SCORE 4.152525454E7
AT ITER 1762 NEW BEST:: SOT 301364493 SOS 67450641 HAS SOPS 67450641 HAS SOUS 41453883 HAS SOUPS 41453883 WITH SCORE 4.1521333641E7
AT ITER 1768 NEW BEST:: SOT 301360910 SOS 67450639 HAS SOPS 67450639 HAS SOUS 41453881 HAS SOUPS 41453881 WITH SCORE 4.1521331639E7
AT ITER 1774 NEW BEST:: SOT 301359869 SOS 67449598 HAS SOPS 67449598 HAS SOUS 41452840 HAS SOUPS 41452840 WITH SCORE 4.1520289598E7
AT ITER 1814 NEW BEST:: SOT 301358261 SOS 67446383 HAS SOPS 67446383 HAS SOUS 41449625 HAS SOUPS 41449625 WITH SCORE 4.1517071383E7
AT ITER 1821 NEW BEST:: SOT 301345494 SOS 67448177 HAS SOPS 67448177 HAS SOUS 41449342 HAS SOUPS 41449342 WITH SCORE 4.1516790177E7
AT ITER 1858 NEW BEST:: SOT 301341992 SOS 67446426 HAS SOPS 67446426 HAS SOUS 41447591 HAS SOUPS 41447591 WITH SCORE 4.1515037426E7
AT ITER 1865 NEW BEST:: SOT 301340031 SOS 67442504 HAS SOPS 67442504 HAS SOUS 41440546 HAS SOUPS 41440546 WITH SCORE 4.1507988504E7
AT ITER 1900 NEW BEST:: SOT 301337699 SOS 67440808 HAS SOPS 67440808 HAS SOUS 41439486 HAS SOUPS 41439486 WITH SCORE 4.1506926808E7
AT ITER 1940 NEW BEST:: SOT 301337401 SOS 67440510 HAS SOPS 67440510 HAS SOUS 41439188 HAS SOUPS 41439188 WITH SCORE 4.150662851E7
AT ITER 1967 NEW BEST:: SOT 301336617 SOS 67438942 HAS SOPS 67438942 HAS SOUS 41438404 HAS SOUPS 41438404 WITH SCORE 4.1505842942E7
AT ITER 1969 NEW BEST:: SOT 301333269 SOS 67435594 HAS SOPS 67435594 HAS SOUS 41435056 HAS SOUPS 41435056 WITH SCORE 4.1502491594E7
AT ITER 1971 NEW BEST:: SOT 301333268 SOS 67435592 HAS SOPS 67435592 HAS SOUS 41435054 HAS SOUPS 41435054 WITH SCORE 4.1502489592E7
AT ITER 1995 NEW BEST:: SOT 301333207 SOS 67435470 HAS SOPS 67435470 HAS SOUS 41434932 HAS SOUPS 41434932 WITH SCORE 4.150236747E7
AT ITER 2006 NEW BEST:: SOT 301330428 SOS 67432691 HAS SOPS 67432691 HAS SOUS 41432153 HAS SOUPS 41432153 WITH SCORE 4.1499585691E7
AT ITER 2013 NEW BEST:: SOT 301328297 SOS 67430560 HAS SOPS 67430560 HAS SOUS 41430022 HAS SOUPS 41430022 WITH SCORE 4.149745256E7
AT ITER 2024 NEW BEST:: SOT 301325443 SOS 67427702 HAS SOPS 67427702 HAS SOUS 41427167 HAS SOUPS 41427167 WITH SCORE 4.1494594702E7
AT ITER 2036 NEW BEST:: SOT 301324833 SOS 67426482 HAS SOPS 67426482 HAS SOUS 41426557 HAS SOUPS 41426557 WITH SCORE 4.1493983482E7
AT ITER 2039 NEW BEST:: SOT 301322551 SOS 67421918 HAS SOPS 67421918 HAS SOUS 41424274 HAS SOUPS 41424274 WITH SCORE 4.1491695918E7
AT ITER 2053 NEW BEST:: SOT 301321911 SOS 67422558 HAS SOPS 67422558 HAS SOUS 41423634 HAS SOUPS 41423634 WITH SCORE 4.1491056558E7
AT ITER 2059 NEW BEST:: SOT 301321911 SOS 67429304 HAS SOPS 67429304 HAS SOUS 41421383 HAS SOUPS 41421383 WITH SCORE 4.1488812304E7
AT ITER 2104 NEW BEST:: SOT 301318987 SOS 67426376 HAS SOPS 67426376 HAS SOUS 41418458 HAS SOUPS 41418458 WITH SCORE 4.1485884376E7
AT ITER 2116 NEW BEST:: SOT 301318987 SOS 67419254 HAS SOPS 67419254 HAS SOUS 41416084 HAS SOUPS 41416084 WITH SCORE 4.1483503254E7
AT ITER 2153 NEW BEST:: SOT 301318987 SOS 67418138 HAS SOPS 67418138 HAS SOUS 41416083 HAS SOUPS 41416083 WITH SCORE 4.1483501138E7
AT ITER 2158 NEW BEST:: SOT 301318895 SOS 67417954 HAS SOPS 67417954 HAS SOUS 41415899 HAS SOUPS 41415899 WITH SCORE 4.1483316954E7
AT ITER 2160 NEW BEST:: SOT 301317902 SOS 67416961 HAS SOPS 67416961 HAS SOUS 41413913 HAS SOUPS 41413913 WITH SCORE 4.1481329961E7
AT ITER 2171 NEW BEST:: SOT 301316523 SOS 67414203 HAS SOPS 67414203 HAS SOUS 41411155 HAS SOUPS 41411155 WITH SCORE 4.1478569203E7
AT ITER 2173 NEW BEST:: SOT 301316300 SOS 67413757 HAS SOPS 67413757 HAS SOUS 41408893 HAS SOUPS 41408893 WITH SCORE 4.1476306757E7
AT ITER 2198 NEW BEST:: SOT 301316300 SOS 67413757 HAS SOPS 67413757 HAS SOUS 41408892 HAS SOUPS 41408892 WITH SCORE 4.1476305757E7
AT ITER 2253 NEW BEST:: SOT 301316019 SOS 67413195 HAS SOPS 67413195 HAS SOUS 41408611 HAS SOUPS 41408611 WITH SCORE 4.1476024195E7
AT ITER 2256 NEW BEST:: SOT 301315349 SOS 67411855 HAS SOPS 67411855 HAS SOUS 41407271 HAS SOUPS 41407271 WITH SCORE 4.1474682855E7
AT ITER 2263 NEW BEST:: SOT 301315349 SOS 67411855 HAS SOPS 67411855 HAS SOUS 41407270 HAS SOUPS 41407270 WITH SCORE 4.1474681855E7
AT ITER 2290 NEW BEST:: SOT 301311558 SOS 67429572 HAS SOPS 67429572 HAS SOUS 41402465 HAS SOUPS 41402465 WITH SCORE 4.1469894572E7
AT ITER 2297 NEW BEST:: SOT 301307357 SOS 67425643 HAS SOPS 67425643 HAS SOUS 41398536 HAS SOUPS 41398536 WITH SCORE 4.1465961643E7
AT ITER 2306 NEW BEST:: SOT 301308422 SOS 67424547 HAS SOPS 67424547 HAS SOUS 41398520 HAS SOUPS 41398520 WITH SCORE 4.1465944547E7
AT ITER 2315 NEW BEST:: SOT 301305556 SOS 67421677 HAS SOPS 67421677 HAS SOUS 41395653 HAS SOUPS 41395653 WITH SCORE 4.1463074677E7
AT ITER 2318 NEW BEST:: SOT 301303220 SOS 67419337 HAS SOPS 67419337 HAS SOUS 41393316 HAS SOUPS 41393316 WITH SCORE 4.1460735337E7
AT ITER 2328 NEW BEST:: SOT 301303317 SOS 67410975 HAS SOPS 67410975 HAS SOUS 41390609 HAS SOUPS 41390609 WITH SCORE 4.1458019975E7
AT ITER 2337 NEW BEST:: SOT 301302621 SOS 67409583 HAS SOPS 67409583 HAS SOUS 41389217 HAS SOUPS 41389217 WITH SCORE 4.1456626583E7
AT ITER 2365 NEW BEST:: SOT 301300881 SOS 67408713 HAS SOPS 67408713 HAS SOUS 41388347 HAS SOUPS 41388347 WITH SCORE 4.1455755713E7
AT ITER 2369 NEW BEST:: SOT 301300881 SOS 67408713 HAS SOPS 67408713 HAS SOUS 41388346 HAS SOUPS 41388346 WITH SCORE 4.1455754713E7
AT ITER 2394 NEW BEST:: SOT 301300007 SOS 67406966 HAS SOPS 67406966 HAS SOUS 41387571 HAS SOUPS 41387571 WITH SCORE 4.1454977966E7
AT ITER 2407 NEW BEST:: SOT 301299405 SOS 67405762 HAS SOPS 67405762 HAS SOUS 41386095 HAS SOUPS 41386095 WITH SCORE 4.1453500762E7
AT ITER 2427 NEW BEST:: SOT 301299405 SOS 67405685 HAS SOPS 67405685 HAS SOUS 41386018 HAS SOUPS 41386018 WITH SCORE 4.1453423685E7
AT ITER 2454 NEW BEST:: SOT 301299084 SOS 67405043 HAS SOPS 67405043 HAS SOUS 41383609 HAS SOUPS 41383609 WITH SCORE 4.1451014043E7
AT ITER 2460 NEW BEST:: SOT 301298472 SOS 67403819 HAS SOPS 67403819 HAS SOUS 41382385 HAS SOUPS 41382385 WITH SCORE 4.1449788819E7
AT ITER 2468 NEW BEST:: SOT 301295373 SOS 67405295 HAS SOPS 67405295 HAS SOUS 41379822 HAS SOUPS 41379822 WITH SCORE 4.1447227295E7
AT ITER 2481 NEW BEST:: SOT 301294993 SOS 67404966 HAS SOPS 67404966 HAS SOUS 41379442 HAS SOUPS 41379442 WITH SCORE 4.1446846966E7
AT ITER 2507 NEW BEST:: SOT 301292069 SOS 67396194 HAS SOPS 67396194 HAS SOUS 41375056 HAS SOUPS 41375056 WITH SCORE 4.1442452194E7
AT ITER 2523 NEW BEST:: SOT 301292069 SOS 67396194 HAS SOPS 67396194 HAS SOUS 41374541 HAS SOUPS 41374541 WITH SCORE 4.1441937194E7
AT ITER 2533 NEW BEST:: SOT 301287909 SOS 67393284 HAS SOPS 67393284 HAS SOUS 41371005 HAS SOUPS 41371005 WITH SCORE 4.1438398284E7
AT ITER 2562 NEW BEST:: SOT 301286530 SOS 67390526 HAS SOPS 67390526 HAS SOUS 41369626 HAS SOUPS 41369626 WITH SCORE 4.1437016526E7
AT ITER 2567 NEW BEST:: SOT 301286530 SOS 67388661 HAS SOPS 67388661 HAS SOUS 41367761 HAS SOUPS 41367761 WITH SCORE 4.1435149661E7
AT ITER 2580 NEW BEST:: SOT 301286003 SOS 67389711 HAS SOPS 67389711 HAS SOUS 41367233 HAS SOUPS 41367233 WITH SCORE 4.1434622711E7
AT ITER 2604 NEW BEST:: SOT 301283047 SOS 67387535 HAS SOPS 67387535 HAS SOUS 41365060 HAS SOUPS 41365060 WITH SCORE 4.1432447535E7
AT ITER 2608 NEW BEST:: SOT 301281574 SOS 67389008 HAS SOPS 67389008 HAS SOUS 41362951 HAS SOUPS 41362951 WITH SCORE 4.1430340008E7
AT ITER 2610 NEW BEST:: SOT 301275014 SOS 67382448 HAS SOPS 67382448 HAS SOUS 41356391 HAS SOUPS 41356391 WITH SCORE 4.1423773448E7
AT ITER 2618 NEW BEST:: SOT 301271666 SOS 67379096 HAS SOPS 67379096 HAS SOUS 41353042 HAS SOUPS 41353042 WITH SCORE 4.1420421096E7
AT ITER 2643 NEW BEST:: SOT 301271665 SOS 67379094 HAS SOPS 67379094 HAS SOUS 41353040 HAS SOUPS 41353040 WITH SCORE 4.1420419094E7
AT ITER 2683 NEW BEST:: SOT 301269607 SOS 67368804 HAS SOPS 67368804 HAS SOUS 41348924 HAS SOUPS 41348924 WITH SCORE 4.1416292804E7
AT ITER 2717 NEW BEST:: SOT 301266684 SOS 67365877 HAS SOPS 67365877 HAS SOUS 41346000 HAS SOUPS 41346000 WITH SCORE 4.1413365877E7
AT ITER 2740 NEW BEST:: SOT 301266418 SOS 67365345 HAS SOPS 67365345 HAS SOUS 41345734 HAS SOUPS 41345734 WITH SCORE 4.1413099345E7
AT ITER 2752 NEW BEST:: SOT 301264958 SOS 67365341 HAS SOPS 67365341 HAS SOUS 41344273 HAS SOUPS 41344273 WITH SCORE 4.1411638341E7
AT ITER 2797 NEW BEST:: SOT 301266266 SOS 67367957 HAS SOPS 67367957 HAS SOUS 41341869 HAS SOUPS 41341869 WITH SCORE 4.1409236957E7
AT ITER 2831 NEW BEST:: SOT 301263628 SOS 67365315 HAS SOPS 67365315 HAS SOUS 41339230 HAS SOUPS 41339230 WITH SCORE 4.1406595315E7
AT ITER 2860 NEW BEST:: SOT 301259726 SOS 67364432 HAS SOPS 67364432 HAS SOUS 41337896 HAS SOUPS 41337896 WITH SCORE 4.1405260432E7
AT ITER 2868 NEW BEST:: SOT 301257361 SOS 67362067 HAS SOPS 67362067 HAS SOUS 41335531 HAS SOUPS 41335531 WITH SCORE 4.1402893067E7
AT ITER 2921 NEW BEST:: SOT 301257361 SOS 67361653 HAS SOPS 67361653 HAS SOUS 41335117 HAS SOUPS 41335117 WITH SCORE 4.1402478653E7
AT ITER 2945 NEW BEST:: SOT 301257022 SOS 67360975 HAS SOPS 67360975 HAS SOUS 41334439 HAS SOUPS 41334439 WITH SCORE 4.1401799975E7
AT ITER 2981 NEW BEST:: SOT 301257022 SOS 67360355 HAS SOPS 67360355 HAS SOUS 41334129 HAS SOUPS 41334129 WITH SCORE 4.1401489355E7
AT ITER 2987 NEW BEST:: SOT 301253989 SOS 67357318 HAS SOPS 67357318 HAS SOUS 41331095 HAS SOUPS 41331095 WITH SCORE 4.1398452318E7
AT ITER 2988 NEW BEST:: SOT 301255266 SOS 67359872 HAS SOPS 67359872 HAS SOUS 41328572 HAS SOUPS 41328572 WITH SCORE 4.1395931872E7
AT ITER 3010 NEW BEST:: SOT 301255266 SOS 67357592 HAS SOPS 67357592 HAS SOUS 41328572 HAS SOUPS 41328572 WITH SCORE 4.1395929592E7
AT ITER 3023 NEW BEST:: SOT 301251618 SOS 67355768 HAS SOPS 67355768 HAS SOUS 41326748 HAS SOUPS 41326748 WITH SCORE 4.1394103768E7
AT ITER 3025 NEW BEST:: SOT 301249519 SOS 67364274 HAS SOPS 67364274 HAS SOUS 41322549 HAS SOUPS 41322549 WITH SCORE 4.1389913274E7
AT ITER 3038 NEW BEST:: SOT 301249247 SOS 67363730 HAS SOPS 67363730 HAS SOUS 41320202 HAS SOUPS 41320202 WITH SCORE 4.138756573E7
AT ITER 3062 NEW BEST:: SOT 301249146 SOS 67363528 HAS SOPS 67363528 HAS SOUS 41320000 HAS SOUPS 41320000 WITH SCORE 4.1387363528E7
AT ITER 3082 NEW BEST:: SOT 301248904 SOS 67364150 HAS SOPS 67364150 HAS SOUS 41319914 HAS SOUPS 41319914 WITH SCORE 4.138727815E7
AT ITER 3122 NEW BEST:: SOT 301248307 SOS 67364747 HAS SOPS 67364747 HAS SOUS 41319317 HAS SOUPS 41319317 WITH SCORE 4.1386681747E7
AT ITER 3141 NEW BEST:: SOT 301243867 SOS 67362083 HAS SOPS 67362083 HAS SOUS 41317985 HAS SOUPS 41317985 WITH SCORE 4.1385347083E7
AT ITER 3172 NEW BEST:: SOT 301240811 SOS 67359023 HAS SOPS 67359023 HAS SOUS 41314928 HAS SOUPS 41314928 WITH SCORE 4.1382287023E7
AT ITER 3174 NEW BEST:: SOT 301239380 SOS 67342517 HAS SOPS 67342517 HAS SOUS 41313581 HAS SOUPS 41313581 WITH SCORE 4.1380923517E7
AT ITER 3175 NEW BEST:: SOT 301191634 SOS 67928298 HAS SOPS 67928298 HAS SOUS 41280215 HAS SOUPS 41280215 WITH SCORE 4.1348143298E7
AT ITER 3192 NEW BEST:: SOT 301189731 SOS 67924493 HAS SOPS 67924493 HAS SOUS 41278427 HAS SOUPS 41278427 WITH SCORE 4.1346351493E7
AT ITER 3214 NEW BEST:: SOT 301187533 SOS 67920097 HAS SOPS 67920097 HAS SOUS 41274031 HAS SOUPS 41274031 WITH SCORE 4.1341951097E7
AT ITER 3228 NEW BEST:: SOT 301186790 SOS 67918611 HAS SOPS 67918611 HAS SOUS 41272545 HAS SOUPS 41272545 WITH SCORE 4.1340463611E7
AT ITER 3242 NEW BEST:: SOT 301186789 SOS 67918609 HAS SOPS 67918609 HAS SOUS 41272543 HAS SOUPS 41272543 WITH SCORE 4.1340461609E7
AT ITER 3265 NEW BEST:: SOT 301180502 SOS 67925779 HAS SOPS 67925779 HAS SOUS 41271639 HAS SOUPS 41271639 WITH SCORE 4.1339564779E7
AT ITER 3269 NEW BEST:: SOT 301175421 SOS 67915617 HAS SOPS 67915617 HAS SOUS 41261477 HAS SOUPS 41261477 WITH SCORE 4.1329392617E7
AT ITER 3297 NEW BEST:: SOT 301174711 SOS 67915613 HAS SOPS 67915613 HAS SOUS 41261476 HAS SOUPS 41261476 WITH SCORE 4.1329391613E7
AT ITER 3301 NEW BEST:: SOT 301174412 SOS 67914475 HAS SOPS 67914475 HAS SOUS 41261296 HAS SOUPS 41261296 WITH SCORE 4.1329210475E7
AT ITER 3307 NEW BEST:: SOT 301174272 SOS 67914195 HAS SOPS 67914195 HAS SOUS 41261155 HAS SOUPS 41261155 WITH SCORE 4.1329069195E7
AT ITER 3308 NEW BEST:: SOT 301174272 SOS 67914195 HAS SOPS 67914195 HAS SOUS 41260973 HAS SOUPS 41260973 WITH SCORE 4.1328887195E7
AT ITER 3377 NEW BEST:: SOT 301170514 SOS 67912316 HAS SOPS 67912316 HAS SOUS 41257215 HAS SOUPS 41257215 WITH SCORE 4.1325127316E7
AT ITER 3387 NEW BEST:: SOT 301168103 SOS 67909905 HAS SOPS 67909905 HAS SOUS 41254804 HAS SOUPS 41254804 WITH SCORE 4.1322713905E7
AT ITER 3432 NEW BEST:: SOT 301168058 SOS 67909904 HAS SOPS 67909904 HAS SOUS 41254803 HAS SOUPS 41254803 WITH SCORE 4.1322712904E7
AT ITER 3447 NEW BEST:: SOT 301166716 SOS 67907220 HAS SOPS 67907220 HAS SOUS 41253461 HAS SOUPS 41253461 WITH SCORE 4.132136822E7
AT ITER 3449 NEW BEST:: SOT 301166715 SOS 67907218 HAS SOPS 67907218 HAS SOUS 41253459 HAS SOUPS 41253459 WITH SCORE 4.1321366218E7
AT ITER 3452 NEW BEST:: SOT 301166715 SOS 67907218 HAS SOPS 67907218 HAS SOUS 41253458 HAS SOUPS 41253458 WITH SCORE 4.1321365218E7
AT ITER 3462 NEW BEST:: SOT 301162962 SOS 67936647 HAS SOPS 67936647 HAS SOUS 41251985 HAS SOUPS 41251985 WITH SCORE 4.1319921647E7
AT ITER 3543 NEW BEST:: SOT 301162961 SOS 67936645 HAS SOPS 67936645 HAS SOUS 41251983 HAS SOUPS 41251983 WITH SCORE 4.1319919645E7
AT ITER 3551 NEW BEST:: SOT 301158465 SOS 67932149 HAS SOPS 67932149 HAS SOUS 41247487 HAS SOUPS 41247487 WITH SCORE 4.1315419149E7
AT ITER 3556 NEW BEST:: SOT 301157286 SOS 67929791 HAS SOPS 67929791 HAS SOUS 41245129 HAS SOUPS 41245129 WITH SCORE 4.1313058791E7
AT ITER 3571 NEW BEST:: SOT 301156519 SOS 67928258 HAS SOPS 67928258 HAS SOUS 41243596 HAS SOUPS 41243596 WITH SCORE 4.1311524258E7
AT ITER 3581 NEW BEST:: SOT 301153408 SOS 67925580 HAS SOPS 67925580 HAS SOUS 41240918 HAS SOUPS 41240918 WITH SCORE 4.130884358E7
AT ITER 3582 NEW BEST:: SOT 301153406 SOS 67925576 HAS SOPS 67925576 HAS SOUS 41240914 HAS SOUPS 41240914 WITH SCORE 4.1308839576E7
AT ITER 3595 NEW BEST:: SOT 301152798 SOS 67925148 HAS SOPS 67925148 HAS SOUS 41240486 HAS SOUPS 41240486 WITH SCORE 4.1308411148E7
AT ITER 3611 NEW BEST:: SOT 301149966 SOS 67910988 HAS SOPS 67910988 HAS SOUS 41234822 HAS SOUPS 41234822 WITH SCORE 4.1302732988E7
AT ITER 3630 NEW BEST:: SOT 301150080 SOS 67911216 HAS SOPS 67911216 HAS SOUS 41233988 HAS SOUPS 41233988 WITH SCORE 4.1301899216E7
AT ITER 3634 NEW BEST:: SOT 301147042 SOS 67894385 HAS SOPS 67894385 HAS SOUS 41227912 HAS SOUPS 41227912 WITH SCORE 4.1295806385E7
AT ITER 3638 NEW BEST:: SOT 301147042 SOS 67894385 HAS SOPS 67894385 HAS SOUS 41222980 HAS SOUPS 41222980 WITH SCORE 4.1290874385E7
AT ITER 3649 NEW BEST:: SOT 301144855 SOS 67890011 HAS SOPS 67890011 HAS SOUS 41220369 HAS SOUPS 41220369 WITH SCORE 4.1288259011E7
AT ITER 3674 NEW BEST:: SOT 301144491 SOS 67889283 HAS SOPS 67889283 HAS SOUS 41219641 HAS SOUPS 41219641 WITH SCORE 4.1287530283E7
AT ITER 3705 NEW BEST:: SOT 301144334 SOS 67888969 HAS SOPS 67888969 HAS SOUS 41219327 HAS SOUPS 41219327 WITH SCORE 4.1287215969E7
AT ITER 3710 NEW BEST:: SOT 301143966 SOS 67888601 HAS SOPS 67888601 HAS SOUS 41218959 HAS SOUPS 41218959 WITH SCORE 4.1286847601E7
AT ITER 3717 NEW BEST:: SOT 301143358 SOS 67888021 HAS SOPS 67888021 HAS SOUS 41218379 HAS SOUPS 41218379 WITH SCORE 4.1286267021E7
AT ITER 3732 NEW BEST:: SOT 301143358 SOS 67886803 HAS SOPS 67886803 HAS SOUS 41218379 HAS SOUPS 41218379 WITH SCORE 4.1286265803E7
AT ITER 3749 NEW BEST:: SOT 301142996 SOS 67886075 HAS SOPS 67886075 HAS SOUS 41217654 HAS SOUPS 41217654 WITH SCORE 4.1285540075E7
AT ITER 3780 NEW BEST:: SOT 301142665 SOS 67885413 HAS SOPS 67885413 HAS SOUS 41216992 HAS SOUPS 41216992 WITH SCORE 4.1284877413E7
AT ITER 3782 NEW BEST:: SOT 301142665 SOS 67883795 HAS SOPS 67883795 HAS SOUS 41215374 HAS SOUPS 41215374 WITH SCORE 4.1283257795E7
AT ITER 3803 NEW BEST:: SOT 301139953 SOS 67882435 HAS SOPS 67882435 HAS SOUS 41214017 HAS SOUPS 41214017 WITH SCORE 4.1281899435E7
AT ITER 3806 NEW BEST:: SOT 301138842 SOS 67880214 HAS SOPS 67880214 HAS SOUS 41211796 HAS SOUPS 41211796 WITH SCORE 4.1279676214E7
AT ITER 3828 NEW BEST:: SOT 301135880 SOS 67865404 HAS SOPS 67865404 HAS SOUS 41205872 HAS SOUPS 41205872 WITH SCORE 4.1273737404E7
AT ITER 3836 NEW BEST:: SOT 301133777 SOS 67863946 HAS SOPS 67863946 HAS SOUS 41204414 HAS SOUPS 41204414 WITH SCORE 4.1272277946E7
AT ITER 3840 NEW BEST:: SOT 301129223 SOS 67854838 HAS SOPS 67854838 HAS SOUS 41195306 HAS SOUPS 41195306 WITH SCORE 4.1263160838E7
AT ITER 3852 NEW BEST:: SOT 301127963 SOS 67854834 HAS SOPS 67854834 HAS SOUS 41194045 HAS SOUPS 41194045 WITH SCORE 4.1261899834E7
AT ITER 3863 NEW BEST:: SOT 301129631 SOS 67858170 HAS SOPS 67858170 HAS SOUS 41192259 HAS SOUPS 41192259 WITH SCORE 4.126011717E7
AT ITER 3878 NEW BEST:: SOT 301129630 SOS 67858168 HAS SOPS 67858168 HAS SOUS 41192257 HAS SOUPS 41192257 WITH SCORE 4.1260115168E7
AT ITER 3885 NEW BEST:: SOT 301130150 SOS 67859208 HAS SOPS 67859208 HAS SOUS 41188279 HAS SOUPS 41188279 WITH SCORE 4.1256138208E7
AT ITER 3896 NEW BEST:: SOT 301129366 SOS 67857640 HAS SOPS 67857640 HAS SOUS 41186711 HAS SOUPS 41186711 WITH SCORE 4.125456864E7
AT ITER 3932 NEW BEST:: SOT 301125768 SOS 67854042 HAS SOPS 67854042 HAS SOUS 41183113 HAS SOUPS 41183113 WITH SCORE 4.1250967042E7
AT ITER 3948 NEW BEST:: SOT 301119888 SOS 67847182 HAS SOPS 67847182 HAS SOUS 41180305 HAS SOUPS 41180305 WITH SCORE 4.1248152182E7
AT ITER 3954 NEW BEST:: SOT 301117358 SOS 67842122 HAS SOPS 67842122 HAS SOUS 41175245 HAS SOUPS 41175245 WITH SCORE 4.1243087122E7
AT ITER 3983 NEW BEST:: SOT 301117358 SOS 67842122 HAS SOPS 67842122 HAS SOUS 41175244 HAS SOUPS 41175244 WITH SCORE 4.1243086122E7
AT ITER 4013 NEW BEST:: SOT 301117009 SOS 67841424 HAS SOPS 67841424 HAS SOUS 41174895 HAS SOUPS 41174895 WITH SCORE 4.1242736424E7
AT ITER 4048 NEW BEST:: SOT 301114217 SOS 67840024 HAS SOPS 67840024 HAS SOUS 41173498 HAS SOUPS 41173498 WITH SCORE 4.1241338024E7
AT ITER 4058 NEW BEST:: SOT 301112281 SOS 67836152 HAS SOPS 67836152 HAS SOUS 41169626 HAS SOUPS 41169626 WITH SCORE 4.1237462152E7
AT ITER 4071 NEW BEST:: SOT 301112281 SOS 67835121 HAS SOPS 67835121 HAS SOUS 41169626 HAS SOUPS 41169626 WITH SCORE 4.1237461121E7
AT ITER 4084 NEW BEST:: SOT 301112281 SOS 67827525 HAS SOPS 67827525 HAS SOUS 41167094 HAS SOUPS 41167094 WITH SCORE 4.1234921525E7
AT ITER 4137 NEW BEST:: SOT 301110284 SOS 67827521 HAS SOPS 67827521 HAS SOUS 41167093 HAS SOUPS 41167093 WITH SCORE 4.1234920521E7
AT ITER 4167 NEW BEST:: SOT 301108607 SOS 67824167 HAS SOPS 67824167 HAS SOUS 41163739 HAS SOUPS 41163739 WITH SCORE 4.1231563167E7
AT ITER 4178 NEW BEST:: SOT 301107396 SOS 67821745 HAS SOPS 67821745 HAS SOUS 41161317 HAS SOUPS 41161317 WITH SCORE 4.1229138745E7
AT ITER 4182 NEW BEST:: SOT 301106686 SOS 67820325 HAS SOPS 67820325 HAS SOUS 41159897 HAS SOUPS 41159897 WITH SCORE 4.1227717325E7
AT ITER 4203 NEW BEST:: SOT 301107827 SOS 67822607 HAS SOPS 67822607 HAS SOUS 41159155 HAS SOUPS 41159155 WITH SCORE 4.1226977607E7
AT ITER 4230 NEW BEST:: SOT 301109133 SOS 67822605 HAS SOPS 67822605 HAS SOUS 41159154 HAS SOUPS 41159154 WITH SCORE 4.1226976605E7
AT ITER 4242 NEW BEST:: SOT 301104884 SOS 67817625 HAS SOPS 67817625 HAS SOUS 41156687 HAS SOUPS 41156687 WITH SCORE 4.1224504625E7
AT ITER 4270 NEW BEST:: SOT 301104490 SOS 67817624 HAS SOPS 67817624 HAS SOUS 41156686 HAS SOUPS 41156686 WITH SCORE 4.1224503624E7
AT ITER 4287 NEW BEST:: SOT 301104490 SOS 67816215 HAS SOPS 67816215 HAS SOUS 41156686 HAS SOUPS 41156686 WITH SCORE 4.1224502215E7
AT ITER 4311 NEW BEST:: SOT 301104489 SOS 67816213 HAS SOPS 67816213 HAS SOUS 41156684 HAS SOUPS 41156684 WITH SCORE 4.1224500213E7
AT ITER 4313 NEW BEST:: SOT 301104488 SOS 67816211 HAS SOPS 67816211 HAS SOUS 41156682 HAS SOUPS 41156682 WITH SCORE 4.1224498211E7
AT ITER 4332 NEW BEST:: SOT 301100580 SOS 67814257 HAS SOPS 67814257 HAS SOUS 41152774 HAS SOUPS 41152774 WITH SCORE 4.1220588257E7
AT ITER 4357 NEW BEST:: SOT 301093109 SOS 67808921 HAS SOPS 67808921 HAS SOUS 41145303 HAS SOUPS 41145303 WITH SCORE 4.1213111921E7
AT ITER 4368 NEW BEST:: SOT 301088783 SOS 67804595 HAS SOPS 67804595 HAS SOUS 41140977 HAS SOUPS 41140977 WITH SCORE 4.1208781595E7
AT ITER 4375 NEW BEST:: SOT 301090247 SOS 67827961 HAS SOPS 67827961 HAS SOUS 41139990 HAS SOUPS 41139990 WITH SCORE 4.1207817961E7
AT ITER 4413 NEW BEST:: SOT 301090247 SOS 67827961 HAS SOPS 67827961 HAS SOUS 41139989 HAS SOUPS 41139989 WITH SCORE 4.1207816961E7
AT ITER 4442 NEW BEST:: SOT 301088303 SOS 67826013 HAS SOPS 67826013 HAS SOUS 41138044 HAS SOUPS 41138044 WITH SCORE 4.1205870013E7
AT ITER 4455 NEW BEST:: SOT 301085972 SOS 67826013 HAS SOPS 67826013 HAS SOUS 41136786 HAS SOUPS 41136786 WITH SCORE 4.1204612013E7
AT ITER 4494 NEW BEST:: SOT 301078902 SOS 67817933 HAS SOPS 67817933 HAS SOUS 41129716 HAS SOUPS 41129716 WITH SCORE 4.1197533933E7
AT ITER 4511 NEW BEST:: SOT 301076322 SOS 67815353 HAS SOPS 67815353 HAS SOUS 41127136 HAS SOUPS 41127136 WITH SCORE 4.1194951353E7
AT ITER 4532 NEW BEST:: SOT 301076320 SOS 67815349 HAS SOPS 67815349 HAS SOUS 41127132 HAS SOUPS 41127132 WITH SCORE 4.1194947349E7
AT ITER 4533 NEW BEST:: SOT 301073297 SOS 67796332 HAS SOPS 67796332 HAS SOUS 41116354 HAS SOUPS 41116354 WITH SCORE 4.1184150332E7
AT ITER 4557 NEW BEST:: SOT 301072952 SOS 67795987 HAS SOPS 67795987 HAS SOUS 41116009 HAS SOUPS 41116009 WITH SCORE 4.1183804987E7
AT ITER 4577 NEW BEST:: SOT 301072952 SOS 67795987 HAS SOPS 67795987 HAS SOUS 41116008 HAS SOUPS 41116008 WITH SCORE 4.1183803987E7
AT ITER 4590 NEW BEST:: SOT 301072481 SOS 67795045 HAS SOPS 67795045 HAS SOUS 41115537 HAS SOUPS 41115537 WITH SCORE 4.1183332045E7
AT ITER 4592 NEW BEST:: SOT 301072390 SOS 67795044 HAS SOPS 67795044 HAS SOUS 41115536 HAS SOUPS 41115536 WITH SCORE 4.1183331044E7
AT ITER 4595 NEW BEST:: SOT 301071415 SOS 67796012 HAS SOPS 67796012 HAS SOUS 41114559 HAS SOUPS 41114559 WITH SCORE 4.1182355012E7
AT ITER 4611 NEW BEST:: SOT 301068874 SOS 67794164 HAS SOPS 67794164 HAS SOUS 41113404 HAS SOUPS 41113404 WITH SCORE 4.1181198164E7
AT ITER 4613 NEW BEST:: SOT 301068262 SOS 67792940 HAS SOPS 67792940 HAS SOUS 41112180 HAS SOUPS 41112180 WITH SCORE 4.117997294E7
AT ITER 4635 NEW BEST:: SOT 301064303 SOS 67788981 HAS SOPS 67788981 HAS SOUS 41108221 HAS SOUPS 41108221 WITH SCORE 4.1176009981E7
AT ITER 4687 NEW BEST:: SOT 301063752 SOS 67788978 HAS SOPS 67788978 HAS SOUS 41108220 HAS SOUPS 41108220 WITH SCORE 4.1176008978E7
AT ITER 4754 NEW BEST:: SOT 301062297 SOS 67784613 HAS SOPS 67784613 HAS SOUS 41105310 HAS SOUPS 41105310 WITH SCORE 4.1173094613E7
AT ITER 4764 NEW BEST:: SOT 301059168 SOS 67774824 HAS SOPS 67774824 HAS SOUS 41100540 HAS SOUPS 41100540 WITH SCORE 4.1168314824E7
AT ITER 4775 NEW BEST:: SOT 301057381 SOS 67774693 HAS SOPS 67774693 HAS SOUS 41100409 HAS SOUPS 41100409 WITH SCORE 4.1168183693E7
AT ITER 4784 NEW BEST:: SOT 301057378 SOS 67774687 HAS SOPS 67774687 HAS SOUS 41100403 HAS SOUPS 41100403 WITH SCORE 4.1168177687E7
AT ITER 4788 NEW BEST:: SOT 301057378 SOS 67774505 HAS SOPS 67774505 HAS SOUS 41100403 HAS SOUPS 41100403 WITH SCORE 4.1168177505E7
AT ITER 4790 NEW BEST:: SOT 301054869 SOS 67769487 HAS SOPS 67769487 HAS SOUS 41095385 HAS SOUPS 41095385 WITH SCORE 4.1163154487E7
AT ITER 4793 NEW BEST:: SOT 301054869 SOS 67769487 HAS SOPS 67769487 HAS SOUS 41095066 HAS SOUPS 41095066 WITH SCORE 4.1162835487E7
AT ITER 4876 NEW BEST:: SOT 301054832 SOS 67769733 HAS SOPS 67769733 HAS SOUS 41095029 HAS SOUPS 41095029 WITH SCORE 4.1162798733E7
AT ITER 4913 NEW BEST:: SOT 301054832 SOS 67769733 HAS SOPS 67769733 HAS SOUS 41095028 HAS SOUPS 41095028 WITH SCORE 4.1162797733E7
AT ITER 4916 NEW BEST:: SOT 301038263 SOS 67769078 HAS SOPS 67769078 HAS SOUS 41094211 HAS SOUPS 41094211 WITH SCORE 4.1161980078E7
AT ITER 4921 NEW BEST:: SOT 301035453 SOS 67766889 HAS SOPS 67766889 HAS SOUS 41092022 HAS SOUPS 41092022 WITH SCORE 4.1159788889E7
AT ITER 4956 NEW BEST:: SOT 301032941 SOS 67765633 HAS SOPS 67765633 HAS SOUS 41090766 HAS SOUPS 41090766 WITH SCORE 4.1158531633E7
AT ITER 4962 NEW BEST:: SOT 301032758 SOS 67767768 HAS SOPS 67767768 HAS SOUS 41090399 HAS SOUPS 41090399 WITH SCORE 4.1158166768E7
AT ITER 4979 NEW BEST:: SOT 301032758 SOS 67766787 HAS SOPS 67766787 HAS SOUS 41090399 HAS SOUPS 41090399 WITH SCORE 4.1158165787E7
AT ITER 5119 NEW BEST:: SOT 301032203 SOS 67757433 HAS SOPS 67757433 HAS SOUS 41087620 HAS SOUPS 41087620 WITH SCORE 4.1155377433E7
AT ITER 5127 NEW BEST:: SOT 301030124 SOS 67757429 HAS SOPS 67757429 HAS SOUS 41087619 HAS SOUPS 41087619 WITH SCORE 4.1155376429E7
AT ITER 5159 NEW BEST:: SOT 301029804 SOS 67756789 HAS SOPS 67756789 HAS SOUS 41086979 HAS SOUPS 41086979 WITH SCORE 4.1154735789E7
AT ITER 5162 NEW BEST:: SOT 301028228 SOS 67753638 HAS SOPS 67753638 HAS SOUS 41083828 HAS SOUPS 41083828 WITH SCORE 4.1151581638E7
AT ITER 5213 NEW BEST:: SOT 301024640 SOS 67753830 HAS SOPS 67753830 HAS SOUS 41083103 HAS SOUPS 41083103 WITH SCORE 4.115085683E7
AT ITER 5273 NEW BEST:: SOT 301019832 SOS 67744214 HAS SOPS 67744214 HAS SOUS 41073487 HAS SOUPS 41073487 WITH SCORE 4.1141231214E7
AT ITER 5276 NEW BEST:: SOT 301015825 SOS 67748221 HAS SOPS 67748221 HAS SOUS 41068059 HAS SOUPS 41068059 WITH SCORE 4.1135807221E7
AT ITER 5278 NEW BEST:: SOT 301014890 SOS 67746351 HAS SOPS 67746351 HAS SOUS 41066189 HAS SOUPS 41066189 WITH SCORE 4.1133935351E7
AT ITER 5312 NEW BEST:: SOT 301012036 SOS 67745486 HAS SOPS 67745486 HAS SOUS 41059488 HAS SOUPS 41059488 WITH SCORE 4.1127233486E7
AT ITER 5329 NEW BEST:: SOT 301008406 SOS 67741856 HAS SOPS 67741856 HAS SOUS 41056584 HAS SOUPS 41056584 WITH SCORE 4.1124325856E7
AT ITER 5337 NEW BEST:: SOT 301008405 SOS 67406050 HAS SOPS 67406050 HAS SOUS 41056582 HAS SOUPS 41056582 WITH SCORE 4.112398805E7
AT ITER 5342 NEW BEST:: SOT 301007843 SOS 67404926 HAS SOPS 67404926 HAS SOUS 41056020 HAS SOUPS 41056020 WITH SCORE 4.1123424926E7
AT ITER 5390 NEW BEST:: SOT 301006671 SOS 67402582 HAS SOPS 67402582 HAS SOUS 41056020 HAS SOUPS 41056020 WITH SCORE 4.1123422582E7
AT ITER 5400 NEW BEST:: SOT 301004574 SOS 67401178 HAS SOPS 67401178 HAS SOUS 41054615 HAS SOUPS 41054615 WITH SCORE 4.1122016178E7
AT ITER 5405 NEW BEST:: SOT 301004247 SOS 67400524 HAS SOPS 67400524 HAS SOUS 41053961 HAS SOUPS 41053961 WITH SCORE 4.1121361524E7
AT ITER 5444 NEW BEST:: SOT 301002642 SOS 67400521 HAS SOPS 67400521 HAS SOUS 41053958 HAS SOUPS 41053958 WITH SCORE 4.1121358521E7
AT ITER 5452 NEW BEST:: SOT 301002642 SOS 67400079 HAS SOPS 67400079 HAS SOUS 41053516 HAS SOUPS 41053516 WITH SCORE 4.1120916079E7
AT ITER 5455 NEW BEST:: SOT 301000522 SOS 67397959 HAS SOPS 67397959 HAS SOUS 41051396 HAS SOUPS 41051396 WITH SCORE 4.1118793959E7
AT ITER 5464 NEW BEST:: SOT 300999900 SOS 67396715 HAS SOPS 67396715 HAS SOUS 41050152 HAS SOUPS 41050152 WITH SCORE 4.1117548715E7
AT ITER 5479 NEW BEST:: SOT 300999229 SOS 67395373 HAS SOPS 67395373 HAS SOUS 41048810 HAS SOUPS 41048810 WITH SCORE 4.1116205373E7
AT ITER 5510 NEW BEST:: SOT 300998197 SOS 67396405 HAS SOPS 67396405 HAS SOUS 41047778 HAS SOUPS 41047778 WITH SCORE 4.1115174405E7
AT ITER 5511 NEW BEST:: SOT 300996135 SOS 67395718 HAS SOPS 67395718 HAS SOUS 41043707 HAS SOUPS 41043707 WITH SCORE 4.1111102718E7
AT ITER 5514 NEW BEST:: SOT 300980542 SOS 67390121 HAS SOPS 67390121 HAS SOUS 41039226 HAS SOUPS 41039226 WITH SCORE 4.1106616121E7
AT ITER 5569 NEW BEST:: SOT 300980542 SOS 67388060 HAS SOPS 67388060 HAS SOUS 41039225 HAS SOUPS 41039225 WITH SCORE 4.110661306E7
AT ITER 5577 NEW BEST:: SOT 300978829 SOS 67384634 HAS SOPS 67384634 HAS SOUS 41035799 HAS SOUPS 41035799 WITH SCORE 4.1103183634E7
AT ITER 5578 NEW BEST:: SOT 300978097 SOS 67383171 HAS SOPS 67383171 HAS SOUS 41034336 HAS SOUPS 41034336 WITH SCORE 4.1101719171E7
AT ITER 5583 NEW BEST:: SOT 300978097 SOS 67383171 HAS SOPS 67383171 HAS SOUS 41034335 HAS SOUPS 41034335 WITH SCORE 4.1101718171E7
AT ITER 5627 NEW BEST:: SOT 300978094 SOS 67383165 HAS SOPS 67383165 HAS SOUS 41034329 HAS SOUPS 41034329 WITH SCORE 4.1101712165E7
AT ITER 5632 NEW BEST:: SOT 300977841 SOS 67382659 HAS SOPS 67382659 HAS SOUS 41031547 HAS SOUPS 41031547 WITH SCORE 4.1098929659E7
AT ITER 5640 NEW BEST:: SOT 300977271 SOS 67381519 HAS SOPS 67381519 HAS SOUS 41030407 HAS SOUPS 41030407 WITH SCORE 4.1097788519E7
AT ITER 5651 NEW BEST:: SOT 300966673 SOS 67431112 HAS SOPS 67431112 HAS SOUS 41028395 HAS SOUPS 41028395 WITH SCORE 4.1095826112E7
AT ITER 5663 NEW BEST:: SOT 300967501 SOS 67419040 HAS SOPS 67419040 HAS SOUS 41027521 HAS SOUPS 41027521 WITH SCORE 4.109494004E7
AT ITER 5667 NEW BEST:: SOT 300963077 SOS 67414616 HAS SOPS 67414616 HAS SOUS 41023097 HAS SOUPS 41023097 WITH SCORE 4.1090511616E7
AT ITER 5681 NEW BEST:: SOT 300959381 SOS 67413029 HAS SOPS 67413029 HAS SOUS 41021510 HAS SOUPS 41021510 WITH SCORE 4.1088923029E7
AT ITER 5684 NEW BEST:: SOT 300959381 SOS 67413029 HAS SOPS 67413029 HAS SOUS 41021509 HAS SOUPS 41021509 WITH SCORE 4.1088922029E7
AT ITER 5685 NEW BEST:: SOT 300959381 SOS 67412075 HAS SOPS 67412075 HAS SOUS 41021509 HAS SOUPS 41021509 WITH SCORE 4.1088921075E7
AT ITER 5706 NEW BEST:: SOT 300957293 SOS 67409983 HAS SOPS 67409983 HAS SOUS 41019420 HAS SOUPS 41019420 WITH SCORE 4.1086829983E7
AT ITER 5712 NEW BEST:: SOT 300957293 SOS 67409983 HAS SOPS 67409983 HAS SOUS 41019419 HAS SOUPS 41019419 WITH SCORE 4.1086828983E7
AT ITER 5726 NEW BEST:: SOT 300957292 SOS 67408237 HAS SOPS 67408237 HAS SOUS 41017673 HAS SOUPS 41017673 WITH SCORE 4.1085081237E7
AT ITER 5774 NEW BEST:: SOT 300956558 SOS 67407503 HAS SOPS 67407503 HAS SOUS 41016939 HAS SOUPS 41016939 WITH SCORE 4.1084346503E7
AT ITER 5864 NEW BEST:: SOT 300954452 SOS 67413703 HAS SOPS 67413703 HAS SOUS 41012726 HAS SOUPS 41012726 WITH SCORE 4.1080139703E7
AT ITER 5904 NEW BEST:: SOT 300954452 SOS 67414097 HAS SOPS 67414097 HAS SOUS 41012725 HAS SOUPS 41012725 WITH SCORE 4.1080139097E7
AT ITER 5908 NEW BEST:: SOT 300938510 SOS 67404865 HAS SOPS 67404865 HAS SOUS 41006662 HAS SOUPS 41006662 WITH SCORE 4.1074066865E7
AT ITER 5914 NEW BEST:: SOT 300937443 SOS 67402731 HAS SOPS 67402731 HAS SOUS 41005595 HAS SOUPS 41005595 WITH SCORE 4.1072997731E7
AT ITER 5917 NEW BEST:: SOT 300936480 SOS 67404653 HAS SOPS 67404653 HAS SOUS 41004631 HAS SOUPS 41004631 WITH SCORE 4.1072035653E7
AT ITER 5930 NEW BEST:: SOT 300936480 SOS 67404272 HAS SOPS 67404272 HAS SOUS 41004250 HAS SOUPS 41004250 WITH SCORE 4.1071654272E7
AT ITER 5954 NEW BEST:: SOT 300936480 SOS 67396685 HAS SOPS 67396685 HAS SOUS 41001721 HAS SOUPS 41001721 WITH SCORE 4.1069117685E7
AT ITER 5982 NEW BEST:: SOT 300937916 SOS 67399557 HAS SOPS 67399557 HAS SOUS 40999472 HAS SOUPS 40999472 WITH SCORE 4.1066871557E7
AT ITER 6005 NEW BEST:: SOT 300935474 SOS 67397111 HAS SOPS 67397111 HAS SOUS 40997029 HAS SOUPS 40997029 WITH SCORE 4.1064426111E7
AT ITER 6020 NEW BEST:: SOT 300934253 SOS 67398328 HAS SOPS 67398328 HAS SOUS 40994586 HAS SOUPS 40994586 WITH SCORE 4.1061984328E7
AT ITER 6048 NEW BEST:: SOT 300934044 SOS 67398533 HAS SOPS 67398533 HAS SOUS 40994585 HAS SOUPS 40994585 WITH SCORE 4.1061983533E7
AT ITER 6063 NEW BEST:: SOT 300934038 SOS 67406410 HAS SOPS 67406410 HAS SOUS 40993886 HAS SOUPS 40993886 WITH SCORE 4.106129241E7
AT ITER 6066 NEW BEST:: SOT 300934038 SOS 67413159 HAS SOPS 67413159 HAS SOUS 40991634 HAS SOUPS 40991634 WITH SCORE 4.1059047159E7
AT ITER 6073 NEW BEST:: SOT 300933499 SOS 67412081 HAS SOPS 67412081 HAS SOUS 40990556 HAS SOUPS 40990556 WITH SCORE 4.1057968081E7
AT ITER 6100 NEW BEST:: SOT 300932537 SOS 67418815 HAS SOPS 67418815 HAS SOUS 40989594 HAS SOUPS 40989594 WITH SCORE 4.1057012815E7
AT ITER 6113 NEW BEST:: SOT 300931886 SOS 67418623 HAS SOPS 67418623 HAS SOUS 40989313 HAS SOUPS 40989313 WITH SCORE 4.1056731623E7
AT ITER 6141 NEW BEST:: SOT 300931886 SOS 67412265 HAS SOPS 67412265 HAS SOUS 40989192 HAS SOUPS 40989192 WITH SCORE 4.1056604265E7
AT ITER 6149 NEW BEST:: SOT 300929119 SOS 67409861 HAS SOPS 67409861 HAS SOUS 40986788 HAS SOUPS 40986788 WITH SCORE 4.1054197861E7
AT ITER 6156 NEW BEST:: SOT 300929119 SOS 67410857 HAS SOPS 67410857 HAS SOUS 40986786 HAS SOUPS 40986786 WITH SCORE 4.1054196857E7
AT ITER 6193 NEW BEST:: SOT 300928787 SOS 67410691 HAS SOPS 67410691 HAS SOUS 40986620 HAS SOUPS 40986620 WITH SCORE 4.1054030691E7
AT ITER 6209 NEW BEST:: SOT 300928786 SOS 67410689 HAS SOPS 67410689 HAS SOUS 40986618 HAS SOUPS 40986618 WITH SCORE 4.1054028689E7
AT ITER 6210 NEW BEST:: SOT 300928445 SOS 67410007 HAS SOPS 67410007 HAS SOUS 40986276 HAS SOUPS 40986276 WITH SCORE 4.1053686007E7
AT ITER 6225 NEW BEST:: SOT 300927602 SOS 67410850 HAS SOPS 67410850 HAS SOUS 40985433 HAS SOUPS 40985433 WITH SCORE 4.105284385E7
AT ITER 6262 NEW BEST:: SOT 300927597 SOS 67410840 HAS SOPS 67410840 HAS SOUS 40985171 HAS SOUPS 40985171 WITH SCORE 4.105258184E7
AT ITER 6330 NEW BEST:: SOT 300927576 SOS 67410798 HAS SOPS 67410798 HAS SOUS 40985129 HAS SOUPS 40985129 WITH SCORE 4.1052539798E7
AT ITER 6348 NEW BEST:: SOT 300926258 SOS 67412112 HAS SOPS 67412112 HAS SOUS 40982492 HAS SOUPS 40982492 WITH SCORE 4.1049904112E7
AT ITER 6353 NEW BEST:: SOT 300925317 SOS 67411428 HAS SOPS 67411428 HAS SOUS 40981808 HAS SOUPS 40981808 WITH SCORE 4.1049219428E7
AT ITER 6359 NEW BEST:: SOT 300925317 SOS 67403151 HAS SOPS 67403151 HAS SOUS 40979049 HAS SOUPS 40979049 WITH SCORE 4.1046452151E7
AT ITER 6363 NEW BEST:: SOT 300925317 SOS 67401351 HAS SOPS 67401351 HAS SOUS 40979049 HAS SOUPS 40979049 WITH SCORE 4.1046450351E7
AT ITER 6378 NEW BEST:: SOT 300925317 SOS 67401351 HAS SOPS 67401351 HAS SOUS 40978625 HAS SOUPS 40978625 WITH SCORE 4.1046026351E7
AT ITER 6404 NEW BEST:: SOT 300924919 SOS 67400953 HAS SOPS 67400953 HAS SOUS 40978227 HAS SOUPS 40978227 WITH SCORE 4.1045627953E7
AT ITER 6408 NEW BEST:: SOT 300921144 SOS 67397175 HAS SOPS 67397175 HAS SOUS 40974449 HAS SOUPS 40974449 WITH SCORE 4.1041846175E7
AT ITER 6412 NEW BEST:: SOT 300921144 SOS 67395543 HAS SOPS 67395543 HAS SOUS 40974448 HAS SOUPS 40974448 WITH SCORE 4.1041843543E7
AT ITER 6446 NEW BEST:: SOT 300921144 SOS 67388019 HAS SOPS 67388019 HAS SOUS 40971940 HAS SOUPS 40971940 WITH SCORE 4.1039328019E7
AT ITER 6448 NEW BEST:: SOT 300921144 SOS 67381884 HAS SOPS 67381884 HAS SOUS 40971940 HAS SOUPS 40971940 WITH SCORE 4.1039321884E7
AT ITER 6475 NEW BEST:: SOT 300921282 SOS 67382160 HAS SOPS 67382160 HAS SOUS 40970066 HAS SOUPS 40970066 WITH SCORE 4.103744816E7
AT ITER 6488 NEW BEST:: SOT 300921369 SOS 67382334 HAS SOPS 67382334 HAS SOUS 40968129 HAS SOUPS 40968129 WITH SCORE 4.1035511334E7
AT ITER 6501 NEW BEST:: SOT 300921369 SOS 67380864 HAS SOPS 67380864 HAS SOUS 40968128 HAS SOUPS 40968128 WITH SCORE 4.1035508864E7
AT ITER 6520 NEW BEST:: SOT 300919354 SOS 67379670 HAS SOPS 67379670 HAS SOUS 40966256 HAS SOUPS 40966256 WITH SCORE 4.103363567E7
AT ITER 6537 NEW BEST:: SOT 300915964 SOS 67379184 HAS SOPS 67379184 HAS SOUS 40964964 HAS SOUPS 40964964 WITH SCORE 4.1032343184E7
AT ITER 6540 NEW BEST:: SOT 300915820 SOS 67379183 HAS SOPS 67379183 HAS SOUS 40964963 HAS SOUPS 40964963 WITH SCORE 4.1032342183E7
AT ITER 6549 NEW BEST:: SOT 300915799 SOS 67379162 HAS SOPS 67379162 HAS SOUS 40964942 HAS SOUPS 40964942 WITH SCORE 4.1032321162E7
AT ITER 6591 NEW BEST:: SOT 300916871 SOS 67379751 HAS SOPS 67379751 HAS SOUS 40964851 HAS SOUPS 40964851 WITH SCORE 4.1032230751E7
AT ITER 6608 NEW BEST:: SOT 300916144 SOS 67378297 HAS SOPS 67378297 HAS SOUS 40964123 HAS SOUPS 40964123 WITH SCORE 4.1031501297E7
AT ITER 6612 NEW BEST:: SOT 300914673 SOS 67375356 HAS SOPS 67375356 HAS SOUS 40961182 HAS SOUPS 40961182 WITH SCORE 4.1028557356E7
AT ITER 6620 NEW BEST:: SOT 300911825 SOS 67369660 HAS SOPS 67369660 HAS SOUS 40955486 HAS SOUPS 40955486 WITH SCORE 4.102285566E7
AT ITER 6626 NEW BEST:: SOT 300911824 SOS 67369658 HAS SOPS 67369658 HAS SOUS 40955484 HAS SOUPS 40955484 WITH SCORE 4.1022853658E7
AT ITER 6629 NEW BEST:: SOT 300909836 SOS 67365682 HAS SOPS 67365682 HAS SOUS 40951508 HAS SOUPS 40951508 WITH SCORE 4.1018873682E7
AT ITER 6639 NEW BEST:: SOT 300909834 SOS 67365678 HAS SOPS 67365678 HAS SOUS 40951504 HAS SOUPS 40951504 WITH SCORE 4.1018869678E7
AT ITER 6640 NEW BEST:: SOT 300907454 SOS 67354234 HAS SOPS 67354234 HAS SOUS 40946896 HAS SOUPS 40946896 WITH SCORE 4.1014250234E7
AT ITER 6650 NEW BEST:: SOT 300907454 SOS 67352372 HAS SOPS 67352372 HAS SOUS 40946896 HAS SOUPS 40946896 WITH SCORE 4.1014248372E7
AT ITER 6667 NEW BEST:: SOT 300907453 SOS 67352370 HAS SOPS 67352370 HAS SOUS 40946895 HAS SOUPS 40946895 WITH SCORE 4.101424737E7
AT ITER 6690 NEW BEST:: SOT 300904713 SOS 67349630 HAS SOPS 67349630 HAS SOUS 40944155 HAS SOUPS 40944155 WITH SCORE 4.101150463E7
AT ITER 6695 NEW BEST:: SOT 300904696 SOS 67349596 HAS SOPS 67349596 HAS SOUS 40942109 HAS SOUPS 40942109 WITH SCORE 4.1009458596E7
AT ITER 6700 NEW BEST:: SOT 300904762 SOS 67347931 HAS SOPS 67347931 HAS SOUS 40940444 HAS SOUPS 40940444 WITH SCORE 4.1007791931E7
AT ITER 6746 NEW BEST:: SOT 300903004 SOS 67346173 HAS SOPS 67346173 HAS SOUS 40938686 HAS SOUPS 40938686 WITH SCORE 4.1006032173E7
AT ITER 6766 NEW BEST:: SOT 300903727 SOS 67356559 HAS SOPS 67356559 HAS SOUS 40937822 HAS SOUPS 40937822 WITH SCORE 4.1005178559E7
AT ITER 6773 NEW BEST:: SOT 300895777 SOS 67351789 HAS SOPS 67351789 HAS SOUS 40935437 HAS SOUPS 40935437 WITH SCORE 4.1002788789E7
AT ITER 6820 NEW BEST:: SOT 300892309 SOS 67348321 HAS SOPS 67348321 HAS SOUS 40931969 HAS SOUPS 40931969 WITH SCORE 4.0999317321E7
AT ITER 6826 NEW BEST:: SOT 300892174 SOS 67348051 HAS SOPS 67348051 HAS SOUS 40931834 HAS SOUPS 40931834 WITH SCORE 4.0999182051E7
AT ITER 6834 NEW BEST:: SOT 300892173 SOS 67348049 HAS SOPS 67348049 HAS SOUS 40931832 HAS SOUPS 40931832 WITH SCORE 4.0999180049E7
AT ITER 6849 NEW BEST:: SOT 300889752 SOS 67345624 HAS SOPS 67345624 HAS SOUS 40929410 HAS SOUPS 40929410 WITH SCORE 4.0996755624E7
AT ITER 6891 NEW BEST:: SOT 300889505 SOS 67345130 HAS SOPS 67345130 HAS SOUS 40929162 HAS SOUPS 40929162 WITH SCORE 4.099650713E7
AT ITER 6892 NEW BEST:: SOT 300888736 SOS 67344940 HAS SOPS 67344940 HAS SOUS 40928972 HAS SOUPS 40928972 WITH SCORE 4.099631694E7
AT ITER 6916 NEW BEST:: SOT 300887889 SOS 67343247 HAS SOPS 67343247 HAS SOUS 40927279 HAS SOUPS 40927279 WITH SCORE 4.0994622247E7
AT ITER 6932 NEW BEST:: SOT 300887888 SOS 67343245 HAS SOPS 67343245 HAS SOUS 40927277 HAS SOUPS 40927277 WITH SCORE 4.0994620245E7
AT ITER 6948 NEW BEST:: SOT 300887009 SOS 67343188 HAS SOPS 67343188 HAS SOUS 40926965 HAS SOUPS 40926965 WITH SCORE 4.0994308188E7
AT ITER 6970 NEW BEST:: SOT 300886173 SOS 67344017 HAS SOPS 67344017 HAS SOUS 40926127 HAS SOUPS 40926127 WITH SCORE 4.0993471017E7
AT ITER 6989 NEW BEST:: SOT 300885732 SOS 67345523 HAS SOPS 67345523 HAS SOUS 40925686 HAS SOUPS 40925686 WITH SCORE 4.0993031523E7
AT ITER 7011 NEW BEST:: SOT 300883118 SOS 67333199 HAS SOPS 67333199 HAS SOUS 40919712 HAS SOUPS 40919712 WITH SCORE 4.0987045199E7
AT ITER 7016 NEW BEST:: SOT 300881693 SOS 67330349 HAS SOPS 67330349 HAS SOUS 40915719 HAS SOUPS 40915719 WITH SCORE 4.0983049349E7
AT ITER 7032 NEW BEST:: SOT 300881154 SOS 67333906 HAS SOPS 67333906 HAS SOUS 40915180 HAS SOUPS 40915180 WITH SCORE 4.0982513906E7
AT ITER 7042 NEW BEST:: SOT 300879205 SOS 67335851 HAS SOPS 67335851 HAS SOUS 40911281 HAS SOUPS 40911281 WITH SCORE 4.0978616851E7
AT ITER 7043 NEW BEST:: SOT 300874141 SOS 67331631 HAS SOPS 67331631 HAS SOUS 40907061 HAS SOUPS 40907061 WITH SCORE 4.0974392631E7
AT ITER 7048 NEW BEST:: SOT 300872648 SOS 67330138 HAS SOPS 67330138 HAS SOUS 40905568 HAS SOUPS 40905568 WITH SCORE 4.0972898138E7
AT ITER 7054 NEW BEST:: SOT 300869610 SOS 67327105 HAS SOPS 67327105 HAS SOUS 40902538 HAS SOUPS 40902538 WITH SCORE 4.0969865105E7
AT ITER 7064 NEW BEST:: SOT 300868945 SOS 67325775 HAS SOPS 67325775 HAS SOUS 40901208 HAS SOUPS 40901208 WITH SCORE 4.0968533775E7
AT ITER 7092 NEW BEST:: SOT 300867568 SOS 67323021 HAS SOPS 67323021 HAS SOUS 40898454 HAS SOUPS 40898454 WITH SCORE 4.0965777021E7
AT ITER 7104 NEW BEST:: SOT 300865561 SOS 67325435 HAS SOPS 67325435 HAS SOUS 40894390 HAS SOUPS 40894390 WITH SCORE 4.0961715435E7
AT ITER 7123 NEW BEST:: SOT 300865224 SOS 67324761 HAS SOPS 67324761 HAS SOUS 40894047 HAS SOUPS 40894047 WITH SCORE 4.0961371761E7
AT ITER 7218 NEW BEST:: SOT 300865224 SOS 67322755 HAS SOPS 67322755 HAS SOUS 40893044 HAS SOUPS 40893044 WITH SCORE 4.0960366755E7
AT ITER 7222 NEW BEST:: SOT 300864087 SOS 67325021 HAS SOPS 67325021 HAS SOUS 40891905 HAS SOUPS 40891905 WITH SCORE 4.0959230021E7
AT ITER 7261 NEW BEST:: SOT 300863965 SOS 67324777 HAS SOPS 67324777 HAS SOUS 40891661 HAS SOUPS 40891661 WITH SCORE 4.0958985777E7
AT ITER 7295 NEW BEST:: SOT 300863965 SOS 67323070 HAS SOPS 67323070 HAS SOUS 40891660 HAS SOUPS 40891660 WITH SCORE 4.095898307E7
AT ITER 7307 NEW BEST:: SOT 300863965 SOS 67323070 HAS SOPS 67323070 HAS SOUS 40891576 HAS SOUPS 40891576 WITH SCORE 4.095889907E7
AT ITER 7319 NEW BEST:: SOT 300862166 SOS 67335663 HAS SOPS 67335663 HAS SOUS 40889777 HAS SOUPS 40889777 WITH SCORE 4.0957112663E7
AT ITER 7321 NEW BEST:: SOT 300860780 SOS 67343511 HAS SOPS 67343511 HAS SOUS 40889037 HAS SOUPS 40889037 WITH SCORE 4.0956380511E7
AT ITER 7328 NEW BEST:: SOT 300860779 SOS 67343509 HAS SOPS 67343509 HAS SOUS 40889035 HAS SOUPS 40889035 WITH SCORE 4.0956378509E7
AT ITER 7376 NEW BEST:: SOT 300860509 SOS 67342699 HAS SOPS 67342699 HAS SOUS 40888630 HAS SOUPS 40888630 WITH SCORE 4.0955972699E7
AT ITER 7417 NEW BEST:: SOT 300860509 SOS 67342699 HAS SOPS 67342699 HAS SOUS 40884212 HAS SOUPS 40884212 WITH SCORE 4.0951554699E7
AT ITER 7427 NEW BEST:: SOT 300860399 SOS 67342589 HAS SOPS 67342589 HAS SOUS 40884102 HAS SOUPS 40884102 WITH SCORE 4.0951444589E7
AT ITER 7436 NEW BEST:: SOT 300860399 SOS 67342589 HAS SOPS 67342589 HAS SOUS 40884101 HAS SOUPS 40884101 WITH SCORE 4.0951443589E7
AT ITER 7471 NEW BEST:: SOT 300851814 SOS 67336745 HAS SOPS 67336745 HAS SOUS 40880684 HAS SOUPS 40880684 WITH SCORE 4.0948020745E7
AT ITER 7475 NEW BEST:: SOT 300851712 SOS 67336742 HAS SOPS 67336742 HAS SOUS 40880683 HAS SOUPS 40880683 WITH SCORE 4.0948019742E7
AT ITER 7478 NEW BEST:: SOT 300851683 SOS 67335088 HAS SOPS 67335088 HAS SOUS 40880409 HAS SOUPS 40880409 WITH SCORE 4.0947744088E7
AT ITER 7486 NEW BEST:: SOT 300854137 SOS 67339996 HAS SOPS 67339996 HAS SOUS 40880195 HAS SOUPS 40880195 WITH SCORE 4.0947534996E7
AT ITER 7495 NEW BEST:: SOT 300788812 SOS 67274671 HAS SOPS 67274671 HAS SOUS 40814870 HAS SOUPS 40814870 WITH SCORE 4.0882144671E7
AT ITER 7522 NEW BEST:: SOT 300788421 SOS 67274624 HAS SOPS 67274624 HAS SOUS 40814724 HAS SOUPS 40814724 WITH SCORE 4.0881998624E7
AT ITER 7525 NEW BEST:: SOT 300787928 SOS 67274624 HAS SOPS 67274624 HAS SOUS 40814231 HAS SOUPS 40814231 WITH SCORE 4.0881505624E7
AT ITER 7534 NEW BEST:: SOT 300787928 SOS 67275840 HAS SOPS 67275840 HAS SOUS 40814229 HAS SOUPS 40814229 WITH SCORE 4.088150484E7
AT ITER 7547 NEW BEST:: SOT 300787928 SOS 67275840 HAS SOPS 67275840 HAS SOUS 40809330 HAS SOUPS 40809330 WITH SCORE 4.087660584E7
AT ITER 7550 NEW BEST:: SOT 300787347 SOS 67273516 HAS SOPS 67273516 HAS SOUS 40808168 HAS SOUPS 40808168 WITH SCORE 4.0875441516E7
AT ITER 7612 NEW BEST:: SOT 300776587 SOS 67267452 HAS SOPS 67267452 HAS SOUS 40804230 HAS SOUPS 40804230 WITH SCORE 4.0871497452E7
AT ITER 7616 NEW BEST:: SOT 300776456 SOS 67267190 HAS SOPS 67267190 HAS SOUS 40803968 HAS SOUPS 40803968 WITH SCORE 4.087123519E7
AT ITER 7631 NEW BEST:: SOT 300775111 SOS 67264500 HAS SOPS 67264500 HAS SOUS 40801278 HAS SOUPS 40801278 WITH SCORE 4.08685425E7
AT ITER 7637 NEW BEST:: SOT 300775111 SOS 67264500 HAS SOPS 67264500 HAS SOUS 40800598 HAS SOUPS 40800598 WITH SCORE 4.08678625E7
AT ITER 7653 NEW BEST:: SOT 300775111 SOS 67264500 HAS SOPS 67264500 HAS SOUS 40799829 HAS SOUPS 40799829 WITH SCORE 4.08670935E7
AT ITER 7678 NEW BEST:: SOT 300775110 SOS 67262715 HAS SOPS 67262715 HAS SOUS 40798044 HAS SOUPS 40798044 WITH SCORE 4.0865306715E7
AT ITER 7689 NEW BEST:: SOT 300770784 SOS 67258389 HAS SOPS 67258389 HAS SOUS 40793718 HAS SOUPS 40793718 WITH SCORE 4.0860976389E7
AT ITER 7719 NEW BEST:: SOT 300770784 SOS 67258129 HAS SOPS 67258129 HAS SOUS 40793458 HAS SOUPS 40793458 WITH SCORE 4.0860716129E7
AT ITER 7753 NEW BEST:: SOT 300770784 SOS 67266774 HAS SOPS 67266774 HAS SOUS 40790574 HAS SOUPS 40790574 WITH SCORE 4.0857840774E7
AT ITER 7794 NEW BEST:: SOT 300770439 SOS 67266084 HAS SOPS 67266084 HAS SOUS 40790229 HAS SOUPS 40790229 WITH SCORE 4.0857495084E7
AT ITER 7796 NEW BEST:: SOT 300767013 SOS 67265937 HAS SOPS 67265937 HAS SOUS 40789038 HAS SOUPS 40789038 WITH SCORE 4.0856303937E7
AT ITER 7805 NEW BEST:: SOT 300764477 SOS 67263397 HAS SOPS 67263397 HAS SOUS 40786501 HAS SOUPS 40786501 WITH SCORE 4.0853764397E7
AT ITER 7831 NEW BEST:: SOT 300763097 SOS 67259257 HAS SOPS 67259257 HAS SOUS 40783741 HAS SOUPS 40783741 WITH SCORE 4.0851000257E7
AT ITER 7862 NEW BEST:: SOT 300763097 SOS 67251469 HAS SOPS 67251469 HAS SOUS 40781145 HAS SOUPS 40781145 WITH SCORE 4.0848396469E7
AT ITER 7865 NEW BEST:: SOT 300760755 SOS 67248635 HAS SOPS 67248635 HAS SOUS 40779022 HAS SOUPS 40779022 WITH SCORE 4.0846270635E7
AT ITER 7870 NEW BEST:: SOT 300762491 SOS 67266527 HAS SOPS 67266527 HAS SOUS 40778901 HAS SOUPS 40778901 WITH SCORE 4.0846167527E7
AT ITER 7874 NEW BEST:: SOT 300761019 SOS 67263584 HAS SOPS 67263584 HAS SOUS 40775958 HAS SOUPS 40775958 WITH SCORE 4.0843221584E7
AT ITER 7914 NEW BEST:: SOT 300761019 SOS 67263581 HAS SOPS 67263581 HAS SOUS 40775957 HAS SOUPS 40775957 WITH SCORE 4.0843220581E7
AT ITER 7926 NEW BEST:: SOT 300760661 SOS 67271492 HAS SOPS 67271492 HAS SOUS 40774369 HAS SOUPS 40774369 WITH SCORE 4.0841640492E7
AT ITER 7975 NEW BEST:: SOT 300757088 SOS 67272524 HAS SOPS 67272524 HAS SOUS 40774117 HAS SOUPS 40774117 WITH SCORE 4.0841389524E7
AT ITER 8029 NEW BEST:: SOT 300756935 SOS 67268465 HAS SOPS 67268465 HAS SOUS 40772615 HAS SOUPS 40772615 WITH SCORE 4.0839883465E7
AT ITER 8031 NEW BEST:: SOT 300756651 SOS 67267897 HAS SOPS 67267897 HAS SOUS 40772331 HAS SOUPS 40772331 WITH SCORE 4.0839598897E7
AT ITER 8039 NEW BEST:: SOT 300756542 SOS 67267679 HAS SOPS 67267679 HAS SOUS 40772113 HAS SOUPS 40772113 WITH SCORE 4.0839380679E7
AT ITER 8044 NEW BEST:: SOT 300753273 SOS 67264410 HAS SOPS 67264410 HAS SOUS 40768844 HAS SOUPS 40768844 WITH SCORE 4.083610841E7
AT ITER 8054 NEW BEST:: SOT 300754903 SOS 67278730 HAS SOPS 67278730 HAS SOUS 40768415 HAS SOUPS 40768415 WITH SCORE 4.083569373E7
AT ITER 8071 NEW BEST:: SOT 300753950 SOS 67276824 HAS SOPS 67276824 HAS SOUS 40766509 HAS SOUPS 40766509 WITH SCORE 4.0833785824E7
AT ITER 8084 NEW BEST:: SOT 300752733 SOS 67276820 HAS SOPS 67276820 HAS SOUS 40766508 HAS SOUPS 40766508 WITH SCORE 4.083378482E7
AT ITER 8103 NEW BEST:: SOT 300750141 SOS 67269044 HAS SOPS 67269044 HAS SOUS 40762620 HAS SOUPS 40762620 WITH SCORE 4.0829889044E7
AT ITER 8107 NEW BEST:: SOT 300750141 SOS 67268374 HAS SOPS 67268374 HAS SOUS 40762285 HAS SOUPS 40762285 WITH SCORE 4.0829553374E7
AT ITER 8111 NEW BEST:: SOT 300750141 SOS 67267227 HAS SOPS 67267227 HAS SOUS 40762285 HAS SOUPS 40762285 WITH SCORE 4.0829552227E7
AT ITER 8145 NEW BEST:: SOT 300749185 SOS 67265315 HAS SOPS 67265315 HAS SOUS 40760373 HAS SOUPS 40760373 WITH SCORE 4.0827638315E7
AT ITER 8174 NEW BEST:: SOT 300745066 SOS 67266269 HAS SOPS 67266269 HAS SOUS 40759316 HAS SOUPS 40759316 WITH SCORE 4.0826582269E7
AT ITER 8196 NEW BEST:: SOT 300745066 SOS 67260275 HAS SOPS 67260275 HAS SOUS 40757318 HAS SOUPS 40757318 WITH SCORE 4.0824578275E7
AT ITER 8209 NEW BEST:: SOT 300742108 SOS 67258792 HAS SOPS 67258792 HAS SOUS 40755838 HAS SOUPS 40755838 WITH SCORE 4.0823096792E7
AT ITER 8222 NEW BEST:: SOT 300742867 SOS 67258634 HAS SOPS 67258634 HAS SOUS 40754920 HAS SOUPS 40754920 WITH SCORE 4.0822178634E7
AT ITER 8223 NEW BEST:: SOT 300742867 SOS 67266091 HAS SOPS 67266091 HAS SOUS 40752432 HAS SOUPS 40752432 WITH SCORE 4.0819698091E7
AT ITER 8237 NEW BEST:: SOT 300742867 SOS 67264000 HAS SOPS 67264000 HAS SOUS 40752432 HAS SOUPS 40752432 WITH SCORE 4.0819696E7
AT ITER 8251 NEW BEST:: SOT 300742547 SOS 67263999 HAS SOPS 67263999 HAS SOUS 40752431 HAS SOUPS 40752431 WITH SCORE 4.0819694999E7
AT ITER 8269 NEW BEST:: SOT 300742310 SOS 67263998 HAS SOPS 67263998 HAS SOUS 40752430 HAS SOUPS 40752430 WITH SCORE 4.0819693998E7
AT ITER 8283 NEW BEST:: SOT 300738327 SOS 67262623 HAS SOPS 67262623 HAS SOUS 40750644 HAS SOUPS 40750644 WITH SCORE 4.0817906623E7
AT ITER 8291 NEW BEST:: SOT 300738326 SOS 67262958 HAS SOPS 67262958 HAS SOUS 40750357 HAS SOUPS 40750357 WITH SCORE 4.0817619958E7
AT ITER 8295 NEW BEST:: SOT 300737952 SOS 67265566 HAS SOPS 67265566 HAS SOUS 40749608 HAS SOUPS 40749608 WITH SCORE 4.0816873566E7
AT ITER 8340 NEW BEST:: SOT 300737933 SOS 67268801 HAS SOPS 67268801 HAS SOUS 40749033 HAS SOUPS 40749033 WITH SCORE 4.0816301801E7
AT ITER 8363 NEW BEST:: SOT 300737643 SOS 67279810 HAS SOPS 67279810 HAS SOUS 40748743 HAS SOUPS 40748743 WITH SCORE 4.081602281E7
AT ITER 8406 NEW BEST:: SOT 300737643 SOS 67278999 HAS SOPS 67278999 HAS SOUS 40748743 HAS SOUPS 40748743 WITH SCORE 4.0816021999E7
AT ITER 8418 NEW BEST:: SOT 300734689 SOS 67277522 HAS SOPS 67277522 HAS SOUS 40747266 HAS SOUPS 40747266 WITH SCORE 4.0814543522E7
AT ITER 8480 NEW BEST:: SOT 300725830 SOS 67279788 HAS SOPS 67279788 HAS SOUS 40743488 HAS SOUPS 40743488 WITH SCORE 4.0810767788E7
AT ITER 8481 NEW BEST:: SOT 300725830 SOS 67276934 HAS SOPS 67276934 HAS SOUS 40742061 HAS SOUPS 40742061 WITH SCORE 4.0809337934E7
AT ITER 8496 NEW BEST:: SOT 300725474 SOS 67276400 HAS SOPS 67276400 HAS SOUS 40741527 HAS SOUPS 40741527 WITH SCORE 4.08088034E7
AT ITER 8520 NEW BEST:: SOT 300726497 SOS 67274086 HAS SOPS 67274086 HAS SOUS 40740881 HAS SOUPS 40740881 WITH SCORE 4.0808155086E7
AT ITER 8522 NEW BEST:: SOT 300724583 SOS 67274082 HAS SOPS 67274082 HAS SOUS 40740880 HAS SOUPS 40740880 WITH SCORE 4.0808154082E7
AT ITER 8542 NEW BEST:: SOT 300724536 SOS 67273988 HAS SOPS 67273988 HAS SOUS 40740786 HAS SOUPS 40740786 WITH SCORE 4.0808059988E7
AT ITER 8555 NEW BEST:: SOT 300722875 SOS 67275523 HAS SOPS 67275523 HAS SOUS 40740744 HAS SOUPS 40740744 WITH SCORE 4.0808019523E7
AT ITER 8560 NEW BEST:: SOT 300719401 SOS 67271470 HAS SOPS 67271470 HAS SOUS 40739814 HAS SOUPS 40739814 WITH SCORE 4.080708547E7
AT ITER 8575 NEW BEST:: SOT 300719376 SOS 67271420 HAS SOPS 67271420 HAS SOUS 40739789 HAS SOUPS 40739789 WITH SCORE 4.080706042E7
AT ITER 8600 NEW BEST:: SOT 300718397 SOS 67271416 HAS SOPS 67271416 HAS SOUS 40739788 HAS SOUPS 40739788 WITH SCORE 4.0807059416E7
AT ITER 8614 NEW BEST:: SOT 300717779 SOS 67275642 HAS SOPS 67275642 HAS SOUS 40736908 HAS SOUPS 40736908 WITH SCORE 4.0804183642E7
AT ITER 8632 NEW BEST:: SOT 300717607 SOS 67275298 HAS SOPS 67275298 HAS SOUS 40736564 HAS SOUPS 40736564 WITH SCORE 4.0803839298E7
AT ITER 8652 NEW BEST:: SOT 300716814 SOS 67273712 HAS SOPS 67273712 HAS SOUS 40735771 HAS SOUPS 40735771 WITH SCORE 4.0803044712E7
AT ITER 8681 NEW BEST:: SOT 300716814 SOS 67273712 HAS SOPS 67273712 HAS SOUS 40735770 HAS SOUPS 40735770 WITH SCORE 4.0803043712E7
AT ITER 8684 NEW BEST:: SOT 300716063 SOS 67272210 HAS SOPS 67272210 HAS SOUS 40735018 HAS SOUPS 40735018 WITH SCORE 4.080229021E7
AT ITER 8691 NEW BEST:: SOT 300716037 SOS 67272132 HAS SOPS 67272132 HAS SOUS 40734979 HAS SOUPS 40734979 WITH SCORE 4.0802251132E7
AT ITER 8696 NEW BEST:: SOT 300716008 SOS 67273078 HAS SOPS 67273078 HAS SOUS 40734949 HAS SOUPS 40734949 WITH SCORE 4.0802222078E7
AT ITER 8752 NEW BEST:: SOT 300713828 SOS 67270898 HAS SOPS 67270898 HAS SOUS 40734949 HAS SOUPS 40734949 WITH SCORE 4.0802219898E7
AT ITER 8758 NEW BEST:: SOT 300704988 SOS 67255174 HAS SOPS 67255174 HAS SOUS 40724712 HAS SOUPS 40724712 WITH SCORE 4.0791967174E7
AT ITER 8785 NEW BEST:: SOT 300701187 SOS 67247572 HAS SOPS 67247572 HAS SOUS 40717110 HAS SOUPS 40717110 WITH SCORE 4.0784357572E7
AT ITER 8797 NEW BEST:: SOT 300698436 SOS 67244821 HAS SOPS 67244821 HAS SOUS 40714359 HAS SOUPS 40714359 WITH SCORE 4.0781603821E7
AT ITER 8798 NEW BEST:: SOT 300698436 SOS 67243156 HAS SOPS 67243156 HAS SOUS 40714358 HAS SOUPS 40714358 WITH SCORE 4.0781601156E7
AT ITER 8807 NEW BEST:: SOT 300694586 SOS 67240356 HAS SOPS 67240356 HAS SOUS 40712608 HAS SOUPS 40712608 WITH SCORE 4.0779848356E7
AT ITER 8812 NEW BEST:: SOT 300692187 SOS 67237953 HAS SOPS 67237953 HAS SOUS 40710208 HAS SOUPS 40710208 WITH SCORE 4.0777445953E7
AT ITER 8862 NEW BEST:: SOT 300691903 SOS 67237385 HAS SOPS 67237385 HAS SOUS 40709924 HAS SOUPS 40709924 WITH SCORE 4.0777161385E7
AT ITER 8883 NEW BEST:: SOT 300691242 SOS 67236724 HAS SOPS 67236724 HAS SOUS 40709924 HAS SOUPS 40709924 WITH SCORE 4.0777160724E7
AT ITER 8901 NEW BEST:: SOT 300691095 SOS 67236430 HAS SOPS 67236430 HAS SOUS 40709630 HAS SOUPS 40709630 WITH SCORE 4.077686643E7
AT ITER 8915 NEW BEST:: SOT 300690206 SOS 67236863 HAS SOPS 67236863 HAS SOUS 40709478 HAS SOUPS 40709478 WITH SCORE 4.0776714863E7
AT ITER 8919 NEW BEST:: SOT 300690155 SOS 67236761 HAS SOPS 67236761 HAS SOUS 40709427 HAS SOUPS 40709427 WITH SCORE 4.0776663761E7
AT ITER 8924 NEW BEST:: SOT 300688279 SOS 67236757 HAS SOPS 67236757 HAS SOUS 40707998 HAS SOUPS 40707998 WITH SCORE 4.0775234757E7
AT ITER 8951 NEW BEST:: SOT 300687979 SOS 67236456 HAS SOPS 67236456 HAS SOUS 40707697 HAS SOUPS 40707697 WITH SCORE 4.0774933456E7
AT ITER 8963 NEW BEST:: SOT 300686802 SOS 67234102 HAS SOPS 67234102 HAS SOUS 40705343 HAS SOUPS 40705343 WITH SCORE 4.0772577102E7
AT ITER 8992 NEW BEST:: SOT 300686802 SOS 67230892 HAS SOPS 67230892 HAS SOUS 40704273 HAS SOUPS 40704273 WITH SCORE 4.0771503892E7
AT ITER 9026 NEW BEST:: SOT 300686645 SOS 67230578 HAS SOPS 67230578 HAS SOUS 40703959 HAS SOUPS 40703959 WITH SCORE 4.0771189578E7
AT ITER 9043 NEW BEST:: SOT 300686009 SOS 67229939 HAS SOPS 67229939 HAS SOUS 40703958 HAS SOUPS 40703958 WITH SCORE 4.0771187939E7
AT ITER 9134 NEW BEST:: SOT 300686009 SOS 67228529 HAS SOPS 67228529 HAS SOUS 40703957 HAS SOUPS 40703957 WITH SCORE 4.0771185529E7
AT ITER 9146 NEW BEST:: SOT 300686008 SOS 67228527 HAS SOPS 67228527 HAS SOUS 40703955 HAS SOUPS 40703955 WITH SCORE 4.0771183527E7
AT ITER 9166 NEW BEST:: SOT 300685471 SOS 67227453 HAS SOPS 67227453 HAS SOUS 40702881 HAS SOUPS 40702881 WITH SCORE 4.0770108453E7
AT ITER 9187 NEW BEST:: SOT 300681591 SOS 67225981 HAS SOPS 67225981 HAS SOUS 40701097 HAS SOUPS 40701097 WITH SCORE 4.0768322981E7
AT ITER 9227 NEW BEST:: SOT 300678459 SOS 67222845 HAS SOPS 67222845 HAS SOUS 40697964 HAS SOUPS 40697964 WITH SCORE 4.0765186845E7
AT ITER 9232 NEW BEST:: SOT 300676858 SOS 67219643 HAS SOPS 67219643 HAS SOUS 40695493 HAS SOUPS 40695493 WITH SCORE 4.0762712643E7
AT ITER 9270 NEW BEST:: SOT 300675996 SOS 67220547 HAS SOPS 67220547 HAS SOUS 40694645 HAS SOUPS 40694645 WITH SCORE 4.0761865547E7
AT ITER 9282 NEW BEST:: SOT 300675996 SOS 67215045 HAS SOPS 67215045 HAS SOUS 40693072 HAS SOUPS 40693072 WITH SCORE 4.0760287045E7
AT ITER 9290 NEW BEST:: SOT 300670569 SOS 67207579 HAS SOPS 67207579 HAS SOUS 40685058 HAS SOUPS 40685058 WITH SCORE 4.0752265579E7
AT ITER 9296 NEW BEST:: SOT 300670065 SOS 67206571 HAS SOPS 67206571 HAS SOUS 40684554 HAS SOUPS 40684554 WITH SCORE 4.0751760571E7
AT ITER 9302 NEW BEST:: SOT 300670065 SOS 67206109 HAS SOPS 67206109 HAS SOUS 40684554 HAS SOUPS 40684554 WITH SCORE 4.0751760109E7
AT ITER 9331 NEW BEST:: SOT 300666672 SOS 67221174 HAS SOPS 67221174 HAS SOUS 40680945 HAS SOUPS 40680945 WITH SCORE 4.0748166174E7
AT ITER 9347 NEW BEST:: SOT 300665209 SOS 67219730 HAS SOPS 67219730 HAS SOUS 40679482 HAS SOUPS 40679482 WITH SCORE 4.074670173E7
AT ITER 9351 NEW BEST:: SOT 300664644 SOS 67218600 HAS SOPS 67218600 HAS SOUS 40678352 HAS SOUPS 40678352 WITH SCORE 4.07455706E7
AT ITER 9363 NEW BEST:: SOT 300663397 SOS 67216107 HAS SOPS 67216107 HAS SOUS 40675859 HAS SOUPS 40675859 WITH SCORE 4.0743075107E7
AT ITER 9364 NEW BEST:: SOT 300661574 SOS 67228868 HAS SOPS 67228868 HAS SOUS 40674036 HAS SOUPS 40674036 WITH SCORE 4.0741264868E7
AT ITER 9375 NEW BEST:: SOT 300661574 SOS 67228584 HAS SOPS 67228584 HAS SOUS 40674036 HAS SOUPS 40674036 WITH SCORE 4.0741264584E7
AT ITER 9398 NEW BEST:: SOT 300655279 SOS 67223526 HAS SOPS 67223526 HAS SOUS 40667741 HAS SOUPS 40667741 WITH SCORE 4.0734964526E7
AT ITER 9465 NEW BEST:: SOT 300636700 SOS 67210014 HAS SOPS 67210014 HAS SOUS 40659296 HAS SOUPS 40659296 WITH SCORE 4.0726506014E7
AT ITER 9521 NEW BEST:: SOT 300636079 SOS 67208772 HAS SOPS 67208772 HAS SOUS 40658675 HAS SOUPS 40658675 WITH SCORE 4.0725883772E7
AT ITER 9543 NEW BEST:: SOT 300635435 SOS 67208772 HAS SOPS 67208772 HAS SOUS 40658353 HAS SOUPS 40658353 WITH SCORE 4.0725561772E7
AT ITER 9559 NEW BEST:: SOT 300632162 SOS 67202226 HAS SOPS 67202226 HAS SOUS 40651807 HAS SOUPS 40651807 WITH SCORE 4.0719009226E7
AT ITER 9565 NEW BEST:: SOT 300632162 SOS 67201353 HAS SOPS 67201353 HAS SOUS 40650934 HAS SOUPS 40650934 WITH SCORE 4.0718135353E7
AT ITER 9583 NEW BEST:: SOT 300628271 SOS 67201351 HAS SOPS 67201351 HAS SOUS 40650932 HAS SOUPS 40650932 WITH SCORE 4.0718133351E7
AT ITER 9586 NEW BEST:: SOT 300628261 SOS 67201331 HAS SOPS 67201331 HAS SOUS 40649774 HAS SOUPS 40649774 WITH SCORE 4.0716975331E7
AT ITER 9588 NEW BEST:: SOT 300628455 SOS 67201715 HAS SOPS 67201715 HAS SOUS 40649773 HAS SOUPS 40649773 WITH SCORE 4.0716974715E7
AT ITER 9589 NEW BEST:: SOT 300628164 SOS 67201133 HAS SOPS 67201133 HAS SOUS 40649191 HAS SOUPS 40649191 WITH SCORE 4.0716392133E7
AT ITER 9605 NEW BEST:: SOT 300627809 SOS 67200423 HAS SOPS 67200423 HAS SOUS 40648481 HAS SOUPS 40648481 WITH SCORE 4.0715681423E7
AT ITER 9610 NEW BEST:: SOT 300627808 SOS 67200421 HAS SOPS 67200421 HAS SOUS 40648479 HAS SOUPS 40648479 WITH SCORE 4.0715679421E7
AT ITER 9639 NEW BEST:: SOT 300627808 SOS 67200838 HAS SOPS 67200838 HAS SOUS 40648478 HAS SOUPS 40648478 WITH SCORE 4.0715678838E7
AT ITER 9644 NEW BEST:: SOT 300627214 SOS 67200428 HAS SOPS 67200428 HAS SOUS 40647985 HAS SOUPS 40647985 WITH SCORE 4.0715185428E7
AT ITER 9648 NEW BEST:: SOT 300627214 SOS 67199096 HAS SOPS 67199096 HAS SOUS 40647985 HAS SOUPS 40647985 WITH SCORE 4.0715184096E7
AT ITER 9663 NEW BEST:: SOT 300627214 SOS 67197104 HAS SOPS 67197104 HAS SOUS 40647985 HAS SOUPS 40647985 WITH SCORE 4.0715182104E7
AT ITER 9668 NEW BEST:: SOT 300626730 SOS 67196136 HAS SOPS 67196136 HAS SOUS 40647017 HAS SOUPS 40647017 WITH SCORE 4.0714213136E7
AT ITER 9683 NEW BEST:: SOT 300629116 SOS 67193739 HAS SOPS 67193739 HAS SOUS 40646890 HAS SOUPS 40646890 WITH SCORE 4.0714083739E7
AT ITER 9701 NEW BEST:: SOT 300626758 SOS 67181949 HAS SOPS 67181949 HAS SOUS 40642174 HAS SOUPS 40642174 WITH SCORE 4.0709355949E7
AT ITER 9710 NEW BEST:: SOT 300626481 SOS 67182495 HAS SOPS 67182495 HAS SOUS 40641895 HAS SOUPS 40641895 WITH SCORE 4.0709077495E7
AT ITER 9733 NEW BEST:: SOT 300603282 SOS 67176877 HAS SOPS 67176877 HAS SOUS 40638361 HAS SOUPS 40638361 WITH SCORE 4.0705537877E7
AT ITER 9797 NEW BEST:: SOT 300603126 SOS 67176565 HAS SOPS 67176565 HAS SOUS 40638178 HAS SOUPS 40638178 WITH SCORE 4.0705354565E7
AT ITER 9798 NEW BEST:: SOT 300602210 SOS 67175191 HAS SOPS 67175191 HAS SOUS 40636804 HAS SOUPS 40636804 WITH SCORE 4.0703979191E7
AT ITER 9826 NEW BEST:: SOT 300598744 SOS 67160060 HAS SOPS 67160060 HAS SOUS 40630602 HAS SOUPS 40630602 WITH SCORE 4.069776206E7
AT ITER 9841 NEW BEST:: SOT 300598744 SOS 67161010 HAS SOPS 67161010 HAS SOUS 40630600 HAS SOUPS 40630600 WITH SCORE 4.069776101E7
AT ITER 9867 NEW BEST:: SOT 300595815 SOS 67158369 HAS SOPS 67158369 HAS SOUS 40627962 HAS SOUPS 40627962 WITH SCORE 4.0695120369E7
AT ITER 9884 NEW BEST:: SOT 300592016 SOS 67150771 HAS SOPS 67150771 HAS SOUS 40620364 HAS SOUPS 40620364 WITH SCORE 4.0687514771E7
AT ITER 9919 NEW BEST:: SOT 300590136 SOS 67148891 HAS SOPS 67148891 HAS SOUS 40618484 HAS SOUPS 40618484 WITH SCORE 4.0685632891E7
AT ITER 9954 NEW BEST:: SOT 300589441 SOS 67147501 HAS SOPS 67147501 HAS SOUS 40617094 HAS SOUPS 40617094 WITH SCORE 4.0684241501E7
AT ITER 9960 NEW BEST:: SOT 300589441 SOS 67156501 HAS SOPS 67156501 HAS SOUS 40615872 HAS SOUPS 40615872 WITH SCORE 4.0683028501E7
AT ITER 9963 NEW BEST:: SOT 300589441 SOS 67150837 HAS SOPS 67150837 HAS SOUS 40615872 HAS SOUPS 40615872 WITH SCORE 4.0683022837E7
AT ITER 9971 NEW BEST:: SOT 300587449 SOS 67148845 HAS SOPS 67148845 HAS SOUS 40613880 HAS SOUPS 40613880 WITH SCORE 4.0681028845E7
AT ITER 9981 NEW BEST:: SOT 300586415 SOS 67147811 HAS SOPS 67147811 HAS SOUS 40612846 HAS SOUPS 40612846 WITH SCORE 4.0679993811E7
AT ITER 9987 NEW BEST:: SOT 300581579 SOS 67138139 HAS SOPS 67138139 HAS SOUS 40603174 HAS SOUPS 40603174 WITH SCORE 4.0670312139E7
AT ITER 9990 NEW BEST:: SOT 300580734 SOS 67138135 HAS SOPS 67138135 HAS SOUS 40603173 HAS SOUPS 40603173 WITH SCORE 4.0670311135E7
AT ITER 9994 NEW BEST:: SOT 300581622 SOS 67159929 HAS SOPS 67159929 HAS SOUS 40601345 HAS SOUPS 40601345 WITH SCORE 4.0668504929E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15083708 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16139560 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="DLCflexbar-PT-5b"
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 DLCflexbar-PT-5b, 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 r099-tall-167814472600568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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