About the Execution of smart for ViralEpidemic-PT-S08D1C2A04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.110 | 3600000.00 | 3596039.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033539000564.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-S08D1C2A04, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033539000564
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 54M
-rw-r--r-- 1 mcc users 3.8K May 14 05:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 05:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 23:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 23:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.2K May 13 16:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 16:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 12:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 12:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 54M May 12 20:42 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590475971957
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A04
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 46811 places, 79577 transitions, 191921 arcs.
AT ITER 0 NEW BEST:: SOT -1993024553 SOS 1781676493 HAS SOPS 1781676493 HAS SOUS 290401190 HAS SOUPS 290401190 WITH SCORE 2.92182866493E8
AT ITER 2 NEW BEST:: SOT -1993039013 SOS 1781611423 HAS SOPS 1781611423 HAS SOUS 290401190 HAS SOUPS 290401190 WITH SCORE 2.92182801423E8
AT ITER 3 NEW BEST:: SOT -1993047035 SOS 1781575324 HAS SOPS 1781575324 HAS SOUS 290401190 HAS SOUPS 290401190 WITH SCORE 2.92182765324E8
AT ITER 19 NEW BEST:: SOT -1993109129 SOS 1781295901 HAS SOPS 1781295901 HAS SOUS 290401190 HAS SOUPS 290401190 WITH SCORE 2.92182485901E8
AT ITER 31 NEW BEST:: SOT -1993150353 SOS 1781110386 HAS SOPS 1781110386 HAS SOUS 290401181 HAS SOUPS 290401181 WITH SCORE 2.92182291386E8
AT ITER 39 NEW BEST:: SOT -1993174719 SOS 1781000737 HAS SOPS 1781000737 HAS SOUS 290401179 HAS SOUPS 290401179 WITH SCORE 2.92182179737E8
AT ITER 66 NEW BEST:: SOT -1993185396 SOS 1780965143 HAS SOPS 1780965143 HAS SOUS 290397616 HAS SOUPS 290397616 WITH SCORE 2.92178581143E8
AT ITER 74 NEW BEST:: SOT -1993222016 SOS 1780800346 HAS SOPS 1780800346 HAS SOUS 290397607 HAS SOUPS 290397607 WITH SCORE 2.92178407346E8
AT ITER 76 NEW BEST:: SOT -1993253418 SOS 1780659031 HAS SOPS 1780659031 HAS SOUS 290397601 HAS SOUPS 290397601 WITH SCORE 2.92178260031E8
AT ITER 88 NEW BEST:: SOT -1993313730 SOS 1780387625 HAS SOPS 1780387625 HAS SOUS 290397599 HAS SOUPS 290397599 WITH SCORE 2.92177986625E8
AT ITER 90 NEW BEST:: SOT -1993339620 SOS 1780271117 HAS SOPS 1780271117 HAS SOUS 290397596 HAS SOUPS 290397596 WITH SCORE 2.92177867117E8
AT ITER 100 NEW BEST:: SOT -1993373052 SOS 1780120666 HAS SOPS 1780120666 HAS SOUS 290397587 HAS SOUPS 290397587 WITH SCORE 2.92177707666E8
AT ITER 125 NEW BEST:: SOT -1993423332 SOS 1779894400 HAS SOPS 1779894400 HAS SOUS 290397581 HAS SOUPS 290397581 WITH SCORE 2.921774754E8
AT ITER 126 NEW BEST:: SOT -1993432022 SOS 1779855288 HAS SOPS 1779855288 HAS SOUS 290397572 HAS SOUPS 290397572 WITH SCORE 2.92177427288E8
AT ITER 134 NEW BEST:: SOT -1993442930 SOS 1779806197 HAS SOPS 1779806197 HAS SOUS 290397567 HAS SOUPS 290397567 WITH SCORE 2.92177373197E8
AT ITER 156 NEW BEST:: SOT -1993540019 SOS 1779478034 HAS SOPS 1779478034 HAS SOUS 290370841 HAS SOUPS 290370841 WITH SCORE 2.92150319034E8
AT ITER 173 NEW BEST:: SOT -1993572887 SOS 1779330127 HAS SOPS 1779330127 HAS SOUS 290370840 HAS SOUPS 290370840 WITH SCORE 2.92150170127E8
AT ITER 176 NEW BEST:: SOT -1993623601 SOS 1779101911 HAS SOPS 1779101911 HAS SOUS 290370837 HAS SOUPS 290370837 WITH SCORE 2.92149938911E8
AT ITER 208 NEW BEST:: SOT -1993645537 SOS 1779003198 HAS SOPS 1779003198 HAS SOUS 290370836 HAS SOUPS 290370836 WITH SCORE 2.92149839198E8
AT ITER 219 NEW BEST:: SOT -1993688343 SOS 1778810564 HAS SOPS 1778810564 HAS SOUS 290370827 HAS SOUPS 290370827 WITH SCORE 2.92149637564E8
AT ITER 232 NEW BEST:: SOT -1993719449 SOS 1778670584 HAS SOPS 1778670584 HAS SOUS 290370824 HAS SOUPS 290370824 WITH SCORE 2.92149494584E8
AT ITER 244 NEW BEST:: SOT -1993734593 SOS 1778602436 HAS SOPS 1778602436 HAS SOUS 290370824 HAS SOUPS 290370824 WITH SCORE 2.92149426436E8
AT ITER 251 NEW BEST:: SOT -1993790987 SOS 1778348661 HAS SOPS 1778348661 HAS SOUS 290370822 HAS SOUPS 290370822 WITH SCORE 2.92149170661E8
AT ITER 273 NEW BEST:: SOT -1993797437 SOS 1778319631 HAS SOPS 1778319631 HAS SOUS 290370817 HAS SOUPS 290370817 WITH SCORE 2.92149136631E8
AT ITER 275 NEW BEST:: SOT -1993807461 SOS 1778274518 HAS SOPS 1778274518 HAS SOUS 290370812 HAS SOUPS 290370812 WITH SCORE 2.92149086518E8
AT ITER 283 NEW BEST:: SOT -1993822281 SOS 1778207828 HAS SOPS 1778207828 HAS SOUS 290370812 HAS SOUPS 290370812 WITH SCORE 2.92149019828E8
AT ITER 309 NEW BEST:: SOT -1993829943 SOS 1778173347 HAS SOPS 1778173347 HAS SOUS 290370810 HAS SOUPS 290370810 WITH SCORE 2.92148983347E8
AT ITER 312 NEW BEST:: SOT -1993863855 SOS 1778020737 HAS SOPS 1778020737 HAS SOUS 290370804 HAS SOUPS 290370804 WITH SCORE 2.92148824737E8
AT ITER 330 NEW BEST:: SOT -1993961870 SOS 1777691700 HAS SOPS 1777691700 HAS SOUS 290341008 HAS SOUPS 290341008 WITH SCORE 2.921186997E8
AT ITER 335 NEW BEST:: SOT -1994024392 SOS 1777410346 HAS SOPS 1777410346 HAS SOUS 290341003 HAS SOUPS 290341003 WITH SCORE 2.92118413346E8
AT ITER 349 NEW BEST:: SOT -1994055578 SOS 1777270008 HAS SOPS 1777270008 HAS SOUS 290341002 HAS SOUPS 290341002 WITH SCORE 2.92118272008E8
AT ITER 355 NEW BEST:: SOT -1994065846 SOS 1777223796 HAS SOPS 1777223796 HAS SOUS 290340996 HAS SOUPS 290340996 WITH SCORE 2.92118219796E8
AT ITER 363 NEW BEST:: SOT -1994112736 SOS 1777012790 HAS SOPS 1777012790 HAS SOUS 290340995 HAS SOUPS 290340995 WITH SCORE 2.9211800779E8
AT ITER 371 NEW BEST:: SOT -1994141942 SOS 1776881357 HAS SOPS 1776881357 HAS SOUS 290340989 HAS SOUPS 290340989 WITH SCORE 2.92117870357E8
AT ITER 373 NEW BEST:: SOT -1994188766 SOS 1776670646 HAS SOPS 1776670646 HAS SOUS 290340986 HAS SOUPS 290340986 WITH SCORE 2.92117656646E8
AT ITER 374 NEW BEST:: SOT -1994275371 SOS 1776357395 HAS SOPS 1776357395 HAS SOUS 290334433 HAS SOUPS 290334433 WITH SCORE 2.92110790395E8
AT ITER 392 NEW BEST:: SOT -1994308105 SOS 1776210089 HAS SOPS 1776210089 HAS SOUS 290334430 HAS SOUPS 290334430 WITH SCORE 2.92110640089E8
AT ITER 404 NEW BEST:: SOT -1994398842 SOS 1775889638 HAS SOPS 1775889638 HAS SOUS 290326648 HAS SOUPS 290326648 WITH SCORE 2.92102537638E8
AT ITER 421 NEW BEST:: SOT -1994440298 SOS 1775703082 HAS SOPS 1775703082 HAS SOUS 290326644 HAS SOUPS 290326644 WITH SCORE 2.92102347082E8
AT ITER 422 NEW BEST:: SOT -1994440298 SOS 1775703076 HAS SOPS 1775703076 HAS SOUS 290326638 HAS SOUPS 290326638 WITH SCORE 2.92102341076E8
AT ITER 427 NEW BEST:: SOT -1994450260 SOS 1775658242 HAS SOPS 1775658242 HAS SOUS 290326633 HAS SOUPS 290326633 WITH SCORE 2.92102291242E8
AT ITER 439 NEW BEST:: SOT -1994540694 SOS 1775335418 HAS SOPS 1775335418 HAS SOUS 290322271 HAS SOUPS 290322271 WITH SCORE 2.92097606418E8
AT ITER 450 NEW BEST:: SOT -1994597598 SOS 1775079345 HAS SOPS 1775079345 HAS SOUS 290322266 HAS SOUPS 290322266 WITH SCORE 2.92097345345E8
AT ITER 459 NEW BEST:: SOT -1994617880 SOS 1774988069 HAS SOPS 1774988069 HAS SOUS 290322257 HAS SOUPS 290322257 WITH SCORE 2.92097245069E8
AT ITER 463 NEW BEST:: SOT -1994635810 SOS 1774907382 HAS SOPS 1774907382 HAS SOUS 290322255 HAS SOUPS 290322255 WITH SCORE 2.92097162382E8
AT ITER 502 NEW BEST:: SOT -1994733965 SOS 1774578711 HAS SOPS 1774578711 HAS SOUS 290291376 HAS SOUPS 290291376 WITH SCORE 2.92065954711E8
AT ITER 510 NEW BEST:: SOT -1994742457 SOS 1774540493 HAS SOPS 1774540493 HAS SOUS 290291372 HAS SOUPS 290291372 WITH SCORE 2.92065912493E8
AT ITER 519 NEW BEST:: SOT -1994752815 SOS 1774493882 HAS SOPS 1774493882 HAS SOUS 290291372 HAS SOUPS 290291372 WITH SCORE 2.92065865882E8
AT ITER 537 NEW BEST:: SOT -1994778963 SOS 1774376209 HAS SOPS 1774376209 HAS SOUS 290291363 HAS SOUPS 290291363 WITH SCORE 2.92065739209E8
AT ITER 547 NEW BEST:: SOT -1994827921 SOS 1774155898 HAS SOPS 1774155898 HAS SOUS 290291363 HAS SOUPS 290291363 WITH SCORE 2.92065518898E8
AT ITER 565 NEW BEST:: SOT -1994920168 SOS 1773833133 HAS SOPS 1773833133 HAS SOUS 290279683 HAS SOUPS 290279683 WITH SCORE 2.92053516133E8
AT ITER 638 NEW BEST:: SOT -1994938898 SOS 1773748844 HAS SOPS 1773748844 HAS SOUS 290279679 HAS SOUPS 290279679 WITH SCORE 2.92053427844E8
AT ITER 640 NEW BEST:: SOT -1994963954 SOS 1773636092 HAS SOPS 1773636092 HAS SOUS 290279679 HAS SOUPS 290279679 WITH SCORE 2.92053315092E8
AT ITER 641 NEW BEST:: SOT -1995015864 SOS 1773402495 HAS SOPS 1773402495 HAS SOUS 290279677 HAS SOUPS 290279677 WITH SCORE 2.92053079495E8
AT ITER 656 NEW BEST:: SOT -1995060348 SOS 1773202316 HAS SOPS 1773202316 HAS SOUS 290279676 HAS SOUPS 290279676 WITH SCORE 2.92052878316E8
AT ITER 662 NEW BEST:: SOT -1995077266 SOS 1773126178 HAS SOPS 1773126178 HAS SOUS 290279667 HAS SOUPS 290279667 WITH SCORE 2.92052793178E8
AT ITER 664 NEW BEST:: SOT -1995120290 SOS 1772932567 HAS SOPS 1772932567 HAS SOUS 290279664 HAS SOUPS 290279664 WITH SCORE 2.92052596567E8
AT ITER 673 NEW BEST:: SOT -1995171158 SOS 1772703661 HAS SOPS 1772703661 HAS SOUS 290279664 HAS SOUPS 290279664 WITH SCORE 2.92052367661E8
AT ITER 689 NEW BEST:: SOT -1995201524 SOS 1772567009 HAS SOPS 1772567009 HAS SOUS 290279659 HAS SOUPS 290279659 WITH SCORE 2.92052226009E8
AT ITER 691 NEW BEST:: SOT -1995240092 SOS 1772393448 HAS SOPS 1772393448 HAS SOUS 290279654 HAS SOUPS 290279654 WITH SCORE 2.92052047448E8
AT ITER 717 NEW BEST:: SOT -1995282414 SOS 1772202997 HAS SOPS 1772202997 HAS SOUS 290279652 HAS SOUPS 290279652 WITH SCORE 2.92051854997E8
AT ITER 718 NEW BEST:: SOT -1995293038 SOS 1772155187 HAS SOPS 1772155187 HAS SOUS 290279650 HAS SOUPS 290279650 WITH SCORE 2.92051805187E8
AT ITER 739 NEW BEST:: SOT -1995302778 SOS 1772111354 HAS SOPS 1772111354 HAS SOUS 290279647 HAS SOUPS 290279647 WITH SCORE 2.92051758354E8
AT ITER 752 NEW BEST:: SOT -1995321188 SOS 1772028502 HAS SOPS 1772028502 HAS SOUS 290279638 HAS SOUPS 290279638 WITH SCORE 2.92051666502E8
AT ITER 756 NEW BEST:: SOT -1995364368 SOS 1771834192 HAS SOPS 1771834192 HAS SOUS 290279638 HAS SOUPS 290279638 WITH SCORE 2.92051472192E8
AT ITER 765 NEW BEST:: SOT -1995386104 SOS 1771736375 HAS SOPS 1771736375 HAS SOUS 290279633 HAS SOUPS 290279633 WITH SCORE 2.92051369375E8
AT ITER 791 NEW BEST:: SOT -1995408516 SOS 1771635520 HAS SOPS 1771635520 HAS SOUS 290279632 HAS SOUPS 290279632 WITH SCORE 2.9205126752E8
AT ITER 808 NEW BEST:: SOT -1995418652 SOS 1771589904 HAS SOPS 1771589904 HAS SOUS 290279628 HAS SOUPS 290279628 WITH SCORE 2.92051217904E8
AT ITER 810 NEW BEST:: SOT -1995467572 SOS 1771369759 HAS SOPS 1771369759 HAS SOUS 290279623 HAS SOUPS 290279623 WITH SCORE 2.92050992759E8
AT ITER 835 NEW BEST:: SOT -1995524800 SOS 1771112231 HAS SOPS 1771112231 HAS SOUS 290279621 HAS SOUPS 290279621 WITH SCORE 2.92050733231E8
AT ITER 842 NEW BEST:: SOT -1995545576 SOS 1771018735 HAS SOPS 1771018735 HAS SOUS 290279617 HAS SOUPS 290279617 WITH SCORE 2.92050635735E8
AT ITER 870 NEW BEST:: SOT -1995569028 SOS 1770913200 HAS SOPS 1770913200 HAS SOUS 290279616 HAS SOUPS 290279616 WITH SCORE 2.920505292E8
AT ITER 875 NEW BEST:: SOT -1995625984 SOS 1770656893 HAS SOPS 1770656893 HAS SOUS 290279611 HAS SOUPS 290279611 WITH SCORE 2.92050267893E8
AT ITER 882 NEW BEST:: SOT -1995664420 SOS 1770483928 HAS SOPS 1770483928 HAS SOUS 290279608 HAS SOUPS 290279608 WITH SCORE 2.92050091928E8
AT ITER 888 NEW BEST:: SOT -1995719002 SOS 1770238306 HAS SOPS 1770238306 HAS SOUS 290279605 HAS SOUPS 290279605 WITH SCORE 2.92049843306E8
AT ITER 896 NEW BEST:: SOT -1995783710 SOS 1769947113 HAS SOPS 1769947113 HAS SOUS 290279596 HAS SOUPS 290279596 WITH SCORE 2.92049543113E8
AT ITER 908 NEW BEST:: SOT -1995802406 SOS 1769862980 HAS SOPS 1769862980 HAS SOUS 290279595 HAS SOUPS 290279595 WITH SCORE 2.9204945798E8
AT ITER 921 NEW BEST:: SOT -1995850078 SOS 1769648454 HAS SOPS 1769648454 HAS SOUS 290279593 HAS SOUPS 290279593 WITH SCORE 2.92049241454E8
AT ITER 925 NEW BEST:: SOT -1995876870 SOS 1769527888 HAS SOPS 1769527888 HAS SOUS 290279591 HAS SOUPS 290279591 WITH SCORE 2.92049118888E8
AT ITER 930 NEW BEST:: SOT -1995918832 SOS 1769339058 HAS SOPS 1769339058 HAS SOUS 290279590 HAS SOUPS 290279590 WITH SCORE 2.92048929058E8
AT ITER 936 NEW BEST:: SOT -1995928774 SOS 1769294312 HAS SOPS 1769294312 HAS SOUS 290279581 HAS SOUPS 290279581 WITH SCORE 2.92048875312E8
AT ITER 940 NEW BEST:: SOT -1995952920 SOS 1769185653 HAS SOPS 1769185653 HAS SOUS 290279579 HAS SOUPS 290279579 WITH SCORE 2.92048764653E8
AT ITER 941 NEW BEST:: SOT -1996048981 SOS 1768856507 HAS SOPS 1768856507 HAS SOUS 290258304 HAS SOUPS 290258304 WITH SCORE 2.92027160507E8
AT ITER 953 NEW BEST:: SOT -1996091993 SOS 1768662946 HAS SOPS 1768662946 HAS SOUS 290258295 HAS SOUPS 290258295 WITH SCORE 2.92026957946E8
AT ITER 956 NEW BEST:: SOT -1996099969 SOS 1768627048 HAS SOPS 1768627048 HAS SOUS 290258289 HAS SOUPS 290258289 WITH SCORE 2.92026916048E8
AT ITER 959 NEW BEST:: SOT -1996103201 SOS 1768612504 HAS SOPS 1768612504 HAS SOUS 290258289 HAS SOUPS 290258289 WITH SCORE 2.92026901504E8
AT ITER 960 NEW BEST:: SOT -1996143495 SOS 1768431178 HAS SOPS 1768431178 HAS SOUS 290258286 HAS SOUPS 290258286 WITH SCORE 2.92026717178E8
AT ITER 975 NEW BEST:: SOT -1996160621 SOS 1768354104 HAS SOPS 1768354104 HAS SOUS 290258277 HAS SOUPS 290258277 WITH SCORE 2.92026631104E8
AT ITER 986 NEW BEST:: SOT -1996208257 SOS 1768139737 HAS SOPS 1768139737 HAS SOUS 290258272 HAS SOUPS 290258272 WITH SCORE 2.92026411737E8
AT ITER 992 NEW BEST:: SOT -1996226161 SOS 1768059164 HAS SOPS 1768059164 HAS SOUS 290258267 HAS SOUPS 290258267 WITH SCORE 2.92026326164E8
AT ITER 1005 NEW BEST:: SOT -1996277675 SOS 1767827344 HAS SOPS 1767827344 HAS SOUS 290258258 HAS SOUPS 290258258 WITH SCORE 2.92026085344E8
AT ITER 1025 NEW BEST:: SOT -1996291899 SOS 1767763336 HAS SOPS 1767763336 HAS SOUS 290258258 HAS SOUPS 290258258 WITH SCORE 2.92026021336E8
AT ITER 1032 NEW BEST:: SOT -1996309693 SOS 1767683263 HAS SOPS 1767683263 HAS SOUS 290258258 HAS SOUPS 290258258 WITH SCORE 2.92025941263E8
AT ITER 1039 NEW BEST:: SOT -1996320783 SOS 1767633351 HAS SOPS 1767633351 HAS SOUS 290258249 HAS SOUPS 290258249 WITH SCORE 2.92025882351E8
AT ITER 1040 NEW BEST:: SOT -1996381241 SOS 1767361287 HAS SOPS 1767361287 HAS SOUS 290258246 HAS SOUPS 290258246 WITH SCORE 2.92025607287E8
AT ITER 1051 NEW BEST:: SOT -1996412091 SOS 1767222460 HAS SOPS 1767222460 HAS SOUS 290258244 HAS SOUPS 290258244 WITH SCORE 2.9202546646E8
AT ITER 1055 NEW BEST:: SOT -1996464015 SOS 1766988796 HAS SOPS 1766988796 HAS SOUS 290258238 HAS SOUPS 290258238 WITH SCORE 2.92025226796E8
AT ITER 1059 NEW BEST:: SOT -1996497127 SOS 1766839792 HAS SOPS 1766839792 HAS SOUS 290258238 HAS SOUPS 290258238 WITH SCORE 2.92025077792E8
AT ITER 1099 NEW BEST:: SOT -1996503885 SOS 1766809379 HAS SOPS 1766809379 HAS SOUS 290258236 HAS SOUPS 290258236 WITH SCORE 2.92025045379E8
AT ITER 1104 NEW BEST:: SOT -1996548119 SOS 1766610321 HAS SOPS 1766610321 HAS SOUS 290258231 HAS SOUPS 290258231 WITH SCORE 2.92024841321E8
AT ITER 1136 NEW BEST:: SOT -1996562277 SOS 1766546610 HAS SOPS 1766546610 HAS SOUS 290258231 HAS SOUPS 290258231 WITH SCORE 2.9202477761E8
AT ITER 1152 NEW BEST:: SOT -1996574169 SOS 1766506969 HAS SOPS 1766506969 HAS SOUS 290254266 HAS SOUPS 290254266 WITH SCORE 2.92020772969E8
AT ITER 1167 NEW BEST:: SOT -1996616333 SOS 1766317225 HAS SOPS 1766317225 HAS SOUS 290254260 HAS SOUPS 290254260 WITH SCORE 2.92020577225E8
AT ITER 1201 NEW BEST:: SOT -1996656365 SOS 1766137081 HAS SOPS 1766137081 HAS SOUS 290254260 HAS SOUPS 290254260 WITH SCORE 2.92020397081E8
AT ITER 1203 NEW BEST:: SOT -1996660953 SOS 1766116429 HAS SOPS 1766116429 HAS SOUS 290254254 HAS SOUPS 290254254 WITH SCORE 2.92020370429E8
AT ITER 1225 NEW BEST:: SOT -1996709953 SOS 1765895925 HAS SOPS 1765895925 HAS SOUS 290254250 HAS SOUPS 290254250 WITH SCORE 2.92020145925E8
AT ITER 1233 NEW BEST:: SOT -1996737579 SOS 1765758332 HAS SOPS 1765758332 HAS SOUS 290246679 HAS SOUPS 290246679 WITH SCORE 2.92012437332E8
AT ITER 1239 NEW BEST:: SOT -1996772751 SOS 1765600055 HAS SOPS 1765600055 HAS SOUS 290246676 HAS SOUPS 290246676 WITH SCORE 2.92012276055E8
AT ITER 1240 NEW BEST:: SOT -1996828079 SOS 1765351076 HAS SOPS 1765351076 HAS SOUS 290246673 HAS SOUPS 290246673 WITH SCORE 2.92012024076E8
AT ITER 1250 NEW BEST:: SOT -1996859139 SOS 1765211304 HAS SOPS 1765211304 HAS SOUS 290246671 HAS SOUPS 290246671 WITH SCORE 2.92011882304E8
AT ITER 1294 NEW BEST:: SOT -1996902175 SOS 1765017640 HAS SOPS 1765017640 HAS SOUS 290246669 HAS SOUPS 290246669 WITH SCORE 2.9201168664E8
AT ITER 1297 NEW BEST:: SOT -1996910729 SOS 1764979143 HAS SOPS 1764979143 HAS SOUS 290246665 HAS SOUPS 290246665 WITH SCORE 2.92011644143E8
AT ITER 1311 NEW BEST:: SOT -1996976353 SOS 1764683829 HAS SOPS 1764683829 HAS SOUS 290246659 HAS SOUPS 290246659 WITH SCORE 2.92011342829E8
AT ITER 1331 NEW BEST:: SOT -1997035883 SOS 1764415943 HAS SOPS 1764415943 HAS SOUS 290246658 HAS SOUPS 290246658 WITH SCORE 2.92011073943E8
AT ITER 1338 NEW BEST:: SOT -1997045799 SOS 1764371315 HAS SOPS 1764371315 HAS SOUS 290246652 HAS SOUPS 290246652 WITH SCORE 2.92011023315E8
AT ITER 1341 NEW BEST:: SOT -1997080795 SOS 1764213828 HAS SOPS 1764213828 HAS SOUS 290246647 HAS SOUPS 290246647 WITH SCORE 2.92010860828E8
AT ITER 1369 NEW BEST:: SOT -1997139357 SOS 1763950292 HAS SOPS 1763950292 HAS SOUS 290246638 HAS SOUPS 290246638 WITH SCORE 2.92010588292E8
AT ITER 1393 NEW BEST:: SOT -1997160339 SOS 1763855869 HAS SOPS 1763855869 HAS SOUS 290246634 HAS SOUPS 290246634 WITH SCORE 2.92010489869E8
AT ITER 1407 NEW BEST:: SOT -1997171465 SOS 1763805800 HAS SOPS 1763805800 HAS SOUS 290246632 HAS SOUPS 290246632 WITH SCORE 2.920104378E8
AT ITER 1409 NEW BEST:: SOT -1997203217 SOS 1763662915 HAS SOPS 1763662915 HAS SOUS 290246631 HAS SOUPS 290246631 WITH SCORE 2.92010293915E8
AT ITER 1421 NEW BEST:: SOT -1997233969 SOS 1763524524 HAS SOPS 1763524524 HAS SOUS 290246622 HAS SOUPS 290246622 WITH SCORE 2.92010146524E8
AT ITER 1424 NEW BEST:: SOT -1997251501 SOS 1763445623 HAS SOPS 1763445623 HAS SOUS 290246613 HAS SOUPS 290246613 WITH SCORE 2.92010058623E8
AT ITER 1434 NEW BEST:: SOT -1997266121 SOS 1763379829 HAS SOPS 1763379829 HAS SOUS 290246609 HAS SOUPS 290246609 WITH SCORE 2.92009988829E8
AT ITER 1449 NEW BEST:: SOT -1997271665 SOS 1763354881 HAS SOPS 1763354881 HAS SOUS 290246609 HAS SOUPS 290246609 WITH SCORE 2.92009963881E8
AT ITER 1487 NEW BEST:: SOT -1997276955 SOS 1763331069 HAS SOPS 1763331069 HAS SOUS 290246600 HAS SOUPS 290246600 WITH SCORE 2.92009931069E8
AT ITER 1490 NEW BEST:: SOT -1997286019 SOS 1763290274 HAS SOPS 1763290274 HAS SOUS 290246591 HAS SOUPS 290246591 WITH SCORE 2.92009881274E8
AT ITER 1503 NEW BEST:: SOT -1997309975 SOS 1763182470 HAS SOPS 1763182470 HAS SOUS 290246589 HAS SOUPS 290246589 WITH SCORE 2.9200977147E8
AT ITER 1508 NEW BEST:: SOT -1997329119 SOS 1763096319 HAS SOPS 1763096319 HAS SOUS 290246586 HAS SOUPS 290246586 WITH SCORE 2.92009682319E8
AT ITER 1510 NEW BEST:: SOT -1997337525 SOS 1763058487 HAS SOPS 1763058487 HAS SOUS 290246581 HAS SOUPS 290246581 WITH SCORE 2.92009639487E8
AT ITER 1513 NEW BEST:: SOT -1997351941 SOS 1762993608 HAS SOPS 1762993608 HAS SOUS 290246572 HAS SOUPS 290246572 WITH SCORE 2.92009565608E8
AT ITER 1517 NEW BEST:: SOT -1997367747 SOS 1762922476 HAS SOPS 1762922476 HAS SOUS 290246567 HAS SOUPS 290246567 WITH SCORE 2.92009489476E8
AT ITER 1519 NEW BEST:: SOT -1997410407 SOS 1762730501 HAS SOPS 1762730501 HAS SOUS 290246562 HAS SOUPS 290246562 WITH SCORE 2.92009292501E8
AT ITER 1530 NEW BEST:: SOT -1997442139 SOS 1762587703 HAS SOPS 1762587703 HAS SOUS 290246558 HAS SOUPS 290246558 WITH SCORE 2.92009145703E8
AT ITER 1533 NEW BEST:: SOT -1997481757 SOS 1762409419 HAS SOPS 1762409419 HAS SOUS 290246555 HAS SOUPS 290246555 WITH SCORE 2.92008964419E8
AT ITER 1534 NEW BEST:: SOT -1997513361 SOS 1762251502 HAS SOPS 1762251502 HAS SOUS 290230856 HAS SOUPS 290230856 WITH SCORE 2.91993107502E8
AT ITER 1579 NEW BEST:: SOT -1997521089 SOS 1762212862 HAS SOPS 1762212862 HAS SOUS 290226992 HAS SOUPS 290226992 WITH SCORE 2.91989204862E8
AT ITER 1593 NEW BEST:: SOT -1997565055 SOS 1762015015 HAS SOPS 1762015015 HAS SOUS 290226992 HAS SOUPS 290226992 WITH SCORE 2.91989007015E8
AT ITER 1594 NEW BEST:: SOT -1997584925 SOS 1761925594 HAS SOPS 1761925594 HAS SOUS 290226986 HAS SOUPS 290226986 WITH SCORE 2.91988911594E8
AT ITER 1613 NEW BEST:: SOT -1997615373 SOS 1761788573 HAS SOPS 1761788573 HAS SOUS 290226981 HAS SOUPS 290226981 WITH SCORE 2.91988769573E8
AT ITER 1626 NEW BEST:: SOT -1997642481 SOS 1761666586 HAS SOPS 1761666586 HAS SOUS 290226980 HAS SOUPS 290226980 WITH SCORE 2.91988646586E8
AT ITER 1651 NEW BEST:: SOT -1997648131 SOS 1761639433 HAS SOPS 1761639433 HAS SOUS 290225252 HAS SOUPS 290225252 WITH SCORE 2.91986891433E8
AT ITER 1672 NEW BEST:: SOT -1997648131 SOS 1761639428 HAS SOPS 1761639428 HAS SOUS 290225247 HAS SOUPS 290225247 WITH SCORE 2.91986886428E8
AT ITER 1686 NEW BEST:: SOT -1997669935 SOS 1761541303 HAS SOPS 1761541303 HAS SOUS 290225238 HAS SOUPS 290225238 WITH SCORE 2.91986779303E8
AT ITER 1700 NEW BEST:: SOT -1997686471 SOS 1761466891 HAS SOPS 1761466891 HAS SOUS 290225238 HAS SOUPS 290225238 WITH SCORE 2.91986704891E8
AT ITER 1705 NEW BEST:: SOT -1997722117 SOS 1761306483 HAS SOPS 1761306483 HAS SOUS 290225237 HAS SOUPS 290225237 WITH SCORE 2.91986543483E8
AT ITER 1725 NEW BEST:: SOT -1997782177 SOS 1761036210 HAS SOPS 1761036210 HAS SOUS 290225234 HAS SOUPS 290225234 WITH SCORE 2.9198627021E8
AT ITER 1733 NEW BEST:: SOT -1997881622 SOS 1760702415 HAS SOPS 1760702415 HAS SOUS 290194482 HAS SOUPS 290194482 WITH SCORE 2.91955184415E8
AT ITER 1743 NEW BEST:: SOT -1997897506 SOS 1760630937 HAS SOPS 1760630937 HAS SOUS 290194482 HAS SOUPS 290194482 WITH SCORE 2.91955112937E8
AT ITER 1751 NEW BEST:: SOT -1997931996 SOS 1760475726 HAS SOPS 1760475726 HAS SOUS 290194476 HAS SOUPS 290194476 WITH SCORE 2.91954951726E8
AT ITER 1772 NEW BEST:: SOT -1997961262 SOS 1760344023 HAS SOPS 1760344023 HAS SOUS 290194470 HAS SOUPS 290194470 WITH SCORE 2.91954814023E8
AT ITER 1773 NEW BEST:: SOT -1997991156 SOS 1760209493 HAS SOPS 1760209493 HAS SOUS 290194461 HAS SOUPS 290194461 WITH SCORE 2.91954670493E8
AT ITER 1778 NEW BEST:: SOT -1998011882 SOS 1760116226 HAS SOPS 1760116226 HAS SOUS 290194461 HAS SOUPS 290194461 WITH SCORE 2.91954577226E8
AT ITER 1789 NEW BEST:: SOT -1998054108 SOS 1759926205 HAS SOPS 1759926205 HAS SOUS 290194457 HAS SOUPS 290194457 WITH SCORE 2.91954383205E8
AT ITER 1828 NEW BEST:: SOT -1998068196 SOS 1759862806 HAS SOPS 1759862806 HAS SOUS 290194454 HAS SOUPS 290194454 WITH SCORE 2.91954316806E8
AT ITER 1829 NEW BEST:: SOT -1998092926 SOS 1759751521 HAS SOPS 1759751521 HAS SOUS 290194454 HAS SOUPS 290194454 WITH SCORE 2.91954205521E8
AT ITER 1838 NEW BEST:: SOT -1998117042 SOS 1759642995 HAS SOPS 1759642995 HAS SOUS 290194450 HAS SOUPS 290194450 WITH SCORE 2.91954092995E8
AT ITER 1845 NEW BEST:: SOT -1998130330 SOS 1759583197 HAS SOPS 1759583197 HAS SOUS 290194448 HAS SOUPS 290194448 WITH SCORE 2.91954031197E8
AT ITER 1850 NEW BEST:: SOT -1998172954 SOS 1759391387 HAS SOPS 1759391387 HAS SOUS 290194446 HAS SOUPS 290194446 WITH SCORE 2.91953837387E8
AT ITER 1858 NEW BEST:: SOT -1998177968 SOS 1759368817 HAS SOPS 1759368817 HAS SOUS 290194437 HAS SOUPS 290194437 WITH SCORE 2.91953805817E8
AT ITER 1876 NEW BEST:: SOT -1998177968 SOS 1759368815 HAS SOPS 1759368815 HAS SOUS 290194435 HAS SOUPS 290194435 WITH SCORE 2.91953803815E8
AT ITER 1900 NEW BEST:: SOT -1998192740 SOS 1759302337 HAS SOPS 1759302337 HAS SOUS 290194431 HAS SOUPS 290194431 WITH SCORE 2.91953733337E8
AT ITER 1902 NEW BEST:: SOT -1998219664 SOS 1759181174 HAS SOPS 1759181174 HAS SOUS 290194426 HAS SOUPS 290194426 WITH SCORE 2.91953607174E8
AT ITER 1916 NEW BEST:: SOT -1998237378 SOS 1759101455 HAS SOPS 1759101455 HAS SOUS 290194420 HAS SOUPS 290194420 WITH SCORE 2.91953521455E8
AT ITER 1925 NEW BEST:: SOT -1998276620 SOS 1758924865 HAS SOPS 1758924865 HAS SOUS 290194419 HAS SOUPS 290194419 WITH SCORE 2.91953343865E8
AT ITER 1930 NEW BEST:: SOT -1998321182 SOS 1758724330 HAS SOPS 1758724330 HAS SOUS 290194413 HAS SOUPS 290194413 WITH SCORE 2.9195313733E8
AT ITER 1934 NEW BEST:: SOT -1998348808 SOS 1758600010 HAS SOPS 1758600010 HAS SOUS 290194410 HAS SOUPS 290194410 WITH SCORE 2.9195301001E8
AT ITER 1938 NEW BEST:: SOT -1998374498 SOS 1758484404 HAS SOPS 1758484404 HAS SOUS 290194409 HAS SOUPS 290194409 WITH SCORE 2.91952893404E8
AT ITER 1959 NEW BEST:: SOT -1998387186 SOS 1758427308 HAS SOPS 1758427308 HAS SOUS 290194409 HAS SOUPS 290194409 WITH SCORE 2.91952836308E8
AT ITER 1971 NEW BEST:: SOT -1998431820 SOS 1758226453 HAS SOPS 1758226453 HAS SOUS 290194407 HAS SOUPS 290194407 WITH SCORE 2.91952633453E8
AT ITER 1979 NEW BEST:: SOT -1998487426 SOS 1757976226 HAS SOPS 1757976226 HAS SOUS 290194407 HAS SOUPS 290194407 WITH SCORE 2.91952383226E8
AT ITER 1994 NEW BEST:: SOT -1998501976 SOS 1757910748 HAS SOPS 1757910748 HAS SOUS 290194404 HAS SOUPS 290194404 WITH SCORE 2.91952314748E8
AT ITER 2004 NEW BEST:: SOT -1998542336 SOS 1757729128 HAS SOPS 1757729128 HAS SOUS 290194404 HAS SOUPS 290194404 WITH SCORE 2.91952133128E8
AT ITER 2006 NEW BEST:: SOT -1998594082 SOS 1757496269 HAS SOPS 1757496269 HAS SOUS 290194402 HAS SOUPS 290194402 WITH SCORE 2.91951898269E8
AT ITER 2011 NEW BEST:: SOT -1998596382 SOS 1757485914 HAS SOPS 1757485914 HAS SOUS 290194397 HAS SOUPS 290194397 WITH SCORE 2.91951882914E8
AT ITER 2048 NEW BEST:: SOT -1998629014 SOS 1757339063 HAS SOPS 1757339063 HAS SOUS 290194388 HAS SOUPS 290194388 WITH SCORE 2.91951727063E8
AT ITER 2067 NEW BEST:: SOT -1998658624 SOS 1757205816 HAS SOPS 1757205816 HAS SOUS 290194386 HAS SOUPS 290194386 WITH SCORE 2.91951591816E8
AT ITER 2086 NEW BEST:: SOT -1998704730 SOS 1756998334 HAS SOPS 1756998334 HAS SOUS 290194381 HAS SOUPS 290194381 WITH SCORE 2.91951379334E8
AT ITER 2098 NEW BEST:: SOT -1998714102 SOS 1756956158 HAS SOPS 1756956158 HAS SOUS 290194379 HAS SOUPS 290194379 WITH SCORE 2.91951335158E8
AT ITER 2116 NEW BEST:: SOT -1998738860 SOS 1756844745 HAS SOPS 1756844745 HAS SOUS 290194377 HAS SOUPS 290194377 WITH SCORE 2.91951221745E8
AT ITER 2127 NEW BEST:: SOT -1998762290 SOS 1756739308 HAS SOPS 1756739308 HAS SOUS 290194375 HAS SOUPS 290194375 WITH SCORE 2.91951114308E8
AT ITER 2128 NEW BEST:: SOT -1998815784 SOS 1756498585 HAS SOPS 1756498585 HAS SOUS 290194375 HAS SOUPS 290194375 WITH SCORE 2.91950873585E8
AT ITER 2148 NEW BEST:: SOT -1998847574 SOS 1756355529 HAS SOPS 1756355529 HAS SOUS 290194374 HAS SOUPS 290194374 WITH SCORE 2.91950729529E8
AT ITER 2172 NEW BEST:: SOT -1998852182 SOS 1756334786 HAS SOPS 1756334786 HAS SOUS 290194365 HAS SOUPS 290194365 WITH SCORE 2.91950699786E8
AT ITER 2173 NEW BEST:: SOT -1998896082 SOS 1756137236 HAS SOPS 1756137236 HAS SOUS 290194365 HAS SOUPS 290194365 WITH SCORE 2.91950502236E8
AT ITER 2229 NEW BEST:: SOT -1998907928 SOS 1756083925 HAS SOPS 1756083925 HAS SOUS 290194361 HAS SOUPS 290194361 WITH SCORE 2.91950444925E8
AT ITER 2241 NEW BEST:: SOT -1998937592 SOS 1756064538 HAS SOPS 1756064538 HAS SOUS 290186958 HAS SOUPS 290186958 WITH SCORE 2.91943022538E8
AT ITER 2258 NEW BEST:: SOT -1998975622 SOS 1755870893 HAS SOPS 1755870893 HAS SOUS 290174129 HAS SOUPS 290174129 WITH SCORE 2.91929999893E8
AT ITER 2265 NEW BEST:: SOT -1998983420 SOS 1755835795 HAS SOPS 1755835795 HAS SOUS 290174120 HAS SOUPS 290174120 WITH SCORE 2.91929955795E8
AT ITER 2287 NEW BEST:: SOT -1998999558 SOS 1755755105 HAS SOPS 1755755105 HAS SOUS 290166051 HAS SOUPS 290166051 WITH SCORE 2.91921806105E8
AT ITER 2300 NEW BEST:: SOT -1999001950 SOS 1755744334 HAS SOPS 1755744334 HAS SOUS 290166042 HAS SOUPS 290166042 WITH SCORE 2.91921786334E8
AT ITER 2304 NEW BEST:: SOT -1999091086 SOS 1755425160 HAS SOPS 1755425160 HAS SOUS 290159452 HAS SOUPS 290159452 WITH SCORE 2.9191487716E8
AT ITER 2317 NEW BEST:: SOT -1999113314 SOS 1755325132 HAS SOPS 1755325132 HAS SOUS 290159450 HAS SOUPS 290159450 WITH SCORE 2.91914775132E8
AT ITER 2321 NEW BEST:: SOT -1999135646 SOS 1755224638 HAS SOPS 1755224638 HAS SOUS 290159450 HAS SOUPS 290159450 WITH SCORE 2.91914674638E8
AT ITER 2329 NEW BEST:: SOT -1999157958 SOS 1755124230 HAS SOPS 1755124230 HAS SOUS 290159446 HAS SOUPS 290159446 WITH SCORE 2.9191457023E8
AT ITER 2332 NEW BEST:: SOT -1999192610 SOS 1754968291 HAS SOPS 1754968291 HAS SOUS 290159441 HAS SOUPS 290159441 WITH SCORE 2.91914409291E8
AT ITER 2336 NEW BEST:: SOT -1999290618 SOS 1754637238 HAS SOPS 1754637238 HAS SOUS 290132082 HAS SOUPS 290132082 WITH SCORE 2.91886719238E8
AT ITER 2338 NEW BEST:: SOT -1999309110 SOS 1754554018 HAS SOPS 1754554018 HAS SOUS 290132076 HAS SOUPS 290132076 WITH SCORE 2.91886630018E8
AT ITER 2353 NEW BEST:: SOT -1999327728 SOS 1754470235 HAS SOPS 1754470235 HAS SOUS 290132074 HAS SOUPS 290132074 WITH SCORE 2.91886544235E8
AT ITER 2354 NEW BEST:: SOT -1999336484 SOS 1754430827 HAS SOPS 1754430827 HAS SOUS 290132068 HAS SOUPS 290132068 WITH SCORE 2.91886498827E8
AT ITER 2356 NEW BEST:: SOT -1999362144 SOS 1754315355 HAS SOPS 1754315355 HAS SOUS 290132066 HAS SOUPS 290132066 WITH SCORE 2.91886381355E8
AT ITER 2360 NEW BEST:: SOT -1999415218 SOS 1754076517 HAS SOPS 1754076517 HAS SOUS 290132061 HAS SOUPS 290132061 WITH SCORE 2.91886137517E8
AT ITER 2364 NEW BEST:: SOT -1999430500 SOS 1754007741 HAS SOPS 1754007741 HAS SOUS 290132052 HAS SOUPS 290132052 WITH SCORE 2.91886059741E8
AT ITER 2369 NEW BEST:: SOT -1999441816 SOS 1753956816 HAS SOPS 1753956816 HAS SOUS 290132049 HAS SOUPS 290132049 WITH SCORE 2.91886005816E8
AT ITER 2379 NEW BEST:: SOT -1999453414 SOS 1753904618 HAS SOPS 1753904618 HAS SOUS 290132040 HAS SOUPS 290132040 WITH SCORE 2.91885944618E8
AT ITER 2390 NEW BEST:: SOT -1999474084 SOS 1753811603 HAS SOPS 1753811603 HAS SOUS 290132040 HAS SOUPS 290132040 WITH SCORE 2.91885851603E8
AT ITER 2398 NEW BEST:: SOT -1999476436 SOS 1753801019 HAS SOPS 1753801019 HAS SOUS 290132040 HAS SOUPS 290132040 WITH SCORE 2.91885841019E8
AT ITER 2402 NEW BEST:: SOT -1999542986 SOS 1753501544 HAS SOPS 1753501544 HAS SOUS 290132040 HAS SOUPS 290132040 WITH SCORE 2.91885541544E8
AT ITER 2407 NEW BEST:: SOT -1999586622 SOS 1753305180 HAS SOPS 1753305180 HAS SOUS 290132038 HAS SOUPS 290132038 WITH SCORE 2.9188534318E8
AT ITER 2467 NEW BEST:: SOT -1999602408 SOS 1753234142 HAS SOPS 1753234142 HAS SOUS 290132037 HAS SOUPS 290132037 WITH SCORE 2.91885271142E8
AT ITER 2469 NEW BEST:: SOT -1999640186 SOS 1753064136 HAS SOPS 1753064136 HAS SOUS 290132032 HAS SOUPS 290132032 WITH SCORE 2.91885096136E8
AT ITER 2471 NEW BEST:: SOT -1999698962 SOS 1752799640 HAS SOPS 1752799640 HAS SOUS 290132028 HAS SOUPS 290132028 WITH SCORE 2.9188482764E8
AT ITER 2472 NEW BEST:: SOT -1999712674 SOS 1752737932 HAS SOPS 1752737932 HAS SOUS 290132024 HAS SOUPS 290132024 WITH SCORE 2.91884761932E8
AT ITER 2478 NEW BEST:: SOT -1999729220 SOS 1752663475 HAS SOPS 1752663475 HAS SOUS 290132024 HAS SOUPS 290132024 WITH SCORE 2.91884687475E8
AT ITER 2488 NEW BEST:: SOT -1999758478 SOS 1752531807 HAS SOPS 1752531807 HAS SOUS 290132015 HAS SOUPS 290132015 WITH SCORE 2.91884546807E8
AT ITER 2495 NEW BEST:: SOT -1999768652 SOS 1752486022 HAS SOPS 1752486022 HAS SOUS 290132013 HAS SOUPS 290132013 WITH SCORE 2.91884499022E8
AT ITER 2498 NEW BEST:: SOT -1999791524 SOS 1752383097 HAS SOPS 1752383097 HAS SOUS 290132012 HAS SOUPS 290132012 WITH SCORE 2.91884395097E8
AT ITER 2540 NEW BEST:: SOT -1999821152 SOS 1752249769 HAS SOPS 1752249769 HAS SOUS 290132010 HAS SOUPS 290132010 WITH SCORE 2.91884259769E8
AT ITER 2545 NEW BEST:: SOT -1999858670 SOS 1752062179 HAS SOPS 1752062179 HAS SOUS 290113251 HAS SOUPS 290113251 WITH SCORE 2.91865313179E8
AT ITER 2548 NEW BEST:: SOT -1999884314 SOS 1751946774 HAS SOPS 1751946774 HAS SOUS 290113242 HAS SOUPS 290113242 WITH SCORE 2.91865188774E8
AT ITER 2580 NEW BEST:: SOT -1999940676 SOS 1751693144 HAS SOPS 1751693144 HAS SOUS 290113241 HAS SOUPS 290113241 WITH SCORE 2.91864934144E8
AT ITER 2587 NEW BEST:: SOT -1999983860 SOS 1751498814 HAS SOPS 1751498814 HAS SOUS 290113239 HAS SOUPS 290113239 WITH SCORE 2.91864737814E8
AT ITER 2600 NEW BEST:: SOT -2000005842 SOS 1751399890 HAS SOPS 1751399890 HAS SOUS 290113234 HAS SOUPS 290113234 WITH SCORE 2.9186463389E8
AT ITER 2611 NEW BEST:: SOT -2000042290 SOS 1751235870 HAS SOPS 1751235870 HAS SOUS 290113230 HAS SOUPS 290113230 WITH SCORE 2.9186446587E8
AT ITER 2615 NEW BEST:: SOT -2000051342 SOS 1751195130 HAS SOPS 1751195130 HAS SOUS 290113224 HAS SOUPS 290113224 WITH SCORE 2.9186441913E8
AT ITER 2619 NEW BEST:: SOT -2000090004 SOS 1751021145 HAS SOPS 1751021145 HAS SOUS 290113218 HAS SOUPS 290113218 WITH SCORE 2.91864239145E8
AT ITER 2647 NEW BEST:: SOT -2000131294 SOS 1750835336 HAS SOPS 1750835336 HAS SOUS 290113214 HAS SOUPS 290113214 WITH SCORE 2.91864049336E8
AT ITER 2651 NEW BEST:: SOT -2000178750 SOS 1750621778 HAS SOPS 1750621778 HAS SOUS 290113208 HAS SOUPS 290113208 WITH SCORE 2.91863829778E8
AT ITER 2683 NEW BEST:: SOT -2000194754 SOS 1750549757 HAS SOPS 1750549757 HAS SOUS 290113205 HAS SOUPS 290113205 WITH SCORE 2.91863754757E8
AT ITER 2688 NEW BEST:: SOT -2000197566 SOS 1750537099 HAS SOPS 1750537099 HAS SOUS 290113201 HAS SOUPS 290113201 WITH SCORE 2.91863738099E8
AT ITER 2708 NEW BEST:: SOT -2000222600 SOS 1750424442 HAS SOPS 1750424442 HAS SOUS 290113197 HAS SOUPS 290113197 WITH SCORE 2.91863621442E8
AT ITER 2724 NEW BEST:: SOT -2000249244 SOS 1750304539 HAS SOPS 1750304539 HAS SOUS 290113192 HAS SOUPS 290113192 WITH SCORE 2.91863496539E8
AT ITER 2742 NEW BEST:: SOT -2000325981 SOS 1750013736 HAS SOPS 1750013736 HAS SOUS 290108746 HAS SOUPS 290108746 WITH SCORE 2.91858759736E8
AT ITER 2748 NEW BEST:: SOT -2000375855 SOS 1749789301 HAS SOPS 1749789301 HAS SOUS 290108744 HAS SOUPS 290108744 WITH SCORE 2.91858533301E8
AT ITER 2750 NEW BEST:: SOT -2000424735 SOS 1749569335 HAS SOPS 1749569335 HAS SOUS 290108738 HAS SOUPS 290108738 WITH SCORE 2.91858307335E8
AT ITER 2752 NEW BEST:: SOT -2000424735 SOS 1749569332 HAS SOPS 1749569332 HAS SOUS 290108735 HAS SOUPS 290108735 WITH SCORE 2.91858304332E8
AT ITER 2767 NEW BEST:: SOT -2000436969 SOS 1749514275 HAS SOPS 1749514275 HAS SOUS 290108731 HAS SOUPS 290108731 WITH SCORE 2.91858245275E8
AT ITER 2772 NEW BEST:: SOT -2000481315 SOS 1749314715 HAS SOPS 1749314715 HAS SOUS 290108728 HAS SOUPS 290108728 WITH SCORE 2.91858042715E8
AT ITER 2777 NEW BEST:: SOT -2000545877 SOS 1749024184 HAS SOPS 1749024184 HAS SOUS 290108726 HAS SOUPS 290108726 WITH SCORE 2.91857750184E8
AT ITER 2793 NEW BEST:: SOT -2000581593 SOS 1748863460 HAS SOPS 1748863460 HAS SOUS 290108724 HAS SOUPS 290108724 WITH SCORE 2.9185758746E8
AT ITER 2799 NEW BEST:: SOT -2000602193 SOS 1748770753 HAS SOPS 1748770753 HAS SOUS 290108715 HAS SOUPS 290108715 WITH SCORE 2.91857485753E8
AT ITER 2809 NEW BEST:: SOT -2000622045 SOS 1748681415 HAS SOPS 1748681415 HAS SOUS 290108711 HAS SOUPS 290108711 WITH SCORE 2.91857392415E8
AT ITER 2816 NEW BEST:: SOT -2000647683 SOS 1748566044 HAS SOPS 1748566044 HAS SOUS 290108711 HAS SOUPS 290108711 WITH SCORE 2.91857277044E8
AT ITER 2841 NEW BEST:: SOT -2000666671 SOS 1748480598 HAS SOPS 1748480598 HAS SOUS 290108711 HAS SOUPS 290108711 WITH SCORE 2.91857191598E8
AT ITER 2856 NEW BEST:: SOT -2000691627 SOS 1748368296 HAS SOPS 1748368296 HAS SOUS 290108711 HAS SOUPS 290108711 WITH SCORE 2.91857079296E8
AT ITER 2869 NEW BEST:: SOT -2000746623 SOS 1748120808 HAS SOPS 1748120808 HAS SOUS 290108705 HAS SOUPS 290108705 WITH SCORE 2.91856825808E8
AT ITER 2886 NEW BEST:: SOT -2000760719 SOS 1748057369 HAS SOPS 1748057369 HAS SOUS 290108696 HAS SOUPS 290108696 WITH SCORE 2.91856753369E8
AT ITER 2894 NEW BEST:: SOT -2000795711 SOS 1747899898 HAS SOPS 1747899898 HAS SOUS 290108687 HAS SOUPS 290108687 WITH SCORE 2.91856586898E8
AT ITER 2915 NEW BEST:: SOT -2000813797 SOS 1747810549 HAS SOPS 1747810549 HAS SOUS 290106152 HAS SOUPS 290106152 WITH SCORE 2.91853962549E8
AT ITER 2938 NEW BEST:: SOT -2000842062 SOS 1747664442 HAS SOPS 1747664442 HAS SOUS 290096663 HAS SOUPS 290096663 WITH SCORE 2.91844327442E8
AT ITER 2940 NEW BEST:: SOT -2000852442 SOS 1747617729 HAS SOPS 1747617729 HAS SOUS 290096660 HAS SOUPS 290096660 WITH SCORE 2.91844277729E8
AT ITER 2943 NEW BEST:: SOT -2000876474 SOS 1747509584 HAS SOPS 1747509584 HAS SOUS 290096659 HAS SOUPS 290096659 WITH SCORE 2.91844168584E8
AT ITER 2944 NEW BEST:: SOT -2000935758 SOS 1747242801 HAS SOPS 1747242801 HAS SOUS 290096654 HAS SOUPS 290096654 WITH SCORE 2.91843896801E8
AT ITER 2947 NEW BEST:: SOT -2000977586 SOS 1747054571 HAS SOPS 1747054571 HAS SOUS 290096650 HAS SOUPS 290096650 WITH SCORE 2.91843704571E8
AT ITER 2964 NEW BEST:: SOT -2001004368 SOS 1746934051 HAS SOPS 1746934051 HAS SOUS 290096649 HAS SOUPS 290096649 WITH SCORE 2.91843583051E8
AT ITER 2966 NEW BEST:: SOT -2001039120 SOS 1746777667 HAS SOPS 1746777667 HAS SOUS 290096649 HAS SOUPS 290096649 WITH SCORE 2.91843426667E8
AT ITER 2999 NEW BEST:: SOT -2001039120 SOS 1746777660 HAS SOPS 1746777660 HAS SOUS 290096640 HAS SOUPS 290096640 WITH SCORE 2.9184341766E8
AT ITER 3009 NEW BEST:: SOT -2001072756 SOS 1746510326 HAS SOPS 1746510326 HAS SOUS 290094947 HAS SOUPS 290094947 WITH SCORE 2.91841457326E8
AT ITER 3019 NEW BEST:: SOT -2001123582 SOS 1746281608 HAS SOPS 1746281608 HAS SOUS 290094946 HAS SOUPS 290094946 WITH SCORE 2.91841227608E8
AT ITER 3026 NEW BEST:: SOT -2001123582 SOS 1746281606 HAS SOPS 1746281606 HAS SOUS 290094944 HAS SOUPS 290094944 WITH SCORE 2.91841225606E8
AT ITER 3050 NEW BEST:: SOT -2001162874 SOS 1746104791 HAS SOPS 1746104791 HAS SOUS 290094943 HAS SOUPS 290094943 WITH SCORE 2.91841047791E8
AT ITER 3073 NEW BEST:: SOT -2001185749 SOS 1745985390 HAS SOPS 1745985390 HAS SOUS 290091398 HAS SOUPS 290091398 WITH SCORE 2.9183738339E8
AT ITER 3074 NEW BEST:: SOT -2001205035 SOS 1745898597 HAS SOPS 1745898597 HAS SOUS 290091392 HAS SOUPS 290091392 WITH SCORE 2.91837290597E8
AT ITER 3095 NEW BEST:: SOT -2001239959 SOS 1745741438 HAS SOPS 1745741438 HAS SOUS 290091391 HAS SOUPS 290091391 WITH SCORE 2.91837132438E8
AT ITER 3124 NEW BEST:: SOT -2001288145 SOS 1745500508 HAS SOPS 1745500508 HAS SOUS 290067298 HAS SOUPS 290067298 WITH SCORE 2.91812798508E8
AT ITER 3132 NEW BEST:: SOT -2001332773 SOS 1745299675 HAS SOPS 1745299675 HAS SOUS 290067289 HAS SOUPS 290067289 WITH SCORE 2.91812588675E8
AT ITER 3141 NEW BEST:: SOT -2001363903 SOS 1745159585 HAS SOPS 1745159585 HAS SOUS 290067284 HAS SOUPS 290067284 WITH SCORE 2.91812443585E8
AT ITER 3148 NEW BEST:: SOT -2001378577 SOS 1745093551 HAS SOPS 1745093551 HAS SOUS 290067283 HAS SOUPS 290067283 WITH SCORE 2.91812376551E8
AT ITER 3151 NEW BEST:: SOT -2001378577 SOS 1745093547 HAS SOPS 1745093547 HAS SOUS 290067279 HAS SOUPS 290067279 WITH SCORE 2.91812372547E8
AT ITER 3152 NEW BEST:: SOT -2001391483 SOS 1745035464 HAS SOPS 1745035464 HAS SOUS 290067273 HAS SOUPS 290067273 WITH SCORE 2.91812308464E8
AT ITER 3171 NEW BEST:: SOT -2001406401 SOS 1744968326 HAS SOPS 1744968326 HAS SOUS 290067264 HAS SOUPS 290067264 WITH SCORE 2.91812232326E8
AT ITER 3177 NEW BEST:: SOT -2001423095 SOS 1744893197 HAS SOPS 1744893197 HAS SOUS 290067258 HAS SOUPS 290067258 WITH SCORE 2.91812151197E8
AT ITER 3187 NEW BEST:: SOT -2001437775 SOS 1744827137 HAS SOPS 1744827137 HAS SOUS 290067258 HAS SOUPS 290067258 WITH SCORE 2.91812085137E8
AT ITER 3194 NEW BEST:: SOT -2001477405 SOS 1744648802 HAS SOPS 1744648802 HAS SOUS 290067258 HAS SOUPS 290067258 WITH SCORE 2.91811906802E8
AT ITER 3196 NEW BEST:: SOT -2001493785 SOS 1744575086 HAS SOPS 1744575086 HAS SOUS 290067252 HAS SOUPS 290067252 WITH SCORE 2.91811827086E8
AT ITER 3207 NEW BEST:: SOT -2001530983 SOS 1744407690 HAS SOPS 1744407690 HAS SOUS 290067247 HAS SOUPS 290067247 WITH SCORE 2.9181165469E8
AT ITER 3211 NEW BEST:: SOT -2001571775 SOS 1744224126 HAS SOPS 1744224126 HAS SOUS 290067247 HAS SOUPS 290067247 WITH SCORE 2.91811471126E8
AT ITER 3212 NEW BEST:: SOT -2001598093 SOS 1744105693 HAS SOPS 1744105693 HAS SOUS 290067245 HAS SOUPS 290067245 WITH SCORE 2.91811350693E8
AT ITER 3221 NEW BEST:: SOT -2001619203 SOS 1743994131 HAS SOPS 1743994131 HAS SOUS 290063537 HAS SOUPS 290063537 WITH SCORE 2.91807531131E8
AT ITER 3229 NEW BEST:: SOT -2001658993 SOS 1743815074 HAS SOPS 1743815074 HAS SOUS 290063535 HAS SOUPS 290063535 WITH SCORE 2.91807350074E8
AT ITER 3231 NEW BEST:: SOT -2001674499 SOS 1743745294 HAS SOPS 1743745294 HAS SOUS 290063532 HAS SOUPS 290063532 WITH SCORE 2.91807277294E8
AT ITER 3243 NEW BEST:: SOT -2001688749 SOS 1743681162 HAS SOPS 1743681162 HAS SOUS 290063523 HAS SOUPS 290063523 WITH SCORE 2.91807204162E8
AT ITER 3244 NEW BEST:: SOT -2001705573 SOS 1743605452 HAS SOPS 1743605452 HAS SOUS 290063521 HAS SOUPS 290063521 WITH SCORE 2.91807126452E8
AT ITER 3269 NEW BEST:: SOT -2001714035 SOS 1743567368 HAS SOPS 1743567368 HAS SOUS 290063516 HAS SOUPS 290063516 WITH SCORE 2.91807083368E8
AT ITER 3276 NEW BEST:: SOT -2001740791 SOS 1743446961 HAS SOPS 1743446961 HAS SOUS 290063511 HAS SOUPS 290063511 WITH SCORE 2.91806957961E8
AT ITER 3282 NEW BEST:: SOT -2001778307 SOS 1743278134 HAS SOPS 1743278134 HAS SOUS 290063506 HAS SOUPS 290063506 WITH SCORE 2.91806784134E8
AT ITER 3289 NEW BEST:: SOT -2001790447 SOS 1743223503 HAS SOPS 1743223503 HAS SOUS 290063505 HAS SOUPS 290063505 WITH SCORE 2.91806728503E8
AT ITER 3301 NEW BEST:: SOT -2001798629 SOS 1743186681 HAS SOPS 1743186681 HAS SOUS 290063502 HAS SOUPS 290063502 WITH SCORE 2.91806688681E8
AT ITER 3306 NEW BEST:: SOT -2001843953 SOS 1742982719 HAS SOPS 1742982719 HAS SOUS 290063498 HAS SOUPS 290063498 WITH SCORE 2.91806480719E8
AT ITER 3318 NEW BEST:: SOT -2001891635 SOS 1742768147 HAS SOPS 1742768147 HAS SOUS 290063495 HAS SOUPS 290063495 WITH SCORE 2.91806263147E8
AT ITER 3326 NEW BEST:: SOT -2001914313 SOS 1742666092 HAS SOPS 1742666092 HAS SOUS 290063491 HAS SOUPS 290063491 WITH SCORE 2.91806157092E8
AT ITER 3328 NEW BEST:: SOT -2001927803 SOS 1742605387 HAS SOPS 1742605387 HAS SOUS 290063491 HAS SOUPS 290063491 WITH SCORE 2.91806096387E8
AT ITER 3335 NEW BEST:: SOT -2001947135 SOS 1742518389 HAS SOPS 1742518389 HAS SOUS 290063487 HAS SOUPS 290063487 WITH SCORE 2.91806005389E8
AT ITER 3336 NEW BEST:: SOT -2001984489 SOS 1742350292 HAS SOPS 1742350292 HAS SOUS 290063483 HAS SOUPS 290063483 WITH SCORE 2.91805833292E8
AT ITER 3340 NEW BEST:: SOT -2002019145 SOS 1742194333 HAS SOPS 1742194333 HAS SOUS 290063474 HAS SOUPS 290063474 WITH SCORE 2.91805668333E8
AT ITER 3341 NEW BEST:: SOT -2002033965 SOS 1742127638 HAS SOPS 1742127638 HAS SOUS 290063469 HAS SOUPS 290063469 WITH SCORE 2.91805596638E8
AT ITER 3359 NEW BEST:: SOT -2002042579 SOS 1742088873 HAS SOPS 1742088873 HAS SOUS 290063467 HAS SOUPS 290063467 WITH SCORE 2.91805555873E8
AT ITER 3370 NEW BEST:: SOT -2002051147 SOS 1742050312 HAS SOPS 1742050312 HAS SOUS 290063462 HAS SOUPS 290063462 WITH SCORE 2.91805512312E8
AT ITER 3390 NEW BEST:: SOT -2002121493 SOS 1741767478 HAS SOPS 1741767478 HAS SOUS 290057977 HAS SOUPS 290057977 WITH SCORE 2.91799744478E8
AT ITER 3394 NEW BEST:: SOT -2002160793 SOS 1741590621 HAS SOPS 1741590621 HAS SOUS 290057968 HAS SOUPS 290057968 WITH SCORE 2.91799558621E8
AT ITER 3399 NEW BEST:: SOT -2002191433 SOS 1741452741 HAS SOPS 1741452741 HAS SOUS 290057968 HAS SOUPS 290057968 WITH SCORE 2.91799420741E8
AT ITER 3409 NEW BEST:: SOT -2002234449 SOS 1741259163 HAS SOPS 1741259163 HAS SOUS 290057962 HAS SOUPS 290057962 WITH SCORE 2.91799221163E8
AT ITER 3415 NEW BEST:: SOT -2002259587 SOS 1741129943 HAS SOPS 1741129943 HAS SOUS 290052944 HAS SOUPS 290052944 WITH SCORE 2.91794073943E8
AT ITER 3423 NEW BEST:: SOT -2002285063 SOS 1741015297 HAS SOPS 1741015297 HAS SOUS 290052940 HAS SOUPS 290052940 WITH SCORE 2.91793955297E8
AT ITER 3430 NEW BEST:: SOT -2002315209 SOS 1740852953 HAS SOPS 1740852953 HAS SOUS 290043720 HAS SOUPS 290043720 WITH SCORE 2.91784572953E8
AT ITER 3438 NEW BEST:: SOT -2002330943 SOS 1740782146 HAS SOPS 1740782146 HAS SOUS 290043716 HAS SOUPS 290043716 WITH SCORE 2.91784498146E8
AT ITER 3450 NEW BEST:: SOT -2002351173 SOS 1740691109 HAS SOPS 1740691109 HAS SOUS 290043714 HAS SOUPS 290043714 WITH SCORE 2.91784405109E8
AT ITER 3459 NEW BEST:: SOT -2002391655 SOS 1740508933 HAS SOPS 1740508933 HAS SOUS 290043705 HAS SOUPS 290043705 WITH SCORE 2.91784213933E8
AT ITER 3461 NEW BEST:: SOT -2002439803 SOS 1740292264 HAS SOPS 1740292264 HAS SOUS 290043702 HAS SOUPS 290043702 WITH SCORE 2.91783994264E8
AT ITER 3464 NEW BEST:: SOT -2002475069 SOS 1740133562 HAS SOPS 1740133562 HAS SOUS 290043697 HAS SOUPS 290043697 WITH SCORE 2.91783830562E8
AT ITER 3488 NEW BEST:: SOT -2002508787 SOS 1739981831 HAS SOPS 1739981831 HAS SOUS 290043697 HAS SOUPS 290043697 WITH SCORE 2.91783678831E8
AT ITER 3513 NEW BEST:: SOT -2002531741 SOS 1739878537 HAS SOPS 1739878537 HAS SOUS 290043696 HAS SOUPS 290043696 WITH SCORE 2.91783574537E8
AT ITER 3514 NEW BEST:: SOT -2002539975 SOS 1739841483 HAS SOPS 1739841483 HAS SOUS 290043695 HAS SOUPS 290043695 WITH SCORE 2.91783536483E8
AT ITER 3516 NEW BEST:: SOT -2002559885 SOS 1739751882 HAS SOPS 1739751882 HAS SOUS 290043689 HAS SOUPS 290043689 WITH SCORE 2.91783440882E8
AT ITER 3520 NEW BEST:: SOT -2002612607 SOS 1739514633 HAS SOPS 1739514633 HAS SOUS 290043689 HAS SOUPS 290043689 WITH SCORE 2.91783203633E8
AT ITER 3531 NEW BEST:: SOT -2002612607 SOS 1739509548 HAS SOPS 1739509548 HAS SOUS 290038604 HAS SOUPS 290038604 WITH SCORE 2.91778113548E8
AT ITER 3539 NEW BEST:: SOT -2002675549 SOS 1739226306 HAS SOPS 1739226306 HAS SOUS 290038601 HAS SOUPS 290038601 WITH SCORE 2.91777827306E8
AT ITER 3564 NEW BEST:: SOT -2002720985 SOS 1738935672 HAS SOPS 1738935672 HAS SOUS 290033538 HAS SOUPS 290033538 WITH SCORE 2.91772473672E8
AT ITER 3565 NEW BEST:: SOT -2002750105 SOS 1738804629 HAS SOPS 1738804629 HAS SOUS 290033535 HAS SOUPS 290033535 WITH SCORE 2.91772339629E8
AT ITER 3570 NEW BEST:: SOT -2002766673 SOS 1738730069 HAS SOPS 1738730069 HAS SOUS 290033531 HAS SOUPS 290033531 WITH SCORE 2.91772261069E8
AT ITER 3571 NEW BEST:: SOT -2002775791 SOS 1738689031 HAS SOPS 1738689031 HAS SOUS 290033522 HAS SOUPS 290033522 WITH SCORE 2.91772211031E8
AT ITER 3572 NEW BEST:: SOT -2002831345 SOS 1738439033 HAS SOPS 1738439033 HAS SOUS 290033517 HAS SOUPS 290033517 WITH SCORE 2.91771956033E8
AT ITER 3577 NEW BEST:: SOT -2002873011 SOS 1738251532 HAS SOPS 1738251532 HAS SOUS 290033513 HAS SOUPS 290033513 WITH SCORE 2.91771764532E8
AT ITER 3605 NEW BEST:: SOT -2002895029 SOS 1738152449 HAS SOPS 1738152449 HAS SOUS 290033511 HAS SOUPS 290033511 WITH SCORE 2.91771663449E8
AT ITER 3606 NEW BEST:: SOT -2002982483 SOS 1737839905 HAS SOPS 1737839905 HAS SOUS 290019567 HAS SOUPS 290019567 WITH SCORE 2.91757406905E8
AT ITER 3610 NEW BEST:: SOT -2003006221 SOS 1737733083 HAS SOPS 1737733083 HAS SOUS 290019566 HAS SOUPS 290019566 WITH SCORE 2.91757299083E8
AT ITER 3619 NEW BEST:: SOT -2003020987 SOS 1737666633 HAS SOPS 1737666633 HAS SOUS 290019563 HAS SOUPS 290019563 WITH SCORE 2.91757229633E8
AT ITER 3626 NEW BEST:: SOT -2003031125 SOS 1737621005 HAS SOPS 1737621005 HAS SOUS 290019554 HAS SOUPS 290019554 WITH SCORE 2.91757175005E8
AT ITER 3630 NEW BEST:: SOT -2003089143 SOS 1737359921 HAS SOPS 1737359921 HAS SOUS 290019551 HAS SOUPS 290019551 WITH SCORE 2.91756910921E8
AT ITER 3647 NEW BEST:: SOT -2003100941 SOS 1737306827 HAS SOPS 1737306827 HAS SOUS 290019548 HAS SOUPS 290019548 WITH SCORE 2.91756854827E8
AT ITER 3652 NEW BEST:: SOT -2003139433 SOS 1737133609 HAS SOPS 1737133609 HAS SOUS 290019544 HAS SOUPS 290019544 WITH SCORE 2.91756677609E8
AT ITER 3658 NEW BEST:: SOT -2003170973 SOS 1736991673 HAS SOPS 1736991673 HAS SOUS 290019538 HAS SOUPS 290019538 WITH SCORE 2.91756529673E8
AT ITER 3665 NEW BEST:: SOT -2003220805 SOS 1736696016 HAS SOPS 1736696016 HAS SOUS 290010043 HAS SOUPS 290010043 WITH SCORE 2.91746739016E8
AT ITER 3671 NEW BEST:: SOT -2003254887 SOS 1736542646 HAS SOPS 1736542646 HAS SOUS 290010042 HAS SOUPS 290010042 WITH SCORE 2.91746584646E8
AT ITER 3673 NEW BEST:: SOT -2003280481 SOS 1736427473 HAS SOPS 1736427473 HAS SOUS 290010042 HAS SOUPS 290010042 WITH SCORE 2.91746469473E8
AT ITER 3687 NEW BEST:: SOT -2003292385 SOS 1736373902 HAS SOPS 1736373902 HAS SOUS 290010039 HAS SOUPS 290010039 WITH SCORE 2.91746412902E8
AT ITER 3696 NEW BEST:: SOT -2003324799 SOS 1736228034 HAS SOPS 1736228034 HAS SOUS 290010034 HAS SOUPS 290010034 WITH SCORE 2.91746262034E8
AT ITER 3702 NEW BEST:: SOT -2003340127 SOS 1736159056 HAS SOPS 1736159056 HAS SOUS 290010032 HAS SOUPS 290010032 WITH SCORE 2.91746191056E8
AT ITER 3714 NEW BEST:: SOT -2003353607 SOS 1736098393 HAS SOPS 1736098393 HAS SOUS 290010029 HAS SOUPS 290010029 WITH SCORE 2.91746127393E8
AT ITER 3721 NEW BEST:: SOT -2003368073 SOS 1736033292 HAS SOPS 1736033292 HAS SOUS 290010025 HAS SOUPS 290010025 WITH SCORE 2.91746058292E8
AT ITER 3723 NEW BEST:: SOT -2003418323 SOS 1735807161 HAS SOPS 1735807161 HAS SOUS 290010019 HAS SOUPS 290010019 WITH SCORE 2.91745826161E8
AT ITER 3727 NEW BEST:: SOT -2003447763 SOS 1735674676 HAS SOPS 1735674676 HAS SOUS 290010014 HAS SOUPS 290010014 WITH SCORE 2.91745688676E8
AT ITER 3747 NEW BEST:: SOT -2003465005 SOS 1735597084 HAS SOPS 1735597084 HAS SOUS 290010011 HAS SOUPS 290010011 WITH SCORE 2.91745608084E8
AT ITER 3773 NEW BEST:: SOT -2003476057 SOS 1735547343 HAS SOPS 1735547343 HAS SOUS 290010002 HAS SOUPS 290010002 WITH SCORE 2.91745549343E8
AT ITER 3776 NEW BEST:: SOT -2003509407 SOS 1735397263 HAS SOPS 1735397263 HAS SOUS 290009997 HAS SOUPS 290009997 WITH SCORE 2.91745394263E8
AT ITER 3784 NEW BEST:: SOT -2003532279 SOS 1735294338 HAS SOPS 1735294338 HAS SOUS 290009996 HAS SOUPS 290009996 WITH SCORE 2.91745290338E8
AT ITER 3803 NEW BEST:: SOT -2003543761 SOS 1735242663 HAS SOPS 1735242663 HAS SOUS 290009990 HAS SOUPS 290009990 WITH SCORE 2.91745232663E8
AT ITER 3806 NEW BEST:: SOT -2003573107 SOS 1735110599 HAS SOPS 1735110599 HAS SOUS 290009981 HAS SOUPS 290009981 WITH SCORE 2.91745091599E8
AT ITER 3834 NEW BEST:: SOT -2003606497 SOS 1734960338 HAS SOPS 1734960338 HAS SOUS 290009975 HAS SOUPS 290009975 WITH SCORE 2.91744935338E8
AT ITER 3863 NEW BEST:: SOT -2003627211 SOS 1734857299 HAS SOPS 1734857299 HAS SOUS 290000783 HAS SOUPS 290000783 WITH SCORE 2.91735640299E8
AT ITER 3864 NEW BEST:: SOT -2003679101 SOS 1734623790 HAS SOPS 1734623790 HAS SOUS 290000779 HAS SOUPS 290000779 WITH SCORE 2.9173540279E8
AT ITER 3873 NEW BEST:: SOT -2003720583 SOS 1734437114 HAS SOPS 1734437114 HAS SOUS 290000770 HAS SOUPS 290000770 WITH SCORE 2.91735207114E8
AT ITER 3888 NEW BEST:: SOT -2003755329 SOS 1734280757 HAS SOPS 1734280757 HAS SOUS 290000770 HAS SOUPS 290000770 WITH SCORE 2.91735050757E8
AT ITER 3941 NEW BEST:: SOT -2003803033 SOS 1734066083 HAS SOPS 1734066083 HAS SOUS 290000764 HAS SOUPS 290000764 WITH SCORE 2.91734830083E8
AT ITER 3947 NEW BEST:: SOT -2003811507 SOS 1734027949 HAS SOPS 1734027949 HAS SOUS 290000763 HAS SOUPS 290000763 WITH SCORE 2.91734790949E8
AT ITER 3958 NEW BEST:: SOT -2003852967 SOS 1733841373 HAS SOPS 1733841373 HAS SOUS 290000757 HAS SOUPS 290000757 WITH SCORE 2.91734598373E8
AT ITER 3968 NEW BEST:: SOT -2003888995 SOS 1733679240 HAS SOPS 1733679240 HAS SOUS 290000748 HAS SOUPS 290000748 WITH SCORE 2.9173442724E8
AT ITER 3975 NEW BEST:: SOT -2003909991 SOS 1733584756 HAS SOPS 1733584756 HAS SOUS 290000746 HAS SOUPS 290000746 WITH SCORE 2.91734330756E8
AT ITER 4020 NEW BEST:: SOT -2003936989 SOS 1733463258 HAS SOPS 1733463258 HAS SOUS 290000737 HAS SOUPS 290000737 WITH SCORE 2.91734200258E8
AT ITER 4023 NEW BEST:: SOT -2003977351 SOS 1733281624 HAS SOPS 1733281624 HAS SOUS 290000732 HAS SOUPS 290000732 WITH SCORE 2.91734013624E8
AT ITER 4029 NEW BEST:: SOT -2004003819 SOS 1733149698 HAS SOPS 1733149698 HAS SOUS 289987912 HAS SOUPS 289987912 WITH SCORE 2.91721061698E8
AT ITER 4043 NEW BEST:: SOT -2004021085 SOS 1733072000 HAS SOPS 1733072000 HAS SOUS 289987911 HAS SOUPS 289987911 WITH SCORE 2.91720983E8
AT ITER 4045 NEW BEST:: SOT -2004031993 SOS 1733022911 HAS SOPS 1733022911 HAS SOUS 289987908 HAS SOUPS 289987908 WITH SCORE 2.91720930911E8
AT ITER 4046 NEW BEST:: SOT -2004048381 SOS 1732949162 HAS SOPS 1732949162 HAS SOUS 289987905 HAS SOUPS 289987905 WITH SCORE 2.91720854162E8
AT ITER 4056 NEW BEST:: SOT -2004090261 SOS 1732760696 HAS SOPS 1732760696 HAS SOUS 289987899 HAS SOUPS 289987899 WITH SCORE 2.91720659696E8
AT ITER 4062 NEW BEST:: SOT -2004144025 SOS 1732518753 HAS SOPS 1732518753 HAS SOUS 289987894 HAS SOUPS 289987894 WITH SCORE 2.91720412753E8
AT ITER 4078 NEW BEST:: SOT -2004192793 SOS 1732299294 HAS SOPS 1732299294 HAS SOUS 289987891 HAS SOUPS 289987891 WITH SCORE 2.91720190294E8
AT ITER 4081 NEW BEST:: SOT -2004200535 SOS 1732260584 HAS SOPS 1732260584 HAS SOUS 289984020 HAS SOUPS 289984020 WITH SCORE 2.91716280584E8
AT ITER 4103 NEW BEST:: SOT -2004215031 SOS 1732195348 HAS SOPS 1732195348 HAS SOUS 289984016 HAS SOUPS 289984016 WITH SCORE 2.91716211348E8
AT ITER 4127 NEW BEST:: SOT -2004269815 SOS 1731948819 HAS SOPS 1731948819 HAS SOUS 289984015 HAS SOUPS 289984015 WITH SCORE 2.91715963819E8
AT ITER 4128 NEW BEST:: SOT -2004309387 SOS 1731770738 HAS SOPS 1731770738 HAS SOUS 289984006 HAS SOUPS 289984006 WITH SCORE 2.91715776738E8
AT ITER 4131 NEW BEST:: SOT -2004313907 SOS 1731750394 HAS SOPS 1731750394 HAS SOUS 289984002 HAS SOUPS 289984002 WITH SCORE 2.91715752394E8
AT ITER 4132 NEW BEST:: SOT -2004329803 SOS 1731670914 HAS SOPS 1731670914 HAS SOUS 289976054 HAS SOUPS 289976054 WITH SCORE 2.91707724914E8
AT ITER 4136 NEW BEST:: SOT -2004344007 SOS 1731606996 HAS SOPS 1731606996 HAS SOUS 289976054 HAS SOUPS 289976054 WITH SCORE 2.91707660996E8
AT ITER 4140 NEW BEST:: SOT -2004362247 SOS 1731524916 HAS SOPS 1731524916 HAS SOUS 289976054 HAS SOUPS 289976054 WITH SCORE 2.91707578916E8
AT ITER 4153 NEW BEST:: SOT -2004389277 SOS 1731403281 HAS SOPS 1731403281 HAS SOUS 289976054 HAS SOUPS 289976054 WITH SCORE 2.91707457281E8
AT ITER 4155 NEW BEST:: SOT -2004408933 SOS 1731314822 HAS SOPS 1731314822 HAS SOUS 289976045 HAS SOUPS 289976045 WITH SCORE 2.91707359822E8
AT ITER 4186 NEW BEST:: SOT -2004423929 SOS 1731247334 HAS SOPS 1731247334 HAS SOUS 289976039 HAS SOUPS 289976039 WITH SCORE 2.91707286334E8
AT ITER 4199 NEW BEST:: SOT -2004480339 SOS 1730993482 HAS SOPS 1730993482 HAS SOUS 289976030 HAS SOUPS 289976030 WITH SCORE 2.91707023482E8
AT ITER 4200 NEW BEST:: SOT -2004511096 SOS 1730837922 HAS SOPS 1730837922 HAS SOUS 289966004 HAS SOUPS 289966004 WITH SCORE 2.91696841922E8
AT ITER 4217 NEW BEST:: SOT -2004539476 SOS 1730710210 HAS SOPS 1730710210 HAS SOUS 289966002 HAS SOUPS 289966002 WITH SCORE 2.9169671221E8
AT ITER 4227 NEW BEST:: SOT -2004577046 SOS 1730517788 HAS SOPS 1730517788 HAS SOUS 289951087 HAS SOUPS 289951087 WITH SCORE 2.91681604788E8
AT ITER 4228 NEW BEST:: SOT -2004595219 SOS 1730421620 HAS SOPS 1730421620 HAS SOUS 289947397 HAS SOUPS 289947397 WITH SCORE 2.9167781862E8
AT ITER 4237 NEW BEST:: SOT -2004639651 SOS 1730221675 HAS SOPS 1730221675 HAS SOUS 289947396 HAS SOUPS 289947396 WITH SCORE 2.91677617675E8
AT ITER 4252 NEW BEST:: SOT -2004645037 SOS 1730197438 HAS SOPS 1730197438 HAS SOUS 289947396 HAS SOUPS 289947396 WITH SCORE 2.91677593438E8
AT ITER 4268 NEW BEST:: SOT -2004677907 SOS 1730049522 HAS SOPS 1730049522 HAS SOUS 289947395 HAS SOUPS 289947395 WITH SCORE 2.91677444522E8
AT ITER 4293 NEW BEST:: SOT -2004713087 SOS 1729891212 HAS SOPS 1729891212 HAS SOUS 289947395 HAS SOUPS 289947395 WITH SCORE 2.91677286212E8
AT ITER 4312 NEW BEST:: SOT -2004737409 SOS 1729781763 HAS SOPS 1729781763 HAS SOUS 289947395 HAS SOUPS 289947395 WITH SCORE 2.91677176763E8
AT ITER 4341 NEW BEST:: SOT -2004775529 SOS 1729610217 HAS SOPS 1729610217 HAS SOUS 289947389 HAS SOUPS 289947389 WITH SCORE 2.91676999217E8
AT ITER 4354 NEW BEST:: SOT -2004815909 SOS 1729428505 HAS SOPS 1729428505 HAS SOUS 289947387 HAS SOUPS 289947387 WITH SCORE 2.91676815505E8
AT ITER 4357 NEW BEST:: SOT -2004851325 SOS 1729269130 HAS SOPS 1729269130 HAS SOUS 289947384 HAS SOUPS 289947384 WITH SCORE 2.9167665313E8
AT ITER 4362 NEW BEST:: SOT -2004890303 SOS 1729093725 HAS SOPS 1729093725 HAS SOUS 289947380 HAS SOUPS 289947380 WITH SCORE 2.91676473725E8
AT ITER 4377 NEW BEST:: SOT -2004902165 SOS 1729040346 HAS SOPS 1729040346 HAS SOUS 289947380 HAS SOUPS 289947380 WITH SCORE 2.91676420346E8
AT ITER 4378 NEW BEST:: SOT -2004916245 SOS 1728976985 HAS SOPS 1728976985 HAS SOUS 289947379 HAS SOUPS 289947379 WITH SCORE 2.91676355985E8
AT ITER 4386 NEW BEST:: SOT -2004979737 SOS 1728691269 HAS SOPS 1728691269 HAS SOUS 289947377 HAS SOUPS 289947377 WITH SCORE 2.91676068269E8
AT ITER 4393 NEW BEST:: SOT -2004995251 SOS 1728621449 HAS SOPS 1728621449 HAS SOUS 289947368 HAS SOUPS 289947368 WITH SCORE 2.91675989449E8
AT ITER 4394 NEW BEST:: SOT -2004995251 SOS 1728621443 HAS SOPS 1728621443 HAS SOUS 289947362 HAS SOUPS 289947362 WITH SCORE 2.91675983443E8
AT ITER 4406 NEW BEST:: SOT -2005030721 SOS 1728446502 HAS SOPS 1728446502 HAS SOUS 289932036 HAS SOUPS 289932036 WITH SCORE 2.91660482502E8
AT ITER 4444 NEW BEST:: SOT -2005086253 SOS 1728196604 HAS SOPS 1728196604 HAS SOUS 289932032 HAS SOUPS 289932032 WITH SCORE 2.91660228604E8
AT ITER 4456 NEW BEST:: SOT -2005100551 SOS 1728132261 HAS SOPS 1728132261 HAS SOUS 289932030 HAS SOUPS 289932030 WITH SCORE 2.91660162261E8
AT ITER 4460 NEW BEST:: SOT -2005100551 SOS 1728132255 HAS SOPS 1728132255 HAS SOUS 289932024 HAS SOUPS 289932024 WITH SCORE 2.91660156255E8
AT ITER 4475 NEW BEST:: SOT -2005184197 SOS 1727825245 HAS SOPS 1727825245 HAS SOUS 289927597 HAS SOUPS 289927597 WITH SCORE 2.91655422245E8
AT ITER 4476 NEW BEST:: SOT -2005232123 SOS 1727609573 HAS SOPS 1727609573 HAS SOUS 289927592 HAS SOUPS 289927592 WITH SCORE 2.91655201573E8
AT ITER 4479 NEW BEST:: SOT -2005245361 SOS 1727543383 HAS SOPS 1727543383 HAS SOUS 289920973 HAS SOUPS 289920973 WITH SCORE 2.91648516383E8
AT ITER 4491 NEW BEST:: SOT -2005271565 SOS 1727425465 HAS SOPS 1727425465 HAS SOUS 289920973 HAS SOUPS 289920973 WITH SCORE 2.91648398465E8
AT ITER 4504 NEW BEST:: SOT -2005312995 SOS 1727239023 HAS SOPS 1727239023 HAS SOUS 289920964 HAS SOUPS 289920964 WITH SCORE 2.91648203023E8
AT ITER 4510 NEW BEST:: SOT -2005332091 SOS 1727153091 HAS SOPS 1727153091 HAS SOUS 289920964 HAS SOUPS 289920964 WITH SCORE 2.91648117091E8
AT ITER 4511 NEW BEST:: SOT -2005365223 SOS 1727003996 HAS SOPS 1727003996 HAS SOUS 289920963 HAS SOUPS 289920963 WITH SCORE 2.91647966996E8
AT ITER 4523 NEW BEST:: SOT -2005393805 SOS 1726875372 HAS SOPS 1726875372 HAS SOUS 289920958 HAS SOUPS 289920958 WITH SCORE 2.91647833372E8
AT ITER 4533 NEW BEST:: SOT -2005437635 SOS 1726657028 HAS SOPS 1726657028 HAS SOUS 289899849 HAS SOUPS 289899849 WITH SCORE 2.91626506028E8
AT ITER 4534 NEW BEST:: SOT -2005489107 SOS 1726425402 HAS SOPS 1726425402 HAS SOUS 289899847 HAS SOUPS 289899847 WITH SCORE 2.91626272402E8
AT ITER 4535 NEW BEST:: SOT -2005499973 SOS 1726376505 HAS SOPS 1726376505 HAS SOUS 289899847 HAS SOUPS 289899847 WITH SCORE 2.91626223505E8
AT ITER 4551 NEW BEST:: SOT -2005517555 SOS 1726297383 HAS SOPS 1726297383 HAS SOUS 289899844 HAS SOUPS 289899844 WITH SCORE 2.91626141383E8
AT ITER 4553 NEW BEST:: SOT -2005579443 SOS 1726018881 HAS SOPS 1726018881 HAS SOUS 289899838 HAS SOUPS 289899838 WITH SCORE 2.91625856881E8
AT ITER 4564 NEW BEST:: SOT -2005635903 SOS 1725764808 HAS SOPS 1725764808 HAS SOUS 289899835 HAS SOUPS 289899835 WITH SCORE 2.91625599808E8
AT ITER 4582 NEW BEST:: SOT -2005662631 SOS 1725718435 HAS SOPS 1725718435 HAS SOUS 289867614 HAS SOUPS 289867614 WITH SCORE 2.91593332435E8
AT ITER 4587 NEW BEST:: SOT -2005699073 SOS 1725554442 HAS SOPS 1725554442 HAS SOUS 289867610 HAS SOUPS 289867610 WITH SCORE 2.91593164442E8
AT ITER 4592 NEW BEST:: SOT -2005705703 SOS 1725521785 HAS SOPS 1725521785 HAS SOUS 289864788 HAS SOUPS 289864788 WITH SCORE 2.91590309785E8
AT ITER 4593 NEW BEST:: SOT -2005796403 SOS 1725198541 HAS SOPS 1725198541 HAS SOUS 289859726 HAS SOUPS 289859726 WITH SCORE 2.91584924541E8
AT ITER 4605 NEW BEST:: SOT -2005824103 SOS 1725073884 HAS SOPS 1725073884 HAS SOUS 289859717 HAS SOUPS 289859717 WITH SCORE 2.91584790884E8
AT ITER 4622 NEW BEST:: SOT -2005838149 SOS 1725010673 HAS SOPS 1725010673 HAS SOUS 289859713 HAS SOUPS 289859713 WITH SCORE 2.91584723673E8
AT ITER 4640 NEW BEST:: SOT -2005865537 SOS 1724887425 HAS SOPS 1724887425 HAS SOUS 289859711 HAS SOUPS 289859711 WITH SCORE 2.91584598425E8
AT ITER 4645 NEW BEST:: SOT -2005909815 SOS 1724597289 HAS SOPS 1724597289 HAS SOUS 289857247 HAS SOUPS 289857247 WITH SCORE 2.91581844289E8
AT ITER 4650 NEW BEST:: SOT -2005938001 SOS 1724457605 HAS SOPS 1724457605 HAS SOUS 289844400 HAS SOUPS 289844400 WITH SCORE 2.91568857605E8
AT ITER 4652 NEW BEST:: SOT -2005955979 SOS 1724376697 HAS SOPS 1724376697 HAS SOUS 289844391 HAS SOUPS 289844391 WITH SCORE 2.91568767697E8
AT ITER 4672 NEW BEST:: SOT -2006037828 SOS 1724057610 HAS SOPS 1724057610 HAS SOUS 289834549 HAS SOUPS 289834549 WITH SCORE 2.9155860661E8
AT ITER 4680 NEW BEST:: SOT -2006097288 SOS 1723790038 HAS SOPS 1723790038 HAS SOUS 289834547 HAS SOUPS 289834547 WITH SCORE 2.91558337038E8
AT ITER 4688 NEW BEST:: SOT -2006104836 SOS 1723756067 HAS SOPS 1723756067 HAS SOUS 289834542 HAS SOUPS 289834542 WITH SCORE 2.91558298067E8
AT ITER 4690 NEW BEST:: SOT -2006132922 SOS 1723629677 HAS SOPS 1723629677 HAS SOUS 289834539 HAS SOUPS 289834539 WITH SCORE 2.91558168677E8
AT ITER 4691 NEW BEST:: SOT -2006149882 SOS 1723544877 HAS SOPS 1723544877 HAS SOUS 289826059 HAS SOUPS 289826059 WITH SCORE 2.91549603877E8
AT ITER 4692 NEW BEST:: SOT -2006157880 SOS 1723508879 HAS SOPS 1723508879 HAS SOUS 289826050 HAS SOUPS 289826050 WITH SCORE 2.91549558879E8
AT ITER 4695 NEW BEST:: SOT -2006194676 SOS 1723343293 HAS SOPS 1723343293 HAS SOUS 289826046 HAS SOUPS 289826046 WITH SCORE 2.91549389293E8
AT ITER 4712 NEW BEST:: SOT -2006215171 SOS 1723237329 HAS SOPS 1723237329 HAS SOUS 289820685 HAS SOUPS 289820685 WITH SCORE 2.91543922329E8
AT ITER 4719 NEW BEST:: SOT -2006246501 SOS 1723096342 HAS SOPS 1723096342 HAS SOUS 289820683 HAS SOUPS 289820683 WITH SCORE 2.91543779342E8
AT ITER 4726 NEW BEST:: SOT -2006296901 SOS 1722869537 HAS SOPS 1722869537 HAS SOUS 289820678 HAS SOUPS 289820678 WITH SCORE 2.91543547537E8
AT ITER 4727 NEW BEST:: SOT -2006352045 SOS 1722621382 HAS SOPS 1722621382 HAS SOUS 289820669 HAS SOUPS 289820669 WITH SCORE 2.91543290382E8
AT ITER 4731 NEW BEST:: SOT -2006370819 SOS 1722536892 HAS SOPS 1722536892 HAS SOUS 289820660 HAS SOUPS 289820660 WITH SCORE 2.91543196892E8
AT ITER 4749 NEW BEST:: SOT -2006426431 SOS 1722286638 HAS SOPS 1722286638 HAS SOUS 289820660 HAS SOUPS 289820660 WITH SCORE 2.91542946638E8
AT ITER 4768 NEW BEST:: SOT -2006489579 SOS 1722002470 HAS SOPS 1722002470 HAS SOUS 289820658 HAS SOUPS 289820658 WITH SCORE 2.9154266047E8
AT ITER 4790 NEW BEST:: SOT -2006523451 SOS 1721850046 HAS SOPS 1721850046 HAS SOUS 289820658 HAS SOUPS 289820658 WITH SCORE 2.91542508046E8
AT ITER 4797 NEW BEST:: SOT -2006535655 SOS 1721795123 HAS SOPS 1721795123 HAS SOUS 289820653 HAS SOUPS 289820653 WITH SCORE 2.91542448123E8
AT ITER 4802 NEW BEST:: SOT -2006547499 SOS 1721741818 HAS SOPS 1721741818 HAS SOUS 289820644 HAS SOUPS 289820644 WITH SCORE 2.91542385818E8
AT ITER 4811 NEW BEST:: SOT -2006548735 SOS 1721736253 HAS SOPS 1721736253 HAS SOUS 289820641 HAS SOUPS 289820641 WITH SCORE 2.91542377253E8
AT ITER 4815 NEW BEST:: SOT -2006584689 SOS 1721574453 HAS SOPS 1721574453 HAS SOUS 289820632 HAS SOUPS 289820632 WITH SCORE 2.91542206453E8
AT ITER 4828 NEW BEST:: SOT -2006590537 SOS 1721548133 HAS SOPS 1721548133 HAS SOUS 289820628 HAS SOUPS 289820628 WITH SCORE 2.91542176133E8
AT ITER 4833 NEW BEST:: SOT -2006597403 SOS 1721517231 HAS SOPS 1721517231 HAS SOUS 289820623 HAS SOUPS 289820623 WITH SCORE 2.91542140231E8
AT ITER 4837 NEW BEST:: SOT -2006634817 SOS 1721330161 HAS SOPS 1721330161 HAS SOUS 289801916 HAS SOUPS 289801916 WITH SCORE 2.91523246161E8
AT ITER 4839 NEW BEST:: SOT -2006667283 SOS 1721184058 HAS SOPS 1721184058 HAS SOUS 289801910 HAS SOUPS 289801910 WITH SCORE 2.91523094058E8
AT ITER 4844 NEW BEST:: SOT -2006699513 SOS 1721024215 HAS SOPS 1721024215 HAS SOUS 289787102 HAS SOUPS 289787102 WITH SCORE 2.91508126215E8
AT ITER 4850 NEW BEST:: SOT -2006702085 SOS 1721012639 HAS SOPS 1721012639 HAS SOUS 289787100 HAS SOUPS 289787100 WITH SCORE 2.91508112639E8
AT ITER 4853 NEW BEST:: SOT -2006715233 SOS 1720953469 HAS SOPS 1720953469 HAS SOUS 289787096 HAS SOUPS 289787096 WITH SCORE 2.91508049469E8
AT ITER 4854 NEW BEST:: SOT -2006777483 SOS 1720673342 HAS SOPS 1720673342 HAS SOUS 289787094 HAS SOUPS 289787094 WITH SCORE 2.91507767342E8
AT ITER 4857 NEW BEST:: SOT -2006839783 SOS 1720392987 HAS SOPS 1720392987 HAS SOUS 289787089 HAS SOUPS 289787089 WITH SCORE 2.91507481987E8
AT ITER 4906 NEW BEST:: SOT -2006892397 SOS 1720156217 HAS SOPS 1720156217 HAS SOUS 289787080 HAS SOUPS 289787080 WITH SCORE 2.91507236217E8
AT ITER 4907 NEW BEST:: SOT -2006897735 SOS 1720132193 HAS SOPS 1720132193 HAS SOUS 289787077 HAS SOUPS 289787077 WITH SCORE 2.91507209193E8
AT ITER 4917 NEW BEST:: SOT -2006940533 SOS 1719939596 HAS SOPS 1719939596 HAS SOUS 289787071 HAS SOUPS 289787071 WITH SCORE 2.91507010596E8
AT ITER 4954 NEW BEST:: SOT -2006965287 SOS 1719828203 HAS SOPS 1719828203 HAS SOUS 289787071 HAS SOUPS 289787071 WITH SCORE 2.91506899203E8
AT ITER 4967 NEW BEST:: SOT -2006984241 SOS 1719728923 HAS SOPS 1719728923 HAS SOUS 289781813 HAS SOUPS 289781813 WITH SCORE 2.91501541923E8
AT ITER 4973 NEW BEST:: SOT -2007048771 SOS 1719438538 HAS SOPS 1719438538 HAS SOUS 289781813 HAS SOUPS 289781813 WITH SCORE 2.91501251538E8
AT ITER 4978 NEW BEST:: SOT -2007059263 SOS 1719391320 HAS SOPS 1719391320 HAS SOUS 289781809 HAS SOUPS 289781809 WITH SCORE 2.9150120032E8
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-00 (EU( ( ( (! ((potential((tk(P31737)>=1) & (tk(P31777)>=1))))) | ( ((potential((tk(P20775)>=1) & (tk(P20806)>=1)))) | ((potential((tk(P14017)>=1) & (tk(P14005)>=1)))) ) ) | ( ( ((potential((tk(P17273)>=1) & (tk(P17279)>=1)))) | ((potential((tk(P22659)>=1) & (tk(P22705)>=1)))) ) | (! ((potential((tk(P22664)>=1) & (tk(P22675)>=1))))) ) ) , ((potential((tk(P20635)>=1) & (tk(P20653)>=1)))) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-01 ( (! ( (AF( ( ((potential((tk(P774)>=1) & (tk(P802)>=1)))) | ((potential((tk(P22301)>=1) & (tk(P22336)>=1)))) ))) & (AF( (! ((potential((tk(P32872)>=1) & (tk(P32900)>=1))))))) )) & (AF( ( (! ((potential((tk(P33574)>=1) & (tk(P33607)>=1))))) | (EF( ((potential((tk(P14838)>=1) & (tk(P14888)>=1)))))) ))) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-02 ( (! ( (EX( ( ((potential((tk(P42008)>=1)))) & ((potential((tk(P25256)>=1) & (tk(P25262)>=1)))) ))) | (AF( ( ((potential((tk(P33743)>=1) & (tk(P33773)>=1)))) & ((potential((tk(P14771)>=1) & (tk(P14796)>=1)))) ))) )) & ( ( ((potential((tk(P10372)>=1) & (tk(P10393)>=1)))) | ( ( (! ((potential((tk(P8594)>=1) & (tk(P8614)>=1))))) | (! ((potential((tk(P31796)>=1) & (tk(P31811)>=1))))) ) | ( ((potential((tk(P928)>=1) & (tk(P969)>=1)))) | (! ((potential((tk(P3062)>=1) & (tk(P3081)>=1))))) ) ) ) | ( ((potential((tk(P35450)>=1) & (tk(P35464)>=1)))) & (! (EX( ((potential((tk(P36315)>=1) & (tk(P36342)>=1))))))) ) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-03 ( (! ( (EG( (! ((potential((tk(P36640)>=1) & (tk(P36644)>=1))))))) | (AX( ((potential((tk(P23517)>=1) & (tk(P23524)>=1)))))) )) & ( (! (EF( ( ((potential((tk(P42827)>=1) & (tk(P42847)>=1)))) & ((potential((tk(P44996)>=1)))) )))) | ( (! ( (! ((potential((tk(P36659)>=1) & (tk(P36671)>=1))))) | ((potential((tk(P36184)>=1) & (tk(P36356)>=1)))) )) & (! ( ((potential((tk(P5394)>=1) & (tk(P5424)>=1)))) & ((potential((tk(P42204)>=1) & (tk(P42238)>=1)))) )) ) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-04 (! (EU( (! ((potential((tk(P18995)>=1) & (tk(P19033)>=1))))) , (EG( ((potential((tk(P2428)>=1) & (tk(P2466)>=1)))))) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-05 (AU( (! ((potential((tk(P1795)>=1) & (tk(P1818)>=1))))) , (EU( ((potential((tk(P1485)>=1) & (tk(P1448)>=1)))) , ((potential((tk(P4253)>=1) & (tk(P4531)>=1)))) )) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-06 (AU( (! (EX( ((potential((tk(P19228)>=1) & (tk(P19235)>=1))))))) , (AF( ( ((potential((tk(P37294)>=1)))) & ((potential((tk(P8487)>=1) & (tk(P8509)>=1)))) ))) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-07 (! (AX( (EF( ((potential((tk(P7288)>=1) & (tk(P7267)>=1)))))))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-08 (AF( ( ( (AG( ((potential((tk(P1970)>=1) & (tk(P1978)>=1)))))) | ( ( ((potential((tk(P6702)>=1) & (tk(P6720)>=1)))) & ((potential((tk(P15864)>=1) & (tk(P15895)>=1)))) ) & ( ((potential((tk(P16938)>=1) & (tk(P17334)>=1)))) & ((potential((tk(P16947)>=1) & (tk(P16997)>=1)))) ) ) ) & ( ( ( ((potential((tk(P987)>=1) & (tk(P1015)>=1)))) | ((potential((tk(P4536)>=1) & (tk(P4570)>=1)))) ) & ( ((potential((tk(P43216)>=1) & (tk(P43239)>=1)))) & ((potential((tk(P37310)>=1) & (tk(P37266)>=1)))) ) ) & (AG( ((potential((tk(P39172)>=1) & (tk(P39183)>=1)))))) ) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-09 ( (EG( ( (AF( ((potential((tk(P1497)>=1) & (tk(P1510)>=1)))))) | (! (! ((potential((tk(P20204)>=1) & (tk(P20216)>=1)))))) ))) | ((potential((tk(P22607)>=1) & (tk(P22634)>=1)))) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-10 ( (! ( (EU( ((potential((tk(P16795)>=1) & (tk(P16755)>=1)))) , ((potential((tk(P8882)>=1) & (tk(P8918)>=1)))) )) & (EX( ( ((potential((tk(P12651)>=1) & (tk(P12690)>=1)))) & ((potential((tk(P22773)>=1) & (tk(P22785)>=1)))) ))) )) & ( ( (AU( ((potential((tk(P20918)>=1)))) , ((potential((tk(P7917)>=1) & (tk(P7932)>=1)))) )) & ( (AG( ((potential((tk(P5515)>=1) & (tk(P5521)>=1)))))) & (AG( ((potential((tk(P41045)>=1) & (tk(P41091)>=1)))))) ) ) | (AF( (! (! ((potential((tk(P9792)>=1) & (tk(P9812)>=1)))))))) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-11 (AF( (AX( (AF( ((potential((tk(P30591)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-12 ( ((potential((tk(P40554)>=1) & (tk(P40564)>=1)))) | (AF( ( ((potential((tk(P16084)>=1) & (tk(P16144)>=1)))) | ( ((potential((tk(P28692)>=1) & (tk(P28646)>=1)))) | ( ((potential((tk(P20430)>=1) & (tk(P20460)>=1)))) & ((potential((tk(P6655)>=1) & (tk(P6656)>=1)))) ) ) ))) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-13 (EF( ( ( (AX( ((potential((tk(P36184)>=1) & (tk(P36244)>=1)))))) | (EF( ((potential((tk(P45303)>=1)))))) ) & (AU( ((potential((tk(P44367)>=1) & (tk(P44389)>=1)))) , ((potential((tk(P14938)>=1) & (tk(P14946)>=1)))) )) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-14 (AF( ((potential((tk(P34884)>=1) & (tk(P34906)>=1))))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLFireability-15 ( ( (AG( ( (! ((potential((tk(P4458)>=1) & (tk(P4427)>=1))))) | ( ((potential((tk(P31958)>=1) & (tk(P32005)>=1)))) | ((potential((tk(P3489)>=1) & (tk(P3525)>=1)))) ) ))) | (EU( ((potential((tk(P41314)>=1) & (tk(P41320)>=1)))) , ((potential((tk(P32868)>=1) & (tk(P32891)>=1)))) )) ) & (AG( (! (AF( ((potential((tk(P46030)>=1) & (tk(P45992)>=1))))))))) )
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S08D1C2A04"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S08D1C2A04, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033539000564"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S08D1C2A04.tgz
mv ViralEpidemic-PT-S08D1C2A04 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;