fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r331-tall-167889204100120
Last Updated
May 14, 2023

About the Execution of Smart+red for RERS17pb114-PT-6

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1880.128 3600000.00 3825818.00 7780.50 [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/fkordon/mcc2023-input.r331-tall-167889204100120.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS17pb114-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.6K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 04:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 04:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 152K Feb 26 04:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 04:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679071941768

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb114-PT-6
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 16:52:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 16:52:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 16:52:25] [INFO ] Load time of PNML (sax parser for PT used): 1835 ms
[2023-03-17 16:52:25] [INFO ] Transformed 1446 places.
[2023-03-17 16:52:25] [INFO ] Transformed 151085 transitions.
[2023-03-17 16:52:25] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2320 ms.
[2023-03-17 16:52:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 359 ms.
Total runtime 2714 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 6
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 9 NEW BEST:: SOT 133643727 SOS 82106257 HAS SOPS 66713994 HAS SOUS 26446852 HAS SOUPS 25817163 WITH SCORE 2.5899269257E7
AT ITER 34 NEW BEST:: SOT 133628729 SOS 82077749 HAS SOPS 66688334 HAS SOUS 26431169 HAS SOUPS 25802005 WITH SCORE 2.5884082749E7
AT ITER 37 NEW BEST:: SOT 133634488 SOS 82094261 HAS SOPS 66698338 HAS SOUS 26428548 HAS SOUPS 25799384 WITH SCORE 2.5881478261E7
AT ITER 41 NEW BEST:: SOT 133657904 SOS 82150617 HAS SOPS 66746269 HAS SOUS 26422857 HAS SOUPS 25793693 WITH SCORE 2.5875843617E7
AT ITER 48 NEW BEST:: SOT 133663547 SOS 82168791 HAS SOPS 66762091 HAS SOUS 26422521 HAS SOUPS 25793357 WITH SCORE 2.5875525791E7
AT ITER 50 NEW BEST:: SOT 133663602 SOS 82167722 HAS SOPS 66761264 HAS SOUS 26422480 HAS SOUPS 25793316 WITH SCORE 2.5875483722E7
AT ITER 57 NEW BEST:: SOT 133667604 SOS 82183453 HAS SOPS 66772230 HAS SOUS 26416865 HAS SOUPS 25787701 WITH SCORE 2.5869884453E7
AT ITER 69 NEW BEST:: SOT 133666854 SOS 82178560 HAS SOPS 66773460 HAS SOUS 26414020 HAS SOUPS 25784856 WITH SCORE 2.586703456E7
AT ITER 71 NEW BEST:: SOT 133581154 SOS 82076369 HAS SOPS 66668712 HAS SOUS 26202237 HAS SOUPS 25573132 WITH SCORE 2.5655208369E7
AT ITER 78 NEW BEST:: SOT 133580802 SOS 82075832 HAS SOPS 66668440 HAS SOUS 26200978 HAS SOUPS 25571873 WITH SCORE 2.5653948832E7
AT ITER 80 NEW BEST:: SOT 133575749 SOS 82068775 HAS SOPS 66658797 HAS SOUS 26191491 HAS SOUPS 25562386 WITH SCORE 2.5644454775E7
AT ITER 85 NEW BEST:: SOT 133658107 SOS 82212356 HAS SOPS 66809264 HAS SOUS 26185706 HAS SOUPS 25556415 WITH SCORE 2.5638627356E7
AT ITER 86 NEW BEST:: SOT 133665749 SOS 82227194 HAS SOPS 66825072 HAS SOUS 26163687 HAS SOUPS 25534478 WITH SCORE 2.5616705194E7
AT ITER 96 NEW BEST:: SOT 133665437 SOS 82227312 HAS SOPS 66825459 HAS SOUS 26162689 HAS SOUPS 25533480 WITH SCORE 2.5615707312E7
AT ITER 98 NEW BEST:: SOT 133703103 SOS 82303278 HAS SOPS 66910452 HAS SOUS 26161332 HAS SOUPS 25532123 WITH SCORE 2.5614426278E7
AT ITER 103 NEW BEST:: SOT 133706902 SOS 82310335 HAS SOPS 66917743 HAS SOUS 26159076 HAS SOUPS 25529867 WITH SCORE 2.5612177335E7
AT ITER 112 NEW BEST:: SOT 133710078 SOS 82313852 HAS SOPS 66917082 HAS SOUS 26149134 HAS SOUPS 25519925 WITH SCORE 2.5602238852E7
AT ITER 119 NEW BEST:: SOT 133705547 SOS 82314746 HAS SOPS 66927434 HAS SOUS 26124441 HAS SOUPS 25495297 WITH SCORE 2.5577611746E7
AT ITER 125 NEW BEST:: SOT 133709526 SOS 82353989 HAS SOPS 66983344 HAS SOUS 26123987 HAS SOUPS 25494843 WITH SCORE 2.5577196989E7
AT ITER 129 NEW BEST:: SOT 133696916 SOS 82327734 HAS SOPS 66969225 HAS SOUS 26116949 HAS SOUPS 25487805 WITH SCORE 2.5570132734E7
AT ITER 161 NEW BEST:: SOT 133687214 SOS 82321370 HAS SOPS 66967929 HAS SOUS 26109984 HAS SOUPS 25480840 WITH SCORE 2.556316137E7
AT ITER 164 NEW BEST:: SOT 133686698 SOS 82321346 HAS SOPS 66969059 HAS SOUS 26109213 HAS SOUPS 25480069 WITH SCORE 2.5562390346E7
AT ITER 168 NEW BEST:: SOT 133559067 SOS 82163216 HAS SOPS 66819795 HAS SOUS 25957041 HAS SOUPS 25328307 WITH SCORE 2.5410470216E7
AT ITER 175 NEW BEST:: SOT 133553813 SOS 82162772 HAS SOPS 66814902 HAS SOUS 25948754 HAS SOUPS 25318402 WITH SCORE 2.5400564772E7
AT ITER 192 NEW BEST:: SOT 133555663 SOS 82179206 HAS SOPS 66850789 HAS SOUS 25948153 HAS SOUPS 25317801 WITH SCORE 2.5399980206E7
AT ITER 194 NEW BEST:: SOT 133530527 SOS 82133565 HAS SOPS 66817744 HAS SOUS 25919878 HAS SOUPS 25291144 WITH SCORE 2.5373277565E7
AT ITER 205 NEW BEST:: SOT 133546526 SOS 82181306 HAS SOPS 66855334 HAS SOUS 25909667 HAS SOUPS 25280933 WITH SCORE 2.5363114306E7
AT ITER 211 NEW BEST:: SOT 133551961 SOS 82188791 HAS SOPS 66859818 HAS SOUS 25905882 HAS SOUPS 25277148 WITH SCORE 2.5359336791E7
AT ITER 222 NEW BEST:: SOT 133547426 SOS 82187820 HAS SOPS 66851596 HAS SOUS 25882185 HAS SOUPS 25253451 WITH SCORE 2.533563882E7
AT ITER 229 NEW BEST:: SOT 133544129 SOS 82185192 HAS SOPS 66852338 HAS SOUS 25854507 HAS SOUPS 25226536 WITH SCORE 2.5308721192E7
AT ITER 232 NEW BEST:: SOT 133542773 SOS 82177305 HAS SOPS 66845086 HAS SOUS 25853212 HAS SOUPS 25225241 WITH SCORE 2.5307418305E7
AT ITER 234 NEW BEST:: SOT 133540479 SOS 82168628 HAS SOPS 66843765 HAS SOUS 25835892 HAS SOUPS 25208114 WITH SCORE 2.5290282628E7
AT ITER 241 NEW BEST:: SOT 133527520 SOS 82148270 HAS SOPS 66835856 HAS SOUS 25816290 HAS SOUPS 25188512 WITH SCORE 2.527066027E7
AT ITER 245 NEW BEST:: SOT 133523390 SOS 82143943 HAS SOPS 66830637 HAS SOUS 25808278 HAS SOUPS 25180494 WITH SCORE 2.5262637943E7
AT ITER 255 NEW BEST:: SOT 133563403 SOS 82286042 HAS SOPS 66975704 HAS SOUS 25805811 HAS SOUPS 25178027 WITH SCORE 2.5260313042E7
AT ITER 256 NEW BEST:: SOT 133559964 SOS 82280847 HAS SOPS 66965465 HAS SOUS 25791904 HAS SOUPS 25164120 WITH SCORE 2.5246400847E7
AT ITER 261 NEW BEST:: SOT 133558794 SOS 82279504 HAS SOPS 66964419 HAS SOUS 25787669 HAS SOUPS 25159885 WITH SCORE 2.5242164504E7
AT ITER 272 NEW BEST:: SOT 133543017 SOS 82262359 HAS SOPS 66943884 HAS SOUS 25741210 HAS SOUPS 25113823 WITH SCORE 2.5196085359E7
AT ITER 275 NEW BEST:: SOT 133543038 SOS 82262448 HAS SOPS 66943824 HAS SOUS 25741060 HAS SOUPS 25113673 WITH SCORE 2.5195935448E7
AT ITER 280 NEW BEST:: SOT 133555585 SOS 82323175 HAS SOPS 66997357 HAS SOUS 25734016 HAS SOUPS 25106629 WITH SCORE 2.5188952175E7
AT ITER 290 NEW BEST:: SOT 133556205 SOS 82328541 HAS SOPS 67001018 HAS SOUS 25731925 HAS SOUPS 25104538 WITH SCORE 2.5186866541E7
AT ITER 292 NEW BEST:: SOT 133560399 SOS 82335956 HAS SOPS 67007693 HAS SOUS 25718692 HAS SOUPS 25091305 WITH SCORE 2.5173640956E7
AT ITER 293 NEW BEST:: SOT 133510569 SOS 82257064 HAS SOPS 66961809 HAS SOUS 25681644 HAS SOUPS 25054631 WITH SCORE 2.5136888064E7
AT ITER 294 NEW BEST:: SOT 133510565 SOS 82257099 HAS SOPS 66961840 HAS SOUS 25681539 HAS SOUPS 25054526 WITH SCORE 2.5136783099E7
AT ITER 299 NEW BEST:: SOT 133499886 SOS 82240512 HAS SOPS 66942931 HAS SOUS 25658320 HAS SOUPS 25031307 WITH SCORE 2.5113547512E7
AT ITER 301 NEW BEST:: SOT 133499041 SOS 82245568 HAS SOPS 66937774 HAS SOUS 25648703 HAS SOUPS 25021690 WITH SCORE 2.5103935568E7
AT ITER 305 NEW BEST:: SOT 133499610 SOS 82247469 HAS SOPS 66938199 HAS SOUS 25648462 HAS SOUPS 25021449 WITH SCORE 2.5103696469E7
AT ITER 307 NEW BEST:: SOT 133535552 SOS 82314082 HAS SOPS 67018567 HAS SOUS 25625667 HAS SOUPS 24998654 WITH SCORE 2.5080968082E7
AT ITER 308 NEW BEST:: SOT 133532168 SOS 82310862 HAS SOPS 67012793 HAS SOUS 25617749 HAS SOUPS 24990710 WITH SCORE 2.5073020862E7
AT ITER 309 NEW BEST:: SOT 133532168 SOS 82312958 HAS SOPS 67015369 HAS SOUS 25617735 HAS SOUPS 24990696 WITH SCORE 2.5073008958E7
AT ITER 310 NEW BEST:: SOT 133521948 SOS 82302168 HAS SOPS 66996642 HAS SOUS 25585976 HAS SOUPS 24957127 WITH SCORE 2.5039429168E7
AT ITER 320 NEW BEST:: SOT 133522250 SOS 82305266 HAS SOPS 67001654 HAS SOUS 25585622 HAS SOUPS 24956773 WITH SCORE 2.5039078266E7
AT ITER 326 NEW BEST:: SOT 133517196 SOS 82296322 HAS SOPS 66994402 HAS SOUS 25581180 HAS SOUPS 24952353 WITH SCORE 2.5034649322E7
AT ITER 334 NEW BEST:: SOT 133517424 SOS 82296451 HAS SOPS 66993829 HAS SOUS 25580031 HAS SOUPS 24951204 WITH SCORE 2.5033500451E7
AT ITER 343 NEW BEST:: SOT 133493447 SOS 82236538 HAS SOPS 66951499 HAS SOUS 25572330 HAS SOUPS 24943503 WITH SCORE 2.5025739538E7
AT ITER 344 NEW BEST:: SOT 133493164 SOS 82235909 HAS SOPS 66951043 HAS SOUS 25571833 HAS SOUPS 24943014 WITH SCORE 2.5025249909E7
AT ITER 347 NEW BEST:: SOT 133475694 SOS 82201508 HAS SOPS 66929093 HAS SOUS 25559492 HAS SOUPS 24932368 WITH SCORE 2.5014569508E7
AT ITER 357 NEW BEST:: SOT 133491350 SOS 82282630 HAS SOPS 67008308 HAS SOUS 25557163 HAS SOUPS 24930039 WITH SCORE 2.501232163E7
AT ITER 359 NEW BEST:: SOT 133477827 SOS 82267379 HAS SOPS 66989793 HAS SOUS 25525896 HAS SOUPS 24898980 WITH SCORE 2.4981247379E7
AT ITER 367 NEW BEST:: SOT 133456864 SOS 82218479 HAS SOPS 66950625 HAS SOUS 25513719 HAS SOUPS 24886803 WITH SCORE 2.4969021479E7
AT ITER 369 NEW BEST:: SOT 133451239 SOS 82211932 HAS SOPS 66941563 HAS SOUS 25498650 HAS SOUPS 24871734 WITH SCORE 2.4953945932E7
AT ITER 385 NEW BEST:: SOT 133451852 SOS 82213269 HAS SOPS 66943050 HAS SOUS 25496048 HAS SOUPS 24869132 WITH SCORE 2.4951345269E7
AT ITER 392 NEW BEST:: SOT 133479906 SOS 82327219 HAS SOPS 67060926 HAS SOUS 25453675 HAS SOUPS 24826759 WITH SCORE 2.4909086219E7
AT ITER 396 NEW BEST:: SOT 133481731 SOS 82336950 HAS SOPS 67066704 HAS SOUS 25449890 HAS SOUPS 24822974 WITH SCORE 2.490531095E7
AT ITER 401 NEW BEST:: SOT 133477435 SOS 82344803 HAS SOPS 67070273 HAS SOUS 25422594 HAS SOUPS 24795534 WITH SCORE 2.4877878803E7
AT ITER 407 NEW BEST:: SOT 133473789 SOS 82321988 HAS SOPS 67061735 HAS SOUS 25415812 HAS SOUPS 24788752 WITH SCORE 2.4871073988E7
AT ITER 431 NEW BEST:: SOT 133478257 SOS 82326508 HAS SOPS 67055948 HAS SOUS 25395306 HAS SOUPS 24768246 WITH SCORE 2.4850572508E7
AT ITER 449 NEW BEST:: SOT 133478917 SOS 82318807 HAS SOPS 67081746 HAS SOUS 25394640 HAS SOUPS 24767580 WITH SCORE 2.4849898807E7
AT ITER 460 NEW BEST:: SOT 133474257 SOS 82311409 HAS SOPS 67072419 HAS SOUS 25385119 HAS SOUPS 24758059 WITH SCORE 2.4840370409E7
AT ITER 465 NEW BEST:: SOT 133474241 SOS 82311299 HAS SOPS 67072293 HAS SOUS 25385109 HAS SOUPS 24758049 WITH SCORE 2.4840360299E7
AT ITER 478 NEW BEST:: SOT 133468880 SOS 82305314 HAS SOPS 67065194 HAS SOUS 25369140 HAS SOUPS 24742172 WITH SCORE 2.4824477314E7
AT ITER 479 NEW BEST:: SOT 133457351 SOS 82296433 HAS SOPS 67053283 HAS SOUS 25338861 HAS SOUPS 24711893 WITH SCORE 2.4794189433E7
AT ITER 485 NEW BEST:: SOT 133473389 SOS 82384040 HAS SOPS 67139106 HAS SOUS 25335408 HAS SOUPS 24708440 WITH SCORE 2.479082404E7
AT ITER 486 NEW BEST:: SOT 133471996 SOS 82384599 HAS SOPS 67138753 HAS SOUS 25328258 HAS SOUPS 24701290 WITH SCORE 2.4783674599E7
AT ITER 495 NEW BEST:: SOT 133321357 SOS 82217615 HAS SOPS 66962829 HAS SOUS 25107483 HAS SOUPS 24480810 WITH SCORE 2.4563027615E7
AT ITER 498 NEW BEST:: SOT 133333717 SOS 82283507 HAS SOPS 67019336 HAS SOUS 25106981 HAS SOUPS 24480308 WITH SCORE 2.4562591507E7
AT ITER 517 NEW BEST:: SOT 133333727 SOS 82286215 HAS SOPS 67022574 HAS SOUS 25093994 HAS SOUPS 24467401 WITH SCORE 2.4549687215E7
AT ITER 527 NEW BEST:: SOT 133332723 SOS 82290371 HAS SOPS 67021943 HAS SOUS 25073026 HAS SOUPS 24446465 WITH SCORE 2.4528755371E7
AT ITER 536 NEW BEST:: SOT 133330368 SOS 82314033 HAS SOPS 67033024 HAS SOUS 25039261 HAS SOUPS 24412700 WITH SCORE 2.4495014033E7
AT ITER 581 NEW BEST:: SOT 133327674 SOS 82312235 HAS SOPS 67029503 HAS SOUS 25027694 HAS SOUPS 24401133 WITH SCORE 2.4483445235E7
AT ITER 583 NEW BEST:: SOT 133308661 SOS 82279038 HAS SOPS 66994363 HAS SOUS 24993746 HAS SOUPS 24367185 WITH SCORE 2.4449464038E7
AT ITER 586 NEW BEST:: SOT 133280948 SOS 82242963 HAS SOPS 66965040 HAS SOUS 24963121 HAS SOUPS 24336560 WITH SCORE 2.4418802963E7
AT ITER 587 NEW BEST:: SOT 133283372 SOS 82249794 HAS SOPS 66970178 HAS SOUS 24961887 HAS SOUPS 24335326 WITH SCORE 2.4417575794E7
AT ITER 597 NEW BEST:: SOT 133279424 SOS 82237474 HAS SOPS 66969654 HAS SOUS 24960358 HAS SOUPS 24333797 WITH SCORE 2.4416034474E7
AT ITER 608 NEW BEST:: SOT 133281728 SOS 82247097 HAS SOPS 66978298 HAS SOUS 24958917 HAS SOUPS 24332356 WITH SCORE 2.4414603097E7
AT ITER 609 NEW BEST:: SOT 133247556 SOS 82159381 HAS SOPS 66904587 HAS SOUS 24846179 HAS SOUPS 24220176 WITH SCORE 2.4302335381E7
AT ITER 619 NEW BEST:: SOT 133241797 SOS 82144201 HAS SOPS 66894098 HAS SOUS 24845521 HAS SOUPS 24219518 WITH SCORE 2.4301662201E7
AT ITER 624 NEW BEST:: SOT 133249617 SOS 82160122 HAS SOPS 66903057 HAS SOUS 24845474 HAS SOUPS 24219471 WITH SCORE 2.4301631122E7
AT ITER 636 NEW BEST:: SOT 133246119 SOS 82144674 HAS SOPS 66886920 HAS SOUS 24843362 HAS SOUPS 24217359 WITH SCORE 2.4299503674E7
AT ITER 639 NEW BEST:: SOT 133245753 SOS 82144088 HAS SOPS 66886284 HAS SOUS 24843086 HAS SOUPS 24217083 WITH SCORE 2.4299227088E7
AT ITER 642 NEW BEST:: SOT 133237751 SOS 82136228 HAS SOPS 66875825 HAS SOUS 24834900 HAS SOUPS 24208574 WITH SCORE 2.4290710228E7
AT ITER 649 NEW BEST:: SOT 133238473 SOS 82148033 HAS SOPS 66881574 HAS SOUS 24830535 HAS SOUPS 24204209 WITH SCORE 2.4286357033E7
AT ITER 663 NEW BEST:: SOT 133255194 SOS 82219558 HAS SOPS 66931743 HAS SOUS 24820653 HAS SOUPS 24194327 WITH SCORE 2.4276546558E7
AT ITER 668 NEW BEST:: SOT 133410047 SOS 82363677 HAS SOPS 67075758 HAS SOUS 24802691 HAS SOUPS 24176630 WITH SCORE 2.4258993677E7
AT ITER 679 NEW BEST:: SOT 133409436 SOS 82364744 HAS SOPS 67077110 HAS SOUS 24800365 HAS SOUPS 24174304 WITH SCORE 2.4256668744E7
AT ITER 685 NEW BEST:: SOT 133410203 SOS 82366481 HAS SOPS 67077608 HAS SOUS 24800006 HAS SOUPS 24173945 WITH SCORE 2.4256311481E7
AT ITER 699 NEW BEST:: SOT 133409381 SOS 82363905 HAS SOPS 67069776 HAS SOUS 24792236 HAS SOUPS 24166175 WITH SCORE 2.4248538905E7
AT ITER 704 NEW BEST:: SOT 133399991 SOS 82335075 HAS SOPS 67046242 HAS SOUS 24780561 HAS SOUPS 24154579 WITH SCORE 2.4236914075E7
AT ITER 716 NEW BEST:: SOT 133407800 SOS 82369596 HAS SOPS 67072670 HAS SOUS 24767025 HAS SOUPS 24141043 WITH SCORE 2.4223412596E7
AT ITER 717 NEW BEST:: SOT 133407551 SOS 82372960 HAS SOPS 67075193 HAS SOUS 24762858 HAS SOUPS 24136876 WITH SCORE 2.421924896E7
AT ITER 721 NEW BEST:: SOT 133421045 SOS 82385994 HAS SOPS 67114339 HAS SOUS 24752177 HAS SOUPS 24132528 WITH SCORE 2.4214913994E7
AT ITER 730 NEW BEST:: SOT 133426269 SOS 82392196 HAS SOPS 67117292 HAS SOUS 24750016 HAS SOUPS 24130367 WITH SCORE 2.4212759196E7
AT ITER 735 NEW BEST:: SOT 133426275 SOS 82392142 HAS SOPS 67117172 HAS SOUS 24749949 HAS SOUPS 24130300 WITH SCORE 2.4212692142E7
AT ITER 745 NEW BEST:: SOT 133434249 SOS 82436707 HAS SOPS 67148202 HAS SOUS 24738961 HAS SOUPS 24119312 WITH SCORE 2.4201748707E7
AT ITER 746 NEW BEST:: SOT 133434783 SOS 82437353 HAS SOPS 67147792 HAS SOUS 24738349 HAS SOUPS 24118700 WITH SCORE 2.4201137353E7
AT ITER 762 NEW BEST:: SOT 133440737 SOS 82446824 HAS SOPS 67158268 HAS SOUS 24737106 HAS SOUPS 24117182 WITH SCORE 2.4199628824E7
AT ITER 763 NEW BEST:: SOT 133446731 SOS 82467768 HAS SOPS 67167995 HAS SOUS 24730032 HAS SOUPS 24110108 WITH SCORE 2.4192575768E7
AT ITER 769 NEW BEST:: SOT 133418641 SOS 82404303 HAS SOPS 67123033 HAS SOUS 24717902 HAS SOUPS 24098179 WITH SCORE 2.4180583303E7
AT ITER 770 NEW BEST:: SOT 133423488 SOS 82421025 HAS SOPS 67135077 HAS SOUS 24715193 HAS SOUPS 24095470 WITH SCORE 2.4177891025E7
AT ITER 781 NEW BEST:: SOT 133414384 SOS 82403573 HAS SOPS 67118766 HAS SOUS 24713526 HAS SOUPS 24093803 WITH SCORE 2.4176206573E7
AT ITER 792 NEW BEST:: SOT 133413907 SOS 82401946 HAS SOPS 67116114 HAS SOUS 24711886 HAS SOUPS 24092163 WITH SCORE 2.4174564946E7
AT ITER 821 NEW BEST:: SOT 133422989 SOS 82471367 HAS SOPS 67158441 HAS SOUS 24652104 HAS SOUPS 24032381 WITH SCORE 2.4114852367E7
AT ITER 824 NEW BEST:: SOT 133403870 SOS 82402392 HAS SOPS 67099737 HAS SOUS 24650914 HAS SOUPS 24031191 WITH SCORE 2.4113593392E7
AT ITER 829 NEW BEST:: SOT 133415414 SOS 82459054 HAS SOPS 67134798 HAS SOUS 24593225 HAS SOUPS 23973502 WITH SCORE 2.4055961054E7
AT ITER 838 NEW BEST:: SOT 133413210 SOS 82457140 HAS SOPS 67133812 HAS SOUS 24589057 HAS SOUPS 23969334 WITH SCORE 2.405179114E7
AT ITER 849 NEW BEST:: SOT 133416787 SOS 82494767 HAS SOPS 67160042 HAS SOUS 24565144 HAS SOUPS 23945421 WITH SCORE 2.4027915767E7
AT ITER 851 NEW BEST:: SOT 133422421 SOS 82517982 HAS SOPS 67164484 HAS SOUS 24541374 HAS SOUPS 23921651 WITH SCORE 2.4004168982E7
AT ITER 852 NEW BEST:: SOT 133415109 SOS 82510183 HAS SOPS 67156625 HAS SOUS 24526873 HAS SOUPS 23907150 WITH SCORE 2.3989660183E7
AT ITER 854 NEW BEST:: SOT 133414361 SOS 82510793 HAS SOPS 67158532 HAS SOUS 24526401 HAS SOUPS 23906678 WITH SCORE 2.3989188793E7
AT ITER 861 NEW BEST:: SOT 133425185 SOS 82521300 HAS SOPS 67178036 HAS SOUS 24525051 HAS SOUPS 23905527 WITH SCORE 2.39880483E7
AT ITER 867 NEW BEST:: SOT 133424308 SOS 82536728 HAS SOPS 67197200 HAS SOUS 24509415 HAS SOUPS 23889891 WITH SCORE 2.3972427728E7
AT ITER 879 NEW BEST:: SOT 133420488 SOS 82532908 HAS SOPS 67193188 HAS SOUS 24505595 HAS SOUPS 23885879 WITH SCORE 2.3968411908E7
AT ITER 896 NEW BEST:: SOT 133420412 SOS 82532930 HAS SOPS 67193228 HAS SOUS 24505521 HAS SOUPS 23885805 WITH SCORE 2.396833793E7
AT ITER 916 NEW BEST:: SOT 133423456 SOS 82526429 HAS SOPS 67173910 HAS SOUS 24492688 HAS SOUPS 23873092 WITH SCORE 2.3955618429E7
AT ITER 923 NEW BEST:: SOT 133423395 SOS 82525947 HAS SOPS 67166706 HAS SOUS 24480635 HAS SOUPS 23861045 WITH SCORE 2.3943570947E7
AT ITER 935 NEW BEST:: SOT 133421025 SOS 82520000 HAS SOPS 67162359 HAS SOUS 24479907 HAS SOUPS 23860317 WITH SCORE 2.3942837E7
AT ITER 938 NEW BEST:: SOT 133421304 SOS 82521132 HAS SOPS 67162971 HAS SOUS 24478805 HAS SOUPS 23859204 WITH SCORE 2.3941725132E7
AT ITER 963 NEW BEST:: SOT 133421781 SOS 82523944 HAS SOPS 67168097 HAS SOUS 24477666 HAS SOUPS 23858065 WITH SCORE 2.3940588944E7
AT ITER 981 NEW BEST:: SOT 133421095 SOS 82521644 HAS SOPS 67166607 HAS SOUS 24477006 HAS SOUPS 23857415 WITH SCORE 2.3939936644E7
AT ITER 982 NEW BEST:: SOT 133423231 SOS 82540936 HAS SOPS 67188737 HAS SOUS 24462947 HAS SOUPS 23843356 WITH SCORE 2.3925896936E7
AT ITER 984 NEW BEST:: SOT 133409900 SOS 82501156 HAS SOPS 67170160 HAS SOUS 24462208 HAS SOUPS 23842617 WITH SCORE 2.3925118156E7
AT ITER 985 NEW BEST:: SOT 133408342 SOS 82499517 HAS SOPS 67166876 HAS SOUS 24453888 HAS SOUPS 23834297 WITH SCORE 2.3916796517E7
AT ITER 993 NEW BEST:: SOT 133401022 SOS 82496206 HAS SOPS 67176350 HAS SOUS 24448337 HAS SOUPS 23828746 WITH SCORE 2.3911242206E7
AT ITER 1022 NEW BEST:: SOT 133401076 SOS 82498346 HAS SOPS 67178631 HAS SOUS 24447993 HAS SOUPS 23828402 WITH SCORE 2.3910900346E7
AT ITER 1027 NEW BEST:: SOT 133400227 SOS 82496233 HAS SOPS 67177078 HAS SOUS 24445127 HAS SOUPS 23825536 WITH SCORE 2.3908032233E7
AT ITER 1047 NEW BEST:: SOT 133400982 SOS 82496819 HAS SOPS 67176640 HAS SOUS 24443378 HAS SOUPS 23823787 WITH SCORE 2.3906283819E7
AT ITER 1049 NEW BEST:: SOT 133433823 SOS 82518205 HAS SOPS 67165422 HAS SOUS 24412471 HAS SOUPS 23792923 WITH SCORE 2.3875441205E7
AT ITER 1050 NEW BEST:: SOT 133433823 SOS 82518317 HAS SOPS 67165534 HAS SOUS 24412469 HAS SOUPS 23792921 WITH SCORE 2.3875439317E7
AT ITER 1061 NEW BEST:: SOT 133426019 SOS 82498650 HAS SOPS 67152723 HAS SOUS 24408826 HAS SOUPS 23789278 WITH SCORE 2.387177665E7
AT ITER 1077 NEW BEST:: SOT 133423079 SOS 82499402 HAS SOPS 67148204 HAS SOUS 24399362 HAS SOUPS 23779814 WITH SCORE 2.3862313402E7
AT ITER 1113 NEW BEST:: SOT 133422763 SOS 82495154 HAS SOPS 67146789 HAS SOUS 24394336 HAS SOUPS 23774788 WITH SCORE 2.3857283154E7
AT ITER 1125 NEW BEST:: SOT 133426677 SOS 82505994 HAS SOPS 67155930 HAS SOUS 24375987 HAS SOUPS 23756439 WITH SCORE 2.3838944994E7
AT ITER 1127 NEW BEST:: SOT 133449783 SOS 82545702 HAS SOPS 67184408 HAS SOUS 24375219 HAS SOUPS 23755671 WITH SCORE 2.3838216702E7
AT ITER 1129 NEW BEST:: SOT 133411139 SOS 82485676 HAS SOPS 67140001 HAS SOUS 24339734 HAS SOUPS 23720411 WITH SCORE 2.3802896676E7
AT ITER 1146 NEW BEST:: SOT 133408983 SOS 82483940 HAS SOPS 67137957 HAS SOUS 24336806 HAS SOUPS 23717483 WITH SCORE 2.379996694E7
AT ITER 1147 NEW BEST:: SOT 133396926 SOS 82460367 HAS SOPS 67117488 HAS SOUS 24327355 HAS SOUPS 23708032 WITH SCORE 2.3790492367E7
AT ITER 1155 NEW BEST:: SOT 133383675 SOS 82406121 HAS SOPS 67068593 HAS SOUS 24323908 HAS SOUPS 23704585 WITH SCORE 2.3786991121E7
AT ITER 1165 NEW BEST:: SOT 133315456 SOS 82314600 HAS SOPS 66985934 HAS SOUS 24259143 HAS SOUPS 23639820 WITH SCORE 2.37221346E7
AT ITER 1169 NEW BEST:: SOT 133314315 SOS 82311957 HAS SOPS 66982852 HAS SOUS 24256516 HAS SOUPS 23636989 WITH SCORE 2.3719300957E7
AT ITER 1172 NEW BEST:: SOT 133309647 SOS 82309582 HAS SOPS 67013084 HAS SOUS 24244592 HAS SOUPS 23625065 WITH SCORE 2.3707374582E7
AT ITER 1177 NEW BEST:: SOT 133302129 SOS 82301001 HAS SOPS 67005121 HAS SOUS 24226516 HAS SOUPS 23607039 WITH SCORE 2.3689340001E7
AT ITER 1183 NEW BEST:: SOT 133320071 SOS 82375404 HAS SOPS 67067551 HAS SOUS 24220447 HAS SOUPS 23600970 WITH SCORE 2.3683345404E7
AT ITER 1189 NEW BEST:: SOT 133317746 SOS 82374095 HAS SOPS 67065911 HAS SOUS 24214392 HAS SOUPS 23594915 WITH SCORE 2.3677289095E7
AT ITER 1204 NEW BEST:: SOT 133321557 SOS 82385002 HAS SOPS 67075303 HAS SOUS 24204004 HAS SOUPS 23584527 WITH SCORE 2.3666912002E7
AT ITER 1215 NEW BEST:: SOT 133295451 SOS 82368854 HAS SOPS 67043212 HAS SOUS 24166949 HAS SOUPS 23547290 WITH SCORE 2.3629658854E7
AT ITER 1220 NEW BEST:: SOT 133279157 SOS 82340252 HAS SOPS 67016742 HAS SOUS 24145857 HAS SOUPS 23526198 WITH SCORE 2.3608538252E7
AT ITER 1222 NEW BEST:: SOT 133275122 SOS 82333649 HAS SOPS 67013044 HAS SOUS 24133304 HAS SOUPS 23513645 WITH SCORE 2.3595978649E7
AT ITER 1229 NEW BEST:: SOT 133268966 SOS 82319539 HAS SOPS 67000531 HAS SOUS 24133179 HAS SOUPS 23513520 WITH SCORE 2.3595839539E7
AT ITER 1231 NEW BEST:: SOT 133294033 SOS 82358399 HAS SOPS 67056734 HAS SOUS 24109043 HAS SOUPS 23490907 WITH SCORE 2.3573265399E7
AT ITER 1236 NEW BEST:: SOT 133291872 SOS 82357914 HAS SOPS 67056912 HAS SOUS 24105500 HAS SOUPS 23487364 WITH SCORE 2.3569721914E7
AT ITER 1252 NEW BEST:: SOT 133291014 SOS 82356358 HAS SOPS 67055608 HAS SOUS 24104641 HAS SOUPS 23486505 WITH SCORE 2.3568861358E7
AT ITER 1260 NEW BEST:: SOT 133320836 SOS 82385669 HAS SOPS 67084919 HAS SOUS 24097776 HAS SOUPS 23479640 WITH SCORE 2.3562025669E7
AT ITER 1270 NEW BEST:: SOT 133315474 SOS 82360992 HAS SOPS 67077664 HAS SOUS 24071080 HAS SOUPS 23454120 WITH SCORE 2.3536480992E7
AT ITER 1273 NEW BEST:: SOT 133315673 SOS 82366053 HAS SOPS 67085806 HAS SOUS 24070769 HAS SOUPS 23453809 WITH SCORE 2.3536175053E7
AT ITER 1282 NEW BEST:: SOT 133313045 SOS 82359055 HAS SOPS 67080961 HAS SOUS 24068346 HAS SOUPS 23451386 WITH SCORE 2.3533745055E7
AT ITER 1284 NEW BEST:: SOT 133312963 SOS 82358479 HAS SOPS 67080342 HAS SOUS 24068150 HAS SOUPS 23451190 WITH SCORE 2.3533548479E7
AT ITER 1292 NEW BEST:: SOT 133293625 SOS 82324236 HAS SOPS 67047750 HAS SOUS 24063133 HAS SOUPS 23446173 WITH SCORE 2.3528497236E7
AT ITER 1297 NEW BEST:: SOT 133287695 SOS 82310623 HAS SOPS 67043102 HAS SOUS 24061934 HAS SOUPS 23445062 WITH SCORE 2.3527372623E7
AT ITER 1298 NEW BEST:: SOT 133287720 SOS 82311558 HAS SOPS 67043897 HAS SOUS 24061359 HAS SOUPS 23444487 WITH SCORE 2.3526798558E7
AT ITER 1310 NEW BEST:: SOT 133284323 SOS 82310373 HAS SOPS 67047693 HAS SOUS 24060114 HAS SOUPS 23443242 WITH SCORE 2.3525552373E7
AT ITER 1354 NEW BEST:: SOT 133300070 SOS 82401027 HAS SOPS 67097353 HAS SOUS 24035549 HAS SOUPS 23418671 WITH SCORE 2.3501072027E7
AT ITER 1365 NEW BEST:: SOT 133299948 SOS 82400831 HAS SOPS 67097115 HAS SOUS 24035371 HAS SOUPS 23418493 WITH SCORE 2.3500893831E7
AT ITER 1371 NEW BEST:: SOT 133302780 SOS 82413067 HAS SOPS 67107849 HAS SOUS 24034263 HAS SOUPS 23417385 WITH SCORE 2.3499798067E7
AT ITER 1386 NEW BEST:: SOT 133296319 SOS 82397754 HAS SOPS 67092467 HAS SOUS 24028155 HAS SOUPS 23411277 WITH SCORE 2.3493674754E7
AT ITER 1392 NEW BEST:: SOT 133296931 SOS 82400816 HAS SOPS 67093369 HAS SOUS 24025309 HAS SOUPS 23408431 WITH SCORE 2.3490831816E7
AT ITER 1404 NEW BEST:: SOT 133277893 SOS 82365329 HAS SOPS 67107020 HAS SOUS 23983308 HAS SOUPS 23366878 WITH SCORE 2.3449243329E7
AT ITER 1446 NEW BEST:: SOT 133275548 SOS 82361772 HAS SOPS 67102339 HAS SOUS 23978672 HAS SOUPS 23362242 WITH SCORE 2.3444603772E7
AT ITER 1451 NEW BEST:: SOT 133275621 SOS 82361391 HAS SOPS 67101831 HAS SOUS 23978471 HAS SOUPS 23362041 WITH SCORE 2.3444402391E7
AT ITER 1466 NEW BEST:: SOT 133275164 SOS 82360934 HAS SOPS 67101010 HAS SOUS 23977544 HAS SOUPS 23361114 WITH SCORE 2.3443474934E7
AT ITER 1483 NEW BEST:: SOT 133270934 SOS 82357768 HAS SOPS 67096938 HAS SOUS 23964550 HAS SOUPS 23348120 WITH SCORE 2.3430477768E7
AT ITER 1490 NEW BEST:: SOT 133271453 SOS 82366523 HAS SOPS 67106018 HAS SOUS 23957671 HAS SOUPS 23341241 WITH SCORE 2.3423607523E7
AT ITER 1494 NEW BEST:: SOT 133202149 SOS 82217271 HAS SOPS 67035894 HAS SOUS 23951598 HAS SOUPS 23335615 WITH SCORE 2.3417832271E7
AT ITER 1506 NEW BEST:: SOT 133172314 SOS 82182566 HAS SOPS 66998959 HAS SOUS 23906997 HAS SOUPS 23291014 WITH SCORE 2.3373196566E7
AT ITER 1533 NEW BEST:: SOT 133172298 SOS 82182550 HAS SOPS 66998943 HAS SOUS 23906965 HAS SOUPS 23290982 WITH SCORE 2.337316455E7
AT ITER 1537 NEW BEST:: SOT 133120434 SOS 82095298 HAS SOPS 66921268 HAS SOUS 23848070 HAS SOUPS 23232773 WITH SCORE 2.3314868298E7
AT ITER 1538 NEW BEST:: SOT 133113133 SOS 82085108 HAS SOPS 66906036 HAS SOUS 23824652 HAS SOUPS 23209560 WITH SCORE 2.3291645108E7
AT ITER 1547 NEW BEST:: SOT 133113047 SOS 82085014 HAS SOPS 66905750 HAS SOUS 23824470 HAS SOUPS 23209378 WITH SCORE 2.3291463014E7
AT ITER 1584 NEW BEST:: SOT 133113610 SOS 82085485 HAS SOPS 66906697 HAS SOUS 23822958 HAS SOUPS 23207866 WITH SCORE 2.3289951485E7
AT ITER 1592 NEW BEST:: SOT 133133567 SOS 82167421 HAS SOPS 66970559 HAS SOUS 23818968 HAS SOUPS 23203876 WITH SCORE 2.3286043421E7
AT ITER 1601 NEW BEST:: SOT 133088060 SOS 82116446 HAS SOPS 66930887 HAS SOUS 23788514 HAS SOUPS 23173642 WITH SCORE 2.3255758446E7
AT ITER 1603 NEW BEST:: SOT 133085556 SOS 82118057 HAS SOPS 66930721 HAS SOUS 23775348 HAS SOUPS 23160476 WITH SCORE 2.3242594057E7
AT ITER 1619 NEW BEST:: SOT 133114666 SOS 82175845 HAS SOPS 67014919 HAS SOUS 23768045 HAS SOUPS 23152937 WITH SCORE 2.3235112845E7
AT ITER 1626 NEW BEST:: SOT 133124714 SOS 82225747 HAS SOPS 67050889 HAS SOUS 23746562 HAS SOUPS 23131454 WITH SCORE 2.3213679747E7
AT ITER 1650 NEW BEST:: SOT 133085089 SOS 82180766 HAS SOPS 66947044 HAS SOUS 23642465 HAS SOUPS 23027548 WITH SCORE 2.3109728766E7
AT ITER 1652 NEW BEST:: SOT 133077674 SOS 82169804 HAS SOPS 66948270 HAS SOUS 23633506 HAS SOUPS 23018589 WITH SCORE 2.3100758804E7
AT ITER 1681 NEW BEST:: SOT 133086684 SOS 82241068 HAS SOPS 67016845 HAS SOUS 23601885 HAS SOUPS 22986968 WITH SCORE 2.3069209068E7
AT ITER 1686 NEW BEST:: SOT 133088702 SOS 82254169 HAS SOPS 67032765 HAS SOUS 23592174 HAS SOUPS 22977257 WITH SCORE 2.3059511169E7
AT ITER 1718 NEW BEST:: SOT 133082522 SOS 82250245 HAS SOPS 67026993 HAS SOUS 23579524 HAS SOUPS 22964607 WITH SCORE 2.3046857245E7
AT ITER 1729 NEW BEST:: SOT 133087470 SOS 82263452 HAS SOPS 67040612 HAS SOUS 23577160 HAS SOUPS 22962243 WITH SCORE 2.3044506452E7
AT ITER 1748 NEW BEST:: SOT 133087281 SOS 82267748 HAS SOPS 67046290 HAS SOUS 23569577 HAS SOUPS 22954613 WITH SCORE 2.3036880748E7
AT ITER 1751 NEW BEST:: SOT 133089931 SOS 82265406 HAS SOPS 67062807 HAS SOUS 23543524 HAS SOUPS 22928816 WITH SCORE 2.3011081406E7
AT ITER 1758 NEW BEST:: SOT 133073328 SOS 82239840 HAS SOPS 67039214 HAS SOUS 23523782 HAS SOUPS 22909074 WITH SCORE 2.299131384E7
AT ITER 1759 NEW BEST:: SOT 133066110 SOS 82223283 HAS SOPS 67025001 HAS SOUS 23517536 HAS SOUPS 22902828 WITH SCORE 2.2985051283E7
AT ITER 1760 NEW BEST:: SOT 133062658 SOS 82201454 HAS SOPS 66995724 HAS SOUS 23517153 HAS SOUPS 22902445 WITH SCORE 2.2984646454E7
AT ITER 1765 NEW BEST:: SOT 133054855 SOS 82185653 HAS SOPS 66975961 HAS SOUS 23508322 HAS SOUPS 22893416 WITH SCORE 2.2975601653E7
AT ITER 1778 NEW BEST:: SOT 133051233 SOS 82178306 HAS SOPS 66966231 HAS SOUS 23498026 HAS SOUPS 22883120 WITH SCORE 2.2965298306E7
AT ITER 1786 NEW BEST:: SOT 133068999 SOS 82252426 HAS SOPS 67036948 HAS SOUS 23448500 HAS SOUPS 22833594 WITH SCORE 2.2915846426E7
AT ITER 1787 NEW BEST:: SOT 133044293 SOS 82225739 HAS SOPS 67008850 HAS SOUS 23401770 HAS SOUPS 22786864 WITH SCORE 2.2869089739E7
AT ITER 1791 NEW BEST:: SOT 133036254 SOS 82209873 HAS SOPS 67006623 HAS SOUS 23393947 HAS SOUPS 22779041 WITH SCORE 2.2861250873E7
AT ITER 1798 NEW BEST:: SOT 133001552 SOS 82163429 HAS SOPS 66962710 HAS SOUS 23348619 HAS SOUPS 22733497 WITH SCORE 2.2815660429E7
AT ITER 1801 NEW BEST:: SOT 132997058 SOS 82163394 HAS SOPS 66951474 HAS SOUS 23319381 HAS SOUPS 22704259 WITH SCORE 2.2786422394E7
AT ITER 1805 NEW BEST:: SOT 132978606 SOS 82110855 HAS SOPS 66913628 HAS SOUS 23310686 HAS SOUPS 22695564 WITH SCORE 2.2777674855E7
AT ITER 1811 NEW BEST:: SOT 132969015 SOS 82089814 HAS SOPS 66901070 HAS SOUS 23286952 HAS SOUPS 22675532 WITH SCORE 2.2757621814E7
AT ITER 1815 NEW BEST:: SOT 132967190 SOS 82095446 HAS SOPS 66902434 HAS SOUS 23272289 HAS SOUPS 22660769 WITH SCORE 2.2742864446E7
AT ITER 1831 NEW BEST:: SOT 132998418 SOS 82168674 HAS SOPS 66960148 HAS SOUS 23268276 HAS SOUPS 22656756 WITH SCORE 2.2738924674E7
AT ITER 1833 NEW BEST:: SOT 132993249 SOS 82149013 HAS SOPS 66949010 HAS SOUS 23265344 HAS SOUPS 22653962 WITH SCORE 2.2736111013E7
AT ITER 1836 NEW BEST:: SOT 132976421 SOS 82132059 HAS SOPS 66928116 HAS SOUS 23228012 HAS SOUPS 22616630 WITH SCORE 2.2698762059E7
AT ITER 1848 NEW BEST:: SOT 132937405 SOS 82067702 HAS SOPS 66877104 HAS SOUS 23183265 HAS SOUPS 22572197 WITH SCORE 2.2654264702E7
AT ITER 1854 NEW BEST:: SOT 132939344 SOS 82070051 HAS SOPS 66882413 HAS SOUS 23159936 HAS SOUPS 22548658 WITH SCORE 2.2630728051E7
AT ITER 1862 NEW BEST:: SOT 132919307 SOS 82016221 HAS SOPS 66846001 HAS SOUS 23148850 HAS SOUPS 22538765 WITH SCORE 2.2620781221E7
AT ITER 1864 NEW BEST:: SOT 132920015 SOS 82020967 HAS SOPS 66846132 HAS SOUS 23146640 HAS SOUPS 22536555 WITH SCORE 2.2618575967E7
AT ITER 1890 NEW BEST:: SOT 132919977 SOS 82020993 HAS SOPS 66845774 HAS SOUS 23146434 HAS SOUPS 22536341 WITH SCORE 2.2618361993E7
AT ITER 1894 NEW BEST:: SOT 132913113 SOS 82010588 HAS SOPS 66834733 HAS SOUS 23134127 HAS SOUPS 22524034 WITH SCORE 2.2606044588E7
AT ITER 1902 NEW BEST:: SOT 132911784 SOS 82009041 HAS SOPS 66833907 HAS SOUS 23130456 HAS SOUPS 22520363 WITH SCORE 2.2602372041E7
AT ITER 1906 NEW BEST:: SOT 132916568 SOS 82014295 HAS SOPS 66844024 HAS SOUS 23125251 HAS SOUPS 22514998 WITH SCORE 2.2597012295E7
AT ITER 1907 NEW BEST:: SOT 132916759 SOS 82013726 HAS SOPS 66843116 HAS SOUS 23124385 HAS SOUPS 22514132 WITH SCORE 2.2596145726E7
AT ITER 1915 NEW BEST:: SOT 132916277 SOS 82009968 HAS SOPS 66833452 HAS SOUS 23109003 HAS SOUPS 22498750 WITH SCORE 2.2580759968E7
AT ITER 1936 NEW BEST:: SOT 132911909 SOS 82000443 HAS SOPS 66825541 HAS SOUS 23106310 HAS SOUPS 22496057 WITH SCORE 2.2578057443E7
AT ITER 1953 NEW BEST:: SOT 132914038 SOS 82001032 HAS SOPS 66824708 HAS SOUS 23102618 HAS SOUPS 22492445 WITH SCORE 2.2574446032E7
AT ITER 2033 NEW BEST:: SOT 132920096 SOS 82024821 HAS SOPS 66835821 HAS SOUS 23100539 HAS SOUPS 22490230 WITH SCORE 2.2572254821E7
AT ITER 2047 NEW BEST:: SOT 132916788 SOS 82011155 HAS SOPS 66820753 HAS SOUS 23097690 HAS SOUPS 22487381 WITH SCORE 2.2569392155E7
AT ITER 2062 NEW BEST:: SOT 132918515 SOS 82010654 HAS SOPS 66830330 HAS SOUS 23089381 HAS SOUPS 22478885 WITH SCORE 2.2560895654E7
AT ITER 2063 NEW BEST:: SOT 132910498 SOS 81997346 HAS SOPS 66816781 HAS SOUS 23078255 HAS SOUPS 22467759 WITH SCORE 2.2549756346E7
AT ITER 2076 NEW BEST:: SOT 132910552 SOS 81997385 HAS SOPS 66816835 HAS SOUS 23078237 HAS SOUPS 22467756 WITH SCORE 2.2549753385E7
AT ITER 2080 NEW BEST:: SOT 132913302 SOS 81999969 HAS SOPS 66823564 HAS SOUS 23074760 HAS SOUPS 22464279 WITH SCORE 2.2546278969E7
AT ITER 2081 NEW BEST:: SOT 132931749 SOS 82055911 HAS SOPS 66867676 HAS SOUS 23074047 HAS SOUPS 22463566 WITH SCORE 2.2545621911E7
AT ITER 2088 NEW BEST:: SOT 132904265 SOS 82001128 HAS SOPS 66826198 HAS SOUS 23056301 HAS SOUPS 22445820 WITH SCORE 2.2527821128E7
AT ITER 2133 NEW BEST:: SOT 132904040 SOS 82000549 HAS SOPS 66825755 HAS SOUS 23055992 HAS SOUPS 22445511 WITH SCORE 2.2527511549E7
AT ITER 2149 NEW BEST:: SOT 132904753 SOS 82001574 HAS SOPS 66828041 HAS SOUS 23055938 HAS SOUPS 22445457 WITH SCORE 2.2527458574E7
AT ITER 2164 NEW BEST:: SOT 132904649 SOS 81974633 HAS SOPS 66786708 HAS SOUS 23054089 HAS SOUPS 22443608 WITH SCORE 2.2525582633E7
AT ITER 2191 NEW BEST:: SOT 132906025 SOS 81980095 HAS SOPS 66790200 HAS SOUS 23051444 HAS SOUPS 22440963 WITH SCORE 2.2522943095E7
AT ITER 2192 NEW BEST:: SOT 132903255 SOS 81977224 HAS SOPS 66785793 HAS SOUS 23044711 HAS SOUPS 22434230 WITH SCORE 2.2516207224E7
AT ITER 2193 NEW BEST:: SOT 132921214 SOS 82019083 HAS SOPS 66821463 HAS SOUS 23039457 HAS SOUPS 22428976 WITH SCORE 2.2510995083E7
AT ITER 2202 NEW BEST:: SOT 132918569 SOS 82009204 HAS SOPS 66812189 HAS SOUS 23035695 HAS SOUPS 22425214 WITH SCORE 2.2507223204E7
AT ITER 2219 NEW BEST:: SOT 132916593 SOS 82001613 HAS SOPS 66805907 HAS SOUS 23035590 HAS SOUPS 22425109 WITH SCORE 2.2507110613E7
AT ITER 2222 NEW BEST:: SOT 132909267 SOS 81976242 HAS SOPS 66788476 HAS SOUS 23031530 HAS SOUPS 22421049 WITH SCORE 2.2503025242E7
AT ITER 2236 NEW BEST:: SOT 132908593 SOS 81972810 HAS SOPS 66786738 HAS SOUS 23031127 HAS SOUPS 22420646 WITH SCORE 2.250261881E7
AT ITER 2244 NEW BEST:: SOT 132895688 SOS 81955808 HAS SOPS 66772353 HAS SOUS 23028479 HAS SOUPS 22417998 WITH SCORE 2.2499953808E7
AT ITER 2269 NEW BEST:: SOT 132901653 SOS 81988141 HAS SOPS 66797814 HAS SOUS 23021281 HAS SOUPS 22410800 WITH SCORE 2.2492788141E7
AT ITER 2292 NEW BEST:: SOT 132924803 SOS 82036519 HAS SOPS 66841604 HAS SOUS 23010816 HAS SOUPS 22400335 WITH SCORE 2.2482371519E7
AT ITER 2300 NEW BEST:: SOT 132923165 SOS 82035381 HAS SOPS 66837209 HAS SOUS 23004734 HAS SOUPS 22394232 WITH SCORE 2.2476267381E7
AT ITER 2336 NEW BEST:: SOT 132921563 SOS 82029913 HAS SOPS 66831271 HAS SOUS 23003690 HAS SOUPS 22393188 WITH SCORE 2.2475217913E7
AT ITER 2340 NEW BEST:: SOT 132908355 SOS 82016911 HAS SOPS 66818188 HAS SOUS 22980456 HAS SOUPS 22369873 WITH SCORE 2.2451889911E7
AT ITER 2346 NEW BEST:: SOT 132890494 SOS 81972955 HAS SOPS 66786852 HAS SOUS 22942406 HAS SOUPS 22333730 WITH SCORE 2.2415702955E7
AT ITER 2354 NEW BEST:: SOT 132892857 SOS 81980944 HAS SOPS 66793178 HAS SOUS 22939654 HAS SOUPS 22330978 WITH SCORE 2.2412958944E7
AT ITER 2356 NEW BEST:: SOT 132888313 SOS 81970914 HAS SOPS 66784835 HAS SOUS 22936370 HAS SOUPS 22327694 WITH SCORE 2.2409664914E7
AT ITER 2357 NEW BEST:: SOT 132888050 SOS 81975543 HAS SOPS 66788863 HAS SOUS 22925320 HAS SOUPS 22316644 WITH SCORE 2.2398619543E7
AT ITER 2362 NEW BEST:: SOT 132894291 SOS 81988000 HAS SOPS 66797864 HAS SOUS 22921987 HAS SOUPS 22313622 WITH SCORE 2.239561E7
AT ITER 2375 NEW BEST:: SOT 132892513 SOS 81991945 HAS SOPS 66795325 HAS SOUS 22907221 HAS SOUPS 22298856 WITH SCORE 2.2380847945E7
AT ITER 2378 NEW BEST:: SOT 132878389 SOS 81967262 HAS SOPS 66773662 HAS SOUS 22887959 HAS SOUPS 22279594 WITH SCORE 2.2361561262E7
AT ITER 2381 NEW BEST:: SOT 132888067 SOS 81977998 HAS SOPS 66778733 HAS SOUS 22880507 HAS SOUPS 22271965 WITH SCORE 2.2353942998E7
AT ITER 2390 NEW BEST:: SOT 132888960 SOS 81981395 HAS SOPS 66781387 HAS SOUS 22879481 HAS SOUPS 22270939 WITH SCORE 2.2352920395E7
AT ITER 2391 NEW BEST:: SOT 132879732 SOS 81957829 HAS SOPS 66760454 HAS SOUS 22865314 HAS SOUPS 22256835 WITH SCORE 2.2338792829E7
AT ITER 2408 NEW BEST:: SOT 132888001 SOS 81973235 HAS SOPS 66762125 HAS SOUS 22854989 HAS SOUPS 22246510 WITH SCORE 2.2328483235E7
AT ITER 2410 NEW BEST:: SOT 132912985 SOS 82055914 HAS SOPS 66827859 HAS SOUS 22835639 HAS SOUPS 22227160 WITH SCORE 2.2309215914E7
AT ITER 2428 NEW BEST:: SOT 132891416 SOS 82028804 HAS SOPS 66795412 HAS SOUS 22791541 HAS SOUPS 22183352 WITH SCORE 2.2265380804E7
AT ITER 2430 NEW BEST:: SOT 132890135 SOS 82027483 HAS SOPS 66793281 HAS SOUS 22788056 HAS SOUPS 22179327 WITH SCORE 2.2261354483E7
AT ITER 2432 NEW BEST:: SOT 132889421 SOS 82026633 HAS SOPS 66792567 HAS SOUS 22788022 HAS SOUPS 22179293 WITH SCORE 2.2261319633E7
AT ITER 2434 NEW BEST:: SOT 132885315 SOS 82017435 HAS SOPS 66783066 HAS SOUS 22777935 HAS SOUPS 22169206 WITH SCORE 2.2251223435E7
AT ITER 2443 NEW BEST:: SOT 132881446 SOS 82019694 HAS SOPS 66781305 HAS SOUS 22761998 HAS SOUPS 22153269 WITH SCORE 2.2235288694E7
AT ITER 2470 NEW BEST:: SOT 132883979 SOS 82028461 HAS SOPS 66794113 HAS SOUS 22757220 HAS SOUPS 22148491 WITH SCORE 2.2230519461E7
AT ITER 2485 NEW BEST:: SOT 132882237 SOS 82025972 HAS SOPS 66790317 HAS SOUS 22753367 HAS SOUPS 22144638 WITH SCORE 2.2226663972E7
AT ITER 2528 NEW BEST:: SOT 132869111 SOS 81997461 HAS SOPS 66767836 HAS SOUS 22746156 HAS SOUPS 22137427 WITH SCORE 2.2219424461E7
AT ITER 2531 NEW BEST:: SOT 132861665 SOS 81989950 HAS SOPS 66760325 HAS SOUS 22730205 HAS SOUPS 22121476 WITH SCORE 2.220346595E7
AT ITER 2535 NEW BEST:: SOT 132835548 SOS 81941274 HAS SOPS 66719887 HAS SOUS 22705500 HAS SOUPS 22097302 WITH SCORE 2.2179243274E7
AT ITER 2551 NEW BEST:: SOT 132817788 SOS 81916803 HAS SOPS 66691153 HAS SOUS 22664441 HAS SOUPS 22055616 WITH SCORE 2.2137532803E7
AT ITER 2565 NEW BEST:: SOT 132817485 SOS 81916586 HAS SOPS 66690541 HAS SOUS 22663428 HAS SOUPS 22054603 WITH SCORE 2.2136519586E7
AT ITER 2567 NEW BEST:: SOT 132818343 SOS 81920236 HAS SOPS 66691836 HAS SOUS 22659542 HAS SOUPS 22050717 WITH SCORE 2.2132637236E7
AT ITER 2580 NEW BEST:: SOT 132817529 SOS 81913306 HAS SOPS 66685751 HAS SOUS 22656196 HAS SOUPS 22047371 WITH SCORE 2.2129284306E7
AT ITER 2591 NEW BEST:: SOT 132819016 SOS 81916991 HAS SOPS 66688898 HAS SOUS 22655485 HAS SOUPS 22046660 WITH SCORE 2.2128576991E7
AT ITER 2602 NEW BEST:: SOT 132824378 SOS 81922791 HAS SOPS 66697206 HAS SOUS 22652060 HAS SOUPS 22043235 WITH SCORE 2.2125157791E7
AT ITER 2614 NEW BEST:: SOT 132882937 SOS 82067424 HAS SOPS 66856769 HAS SOUS 22649515 HAS SOUPS 22040690 WITH SCORE 2.2122757424E7
AT ITER 2618 NEW BEST:: SOT 132859217 SOS 82033318 HAS SOPS 66825409 HAS SOUS 22610231 HAS SOUPS 22002572 WITH SCORE 2.2084605318E7
AT ITER 2620 NEW BEST:: SOT 132853952 SOS 82019412 HAS SOPS 66815958 HAS SOUS 22604810 HAS SOUPS 21997294 WITH SCORE 2.2079313412E7
AT ITER 2624 NEW BEST:: SOT 132852947 SOS 82009952 HAS SOPS 66805062 HAS SOUS 22601435 HAS SOUPS 21993919 WITH SCORE 2.2075928952E7
AT ITER 2631 NEW BEST:: SOT 132852967 SOS 82009882 HAS SOPS 66804909 HAS SOUS 22601206 HAS SOUPS 21993722 WITH SCORE 2.2075731882E7
AT ITER 2634 NEW BEST:: SOT 132842889 SOS 81998544 HAS SOPS 66793410 HAS SOUS 22570159 HAS SOUPS 21962694 WITH SCORE 2.2044692544E7
AT ITER 2637 NEW BEST:: SOT 132840486 SOS 81995137 HAS SOPS 66788256 HAS SOUS 22535527 HAS SOUPS 21928195 WITH SCORE 2.2010190137E7
AT ITER 2644 NEW BEST:: SOT 132844798 SOS 82024125 HAS SOPS 66814795 HAS SOUS 22524822 HAS SOUPS 21917490 WITH SCORE 2.1999514125E7
AT ITER 2650 NEW BEST:: SOT 132816833 SOS 81944885 HAS SOPS 66764247 HAS SOUS 22517505 HAS SOUPS 21910173 WITH SCORE 2.1992117885E7
AT ITER 2655 NEW BEST:: SOT 132812986 SOS 81952101 HAS SOPS 66761178 HAS SOUS 22496720 HAS SOUPS 21889388 WITH SCORE 2.1971340101E7
AT ITER 2658 NEW BEST:: SOT 132813674 SOS 81951779 HAS SOPS 66762789 HAS SOUS 22495561 HAS SOUPS 21888229 WITH SCORE 2.1970180779E7
AT ITER 2665 NEW BEST:: SOT 132800596 SOS 81932855 HAS SOPS 66744388 HAS SOUS 22479571 HAS SOUPS 21872239 WITH SCORE 2.1954171855E7
AT ITER 2727 NEW BEST:: SOT 132784503 SOS 81900653 HAS SOPS 66721059 HAS SOUS 22463268 HAS SOUPS 21855936 WITH SCORE 2.1937836653E7
AT ITER 2743 NEW BEST:: SOT 132784778 SOS 81901118 HAS SOPS 66721498 HAS SOUS 22463049 HAS SOUPS 21855717 WITH SCORE 2.1937618118E7
AT ITER 2744 NEW BEST:: SOT 132768365 SOS 81866663 HAS SOPS 66705970 HAS SOUS 22459382 HAS SOUPS 21852050 WITH SCORE 2.1933916663E7
AT ITER 2755 NEW BEST:: SOT 132762433 SOS 81862783 HAS SOPS 66698919 HAS SOUS 22444937 HAS SOUPS 21837605 WITH SCORE 2.1919467783E7
AT ITER 2756 NEW BEST:: SOT 132761372 SOS 81860988 HAS SOPS 66697596 HAS SOUS 22443720 HAS SOUPS 21836388 WITH SCORE 2.1918248988E7
AT ITER 2760 NEW BEST:: SOT 132759602 SOS 81857457 HAS SOPS 66695776 HAS SOUS 22442334 HAS SOUPS 21835029 WITH SCORE 2.1916886457E7
AT ITER 2772 NEW BEST:: SOT 132754443 SOS 81856859 HAS SOPS 66695596 HAS SOUS 22439620 HAS SOUPS 21832219 WITH SCORE 2.1914075859E7
AT ITER 2776 NEW BEST:: SOT 132754220 SOS 81857191 HAS SOPS 66695340 HAS SOUS 22438221 HAS SOUPS 21830820 WITH SCORE 2.1912677191E7
AT ITER 2792 NEW BEST:: SOT 132688785 SOS 81787044 HAS SOPS 66616190 HAS SOUS 22351545 HAS SOUPS 21743526 WITH SCORE 2.1825313044E7
AT ITER 2801 NEW BEST:: SOT 132682785 SOS 81773379 HAS SOPS 66607263 HAS SOUS 22339769 HAS SOUPS 21731750 WITH SCORE 2.1813523379E7
AT ITER 2806 NEW BEST:: SOT 132681955 SOS 81771430 HAS SOPS 66605110 HAS SOUS 22338714 HAS SOUPS 21730695 WITH SCORE 2.181246643E7
AT ITER 2812 NEW BEST:: SOT 132678586 SOS 81767230 HAS SOPS 66600349 HAS SOUS 22332816 HAS SOUPS 21724808 WITH SCORE 2.180657523E7
AT ITER 2813 NEW BEST:: SOT 132678427 SOS 81767093 HAS SOPS 66600198 HAS SOUS 22332570 HAS SOUPS 21724562 WITH SCORE 2.1806329093E7
AT ITER 2835 NEW BEST:: SOT 132646779 SOS 81717551 HAS SOPS 66551617 HAS SOUS 22271417 HAS SOUPS 21663270 WITH SCORE 2.1744987551E7
AT ITER 2840 NEW BEST:: SOT 132646337 SOS 81717109 HAS SOPS 66551063 HAS SOUS 22270183 HAS SOUPS 21662004 WITH SCORE 2.1743721109E7
AT ITER 2852 NEW BEST:: SOT 132652181 SOS 81735101 HAS SOPS 66587722 HAS SOUS 22268486 HAS SOUPS 21660307 WITH SCORE 2.1742042101E7
AT ITER 2853 NEW BEST:: SOT 132654257 SOS 81745303 HAS SOPS 66587197 HAS SOUS 22253987 HAS SOUPS 21645808 WITH SCORE 2.1727553303E7
AT ITER 2860 NEW BEST:: SOT 132658759 SOS 81749621 HAS SOPS 66592759 HAS SOUS 22251790 HAS SOUPS 21644907 WITH SCORE 2.1726656621E7
AT ITER 2879 NEW BEST:: SOT 132613299 SOS 81682192 HAS SOPS 66536131 HAS SOUS 22210392 HAS SOUPS 21603509 WITH SCORE 2.1685191192E7
AT ITER 2904 NEW BEST:: SOT 132611574 SOS 81663053 HAS SOPS 66518196 HAS SOUS 22204792 HAS SOUPS 21597909 WITH SCORE 2.1679572053E7
AT ITER 2915 NEW BEST:: SOT 132634382 SOS 81686180 HAS SOPS 66537190 HAS SOUS 22195010 HAS SOUPS 21588127 WITH SCORE 2.166981318E7
AT ITER 2922 NEW BEST:: SOT 132619647 SOS 81671102 HAS SOPS 66518388 HAS SOUS 22166359 HAS SOUPS 21559525 WITH SCORE 2.1641196102E7
AT ITER 2923 NEW BEST:: SOT 132623111 SOS 81676739 HAS SOPS 66527679 HAS SOUS 22165577 HAS SOUPS 21558825 WITH SCORE 2.1640501739E7
AT ITER 2937 NEW BEST:: SOT 132615316 SOS 81667697 HAS SOPS 66516981 HAS SOUS 22147809 HAS SOUPS 21541158 WITH SCORE 2.1622825697E7
AT ITER 2956 NEW BEST:: SOT 132614839 SOS 81667132 HAS SOPS 66516320 HAS SOUS 22147196 HAS SOUPS 21540541 WITH SCORE 2.1622208132E7
AT ITER 2966 NEW BEST:: SOT 132627723 SOS 81744088 HAS SOPS 66599319 HAS SOUS 22139965 HAS SOUPS 21533310 WITH SCORE 2.1615054088E7
AT ITER 2974 NEW BEST:: SOT 132616094 SOS 81732013 HAS SOPS 66588196 HAS SOUS 22126910 HAS SOUPS 21520255 WITH SCORE 2.1601987013E7
AT ITER 2977 NEW BEST:: SOT 132615639 SOS 81731546 HAS SOPS 66587729 HAS SOUS 22125890 HAS SOUPS 21519235 WITH SCORE 2.1600966546E7
AT ITER 2978 NEW BEST:: SOT 132607137 SOS 81714451 HAS SOPS 66558882 HAS SOUS 22111110 HAS SOUPS 21504455 WITH SCORE 2.1586169451E7
AT ITER 2988 NEW BEST:: SOT 132621293 SOS 81727876 HAS SOPS 66570346 HAS SOUS 22107024 HAS SOUPS 21500970 WITH SCORE 2.1582697876E7
AT ITER 3008 NEW BEST:: SOT 132609445 SOS 81718442 HAS SOPS 66561056 HAS SOUS 22094259 HAS SOUPS 21489728 WITH SCORE 2.1571446442E7
AT ITER 3013 NEW BEST:: SOT 132655466 SOS 81693560 HAS SOPS 66545647 HAS SOUS 22092018 HAS SOUPS 21487902 WITH SCORE 2.156959556E7
AT ITER 3016 NEW BEST:: SOT 132658632 SOS 81702540 HAS SOPS 66553430 HAS SOUS 22089620 HAS SOUPS 21485504 WITH SCORE 2.156720654E7
AT ITER 3032 NEW BEST:: SOT 132666149 SOS 81718318 HAS SOPS 66561780 HAS SOUS 22077998 HAS SOUPS 21473808 WITH SCORE 2.1555526318E7
AT ITER 3036 NEW BEST:: SOT 132651024 SOS 81685903 HAS SOPS 66562593 HAS SOUS 22073363 HAS SOUPS 21469477 WITH SCORE 2.1551162903E7
AT ITER 3038 NEW BEST:: SOT 132708482 SOS 81774972 HAS SOPS 66659150 HAS SOUS 22055090 HAS SOUPS 21452886 WITH SCORE 2.1534660972E7
AT ITER 3050 NEW BEST:: SOT 132708810 SOS 81769841 HAS SOPS 66658289 HAS SOUS 22053818 HAS SOUPS 21451614 WITH SCORE 2.1533383841E7
AT ITER 3057 NEW BEST:: SOT 132711628 SOS 81781931 HAS SOPS 66671560 HAS SOUS 22053713 HAS SOUPS 21451509 WITH SCORE 2.1533290931E7
AT ITER 3072 NEW BEST:: SOT 132710703 SOS 81782431 HAS SOPS 66672006 HAS SOUS 22048996 HAS SOUPS 21446792 WITH SCORE 2.1528574431E7
AT ITER 3074 NEW BEST:: SOT 132797120 SOS 81854931 HAS SOPS 66744802 HAS SOUS 22010295 HAS SOUPS 21408551 WITH SCORE 2.1490405931E7
AT ITER 3082 NEW BEST:: SOT 132796901 SOS 81854503 HAS SOPS 66744187 HAS SOUS 22009844 HAS SOUPS 21408100 WITH SCORE 2.1489954503E7
AT ITER 3087 NEW BEST:: SOT 132796057 SOS 81853121 HAS SOPS 66742582 HAS SOUS 22009690 HAS SOUPS 21407946 WITH SCORE 2.1489799121E7
AT ITER 3097 NEW BEST:: SOT 132773652 SOS 81830510 HAS SOPS 66717300 HAS SOUS 21986294 HAS SOUPS 21384550 WITH SCORE 2.146638051E7
AT ITER 3101 NEW BEST:: SOT 132772339 SOS 81839539 HAS SOPS 66717095 HAS SOUS 21971684 HAS SOUPS 21369940 WITH SCORE 2.1451779539E7
AT ITER 3104 NEW BEST:: SOT 132754602 SOS 81821802 HAS SOPS 66699358 HAS SOUS 21967259 HAS SOUPS 21365515 WITH SCORE 2.1447336802E7
AT ITER 3114 NEW BEST:: SOT 132754572 SOS 81821772 HAS SOPS 66699328 HAS SOUS 21967229 HAS SOUPS 21365485 WITH SCORE 2.1447306772E7
AT ITER 3135 NEW BEST:: SOT 132757561 SOS 81835083 HAS SOPS 66706490 HAS SOUS 21956138 HAS SOUPS 21354394 WITH SCORE 2.1436229083E7
AT ITER 3144 NEW BEST:: SOT 132760438 SOS 81861649 HAS SOPS 66740905 HAS SOUS 21955007 HAS SOUPS 21353263 WITH SCORE 2.1435124649E7
AT ITER 3147 NEW BEST:: SOT 132740815 SOS 81825369 HAS SOPS 66697079 HAS SOUS 21935552 HAS SOUPS 21333536 WITH SCORE 2.1415361369E7
AT ITER 3165 NEW BEST:: SOT 132740793 SOS 81827884 HAS SOPS 66702961 HAS SOUS 21928989 HAS SOUPS 21326973 WITH SCORE 2.1408800884E7
AT ITER 3186 NEW BEST:: SOT 132730592 SOS 81813853 HAS SOPS 66690343 HAS SOUS 21917215 HAS SOUPS 21315276 WITH SCORE 2.1397089853E7
AT ITER 3187 NEW BEST:: SOT 132752689 SOS 81870316 HAS SOPS 66760727 HAS SOUS 21915605 HAS SOUPS 21313666 WITH SCORE 2.1395536316E7
AT ITER 3208 NEW BEST:: SOT 132739654 SOS 81851689 HAS SOPS 66751382 HAS SOUS 21911662 HAS SOUPS 21309730 WITH SCORE 2.1391581689E7
AT ITER 3220 NEW BEST:: SOT 132682200 SOS 81748729 HAS SOPS 66659490 HAS SOUS 21847533 HAS SOUPS 21245601 WITH SCORE 2.1327349729E7
AT ITER 3234 NEW BEST:: SOT 132695148 SOS 81788865 HAS SOPS 66686862 HAS SOUS 21820472 HAS SOUPS 21218540 WITH SCORE 2.1300328865E7
AT ITER 3236 NEW BEST:: SOT 132704347 SOS 81795367 HAS SOPS 66686480 HAS SOUS 21790997 HAS SOUPS 21189065 WITH SCORE 2.1270860367E7
AT ITER 3245 NEW BEST:: SOT 132707158 SOS 81805067 HAS SOPS 66692283 HAS SOUS 21778777 HAS SOUPS 21176845 WITH SCORE 2.1258650067E7
AT ITER 3249 NEW BEST:: SOT 132708270 SOS 81807550 HAS SOPS 66691789 HAS SOUS 21775675 HAS SOUPS 21173683 WITH SCORE 2.125549055E7
AT ITER 3259 NEW BEST:: SOT 132711164 SOS 81812727 HAS SOPS 66701557 HAS SOUS 21773046 HAS SOUPS 21171054 WITH SCORE 2.1252866727E7
AT ITER 3262 NEW BEST:: SOT 132691944 SOS 81792914 HAS SOPS 66682612 HAS SOUS 21733424 HAS SOUPS 21131432 WITH SCORE 2.1213224914E7
AT ITER 3264 NEW BEST:: SOT 132688815 SOS 81798109 HAS SOPS 66686278 HAS SOUS 21728258 HAS SOUPS 21125818 WITH SCORE 2.1207616109E7
AT ITER 3278 NEW BEST:: SOT 132665888 SOS 81761365 HAS SOPS 66651990 HAS SOUS 21695268 HAS SOUPS 21092983 WITH SCORE 2.1174744365E7
AT ITER 3294 NEW BEST:: SOT 132642800 SOS 81717724 HAS SOPS 66649289 HAS SOUS 21660382 HAS SOUPS 21058545 WITH SCORE 2.1140262724E7
AT ITER 3318 NEW BEST:: SOT 132592142 SOS 81664016 HAS SOPS 66602655 HAS SOUS 21614088 HAS SOUPS 21012592 WITH SCORE 2.1094256016E7
AT ITER 3334 NEW BEST:: SOT 132623683 SOS 81732889 HAS SOPS 66665119 HAS SOUS 21609052 HAS SOUPS 21007556 WITH SCORE 2.1089288889E7
AT ITER 3339 NEW BEST:: SOT 132617248 SOS 81725857 HAS SOPS 66654298 HAS SOUS 21591001 HAS SOUPS 20989505 WITH SCORE 2.1071230857E7
AT ITER 3346 NEW BEST:: SOT 132612225 SOS 81719202 HAS SOPS 66647839 HAS SOUS 21584258 HAS SOUPS 20982762 WITH SCORE 2.1064481202E7
AT ITER 3349 NEW BEST:: SOT 132614080 SOS 81722458 HAS SOPS 66649233 HAS SOUS 21583838 HAS SOUPS 20982342 WITH SCORE 2.1064064458E7
AT ITER 3362 NEW BEST:: SOT 132617213 SOS 81748781 HAS SOPS 66674294 HAS SOUS 21583080 HAS SOUPS 20981584 WITH SCORE 2.1063332781E7
AT ITER 3367 NEW BEST:: SOT 132618069 SOS 81756765 HAS SOPS 66671241 HAS SOUS 21574800 HAS SOUPS 20973304 WITH SCORE 2.1055060765E7
AT ITER 3385 NEW BEST:: SOT 132617949 SOS 81756645 HAS SOPS 66671217 HAS SOUS 21574428 HAS SOUPS 20972944 WITH SCORE 2.1054700645E7
AT ITER 3387 NEW BEST:: SOT 132612503 SOS 81746349 HAS SOPS 66667666 HAS SOUS 21570702 HAS SOUPS 20969218 WITH SCORE 2.1050964349E7
AT ITER 3389 NEW BEST:: SOT 132612194 SOS 81745866 HAS SOPS 66666814 HAS SOUS 21570477 HAS SOUPS 20968993 WITH SCORE 2.1050738866E7
AT ITER 3428 NEW BEST:: SOT 132613464 SOS 81750056 HAS SOPS 66675474 HAS SOUS 21568750 HAS SOUPS 20967191 WITH SCORE 2.1048941056E7
AT ITER 3434 NEW BEST:: SOT 132618834 SOS 81762652 HAS SOPS 66689051 HAS SOUS 21566648 HAS SOUPS 20965089 WITH SCORE 2.1046851652E7
AT ITER 3448 NEW BEST:: SOT 132608970 SOS 81737563 HAS SOPS 66672961 HAS SOUS 21562340 HAS SOUPS 20960781 WITH SCORE 2.1042518563E7
AT ITER 3453 NEW BEST:: SOT 132615961 SOS 81743235 HAS SOPS 66679951 HAS SOUS 21561726 HAS SOUPS 20960167 WITH SCORE 2.1041910235E7
AT ITER 3476 NEW BEST:: SOT 132638394 SOS 81795685 HAS SOPS 66718903 HAS SOUS 21552892 HAS SOUPS 20951333 WITH SCORE 2.1033128685E7
AT ITER 3478 NEW BEST:: SOT 132637948 SOS 81791509 HAS SOPS 66716182 HAS SOUS 21551595 HAS SOUPS 20950036 WITH SCORE 2.1031827509E7
AT ITER 3508 NEW BEST:: SOT 132636113 SOS 81789674 HAS SOPS 66714347 HAS SOUS 21548384 HAS SOUPS 20946825 WITH SCORE 2.1028614674E7
AT ITER 3512 NEW BEST:: SOT 132635789 SOS 81789751 HAS SOPS 66713968 HAS SOUS 21547611 HAS SOUPS 20946052 WITH SCORE 2.1027841751E7
AT ITER 3518 NEW BEST:: SOT 132637966 SOS 81790540 HAS SOPS 66713851 HAS SOUS 21547583 HAS SOUPS 20946024 WITH SCORE 2.102781454E7
AT ITER 3527 NEW BEST:: SOT 132639902 SOS 81797306 HAS SOPS 66712816 HAS SOUS 21542077 HAS SOUPS 20940518 WITH SCORE 2.1022315306E7
AT ITER 3545 NEW BEST:: SOT 132645989 SOS 81821779 HAS SOPS 66740848 HAS SOUS 21530440 HAS SOUPS 20928881 WITH SCORE 2.1010702779E7
AT ITER 3552 NEW BEST:: SOT 132643437 SOS 81819582 HAS SOPS 66736592 HAS SOUS 21524705 HAS SOUPS 20923125 WITH SCORE 2.1004944582E7
AT ITER 3556 NEW BEST:: SOT 132643461 SOS 81827939 HAS SOPS 66746378 HAS SOUS 21517666 HAS SOUPS 20916086 WITH SCORE 2.0997913939E7
AT ITER 3562 NEW BEST:: SOT 132643357 SOS 81826953 HAS SOPS 66745784 HAS SOUS 21517544 HAS SOUPS 20915964 WITH SCORE 2.0997790953E7
AT ITER 3571 NEW BEST:: SOT 132610885 SOS 81746629 HAS SOPS 66686062 HAS SOUS 21515711 HAS SOUPS 20914152 WITH SCORE 2.0995898629E7
AT ITER 3576 NEW BEST:: SOT 132598861 SOS 81736963 HAS SOPS 66660114 HAS SOUS 21508711 HAS SOUPS 20907152 WITH SCORE 2.0988888963E7
AT ITER 3579 NEW BEST:: SOT 132594902 SOS 81700423 HAS SOPS 66613252 HAS SOUS 21498699 HAS SOUPS 20897140 WITH SCORE 2.0978840423E7
AT ITER 3594 NEW BEST:: SOT 132592173 SOS 81698471 HAS SOPS 66611938 HAS SOUS 21494444 HAS SOUPS 20892885 WITH SCORE 2.0974583471E7
AT ITER 3602 NEW BEST:: SOT 132576300 SOS 81673012 HAS SOPS 66591878 HAS SOUS 21465711 HAS SOUPS 20864753 WITH SCORE 2.0946426012E7
AT ITER 3604 NEW BEST:: SOT 132573893 SOS 81670515 HAS SOPS 66587280 HAS SOUS 21459634 HAS SOUPS 20858676 WITH SCORE 2.0940346515E7
AT ITER 3648 NEW BEST:: SOT 132574297 SOS 81669143 HAS SOPS 66584788 HAS SOUS 21457688 HAS SOUPS 20856730 WITH SCORE 2.0938399143E7
AT ITER 3666 NEW BEST:: SOT 132561571 SOS 81657382 HAS SOPS 66574986 HAS SOUS 21456281 HAS SOUPS 20855323 WITH SCORE 2.0936980382E7
AT ITER 3671 NEW BEST:: SOT 132574027 SOS 81683533 HAS SOPS 66590685 HAS SOUS 21451015 HAS SOUPS 20850036 WITH SCORE 2.0931719533E7
AT ITER 3675 NEW BEST:: SOT 132573595 SOS 81683463 HAS SOPS 66590143 HAS SOUS 21450494 HAS SOUPS 20849515 WITH SCORE 2.0931198463E7
AT ITER 3702 NEW BEST:: SOT 132571589 SOS 81696501 HAS SOPS 66593336 HAS SOUS 21416534 HAS SOUPS 20815171 WITH SCORE 2.0896867501E7
AT ITER 3707 NEW BEST:: SOT 132548729 SOS 81666854 HAS SOPS 66565724 HAS SOUS 21386957 HAS SOUPS 20785594 WITH SCORE 2.0867260854E7
AT ITER 3713 NEW BEST:: SOT 132536609 SOS 81628103 HAS SOPS 66548786 HAS SOUS 21380909 HAS SOUPS 20779546 WITH SCORE 2.0861174103E7
AT ITER 3715 NEW BEST:: SOT 132545793 SOS 81661708 HAS SOPS 66577574 HAS SOUS 21369671 HAS SOUPS 20768308 WITH SCORE 2.0849969708E7
AT ITER 3721 NEW BEST:: SOT 132543863 SOS 81658818 HAS SOPS 66574679 HAS SOUS 21365407 HAS SOUPS 20764044 WITH SCORE 2.0845702818E7
AT ITER 3726 NEW BEST:: SOT 132541378 SOS 81656830 HAS SOPS 66571204 HAS SOUS 21359911 HAS SOUPS 20758548 WITH SCORE 2.084020483E7
AT ITER 3733 NEW BEST:: SOT 132583238 SOS 81772953 HAS SOPS 66676312 HAS SOUS 21358475 HAS SOUPS 20757112 WITH SCORE 2.0838884953E7
AT ITER 3734 NEW BEST:: SOT 132559507 SOS 81744932 HAS SOPS 66638549 HAS SOUS 21328670 HAS SOUPS 20727405 WITH SCORE 2.0809149932E7
AT ITER 3775 NEW BEST:: SOT 132556630 SOS 81739931 HAS SOPS 66634320 HAS SOUS 21320695 HAS SOUPS 20719430 WITH SCORE 2.0801169931E7
AT ITER 3777 NEW BEST:: SOT 132561653 SOS 81744145 HAS SOPS 66638791 HAS SOUS 21320245 HAS SOUPS 20719091 WITH SCORE 2.0800835145E7
AT ITER 3780 NEW BEST:: SOT 132563832 SOS 81755960 HAS SOPS 66646804 HAS SOUS 21315926 HAS SOUPS 20714772 WITH SCORE 2.079652796E7
AT ITER 3785 NEW BEST:: SOT 132534325 SOS 81701195 HAS SOPS 66598267 HAS SOUS 21288752 HAS SOUPS 20687598 WITH SCORE 2.0769299195E7
AT ITER 3795 NEW BEST:: SOT 132558095 SOS 81731527 HAS SOPS 66640678 HAS SOUS 21280606 HAS SOUPS 20679334 WITH SCORE 2.0761065527E7
AT ITER 3806 NEW BEST:: SOT 132542516 SOS 81698684 HAS SOPS 66613571 HAS SOUS 21254262 HAS SOUPS 20652990 WITH SCORE 2.0734688684E7
AT ITER 3820 NEW BEST:: SOT 132531230 SOS 81679405 HAS SOPS 66597885 HAS SOUS 21250314 HAS SOUPS 20649189 WITH SCORE 2.0730868405E7
AT ITER 3823 NEW BEST:: SOT 132508070 SOS 81613136 HAS SOPS 66548549 HAS SOUS 21238966 HAS SOUPS 20637841 WITH SCORE 2.0719454136E7
AT ITER 3831 NEW BEST:: SOT 132499477 SOS 81604543 HAS SOPS 66539956 HAS SOUS 21234405 HAS SOUPS 20633280 WITH SCORE 2.0714884543E7
AT ITER 3862 NEW BEST:: SOT 132498455 SOS 81602167 HAS SOPS 66538192 HAS SOUS 21233467 HAS SOUPS 20632382 WITH SCORE 2.0713984167E7
AT ITER 3864 NEW BEST:: SOT 132506121 SOS 81628159 HAS SOPS 66562323 HAS SOUS 21231012 HAS SOUPS 20629927 WITH SCORE 2.0711555159E7
AT ITER 3878 NEW BEST:: SOT 132507483 SOS 81633814 HAS SOPS 66566821 HAS SOUS 21202716 HAS SOUPS 20601967 WITH SCORE 2.0683600814E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14116932 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15948248 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="RERS17pb114-PT-6"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb114-PT-6, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204100120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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