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-167814472600600.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 DLCflexbar-PT-7b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.5K Feb 25 15:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 15:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 15:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 25 15:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 15:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 15:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 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 14M 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 1678253256658

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=DLCflexbar-PT-7b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 7b
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: 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 1 NEW BEST:: SOT 1309924259 SOS 308048817 HAS SOPS 308048817 HAS SOUS 177001810 HAS SOUPS 177001810 WITH SCORE 1.77309858817E8
AT ITER 28 NEW BEST:: SOT 1309912388 SOS 308044665 HAS SOPS 308044665 HAS SOUS 176990252 HAS SOUPS 176990252 WITH SCORE 1.77298296665E8
AT ITER 44 NEW BEST:: SOT 1309906324 SOS 308061981 HAS SOPS 308061981 HAS SOUS 176978123 HAS SOUPS 176978123 WITH SCORE 1.77286184981E8
AT ITER 47 NEW BEST:: SOT 1309895780 SOS 308051437 HAS SOPS 308051437 HAS SOUS 176967579 HAS SOUPS 176967579 WITH SCORE 1.77275630437E8
AT ITER 48 NEW BEST:: SOT 1309895779 SOS 308051435 HAS SOPS 308051435 HAS SOUS 176967577 HAS SOUPS 176967577 WITH SCORE 1.77275628435E8
AT ITER 79 NEW BEST:: SOT 1309895777 SOS 308051431 HAS SOPS 308051431 HAS SOUS 176967573 HAS SOUPS 176967573 WITH SCORE 1.77275624431E8
AT ITER 97 NEW BEST:: SOT 1309895777 SOS 308051431 HAS SOPS 308051431 HAS SOUS 176967567 HAS SOUPS 176967567 WITH SCORE 1.77275618431E8
AT ITER 104 NEW BEST:: SOT 1309895444 SOS 308050766 HAS SOPS 308050766 HAS SOUS 176966902 HAS SOUPS 176966902 WITH SCORE 1.77274952766E8
AT ITER 115 NEW BEST:: SOT 1309893848 SOS 308047574 HAS SOPS 308047574 HAS SOUS 176963710 HAS SOUPS 176963710 WITH SCORE 1.77271757574E8
AT ITER 151 NEW BEST:: SOT 1309885445 SOS 308039167 HAS SOPS 308039167 HAS SOUS 176955306 HAS SOUPS 176955306 WITH SCORE 1.77263345167E8
AT ITER 154 NEW BEST:: SOT 1309884903 SOS 308038083 HAS SOPS 308038083 HAS SOUS 176954763 HAS SOUPS 176954763 WITH SCORE 1.77262801083E8
AT ITER 161 NEW BEST:: SOT 1309884071 SOS 308036419 HAS SOPS 308036419 HAS SOUS 176947799 HAS SOUPS 176947799 WITH SCORE 1.77255835419E8
AT ITER 207 NEW BEST:: SOT 1309887802 SOS 308067022 HAS SOPS 308067022 HAS SOUS 176943688 HAS SOUPS 176943688 WITH SCORE 1.77251755022E8
AT ITER 216 NEW BEST:: SOT 1309886985 SOS 308065389 HAS SOPS 308065389 HAS SOUS 176942055 HAS SOUPS 176942055 WITH SCORE 1.77250120389E8
AT ITER 235 NEW BEST:: SOT 1309884290 SOS 308065385 HAS SOPS 308065385 HAS SOUS 176942054 HAS SOUPS 176942054 WITH SCORE 1.77250119385E8
AT ITER 267 NEW BEST:: SOT 1309883533 SOS 308065382 HAS SOPS 308065382 HAS SOUS 176942053 HAS SOUPS 176942053 WITH SCORE 1.77250118382E8
AT ITER 268 NEW BEST:: SOT 1309883533 SOS 308058050 HAS SOPS 308058050 HAS SOUS 176939609 HAS SOUPS 176939609 WITH SCORE 1.7724766705E8
AT ITER 332 NEW BEST:: SOT 1309886177 SOS 308063338 HAS SOPS 308063338 HAS SOUS 176938017 HAS SOUPS 176938017 WITH SCORE 1.77246080338E8
AT ITER 366 NEW BEST:: SOT 1309886177 SOS 308057203 HAS SOPS 308057203 HAS SOUS 176935972 HAS SOUPS 176935972 WITH SCORE 1.77244029203E8
AT ITER 409 NEW BEST:: SOT 1309883283 SOS 308051411 HAS SOPS 308051411 HAS SOUS 176930183 HAS SOUPS 176930183 WITH SCORE 1.77238234411E8
AT ITER 457 NEW BEST:: SOT 1309882146 SOS 308050274 HAS SOPS 308050274 HAS SOUS 176929046 HAS SOUPS 176929046 WITH SCORE 1.77237096274E8
AT ITER 471 NEW BEST:: SOT 1309876756 SOS 308047575 HAS SOPS 308047575 HAS SOUS 176926350 HAS SOUPS 176926350 WITH SCORE 1.77234397575E8
AT ITER 492 NEW BEST:: SOT 1309873839 SOS 308053409 HAS SOPS 308053409 HAS SOUS 176923433 HAS SOUPS 176923433 WITH SCORE 1.77231486409E8
AT ITER 529 NEW BEST:: SOT 1309873839 SOS 308053685 HAS SOPS 308053685 HAS SOUS 176923432 HAS SOUPS 176923432 WITH SCORE 1.77231485685E8
AT ITER 577 NEW BEST:: SOT 1309873839 SOS 308046242 HAS SOPS 308046242 HAS SOUS 176920951 HAS SOUPS 176920951 WITH SCORE 1.77228997242E8
AT ITER 599 NEW BEST:: SOT 1309866817 SOS 308035709 HAS SOPS 308035709 HAS SOUS 176913929 HAS SOUPS 176913929 WITH SCORE 1.77221964709E8
AT ITER 606 NEW BEST:: SOT 1309860854 SOS 308031261 HAS SOPS 308031261 HAS SOUS 176909481 HAS SOUPS 176909481 WITH SCORE 1.77217512261E8
AT ITER 618 NEW BEST:: SOT 1309855421 SOS 308025824 HAS SOPS 308025824 HAS SOUS 176904047 HAS SOUPS 176904047 WITH SCORE 1.77212072824E8
AT ITER 641 NEW BEST:: SOT 1309855421 SOS 308017961 HAS SOPS 308017961 HAS SOUS 176901426 HAS SOUPS 176901426 WITH SCORE 1.77209443961E8
AT ITER 706 NEW BEST:: SOT 1309854647 SOS 308017187 HAS SOPS 308017187 HAS SOUS 176900652 HAS SOUPS 176900652 WITH SCORE 1.77208669187E8
AT ITER 732 NEW BEST:: SOT 1309853560 SOS 308015013 HAS SOPS 308015013 HAS SOUS 176898478 HAS SOUPS 176898478 WITH SCORE 1.77206493013E8
AT ITER 737 NEW BEST:: SOT 1309841104 SOS 307999781 HAS SOPS 307999781 HAS SOUS 176879793 HAS SOUPS 176879793 WITH SCORE 1.77187792781E8
AT ITER 744 NEW BEST:: SOT 1309841093 SOS 308012086 HAS SOPS 308012086 HAS SOUS 176879770 HAS SOUPS 176879770 WITH SCORE 1.77187782086E8
AT ITER 745 NEW BEST:: SOT 1309841092 SOS 308012085 HAS SOPS 308012085 HAS SOUS 176879769 HAS SOUPS 176879769 WITH SCORE 1.77187781085E8
AT ITER 765 NEW BEST:: SOT 1309840311 SOS 308010523 HAS SOPS 308010523 HAS SOUS 176878207 HAS SOUPS 176878207 WITH SCORE 1.77186217523E8
AT ITER 774 NEW BEST:: SOT 1309834960 SOS 308005168 HAS SOPS 308005168 HAS SOUS 176872855 HAS SOUPS 176872855 WITH SCORE 1.77180860168E8
AT ITER 837 NEW BEST:: SOT 1309833110 SOS 308008864 HAS SOPS 308008864 HAS SOUS 176871004 HAS SOUPS 176871004 WITH SCORE 1.77179012864E8
AT ITER 882 NEW BEST:: SOT 1309829474 SOS 308012497 HAS SOPS 308012497 HAS SOUS 176867367 HAS SOUPS 176867367 WITH SCORE 1.77175379497E8
AT ITER 948 NEW BEST:: SOT 1309823222 SOS 308012487 HAS SOPS 308012487 HAS SOUS 176864840 HAS SOUPS 176864840 WITH SCORE 1.77172852487E8
AT ITER 991 NEW BEST:: SOT 1309823222 SOS 308011773 HAS SOPS 308011773 HAS SOUS 176864126 HAS SOUPS 176864126 WITH SCORE 1.77172137773E8
AT ITER 997 NEW BEST:: SOT 1309816981 SOS 308008527 HAS SOPS 308008527 HAS SOUS 176860879 HAS SOUPS 176860879 WITH SCORE 1.77168887527E8
AT ITER 1007 NEW BEST:: SOT 1309812500 SOS 308039894 HAS SOPS 308039894 HAS SOUS 176856398 HAS SOUPS 176856398 WITH SCORE 1.77164437894E8
AT ITER 1009 NEW BEST:: SOT 1309810318 SOS 308035530 HAS SOPS 308035530 HAS SOUS 176854215 HAS SOUPS 176854215 WITH SCORE 1.7716225053E8
AT ITER 1011 NEW BEST:: SOT 1309810317 SOS 308035528 HAS SOPS 308035528 HAS SOUS 176854213 HAS SOUPS 176854213 WITH SCORE 1.77162248528E8
AT ITER 1044 NEW BEST:: SOT 1309808016 SOS 308030926 HAS SOPS 308030926 HAS SOUS 176849611 HAS SOUPS 176849611 WITH SCORE 1.77157641926E8
AT ITER 1056 NEW BEST:: SOT 1309808016 SOS 308028301 HAS SOPS 308028301 HAS SOUS 176848736 HAS SOUPS 176848736 WITH SCORE 1.77156764301E8
AT ITER 1096 NEW BEST:: SOT 1309805144 SOS 308031173 HAS SOPS 308031173 HAS SOUS 176846801 HAS SOUPS 176846801 WITH SCORE 1.77154832173E8
AT ITER 1104 NEW BEST:: SOT 1309805263 SOS 308031411 HAS SOPS 308031411 HAS SOUS 176834343 HAS SOUPS 176834343 WITH SCORE 1.77142374411E8
AT ITER 1108 NEW BEST:: SOT 1309801021 SOS 308046951 HAS SOPS 308046951 HAS SOUS 176831983 HAS SOUPS 176831983 WITH SCORE 1.77140029951E8
AT ITER 1141 NEW BEST:: SOT 1309800243 SOS 308046562 HAS SOPS 308046562 HAS SOUS 176831594 HAS SOUPS 176831594 WITH SCORE 1.77139640562E8
AT ITER 1151 NEW BEST:: SOT 1309798328 SOS 308042732 HAS SOPS 308042732 HAS SOUS 176827764 HAS SOUPS 176827764 WITH SCORE 1.77135806732E8
AT ITER 1198 NEW BEST:: SOT 1309793155 SOS 308042722 HAS SOPS 308042722 HAS SOUS 176824327 HAS SOUPS 176824327 WITH SCORE 1.77132369722E8
AT ITER 1266 NEW BEST:: SOT 1309787659 SOS 308031730 HAS SOPS 308031730 HAS SOUS 176813335 HAS SOUPS 176813335 WITH SCORE 1.7712136673E8
AT ITER 1357 NEW BEST:: SOT 1309784223 SOS 308055772 HAS SOPS 308055772 HAS SOUS 176806462 HAS SOUPS 176806462 WITH SCORE 1.77114517772E8
AT ITER 1386 NEW BEST:: SOT 1309780455 SOS 308098950 HAS SOPS 308098950 HAS SOUS 176798925 HAS SOUPS 176798925 WITH SCORE 1.7710702395E8
AT ITER 1408 NEW BEST:: SOT 1309777593 SOS 308112334 HAS SOPS 308112334 HAS SOUS 176798092 HAS SOUPS 176798092 WITH SCORE 1.77106204334E8
AT ITER 1426 NEW BEST:: SOT 1309777593 SOS 308112334 HAS SOPS 308112334 HAS SOUS 176786520 HAS SOUPS 176786520 WITH SCORE 1.77094632334E8
AT ITER 1452 NEW BEST:: SOT 1309777593 SOS 308112334 HAS SOPS 308112334 HAS SOUS 176786514 HAS SOUPS 176786514 WITH SCORE 1.77094626334E8
AT ITER 1466 NEW BEST:: SOT 1309776458 SOS 308110064 HAS SOPS 308110064 HAS SOUS 176784244 HAS SOUPS 176784244 WITH SCORE 1.77092354064E8
AT ITER 1470 NEW BEST:: SOT 1309776458 SOS 308102786 HAS SOPS 308102786 HAS SOUS 176780605 HAS SOUPS 176780605 WITH SCORE 1.77088707786E8
AT ITER 1519 NEW BEST:: SOT 1309772193 SOS 308107048 HAS SOPS 308107048 HAS SOUS 176776339 HAS SOUPS 176776339 WITH SCORE 1.77084446048E8
AT ITER 1529 NEW BEST:: SOT 1309768814 SOS 308068273 HAS SOPS 308068273 HAS SOUS 176767394 HAS SOUPS 176767394 WITH SCORE 1.77075462273E8
AT ITER 1538 NEW BEST:: SOT 1309768427 SOS 308067499 HAS SOPS 308067499 HAS SOUS 176766620 HAS SOUPS 176766620 WITH SCORE 1.77074687499E8
AT ITER 1550 NEW BEST:: SOT 1309763348 SOS 308042104 HAS SOPS 308042104 HAS SOUS 176756462 HAS SOUPS 176756462 WITH SCORE 1.77064504104E8
AT ITER 1594 NEW BEST:: SOT 1309753786 SOS 308032538 HAS SOPS 308032538 HAS SOUS 176746899 HAS SOUPS 176746899 WITH SCORE 1.77054931538E8
AT ITER 1595 NEW BEST:: SOT 1309752662 SOS 308032537 HAS SOPS 308032537 HAS SOUS 176746898 HAS SOUPS 176746898 WITH SCORE 1.77054930537E8
AT ITER 1634 NEW BEST:: SOT 1309747748 SOS 308066935 HAS SOPS 308066935 HAS SOUS 176741984 HAS SOUPS 176741984 WITH SCORE 1.77050050935E8
AT ITER 1646 NEW BEST:: SOT 1309746803 SOS 308065045 HAS SOPS 308065045 HAS SOUS 176740094 HAS SOUPS 176740094 WITH SCORE 1.77048159045E8
AT ITER 1648 NEW BEST:: SOT 1309739560 SOS 308057798 HAS SOPS 308057798 HAS SOUS 176732850 HAS SOUPS 176732850 WITH SCORE 1.77040907798E8
AT ITER 1679 NEW BEST:: SOT 1309739560 SOS 308047055 HAS SOPS 308047055 HAS SOUS 176729269 HAS SOUPS 176729269 WITH SCORE 1.77037316055E8
AT ITER 1680 NEW BEST:: SOT 1309738101 SOS 308049969 HAS SOPS 308049969 HAS SOUS 176727809 HAS SOUPS 176727809 WITH SCORE 1.77035858969E8
AT ITER 1685 NEW BEST:: SOT 1309731876 SOS 308043740 HAS SOPS 308043740 HAS SOUS 176721583 HAS SOUPS 176721583 WITH SCORE 1.7702962674E8
AT ITER 1698 NEW BEST:: SOT 1309723392 SOS 308036341 HAS SOPS 308036341 HAS SOUS 176713099 HAS SOUPS 176713099 WITH SCORE 1.77021135341E8
AT ITER 1699 NEW BEST:: SOT 1309721278 SOS 308034225 HAS SOPS 308034225 HAS SOUS 176710983 HAS SOUPS 176710983 WITH SCORE 1.77019017225E8
AT ITER 1701 NEW BEST:: SOT 1309710428 SOS 308024870 HAS SOPS 308024870 HAS SOUS 176700882 HAS SOUPS 176700882 WITH SCORE 1.7700890687E8
AT ITER 1759 NEW BEST:: SOT 1309709373 SOS 308022760 HAS SOPS 308022760 HAS SOUS 176698772 HAS SOUPS 176698772 WITH SCORE 1.7700679476E8
AT ITER 1781 NEW BEST:: SOT 1309709373 SOS 308021886 HAS SOPS 308021886 HAS SOUS 176698335 HAS SOUPS 176698335 WITH SCORE 1.77006356886E8
AT ITER 1802 NEW BEST:: SOT 1309709372 SOS 308021884 HAS SOPS 308021884 HAS SOUS 176698333 HAS SOUPS 176698333 WITH SCORE 1.77006354884E8
AT ITER 1803 NEW BEST:: SOT 1309696894 SOS 307996928 HAS SOPS 307996928 HAS SOUS 176673377 HAS SOUPS 176673377 WITH SCORE 1.76981373928E8
AT ITER 1825 NEW BEST:: SOT 1309694570 SOS 307994604 HAS SOPS 307994604 HAS SOUS 176668729 HAS SOUPS 176668729 WITH SCORE 1.76976723604E8
AT ITER 1857 NEW BEST:: SOT 1309687957 SOS 307987991 HAS SOPS 307987991 HAS SOUS 176662116 HAS SOUPS 176662116 WITH SCORE 1.76970103991E8
AT ITER 1875 NEW BEST:: SOT 1309685259 SOS 307982596 HAS SOPS 307982596 HAS SOUS 176656721 HAS SOUPS 176656721 WITH SCORE 1.76964703596E8
AT ITER 1924 NEW BEST:: SOT 1309680513 SOS 307977846 HAS SOPS 307977846 HAS SOUS 176651974 HAS SOUPS 176651974 WITH SCORE 1.76959951846E8
AT ITER 1948 NEW BEST:: SOT 1309678430 SOS 307976669 HAS SOPS 307976669 HAS SOUS 176650345 HAS SOUPS 176650345 WITH SCORE 1.76958321669E8
AT ITER 1957 NEW BEST:: SOT 1309678430 SOS 307976669 HAS SOPS 307976669 HAS SOUS 176650344 HAS SOUPS 176650344 WITH SCORE 1.76958320669E8
AT ITER 1962 NEW BEST:: SOT 1309678429 SOS 307976667 HAS SOPS 307976667 HAS SOUS 176650342 HAS SOUPS 176650342 WITH SCORE 1.76958318667E8
AT ITER 1972 NEW BEST:: SOT 1309672045 SOS 307970973 HAS SOPS 307970973 HAS SOUS 176637269 HAS SOUPS 176637269 WITH SCORE 1.76945239973E8
AT ITER 1979 NEW BEST:: SOT 1309672045 SOS 307965711 HAS SOPS 307965711 HAS SOUS 176635515 HAS SOUPS 176635515 WITH SCORE 1.76943480711E8
AT ITER 2008 NEW BEST:: SOT 1309672045 SOS 307966606 HAS SOPS 307966606 HAS SOUS 176635514 HAS SOUPS 176635514 WITH SCORE 1.76943480606E8
AT ITER 2110 NEW BEST:: SOT 1309675312 SOS 307966604 HAS SOPS 307966604 HAS SOUS 176635513 HAS SOUPS 176635513 WITH SCORE 1.76943479604E8
AT ITER 2129 NEW BEST:: SOT 1309668852 SOS 307960336 HAS SOPS 307960336 HAS SOUS 176629053 HAS SOUPS 176629053 WITH SCORE 1.76937013336E8
AT ITER 2181 NEW BEST:: SOT 1309663659 SOS 307965516 HAS SOPS 307965516 HAS SOUS 176623858 HAS SOUPS 176623858 WITH SCORE 1.76931823516E8
AT ITER 2205 NEW BEST:: SOT 1309661614 SOS 307961426 HAS SOPS 307961426 HAS SOUS 176619768 HAS SOUPS 176619768 WITH SCORE 1.76927729426E8
AT ITER 2232 NEW BEST:: SOT 1309658725 SOS 307967196 HAS SOPS 307967196 HAS SOUS 176616877 HAS SOUPS 176616877 WITH SCORE 1.76924844196E8
AT ITER 2242 NEW BEST:: SOT 1309658725 SOS 307967196 HAS SOPS 307967196 HAS SOUS 176616876 HAS SOUPS 176616876 WITH SCORE 1.76924843196E8
AT ITER 2252 NEW BEST:: SOT 1309656637 SOS 307967192 HAS SOPS 307967192 HAS SOUS 176616875 HAS SOUPS 176616875 WITH SCORE 1.76924842192E8
AT ITER 2256 NEW BEST:: SOT 1309656636 SOS 307967191 HAS SOPS 307967191 HAS SOUS 176616874 HAS SOUPS 176616874 WITH SCORE 1.76924841191E8
AT ITER 2282 NEW BEST:: SOT 1309656636 SOS 307965798 HAS SOPS 307965798 HAS SOUS 176616874 HAS SOUPS 176616874 WITH SCORE 1.76924839798E8
AT ITER 2292 NEW BEST:: SOT 1309654039 SOS 307960604 HAS SOPS 307960604 HAS SOUS 176616835 HAS SOUPS 176616835 WITH SCORE 1.76924795604E8
AT ITER 2314 NEW BEST:: SOT 1309638920 SOS 307972854 HAS SOPS 307972854 HAS SOUS 176616330 HAS SOUPS 176616330 WITH SCORE 1.76924302854E8
AT ITER 2320 NEW BEST:: SOT 1309635954 SOS 307966922 HAS SOPS 307966922 HAS SOUS 176610398 HAS SOUPS 176610398 WITH SCORE 1.76918364922E8
AT ITER 2349 NEW BEST:: SOT 1309640084 SOS 307998825 HAS SOPS 307998825 HAS SOUS 176606834 HAS SOUPS 176606834 WITH SCORE 1.76914832825E8
AT ITER 2351 NEW BEST:: SOT 1309636190 SOS 307991033 HAS SOPS 307991033 HAS SOUS 176601095 HAS SOUPS 176601095 WITH SCORE 1.76909086033E8
AT ITER 2368 NEW BEST:: SOT 1309633689 SOS 307986031 HAS SOPS 307986031 HAS SOUS 176596093 HAS SOUPS 176596093 WITH SCORE 1.76904079031E8
AT ITER 2379 NEW BEST:: SOT 1309636149 SOS 308017026 HAS SOPS 308017026 HAS SOUS 176592319 HAS SOUPS 176592319 WITH SCORE 1.76900336026E8
AT ITER 2398 NEW BEST:: SOT 1309636149 SOS 308014920 HAS SOPS 308014920 HAS SOUS 176591617 HAS SOUPS 176591617 WITH SCORE 1.7689963192E8
AT ITER 2399 NEW BEST:: SOT 1309630284 SOS 308009051 HAS SOPS 308009051 HAS SOUS 176585751 HAS SOUPS 176585751 WITH SCORE 1.76893760051E8
AT ITER 2400 NEW BEST:: SOT 1309629676 SOS 308013895 HAS SOPS 308013895 HAS SOUS 176585141 HAS SOUPS 176585141 WITH SCORE 1.76893154895E8
AT ITER 2476 NEW BEST:: SOT 1309617262 SOS 307989067 HAS SOPS 307989067 HAS SOUS 176560313 HAS SOUPS 176560313 WITH SCORE 1.76868302067E8
AT ITER 2505 NEW BEST:: SOT 1309617261 SOS 307989065 HAS SOPS 307989065 HAS SOUS 176560311 HAS SOUPS 176560311 WITH SCORE 1.76868300065E8
AT ITER 2518 NEW BEST:: SOT 1309615826 SOS 307987630 HAS SOPS 307987630 HAS SOUS 176558876 HAS SOUPS 176558876 WITH SCORE 1.7686686363E8
AT ITER 2537 NEW BEST:: SOT 1309615825 SOS 307987628 HAS SOPS 307987628 HAS SOUS 176558874 HAS SOUPS 176558874 WITH SCORE 1.76866861628E8
AT ITER 2541 NEW BEST:: SOT 1309607258 SOS 307979057 HAS SOPS 307979057 HAS SOUS 176550306 HAS SOUPS 176550306 WITH SCORE 1.76858285057E8
AT ITER 2585 NEW BEST:: SOT 1309602703 SOS 308010942 HAS SOPS 308010942 HAS SOUS 176545751 HAS SOUPS 176545751 WITH SCORE 1.76853761942E8
AT ITER 2597 NEW BEST:: SOT 1309597267 SOS 308048994 HAS SOPS 308048994 HAS SOUS 176540315 HAS SOUPS 176540315 WITH SCORE 1.76848363994E8
AT ITER 2628 NEW BEST:: SOT 1309587283 SOS 308039010 HAS SOPS 308039010 HAS SOUS 176530331 HAS SOUPS 176530331 WITH SCORE 1.7683837001E8
AT ITER 2646 NEW BEST:: SOT 1309589022 SOS 308023240 HAS SOPS 308023240 HAS SOUS 176526523 HAS SOUPS 176526523 WITH SCORE 1.7683454624E8
AT ITER 2667 NEW BEST:: SOT 1309588075 SOS 308021346 HAS SOPS 308021346 HAS SOUS 176524629 HAS SOUPS 176524629 WITH SCORE 1.76832650346E8
AT ITER 2689 NEW BEST:: SOT 1309588075 SOS 308021346 HAS SOPS 308021346 HAS SOUS 176514590 HAS SOUPS 176514590 WITH SCORE 1.76822611346E8
AT ITER 2696 NEW BEST:: SOT 1309588075 SOS 308009559 HAS SOPS 308009559 HAS SOUS 176510661 HAS SOUPS 176510661 WITH SCORE 1.76818670559E8
AT ITER 2721 NEW BEST:: SOT 1309585403 SOS 308004215 HAS SOPS 308004215 HAS SOUS 176510169 HAS SOUPS 176510169 WITH SCORE 1.76818173215E8
AT ITER 2722 NEW BEST:: SOT 1309585264 SOS 308003937 HAS SOPS 308003937 HAS SOUS 176509891 HAS SOUPS 176509891 WITH SCORE 1.76817894937E8
AT ITER 2757 NEW BEST:: SOT 1309580295 SOS 307993999 HAS SOPS 307993999 HAS SOUS 176499953 HAS SOUPS 176499953 WITH SCORE 1.76807946999E8
AT ITER 2770 NEW BEST:: SOT 1309564251 SOS 307984745 HAS SOPS 307984745 HAS SOUS 176490384 HAS SOUPS 176490384 WITH SCORE 1.76798368745E8
AT ITER 2787 NEW BEST:: SOT 1309563649 SOS 307982337 HAS SOPS 307982337 HAS SOUS 176489782 HAS SOUPS 176489782 WITH SCORE 1.76797764337E8
AT ITER 2793 NEW BEST:: SOT 1309563649 SOS 307973676 HAS SOPS 307973676 HAS SOUS 176489781 HAS SOUPS 176489781 WITH SCORE 1.76797754676E8
AT ITER 2837 NEW BEST:: SOT 1309559595 SOS 307977730 HAS SOPS 307977730 HAS SOUS 176488024 HAS SOUPS 176488024 WITH SCORE 1.7679600173E8
AT ITER 2838 NEW BEST:: SOT 1309557937 SOS 307974414 HAS SOPS 307974414 HAS SOUS 176484708 HAS SOUPS 176484708 WITH SCORE 1.76792682414E8
AT ITER 2864 NEW BEST:: SOT 1309546552 SOS 307963029 HAS SOPS 307963029 HAS SOUS 176461938 HAS SOUPS 176461938 WITH SCORE 1.76769901029E8
AT ITER 2880 NEW BEST:: SOT 1309543523 SOS 307969079 HAS SOPS 307969079 HAS SOUS 176458907 HAS SOUPS 176458907 WITH SCORE 1.76766876079E8
AT ITER 2924 NEW BEST:: SOT 1309537738 SOS 307963294 HAS SOPS 307963294 HAS SOUS 176453122 HAS SOUPS 176453122 WITH SCORE 1.76761085294E8
AT ITER 2934 NEW BEST:: SOT 1309532207 SOS 307952232 HAS SOPS 307952232 HAS SOUS 176442060 HAS SOUPS 176442060 WITH SCORE 1.76750012232E8
AT ITER 3004 NEW BEST:: SOT 1309530284 SOS 307948386 HAS SOPS 307948386 HAS SOUS 176437696 HAS SOUPS 176437696 WITH SCORE 1.76745644386E8
AT ITER 3061 NEW BEST:: SOT 1309527254 SOS 307945356 HAS SOPS 307945356 HAS SOUS 176434666 HAS SOUPS 176434666 WITH SCORE 1.76742611356E8
AT ITER 3078 NEW BEST:: SOT 1309526250 SOS 307945352 HAS SOPS 307945352 HAS SOUS 176434163 HAS SOUPS 176434163 WITH SCORE 1.76742108352E8
AT ITER 3081 NEW BEST:: SOT 1309520561 SOS 307927991 HAS SOPS 307927991 HAS SOUS 176425556 HAS SOUPS 176425556 WITH SCORE 1.76733483991E8
AT ITER 3084 NEW BEST:: SOT 1309514456 SOS 307923608 HAS SOPS 307923608 HAS SOUS 176421172 HAS SOUPS 176421172 WITH SCORE 1.76729095608E8
AT ITER 3100 NEW BEST:: SOT 1309514456 SOS 307947998 HAS SOPS 307947998 HAS SOUS 176418132 HAS SOUPS 176418132 WITH SCORE 1.76726079998E8
AT ITER 3140 NEW BEST:: SOT 1309514456 SOS 307947998 HAS SOPS 307947998 HAS SOUS 176416382 HAS SOUPS 176416382 WITH SCORE 1.76724329998E8
AT ITER 3154 NEW BEST:: SOT 1309514072 SOS 307948762 HAS SOPS 307948762 HAS SOUS 176415997 HAS SOUPS 176415997 WITH SCORE 1.76723945762E8
AT ITER 3156 NEW BEST:: SOT 1309514072 SOS 307942735 HAS SOPS 307942735 HAS SOUS 176413988 HAS SOUPS 176413988 WITH SCORE 1.76721930735E8
AT ITER 3183 NEW BEST:: SOT 1309511691 SOS 307942731 HAS SOPS 307942731 HAS SOUS 176413987 HAS SOUPS 176413987 WITH SCORE 1.76721929731E8
AT ITER 3278 NEW BEST:: SOT 1309506013 SOS 307939427 HAS SOPS 307939427 HAS SOUS 176409498 HAS SOUPS 176409498 WITH SCORE 1.76717437427E8
AT ITER 3293 NEW BEST:: SOT 1309500613 SOS 307934027 HAS SOPS 307934027 HAS SOUS 176404098 HAS SOUPS 176404098 WITH SCORE 1.76712032027E8
AT ITER 3294 NEW BEST:: SOT 1309500613 SOS 307934027 HAS SOPS 307934027 HAS SOUS 176401771 HAS SOUPS 176401771 WITH SCORE 1.76709705027E8
AT ITER 3303 NEW BEST:: SOT 1309500613 SOS 307919357 HAS SOPS 307919357 HAS SOUS 176401770 HAS SOUPS 176401770 WITH SCORE 1.76709689357E8
AT ITER 3362 NEW BEST:: SOT 1309498919 SOS 307915969 HAS SOPS 307915969 HAS SOUS 176398382 HAS SOUPS 176398382 WITH SCORE 1.76706297969E8
AT ITER 3363 NEW BEST:: SOT 1309491915 SOS 307901961 HAS SOPS 307901961 HAS SOUS 176382281 HAS SOUPS 176382281 WITH SCORE 1.76690182961E8
AT ITER 3368 NEW BEST:: SOT 1309491915 SOS 307900258 HAS SOPS 307900258 HAS SOUS 176382281 HAS SOUPS 176382281 WITH SCORE 1.76690181258E8
AT ITER 3386 NEW BEST:: SOT 1309491915 SOS 307885279 HAS SOPS 307885279 HAS SOUS 176382280 HAS SOUPS 176382280 WITH SCORE 1.76690165279E8
AT ITER 3389 NEW BEST:: SOT 1309491915 SOS 307882698 HAS SOPS 307882698 HAS SOUS 176382280 HAS SOUPS 176382280 WITH SCORE 1.76690162698E8
AT ITER 3397 NEW BEST:: SOT 1309482462 SOS 307892151 HAS SOPS 307892151 HAS SOUS 176372827 HAS SOUPS 176372827 WITH SCORE 1.76680719151E8
AT ITER 3398 NEW BEST:: SOT 1309482462 SOS 307886325 HAS SOPS 307886325 HAS SOUS 176371336 HAS SOUPS 176371336 WITH SCORE 1.76679222325E8
AT ITER 3420 NEW BEST:: SOT 1309483439 SOS 307877635 HAS SOPS 307877635 HAS SOUS 176369253 HAS SOUPS 176369253 WITH SCORE 1.76677130635E8
AT ITER 3437 NEW BEST:: SOT 1309482955 SOS 307877393 HAS SOPS 307877393 HAS SOUS 176369011 HAS SOUPS 176369011 WITH SCORE 1.76676888393E8
AT ITER 3441 NEW BEST:: SOT 1309482955 SOS 307877393 HAS SOPS 307877393 HAS SOUS 176369010 HAS SOUPS 176369010 WITH SCORE 1.76676887393E8
AT ITER 3447 NEW BEST:: SOT 1309482955 SOS 307877393 HAS SOPS 307877393 HAS SOUS 176369009 HAS SOUPS 176369009 WITH SCORE 1.76676886393E8
AT ITER 3477 NEW BEST:: SOT 1309480693 SOS 307872869 HAS SOPS 307872869 HAS SOUS 176364485 HAS SOUPS 176364485 WITH SCORE 1.76672357869E8
AT ITER 3485 NEW BEST:: SOT 1309472358 SOS 307865603 HAS SOPS 307865603 HAS SOUS 176356150 HAS SOUPS 176356150 WITH SCORE 1.76664015603E8
AT ITER 3507 NEW BEST:: SOT 1309471897 SOS 307864681 HAS SOPS 307864681 HAS SOUS 176355689 HAS SOUPS 176355689 WITH SCORE 1.76663553681E8
AT ITER 3550 NEW BEST:: SOT 1309467630 SOS 307864677 HAS SOPS 307864677 HAS SOUS 176351421 HAS SOUPS 176351421 WITH SCORE 1.76659285677E8
AT ITER 3564 NEW BEST:: SOT 1309465650 SOS 307860717 HAS SOPS 307860717 HAS SOUS 176348668 HAS SOUPS 176348668 WITH SCORE 1.76656528717E8
AT ITER 3588 NEW BEST:: SOT 1309460991 SOS 307858764 HAS SOPS 307858764 HAS SOUS 176346715 HAS SOUPS 176346715 WITH SCORE 1.76654573764E8
AT ITER 3593 NEW BEST:: SOT 1309459689 SOS 307856160 HAS SOPS 307856160 HAS SOUS 176345412 HAS SOUPS 176345412 WITH SCORE 1.7665326816E8
AT ITER 3613 NEW BEST:: SOT 1309463160 SOS 307885937 HAS SOPS 307885937 HAS SOUS 176340934 HAS SOUPS 176340934 WITH SCORE 1.76648819937E8
AT ITER 3618 NEW BEST:: SOT 1309457810 SOS 307883079 HAS SOPS 307883079 HAS SOUS 176338076 HAS SOUPS 176338076 WITH SCORE 1.76645959079E8
AT ITER 3637 NEW BEST:: SOT 1309457689 SOS 307882837 HAS SOPS 307882837 HAS SOUS 176337955 HAS SOUPS 176337955 WITH SCORE 1.76645837837E8
AT ITER 3644 NEW BEST:: SOT 1309460753 SOS 307899756 HAS SOPS 307899756 HAS SOUS 176334869 HAS SOUPS 176334869 WITH SCORE 1.76642768756E8
AT ITER 3651 NEW BEST:: SOT 1309459529 SOS 307897308 HAS SOPS 307897308 HAS SOUS 176334530 HAS SOUPS 176334530 WITH SCORE 1.76642427308E8
AT ITER 3664 NEW BEST:: SOT 1309459211 SOS 307896672 HAS SOPS 307896672 HAS SOUS 176333894 HAS SOUPS 176333894 WITH SCORE 1.76641790672E8
AT ITER 3667 NEW BEST:: SOT 1309462302 SOS 307882697 HAS SOPS 307882697 HAS SOUS 176331811 HAS SOUPS 176331811 WITH SCORE 1.76639693697E8
AT ITER 3698 NEW BEST:: SOT 1309462302 SOS 307871819 HAS SOPS 307871819 HAS SOUS 176328185 HAS SOUPS 176328185 WITH SCORE 1.76636056819E8
AT ITER 3709 NEW BEST:: SOT 1309462302 SOS 307864529 HAS SOPS 307864529 HAS SOUS 176325755 HAS SOUPS 176325755 WITH SCORE 1.76633619529E8
AT ITER 3714 NEW BEST:: SOT 1309459018 SOS 307876361 HAS SOPS 307876361 HAS SOUS 176324055 HAS SOUPS 176324055 WITH SCORE 1.76631931361E8
AT ITER 3729 NEW BEST:: SOT 1309458916 SOS 307876157 HAS SOPS 307876157 HAS SOUS 176323851 HAS SOUPS 176323851 WITH SCORE 1.76631727157E8
AT ITER 3746 NEW BEST:: SOT 1309457088 SOS 307888953 HAS SOPS 307888953 HAS SOUS 176322023 HAS SOUPS 176322023 WITH SCORE 1.76629911953E8
AT ITER 3756 NEW BEST:: SOT 1309456517 SOS 307887811 HAS SOPS 307887811 HAS SOUS 176321452 HAS SOUPS 176321452 WITH SCORE 1.76629339811E8
AT ITER 3762 NEW BEST:: SOT 1309454632 SOS 307884041 HAS SOPS 307884041 HAS SOUS 176319566 HAS SOUPS 176319566 WITH SCORE 1.76627450041E8
AT ITER 3805 NEW BEST:: SOT 1309450313 SOS 307875403 HAS SOPS 307875403 HAS SOUS 176310928 HAS SOUPS 176310928 WITH SCORE 1.76618803403E8
AT ITER 3823 NEW BEST:: SOT 1309448645 SOS 307882453 HAS SOPS 307882453 HAS SOUS 176309260 HAS SOUPS 176309260 WITH SCORE 1.76617142453E8
AT ITER 3824 NEW BEST:: SOT 1309448645 SOS 307877962 HAS SOPS 307877962 HAS SOUS 176307949 HAS SOUPS 176307949 WITH SCORE 1.76615826962E8
AT ITER 3827 NEW BEST:: SOT 1309448645 SOS 307876354 HAS SOPS 307876354 HAS SOUS 176307949 HAS SOUPS 176307949 WITH SCORE 1.76615825354E8
AT ITER 3857 NEW BEST:: SOT 1309445193 SOS 307869450 HAS SOPS 307869450 HAS SOUS 176301045 HAS SOUPS 176301045 WITH SCORE 1.7660891445E8
AT ITER 3882 NEW BEST:: SOT 1309445193 SOS 307884173 HAS SOPS 307884173 HAS SOUS 176296135 HAS SOUPS 176296135 WITH SCORE 1.76604019173E8
AT ITER 3885 NEW BEST:: SOT 1309445193 SOS 307870154 HAS SOPS 307870154 HAS SOUS 176296135 HAS SOUPS 176296135 WITH SCORE 1.76604005154E8
AT ITER 3887 NEW BEST:: SOT 1309441122 SOS 307867770 HAS SOPS 307867770 HAS SOUS 176292414 HAS SOUPS 176292414 WITH SCORE 1.7660028177E8
AT ITER 3913 NEW BEST:: SOT 1309440962 SOS 307867451 HAS SOPS 307867451 HAS SOUS 176292095 HAS SOUPS 176292095 WITH SCORE 1.76599962451E8
AT ITER 3944 NEW BEST:: SOT 1309439598 SOS 307864723 HAS SOPS 307864723 HAS SOUS 176290731 HAS SOUPS 176290731 WITH SCORE 1.76598595723E8
AT ITER 3965 NEW BEST:: SOT 1309439598 SOS 307855639 HAS SOPS 307855639 HAS SOUS 176287703 HAS SOUPS 176287703 WITH SCORE 1.76595558639E8
AT ITER 3968 NEW BEST:: SOT 1309427899 SOS 307884061 HAS SOPS 307884061 HAS SOUS 176285028 HAS SOUPS 176285028 WITH SCORE 1.76592912061E8
AT ITER 3969 NEW BEST:: SOT 1309431208 SOS 307870306 HAS SOPS 307870306 HAS SOUS 176283200 HAS SOUPS 176283200 WITH SCORE 1.76591070306E8
AT ITER 4046 NEW BEST:: SOT 1309428117 SOS 307873394 HAS SOPS 307873394 HAS SOUS 176280108 HAS SOUPS 176280108 WITH SCORE 1.76587981394E8
AT ITER 4053 NEW BEST:: SOT 1309424983 SOS 307871588 HAS SOPS 307871588 HAS SOUS 176278302 HAS SOUPS 176278302 WITH SCORE 1.76586173588E8
AT ITER 4079 NEW BEST:: SOT 1309424980 SOS 307871582 HAS SOPS 307871582 HAS SOUS 176278296 HAS SOUPS 176278296 WITH SCORE 1.76586167582E8
AT ITER 4126 NEW BEST:: SOT 1309417212 SOS 307863814 HAS SOPS 307863814 HAS SOUS 176270528 HAS SOUPS 176270528 WITH SCORE 1.76578391814E8
AT ITER 4167 NEW BEST:: SOT 1309416763 SOS 307862916 HAS SOPS 307862916 HAS SOUS 176269630 HAS SOUPS 176269630 WITH SCORE 1.76577492916E8
AT ITER 4179 NEW BEST:: SOT 1309416760 SOS 307862910 HAS SOPS 307862910 HAS SOUS 176269624 HAS SOUPS 176269624 WITH SCORE 1.7657748691E8
AT ITER 4185 NEW BEST:: SOT 1309413823 SOS 307857036 HAS SOPS 307857036 HAS SOUS 176268343 HAS SOUPS 176268343 WITH SCORE 1.76576200036E8
AT ITER 4198 NEW BEST:: SOT 1309411716 SOS 307852822 HAS SOPS 307852822 HAS SOUS 176264129 HAS SOUPS 176264129 WITH SCORE 1.76571981822E8
AT ITER 4204 NEW BEST:: SOT 1309410054 SOS 307856142 HAS SOPS 307856142 HAS SOUS 176262466 HAS SOUPS 176262466 WITH SCORE 1.76570322142E8
AT ITER 4209 NEW BEST:: SOT 1309408253 SOS 307852540 HAS SOPS 307852540 HAS SOUS 176260665 HAS SOUPS 176260665 WITH SCORE 1.7656851754E8
AT ITER 4226 NEW BEST:: SOT 1309409439 SOS 307876904 HAS SOPS 307876904 HAS SOUS 176255704 HAS SOUPS 176255704 WITH SCORE 1.76563580904E8
AT ITER 4260 NEW BEST:: SOT 1309403681 SOS 307871087 HAS SOPS 307871087 HAS SOUS 176255539 HAS SOUPS 176255539 WITH SCORE 1.76563410087E8
AT ITER 4261 NEW BEST:: SOT 1309401447 SOS 307868853 HAS SOPS 307868853 HAS SOUS 176253305 HAS SOUPS 176253305 WITH SCORE 1.76561173853E8
AT ITER 4314 NEW BEST:: SOT 1309404211 SOS 307874381 HAS SOPS 307874381 HAS SOUS 176246083 HAS SOUPS 176246083 WITH SCORE 1.76553957381E8
AT ITER 4333 NEW BEST:: SOT 1309397622 SOS 307869011 HAS SOPS 307869011 HAS SOUS 176240716 HAS SOUPS 176240716 WITH SCORE 1.76548585011E8
AT ITER 4343 NEW BEST:: SOT 1309394859 SOS 307874533 HAS SOPS 307874533 HAS SOUS 176237952 HAS SOUPS 176237952 WITH SCORE 1.76545826533E8
AT ITER 4345 NEW BEST:: SOT 1309394594 SOS 307874268 HAS SOPS 307874268 HAS SOUS 176237687 HAS SOUPS 176237687 WITH SCORE 1.76545561268E8
AT ITER 4352 NEW BEST:: SOT 1309387056 SOS 307866730 HAS SOPS 307866730 HAS SOUS 176230149 HAS SOUPS 176230149 WITH SCORE 1.7653801573E8
AT ITER 4354 NEW BEST:: SOT 1309387056 SOS 307866730 HAS SOPS 307866730 HAS SOUS 176230148 HAS SOUPS 176230148 WITH SCORE 1.7653801473E8
AT ITER 4405 NEW BEST:: SOT 1309385920 SOS 307864458 HAS SOPS 307864458 HAS SOUS 176227876 HAS SOUPS 176227876 WITH SCORE 1.76535740458E8
AT ITER 4427 NEW BEST:: SOT 1309383203 SOS 307859024 HAS SOPS 307859024 HAS SOUS 176225158 HAS SOUPS 176225158 WITH SCORE 1.76533017024E8
AT ITER 4433 NEW BEST:: SOT 1309377993 SOS 307853814 HAS SOPS 307853814 HAS SOUS 176219948 HAS SOUPS 176219948 WITH SCORE 1.76527801814E8
AT ITER 4445 NEW BEST:: SOT 1309378721 SOS 307855270 HAS SOPS 307855270 HAS SOUS 176218811 HAS SOUPS 176218811 WITH SCORE 1.7652666627E8
AT ITER 4471 NEW BEST:: SOT 1309378721 SOS 307848793 HAS SOPS 307848793 HAS SOUS 176216652 HAS SOUPS 176216652 WITH SCORE 1.76524500793E8
AT ITER 4477 NEW BEST:: SOT 1309374570 SOS 307840491 HAS SOPS 307840491 HAS SOUS 176208350 HAS SOUPS 176208350 WITH SCORE 1.76516190491E8
AT ITER 4496 NEW BEST:: SOT 1309373649 SOS 307836807 HAS SOPS 307836807 HAS SOUS 176207429 HAS SOUPS 176207429 WITH SCORE 1.76515265807E8
AT ITER 4501 NEW BEST:: SOT 1309369684 SOS 307840772 HAS SOPS 307840772 HAS SOUS 176205779 HAS SOUPS 176205779 WITH SCORE 1.76513619772E8
AT ITER 4503 NEW BEST:: SOT 1309367333 SOS 307840768 HAS SOPS 307840768 HAS SOUS 176205778 HAS SOUPS 176205778 WITH SCORE 1.76513618768E8
AT ITER 4511 NEW BEST:: SOT 1309339283 SOS 307820368 HAS SOPS 307820368 HAS SOUS 176198128 HAS SOUPS 176198128 WITH SCORE 1.76505948368E8
AT ITER 4515 NEW BEST:: SOT 1309337719 SOS 307823496 HAS SOPS 307823496 HAS SOUS 176196564 HAS SOUPS 176196564 WITH SCORE 1.76504387496E8
AT ITER 4529 NEW BEST:: SOT 1309336050 SOS 307829956 HAS SOPS 307829956 HAS SOUS 176194895 HAS SOUPS 176194895 WITH SCORE 1.76502724956E8
AT ITER 4530 NEW BEST:: SOT 1309333774 SOS 307827680 HAS SOPS 307827680 HAS SOUS 176194895 HAS SOUPS 176194895 WITH SCORE 1.7650272268E8
AT ITER 4538 NEW BEST:: SOT 1309326160 SOS 307789610 HAS SOPS 307789610 HAS SOUS 176179667 HAS SOUPS 176179667 WITH SCORE 1.7648745661E8
AT ITER 4581 NEW BEST:: SOT 1309323383 SOS 307784057 HAS SOPS 307784057 HAS SOUS 176174114 HAS SOUPS 176174114 WITH SCORE 1.76481898057E8
AT ITER 4597 NEW BEST:: SOT 1309323383 SOS 307784127 HAS SOPS 307784127 HAS SOUS 176174112 HAS SOUPS 176174112 WITH SCORE 1.76481896127E8
AT ITER 4598 NEW BEST:: SOT 1309316445 SOS 307770251 HAS SOPS 307770251 HAS SOUS 176157456 HAS SOUPS 176157456 WITH SCORE 1.76465226251E8
AT ITER 4604 NEW BEST:: SOT 1309315426 SOS 307770248 HAS SOPS 307770248 HAS SOUS 176157455 HAS SOUPS 176157455 WITH SCORE 1.76465225248E8
AT ITER 4617 NEW BEST:: SOT 1309315426 SOS 307770248 HAS SOPS 307770248 HAS SOUS 176157453 HAS SOUPS 176157453 WITH SCORE 1.76465223248E8
AT ITER 4631 NEW BEST:: SOT 1309313052 SOS 307765500 HAS SOPS 307765500 HAS SOUS 176152396 HAS SOUPS 176152396 WITH SCORE 1.764601615E8
AT ITER 4637 NEW BEST:: SOT 1309308203 SOS 307760651 HAS SOPS 307760651 HAS SOUS 176147547 HAS SOUPS 176147547 WITH SCORE 1.76455307651E8
AT ITER 4654 NEW BEST:: SOT 1309306356 SOS 307756957 HAS SOPS 307756957 HAS SOUS 176143853 HAS SOUPS 176143853 WITH SCORE 1.76451609957E8
AT ITER 4679 NEW BEST:: SOT 1309306259 SOS 307756956 HAS SOPS 307756956 HAS SOUS 176143852 HAS SOUPS 176143852 WITH SCORE 1.76451608956E8
AT ITER 4696 NEW BEST:: SOT 1309299969 SOS 307750662 HAS SOPS 307750662 HAS SOUS 176137561 HAS SOUPS 176137561 WITH SCORE 1.76445311662E8
AT ITER 4718 NEW BEST:: SOT 1309293833 SOS 307767873 HAS SOPS 307767873 HAS SOUS 176125288 HAS SOUPS 176125288 WITH SCORE 1.76433055873E8
AT ITER 4729 NEW BEST:: SOT 1309293700 SOS 307768002 HAS SOPS 307768002 HAS SOUS 176125287 HAS SOUPS 176125287 WITH SCORE 1.76433055002E8
AT ITER 4777 NEW BEST:: SOT 1309281430 SOS 307743462 HAS SOPS 307743462 HAS SOUS 176101270 HAS SOUPS 176101270 WITH SCORE 1.76409013462E8
AT ITER 4789 NEW BEST:: SOT 1309281429 SOS 307743460 HAS SOPS 307743460 HAS SOUS 176101268 HAS SOUPS 176101268 WITH SCORE 1.7640901146E8
AT ITER 4796 NEW BEST:: SOT 1309281429 SOS 307743266 HAS SOPS 307743266 HAS SOUS 176101268 HAS SOUPS 176101268 WITH SCORE 1.76409011266E8
AT ITER 4810 NEW BEST:: SOT 1309281429 SOS 307743266 HAS SOPS 307743266 HAS SOUS 176101267 HAS SOUPS 176101267 WITH SCORE 1.76409010266E8
AT ITER 4861 NEW BEST:: SOT 1309277070 SOS 307723827 HAS SOPS 307723827 HAS SOUS 176093454 HAS SOUPS 176093454 WITH SCORE 1.76401177827E8
AT ITER 4865 NEW BEST:: SOT 1309277070 SOS 307710078 HAS SOPS 307710078 HAS SOUS 176093453 HAS SOUPS 176093453 WITH SCORE 1.76401163078E8
AT ITER 4871 NEW BEST:: SOT 1309274464 SOS 307704866 HAS SOPS 307704866 HAS SOUS 176087726 HAS SOUPS 176087726 WITH SCORE 1.76395430866E8
AT ITER 4873 NEW BEST:: SOT 1309274464 SOS 307704862 HAS SOPS 307704862 HAS SOUS 176087725 HAS SOUPS 176087725 WITH SCORE 1.76395429862E8
AT ITER 4890 NEW BEST:: SOT 1309269229 SOS 307703110 HAS SOPS 307703110 HAS SOUS 176085973 HAS SOUPS 176085973 WITH SCORE 1.7639367611E8
AT ITER 4928 NEW BEST:: SOT 1309269229 SOS 307688650 HAS SOPS 307688650 HAS SOUS 176085973 HAS SOUPS 176085973 WITH SCORE 1.7639366165E8
AT ITER 4941 NEW BEST:: SOT 1309266755 SOS 307723472 HAS SOPS 307723472 HAS SOUS 176081024 HAS SOUPS 176081024 WITH SCORE 1.76388747472E8
AT ITER 4951 NEW BEST:: SOT 1309265882 SOS 307725218 HAS SOPS 307725218 HAS SOUS 176080151 HAS SOUPS 176080151 WITH SCORE 1.76387876218E8
AT ITER 4975 NEW BEST:: SOT 1309264341 SOS 307722136 HAS SOPS 307722136 HAS SOUS 176077069 HAS SOUPS 176077069 WITH SCORE 1.76384791136E8
AT ITER 4982 NEW BEST:: SOT 1309260138 SOS 307722132 HAS SOPS 307722132 HAS SOUS 176077068 HAS SOUPS 176077068 WITH SCORE 1.76384790132E8
AT ITER 5011 NEW BEST:: SOT 1309252993 SOS 307722131 HAS SOPS 307722131 HAS SOUS 176077067 HAS SOUPS 176077067 WITH SCORE 1.76384789131E8
AT ITER 5036 NEW BEST:: SOT 1309248657 SOS 307726463 HAS SOPS 307726463 HAS SOUS 176068394 HAS SOUPS 176068394 WITH SCORE 1.76376120463E8
AT ITER 5037 NEW BEST:: SOT 1309245043 SOS 307719235 HAS SOPS 307719235 HAS SOUS 176064780 HAS SOUPS 176064780 WITH SCORE 1.76372499235E8
AT ITER 5053 NEW BEST:: SOT 1309241696 SOS 307717464 HAS SOPS 307717464 HAS SOUS 176063011 HAS SOUPS 176063011 WITH SCORE 1.76370728464E8
AT ITER 5068 NEW BEST:: SOT 1309240987 SOS 307716046 HAS SOPS 307716046 HAS SOUS 176056175 HAS SOUPS 176056175 WITH SCORE 1.76363891046E8
AT ITER 5074 NEW BEST:: SOT 1309240494 SOS 307717028 HAS SOPS 307717028 HAS SOUS 176055681 HAS SOUPS 176055681 WITH SCORE 1.76363398028E8
AT ITER 5100 NEW BEST:: SOT 1309238751 SOS 307713542 HAS SOPS 307713542 HAS SOUS 176052195 HAS SOUPS 176052195 WITH SCORE 1.76359908542E8
AT ITER 5107 NEW BEST:: SOT 1309237903 SOS 307712694 HAS SOPS 307712694 HAS SOUS 176052195 HAS SOUPS 176052195 WITH SCORE 1.76359907694E8
AT ITER 5165 NEW BEST:: SOT 1309235394 SOS 307707675 HAS SOPS 307707675 HAS SOUS 176047176 HAS SOUPS 176047176 WITH SCORE 1.76354883675E8
AT ITER 5173 NEW BEST:: SOT 1309226627 SOS 307701299 HAS SOPS 307701299 HAS SOUS 176044785 HAS SOUPS 176044785 WITH SCORE 1.76352486299E8
AT ITER 5204 NEW BEST:: SOT 1309226626 SOS 307700234 HAS SOPS 307700234 HAS SOUS 176044252 HAS SOUPS 176044252 WITH SCORE 1.76351952234E8
AT ITER 5265 NEW BEST:: SOT 1309225026 SOS 307703430 HAS SOPS 307703430 HAS SOUS 176042651 HAS SOUPS 176042651 WITH SCORE 1.7635035443E8
AT ITER 5266 NEW BEST:: SOT 1309223338 SOS 307712183 HAS SOPS 307712183 HAS SOUS 176040963 HAS SOUPS 176040963 WITH SCORE 1.76348675183E8
AT ITER 5323 NEW BEST:: SOT 1309220285 SOS 307706077 HAS SOPS 307706077 HAS SOUS 176033635 HAS SOUPS 176033635 WITH SCORE 1.76341341077E8
AT ITER 5337 NEW BEST:: SOT 1309220284 SOS 307700678 HAS SOPS 307700678 HAS SOUS 176028236 HAS SOUPS 176028236 WITH SCORE 1.76335936678E8
AT ITER 5355 NEW BEST:: SOT 1309220284 SOS 307729649 HAS SOPS 307729649 HAS SOUS 176024678 HAS SOUPS 176024678 WITH SCORE 1.76332407649E8
AT ITER 5356 NEW BEST:: SOT 1309219504 SOS 307728089 HAS SOPS 307728089 HAS SOUS 176023118 HAS SOUPS 176023118 WITH SCORE 1.76330846089E8
AT ITER 5367 NEW BEST:: SOT 1309219504 SOS 307728089 HAS SOPS 307728089 HAS SOUS 176010733 HAS SOUPS 176010733 WITH SCORE 1.76318461089E8
AT ITER 5394 NEW BEST:: SOT 1309218395 SOS 307725871 HAS SOPS 307725871 HAS SOUS 176008515 HAS SOUPS 176008515 WITH SCORE 1.76316240871E8
AT ITER 5403 NEW BEST:: SOT 1309212468 SOS 307725871 HAS SOPS 307725871 HAS SOUS 176000641 HAS SOUPS 176000641 WITH SCORE 1.76308366871E8
AT ITER 5413 NEW BEST:: SOT 1309205498 SOS 307712641 HAS SOPS 307712641 HAS SOUS 175992106 HAS SOUPS 175992106 WITH SCORE 1.76299818641E8
AT ITER 5426 NEW BEST:: SOT 1309205498 SOS 307721880 HAS SOPS 307721880 HAS SOUS 175989024 HAS SOUPS 175989024 WITH SCORE 1.7629674588E8
AT ITER 5487 NEW BEST:: SOT 1309204478 SOS 307719840 HAS SOPS 307719840 HAS SOUS 175986984 HAS SOUPS 175986984 WITH SCORE 1.7629470384E8
AT ITER 5500 NEW BEST:: SOT 1309204478 SOS 307719840 HAS SOPS 307719840 HAS SOUS 175986983 HAS SOUPS 175986983 WITH SCORE 1.7629470284E8
AT ITER 5525 NEW BEST:: SOT 1309198723 SOS 307719830 HAS SOPS 307719830 HAS SOUS 175983926 HAS SOUPS 175983926 WITH SCORE 1.7629164583E8
AT ITER 5530 NEW BEST:: SOT 1309198723 SOS 307711439 HAS SOPS 307711439 HAS SOUS 175981129 HAS SOUPS 175981129 WITH SCORE 1.76288840439E8
AT ITER 5532 NEW BEST:: SOT 1309198723 SOS 307703852 HAS SOPS 307703852 HAS SOUS 175978600 HAS SOUPS 175978600 WITH SCORE 1.76286303852E8
AT ITER 5549 NEW BEST:: SOT 1309198723 SOS 307702798 HAS SOPS 307702798 HAS SOUS 175978073 HAS SOUPS 175978073 WITH SCORE 1.76285775798E8
AT ITER 5572 NEW BEST:: SOT 1309196372 SOS 307707492 HAS SOPS 307707492 HAS SOUS 175975720 HAS SOUPS 175975720 WITH SCORE 1.76283427492E8
AT ITER 5587 NEW BEST:: SOT 1309196372 SOS 307700364 HAS SOPS 307700364 HAS SOUS 175973344 HAS SOUPS 175973344 WITH SCORE 1.76281044364E8
AT ITER 5652 NEW BEST:: SOT 1309195494 SOS 307698609 HAS SOPS 307698609 HAS SOUS 175971589 HAS SOUPS 175971589 WITH SCORE 1.76279287609E8
AT ITER 5654 NEW BEST:: SOT 1309195494 SOS 307698609 HAS SOPS 307698609 HAS SOUS 175971588 HAS SOUPS 175971588 WITH SCORE 1.76279286609E8
AT ITER 5656 NEW BEST:: SOT 1309198553 SOS 307711431 HAS SOPS 307711431 HAS SOUS 175971002 HAS SOUPS 175971002 WITH SCORE 1.76278713431E8
AT ITER 5681 NEW BEST:: SOT 1309198553 SOS 307711431 HAS SOPS 307711431 HAS SOUS 175971001 HAS SOUPS 175971001 WITH SCORE 1.76278712431E8
AT ITER 5699 NEW BEST:: SOT 1309194470 SOS 307713178 HAS SOPS 307713178 HAS SOUS 175969832 HAS SOUPS 175969832 WITH SCORE 1.76277545178E8
AT ITER 5707 NEW BEST:: SOT 1309192650 SOS 307713174 HAS SOPS 307713174 HAS SOUS 175968921 HAS SOUPS 175968921 WITH SCORE 1.76276634174E8
AT ITER 5714 NEW BEST:: SOT 1309187613 SOS 307713164 HAS SOPS 307713164 HAS SOUS 175965320 HAS SOUPS 175965320 WITH SCORE 1.76273033164E8
AT ITER 5745 NEW BEST:: SOT 1309184428 SOS 307706794 HAS SOPS 307706794 HAS SOUS 175963419 HAS SOUPS 175963419 WITH SCORE 1.76271125794E8
AT ITER 5756 NEW BEST:: SOT 1309183813 SOS 307704334 HAS SOPS 307704334 HAS SOUS 175962189 HAS SOUPS 175962189 WITH SCORE 1.76269893334E8
AT ITER 5761 NEW BEST:: SOT 1309171323 SOS 307695942 HAS SOPS 307695942 HAS SOUS 175951747 HAS SOUPS 175951747 WITH SCORE 1.76259442942E8
AT ITER 5766 NEW BEST:: SOT 1309164079 SOS 307695941 HAS SOPS 307695941 HAS SOUS 175951746 HAS SOUPS 175951746 WITH SCORE 1.76259441941E8
AT ITER 5773 NEW BEST:: SOT 1309153147 SOS 307674077 HAS SOPS 307674077 HAS SOUS 175929882 HAS SOUPS 175929882 WITH SCORE 1.76237556077E8
AT ITER 5792 NEW BEST:: SOT 1309149800 SOS 307674073 HAS SOPS 307674073 HAS SOUS 175926534 HAS SOUPS 175926534 WITH SCORE 1.76234208073E8
AT ITER 5801 NEW BEST:: SOT 1309147551 SOS 307669575 HAS SOPS 307669575 HAS SOUS 175922036 HAS SOUPS 175922036 WITH SCORE 1.76229705575E8
AT ITER 5818 NEW BEST:: SOT 1309147100 SOS 307668673 HAS SOPS 307668673 HAS SOUS 175915445 HAS SOUPS 175915445 WITH SCORE 1.76223113673E8
AT ITER 5847 NEW BEST:: SOT 1309138674 SOS 307651821 HAS SOPS 307651821 HAS SOUS 175898593 HAS SOUPS 175898593 WITH SCORE 1.76206244821E8
AT ITER 5883 NEW BEST:: SOT 1309138673 SOS 307651819 HAS SOPS 307651819 HAS SOUS 175898591 HAS SOUPS 175898591 WITH SCORE 1.76206242819E8
AT ITER 5897 NEW BEST:: SOT 1309138672 SOS 307651817 HAS SOPS 307651817 HAS SOUS 175898589 HAS SOUPS 175898589 WITH SCORE 1.76206240817E8
AT ITER 5985 NEW BEST:: SOT 1309137674 SOS 307649822 HAS SOPS 307649822 HAS SOUS 175896594 HAS SOUPS 175896594 WITH SCORE 1.76204243822E8
AT ITER 5988 NEW BEST:: SOT 1309139165 SOS 307652804 HAS SOPS 307652804 HAS SOUS 175886657 HAS SOUPS 175886657 WITH SCORE 1.76194309804E8
AT ITER 6000 NEW BEST:: SOT 1309131517 SOS 307648980 HAS SOPS 307648980 HAS SOUS 175882833 HAS SOUPS 175882833 WITH SCORE 1.7619048198E8
AT ITER 6017 NEW BEST:: SOT 1309131517 SOS 307644309 HAS SOPS 307644309 HAS SOUS 175881276 HAS SOUPS 175881276 WITH SCORE 1.76188920309E8
AT ITER 6022 NEW BEST:: SOT 1309131517 SOS 307635756 HAS SOPS 307635756 HAS SOUS 175878425 HAS SOUPS 175878425 WITH SCORE 1.76186060756E8
AT ITER 6063 NEW BEST:: SOT 1309130097 SOS 307645002 HAS SOPS 307645002 HAS SOUS 175870254 HAS SOUPS 175870254 WITH SCORE 1.76177899002E8
AT ITER 6065 NEW BEST:: SOT 1309125781 SOS 307623422 HAS SOPS 307623422 HAS SOUS 175861622 HAS SOUPS 175861622 WITH SCORE 1.76169245422E8
AT ITER 6089 NEW BEST:: SOT 1309121815 SOS 307619456 HAS SOPS 307619456 HAS SOUS 175857656 HAS SOUPS 175857656 WITH SCORE 1.76165275456E8
AT ITER 6101 NEW BEST:: SOT 1308994999 SOS 310963732 HAS SOPS 310963732 HAS SOUS 175788223 HAS SOUPS 175788223 WITH SCORE 1.76099186732E8
AT ITER 6117 NEW BEST:: SOT 1308991558 SOS 310933324 HAS SOPS 310933324 HAS SOUS 175781341 HAS SOUPS 175781341 WITH SCORE 1.76092274324E8
AT ITER 6137 NEW BEST:: SOT 1308991558 SOS 310932540 HAS SOPS 310932540 HAS SOUS 175780557 HAS SOUPS 175780557 WITH SCORE 1.7609148954E8
AT ITER 6143 NEW BEST:: SOT 1308991700 SOS 310931912 HAS SOPS 310931912 HAS SOUS 175779928 HAS SOUPS 175779928 WITH SCORE 1.76090859912E8
AT ITER 6147 NEW BEST:: SOT 1308990434 SOS 310930646 HAS SOPS 310930646 HAS SOUS 175778662 HAS SOUPS 175778662 WITH SCORE 1.76089592646E8
AT ITER 6161 NEW BEST:: SOT 1308987258 SOS 310928336 HAS SOPS 310928336 HAS SOUS 175776352 HAS SOUPS 175776352 WITH SCORE 1.76087280336E8
AT ITER 6165 NEW BEST:: SOT 1308987258 SOS 310929019 HAS SOPS 310929019 HAS SOUS 175776351 HAS SOUPS 175776351 WITH SCORE 1.76087280019E8
AT ITER 6188 NEW BEST:: SOT 1308987258 SOS 310927468 HAS SOPS 310927468 HAS SOUS 175776351 HAS SOUPS 175776351 WITH SCORE 1.76087278468E8
AT ITER 6256 NEW BEST:: SOT 1308984397 SOS 310921746 HAS SOPS 310921746 HAS SOUS 175775306 HAS SOUPS 175775306 WITH SCORE 1.76086227746E8
AT ITER 6265 NEW BEST:: SOT 1308976471 SOS 310913820 HAS SOPS 310913820 HAS SOUS 175767380 HAS SOUPS 175767380 WITH SCORE 1.7607829382E8
AT ITER 6272 NEW BEST:: SOT 1308972861 SOS 310951023 HAS SOPS 310951023 HAS SOUS 175760159 HAS SOUPS 175760159 WITH SCORE 1.76071110023E8
AT ITER 6290 NEW BEST:: SOT 1308971153 SOS 310957645 HAS SOPS 310957645 HAS SOUS 175758451 HAS SOUPS 175758451 WITH SCORE 1.76069408645E8
AT ITER 6302 NEW BEST:: SOT 1308971153 SOS 310957645 HAS SOPS 310957645 HAS SOUS 175758450 HAS SOUPS 175758450 WITH SCORE 1.76069407645E8
AT ITER 6346 NEW BEST:: SOT 1308971152 SOS 310957643 HAS SOPS 310957643 HAS SOUS 175758448 HAS SOUPS 175758448 WITH SCORE 1.76069405643E8
AT ITER 6352 NEW BEST:: SOT 1308969411 SOS 310940583 HAS SOPS 310940583 HAS SOUS 175754966 HAS SOUPS 175754966 WITH SCORE 1.76065906583E8
AT ITER 6361 NEW BEST:: SOT 1308966999 SOS 310935759 HAS SOPS 310935759 HAS SOUS 175752554 HAS SOUPS 175752554 WITH SCORE 1.76063489759E8
AT ITER 6375 NEW BEST:: SOT 1308963255 SOS 310932015 HAS SOPS 310932015 HAS SOUS 175745066 HAS SOUPS 175745066 WITH SCORE 1.76055998015E8
AT ITER 6382 NEW BEST:: SOT 1308959928 SOS 310925361 HAS SOPS 310925361 HAS SOUS 175738412 HAS SOUPS 175738412 WITH SCORE 1.76049337361E8
AT ITER 6399 NEW BEST:: SOT 1308953074 SOS 310919092 HAS SOPS 310919092 HAS SOUS 175732143 HAS SOUPS 175732143 WITH SCORE 1.76043062092E8
AT ITER 6408 NEW BEST:: SOT 1308953265 SOS 310934875 HAS SOPS 310934875 HAS SOUS 175724822 HAS SOUPS 175724822 WITH SCORE 1.76035756875E8
AT ITER 6455 NEW BEST:: SOT 1308953265 SOS 310927765 HAS SOPS 310927765 HAS SOUS 175722452 HAS SOUPS 175722452 WITH SCORE 1.76033379765E8
AT ITER 6471 NEW BEST:: SOT 1308945779 SOS 310920275 HAS SOPS 310920275 HAS SOUS 175714965 HAS SOUPS 175714965 WITH SCORE 1.76025885275E8
AT ITER 6485 NEW BEST:: SOT 1308944267 SOS 310917247 HAS SOPS 310917247 HAS SOUS 175711940 HAS SOUPS 175711940 WITH SCORE 1.76022857247E8
AT ITER 6522 NEW BEST:: SOT 1308944267 SOS 310904809 HAS SOPS 310904809 HAS SOUS 175711939 HAS SOUPS 175711939 WITH SCORE 1.76022843809E8
AT ITER 6532 NEW BEST:: SOT 1308944341 SOS 310933666 HAS SOPS 310933666 HAS SOUS 175708895 HAS SOUPS 175708895 WITH SCORE 1.76019828666E8
AT ITER 6552 NEW BEST:: SOT 1308938968 SOS 310887116 HAS SOPS 310887116 HAS SOUS 175698329 HAS SOUPS 175698329 WITH SCORE 1.76009216116E8
AT ITER 6553 NEW BEST:: SOT 1308929962 SOS 310882609 HAS SOPS 310882609 HAS SOUS 175693825 HAS SOUPS 175693825 WITH SCORE 1.76004707609E8
AT ITER 6561 NEW BEST:: SOT 1308929962 SOS 310882609 HAS SOPS 310882609 HAS SOUS 175687066 HAS SOUPS 175687066 WITH SCORE 1.75997948609E8
AT ITER 6612 NEW BEST:: SOT 1308926756 SOS 310903149 HAS SOPS 310903149 HAS SOUS 175683226 HAS SOUPS 175683226 WITH SCORE 1.75994129149E8
AT ITER 6625 NEW BEST:: SOT 1308909586 SOS 310872374 HAS SOPS 310872374 HAS SOUS 175664006 HAS SOUPS 175664006 WITH SCORE 1.75974878374E8
AT ITER 6631 NEW BEST:: SOT 1308909586 SOS 310872374 HAS SOPS 310872374 HAS SOUS 175664005 HAS SOUPS 175664005 WITH SCORE 1.75974877374E8
AT ITER 6644 NEW BEST:: SOT 1308903271 SOS 310945063 HAS SOPS 310945063 HAS SOUS 175663867 HAS SOUPS 175663867 WITH SCORE 1.75974812063E8
AT ITER 6652 NEW BEST:: SOT 1308901403 SOS 310941327 HAS SOPS 310941327 HAS SOUS 175662392 HAS SOUPS 175662392 WITH SCORE 1.75973333327E8
AT ITER 6744 NEW BEST:: SOT 1308900134 SOS 310938789 HAS SOPS 310938789 HAS SOUS 175659854 HAS SOUPS 175659854 WITH SCORE 1.75970792789E8
AT ITER 6749 NEW BEST:: SOT 1308898098 SOS 310942857 HAS SOPS 310942857 HAS SOUS 175657817 HAS SOUPS 175657817 WITH SCORE 1.75968759857E8
AT ITER 6779 NEW BEST:: SOT 1308899889 SOS 310946439 HAS SOPS 310946439 HAS SOUS 175652629 HAS SOUPS 175652629 WITH SCORE 1.75963575439E8
AT ITER 6856 NEW BEST:: SOT 1308892899 SOS 310942944 HAS SOPS 310942944 HAS SOUS 175649134 HAS SOUPS 175649134 WITH SCORE 1.75960076944E8
AT ITER 6868 NEW BEST:: SOT 1308893634 SOS 310944414 HAS SOPS 310944414 HAS SOUS 175644955 HAS SOUPS 175644955 WITH SCORE 1.75955899414E8
AT ITER 6875 NEW BEST:: SOT 1308892293 SOS 310947088 HAS SOPS 310947088 HAS SOUS 175643612 HAS SOUPS 175643612 WITH SCORE 1.75954559088E8
AT ITER 6915 NEW BEST:: SOT 1308895093 SOS 310952688 HAS SOPS 310952688 HAS SOUS 175642785 HAS SOUPS 175642785 WITH SCORE 1.75953737688E8
AT ITER 6919 NEW BEST:: SOT 1308896054 SOS 310954610 HAS SOPS 310954610 HAS SOUS 175634444 HAS SOUPS 175634444 WITH SCORE 1.7594539861E8
AT ITER 6954 NEW BEST:: SOT 1308890770 SOS 310944042 HAS SOPS 310944042 HAS SOUS 175623876 HAS SOUPS 175623876 WITH SCORE 1.75934820042E8
AT ITER 6973 NEW BEST:: SOT 1308890530 SOS 310944514 HAS SOPS 310944514 HAS SOUS 175623634 HAS SOUPS 175623634 WITH SCORE 1.75934578514E8
AT ITER 6998 NEW BEST:: SOT 1308888391 SOS 310942375 HAS SOPS 310942375 HAS SOUS 175621495 HAS SOUPS 175621495 WITH SCORE 1.75932437375E8
AT ITER 7008 NEW BEST:: SOT 1308886048 SOS 310940276 HAS SOPS 310940276 HAS SOUS 175616640 HAS SOUPS 175616640 WITH SCORE 1.75927580276E8
AT ITER 7022 NEW BEST:: SOT 1308885611 SOS 310939949 HAS SOPS 310939949 HAS SOUS 175616279 HAS SOUPS 175616279 WITH SCORE 1.75927218949E8
AT ITER 7023 NEW BEST:: SOT 1308882809 SOS 310934341 HAS SOPS 310934341 HAS SOUS 175610674 HAS SOUPS 175610674 WITH SCORE 1.75921608341E8
AT ITER 7046 NEW BEST:: SOT 1308868546 SOS 310942231 HAS SOPS 310942231 HAS SOUS 175606510 HAS SOUPS 175606510 WITH SCORE 1.75917452231E8
AT ITER 7064 NEW BEST:: SOT 1308866857 SOS 310948378 HAS SOPS 310948378 HAS SOUS 175604821 HAS SOUPS 175604821 WITH SCORE 1.75915769378E8
AT ITER 7065 NEW BEST:: SOT 1308859553 SOS 310941316 HAS SOPS 310941316 HAS SOUS 175597759 HAS SOUPS 175597759 WITH SCORE 1.75908700316E8
AT ITER 7082 NEW BEST:: SOT 1308861906 SOS 310927776 HAS SOPS 310927776 HAS SOUS 175595206 HAS SOUPS 175595206 WITH SCORE 1.75906133776E8
AT ITER 7096 NEW BEST:: SOT 1308855116 SOS 310901113 HAS SOPS 310901113 HAS SOUS 175584593 HAS SOUPS 175584593 WITH SCORE 1.75895494113E8
AT ITER 7098 NEW BEST:: SOT 1308855116 SOS 310894297 HAS SOPS 310894297 HAS SOUS 175582321 HAS SOUPS 175582321 WITH SCORE 1.75893215297E8
AT ITER 7108 NEW BEST:: SOT 1308856258 SOS 310896581 HAS SOPS 310896581 HAS SOUS 175582053 HAS SOUPS 175582053 WITH SCORE 1.75892949581E8
AT ITER 7132 NEW BEST:: SOT 1308856258 SOS 310910621 HAS SOPS 310910621 HAS SOUS 175577634 HAS SOUPS 175577634 WITH SCORE 1.75888544621E8
AT ITER 7155 NEW BEST:: SOT 1308856257 SOS 310910619 HAS SOPS 310910619 HAS SOUS 175577632 HAS SOUPS 175577632 WITH SCORE 1.75888542619E8
AT ITER 7158 NEW BEST:: SOT 1308844763 SOS 310887631 HAS SOPS 310887631 HAS SOUS 175554644 HAS SOUPS 175554644 WITH SCORE 1.75865531631E8
AT ITER 7164 NEW BEST:: SOT 1308845491 SOS 310902324 HAS SOPS 310902324 HAS SOUS 175554499 HAS SOUPS 175554499 WITH SCORE 1.75865401324E8
AT ITER 7268 NEW BEST:: SOT 1308843080 SOS 310902320 HAS SOPS 310902320 HAS SOUS 175552787 HAS SOUPS 175552787 WITH SCORE 1.7586368932E8
AT ITER 7286 NEW BEST:: SOT 1308843080 SOS 310902320 HAS SOPS 310902320 HAS SOUS 175552786 HAS SOUPS 175552786 WITH SCORE 1.7586368832E8
AT ITER 7365 NEW BEST:: SOT 1308836389 SOS 310896018 HAS SOPS 310896018 HAS SOUS 175546484 HAS SOUPS 175546484 WITH SCORE 1.75857380018E8
AT ITER 7380 NEW BEST:: SOT 1308825085 SOS 310884714 HAS SOPS 310884714 HAS SOUS 175535180 HAS SOUPS 175535180 WITH SCORE 1.75846064714E8
AT ITER 7384 NEW BEST:: SOT 1308825085 SOS 310884489 HAS SOPS 310884489 HAS SOUS 175535180 HAS SOUPS 175535180 WITH SCORE 1.75846064489E8
AT ITER 7411 NEW BEST:: SOT 1308823653 SOS 310881625 HAS SOPS 310881625 HAS SOUS 175529243 HAS SOUPS 175529243 WITH SCORE 1.75840124625E8
AT ITER 7442 NEW BEST:: SOT 1308823372 SOS 310881063 HAS SOPS 310881063 HAS SOUS 175528681 HAS SOUPS 175528681 WITH SCORE 1.75839562063E8
AT ITER 7465 NEW BEST:: SOT 1308819193 SOS 310897020 HAS SOPS 310897020 HAS SOUS 175526464 HAS SOUPS 175526464 WITH SCORE 1.7583736102E8
AT ITER 7469 NEW BEST:: SOT 1308819193 SOS 310897020 HAS SOPS 310897020 HAS SOUS 175526463 HAS SOUPS 175526463 WITH SCORE 1.7583736002E8
AT ITER 7471 NEW BEST:: SOT 1308819193 SOS 310893201 HAS SOPS 310893201 HAS SOUS 175525190 HAS SOUPS 175525190 WITH SCORE 1.75836083201E8
AT ITER 7510 NEW BEST:: SOT 1308818651 SOS 310892659 HAS SOPS 310892659 HAS SOUS 175525190 HAS SOUPS 175525190 WITH SCORE 1.75836082659E8
AT ITER 7513 NEW BEST:: SOT 1308817811 SOS 310892658 HAS SOPS 310892658 HAS SOUS 175525189 HAS SOUPS 175525189 WITH SCORE 1.75836081658E8
AT ITER 7517 NEW BEST:: SOT 1308815012 SOS 310857166 HAS SOPS 310857166 HAS SOUS 175515438 HAS SOUPS 175515438 WITH SCORE 1.75826295166E8
AT ITER 7520 NEW BEST:: SOT 1308808745 SOS 310852277 HAS SOPS 310852277 HAS SOUS 175510552 HAS SOUPS 175510552 WITH SCORE 1.75821404277E8
AT ITER 7522 NEW BEST:: SOT 1308807857 SOS 310854049 HAS SOPS 310854049 HAS SOUS 175509663 HAS SOUPS 175509663 WITH SCORE 1.75820517049E8
AT ITER 7528 NEW BEST:: SOT 1308801685 SOS 310853479 HAS SOPS 310853479 HAS SOUS 175504271 HAS SOUPS 175504271 WITH SCORE 1.75815124479E8
AT ITER 7529 NEW BEST:: SOT 1308797607 SOS 310841242 HAS SOPS 310841242 HAS SOUS 175496114 HAS SOUPS 175496114 WITH SCORE 1.75806955242E8
AT ITER 7547 NEW BEST:: SOT 1308799775 SOS 310845578 HAS SOPS 310845578 HAS SOUS 175491401 HAS SOUPS 175491401 WITH SCORE 1.75802246578E8
AT ITER 7565 NEW BEST:: SOT 1308796604 SOS 310851920 HAS SOPS 310851920 HAS SOUS 175488230 HAS SOUPS 175488230 WITH SCORE 1.7579908192E8
AT ITER 7580 NEW BEST:: SOT 1308791862 SOS 310865500 HAS SOPS 310865500 HAS SOUS 175484960 HAS SOUPS 175484960 WITH SCORE 1.757958255E8
AT ITER 7585 NEW BEST:: SOT 1308764856 SOS 310846796 HAS SOPS 310846796 HAS SOUS 175478866 HAS SOUPS 175478866 WITH SCORE 1.75789712796E8
AT ITER 7588 NEW BEST:: SOT 1308763174 SOS 310889731 HAS SOPS 310889731 HAS SOUS 175478461 HAS SOUPS 175478461 WITH SCORE 1.75789350731E8
AT ITER 7601 NEW BEST:: SOT 1308761535 SOS 310886453 HAS SOPS 310886453 HAS SOUS 175476822 HAS SOUPS 175476822 WITH SCORE 1.75787708453E8
AT ITER 7602 NEW BEST:: SOT 1308760009 SOS 310887976 HAS SOPS 310887976 HAS SOUS 175475295 HAS SOUPS 175475295 WITH SCORE 1.75786182976E8
AT ITER 7631 NEW BEST:: SOT 1308758587 SOS 310885132 HAS SOPS 310885132 HAS SOUS 175472451 HAS SOUPS 175472451 WITH SCORE 1.75783336132E8
AT ITER 7716 NEW BEST:: SOT 1308758587 SOS 310882563 HAS SOPS 310882563 HAS SOUS 175472451 HAS SOUPS 175472451 WITH SCORE 1.75783333563E8
AT ITER 7725 NEW BEST:: SOT 1308754998 SOS 310875385 HAS SOPS 310875385 HAS SOUS 175468862 HAS SOUPS 175468862 WITH SCORE 1.75779737385E8
AT ITER 7746 NEW BEST:: SOT 1308754997 SOS 310875383 HAS SOPS 310875383 HAS SOUS 175468860 HAS SOUPS 175468860 WITH SCORE 1.75779735383E8
AT ITER 7768 NEW BEST:: SOT 1308596239 SOS 312882814 HAS SOPS 312882814 HAS SOUS 175335425 HAS SOUPS 175335425 WITH SCORE 1.75648307814E8
AT ITER 7786 NEW BEST:: SOT 1308589497 SOS 312882530 HAS SOPS 312882530 HAS SOUS 175335034 HAS SOUPS 175335034 WITH SCORE 1.7564791653E8
AT ITER 7791 NEW BEST:: SOT 1308584284 SOS 312882530 HAS SOPS 312882530 HAS SOUS 175329821 HAS SOUPS 175329821 WITH SCORE 1.7564270353E8
AT ITER 7793 NEW BEST:: SOT 1308583863 SOS 312885467 HAS SOPS 312885467 HAS SOUS 175328978 HAS SOUPS 175328978 WITH SCORE 1.75641863467E8
AT ITER 7847 NEW BEST:: SOT 1308583433 SOS 312885891 HAS SOPS 312885891 HAS SOUS 175328546 HAS SOUPS 175328546 WITH SCORE 1.75641431891E8
AT ITER 7879 NEW BEST:: SOT 1308583433 SOS 312879639 HAS SOPS 312879639 HAS SOUS 175326462 HAS SOUPS 175326462 WITH SCORE 1.75639341639E8
AT ITER 7909 NEW BEST:: SOT 1308579745 SOS 312872263 HAS SOPS 312872263 HAS SOUS 175319086 HAS SOUPS 175319086 WITH SCORE 1.75631958263E8
AT ITER 7946 NEW BEST:: SOT 1308577801 SOS 312894154 HAS SOPS 312894154 HAS SOUS 175318187 HAS SOUPS 175318187 WITH SCORE 1.75631081154E8
AT ITER 7963 NEW BEST:: SOT 1308574088 SOS 312920352 HAS SOPS 312920352 HAS SOUS 175310761 HAS SOUPS 175310761 WITH SCORE 1.75623681352E8
AT ITER 7976 NEW BEST:: SOT 1308574088 SOS 312918274 HAS SOPS 312918274 HAS SOUS 175309722 HAS SOUPS 175309722 WITH SCORE 1.75622640274E8
AT ITER 7986 NEW BEST:: SOT 1308574088 SOS 312918274 HAS SOPS 312918274 HAS SOUS 175301900 HAS SOUPS 175301900 WITH SCORE 1.75614818274E8
AT ITER 8018 NEW BEST:: SOT 1308570514 SOS 312915522 HAS SOPS 312915522 HAS SOUS 175294752 HAS SOUPS 175294752 WITH SCORE 1.75607667522E8
AT ITER 8055 NEW BEST:: SOT 1308561459 SOS 312924577 HAS SOPS 312924577 HAS SOUS 175285697 HAS SOUPS 175285697 WITH SCORE 1.75598621577E8
AT ITER 8066 NEW BEST:: SOT 1308559699 SOS 312929589 HAS SOPS 312929589 HAS SOUS 175283937 HAS SOUPS 175283937 WITH SCORE 1.75596866589E8
AT ITER 8070 NEW BEST:: SOT 1308559699 SOS 312920331 HAS SOPS 312920331 HAS SOUS 175280851 HAS SOUPS 175280851 WITH SCORE 1.75593771331E8
AT ITER 8114 NEW BEST:: SOT 1308557522 SOS 312924677 HAS SOPS 312924677 HAS SOUS 175278672 HAS SOUPS 175278672 WITH SCORE 1.75591596677E8
AT ITER 8122 NEW BEST:: SOT 1308557923 SOS 312923071 HAS SOPS 312923071 HAS SOUS 175278069 HAS SOUPS 175278069 WITH SCORE 1.75590992071E8
AT ITER 8124 NEW BEST:: SOT 1308551656 SOS 312915634 HAS SOPS 312915634 HAS SOUS 175274485 HAS SOUPS 175274485 WITH SCORE 1.75587400634E8
AT ITER 8162 NEW BEST:: SOT 1308544751 SOS 312909573 HAS SOPS 312909573 HAS SOUS 175268424 HAS SOUPS 175268424 WITH SCORE 1.75581333573E8
AT ITER 8208 NEW BEST:: SOT 1308543463 SOS 312906997 HAS SOPS 312906997 HAS SOUS 175265848 HAS SOUPS 175265848 WITH SCORE 1.75578754997E8
AT ITER 8222 NEW BEST:: SOT 1308543463 SOS 312901987 HAS SOPS 312901987 HAS SOUS 175264178 HAS SOUPS 175264178 WITH SCORE 1.75577079987E8
AT ITER 8242 NEW BEST:: SOT 1308542101 SOS 312900625 HAS SOPS 312900625 HAS SOUS 175262816 HAS SOUPS 175262816 WITH SCORE 1.75575716625E8
AT ITER 8272 NEW BEST:: SOT 1308524600 SOS 312887897 HAS SOPS 312887897 HAS SOUS 175258043 HAS SOUPS 175258043 WITH SCORE 1.75570930897E8
AT ITER 8298 NEW BEST:: SOT 1308515851 SOS 312879148 HAS SOPS 312879148 HAS SOUS 175240545 HAS SOUPS 175240545 WITH SCORE 1.75553424148E8
AT ITER 8331 NEW BEST:: SOT 1308515851 SOS 312874810 HAS SOPS 312874810 HAS SOUS 175239099 HAS SOUPS 175239099 WITH SCORE 1.7555197381E8
AT ITER 8339 NEW BEST:: SOT 1308515193 SOS 312873494 HAS SOPS 312873494 HAS SOUS 175237783 HAS SOUPS 175237783 WITH SCORE 1.75550656494E8
AT ITER 8348 NEW BEST:: SOT 1308515193 SOS 312869126 HAS SOPS 312869126 HAS SOUS 175237782 HAS SOUPS 175237782 WITH SCORE 1.75550651126E8
AT ITER 8360 NEW BEST:: SOT 1308515193 SOS 312886909 HAS SOPS 312886909 HAS SOUS 175235804 HAS SOUPS 175235804 WITH SCORE 1.75548690909E8
AT ITER 8377 NEW BEST:: SOT 1308511677 SOS 312930024 HAS SOPS 312930024 HAS SOUS 175228771 HAS SOUPS 175228771 WITH SCORE 1.75541701024E8
AT ITER 8425 NEW BEST:: SOT 1308506744 SOS 312920158 HAS SOPS 312920158 HAS SOUS 175223837 HAS SOUPS 175223837 WITH SCORE 1.75536757158E8
AT ITER 8427 NEW BEST:: SOT 1308506744 SOS 312910372 HAS SOPS 312910372 HAS SOUS 175223837 HAS SOUPS 175223837 WITH SCORE 1.75536747372E8
AT ITER 8435 NEW BEST:: SOT 1308506744 SOS 312902416 HAS SOPS 312902416 HAS SOUS 175221185 HAS SOUPS 175221185 WITH SCORE 1.75534087416E8
AT ITER 8496 NEW BEST:: SOT 1308506743 SOS 312902414 HAS SOPS 312902414 HAS SOUS 175221183 HAS SOUPS 175221183 WITH SCORE 1.75534085414E8
AT ITER 8509 NEW BEST:: SOT 1308506743 SOS 312894809 HAS SOPS 312894809 HAS SOUS 175218648 HAS SOUPS 175218648 WITH SCORE 1.75531542809E8
AT ITER 8590 NEW BEST:: SOT 1308505139 SOS 312891601 HAS SOPS 312891601 HAS SOUS 175217085 HAS SOUPS 175217085 WITH SCORE 1.75529976601E8
AT ITER 8606 NEW BEST:: SOT 1308499196 SOS 312861886 HAS SOPS 312861886 HAS SOUS 175205199 HAS SOUPS 175205199 WITH SCORE 1.75518060886E8
AT ITER 8617 NEW BEST:: SOT 1308095409 SOS 313604668 HAS SOPS 313604668 HAS SOUS 174835913 HAS SOUPS 174835913 WITH SCORE 1.75149517668E8
AT ITER 8622 NEW BEST:: SOT 1308094153 SOS 313602156 HAS SOPS 313602156 HAS SOUS 174828523 HAS SOUPS 174828523 WITH SCORE 1.75142125156E8
AT ITER 8663 NEW BEST:: SOT 1308094082 SOS 313602014 HAS SOPS 313602014 HAS SOUS 174828381 HAS SOUPS 174828381 WITH SCORE 1.75141983014E8
AT ITER 8674 NEW BEST:: SOT 1308088913 SOS 313607183 HAS SOPS 313607183 HAS SOUS 174818043 HAS SOUPS 174818043 WITH SCORE 1.75131650183E8
AT ITER 8681 NEW BEST:: SOT 1308088913 SOS 313595573 HAS SOPS 313595573 HAS SOUS 174818042 HAS SOUPS 174818042 WITH SCORE 1.75131637573E8
AT ITER 8688 NEW BEST:: SOT 1308075273 SOS 313585653 HAS SOPS 313585653 HAS SOUS 174814322 HAS SOUPS 174814322 WITH SCORE 1.75127907653E8
AT ITER 8723 NEW BEST:: SOT 1308073733 SOS 313582573 HAS SOPS 313582573 HAS SOUS 174811242 HAS SOUPS 174811242 WITH SCORE 1.75124824573E8
AT ITER 8732 NEW BEST:: SOT 1308068855 SOS 313587451 HAS SOPS 313587451 HAS SOUS 174806364 HAS SOUPS 174806364 WITH SCORE 1.75119951451E8
AT ITER 8734 NEW BEST:: SOT 1308067984 SOS 313589185 HAS SOPS 313589185 HAS SOUS 174805491 HAS SOUPS 174805491 WITH SCORE 1.75119080185E8
AT ITER 8737 NEW BEST:: SOT 1308066261 SOS 313589866 HAS SOPS 313589866 HAS SOUS 174802045 HAS SOUPS 174802045 WITH SCORE 1.75115634866E8
AT ITER 8784 NEW BEST:: SOT 1308059294 SOS 313588304 HAS SOPS 313588304 HAS SOUS 174800483 HAS SOUPS 174800483 WITH SCORE 1.75114071304E8
AT ITER 8801 NEW BEST:: SOT 1308047397 SOS 313583272 HAS SOPS 313583272 HAS SOUS 174788748 HAS SOUPS 174788748 WITH SCORE 1.75102331272E8
AT ITER 8804 NEW BEST:: SOT 1308047397 SOS 313583412 HAS SOPS 313583412 HAS SOUS 174788746 HAS SOUPS 174788746 WITH SCORE 1.75102329412E8
AT ITER 8811 NEW BEST:: SOT 1308047397 SOS 313584545 HAS SOPS 313584545 HAS SOUS 174788618 HAS SOUPS 174788618 WITH SCORE 1.75102202545E8
AT ITER 8817 NEW BEST:: SOT 1308047238 SOS 313584227 HAS SOPS 313584227 HAS SOUS 174788300 HAS SOUPS 174788300 WITH SCORE 1.75101884227E8
AT ITER 8821 NEW BEST:: SOT 1308046366 SOS 313587819 HAS SOPS 313587819 HAS SOUS 174787948 HAS SOUPS 174787948 WITH SCORE 1.75101535819E8
AT ITER 8831 NEW BEST:: SOT 1308044759 SOS 313587908 HAS SOPS 313587908 HAS SOUS 174787442 HAS SOUPS 174787442 WITH SCORE 1.75101029908E8
AT ITER 8845 NEW BEST:: SOT 1308044351 SOS 313587499 HAS SOPS 313587499 HAS SOUS 174787426 HAS SOUPS 174787426 WITH SCORE 1.75101013499E8
AT ITER 8846 NEW BEST:: SOT 1308044351 SOS 313585589 HAS SOPS 313585589 HAS SOUS 174787426 HAS SOUPS 174787426 WITH SCORE 1.75101011589E8
AT ITER 8873 NEW BEST:: SOT 1308042738 SOS 313582363 HAS SOPS 313582363 HAS SOUS 174784200 HAS SOUPS 174784200 WITH SCORE 1.75097782363E8
AT ITER 8907 NEW BEST:: SOT 1308043078 SOS 313602065 HAS SOPS 313602065 HAS SOUS 174782942 HAS SOUPS 174782942 WITH SCORE 1.75096544065E8
AT ITER 8949 NEW BEST:: SOT 1308043078 SOS 313591847 HAS SOPS 313591847 HAS SOUS 174779536 HAS SOUPS 174779536 WITH SCORE 1.75093127847E8
AT ITER 8977 NEW BEST:: SOT 1308042211 SOS 313590113 HAS SOPS 313590113 HAS SOUS 174772548 HAS SOUPS 174772548 WITH SCORE 1.75086138113E8
AT ITER 8993 NEW BEST:: SOT 1308042211 SOS 313580483 HAS SOPS 313580483 HAS SOUS 174769338 HAS SOUPS 174769338 WITH SCORE 1.75082918483E8
AT ITER 8996 NEW BEST:: SOT 1308041314 SOS 313580483 HAS SOPS 313580483 HAS SOUS 174768441 HAS SOUPS 174768441 WITH SCORE 1.75082021483E8
AT ITER 9006 NEW BEST:: SOT 1308044917 SOS 313578599 HAS SOPS 313578599 HAS SOUS 174766557 HAS SOUPS 174766557 WITH SCORE 1.75080135599E8
AT ITER 9022 NEW BEST:: SOT 1308032200 SOS 313591025 HAS SOPS 313591025 HAS SOUS 174764855 HAS SOUPS 174764855 WITH SCORE 1.75078446025E8
AT ITER 9024 NEW BEST:: SOT 1308028598 SOS 313601613 HAS SOPS 313601613 HAS SOUS 174762289 HAS SOUPS 174762289 WITH SCORE 1.75075890613E8
AT ITER 9031 NEW BEST:: SOT 1308028598 SOS 313601613 HAS SOPS 313601613 HAS SOUS 174762288 HAS SOUPS 174762288 WITH SCORE 1.75075889613E8
AT ITER 9061 NEW BEST:: SOT 1308026830 SOS 313599845 HAS SOPS 313599845 HAS SOUS 174760520 HAS SOUPS 174760520 WITH SCORE 1.75074119845E8
AT ITER 9075 NEW BEST:: SOT 1308023386 SOS 313603289 HAS SOPS 313603289 HAS SOUS 174759193 HAS SOUPS 174759193 WITH SCORE 1.75072796289E8
AT ITER 9113 NEW BEST:: SOT 1308021034 SOS 313601386 HAS SOPS 313601386 HAS SOUS 174757085 HAS SOUPS 174757085 WITH SCORE 1.75070686386E8
AT ITER 9122 NEW BEST:: SOT 1308019278 SOS 313599630 HAS SOPS 313599630 HAS SOUS 174755329 HAS SOUPS 174755329 WITH SCORE 1.7506892863E8
AT ITER 9135 NEW BEST:: SOT 1308011924 SOS 313600780 HAS SOPS 313600780 HAS SOUS 174754590 HAS SOUPS 174754590 WITH SCORE 1.7506819078E8
AT ITER 9213 NEW BEST:: SOT 1308005487 SOS 313594343 HAS SOPS 313594343 HAS SOUS 174748153 HAS SOUPS 174748153 WITH SCORE 1.75061747343E8
AT ITER 9223 NEW BEST:: SOT 1307998752 SOS 313584251 HAS SOPS 313584251 HAS SOUS 174740788 HAS SOUPS 174740788 WITH SCORE 1.75054372251E8
AT ITER 9229 NEW BEST:: SOT 1307994060 SOS 313574867 HAS SOPS 313574867 HAS SOUS 174731404 HAS SOUPS 174731404 WITH SCORE 1.75044978867E8
AT ITER 9251 NEW BEST:: SOT 1307989128 SOS 313569935 HAS SOPS 313569935 HAS SOUS 174726472 HAS SOUPS 174726472 WITH SCORE 1.75040041935E8
AT ITER 9281 NEW BEST:: SOT 1307985963 SOS 313566770 HAS SOPS 313566770 HAS SOUS 174726472 HAS SOUPS 174726472 WITH SCORE 1.7504003877E8
AT ITER 9284 NEW BEST:: SOT 1307985029 SOS 313564902 HAS SOPS 313564902 HAS SOUS 174719293 HAS SOUPS 174719293 WITH SCORE 1.75032857902E8
AT ITER 9293 NEW BEST:: SOT 1307983880 SOS 313562604 HAS SOPS 313562604 HAS SOUS 174716995 HAS SOUPS 174716995 WITH SCORE 1.75030557604E8
AT ITER 9304 NEW BEST:: SOT 1307982263 SOS 313565830 HAS SOPS 313565830 HAS SOUS 174715376 HAS SOUPS 174715376 WITH SCORE 1.7502894183E8
AT ITER 9307 NEW BEST:: SOT 1307982263 SOS 313556890 HAS SOPS 313556890 HAS SOUS 174712396 HAS SOUPS 174712396 WITH SCORE 1.7502595289E8
AT ITER 9322 NEW BEST:: SOT 1307982052 SOS 313556468 HAS SOPS 313556468 HAS SOUS 174711974 HAS SOUPS 174711974 WITH SCORE 1.75025530468E8
AT ITER 9362 NEW BEST:: SOT 1307982052 SOS 313556468 HAS SOPS 313556468 HAS SOUS 174711677 HAS SOUPS 174711677 WITH SCORE 1.75025233468E8
AT ITER 9411 NEW BEST:: SOT 1307976024 SOS 313551991 HAS SOPS 313551991 HAS SOUS 174706268 HAS SOUPS 174706268 WITH SCORE 1.75019819991E8
AT ITER 9432 NEW BEST:: SOT 1307976024 SOS 313549826 HAS SOPS 313549826 HAS SOUS 174704103 HAS SOUPS 174704103 WITH SCORE 1.75017652826E8
AT ITER 9449 NEW BEST:: SOT 1307974710 SOS 313547198 HAS SOPS 313547198 HAS SOUS 174701475 HAS SOUPS 174701475 WITH SCORE 1.75015022198E8
AT ITER 9516 NEW BEST:: SOT 1307974710 SOS 313537532 HAS SOPS 313537532 HAS SOUS 174698253 HAS SOUPS 174698253 WITH SCORE 1.75011790532E8
AT ITER 9517 NEW BEST:: SOT 1307970502 SOS 313529116 HAS SOPS 313529116 HAS SOUS 174688861 HAS SOUPS 174688861 WITH SCORE 1.75002390116E8
AT ITER 9520 NEW BEST:: SOT 1307970501 SOS 313529114 HAS SOPS 313529114 HAS SOUS 174688859 HAS SOUPS 174688859 WITH SCORE 1.75002388114E8
AT ITER 9526 NEW BEST:: SOT 1307969865 SOS 313528796 HAS SOPS 313528796 HAS SOUS 174688541 HAS SOUPS 174688541 WITH SCORE 1.75002069796E8
AT ITER 9529 NEW BEST:: SOT 1307963403 SOS 313525561 HAS SOPS 313525561 HAS SOUS 174685309 HAS SOUPS 174685309 WITH SCORE 1.74998834561E8
AT ITER 9532 NEW BEST:: SOT 1307957864 SOS 313525551 HAS SOPS 313525551 HAS SOUS 174682200 HAS SOUPS 174682200 WITH SCORE 1.74995725551E8
AT ITER 9538 NEW BEST:: SOT 1307956169 SOS 313531605 HAS SOPS 313531605 HAS SOUS 174680505 HAS SOUPS 174680505 WITH SCORE 1.74994036605E8
AT ITER 9548 NEW BEST:: SOT 1307954756 SOS 313528779 HAS SOPS 313528779 HAS SOUS 174677679 HAS SOUPS 174677679 WITH SCORE 1.74991207779E8
AT ITER 9604 NEW BEST:: SOT 1307950475 SOS 313520217 HAS SOPS 313520217 HAS SOUS 174669117 HAS SOUPS 174669117 WITH SCORE 1.74982637217E8
AT ITER 9631 NEW BEST:: SOT 1307947890 SOS 313522799 HAS SOPS 313522799 HAS SOUS 174666531 HAS SOUPS 174666531 WITH SCORE 1.74980053799E8
AT ITER 9650 NEW BEST:: SOT 1307944733 SOS 313522795 HAS SOPS 313522795 HAS SOUS 174664476 HAS SOUPS 174664476 WITH SCORE 1.74977998795E8
AT ITER 9654 NEW BEST:: SOT 1307938002 SOS 313517612 HAS SOPS 313517612 HAS SOUS 174659293 HAS SOUPS 174659293 WITH SCORE 1.74972810612E8
AT ITER 9657 NEW BEST:: SOT 1307935670 SOS 313522272 HAS SOPS 313522272 HAS SOUS 174656960 HAS SOUPS 174656960 WITH SCORE 1.74970482272E8
AT ITER 9658 NEW BEST:: SOT 1307933599 SOS 313518130 HAS SOPS 313518130 HAS SOUS 174652818 HAS SOUPS 174652818 WITH SCORE 1.7496633613E8
AT ITER 9659 NEW BEST:: SOT 1307932054 SOS 313515040 HAS SOPS 313515040 HAS SOUS 174649728 HAS SOUPS 174649728 WITH SCORE 1.7496324304E8
AT ITER 9675 NEW BEST:: SOT 1307931333 SOS 313513594 HAS SOPS 313513594 HAS SOUS 174648285 HAS SOUPS 174648285 WITH SCORE 1.74961798594E8
AT ITER 9700 NEW BEST:: SOT 1307924181 SOS 313495714 HAS SOPS 313495714 HAS SOUS 174641133 HAS SOUPS 174641133 WITH SCORE 1.74954628714E8
AT ITER 9713 NEW BEST:: SOT 1307922492 SOS 313502077 HAS SOPS 313502077 HAS SOUS 174639444 HAS SOUPS 174639444 WITH SCORE 1.74952946077E8
AT ITER 9728 NEW BEST:: SOT 1307921749 SOS 313500592 HAS SOPS 313500592 HAS SOUS 174637959 HAS SOUPS 174637959 WITH SCORE 1.74951459592E8
AT ITER 9744 NEW BEST:: SOT 1307920069 SOS 313497232 HAS SOPS 313497232 HAS SOUS 174634599 HAS SOUPS 174634599 WITH SCORE 1.74948096232E8
AT ITER 9748 NEW BEST:: SOT 1307917567 SOS 313492228 HAS SOPS 313492228 HAS SOUS 174629595 HAS SOUPS 174629595 WITH SCORE 1.74943087228E8
AT ITER 9754 NEW BEST:: SOT 1307914101 SOS 313491606 HAS SOPS 313491606 HAS SOUS 174627550 HAS SOUPS 174627550 WITH SCORE 1.74941041606E8
AT ITER 9766 NEW BEST:: SOT 1307907345 SOS 313488228 HAS SOPS 313488228 HAS SOUS 174624172 HAS SOUPS 174624172 WITH SCORE 1.74937660228E8
AT ITER 9767 NEW BEST:: SOT 1307907345 SOS 313511025 HAS SOPS 313511025 HAS SOUS 174621694 HAS SOUPS 174621694 WITH SCORE 1.74935205025E8
AT ITER 9790 NEW BEST:: SOT 1307905800 SOS 313507935 HAS SOPS 313507935 HAS SOUS 174620149 HAS SOUPS 174620149 WITH SCORE 1.74933656935E8
AT ITER 9800 NEW BEST:: SOT 1307904828 SOS 313506963 HAS SOPS 313506963 HAS SOUS 174619177 HAS SOUPS 174619177 WITH SCORE 1.74932683963E8
AT ITER 9815 NEW BEST:: SOT 1307906633 SOS 313498090 HAS SOPS 313498090 HAS SOUS 174618002 HAS SOUPS 174618002 WITH SCORE 1.7493150009E8
AT ITER 9831 NEW BEST:: SOT 1307906633 SOS 313498090 HAS SOPS 313498090 HAS SOUS 174605501 HAS SOUPS 174605501 WITH SCORE 1.7491899909E8
AT ITER 9853 NEW BEST:: SOT 1307905021 SOS 313494866 HAS SOPS 313494866 HAS SOUS 174602277 HAS SOUPS 174602277 WITH SCORE 1.74915771866E8
AT ITER 9903 NEW BEST:: SOT 1307899036 SOS 313464941 HAS SOPS 313464941 HAS SOUS 174590307 HAS SOUPS 174590307 WITH SCORE 1.74903771941E8
AT ITER 9905 NEW BEST:: SOT 1307895686 SOS 313468287 HAS SOPS 313468287 HAS SOUS 174583606 HAS SOUPS 174583606 WITH SCORE 1.74897074287E8
AT ITER 9919 NEW BEST:: SOT 1307892387 SOS 313461689 HAS SOPS 313461689 HAS SOUS 174580932 HAS SOUPS 174580932 WITH SCORE 1.74894393689E8
AT ITER 9929 NEW BEST:: SOT 1307892387 SOS 313458850 HAS SOPS 313458850 HAS SOUS 174578093 HAS SOUPS 174578093 WITH SCORE 1.7489155185E8
AT ITER 9930 NEW BEST:: SOT 1307892387 SOS 313456129 HAS SOPS 313456129 HAS SOUS 174577186 HAS SOUPS 174577186 WITH SCORE 1.74890642129E8
AT ITER 9940 NEW BEST:: SOT 1307889478 SOS 313450311 HAS SOPS 313450311 HAS SOUS 174575739 HAS SOUPS 174575739 WITH SCORE 1.74889189311E8
AT ITER 9958 NEW BEST:: SOT 1307893211 SOS 313437788 HAS SOPS 313437788 HAS SOUS 174574675 HAS SOUPS 174574675 WITH SCORE 1.74888112788E8
AT ITER 9967 NEW BEST:: SOT 1307893211 SOS 313436005 HAS SOPS 313436005 HAS SOUS 174574675 HAS SOUPS 174574675 WITH SCORE 1.74888111005E8
AT ITER 9972 NEW BEST:: SOT 1307893211 SOS 313427161 HAS SOPS 313427161 HAS SOUS 174571727 HAS SOUPS 174571727 WITH SCORE 1.74885154161E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13381992 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16118880 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="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"
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 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 r099-tall-167814472600600"
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 '' 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 ;