Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814473000872.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCshifumi-PT-6b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814473000872
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 6.6K Feb 26 08:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 08:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 08:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 08:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 08:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 08:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 08:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 17M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678269205789

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-6b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 44243 places, 66611 transitions, 182532 arcs.
AT ITER 0 NEW BEST:: SOT 1935081430 SOS 429295916 HAS SOPS 429295916 HAS SOUS 279310379 HAS SOUPS 279310379 WITH SCORE 2.79739674916E8
AT ITER 28 NEW BEST:: SOT 1935075415 SOS 429289901 HAS SOPS 429289901 HAS SOUS 279304364 HAS SOUPS 279304364 WITH SCORE 2.79733653901E8
AT ITER 47 NEW BEST:: SOT 1935074751 SOS 429288573 HAS SOPS 429288573 HAS SOUS 279300867 HAS SOUPS 279300867 WITH SCORE 2.79730155573E8
AT ITER 50 NEW BEST:: SOT 1935065315 SOS 429269701 HAS SOPS 429269701 HAS SOUS 279281995 HAS SOUPS 279281995 WITH SCORE 2.79711264701E8
AT ITER 66 NEW BEST:: SOT 1935062715 SOS 429264501 HAS SOPS 429264501 HAS SOUS 279276795 HAS SOUPS 279276795 WITH SCORE 2.79706059501E8
AT ITER 72 NEW BEST:: SOT 1935059865 SOS 429270201 HAS SOPS 429270201 HAS SOUS 279273945 HAS SOUPS 279273945 WITH SCORE 2.79703215201E8
AT ITER 79 NEW BEST:: SOT 1935053407 SOS 429283744 HAS SOPS 429283744 HAS SOUS 279260254 HAS SOUPS 279260254 WITH SCORE 2.79689537744E8
AT ITER 82 NEW BEST:: SOT 1935051217 SOS 429282649 HAS SOPS 429282649 HAS SOUS 279259159 HAS SOUPS 279259159 WITH SCORE 2.79688441649E8
AT ITER 117 NEW BEST:: SOT 1935048172 SOS 429276560 HAS SOPS 429276560 HAS SOUS 279253070 HAS SOUPS 279253070 WITH SCORE 2.7968234656E8
AT ITER 121 NEW BEST:: SOT 1935042341 SOS 429264898 HAS SOPS 429264898 HAS SOUS 279241408 HAS SOUPS 279241408 WITH SCORE 2.79670672898E8
AT ITER 124 NEW BEST:: SOT 1935039937 SOS 429260090 HAS SOPS 429260090 HAS SOUS 279236600 HAS SOUPS 279236600 WITH SCORE 2.7966586009E8
AT ITER 127 NEW BEST:: SOT 1934994633 SOS 429248431 HAS SOPS 429248431 HAS SOUS 279222957 HAS SOUPS 279222957 WITH SCORE 2.79652205431E8
AT ITER 129 NEW BEST:: SOT 1934991959 SOS 429247094 HAS SOPS 429247094 HAS SOUS 279221620 HAS SOUPS 279221620 WITH SCORE 2.79650867094E8
AT ITER 130 NEW BEST:: SOT 1934986676 SOS 429236528 HAS SOPS 429236528 HAS SOUS 279211054 HAS SOUPS 279211054 WITH SCORE 2.79640290528E8
AT ITER 172 NEW BEST:: SOT 1934980015 SOS 429249404 HAS SOPS 429249404 HAS SOUS 279197063 HAS SOUPS 279197063 WITH SCORE 2.79626312404E8
AT ITER 175 NEW BEST:: SOT 1934977610 SOS 429244594 HAS SOPS 429244594 HAS SOUS 279192253 HAS SOUPS 279192253 WITH SCORE 2.79621497594E8
AT ITER 179 NEW BEST:: SOT 1934968874 SOS 429240226 HAS SOPS 429240226 HAS SOUS 279187885 HAS SOUPS 279187885 WITH SCORE 2.79617125226E8
AT ITER 222 NEW BEST:: SOT 1934966440 SOS 429242656 HAS SOPS 429242656 HAS SOUS 279187005 HAS SOUPS 279187005 WITH SCORE 2.79616247656E8
AT ITER 247 NEW BEST:: SOT 1934961064 SOS 429240145 HAS SOPS 429240145 HAS SOUS 279184497 HAS SOUPS 279184497 WITH SCORE 2.79613737145E8
AT ITER 269 NEW BEST:: SOT 1934952355 SOS 429248854 HAS SOPS 429248854 HAS SOUS 279172832 HAS SOUPS 279172832 WITH SCORE 2.79602080854E8
AT ITER 286 NEW BEST:: SOT 1934951635 SOS 429248851 HAS SOPS 429248851 HAS SOUS 279172831 HAS SOUPS 279172831 WITH SCORE 2.79602079851E8
AT ITER 305 NEW BEST:: SOT 1934946427 SOS 429254059 HAS SOPS 429254059 HAS SOUS 279167623 HAS SOUPS 279167623 WITH SCORE 2.79596877059E8
AT ITER 341 NEW BEST:: SOT 1934950958 SOS 429241128 HAS SOPS 429241128 HAS SOUS 279167088 HAS SOUPS 279167088 WITH SCORE 2.79596329128E8
AT ITER 356 NEW BEST:: SOT 1934950956 SOS 429241124 HAS SOPS 429241124 HAS SOUS 279167084 HAS SOUPS 279167084 WITH SCORE 2.79596325124E8
AT ITER 372 NEW BEST:: SOT 1934950956 SOS 429241124 HAS SOPS 429241124 HAS SOUS 279157227 HAS SOUPS 279157227 WITH SCORE 2.79586468124E8
AT ITER 386 NEW BEST:: SOT 1934952991 SOS 429245194 HAS SOPS 429245194 HAS SOUS 279147190 HAS SOUPS 279147190 WITH SCORE 2.79576435194E8
AT ITER 416 NEW BEST:: SOT 1934952497 SOS 429244202 HAS SOPS 429244202 HAS SOUS 279146201 HAS SOUPS 279146201 WITH SCORE 2.79575445202E8
AT ITER 451 NEW BEST:: SOT 1934951000 SOS 429242705 HAS SOPS 429242705 HAS SOUS 279144704 HAS SOUPS 279144704 WITH SCORE 2.79573946705E8
AT ITER 464 NEW BEST:: SOT 1934947901 SOS 429236507 HAS SOPS 429236507 HAS SOUS 279143824 HAS SOUPS 279143824 WITH SCORE 2.79573060507E8
AT ITER 473 NEW BEST:: SOT 1934947554 SOS 429235813 HAS SOPS 429235813 HAS SOUS 279143130 HAS SOUPS 279143130 WITH SCORE 2.79572365813E8
AT ITER 476 NEW BEST:: SOT 1934947554 SOS 429242172 HAS SOPS 429242172 HAS SOUS 279141008 HAS SOUPS 279141008 WITH SCORE 2.79570250172E8
AT ITER 479 NEW BEST:: SOT 1934942719 SOS 429261157 HAS SOPS 429261157 HAS SOUS 279129760 HAS SOUPS 279129760 WITH SCORE 2.79559021157E8
AT ITER 491 NEW BEST:: SOT 1934941998 SOS 429259716 HAS SOPS 429259716 HAS SOUS 279128319 HAS SOUPS 279128319 WITH SCORE 2.79557578716E8
AT ITER 494 NEW BEST:: SOT 1934941434 SOS 429258588 HAS SOPS 429258588 HAS SOUS 279127191 HAS SOUPS 279127191 WITH SCORE 2.79556449588E8
AT ITER 503 NEW BEST:: SOT 1934939305 SOS 429254331 HAS SOPS 429254331 HAS SOUS 279122934 HAS SOUPS 279122934 WITH SCORE 2.79552188331E8
AT ITER 531 NEW BEST:: SOT 1934938933 SOS 429253587 HAS SOPS 429253587 HAS SOUS 279122562 HAS SOUPS 279122562 WITH SCORE 2.79551815587E8
AT ITER 533 NEW BEST:: SOT 1934935931 SOS 429247583 HAS SOPS 429247583 HAS SOUS 279120747 HAS SOUPS 279120747 WITH SCORE 2.79549994583E8
AT ITER 537 NEW BEST:: SOT 1934923827 SOS 429235955 HAS SOPS 429235955 HAS SOUS 279108643 HAS SOUPS 279108643 WITH SCORE 2.79537878955E8
AT ITER 541 NEW BEST:: SOT 1934920879 SOS 429230059 HAS SOPS 429230059 HAS SOUS 279102747 HAS SOUPS 279102747 WITH SCORE 2.79531977059E8
AT ITER 576 NEW BEST:: SOT 1934913105 SOS 429237829 HAS SOPS 429237829 HAS SOUS 279087198 HAS SOUPS 279087198 WITH SCORE 2.79516435829E8
AT ITER 582 NEW BEST:: SOT 1934913105 SOS 429237829 HAS SOPS 429237829 HAS SOUS 279084056 HAS SOUPS 279084056 WITH SCORE 2.79513293829E8
AT ITER 597 NEW BEST:: SOT 1934908009 SOS 429281816 HAS SOPS 429281816 HAS SOUS 279073863 HAS SOUPS 279073863 WITH SCORE 2.79503144816E8
AT ITER 646 NEW BEST:: SOT 1934909308 SOS 429270908 HAS SOPS 429270908 HAS SOUS 279071309 HAS SOUPS 279071309 WITH SCORE 2.79500579908E8
AT ITER 654 NEW BEST:: SOT 1934906542 SOS 429268142 HAS SOPS 429268142 HAS SOUS 279068543 HAS SOUPS 279068543 WITH SCORE 2.79497811142E8
AT ITER 659 NEW BEST:: SOT 1934903925 SOS 429268138 HAS SOPS 429268138 HAS SOUS 279068542 HAS SOUPS 279068542 WITH SCORE 2.79497810138E8
AT ITER 662 NEW BEST:: SOT 1934903924 SOS 429268136 HAS SOPS 429268136 HAS SOUS 279068540 HAS SOUPS 279068540 WITH SCORE 2.79497808136E8
AT ITER 663 NEW BEST:: SOT 1934902791 SOS 429270402 HAS SOPS 429270402 HAS SOUS 279067407 HAS SOUPS 279067407 WITH SCORE 2.79496677402E8
AT ITER 668 NEW BEST:: SOT 1934899755 SOS 429264330 HAS SOPS 429264330 HAS SOUS 279065369 HAS SOUPS 279065369 WITH SCORE 2.7949463333E8
AT ITER 672 NEW BEST:: SOT 1934885947 SOS 429257855 HAS SOPS 429257855 HAS SOUS 279058608 HAS SOUPS 279058608 WITH SCORE 2.79487865855E8
AT ITER 704 NEW BEST:: SOT 1934879602 SOS 429251506 HAS SOPS 429251506 HAS SOUS 279052262 HAS SOUPS 279052262 WITH SCORE 2.79481513506E8
AT ITER 705 NEW BEST:: SOT 1934878439 SOS 429249180 HAS SOPS 429249180 HAS SOUS 279049936 HAS SOUPS 279049936 WITH SCORE 2.7947918518E8
AT ITER 709 NEW BEST:: SOT 1934876348 SOS 429247089 HAS SOPS 429247089 HAS SOUS 279047845 HAS SOUPS 279047845 WITH SCORE 2.79477092089E8
AT ITER 728 NEW BEST:: SOT 1934867409 SOS 429238091 HAS SOPS 429238091 HAS SOUS 279042582 HAS SOUPS 279042582 WITH SCORE 2.79471820091E8
AT ITER 747 NEW BEST:: SOT 1934867409 SOS 429236411 HAS SOPS 429236411 HAS SOUS 279040902 HAS SOUPS 279040902 WITH SCORE 2.79470138411E8
AT ITER 766 NEW BEST:: SOT 1934863848 SOS 429229289 HAS SOPS 429229289 HAS SOUS 279037341 HAS SOUPS 279037341 WITH SCORE 2.79466570289E8
AT ITER 776 NEW BEST:: SOT 1934861376 SOS 429246398 HAS SOPS 429246398 HAS SOUS 279029183 HAS SOUPS 279029183 WITH SCORE 2.79458429398E8
AT ITER 800 NEW BEST:: SOT 1934853673 SOS 429238691 HAS SOPS 429238691 HAS SOUS 279021479 HAS SOUPS 279021479 WITH SCORE 2.79450717691E8
AT ITER 808 NEW BEST:: SOT 1934852987 SOS 429238348 HAS SOPS 429238348 HAS SOUS 279021136 HAS SOUPS 279021136 WITH SCORE 2.79450374348E8
AT ITER 810 NEW BEST:: SOT 1934852827 SOS 429238028 HAS SOPS 429238028 HAS SOUS 279020816 HAS SOUPS 279020816 WITH SCORE 2.79450054028E8
AT ITER 817 NEW BEST:: SOT 1934838660 SOS 429236168 HAS SOPS 429236168 HAS SOUS 279016693 HAS SOUPS 279016693 WITH SCORE 2.79445929168E8
AT ITER 843 NEW BEST:: SOT 1934837072 SOS 429236164 HAS SOPS 429236164 HAS SOUS 279015898 HAS SOUPS 279015898 WITH SCORE 2.79445134164E8
AT ITER 846 NEW BEST:: SOT 1934835079 SOS 429232178 HAS SOPS 429232178 HAS SOUS 279005518 HAS SOUPS 279005518 WITH SCORE 2.79434750178E8
AT ITER 860 NEW BEST:: SOT 1934825691 SOS 429185238 HAS SOPS 429185238 HAS SOUS 278986742 HAS SOUPS 278986742 WITH SCORE 2.79415927238E8
AT ITER 878 NEW BEST:: SOT 1934823209 SOS 429192448 HAS SOPS 429192448 HAS SOUS 278984260 HAS SOUPS 278984260 WITH SCORE 2.79413452448E8
AT ITER 910 NEW BEST:: SOT 1934809367 SOS 429164764 HAS SOPS 429164764 HAS SOUS 278956576 HAS SOUPS 278956576 WITH SCORE 2.79385740764E8
AT ITER 946 NEW BEST:: SOT 1934809367 SOS 429159448 HAS SOPS 429159448 HAS SOUS 278954804 HAS SOUPS 278954804 WITH SCORE 2.79383963448E8
AT ITER 947 NEW BEST:: SOT 1934807845 SOS 429160970 HAS SOPS 429160970 HAS SOUS 278953282 HAS SOUPS 278953282 WITH SCORE 2.7938244297E8
AT ITER 981 NEW BEST:: SOT 1934799593 SOS 429152714 HAS SOPS 429152714 HAS SOUS 278945029 HAS SOUPS 278945029 WITH SCORE 2.79374181714E8
AT ITER 982 NEW BEST:: SOT 1934799593 SOS 429148880 HAS SOPS 429148880 HAS SOUS 278945029 HAS SOUPS 278945029 WITH SCORE 2.7937417788E8
AT ITER 1003 NEW BEST:: SOT 1934799593 SOS 429148832 HAS SOPS 429148832 HAS SOUS 278945029 HAS SOUPS 278945029 WITH SCORE 2.79374177832E8
AT ITER 1021 NEW BEST:: SOT 1934799493 SOS 429148631 HAS SOPS 429148631 HAS SOUS 278941899 HAS SOUPS 278941899 WITH SCORE 2.79371047631E8
AT ITER 1029 NEW BEST:: SOT 1934799493 SOS 429149751 HAS SOPS 429149751 HAS SOUS 278930084 HAS SOUPS 278930084 WITH SCORE 2.79359233751E8
AT ITER 1072 NEW BEST:: SOT 1934796236 SOS 429143237 HAS SOPS 429143237 HAS SOUS 278923570 HAS SOUPS 278923570 WITH SCORE 2.79352713237E8
AT ITER 1090 NEW BEST:: SOT 1934796236 SOS 429135808 HAS SOPS 429135808 HAS SOUS 278916141 HAS SOUPS 278916141 WITH SCORE 2.79345276808E8
AT ITER 1112 NEW BEST:: SOT 1934795715 SOS 429134766 HAS SOPS 429134766 HAS SOUS 278915099 HAS SOUPS 278915099 WITH SCORE 2.79344233766E8
AT ITER 1121 NEW BEST:: SOT 1934790305 SOS 429134762 HAS SOPS 429134762 HAS SOUS 278912393 HAS SOUPS 278912393 WITH SCORE 2.79341527762E8
AT ITER 1225 NEW BEST:: SOT 1934777831 SOS 429135299 HAS SOPS 429135299 HAS SOUS 278910869 HAS SOUPS 278910869 WITH SCORE 2.79340004299E8
AT ITER 1234 NEW BEST:: SOT 1934776547 SOS 429132731 HAS SOPS 429132731 HAS SOUS 278909585 HAS SOUPS 278909585 WITH SCORE 2.79338717731E8
AT ITER 1244 NEW BEST:: SOT 1934764208 SOS 429133307 HAS SOPS 429133307 HAS SOUS 278908988 HAS SOUPS 278908988 WITH SCORE 2.79338121307E8
AT ITER 1254 NEW BEST:: SOT 1934760616 SOS 429129715 HAS SOPS 429129715 HAS SOUS 278908988 HAS SOUPS 278908988 WITH SCORE 2.79338117715E8
AT ITER 1261 NEW BEST:: SOT 1934756928 SOS 429126023 HAS SOPS 429126023 HAS SOUS 278905299 HAS SOUPS 278905299 WITH SCORE 2.79334425023E8
AT ITER 1304 NEW BEST:: SOT 1934756928 SOS 429116774 HAS SOPS 429116774 HAS SOUS 278902216 HAS SOUPS 278902216 WITH SCORE 2.79331332774E8
AT ITER 1383 NEW BEST:: SOT 1934751770 SOS 429121928 HAS SOPS 429121928 HAS SOUS 278891899 HAS SOUPS 278891899 WITH SCORE 2.79321020928E8
AT ITER 1408 NEW BEST:: SOT 1934737632 SOS 429114859 HAS SOPS 429114859 HAS SOUS 278884830 HAS SOUPS 278884830 WITH SCORE 2.79313944859E8
AT ITER 1424 NEW BEST:: SOT 1934737632 SOS 429114859 HAS SOPS 429114859 HAS SOUS 278874862 HAS SOUPS 278874862 WITH SCORE 2.79303976859E8
AT ITER 1434 NEW BEST:: SOT 1934734523 SOS 429136622 HAS SOPS 429136622 HAS SOUS 278871753 HAS SOUPS 278871753 WITH SCORE 2.79300889622E8
AT ITER 1478 NEW BEST:: SOT 1934733211 SOS 429133998 HAS SOPS 429133998 HAS SOUS 278869129 HAS SOUPS 278869129 WITH SCORE 2.79298262998E8
AT ITER 1486 NEW BEST:: SOT 1934733211 SOS 429133998 HAS SOPS 429133998 HAS SOUS 278869128 HAS SOUPS 278869128 WITH SCORE 2.79298261998E8
AT ITER 1492 NEW BEST:: SOT 1934726239 SOS 429127261 HAS SOPS 429127261 HAS SOUS 278862156 HAS SOUPS 278862156 WITH SCORE 2.79291283261E8
AT ITER 1517 NEW BEST:: SOT 1934719544 SOS 429120566 HAS SOPS 429120566 HAS SOUS 278855461 HAS SOUPS 278855461 WITH SCORE 2.79284581566E8
AT ITER 1537 NEW BEST:: SOT 1934719543 SOS 429120564 HAS SOPS 429120564 HAS SOUS 278855459 HAS SOUPS 278855459 WITH SCORE 2.79284579564E8
AT ITER 1541 NEW BEST:: SOT 1934719543 SOS 429117741 HAS SOPS 429117741 HAS SOUS 278855459 HAS SOUPS 278855459 WITH SCORE 2.79284576741E8
AT ITER 1550 NEW BEST:: SOT 1934718572 SOS 429116770 HAS SOPS 429116770 HAS SOUS 278855459 HAS SOUPS 278855459 WITH SCORE 2.7928457577E8
AT ITER 1556 NEW BEST:: SOT 1934716259 SOS 429115995 HAS SOPS 429115995 HAS SOUS 278854147 HAS SOUPS 278854147 WITH SCORE 2.79283262995E8
AT ITER 1587 NEW BEST:: SOT 1934714251 SOS 429113987 HAS SOPS 429113987 HAS SOUS 278852139 HAS SOUPS 278852139 WITH SCORE 2.79281252987E8
AT ITER 1608 NEW BEST:: SOT 1934705692 SOS 429111911 HAS SOPS 429111911 HAS SOUS 278850063 HAS SOUPS 278850063 WITH SCORE 2.79279174911E8
AT ITER 1625 NEW BEST:: SOT 1934702189 SOS 429115410 HAS SOPS 429115410 HAS SOUS 278846559 HAS SOUPS 278846559 WITH SCORE 2.7927567441E8
AT ITER 1645 NEW BEST:: SOT 1934697027 SOS 429102505 HAS SOPS 429102505 HAS SOUS 278841397 HAS SOUPS 278841397 WITH SCORE 2.79270499505E8
AT ITER 1723 NEW BEST:: SOT 1934697027 SOS 429102505 HAS SOPS 429102505 HAS SOUS 278830731 HAS SOUPS 278830731 WITH SCORE 2.79259833505E8
AT ITER 1729 NEW BEST:: SOT 1934697026 SOS 429102503 HAS SOPS 429102503 HAS SOUS 278830729 HAS SOUPS 278830729 WITH SCORE 2.79259831503E8
AT ITER 1800 NEW BEST:: SOT 1934693023 SOS 429102499 HAS SOPS 429102499 HAS SOUS 278826725 HAS SOUPS 278826725 WITH SCORE 2.79255827499E8
AT ITER 1856 NEW BEST:: SOT 1934680016 SOS 429102552 HAS SOPS 429102552 HAS SOUS 278822407 HAS SOUPS 278822407 WITH SCORE 2.79251509552E8
AT ITER 1860 NEW BEST:: SOT 1934676873 SOS 429096266 HAS SOPS 429096266 HAS SOUS 278816121 HAS SOUPS 278816121 WITH SCORE 2.79245217266E8
AT ITER 1907 NEW BEST:: SOT 1934665870 SOS 429120457 HAS SOPS 429120457 HAS SOUS 278812073 HAS SOUPS 278812073 WITH SCORE 2.79241193457E8
AT ITER 1908 NEW BEST:: SOT 1934661727 SOS 429112171 HAS SOPS 429112171 HAS SOUS 278803787 HAS SOUPS 278803787 WITH SCORE 2.79232899171E8
AT ITER 1917 NEW BEST:: SOT 1934655323 SOS 429109188 HAS SOPS 429109188 HAS SOUS 278800804 HAS SOUPS 278800804 WITH SCORE 2.79229913188E8
AT ITER 1927 NEW BEST:: SOT 1934649105 SOS 429102966 HAS SOPS 429102966 HAS SOUS 278794585 HAS SOUPS 278794585 WITH SCORE 2.79223687966E8
AT ITER 1940 NEW BEST:: SOT 1934639884 SOS 429093741 HAS SOPS 429093741 HAS SOUS 278785363 HAS SOUPS 278785363 WITH SCORE 2.79214456741E8
AT ITER 1941 NEW BEST:: SOT 1934633549 SOS 429087406 HAS SOPS 429087406 HAS SOUS 278779028 HAS SOUPS 278779028 WITH SCORE 2.79208115406E8
AT ITER 1953 NEW BEST:: SOT 1934637293 SOS 429168531 HAS SOPS 429168531 HAS SOUS 278778332 HAS SOUPS 278778332 WITH SCORE 2.79207500531E8
AT ITER 1960 NEW BEST:: SOT 1934633704 SOS 429172120 HAS SOPS 429172120 HAS SOUS 278777413 HAS SOUPS 278777413 WITH SCORE 2.7920658512E8
AT ITER 1970 NEW BEST:: SOT 1934627288 SOS 429166820 HAS SOPS 429166820 HAS SOUS 278772113 HAS SOUPS 278772113 WITH SCORE 2.7920127982E8
AT ITER 1981 NEW BEST:: SOT 1934612360 SOS 429159356 HAS SOPS 429159356 HAS SOUS 278764649 HAS SOUPS 278764649 WITH SCORE 2.79193808356E8
AT ITER 2000 NEW BEST:: SOT 1934605852 SOS 429156553 HAS SOPS 429156553 HAS SOUS 278761846 HAS SOUPS 278761846 WITH SCORE 2.79191002553E8
AT ITER 2017 NEW BEST:: SOT 1934602151 SOS 429149151 HAS SOPS 429149151 HAS SOUS 278750089 HAS SOUPS 278750089 WITH SCORE 2.79179238151E8
AT ITER 2020 NEW BEST:: SOT 1934542723 SOS 429167575 HAS SOPS 429167575 HAS SOUS 278745663 HAS SOUPS 278745663 WITH SCORE 2.79174830575E8
AT ITER 2033 NEW BEST:: SOT 1934535991 SOS 429160839 HAS SOPS 429160839 HAS SOUS 278738930 HAS SOUPS 278738930 WITH SCORE 2.79168090839E8
AT ITER 2125 NEW BEST:: SOT 1934528635 SOS 429153847 HAS SOPS 429153847 HAS SOUS 278731574 HAS SOUPS 278731574 WITH SCORE 2.79160727847E8
AT ITER 2144 NEW BEST:: SOT 1934513603 SOS 429146331 HAS SOPS 429146331 HAS SOUS 278724058 HAS SOUPS 278724058 WITH SCORE 2.79153204331E8
AT ITER 2152 NEW BEST:: SOT 1934509858 SOS 429138841 HAS SOPS 429138841 HAS SOUS 278720632 HAS SOUPS 278720632 WITH SCORE 2.79149770841E8
AT ITER 2161 NEW BEST:: SOT 1934505468 SOS 429130061 HAS SOPS 429130061 HAS SOUS 278710401 HAS SOUPS 278710401 WITH SCORE 2.79139531061E8
AT ITER 2170 NEW BEST:: SOT 1934505468 SOS 429123578 HAS SOPS 429123578 HAS SOUS 278708240 HAS SOUPS 278708240 WITH SCORE 2.79137363578E8
AT ITER 2205 NEW BEST:: SOT 1934503359 SOS 429119360 HAS SOPS 429119360 HAS SOUS 278704022 HAS SOUPS 278704022 WITH SCORE 2.7913314136E8
AT ITER 2210 NEW BEST:: SOT 1934501620 SOS 429119356 HAS SOPS 429119356 HAS SOUS 278704021 HAS SOUPS 278704021 WITH SCORE 2.79133140356E8
AT ITER 2256 NEW BEST:: SOT 1934500243 SOS 429119352 HAS SOPS 429119352 HAS SOUS 278704020 HAS SOUPS 278704020 WITH SCORE 2.79133139352E8
AT ITER 2259 NEW BEST:: SOT 1934500243 SOS 429104880 HAS SOPS 429104880 HAS SOUS 278704020 HAS SOUPS 278704020 WITH SCORE 2.7913312488E8
AT ITER 2277 NEW BEST:: SOT 1934500243 SOS 429104691 HAS SOPS 429104691 HAS SOUS 278703831 HAS SOUPS 278703831 WITH SCORE 2.79132935691E8
AT ITER 2293 NEW BEST:: SOT 1934497681 SOS 429102129 HAS SOPS 429102129 HAS SOUS 278701269 HAS SOUPS 278701269 WITH SCORE 2.79130371129E8
AT ITER 2309 NEW BEST:: SOT 1934497681 SOS 429102129 HAS SOPS 429102129 HAS SOUS 278701268 HAS SOUPS 278701268 WITH SCORE 2.79130370129E8
AT ITER 2316 NEW BEST:: SOT 1934502437 SOS 429111641 HAS SOPS 429111641 HAS SOUS 278700222 HAS SOUPS 278700222 WITH SCORE 2.79129333641E8
AT ITER 2359 NEW BEST:: SOT 1934496124 SOS 429105324 HAS SOPS 429105324 HAS SOUS 278693908 HAS SOUPS 278693908 WITH SCORE 2.79123013324E8
AT ITER 2372 NEW BEST:: SOT 1934490585 SOS 429094246 HAS SOPS 429094246 HAS SOUS 278682830 HAS SOUPS 278682830 WITH SCORE 2.79111924246E8
AT ITER 2375 NEW BEST:: SOT 1934485294 SOS 429067791 HAS SOPS 429067791 HAS SOUS 278672248 HAS SOUPS 278672248 WITH SCORE 2.79101315791E8
AT ITER 2400 NEW BEST:: SOT 1934479261 SOS 429082685 HAS SOPS 429082685 HAS SOUS 278659170 HAS SOUPS 278659170 WITH SCORE 2.79088252685E8
AT ITER 2405 NEW BEST:: SOT 1934473131 SOS 429070425 HAS SOPS 429070425 HAS SOUS 278646910 HAS SOUPS 278646910 WITH SCORE 2.79075980425E8
AT ITER 2428 NEW BEST:: SOT 1934465771 SOS 429066741 HAS SOPS 429066741 HAS SOUS 278643229 HAS SOUPS 278643229 WITH SCORE 2.79072295741E8
AT ITER 2465 NEW BEST:: SOT 1934457745 SOS 429085824 HAS SOPS 429085824 HAS SOUS 278627176 HAS SOUPS 278627176 WITH SCORE 2.79056261824E8
AT ITER 2496 NEW BEST:: SOT 1934445021 SOS 429079462 HAS SOPS 429079462 HAS SOUS 278620814 HAS SOUPS 278620814 WITH SCORE 2.79049893462E8
AT ITER 2524 NEW BEST:: SOT 1934444187 SOS 429077790 HAS SOPS 429077790 HAS SOUS 278619145 HAS SOUPS 278619145 WITH SCORE 2.7904822279E8
AT ITER 2544 NEW BEST:: SOT 1934437539 SOS 429071733 HAS SOPS 429071733 HAS SOUS 278613088 HAS SOUPS 278613088 WITH SCORE 2.79042159733E8
AT ITER 2549 NEW BEST:: SOT 1934441752 SOS 429116782 HAS SOPS 429116782 HAS SOUS 278609304 HAS SOUPS 278609304 WITH SCORE 2.79038420782E8
AT ITER 2551 NEW BEST:: SOT 1934431128 SOS 429106150 HAS SOPS 429106150 HAS SOUS 278605036 HAS SOUPS 278605036 WITH SCORE 2.7903414215E8
AT ITER 2570 NEW BEST:: SOT 1934426556 SOS 429064505 HAS SOPS 429064505 HAS SOUS 278583182 HAS SOUPS 278583182 WITH SCORE 2.79012246505E8
AT ITER 2572 NEW BEST:: SOT 1934426556 SOS 429059623 HAS SOPS 429059623 HAS SOUS 278583182 HAS SOUPS 278583182 WITH SCORE 2.79012241623E8
AT ITER 2605 NEW BEST:: SOT 1934425733 SOS 429056331 HAS SOPS 429056331 HAS SOUS 278582359 HAS SOUPS 278582359 WITH SCORE 2.79011415331E8
AT ITER 2612 NEW BEST:: SOT 1934419068 SOS 429049666 HAS SOPS 429049666 HAS SOUS 278575694 HAS SOUPS 278575694 WITH SCORE 2.79004743666E8
AT ITER 2626 NEW BEST:: SOT 1934417401 SOS 429049957 HAS SOPS 429049957 HAS SOUS 278575376 HAS SOUPS 278575376 WITH SCORE 2.79004425957E8
AT ITER 2640 NEW BEST:: SOT 1934403729 SOS 429045590 HAS SOPS 429045590 HAS SOUS 278569363 HAS SOUPS 278569363 WITH SCORE 2.7899840859E8
AT ITER 2644 NEW BEST:: SOT 1934393619 SOS 429035476 HAS SOPS 429035476 HAS SOUS 278559252 HAS SOUPS 278559252 WITH SCORE 2.78988287476E8
AT ITER 2653 NEW BEST:: SOT 1934391999 SOS 429038712 HAS SOPS 429038712 HAS SOUS 278557631 HAS SOUPS 278557631 WITH SCORE 2.78986669712E8
AT ITER 2666 NEW BEST:: SOT 1934386991 SOS 429028696 HAS SOPS 429028696 HAS SOUS 278547615 HAS SOUPS 278547615 WITH SCORE 2.78976643696E8
AT ITER 2668 NEW BEST:: SOT 1934386235 SOS 429028462 HAS SOPS 429028462 HAS SOUS 278545775 HAS SOUPS 278545775 WITH SCORE 2.78974803462E8
AT ITER 2693 NEW BEST:: SOT 1934373045 SOS 429026229 HAS SOPS 429026229 HAS SOUS 278540634 HAS SOUPS 278540634 WITH SCORE 2.78969660229E8
AT ITER 2699 NEW BEST:: SOT 1934369801 SOS 429022981 HAS SOPS 429022981 HAS SOUS 278537389 HAS SOUPS 278537389 WITH SCORE 2.78966411981E8
AT ITER 2721 NEW BEST:: SOT 1934368282 SOS 429019943 HAS SOPS 429019943 HAS SOUS 278532046 HAS SOUPS 278532046 WITH SCORE 2.78961065943E8
AT ITER 2722 NEW BEST:: SOT 1934371566 SOS 429016657 HAS SOPS 429016657 HAS SOUS 278532045 HAS SOUPS 278532045 WITH SCORE 2.78961061657E8
AT ITER 2744 NEW BEST:: SOT 1934371566 SOS 429015027 HAS SOPS 429015027 HAS SOUS 278532045 HAS SOUPS 278532045 WITH SCORE 2.78961060027E8
AT ITER 2770 NEW BEST:: SOT 1934371566 SOS 429009120 HAS SOPS 429009120 HAS SOUS 278530076 HAS SOUPS 278530076 WITH SCORE 2.7895908512E8
AT ITER 2774 NEW BEST:: SOT 1934370924 SOS 429009119 HAS SOPS 429009119 HAS SOUS 278530075 HAS SOUPS 278530075 WITH SCORE 2.78959084119E8
AT ITER 2777 NEW BEST:: SOT 1934366085 SOS 429042992 HAS SOPS 429042992 HAS SOUS 278525236 HAS SOUPS 278525236 WITH SCORE 2.78954278992E8
AT ITER 2814 NEW BEST:: SOT 1934362883 SOS 429039897 HAS SOPS 429039897 HAS SOUS 278522141 HAS SOUPS 278522141 WITH SCORE 2.78951180897E8
AT ITER 2854 NEW BEST:: SOT 1934347538 SOS 429033411 HAS SOPS 429033411 HAS SOUS 278514864 HAS SOUPS 278514864 WITH SCORE 2.78943897411E8
AT ITER 2855 NEW BEST:: SOT 1934337985 SOS 429023857 HAS SOPS 429023857 HAS SOUS 278513713 HAS SOUPS 278513713 WITH SCORE 2.78942736857E8
AT ITER 2884 NEW BEST:: SOT 1934335384 SOS 429018655 HAS SOPS 429018655 HAS SOUS 278513569 HAS SOUPS 278513569 WITH SCORE 2.78942587655E8
AT ITER 2886 NEW BEST:: SOT 1934336386 SOS 429020659 HAS SOPS 429020659 HAS SOUS 278501493 HAS SOUPS 278501493 WITH SCORE 2.78930513659E8
AT ITER 2926 NEW BEST:: SOT 1934340508 SOS 429104295 HAS SOPS 429104295 HAS SOUS 278501358 HAS SOUPS 278501358 WITH SCORE 2.78930462295E8
AT ITER 2939 NEW BEST:: SOT 1934340508 SOS 429102370 HAS SOPS 429102370 HAS SOUS 278499433 HAS SOUPS 278499433 WITH SCORE 2.7892853537E8
AT ITER 2940 NEW BEST:: SOT 1934330278 SOS 429087052 HAS SOPS 429087052 HAS SOUS 278489203 HAS SOUPS 278489203 WITH SCORE 2.78918290052E8
AT ITER 2941 NEW BEST:: SOT 1934330278 SOS 429084812 HAS SOPS 429084812 HAS SOUS 278488083 HAS SOUPS 278488083 WITH SCORE 2.78917167812E8
AT ITER 2952 NEW BEST:: SOT 1934323160 SOS 429098892 HAS SOPS 429098892 HAS SOUS 278486055 HAS SOUPS 278486055 WITH SCORE 2.78915153892E8
AT ITER 2965 NEW BEST:: SOT 1934321848 SOS 429097580 HAS SOPS 429097580 HAS SOUS 278486055 HAS SOUPS 278486055 WITH SCORE 2.7891515258E8
AT ITER 2986 NEW BEST:: SOT 1934321847 SOS 429097578 HAS SOPS 429097578 HAS SOUS 278486053 HAS SOUPS 278486053 WITH SCORE 2.78915150578E8
AT ITER 2998 NEW BEST:: SOT 1934320553 SOS 429094990 HAS SOPS 429094990 HAS SOUS 278484759 HAS SOUPS 278484759 WITH SCORE 2.7891385399E8
AT ITER 3008 NEW BEST:: SOT 1934303094 SOS 429093336 HAS SOPS 429093336 HAS SOUS 278483161 HAS SOUPS 278483161 WITH SCORE 2.78912254336E8
AT ITER 3015 NEW BEST:: SOT 1934301579 SOS 429091900 HAS SOPS 429091900 HAS SOUS 278481725 HAS SOUPS 278481725 WITH SCORE 2.789108169E8
AT ITER 3028 NEW BEST:: SOT 1934301579 SOS 429091900 HAS SOPS 429091900 HAS SOUS 278481724 HAS SOUPS 278481724 WITH SCORE 2.789108159E8
AT ITER 3045 NEW BEST:: SOT 1934299934 SOS 429090255 HAS SOPS 429090255 HAS SOUS 278481723 HAS SOUPS 278481723 WITH SCORE 2.78910813255E8
AT ITER 3050 NEW BEST:: SOT 1934293409 SOS 429084679 HAS SOPS 429084679 HAS SOUS 278475429 HAS SOUPS 278475429 WITH SCORE 2.78904513679E8
AT ITER 3053 NEW BEST:: SOT 1934288600 SOS 429075061 HAS SOPS 429075061 HAS SOUS 278465811 HAS SOUPS 278465811 WITH SCORE 2.78894886061E8
AT ITER 3069 NEW BEST:: SOT 1934274593 SOS 429060270 HAS SOPS 429060270 HAS SOUS 278444802 HAS SOUPS 278444802 WITH SCORE 2.7887386227E8
AT ITER 3079 NEW BEST:: SOT 1934278237 SOS 429067558 HAS SOPS 429067558 HAS SOUS 278441845 HAS SOUPS 278441845 WITH SCORE 2.78870912558E8
AT ITER 3105 NEW BEST:: SOT 1934278393 SOS 429066324 HAS SOPS 429066324 HAS SOUS 278441302 HAS SOUPS 278441302 WITH SCORE 2.78870368324E8
AT ITER 3115 NEW BEST:: SOT 1934278393 SOS 429067736 HAS SOPS 429067736 HAS SOUS 278441143 HAS SOUPS 278441143 WITH SCORE 2.78870210736E8
AT ITER 3127 NEW BEST:: SOT 1934274180 SOS 429037359 HAS SOPS 429037359 HAS SOUS 278432717 HAS SOUPS 278432717 WITH SCORE 2.78861754359E8
AT ITER 3154 NEW BEST:: SOT 1934274180 SOS 429026274 HAS SOPS 429026274 HAS SOUS 278432717 HAS SOUPS 278432717 WITH SCORE 2.78861743274E8
AT ITER 3169 NEW BEST:: SOT 1934271108 SOS 429020130 HAS SOPS 429020130 HAS SOUS 278426573 HAS SOUPS 278426573 WITH SCORE 2.7885559313E8
AT ITER 3182 NEW BEST:: SOT 1934264959 SOS 429019209 HAS SOPS 429019209 HAS SOUS 278424807 HAS SOUPS 278424807 WITH SCORE 2.78853826209E8
AT ITER 3190 NEW BEST:: SOT 1934259092 SOS 429016326 HAS SOPS 429016326 HAS SOUS 278421927 HAS SOUPS 278421927 WITH SCORE 2.78850943326E8
AT ITER 3205 NEW BEST:: SOT 1934253726 SOS 428989496 HAS SOPS 428989496 HAS SOUS 278411195 HAS SOUPS 278411195 WITH SCORE 2.78840184496E8
AT ITER 3219 NEW BEST:: SOT 1934250059 SOS 428989687 HAS SOPS 428989687 HAS SOUS 278410165 HAS SOUPS 278410165 WITH SCORE 2.78839154687E8
AT ITER 3230 NEW BEST:: SOT 1934245738 SOS 428981044 HAS SOPS 428981044 HAS SOUS 278401522 HAS SOUPS 278401522 WITH SCORE 2.78830503044E8
AT ITER 3260 NEW BEST:: SOT 1934247831 SOS 428985230 HAS SOPS 428985230 HAS SOUS 278393494 HAS SOUPS 278393494 WITH SCORE 2.7882247923E8
AT ITER 3264 NEW BEST:: SOT 1934242527 SOS 428984280 HAS SOPS 428984280 HAS SOUS 278392547 HAS SOUPS 278392547 WITH SCORE 2.7882153128E8
AT ITER 3294 NEW BEST:: SOT 1934240769 SOS 428980764 HAS SOPS 428980764 HAS SOUS 278389031 HAS SOUPS 278389031 WITH SCORE 2.78818011764E8
AT ITER 3345 NEW BEST:: SOT 1934239308 SOS 428983682 HAS SOPS 428983682 HAS SOUS 278387569 HAS SOUPS 278387569 WITH SCORE 2.78816552682E8
AT ITER 3354 NEW BEST:: SOT 1934236619 SOS 428989056 HAS SOPS 428989056 HAS SOUS 278384879 HAS SOUPS 278384879 WITH SCORE 2.78813868056E8
AT ITER 3360 NEW BEST:: SOT 1934235790 SOS 428987398 HAS SOPS 428987398 HAS SOUS 278384050 HAS SOUPS 278384050 WITH SCORE 2.78813037398E8
AT ITER 3390 NEW BEST:: SOT 1934235233 SOS 428986285 HAS SOPS 428986285 HAS SOUS 278382937 HAS SOUPS 278382937 WITH SCORE 2.78811923285E8
AT ITER 3466 NEW BEST:: SOT 1934232546 SOS 428980911 HAS SOPS 428980911 HAS SOUS 278382555 HAS SOUPS 278382555 WITH SCORE 2.78811535911E8
AT ITER 3471 NEW BEST:: SOT 1934236553 SOS 429014430 HAS SOPS 429014430 HAS SOUS 278377814 HAS SOUPS 278377814 WITH SCORE 2.7880682843E8
AT ITER 3478 NEW BEST:: SOT 1934231583 SOS 429004490 HAS SOPS 429004490 HAS SOUS 278364798 HAS SOUPS 278364798 WITH SCORE 2.7879380249E8
AT ITER 3529 NEW BEST:: SOT 1934226988 SOS 428999895 HAS SOPS 428999895 HAS SOUS 278360203 HAS SOUPS 278360203 WITH SCORE 2.78789202895E8
AT ITER 3550 NEW BEST:: SOT 1934225338 SOS 428999891 HAS SOPS 428999891 HAS SOUS 278360202 HAS SOUPS 278360202 WITH SCORE 2.78789201891E8
AT ITER 3570 NEW BEST:: SOT 1934228868 SOS 428996359 HAS SOPS 428996359 HAS SOUS 278360201 HAS SOUPS 278360201 WITH SCORE 2.78789197359E8
AT ITER 3574 NEW BEST:: SOT 1934234710 SOS 429008043 HAS SOPS 429008043 HAS SOUS 278359685 HAS SOUPS 278359685 WITH SCORE 2.78788693043E8
AT ITER 3588 NEW BEST:: SOT 1934235153 SOS 428996215 HAS SOPS 428996215 HAS SOUS 278356111 HAS SOUPS 278356111 WITH SCORE 2.78785107215E8
AT ITER 3606 NEW BEST:: SOT 1934227343 SOS 428993447 HAS SOPS 428993447 HAS SOUS 278353343 HAS SOUPS 278353343 WITH SCORE 2.78782336447E8
AT ITER 3614 NEW BEST:: SOT 1934227286 SOS 428993333 HAS SOPS 428993333 HAS SOUS 278353229 HAS SOUPS 278353229 WITH SCORE 2.78782222333E8
AT ITER 3618 NEW BEST:: SOT 1934225660 SOS 428993333 HAS SOPS 428993333 HAS SOUS 278352416 HAS SOUPS 278352416 WITH SCORE 2.78781409333E8
AT ITER 3626 NEW BEST:: SOT 1934223935 SOS 428989884 HAS SOPS 428989884 HAS SOUS 278348967 HAS SOUPS 278348967 WITH SCORE 2.78777956884E8
AT ITER 3634 NEW BEST:: SOT 1934223935 SOS 428978577 HAS SOPS 428978577 HAS SOUS 278348966 HAS SOUPS 278348966 WITH SCORE 2.78777944577E8
AT ITER 3642 NEW BEST:: SOT 1934223934 SOS 428977565 HAS SOPS 428977565 HAS SOUS 278347954 HAS SOUPS 278347954 WITH SCORE 2.78776931565E8
AT ITER 3656 NEW BEST:: SOT 1934221642 SOS 428972981 HAS SOPS 428972981 HAS SOUS 278337801 HAS SOUPS 278337801 WITH SCORE 2.78766773981E8
AT ITER 3713 NEW BEST:: SOT 1934225791 SOS 428959118 HAS SOPS 428959118 HAS SOUS 278336637 HAS SOUPS 278336637 WITH SCORE 2.78765596118E8
AT ITER 3714 NEW BEST:: SOT 1934222910 SOS 428964876 HAS SOPS 428964876 HAS SOUS 278333755 HAS SOUPS 278333755 WITH SCORE 2.78762719876E8
AT ITER 3734 NEW BEST:: SOT 1934221433 SOS 428967822 HAS SOPS 428967822 HAS SOUS 278332276 HAS SOUPS 278332276 WITH SCORE 2.78761243822E8
AT ITER 3743 NEW BEST:: SOT 1934218861 SOS 428967818 HAS SOPS 428967818 HAS SOUS 278332275 HAS SOUPS 278332275 WITH SCORE 2.78761242818E8
AT ITER 3777 NEW BEST:: SOT 1934206444 SOS 428955448 HAS SOPS 428955448 HAS SOUS 278328996 HAS SOUPS 278328996 WITH SCORE 2.78757951448E8
AT ITER 3778 NEW BEST:: SOT 1934196313 SOS 428991229 HAS SOPS 428991229 HAS SOUS 278313298 HAS SOUPS 278313298 WITH SCORE 2.78742289229E8
AT ITER 3786 NEW BEST:: SOT 1934191980 SOS 428982563 HAS SOPS 428982563 HAS SOUS 278304632 HAS SOUPS 278304632 WITH SCORE 2.78733614563E8
AT ITER 3790 NEW BEST:: SOT 1934185678 SOS 428977200 HAS SOPS 428977200 HAS SOUS 278299269 HAS SOUPS 278299269 WITH SCORE 2.787282462E8
AT ITER 3869 NEW BEST:: SOT 1934181040 SOS 428967924 HAS SOPS 428967924 HAS SOUS 278289993 HAS SOUPS 278289993 WITH SCORE 2.78718960924E8
AT ITER 3875 NEW BEST:: SOT 1934172754 SOS 428959634 HAS SOPS 428959634 HAS SOUS 278281706 HAS SOUPS 278281706 WITH SCORE 2.78710665634E8
AT ITER 3889 NEW BEST:: SOT 1934166214 SOS 428953457 HAS SOPS 428953457 HAS SOUS 278275529 HAS SOUPS 278275529 WITH SCORE 2.78704482457E8
AT ITER 3893 NEW BEST:: SOT 1934167347 SOS 428952892 HAS SOPS 428952892 HAS SOUS 278274964 HAS SOUPS 278274964 WITH SCORE 2.78703916892E8
AT ITER 3925 NEW BEST:: SOT 1934162177 SOS 428942552 HAS SOPS 428942552 HAS SOUS 278269794 HAS SOUPS 278269794 WITH SCORE 2.78698736552E8
AT ITER 3928 NEW BEST:: SOT 1934158351 SOS 428934900 HAS SOPS 428934900 HAS SOUS 278262142 HAS SOUPS 278262142 WITH SCORE 2.786910769E8
AT ITER 3948 NEW BEST:: SOT 1934154911 SOS 428933761 HAS SOPS 428933761 HAS SOUS 278261003 HAS SOUPS 278261003 WITH SCORE 2.78689936761E8
AT ITER 3953 NEW BEST:: SOT 1934143444 SOS 428933759 HAS SOPS 428933759 HAS SOUS 278261001 HAS SOUPS 278261001 WITH SCORE 2.78689934759E8
AT ITER 3957 NEW BEST:: SOT 1934136922 SOS 428929884 HAS SOPS 428929884 HAS SOUS 278257126 HAS SOUPS 278257126 WITH SCORE 2.78686055884E8
AT ITER 3968 NEW BEST:: SOT 1934135389 SOS 428929883 HAS SOPS 428929883 HAS SOUS 278257125 HAS SOUPS 278257125 WITH SCORE 2.78686054883E8
AT ITER 3973 NEW BEST:: SOT 1934135386 SOS 428929877 HAS SOPS 428929877 HAS SOUS 278257119 HAS SOUPS 278257119 WITH SCORE 2.78686048877E8
AT ITER 3976 NEW BEST:: SOT 1934131624 SOS 428922353 HAS SOPS 428922353 HAS SOUS 278249595 HAS SOUPS 278249595 WITH SCORE 2.78678517353E8
AT ITER 3998 NEW BEST:: SOT 1934130243 SOS 428919591 HAS SOPS 428919591 HAS SOUS 278246833 HAS SOUPS 278246833 WITH SCORE 2.78675752591E8
AT ITER 3999 NEW BEST:: SOT 1934130243 SOS 428915415 HAS SOPS 428915415 HAS SOUS 278246833 HAS SOUPS 278246833 WITH SCORE 2.78675748415E8
AT ITER 4027 NEW BEST:: SOT 1934130243 SOS 428911671 HAS SOPS 428911671 HAS SOUS 278243089 HAS SOUPS 278243089 WITH SCORE 2.78672000671E8
AT ITER 4045 NEW BEST:: SOT 1934129832 SOS 428911670 HAS SOPS 428911670 HAS SOUS 278243088 HAS SOUPS 278243088 WITH SCORE 2.7867199967E8
AT ITER 4051 NEW BEST:: SOT 1934128980 SOS 428909967 HAS SOPS 428909967 HAS SOUS 278241385 HAS SOUPS 278241385 WITH SCORE 2.78670294967E8
AT ITER 4068 NEW BEST:: SOT 1934120956 SOS 428926280 HAS SOPS 428926280 HAS SOUS 278233361 HAS SOUPS 278233361 WITH SCORE 2.7866228728E8
AT ITER 4071 NEW BEST:: SOT 1934119575 SOS 428924899 HAS SOPS 428924899 HAS SOUS 278233361 HAS SOUPS 278233361 WITH SCORE 2.78662285899E8
AT ITER 4091 NEW BEST:: SOT 1934109923 SOS 428915243 HAS SOPS 428915243 HAS SOUS 278223708 HAS SOUPS 278223708 WITH SCORE 2.78652623243E8
AT ITER 4095 NEW BEST:: SOT 1934108587 SOS 428917911 HAS SOPS 428917911 HAS SOUS 278222371 HAS SOUPS 278222371 WITH SCORE 2.78651288911E8
AT ITER 4097 NEW BEST:: SOT 1934105089 SOS 428914413 HAS SOPS 428914413 HAS SOUS 278218873 HAS SOUPS 278218873 WITH SCORE 2.78647787413E8
AT ITER 4115 NEW BEST:: SOT 1934098304 SOS 428907624 HAS SOPS 428907624 HAS SOUS 278212087 HAS SOUPS 278212087 WITH SCORE 2.78640994624E8
AT ITER 4121 NEW BEST:: SOT 1934092596 SOS 428902821 HAS SOPS 428902821 HAS SOUS 278207287 HAS SOUPS 278207287 WITH SCORE 2.78636189821E8
AT ITER 4148 NEW BEST:: SOT 1934091464 SOS 428900557 HAS SOPS 428900557 HAS SOUS 278206155 HAS SOUPS 278206155 WITH SCORE 2.78635055557E8
AT ITER 4168 NEW BEST:: SOT 1934091464 SOS 428897407 HAS SOPS 428897407 HAS SOUS 278205105 HAS SOUPS 278205105 WITH SCORE 2.78634002407E8
AT ITER 4177 NEW BEST:: SOT 1934091424 SOS 428897327 HAS SOPS 428897327 HAS SOUS 278205025 HAS SOUPS 278205025 WITH SCORE 2.78633922327E8
AT ITER 4186 NEW BEST:: SOT 1934089988 SOS 428894455 HAS SOPS 428894455 HAS SOUS 278202153 HAS SOUPS 278202153 WITH SCORE 2.78631047455E8
AT ITER 4193 NEW BEST:: SOT 1934082459 SOS 428887446 HAS SOPS 428887446 HAS SOUS 278194635 HAS SOUPS 278194635 WITH SCORE 2.78623522446E8
AT ITER 4214 NEW BEST:: SOT 1934077102 SOS 428882085 HAS SOPS 428882085 HAS SOUS 278189277 HAS SOUPS 278189277 WITH SCORE 2.78618159085E8
AT ITER 4226 NEW BEST:: SOT 1934077101 SOS 428882083 HAS SOPS 428882083 HAS SOUS 278189275 HAS SOUPS 278189275 WITH SCORE 2.78618157083E8
AT ITER 4231 NEW BEST:: SOT 1934077100 SOS 428882081 HAS SOPS 428882081 HAS SOUS 278189273 HAS SOUPS 278189273 WITH SCORE 2.78618155081E8
AT ITER 4233 NEW BEST:: SOT 1934075540 SOS 428878961 HAS SOPS 428878961 HAS SOUS 278186153 HAS SOUPS 278186153 WITH SCORE 2.78615031961E8
AT ITER 4330 NEW BEST:: SOT 1934059018 SOS 428872683 HAS SOPS 428872683 HAS SOUS 278177499 HAS SOUPS 278177499 WITH SCORE 2.78606371683E8
AT ITER 4357 NEW BEST:: SOT 1934052618 SOS 428868267 HAS SOPS 428868267 HAS SOUS 278173083 HAS SOUPS 278173083 WITH SCORE 2.78601951267E8
AT ITER 4411 NEW BEST:: SOT 1934039700 SOS 428861808 HAS SOPS 428861808 HAS SOUS 278166624 HAS SOUPS 278166624 WITH SCORE 2.78595485808E8
AT ITER 4433 NEW BEST:: SOT 1934035044 SOS 428894390 HAS SOPS 428894390 HAS SOUS 278157311 HAS SOUPS 278157311 WITH SCORE 2.7858620539E8
AT ITER 4442 NEW BEST:: SOT 1934030507 SOS 428885316 HAS SOPS 428885316 HAS SOUS 278144775 HAS SOUPS 278144775 WITH SCORE 2.78573660316E8
AT ITER 4445 NEW BEST:: SOT 1934023920 SOS 428878731 HAS SOPS 428878731 HAS SOUS 278138190 HAS SOUPS 278138190 WITH SCORE 2.78567068731E8
AT ITER 4458 NEW BEST:: SOT 1934016121 SOS 428873059 HAS SOPS 428873059 HAS SOUS 278133936 HAS SOUPS 278133936 WITH SCORE 2.78562809059E8
AT ITER 4459 NEW BEST:: SOT 1934016121 SOS 428873059 HAS SOPS 428873059 HAS SOUS 278133935 HAS SOUPS 278133935 WITH SCORE 2.78562808059E8
AT ITER 4484 NEW BEST:: SOT 1934016528 SOS 428873873 HAS SOPS 428873873 HAS SOUS 278122797 HAS SOUPS 278122797 WITH SCORE 2.78551670873E8
AT ITER 4522 NEW BEST:: SOT 1934008733 SOS 428858283 HAS SOPS 428858283 HAS SOUS 278107207 HAS SOUPS 278107207 WITH SCORE 2.78536065283E8
AT ITER 4527 NEW BEST:: SOT 1934008732 SOS 428858281 HAS SOPS 428858281 HAS SOUS 278107205 HAS SOUPS 278107205 WITH SCORE 2.78536063281E8
AT ITER 4528 NEW BEST:: SOT 1933994729 SOS 428854719 HAS SOPS 428854719 HAS SOUS 278101350 HAS SOUPS 278101350 WITH SCORE 2.78530204719E8
AT ITER 4560 NEW BEST:: SOT 1933992438 SOS 428850137 HAS SOPS 428850137 HAS SOUS 278096768 HAS SOUPS 278096768 WITH SCORE 2.78525618137E8
AT ITER 4609 NEW BEST:: SOT 1933991119 SOS 428850758 HAS SOPS 428850758 HAS SOUS 278096417 HAS SOUPS 278096417 WITH SCORE 2.78525267758E8
AT ITER 4610 NEW BEST:: SOT 1933991119 SOS 428850758 HAS SOPS 428850758 HAS SOUS 278096416 HAS SOUPS 278096416 WITH SCORE 2.78525266758E8
AT ITER 4617 NEW BEST:: SOT 1933991119 SOS 428846283 HAS SOPS 428846283 HAS SOUS 278096416 HAS SOUPS 278096416 WITH SCORE 2.78525262283E8
AT ITER 4631 NEW BEST:: SOT 1933990120 SOS 428847282 HAS SOPS 428847282 HAS SOUS 278095417 HAS SOUPS 278095417 WITH SCORE 2.78524264282E8
AT ITER 4649 NEW BEST:: SOT 1933989173 SOS 428849172 HAS SOPS 428849172 HAS SOUS 278094469 HAS SOUPS 278094469 WITH SCORE 2.78523318172E8
AT ITER 4687 NEW BEST:: SOT 1933989173 SOS 428845641 HAS SOPS 428845641 HAS SOUS 278093292 HAS SOUPS 278093292 WITH SCORE 2.78522137641E8
AT ITER 4717 NEW BEST:: SOT 1933981795 SOS 428838263 HAS SOPS 428838263 HAS SOUS 278085914 HAS SOUPS 278085914 WITH SCORE 2.78514752263E8
AT ITER 4779 NEW BEST:: SOT 1933968124 SOS 428832986 HAS SOPS 428832986 HAS SOUS 278079598 HAS SOUPS 278079598 WITH SCORE 2.78508430986E8
AT ITER 4784 NEW BEST:: SOT 1933959877 SOS 428791751 HAS SOPS 428791751 HAS SOUS 278063104 HAS SOUPS 278063104 WITH SCORE 2.78491895751E8
AT ITER 4790 NEW BEST:: SOT 1933952317 SOS 428784187 HAS SOPS 428784187 HAS SOUS 278055543 HAS SOUPS 278055543 WITH SCORE 2.78484327187E8
AT ITER 4805 NEW BEST:: SOT 1933943212 SOS 428775078 HAS SOPS 428775078 HAS SOUS 278046437 HAS SOUPS 278046437 WITH SCORE 2.78475212078E8
AT ITER 4808 NEW BEST:: SOT 1933909387 SOS 428750478 HAS SOPS 428750478 HAS SOUS 278027987 HAS SOUPS 278027987 WITH SCORE 2.78456737478E8
AT ITER 4831 NEW BEST:: SOT 1933893955 SOS 428731307 HAS SOPS 428731307 HAS SOUS 278004841 HAS SOUPS 278004841 WITH SCORE 2.78433572307E8
AT ITER 4864 NEW BEST:: SOT 1933888527 SOS 428704167 HAS SOPS 428704167 HAS SOUS 277993985 HAS SOUPS 277993985 WITH SCORE 2.78422689167E8
AT ITER 4908 NEW BEST:: SOT 1933884116 SOS 428699841 HAS SOPS 428699841 HAS SOUS 277989618 HAS SOUPS 277989618 WITH SCORE 2.78418317841E8
AT ITER 4910 NEW BEST:: SOT 1933884116 SOS 428692515 HAS SOPS 428692515 HAS SOUS 277987176 HAS SOUPS 277987176 WITH SCORE 2.78415868515E8
AT ITER 4938 NEW BEST:: SOT 1933872588 SOS 428669459 HAS SOPS 428669459 HAS SOUS 277964120 HAS SOUPS 277964120 WITH SCORE 2.78392789459E8
AT ITER 4955 NEW BEST:: SOT 1933860654 SOS 428657525 HAS SOPS 428657525 HAS SOUS 277952186 HAS SOUPS 277952186 WITH SCORE 2.78380843525E8
AT ITER 4983 NEW BEST:: SOT 1933860653 SOS 428657523 HAS SOPS 428657523 HAS SOUS 277952184 HAS SOUPS 277952184 WITH SCORE 2.78380841523E8
AT ITER 4984 NEW BEST:: SOT 1933860136 SOS 428654938 HAS SOPS 428654938 HAS SOUS 277951150 HAS SOUPS 277951150 WITH SCORE 2.78379804938E8
AT ITER 5001 NEW BEST:: SOT 1933858118 SOS 428669064 HAS SOPS 428669064 HAS SOUS 277949132 HAS SOUPS 277949132 WITH SCORE 2.78377801064E8
AT ITER 5004 NEW BEST:: SOT 1933845802 SOS 428662906 HAS SOPS 428662906 HAS SOUS 277936816 HAS SOUPS 277936816 WITH SCORE 2.78365478906E8
AT ITER 5009 NEW BEST:: SOT 1933845802 SOS 428659036 HAS SOPS 428659036 HAS SOUS 277935526 HAS SOUPS 277935526 WITH SCORE 2.78364185036E8
AT ITER 5019 NEW BEST:: SOT 1933836260 SOS 428649490 HAS SOPS 428649490 HAS SOUS 277925983 HAS SOUPS 277925983 WITH SCORE 2.7835463249E8
AT ITER 5026 NEW BEST:: SOT 1933826724 SOS 428639914 HAS SOPS 428639914 HAS SOUS 277921151 HAS SOUPS 277921151 WITH SCORE 2.78349790914E8
AT ITER 5030 NEW BEST:: SOT 1933826533 SOS 428640292 HAS SOPS 428640292 HAS SOUS 277921150 HAS SOUPS 277921150 WITH SCORE 2.78349790292E8
AT ITER 5032 NEW BEST:: SOT 1933820517 SOS 428640282 HAS SOPS 428640282 HAS SOUS 277918463 HAS SOUPS 277918463 WITH SCORE 2.78347103282E8
AT ITER 5038 NEW BEST:: SOT 1933820516 SOS 428640280 HAS SOPS 428640280 HAS SOUS 277918461 HAS SOUPS 277918461 WITH SCORE 2.7834710128E8
AT ITER 5054 NEW BEST:: SOT 1933815679 SOS 428635439 HAS SOPS 428635439 HAS SOUS 277913623 HAS SOUPS 277913623 WITH SCORE 2.78342258439E8
AT ITER 5124 NEW BEST:: SOT 1933811704 SOS 428639410 HAS SOPS 428639410 HAS SOUS 277912934 HAS SOUPS 277912934 WITH SCORE 2.7834157341E8
AT ITER 5185 NEW BEST:: SOT 1933358998 SOS 429468056 HAS SOPS 429468056 HAS SOUS 277472972 HAS SOUPS 277472972 WITH SCORE 2.77902440056E8
AT ITER 5194 NEW BEST:: SOT 1933352949 SOS 429462007 HAS SOPS 429462007 HAS SOUS 277466923 HAS SOUPS 277466923 WITH SCORE 2.77896385007E8
AT ITER 5226 NEW BEST:: SOT 1933343898 SOS 429416752 HAS SOPS 429416752 HAS SOUS 277448821 HAS SOUPS 277448821 WITH SCORE 2.77878237752E8
AT ITER 5252 NEW BEST:: SOT 1933337039 SOS 429412221 HAS SOPS 429412221 HAS SOUS 277444290 HAS SOUPS 277444290 WITH SCORE 2.77873702221E8
AT ITER 5278 NEW BEST:: SOT 1933334655 SOS 429409837 HAS SOPS 429409837 HAS SOUS 277441906 HAS SOUPS 277441906 WITH SCORE 2.77871315837E8
AT ITER 5288 NEW BEST:: SOT 1933333338 SOS 429407203 HAS SOPS 429407203 HAS SOUS 277439272 HAS SOUPS 277439272 WITH SCORE 2.77868679203E8
AT ITER 5322 NEW BEST:: SOT 1933332929 SOS 429406385 HAS SOPS 429406385 HAS SOUS 277436513 HAS SOUPS 277436513 WITH SCORE 2.77865919385E8
AT ITER 5328 NEW BEST:: SOT 1933332929 SOS 429406385 HAS SOPS 429406385 HAS SOUS 277436509 HAS SOUPS 277436509 WITH SCORE 2.77865915385E8
AT ITER 5348 NEW BEST:: SOT 1933332467 SOS 429405462 HAS SOPS 429405462 HAS SOUS 277435586 HAS SOUPS 277435586 WITH SCORE 2.77864991462E8
AT ITER 5369 NEW BEST:: SOT 1933327567 SOS 429439762 HAS SOPS 429439762 HAS SOUS 277430686 HAS SOUPS 277430686 WITH SCORE 2.77860125762E8
AT ITER 5370 NEW BEST:: SOT 1933322514 SOS 429437603 HAS SOPS 429437603 HAS SOUS 277428527 HAS SOUPS 277428527 WITH SCORE 2.77857964603E8
AT ITER 5407 NEW BEST:: SOT 1933322443 SOS 429437737 HAS SOPS 429437737 HAS SOUS 277428454 HAS SOUPS 277428454 WITH SCORE 2.77857891737E8
AT ITER 5421 NEW BEST:: SOT 1933316368 SOS 429431662 HAS SOPS 429431662 HAS SOUS 277422379 HAS SOUPS 277422379 WITH SCORE 2.77851810662E8
AT ITER 5422 NEW BEST:: SOT 1933311111 SOS 429426401 HAS SOPS 429426401 HAS SOUS 277417121 HAS SOUPS 277417121 WITH SCORE 2.77846547401E8
AT ITER 5426 NEW BEST:: SOT 1933307251 SOS 429422977 HAS SOPS 429422977 HAS SOUS 277413697 HAS SOUPS 277413697 WITH SCORE 2.77843119977E8
AT ITER 5460 NEW BEST:: SOT 1933299117 SOS 429406709 HAS SOPS 429406709 HAS SOUS 277397429 HAS SOUPS 277397429 WITH SCORE 2.77826835709E8
AT ITER 5472 NEW BEST:: SOT 1933298007 SOS 429404485 HAS SOPS 429404485 HAS SOUS 277395208 HAS SOUPS 277395208 WITH SCORE 2.77824612485E8
AT ITER 5506 NEW BEST:: SOT 1933292368 SOS 429400814 HAS SOPS 429400814 HAS SOUS 277391537 HAS SOUPS 277391537 WITH SCORE 2.77820937814E8
AT ITER 5541 NEW BEST:: SOT 1933283186 SOS 429398908 HAS SOPS 429398908 HAS SOUS 277389631 HAS SOUPS 277389631 WITH SCORE 2.77819029908E8
AT ITER 5624 NEW BEST:: SOT 1933283186 SOS 429398908 HAS SOPS 429398908 HAS SOUS 277378756 HAS SOUPS 277378756 WITH SCORE 2.77808154908E8
AT ITER 5645 NEW BEST:: SOT 1933282545 SOS 429397626 HAS SOPS 429397626 HAS SOUS 277378115 HAS SOUPS 277378115 WITH SCORE 2.77807512626E8
AT ITER 5651 NEW BEST:: SOT 1933279207 SOS 429390949 HAS SOPS 429390949 HAS SOUS 277371438 HAS SOUPS 277371438 WITH SCORE 2.77800828949E8
AT ITER 5670 NEW BEST:: SOT 1933272609 SOS 429384484 HAS SOPS 429384484 HAS SOUS 277364976 HAS SOUPS 277364976 WITH SCORE 2.77794360484E8
AT ITER 5675 NEW BEST:: SOT 1933267992 SOS 429375250 HAS SOPS 429375250 HAS SOUS 277356237 HAS SOUPS 277356237 WITH SCORE 2.7778561225E8
AT ITER 5702 NEW BEST:: SOT 1933261311 SOS 429342209 HAS SOPS 429342209 HAS SOUS 277342966 HAS SOUPS 277342966 WITH SCORE 2.77772308209E8
AT ITER 5727 NEW BEST:: SOT 1933259936 SOS 429339459 HAS SOPS 429339459 HAS SOUS 277340216 HAS SOUPS 277340216 WITH SCORE 2.77769555459E8
AT ITER 5759 NEW BEST:: SOT 1933258820 SOS 429339459 HAS SOPS 429339459 HAS SOUS 277339658 HAS SOUPS 277339658 WITH SCORE 2.77768997459E8
AT ITER 5761 NEW BEST:: SOT 1933256295 SOS 429339455 HAS SOPS 429339455 HAS SOUS 277337132 HAS SOUPS 277337132 WITH SCORE 2.77766471455E8
AT ITER 5764 NEW BEST:: SOT 1933243435 SOS 429335183 HAS SOPS 429335183 HAS SOUS 277327155 HAS SOUPS 277327155 WITH SCORE 2.77756490183E8
AT ITER 5771 NEW BEST:: SOT 1933242764 SOS 429333841 HAS SOPS 429333841 HAS SOUS 277325813 HAS SOUPS 277325813 WITH SCORE 2.77755146841E8
AT ITER 5799 NEW BEST:: SOT 1933238611 SOS 429332585 HAS SOPS 429332585 HAS SOUS 277324557 HAS SOUPS 277324557 WITH SCORE 2.77753889585E8
AT ITER 5855 NEW BEST:: SOT 1933232359 SOS 429326329 HAS SOPS 429326329 HAS SOUS 277318304 HAS SOUPS 277318304 WITH SCORE 2.77747630329E8
AT ITER 5856 NEW BEST:: SOT 1933232358 SOS 429325888 HAS SOPS 429325888 HAS SOUS 277317863 HAS SOUPS 277317863 WITH SCORE 2.77747188888E8
AT ITER 5863 NEW BEST:: SOT 1933232358 SOS 429325888 HAS SOPS 429325888 HAS SOUS 277316395 HAS SOUPS 277316395 WITH SCORE 2.77745720888E8
AT ITER 5879 NEW BEST:: SOT 1933228915 SOS 429332770 HAS SOPS 429332770 HAS SOUS 277312951 HAS SOUPS 277312951 WITH SCORE 2.7774228377E8
AT ITER 5893 NEW BEST:: SOT 1933226174 SOS 429335508 HAS SOPS 429335508 HAS SOUS 277310209 HAS SOUPS 277310209 WITH SCORE 2.77739544508E8
AT ITER 5906 NEW BEST:: SOT 1933225293 SOS 429334627 HAS SOPS 429334627 HAS SOUS 277308447 HAS SOUPS 277308447 WITH SCORE 2.77737781627E8
AT ITER 5919 NEW BEST:: SOT 1933224475 SOS 429332991 HAS SOPS 429332991 HAS SOUS 277306811 HAS SOUPS 277306811 WITH SCORE 2.77736143991E8
AT ITER 5925 NEW BEST:: SOT 1933218141 SOS 429326657 HAS SOPS 429326657 HAS SOUS 277300477 HAS SOUPS 277300477 WITH SCORE 2.77729803657E8
AT ITER 5931 NEW BEST:: SOT 1933217710 SOS 429325795 HAS SOPS 429325795 HAS SOUS 277299615 HAS SOUPS 277299615 WITH SCORE 2.77728940795E8
AT ITER 5968 NEW BEST:: SOT 1933213201 SOS 429321282 HAS SOPS 429321282 HAS SOUS 277295105 HAS SOUPS 277295105 WITH SCORE 2.77724426282E8
AT ITER 5989 NEW BEST:: SOT 1933209286 SOS 429313452 HAS SOPS 429313452 HAS SOUS 277287275 HAS SOUPS 277287275 WITH SCORE 2.77716588452E8
AT ITER 6001 NEW BEST:: SOT 1933210041 SOS 429301603 HAS SOPS 429301603 HAS SOUS 277283954 HAS SOUPS 277283954 WITH SCORE 2.77713255603E8
AT ITER 6004 NEW BEST:: SOT 1933210040 SOS 429301601 HAS SOPS 429301601 HAS SOUS 277283952 HAS SOUPS 277283952 WITH SCORE 2.77713253601E8
AT ITER 6063 NEW BEST:: SOT 1933205268 SOS 429292056 HAS SOPS 429292056 HAS SOUS 277274407 HAS SOUPS 277274407 WITH SCORE 2.77703699056E8
AT ITER 6064 NEW BEST:: SOT 1933203568 SOS 429290356 HAS SOPS 429290356 HAS SOUS 277274407 HAS SOUPS 277274407 WITH SCORE 2.77703697356E8
AT ITER 6082 NEW BEST:: SOT 1933203568 SOS 429296778 HAS SOPS 429296778 HAS SOUS 277264522 HAS SOUPS 277264522 WITH SCORE 2.77693818778E8
AT ITER 6089 NEW BEST:: SOT 1933199564 SOS 429292770 HAS SOPS 429292770 HAS SOUS 277260517 HAS SOUPS 277260517 WITH SCORE 2.7768980977E8
AT ITER 6108 NEW BEST:: SOT 1933193779 SOS 429281200 HAS SOPS 429281200 HAS SOUS 277246674 HAS SOUPS 277246674 WITH SCORE 2.776759552E8
AT ITER 6114 NEW BEST:: SOT 1933193779 SOS 429281200 HAS SOPS 429281200 HAS SOUS 277246673 HAS SOUPS 277246673 WITH SCORE 2.776759542E8
AT ITER 6135 NEW BEST:: SOT 1933193779 SOS 429279449 HAS SOPS 429279449 HAS SOUS 277244922 HAS SOUPS 277244922 WITH SCORE 2.77674201449E8
AT ITER 6156 NEW BEST:: SOT 1933185233 SOS 429262356 HAS SOPS 429262356 HAS SOUS 277227829 HAS SOUPS 277227829 WITH SCORE 2.77657091356E8
AT ITER 6173 NEW BEST:: SOT 1933169537 SOS 429242427 HAS SOPS 429242427 HAS SOUS 277204284 HAS SOUPS 277204284 WITH SCORE 2.77633526427E8
AT ITER 6175 NEW BEST:: SOT 1933165718 SOS 429234789 HAS SOPS 429234789 HAS SOUS 277188283 HAS SOUPS 277188283 WITH SCORE 2.77617517789E8
AT ITER 6189 NEW BEST:: SOT 1933160255 SOS 429233443 HAS SOPS 429233443 HAS SOUS 277186940 HAS SOUPS 277186940 WITH SCORE 2.77616173443E8
AT ITER 6192 NEW BEST:: SOT 1933157295 SOS 429239359 HAS SOPS 429239359 HAS SOUS 277183979 HAS SOUPS 277183979 WITH SCORE 2.77613218359E8
AT ITER 6234 NEW BEST:: SOT 1933155829 SOS 429239359 HAS SOPS 429239359 HAS SOUS 277183246 HAS SOUPS 277183246 WITH SCORE 2.77612485359E8
AT ITER 6256 NEW BEST:: SOT 1933150307 SOS 429233833 HAS SOPS 429233833 HAS SOUS 277177723 HAS SOUPS 277177723 WITH SCORE 2.77606956833E8
AT ITER 6261 NEW BEST:: SOT 1933146808 SOS 429237655 HAS SOPS 429237655 HAS SOUS 277173430 HAS SOUPS 277173430 WITH SCORE 2.77602667655E8
AT ITER 6297 NEW BEST:: SOT 1933142007 SOS 429272008 HAS SOPS 429272008 HAS SOUS 277163827 HAS SOUPS 277163827 WITH SCORE 2.77593099008E8
AT ITER 6353 NEW BEST:: SOT 1933140326 SOS 429268646 HAS SOPS 429268646 HAS SOUS 277160465 HAS SOUPS 277160465 WITH SCORE 2.77589733646E8
AT ITER 6357 NEW BEST:: SOT 1933134948 SOS 429263465 HAS SOPS 429263465 HAS SOUS 277155087 HAS SOUPS 277155087 WITH SCORE 2.77584350465E8
AT ITER 6403 NEW BEST:: SOT 1933123336 SOS 429240241 HAS SOPS 429240241 HAS SOUS 277131863 HAS SOUPS 277131863 WITH SCORE 2.77561103241E8
AT ITER 6416 NEW BEST:: SOT 1933121302 SOS 429240241 HAS SOPS 429240241 HAS SOUS 277130846 HAS SOUPS 277130846 WITH SCORE 2.77560086241E8
AT ITER 6418 NEW BEST:: SOT 1933121302 SOS 429240241 HAS SOPS 429240241 HAS SOUS 277126965 HAS SOUPS 277126965 WITH SCORE 2.77556205241E8
AT ITER 6459 NEW BEST:: SOT 1933111519 SOS 429220675 HAS SOPS 429220675 HAS SOUS 277107399 HAS SOUPS 277107399 WITH SCORE 2.77536619675E8
AT ITER 6469 NEW BEST:: SOT 1933114659 SOS 429226955 HAS SOPS 429226955 HAS SOUS 277106669 HAS SOUPS 277106669 WITH SCORE 2.77535895955E8
AT ITER 6486 NEW BEST:: SOT 1933112179 SOS 429221995 HAS SOPS 429221995 HAS SOUS 277096334 HAS SOUPS 277096334 WITH SCORE 2.77525555995E8
AT ITER 6493 NEW BEST:: SOT 1933111006 SOS 429221991 HAS SOPS 429221991 HAS SOUS 277095630 HAS SOUPS 277095630 WITH SCORE 2.77524851991E8
AT ITER 6504 NEW BEST:: SOT 1933108550 SOS 429229538 HAS SOPS 429229538 HAS SOUS 277093174 HAS SOUPS 277093174 WITH SCORE 2.77522403538E8
AT ITER 6515 NEW BEST:: SOT 1933102087 SOS 429223925 HAS SOPS 429223925 HAS SOUS 277087561 HAS SOUPS 277087561 WITH SCORE 2.77516784925E8
AT ITER 6518 NEW BEST:: SOT 1933040168 SOS 429229729 HAS SOPS 429229729 HAS SOUS 277072691 HAS SOUPS 277072691 WITH SCORE 2.77501920729E8
AT ITER 6576 NEW BEST:: SOT 1933040315 SOS 429230020 HAS SOPS 429230020 HAS SOUS 277072690 HAS SOUPS 277072690 WITH SCORE 2.7750192002E8
AT ITER 6590 NEW BEST:: SOT 1933040315 SOS 429227646 HAS SOPS 429227646 HAS SOUS 277070316 HAS SOUPS 277070316 WITH SCORE 2.77499543646E8
AT ITER 6594 NEW BEST:: SOT 1933037600 SOS 429223896 HAS SOPS 429223896 HAS SOUS 277066566 HAS SOUPS 277066566 WITH SCORE 2.77495789896E8
AT ITER 6631 NEW BEST:: SOT 1933035973 SOS 429220642 HAS SOPS 429220642 HAS SOUS 277063312 HAS SOUPS 277063312 WITH SCORE 2.77492532642E8
AT ITER 6655 NEW BEST:: SOT 1933027180 SOS 429211845 HAS SOPS 429211845 HAS SOUS 277054518 HAS SOUPS 277054518 WITH SCORE 2.77483729845E8
AT ITER 6656 NEW BEST:: SOT 1933015014 SOS 429193596 HAS SOPS 429193596 HAS SOUS 277036269 HAS SOUPS 277036269 WITH SCORE 2.77465462596E8
AT ITER 6688 NEW BEST:: SOT 1933015014 SOS 429215100 HAS SOPS 429215100 HAS SOUS 277031385 HAS SOUPS 277031385 WITH SCORE 2.774606001E8
AT ITER 6696 NEW BEST:: SOT 1933014977 SOS 429215026 HAS SOPS 429215026 HAS SOUS 277031348 HAS SOUPS 277031348 WITH SCORE 2.77460563026E8
AT ITER 6727 NEW BEST:: SOT 1933007709 SOS 429207754 HAS SOPS 429207754 HAS SOUS 277024079 HAS SOUPS 277024079 WITH SCORE 2.77453286754E8
AT ITER 6740 NEW BEST:: SOT 1933007356 SOS 429207048 HAS SOPS 429207048 HAS SOUS 277023373 HAS SOUPS 277023373 WITH SCORE 2.77452580048E8
AT ITER 6747 NEW BEST:: SOT 1933000906 SOS 429202197 HAS SOPS 429202197 HAS SOUS 277018522 HAS SOUPS 277018522 WITH SCORE 2.77447724197E8
AT ITER 6757 NEW BEST:: SOT 1932994849 SOS 429196140 HAS SOPS 429196140 HAS SOUS 277012465 HAS SOUPS 277012465 WITH SCORE 2.7744166114E8
AT ITER 6764 NEW BEST:: SOT 1932999111 SOS 429194286 HAS SOPS 429194286 HAS SOUS 277010611 HAS SOUPS 277010611 WITH SCORE 2.77439805286E8
AT ITER 6787 NEW BEST:: SOT 1932990578 SOS 429192016 HAS SOPS 429192016 HAS SOUS 277008341 HAS SOUPS 277008341 WITH SCORE 2.77437533016E8
AT ITER 6802 NEW BEST:: SOT 1932975120 SOS 429184287 HAS SOPS 429184287 HAS SOUS 276992883 HAS SOUPS 276992883 WITH SCORE 2.77422067287E8
AT ITER 6812 NEW BEST:: SOT 1932972927 SOS 429184283 HAS SOPS 429184283 HAS SOUS 276990689 HAS SOUPS 276990689 WITH SCORE 2.77419873283E8
AT ITER 6837 NEW BEST:: SOT 1932969105 SOS 429180878 HAS SOPS 429180878 HAS SOUS 276987284 HAS SOUPS 276987284 WITH SCORE 2.77416464878E8
AT ITER 6842 NEW BEST:: SOT 1932967261 SOS 429179034 HAS SOPS 429179034 HAS SOUS 276985440 HAS SOUPS 276985440 WITH SCORE 2.77414619034E8
AT ITER 6850 NEW BEST:: SOT 1932952334 SOS 429173606 HAS SOPS 429173606 HAS SOUS 276978655 HAS SOUPS 276978655 WITH SCORE 2.77407828606E8
AT ITER 6859 NEW BEST:: SOT 1932947683 SOS 429173745 HAS SOPS 429173745 HAS SOUS 276976757 HAS SOUPS 276976757 WITH SCORE 2.77405930745E8
AT ITER 6888 NEW BEST:: SOT 1932946775 SOS 429174653 HAS SOPS 429174653 HAS SOUS 276975849 HAS SOUPS 276975849 WITH SCORE 2.77405023653E8
AT ITER 6889 NEW BEST:: SOT 1932946775 SOS 429174653 HAS SOPS 429174653 HAS SOUS 276975848 HAS SOUPS 276975848 WITH SCORE 2.77405022653E8
AT ITER 6919 NEW BEST:: SOT 1932944039 SOS 429180121 HAS SOPS 429180121 HAS SOUS 276973111 HAS SOUPS 276973111 WITH SCORE 2.77402291121E8
AT ITER 6961 NEW BEST:: SOT 1932942478 SOS 429178769 HAS SOPS 429178769 HAS SOUS 276969780 HAS SOUPS 276969780 WITH SCORE 2.77398958769E8
AT ITER 6969 NEW BEST:: SOT 1932940707 SOS 429175227 HAS SOPS 429175227 HAS SOUS 276966238 HAS SOUPS 276966238 WITH SCORE 2.77395413227E8
AT ITER 7068 NEW BEST:: SOT 1932940707 SOS 429170779 HAS SOPS 429170779 HAS SOUS 276961790 HAS SOUPS 276961790 WITH SCORE 2.77390960779E8
AT ITER 7073 NEW BEST:: SOT 1932941040 SOS 429169597 HAS SOPS 429169597 HAS SOUS 276960608 HAS SOUPS 276960608 WITH SCORE 2.77389777597E8
AT ITER 7079 NEW BEST:: SOT 1932936383 SOS 429160283 HAS SOPS 429160283 HAS SOUS 276951294 HAS SOUPS 276951294 WITH SCORE 2.77380454283E8
AT ITER 7097 NEW BEST:: SOT 1932926329 SOS 429150225 HAS SOPS 429150225 HAS SOUS 276941239 HAS SOUPS 276941239 WITH SCORE 2.77370389225E8
AT ITER 7119 NEW BEST:: SOT 1932926181 SOS 429149633 HAS SOPS 429149633 HAS SOUS 276941091 HAS SOUPS 276941091 WITH SCORE 2.77370240633E8
AT ITER 7124 NEW BEST:: SOT 1932921419 SOS 429162033 HAS SOPS 429162033 HAS SOUS 276938796 HAS SOUPS 276938796 WITH SCORE 2.77367958033E8
AT ITER 7127 NEW BEST:: SOT 1932921418 SOS 429162031 HAS SOPS 429162031 HAS SOUS 276938794 HAS SOUPS 276938794 WITH SCORE 2.77367956031E8
AT ITER 7149 NEW BEST:: SOT 1932910096 SOS 429139387 HAS SOPS 429139387 HAS SOUS 276916150 HAS SOUPS 276916150 WITH SCORE 2.77345289387E8
AT ITER 7185 NEW BEST:: SOT 1932907124 SOS 429138225 HAS SOPS 429138225 HAS SOUS 276913178 HAS SOUPS 276913178 WITH SCORE 2.77342316225E8
AT ITER 7224 NEW BEST:: SOT 1932901543 SOS 429127064 HAS SOPS 429127064 HAS SOUS 276902017 HAS SOUPS 276902017 WITH SCORE 2.77331144064E8
AT ITER 7234 NEW BEST:: SOT 1932901399 SOS 429126776 HAS SOPS 429126776 HAS SOUS 276895990 HAS SOUPS 276895990 WITH SCORE 2.77325116776E8
AT ITER 7274 NEW BEST:: SOT 1932885814 SOS 429122363 HAS SOPS 429122363 HAS SOUS 276880405 HAS SOUPS 276880405 WITH SCORE 2.77309527363E8
AT ITER 7296 NEW BEST:: SOT 1932881751 SOS 429118300 HAS SOPS 429118300 HAS SOUS 276876342 HAS SOUPS 276876342 WITH SCORE 2.773054603E8
AT ITER 7314 NEW BEST:: SOT 1932881751 SOS 429118300 HAS SOPS 429118300 HAS SOUS 276864666 HAS SOUPS 276864666 WITH SCORE 2.772937843E8
AT ITER 7343 NEW BEST:: SOT 1932868439 SOS 429111644 HAS SOPS 429111644 HAS SOUS 276851354 HAS SOUPS 276851354 WITH SCORE 2.77280465644E8
AT ITER 7361 NEW BEST:: SOT 1932867025 SOS 429108816 HAS SOPS 429108816 HAS SOUS 276849940 HAS SOUPS 276849940 WITH SCORE 2.77279048816E8
AT ITER 7415 NEW BEST:: SOT 1932863589 SOS 429105400 HAS SOPS 429105400 HAS SOUS 276843932 HAS SOUPS 276843932 WITH SCORE 2.772730374E8
AT ITER 7425 NEW BEST:: SOT 1932859297 SOS 429135434 HAS SOPS 429135434 HAS SOUS 276835347 HAS SOUPS 276835347 WITH SCORE 2.77264482434E8
AT ITER 7450 NEW BEST:: SOT 1932855622 SOS 429128084 HAS SOPS 429128084 HAS SOUS 276826982 HAS SOUPS 276826982 WITH SCORE 2.77256110084E8
AT ITER 7468 NEW BEST:: SOT 1932854930 SOS 429127738 HAS SOPS 429127738 HAS SOUS 276826636 HAS SOUPS 276826636 WITH SCORE 2.77255763738E8
AT ITER 7476 NEW BEST:: SOT 1932852671 SOS 429132252 HAS SOPS 429132252 HAS SOUS 276824376 HAS SOUPS 276824376 WITH SCORE 2.77253508252E8
AT ITER 7486 NEW BEST:: SOT 1932850380 SOS 429131556 HAS SOPS 429131556 HAS SOUS 276822417 HAS SOUPS 276822417 WITH SCORE 2.77251548556E8
AT ITER 7523 NEW BEST:: SOT 1932850380 SOS 429131555 HAS SOPS 429131555 HAS SOUS 276822416 HAS SOUPS 276822416 WITH SCORE 2.77251547555E8
AT ITER 7529 NEW BEST:: SOT 1932847875 SOS 429129915 HAS SOPS 429129915 HAS SOUS 276818500 HAS SOUPS 276818500 WITH SCORE 2.77247629915E8
AT ITER 7545 NEW BEST:: SOT 1932840085 SOS 429122121 HAS SOPS 429122121 HAS SOUS 276810709 HAS SOUPS 276810709 WITH SCORE 2.77239831121E8
AT ITER 7573 NEW BEST:: SOT 1932835321 SOS 429112593 HAS SOPS 429112593 HAS SOUS 276801181 HAS SOUPS 276801181 WITH SCORE 2.77230293593E8
AT ITER 7574 NEW BEST:: SOT 1932834293 SOS 429110537 HAS SOPS 429110537 HAS SOUS 276800153 HAS SOUPS 276800153 WITH SCORE 2.77229263537E8
AT ITER 7616 NEW BEST:: SOT 1932832495 SOS 429110537 HAS SOPS 429110537 HAS SOUS 276799254 HAS SOUPS 276799254 WITH SCORE 2.77228364537E8
AT ITER 7665 NEW BEST:: SOT 1932827549 SOS 429100645 HAS SOPS 429100645 HAS SOUS 276789362 HAS SOUPS 276789362 WITH SCORE 2.77218462645E8
AT ITER 7702 NEW BEST:: SOT 1932824818 SOS 429095183 HAS SOPS 429095183 HAS SOUS 276783900 HAS SOUPS 276783900 WITH SCORE 2.77212995183E8
AT ITER 7749 NEW BEST:: SOT 1932824981 SOS 429088597 HAS SOPS 429088597 HAS SOUS 276780607 HAS SOUPS 276780607 WITH SCORE 2.77209695597E8
AT ITER 7787 NEW BEST:: SOT 1932824980 SOS 429088595 HAS SOPS 429088595 HAS SOUS 276780606 HAS SOUPS 276780606 WITH SCORE 2.77209694595E8
AT ITER 7808 NEW BEST:: SOT 1932817056 SOS 429084633 HAS SOPS 429084633 HAS SOUS 276776644 HAS SOUPS 276776644 WITH SCORE 2.77205728633E8
AT ITER 7809 NEW BEST:: SOT 1932807664 SOS 429075237 HAS SOPS 429075237 HAS SOUS 276767251 HAS SOUPS 276767251 WITH SCORE 2.77196326237E8
AT ITER 7810 NEW BEST:: SOT 1932806717 SOS 429073343 HAS SOPS 429073343 HAS SOUS 276765357 HAS SOUPS 276765357 WITH SCORE 2.77194430343E8
AT ITER 7815 NEW BEST:: SOT 1932803416 SOS 429066742 HAS SOPS 429066742 HAS SOUS 276758756 HAS SOUPS 276758756 WITH SCORE 2.77187822742E8
AT ITER 7855 NEW BEST:: SOT 1932803020 SOS 429066345 HAS SOPS 429066345 HAS SOUS 276758746 HAS SOUPS 276758746 WITH SCORE 2.77187812345E8
AT ITER 7874 NEW BEST:: SOT 1932803733 SOS 429067771 HAS SOPS 429067771 HAS SOUS 276758499 HAS SOUPS 276758499 WITH SCORE 2.77187566771E8
AT ITER 7915 NEW BEST:: SOT 1932803733 SOS 429063395 HAS SOPS 429063395 HAS SOUS 276756311 HAS SOUPS 276756311 WITH SCORE 2.77185374395E8
AT ITER 7953 NEW BEST:: SOT 1932803451 SOS 429063391 HAS SOPS 429063391 HAS SOUS 276756169 HAS SOUPS 276756169 WITH SCORE 2.77185232391E8
AT ITER 7972 NEW BEST:: SOT 1932803451 SOS 429061407 HAS SOPS 429061407 HAS SOUS 276756169 HAS SOUPS 276756169 WITH SCORE 2.77185230407E8
AT ITER 7975 NEW BEST:: SOT 1932795403 SOS 429055276 HAS SOPS 429055276 HAS SOUS 276750038 HAS SOUPS 276750038 WITH SCORE 2.77179093276E8
AT ITER 7988 NEW BEST:: SOT 1932789365 SOS 429043200 HAS SOPS 429043200 HAS SOUS 276742117 HAS SOUPS 276742117 WITH SCORE 2.771711602E8
AT ITER 7991 NEW BEST:: SOT 1932787903 SOS 429043705 HAS SOPS 429043705 HAS SOUS 276741798 HAS SOUPS 276741798 WITH SCORE 2.77170841705E8
AT ITER 7995 NEW BEST:: SOT 1932781967 SOS 429031833 HAS SOPS 429031833 HAS SOUS 276729926 HAS SOUPS 276729926 WITH SCORE 2.77158957833E8
AT ITER 8040 NEW BEST:: SOT 1932773313 SOS 429023179 HAS SOPS 429023179 HAS SOUS 276721272 HAS SOUPS 276721272 WITH SCORE 2.77150295179E8
AT ITER 8042 NEW BEST:: SOT 1932766721 SOS 429016583 HAS SOPS 429016583 HAS SOUS 276714679 HAS SOUPS 276714679 WITH SCORE 2.77143695583E8
AT ITER 8043 NEW BEST:: SOT 1932766721 SOS 429013661 HAS SOPS 429013661 HAS SOUS 276714679 HAS SOUPS 276714679 WITH SCORE 2.77143692661E8
AT ITER 8067 NEW BEST:: SOT 1932765965 SOS 429014417 HAS SOPS 429014417 HAS SOUS 276713923 HAS SOUPS 276713923 WITH SCORE 2.77142937417E8
AT ITER 8072 NEW BEST:: SOT 1932763930 SOS 429010343 HAS SOPS 429010343 HAS SOUS 276709852 HAS SOUPS 276709852 WITH SCORE 2.77138862343E8
AT ITER 8085 NEW BEST:: SOT 1932760599 SOS 429003681 HAS SOPS 429003681 HAS SOUS 276703190 HAS SOUPS 276703190 WITH SCORE 2.77132193681E8
AT ITER 8109 NEW BEST:: SOT 1932760599 SOS 429009125 HAS SOPS 429009125 HAS SOUS 276702583 HAS SOUPS 276702583 WITH SCORE 2.77131592125E8
AT ITER 8136 NEW BEST:: SOT 1932757126 SOS 429002179 HAS SOPS 429002179 HAS SOUS 276691244 HAS SOUPS 276691244 WITH SCORE 2.77120246179E8
AT ITER 8156 NEW BEST:: SOT 1932748942 SOS 428985811 HAS SOPS 428985811 HAS SOUS 276674876 HAS SOUPS 276674876 WITH SCORE 2.77103861811E8
AT ITER 8174 NEW BEST:: SOT 1932748942 SOS 428977909 HAS SOPS 428977909 HAS SOUS 276672242 HAS SOUPS 276672242 WITH SCORE 2.77101219909E8
AT ITER 8215 NEW BEST:: SOT 1932748220 SOS 428978523 HAS SOPS 428978523 HAS SOUS 276671854 HAS SOUPS 276671854 WITH SCORE 2.77100832523E8
AT ITER 8216 NEW BEST:: SOT 1932747053 SOS 428976189 HAS SOPS 428976189 HAS SOUS 276669520 HAS SOUPS 276669520 WITH SCORE 2.77098496189E8
AT ITER 8220 NEW BEST:: SOT 1932745884 SOS 428973851 HAS SOPS 428973851 HAS SOUS 276667182 HAS SOUPS 276667182 WITH SCORE 2.77096155851E8
AT ITER 8267 NEW BEST:: SOT 1932744973 SOS 428972029 HAS SOPS 428972029 HAS SOUS 276665360 HAS SOUPS 276665360 WITH SCORE 2.77094332029E8
AT ITER 8279 NEW BEST:: SOT 1932744973 SOS 428970889 HAS SOPS 428970889 HAS SOUS 276665359 HAS SOUPS 276665359 WITH SCORE 2.77094329889E8
AT ITER 8301 NEW BEST:: SOT 1932738483 SOS 428964399 HAS SOPS 428964399 HAS SOUS 276658869 HAS SOUPS 276658869 WITH SCORE 2.77087833399E8
AT ITER 8338 NEW BEST:: SOT 1932737997 SOS 428963428 HAS SOPS 428963428 HAS SOUS 276657898 HAS SOUPS 276657898 WITH SCORE 2.77086861428E8
AT ITER 8397 NEW BEST:: SOT 1932737050 SOS 428961534 HAS SOPS 428961534 HAS SOUS 276656004 HAS SOUPS 276656004 WITH SCORE 2.77084965534E8
AT ITER 8538 NEW BEST:: SOT 1932735933 SOS 428959300 HAS SOPS 428959300 HAS SOUS 276653770 HAS SOUPS 276653770 WITH SCORE 2.770827293E8
AT ITER 8554 NEW BEST:: SOT 1932735933 SOS 428959300 HAS SOPS 428959300 HAS SOUS 276653769 HAS SOUPS 276653769 WITH SCORE 2.770827283E8
AT ITER 8587 NEW BEST:: SOT 1932734178 SOS 428955790 HAS SOPS 428955790 HAS SOUS 276650259 HAS SOUPS 276650259 WITH SCORE 2.7707921479E8
AT ITER 8592 NEW BEST:: SOT 1932730048 SOS 428947530 HAS SOPS 428947530 HAS SOUS 276646129 HAS SOUPS 276646129 WITH SCORE 2.7707507653E8
AT ITER 8598 NEW BEST:: SOT 1932713957 SOS 428964938 HAS SOPS 428964938 HAS SOUS 276644964 HAS SOUPS 276644964 WITH SCORE 2.77073928938E8
AT ITER 8612 NEW BEST:: SOT 1932708383 SOS 428953791 HAS SOPS 428953791 HAS SOUS 276638195 HAS SOUPS 276638195 WITH SCORE 2.77067148791E8
AT ITER 8643 NEW BEST:: SOT 1932706891 SOS 428924281 HAS SOPS 428924281 HAS SOUS 276635211 HAS SOUPS 276635211 WITH SCORE 2.77064135281E8
AT ITER 8674 NEW BEST:: SOT 1932705205 SOS 428922595 HAS SOPS 428922595 HAS SOUS 276633525 HAS SOUPS 276633525 WITH SCORE 2.77062447595E8
AT ITER 8717 NEW BEST:: SOT 1932704612 SOS 428921409 HAS SOPS 428921409 HAS SOUS 276632339 HAS SOUPS 276632339 WITH SCORE 2.77061260409E8
AT ITER 8726 NEW BEST:: SOT 1932703308 SOS 428918801 HAS SOPS 428918801 HAS SOUS 276623964 HAS SOUPS 276623964 WITH SCORE 2.77052882801E8
AT ITER 8739 NEW BEST:: SOT 1932707377 SOS 428916784 HAS SOPS 428916784 HAS SOUS 276621947 HAS SOUPS 276621947 WITH SCORE 2.77050863784E8
AT ITER 8769 NEW BEST:: SOT 1932704560 SOS 428958553 HAS SOPS 428958553 HAS SOUS 276619130 HAS SOUPS 276619130 WITH SCORE 2.77048088553E8
AT ITER 8783 NEW BEST:: SOT 1932698873 SOS 428998362 HAS SOPS 428998362 HAS SOUS 276613443 HAS SOUPS 276613443 WITH SCORE 2.77042441362E8
AT ITER 8818 NEW BEST:: SOT 1932698872 SOS 428998360 HAS SOPS 428998360 HAS SOUS 276613441 HAS SOUPS 276613441 WITH SCORE 2.7704243936E8
AT ITER 8820 NEW BEST:: SOT 1932691876 SOS 429010438 HAS SOPS 429010438 HAS SOUS 276604425 HAS SOUPS 276604425 WITH SCORE 2.77033435438E8
AT ITER 8833 NEW BEST:: SOT 1932682819 SOS 428998445 HAS SOPS 428998445 HAS SOUS 276594634 HAS SOUPS 276594634 WITH SCORE 2.77023632445E8
AT ITER 8835 NEW BEST:: SOT 1932680941 SOS 428994689 HAS SOPS 428994689 HAS SOUS 276590878 HAS SOUPS 276590878 WITH SCORE 2.77019872689E8
AT ITER 8838 NEW BEST:: SOT 1932678215 SOS 428989233 HAS SOPS 428989233 HAS SOUS 276585425 HAS SOUPS 276585425 WITH SCORE 2.77014414233E8
AT ITER 8884 NEW BEST:: SOT 1932664990 SOS 428925348 HAS SOPS 428925348 HAS SOUS 276555916 HAS SOUPS 276555916 WITH SCORE 2.76984841348E8
AT ITER 8897 NEW BEST:: SOT 1932661496 SOS 428974535 HAS SOPS 428974535 HAS SOUS 276551752 HAS SOUPS 276551752 WITH SCORE 2.76980726535E8
AT ITER 8913 NEW BEST:: SOT 1932655957 SOS 428968996 HAS SOPS 428968996 HAS SOUS 276546213 HAS SOUPS 276546213 WITH SCORE 2.76975181996E8
AT ITER 8917 NEW BEST:: SOT 1932655957 SOS 428981473 HAS SOPS 428981473 HAS SOUS 276543053 HAS SOUPS 276543053 WITH SCORE 2.76972034473E8
AT ITER 8931 NEW BEST:: SOT 1932649735 SOS 428976416 HAS SOPS 428976416 HAS SOUS 276530029 HAS SOUPS 276530029 WITH SCORE 2.76959005416E8
AT ITER 9023 NEW BEST:: SOT 1932649735 SOS 428972936 HAS SOPS 428972936 HAS SOUS 276530029 HAS SOUPS 276530029 WITH SCORE 2.76959001936E8
AT ITER 9034 NEW BEST:: SOT 1932645452 SOS 428972602 HAS SOPS 428972602 HAS SOUS 276529695 HAS SOUPS 276529695 WITH SCORE 2.76958667602E8
AT ITER 9055 NEW BEST:: SOT 1932641027 SOS 429011460 HAS SOPS 429011460 HAS SOUS 276520844 HAS SOUPS 276520844 WITH SCORE 2.7694985546E8
AT ITER 9081 NEW BEST:: SOT 1932634002 SOS 429023327 HAS SOPS 429023327 HAS SOUS 276511823 HAS SOUPS 276511823 WITH SCORE 2.76940846327E8
AT ITER 9127 NEW BEST:: SOT 1932633192 SOS 429021707 HAS SOPS 429021707 HAS SOUS 276510203 HAS SOUPS 276510203 WITH SCORE 2.76939224707E8
AT ITER 9131 NEW BEST:: SOT 1932633192 SOS 429019119 HAS SOPS 429019119 HAS SOUS 276507615 HAS SOUPS 276507615 WITH SCORE 2.76936634119E8
AT ITER 9154 NEW BEST:: SOT 1932628867 SOS 429000907 HAS SOPS 429000907 HAS SOUS 276494372 HAS SOUPS 276494372 WITH SCORE 2.76923372907E8
AT ITER 9172 NEW BEST:: SOT 1932626550 SOS 428996273 HAS SOPS 428996273 HAS SOUS 276484057 HAS SOUPS 276484057 WITH SCORE 2.76913053273E8
AT ITER 9198 NEW BEST:: SOT 1932622996 SOS 428989165 HAS SOPS 428989165 HAS SOUS 276476949 HAS SOUPS 276476949 WITH SCORE 2.76905938165E8
AT ITER 9241 NEW BEST:: SOT 1932600537 SOS 428991353 HAS SOPS 428991353 HAS SOUS 276461951 HAS SOUPS 276461951 WITH SCORE 2.76890942353E8
AT ITER 9242 NEW BEST:: SOT 1932600537 SOS 428991353 HAS SOPS 428991353 HAS SOUS 276461950 HAS SOUPS 276461950 WITH SCORE 2.76890941353E8
AT ITER 9250 NEW BEST:: SOT 1932594861 SOS 428991343 HAS SOPS 428991343 HAS SOUS 276459131 HAS SOUPS 276459131 WITH SCORE 2.76888122343E8
AT ITER 9251 NEW BEST:: SOT 1932593777 SOS 428990259 HAS SOPS 428990259 HAS SOUS 276458047 HAS SOUPS 276458047 WITH SCORE 2.76887037259E8
AT ITER 9258 NEW BEST:: SOT 1932593777 SOS 428990259 HAS SOPS 428990259 HAS SOUS 276458046 HAS SOUPS 276458046 WITH SCORE 2.76887036259E8
AT ITER 9261 NEW BEST:: SOT 1932592411 SOS 428987527 HAS SOPS 428987527 HAS SOUS 276453362 HAS SOUPS 276453362 WITH SCORE 2.76882349527E8
AT ITER 9264 NEW BEST:: SOT 1932592411 SOS 428985020 HAS SOPS 428985020 HAS SOUS 276453362 HAS SOUPS 276453362 WITH SCORE 2.7688234702E8
AT ITER 9273 NEW BEST:: SOT 1932592597 SOS 428985392 HAS SOPS 428985392 HAS SOUS 276450937 HAS SOUPS 276450937 WITH SCORE 2.76879922392E8
AT ITER 9291 NEW BEST:: SOT 1932594014 SOS 428967088 HAS SOPS 428967088 HAS SOUS 276446016 HAS SOUPS 276446016 WITH SCORE 2.76874983088E8
AT ITER 9293 NEW BEST:: SOT 1932598373 SOS 429009681 HAS SOPS 429009681 HAS SOUS 276444839 HAS SOUPS 276444839 WITH SCORE 2.76873848681E8
AT ITER 9298 NEW BEST:: SOT 1932597556 SOS 429008047 HAS SOPS 429008047 HAS SOUS 276444022 HAS SOUPS 276444022 WITH SCORE 2.76873030047E8
AT ITER 9300 NEW BEST:: SOT 1932591154 SOS 429002417 HAS SOPS 429002417 HAS SOUS 276438392 HAS SOUPS 276438392 WITH SCORE 2.76867394417E8
AT ITER 9315 NEW BEST:: SOT 1932591067 SOS 429002243 HAS SOPS 429002243 HAS SOUS 276438218 HAS SOUPS 276438218 WITH SCORE 2.76867220243E8
AT ITER 9321 NEW BEST:: SOT 1932591064 SOS 429002237 HAS SOPS 429002237 HAS SOUS 276438212 HAS SOUPS 276438212 WITH SCORE 2.76867214237E8
AT ITER 9338 NEW BEST:: SOT 1932592953 SOS 428990799 HAS SOPS 428990799 HAS SOUS 276435973 HAS SOUPS 276435973 WITH SCORE 2.76864963799E8
AT ITER 9361 NEW BEST:: SOT 1932590078 SOS 428985049 HAS SOPS 428985049 HAS SOUS 276430223 HAS SOUPS 276430223 WITH SCORE 2.76859208049E8
AT ITER 9366 NEW BEST:: SOT 1932590078 SOS 428985049 HAS SOPS 428985049 HAS SOUS 276430222 HAS SOUPS 276430222 WITH SCORE 2.76859207049E8
AT ITER 9381 NEW BEST:: SOT 1932587203 SOS 429010462 HAS SOPS 429010462 HAS SOUS 276421901 HAS SOUPS 276421901 WITH SCORE 2.76850911462E8
AT ITER 9389 NEW BEST:: SOT 1932580362 SOS 429003670 HAS SOPS 429003670 HAS SOUS 276415112 HAS SOUPS 276415112 WITH SCORE 2.7684411567E8
AT ITER 9404 NEW BEST:: SOT 1932580362 SOS 429003670 HAS SOPS 429003670 HAS SOUS 276415111 HAS SOUPS 276415111 WITH SCORE 2.7684411467E8
AT ITER 9436 NEW BEST:: SOT 1932580362 SOS 429003670 HAS SOPS 429003670 HAS SOUS 276407252 HAS SOUPS 276407252 WITH SCORE 2.7683625567E8
AT ITER 9441 NEW BEST:: SOT 1932512692 SOS 429034015 HAS SOPS 429034015 HAS SOUS 276389395 HAS SOUPS 276389395 WITH SCORE 2.76818429015E8
AT ITER 9448 NEW BEST:: SOT 1932458467 SOS 429095866 HAS SOPS 429095866 HAS SOUS 276388676 HAS SOUPS 276388676 WITH SCORE 2.76817771866E8
AT ITER 9466 NEW BEST:: SOT 1932458467 SOS 429085246 HAS SOPS 429085246 HAS SOUS 276385136 HAS SOUPS 276385136 WITH SCORE 2.76814221246E8
AT ITER 9493 NEW BEST:: SOT 1932450398 SOS 429069108 HAS SOPS 429069108 HAS SOUS 276368998 HAS SOUPS 276368998 WITH SCORE 2.76798067108E8
AT ITER 9546 NEW BEST:: SOT 1932450352 SOS 429069016 HAS SOPS 429069016 HAS SOUS 276368952 HAS SOUPS 276368952 WITH SCORE 2.76798021016E8
AT ITER 9623 NEW BEST:: SOT 1932447596 SOS 429063504 HAS SOPS 429063504 HAS SOUS 276367299 HAS SOUPS 276367299 WITH SCORE 2.76796362504E8
AT ITER 9648 NEW BEST:: SOT 1932447905 SOS 429064122 HAS SOPS 429064122 HAS SOUS 276363794 HAS SOUPS 276363794 WITH SCORE 2.76792858122E8
AT ITER 9672 NEW BEST:: SOT 1932436425 SOS 429058382 HAS SOPS 429058382 HAS SOUS 276358054 HAS SOUPS 276358054 WITH SCORE 2.76787112382E8
AT ITER 9687 NEW BEST:: SOT 1932433401 SOS 429055354 HAS SOPS 429055354 HAS SOUS 276355029 HAS SOUPS 276355029 WITH SCORE 2.76784084354E8
AT ITER 9704 NEW BEST:: SOT 1932433401 SOS 429053190 HAS SOPS 429053190 HAS SOUS 276355029 HAS SOUPS 276355029 WITH SCORE 2.7678408219E8
AT ITER 9738 NEW BEST:: SOT 1932432642 SOS 429053187 HAS SOPS 429053187 HAS SOUS 276355028 HAS SOUPS 276355028 WITH SCORE 2.76784081187E8
AT ITER 9739 NEW BEST:: SOT 1932427688 SOS 429043279 HAS SOPS 429043279 HAS SOUS 276351338 HAS SOUPS 276351338 WITH SCORE 2.76780381279E8
AT ITER 9766 NEW BEST:: SOT 1932423792 SOS 429035487 HAS SOPS 429035487 HAS SOUS 276347441 HAS SOUPS 276347441 WITH SCORE 2.76776476487E8
AT ITER 9780 NEW BEST:: SOT 1932417293 SOS 429005098 HAS SOPS 429005098 HAS SOUS 276337254 HAS SOUPS 276337254 WITH SCORE 2.76766259098E8
AT ITER 9788 NEW BEST:: SOT 1932410717 SOS 428999270 HAS SOPS 428999270 HAS SOUS 276331427 HAS SOUPS 276331427 WITH SCORE 2.7676042627E8
AT ITER 9789 NEW BEST:: SOT 1932406496 SOS 429003021 HAS SOPS 429003021 HAS SOUS 276325096 HAS SOUPS 276325096 WITH SCORE 2.76754099021E8
AT ITER 9813 NEW BEST:: SOT 1932393506 SOS 429003021 HAS SOPS 429003021 HAS SOUS 276311397 HAS SOUPS 276311397 WITH SCORE 2.76740400021E8
AT ITER 9828 NEW BEST:: SOT 1932387826 SOS 429018717 HAS SOPS 429018717 HAS SOUS 276298873 HAS SOUPS 276298873 WITH SCORE 2.76727891717E8
AT ITER 9840 NEW BEST:: SOT 1932379284 SOS 429010171 HAS SOPS 429010171 HAS SOUS 276290330 HAS SOUPS 276290330 WITH SCORE 2.76719340171E8
AT ITER 9849 NEW BEST:: SOT 1932375329 SOS 428966886 HAS SOPS 428966886 HAS SOUS 276272331 HAS SOUPS 276272331 WITH SCORE 2.76701297886E8
AT ITER 9860 NEW BEST:: SOT 1932375329 SOS 428966886 HAS SOPS 428966886 HAS SOUS 276272330 HAS SOUPS 276272330 WITH SCORE 2.76701296886E8
AT ITER 9872 NEW BEST:: SOT 1932375329 SOS 428982759 HAS SOPS 428982759 HAS SOUS 276269023 HAS SOUPS 276269023 WITH SCORE 2.76698005759E8
AT ITER 9878 NEW BEST:: SOT 1932374044 SOS 428980189 HAS SOPS 428980189 HAS SOUS 276266453 HAS SOUPS 276266453 WITH SCORE 2.76695433189E8
AT ITER 9880 NEW BEST:: SOT 1932375973 SOS 428969230 HAS SOPS 428969230 HAS SOUS 276264407 HAS SOUPS 276264407 WITH SCORE 2.7669337623E8
AT ITER 9885 NEW BEST:: SOT 1932371967 SOS 428967223 HAS SOPS 428967223 HAS SOUS 276262403 HAS SOUPS 276262403 WITH SCORE 2.76691370223E8
AT ITER 9890 NEW BEST:: SOT 1932366087 SOS 428955463 HAS SOPS 428955463 HAS SOUS 276250643 HAS SOUPS 276250643 WITH SCORE 2.76679598463E8
AT ITER 9919 NEW BEST:: SOT 1932363331 SOS 428958216 HAS SOPS 428958216 HAS SOUS 276247886 HAS SOUPS 276247886 WITH SCORE 2.76676844216E8
AT ITER 9933 NEW BEST:: SOT 1932362658 SOS 428956870 HAS SOPS 428956870 HAS SOUS 276246540 HAS SOUPS 276246540 WITH SCORE 2.7667549687E8
AT ITER 9948 NEW BEST:: SOT 1932361368 SOS 428954290 HAS SOPS 428954290 HAS SOUS 276245250 HAS SOUPS 276245250 WITH SCORE 2.7667420429E8
AT ITER 9949 NEW BEST:: SOT 1932361368 SOS 428953444 HAS SOPS 428953444 HAS SOUS 276245250 HAS SOUPS 276245250 WITH SCORE 2.76674203444E8
AT ITER 9954 NEW BEST:: SOT 1932357099 SOS 428949171 HAS SOPS 428949171 HAS SOUS 276240980 HAS SOUPS 276240980 WITH SCORE 2.76669929171E8
AT ITER 9964 NEW BEST:: SOT 1932345147 SOS 428925267 HAS SOPS 428925267 HAS SOUS 276217076 HAS SOUPS 276217076 WITH SCORE 2.76646001267E8
AT ITER 9972 NEW BEST:: SOT 1932342530 SOS 428920033 HAS SOPS 428920033 HAS SOUS 276216693 HAS SOUPS 276216693 WITH SCORE 2.76645613033E8
AT ITER 9999 NEW BEST:: SOT 1932333757 SOS 428920032 HAS SOPS 428920032 HAS SOUS 276216692 HAS SOUPS 276216692 WITH SCORE 2.76645612032E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 12364556 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16113908 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-6b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814473000872"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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