About the Execution of smart for DLCflexbar-PT-7b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15766.000 | 3600000.00 | 3600070.00 | 0.00 | [undef] | Time out reached |
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-158902542200432.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-7b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200432
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 3.6K Mar 30 13:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 13:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 03:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 03:19 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.2K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 27 18:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 27 18:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 16:49 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 14M 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 1589119953442
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 7b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 35101 places, 55507 transitions, 156636 arcs.
AT ITER 0 NEW BEST:: SOT 1309932565 SOS 308057123 HAS SOPS 308057123 HAS SOUS 177018422 HAS SOUPS 177018422 WITH SCORE 1.77326479123E8
AT ITER 7 NEW BEST:: SOT 1309932565 SOS 308048966 HAS SOPS 308048966 HAS SOUS 177015703 HAS SOUPS 177015703 WITH SCORE 1.77323751966E8
AT ITER 23 NEW BEST:: SOT 1309838828 SOS 308999022 HAS SOPS 308999022 HAS SOUS 176941152 HAS SOUPS 176941152 WITH SCORE 1.77250151022E8
AT ITER 24 NEW BEST:: SOT 1309835884 SOS 308993134 HAS SOPS 308993134 HAS SOUS 176940017 HAS SOUPS 176940017 WITH SCORE 1.77249010134E8
AT ITER 43 NEW BEST:: SOT 1309832953 SOS 308991067 HAS SOPS 308991067 HAS SOUS 176937950 HAS SOUPS 176937950 WITH SCORE 1.77246941067E8
AT ITER 75 NEW BEST:: SOT 1309831432 SOS 308990053 HAS SOPS 308990053 HAS SOUS 176936936 HAS SOUPS 176936936 WITH SCORE 1.77245926053E8
AT ITER 80 NEW BEST:: SOT 1309831432 SOS 308975935 HAS SOPS 308975935 HAS SOUS 176936935 HAS SOUPS 176936935 WITH SCORE 1.77245910935E8
AT ITER 92 NEW BEST:: SOT 1309825444 SOS 308970938 HAS SOPS 308970938 HAS SOUS 176931938 HAS SOUPS 176931938 WITH SCORE 1.77240908938E8
AT ITER 102 NEW BEST:: SOT 1309825449 SOS 308970948 HAS SOPS 308970948 HAS SOUS 176919344 HAS SOUPS 176919344 WITH SCORE 1.77228314948E8
AT ITER 125 NEW BEST:: SOT 1309828041 SOS 308968356 HAS SOPS 308968356 HAS SOUS 176919344 HAS SOUPS 176919344 WITH SCORE 1.77228312356E8
AT ITER 132 NEW BEST:: SOT 1309828041 SOS 308966775 HAS SOPS 308966775 HAS SOUS 176917763 HAS SOUPS 176917763 WITH SCORE 1.77226729775E8
AT ITER 150 NEW BEST:: SOT 1309822570 SOS 308966775 HAS SOPS 308966775 HAS SOUS 176912292 HAS SOUPS 176912292 WITH SCORE 1.77221258775E8
AT ITER 164 NEW BEST:: SOT 1309816808 SOS 308962849 HAS SOPS 308962849 HAS SOUS 176908366 HAS SOUPS 176908366 WITH SCORE 1.77217328849E8
AT ITER 184 NEW BEST:: SOT 1309816807 SOS 308962847 HAS SOPS 308962847 HAS SOUS 176908364 HAS SOUPS 176908364 WITH SCORE 1.77217326847E8
AT ITER 188 NEW BEST:: SOT 1309816434 SOS 308962101 HAS SOPS 308962101 HAS SOUS 176907990 HAS SOUPS 176907990 WITH SCORE 1.77216952101E8
AT ITER 196 NEW BEST:: SOT 1309815491 SOS 308963979 HAS SOPS 308963979 HAS SOUS 176907045 HAS SOUPS 176907045 WITH SCORE 1.77216008979E8
AT ITER 243 NEW BEST:: SOT 1309815461 SOS 308964209 HAS SOPS 308964209 HAS SOUS 176907044 HAS SOUPS 176907044 WITH SCORE 1.77216008209E8
AT ITER 258 NEW BEST:: SOT 1309811886 SOS 308957059 HAS SOPS 308957059 HAS SOUS 176903468 HAS SOUPS 176903468 WITH SCORE 1.77212425059E8
AT ITER 264 NEW BEST:: SOT 1309811886 SOS 308946082 HAS SOPS 308946082 HAS SOUS 176903468 HAS SOUPS 176903468 WITH SCORE 1.77212414082E8
AT ITER 284 NEW BEST:: SOT 1309808844 SOS 308943036 HAS SOPS 308943036 HAS SOUS 176900425 HAS SOUPS 176900425 WITH SCORE 1.77209368036E8
AT ITER 330 NEW BEST:: SOT 1309806155 SOS 308937658 HAS SOPS 308937658 HAS SOUS 176895047 HAS SOUPS 176895047 WITH SCORE 1.77203984658E8
AT ITER 331 NEW BEST:: SOT 1309800020 SOS 308947224 HAS SOPS 308947224 HAS SOUS 176882776 HAS SOUPS 176882776 WITH SCORE 1.77191723224E8
AT ITER 336 NEW BEST:: SOT 1309797588 SOS 308949656 HAS SOPS 308949656 HAS SOUS 176880344 HAS SOUPS 176880344 WITH SCORE 1.77189293656E8
AT ITER 342 NEW BEST:: SOT 1309797110 SOS 308950131 HAS SOPS 308950131 HAS SOUS 176879865 HAS SOUPS 176879865 WITH SCORE 1.77188815131E8
AT ITER 346 NEW BEST:: SOT 1309797110 SOS 308940741 HAS SOPS 308940741 HAS SOUS 176876735 HAS SOUPS 176876735 WITH SCORE 1.77185675741E8
AT ITER 353 NEW BEST:: SOT 1309796042 SOS 308939796 HAS SOPS 308939796 HAS SOUS 176875790 HAS SOUPS 176875790 WITH SCORE 1.77184729796E8
AT ITER 369 NEW BEST:: SOT 1309792780 SOS 308933272 HAS SOPS 308933272 HAS SOUS 176873405 HAS SOUPS 176873405 WITH SCORE 1.77182338272E8
AT ITER 379 NEW BEST:: SOT 1309787162 SOS 308942706 HAS SOPS 308942706 HAS SOUS 176868422 HAS SOUPS 176868422 WITH SCORE 1.77177364706E8
AT ITER 445 NEW BEST:: SOT 1309780523 SOS 308936067 HAS SOPS 308936067 HAS SOUS 176861783 HAS SOUPS 176861783 WITH SCORE 1.77170719067E8
AT ITER 478 NEW BEST:: SOT 1309775372 SOS 308925765 HAS SOPS 308925765 HAS SOUS 176856632 HAS SOUPS 176856632 WITH SCORE 1.77165557765E8
AT ITER 481 NEW BEST:: SOT 1309769274 SOS 308919663 HAS SOPS 308919663 HAS SOUS 176850533 HAS SOUPS 176850533 WITH SCORE 1.77159452663E8
AT ITER 499 NEW BEST:: SOT 1309766015 SOS 308930446 HAS SOPS 308930446 HAS SOUS 176841606 HAS SOUPS 176841606 WITH SCORE 1.77150536446E8
AT ITER 500 NEW BEST:: SOT 1309765231 SOS 308927310 HAS SOPS 308927310 HAS SOUS 176840822 HAS SOUPS 176840822 WITH SCORE 1.7714974931E8
AT ITER 524 NEW BEST:: SOT 1309765101 SOS 308927050 HAS SOPS 308927050 HAS SOUS 176840562 HAS SOUPS 176840562 WITH SCORE 1.7714948905E8
AT ITER 536 NEW BEST:: SOT 1309760343 SOS 308917534 HAS SOPS 308917534 HAS SOUS 176831046 HAS SOUPS 176831046 WITH SCORE 1.77139963534E8
AT ITER 568 NEW BEST:: SOT 1309760342 SOS 308917532 HAS SOPS 308917532 HAS SOUS 176831044 HAS SOUPS 176831044 WITH SCORE 1.77139961532E8
AT ITER 575 NEW BEST:: SOT 1309756837 SOS 308921030 HAS SOPS 308921030 HAS SOUS 176827537 HAS SOUPS 176827537 WITH SCORE 1.7713645803E8
AT ITER 614 NEW BEST:: SOT 1309743851 SOS 308843114 HAS SOPS 308843114 HAS SOUS 176808058 HAS SOUPS 176808058 WITH SCORE 1.77116901114E8
AT ITER 622 NEW BEST:: SOT 1309738367 SOS 308843112 HAS SOPS 308843112 HAS SOUS 176808056 HAS SOUPS 176808056 WITH SCORE 1.77116899112E8
AT ITER 650 NEW BEST:: SOT 1309738367 SOS 308843112 HAS SOPS 308843112 HAS SOUS 176808055 HAS SOUPS 176808055 WITH SCORE 1.77116898112E8
AT ITER 670 NEW BEST:: SOT 1309736078 SOS 308840823 HAS SOPS 308840823 HAS SOUS 176805766 HAS SOUPS 176805766 WITH SCORE 1.77114606823E8
AT ITER 692 NEW BEST:: SOT 1309736078 SOS 308840823 HAS SOPS 308840823 HAS SOUS 176805765 HAS SOUPS 176805765 WITH SCORE 1.77114605823E8
AT ITER 699 NEW BEST:: SOT 1309725091 SOS 308840823 HAS SOPS 308840823 HAS SOUS 176792809 HAS SOUPS 176792809 WITH SCORE 1.77101649823E8
AT ITER 710 NEW BEST:: SOT 1309723612 SOS 308837865 HAS SOPS 308837865 HAS SOUS 176785121 HAS SOUPS 176785121 WITH SCORE 1.77093958865E8
AT ITER 735 NEW BEST:: SOT 1309723612 SOS 308830263 HAS SOPS 308830263 HAS SOUS 176782587 HAS SOUPS 176782587 WITH SCORE 1.77091417263E8
AT ITER 769 NEW BEST:: SOT 1309720685 SOS 308824409 HAS SOPS 308824409 HAS SOUS 176776733 HAS SOUPS 176776733 WITH SCORE 1.77085557409E8
AT ITER 785 NEW BEST:: SOT 1309719702 SOS 308822443 HAS SOPS 308822443 HAS SOUS 176774767 HAS SOUPS 176774767 WITH SCORE 1.77083589443E8
AT ITER 790 NEW BEST:: SOT 1309713445 SOS 308835017 HAS SOPS 308835017 HAS SOUS 176762252 HAS SOUPS 176762252 WITH SCORE 1.77071087017E8
AT ITER 801 NEW BEST:: SOT 1309712881 SOS 308833889 HAS SOPS 308833889 HAS SOUS 176761124 HAS SOUPS 176761124 WITH SCORE 1.77069957889E8
AT ITER 814 NEW BEST:: SOT 1309708156 SOS 308824439 HAS SOPS 308824439 HAS SOUS 176751674 HAS SOUPS 176751674 WITH SCORE 1.77060498439E8
AT ITER 860 NEW BEST:: SOT 1309699449 SOS 308833146 HAS SOPS 308833146 HAS SOUS 176742967 HAS SOUPS 176742967 WITH SCORE 1.77051800146E8
AT ITER 869 NEW BEST:: SOT 1309699449 SOS 308830468 HAS SOPS 308830468 HAS SOUS 176740289 HAS SOUPS 176740289 WITH SCORE 1.77049119468E8
AT ITER 875 NEW BEST:: SOT 1309699448 SOS 308830466 HAS SOPS 308830466 HAS SOUS 176740287 HAS SOUPS 176740287 WITH SCORE 1.77049117466E8
AT ITER 898 NEW BEST:: SOT 1309697862 SOS 308827294 HAS SOPS 308827294 HAS SOUS 176737115 HAS SOUPS 176737115 WITH SCORE 1.77045942294E8
AT ITER 903 NEW BEST:: SOT 1309675412 SOS 308818570 HAS SOPS 308818570 HAS SOUS 176735916 HAS SOUPS 176735916 WITH SCORE 1.7704473457E8
AT ITER 942 NEW BEST:: SOT 1309672565 SOS 308815723 HAS SOPS 308815723 HAS SOUS 176733069 HAS SOUPS 176733069 WITH SCORE 1.77041884723E8
AT ITER 956 NEW BEST:: SOT 1309667532 SOS 308805657 HAS SOPS 308805657 HAS SOUS 176728036 HAS SOUPS 176728036 WITH SCORE 1.77036841657E8
AT ITER 967 NEW BEST:: SOT 1309657535 SOS 308805657 HAS SOPS 308805657 HAS SOUS 176718039 HAS SOUPS 176718039 WITH SCORE 1.77026844657E8
AT ITER 1010 NEW BEST:: SOT 1309657112 SOS 308805912 HAS SOPS 308805912 HAS SOUS 176717956 HAS SOUPS 176717956 WITH SCORE 1.77026761912E8
AT ITER 1023 NEW BEST:: SOT 1309655989 SOS 308805911 HAS SOPS 308805911 HAS SOUS 176717955 HAS SOUPS 176717955 WITH SCORE 1.77026760911E8
AT ITER 1030 NEW BEST:: SOT 1309655989 SOS 308805911 HAS SOPS 308805911 HAS SOUS 176717856 HAS SOUPS 176717856 WITH SCORE 1.77026661911E8
AT ITER 1082 NEW BEST:: SOT 1309653045 SOS 308800023 HAS SOPS 308800023 HAS SOUS 176716513 HAS SOUPS 176716513 WITH SCORE 1.77025313023E8
AT ITER 1098 NEW BEST:: SOT 1309655116 SOS 308804165 HAS SOPS 308804165 HAS SOUS 176715845 HAS SOUPS 176715845 WITH SCORE 1.77024649165E8
AT ITER 1111 NEW BEST:: SOT 1309653131 SOS 308800195 HAS SOPS 308800195 HAS SOUS 176711875 HAS SOUPS 176711875 WITH SCORE 1.77020675195E8
AT ITER 1122 NEW BEST:: SOT 1309651763 SOS 308797459 HAS SOPS 308797459 HAS SOUS 176709139 HAS SOUPS 176709139 WITH SCORE 1.77017936459E8
AT ITER 1163 NEW BEST:: SOT 1309650620 SOS 308796316 HAS SOPS 308796316 HAS SOUS 176707996 HAS SOUPS 176707996 WITH SCORE 1.77016792316E8
AT ITER 1164 NEW BEST:: SOT 1309649834 SOS 308794744 HAS SOPS 308794744 HAS SOUS 176707209 HAS SOUPS 176707209 WITH SCORE 1.77016003744E8
AT ITER 1166 NEW BEST:: SOT 1309645954 SOS 308786252 HAS SOPS 308786252 HAS SOUS 176698717 HAS SOUPS 176698717 WITH SCORE 1.77007503252E8
AT ITER 1174 NEW BEST:: SOT 1309645954 SOS 308786141 HAS SOPS 308786141 HAS SOUS 176698606 HAS SOUPS 176698606 WITH SCORE 1.77007392141E8
AT ITER 1179 NEW BEST:: SOT 1309648092 SOS 308790417 HAS SOPS 308790417 HAS SOUS 176690219 HAS SOUPS 176690219 WITH SCORE 1.76999009417E8
AT ITER 1188 NEW BEST:: SOT 1309642695 SOS 308785016 HAS SOPS 308785016 HAS SOUS 176684821 HAS SOUPS 176684821 WITH SCORE 1.76993606016E8
AT ITER 1212 NEW BEST:: SOT 1309642695 SOS 308782011 HAS SOPS 308782011 HAS SOUS 176681816 HAS SOUPS 176681816 WITH SCORE 1.76990598011E8
AT ITER 1215 NEW BEST:: SOT 1309642693 SOS 308782007 HAS SOPS 308782007 HAS SOUS 176681812 HAS SOUPS 176681812 WITH SCORE 1.76990594007E8
AT ITER 1223 NEW BEST:: SOT 1309641027 SOS 308790399 HAS SOPS 308790399 HAS SOUS 176680146 HAS SOUPS 176680146 WITH SCORE 1.76988936399E8
AT ITER 1326 NEW BEST:: SOT 1309635914 SOS 308795508 HAS SOPS 308795508 HAS SOUS 176669919 HAS SOUPS 176669919 WITH SCORE 1.76978714508E8
AT ITER 1375 NEW BEST:: SOT 1309635056 SOS 308793792 HAS SOPS 308793792 HAS SOUS 176669061 HAS SOUPS 176669061 WITH SCORE 1.76977854792E8
AT ITER 1442 NEW BEST:: SOT 1309633205 SOS 308790090 HAS SOPS 308790090 HAS SOUS 176658799 HAS SOUPS 176658799 WITH SCORE 1.7696758909E8
AT ITER 1453 NEW BEST:: SOT 1309626574 SOS 308784094 HAS SOPS 308784094 HAS SOUS 176652803 HAS SOUPS 176652803 WITH SCORE 1.76961587094E8
AT ITER 1460 NEW BEST:: SOT 1309624831 SOS 308784090 HAS SOPS 308784090 HAS SOUS 176652802 HAS SOUPS 176652802 WITH SCORE 1.7696158609E8
AT ITER 1495 NEW BEST:: SOT 1309624831 SOS 308781829 HAS SOPS 308781829 HAS SOUS 176652802 HAS SOUPS 176652802 WITH SCORE 1.76961583829E8
AT ITER 1497 NEW BEST:: SOT 1309618409 SOS 308775697 HAS SOPS 308775697 HAS SOUS 176646380 HAS SOUPS 176646380 WITH SCORE 1.76955155697E8
AT ITER 1527 NEW BEST:: SOT 1309614138 SOS 308771422 HAS SOPS 308771422 HAS SOUS 176642108 HAS SOUPS 176642108 WITH SCORE 1.76950879422E8
AT ITER 1566 NEW BEST:: SOT 1309614138 SOS 308771422 HAS SOPS 308771422 HAS SOUS 176642107 HAS SOUPS 176642107 WITH SCORE 1.76950878422E8
AT ITER 1602 NEW BEST:: SOT 1309614138 SOS 308785110 HAS SOPS 308785110 HAS SOUS 176637542 HAS SOUPS 176637542 WITH SCORE 1.7694632711E8
AT ITER 1628 NEW BEST:: SOT 1309611786 SOS 308784672 HAS SOPS 308784672 HAS SOUS 176635682 HAS SOUPS 176635682 WITH SCORE 1.76944466672E8
AT ITER 1664 NEW BEST:: SOT 1309608031 SOS 308780917 HAS SOPS 308780917 HAS SOUS 176631927 HAS SOUPS 176631927 WITH SCORE 1.76940707917E8
AT ITER 1684 NEW BEST:: SOT 1309602593 SOS 308778049 HAS SOPS 308778049 HAS SOUS 176628024 HAS SOUPS 176628024 WITH SCORE 1.76936802049E8
AT ITER 1698 NEW BEST:: SOT 1309596737 SOS 308778039 HAS SOPS 308778039 HAS SOUS 176625237 HAS SOUPS 176625237 WITH SCORE 1.76934015039E8
AT ITER 1730 NEW BEST:: SOT 1309583076 SOS 308788764 HAS SOPS 308788764 HAS SOUS 176622526 HAS SOUPS 176622526 WITH SCORE 1.76931314764E8
AT ITER 1745 NEW BEST:: SOT 1309576211 SOS 308782005 HAS SOPS 308782005 HAS SOUS 176615767 HAS SOUPS 176615767 WITH SCORE 1.76924549005E8
AT ITER 1746 NEW BEST:: SOT 1309574903 SOS 308779389 HAS SOPS 308779389 HAS SOUS 176613151 HAS SOUPS 176613151 WITH SCORE 1.76921930389E8
AT ITER 1770 NEW BEST:: SOT 1309572202 SOS 308773987 HAS SOPS 308773987 HAS SOUS 176607749 HAS SOUPS 176607749 WITH SCORE 1.76916522987E8
AT ITER 1791 NEW BEST:: SOT 1309571038 SOS 308771659 HAS SOPS 308771659 HAS SOUS 176605421 HAS SOUPS 176605421 WITH SCORE 1.76914192659E8
AT ITER 1810 NEW BEST:: SOT 1309569845 SOS 308770466 HAS SOPS 308770466 HAS SOUS 176604228 HAS SOUPS 176604228 WITH SCORE 1.76912998466E8
AT ITER 1813 NEW BEST:: SOT 1309569794 SOS 308770364 HAS SOPS 308770364 HAS SOUS 176604126 HAS SOUPS 176604126 WITH SCORE 1.76912896364E8
AT ITER 1826 NEW BEST:: SOT 1309569794 SOS 308771920 HAS SOPS 308771920 HAS SOUS 176604124 HAS SOUPS 176604124 WITH SCORE 1.7691289592E8
AT ITER 1827 NEW BEST:: SOT 1309563734 SOS 308767365 HAS SOPS 308767365 HAS SOUS 176599569 HAS SOUPS 176599569 WITH SCORE 1.76908336365E8
AT ITER 1850 NEW BEST:: SOT 1309562356 SOS 308770117 HAS SOPS 308770117 HAS SOUS 176598190 HAS SOUPS 176598190 WITH SCORE 1.76906960117E8
AT ITER 1881 NEW BEST:: SOT 1309560100 SOS 308765605 HAS SOPS 308765605 HAS SOUS 176595933 HAS SOUPS 176595933 WITH SCORE 1.76904698605E8
AT ITER 1915 NEW BEST:: SOT 1309559493 SOS 308764391 HAS SOPS 308764391 HAS SOUS 176594719 HAS SOUPS 176594719 WITH SCORE 1.76903483391E8
AT ITER 1926 NEW BEST:: SOT 1309554267 SOS 308753940 HAS SOPS 308753940 HAS SOUS 176588067 HAS SOUPS 176588067 WITH SCORE 1.7689682094E8
AT ITER 1944 NEW BEST:: SOT 1309554267 SOS 308783796 HAS SOPS 308783796 HAS SOUS 176584483 HAS SOUPS 176584483 WITH SCORE 1.76893266796E8
AT ITER 1952 NEW BEST:: SOT 1309554267 SOS 308768766 HAS SOPS 308768766 HAS SOUS 176584483 HAS SOUPS 176584483 WITH SCORE 1.76893251766E8
AT ITER 1977 NEW BEST:: SOT 1309554266 SOS 308768764 HAS SOPS 308768764 HAS SOUS 176584481 HAS SOUPS 176584481 WITH SCORE 1.76893249764E8
AT ITER 1998 NEW BEST:: SOT 1309554266 SOS 308782779 HAS SOPS 308782779 HAS SOUS 176579807 HAS SOUPS 176579807 WITH SCORE 1.76888589779E8
AT ITER 2001 NEW BEST:: SOT 1309553830 SOS 308781907 HAS SOPS 308781907 HAS SOUS 176578935 HAS SOUPS 176578935 WITH SCORE 1.76887716907E8
AT ITER 2009 NEW BEST:: SOT 1309553830 SOS 308771533 HAS SOPS 308771533 HAS SOUS 176575477 HAS SOUPS 176575477 WITH SCORE 1.76884248533E8
AT ITER 2033 NEW BEST:: SOT 1309553828 SOS 308771529 HAS SOPS 308771529 HAS SOUS 176575473 HAS SOUPS 176575473 WITH SCORE 1.76884244529E8
AT ITER 2045 NEW BEST:: SOT 1309551870 SOS 308767613 HAS SOPS 308767613 HAS SOUS 176573515 HAS SOUPS 176573515 WITH SCORE 1.76882282613E8
AT ITER 2127 NEW BEST:: SOT 1309550933 SOS 308765739 HAS SOPS 308765739 HAS SOUS 176572578 HAS SOUPS 176572578 WITH SCORE 1.76881343739E8
AT ITER 2177 NEW BEST:: SOT 1309550933 SOS 308754072 HAS SOPS 308754072 HAS SOUS 176568689 HAS SOUPS 176568689 WITH SCORE 1.76877443072E8
AT ITER 2181 NEW BEST:: SOT 1309550933 SOS 308755016 HAS SOPS 308755016 HAS SOUS 176568688 HAS SOUPS 176568688 WITH SCORE 1.76877443016E8
AT ITER 2182 NEW BEST:: SOT 1309550933 SOS 308783039 HAS SOPS 308783039 HAS SOUS 176565906 HAS SOUPS 176565906 WITH SCORE 1.76874689039E8
AT ITER 2207 NEW BEST:: SOT 1309538948 SOS 308777777 HAS SOPS 308777777 HAS SOUS 176554051 HAS SOUPS 176554051 WITH SCORE 1.76862828777E8
AT ITER 2229 NEW BEST:: SOT 1309531360 SOS 308770185 HAS SOPS 308770185 HAS SOUS 176546462 HAS SOUPS 176546462 WITH SCORE 1.76855232185E8
AT ITER 2244 NEW BEST:: SOT 1309531360 SOS 308770185 HAS SOPS 308770185 HAS SOUS 176546461 HAS SOUPS 176546461 WITH SCORE 1.76855231185E8
AT ITER 2288 NEW BEST:: SOT 1309531360 SOS 308757252 HAS SOPS 308757252 HAS SOUS 176546461 HAS SOUPS 176546461 WITH SCORE 1.76855218252E8
AT ITER 2296 NEW BEST:: SOT 1309531360 SOS 308755689 HAS SOPS 308755689 HAS SOUS 176546461 HAS SOUPS 176546461 WITH SCORE 1.76855216689E8
AT ITER 2303 NEW BEST:: SOT 1309528619 SOS 308750207 HAS SOPS 308750207 HAS SOUS 176540979 HAS SOUPS 176540979 WITH SCORE 1.76849729207E8
AT ITER 2332 NEW BEST:: SOT 1309528619 SOS 308739761 HAS SOPS 308739761 HAS SOUS 176540978 HAS SOUPS 176540978 WITH SCORE 1.76849717761E8
AT ITER 2351 NEW BEST:: SOT 1309519260 SOS 308714744 HAS SOPS 308714744 HAS SOUS 176518734 HAS SOUPS 176518734 WITH SCORE 1.76827448744E8
AT ITER 2352 NEW BEST:: SOT 1309518622 SOS 308713468 HAS SOPS 308713468 HAS SOUS 176517458 HAS SOUPS 176517458 WITH SCORE 1.76826171468E8
AT ITER 2366 NEW BEST:: SOT 1309508904 SOS 308703750 HAS SOPS 308703750 HAS SOUS 176507740 HAS SOUPS 176507740 WITH SCORE 1.7681644375E8
AT ITER 2418 NEW BEST:: SOT 1309505065 SOS 308696072 HAS SOPS 308696072 HAS SOUS 176500062 HAS SOUPS 176500062 WITH SCORE 1.76808758072E8
AT ITER 2432 NEW BEST:: SOT 1309498818 SOS 308704580 HAS SOPS 308704580 HAS SOUS 176487567 HAS SOUPS 176487567 WITH SCORE 1.7679627158E8
AT ITER 2447 NEW BEST:: SOT 1309490834 SOS 308696596 HAS SOPS 308696596 HAS SOUS 176479583 HAS SOUPS 176479583 WITH SCORE 1.76788279596E8
AT ITER 2491 NEW BEST:: SOT 1309490833 SOS 308696594 HAS SOPS 308696594 HAS SOUS 176479581 HAS SOUPS 176479581 WITH SCORE 1.76788277594E8
AT ITER 2494 NEW BEST:: SOT 1309485387 SOS 308691148 HAS SOPS 308691148 HAS SOUS 176474135 HAS SOUPS 176474135 WITH SCORE 1.76782826148E8
AT ITER 2498 NEW BEST:: SOT 1309480420 SOS 308686177 HAS SOPS 308686177 HAS SOUS 176469167 HAS SOUPS 176469167 WITH SCORE 1.76777853177E8
AT ITER 2528 NEW BEST:: SOT 1309480230 SOS 308685797 HAS SOPS 308685797 HAS SOUS 176466538 HAS SOUPS 176466538 WITH SCORE 1.76775223797E8
AT ITER 2531 NEW BEST:: SOT 1309479466 SOS 308684269 HAS SOPS 308684269 HAS SOUS 176465774 HAS SOUPS 176465774 WITH SCORE 1.76774458269E8
AT ITER 2557 NEW BEST:: SOT 1309479466 SOS 308674954 HAS SOPS 308674954 HAS SOUS 176465773 HAS SOUPS 176465773 WITH SCORE 1.76774447954E8
AT ITER 2595 NEW BEST:: SOT 1309473232 SOS 308668720 HAS SOPS 308668720 HAS SOUS 176459539 HAS SOUPS 176459539 WITH SCORE 1.7676820772E8
AT ITER 2604 NEW BEST:: SOT 1309470237 SOS 308670942 HAS SOPS 308670942 HAS SOUS 176455602 HAS SOUPS 176455602 WITH SCORE 1.76764272942E8
AT ITER 2611 NEW BEST:: SOT 1309467460 SOS 308665388 HAS SOPS 308665388 HAS SOUS 176454690 HAS SOUPS 176454690 WITH SCORE 1.76763355388E8
AT ITER 2639 NEW BEST:: SOT 1309463489 SOS 308657446 HAS SOPS 308657446 HAS SOUS 176446748 HAS SOUPS 176446748 WITH SCORE 1.76755405446E8
AT ITER 2699 NEW BEST:: SOT 1309463489 SOS 308657446 HAS SOPS 308657446 HAS SOUS 176446747 HAS SOUPS 176446747 WITH SCORE 1.76755404446E8
AT ITER 2712 NEW BEST:: SOT 1309460702 SOS 308651872 HAS SOPS 308651872 HAS SOUS 176441173 HAS SOUPS 176441173 WITH SCORE 1.76749824872E8
AT ITER 2724 NEW BEST:: SOT 1309455237 SOS 308646407 HAS SOPS 308646407 HAS SOUS 176435708 HAS SOUPS 176435708 WITH SCORE 1.76744354407E8
AT ITER 2761 NEW BEST:: SOT 1309455237 SOS 308644597 HAS SOPS 308644597 HAS SOUS 176435708 HAS SOUPS 176435708 WITH SCORE 1.76744352597E8
AT ITER 2772 NEW BEST:: SOT 1309450041 SOS 308644587 HAS SOPS 308644587 HAS SOUS 176432273 HAS SOUPS 176432273 WITH SCORE 1.76740917587E8
AT ITER 2813 NEW BEST:: SOT 1309446819 SOS 308647806 HAS SOPS 308647806 HAS SOUS 176429050 HAS SOUPS 176429050 WITH SCORE 1.76737697806E8
AT ITER 2862 NEW BEST:: SOT 1309445925 SOS 308646018 HAS SOPS 308646018 HAS SOUS 176426813 HAS SOUPS 176426813 WITH SCORE 1.76735459018E8
AT ITER 2868 NEW BEST:: SOT 1309445925 SOS 308646018 HAS SOPS 308646018 HAS SOUS 176426221 HAS SOUPS 176426221 WITH SCORE 1.76734867018E8
AT ITER 2904 NEW BEST:: SOT 1309445925 SOS 308646018 HAS SOPS 308646018 HAS SOUS 176426220 HAS SOUPS 176426220 WITH SCORE 1.76734866018E8
AT ITER 2906 NEW BEST:: SOT 1309445925 SOS 308676306 HAS SOPS 308676306 HAS SOUS 176423058 HAS SOUPS 176423058 WITH SCORE 1.76731734306E8
AT ITER 2909 NEW BEST:: SOT 1309445452 SOS 308676779 HAS SOPS 308676779 HAS SOUS 176422013 HAS SOUPS 176422013 WITH SCORE 1.76730689779E8
AT ITER 2951 NEW BEST:: SOT 1309445452 SOS 308676285 HAS SOPS 308676285 HAS SOUS 176422013 HAS SOUPS 176422013 WITH SCORE 1.76730689285E8
AT ITER 2956 NEW BEST:: SOT 1309440071 SOS 308673590 HAS SOPS 308673590 HAS SOUS 176418237 HAS SOUPS 176418237 WITH SCORE 1.7672691059E8
AT ITER 2964 NEW BEST:: SOT 1309434993 SOS 308668512 HAS SOPS 308668512 HAS SOUS 176413159 HAS SOUPS 176413159 WITH SCORE 1.76721827512E8
AT ITER 2980 NEW BEST:: SOT 1309434993 SOS 308668512 HAS SOPS 308668512 HAS SOUS 176408353 HAS SOUPS 176408353 WITH SCORE 1.76717021512E8
AT ITER 3010 NEW BEST:: SOT 1309434993 SOS 308660781 HAS SOPS 308660781 HAS SOUS 176405776 HAS SOUPS 176405776 WITH SCORE 1.76714436781E8
AT ITER 3015 NEW BEST:: SOT 1309434993 SOS 308648580 HAS SOPS 308648580 HAS SOUS 176405775 HAS SOUPS 176405775 WITH SCORE 1.7671442358E8
AT ITER 3060 NEW BEST:: SOT 1309434993 SOS 308634633 HAS SOPS 308634633 HAS SOUS 176401787 HAS SOUPS 176401787 WITH SCORE 1.76710421633E8
AT ITER 3065 NEW BEST:: SOT 1309434993 SOS 308632805 HAS SOPS 308632805 HAS SOUS 176399959 HAS SOUPS 176399959 WITH SCORE 1.76708591805E8
AT ITER 3067 NEW BEST:: SOT 1309434993 SOS 308632805 HAS SOPS 308632805 HAS SOUS 176399958 HAS SOUPS 176399958 WITH SCORE 1.76708590805E8
AT ITER 3113 NEW BEST:: SOT 1309427068 SOS 308629669 HAS SOPS 308629669 HAS SOUS 176396271 HAS SOUPS 176396271 WITH SCORE 1.76704900669E8
AT ITER 3128 NEW BEST:: SOT 1309428068 SOS 308631669 HAS SOPS 308631669 HAS SOUS 176385617 HAS SOUPS 176385617 WITH SCORE 1.76694248669E8
AT ITER 3132 NEW BEST:: SOT 1309428068 SOS 308632819 HAS SOPS 308632819 HAS SOUS 176385615 HAS SOUPS 176385615 WITH SCORE 1.76694247819E8
AT ITER 3148 NEW BEST:: SOT 1309421296 SOS 308538626 HAS SOPS 308538626 HAS SOUS 176372071 HAS SOUPS 176372071 WITH SCORE 1.76680609626E8
AT ITER 3164 NEW BEST:: SOT 1309417161 SOS 308534491 HAS SOPS 308534491 HAS SOUS 176372071 HAS SOUPS 176372071 WITH SCORE 1.76680605491E8
AT ITER 3197 NEW BEST:: SOT 1309413532 SOS 308538113 HAS SOPS 308538113 HAS SOUS 176368440 HAS SOUPS 176368440 WITH SCORE 1.76676978113E8
AT ITER 3202 NEW BEST:: SOT 1309400387 SOS 308528553 HAS SOPS 308528553 HAS SOUS 176364855 HAS SOUPS 176364855 WITH SCORE 1.76673383553E8
AT ITER 3215 NEW BEST:: SOT 1309398529 SOS 308526695 HAS SOPS 308526695 HAS SOUS 176364855 HAS SOUPS 176364855 WITH SCORE 1.76673381695E8
AT ITER 3216 NEW BEST:: SOT 1309398529 SOS 308525196 HAS SOPS 308525196 HAS SOUS 176363356 HAS SOUPS 176363356 WITH SCORE 1.76671881196E8
AT ITER 3269 NEW BEST:: SOT 1309386770 SOS 308513659 HAS SOPS 308513659 HAS SOUS 176339729 HAS SOUPS 176339729 WITH SCORE 1.76648242659E8
AT ITER 3274 NEW BEST:: SOT 1309386770 SOS 308514623 HAS SOPS 308514623 HAS SOUS 176339727 HAS SOUPS 176339727 WITH SCORE 1.76648241623E8
AT ITER 3277 NEW BEST:: SOT 1309383884 SOS 308508851 HAS SOPS 308508851 HAS SOUS 176336841 HAS SOUPS 176336841 WITH SCORE 1.76645349851E8
AT ITER 3295 NEW BEST:: SOT 1309382487 SOS 308506057 HAS SOPS 308506057 HAS SOUS 176334047 HAS SOUPS 176334047 WITH SCORE 1.76642553057E8
AT ITER 3298 NEW BEST:: SOT 1309382487 SOS 308504670 HAS SOPS 308504670 HAS SOUS 176334047 HAS SOUPS 176334047 WITH SCORE 1.7664255167E8
AT ITER 3312 NEW BEST:: SOT 1309379490 SOS 308498676 HAS SOPS 308498676 HAS SOUS 176328053 HAS SOUPS 176328053 WITH SCORE 1.76636551676E8
AT ITER 3328 NEW BEST:: SOT 1309379458 SOS 308498612 HAS SOPS 308498612 HAS SOUS 176327989 HAS SOUPS 176327989 WITH SCORE 1.76636487612E8
AT ITER 3347 NEW BEST:: SOT 1309375525 SOS 308490746 HAS SOPS 308490746 HAS SOUS 176324056 HAS SOUPS 176324056 WITH SCORE 1.76632546746E8
AT ITER 3349 NEW BEST:: SOT 1309374668 SOS 308487318 HAS SOPS 308487318 HAS SOUS 176323199 HAS SOUPS 176323199 WITH SCORE 1.76631686318E8
AT ITER 3353 NEW BEST:: SOT 1309375181 SOS 308508278 HAS SOPS 308508278 HAS SOUS 176317578 HAS SOUPS 176317578 WITH SCORE 1.76626086278E8
AT ITER 3359 NEW BEST:: SOT 1309374768 SOS 308507452 HAS SOPS 308507452 HAS SOUS 176316752 HAS SOUPS 176316752 WITH SCORE 1.76625259452E8
AT ITER 3389 NEW BEST:: SOT 1309374813 SOS 308526378 HAS SOPS 308526378 HAS SOUS 176310561 HAS SOUPS 176310561 WITH SCORE 1.76619087378E8
AT ITER 3407 NEW BEST:: SOT 1309374813 SOS 308518950 HAS SOPS 308518950 HAS SOUS 176308085 HAS SOUPS 176308085 WITH SCORE 1.7661660395E8
AT ITER 3418 NEW BEST:: SOT 1309374500 SOS 308518324 HAS SOPS 308518324 HAS SOUS 176307459 HAS SOUPS 176307459 WITH SCORE 1.76615977324E8
AT ITER 3421 NEW BEST:: SOT 1309369666 SOS 308508656 HAS SOPS 308508656 HAS SOUS 176297791 HAS SOUPS 176297791 WITH SCORE 1.76606299656E8
AT ITER 3451 NEW BEST:: SOT 1309358042 SOS 308495579 HAS SOPS 308495579 HAS SOUS 176289111 HAS SOUPS 176289111 WITH SCORE 1.76597606579E8
AT ITER 3474 NEW BEST:: SOT 1309358042 SOS 308482340 HAS SOPS 308482340 HAS SOUS 176289110 HAS SOUPS 176289110 WITH SCORE 1.7659759234E8
AT ITER 3484 NEW BEST:: SOT 1309352513 SOS 308471282 HAS SOPS 308471282 HAS SOUS 176278052 HAS SOUPS 176278052 WITH SCORE 1.76586523282E8
AT ITER 3490 NEW BEST:: SOT 1309350888 SOS 308472223 HAS SOPS 308472223 HAS SOUS 176277824 HAS SOUPS 176277824 WITH SCORE 1.76586296223E8
AT ITER 3494 NEW BEST:: SOT 1309350888 SOS 308470293 HAS SOPS 308470293 HAS SOUS 176276859 HAS SOUPS 176276859 WITH SCORE 1.76585329293E8
AT ITER 3506 NEW BEST:: SOT 1309344454 SOS 308468739 HAS SOPS 308468739 HAS SOUS 176270946 HAS SOUPS 176270946 WITH SCORE 1.76579414739E8
AT ITER 3530 NEW BEST:: SOT 1309340200 SOS 308467398 HAS SOPS 308467398 HAS SOUS 176266692 HAS SOUPS 176266692 WITH SCORE 1.76575159398E8
AT ITER 3592 NEW BEST:: SOT 1309343163 SOS 308495837 HAS SOPS 308495837 HAS SOUS 176261359 HAS SOUPS 176261359 WITH SCORE 1.76569854837E8
AT ITER 3662 NEW BEST:: SOT 1309341460 SOS 308497798 HAS SOPS 308497798 HAS SOUS 176259656 HAS SOUPS 176259656 WITH SCORE 1.76568153798E8
AT ITER 3668 NEW BEST:: SOT 1309341460 SOS 308497798 HAS SOPS 308497798 HAS SOUS 176259105 HAS SOUPS 176259105 WITH SCORE 1.76567602798E8
AT ITER 3703 NEW BEST:: SOT 1309340444 SOS 308497795 HAS SOPS 308497795 HAS SOUS 176259104 HAS SOUPS 176259104 WITH SCORE 1.76567601795E8
AT ITER 3739 NEW BEST:: SOT 1309339814 SOS 308496535 HAS SOPS 308496535 HAS SOUS 176257844 HAS SOUPS 176257844 WITH SCORE 1.76566340535E8
AT ITER 3745 NEW BEST:: SOT 1309339379 SOS 308495665 HAS SOPS 308495665 HAS SOUS 176256974 HAS SOUPS 176256974 WITH SCORE 1.76565469665E8
AT ITER 3774 NEW BEST:: SOT 1309337308 SOS 308491523 HAS SOPS 308491523 HAS SOUS 176252832 HAS SOUPS 176252832 WITH SCORE 1.76561323523E8
AT ITER 3777 NEW BEST:: SOT 1309332678 SOS 308486893 HAS SOPS 308486893 HAS SOUS 176248202 HAS SOUPS 176248202 WITH SCORE 1.76556688893E8
AT ITER 3798 NEW BEST:: SOT 1309332677 SOS 308486891 HAS SOPS 308486891 HAS SOUS 176248200 HAS SOUPS 176248200 WITH SCORE 1.76556686891E8
AT ITER 3808 NEW BEST:: SOT 1309332490 SOS 308486330 HAS SOPS 308486330 HAS SOUS 176247826 HAS SOUPS 176247826 WITH SCORE 1.7655631233E8
AT ITER 3815 NEW BEST:: SOT 1309332490 SOS 308482980 HAS SOPS 308482980 HAS SOUS 176247826 HAS SOUPS 176247826 WITH SCORE 1.7655630898E8
AT ITER 3819 NEW BEST:: SOT 1309332425 SOS 308482850 HAS SOPS 308482850 HAS SOUS 176241644 HAS SOUPS 176241644 WITH SCORE 1.7655012685E8
AT ITER 3865 NEW BEST:: SOT 1309332422 SOS 308482844 HAS SOPS 308482844 HAS SOUS 176241638 HAS SOUPS 176241638 WITH SCORE 1.76550120844E8
AT ITER 3869 NEW BEST:: SOT 1309323177 SOS 308464354 HAS SOPS 308464354 HAS SOUS 176223148 HAS SOUPS 176223148 WITH SCORE 1.76531612354E8
AT ITER 3879 NEW BEST:: SOT 1309315866 SOS 308427799 HAS SOPS 308427799 HAS SOUS 176208526 HAS SOUPS 176208526 WITH SCORE 1.76516953799E8
AT ITER 3911 NEW BEST:: SOT 1309308210 SOS 308412486 HAS SOPS 308412486 HAS SOUS 176193213 HAS SOUPS 176193213 WITH SCORE 1.76501625486E8
AT ITER 3915 NEW BEST:: SOT 1309306727 SOS 308411003 HAS SOPS 308411003 HAS SOUS 176191730 HAS SOUPS 176191730 WITH SCORE 1.76500141003E8
AT ITER 3916 NEW BEST:: SOT 1309306726 SOS 308411001 HAS SOPS 308411001 HAS SOUS 176191728 HAS SOUPS 176191728 WITH SCORE 1.76500139001E8
AT ITER 3924 NEW BEST:: SOT 1309308273 SOS 308437440 HAS SOPS 308437440 HAS SOUS 176187038 HAS SOUPS 176187038 WITH SCORE 1.7649547544E8
AT ITER 3934 NEW BEST:: SOT 1309307384 SOS 308437429 HAS SOPS 308437429 HAS SOUS 176186738 HAS SOUPS 176186738 WITH SCORE 1.76495175429E8
AT ITER 3956 NEW BEST:: SOT 1309305691 SOS 308443628 HAS SOPS 308443628 HAS SOUS 176185045 HAS SOUPS 176185045 WITH SCORE 1.76493488628E8
AT ITER 3973 NEW BEST:: SOT 1309305691 SOS 308432132 HAS SOPS 308432132 HAS SOUS 176181213 HAS SOUPS 176181213 WITH SCORE 1.76489645132E8
AT ITER 4006 NEW BEST:: SOT 1309304903 SOS 308432761 HAS SOPS 308432761 HAS SOUS 176175683 HAS SOUPS 176175683 WITH SCORE 1.76484115761E8
AT ITER 4029 NEW BEST:: SOT 1309303046 SOS 308429047 HAS SOPS 308429047 HAS SOUS 176171969 HAS SOUPS 176171969 WITH SCORE 1.76480398047E8
AT ITER 4047 NEW BEST:: SOT 1309303046 SOS 308429047 HAS SOPS 308429047 HAS SOUS 176171968 HAS SOUPS 176171968 WITH SCORE 1.76480397047E8
AT ITER 4051 NEW BEST:: SOT 1309295552 SOS 308425300 HAS SOPS 308425300 HAS SOUS 176168221 HAS SOUPS 176168221 WITH SCORE 1.764766463E8
AT ITER 4124 NEW BEST:: SOT 1309289956 SOS 308397320 HAS SOPS 308397320 HAS SOUS 176157029 HAS SOUPS 176157029 WITH SCORE 1.7646542632E8
AT ITER 4134 NEW BEST:: SOT 1309289956 SOS 308398020 HAS SOPS 308398020 HAS SOUS 176157027 HAS SOUPS 176157027 WITH SCORE 1.7646542502E8
AT ITER 4138 NEW BEST:: SOT 1309283873 SOS 308393541 HAS SOPS 308393541 HAS SOUS 176152548 HAS SOUPS 176152548 WITH SCORE 1.76460941541E8
AT ITER 4150 NEW BEST:: SOT 1309283873 SOS 308385504 HAS SOPS 308385504 HAS SOUS 176149869 HAS SOUPS 176149869 WITH SCORE 1.76458254504E8
AT ITER 4156 NEW BEST:: SOT 1309283518 SOS 308387598 HAS SOPS 308387598 HAS SOUS 176149514 HAS SOUPS 176149514 WITH SCORE 1.76457901598E8
AT ITER 4218 NEW BEST:: SOT 1309280840 SOS 308377912 HAS SOPS 308377912 HAS SOUS 176139828 HAS SOUPS 176139828 WITH SCORE 1.76448205912E8
AT ITER 4231 NEW BEST:: SOT 1309278723 SOS 308369444 HAS SOPS 308369444 HAS SOUS 176135594 HAS SOUPS 176135594 WITH SCORE 1.76443963444E8
AT ITER 4265 NEW BEST:: SOT 1309277822 SOS 308367642 HAS SOPS 308367642 HAS SOUS 176133792 HAS SOUPS 176133792 WITH SCORE 1.76442159642E8
AT ITER 4306 NEW BEST:: SOT 1309278170 SOS 308355879 HAS SOPS 308355879 HAS SOUS 176130107 HAS SOUPS 176130107 WITH SCORE 1.76438462879E8
AT ITER 4320 NEW BEST:: SOT 1309282691 SOS 308388640 HAS SOPS 308388640 HAS SOUS 176127287 HAS SOUPS 176127287 WITH SCORE 1.7643567564E8
AT ITER 4333 NEW BEST:: SOT 1309279623 SOS 308425281 HAS SOPS 308425281 HAS SOUS 176121151 HAS SOUPS 176121151 WITH SCORE 1.76429576281E8
AT ITER 4359 NEW BEST:: SOT 1309269435 SOS 308416784 HAS SOPS 308416784 HAS SOUS 176111179 HAS SOUPS 176111179 WITH SCORE 1.76419595784E8
AT ITER 4378 NEW BEST:: SOT 1309259437 SOS 308406786 HAS SOPS 308406786 HAS SOUS 176101181 HAS SOUPS 176101181 WITH SCORE 1.76409587786E8
AT ITER 4424 NEW BEST:: SOT 1309258037 SOS 308416576 HAS SOPS 308416576 HAS SOUS 176098380 HAS SOUPS 176098380 WITH SCORE 1.76406796576E8
AT ITER 4426 NEW BEST:: SOT 1309253010 SOS 308406522 HAS SOPS 308406522 HAS SOUS 176088326 HAS SOUPS 176088326 WITH SCORE 1.76396732522E8
AT ITER 4453 NEW BEST:: SOT 1309253010 SOS 308393820 HAS SOPS 308393820 HAS SOUS 176088326 HAS SOUPS 176088326 WITH SCORE 1.7639671982E8
AT ITER 4482 NEW BEST:: SOT 1309253010 SOS 308387151 HAS SOPS 308387151 HAS SOUS 176086103 HAS SOUPS 176086103 WITH SCORE 1.76394490151E8
AT ITER 4486 NEW BEST:: SOT 1309244754 SOS 308383362 HAS SOPS 308383362 HAS SOUS 176082088 HAS SOUPS 176082088 WITH SCORE 1.76390471362E8
AT ITER 4522 NEW BEST:: SOT 1309240239 SOS 308395289 HAS SOPS 308395289 HAS SOUS 176072197 HAS SOUPS 176072197 WITH SCORE 1.76380592289E8
AT ITER 4526 NEW BEST:: SOT 1309230989 SOS 308387127 HAS SOPS 308387127 HAS SOUS 176062947 HAS SOUPS 176062947 WITH SCORE 1.76371334127E8
AT ITER 4543 NEW BEST:: SOT 1309229783 SOS 308386524 HAS SOPS 308386524 HAS SOUS 176062344 HAS SOUPS 176062344 WITH SCORE 1.76370730524E8
AT ITER 4560 NEW BEST:: SOT 1309223495 SOS 308383380 HAS SOPS 308383380 HAS SOUS 176059200 HAS SOUPS 176059200 WITH SCORE 1.7636758338E8
AT ITER 4589 NEW BEST:: SOT 1309221372 SOS 308387618 HAS SOPS 308387618 HAS SOUS 176057075 HAS SOUPS 176057075 WITH SCORE 1.76365462618E8
AT ITER 4595 NEW BEST:: SOT 1309219891 SOS 308387353 HAS SOPS 308387353 HAS SOUS 176056247 HAS SOUPS 176056247 WITH SCORE 1.76364634353E8
AT ITER 4612 NEW BEST:: SOT 1309219891 SOS 308385175 HAS SOPS 308385175 HAS SOUS 176054069 HAS SOUPS 176054069 WITH SCORE 1.76362454175E8
AT ITER 4646 NEW BEST:: SOT 1309219393 SOS 308384179 HAS SOPS 308384179 HAS SOUS 176053073 HAS SOUPS 176053073 WITH SCORE 1.76361457179E8
AT ITER 4655 NEW BEST:: SOT 1309213916 SOS 308373225 HAS SOPS 308373225 HAS SOUS 176042119 HAS SOUPS 176042119 WITH SCORE 1.76350492225E8
AT ITER 4670 NEW BEST:: SOT 1309208594 SOS 308367903 HAS SOPS 308367903 HAS SOUS 176041244 HAS SOUPS 176041244 WITH SCORE 1.76349611903E8
AT ITER 4697 NEW BEST:: SOT 1309206980 SOS 308364675 HAS SOPS 308364675 HAS SOUS 176038016 HAS SOUPS 176038016 WITH SCORE 1.76346380675E8
AT ITER 4701 NEW BEST:: SOT 1309205238 SOS 308361191 HAS SOPS 308361191 HAS SOUS 176034532 HAS SOUPS 176034532 WITH SCORE 1.76342893191E8
AT ITER 4707 NEW BEST:: SOT 1309203351 SOS 308357417 HAS SOPS 308357417 HAS SOUS 176030758 HAS SOUPS 176030758 WITH SCORE 1.76339115417E8
AT ITER 4819 NEW BEST:: SOT 1309204844 SOS 308360403 HAS SOPS 308360403 HAS SOUS 176026850 HAS SOUPS 176026850 WITH SCORE 1.76335210403E8
AT ITER 4825 NEW BEST:: SOT 1309204844 SOS 308360123 HAS SOPS 308360123 HAS SOUS 176026710 HAS SOUPS 176026710 WITH SCORE 1.76335070123E8
AT ITER 4831 NEW BEST:: SOT 1309202736 SOS 308364335 HAS SOPS 308364335 HAS SOUS 176024601 HAS SOUPS 176024601 WITH SCORE 1.76332965335E8
AT ITER 4837 NEW BEST:: SOT 1309201932 SOS 308362727 HAS SOPS 308362727 HAS SOUS 176022993 HAS SOUPS 176022993 WITH SCORE 1.76331355727E8
AT ITER 4883 NEW BEST:: SOT 1309200319 SOS 308359501 HAS SOPS 308359501 HAS SOUS 176019767 HAS SOUPS 176019767 WITH SCORE 1.76328126501E8
AT ITER 4888 NEW BEST:: SOT 1309195813 SOS 308354996 HAS SOPS 308354996 HAS SOUS 176019768 HAS SOUPS 176019768 WITH SCORE 1.76328122996E8
AT ITER 4914 NEW BEST:: SOT 1309194774 SOS 308322731 HAS SOPS 308322731 HAS SOUS 176011687 HAS SOUPS 176011687 WITH SCORE 1.76320009731E8
AT ITER 4934 NEW BEST:: SOT 1309195882 SOS 308324947 HAS SOPS 308324947 HAS SOUS 176001291 HAS SOUPS 176001291 WITH SCORE 1.76309615947E8
AT ITER 5020 NEW BEST:: SOT 1309195882 SOS 308314843 HAS SOPS 308314843 HAS SOUS 175997923 HAS SOUPS 175997923 WITH SCORE 1.76306237843E8
AT ITER 5044 NEW BEST:: SOT 1309196067 SOS 308315213 HAS SOPS 308315213 HAS SOUS 175992019 HAS SOUPS 175992019 WITH SCORE 1.76300334213E8
AT ITER 5059 NEW BEST:: SOT 1309193645 SOS 308313263 HAS SOPS 308313263 HAS SOUS 175989597 HAS SOUPS 175989597 WITH SCORE 1.76297910263E8
AT ITER 5064 NEW BEST:: SOT 1309193645 SOS 308310829 HAS SOPS 308310829 HAS SOUS 175988380 HAS SOUPS 175988380 WITH SCORE 1.76296690829E8
AT ITER 5065 NEW BEST:: SOT 1309193166 SOS 308311779 HAS SOPS 308311779 HAS SOUS 175987899 HAS SOUPS 175987899 WITH SCORE 1.76296210779E8
AT ITER 5068 NEW BEST:: SOT 1309189457 SOS 308337742 HAS SOPS 308337742 HAS SOUS 175984190 HAS SOUPS 175984190 WITH SCORE 1.76292527742E8
AT ITER 5078 NEW BEST:: SOT 1309189457 SOS 308324227 HAS SOPS 308324227 HAS SOUS 175984190 HAS SOUPS 175984190 WITH SCORE 1.76292514227E8
AT ITER 5102 NEW BEST:: SOT 1309189454 SOS 308324221 HAS SOPS 308324221 HAS SOUS 175984184 HAS SOUPS 175984184 WITH SCORE 1.76292508221E8
AT ITER 5110 NEW BEST:: SOT 1309175385 SOS 308313989 HAS SOPS 308313989 HAS SOUS 175980347 HAS SOUPS 175980347 WITH SCORE 1.76288660989E8
AT ITER 5115 NEW BEST:: SOT 1309170690 SOS 308327198 HAS SOPS 308327198 HAS SOUS 175969537 HAS SOUPS 175969537 WITH SCORE 1.76277864198E8
AT ITER 5121 NEW BEST:: SOT 1309170690 SOS 308327197 HAS SOPS 308327197 HAS SOUS 175969536 HAS SOUPS 175969536 WITH SCORE 1.76277863197E8
AT ITER 5134 NEW BEST:: SOT 1309170690 SOS 308348911 HAS SOPS 308348911 HAS SOUS 175968258 HAS SOUPS 175968258 WITH SCORE 1.76276606911E8
AT ITER 5149 NEW BEST:: SOT 1309165009 SOS 308354299 HAS SOPS 308354299 HAS SOUS 175962547 HAS SOUPS 175962547 WITH SCORE 1.76270901299E8
AT ITER 5177 NEW BEST:: SOT 1309165009 SOS 308344672 HAS SOPS 308344672 HAS SOUS 175959338 HAS SOUPS 175959338 WITH SCORE 1.76267682672E8
AT ITER 5196 NEW BEST:: SOT 1309165009 SOS 308344672 HAS SOPS 308344672 HAS SOUS 175959337 HAS SOUPS 175959337 WITH SCORE 1.76267681672E8
AT ITER 5219 NEW BEST:: SOT 1309160634 SOS 308360201 HAS SOPS 308360201 HAS SOUS 175956820 HAS SOUPS 175956820 WITH SCORE 1.76265180201E8
AT ITER 5223 NEW BEST:: SOT 1309160633 SOS 308360199 HAS SOPS 308360199 HAS SOUS 175956818 HAS SOUPS 175956818 WITH SCORE 1.76265178199E8
AT ITER 5246 NEW BEST:: SOT 1309160271 SOS 308359475 HAS SOPS 308359475 HAS SOUS 175956818 HAS SOUPS 175956818 WITH SCORE 1.76265177475E8
AT ITER 5277 NEW BEST:: SOT 1309160271 SOS 308359475 HAS SOPS 308359475 HAS SOUS 175956817 HAS SOUPS 175956817 WITH SCORE 1.76265176475E8
AT ITER 5298 NEW BEST:: SOT 1309154035 SOS 308356117 HAS SOPS 308356117 HAS SOUS 175953458 HAS SOUPS 175953458 WITH SCORE 1.76261814117E8
AT ITER 5302 NEW BEST:: SOT 1309151629 SOS 308358523 HAS SOPS 308358523 HAS SOUS 175951052 HAS SOUPS 175951052 WITH SCORE 1.76259410523E8
AT ITER 5319 NEW BEST:: SOT 1309139193 SOS 308343437 HAS SOPS 308343437 HAS SOUS 175932397 HAS SOUPS 175932397 WITH SCORE 1.76240740437E8
AT ITER 5321 NEW BEST:: SOT 1309130135 SOS 308352495 HAS SOPS 308352495 HAS SOUS 175920065 HAS SOUPS 175920065 WITH SCORE 1.76228417495E8
AT ITER 5323 NEW BEST:: SOT 1309127461 SOS 308357839 HAS SOPS 308357839 HAS SOUS 175917390 HAS SOUPS 175917390 WITH SCORE 1.76225747839E8
AT ITER 5384 NEW BEST:: SOT 1309127461 SOS 308357437 HAS SOPS 308357437 HAS SOUS 175916988 HAS SOUPS 175916988 WITH SCORE 1.76225345437E8
AT ITER 5407 NEW BEST:: SOT 1309129027 SOS 308353715 HAS SOPS 308353715 HAS SOUS 175915127 HAS SOUPS 175915127 WITH SCORE 1.76223480715E8
AT ITER 5429 NEW BEST:: SOT 1309126255 SOS 308348171 HAS SOPS 308348171 HAS SOUS 175914200 HAS SOUPS 175914200 WITH SCORE 1.76222548171E8
AT ITER 5455 NEW BEST:: SOT 1309120805 SOS 308342717 HAS SOPS 308342717 HAS SOUS 175908749 HAS SOUPS 175908749 WITH SCORE 1.76217091717E8
AT ITER 5464 NEW BEST:: SOT 1309120805 SOS 308333927 HAS SOPS 308333927 HAS SOUS 175905819 HAS SOUPS 175905819 WITH SCORE 1.76214152927E8
AT ITER 5476 NEW BEST:: SOT 1309120470 SOS 308333917 HAS SOPS 308333917 HAS SOUS 175905483 HAS SOUPS 175905483 WITH SCORE 1.76213816917E8
AT ITER 5518 NEW BEST:: SOT 1309120470 SOS 308333917 HAS SOPS 308333917 HAS SOUS 175904800 HAS SOUPS 175904800 WITH SCORE 1.76213133917E8
AT ITER 5532 NEW BEST:: SOT 1309116206 SOS 308325389 HAS SOPS 308325389 HAS SOUS 175890845 HAS SOUPS 175890845 WITH SCORE 1.76199170389E8
AT ITER 5557 NEW BEST:: SOT 1309116206 SOS 308310404 HAS SOPS 308310404 HAS SOUS 175890844 HAS SOUPS 175890844 WITH SCORE 1.76199154404E8
AT ITER 5558 NEW BEST:: SOT 1309116206 SOS 308310404 HAS SOPS 308310404 HAS SOUS 175880225 HAS SOUPS 175880225 WITH SCORE 1.76188535404E8
AT ITER 5595 NEW BEST:: SOT 1309115857 SOS 308311098 HAS SOPS 308311098 HAS SOUS 175879875 HAS SOUPS 175879875 WITH SCORE 1.76188186098E8
AT ITER 5614 NEW BEST:: SOT 1309115857 SOS 308296896 HAS SOPS 308296896 HAS SOUS 175879875 HAS SOUPS 175879875 WITH SCORE 1.76188171896E8
AT ITER 5619 NEW BEST:: SOT 1309114786 SOS 308299034 HAS SOPS 308299034 HAS SOUS 175878803 HAS SOUPS 175878803 WITH SCORE 1.76187102034E8
AT ITER 5657 NEW BEST:: SOT 1309114985 SOS 308299432 HAS SOPS 308299432 HAS SOUS 175872005 HAS SOUPS 175872005 WITH SCORE 1.76180304432E8
AT ITER 5661 NEW BEST:: SOT 1309114902 SOS 308299349 HAS SOPS 308299349 HAS SOUS 175871922 HAS SOUPS 175871922 WITH SCORE 1.76180221349E8
AT ITER 5664 NEW BEST:: SOT 1309102422 SOS 308283917 HAS SOPS 308283917 HAS SOUS 175853201 HAS SOUPS 175853201 WITH SCORE 1.76161484917E8
AT ITER 5671 NEW BEST:: SOT 1309101592 SOS 308283087 HAS SOPS 308283087 HAS SOUS 175852371 HAS SOUPS 175852371 WITH SCORE 1.76160654087E8
AT ITER 5772 NEW BEST:: SOT 1309094637 SOS 308280517 HAS SOPS 308280517 HAS SOUS 175845416 HAS SOUPS 175845416 WITH SCORE 1.76153696517E8
AT ITER 5776 NEW BEST:: SOT 1309094118 SOS 308279479 HAS SOPS 308279479 HAS SOUS 175844897 HAS SOUPS 175844897 WITH SCORE 1.76153176479E8
AT ITER 5777 NEW BEST:: SOT 1309087913 SOS 308267069 HAS SOPS 308267069 HAS SOUS 175840405 HAS SOUPS 175840405 WITH SCORE 1.76148672069E8
AT ITER 5793 NEW BEST:: SOT 1309087913 SOS 308265357 HAS SOPS 308265357 HAS SOUS 175839549 HAS SOUPS 175839549 WITH SCORE 1.76147814357E8
AT ITER 5815 NEW BEST:: SOT 1309083160 SOS 308270107 HAS SOPS 308270107 HAS SOUS 175834795 HAS SOUPS 175834795 WITH SCORE 1.76143065107E8
AT ITER 5826 NEW BEST:: SOT 1309072999 SOS 308272253 HAS SOPS 308272253 HAS SOUS 175824634 HAS SOUPS 175824634 WITH SCORE 1.76132906253E8
AT ITER 5911 NEW BEST:: SOT 1309073650 SOS 308254566 HAS SOPS 308254566 HAS SOUS 175819084 HAS SOUPS 175819084 WITH SCORE 1.76127338566E8
AT ITER 5915 NEW BEST:: SOT 1309066212 SOS 308242411 HAS SOPS 308242411 HAS SOUS 175813256 HAS SOUPS 175813256 WITH SCORE 1.76121498411E8
AT ITER 5939 NEW BEST:: SOT 1309056809 SOS 308223604 HAS SOPS 308223604 HAS SOUS 175794449 HAS SOUPS 175794449 WITH SCORE 1.76102672604E8
AT ITER 5953 NEW BEST:: SOT 1309043555 SOS 308203723 HAS SOPS 308203723 HAS SOUS 175774568 HAS SOUPS 175774568 WITH SCORE 1.76082771723E8
AT ITER 5968 NEW BEST:: SOT 1309043555 SOS 308203723 HAS SOPS 308203723 HAS SOUS 175774020 HAS SOUPS 175774020 WITH SCORE 1.76082223723E8
AT ITER 6009 NEW BEST:: SOT 1309043555 SOS 308201766 HAS SOPS 308201766 HAS SOUS 175772063 HAS SOUPS 175772063 WITH SCORE 1.76080264766E8
AT ITER 6021 NEW BEST:: SOT 1309043555 SOS 308201515 HAS SOPS 308201515 HAS SOUS 175772063 HAS SOUPS 175772063 WITH SCORE 1.76080264515E8
AT ITER 6033 NEW BEST:: SOT 1309040487 SOS 308198447 HAS SOPS 308198447 HAS SOUS 175772063 HAS SOUPS 175772063 WITH SCORE 1.76080261447E8
AT ITER 6053 NEW BEST:: SOT 1309040487 SOS 308176844 HAS SOPS 308176844 HAS SOUS 175772063 HAS SOUPS 175772063 WITH SCORE 1.76080239844E8
AT ITER 6062 NEW BEST:: SOT 1309035876 SOS 308181448 HAS SOPS 308181448 HAS SOUS 175767450 HAS SOUPS 175767450 WITH SCORE 1.76075631448E8
AT ITER 6066 NEW BEST:: SOT 1309029615 SOS 308175187 HAS SOPS 308175187 HAS SOUS 175761189 HAS SOUPS 175761189 WITH SCORE 1.76069364187E8
AT ITER 6076 NEW BEST:: SOT 1309029461 SOS 308175033 HAS SOPS 308175033 HAS SOUS 175761035 HAS SOUPS 175761035 WITH SCORE 1.76069210033E8
AT ITER 6081 NEW BEST:: SOT 1309029461 SOS 308163102 HAS SOPS 308163102 HAS SOUS 175761035 HAS SOUPS 175761035 WITH SCORE 1.76069198102E8
AT ITER 6088 NEW BEST:: SOT 1309023996 SOS 308157633 HAS SOPS 308157633 HAS SOUS 175755569 HAS SOUPS 175755569 WITH SCORE 1.76063726633E8
AT ITER 6094 NEW BEST:: SOT 1309023532 SOS 308156705 HAS SOPS 308156705 HAS SOUS 175755105 HAS SOUPS 175755105 WITH SCORE 1.76063261705E8
AT ITER 6108 NEW BEST:: SOT 1309022861 SOS 308155363 HAS SOPS 308155363 HAS SOUS 175753763 HAS SOUPS 175753763 WITH SCORE 1.76061918363E8
AT ITER 6118 NEW BEST:: SOT 1309021847 SOS 308153335 HAS SOPS 308153335 HAS SOUS 175751735 HAS SOUPS 175751735 WITH SCORE 1.76059888335E8
AT ITER 6152 NEW BEST:: SOT 1309014495 SOS 308149659 HAS SOPS 308149659 HAS SOUS 175748059 HAS SOUPS 175748059 WITH SCORE 1.76056208659E8
AT ITER 6153 NEW BEST:: SOT 1309013404 SOS 308147477 HAS SOPS 308147477 HAS SOUS 175746968 HAS SOUPS 175746968 WITH SCORE 1.76055115477E8
AT ITER 6173 NEW BEST:: SOT 1309013214 SOS 308147097 HAS SOPS 308147097 HAS SOUS 175746778 HAS SOUPS 175746778 WITH SCORE 1.76054925097E8
AT ITER 6199 NEW BEST:: SOT 1309013299 SOS 308143915 HAS SOPS 308143915 HAS SOUS 175743596 HAS SOUPS 175743596 WITH SCORE 1.76051739915E8
AT ITER 6210 NEW BEST:: SOT 1309006835 SOS 308143915 HAS SOPS 308143915 HAS SOUS 175735665 HAS SOUPS 175735665 WITH SCORE 1.76043808915E8
AT ITER 6213 NEW BEST:: SOT 1309006803 SOS 308143851 HAS SOPS 308143851 HAS SOUS 175735632 HAS SOUPS 175735632 WITH SCORE 1.76043775851E8
AT ITER 6214 NEW BEST:: SOT 1309005114 SOS 308150070 HAS SOPS 308150070 HAS SOUS 175733943 HAS SOUPS 175733943 WITH SCORE 1.7604209307E8
AT ITER 6223 NEW BEST:: SOT 1308997095 SOS 308134032 HAS SOPS 308134032 HAS SOUS 175725924 HAS SOUPS 175725924 WITH SCORE 1.76034058032E8
AT ITER 6248 NEW BEST:: SOT 1308979781 SOS 308121440 HAS SOPS 308121440 HAS SOUS 175721202 HAS SOUPS 175721202 WITH SCORE 1.7602932344E8
AT ITER 6280 NEW BEST:: SOT 1308972427 SOS 308177670 HAS SOPS 308177670 HAS SOUS 175714283 HAS SOUPS 175714283 WITH SCORE 1.7602246067E8
AT ITER 6282 NEW BEST:: SOT 1308970621 SOS 308174058 HAS SOPS 308174058 HAS SOUS 175712477 HAS SOUPS 175712477 WITH SCORE 1.76020651058E8
AT ITER 6283 NEW BEST:: SOT 1308969752 SOS 308174417 HAS SOPS 308174417 HAS SOUS 175712307 HAS SOUPS 175712307 WITH SCORE 1.76020481417E8
AT ITER 6284 NEW BEST:: SOT 1308940011 SOS 308158069 HAS SOPS 308158069 HAS SOUS 175707570 HAS SOUPS 175707570 WITH SCORE 1.76015728069E8
AT ITER 6453 NEW BEST:: SOT 1308940010 SOS 308158067 HAS SOPS 308158067 HAS SOUS 175707568 HAS SOUPS 175707568 WITH SCORE 1.76015726067E8
AT ITER 6457 NEW BEST:: SOT 1308934521 SOS 308152578 HAS SOPS 308152578 HAS SOUS 175702079 HAS SOUPS 175702079 WITH SCORE 1.76010231578E8
AT ITER 6493 NEW BEST:: SOT 1308934521 SOS 308152854 HAS SOPS 308152854 HAS SOUS 175702077 HAS SOUPS 175702077 WITH SCORE 1.76010229854E8
AT ITER 6515 NEW BEST:: SOT 1308934521 SOS 308153144 HAS SOPS 308153144 HAS SOUS 175702075 HAS SOUPS 175702075 WITH SCORE 1.76010228144E8
AT ITER 6529 NEW BEST:: SOT 1308934521 SOS 308153144 HAS SOPS 308153144 HAS SOUS 175702074 HAS SOUPS 175702074 WITH SCORE 1.76010227144E8
AT ITER 6535 NEW BEST:: SOT 1308927562 SOS 308154451 HAS SOPS 308154451 HAS SOUS 175701420 HAS SOUPS 175701420 WITH SCORE 1.76009574451E8
AT ITER 6544 NEW BEST:: SOT 1308927561 SOS 308154449 HAS SOPS 308154449 HAS SOUS 175701418 HAS SOUPS 175701418 WITH SCORE 1.76009572449E8
AT ITER 6553 NEW BEST:: SOT 1308927561 SOS 308146304 HAS SOPS 308146304 HAS SOUS 175698703 HAS SOUPS 175698703 WITH SCORE 1.76006849304E8
AT ITER 6566 NEW BEST:: SOT 1308923108 SOS 308137398 HAS SOPS 308137398 HAS SOUS 175689797 HAS SOUPS 175689797 WITH SCORE 1.75997934398E8
AT ITER 6584 NEW BEST:: SOT 1308915616 SOS 308135866 HAS SOPS 308135866 HAS SOUS 175686666 HAS SOUPS 175686666 WITH SCORE 1.75994801866E8
AT ITER 6594 NEW BEST:: SOT 1308919959 SOS 308123447 HAS SOPS 308123447 HAS SOUS 175686145 HAS SOUPS 175686145 WITH SCORE 1.75994268447E8
AT ITER 6607 NEW BEST:: SOT 1308918074 SOS 308119676 HAS SOPS 308119676 HAS SOUS 175680050 HAS SOUPS 175680050 WITH SCORE 1.75988169676E8
AT ITER 6666 NEW BEST:: SOT 1308910809 SOS 308119675 HAS SOPS 308119675 HAS SOUS 175680049 HAS SOUPS 175680049 WITH SCORE 1.75988168675E8
AT ITER 6667 NEW BEST:: SOT 1308907078 SOS 308137656 HAS SOPS 308137656 HAS SOUS 175678692 HAS SOUPS 175678692 WITH SCORE 1.75986829656E8
AT ITER 6705 NEW BEST:: SOT 1308907078 SOS 308137656 HAS SOPS 308137656 HAS SOUS 175674117 HAS SOUPS 175674117 WITH SCORE 1.75982254656E8
AT ITER 6714 NEW BEST:: SOT 1308903012 SOS 308129524 HAS SOPS 308129524 HAS SOUS 175669001 HAS SOUPS 175669001 WITH SCORE 1.75977130524E8
AT ITER 6734 NEW BEST:: SOT 1308897256 SOS 308137362 HAS SOPS 308137362 HAS SOUS 175661365 HAS SOUPS 175661365 WITH SCORE 1.75969502362E8
AT ITER 6740 NEW BEST:: SOT 1308889429 SOS 308098227 HAS SOPS 308098227 HAS SOUS 175645711 HAS SOUPS 175645711 WITH SCORE 1.75953809227E8
AT ITER 6751 NEW BEST:: SOT 1308887174 SOS 308095972 HAS SOPS 308095972 HAS SOUS 175643456 HAS SOUPS 175643456 WITH SCORE 1.75951551972E8
AT ITER 6754 NEW BEST:: SOT 1308886184 SOS 308097948 HAS SOPS 308097948 HAS SOUS 175642465 HAS SOUPS 175642465 WITH SCORE 1.75950562948E8
AT ITER 6789 NEW BEST:: SOT 1308883936 SOS 308093452 HAS SOPS 308093452 HAS SOUS 175637969 HAS SOUPS 175637969 WITH SCORE 1.75946062452E8
AT ITER 6795 NEW BEST:: SOT 1308883936 SOS 308081944 HAS SOPS 308081944 HAS SOUS 175634133 HAS SOUPS 175634133 WITH SCORE 1.75942214944E8
AT ITER 6796 NEW BEST:: SOT 1308877842 SOS 308101480 HAS SOPS 308101480 HAS SOUS 175621944 HAS SOUPS 175621944 WITH SCORE 1.7593004548E8
AT ITER 6804 NEW BEST:: SOT 1308875613 SOS 308105938 HAS SOPS 308105938 HAS SOUS 175619715 HAS SOUPS 175619715 WITH SCORE 1.75927820938E8
AT ITER 6818 NEW BEST:: SOT 1308871677 SOS 308109867 HAS SOPS 308109867 HAS SOUS 175615777 HAS SOUPS 175615777 WITH SCORE 1.75923886867E8
AT ITER 6838 NEW BEST:: SOT 1308868113 SOS 308104517 HAS SOPS 308104517 HAS SOUS 175612212 HAS SOUPS 175612212 WITH SCORE 1.75920316517E8
AT ITER 6899 NEW BEST:: SOT 1308868113 SOS 308104517 HAS SOPS 308104517 HAS SOUS 175599662 HAS SOUPS 175599662 WITH SCORE 1.75907766517E8
AT ITER 6935 NEW BEST:: SOT 1308864222 SOS 308096735 HAS SOPS 308096735 HAS SOUS 175591488 HAS SOUPS 175591488 WITH SCORE 1.75899584735E8
AT ITER 6956 NEW BEST:: SOT 1308864258 SOS 308096804 HAS SOPS 308096804 HAS SOUS 175591487 HAS SOUPS 175591487 WITH SCORE 1.75899583804E8
AT ITER 6965 NEW BEST:: SOT 1308861118 SOS 308103080 HAS SOPS 308103080 HAS SOUS 175588346 HAS SOUPS 175588346 WITH SCORE 1.7589644908E8
AT ITER 6966 NEW BEST:: SOT 1308861118 SOS 308091386 HAS SOPS 308091386 HAS SOUS 175588346 HAS SOUPS 175588346 WITH SCORE 1.75896437386E8
AT ITER 6976 NEW BEST:: SOT 1308860722 SOS 308090594 HAS SOPS 308090594 HAS SOUS 175587950 HAS SOUPS 175587950 WITH SCORE 1.75896040594E8
AT ITER 6977 NEW BEST:: SOT 1308855998 SOS 308095318 HAS SOPS 308095318 HAS SOUS 175583226 HAS SOUPS 175583226 WITH SCORE 1.75891321318E8
AT ITER 6998 NEW BEST:: SOT 1308848102 SOS 308095965 HAS SOPS 308095965 HAS SOUS 175567433 HAS SOUPS 175567433 WITH SCORE 1.75875528965E8
AT ITER 7021 NEW BEST:: SOT 1308848102 SOS 308095961 HAS SOPS 308095961 HAS SOUS 175567432 HAS SOUPS 175567432 WITH SCORE 1.75875527961E8
AT ITER 7045 NEW BEST:: SOT 1308830590 SOS 308127624 HAS SOPS 308127624 HAS SOUS 175562114 HAS SOUPS 175562114 WITH SCORE 1.75870241624E8
AT ITER 7064 NEW BEST:: SOT 1308830589 SOS 308127622 HAS SOPS 308127622 HAS SOUS 175562112 HAS SOUPS 175562112 WITH SCORE 1.75870239622E8
AT ITER 7070 NEW BEST:: SOT 1308830589 SOS 308111920 HAS SOPS 308111920 HAS SOUS 175562112 HAS SOUPS 175562112 WITH SCORE 1.7587022392E8
AT ITER 7078 NEW BEST:: SOT 1308830495 SOS 308111732 HAS SOPS 308111732 HAS SOUS 175561924 HAS SOUPS 175561924 WITH SCORE 1.75870035732E8
AT ITER 7091 NEW BEST:: SOT 1308830108 SOS 308106465 HAS SOPS 308106465 HAS SOUS 175561016 HAS SOUPS 175561016 WITH SCORE 1.75869122465E8
AT ITER 7126 NEW BEST:: SOT 1308830085 SOS 308121202 HAS SOPS 308121202 HAS SOUS 175560969 HAS SOUPS 175560969 WITH SCORE 1.75869090202E8
AT ITER 7131 NEW BEST:: SOT 1308831756 SOS 308174925 HAS SOPS 308174925 HAS SOUS 175558711 HAS SOUPS 175558711 WITH SCORE 1.75866885925E8
AT ITER 7147 NEW BEST:: SOT 1308831756 SOS 308174925 HAS SOPS 308174925 HAS SOUS 175558710 HAS SOUPS 175558710 WITH SCORE 1.75866884925E8
AT ITER 7175 NEW BEST:: SOT 1308832681 SOS 308176775 HAS SOPS 308176775 HAS SOUS 175547930 HAS SOUPS 175547930 WITH SCORE 1.75856106775E8
AT ITER 7179 NEW BEST:: SOT 1308832681 SOS 308174288 HAS SOPS 308174288 HAS SOUS 175547101 HAS SOUPS 175547101 WITH SCORE 1.75855275288E8
AT ITER 7193 NEW BEST:: SOT 1308825702 SOS 308160330 HAS SOPS 308160330 HAS SOUS 175533143 HAS SOUPS 175533143 WITH SCORE 1.7584130333E8
AT ITER 7211 NEW BEST:: SOT 1308825562 SOS 308160050 HAS SOPS 308160050 HAS SOUS 175532863 HAS SOUPS 175532863 WITH SCORE 1.7584102305E8
AT ITER 7228 NEW BEST:: SOT 1308824192 SOS 308157310 HAS SOPS 308157310 HAS SOUS 175530427 HAS SOUPS 175530427 WITH SCORE 1.7583858431E8
AT ITER 7237 NEW BEST:: SOT 1308818699 SOS 308154182 HAS SOPS 308154182 HAS SOUS 175527015 HAS SOUPS 175527015 WITH SCORE 1.75835169182E8
AT ITER 7241 NEW BEST:: SOT 1308818699 SOS 308144138 HAS SOPS 308144138 HAS SOUS 175523667 HAS SOUPS 175523667 WITH SCORE 1.75831811138E8
AT ITER 7296 NEW BEST:: SOT 1308822735 SOS 308142660 HAS SOPS 308142660 HAS SOUS 175522189 HAS SOUPS 175522189 WITH SCORE 1.7583033166E8
AT ITER 7303 NEW BEST:: SOT 1308818416 SOS 308142656 HAS SOPS 308142656 HAS SOUS 175517869 HAS SOUPS 175517869 WITH SCORE 1.75826011656E8
AT ITER 7316 NEW BEST:: SOT 1308812062 SOS 308136302 HAS SOPS 308136302 HAS SOUS 175511515 HAS SOUPS 175511515 WITH SCORE 1.75819651302E8
AT ITER 7356 NEW BEST:: SOT 1308812062 SOS 308164463 HAS SOPS 308164463 HAS SOUS 175508213 HAS SOUPS 175508213 WITH SCORE 1.75816377463E8
AT ITER 7407 NEW BEST:: SOT 1308727150 SOS 308079551 HAS SOPS 308079551 HAS SOUS 175423301 HAS SOUPS 175423301 WITH SCORE 1.75731380551E8
AT ITER 7409 NEW BEST:: SOT 1308727150 SOS 308077881 HAS SOPS 308077881 HAS SOUS 175423301 HAS SOUPS 175423301 WITH SCORE 1.75731378881E8
AT ITER 7466 NEW BEST:: SOT 1308730818 SOS 308076066 HAS SOPS 308076066 HAS SOUS 175421486 HAS SOUPS 175421486 WITH SCORE 1.75729562066E8
AT ITER 7496 NEW BEST:: SOT 1308728866 SOS 308076066 HAS SOPS 308076066 HAS SOUS 175419534 HAS SOUPS 175419534 WITH SCORE 1.75727610066E8
AT ITER 7506 NEW BEST:: SOT 1308723845 SOS 308111213 HAS SOPS 308111213 HAS SOUS 175414513 HAS SOUPS 175414513 WITH SCORE 1.75722624213E8
AT ITER 7507 NEW BEST:: SOT 1308718650 SOS 308100823 HAS SOPS 308100823 HAS SOUS 175404123 HAS SOUPS 175404123 WITH SCORE 1.75712223823E8
AT ITER 7509 NEW BEST:: SOT 1308719515 SOS 308092110 HAS SOPS 308092110 HAS SOUS 175403719 HAS SOUPS 175403719 WITH SCORE 1.7571181111E8
AT ITER 7536 NEW BEST:: SOT 1308719515 SOS 308111360 HAS SOPS 308111360 HAS SOUS 175401578 HAS SOUPS 175401578 WITH SCORE 1.7570968936E8
AT ITER 7562 NEW BEST:: SOT 1308714033 SOS 308100396 HAS SOPS 308100396 HAS SOUS 175390614 HAS SOUPS 175390614 WITH SCORE 1.75698714396E8
AT ITER 7579 NEW BEST:: SOT 1308714033 SOS 308095014 HAS SOPS 308095014 HAS SOUS 175390614 HAS SOUPS 175390614 WITH SCORE 1.75698709014E8
AT ITER 7580 NEW BEST:: SOT 1308712839 SOS 308097398 HAS SOPS 308097398 HAS SOUS 175389419 HAS SOUPS 175389419 WITH SCORE 1.75697516398E8
AT ITER 7612 NEW BEST:: SOT 1308709796 SOS 308103476 HAS SOPS 308103476 HAS SOUS 175386374 HAS SOUPS 175386374 WITH SCORE 1.75694477476E8
AT ITER 7642 NEW BEST:: SOT 1308701810 SOS 308095486 HAS SOPS 308095486 HAS SOUS 175378387 HAS SOUPS 175378387 WITH SCORE 1.75686482486E8
AT ITER 7700 NEW BEST:: SOT 1308699766 SOS 308091394 HAS SOPS 308091394 HAS SOUS 175374298 HAS SOUPS 175374298 WITH SCORE 1.75682389394E8
AT ITER 7734 NEW BEST:: SOT 1308701972 SOS 308149877 HAS SOPS 308149877 HAS SOUS 175372700 HAS SOUPS 175372700 WITH SCORE 1.75680849877E8
AT ITER 7741 NEW BEST:: SOT 1308700780 SOS 308147493 HAS SOPS 308147493 HAS SOUS 175370316 HAS SOUPS 175370316 WITH SCORE 1.75678463493E8
AT ITER 7748 NEW BEST:: SOT 1308697075 SOS 308151195 HAS SOPS 308151195 HAS SOUS 175366610 HAS SOUPS 175366610 WITH SCORE 1.75674761195E8
AT ITER 7764 NEW BEST:: SOT 1308699325 SOS 308155695 HAS SOPS 308155695 HAS SOUS 175358397 HAS SOUPS 175358397 WITH SCORE 1.75666552695E8
AT ITER 7782 NEW BEST:: SOT 1308699325 SOS 308180220 HAS SOPS 308180220 HAS SOUS 175355605 HAS SOUPS 175355605 WITH SCORE 1.7566378522E8
AT ITER 7792 NEW BEST:: SOT 1308697264 SOS 308176098 HAS SOPS 308176098 HAS SOUS 175351483 HAS SOUPS 175351483 WITH SCORE 1.75659659098E8
AT ITER 7820 NEW BEST:: SOT 1308696253 SOS 308175651 HAS SOPS 308175651 HAS SOUS 175350997 HAS SOUPS 175350997 WITH SCORE 1.75659172651E8
AT ITER 7892 NEW BEST:: SOT 1308696252 SOS 308175649 HAS SOPS 308175649 HAS SOUS 175350995 HAS SOUPS 175350995 WITH SCORE 1.75659170649E8
AT ITER 7999 NEW BEST:: SOT 1308694791 SOS 308172727 HAS SOPS 308172727 HAS SOUS 175348073 HAS SOUPS 175348073 WITH SCORE 1.75656245727E8
AT ITER 8027 NEW BEST:: SOT 1308686773 SOS 308164709 HAS SOPS 308164709 HAS SOUS 175340055 HAS SOUPS 175340055 WITH SCORE 1.75648219709E8
AT ITER 8079 NEW BEST:: SOT 1308686773 SOS 308165025 HAS SOPS 308165025 HAS SOUS 175340053 HAS SOUPS 175340053 WITH SCORE 1.75648218025E8
AT ITER 8105 NEW BEST:: SOT 1308680573 SOS 308161357 HAS SOPS 308161357 HAS SOUS 175336385 HAS SOUPS 175336385 WITH SCORE 1.75644546357E8
AT ITER 8126 NEW BEST:: SOT 1308679043 SOS 308161329 HAS SOPS 308161329 HAS SOUS 175335607 HAS SOUPS 175335607 WITH SCORE 1.75643768329E8
AT ITER 8138 NEW BEST:: SOT 1308672393 SOS 308154679 HAS SOPS 308154679 HAS SOUS 175328957 HAS SOUPS 175328957 WITH SCORE 1.75637111679E8
AT ITER 8141 NEW BEST:: SOT 1308664477 SOS 308146759 HAS SOPS 308146759 HAS SOUS 175321040 HAS SOUPS 175321040 WITH SCORE 1.75629186759E8
AT ITER 8151 NEW BEST:: SOT 1308662528 SOS 308142861 HAS SOPS 308142861 HAS SOUS 175319091 HAS SOUPS 175319091 WITH SCORE 1.75627233861E8
AT ITER 8153 NEW BEST:: SOT 1308665991 SOS 308149787 HAS SOPS 308149787 HAS SOUS 175313322 HAS SOUPS 175313322 WITH SCORE 1.75621471787E8
AT ITER 8168 NEW BEST:: SOT 1308668912 SOS 308182794 HAS SOPS 308182794 HAS SOUS 175310109 HAS SOUPS 175310109 WITH SCORE 1.75618291794E8
AT ITER 8170 NEW BEST:: SOT 1308665503 SOS 308179385 HAS SOPS 308179385 HAS SOUS 175306699 HAS SOUPS 175306699 WITH SCORE 1.75614878385E8
AT ITER 8172 NEW BEST:: SOT 1308664129 SOS 308178011 HAS SOPS 308178011 HAS SOUS 175305325 HAS SOUPS 175305325 WITH SCORE 1.75613503011E8
AT ITER 8200 NEW BEST:: SOT 1308659380 SOS 308177299 HAS SOPS 308177299 HAS SOUS 175302809 HAS SOUPS 175302809 WITH SCORE 1.75610986299E8
AT ITER 8211 NEW BEST:: SOT 1308659380 SOS 308171248 HAS SOPS 308171248 HAS SOUS 175300792 HAS SOUPS 175300792 WITH SCORE 1.75608963248E8
AT ITER 8219 NEW BEST:: SOT 1308661235 SOS 308155575 HAS SOPS 308155575 HAS SOUS 175297113 HAS SOUPS 175297113 WITH SCORE 1.75605268575E8
AT ITER 8246 NEW BEST:: SOT 1308660939 SOS 308155571 HAS SOPS 308155571 HAS SOUS 175296964 HAS SOUPS 175296964 WITH SCORE 1.75605119571E8
AT ITER 8249 NEW BEST:: SOT 1308660938 SOS 308155569 HAS SOPS 308155569 HAS SOUS 175296962 HAS SOUPS 175296962 WITH SCORE 1.75605117569E8
AT ITER 8255 NEW BEST:: SOT 1308644932 SOS 308164689 HAS SOPS 308164689 HAS SOUS 175291999 HAS SOUPS 175291999 WITH SCORE 1.75600163689E8
AT ITER 8266 NEW BEST:: SOT 1308644932 SOS 308164689 HAS SOPS 308164689 HAS SOUS 175284538 HAS SOUPS 175284538 WITH SCORE 1.75592702689E8
AT ITER 8271 NEW BEST:: SOT 1308643385 SOS 308165270 HAS SOPS 308165270 HAS SOUS 175281444 HAS SOUPS 175281444 WITH SCORE 1.7558960927E8
AT ITER 8285 NEW BEST:: SOT 1308639489 SOS 308160678 HAS SOPS 308160678 HAS SOUS 175277617 HAS SOUPS 175277617 WITH SCORE 1.75585777678E8
AT ITER 8303 NEW BEST:: SOT 1308639488 SOS 308160676 HAS SOPS 308160676 HAS SOUS 175277615 HAS SOUPS 175277615 WITH SCORE 1.75585775676E8
AT ITER 8321 NEW BEST:: SOT 1308637229 SOS 308156158 HAS SOPS 308156158 HAS SOUS 175271049 HAS SOUPS 175271049 WITH SCORE 1.75579205158E8
AT ITER 8394 NEW BEST:: SOT 1308630581 SOS 308156158 HAS SOPS 308156158 HAS SOUS 175263150 HAS SOUPS 175263150 WITH SCORE 1.75571306158E8
AT ITER 8413 NEW BEST:: SOT 1308624677 SOS 308156148 HAS SOPS 308156148 HAS SOUS 175260343 HAS SOUPS 175260343 WITH SCORE 1.75568499148E8
AT ITER 8417 NEW BEST:: SOT 1308617649 SOS 308149116 HAS SOPS 308149116 HAS SOUS 175253314 HAS SOUPS 175253314 WITH SCORE 1.75561463116E8
AT ITER 8449 NEW BEST:: SOT 1308618868 SOS 308195653 HAS SOPS 308195653 HAS SOUS 175250850 HAS SOUPS 175250850 WITH SCORE 1.75559045653E8
AT ITER 8457 NEW BEST:: SOT 1308618868 SOS 308195653 HAS SOPS 308195653 HAS SOUS 175250849 HAS SOUPS 175250849 WITH SCORE 1.75559044653E8
AT ITER 8461 NEW BEST:: SOT 1308617872 SOS 308197641 HAS SOPS 308197641 HAS SOUS 175249852 HAS SOUPS 175249852 WITH SCORE 1.75558049641E8
AT ITER 8462 NEW BEST:: SOT 1308617872 SOS 308196169 HAS SOPS 308196169 HAS SOUS 175249116 HAS SOUPS 175249116 WITH SCORE 1.75557312169E8
AT ITER 8469 NEW BEST:: SOT 1308617606 SOS 308200857 HAS SOPS 308200857 HAS SOUS 175249108 HAS SOUPS 175249108 WITH SCORE 1.75557308857E8
AT ITER 8522 NEW BEST:: SOT 1308617606 SOS 308189661 HAS SOPS 308189661 HAS SOUS 175249108 HAS SOUPS 175249108 WITH SCORE 1.75557297661E8
AT ITER 8525 NEW BEST:: SOT 1308617104 SOS 308188657 HAS SOPS 308188657 HAS SOUS 175248104 HAS SOUPS 175248104 WITH SCORE 1.75556292657E8
AT ITER 8551 NEW BEST:: SOT 1308614307 SOS 308183063 HAS SOPS 308183063 HAS SOUS 175242510 HAS SOUPS 175242510 WITH SCORE 1.75550693063E8
AT ITER 8553 NEW BEST:: SOT 1308610324 SOS 308175097 HAS SOPS 308175097 HAS SOUS 175234544 HAS SOUPS 175234544 WITH SCORE 1.75542719097E8
AT ITER 8663 NEW BEST:: SOT 1308610070 SOS 308174589 HAS SOPS 308174589 HAS SOUS 175234290 HAS SOUPS 175234290 WITH SCORE 1.75542464589E8
AT ITER 8764 NEW BEST:: SOT 1308607799 SOS 308170047 HAS SOPS 308170047 HAS SOUS 175225804 HAS SOUPS 175225804 WITH SCORE 1.75533974047E8
AT ITER 8781 NEW BEST:: SOT 1308607799 SOS 308165532 HAS SOPS 308165532 HAS SOUS 175224299 HAS SOUPS 175224299 WITH SCORE 1.75532464532E8
AT ITER 8831 NEW BEST:: SOT 1308607799 SOS 308157435 HAS SOPS 308157435 HAS SOUS 175221600 HAS SOUPS 175221600 WITH SCORE 1.75529757435E8
AT ITER 8834 NEW BEST:: SOT 1308606702 SOS 308157432 HAS SOPS 308157432 HAS SOUS 175220502 HAS SOUPS 175220502 WITH SCORE 1.75528659432E8
AT ITER 8841 NEW BEST:: SOT 1308606702 SOS 308153793 HAS SOPS 308153793 HAS SOUS 175219289 HAS SOUPS 175219289 WITH SCORE 1.75527442793E8
AT ITER 8852 NEW BEST:: SOT 1308605586 SOS 308153789 HAS SOPS 308153789 HAS SOUS 175218172 HAS SOUPS 175218172 WITH SCORE 1.75526325789E8
AT ITER 8876 NEW BEST:: SOT 1308603896 SOS 308160090 HAS SOPS 308160090 HAS SOUS 175216482 HAS SOUPS 175216482 WITH SCORE 1.7552464209E8
AT ITER 8893 NEW BEST:: SOT 1308603896 SOS 308161838 HAS SOPS 308161838 HAS SOUS 175216480 HAS SOUPS 175216480 WITH SCORE 1.75524641838E8
AT ITER 8911 NEW BEST:: SOT 1308597256 SOS 308235317 HAS SOPS 308235317 HAS SOUS 175215178 HAS SOUPS 175215178 WITH SCORE 1.75523413317E8
AT ITER 8963 NEW BEST:: SOT 1308597256 SOS 308227922 HAS SOPS 308227922 HAS SOUS 175212713 HAS SOUPS 175212713 WITH SCORE 1.75520940922E8
AT ITER 9007 NEW BEST:: SOT 1308596576 SOS 308226562 HAS SOPS 308226562 HAS SOUS 175212032 HAS SOUPS 175212032 WITH SCORE 1.75520258562E8
AT ITER 9035 NEW BEST:: SOT 1308596576 SOS 308226561 HAS SOPS 308226561 HAS SOUS 175212030 HAS SOUPS 175212030 WITH SCORE 1.75520256561E8
AT ITER 9071 NEW BEST:: SOT 1308595049 SOS 308225642 HAS SOPS 308225642 HAS SOUS 175208976 HAS SOUPS 175208976 WITH SCORE 1.75517201642E8
AT ITER 9087 NEW BEST:: SOT 1308590458 SOS 308216460 HAS SOPS 308216460 HAS SOUS 175199794 HAS SOUPS 175199794 WITH SCORE 1.7550801046E8
AT ITER 9122 NEW BEST:: SOT 1308590185 SOS 308216698 HAS SOPS 308216698 HAS SOUS 175199431 HAS SOUPS 175199431 WITH SCORE 1.75507647698E8
AT ITER 9130 NEW BEST:: SOT 1308590185 SOS 308212774 HAS SOPS 308212774 HAS SOUS 175198776 HAS SOUPS 175198776 WITH SCORE 1.75506988774E8
AT ITER 9190 NEW BEST:: SOT 1308580012 SOS 308204358 HAS SOPS 308204358 HAS SOUS 175189548 HAS SOUPS 175189548 WITH SCORE 1.75497752358E8
AT ITER 9239 NEW BEST:: SOT 1308580012 SOS 308197826 HAS SOPS 308197826 HAS SOUS 175189548 HAS SOUPS 175189548 WITH SCORE 1.75497745826E8
AT ITER 9242 NEW BEST:: SOT 1308578987 SOS 308197825 HAS SOPS 308197825 HAS SOUS 175189547 HAS SOUPS 175189547 WITH SCORE 1.75497744825E8
AT ITER 9259 NEW BEST:: SOT 1308579307 SOS 308195190 HAS SOPS 308195190 HAS SOUS 175186912 HAS SOUPS 175186912 WITH SCORE 1.7549510719E8
AT ITER 9302 NEW BEST:: SOT 1308573849 SOS 308195187 HAS SOPS 308195187 HAS SOUS 175175995 HAS SOUPS 175175995 WITH SCORE 1.75484190187E8
AT ITER 9335 NEW BEST:: SOT 1308564391 SOS 308182124 HAS SOPS 308182124 HAS SOUS 175167665 HAS SOUPS 175167665 WITH SCORE 1.75475847124E8
AT ITER 9338 NEW BEST:: SOT 1308564391 SOS 308176032 HAS SOPS 308176032 HAS SOUS 175167665 HAS SOUPS 175167665 WITH SCORE 1.75475841032E8
AT ITER 9355 NEW BEST:: SOT 1308564390 SOS 308172653 HAS SOPS 308172653 HAS SOUS 175164286 HAS SOUPS 175164286 WITH SCORE 1.75472458653E8
AT ITER 9390 NEW BEST:: SOT 1308564390 SOS 308172653 HAS SOPS 308172653 HAS SOUS 175164285 HAS SOUPS 175164285 WITH SCORE 1.75472457653E8
AT ITER 9430 NEW BEST:: SOT 1308564387 SOS 308172647 HAS SOPS 308172647 HAS SOUS 175164279 HAS SOUPS 175164279 WITH SCORE 1.75472451647E8
AT ITER 9435 NEW BEST:: SOT 1308561679 SOS 308178059 HAS SOPS 308178059 HAS SOUS 175161570 HAS SOUPS 175161570 WITH SCORE 1.75469748059E8
AT ITER 9462 NEW BEST:: SOT 1308560980 SOS 308176661 HAS SOPS 308176661 HAS SOUS 175160172 HAS SOUPS 175160172 WITH SCORE 1.75468348661E8
AT ITER 9471 NEW BEST:: SOT 1308553977 SOS 308176660 HAS SOPS 308176660 HAS SOUS 175160171 HAS SOUPS 175160171 WITH SCORE 1.7546834766E8
AT ITER 9475 NEW BEST:: SOT 1308553977 SOS 308176660 HAS SOPS 308176660 HAS SOUS 175148638 HAS SOUPS 175148638 WITH SCORE 1.7545681466E8
AT ITER 9492 NEW BEST:: SOT 1308553977 SOS 308170696 HAS SOPS 308170696 HAS SOUS 175146650 HAS SOUPS 175146650 WITH SCORE 1.75454820696E8
AT ITER 9495 NEW BEST:: SOT 1308553977 SOS 308164414 HAS SOPS 308164414 HAS SOUS 175144556 HAS SOUPS 175144556 WITH SCORE 1.75452720414E8
AT ITER 9516 NEW BEST:: SOT 1308553977 SOS 308162038 HAS SOPS 308162038 HAS SOUS 175143764 HAS SOUPS 175143764 WITH SCORE 1.75451926038E8
AT ITER 9561 NEW BEST:: SOT 1308553280 SOS 308160644 HAS SOPS 308160644 HAS SOUS 175142370 HAS SOUPS 175142370 WITH SCORE 1.75450530644E8
AT ITER 9566 NEW BEST:: SOT 1308559970 SOS 308149439 HAS SOPS 308149439 HAS SOUS 175141583 HAS SOUPS 175141583 WITH SCORE 1.75449732439E8
AT ITER 9567 NEW BEST:: SOT 1308559970 SOS 308142608 HAS SOPS 308142608 HAS SOUS 175141583 HAS SOUPS 175141583 WITH SCORE 1.75449725608E8
AT ITER 9617 NEW BEST:: SOT 1308559969 SOS 308142606 HAS SOPS 308142606 HAS SOUS 175141581 HAS SOUPS 175141581 WITH SCORE 1.75449723606E8
AT ITER 9625 NEW BEST:: SOT 1308554009 SOS 308142596 HAS SOPS 308142596 HAS SOUS 175139048 HAS SOUPS 175139048 WITH SCORE 1.75447190596E8
AT ITER 9631 NEW BEST:: SOT 1308554009 SOS 308135924 HAS SOPS 308135924 HAS SOUS 175136824 HAS SOUPS 175136824 WITH SCORE 1.75444959924E8
AT ITER 9646 NEW BEST:: SOT 1308551375 SOS 308130656 HAS SOPS 308130656 HAS SOUS 175134190 HAS SOUPS 175134190 WITH SCORE 1.75442320656E8
AT ITER 9701 NEW BEST:: SOT 1308546428 SOS 308125709 HAS SOPS 308125709 HAS SOUS 175129243 HAS SOUPS 175129243 WITH SCORE 1.75437368709E8
AT ITER 9702 NEW BEST:: SOT 1308531154 SOS 308140377 HAS SOPS 308140377 HAS SOUS 175119688 HAS SOUPS 175119688 WITH SCORE 1.75427828377E8
AT ITER 9731 NEW BEST:: SOT 1308535210 SOS 308140375 HAS SOPS 308140375 HAS SOUS 175119687 HAS SOUPS 175119687 WITH SCORE 1.75427827375E8
AT ITER 9751 NEW BEST:: SOT 1308533908 SOS 308149489 HAS SOPS 308149489 HAS SOUS 175118385 HAS SOUPS 175118385 WITH SCORE 1.75426534489E8
AT ITER 9785 NEW BEST:: SOT 1308532934 SOS 308147541 HAS SOPS 308147541 HAS SOUS 175116437 HAS SOUPS 175116437 WITH SCORE 1.75424584541E8
AT ITER 9793 NEW BEST:: SOT 1308531783 SOS 308164428 HAS SOPS 308164428 HAS SOUS 175110644 HAS SOUPS 175110644 WITH SCORE 1.75418808428E8
AT ITER 9829 NEW BEST:: SOT 1308529467 SOS 308169056 HAS SOPS 308169056 HAS SOUS 175108327 HAS SOUPS 175108327 WITH SCORE 1.75416496056E8
AT ITER 9847 NEW BEST:: SOT 1308529431 SOS 308169016 HAS SOPS 308169016 HAS SOUS 175108290 HAS SOUPS 175108290 WITH SCORE 1.75416459016E8
AT ITER 9894 NEW BEST:: SOT 1308524695 SOS 308202168 HAS SOPS 308202168 HAS SOUS 175103554 HAS SOUPS 175103554 WITH SCORE 1.75411756168E8
AT ITER 9914 NEW BEST:: SOT 1308524695 SOS 308200530 HAS SOPS 308200530 HAS SOUS 175102735 HAS SOUPS 175102735 WITH SCORE 1.7541093553E8
AT ITER 9916 NEW BEST:: SOT 1308520335 SOS 308204883 HAS SOPS 308204883 HAS SOUS 175098373 HAS SOUPS 175098373 WITH SCORE 1.75406577883E8
AT ITER 9931 NEW BEST:: SOT 1308519434 SOS 308203982 HAS SOPS 308203982 HAS SOUS 175097472 HAS SOUPS 175097472 WITH SCORE 1.75405675982E8
AT ITER 9995 NEW BEST:: SOT 1308513150 SOS 308172562 HAS SOPS 308172562 HAS SOUS 175084904 HAS SOUPS 175084904 WITH SCORE 1.75393076562E8
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-7b"
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-7b, 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-158902542200432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-7b.tgz
mv DLCflexbar-PT-7b 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 '
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 ;