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-167889204000096.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-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 7.9K Feb 26 04:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 04:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 04:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 04:39 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 26K 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 17K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 04:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 04:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 26 04:51 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 1679063409779

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-3
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 14:30:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 14:30:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 14:30:13] [INFO ] Load time of PNML (sax parser for PT used): 1948 ms
[2023-03-17 14:30:13] [INFO ] Transformed 1446 places.
[2023-03-17 14:30:14] [INFO ] Transformed 151085 transitions.
[2023-03-17 14:30:14] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2553 ms.
[2023-03-17 14:30:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 410 ms.
Total runtime 2998 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 3
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 6 NEW BEST:: SOT 133702040 SOS 82209461 HAS SOPS 66777334 HAS SOUS 26445418 HAS SOUPS 25816239 WITH SCORE 2.5898448461E7
AT ITER 7 NEW BEST:: SOT 133488960 SOS 81910020 HAS SOPS 66518689 HAS SOUS 26245041 HAS SOUPS 25616291 WITH SCORE 2.569820102E7
AT ITER 8 NEW BEST:: SOT 133458030 SOS 81876181 HAS SOPS 66485283 HAS SOUS 26181337 HAS SOUPS 25552723 WITH SCORE 2.5634599181E7
AT ITER 13 NEW BEST:: SOT 133448598 SOS 81849076 HAS SOPS 66462853 HAS SOUS 26175004 HAS SOUPS 25546390 WITH SCORE 2.5628239076E7
AT ITER 22 NEW BEST:: SOT 133549391 SOS 82065811 HAS SOPS 66684267 HAS SOUS 26166799 HAS SOUPS 25537861 WITH SCORE 2.5619926811E7
AT ITER 33 NEW BEST:: SOT 133530672 SOS 82030774 HAS SOPS 66651273 HAS SOUS 26131424 HAS SOUPS 25502486 WITH SCORE 2.5584516774E7
AT ITER 38 NEW BEST:: SOT 133494070 SOS 81983186 HAS SOPS 66643858 HAS SOUS 26101940 HAS SOUPS 25473002 WITH SCORE 2.5554985186E7
AT ITER 41 NEW BEST:: SOT 133477372 SOS 81958548 HAS SOPS 66620290 HAS SOUS 26073762 HAS SOUPS 25444903 WITH SCORE 2.5526861548E7
AT ITER 48 NEW BEST:: SOT 133480516 SOS 81963154 HAS SOPS 66617662 HAS SOUS 26064985 HAS SOUPS 25436013 WITH SCORE 2.5517976154E7
AT ITER 50 NEW BEST:: SOT 133474291 SOS 81936360 HAS SOPS 66593625 HAS SOUS 26061296 HAS SOUPS 25432324 WITH SCORE 2.551426036E7
AT ITER 53 NEW BEST:: SOT 133473382 SOS 81934814 HAS SOPS 66597383 HAS SOUS 26060953 HAS SOUPS 25431981 WITH SCORE 2.5513915814E7
AT ITER 54 NEW BEST:: SOT 133455270 SOS 81877307 HAS SOPS 66556858 HAS SOUS 26058666 HAS SOUPS 25429694 WITH SCORE 2.5511571307E7
AT ITER 60 NEW BEST:: SOT 133456662 SOS 81880701 HAS SOPS 66558723 HAS SOUS 26057606 HAS SOUPS 25428634 WITH SCORE 2.5510514701E7
AT ITER 81 NEW BEST:: SOT 133451711 SOS 81871484 HAS SOPS 66552845 HAS SOUS 26053569 HAS SOUPS 25424597 WITH SCORE 2.5506468484E7
AT ITER 82 NEW BEST:: SOT 133411826 SOS 81831470 HAS SOPS 66508832 HAS SOUS 26019276 HAS SOUPS 25388808 WITH SCORE 2.547063947E7
AT ITER 83 NEW BEST:: SOT 133411769 SOS 81848004 HAS SOPS 66544515 HAS SOUS 26016799 HAS SOUPS 25386331 WITH SCORE 2.5468179004E7
AT ITER 92 NEW BEST:: SOT 133406871 SOS 81838386 HAS SOPS 66536612 HAS SOUS 26016492 HAS SOUPS 25386024 WITH SCORE 2.5467862386E7
AT ITER 98 NEW BEST:: SOT 133410093 SOS 81846593 HAS SOPS 66544037 HAS SOUS 26015390 HAS SOUPS 25384922 WITH SCORE 2.5466768593E7
AT ITER 125 NEW BEST:: SOT 133405420 SOS 81839835 HAS SOPS 66544687 HAS SOUS 25995042 HAS SOUPS 25364574 WITH SCORE 2.5446413835E7
AT ITER 128 NEW BEST:: SOT 133405716 SOS 81842291 HAS SOPS 66545142 HAS SOUS 25992551 HAS SOUPS 25362083 WITH SCORE 2.5443925291E7
AT ITER 131 NEW BEST:: SOT 133403473 SOS 81839087 HAS SOPS 66544114 HAS SOUS 25989826 HAS SOUPS 25359358 WITH SCORE 2.5441197087E7
AT ITER 140 NEW BEST:: SOT 133408252 SOS 81848894 HAS SOPS 66546191 HAS SOUS 25977434 HAS SOUPS 25346502 WITH SCORE 2.5428350894E7
AT ITER 146 NEW BEST:: SOT 133406987 SOS 81847629 HAS SOPS 66543262 HAS SOUS 25976025 HAS SOUPS 25343573 WITH SCORE 2.5425420629E7
AT ITER 166 NEW BEST:: SOT 133414384 SOS 81888074 HAS SOPS 66577066 HAS SOUS 25954974 HAS SOUPS 25322522 WITH SCORE 2.5404410074E7
AT ITER 167 NEW BEST:: SOT 133370387 SOS 81805596 HAS SOPS 66494829 HAS SOUS 25915632 HAS SOUPS 25283180 WITH SCORE 2.5364985596E7
AT ITER 176 NEW BEST:: SOT 133364541 SOS 81801428 HAS SOPS 66489398 HAS SOUS 25915068 HAS SOUPS 25282616 WITH SCORE 2.5364417428E7
AT ITER 191 NEW BEST:: SOT 133364617 SOS 81801472 HAS SOPS 66489448 HAS SOUS 25915010 HAS SOUPS 25282558 WITH SCORE 2.5364359472E7
AT ITER 200 NEW BEST:: SOT 133364833 SOS 81802298 HAS SOPS 66489893 HAS SOUS 25914224 HAS SOUPS 25281772 WITH SCORE 2.5363574298E7
AT ITER 210 NEW BEST:: SOT 133369280 SOS 81828744 HAS SOPS 66512767 HAS SOUS 25879125 HAS SOUPS 25246535 WITH SCORE 2.5328363744E7
AT ITER 219 NEW BEST:: SOT 133369349 SOS 81829566 HAS SOPS 66512877 HAS SOUS 25878301 HAS SOUPS 25245711 WITH SCORE 2.5327540566E7
AT ITER 223 NEW BEST:: SOT 133368736 SOS 81828936 HAS SOPS 66511737 HAS SOUS 25877010 HAS SOUPS 25244420 WITH SCORE 2.5326248936E7
AT ITER 227 NEW BEST:: SOT 133359702 SOS 81819952 HAS SOPS 66499489 HAS SOUS 25857972 HAS SOUPS 25225382 WITH SCORE 2.5307201952E7
AT ITER 233 NEW BEST:: SOT 133355201 SOS 81833117 HAS SOPS 66503659 HAS SOUS 25815291 HAS SOUPS 25182701 WITH SCORE 2.5264534117E7
AT ITER 245 NEW BEST:: SOT 133350079 SOS 81825151 HAS SOPS 66496619 HAS SOUS 25810588 HAS SOUPS 25177998 WITH SCORE 2.5259823151E7
AT ITER 247 NEW BEST:: SOT 133350919 SOS 81849844 HAS SOPS 66528504 HAS SOUS 25806184 HAS SOUPS 25173594 WITH SCORE 2.5255443844E7
AT ITER 248 NEW BEST:: SOT 133332402 SOS 81831321 HAS SOPS 66508496 HAS SOUS 25782755 HAS SOUPS 25150165 WITH SCORE 2.5231996321E7
AT ITER 256 NEW BEST:: SOT 133455642 SOS 81951170 HAS SOPS 66629473 HAS SOUS 25780819 HAS SOUPS 25148546 WITH SCORE 2.523049717E7
AT ITER 265 NEW BEST:: SOT 133455370 SOS 81950834 HAS SOPS 66629169 HAS SOUS 25779715 HAS SOUPS 25147474 WITH SCORE 2.5229424834E7
AT ITER 268 NEW BEST:: SOT 133412321 SOS 81859040 HAS SOPS 66560357 HAS SOUS 25755084 HAS SOUPS 25122857 WITH SCORE 2.520471604E7
AT ITER 271 NEW BEST:: SOT 133416271 SOS 81864945 HAS SOPS 66562993 HAS SOUS 25750656 HAS SOUPS 25118429 WITH SCORE 2.5200293945E7
AT ITER 281 NEW BEST:: SOT 133415555 SOS 81873585 HAS SOPS 66567317 HAS SOUS 25746215 HAS SOUPS 25113988 WITH SCORE 2.5195861585E7
AT ITER 282 NEW BEST:: SOT 133323343 SOS 81771028 HAS SOPS 66465107 HAS SOUS 25653261 HAS SOUPS 25021570 WITH SCORE 2.5103341028E7
AT ITER 294 NEW BEST:: SOT 133347512 SOS 81850429 HAS SOPS 66529059 HAS SOUS 25640763 HAS SOUPS 25009072 WITH SCORE 2.5090922429E7
AT ITER 295 NEW BEST:: SOT 133353099 SOS 81876096 HAS SOPS 66593518 HAS SOUS 25619701 HAS SOUPS 24988010 WITH SCORE 2.5069886096E7
AT ITER 304 NEW BEST:: SOT 133358647 SOS 81885907 HAS SOPS 66599144 HAS SOUS 25610955 HAS SOUPS 24979264 WITH SCORE 2.5061149907E7
AT ITER 314 NEW BEST:: SOT 133354115 SOS 81869693 HAS SOPS 66584793 HAS SOUS 25606659 HAS SOUPS 24974990 WITH SCORE 2.5056859693E7
AT ITER 315 NEW BEST:: SOT 133352428 SOS 81868004 HAS SOPS 66583073 HAS SOUS 25602221 HAS SOUPS 24970552 WITH SCORE 2.5052420004E7
AT ITER 324 NEW BEST:: SOT 133268663 SOS 81753807 HAS SOPS 66469784 HAS SOUS 25451494 HAS SOUPS 24819883 WITH SCORE 2.4901636807E7
AT ITER 327 NEW BEST:: SOT 133273542 SOS 81791580 HAS SOPS 66515882 HAS SOUS 25445337 HAS SOUPS 24813726 WITH SCORE 2.489551758E7
AT ITER 338 NEW BEST:: SOT 133271029 SOS 81789082 HAS SOPS 66511464 HAS SOUS 25439842 HAS SOUPS 24808231 WITH SCORE 2.4890020082E7
AT ITER 350 NEW BEST:: SOT 133264654 SOS 81777805 HAS SOPS 66502366 HAS SOUS 25435495 HAS SOUPS 24803884 WITH SCORE 2.4885661805E7
AT ITER 356 NEW BEST:: SOT 133272741 SOS 81788101 HAS SOPS 66493853 HAS SOUS 25423313 HAS SOUPS 24791702 WITH SCORE 2.4873490101E7
AT ITER 364 NEW BEST:: SOT 133262670 SOS 81769157 HAS SOPS 66461776 HAS SOUS 25390573 HAS SOUPS 24758962 WITH SCORE 2.4840731157E7
AT ITER 396 NEW BEST:: SOT 133276732 SOS 81819799 HAS SOPS 66513086 HAS SOUS 25371001 HAS SOUPS 24739209 WITH SCORE 2.4821028799E7
AT ITER 400 NEW BEST:: SOT 133245989 SOS 81767259 HAS SOPS 66470248 HAS SOUS 25335616 HAS SOUPS 24704564 WITH SCORE 2.4786331259E7
AT ITER 406 NEW BEST:: SOT 133242985 SOS 81756480 HAS SOPS 66462569 HAS SOUS 25333709 HAS SOUPS 24702761 WITH SCORE 2.478451748E7
AT ITER 411 NEW BEST:: SOT 133255836 SOS 81775257 HAS SOPS 66470070 HAS SOUS 25321698 HAS SOUPS 24691750 WITH SCORE 2.4773525257E7
AT ITER 413 NEW BEST:: SOT 133265310 SOS 81813828 HAS SOPS 66495690 HAS SOUS 25318075 HAS SOUPS 24688127 WITH SCORE 2.4769940828E7
AT ITER 438 NEW BEST:: SOT 133228047 SOS 81758015 HAS SOPS 66444829 HAS SOUS 25271978 HAS SOUPS 24642030 WITH SCORE 2.4723788015E7
AT ITER 442 NEW BEST:: SOT 133227353 SOS 81755208 HAS SOPS 66441892 HAS SOUS 25271468 HAS SOUPS 24641520 WITH SCORE 2.4723275208E7
AT ITER 457 NEW BEST:: SOT 133224428 SOS 81755263 HAS SOPS 66438906 HAS SOUS 25260416 HAS SOUPS 24630468 WITH SCORE 2.4712223263E7
AT ITER 459 NEW BEST:: SOT 133208689 SOS 81729014 HAS SOPS 66413248 HAS SOUS 25228179 HAS SOUPS 24598443 WITH SCORE 2.4680172014E7
AT ITER 463 NEW BEST:: SOT 133212140 SOS 81741785 HAS SOPS 66423560 HAS SOUS 25219024 HAS SOUPS 24589288 WITH SCORE 2.4671029785E7
AT ITER 468 NEW BEST:: SOT 133211817 SOS 81740579 HAS SOPS 66419825 HAS SOUS 25215866 HAS SOUPS 24586130 WITH SCORE 2.4667870579E7
AT ITER 470 NEW BEST:: SOT 133208350 SOS 81731476 HAS SOPS 66410773 HAS SOUS 25210106 HAS SOUPS 24580370 WITH SCORE 2.4662101476E7
AT ITER 485 NEW BEST:: SOT 133201589 SOS 81754507 HAS SOPS 66433588 HAS SOUS 25199942 HAS SOUPS 24570206 WITH SCORE 2.4651960507E7
AT ITER 496 NEW BEST:: SOT 133216073 SOS 81785161 HAS SOPS 66456496 HAS SOUS 25199272 HAS SOUPS 24569536 WITH SCORE 2.4651321161E7
AT ITER 521 NEW BEST:: SOT 133194082 SOS 81763053 HAS SOPS 66433287 HAS SOUS 25162777 HAS SOUPS 24533124 WITH SCORE 2.4614887053E7
AT ITER 526 NEW BEST:: SOT 133162071 SOS 81725860 HAS SOPS 66396819 HAS SOUS 25040876 HAS SOUPS 24411325 WITH SCORE 2.449305086E7
AT ITER 530 NEW BEST:: SOT 133131042 SOS 81654833 HAS SOPS 66356755 HAS SOUS 25039441 HAS SOUPS 24410157 WITH SCORE 2.4491811833E7
AT ITER 538 NEW BEST:: SOT 133129926 SOS 81652709 HAS SOPS 66354495 HAS SOUS 25037475 HAS SOUPS 24408199 WITH SCORE 2.4489851709E7
AT ITER 552 NEW BEST:: SOT 133124678 SOS 81642750 HAS SOPS 66344950 HAS SOUS 25030335 HAS SOUPS 24401059 WITH SCORE 2.448270175E7
AT ITER 564 NEW BEST:: SOT 133123264 SOS 81641182 HAS SOPS 66342547 HAS SOUS 25026503 HAS SOUPS 24397238 WITH SCORE 2.4478879182E7
AT ITER 590 NEW BEST:: SOT 133069108 SOS 81564382 HAS SOPS 66266073 HAS SOUS 24947957 HAS SOUPS 24319242 WITH SCORE 2.4400806382E7
AT ITER 593 NEW BEST:: SOT 133071361 SOS 81587215 HAS SOPS 66285599 HAS SOUS 24934807 HAS SOUPS 24306092 WITH SCORE 2.4387679215E7
AT ITER 601 NEW BEST:: SOT 133098266 SOS 81666384 HAS SOPS 66386757 HAS SOUS 24928623 HAS SOUPS 24299908 WITH SCORE 2.4381574384E7
AT ITER 602 NEW BEST:: SOT 133098807 SOS 81668764 HAS SOPS 66389234 HAS SOUS 24924651 HAS SOUPS 24295838 WITH SCORE 2.4377506764E7
AT ITER 604 NEW BEST:: SOT 133114811 SOS 81723683 HAS SOPS 66425482 HAS SOUS 24905669 HAS SOUPS 24276856 WITH SCORE 2.4358579683E7
AT ITER 605 NEW BEST:: SOT 133094166 SOS 81696445 HAS SOPS 66404105 HAS SOUS 24865966 HAS SOUPS 24238817 WITH SCORE 2.4320513445E7
AT ITER 613 NEW BEST:: SOT 133077431 SOS 81667180 HAS SOPS 66376172 HAS SOUS 24833201 HAS SOUPS 24206214 WITH SCORE 2.428788118E7
AT ITER 614 NEW BEST:: SOT 133077228 SOS 81666931 HAS SOPS 66375930 HAS SOUS 24832975 HAS SOUPS 24205989 WITH SCORE 2.4287655931E7
AT ITER 621 NEW BEST:: SOT 133061256 SOS 81604119 HAS SOPS 66328273 HAS SOUS 24831235 HAS SOUPS 24204249 WITH SCORE 2.4285853119E7
AT ITER 660 NEW BEST:: SOT 133133516 SOS 81672142 HAS SOPS 66396868 HAS SOUS 24815869 HAS SOUPS 24189101 WITH SCORE 2.4270773142E7
AT ITER 669 NEW BEST:: SOT 133156382 SOS 81721610 HAS SOPS 66442484 HAS SOUS 24811684 HAS SOUPS 24184916 WITH SCORE 2.426663761E7
AT ITER 677 NEW BEST:: SOT 133154033 SOS 81730608 HAS SOPS 66456491 HAS SOUS 24788093 HAS SOUPS 24161526 WITH SCORE 2.4243256608E7
AT ITER 679 NEW BEST:: SOT 133150443 SOS 81729955 HAS SOPS 66455125 HAS SOUS 24775167 HAS SOUPS 24148600 WITH SCORE 2.4230329955E7
AT ITER 684 NEW BEST:: SOT 133152419 SOS 81741326 HAS SOPS 66464554 HAS SOUS 24773217 HAS SOUPS 24146650 WITH SCORE 2.4228391326E7
AT ITER 697 NEW BEST:: SOT 133118500 SOS 81701296 HAS SOPS 66428325 HAS SOUS 24724518 HAS SOUPS 24098092 WITH SCORE 2.4179793296E7
AT ITER 703 NEW BEST:: SOT 133119393 SOS 81704327 HAS SOPS 66429312 HAS SOUS 24717384 HAS SOUPS 24090958 WITH SCORE 2.4172662327E7
AT ITER 729 NEW BEST:: SOT 133029612 SOS 81550506 HAS SOPS 66292587 HAS SOUS 24681694 HAS SOUPS 24055514 WITH SCORE 2.4137064506E7
AT ITER 737 NEW BEST:: SOT 133028095 SOS 81548938 HAS SOPS 66290475 HAS SOUS 24678596 HAS SOUPS 24052416 WITH SCORE 2.4133964938E7
AT ITER 740 NEW BEST:: SOT 133018401 SOS 81541199 HAS SOPS 66270530 HAS SOUS 24656902 HAS SOUPS 24030722 WITH SCORE 2.4112263199E7
AT ITER 741 NEW BEST:: SOT 133018059 SOS 81539676 HAS SOPS 66268025 HAS SOUS 24655293 HAS SOUPS 24029113 WITH SCORE 2.4110652676E7
AT ITER 755 NEW BEST:: SOT 133020615 SOS 81551179 HAS SOPS 66273082 HAS SOUS 24653744 HAS SOUPS 24027564 WITH SCORE 2.4109115179E7
AT ITER 760 NEW BEST:: SOT 133019406 SOS 81549186 HAS SOPS 66270375 HAS SOUS 24650365 HAS SOUPS 24024199 WITH SCORE 2.4105748186E7
AT ITER 762 NEW BEST:: SOT 133030128 SOS 81573105 HAS SOPS 66267178 HAS SOUS 24624230 HAS SOUPS 23998064 WITH SCORE 2.4079637105E7
AT ITER 764 NEW BEST:: SOT 133029268 SOS 81570773 HAS SOPS 66265252 HAS SOUS 24622322 HAS SOUPS 23996156 WITH SCORE 2.4077726773E7
AT ITER 782 NEW BEST:: SOT 133019718 SOS 81557676 HAS SOPS 66252726 HAS SOUS 24608052 HAS SOUPS 23981886 WITH SCORE 2.4063443676E7
AT ITER 786 NEW BEST:: SOT 133028277 SOS 81589252 HAS SOPS 66292972 HAS SOUS 24590756 HAS SOUPS 23964590 WITH SCORE 2.4046179252E7
AT ITER 817 NEW BEST:: SOT 133023969 SOS 81587493 HAS SOPS 66287366 HAS SOUS 24577396 HAS SOUPS 23951300 WITH SCORE 2.4032887493E7
AT ITER 831 NEW BEST:: SOT 133005747 SOS 81569271 HAS SOPS 66269144 HAS SOUS 24569750 HAS SOUPS 23943654 WITH SCORE 2.4025223271E7
AT ITER 854 NEW BEST:: SOT 132997432 SOS 81562732 HAS SOPS 66260136 HAS SOUS 24561627 HAS SOUPS 23935210 WITH SCORE 2.4016772732E7
AT ITER 873 NEW BEST:: SOT 132993753 SOS 81560422 HAS SOPS 66258062 HAS SOUS 24552859 HAS SOUPS 23926442 WITH SCORE 2.4008002422E7
AT ITER 876 NEW BEST:: SOT 132976875 SOS 81525751 HAS SOPS 66273405 HAS SOUS 24529971 HAS SOUPS 23903996 WITH SCORE 2.3985521751E7
AT ITER 886 NEW BEST:: SOT 132975231 SOS 81523526 HAS SOPS 66271744 HAS SOUS 24526863 HAS SOUPS 23900903 WITH SCORE 2.3982426526E7
AT ITER 903 NEW BEST:: SOT 132967055 SOS 81544157 HAS SOPS 66299586 HAS SOUS 24501562 HAS SOUPS 23875752 WITH SCORE 2.3957296157E7
AT ITER 912 NEW BEST:: SOT 132978846 SOS 81622138 HAS SOPS 66365346 HAS SOUS 24481614 HAS SOUPS 23855804 WITH SCORE 2.3937426138E7
AT ITER 929 NEW BEST:: SOT 133001265 SOS 81686112 HAS SOPS 66413715 HAS SOUS 24478117 HAS SOUPS 23852307 WITH SCORE 2.3933993112E7
AT ITER 945 NEW BEST:: SOT 132992448 SOS 81669312 HAS SOPS 66396754 HAS SOUS 24473659 HAS SOUPS 23847849 WITH SCORE 2.3929518312E7
AT ITER 947 NEW BEST:: SOT 132985860 SOS 81649666 HAS SOPS 66380062 HAS SOUS 24464367 HAS SOUPS 23838631 WITH SCORE 2.3920280666E7
AT ITER 951 NEW BEST:: SOT 132980481 SOS 81643125 HAS SOPS 66384833 HAS SOUS 24461952 HAS SOUPS 23836216 WITH SCORE 2.3917859125E7
AT ITER 967 NEW BEST:: SOT 132963641 SOS 81600477 HAS SOPS 66346936 HAS SOUS 24455978 HAS SOUPS 23830242 WITH SCORE 2.3911842477E7
AT ITER 970 NEW BEST:: SOT 132957102 SOS 81592074 HAS SOPS 66335497 HAS SOUS 24435519 HAS SOUPS 23809783 WITH SCORE 2.3891375074E7
AT ITER 981 NEW BEST:: SOT 132961956 SOS 81618987 HAS SOPS 66359533 HAS SOUS 24432473 HAS SOUPS 23806737 WITH SCORE 2.3888355987E7
AT ITER 985 NEW BEST:: SOT 132972260 SOS 81631539 HAS SOPS 66380253 HAS SOUS 24419058 HAS SOUPS 23793096 WITH SCORE 2.3874727539E7
AT ITER 987 NEW BEST:: SOT 132967871 SOS 81616240 HAS SOPS 66368292 HAS SOUS 24419053 HAS SOUPS 23793091 WITH SCORE 2.387470724E7
AT ITER 996 NEW BEST:: SOT 132967534 SOS 81615277 HAS SOPS 66368347 HAS SOUS 24418357 HAS SOUPS 23792391 WITH SCORE 2.3874006277E7
AT ITER 1003 NEW BEST:: SOT 132967015 SOS 81628922 HAS SOPS 66372432 HAS SOUS 24402139 HAS SOUPS 23776173 WITH SCORE 2.3857801922E7
AT ITER 1007 NEW BEST:: SOT 132965437 SOS 81658841 HAS SOPS 66403075 HAS SOUS 24381321 HAS SOUPS 23755355 WITH SCORE 2.3837013841E7
AT ITER 1008 NEW BEST:: SOT 132966358 SOS 81667747 HAS SOPS 66408064 HAS SOUS 24380615 HAS SOUPS 23754649 WITH SCORE 2.3836316747E7
AT ITER 1013 NEW BEST:: SOT 132966541 SOS 81668459 HAS SOPS 66407229 HAS SOUS 24379853 HAS SOUPS 23753845 WITH SCORE 2.3835513459E7
AT ITER 1022 NEW BEST:: SOT 132956823 SOS 81658824 HAS SOPS 66399441 HAS SOUS 24373671 HAS SOUPS 23747635 WITH SCORE 2.3829293824E7
AT ITER 1043 NEW BEST:: SOT 132956595 SOS 81658545 HAS SOPS 66398934 HAS SOUS 24373133 HAS SOUPS 23747097 WITH SCORE 2.3828755545E7
AT ITER 1053 NEW BEST:: SOT 132955641 SOS 81666039 HAS SOPS 66417475 HAS SOUS 24371508 HAS SOUPS 23745472 WITH SCORE 2.3827138039E7
AT ITER 1054 NEW BEST:: SOT 132971496 SOS 81670344 HAS SOPS 66429626 HAS SOUS 24367023 HAS SOUPS 23741773 WITH SCORE 2.3823443344E7
AT ITER 1064 NEW BEST:: SOT 132970874 SOS 81668422 HAS SOPS 66419478 HAS SOUS 24366939 HAS SOUPS 23741689 WITH SCORE 2.3823357422E7
AT ITER 1066 NEW BEST:: SOT 132954007 SOS 81636383 HAS SOPS 66390570 HAS SOUS 24359948 HAS SOUPS 23734800 WITH SCORE 2.3816436383E7
AT ITER 1079 NEW BEST:: SOT 132959244 SOS 81652491 HAS SOPS 66401002 HAS SOUS 24354021 HAS SOUPS 23728873 WITH SCORE 2.3810525491E7
AT ITER 1080 NEW BEST:: SOT 132944553 SOS 81600985 HAS SOPS 66363336 HAS SOUS 24353859 HAS SOUPS 23728711 WITH SCORE 2.3810311985E7
AT ITER 1086 NEW BEST:: SOT 132943057 SOS 81597193 HAS SOPS 66360740 HAS SOUS 24353219 HAS SOUPS 23728071 WITH SCORE 2.3809668193E7
AT ITER 1109 NEW BEST:: SOT 132944571 SOS 81597689 HAS SOPS 66367500 HAS SOUS 24350891 HAS SOUPS 23725743 WITH SCORE 2.3807340689E7
AT ITER 1114 NEW BEST:: SOT 132945642 SOS 81605623 HAS SOPS 66383097 HAS SOUS 24348768 HAS SOUPS 23723620 WITH SCORE 2.3805225623E7
AT ITER 1118 NEW BEST:: SOT 132946999 SOS 81606660 HAS SOPS 66380930 HAS SOUS 24347739 HAS SOUPS 23722558 WITH SCORE 2.380416466E7
AT ITER 1120 NEW BEST:: SOT 132939378 SOS 81569354 HAS SOPS 66343167 HAS SOUS 24339143 HAS SOUPS 23713962 WITH SCORE 2.3795531354E7
AT ITER 1129 NEW BEST:: SOT 132931093 SOS 81556694 HAS SOPS 66332503 HAS SOUS 24328082 HAS SOUPS 23703198 WITH SCORE 2.3784754694E7
AT ITER 1130 NEW BEST:: SOT 132928158 SOS 81552739 HAS SOPS 66325861 HAS SOUS 24314649 HAS SOUPS 23689845 WITH SCORE 2.3771397739E7
AT ITER 1138 NEW BEST:: SOT 132929744 SOS 81556298 HAS SOPS 66328435 HAS SOUS 24310294 HAS SOUPS 23685439 WITH SCORE 2.3766995298E7
AT ITER 1146 NEW BEST:: SOT 132913342 SOS 81508800 HAS SOPS 66286156 HAS SOUS 24303642 HAS SOUPS 23678787 WITH SCORE 2.37602958E7
AT ITER 1148 NEW BEST:: SOT 132912453 SOS 81507915 HAS SOPS 66283627 HAS SOUS 24301468 HAS SOUPS 23676613 WITH SCORE 2.3758120915E7
AT ITER 1149 NEW BEST:: SOT 132911703 SOS 81505557 HAS SOPS 66279153 HAS SOUS 24297676 HAS SOUPS 23672821 WITH SCORE 2.3754326557E7
AT ITER 1164 NEW BEST:: SOT 132912470 SOS 81507346 HAS SOPS 66278568 HAS SOUS 24296193 HAS SOUPS 23671338 WITH SCORE 2.3752845346E7
AT ITER 1182 NEW BEST:: SOT 132907033 SOS 81499259 HAS SOPS 66264668 HAS SOUS 24273171 HAS SOUPS 23648316 WITH SCORE 2.3729815259E7
AT ITER 1183 NEW BEST:: SOT 132887670 SOS 81469339 HAS SOPS 66239068 HAS SOUS 24246443 HAS SOUPS 23621646 WITH SCORE 2.3703115339E7
AT ITER 1188 NEW BEST:: SOT 132886968 SOS 81466241 HAS SOPS 66235971 HAS SOUS 24245545 HAS SOUPS 23620748 WITH SCORE 2.3702214241E7
AT ITER 1190 NEW BEST:: SOT 132883328 SOS 81457810 HAS SOPS 66232896 HAS SOUS 24242895 HAS SOUPS 23618098 WITH SCORE 2.369955581E7
AT ITER 1196 NEW BEST:: SOT 132884845 SOS 81464853 HAS SOPS 66236584 HAS SOUS 24242679 HAS SOUPS 23617882 WITH SCORE 2.3699346853E7
AT ITER 1207 NEW BEST:: SOT 132884483 SOS 81464338 HAS SOPS 66236147 HAS SOUS 24242554 HAS SOUPS 23617757 WITH SCORE 2.3699221338E7
AT ITER 1237 NEW BEST:: SOT 132881357 SOS 81449171 HAS SOPS 66233854 HAS SOUS 24239452 HAS SOUPS 23614655 WITH SCORE 2.3696104171E7
AT ITER 1244 NEW BEST:: SOT 132866862 SOS 81434521 HAS SOPS 66218350 HAS SOUS 24231136 HAS SOUPS 23605989 WITH SCORE 2.3687423521E7
AT ITER 1253 NEW BEST:: SOT 132857738 SOS 81419218 HAS SOPS 66207291 HAS SOUS 24217583 HAS SOUPS 23592514 WITH SCORE 2.3673933218E7
AT ITER 1259 NEW BEST:: SOT 132854492 SOS 81416340 HAS SOPS 66205956 HAS SOUS 24214284 HAS SOUPS 23589215 WITH SCORE 2.367063134E7
AT ITER 1267 NEW BEST:: SOT 132853749 SOS 81413256 HAS SOPS 66202350 HAS SOUS 24213556 HAS SOUPS 23588487 WITH SCORE 2.3669900256E7
AT ITER 1271 NEW BEST:: SOT 132854590 SOS 81415641 HAS SOPS 66200284 HAS SOUS 24204004 HAS SOUPS 23578935 WITH SCORE 2.3660350641E7
AT ITER 1273 NEW BEST:: SOT 132857342 SOS 81427710 HAS SOPS 66212242 HAS SOUS 24197583 HAS SOUPS 23572514 WITH SCORE 2.365394171E7
AT ITER 1276 NEW BEST:: SOT 132844477 SOS 81415603 HAS SOPS 66202778 HAS SOUS 24188280 HAS SOUPS 23563211 WITH SCORE 2.3644626603E7
AT ITER 1277 NEW BEST:: SOT 132821821 SOS 81379614 HAS SOPS 66182483 HAS SOUS 24167694 HAS SOUPS 23542625 WITH SCORE 2.3624004614E7
AT ITER 1278 NEW BEST:: SOT 132826253 SOS 81408930 HAS SOPS 66209987 HAS SOUS 24147823 HAS SOUPS 23522754 WITH SCORE 2.360416293E7
AT ITER 1284 NEW BEST:: SOT 132846939 SOS 81489983 HAS SOPS 66281882 HAS SOUS 24135478 HAS SOUPS 23510409 WITH SCORE 2.3591898983E7
AT ITER 1285 NEW BEST:: SOT 132849492 SOS 81496465 HAS SOPS 66296522 HAS SOUS 24126948 HAS SOUPS 23501879 WITH SCORE 2.3583375465E7
AT ITER 1288 NEW BEST:: SOT 132840799 SOS 81495339 HAS SOPS 66282746 HAS SOUS 24060184 HAS SOUPS 23435115 WITH SCORE 2.3516610339E7
AT ITER 1294 NEW BEST:: SOT 132836968 SOS 81486148 HAS SOPS 66276192 HAS SOUS 24059460 HAS SOUPS 23434422 WITH SCORE 2.3515908148E7
AT ITER 1311 NEW BEST:: SOT 132823910 SOS 81466949 HAS SOPS 66259625 HAS SOUS 24034750 HAS SOUPS 23409712 WITH SCORE 2.3491178949E7
AT ITER 1320 NEW BEST:: SOT 132863326 SOS 81538853 HAS SOPS 66305963 HAS SOUS 24033537 HAS SOUPS 23408499 WITH SCORE 2.3490037853E7
AT ITER 1322 NEW BEST:: SOT 132827314 SOS 81474063 HAS SOPS 66245981 HAS SOUS 24019158 HAS SOUPS 23394120 WITH SCORE 2.3475594063E7
AT ITER 1330 NEW BEST:: SOT 132828538 SOS 81477315 HAS SOPS 66248474 HAS SOUS 24019138 HAS SOUPS 23394100 WITH SCORE 2.3475577315E7
AT ITER 1333 NEW BEST:: SOT 132832701 SOS 81496840 HAS SOPS 66261238 HAS SOUS 24012782 HAS SOUPS 23387744 WITH SCORE 2.346924084E7
AT ITER 1345 NEW BEST:: SOT 132846649 SOS 81525590 HAS SOPS 66277951 HAS SOUS 24011912 HAS SOUPS 23386874 WITH SCORE 2.346839959E7
AT ITER 1347 NEW BEST:: SOT 132846094 SOS 81525546 HAS SOPS 66280332 HAS SOUS 24009171 HAS SOUPS 23384133 WITH SCORE 2.3465658546E7
AT ITER 1374 NEW BEST:: SOT 132860692 SOS 81556298 HAS SOPS 66300611 HAS SOUS 23983282 HAS SOUPS 23360624 WITH SCORE 2.3442180298E7
AT ITER 1375 NEW BEST:: SOT 132856510 SOS 81567299 HAS SOPS 66357414 HAS SOUS 23981599 HAS SOUPS 23359053 WITH SCORE 2.3440620299E7
AT ITER 1387 NEW BEST:: SOT 132856198 SOS 81573920 HAS SOPS 66368670 HAS SOUS 23980456 HAS SOUPS 23357910 WITH SCORE 2.343948392E7
AT ITER 1398 NEW BEST:: SOT 132863301 SOS 81574208 HAS SOPS 66374986 HAS SOUS 23968295 HAS SOUPS 23350820 WITH SCORE 2.3432394208E7
AT ITER 1402 NEW BEST:: SOT 132853029 SOS 81562770 HAS SOPS 66361654 HAS SOUS 23945459 HAS SOUPS 23328459 WITH SCORE 2.341002177E7
AT ITER 1404 NEW BEST:: SOT 132858634 SOS 81573359 HAS SOPS 66357542 HAS SOUS 23925959 HAS SOUPS 23308731 WITH SCORE 2.3390304359E7
AT ITER 1411 NEW BEST:: SOT 132881381 SOS 81604763 HAS SOPS 66384656 HAS SOUS 23914302 HAS SOUPS 23298180 WITH SCORE 2.3379784763E7
AT ITER 1415 NEW BEST:: SOT 132885705 SOS 81603665 HAS SOPS 66391997 HAS SOUS 23907472 HAS SOUPS 23291783 WITH SCORE 2.3373386665E7
AT ITER 1420 NEW BEST:: SOT 132885468 SOS 81602938 HAS SOPS 66392045 HAS SOUS 23907117 HAS SOUPS 23291428 WITH SCORE 2.3373030938E7
AT ITER 1428 NEW BEST:: SOT 132885274 SOS 81602959 HAS SOPS 66390255 HAS SOUS 23904983 HAS SOUPS 23289270 WITH SCORE 2.3370872959E7
AT ITER 1434 NEW BEST:: SOT 132884152 SOS 81601594 HAS SOPS 66388831 HAS SOUS 23902199 HAS SOUPS 23286520 WITH SCORE 2.3368121594E7
AT ITER 1447 NEW BEST:: SOT 132857157 SOS 81556022 HAS SOPS 66352702 HAS SOUS 23882692 HAS SOUPS 23267013 WITH SCORE 2.3348569022E7
AT ITER 1449 NEW BEST:: SOT 132860323 SOS 81575669 HAS SOPS 66365581 HAS SOUS 23873570 HAS SOUPS 23257891 WITH SCORE 2.3339466669E7
AT ITER 1450 NEW BEST:: SOT 132855704 SOS 81570248 HAS SOPS 66358432 HAS SOUS 23864665 HAS SOUPS 23249010 WITH SCORE 2.3330580248E7
AT ITER 1459 NEW BEST:: SOT 132846644 SOS 81553120 HAS SOPS 66339810 HAS SOUS 23836716 HAS SOUPS 23221061 WITH SCORE 2.330261412E7
AT ITER 1463 NEW BEST:: SOT 132855450 SOS 81608562 HAS SOPS 66397182 HAS SOUS 23829343 HAS SOUPS 23213688 WITH SCORE 2.3295296562E7
AT ITER 1467 NEW BEST:: SOT 132823722 SOS 81526646 HAS SOPS 66340660 HAS SOUS 23821416 HAS SOUPS 23206057 WITH SCORE 2.3287583646E7
AT ITER 1469 NEW BEST:: SOT 132823566 SOS 81526208 HAS SOPS 66340233 HAS SOUS 23821294 HAS SOUPS 23205935 WITH SCORE 2.3287461208E7
AT ITER 1476 NEW BEST:: SOT 132821683 SOS 81522618 HAS SOPS 66336151 HAS SOUS 23819630 HAS SOUPS 23204271 WITH SCORE 2.3285793618E7
AT ITER 1504 NEW BEST:: SOT 132832176 SOS 81594924 HAS SOPS 66401515 HAS SOUS 23806053 HAS SOUPS 23190694 WITH SCORE 2.3272288924E7
AT ITER 1534 NEW BEST:: SOT 132880547 SOS 81680849 HAS SOPS 66493534 HAS SOUS 23802141 HAS SOUPS 23188004 WITH SCORE 2.3269684849E7
AT ITER 1538 NEW BEST:: SOT 132880104 SOS 81688855 HAS SOPS 66505869 HAS SOUS 23798132 HAS SOUPS 23183995 WITH SCORE 2.3265683855E7
AT ITER 1560 NEW BEST:: SOT 132878650 SOS 81691167 HAS SOPS 66505874 HAS SOUS 23793643 HAS SOUPS 23179506 WITH SCORE 2.3261197167E7
AT ITER 1569 NEW BEST:: SOT 132863822 SOS 81676259 HAS SOPS 66491045 HAS SOUS 23783783 HAS SOUPS 23169725 WITH SCORE 2.3251401259E7
AT ITER 1571 NEW BEST:: SOT 132863852 SOS 81676386 HAS SOPS 66491812 HAS SOUS 23783568 HAS SOUPS 23169510 WITH SCORE 2.3251186386E7
AT ITER 1572 NEW BEST:: SOT 132877920 SOS 81734246 HAS SOPS 66545128 HAS SOUS 23770365 HAS SOUPS 23156307 WITH SCORE 2.3238041246E7
AT ITER 1575 NEW BEST:: SOT 132870762 SOS 81729944 HAS SOPS 66536233 HAS SOUS 23749925 HAS SOUPS 23135867 WITH SCORE 2.3217596944E7
AT ITER 1580 NEW BEST:: SOT 132854627 SOS 81682019 HAS SOPS 66488004 HAS SOUS 23745870 HAS SOUPS 23131812 WITH SCORE 2.3213494019E7
AT ITER 1596 NEW BEST:: SOT 132872854 SOS 81709258 HAS SOPS 66515884 HAS SOUS 23745790 HAS SOUPS 23131732 WITH SCORE 2.3213441258E7
AT ITER 1599 NEW BEST:: SOT 132873815 SOS 81707147 HAS SOPS 66513773 HAS SOUS 23742488 HAS SOUPS 23128430 WITH SCORE 2.3210137147E7
AT ITER 1605 NEW BEST:: SOT 132876444 SOS 81717453 HAS SOPS 66522254 HAS SOUS 23736850 HAS SOUPS 23122792 WITH SCORE 2.3204509453E7
AT ITER 1611 NEW BEST:: SOT 132882522 SOS 81725181 HAS SOPS 66529157 HAS SOUS 23736353 HAS SOUPS 23122295 WITH SCORE 2.3204020181E7
AT ITER 1614 NEW BEST:: SOT 132886818 SOS 81733782 HAS SOPS 66514977 HAS SOUS 23692212 HAS SOUPS 23078154 WITH SCORE 2.3159887782E7
AT ITER 1633 NEW BEST:: SOT 132879514 SOS 81726506 HAS SOPS 66508761 HAS SOUS 23675452 HAS SOUPS 23061598 WITH SCORE 2.3143324506E7
AT ITER 1634 NEW BEST:: SOT 132878980 SOS 81725868 HAS SOPS 66507975 HAS SOUS 23674284 HAS SOUPS 23060430 WITH SCORE 2.3142155868E7
AT ITER 1638 NEW BEST:: SOT 132878713 SOS 81724106 HAS SOPS 66505953 HAS SOUS 23674095 HAS SOUPS 23060241 WITH SCORE 2.3141965106E7
AT ITER 1641 NEW BEST:: SOT 132886495 SOS 81747682 HAS SOPS 66517060 HAS SOUS 23670037 HAS SOUPS 23056110 WITH SCORE 2.3137857682E7
AT ITER 1644 NEW BEST:: SOT 132864124 SOS 81708714 HAS SOPS 66485419 HAS SOUS 23664574 HAS SOUPS 23050703 WITH SCORE 2.3132411714E7
AT ITER 1652 NEW BEST:: SOT 132837882 SOS 81674177 HAS SOPS 66422719 HAS SOUS 23629561 HAS SOUPS 23015898 WITH SCORE 2.3097572177E7
AT ITER 1669 NEW BEST:: SOT 132834657 SOS 81679123 HAS SOPS 66422720 HAS SOUS 23612508 HAS SOUPS 22998845 WITH SCORE 2.3080524123E7
AT ITER 1675 NEW BEST:: SOT 132835886 SOS 81681361 HAS SOPS 66421330 HAS SOUS 23607401 HAS SOUPS 22993738 WITH SCORE 2.3075419361E7
AT ITER 1681 NEW BEST:: SOT 132831389 SOS 81665013 HAS SOPS 66407746 HAS SOUS 23603735 HAS SOUPS 22990072 WITH SCORE 2.3071737013E7
AT ITER 1690 NEW BEST:: SOT 132831609 SOS 81665224 HAS SOPS 66408821 HAS SOUS 23602884 HAS SOUPS 22989221 WITH SCORE 2.3070886224E7
AT ITER 1697 NEW BEST:: SOT 132831549 SOS 81665204 HAS SOPS 66408781 HAS SOUS 23602780 HAS SOUPS 22989117 WITH SCORE 2.3070782204E7
AT ITER 1715 NEW BEST:: SOT 132793544 SOS 81588489 HAS SOPS 66386421 HAS SOUS 23590085 HAS SOUPS 22982961 WITH SCORE 2.3064549489E7
AT ITER 1721 NEW BEST:: SOT 132811539 SOS 81621991 HAS SOPS 66412320 HAS SOUS 23586140 HAS SOUPS 22978851 WITH SCORE 2.3060472991E7
AT ITER 1738 NEW BEST:: SOT 132799312 SOS 81612677 HAS SOPS 66403670 HAS SOUS 23566865 HAS SOUPS 22959576 WITH SCORE 2.3041188677E7
AT ITER 1754 NEW BEST:: SOT 132808519 SOS 81627808 HAS SOPS 66421098 HAS SOUS 23560611 HAS SOUPS 22953498 WITH SCORE 2.3035125808E7
AT ITER 1767 NEW BEST:: SOT 132802449 SOS 81627350 HAS SOPS 66413305 HAS SOUS 23537206 HAS SOUPS 22929809 WITH SCORE 2.301143635E7
AT ITER 1799 NEW BEST:: SOT 132802530 SOS 81633881 HAS SOPS 66416611 HAS SOUS 23527973 HAS SOUPS 22920576 WITH SCORE 2.3002209881E7
AT ITER 1800 NEW BEST:: SOT 132808316 SOS 81644960 HAS SOPS 66424356 HAS SOUS 23524602 HAS SOUPS 22917205 WITH SCORE 2.299884996E7
AT ITER 1806 NEW BEST:: SOT 132814639 SOS 81657070 HAS SOPS 66423691 HAS SOUS 23517036 HAS SOUPS 22909639 WITH SCORE 2.299129607E7
AT ITER 1816 NEW BEST:: SOT 132817345 SOS 81662814 HAS SOPS 66431879 HAS SOUS 23516838 HAS SOUPS 22909441 WITH SCORE 2.2991103814E7
AT ITER 1834 NEW BEST:: SOT 132816315 SOS 81662145 HAS SOPS 66428325 HAS SOUS 23512067 HAS SOUPS 22904670 WITH SCORE 2.2986332145E7
AT ITER 1836 NEW BEST:: SOT 132813706 SOS 81656373 HAS SOPS 66425241 HAS SOUS 23509235 HAS SOUPS 22901838 WITH SCORE 2.2983494373E7
AT ITER 1844 NEW BEST:: SOT 132815046 SOS 81658483 HAS SOPS 66426119 HAS SOUS 23507462 HAS SOUPS 22900307 WITH SCORE 2.2981965483E7
AT ITER 1849 NEW BEST:: SOT 132815460 SOS 81659301 HAS SOPS 66426736 HAS SOUS 23505374 HAS SOUPS 22898219 WITH SCORE 2.2979878301E7
AT ITER 1856 NEW BEST:: SOT 132780472 SOS 81601157 HAS SOPS 66380586 HAS SOUS 23479954 HAS SOUPS 22872799 WITH SCORE 2.2954400157E7
AT ITER 1858 NEW BEST:: SOT 132790202 SOS 81662452 HAS SOPS 66435560 HAS SOUS 23437897 HAS SOUPS 22830742 WITH SCORE 2.2912404452E7
AT ITER 1862 NEW BEST:: SOT 132790058 SOS 81662224 HAS SOPS 66435344 HAS SOUS 23437642 HAS SOUPS 22830487 WITH SCORE 2.2912149224E7
AT ITER 1869 NEW BEST:: SOT 132775646 SOS 81642024 HAS SOPS 66414339 HAS SOUS 23397509 HAS SOUPS 22790354 WITH SCORE 2.2871996024E7
AT ITER 1882 NEW BEST:: SOT 132773628 SOS 81641155 HAS SOPS 66414860 HAS SOUS 23387608 HAS SOUPS 22780453 WITH SCORE 2.2862094155E7
AT ITER 1887 NEW BEST:: SOT 132750887 SOS 81581442 HAS SOPS 66358100 HAS SOUS 23379741 HAS SOUPS 22772586 WITH SCORE 2.2854167442E7
AT ITER 1900 NEW BEST:: SOT 132741066 SOS 81558385 HAS SOPS 66346592 HAS SOUS 23372838 HAS SOUPS 22766226 WITH SCORE 2.2847784385E7
AT ITER 1907 NEW BEST:: SOT 132737061 SOS 81548804 HAS SOPS 66335071 HAS SOUS 23369113 HAS SOUPS 22762501 WITH SCORE 2.2844049804E7
AT ITER 1910 NEW BEST:: SOT 132738669 SOS 81563847 HAS SOPS 66347696 HAS SOUS 23357056 HAS SOUPS 22750444 WITH SCORE 2.2832007847E7
AT ITER 1915 NEW BEST:: SOT 132728424 SOS 81545414 HAS SOPS 66345874 HAS SOUS 23340463 HAS SOUPS 22733851 WITH SCORE 2.2815396414E7
AT ITER 1934 NEW BEST:: SOT 132729047 SOS 81556829 HAS SOPS 66363961 HAS SOUS 23322108 HAS SOUPS 22715592 WITH SCORE 2.2797148829E7
AT ITER 1938 NEW BEST:: SOT 132718547 SOS 81542324 HAS SOPS 66350045 HAS SOUS 23302344 HAS SOUPS 22696407 WITH SCORE 2.2777949324E7
AT ITER 1950 NEW BEST:: SOT 132713651 SOS 81534887 HAS SOPS 66344298 HAS SOUS 23285488 HAS SOUPS 22680829 WITH SCORE 2.2762363887E7
AT ITER 1951 NEW BEST:: SOT 132713847 SOS 81536451 HAS SOPS 66348129 HAS SOUS 23284151 HAS SOUPS 22679492 WITH SCORE 2.2761028451E7
AT ITER 1957 NEW BEST:: SOT 132751914 SOS 81605418 HAS SOPS 66414908 HAS SOUS 23277001 HAS SOUPS 22672342 WITH SCORE 2.2753947418E7
AT ITER 1967 NEW BEST:: SOT 132760627 SOS 81614284 HAS SOPS 66416929 HAS SOUS 23257771 HAS SOUPS 22653112 WITH SCORE 2.2734726284E7
AT ITER 2009 NEW BEST:: SOT 132750567 SOS 81606731 HAS SOPS 66405060 HAS SOUS 23226828 HAS SOUPS 22622306 WITH SCORE 2.2703912731E7
AT ITER 2013 NEW BEST:: SOT 132760446 SOS 81628454 HAS SOPS 66423309 HAS SOUS 23226390 HAS SOUPS 22621868 WITH SCORE 2.2703496454E7
AT ITER 2029 NEW BEST:: SOT 132736834 SOS 81600848 HAS SOPS 66391230 HAS SOUS 23186163 HAS SOUPS 22581717 WITH SCORE 2.2663317848E7
AT ITER 2036 NEW BEST:: SOT 132684699 SOS 81523154 HAS SOPS 66325555 HAS SOUS 23118317 HAS SOUPS 22513689 WITH SCORE 2.2595212154E7
AT ITER 2037 NEW BEST:: SOT 132698617 SOS 81560714 HAS SOPS 66336668 HAS SOUS 23050551 HAS SOUPS 22445923 WITH SCORE 2.2527483714E7
AT ITER 2062 NEW BEST:: SOT 132684046 SOS 81535636 HAS SOPS 66318561 HAS SOUS 23043909 HAS SOUPS 22439430 WITH SCORE 2.2520965636E7
AT ITER 2087 NEW BEST:: SOT 132684820 SOS 81537113 HAS SOPS 66318988 HAS SOUS 23043164 HAS SOUPS 22438685 WITH SCORE 2.2520222113E7
AT ITER 2111 NEW BEST:: SOT 132683552 SOS 81544148 HAS SOPS 66325161 HAS SOUS 23031791 HAS SOUPS 22427312 WITH SCORE 2.2508856148E7
AT ITER 2122 NEW BEST:: SOT 132675454 SOS 81528763 HAS SOPS 66313546 HAS SOUS 23014851 HAS SOUPS 22410500 WITH SCORE 2.2492028763E7
AT ITER 2157 NEW BEST:: SOT 132673758 SOS 81529614 HAS SOPS 66313371 HAS SOUS 23003517 HAS SOUPS 22399235 WITH SCORE 2.2480764614E7
AT ITER 2159 NEW BEST:: SOT 132686314 SOS 81579831 HAS SOPS 66366029 HAS SOUS 22974562 HAS SOUPS 22370280 WITH SCORE 2.2451859831E7
AT ITER 2164 NEW BEST:: SOT 132694953 SOS 81611317 HAS SOPS 66383427 HAS SOUS 22963374 HAS SOUPS 22359092 WITH SCORE 2.2440703317E7
AT ITER 2165 NEW BEST:: SOT 132697944 SOS 81611556 HAS SOPS 66390080 HAS SOUS 22962804 HAS SOUPS 22358522 WITH SCORE 2.2440133556E7
AT ITER 2196 NEW BEST:: SOT 132704580 SOS 81631817 HAS SOPS 66397595 HAS SOUS 22941256 HAS SOUPS 22336974 WITH SCORE 2.2418605817E7
AT ITER 2198 NEW BEST:: SOT 132747421 SOS 81733029 HAS SOPS 66500283 HAS SOUS 22935311 HAS SOUPS 22331029 WITH SCORE 2.2412762029E7
AT ITER 2205 NEW BEST:: SOT 132784256 SOS 81903559 HAS SOPS 66669210 HAS SOUS 22930499 HAS SOUPS 22326217 WITH SCORE 2.2408120559E7
AT ITER 2225 NEW BEST:: SOT 132770809 SOS 81873457 HAS SOPS 66649492 HAS SOUS 22918979 HAS SOUPS 22314697 WITH SCORE 2.2396570457E7
AT ITER 2227 NEW BEST:: SOT 132790007 SOS 81936309 HAS SOPS 66677255 HAS SOUS 22897450 HAS SOUPS 22293168 WITH SCORE 2.2375104309E7
AT ITER 2229 NEW BEST:: SOT 132795546 SOS 81949317 HAS SOPS 66686567 HAS SOUS 22895254 HAS SOUPS 22290972 WITH SCORE 2.2372921317E7
AT ITER 2231 NEW BEST:: SOT 132790950 SOS 81945577 HAS SOPS 66682876 HAS SOUS 22889942 HAS SOUPS 22285660 WITH SCORE 2.2367605577E7
AT ITER 2261 NEW BEST:: SOT 132790532 SOS 81944803 HAS SOPS 66683599 HAS SOUS 22886195 HAS SOUPS 22281970 WITH SCORE 2.2363914803E7
AT ITER 2269 NEW BEST:: SOT 132784187 SOS 81945093 HAS SOPS 66675614 HAS SOUS 22879977 HAS SOUPS 22275752 WITH SCORE 2.2357697093E7
AT ITER 2270 NEW BEST:: SOT 132776476 SOS 81922194 HAS SOPS 66658475 HAS SOUS 22875717 HAS SOUPS 22271492 WITH SCORE 2.2353414194E7
AT ITER 2272 NEW BEST:: SOT 132727827 SOS 81858744 HAS SOPS 66587595 HAS SOUS 22778037 HAS SOUPS 22173731 WITH SCORE 2.2255589744E7
AT ITER 2283 NEW BEST:: SOT 132732724 SOS 81863401 HAS SOPS 66589388 HAS SOUS 22776672 HAS SOUPS 22172366 WITH SCORE 2.2254229401E7
AT ITER 2293 NEW BEST:: SOT 132734114 SOS 81866702 HAS SOPS 66590799 HAS SOUS 22774786 HAS SOUPS 22170480 WITH SCORE 2.2252346702E7
AT ITER 2310 NEW BEST:: SOT 132708146 SOS 81838444 HAS SOPS 66563357 HAS SOUS 22722904 HAS SOUPS 22118499 WITH SCORE 2.2200337444E7
AT ITER 2329 NEW BEST:: SOT 132711933 SOS 81848311 HAS SOPS 66570878 HAS SOUS 22717937 HAS SOUPS 22113532 WITH SCORE 2.2195380311E7
AT ITER 2337 NEW BEST:: SOT 132709608 SOS 81846047 HAS SOPS 66570476 HAS SOUS 22712413 HAS SOUPS 22108008 WITH SCORE 2.2189854047E7
AT ITER 2338 NEW BEST:: SOT 132713686 SOS 81864860 HAS SOPS 66585316 HAS SOUS 22708310 HAS SOUPS 22103905 WITH SCORE 2.218576986E7
AT ITER 2344 NEW BEST:: SOT 132693445 SOS 81838651 HAS SOPS 66552915 HAS SOUS 22666114 HAS SOUPS 22061728 WITH SCORE 2.2143566651E7
AT ITER 2364 NEW BEST:: SOT 132693504 SOS 81838744 HAS SOPS 66552934 HAS SOUS 22666013 HAS SOUPS 22061627 WITH SCORE 2.2143465744E7
AT ITER 2366 NEW BEST:: SOT 132670816 SOS 81815882 HAS SOPS 66528011 HAS SOUS 22637037 HAS SOUPS 22032651 WITH SCORE 2.2114466882E7
AT ITER 2407 NEW BEST:: SOT 132666997 SOS 81813214 HAS SOPS 66525601 HAS SOUS 22626382 HAS SOUPS 22022099 WITH SCORE 2.2103912214E7
AT ITER 2408 NEW BEST:: SOT 132673706 SOS 81826846 HAS SOPS 66535797 HAS SOUS 22597389 HAS SOUPS 21993501 WITH SCORE 2.2075327846E7
AT ITER 2417 NEW BEST:: SOT 132616925 SOS 81734653 HAS SOPS 66436882 HAS SOUS 22538256 HAS SOUPS 21934268 WITH SCORE 2.2016002653E7
AT ITER 2420 NEW BEST:: SOT 132576478 SOS 81667741 HAS SOPS 66391623 HAS SOUS 22481549 HAS SOUPS 21877910 WITH SCORE 2.1959577741E7
AT ITER 2423 NEW BEST:: SOT 132539383 SOS 81630509 HAS SOPS 66354251 HAS SOUS 22436138 HAS SOUPS 21832368 WITH SCORE 2.1913998509E7
AT ITER 2438 NEW BEST:: SOT 132528234 SOS 81609374 HAS SOPS 66338525 HAS SOUS 22423873 HAS SOUPS 21820754 WITH SCORE 2.1902363374E7
AT ITER 2440 NEW BEST:: SOT 132521621 SOS 81613409 HAS SOPS 66330458 HAS SOUS 22378799 HAS SOUPS 21775680 WITH SCORE 2.1857293409E7
AT ITER 2460 NEW BEST:: SOT 132513713 SOS 81593891 HAS SOPS 66303576 HAS SOUS 22368467 HAS SOUPS 21765348 WITH SCORE 2.1846941891E7
AT ITER 2467 NEW BEST:: SOT 132497241 SOS 81560191 HAS SOPS 66292678 HAS SOUS 22360508 HAS SOUPS 21758226 WITH SCORE 2.1839786191E7
AT ITER 2470 NEW BEST:: SOT 132496192 SOS 81554039 HAS SOPS 66284231 HAS SOUS 22353171 HAS SOUPS 21750889 WITH SCORE 2.1832443039E7
AT ITER 2473 NEW BEST:: SOT 132512774 SOS 81611114 HAS SOPS 66326736 HAS SOUS 22280467 HAS SOUPS 21678185 WITH SCORE 2.1759796114E7
AT ITER 2476 NEW BEST:: SOT 132513024 SOS 81609128 HAS SOPS 66329155 HAS SOUS 22278089 HAS SOUPS 21675807 WITH SCORE 2.1757416128E7
AT ITER 2482 NEW BEST:: SOT 132510638 SOS 81606703 HAS SOPS 66325770 HAS SOUS 22272442 HAS SOUPS 21670160 WITH SCORE 2.1751766703E7
AT ITER 2491 NEW BEST:: SOT 132510640 SOS 81606656 HAS SOPS 66325932 HAS SOUS 22271521 HAS SOUPS 21669268 WITH SCORE 2.1750874656E7
AT ITER 2498 NEW BEST:: SOT 132509425 SOS 81605762 HAS SOPS 66323873 HAS SOUS 22266277 HAS SOUPS 21664024 WITH SCORE 2.1745629762E7
AT ITER 2517 NEW BEST:: SOT 132508115 SOS 81603810 HAS SOPS 66321681 HAS SOUS 22264061 HAS SOUPS 21661808 WITH SCORE 2.174341181E7
AT ITER 2524 NEW BEST:: SOT 132508172 SOS 81604138 HAS SOPS 66321960 HAS SOUS 22263786 HAS SOUPS 21661533 WITH SCORE 2.1743137138E7
AT ITER 2532 NEW BEST:: SOT 132505430 SOS 81600715 HAS SOPS 66316773 HAS SOUS 22253151 HAS SOUPS 21650898 WITH SCORE 2.1732498715E7
AT ITER 2536 NEW BEST:: SOT 132505302 SOS 81600698 HAS SOPS 66316151 HAS SOUS 22250942 HAS SOUPS 21648740 WITH SCORE 2.1730340698E7
AT ITER 2548 NEW BEST:: SOT 132495223 SOS 81583776 HAS SOPS 66301733 HAS SOUS 22245580 HAS SOUPS 21643378 WITH SCORE 2.1724961776E7
AT ITER 2552 NEW BEST:: SOT 132495349 SOS 81577392 HAS SOPS 66299707 HAS SOUS 22237220 HAS SOUPS 21635018 WITH SCORE 2.1716595392E7
AT ITER 2562 NEW BEST:: SOT 132497782 SOS 81564651 HAS SOPS 66284914 HAS SOUS 22233223 HAS SOUPS 21631021 WITH SCORE 2.1712585651E7
AT ITER 2580 NEW BEST:: SOT 132500470 SOS 81567426 HAS SOPS 66288781 HAS SOUS 22232908 HAS SOUPS 21630706 WITH SCORE 2.1712273426E7
AT ITER 2592 NEW BEST:: SOT 132500753 SOS 81564320 HAS SOPS 66287110 HAS SOUS 22231714 HAS SOUPS 21630521 WITH SCORE 2.171208532E7
AT ITER 2600 NEW BEST:: SOT 132521288 SOS 81638778 HAS SOPS 66365021 HAS SOUS 22225160 HAS SOUPS 21623967 WITH SCORE 2.1705605778E7
AT ITER 2622 NEW BEST:: SOT 132514320 SOS 81637112 HAS SOPS 66357321 HAS SOUS 22210727 HAS SOUPS 21609534 WITH SCORE 2.1691171112E7
AT ITER 2631 NEW BEST:: SOT 132516430 SOS 81640894 HAS SOPS 66361111 HAS SOUS 22208934 HAS SOUPS 21607605 WITH SCORE 2.1689245894E7
AT ITER 2641 NEW BEST:: SOT 132516327 SOS 81640782 HAS SOPS 66361103 HAS SOUS 22208688 HAS SOUPS 21607353 WITH SCORE 2.1688993782E7
AT ITER 2646 NEW BEST:: SOT 132518192 SOS 81653750 HAS SOPS 66365218 HAS SOUS 22208022 HAS SOUPS 21606687 WITH SCORE 2.168834075E7
AT ITER 2651 NEW BEST:: SOT 132520794 SOS 81656340 HAS SOPS 66372694 HAS SOUS 22201992 HAS SOUPS 21600676 WITH SCORE 2.168233234E7
AT ITER 2658 NEW BEST:: SOT 132507440 SOS 81619578 HAS SOPS 66345478 HAS SOUS 22187075 HAS SOUPS 21585759 WITH SCORE 2.1667378578E7
AT ITER 2680 NEW BEST:: SOT 132506928 SOS 81642594 HAS SOPS 66355678 HAS SOUS 22140578 HAS SOUPS 21539262 WITH SCORE 2.1620904594E7
AT ITER 2693 NEW BEST:: SOT 132469158 SOS 81590727 HAS SOPS 66304470 HAS SOUS 22072162 HAS SOUPS 21470846 WITH SCORE 2.1552436727E7
AT ITER 2698 NEW BEST:: SOT 132468802 SOS 81587847 HAS SOPS 66292119 HAS SOUS 22059692 HAS SOUPS 21458376 WITH SCORE 2.1539963847E7
AT ITER 2708 NEW BEST:: SOT 132460268 SOS 81565621 HAS SOPS 66274037 HAS SOUS 22030114 HAS SOUPS 21429078 WITH SCORE 2.1510643621E7
AT ITER 2718 NEW BEST:: SOT 132453740 SOS 81558969 HAS SOPS 66266455 HAS SOUS 22016992 HAS SOUPS 21415987 WITH SCORE 2.1497545969E7
AT ITER 2735 NEW BEST:: SOT 132455963 SOS 81561561 HAS SOPS 66267447 HAS SOUS 22016968 HAS SOUPS 21415963 WITH SCORE 2.1497524561E7
AT ITER 2745 NEW BEST:: SOT 132448627 SOS 81560422 HAS SOPS 66255575 HAS SOUS 22006674 HAS SOUPS 21405632 WITH SCORE 2.1487192422E7
AT ITER 2754 NEW BEST:: SOT 132447009 SOS 81565661 HAS SOPS 66258767 HAS SOUS 21989951 HAS SOUPS 21388909 WITH SCORE 2.1470474661E7
AT ITER 2758 NEW BEST:: SOT 132446719 SOS 81564626 HAS SOPS 66257982 HAS SOUS 21989294 HAS SOUPS 21388252 WITH SCORE 2.1469816626E7
AT ITER 2773 NEW BEST:: SOT 132479674 SOS 81629723 HAS SOPS 66332282 HAS SOUS 21974992 HAS SOUPS 21373950 WITH SCORE 2.1455579723E7
AT ITER 2786 NEW BEST:: SOT 132480580 SOS 81634653 HAS SOPS 66336546 HAS SOUS 21969547 HAS SOUPS 21368505 WITH SCORE 2.1450139653E7
AT ITER 2789 NEW BEST:: SOT 132466944 SOS 81588864 HAS SOPS 66290505 HAS SOUS 21942144 HAS SOUPS 21341102 WITH SCORE 2.1422690864E7
AT ITER 2827 NEW BEST:: SOT 132427186 SOS 81504543 HAS SOPS 66219399 HAS SOUS 21895293 HAS SOUPS 21294456 WITH SCORE 2.1375960543E7
AT ITER 2841 NEW BEST:: SOT 132430920 SOS 81508547 HAS SOPS 66220290 HAS SOUS 21894005 HAS SOUPS 21293106 WITH SCORE 2.1374614547E7
AT ITER 2847 NEW BEST:: SOT 132439311 SOS 81538967 HAS SOPS 66241857 HAS SOUS 21880419 HAS SOUPS 21279520 WITH SCORE 2.1361058967E7
AT ITER 2851 NEW BEST:: SOT 132428665 SOS 81503118 HAS SOPS 66205052 HAS SOUS 21867590 HAS SOUPS 21266691 WITH SCORE 2.1348194118E7
AT ITER 2858 NEW BEST:: SOT 132428029 SOS 81501570 HAS SOPS 66203671 HAS SOUS 21867401 HAS SOUPS 21266502 WITH SCORE 2.134800357E7
AT ITER 2875 NEW BEST:: SOT 132421331 SOS 81488051 HAS SOPS 66198129 HAS SOUS 21844527 HAS SOUPS 21244487 WITH SCORE 2.1325975051E7
AT ITER 2883 NEW BEST:: SOT 132321791 SOS 81342507 HAS SOPS 66080802 HAS SOUS 21799302 HAS SOUPS 21199232 WITH SCORE 2.1280574507E7
AT ITER 2893 NEW BEST:: SOT 132320828 SOS 81340382 HAS SOPS 66091684 HAS SOUS 21795276 HAS SOUPS 21195206 WITH SCORE 2.1276546382E7
AT ITER 2910 NEW BEST:: SOT 132319140 SOS 81348154 HAS SOPS 66099269 HAS SOUS 21773622 HAS SOUPS 21173552 WITH SCORE 2.1254900154E7
AT ITER 2912 NEW BEST:: SOT 132301557 SOS 81296624 HAS SOPS 66066621 HAS SOUS 21754616 HAS SOUPS 21155737 WITH SCORE 2.1237033624E7
AT ITER 2913 NEW BEST:: SOT 132297598 SOS 81290508 HAS SOPS 66061337 HAS SOUS 21754423 HAS SOUPS 21155596 WITH SCORE 2.1236886508E7
AT ITER 2942 NEW BEST:: SOT 132305725 SOS 81298893 HAS SOPS 66070428 HAS SOUS 21753444 HAS SOUPS 21155493 WITH SCORE 2.1236791893E7
AT ITER 2953 NEW BEST:: SOT 132305038 SOS 81297736 HAS SOPS 66069206 HAS SOUS 21752999 HAS SOUPS 21155048 WITH SCORE 2.1236345736E7
AT ITER 2955 NEW BEST:: SOT 132299367 SOS 81284443 HAS SOPS 66061735 HAS SOUS 21752939 HAS SOUPS 21154988 WITH SCORE 2.1236272443E7
AT ITER 3002 NEW BEST:: SOT 132302933 SOS 81299742 HAS SOPS 66074548 HAS SOUS 21745542 HAS SOUPS 21147591 WITH SCORE 2.1228890742E7
AT ITER 3006 NEW BEST:: SOT 132303143 SOS 81317703 HAS SOPS 66092739 HAS SOUS 21741708 HAS SOUPS 21143757 WITH SCORE 2.1225074703E7
AT ITER 3026 NEW BEST:: SOT 132361433 SOS 81420885 HAS SOPS 66189275 HAS SOUS 21681272 HAS SOUPS 21083189 WITH SCORE 2.1164609885E7
AT ITER 3027 NEW BEST:: SOT 132369075 SOS 81445297 HAS SOPS 66225108 HAS SOUS 21678126 HAS SOUPS 21080043 WITH SCORE 2.1161488297E7
AT ITER 3031 NEW BEST:: SOT 132334442 SOS 81365106 HAS SOPS 66154449 HAS SOUS 21648173 HAS SOUPS 21050090 WITH SCORE 2.1131455106E7
AT ITER 3043 NEW BEST:: SOT 132329265 SOS 81351750 HAS SOPS 66141552 HAS SOUS 21647950 HAS SOUPS 21049347 WITH SCORE 2.113069875E7
AT ITER 3048 NEW BEST:: SOT 132329744 SOS 81348014 HAS SOPS 66183066 HAS SOUS 21609458 HAS SOUPS 21011003 WITH SCORE 2.1092351014E7
AT ITER 3053 NEW BEST:: SOT 132328277 SOS 81351636 HAS SOPS 66184209 HAS SOUS 21603020 HAS SOUPS 21004461 WITH SCORE 2.1085812636E7
AT ITER 3065 NEW BEST:: SOT 132326622 SOS 81348648 HAS SOPS 66180154 HAS SOUS 21591636 HAS SOUPS 20993077 WITH SCORE 2.1074425648E7
AT ITER 3074 NEW BEST:: SOT 132326236 SOS 81348305 HAS SOPS 66179639 HAS SOUS 21590650 HAS SOUPS 20992083 WITH SCORE 2.1073431305E7
AT ITER 3075 NEW BEST:: SOT 132323441 SOS 81344106 HAS SOPS 66176096 HAS SOUS 21587230 HAS SOUPS 20988677 WITH SCORE 2.1070021106E7
AT ITER 3085 NEW BEST:: SOT 132326091 SOS 81353203 HAS SOPS 66182577 HAS SOUS 21584373 HAS SOUPS 20985466 WITH SCORE 2.1066819203E7
AT ITER 3091 NEW BEST:: SOT 132330934 SOS 81339722 HAS SOPS 66186176 HAS SOUS 21576444 HAS SOUPS 20980952 WITH SCORE 2.1062291722E7
AT ITER 3093 NEW BEST:: SOT 132345213 SOS 81359347 HAS SOPS 66211725 HAS SOUS 21564269 HAS SOUPS 20968600 WITH SCORE 2.1049959347E7
AT ITER 3094 NEW BEST:: SOT 132382162 SOS 81445064 HAS SOPS 66284437 HAS SOUS 21543806 HAS SOUPS 20948137 WITH SCORE 2.1029582064E7
AT ITER 3095 NEW BEST:: SOT 132374711 SOS 81436699 HAS SOPS 66269295 HAS SOUS 21531757 HAS SOUPS 20936149 WITH SCORE 2.1017585699E7
AT ITER 3107 NEW BEST:: SOT 132363158 SOS 81386936 HAS SOPS 66221564 HAS SOUS 21519925 HAS SOUPS 20924709 WITH SCORE 2.1006095936E7
AT ITER 3109 NEW BEST:: SOT 132359091 SOS 81396879 HAS SOPS 66229524 HAS SOUS 21507457 HAS SOUPS 20912241 WITH SCORE 2.0993637879E7
AT ITER 3114 NEW BEST:: SOT 132352733 SOS 81375159 HAS SOPS 66216008 HAS SOUS 21503492 HAS SOUPS 20908376 WITH SCORE 2.0989751159E7
AT ITER 3118 NEW BEST:: SOT 132346423 SOS 81367945 HAS SOPS 66206838 HAS SOUS 21486394 HAS SOUPS 20891177 WITH SCORE 2.0972544945E7
AT ITER 3124 NEW BEST:: SOT 132361521 SOS 81379823 HAS SOPS 66230931 HAS SOUS 21475980 HAS SOUPS 20888039 WITH SCORE 2.0969418823E7
AT ITER 3132 NEW BEST:: SOT 132361396 SOS 81379145 HAS SOPS 66229157 HAS SOUS 21472004 HAS SOUPS 20884063 WITH SCORE 2.0965442145E7
AT ITER 3140 NEW BEST:: SOT 132366417 SOS 81394472 HAS SOPS 66239664 HAS SOUS 21466403 HAS SOUPS 20878462 WITH SCORE 2.0959856472E7
AT ITER 3141 NEW BEST:: SOT 132366940 SOS 81400321 HAS SOPS 66238011 HAS SOUS 21458774 HAS SOUPS 20870833 WITH SCORE 2.0952233321E7
AT ITER 3146 NEW BEST:: SOT 132364433 SOS 81396059 HAS SOPS 66233437 HAS SOUS 21454694 HAS SOUPS 20866753 WITH SCORE 2.0948149059E7
AT ITER 3151 NEW BEST:: SOT 132368801 SOS 81394797 HAS SOPS 66226934 HAS SOUS 21449209 HAS SOUPS 20861268 WITH SCORE 2.0942662797E7
AT ITER 3169 NEW BEST:: SOT 132375759 SOS 81399338 HAS SOPS 66231503 HAS SOUS 21412728 HAS SOUPS 20824806 WITH SCORE 2.0906205338E7
AT ITER 3194 NEW BEST:: SOT 132375759 SOS 81399346 HAS SOPS 66231465 HAS SOUS 21412680 HAS SOUPS 20824758 WITH SCORE 2.0906157346E7
AT ITER 3225 NEW BEST:: SOT 132358183 SOS 81385278 HAS SOPS 66215187 HAS SOUS 21383199 HAS SOUPS 20795206 WITH SCORE 2.0876591278E7
AT ITER 3226 NEW BEST:: SOT 132354555 SOS 81379169 HAS SOPS 66209562 HAS SOUS 21380666 HAS SOUPS 20792673 WITH SCORE 2.0874052169E7
AT ITER 3248 NEW BEST:: SOT 132347080 SOS 81345351 HAS SOPS 66189968 HAS SOUS 21373521 HAS SOUPS 20785701 WITH SCORE 2.0867046351E7
AT ITER 3266 NEW BEST:: SOT 132382758 SOS 81412630 HAS SOPS 66263356 HAS SOUS 21369433 HAS SOUPS 20782096 WITH SCORE 2.086350863E7
AT ITER 3279 NEW BEST:: SOT 132380809 SOS 81407893 HAS SOPS 66260106 HAS SOUS 21364420 HAS SOUPS 20777083 WITH SCORE 2.0858490893E7
AT ITER 3292 NEW BEST:: SOT 132370835 SOS 81393758 HAS SOPS 66249743 HAS SOUS 21358509 HAS SOUPS 20771121 WITH SCORE 2.0852514758E7
AT ITER 3294 NEW BEST:: SOT 132370360 SOS 81385664 HAS SOPS 66249786 HAS SOUS 21358174 HAS SOUPS 20770786 WITH SCORE 2.0852171664E7
AT ITER 3306 NEW BEST:: SOT 132370298 SOS 81386042 HAS SOPS 66250336 HAS SOUS 21358120 HAS SOUPS 20770732 WITH SCORE 2.0852118042E7
AT ITER 3309 NEW BEST:: SOT 132363031 SOS 81391597 HAS SOPS 66241032 HAS SOUS 21330471 HAS SOUPS 20743083 WITH SCORE 2.0824474597E7
AT ITER 3316 NEW BEST:: SOT 132359923 SOS 81380614 HAS SOPS 66226543 HAS SOUS 21312754 HAS SOUPS 20725366 WITH SCORE 2.0806746614E7
AT ITER 3330 NEW BEST:: SOT 132367027 SOS 81388329 HAS SOPS 66236356 HAS SOUS 21305322 HAS SOUPS 20718072 WITH SCORE 2.0799460329E7
AT ITER 3337 NEW BEST:: SOT 132373324 SOS 81394909 HAS SOPS 66284493 HAS SOUS 21297634 HAS SOUPS 20711054 WITH SCORE 2.0792448909E7
AT ITER 3349 NEW BEST:: SOT 132391873 SOS 81390695 HAS SOPS 66280192 HAS SOUS 21286931 HAS SOUPS 20700469 WITH SCORE 2.0781859695E7
AT ITER 3366 NEW BEST:: SOT 132412179 SOS 81415719 HAS SOPS 66322418 HAS SOUS 21283125 HAS SOUPS 20696706 WITH SCORE 2.0778121719E7
AT ITER 3369 NEW BEST:: SOT 132410922 SOS 81409907 HAS SOPS 66317913 HAS SOUS 21276784 HAS SOUPS 20690393 WITH SCORE 2.0771802907E7
AT ITER 3383 NEW BEST:: SOT 132401287 SOS 81389339 HAS SOPS 66292304 HAS SOUS 21262341 HAS SOUPS 20675950 WITH SCORE 2.0757339339E7
AT ITER 3401 NEW BEST:: SOT 132422906 SOS 81402475 HAS SOPS 66366448 HAS SOUS 21250158 HAS SOUPS 20663767 WITH SCORE 2.0745169475E7
AT ITER 3409 NEW BEST:: SOT 132422318 SOS 81395725 HAS SOPS 66358453 HAS SOUS 21248217 HAS SOUPS 20661826 WITH SCORE 2.0743221725E7
AT ITER 3431 NEW BEST:: SOT 132445525 SOS 81479239 HAS SOPS 66424998 HAS SOUS 21229252 HAS SOUPS 20642861 WITH SCORE 2.0724340239E7
AT ITER 3437 NEW BEST:: SOT 132410090 SOS 81431299 HAS SOPS 66379126 HAS SOUS 21175576 HAS SOUPS 20587425 WITH SCORE 2.0668856299E7
AT ITER 3442 NEW BEST:: SOT 132409914 SOS 81431238 HAS SOPS 66378706 HAS SOUS 21171081 HAS SOUPS 20582930 WITH SCORE 2.0664361238E7
AT ITER 3472 NEW BEST:: SOT 132409577 SOS 81430689 HAS SOPS 66377981 HAS SOUS 21170436 HAS SOUPS 20582285 WITH SCORE 2.0663715689E7
AT ITER 3491 NEW BEST:: SOT 132392581 SOS 81390980 HAS SOPS 66353388 HAS SOUS 21168964 HAS SOUPS 20580813 WITH SCORE 2.066220398E7
AT ITER 3496 NEW BEST:: SOT 132387916 SOS 81386450 HAS SOPS 66350704 HAS SOUS 21162547 HAS SOUPS 20574396 WITH SCORE 2.065578245E7
AT ITER 3510 NEW BEST:: SOT 132387430 SOS 81385856 HAS SOPS 66349849 HAS SOUS 21161695 HAS SOUPS 20573544 WITH SCORE 2.0654929856E7
AT ITER 3514 NEW BEST:: SOT 132388334 SOS 81392325 HAS SOPS 66353780 HAS SOUS 21159518 HAS SOUPS 20571367 WITH SCORE 2.0652759325E7
AT ITER 3534 NEW BEST:: SOT 132389794 SOS 81400295 HAS SOPS 66350379 HAS SOUS 21155063 HAS SOUPS 20566912 WITH SCORE 2.0648312295E7
AT ITER 3548 NEW BEST:: SOT 132385458 SOS 81381853 HAS SOPS 66327967 HAS SOUS 21146422 HAS SOUPS 20558271 WITH SCORE 2.0639652853E7
AT ITER 3562 NEW BEST:: SOT 132445811 SOS 81430405 HAS SOPS 66374878 HAS SOUS 21128460 HAS SOUPS 20557859 WITH SCORE 2.0639289405E7
AT ITER 3585 NEW BEST:: SOT 132457790 SOS 81484083 HAS SOPS 66434123 HAS SOUS 21125105 HAS SOUPS 20554504 WITH SCORE 2.0635988083E7
AT ITER 3599 NEW BEST:: SOT 132467394 SOS 81514158 HAS SOPS 66449296 HAS SOUS 21100389 HAS SOUPS 20529750 WITH SCORE 2.0611264158E7
AT ITER 3601 NEW BEST:: SOT 132477885 SOS 81521198 HAS SOPS 66451683 HAS SOUS 21075405 HAS SOUPS 20504903 WITH SCORE 2.0586424198E7
AT ITER 3615 NEW BEST:: SOT 132477843 SOS 81526248 HAS SOPS 66446541 HAS SOUS 21051786 HAS SOUPS 20481294 WITH SCORE 2.0562820248E7
AT ITER 3616 NEW BEST:: SOT 132481235 SOS 81535349 HAS SOPS 66457476 HAS SOUS 21045298 HAS SOUPS 20474806 WITH SCORE 2.0556341349E7
AT ITER 3645 NEW BEST:: SOT 132447154 SOS 81501373 HAS SOPS 66422337 HAS SOUS 20981081 HAS SOUPS 20410589 WITH SCORE 2.0492090373E7
AT ITER 3654 NEW BEST:: SOT 132446953 SOS 81500210 HAS SOPS 66420611 HAS SOUS 20980446 HAS SOUPS 20409954 WITH SCORE 2.049145421E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13566356 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15950976 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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-3"
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-3, 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-167889204000096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-3.tgz
mv RERS17pb114-PT-3 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 ;