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-158902542100384.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-4b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.3M
-rw-r--r-- 1 mcc users 4.7K Mar 30 03:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 30 03:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 18:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 18:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 10:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 27 10:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 09:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 09:25 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 4.1M 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 1589114819386

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 11440 places, 17128 transitions, 46731 arcs.
AT ITER 0 NEW BEST:: SOT 127073173 SOS 27850704 HAS SOPS 27850704 HAS SOUS 18098030 HAS SOUPS 18098030 WITH SCORE 1.8125880704E7
AT ITER 17 NEW BEST:: SOT 127072681 SOS 27851684 HAS SOPS 27851684 HAS SOUS 18098029 HAS SOUPS 18098029 WITH SCORE 1.8125880684E7
AT ITER 22 NEW BEST:: SOT 127070930 SOS 27850044 HAS SOPS 27850044 HAS SOUS 18096278 HAS SOUPS 18096278 WITH SCORE 1.8124128044E7
AT ITER 32 NEW BEST:: SOT 127070929 SOS 27850042 HAS SOPS 27850042 HAS SOUS 18096276 HAS SOUPS 18096276 WITH SCORE 1.8124126042E7
AT ITER 113 NEW BEST:: SOT 127070056 SOS 27848296 HAS SOPS 27848296 HAS SOUS 18094530 HAS SOUPS 18094530 WITH SCORE 1.8122378296E7
AT ITER 119 NEW BEST:: SOT 127070056 SOS 27848296 HAS SOPS 27848296 HAS SOUS 18094529 HAS SOUPS 18094529 WITH SCORE 1.8122377296E7
AT ITER 149 NEW BEST:: SOT 127068406 SOS 27848120 HAS SOPS 27848120 HAS SOUS 18093660 HAS SOUPS 18093660 WITH SCORE 1.812150812E7
AT ITER 155 NEW BEST:: SOT 127068131 SOS 27848117 HAS SOPS 27848117 HAS SOUS 18093659 HAS SOUPS 18093659 WITH SCORE 1.8121507117E7
AT ITER 163 NEW BEST:: SOT 127068130 SOS 27848115 HAS SOPS 27848115 HAS SOUS 18093657 HAS SOUPS 18093657 WITH SCORE 1.8121505115E7
AT ITER 165 NEW BEST:: SOT 127067697 SOS 27847682 HAS SOPS 27847682 HAS SOUS 18093224 HAS SOUPS 18093224 WITH SCORE 1.8121071682E7
AT ITER 171 NEW BEST:: SOT 127066833 SOS 27845954 HAS SOPS 27845954 HAS SOUS 18091496 HAS SOUPS 18091496 WITH SCORE 1.8119341954E7
AT ITER 201 NEW BEST:: SOT 127065213 SOS 27847574 HAS SOPS 27847574 HAS SOUS 18089293 HAS SOUPS 18089293 WITH SCORE 1.8117140574E7
AT ITER 203 NEW BEST:: SOT 127064659 SOS 27846466 HAS SOPS 27846466 HAS SOUS 18088185 HAS SOUPS 18088185 WITH SCORE 1.8116031466E7
AT ITER 217 NEW BEST:: SOT 127064659 SOS 27846466 HAS SOPS 27846466 HAS SOUS 18088184 HAS SOUPS 18088184 WITH SCORE 1.8116030466E7
AT ITER 239 NEW BEST:: SOT 127062922 SOS 27844732 HAS SOPS 27844732 HAS SOUS 18086453 HAS SOUPS 18086453 WITH SCORE 1.8114297732E7
AT ITER 244 NEW BEST:: SOT 127059543 SOS 27844031 HAS SOPS 27844031 HAS SOUS 18085752 HAS SOUPS 18085752 WITH SCORE 1.8113596031E7
AT ITER 247 NEW BEST:: SOT 127058581 SOS 27875422 HAS SOPS 27875422 HAS SOUS 18085314 HAS SOUPS 18085314 WITH SCORE 1.8113189422E7
AT ITER 324 NEW BEST:: SOT 127058270 SOS 27875111 HAS SOPS 27875111 HAS SOUS 18085314 HAS SOUPS 18085314 WITH SCORE 1.8113189111E7
AT ITER 350 NEW BEST:: SOT 127058270 SOS 27874160 HAS SOPS 27874160 HAS SOUS 18084997 HAS SOUPS 18084997 WITH SCORE 1.811287116E7
AT ITER 454 NEW BEST:: SOT 127055420 SOS 27871852 HAS SOPS 27871852 HAS SOUS 18082689 HAS SOUPS 18082689 WITH SCORE 1.8110560852E7
AT ITER 501 NEW BEST:: SOT 127053178 SOS 27869610 HAS SOPS 27869610 HAS SOUS 18080447 HAS SOUPS 18080447 WITH SCORE 1.810831661E7
AT ITER 520 NEW BEST:: SOT 127051854 SOS 27866962 HAS SOPS 27866962 HAS SOUS 18077799 HAS SOUPS 18077799 WITH SCORE 1.8105665962E7
AT ITER 521 NEW BEST:: SOT 127049756 SOS 27867134 HAS SOPS 27867134 HAS SOUS 18077426 HAS SOUPS 18077426 WITH SCORE 1.8105293134E7
AT ITER 522 NEW BEST:: SOT 127049755 SOS 27867132 HAS SOPS 27867132 HAS SOUS 18077424 HAS SOUPS 18077424 WITH SCORE 1.8105291132E7
AT ITER 527 NEW BEST:: SOT 127046819 SOS 27864196 HAS SOPS 27864196 HAS SOUS 18074488 HAS SOUPS 18074488 WITH SCORE 1.8102352196E7
AT ITER 541 NEW BEST:: SOT 127045537 SOS 27865474 HAS SOPS 27865474 HAS SOUS 18071923 HAS SOUPS 18071923 WITH SCORE 1.8099788474E7
AT ITER 547 NEW BEST:: SOT 127041116 SOS 27863793 HAS SOPS 27863793 HAS SOUS 18069889 HAS SOUPS 18069889 WITH SCORE 1.8097752793E7
AT ITER 565 NEW BEST:: SOT 127040866 SOS 27863293 HAS SOPS 27863293 HAS SOUS 18067896 HAS SOUPS 18067896 WITH SCORE 1.8095759293E7
AT ITER 575 NEW BEST:: SOT 127040866 SOS 27864267 HAS SOPS 27864267 HAS SOUS 18067895 HAS SOUPS 18067895 WITH SCORE 1.8095759267E7
AT ITER 594 NEW BEST:: SOT 127040866 SOS 27864267 HAS SOPS 27864267 HAS SOUS 18067362 HAS SOUPS 18067362 WITH SCORE 1.8095226267E7
AT ITER 603 NEW BEST:: SOT 127039474 SOS 27861483 HAS SOPS 27861483 HAS SOUS 18065970 HAS SOUPS 18065970 WITH SCORE 1.8093831483E7
AT ITER 620 NEW BEST:: SOT 127038650 SOS 27859835 HAS SOPS 27859835 HAS SOUS 18063246 HAS SOUPS 18063246 WITH SCORE 1.8091105835E7
AT ITER 621 NEW BEST:: SOT 127036192 SOS 27882552 HAS SOPS 27882552 HAS SOUS 18062849 HAS SOUPS 18062849 WITH SCORE 1.8090731552E7
AT ITER 626 NEW BEST:: SOT 127032022 SOS 27881475 HAS SOPS 27881475 HAS SOUS 18059034 HAS SOUPS 18059034 WITH SCORE 1.8086915475E7
AT ITER 646 NEW BEST:: SOT 127032022 SOS 27881239 HAS SOPS 27881239 HAS SOUS 18059034 HAS SOUPS 18059034 WITH SCORE 1.8086915239E7
AT ITER 719 NEW BEST:: SOT 127031956 SOS 27890658 HAS SOPS 27890658 HAS SOUS 18058901 HAS SOUPS 18058901 WITH SCORE 1.8086791658E7
AT ITER 720 NEW BEST:: SOT 127031956 SOS 27889776 HAS SOPS 27889776 HAS SOUS 18058607 HAS SOUPS 18058607 WITH SCORE 1.8086496776E7
AT ITER 763 NEW BEST:: SOT 127031847 SOS 27889558 HAS SOPS 27889558 HAS SOUS 18058389 HAS SOUPS 18058389 WITH SCORE 1.8086278558E7
AT ITER 776 NEW BEST:: SOT 127031847 SOS 27888886 HAS SOPS 27888886 HAS SOUS 18058165 HAS SOUPS 18058165 WITH SCORE 1.8086053886E7
AT ITER 811 NEW BEST:: SOT 127030579 SOS 27888441 HAS SOPS 27888441 HAS SOUS 18057720 HAS SOUPS 18057720 WITH SCORE 1.8085608441E7
AT ITER 819 NEW BEST:: SOT 127029359 SOS 27887224 HAS SOPS 27887224 HAS SOUS 18056503 HAS SOUPS 18056503 WITH SCORE 1.8084390224E7
AT ITER 820 NEW BEST:: SOT 126961594 SOS 27861034 HAS SOPS 27861034 HAS SOUS 17992869 HAS SOUPS 17992869 WITH SCORE 1.8020730034E7
AT ITER 826 NEW BEST:: SOT 126961594 SOS 27865761 HAS SOPS 27865761 HAS SOUS 17991291 HAS SOUPS 17991291 WITH SCORE 1.8019156761E7
AT ITER 864 NEW BEST:: SOT 126961064 SOS 27865750 HAS SOPS 27865750 HAS SOUS 17991280 HAS SOUPS 17991280 WITH SCORE 1.801914575E7
AT ITER 865 NEW BEST:: SOT 126961063 SOS 27865748 HAS SOPS 27865748 HAS SOUS 17991278 HAS SOUPS 17991278 WITH SCORE 1.8019143748E7
AT ITER 867 NEW BEST:: SOT 126961063 SOS 27866614 HAS SOPS 27866614 HAS SOUS 17991277 HAS SOUPS 17991277 WITH SCORE 1.8019143614E7
AT ITER 882 NEW BEST:: SOT 126959283 SOS 27870715 HAS SOPS 27870715 HAS SOUS 17987446 HAS SOUPS 17987446 WITH SCORE 1.8015316715E7
AT ITER 898 NEW BEST:: SOT 126960419 SOS 27870713 HAS SOPS 27870713 HAS SOUS 17987445 HAS SOUPS 17987445 WITH SCORE 1.8015315713E7
AT ITER 915 NEW BEST:: SOT 126960418 SOS 27870711 HAS SOPS 27870711 HAS SOUS 17987443 HAS SOUPS 17987443 WITH SCORE 1.8015313711E7
AT ITER 938 NEW BEST:: SOT 126959789 SOS 27869453 HAS SOPS 27869453 HAS SOUS 17985755 HAS SOUPS 17985755 WITH SCORE 1.8013624453E7
AT ITER 955 NEW BEST:: SOT 126959308 SOS 27868491 HAS SOPS 27868491 HAS SOUS 17984793 HAS SOUPS 17984793 WITH SCORE 1.8012661491E7
AT ITER 956 NEW BEST:: SOT 126958165 SOS 27866205 HAS SOPS 27866205 HAS SOUS 17982507 HAS SOUPS 17982507 WITH SCORE 1.8010373205E7
AT ITER 962 NEW BEST:: SOT 126956755 SOS 27865496 HAS SOPS 27865496 HAS SOUS 17981801 HAS SOUPS 17981801 WITH SCORE 1.8009666496E7
AT ITER 995 NEW BEST:: SOT 126955304 SOS 27864041 HAS SOPS 27864041 HAS SOUS 17980349 HAS SOUPS 17980349 WITH SCORE 1.8008213041E7
AT ITER 1011 NEW BEST:: SOT 126955304 SOS 27864041 HAS SOPS 27864041 HAS SOUS 17980348 HAS SOUPS 17980348 WITH SCORE 1.8008212041E7
AT ITER 1013 NEW BEST:: SOT 126955303 SOS 27862866 HAS SOPS 27862866 HAS SOUS 17979173 HAS SOUPS 17979173 WITH SCORE 1.8007035866E7
AT ITER 1040 NEW BEST:: SOT 126954286 SOS 27863880 HAS SOPS 27863880 HAS SOUS 17979171 HAS SOUPS 17979171 WITH SCORE 1.800703488E7
AT ITER 1064 NEW BEST:: SOT 126953423 SOS 27865161 HAS SOPS 27865161 HAS SOUS 17979040 HAS SOUPS 17979040 WITH SCORE 1.8006905161E7
AT ITER 1066 NEW BEST:: SOT 126953423 SOS 27865161 HAS SOPS 27865161 HAS SOUS 17978842 HAS SOUPS 17978842 WITH SCORE 1.8006707161E7
AT ITER 1072 NEW BEST:: SOT 126950081 SOS 27863490 HAS SOPS 27863490 HAS SOUS 17975500 HAS SOUPS 17975500 WITH SCORE 1.800336349E7
AT ITER 1157 NEW BEST:: SOT 126950080 SOS 27863488 HAS SOPS 27863488 HAS SOUS 17975498 HAS SOUPS 17975498 WITH SCORE 1.8003361488E7
AT ITER 1159 NEW BEST:: SOT 126948775 SOS 27860878 HAS SOPS 27860878 HAS SOUS 17972888 HAS SOUPS 17972888 WITH SCORE 1.8000748878E7
AT ITER 1168 NEW BEST:: SOT 126948574 SOS 27860476 HAS SOPS 27860476 HAS SOUS 17972486 HAS SOUPS 17972486 WITH SCORE 1.8000346476E7
AT ITER 1176 NEW BEST:: SOT 126947583 SOS 27858494 HAS SOPS 27858494 HAS SOUS 17970504 HAS SOUPS 17970504 WITH SCORE 1.7998362494E7
AT ITER 1177 NEW BEST:: SOT 126943981 SOS 27854263 HAS SOPS 27854263 HAS SOUS 17965110 HAS SOUPS 17965110 WITH SCORE 1.7992964263E7
AT ITER 1215 NEW BEST:: SOT 126943773 SOS 27854159 HAS SOPS 27854159 HAS SOUS 17965006 HAS SOUPS 17965006 WITH SCORE 1.7992860159E7
AT ITER 1218 NEW BEST:: SOT 126943579 SOS 27854062 HAS SOPS 27854062 HAS SOUS 17964909 HAS SOUPS 17964909 WITH SCORE 1.7992763062E7
AT ITER 1222 NEW BEST:: SOT 126943579 SOS 27854062 HAS SOPS 27854062 HAS SOUS 17964908 HAS SOUPS 17964908 WITH SCORE 1.7992762062E7
AT ITER 1225 NEW BEST:: SOT 126942820 SOS 27853303 HAS SOPS 27853303 HAS SOUS 17963390 HAS SOUPS 17963390 WITH SCORE 1.7991243303E7
AT ITER 1231 NEW BEST:: SOT 126940201 SOS 27850680 HAS SOPS 27850680 HAS SOUS 17960770 HAS SOUPS 17960770 WITH SCORE 1.798862068E7
AT ITER 1244 NEW BEST:: SOT 126939192 SOS 27850403 HAS SOPS 27850403 HAS SOUS 17960496 HAS SOUPS 17960496 WITH SCORE 1.7988346403E7
AT ITER 1258 NEW BEST:: SOT 126939192 SOS 27847967 HAS SOPS 27847967 HAS SOUS 17960495 HAS SOUPS 17960495 WITH SCORE 1.7988342967E7
AT ITER 1259 NEW BEST:: SOT 126937927 SOS 27846703 HAS SOPS 27846703 HAS SOUS 17959231 HAS SOUPS 17959231 WITH SCORE 1.7987077703E7
AT ITER 1271 NEW BEST:: SOT 126937927 SOS 27846540 HAS SOPS 27846540 HAS SOUS 17959231 HAS SOUPS 17959231 WITH SCORE 1.798707754E7
AT ITER 1294 NEW BEST:: SOT 126937926 SOS 27847451 HAS SOPS 27847451 HAS SOUS 17959228 HAS SOUPS 17959228 WITH SCORE 1.7987075451E7
AT ITER 1326 NEW BEST:: SOT 126937581 SOS 27846761 HAS SOPS 27846761 HAS SOUS 17958065 HAS SOUPS 17958065 WITH SCORE 1.7985911761E7
AT ITER 1342 NEW BEST:: SOT 126937581 SOS 27846761 HAS SOPS 27846761 HAS SOUS 17958064 HAS SOUPS 17958064 WITH SCORE 1.7985910761E7
AT ITER 1346 NEW BEST:: SOT 126935704 SOS 27844884 HAS SOPS 27844884 HAS SOUS 17956187 HAS SOUPS 17956187 WITH SCORE 1.7984031884E7
AT ITER 1347 NEW BEST:: SOT 126935704 SOS 27844870 HAS SOPS 27844870 HAS SOUS 17956173 HAS SOUPS 17956173 WITH SCORE 1.798401787E7
AT ITER 1348 NEW BEST:: SOT 126935704 SOS 27844870 HAS SOPS 27844870 HAS SOUS 17952968 HAS SOUPS 17952968 WITH SCORE 1.798081287E7
AT ITER 1350 NEW BEST:: SOT 126933048 SOS 27830264 HAS SOPS 27830264 HAS SOUS 17950753 HAS SOUPS 17950753 WITH SCORE 1.7978583264E7
AT ITER 1363 NEW BEST:: SOT 126932492 SOS 27829148 HAS SOPS 27829148 HAS SOUS 17949640 HAS SOUPS 17949640 WITH SCORE 1.7977469148E7
AT ITER 1368 NEW BEST:: SOT 126932492 SOS 27827847 HAS SOPS 27827847 HAS SOUS 17949640 HAS SOUPS 17949640 WITH SCORE 1.7977467847E7
AT ITER 1377 NEW BEST:: SOT 126932492 SOS 27827786 HAS SOPS 27827786 HAS SOUS 17949579 HAS SOUPS 17949579 WITH SCORE 1.7977406786E7
AT ITER 1381 NEW BEST:: SOT 126932491 SOS 27827784 HAS SOPS 27827784 HAS SOUS 17949577 HAS SOUPS 17949577 WITH SCORE 1.7977404784E7
AT ITER 1425 NEW BEST:: SOT 126931495 SOS 27828776 HAS SOPS 27828776 HAS SOUS 17949576 HAS SOUPS 17949576 WITH SCORE 1.7977404776E7
AT ITER 1451 NEW BEST:: SOT 126930586 SOS 27827867 HAS SOPS 27827867 HAS SOUS 17948667 HAS SOUPS 17948667 WITH SCORE 1.7976494867E7
AT ITER 1459 NEW BEST:: SOT 126929164 SOS 27829285 HAS SOPS 27829285 HAS SOUS 17945822 HAS SOUPS 17945822 WITH SCORE 1.7973651285E7
AT ITER 1472 NEW BEST:: SOT 126927373 SOS 27827490 HAS SOPS 27827490 HAS SOUS 17944030 HAS SOUPS 17944030 WITH SCORE 1.797185749E7
AT ITER 1488 NEW BEST:: SOT 126927119 SOS 27826982 HAS SOPS 27826982 HAS SOUS 17941762 HAS SOUPS 17941762 WITH SCORE 1.7969588982E7
AT ITER 1504 NEW BEST:: SOT 126919503 SOS 27825176 HAS SOPS 27825176 HAS SOUS 17939208 HAS SOUPS 17939208 WITH SCORE 1.7967033176E7
AT ITER 1507 NEW BEST:: SOT 126919501 SOS 27825172 HAS SOPS 27825172 HAS SOUS 17939204 HAS SOUPS 17939204 WITH SCORE 1.7967029172E7
AT ITER 1508 NEW BEST:: SOT 126919500 SOS 27825170 HAS SOPS 27825170 HAS SOUS 17939202 HAS SOUPS 17939202 WITH SCORE 1.796702717E7
AT ITER 1509 NEW BEST:: SOT 126851157 SOS 27811936 HAS SOPS 27811936 HAS SOUS 17874542 HAS SOUPS 17874542 WITH SCORE 1.7902353936E7
AT ITER 1526 NEW BEST:: SOT 126851156 SOS 27811934 HAS SOPS 27811934 HAS SOUS 17874540 HAS SOUPS 17874540 WITH SCORE 1.7902351934E7
AT ITER 1555 NEW BEST:: SOT 126849852 SOS 27809326 HAS SOPS 27809326 HAS SOUS 17871932 HAS SOUPS 17871932 WITH SCORE 1.7899741326E7
AT ITER 1570 NEW BEST:: SOT 126848868 SOS 27807358 HAS SOPS 27807358 HAS SOUS 17869964 HAS SOUPS 17869964 WITH SCORE 1.7897771358E7
AT ITER 1573 NEW BEST:: SOT 126847385 SOS 27807356 HAS SOPS 27807356 HAS SOUS 17869962 HAS SOUPS 17869962 WITH SCORE 1.7897769356E7
AT ITER 1577 NEW BEST:: SOT 126847385 SOS 27807356 HAS SOPS 27807356 HAS SOUS 17869961 HAS SOUPS 17869961 WITH SCORE 1.7897768356E7
AT ITER 1587 NEW BEST:: SOT 126845774 SOS 27805745 HAS SOPS 27805745 HAS SOUS 17868350 HAS SOUPS 17868350 WITH SCORE 1.7896155745E7
AT ITER 1599 NEW BEST:: SOT 126845485 SOS 27805167 HAS SOPS 27805167 HAS SOUS 17867772 HAS SOUPS 17867772 WITH SCORE 1.7895577167E7
AT ITER 1610 NEW BEST:: SOT 126845083 SOS 27804363 HAS SOPS 27804363 HAS SOUS 17866274 HAS SOUPS 17866274 WITH SCORE 1.7894078363E7
AT ITER 1621 NEW BEST:: SOT 126844552 SOS 27803301 HAS SOPS 27803301 HAS SOUS 17865212 HAS SOUPS 17865212 WITH SCORE 1.7893015301E7
AT ITER 1701 NEW BEST:: SOT 126844109 SOS 27802415 HAS SOPS 27802415 HAS SOUS 17864326 HAS SOUPS 17864326 WITH SCORE 1.7892128415E7
AT ITER 1724 NEW BEST:: SOT 126844109 SOS 27802114 HAS SOPS 27802114 HAS SOUS 17864326 HAS SOUPS 17864326 WITH SCORE 1.7892128114E7
AT ITER 1746 NEW BEST:: SOT 126843852 SOS 27801600 HAS SOPS 27801600 HAS SOUS 17863812 HAS SOUPS 17863812 WITH SCORE 1.78916136E7
AT ITER 1755 NEW BEST:: SOT 126843535 SOS 27800966 HAS SOPS 27800966 HAS SOUS 17863076 HAS SOUPS 17863076 WITH SCORE 1.7890876966E7
AT ITER 1781 NEW BEST:: SOT 126843535 SOS 27799441 HAS SOPS 27799441 HAS SOUS 17861551 HAS SOUPS 17861551 WITH SCORE 1.7889350441E7
AT ITER 1811 NEW BEST:: SOT 126843535 SOS 27799343 HAS SOPS 27799343 HAS SOUS 17861453 HAS SOUPS 17861453 WITH SCORE 1.7889252343E7
AT ITER 1812 NEW BEST:: SOT 126841029 SOS 27799305 HAS SOPS 27799305 HAS SOUS 17861415 HAS SOUPS 17861415 WITH SCORE 1.7889214305E7
AT ITER 1835 NEW BEST:: SOT 126840954 SOS 27799304 HAS SOPS 27799304 HAS SOUS 17861414 HAS SOUPS 17861414 WITH SCORE 1.7889213304E7
AT ITER 1867 NEW BEST:: SOT 126840954 SOS 27796163 HAS SOPS 27796163 HAS SOUS 17861414 HAS SOUPS 17861414 WITH SCORE 1.7889210163E7
AT ITER 1872 NEW BEST:: SOT 126838854 SOS 27789863 HAS SOPS 27789863 HAS SOUS 17858264 HAS SOUPS 17858264 WITH SCORE 1.7886053863E7
AT ITER 1887 NEW BEST:: SOT 126838854 SOS 27793777 HAS SOPS 27793777 HAS SOUS 17856957 HAS SOUPS 17856957 WITH SCORE 1.7884750777E7
AT ITER 1915 NEW BEST:: SOT 126838816 SOS 27793701 HAS SOPS 27793701 HAS SOUS 17856881 HAS SOUPS 17856881 WITH SCORE 1.7884674701E7
AT ITER 1922 NEW BEST:: SOT 126838635 SOS 27793339 HAS SOPS 27793339 HAS SOUS 17854801 HAS SOUPS 17854801 WITH SCORE 1.7882594339E7
AT ITER 1949 NEW BEST:: SOT 126837194 SOS 27791888 HAS SOPS 27791888 HAS SOUS 17853359 HAS SOUPS 17853359 WITH SCORE 1.7881150888E7
AT ITER 1950 NEW BEST:: SOT 126837194 SOS 27791092 HAS SOPS 27791092 HAS SOUS 17853359 HAS SOUPS 17853359 WITH SCORE 1.7881150092E7
AT ITER 2012 NEW BEST:: SOT 126837194 SOS 27791092 HAS SOPS 27791092 HAS SOUS 17851681 HAS SOUPS 17851681 WITH SCORE 1.7879472092E7
AT ITER 2031 NEW BEST:: SOT 126808454 SOS 27914032 HAS SOPS 27914032 HAS SOUS 17827117 HAS SOUPS 17827117 WITH SCORE 1.7855031032E7
AT ITER 2092 NEW BEST:: SOT 126807196 SOS 27911516 HAS SOPS 27911516 HAS SOUS 17825859 HAS SOUPS 17825859 WITH SCORE 1.7853770516E7
AT ITER 2094 NEW BEST:: SOT 126806698 SOS 27910516 HAS SOPS 27910516 HAS SOUS 17824862 HAS SOUPS 17824862 WITH SCORE 1.7852772516E7
AT ITER 2103 NEW BEST:: SOT 126807873 SOS 27912866 HAS SOPS 27912866 HAS SOUS 17824197 HAS SOUPS 17824197 WITH SCORE 1.7852109866E7
AT ITER 2108 NEW BEST:: SOT 126807873 SOS 27912719 HAS SOPS 27912719 HAS SOUS 17824197 HAS SOUPS 17824197 WITH SCORE 1.7852109719E7
AT ITER 2141 NEW BEST:: SOT 126799671 SOS 27897519 HAS SOPS 27897519 HAS SOUS 17815169 HAS SOUPS 17815169 WITH SCORE 1.7843066519E7
AT ITER 2151 NEW BEST:: SOT 126798780 SOS 27896628 HAS SOPS 27896628 HAS SOUS 17814278 HAS SOUPS 17814278 WITH SCORE 1.7842174628E7
AT ITER 2183 NEW BEST:: SOT 126798779 SOS 27896626 HAS SOPS 27896626 HAS SOUS 17814276 HAS SOUPS 17814276 WITH SCORE 1.7842172626E7
AT ITER 2198 NEW BEST:: SOT 126798779 SOS 27896460 HAS SOPS 27896460 HAS SOUS 17814110 HAS SOUPS 17814110 WITH SCORE 1.784200646E7
AT ITER 2201 NEW BEST:: SOT 126785550 SOS 27888020 HAS SOPS 27888020 HAS SOUS 17807428 HAS SOUPS 17807428 WITH SCORE 1.783531602E7
AT ITER 2212 NEW BEST:: SOT 126785088 SOS 27887096 HAS SOPS 27887096 HAS SOUS 17805990 HAS SOUPS 17805990 WITH SCORE 1.7833877096E7
AT ITER 2253 NEW BEST:: SOT 126782865 SOS 27889937 HAS SOPS 27889937 HAS SOUS 17803869 HAS SOUPS 17803869 WITH SCORE 1.7831758937E7
AT ITER 2256 NEW BEST:: SOT 126781649 SOS 27888949 HAS SOPS 27888949 HAS SOUS 17802881 HAS SOUPS 17802881 WITH SCORE 1.7830769949E7
AT ITER 2265 NEW BEST:: SOT 126775910 SOS 27889705 HAS SOPS 27889705 HAS SOUS 17799310 HAS SOUPS 17799310 WITH SCORE 1.7827199705E7
AT ITER 2285 NEW BEST:: SOT 126775871 SOS 27898345 HAS SOPS 27898345 HAS SOUS 17799232 HAS SOUPS 17799232 WITH SCORE 1.7827130345E7
AT ITER 2296 NEW BEST:: SOT 126774460 SOS 27895523 HAS SOPS 27895523 HAS SOUS 17796410 HAS SOUPS 17796410 WITH SCORE 1.7824305523E7
AT ITER 2302 NEW BEST:: SOT 126774459 SOS 27895521 HAS SOPS 27895521 HAS SOUS 17796408 HAS SOUPS 17796408 WITH SCORE 1.7824303521E7
AT ITER 2337 NEW BEST:: SOT 126772660 SOS 27893718 HAS SOPS 27893718 HAS SOUS 17794608 HAS SOUPS 17794608 WITH SCORE 1.7822501718E7
AT ITER 2368 NEW BEST:: SOT 126771870 SOS 27892928 HAS SOPS 27892928 HAS SOUS 17793818 HAS SOUPS 17793818 WITH SCORE 1.7821710928E7
AT ITER 2381 NEW BEST:: SOT 126771520 SOS 27892229 HAS SOPS 27892229 HAS SOUS 17793119 HAS SOUPS 17793119 WITH SCORE 1.7821011229E7
AT ITER 2397 NEW BEST:: SOT 126771520 SOS 27893034 HAS SOPS 27893034 HAS SOUS 17793118 HAS SOUPS 17793118 WITH SCORE 1.7821011034E7
AT ITER 2405 NEW BEST:: SOT 126771519 SOS 27893032 HAS SOPS 27893032 HAS SOUS 17793116 HAS SOUPS 17793116 WITH SCORE 1.7821009032E7
AT ITER 2407 NEW BEST:: SOT 126769132 SOS 27892074 HAS SOPS 27892074 HAS SOUS 17792158 HAS SOUPS 17792158 WITH SCORE 1.7820050074E7
AT ITER 2410 NEW BEST:: SOT 126768413 SOS 27892793 HAS SOPS 27892793 HAS SOUS 17792157 HAS SOUPS 17792157 WITH SCORE 1.7820049793E7
AT ITER 2417 NEW BEST:: SOT 126766764 SOS 27895437 HAS SOPS 27895437 HAS SOUS 17791160 HAS SOUPS 17791160 WITH SCORE 1.7819055437E7
AT ITER 2435 NEW BEST:: SOT 126765055 SOS 27884669 HAS SOPS 27884669 HAS SOUS 17789450 HAS SOUPS 17789450 WITH SCORE 1.7817334669E7
AT ITER 2501 NEW BEST:: SOT 126764049 SOS 27882597 HAS SOPS 27882597 HAS SOUS 17787808 HAS SOUPS 17787808 WITH SCORE 1.7815690597E7
AT ITER 2517 NEW BEST:: SOT 126763944 SOS 27882387 HAS SOPS 27882387 HAS SOUS 17787598 HAS SOUPS 17787598 WITH SCORE 1.7815480387E7
AT ITER 2530 NEW BEST:: SOT 126763793 SOS 27882085 HAS SOPS 27882085 HAS SOUS 17787296 HAS SOUPS 17787296 WITH SCORE 1.7815178085E7
AT ITER 2537 NEW BEST:: SOT 126762456 SOS 27880748 HAS SOPS 27880748 HAS SOUS 17785959 HAS SOUPS 17785959 WITH SCORE 1.7813839748E7
AT ITER 2546 NEW BEST:: SOT 126759702 SOS 27875240 HAS SOPS 27875240 HAS SOUS 17780451 HAS SOUPS 17780451 WITH SCORE 1.780832624E7
AT ITER 2561 NEW BEST:: SOT 126759312 SOS 27875630 HAS SOPS 27875630 HAS SOUS 17780061 HAS SOUPS 17780061 WITH SCORE 1.780793663E7
AT ITER 2564 NEW BEST:: SOT 126759208 SOS 27875422 HAS SOPS 27875422 HAS SOUS 17779814 HAS SOUPS 17779814 WITH SCORE 1.7807689422E7
AT ITER 2581 NEW BEST:: SOT 126759207 SOS 27875421 HAS SOPS 27875421 HAS SOUS 17779813 HAS SOUPS 17779813 WITH SCORE 1.7807688421E7
AT ITER 2593 NEW BEST:: SOT 126757463 SOS 27866701 HAS SOPS 27866701 HAS SOUS 17776325 HAS SOUPS 17776325 WITH SCORE 1.7804191701E7
AT ITER 2603 NEW BEST:: SOT 126756853 SOS 27865481 HAS SOPS 27865481 HAS SOUS 17775715 HAS SOUPS 17775715 WITH SCORE 1.7803580481E7
AT ITER 2604 NEW BEST:: SOT 126746161 SOS 27857705 HAS SOPS 27857705 HAS SOUS 17769883 HAS SOUPS 17769883 WITH SCORE 1.7797740705E7
AT ITER 2612 NEW BEST:: SOT 126745922 SOS 27857702 HAS SOPS 27857702 HAS SOUS 17769882 HAS SOUPS 17769882 WITH SCORE 1.7797739702E7
AT ITER 2624 NEW BEST:: SOT 126744688 SOS 27856800 HAS SOPS 27856800 HAS SOUS 17768980 HAS SOUPS 17768980 WITH SCORE 1.77968368E7
AT ITER 2657 NEW BEST:: SOT 126743428 SOS 27855540 HAS SOPS 27855540 HAS SOUS 17767720 HAS SOUPS 17767720 WITH SCORE 1.779557554E7
AT ITER 2696 NEW BEST:: SOT 126742970 SOS 27855307 HAS SOPS 27855307 HAS SOUS 17767490 HAS SOUPS 17767490 WITH SCORE 1.7795345307E7
AT ITER 2701 NEW BEST:: SOT 126742338 SOS 27854043 HAS SOPS 27854043 HAS SOUS 17766226 HAS SOUPS 17766226 WITH SCORE 1.7794080043E7
AT ITER 2736 NEW BEST:: SOT 126742338 SOS 27854864 HAS SOPS 27854864 HAS SOUS 17766225 HAS SOUPS 17766225 WITH SCORE 1.7794079864E7
AT ITER 2759 NEW BEST:: SOT 126741297 SOS 27854145 HAS SOPS 27854145 HAS SOUS 17765278 HAS SOUPS 17765278 WITH SCORE 1.7793132145E7
AT ITER 2762 NEW BEST:: SOT 126738853 SOS 27849257 HAS SOPS 27849257 HAS SOUS 17763182 HAS SOUPS 17763182 WITH SCORE 1.7791031257E7
AT ITER 2813 NEW BEST:: SOT 126729372 SOS 27851057 HAS SOPS 27851057 HAS SOUS 17761696 HAS SOUPS 17761696 WITH SCORE 1.7789547057E7
AT ITER 2814 NEW BEST:: SOT 126730192 SOS 27851055 HAS SOPS 27851055 HAS SOUS 17761695 HAS SOUPS 17761695 WITH SCORE 1.7789546055E7
AT ITER 2875 NEW BEST:: SOT 126729895 SOS 27850261 HAS SOPS 27850261 HAS SOUS 17760901 HAS SOUPS 17760901 WITH SCORE 1.7788751261E7
AT ITER 2894 NEW BEST:: SOT 126730538 SOS 27848091 HAS SOPS 27848091 HAS SOUS 17760713 HAS SOUPS 17760713 WITH SCORE 1.7788561091E7
AT ITER 2905 NEW BEST:: SOT 126728861 SOS 27846410 HAS SOPS 27846410 HAS SOUS 17759035 HAS SOUPS 17759035 WITH SCORE 1.778688141E7
AT ITER 2932 NEW BEST:: SOT 126727128 SOS 27843593 HAS SOPS 27843593 HAS SOUS 17756218 HAS SOUPS 17756218 WITH SCORE 1.7784061593E7
AT ITER 2939 NEW BEST:: SOT 126727127 SOS 27843591 HAS SOPS 27843591 HAS SOUS 17756216 HAS SOUPS 17756216 WITH SCORE 1.7784059591E7
AT ITER 2961 NEW BEST:: SOT 126726552 SOS 27843016 HAS SOPS 27843016 HAS SOUS 17755641 HAS SOUPS 17755641 WITH SCORE 1.7783484016E7
AT ITER 2964 NEW BEST:: SOT 126725001 SOS 27841219 HAS SOPS 27841219 HAS SOUS 17754089 HAS SOUPS 17754089 WITH SCORE 1.7781930219E7
AT ITER 2977 NEW BEST:: SOT 126723145 SOS 27839363 HAS SOPS 27839363 HAS SOUS 17752233 HAS SOUPS 17752233 WITH SCORE 1.7780072363E7
AT ITER 2994 NEW BEST:: SOT 126722466 SOS 27840707 HAS SOPS 27840707 HAS SOUS 17751552 HAS SOUPS 17751552 WITH SCORE 1.7779392707E7
AT ITER 2998 NEW BEST:: SOT 126721580 SOS 27839744 HAS SOPS 27839744 HAS SOUS 17750665 HAS SOUPS 17750665 WITH SCORE 1.7778504744E7
AT ITER 3042 NEW BEST:: SOT 126720987 SOS 27838558 HAS SOPS 27838558 HAS SOUS 17748591 HAS SOUPS 17748591 WITH SCORE 1.7776429558E7
AT ITER 3067 NEW BEST:: SOT 126720987 SOS 27841954 HAS SOPS 27841954 HAS SOUS 17747838 HAS SOUPS 17747838 WITH SCORE 1.7775679954E7
AT ITER 3069 NEW BEST:: SOT 126719154 SOS 27838288 HAS SOPS 27838288 HAS SOUS 17742987 HAS SOUPS 17742987 WITH SCORE 1.7770825288E7
AT ITER 3113 NEW BEST:: SOT 126719154 SOS 27837211 HAS SOPS 27837211 HAS SOUS 17742987 HAS SOUPS 17742987 WITH SCORE 1.7770824211E7
AT ITER 3153 NEW BEST:: SOT 126720188 SOS 27863317 HAS SOPS 27863317 HAS SOUS 17742900 HAS SOUPS 17742900 WITH SCORE 1.7770763317E7
AT ITER 3158 NEW BEST:: SOT 126720471 SOS 27863883 HAS SOPS 27863883 HAS SOUS 17741691 HAS SOUPS 17741691 WITH SCORE 1.7769554883E7
AT ITER 3167 NEW BEST:: SOT 126720143 SOS 27863555 HAS SOPS 27863555 HAS SOUS 17741363 HAS SOUPS 17741363 WITH SCORE 1.7769226555E7
AT ITER 3172 NEW BEST:: SOT 126719620 SOS 27864597 HAS SOPS 27864597 HAS SOUS 17740839 HAS SOUPS 17740839 WITH SCORE 1.7768703597E7
AT ITER 3183 NEW BEST:: SOT 126712165 SOS 27857436 HAS SOPS 27857436 HAS SOUS 17736555 HAS SOUPS 17736555 WITH SCORE 1.7764412436E7
AT ITER 3189 NEW BEST:: SOT 126712165 SOS 27856890 HAS SOPS 27856890 HAS SOUS 17736555 HAS SOUPS 17736555 WITH SCORE 1.776441189E7
AT ITER 3220 NEW BEST:: SOT 126714366 SOS 27859339 HAS SOPS 27859339 HAS SOUS 17735603 HAS SOUPS 17735603 WITH SCORE 1.7763462339E7
AT ITER 3303 NEW BEST:: SOT 126714366 SOS 27859339 HAS SOPS 27859339 HAS SOUS 17735504 HAS SOUPS 17735504 WITH SCORE 1.7763363339E7
AT ITER 3326 NEW BEST:: SOT 126714753 SOS 27860113 HAS SOPS 27860113 HAS SOUS 17733824 HAS SOUPS 17733824 WITH SCORE 1.7761684113E7
AT ITER 3345 NEW BEST:: SOT 126714365 SOS 27859337 HAS SOPS 27859337 HAS SOUS 17733048 HAS SOUPS 17733048 WITH SCORE 1.7760907337E7
AT ITER 3373 NEW BEST:: SOT 126714365 SOS 27859143 HAS SOPS 27859143 HAS SOUS 17733048 HAS SOUPS 17733048 WITH SCORE 1.7760907143E7
AT ITER 3383 NEW BEST:: SOT 126713594 SOS 27858372 HAS SOPS 27858372 HAS SOUS 17732277 HAS SOUPS 17732277 WITH SCORE 1.7760135372E7
AT ITER 3389 NEW BEST:: SOT 126713252 SOS 27857688 HAS SOPS 27857688 HAS SOUS 17731939 HAS SOUPS 17731939 WITH SCORE 1.7759796688E7
AT ITER 3391 NEW BEST:: SOT 126713251 SOS 27857686 HAS SOPS 27857686 HAS SOUS 17731937 HAS SOUPS 17731937 WITH SCORE 1.7759794686E7
AT ITER 3415 NEW BEST:: SOT 126712343 SOS 27857232 HAS SOPS 27857232 HAS SOUS 17731483 HAS SOUPS 17731483 WITH SCORE 1.7759340232E7
AT ITER 3426 NEW BEST:: SOT 126712063 SOS 27856672 HAS SOPS 27856672 HAS SOUS 17730923 HAS SOUPS 17730923 WITH SCORE 1.7758779672E7
AT ITER 3490 NEW BEST:: SOT 126712062 SOS 27856924 HAS SOPS 27856924 HAS SOUS 17730921 HAS SOUPS 17730921 WITH SCORE 1.7758777924E7
AT ITER 3508 NEW BEST:: SOT 126707865 SOS 27855022 HAS SOPS 27855022 HAS SOUS 17728888 HAS SOUPS 17728888 WITH SCORE 1.7756743022E7
AT ITER 3520 NEW BEST:: SOT 126707865 SOS 27855022 HAS SOPS 27855022 HAS SOUS 17728887 HAS SOUPS 17728887 WITH SCORE 1.7756742022E7
AT ITER 3528 NEW BEST:: SOT 126707206 SOS 27853704 HAS SOPS 27853704 HAS SOUS 17727569 HAS SOUPS 17727569 WITH SCORE 1.7755422704E7
AT ITER 3529 NEW BEST:: SOT 126705888 SOS 27851069 HAS SOPS 27851069 HAS SOUS 17724934 HAS SOUPS 17724934 WITH SCORE 1.7752785069E7
AT ITER 3558 NEW BEST:: SOT 126705434 SOS 27850615 HAS SOPS 27850615 HAS SOUS 17724480 HAS SOUPS 17724480 WITH SCORE 1.7752330615E7
AT ITER 3580 NEW BEST:: SOT 126704826 SOS 27850003 HAS SOPS 27850003 HAS SOUS 17723871 HAS SOUPS 17723871 WITH SCORE 1.7751721003E7
AT ITER 3625 NEW BEST:: SOT 126704826 SOS 27850003 HAS SOPS 27850003 HAS SOUS 17723870 HAS SOUPS 17723870 WITH SCORE 1.7751720003E7
AT ITER 3626 NEW BEST:: SOT 126703228 SOS 27848405 HAS SOPS 27848405 HAS SOUS 17722272 HAS SOUPS 17722272 WITH SCORE 1.7750120405E7
AT ITER 3632 NEW BEST:: SOT 126703228 SOS 27849413 HAS SOPS 27849413 HAS SOUS 17722270 HAS SOUPS 17722270 WITH SCORE 1.7750119413E7
AT ITER 3660 NEW BEST:: SOT 126701491 SOS 27850274 HAS SOPS 27850274 HAS SOUS 17721400 HAS SOUPS 17721400 WITH SCORE 1.7749250274E7
AT ITER 3685 NEW BEST:: SOT 126701491 SOS 27848402 HAS SOPS 27848402 HAS SOUS 17720776 HAS SOUPS 17720776 WITH SCORE 1.7748624402E7
AT ITER 3708 NEW BEST:: SOT 126697957 SOS 27848177 HAS SOPS 27848177 HAS SOUS 17720468 HAS SOUPS 17720468 WITH SCORE 1.7748316177E7
AT ITER 3713 NEW BEST:: SOT 126696444 SOS 27845151 HAS SOPS 27845151 HAS SOUS 17718577 HAS SOUPS 17718577 WITH SCORE 1.7746422151E7
AT ITER 3727 NEW BEST:: SOT 126695848 SOS 27844555 HAS SOPS 27844555 HAS SOUS 17717981 HAS SOUPS 17717981 WITH SCORE 1.7745825555E7
AT ITER 3739 NEW BEST:: SOT 126692657 SOS 27843957 HAS SOPS 27843957 HAS SOUS 17717383 HAS SOUPS 17717383 WITH SCORE 1.7745226957E7
AT ITER 3746 NEW BEST:: SOT 126689886 SOS 27851552 HAS SOPS 27851552 HAS SOUS 17715391 HAS SOUPS 17715391 WITH SCORE 1.7743242552E7
AT ITER 3777 NEW BEST:: SOT 126688559 SOS 27843435 HAS SOPS 27843435 HAS SOUS 17712737 HAS SOUPS 17712737 WITH SCORE 1.7740580435E7
AT ITER 3781 NEW BEST:: SOT 126688559 SOS 27843435 HAS SOPS 27843435 HAS SOUS 17712736 HAS SOUPS 17712736 WITH SCORE 1.7740579435E7
AT ITER 3782 NEW BEST:: SOT 126687808 SOS 27843431 HAS SOPS 27843431 HAS SOUS 17711984 HAS SOUPS 17711984 WITH SCORE 1.7739827431E7
AT ITER 3788 NEW BEST:: SOT 126686144 SOS 27840103 HAS SOPS 27840103 HAS SOUS 17708656 HAS SOUPS 17708656 WITH SCORE 1.7736496103E7
AT ITER 3793 NEW BEST:: SOT 126684858 SOS 27833673 HAS SOPS 27833673 HAS SOUS 17706084 HAS SOUPS 17706084 WITH SCORE 1.7733917673E7
AT ITER 3801 NEW BEST:: SOT 126684858 SOS 27833673 HAS SOPS 27833673 HAS SOUS 17704481 HAS SOUPS 17704481 WITH SCORE 1.7732314673E7
AT ITER 3804 NEW BEST:: SOT 126684858 SOS 27833673 HAS SOPS 27833673 HAS SOUS 17704480 HAS SOUPS 17704480 WITH SCORE 1.7732313673E7
AT ITER 3808 NEW BEST:: SOT 126684858 SOS 27833147 HAS SOPS 27833147 HAS SOUS 17703954 HAS SOUPS 17703954 WITH SCORE 1.7731787147E7
AT ITER 3809 NEW BEST:: SOT 126683859 SOS 27832148 HAS SOPS 27832148 HAS SOUS 17702955 HAS SOUPS 17702955 WITH SCORE 1.7730787148E7
AT ITER 3811 NEW BEST:: SOT 126683308 SOS 27831597 HAS SOPS 27831597 HAS SOUS 17702404 HAS SOUPS 17702404 WITH SCORE 1.7730235597E7
AT ITER 3821 NEW BEST:: SOT 126683069 SOS 27831119 HAS SOPS 27831119 HAS SOUS 17702165 HAS SOUPS 17702165 WITH SCORE 1.7729996119E7
AT ITER 3845 NEW BEST:: SOT 126682850 SOS 27831254 HAS SOPS 27831254 HAS SOUS 17702137 HAS SOUPS 17702137 WITH SCORE 1.7729968254E7
AT ITER 3848 NEW BEST:: SOT 126682001 SOS 27829556 HAS SOPS 27829556 HAS SOUS 17700439 HAS SOUPS 17700439 WITH SCORE 1.7728268556E7
AT ITER 3857 NEW BEST:: SOT 126682001 SOS 27829556 HAS SOPS 27829556 HAS SOUS 17699666 HAS SOUPS 17699666 WITH SCORE 1.7727495556E7
AT ITER 3863 NEW BEST:: SOT 126681031 SOS 27828586 HAS SOPS 27828586 HAS SOUS 17698696 HAS SOUPS 17698696 WITH SCORE 1.7726524586E7
AT ITER 3915 NEW BEST:: SOT 126679704 SOS 27825932 HAS SOPS 27825932 HAS SOUS 17694391 HAS SOUPS 17694391 WITH SCORE 1.7722216932E7
AT ITER 3916 NEW BEST:: SOT 126679704 SOS 27828310 HAS SOPS 27828310 HAS SOUS 17694011 HAS SOUPS 17694011 WITH SCORE 1.772183931E7
AT ITER 3950 NEW BEST:: SOT 126679613 SOS 27828128 HAS SOPS 27828128 HAS SOUS 17692782 HAS SOUPS 17692782 WITH SCORE 1.7720610128E7
AT ITER 3953 NEW BEST:: SOT 126678780 SOS 27827520 HAS SOPS 27827520 HAS SOUS 17692174 HAS SOUPS 17692174 WITH SCORE 1.772000152E7
AT ITER 3957 NEW BEST:: SOT 126676338 SOS 27826299 HAS SOPS 27826299 HAS SOUS 17689732 HAS SOUPS 17689732 WITH SCORE 1.7717558299E7
AT ITER 3963 NEW BEST:: SOT 126671652 SOS 27822891 HAS SOPS 27822891 HAS SOUS 17687176 HAS SOUPS 17687176 WITH SCORE 1.7714998891E7
AT ITER 4012 NEW BEST:: SOT 126668945 SOS 27821333 HAS SOPS 27821333 HAS SOUS 17685618 HAS SOUPS 17685618 WITH SCORE 1.7713439333E7
AT ITER 4028 NEW BEST:: SOT 126668537 SOS 27822145 HAS SOPS 27822145 HAS SOUS 17685617 HAS SOUPS 17685617 WITH SCORE 1.7713439145E7
AT ITER 4053 NEW BEST:: SOT 126667809 SOS 27820689 HAS SOPS 27820689 HAS SOUS 17684161 HAS SOUPS 17684161 WITH SCORE 1.7711981689E7
AT ITER 4054 NEW BEST:: SOT 126667115 SOS 27822073 HAS SOPS 27822073 HAS SOUS 17683466 HAS SOUPS 17683466 WITH SCORE 1.7711288073E7
AT ITER 4064 NEW BEST:: SOT 126666368 SOS 27820579 HAS SOPS 27820579 HAS SOUS 17681972 HAS SOUPS 17681972 WITH SCORE 1.7709792579E7
AT ITER 4065 NEW BEST:: SOT 126666368 SOS 27820579 HAS SOPS 27820579 HAS SOUS 17681969 HAS SOUPS 17681969 WITH SCORE 1.7709789579E7
AT ITER 4066 NEW BEST:: SOT 126666041 SOS 27829959 HAS SOPS 27829959 HAS SOUS 17681314 HAS SOUPS 17681314 WITH SCORE 1.7709143959E7
AT ITER 4069 NEW BEST:: SOT 126666041 SOS 27833934 HAS SOPS 27833934 HAS SOUS 17681275 HAS SOUPS 17681275 WITH SCORE 1.7709108934E7
AT ITER 4075 NEW BEST:: SOT 126667185 SOS 27836162 HAS SOPS 27836162 HAS SOUS 17680407 HAS SOUPS 17680407 WITH SCORE 1.7708243162E7
AT ITER 4079 NEW BEST:: SOT 126667133 SOS 27836110 HAS SOPS 27836110 HAS SOUS 17680407 HAS SOUPS 17680407 WITH SCORE 1.770824311E7
AT ITER 4149 NEW BEST:: SOT 126662479 SOS 27833783 HAS SOPS 27833783 HAS SOUS 17678080 HAS SOUPS 17678080 WITH SCORE 1.7705913783E7
AT ITER 4160 NEW BEST:: SOT 126661370 SOS 27832928 HAS SOPS 27832928 HAS SOUS 17677100 HAS SOUPS 17677100 WITH SCORE 1.7704932928E7
AT ITER 4165 NEW BEST:: SOT 126661164 SOS 27837732 HAS SOPS 27837732 HAS SOUS 17676400 HAS SOUPS 17676400 WITH SCORE 1.7704237732E7
AT ITER 4170 NEW BEST:: SOT 126660784 SOS 27837949 HAS SOPS 27837949 HAS SOUS 17675831 HAS SOUPS 17675831 WITH SCORE 1.7703668949E7
AT ITER 4191 NEW BEST:: SOT 126660583 SOS 27837547 HAS SOPS 27837547 HAS SOUS 17675429 HAS SOUPS 17675429 WITH SCORE 1.7703266547E7
AT ITER 4217 NEW BEST:: SOT 126660508 SOS 27837472 HAS SOPS 27837472 HAS SOUS 17675354 HAS SOUPS 17675354 WITH SCORE 1.7703191472E7
AT ITER 4219 NEW BEST:: SOT 126659135 SOS 27836320 HAS SOPS 27836320 HAS SOUS 17674263 HAS SOUPS 17674263 WITH SCORE 1.770209932E7
AT ITER 4225 NEW BEST:: SOT 126659135 SOS 27836320 HAS SOPS 27836320 HAS SOUS 17674262 HAS SOUPS 17674262 WITH SCORE 1.770209832E7
AT ITER 4258 NEW BEST:: SOT 126658456 SOS 27836995 HAS SOPS 27836995 HAS SOUS 17674261 HAS SOUPS 17674261 WITH SCORE 1.7702097995E7
AT ITER 4291 NEW BEST:: SOT 126657956 SOS 27835995 HAS SOPS 27835995 HAS SOUS 17673261 HAS SOUPS 17673261 WITH SCORE 1.7701096995E7
AT ITER 4298 NEW BEST:: SOT 126657956 SOS 27834694 HAS SOPS 27834694 HAS SOUS 17673261 HAS SOUPS 17673261 WITH SCORE 1.7701095694E7
AT ITER 4299 NEW BEST:: SOT 126657771 SOS 27835979 HAS SOPS 27835979 HAS SOUS 17672890 HAS SOUPS 17672890 WITH SCORE 1.7700725979E7
AT ITER 4302 NEW BEST:: SOT 126657771 SOS 27835979 HAS SOPS 27835979 HAS SOUS 17672889 HAS SOUPS 17672889 WITH SCORE 1.7700724979E7
AT ITER 4342 NEW BEST:: SOT 126657482 SOS 27841889 HAS SOPS 27841889 HAS SOUS 17672310 HAS SOUPS 17672310 WITH SCORE 1.7700151889E7
AT ITER 4350 NEW BEST:: SOT 126657482 SOS 27841889 HAS SOPS 27841889 HAS SOUS 17669761 HAS SOUPS 17669761 WITH SCORE 1.7697602889E7
AT ITER 4392 NEW BEST:: SOT 126657482 SOS 27845281 HAS SOPS 27845281 HAS SOUS 17669382 HAS SOUPS 17669382 WITH SCORE 1.7697227281E7
AT ITER 4396 NEW BEST:: SOT 126656436 SOS 27843190 HAS SOPS 27843190 HAS SOUS 17667291 HAS SOUPS 17667291 WITH SCORE 1.769513419E7
AT ITER 4404 NEW BEST:: SOT 126653092 SOS 27840758 HAS SOPS 27840758 HAS SOUS 17665467 HAS SOUPS 17665467 WITH SCORE 1.7693307758E7
AT ITER 4452 NEW BEST:: SOT 126653092 SOS 27839339 HAS SOPS 27839339 HAS SOUS 17665467 HAS SOUPS 17665467 WITH SCORE 1.7693306339E7
AT ITER 4457 NEW BEST:: SOT 126651873 SOS 27778386 HAS SOPS 27778386 HAS SOUS 17663028 HAS SOUPS 17663028 WITH SCORE 1.7690806386E7
AT ITER 4474 NEW BEST:: SOT 126651466 SOS 27783178 HAS SOPS 27783178 HAS SOUS 17662853 HAS SOUPS 17662853 WITH SCORE 1.7690636178E7
AT ITER 4481 NEW BEST:: SOT 126651226 SOS 27783058 HAS SOPS 27783058 HAS SOUS 17662733 HAS SOUPS 17662733 WITH SCORE 1.7690516058E7
AT ITER 4501 NEW BEST:: SOT 126651226 SOS 27783058 HAS SOPS 27783058 HAS SOUS 17660067 HAS SOUPS 17660067 WITH SCORE 1.7687850058E7
AT ITER 4502 NEW BEST:: SOT 126650837 SOS 27782280 HAS SOPS 27782280 HAS SOUS 17659474 HAS SOUPS 17659474 WITH SCORE 1.768725628E7
AT ITER 4524 NEW BEST:: SOT 126650837 SOS 27782898 HAS SOPS 27782898 HAS SOUS 17659473 HAS SOUPS 17659473 WITH SCORE 1.7687255898E7
AT ITER 4535 NEW BEST:: SOT 126650691 SOS 27782752 HAS SOPS 27782752 HAS SOUS 17659327 HAS SOUPS 17659327 WITH SCORE 1.7687109752E7
AT ITER 4536 NEW BEST:: SOT 126649851 SOS 27781732 HAS SOPS 27781732 HAS SOUS 17658486 HAS SOUPS 17658486 WITH SCORE 1.7686267732E7
AT ITER 4538 NEW BEST:: SOT 126648337 SOS 27781081 HAS SOPS 27781081 HAS SOUS 17657301 HAS SOUPS 17657301 WITH SCORE 1.7685082081E7
AT ITER 4583 NEW BEST:: SOT 126649245 SOS 27781225 HAS SOPS 27781225 HAS SOUS 17656536 HAS SOUPS 17656536 WITH SCORE 1.7684317225E7
AT ITER 4595 NEW BEST:: SOT 126649723 SOS 27778647 HAS SOPS 27778647 HAS SOUS 17656250 HAS SOUPS 17656250 WITH SCORE 1.7684028647E7
AT ITER 4606 NEW BEST:: SOT 126650256 SOS 27779713 HAS SOPS 27779713 HAS SOUS 17654213 HAS SOUPS 17654213 WITH SCORE 1.7681992713E7
AT ITER 4622 NEW BEST:: SOT 126650244 SOS 27779689 HAS SOPS 27779689 HAS SOUS 17654201 HAS SOUPS 17654201 WITH SCORE 1.7681980689E7
AT ITER 4631 NEW BEST:: SOT 126649313 SOS 27777827 HAS SOPS 27777827 HAS SOUS 17652339 HAS SOUPS 17652339 WITH SCORE 1.7680116827E7
AT ITER 4652 NEW BEST:: SOT 126649313 SOS 27777827 HAS SOPS 27777827 HAS SOUS 17652338 HAS SOUPS 17652338 WITH SCORE 1.7680115827E7
AT ITER 4684 NEW BEST:: SOT 126648918 SOS 27777037 HAS SOPS 27777037 HAS SOUS 17650046 HAS SOUPS 17650046 WITH SCORE 1.7677823037E7
AT ITER 4695 NEW BEST:: SOT 126646386 SOS 27774505 HAS SOPS 27774505 HAS SOUS 17647514 HAS SOUPS 17647514 WITH SCORE 1.7675288505E7
AT ITER 4710 NEW BEST:: SOT 126646386 SOS 27776943 HAS SOPS 27776943 HAS SOUS 17646699 HAS SOUPS 17646699 WITH SCORE 1.7674475943E7
AT ITER 4722 NEW BEST:: SOT 126646035 SOS 27777637 HAS SOPS 27777637 HAS SOUS 17646346 HAS SOUPS 17646346 WITH SCORE 1.7674123637E7
AT ITER 4735 NEW BEST:: SOT 126645252 SOS 27776071 HAS SOPS 27776071 HAS SOUS 17644780 HAS SOUPS 17644780 WITH SCORE 1.7672556071E7
AT ITER 4755 NEW BEST:: SOT 126645228 SOS 27775951 HAS SOPS 27775951 HAS SOUS 17644732 HAS SOUPS 17644732 WITH SCORE 1.7672507951E7
AT ITER 4810 NEW BEST:: SOT 126645228 SOS 27774172 HAS SOPS 27774172 HAS SOUS 17644139 HAS SOUPS 17644139 WITH SCORE 1.7671913172E7
AT ITER 4829 NEW BEST:: SOT 126642359 SOS 27761163 HAS SOPS 27761163 HAS SOUS 17638728 HAS SOUPS 17638728 WITH SCORE 1.7666489163E7
AT ITER 4852 NEW BEST:: SOT 126640824 SOS 27758093 HAS SOPS 27758093 HAS SOUS 17636082 HAS SOUPS 17636082 WITH SCORE 1.7663840093E7
AT ITER 4879 NEW BEST:: SOT 126639670 SOS 27758089 HAS SOPS 27758089 HAS SOUS 17636081 HAS SOUPS 17636081 WITH SCORE 1.7663839089E7
AT ITER 4882 NEW BEST:: SOT 126637752 SOS 27756355 HAS SOPS 27756355 HAS SOUS 17634173 HAS SOUPS 17634173 WITH SCORE 1.7661929355E7
AT ITER 4903 NEW BEST:: SOT 126637752 SOS 27756925 HAS SOPS 27756925 HAS SOUS 17633888 HAS SOUPS 17633888 WITH SCORE 1.7661644925E7
AT ITER 4919 NEW BEST:: SOT 126637752 SOS 27756921 HAS SOPS 27756921 HAS SOUS 17633887 HAS SOUPS 17633887 WITH SCORE 1.7661643921E7
AT ITER 4920 NEW BEST:: SOT 126636805 SOS 27755970 HAS SOPS 27755970 HAS SOUS 17632939 HAS SOUPS 17632939 WITH SCORE 1.766069497E7
AT ITER 4949 NEW BEST:: SOT 126634749 SOS 27759610 HAS SOPS 27759610 HAS SOUS 17631146 HAS SOUPS 17631146 WITH SCORE 1.765890561E7
AT ITER 4980 NEW BEST:: SOT 126633435 SOS 27759219 HAS SOPS 27759219 HAS SOUS 17630755 HAS SOUPS 17630755 WITH SCORE 1.7658514219E7
AT ITER 4988 NEW BEST:: SOT 126632241 SOS 27758021 HAS SOPS 27758021 HAS SOUS 17629560 HAS SOUPS 17629560 WITH SCORE 1.7657318021E7
AT ITER 5038 NEW BEST:: SOT 126629090 SOS 27758151 HAS SOPS 27758151 HAS SOUS 17627976 HAS SOUPS 17627976 WITH SCORE 1.7655734151E7
AT ITER 5048 NEW BEST:: SOT 126628662 SOS 27757723 HAS SOPS 27757723 HAS SOUS 17627548 HAS SOUPS 17627548 WITH SCORE 1.7655305723E7
AT ITER 5086 NEW BEST:: SOT 126626888 SOS 27756017 HAS SOPS 27756017 HAS SOUS 17625842 HAS SOUPS 17625842 WITH SCORE 1.7653598017E7
AT ITER 5089 NEW BEST:: SOT 126626888 SOS 27756747 HAS SOPS 27756747 HAS SOUS 17625840 HAS SOUPS 17625840 WITH SCORE 1.7653596747E7
AT ITER 5095 NEW BEST:: SOT 126626888 SOS 27756747 HAS SOPS 27756747 HAS SOUS 17625839 HAS SOUPS 17625839 WITH SCORE 1.7653595747E7
AT ITER 5101 NEW BEST:: SOT 126626754 SOS 27756475 HAS SOPS 27756475 HAS SOUS 17625570 HAS SOUPS 17625570 WITH SCORE 1.7653326475E7
AT ITER 5113 NEW BEST:: SOT 126626754 SOS 27754695 HAS SOPS 27754695 HAS SOUS 17625570 HAS SOUPS 17625570 WITH SCORE 1.7653324695E7
AT ITER 5162 NEW BEST:: SOT 126626017 SOS 27720056 HAS SOPS 27720056 HAS SOUS 17621885 HAS SOUPS 17621885 WITH SCORE 1.7649605056E7
AT ITER 5165 NEW BEST:: SOT 126623528 SOS 27721636 HAS SOPS 27721636 HAS SOUS 17621582 HAS SOUPS 17621582 WITH SCORE 1.7649303636E7
AT ITER 5166 NEW BEST:: SOT 126620499 SOS 27721536 HAS SOPS 27721536 HAS SOUS 17621482 HAS SOUPS 17621482 WITH SCORE 1.7649203536E7
AT ITER 5188 NEW BEST:: SOT 126620261 SOS 27721417 HAS SOPS 27721417 HAS SOUS 17621363 HAS SOUPS 17621363 WITH SCORE 1.7649084417E7
AT ITER 5196 NEW BEST:: SOT 126619255 SOS 27719405 HAS SOPS 27719405 HAS SOUS 17620357 HAS SOUPS 17620357 WITH SCORE 1.7648076405E7
AT ITER 5224 NEW BEST:: SOT 126618457 SOS 27717809 HAS SOPS 27717809 HAS SOUS 17618761 HAS SOUPS 17618761 WITH SCORE 1.7646478809E7
AT ITER 5247 NEW BEST:: SOT 126617536 SOS 27710282 HAS SOPS 27710282 HAS SOUS 17616919 HAS SOUPS 17616919 WITH SCORE 1.7644629282E7
AT ITER 5248 NEW BEST:: SOT 126617535 SOS 27710280 HAS SOPS 27710280 HAS SOUS 17616917 HAS SOUPS 17616917 WITH SCORE 1.764462728E7
AT ITER 5250 NEW BEST:: SOT 126617535 SOS 27708965 HAS SOPS 27708965 HAS SOUS 17616917 HAS SOUPS 17616917 WITH SCORE 1.7644625965E7
AT ITER 5251 NEW BEST:: SOT 126615798 SOS 27713936 HAS SOPS 27713936 HAS SOUS 17614937 HAS SOUPS 17614937 WITH SCORE 1.7642650936E7
AT ITER 5258 NEW BEST:: SOT 126613955 SOS 27712093 HAS SOPS 27712093 HAS SOUS 17613094 HAS SOUPS 17613094 WITH SCORE 1.7640806093E7
AT ITER 5277 NEW BEST:: SOT 126613083 SOS 27705078 HAS SOPS 27705078 HAS SOUS 17611350 HAS SOUPS 17611350 WITH SCORE 1.7639055078E7
AT ITER 5279 NEW BEST:: SOT 126605589 SOS 27691310 HAS SOPS 27691310 HAS SOUS 17603265 HAS SOUPS 17603265 WITH SCORE 1.763095631E7
AT ITER 5290 NEW BEST:: SOT 126605132 SOS 27690853 HAS SOPS 27690853 HAS SOUS 17602808 HAS SOUPS 17602808 WITH SCORE 1.7630498853E7
AT ITER 5294 NEW BEST:: SOT 126602958 SOS 27688679 HAS SOPS 27688679 HAS SOUS 17600634 HAS SOUPS 17600634 WITH SCORE 1.7628322679E7
AT ITER 5354 NEW BEST:: SOT 126602458 SOS 27687679 HAS SOPS 27687679 HAS SOUS 17599634 HAS SOUPS 17599634 WITH SCORE 1.7627321679E7
AT ITER 5411 NEW BEST:: SOT 126600967 SOS 27684697 HAS SOPS 27684697 HAS SOUS 17596909 HAS SOUPS 17596909 WITH SCORE 1.7624593697E7
AT ITER 5419 NEW BEST:: SOT 126598034 SOS 27684513 HAS SOPS 27684513 HAS SOUS 17596725 HAS SOUPS 17596725 WITH SCORE 1.7624409513E7
AT ITER 5427 NEW BEST:: SOT 126594461 SOS 27680340 HAS SOPS 27680340 HAS SOUS 17591365 HAS SOUPS 17591365 WITH SCORE 1.761904534E7
AT ITER 5461 NEW BEST:: SOT 126593499 SOS 27679378 HAS SOPS 27679378 HAS SOUS 17590403 HAS SOUPS 17590403 WITH SCORE 1.7618082378E7
AT ITER 5480 NEW BEST:: SOT 126592120 SOS 27677828 HAS SOPS 27677828 HAS SOUS 17589023 HAS SOUPS 17589023 WITH SCORE 1.7616700828E7
AT ITER 5491 NEW BEST:: SOT 126591216 SOS 27677442 HAS SOPS 27677442 HAS SOUS 17588593 HAS SOUPS 17588593 WITH SCORE 1.7616270442E7
AT ITER 5510 NEW BEST:: SOT 126591065 SOS 27677439 HAS SOPS 27677439 HAS SOUS 17588592 HAS SOUPS 17588592 WITH SCORE 1.7616269439E7
AT ITER 5532 NEW BEST:: SOT 126591065 SOS 27677439 HAS SOPS 27677439 HAS SOUS 17585738 HAS SOUPS 17585738 WITH SCORE 1.7613415439E7
AT ITER 5582 NEW BEST:: SOT 126590466 SOS 27678389 HAS SOPS 27678389 HAS SOUS 17585256 HAS SOUPS 17585256 WITH SCORE 1.7612934389E7
AT ITER 5583 NEW BEST:: SOT 126589221 SOS 27672225 HAS SOPS 27672225 HAS SOUS 17582117 HAS SOUPS 17582117 WITH SCORE 1.7609789225E7
AT ITER 5586 NEW BEST:: SOT 126589221 SOS 27681489 HAS SOPS 27681489 HAS SOUS 17581924 HAS SOUPS 17581924 WITH SCORE 1.7609605489E7
AT ITER 5587 NEW BEST:: SOT 126589221 SOS 27684935 HAS SOPS 27684935 HAS SOUS 17580773 HAS SOUPS 17580773 WITH SCORE 1.7608457935E7
AT ITER 5605 NEW BEST:: SOT 126588845 SOS 27690872 HAS SOPS 27690872 HAS SOUS 17580020 HAS SOUPS 17580020 WITH SCORE 1.7607710872E7
AT ITER 5626 NEW BEST:: SOT 126588750 SOS 27690682 HAS SOPS 27690682 HAS SOUS 17579830 HAS SOUPS 17579830 WITH SCORE 1.7607520682E7
AT ITER 5628 NEW BEST:: SOT 126588750 SOS 27690534 HAS SOPS 27690534 HAS SOUS 17579830 HAS SOUPS 17579830 WITH SCORE 1.7607520534E7
AT ITER 5642 NEW BEST:: SOT 126586401 SOS 27688181 HAS SOPS 27688181 HAS SOUS 17577480 HAS SOUPS 17577480 WITH SCORE 1.7605168181E7
AT ITER 5653 NEW BEST:: SOT 126585154 SOS 27688015 HAS SOPS 27688015 HAS SOUS 17577314 HAS SOUPS 17577314 WITH SCORE 1.7605002015E7
AT ITER 5667 NEW BEST:: SOT 126584988 SOS 27688181 HAS SOPS 27688181 HAS SOUS 17576982 HAS SOUPS 17576982 WITH SCORE 1.7604670181E7
AT ITER 5668 NEW BEST:: SOT 126583457 SOS 27688181 HAS SOPS 27688181 HAS SOUS 17575451 HAS SOUPS 17575451 WITH SCORE 1.7603139181E7
AT ITER 5670 NEW BEST:: SOT 126583456 SOS 27688179 HAS SOPS 27688179 HAS SOUS 17575449 HAS SOUPS 17575449 WITH SCORE 1.7603137179E7
AT ITER 5672 NEW BEST:: SOT 126582073 SOS 27685413 HAS SOPS 27685413 HAS SOUS 17572683 HAS SOUPS 17572683 WITH SCORE 1.7600368413E7
AT ITER 5673 NEW BEST:: SOT 126581067 SOS 27683401 HAS SOPS 27683401 HAS SOUS 17570671 HAS SOUPS 17570671 WITH SCORE 1.7598354401E7
AT ITER 5690 NEW BEST:: SOT 126578809 SOS 27681143 HAS SOPS 27681143 HAS SOUS 17568413 HAS SOUPS 17568413 WITH SCORE 1.7596094143E7
AT ITER 5694 NEW BEST:: SOT 126578913 SOS 27680488 HAS SOPS 27680488 HAS SOUS 17567758 HAS SOUPS 17567758 WITH SCORE 1.7595438488E7
AT ITER 5701 NEW BEST:: SOT 126577698 SOS 27673132 HAS SOPS 27673132 HAS SOUS 17565328 HAS SOUPS 17565328 WITH SCORE 1.7593001132E7
AT ITER 5704 NEW BEST:: SOT 126575248 SOS 27668232 HAS SOPS 27668232 HAS SOUS 17560428 HAS SOUPS 17560428 WITH SCORE 1.7588096232E7
AT ITER 5731 NEW BEST:: SOT 126575125 SOS 27667986 HAS SOPS 27667986 HAS SOUS 17560305 HAS SOUPS 17560305 WITH SCORE 1.7587972986E7
AT ITER 5798 NEW BEST:: SOT 126573583 SOS 27666862 HAS SOPS 27666862 HAS SOUS 17559181 HAS SOUPS 17559181 WITH SCORE 1.7586847862E7
AT ITER 5805 NEW BEST:: SOT 126569581 SOS 27667426 HAS SOPS 27667426 HAS SOUS 17558922 HAS SOUPS 17558922 WITH SCORE 1.7586589426E7
AT ITER 5809 NEW BEST:: SOT 126569033 SOS 27667193 HAS SOPS 27667193 HAS SOUS 17558692 HAS SOUPS 17558692 WITH SCORE 1.7586359193E7
AT ITER 5814 NEW BEST:: SOT 126568351 SOS 27665829 HAS SOPS 27665829 HAS SOUS 17555978 HAS SOUPS 17555978 WITH SCORE 1.7583643829E7
AT ITER 5818 NEW BEST:: SOT 126568250 SOS 27665526 HAS SOPS 27665526 HAS SOUS 17555776 HAS SOUPS 17555776 WITH SCORE 1.7583441526E7
AT ITER 5830 NEW BEST:: SOT 126567065 SOS 27663156 HAS SOPS 27663156 HAS SOUS 17552254 HAS SOUPS 17552254 WITH SCORE 1.7579917156E7
AT ITER 5832 NEW BEST:: SOT 126566656 SOS 27663966 HAS SOPS 27663966 HAS SOUS 17551843 HAS SOUPS 17551843 WITH SCORE 1.7579506966E7
AT ITER 5845 NEW BEST:: SOT 126565870 SOS 27661608 HAS SOPS 27661608 HAS SOUS 17550798 HAS SOUPS 17550798 WITH SCORE 1.7578459608E7
AT ITER 5917 NEW BEST:: SOT 126565870 SOS 27661608 HAS SOPS 27661608 HAS SOUS 17550797 HAS SOUPS 17550797 WITH SCORE 1.7578458608E7
AT ITER 5930 NEW BEST:: SOT 126565718 SOS 27661305 HAS SOPS 27661305 HAS SOUS 17550494 HAS SOUPS 17550494 WITH SCORE 1.7578155305E7
AT ITER 5952 NEW BEST:: SOT 126565220 SOS 27660309 HAS SOPS 27660309 HAS SOUS 17549996 HAS SOUPS 17549996 WITH SCORE 1.7577656309E7
AT ITER 5954 NEW BEST:: SOT 126565220 SOS 27660309 HAS SOPS 27660309 HAS SOUS 17548340 HAS SOUPS 17548340 WITH SCORE 1.7576000309E7
AT ITER 5969 NEW BEST:: SOT 126563913 SOS 27650909 HAS SOPS 27650909 HAS SOUS 17545726 HAS SOUPS 17545726 WITH SCORE 1.7573376909E7
AT ITER 5975 NEW BEST:: SOT 126556284 SOS 27681328 HAS SOPS 27681328 HAS SOUS 17544015 HAS SOUPS 17544015 WITH SCORE 1.7571696328E7
AT ITER 5979 NEW BEST:: SOT 126556146 SOS 27703183 HAS SOPS 27703183 HAS SOUS 17543739 HAS SOUPS 17543739 WITH SCORE 1.7571442183E7
AT ITER 5997 NEW BEST:: SOT 126555098 SOS 27701087 HAS SOPS 27701087 HAS SOUS 17541643 HAS SOUPS 17541643 WITH SCORE 1.7569344087E7
AT ITER 6000 NEW BEST:: SOT 126553211 SOS 27702970 HAS SOPS 27702970 HAS SOUS 17537868 HAS SOUPS 17537868 WITH SCORE 1.756557097E7
AT ITER 6019 NEW BEST:: SOT 126552353 SOS 27702112 HAS SOPS 27702112 HAS SOUS 17537010 HAS SOUPS 17537010 WITH SCORE 1.7564712112E7
AT ITER 6020 NEW BEST:: SOT 126550426 SOS 27698258 HAS SOPS 27698258 HAS SOUS 17533267 HAS SOUPS 17533267 WITH SCORE 1.7560965258E7
AT ITER 6029 NEW BEST:: SOT 126550426 SOS 27698945 HAS SOPS 27698945 HAS SOUS 17533266 HAS SOUPS 17533266 WITH SCORE 1.7560964945E7
AT ITER 6038 NEW BEST:: SOT 126549672 SOS 27697437 HAS SOPS 27697437 HAS SOUS 17531758 HAS SOUPS 17531758 WITH SCORE 1.7559455437E7
AT ITER 6075 NEW BEST:: SOT 126549468 SOS 27697029 HAS SOPS 27697029 HAS SOUS 17531350 HAS SOUPS 17531350 WITH SCORE 1.7559047029E7
AT ITER 6091 NEW BEST:: SOT 126549047 SOS 27696187 HAS SOPS 27696187 HAS SOUS 17530270 HAS SOUPS 17530270 WITH SCORE 1.7557966187E7
AT ITER 6092 NEW BEST:: SOT 126548936 SOS 27696076 HAS SOPS 27696076 HAS SOUS 17530048 HAS SOUPS 17530048 WITH SCORE 1.7557744076E7
AT ITER 6110 NEW BEST:: SOT 126546274 SOS 27690752 HAS SOPS 27690752 HAS SOUS 17524724 HAS SOUPS 17524724 WITH SCORE 1.7552414752E7
AT ITER 6133 NEW BEST:: SOT 126546327 SOS 27689747 HAS SOPS 27689747 HAS SOUS 17523719 HAS SOUPS 17523719 WITH SCORE 1.7551408747E7
AT ITER 6151 NEW BEST:: SOT 126543970 SOS 27688936 HAS SOPS 27688936 HAS SOUS 17522849 HAS SOUPS 17522849 WITH SCORE 1.7550537936E7
AT ITER 6173 NEW BEST:: SOT 126543970 SOS 27688936 HAS SOPS 27688936 HAS SOUS 17521000 HAS SOUPS 17521000 WITH SCORE 1.7548688936E7
AT ITER 6174 NEW BEST:: SOT 126542731 SOS 27687693 HAS SOPS 27687693 HAS SOUS 17519760 HAS SOUPS 17519760 WITH SCORE 1.7547447693E7
AT ITER 6230 NEW BEST:: SOT 126542441 SOS 27687548 HAS SOPS 27687548 HAS SOUS 17519614 HAS SOUPS 17519614 WITH SCORE 1.7547301548E7
AT ITER 6249 NEW BEST:: SOT 126542009 SOS 27686684 HAS SOPS 27686684 HAS SOUS 17517131 HAS SOUPS 17517131 WITH SCORE 1.7544817684E7
AT ITER 6308 NEW BEST:: SOT 126542008 SOS 27686682 HAS SOPS 27686682 HAS SOUS 17517129 HAS SOUPS 17517129 WITH SCORE 1.7544815682E7
AT ITER 6323 NEW BEST:: SOT 126542556 SOS 27686980 HAS SOPS 27686980 HAS SOUS 17516794 HAS SOUPS 17516794 WITH SCORE 1.754448098E7
AT ITER 6324 NEW BEST:: SOT 126542555 SOS 27686978 HAS SOPS 27686978 HAS SOUS 17516792 HAS SOUPS 17516792 WITH SCORE 1.7544478978E7
AT ITER 6377 NEW BEST:: SOT 126540378 SOS 27682624 HAS SOPS 27682624 HAS SOUS 17512438 HAS SOUPS 17512438 WITH SCORE 1.7540120624E7
AT ITER 6387 NEW BEST:: SOT 126540096 SOS 27682060 HAS SOPS 27682060 HAS SOUS 17511874 HAS SOUPS 17511874 WITH SCORE 1.753955606E7
AT ITER 6404 NEW BEST:: SOT 126539507 SOS 27680882 HAS SOPS 27680882 HAS SOUS 17511285 HAS SOUPS 17511285 WITH SCORE 1.7538965882E7
AT ITER 6413 NEW BEST:: SOT 126538668 SOS 27679204 HAS SOPS 27679204 HAS SOUS 17509607 HAS SOUPS 17509607 WITH SCORE 1.7537286204E7
AT ITER 6434 NEW BEST:: SOT 126538431 SOS 27679674 HAS SOPS 27679674 HAS SOUS 17509369 HAS SOUPS 17509369 WITH SCORE 1.7537048674E7
AT ITER 6435 NEW BEST:: SOT 126537053 SOS 27676918 HAS SOPS 27676918 HAS SOUS 17506613 HAS SOUPS 17506613 WITH SCORE 1.7534289918E7
AT ITER 6465 NEW BEST:: SOT 126535848 SOS 27674509 HAS SOPS 27674509 HAS SOUS 17504204 HAS SOUPS 17504204 WITH SCORE 1.7531878509E7
AT ITER 6475 NEW BEST:: SOT 126535848 SOS 27674509 HAS SOPS 27674509 HAS SOUS 17504049 HAS SOUPS 17504049 WITH SCORE 1.7531723509E7
AT ITER 6491 NEW BEST:: SOT 126534816 SOS 27673477 HAS SOPS 27673477 HAS SOUS 17503017 HAS SOUPS 17503017 WITH SCORE 1.7530690477E7
AT ITER 6495 NEW BEST:: SOT 126532383 SOS 27672559 HAS SOPS 27672559 HAS SOUS 17501900 HAS SOUPS 17501900 WITH SCORE 1.7529572559E7
AT ITER 6525 NEW BEST:: SOT 126532337 SOS 27674784 HAS SOPS 27674784 HAS SOUS 17500761 HAS SOUPS 17500761 WITH SCORE 1.7528435784E7
AT ITER 6526 NEW BEST:: SOT 126532337 SOS 27674784 HAS SOPS 27674784 HAS SOUS 17500647 HAS SOUPS 17500647 WITH SCORE 1.7528321784E7
AT ITER 6532 NEW BEST:: SOT 126532251 SOS 27674612 HAS SOPS 27674612 HAS SOUS 17500517 HAS SOUPS 17500517 WITH SCORE 1.7528191612E7
AT ITER 6588 NEW BEST:: SOT 126532041 SOS 27674192 HAS SOPS 27674192 HAS SOUS 17499465 HAS SOUPS 17499465 WITH SCORE 1.7527139192E7
AT ITER 6599 NEW BEST:: SOT 126529815 SOS 27667514 HAS SOPS 27667514 HAS SOUS 17496126 HAS SOUPS 17496126 WITH SCORE 1.7523793514E7
AT ITER 6632 NEW BEST:: SOT 126529815 SOS 27667412 HAS SOPS 27667412 HAS SOUS 17496024 HAS SOUPS 17496024 WITH SCORE 1.7523691412E7
AT ITER 6669 NEW BEST:: SOT 126528574 SOS 27661207 HAS SOPS 27661207 HAS SOUS 17493542 HAS SOUPS 17493542 WITH SCORE 1.7521203207E7
AT ITER 6684 NEW BEST:: SOT 126528394 SOS 27660848 HAS SOPS 27660848 HAS SOUS 17493183 HAS SOUPS 17493183 WITH SCORE 1.7520843848E7
AT ITER 6764 NEW BEST:: SOT 126528394 SOS 27661768 HAS SOPS 27661768 HAS SOUS 17493181 HAS SOUPS 17493181 WITH SCORE 1.7520842768E7
AT ITER 6765 NEW BEST:: SOT 126527918 SOS 27661764 HAS SOPS 27661764 HAS SOUS 17492937 HAS SOUPS 17492937 WITH SCORE 1.7520598764E7
AT ITER 6795 NEW BEST:: SOT 126527549 SOS 27661546 HAS SOPS 27661546 HAS SOUS 17492653 HAS SOUPS 17492653 WITH SCORE 1.7520314546E7
AT ITER 6840 NEW BEST:: SOT 126527548 SOS 27660349 HAS SOPS 27660349 HAS SOUS 17491456 HAS SOUPS 17491456 WITH SCORE 1.7519116349E7
AT ITER 6865 NEW BEST:: SOT 126526628 SOS 27658509 HAS SOPS 27658509 HAS SOUS 17486547 HAS SOUPS 17486547 WITH SCORE 1.7514205509E7
AT ITER 6878 NEW BEST:: SOT 126526460 SOS 27658341 HAS SOPS 27658341 HAS SOUS 17486379 HAS SOUPS 17486379 WITH SCORE 1.7514037341E7
AT ITER 6895 NEW BEST:: SOT 126526259 SOS 27657939 HAS SOPS 27657939 HAS SOUS 17486177 HAS SOUPS 17486177 WITH SCORE 1.7513834939E7
AT ITER 6922 NEW BEST:: SOT 126526183 SOS 27657787 HAS SOPS 27657787 HAS SOUS 17486025 HAS SOUPS 17486025 WITH SCORE 1.7513682787E7
AT ITER 6939 NEW BEST:: SOT 126524193 SOS 27671717 HAS SOPS 27671717 HAS SOUS 17484035 HAS SOUPS 17484035 WITH SCORE 1.7511706717E7
AT ITER 6950 NEW BEST:: SOT 126523748 SOS 27671272 HAS SOPS 27671272 HAS SOUS 17483590 HAS SOUPS 17483590 WITH SCORE 1.7511261272E7
AT ITER 6953 NEW BEST:: SOT 126523127 SOS 27673102 HAS SOPS 27673102 HAS SOUS 17482605 HAS SOUPS 17482605 WITH SCORE 1.7510278102E7
AT ITER 6987 NEW BEST:: SOT 126521620 SOS 27674606 HAS SOPS 27674606 HAS SOUS 17482603 HAS SOUPS 17482603 WITH SCORE 1.7510277606E7
AT ITER 6992 NEW BEST:: SOT 126521620 SOS 27674206 HAS SOPS 27674206 HAS SOUS 17482403 HAS SOUPS 17482403 WITH SCORE 1.7510077206E7
AT ITER 7000 NEW BEST:: SOT 126519968 SOS 27670902 HAS SOPS 27670902 HAS SOUS 17479099 HAS SOUPS 17479099 WITH SCORE 1.7506769902E7
AT ITER 7001 NEW BEST:: SOT 126519902 SOS 27671081 HAS SOPS 27671081 HAS SOUS 17478956 HAS SOUPS 17478956 WITH SCORE 1.7506627081E7
AT ITER 7020 NEW BEST:: SOT 126519696 SOS 27671485 HAS SOPS 27671485 HAS SOUS 17478748 HAS SOUPS 17478748 WITH SCORE 1.7506419485E7
AT ITER 7029 NEW BEST:: SOT 126518620 SOS 27669009 HAS SOPS 27669009 HAS SOUS 17477322 HAS SOUPS 17477322 WITH SCORE 1.7504991009E7
AT ITER 7040 NEW BEST:: SOT 126518298 SOS 27669375 HAS SOPS 27669375 HAS SOUS 17477186 HAS SOUPS 17477186 WITH SCORE 1.7504855375E7
AT ITER 7053 NEW BEST:: SOT 126516496 SOS 27667573 HAS SOPS 27667573 HAS SOUS 17475384 HAS SOUPS 17475384 WITH SCORE 1.7503051573E7
AT ITER 7063 NEW BEST:: SOT 126517031 SOS 27668643 HAS SOPS 27668643 HAS SOUS 17475268 HAS SOUPS 17475268 WITH SCORE 1.7502936643E7
AT ITER 7070 NEW BEST:: SOT 126517732 SOS 27660630 HAS SOPS 27660630 HAS SOUS 17472946 HAS SOUPS 17472946 WITH SCORE 1.750060663E7
AT ITER 7073 NEW BEST:: SOT 126515353 SOS 27655872 HAS SOPS 27655872 HAS SOUS 17468188 HAS SOUPS 17468188 WITH SCORE 1.7495843872E7
AT ITER 7076 NEW BEST:: SOT 126514130 SOS 27649001 HAS SOPS 27649001 HAS SOUS 17465742 HAS SOUPS 17465742 WITH SCORE 1.7493391001E7
AT ITER 7083 NEW BEST:: SOT 126514128 SOS 27648997 HAS SOPS 27648997 HAS SOUS 17465738 HAS SOUPS 17465738 WITH SCORE 1.7493386997E7
AT ITER 7094 NEW BEST:: SOT 126502671 SOS 27642006 HAS SOPS 27642006 HAS SOUS 17455489 HAS SOUPS 17455489 WITH SCORE 1.7483131006E7
AT ITER 7108 NEW BEST:: SOT 126501436 SOS 27639537 HAS SOPS 27639537 HAS SOUS 17453020 HAS SOUPS 17453020 WITH SCORE 1.7480659537E7
AT ITER 7121 NEW BEST:: SOT 126480623 SOS 27892761 HAS SOPS 27892761 HAS SOUS 17440003 HAS SOUPS 17440003 WITH SCORE 1.7467895761E7
AT ITER 7157 NEW BEST:: SOT 126479281 SOS 27913621 HAS SOPS 27913621 HAS SOUS 17439628 HAS SOUPS 17439628 WITH SCORE 1.7467541621E7
AT ITER 7184 NEW BEST:: SOT 126478507 SOS 27914392 HAS SOPS 27914392 HAS SOUS 17438853 HAS SOUPS 17438853 WITH SCORE 1.7466767392E7
AT ITER 7196 NEW BEST:: SOT 126478428 SOS 27914234 HAS SOPS 27914234 HAS SOUS 17438311 HAS SOUPS 17438311 WITH SCORE 1.7466225234E7
AT ITER 7246 NEW BEST:: SOT 126475923 SOS 27916196 HAS SOPS 27916196 HAS SOUS 17438130 HAS SOUPS 17438130 WITH SCORE 1.7466046196E7
AT ITER 7306 NEW BEST:: SOT 126475361 SOS 27915072 HAS SOPS 27915072 HAS SOUS 17437006 HAS SOUPS 17437006 WITH SCORE 1.7464921072E7
AT ITER 7315 NEW BEST:: SOT 126475215 SOS 27914488 HAS SOPS 27914488 HAS SOUS 17436860 HAS SOUPS 17436860 WITH SCORE 1.7464774488E7
AT ITER 7336 NEW BEST:: SOT 126474916 SOS 27914631 HAS SOPS 27914631 HAS SOUS 17436808 HAS SOUPS 17436808 WITH SCORE 1.7464722631E7
AT ITER 7338 NEW BEST:: SOT 126474916 SOS 27918860 HAS SOPS 27918860 HAS SOUS 17434691 HAS SOUPS 17434691 WITH SCORE 1.746260986E7
AT ITER 7397 NEW BEST:: SOT 126474754 SOS 27918536 HAS SOPS 27918536 HAS SOUS 17433229 HAS SOUPS 17433229 WITH SCORE 1.7461147536E7
AT ITER 7398 NEW BEST:: SOT 126472429 SOS 27921004 HAS SOPS 27921004 HAS SOUS 17428578 HAS SOUPS 17428578 WITH SCORE 1.7456499004E7
AT ITER 7401 NEW BEST:: SOT 126472211 SOS 27921436 HAS SOPS 27921436 HAS SOUS 17428359 HAS SOUPS 17428359 WITH SCORE 1.7456280436E7
AT ITER 7402 NEW BEST:: SOT 126459902 SOS 27917370 HAS SOPS 27917370 HAS SOUS 17423825 HAS SOUPS 17423825 WITH SCORE 1.745174237E7
AT ITER 7418 NEW BEST:: SOT 126458360 SOS 27917896 HAS SOPS 27917896 HAS SOUS 17422283 HAS SOUPS 17422283 WITH SCORE 1.7450200896E7
AT ITER 7420 NEW BEST:: SOT 126458657 SOS 27918490 HAS SOPS 27918490 HAS SOUS 17419893 HAS SOUPS 17419893 WITH SCORE 1.744781149E7
AT ITER 7439 NEW BEST:: SOT 126458830 SOS 27919930 HAS SOPS 27919930 HAS SOUS 17418848 HAS SOUPS 17418848 WITH SCORE 1.744676793E7
AT ITER 7462 NEW BEST:: SOT 126458830 SOS 27925834 HAS SOPS 27925834 HAS SOUS 17418192 HAS SOUPS 17418192 WITH SCORE 1.7446117834E7
AT ITER 7464 NEW BEST:: SOT 126458830 SOS 27927488 HAS SOPS 27927488 HAS SOUS 17418190 HAS SOUPS 17418190 WITH SCORE 1.7446117488E7
AT ITER 7480 NEW BEST:: SOT 126457972 SOS 27925772 HAS SOPS 27925772 HAS SOUS 17414389 HAS SOUPS 17414389 WITH SCORE 1.7442314772E7
AT ITER 7521 NEW BEST:: SOT 126451489 SOS 27923180 HAS SOPS 27923180 HAS SOUS 17411723 HAS SOUPS 17411723 WITH SCORE 1.743964618E7
AT ITER 7534 NEW BEST:: SOT 126449871 SOS 27921562 HAS SOPS 27921562 HAS SOUS 17410105 HAS SOUPS 17410105 WITH SCORE 1.7438026562E7
AT ITER 7536 NEW BEST:: SOT 126447747 SOS 27908431 HAS SOPS 27908431 HAS SOUS 17404727 HAS SOUPS 17404727 WITH SCORE 1.7432635431E7
AT ITER 7578 NEW BEST:: SOT 126446478 SOS 27905894 HAS SOPS 27905894 HAS SOUS 17402462 HAS SOUPS 17402462 WITH SCORE 1.7430367894E7
AT ITER 7585 NEW BEST:: SOT 126446001 SOS 27905417 HAS SOPS 27905417 HAS SOUS 17401985 HAS SOUPS 17401985 WITH SCORE 1.7429890417E7
AT ITER 7649 NEW BEST:: SOT 126445709 SOS 27905125 HAS SOPS 27905125 HAS SOUS 17401693 HAS SOUPS 17401693 WITH SCORE 1.7429598125E7
AT ITER 7667 NEW BEST:: SOT 126445097 SOS 27906257 HAS SOPS 27906257 HAS SOUS 17401081 HAS SOUPS 17401081 WITH SCORE 1.7428987257E7
AT ITER 7668 NEW BEST:: SOT 126444428 SOS 27905811 HAS SOPS 27905811 HAS SOUS 17400635 HAS SOUPS 17400635 WITH SCORE 1.7428540811E7
AT ITER 7720 NEW BEST:: SOT 126443368 SOS 27887077 HAS SOPS 27887077 HAS SOUS 17398515 HAS SOUPS 17398515 WITH SCORE 1.7426402077E7
AT ITER 7758 NEW BEST:: SOT 126443368 SOS 27886560 HAS SOPS 27886560 HAS SOUS 17398515 HAS SOUPS 17398515 WITH SCORE 1.742640156E7
AT ITER 7768 NEW BEST:: SOT 126443368 SOS 27886560 HAS SOPS 27886560 HAS SOUS 17398514 HAS SOUPS 17398514 WITH SCORE 1.742640056E7
AT ITER 7775 NEW BEST:: SOT 126442150 SOS 27883493 HAS SOPS 27883493 HAS SOUS 17397559 HAS SOUPS 17397559 WITH SCORE 1.7425442493E7
AT ITER 7807 NEW BEST:: SOT 126441689 SOS 27882571 HAS SOPS 27882571 HAS SOUS 17396637 HAS SOUPS 17396637 WITH SCORE 1.7424519571E7
AT ITER 7821 NEW BEST:: SOT 126441594 SOS 27882381 HAS SOPS 27882381 HAS SOUS 17396541 HAS SOUPS 17396541 WITH SCORE 1.7424423381E7
AT ITER 7826 NEW BEST:: SOT 126442337 SOS 27882379 HAS SOPS 27882379 HAS SOUS 17396540 HAS SOUPS 17396540 WITH SCORE 1.7424422379E7
AT ITER 7850 NEW BEST:: SOT 126442336 SOS 27882377 HAS SOPS 27882377 HAS SOUS 17396538 HAS SOUPS 17396538 WITH SCORE 1.7424420377E7
AT ITER 7883 NEW BEST:: SOT 126442073 SOS 27882893 HAS SOPS 27882893 HAS SOUS 17396537 HAS SOUPS 17396537 WITH SCORE 1.7424419893E7
AT ITER 7886 NEW BEST:: SOT 126440668 SOS 27884295 HAS SOPS 27884295 HAS SOUS 17396535 HAS SOUPS 17396535 WITH SCORE 1.7424419295E7
AT ITER 7919 NEW BEST:: SOT 126439465 SOS 27879115 HAS SOPS 27879115 HAS SOUS 17395069 HAS SOUPS 17395069 WITH SCORE 1.7422948115E7
AT ITER 7927 NEW BEST:: SOT 126437325 SOS 27878045 HAS SOPS 27878045 HAS SOUS 17393999 HAS SOUPS 17393999 WITH SCORE 1.7421877045E7
AT ITER 7933 NEW BEST:: SOT 126433702 SOS 27875263 HAS SOPS 27875263 HAS SOUS 17390376 HAS SOUPS 17390376 WITH SCORE 1.7418251263E7
AT ITER 7946 NEW BEST:: SOT 126432358 SOS 27873583 HAS SOPS 27873583 HAS SOUS 17388696 HAS SOUPS 17388696 WITH SCORE 1.7416569583E7
AT ITER 7994 NEW BEST:: SOT 126432236 SOS 27873339 HAS SOPS 27873339 HAS SOUS 17388452 HAS SOUPS 17388452 WITH SCORE 1.7416325339E7
AT ITER 8042 NEW BEST:: SOT 126432236 SOS 27876459 HAS SOPS 27876459 HAS SOUS 17387681 HAS SOUPS 17387681 WITH SCORE 1.7415557459E7
AT ITER 8062 NEW BEST:: SOT 126432236 SOS 27876459 HAS SOPS 27876459 HAS SOUS 17387680 HAS SOUPS 17387680 WITH SCORE 1.7415556459E7
AT ITER 8117 NEW BEST:: SOT 126431450 SOS 27874887 HAS SOPS 27874887 HAS SOUS 17386108 HAS SOUPS 17386108 WITH SCORE 1.7413982887E7
AT ITER 8129 NEW BEST:: SOT 126430924 SOS 27874624 HAS SOPS 27874624 HAS SOUS 17385845 HAS SOUPS 17385845 WITH SCORE 1.7413719624E7
AT ITER 8153 NEW BEST:: SOT 126430970 SOS 27870771 HAS SOPS 27870771 HAS SOUS 17384576 HAS SOUPS 17384576 WITH SCORE 1.7412446771E7
AT ITER 8158 NEW BEST:: SOT 126431522 SOS 27871875 HAS SOPS 27871875 HAS SOUS 17382676 HAS SOUPS 17382676 WITH SCORE 1.7410547875E7
AT ITER 8169 NEW BEST:: SOT 126431520 SOS 27871871 HAS SOPS 27871871 HAS SOUS 17382672 HAS SOUPS 17382672 WITH SCORE 1.7410543871E7
AT ITER 8170 NEW BEST:: SOT 126431520 SOS 27870245 HAS SOPS 27870245 HAS SOUS 17382672 HAS SOUPS 17382672 WITH SCORE 1.7410542245E7
AT ITER 8172 NEW BEST:: SOT 126430384 SOS 27868916 HAS SOPS 27868916 HAS SOUS 17382102 HAS SOUPS 17382102 WITH SCORE 1.7409970916E7
AT ITER 8180 NEW BEST:: SOT 126430384 SOS 27867145 HAS SOPS 27867145 HAS SOUS 17382102 HAS SOUPS 17382102 WITH SCORE 1.7409969145E7
AT ITER 8242 NEW BEST:: SOT 126430443 SOS 27865049 HAS SOPS 27865049 HAS SOUS 17381452 HAS SOUPS 17381452 WITH SCORE 1.7409317049E7
AT ITER 8281 NEW BEST:: SOT 126429804 SOS 27866327 HAS SOPS 27866327 HAS SOUS 17380813 HAS SOUPS 17380813 WITH SCORE 1.7408679327E7
AT ITER 8287 NEW BEST:: SOT 126429272 SOS 27865263 HAS SOPS 27865263 HAS SOUS 17379749 HAS SOUPS 17379749 WITH SCORE 1.7407614263E7
AT ITER 8347 NEW BEST:: SOT 126428540 SOS 27863799 HAS SOPS 27863799 HAS SOUS 17378285 HAS SOUPS 17378285 WITH SCORE 1.7406148799E7
AT ITER 8362 NEW BEST:: SOT 126426120 SOS 27861633 HAS SOPS 27861633 HAS SOUS 17378078 HAS SOUPS 17378078 WITH SCORE 1.7405939633E7
AT ITER 8382 NEW BEST:: SOT 126426303 SOS 27861999 HAS SOPS 27861999 HAS SOUS 17375471 HAS SOUPS 17375471 WITH SCORE 1.7403332999E7
AT ITER 8404 NEW BEST:: SOT 126425465 SOS 27861998 HAS SOPS 27861998 HAS SOUS 17375470 HAS SOUPS 17375470 WITH SCORE 1.7403331998E7
AT ITER 8445 NEW BEST:: SOT 126425410 SOS 27921419 HAS SOPS 27921419 HAS SOUS 17375359 HAS SOUPS 17375359 WITH SCORE 1.7403280419E7
AT ITER 8470 NEW BEST:: SOT 126424919 SOS 27920437 HAS SOPS 27920437 HAS SOUS 17374868 HAS SOUPS 17374868 WITH SCORE 1.7402788437E7
AT ITER 8486 NEW BEST:: SOT 126423792 SOS 27919310 HAS SOPS 27919310 HAS SOUS 17373741 HAS SOUPS 17373741 WITH SCORE 1.740166031E7
AT ITER 8521 NEW BEST:: SOT 126423792 SOS 27917152 HAS SOPS 27917152 HAS SOUS 17373198 HAS SOUPS 17373198 WITH SCORE 1.7401115152E7
AT ITER 8545 NEW BEST:: SOT 126423075 SOS 27915718 HAS SOPS 27915718 HAS SOUS 17372480 HAS SOUPS 17372480 WITH SCORE 1.7400395718E7
AT ITER 8581 NEW BEST:: SOT 126422014 SOS 27914213 HAS SOPS 27914213 HAS SOUS 17372036 HAS SOUPS 17372036 WITH SCORE 1.7399950213E7
AT ITER 8582 NEW BEST:: SOT 126421550 SOS 27913285 HAS SOPS 27913285 HAS SOUS 17371108 HAS SOUPS 17371108 WITH SCORE 1.7399021285E7
AT ITER 8597 NEW BEST:: SOT 126420324 SOS 27905578 HAS SOPS 27905578 HAS SOUS 17368858 HAS SOUPS 17368858 WITH SCORE 1.7396763578E7
AT ITER 8603 NEW BEST:: SOT 126421306 SOS 27907542 HAS SOPS 27907542 HAS SOUS 17367811 HAS SOUPS 17367811 WITH SCORE 1.7395718542E7
AT ITER 8616 NEW BEST:: SOT 126421187 SOS 27907305 HAS SOPS 27907305 HAS SOUS 17367574 HAS SOUPS 17367574 WITH SCORE 1.7395481305E7
AT ITER 8624 NEW BEST:: SOT 126420661 SOS 27906779 HAS SOPS 27906779 HAS SOUS 17367048 HAS SOUPS 17367048 WITH SCORE 1.7394954779E7
AT ITER 8627 NEW BEST:: SOT 126418954 SOS 27911864 HAS SOPS 27911864 HAS SOUS 17365138 HAS SOUPS 17365138 WITH SCORE 1.7393049864E7
AT ITER 8639 NEW BEST:: SOT 126418750 SOS 27911660 HAS SOPS 27911660 HAS SOUS 17364934 HAS SOUPS 17364934 WITH SCORE 1.739284566E7
AT ITER 8642 NEW BEST:: SOT 126418750 SOS 27912634 HAS SOPS 27912634 HAS SOUS 17364444 HAS SOUPS 17364444 WITH SCORE 1.7392356634E7
AT ITER 8650 NEW BEST:: SOT 126418229 SOS 27913672 HAS SOPS 27913672 HAS SOUS 17363922 HAS SOUPS 17363922 WITH SCORE 1.7391835672E7
AT ITER 8655 NEW BEST:: SOT 126418188 SOS 27913591 HAS SOPS 27913591 HAS SOUS 17363841 HAS SOUPS 17363841 WITH SCORE 1.7391754591E7
AT ITER 8657 NEW BEST:: SOT 126416668 SOS 27912228 HAS SOPS 27912228 HAS SOUS 17362478 HAS SOUPS 17362478 WITH SCORE 1.7390390228E7
AT ITER 8678 NEW BEST:: SOT 126415798 SOS 27911358 HAS SOPS 27911358 HAS SOUS 17361608 HAS SOUPS 17361608 WITH SCORE 1.7389519358E7
AT ITER 8681 NEW BEST:: SOT 126414734 SOS 27907102 HAS SOPS 27907102 HAS SOUS 17360544 HAS SOUPS 17360544 WITH SCORE 1.7388451102E7
AT ITER 8718 NEW BEST:: SOT 126411773 SOS 27740572 HAS SOPS 27740572 HAS SOUS 17354622 HAS SOUPS 17354622 WITH SCORE 1.7382362572E7
AT ITER 8723 NEW BEST:: SOT 126411293 SOS 27739612 HAS SOPS 27739612 HAS SOUS 17353442 HAS SOUPS 17353442 WITH SCORE 1.7381181612E7
AT ITER 8752 NEW BEST:: SOT 126411159 SOS 27739541 HAS SOPS 27739541 HAS SOUS 17353374 HAS SOUPS 17353374 WITH SCORE 1.7381113541E7
AT ITER 8753 NEW BEST:: SOT 126410055 SOS 27739019 HAS SOPS 27739019 HAS SOUS 17351445 HAS SOUPS 17351445 WITH SCORE 1.7379184019E7
AT ITER 8782 NEW BEST:: SOT 126410206 SOS 27734920 HAS SOPS 27734920 HAS SOUS 17350280 HAS SOUPS 17350280 WITH SCORE 1.737801492E7
AT ITER 8790 NEW BEST:: SOT 126408426 SOS 27731360 HAS SOPS 27731360 HAS SOUS 17346720 HAS SOUPS 17346720 WITH SCORE 1.737445136E7
AT ITER 8859 NEW BEST:: SOT 126408499 SOS 27726762 HAS SOPS 27726762 HAS SOUS 17345680 HAS SOUPS 17345680 WITH SCORE 1.7373406762E7
AT ITER 8884 NEW BEST:: SOT 126407209 SOS 27724978 HAS SOPS 27724978 HAS SOUS 17344390 HAS SOUPS 17344390 WITH SCORE 1.7372114978E7
AT ITER 8888 NEW BEST:: SOT 126405978 SOS 27722517 HAS SOPS 27722517 HAS SOUS 17341929 HAS SOUPS 17341929 WITH SCORE 1.7369651517E7
AT ITER 8926 NEW BEST:: SOT 126405978 SOS 27722667 HAS SOPS 27722667 HAS SOUS 17341927 HAS SOUPS 17341927 WITH SCORE 1.7369649667E7
AT ITER 8931 NEW BEST:: SOT 126405755 SOS 27722664 HAS SOPS 27722664 HAS SOUS 17341926 HAS SOUPS 17341926 WITH SCORE 1.7369648664E7
AT ITER 8940 NEW BEST:: SOT 126405755 SOS 27721701 HAS SOPS 27721701 HAS SOUS 17341605 HAS SOUPS 17341605 WITH SCORE 1.7369326701E7
AT ITER 8965 NEW BEST:: SOT 126405538 SOS 27721918 HAS SOPS 27721918 HAS SOUS 17341388 HAS SOUPS 17341388 WITH SCORE 1.7369109918E7
AT ITER 8994 NEW BEST:: SOT 126405056 SOS 27721433 HAS SOPS 27721433 HAS SOUS 17340905 HAS SOUPS 17340905 WITH SCORE 1.7368626433E7
AT ITER 9007 NEW BEST:: SOT 126405056 SOS 27721433 HAS SOPS 27721433 HAS SOUS 17340087 HAS SOUPS 17340087 WITH SCORE 1.7367808433E7
AT ITER 9010 NEW BEST:: SOT 126404831 SOS 27720983 HAS SOPS 27720983 HAS SOUS 17339637 HAS SOUPS 17339637 WITH SCORE 1.7367357983E7
AT ITER 9017 NEW BEST:: SOT 126403934 SOS 27715967 HAS SOPS 27715967 HAS SOUS 17337843 HAS SOUPS 17337843 WITH SCORE 1.7365558967E7
AT ITER 9025 NEW BEST:: SOT 126403934 SOS 27715967 HAS SOPS 27715967 HAS SOUS 17337842 HAS SOUPS 17337842 WITH SCORE 1.7365557967E7
AT ITER 9083 NEW BEST:: SOT 126403487 SOS 27715073 HAS SOPS 27715073 HAS SOUS 17336948 HAS SOUPS 17336948 WITH SCORE 1.7364663073E7
AT ITER 9124 NEW BEST:: SOT 126402410 SOS 27713996 HAS SOPS 27713996 HAS SOUS 17335871 HAS SOUPS 17335871 WITH SCORE 1.7363584996E7
AT ITER 9125 NEW BEST:: SOT 126402266 SOS 27714280 HAS SOPS 27714280 HAS SOUS 17335870 HAS SOUPS 17335870 WITH SCORE 1.736358428E7
AT ITER 9129 NEW BEST:: SOT 126402004 SOS 27715582 HAS SOPS 27715582 HAS SOUS 17335608 HAS SOUPS 17335608 WITH SCORE 1.7363323582E7
AT ITER 9148 NEW BEST:: SOT 126402004 SOS 27715582 HAS SOPS 27715582 HAS SOUS 17335408 HAS SOUPS 17335408 WITH SCORE 1.7363123582E7
AT ITER 9149 NEW BEST:: SOT 126400471 SOS 27714045 HAS SOPS 27714045 HAS SOUS 17333874 HAS SOUPS 17333874 WITH SCORE 1.7361588045E7
AT ITER 9153 NEW BEST:: SOT 126399270 SOS 27713722 HAS SOPS 27713722 HAS SOUS 17333551 HAS SOUPS 17333551 WITH SCORE 1.7361264722E7
AT ITER 9247 NEW BEST:: SOT 126398113 SOS 27721821 HAS SOPS 27721821 HAS SOUS 17331237 HAS SOUPS 17331237 WITH SCORE 1.7358958821E7
AT ITER 9254 NEW BEST:: SOT 126396383 SOS 27711269 HAS SOPS 27711269 HAS SOUS 17327777 HAS SOUPS 17327777 WITH SCORE 1.7355488269E7
AT ITER 9263 NEW BEST:: SOT 126394609 SOS 27703426 HAS SOPS 27703426 HAS SOUS 17324530 HAS SOUPS 17324530 WITH SCORE 1.7352233426E7
AT ITER 9266 NEW BEST:: SOT 126394517 SOS 27703242 HAS SOPS 27703242 HAS SOUS 17324346 HAS SOUPS 17324346 WITH SCORE 1.7352049242E7
AT ITER 9271 NEW BEST:: SOT 126393275 SOS 27700758 HAS SOPS 27700758 HAS SOUS 17321862 HAS SOUPS 17321862 WITH SCORE 1.7349562758E7
AT ITER 9277 NEW BEST:: SOT 126391933 SOS 27699412 HAS SOPS 27699412 HAS SOUS 17320519 HAS SOUPS 17320519 WITH SCORE 1.7348218412E7
AT ITER 9280 NEW BEST:: SOT 126392010 SOS 27699566 HAS SOPS 27699566 HAS SOUS 17320337 HAS SOUPS 17320337 WITH SCORE 1.7348036566E7
AT ITER 9287 NEW BEST:: SOT 126391269 SOS 27702839 HAS SOPS 27702839 HAS SOUS 17318855 HAS SOUPS 17318855 WITH SCORE 1.7346557839E7
AT ITER 9306 NEW BEST:: SOT 126391269 SOS 27702839 HAS SOPS 27702839 HAS SOUS 17318854 HAS SOUPS 17318854 WITH SCORE 1.7346556839E7
AT ITER 9308 NEW BEST:: SOT 126391269 SOS 27702839 HAS SOPS 27702839 HAS SOUS 17318605 HAS SOUPS 17318605 WITH SCORE 1.7346307839E7
AT ITER 9315 NEW BEST:: SOT 126391482 SOS 27703265 HAS SOPS 27703265 HAS SOUS 17317705 HAS SOUPS 17317705 WITH SCORE 1.7345408265E7
AT ITER 9316 NEW BEST:: SOT 126390575 SOS 27701451 HAS SOPS 27701451 HAS SOUS 17315891 HAS SOUPS 17315891 WITH SCORE 1.7343592451E7
AT ITER 9330 NEW BEST:: SOT 126391669 SOS 27701449 HAS SOPS 27701449 HAS SOUS 17315890 HAS SOUPS 17315890 WITH SCORE 1.7343591449E7
AT ITER 9336 NEW BEST:: SOT 126391669 SOS 27701429 HAS SOPS 27701429 HAS SOUS 17315890 HAS SOUPS 17315890 WITH SCORE 1.7343591429E7
AT ITER 9339 NEW BEST:: SOT 126391645 SOS 27701425 HAS SOPS 27701425 HAS SOUS 17315877 HAS SOUPS 17315877 WITH SCORE 1.7343578425E7
AT ITER 9351 NEW BEST:: SOT 126389604 SOS 27700742 HAS SOPS 27700742 HAS SOUS 17315194 HAS SOUPS 17315194 WITH SCORE 1.7342894742E7
AT ITER 9364 NEW BEST:: SOT 126389589 SOS 27700732 HAS SOPS 27700732 HAS SOUS 17315184 HAS SOUPS 17315184 WITH SCORE 1.7342884732E7
AT ITER 9373 NEW BEST:: SOT 126388980 SOS 27700326 HAS SOPS 27700326 HAS SOUS 17314578 HAS SOUPS 17314578 WITH SCORE 1.7342278326E7
AT ITER 9394 NEW BEST:: SOT 126388521 SOS 27699986 HAS SOPS 27699986 HAS SOUS 17314238 HAS SOUPS 17314238 WITH SCORE 1.7341937986E7
AT ITER 9401 NEW BEST:: SOT 126388521 SOS 27700473 HAS SOPS 27700473 HAS SOUS 17314237 HAS SOUPS 17314237 WITH SCORE 1.7341937473E7
AT ITER 9436 NEW BEST:: SOT 126387194 SOS 27697820 HAS SOPS 27697820 HAS SOUS 17311584 HAS SOUPS 17311584 WITH SCORE 1.733928182E7
AT ITER 9452 NEW BEST:: SOT 126387194 SOS 27697456 HAS SOPS 27697456 HAS SOUS 17311584 HAS SOUPS 17311584 WITH SCORE 1.7339281456E7
AT ITER 9464 NEW BEST:: SOT 126387194 SOS 27697456 HAS SOPS 27697456 HAS SOUS 17311583 HAS SOUPS 17311583 WITH SCORE 1.7339280456E7
AT ITER 9497 NEW BEST:: SOT 126386734 SOS 27698140 HAS SOPS 27698140 HAS SOUS 17311465 HAS SOUPS 17311465 WITH SCORE 1.733916314E7
AT ITER 9501 NEW BEST:: SOT 126386637 SOS 27696898 HAS SOPS 27696898 HAS SOUS 17311368 HAS SOUPS 17311368 WITH SCORE 1.7339064898E7
AT ITER 9512 NEW BEST:: SOT 126386637 SOS 27695772 HAS SOPS 27695772 HAS SOUS 17310242 HAS SOUPS 17310242 WITH SCORE 1.7337937772E7
AT ITER 9526 NEW BEST:: SOT 126386637 SOS 27694796 HAS SOPS 27694796 HAS SOUS 17310242 HAS SOUPS 17310242 WITH SCORE 1.7337936796E7
AT ITER 9610 NEW BEST:: SOT 126385489 SOS 27682134 HAS SOPS 27682134 HAS SOUS 17305880 HAS SOUPS 17305880 WITH SCORE 1.7333562134E7
AT ITER 9619 NEW BEST:: SOT 126381884 SOS 27677912 HAS SOPS 27677912 HAS SOUS 17305085 HAS SOUPS 17305085 WITH SCORE 1.7332762912E7
AT ITER 9645 NEW BEST:: SOT 126381723 SOS 27677590 HAS SOPS 27677590 HAS SOUS 17304763 HAS SOUPS 17304763 WITH SCORE 1.733244059E7
AT ITER 9674 NEW BEST:: SOT 126381677 SOS 27677498 HAS SOPS 27677498 HAS SOUS 17304360 HAS SOUPS 17304360 WITH SCORE 1.7332037498E7
AT ITER 9702 NEW BEST:: SOT 126380528 SOS 27675200 HAS SOPS 27675200 HAS SOUS 17302756 HAS SOUPS 17302756 WITH SCORE 1.73304312E7
AT ITER 9752 NEW BEST:: SOT 126380528 SOS 27675200 HAS SOPS 27675200 HAS SOUS 17302755 HAS SOUPS 17302755 WITH SCORE 1.73304302E7
AT ITER 9765 NEW BEST:: SOT 126377721 SOS 27695418 HAS SOPS 27695418 HAS SOUS 17302474 HAS SOUPS 17302474 WITH SCORE 1.7330169418E7
AT ITER 9783 NEW BEST:: SOT 126375993 SOS 27699623 HAS SOPS 27699623 HAS SOUS 17298728 HAS SOUPS 17298728 WITH SCORE 1.7326427623E7
AT ITER 9787 NEW BEST:: SOT 126376496 SOS 27700125 HAS SOPS 27700125 HAS SOUS 17298727 HAS SOUPS 17298727 WITH SCORE 1.7326427125E7
AT ITER 9801 NEW BEST:: SOT 126375604 SOS 27698341 HAS SOPS 27698341 HAS SOUS 17296943 HAS SOUPS 17296943 WITH SCORE 1.7324641341E7
AT ITER 9808 NEW BEST:: SOT 126375490 SOS 27698227 HAS SOPS 27698227 HAS SOUS 17296943 HAS SOUPS 17296943 WITH SCORE 1.7324641227E7
AT ITER 9822 NEW BEST:: SOT 126375351 SOS 27697949 HAS SOPS 27697949 HAS SOUS 17296665 HAS SOUPS 17296665 WITH SCORE 1.7324362949E7
AT ITER 9827 NEW BEST:: SOT 126375351 SOS 27697949 HAS SOPS 27697949 HAS SOUS 17296664 HAS SOUPS 17296664 WITH SCORE 1.7324361949E7
AT ITER 9843 NEW BEST:: SOT 126375749 SOS 27698745 HAS SOPS 27698745 HAS SOUS 17295950 HAS SOUPS 17295950 WITH SCORE 1.7323648745E7
AT ITER 9892 NEW BEST:: SOT 126374125 SOS 27697121 HAS SOPS 27697121 HAS SOUS 17294326 HAS SOUPS 17294326 WITH SCORE 1.7322023121E7
AT ITER 9904 NEW BEST:: SOT 126374125 SOS 27696637 HAS SOPS 27696637 HAS SOUS 17294084 HAS SOUPS 17294084 WITH SCORE 1.7321780637E7
AT ITER 9944 NEW BEST:: SOT 126374004 SOS 27696395 HAS SOPS 27696395 HAS SOUS 17293954 HAS SOUPS 17293954 WITH SCORE 1.7321650395E7
AT ITER 9952 NEW BEST:: SOT 126373112 SOS 27694611 HAS SOPS 27694611 HAS SOUS 17292170 HAS SOUPS 17292170 WITH SCORE 1.7319864611E7
AT ITER 9982 NEW BEST:: SOT 126373111 SOS 27694609 HAS SOPS 27694609 HAS SOUS 17292168 HAS SOUPS 17292168 WITH SCORE 1.7319862609E7
AT ITER 9992 NEW BEST:: SOT 126373111 SOS 27700527 HAS SOPS 27700527 HAS SOUS 17290193 HAS SOUPS 17290193 WITH SCORE 1.7317893527E7

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-4b"
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-4b, 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-158902542100384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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