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-159033538900488.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-S02D1C1A12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 34M
-rw-r--r-- 1 mcc users 5.7K May 14 04:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 04:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K May 13 22:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 22:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.8K 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.9K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.8K May 13 15:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 15:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 11:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 11:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K May 13 16:53 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 34M May 12 20:42 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590473508292

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

Filename model.pnml
Petri model created: 32765 places, 40955 transitions, 90101 arcs.
AT ITER 0 NEW BEST:: SOT 838717444 SOS 234926070 HAS SOPS 234926070 HAS SOUS 145455777 HAS SOUPS 145455777 WITH SCORE 1.4569070307E8
AT ITER 32 NEW BEST:: SOT 838706192 SOS 234909192 HAS SOPS 234909192 HAS SOUS 145455777 HAS SOUPS 145455777 WITH SCORE 1.45690686192E8
AT ITER 84 NEW BEST:: SOT 838695700 SOS 234893453 HAS SOPS 234893453 HAS SOUS 145455774 HAS SOUPS 145455774 WITH SCORE 1.45690667453E8
AT ITER 91 NEW BEST:: SOT 838686712 SOS 234879970 HAS SOPS 234879970 HAS SOUS 145455771 HAS SOUPS 145455771 WITH SCORE 1.4569065097E8
AT ITER 106 NEW BEST:: SOT 838677096 SOS 234865546 HAS SOPS 234865546 HAS SOUS 145455771 HAS SOUPS 145455771 WITH SCORE 1.45690636546E8
AT ITER 122 NEW BEST:: SOT 838668804 SOS 234854489 HAS SOPS 234854489 HAS SOUS 145453004 HAS SOUPS 145453004 WITH SCORE 1.45687858489E8
AT ITER 143 NEW BEST:: SOT 838665526 SOS 234849572 HAS SOPS 234849572 HAS SOUS 145453004 HAS SOUPS 145453004 WITH SCORE 1.45687853572E8
AT ITER 166 NEW BEST:: SOT 838659820 SOS 234841012 HAS SOPS 234841012 HAS SOUS 145453001 HAS SOUPS 145453001 WITH SCORE 1.45687842012E8
AT ITER 178 NEW BEST:: SOT 838658110 SOS 234838447 HAS SOPS 234838447 HAS SOUS 145453001 HAS SOUPS 145453001 WITH SCORE 1.45687839447E8
AT ITER 192 NEW BEST:: SOT 838643423 SOS 234821085 HAS SOPS 234821085 HAS SOUS 145450539 HAS SOUPS 145450539 WITH SCORE 1.45685360085E8
AT ITER 194 NEW BEST:: SOT 838639178 SOS 234815424 HAS SOPS 234815424 HAS SOUS 145449121 HAS SOUPS 145449121 WITH SCORE 1.45683936424E8
AT ITER 200 NEW BEST:: SOT 838632658 SOS 234807657 HAS SOPS 234807657 HAS SOUS 145448428 HAS SOUPS 145448428 WITH SCORE 1.45683235657E8
AT ITER 204 NEW BEST:: SOT 838621314 SOS 234790640 HAS SOPS 234790640 HAS SOUS 145448425 HAS SOUPS 145448425 WITH SCORE 1.4568321564E8
AT ITER 211 NEW BEST:: SOT 838611953 SOS 234779238 HAS SOPS 234779238 HAS SOUS 145447031 HAS SOUPS 145447031 WITH SCORE 1.45681810238E8
AT ITER 221 NEW BEST:: SOT 838605285 SOS 234769236 HAS SOPS 234769236 HAS SOUS 145447031 HAS SOUPS 145447031 WITH SCORE 1.45681800236E8
AT ITER 222 NEW BEST:: SOT 838598487 SOS 234760171 HAS SOPS 234760171 HAS SOUS 145444762 HAS SOUPS 145444762 WITH SCORE 1.45679522171E8
AT ITER 231 NEW BEST:: SOT 838584999 SOS 234739938 HAS SOPS 234739938 HAS SOUS 145444759 HAS SOUPS 145444759 WITH SCORE 1.45679498938E8
AT ITER 254 NEW BEST:: SOT 838576035 SOS 234726491 HAS SOPS 234726491 HAS SOUS 145444756 HAS SOUPS 145444756 WITH SCORE 1.45679482491E8
AT ITER 259 NEW BEST:: SOT 838574913 SOS 234724995 HAS SOPS 234724995 HAS SOUS 145444382 HAS SOUPS 145444382 WITH SCORE 1.45679106995E8
AT ITER 260 NEW BEST:: SOT 838570823 SOS 234718860 HAS SOPS 234718860 HAS SOUS 145444382 HAS SOUPS 145444382 WITH SCORE 1.4567910086E8
AT ITER 324 NEW BEST:: SOT 838565959 SOS 234711563 HAS SOPS 234711563 HAS SOUS 145444379 HAS SOUPS 145444379 WITH SCORE 1.45679090563E8
AT ITER 325 NEW BEST:: SOT 838555938 SOS 234699172 HAS SOPS 234699172 HAS SOUS 145442007 HAS SOUPS 145442007 WITH SCORE 1.45676706172E8
AT ITER 355 NEW BEST:: SOT 838543830 SOS 234681009 HAS SOPS 234681009 HAS SOUS 145442004 HAS SOUPS 145442004 WITH SCORE 1.45676685009E8
AT ITER 357 NEW BEST:: SOT 838536944 SOS 234670680 HAS SOPS 234670680 HAS SOUS 145442004 HAS SOUPS 145442004 WITH SCORE 1.4567667468E8
AT ITER 382 NEW BEST:: SOT 838530840 SOS 234661523 HAS SOPS 234661523 HAS SOUS 145442001 HAS SOUPS 145442001 WITH SCORE 1.45676662523E8
AT ITER 387 NEW BEST:: SOT 838516975 SOS 234644271 HAS SOPS 234644271 HAS SOUS 145438614 HAS SOUPS 145438614 WITH SCORE 1.45673258271E8
AT ITER 393 NEW BEST:: SOT 838508899 SOS 234632157 HAS SOPS 234632157 HAS SOUS 145438614 HAS SOUPS 145438614 WITH SCORE 1.45673246157E8
AT ITER 394 NEW BEST:: SOT 838497801 SOS 234618052 HAS SOPS 234618052 HAS SOUS 145435605 HAS SOUPS 145435605 WITH SCORE 1.45670223052E8
AT ITER 399 NEW BEST:: SOT 838495530 SOS 234615023 HAS SOPS 234615023 HAS SOUS 145434845 HAS SOUPS 145434845 WITH SCORE 1.45669460023E8
AT ITER 403 NEW BEST:: SOT 838491612 SOS 234609146 HAS SOPS 234609146 HAS SOUS 145434845 HAS SOUPS 145434845 WITH SCORE 1.45669454146E8
AT ITER 404 NEW BEST:: SOT 838485206 SOS 234599537 HAS SOPS 234599537 HAS SOUS 145434845 HAS SOUPS 145434845 WITH SCORE 1.45669444537E8
AT ITER 446 NEW BEST:: SOT 838480020 SOS 234591757 HAS SOPS 234591757 HAS SOUS 145434842 HAS SOUPS 145434842 WITH SCORE 1.45669433757E8
AT ITER 464 NEW BEST:: SOT 838469160 SOS 234575467 HAS SOPS 234575467 HAS SOUS 145434842 HAS SOUPS 145434842 WITH SCORE 1.45669417467E8
AT ITER 483 NEW BEST:: SOT 838460105 SOS 234564553 HAS SOPS 234564553 HAS SOUS 145433678 HAS SOUPS 145433678 WITH SCORE 1.45668242553E8
AT ITER 496 NEW BEST:: SOT 838453445 SOS 234556439 HAS SOPS 234556439 HAS SOUS 145432244 HAS SOUPS 145432244 WITH SCORE 1.45666800439E8
AT ITER 539 NEW BEST:: SOT 838442239 SOS 234539630 HAS SOPS 234539630 HAS SOUS 145432244 HAS SOUPS 145432244 WITH SCORE 1.4566678363E8
AT ITER 549 NEW BEST:: SOT 838432198 SOS 234526688 HAS SOPS 234526688 HAS SOUS 145429610 HAS SOUPS 145429610 WITH SCORE 1.45664136688E8
AT ITER 571 NEW BEST:: SOT 838423235 SOS 234515310 HAS SOPS 234515310 HAS SOUS 145427538 HAS SOUPS 145427538 WITH SCORE 1.4566205331E8
AT ITER 577 NEW BEST:: SOT 838417665 SOS 234506955 HAS SOPS 234506955 HAS SOUS 145427538 HAS SOUPS 145427538 WITH SCORE 1.45662044955E8
AT ITER 584 NEW BEST:: SOT 838410190 SOS 234497273 HAS SOPS 234497273 HAS SOUS 145425331 HAS SOUPS 145425331 WITH SCORE 1.45659828273E8
AT ITER 594 NEW BEST:: SOT 838401895 SOS 234486740 HAS SOPS 234486740 HAS SOUS 145423091 HAS SOUPS 145423091 WITH SCORE 1.4565757774E8
AT ITER 640 NEW BEST:: SOT 838387931 SOS 234469297 HAS SOPS 234469297 HAS SOUS 145419610 HAS SOUPS 145419610 WITH SCORE 1.45654079297E8
AT ITER 658 NEW BEST:: SOT 838384178 SOS 234464293 HAS SOPS 234464293 HAS SOUS 145418359 HAS SOUPS 145418359 WITH SCORE 1.45652823293E8
AT ITER 673 NEW BEST:: SOT 838372247 SOS 234451242 HAS SOPS 234451242 HAS SOUS 145417610 HAS SOUPS 145417610 WITH SCORE 1.45652061242E8
AT ITER 687 NEW BEST:: SOT 838359193 SOS 234431660 HAS SOPS 234431660 HAS SOUS 145417607 HAS SOUPS 145417607 WITH SCORE 1.4565203866E8
AT ITER 712 NEW BEST:: SOT 838351003 SOS 234419374 HAS SOPS 234419374 HAS SOUS 145417604 HAS SOUPS 145417604 WITH SCORE 1.45652023374E8
AT ITER 716 NEW BEST:: SOT 838337439 SOS 234399027 HAS SOPS 234399027 HAS SOUS 145417601 HAS SOUPS 145417601 WITH SCORE 1.45652000027E8
AT ITER 741 NEW BEST:: SOT 838334807 SOS 234395078 HAS SOPS 234395078 HAS SOUS 145417598 HAS SOUPS 145417598 WITH SCORE 1.45651993078E8
AT ITER 764 NEW BEST:: SOT 838325761 SOS 234381509 HAS SOPS 234381509 HAS SOUS 145417598 HAS SOUPS 145417598 WITH SCORE 1.45651979509E8
AT ITER 769 NEW BEST:: SOT 838316135 SOS 234367070 HAS SOPS 234367070 HAS SOUS 145417598 HAS SOUPS 145417598 WITH SCORE 1.4565196507E8
AT ITER 784 NEW BEST:: SOT 838316135 SOS 234367069 HAS SOPS 234367069 HAS SOUS 145417595 HAS SOUPS 145417595 WITH SCORE 1.45651962069E8
AT ITER 795 NEW BEST:: SOT 838308007 SOS 234354877 HAS SOPS 234354877 HAS SOUS 145417595 HAS SOUPS 145417595 WITH SCORE 1.45651949877E8
AT ITER 824 NEW BEST:: SOT 838298757 SOS 234341001 HAS SOPS 234341001 HAS SOUS 145417592 HAS SOUPS 145417592 WITH SCORE 1.45651933001E8
AT ITER 825 NEW BEST:: SOT 838289299 SOS 234326814 HAS SOPS 234326814 HAS SOUS 145417592 HAS SOUPS 145417592 WITH SCORE 1.45651918814E8
AT ITER 857 NEW BEST:: SOT 838277084 SOS 234311385 HAS SOPS 234311385 HAS SOUS 145414376 HAS SOUPS 145414376 WITH SCORE 1.45648687385E8
AT ITER 859 NEW BEST:: SOT 838270144 SOS 234300975 HAS SOPS 234300975 HAS SOUS 145414376 HAS SOUPS 145414376 WITH SCORE 1.45648676975E8
AT ITER 875 NEW BEST:: SOT 838262516 SOS 234289532 HAS SOPS 234289532 HAS SOUS 145414373 HAS SOUPS 145414373 WITH SCORE 1.45648662532E8
AT ITER 879 NEW BEST:: SOT 838248556 SOS 234268592 HAS SOPS 234268592 HAS SOUS 145414373 HAS SOUPS 145414373 WITH SCORE 1.45648641592E8
AT ITER 886 NEW BEST:: SOT 838236804 SOS 234254121 HAS SOPS 234254121 HAS SOUS 145411652 HAS SOUPS 145411652 WITH SCORE 1.45645906121E8
AT ITER 893 NEW BEST:: SOT 838224406 SOS 234239159 HAS SOPS 234239159 HAS SOUS 145409138 HAS SOUPS 145409138 WITH SCORE 1.45643377159E8
AT ITER 901 NEW BEST:: SOT 838214559 SOS 234226675 HAS SOPS 234226675 HAS SOUS 145406501 HAS SOUPS 145406501 WITH SCORE 1.45640727675E8
AT ITER 916 NEW BEST:: SOT 838204305 SOS 234213002 HAS SOPS 234213002 HAS SOUS 145403080 HAS SOUPS 145403080 WITH SCORE 1.45637293002E8
AT ITER 935 NEW BEST:: SOT 838195175 SOS 234199307 HAS SOPS 234199307 HAS SOUS 145403080 HAS SOUPS 145403080 WITH SCORE 1.45637279307E8
AT ITER 936 NEW BEST:: SOT 838188542 SOS 234190462 HAS SOPS 234190462 HAS SOUS 145400866 HAS SOUPS 145400866 WITH SCORE 1.45635056462E8
AT ITER 976 NEW BEST:: SOT 838174792 SOS 234169837 HAS SOPS 234169837 HAS SOUS 145400866 HAS SOUPS 145400866 WITH SCORE 1.45635035837E8
AT ITER 998 NEW BEST:: SOT 838165112 SOS 234155317 HAS SOPS 234155317 HAS SOUS 145400866 HAS SOUPS 145400866 WITH SCORE 1.45635021317E8
AT ITER 1039 NEW BEST:: SOT 838154726 SOS 234142195 HAS SOPS 234142195 HAS SOUS 145398565 HAS SOUPS 145398565 WITH SCORE 1.45632707195E8
AT ITER 1043 NEW BEST:: SOT 838152428 SOS 234139131 HAS SOPS 234139131 HAS SOUS 145397799 HAS SOUPS 145397799 WITH SCORE 1.45631938131E8
AT ITER 1060 NEW BEST:: SOT 838144373 SOS 234128457 HAS SOPS 234128457 HAS SOUS 145395219 HAS SOUPS 145395219 WITH SCORE 1.45629347457E8
AT ITER 1061 NEW BEST:: SOT 838141381 SOS 234123968 HAS SOPS 234123968 HAS SOUS 145395216 HAS SOUPS 145395216 WITH SCORE 1.45629339968E8
AT ITER 1064 NEW BEST:: SOT 838129153 SOS 234105835 HAS SOPS 234105835 HAS SOUS 145394319 HAS SOUPS 145394319 WITH SCORE 1.45628424835E8
AT ITER 1148 NEW BEST:: SOT 838124194 SOS 234099222 HAS SOPS 234099222 HAS SOUS 145392663 HAS SOUPS 145392663 WITH SCORE 1.45626762222E8
AT ITER 1160 NEW BEST:: SOT 838120138 SOS 234093813 HAS SOPS 234093813 HAS SOUS 145391308 HAS SOUPS 145391308 WITH SCORE 1.45625401813E8
AT ITER 1193 NEW BEST:: SOT 838117954 SOS 234090901 HAS SOPS 234090901 HAS SOUS 145390580 HAS SOUPS 145390580 WITH SCORE 1.45624670901E8
AT ITER 1196 NEW BEST:: SOT 838109144 SOS 234079590 HAS SOPS 234079590 HAS SOUS 145388077 HAS SOUPS 145388077 WITH SCORE 1.4562215659E8
AT ITER 1203 NEW BEST:: SOT 838101626 SOS 234068312 HAS SOPS 234068312 HAS SOUS 145388074 HAS SOUPS 145388074 WITH SCORE 1.45622142312E8
AT ITER 1217 NEW BEST:: SOT 838094332 SOS 234057370 HAS SOPS 234057370 HAS SOUS 145388071 HAS SOUPS 145388071 WITH SCORE 1.4562212837E8
AT ITER 1238 NEW BEST:: SOT 838084644 SOS 234042837 HAS SOPS 234042837 HAS SOUS 145388068 HAS SOUPS 145388068 WITH SCORE 1.45622110837E8
AT ITER 1252 NEW BEST:: SOT 838074144 SOS 234027086 HAS SOPS 234027086 HAS SOUS 145388065 HAS SOUPS 145388065 WITH SCORE 1.45622092086E8
AT ITER 1283 NEW BEST:: SOT 838065886 SOS 234014699 HAS SOPS 234014699 HAS SOUS 145388065 HAS SOUPS 145388065 WITH SCORE 1.45622079699E8
AT ITER 1351 NEW BEST:: SOT 838062646 SOS 234010379 HAS SOPS 234010379 HAS SOUS 145386985 HAS SOUPS 145386985 WITH SCORE 1.45620995379E8
AT ITER 1376 NEW BEST:: SOT 838051656 SOS 233993893 HAS SOPS 233993893 HAS SOUS 145386982 HAS SOUPS 145386982 WITH SCORE 1.45620975893E8
AT ITER 1389 NEW BEST:: SOT 838045892 SOS 233986814 HAS SOPS 233986814 HAS SOUS 145385665 HAS SOUPS 145385665 WITH SCORE 1.45619651814E8
AT ITER 1393 NEW BEST:: SOT 838034754 SOS 233970107 HAS SOPS 233970107 HAS SOUS 145385665 HAS SOUPS 145385665 WITH SCORE 1.45619635107E8
AT ITER 1400 NEW BEST:: SOT 838031194 SOS 233964766 HAS SOPS 233964766 HAS SOUS 145385662 HAS SOUPS 145385662 WITH SCORE 1.45619626766E8
AT ITER 1422 NEW BEST:: SOT 838026000 SOS 233956975 HAS SOPS 233956975 HAS SOUS 145385662 HAS SOUPS 145385662 WITH SCORE 1.45619618975E8
AT ITER 1425 NEW BEST:: SOT 838020818 SOS 233949201 HAS SOPS 233949201 HAS SOUS 145385659 HAS SOUPS 145385659 WITH SCORE 1.45619608201E8
AT ITER 1431 NEW BEST:: SOT 838014052 SOS 233939051 HAS SOPS 233939051 HAS SOUS 145385656 HAS SOUPS 145385656 WITH SCORE 1.45619595051E8
AT ITER 1470 NEW BEST:: SOT 838002266 SOS 233924673 HAS SOPS 233924673 HAS SOUS 145383064 HAS SOUPS 145383064 WITH SCORE 1.45616988673E8
AT ITER 1478 NEW BEST:: SOT 837987381 SOS 233906155 HAS SOPS 233906155 HAS SOUS 145379431 HAS SOUPS 145379431 WITH SCORE 1.45613337155E8
AT ITER 1483 NEW BEST:: SOT 837980727 SOS 233897283 HAS SOPS 233897283 HAS SOUS 145377213 HAS SOUPS 145377213 WITH SCORE 1.45611110283E8
AT ITER 1505 NEW BEST:: SOT 837968837 SOS 233879447 HAS SOPS 233879447 HAS SOUS 145377210 HAS SOUPS 145377210 WITH SCORE 1.45611089447E8
AT ITER 1515 NEW BEST:: SOT 837957097 SOS 233861836 HAS SOPS 233861836 HAS SOUS 145377207 HAS SOUPS 145377207 WITH SCORE 1.45611068836E8
AT ITER 1517 NEW BEST:: SOT 837954106 SOS 233858541 HAS SOPS 233858541 HAS SOUS 145376989 HAS SOUPS 145376989 WITH SCORE 1.45610847541E8
AT ITER 1528 NEW BEST:: SOT 837942637 SOS 233844612 HAS SOPS 233844612 HAS SOUS 145374527 HAS SOUPS 145374527 WITH SCORE 1.45608371612E8
AT ITER 1533 NEW BEST:: SOT 837933975 SOS 233833478 HAS SOPS 233833478 HAS SOUS 145372055 HAS SOUPS 145372055 WITH SCORE 1.45605888478E8
AT ITER 1544 NEW BEST:: SOT 837920887 SOS 233813846 HAS SOPS 233813846 HAS SOUS 145372055 HAS SOUPS 145372055 WITH SCORE 1.45605868846E8
AT ITER 1569 NEW BEST:: SOT 837904833 SOS 233789764 HAS SOPS 233789764 HAS SOUS 145372052 HAS SOUPS 145372052 WITH SCORE 1.45605841764E8
AT ITER 1575 NEW BEST:: SOT 837896751 SOS 233779490 HAS SOPS 233779490 HAS SOUS 145369860 HAS SOUPS 145369860 WITH SCORE 1.4560363949E8
AT ITER 1582 NEW BEST:: SOT 837888834 SOS 233769590 HAS SOPS 233769590 HAS SOUS 145367877 HAS SOUPS 145367877 WITH SCORE 1.4560164659E8
AT ITER 1583 NEW BEST:: SOT 837879360 SOS 233755378 HAS SOPS 233755378 HAS SOUS 145367874 HAS SOUPS 145367874 WITH SCORE 1.45601629378E8
AT ITER 1595 NEW BEST:: SOT 837873600 SOS 233747698 HAS SOPS 233747698 HAS SOUS 145365954 HAS SOUPS 145365954 WITH SCORE 1.45599701698E8
AT ITER 1651 NEW BEST:: SOT 837860987 SOS 233731974 HAS SOPS 233731974 HAS SOUS 145362843 HAS SOUPS 145362843 WITH SCORE 1.45596574974E8
AT ITER 1655 NEW BEST:: SOT 837853571 SOS 233720849 HAS SOPS 233720849 HAS SOUS 145362840 HAS SOUPS 145362840 WITH SCORE 1.45596560849E8
AT ITER 1665 NEW BEST:: SOT 837852836 SOS 233719869 HAS SOPS 233719869 HAS SOUS 145362595 HAS SOUPS 145362595 WITH SCORE 1.45596314869E8
AT ITER 1668 NEW BEST:: SOT 837845462 SOS 233708808 HAS SOPS 233708808 HAS SOUS 145362595 HAS SOUPS 145362595 WITH SCORE 1.45596303808E8
AT ITER 1693 NEW BEST:: SOT 837831609 SOS 233691648 HAS SOPS 233691648 HAS SOUS 145359288 HAS SOUPS 145359288 WITH SCORE 1.45592979648E8
AT ITER 1707 NEW BEST:: SOT 837817374 SOS 233673794 HAS SOPS 233673794 HAS SOUS 145355669 HAS SOUPS 145355669 WITH SCORE 1.45589342794E8
AT ITER 1723 NEW BEST:: SOT 837807348 SOS 233658755 HAS SOPS 233658755 HAS SOUS 145355669 HAS SOUPS 145355669 WITH SCORE 1.45589327755E8
AT ITER 1747 NEW BEST:: SOT 837799526 SOS 233647022 HAS SOPS 233647022 HAS SOUS 145355669 HAS SOUPS 145355669 WITH SCORE 1.45589316022E8
AT ITER 1766 NEW BEST:: SOT 837794488 SOS 233639465 HAS SOPS 233639465 HAS SOUS 145355669 HAS SOUPS 145355669 WITH SCORE 1.45589308465E8
AT ITER 1767 NEW BEST:: SOT 837791404 SOS 233634839 HAS SOPS 233634839 HAS SOUS 145355669 HAS SOUPS 145355669 WITH SCORE 1.45589303839E8
AT ITER 1772 NEW BEST:: SOT 837776108 SOS 233616349 HAS SOPS 233616349 HAS SOUS 145352609 HAS SOUPS 145352609 WITH SCORE 1.45586225349E8
AT ITER 1780 NEW BEST:: SOT 837771008 SOS 233609548 HAS SOPS 233609548 HAS SOUS 145350906 HAS SOUPS 145350906 WITH SCORE 1.45584515548E8
AT ITER 1781 NEW BEST:: SOT 837766481 SOS 233603850 HAS SOPS 233603850 HAS SOUS 145349735 HAS SOUPS 145349735 WITH SCORE 1.4558333885E8
AT ITER 1797 NEW BEST:: SOT 837762911 SOS 233599089 HAS SOPS 233599089 HAS SOUS 145348542 HAS SOUPS 145348542 WITH SCORE 1.45582141089E8
AT ITER 1807 NEW BEST:: SOT 837754820 SOS 233588301 HAS SOPS 233588301 HAS SOUS 145345845 HAS SOUPS 145345845 WITH SCORE 1.45579433301E8
AT ITER 1809 NEW BEST:: SOT 837747872 SOS 233580253 HAS SOPS 233580253 HAS SOUS 145345474 HAS SOUPS 145345474 WITH SCORE 1.45579054253E8
AT ITER 1819 NEW BEST:: SOT 837736944 SOS 233566438 HAS SOPS 233566438 HAS SOUS 145342585 HAS SOUPS 145342585 WITH SCORE 1.45576151438E8
AT ITER 1834 NEW BEST:: SOT 837728756 SOS 233554155 HAS SOPS 233554155 HAS SOUS 145342582 HAS SOUPS 145342582 WITH SCORE 1.45576136155E8
AT ITER 1862 NEW BEST:: SOT 837715870 SOS 233534826 HAS SOPS 233534826 HAS SOUS 145342582 HAS SOUPS 145342582 WITH SCORE 1.45576116826E8
AT ITER 1863 NEW BEST:: SOT 837706787 SOS 233517013 HAS SOPS 233517013 HAS SOUS 145329851 HAS SOUPS 145329851 WITH SCORE 1.45563368013E8
AT ITER 1906 NEW BEST:: SOT 837697239 SOS 233505029 HAS SOPS 233505029 HAS SOUS 145327415 HAS SOUPS 145327415 WITH SCORE 1.45560920029E8
AT ITER 1910 NEW BEST:: SOT 837693930 SOS 233500617 HAS SOPS 233500617 HAS SOUS 145326312 HAS SOUPS 145326312 WITH SCORE 1.45559812617E8
AT ITER 1916 NEW BEST:: SOT 837686017 SOS 233491246 HAS SOPS 233491246 HAS SOUS 145325560 HAS SOUPS 145325560 WITH SCORE 1.45559051246E8
AT ITER 1939 NEW BEST:: SOT 837673253 SOS 233472100 HAS SOPS 233472100 HAS SOUS 145325560 HAS SOUPS 145325560 WITH SCORE 1.455590321E8
AT ITER 1988 NEW BEST:: SOT 837662479 SOS 233455938 HAS SOPS 233455938 HAS SOUS 145325557 HAS SOUPS 145325557 WITH SCORE 1.45559012938E8
AT ITER 1994 NEW BEST:: SOT 837661560 SOS 233454859 HAS SOPS 233454859 HAS SOUS 145325483 HAS SOUPS 145325483 WITH SCORE 1.45558937859E8
AT ITER 2008 NEW BEST:: SOT 837653626 SOS 233443717 HAS SOPS 233443717 HAS SOUS 145316569 HAS SOUPS 145316569 WITH SCORE 1.45550012717E8
AT ITER 2017 NEW BEST:: SOT 837644280 SOS 233429697 HAS SOPS 233429697 HAS SOUS 145316566 HAS SOUPS 145316566 WITH SCORE 1.45549995697E8
AT ITER 2024 NEW BEST:: SOT 837639876 SOS 233423824 HAS SOPS 233423824 HAS SOUS 145315095 HAS SOUPS 145315095 WITH SCORE 1.45548518824E8
AT ITER 2055 NEW BEST:: SOT 837630815 SOS 233412194 HAS SOPS 233412194 HAS SOUS 145312526 HAS SOUPS 145312526 WITH SCORE 1.45545938194E8
AT ITER 2057 NEW BEST:: SOT 837620021 SOS 233396003 HAS SOPS 233396003 HAS SOUS 145312526 HAS SOUPS 145312526 WITH SCORE 1.45545922003E8
AT ITER 2060 NEW BEST:: SOT 837617065 SOS 233392108 HAS SOPS 233392108 HAS SOUS 145311613 HAS SOUPS 145311613 WITH SCORE 1.45545005108E8
AT ITER 2065 NEW BEST:: SOT 837606701 SOS 233376562 HAS SOPS 233376562 HAS SOUS 145311613 HAS SOUPS 145311613 WITH SCORE 1.45544989562E8
AT ITER 2090 NEW BEST:: SOT 837602769 SOS 233370664 HAS SOPS 233370664 HAS SOUS 145311613 HAS SOUPS 145311613 WITH SCORE 1.45544983664E8
AT ITER 2108 NEW BEST:: SOT 837599635 SOS 233365962 HAS SOPS 233365962 HAS SOUS 145311610 HAS SOUPS 145311610 WITH SCORE 1.45544975962E8
AT ITER 2148 NEW BEST:: SOT 837596763 SOS 233361653 HAS SOPS 233361653 HAS SOUS 145311607 HAS SOUPS 145311607 WITH SCORE 1.45544968653E8
AT ITER 2168 NEW BEST:: SOT 837585613 SOS 233344928 HAS SOPS 233344928 HAS SOUS 145311607 HAS SOUPS 145311607 WITH SCORE 1.45544951928E8
AT ITER 2190 NEW BEST:: SOT 837574519 SOS 233328286 HAS SOPS 233328286 HAS SOUS 145311604 HAS SOUPS 145311604 WITH SCORE 1.45544932286E8
AT ITER 2208 NEW BEST:: SOT 837569740 SOS 233321914 HAS SOPS 233321914 HAS SOUS 145310011 HAS SOUPS 145310011 WITH SCORE 1.45543332914E8
AT ITER 2241 NEW BEST:: SOT 837562904 SOS 233311660 HAS SOPS 233311660 HAS SOUS 145310011 HAS SOUPS 145310011 WITH SCORE 1.4554332266E8
AT ITER 2253 NEW BEST:: SOT 837562904 SOS 233311659 HAS SOPS 233311659 HAS SOUS 145310008 HAS SOUPS 145310008 WITH SCORE 1.45543319659E8
AT ITER 2257 NEW BEST:: SOT 837550554 SOS 233293134 HAS SOPS 233293134 HAS SOUS 145310008 HAS SOUPS 145310008 WITH SCORE 1.45543301134E8
AT ITER 2279 NEW BEST:: SOT 837545648 SOS 233287108 HAS SOPS 233287108 HAS SOUS 145308888 HAS SOUPS 145308888 WITH SCORE 1.45542175108E8
AT ITER 2286 NEW BEST:: SOT 837544658 SOS 233285623 HAS SOPS 233285623 HAS SOUS 145308888 HAS SOUPS 145308888 WITH SCORE 1.45542173623E8
AT ITER 2315 NEW BEST:: SOT 837535056 SOS 233273316 HAS SOPS 233273316 HAS SOUS 145306181 HAS SOUPS 145306181 WITH SCORE 1.45539454316E8
AT ITER 2322 NEW BEST:: SOT 837521231 SOS 233256242 HAS SOPS 233256242 HAS SOUS 145302932 HAS SOUPS 145302932 WITH SCORE 1.45536188242E8
AT ITER 2341 NEW BEST:: SOT 837521231 SOS 233256241 HAS SOPS 233256241 HAS SOUS 145302929 HAS SOUPS 145302929 WITH SCORE 1.45536185241E8
AT ITER 2347 NEW BEST:: SOT 837513413 SOS 233246073 HAS SOPS 233246073 HAS SOUS 145300579 HAS SOUPS 145300579 WITH SCORE 1.45533825073E8
AT ITER 2351 NEW BEST:: SOT 837505773 SOS 233234612 HAS SOPS 233234612 HAS SOUS 145300576 HAS SOUPS 145300576 WITH SCORE 1.45533810612E8
AT ITER 2356 NEW BEST:: SOT 837497682 SOS 233224171 HAS SOPS 233224171 HAS SOUS 145298224 HAS SOUPS 145298224 WITH SCORE 1.45531448171E8
AT ITER 2361 NEW BEST:: SOT 837490598 SOS 233215452 HAS SOPS 233215452 HAS SOUS 145297023 HAS SOUPS 145297023 WITH SCORE 1.45530238452E8
AT ITER 2367 NEW BEST:: SOT 837480023 SOS 233201352 HAS SOPS 233201352 HAS SOUS 145293498 HAS SOUPS 145293498 WITH SCORE 1.45526699352E8
AT ITER 2389 NEW BEST:: SOT 837469437 SOS 233188386 HAS SOPS 233188386 HAS SOUS 145291118 HAS SOUPS 145291118 WITH SCORE 1.45524306386E8
AT ITER 2396 NEW BEST:: SOT 837462331 SOS 233177727 HAS SOPS 233177727 HAS SOUS 145291118 HAS SOUPS 145291118 WITH SCORE 1.45524295727E8
AT ITER 2449 NEW BEST:: SOT 837448529 SOS 233157024 HAS SOPS 233157024 HAS SOUS 145291118 HAS SOUPS 145291118 WITH SCORE 1.45524275024E8
AT ITER 2451 NEW BEST:: SOT 837440686 SOS 233142785 HAS SOPS 233142785 HAS SOUS 145283000 HAS SOUPS 145283000 WITH SCORE 1.45516142785E8
AT ITER 2479 NEW BEST:: SOT 837435238 SOS 233135520 HAS SOPS 233135520 HAS SOUS 145281181 HAS SOUPS 145281181 WITH SCORE 1.4551431652E8
AT ITER 2497 NEW BEST:: SOT 837429314 SOS 233125587 HAS SOPS 233125587 HAS SOUS 145276497 HAS SOUPS 145276497 WITH SCORE 1.45509622587E8
AT ITER 2503 NEW BEST:: SOT 837418007 SOS 233113576 HAS SOPS 233113576 HAS SOUS 145273982 HAS SOUPS 145273982 WITH SCORE 1.45507095576E8
AT ITER 2524 NEW BEST:: SOT 837413851 SOS 233107341 HAS SOPS 233107341 HAS SOUS 145273979 HAS SOUPS 145273979 WITH SCORE 1.45507086341E8
AT ITER 2548 NEW BEST:: SOT 837401885 SOS 233089392 HAS SOPS 233089392 HAS SOUS 145273979 HAS SOUPS 145273979 WITH SCORE 1.45507068392E8
AT ITER 2550 NEW BEST:: SOT 837387517 SOS 233067839 HAS SOPS 233067839 HAS SOUS 145273976 HAS SOUPS 145273976 WITH SCORE 1.45507043839E8
AT ITER 2561 NEW BEST:: SOT 837377425 SOS 233052701 HAS SOPS 233052701 HAS SOUS 145273976 HAS SOUPS 145273976 WITH SCORE 1.45507028701E8
AT ITER 2568 NEW BEST:: SOT 837365378 SOS 233037847 HAS SOPS 233037847 HAS SOUS 145271169 HAS SOUPS 145271169 WITH SCORE 1.45504206847E8
AT ITER 2587 NEW BEST:: SOT 837358062 SOS 233026872 HAS SOPS 233026872 HAS SOUS 145271166 HAS SOUPS 145271166 WITH SCORE 1.45504192872E8
AT ITER 2592 NEW BEST:: SOT 837353503 SOS 233021186 HAS SOPS 233021186 HAS SOUS 145270039 HAS SOUPS 145270039 WITH SCORE 1.45503060186E8
AT ITER 2602 NEW BEST:: SOT 837339120 SOS 233003152 HAS SOPS 233003152 HAS SOUS 145266388 HAS SOUPS 145266388 WITH SCORE 1.45499391152E8
AT ITER 2610 NEW BEST:: SOT 837328014 SOS 232986492 HAS SOPS 232986492 HAS SOUS 145266385 HAS SOUPS 145266385 WITH SCORE 1.45499371492E8
AT ITER 2621 NEW BEST:: SOT 837320228 SOS 232976921 HAS SOPS 232976921 HAS SOUS 145264630 HAS SOUPS 145264630 WITH SCORE 1.45497606921E8
AT ITER 2623 NEW BEST:: SOT 837312200 SOS 232966760 HAS SOPS 232966760 HAS SOUS 145262495 HAS SOUPS 145262495 WITH SCORE 1.4549546176E8
AT ITER 2642 NEW BEST:: SOT 837301703 SOS 232954037 HAS SOPS 232954037 HAS SOUS 145260267 HAS SOUPS 145260267 WITH SCORE 1.45493221037E8
AT ITER 2666 NEW BEST:: SOT 837296423 SOS 232947509 HAS SOPS 232947509 HAS SOUS 145259019 HAS SOUPS 145259019 WITH SCORE 1.45491966509E8
AT ITER 2678 NEW BEST:: SOT 837292845 SOS 232942142 HAS SOPS 232942142 HAS SOUS 145259019 HAS SOUPS 145259019 WITH SCORE 1.45491961142E8
AT ITER 2699 NEW BEST:: SOT 837285467 SOS 232932964 HAS SOPS 232932964 HAS SOUS 145257614 HAS SOUPS 145257614 WITH SCORE 1.45490546964E8
AT ITER 2702 NEW BEST:: SOT 837274829 SOS 232919738 HAS SOPS 232919738 HAS SOUS 145255026 HAS SOUPS 145255026 WITH SCORE 1.45487945738E8
AT ITER 2737 NEW BEST:: SOT 837263753 SOS 232903124 HAS SOPS 232903124 HAS SOUS 145255026 HAS SOUPS 145255026 WITH SCORE 1.45487929124E8
AT ITER 2761 NEW BEST:: SOT 837250835 SOS 232878506 HAS SOPS 232878506 HAS SOUS 145238914 HAS SOUPS 145238914 WITH SCORE 1.45471792506E8
AT ITER 2770 NEW BEST:: SOT 837241952 SOS 232867178 HAS SOPS 232867178 HAS SOUS 145236778 HAS SOUPS 145236778 WITH SCORE 1.45469645178E8
AT ITER 2786 NEW BEST:: SOT 837230805 SOS 232853015 HAS SOPS 232853015 HAS SOUS 145233760 HAS SOUPS 145233760 WITH SCORE 1.45466613015E8
AT ITER 2804 NEW BEST:: SOT 837225449 SOS 232844980 HAS SOPS 232844980 HAS SOUS 145233757 HAS SOUPS 145233757 WITH SCORE 1.4546660198E8
AT ITER 2810 NEW BEST:: SOT 837217227 SOS 232832646 HAS SOPS 232832646 HAS SOUS 145233754 HAS SOUPS 145233754 WITH SCORE 1.45466586646E8
AT ITER 2843 NEW BEST:: SOT 837211757 SOS 232824440 HAS SOPS 232824440 HAS SOUS 145233751 HAS SOUPS 145233751 WITH SCORE 1.4546657544E8
AT ITER 2858 NEW BEST:: SOT 837204985 SOS 232814282 HAS SOPS 232814282 HAS SOUS 145233751 HAS SOUPS 145233751 WITH SCORE 1.45466565282E8
AT ITER 2889 NEW BEST:: SOT 837197793 SOS 232803493 HAS SOPS 232803493 HAS SOUS 145233748 HAS SOUPS 145233748 WITH SCORE 1.45466551493E8
AT ITER 2901 NEW BEST:: SOT 837194331 SOS 232798876 HAS SOPS 232798876 HAS SOUS 145232591 HAS SOUPS 145232591 WITH SCORE 1.45465389876E8
AT ITER 2914 NEW BEST:: SOT 837190959 SOS 232793818 HAS SOPS 232793818 HAS SOUS 145232591 HAS SOUPS 145232591 WITH SCORE 1.45465384818E8
AT ITER 2921 NEW BEST:: SOT 837179569 SOS 232779767 HAS SOPS 232779767 HAS SOUS 145229928 HAS SOUPS 145229928 WITH SCORE 1.45462707767E8
AT ITER 2924 NEW BEST:: SOT 837176248 SOS 232775338 HAS SOPS 232775338 HAS SOUS 145228818 HAS SOUPS 145228818 WITH SCORE 1.45461593338E8
AT ITER 2925 NEW BEST:: SOT 837165376 SOS 232762181 HAS SOPS 232762181 HAS SOUS 145226531 HAS SOUPS 145226531 WITH SCORE 1.45459293181E8
AT ITER 2946 NEW BEST:: SOT 837161006 SOS 232755625 HAS SOPS 232755625 HAS SOUS 145226528 HAS SOUPS 145226528 WITH SCORE 1.45459283625E8
AT ITER 2958 NEW BEST:: SOT 837157856 SOS 232751424 HAS SOPS 232751424 HAS SOUS 145225475 HAS SOUPS 145225475 WITH SCORE 1.45458226424E8
AT ITER 2979 NEW BEST:: SOT 837152722 SOS 232745497 HAS SOPS 232745497 HAS SOUS 145224739 HAS SOUPS 145224739 WITH SCORE 1.45457484497E8
AT ITER 2982 NEW BEST:: SOT 837149086 SOS 232740648 HAS SOPS 232740648 HAS SOUS 145223524 HAS SOUPS 145223524 WITH SCORE 1.45456264648E8
AT ITER 2985 NEW BEST:: SOT 837139378 SOS 232726085 HAS SOPS 232726085 HAS SOUS 145223521 HAS SOUPS 145223521 WITH SCORE 1.45456247085E8
AT ITER 2993 NEW BEST:: SOT 837127228 SOS 232707859 HAS SOPS 232707859 HAS SOUS 145223518 HAS SOUPS 145223518 WITH SCORE 1.45456225859E8
AT ITER 3039 NEW BEST:: SOT 837118018 SOS 232694043 HAS SOPS 232694043 HAS SOUS 145223515 HAS SOUPS 145223515 WITH SCORE 1.45456209043E8
AT ITER 3044 NEW BEST:: SOT 837116936 SOS 232692420 HAS SOPS 232692420 HAS SOUS 145223515 HAS SOUPS 145223515 WITH SCORE 1.4545620742E8
AT ITER 3052 NEW BEST:: SOT 837110279 SOS 232683544 HAS SOPS 232683544 HAS SOUS 145221296 HAS SOUPS 145221296 WITH SCORE 1.45453979544E8
AT ITER 3061 NEW BEST:: SOT 837096321 SOS 232666270 HAS SOPS 232666270 HAS SOUS 145217980 HAS SOUPS 145217980 WITH SCORE 1.4545064627E8
AT ITER 3068 NEW BEST:: SOT 837084947 SOS 232651975 HAS SOPS 232651975 HAS SOUS 145215057 HAS SOUPS 145215057 WITH SCORE 1.45447708975E8
AT ITER 3073 NEW BEST:: SOT 837077951 SOS 232641480 HAS SOPS 232641480 HAS SOUS 145215054 HAS SOUPS 145215054 WITH SCORE 1.4544769548E8
AT ITER 3084 NEW BEST:: SOT 837066871 SOS 232624859 HAS SOPS 232624859 HAS SOUS 145215051 HAS SOUPS 145215051 WITH SCORE 1.45447675859E8
AT ITER 3089 NEW BEST:: SOT 837063192 SOS 232620125 HAS SOPS 232620125 HAS SOUS 145213996 HAS SOUPS 145213996 WITH SCORE 1.45446616125E8
AT ITER 3101 NEW BEST:: SOT 837047989 SOS 232601129 HAS SOPS 232601129 HAS SOUS 145210203 HAS SOUPS 145210203 WITH SCORE 1.45442804129E8
AT ITER 3110 NEW BEST:: SOT 837035794 SOS 232587850 HAS SOPS 232587850 HAS SOUS 145209521 HAS SOUPS 145209521 WITH SCORE 1.4544210885E8
AT ITER 3138 NEW BEST:: SOT 837026366 SOS 232573707 HAS SOPS 232573707 HAS SOUS 145209518 HAS SOUPS 145209518 WITH SCORE 1.45442091707E8
AT ITER 3140 NEW BEST:: SOT 837018682 SOS 232562180 HAS SOPS 232562180 HAS SOUS 145209515 HAS SOUPS 145209515 WITH SCORE 1.4544207718E8
AT ITER 3156 NEW BEST:: SOT 837018682 SOS 232562179 HAS SOPS 232562179 HAS SOUS 145209512 HAS SOUPS 145209512 WITH SCORE 1.45442074179E8
AT ITER 3177 NEW BEST:: SOT 837012729 SOS 232554794 HAS SOPS 232554794 HAS SOUS 145208078 HAS SOUPS 145208078 WITH SCORE 1.45440632794E8
AT ITER 3181 NEW BEST:: SOT 836999439 SOS 232538322 HAS SOPS 232538322 HAS SOUS 145204896 HAS SOUPS 145204896 WITH SCORE 1.45437434322E8
AT ITER 3202 NEW BEST:: SOT 836998917 SOS 232537278 HAS SOPS 232537278 HAS SOUS 145204374 HAS SOUPS 145204374 WITH SCORE 1.45436911278E8
AT ITER 3222 NEW BEST:: SOT 836990475 SOS 232526021 HAS SOPS 232526021 HAS SOUS 145201557 HAS SOUPS 145201557 WITH SCORE 1.45434083021E8
AT ITER 3246 NEW BEST:: SOT 836982203 SOS 232513612 HAS SOPS 232513612 HAS SOUS 145201554 HAS SOUPS 145201554 WITH SCORE 1.45434067612E8
AT ITER 3266 NEW BEST:: SOT 836975579 SOS 232503676 HAS SOPS 232503676 HAS SOUS 145201554 HAS SOUPS 145201554 WITH SCORE 1.45434057676E8
AT ITER 3303 NEW BEST:: SOT 836972549 SOS 232499636 HAS SOPS 232499636 HAS SOUS 145200544 HAS SOUPS 145200544 WITH SCORE 1.45433043636E8
AT ITER 3315 NEW BEST:: SOT 836962297 SOS 232484257 HAS SOPS 232484257 HAS SOUS 145200541 HAS SOUPS 145200541 WITH SCORE 1.45433025257E8
AT ITER 3325 NEW BEST:: SOT 836961579 SOS 232483179 HAS SOPS 232483179 HAS SOUS 145200538 HAS SOUPS 145200538 WITH SCORE 1.45433021179E8
AT ITER 3354 NEW BEST:: SOT 836953933 SOS 232471710 HAS SOPS 232471710 HAS SOUS 145200538 HAS SOUPS 145200538 WITH SCORE 1.4543300971E8
AT ITER 3357 NEW BEST:: SOT 836950539 SOS 232466618 HAS SOPS 232466618 HAS SOUS 145200535 HAS SOUPS 145200535 WITH SCORE 1.45433001618E8
AT ITER 3385 NEW BEST:: SOT 836941846 SOS 232455519 HAS SOPS 232455519 HAS SOUS 145198127 HAS SOUPS 145198127 WITH SCORE 1.45430582519E8
AT ITER 3408 NEW BEST:: SOT 836937961 SOS 232450792 HAS SOPS 232450792 HAS SOUS 145197555 HAS SOUPS 145197555 WITH SCORE 1.45430005792E8
AT ITER 3436 NEW BEST:: SOT 836930241 SOS 232439212 HAS SOPS 232439212 HAS SOUS 145197555 HAS SOUPS 145197555 WITH SCORE 1.45429994212E8
AT ITER 3466 NEW BEST:: SOT 836921505 SOS 232427564 HAS SOPS 232427564 HAS SOUS 145194643 HAS SOUPS 145194643 WITH SCORE 1.45427070564E8
AT ITER 3471 NEW BEST:: SOT 836920077 SOS 232425422 HAS SOPS 232425422 HAS SOUS 145194643 HAS SOUPS 145194643 WITH SCORE 1.45427068422E8
AT ITER 3526 NEW BEST:: SOT 836904994 SOS 232407264 HAS SOPS 232407264 HAS SOUS 145191714 HAS SOUPS 145191714 WITH SCORE 1.45424121264E8
AT ITER 3530 NEW BEST:: SOT 836896092 SOS 232393911 HAS SOPS 232393911 HAS SOUS 145191714 HAS SOUPS 145191714 WITH SCORE 1.45424107911E8
AT ITER 3545 NEW BEST:: SOT 836886810 SOS 232379988 HAS SOPS 232379988 HAS SOUS 145191714 HAS SOUPS 145191714 WITH SCORE 1.45424093988E8
AT ITER 3559 NEW BEST:: SOT 836881378 SOS 232373093 HAS SOPS 232373093 HAS SOUS 145190249 HAS SOUPS 145190249 WITH SCORE 1.45422622093E8
AT ITER 3563 NEW BEST:: SOT 836869006 SOS 232354534 HAS SOPS 232354534 HAS SOUS 145190246 HAS SOUPS 145190246 WITH SCORE 1.45422600534E8
AT ITER 3579 NEW BEST:: SOT 836862388 SOS 232345710 HAS SOPS 232345710 HAS SOUS 145188040 HAS SOUPS 145188040 WITH SCORE 1.4542038571E8
AT ITER 3580 NEW BEST:: SOT 836854046 SOS 232333196 HAS SOPS 232333196 HAS SOUS 145188037 HAS SOUPS 145188037 WITH SCORE 1.45420370196E8
AT ITER 3585 NEW BEST:: SOT 836844560 SOS 232321273 HAS SOPS 232321273 HAS SOUS 145185598 HAS SOUPS 145185598 WITH SCORE 1.45417919273E8
AT ITER 3587 NEW BEST:: SOT 836832968 SOS 232303885 HAS SOPS 232303885 HAS SOUS 145185598 HAS SOUPS 145185598 WITH SCORE 1.45417901885E8
AT ITER 3595 NEW BEST:: SOT 836826426 SOS 232294071 HAS SOPS 232294071 HAS SOUS 145185595 HAS SOUPS 145185595 WITH SCORE 1.45417889071E8
AT ITER 3611 NEW BEST:: SOT 836813079 SOS 232271735 HAS SOPS 232271735 HAS SOUS 145177694 HAS SOUPS 145177694 WITH SCORE 1.45409965735E8
AT ITER 3615 NEW BEST:: SOT 836799531 SOS 232251412 HAS SOPS 232251412 HAS SOUS 145177691 HAS SOUPS 145177691 WITH SCORE 1.45409942412E8
AT ITER 3621 NEW BEST:: SOT 836789505 SOS 232236372 HAS SOPS 232236372 HAS SOUS 145177688 HAS SOUPS 145177688 WITH SCORE 1.45409924372E8
AT ITER 3625 NEW BEST:: SOT 836778445 SOS 232222631 HAS SOPS 232222631 HAS SOUS 145175005 HAS SOUPS 145175005 WITH SCORE 1.45407227631E8
AT ITER 3628 NEW BEST:: SOT 836769951 SOS 232209890 HAS SOPS 232209890 HAS SOUS 145175005 HAS SOUPS 145175005 WITH SCORE 1.4540721489E8
AT ITER 3642 NEW BEST:: SOT 836762028 SOS 232199325 HAS SOPS 232199325 HAS SOUS 145172361 HAS SOUPS 145172361 WITH SCORE 1.45404560325E8
AT ITER 3684 NEW BEST:: SOT 836749120 SOS 232183086 HAS SOPS 232183086 HAS SOUS 145169028 HAS SOUPS 145169028 WITH SCORE 1.45401211086E8
AT ITER 3688 NEW BEST:: SOT 836738962 SOS 232167848 HAS SOPS 232167848 HAS SOUS 145169025 HAS SOUPS 145169025 WITH SCORE 1.45401192848E8
AT ITER 3695 NEW BEST:: SOT 836736400 SOS 232164432 HAS SOPS 232164432 HAS SOUS 145168171 HAS SOUPS 145168171 WITH SCORE 1.45400335432E8
AT ITER 3700 NEW BEST:: SOT 836727020 SOS 232150362 HAS SOPS 232150362 HAS SOUS 145168171 HAS SOUPS 145168171 WITH SCORE 1.45400321362E8
AT ITER 3714 NEW BEST:: SOT 836717884 SOS 232136657 HAS SOPS 232136657 HAS SOUS 145168168 HAS SOUPS 145168168 WITH SCORE 1.45400304657E8
AT ITER 3739 NEW BEST:: SOT 836703324 SOS 232118417 HAS SOPS 232118417 HAS SOUS 145164488 HAS SOUPS 145164488 WITH SCORE 1.45396606417E8
AT ITER 3747 NEW BEST:: SOT 836695284 SOS 232106357 HAS SOPS 232106357 HAS SOUS 145164488 HAS SOUPS 145164488 WITH SCORE 1.45396594357E8
AT ITER 3748 NEW BEST:: SOT 836686460 SOS 232093121 HAS SOPS 232093121 HAS SOUS 145164488 HAS SOUPS 145164488 WITH SCORE 1.45396581121E8
AT ITER 3752 NEW BEST:: SOT 836683398 SOS 232088528 HAS SOPS 232088528 HAS SOUS 145164488 HAS SOUPS 145164488 WITH SCORE 1.45396576528E8
AT ITER 3758 NEW BEST:: SOT 836673948 SOS 232073056 HAS SOPS 232073056 HAS SOUS 145160115 HAS SOUPS 145160115 WITH SCORE 1.45392188056E8
AT ITER 3759 NEW BEST:: SOT 836669658 SOS 232066620 HAS SOPS 232066620 HAS SOUS 145160112 HAS SOUPS 145160112 WITH SCORE 1.4539217862E8
AT ITER 3761 NEW BEST:: SOT 836659656 SOS 232051616 HAS SOPS 232051616 HAS SOUS 145160109 HAS SOUPS 145160109 WITH SCORE 1.45392160616E8
AT ITER 3772 NEW BEST:: SOT 836646542 SOS 232031944 HAS SOPS 232031944 HAS SOUS 145160106 HAS SOUPS 145160106 WITH SCORE 1.45392137944E8
AT ITER 3786 NEW BEST:: SOT 836639458 SOS 232023333 HAS SOPS 232023333 HAS SOUS 145158615 HAS SOUPS 145158615 WITH SCORE 1.45390638333E8
AT ITER 3837 NEW BEST:: SOT 836629319 SOS 232011105 HAS SOPS 232011105 HAS SOUS 145156526 HAS SOUPS 145156526 WITH SCORE 1.45388537105E8
AT ITER 3847 NEW BEST:: SOT 836615553 SOS 231990456 HAS SOPS 231990456 HAS SOUS 145156526 HAS SOUPS 145156526 WITH SCORE 1.45388516456E8
AT ITER 3854 NEW BEST:: SOT 836610003 SOS 231982130 HAS SOPS 231982130 HAS SOUS 145156523 HAS SOUPS 145156523 WITH SCORE 1.4538850513E8
AT ITER 3873 NEW BEST:: SOT 836601063 SOS 231971146 HAS SOPS 231971146 HAS SOUS 145155040 HAS SOUPS 145155040 WITH SCORE 1.45387011146E8
AT ITER 3875 NEW BEST:: SOT 836595595 SOS 231962944 HAS SOPS 231962944 HAS SOUS 145155040 HAS SOUPS 145155040 WITH SCORE 1.45387002944E8
AT ITER 3889 NEW BEST:: SOT 836592892 SOS 231959340 HAS SOPS 231959340 HAS SOUS 145154139 HAS SOUPS 145154139 WITH SCORE 1.4538609834E8
AT ITER 3891 NEW BEST:: SOT 836589646 SOS 231955288 HAS SOPS 231955288 HAS SOUS 145153333 HAS SOUPS 145153333 WITH SCORE 1.45385288288E8
AT ITER 3900 NEW BEST:: SOT 836582239 SOS 231946012 HAS SOPS 231946012 HAS SOUS 145151464 HAS SOUPS 145151464 WITH SCORE 1.45383410012E8
AT ITER 3940 NEW BEST:: SOT 836576374 SOS 231938849 HAS SOPS 231938849 HAS SOUS 145150164 HAS SOUPS 145150164 WITH SCORE 1.45382102849E8
AT ITER 3949 NEW BEST:: SOT 836569400 SOS 231928388 HAS SOPS 231928388 HAS SOUS 145150164 HAS SOUPS 145150164 WITH SCORE 1.45382092388E8
AT ITER 3952 NEW BEST:: SOT 836569400 SOS 231928387 HAS SOPS 231928387 HAS SOUS 145150161 HAS SOUPS 145150161 WITH SCORE 1.45382089387E8
AT ITER 4002 NEW BEST:: SOT 836558976 SOS 231912750 HAS SOPS 231912750 HAS SOUS 145150158 HAS SOUPS 145150158 WITH SCORE 1.4538207075E8
AT ITER 4013 NEW BEST:: SOT 836552097 SOS 231903578 HAS SOPS 231903578 HAS SOUS 145147865 HAS SOUPS 145147865 WITH SCORE 1.45379768578E8
AT ITER 4020 NEW BEST:: SOT 836546385 SOS 231894058 HAS SOPS 231894058 HAS SOUS 145140249 HAS SOUPS 145140249 WITH SCORE 1.45372143058E8
AT ITER 4063 NEW BEST:: SOT 836540233 SOS 231884830 HAS SOPS 231884830 HAS SOUS 145140249 HAS SOUPS 145140249 WITH SCORE 1.4537213383E8
AT ITER 4075 NEW BEST:: SOT 836527095 SOS 231865122 HAS SOPS 231865122 HAS SOUS 145140246 HAS SOUPS 145140246 WITH SCORE 1.45372111122E8
AT ITER 4076 NEW BEST:: SOT 836524487 SOS 231861209 HAS SOPS 231861209 HAS SOUS 145140243 HAS SOUPS 145140243 WITH SCORE 1.45372104209E8
AT ITER 4079 NEW BEST:: SOT 836511216 SOS 231844518 HAS SOPS 231844518 HAS SOUS 145136821 HAS SOUPS 145136821 WITH SCORE 1.45368665518E8
AT ITER 4089 NEW BEST:: SOT 836500860 SOS 231833551 HAS SOPS 231833551 HAS SOUS 145136577 HAS SOUPS 145136577 WITH SCORE 1.45368410551E8
AT ITER 4092 NEW BEST:: SOT 836487531 SOS 231817060 HAS SOPS 231817060 HAS SOUS 145133413 HAS SOUPS 145133413 WITH SCORE 1.4536523006E8
AT ITER 4137 NEW BEST:: SOT 836484606 SOS 231813784 HAS SOPS 231813784 HAS SOUS 145133062 HAS SOUPS 145133062 WITH SCORE 1.45364875784E8
AT ITER 4139 NEW BEST:: SOT 836472621 SOS 231799152 HAS SOPS 231799152 HAS SOUS 145130415 HAS SOUPS 145130415 WITH SCORE 1.45362214152E8
AT ITER 4191 NEW BEST:: SOT 836472621 SOS 231799151 HAS SOPS 231799151 HAS SOUS 145130412 HAS SOUPS 145130412 WITH SCORE 1.45362211151E8
AT ITER 4195 NEW BEST:: SOT 836460247 SOS 231780589 HAS SOPS 231780589 HAS SOUS 145130409 HAS SOUPS 145130409 WITH SCORE 1.45362189589E8
AT ITER 4198 NEW BEST:: SOT 836451433 SOS 231767367 HAS SOPS 231767367 HAS SOUS 145130406 HAS SOUPS 145130406 WITH SCORE 1.45362173367E8
AT ITER 4208 NEW BEST:: SOT 836447329 SOS 231761210 HAS SOPS 231761210 HAS SOUS 145130403 HAS SOUPS 145130403 WITH SCORE 1.4536216421E8
AT ITER 4235 NEW BEST:: SOT 836439001 SOS 231748717 HAS SOPS 231748717 HAS SOUS 145130400 HAS SOUPS 145130400 WITH SCORE 1.45362148717E8
AT ITER 4275 NEW BEST:: SOT 836437967 SOS 231747166 HAS SOPS 231747166 HAS SOUS 145130400 HAS SOUPS 145130400 WITH SCORE 1.45362147166E8
AT ITER 4287 NEW BEST:: SOT 836430210 SOS 231737743 HAS SOPS 231737743 HAS SOUS 145129284 HAS SOUPS 145129284 WITH SCORE 1.45361021743E8
AT ITER 4293 NEW BEST:: SOT 836418642 SOS 231720391 HAS SOPS 231720391 HAS SOUS 145129284 HAS SOUPS 145129284 WITH SCORE 1.45361004391E8
AT ITER 4300 NEW BEST:: SOT 836410397 SOS 231710016 HAS SOPS 231710016 HAS SOUS 145127152 HAS SOUPS 145127152 WITH SCORE 1.45358862016E8
AT ITER 4347 NEW BEST:: SOT 836398372 SOS 231695307 HAS SOPS 231695307 HAS SOUS 145124466 HAS SOUPS 145124466 WITH SCORE 1.45356161307E8
AT ITER 4350 NEW BEST:: SOT 836389604 SOS 231684387 HAS SOPS 231684387 HAS SOUS 145122314 HAS SOUPS 145122314 WITH SCORE 1.45353998387E8
AT ITER 4364 NEW BEST:: SOT 836385018 SOS 231677508 HAS SOPS 231677508 HAS SOUS 145122314 HAS SOUPS 145122314 WITH SCORE 1.45353991508E8
AT ITER 4378 NEW BEST:: SOT 836385018 SOS 231677507 HAS SOPS 231677507 HAS SOUS 145122311 HAS SOUPS 145122311 WITH SCORE 1.45353988507E8
AT ITER 4393 NEW BEST:: SOT 836380224 SOS 231670315 HAS SOPS 231670315 HAS SOUS 145122308 HAS SOUPS 145122308 WITH SCORE 1.45353978315E8
AT ITER 4396 NEW BEST:: SOT 836371030 SOS 231656524 HAS SOPS 231656524 HAS SOUS 145122308 HAS SOUPS 145122308 WITH SCORE 1.45353964524E8
AT ITER 4426 NEW BEST:: SOT 836357218 SOS 231635806 HAS SOPS 231635806 HAS SOUS 145122308 HAS SOUPS 145122308 WITH SCORE 1.45353943806E8
AT ITER 4427 NEW BEST:: SOT 836351356 SOS 231627989 HAS SOPS 231627989 HAS SOUS 145120351 HAS SOUPS 145120351 WITH SCORE 1.45351978989E8
AT ITER 4441 NEW BEST:: SOT 836339670 SOS 231610460 HAS SOPS 231610460 HAS SOUS 145120351 HAS SOUPS 145120351 WITH SCORE 1.4535196146E8
AT ITER 4442 NEW BEST:: SOT 836328621 SOS 231597049 HAS SOPS 231597049 HAS SOUS 145117987 HAS SOUPS 145117987 WITH SCORE 1.45349584049E8
AT ITER 4460 NEW BEST:: SOT 836317077 SOS 231582895 HAS SOPS 231582895 HAS SOUS 145115377 HAS SOUPS 145115377 WITH SCORE 1.45346959895E8
AT ITER 4486 NEW BEST:: SOT 836310635 SOS 231573231 HAS SOPS 231573231 HAS SOUS 145115374 HAS SOUPS 145115374 WITH SCORE 1.45346947231E8
AT ITER 4489 NEW BEST:: SOT 836301649 SOS 231559752 HAS SOPS 231559752 HAS SOUS 145115374 HAS SOUPS 145115374 WITH SCORE 1.45346933752E8
AT ITER 4497 NEW BEST:: SOT 836299105 SOS 231556359 HAS SOPS 231556359 HAS SOUS 145114523 HAS SOUPS 145114523 WITH SCORE 1.45346079359E8
AT ITER 4501 NEW BEST:: SOT 836296882 SOS 231553394 HAS SOPS 231553394 HAS SOUS 145113779 HAS SOUPS 145113779 WITH SCORE 1.45345332394E8
AT ITER 4507 NEW BEST:: SOT 836289010 SOS 231542898 HAS SOPS 231542898 HAS SOUS 145111155 HAS SOUPS 145111155 WITH SCORE 1.45342697898E8
AT ITER 4512 NEW BEST:: SOT 836283043 SOS 231536076 HAS SOPS 231536076 HAS SOUS 145110412 HAS SOUPS 145110412 WITH SCORE 1.45341948076E8
AT ITER 4514 NEW BEST:: SOT 836270791 SOS 231519453 HAS SOPS 231519453 HAS SOUS 145099873 HAS SOUPS 145099873 WITH SCORE 1.45331392453E8
AT ITER 4518 NEW BEST:: SOT 836263201 SOS 231509653 HAS SOPS 231509653 HAS SOUS 145097663 HAS SOUPS 145097663 WITH SCORE 1.45329172653E8
AT ITER 4522 NEW BEST:: SOT 836262707 SOS 231508911 HAS SOPS 231508911 HAS SOUS 145097660 HAS SOUPS 145097660 WITH SCORE 1.45329168911E8
AT ITER 4526 NEW BEST:: SOT 836257567 SOS 231501201 HAS SOPS 231501201 HAS SOUS 145097660 HAS SOUPS 145097660 WITH SCORE 1.45329161201E8
AT ITER 4533 NEW BEST:: SOT 836247747 SOS 231486471 HAS SOPS 231486471 HAS SOUS 145097660 HAS SOUPS 145097660 WITH SCORE 1.45329146471E8
AT ITER 4536 NEW BEST:: SOT 836245865 SOS 231483647 HAS SOPS 231483647 HAS SOUS 145097657 HAS SOUPS 145097657 WITH SCORE 1.45329140647E8
AT ITER 4549 NEW BEST:: SOT 836236573 SOS 231469709 HAS SOPS 231469709 HAS SOUS 145097657 HAS SOUPS 145097657 WITH SCORE 1.45329126709E8
AT ITER 4551 NEW BEST:: SOT 836228381 SOS 231457420 HAS SOPS 231457420 HAS SOUS 145097654 HAS SOUPS 145097654 WITH SCORE 1.4532911142E8
AT ITER 4570 NEW BEST:: SOT 836216231 SOS 231442637 HAS SOPS 231442637 HAS SOUS 145095032 HAS SOUPS 145095032 WITH SCORE 1.45326474637E8
AT ITER 4582 NEW BEST:: SOT 836200371 SOS 231423475 HAS SOPS 231423475 HAS SOUS 145091884 HAS SOUPS 145091884 WITH SCORE 1.45323307475E8
AT ITER 4595 NEW BEST:: SOT 836195856 SOS 231417455 HAS SOPS 231417455 HAS SOUS 145090379 HAS SOUPS 145090379 WITH SCORE 1.45321796455E8
AT ITER 4600 NEW BEST:: SOT 836190362 SOS 231409213 HAS SOPS 231409213 HAS SOUS 145090376 HAS SOUPS 145090376 WITH SCORE 1.45321785213E8
AT ITER 4603 NEW BEST:: SOT 836184013 SOS 231401566 HAS SOPS 231401566 HAS SOUS 145089110 HAS SOUPS 145089110 WITH SCORE 1.45320511566E8
AT ITER 4605 NEW BEST:: SOT 836181281 SOS 231397468 HAS SOPS 231397468 HAS SOUS 145089110 HAS SOUPS 145089110 WITH SCORE 1.45320507468E8
AT ITER 4633 NEW BEST:: SOT 836164290 SOS 231367939 HAS SOPS 231367939 HAS SOUS 145075181 HAS SOUPS 145075181 WITH SCORE 1.45306548939E8
AT ITER 4637 NEW BEST:: SOT 836161198 SOS 231363300 HAS SOPS 231363300 HAS SOUS 145075178 HAS SOUPS 145075178 WITH SCORE 1.453065413E8
AT ITER 4639 NEW BEST:: SOT 836150446 SOS 231350316 HAS SOPS 231350316 HAS SOUS 145072946 HAS SOUPS 145072946 WITH SCORE 1.45304296316E8
AT ITER 4683 NEW BEST:: SOT 836142156 SOS 231337881 HAS SOPS 231337881 HAS SOUS 145072946 HAS SOUPS 145072946 WITH SCORE 1.45304283881E8
AT ITER 4694 NEW BEST:: SOT 836137214 SOS 231330468 HAS SOPS 231330468 HAS SOUS 145072946 HAS SOUPS 145072946 WITH SCORE 1.45304276468E8
AT ITER 4706 NEW BEST:: SOT 836127558 SOS 231318492 HAS SOPS 231318492 HAS SOUS 145070626 HAS SOUPS 145070626 WITH SCORE 1.45301944492E8
AT ITER 4710 NEW BEST:: SOT 836117948 SOS 231304076 HAS SOPS 231304076 HAS SOUS 145070623 HAS SOUPS 145070623 WITH SCORE 1.45301927076E8
AT ITER 4769 NEW BEST:: SOT 836107618 SOS 231288580 HAS SOPS 231288580 HAS SOUS 145070620 HAS SOUPS 145070620 WITH SCORE 1.4530190858E8
AT ITER 4778 NEW BEST:: SOT 836106682 SOS 231287175 HAS SOPS 231287175 HAS SOUS 145070617 HAS SOUPS 145070617 WITH SCORE 1.45301904175E8
AT ITER 4784 NEW BEST:: SOT 836097306 SOS 231273111 HAS SOPS 231273111 HAS SOUS 145070617 HAS SOUPS 145070617 WITH SCORE 1.45301890111E8
AT ITER 4792 NEW BEST:: SOT 836092695 SOS 231267181 HAS SOPS 231267181 HAS SOUS 145069298 HAS SOUPS 145069298 WITH SCORE 1.45300565181E8
AT ITER 4803 NEW BEST:: SOT 836079966 SOS 231251124 HAS SOPS 231251124 HAS SOUS 145065968 HAS SOUPS 145065968 WITH SCORE 1.45297219124E8
AT ITER 4822 NEW BEST:: SOT 836075014 SOS 231245111 HAS SOPS 231245111 HAS SOUS 145064905 HAS SOUPS 145064905 WITH SCORE 1.45296150111E8
AT ITER 4829 NEW BEST:: SOT 836067656 SOS 231234074 HAS SOPS 231234074 HAS SOUS 145064905 HAS SOUPS 145064905 WITH SCORE 1.45296139074E8
AT ITER 4863 NEW BEST:: SOT 836059270 SOS 231223482 HAS SOPS 231223482 HAS SOUS 145062699 HAS SOUPS 145062699 WITH SCORE 1.45293922482E8
AT ITER 4900 NEW BEST:: SOT 836057509 SOS 231221427 HAS SOPS 231221427 HAS SOUS 145062579 HAS SOUPS 145062579 WITH SCORE 1.45293800427E8
AT ITER 4922 NEW BEST:: SOT 836049200 SOS 231208495 HAS SOPS 231208495 HAS SOUS 145059727 HAS SOUPS 145059727 WITH SCORE 1.45290935495E8
AT ITER 4935 NEW BEST:: SOT 836043092 SOS 231200351 HAS SOPS 231200351 HAS SOUS 145057691 HAS SOUPS 145057691 WITH SCORE 1.45288891351E8
AT ITER 4951 NEW BEST:: SOT 836035176 SOS 231184519 HAS SOPS 231184519 HAS SOUS 145045817 HAS SOUPS 145045817 WITH SCORE 1.45277001519E8
AT ITER 4952 NEW BEST:: SOT 836025134 SOS 231169455 HAS SOPS 231169455 HAS SOUS 145045814 HAS SOUPS 145045814 WITH SCORE 1.45276983455E8
AT ITER 4959 NEW BEST:: SOT 836015104 SOS 231154410 HAS SOPS 231154410 HAS SOUS 145045814 HAS SOUPS 145045814 WITH SCORE 1.4527696841E8
AT ITER 4964 NEW BEST:: SOT 836011612 SOS 231149754 HAS SOPS 231149754 HAS SOUS 145044650 HAS SOUPS 145044650 WITH SCORE 1.45275799754E8
AT ITER 4971 NEW BEST:: SOT 836002378 SOS 231139385 HAS SOPS 231139385 HAS SOUS 145043590 HAS SOUPS 145043590 WITH SCORE 1.45274729385E8
AT ITER 5004 NEW BEST:: SOT 835992700 SOS 231124868 HAS SOPS 231124868 HAS SOUS 145043590 HAS SOUPS 145043590 WITH SCORE 1.45274714868E8
AT ITER 5013 NEW BEST:: SOT 835983028 SOS 231110359 HAS SOPS 231110359 HAS SOUS 145043587 HAS SOUPS 145043587 WITH SCORE 1.45274697359E8
AT ITER 5026 NEW BEST:: SOT 835975638 SOS 231099273 HAS SOPS 231099273 HAS SOUS 145043584 HAS SOUPS 145043584 WITH SCORE 1.45274683273E8
AT ITER 5034 NEW BEST:: SOT 835964072 SOS 231085034 HAS SOPS 231085034 HAS SOUS 145040909 HAS SOUPS 145040909 WITH SCORE 1.45271994034E8
AT ITER 5071 NEW BEST:: SOT 835958502 SOS 231076678 HAS SOPS 231076678 HAS SOUS 145040906 HAS SOUPS 145040906 WITH SCORE 1.45271982678E8
AT ITER 5085 NEW BEST:: SOT 835945800 SOS 231062291 HAS SOPS 231062291 HAS SOUS 145039515 HAS SOUPS 145039515 WITH SCORE 1.45270577291E8
AT ITER 5119 NEW BEST:: SOT 835934805 SOS 231048367 HAS SOPS 231048367 HAS SOUS 145036586 HAS SOUPS 145036586 WITH SCORE 1.45267634367E8
AT ITER 5146 NEW BEST:: SOT 835927392 SOS 231039721 HAS SOPS 231039721 HAS SOUS 145035491 HAS SOUPS 145035491 WITH SCORE 1.45266530721E8
AT ITER 5190 NEW BEST:: SOT 835924602 SOS 231036718 HAS SOPS 231036718 HAS SOUS 145035370 HAS SOUPS 145035370 WITH SCORE 1.45266406718E8
AT ITER 5200 NEW BEST:: SOT 835910032 SOS 231019688 HAS SOPS 231019688 HAS SOUS 145033167 HAS SOUPS 145033167 WITH SCORE 1.45264186688E8
AT ITER 5207 NEW BEST:: SOT 835902001 SOS 231008980 HAS SOPS 231008980 HAS SOUS 145030490 HAS SOUPS 145030490 WITH SCORE 1.4526149898E8
AT ITER 5226 NEW BEST:: SOT 835893521 SOS 230996259 HAS SOPS 230996259 HAS SOUS 145030487 HAS SOUPS 145030487 WITH SCORE 1.45261483259E8
AT ITER 5227 NEW BEST:: SOT 835883344 SOS 230983931 HAS SOPS 230983931 HAS SOUS 145028336 HAS SOUPS 145028336 WITH SCORE 1.45259319931E8
AT ITER 5262 NEW BEST:: SOT 835872442 SOS 230969394 HAS SOPS 230969394 HAS SOUS 145024699 HAS SOUPS 145024699 WITH SCORE 1.45255668394E8
AT ITER 5274 NEW BEST:: SOT 835865728 SOS 230959322 HAS SOPS 230959322 HAS SOUS 145024696 HAS SOUPS 145024696 WITH SCORE 1.45255655322E8
AT ITER 5333 NEW BEST:: SOT 835860694 SOS 230952609 HAS SOPS 230952609 HAS SOUS 145023015 HAS SOUPS 145023015 WITH SCORE 1.45253967609E8
AT ITER 5334 NEW BEST:: SOT 835845956 SOS 230930501 HAS SOPS 230930501 HAS SOUS 145023012 HAS SOUPS 145023012 WITH SCORE 1.45253942501E8
AT ITER 5349 NEW BEST:: SOT 835843389 SOS 230927198 HAS SOPS 230927198 HAS SOUS 145022346 HAS SOUPS 145022346 WITH SCORE 1.45253273198E8
AT ITER 5398 NEW BEST:: SOT 835834549 SOS 230913938 HAS SOPS 230913938 HAS SOUS 145022346 HAS SOUPS 145022346 WITH SCORE 1.45253259938E8
AT ITER 5402 NEW BEST:: SOT 835827947 SOS 230904035 HAS SOPS 230904035 HAS SOUS 145022346 HAS SOUPS 145022346 WITH SCORE 1.45253250035E8
AT ITER 5433 NEW BEST:: SOT 835822431 SOS 230895760 HAS SOPS 230895760 HAS SOUS 145022343 HAS SOUPS 145022343 WITH SCORE 1.4525323876E8
AT ITER 5445 NEW BEST:: SOT 835813269 SOS 230883971 HAS SOPS 230883971 HAS SOUS 145019714 HAS SOUPS 145019714 WITH SCORE 1.45250597971E8
AT ITER 5491 NEW BEST:: SOT 835808231 SOS 230876414 HAS SOPS 230876414 HAS SOUS 145019714 HAS SOUPS 145019714 WITH SCORE 1.45250590414E8
AT ITER 5492 NEW BEST:: SOT 835799885 SOS 230863895 HAS SOPS 230863895 HAS SOUS 145019714 HAS SOUPS 145019714 WITH SCORE 1.45250577895E8
AT ITER 5498 NEW BEST:: SOT 835790003 SOS 230851950 HAS SOPS 230851950 HAS SOUS 145017649 HAS SOUPS 145017649 WITH SCORE 1.4524850095E8
AT ITER 5633 NEW BEST:: SOT 835786539 SOS 230846753 HAS SOPS 230846753 HAS SOUS 145017646 HAS SOUPS 145017646 WITH SCORE 1.45248492753E8
AT ITER 5676 NEW BEST:: SOT 835777672 SOS 230835653 HAS SOPS 230835653 HAS SOUS 145015846 HAS SOUPS 145015846 WITH SCORE 1.45246681653E8
AT ITER 5692 NEW BEST:: SOT 835768468 SOS 230821847 HAS SOPS 230821847 HAS SOUS 145015846 HAS SOUPS 145015846 WITH SCORE 1.45246667847E8
AT ITER 5710 NEW BEST:: SOT 835755678 SOS 230802662 HAS SOPS 230802662 HAS SOUS 145015846 HAS SOUPS 145015846 WITH SCORE 1.45246648662E8
AT ITER 5711 NEW BEST:: SOT 835750446 SOS 230794813 HAS SOPS 230794813 HAS SOUS 145015843 HAS SOUPS 145015843 WITH SCORE 1.45246637813E8
AT ITER 5719 NEW BEST:: SOT 835749732 SOS 230793385 HAS SOPS 230793385 HAS SOUS 145014772 HAS SOUPS 145014772 WITH SCORE 1.45245565385E8
AT ITER 5728 NEW BEST:: SOT 835744373 SOS 230786429 HAS SOPS 230786429 HAS SOUS 145013288 HAS SOUPS 145013288 WITH SCORE 1.45244074429E8
AT ITER 5732 NEW BEST:: SOT 835731900 SOS 230772071 HAS SOPS 230772071 HAS SOUS 145011629 HAS SOUPS 145011629 WITH SCORE 1.45242401071E8
AT ITER 5734 NEW BEST:: SOT 835727607 SOS 230766346 HAS SOPS 230766346 HAS SOUS 145010195 HAS SOUPS 145010195 WITH SCORE 1.45240961346E8
AT ITER 5738 NEW BEST:: SOT 835713073 SOS 230748880 HAS SOPS 230748880 HAS SOUS 145007399 HAS SOUPS 145007399 WITH SCORE 1.4523814788E8
AT ITER 5766 NEW BEST:: SOT 835713073 SOS 230746911 HAS SOPS 230746911 HAS SOUS 145001492 HAS SOUPS 145001492 WITH SCORE 1.45232238911E8
AT ITER 5793 NEW BEST:: SOT 835704753 SOS 230734430 HAS SOPS 230734430 HAS SOUS 145001489 HAS SOUPS 145001489 WITH SCORE 1.4523222343E8
AT ITER 5798 NEW BEST:: SOT 835704753 SOS 230734429 HAS SOPS 230734429 HAS SOUS 145001486 HAS SOUPS 145001486 WITH SCORE 1.45232220429E8
AT ITER 5842 NEW BEST:: SOT 835692318 SOS 230719078 HAS SOPS 230719078 HAS SOUS 144998568 HAS SOUPS 144998568 WITH SCORE 1.45229287078E8
AT ITER 5846 NEW BEST:: SOT 835687686 SOS 230712901 HAS SOPS 230712901 HAS SOUS 144997021 HAS SOUPS 144997021 WITH SCORE 1.45227733901E8
AT ITER 5892 NEW BEST:: SOT 835683010 SOS 230705887 HAS SOPS 230705887 HAS SOUS 144997021 HAS SOUPS 144997021 WITH SCORE 1.45227726887E8
AT ITER 5893 NEW BEST:: SOT 835682305 SOS 230704477 HAS SOPS 230704477 HAS SOUS 144996316 HAS SOUPS 144996316 WITH SCORE 1.45227020477E8
AT ITER 5921 NEW BEST:: SOT 835679962 SOS 230701353 HAS SOPS 230701353 HAS SOUS 144995535 HAS SOUPS 144995535 WITH SCORE 1.45226236353E8
AT ITER 5946 NEW BEST:: SOT 835670424 SOS 230687046 HAS SOPS 230687046 HAS SOUS 144995535 HAS SOUPS 144995535 WITH SCORE 1.45226222046E8
AT ITER 5950 NEW BEST:: SOT 835668264 SOS 230683806 HAS SOPS 230683806 HAS SOUS 144995535 HAS SOUPS 144995535 WITH SCORE 1.45226218806E8
AT ITER 5962 NEW BEST:: SOT 835659795 SOS 230672513 HAS SOPS 230672513 HAS SOUS 144992709 HAS SOUPS 144992709 WITH SCORE 1.45223381513E8
AT ITER 5968 NEW BEST:: SOT 835652297 SOS 230661266 HAS SOPS 230661266 HAS SOUS 144992709 HAS SOUPS 144992709 WITH SCORE 1.45223370266E8
AT ITER 5992 NEW BEST:: SOT 835647275 SOS 230653732 HAS SOPS 230653732 HAS SOUS 144992706 HAS SOUPS 144992706 WITH SCORE 1.45223359732E8
AT ITER 5995 NEW BEST:: SOT 835636388 SOS 230641621 HAS SOPS 230641621 HAS SOUS 144991740 HAS SOUPS 144991740 WITH SCORE 1.45222381621E8
AT ITER 6012 NEW BEST:: SOT 835625794 SOS 230628652 HAS SOPS 230628652 HAS SOUS 144989363 HAS SOUPS 144989363 WITH SCORE 1.45219991652E8
AT ITER 6018 NEW BEST:: SOT 835620226 SOS 230620300 HAS SOPS 230620300 HAS SOUS 144989363 HAS SOUPS 144989363 WITH SCORE 1.452199833E8
AT ITER 6043 NEW BEST:: SOT 835612580 SOS 230608830 HAS SOPS 230608830 HAS SOUS 144989360 HAS SOUPS 144989360 WITH SCORE 1.4521996883E8
AT ITER 6056 NEW BEST:: SOT 835606518 SOS 230599737 HAS SOPS 230599737 HAS SOUS 144989360 HAS SOUPS 144989360 WITH SCORE 1.45219959737E8
AT ITER 6069 NEW BEST:: SOT 835603272 SOS 230595409 HAS SOPS 230595409 HAS SOUS 144988278 HAS SOUPS 144988278 WITH SCORE 1.45218873409E8
AT ITER 6096 NEW BEST:: SOT 835593968 SOS 230583473 HAS SOPS 230583473 HAS SOUS 144985646 HAS SOUPS 144985646 WITH SCORE 1.45216229473E8
AT ITER 6097 NEW BEST:: SOT 835578500 SOS 230560271 HAS SOPS 230560271 HAS SOUS 144985646 HAS SOUPS 144985646 WITH SCORE 1.45216206271E8
AT ITER 6110 NEW BEST:: SOT 835575546 SOS 230556761 HAS SOPS 230556761 HAS SOUS 144985111 HAS SOUPS 144985111 WITH SCORE 1.45215667761E8
AT ITER 6113 NEW BEST:: SOT 835573504 SOS 230553697 HAS SOPS 230553697 HAS SOUS 144985108 HAS SOUPS 144985108 WITH SCORE 1.45215661697E8
AT ITER 6121 NEW BEST:: SOT 835573504 SOS 230553451 HAS SOPS 230553451 HAS SOUS 144984370 HAS SOUPS 144984370 WITH SCORE 1.45214923451E8
AT ITER 6133 NEW BEST:: SOT 835564336 SOS 230539699 HAS SOPS 230539699 HAS SOUS 144984370 HAS SOUPS 144984370 WITH SCORE 1.45214909699E8
AT ITER 6159 NEW BEST:: SOT 835554252 SOS 230524572 HAS SOPS 230524572 HAS SOUS 144984367 HAS SOUPS 144984367 WITH SCORE 1.45214891572E8
AT ITER 6162 NEW BEST:: SOT 835550104 SOS 230518350 HAS SOPS 230518350 HAS SOUS 144984367 HAS SOUPS 144984367 WITH SCORE 1.4521488535E8
AT ITER 6165 NEW BEST:: SOT 835538090 SOS 230503212 HAS SOPS 230503212 HAS SOUS 144981243 HAS SOUPS 144981243 WITH SCORE 1.45211746212E8
AT ITER 6166 NEW BEST:: SOT 835526736 SOS 230486180 HAS SOPS 230486180 HAS SOUS 144981240 HAS SOUPS 144981240 WITH SCORE 1.4521172618E8
AT ITER 6235 NEW BEST:: SOT 835522016 SOS 230480141 HAS SOPS 230480141 HAS SOUS 144979919 HAS SOUPS 144979919 WITH SCORE 1.45210399141E8
AT ITER 6250 NEW BEST:: SOT 835511620 SOS 230466519 HAS SOPS 230466519 HAS SOUS 144976836 HAS SOUPS 144976836 WITH SCORE 1.45207302519E8
AT ITER 6269 NEW BEST:: SOT 835502137 SOS 230457844 HAS SOPS 230457844 HAS SOUS 144976016 HAS SOUPS 144976016 WITH SCORE 1.45206473844E8
AT ITER 6270 NEW BEST:: SOT 835489156 SOS 230443877 HAS SOPS 230443877 HAS SOUS 144975522 HAS SOUPS 144975522 WITH SCORE 1.45205965877E8
AT ITER 6272 NEW BEST:: SOT 835484163 SOS 230437633 HAS SOPS 230437633 HAS SOUS 144974271 HAS SOUPS 144974271 WITH SCORE 1.45204708633E8
AT ITER 6285 NEW BEST:: SOT 835480329 SOS 230433798 HAS SOPS 230433798 HAS SOUS 144974268 HAS SOUPS 144974268 WITH SCORE 1.45204701798E8
AT ITER 6307 NEW BEST:: SOT 835477272 SOS 230429722 HAS SOPS 230429722 HAS SOUS 144973249 HAS SOUPS 144973249 WITH SCORE 1.45203678722E8
AT ITER 6329 NEW BEST:: SOT 835467502 SOS 230417509 HAS SOPS 230417509 HAS SOUS 144970804 HAS SOUPS 144970804 WITH SCORE 1.45201221509E8
AT ITER 6359 NEW BEST:: SOT 835456138 SOS 230402356 HAS SOPS 230402356 HAS SOUS 144967013 HAS SOUPS 144967013 WITH SCORE 1.45197415356E8
AT ITER 6370 NEW BEST:: SOT 835450687 SOS 230395088 HAS SOPS 230395088 HAS SOUS 144965196 HAS SOUPS 144965196 WITH SCORE 1.45195591088E8
AT ITER 6388 NEW BEST:: SOT 835445209 SOS 230387783 HAS SOPS 230387783 HAS SOUS 144963367 HAS SOUPS 144963367 WITH SCORE 1.45193754783E8
AT ITER 6392 NEW BEST:: SOT 835430719 SOS 230371384 HAS SOPS 230371384 HAS SOUS 144961845 HAS SOUPS 144961845 WITH SCORE 1.45192216384E8
AT ITER 6400 NEW BEST:: SOT 835419329 SOS 230354299 HAS SOPS 230354299 HAS SOUS 144961845 HAS SOUPS 144961845 WITH SCORE 1.45192199299E8
AT ITER 6414 NEW BEST:: SOT 835404313 SOS 230331775 HAS SOPS 230331775 HAS SOUS 144961845 HAS SOUPS 144961845 WITH SCORE 1.45192176775E8
AT ITER 6428 NEW BEST:: SOT 835398645 SOS 230323272 HAS SOPS 230323272 HAS SOUS 144961842 HAS SOUPS 144961842 WITH SCORE 1.45192165272E8
AT ITER 6434 NEW BEST:: SOT 835396659 SOS 230320624 HAS SOPS 230320624 HAS SOUS 144961180 HAS SOUPS 144961180 WITH SCORE 1.45191500624E8
AT ITER 6444 NEW BEST:: SOT 835381212 SOS 230302161 HAS SOPS 230302161 HAS SOUS 144958354 HAS SOUPS 144958354 WITH SCORE 1.45188656161E8
AT ITER 6456 NEW BEST:: SOT 835375980 SOS 230294312 HAS SOPS 230294312 HAS SOUS 144958351 HAS SOUPS 144958351 WITH SCORE 1.45188645312E8
AT ITER 6496 NEW BEST:: SOT 835362636 SOS 230274296 HAS SOPS 230274296 HAS SOUS 144958351 HAS SOUPS 144958351 WITH SCORE 1.45188625296E8
AT ITER 6498 NEW BEST:: SOT 835352805 SOS 230261188 HAS SOPS 230261188 HAS SOUS 144955074 HAS SOUPS 144955074 WITH SCORE 1.45185335188E8
AT ITER 6499 NEW BEST:: SOT 835348837 SOS 230255236 HAS SOPS 230255236 HAS SOUS 144955074 HAS SOUPS 144955074 WITH SCORE 1.45185329236E8
AT ITER 6513 NEW BEST:: SOT 835335669 SOS 230238911 HAS SOPS 230238911 HAS SOUS 144951915 HAS SOUPS 144951915 WITH SCORE 1.45182153911E8
AT ITER 6518 NEW BEST:: SOT 835326813 SOS 230225626 HAS SOPS 230225626 HAS SOUS 144951912 HAS SOUPS 144951912 WITH SCORE 1.45182137626E8
AT ITER 6551 NEW BEST:: SOT 835315230 SOS 230213335 HAS SOPS 230213335 HAS SOUS 144951649 HAS SOUPS 144951649 WITH SCORE 1.45181862335E8
AT ITER 6574 NEW BEST:: SOT 835305210 SOS 230198304 HAS SOPS 230198304 HAS SOUS 144951646 HAS SOUPS 144951646 WITH SCORE 1.45181844304E8
AT ITER 6578 NEW BEST:: SOT 835297778 SOS 230187155 HAS SOPS 230187155 HAS SOUS 144951643 HAS SOUPS 144951643 WITH SCORE 1.45181830155E8
AT ITER 6614 NEW BEST:: SOT 835285407 SOS 230165588 HAS SOPS 230165588 HAS SOUS 144941374 HAS SOUPS 144941374 WITH SCORE 1.45171539588E8
AT ITER 6645 NEW BEST:: SOT 835274730 SOS 230152708 HAS SOPS 230152708 HAS SOUS 144939984 HAS SOUPS 144939984 WITH SCORE 1.45170136708E8
AT ITER 6649 NEW BEST:: SOT 835274560 SOS 230152368 HAS SOPS 230152368 HAS SOUS 144939814 HAS SOUPS 144939814 WITH SCORE 1.45169966368E8
AT ITER 6650 NEW BEST:: SOT 835269854 SOS 230145308 HAS SOPS 230145308 HAS SOUS 144939811 HAS SOUPS 144939811 WITH SCORE 1.45169956308E8
AT ITER 6687 NEW BEST:: SOT 835259867 SOS 230131992 HAS SOPS 230131992 HAS SOUS 144936482 HAS SOUPS 144936482 WITH SCORE 1.45166613992E8
AT ITER 6728 NEW BEST:: SOT 835254223 SOS 230123525 HAS SOPS 230123525 HAS SOUS 144936479 HAS SOUPS 144936479 WITH SCORE 1.45166602525E8
AT ITER 6751 NEW BEST:: SOT 835249927 SOS 230117081 HAS SOPS 230117081 HAS SOUS 144936479 HAS SOUPS 144936479 WITH SCORE 1.45166596081E8
AT ITER 6776 NEW BEST:: SOT 835238984 SOS 230099850 HAS SOPS 230099850 HAS SOUS 144932697 HAS SOUPS 144932697 WITH SCORE 1.4516279685E8
AT ITER 6796 NEW BEST:: SOT 835225874 SOS 230085323 HAS SOPS 230085323 HAS SOUS 144931675 HAS SOUPS 144931675 WITH SCORE 1.45161760323E8
AT ITER 6810 NEW BEST:: SOT 835214460 SOS 230071207 HAS SOPS 230071207 HAS SOUS 144928973 HAS SOUPS 144928973 WITH SCORE 1.45159044207E8
AT ITER 6827 NEW BEST:: SOT 835210366 SOS 230065066 HAS SOPS 230065066 HAS SOUS 144928973 HAS SOUPS 144928973 WITH SCORE 1.45159038066E8
AT ITER 6838 NEW BEST:: SOT 835202242 SOS 230052880 HAS SOPS 230052880 HAS SOUS 144928973 HAS SOUPS 144928973 WITH SCORE 1.4515902588E8
AT ITER 6840 NEW BEST:: SOT 835199683 SOS 230049571 HAS SOPS 230049571 HAS SOUS 144928283 HAS SOUPS 144928283 WITH SCORE 1.45158332571E8
AT ITER 6868 NEW BEST:: SOT 835191541 SOS 230037358 HAS SOPS 230037358 HAS SOUS 144928283 HAS SOUPS 144928283 WITH SCORE 1.45158320358E8
AT ITER 6890 NEW BEST:: SOT 835184548 SOS 230028848 HAS SOPS 230028848 HAS SOUS 144926798 HAS SOUPS 144926798 WITH SCORE 1.45156826848E8
AT ITER 6901 NEW BEST:: SOT 835182916 SOS 230026400 HAS SOPS 230026400 HAS SOUS 144926798 HAS SOUPS 144926798 WITH SCORE 1.451568244E8
AT ITER 6904 NEW BEST:: SOT 835168376 SOS 230004590 HAS SOPS 230004590 HAS SOUS 144926798 HAS SOUPS 144926798 WITH SCORE 1.4515680259E8
AT ITER 6958 NEW BEST:: SOT 835160040 SOS 229992085 HAS SOPS 229992085 HAS SOUS 144926795 HAS SOUPS 144926795 WITH SCORE 1.45156787085E8
AT ITER 6969 NEW BEST:: SOT 835158085 SOS 229989809 HAS SOPS 229989809 HAS SOUS 144926474 HAS SOUPS 144926474 WITH SCORE 1.45156463809E8
AT ITER 6981 NEW BEST:: SOT 835151369 SOS 229979734 HAS SOPS 229979734 HAS SOUS 144926471 HAS SOUPS 144926471 WITH SCORE 1.45156450734E8
AT ITER 7013 NEW BEST:: SOT 835148046 SOS 229975993 HAS SOPS 229975993 HAS SOUS 144926465 HAS SOUPS 144926465 WITH SCORE 1.45156440993E8
AT ITER 7026 NEW BEST:: SOT 835139661 SOS 229965434 HAS SOPS 229965434 HAS SOUS 144924289 HAS SOUPS 144924289 WITH SCORE 1.45154254434E8
AT ITER 7041 NEW BEST:: SOT 835127489 SOS 229947176 HAS SOPS 229947176 HAS SOUS 144924289 HAS SOUPS 144924289 WITH SCORE 1.45154236176E8
AT ITER 7045 NEW BEST:: SOT 835116515 SOS 229933580 HAS SOPS 229933580 HAS SOUS 144921667 HAS SOUPS 144921667 WITH SCORE 1.4515160058E8
AT ITER 7073 NEW BEST:: SOT 835113575 SOS 229929169 HAS SOPS 229929169 HAS SOUS 144921664 HAS SOUPS 144921664 WITH SCORE 1.45151593169E8
AT ITER 7080 NEW BEST:: SOT 835101132 SOS 229915867 HAS SOPS 229915867 HAS SOUS 144921285 HAS SOUPS 144921285 WITH SCORE 1.45151200867E8
AT ITER 7088 NEW BEST:: SOT 835090811 SOS 229903358 HAS SOPS 229903358 HAS SOUS 144919095 HAS SOUPS 144919095 WITH SCORE 1.45148998358E8
AT ITER 7099 NEW BEST:: SOT 835084439 SOS 229894861 HAS SOPS 229894861 HAS SOUS 144916968 HAS SOUPS 144916968 WITH SCORE 1.45146862861E8
AT ITER 7109 NEW BEST:: SOT 835068916 SOS 229875480 HAS SOPS 229875480 HAS SOUS 144913108 HAS SOUPS 144913108 WITH SCORE 1.4514298348E8
AT ITER 7150 NEW BEST:: SOT 835068190 SOS 229874592 HAS SOPS 229874592 HAS SOUS 144912946 HAS SOUPS 144912946 WITH SCORE 1.45142820592E8
AT ITER 7162 NEW BEST:: SOT 835061764 SOS 229866023 HAS SOPS 229866023 HAS SOUS 144910801 HAS SOUPS 144910801 WITH SCORE 1.45140667023E8
AT ITER 7176 NEW BEST:: SOT 835057542 SOS 229859689 HAS SOPS 229859689 HAS SOUS 144910798 HAS SOUPS 144910798 WITH SCORE 1.45140657689E8
AT ITER 7191 NEW BEST:: SOT 835050218 SOS 229848703 HAS SOPS 229848703 HAS SOUS 144910798 HAS SOUPS 144910798 WITH SCORE 1.45140646703E8
AT ITER 7197 NEW BEST:: SOT 835041870 SOS 229834176 HAS SOPS 229834176 HAS SOUS 144904768 HAS SOUPS 144904768 WITH SCORE 1.45134602176E8
AT ITER 7203 NEW BEST:: SOT 835034594 SOS 229823261 HAS SOPS 229823261 HAS SOUS 144904765 HAS SOUPS 144904765 WITH SCORE 1.45134588261E8
AT ITER 7214 NEW BEST:: SOT 835026223 SOS 229812787 HAS SOPS 229812787 HAS SOUS 144902662 HAS SOUPS 144902662 WITH SCORE 1.45132474787E8
AT ITER 7216 NEW BEST:: SOT 835025011 SOS 229810969 HAS SOPS 229810969 HAS SOUS 144902662 HAS SOUPS 144902662 WITH SCORE 1.45132472969E8
AT ITER 7230 NEW BEST:: SOT 835013967 SOS 229798013 HAS SOPS 229798013 HAS SOUS 144901811 HAS SOUPS 144901811 WITH SCORE 1.45131609013E8
AT ITER 7237 NEW BEST:: SOT 835008097 SOS 229789208 HAS SOPS 229789208 HAS SOUS 144901811 HAS SOUPS 144901811 WITH SCORE 1.45131600208E8
AT ITER 7262 NEW BEST:: SOT 834995250 SOS 229769216 HAS SOPS 229769216 HAS SOUS 144887521 HAS SOUPS 144887521 WITH SCORE 1.45117290216E8
AT ITER 7280 NEW BEST:: SOT 834987645 SOS 229758174 HAS SOPS 229758174 HAS SOUS 144882280 HAS SOUPS 144882280 WITH SCORE 1.45112038174E8
AT ITER 7303 NEW BEST:: SOT 834980175 SOS 229748214 HAS SOPS 229748214 HAS SOUS 144879790 HAS SOUPS 144879790 WITH SCORE 1.45109538214E8
AT ITER 7311 NEW BEST:: SOT 834971618 SOS 229734999 HAS SOPS 229734999 HAS SOUS 144868479 HAS SOUPS 144868479 WITH SCORE 1.45098213999E8
AT ITER 7315 NEW BEST:: SOT 834963696 SOS 229721429 HAS SOPS 229721429 HAS SOUS 144863418 HAS SOUPS 144863418 WITH SCORE 1.45093139429E8
AT ITER 7333 NEW BEST:: SOT 834948780 SOS 229699055 HAS SOPS 229699055 HAS SOUS 144863418 HAS SOUPS 144863418 WITH SCORE 1.45093117055E8
AT ITER 7353 NEW BEST:: SOT 834940706 SOS 229686944 HAS SOPS 229686944 HAS SOUS 144863418 HAS SOUPS 144863418 WITH SCORE 1.45093104944E8
AT ITER 7355 NEW BEST:: SOT 834934841 SOS 229679560 HAS SOPS 229679560 HAS SOUS 144861899 HAS SOUPS 144861899 WITH SCORE 1.4509157856E8
AT ITER 7357 NEW BEST:: SOT 834930069 SOS 229674787 HAS SOPS 229674787 HAS SOUS 144861896 HAS SOUPS 144861896 WITH SCORE 1.45091570787E8
AT ITER 7392 NEW BEST:: SOT 834928461 SOS 229672643 HAS SOPS 229672643 HAS SOUS 144861360 HAS SOUPS 144861360 WITH SCORE 1.45091032643E8
AT ITER 7399 NEW BEST:: SOT 834921767 SOS 229662602 HAS SOPS 229662602 HAS SOUS 144861360 HAS SOUPS 144861360 WITH SCORE 1.45091022602E8
AT ITER 7406 NEW BEST:: SOT 834912174 SOS 229650585 HAS SOPS 229650585 HAS SOUS 144858934 HAS SOUPS 144858934 WITH SCORE 1.45088584585E8
AT ITER 7436 NEW BEST:: SOT 834906768 SOS 229646101 HAS SOPS 229646101 HAS SOUS 144858837 HAS SOUPS 144858837 WITH SCORE 1.45088483101E8
AT ITER 7545 NEW BEST:: SOT 834906768 SOS 229646100 HAS SOPS 229646100 HAS SOUS 144858834 HAS SOUPS 144858834 WITH SCORE 1.450884801E8
AT ITER 7548 NEW BEST:: SOT 834903498 SOS 229641739 HAS SOPS 229641739 HAS SOUS 144857741 HAS SOUPS 144857741 WITH SCORE 1.45087382739E8
AT ITER 7573 NEW BEST:: SOT 834896684 SOS 229631517 HAS SOPS 229631517 HAS SOUS 144857738 HAS SOUPS 144857738 WITH SCORE 1.45087369517E8
AT ITER 7575 NEW BEST:: SOT 834888630 SOS 229619435 HAS SOPS 229619435 HAS SOUS 144857735 HAS SOUPS 144857735 WITH SCORE 1.45087354435E8
AT ITER 7658 NEW BEST:: SOT 834881554 SOS 229608744 HAS SOPS 229608744 HAS SOUS 144857504 HAS SOUPS 144857504 WITH SCORE 1.45087112744E8
AT ITER 7661 NEW BEST:: SOT 834877081 SOS 229604958 HAS SOPS 229604958 HAS SOUS 144857504 HAS SOUPS 144857504 WITH SCORE 1.45087108958E8
AT ITER 7667 NEW BEST:: SOT 834877081 SOS 229604957 HAS SOPS 229604957 HAS SOUS 144857501 HAS SOUPS 144857501 WITH SCORE 1.45087105957E8
AT ITER 7672 NEW BEST:: SOT 834870927 SOS 229597228 HAS SOPS 229597228 HAS SOUS 144855924 HAS SOUPS 144855924 WITH SCORE 1.45085521228E8
AT ITER 7685 NEW BEST:: SOT 834864041 SOS 229586899 HAS SOPS 229586899 HAS SOUS 144855924 HAS SOUPS 144855924 WITH SCORE 1.45085510899E8
AT ITER 7736 NEW BEST:: SOT 834848762 SOS 229562014 HAS SOPS 229562014 HAS SOUS 144848130 HAS SOUPS 144848130 WITH SCORE 1.45077692014E8
AT ITER 7750 NEW BEST:: SOT 834842332 SOS 229553536 HAS SOPS 229553536 HAS SOUS 144846082 HAS SOUPS 144846082 WITH SCORE 1.45075635536E8
AT ITER 7771 NEW BEST:: SOT 834836889 SOS 229547068 HAS SOPS 229547068 HAS SOUS 144845530 HAS SOUPS 144845530 WITH SCORE 1.45075077068E8
AT ITER 7799 NEW BEST:: SOT 834831585 SOS 229540515 HAS SOPS 229540515 HAS SOUS 144844279 HAS SOUPS 144844279 WITH SCORE 1.45073819515E8
AT ITER 7816 NEW BEST:: SOT 834823752 SOS 229530071 HAS SOPS 229530071 HAS SOUS 144841668 HAS SOUPS 144841668 WITH SCORE 1.45071198071E8
AT ITER 7827 NEW BEST:: SOT 834822114 SOS 229527886 HAS SOPS 229527886 HAS SOUS 144841119 HAS SOUPS 144841119 WITH SCORE 1.45070646886E8
AT ITER 7839 NEW BEST:: SOT 834812560 SOS 229517095 HAS SOPS 229517095 HAS SOUS 144840260 HAS SOUPS 144840260 WITH SCORE 1.45069777095E8
AT ITER 7841 NEW BEST:: SOT 834811562 SOS 229515099 HAS SOPS 229515099 HAS SOUS 144839262 HAS SOUPS 144839262 WITH SCORE 1.45068777099E8
AT ITER 7861 NEW BEST:: SOT 834800426 SOS 229501489 HAS SOPS 229501489 HAS SOUS 144836788 HAS SOUPS 144836788 WITH SCORE 1.45066289489E8
AT ITER 7862 NEW BEST:: SOT 834789397 SOS 229487583 HAS SOPS 229487583 HAS SOUS 144834390 HAS SOUPS 144834390 WITH SCORE 1.45063877583E8
AT ITER 7888 NEW BEST:: SOT 834780823 SOS 229474722 HAS SOPS 229474722 HAS SOUS 144834390 HAS SOUPS 144834390 WITH SCORE 1.45063864722E8
AT ITER 7916 NEW BEST:: SOT 834769798 SOS 229460925 HAS SOPS 229460925 HAS SOUS 144831616 HAS SOUPS 144831616 WITH SCORE 1.45061076925E8
AT ITER 7922 NEW BEST:: SOT 834759282 SOS 229449050 HAS SOPS 229449050 HAS SOUS 144831543 HAS SOUPS 144831543 WITH SCORE 1.4506099205E8
AT ITER 7951 NEW BEST:: SOT 834744174 SOS 229426387 HAS SOPS 229426387 HAS SOUS 144831540 HAS SOUPS 144831540 WITH SCORE 1.45060966387E8
AT ITER 7968 NEW BEST:: SOT 834736086 SOS 229416313 HAS SOPS 229416313 HAS SOUS 144829560 HAS SOUPS 144829560 WITH SCORE 1.45058976313E8
AT ITER 7975 NEW BEST:: SOT 834726806 SOS 229402392 HAS SOPS 229402392 HAS SOUS 144829557 HAS SOUPS 144829557 WITH SCORE 1.45058959392E8
AT ITER 7982 NEW BEST:: SOT 834715746 SOS 229385802 HAS SOPS 229385802 HAS SOUS 144829557 HAS SOUPS 144829557 WITH SCORE 1.45058942802E8
AT ITER 7983 NEW BEST:: SOT 834711014 SOS 229378704 HAS SOPS 229378704 HAS SOUS 144829557 HAS SOUPS 144829557 WITH SCORE 1.45058935704E8
AT ITER 8001 NEW BEST:: SOT 834699666 SOS 229364263 HAS SOPS 229364263 HAS SOUS 144826876 HAS SOUPS 144826876 WITH SCORE 1.45056240263E8
AT ITER 8009 NEW BEST:: SOT 834689558 SOS 229351065 HAS SOPS 229351065 HAS SOUS 144823953 HAS SOUPS 144823953 WITH SCORE 1.45053304065E8
AT ITER 8011 NEW BEST:: SOT 834679852 SOS 229336506 HAS SOPS 229336506 HAS SOUS 144823953 HAS SOUPS 144823953 WITH SCORE 1.45053289506E8
AT ITER 8019 NEW BEST:: SOT 834679591 SOS 229336158 HAS SOPS 229336158 HAS SOUS 144823866 HAS SOUPS 144823866 WITH SCORE 1.45053202158E8
AT ITER 8044 NEW BEST:: SOT 834673000 SOS 229329172 HAS SOPS 229329172 HAS SOUS 144823471 HAS SOUPS 144823471 WITH SCORE 1.45052800172E8
AT ITER 8070 NEW BEST:: SOT 834662456 SOS 229317515 HAS SOPS 229317515 HAS SOUS 144821004 HAS SOUPS 144821004 WITH SCORE 1.45050321515E8
AT ITER 8078 NEW BEST:: SOT 834654508 SOS 229305592 HAS SOPS 229305592 HAS SOUS 144821001 HAS SOUPS 144821001 WITH SCORE 1.45050306592E8
AT ITER 8098 NEW BEST:: SOT 834643739 SOS 229292155 HAS SOPS 229292155 HAS SOUS 144818331 HAS SOUPS 144818331 WITH SCORE 1.45047623155E8
AT ITER 8102 NEW BEST:: SOT 834643471 SOS 229291619 HAS SOPS 229291619 HAS SOUS 144818063 HAS SOUPS 144818063 WITH SCORE 1.45047354619E8
AT ITER 8105 NEW BEST:: SOT 834638895 SOS 229284755 HAS SOPS 229284755 HAS SOUS 144818063 HAS SOUPS 144818063 WITH SCORE 1.45047347755E8
AT ITER 8108 NEW BEST:: SOT 834630241 SOS 229273958 HAS SOPS 229273958 HAS SOUS 144815918 HAS SOUPS 144815918 WITH SCORE 1.45045191958E8
AT ITER 8116 NEW BEST:: SOT 834616571 SOS 229256747 HAS SOPS 229256747 HAS SOUS 144812375 HAS SOUPS 144812375 WITH SCORE 1.45041631747E8
AT ITER 8117 NEW BEST:: SOT 834609790 SOS 229251360 HAS SOPS 229251360 HAS SOUS 144812062 HAS SOUPS 144812062 WITH SCORE 1.4504131336E8
AT ITER 8118 NEW BEST:: SOT 834607954 SOS 229248911 HAS SOPS 229248911 HAS SOUS 144811447 HAS SOUPS 144811447 WITH SCORE 1.45040695911E8
AT ITER 8141 NEW BEST:: SOT 834598486 SOS 229234913 HAS SOPS 229234913 HAS SOUS 144800248 HAS SOUPS 144800248 WITH SCORE 1.45029482913E8
AT ITER 8161 NEW BEST:: SOT 834593392 SOS 229227271 HAS SOPS 229227271 HAS SOUS 144800245 HAS SOUPS 144800245 WITH SCORE 1.45029472271E8
AT ITER 8169 NEW BEST:: SOT 834582325 SOS 229213748 HAS SOPS 229213748 HAS SOUS 144797787 HAS SOUPS 144797787 WITH SCORE 1.45027000748E8
AT ITER 8179 NEW BEST:: SOT 834572413 SOS 229198880 HAS SOPS 229198880 HAS SOUS 144797787 HAS SOUPS 144797787 WITH SCORE 1.4502698588E8
AT ITER 8181 NEW BEST:: SOT 834568375 SOS 229192822 HAS SOPS 229192822 HAS SOUS 144797784 HAS SOUPS 144797784 WITH SCORE 1.45026976822E8
AT ITER 8184 NEW BEST:: SOT 834558781 SOS 229177821 HAS SOPS 229177821 HAS SOUS 144786973 HAS SOUPS 144786973 WITH SCORE 1.45016150821E8
AT ITER 8190 NEW BEST:: SOT 834548062 SOS 229164529 HAS SOPS 229164529 HAS SOUS 144784400 HAS SOUPS 144784400 WITH SCORE 1.45013564529E8
AT ITER 8236 NEW BEST:: SOT 834540050 SOS 229152511 HAS SOPS 229152511 HAS SOUS 144784400 HAS SOUPS 144784400 WITH SCORE 1.45013552511E8
AT ITER 8238 NEW BEST:: SOT 834528960 SOS 229135875 HAS SOPS 229135875 HAS SOUS 144784397 HAS SOUPS 144784397 WITH SCORE 1.45013532875E8
AT ITER 8248 NEW BEST:: SOT 834527961 SOS 229134543 HAS SOPS 229134543 HAS SOUS 144784064 HAS SOUPS 144784064 WITH SCORE 1.45013198543E8
AT ITER 8251 NEW BEST:: SOT 834518223 SOS 229119936 HAS SOPS 229119936 HAS SOUS 144784064 HAS SOUPS 144784064 WITH SCORE 1.45013183936E8
AT ITER 8266 NEW BEST:: SOT 834514279 SOS 229114020 HAS SOPS 229114020 HAS SOUS 144784064 HAS SOUPS 144784064 WITH SCORE 1.4501317802E8
AT ITER 8291 NEW BEST:: SOT 834503983 SOS 229102081 HAS SOPS 229102081 HAS SOUS 144780488 HAS SOUPS 144780488 WITH SCORE 1.45009590081E8
AT ITER 8323 NEW BEST:: SOT 834493481 SOS 229087380 HAS SOPS 229087380 HAS SOUS 144773355 HAS SOUPS 144773355 WITH SCORE 1.4500244238E8
AT ITER 8324 NEW BEST:: SOT 834491816 SOS 229085160 HAS SOPS 229085160 HAS SOUS 144772800 HAS SOUPS 144772800 WITH SCORE 1.4500188516E8
AT ITER 8329 NEW BEST:: SOT 834481962 SOS 229070378 HAS SOPS 229070378 HAS SOUS 144772797 HAS SOUPS 144772797 WITH SCORE 1.45001867378E8
AT ITER 8348 NEW BEST:: SOT 834472656 SOS 229057969 HAS SOPS 229057969 HAS SOUS 144769692 HAS SOUPS 144769692 WITH SCORE 1.44998749969E8
AT ITER 8358 NEW BEST:: SOT 834462862 SOS 229043277 HAS SOPS 229043277 HAS SOUS 144769689 HAS SOUPS 144769689 WITH SCORE 1.44998732277E8
AT ITER 8376 NEW BEST:: SOT 834454860 SOS 229031273 HAS SOPS 229031273 HAS SOUS 144769686 HAS SOUPS 144769686 WITH SCORE 1.44998717273E8
AT ITER 8381 NEW BEST:: SOT 834449704 SOS 229021566 HAS SOPS 229021566 HAS SOUS 144763767 HAS SOUPS 144763767 WITH SCORE 1.44992788566E8
AT ITER 8395 NEW BEST:: SOT 834446101 SOS 229016761 HAS SOPS 229016761 HAS SOUS 144762563 HAS SOUPS 144762563 WITH SCORE 1.44991579761E8
AT ITER 8415 NEW BEST:: SOT 834439203 SOS 229006413 HAS SOPS 229006413 HAS SOUS 144762560 HAS SOUPS 144762560 WITH SCORE 1.44991566413E8
AT ITER 8421 NEW BEST:: SOT 834429255 SOS 228991490 HAS SOPS 228991490 HAS SOUS 144762557 HAS SOUPS 144762557 WITH SCORE 1.4499154849E8
AT ITER 8426 NEW BEST:: SOT 834427575 SOS 228989809 HAS SOPS 228989809 HAS SOUS 144762555 HAS SOUPS 144762555 WITH SCORE 1.44991544809E8
AT ITER 8447 NEW BEST:: SOT 834417234 SOS 228977654 HAS SOPS 228977654 HAS SOUS 144761719 HAS SOUPS 144761719 WITH SCORE 1.44990696654E8
AT ITER 8450 NEW BEST:: SOT 834404212 SOS 228962876 HAS SOPS 228962876 HAS SOUS 144760267 HAS SOUPS 144760267 WITH SCORE 1.44989229876E8
AT ITER 8469 NEW BEST:: SOT 834395826 SOS 228950296 HAS SOPS 228950296 HAS SOUS 144760264 HAS SOUPS 144760264 WITH SCORE 1.44989214296E8
AT ITER 8472 NEW BEST:: SOT 834385372 SOS 228936480 HAS SOPS 228936480 HAS SOUS 144756975 HAS SOUPS 144756975 WITH SCORE 1.4498591148E8
AT ITER 8476 NEW BEST:: SOT 834374869 SOS 228925429 HAS SOPS 228925429 HAS SOUS 144756822 HAS SOUPS 144756822 WITH SCORE 1.44985747429E8
AT ITER 8484 NEW BEST:: SOT 834363971 SOS 228905365 HAS SOPS 228905365 HAS SOUS 144745218 HAS SOUPS 144745218 WITH SCORE 1.44974123365E8
AT ITER 8509 NEW BEST:: SOT 834360945 SOS 228900825 HAS SOPS 228900825 HAS SOUS 144745215 HAS SOUPS 144745215 WITH SCORE 1.44974115825E8
AT ITER 8521 NEW BEST:: SOT 834352141 SOS 228883460 HAS SOPS 228883460 HAS SOUS 144732738 HAS SOUPS 144732738 WITH SCORE 1.4496162146E8
AT ITER 8557 NEW BEST:: SOT 834349391 SOS 228879334 HAS SOPS 228879334 HAS SOUS 144732735 HAS SOUPS 144732735 WITH SCORE 1.44961614334E8
AT ITER 8585 NEW BEST:: SOT 834347962 SOS 228877598 HAS SOPS 228877598 HAS SOUS 144732428 HAS SOUPS 144732428 WITH SCORE 1.44961305598E8
AT ITER 8594 NEW BEST:: SOT 834343537 SOS 228871697 HAS SOPS 228871697 HAS SOUS 144730950 HAS SOUPS 144730950 WITH SCORE 1.44959821697E8
AT ITER 8605 NEW BEST:: SOT 834335660 SOS 228856796 HAS SOPS 228856796 HAS SOUS 144719822 HAS SOUPS 144719822 WITH SCORE 1.44948678796E8
AT ITER 8609 NEW BEST:: SOT 834326409 SOS 228846231 HAS SOPS 228846231 HAS SOUS 144719568 HAS SOUPS 144719568 WITH SCORE 1.44948414231E8
AT ITER 8632 NEW BEST:: SOT 834317095 SOS 228834839 HAS SOPS 228834839 HAS SOUS 144717490 HAS SOUPS 144717490 WITH SCORE 1.44946324839E8
AT ITER 8633 NEW BEST:: SOT 834312899 SOS 228828544 HAS SOPS 228828544 HAS SOUS 144717487 HAS SOUPS 144717487 WITH SCORE 1.44946315544E8
AT ITER 8649 NEW BEST:: SOT 834304173 SOS 228815454 HAS SOPS 228815454 HAS SOUS 144717484 HAS SOUPS 144717484 WITH SCORE 1.44946299454E8
AT ITER 8652 NEW BEST:: SOT 834298236 SOS 228807537 HAS SOPS 228807537 HAS SOUS 144715502 HAS SOUPS 144715502 WITH SCORE 1.44944309537E8
AT ITER 8670 NEW BEST:: SOT 834282986 SOS 228784662 HAS SOPS 228784662 HAS SOUS 144715502 HAS SOUPS 144715502 WITH SCORE 1.44944286662E8
AT ITER 8673 NEW BEST:: SOT 834276046 SOS 228776090 HAS SOPS 228776090 HAS SOUS 144713870 HAS SOUPS 144713870 WITH SCORE 1.4494264609E8
AT ITER 8687 NEW BEST:: SOT 834270234 SOS 228770277 HAS SOPS 228770277 HAS SOUS 144713868 HAS SOUPS 144713868 WITH SCORE 1.44942638277E8
AT ITER 8691 NEW BEST:: SOT 834257947 SOS 228754802 HAS SOPS 228754802 HAS SOUS 144710678 HAS SOUPS 144710678 WITH SCORE 1.44939432802E8
AT ITER 8694 NEW BEST:: SOT 834247179 SOS 228738649 HAS SOPS 228738649 HAS SOUS 144710675 HAS SOUPS 144710675 WITH SCORE 1.44939413649E8
AT ITER 8697 NEW BEST:: SOT 834242642 SOS 228733058 HAS SOPS 228733058 HAS SOUS 144709619 HAS SOUPS 144709619 WITH SCORE 1.44938352058E8
AT ITER 8700 NEW BEST:: SOT 834233874 SOS 228719905 HAS SOPS 228719905 HAS SOUS 144709616 HAS SOUPS 144709616 WITH SCORE 1.44938335905E8
AT ITER 8702 NEW BEST:: SOT 834231234 SOS 228715945 HAS SOPS 228715945 HAS SOUS 144709616 HAS SOUPS 144709616 WITH SCORE 1.44938331945E8
AT ITER 8722 NEW BEST:: SOT 834225704 SOS 228709922 HAS SOPS 228709922 HAS SOUS 144709288 HAS SOUPS 144709288 WITH SCORE 1.44937997922E8
AT ITER 8723 NEW BEST:: SOT 834216954 SOS 228696797 HAS SOPS 228696797 HAS SOUS 144709288 HAS SOUPS 144709288 WITH SCORE 1.44937984797E8
AT ITER 8726 NEW BEST:: SOT 834207938 SOS 228683272 HAS SOPS 228683272 HAS SOUS 144709285 HAS SOUPS 144709285 WITH SCORE 1.44937968272E8
AT ITER 8727 NEW BEST:: SOT 834204209 SOS 228678300 HAS SOPS 228678300 HAS SOUS 144708042 HAS SOUPS 144708042 WITH SCORE 1.449367203E8
AT ITER 8735 NEW BEST:: SOT 834189973 SOS 228656945 HAS SOPS 228656945 HAS SOUS 144708039 HAS SOUPS 144708039 WITH SCORE 1.44936695945E8
AT ITER 8741 NEW BEST:: SOT 834179903 SOS 228641839 HAS SOPS 228641839 HAS SOUS 144708036 HAS SOUPS 144708036 WITH SCORE 1.44936677839E8
AT ITER 8775 NEW BEST:: SOT 834168804 SOS 228628262 HAS SOPS 228628262 HAS SOUS 144705556 HAS SOUPS 144705556 WITH SCORE 1.44934184262E8
AT ITER 8804 NEW BEST:: SOT 834157578 SOS 228615835 HAS SOPS 228615835 HAS SOUS 144704647 HAS SOUPS 144704647 WITH SCORE 1.44933262835E8
AT ITER 8821 NEW BEST:: SOT 834157270 SOS 228615372 HAS SOPS 228615372 HAS SOUS 144704644 HAS SOUPS 144704644 WITH SCORE 1.44933259372E8
AT ITER 8844 NEW BEST:: SOT 834144260 SOS 228595857 HAS SOPS 228595857 HAS SOUS 144704644 HAS SOUPS 144704644 WITH SCORE 1.44933239857E8
AT ITER 8848 NEW BEST:: SOT 834137537 SOS 228587424 HAS SOPS 228587424 HAS SOUS 144702932 HAS SOUPS 144702932 WITH SCORE 1.44931519424E8
AT ITER 8873 NEW BEST:: SOT 834128437 SOS 228575610 HAS SOPS 228575610 HAS SOUS 144700409 HAS SOUPS 144700409 WITH SCORE 1.4492898461E8
AT ITER 8899 NEW BEST:: SOT 834123791 SOS 228568641 HAS SOPS 228568641 HAS SOUS 144700409 HAS SOUPS 144700409 WITH SCORE 1.44928977641E8
AT ITER 8992 NEW BEST:: SOT 834122475 SOS 228566666 HAS SOPS 228566666 HAS SOUS 144700406 HAS SOUPS 144700406 WITH SCORE 1.44928972666E8
AT ITER 9020 NEW BEST:: SOT 834118867 SOS 228562170 HAS SOPS 228562170 HAS SOUS 144699518 HAS SOUPS 144699518 WITH SCORE 1.4492808017E8
AT ITER 9051 NEW BEST:: SOT 834111951 SOS 228551796 HAS SOPS 228551796 HAS SOUS 144699518 HAS SOUPS 144699518 WITH SCORE 1.44928069796E8
AT ITER 9087 NEW BEST:: SOT 834110474 SOS 228548842 HAS SOPS 228548842 HAS SOUS 144697303 HAS SOUPS 144697303 WITH SCORE 1.44925851842E8
AT ITER 9097 NEW BEST:: SOT 834106902 SOS 228543483 HAS SOPS 228543483 HAS SOUS 144697300 HAS SOUPS 144697300 WITH SCORE 1.44925843483E8
AT ITER 9102 NEW BEST:: SOT 834104223 SOS 228539911 HAS SOPS 228539911 HAS SOUS 144696407 HAS SOUPS 144696407 WITH SCORE 1.44924946911E8
AT ITER 9105 NEW BEST:: SOT 834094513 SOS 228528317 HAS SOPS 228528317 HAS SOUS 144695334 HAS SOUPS 144695334 WITH SCORE 1.44923862317E8
AT ITER 9146 NEW BEST:: SOT 834081905 SOS 228512377 HAS SOPS 228512377 HAS SOUS 144692002 HAS SOUPS 144692002 WITH SCORE 1.44920514377E8
AT ITER 9162 NEW BEST:: SOT 834081463 SOS 228511714 HAS SOPS 228511714 HAS SOUS 144692002 HAS SOUPS 144692002 WITH SCORE 1.44920513714E8
AT ITER 9164 NEW BEST:: SOT 834073793 SOS 228500209 HAS SOPS 228500209 HAS SOUS 144692002 HAS SOUPS 144692002 WITH SCORE 1.44920502209E8
AT ITER 9170 NEW BEST:: SOT 834063971 SOS 228485476 HAS SOPS 228485476 HAS SOUS 144692002 HAS SOUPS 144692002 WITH SCORE 1.44920487476E8
AT ITER 9175 NEW BEST:: SOT 834058415 SOS 228477142 HAS SOPS 228477142 HAS SOUS 144692002 HAS SOUPS 144692002 WITH SCORE 1.44920479142E8
AT ITER 9185 NEW BEST:: SOT 834049029 SOS 228463062 HAS SOPS 228463062 HAS SOUS 144691999 HAS SOUPS 144691999 WITH SCORE 1.44920462062E8
AT ITER 9228 NEW BEST:: SOT 834037590 SOS 228445783 HAS SOPS 228445783 HAS SOUS 144679934 HAS SOUPS 144679934 WITH SCORE 1.44908379783E8
AT ITER 9293 NEW BEST:: SOT 834026327 SOS 228427266 HAS SOPS 228427266 HAS SOUS 144665120 HAS SOUPS 144665120 WITH SCORE 1.44893547266E8
AT ITER 9309 NEW BEST:: SOT 834015017 SOS 228414715 HAS SOPS 228414715 HAS SOUS 144663877 HAS SOUPS 144663877 WITH SCORE 1.44892291715E8
AT ITER 9315 NEW BEST:: SOT 834005447 SOS 228400360 HAS SOPS 228400360 HAS SOUS 144663877 HAS SOUPS 144663877 WITH SCORE 1.4489227736E8
AT ITER 9324 NEW BEST:: SOT 834002070 SOS 228395917 HAS SOPS 228395917 HAS SOUS 144662845 HAS SOUPS 144662845 WITH SCORE 1.44891240917E8
AT ITER 9327 NEW BEST:: SOT 833990459 SOS 228377928 HAS SOPS 228377928 HAS SOUS 144650089 HAS SOUPS 144650089 WITH SCORE 1.44878466928E8
AT ITER 9351 NEW BEST:: SOT 833987894 SOS 228374729 HAS SOPS 228374729 HAS SOUS 144649453 HAS SOUPS 144649453 WITH SCORE 1.44877827729E8
AT ITER 9375 NEW BEST:: SOT 833987682 SOS 228374305 HAS SOPS 228374305 HAS SOUS 144649241 HAS SOUPS 144649241 WITH SCORE 1.44877615305E8
AT ITER 9430 NEW BEST:: SOT 833982758 SOS 228366918 HAS SOPS 228366918 HAS SOUS 144649238 HAS SOUPS 144649238 WITH SCORE 1.44877604918E8
AT ITER 9436 NEW BEST:: SOT 833973972 SOS 228352510 HAS SOPS 228352510 HAS SOUS 144637994 HAS SOUPS 144637994 WITH SCORE 1.4486634651E8
AT ITER 9491 NEW BEST:: SOT 833972760 SOS 228350930 HAS SOPS 228350930 HAS SOUS 144637647 HAS SOUPS 144637647 WITH SCORE 1.4486599793E8
AT ITER 9556 NEW BEST:: SOT 833961312 SOS 228336865 HAS SOPS 228336865 HAS SOUS 144635028 HAS SOUPS 144635028 WITH SCORE 1.44863364865E8
AT ITER 9573 NEW BEST:: SOT 833952017 SOS 228320519 HAS SOPS 228320519 HAS SOUS 144627388 HAS SOUPS 144627388 WITH SCORE 1.44855708519E8
AT ITER 9575 NEW BEST:: SOT 833944045 SOS 228312546 HAS SOPS 228312546 HAS SOUS 144627385 HAS SOUPS 144627385 WITH SCORE 1.44855697546E8
AT ITER 9626 NEW BEST:: SOT 833936564 SOS 228303714 HAS SOPS 228303714 HAS SOUS 144626719 HAS SOUPS 144626719 WITH SCORE 1.44855022714E8
AT ITER 9636 NEW BEST:: SOT 833929890 SOS 228294968 HAS SOPS 228294968 HAS SOUS 144624647 HAS SOUPS 144624647 WITH SCORE 1.44852941968E8
AT ITER 9650 NEW BEST:: SOT 833917086 SOS 228275761 HAS SOPS 228275761 HAS SOUS 144624644 HAS SOUPS 144624644 WITH SCORE 1.44852919761E8
AT ITER 9656 NEW BEST:: SOT 833915245 SOS 228273967 HAS SOPS 228273967 HAS SOUS 144624644 HAS SOUPS 144624644 WITH SCORE 1.44852917967E8
AT ITER 9664 NEW BEST:: SOT 833913939 SOS 228271355 HAS SOPS 228271355 HAS SOUS 144623338 HAS SOUPS 144623338 WITH SCORE 1.44851609355E8
AT ITER 9678 NEW BEST:: SOT 833910741 SOS 228266558 HAS SOPS 228266558 HAS SOUS 144623338 HAS SOUPS 144623338 WITH SCORE 1.44851604558E8
AT ITER 9679 NEW BEST:: SOT 833901558 SOS 228255117 HAS SOPS 228255117 HAS SOUS 144621078 HAS SOUPS 144621078 WITH SCORE 1.44849333117E8
AT ITER 9708 NEW BEST:: SOT 833887767 SOS 228240058 HAS SOPS 228240058 HAS SOUS 144620299 HAS SOUPS 144620299 WITH SCORE 1.44848539058E8
AT ITER 9714 NEW BEST:: SOT 833882796 SOS 228233429 HAS SOPS 228233429 HAS SOUS 144618639 HAS SOUPS 144618639 WITH SCORE 1.44846872429E8
AT ITER 9716 NEW BEST:: SOT 833873833 SOS 228222343 HAS SOPS 228222343 HAS SOUS 144616516 HAS SOUPS 144616516 WITH SCORE 1.44844738343E8
AT ITER 9721 NEW BEST:: SOT 833867905 SOS 228213451 HAS SOPS 228213451 HAS SOUS 144616516 HAS SOUPS 144616516 WITH SCORE 1.44844729451E8
AT ITER 9726 NEW BEST:: SOT 833856730 SOS 228198636 HAS SOPS 228198636 HAS SOUS 144612874 HAS SOUPS 144612874 WITH SCORE 1.44841072636E8
AT ITER 9730 NEW BEST:: SOT 833850957 SOS 228192165 HAS SOPS 228192165 HAS SOUS 144612310 HAS SOUPS 144612310 WITH SCORE 1.44840502165E8
AT ITER 9732 NEW BEST:: SOT 833848152 SOS 228188425 HAS SOPS 228188425 HAS SOUS 144611375 HAS SOUPS 144611375 WITH SCORE 1.44839563425E8
AT ITER 9736 NEW BEST:: SOT 833841050 SOS 228175812 HAS SOPS 228175812 HAS SOUS 144605495 HAS SOUPS 144605495 WITH SCORE 1.44833670812E8
AT ITER 9743 NEW BEST:: SOT 833836187 SOS 228169650 HAS SOPS 228169650 HAS SOUS 144604196 HAS SOUPS 144604196 WITH SCORE 1.4483236565E8
AT ITER 9757 NEW BEST:: SOT 833828289 SOS 228159139 HAS SOPS 228159139 HAS SOUS 144601593 HAS SOUPS 144601593 WITH SCORE 1.44829752139E8
AT ITER 9782 NEW BEST:: SOT 833814952 SOS 228143653 HAS SOPS 228143653 HAS SOUS 144599676 HAS SOUPS 144599676 WITH SCORE 1.44827819653E8
AT ITER 9786 NEW BEST:: SOT 833804338 SOS 228127731 HAS SOPS 228127731 HAS SOUS 144599673 HAS SOUPS 144599673 WITH SCORE 1.44827800731E8
AT ITER 9805 NEW BEST:: SOT 833794257 SOS 228114416 HAS SOPS 228114416 HAS SOUS 144596513 HAS SOUPS 144596513 WITH SCORE 1.44824627416E8
AT ITER 9807 NEW BEST:: SOT 833784195 SOS 228099323 HAS SOPS 228099323 HAS SOUS 144596513 HAS SOUPS 144596513 WITH SCORE 1.44824612323E8
AT ITER 9814 NEW BEST:: SOT 833781834 SOS 228096175 HAS SOPS 228096175 HAS SOUS 144595726 HAS SOUPS 144595726 WITH SCORE 1.44823822175E8
AT ITER 9828 NEW BEST:: SOT 833778246 SOS 228091390 HAS SOPS 228091390 HAS SOUS 144594527 HAS SOUPS 144594527 WITH SCORE 1.4482261839E8
AT ITER 9850 NEW BEST:: SOT 833763782 SOS 228073227 HAS SOPS 228073227 HAS SOUS 144590826 HAS SOUPS 144590826 WITH SCORE 1.44818899227E8
AT ITER 9858 NEW BEST:: SOT 833753380 SOS 228057623 HAS SOPS 228057623 HAS SOUS 144590823 HAS SOUPS 144590823 WITH SCORE 1.44818880623E8
AT ITER 9864 NEW BEST:: SOT 833750248 SOS 228052925 HAS SOPS 228052925 HAS SOUS 144590823 HAS SOUPS 144590823 WITH SCORE 1.44818875925E8
AT ITER 9909 NEW BEST:: SOT 833736884 SOS 228032879 HAS SOPS 228032879 HAS SOUS 144590823 HAS SOUPS 144590823 WITH SCORE 1.44818855879E8
AT ITER 9914 NEW BEST:: SOT 833732155 SOS 228027450 HAS SOPS 228027450 HAS SOUS 144590647 HAS SOUPS 144590647 WITH SCORE 1.4481867445E8
AT ITER 9929 NEW BEST:: SOT 833722697 SOS 228013262 HAS SOPS 228013262 HAS SOUS 144590644 HAS SOUPS 144590644 WITH SCORE 1.44818657262E8
AT ITER 9958 NEW BEST:: SOT 833712301 SOS 227997668 HAS SOPS 227997668 HAS SOUS 144590644 HAS SOUPS 144590644 WITH SCORE 1.44818641668E8
AT ITER 9964 NEW BEST:: SOT 833705221 SOS 227990042 HAS SOPS 227990042 HAS SOUS 144590380 HAS SOUPS 144590380 WITH SCORE 1.44818370042E8
AT ITER 9989 NEW BEST:: SOT 833694045 SOS 227973278 HAS SOPS 227973278 HAS SOUS 144590380 HAS SOUPS 144590380 WITH SCORE 1.44818353278E8
AT ITER 9993 NEW BEST:: SOT 833680599 SOS 227953108 HAS SOPS 227953108 HAS SOUS 144590377 HAS SOUPS 144590377 WITH SCORE 1.44818330108E8

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-S02D1C1A12"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S02D1C1A12.tgz
mv ViralEpidemic-PT-S02D1C1A12 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;