Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900548.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900548
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 36M
-rw-r--r-- 1 mcc users 4.3K May 14 05:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 05:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 13 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K May 13 16:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 16:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 35M May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590474061381

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A06
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 32767 places, 49149 transitions, 114681 arcs.
AT ITER 0 NEW BEST:: SOT 1093800749 SOS 691278623 HAS SOPS 691278623 HAS SOUS 208111196 HAS SOUPS 208111196 WITH SCORE 2.08802474623E8
AT ITER 4 NEW BEST:: SOT 1093792187 SOS 691257216 HAS SOPS 691257216 HAS SOUS 208111194 HAS SOUPS 208111194 WITH SCORE 2.08802451216E8
AT ITER 10 NEW BEST:: SOT 1093774579 SOS 691213196 HAS SOPS 691213196 HAS SOUS 208111194 HAS SOUPS 208111194 WITH SCORE 2.08802407196E8
AT ITER 13 NEW BEST:: SOT 1093762795 SOS 691183733 HAS SOPS 691183733 HAS SOUS 208111189 HAS SOUPS 208111189 WITH SCORE 2.08802372733E8
AT ITER 19 NEW BEST:: SOT 1093733127 SOS 691109562 HAS SOPS 691109562 HAS SOUS 208111188 HAS SOUPS 208111188 WITH SCORE 2.08802297562E8
AT ITER 37 NEW BEST:: SOT 1093712609 SOS 691058265 HAS SOPS 691058265 HAS SOUS 208111186 HAS SOUPS 208111186 WITH SCORE 2.08802244265E8
AT ITER 59 NEW BEST:: SOT 1093705597 SOS 691040735 HAS SOPS 691040735 HAS SOUS 208111186 HAS SOUPS 208111186 WITH SCORE 2.08802226735E8
AT ITER 67 NEW BEST:: SOT 1093694353 SOS 691012625 HAS SOPS 691012625 HAS SOUS 208111186 HAS SOUPS 208111186 WITH SCORE 2.08802198625E8
AT ITER 85 NEW BEST:: SOT 1093683637 SOS 690985834 HAS SOPS 690985834 HAS SOUS 208111185 HAS SOUPS 208111185 WITH SCORE 2.08802170834E8
AT ITER 101 NEW BEST:: SOT 1093633240 SOS 690885037 HAS SOPS 690885037 HAS SOUS 208104108 HAS SOUPS 208104108 WITH SCORE 2.08794993037E8
AT ITER 103 NEW BEST:: SOT 1093603504 SOS 690810694 HAS SOPS 690810694 HAS SOUS 208104103 HAS SOUPS 208104103 WITH SCORE 2.08794913694E8
AT ITER 105 NEW BEST:: SOT 1093571806 SOS 690731447 HAS SOPS 690731447 HAS SOUS 208104101 HAS SOUPS 208104101 WITH SCORE 2.08794832447E8
AT ITER 106 NEW BEST:: SOT 1093561975 SOS 690711783 HAS SOPS 690711783 HAS SOUS 208100822 HAS SOUPS 208100822 WITH SCORE 2.08791533783E8
AT ITER 115 NEW BEST:: SOT 1093544275 SOS 690667532 HAS SOPS 690667532 HAS SOUS 208100821 HAS SOUPS 208100821 WITH SCORE 2.08791488532E8
AT ITER 117 NEW BEST:: SOT 1093529747 SOS 690631210 HAS SOPS 690631210 HAS SOUS 208100819 HAS SOUPS 208100819 WITH SCORE 2.0879145021E8
AT ITER 119 NEW BEST:: SOT 1093498313 SOS 690552623 HAS SOPS 690552623 HAS SOUS 208100817 HAS SOUPS 208100817 WITH SCORE 2.08791369623E8
AT ITER 134 NEW BEST:: SOT 1093468819 SOS 690478886 HAS SOPS 690478886 HAS SOUS 208100815 HAS SOUPS 208100815 WITH SCORE 2.08791293886E8
AT ITER 144 NEW BEST:: SOT 1093418498 SOS 690378241 HAS SOPS 690378241 HAS SOUS 208087940 HAS SOUPS 208087940 WITH SCORE 2.08778318241E8
AT ITER 148 NEW BEST:: SOT 1093397972 SOS 690326924 HAS SOPS 690326924 HAS SOUS 208087938 HAS SOUPS 208087938 WITH SCORE 2.08778264924E8
AT ITER 168 NEW BEST:: SOT 1093391075 SOS 690313127 HAS SOPS 690313127 HAS SOUS 208085634 HAS SOUPS 208085634 WITH SCORE 2.08775947127E8
AT ITER 171 NEW BEST:: SOT 1093365779 SOS 690249884 HAS SOPS 690249884 HAS SOUS 208085629 HAS SOUPS 208085629 WITH SCORE 2.08775878884E8
AT ITER 180 NEW BEST:: SOT 1093314414 SOS 690147149 HAS SOPS 690147149 HAS SOUS 208074339 HAS SOUPS 208074339 WITH SCORE 2.08764486149E8
AT ITER 199 NEW BEST:: SOT 1093311597 SOS 690141515 HAS SOPS 690141515 HAS SOUS 208073400 HAS SOUPS 208073400 WITH SCORE 2.08763541515E8
AT ITER 207 NEW BEST:: SOT 1093292647 SOS 690094137 HAS SOPS 690094137 HAS SOUS 208073395 HAS SOUPS 208073395 WITH SCORE 2.08763489137E8
AT ITER 211 NEW BEST:: SOT 1093286085 SOS 690077732 HAS SOPS 690077732 HAS SOUS 208073395 HAS SOUPS 208073395 WITH SCORE 2.08763472732E8
AT ITER 229 NEW BEST:: SOT 1093253671 SOS 689996694 HAS SOPS 689996694 HAS SOUS 208073390 HAS SOUPS 208073390 WITH SCORE 2.08763386694E8
AT ITER 236 NEW BEST:: SOT 1093242133 SOS 689967848 HAS SOPS 689967848 HAS SOUS 208073389 HAS SOUPS 208073389 WITH SCORE 2.08763356848E8
AT ITER 237 NEW BEST:: SOT 1093233707 SOS 689946783 HAS SOPS 689946783 HAS SOUS 208073389 HAS SOUPS 208073389 WITH SCORE 2.08763335783E8
AT ITER 238 NEW BEST:: SOT 1093183274 SOS 689845912 HAS SOPS 689845912 HAS SOUS 208061243 HAS SOUPS 208061243 WITH SCORE 2.08751088912E8
AT ITER 240 NEW BEST:: SOT 1093151844 SOS 689767335 HAS SOPS 689767335 HAS SOUS 208061241 HAS SOUPS 208061241 WITH SCORE 2.08751008335E8
AT ITER 250 NEW BEST:: SOT 1093131962 SOS 689717630 HAS SOPS 689717630 HAS SOUS 208061241 HAS SOUPS 208061241 WITH SCORE 2.0875095863E8
AT ITER 254 NEW BEST:: SOT 1093120400 SOS 689688722 HAS SOPS 689688722 HAS SOUS 208061236 HAS SOUPS 208061236 WITH SCORE 2.08750924722E8
AT ITER 264 NEW BEST:: SOT 1093119048 SOS 689685340 HAS SOPS 689685340 HAS SOUS 208061234 HAS SOUPS 208061234 WITH SCORE 2.0875091934E8
AT ITER 274 NEW BEST:: SOT 1093098286 SOS 689633433 HAS SOPS 689633433 HAS SOUS 208061232 HAS SOUPS 208061232 WITH SCORE 2.08750865433E8
AT ITER 276 NEW BEST:: SOT 1093074958 SOS 689575112 HAS SOPS 689575112 HAS SOUS 208061231 HAS SOUPS 208061231 WITH SCORE 2.08750806112E8
AT ITER 283 NEW BEST:: SOT 1093055246 SOS 689525829 HAS SOPS 689525829 HAS SOUS 208061226 HAS SOUPS 208061226 WITH SCORE 2.08750751829E8
AT ITER 318 NEW BEST:: SOT 1093046708 SOS 689504483 HAS SOPS 689504483 HAS SOUS 208061225 HAS SOUPS 208061225 WITH SCORE 2.08750729483E8
AT ITER 326 NEW BEST:: SOT 1093015444 SOS 689426320 HAS SOPS 689426320 HAS SOUS 208061220 HAS SOUPS 208061220 WITH SCORE 2.0875064632E8
AT ITER 333 NEW BEST:: SOT 1092998492 SOS 689383939 HAS SOPS 689383939 HAS SOUS 208061219 HAS SOUPS 208061219 WITH SCORE 2.08750602939E8
AT ITER 335 NEW BEST:: SOT 1092990388 SOS 689363678 HAS SOPS 689363678 HAS SOUS 208061218 HAS SOUPS 208061218 WITH SCORE 2.08750581678E8
AT ITER 339 NEW BEST:: SOT 1092983730 SOS 689347033 HAS SOPS 689347033 HAS SOUS 208061218 HAS SOUPS 208061218 WITH SCORE 2.08750565033E8
AT ITER 346 NEW BEST:: SOT 1092971078 SOS 689315401 HAS SOPS 689315401 HAS SOUS 208061216 HAS SOUPS 208061216 WITH SCORE 2.08750531401E8
AT ITER 357 NEW BEST:: SOT 1092960284 SOS 689288415 HAS SOPS 689288415 HAS SOUS 208061215 HAS SOUPS 208061215 WITH SCORE 2.08750503415E8
AT ITER 386 NEW BEST:: SOT 1092958352 SOS 689283584 HAS SOPS 689283584 HAS SOUS 208061214 HAS SOUPS 208061214 WITH SCORE 2.08750497584E8
AT ITER 391 NEW BEST:: SOT 1092950862 SOS 689264858 HAS SOPS 689264858 HAS SOUS 208061213 HAS SOUPS 208061213 WITH SCORE 2.08750477858E8
AT ITER 394 NEW BEST:: SOT 1092923070 SOS 689195377 HAS SOPS 689195377 HAS SOUS 208061212 HAS SOUPS 208061212 WITH SCORE 2.08750407377E8
AT ITER 402 NEW BEST:: SOT 1092892256 SOS 689118342 HAS SOPS 689118342 HAS SOUS 208061212 HAS SOUPS 208061212 WITH SCORE 2.08750330342E8
AT ITER 410 NEW BEST:: SOT 1092873626 SOS 689071765 HAS SOPS 689071765 HAS SOUS 208061210 HAS SOUPS 208061210 WITH SCORE 2.08750281765E8
AT ITER 411 NEW BEST:: SOT 1092821997 SOS 688968502 HAS SOPS 688968502 HAS SOUS 208052303 HAS SOUPS 208052303 WITH SCORE 2.08741271502E8
AT ITER 422 NEW BEST:: SOT 1092769586 SOS 688863676 HAS SOPS 688863676 HAS SOUS 208041597 HAS SOUPS 208041597 WITH SCORE 2.08730460676E8
AT ITER 423 NEW BEST:: SOT 1092763042 SOS 688847313 HAS SOPS 688847313 HAS SOUS 208041592 HAS SOUPS 208041592 WITH SCORE 2.08730439313E8
AT ITER 426 NEW BEST:: SOT 1092736602 SOS 688781210 HAS SOPS 688781210 HAS SOUS 208041587 HAS SOUPS 208041587 WITH SCORE 2.0873036821E8
AT ITER 433 NEW BEST:: SOT 1092720848 SOS 688741822 HAS SOPS 688741822 HAS SOUS 208041582 HAS SOUPS 208041582 WITH SCORE 2.08730323822E8
AT ITER 441 NEW BEST:: SOT 1092697116 SOS 688682490 HAS SOPS 688682490 HAS SOUS 208041580 HAS SOUPS 208041580 WITH SCORE 2.0873026249E8
AT ITER 442 NEW BEST:: SOT 1092684416 SOS 688650740 HAS SOPS 688650740 HAS SOUS 208041580 HAS SOUPS 208041580 WITH SCORE 2.0873023074E8
AT ITER 458 NEW BEST:: SOT 1092671790 SOS 688619173 HAS SOPS 688619173 HAS SOUS 208041578 HAS SOUPS 208041578 WITH SCORE 2.08730197173E8
AT ITER 460 NEW BEST:: SOT 1092662220 SOS 688595245 HAS SOPS 688595245 HAS SOUS 208041573 HAS SOUPS 208041573 WITH SCORE 2.08730168245E8
AT ITER 462 NEW BEST:: SOT 1092658656 SOS 688586332 HAS SOPS 688586332 HAS SOUS 208041568 HAS SOUPS 208041568 WITH SCORE 2.08730154332E8
AT ITER 483 NEW BEST:: SOT 1092654082 SOS 688574895 HAS SOPS 688574895 HAS SOUS 208041566 HAS SOUPS 208041566 WITH SCORE 2.08730140895E8
AT ITER 487 NEW BEST:: SOT 1092632526 SOS 688521002 HAS SOPS 688521002 HAS SOUS 208041561 HAS SOUPS 208041561 WITH SCORE 2.08730082002E8
AT ITER 488 NEW BEST:: SOT 1092597746 SOS 688434049 HAS SOPS 688434049 HAS SOUS 208041556 HAS SOUPS 208041556 WITH SCORE 2.08729990049E8
AT ITER 506 NEW BEST:: SOT 1092575222 SOS 688377739 HAS SOPS 688377739 HAS SOUS 208041556 HAS SOUPS 208041556 WITH SCORE 2.08729933739E8
AT ITER 507 NEW BEST:: SOT 1092556978 SOS 688332128 HAS SOPS 688332128 HAS SOUS 208041555 HAS SOUPS 208041555 WITH SCORE 2.08729887128E8
AT ITER 509 NEW BEST:: SOT 1092504539 SOS 688227246 HAS SOPS 688227246 HAS SOUS 208031009 HAS SOUPS 208031009 WITH SCORE 2.08719236246E8
AT ITER 513 NEW BEST:: SOT 1092480639 SOS 688167493 HAS SOPS 688167493 HAS SOUS 208031004 HAS SOUPS 208031004 WITH SCORE 2.08719171493E8
AT ITER 521 NEW BEST:: SOT 1092457289 SOS 688109115 HAS SOPS 688109115 HAS SOUS 208030999 HAS SOUPS 208030999 WITH SCORE 2.08719108115E8
AT ITER 532 NEW BEST:: SOT 1092453969 SOS 688100812 HAS SOPS 688100812 HAS SOUS 208030994 HAS SOUPS 208030994 WITH SCORE 2.08719094812E8
AT ITER 536 NEW BEST:: SOT 1092441357 SOS 688069280 HAS SOPS 688069280 HAS SOUS 208030992 HAS SOUPS 208030992 WITH SCORE 2.0871906128E8
AT ITER 537 NEW BEST:: SOT 1092417817 SOS 688010428 HAS SOPS 688010428 HAS SOUS 208030990 HAS SOUPS 208030990 WITH SCORE 2.08719000428E8
AT ITER 539 NEW BEST:: SOT 1092409467 SOS 687989553 HAS SOPS 687989553 HAS SOUS 208030990 HAS SOUPS 208030990 WITH SCORE 2.08718979553E8
AT ITER 547 NEW BEST:: SOT 1092395979 SOS 687955831 HAS SOPS 687955831 HAS SOUS 208030988 HAS SOUPS 208030988 WITH SCORE 2.08718943831E8
AT ITER 551 NEW BEST:: SOT 1092383139 SOS 687923731 HAS SOPS 687923731 HAS SOUS 208030988 HAS SOUPS 208030988 WITH SCORE 2.08718911731E8
AT ITER 584 NEW BEST:: SOT 1092362125 SOS 687871196 HAS SOPS 687871196 HAS SOUS 208030988 HAS SOUPS 208030988 WITH SCORE 2.08718859196E8
AT ITER 586 NEW BEST:: SOT 1092312668 SOS 687772277 HAS SOPS 687772277 HAS SOUS 208027379 HAS SOUPS 208027379 WITH SCORE 2.08715151277E8
AT ITER 587 NEW BEST:: SOT 1092312668 SOS 687772276 HAS SOPS 687772276 HAS SOUS 208027378 HAS SOUPS 208027378 WITH SCORE 2.08715150276E8
AT ITER 598 NEW BEST:: SOT 1092284170 SOS 687701031 HAS SOPS 687701031 HAS SOUS 208027378 HAS SOUPS 208027378 WITH SCORE 2.08715079031E8
AT ITER 599 NEW BEST:: SOT 1092271840 SOS 687676371 HAS SOPS 687676371 HAS SOUS 208023268 HAS SOUPS 208023268 WITH SCORE 2.08710944371E8
AT ITER 605 NEW BEST:: SOT 1092239482 SOS 687595476 HAS SOPS 687595476 HAS SOUS 208023268 HAS SOUPS 208023268 WITH SCORE 2.08710863476E8
AT ITER 606 NEW BEST:: SOT 1092207852 SOS 687516399 HAS SOPS 687516399 HAS SOUS 208023266 HAS SOUPS 208023266 WITH SCORE 2.08710782399E8
AT ITER 611 NEW BEST:: SOT 1092177950 SOS 687441643 HAS SOPS 687441643 HAS SOUS 208023265 HAS SOUPS 208023265 WITH SCORE 2.08710706643E8
AT ITER 632 NEW BEST:: SOT 1092161866 SOS 687401430 HAS SOPS 687401430 HAS SOUS 208023260 HAS SOUPS 208023260 WITH SCORE 2.0871066143E8
AT ITER 635 NEW BEST:: SOT 1092132688 SOS 687328482 HAS SOPS 687328482 HAS SOUS 208023255 HAS SOUPS 208023255 WITH SCORE 2.08710583482E8
AT ITER 651 NEW BEST:: SOT 1092120524 SOS 687298069 HAS SOPS 687298069 HAS SOUS 208023250 HAS SOUPS 208023250 WITH SCORE 2.08710548069E8
AT ITER 656 NEW BEST:: SOT 1092097248 SOS 687239878 HAS SOPS 687239878 HAS SOUS 208023249 HAS SOUPS 208023249 WITH SCORE 2.08710488878E8
AT ITER 665 NEW BEST:: SOT 1092090652 SOS 687223386 HAS SOPS 687223386 HAS SOUS 208023247 HAS SOUPS 208023247 WITH SCORE 2.08710470386E8
AT ITER 693 NEW BEST:: SOT 1092072412 SOS 687177783 HAS SOPS 687177783 HAS SOUS 208023242 HAS SOUPS 208023242 WITH SCORE 2.08710419783E8
AT ITER 697 NEW BEST:: SOT 1092057416 SOS 687140292 HAS SOPS 687140292 HAS SOUS 208023241 HAS SOUPS 208023241 WITH SCORE 2.08710381292E8
AT ITER 708 NEW BEST:: SOT 1092045354 SOS 687110136 HAS SOPS 687110136 HAS SOUS 208023240 HAS SOUPS 208023240 WITH SCORE 2.08710350136E8
AT ITER 711 NEW BEST:: SOT 1092024380 SOS 687057699 HAS SOPS 687057699 HAS SOUS 208023238 HAS SOUPS 208023238 WITH SCORE 2.08710295699E8
AT ITER 719 NEW BEST:: SOT 1091995224 SOS 686970822 HAS SOPS 686970822 HAS SOUS 208013269 HAS SOUPS 208013269 WITH SCORE 2.08700239822E8
AT ITER 720 NEW BEST:: SOT 1091988652 SOS 686954389 HAS SOPS 686954389 HAS SOUS 208013264 HAS SOUPS 208013264 WITH SCORE 2.08700218389E8
AT ITER 721 NEW BEST:: SOT 1091982692 SOS 686939486 HAS SOPS 686939486 HAS SOUS 208013259 HAS SOUPS 208013259 WITH SCORE 2.08700198486E8
AT ITER 734 NEW BEST:: SOT 1091949586 SOS 686856720 HAS SOPS 686856720 HAS SOUS 208013258 HAS SOUPS 208013258 WITH SCORE 2.0870011472E8
AT ITER 741 NEW BEST:: SOT 1091927028 SOS 686800324 HAS SOPS 686800324 HAS SOUS 208013257 HAS SOUPS 208013257 WITH SCORE 2.08700057324E8
AT ITER 742 NEW BEST:: SOT 1091917312 SOS 686776034 HAS SOPS 686776034 HAS SOUS 208013257 HAS SOUPS 208013257 WITH SCORE 2.08700033034E8
AT ITER 751 NEW BEST:: SOT 1091893584 SOS 686716712 HAS SOPS 686716712 HAS SOUS 208013255 HAS SOUPS 208013255 WITH SCORE 2.08699971712E8
AT ITER 758 NEW BEST:: SOT 1091867486 SOS 686651465 HAS SOPS 686651465 HAS SOUS 208013253 HAS SOUPS 208013253 WITH SCORE 2.08699904465E8
AT ITER 766 NEW BEST:: SOT 1091857050 SOS 686625375 HAS SOPS 686625375 HAS SOUS 208013253 HAS SOUPS 208013253 WITH SCORE 2.08699878375E8
AT ITER 784 NEW BEST:: SOT 1091825706 SOS 686547014 HAS SOPS 686547014 HAS SOUS 208013252 HAS SOUPS 208013252 WITH SCORE 2.08699799014E8
AT ITER 791 NEW BEST:: SOT 1091822556 SOS 686539136 HAS SOPS 686539136 HAS SOUS 208013247 HAS SOUPS 208013247 WITH SCORE 2.08699786136E8
AT ITER 796 NEW BEST:: SOT 1091800516 SOS 686484033 HAS SOPS 686484033 HAS SOUS 208013242 HAS SOUPS 208013242 WITH SCORE 2.08699726033E8
AT ITER 807 NEW BEST:: SOT 1091779392 SOS 686431220 HAS SOPS 686431220 HAS SOUS 208013237 HAS SOUPS 208013237 WITH SCORE 2.0869966822E8
AT ITER 817 NEW BEST:: SOT 1091747748 SOS 686352108 HAS SOPS 686352108 HAS SOUS 208013235 HAS SOUPS 208013235 WITH SCORE 2.08699587108E8
AT ITER 821 NEW BEST:: SOT 1091714282 SOS 686268443 HAS SOPS 686268443 HAS SOUS 208013235 HAS SOUPS 208013235 WITH SCORE 2.08699503443E8
AT ITER 824 NEW BEST:: SOT 1091686306 SOS 686198501 HAS SOPS 686198501 HAS SOUS 208013233 HAS SOUPS 208013233 WITH SCORE 2.08699431501E8
AT ITER 830 NEW BEST:: SOT 1091664952 SOS 686145115 HAS SOPS 686145115 HAS SOUS 208013232 HAS SOUPS 208013232 WITH SCORE 2.08699377115E8
AT ITER 835 NEW BEST:: SOT 1091648336 SOS 686103574 HAS SOPS 686103574 HAS SOUS 208013231 HAS SOUPS 208013231 WITH SCORE 2.08699334574E8
AT ITER 837 NEW BEST:: SOT 1091598454 SOS 686003804 HAS SOPS 686003804 HAS SOUS 208002194 HAS SOUPS 208002194 WITH SCORE 2.08688197804E8
AT ITER 843 NEW BEST:: SOT 1091581038 SOS 685960262 HAS SOPS 685960262 HAS SOUS 208002192 HAS SOUPS 208002192 WITH SCORE 2.08688152262E8
AT ITER 846 NEW BEST:: SOT 1091576780 SOS 685949617 HAS SOPS 685949617 HAS SOUS 208002192 HAS SOUPS 208002192 WITH SCORE 2.08688141617E8
AT ITER 863 NEW BEST:: SOT 1091529488 SOS 685855029 HAS SOPS 685855029 HAS SOUS 208000779 HAS SOUPS 208000779 WITH SCORE 2.08686634029E8
AT ITER 871 NEW BEST:: SOT 1091504224 SOS 685791868 HAS SOPS 685791868 HAS SOUS 208000778 HAS SOUPS 208000778 WITH SCORE 2.08686569868E8
AT ITER 882 NEW BEST:: SOT 1091478466 SOS 685740352 HAS SOPS 685740352 HAS SOUS 207993417 HAS SOUPS 207993417 WITH SCORE 2.08679157352E8
AT ITER 884 NEW BEST:: SOT 1091461508 SOS 685697955 HAS SOPS 685697955 HAS SOUS 207993415 HAS SOUPS 207993415 WITH SCORE 2.08679112955E8
AT ITER 885 NEW BEST:: SOT 1091448412 SOS 685665213 HAS SOPS 685665213 HAS SOUS 207993413 HAS SOUPS 207993413 WITH SCORE 2.08679078213E8
AT ITER 891 NEW BEST:: SOT 1091434426 SOS 685630245 HAS SOPS 685630245 HAS SOUS 207993408 HAS SOUPS 207993408 WITH SCORE 2.08679038245E8
AT ITER 894 NEW BEST:: SOT 1091408392 SOS 685565158 HAS SOPS 685565158 HAS SOUS 207993406 HAS SOUPS 207993406 WITH SCORE 2.08678971158E8
AT ITER 902 NEW BEST:: SOT 1091402030 SOS 685549253 HAS SOPS 685549253 HAS SOUS 207993406 HAS SOUPS 207993406 WITH SCORE 2.08678955253E8
AT ITER 903 NEW BEST:: SOT 1091380306 SOS 685494940 HAS SOPS 685494940 HAS SOUS 207993401 HAS SOUPS 207993401 WITH SCORE 2.0867889594E8
AT ITER 905 NEW BEST:: SOT 1091357054 SOS 685436810 HAS SOPS 685436810 HAS SOUS 207993401 HAS SOUPS 207993401 WITH SCORE 2.0867883781E8
AT ITER 906 NEW BEST:: SOT 1091335336 SOS 685382515 HAS SOPS 685382515 HAS SOUS 207993401 HAS SOUPS 207993401 WITH SCORE 2.08678783515E8
AT ITER 918 NEW BEST:: SOT 1091321420 SOS 685347724 HAS SOPS 685347724 HAS SOUS 207993400 HAS SOUPS 207993400 WITH SCORE 2.08678747724E8
AT ITER 923 NEW BEST:: SOT 1091291212 SOS 685272201 HAS SOPS 685272201 HAS SOUS 207993395 HAS SOUPS 207993395 WITH SCORE 2.08678667201E8
AT ITER 925 NEW BEST:: SOT 1091280073 SOS 685249921 HAS SOPS 685249921 HAS SOUS 207989680 HAS SOUPS 207989680 WITH SCORE 2.08674929921E8
AT ITER 929 NEW BEST:: SOT 1091256663 SOS 685191393 HAS SOPS 685191393 HAS SOUS 207989675 HAS SOUPS 207989675 WITH SCORE 2.08674866393E8
AT ITER 932 NEW BEST:: SOT 1091239397 SOS 685148228 HAS SOPS 685148228 HAS SOUS 207989675 HAS SOUPS 207989675 WITH SCORE 2.08674823228E8
AT ITER 936 NEW BEST:: SOT 1091234241 SOS 685135337 HAS SOPS 685135337 HAS SOUS 207989674 HAS SOUPS 207989674 WITH SCORE 2.08674809337E8
AT ITER 941 NEW BEST:: SOT 1091213351 SOS 685083110 HAS SOPS 685083110 HAS SOUS 207989672 HAS SOUPS 207989672 WITH SCORE 2.0867475511E8
AT ITER 950 NEW BEST:: SOT 1091195751 SOS 685039109 HAS SOPS 685039109 HAS SOUS 207989671 HAS SOUPS 207989671 WITH SCORE 2.08674710109E8
AT ITER 957 NEW BEST:: SOT 1091179241 SOS 684997834 HAS SOPS 684997834 HAS SOUS 207989671 HAS SOUPS 207989671 WITH SCORE 2.08674668834E8
AT ITER 961 NEW BEST:: SOT 1091173769 SOS 684984153 HAS SOPS 684984153 HAS SOUS 207989670 HAS SOUPS 207989670 WITH SCORE 2.08674654153E8
AT ITER 971 NEW BEST:: SOT 1091159431 SOS 684948307 HAS SOPS 684948307 HAS SOUS 207989669 HAS SOUPS 207989669 WITH SCORE 2.08674617307E8
AT ITER 993 NEW BEST:: SOT 1091133751 SOS 684884106 HAS SOPS 684884106 HAS SOUS 207989668 HAS SOUPS 207989668 WITH SCORE 2.08674552106E8
AT ITER 1004 NEW BEST:: SOT 1091118497 SOS 684845970 HAS SOPS 684845970 HAS SOUS 207989667 HAS SOUPS 207989667 WITH SCORE 2.0867451297E8
AT ITER 1009 NEW BEST:: SOT 1091109335 SOS 684823065 HAS SOPS 684823065 HAS SOUS 207989667 HAS SOUPS 207989667 WITH SCORE 2.08674490065E8
AT ITER 1017 NEW BEST:: SOT 1091057920 SOS 684720229 HAS SOPS 684720229 HAS SOUS 207985171 HAS SOUPS 207985171 WITH SCORE 2.08669891229E8
AT ITER 1019 NEW BEST:: SOT 1091042140 SOS 684680778 HAS SOPS 684680778 HAS SOUS 207985170 HAS SOUPS 207985170 WITH SCORE 2.08669850778E8
AT ITER 1025 NEW BEST:: SOT 1091039804 SOS 684674938 HAS SOPS 684674938 HAS SOUS 207985170 HAS SOUPS 207985170 WITH SCORE 2.08669844938E8
AT ITER 1039 NEW BEST:: SOT 1091013296 SOS 684598224 HAS SOPS 684598224 HAS SOUS 207974726 HAS SOUPS 207974726 WITH SCORE 2.08659324224E8
AT ITER 1040 NEW BEST:: SOT 1091005384 SOS 684578441 HAS SOPS 684578441 HAS SOUS 207974721 HAS SOUPS 207974721 WITH SCORE 2.08659299441E8
AT ITER 1042 NEW BEST:: SOT 1090976030 SOS 684505054 HAS SOPS 684505054 HAS SOUS 207974719 HAS SOUPS 207974719 WITH SCORE 2.08659224054E8
AT ITER 1048 NEW BEST:: SOT 1090966410 SOS 684476194 HAS SOPS 684476194 HAS SOUS 207969909 HAS SOUPS 207969909 WITH SCORE 2.08654385194E8
AT ITER 1054 NEW BEST:: SOT 1090945952 SOS 684425047 HAS SOPS 684425047 HAS SOUS 207969907 HAS SOUPS 207969907 WITH SCORE 2.08654332047E8
AT ITER 1057 NEW BEST:: SOT 1090916855 SOS 684338928 HAS SOPS 684338928 HAS SOUS 207961776 HAS SOUPS 207961776 WITH SCORE 2.08646114928E8
AT ITER 1065 NEW BEST:: SOT 1090885059 SOS 684259435 HAS SOPS 684259435 HAS SOUS 207961771 HAS SOUPS 207961771 WITH SCORE 2.08646030435E8
AT ITER 1068 NEW BEST:: SOT 1090882235 SOS 684252374 HAS SOPS 684252374 HAS SOUS 207961770 HAS SOUPS 207961770 WITH SCORE 2.08646022374E8
AT ITER 1079 NEW BEST:: SOT 1090851657 SOS 684175926 HAS SOPS 684175926 HAS SOUS 207961765 HAS SOUPS 207961765 WITH SCORE 2.08645940926E8
AT ITER 1081 NEW BEST:: SOT 1090838647 SOS 684143400 HAS SOPS 684143400 HAS SOUS 207961764 HAS SOUPS 207961764 WITH SCORE 2.086459074E8
AT ITER 1082 NEW BEST:: SOT 1090821539 SOS 684100627 HAS SOPS 684100627 HAS SOUS 207961759 HAS SOUPS 207961759 WITH SCORE 2.08645859627E8
AT ITER 1089 NEW BEST:: SOT 1090793743 SOS 684031136 HAS SOPS 684031136 HAS SOUS 207961758 HAS SOUPS 207961758 WITH SCORE 2.08645789136E8
AT ITER 1093 NEW BEST:: SOT 1090789237 SOS 684019869 HAS SOPS 684019869 HAS SOUS 207961756 HAS SOUPS 207961756 WITH SCORE 2.08645775869E8
AT ITER 1108 NEW BEST:: SOT 1090774541 SOS 683983127 HAS SOPS 683983127 HAS SOUS 207961754 HAS SOUPS 207961754 WITH SCORE 2.08645737127E8
AT ITER 1110 NEW BEST:: SOT 1090755627 SOS 683935839 HAS SOPS 683935839 HAS SOUS 207961749 HAS SOUPS 207961749 WITH SCORE 2.08645684839E8
AT ITER 1112 NEW BEST:: SOT 1090727147 SOS 683864639 HAS SOPS 683864639 HAS SOUS 207961749 HAS SOUPS 207961749 WITH SCORE 2.08645613639E8
AT ITER 1113 NEW BEST:: SOT 1090701283 SOS 683799979 HAS SOPS 683799979 HAS SOUS 207961749 HAS SOUPS 207961749 WITH SCORE 2.08645548979E8
AT ITER 1119 NEW BEST:: SOT 1090675591 SOS 683735746 HAS SOPS 683735746 HAS SOUS 207961744 HAS SOUPS 207961744 WITH SCORE 2.08645479746E8
AT ITER 1125 NEW BEST:: SOT 1090651683 SOS 683675976 HAS SOPS 683675976 HAS SOUS 207961744 HAS SOUPS 207961744 WITH SCORE 2.08645419976E8
AT ITER 1127 NEW BEST:: SOT 1090619817 SOS 683596310 HAS SOPS 683596310 HAS SOUS 207961743 HAS SOUPS 207961743 WITH SCORE 2.0864533931E8
AT ITER 1128 NEW BEST:: SOT 1090586343 SOS 683512623 HAS SOPS 683512623 HAS SOUS 207961741 HAS SOUPS 207961741 WITH SCORE 2.08645253623E8
AT ITER 1135 NEW BEST:: SOT 1090577721 SOS 683491068 HAS SOPS 683491068 HAS SOUS 207961741 HAS SOUPS 207961741 WITH SCORE 2.08645232068E8
AT ITER 1148 NEW BEST:: SOT 1090556055 SOS 683436901 HAS SOPS 683436901 HAS SOUS 207961739 HAS SOUPS 207961739 WITH SCORE 2.08645175901E8
AT ITER 1151 NEW BEST:: SOT 1090530741 SOS 683373614 HAS SOPS 683373614 HAS SOUS 207961737 HAS SOUPS 207961737 WITH SCORE 2.08645110614E8
AT ITER 1156 NEW BEST:: SOT 1090530741 SOS 683373612 HAS SOPS 683373612 HAS SOUS 207961735 HAS SOUPS 207961735 WITH SCORE 2.08645108612E8
AT ITER 1162 NEW BEST:: SOT 1090516357 SOS 683337652 HAS SOPS 683337652 HAS SOUS 207961735 HAS SOUPS 207961735 WITH SCORE 2.08645072652E8
AT ITER 1163 NEW BEST:: SOT 1090496145 SOS 683287119 HAS SOPS 683287119 HAS SOUS 207961730 HAS SOUPS 207961730 WITH SCORE 2.08645017119E8
AT ITER 1165 NEW BEST:: SOT 1090466667 SOS 683213424 HAS SOPS 683213424 HAS SOUS 207961730 HAS SOUPS 207961730 WITH SCORE 2.08644943424E8
AT ITER 1189 NEW BEST:: SOT 1090437539 SOS 683140602 HAS SOPS 683140602 HAS SOUS 207961728 HAS SOUPS 207961728 WITH SCORE 2.08644868602E8
AT ITER 1200 NEW BEST:: SOT 1090421733 SOS 683101086 HAS SOPS 683101086 HAS SOUS 207961727 HAS SOUPS 207961727 WITH SCORE 2.08644828086E8
AT ITER 1212 NEW BEST:: SOT 1090410641 SOS 683073354 HAS SOPS 683073354 HAS SOUS 207961725 HAS SOUPS 207961725 WITH SCORE 2.08644798354E8
AT ITER 1218 NEW BEST:: SOT 1090384209 SOS 683007274 HAS SOPS 683007274 HAS SOUS 207961725 HAS SOUPS 207961725 WITH SCORE 2.08644732274E8
AT ITER 1224 NEW BEST:: SOT 1090348995 SOS 682919238 HAS SOPS 682919238 HAS SOUS 207961724 HAS SOUPS 207961724 WITH SCORE 2.08644643238E8
AT ITER 1229 NEW BEST:: SOT 1090337479 SOS 682890445 HAS SOPS 682890445 HAS SOUS 207961719 HAS SOUPS 207961719 WITH SCORE 2.08644609445E8
AT ITER 1238 NEW BEST:: SOT 1090332969 SOS 682879169 HAS SOPS 682879169 HAS SOUS 207961718 HAS SOUPS 207961718 WITH SCORE 2.08644597169E8
AT ITER 1244 NEW BEST:: SOT 1090283639 SOS 682780505 HAS SOPS 682780505 HAS SOUS 207957458 HAS SOUPS 207957458 WITH SCORE 2.08640238505E8
AT ITER 1246 NEW BEST:: SOT 1090233622 SOS 682680468 HAS SOPS 682680468 HAS SOUS 207949711 HAS SOUPS 207949711 WITH SCORE 2.08632391468E8
AT ITER 1250 NEW BEST:: SOT 1090224708 SOS 682658182 HAS SOPS 682658182 HAS SOUS 207949710 HAS SOUPS 207949710 WITH SCORE 2.08632368182E8
AT ITER 1274 NEW BEST:: SOT 1090214584 SOS 682632871 HAS SOPS 682632871 HAS SOUS 207949709 HAS SOUPS 207949709 WITH SCORE 2.08632341871E8
AT ITER 1304 NEW BEST:: SOT 1090207652 SOS 682615540 HAS SOPS 682615540 HAS SOUS 207949708 HAS SOUPS 207949708 WITH SCORE 2.0863232354E8
AT ITER 1305 NEW BEST:: SOT 1090182684 SOS 682553118 HAS SOPS 682553118 HAS SOUS 207949706 HAS SOUPS 207949706 WITH SCORE 2.08632259118E8
AT ITER 1337 NEW BEST:: SOT 1090156722 SOS 682488212 HAS SOPS 682488212 HAS SOUS 207949705 HAS SOUPS 207949705 WITH SCORE 2.08632193212E8
AT ITER 1350 NEW BEST:: SOT 1090123062 SOS 682404059 HAS SOPS 682404059 HAS SOUS 207949700 HAS SOUPS 207949700 WITH SCORE 2.08632104059E8
AT ITER 1353 NEW BEST:: SOT 1090093292 SOS 682329634 HAS SOPS 682329634 HAS SOUS 207949700 HAS SOUPS 207949700 WITH SCORE 2.08632029634E8
AT ITER 1362 NEW BEST:: SOT 1090069534 SOS 682270238 HAS SOPS 682270238 HAS SOUS 207949699 HAS SOUPS 207949699 WITH SCORE 2.08631969238E8
AT ITER 1370 NEW BEST:: SOT 1090052762 SOS 682228305 HAS SOPS 682228305 HAS SOUS 207949694 HAS SOUPS 207949694 WITH SCORE 2.08631922305E8
AT ITER 1374 NEW BEST:: SOT 1090043392 SOS 682204880 HAS SOPS 682204880 HAS SOUS 207949694 HAS SOUPS 207949694 WITH SCORE 2.0863189888E8
AT ITER 1376 NEW BEST:: SOT 1090034500 SOS 682182649 HAS SOPS 682182649 HAS SOUS 207949693 HAS SOUPS 207949693 WITH SCORE 2.08631875649E8
AT ITER 1380 NEW BEST:: SOT 1089987001 SOS 682087647 HAS SOPS 682087647 HAS SOUS 207941355 HAS SOUPS 207941355 WITH SCORE 2.08623442647E8
AT ITER 1383 NEW BEST:: SOT 1089975859 SOS 682055478 HAS SOPS 682055478 HAS SOUS 207937039 HAS SOUPS 207937039 WITH SCORE 2.08619094478E8
AT ITER 1387 NEW BEST:: SOT 1089968619 SOS 682037378 HAS SOPS 682037378 HAS SOUS 207937039 HAS SOUPS 207937039 WITH SCORE 2.08619076378E8
AT ITER 1389 NEW BEST:: SOT 1089958313 SOS 682011613 HAS SOPS 682011613 HAS SOUS 207937039 HAS SOUPS 207937039 WITH SCORE 2.08619050613E8
AT ITER 1404 NEW BEST:: SOT 1089923095 SOS 681923568 HAS SOPS 681923568 HAS SOUS 207937039 HAS SOUPS 207937039 WITH SCORE 2.08618962568E8
AT ITER 1414 NEW BEST:: SOT 1089914325 SOS 681901640 HAS SOPS 681901640 HAS SOUS 207937034 HAS SOUPS 207937034 WITH SCORE 2.0861893564E8
AT ITER 1421 NEW BEST:: SOT 1089885827 SOS 681830394 HAS SOPS 681830394 HAS SOUS 207937033 HAS SOUPS 207937033 WITH SCORE 2.08618863394E8
AT ITER 1422 NEW BEST:: SOT 1089864869 SOS 681777996 HAS SOPS 681777996 HAS SOUS 207937028 HAS SOUPS 207937028 WITH SCORE 2.08618805996E8
AT ITER 1423 NEW BEST:: SOT 1089851823 SOS 681745379 HAS SOPS 681745379 HAS SOUS 207937026 HAS SOUPS 207937026 WITH SCORE 2.08618771379E8
AT ITER 1426 NEW BEST:: SOT 1089831207 SOS 681693839 HAS SOPS 681693839 HAS SOUS 207937026 HAS SOUPS 207937026 WITH SCORE 2.08618719839E8
AT ITER 1453 NEW BEST:: SOT 1089799299 SOS 681614069 HAS SOPS 681614069 HAS SOUS 207937026 HAS SOUPS 207937026 WITH SCORE 2.08618640069E8
AT ITER 1458 NEW BEST:: SOT 1089782871 SOS 681572998 HAS SOPS 681572998 HAS SOUS 207937025 HAS SOUPS 207937025 WITH SCORE 2.08618597998E8
AT ITER 1476 NEW BEST:: SOT 1089775579 SOS 681554766 HAS SOPS 681554766 HAS SOUS 207937023 HAS SOUPS 207937023 WITH SCORE 2.08618577766E8
AT ITER 1485 NEW BEST:: SOT 1089761531 SOS 681519646 HAS SOPS 681519646 HAS SOUS 207937023 HAS SOUPS 207937023 WITH SCORE 2.08618542646E8
AT ITER 1491 NEW BEST:: SOT 1089745929 SOS 681480639 HAS SOPS 681480639 HAS SOUS 207937021 HAS SOUPS 207937021 WITH SCORE 2.08618501639E8
AT ITER 1492 NEW BEST:: SOT 1089719889 SOS 681415536 HAS SOPS 681415536 HAS SOUS 207937016 HAS SOUPS 207937016 WITH SCORE 2.08618431536E8
AT ITER 1498 NEW BEST:: SOT 1089719889 SOS 681415534 HAS SOPS 681415534 HAS SOUS 207937014 HAS SOUPS 207937014 WITH SCORE 2.08618429534E8
AT ITER 1499 NEW BEST:: SOT 1089701761 SOS 681370211 HAS SOPS 681370211 HAS SOUS 207937009 HAS SOUPS 207937009 WITH SCORE 2.08618379211E8
AT ITER 1505 NEW BEST:: SOT 1089690685 SOS 681348056 HAS SOPS 681348056 HAS SOUS 207933312 HAS SOUPS 207933312 WITH SCORE 2.08614660056E8
AT ITER 1506 NEW BEST:: SOT 1089664075 SOS 681281528 HAS SOPS 681281528 HAS SOUS 207933307 HAS SOUPS 207933307 WITH SCORE 2.08614588528E8
AT ITER 1509 NEW BEST:: SOT 1089659311 SOS 681268943 HAS SOPS 681268943 HAS SOUS 207932632 HAS SOUPS 207932632 WITH SCORE 2.08613900943E8
AT ITER 1512 NEW BEST:: SOT 1089643067 SOS 681228331 HAS SOPS 681228331 HAS SOUS 207932630 HAS SOUPS 207932630 WITH SCORE 2.08613858331E8
AT ITER 1542 NEW BEST:: SOT 1089637445 SOS 681217087 HAS SOPS 681217087 HAS SOUS 207930756 HAS SOUPS 207930756 WITH SCORE 2.08611973087E8
AT ITER 1549 NEW BEST:: SOT 1089623689 SOS 681182694 HAS SOPS 681182694 HAS SOUS 207930751 HAS SOUPS 207930751 WITH SCORE 2.08611933694E8
AT ITER 1554 NEW BEST:: SOT 1089601137 SOS 681126314 HAS SOPS 681126314 HAS SOUS 207930751 HAS SOUPS 207930751 WITH SCORE 2.08611877314E8
AT ITER 1556 NEW BEST:: SOT 1089584335 SOS 681084306 HAS SOPS 681084306 HAS SOUS 207930746 HAS SOUPS 207930746 WITH SCORE 2.08611830306E8
AT ITER 1564 NEW BEST:: SOT 1089549267 SOS 680996634 HAS SOPS 680996634 HAS SOUS 207930744 HAS SOUPS 207930744 WITH SCORE 2.08611740634E8
AT ITER 1585 NEW BEST:: SOT 1089543577 SOS 680982409 HAS SOPS 680982409 HAS SOUS 207930744 HAS SOUPS 207930744 WITH SCORE 2.08611726409E8
AT ITER 1586 NEW BEST:: SOT 1089541459 SOS 680977113 HAS SOPS 680977113 HAS SOUS 207930743 HAS SOUPS 207930743 WITH SCORE 2.08611720113E8
AT ITER 1591 NEW BEST:: SOT 1089534071 SOS 680958641 HAS SOPS 680958641 HAS SOUS 207930741 HAS SOUPS 207930741 WITH SCORE 2.08611699641E8
AT ITER 1597 NEW BEST:: SOT 1089513013 SOS 680905993 HAS SOPS 680905993 HAS SOUS 207930736 HAS SOUPS 207930736 WITH SCORE 2.08611641993E8
AT ITER 1601 NEW BEST:: SOT 1089482413 SOS 680829491 HAS SOPS 680829491 HAS SOUS 207930734 HAS SOUPS 207930734 WITH SCORE 2.08611563491E8
AT ITER 1604 NEW BEST:: SOT 1089461269 SOS 680776631 HAS SOPS 680776631 HAS SOUS 207930734 HAS SOUPS 207930734 WITH SCORE 2.08611510631E8
AT ITER 1605 NEW BEST:: SOT 1089431789 SOS 680702928 HAS SOPS 680702928 HAS SOUS 207930729 HAS SOUPS 207930729 WITH SCORE 2.08611431928E8
AT ITER 1628 NEW BEST:: SOT 1089402845 SOS 680630566 HAS SOPS 680630566 HAS SOUS 207930727 HAS SOUPS 207930727 WITH SCORE 2.08611357566E8
AT ITER 1635 NEW BEST:: SOT 1089371727 SOS 680552768 HAS SOPS 680552768 HAS SOUS 207930722 HAS SOUPS 207930722 WITH SCORE 2.08611274768E8
AT ITER 1640 NEW BEST:: SOT 1089343921 SOS 680483251 HAS SOPS 680483251 HAS SOUS 207930720 HAS SOUPS 207930720 WITH SCORE 2.08611203251E8
AT ITER 1641 NEW BEST:: SOT 1089316047 SOS 680413565 HAS SOPS 680413565 HAS SOUS 207930719 HAS SOUPS 207930719 WITH SCORE 2.08611132565E8
AT ITER 1645 NEW BEST:: SOT 1089303709 SOS 680376551 HAS SOPS 680376551 HAS SOUS 207924550 HAS SOUPS 207924550 WITH SCORE 2.08604926551E8
AT ITER 1650 NEW BEST:: SOT 1089285721 SOS 680331580 HAS SOPS 680331580 HAS SOUS 207924549 HAS SOUPS 207924549 WITH SCORE 2.0860488058E8
AT ITER 1664 NEW BEST:: SOT 1089262372 SOS 680262792 HAS SOPS 680262792 HAS SOUS 207918011 HAS SOUPS 207918011 WITH SCORE 2.08598273792E8
AT ITER 1671 NEW BEST:: SOT 1089242024 SOS 680211922 HAS SOPS 680211922 HAS SOUS 207918011 HAS SOUPS 207918011 WITH SCORE 2.08598222922E8
AT ITER 1677 NEW BEST:: SOT 1089230000 SOS 680181860 HAS SOPS 680181860 HAS SOUS 207918009 HAS SOUPS 207918009 WITH SCORE 2.0859819086E8
AT ITER 1706 NEW BEST:: SOT 1089180592 SOS 680083038 HAS SOPS 680083038 HAS SOUS 207915315 HAS SOUPS 207915315 WITH SCORE 2.08595398038E8
AT ITER 1716 NEW BEST:: SOT 1089171098 SOS 680059302 HAS SOPS 680059302 HAS SOUS 207915314 HAS SOUPS 207915314 WITH SCORE 2.08595373302E8
AT ITER 1727 NEW BEST:: SOT 1089146504 SOS 679997816 HAS SOPS 679997816 HAS SOUS 207915313 HAS SOUPS 207915313 WITH SCORE 2.08595310816E8
AT ITER 1753 NEW BEST:: SOT 1089132494 SOS 679969793 HAS SOPS 679969793 HAS SOUS 207910638 HAS SOUPS 207910638 WITH SCORE 2.08590607793E8
AT ITER 1765 NEW BEST:: SOT 1089113320 SOS 679921858 HAS SOPS 679921858 HAS SOUS 207910638 HAS SOUPS 207910638 WITH SCORE 2.08590559858E8
AT ITER 1775 NEW BEST:: SOT 1089104626 SOS 679900123 HAS SOPS 679900123 HAS SOUS 207910638 HAS SOUPS 207910638 WITH SCORE 2.08590538123E8
AT ITER 1776 NEW BEST:: SOT 1089085898 SOS 679853303 HAS SOPS 679853303 HAS SOUS 207910638 HAS SOUPS 207910638 WITH SCORE 2.08590491303E8
AT ITER 1779 NEW BEST:: SOT 1089072618 SOS 679820102 HAS SOPS 679820102 HAS SOUS 207910637 HAS SOUPS 207910637 WITH SCORE 2.08590457102E8
AT ITER 1781 NEW BEST:: SOT 1089062932 SOS 679795885 HAS SOPS 679795885 HAS SOUS 207910635 HAS SOUPS 207910635 WITH SCORE 2.08590430885E8
AT ITER 1782 NEW BEST:: SOT 1089030854 SOS 679715689 HAS SOPS 679715689 HAS SOUS 207910634 HAS SOUPS 207910634 WITH SCORE 2.08590349689E8
AT ITER 1787 NEW BEST:: SOT 1089018856 SOS 679685692 HAS SOPS 679685692 HAS SOUS 207910632 HAS SOUPS 207910632 WITH SCORE 2.08590317692E8
AT ITER 1790 NEW BEST:: SOT 1088993894 SOS 679623287 HAS SOPS 679623287 HAS SOUS 207910632 HAS SOUPS 207910632 WITH SCORE 2.08590255287E8
AT ITER 1793 NEW BEST:: SOT 1088987996 SOS 679608541 HAS SOPS 679608541 HAS SOUS 207910631 HAS SOUPS 207910631 WITH SCORE 2.08590239541E8
AT ITER 1795 NEW BEST:: SOT 1088973308 SOS 679571819 HAS SOPS 679571819 HAS SOUS 207910629 HAS SOUPS 207910629 WITH SCORE 2.08590200819E8
AT ITER 1801 NEW BEST:: SOT 1088952682 SOS 679520251 HAS SOPS 679520251 HAS SOUS 207910624 HAS SOUPS 207910624 WITH SCORE 2.08590144251E8
AT ITER 1805 NEW BEST:: SOT 1088942960 SOS 679495945 HAS SOPS 679495945 HAS SOUS 207910623 HAS SOUPS 207910623 WITH SCORE 2.08590118945E8
AT ITER 1807 NEW BEST:: SOT 1088928529 SOS 679458162 HAS SOPS 679458162 HAS SOUS 207910524 HAS SOUPS 207910524 WITH SCORE 2.08589982162E8
AT ITER 1811 NEW BEST:: SOT 1088928529 SOS 679458161 HAS SOPS 679458161 HAS SOUS 207910523 HAS SOUPS 207910523 WITH SCORE 2.08589981161E8
AT ITER 1829 NEW BEST:: SOT 1088906247 SOS 679402454 HAS SOPS 679402454 HAS SOUS 207910521 HAS SOUPS 207910521 WITH SCORE 2.08589923454E8
AT ITER 1836 NEW BEST:: SOT 1088883005 SOS 679344349 HAS SOPS 679344349 HAS SOUS 207910521 HAS SOUPS 207910521 WITH SCORE 2.08589865349E8
AT ITER 1849 NEW BEST:: SOT 1088855629 SOS 679275906 HAS SOPS 679275906 HAS SOUS 207910516 HAS SOUPS 207910516 WITH SCORE 2.08589791906E8
AT ITER 1855 NEW BEST:: SOT 1088804714 SOS 679166182 HAS SOPS 679166182 HAS SOUS 207899659 HAS SOUPS 207899659 WITH SCORE 2.08578825182E8
AT ITER 1856 NEW BEST:: SOT 1088780344 SOS 679105254 HAS SOPS 679105254 HAS SOUS 207899654 HAS SOUPS 207899654 WITH SCORE 2.08578759254E8
AT ITER 1861 NEW BEST:: SOT 1088758252 SOS 679050022 HAS SOPS 679050022 HAS SOUS 207899652 HAS SOUPS 207899652 WITH SCORE 2.08578702022E8
AT ITER 1883 NEW BEST:: SOT 1088751250 SOS 679030179 HAS SOPS 679030179 HAS SOUS 207897314 HAS SOUPS 207897314 WITH SCORE 2.08576344179E8
AT ITER 1891 NEW BEST:: SOT 1088725970 SOS 678966978 HAS SOPS 678966978 HAS SOUS 207897313 HAS SOUPS 207897313 WITH SCORE 2.08576279978E8
AT ITER 1896 NEW BEST:: SOT 1088701692 SOS 678906281 HAS SOPS 678906281 HAS SOUS 207897311 HAS SOUPS 207897311 WITH SCORE 2.08576217281E8
AT ITER 1899 NEW BEST:: SOT 1088649962 SOS 678802815 HAS SOPS 678802815 HAS SOUS 207891249 HAS SOUPS 207891249 WITH SCORE 2.08570051815E8
AT ITER 1904 NEW BEST:: SOT 1088622078 SOS 678733103 HAS SOPS 678733103 HAS SOUS 207891247 HAS SOUPS 207891247 WITH SCORE 2.08569980103E8
AT ITER 1921 NEW BEST:: SOT 1088603772 SOS 678687338 HAS SOPS 678687338 HAS SOUS 207891247 HAS SOUPS 207891247 WITH SCORE 2.08569934338E8
AT ITER 1925 NEW BEST:: SOT 1088595152 SOS 678665788 HAS SOPS 678665788 HAS SOUS 207891247 HAS SOUPS 207891247 WITH SCORE 2.08569912788E8
AT ITER 1926 NEW BEST:: SOT 1088587090 SOS 678645631 HAS SOPS 678645631 HAS SOUS 207891245 HAS SOUPS 207891245 WITH SCORE 2.08569890631E8
AT ITER 1942 NEW BEST:: SOT 1088573738 SOS 678612249 HAS SOPS 678612249 HAS SOUS 207891243 HAS SOUPS 207891243 WITH SCORE 2.08569855249E8
AT ITER 1944 NEW BEST:: SOT 1088522687 SOS 678510142 HAS SOPS 678510142 HAS SOUS 207884959 HAS SOUPS 207884959 WITH SCORE 2.08563469142E8
AT ITER 1946 NEW BEST:: SOT 1088515393 SOS 678491904 HAS SOPS 678491904 HAS SOUS 207884954 HAS SOUPS 207884954 WITH SCORE 2.08563445904E8
AT ITER 1981 NEW BEST:: SOT 1088463354 SOS 678387820 HAS SOPS 678387820 HAS SOUS 207874614 HAS SOUPS 207874614 WITH SCORE 2.0855300182E8
AT ITER 1982 NEW BEST:: SOT 1088453330 SOS 678362759 HAS SOPS 678362759 HAS SOUS 207874613 HAS SOUPS 207874613 WITH SCORE 2.08552975759E8
AT ITER 1986 NEW BEST:: SOT 1088433204 SOS 678312441 HAS SOPS 678312441 HAS SOUS 207874608 HAS SOUPS 207874608 WITH SCORE 2.08552920441E8
AT ITER 1989 NEW BEST:: SOT 1088413768 SOS 678263849 HAS SOPS 678263849 HAS SOUS 207874606 HAS SOUPS 207874606 WITH SCORE 2.08552869849E8
AT ITER 1993 NEW BEST:: SOT 1088405320 SOS 678242729 HAS SOPS 678242729 HAS SOUS 207874606 HAS SOUPS 207874606 WITH SCORE 2.08552848729E8
AT ITER 2001 NEW BEST:: SOT 1088384294 SOS 678190164 HAS SOPS 678190164 HAS SOUS 207874606 HAS SOUPS 207874606 WITH SCORE 2.08552796164E8
AT ITER 2004 NEW BEST:: SOT 1088356136 SOS 678119766 HAS SOPS 678119766 HAS SOUS 207874601 HAS SOUPS 207874601 WITH SCORE 2.08552720766E8
AT ITER 2010 NEW BEST:: SOT 1088304800 SOS 678017089 HAS SOPS 678017089 HAS SOUS 207870384 HAS SOUPS 207870384 WITH SCORE 2.08548401089E8
AT ITER 2015 NEW BEST:: SOT 1088304800 SOS 678017087 HAS SOPS 678017087 HAS SOUS 207870382 HAS SOUPS 207870382 WITH SCORE 2.08548399087E8
AT ITER 2022 NEW BEST:: SOT 1088284658 SOS 677966732 HAS SOPS 677966732 HAS SOUS 207870382 HAS SOUPS 207870382 WITH SCORE 2.08548348732E8
AT ITER 2025 NEW BEST:: SOT 1088258474 SOS 677901271 HAS SOPS 677901271 HAS SOUS 207870381 HAS SOUPS 207870381 WITH SCORE 2.08548282271E8
AT ITER 2026 NEW BEST:: SOT 1088246540 SOS 677871436 HAS SOPS 677871436 HAS SOUS 207870381 HAS SOUPS 207870381 WITH SCORE 2.08548252436E8
AT ITER 2027 NEW BEST:: SOT 1088236298 SOS 677842881 HAS SOPS 677842881 HAS SOUS 207867431 HAS SOUPS 207867431 WITH SCORE 2.08545273881E8
AT ITER 2029 NEW BEST:: SOT 1088202096 SOS 677757374 HAS SOPS 677757374 HAS SOUS 207867429 HAS SOUPS 207867429 WITH SCORE 2.08545186374E8
AT ITER 2037 NEW BEST:: SOT 1088186654 SOS 677718767 HAS SOPS 677718767 HAS SOUS 207867427 HAS SOUPS 207867427 WITH SCORE 2.08545145767E8
AT ITER 2039 NEW BEST:: SOT 1088134212 SOS 677595592 HAS SOPS 677595592 HAS SOUS 207838762 HAS SOUPS 207838762 WITH SCORE 2.08516357592E8
AT ITER 2057 NEW BEST:: SOT 1088134063 SOS 677595294 HAS SOPS 677595294 HAS SOUS 207838762 HAS SOUPS 207838762 WITH SCORE 2.08516357294E8
AT ITER 2069 NEW BEST:: SOT 1088115439 SOS 677548733 HAS SOPS 677548733 HAS SOUS 207838761 HAS SOUPS 207838761 WITH SCORE 2.08516309733E8
AT ITER 2074 NEW BEST:: SOT 1088103565 SOS 677519046 HAS SOPS 677519046 HAS SOUS 207838759 HAS SOUPS 207838759 WITH SCORE 2.08516278046E8
AT ITER 2076 NEW BEST:: SOT 1088092939 SOS 677492478 HAS SOPS 677492478 HAS SOUS 207838754 HAS SOUPS 207838754 WITH SCORE 2.08516246478E8
AT ITER 2078 NEW BEST:: SOT 1088090545 SOS 677486492 HAS SOPS 677486492 HAS SOUS 207838753 HAS SOUPS 207838753 WITH SCORE 2.08516239492E8
AT ITER 2083 NEW BEST:: SOT 1088067679 SOS 677429325 HAS SOPS 677429325 HAS SOUS 207838751 HAS SOUPS 207838751 WITH SCORE 2.08516180325E8
AT ITER 2086 NEW BEST:: SOT 1088034593 SOS 677346609 HAS SOPS 677346609 HAS SOUS 207838750 HAS SOUPS 207838750 WITH SCORE 2.08516096609E8
AT ITER 2087 NEW BEST:: SOT 1088008127 SOS 677280444 HAS SOPS 677280444 HAS SOUS 207838750 HAS SOUPS 207838750 WITH SCORE 2.08516030444E8
AT ITER 2089 NEW BEST:: SOT 1087994701 SOS 677246877 HAS SOPS 677246877 HAS SOUS 207838748 HAS SOUPS 207838748 WITH SCORE 2.08515994877E8
AT ITER 2116 NEW BEST:: SOT 1087962503 SOS 677166380 HAS SOPS 677166380 HAS SOUS 207838746 HAS SOUPS 207838746 WITH SCORE 2.0851591238E8
AT ITER 2117 NEW BEST:: SOT 1087953955 SOS 677145009 HAS SOPS 677145009 HAS SOUS 207838745 HAS SOUPS 207838745 WITH SCORE 2.08515890009E8
AT ITER 2127 NEW BEST:: SOT 1087938387 SOS 677106087 HAS SOPS 677106087 HAS SOUS 207838743 HAS SOUPS 207838743 WITH SCORE 2.08515849087E8
AT ITER 2139 NEW BEST:: SOT 1087912697 SOS 677041859 HAS SOPS 677041859 HAS SOUS 207838738 HAS SOUPS 207838738 WITH SCORE 2.08515779859E8
AT ITER 2145 NEW BEST:: SOT 1087886725 SOS 676976929 HAS SOPS 676976929 HAS SOUS 207838738 HAS SOUPS 207838738 WITH SCORE 2.08515714929E8
AT ITER 2171 NEW BEST:: SOT 1087863107 SOS 676917884 HAS SOPS 676917884 HAS SOUS 207838738 HAS SOUPS 207838738 WITH SCORE 2.08515655884E8
AT ITER 2180 NEW BEST:: SOT 1087831243 SOS 676838221 HAS SOPS 676838221 HAS SOUS 207838733 HAS SOUPS 207838733 WITH SCORE 2.08515571221E8
AT ITER 2181 NEW BEST:: SOT 1087830497 SOS 676835980 HAS SOPS 676835980 HAS SOUS 207838728 HAS SOUPS 207838728 WITH SCORE 2.0851556398E8
AT ITER 2191 NEW BEST:: SOT 1087808437 SOS 676780830 HAS SOPS 676780830 HAS SOUS 207838728 HAS SOUPS 207838728 WITH SCORE 2.0851550883E8
AT ITER 2192 NEW BEST:: SOT 1087788171 SOS 676730162 HAS SOPS 676730162 HAS SOUS 207838723 HAS SOUPS 207838723 WITH SCORE 2.08515453162E8
AT ITER 2204 NEW BEST:: SOT 1087768775 SOS 676681672 HAS SOPS 676681672 HAS SOUS 207838723 HAS SOUPS 207838723 WITH SCORE 2.08515404672E8
AT ITER 2205 NEW BEST:: SOT 1087718622 SOS 676570512 HAS SOPS 676570512 HAS SOUS 207829884 HAS SOUPS 207829884 WITH SCORE 2.08506454512E8
AT ITER 2207 NEW BEST:: SOT 1087713600 SOS 676557956 HAS SOPS 676557956 HAS SOUS 207829883 HAS SOUPS 207829883 WITH SCORE 2.08506440956E8
AT ITER 2220 NEW BEST:: SOT 1087699240 SOS 676522054 HAS SOPS 676522054 HAS SOUS 207829881 HAS SOUPS 207829881 WITH SCORE 2.08506403054E8
AT ITER 2234 NEW BEST:: SOT 1087670268 SOS 676449623 HAS SOPS 676449623 HAS SOUS 207829880 HAS SOUPS 207829880 WITH SCORE 2.08506329623E8
AT ITER 2238 NEW BEST:: SOT 1087660726 SOS 676425768 HAS SOPS 676425768 HAS SOUS 207829880 HAS SOUPS 207829880 WITH SCORE 2.08506305768E8
AT ITER 2239 NEW BEST:: SOT 1087652742 SOS 676405805 HAS SOPS 676405805 HAS SOUS 207829875 HAS SOUPS 207829875 WITH SCORE 2.08506280805E8
AT ITER 2252 NEW BEST:: SOT 1087640946 SOS 676376313 HAS SOPS 676376313 HAS SOUS 207829873 HAS SOUPS 207829873 WITH SCORE 2.08506249313E8
AT ITER 2260 NEW BEST:: SOT 1087618566 SOS 676320363 HAS SOPS 676320363 HAS SOUS 207829873 HAS SOUPS 207829873 WITH SCORE 2.08506193363E8
AT ITER 2281 NEW BEST:: SOT 1087618566 SOS 676320360 HAS SOPS 676320360 HAS SOUS 207829868 HAS SOUPS 207829868 WITH SCORE 2.0850618836E8
AT ITER 2283 NEW BEST:: SOT 1087598518 SOS 676270240 HAS SOPS 676270240 HAS SOUS 207829868 HAS SOUPS 207829868 WITH SCORE 2.0850613824E8
AT ITER 2316 NEW BEST:: SOT 1087566262 SOS 676189597 HAS SOPS 676189597 HAS SOUS 207829863 HAS SOUPS 207829863 WITH SCORE 2.08506052597E8
AT ITER 2319 NEW BEST:: SOT 1087553961 SOS 676164990 HAS SOPS 676164990 HAS SOUS 207829341 HAS SOUPS 207829341 WITH SCORE 2.0850550599E8
AT ITER 2340 NEW BEST:: SOT 1087541335 SOS 676133422 HAS SOPS 676133422 HAS SOUS 207829336 HAS SOUPS 207829336 WITH SCORE 2.08505469422E8
AT ITER 2342 NEW BEST:: SOT 1087520845 SOS 676082194 HAS SOPS 676082194 HAS SOUS 207829331 HAS SOUPS 207829331 WITH SCORE 2.08505413194E8
AT ITER 2346 NEW BEST:: SOT 1087512167 SOS 676060499 HAS SOPS 676060499 HAS SOUS 207829331 HAS SOUPS 207829331 WITH SCORE 2.08505391499E8
AT ITER 2367 NEW BEST:: SOT 1087510433 SOS 676057029 HAS SOPS 676057029 HAS SOUS 207828751 HAS SOUPS 207828751 WITH SCORE 2.08504808029E8
AT ITER 2368 NEW BEST:: SOT 1087498027 SOS 676026011 HAS SOPS 676026011 HAS SOUS 207828746 HAS SOUPS 207828746 WITH SCORE 2.08504772011E8
AT ITER 2385 NEW BEST:: SOT 1087474209 SOS 675966464 HAS SOPS 675966464 HAS SOUS 207828744 HAS SOUPS 207828744 WITH SCORE 2.08504710464E8
AT ITER 2397 NEW BEST:: SOT 1087441333 SOS 675884271 HAS SOPS 675884271 HAS SOUS 207828739 HAS SOUPS 207828739 WITH SCORE 2.08504623271E8
AT ITER 2408 NEW BEST:: SOT 1087429489 SOS 675854660 HAS SOPS 675854660 HAS SOUS 207828738 HAS SOUPS 207828738 WITH SCORE 2.0850459266E8
AT ITER 2415 NEW BEST:: SOT 1087425541 SOS 675846764 HAS SOPS 675846764 HAS SOUS 207827422 HAS SOUPS 207827422 WITH SCORE 2.08503268764E8
AT ITER 2424 NEW BEST:: SOT 1087403685 SOS 675792124 HAS SOPS 675792124 HAS SOUS 207827422 HAS SOUPS 207827422 WITH SCORE 2.08503214124E8
AT ITER 2443 NEW BEST:: SOT 1087387647 SOS 675752028 HAS SOPS 675752028 HAS SOUS 207827421 HAS SOUPS 207827421 WITH SCORE 2.08503173028E8
AT ITER 2459 NEW BEST:: SOT 1087362293 SOS 675688641 HAS SOPS 675688641 HAS SOUS 207827419 HAS SOUPS 207827419 WITH SCORE 2.08503107641E8
AT ITER 2463 NEW BEST:: SOT 1087337265 SOS 675626070 HAS SOPS 675626070 HAS SOUS 207827418 HAS SOUPS 207827418 WITH SCORE 2.0850304407E8
AT ITER 2469 NEW BEST:: SOT 1087316845 SOS 675575017 HAS SOPS 675575017 HAS SOUS 207827413 HAS SOUPS 207827413 WITH SCORE 2.08502988017E8
AT ITER 2475 NEW BEST:: SOT 1087307651 SOS 675552032 HAS SOPS 675552032 HAS SOUS 207827413 HAS SOUPS 207827413 WITH SCORE 2.08502965032E8
AT ITER 2480 NEW BEST:: SOT 1087302973 SOS 675540336 HAS SOPS 675540336 HAS SOUS 207827412 HAS SOUPS 207827412 WITH SCORE 2.08502952336E8
AT ITER 2484 NEW BEST:: SOT 1087299745 SOS 675532266 HAS SOPS 675532266 HAS SOUS 207827412 HAS SOUPS 207827412 WITH SCORE 2.08502944266E8
AT ITER 2486 NEW BEST:: SOT 1087288049 SOS 675503023 HAS SOPS 675503023 HAS SOUS 207827407 HAS SOUPS 207827407 WITH SCORE 2.08502910023E8
AT ITER 2497 NEW BEST:: SOT 1087286383 SOS 675498856 HAS SOPS 675498856 HAS SOUS 207827405 HAS SOUPS 207827405 WITH SCORE 2.08502903856E8
AT ITER 2498 NEW BEST:: SOT 1087271763 SOS 675462304 HAS SOPS 675462304 HAS SOUS 207827403 HAS SOUPS 207827403 WITH SCORE 2.08502865304E8
AT ITER 2500 NEW BEST:: SOT 1087265755 SOS 675447281 HAS SOPS 675447281 HAS SOUS 207827398 HAS SOUPS 207827398 WITH SCORE 2.08502845281E8
AT ITER 2521 NEW BEST:: SOT 1087234187 SOS 675368360 HAS SOPS 675368360 HAS SOUS 207827397 HAS SOUPS 207827397 WITH SCORE 2.0850276536E8
AT ITER 2525 NEW BEST:: SOT 1087216687 SOS 675324608 HAS SOPS 675324608 HAS SOUS 207827395 HAS SOUPS 207827395 WITH SCORE 2.08502719608E8
AT ITER 2527 NEW BEST:: SOT 1087184285 SOS 675243601 HAS SOPS 675243601 HAS SOUS 207827393 HAS SOUPS 207827393 WITH SCORE 2.08502636601E8
AT ITER 2548 NEW BEST:: SOT 1087179284 SOS 675233598 HAS SOPS 675233598 HAS SOUS 207825725 HAS SOUPS 207825725 WITH SCORE 2.08500958598E8
AT ITER 2555 NEW BEST:: SOT 1087153276 SOS 675156394 HAS SOPS 675156394 HAS SOUS 207818956 HAS SOUPS 207818956 WITH SCORE 2.08494112394E8
AT ITER 2558 NEW BEST:: SOT 1087136424 SOS 675114262 HAS SOPS 675114262 HAS SOUS 207818954 HAS SOUPS 207818954 WITH SCORE 2.08494068262E8
AT ITER 2559 NEW BEST:: SOT 1087120858 SOS 675075346 HAS SOPS 675075346 HAS SOUS 207818953 HAS SOUPS 207818953 WITH SCORE 2.08494028346E8
AT ITER 2571 NEW BEST:: SOT 1087089074 SOS 674995883 HAS SOPS 674995883 HAS SOUS 207818948 HAS SOUPS 207818948 WITH SCORE 2.08493943883E8
AT ITER 2588 NEW BEST:: SOT 1087085210 SOS 674988155 HAS SOPS 674988155 HAS SOUS 207817660 HAS SOUPS 207817660 WITH SCORE 2.08492648155E8
AT ITER 2589 NEW BEST:: SOT 1087035175 SOS 674888082 HAS SOPS 674888082 HAS SOUS 207806232 HAS SOUPS 207806232 WITH SCORE 2.08481120082E8
AT ITER 2593 NEW BEST:: SOT 1087016325 SOS 674840955 HAS SOPS 674840955 HAS SOUS 207806230 HAS SOUPS 207806230 WITH SCORE 2.08481070955E8
AT ITER 2594 NEW BEST:: SOT 1086965310 SOS 674738920 HAS SOPS 674738920 HAS SOUS 207792065 HAS SOUPS 207792065 WITH SCORE 2.0846680392E8
AT ITER 2603 NEW BEST:: SOT 1086957994 SOS 674720627 HAS SOPS 674720627 HAS SOUS 207792060 HAS SOUPS 207792060 WITH SCORE 2.08466780627E8
AT ITER 2608 NEW BEST:: SOT 1086907019 SOS 674618672 HAS SOPS 674618672 HAS SOUS 207776375 HAS SOUPS 207776375 WITH SCORE 2.08450993672E8
AT ITER 2610 NEW BEST:: SOT 1086899933 SOS 674600955 HAS SOPS 674600955 HAS SOUS 207776373 HAS SOUPS 207776373 WITH SCORE 2.08450973955E8
AT ITER 2612 NEW BEST:: SOT 1086878107 SOS 674537712 HAS SOPS 674537712 HAS SOUS 207772847 HAS SOUPS 207772847 WITH SCORE 2.08447384712E8
AT ITER 2620 NEW BEST:: SOT 1086860661 SOS 674494094 HAS SOPS 674494094 HAS SOUS 207772842 HAS SOUPS 207772842 WITH SCORE 2.08447336094E8
AT ITER 2629 NEW BEST:: SOT 1086852135 SOS 674468516 HAS SOPS 674468516 HAS SOUS 207768579 HAS SOUPS 207768579 WITH SCORE 2.08443047516E8
AT ITER 2630 NEW BEST:: SOT 1086837697 SOS 674432421 HAS SOPS 674432421 HAS SOUS 207768579 HAS SOUPS 207768579 WITH SCORE 2.08443011421E8
AT ITER 2632 NEW BEST:: SOT 1086834189 SOS 674423649 HAS SOPS 674423649 HAS SOUS 207768577 HAS SOUPS 207768577 WITH SCORE 2.08443000649E8
AT ITER 2635 NEW BEST:: SOT 1086818855 SOS 674385314 HAS SOPS 674385314 HAS SOUS 207768577 HAS SOUPS 207768577 WITH SCORE 2.08442962314E8
AT ITER 2639 NEW BEST:: SOT 1086789641 SOS 674312279 HAS SOPS 674312279 HAS SOUS 207768577 HAS SOUPS 207768577 WITH SCORE 2.08442889279E8
AT ITER 2652 NEW BEST:: SOT 1086776635 SOS 674279761 HAS SOPS 674279761 HAS SOUS 207768572 HAS SOUPS 207768572 WITH SCORE 2.08442851761E8
AT ITER 2665 NEW BEST:: SOT 1086728511 SOS 674183510 HAS SOPS 674183510 HAS SOUS 207758998 HAS SOUPS 207758998 WITH SCORE 2.0843318151E8
AT ITER 2670 NEW BEST:: SOT 1086711967 SOS 674142149 HAS SOPS 674142149 HAS SOUS 207758997 HAS SOUPS 207758997 WITH SCORE 2.08433139149E8
AT ITER 2672 NEW BEST:: SOT 1086701767 SOS 674116648 HAS SOPS 674116648 HAS SOUS 207758996 HAS SOUPS 207758996 WITH SCORE 2.08433112648E8
AT ITER 2680 NEW BEST:: SOT 1086681327 SOS 674065548 HAS SOPS 674065548 HAS SOUS 207758996 HAS SOUPS 207758996 WITH SCORE 2.08433061548E8
AT ITER 2689 NEW BEST:: SOT 1086666447 SOS 674028348 HAS SOPS 674028348 HAS SOUS 207758996 HAS SOUPS 207758996 WITH SCORE 2.08433024348E8
AT ITER 2692 NEW BEST:: SOT 1086654379 SOS 673998176 HAS SOPS 673998176 HAS SOUS 207758994 HAS SOUPS 207758994 WITH SCORE 2.08432992176E8
AT ITER 2695 NEW BEST:: SOT 1086645135 SOS 673975066 HAS SOPS 673975066 HAS SOUS 207758994 HAS SOUPS 207758994 WITH SCORE 2.08432969066E8
AT ITER 2700 NEW BEST:: SOT 1086614291 SOS 673897955 HAS SOPS 673897955 HAS SOUS 207758993 HAS SOUPS 207758993 WITH SCORE 2.08432890955E8
AT ITER 2709 NEW BEST:: SOT 1086601191 SOS 673865202 HAS SOPS 673865202 HAS SOUS 207758988 HAS SOUPS 207758988 WITH SCORE 2.08432853202E8
AT ITER 2711 NEW BEST:: SOT 1086577327 SOS 673805542 HAS SOPS 673805542 HAS SOUS 207758988 HAS SOUPS 207758988 WITH SCORE 2.08432793542E8
AT ITER 2722 NEW BEST:: SOT 1086546253 SOS 673713615 HAS SOPS 673713615 HAS SOUS 207744746 HAS SOUPS 207744746 WITH SCORE 2.08418459615E8
AT ITER 2728 NEW BEST:: SOT 1086523627 SOS 673657047 HAS SOPS 673657047 HAS SOUS 207744741 HAS SOUPS 207744741 WITH SCORE 2.08418398047E8
AT ITER 2745 NEW BEST:: SOT 1086510307 SOS 673623745 HAS SOPS 673623745 HAS SOUS 207744739 HAS SOUPS 207744739 WITH SCORE 2.08418362745E8
AT ITER 2752 NEW BEST:: SOT 1086477623 SOS 673542033 HAS SOPS 673542033 HAS SOUS 207744737 HAS SOUPS 207744737 WITH SCORE 2.08418279033E8
AT ITER 2773 NEW BEST:: SOT 1086453243 SOS 673481081 HAS SOPS 673481081 HAS SOUS 207744735 HAS SOUPS 207744735 WITH SCORE 2.08418216081E8
AT ITER 2777 NEW BEST:: SOT 1086446345 SOS 673463834 HAS SOPS 673463834 HAS SOUS 207744733 HAS SOUPS 207744733 WITH SCORE 2.08418196834E8
AT ITER 2789 NEW BEST:: SOT 1086430005 SOS 673422981 HAS SOPS 673422981 HAS SOUS 207744728 HAS SOUPS 207744728 WITH SCORE 2.08418150981E8
AT ITER 2793 NEW BEST:: SOT 1086405717 SOS 673362258 HAS SOPS 673362258 HAS SOUS 207744723 HAS SOUPS 207744723 WITH SCORE 2.08418085258E8
AT ITER 2802 NEW BEST:: SOT 1086397511 SOS 673341742 HAS SOPS 673341742 HAS SOUS 207744722 HAS SOUPS 207744722 WITH SCORE 2.08418063742E8
AT ITER 2811 NEW BEST:: SOT 1086369229 SOS 673271035 HAS SOPS 673271035 HAS SOUS 207744720 HAS SOUPS 207744720 WITH SCORE 2.08417991035E8
AT ITER 2814 NEW BEST:: SOT 1086336643 SOS 673189567 HAS SOPS 673189567 HAS SOUS 207744715 HAS SOUPS 207744715 WITH SCORE 2.08417904567E8
AT ITER 2832 NEW BEST:: SOT 1086328661 SOS 673169612 HAS SOPS 673169612 HAS SOUS 207744715 HAS SOUPS 207744715 WITH SCORE 2.08417884612E8
AT ITER 2837 NEW BEST:: SOT 1086307163 SOS 673103956 HAS SOPS 673103956 HAS SOUS 207734994 HAS SOUPS 207734994 WITH SCORE 2.08408097956E8
AT ITER 2845 NEW BEST:: SOT 1086277707 SOS 673030313 HAS SOPS 673030313 HAS SOUS 207734989 HAS SOUPS 207734989 WITH SCORE 2.08408019313E8
AT ITER 2847 NEW BEST:: SOT 1086251927 SOS 672965862 HAS SOPS 672965862 HAS SOUS 207734988 HAS SOUPS 207734988 WITH SCORE 2.08407953862E8
AT ITER 2851 NEW BEST:: SOT 1086228679 SOS 672900347 HAS SOPS 672900347 HAS SOUS 207730863 HAS SOUPS 207730863 WITH SCORE 2.08403763347E8
AT ITER 2861 NEW BEST:: SOT 1086204435 SOS 672839737 HAS SOPS 672839737 HAS SOUS 207730863 HAS SOUPS 207730863 WITH SCORE 2.08403702737E8
AT ITER 2870 NEW BEST:: SOT 1086202485 SOS 672835834 HAS SOPS 672835834 HAS SOUS 207730208 HAS SOUPS 207730208 WITH SCORE 2.08403043834E8
AT ITER 2879 NEW BEST:: SOT 1086177777 SOS 672774061 HAS SOPS 672774061 HAS SOUS 207730203 HAS SOUPS 207730203 WITH SCORE 2.08402977061E8
AT ITER 2881 NEW BEST:: SOT 1086169337 SOS 672752960 HAS SOPS 672752960 HAS SOUS 207730202 HAS SOUPS 207730202 WITH SCORE 2.0840295496E8
AT ITER 2886 NEW BEST:: SOT 1086163695 SOS 672738854 HAS SOPS 672738854 HAS SOUS 207730201 HAS SOUPS 207730201 WITH SCORE 2.08402939854E8
AT ITER 2889 NEW BEST:: SOT 1086143633 SOS 672688699 HAS SOPS 672688699 HAS SOUS 207730201 HAS SOUPS 207730201 WITH SCORE 2.08402889699E8
AT ITER 2892 NEW BEST:: SOT 1086127248 SOS 672640548 HAS SOPS 672640548 HAS SOUS 207724937 HAS SOUPS 207724937 WITH SCORE 2.08397577548E8
AT ITER 2899 NEW BEST:: SOT 1086116616 SOS 672613965 HAS SOPS 672613965 HAS SOUS 207724932 HAS SOUPS 207724932 WITH SCORE 2.08397545965E8
AT ITER 2907 NEW BEST:: SOT 1086081558 SOS 672526320 HAS SOPS 672526320 HAS SOUS 207724932 HAS SOUPS 207724932 WITH SCORE 2.0839745832E8
AT ITER 2915 NEW BEST:: SOT 1086048472 SOS 672443605 HAS SOPS 672443605 HAS SOUS 207724932 HAS SOUPS 207724932 WITH SCORE 2.08397375605E8
AT ITER 2928 NEW BEST:: SOT 1086016550 SOS 672363797 HAS SOPS 672363797 HAS SOUS 207724927 HAS SOUPS 207724927 WITH SCORE 2.08397290797E8
AT ITER 2942 NEW BEST:: SOT 1086016550 SOS 672363795 HAS SOPS 672363795 HAS SOUS 207724925 HAS SOUPS 207724925 WITH SCORE 2.08397288795E8
AT ITER 2948 NEW BEST:: SOT 1086006676 SOS 672339109 HAS SOPS 672339109 HAS SOUS 207724924 HAS SOUPS 207724924 WITH SCORE 2.08397263109E8
AT ITER 2950 NEW BEST:: SOT 1085979368 SOS 672270839 HAS SOPS 672270839 HAS SOUS 207724924 HAS SOUPS 207724924 WITH SCORE 2.08397194839E8
AT ITER 2956 NEW BEST:: SOT 1085974556 SOS 672261214 HAS SOPS 672261214 HAS SOUS 207723319 HAS SOUPS 207723319 WITH SCORE 2.08395580214E8
AT ITER 2957 NEW BEST:: SOT 1085956540 SOS 672216171 HAS SOPS 672216171 HAS SOUS 207723314 HAS SOUPS 207723314 WITH SCORE 2.08395530171E8
AT ITER 2963 NEW BEST:: SOT 1085926166 SOS 672140234 HAS SOPS 672140234 HAS SOUS 207723312 HAS SOUPS 207723312 WITH SCORE 2.08395452234E8
AT ITER 2968 NEW BEST:: SOT 1085902066 SOS 672079981 HAS SOPS 672079981 HAS SOUS 207723307 HAS SOUPS 207723307 WITH SCORE 2.08395386981E8
AT ITER 2971 NEW BEST:: SOT 1085885566 SOS 672038728 HAS SOPS 672038728 HAS SOUS 207723302 HAS SOUPS 207723302 WITH SCORE 2.08395340728E8
AT ITER 2979 NEW BEST:: SOT 1085877012 SOS 672017340 HAS SOPS 672017340 HAS SOUS 207723297 HAS SOUPS 207723297 WITH SCORE 2.0839531434E8
AT ITER 2980 NEW BEST:: SOT 1085866412 SOS 671990839 HAS SOPS 671990839 HAS SOUS 207723296 HAS SOUPS 207723296 WITH SCORE 2.08395286839E8
AT ITER 2983 NEW BEST:: SOT 1085845416 SOS 671938346 HAS SOPS 671938346 HAS SOUS 207723291 HAS SOUPS 207723291 WITH SCORE 2.08395229346E8
AT ITER 2989 NEW BEST:: SOT 1085800303 SOS 671843766 HAS SOPS 671843766 HAS SOUS 207719171 HAS SOUPS 207719171 WITH SCORE 2.08391014766E8
AT ITER 2993 NEW BEST:: SOT 1085790951 SOS 671820383 HAS SOPS 671820383 HAS SOUS 207719166 HAS SOUPS 207719166 WITH SCORE 2.08390986383E8
AT ITER 3015 NEW BEST:: SOT 1085760729 SOS 671744827 HAS SOPS 671744827 HAS SOUS 207719165 HAS SOUPS 207719165 WITH SCORE 2.08390909827E8
AT ITER 3020 NEW BEST:: SOT 1085732892 SOS 671656954 HAS SOPS 671656954 HAS SOUS 207708945 HAS SOUPS 207708945 WITH SCORE 2.08380601954E8
AT ITER 3040 NEW BEST:: SOT 1085702712 SOS 671581503 HAS SOPS 671581503 HAS SOUS 207708944 HAS SOUPS 207708944 WITH SCORE 2.08380525503E8
AT ITER 3050 NEW BEST:: SOT 1085670098 SOS 671499965 HAS SOPS 671499965 HAS SOUS 207708939 HAS SOUPS 207708939 WITH SCORE 2.08380438965E8
AT ITER 3051 NEW BEST:: SOT 1085646356 SOS 671440608 HAS SOPS 671440608 HAS SOUS 207708937 HAS SOUPS 207708937 WITH SCORE 2.08380377608E8
AT ITER 3058 NEW BEST:: SOT 1085629032 SOS 671397298 HAS SOPS 671397298 HAS SOUS 207708937 HAS SOUPS 207708937 WITH SCORE 2.08380334298E8
AT ITER 3060 NEW BEST:: SOT 1085606364 SOS 671340625 HAS SOPS 671340625 HAS SOUS 207708932 HAS SOUPS 207708932 WITH SCORE 2.08380272625E8
AT ITER 3067 NEW BEST:: SOT 1085606364 SOS 671340622 HAS SOPS 671340622 HAS SOUS 207708927 HAS SOUPS 207708927 WITH SCORE 2.08380267622E8
AT ITER 3072 NEW BEST:: SOT 1085586792 SOS 671291691 HAS SOPS 671291691 HAS SOUS 207708926 HAS SOUPS 207708926 WITH SCORE 2.08380217691E8
AT ITER 3085 NEW BEST:: SOT 1085568956 SOS 671247100 HAS SOPS 671247100 HAS SOUS 207708925 HAS SOUPS 207708925 WITH SCORE 2.083801721E8
AT ITER 3090 NEW BEST:: SOT 1085537342 SOS 671168062 HAS SOPS 671168062 HAS SOUS 207708920 HAS SOUPS 207708920 WITH SCORE 2.08380088062E8
AT ITER 3097 NEW BEST:: SOT 1085526366 SOS 671140621 HAS SOPS 671140621 HAS SOUS 207708919 HAS SOUPS 207708919 WITH SCORE 2.08380059621E8
AT ITER 3125 NEW BEST:: SOT 1085497274 SOS 671067890 HAS SOPS 671067890 HAS SOUS 207708918 HAS SOUPS 207708918 WITH SCORE 2.0837998589E8
AT ITER 3127 NEW BEST:: SOT 1085465238 SOS 670987798 HAS SOPS 670987798 HAS SOUS 207708916 HAS SOUPS 207708916 WITH SCORE 2.08379903798E8
AT ITER 3134 NEW BEST:: SOT 1085442536 SOS 670931041 HAS SOPS 670931041 HAS SOUS 207708914 HAS SOUPS 207708914 WITH SCORE 2.08379845041E8
AT ITER 3141 NEW BEST:: SOT 1085412322 SOS 670855506 HAS SOPS 670855506 HAS SOUS 207708914 HAS SOUPS 207708914 WITH SCORE 2.08379769506E8
AT ITER 3144 NEW BEST:: SOT 1085405694 SOS 670838934 HAS SOPS 670838934 HAS SOUS 207708912 HAS SOUPS 207708912 WITH SCORE 2.08379750934E8
AT ITER 3152 NEW BEST:: SOT 1085395116 SOS 670812489 HAS SOPS 670812489 HAS SOUS 207708912 HAS SOUPS 207708912 WITH SCORE 2.08379724489E8
AT ITER 3156 NEW BEST:: SOT 1085385790 SOS 670789174 HAS SOPS 670789174 HAS SOUS 207708912 HAS SOUPS 207708912 WITH SCORE 2.08379701174E8
AT ITER 3171 NEW BEST:: SOT 1085364036 SOS 670734788 HAS SOPS 670734788 HAS SOUS 207708911 HAS SOUPS 207708911 WITH SCORE 2.08379645788E8
AT ITER 3183 NEW BEST:: SOT 1085360956 SOS 670727088 HAS SOPS 670727088 HAS SOUS 207708911 HAS SOUPS 207708911 WITH SCORE 2.08379638088E8
AT ITER 3186 NEW BEST:: SOT 1085344014 SOS 670684730 HAS SOPS 670684730 HAS SOUS 207708906 HAS SOUPS 207708906 WITH SCORE 2.0837959073E8
AT ITER 3203 NEW BEST:: SOT 1085315426 SOS 670613257 HAS SOPS 670613257 HAS SOUS 207708901 HAS SOUPS 207708901 WITH SCORE 2.08379514257E8
AT ITER 3211 NEW BEST:: SOT 1085289910 SOS 670549466 HAS SOPS 670549466 HAS SOUS 207708900 HAS SOUPS 207708900 WITH SCORE 2.08379449466E8
AT ITER 3213 NEW BEST:: SOT 1085279398 SOS 670523183 HAS SOPS 670523183 HAS SOUS 207708895 HAS SOUPS 207708895 WITH SCORE 2.08379418183E8
AT ITER 3216 NEW BEST:: SOT 1085227856 SOS 670420093 HAS SOPS 670420093 HAS SOUS 207695856 HAS SOUPS 207695856 WITH SCORE 2.08366276093E8
AT ITER 3224 NEW BEST:: SOT 1085220460 SOS 670401600 HAS SOPS 670401600 HAS SOUS 207695851 HAS SOUPS 207695851 WITH SCORE 2.083662526E8
AT ITER 3225 NEW BEST:: SOT 1085202122 SOS 670355755 HAS SOPS 670355755 HAS SOUS 207695851 HAS SOUPS 207695851 WITH SCORE 2.08366206755E8
AT ITER 3227 NEW BEST:: SOT 1085181792 SOS 670304930 HAS SOPS 670304930 HAS SOUS 207695851 HAS SOUPS 207695851 WITH SCORE 2.0836615593E8
AT ITER 3245 NEW BEST:: SOT 1085158260 SOS 670246098 HAS SOPS 670246098 HAS SOUS 207695849 HAS SOUPS 207695849 WITH SCORE 2.08366095098E8
AT ITER 3248 NEW BEST:: SOT 1085135919 SOS 670179907 HAS SOPS 670179907 HAS SOUS 207691119 HAS SOUPS 207691119 WITH SCORE 2.08361298907E8
AT ITER 3252 NEW BEST:: SOT 1085121417 SOS 670143651 HAS SOPS 670143651 HAS SOUS 207691118 HAS SOUPS 207691118 WITH SCORE 2.08361261651E8
AT ITER 3254 NEW BEST:: SOT 1085112695 SOS 670121846 HAS SOPS 670121846 HAS SOUS 207691118 HAS SOUPS 207691118 WITH SCORE 2.08361239846E8
AT ITER 3257 NEW BEST:: SOT 1085098093 SOS 670085340 HAS SOPS 670085340 HAS SOUS 207691117 HAS SOUPS 207691117 WITH SCORE 2.0836120234E8
AT ITER 3270 NEW BEST:: SOT 1085070021 SOS 670015157 HAS SOPS 670015157 HAS SOUS 207691112 HAS SOUPS 207691112 WITH SCORE 2.08361127157E8
AT ITER 3279 NEW BEST:: SOT 1085049205 SOS 669963114 HAS SOPS 669963114 HAS SOUS 207691107 HAS SOUPS 207691107 WITH SCORE 2.08361070114E8
AT ITER 3283 NEW BEST:: SOT 1085024969 SOS 669902523 HAS SOPS 669902523 HAS SOUS 207691106 HAS SOUPS 207691106 WITH SCORE 2.08361008523E8
AT ITER 3304 NEW BEST:: SOT 1085007573 SOS 669859033 HAS SOPS 669859033 HAS SOUS 207691106 HAS SOUPS 207691106 WITH SCORE 2.08360965033E8
AT ITER 3308 NEW BEST:: SOT 1084974555 SOS 669776487 HAS SOPS 669776487 HAS SOUS 207691105 HAS SOUPS 207691105 WITH SCORE 2.08360881487E8
AT ITER 3309 NEW BEST:: SOT 1084956571 SOS 669731525 HAS SOPS 669731525 HAS SOUS 207691103 HAS SOUPS 207691103 WITH SCORE 2.08360834525E8
AT ITER 3311 NEW BEST:: SOT 1084916442 SOS 669646636 HAS SOPS 669646636 HAS SOUS 207688229 HAS SOUPS 207688229 WITH SCORE 2.08357875636E8
AT ITER 3313 NEW BEST:: SOT 1084889422 SOS 669579085 HAS SOPS 669579085 HAS SOUS 207688228 HAS SOUPS 207688228 WITH SCORE 2.08357807085E8
AT ITER 3314 NEW BEST:: SOT 1084874166 SOS 669540943 HAS SOPS 669540943 HAS SOUS 207688226 HAS SOUPS 207688226 WITH SCORE 2.08357766943E8
AT ITER 3323 NEW BEST:: SOT 1084841988 SOS 669460495 HAS SOPS 669460495 HAS SOUS 207688221 HAS SOUPS 207688221 WITH SCORE 2.08357681495E8
AT ITER 3328 NEW BEST:: SOT 1084821456 SOS 669409163 HAS SOPS 669409163 HAS SOUS 207688219 HAS SOUPS 207688219 WITH SCORE 2.08357628163E8
AT ITER 3333 NEW BEST:: SOT 1084802214 SOS 669353126 HAS SOPS 669353126 HAS SOUS 207680287 HAS SOUPS 207680287 WITH SCORE 2.08349640126E8
AT ITER 3341 NEW BEST:: SOT 1084781828 SOS 669302158 HAS SOPS 669302158 HAS SOUS 207680282 HAS SOUPS 207680282 WITH SCORE 2.08349584158E8
AT ITER 3350 NEW BEST:: SOT 1084770302 SOS 669279106 HAS SOPS 669279106 HAS SOUS 207676440 HAS SOUPS 207676440 WITH SCORE 2.08345719106E8
AT ITER 3362 NEW BEST:: SOT 1084739944 SOS 669203209 HAS SOPS 669203209 HAS SOUS 207676438 HAS SOUPS 207676438 WITH SCORE 2.08345641209E8
AT ITER 3375 NEW BEST:: SOT 1084711960 SOS 669133247 HAS SOPS 669133247 HAS SOUS 207676436 HAS SOUPS 207676436 WITH SCORE 2.08345569247E8
AT ITER 3377 NEW BEST:: SOT 1084706378 SOS 669119292 HAS SOPS 669119292 HAS SOUS 207676436 HAS SOUPS 207676436 WITH SCORE 2.08345555292E8
AT ITER 3395 NEW BEST:: SOT 1084689484 SOS 669077054 HAS SOPS 669077054 HAS SOUS 207676431 HAS SOUPS 207676431 WITH SCORE 2.08345508054E8
AT ITER 3402 NEW BEST:: SOT 1084680746 SOS 669055208 HAS SOPS 669055208 HAS SOUS 207676430 HAS SOUPS 207676430 WITH SCORE 2.08345485208E8
AT ITER 3407 NEW BEST:: SOT 1084671893 SOS 669037500 HAS SOPS 669037500 HAS SOUS 207673477 HAS SOUPS 207673477 WITH SCORE 2.083425145E8
AT ITER 3409 NEW BEST:: SOT 1084669347 SOS 669031134 HAS SOPS 669031134 HAS SOUS 207673476 HAS SOUPS 207673476 WITH SCORE 2.08342507134E8
AT ITER 3424 NEW BEST:: SOT 1084658469 SOS 669003936 HAS SOPS 669003936 HAS SOUS 207673471 HAS SOUPS 207673471 WITH SCORE 2.08342474936E8
AT ITER 3442 NEW BEST:: SOT 1084651125 SOS 668985576 HAS SOPS 668985576 HAS SOUS 207673471 HAS SOUPS 207673471 WITH SCORE 2.08342456576E8
AT ITER 3460 NEW BEST:: SOT 1084631309 SOS 668936033 HAS SOPS 668936033 HAS SOUS 207673466 HAS SOUPS 207673466 WITH SCORE 2.08342402033E8
AT ITER 3463 NEW BEST:: SOT 1084623457 SOS 668916400 HAS SOPS 668916400 HAS SOUS 207673461 HAS SOUPS 207673461 WITH SCORE 2.083423774E8
AT ITER 3468 NEW BEST:: SOT 1084574480 SOS 668818443 HAS SOPS 668818443 HAS SOUS 207665251 HAS SOUPS 207665251 WITH SCORE 2.08334069443E8
AT ITER 3475 NEW BEST:: SOT 1084570725 SOS 668805063 HAS SOPS 668805063 HAS SOUS 207664431 HAS SOUPS 207664431 WITH SCORE 2.08333236063E8
AT ITER 3479 NEW BEST:: SOT 1084537323 SOS 668721555 HAS SOPS 668721555 HAS SOUS 207664426 HAS SOUPS 207664426 WITH SCORE 2.08333147555E8
AT ITER 3486 NEW BEST:: SOT 1084522107 SOS 668683514 HAS SOPS 668683514 HAS SOUS 207664425 HAS SOUPS 207664425 WITH SCORE 2.08333108514E8
AT ITER 3496 NEW BEST:: SOT 1084507139 SOS 668646091 HAS SOPS 668646091 HAS SOUS 207664420 HAS SOUPS 207664420 WITH SCORE 2.08333066091E8
AT ITER 3533 NEW BEST:: SOT 1084490537 SOS 668604583 HAS SOPS 668604583 HAS SOUS 207664415 HAS SOUPS 207664415 WITH SCORE 2.08333019583E8
AT ITER 3534 NEW BEST:: SOT 1084473331 SOS 668561568 HAS SOPS 668561568 HAS SOUS 207664415 HAS SOUPS 207664415 WITH SCORE 2.08332976568E8
AT ITER 3538 NEW BEST:: SOT 1084461921 SOS 668530662 HAS SOPS 668530662 HAS SOUS 207662034 HAS SOUPS 207662034 WITH SCORE 2.08330564662E8
AT ITER 3552 NEW BEST:: SOT 1084445243 SOS 668488967 HAS SOPS 668488967 HAS SOUS 207662034 HAS SOUPS 207662034 WITH SCORE 2.08330522967E8
AT ITER 3558 NEW BEST:: SOT 1084426601 SOS 668442362 HAS SOPS 668442362 HAS SOUS 207662034 HAS SOUPS 207662034 WITH SCORE 2.08330476362E8
AT ITER 3564 NEW BEST:: SOT 1084404756 SOS 668380813 HAS SOPS 668380813 HAS SOUS 207657662 HAS SOUPS 207657662 WITH SCORE 2.08326042813E8
AT ITER 3577 NEW BEST:: SOT 1084354653 SOS 668280604 HAS SOPS 668280604 HAS SOUS 207657280 HAS SOUPS 207657280 WITH SCORE 2.08325560604E8
AT ITER 3592 NEW BEST:: SOT 1084337487 SOS 668237689 HAS SOPS 668237689 HAS SOUS 207657280 HAS SOUPS 207657280 WITH SCORE 2.08325517689E8
AT ITER 3609 NEW BEST:: SOT 1084326821 SOS 668211021 HAS SOPS 668211021 HAS SOUS 207657275 HAS SOUPS 207657275 WITH SCORE 2.08325486021E8
AT ITER 3617 NEW BEST:: SOT 1084300933 SOS 668146300 HAS SOPS 668146300 HAS SOUS 207657274 HAS SOUPS 207657274 WITH SCORE 2.083254203E8
AT ITER 3632 NEW BEST:: SOT 1084295671 SOS 668133145 HAS SOPS 668133145 HAS SOUS 207657274 HAS SOUPS 207657274 WITH SCORE 2.08325407145E8
AT ITER 3638 NEW BEST:: SOT 1084263625 SOS 668053027 HAS SOPS 668053027 HAS SOUS 207657269 HAS SOUPS 207657269 WITH SCORE 2.08325322027E8
AT ITER 3641 NEW BEST:: SOT 1084257403 SOS 668037472 HAS SOPS 668037472 HAS SOUS 207657269 HAS SOUPS 207657269 WITH SCORE 2.08325306472E8
AT ITER 3643 NEW BEST:: SOT 1084230513 SOS 667970247 HAS SOPS 667970247 HAS SOUS 207657269 HAS SOUPS 207657269 WITH SCORE 2.08325239247E8
AT ITER 3654 NEW BEST:: SOT 1084214701 SOS 667930717 HAS SOPS 667930717 HAS SOUS 207657269 HAS SOUPS 207657269 WITH SCORE 2.08325199717E8
AT ITER 3661 NEW BEST:: SOT 1084190685 SOS 667859346 HAS SOPS 667859346 HAS SOUS 207645938 HAS SOUPS 207645938 WITH SCORE 2.08313797346E8
AT ITER 3662 NEW BEST:: SOT 1084161237 SOS 667785724 HAS SOPS 667785724 HAS SOUS 207645936 HAS SOUPS 207645936 WITH SCORE 2.08313721724E8
AT ITER 3669 NEW BEST:: SOT 1084157923 SOS 667775782 HAS SOPS 667775782 HAS SOUS 207644279 HAS SOUPS 207644279 WITH SCORE 2.08312054782E8
AT ITER 3673 NEW BEST:: SOT 1084128216 SOS 667685599 HAS SOPS 667685599 HAS SOUS 207634524 HAS SOUPS 207634524 WITH SCORE 2.08302209599E8
AT ITER 3701 NEW BEST:: SOT 1084119116 SOS 667662849 HAS SOPS 667662849 HAS SOUS 207634524 HAS SOUPS 207634524 WITH SCORE 2.08302186849E8
AT ITER 3705 NEW BEST:: SOT 1084095030 SOS 667602631 HAS SOPS 667602631 HAS SOUS 207634519 HAS SOUPS 207634519 WITH SCORE 2.08302121631E8
AT ITER 3706 NEW BEST:: SOT 1084087250 SOS 667583178 HAS SOPS 667583178 HAS SOUS 207634514 HAS SOUPS 207634514 WITH SCORE 2.08302097178E8
AT ITER 3717 NEW BEST:: SOT 1084060395 SOS 667502699 HAS SOPS 667502699 HAS SOUS 207625892 HAS SOUPS 207625892 WITH SCORE 2.08293394699E8
AT ITER 3721 NEW BEST:: SOT 1084040977 SOS 667444445 HAS SOPS 667444445 HAS SOUS 207616181 HAS SOUPS 207616181 WITH SCORE 2.08283625445E8
AT ITER 3724 NEW BEST:: SOT 1084022503 SOS 667398259 HAS SOPS 667398259 HAS SOUS 207616180 HAS SOUPS 207616180 WITH SCORE 2.08283578259E8
AT ITER 3726 NEW BEST:: SOT 1084012535 SOS 667373338 HAS SOPS 667373338 HAS SOUS 207616179 HAS SOUPS 207616179 WITH SCORE 2.08283552338E8
AT ITER 3727 NEW BEST:: SOT 1083993515 SOS 667325788 HAS SOPS 667325788 HAS SOUS 207616179 HAS SOUPS 207616179 WITH SCORE 2.08283504788E8
AT ITER 3729 NEW BEST:: SOT 1083962429 SOS 667248070 HAS SOPS 667248070 HAS SOUS 207616174 HAS SOUPS 207616174 WITH SCORE 2.0828342207E8
AT ITER 3734 NEW BEST:: SOT 1083937425 SOS 667185557 HAS SOPS 667185557 HAS SOUS 207616169 HAS SOUPS 207616169 WITH SCORE 2.08283354557E8
AT ITER 3738 NEW BEST:: SOT 1083914953 SOS 667129377 HAS SOPS 667129377 HAS SOUS 207616169 HAS SOUPS 207616169 WITH SCORE 2.08283298377E8
AT ITER 3751 NEW BEST:: SOT 1083904479 SOS 667103191 HAS SOPS 667103191 HAS SOUS 207616168 HAS SOUPS 207616168 WITH SCORE 2.08283271191E8
AT ITER 3755 NEW BEST:: SOT 1083874259 SOS 667027639 HAS SOPS 667027639 HAS SOUS 207616166 HAS SOUPS 207616166 WITH SCORE 2.08283193639E8
AT ITER 3760 NEW BEST:: SOT 1083845621 SOS 666956042 HAS SOPS 666956042 HAS SOUS 207616164 HAS SOUPS 207616164 WITH SCORE 2.08283120042E8
AT ITER 3764 NEW BEST:: SOT 1083838286 SOS 666941370 HAS SOPS 666941370 HAS SOUS 207613717 HAS SOUPS 207613717 WITH SCORE 2.0828065837E8
AT ITER 3772 NEW BEST:: SOT 1083825278 SOS 666902346 HAS SOPS 666902346 HAS SOUS 207607209 HAS SOUPS 207607209 WITH SCORE 2.08274111346E8
AT ITER 3783 NEW BEST:: SOT 1083808522 SOS 666860454 HAS SOPS 666860454 HAS SOUS 207607207 HAS SOUPS 207607207 WITH SCORE 2.08274067454E8
AT ITER 3787 NEW BEST:: SOT 1083777644 SOS 666768082 HAS SOPS 666768082 HAS SOUS 207592030 HAS SOUPS 207592030 WITH SCORE 2.08258798082E8
AT ITER 3792 NEW BEST:: SOT 1083770352 SOS 666749852 HAS SOPS 666749852 HAS SOUS 207592030 HAS SOUPS 207592030 WITH SCORE 2.08258779852E8
AT ITER 3796 NEW BEST:: SOT 1083764936 SOS 666736312 HAS SOPS 666736312 HAS SOUS 207592030 HAS SOUPS 207592030 WITH SCORE 2.08258766312E8
AT ITER 3804 NEW BEST:: SOT 1083760229 SOS 666726898 HAS SOPS 666726898 HAS SOUS 207590461 HAS SOUPS 207590461 WITH SCORE 2.08257187898E8
AT ITER 3808 NEW BEST:: SOT 1083758525 SOS 666722638 HAS SOPS 666722638 HAS SOUS 207590461 HAS SOUPS 207590461 WITH SCORE 2.08257183638E8
AT ITER 3814 NEW BEST:: SOT 1083731415 SOS 666654860 HAS SOPS 666654860 HAS SOUS 207590456 HAS SOUPS 207590456 WITH SCORE 2.0825711086E8
AT ITER 3816 NEW BEST:: SOT 1083723139 SOS 666634169 HAS SOPS 666634169 HAS SOUS 207590455 HAS SOUPS 207590455 WITH SCORE 2.08257089169E8
AT ITER 3825 NEW BEST:: SOT 1083696333 SOS 666567153 HAS SOPS 666567153 HAS SOUS 207590454 HAS SOUPS 207590454 WITH SCORE 2.08257021153E8
AT ITER 3830 NEW BEST:: SOT 1083672485 SOS 666507532 HAS SOPS 666507532 HAS SOUS 207590453 HAS SOUPS 207590453 WITH SCORE 2.08256960532E8
AT ITER 3845 NEW BEST:: SOT 1083668003 SOS 666496326 HAS SOPS 666496326 HAS SOUS 207590452 HAS SOUPS 207590452 WITH SCORE 2.08256948326E8
AT ITER 3850 NEW BEST:: SOT 1083646125 SOS 666441631 HAS SOPS 666441631 HAS SOUS 207590452 HAS SOUPS 207590452 WITH SCORE 2.08256893631E8
AT ITER 3857 NEW BEST:: SOT 1083622251 SOS 666381945 HAS SOPS 666381945 HAS SOUS 207590451 HAS SOUPS 207590451 WITH SCORE 2.08256832945E8
AT ITER 3865 NEW BEST:: SOT 1083616949 SOS 666368687 HAS SOPS 666368687 HAS SOUS 207590446 HAS SOUPS 207590446 WITH SCORE 2.08256814687E8
AT ITER 3878 NEW BEST:: SOT 1083608207 SOS 666346829 HAS SOPS 666346829 HAS SOUS 207590441 HAS SOUPS 207590441 WITH SCORE 2.08256787829E8
AT ITER 3879 NEW BEST:: SOT 1083580963 SOS 666278718 HAS SOPS 666278718 HAS SOUS 207590440 HAS SOUPS 207590440 WITH SCORE 2.08256718718E8
AT ITER 3888 NEW BEST:: SOT 1083552637 SOS 666207902 HAS SOPS 666207902 HAS SOUS 207590439 HAS SOUPS 207590439 WITH SCORE 2.08256646902E8
AT ITER 3891 NEW BEST:: SOT 1083523651 SOS 666135435 HAS SOPS 666135435 HAS SOUS 207590437 HAS SOUPS 207590437 WITH SCORE 2.08256572435E8
AT ITER 3917 NEW BEST:: SOT 1083523651 SOS 666135433 HAS SOPS 666135433 HAS SOUS 207590435 HAS SOUPS 207590435 WITH SCORE 2.08256570433E8
AT ITER 3922 NEW BEST:: SOT 1083511599 SOS 666105302 HAS SOPS 666105302 HAS SOUS 207590434 HAS SOUPS 207590434 WITH SCORE 2.08256539302E8
AT ITER 3923 NEW BEST:: SOT 1083485935 SOS 666041142 HAS SOPS 666041142 HAS SOUS 207590434 HAS SOUPS 207590434 WITH SCORE 2.08256475142E8
AT ITER 3938 NEW BEST:: SOT 1083466315 SOS 665992091 HAS SOPS 665992091 HAS SOUS 207590433 HAS SOUPS 207590433 WITH SCORE 2.08256425091E8
AT ITER 3940 NEW BEST:: SOT 1083433625 SOS 665910363 HAS SOPS 665910363 HAS SOUS 207590428 HAS SOUPS 207590428 WITH SCORE 2.08256338363E8
AT ITER 3955 NEW BEST:: SOT 1083422653 SOS 665882930 HAS SOPS 665882930 HAS SOUS 207590423 HAS SOUPS 207590423 WITH SCORE 2.0825630593E8
AT ITER 3958 NEW BEST:: SOT 1083396209 SOS 665816817 HAS SOPS 665816817 HAS SOUS 207590418 HAS SOUPS 207590418 WITH SCORE 2.08256234817E8
AT ITER 3966 NEW BEST:: SOT 1083377527 SOS 665760771 HAS SOPS 665760771 HAS SOUS 207581073 HAS SOUPS 207581073 WITH SCORE 2.08246833771E8
AT ITER 3968 NEW BEST:: SOT 1083369183 SOS 665739911 HAS SOPS 665739911 HAS SOUS 207581073 HAS SOUPS 207581073 WITH SCORE 2.08246812911E8
AT ITER 3991 NEW BEST:: SOT 1083348357 SOS 665687844 HAS SOPS 665687844 HAS SOUS 207581071 HAS SOUPS 207581071 WITH SCORE 2.08246758844E8
AT ITER 3993 NEW BEST:: SOT 1083319531 SOS 665615778 HAS SOPS 665615778 HAS SOUS 207581070 HAS SOUPS 207581070 WITH SCORE 2.08246685778E8
AT ITER 4000 NEW BEST:: SOT 1083284999 SOS 665529447 HAS SOPS 665529447 HAS SOUS 207581069 HAS SOUPS 207581069 WITH SCORE 2.08246598447E8
AT ITER 4013 NEW BEST:: SOT 1083259369 SOS 665465370 HAS SOPS 665465370 HAS SOUS 207581067 HAS SOUPS 207581067 WITH SCORE 2.0824653237E8
AT ITER 4019 NEW BEST:: SOT 1083237661 SOS 665411097 HAS SOPS 665411097 HAS SOUS 207581062 HAS SOUPS 207581062 WITH SCORE 2.08246473097E8
AT ITER 4025 NEW BEST:: SOT 1083236050 SOS 665407338 HAS SOPS 665407338 HAS SOUS 207579988 HAS SOUPS 207579988 WITH SCORE 2.08245395338E8
AT ITER 4026 NEW BEST:: SOT 1083216108 SOS 665357481 HAS SOPS 665357481 HAS SOUS 207579986 HAS SOUPS 207579986 WITH SCORE 2.08245343481E8
AT ITER 4030 NEW BEST:: SOT 1083163616 SOS 665252491 HAS SOPS 665252491 HAS SOUS 207569703 HAS SOUPS 207569703 WITH SCORE 2.08234955491E8
AT ITER 4031 NEW BEST:: SOT 1083141642 SOS 665197555 HAS SOPS 665197555 HAS SOUS 207569702 HAS SOUPS 207569702 WITH SCORE 2.08234899555E8
AT ITER 4037 NEW BEST:: SOT 1083136576 SOS 665182357 HAS SOPS 665182357 HAS SOUS 207567167 HAS SOUPS 207567167 WITH SCORE 2.08232349357E8
AT ITER 4063 NEW BEST:: SOT 1083113364 SOS 665124324 HAS SOPS 665124324 HAS SOUS 207567162 HAS SOUPS 207567162 WITH SCORE 2.08232286324E8
AT ITER 4065 NEW BEST:: SOT 1083087968 SOS 665060832 HAS SOPS 665060832 HAS SOUS 207567160 HAS SOUPS 207567160 WITH SCORE 2.08232220832E8
AT ITER 4073 NEW BEST:: SOT 1083036808 SOS 664958508 HAS SOPS 664958508 HAS SOUS 207552401 HAS SOUPS 207552401 WITH SCORE 2.08217359508E8
AT ITER 4095 NEW BEST:: SOT 1083007838 SOS 664886083 HAS SOPS 664886083 HAS SOUS 207552401 HAS SOUPS 207552401 WITH SCORE 2.08217287083E8
AT ITER 4102 NEW BEST:: SOT 1082984698 SOS 664828231 HAS SOPS 664828231 HAS SOUS 207552399 HAS SOUPS 207552399 WITH SCORE 2.08217227231E8
AT ITER 4111 NEW BEST:: SOT 1082971688 SOS 664795706 HAS SOPS 664795706 HAS SOUS 207552399 HAS SOUPS 207552399 WITH SCORE 2.08217194706E8
AT ITER 4117 NEW BEST:: SOT 1082960224 SOS 664767046 HAS SOPS 664767046 HAS SOUS 207552399 HAS SOUPS 207552399 WITH SCORE 2.08217166046E8
AT ITER 4127 NEW BEST:: SOT 1082943644 SOS 664725595 HAS SOPS 664725595 HAS SOUS 207552398 HAS SOUPS 207552398 WITH SCORE 2.08217123595E8
AT ITER 4135 NEW BEST:: SOT 1082918894 SOS 664663718 HAS SOPS 664663718 HAS SOUS 207552396 HAS SOUPS 207552396 WITH SCORE 2.08217059718E8
AT ITER 4166 NEW BEST:: SOT 1082910406 SOS 664642495 HAS SOPS 664642495 HAS SOUS 207552391 HAS SOUPS 207552391 WITH SCORE 2.08217033495E8
AT ITER 4172 NEW BEST:: SOT 1082906108 SOS 664631748 HAS SOPS 664631748 HAS SOUS 207552389 HAS SOUPS 207552389 WITH SCORE 2.08217020748E8
AT ITER 4174 NEW BEST:: SOT 1082855757 SOS 664531043 HAS SOPS 664531043 HAS SOUS 207542028 HAS SOUPS 207542028 WITH SCORE 2.08206559043E8
AT ITER 4185 NEW BEST:: SOT 1082842389 SOS 664496246 HAS SOPS 664496246 HAS SOUS 207540651 HAS SOUPS 207540651 WITH SCORE 2.08205147246E8
AT ITER 4189 NEW BEST:: SOT 1082839563 SOS 664489181 HAS SOPS 664489181 HAS SOUS 207540651 HAS SOUPS 207540651 WITH SCORE 2.08205140181E8
AT ITER 4190 NEW BEST:: SOT 1082825383 SOS 664453728 HAS SOPS 664453728 HAS SOUS 207540646 HAS SOUPS 207540646 WITH SCORE 2.08205099728E8
AT ITER 4191 NEW BEST:: SOT 1082793809 SOS 664374790 HAS SOPS 664374790 HAS SOUS 207540641 HAS SOUPS 207540641 WITH SCORE 2.0820501579E8
AT ITER 4204 NEW BEST:: SOT 1082776119 SOS 664330563 HAS SOPS 664330563 HAS SOUS 207540639 HAS SOUPS 207540639 WITH SCORE 2.08204969563E8
AT ITER 4211 NEW BEST:: SOT 1082756187 SOS 664280730 HAS SOPS 664280730 HAS SOUS 207540634 HAS SOUPS 207540634 WITH SCORE 2.0820491473E8
AT ITER 4214 NEW BEST:: SOT 1082732605 SOS 664221773 HAS SOPS 664221773 HAS SOUS 207540632 HAS SOUPS 207540632 WITH SCORE 2.08204853773E8
AT ITER 4236 NEW BEST:: SOT 1082723591 SOS 664199238 HAS SOPS 664199238 HAS SOUS 207540632 HAS SOUPS 207540632 WITH SCORE 2.08204831238E8
AT ITER 4276 NEW BEST:: SOT 1082720013 SOS 664188504 HAS SOPS 664188504 HAS SOUS 207538841 HAS SOUPS 207538841 WITH SCORE 2.08203029504E8
AT ITER 4288 NEW BEST:: SOT 1082719105 SOS 664186231 HAS SOPS 664186231 HAS SOUS 207538836 HAS SOUPS 207538836 WITH SCORE 2.08203022231E8
AT ITER 4293 NEW BEST:: SOT 1082688841 SOS 664110569 HAS SOPS 664110569 HAS SOUS 207538834 HAS SOUPS 207538834 WITH SCORE 2.08202944569E8
AT ITER 4310 NEW BEST:: SOT 1082663403 SOS 664046972 HAS SOPS 664046972 HAS SOUS 207538832 HAS SOUPS 207538832 WITH SCORE 2.08202878972E8
AT ITER 4312 NEW BEST:: SOT 1082626801 SOS 663949205 HAS SOPS 663949205 HAS SOUS 207538678 HAS SOUPS 207538678 WITH SCORE 2.08202627205E8
AT ITER 4338 NEW BEST:: SOT 1082622267 SOS 663937870 HAS SOPS 663937870 HAS SOUS 207538678 HAS SOUPS 207538678 WITH SCORE 2.0820261587E8
AT ITER 4340 NEW BEST:: SOT 1082603221 SOS 663890255 HAS SOPS 663890255 HAS SOUS 207538678 HAS SOUPS 207538678 WITH SCORE 2.08202568255E8
AT ITER 4342 NEW BEST:: SOT 1082592203 SOS 663862707 HAS SOPS 663862707 HAS SOUS 207538673 HAS SOUPS 207538673 WITH SCORE 2.08202535707E8
AT ITER 4343 NEW BEST:: SOT 1082579282 SOS 663836864 HAS SOPS 663836864 HAS SOUS 207534365 HAS SOUPS 207534365 WITH SCORE 2.08198201864E8
AT ITER 4359 NEW BEST:: SOT 1082551498 SOS 663767404 HAS SOPS 663767404 HAS SOUS 207534365 HAS SOUPS 207534365 WITH SCORE 2.08198132404E8
AT ITER 4360 NEW BEST:: SOT 1082549714 SOS 663762944 HAS SOPS 663762944 HAS SOUS 207534365 HAS SOUPS 207534365 WITH SCORE 2.08198127944E8
AT ITER 4365 NEW BEST:: SOT 1082534524 SOS 663724969 HAS SOPS 663724969 HAS SOUS 207534365 HAS SOUPS 207534365 WITH SCORE 2.08198089969E8
AT ITER 4368 NEW BEST:: SOT 1082534524 SOS 663724967 HAS SOPS 663724967 HAS SOUS 207534363 HAS SOUPS 207534363 WITH SCORE 2.08198087967E8
AT ITER 4375 NEW BEST:: SOT 1082520850 SOS 663690782 HAS SOPS 663690782 HAS SOUS 207534363 HAS SOUPS 207534363 WITH SCORE 2.08198053782E8
AT ITER 4382 NEW BEST:: SOT 1082493202 SOS 663621662 HAS SOPS 663621662 HAS SOUS 207534363 HAS SOUPS 207534363 WITH SCORE 2.08197984662E8
AT ITER 4385 NEW BEST:: SOT 1082484708 SOS 663600424 HAS SOPS 663600424 HAS SOUS 207534358 HAS SOUPS 207534358 WITH SCORE 2.08197958424E8
AT ITER 4386 NEW BEST:: SOT 1082454234 SOS 663510246 HAS SOPS 663510246 HAS SOUS 207520361 HAS SOUPS 207520361 WITH SCORE 2.08183871246E8
AT ITER 4391 NEW BEST:: SOT 1082429980 SOS 663449610 HAS SOPS 663449610 HAS SOUS 207520360 HAS SOUPS 207520360 WITH SCORE 2.0818380961E8
AT ITER 4393 NEW BEST:: SOT 1082405880 SOS 663377569 HAS SOPS 663377569 HAS SOUS 207514509 HAS SOUPS 207514509 WITH SCORE 2.08177886569E8
AT ITER 4405 NEW BEST:: SOT 1082400544 SOS 663364227 HAS SOPS 663364227 HAS SOUS 207514507 HAS SOUPS 207514507 WITH SCORE 2.08177871227E8
AT ITER 4411 NEW BEST:: SOT 1082372694 SOS 663294599 HAS SOPS 663294599 HAS SOUS 207514502 HAS SOUPS 207514502 WITH SCORE 2.08177796599E8
AT ITER 4431 NEW BEST:: SOT 1082344554 SOS 663229283 HAS SOPS 663229283 HAS SOUS 207506542 HAS SOUPS 207506542 WITH SCORE 2.08169771283E8
AT ITER 4437 NEW BEST:: SOT 1082329086 SOS 663190611 HAS SOPS 663190611 HAS SOUS 207506540 HAS SOUPS 207506540 WITH SCORE 2.08169730611E8
AT ITER 4438 NEW BEST:: SOT 1082321666 SOS 663172061 HAS SOPS 663172061 HAS SOUS 207506540 HAS SOUPS 207506540 WITH SCORE 2.08169712061E8
AT ITER 4440 NEW BEST:: SOT 1082306684 SOS 663134605 HAS SOPS 663134605 HAS SOUS 207506539 HAS SOUPS 207506539 WITH SCORE 2.08169673605E8
AT ITER 4448 NEW BEST:: SOT 1082277578 SOS 663061840 HAS SOPS 663061840 HAS SOUS 207506539 HAS SOUPS 207506539 WITH SCORE 2.0816960084E8
AT ITER 4453 NEW BEST:: SOT 1082266986 SOS 663035358 HAS SOPS 663035358 HAS SOUS 207506537 HAS SOUPS 207506537 WITH SCORE 2.08169572358E8
AT ITER 4455 NEW BEST:: SOT 1082215223 SOS 662931826 HAS SOPS 662931826 HAS SOUS 207496416 HAS SOUPS 207496416 WITH SCORE 2.08159347826E8
AT ITER 4458 NEW BEST:: SOT 1082203889 SOS 662903488 HAS SOPS 662903488 HAS SOUS 207496411 HAS SOUPS 207496411 WITH SCORE 2.08159314488E8
AT ITER 4476 NEW BEST:: SOT 1082189257 SOS 662866908 HAS SOPS 662866908 HAS SOUS 207496411 HAS SOUPS 207496411 WITH SCORE 2.08159277908E8
AT ITER 4482 NEW BEST:: SOT 1082163817 SOS 662803308 HAS SOPS 662803308 HAS SOUS 207496411 HAS SOUPS 207496411 WITH SCORE 2.08159214308E8
AT ITER 4489 NEW BEST:: SOT 1082118029 SOS 662701418 HAS SOPS 662701418 HAS SOUS 207491517 HAS SOUPS 207491517 WITH SCORE 2.08154218418E8
AT ITER 4493 NEW BEST:: SOT 1082084959 SOS 662618743 HAS SOPS 662618743 HAS SOUS 207491517 HAS SOUPS 207491517 WITH SCORE 2.08154135743E8
AT ITER 4498 NEW BEST:: SOT 1082063961 SOS 662566246 HAS SOPS 662566246 HAS SOUS 207491515 HAS SOUPS 207491515 WITH SCORE 2.08154081246E8
AT ITER 4499 NEW BEST:: SOT 1082059387 SOS 662554811 HAS SOPS 662554811 HAS SOUS 207491515 HAS SOUPS 207491515 WITH SCORE 2.08154069811E8
AT ITER 4514 NEW BEST:: SOT 1082059333 SOS 662554703 HAS SOPS 662554703 HAS SOUS 207491515 HAS SOUPS 207491515 WITH SCORE 2.08154069703E8
AT ITER 4525 NEW BEST:: SOT 1082055595 SOS 662545355 HAS SOPS 662545355 HAS SOUS 207491510 HAS SOUPS 207491510 WITH SCORE 2.08154055355E8
AT ITER 4563 NEW BEST:: SOT 1082050763 SOS 662533275 HAS SOPS 662533275 HAS SOUS 207491510 HAS SOUPS 207491510 WITH SCORE 2.08154043275E8
AT ITER 4571 NEW BEST:: SOT 1082048423 SOS 662528595 HAS SOPS 662528595 HAS SOUS 207490730 HAS SOUPS 207490730 WITH SCORE 2.08153258595E8
AT ITER 4576 NEW BEST:: SOT 1082037901 SOS 662502287 HAS SOPS 662502287 HAS SOUS 207490725 HAS SOUPS 207490725 WITH SCORE 2.08153227287E8
AT ITER 4583 NEW BEST:: SOT 1082027767 SOS 662476949 HAS SOPS 662476949 HAS SOUS 207490720 HAS SOUPS 207490720 WITH SCORE 2.08153196949E8
AT ITER 4589 NEW BEST:: SOT 1082003957 SOS 662417421 HAS SOPS 662417421 HAS SOUS 207490715 HAS SOUPS 207490715 WITH SCORE 2.08153132421E8
AT ITER 4604 NEW BEST:: SOT 1081987110 SOS 662372175 HAS SOPS 662372175 HAS SOUS 207488575 HAS SOUPS 207488575 WITH SCORE 2.08150947175E8
AT ITER 4610 NEW BEST:: SOT 1081978180 SOS 662349850 HAS SOPS 662349850 HAS SOUS 207488575 HAS SOUPS 207488575 WITH SCORE 2.0815092485E8
AT ITER 4619 NEW BEST:: SOT 1081947476 SOS 662273089 HAS SOPS 662273089 HAS SOUS 207488574 HAS SOUPS 207488574 WITH SCORE 2.08150847089E8
AT ITER 4620 NEW BEST:: SOT 1081916714 SOS 662196183 HAS SOPS 662196183 HAS SOUS 207488573 HAS SOUPS 207488573 WITH SCORE 2.08150769183E8
AT ITER 4621 NEW BEST:: SOT 1081913438 SOS 662187992 HAS SOPS 662187992 HAS SOUS 207488572 HAS SOUPS 207488572 WITH SCORE 2.08150759992E8
AT ITER 4625 NEW BEST:: SOT 1081898352 SOS 662150274 HAS SOPS 662150274 HAS SOUS 207488567 HAS SOUPS 207488567 WITH SCORE 2.08150717274E8
AT ITER 4628 NEW BEST:: SOT 1081881002 SOS 662106898 HAS SOPS 662106898 HAS SOUS 207488566 HAS SOUPS 207488566 WITH SCORE 2.08150672898E8
AT ITER 4629 NEW BEST:: SOT 1081881002 SOS 662106896 HAS SOPS 662106896 HAS SOUS 207488564 HAS SOUPS 207488564 WITH SCORE 2.08150670896E8
AT ITER 4644 NEW BEST:: SOT 1081868612 SOS 662075920 HAS SOPS 662075920 HAS SOUS 207488563 HAS SOUPS 207488563 WITH SCORE 2.0815063892E8
AT ITER 4645 NEW BEST:: SOT 1081868612 SOS 662075917 HAS SOPS 662075917 HAS SOUS 207488558 HAS SOUPS 207488558 WITH SCORE 2.08150633917E8
AT ITER 4651 NEW BEST:: SOT 1081857312 SOS 662047665 HAS SOPS 662047665 HAS SOUS 207488556 HAS SOUPS 207488556 WITH SCORE 2.08150603665E8
AT ITER 4654 NEW BEST:: SOT 1081836844 SOS 661996493 HAS SOPS 661996493 HAS SOUS 207488554 HAS SOUPS 207488554 WITH SCORE 2.08150550493E8
AT ITER 4657 NEW BEST:: SOT 1081803780 SOS 661897490 HAS SOPS 661897490 HAS SOUS 207472207 HAS SOUPS 207472207 WITH SCORE 2.0813410449E8
AT ITER 4664 NEW BEST:: SOT 1081786418 SOS 661845624 HAS SOPS 661845624 HAS SOUS 207469080 HAS SOUPS 207469080 WITH SCORE 2.08130925624E8
AT ITER 4676 NEW BEST:: SOT 1081770954 SOS 661803886 HAS SOPS 661803886 HAS SOUS 207466002 HAS SOUPS 207466002 WITH SCORE 2.08127805886E8
AT ITER 4703 NEW BEST:: SOT 1081763540 SOS 661785349 HAS SOPS 661785349 HAS SOUS 207466000 HAS SOUPS 207466000 WITH SCORE 2.08127785349E8
AT ITER 4708 NEW BEST:: SOT 1081756608 SOS 661768016 HAS SOPS 661768016 HAS SOUS 207465995 HAS SOUPS 207465995 WITH SCORE 2.08127763016E8
AT ITER 4714 NEW BEST:: SOT 1081735346 SOS 661714861 HAS SOPS 661714861 HAS SOUS 207465995 HAS SOUPS 207465995 WITH SCORE 2.08127709861E8
AT ITER 4730 NEW BEST:: SOT 1081724160 SOS 661685143 HAS SOPS 661685143 HAS SOUS 207464242 HAS SOUPS 207464242 WITH SCORE 2.08125927143E8
AT ITER 4735 NEW BEST:: SOT 1081697918 SOS 661619538 HAS SOPS 661619538 HAS SOUS 207464242 HAS SOUPS 207464242 WITH SCORE 2.08125861538E8
AT ITER 4736 NEW BEST:: SOT 1081690894 SOS 661598466 HAS SOPS 661598466 HAS SOUS 207460730 HAS SOUPS 207460730 WITH SCORE 2.08122328466E8
AT ITER 4746 NEW BEST:: SOT 1081673276 SOS 661554419 HAS SOPS 661554419 HAS SOUS 207460728 HAS SOUPS 207460728 WITH SCORE 2.08122282419E8
AT ITER 4759 NEW BEST:: SOT 1081644240 SOS 661458562 HAS SOPS 661458562 HAS SOUS 207460033 HAS SOUPS 207460033 WITH SCORE 2.08121491562E8
AT ITER 4765 NEW BEST:: SOT 1081639432 SOS 661446539 HAS SOPS 661446539 HAS SOUS 207460028 HAS SOUPS 207460028 WITH SCORE 2.08121474539E8
AT ITER 4781 NEW BEST:: SOT 1081627968 SOS 661417879 HAS SOPS 661417879 HAS SOUS 207460028 HAS SOUPS 207460028 WITH SCORE 2.08121445879E8
AT ITER 4787 NEW BEST:: SOT 1081619126 SOS 661395774 HAS SOPS 661395774 HAS SOUS 207460028 HAS SOUPS 207460028 WITH SCORE 2.08121423774E8
AT ITER 4790 NEW BEST:: SOT 1081606948 SOS 661359595 HAS SOPS 661359595 HAS SOUS 207454294 HAS SOUPS 207454294 WITH SCORE 2.08115653595E8
AT ITER 4792 NEW BEST:: SOT 1081563801 SOS 661270326 HAS SOPS 661270326 HAS SOUS 207447869 HAS SOUPS 207447869 WITH SCORE 2.08109139326E8
AT ITER 4796 NEW BEST:: SOT 1081517070 SOS 661176859 HAS SOPS 661176859 HAS SOUS 207447599 HAS SOUPS 207447599 WITH SCORE 2.08108775859E8
AT ITER 4801 NEW BEST:: SOT 1081480966 SOS 661086597 HAS SOPS 661086597 HAS SOUS 207447597 HAS SOUPS 207447597 WITH SCORE 2.08108683597E8
AT ITER 4823 NEW BEST:: SOT 1081470534 SOS 661060514 HAS SOPS 661060514 HAS SOUS 207447592 HAS SOUPS 207447592 WITH SCORE 2.08108652514E8
AT ITER 4825 NEW BEST:: SOT 1081448766 SOS 661006094 HAS SOPS 661006094 HAS SOUS 207447592 HAS SOUPS 207447592 WITH SCORE 2.08108598094E8
AT ITER 4845 NEW BEST:: SOT 1081430528 SOS 660960498 HAS SOPS 660960498 HAS SOUS 207447591 HAS SOUPS 207447591 WITH SCORE 2.08108551498E8
AT ITER 4846 NEW BEST:: SOT 1081419962 SOS 660934082 HAS SOPS 660934082 HAS SOUS 207447590 HAS SOUPS 207447590 WITH SCORE 2.08108524082E8
AT ITER 4848 NEW BEST:: SOT 1081396908 SOS 660876446 HAS SOPS 660876446 HAS SOUS 207447589 HAS SOUPS 207447589 WITH SCORE 2.08108465446E8
AT ITER 4850 NEW BEST:: SOT 1081396244 SOS 660871635 HAS SOPS 660871635 HAS SOUS 207444106 HAS SOUPS 207444106 WITH SCORE 2.08104977635E8
AT ITER 4856 NEW BEST:: SOT 1081381360 SOS 660834425 HAS SOPS 660834425 HAS SOUS 207444106 HAS SOUPS 207444106 WITH SCORE 2.08104940425E8
AT ITER 4865 NEW BEST:: SOT 1081380576 SOS 660832465 HAS SOPS 660832465 HAS SOUS 207444106 HAS SOUPS 207444106 WITH SCORE 2.08104938465E8
AT ITER 4875 NEW BEST:: SOT 1081356262 SOS 660771677 HAS SOPS 660771677 HAS SOUS 207444101 HAS SOUPS 207444101 WITH SCORE 2.08104872677E8
AT ITER 4879 NEW BEST:: SOT 1081353770 SOS 660765446 HAS SOPS 660765446 HAS SOUS 207444100 HAS SOUPS 207444100 WITH SCORE 2.08104865446E8
AT ITER 4881 NEW BEST:: SOT 1081353536 SOS 660764861 HAS SOPS 660764861 HAS SOUS 207444100 HAS SOUPS 207444100 WITH SCORE 2.08104864861E8
AT ITER 4886 NEW BEST:: SOT 1081324618 SOS 660678107 HAS SOPS 660678107 HAS SOUS 207429641 HAS SOUPS 207429641 WITH SCORE 2.08090319107E8
AT ITER 4921 NEW BEST:: SOT 1081315878 SOS 660656254 HAS SOPS 660656254 HAS SOUS 207429636 HAS SOUPS 207429636 WITH SCORE 2.08090292254E8
AT ITER 4922 NEW BEST:: SOT 1081305696 SOS 660630796 HAS SOPS 660630796 HAS SOUS 207429631 HAS SOUPS 207429631 WITH SCORE 2.08090261796E8
AT ITER 4945 NEW BEST:: SOT 1081283802 SOS 660576060 HAS SOPS 660576060 HAS SOUS 207429630 HAS SOUPS 207429630 WITH SCORE 2.0809020606E8
AT ITER 4952 NEW BEST:: SOT 1081281750 SOS 660571953 HAS SOPS 660571953 HAS SOUS 207428941 HAS SOUPS 207428941 WITH SCORE 2.08089512953E8
AT ITER 4956 NEW BEST:: SOT 1081270820 SOS 660539163 HAS SOPS 660539163 HAS SOUS 207423474 HAS SOUPS 207423474 WITH SCORE 2.08084013163E8
AT ITER 4960 NEW BEST:: SOT 1081255432 SOS 660500692 HAS SOPS 660500692 HAS SOUS 207423473 HAS SOUPS 207423473 WITH SCORE 2.08083973692E8
AT ITER 4963 NEW BEST:: SOT 1081241710 SOS 660466386 HAS SOPS 660466386 HAS SOUS 207423472 HAS SOUPS 207423472 WITH SCORE 2.08083938386E8
AT ITER 4966 NEW BEST:: SOT 1081238750 SOS 660458986 HAS SOPS 660458986 HAS SOUS 207423472 HAS SOUPS 207423472 WITH SCORE 2.08083930986E8
AT ITER 4970 NEW BEST:: SOT 1081223362 SOS 660420513 HAS SOPS 660420513 HAS SOUS 207423467 HAS SOUPS 207423467 WITH SCORE 2.08083887513E8
AT ITER 4977 NEW BEST:: SOT 1081191280 SOS 660340307 HAS SOPS 660340307 HAS SOUS 207423466 HAS SOUPS 207423466 WITH SCORE 2.08083806307E8
AT ITER 4983 NEW BEST:: SOT 1081144071 SOS 660245884 HAS SOPS 660245884 HAS SOUS 207419237 HAS SOUPS 207419237 WITH SCORE 2.08079482884E8
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-00 (AF( (EU( ((potential((tk(P10888)>=1) & (tk(P10892)>=1)))) , ( ((potential((tk(P12034)>=1)))) | ((potential((tk(P3495)>=1) & (tk(P3504)>=1)))) ) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-01 (EG( (! ( ((potential((tk(P15090)>=1) & (tk(P16237)>=1)))) | (EF( ((potential((tk(P24295)>=1) & (tk(P24310)>=1)))))) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-02 (! (EG( ( (AF( ((potential((tk(P10221)>=1) & (tk(P10225)>=1)))))) & (! ( ((potential((tk(P16054)>=1) & (tk(P16102)>=1)))) | ((potential((tk(P7573)>=1) & (tk(P7583)>=1)))) )) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-03 ( (AX( ( (EG( ((potential((tk(P32392)>=1) & (tk(P32583)>=1)))))) & (! ( ((potential((tk(P11640)>=1) & (tk(P11689)>=1)))) | ((potential((tk(P7286)>=1) & (tk(P7294)>=1)))) )) ))) | ( ((potential((tk(P27300)>=1) & (tk(P27303)>=1)))) | (AX( (AF( ((potential((tk(P14206)>=1) & (tk(P14214)>=1)))))))) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-04 (AF( ( (AG( ( ((potential((tk(P4686)>=1) & (tk(P4688)>=1)))) & ((potential((tk(P6276)>=1)))) ))) & (AG( (! ((potential((tk(P31702)>=1) & (tk(P31715)>=1))))))) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-05 ( (AF( (AU( ((potential((tk(P4650)>=1) & (tk(P4654)>=1)))) , ((potential((tk(P14154)>=1) & (tk(P14201)>=1)))) )))) | ( (AX( ( ( ((potential((tk(P21239)>=1) & (tk(P22385)>=1)))) & ((potential((tk(P26292)>=1)))) ) & ( ((potential((tk(P11920)>=1) & (tk(P11924)>=1)))) & ((potential((tk(P15348)>=1) & (tk(P15358)>=1)))) ) ))) | ( ( ( (! ((potential((tk(P19182)>=1))))) & ((potential((tk(P5478)>=1)))) ) & (EF( ((potential((tk(P14034)>=1)))))) ) & (AG( (! ((potential((tk(P14226)>=1) & (tk(P14292)>=1))))))) ) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-06 (! ( (AF( ( (! ((potential((tk(P10471)>=1) & (tk(P10523)>=1))))) & ( ((potential((tk(P997)>=1) & (tk(P1094)>=1)))) | ((potential((tk(P17043)>=1) & (tk(P17051)>=1)))) ) ))) | (AU( ((potential((tk(P13594)>=1) & (tk(P13610)>=1)))) , ((potential((tk(P4916)>=1) & (tk(P4928)>=1)))) )) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-07 (AU( ( (AX( ((potential((tk(P18288)>=1) & (tk(P18293)>=1)))))) | ( (! ((potential((tk(P31339)>=1) & (tk(P31354)>=1))))) | (! ((potential((tk(P13319)>=1) & (tk(P13322)>=1))))) ) ) , (! (! ((potential((tk(P1211)>=1) & (tk(P1222)>=1)))))) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-08 (! (EG( (AG( (! ((potential((tk(P21322)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-09 (AF( ((potential((tk(P18840)>=1) & (tk(P18857)>=1))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-10 (EF( ((potential((tk(P300)>=1) & (tk(P312)>=1))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-11 ( ( (! ((potential((tk(P32034)>=1) & (tk(P32047)>=1))))) & ( ( ( ((potential((tk(P14985)>=1)))) & ( ((potential((tk(P13185)>=1) & (tk(P14720)>=1)))) & ((potential((tk(P2721)>=1) & (tk(P2736)>=1)))) ) ) | ( (! ((potential((tk(P8292)>=1) & (tk(P8301)>=1))))) & ( ((potential((tk(P18824)>=1) & (tk(P18829)>=1)))) | ((potential((tk(P20746)>=1) & (tk(P20774)>=1)))) ) ) ) | (AU( ((potential((tk(P20680)>=1)))) , ((potential((tk(P26220)>=1) & (tk(P26413)>=1)))) )) ) ) | (! (AF( ( ((potential((tk(P2288)>=1) & (tk(P2303)>=1)))) | ( ((potential((tk(P16614)>=1) & (tk(P16617)>=1)))) | ((potential((tk(P18935)>=1)))) ) )))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-12 ( (! (AU( (! ((potential((tk(P10688)>=1) & (tk(P10693)>=1))))) , ( ((potential((tk(P17385)>=1) & (tk(P17402)>=1)))) | ((potential((tk(P1986)>=1) & (tk(P1992)>=1)))) ) ))) | ( (! (! ( ((potential((tk(P4605)>=1) & (tk(P4608)>=1)))) & ( ((potential((tk(P10948)>=1) & (tk(P10954)>=1)))) & ((potential((tk(P29890)>=1)))) ) ))) & (EU( ( ((potential((tk(P19488)>=1) & (tk(P19496)>=1)))) | ((potential((tk(P11949)>=1) & (tk(P11960)>=1)))) ) , ( ((potential((tk(P26609)>=1) & (tk(P26612)>=1)))) | ((potential((tk(P6088)>=1) & (tk(P6102)>=1)))) ) )) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-13 (AF( (AU( ((potential((tk(P3863)>=1) & (tk(P3912)>=1)))) , ((potential((tk(P31478)>=1) & (tk(P31484)>=1)))) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-14 (! ( (EG( ((potential((tk(P16278)>=1) & (tk(P16292)>=1)))))) | (AF( (EF( ((potential((tk(P26258)>=1) & (tk(P26285)>=1)))))))) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLFireability-15 ( ( (! (! ((potential((tk(P10403)>=1) & (tk(P10417)>=1)))))) & ((potential((tk(P26150)>=1) & (tk(P26152)>=1)))) ) | (EF( ((potential((tk(P31364)>=1) & (tk(P31370)>=1)))))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S04D1C1A06, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538900548"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S04D1C1A06.tgz
mv ViralEpidemic-PT-S04D1C1A06 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;