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

--------------------
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 1678391700073

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-5b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 19:55:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 19:55:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 19:55:02] [INFO ] Load time of PNML (sax parser for PT used): 519 ms
[2023-03-09 19:55:02] [INFO ] Transformed 17305 places.
[2023-03-09 19:55:02] [INFO ] Transformed 26483 transitions.
[2023-03-09 19:55:02] [INFO ] Found NUPN structural information;
[2023-03-09 19:55:02] [INFO ] Parsed PT model containing 17305 places and 26483 transitions and 73264 arcs in 1240 ms.
[2023-03-09 19:55:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 17305 places, 26483 transitions and 73264 arcs took 94 ms.
Total runtime 1366 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 7 NEW BEST:: SOT 301486809 SOS 67498460 HAS SOPS 67498460 HAS SOUS 41609816 HAS SOUPS 41609816 WITH SCORE 4.167731446E7
AT ITER 30 NEW BEST:: SOT 301486809 SOS 67510238 HAS SOPS 67510238 HAS SOUS 41608404 HAS SOUPS 41608404 WITH SCORE 4.1675914238E7
AT ITER 39 NEW BEST:: SOT 301485386 SOS 67507392 HAS SOPS 67507392 HAS SOUS 41605558 HAS SOUPS 41605558 WITH SCORE 4.1673065392E7
AT ITER 42 NEW BEST:: SOT 301482808 SOS 67505802 HAS SOPS 67505802 HAS SOUS 41603968 HAS SOUPS 41603968 WITH SCORE 4.1671473802E7
AT ITER 50 NEW BEST:: SOT 301482997 SOS 67506177 HAS SOPS 67506177 HAS SOUS 41603967 HAS SOUPS 41603967 WITH SCORE 4.1671473177E7
AT ITER 68 NEW BEST:: SOT 301482997 SOS 67508145 HAS SOPS 67508145 HAS SOUS 41603965 HAS SOUPS 41603965 WITH SCORE 4.1671473145E7
AT ITER 69 NEW BEST:: SOT 301482779 SOS 67509661 HAS SOPS 67509661 HAS SOUS 41603528 HAS SOUPS 41603528 WITH SCORE 4.1671037661E7
AT ITER 72 NEW BEST:: SOT 301482500 SOS 67510215 HAS SOPS 67510215 HAS SOUS 41603248 HAS SOUPS 41603248 WITH SCORE 4.1670758215E7
AT ITER 85 NEW BEST:: SOT 301482500 SOS 67510215 HAS SOPS 67510215 HAS SOUS 41599034 HAS SOUPS 41599034 WITH SCORE 4.1666544215E7
AT ITER 94 NEW BEST:: SOT 301482500 SOS 67505352 HAS SOPS 67505352 HAS SOUS 41597413 HAS SOUPS 41597413 WITH SCORE 4.1664918352E7
AT ITER 96 NEW BEST:: SOT 301482186 SOS 67504724 HAS SOPS 67504724 HAS SOUS 41596785 HAS SOUPS 41596785 WITH SCORE 4.1664289724E7
AT ITER 132 NEW BEST:: SOT 301482178 SOS 67504708 HAS SOPS 67504708 HAS SOUS 41596769 HAS SOUPS 41596769 WITH SCORE 4.1664273708E7
AT ITER 166 NEW BEST:: SOT 301482178 SOS 67498999 HAS SOPS 67498999 HAS SOUS 41594866 HAS SOUPS 41594866 WITH SCORE 4.1662364999E7
AT ITER 228 NEW BEST:: SOT 301479651 SOS 67496468 HAS SOPS 67496468 HAS SOUS 41592338 HAS SOUPS 41592338 WITH SCORE 4.1659834468E7
AT ITER 246 NEW BEST:: SOT 301479936 SOS 67494618 HAS SOPS 67494618 HAS SOUS 41591555 HAS SOUPS 41591555 WITH SCORE 4.1659049618E7
AT ITER 249 NEW BEST:: SOT 301476450 SOS 67491132 HAS SOPS 67491132 HAS SOUS 41588069 HAS SOUPS 41588069 WITH SCORE 4.1655560132E7
AT ITER 275 NEW BEST:: SOT 301475422 SOS 67489076 HAS SOPS 67489076 HAS SOUS 41584339 HAS SOUPS 41584339 WITH SCORE 4.1651828076E7
AT ITER 281 NEW BEST:: SOT 301476780 SOS 67491792 HAS SOPS 67491792 HAS SOUS 41583857 HAS SOUPS 41583857 WITH SCORE 4.1651348792E7
AT ITER 284 NEW BEST:: SOT 301474689 SOS 67495415 HAS SOPS 67495415 HAS SOUS 41579674 HAS SOUPS 41579674 WITH SCORE 4.1647169415E7
AT ITER 337 NEW BEST:: SOT 301474689 SOS 67493141 HAS SOPS 67493141 HAS SOUS 41578916 HAS SOUPS 41578916 WITH SCORE 4.1646409141E7
AT ITER 345 NEW BEST:: SOT 301470933 SOS 67491263 HAS SOPS 67491263 HAS SOUS 41577038 HAS SOUPS 41577038 WITH SCORE 4.1644529263E7
AT ITER 348 NEW BEST:: SOT 301470403 SOS 67490203 HAS SOPS 67490203 HAS SOUS 41574421 HAS SOUPS 41574421 WITH SCORE 4.1641911203E7
AT ITER 353 NEW BEST:: SOT 301469117 SOS 67487631 HAS SOPS 67487631 HAS SOUS 41571849 HAS SOUPS 41571849 WITH SCORE 4.1639336631E7
AT ITER 408 NEW BEST:: SOT 301469117 SOS 67487631 HAS SOPS 67487631 HAS SOUS 41571779 HAS SOUPS 41571779 WITH SCORE 4.1639266631E7
AT ITER 459 NEW BEST:: SOT 301467686 SOS 67490256 HAS SOPS 67490256 HAS SOUS 41568258 HAS SOUPS 41568258 WITH SCORE 4.1635748256E7
AT ITER 476 NEW BEST:: SOT 301465586 SOS 67488869 HAS SOPS 67488869 HAS SOUS 41566871 HAS SOUPS 41566871 WITH SCORE 4.1634359869E7
AT ITER 513 NEW BEST:: SOT 301462075 SOS 67489266 HAS SOPS 67489266 HAS SOUS 41565833 HAS SOUPS 41565833 WITH SCORE 4.1633322266E7
AT ITER 544 NEW BEST:: SOT 301461738 SOS 67488592 HAS SOPS 67488592 HAS SOUS 41565159 HAS SOUPS 41565159 WITH SCORE 4.1632647592E7
AT ITER 547 NEW BEST:: SOT 301461738 SOS 67487928 HAS SOPS 67487928 HAS SOUS 41564827 HAS SOUPS 41564827 WITH SCORE 4.1632314928E7
AT ITER 605 NEW BEST:: SOT 301458264 SOS 67488312 HAS SOPS 67488312 HAS SOUS 41564210 HAS SOUPS 41564210 WITH SCORE 4.1631698312E7
AT ITER 632 NEW BEST:: SOT 301458146 SOS 67488076 HAS SOPS 67488076 HAS SOUS 41564092 HAS SOUPS 41564092 WITH SCORE 4.1631580076E7
AT ITER 646 NEW BEST:: SOT 301458146 SOS 67487637 HAS SOPS 67487637 HAS SOUS 41563653 HAS SOUPS 41563653 WITH SCORE 4.1631140637E7
AT ITER 660 NEW BEST:: SOT 301458146 SOS 67478763 HAS SOPS 67478763 HAS SOUS 41560991 HAS SOUPS 41560991 WITH SCORE 4.1628469763E7
AT ITER 680 NEW BEST:: SOT 301454524 SOS 67476952 HAS SOPS 67476952 HAS SOUS 41559180 HAS SOUPS 41559180 WITH SCORE 4.1626656952E7
AT ITER 688 NEW BEST:: SOT 301453898 SOS 67476326 HAS SOPS 67476326 HAS SOUS 41558554 HAS SOUPS 41558554 WITH SCORE 4.1626030326E7
AT ITER 710 NEW BEST:: SOT 301452108 SOS 67472746 HAS SOPS 67472746 HAS SOUS 41556764 HAS SOUPS 41556764 WITH SCORE 4.1624236746E7
AT ITER 712 NEW BEST:: SOT 301452108 SOS 67472746 HAS SOPS 67472746 HAS SOUS 41556019 HAS SOUPS 41556019 WITH SCORE 4.1623491746E7
AT ITER 721 NEW BEST:: SOT 301448965 SOS 67451039 HAS SOPS 67451039 HAS SOUS 41547221 HAS SOUPS 41547221 WITH SCORE 4.1614672039E7
AT ITER 727 NEW BEST:: SOT 301448962 SOS 67451033 HAS SOPS 67451033 HAS SOUS 41547215 HAS SOUPS 41547215 WITH SCORE 4.1614666033E7
AT ITER 746 NEW BEST:: SOT 301446089 SOS 67431028 HAS SOPS 67431028 HAS SOUS 41537636 HAS SOUPS 41537636 WITH SCORE 4.1605067028E7
AT ITER 778 NEW BEST:: SOT 301447118 SOS 67442241 HAS SOPS 67442241 HAS SOUS 41536640 HAS SOUPS 41536640 WITH SCORE 4.1604082241E7
AT ITER 791 NEW BEST:: SOT 301447118 SOS 67441824 HAS SOPS 67441824 HAS SOUS 41536640 HAS SOUPS 41536640 WITH SCORE 4.1604081824E7
AT ITER 796 NEW BEST:: SOT 301435455 SOS 67437706 HAS SOPS 67437706 HAS SOUS 41533519 HAS SOUPS 41533519 WITH SCORE 4.1600956706E7
AT ITER 805 NEW BEST:: SOT 301433680 SOS 67437354 HAS SOPS 67437354 HAS SOUS 41533167 HAS SOUPS 41533167 WITH SCORE 4.1600604354E7
AT ITER 822 NEW BEST:: SOT 301429833 SOS 67433507 HAS SOPS 67433507 HAS SOUS 41529320 HAS SOUPS 41529320 WITH SCORE 4.1596753507E7
AT ITER 845 NEW BEST:: SOT 301418536 SOS 67425291 HAS SOPS 67425291 HAS SOUS 41524185 HAS SOUPS 41524185 WITH SCORE 4.1591610291E7
AT ITER 866 NEW BEST:: SOT 301418041 SOS 67428756 HAS SOPS 67428756 HAS SOUS 41523690 HAS SOUPS 41523690 WITH SCORE 4.1591118756E7
AT ITER 885 NEW BEST:: SOT 301416251 SOS 67425177 HAS SOPS 67425177 HAS SOUS 41520111 HAS SOUPS 41520111 WITH SCORE 4.1587536177E7
AT ITER 890 NEW BEST:: SOT 301414675 SOS 67422025 HAS SOPS 67422025 HAS SOUS 41516959 HAS SOUPS 41516959 WITH SCORE 4.1584381025E7
AT ITER 917 NEW BEST:: SOT 301413965 SOS 67420605 HAS SOPS 67420605 HAS SOUS 41516248 HAS SOUPS 41516248 WITH SCORE 4.1583668605E7
AT ITER 951 NEW BEST:: SOT 301411550 SOS 67418186 HAS SOPS 67418186 HAS SOUS 41513832 HAS SOUPS 41513832 WITH SCORE 4.1581250186E7
AT ITER 967 NEW BEST:: SOT 301411549 SOS 67418184 HAS SOPS 67418184 HAS SOUS 41513830 HAS SOUPS 41513830 WITH SCORE 4.1581248184E7
AT ITER 1052 NEW BEST:: SOT 301410468 SOS 67419265 HAS SOPS 67419265 HAS SOUS 41512749 HAS SOUPS 41512749 WITH SCORE 4.1580168265E7
AT ITER 1117 NEW BEST:: SOT 301408409 SOS 67419261 HAS SOPS 67419261 HAS SOUS 41511230 HAS SOUPS 41511230 WITH SCORE 4.1578649261E7
AT ITER 1119 NEW BEST:: SOT 301405391 SOS 67425155 HAS SOPS 67425155 HAS SOUS 41511112 HAS SOUPS 41511112 WITH SCORE 4.1578537155E7
AT ITER 1120 NEW BEST:: SOT 301397147 SOS 67416911 HAS SOPS 67416911 HAS SOUS 41502868 HAS SOUPS 41502868 WITH SCORE 4.1570284911E7
AT ITER 1144 NEW BEST:: SOT 301395137 SOS 67414901 HAS SOPS 67414901 HAS SOUS 41500858 HAS SOUPS 41500858 WITH SCORE 4.1568272901E7
AT ITER 1150 NEW BEST:: SOT 301394813 SOS 67414577 HAS SOPS 67414577 HAS SOUS 41500534 HAS SOUPS 41500534 WITH SCORE 4.1567948577E7
AT ITER 1178 NEW BEST:: SOT 301392887 SOS 67414573 HAS SOPS 67414573 HAS SOUS 41500533 HAS SOUPS 41500533 WITH SCORE 4.1567947573E7
AT ITER 1189 NEW BEST:: SOT 301390387 SOS 67399985 HAS SOPS 67399985 HAS SOUS 41495533 HAS SOUPS 41495533 WITH SCORE 4.1562932985E7
AT ITER 1195 NEW BEST:: SOT 301386866 SOS 67400440 HAS SOPS 67400440 HAS SOUS 41494951 HAS SOUPS 41494951 WITH SCORE 4.156235144E7
AT ITER 1205 NEW BEST:: SOT 301388435 SOS 67403578 HAS SOPS 67403578 HAS SOUS 41494931 HAS SOUPS 41494931 WITH SCORE 4.1562334578E7
AT ITER 1212 NEW BEST:: SOT 301379619 SOS 67387875 HAS SOPS 67387875 HAS SOUS 41484817 HAS SOUPS 41484817 WITH SCORE 4.1552204875E7
AT ITER 1224 NEW BEST:: SOT 301378143 SOS 67391732 HAS SOPS 67391732 HAS SOUS 41481550 HAS SOUPS 41481550 WITH SCORE 4.1548941732E7
AT ITER 1241 NEW BEST:: SOT 301374105 SOS 67389962 HAS SOPS 67389962 HAS SOUS 41478645 HAS SOUPS 41478645 WITH SCORE 4.1546034962E7
AT ITER 1243 NEW BEST:: SOT 301373720 SOS 67389901 HAS SOPS 67389901 HAS SOUS 41478435 HAS SOUPS 41478435 WITH SCORE 4.1545824901E7
AT ITER 1272 NEW BEST:: SOT 301373720 SOS 67396050 HAS SOPS 67396050 HAS SOUS 41476383 HAS SOUPS 41476383 WITH SCORE 4.154377905E7
AT ITER 1282 NEW BEST:: SOT 301371962 SOS 67392534 HAS SOPS 67392534 HAS SOUS 41472867 HAS SOUPS 41472867 WITH SCORE 4.1540259534E7
AT ITER 1287 NEW BEST:: SOT 301371665 SOS 67391940 HAS SOPS 67391940 HAS SOUS 41471239 HAS SOUPS 41471239 WITH SCORE 4.153863094E7
AT ITER 1356 NEW BEST:: SOT 301370102 SOS 67390377 HAS SOPS 67390377 HAS SOUS 41471239 HAS SOUPS 41471239 WITH SCORE 4.1538629377E7
AT ITER 1379 NEW BEST:: SOT 301368214 SOS 67380937 HAS SOPS 67380937 HAS SOUS 41467463 HAS SOUPS 41467463 WITH SCORE 4.1534843937E7
AT ITER 1381 NEW BEST:: SOT 301368258 SOS 67381025 HAS SOPS 67381025 HAS SOUS 41462465 HAS SOUPS 41462465 WITH SCORE 4.1529846025E7
AT ITER 1396 NEW BEST:: SOT 301365375 SOS 67378138 HAS SOPS 67378138 HAS SOUS 41459581 HAS SOUPS 41459581 WITH SCORE 4.1526959138E7
AT ITER 1413 NEW BEST:: SOT 301365375 SOS 67377733 HAS SOPS 67377733 HAS SOUS 41459176 HAS SOUPS 41459176 WITH SCORE 4.1526553733E7
AT ITER 1421 NEW BEST:: SOT 301362974 SOS 67372931 HAS SOPS 67372931 HAS SOUS 41454374 HAS SOUPS 41454374 WITH SCORE 4.1521746931E7
AT ITER 1435 NEW BEST:: SOT 301354744 SOS 67364701 HAS SOPS 67364701 HAS SOUS 41446144 HAS SOUPS 41446144 WITH SCORE 4.1513508701E7
AT ITER 1458 NEW BEST:: SOT 301354744 SOS 67365537 HAS SOPS 67365537 HAS SOUS 41446143 HAS SOUPS 41446143 WITH SCORE 4.1513508537E7
AT ITER 1471 NEW BEST:: SOT 301352908 SOS 67363701 HAS SOPS 67363701 HAS SOUS 41444307 HAS SOUPS 41444307 WITH SCORE 4.1511670701E7
AT ITER 1498 NEW BEST:: SOT 301350746 SOS 67361535 HAS SOPS 67361535 HAS SOUS 41442144 HAS SOUPS 41442144 WITH SCORE 4.1509505535E7
AT ITER 1530 NEW BEST:: SOT 301350161 SOS 67362691 HAS SOPS 67362691 HAS SOUS 41441557 HAS SOUPS 41441557 WITH SCORE 4.1508919691E7
AT ITER 1535 NEW BEST:: SOT 301350160 SOS 67361222 HAS SOPS 67361222 HAS SOUS 41440088 HAS SOUPS 41440088 WITH SCORE 4.1507449222E7
AT ITER 1546 NEW BEST:: SOT 301350159 SOS 67361220 HAS SOPS 67361220 HAS SOUS 41440086 HAS SOUPS 41440086 WITH SCORE 4.150744722E7
AT ITER 1558 NEW BEST:: SOT 301349151 SOS 67365828 HAS SOPS 67365828 HAS SOUS 41439735 HAS SOUPS 41439735 WITH SCORE 4.1507100828E7
AT ITER 1564 NEW BEST:: SOT 301349151 SOS 67365663 HAS SOPS 67365663 HAS SOUS 41439570 HAS SOUPS 41439570 WITH SCORE 4.1506935663E7
AT ITER 1603 NEW BEST:: SOT 301348533 SOS 67365045 HAS SOPS 67365045 HAS SOUS 41438952 HAS SOUPS 41438952 WITH SCORE 4.1506317045E7
AT ITER 1614 NEW BEST:: SOT 301348372 SOS 67365044 HAS SOPS 67365044 HAS SOUS 41438951 HAS SOUPS 41438951 WITH SCORE 4.1506316044E7
AT ITER 1658 NEW BEST:: SOT 301344558 SOS 67361226 HAS SOPS 67361226 HAS SOUS 41435136 HAS SOUPS 41435136 WITH SCORE 4.1502497226E7
AT ITER 1674 NEW BEST:: SOT 301342363 SOS 67360587 HAS SOPS 67360587 HAS SOUS 41434497 HAS SOUPS 41434497 WITH SCORE 4.1501857587E7
AT ITER 1680 NEW BEST:: SOT 301341954 SOS 67359769 HAS SOPS 67359769 HAS SOUS 41433679 HAS SOUPS 41433679 WITH SCORE 4.1501038769E7
AT ITER 1690 NEW BEST:: SOT 301344127 SOS 67364115 HAS SOPS 67364115 HAS SOUS 41433038 HAS SOUPS 41433038 WITH SCORE 4.1500402115E7
AT ITER 1693 NEW BEST:: SOT 301344126 SOS 67364113 HAS SOPS 67364113 HAS SOUS 41433036 HAS SOUPS 41433036 WITH SCORE 4.1500400113E7
AT ITER 1708 NEW BEST:: SOT 301343292 SOS 67356799 HAS SOPS 67356799 HAS SOUS 41431368 HAS SOUPS 41431368 WITH SCORE 4.1498724799E7
AT ITER 1743 NEW BEST:: SOT 301343291 SOS 67356797 HAS SOPS 67356797 HAS SOUS 41431366 HAS SOUPS 41431366 WITH SCORE 4.1498722797E7
AT ITER 1744 NEW BEST:: SOT 301341969 SOS 67355475 HAS SOPS 67355475 HAS SOUS 41430044 HAS SOUPS 41430044 WITH SCORE 4.1497399475E7
AT ITER 1754 NEW BEST:: SOT 301341969 SOS 67353927 HAS SOPS 67353927 HAS SOUS 41428496 HAS SOUPS 41428496 WITH SCORE 4.1495849927E7
AT ITER 1764 NEW BEST:: SOT 301337927 SOS 67351906 HAS SOPS 67351906 HAS SOUS 41426475 HAS SOUPS 41426475 WITH SCORE 4.1493826906E7
AT ITER 1784 NEW BEST:: SOT 301336465 SOS 67348983 HAS SOPS 67348983 HAS SOUS 41423552 HAS SOUPS 41423552 WITH SCORE 4.1490900983E7
AT ITER 1785 NEW BEST:: SOT 301336465 SOS 67342947 HAS SOPS 67342947 HAS SOUS 41421540 HAS SOUPS 41421540 WITH SCORE 4.1488882947E7
AT ITER 1788 NEW BEST:: SOT 301336465 SOS 67343729 HAS SOPS 67343729 HAS SOUS 41421538 HAS SOUPS 41421538 WITH SCORE 4.1488881729E7
AT ITER 1810 NEW BEST:: SOT 301336465 SOS 67343189 HAS SOPS 67343189 HAS SOUS 41420998 HAS SOUPS 41420998 WITH SCORE 4.1488341189E7
AT ITER 1827 NEW BEST:: SOT 301335845 SOS 67341949 HAS SOPS 67341949 HAS SOUS 41420378 HAS SOUPS 41420378 WITH SCORE 4.1487719949E7
AT ITER 1844 NEW BEST:: SOT 301335696 SOS 67350890 HAS SOPS 67350890 HAS SOUS 41420079 HAS SOUPS 41420079 WITH SCORE 4.148742989E7
AT ITER 1860 NEW BEST:: SOT 301334681 SOS 67348860 HAS SOPS 67348860 HAS SOUS 41416971 HAS SOUPS 41416971 WITH SCORE 4.148431986E7
AT ITER 1861 NEW BEST:: SOT 301330939 SOS 67345114 HAS SOPS 67345114 HAS SOUS 41413228 HAS SOUPS 41413228 WITH SCORE 4.1480573114E7
AT ITER 1920 NEW BEST:: SOT 301330180 SOS 67345873 HAS SOPS 67345873 HAS SOUS 41412469 HAS SOUPS 41412469 WITH SCORE 4.1479814873E7
AT ITER 1932 NEW BEST:: SOT 301328940 SOS 67336640 HAS SOPS 67336640 HAS SOUS 41409989 HAS SOUPS 41409989 WITH SCORE 4.147732564E7
AT ITER 1961 NEW BEST:: SOT 301325769 SOS 67320770 HAS SOPS 67320770 HAS SOUS 41403647 HAS SOUPS 41403647 WITH SCORE 4.147096777E7
AT ITER 1970 NEW BEST:: SOT 301327361 SOS 67334921 HAS SOPS 67334921 HAS SOUS 41403173 HAS SOUPS 41403173 WITH SCORE 4.1470507921E7
AT ITER 1976 NEW BEST:: SOT 301323725 SOS 67333103 HAS SOPS 67333103 HAS SOUS 41401355 HAS SOUPS 41401355 WITH SCORE 4.1468688103E7
AT ITER 1988 NEW BEST:: SOT 301323145 SOS 67337153 HAS SOPS 67337153 HAS SOUS 41400194 HAS SOUPS 41400194 WITH SCORE 4.1467531153E7
AT ITER 1999 NEW BEST:: SOT 301319739 SOS 67333747 HAS SOPS 67333747 HAS SOUS 41396788 HAS SOUPS 41396788 WITH SCORE 4.1464121747E7
AT ITER 2009 NEW BEST:: SOT 301319052 SOS 67338991 HAS SOPS 67338991 HAS SOUS 41396099 HAS SOUPS 41396099 WITH SCORE 4.1463437991E7
AT ITER 2043 NEW BEST:: SOT 301317446 SOS 67335779 HAS SOPS 67335779 HAS SOUS 41394492 HAS SOUPS 41394492 WITH SCORE 4.1461827779E7
AT ITER 2051 NEW BEST:: SOT 301316980 SOS 67339031 HAS SOPS 67339031 HAS SOUS 41393559 HAS SOUPS 41393559 WITH SCORE 4.1460898031E7
AT ITER 2062 NEW BEST:: SOT 301313453 SOS 67335500 HAS SOPS 67335500 HAS SOUS 41390031 HAS SOUPS 41390031 WITH SCORE 4.14573665E7
AT ITER 2064 NEW BEST:: SOT 301310431 SOS 67332474 HAS SOPS 67332474 HAS SOUS 41387008 HAS SOUPS 41387008 WITH SCORE 4.1454340474E7
AT ITER 2085 NEW BEST:: SOT 301309392 SOS 67329219 HAS SOPS 67329219 HAS SOUS 41380861 HAS SOUPS 41380861 WITH SCORE 4.1448190219E7
AT ITER 2102 NEW BEST:: SOT 301307904 SOS 67326244 HAS SOPS 67326244 HAS SOUS 41377886 HAS SOUPS 41377886 WITH SCORE 4.1445212244E7
AT ITER 2104 NEW BEST:: SOT 301307386 SOS 67325208 HAS SOPS 67325208 HAS SOUS 41375335 HAS SOUPS 41375335 WITH SCORE 4.1442660208E7
AT ITER 2128 NEW BEST:: SOT 301305079 SOS 67322897 HAS SOPS 67322897 HAS SOUS 41373027 HAS SOUPS 41373027 WITH SCORE 4.1440349897E7
AT ITER 2138 NEW BEST:: SOT 301305079 SOS 67322897 HAS SOPS 67322897 HAS SOUS 41369349 HAS SOUPS 41369349 WITH SCORE 4.1436671897E7
AT ITER 2145 NEW BEST:: SOT 301304228 SOS 67321195 HAS SOPS 67321195 HAS SOUS 41367647 HAS SOUPS 41367647 WITH SCORE 4.1434968195E7
AT ITER 2151 NEW BEST:: SOT 301304228 SOS 67321195 HAS SOPS 67321195 HAS SOUS 41367646 HAS SOUPS 41367646 WITH SCORE 4.1434967195E7
AT ITER 2159 NEW BEST:: SOT 301303873 SOS 67321194 HAS SOPS 67321194 HAS SOUS 41367645 HAS SOUPS 41367645 WITH SCORE 4.1434966194E7
AT ITER 2167 NEW BEST:: SOT 301302388 SOS 67318225 HAS SOPS 67318225 HAS SOUS 41364676 HAS SOUPS 41364676 WITH SCORE 4.1431994225E7
AT ITER 2176 NEW BEST:: SOT 301302109 SOS 67317667 HAS SOPS 67317667 HAS SOUS 41364118 HAS SOUPS 41364118 WITH SCORE 4.1431435667E7
AT ITER 2187 NEW BEST:: SOT 301302108 SOS 67317665 HAS SOPS 67317665 HAS SOUS 41364116 HAS SOUPS 41364116 WITH SCORE 4.1431433665E7
AT ITER 2188 NEW BEST:: SOT 301299219 SOS 67311887 HAS SOPS 67311887 HAS SOUS 41356233 HAS SOUPS 41356233 WITH SCORE 4.1423544887E7
AT ITER 2198 NEW BEST:: SOT 301295669 SOS 67310112 HAS SOPS 67310112 HAS SOUS 41354458 HAS SOUPS 41354458 WITH SCORE 4.1421768112E7
AT ITER 2210 NEW BEST:: SOT 301295668 SOS 67310110 HAS SOPS 67310110 HAS SOUS 41354456 HAS SOUPS 41354456 WITH SCORE 4.142176611E7
AT ITER 2219 NEW BEST:: SOT 301295668 SOS 67310110 HAS SOPS 67310110 HAS SOUS 41352714 HAS SOUPS 41352714 WITH SCORE 4.142002411E7
AT ITER 2222 NEW BEST:: SOT 301294581 SOS 67307937 HAS SOPS 67307937 HAS SOUS 41350541 HAS SOUPS 41350541 WITH SCORE 4.1417848937E7
AT ITER 2227 NEW BEST:: SOT 301294581 SOS 67306019 HAS SOPS 67306019 HAS SOUS 41349582 HAS SOUPS 41349582 WITH SCORE 4.1416888019E7
AT ITER 2241 NEW BEST:: SOT 301290551 SOS 67295545 HAS SOPS 67295545 HAS SOUS 41339308 HAS SOUPS 41339308 WITH SCORE 4.1406603545E7
AT ITER 2261 NEW BEST:: SOT 301289881 SOS 67294205 HAS SOPS 67294205 HAS SOUS 41337968 HAS SOUPS 41337968 WITH SCORE 4.1405262205E7
AT ITER 2265 NEW BEST:: SOT 301288169 SOS 67295913 HAS SOPS 67295913 HAS SOUS 41334543 HAS SOUPS 41334543 WITH SCORE 4.1401838913E7
AT ITER 2277 NEW BEST:: SOT 301288168 SOS 67295911 HAS SOPS 67295911 HAS SOUS 41334541 HAS SOUPS 41334541 WITH SCORE 4.1401836911E7
AT ITER 2312 NEW BEST:: SOT 301287200 SOS 67293975 HAS SOPS 67293975 HAS SOUS 41331984 HAS SOUPS 41331984 WITH SCORE 4.1399277975E7
AT ITER 2345 NEW BEST:: SOT 301287199 SOS 67293973 HAS SOPS 67293973 HAS SOUS 41331982 HAS SOUPS 41331982 WITH SCORE 4.1399275973E7
AT ITER 2392 NEW BEST:: SOT 301287037 SOS 67293649 HAS SOPS 67293649 HAS SOUS 41331658 HAS SOUPS 41331658 WITH SCORE 4.1398951649E7
AT ITER 2428 NEW BEST:: SOT 301287037 SOS 67293649 HAS SOPS 67293649 HAS SOUS 41331206 HAS SOUPS 41331206 WITH SCORE 4.1398499649E7
AT ITER 2439 NEW BEST:: SOT 301286727 SOS 67293959 HAS SOPS 67293959 HAS SOUS 41330896 HAS SOUPS 41330896 WITH SCORE 4.1398189959E7
AT ITER 2444 NEW BEST:: SOT 301286603 SOS 67293711 HAS SOPS 67293711 HAS SOUS 41330648 HAS SOUPS 41330648 WITH SCORE 4.1397941711E7
AT ITER 2455 NEW BEST:: SOT 301284007 SOS 67292409 HAS SOPS 67292409 HAS SOUS 41329349 HAS SOUPS 41329349 WITH SCORE 4.1396641409E7
AT ITER 2485 NEW BEST:: SOT 301283798 SOS 67291991 HAS SOPS 67291991 HAS SOUS 41328931 HAS SOUPS 41328931 WITH SCORE 4.1396222991E7
AT ITER 2486 NEW BEST:: SOT 301283798 SOS 67291991 HAS SOPS 67291991 HAS SOUS 41327758 HAS SOUPS 41327758 WITH SCORE 4.1395049991E7
AT ITER 2504 NEW BEST:: SOT 301283353 SOS 67291101 HAS SOPS 67291101 HAS SOUS 41326723 HAS SOUPS 41326723 WITH SCORE 4.1394014101E7
AT ITER 2518 NEW BEST:: SOT 301283353 SOS 67297118 HAS SOPS 67297118 HAS SOUS 41324715 HAS SOUPS 41324715 WITH SCORE 4.1392012118E7
AT ITER 2531 NEW BEST:: SOT 301283353 SOS 67293428 HAS SOPS 67293428 HAS SOUS 41323485 HAS SOUPS 41323485 WITH SCORE 4.1390778428E7
AT ITER 2536 NEW BEST:: SOT 301283352 SOS 67293426 HAS SOPS 67293426 HAS SOUS 41323483 HAS SOUPS 41323483 WITH SCORE 4.1390776426E7
AT ITER 2537 NEW BEST:: SOT 301284356 SOS 67295434 HAS SOPS 67295434 HAS SOUS 41320417 HAS SOUPS 41320417 WITH SCORE 4.1387712434E7
AT ITER 2552 NEW BEST:: SOT 301280167 SOS 67287056 HAS SOPS 67287056 HAS SOUS 41311138 HAS SOUPS 41311138 WITH SCORE 4.1378425056E7
AT ITER 2559 NEW BEST:: SOT 301280167 SOS 67285885 HAS SOPS 67285885 HAS SOUS 41309967 HAS SOUPS 41309967 WITH SCORE 4.1377252885E7
AT ITER 2582 NEW BEST:: SOT 301277481 SOS 67283199 HAS SOPS 67283199 HAS SOUS 41307281 HAS SOUPS 41307281 WITH SCORE 4.1374564199E7
AT ITER 2612 NEW BEST:: SOT 301277481 SOS 67281575 HAS SOPS 67281575 HAS SOUS 41305657 HAS SOUPS 41305657 WITH SCORE 4.1372938575E7
AT ITER 2613 NEW BEST:: SOT 301275955 SOS 67280049 HAS SOPS 67280049 HAS SOUS 41304131 HAS SOUPS 41304131 WITH SCORE 4.1371411049E7
AT ITER 2625 NEW BEST:: SOT 301278063 SOS 67284265 HAS SOPS 67284265 HAS SOUS 41303229 HAS SOUPS 41303229 WITH SCORE 4.1370513265E7
AT ITER 2634 NEW BEST:: SOT 301276842 SOS 67278160 HAS SOPS 67278160 HAS SOUS 41300787 HAS SOUPS 41300787 WITH SCORE 4.136806516E7
AT ITER 2682 NEW BEST:: SOT 301277591 SOS 67279658 HAS SOPS 67279658 HAS SOUS 41300647 HAS SOUPS 41300647 WITH SCORE 4.1367926658E7
AT ITER 2685 NEW BEST:: SOT 301277550 SOS 67279576 HAS SOPS 67279576 HAS SOUS 41299068 HAS SOUPS 41299068 WITH SCORE 4.1366347576E7
AT ITER 2704 NEW BEST:: SOT 301273366 SOS 67276514 HAS SOPS 67276514 HAS SOUS 41295444 HAS SOUPS 41295444 WITH SCORE 4.1362720514E7
AT ITER 2710 NEW BEST:: SOT 301273243 SOS 67276432 HAS SOPS 67276432 HAS SOUS 41295198 HAS SOUPS 41295198 WITH SCORE 4.1362474432E7
AT ITER 2779 NEW BEST:: SOT 301270667 SOS 67263552 HAS SOPS 67263552 HAS SOUS 41290046 HAS SOUPS 41290046 WITH SCORE 4.1357309552E7
AT ITER 2789 NEW BEST:: SOT 301271349 SOS 67261596 HAS SOPS 67261596 HAS SOUS 41289393 HAS SOUPS 41289393 WITH SCORE 4.1356654596E7
AT ITER 2799 NEW BEST:: SOT 301270179 SOS 67262762 HAS SOPS 67262762 HAS SOUS 41287052 HAS SOUPS 41287052 WITH SCORE 4.1354314762E7
AT ITER 2805 NEW BEST:: SOT 301269685 SOS 67261775 HAS SOPS 67261775 HAS SOUS 41286843 HAS SOUPS 41286843 WITH SCORE 4.1354104775E7
AT ITER 2809 NEW BEST:: SOT 301267186 SOS 67259272 HAS SOPS 67259272 HAS SOUS 41284343 HAS SOUPS 41284343 WITH SCORE 4.1351602272E7
AT ITER 2815 NEW BEST:: SOT 301265488 SOS 67255877 HAS SOPS 67255877 HAS SOUS 41281976 HAS SOUPS 41281976 WITH SCORE 4.1349231877E7
AT ITER 2821 NEW BEST:: SOT 301265488 SOS 67256131 HAS SOPS 67256131 HAS SOUS 41281975 HAS SOUPS 41281975 WITH SCORE 4.1349231131E7
AT ITER 2852 NEW BEST:: SOT 301262452 SOS 67253091 HAS SOPS 67253091 HAS SOUS 41278938 HAS SOUPS 41278938 WITH SCORE 4.1346191091E7
AT ITER 2879 NEW BEST:: SOT 301242007 SOS 67938371 HAS SOPS 67938371 HAS SOUS 41272427 HAS SOUPS 41272427 WITH SCORE 4.1340365371E7
AT ITER 2889 NEW BEST:: SOT 301242007 SOS 67937045 HAS SOPS 67937045 HAS SOUS 41272427 HAS SOUPS 41272427 WITH SCORE 4.1340364045E7
AT ITER 2945 NEW BEST:: SOT 301242006 SOS 67937043 HAS SOPS 67937043 HAS SOUS 41272425 HAS SOUPS 41272425 WITH SCORE 4.1340362043E7
AT ITER 2970 NEW BEST:: SOT 301237586 SOS 67933456 HAS SOPS 67933456 HAS SOUS 41263585 HAS SOUPS 41263585 WITH SCORE 4.1331518456E7
AT ITER 2998 NEW BEST:: SOT 301239210 SOS 67936700 HAS SOPS 67936700 HAS SOUS 41262322 HAS SOUPS 41262322 WITH SCORE 4.13302587E7
AT ITER 3032 NEW BEST:: SOT 301223510 SOS 67926874 HAS SOPS 67926874 HAS SOUS 41255999 HAS SOUPS 41255999 WITH SCORE 4.1323925874E7
AT ITER 3033 NEW BEST:: SOT 301222078 SOS 67924011 HAS SOPS 67924011 HAS SOUS 41253136 HAS SOUPS 41253136 WITH SCORE 4.1321060011E7
AT ITER 3041 NEW BEST:: SOT 301221092 SOS 67924997 HAS SOPS 67924997 HAS SOUS 41251604 HAS SOUPS 41251604 WITH SCORE 4.1319528997E7
AT ITER 3047 NEW BEST:: SOT 301221092 SOS 67924997 HAS SOPS 67924997 HAS SOUS 41250693 HAS SOUPS 41250693 WITH SCORE 4.1318617997E7
AT ITER 3048 NEW BEST:: SOT 301221092 SOS 67924729 HAS SOPS 67924729 HAS SOUS 41250425 HAS SOUPS 41250425 WITH SCORE 4.1318349729E7
AT ITER 3074 NEW BEST:: SOT 301218674 SOS 67922307 HAS SOPS 67922307 HAS SOUS 41248006 HAS SOUPS 41248006 WITH SCORE 4.1315928307E7
AT ITER 3086 NEW BEST:: SOT 301218674 SOS 67921954 HAS SOPS 67921954 HAS SOUS 41247653 HAS SOUPS 41247653 WITH SCORE 4.1315574954E7
AT ITER 3091 NEW BEST:: SOT 301217656 SOS 67919918 HAS SOPS 67919918 HAS SOUS 41244555 HAS SOUPS 41244555 WITH SCORE 4.1312474918E7
AT ITER 3098 NEW BEST:: SOT 301215752 SOS 67918962 HAS SOPS 67918962 HAS SOUS 41243602 HAS SOUPS 41243602 WITH SCORE 4.1311520962E7
AT ITER 3134 NEW BEST:: SOT 301215498 SOS 67919462 HAS SOPS 67919462 HAS SOUS 41243346 HAS SOUPS 41243346 WITH SCORE 4.1311265462E7
AT ITER 3139 NEW BEST:: SOT 301214965 SOS 67922878 HAS SOPS 67922878 HAS SOUS 41242813 HAS SOUPS 41242813 WITH SCORE 4.1310735878E7
AT ITER 3141 NEW BEST:: SOT 301214487 SOS 67921922 HAS SOPS 67921922 HAS SOUS 41241857 HAS SOUPS 41241857 WITH SCORE 4.1309778922E7
AT ITER 3171 NEW BEST:: SOT 301214422 SOS 67921792 HAS SOPS 67921792 HAS SOUS 41241727 HAS SOUPS 41241727 WITH SCORE 4.1309648792E7
AT ITER 3203 NEW BEST:: SOT 301214112 SOS 67921637 HAS SOPS 67921637 HAS SOUS 41241572 HAS SOUPS 41241572 WITH SCORE 4.1309493637E7
AT ITER 3211 NEW BEST:: SOT 301210181 SOS 67920915 HAS SOPS 67920915 HAS SOUS 41240333 HAS SOUPS 41240333 WITH SCORE 4.1308253915E7
AT ITER 3235 NEW BEST:: SOT 301208909 SOS 67918371 HAS SOPS 67918371 HAS SOUS 41237789 HAS SOUPS 41237789 WITH SCORE 4.1305707371E7
AT ITER 3238 NEW BEST:: SOT 301207197 SOS 67917437 HAS SOPS 67917437 HAS SOUS 41236855 HAS SOUPS 41236855 WITH SCORE 4.1304772437E7
AT ITER 3252 NEW BEST:: SOT 301207133 SOS 67917309 HAS SOPS 67917309 HAS SOUS 41235133 HAS SOUPS 41235133 WITH SCORE 4.1303050309E7
AT ITER 3253 NEW BEST:: SOT 301207132 SOS 67917307 HAS SOPS 67917307 HAS SOUS 41235131 HAS SOUPS 41235131 WITH SCORE 4.1303048307E7
AT ITER 3259 NEW BEST:: SOT 301206578 SOS 67916199 HAS SOPS 67916199 HAS SOUS 41234023 HAS SOUPS 41234023 WITH SCORE 4.1301939199E7
AT ITER 3260 NEW BEST:: SOT 301206630 SOS 67916303 HAS SOPS 67916303 HAS SOUS 41232646 HAS SOUPS 41232646 WITH SCORE 4.1300562303E7
AT ITER 3265 NEW BEST:: SOT 301206250 SOS 67918279 HAS SOPS 67918279 HAS SOUS 41232266 HAS SOUPS 41232266 WITH SCORE 4.1300184279E7
AT ITER 3300 NEW BEST:: SOT 301207166 SOS 67912682 HAS SOPS 67912682 HAS SOUS 41231011 HAS SOUPS 41231011 WITH SCORE 4.1298923682E7
AT ITER 3336 NEW BEST:: SOT 301206075 SOS 67910500 HAS SOPS 67910500 HAS SOUS 41228829 HAS SOUPS 41228829 WITH SCORE 4.12967395E7
AT ITER 3359 NEW BEST:: SOT 301182733 SOS 67899055 HAS SOPS 67899055 HAS SOUS 41222214 HAS SOUPS 41222214 WITH SCORE 4.1290113055E7
AT ITER 3377 NEW BEST:: SOT 301181799 SOS 67897187 HAS SOPS 67897187 HAS SOUS 41221280 HAS SOUPS 41221280 WITH SCORE 4.1289177187E7
AT ITER 3402 NEW BEST:: SOT 301180343 SOS 67895727 HAS SOPS 67895727 HAS SOUS 41219823 HAS SOUPS 41219823 WITH SCORE 4.1287718727E7
AT ITER 3404 NEW BEST:: SOT 301063780 SOS 68414231 HAS SOPS 68414231 HAS SOUS 41122596 HAS SOUPS 41122596 WITH SCORE 4.1191010231E7
AT ITER 3415 NEW BEST:: SOT 301061347 SOS 68411794 HAS SOPS 68411794 HAS SOUS 41120162 HAS SOUPS 41120162 WITH SCORE 4.1188573794E7
AT ITER 3426 NEW BEST:: SOT 301061236 SOS 68411568 HAS SOPS 68411568 HAS SOUS 41119939 HAS SOUPS 41119939 WITH SCORE 4.1188350568E7
AT ITER 3442 NEW BEST:: SOT 301061235 SOS 68411566 HAS SOPS 68411566 HAS SOUS 41119937 HAS SOUPS 41119937 WITH SCORE 4.1188348566E7
AT ITER 3456 NEW BEST:: SOT 301059432 SOS 68409763 HAS SOPS 68409763 HAS SOUS 41118134 HAS SOUPS 41118134 WITH SCORE 4.1186543763E7
AT ITER 3481 NEW BEST:: SOT 301058363 SOS 68409495 HAS SOPS 68409495 HAS SOUS 41117866 HAS SOUPS 41117866 WITH SCORE 4.1186275495E7
AT ITER 3505 NEW BEST:: SOT 301058594 SOS 68409957 HAS SOPS 68409957 HAS SOUS 41116766 HAS SOUPS 41116766 WITH SCORE 4.1185175957E7
AT ITER 3512 NEW BEST:: SOT 301058594 SOS 68409196 HAS SOPS 68409196 HAS SOUS 41116766 HAS SOUPS 41116766 WITH SCORE 4.1185175196E7
AT ITER 3514 NEW BEST:: SOT 301056823 SOS 68405655 HAS SOPS 68405655 HAS SOUS 41114341 HAS SOUPS 41114341 WITH SCORE 4.1182746655E7
AT ITER 3531 NEW BEST:: SOT 301056395 SOS 68405795 HAS SOPS 68405795 HAS SOUS 41114245 HAS SOUPS 41114245 WITH SCORE 4.1182650795E7
AT ITER 3566 NEW BEST:: SOT 301055682 SOS 68407221 HAS SOPS 68407221 HAS SOUS 41113532 HAS SOUPS 41113532 WITH SCORE 4.1181939221E7
AT ITER 3584 NEW BEST:: SOT 301055122 SOS 68406661 HAS SOPS 68406661 HAS SOUS 41112972 HAS SOUPS 41112972 WITH SCORE 4.1181378661E7
AT ITER 3594 NEW BEST:: SOT 301054452 SOS 68405321 HAS SOPS 68405321 HAS SOUS 41111632 HAS SOUPS 41111632 WITH SCORE 4.1180037321E7
AT ITER 3597 NEW BEST:: SOT 301054452 SOS 68399318 HAS SOPS 68399318 HAS SOUS 41109631 HAS SOUPS 41109631 WITH SCORE 4.1178030318E7
AT ITER 3603 NEW BEST:: SOT 301051175 SOS 68401052 HAS SOPS 68401052 HAS SOUS 41106354 HAS SOUPS 41106354 WITH SCORE 4.1174755052E7
AT ITER 3697 NEW BEST:: SOT 301050626 SOS 68399954 HAS SOPS 68399954 HAS SOUS 41105256 HAS SOUPS 41105256 WITH SCORE 4.1173655954E7
AT ITER 3699 NEW BEST:: SOT 301050673 SOS 68395221 HAS SOPS 68395221 HAS SOUS 41103717 HAS SOUPS 41103717 WITH SCORE 4.1172112221E7
AT ITER 3719 NEW BEST:: SOT 301048762 SOS 68397923 HAS SOPS 68397923 HAS SOUS 41099802 HAS SOUPS 41099802 WITH SCORE 4.1168199923E7
AT ITER 3726 NEW BEST:: SOT 301048250 SOS 68397667 HAS SOPS 68397667 HAS SOUS 41099546 HAS SOUPS 41099546 WITH SCORE 4.1167943667E7
AT ITER 3737 NEW BEST:: SOT 301048250 SOS 68396418 HAS SOPS 68396418 HAS SOUS 41099129 HAS SOUPS 41099129 WITH SCORE 4.1167525418E7
AT ITER 3757 NEW BEST:: SOT 301045834 SOS 68394002 HAS SOPS 68394002 HAS SOUS 41096713 HAS SOUPS 41096713 WITH SCORE 4.1165107002E7
AT ITER 3769 NEW BEST:: SOT 301045093 SOS 68393261 HAS SOPS 68393261 HAS SOUS 41095972 HAS SOUPS 41095972 WITH SCORE 4.1164365261E7
AT ITER 3774 NEW BEST:: SOT 301043468 SOS 68394882 HAS SOPS 68394882 HAS SOUS 41095490 HAS SOUPS 41095490 WITH SCORE 4.1163884882E7
AT ITER 3795 NEW BEST:: SOT 301040410 SOS 68388766 HAS SOPS 68388766 HAS SOUS 41090637 HAS SOUPS 41090637 WITH SCORE 4.1159025766E7
AT ITER 3820 NEW BEST:: SOT 301037257 SOS 68385609 HAS SOPS 68385609 HAS SOUS 41087483 HAS SOUPS 41087483 WITH SCORE 4.1155868609E7
AT ITER 3834 NEW BEST:: SOT 301018962 SOS 68375381 HAS SOPS 68375381 HAS SOUS 41080698 HAS SOUPS 41080698 WITH SCORE 4.1149073381E7
AT ITER 3935 NEW BEST:: SOT 301013991 SOS 68370409 HAS SOPS 68370409 HAS SOUS 41079774 HAS SOUPS 41079774 WITH SCORE 4.1148144409E7
AT ITER 3936 NEW BEST:: SOT 301013803 SOS 68370033 HAS SOPS 68370033 HAS SOUS 41079398 HAS SOUPS 41079398 WITH SCORE 4.1147768033E7
AT ITER 3957 NEW BEST:: SOT 301012731 SOS 68371098 HAS SOPS 68371098 HAS SOUS 41078324 HAS SOUPS 41078324 WITH SCORE 4.1146695098E7
AT ITER 3968 NEW BEST:: SOT 301012846 SOS 68371328 HAS SOPS 68371328 HAS SOUS 41073447 HAS SOUPS 41073447 WITH SCORE 4.1141818328E7
AT ITER 3982 NEW BEST:: SOT 301011380 SOS 68371324 HAS SOPS 68371324 HAS SOUS 41071980 HAS SOUPS 41071980 WITH SCORE 4.1140351324E7
AT ITER 4017 NEW BEST:: SOT 301011187 SOS 68371131 HAS SOPS 68371131 HAS SOUS 41071787 HAS SOUPS 41071787 WITH SCORE 4.1140158131E7
AT ITER 4022 NEW BEST:: SOT 301010632 SOS 68370021 HAS SOPS 68370021 HAS SOUS 41070677 HAS SOUPS 41070677 WITH SCORE 4.1139047021E7
AT ITER 4030 NEW BEST:: SOT 301007792 SOS 68367181 HAS SOPS 68367181 HAS SOUS 41067837 HAS SOUPS 41067837 WITH SCORE 4.1136204181E7
AT ITER 4047 NEW BEST:: SOT 301004606 SOS 68363995 HAS SOPS 68363995 HAS SOUS 41064651 HAS SOUPS 41064651 WITH SCORE 4.1133014995E7
AT ITER 4049 NEW BEST:: SOT 300996673 SOS 68356185 HAS SOPS 68356185 HAS SOUS 41056718 HAS SOUPS 41056718 WITH SCORE 4.1125074185E7
AT ITER 4074 NEW BEST:: SOT 300995538 SOS 68357320 HAS SOPS 68357320 HAS SOUS 41055583 HAS SOUPS 41055583 WITH SCORE 4.112394032E7
AT ITER 4084 NEW BEST:: SOT 300995320 SOS 68357317 HAS SOPS 68357317 HAS SOUS 41055146 HAS SOUPS 41055146 WITH SCORE 4.1123503317E7
AT ITER 4089 NEW BEST:: SOT 300995698 SOS 68358073 HAS SOPS 68358073 HAS SOUS 41053439 HAS SOUPS 41053439 WITH SCORE 4.1121797073E7
AT ITER 4110 NEW BEST:: SOT 300993639 SOS 68358063 HAS SOPS 68358063 HAS SOUS 41052402 HAS SOUPS 41052402 WITH SCORE 4.1120760063E7
AT ITER 4111 NEW BEST:: SOT 300993638 SOS 68356293 HAS SOPS 68356293 HAS SOUS 41051517 HAS SOUPS 41051517 WITH SCORE 4.1119873293E7
AT ITER 4149 NEW BEST:: SOT 300993527 SOS 68356507 HAS SOPS 68356507 HAS SOUS 41051404 HAS SOUPS 41051404 WITH SCORE 4.1119760507E7
AT ITER 4168 NEW BEST:: SOT 300992486 SOS 68354425 HAS SOPS 68354425 HAS SOUS 41049910 HAS SOUPS 41049910 WITH SCORE 4.1118264425E7
AT ITER 4185 NEW BEST:: SOT 300992486 SOS 68354425 HAS SOPS 68354425 HAS SOUS 41049909 HAS SOUPS 41049909 WITH SCORE 4.1118263425E7
AT ITER 4217 NEW BEST:: SOT 300989391 SOS 68351330 HAS SOPS 68351330 HAS SOUS 41046814 HAS SOUPS 41046814 WITH SCORE 4.111516533E7
AT ITER 4240 NEW BEST:: SOT 300989391 SOS 68350674 HAS SOPS 68350674 HAS SOUS 41046814 HAS SOUPS 41046814 WITH SCORE 4.1115164674E7
AT ITER 4279 NEW BEST:: SOT 300990145 SOS 68349163 HAS SOPS 68349163 HAS SOUS 41046813 HAS SOUPS 41046813 WITH SCORE 4.1115162163E7
AT ITER 4297 NEW BEST:: SOT 300989854 SOS 68349741 HAS SOPS 68349741 HAS SOUS 41046521 HAS SOUPS 41046521 WITH SCORE 4.1114870741E7
AT ITER 4308 NEW BEST:: SOT 300988897 SOS 68350695 HAS SOPS 68350695 HAS SOUS 41045563 HAS SOUPS 41045563 WITH SCORE 4.1113913695E7
AT ITER 4352 NEW BEST:: SOT 300988231 SOS 68349363 HAS SOPS 68349363 HAS SOUS 41044231 HAS SOUPS 41044231 WITH SCORE 4.1112580363E7
AT ITER 4361 NEW BEST:: SOT 300987739 SOS 68348870 HAS SOPS 68348870 HAS SOUS 41043738 HAS SOUPS 41043738 WITH SCORE 4.111208687E7
AT ITER 4370 NEW BEST:: SOT 300987553 SOS 68348498 HAS SOPS 68348498 HAS SOUS 41043366 HAS SOUPS 41043366 WITH SCORE 4.1111714498E7
AT ITER 4443 NEW BEST:: SOT 300987083 SOS 68351778 HAS SOPS 68351778 HAS SOUS 41042425 HAS SOUPS 41042425 WITH SCORE 4.1110776778E7
AT ITER 4482 NEW BEST:: SOT 300987083 SOS 68344149 HAS SOPS 68344149 HAS SOUS 41039882 HAS SOUPS 41039882 WITH SCORE 4.1108226149E7
AT ITER 4524 NEW BEST:: SOT 300986539 SOS 68343605 HAS SOPS 68343605 HAS SOUS 41039338 HAS SOUPS 41039338 WITH SCORE 4.1107681605E7
AT ITER 4545 NEW BEST:: SOT 300986538 SOS 68340256 HAS SOPS 68340256 HAS SOUS 41035989 HAS SOUPS 41035989 WITH SCORE 4.1104329256E7
AT ITER 4555 NEW BEST:: SOT 300982276 SOS 68340568 HAS SOPS 68340568 HAS SOUS 41034596 HAS SOUPS 41034596 WITH SCORE 4.1102936568E7
AT ITER 4560 NEW BEST:: SOT 300982276 SOS 68338912 HAS SOPS 68338912 HAS SOUS 41034596 HAS SOUPS 41034596 WITH SCORE 4.1102934912E7
AT ITER 4580 NEW BEST:: SOT 300982030 SOS 68339155 HAS SOPS 68339155 HAS SOUS 41034349 HAS SOUPS 41034349 WITH SCORE 4.1102688155E7
AT ITER 4583 NEW BEST:: SOT 300981765 SOS 68339420 HAS SOPS 68339420 HAS SOUS 41034084 HAS SOUPS 41034084 WITH SCORE 4.110242342E7
AT ITER 4585 NEW BEST:: SOT 300981666 SOS 68339222 HAS SOPS 68339222 HAS SOUS 41032376 HAS SOUPS 41032376 WITH SCORE 4.1100715222E7
AT ITER 4614 NEW BEST:: SOT 300977663 SOS 68337516 HAS SOPS 68337516 HAS SOUS 41030473 HAS SOUPS 41030473 WITH SCORE 4.1098810516E7
AT ITER 4634 NEW BEST:: SOT 300976270 SOS 68339327 HAS SOPS 68339327 HAS SOUS 41030127 HAS SOUPS 41030127 WITH SCORE 4.1098466327E7
AT ITER 4651 NEW BEST:: SOT 300965402 SOS 68331423 HAS SOPS 68331423 HAS SOUS 41025187 HAS SOUPS 41025187 WITH SCORE 4.1093518423E7
AT ITER 4668 NEW BEST:: SOT 300964677 SOS 68329973 HAS SOPS 68329973 HAS SOUS 41023737 HAS SOUPS 41023737 WITH SCORE 4.1092066973E7
AT ITER 4676 NEW BEST:: SOT 300964677 SOS 68322884 HAS SOPS 68322884 HAS SOUS 41021374 HAS SOUPS 41021374 WITH SCORE 4.1089696884E7
AT ITER 4724 NEW BEST:: SOT 300961998 SOS 68320902 HAS SOPS 68320902 HAS SOUS 41018694 HAS SOUPS 41018694 WITH SCORE 4.1087014902E7
AT ITER 4736 NEW BEST:: SOT 300961998 SOS 68321774 HAS SOPS 68321774 HAS SOUS 41018692 HAS SOUPS 41018692 WITH SCORE 4.1087013774E7
AT ITER 4760 NEW BEST:: SOT 300961998 SOS 68313728 HAS SOPS 68313728 HAS SOUS 41018692 HAS SOUPS 41018692 WITH SCORE 4.1087005728E7
AT ITER 4764 NEW BEST:: SOT 300961874 SOS 68313480 HAS SOPS 68313480 HAS SOUS 41018444 HAS SOUPS 41018444 WITH SCORE 4.108675748E7
AT ITER 4784 NEW BEST:: SOT 300961267 SOS 68312266 HAS SOPS 68312266 HAS SOUS 41017837 HAS SOUPS 41017837 WITH SCORE 4.1086149266E7
AT ITER 4820 NEW BEST:: SOT 300960904 SOS 68312984 HAS SOPS 68312984 HAS SOUS 41017472 HAS SOUPS 41017472 WITH SCORE 4.1085784984E7
AT ITER 4837 NEW BEST:: SOT 300960461 SOS 68312098 HAS SOPS 68312098 HAS SOUS 41016586 HAS SOUPS 41016586 WITH SCORE 4.1084898098E7
AT ITER 4844 NEW BEST:: SOT 300958169 SOS 68312088 HAS SOPS 68312088 HAS SOUS 41015323 HAS SOUPS 41015323 WITH SCORE 4.1083635088E7
AT ITER 4887 NEW BEST:: SOT 300955522 SOS 68309437 HAS SOPS 68309437 HAS SOUS 41012675 HAS SOUPS 41012675 WITH SCORE 4.1080984437E7
AT ITER 4900 NEW BEST:: SOT 300953075 SOS 68306986 HAS SOPS 68306986 HAS SOUS 41010227 HAS SOUPS 41010227 WITH SCORE 4.1078533986E7
AT ITER 4926 NEW BEST:: SOT 300952844 SOS 68306524 HAS SOPS 68306524 HAS SOUS 41009765 HAS SOUPS 41009765 WITH SCORE 4.1078071524E7
AT ITER 5078 NEW BEST:: SOT 300948820 SOS 68301862 HAS SOPS 68301862 HAS SOUS 41003728 HAS SOUPS 41003728 WITH SCORE 4.1072029862E7
AT ITER 5097 NEW BEST:: SOT 300948156 SOS 68300534 HAS SOPS 68300534 HAS SOUS 41000972 HAS SOUPS 41000972 WITH SCORE 4.1069272534E7
AT ITER 5105 NEW BEST:: SOT 300945798 SOS 68297064 HAS SOPS 68297064 HAS SOUS 40998336 HAS SOUPS 40998336 WITH SCORE 4.1066633064E7
AT ITER 5141 NEW BEST:: SOT 300944050 SOS 68309300 HAS SOPS 68309300 HAS SOUS 40996588 HAS SOUPS 40996588 WITH SCORE 4.10648973E7
AT ITER 5180 NEW BEST:: SOT 300942625 SOS 68306450 HAS SOPS 68306450 HAS SOUS 40992622 HAS SOUPS 40992622 WITH SCORE 4.106092845E7
AT ITER 5193 NEW BEST:: SOT 300943443 SOS 68306152 HAS SOPS 68306152 HAS SOUS 40991926 HAS SOUPS 40991926 WITH SCORE 4.1060232152E7
AT ITER 5206 NEW BEST:: SOT 300942918 SOS 68305102 HAS SOPS 68305102 HAS SOUS 40990876 HAS SOUPS 40990876 WITH SCORE 4.1059181102E7
AT ITER 5223 NEW BEST:: SOT 300940056 SOS 68296516 HAS SOPS 68296516 HAS SOUS 40986583 HAS SOUPS 40986583 WITH SCORE 4.1054879516E7
AT ITER 5236 NEW BEST:: SOT 300940519 SOS 68296975 HAS SOPS 68296975 HAS SOUS 40986581 HAS SOUPS 40986581 WITH SCORE 4.1054877975E7
AT ITER 5244 NEW BEST:: SOT 300941303 SOS 68296973 HAS SOPS 68296973 HAS SOUS 40986580 HAS SOUPS 40986580 WITH SCORE 4.1054876973E7
AT ITER 5254 NEW BEST:: SOT 300941300 SOS 68299828 HAS SOPS 68299828 HAS SOUS 40986573 HAS SOUPS 40986573 WITH SCORE 4.1054872828E7
AT ITER 5342 NEW BEST:: SOT 300940692 SOS 68299269 HAS SOPS 68299269 HAS SOUS 40986014 HAS SOUPS 40986014 WITH SCORE 4.1054313269E7
AT ITER 5351 NEW BEST:: SOT 300940001 SOS 68297887 HAS SOPS 68297887 HAS SOUS 40984632 HAS SOUPS 40984632 WITH SCORE 4.1052929887E7
AT ITER 5376 NEW BEST:: SOT 300935331 SOS 68288547 HAS SOPS 68288547 HAS SOUS 40975292 HAS SOUPS 40975292 WITH SCORE 4.1043580547E7
AT ITER 5385 NEW BEST:: SOT 300935331 SOS 68287038 HAS SOPS 68287038 HAS SOUS 40975292 HAS SOUPS 40975292 WITH SCORE 4.1043579038E7
AT ITER 5406 NEW BEST:: SOT 300932477 SOS 68283664 HAS SOPS 68283664 HAS SOUS 40971918 HAS SOUPS 40971918 WITH SCORE 4.1040201664E7
AT ITER 5425 NEW BEST:: SOT 300930753 SOS 68281936 HAS SOPS 68281936 HAS SOUS 40971651 HAS SOUPS 40971651 WITH SCORE 4.1039932936E7
AT ITER 5446 NEW BEST:: SOT 300929476 SOS 68279382 HAS SOPS 68279382 HAS SOUS 40968153 HAS SOUPS 40968153 WITH SCORE 4.1036432382E7
AT ITER 5470 NEW BEST:: SOT 300929475 SOS 68279380 HAS SOPS 68279380 HAS SOUS 40968151 HAS SOUPS 40968151 WITH SCORE 4.103643038E7
AT ITER 5519 NEW BEST:: SOT 300927511 SOS 68277416 HAS SOPS 68277416 HAS SOUS 40966187 HAS SOUPS 40966187 WITH SCORE 4.1034464416E7
AT ITER 5559 NEW BEST:: SOT 300927416 SOS 68277131 HAS SOPS 68277131 HAS SOUS 40965997 HAS SOUPS 40965997 WITH SCORE 4.1034274131E7
AT ITER 5561 NEW BEST:: SOT 300910278 SOS 68265661 HAS SOPS 68265661 HAS SOUS 40958710 HAS SOUPS 40958710 WITH SCORE 4.1026975661E7
AT ITER 5564 NEW BEST:: SOT 300910235 SOS 68265618 HAS SOPS 68265618 HAS SOUS 40958667 HAS SOUPS 40958667 WITH SCORE 4.1026932618E7
AT ITER 5572 NEW BEST:: SOT 300908598 SOS 68262344 HAS SOPS 68262344 HAS SOUS 40955393 HAS SOUPS 40955393 WITH SCORE 4.1023655344E7
AT ITER 5576 NEW BEST:: SOT 300906410 SOS 68257968 HAS SOPS 68257968 HAS SOUS 40951017 HAS SOUPS 40951017 WITH SCORE 4.1019274968E7
AT ITER 5580 NEW BEST:: SOT 300904528 SOS 68255879 HAS SOPS 68255879 HAS SOUS 40949134 HAS SOUPS 40949134 WITH SCORE 4.1017389879E7
AT ITER 5606 NEW BEST:: SOT 300902602 SOS 68254007 HAS SOPS 68254007 HAS SOUS 40947262 HAS SOUPS 40947262 WITH SCORE 4.1015516007E7
AT ITER 5628 NEW BEST:: SOT 300902233 SOS 68254745 HAS SOPS 68254745 HAS SOUS 40946893 HAS SOUPS 40946893 WITH SCORE 4.1015147745E7
AT ITER 5652 NEW BEST:: SOT 300902233 SOS 68254423 HAS SOPS 68254423 HAS SOUS 40946732 HAS SOUPS 40946732 WITH SCORE 4.1014986423E7
AT ITER 5679 NEW BEST:: SOT 300900636 SOS 68252826 HAS SOPS 68252826 HAS SOUS 40945135 HAS SOUPS 40945135 WITH SCORE 4.1013387826E7
AT ITER 5680 NEW BEST:: SOT 300900419 SOS 68252392 HAS SOPS 68252392 HAS SOUS 40944701 HAS SOUPS 40944701 WITH SCORE 4.1012953392E7
AT ITER 5739 NEW BEST:: SOT 300895683 SOS 68242920 HAS SOPS 68242920 HAS SOUS 40935229 HAS SOUPS 40935229 WITH SCORE 4.100347192E7
AT ITER 5742 NEW BEST:: SOT 300894042 SOS 68239639 HAS SOPS 68239639 HAS SOUS 40931948 HAS SOUPS 40931948 WITH SCORE 4.1000187639E7
AT ITER 5754 NEW BEST:: SOT 300893787 SOS 68239129 HAS SOPS 68239129 HAS SOUS 40931438 HAS SOUPS 40931438 WITH SCORE 4.0999677129E7
AT ITER 5755 NEW BEST:: SOT 300893001 SOS 68237558 HAS SOPS 68237558 HAS SOUS 40929867 HAS SOUPS 40929867 WITH SCORE 4.0998104558E7
AT ITER 5764 NEW BEST:: SOT 300891992 SOS 68235540 HAS SOPS 68235540 HAS SOUS 40927849 HAS SOUPS 40927849 WITH SCORE 4.099608454E7
AT ITER 5765 NEW BEST:: SOT 300891506 SOS 68236779 HAS SOPS 68236779 HAS SOUS 40927363 HAS SOUPS 40927363 WITH SCORE 4.0995599779E7
AT ITER 5802 NEW BEST:: SOT 300891506 SOS 68233236 HAS SOPS 68233236 HAS SOUS 40926182 HAS SOUPS 40926182 WITH SCORE 4.0994415236E7
AT ITER 5807 NEW BEST:: SOT 300889801 SOS 68234781 HAS SOPS 68234781 HAS SOUS 40922383 HAS SOUPS 40922383 WITH SCORE 4.0990617781E7
AT ITER 5882 NEW BEST:: SOT 300889801 SOS 68225730 HAS SOPS 68225730 HAS SOUS 40922382 HAS SOUPS 40922382 WITH SCORE 4.099060773E7
AT ITER 5903 NEW BEST:: SOT 300888226 SOS 68222581 HAS SOPS 68222581 HAS SOUS 40919233 HAS SOUPS 40919233 WITH SCORE 4.0987455581E7
AT ITER 6007 NEW BEST:: SOT 300888226 SOS 68222033 HAS SOPS 68222033 HAS SOUS 40918959 HAS SOUPS 40918959 WITH SCORE 4.0987181033E7
AT ITER 6082 NEW BEST:: SOT 300889472 SOS 68221693 HAS SOPS 68221693 HAS SOUS 40918897 HAS SOUPS 40918897 WITH SCORE 4.0987118693E7
AT ITER 6108 NEW BEST:: SOT 300887379 SOS 68220439 HAS SOPS 68220439 HAS SOUS 40917643 HAS SOUPS 40917643 WITH SCORE 4.0985863439E7
AT ITER 6116 NEW BEST:: SOT 300888082 SOS 68213715 HAS SOPS 68213715 HAS SOUS 40915636 HAS SOUPS 40915636 WITH SCORE 4.0983849715E7
AT ITER 6174 NEW BEST:: SOT 300890644 SOS 68218835 HAS SOPS 68218835 HAS SOUS 40915541 HAS SOUPS 40915541 WITH SCORE 4.0983759835E7
AT ITER 6189 NEW BEST:: SOT 300889924 SOS 68217391 HAS SOPS 68217391 HAS SOUS 40914100 HAS SOUPS 40914100 WITH SCORE 4.0982317391E7
AT ITER 6214 NEW BEST:: SOT 300887568 SOS 68215035 HAS SOPS 68215035 HAS SOUS 40911744 HAS SOUPS 40911744 WITH SCORE 4.0979959035E7
AT ITER 6259 NEW BEST:: SOT 300885209 SOS 68215025 HAS SOPS 68215025 HAS SOUS 40910409 HAS SOUPS 40910409 WITH SCORE 4.0978624025E7
AT ITER 6262 NEW BEST:: SOT 300886609 SOS 68217825 HAS SOPS 68217825 HAS SOUS 40907778 HAS SOUPS 40907778 WITH SCORE 4.0975995825E7
AT ITER 6308 NEW BEST:: SOT 300886609 SOS 68217825 HAS SOPS 68217825 HAS SOUS 40907320 HAS SOUPS 40907320 WITH SCORE 4.0975537825E7
AT ITER 6313 NEW BEST:: SOT 300885443 SOS 68215493 HAS SOPS 68215493 HAS SOUS 40906153 HAS SOUPS 40906153 WITH SCORE 4.0974368493E7
AT ITER 6328 NEW BEST:: SOT 300881647 SOS 68211696 HAS SOPS 68211696 HAS SOUS 40902356 HAS SOUPS 40902356 WITH SCORE 4.0970567696E7
AT ITER 6341 NEW BEST:: SOT 300881647 SOS 68212570 HAS SOPS 68212570 HAS SOUS 40902355 HAS SOUPS 40902355 WITH SCORE 4.097056757E7
AT ITER 6354 NEW BEST:: SOT 300879320 SOS 68210239 HAS SOPS 68210239 HAS SOUS 40900027 HAS SOUPS 40900027 WITH SCORE 4.0968237239E7
AT ITER 6371 NEW BEST:: SOT 300878063 SOS 68208982 HAS SOPS 68208982 HAS SOUS 40900027 HAS SOUPS 40900027 WITH SCORE 4.0968235982E7
AT ITER 6382 NEW BEST:: SOT 300875300 SOS 68206215 HAS SOPS 68206215 HAS SOUS 40897263 HAS SOUPS 40897263 WITH SCORE 4.0965469215E7
AT ITER 6417 NEW BEST:: SOT 300874849 SOS 68205313 HAS SOPS 68205313 HAS SOUS 40894714 HAS SOUPS 40894714 WITH SCORE 4.0962919313E7
AT ITER 6455 NEW BEST:: SOT 300875317 SOS 68206245 HAS SOPS 68206245 HAS SOUS 40894713 HAS SOUPS 40894713 WITH SCORE 4.0962919245E7
AT ITER 6492 NEW BEST:: SOT 300872693 SOS 68204439 HAS SOPS 68204439 HAS SOUS 40892088 HAS SOUPS 40892088 WITH SCORE 4.0960292439E7
AT ITER 6530 NEW BEST:: SOT 300872692 SOS 68204437 HAS SOPS 68204437 HAS SOUS 40892086 HAS SOUPS 40892086 WITH SCORE 4.0960290437E7
AT ITER 6588 NEW BEST:: SOT 300858514 SOS 68220289 HAS SOPS 68220289 HAS SOUS 40891878 HAS SOUPS 40891878 WITH SCORE 4.0960098289E7
AT ITER 6590 NEW BEST:: SOT 300857490 SOS 68207087 HAS SOPS 68207087 HAS SOUS 40885180 HAS SOUPS 40885180 WITH SCORE 4.0953387087E7
AT ITER 6594 NEW BEST:: SOT 300857104 SOS 68207086 HAS SOPS 68207086 HAS SOUS 40885179 HAS SOUPS 40885179 WITH SCORE 4.0953386086E7
AT ITER 6612 NEW BEST:: SOT 300856438 SOS 68205754 HAS SOPS 68205754 HAS SOUS 40882439 HAS SOUPS 40882439 WITH SCORE 4.0950644754E7
AT ITER 6650 NEW BEST:: SOT 300853093 SOS 68189029 HAS SOPS 68189029 HAS SOUS 40875749 HAS SOUPS 40875749 WITH SCORE 4.0943938029E7
AT ITER 6659 NEW BEST:: SOT 300853093 SOS 68181097 HAS SOPS 68181097 HAS SOUS 40875749 HAS SOUPS 40875749 WITH SCORE 4.0943930097E7
AT ITER 6693 NEW BEST:: SOT 300853092 SOS 68181095 HAS SOPS 68181095 HAS SOUS 40875747 HAS SOUPS 40875747 WITH SCORE 4.0943928095E7
AT ITER 6703 NEW BEST:: SOT 300852881 SOS 68180673 HAS SOPS 68180673 HAS SOUS 40875536 HAS SOUPS 40875536 WITH SCORE 4.0943716673E7
AT ITER 6704 NEW BEST:: SOT 300850850 SOS 68176611 HAS SOPS 68176611 HAS SOUS 40874391 HAS SOUPS 40874391 WITH SCORE 4.0942567611E7
AT ITER 6721 NEW BEST:: SOT 300850850 SOS 68176079 HAS SOPS 68176079 HAS SOUS 40874391 HAS SOUPS 40874391 WITH SCORE 4.0942567079E7
AT ITER 6738 NEW BEST:: SOT 300850595 SOS 68175569 HAS SOPS 68175569 HAS SOUS 40873881 HAS SOUPS 40873881 WITH SCORE 4.0942056569E7
AT ITER 6795 NEW BEST:: SOT 300850729 SOS 68174083 HAS SOPS 68174083 HAS SOUS 40872395 HAS SOUPS 40872395 WITH SCORE 4.0940569083E7
AT ITER 6821 NEW BEST:: SOT 300850584 SOS 68173793 HAS SOPS 68173793 HAS SOUS 40872105 HAS SOUPS 40872105 WITH SCORE 4.0940278793E7
AT ITER 6825 NEW BEST:: SOT 300847889 SOS 68160318 HAS SOPS 68160318 HAS SOUS 40866715 HAS SOUPS 40866715 WITH SCORE 4.0934875318E7
AT ITER 6828 NEW BEST:: SOT 300847889 SOS 68169770 HAS SOPS 68169770 HAS SOUS 40863562 HAS SOUPS 40863562 WITH SCORE 4.093173177E7
AT ITER 6847 NEW BEST:: SOT 300847888 SOS 68169768 HAS SOPS 68169768 HAS SOUS 40863560 HAS SOUPS 40863560 WITH SCORE 4.0931729768E7
AT ITER 6869 NEW BEST:: SOT 300847296 SOS 68169176 HAS SOPS 68169176 HAS SOUS 40862968 HAS SOUPS 40862968 WITH SCORE 4.0931137176E7
AT ITER 6881 NEW BEST:: SOT 300844502 SOS 68167612 HAS SOPS 68167612 HAS SOUS 40860643 HAS SOUPS 40860643 WITH SCORE 4.0928810612E7
AT ITER 6882 NEW BEST:: SOT 300844502 SOS 68166496 HAS SOPS 68166496 HAS SOUS 40859527 HAS SOUPS 40859527 WITH SCORE 4.0927693496E7
AT ITER 6888 NEW BEST:: SOT 300843991 SOS 68165474 HAS SOPS 68165474 HAS SOUS 40858505 HAS SOUPS 40858505 WITH SCORE 4.0926670474E7
AT ITER 6897 NEW BEST:: SOT 300843991 SOS 68158631 HAS SOPS 68158631 HAS SOUS 40856224 HAS SOUPS 40856224 WITH SCORE 4.0924382631E7
AT ITER 6920 NEW BEST:: SOT 300839406 SOS 68150780 HAS SOPS 68150780 HAS SOUS 40852580 HAS SOUPS 40852580 WITH SCORE 4.092073078E7
AT ITER 6933 NEW BEST:: SOT 300839405 SOS 68149060 HAS SOPS 68149060 HAS SOUS 40850860 HAS SOUPS 40850860 WITH SCORE 4.091900906E7
AT ITER 6969 NEW BEST:: SOT 300838132 SOS 68146514 HAS SOPS 68146514 HAS SOUS 40848314 HAS SOUPS 40848314 WITH SCORE 4.0916460514E7
AT ITER 6998 NEW BEST:: SOT 300834312 SOS 68145396 HAS SOPS 68145396 HAS SOUS 40846668 HAS SOUPS 40846668 WITH SCORE 4.0914813396E7
AT ITER 7000 NEW BEST:: SOT 300831096 SOS 68142180 HAS SOPS 68142180 HAS SOUS 40843452 HAS SOUPS 40843452 WITH SCORE 4.091159418E7
AT ITER 7026 NEW BEST:: SOT 300831094 SOS 68142176 HAS SOPS 68142176 HAS SOUS 40843448 HAS SOUPS 40843448 WITH SCORE 4.0911590176E7
AT ITER 7032 NEW BEST:: SOT 300829140 SOS 68296365 HAS SOPS 68296365 HAS SOUS 40841864 HAS SOUPS 40841864 WITH SCORE 4.0910160365E7
AT ITER 7045 NEW BEST:: SOT 300829140 SOS 68296365 HAS SOPS 68296365 HAS SOUS 40841863 HAS SOUPS 40841863 WITH SCORE 4.0910159365E7
AT ITER 7077 NEW BEST:: SOT 300829140 SOS 68288208 HAS SOPS 68288208 HAS SOUS 40841863 HAS SOUPS 40841863 WITH SCORE 4.0910151208E7
AT ITER 7114 NEW BEST:: SOT 300828216 SOS 68286360 HAS SOPS 68286360 HAS SOUS 40838839 HAS SOUPS 40838839 WITH SCORE 4.090712536E7
AT ITER 7123 NEW BEST:: SOT 300828216 SOS 68287934 HAS SOPS 68287934 HAS SOUS 40838837 HAS SOUPS 40838837 WITH SCORE 4.0907124934E7
AT ITER 7157 NEW BEST:: SOT 300827707 SOS 68288952 HAS SOPS 68288952 HAS SOUS 40838328 HAS SOUPS 40838328 WITH SCORE 4.0906616952E7
AT ITER 7193 NEW BEST:: SOT 300827039 SOS 68288952 HAS SOPS 68288952 HAS SOUS 40837994 HAS SOUPS 40837994 WITH SCORE 4.0906282952E7
AT ITER 7208 NEW BEST:: SOT 300829505 SOS 68286087 HAS SOPS 68286087 HAS SOUS 40837861 HAS SOUPS 40837861 WITH SCORE 4.0906147087E7
AT ITER 7221 NEW BEST:: SOT 300827213 SOS 68281503 HAS SOPS 68281503 HAS SOUS 40833277 HAS SOUPS 40833277 WITH SCORE 4.0901558503E7
AT ITER 7233 NEW BEST:: SOT 300814860 SOS 68272519 HAS SOPS 68272519 HAS SOUS 40827662 HAS SOUPS 40827662 WITH SCORE 4.0895934519E7
AT ITER 7249 NEW BEST:: SOT 300811997 SOS 68269652 HAS SOPS 68269652 HAS SOUS 40824798 HAS SOUPS 40824798 WITH SCORE 4.0893067652E7
AT ITER 7265 NEW BEST:: SOT 300811997 SOS 68269652 HAS SOPS 68269652 HAS SOUS 40824797 HAS SOUPS 40824797 WITH SCORE 4.0893066652E7
AT ITER 7289 NEW BEST:: SOT 300800251 SOS 68272564 HAS SOPS 68272564 HAS SOUS 40824276 HAS SOUPS 40824276 WITH SCORE 4.0892548564E7
AT ITER 7324 NEW BEST:: SOT 300798771 SOS 68271080 HAS SOPS 68271080 HAS SOUS 40822795 HAS SOUPS 40822795 WITH SCORE 4.089106608E7
AT ITER 7342 NEW BEST:: SOT 300797526 SOS 68269294 HAS SOPS 68269294 HAS SOUS 40822014 HAS SOUPS 40822014 WITH SCORE 4.0890283294E7
AT ITER 7376 NEW BEST:: SOT 300798489 SOS 68266405 HAS SOPS 68266405 HAS SOUS 40821051 HAS SOUPS 40821051 WITH SCORE 4.0889317405E7
AT ITER 7382 NEW BEST:: SOT 300796337 SOS 68265703 HAS SOPS 68265703 HAS SOUS 40819657 HAS SOUPS 40819657 WITH SCORE 4.0887922703E7
AT ITER 7404 NEW BEST:: SOT 300795568 SOS 68264165 HAS SOPS 68264165 HAS SOUS 40817355 HAS SOUPS 40817355 WITH SCORE 4.0885619165E7
AT ITER 7424 NEW BEST:: SOT 300795568 SOS 68264165 HAS SOPS 68264165 HAS SOUS 40817354 HAS SOUPS 40817354 WITH SCORE 4.0885618165E7
AT ITER 7454 NEW BEST:: SOT 300795429 SOS 68263887 HAS SOPS 68263887 HAS SOUS 40817076 HAS SOUPS 40817076 WITH SCORE 4.0885339887E7
AT ITER 7461 NEW BEST:: SOT 300793289 SOS 68260677 HAS SOPS 68260677 HAS SOUS 40814936 HAS SOUPS 40814936 WITH SCORE 4.0883196677E7
AT ITER 7471 NEW BEST:: SOT 300791576 SOS 68258964 HAS SOPS 68258964 HAS SOUS 40813223 HAS SOUPS 40813223 WITH SCORE 4.0881481964E7
AT ITER 7486 NEW BEST:: SOT 300755240 SOS 68300563 HAS SOPS 68300563 HAS SOUS 40778788 HAS SOUPS 40778788 WITH SCORE 4.0847088563E7
AT ITER 7500 NEW BEST:: SOT 300754951 SOS 68302576 HAS SOPS 68302576 HAS SOUS 40778209 HAS SOUPS 40778209 WITH SCORE 4.0846511576E7
AT ITER 7502 NEW BEST:: SOT 300754951 SOS 68303280 HAS SOPS 68303280 HAS SOUS 40778208 HAS SOUPS 40778208 WITH SCORE 4.084651128E7
AT ITER 7545 NEW BEST:: SOT 300749805 SOS 68303040 HAS SOPS 68303040 HAS SOUS 40777049 HAS SOUPS 40777049 WITH SCORE 4.084535204E7
AT ITER 7590 NEW BEST:: SOT 300749804 SOS 68302675 HAS SOPS 68302675 HAS SOUS 40776684 HAS SOUPS 40776684 WITH SCORE 4.0844986675E7
AT ITER 7592 NEW BEST:: SOT 300749979 SOS 68303025 HAS SOPS 68303025 HAS SOUS 40776357 HAS SOUPS 40776357 WITH SCORE 4.0844660025E7
AT ITER 7600 NEW BEST:: SOT 300749516 SOS 68304348 HAS SOPS 68304348 HAS SOUS 40775892 HAS SOUPS 40775892 WITH SCORE 4.0844196348E7
AT ITER 7626 NEW BEST:: SOT 300748135 SOS 68301781 HAS SOPS 68301781 HAS SOUS 40772143 HAS SOUPS 40772143 WITH SCORE 4.0840444781E7
AT ITER 7644 NEW BEST:: SOT 300745276 SOS 68298922 HAS SOPS 68298922 HAS SOUS 40769284 HAS SOUPS 40769284 WITH SCORE 4.0837582922E7
AT ITER 7666 NEW BEST:: SOT 300744455 SOS 68297280 HAS SOPS 68297280 HAS SOUS 40767642 HAS SOUPS 40767642 WITH SCORE 4.083593928E7
AT ITER 7695 NEW BEST:: SOT 300744191 SOS 68296752 HAS SOPS 68296752 HAS SOUS 40767114 HAS SOUPS 40767114 WITH SCORE 4.0835410752E7
AT ITER 7701 NEW BEST:: SOT 300745558 SOS 68297420 HAS SOPS 68297420 HAS SOUS 40760175 HAS SOUPS 40760175 WITH SCORE 4.082847242E7
AT ITER 7712 NEW BEST:: SOT 300745558 SOS 68295572 HAS SOPS 68295572 HAS SOUS 40760174 HAS SOUPS 40760174 WITH SCORE 4.0828469572E7
AT ITER 7725 NEW BEST:: SOT 300742669 SOS 68281235 HAS SOPS 68281235 HAS SOUS 40754423 HAS SOUPS 40754423 WITH SCORE 4.0822704235E7
AT ITER 7785 NEW BEST:: SOT 300737603 SOS 68275561 HAS SOPS 68275561 HAS SOUS 40748749 HAS SOUPS 40748749 WITH SCORE 4.0817024561E7
AT ITER 7790 NEW BEST:: SOT 300719487 SOS 68264907 HAS SOPS 68264907 HAS SOUS 40741770 HAS SOUPS 40741770 WITH SCORE 4.0810034907E7
AT ITER 7791 NEW BEST:: SOT 300719119 SOS 68264171 HAS SOPS 68264171 HAS SOUS 40741770 HAS SOUPS 40741770 WITH SCORE 4.0810034171E7
AT ITER 7798 NEW BEST:: SOT 300719118 SOS 68264169 HAS SOPS 68264169 HAS SOUS 40741768 HAS SOUPS 40741768 WITH SCORE 4.0810032169E7
AT ITER 7841 NEW BEST:: SOT 300718876 SOS 68264048 HAS SOPS 68264048 HAS SOUS 40741647 HAS SOUPS 40741647 WITH SCORE 4.0809911048E7
AT ITER 7845 NEW BEST:: SOT 300718876 SOS 68264952 HAS SOPS 68264952 HAS SOUS 40741646 HAS SOUPS 40741646 WITH SCORE 4.0809910952E7
AT ITER 7847 NEW BEST:: SOT 300714691 SOS 68260767 HAS SOPS 68260767 HAS SOUS 40737461 HAS SOUPS 40737461 WITH SCORE 4.0805721767E7
AT ITER 7867 NEW BEST:: SOT 300714691 SOS 68260767 HAS SOPS 68260767 HAS SOUS 40736539 HAS SOUPS 40736539 WITH SCORE 4.0804799767E7
AT ITER 7875 NEW BEST:: SOT 300714691 SOS 68259863 HAS SOPS 68259863 HAS SOUS 40736539 HAS SOUPS 40736539 WITH SCORE 4.0804798863E7
AT ITER 7877 NEW BEST:: SOT 300713004 SOS 68261550 HAS SOPS 68261550 HAS SOUS 40734852 HAS SOUPS 40734852 WITH SCORE 4.080311355E7
AT ITER 7888 NEW BEST:: SOT 300712453 SOS 68260448 HAS SOPS 68260448 HAS SOUS 40733750 HAS SOUPS 40733750 WITH SCORE 4.0802010448E7
AT ITER 7896 NEW BEST:: SOT 300712453 SOS 68259128 HAS SOPS 68259128 HAS SOUS 40733750 HAS SOUPS 40733750 WITH SCORE 4.0802009128E7
AT ITER 7915 NEW BEST:: SOT 300711827 SOS 68257876 HAS SOPS 68257876 HAS SOUS 40731583 HAS SOUPS 40731583 WITH SCORE 4.0799840876E7
AT ITER 7967 NEW BEST:: SOT 300710750 SOS 68261608 HAS SOPS 68261608 HAS SOUS 40729912 HAS SOUPS 40729912 WITH SCORE 4.0798173608E7
AT ITER 8010 NEW BEST:: SOT 300711733 SOS 68284258 HAS SOPS 68284258 HAS SOUS 40728055 HAS SOUPS 40728055 WITH SCORE 4.0796339258E7
AT ITER 8049 NEW BEST:: SOT 300711319 SOS 68284432 HAS SOPS 68284432 HAS SOUS 40727975 HAS SOUPS 40727975 WITH SCORE 4.0796259432E7
AT ITER 8050 NEW BEST:: SOT 300709923 SOS 68284399 HAS SOPS 68284399 HAS SOUS 40727942 HAS SOUPS 40727942 WITH SCORE 4.0796226399E7
AT ITER 8056 NEW BEST:: SOT 300709693 SOS 68283939 HAS SOPS 68283939 HAS SOUS 40727482 HAS SOUPS 40727482 WITH SCORE 4.0795765939E7
AT ITER 8077 NEW BEST:: SOT 300709693 SOS 68283939 HAS SOPS 68283939 HAS SOUS 40727481 HAS SOUPS 40727481 WITH SCORE 4.0795764939E7
AT ITER 8100 NEW BEST:: SOT 300710546 SOS 68294284 HAS SOPS 68294284 HAS SOUS 40726305 HAS SOUPS 40726305 WITH SCORE 4.0794599284E7
AT ITER 8112 NEW BEST:: SOT 300704625 SOS 68292279 HAS SOPS 68292279 HAS SOUS 40721812 HAS SOUPS 40721812 WITH SCORE 4.0790104279E7
AT ITER 8115 NEW BEST:: SOT 300703346 SOS 68289721 HAS SOPS 68289721 HAS SOUS 40717845 HAS SOUPS 40717845 WITH SCORE 4.0786134721E7
AT ITER 8143 NEW BEST:: SOT 300702570 SOS 68288169 HAS SOPS 68288169 HAS SOUS 40717069 HAS SOUPS 40717069 WITH SCORE 4.0785357169E7
AT ITER 8147 NEW BEST:: SOT 300702570 SOS 68286900 HAS SOPS 68286900 HAS SOUS 40715800 HAS SOUPS 40715800 WITH SCORE 4.07840869E7
AT ITER 8148 NEW BEST:: SOT 300701207 SOS 68284174 HAS SOPS 68284174 HAS SOUS 40713074 HAS SOUPS 40713074 WITH SCORE 4.0781358174E7
AT ITER 8152 NEW BEST:: SOT 300701168 SOS 68285291 HAS SOPS 68285291 HAS SOUS 40711840 HAS SOUPS 40711840 WITH SCORE 4.0780125291E7
AT ITER 8159 NEW BEST:: SOT 300698278 SOS 68284851 HAS SOPS 68284851 HAS SOUS 40710821 HAS SOUPS 40710821 WITH SCORE 4.0779105851E7
AT ITER 8205 NEW BEST:: SOT 300694363 SOS 68281635 HAS SOPS 68281635 HAS SOUS 40707439 HAS SOUPS 40707439 WITH SCORE 4.0775720635E7
AT ITER 8213 NEW BEST:: SOT 300691102 SOS 68278374 HAS SOPS 68278374 HAS SOUS 40704178 HAS SOUPS 40704178 WITH SCORE 4.0772456374E7
AT ITER 8222 NEW BEST:: SOT 300688554 SOS 68275826 HAS SOPS 68275826 HAS SOUS 40701630 HAS SOUPS 40701630 WITH SCORE 4.0769905826E7
AT ITER 8249 NEW BEST:: SOT 300686747 SOS 68274019 HAS SOPS 68274019 HAS SOUS 40699823 HAS SOUPS 40699823 WITH SCORE 4.0768097019E7
AT ITER 8256 NEW BEST:: SOT 300681136 SOS 68275544 HAS SOPS 68275544 HAS SOUS 40697922 HAS SOUPS 40697922 WITH SCORE 4.0766197544E7
AT ITER 8263 NEW BEST:: SOT 300678194 SOS 68278486 HAS SOPS 68278486 HAS SOUS 40693722 HAS SOUPS 40693722 WITH SCORE 4.0762000486E7
AT ITER 8311 NEW BEST:: SOT 300677580 SOS 68278179 HAS SOPS 68278179 HAS SOUS 40693415 HAS SOUPS 40693415 WITH SCORE 4.0761693179E7
AT ITER 8324 NEW BEST:: SOT 300677479 SOS 68277977 HAS SOPS 68277977 HAS SOUS 40693213 HAS SOUPS 40693213 WITH SCORE 4.0761490977E7
AT ITER 8341 NEW BEST:: SOT 300676220 SOS 68287014 HAS SOPS 68287014 HAS SOUS 40690694 HAS SOUPS 40690694 WITH SCORE 4.0758981014E7
AT ITER 8342 NEW BEST:: SOT 300676220 SOS 68286087 HAS SOPS 68286087 HAS SOUS 40690694 HAS SOUPS 40690694 WITH SCORE 4.0758980087E7
AT ITER 8375 NEW BEST:: SOT 300678010 SOS 68301216 HAS SOPS 68301216 HAS SOUS 40690422 HAS SOUPS 40690422 WITH SCORE 4.0758723216E7
AT ITER 8378 NEW BEST:: SOT 300678130 SOS 68300637 HAS SOPS 68300637 HAS SOUS 40690009 HAS SOUPS 40690009 WITH SCORE 4.0758309637E7
AT ITER 8386 NEW BEST:: SOT 300670352 SOS 68288993 HAS SOPS 68288993 HAS SOUS 40678319 HAS SOUPS 40678319 WITH SCORE 4.0746607993E7
AT ITER 8389 NEW BEST:: SOT 300669049 SOS 68290292 HAS SOPS 68290292 HAS SOUS 40675712 HAS SOUPS 40675712 WITH SCORE 4.0744002292E7
AT ITER 8397 NEW BEST:: SOT 300667934 SOS 68290282 HAS SOPS 68290282 HAS SOUS 40675079 HAS SOUPS 40675079 WITH SCORE 4.0743369282E7
AT ITER 8402 NEW BEST:: SOT 300667934 SOS 68290125 HAS SOPS 68290125 HAS SOUS 40674922 HAS SOUPS 40674922 WITH SCORE 4.0743212125E7
AT ITER 8426 NEW BEST:: SOT 300665675 SOS 68285607 HAS SOPS 68285607 HAS SOUS 40670404 HAS SOUPS 40670404 WITH SCORE 4.0738689607E7
AT ITER 8431 NEW BEST:: SOT 300665511 SOS 68285279 HAS SOPS 68285279 HAS SOUS 40670076 HAS SOUPS 40670076 WITH SCORE 4.0738361279E7
AT ITER 8462 NEW BEST:: SOT 300661703 SOS 68289087 HAS SOPS 68289087 HAS SOUS 40664996 HAS SOUPS 40664996 WITH SCORE 4.0733285087E7
AT ITER 8487 NEW BEST:: SOT 300661428 SOS 68288537 HAS SOPS 68288537 HAS SOUS 40664446 HAS SOUPS 40664446 WITH SCORE 4.0732734537E7
AT ITER 8532 NEW BEST:: SOT 300661184 SOS 68289025 HAS SOPS 68289025 HAS SOUS 40664202 HAS SOUPS 40664202 WITH SCORE 4.0732491025E7
AT ITER 8534 NEW BEST:: SOT 300661184 SOS 68289021 HAS SOPS 68289021 HAS SOUS 40664201 HAS SOUPS 40664201 WITH SCORE 4.0732490021E7
AT ITER 8594 NEW BEST:: SOT 300661184 SOS 68284410 HAS SOPS 68284410 HAS SOUS 40662877 HAS SOUPS 40662877 WITH SCORE 4.073116141E7
AT ITER 8616 NEW BEST:: SOT 300660293 SOS 68284851 HAS SOPS 68284851 HAS SOUS 40662727 HAS SOUPS 40662727 WITH SCORE 4.0731011851E7
AT ITER 8627 NEW BEST:: SOT 300658259 SOS 68284125 HAS SOPS 68284125 HAS SOUS 40660693 HAS SOUPS 40660693 WITH SCORE 4.0728977125E7
AT ITER 8633 NEW BEST:: SOT 300656779 SOS 68285601 HAS SOPS 68285601 HAS SOUS 40657732 HAS SOUPS 40657732 WITH SCORE 4.0726017601E7
AT ITER 8644 NEW BEST:: SOT 300656280 SOS 68286589 HAS SOPS 68286589 HAS SOUS 40657232 HAS SOUPS 40657232 WITH SCORE 4.0725518589E7
AT ITER 8697 NEW BEST:: SOT 300659180 SOS 68290389 HAS SOPS 68290389 HAS SOUS 40657142 HAS SOUPS 40657142 WITH SCORE 4.0725432389E7
AT ITER 8706 NEW BEST:: SOT 300659180 SOS 68290132 HAS SOPS 68290132 HAS SOUS 40656885 HAS SOUPS 40656885 WITH SCORE 4.0725175132E7
AT ITER 8712 NEW BEST:: SOT 300646155 SOS 68284158 HAS SOPS 68284158 HAS SOUS 40654006 HAS SOUPS 40654006 WITH SCORE 4.0722290158E7
AT ITER 8725 NEW BEST:: SOT 300646155 SOS 68284158 HAS SOPS 68284158 HAS SOUS 40653267 HAS SOUPS 40653267 WITH SCORE 4.0721551158E7
AT ITER 8739 NEW BEST:: SOT 300645453 SOS 68283456 HAS SOPS 68283456 HAS SOUS 40652565 HAS SOUPS 40652565 WITH SCORE 4.0720848456E7
AT ITER 8776 NEW BEST:: SOT 300645453 SOS 68279448 HAS SOPS 68279448 HAS SOUS 40651948 HAS SOUPS 40651948 WITH SCORE 4.0720227448E7
AT ITER 8796 NEW BEST:: SOT 300643845 SOS 68276232 HAS SOPS 68276232 HAS SOUS 40650340 HAS SOUPS 40650340 WITH SCORE 4.0718616232E7
AT ITER 8818 NEW BEST:: SOT 300642876 SOS 68277201 HAS SOPS 68277201 HAS SOUS 40649371 HAS SOUPS 40649371 WITH SCORE 4.0717648201E7
AT ITER 8832 NEW BEST:: SOT 300624986 SOS 68277890 HAS SOPS 68277890 HAS SOUS 40649286 HAS SOUPS 40649286 WITH SCORE 4.071756389E7
AT ITER 8841 NEW BEST:: SOT 300624710 SOS 68277338 HAS SOPS 68277338 HAS SOUS 40649010 HAS SOUPS 40649010 WITH SCORE 4.0717287338E7
AT ITER 8909 NEW BEST:: SOT 300624710 SOS 68269457 HAS SOPS 68269457 HAS SOUS 40646383 HAS SOUPS 40646383 WITH SCORE 4.0714652457E7
AT ITER 8987 NEW BEST:: SOT 300622207 SOS 68266954 HAS SOPS 68266954 HAS SOUS 40643880 HAS SOUPS 40643880 WITH SCORE 4.0712146954E7
AT ITER 9000 NEW BEST:: SOT 300621614 SOS 68266919 HAS SOPS 68266919 HAS SOUS 40643007 HAS SOUPS 40643007 WITH SCORE 4.0711273919E7
AT ITER 9046 NEW BEST:: SOT 300618602 SOS 68264058 HAS SOPS 68264058 HAS SOUS 40640146 HAS SOUPS 40640146 WITH SCORE 4.0708410058E7
AT ITER 9072 NEW BEST:: SOT 300618643 SOS 68264140 HAS SOPS 68264140 HAS SOUS 40638093 HAS SOUPS 40638093 WITH SCORE 4.070635714E7
AT ITER 9106 NEW BEST:: SOT 300616945 SOS 68263287 HAS SOPS 68263287 HAS SOUS 40637243 HAS SOUPS 40637243 WITH SCORE 4.0705506287E7
AT ITER 9113 NEW BEST:: SOT 300616215 SOS 68261827 HAS SOPS 68261827 HAS SOUS 40633628 HAS SOUPS 40633628 WITH SCORE 4.0701889827E7
AT ITER 9115 NEW BEST:: SOT 300615595 SOS 68260587 HAS SOPS 68260587 HAS SOUS 40632388 HAS SOUPS 40632388 WITH SCORE 4.0700648587E7
AT ITER 9158 NEW BEST:: SOT 300615105 SOS 68267267 HAS SOPS 68267267 HAS SOUS 40632093 HAS SOUPS 40632093 WITH SCORE 4.0700360267E7
AT ITER 9172 NEW BEST:: SOT 300614132 SOS 68267489 HAS SOPS 68267489 HAS SOUS 40631120 HAS SOUPS 40631120 WITH SCORE 4.0699387489E7
AT ITER 9177 NEW BEST:: SOT 300610050 SOS 68269327 HAS SOPS 68269327 HAS SOUS 40630372 HAS SOUPS 40630372 WITH SCORE 4.0698641327E7
AT ITER 9203 NEW BEST:: SOT 300610050 SOS 68269327 HAS SOPS 68269327 HAS SOUS 40630371 HAS SOUPS 40630371 WITH SCORE 4.0698640327E7
AT ITER 9216 NEW BEST:: SOT 300604746 SOS 68274243 HAS SOPS 68274243 HAS SOUS 40629803 HAS SOUPS 40629803 WITH SCORE 4.0698077243E7
AT ITER 9236 NEW BEST:: SOT 300601814 SOS 68273158 HAS SOPS 68273158 HAS SOUS 40627797 HAS SOUPS 40627797 WITH SCORE 4.0696070158E7
AT ITER 9242 NEW BEST:: SOT 300601813 SOS 68273156 HAS SOPS 68273156 HAS SOUS 40627795 HAS SOUPS 40627795 WITH SCORE 4.0696068156E7
AT ITER 9249 NEW BEST:: SOT 300601143 SOS 68271816 HAS SOPS 68271816 HAS SOUS 40626455 HAS SOUPS 40626455 WITH SCORE 4.0694726816E7
AT ITER 9265 NEW BEST:: SOT 300600124 SOS 68270753 HAS SOPS 68270753 HAS SOUS 40625392 HAS SOUPS 40625392 WITH SCORE 4.0693662753E7
AT ITER 9335 NEW BEST:: SOT 300600124 SOS 68270753 HAS SOPS 68270753 HAS SOUS 40621586 HAS SOUPS 40621586 WITH SCORE 4.0689856753E7
AT ITER 9358 NEW BEST:: SOT 300596572 SOS 68268977 HAS SOPS 68268977 HAS SOUS 40619810 HAS SOUPS 40619810 WITH SCORE 4.0688078977E7
AT ITER 9457 NEW BEST:: SOT 300597274 SOS 68267570 HAS SOPS 68267570 HAS SOUS 40619809 HAS SOUPS 40619809 WITH SCORE 4.068807657E7
AT ITER 9475 NEW BEST:: SOT 300597274 SOS 68260979 HAS SOPS 68260979 HAS SOUS 40617920 HAS SOUPS 40617920 WITH SCORE 4.0686180979E7
AT ITER 9542 NEW BEST:: SOT 300596470 SOS 68260175 HAS SOPS 68260175 HAS SOUS 40617116 HAS SOUPS 40617116 WITH SCORE 4.0685376175E7
AT ITER 9544 NEW BEST:: SOT 300593395 SOS 68244800 HAS SOPS 68244800 HAS SOUS 40610966 HAS SOUPS 40610966 WITH SCORE 4.06792108E7
AT ITER 9560 NEW BEST:: SOT 300592015 SOS 68246180 HAS SOPS 68246180 HAS SOUS 40609044 HAS SOUPS 40609044 WITH SCORE 4.067729018E7
AT ITER 9573 NEW BEST:: SOT 300590704 SOS 68239220 HAS SOPS 68239220 HAS SOUS 40607557 HAS SOUPS 40607557 WITH SCORE 4.067579622E7
AT ITER 9606 NEW BEST:: SOT 300589231 SOS 68240778 HAS SOPS 68240778 HAS SOUS 40607317 HAS SOUPS 40607317 WITH SCORE 4.0675557778E7
AT ITER 9643 NEW BEST:: SOT 300588658 SOS 68239632 HAS SOPS 68239632 HAS SOUS 40605563 HAS SOUPS 40605563 WITH SCORE 4.0673802632E7
AT ITER 9659 NEW BEST:: SOT 300588633 SOS 68250750 HAS SOPS 68250750 HAS SOUS 40605512 HAS SOUPS 40605512 WITH SCORE 4.067376275E7
AT ITER 9706 NEW BEST:: SOT 300587245 SOS 68250201 HAS SOPS 68250201 HAS SOUS 40604963 HAS SOUPS 40604963 WITH SCORE 4.0673213201E7
AT ITER 9721 NEW BEST:: SOT 300588039 SOS 68245189 HAS SOPS 68245189 HAS SOUS 40603432 HAS SOUPS 40603432 WITH SCORE 4.0671677189E7
AT ITER 9726 NEW BEST:: SOT 300588038 SOS 68245187 HAS SOPS 68245187 HAS SOUS 40603430 HAS SOUPS 40603430 WITH SCORE 4.0671675187E7
AT ITER 9764 NEW BEST:: SOT 300587538 SOS 68244187 HAS SOPS 68244187 HAS SOUS 40602680 HAS SOUPS 40602680 WITH SCORE 4.0670924187E7
AT ITER 9780 NEW BEST:: SOT 300579341 SOS 68232771 HAS SOPS 68232771 HAS SOUS 40590293 HAS SOUPS 40590293 WITH SCORE 4.0658525771E7
AT ITER 9862 NEW BEST:: SOT 300577640 SOS 68229370 HAS SOPS 68229370 HAS SOUS 40586892 HAS SOUPS 40586892 WITH SCORE 4.065512137E7
AT ITER 9873 NEW BEST:: SOT 300576562 SOS 68228684 HAS SOPS 68228684 HAS SOUS 40586500 HAS SOUPS 40586500 WITH SCORE 4.0654728684E7
AT ITER 9879 NEW BEST:: SOT 300576287 SOS 68223375 HAS SOPS 68223375 HAS SOUS 40584501 HAS SOUPS 40584501 WITH SCORE 4.0652724375E7
AT ITER 9880 NEW BEST:: SOT 300573105 SOS 68222063 HAS SOPS 68222063 HAS SOUS 40583189 HAS SOUPS 40583189 WITH SCORE 4.0651411063E7
AT ITER 9914 NEW BEST:: SOT 300573105 SOS 68222063 HAS SOPS 68222063 HAS SOUS 40583188 HAS SOUPS 40583188 WITH SCORE 4.0651410063E7
AT ITER 9920 NEW BEST:: SOT 300571062 SOS 68224325 HAS SOPS 68224325 HAS SOUS 40581145 HAS SOUPS 40581145 WITH SCORE 4.0649369325E7
AT ITER 9977 NEW BEST:: SOT 300570390 SOS 68247190 HAS SOPS 68247190 HAS SOUS 40579800 HAS SOUPS 40579800 WITH SCORE 4.064804719E7
AT ITER 9979 NEW BEST:: SOT 300571166 SOS 68268634 HAS SOPS 68268634 HAS SOUS 40577805 HAS SOUPS 40577805 WITH SCORE 4.0646073634E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15039196 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16093592 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-5b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is 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 4"
echo " Run identifier is r107-tall-167814484400568"
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 ;