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.970 | 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-159033539000563.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033539000563
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S08D1C2A04-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590475760448
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A04
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 1 NEW BEST:: SOT -1993049249 SOS 1781565358 HAS SOPS 1781565358 HAS SOUS 290401187 HAS SOUPS 290401187 WITH SCORE 2.92182752358E8
AT ITER 6 NEW BEST:: SOT -1993096457 SOS 1781352919 HAS SOPS 1781352919 HAS SOUS 290401184 HAS SOUPS 290401184 WITH SCORE 2.92182536919E8
AT ITER 13 NEW BEST:: SOT -1993106193 SOS 1781309104 HAS SOPS 1781309104 HAS SOUS 290401181 HAS SOUPS 290401181 WITH SCORE 2.92182490104E8
AT ITER 14 NEW BEST:: SOT -1993116039 SOS 1781264790 HAS SOPS 1781264790 HAS SOUS 290401172 HAS SOUPS 290401172 WITH SCORE 2.9218243679E8
AT ITER 38 NEW BEST:: SOT -1993133179 SOS 1781187660 HAS SOPS 1781187660 HAS SOUS 290401172 HAS SOUPS 290401172 WITH SCORE 2.9218235966E8
AT ITER 41 NEW BEST:: SOT -1993180665 SOS 1780973971 HAS SOPS 1780973971 HAS SOUS 290401170 HAS SOUPS 290401170 WITH SCORE 2.92182143971E8
AT ITER 51 NEW BEST:: SOT -1993204117 SOS 1780868436 HAS SOPS 1780868436 HAS SOUS 290401169 HAS SOUPS 290401169 WITH SCORE 2.92182037436E8
AT ITER 54 NEW BEST:: SOT -1993241459 SOS 1780700393 HAS SOPS 1780700393 HAS SOUS 290401165 HAS SOUPS 290401165 WITH SCORE 2.92181865393E8
AT ITER 55 NEW BEST:: SOT -1993255559 SOS 1780636940 HAS SOPS 1780636940 HAS SOUS 290401162 HAS SOUPS 290401162 WITH SCORE 2.9218179894E8
AT ITER 70 NEW BEST:: SOT -1993276613 SOS 1780542193 HAS SOPS 1780542193 HAS SOUS 290401158 HAS SOUPS 290401158 WITH SCORE 2.92181700193E8
AT ITER 84 NEW BEST:: SOT -1993294061 SOS 1780463677 HAS SOPS 1780463677 HAS SOUS 290401158 HAS SOUPS 290401158 WITH SCORE 2.92181621677E8
AT ITER 105 NEW BEST:: SOT -1993358407 SOS 1780174114 HAS SOPS 1780174114 HAS SOUS 290401152 HAS SOUPS 290401152 WITH SCORE 2.92181326114E8
AT ITER 112 NEW BEST:: SOT -1993367799 SOS 1780131846 HAS SOPS 1780131846 HAS SOUS 290401148 HAS SOUPS 290401148 WITH SCORE 2.92181279846E8
AT ITER 115 NEW BEST:: SOT -1993386503 SOS 1780047673 HAS SOPS 1780047673 HAS SOUS 290401143 HAS SOUPS 290401143 WITH SCORE 2.92181190673E8
AT ITER 138 NEW BEST:: SOT -1993421461 SOS 1779890362 HAS SOPS 1779890362 HAS SOUS 290401143 HAS SOUPS 290401143 WITH SCORE 2.92181033362E8
AT ITER 149 NEW BEST:: SOT -1993445031 SOS 1779784296 HAS SOPS 1779784296 HAS SOUS 290401142 HAS SOUPS 290401142 WITH SCORE 2.92180926296E8
AT ITER 152 NEW BEST:: SOT -1993473229 SOS 1779657404 HAS SOPS 1779657404 HAS SOUS 290401141 HAS SOUPS 290401141 WITH SCORE 2.92180798404E8
AT ITER 158 NEW BEST:: SOT -1993511219 SOS 1779486444 HAS SOPS 1779486444 HAS SOUS 290401136 HAS SOUPS 290401136 WITH SCORE 2.92180622444E8
AT ITER 169 NEW BEST:: SOT -1993516387 SOS 1779463187 HAS SOPS 1779463187 HAS SOUS 290401135 HAS SOUPS 290401135 WITH SCORE 2.92180598187E8
AT ITER 177 NEW BEST:: SOT -1993566997 SOS 1779235435 HAS SOPS 1779235435 HAS SOUS 290401126 HAS SOUPS 290401126 WITH SCORE 2.92180361435E8
AT ITER 187 NEW BEST:: SOT -1993591177 SOS 1779126619 HAS SOPS 1779126619 HAS SOUS 290401120 HAS SOUPS 290401120 WITH SCORE 2.92180246619E8
AT ITER 210 NEW BEST:: SOT -1993622341 SOS 1778986376 HAS SOPS 1778986376 HAS SOUS 290401115 HAS SOUPS 290401115 WITH SCORE 2.92180101376E8
AT ITER 213 NEW BEST:: SOT -1993629883 SOS 1778952430 HAS SOPS 1778952430 HAS SOUS 290401106 HAS SOUPS 290401106 WITH SCORE 2.9218005843E8
AT ITER 232 NEW BEST:: SOT -1993678531 SOS 1778733508 HAS SOPS 1778733508 HAS SOUS 290401100 HAS SOUPS 290401100 WITH SCORE 2.92179833508E8
AT ITER 242 NEW BEST:: SOT -1993710845 SOS 1778588091 HAS SOPS 1778588091 HAS SOUS 290401096 HAS SOUPS 290401096 WITH SCORE 2.92179684091E8
AT ITER 257 NEW BEST:: SOT -1993757311 SOS 1778378987 HAS SOPS 1778378987 HAS SOUS 290401087 HAS SOUPS 290401087 WITH SCORE 2.92179465987E8
AT ITER 262 NEW BEST:: SOT -1993777925 SOS 1778273677 HAS SOPS 1778273677 HAS SOUS 290399530 HAS SOUPS 290399530 WITH SCORE 2.92177803677E8
AT ITER 284 NEW BEST:: SOT -1993788799 SOS 1778224739 HAS SOPS 1778224739 HAS SOUS 290399525 HAS SOUPS 290399525 WITH SCORE 2.92177749739E8
AT ITER 292 NEW BEST:: SOT -1993800177 SOS 1778173535 HAS SOPS 1778173535 HAS SOUS 290399522 HAS SOUPS 290399522 WITH SCORE 2.92177695535E8
AT ITER 300 NEW BEST:: SOT -1993826219 SOS 1778056341 HAS SOPS 1778056341 HAS SOUS 290399517 HAS SOUPS 290399517 WITH SCORE 2.92177573341E8
AT ITER 303 NEW BEST:: SOT -1993838269 SOS 1778002114 HAS SOPS 1778002114 HAS SOUS 290399515 HAS SOUPS 290399515 WITH SCORE 2.92177517114E8
AT ITER 309 NEW BEST:: SOT -1993860035 SOS 1777904165 HAS SOPS 1777904165 HAS SOUS 290399513 HAS SOUPS 290399513 WITH SCORE 2.92177417165E8
AT ITER 312 NEW BEST:: SOT -1993902129 SOS 1777714739 HAS SOPS 1777714739 HAS SOUS 290399510 HAS SOUPS 290399510 WITH SCORE 2.92177224739E8
AT ITER 334 NEW BEST:: SOT -1993908347 SOS 1777686757 HAS SOPS 1777686757 HAS SOUS 290399509 HAS SOUPS 290399509 WITH SCORE 2.92177195757E8
AT ITER 349 NEW BEST:: SOT -1993928551 SOS 1777595832 HAS SOPS 1777595832 HAS SOUS 290399500 HAS SOUPS 290399500 WITH SCORE 2.92177095832E8
AT ITER 357 NEW BEST:: SOT -1993967389 SOS 1777421057 HAS SOPS 1777421057 HAS SOUS 290399496 HAS SOUPS 290399496 WITH SCORE 2.92176917057E8
AT ITER 361 NEW BEST:: SOT -1993982631 SOS 1777352464 HAS SOPS 1777352464 HAS SOUS 290399492 HAS SOUPS 290399492 WITH SCORE 2.92176844464E8
AT ITER 368 NEW BEST:: SOT -1993994869 SOS 1777297391 HAS SOPS 1777297391 HAS SOUS 290399490 HAS SOUPS 290399490 WITH SCORE 2.92176787391E8
AT ITER 384 NEW BEST:: SOT -1994033505 SOS 1777123522 HAS SOPS 1777123522 HAS SOUS 290399481 HAS SOUPS 290399481 WITH SCORE 2.92176604522E8
AT ITER 393 NEW BEST:: SOT -1994050575 SOS 1777046706 HAS SOPS 1777046706 HAS SOUS 290399480 HAS SOUPS 290399480 WITH SCORE 2.92176526706E8
AT ITER 397 NEW BEST:: SOT -1994102337 SOS 1776813770 HAS SOPS 1776813770 HAS SOUS 290399471 HAS SOUPS 290399471 WITH SCORE 2.9217628477E8
AT ITER 402 NEW BEST:: SOT -1994125897 SOS 1776707748 HAS SOPS 1776707748 HAS SOUS 290399469 HAS SOUPS 290399469 WITH SCORE 2.92176176748E8
AT ITER 406 NEW BEST:: SOT -1994177705 SOS 1776474608 HAS SOPS 1776474608 HAS SOUS 290399465 HAS SOUPS 290399465 WITH SCORE 2.92175939608E8
AT ITER 413 NEW BEST:: SOT -1994237075 SOS 1776207441 HAS SOPS 1776207441 HAS SOUS 290399463 HAS SOUPS 290399463 WITH SCORE 2.92175670441E8
AT ITER 433 NEW BEST:: SOT -1994252623 SOS 1776137473 HAS SOPS 1776137473 HAS SOUS 290399461 HAS SOUPS 290399461 WITH SCORE 2.92175598473E8
AT ITER 447 NEW BEST:: SOT -1994298783 SOS 1775929753 HAS SOPS 1775929753 HAS SOUS 290399461 HAS SOUPS 290399461 WITH SCORE 2.92175390753E8
AT ITER 455 NEW BEST:: SOT -1994310079 SOS 1775878918 HAS SOPS 1775878918 HAS SOUS 290399458 HAS SOUPS 290399458 WITH SCORE 2.92175336918E8
AT ITER 488 NEW BEST:: SOT -1994317673 SOS 1775844744 HAS SOPS 1775844744 HAS SOUS 290399457 HAS SOUPS 290399457 WITH SCORE 2.92175301744E8
AT ITER 526 NEW BEST:: SOT -1994344217 SOS 1775725296 HAS SOPS 1775725296 HAS SOUS 290399457 HAS SOUPS 290399457 WITH SCORE 2.92175182296E8
AT ITER 529 NEW BEST:: SOT -1994379125 SOS 1775568209 HAS SOPS 1775568209 HAS SOUS 290399456 HAS SOUPS 290399456 WITH SCORE 2.92175024209E8
AT ITER 546 NEW BEST:: SOT -1994422475 SOS 1775373133 HAS SOPS 1775373133 HAS SOUS 290399455 HAS SOUPS 290399455 WITH SCORE 2.92174828133E8
AT ITER 550 NEW BEST:: SOT -1994467181 SOS 1775171954 HAS SOPS 1775171954 HAS SOUS 290399453 HAS SOUPS 290399453 WITH SCORE 2.92174624954E8
AT ITER 557 NEW BEST:: SOT -1994472416 SOS 1775154504 HAS SOPS 1775154504 HAS SOUS 290397708 HAS SOUPS 290397708 WITH SCORE 2.92172862504E8
AT ITER 560 NEW BEST:: SOT -1994498662 SOS 1775036393 HAS SOPS 1775036393 HAS SOUS 290397704 HAS SOUPS 290397704 WITH SCORE 2.92172740393E8
AT ITER 575 NEW BEST:: SOT -1994506838 SOS 1774999598 HAS SOPS 1774999598 HAS SOUS 290397701 HAS SOUPS 290397701 WITH SCORE 2.92172700598E8
AT ITER 578 NEW BEST:: SOT -1994540260 SOS 1774849198 HAS SOPS 1774849198 HAS SOUS 290397700 HAS SOUPS 290397700 WITH SCORE 2.92172549198E8
AT ITER 582 NEW BEST:: SOT -1994564414 SOS 1774740503 HAS SOPS 1774740503 HAS SOUS 290397698 HAS SOUPS 290397698 WITH SCORE 2.92172438503E8
AT ITER 583 NEW BEST:: SOT -1994600668 SOS 1774577360 HAS SOPS 1774577360 HAS SOUS 290397698 HAS SOUPS 290397698 WITH SCORE 2.9217227536E8
AT ITER 584 NEW BEST:: SOT -1994636174 SOS 1774417582 HAS SOPS 1774417582 HAS SOUS 290397697 HAS SOUPS 290397697 WITH SCORE 2.92172114582E8
AT ITER 585 NEW BEST:: SOT -1994646438 SOS 1774371388 HAS SOPS 1774371388 HAS SOUS 290397691 HAS SOUPS 290397691 WITH SCORE 2.92172062388E8
AT ITER 625 NEW BEST:: SOT -1994673790 SOS 1774248302 HAS SOPS 1774248302 HAS SOUS 290397689 HAS SOUPS 290397689 WITH SCORE 2.92171937302E8
AT ITER 633 NEW BEST:: SOT -1994701554 SOS 1774123363 HAS SOPS 1774123363 HAS SOUS 290397688 HAS SOUPS 290397688 WITH SCORE 2.92171811363E8
AT ITER 662 NEW BEST:: SOT -1994737146 SOS 1773963192 HAS SOPS 1773963192 HAS SOUS 290397679 HAS SOUPS 290397679 WITH SCORE 2.92171642192E8
AT ITER 679 NEW BEST:: SOT -1994780628 SOS 1773767521 HAS SOPS 1773767521 HAS SOUS 290397677 HAS SOUPS 290397677 WITH SCORE 2.92171444521E8
AT ITER 693 NEW BEST:: SOT -1994810200 SOS 1773634447 HAS SOPS 1773634447 HAS SOUS 290397677 HAS SOUPS 290397677 WITH SCORE 2.92171311447E8
AT ITER 699 NEW BEST:: SOT -1994819770 SOS 1773591378 HAS SOPS 1773591378 HAS SOUS 290397673 HAS SOUPS 290397673 WITH SCORE 2.92171264378E8
AT ITER 713 NEW BEST:: SOT -1994829208 SOS 1773548904 HAS SOPS 1773548904 HAS SOUS 290397670 HAS SOUPS 290397670 WITH SCORE 2.92171218904E8
AT ITER 732 NEW BEST:: SOT -1994844736 SOS 1773479022 HAS SOPS 1773479022 HAS SOUS 290397664 HAS SOUPS 290397664 WITH SCORE 2.92171143022E8
AT ITER 744 NEW BEST:: SOT -1994883156 SOS 1773306132 HAS SOPS 1773306132 HAS SOUS 290397664 HAS SOUPS 290397664 WITH SCORE 2.92170970132E8
AT ITER 745 NEW BEST:: SOT -1994906910 SOS 1773199237 HAS SOPS 1773199237 HAS SOUS 290397662 HAS SOUPS 290397662 WITH SCORE 2.92170861237E8
AT ITER 747 NEW BEST:: SOT -1994945522 SOS 1773025483 HAS SOPS 1773025483 HAS SOUS 290397662 HAS SOUPS 290397662 WITH SCORE 2.92170687483E8
AT ITER 753 NEW BEST:: SOT -1994979080 SOS 1772874466 HAS SOPS 1772874466 HAS SOUS 290397656 HAS SOUPS 290397656 WITH SCORE 2.92170530466E8
AT ITER 781 NEW BEST:: SOT -1994996818 SOS 1772794641 HAS SOPS 1772794641 HAS SOUS 290397652 HAS SOUPS 290397652 WITH SCORE 2.92170446641E8
AT ITER 783 NEW BEST:: SOT -1995011642 SOS 1772720881 HAS SOPS 1772720881 HAS SOUS 290390600 HAS SOUPS 290390600 WITH SCORE 2.92163320881E8
AT ITER 797 NEW BEST:: SOT -1995027416 SOS 1772649895 HAS SOPS 1772649895 HAS SOUS 290390597 HAS SOUPS 290390597 WITH SCORE 2.92163246895E8
AT ITER 801 NEW BEST:: SOT -1995060846 SOS 1772499460 HAS SOPS 1772499460 HAS SOUS 290390597 HAS SOUPS 290390597 WITH SCORE 2.9216309646E8
AT ITER 825 NEW BEST:: SOT -1995077808 SOS 1772423129 HAS SOPS 1772423129 HAS SOUS 290390595 HAS SOUPS 290390595 WITH SCORE 2.92163018129E8
AT ITER 827 NEW BEST:: SOT -1995091652 SOS 1772360829 HAS SOPS 1772360829 HAS SOUS 290390593 HAS SOUPS 290390593 WITH SCORE 2.92162953829E8
AT ITER 828 NEW BEST:: SOT -1995101722 SOS 1772315510 HAS SOPS 1772315510 HAS SOUS 290390589 HAS SOUPS 290390589 WITH SCORE 2.9216290451E8
AT ITER 838 NEW BEST:: SOT -1995117912 SOS 1772242649 HAS SOPS 1772242649 HAS SOUS 290390583 HAS SOUPS 290390583 WITH SCORE 2.92162825649E8
AT ITER 843 NEW BEST:: SOT -1995143182 SOS 1772128929 HAS SOPS 1772128929 HAS SOUS 290390578 HAS SOUPS 290390578 WITH SCORE 2.92162706929E8
AT ITER 846 NEW BEST:: SOT -1995153562 SOS 1772082218 HAS SOPS 1772082218 HAS SOUS 290390577 HAS SOUPS 290390577 WITH SCORE 2.92162659218E8
AT ITER 868 NEW BEST:: SOT -1995163436 SOS 1772037778 HAS SOPS 1772037778 HAS SOUS 290390568 HAS SOUPS 290390568 WITH SCORE 2.92162605778E8
AT ITER 887 NEW BEST:: SOT -1995165138 SOS 1772030119 HAS SOPS 1772030119 HAS SOUS 290390568 HAS SOUPS 290390568 WITH SCORE 2.92162598119E8
AT ITER 898 NEW BEST:: SOT -1995176278 SOS 1771979983 HAS SOPS 1771979983 HAS SOUS 290390562 HAS SOUPS 290390562 WITH SCORE 2.92162541983E8
AT ITER 916 NEW BEST:: SOT -1995187732 SOS 1771941802 HAS SOPS 1771941802 HAS SOUS 290386743 HAS SOUPS 290386743 WITH SCORE 2.92158684802E8
AT ITER 921 NEW BEST:: SOT -1995207052 SOS 1771854857 HAS SOPS 1771854857 HAS SOUS 290386738 HAS SOUPS 290386738 WITH SCORE 2.92158592857E8
AT ITER 950 NEW BEST:: SOT -1995255000 SOS 1771639090 HAS SOPS 1771639090 HAS SOUS 290386737 HAS SOUPS 290386737 WITH SCORE 2.9215837609E8
AT ITER 955 NEW BEST:: SOT -1995279906 SOS 1771479368 HAS SOPS 1771479368 HAS SOUS 290386045 HAS SOUPS 290386045 WITH SCORE 2.92157524368E8
AT ITER 958 NEW BEST:: SOT -1995279906 SOS 1771479362 HAS SOPS 1771479362 HAS SOUS 290386039 HAS SOUPS 290386039 WITH SCORE 2.92157518362E8
AT ITER 961 NEW BEST:: SOT -1995302350 SOS 1771378359 HAS SOPS 1771378359 HAS SOUS 290386034 HAS SOUPS 290386034 WITH SCORE 2.92157412359E8
AT ITER 962 NEW BEST:: SOT -1995352298 SOS 1771153590 HAS SOPS 1771153590 HAS SOUS 290386031 HAS SOUPS 290386031 WITH SCORE 2.9215718459E8
AT ITER 967 NEW BEST:: SOT -1995361182 SOS 1771113608 HAS SOPS 1771113608 HAS SOUS 290386027 HAS SOUPS 290386027 WITH SCORE 2.92157140608E8
AT ITER 984 NEW BEST:: SOT -1995425782 SOS 1770822908 HAS SOPS 1770822908 HAS SOUS 290386027 HAS SOUPS 290386027 WITH SCORE 2.92156849908E8
AT ITER 991 NEW BEST:: SOT -1995479708 SOS 1770580234 HAS SOPS 1770580234 HAS SOUS 290386018 HAS SOUPS 290386018 WITH SCORE 2.92156598234E8
AT ITER 1000 NEW BEST:: SOT -1995487070 SOS 1770547100 HAS SOPS 1770547100 HAS SOUS 290386013 HAS SOUPS 290386013 WITH SCORE 2.921565601E8
AT ITER 1028 NEW BEST:: SOT -1995506526 SOS 1770459541 HAS SOPS 1770459541 HAS SOUS 290386004 HAS SOUPS 290386004 WITH SCORE 2.92156463541E8
AT ITER 1056 NEW BEST:: SOT -1995533592 SOS 1770337743 HAS SOPS 1770337743 HAS SOUS 290386003 HAS SOUPS 290386003 WITH SCORE 2.92156340743E8
AT ITER 1058 NEW BEST:: SOT -1995547824 SOS 1770273697 HAS SOPS 1770273697 HAS SOUS 290386001 HAS SOUPS 290386001 WITH SCORE 2.92156274697E8
AT ITER 1067 NEW BEST:: SOT -1995603442 SOS 1770023412 HAS SOPS 1770023412 HAS SOUS 290385997 HAS SOUPS 290385997 WITH SCORE 2.92156020412E8
AT ITER 1068 NEW BEST:: SOT -1995657498 SOS 1769780156 HAS SOPS 1769780156 HAS SOUS 290385993 HAS SOUPS 290385993 WITH SCORE 2.92155773156E8
AT ITER 1076 NEW BEST:: SOT -1995713018 SOS 1769530311 HAS SOPS 1769530311 HAS SOUS 290385988 HAS SOUPS 290385988 WITH SCORE 2.92155518311E8
AT ITER 1102 NEW BEST:: SOT -1995729060 SOS 1769458116 HAS SOPS 1769458116 HAS SOUS 290385982 HAS SOUPS 290385982 WITH SCORE 2.92155440116E8
AT ITER 1103 NEW BEST:: SOT -1995738170 SOS 1769417116 HAS SOPS 1769417116 HAS SOUS 290385977 HAS SOUPS 290385977 WITH SCORE 2.92155394116E8
AT ITER 1126 NEW BEST:: SOT -1995747942 SOS 1769373142 HAS SOPS 1769373142 HAS SOUS 290385977 HAS SOUPS 290385977 WITH SCORE 2.92155350142E8
AT ITER 1132 NEW BEST:: SOT -1995761442 SOS 1769312387 HAS SOPS 1769312387 HAS SOUS 290385972 HAS SOUPS 290385972 WITH SCORE 2.92155284387E8
AT ITER 1134 NEW BEST:: SOT -1995785232 SOS 1769205332 HAS SOPS 1769205332 HAS SOUS 290385972 HAS SOUPS 290385972 WITH SCORE 2.92155177332E8
AT ITER 1147 NEW BEST:: SOT -1995795078 SOS 1769161018 HAS SOPS 1769161018 HAS SOUS 290385963 HAS SOUPS 290385963 WITH SCORE 2.92155124018E8
AT ITER 1173 NEW BEST:: SOT -1995805662 SOS 1769113385 HAS SOPS 1769113385 HAS SOUS 290385958 HAS SOUPS 290385958 WITH SCORE 2.92155071385E8
AT ITER 1183 NEW BEST:: SOT -1995863172 SOS 1768854587 HAS SOPS 1768854587 HAS SOUS 290385955 HAS SOUPS 290385955 WITH SCORE 2.92154809587E8
AT ITER 1198 NEW BEST:: SOT -1995876084 SOS 1768796483 HAS SOPS 1768796483 HAS SOUS 290385955 HAS SOUPS 290385955 WITH SCORE 2.92154751483E8
AT ITER 1204 NEW BEST:: SOT -1995923988 SOS 1768580913 HAS SOPS 1768580913 HAS SOUS 290385953 HAS SOUPS 290385953 WITH SCORE 2.92154533913E8
AT ITER 1207 NEW BEST:: SOT -1995948822 SOS 1768469155 HAS SOPS 1768469155 HAS SOUS 290385948 HAS SOUPS 290385948 WITH SCORE 2.92154417155E8
AT ITER 1213 NEW BEST:: SOT -1995998468 SOS 1768245746 HAS SOPS 1768245746 HAS SOUS 290385946 HAS SOUPS 290385946 WITH SCORE 2.92154191746E8
AT ITER 1233 NEW BEST:: SOT -1996041086 SOS 1768053962 HAS SOPS 1768053962 HAS SOUS 290385943 HAS SOUPS 290385943 WITH SCORE 2.92153996962E8
AT ITER 1238 NEW BEST:: SOT -1996095520 SOS 1767809003 HAS SOPS 1767809003 HAS SOUS 290385937 HAS SOUPS 290385937 WITH SCORE 2.92153746003E8
AT ITER 1253 NEW BEST:: SOT -1996110936 SOS 1767739626 HAS SOPS 1767739626 HAS SOUS 290385932 HAS SOUPS 290385932 WITH SCORE 2.92153671626E8
AT ITER 1268 NEW BEST:: SOT -1996132918 SOS 1767640705 HAS SOPS 1767640705 HAS SOUS 290385930 HAS SOUPS 290385930 WITH SCORE 2.92153570705E8
AT ITER 1273 NEW BEST:: SOT -1996186926 SOS 1767397667 HAS SOPS 1767397667 HAS SOUS 290385928 HAS SOUPS 290385928 WITH SCORE 2.92153325667E8
AT ITER 1278 NEW BEST:: SOT -1996215776 SOS 1767267839 HAS SOPS 1767267839 HAS SOUS 290385925 HAS SOUPS 290385925 WITH SCORE 2.92153192839E8
AT ITER 1293 NEW BEST:: SOT -1996269388 SOS 1767026585 HAS SOPS 1767026585 HAS SOUS 290385925 HAS SOUPS 290385925 WITH SCORE 2.92152951585E8
AT ITER 1307 NEW BEST:: SOT -1996335736 SOS 1766728016 HAS SOPS 1766728016 HAS SOUS 290385922 HAS SOUPS 290385922 WITH SCORE 2.92152650016E8
AT ITER 1315 NEW BEST:: SOT -1996368314 SOS 1766581409 HAS SOPS 1766581409 HAS SOUS 290385916 HAS SOUPS 290385916 WITH SCORE 2.92152497409E8
AT ITER 1318 NEW BEST:: SOT -1996398988 SOS 1766443370 HAS SOPS 1766443370 HAS SOUS 290385910 HAS SOUPS 290385910 WITH SCORE 2.9215235337E8
AT ITER 1320 NEW BEST:: SOT -1996433168 SOS 1766289554 HAS SOPS 1766289554 HAS SOUS 290385904 HAS SOUPS 290385904 WITH SCORE 2.92152193554E8
AT ITER 1334 NEW BEST:: SOT -1996470778 SOS 1766120302 HAS SOPS 1766120302 HAS SOUS 290385895 HAS SOUPS 290385895 WITH SCORE 2.92152015302E8
AT ITER 1336 NEW BEST:: SOT -1996526850 SOS 1765867975 HAS SOPS 1765867975 HAS SOUS 290385892 HAS SOUPS 290385892 WITH SCORE 2.92151759975E8
AT ITER 1338 NEW BEST:: SOT -1996550574 SOS 1765761212 HAS SOPS 1765761212 HAS SOUS 290385887 HAS SOUPS 290385887 WITH SCORE 2.92151648212E8
AT ITER 1353 NEW BEST:: SOT -1996553132 SOS 1765749701 HAS SOPS 1765749701 HAS SOUS 290385887 HAS SOUPS 290385887 WITH SCORE 2.92151636701E8
AT ITER 1358 NEW BEST:: SOT -1996616760 SOS 1765463372 HAS SOPS 1765463372 HAS SOUS 290385884 HAS SOUPS 290385884 WITH SCORE 2.92151347372E8
AT ITER 1363 NEW BEST:: SOT -1996626722 SOS 1765418540 HAS SOPS 1765418540 HAS SOUS 290385881 HAS SOUPS 290385881 WITH SCORE 2.9215129954E8
AT ITER 1368 NEW BEST:: SOT -1996668644 SOS 1765229885 HAS SOPS 1765229885 HAS SOUS 290385875 HAS SOUPS 290385875 WITH SCORE 2.92151104885E8
AT ITER 1373 NEW BEST:: SOT -1996696596 SOS 1765104097 HAS SOPS 1765104097 HAS SOUS 290385871 HAS SOUPS 290385871 WITH SCORE 2.92150975097E8
AT ITER 1391 NEW BEST:: SOT -1996717856 SOS 1765008423 HAS SOPS 1765008423 HAS SOUS 290385867 HAS SOUPS 290385867 WITH SCORE 2.92150875423E8
AT ITER 1405 NEW BEST:: SOT -1996742662 SOS 1764896795 HAS SOPS 1764896795 HAS SOUS 290385866 HAS SOUPS 290385866 WITH SCORE 2.92150762795E8
AT ITER 1421 NEW BEST:: SOT -1996788446 SOS 1764690763 HAS SOPS 1764690763 HAS SOUS 290385862 HAS SOUPS 290385862 WITH SCORE 2.92150552763E8
AT ITER 1423 NEW BEST:: SOT -1996815436 SOS 1764569302 HAS SOPS 1764569302 HAS SOUS 290385856 HAS SOUPS 290385856 WITH SCORE 2.92150425302E8
AT ITER 1439 NEW BEST:: SOT -1996825360 SOS 1764524642 HAS SOPS 1764524642 HAS SOUS 290385854 HAS SOUPS 290385854 WITH SCORE 2.92150378642E8
AT ITER 1484 NEW BEST:: SOT -1996858067 SOS 1764355824 HAS SOPS 1764355824 HAS SOUS 290378018 HAS SOUPS 290378018 WITH SCORE 2.92142373824E8
AT ITER 1488 NEW BEST:: SOT -1996886473 SOS 1764227996 HAS SOPS 1764227996 HAS SOUS 290378017 HAS SOUPS 290378017 WITH SCORE 2.92142244996E8
AT ITER 1504 NEW BEST:: SOT -1996944019 SOS 1763969033 HAS SOPS 1763969033 HAS SOUS 290378011 HAS SOUPS 290378011 WITH SCORE 2.92141980033E8
AT ITER 1511 NEW BEST:: SOT -1996993221 SOS 1763747618 HAS SOPS 1763747618 HAS SOUS 290378005 HAS SOUPS 290378005 WITH SCORE 2.92141752618E8
AT ITER 1514 NEW BEST:: SOT -1997035931 SOS 1763555416 HAS SOPS 1763555416 HAS SOUS 290377996 HAS SOUPS 290377996 WITH SCORE 2.92141551416E8
AT ITER 1515 NEW BEST:: SOT -1997043961 SOS 1763519275 HAS SOPS 1763519275 HAS SOUS 290377990 HAS SOUPS 290377990 WITH SCORE 2.92141509275E8
AT ITER 1536 NEW BEST:: SOT -1997064135 SOS 1763428486 HAS SOPS 1763428486 HAS SOUS 290377984 HAS SOUPS 290377984 WITH SCORE 2.92141412486E8
AT ITER 1540 NEW BEST:: SOT -1997081433 SOS 1763350642 HAS SOPS 1763350642 HAS SOUS 290377981 HAS SOUPS 290377981 WITH SCORE 2.92141331642E8
AT ITER 1557 NEW BEST:: SOT -1997130327 SOS 1763107013 HAS SOPS 1763107013 HAS SOUS 290354375 HAS SOUPS 290354375 WITH SCORE 2.92117482013E8
AT ITER 1584 NEW BEST:: SOT -1997158705 SOS 1762979309 HAS SOPS 1762979309 HAS SOUS 290354372 HAS SOUPS 290354372 WITH SCORE 2.92117351309E8
AT ITER 1620 NEW BEST:: SOT -1997216531 SOS 1762719088 HAS SOPS 1762719088 HAS SOUS 290354368 HAS SOUPS 290354368 WITH SCORE 2.92117087088E8
AT ITER 1636 NEW BEST:: SOT -1997242099 SOS 1762604031 HAS SOPS 1762604031 HAS SOUS 290354367 HAS SOUPS 290354367 WITH SCORE 2.92116971031E8
AT ITER 1641 NEW BEST:: SOT -1997249479 SOS 1762570821 HAS SOPS 1762570821 HAS SOUS 290354367 HAS SOUPS 290354367 WITH SCORE 2.92116937821E8
AT ITER 1646 NEW BEST:: SOT -1997306069 SOS 1762316166 HAS SOPS 1762316166 HAS SOUS 290354367 HAS SOUPS 290354367 WITH SCORE 2.92116683166E8
AT ITER 1659 NEW BEST:: SOT -1997338563 SOS 1762151914 HAS SOPS 1762151914 HAS SOUS 290345158 HAS SOUPS 290345158 WITH SCORE 2.92107309914E8
AT ITER 1676 NEW BEST:: SOT -1997355543 SOS 1762075503 HAS SOPS 1762075503 HAS SOUS 290345157 HAS SOUPS 290345157 WITH SCORE 2.92107232503E8
AT ITER 1687 NEW BEST:: SOT -1997359875 SOS 1762056006 HAS SOPS 1762056006 HAS SOUS 290345154 HAS SOUPS 290345154 WITH SCORE 2.92107210006E8
AT ITER 1689 NEW BEST:: SOT -1997401419 SOS 1761869053 HAS SOPS 1761869053 HAS SOUS 290345149 HAS SOUPS 290345149 WITH SCORE 2.92107018053E8
AT ITER 1695 NEW BEST:: SOT -1997444893 SOS 1761673420 HAS SOPS 1761673420 HAS SOUS 290345149 HAS SOUPS 290345149 WITH SCORE 2.9210682242E8
AT ITER 1705 NEW BEST:: SOT -1997468323 SOS 1761567984 HAS SOPS 1761567984 HAS SOUS 290345148 HAS SOUPS 290345148 WITH SCORE 2.92106715984E8
AT ITER 1708 NEW BEST:: SOT -1997483595 SOS 1761499256 HAS SOPS 1761499256 HAS SOUS 290345144 HAS SOUPS 290345144 WITH SCORE 2.92106643256E8
AT ITER 1710 NEW BEST:: SOT -1997499647 SOS 1761427018 HAS SOPS 1761427018 HAS SOUS 290345140 HAS SOUPS 290345140 WITH SCORE 2.92106567018E8
AT ITER 1756 NEW BEST:: SOT -1997537941 SOS 1761254695 HAS SOPS 1761254695 HAS SOUS 290345140 HAS SOUPS 290345140 WITH SCORE 2.92106394695E8
AT ITER 1757 NEW BEST:: SOT -1997546781 SOS 1761210495 HAS SOPS 1761210495 HAS SOUS 290340720 HAS SOUPS 290340720 WITH SCORE 2.92101930495E8
AT ITER 1763 NEW BEST:: SOT -1997557889 SOS 1761160506 HAS SOPS 1761160506 HAS SOUS 290340717 HAS SOUPS 290340717 WITH SCORE 2.92101877506E8
AT ITER 1784 NEW BEST:: SOT -1997623407 SOS 1760865675 HAS SOPS 1760865675 HAS SOUS 290340717 HAS SOUPS 290340717 WITH SCORE 2.92101582675E8
AT ITER 1813 NEW BEST:: SOT -1997642703 SOS 1760778842 HAS SOPS 1760778842 HAS SOUS 290340716 HAS SOUPS 290340716 WITH SCORE 2.92101494842E8
AT ITER 1815 NEW BEST:: SOT -1997706351 SOS 1760492425 HAS SOPS 1760492425 HAS SOUS 290340715 HAS SOUPS 290340715 WITH SCORE 2.92101207425E8
AT ITER 1835 NEW BEST:: SOT -1997717383 SOS 1760442776 HAS SOPS 1760442776 HAS SOUS 290340710 HAS SOUPS 290340710 WITH SCORE 2.92101152776E8
AT ITER 1837 NEW BEST:: SOT -1997718025 SOS 1760439887 HAS SOPS 1760439887 HAS SOUS 290340710 HAS SOUPS 290340710 WITH SCORE 2.92101149887E8
AT ITER 1839 NEW BEST:: SOT -1997722429 SOS 1760425205 HAS SOPS 1760425205 HAS SOUS 290339240 HAS SOUPS 290339240 WITH SCORE 2.92099665205E8
AT ITER 1855 NEW BEST:: SOT -1997766617 SOS 1760226358 HAS SOPS 1760226358 HAS SOUS 290339239 HAS SOUPS 290339239 WITH SCORE 2.92099465358E8
AT ITER 1865 NEW BEST:: SOT -1997856129 SOS 1759909260 HAS SOPS 1759909260 HAS SOUS 290324526 HAS SOUPS 290324526 WITH SCORE 2.9208443526E8
AT ITER 1874 NEW BEST:: SOT -1997915077 SOS 1759643992 HAS SOPS 1759643992 HAS SOUS 290324524 HAS SOUPS 290324524 WITH SCORE 2.92084167992E8
AT ITER 1884 NEW BEST:: SOT -1997958725 SOS 1759447569 HAS SOPS 1759447569 HAS SOUS 290324515 HAS SOUPS 290324515 WITH SCORE 2.92083962569E8
AT ITER 1899 NEW BEST:: SOT -1997962430 SOS 1759435219 HAS SOPS 1759435219 HAS SOUS 290323280 HAS SOUPS 290323280 WITH SCORE 2.92082715219E8
AT ITER 1907 NEW BEST:: SOT -1997976754 SOS 1759358120 HAS SOPS 1759358120 HAS SOUS 290320621 HAS SOUPS 290320621 WITH SCORE 2.9207997912E8
AT ITER 1919 NEW BEST:: SOT -1998015646 SOS 1759183099 HAS SOPS 1759183099 HAS SOUS 290320612 HAS SOUPS 290320612 WITH SCORE 2.92079795099E8
AT ITER 1924 NEW BEST:: SOT -1998067222 SOS 1758951000 HAS SOPS 1758951000 HAS SOUS 290320603 HAS SOUPS 290320603 WITH SCORE 2.92079554E8
AT ITER 1933 NEW BEST:: SOT -1998077016 SOS 1758906922 HAS SOPS 1758906922 HAS SOUS 290320598 HAS SOUPS 290320598 WITH SCORE 2.92079504922E8
AT ITER 1938 NEW BEST:: SOT -1998124102 SOS 1758695031 HAS SOPS 1758695031 HAS SOUS 290320594 HAS SOUPS 290320594 WITH SCORE 2.92079289031E8
AT ITER 1953 NEW BEST:: SOT -1998161306 SOS 1758527608 HAS SOPS 1758527608 HAS SOUS 290320589 HAS SOUPS 290320589 WITH SCORE 2.92079116608E8
AT ITER 1955 NEW BEST:: SOT -1998167132 SOS 1758501385 HAS SOPS 1758501385 HAS SOUS 290320583 HAS SOUPS 290320583 WITH SCORE 2.92079084385E8
AT ITER 1975 NEW BEST:: SOT -1998199066 SOS 1758357681 HAS SOPS 1758357681 HAS SOUS 290320582 HAS SOUPS 290320582 WITH SCORE 2.92078939681E8
AT ITER 1984 NEW BEST:: SOT -1998212222 SOS 1758298474 HAS SOPS 1758298474 HAS SOUS 290320577 HAS SOUPS 290320577 WITH SCORE 2.92078875474E8
AT ITER 2004 NEW BEST:: SOT -1998266556 SOS 1758053970 HAS SOPS 1758053970 HAS SOUS 290320576 HAS SOUPS 290320576 WITH SCORE 2.9207862997E8
AT ITER 2017 NEW BEST:: SOT -1998324226 SOS 1757759330 HAS SOPS 1757759330 HAS SOUS 290296588 HAS SOUPS 290296588 WITH SCORE 2.9205434733E8
AT ITER 2022 NEW BEST:: SOT -1998356794 SOS 1757612774 HAS SOPS 1757612774 HAS SOUS 290296588 HAS SOUPS 290296588 WITH SCORE 2.92054200774E8
AT ITER 2047 NEW BEST:: SOT -1998386780 SOS 1757477831 HAS SOPS 1757477831 HAS SOUS 290296582 HAS SOUPS 290296582 WITH SCORE 2.92054059831E8
AT ITER 2049 NEW BEST:: SOT -1998425600 SOS 1757303135 HAS SOPS 1757303135 HAS SOUS 290296576 HAS SOUPS 290296576 WITH SCORE 2.92053879135E8
AT ITER 2087 NEW BEST:: SOT -1998442454 SOS 1757227288 HAS SOPS 1757227288 HAS SOUS 290296572 HAS SOUPS 290296572 WITH SCORE 2.92053799288E8
AT ITER 2099 NEW BEST:: SOT -1998442454 SOS 1757227282 HAS SOPS 1757227282 HAS SOUS 290296566 HAS SOUPS 290296566 WITH SCORE 2.92053793282E8
AT ITER 2104 NEW BEST:: SOT -1998454360 SOS 1757173703 HAS SOPS 1757173703 HAS SOUS 290296564 HAS SOUPS 290296564 WITH SCORE 2.92053737703E8
AT ITER 2112 NEW BEST:: SOT -1998479054 SOS 1757062575 HAS SOPS 1757062575 HAS SOUS 290296559 HAS SOUPS 290296559 WITH SCORE 2.92053621575E8
AT ITER 2128 NEW BEST:: SOT -1998488928 SOS 1757018139 HAS SOPS 1757018139 HAS SOUS 290296556 HAS SOUPS 290296556 WITH SCORE 2.92053574139E8
AT ITER 2154 NEW BEST:: SOT -1998488928 SOS 1757018136 HAS SOPS 1757018136 HAS SOUS 290296553 HAS SOUPS 290296553 WITH SCORE 2.92053571136E8
AT ITER 2155 NEW BEST:: SOT -1998511506 SOS 1756916529 HAS SOPS 1756916529 HAS SOUS 290296547 HAS SOUPS 290296547 WITH SCORE 2.92053463529E8
AT ITER 2173 NEW BEST:: SOT -1998534970 SOS 1756810940 HAS SOPS 1756810940 HAS SOUS 290296546 HAS SOUPS 290296546 WITH SCORE 2.9205335694E8
AT ITER 2205 NEW BEST:: SOT -1998594436 SOS 1756543338 HAS SOPS 1756543338 HAS SOUS 290296541 HAS SOUPS 290296541 WITH SCORE 2.92053084338E8
AT ITER 2215 NEW BEST:: SOT -1998634644 SOS 1756362395 HAS SOPS 1756362395 HAS SOUS 290296532 HAS SOUPS 290296532 WITH SCORE 2.92052894395E8
AT ITER 2219 NEW BEST:: SOT -1998666270 SOS 1756220071 HAS SOPS 1756220071 HAS SOUS 290296523 HAS SOUPS 290296523 WITH SCORE 2.92052743071E8
AT ITER 2231 NEW BEST:: SOT -1998680921 SOS 1756103562 HAS SOPS 1756103562 HAS SOUS 290296557 HAS SOUPS 290296557 WITH SCORE 2.92052660562E8
AT ITER 2233 NEW BEST:: SOT -1998733415 SOS 1755867333 HAS SOPS 1755867333 HAS SOUS 290296551 HAS SOUPS 290296551 WITH SCORE 2.92052418333E8
AT ITER 2250 NEW BEST:: SOT -1998795477 SOS 1755588049 HAS SOPS 1755588049 HAS SOUS 290296546 HAS SOUPS 290296546 WITH SCORE 2.92052134049E8
AT ITER 2262 NEW BEST:: SOT -1998795477 SOS 1755588048 HAS SOPS 1755588048 HAS SOUS 290296545 HAS SOUPS 290296545 WITH SCORE 2.92052133048E8
AT ITER 2266 NEW BEST:: SOT -1998819491 SOS 1755479985 HAS SOPS 1755479985 HAS SOUS 290296545 HAS SOUPS 290296545 WITH SCORE 2.92052024985E8
AT ITER 2306 NEW BEST:: SOT -1998871199 SOS 1755247293 HAS SOPS 1755247293 HAS SOUS 290296539 HAS SOUPS 290296539 WITH SCORE 2.92051786293E8
AT ITER 2311 NEW BEST:: SOT -1998915351 SOS 1755048606 HAS SOPS 1755048606 HAS SOUS 290296536 HAS SOUPS 290296536 WITH SCORE 2.92051584606E8
AT ITER 2315 NEW BEST:: SOT -1998969889 SOS 1754803181 HAS SOPS 1754803181 HAS SOUS 290296532 HAS SOUPS 290296532 WITH SCORE 2.92051335181E8
AT ITER 2324 NEW BEST:: SOT -1998985633 SOS 1754732332 HAS SOPS 1754732332 HAS SOUS 290296531 HAS SOUPS 290296531 WITH SCORE 2.92051263332E8
AT ITER 2345 NEW BEST:: SOT -1999027915 SOS 1754542058 HAS SOPS 1754542058 HAS SOUS 290296526 HAS SOUPS 290296526 WITH SCORE 2.92051068058E8
AT ITER 2351 NEW BEST:: SOT -1999112936 SOS 1754233767 HAS SOPS 1754233767 HAS SOUS 290286645 HAS SOUPS 290286645 WITH SCORE 2.92040878767E8
AT ITER 2357 NEW BEST:: SOT -1999149568 SOS 1754068919 HAS SOPS 1754068919 HAS SOUS 290286641 HAS SOUPS 290286641 WITH SCORE 2.92040709919E8
AT ITER 2368 NEW BEST:: SOT -1999154980 SOS 1754044565 HAS SOPS 1754044565 HAS SOUS 290286641 HAS SOUPS 290286641 WITH SCORE 2.92040685565E8
AT ITER 2370 NEW BEST:: SOT -1999181350 SOS 1753956665 HAS SOPS 1753956665 HAS SOUS 290277851 HAS SOUPS 290277851 WITH SCORE 2.92031807665E8
AT ITER 2380 NEW BEST:: SOT -1999201862 SOS 1753864355 HAS SOPS 1753864355 HAS SOUS 290277845 HAS SOUPS 290277845 WITH SCORE 2.92031709355E8
AT ITER 2418 NEW BEST:: SOT -1999300230 SOS 1753534735 HAS SOPS 1753534735 HAS SOUS 290247196 HAS SOUPS 290247196 WITH SCORE 2.92000730735E8
AT ITER 2444 NEW BEST:: SOT -1999334662 SOS 1753379784 HAS SOPS 1753379784 HAS SOUS 290247187 HAS SOUPS 290247187 WITH SCORE 2.92000566784E8
AT ITER 2448 NEW BEST:: SOT -1999371972 SOS 1753211885 HAS SOPS 1753211885 HAS SOUS 290247183 HAS SOUPS 290247183 WITH SCORE 2.92000394885E8
AT ITER 2452 NEW BEST:: SOT -1999432742 SOS 1752938418 HAS SOPS 1752938418 HAS SOUS 290247181 HAS SOUPS 290247181 WITH SCORE 2.92000119418E8
AT ITER 2458 NEW BEST:: SOT -1999449074 SOS 1752864917 HAS SOPS 1752864917 HAS SOUS 290247172 HAS SOUPS 290247172 WITH SCORE 2.92000036917E8
AT ITER 2480 NEW BEST:: SOT -1999456766 SOS 1752830303 HAS SOPS 1752830303 HAS SOUS 290247172 HAS SOUPS 290247172 WITH SCORE 2.92000002303E8
AT ITER 2509 NEW BEST:: SOT -1999472472 SOS 1752759621 HAS SOPS 1752759621 HAS SOUS 290247167 HAS SOUPS 290247167 WITH SCORE 2.91999926621E8
AT ITER 2526 NEW BEST:: SOT -1999570093 SOS 1752428611 HAS SOPS 1752428611 HAS SOUS 290218728 HAS SOUPS 290218728 WITH SCORE 2.91971156611E8
AT ITER 2534 NEW BEST:: SOT -1999581999 SOS 1752371270 HAS SOPS 1752371270 HAS SOUS 290214964 HAS SOUPS 290214964 WITH SCORE 2.9196733527E8
AT ITER 2549 NEW BEST:: SOT -1999595121 SOS 1752312216 HAS SOPS 1752312216 HAS SOUS 290214959 HAS SOUPS 290214959 WITH SCORE 2.91967271216E8
AT ITER 2560 NEW BEST:: SOT -1999602435 SOS 1752279298 HAS SOPS 1752279298 HAS SOUS 290214954 HAS SOUPS 290214954 WITH SCORE 2.91967233298E8
AT ITER 2568 NEW BEST:: SOT -1999636715 SOS 1752125032 HAS SOPS 1752125032 HAS SOUS 290214948 HAS SOUPS 290214948 WITH SCORE 2.91967073032E8
AT ITER 2570 NEW BEST:: SOT -1999671531 SOS 1751968356 HAS SOPS 1751968356 HAS SOUS 290214944 HAS SOUPS 290214944 WITH SCORE 2.91966912356E8
AT ITER 2581 NEW BEST:: SOT -1999699567 SOS 1751842190 HAS SOPS 1751842190 HAS SOUS 290214940 HAS SOUPS 290214940 WITH SCORE 2.9196678219E8
AT ITER 2587 NEW BEST:: SOT -1999733533 SOS 1751689336 HAS SOPS 1751689336 HAS SOUS 290214931 HAS SOUPS 290214931 WITH SCORE 2.91966620336E8
AT ITER 2591 NEW BEST:: SOT -1999748745 SOS 1751620877 HAS SOPS 1751620877 HAS SOUS 290214926 HAS SOUPS 290214926 WITH SCORE 2.91966546877E8
AT ITER 2633 NEW BEST:: SOT -1999756221 SOS 1751587231 HAS SOPS 1751587231 HAS SOUS 290214922 HAS SOUPS 290214922 WITH SCORE 2.91966509231E8
AT ITER 2643 NEW BEST:: SOT -1999763075 SOS 1751556383 HAS SOPS 1751556383 HAS SOUS 290214917 HAS SOUPS 290214917 WITH SCORE 2.91966473383E8
AT ITER 2647 NEW BEST:: SOT -1999793543 SOS 1751419274 HAS SOPS 1751419274 HAS SOUS 290214914 HAS SOUPS 290214914 WITH SCORE 2.91966333274E8
AT ITER 2652 NEW BEST:: SOT -1999851583 SOS 1751158092 HAS SOPS 1751158092 HAS SOUS 290214912 HAS SOUPS 290214912 WITH SCORE 2.91966070092E8
AT ITER 2669 NEW BEST:: SOT -1999882745 SOS 1751017860 HAS SOPS 1751017860 HAS SOUS 290214909 HAS SOUPS 290214909 WITH SCORE 2.9196592686E8
AT ITER 2678 NEW BEST:: SOT -1999909469 SOS 1750897599 HAS SOPS 1750897599 HAS SOUS 290214906 HAS SOUPS 290214906 WITH SCORE 2.91965803599E8
AT ITER 2681 NEW BEST:: SOT -1999978031 SOS 1750542082 HAS SOPS 1750542082 HAS SOUS 290188662 HAS SOUPS 290188662 WITH SCORE 2.91939204082E8
AT ITER 2683 NEW BEST:: SOT -1999982219 SOS 1750523235 HAS SOPS 1750523235 HAS SOUS 290188661 HAS SOUPS 290188661 WITH SCORE 2.91939184235E8
AT ITER 2687 NEW BEST:: SOT -2000012029 SOS 1750389085 HAS SOPS 1750389085 HAS SOUS 290188656 HAS SOUPS 290188656 WITH SCORE 2.91939045085E8
AT ITER 2693 NEW BEST:: SOT -2000036989 SOS 1750276765 HAS SOPS 1750276765 HAS SOUS 290188656 HAS SOUPS 290188656 WITH SCORE 2.91938932765E8
AT ITER 2695 NEW BEST:: SOT -2000044309 SOS 1750243824 HAS SOPS 1750243824 HAS SOUS 290188655 HAS SOUPS 290188655 WITH SCORE 2.91938898824E8
AT ITER 2703 NEW BEST:: SOT -2000093367 SOS 1750023059 HAS SOPS 1750023059 HAS SOUS 290188651 HAS SOUPS 290188651 WITH SCORE 2.91938674059E8
AT ITER 2705 NEW BEST:: SOT -2000093367 SOS 1750023054 HAS SOPS 1750023054 HAS SOUS 290188646 HAS SOUPS 290188646 WITH SCORE 2.91938669054E8
AT ITER 2708 NEW BEST:: SOT -2000125427 SOS 1749878783 HAS SOPS 1749878783 HAS SOUS 290188645 HAS SOUPS 290188645 WITH SCORE 2.91938523783E8
AT ITER 2710 NEW BEST:: SOT -2000147471 SOS 1749779583 HAS SOPS 1749779583 HAS SOUS 290188643 HAS SOUPS 290188643 WITH SCORE 2.91938422583E8
AT ITER 2754 NEW BEST:: SOT -2000201177 SOS 1749537900 HAS SOPS 1749537900 HAS SOUS 290188637 HAS SOUPS 290188637 WITH SCORE 2.919381749E8
AT ITER 2763 NEW BEST:: SOT -2000241269 SOS 1749357482 HAS SOPS 1749357482 HAS SOUS 290188633 HAS SOUPS 290188633 WITH SCORE 2.91937990482E8
AT ITER 2768 NEW BEST:: SOT -2000298943 SOS 1749097948 HAS SOPS 1749097948 HAS SOUS 290188632 HAS SOUPS 290188632 WITH SCORE 2.91937729948E8
AT ITER 2783 NEW BEST:: SOT -2000335602 SOS 1748910426 HAS SOPS 1748910426 HAS SOUS 290175039 HAS SOUPS 290175039 WITH SCORE 2.91923949426E8
AT ITER 2795 NEW BEST:: SOT -2000369142 SOS 1748759490 HAS SOPS 1748759490 HAS SOUS 290175033 HAS SOUPS 290175033 WITH SCORE 2.9192379249E8
AT ITER 2806 NEW BEST:: SOT -2000406290 SOS 1748592319 HAS SOPS 1748592319 HAS SOUS 290175028 HAS SOUPS 290175028 WITH SCORE 2.91923620319E8
AT ITER 2817 NEW BEST:: SOT -2000417982 SOS 1748539705 HAS SOPS 1748539705 HAS SOUS 290175028 HAS SOUPS 290175028 WITH SCORE 2.91923567705E8
AT ITER 2822 NEW BEST:: SOT -2000417982 SOS 1748539702 HAS SOPS 1748539702 HAS SOUS 290175025 HAS SOUPS 290175025 WITH SCORE 2.91923564702E8
AT ITER 2856 NEW BEST:: SOT -2000450500 SOS 1748393366 HAS SOPS 1748393366 HAS SOUS 290175020 HAS SOUPS 290175020 WITH SCORE 2.91923413366E8
AT ITER 2870 NEW BEST:: SOT -2000504872 SOS 1748148689 HAS SOPS 1748148689 HAS SOUS 290175017 HAS SOUPS 290175017 WITH SCORE 2.91923165689E8
AT ITER 2873 NEW BEST:: SOT -2000527212 SOS 1748048159 HAS SOPS 1748048159 HAS SOUS 290175017 HAS SOUPS 290175017 WITH SCORE 2.91923065159E8
AT ITER 2874 NEW BEST:: SOT -2000568752 SOS 1747861227 HAS SOPS 1747861227 HAS SOUS 290175015 HAS SOUPS 290175015 WITH SCORE 2.91922876227E8
AT ITER 2878 NEW BEST:: SOT -2000628752 SOS 1747591223 HAS SOPS 1747591223 HAS SOUS 290175011 HAS SOUPS 290175011 WITH SCORE 2.91922602223E8
AT ITER 2882 NEW BEST:: SOT -2000638340 SOS 1747548073 HAS SOPS 1747548073 HAS SOUS 290175007 HAS SOUPS 290175007 WITH SCORE 2.91922555073E8
AT ITER 2890 NEW BEST:: SOT -2000667170 SOS 1747418335 HAS SOPS 1747418335 HAS SOUS 290175004 HAS SOUPS 290175004 WITH SCORE 2.91922422335E8
AT ITER 2891 NEW BEST:: SOT -2000697034 SOS 1747283944 HAS SOPS 1747283944 HAS SOUS 290175001 HAS SOUPS 290175001 WITH SCORE 2.91922284944E8
AT ITER 2892 NEW BEST:: SOT -2000734596 SOS 1747114914 HAS SOPS 1747114914 HAS SOUS 290175000 HAS SOUPS 290175000 WITH SCORE 2.91922114914E8
AT ITER 2900 NEW BEST:: SOT -2000763226 SOS 1746986072 HAS SOPS 1746986072 HAS SOUS 290174991 HAS SOUPS 290174991 WITH SCORE 2.91921977072E8
AT ITER 2901 NEW BEST:: SOT -2000801298 SOS 1746814742 HAS SOPS 1746814742 HAS SOUS 290174985 HAS SOUPS 290174985 WITH SCORE 2.91921799742E8
AT ITER 2908 NEW BEST:: SOT -2000867852 SOS 1746515248 HAS SOPS 1746515248 HAS SOUS 290174984 HAS SOUPS 290174984 WITH SCORE 2.91921499248E8
AT ITER 2912 NEW BEST:: SOT -2000896582 SOS 1746385957 HAS SOPS 1746385957 HAS SOUS 290174978 HAS SOUPS 290174978 WITH SCORE 2.91921363957E8
AT ITER 2917 NEW BEST:: SOT -2000896582 SOS 1746371993 HAS SOPS 1746371993 HAS SOUS 290167884 HAS SOUPS 290167884 WITH SCORE 2.91914255993E8
AT ITER 2922 NEW BEST:: SOT -2000918716 SOS 1746272387 HAS SOPS 1746272387 HAS SOUS 290167881 HAS SOUPS 290167881 WITH SCORE 2.91914153387E8
AT ITER 2946 NEW BEST:: SOT -2000930802 SOS 1746217997 HAS SOPS 1746217997 HAS SOUS 290167878 HAS SOUPS 290167878 WITH SCORE 2.91914095997E8
AT ITER 2964 NEW BEST:: SOT -2000955478 SOS 1746106950 HAS SOPS 1746106950 HAS SOUS 290167873 HAS SOUPS 290167873 WITH SCORE 2.9191397995E8
AT ITER 2966 NEW BEST:: SOT -2000969153 SOS 1746039186 HAS SOPS 1746039186 HAS SOUS 290165241 HAS SOUPS 290165241 WITH SCORE 2.91911280186E8
AT ITER 2968 NEW BEST:: SOT -2001002041 SOS 1745876196 HAS SOPS 1745876196 HAS SOUS 290150243 HAS SOUPS 290150243 WITH SCORE 2.91896119196E8
AT ITER 2992 NEW BEST:: SOT -2001027505 SOS 1745761601 HAS SOPS 1745761601 HAS SOUS 290150234 HAS SOUPS 290150234 WITH SCORE 2.91895995601E8
AT ITER 3004 NEW BEST:: SOT -2001027505 SOS 1745761597 HAS SOPS 1745761597 HAS SOUS 290150230 HAS SOUPS 290150230 WITH SCORE 2.91895991597E8
AT ITER 3013 NEW BEST:: SOT -2001065199 SOS 1745591974 HAS SOPS 1745591974 HAS SOUS 290150230 HAS SOUPS 290150230 WITH SCORE 2.91895821974E8
AT ITER 3023 NEW BEST:: SOT -2001105053 SOS 1745412628 HAS SOPS 1745412628 HAS SOUS 290150227 HAS SOUPS 290150227 WITH SCORE 2.91895639628E8
AT ITER 3029 NEW BEST:: SOT -2001132611 SOS 1745288611 HAS SOPS 1745288611 HAS SOUS 290150221 HAS SOUPS 290150221 WITH SCORE 2.91895509611E8
AT ITER 3072 NEW BEST:: SOT -2001141871 SOS 1745246941 HAS SOPS 1745246941 HAS SOUS 290150221 HAS SOUPS 290150221 WITH SCORE 2.91895467941E8
AT ITER 3094 NEW BEST:: SOT -2001144307 SOS 1745235977 HAS SOPS 1745235977 HAS SOUS 290150219 HAS SOUPS 290150219 WITH SCORE 2.91895454977E8
AT ITER 3102 NEW BEST:: SOT -2001170937 SOS 1745116141 HAS SOPS 1745116141 HAS SOUS 290150218 HAS SOUPS 290150218 WITH SCORE 2.91895334141E8
AT ITER 3103 NEW BEST:: SOT -2001180077 SOS 1745063879 HAS SOPS 1745063879 HAS SOUS 290147162 HAS SOUPS 290147162 WITH SCORE 2.91892225879E8
AT ITER 3108 NEW BEST:: SOT -2001209821 SOS 1744930031 HAS SOPS 1744930031 HAS SOUS 290147162 HAS SOUPS 290147162 WITH SCORE 2.91892092031E8
AT ITER 3120 NEW BEST:: SOT -2001238409 SOS 1744787194 HAS SOPS 1744787194 HAS SOUS 290132971 HAS SOUPS 290132971 WITH SCORE 2.91877758194E8
AT ITER 3121 NEW BEST:: SOT -2001254921 SOS 1744712888 HAS SOPS 1744712888 HAS SOUS 290132969 HAS SOUPS 290132969 WITH SCORE 2.91877681888E8
AT ITER 3125 NEW BEST:: SOT -2001284253 SOS 1744580892 HAS SOPS 1744580892 HAS SOUS 290132967 HAS SOUPS 290132967 WITH SCORE 2.91877547892E8
AT ITER 3126 NEW BEST:: SOT -2001310009 SOS 1744464986 HAS SOPS 1744464986 HAS SOUS 290132963 HAS SOUPS 290132963 WITH SCORE 2.91877427986E8
AT ITER 3131 NEW BEST:: SOT -2001348467 SOS 1744291920 HAS SOPS 1744291920 HAS SOUS 290132958 HAS SOUPS 290132958 WITH SCORE 2.9187724992E8
AT ITER 3135 NEW BEST:: SOT -2001391105 SOS 1744100046 HAS SOPS 1744100046 HAS SOUS 290132955 HAS SOUPS 290132955 WITH SCORE 2.91877055046E8
AT ITER 3145 NEW BEST:: SOT -2001407953 SOS 1744024223 HAS SOPS 1744024223 HAS SOUS 290132946 HAS SOUPS 290132946 WITH SCORE 2.91876970223E8
AT ITER 3152 NEW BEST:: SOT -2001415995 SOS 1743988028 HAS SOPS 1743988028 HAS SOUS 290132940 HAS SOUPS 290132940 WITH SCORE 2.91876928028E8
AT ITER 3167 NEW BEST:: SOT -2001427083 SOS 1743938129 HAS SOPS 1743938129 HAS SOUS 290132937 HAS SOUPS 290132937 WITH SCORE 2.91876875129E8
AT ITER 3180 NEW BEST:: SOT -2001453703 SOS 1743805459 HAS SOPS 1743805459 HAS SOUS 290120057 HAS SOUPS 290120057 WITH SCORE 2.91863862459E8
AT ITER 3195 NEW BEST:: SOT -2001475923 SOS 1743705463 HAS SOPS 1743705463 HAS SOUS 290120051 HAS SOUPS 290120051 WITH SCORE 2.91863756463E8
AT ITER 3206 NEW BEST:: SOT -2001484211 SOS 1743668160 HAS SOPS 1743668160 HAS SOUS 290120042 HAS SOUPS 290120042 WITH SCORE 2.9186371016E8
AT ITER 3214 NEW BEST:: SOT -2001521803 SOS 1743498990 HAS SOPS 1743498990 HAS SOUS 290120036 HAS SOUPS 290120036 WITH SCORE 2.9186353499E8
AT ITER 3219 NEW BEST:: SOT -2001533967 SOS 1743444247 HAS SOPS 1743444247 HAS SOUS 290120031 HAS SOUPS 290120031 WITH SCORE 2.91863475247E8
AT ITER 3231 NEW BEST:: SOT -2001552829 SOS 1743359366 HAS SOPS 1743359366 HAS SOUS 290120029 HAS SOUPS 290120029 WITH SCORE 2.91863388366E8
AT ITER 3257 NEW BEST:: SOT -2001560335 SOS 1743325583 HAS SOPS 1743325583 HAS SOUS 290120023 HAS SOUPS 290120023 WITH SCORE 2.91863348583E8
AT ITER 3274 NEW BEST:: SOT -2001588035 SOS 1743200933 HAS SOPS 1743200933 HAS SOUS 290120023 HAS SOUPS 290120023 WITH SCORE 2.91863223933E8
AT ITER 3296 NEW BEST:: SOT -2001597411 SOS 1743158734 HAS SOPS 1743158734 HAS SOUS 290120014 HAS SOUPS 290120014 WITH SCORE 2.91863172734E8
AT ITER 3299 NEW BEST:: SOT -2001624579 SOS 1743036476 HAS SOPS 1743036476 HAS SOUS 290120012 HAS SOUPS 290120012 WITH SCORE 2.91863048476E8
AT ITER 3304 NEW BEST:: SOT -2001640361 SOS 1742965450 HAS SOPS 1742965450 HAS SOUS 290120003 HAS SOUPS 290120003 WITH SCORE 2.9186296845E8
AT ITER 3320 NEW BEST:: SOT -2001668581 SOS 1742838453 HAS SOPS 1742838453 HAS SOUS 290119994 HAS SOUPS 290119994 WITH SCORE 2.91862832453E8
AT ITER 3322 NEW BEST:: SOT -2001707533 SOS 1742663169 HAS SOPS 1742663169 HAS SOUS 290119994 HAS SOUPS 290119994 WITH SCORE 2.91862657169E8
AT ITER 3328 NEW BEST:: SOT -2001753889 SOS 1742454563 HAS SOPS 1742454563 HAS SOUS 290119990 HAS SOUPS 290119990 WITH SCORE 2.91862444563E8
AT ITER 3337 NEW BEST:: SOT -2001779835 SOS 1742337800 HAS SOPS 1742337800 HAS SOUS 290119984 HAS SOUPS 290119984 WITH SCORE 2.918623218E8
AT ITER 3339 NEW BEST:: SOT -2001822999 SOS 1742077948 HAS SOPS 1742077948 HAS SOUS 290113308 HAS SOUPS 290113308 WITH SCORE 2.91855385948E8
AT ITER 3356 NEW BEST:: SOT -2001851149 SOS 1741951272 HAS SOPS 1741951272 HAS SOUS 290113307 HAS SOUPS 290113307 WITH SCORE 2.91855258272E8
AT ITER 3358 NEW BEST:: SOT -2001869377 SOS 1741869241 HAS SOPS 1741869241 HAS SOUS 290113302 HAS SOUPS 290113302 WITH SCORE 2.91855171241E8
AT ITER 3364 NEW BEST:: SOT -2001882709 SOS 1741809240 HAS SOPS 1741809240 HAS SOUS 290113293 HAS SOUPS 290113293 WITH SCORE 2.9185510224E8
AT ITER 3386 NEW BEST:: SOT -2001943085 SOS 1741499592 HAS SOPS 1741499592 HAS SOUS 290089610 HAS SOUPS 290089610 WITH SCORE 2.91831109592E8
AT ITER 3387 NEW BEST:: SOT -2001982085 SOS 1741324088 HAS SOPS 1741324088 HAS SOUS 290089606 HAS SOUPS 290089606 WITH SCORE 2.91830930088E8
AT ITER 3391 NEW BEST:: SOT -2002004859 SOS 1741208760 HAS SOPS 1741208760 HAS SOUS 290086834 HAS SOUPS 290086834 WITH SCORE 2.9182804276E8
AT ITER 3402 NEW BEST:: SOT -2002035851 SOS 1741069293 HAS SOPS 1741069293 HAS SOUS 290086831 HAS SOUPS 290086831 WITH SCORE 2.91827900293E8
AT ITER 3407 NEW BEST:: SOT -2002071231 SOS 1740910076 HAS SOPS 1740910076 HAS SOUS 290086822 HAS SOUPS 290086822 WITH SCORE 2.91827732076E8
AT ITER 3413 NEW BEST:: SOT -2002085807 SOS 1740844483 HAS SOPS 1740844483 HAS SOUS 290086821 HAS SOUPS 290086821 WITH SCORE 2.91827665483E8
AT ITER 3422 NEW BEST:: SOT -2002088725 SOS 1740831347 HAS SOPS 1740831347 HAS SOUS 290086816 HAS SOUPS 290086816 WITH SCORE 2.91827647347E8
AT ITER 3441 NEW BEST:: SOT -2002123439 SOS 1740675130 HAS SOPS 1740675130 HAS SOUS 290086812 HAS SOUPS 290086812 WITH SCORE 2.9182748713E8
AT ITER 3451 NEW BEST:: SOT -2002153855 SOS 1740523050 HAS SOPS 1740523050 HAS SOUS 290071604 HAS SOUPS 290071604 WITH SCORE 2.9181212705E8
AT ITER 3456 NEW BEST:: SOT -2002191353 SOS 1740354307 HAS SOPS 1740354307 HAS SOUS 290071602 HAS SOUPS 290071602 WITH SCORE 2.91811956307E8
AT ITER 3462 NEW BEST:: SOT -2002196223 SOS 1740332390 HAS SOPS 1740332390 HAS SOUS 290071600 HAS SOUPS 290071600 WITH SCORE 2.9181193239E8
AT ITER 3464 NEW BEST:: SOT -2002200759 SOS 1740311978 HAS SOPS 1740311978 HAS SOUS 290071600 HAS SOUPS 290071600 WITH SCORE 2.91811911978E8
AT ITER 3499 NEW BEST:: SOT -2002253923 SOS 1740072740 HAS SOPS 1740072740 HAS SOUS 290071600 HAS SOUPS 290071600 WITH SCORE 2.9181167274E8
AT ITER 3507 NEW BEST:: SOT -2002300589 SOS 1739862741 HAS SOPS 1739862741 HAS SOUS 290071598 HAS SOUPS 290071598 WITH SCORE 2.91811460741E8
AT ITER 3523 NEW BEST:: SOT -2002312185 SOS 1739810552 HAS SOPS 1739810552 HAS SOUS 290071589 HAS SOUPS 290071589 WITH SCORE 2.91811399552E8
AT ITER 3529 NEW BEST:: SOT -2002318899 SOS 1739780339 HAS SOPS 1739780339 HAS SOUS 290071589 HAS SOUPS 290071589 WITH SCORE 2.91811369339E8
AT ITER 3545 NEW BEST:: SOT -2002324659 SOS 1739754416 HAS SOPS 1739754416 HAS SOUS 290071586 HAS SOUPS 290071586 WITH SCORE 2.91811340416E8
AT ITER 3586 NEW BEST:: SOT -2002342495 SOS 1739674147 HAS SOPS 1739674147 HAS SOUS 290071577 HAS SOUPS 290071577 WITH SCORE 2.91811251147E8
AT ITER 3595 NEW BEST:: SOT -2002360923 SOS 1739591216 HAS SOPS 1739591216 HAS SOUS 290071572 HAS SOUPS 290071572 WITH SCORE 2.91811163216E8
AT ITER 3603 NEW BEST:: SOT -2002417025 SOS 1739338756 HAS SOPS 1739338756 HAS SOUS 290071571 HAS SOUPS 290071571 WITH SCORE 2.91810909756E8
AT ITER 3608 NEW BEST:: SOT -2002479029 SOS 1739059736 HAS SOPS 1739059736 HAS SOUS 290071569 HAS SOUPS 290071569 WITH SCORE 2.91810628736E8
AT ITER 3624 NEW BEST:: SOT -2002501243 SOS 1738959767 HAS SOPS 1738959767 HAS SOUS 290071563 HAS SOUPS 290071563 WITH SCORE 2.91810522767E8
AT ITER 3628 NEW BEST:: SOT -2002514227 SOS 1738901334 HAS SOPS 1738901334 HAS SOUS 290071558 HAS SOUPS 290071558 WITH SCORE 2.91810459334E8
AT ITER 3633 NEW BEST:: SOT -2002532595 SOS 1738818676 HAS SOPS 1738818676 HAS SOUS 290071556 HAS SOUPS 290071556 WITH SCORE 2.91810374676E8
AT ITER 3649 NEW BEST:: SOT -2002587689 SOS 1738533780 HAS SOPS 1738533780 HAS SOUS 290061546 HAS SOUPS 290061546 WITH SCORE 2.9180007978E8
AT ITER 3664 NEW BEST:: SOT -2002637395 SOS 1738310103 HAS SOPS 1738310103 HAS SOUS 290061546 HAS SOUPS 290061546 WITH SCORE 2.91799856103E8
AT ITER 3668 NEW BEST:: SOT -2002655537 SOS 1738218044 HAS SOPS 1738218044 HAS SOUS 290061182 HAS SOUPS 290061182 WITH SCORE 2.91799400044E8
AT ITER 3674 NEW BEST:: SOT -2002683441 SOS 1738092470 HAS SOPS 1738092470 HAS SOUS 290061176 HAS SOUPS 290061176 WITH SCORE 2.9179926847E8
AT ITER 3675 NEW BEST:: SOT -2002713873 SOS 1738066970 HAS SOPS 1738066970 HAS SOUS 290031356 HAS SOUPS 290031356 WITH SCORE 2.9176942297E8
AT ITER 3679 NEW BEST:: SOT -2002729779 SOS 1737995392 HAS SOPS 1737995392 HAS SOUS 290031355 HAS SOUPS 290031355 WITH SCORE 2.91769350392E8
AT ITER 3682 NEW BEST:: SOT -2002764663 SOS 1737838413 HAS SOPS 1737838413 HAS SOUS 290031354 HAS SOUPS 290031354 WITH SCORE 2.91769192413E8
AT ITER 3688 NEW BEST:: SOT -2002773531 SOS 1737798500 HAS SOPS 1737798500 HAS SOUS 290031345 HAS SOUPS 290031345 WITH SCORE 2.917691435E8
AT ITER 3689 NEW BEST:: SOT -2002806379 SOS 1737650678 HAS SOPS 1737650678 HAS SOUS 290031339 HAS SOUPS 290031339 WITH SCORE 2.91768989678E8
AT ITER 3690 NEW BEST:: SOT -2002815563 SOS 1737609348 HAS SOPS 1737609348 HAS SOUS 290031337 HAS SOUPS 290031337 WITH SCORE 2.91768946348E8
AT ITER 3703 NEW BEST:: SOT -2002829927 SOS 1737544706 HAS SOPS 1737544706 HAS SOUS 290031333 HAS SOUPS 290031333 WITH SCORE 2.91768877706E8
AT ITER 3710 NEW BEST:: SOT -2002853621 SOS 1737438081 HAS SOPS 1737438081 HAS SOUS 290031331 HAS SOUPS 290031331 WITH SCORE 2.91768769081E8
AT ITER 3719 NEW BEST:: SOT -2002871161 SOS 1737359145 HAS SOPS 1737359145 HAS SOUS 290031325 HAS SOUPS 290031325 WITH SCORE 2.91768684145E8
AT ITER 3749 NEW BEST:: SOT -2002894033 SOS 1737256220 HAS SOPS 1737256220 HAS SOUS 290031324 HAS SOUPS 290031324 WITH SCORE 2.9176858022E8
AT ITER 3750 NEW BEST:: SOT -2002906247 SOS 1737201255 HAS SOPS 1737201255 HAS SOUS 290031322 HAS SOUPS 290031322 WITH SCORE 2.91768523255E8
AT ITER 3753 NEW BEST:: SOT -2002952841 SOS 1736963921 HAS SOPS 1736963921 HAS SOUS 290012495 HAS SOUPS 290012495 WITH SCORE 2.91749458921E8
AT ITER 3768 NEW BEST:: SOT -2002983337 SOS 1736826682 HAS SOPS 1736826682 HAS SOUS 290012486 HAS SOUPS 290012486 WITH SCORE 2.91749312682E8
AT ITER 3787 NEW BEST:: SOT -2002994643 SOS 1736775798 HAS SOPS 1736775798 HAS SOUS 290012477 HAS SOUPS 290012477 WITH SCORE 2.91749252798E8
AT ITER 3797 NEW BEST:: SOT -2003006427 SOS 1736722766 HAS SOPS 1736722766 HAS SOUS 290012473 HAS SOUPS 290012473 WITH SCORE 2.91749195766E8
AT ITER 3820 NEW BEST:: SOT -2003057425 SOS 1736493272 HAS SOPS 1736493272 HAS SOUS 290012470 HAS SOUPS 290012470 WITH SCORE 2.91748963272E8
AT ITER 3822 NEW BEST:: SOT -2003117369 SOS 1736223519 HAS SOPS 1736223519 HAS SOUS 290012465 HAS SOUPS 290012465 WITH SCORE 2.91748688519E8
AT ITER 3824 NEW BEST:: SOT -2003126951 SOS 1736180394 HAS SOPS 1736180394 HAS SOUS 290012459 HAS SOUPS 290012459 WITH SCORE 2.91748639394E8
AT ITER 3833 NEW BEST:: SOT -2003146141 SOS 1736094033 HAS SOPS 1736094033 HAS SOUS 290012453 HAS SOUPS 290012453 WITH SCORE 2.91748547033E8
AT ITER 3834 NEW BEST:: SOT -2003211667 SOS 1735799166 HAS SOPS 1735799166 HAS SOUS 290012453 HAS SOUPS 290012453 WITH SCORE 2.91748252166E8
AT ITER 3842 NEW BEST:: SOT -2003216995 SOS 1735775190 HAS SOPS 1735775190 HAS SOUS 290012453 HAS SOUPS 290012453 WITH SCORE 2.9174822819E8
AT ITER 3848 NEW BEST:: SOT -2003257379 SOS 1735593456 HAS SOPS 1735593456 HAS SOUS 290012447 HAS SOUPS 290012447 WITH SCORE 2.91748040456E8
AT ITER 3854 NEW BEST:: SOT -2003298501 SOS 1735408400 HAS SOPS 1735408400 HAS SOUS 290012438 HAS SOUPS 290012438 WITH SCORE 2.917478464E8
AT ITER 3857 NEW BEST:: SOT -2003326936 SOS 1735264185 HAS SOPS 1735264185 HAS SOUS 290004801 HAS SOUPS 290004801 WITH SCORE 2.91740065185E8
AT ITER 3863 NEW BEST:: SOT -2003347382 SOS 1735172174 HAS SOPS 1735172174 HAS SOUS 290004797 HAS SOUPS 290004797 WITH SCORE 2.91739969174E8
AT ITER 3865 NEW BEST:: SOT -2003392522 SOS 1734969042 HAS SOPS 1734969042 HAS SOUS 290004795 HAS SOUPS 290004795 WITH SCORE 2.91739764042E8
AT ITER 3874 NEW BEST:: SOT -2003411708 SOS 1734882702 HAS SOPS 1734882702 HAS SOUS 290004792 HAS SOUPS 290004792 WITH SCORE 2.91739674702E8
AT ITER 3899 NEW BEST:: SOT -2003415210 SOS 1734866937 HAS SOPS 1734866937 HAS SOUS 290004786 HAS SOUPS 290004786 WITH SCORE 2.91739652937E8
AT ITER 3905 NEW BEST:: SOT -2003427494 SOS 1734811653 HAS SOPS 1734811653 HAS SOUS 290004780 HAS SOUPS 290004780 WITH SCORE 2.91739591653E8
AT ITER 3915 NEW BEST:: SOT -2003477086 SOS 1734588487 HAS SOPS 1734588487 HAS SOUS 290004778 HAS SOUPS 290004778 WITH SCORE 2.91739366487E8
AT ITER 3953 NEW BEST:: SOT -2003500442 SOS 1734483380 HAS SOPS 1734483380 HAS SOUS 290004773 HAS SOUPS 290004773 WITH SCORE 2.9173925638E8
AT ITER 3972 NEW BEST:: SOT -2003535900 SOS 1734323813 HAS SOPS 1734323813 HAS SOUS 290004767 HAS SOUPS 290004767 WITH SCORE 2.91739090813E8
AT ITER 3982 NEW BEST:: SOT -2003564562 SOS 1734163006 HAS SOPS 1734163006 HAS SOUS 289998948 HAS SOUPS 289998948 WITH SCORE 2.91733111006E8
AT ITER 3986 NEW BEST:: SOT -2003578672 SOS 1734099510 HAS SOPS 1734099510 HAS SOUS 289998947 HAS SOUPS 289998947 WITH SCORE 2.9173304651E8
AT ITER 3992 NEW BEST:: SOT -2003593594 SOS 1734018118 HAS SOPS 1734018118 HAS SOUS 289998842 HAS SOUPS 289998842 WITH SCORE 2.91732860118E8
AT ITER 3999 NEW BEST:: SOT -2003619662 SOS 1733900805 HAS SOPS 1733900805 HAS SOUS 289998833 HAS SOUPS 289998833 WITH SCORE 2.91732733805E8
AT ITER 4012 NEW BEST:: SOT -2003654512 SOS 1733727690 HAS SOPS 1733727690 HAS SOUS 289982543 HAS SOUPS 289982543 WITH SCORE 2.9171627069E8
AT ITER 4021 NEW BEST:: SOT -2003710536 SOS 1733475581 HAS SOPS 1733475581 HAS SOUS 289982542 HAS SOUPS 289982542 WITH SCORE 2.91716017581E8
AT ITER 4023 NEW BEST:: SOT -2003726332 SOS 1733369069 HAS SOPS 1733369069 HAS SOUS 289981719 HAS SOUPS 289981719 WITH SCORE 2.91715088069E8
AT ITER 4024 NEW BEST:: SOT -2003766038 SOS 1733190390 HAS SOPS 1733190390 HAS SOUS 289981717 HAS SOUPS 289981717 WITH SCORE 2.9171490739E8
AT ITER 4041 NEW BEST:: SOT -2003823320 SOS 1732932620 HAS SOPS 1732932620 HAS SOUS 289981716 HAS SOUPS 289981716 WITH SCORE 2.9171464862E8
AT ITER 4048 NEW BEST:: SOT -2003923296 SOS 1732596940 HAS SOPS 1732596940 HAS SOUS 289950434 HAS SOUPS 289950434 WITH SCORE 2.9168303094E8
AT ITER 4068 NEW BEST:: SOT -2003953604 SOS 1732460548 HAS SOPS 1732460548 HAS SOUS 289950428 HAS SOUPS 289950428 WITH SCORE 2.91682888548E8
AT ITER 4069 NEW BEST:: SOT -2004005828 SOS 1732225533 HAS SOPS 1732225533 HAS SOUS 289950419 HAS SOUPS 289950419 WITH SCORE 2.91682644533E8
AT ITER 4073 NEW BEST:: SOT -2004042910 SOS 1732058659 HAS SOPS 1732058659 HAS SOUS 289950414 HAS SOUPS 289950414 WITH SCORE 2.91682472659E8
AT ITER 4078 NEW BEST:: SOT -2004082234 SOS 1731833974 HAS SOPS 1731833974 HAS SOUS 289944050 HAS SOUPS 289944050 WITH SCORE 2.91675883974E8
AT ITER 4085 NEW BEST:: SOT -2004101168 SOS 1731739304 HAS SOPS 1731739304 HAS SOUS 289934583 HAS SOUPS 289934583 WITH SCORE 2.91666322304E8
AT ITER 4086 NEW BEST:: SOT -2004132846 SOS 1731596750 HAS SOPS 1731596750 HAS SOUS 289934580 HAS SOUPS 289934580 WITH SCORE 2.9166617675E8
AT ITER 4091 NEW BEST:: SOT -2004170524 SOS 1731427198 HAS SOPS 1731427198 HAS SOUS 289934579 HAS SOUPS 289934579 WITH SCORE 2.91666006198E8
AT ITER 4095 NEW BEST:: SOT -2004186492 SOS 1731355339 HAS SOPS 1731355339 HAS SOUS 289934576 HAS SOUPS 289934576 WITH SCORE 2.91665931339E8
AT ITER 4097 NEW BEST:: SOT -2004192862 SOS 1731326670 HAS SOPS 1731326670 HAS SOUS 289934572 HAS SOUPS 289934572 WITH SCORE 2.9166589867E8
AT ITER 4098 NEW BEST:: SOT -2004192862 SOS 1731326665 HAS SOPS 1731326665 HAS SOUS 289934567 HAS SOUPS 289934567 WITH SCORE 2.91665893665E8
AT ITER 4109 NEW BEST:: SOT -2004225970 SOS 1731177678 HAS SOPS 1731177678 HAS SOUS 289934566 HAS SOUPS 289934566 WITH SCORE 2.91665743678E8
AT ITER 4129 NEW BEST:: SOT -2004241348 SOS 1731108471 HAS SOPS 1731108471 HAS SOUS 289934560 HAS SOUPS 289934560 WITH SCORE 2.91665668471E8
AT ITER 4134 NEW BEST:: SOT -2004266574 SOS 1730994953 HAS SOPS 1730994953 HAS SOUS 289934559 HAS SOUPS 289934559 WITH SCORE 2.91665553953E8
AT ITER 4138 NEW BEST:: SOT -2004298476 SOS 1730826041 HAS SOPS 1730826041 HAS SOUS 289920175 HAS SOUPS 289920175 WITH SCORE 2.91651001041E8
AT ITER 4142 NEW BEST:: SOT -2004306974 SOS 1730787800 HAS SOPS 1730787800 HAS SOUS 289920175 HAS SOUPS 289920175 WITH SCORE 2.916509628E8
AT ITER 4144 NEW BEST:: SOT -2004309064 SOS 1730778393 HAS SOPS 1730778393 HAS SOUS 289920173 HAS SOUPS 289920173 WITH SCORE 2.91650951393E8
AT ITER 4148 NEW BEST:: SOT -2004359088 SOS 1730553282 HAS SOPS 1730553282 HAS SOUS 289920170 HAS SOUPS 289920170 WITH SCORE 2.91650723282E8
AT ITER 4151 NEW BEST:: SOT -2004363086 SOS 1730535289 HAS SOPS 1730535289 HAS SOUS 289920168 HAS SOUPS 289920168 WITH SCORE 2.91650703289E8
AT ITER 4158 NEW BEST:: SOT -2004394018 SOS 1730396090 HAS SOPS 1730396090 HAS SOUS 289920163 HAS SOUPS 289920163 WITH SCORE 2.9165055909E8
AT ITER 4178 NEW BEST:: SOT -2004446858 SOS 1730158309 HAS SOPS 1730158309 HAS SOUS 289920162 HAS SOUPS 289920162 WITH SCORE 2.91650320309E8
AT ITER 4180 NEW BEST:: SOT -2004463304 SOS 1730076888 HAS SOPS 1730076888 HAS SOUS 289912746 HAS SOUPS 289912746 WITH SCORE 2.91642822888E8
AT ITER 4183 NEW BEST:: SOT -2004476430 SOS 1730017817 HAS SOPS 1730017817 HAS SOUS 289912742 HAS SOUPS 289912742 WITH SCORE 2.91642759817E8
AT ITER 4186 NEW BEST:: SOT -2004484512 SOS 1729977407 HAS SOPS 1729977407 HAS SOUS 289908701 HAS SOUPS 289908701 WITH SCORE 2.91638678407E8
AT ITER 4224 NEW BEST:: SOT -2004520292 SOS 1729794570 HAS SOPS 1729794570 HAS SOUS 289895260 HAS SOUPS 289895260 WITH SCORE 2.9162505457E8
AT ITER 4286 NEW BEST:: SOT -2004546253 SOS 1729659612 HAS SOPS 1729659612 HAS SOUS 289888195 HAS SOUPS 289888195 WITH SCORE 2.91617854612E8
AT ITER 4290 NEW BEST:: SOT -2004574905 SOS 1729530673 HAS SOPS 1729530673 HAS SOUS 289888190 HAS SOUPS 289888190 WITH SCORE 2.91617720673E8
AT ITER 4301 NEW BEST:: SOT -2004574881 SOS 1729510903 HAS SOPS 1729510903 HAS SOUS 289869864 HAS SOUPS 289869864 WITH SCORE 2.91599374903E8
AT ITER 4308 NEW BEST:: SOT -2004634419 SOS 1729242980 HAS SOPS 1729242980 HAS SOUS 289869862 HAS SOUPS 289869862 WITH SCORE 2.9159910498E8
AT ITER 4316 NEW BEST:: SOT -2004691301 SOS 1728987010 HAS SOPS 1728987010 HAS SOUS 289869861 HAS SOUPS 289869861 WITH SCORE 2.9159884801E8
AT ITER 4326 NEW BEST:: SOT -2004722925 SOS 1728844700 HAS SOPS 1728844700 HAS SOUS 289869859 HAS SOUPS 289869859 WITH SCORE 2.915987037E8
AT ITER 4356 NEW BEST:: SOT -2004739865 SOS 1728768469 HAS SOPS 1728768469 HAS SOUS 289869858 HAS SOUPS 289869858 WITH SCORE 2.91598626469E8
AT ITER 4371 NEW BEST:: SOT -2004739865 SOS 1728768463 HAS SOPS 1728768463 HAS SOUS 289869852 HAS SOUPS 289869852 WITH SCORE 2.91598620463E8
AT ITER 4377 NEW BEST:: SOT -2004756039 SOS 1728695679 HAS SOPS 1728695679 HAS SOUS 289869851 HAS SOUPS 289869851 WITH SCORE 2.91598546679E8
AT ITER 4382 NEW BEST:: SOT -2004815985 SOS 1728425918 HAS SOPS 1728425918 HAS SOUS 289869847 HAS SOUPS 289869847 WITH SCORE 2.91598272918E8
AT ITER 4386 NEW BEST:: SOT -2004838629 SOS 1728324014 HAS SOPS 1728324014 HAS SOUS 289869841 HAS SOUPS 289869841 WITH SCORE 2.91598165014E8
AT ITER 4408 NEW BEST:: SOT -2004868995 SOS 1728187360 HAS SOPS 1728187360 HAS SOUS 289869832 HAS SOUPS 289869832 WITH SCORE 2.9159801936E8
AT ITER 4413 NEW BEST:: SOT -2004877661 SOS 1728148356 HAS SOPS 1728148356 HAS SOUS 289869823 HAS SOUPS 289869823 WITH SCORE 2.91597971356E8
AT ITER 4414 NEW BEST:: SOT -2004877661 SOS 1728148351 HAS SOPS 1728148351 HAS SOUS 289869818 HAS SOUPS 289869818 WITH SCORE 2.91597966351E8
AT ITER 4445 NEW BEST:: SOT -2004887511 SOS 1728104025 HAS SOPS 1728104025 HAS SOUS 289869817 HAS SOUPS 289869817 WITH SCORE 2.91597921025E8
AT ITER 4446 NEW BEST:: SOT -2004922789 SOS 1727945274 HAS SOPS 1727945274 HAS SOUS 289869817 HAS SOUPS 289869817 WITH SCORE 2.91597762274E8
AT ITER 4448 NEW BEST:: SOT -2004962885 SOS 1727764838 HAS SOPS 1727764838 HAS SOUS 289869813 HAS SOUPS 289869813 WITH SCORE 2.91597577838E8
AT ITER 4467 NEW BEST:: SOT -2005007819 SOS 1727562633 HAS SOPS 1727562633 HAS SOUS 289869811 HAS SOUPS 289869811 WITH SCORE 2.91597373633E8
AT ITER 4470 NEW BEST:: SOT -2005026731 SOS 1727477523 HAS SOPS 1727477523 HAS SOUS 289869805 HAS SOUPS 289869805 WITH SCORE 2.91597282523E8
AT ITER 4475 NEW BEST:: SOT -2005039879 SOS 1727418356 HAS SOPS 1727418356 HAS SOUS 289869804 HAS SOUPS 289869804 WITH SCORE 2.91597222356E8
AT ITER 4483 NEW BEST:: SOT -2005039879 SOS 1727413270 HAS SOPS 1727413270 HAS SOUS 289864718 HAS SOUPS 289864718 WITH SCORE 2.9159213127E8
AT ITER 4505 NEW BEST:: SOT -2005060521 SOS 1727320381 HAS SOPS 1727320381 HAS SOUS 289864718 HAS SOUPS 289864718 WITH SCORE 2.91592038381E8
AT ITER 4515 NEW BEST:: SOT -2005067625 SOS 1727266105 HAS SOPS 1727266105 HAS SOUS 289864292 HAS SOUPS 289864292 WITH SCORE 2.91591558105E8
AT ITER 4534 NEW BEST:: SOT -2005090185 SOS 1727154613 HAS SOPS 1727154613 HAS SOUS 289858826 HAS SOUPS 289858826 WITH SCORE 2.91585980613E8
AT ITER 4547 NEW BEST:: SOT -2005101325 SOS 1727098913 HAS SOPS 1727098913 HAS SOUS 289853254 HAS SOUPS 289853254 WITH SCORE 2.91580352913E8
AT ITER 4550 NEW BEST:: SOT -2005136485 SOS 1726940691 HAS SOPS 1726940691 HAS SOUS 289853252 HAS SOUPS 289853252 WITH SCORE 2.91580192691E8
AT ITER 4557 NEW BEST:: SOT -2005165817 SOS 1726808693 HAS SOPS 1726808693 HAS SOUS 289853248 HAS SOUPS 289853248 WITH SCORE 2.91580056693E8
AT ITER 4570 NEW BEST:: SOT -2005188673 SOS 1726705835 HAS SOPS 1726705835 HAS SOUS 289853242 HAS SOUPS 289853242 WITH SCORE 2.91579947835E8
AT ITER 4584 NEW BEST:: SOT -2005246629 SOS 1726445031 HAS SOPS 1726445031 HAS SOUS 289853240 HAS SOUPS 289853240 WITH SCORE 2.91579685031E8
AT ITER 4585 NEW BEST:: SOT -2005300349 SOS 1726203291 HAS SOPS 1726203291 HAS SOUS 289853240 HAS SOUPS 289853240 WITH SCORE 2.91579443291E8
AT ITER 4587 NEW BEST:: SOT -2005313703 SOS 1726143197 HAS SOPS 1726143197 HAS SOUS 289853239 HAS SOUPS 289853239 WITH SCORE 2.91579382197E8
AT ITER 4590 NEW BEST:: SOT -2005365187 SOS 1725911516 HAS SOPS 1725911516 HAS SOUS 289853236 HAS SOUPS 289853236 WITH SCORE 2.91579147516E8
AT ITER 4620 NEW BEST:: SOT -2005373943 SOS 1725872107 HAS SOPS 1725872107 HAS SOUS 289853227 HAS SOUPS 289853227 WITH SCORE 2.91579099107E8
AT ITER 4624 NEW BEST:: SOT -2005388595 SOS 1725806166 HAS SOPS 1725806166 HAS SOUS 289853218 HAS SOUPS 289853218 WITH SCORE 2.91579024166E8
AT ITER 4626 NEW BEST:: SOT -2005438557 SOS 1725581337 HAS SOPS 1725581337 HAS SOUS 289853218 HAS SOUPS 289853218 WITH SCORE 2.91578799337E8
AT ITER 4695 NEW BEST:: SOT -2005500961 SOS 1725300515 HAS SOPS 1725300515 HAS SOUS 289853214 HAS SOUPS 289853214 WITH SCORE 2.91578514515E8
AT ITER 4710 NEW BEST:: SOT -2005514247 SOS 1725240721 HAS SOPS 1725240721 HAS SOUS 289853205 HAS SOUPS 289853205 WITH SCORE 2.91578445721E8
AT ITER 4711 NEW BEST:: SOT -2005536277 SOS 1725141579 HAS SOPS 1725141579 HAS SOUS 289853196 HAS SOUPS 289853196 WITH SCORE 2.91578337579E8
AT ITER 4724 NEW BEST:: SOT -2005578357 SOS 1724952214 HAS SOPS 1724952214 HAS SOUS 289853191 HAS SOUPS 289853191 WITH SCORE 2.91578143214E8
AT ITER 4732 NEW BEST:: SOT -2005611099 SOS 1724804868 HAS SOPS 1724804868 HAS SOUS 289853182 HAS SOUPS 289853182 WITH SCORE 2.91577986868E8
AT ITER 4753 NEW BEST:: SOT -2005644813 SOS 1724653153 HAS SOPS 1724653153 HAS SOUS 289853180 HAS SOUPS 289853180 WITH SCORE 2.91577833153E8
AT ITER 4756 NEW BEST:: SOT -2005650061 SOS 1724629535 HAS SOPS 1724629535 HAS SOUS 289853178 HAS SOUPS 289853178 WITH SCORE 2.91577807535E8
AT ITER 4758 NEW BEST:: SOT -2005708777 SOS 1724365308 HAS SOPS 1724365308 HAS SOUS 289853173 HAS SOUPS 289853173 WITH SCORE 2.91577538308E8
AT ITER 4783 NEW BEST:: SOT -2005702537 SOS 1724401987 HAS SOPS 1724401987 HAS SOUS 289851790 HAS SOUPS 289851790 WITH SCORE 2.91576191987E8
AT ITER 4784 NEW BEST:: SOT -2005745695 SOS 1724207775 HAS SOPS 1724207775 HAS SOUS 289851789 HAS SOUPS 289851789 WITH SCORE 2.91575996775E8
AT ITER 4785 NEW BEST:: SOT -2005751747 SOS 1724180537 HAS SOPS 1724180537 HAS SOUS 289851785 HAS SOUPS 289851785 WITH SCORE 2.91575965537E8
AT ITER 4787 NEW BEST:: SOT -2005776015 SOS 1724071329 HAS SOPS 1724071329 HAS SOUS 289851783 HAS SOUPS 289851783 WITH SCORE 2.91575854329E8
AT ITER 4804 NEW BEST:: SOT -2005787325 SOS 1724020434 HAS SOPS 1724020434 HAS SOUS 289851783 HAS SOUPS 289851783 WITH SCORE 2.91575803434E8
AT ITER 4807 NEW BEST:: SOT -2005850045 SOS 1723738188 HAS SOPS 1723738188 HAS SOUS 289851777 HAS SOUPS 289851777 WITH SCORE 2.91575515188E8
AT ITER 4822 NEW BEST:: SOT -2005870319 SOS 1723646953 HAS SOPS 1723646953 HAS SOUS 289851775 HAS SOUPS 289851775 WITH SCORE 2.91575421953E8
AT ITER 4828 NEW BEST:: SOT -2005875833 SOS 1723622139 HAS SOPS 1723622139 HAS SOUS 289851774 HAS SOUPS 289851774 WITH SCORE 2.91575396139E8
AT ITER 4829 NEW BEST:: SOT -2005882945 SOS 1723590129 HAS SOPS 1723590129 HAS SOUS 289851768 HAS SOUPS 289851768 WITH SCORE 2.91575358129E8
AT ITER 4834 NEW BEST:: SOT -2005899511 SOS 1723515582 HAS SOPS 1723515582 HAS SOUS 289851768 HAS SOUPS 289851768 WITH SCORE 2.91575283582E8
AT ITER 4841 NEW BEST:: SOT -2005911387 SOS 1723462137 HAS SOPS 1723462137 HAS SOUS 289851765 HAS SOUPS 289851765 WITH SCORE 2.91575227137E8
AT ITER 4848 NEW BEST:: SOT -2005932307 SOS 1723357537 HAS SOPS 1723357537 HAS SOUS 289841305 HAS SOUPS 289841305 WITH SCORE 2.91564662537E8
AT ITER 4858 NEW BEST:: SOT -2005959737 SOS 1723216418 HAS SOPS 1723216418 HAS SOUS 289837586 HAS SOUPS 289837586 WITH SCORE 2.91560802418E8
AT ITER 4862 NEW BEST:: SOT -2005972995 SOS 1723156752 HAS SOPS 1723156752 HAS SOUS 289837581 HAS SOUPS 289837581 WITH SCORE 2.91560737752E8
AT ITER 4873 NEW BEST:: SOT -2006018691 SOS 1722951118 HAS SOPS 1722951118 HAS SOUS 289837579 HAS SOUPS 289837579 WITH SCORE 2.91560530118E8
AT ITER 4884 NEW BEST:: SOT -2006039955 SOS 1722855423 HAS SOPS 1722855423 HAS SOUS 289837570 HAS SOUPS 289837570 WITH SCORE 2.91560425423E8
AT ITER 4891 NEW BEST:: SOT -2006057519 SOS 1722776379 HAS SOPS 1722776379 HAS SOUS 289837564 HAS SOUPS 289837564 WITH SCORE 2.91560340379E8
AT ITER 4892 NEW BEST:: SOT -2006091925 SOS 1722621545 HAS SOPS 1722621545 HAS SOUS 289837555 HAS SOUPS 289837555 WITH SCORE 2.91560176545E8
AT ITER 4895 NEW BEST:: SOT -2006110869 SOS 1722536291 HAS SOPS 1722536291 HAS SOUS 289837549 HAS SOUPS 289837549 WITH SCORE 2.91560085291E8
AT ITER 4897 NEW BEST:: SOT -2006118203 SOS 1722503282 HAS SOPS 1722503282 HAS SOUS 289837543 HAS SOUPS 289837543 WITH SCORE 2.91560046282E8
AT ITER 4899 NEW BEST:: SOT -2006143545 SOS 1722389237 HAS SOPS 1722389237 HAS SOUS 289837537 HAS SOUPS 289837537 WITH SCORE 2.91559926237E8
AT ITER 4912 NEW BEST:: SOT -2006151901 SOS 1722351635 HAS SOPS 1722351635 HAS SOUS 289837537 HAS SOUPS 289837537 WITH SCORE 2.91559888635E8
AT ITER 4930 NEW BEST:: SOT -2006186117 SOS 1722197657 HAS SOPS 1722197657 HAS SOUS 289837531 HAS SOUPS 289837531 WITH SCORE 2.91559728657E8
AT ITER 4931 NEW BEST:: SOT -2006220645 SOS 1722042279 HAS SOPS 1722042279 HAS SOUS 289837529 HAS SOUPS 289837529 WITH SCORE 2.91559571279E8
AT ITER 4940 NEW BEST:: SOT -2006221077 SOS 1722040119 HAS SOPS 1722040119 HAS SOUS 289837313 HAS SOUPS 289837313 WITH SCORE 2.91559353119E8
AT ITER 4960 NEW BEST:: SOT -2006276727 SOS 1721789691 HAS SOPS 1721789691 HAS SOUS 289837310 HAS SOUPS 289837310 WITH SCORE 2.91559099691E8
AT ITER 4966 NEW BEST:: SOT -2006333245 SOS 1721535358 HAS SOPS 1721535358 HAS SOUS 289837308 HAS SOUPS 289837308 WITH SCORE 2.91558843358E8
AT ITER 4982 NEW BEST:: SOT -2006370497 SOS 1721367723 HAS SOPS 1721367723 HAS SOUS 289837307 HAS SOUPS 289837307 WITH SCORE 2.91558674723E8
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-00 (AF((AU( potential( (tk(P3285)) <= (tk(P19569)) ),potential( ( 1 ) <= (tk(P752)) ) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-01 (EF((! (! ( potential( ( 2 ) <= (tk(P44251)) ) | potential( (tk(P42537)) <= (tk(P6322)) ) )))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-02 (AF(( potential( ( 3 ) <= (tk(P42425)) ) | (AX( potential( ( 2 ) <= (tk(P24094)) ))) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-03 (EG( (! ( ( potential( ( 3 ) <= (tk(P23466)) ) & potential( (tk(P11402)) <= (tk(P11214)) ) ) & ( potential( (tk(P22933)) <= (tk(P35447)) ) & potential( (tk(P8930)) <= (tk(P36520)) ) ) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-04 (EF((! ( ( potential( (tk(P16312)) <= (tk(P5179)) ) & potential( ( 3 ) <= (tk(P5222)) ) ) | potential( (tk(P14821)) <= (tk(P38337)) ) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-05 (AU( (EF(potential( (tk(P13911)) <= (tk(P69)) ))),(! potential( (tk(P12968)) <= (tk(P14133)) )) ))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-06 ( (AG( ( ( potential( ( 2 ) <= (tk(P14536)) ) | potential( (tk(P25517)) <= (tk(P37403)) ) ) & (! potential( ( 2 ) <= (tk(P15350)) )) ))) | ( (EG( ( potential( (tk(P11909)) <= (tk(P16710)) ) | potential( (tk(P591)) <= (tk(P42054)) ) ))) & ( ( ( potential( (tk(P39721)) <= (tk(P20155)) ) & potential( (tk(P39302)) <= (tk(P44421)) ) ) & potential( ( 2 ) <= (tk(P11977)) ) ) | (EF(potential( ( 1 ) <= (tk(P1302)) ))) ) ) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-07 (EF(potential( (tk(P6980)) <= (tk(P7033)) )))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-08 ( (EX( (AG( potential( ( 1 ) <= (tk(P39451)) ))))) | (AX( ( (! potential( (tk(P16719)) <= (tk(P34839)) )) & (! potential( (tk(P38650)) <= (tk(P21688)) )) ))) )
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-09 (EF((AX( potential( ( 2 ) <= (tk(P4867)) )))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-10 (! (EF((! potential( (tk(P31291)) <= (tk(P29937)) )))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-11 (EF((AX( ( potential( (tk(P32422)) <= (tk(P23920)) ) & potential( ( 2 ) <= (tk(P12001)) ) )))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-12 (EG( (EX( ( potential( ( 2 ) <= (tk(P16180)) ) | potential( (tk(P33440)) <= (tk(P6828)) ) )))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-13 (! (AG( ( ( potential( (tk(P46035)) <= (tk(P22416)) ) | potential( (tk(P20077)) <= (tk(P26351)) ) ) | potential( (tk(P43924)) <= (tk(P33062)) ) ))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-14 (AG( (AX( potential( (tk(P28929)) <= (tk(P35452)) )))))
PROPERTY: ViralEpidemic-PT-S08D1C2A04-CTLCardinality-15 (EG( potential( (tk(P5313)) <= (tk(P42889)) )))
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="CTLCardinality"
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 CTLCardinality"
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-159033539000563"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;