Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542100400.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCflexbar-PT-5b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.6M
-rw-r--r-- 1 mcc users 3.9K Mar 30 05:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 05:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 19:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 19:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 12:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 12:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 10:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 26 10:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.5M Mar 24 05:37 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 1589117401207

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 5b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 58 NEW BEST:: SOT 301485376 SOS 67498998 HAS SOPS 67498998 HAS SOUS 41609817 HAS SOUPS 41609817 WITH SCORE 4.1677315998E7
AT ITER 69 NEW BEST:: SOT 301469918 SOS 67503708 HAS SOPS 67503708 HAS SOUS 41598085 HAS SOUPS 41598085 WITH SCORE 4.1665588708E7
AT ITER 74 NEW BEST:: SOT 301470558 SOS 67504988 HAS SOPS 67504988 HAS SOUS 41596712 HAS SOUPS 41596712 WITH SCORE 4.1664216988E7
AT ITER 88 NEW BEST:: SOT 301467074 SOS 67501504 HAS SOPS 67501504 HAS SOUS 41593228 HAS SOUPS 41593228 WITH SCORE 4.1660729504E7
AT ITER 142 NEW BEST:: SOT 301467074 SOS 67495498 HAS SOPS 67495498 HAS SOUS 41591226 HAS SOUPS 41591226 WITH SCORE 4.1658721498E7
AT ITER 152 NEW BEST:: SOT 301467299 SOS 67494338 HAS SOPS 67494338 HAS SOUS 41590755 HAS SOUPS 41590755 WITH SCORE 4.1658249338E7
AT ITER 156 NEW BEST:: SOT 301467299 SOS 67494030 HAS SOPS 67494030 HAS SOUS 41590601 HAS SOUPS 41590601 WITH SCORE 4.165809503E7
AT ITER 171 NEW BEST:: SOT 301467299 SOS 67494030 HAS SOPS 67494030 HAS SOUS 41590600 HAS SOUPS 41590600 WITH SCORE 4.165809403E7
AT ITER 193 NEW BEST:: SOT 301467299 SOS 67494030 HAS SOPS 67494030 HAS SOUS 41590345 HAS SOUPS 41590345 WITH SCORE 4.165783903E7
AT ITER 199 NEW BEST:: SOT 301466888 SOS 67493619 HAS SOPS 67493619 HAS SOUS 41589523 HAS SOUPS 41589523 WITH SCORE 4.1657016619E7
AT ITER 214 NEW BEST:: SOT 301466192 SOS 67492227 HAS SOPS 67492227 HAS SOUS 41588827 HAS SOUPS 41588827 WITH SCORE 4.1656319227E7
AT ITER 224 NEW BEST:: SOT 301464424 SOS 67488692 HAS SOPS 67488692 HAS SOUS 41585292 HAS SOUPS 41585292 WITH SCORE 4.1652780692E7
AT ITER 241 NEW BEST:: SOT 301464423 SOS 67488690 HAS SOPS 67488690 HAS SOUS 41585290 HAS SOUPS 41585290 WITH SCORE 4.165277869E7
AT ITER 251 NEW BEST:: SOT 301464423 SOS 67488690 HAS SOPS 67488690 HAS SOUS 41583698 HAS SOUPS 41583698 WITH SCORE 4.165118669E7
AT ITER 253 NEW BEST:: SOT 301449422 SOS 67488520 HAS SOPS 67488520 HAS SOUS 41583206 HAS SOUPS 41583206 WITH SCORE 4.165069452E7
AT ITER 264 NEW BEST:: SOT 301447459 SOS 67490824 HAS SOPS 67490824 HAS SOUS 41579238 HAS SOUPS 41579238 WITH SCORE 4.1646728824E7
AT ITER 287 NEW BEST:: SOT 301439330 SOS 67484912 HAS SOPS 67484912 HAS SOUS 41575543 HAS SOUPS 41575543 WITH SCORE 4.1643027912E7
AT ITER 303 NEW BEST:: SOT 301439330 SOS 67484775 HAS SOPS 67484775 HAS SOUS 41575543 HAS SOUPS 41575543 WITH SCORE 4.1643027775E7
AT ITER 323 NEW BEST:: SOT 301438333 SOS 67485768 HAS SOPS 67485768 HAS SOUS 41575075 HAS SOUPS 41575075 WITH SCORE 4.1642560768E7
AT ITER 340 NEW BEST:: SOT 301438332 SOS 67484680 HAS SOPS 67484680 HAS SOUS 41575074 HAS SOUPS 41575074 WITH SCORE 4.164255868E7
AT ITER 348 NEW BEST:: SOT 301434753 SOS 67481097 HAS SOPS 67481097 HAS SOUS 41571494 HAS SOUPS 41571494 WITH SCORE 4.1638975097E7
AT ITER 355 NEW BEST:: SOT 301434753 SOS 67480083 HAS SOPS 67480083 HAS SOUS 41571494 HAS SOUPS 41571494 WITH SCORE 4.1638974083E7
AT ITER 364 NEW BEST:: SOT 301432475 SOS 67476666 HAS SOPS 67476666 HAS SOUS 41569216 HAS SOUPS 41569216 WITH SCORE 4.1636692666E7
AT ITER 414 NEW BEST:: SOT 301432055 SOS 67475827 HAS SOPS 67475827 HAS SOUS 41568377 HAS SOUPS 41568377 WITH SCORE 4.1635852827E7
AT ITER 433 NEW BEST:: SOT 301428080 SOS 67471851 HAS SOPS 67471851 HAS SOUS 41564401 HAS SOUPS 41564401 WITH SCORE 4.1631872851E7
AT ITER 436 NEW BEST:: SOT 301427605 SOS 67471735 HAS SOPS 67471735 HAS SOUS 41564204 HAS SOUPS 41564204 WITH SCORE 4.1631675735E7
AT ITER 444 NEW BEST:: SOT 301426711 SOS 67477993 HAS SOPS 67477993 HAS SOUS 41563310 HAS SOUPS 41563310 WITH SCORE 4.1630787993E7
AT ITER 458 NEW BEST:: SOT 301425958 SOS 67479491 HAS SOPS 67479491 HAS SOUS 41562555 HAS SOUPS 41562555 WITH SCORE 4.1630034491E7
AT ITER 478 NEW BEST:: SOT 301425957 SOS 67479489 HAS SOPS 67479489 HAS SOUS 41562553 HAS SOUPS 41562553 WITH SCORE 4.1630032489E7
AT ITER 482 NEW BEST:: SOT 301422390 SOS 67475918 HAS SOPS 67475918 HAS SOUS 41558985 HAS SOUPS 41558985 WITH SCORE 4.1626460918E7
AT ITER 521 NEW BEST:: SOT 301421694 SOS 67475222 HAS SOPS 67475222 HAS SOUS 41558289 HAS SOUPS 41558289 WITH SCORE 4.1625764222E7
AT ITER 537 NEW BEST:: SOT 301421694 SOS 67475222 HAS SOPS 67475222 HAS SOUS 41558288 HAS SOUPS 41558288 WITH SCORE 4.1625763222E7
AT ITER 548 NEW BEST:: SOT 301421024 SOS 67473882 HAS SOPS 67473882 HAS SOUS 41557618 HAS SOUPS 41557618 WITH SCORE 4.1625091882E7
AT ITER 550 NEW BEST:: SOT 301420511 SOS 67472856 HAS SOPS 67472856 HAS SOUS 41555030 HAS SOUPS 41555030 WITH SCORE 4.1622502856E7
AT ITER 558 NEW BEST:: SOT 301416353 SOS 67468741 HAS SOPS 67468741 HAS SOUS 41550895 HAS SOUPS 41550895 WITH SCORE 4.1618363741E7
AT ITER 584 NEW BEST:: SOT 301413217 SOS 67466025 HAS SOPS 67466025 HAS SOUS 41548179 HAS SOUPS 41548179 WITH SCORE 4.1615645025E7
AT ITER 595 NEW BEST:: SOT 301412827 SOS 67465635 HAS SOPS 67465635 HAS SOUS 41547789 HAS SOUPS 41547789 WITH SCORE 4.1615254635E7
AT ITER 598 NEW BEST:: SOT 301410966 SOS 67461914 HAS SOPS 67461914 HAS SOUS 41544068 HAS SOUPS 41544068 WITH SCORE 4.1611529914E7
AT ITER 609 NEW BEST:: SOT 301410353 SOS 67460688 HAS SOPS 67460688 HAS SOUS 41542842 HAS SOUPS 41542842 WITH SCORE 4.1610302688E7
AT ITER 621 NEW BEST:: SOT 301408767 SOS 67462270 HAS SOPS 67462270 HAS SOUS 41539669 HAS SOUPS 41539669 WITH SCORE 4.160713127E7
AT ITER 666 NEW BEST:: SOT 301406983 SOS 67458703 HAS SOPS 67458703 HAS SOUS 41536102 HAS SOUPS 41536102 WITH SCORE 4.1603560703E7
AT ITER 668 NEW BEST:: SOT 301409408 SOS 67463553 HAS SOPS 67463553 HAS SOUS 41535960 HAS SOUPS 41535960 WITH SCORE 4.1603423553E7
AT ITER 675 NEW BEST:: SOT 301408395 SOS 67464566 HAS SOPS 67464566 HAS SOUS 41534947 HAS SOUPS 41534947 WITH SCORE 4.1602411566E7
AT ITER 676 NEW BEST:: SOT 301406776 SOS 67462943 HAS SOPS 67462943 HAS SOUS 41533327 HAS SOUPS 41533327 WITH SCORE 4.1600789943E7
AT ITER 710 NEW BEST:: SOT 301406776 SOS 67455857 HAS SOPS 67455857 HAS SOUS 41530965 HAS SOUPS 41530965 WITH SCORE 4.1598420857E7
AT ITER 720 NEW BEST:: SOT 301295243 SOS 68186278 HAS SOPS 68186278 HAS SOUS 41446063 HAS SOUPS 41446063 WITH SCORE 4.1514249278E7
AT ITER 768 NEW BEST:: SOT 301291083 SOS 68188773 HAS SOPS 68188773 HAS SOUS 41441903 HAS SOUPS 41441903 WITH SCORE 4.1510091773E7
AT ITER 805 NEW BEST:: SOT 301291083 SOS 68188773 HAS SOPS 68188773 HAS SOUS 41441620 HAS SOUPS 41441620 WITH SCORE 4.1509808773E7
AT ITER 808 NEW BEST:: SOT 301290175 SOS 68195129 HAS SOPS 68195129 HAS SOUS 41440712 HAS SOUPS 41440712 WITH SCORE 4.1508907129E7
AT ITER 811 NEW BEST:: SOT 301290175 SOS 68195129 HAS SOPS 68195129 HAS SOUS 41440711 HAS SOUPS 41440711 WITH SCORE 4.1508906129E7
AT ITER 822 NEW BEST:: SOT 301289682 SOS 68194143 HAS SOPS 68194143 HAS SOUS 41439725 HAS SOUPS 41439725 WITH SCORE 4.1507919143E7
AT ITER 840 NEW BEST:: SOT 301288619 SOS 68190951 HAS SOPS 68190951 HAS SOUS 41437598 HAS SOUPS 41437598 WITH SCORE 4.1505788951E7
AT ITER 842 NEW BEST:: SOT 301285954 SOS 68188286 HAS SOPS 68188286 HAS SOUS 41434933 HAS SOUPS 41434933 WITH SCORE 4.1503121286E7
AT ITER 863 NEW BEST:: SOT 301285953 SOS 68188284 HAS SOPS 68188284 HAS SOUS 41434931 HAS SOUPS 41434931 WITH SCORE 4.1503119284E7
AT ITER 869 NEW BEST:: SOT 301282918 SOS 68191319 HAS SOPS 68191319 HAS SOUS 41431234 HAS SOUPS 41431234 WITH SCORE 4.1499425319E7
AT ITER 870 NEW BEST:: SOT 301282918 SOS 68184752 HAS SOPS 68184752 HAS SOUS 41429045 HAS SOUPS 41429045 WITH SCORE 4.1497229752E7
AT ITER 878 NEW BEST:: SOT 301280240 SOS 68186242 HAS SOPS 68186242 HAS SOUS 41427390 HAS SOUPS 41427390 WITH SCORE 4.1495576242E7
AT ITER 884 NEW BEST:: SOT 301279858 SOS 68187002 HAS SOPS 68187002 HAS SOUS 41427007 HAS SOUPS 41427007 WITH SCORE 4.1495194002E7
AT ITER 892 NEW BEST:: SOT 301279858 SOS 68187002 HAS SOPS 68187002 HAS SOUS 41427006 HAS SOUPS 41427006 WITH SCORE 4.1495193002E7
AT ITER 895 NEW BEST:: SOT 301254207 SOS 68292042 HAS SOPS 68292042 HAS SOUS 41406083 HAS SOUPS 41406083 WITH SCORE 4.1474375042E7
AT ITER 898 NEW BEST:: SOT 301254206 SOS 68292040 HAS SOPS 68292040 HAS SOUS 41406081 HAS SOUPS 41406081 WITH SCORE 4.147437304E7
AT ITER 905 NEW BEST:: SOT 301251224 SOS 68289054 HAS SOPS 68289054 HAS SOUS 41403098 HAS SOUPS 41403098 WITH SCORE 4.1471387054E7
AT ITER 910 NEW BEST:: SOT 301247515 SOS 68288230 HAS SOPS 68288230 HAS SOUS 41399571 HAS SOUPS 41399571 WITH SCORE 4.146785923E7
AT ITER 939 NEW BEST:: SOT 301244667 SOS 68285851 HAS SOPS 68285851 HAS SOUS 41397192 HAS SOUPS 41397192 WITH SCORE 4.1465477851E7
AT ITER 949 NEW BEST:: SOT 301244667 SOS 68285851 HAS SOPS 68285851 HAS SOUS 41396008 HAS SOUPS 41396008 WITH SCORE 4.1464293851E7
AT ITER 951 NEW BEST:: SOT 301244666 SOS 68285849 HAS SOPS 68285849 HAS SOUS 41396006 HAS SOUPS 41396006 WITH SCORE 4.1464291849E7
AT ITER 970 NEW BEST:: SOT 301241158 SOS 68282722 HAS SOPS 68282722 HAS SOUS 41392694 HAS SOUPS 41392694 WITH SCORE 4.1460976722E7
AT ITER 1002 NEW BEST:: SOT 301240017 SOS 68280440 HAS SOPS 68280440 HAS SOUS 41390412 HAS SOUPS 41390412 WITH SCORE 4.145869244E7
AT ITER 1022 NEW BEST:: SOT 301235857 SOS 68275131 HAS SOPS 68275131 HAS SOUS 41384171 HAS SOUPS 41384171 WITH SCORE 4.1452446131E7
AT ITER 1039 NEW BEST:: SOT 301235857 SOS 68275131 HAS SOPS 68275131 HAS SOUS 41384136 HAS SOUPS 41384136 WITH SCORE 4.1452411131E7
AT ITER 1080 NEW BEST:: SOT 301237062 SOS 68287401 HAS SOPS 68287401 HAS SOUS 41383257 HAS SOUPS 41383257 WITH SCORE 4.1451544401E7
AT ITER 1100 NEW BEST:: SOT 301232971 SOS 68285714 HAS SOPS 68285714 HAS SOUS 41381331 HAS SOUPS 41381331 WITH SCORE 4.1449616714E7
AT ITER 1111 NEW BEST:: SOT 301232970 SOS 68285712 HAS SOPS 68285712 HAS SOUS 41381329 HAS SOUPS 41381329 WITH SCORE 4.1449614712E7
AT ITER 1120 NEW BEST:: SOT 301231165 SOS 68283903 HAS SOPS 68283903 HAS SOUS 41379523 HAS SOUPS 41379523 WITH SCORE 4.1447806903E7
AT ITER 1141 NEW BEST:: SOT 301228095 SOS 68281531 HAS SOPS 68281531 HAS SOUS 41377151 HAS SOUPS 41377151 WITH SCORE 4.1445432531E7
AT ITER 1178 NEW BEST:: SOT 301229156 SOS 68283653 HAS SOPS 68283653 HAS SOUS 41376176 HAS SOUPS 41376176 WITH SCORE 4.1444459653E7
AT ITER 1203 NEW BEST:: SOT 301228340 SOS 68282021 HAS SOPS 68282021 HAS SOUS 41373821 HAS SOUPS 41373821 WITH SCORE 4.1442103021E7
AT ITER 1234 NEW BEST:: SOT 301228340 SOS 68276846 HAS SOPS 68276846 HAS SOUS 41372096 HAS SOUPS 41372096 WITH SCORE 4.1440372846E7
AT ITER 1284 NEW BEST:: SOT 301228340 SOS 68274722 HAS SOPS 68274722 HAS SOUS 41372096 HAS SOUPS 41372096 WITH SCORE 4.1440370722E7
AT ITER 1290 NEW BEST:: SOT 301227633 SOS 68273308 HAS SOPS 68273308 HAS SOUS 41371389 HAS SOUPS 41371389 WITH SCORE 4.1439662308E7
AT ITER 1305 NEW BEST:: SOT 301172977 SOS 68218652 HAS SOPS 68218652 HAS SOUS 41316733 HAS SOUPS 41316733 WITH SCORE 4.1384951652E7
AT ITER 1315 NEW BEST:: SOT 301168526 SOS 68214201 HAS SOPS 68214201 HAS SOUS 41312282 HAS SOUPS 41312282 WITH SCORE 4.1380496201E7
AT ITER 1316 NEW BEST:: SOT 301168044 SOS 68213237 HAS SOPS 68213237 HAS SOUS 41311318 HAS SOUPS 41311318 WITH SCORE 4.1379531237E7
AT ITER 1330 NEW BEST:: SOT 301167498 SOS 68229919 HAS SOPS 68229919 HAS SOUS 41310225 HAS SOUPS 41310225 WITH SCORE 4.1378454919E7
AT ITER 1356 NEW BEST:: SOT 301167497 SOS 68229917 HAS SOPS 68229917 HAS SOUS 41310223 HAS SOUPS 41310223 WITH SCORE 4.1378452917E7
AT ITER 1361 NEW BEST:: SOT 301166281 SOS 68231133 HAS SOPS 68231133 HAS SOUS 41309007 HAS SOUPS 41309007 WITH SCORE 4.1377238133E7
AT ITER 1378 NEW BEST:: SOT 301165452 SOS 68231962 HAS SOPS 68231962 HAS SOUS 41308178 HAS SOUPS 41308178 WITH SCORE 4.1376409962E7
AT ITER 1446 NEW BEST:: SOT 301162249 SOS 68228755 HAS SOPS 68228755 HAS SOUS 41304974 HAS SOUPS 41304974 WITH SCORE 4.1373202755E7
AT ITER 1473 NEW BEST:: SOT 301161511 SOS 68230227 HAS SOPS 68230227 HAS SOUS 41304235 HAS SOUPS 41304235 WITH SCORE 4.1372465227E7
AT ITER 1483 NEW BEST:: SOT 301158447 SOS 68229379 HAS SOPS 68229379 HAS SOUS 41303387 HAS SOUPS 41303387 WITH SCORE 4.1371616379E7
AT ITER 1503 NEW BEST:: SOT 301158035 SOS 68228555 HAS SOPS 68228555 HAS SOUS 41302563 HAS SOUPS 41302563 WITH SCORE 4.1370791555E7
AT ITER 1504 NEW BEST:: SOT 301157593 SOS 68227671 HAS SOPS 68227671 HAS SOUS 41301679 HAS SOUPS 41301679 WITH SCORE 4.1369906671E7
AT ITER 1509 NEW BEST:: SOT 301153585 SOS 68225667 HAS SOPS 68225667 HAS SOUS 41299675 HAS SOUPS 41299675 WITH SCORE 4.1367900667E7
AT ITER 1522 NEW BEST:: SOT 301152895 SOS 68224287 HAS SOPS 68224287 HAS SOUS 41298984 HAS SOUPS 41298984 WITH SCORE 4.1367208287E7
AT ITER 1543 NEW BEST:: SOT 301154434 SOS 68227365 HAS SOPS 68227365 HAS SOUS 41298503 HAS SOUPS 41298503 WITH SCORE 4.1366730365E7
AT ITER 1554 NEW BEST:: SOT 301153389 SOS 68228410 HAS SOPS 68228410 HAS SOUS 41297458 HAS SOUPS 41297458 WITH SCORE 4.136568641E7
AT ITER 1566 NEW BEST:: SOT 301152484 SOS 68229308 HAS SOPS 68229308 HAS SOUS 41296551 HAS SOUPS 41296551 WITH SCORE 4.1364780308E7
AT ITER 1588 NEW BEST:: SOT 301152484 SOS 68229308 HAS SOPS 68229308 HAS SOUS 41295536 HAS SOUPS 41295536 WITH SCORE 4.1363765308E7
AT ITER 1603 NEW BEST:: SOT 301152484 SOS 68227043 HAS SOPS 68227043 HAS SOUS 41295535 HAS SOUPS 41295535 WITH SCORE 4.1363762043E7
AT ITER 1615 NEW BEST:: SOT 301153473 SOS 68229021 HAS SOPS 68229021 HAS SOUS 41292468 HAS SOUPS 41292468 WITH SCORE 4.1360697021E7
AT ITER 1690 NEW BEST:: SOT 301153472 SOS 68229019 HAS SOPS 68229019 HAS SOUS 41292466 HAS SOUPS 41292466 WITH SCORE 4.1360695019E7
AT ITER 1701 NEW BEST:: SOT 301151860 SOS 68230627 HAS SOPS 68230627 HAS SOUS 41289241 HAS SOUPS 41289241 WITH SCORE 4.1357471627E7
AT ITER 1703 NEW BEST:: SOT 301151699 SOS 68230626 HAS SOPS 68230626 HAS SOUS 41289240 HAS SOUPS 41289240 WITH SCORE 4.1357470626E7
AT ITER 1725 NEW BEST:: SOT 301151071 SOS 68231878 HAS SOPS 68231878 HAS SOUS 41288611 HAS SOUPS 41288611 WITH SCORE 4.1356842878E7
AT ITER 1734 NEW BEST:: SOT 301150783 SOS 68231877 HAS SOPS 68231877 HAS SOUS 41288610 HAS SOUPS 41288610 WITH SCORE 4.1356841877E7
AT ITER 1735 NEW BEST:: SOT 301151604 SOS 68233519 HAS SOPS 68233519 HAS SOUS 41285219 HAS SOUPS 41285219 WITH SCORE 4.1353452519E7
AT ITER 1744 NEW BEST:: SOT 301149952 SOS 68231041 HAS SOPS 68231041 HAS SOUS 41282741 HAS SOUPS 41282741 WITH SCORE 4.1350972041E7
AT ITER 1774 NEW BEST:: SOT 301149236 SOS 68229610 HAS SOPS 68229610 HAS SOUS 41281310 HAS SOUPS 41281310 WITH SCORE 4.134953961E7
AT ITER 1800 NEW BEST:: SOT 301149236 SOS 68229610 HAS SOPS 68229610 HAS SOUS 41276370 HAS SOUPS 41276370 WITH SCORE 4.134459961E7
AT ITER 1802 NEW BEST:: SOT 301145504 SOS 68229607 HAS SOPS 68229607 HAS SOUS 41268905 HAS SOUPS 41268905 WITH SCORE 4.1337134607E7
AT ITER 1805 NEW BEST:: SOT 301145027 SOS 68228653 HAS SOPS 68228653 HAS SOUS 41265752 HAS SOUPS 41265752 WITH SCORE 4.1333980653E7
AT ITER 1832 NEW BEST:: SOT 301144408 SOS 68227415 HAS SOPS 68227415 HAS SOUS 41265154 HAS SOUPS 41265154 WITH SCORE 4.1333381415E7
AT ITER 1834 NEW BEST:: SOT 301142849 SOS 68225856 HAS SOPS 68225856 HAS SOUS 41263595 HAS SOUPS 41263595 WITH SCORE 4.1331820856E7
AT ITER 1853 NEW BEST:: SOT 301140962 SOS 68223969 HAS SOPS 68223969 HAS SOUS 41261708 HAS SOUPS 41261708 WITH SCORE 4.1329931969E7
AT ITER 1874 NEW BEST:: SOT 301138062 SOS 68220528 HAS SOPS 68220528 HAS SOUS 41259763 HAS SOUPS 41259763 WITH SCORE 4.1327983528E7
AT ITER 1882 NEW BEST:: SOT 301137834 SOS 68220072 HAS SOPS 68220072 HAS SOUS 41257284 HAS SOUPS 41257284 WITH SCORE 4.1325504072E7
AT ITER 1925 NEW BEST:: SOT 301137433 SOS 68219671 HAS SOPS 68219671 HAS SOUS 41256883 HAS SOUPS 41256883 WITH SCORE 4.1325102671E7
AT ITER 1937 NEW BEST:: SOT 301137433 SOS 68215018 HAS SOPS 68215018 HAS SOUS 41255332 HAS SOUPS 41255332 WITH SCORE 4.1323547018E7
AT ITER 1963 NEW BEST:: SOT 301138410 SOS 68216972 HAS SOPS 68216972 HAS SOUS 41254290 HAS SOUPS 41254290 WITH SCORE 4.1322506972E7
AT ITER 1993 NEW BEST:: SOT 301136383 SOS 68220765 HAS SOPS 68220765 HAS SOUS 41250235 HAS SOUPS 41250235 WITH SCORE 4.1318455765E7
AT ITER 2001 NEW BEST:: SOT 301132559 SOS 68218853 HAS SOPS 68218853 HAS SOUS 41246411 HAS SOUPS 41246411 WITH SCORE 4.1314629853E7
AT ITER 2038 NEW BEST:: SOT 301130957 SOS 68218849 HAS SOPS 68218849 HAS SOUS 41245609 HAS SOUPS 41245609 WITH SCORE 4.1313827849E7
AT ITER 2051 NEW BEST:: SOT 301129453 SOS 68201859 HAS SOPS 68201859 HAS SOUS 41240573 HAS SOUPS 41240573 WITH SCORE 4.1308774859E7
AT ITER 2061 NEW BEST:: SOT 301127707 SOS 68200113 HAS SOPS 68200113 HAS SOUS 41238827 HAS SOUPS 41238827 WITH SCORE 4.1307027113E7
AT ITER 2073 NEW BEST:: SOT 301128656 SOS 68198212 HAS SOPS 68198212 HAS SOUS 41238826 HAS SOUPS 41238826 WITH SCORE 4.1307024212E7
AT ITER 2083 NEW BEST:: SOT 301125979 SOS 68195531 HAS SOPS 68195531 HAS SOUS 41236148 HAS SOUPS 41236148 WITH SCORE 4.1304343531E7
AT ITER 2112 NEW BEST:: SOT 301125979 SOS 68195531 HAS SOPS 68195531 HAS SOUS 41236147 HAS SOUPS 41236147 WITH SCORE 4.1304342531E7
AT ITER 2130 NEW BEST:: SOT 301122939 SOS 68192868 HAS SOPS 68192868 HAS SOUS 41233484 HAS SOUPS 41233484 WITH SCORE 4.1301676868E7
AT ITER 2132 NEW BEST:: SOT 301122936 SOS 68192862 HAS SOPS 68192862 HAS SOUS 41233481 HAS SOUPS 41233481 WITH SCORE 4.1301673862E7
AT ITER 2239 NEW BEST:: SOT 301122079 SOS 68213827 HAS SOPS 68213827 HAS SOUS 41231766 HAS SOUPS 41231766 WITH SCORE 4.1299979827E7
AT ITER 2246 NEW BEST:: SOT 301122321 SOS 68213371 HAS SOPS 68213371 HAS SOUS 41231310 HAS SOUPS 41231310 WITH SCORE 4.1299523371E7
AT ITER 2251 NEW BEST:: SOT 301122320 SOS 68213369 HAS SOPS 68213369 HAS SOUS 41231308 HAS SOUPS 41231308 WITH SCORE 4.1299521369E7
AT ITER 2255 NEW BEST:: SOT 301119361 SOS 68197032 HAS SOPS 68197032 HAS SOUS 41225390 HAS SOUPS 41225390 WITH SCORE 4.1293587032E7
AT ITER 2291 NEW BEST:: SOT 301115489 SOS 68197032 HAS SOPS 68197032 HAS SOUS 41221518 HAS SOUPS 41221518 WITH SCORE 4.1289715032E7
AT ITER 2310 NEW BEST:: SOT 301115488 SOS 68197030 HAS SOPS 68197030 HAS SOUS 41221516 HAS SOUPS 41221516 WITH SCORE 4.128971303E7
AT ITER 2329 NEW BEST:: SOT 301115486 SOS 68197026 HAS SOPS 68197026 HAS SOUS 41221512 HAS SOUPS 41221512 WITH SCORE 4.1289709026E7
AT ITER 2343 NEW BEST:: SOT 301114975 SOS 68196004 HAS SOPS 68196004 HAS SOUS 41220490 HAS SOUPS 41220490 WITH SCORE 4.1288686004E7
AT ITER 2345 NEW BEST:: SOT 301114595 SOS 68199345 HAS SOPS 68199345 HAS SOUS 41220110 HAS SOUPS 41220110 WITH SCORE 4.1288309345E7
AT ITER 2359 NEW BEST:: SOT 301111094 SOS 68202846 HAS SOPS 68202846 HAS SOUS 41215399 HAS SOUPS 41215399 WITH SCORE 4.1283601846E7
AT ITER 2403 NEW BEST:: SOT 301107734 SOS 68196126 HAS SOPS 68196126 HAS SOUS 41208679 HAS SOUPS 41208679 WITH SCORE 4.1276875126E7
AT ITER 2413 NEW BEST:: SOT 301106601 SOS 68193856 HAS SOPS 68193856 HAS SOUS 41206412 HAS SOUPS 41206412 WITH SCORE 4.1274605856E7
AT ITER 2421 NEW BEST:: SOT 301104654 SOS 68193852 HAS SOPS 68193852 HAS SOUS 41206411 HAS SOUPS 41206411 WITH SCORE 4.1274604852E7
AT ITER 2434 NEW BEST:: SOT 301104654 SOS 68193469 HAS SOPS 68193469 HAS SOUS 41206411 HAS SOUPS 41206411 WITH SCORE 4.1274604469E7
AT ITER 2444 NEW BEST:: SOT 301102879 SOS 68199779 HAS SOPS 68199779 HAS SOUS 41202860 HAS SOUPS 41202860 WITH SCORE 4.1271059779E7
AT ITER 2461 NEW BEST:: SOT 301102879 SOS 68199779 HAS SOPS 68199779 HAS SOUS 41202859 HAS SOUPS 41202859 WITH SCORE 4.1271058779E7
AT ITER 2475 NEW BEST:: SOT 301102879 SOS 68200471 HAS SOPS 68200471 HAS SOUS 41202857 HAS SOUPS 41202857 WITH SCORE 4.1271057471E7
AT ITER 2490 NEW BEST:: SOT 301102767 SOS 68200247 HAS SOPS 68200247 HAS SOUS 41202633 HAS SOUPS 41202633 WITH SCORE 4.1270833247E7
AT ITER 2491 NEW BEST:: SOT 301100572 SOS 68195857 HAS SOPS 68195857 HAS SOUS 41198243 HAS SOUPS 41198243 WITH SCORE 4.1266438857E7
AT ITER 2502 NEW BEST:: SOT 301099964 SOS 68195290 HAS SOPS 68195290 HAS SOUS 41197676 HAS SOUPS 41197676 WITH SCORE 4.126587129E7
AT ITER 2506 NEW BEST:: SOT 301098096 SOS 68190322 HAS SOPS 68190322 HAS SOUS 41195033 HAS SOUPS 41195033 WITH SCORE 4.1263223322E7
AT ITER 2527 NEW BEST:: SOT 301097352 SOS 68188830 HAS SOPS 68188830 HAS SOUS 41193544 HAS SOUPS 41193544 WITH SCORE 4.126173283E7
AT ITER 2544 NEW BEST:: SOT 301097059 SOS 68188244 HAS SOPS 68188244 HAS SOUS 41192958 HAS SOUPS 41192958 WITH SCORE 4.1261146244E7
AT ITER 2566 NEW BEST:: SOT 301094877 SOS 68186058 HAS SOPS 68186058 HAS SOUS 41190775 HAS SOUPS 41190775 WITH SCORE 4.1258961058E7
AT ITER 2569 NEW BEST:: SOT 301094877 SOS 68186058 HAS SOPS 68186058 HAS SOUS 41190774 HAS SOUPS 41190774 WITH SCORE 4.1258960058E7
AT ITER 2580 NEW BEST:: SOT 301094877 SOS 68184583 HAS SOPS 68184583 HAS SOUS 41190774 HAS SOUPS 41190774 WITH SCORE 4.1258958583E7
AT ITER 2594 NEW BEST:: SOT 301093777 SOS 68183483 HAS SOPS 68183483 HAS SOUS 41189674 HAS SOUPS 41189674 WITH SCORE 4.1257857483E7
AT ITER 2673 NEW BEST:: SOT 300984565 SOS 68933962 HAS SOPS 68933962 HAS SOUS 41107075 HAS SOUPS 41107075 WITH SCORE 4.1176008962E7
AT ITER 2722 NEW BEST:: SOT 300982908 SOS 68932305 HAS SOPS 68932305 HAS SOUS 41105418 HAS SOUPS 41105418 WITH SCORE 4.1174350305E7
AT ITER 2733 NEW BEST:: SOT 300977446 SOS 68934033 HAS SOPS 68934033 HAS SOUS 41103489 HAS SOUPS 41103489 WITH SCORE 4.1172423033E7
AT ITER 2748 NEW BEST:: SOT 300976139 SOS 68814169 HAS SOPS 68814169 HAS SOUS 41100875 HAS SOUPS 41100875 WITH SCORE 4.1169689169E7
AT ITER 2763 NEW BEST:: SOT 300974243 SOS 68812273 HAS SOPS 68812273 HAS SOUS 41098979 HAS SOUPS 41098979 WITH SCORE 4.1167791273E7
AT ITER 2771 NEW BEST:: SOT 300972430 SOS 68808648 HAS SOPS 68808648 HAS SOUS 41095354 HAS SOUPS 41095354 WITH SCORE 4.1164162648E7
AT ITER 2778 NEW BEST:: SOT 300972012 SOS 68807812 HAS SOPS 68807812 HAS SOUS 41094936 HAS SOUPS 41094936 WITH SCORE 4.1163743812E7
AT ITER 2788 NEW BEST:: SOT 300972169 SOS 68805990 HAS SOPS 68805990 HAS SOUS 41094103 HAS SOUPS 41094103 WITH SCORE 4.116290899E7
AT ITER 2821 NEW BEST:: SOT 300975923 SOS 68798369 HAS SOPS 68798369 HAS SOUS 41092850 HAS SOUPS 41092850 WITH SCORE 4.1161648369E7
AT ITER 2860 NEW BEST:: SOT 300972982 SOS 68782023 HAS SOPS 68782023 HAS SOUS 41086968 HAS SOUPS 41086968 WITH SCORE 4.1155750023E7
AT ITER 2868 NEW BEST:: SOT 300972449 SOS 68783090 HAS SOPS 68783090 HAS SOUS 41086435 HAS SOUPS 41086435 WITH SCORE 4.115521809E7
AT ITER 2882 NEW BEST:: SOT 300972449 SOS 68783090 HAS SOPS 68783090 HAS SOUS 41086434 HAS SOUPS 41086434 WITH SCORE 4.115521709E7
AT ITER 2883 NEW BEST:: SOT 300968219 SOS 68778860 HAS SOPS 68778860 HAS SOUS 41082204 HAS SOUPS 41082204 WITH SCORE 4.115098286E7
AT ITER 2895 NEW BEST:: SOT 300966344 SOS 68517830 HAS SOPS 68517830 HAS SOUS 41078454 HAS SOUPS 41078454 WITH SCORE 4.114697183E7
AT ITER 2918 NEW BEST:: SOT 300963436 SOS 68514918 HAS SOPS 68514918 HAS SOUS 41075545 HAS SOUPS 41075545 WITH SCORE 4.1144059918E7
AT ITER 2925 NEW BEST:: SOT 300962741 SOS 68514918 HAS SOPS 68514918 HAS SOUS 41074850 HAS SOUPS 41074850 WITH SCORE 4.1143364918E7
AT ITER 2934 NEW BEST:: SOT 300959855 SOS 68512032 HAS SOPS 68512032 HAS SOUS 41071964 HAS SOUPS 41071964 WITH SCORE 4.1140476032E7
AT ITER 2938 NEW BEST:: SOT 300958973 SOS 68510269 HAS SOPS 68510269 HAS SOUS 41070201 HAS SOUPS 41070201 WITH SCORE 4.1138711269E7
AT ITER 2958 NEW BEST:: SOT 300958973 SOS 68510269 HAS SOPS 68510269 HAS SOUS 41070200 HAS SOUPS 41070200 WITH SCORE 4.1138710269E7
AT ITER 2972 NEW BEST:: SOT 300958675 SOS 68509673 HAS SOPS 68509673 HAS SOUS 41069604 HAS SOUPS 41069604 WITH SCORE 4.1138113673E7
AT ITER 2983 NEW BEST:: SOT 300958062 SOS 68508447 HAS SOPS 68508447 HAS SOUS 41068378 HAS SOUPS 41068378 WITH SCORE 4.1136886447E7
AT ITER 2999 NEW BEST:: SOT 300959289 SOS 68510901 HAS SOPS 68510901 HAS SOUS 41065714 HAS SOUPS 41065714 WITH SCORE 4.1134224901E7
AT ITER 3017 NEW BEST:: SOT 300957342 SOS 68512848 HAS SOPS 68512848 HAS SOUS 41062479 HAS SOUPS 41062479 WITH SCORE 4.1130991848E7
AT ITER 3056 NEW BEST:: SOT 300957170 SOS 68512504 HAS SOPS 68512504 HAS SOUS 41062307 HAS SOUPS 41062307 WITH SCORE 4.1130819504E7
AT ITER 3106 NEW BEST:: SOT 300957170 SOS 68512504 HAS SOPS 68512504 HAS SOUS 41062306 HAS SOUPS 41062306 WITH SCORE 4.1130818504E7
AT ITER 3137 NEW BEST:: SOT 300957170 SOS 68511656 HAS SOPS 68511656 HAS SOUS 41061882 HAS SOUPS 41061882 WITH SCORE 4.1130393656E7
AT ITER 3170 NEW BEST:: SOT 300954624 SOS 68506564 HAS SOPS 68506564 HAS SOUS 41056790 HAS SOUPS 41056790 WITH SCORE 4.1125296564E7
AT ITER 3188 NEW BEST:: SOT 300952687 SOS 68504623 HAS SOPS 68504623 HAS SOUS 41054852 HAS SOUPS 41054852 WITH SCORE 4.1123356623E7
AT ITER 3198 NEW BEST:: SOT 300949932 SOS 68501864 HAS SOPS 68501864 HAS SOUS 41052096 HAS SOUPS 41052096 WITH SCORE 4.1120597864E7
AT ITER 3220 NEW BEST:: SOT 300945181 SOS 68492362 HAS SOPS 68492362 HAS SOUS 41042594 HAS SOUPS 41042594 WITH SCORE 4.1111086362E7
AT ITER 3221 NEW BEST:: SOT 300944770 SOS 68493184 HAS SOPS 68493184 HAS SOUS 41042183 HAS SOUPS 41042183 WITH SCORE 4.1110676184E7
AT ITER 3238 NEW BEST:: SOT 300944770 SOS 68501307 HAS SOPS 68501307 HAS SOUS 41039473 HAS SOUPS 41039473 WITH SCORE 4.1107974307E7
AT ITER 3239 NEW BEST:: SOT 300944989 SOS 68501745 HAS SOPS 68501745 HAS SOUS 41037699 HAS SOUPS 41037699 WITH SCORE 4.1106200745E7
AT ITER 3298 NEW BEST:: SOT 300944161 SOS 68501956 HAS SOPS 68501956 HAS SOUS 41035882 HAS SOUPS 41035882 WITH SCORE 4.1104383956E7
AT ITER 3305 NEW BEST:: SOT 300942559 SOS 68503717 HAS SOPS 68503717 HAS SOUS 41035772 HAS SOUPS 41035772 WITH SCORE 4.1104275717E7
AT ITER 3313 NEW BEST:: SOT 300942558 SOS 68503715 HAS SOPS 68503715 HAS SOUS 41035770 HAS SOUPS 41035770 WITH SCORE 4.1104273715E7
AT ITER 3327 NEW BEST:: SOT 300937770 SOS 68498129 HAS SOPS 68498129 HAS SOUS 41032866 HAS SOUPS 41032866 WITH SCORE 4.1101364129E7
AT ITER 3346 NEW BEST:: SOT 300936101 SOS 68499798 HAS SOPS 68499798 HAS SOUS 41029959 HAS SOUPS 41029959 WITH SCORE 4.1098458798E7
AT ITER 3349 NEW BEST:: SOT 300936101 SOS 68499798 HAS SOPS 68499798 HAS SOUS 41029958 HAS SOUPS 41029958 WITH SCORE 4.1098457798E7
AT ITER 3355 NEW BEST:: SOT 300936101 SOS 68499798 HAS SOPS 68499798 HAS SOUS 41029957 HAS SOUPS 41029957 WITH SCORE 4.1098456798E7
AT ITER 3359 NEW BEST:: SOT 300935885 SOS 68499366 HAS SOPS 68499366 HAS SOUS 41029741 HAS SOUPS 41029741 WITH SCORE 4.1098240366E7
AT ITER 3370 NEW BEST:: SOT 300932459 SOS 68497653 HAS SOPS 68497653 HAS SOUS 41028028 HAS SOUPS 41028028 WITH SCORE 4.1096525653E7
AT ITER 3373 NEW BEST:: SOT 300933634 SOS 68500003 HAS SOPS 68500003 HAS SOUS 41025399 HAS SOUPS 41025399 WITH SCORE 4.1093899003E7
AT ITER 3380 NEW BEST:: SOT 300933633 SOS 68500001 HAS SOPS 68500001 HAS SOUS 41025397 HAS SOUPS 41025397 WITH SCORE 4.1093897001E7
AT ITER 3387 NEW BEST:: SOT 300931078 SOS 68497446 HAS SOPS 68497446 HAS SOUS 41022842 HAS SOUPS 41022842 WITH SCORE 4.1091339446E7
AT ITER 3419 NEW BEST:: SOT 300931078 SOS 68497446 HAS SOPS 68497446 HAS SOUS 41022841 HAS SOUPS 41022841 WITH SCORE 4.1091338446E7
AT ITER 3440 NEW BEST:: SOT 300931078 SOS 68497446 HAS SOPS 68497446 HAS SOUS 41022839 HAS SOUPS 41022839 WITH SCORE 4.1091336446E7
AT ITER 3448 NEW BEST:: SOT 300930013 SOS 68501266 HAS SOPS 68501266 HAS SOUS 41021272 HAS SOUPS 41021272 WITH SCORE 4.1089773266E7
AT ITER 3512 NEW BEST:: SOT 300928654 SOS 68498548 HAS SOPS 68498548 HAS SOUS 41016921 HAS SOUPS 41016921 WITH SCORE 4.1085419548E7
AT ITER 3523 NEW BEST:: SOT 300928653 SOS 68498546 HAS SOPS 68498546 HAS SOUS 41016919 HAS SOUPS 41016919 WITH SCORE 4.1085417546E7
AT ITER 3556 NEW BEST:: SOT 300925397 SOS 68495286 HAS SOPS 68495286 HAS SOUS 41013662 HAS SOUPS 41013662 WITH SCORE 4.1082157286E7
AT ITER 3587 NEW BEST:: SOT 300925397 SOS 68495154 HAS SOPS 68495154 HAS SOUS 41013530 HAS SOUPS 41013530 WITH SCORE 4.1082025154E7
AT ITER 3595 NEW BEST:: SOT 300921414 SOS 68491171 HAS SOPS 68491171 HAS SOUS 41009547 HAS SOUPS 41009547 WITH SCORE 4.1078038171E7
AT ITER 3625 NEW BEST:: SOT 300919364 SOS 68490255 HAS SOPS 68490255 HAS SOUS 41008631 HAS SOUPS 41008631 WITH SCORE 4.1077121255E7
AT ITER 3709 NEW BEST:: SOT 300917370 SOS 68488261 HAS SOPS 68488261 HAS SOUS 41006637 HAS SOUPS 41006637 WITH SCORE 4.1075125261E7
AT ITER 3755 NEW BEST:: SOT 300918822 SOS 68491165 HAS SOPS 68491165 HAS SOUS 41004063 HAS SOUPS 41004063 WITH SCORE 4.1072554165E7
AT ITER 3777 NEW BEST:: SOT 300917690 SOS 68488901 HAS SOPS 68488901 HAS SOUS 41001799 HAS SOUPS 41001799 WITH SCORE 4.1070287901E7
AT ITER 3787 NEW BEST:: SOT 300917690 SOS 68484434 HAS SOPS 68484434 HAS SOUS 41000310 HAS SOUPS 41000310 WITH SCORE 4.1068794434E7
AT ITER 3799 NEW BEST:: SOT 300917136 SOS 68484331 HAS SOPS 68484331 HAS SOUS 41000091 HAS SOUPS 41000091 WITH SCORE 4.1068575331E7
AT ITER 3819 NEW BEST:: SOT 300916627 SOS 68483313 HAS SOPS 68483313 HAS SOUS 40999073 HAS SOUPS 40999073 WITH SCORE 4.1067556313E7
AT ITER 3917 NEW BEST:: SOT 300915261 SOS 68480581 HAS SOPS 68480581 HAS SOUS 40998690 HAS SOUPS 40998690 WITH SCORE 4.1067170581E7
AT ITER 4025 NEW BEST:: SOT 300915083 SOS 68480225 HAS SOPS 68480225 HAS SOUS 40998512 HAS SOUPS 40998512 WITH SCORE 4.1066992225E7
AT ITER 4032 NEW BEST:: SOT 300914063 SOS 68479205 HAS SOPS 68479205 HAS SOUS 40997492 HAS SOUPS 40997492 WITH SCORE 4.1065971205E7
AT ITER 4045 NEW BEST:: SOT 300915443 SOS 68481961 HAS SOPS 68481961 HAS SOUS 40997194 HAS SOUPS 40997194 WITH SCORE 4.1065675961E7
AT ITER 4088 NEW BEST:: SOT 300912424 SOS 68478942 HAS SOPS 68478942 HAS SOUS 40997194 HAS SOUPS 40997194 WITH SCORE 4.1065672942E7
AT ITER 4121 NEW BEST:: SOT 300912424 SOS 68479904 HAS SOPS 68479904 HAS SOUS 40997193 HAS SOUPS 40997193 WITH SCORE 4.1065672904E7
AT ITER 4158 NEW BEST:: SOT 300912464 SOS 68478149 HAS SOPS 68478149 HAS SOUS 40995438 HAS SOUPS 40995438 WITH SCORE 4.1063916149E7
AT ITER 4185 NEW BEST:: SOT 300912464 SOS 68478149 HAS SOPS 68478149 HAS SOUS 40995186 HAS SOUPS 40995186 WITH SCORE 4.1063664149E7
AT ITER 4198 NEW BEST:: SOT 300910703 SOS 68474627 HAS SOPS 68474627 HAS SOUS 40991664 HAS SOUPS 40991664 WITH SCORE 4.1060138627E7
AT ITER 4240 NEW BEST:: SOT 300909689 SOS 68474623 HAS SOPS 68474623 HAS SOUS 40990649 HAS SOUPS 40990649 WITH SCORE 4.1059123623E7
AT ITER 4251 NEW BEST:: SOT 300909688 SOS 68474621 HAS SOPS 68474621 HAS SOUS 40990647 HAS SOUPS 40990647 WITH SCORE 4.1059121621E7
AT ITER 4265 NEW BEST:: SOT 300909688 SOS 68474621 HAS SOPS 68474621 HAS SOUS 40985651 HAS SOUPS 40985651 WITH SCORE 4.1054125621E7
AT ITER 4286 NEW BEST:: SOT 300909688 SOS 68474621 HAS SOPS 68474621 HAS SOUS 40984087 HAS SOUPS 40984087 WITH SCORE 4.1052561621E7
AT ITER 4295 NEW BEST:: SOT 300909688 SOS 68482372 HAS SOPS 68482372 HAS SOUS 40981501 HAS SOUPS 40981501 WITH SCORE 4.1049983372E7
AT ITER 4296 NEW BEST:: SOT 300909579 SOS 68482154 HAS SOPS 68482154 HAS SOUS 40981392 HAS SOUPS 40981392 WITH SCORE 4.1049874154E7
AT ITER 4312 NEW BEST:: SOT 300909578 SOS 68482152 HAS SOPS 68482152 HAS SOUS 40981390 HAS SOUPS 40981390 WITH SCORE 4.1049872152E7
AT ITER 4322 NEW BEST:: SOT 300905179 SOS 68473354 HAS SOPS 68473354 HAS SOUS 40972592 HAS SOUPS 40972592 WITH SCORE 4.1041065354E7
AT ITER 4339 NEW BEST:: SOT 300904902 SOS 68472800 HAS SOPS 68472800 HAS SOUS 40972038 HAS SOUPS 40972038 WITH SCORE 4.10405108E7
AT ITER 4354 NEW BEST:: SOT 300904902 SOS 68471293 HAS SOPS 68471293 HAS SOUS 40972038 HAS SOUPS 40972038 WITH SCORE 4.1040509293E7
AT ITER 4359 NEW BEST:: SOT 300904841 SOS 68471292 HAS SOPS 68471292 HAS SOUS 40972037 HAS SOUPS 40972037 WITH SCORE 4.1040508292E7
AT ITER 4364 NEW BEST:: SOT 300849516 SOS 68689964 HAS SOPS 68689964 HAS SOUS 40923513 HAS SOUPS 40923513 WITH SCORE 4.0992202964E7
AT ITER 4392 NEW BEST:: SOT 300849516 SOS 68689964 HAS SOPS 68689964 HAS SOUS 40923512 HAS SOUPS 40923512 WITH SCORE 4.0992201964E7
AT ITER 4394 NEW BEST:: SOT 300846216 SOS 68692016 HAS SOPS 68692016 HAS SOUS 40920212 HAS SOUPS 40920212 WITH SCORE 4.0988904016E7
AT ITER 4400 NEW BEST:: SOT 300845186 SOS 68686866 HAS SOPS 68686866 HAS SOUS 40918152 HAS SOUPS 40918152 WITH SCORE 4.0986838866E7
AT ITER 4408 NEW BEST:: SOT 300845474 SOS 68687442 HAS SOPS 68687442 HAS SOUS 40913743 HAS SOUPS 40913743 WITH SCORE 4.0982430442E7
AT ITER 4444 NEW BEST:: SOT 300841152 SOS 68683120 HAS SOPS 68683120 HAS SOUS 40909421 HAS SOUPS 40909421 WITH SCORE 4.097810412E7
AT ITER 4454 NEW BEST:: SOT 300841152 SOS 68683120 HAS SOPS 68683120 HAS SOUS 40909420 HAS SOUPS 40909420 WITH SCORE 4.097810312E7
AT ITER 4466 NEW BEST:: SOT 300841152 SOS 68682814 HAS SOPS 68682814 HAS SOUS 40909420 HAS SOUPS 40909420 WITH SCORE 4.0978102814E7
AT ITER 4480 NEW BEST:: SOT 300840454 SOS 68684210 HAS SOPS 68684210 HAS SOUS 40908722 HAS SOUPS 40908722 WITH SCORE 4.097740621E7
AT ITER 4490 NEW BEST:: SOT 300840454 SOS 68677316 HAS SOPS 68677316 HAS SOUS 40906424 HAS SOUPS 40906424 WITH SCORE 4.0975101316E7
AT ITER 4503 NEW BEST:: SOT 300836858 SOS 68675518 HAS SOPS 68675518 HAS SOUS 40904626 HAS SOUPS 40904626 WITH SCORE 4.0973301518E7
AT ITER 4538 NEW BEST:: SOT 300836376 SOS 68675277 HAS SOPS 68675277 HAS SOUS 40904385 HAS SOUPS 40904385 WITH SCORE 4.0973060277E7
AT ITER 4539 NEW BEST:: SOT 300836376 SOS 68681523 HAS SOPS 68681523 HAS SOUS 40902885 HAS SOUPS 40902885 WITH SCORE 4.0971566523E7
AT ITER 4541 NEW BEST:: SOT 300835151 SOS 68682748 HAS SOPS 68682748 HAS SOUS 40901660 HAS SOUPS 40901660 WITH SCORE 4.0970342748E7
AT ITER 4568 NEW BEST:: SOT 300834396 SOS 68682603 HAS SOPS 68682603 HAS SOUS 40901037 HAS SOUPS 40901037 WITH SCORE 4.0969719603E7
AT ITER 4672 NEW BEST:: SOT 300830714 SOS 68678917 HAS SOPS 68678917 HAS SOUS 40897354 HAS SOUPS 40897354 WITH SCORE 4.0966032917E7
AT ITER 4689 NEW BEST:: SOT 300828968 SOS 68670187 HAS SOPS 68670187 HAS SOUS 40893862 HAS SOUPS 40893862 WITH SCORE 4.0962532187E7
AT ITER 4696 NEW BEST:: SOT 300828968 SOS 68662243 HAS SOPS 68662243 HAS SOUS 40891214 HAS SOUPS 40891214 WITH SCORE 4.0959876243E7
AT ITER 4700 NEW BEST:: SOT 300829446 SOS 68661764 HAS SOPS 68661764 HAS SOUS 40891213 HAS SOUPS 40891213 WITH SCORE 4.0959874764E7
AT ITER 4711 NEW BEST:: SOT 300829277 SOS 68662947 HAS SOPS 68662947 HAS SOUS 40891044 HAS SOUPS 40891044 WITH SCORE 4.0959706947E7
AT ITER 4724 NEW BEST:: SOT 300826351 SOS 68648317 HAS SOPS 68648317 HAS SOUS 40885192 HAS SOUPS 40885192 WITH SCORE 4.0953840317E7
AT ITER 4733 NEW BEST:: SOT 300823193 SOS 68645159 HAS SOPS 68645159 HAS SOUS 40878876 HAS SOUPS 40878876 WITH SCORE 4.0947521159E7
AT ITER 4742 NEW BEST:: SOT 300822738 SOS 68644249 HAS SOPS 68644249 HAS SOUS 40877945 HAS SOUPS 40877945 WITH SCORE 4.0946589249E7
AT ITER 4750 NEW BEST:: SOT 300822738 SOS 68636284 HAS SOPS 68636284 HAS SOUS 40877944 HAS SOUPS 40877944 WITH SCORE 4.0946580284E7
AT ITER 4779 NEW BEST:: SOT 300818561 SOS 68627930 HAS SOPS 68627930 HAS SOUS 40869590 HAS SOUPS 40869590 WITH SCORE 4.093821793E7
AT ITER 4782 NEW BEST:: SOT 300817718 SOS 68628398 HAS SOPS 68628398 HAS SOUS 40869465 HAS SOUPS 40869465 WITH SCORE 4.0938093398E7
AT ITER 4790 NEW BEST:: SOT 300815184 SOS 68623330 HAS SOPS 68623330 HAS SOUS 40865879 HAS SOUPS 40865879 WITH SCORE 4.093450233E7
AT ITER 4825 NEW BEST:: SOT 300813570 SOS 68621716 HAS SOPS 68621716 HAS SOUS 40864265 HAS SOUPS 40864265 WITH SCORE 4.0932886716E7
AT ITER 4833 NEW BEST:: SOT 300813337 SOS 68627237 HAS SOPS 68627237 HAS SOUS 40862915 HAS SOUPS 40862915 WITH SCORE 4.0931542237E7
AT ITER 4835 NEW BEST:: SOT 300813337 SOS 68625514 HAS SOPS 68625514 HAS SOUS 40862915 HAS SOUPS 40862915 WITH SCORE 4.0931540514E7
AT ITER 4839 NEW BEST:: SOT 300812869 SOS 68625510 HAS SOPS 68625510 HAS SOUS 40862680 HAS SOUPS 40862680 WITH SCORE 4.093130551E7
AT ITER 4870 NEW BEST:: SOT 300809113 SOS 68623570 HAS SOPS 68623570 HAS SOUS 40859834 HAS SOUPS 40859834 WITH SCORE 4.092845757E7
AT ITER 4912 NEW BEST:: SOT 300809113 SOS 68624552 HAS SOPS 68624552 HAS SOUS 40859832 HAS SOUPS 40859832 WITH SCORE 4.0928456552E7
AT ITER 4914 NEW BEST:: SOT 300809113 SOS 68622917 HAS SOPS 68622917 HAS SOUS 40859832 HAS SOUPS 40859832 WITH SCORE 4.0928454917E7
AT ITER 4932 NEW BEST:: SOT 300809146 SOS 68621467 HAS SOPS 68621467 HAS SOUS 40858382 HAS SOUPS 40858382 WITH SCORE 4.0927003467E7
AT ITER 4950 NEW BEST:: SOT 300805509 SOS 68621471 HAS SOPS 68621471 HAS SOUS 40857171 HAS SOUPS 40857171 WITH SCORE 4.0925792471E7
AT ITER 4954 NEW BEST:: SOT 300804868 SOS 68620189 HAS SOPS 68620189 HAS SOUS 40855889 HAS SOUPS 40855889 WITH SCORE 4.0924509189E7
AT ITER 4990 NEW BEST:: SOT 300804868 SOS 68620189 HAS SOPS 68620189 HAS SOUS 40855482 HAS SOUPS 40855482 WITH SCORE 4.0924102189E7
AT ITER 4994 NEW BEST:: SOT 300804867 SOS 68620187 HAS SOPS 68620187 HAS SOUS 40855480 HAS SOUPS 40855480 WITH SCORE 4.0924100187E7
AT ITER 5017 NEW BEST:: SOT 300803711 SOS 68619031 HAS SOPS 68619031 HAS SOUS 40854324 HAS SOUPS 40854324 WITH SCORE 4.0922943031E7
AT ITER 5040 NEW BEST:: SOT 300803711 SOS 68610814 HAS SOPS 68610814 HAS SOUS 40851585 HAS SOUPS 40851585 WITH SCORE 4.0920195814E7
AT ITER 5048 NEW BEST:: SOT 300803432 SOS 68609512 HAS SOPS 68609512 HAS SOUS 40850283 HAS SOUPS 40850283 WITH SCORE 4.0918892512E7
AT ITER 5056 NEW BEST:: SOT 300803431 SOS 68609510 HAS SOPS 68609510 HAS SOUS 40850281 HAS SOUPS 40850281 WITH SCORE 4.091889051E7
AT ITER 5078 NEW BEST:: SOT 300803431 SOS 68609499 HAS SOPS 68609499 HAS SOUS 40850281 HAS SOUPS 40850281 WITH SCORE 4.0918890499E7
AT ITER 5099 NEW BEST:: SOT 300803431 SOS 68609499 HAS SOPS 68609499 HAS SOUS 40850280 HAS SOUPS 40850280 WITH SCORE 4.0918889499E7
AT ITER 5110 NEW BEST:: SOT 300801184 SOS 68605005 HAS SOPS 68605005 HAS SOUS 40844227 HAS SOUPS 40844227 WITH SCORE 4.0912832005E7
AT ITER 5120 NEW BEST:: SOT 300797027 SOS 68607650 HAS SOPS 68607650 HAS SOUS 40840070 HAS SOUPS 40840070 WITH SCORE 4.090867765E7
AT ITER 5128 NEW BEST:: SOT 300797027 SOS 68607208 HAS SOPS 68607208 HAS SOUS 40840070 HAS SOUPS 40840070 WITH SCORE 4.0908677208E7
AT ITER 5138 NEW BEST:: SOT 300793967 SOS 68604148 HAS SOPS 68604148 HAS SOUS 40837010 HAS SOUPS 40837010 WITH SCORE 4.0905614148E7
AT ITER 5139 NEW BEST:: SOT 300794243 SOS 68604700 HAS SOPS 68604700 HAS SOUS 40835262 HAS SOUPS 40835262 WITH SCORE 4.09038667E7
AT ITER 5156 NEW BEST:: SOT 300794243 SOS 68605591 HAS SOPS 68605591 HAS SOUS 40835261 HAS SOUPS 40835261 WITH SCORE 4.0903866591E7
AT ITER 5185 NEW BEST:: SOT 300794243 SOS 68605591 HAS SOPS 68605591 HAS SOUS 40835260 HAS SOUPS 40835260 WITH SCORE 4.0903865591E7
AT ITER 5195 NEW BEST:: SOT 300793921 SOS 68604947 HAS SOPS 68604947 HAS SOUS 40834616 HAS SOUPS 40834616 WITH SCORE 4.0903220947E7
AT ITER 5204 NEW BEST:: SOT 300792501 SOS 68603524 HAS SOPS 68603524 HAS SOUS 40833195 HAS SOUPS 40833195 WITH SCORE 4.0901798524E7
AT ITER 5210 NEW BEST:: SOT 300791313 SOS 68603520 HAS SOPS 68603520 HAS SOUS 40833194 HAS SOUPS 40833194 WITH SCORE 4.090179752E7
AT ITER 5215 NEW BEST:: SOT 300787764 SOS 68602079 HAS SOPS 68602079 HAS SOUS 40831612 HAS SOUPS 40831612 WITH SCORE 4.0900214079E7
AT ITER 5266 NEW BEST:: SOT 300787764 SOS 68599838 HAS SOPS 68599838 HAS SOUS 40831612 HAS SOUPS 40831612 WITH SCORE 4.0900211838E7
AT ITER 5267 NEW BEST:: SOT 300785691 SOS 68595692 HAS SOPS 68595692 HAS SOUS 40827466 HAS SOUPS 40827466 WITH SCORE 4.0896061692E7
AT ITER 5274 NEW BEST:: SOT 300785690 SOS 68595690 HAS SOPS 68595690 HAS SOUS 40827464 HAS SOUPS 40827464 WITH SCORE 4.089605969E7
AT ITER 5281 NEW BEST:: SOT 300786576 SOS 68595688 HAS SOPS 68595688 HAS SOUS 40827463 HAS SOUPS 40827463 WITH SCORE 4.0896058688E7
AT ITER 5284 NEW BEST:: SOT 300773796 SOS 68597288 HAS SOPS 68597288 HAS SOUS 40827044 HAS SOUPS 40827044 WITH SCORE 4.0895641288E7
AT ITER 5315 NEW BEST:: SOT 300772539 SOS 68600122 HAS SOPS 68600122 HAS SOUS 40824002 HAS SOUPS 40824002 WITH SCORE 4.0892602122E7
AT ITER 5316 NEW BEST:: SOT 300772142 SOS 68600516 HAS SOPS 68600516 HAS SOUS 40823604 HAS SOUPS 40823604 WITH SCORE 4.0892204516E7
AT ITER 5329 NEW BEST:: SOT 300772400 SOS 68600059 HAS SOPS 68600059 HAS SOUS 40823147 HAS SOUPS 40823147 WITH SCORE 4.0891747059E7
AT ITER 5339 NEW BEST:: SOT 300771287 SOS 68598457 HAS SOPS 68598457 HAS SOUS 40821419 HAS SOUPS 40821419 WITH SCORE 4.0890017457E7
AT ITER 5344 NEW BEST:: SOT 300770060 SOS 68597230 HAS SOPS 68597230 HAS SOUS 40821419 HAS SOUPS 40821419 WITH SCORE 4.089001623E7
AT ITER 5499 NEW BEST:: SOT 300770060 SOS 68597230 HAS SOPS 68597230 HAS SOUS 40821418 HAS SOUPS 40821418 WITH SCORE 4.089001523E7
AT ITER 5542 NEW BEST:: SOT 300769952 SOS 68596690 HAS SOPS 68596690 HAS SOUS 40821202 HAS SOUPS 40821202 WITH SCORE 4.088979869E7
AT ITER 5551 NEW BEST:: SOT 300768184 SOS 68594922 HAS SOPS 68594922 HAS SOUS 40819434 HAS SOUPS 40819434 WITH SCORE 4.0888028922E7
AT ITER 5595 NEW BEST:: SOT 300766087 SOS 68598444 HAS SOPS 68598444 HAS SOUS 40819395 HAS SOUPS 40819395 WITH SCORE 4.0887993444E7
AT ITER 5597 NEW BEST:: SOT 300758829 SOS 68601788 HAS SOPS 68601788 HAS SOUS 40817083 HAS SOUPS 40817083 WITH SCORE 4.0885684788E7
AT ITER 5657 NEW BEST:: SOT 300756299 SOS 68599254 HAS SOPS 68599254 HAS SOUS 40814552 HAS SOUPS 40814552 WITH SCORE 4.0883151254E7
AT ITER 5673 NEW BEST:: SOT 300755051 SOS 68598006 HAS SOPS 68598006 HAS SOUS 40813304 HAS SOUPS 40813304 WITH SCORE 4.0881902006E7
AT ITER 5674 NEW BEST:: SOT 300752728 SOS 68596300 HAS SOPS 68596300 HAS SOUS 40811598 HAS SOUPS 40811598 WITH SCORE 4.08801943E7
AT ITER 5677 NEW BEST:: SOT 300752728 SOS 68589805 HAS SOPS 68589805 HAS SOUS 40809433 HAS SOUPS 40809433 WITH SCORE 4.0878022805E7
AT ITER 5684 NEW BEST:: SOT 300752728 SOS 68589805 HAS SOPS 68589805 HAS SOUS 40808840 HAS SOUPS 40808840 WITH SCORE 4.0877429805E7
AT ITER 5692 NEW BEST:: SOT 300752580 SOS 68589509 HAS SOPS 68589509 HAS SOUS 40808544 HAS SOUPS 40808544 WITH SCORE 4.0877133509E7
AT ITER 5728 NEW BEST:: SOT 300749236 SOS 68586165 HAS SOPS 68586165 HAS SOUS 40805200 HAS SOUPS 40805200 WITH SCORE 4.0873786165E7
AT ITER 5748 NEW BEST:: SOT 300746672 SOS 68584453 HAS SOPS 68584453 HAS SOUS 40803064 HAS SOUPS 40803064 WITH SCORE 4.0871648453E7
AT ITER 5760 NEW BEST:: SOT 300745734 SOS 68582577 HAS SOPS 68582577 HAS SOUS 40801855 HAS SOUPS 40801855 WITH SCORE 4.0870437577E7
AT ITER 5771 NEW BEST:: SOT 300742899 SOS 68583260 HAS SOPS 68583260 HAS SOUS 40801140 HAS SOUPS 40801140 WITH SCORE 4.086972326E7
AT ITER 5795 NEW BEST:: SOT 300742443 SOS 68582348 HAS SOPS 68582348 HAS SOUS 40800228 HAS SOUPS 40800228 WITH SCORE 4.0868810348E7
AT ITER 5800 NEW BEST:: SOT 300742369 SOS 68582200 HAS SOPS 68582200 HAS SOUS 40800154 HAS SOUPS 40800154 WITH SCORE 4.08687362E7
AT ITER 5818 NEW BEST:: SOT 300740387 SOS 68578236 HAS SOPS 68578236 HAS SOUS 40798171 HAS SOUPS 40798171 WITH SCORE 4.0866749236E7
AT ITER 5837 NEW BEST:: SOT 300740078 SOS 68577618 HAS SOPS 68577618 HAS SOUS 40797553 HAS SOUPS 40797553 WITH SCORE 4.0866130618E7
AT ITER 5841 NEW BEST:: SOT 300740078 SOS 68575075 HAS SOPS 68575075 HAS SOUS 40797553 HAS SOUPS 40797553 WITH SCORE 4.0866128075E7
AT ITER 5849 NEW BEST:: SOT 300738035 SOS 68575071 HAS SOPS 68575071 HAS SOUS 40796056 HAS SOUPS 40796056 WITH SCORE 4.0864631071E7
AT ITER 5850 NEW BEST:: SOT 300735251 SOS 68577851 HAS SOPS 68577851 HAS SOUS 40790487 HAS SOUPS 40790487 WITH SCORE 4.0859064851E7
AT ITER 5864 NEW BEST:: SOT 300735690 SOS 68578729 HAS SOPS 68578729 HAS SOUS 40787436 HAS SOUPS 40787436 WITH SCORE 4.0856014729E7
AT ITER 5896 NEW BEST:: SOT 300735690 SOS 68574115 HAS SOPS 68574115 HAS SOUS 40785898 HAS SOUPS 40785898 WITH SCORE 4.0854472115E7
AT ITER 5918 NEW BEST:: SOT 300735690 SOS 68574115 HAS SOPS 68574115 HAS SOUS 40785897 HAS SOUPS 40785897 WITH SCORE 4.0854471115E7
AT ITER 5940 NEW BEST:: SOT 300732727 SOS 68571148 HAS SOPS 68571148 HAS SOUS 40782933 HAS SOUPS 40782933 WITH SCORE 4.0851504148E7
AT ITER 5979 NEW BEST:: SOT 300734795 SOS 68575284 HAS SOPS 68575284 HAS SOUS 40782087 HAS SOUPS 40782087 WITH SCORE 4.0850662284E7
AT ITER 5990 NEW BEST:: SOT 300734795 SOS 68574018 HAS SOPS 68574018 HAS SOUS 40782087 HAS SOUPS 40782087 WITH SCORE 4.0850661018E7
AT ITER 5992 NEW BEST:: SOT 300730235 SOS 68569458 HAS SOPS 68569458 HAS SOUS 40777527 HAS SOUPS 40777527 WITH SCORE 4.0846096458E7
AT ITER 6008 NEW BEST:: SOT 300727409 SOS 68566628 HAS SOPS 68566628 HAS SOUS 40774700 HAS SOUPS 40774700 WITH SCORE 4.0843266628E7
AT ITER 6032 NEW BEST:: SOT 300727568 SOS 68564598 HAS SOPS 68564598 HAS SOUS 40773764 HAS SOUPS 40773764 WITH SCORE 4.0842328598E7
AT ITER 6036 NEW BEST:: SOT 300727043 SOS 68564248 HAS SOPS 68564248 HAS SOUS 40773414 HAS SOUPS 40773414 WITH SCORE 4.0841978248E7
AT ITER 6041 NEW BEST:: SOT 300724278 SOS 68561483 HAS SOPS 68561483 HAS SOUS 40770649 HAS SOUPS 40770649 WITH SCORE 4.0839210483E7
AT ITER 6094 NEW BEST:: SOT 300723555 SOS 68560037 HAS SOPS 68560037 HAS SOUS 40769203 HAS SOUPS 40769203 WITH SCORE 4.0837763037E7
AT ITER 6108 NEW BEST:: SOT 300720639 SOS 68558086 HAS SOPS 68558086 HAS SOUS 40767252 HAS SOUPS 40767252 WITH SCORE 4.0835810086E7
AT ITER 6118 NEW BEST:: SOT 300719247 SOS 68559478 HAS SOPS 68559478 HAS SOUS 40766749 HAS SOUPS 40766749 WITH SCORE 4.0835308478E7
AT ITER 6122 NEW BEST:: SOT 300718883 SOS 68558750 HAS SOPS 68558750 HAS SOUS 40766021 HAS SOUPS 40766021 WITH SCORE 4.083457975E7
AT ITER 6133 NEW BEST:: SOT 300718883 SOS 68551727 HAS SOPS 68551727 HAS SOUS 40764021 HAS SOUPS 40764021 WITH SCORE 4.0832572727E7
AT ITER 6139 NEW BEST:: SOT 300716895 SOS 68541787 HAS SOPS 68541787 HAS SOUS 40760045 HAS SOUPS 40760045 WITH SCORE 4.0828586787E7
AT ITER 6150 NEW BEST:: SOT 300716347 SOS 68542335 HAS SOPS 68542335 HAS SOUS 40759497 HAS SOUPS 40759497 WITH SCORE 4.0828039335E7
AT ITER 6157 NEW BEST:: SOT 300714142 SOS 68541766 HAS SOPS 68541766 HAS SOUS 40758931 HAS SOUPS 40758931 WITH SCORE 4.0827472766E7
AT ITER 6161 NEW BEST:: SOT 300711780 SOS 68539400 HAS SOPS 68539400 HAS SOUS 40756568 HAS SOUPS 40756568 WITH SCORE 4.08251074E7
AT ITER 6174 NEW BEST:: SOT 300711779 SOS 68539398 HAS SOPS 68539398 HAS SOUS 40756566 HAS SOUPS 40756566 WITH SCORE 4.0825105398E7
AT ITER 6187 NEW BEST:: SOT 300711402 SOS 68538644 HAS SOPS 68538644 HAS SOUS 40755812 HAS SOUPS 40755812 WITH SCORE 4.0824350644E7
AT ITER 6189 NEW BEST:: SOT 300712590 SOS 68541020 HAS SOPS 68541020 HAS SOUS 40755196 HAS SOUPS 40755196 WITH SCORE 4.082373702E7
AT ITER 6226 NEW BEST:: SOT 300710901 SOS 68539331 HAS SOPS 68539331 HAS SOUS 40753507 HAS SOUPS 40753507 WITH SCORE 4.0822046331E7
AT ITER 6323 NEW BEST:: SOT 300709932 SOS 68537393 HAS SOPS 68537393 HAS SOUS 40752538 HAS SOUPS 40752538 WITH SCORE 4.0821075393E7
AT ITER 6339 NEW BEST:: SOT 300705976 SOS 68529481 HAS SOPS 68529481 HAS SOUS 40744626 HAS SOUPS 40744626 WITH SCORE 4.0813155481E7
AT ITER 6347 NEW BEST:: SOT 300705976 SOS 68529481 HAS SOPS 68529481 HAS SOUS 40744100 HAS SOUPS 40744100 WITH SCORE 4.0812629481E7
AT ITER 6385 NEW BEST:: SOT 300702918 SOS 68526941 HAS SOPS 68526941 HAS SOUS 40741560 HAS SOUPS 40741560 WITH SCORE 4.0810086941E7
AT ITER 6397 NEW BEST:: SOT 300701783 SOS 68528076 HAS SOPS 68528076 HAS SOUS 40740425 HAS SOUPS 40740425 WITH SCORE 4.0808953076E7
AT ITER 6409 NEW BEST:: SOT 300702434 SOS 68519796 HAS SOPS 68519796 HAS SOUS 40738207 HAS SOUPS 40738207 WITH SCORE 4.0806726796E7
AT ITER 6412 NEW BEST:: SOT 300703432 SOS 68517797 HAS SOPS 68517797 HAS SOUS 40738206 HAS SOUPS 40738206 WITH SCORE 4.0806723797E7
AT ITER 6452 NEW BEST:: SOT 300699976 SOS 68514337 HAS SOPS 68514337 HAS SOUS 40734749 HAS SOUPS 40734749 WITH SCORE 4.0803263337E7
AT ITER 6461 NEW BEST:: SOT 300696290 SOS 68512494 HAS SOPS 68512494 HAS SOUS 40732906 HAS SOUPS 40732906 WITH SCORE 4.0801418494E7
AT ITER 6471 NEW BEST:: SOT 300696290 SOS 68511702 HAS SOPS 68511702 HAS SOUS 40732114 HAS SOUPS 40732114 WITH SCORE 4.0800625702E7
AT ITER 6508 NEW BEST:: SOT 300694234 SOS 68507998 HAS SOPS 68507998 HAS SOUS 40729646 HAS SOUPS 40729646 WITH SCORE 4.0798153998E7
AT ITER 6528 NEW BEST:: SOT 300691201 SOS 68501810 HAS SOPS 68501810 HAS SOUS 40725948 HAS SOUPS 40725948 WITH SCORE 4.079444981E7
AT ITER 6562 NEW BEST:: SOT 300691041 SOS 68501490 HAS SOPS 68501490 HAS SOUS 40725788 HAS SOUPS 40725788 WITH SCORE 4.079428949E7
AT ITER 6584 NEW BEST:: SOT 300690904 SOS 68501353 HAS SOPS 68501353 HAS SOUS 40725651 HAS SOUPS 40725651 WITH SCORE 4.0794152353E7
AT ITER 6609 NEW BEST:: SOT 300682897 SOS 68490325 HAS SOPS 68490325 HAS SOUS 40713526 HAS SOUPS 40713526 WITH SCORE 4.0782016325E7
AT ITER 6620 NEW BEST:: SOT 300684140 SOS 68492811 HAS SOPS 68492811 HAS SOUS 40712329 HAS SOUPS 40712329 WITH SCORE 4.0780821811E7
AT ITER 6634 NEW BEST:: SOT 300682565 SOS 68494385 HAS SOPS 68494385 HAS SOUS 40712043 HAS SOUPS 40712043 WITH SCORE 4.0780537385E7
AT ITER 6657 NEW BEST:: SOT 300680409 SOS 68490073 HAS SOPS 68490073 HAS SOUS 40707731 HAS SOUPS 40707731 WITH SCORE 4.0776221073E7
AT ITER 6672 NEW BEST:: SOT 300680409 SOS 68488643 HAS SOPS 68488643 HAS SOUS 40707731 HAS SOUPS 40707731 WITH SCORE 4.0776219643E7
AT ITER 6678 NEW BEST:: SOT 300680105 SOS 68487731 HAS SOPS 68487731 HAS SOUS 40706819 HAS SOUPS 40706819 WITH SCORE 4.0775306731E7
AT ITER 6739 NEW BEST:: SOT 300679413 SOS 68489101 HAS SOPS 68489101 HAS SOUS 40706125 HAS SOUPS 40706125 WITH SCORE 4.0774614101E7
AT ITER 6761 NEW BEST:: SOT 300681410 SOS 68505382 HAS SOPS 68505382 HAS SOUS 40706021 HAS SOUPS 40706021 WITH SCORE 4.0774526382E7
AT ITER 6793 NEW BEST:: SOT 300680115 SOS 68502793 HAS SOPS 68502793 HAS SOUS 40703432 HAS SOUPS 40703432 WITH SCORE 4.0771934793E7
AT ITER 6798 NEW BEST:: SOT 300679507 SOS 68502185 HAS SOPS 68502185 HAS SOUS 40702824 HAS SOUPS 40702824 WITH SCORE 4.0771326185E7
AT ITER 6799 NEW BEST:: SOT 300678871 SOS 68502181 HAS SOPS 68502181 HAS SOUS 40702360 HAS SOUPS 40702360 WITH SCORE 4.0770862181E7
AT ITER 6811 NEW BEST:: SOT 300676154 SOS 68499464 HAS SOPS 68499464 HAS SOUS 40699643 HAS SOUPS 40699643 WITH SCORE 4.0768142464E7
AT ITER 6812 NEW BEST:: SOT 300676154 SOS 68505815 HAS SOPS 68505815 HAS SOUS 40698957 HAS SOUPS 40698957 WITH SCORE 4.0767462815E7
AT ITER 6821 NEW BEST:: SOT 300674146 SOS 68503807 HAS SOPS 68503807 HAS SOUS 40696949 HAS SOUPS 40696949 WITH SCORE 4.0765452807E7
AT ITER 6835 NEW BEST:: SOT 300674144 SOS 68503803 HAS SOPS 68503803 HAS SOUS 40696945 HAS SOUPS 40696945 WITH SCORE 4.0765448803E7
AT ITER 6849 NEW BEST:: SOT 300671102 SOS 68501059 HAS SOPS 68501059 HAS SOUS 40694201 HAS SOUPS 40694201 WITH SCORE 4.0762702059E7
AT ITER 6882 NEW BEST:: SOT 300669021 SOS 68508920 HAS SOPS 68508920 HAS SOUS 40690038 HAS SOUPS 40690038 WITH SCORE 4.075854692E7
AT ITER 6899 NEW BEST:: SOT 300653956 SOS 68508500 HAS SOPS 68508500 HAS SOUS 40685903 HAS SOUPS 40685903 WITH SCORE 4.07544115E7
AT ITER 6912 NEW BEST:: SOT 300654656 SOS 68509900 HAS SOPS 68509900 HAS SOUS 40684998 HAS SOUPS 40684998 WITH SCORE 4.07535079E7
AT ITER 6924 NEW BEST:: SOT 300655459 SOS 68508291 HAS SOPS 68508291 HAS SOUS 40684997 HAS SOUPS 40684997 WITH SCORE 4.0753505291E7
AT ITER 6929 NEW BEST:: SOT 300641522 SOS 68498155 HAS SOPS 68498155 HAS SOUS 40678662 HAS SOUPS 40678662 WITH SCORE 4.0747160155E7
AT ITER 6942 NEW BEST:: SOT 300640663 SOS 68504168 HAS SOPS 68504168 HAS SOUS 40677803 HAS SOUPS 40677803 WITH SCORE 4.0746307168E7
AT ITER 6962 NEW BEST:: SOT 300640464 SOS 68503770 HAS SOPS 68503770 HAS SOUS 40677405 HAS SOUPS 40677405 WITH SCORE 4.074590877E7
AT ITER 6971 NEW BEST:: SOT 300637356 SOS 68490342 HAS SOPS 68490342 HAS SOUS 40671893 HAS SOUPS 40671893 WITH SCORE 4.0740383342E7
AT ITER 7025 NEW BEST:: SOT 300636076 SOS 68489189 HAS SOPS 68489189 HAS SOUS 40670740 HAS SOUPS 40670740 WITH SCORE 4.0739229189E7
AT ITER 7036 NEW BEST:: SOT 300635667 SOS 68488780 HAS SOPS 68488780 HAS SOUS 40670331 HAS SOUPS 40670331 WITH SCORE 4.073881978E7
AT ITER 7071 NEW BEST:: SOT 300634963 SOS 68487373 HAS SOPS 68487373 HAS SOUS 40668924 HAS SOUPS 40668924 WITH SCORE 4.0737411373E7
AT ITER 7089 NEW BEST:: SOT 300634437 SOS 68487369 HAS SOPS 68487369 HAS SOUS 40668445 HAS SOUPS 40668445 WITH SCORE 4.0736932369E7
AT ITER 7090 NEW BEST:: SOT 300631848 SOS 68505492 HAS SOPS 68505492 HAS SOUS 40665856 HAS SOUPS 40665856 WITH SCORE 4.0734361492E7
AT ITER 7097 NEW BEST:: SOT 300631848 SOS 68505492 HAS SOPS 68505492 HAS SOUS 40661708 HAS SOUPS 40661708 WITH SCORE 4.0730213492E7
AT ITER 7109 NEW BEST:: SOT 300618767 SOS 68505608 HAS SOPS 68505608 HAS SOUS 40660588 HAS SOUPS 40660588 WITH SCORE 4.0729093608E7
AT ITER 7134 NEW BEST:: SOT 300617323 SOS 68507052 HAS SOPS 68507052 HAS SOUS 40659144 HAS SOUPS 40659144 WITH SCORE 4.0727651052E7
AT ITER 7161 NEW BEST:: SOT 300617441 SOS 68507288 HAS SOPS 68507288 HAS SOUS 40658904 HAS SOUPS 40658904 WITH SCORE 4.0727411288E7
AT ITER 7166 NEW BEST:: SOT 300616412 SOS 68506259 HAS SOPS 68506259 HAS SOUS 40657875 HAS SOUPS 40657875 WITH SCORE 4.0726381259E7
AT ITER 7175 NEW BEST:: SOT 300616412 SOS 68501948 HAS SOPS 68501948 HAS SOUS 40656438 HAS SOUPS 40656438 WITH SCORE 4.0724939948E7
AT ITER 7198 NEW BEST:: SOT 300616411 SOS 68501946 HAS SOPS 68501946 HAS SOUS 40656436 HAS SOUPS 40656436 WITH SCORE 4.0724937946E7
AT ITER 7214 NEW BEST:: SOT 300614465 SOS 68501734 HAS SOPS 68501734 HAS SOUS 40654490 HAS SOUPS 40654490 WITH SCORE 4.0722991734E7
AT ITER 7322 NEW BEST:: SOT 300614465 SOS 68499451 HAS SOPS 68499451 HAS SOUS 40654490 HAS SOUPS 40654490 WITH SCORE 4.0722989451E7
AT ITER 7325 NEW BEST:: SOT 300614465 SOS 68507278 HAS SOPS 68507278 HAS SOUS 40650574 HAS SOUPS 40650574 WITH SCORE 4.0719081278E7
AT ITER 7384 NEW BEST:: SOT 300610118 SOS 68503178 HAS SOPS 68503178 HAS SOUS 40646227 HAS SOUPS 40646227 WITH SCORE 4.0714730178E7
AT ITER 7388 NEW BEST:: SOT 300609324 SOS 68448392 HAS SOPS 68448392 HAS SOUS 40644639 HAS SOUPS 40644639 WITH SCORE 4.0713087392E7
AT ITER 7438 NEW BEST:: SOT 300607848 SOS 68446916 HAS SOPS 68446916 HAS SOUS 40641687 HAS SOUPS 40641687 WITH SCORE 4.0710133916E7
AT ITER 7442 NEW BEST:: SOT 300604987 SOS 68432611 HAS SOPS 68432611 HAS SOUS 40635965 HAS SOUPS 40635965 WITH SCORE 4.0704397611E7
AT ITER 7456 NEW BEST:: SOT 300604273 SOS 68431897 HAS SOPS 68431897 HAS SOUS 40635251 HAS SOUPS 40635251 WITH SCORE 4.0703682897E7
AT ITER 7457 NEW BEST:: SOT 300601861 SOS 68421377 HAS SOPS 68421377 HAS SOUS 40630812 HAS SOUPS 40630812 WITH SCORE 4.0699233377E7
AT ITER 7474 NEW BEST:: SOT 300601861 SOS 68414243 HAS SOPS 68414243 HAS SOUS 40628434 HAS SOUPS 40628434 WITH SCORE 4.0696848243E7
AT ITER 7479 NEW BEST:: SOT 300600478 SOS 68411477 HAS SOPS 68411477 HAS SOUS 40624788 HAS SOUPS 40624788 WITH SCORE 4.0693199477E7
AT ITER 7481 NEW BEST:: SOT 300600478 SOS 68411477 HAS SOPS 68411477 HAS SOUS 40624787 HAS SOUPS 40624787 WITH SCORE 4.0693198477E7
AT ITER 7499 NEW BEST:: SOT 300600478 SOS 68411382 HAS SOPS 68411382 HAS SOUS 40624692 HAS SOUPS 40624692 WITH SCORE 4.0693103382E7
AT ITER 7517 NEW BEST:: SOT 300599709 SOS 68409844 HAS SOPS 68409844 HAS SOUS 40623154 HAS SOUPS 40623154 WITH SCORE 4.0691563844E7
AT ITER 7542 NEW BEST:: SOT 300598972 SOS 68409107 HAS SOPS 68409107 HAS SOUS 40622417 HAS SOUPS 40622417 WITH SCORE 4.0690826107E7
AT ITER 7556 NEW BEST:: SOT 300596173 SOS 68403509 HAS SOPS 68403509 HAS SOUS 40616819 HAS SOUPS 40616819 WITH SCORE 4.0685222509E7
AT ITER 7567 NEW BEST:: SOT 300595969 SOS 68403304 HAS SOPS 68403304 HAS SOUS 40616813 HAS SOUPS 40616813 WITH SCORE 4.0685216304E7
AT ITER 7568 NEW BEST:: SOT 300593061 SOS 68388764 HAS SOPS 68388764 HAS SOUS 40610997 HAS SOUPS 40610997 WITH SCORE 4.0679385764E7
AT ITER 7571 NEW BEST:: SOT 300591388 SOS 68392106 HAS SOPS 68392106 HAS SOUS 40609323 HAS SOUPS 40609323 WITH SCORE 4.0677715106E7
AT ITER 7581 NEW BEST:: SOT 300591388 SOS 68390010 HAS SOPS 68390010 HAS SOUS 40608799 HAS SOUPS 40608799 WITH SCORE 4.067718901E7
AT ITER 7607 NEW BEST:: SOT 300589464 SOS 68380390 HAS SOPS 68380390 HAS SOUS 40604951 HAS SOUPS 40604951 WITH SCORE 4.067333139E7
AT ITER 7632 NEW BEST:: SOT 300588918 SOS 68381478 HAS SOPS 68381478 HAS SOUS 40604404 HAS SOUPS 40604404 WITH SCORE 4.0672785478E7
AT ITER 7635 NEW BEST:: SOT 300587109 SOS 68380939 HAS SOPS 68380939 HAS SOUS 40603865 HAS SOUPS 40603865 WITH SCORE 4.0672245939E7
AT ITER 7636 NEW BEST:: SOT 300587109 SOS 68390785 HAS SOPS 68390785 HAS SOUS 40602587 HAS SOUPS 40602587 WITH SCORE 4.0670977785E7
AT ITER 7646 NEW BEST:: SOT 300586778 SOS 68393413 HAS SOPS 68393413 HAS SOUS 40602254 HAS SOUPS 40602254 WITH SCORE 4.0670647413E7
AT ITER 7682 NEW BEST:: SOT 300571300 SOS 68392193 HAS SOPS 68392193 HAS SOUS 40600619 HAS SOUPS 40600619 WITH SCORE 4.0669011193E7
AT ITER 7705 NEW BEST:: SOT 300571300 SOS 68392193 HAS SOPS 68392193 HAS SOUS 40600618 HAS SOUPS 40600618 WITH SCORE 4.0669010193E7
AT ITER 7709 NEW BEST:: SOT 300571300 SOS 68390411 HAS SOPS 68390411 HAS SOUS 40600617 HAS SOUPS 40600617 WITH SCORE 4.0669007411E7
AT ITER 7711 NEW BEST:: SOT 300570282 SOS 68373724 HAS SOPS 68373724 HAS SOUS 40596532 HAS SOUPS 40596532 WITH SCORE 4.0664905724E7
AT ITER 7713 NEW BEST:: SOT 300569608 SOS 68373050 HAS SOPS 68373050 HAS SOUS 40595858 HAS SOUPS 40595858 WITH SCORE 4.066423105E7
AT ITER 7718 NEW BEST:: SOT 300566221 SOS 68369821 HAS SOPS 68369821 HAS SOUS 40592471 HAS SOUPS 40592471 WITH SCORE 4.0660840821E7
AT ITER 7734 NEW BEST:: SOT 300564247 SOS 68367887 HAS SOPS 68367887 HAS SOUS 40590537 HAS SOUPS 40590537 WITH SCORE 4.0658904887E7
AT ITER 7738 NEW BEST:: SOT 300562761 SOS 68366401 HAS SOPS 68366401 HAS SOUS 40589051 HAS SOUPS 40589051 WITH SCORE 4.0657417401E7
AT ITER 7829 NEW BEST:: SOT 300562105 SOS 68365741 HAS SOPS 68365741 HAS SOUS 40588394 HAS SOUPS 40588394 WITH SCORE 4.0656759741E7
AT ITER 7835 NEW BEST:: SOT 300560529 SOS 68362590 HAS SOPS 68362590 HAS SOUS 40585243 HAS SOUPS 40585243 WITH SCORE 4.065360559E7
AT ITER 7857 NEW BEST:: SOT 300559616 SOS 68360764 HAS SOPS 68360764 HAS SOUS 40582246 HAS SOUPS 40582246 WITH SCORE 4.0650606764E7
AT ITER 7889 NEW BEST:: SOT 300556866 SOS 68355264 HAS SOPS 68355264 HAS SOUS 40579542 HAS SOUPS 40579542 WITH SCORE 4.0647897264E7
AT ITER 7894 NEW BEST:: SOT 300556863 SOS 68355258 HAS SOPS 68355258 HAS SOUS 40579536 HAS SOUPS 40579536 WITH SCORE 4.0647891258E7
AT ITER 7900 NEW BEST:: SOT 300556817 SOS 68355235 HAS SOPS 68355235 HAS SOUS 40579513 HAS SOUPS 40579513 WITH SCORE 4.0647868235E7
AT ITER 7923 NEW BEST:: SOT 300553944 SOS 68352358 HAS SOPS 68352358 HAS SOUS 40576639 HAS SOUPS 40576639 WITH SCORE 4.0644991358E7
AT ITER 7952 NEW BEST:: SOT 300549897 SOS 68353171 HAS SOPS 68353171 HAS SOUS 40572592 HAS SOUPS 40572592 WITH SCORE 4.0640945171E7
AT ITER 7964 NEW BEST:: SOT 300548026 SOS 68351300 HAS SOPS 68351300 HAS SOUS 40570721 HAS SOUPS 40570721 WITH SCORE 4.06390723E7
AT ITER 8015 NEW BEST:: SOT 300546310 SOS 68351300 HAS SOPS 68351300 HAS SOUS 40569863 HAS SOUPS 40569863 WITH SCORE 4.06382143E7
AT ITER 8041 NEW BEST:: SOT 300544181 SOS 68349171 HAS SOPS 68349171 HAS SOUS 40567734 HAS SOUPS 40567734 WITH SCORE 4.0636083171E7
AT ITER 8046 NEW BEST:: SOT 300542175 SOS 68331117 HAS SOPS 68331117 HAS SOUS 40564264 HAS SOUPS 40564264 WITH SCORE 4.0632595117E7
AT ITER 8056 NEW BEST:: SOT 300542000 SOS 68330767 HAS SOPS 68330767 HAS SOUS 40563914 HAS SOUPS 40563914 WITH SCORE 4.0632244767E7
AT ITER 8067 NEW BEST:: SOT 300541199 SOS 68329165 HAS SOPS 68329165 HAS SOUS 40562312 HAS SOUPS 40562312 WITH SCORE 4.0630641165E7
AT ITER 8073 NEW BEST:: SOT 300537023 SOS 68320813 HAS SOPS 68320813 HAS SOUS 40553075 HAS SOUPS 40553075 WITH SCORE 4.0621395813E7
AT ITER 8077 NEW BEST:: SOT 300538664 SOS 68314564 HAS SOPS 68314564 HAS SOUS 40552359 HAS SOUPS 40552359 WITH SCORE 4.0620673564E7
AT ITER 8101 NEW BEST:: SOT 300538434 SOS 68314104 HAS SOPS 68314104 HAS SOUS 40551899 HAS SOUPS 40551899 WITH SCORE 4.0620213104E7
AT ITER 8134 NEW BEST:: SOT 300536904 SOS 68312574 HAS SOPS 68312574 HAS SOUS 40550369 HAS SOUPS 40550369 WITH SCORE 4.0618681574E7
AT ITER 8154 NEW BEST:: SOT 300534094 SOS 68306954 HAS SOPS 68306954 HAS SOUS 40544749 HAS SOUPS 40544749 WITH SCORE 4.0613055954E7
AT ITER 8224 NEW BEST:: SOT 300531222 SOS 68298338 HAS SOPS 68298338 HAS SOUS 40540441 HAS SOUPS 40540441 WITH SCORE 4.0608739338E7
AT ITER 8240 NEW BEST:: SOT 300531222 SOS 68298338 HAS SOPS 68298338 HAS SOUS 40540440 HAS SOUPS 40540440 WITH SCORE 4.0608738338E7
AT ITER 8246 NEW BEST:: SOT 300530544 SOS 68296982 HAS SOPS 68296982 HAS SOUS 40537148 HAS SOUPS 40537148 WITH SCORE 4.0605444982E7
AT ITER 8259 NEW BEST:: SOT 300530544 SOS 68294903 HAS SOPS 68294903 HAS SOUS 40537147 HAS SOUPS 40537147 WITH SCORE 4.0605441903E7
AT ITER 8264 NEW BEST:: SOT 300530276 SOS 68294769 HAS SOPS 68294769 HAS SOUS 40537013 HAS SOUPS 40537013 WITH SCORE 4.0605307769E7
AT ITER 8270 NEW BEST:: SOT 300530276 SOS 68289123 HAS SOPS 68289123 HAS SOUS 40535131 HAS SOUPS 40535131 WITH SCORE 4.0603420123E7
AT ITER 8278 NEW BEST:: SOT 300530276 SOS 68285400 HAS SOPS 68285400 HAS SOUS 40533890 HAS SOUPS 40533890 WITH SCORE 4.06021754E7
AT ITER 8306 NEW BEST:: SOT 300530276 SOS 68282145 HAS SOPS 68282145 HAS SOUS 40532805 HAS SOUPS 40532805 WITH SCORE 4.0601087145E7
AT ITER 8319 NEW BEST:: SOT 300530276 SOS 68280612 HAS SOPS 68280612 HAS SOUS 40532805 HAS SOUPS 40532805 WITH SCORE 4.0601085612E7
AT ITER 8333 NEW BEST:: SOT 300530276 SOS 68281914 HAS SOPS 68281914 HAS SOUS 40532803 HAS SOUPS 40532803 WITH SCORE 4.0601084914E7
AT ITER 8340 NEW BEST:: SOT 300529414 SOS 68280190 HAS SOPS 68280190 HAS SOUS 40531079 HAS SOUPS 40531079 WITH SCORE 4.059935919E7
AT ITER 8352 NEW BEST:: SOT 300529064 SOS 68279840 HAS SOPS 68279840 HAS SOUS 40530729 HAS SOUPS 40530729 WITH SCORE 4.059900884E7
AT ITER 8357 NEW BEST:: SOT 300529063 SOS 68279345 HAS SOPS 68279345 HAS SOUS 40530234 HAS SOUPS 40530234 WITH SCORE 4.0598513345E7
AT ITER 8363 NEW BEST:: SOT 300529032 SOS 68279283 HAS SOPS 68279283 HAS SOUS 40529083 HAS SOUPS 40529083 WITH SCORE 4.0597362283E7
AT ITER 8391 NEW BEST:: SOT 300527184 SOS 68279279 HAS SOPS 68279279 HAS SOUS 40529082 HAS SOUPS 40529082 WITH SCORE 4.0597361279E7
AT ITER 8394 NEW BEST:: SOT 300528611 SOS 68282132 HAS SOPS 68282132 HAS SOUS 40526562 HAS SOUPS 40526562 WITH SCORE 4.0594844132E7
AT ITER 8400 NEW BEST:: SOT 300526444 SOS 68279965 HAS SOPS 68279965 HAS SOUS 40524395 HAS SOUPS 40524395 WITH SCORE 4.0592674965E7
AT ITER 8477 NEW BEST:: SOT 300526444 SOS 68279965 HAS SOPS 68279965 HAS SOUS 40524394 HAS SOUPS 40524394 WITH SCORE 4.0592673965E7
AT ITER 8515 NEW BEST:: SOT 300526102 SOS 68279281 HAS SOPS 68279281 HAS SOUS 40523710 HAS SOUPS 40523710 WITH SCORE 4.0591989281E7
AT ITER 8526 NEW BEST:: SOT 300525809 SOS 68278695 HAS SOPS 68278695 HAS SOUS 40521408 HAS SOUPS 40521408 WITH SCORE 4.0589686695E7
AT ITER 8545 NEW BEST:: SOT 300521771 SOS 68270619 HAS SOPS 68270619 HAS SOUS 40513332 HAS SOUPS 40513332 WITH SCORE 4.0581602619E7
AT ITER 8559 NEW BEST:: SOT 300520982 SOS 68269041 HAS SOPS 68269041 HAS SOUS 40511754 HAS SOUPS 40511754 WITH SCORE 4.0580023041E7
AT ITER 8562 NEW BEST:: SOT 300520713 SOS 68268503 HAS SOPS 68268503 HAS SOUS 40511216 HAS SOUPS 40511216 WITH SCORE 4.0579484503E7
AT ITER 8564 NEW BEST:: SOT 300520592 SOS 68268261 HAS SOPS 68268261 HAS SOUS 40510974 HAS SOUPS 40510974 WITH SCORE 4.0579242261E7
AT ITER 8572 NEW BEST:: SOT 300515628 SOS 68258333 HAS SOPS 68258333 HAS SOUS 40501046 HAS SOUPS 40501046 WITH SCORE 4.0569304333E7
AT ITER 8576 NEW BEST:: SOT 300514620 SOS 68256317 HAS SOPS 68256317 HAS SOUS 40500038 HAS SOUPS 40500038 WITH SCORE 4.0568294317E7
AT ITER 8578 NEW BEST:: SOT 300514170 SOS 68255417 HAS SOPS 68255417 HAS SOUS 40499138 HAS SOUPS 40499138 WITH SCORE 4.0567393417E7
AT ITER 8589 NEW BEST:: SOT 300514154 SOS 68255385 HAS SOPS 68255385 HAS SOUS 40499122 HAS SOUPS 40499122 WITH SCORE 4.0567377385E7
AT ITER 8629 NEW BEST:: SOT 300513940 SOS 68254529 HAS SOPS 68254529 HAS SOUS 40498908 HAS SOUPS 40498908 WITH SCORE 4.0567162529E7
AT ITER 8647 NEW BEST:: SOT 300512582 SOS 68250452 HAS SOPS 68250452 HAS SOUS 40496191 HAS SOUPS 40496191 WITH SCORE 4.0564441452E7
AT ITER 8667 NEW BEST:: SOT 300515601 SOS 68247430 HAS SOPS 68247430 HAS SOUS 40496190 HAS SOUPS 40496190 WITH SCORE 4.056443743E7
AT ITER 8672 NEW BEST:: SOT 300514480 SOS 68245189 HAS SOPS 68245189 HAS SOUS 40493949 HAS SOUPS 40493949 WITH SCORE 4.0562194189E7
AT ITER 8685 NEW BEST:: SOT 300511227 SOS 68245183 HAS SOPS 68245183 HAS SOUS 40493943 HAS SOUPS 40493943 WITH SCORE 4.0562188183E7
AT ITER 8697 NEW BEST:: SOT 300510702 SOS 68244133 HAS SOPS 68244133 HAS SOUS 40492893 HAS SOUPS 40492893 WITH SCORE 4.0561137133E7
AT ITER 8702 NEW BEST:: SOT 300510702 SOS 68244133 HAS SOPS 68244133 HAS SOUS 40492892 HAS SOUPS 40492892 WITH SCORE 4.0561136133E7
AT ITER 8725 NEW BEST:: SOT 300509221 SOS 68241171 HAS SOPS 68241171 HAS SOUS 40489930 HAS SOUPS 40489930 WITH SCORE 4.0558171171E7
AT ITER 8736 NEW BEST:: SOT 300505343 SOS 68239289 HAS SOPS 68239289 HAS SOUS 40488010 HAS SOUPS 40488010 WITH SCORE 4.0556249289E7
AT ITER 8769 NEW BEST:: SOT 300505647 SOS 68239897 HAS SOPS 68239897 HAS SOUS 40486292 HAS SOUPS 40486292 WITH SCORE 4.0554531897E7
AT ITER 8781 NEW BEST:: SOT 300505647 SOS 68239897 HAS SOPS 68239897 HAS SOUS 40484897 HAS SOUPS 40484897 WITH SCORE 4.0553136897E7
AT ITER 8810 NEW BEST:: SOT 300502992 SOS 68237629 HAS SOPS 68237629 HAS SOUS 40481422 HAS SOUPS 40481422 WITH SCORE 4.0549659629E7
AT ITER 8821 NEW BEST:: SOT 300503990 SOS 68248930 HAS SOPS 68248930 HAS SOUS 40480314 HAS SOUPS 40480314 WITH SCORE 4.054856293E7
AT ITER 8894 NEW BEST:: SOT 300501055 SOS 68246516 HAS SOPS 68246516 HAS SOUS 40477900 HAS SOUPS 40477900 WITH SCORE 4.0546146516E7
AT ITER 8937 NEW BEST:: SOT 300501055 SOS 68245936 HAS SOPS 68245936 HAS SOUS 40477610 HAS SOUPS 40477610 WITH SCORE 4.0545855936E7
AT ITER 8959 NEW BEST:: SOT 300500177 SOS 68244180 HAS SOPS 68244180 HAS SOUS 40475854 HAS SOUPS 40475854 WITH SCORE 4.054409818E7
AT ITER 8960 NEW BEST:: SOT 300499521 SOS 68239980 HAS SOPS 68239980 HAS SOUS 40475332 HAS SOUPS 40475332 WITH SCORE 4.054357198E7
AT ITER 8962 NEW BEST:: SOT 300499880 SOS 68239619 HAS SOPS 68239619 HAS SOUS 40475331 HAS SOUPS 40475331 WITH SCORE 4.0543570619E7
AT ITER 8977 NEW BEST:: SOT 300495783 SOS 68237509 HAS SOPS 68237509 HAS SOUS 40473221 HAS SOUPS 40473221 WITH SCORE 4.0541458509E7
AT ITER 8988 NEW BEST:: SOT 300494572 SOS 68237505 HAS SOPS 68237505 HAS SOUS 40473220 HAS SOUPS 40473220 WITH SCORE 4.0541457505E7
AT ITER 9026 NEW BEST:: SOT 300494053 SOS 68236468 HAS SOPS 68236468 HAS SOUS 40472183 HAS SOUPS 40472183 WITH SCORE 4.0540419468E7
AT ITER 9063 NEW BEST:: SOT 300491155 SOS 68233566 HAS SOPS 68233566 HAS SOUS 40469284 HAS SOUPS 40469284 WITH SCORE 4.0537517566E7
AT ITER 9077 NEW BEST:: SOT 300491155 SOS 68224890 HAS SOPS 68224890 HAS SOUS 40469283 HAS SOUPS 40469283 WITH SCORE 4.053750789E7
AT ITER 9084 NEW BEST:: SOT 300491155 SOS 68219715 HAS SOPS 68219715 HAS SOUS 40467558 HAS SOUPS 40467558 WITH SCORE 4.0535777715E7
AT ITER 9087 NEW BEST:: SOT 300490240 SOS 68220018 HAS SOPS 68220018 HAS SOUS 40467354 HAS SOUPS 40467354 WITH SCORE 4.0535574018E7
AT ITER 9095 NEW BEST:: SOT 300490240 SOS 68217360 HAS SOPS 68217360 HAS SOUS 40467354 HAS SOUPS 40467354 WITH SCORE 4.053557136E7
AT ITER 9120 NEW BEST:: SOT 300489731 SOS 68216343 HAS SOPS 68216343 HAS SOUS 40466337 HAS SOUPS 40466337 WITH SCORE 4.0534553343E7
AT ITER 9208 NEW BEST:: SOT 300489337 SOS 68215555 HAS SOPS 68215555 HAS SOUS 40465942 HAS SOUPS 40465942 WITH SCORE 4.0534157555E7
AT ITER 9239 NEW BEST:: SOT 300488537 SOS 68025752 HAS SOPS 68025752 HAS SOUS 40464342 HAS SOUPS 40464342 WITH SCORE 4.0532367752E7
AT ITER 9271 NEW BEST:: SOT 300485079 SOS 68022294 HAS SOPS 68022294 HAS SOUS 40460884 HAS SOUPS 40460884 WITH SCORE 4.0528906294E7
AT ITER 9272 NEW BEST:: SOT 300485079 SOS 68022294 HAS SOPS 68022294 HAS SOUS 40456502 HAS SOUPS 40456502 WITH SCORE 4.0524524294E7
AT ITER 9281 NEW BEST:: SOT 300484339 SOS 68032576 HAS SOPS 68032576 HAS SOUS 40455021 HAS SOUPS 40455021 WITH SCORE 4.0523053576E7
AT ITER 9312 NEW BEST:: SOT 300483037 SOS 68028670 HAS SOPS 68028670 HAS SOUS 40453068 HAS SOUPS 40453068 WITH SCORE 4.052109667E7
AT ITER 9313 NEW BEST:: SOT 300483509 SOS 68029614 HAS SOPS 68029614 HAS SOUS 40452578 HAS SOUPS 40452578 WITH SCORE 4.0520607614E7
AT ITER 9323 NEW BEST:: SOT 300483471 SOS 68029538 HAS SOPS 68029538 HAS SOUS 40452540 HAS SOUPS 40452540 WITH SCORE 4.0520569538E7
AT ITER 9332 NEW BEST:: SOT 300480880 SOS 68026937 HAS SOPS 68026937 HAS SOUS 40449948 HAS SOUPS 40449948 WITH SCORE 4.0517974937E7
AT ITER 9366 NEW BEST:: SOT 300480880 SOS 68030698 HAS SOPS 68030698 HAS SOUS 40449528 HAS SOUPS 40449528 WITH SCORE 4.0517558698E7
AT ITER 9384 NEW BEST:: SOT 300480879 SOS 68030696 HAS SOPS 68030696 HAS SOUS 40449526 HAS SOUPS 40449526 WITH SCORE 4.0517556696E7
AT ITER 9387 NEW BEST:: SOT 300468681 SOS 68058843 HAS SOPS 68058843 HAS SOUS 40443968 HAS SOUPS 40443968 WITH SCORE 4.0512026843E7
AT ITER 9389 NEW BEST:: SOT 300468681 SOS 68056764 HAS SOPS 68056764 HAS SOUS 40443968 HAS SOUPS 40443968 WITH SCORE 4.0512024764E7
AT ITER 9390 NEW BEST:: SOT 300468095 SOS 68055592 HAS SOPS 68055592 HAS SOUS 40442796 HAS SOUPS 40442796 WITH SCORE 4.0510851592E7
AT ITER 9409 NEW BEST:: SOT 300467867 SOS 68055136 HAS SOPS 68055136 HAS SOUS 40442340 HAS SOUPS 40442340 WITH SCORE 4.0510395136E7
AT ITER 9414 NEW BEST:: SOT 300466083 SOS 68056920 HAS SOPS 68056920 HAS SOUS 40439008 HAS SOUPS 40439008 WITH SCORE 4.050706492E7
AT ITER 9420 NEW BEST:: SOT 300461659 SOS 68052760 HAS SOPS 68052760 HAS SOUS 40430160 HAS SOUPS 40430160 WITH SCORE 4.049821276E7
AT ITER 9455 NEW BEST:: SOT 300460519 SOS 68055572 HAS SOPS 68055572 HAS SOUS 40428114 HAS SOUPS 40428114 WITH SCORE 4.0496169572E7
AT ITER 9464 NEW BEST:: SOT 300458808 SOS 68055667 HAS SOPS 68055667 HAS SOUS 40426799 HAS SOUPS 40426799 WITH SCORE 4.0494854667E7
AT ITER 9500 NEW BEST:: SOT 300457673 SOS 68053397 HAS SOPS 68053397 HAS SOUS 40424529 HAS SOUPS 40424529 WITH SCORE 4.0492582397E7
AT ITER 9541 NEW BEST:: SOT 300457672 SOS 68053396 HAS SOPS 68053396 HAS SOUS 40424528 HAS SOUPS 40424528 WITH SCORE 4.0492581396E7
AT ITER 9571 NEW BEST:: SOT 300457596 SOS 68053358 HAS SOPS 68053358 HAS SOUS 40424452 HAS SOUPS 40424452 WITH SCORE 4.0492505358E7
AT ITER 9595 NEW BEST:: SOT 300452640 SOS 68047576 HAS SOPS 68047576 HAS SOUS 40423792 HAS SOUPS 40423792 WITH SCORE 4.0491839576E7
AT ITER 9622 NEW BEST:: SOT 300452212 SOS 68046720 HAS SOPS 68046720 HAS SOUS 40423363 HAS SOUPS 40423363 WITH SCORE 4.049140972E7
AT ITER 9627 NEW BEST:: SOT 300452212 SOS 68046720 HAS SOPS 68046720 HAS SOUS 40421003 HAS SOUPS 40421003 WITH SCORE 4.048904972E7
AT ITER 9646 NEW BEST:: SOT 300449445 SOS 68048260 HAS SOPS 68048260 HAS SOUS 40419570 HAS SOUPS 40419570 WITH SCORE 4.048761826E7
AT ITER 9684 NEW BEST:: SOT 300450402 SOS 68046345 HAS SOPS 68046345 HAS SOUS 40419569 HAS SOUPS 40419569 WITH SCORE 4.0487615345E7
AT ITER 9701 NEW BEST:: SOT 300450402 SOS 68046341 HAS SOPS 68046341 HAS SOUS 40419568 HAS SOUPS 40419568 WITH SCORE 4.0487614341E7
AT ITER 9710 NEW BEST:: SOT 300450402 SOS 68046337 HAS SOPS 68046337 HAS SOUS 40419567 HAS SOUPS 40419567 WITH SCORE 4.0487613337E7
AT ITER 9730 NEW BEST:: SOT 300450402 SOS 68046337 HAS SOPS 68046337 HAS SOUS 40419566 HAS SOUPS 40419566 WITH SCORE 4.0487612337E7
AT ITER 9731 NEW BEST:: SOT 300449604 SOS 68038312 HAS SOPS 68038312 HAS SOUS 40417970 HAS SOUPS 40417970 WITH SCORE 4.0486008312E7
AT ITER 9743 NEW BEST:: SOT 300447500 SOS 68034104 HAS SOPS 68034104 HAS SOUS 40413762 HAS SOUPS 40413762 WITH SCORE 4.0481796104E7
AT ITER 9756 NEW BEST:: SOT 300447500 SOS 68031152 HAS SOPS 68031152 HAS SOUS 40412778 HAS SOUPS 40412778 WITH SCORE 4.0480809152E7
AT ITER 9790 NEW BEST:: SOT 300447500 SOS 68031152 HAS SOPS 68031152 HAS SOUS 40412777 HAS SOUPS 40412777 WITH SCORE 4.0480808152E7
AT ITER 9794 NEW BEST:: SOT 300446399 SOS 68031032 HAS SOPS 68031032 HAS SOUS 40412657 HAS SOUPS 40412657 WITH SCORE 4.0480688032E7
AT ITER 9802 NEW BEST:: SOT 300446399 SOS 68031032 HAS SOPS 68031032 HAS SOUS 40412656 HAS SOUPS 40412656 WITH SCORE 4.0480687032E7
AT ITER 9846 NEW BEST:: SOT 300444108 SOS 68026450 HAS SOPS 68026450 HAS SOUS 40412144 HAS SOUPS 40412144 WITH SCORE 4.048017045E7
AT ITER 9878 NEW BEST:: SOT 300443870 SOS 68025855 HAS SOPS 68025855 HAS SOUS 40411906 HAS SOUPS 40411906 WITH SCORE 4.0479931855E7
AT ITER 9904 NEW BEST:: SOT 300443869 SOS 68025853 HAS SOPS 68025853 HAS SOUS 40411904 HAS SOUPS 40411904 WITH SCORE 4.0479929853E7
AT ITER 9921 NEW BEST:: SOT 300440397 SOS 68025275 HAS SOPS 68025275 HAS SOUS 40410554 HAS SOUPS 40410554 WITH SCORE 4.0478579275E7
AT ITER 9934 NEW BEST:: SOT 300440397 SOS 68025275 HAS SOPS 68025275 HAS SOUS 40409212 HAS SOUPS 40409212 WITH SCORE 4.0477237275E7
AT ITER 9954 NEW BEST:: SOT 300439781 SOS 68024043 HAS SOPS 68024043 HAS SOUS 40407980 HAS SOUPS 40407980 WITH SCORE 4.0476004043E7
AT ITER 9969 NEW BEST:: SOT 300439407 SOS 68024787 HAS SOPS 68024787 HAS SOUS 40407605 HAS SOUPS 40407605 WITH SCORE 4.0475629787E7
AT ITER 9979 NEW BEST:: SOT 300439312 SOS 68024598 HAS SOPS 68024598 HAS SOUS 40407416 HAS SOUPS 40407416 WITH SCORE 4.0475440598E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# 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-4028"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-5b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542100400"
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 ;