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.r323-tall-167889194200088.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 smart
Input is RERS17pb114-PT-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194200088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.5K Feb 26 04:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 04:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 04:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 04:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 04:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 04:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 04:53 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 1679477024437

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb114-PT-2
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 2
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 4 NEW BEST:: SOT 133647189 SOS 82187930 HAS SOPS 66742238 HAS SOUS 26435537 HAS SOUPS 25804846 WITH SCORE 2.588703393E7
AT ITER 6 NEW BEST:: SOT 133646395 SOS 82188266 HAS SOPS 66742040 HAS SOUS 26433695 HAS SOUPS 25803004 WITH SCORE 2.5885192266E7
AT ITER 9 NEW BEST:: SOT 133599652 SOS 82122886 HAS SOPS 66701529 HAS SOUS 26397929 HAS SOUPS 25767606 WITH SCORE 2.5849728886E7
AT ITER 24 NEW BEST:: SOT 133613583 SOS 82139917 HAS SOPS 66737946 HAS SOUS 26396844 HAS SOUPS 25766754 WITH SCORE 2.5848893917E7
AT ITER 29 NEW BEST:: SOT 133587515 SOS 82071328 HAS SOPS 66685590 HAS SOUS 26385734 HAS SOUPS 25755644 WITH SCORE 2.5837715328E7
AT ITER 31 NEW BEST:: SOT 133583585 SOS 82049817 HAS SOPS 66672359 HAS SOUS 26385392 HAS SOUPS 25755302 WITH SCORE 2.5837351817E7
AT ITER 38 NEW BEST:: SOT 133651229 SOS 82206915 HAS SOPS 66838091 HAS SOUS 26382357 HAS SOUPS 25752136 WITH SCORE 2.5834342915E7
AT ITER 45 NEW BEST:: SOT 133650589 SOS 82206695 HAS SOPS 66835704 HAS SOUS 26377895 HAS SOUPS 25747674 WITH SCORE 2.5829880695E7
AT ITER 50 NEW BEST:: SOT 133651937 SOS 82229747 HAS SOPS 66854093 HAS SOUS 26360643 HAS SOUPS 25730422 WITH SCORE 2.5812651747E7
AT ITER 56 NEW BEST:: SOT 133636234 SOS 82216427 HAS SOPS 66877273 HAS SOUS 26325790 HAS SOUPS 25695852 WITH SCORE 2.5778068427E7
AT ITER 59 NEW BEST:: SOT 133638110 SOS 82220949 HAS SOPS 66878958 HAS SOUS 26321526 HAS SOUPS 25691588 WITH SCORE 2.5773808949E7
AT ITER 63 NEW BEST:: SOT 133646376 SOS 82230982 HAS SOPS 66888991 HAS SOUS 26319909 HAS SOUPS 25689971 WITH SCORE 2.5772201982E7
AT ITER 74 NEW BEST:: SOT 133645276 SOS 82229842 HAS SOPS 66887871 HAS SOUS 26317389 HAS SOUPS 25687461 WITH SCORE 2.5769690842E7
AT ITER 84 NEW BEST:: SOT 133641551 SOS 82225650 HAS SOPS 66880958 HAS SOUS 26314757 HAS SOUPS 25684936 WITH SCORE 2.576716165E7
AT ITER 97 NEW BEST:: SOT 133622775 SOS 82188131 HAS SOPS 66883956 HAS SOUS 26306889 HAS SOUPS 25677068 WITH SCORE 2.5759256131E7
AT ITER 98 NEW BEST:: SOT 133647972 SOS 82262343 HAS SOPS 66946769 HAS SOUS 26305713 HAS SOUPS 25675892 WITH SCORE 2.5758154343E7
AT ITER 117 NEW BEST:: SOT 133654839 SOS 82311608 HAS SOPS 66999699 HAS SOUS 26289732 HAS SOUPS 25659911 WITH SCORE 2.5742222608E7
AT ITER 122 NEW BEST:: SOT 133653367 SOS 82310152 HAS SOPS 66997715 HAS SOUS 26288472 HAS SOUPS 25658571 WITH SCORE 2.5740881152E7
AT ITER 123 NEW BEST:: SOT 133657191 SOS 82321692 HAS SOPS 67006069 HAS SOUS 26287183 HAS SOUPS 25657282 WITH SCORE 2.5739603692E7
AT ITER 129 NEW BEST:: SOT 133656684 SOS 82324059 HAS SOPS 67005943 HAS SOUS 26283670 HAS SOUPS 25653769 WITH SCORE 2.5736093059E7
AT ITER 135 NEW BEST:: SOT 133657634 SOS 82328518 HAS SOPS 67007699 HAS SOUS 26276886 HAS SOUPS 25646985 WITH SCORE 2.5729313518E7
AT ITER 149 NEW BEST:: SOT 133657459 SOS 82328448 HAS SOPS 67008119 HAS SOUS 26276746 HAS SOUPS 25646810 WITH SCORE 2.5729138448E7
AT ITER 183 NEW BEST:: SOT 133632621 SOS 82269269 HAS SOPS 66968024 HAS SOUS 26258191 HAS SOUPS 25628255 WITH SCORE 2.5710524269E7
AT ITER 196 NEW BEST:: SOT 133631494 SOS 82270204 HAS SOPS 66966884 HAS SOUS 26250219 HAS SOUPS 25620365 WITH SCORE 2.5702635204E7
AT ITER 200 NEW BEST:: SOT 133788798 SOS 82524856 HAS SOPS 67195157 HAS SOUS 26245744 HAS SOUPS 25614120 WITH SCORE 2.5696644856E7
AT ITER 205 NEW BEST:: SOT 133786694 SOS 82518205 HAS SOPS 67188186 HAS SOUS 26243285 HAS SOUPS 25611661 WITH SCORE 2.5694179205E7
AT ITER 242 NEW BEST:: SOT 133795832 SOS 82548523 HAS SOPS 67211906 HAS SOUS 26238511 HAS SOUPS 25606887 WITH SCORE 2.5689435523E7
AT ITER 243 NEW BEST:: SOT 133857639 SOS 82707330 HAS SOPS 67383448 HAS SOUS 26225854 HAS SOUPS 25594230 WITH SCORE 2.567693733E7
AT ITER 252 NEW BEST:: SOT 133860104 SOS 82707374 HAS SOPS 67383610 HAS SOUS 26223949 HAS SOUPS 25592414 WITH SCORE 2.5675121374E7
AT ITER 262 NEW BEST:: SOT 133860096 SOS 82705768 HAS SOPS 67381850 HAS SOUS 26223837 HAS SOUPS 25592302 WITH SCORE 2.5675007768E7
AT ITER 275 NEW BEST:: SOT 133860431 SOS 82707801 HAS SOPS 67383418 HAS SOUS 26223220 HAS SOUPS 25591685 WITH SCORE 2.5674392801E7
AT ITER 286 NEW BEST:: SOT 133860436 SOS 82711716 HAS SOPS 67386562 HAS SOUS 26215858 HAS SOUPS 25584323 WITH SCORE 2.5667034716E7
AT ITER 290 NEW BEST:: SOT 133858414 SOS 82707090 HAS SOPS 67383223 HAS SOUS 26214310 HAS SOUPS 25582775 WITH SCORE 2.566548209E7
AT ITER 306 NEW BEST:: SOT 133862786 SOS 82722911 HAS SOPS 67399093 HAS SOUS 26202339 HAS SOUPS 25570802 WITH SCORE 2.5653524911E7
AT ITER 312 NEW BEST:: SOT 133855509 SOS 82717722 HAS SOPS 67389383 HAS SOUS 26194452 HAS SOUPS 25562859 WITH SCORE 2.5645576722E7
AT ITER 319 NEW BEST:: SOT 133868775 SOS 82734378 HAS SOPS 67412631 HAS SOUS 26182809 HAS SOUPS 25551660 WITH SCORE 2.5634394378E7
AT ITER 322 NEW BEST:: SOT 133865540 SOS 82728841 HAS SOPS 67404217 HAS SOUS 26178482 HAS SOUPS 25547383 WITH SCORE 2.5630111841E7
AT ITER 365 NEW BEST:: SOT 133879697 SOS 82778309 HAS SOPS 67439570 HAS SOUS 26164898 HAS SOUPS 25533799 WITH SCORE 2.5616577309E7
AT ITER 374 NEW BEST:: SOT 133872338 SOS 82770985 HAS SOPS 67432409 HAS SOUS 26139642 HAS SOUPS 25508464 WITH SCORE 2.5591234985E7
AT ITER 377 NEW BEST:: SOT 133869715 SOS 82772034 HAS SOPS 67442018 HAS SOUS 26135406 HAS SOUPS 25504343 WITH SCORE 2.5587115034E7
AT ITER 423 NEW BEST:: SOT 133867752 SOS 82768235 HAS SOPS 67439001 HAS SOUS 26133900 HAS SOUPS 25502837 WITH SCORE 2.5585605235E7
AT ITER 442 NEW BEST:: SOT 133867914 SOS 82768871 HAS SOPS 67439211 HAS SOUS 26133036 HAS SOUPS 25501973 WITH SCORE 2.5584741871E7
AT ITER 444 NEW BEST:: SOT 133853026 SOS 82743501 HAS SOPS 67415970 HAS SOUS 26113303 HAS SOUPS 25482326 WITH SCORE 2.5565069501E7
AT ITER 448 NEW BEST:: SOT 133863352 SOS 82765728 HAS SOPS 67435356 HAS SOUS 26096067 HAS SOUPS 25465090 WITH SCORE 2.5547855728E7
AT ITER 449 NEW BEST:: SOT 133864287 SOS 82770257 HAS SOPS 67438631 HAS SOUS 26095074 HAS SOUPS 25464097 WITH SCORE 2.5546867257E7
AT ITER 458 NEW BEST:: SOT 133852565 SOS 82758535 HAS SOPS 67426109 HAS SOUS 26079064 HAS SOUPS 25448087 WITH SCORE 2.5530845535E7
AT ITER 460 NEW BEST:: SOT 133852943 SOS 82759892 HAS SOPS 67425277 HAS SOUS 26075133 HAS SOUPS 25444156 WITH SCORE 2.5526915892E7
AT ITER 482 NEW BEST:: SOT 133865730 SOS 82796701 HAS SOPS 67461837 HAS SOUS 26071254 HAS SOUPS 25440277 WITH SCORE 2.5523073701E7
AT ITER 487 NEW BEST:: SOT 133857771 SOS 82788742 HAS SOPS 67453862 HAS SOUS 26062767 HAS SOUPS 25431790 WITH SCORE 2.5514578742E7
AT ITER 488 NEW BEST:: SOT 133851007 SOS 82766896 HAS SOPS 67433193 HAS SOUS 26056934 HAS SOUPS 25425957 WITH SCORE 2.5508723896E7
AT ITER 501 NEW BEST:: SOT 133849329 SOS 82764858 HAS SOPS 67429667 HAS SOUS 26052102 HAS SOUPS 25421125 WITH SCORE 2.5503889858E7
AT ITER 504 NEW BEST:: SOT 133847453 SOS 82762982 HAS SOPS 67427783 HAS SOUS 26050226 HAS SOUPS 25419241 WITH SCORE 2.5502003982E7
AT ITER 505 NEW BEST:: SOT 133882536 SOS 82860737 HAS SOPS 67508529 HAS SOUS 26040156 HAS SOUPS 25409171 WITH SCORE 2.5492031737E7
AT ITER 519 NEW BEST:: SOT 133860426 SOS 82818524 HAS SOPS 67478985 HAS SOUS 26020535 HAS SOUPS 25389668 WITH SCORE 2.5472486524E7
AT ITER 522 NEW BEST:: SOT 133860111 SOS 82818211 HAS SOPS 67478487 HAS SOUS 26019899 HAS SOUPS 25389032 WITH SCORE 2.5471850211E7
AT ITER 524 NEW BEST:: SOT 133855080 SOS 82811691 HAS SOPS 67472247 HAS SOUS 26017616 HAS SOUPS 25386801 WITH SCORE 2.5469612691E7
AT ITER 526 NEW BEST:: SOT 133851080 SOS 82789565 HAS SOPS 67464506 HAS SOUS 26010283 HAS SOUPS 25379468 WITH SCORE 2.5462257565E7
AT ITER 538 NEW BEST:: SOT 133847747 SOS 82785749 HAS SOPS 67461127 HAS SOUS 26003871 HAS SOUPS 25373214 WITH SCORE 2.5455999749E7
AT ITER 541 NEW BEST:: SOT 133844266 SOS 82781588 HAS SOPS 67458318 HAS SOUS 25997394 HAS SOUPS 25367020 WITH SCORE 2.5449801588E7
AT ITER 549 NEW BEST:: SOT 133852943 SOS 82816893 HAS SOPS 67486774 HAS SOUS 25989996 HAS SOUPS 25359622 WITH SCORE 2.5442438893E7
AT ITER 550 NEW BEST:: SOT 133847245 SOS 82809519 HAS SOPS 67477403 HAS SOUS 25979198 HAS SOUPS 25348824 WITH SCORE 2.5431633519E7
AT ITER 551 NEW BEST:: SOT 133846464 SOS 82808366 HAS SOPS 67475148 HAS SOUS 25977402 HAS SOUPS 25347019 WITH SCORE 2.5429827366E7
AT ITER 561 NEW BEST:: SOT 133845807 SOS 82808947 HAS SOPS 67475421 HAS SOUS 25974982 HAS SOUPS 25344583 WITH SCORE 2.5427391947E7
AT ITER 564 NEW BEST:: SOT 133858153 SOS 82834244 HAS SOPS 67497074 HAS SOUS 25954618 HAS SOUPS 25324219 WITH SCORE 2.5407053244E7
AT ITER 567 NEW BEST:: SOT 133856739 SOS 82829974 HAS SOPS 67492111 HAS SOUS 25952178 HAS SOUPS 25321779 WITH SCORE 2.5404608974E7
AT ITER 571 NEW BEST:: SOT 133858113 SOS 82868620 HAS SOPS 67532198 HAS SOUS 25936153 HAS SOUPS 25305754 WITH SCORE 2.538862262E7
AT ITER 572 NEW BEST:: SOT 133864502 SOS 82880991 HAS SOPS 67538317 HAS SOUS 25934958 HAS SOUPS 25304502 WITH SCORE 2.5387382991E7
AT ITER 593 NEW BEST:: SOT 133869887 SOS 82901353 HAS SOPS 67553729 HAS SOUS 25932721 HAS SOUPS 25302265 WITH SCORE 2.5385166353E7
AT ITER 597 NEW BEST:: SOT 133867583 SOS 82897176 HAS SOPS 67551862 HAS SOUS 25921882 HAS SOUPS 25291426 WITH SCORE 2.5374323176E7
AT ITER 613 NEW BEST:: SOT 133896539 SOS 82999909 HAS SOPS 67640482 HAS SOUS 25911112 HAS SOUPS 25280656 WITH SCORE 2.5363655909E7
AT ITER 619 NEW BEST:: SOT 133896218 SOS 82981044 HAS SOPS 67635657 HAS SOUS 25910842 HAS SOUPS 25280386 WITH SCORE 2.5363367044E7
AT ITER 624 NEW BEST:: SOT 133898332 SOS 82995306 HAS SOPS 67642081 HAS SOUS 25899949 HAS SOUPS 25269493 WITH SCORE 2.5352488306E7
AT ITER 627 NEW BEST:: SOT 133882355 SOS 82972361 HAS SOPS 67640239 HAS SOUS 25887696 HAS SOUPS 25257284 WITH SCORE 2.5340256361E7
AT ITER 640 NEW BEST:: SOT 133883065 SOS 82978613 HAS SOPS 67643258 HAS SOUS 25883292 HAS SOUPS 25252880 WITH SCORE 2.5335858613E7
AT ITER 649 NEW BEST:: SOT 133889954 SOS 82994619 HAS SOPS 67676554 HAS SOUS 25847970 HAS SOUPS 25217641 WITH SCORE 2.5300635619E7
AT ITER 661 NEW BEST:: SOT 133889924 SOS 82994750 HAS SOPS 67676522 HAS SOUS 25847453 HAS SOUPS 25217124 WITH SCORE 2.530011875E7
AT ITER 662 NEW BEST:: SOT 133886559 SOS 82983603 HAS SOPS 67673877 HAS SOUS 25843746 HAS SOUPS 25213417 WITH SCORE 2.5296400603E7
AT ITER 668 NEW BEST:: SOT 133880674 SOS 82977708 HAS SOPS 67667083 HAS SOUS 25835194 HAS SOUPS 25204865 WITH SCORE 2.5287842708E7
AT ITER 677 NEW BEST:: SOT 133892450 SOS 82999505 HAS SOPS 67679915 HAS SOUS 25834906 HAS SOUPS 25204577 WITH SCORE 2.5287576505E7
AT ITER 700 NEW BEST:: SOT 133893884 SOS 83004775 HAS SOPS 67686432 HAS SOUS 25826506 HAS SOUPS 25196177 WITH SCORE 2.5279181775E7
AT ITER 701 NEW BEST:: SOT 133893542 SOS 83004157 HAS SOPS 67686014 HAS SOUS 25826251 HAS SOUPS 25195922 WITH SCORE 2.5278926157E7
AT ITER 723 NEW BEST:: SOT 133891810 SOS 83001404 HAS SOPS 67682071 HAS SOUS 25814945 HAS SOUPS 25185000 WITH SCORE 2.5268001404E7
AT ITER 728 NEW BEST:: SOT 133888260 SOS 83008172 HAS SOPS 67694105 HAS SOUS 25795309 HAS SOUPS 25165402 WITH SCORE 2.5248410172E7
AT ITER 731 NEW BEST:: SOT 133891760 SOS 83010722 HAS SOPS 67698311 HAS SOUS 25782723 HAS SOUPS 25152816 WITH SCORE 2.5235826722E7
AT ITER 735 NEW BEST:: SOT 133884688 SOS 82997681 HAS SOPS 67687299 HAS SOUS 25781708 HAS SOUPS 25151803 WITH SCORE 2.5234800681E7
AT ITER 738 NEW BEST:: SOT 133884651 SOS 82991131 HAS SOPS 67688021 HAS SOUS 25766605 HAS SOUPS 25136700 WITH SCORE 2.5219691131E7
AT ITER 739 NEW BEST:: SOT 133884290 SOS 82990788 HAS SOPS 67687552 HAS SOUS 25765792 HAS SOUPS 25135887 WITH SCORE 2.5218877788E7
AT ITER 757 NEW BEST:: SOT 133879812 SOS 82984324 HAS SOPS 67685238 HAS SOUS 25759778 HAS SOUPS 25130308 WITH SCORE 2.5213292324E7
AT ITER 758 NEW BEST:: SOT 133879802 SOS 82985196 HAS SOPS 67685125 HAS SOUS 25756809 HAS SOUPS 25127339 WITH SCORE 2.5210324196E7
AT ITER 760 NEW BEST:: SOT 133859698 SOS 82942712 HAS SOPS 67659037 HAS SOUS 25750876 HAS SOUPS 25121406 WITH SCORE 2.5204348712E7
AT ITER 770 NEW BEST:: SOT 133857794 SOS 82938123 HAS SOPS 67654293 HAS SOUS 25750290 HAS SOUPS 25120820 WITH SCORE 2.5203758123E7
AT ITER 779 NEW BEST:: SOT 133868826 SOS 82945974 HAS SOPS 67670742 HAS SOUS 25749536 HAS SOUPS 25120267 WITH SCORE 2.5203212974E7
AT ITER 793 NEW BEST:: SOT 133868618 SOS 82959500 HAS SOPS 67681275 HAS SOUS 25724982 HAS SOUPS 25095713 WITH SCORE 2.51786725E7
AT ITER 806 NEW BEST:: SOT 133894493 SOS 83025778 HAS SOPS 67739193 HAS SOUS 25723999 HAS SOUPS 25094730 WITH SCORE 2.5177755778E7
AT ITER 808 NEW BEST:: SOT 133890470 SOS 83023699 HAS SOPS 67736142 HAS SOUS 25718100 HAS SOUPS 25088831 WITH SCORE 2.5171854699E7
AT ITER 818 NEW BEST:: SOT 133889338 SOS 83022076 HAS SOPS 67734575 HAS SOUS 25715723 HAS SOUPS 25086426 WITH SCORE 2.5169448076E7
AT ITER 821 NEW BEST:: SOT 133856431 SOS 82986703 HAS SOPS 67695569 HAS SOUS 25656890 HAS SOUPS 25027815 WITH SCORE 2.5110801703E7
AT ITER 835 NEW BEST:: SOT 133851633 SOS 82964338 HAS SOPS 67679437 HAS SOUS 25656190 HAS SOUPS 25027115 WITH SCORE 2.5110079338E7
AT ITER 840 NEW BEST:: SOT 133846347 SOS 82948005 HAS SOPS 67662599 HAS SOUS 25654946 HAS SOUPS 25025871 WITH SCORE 2.5108819005E7
AT ITER 850 NEW BEST:: SOT 133869598 SOS 82968858 HAS SOPS 67658006 HAS SOUS 25649379 HAS SOUPS 25020508 WITH SCORE 2.5103476858E7
AT ITER 852 NEW BEST:: SOT 133870238 SOS 82970125 HAS SOPS 67663433 HAS SOUS 25646530 HAS SOUPS 25017659 WITH SCORE 2.5100629125E7
AT ITER 854 NEW BEST:: SOT 133871064 SOS 82973575 HAS SOPS 67665454 HAS SOUS 25641625 HAS SOUPS 25012754 WITH SCORE 2.5095727575E7
AT ITER 867 NEW BEST:: SOT 133934410 SOS 83141704 HAS SOPS 67840423 HAS SOUS 25638970 HAS SOUPS 25010099 WITH SCORE 2.5093240704E7
AT ITER 883 NEW BEST:: SOT 133934553 SOS 83142366 HAS SOPS 67842977 HAS SOUS 25634596 HAS SOUPS 25005725 WITH SCORE 2.5088867366E7
AT ITER 885 NEW BEST:: SOT 133917161 SOS 83091560 HAS SOPS 67823116 HAS SOUS 25601432 HAS SOUPS 24973443 WITH SCORE 2.505653456E7
AT ITER 888 NEW BEST:: SOT 133939419 SOS 83116260 HAS SOPS 67826377 HAS SOUS 25595202 HAS SOUPS 24967245 WITH SCORE 2.505036126E7
AT ITER 891 NEW BEST:: SOT 133945707 SOS 83134514 HAS SOPS 67837928 HAS SOUS 25580481 HAS SOUPS 24952524 WITH SCORE 2.5035658514E7
AT ITER 897 NEW BEST:: SOT 133945827 SOS 83134995 HAS SOPS 67838377 HAS SOUS 25580240 HAS SOUPS 24952283 WITH SCORE 2.5035417995E7
AT ITER 901 NEW BEST:: SOT 133947645 SOS 83144244 HAS SOPS 67845899 HAS SOUS 25577757 HAS SOUPS 24949800 WITH SCORE 2.5032944244E7
AT ITER 904 NEW BEST:: SOT 133932235 SOS 83056957 HAS SOPS 67800461 HAS SOUS 25557261 HAS SOUPS 24929304 WITH SCORE 2.5012360957E7
AT ITER 910 NEW BEST:: SOT 133885553 SOS 82997808 HAS SOPS 67744630 HAS SOUS 25475567 HAS SOUPS 24847610 WITH SCORE 2.4930607808E7
AT ITER 923 NEW BEST:: SOT 133881931 SOS 82994433 HAS SOPS 67739731 HAS SOUS 25467878 HAS SOUPS 24839921 WITH SCORE 2.4922915433E7
AT ITER 925 NEW BEST:: SOT 133885462 SOS 83005511 HAS SOPS 67744118 HAS SOUS 25461123 HAS SOUPS 24833166 WITH SCORE 2.4916171511E7
AT ITER 928 NEW BEST:: SOT 133878310 SOS 82993876 HAS SOPS 67735297 HAS SOUS 25457386 HAS SOUPS 24829429 WITH SCORE 2.4912422876E7
AT ITER 929 NEW BEST:: SOT 133902596 SOS 83047809 HAS SOPS 67778122 HAS SOUS 25449546 HAS SOUPS 24821589 WITH SCORE 2.4904636809E7
AT ITER 947 NEW BEST:: SOT 133901998 SOS 83067847 HAS SOPS 67818867 HAS SOUS 25427817 HAS SOUPS 24799860 WITH SCORE 2.4882927847E7
AT ITER 949 NEW BEST:: SOT 133899215 SOS 83064290 HAS SOPS 67814943 HAS SOUS 25423355 HAS SOUPS 24795398 WITH SCORE 2.487846229E7
AT ITER 968 NEW BEST:: SOT 133771777 SOS 82933171 HAS SOPS 67685142 HAS SOUS 25228663 HAS SOUPS 24601094 WITH SCORE 2.4684027171E7
AT ITER 970 NEW BEST:: SOT 133723536 SOS 82886038 HAS SOPS 67643524 HAS SOUS 25224735 HAS SOUPS 24598936 WITH SCORE 2.4681822038E7
AT ITER 977 NEW BEST:: SOT 133725509 SOS 82897874 HAS SOPS 67653365 HAS SOUS 25222646 HAS SOUPS 24596847 WITH SCORE 2.4679744874E7
AT ITER 994 NEW BEST:: SOT 133711367 SOS 82877720 HAS SOPS 67667193 HAS SOUS 25210360 HAS SOUPS 24584939 WITH SCORE 2.466781672E7
AT ITER 995 NEW BEST:: SOT 133733785 SOS 82949320 HAS SOPS 67737750 HAS SOUS 25201941 HAS SOUPS 24576332 WITH SCORE 2.465928132E7
AT ITER 1012 NEW BEST:: SOT 133713933 SOS 82907228 HAS SOPS 67711094 HAS SOUS 25198694 HAS SOUPS 24573224 WITH SCORE 2.4656131228E7
AT ITER 1019 NEW BEST:: SOT 133708591 SOS 82891714 HAS SOPS 67699659 HAS SOUS 25195760 HAS SOUPS 24570290 WITH SCORE 2.4653181714E7
AT ITER 1035 NEW BEST:: SOT 133707960 SOS 82888678 HAS SOPS 67693236 HAS SOUS 25188844 HAS SOUPS 24563404 WITH SCORE 2.4646292678E7
AT ITER 1056 NEW BEST:: SOT 133703719 SOS 82894628 HAS SOPS 67693531 HAS SOUS 25169589 HAS SOUPS 24544139 WITH SCORE 2.4627033628E7
AT ITER 1072 NEW BEST:: SOT 133700269 SOS 82890846 HAS SOPS 67688636 HAS SOUS 25157991 HAS SOUPS 24532765 WITH SCORE 2.4615655846E7
AT ITER 1073 NEW BEST:: SOT 133646064 SOS 82821113 HAS SOPS 67630503 HAS SOUS 25089806 HAS SOUPS 24464580 WITH SCORE 2.4547401113E7
AT ITER 1107 NEW BEST:: SOT 133625617 SOS 82800666 HAS SOPS 67609980 HAS SOUS 25073051 HAS SOUPS 24447825 WITH SCORE 2.4530625666E7
AT ITER 1108 NEW BEST:: SOT 133625616 SOS 82801972 HAS SOPS 67608144 HAS SOUS 25055619 HAS SOUPS 24430393 WITH SCORE 2.4513194972E7
AT ITER 1118 NEW BEST:: SOT 133563002 SOS 82736463 HAS SOPS 67517933 HAS SOUS 24926829 HAS SOUPS 24302021 WITH SCORE 2.4384757463E7
AT ITER 1123 NEW BEST:: SOT 133564925 SOS 82737762 HAS SOPS 67528174 HAS SOUS 24924411 HAS SOUPS 24299444 WITH SCORE 2.4382181762E7
AT ITER 1136 NEW BEST:: SOT 133579476 SOS 82777613 HAS SOPS 67523190 HAS SOUS 24908071 HAS SOUPS 24282743 WITH SCORE 2.4365520613E7
AT ITER 1143 NEW BEST:: SOT 133512913 SOS 82689147 HAS SOPS 67436046 HAS SOUS 24802190 HAS SOUPS 24176757 WITH SCORE 2.4259446147E7
AT ITER 1160 NEW BEST:: SOT 133497329 SOS 82650361 HAS SOPS 67407125 HAS SOUS 24787273 HAS SOUPS 24161840 WITH SCORE 2.4244490361E7
AT ITER 1161 NEW BEST:: SOT 133497345 SOS 82650361 HAS SOPS 67407117 HAS SOUS 24787271 HAS SOUPS 24161838 WITH SCORE 2.4244488361E7
AT ITER 1162 NEW BEST:: SOT 133507458 SOS 82679030 HAS SOPS 67423041 HAS SOUS 24776335 HAS SOUPS 24150902 WITH SCORE 2.423358103E7
AT ITER 1174 NEW BEST:: SOT 133493848 SOS 82659532 HAS SOPS 67404542 HAS SOUS 24753166 HAS SOUPS 24128438 WITH SCORE 2.4211097532E7
AT ITER 1176 NEW BEST:: SOT 133488364 SOS 82650698 HAS SOPS 67396373 HAS SOUS 24746281 HAS SOUPS 24121553 WITH SCORE 2.4204203698E7
AT ITER 1177 NEW BEST:: SOT 133486780 SOS 82649114 HAS SOPS 67394789 HAS SOUS 24742777 HAS SOUPS 24118049 WITH SCORE 2.4200698114E7
AT ITER 1201 NEW BEST:: SOT 133461791 SOS 82605945 HAS SOPS 67364179 HAS SOUS 24714888 HAS SOUPS 24090160 WITH SCORE 2.4172765945E7
AT ITER 1210 NEW BEST:: SOT 133461746 SOS 82605870 HAS SOPS 67364133 HAS SOUS 24714775 HAS SOUPS 24090048 WITH SCORE 2.417265387E7
AT ITER 1211 NEW BEST:: SOT 133456131 SOS 82601808 HAS SOPS 67362575 HAS SOUS 24697671 HAS SOUPS 24072944 WITH SCORE 2.4155545808E7
AT ITER 1215 NEW BEST:: SOT 133455867 SOS 82601587 HAS SOPS 67361729 HAS SOUS 24696946 HAS SOUPS 24072201 WITH SCORE 2.4154802587E7
AT ITER 1219 NEW BEST:: SOT 133459261 SOS 82637547 HAS SOPS 67407871 HAS SOUS 24682491 HAS SOUPS 24057746 WITH SCORE 2.4140383547E7
AT ITER 1230 NEW BEST:: SOT 133459167 SOS 82637410 HAS SOPS 67407777 HAS SOUS 24681793 HAS SOUPS 24057048 WITH SCORE 2.413968541E7
AT ITER 1241 NEW BEST:: SOT 133447847 SOS 82610624 HAS SOPS 67390232 HAS SOUS 24677185 HAS SOUPS 24052534 WITH SCORE 2.4135144624E7
AT ITER 1249 NEW BEST:: SOT 133447803 SOS 82610648 HAS SOPS 67390156 HAS SOUS 24677077 HAS SOUPS 24052426 WITH SCORE 2.4135036648E7
AT ITER 1261 NEW BEST:: SOT 133449900 SOS 82616273 HAS SOPS 67395261 HAS SOUS 24674833 HAS SOUPS 24050182 WITH SCORE 2.4132798273E7
AT ITER 1274 NEW BEST:: SOT 133459760 SOS 82652313 HAS SOPS 67425668 HAS SOUS 24643635 HAS SOUPS 24018984 WITH SCORE 2.4101636313E7
AT ITER 1296 NEW BEST:: SOT 133432829 SOS 82602549 HAS SOPS 67400315 HAS SOUS 24611587 HAS SOUPS 23986936 WITH SCORE 2.4069538549E7
AT ITER 1302 NEW BEST:: SOT 133432157 SOS 82605629 HAS SOPS 67404072 HAS SOUS 24606545 HAS SOUPS 23981894 WITH SCORE 2.4064499629E7
AT ITER 1310 NEW BEST:: SOT 133427384 SOS 82603638 HAS SOPS 67400555 HAS SOUS 24601070 HAS SOUPS 23978312 WITH SCORE 2.4060915638E7
AT ITER 1317 NEW BEST:: SOT 133410216 SOS 82595673 HAS SOPS 67383464 HAS SOUS 24520964 HAS SOUPS 23898919 WITH SCORE 2.3981514673E7
AT ITER 1330 NEW BEST:: SOT 133414012 SOS 82607733 HAS SOPS 67393015 HAS SOUS 24510652 HAS SOUPS 23888607 WITH SCORE 2.3971214733E7
AT ITER 1334 NEW BEST:: SOT 133419683 SOS 82624155 HAS SOPS 67407282 HAS SOUS 24509818 HAS SOUPS 23887773 WITH SCORE 2.3970397155E7
AT ITER 1343 NEW BEST:: SOT 133429996 SOS 82669104 HAS SOPS 67454062 HAS SOUS 24503372 HAS SOUPS 23881327 WITH SCORE 2.3963996104E7
AT ITER 1360 NEW BEST:: SOT 133437620 SOS 82697777 HAS SOPS 67498088 HAS SOUS 24453084 HAS SOUPS 23831039 WITH SCORE 2.3913736777E7
AT ITER 1370 NEW BEST:: SOT 133446617 SOS 82713113 HAS SOPS 67526191 HAS SOUS 24436992 HAS SOUPS 23814947 WITH SCORE 2.3897660113E7
AT ITER 1402 NEW BEST:: SOT 133433768 SOS 82688236 HAS SOPS 67502730 HAS SOUS 24422069 HAS SOUPS 23800024 WITH SCORE 2.3882712236E7
AT ITER 1410 NEW BEST:: SOT 133432924 SOS 82685983 HAS SOPS 67499908 HAS SOUS 24420419 HAS SOUPS 23798374 WITH SCORE 2.3881059983E7
AT ITER 1413 NEW BEST:: SOT 133395719 SOS 82563504 HAS SOPS 67452566 HAS SOUS 24394718 HAS SOUPS 23773734 WITH SCORE 2.3856297504E7
AT ITER 1425 NEW BEST:: SOT 133429154 SOS 82609812 HAS SOPS 67490086 HAS SOUS 24373540 HAS SOUPS 23752556 WITH SCORE 2.3835165812E7
AT ITER 1428 NEW BEST:: SOT 133428552 SOS 82609167 HAS SOPS 67489241 HAS SOUS 24372179 HAS SOUPS 23751200 WITH SCORE 2.3833809167E7
AT ITER 1432 NEW BEST:: SOT 133426662 SOS 82607337 HAS SOPS 67487741 HAS SOUS 24368882 HAS SOUPS 23747869 WITH SCORE 2.3830476337E7
AT ITER 1454 NEW BEST:: SOT 133415777 SOS 82595249 HAS SOPS 67471838 HAS SOUS 24343166 HAS SOUPS 23722937 WITH SCORE 2.3805532249E7
AT ITER 1461 NEW BEST:: SOT 133405314 SOS 82584499 HAS SOPS 67462147 HAS SOUS 24324458 HAS SOUPS 23704270 WITH SCORE 2.3786854499E7
AT ITER 1478 NEW BEST:: SOT 133405891 SOS 82584977 HAS SOPS 67460065 HAS SOUS 24320997 HAS SOUPS 23700809 WITH SCORE 2.3783393977E7
AT ITER 1490 NEW BEST:: SOT 133456625 SOS 82719511 HAS SOPS 67612016 HAS SOUS 24291481 HAS SOUPS 23671293 WITH SCORE 2.3754012511E7
AT ITER 1493 NEW BEST:: SOT 133456477 SOS 82721266 HAS SOPS 67622340 HAS SOUS 24281564 HAS SOUPS 23661376 WITH SCORE 2.3744097266E7
AT ITER 1494 NEW BEST:: SOT 133477312 SOS 82777405 HAS SOPS 67676724 HAS SOUS 24269480 HAS SOUPS 23649209 WITH SCORE 2.3731986405E7
AT ITER 1495 NEW BEST:: SOT 133474616 SOS 82773039 HAS SOPS 67667061 HAS SOUS 24265533 HAS SOUPS 23645262 WITH SCORE 2.3728035039E7
AT ITER 1510 NEW BEST:: SOT 133474511 SOS 82772632 HAS SOPS 67667813 HAS SOUS 24265408 HAS SOUPS 23645151 WITH SCORE 2.3727923632E7
AT ITER 1512 NEW BEST:: SOT 133471414 SOS 82764498 HAS SOPS 67660963 HAS SOUS 24263969 HAS SOUPS 23643712 WITH SCORE 2.3726476498E7
AT ITER 1515 NEW BEST:: SOT 133470831 SOS 82765218 HAS SOPS 67652431 HAS SOUS 24250274 HAS SOUPS 23629869 WITH SCORE 2.3712634218E7
AT ITER 1520 NEW BEST:: SOT 133467522 SOS 82751823 HAS SOPS 67639129 HAS SOUS 24250076 HAS SOUPS 23629671 WITH SCORE 2.3712422823E7
AT ITER 1524 NEW BEST:: SOT 133450417 SOS 82726520 HAS SOPS 67617520 HAS SOUS 24224952 HAS SOUPS 23604549 WITH SCORE 2.368727552E7
AT ITER 1530 NEW BEST:: SOT 133442439 SOS 82727306 HAS SOPS 67618258 HAS SOUS 24201274 HAS SOUPS 23580871 WITH SCORE 2.3663598306E7
AT ITER 1549 NEW BEST:: SOT 133422758 SOS 82691703 HAS SOPS 67583312 HAS SOUS 24173953 HAS SOUPS 23553616 WITH SCORE 2.3636307703E7
AT ITER 1563 NEW BEST:: SOT 133451504 SOS 82754431 HAS SOPS 67644890 HAS SOUS 24160425 HAS SOUPS 23540088 WITH SCORE 2.3622842431E7
AT ITER 1566 NEW BEST:: SOT 133451504 SOS 82755311 HAS SOPS 67646122 HAS SOUS 24160414 HAS SOUPS 23540077 WITH SCORE 2.3622832311E7
AT ITER 1567 NEW BEST:: SOT 133463701 SOS 82765863 HAS SOPS 67692312 HAS SOUS 24135396 HAS SOUPS 23517114 WITH SCORE 2.3599879863E7
AT ITER 1572 NEW BEST:: SOT 133453257 SOS 82736403 HAS SOPS 67673155 HAS SOUS 24133609 HAS SOUPS 23515327 WITH SCORE 2.3598063403E7
AT ITER 1581 NEW BEST:: SOT 133518420 SOS 82799735 HAS SOPS 67736550 HAS SOUS 24125965 HAS SOUPS 23507746 WITH SCORE 2.3590545735E7
AT ITER 1599 NEW BEST:: SOT 133518418 SOS 82800695 HAS SOPS 67736603 HAS SOUS 24125178 HAS SOUPS 23506959 WITH SCORE 2.3589759695E7
AT ITER 1607 NEW BEST:: SOT 133519624 SOS 82801837 HAS SOPS 67737791 HAS SOUS 24122945 HAS SOUPS 23504561 WITH SCORE 2.3587362837E7
AT ITER 1612 NEW BEST:: SOT 133523790 SOS 82818626 HAS SOPS 67748099 HAS SOUS 24114995 HAS SOUPS 23496538 WITH SCORE 2.3579356626E7
AT ITER 1627 NEW BEST:: SOT 133495418 SOS 82782214 HAS SOPS 67711885 HAS SOUS 24054456 HAS SOUPS 23436830 WITH SCORE 2.3519612214E7
AT ITER 1629 NEW BEST:: SOT 133494633 SOS 82782093 HAS SOPS 67712773 HAS SOUS 24053318 HAS SOUPS 23435692 WITH SCORE 2.3518474093E7
AT ITER 1633 NEW BEST:: SOT 133490081 SOS 82775204 HAS SOPS 67707476 HAS SOUS 24049243 HAS SOUPS 23432066 WITH SCORE 2.3514841204E7
AT ITER 1636 NEW BEST:: SOT 133485073 SOS 82766887 HAS SOPS 67696279 HAS SOUS 24039331 HAS SOUPS 23422154 WITH SCORE 2.3504920887E7
AT ITER 1645 NEW BEST:: SOT 133427843 SOS 82694872 HAS SOPS 67614582 HAS SOUS 23949445 HAS SOUPS 23332214 WITH SCORE 2.3414908872E7
AT ITER 1648 NEW BEST:: SOT 133427723 SOS 82694764 HAS SOPS 67614654 HAS SOUS 23949325 HAS SOUPS 23332094 WITH SCORE 2.3414788764E7
AT ITER 1652 NEW BEST:: SOT 133408150 SOS 82651972 HAS SOPS 67595455 HAS SOUS 23944751 HAS SOUPS 23327520 WITH SCORE 2.3410171972E7
AT ITER 1666 NEW BEST:: SOT 133408825 SOS 82653919 HAS SOPS 67596512 HAS SOUS 23943656 HAS SOUPS 23326425 WITH SCORE 2.3409078919E7
AT ITER 1670 NEW BEST:: SOT 133393818 SOS 82634368 HAS SOPS 67575257 HAS SOUS 23921893 HAS SOUPS 23304862 WITH SCORE 2.3387496368E7
AT ITER 1676 NEW BEST:: SOT 133397015 SOS 82646871 HAS SOPS 67581814 HAS SOUS 23914318 HAS SOUPS 23297217 WITH SCORE 2.3379863871E7
AT ITER 1679 NEW BEST:: SOT 133396180 SOS 82645184 HAS SOPS 67579266 HAS SOUS 23911913 HAS SOUPS 23294812 WITH SCORE 2.3377457184E7
AT ITER 1681 NEW BEST:: SOT 133373226 SOS 82595977 HAS SOPS 67567030 HAS SOUS 23896001 HAS SOUPS 23280002 WITH SCORE 2.3362597977E7
AT ITER 1690 NEW BEST:: SOT 133343315 SOS 82546889 HAS SOPS 67518800 HAS SOUS 23852263 HAS SOUPS 23236264 WITH SCORE 2.3318810889E7
AT ITER 1691 NEW BEST:: SOT 133334669 SOS 82535247 HAS SOPS 67510823 HAS SOUS 23828277 HAS SOUPS 23214070 WITH SCORE 2.3296605247E7
AT ITER 1697 NEW BEST:: SOT 133425532 SOS 82683746 HAS SOPS 67661302 HAS SOUS 23809227 HAS SOUPS 23196196 WITH SCORE 2.3278879746E7
AT ITER 1705 NEW BEST:: SOT 133391963 SOS 82622073 HAS SOPS 67607321 HAS SOUS 23760052 HAS SOUPS 23147021 WITH SCORE 2.3229643073E7
AT ITER 1713 NEW BEST:: SOT 133357109 SOS 82566187 HAS SOPS 67595199 HAS SOUS 23743716 HAS SOUPS 23131145 WITH SCORE 2.3213711187E7
AT ITER 1721 NEW BEST:: SOT 133357101 SOS 82566107 HAS SOPS 67595187 HAS SOUS 23743586 HAS SOUPS 23131015 WITH SCORE 2.3213581107E7
AT ITER 1740 NEW BEST:: SOT 133332961 SOS 82541940 HAS SOPS 67574732 HAS SOUS 23675885 HAS SOUPS 23063314 WITH SCORE 2.314585594E7
AT ITER 1743 NEW BEST:: SOT 133377257 SOS 82649305 HAS SOPS 67683517 HAS SOUS 23654253 HAS SOUPS 23041559 WITH SCORE 2.3124208305E7
AT ITER 1778 NEW BEST:: SOT 133375107 SOS 82647235 HAS SOPS 67681567 HAS SOUS 23653343 HAS SOUPS 23040639 WITH SCORE 2.3123286235E7
AT ITER 1792 NEW BEST:: SOT 133373238 SOS 82644802 HAS SOPS 67679609 HAS SOUS 23652930 HAS SOUPS 23040226 WITH SCORE 2.3122870802E7
AT ITER 1793 NEW BEST:: SOT 133376442 SOS 82652702 HAS SOPS 67684533 HAS SOUS 23652098 HAS SOUPS 23039394 WITH SCORE 2.3122046702E7
AT ITER 1801 NEW BEST:: SOT 133377693 SOS 82656779 HAS SOPS 67687091 HAS SOUS 23650112 HAS SOUPS 23037408 WITH SCORE 2.3120064779E7
AT ITER 1814 NEW BEST:: SOT 133379314 SOS 82659833 HAS SOPS 67686388 HAS SOUS 23641042 HAS SOUPS 23028338 WITH SCORE 2.3110997833E7
AT ITER 1817 NEW BEST:: SOT 133378153 SOS 82660558 HAS SOPS 67689829 HAS SOUS 23639254 HAS SOUPS 23026550 WITH SCORE 2.3109210558E7
AT ITER 1822 NEW BEST:: SOT 133378410 SOS 82652814 HAS SOPS 67681113 HAS SOUS 23638368 HAS SOUPS 23025664 WITH SCORE 2.3108316814E7
AT ITER 1826 NEW BEST:: SOT 133375024 SOS 82654398 HAS SOPS 67680163 HAS SOUS 23625512 HAS SOUPS 23012808 WITH SCORE 2.3095462398E7
AT ITER 1828 NEW BEST:: SOT 133376366 SOS 82659766 HAS SOPS 67684255 HAS SOUS 23621797 HAS SOUPS 23009093 WITH SCORE 2.3091752766E7
AT ITER 1838 NEW BEST:: SOT 133377324 SOS 82675853 HAS SOPS 67698454 HAS SOUS 23615454 HAS SOUPS 23002750 WITH SCORE 2.3085425853E7
AT ITER 1879 NEW BEST:: SOT 133376943 SOS 82675315 HAS SOPS 67698950 HAS SOUS 23615361 HAS SOUPS 23002657 WITH SCORE 2.3085332315E7
AT ITER 1893 NEW BEST:: SOT 133381414 SOS 82693879 HAS SOPS 67705777 HAS SOUS 23606917 HAS SOUPS 22994048 WITH SCORE 2.3076741879E7
AT ITER 1895 NEW BEST:: SOT 133372857 SOS 82681234 HAS SOPS 67689483 HAS SOUS 23598590 HAS SOUPS 22985721 WITH SCORE 2.3068402234E7
AT ITER 1899 NEW BEST:: SOT 133372856 SOS 82683106 HAS SOPS 67690808 HAS SOUS 23593020 HAS SOUPS 22980151 WITH SCORE 2.3062834106E7
AT ITER 1927 NEW BEST:: SOT 133381357 SOS 82702033 HAS SOPS 67701221 HAS SOUS 23592417 HAS SOUPS 22979548 WITH SCORE 2.3062250033E7
AT ITER 1952 NEW BEST:: SOT 133372655 SOS 82684453 HAS SOPS 67691970 HAS SOUS 23583972 HAS SOUPS 22971103 WITH SCORE 2.3053787453E7
AT ITER 1953 NEW BEST:: SOT 133371495 SOS 82683721 HAS SOPS 67689969 HAS SOUS 23580377 HAS SOUPS 22967499 WITH SCORE 2.3050182721E7
AT ITER 1956 NEW BEST:: SOT 133340081 SOS 82639556 HAS SOPS 67641180 HAS SOUS 23503217 HAS SOUPS 22892199 WITH SCORE 2.2974838556E7
AT ITER 1962 NEW BEST:: SOT 133319478 SOS 82593423 HAS SOPS 67621141 HAS SOUS 23479164 HAS SOUPS 22869503 WITH SCORE 2.2952096423E7
AT ITER 1964 NEW BEST:: SOT 133304772 SOS 82556143 HAS SOPS 67602640 HAS SOUS 23468232 HAS SOUPS 22858571 WITH SCORE 2.2941127143E7
AT ITER 1968 NEW BEST:: SOT 133296200 SOS 82544720 HAS SOPS 67587357 HAS SOUS 23440242 HAS SOUPS 22830581 WITH SCORE 2.291312572E7
AT ITER 1969 NEW BEST:: SOT 133298256 SOS 82550680 HAS SOPS 67592090 HAS SOUS 23430361 HAS SOUPS 22820700 WITH SCORE 2.290325068E7
AT ITER 1984 NEW BEST:: SOT 133265282 SOS 82517706 HAS SOPS 67559116 HAS SOUS 23388939 HAS SOUPS 22779278 WITH SCORE 2.2861795706E7
AT ITER 1987 NEW BEST:: SOT 133257252 SOS 82501436 HAS SOPS 67553010 HAS SOUS 23385184 HAS SOUPS 22775523 WITH SCORE 2.2858024436E7
AT ITER 1992 NEW BEST:: SOT 133258534 SOS 82509888 HAS SOPS 67559848 HAS SOUS 23384527 HAS SOUPS 22774866 WITH SCORE 2.2857375888E7
AT ITER 1993 NEW BEST:: SOT 133257190 SOS 82509743 HAS SOPS 67561284 HAS SOUS 23378951 HAS SOUPS 22769290 WITH SCORE 2.2851799743E7
AT ITER 1994 NEW BEST:: SOT 133247502 SOS 82484060 HAS SOPS 67540753 HAS SOUS 23373373 HAS SOUPS 22763712 WITH SCORE 2.284619606E7
AT ITER 1996 NEW BEST:: SOT 133249360 SOS 82492679 HAS SOPS 67550377 HAS SOUS 23371753 HAS SOUPS 22762092 WITH SCORE 2.2844584679E7
AT ITER 2016 NEW BEST:: SOT 133239031 SOS 82472880 HAS SOPS 67534627 HAS SOUS 23365072 HAS SOUPS 22755411 WITH SCORE 2.283788388E7
AT ITER 2027 NEW BEST:: SOT 133236982 SOS 82469261 HAS SOPS 67528966 HAS SOUS 23358650 HAS SOUPS 22748989 WITH SCORE 2.2831458261E7
AT ITER 2029 NEW BEST:: SOT 133221740 SOS 82454552 HAS SOPS 67518192 HAS SOUS 23276606 HAS SOUPS 22667426 WITH SCORE 2.2749880552E7
AT ITER 2039 NEW BEST:: SOT 133220960 SOS 82453898 HAS SOPS 67518544 HAS SOUS 23274757 HAS SOUPS 22665577 WITH SCORE 2.2748030898E7
AT ITER 2046 NEW BEST:: SOT 133218315 SOS 82450519 HAS SOPS 67515053 HAS SOUS 23271841 HAS SOUPS 22662661 WITH SCORE 2.2745111519E7
AT ITER 2047 NEW BEST:: SOT 133216089 SOS 82466428 HAS SOPS 67513948 HAS SOUS 23251812 HAS SOUPS 22642251 WITH SCORE 2.2724717428E7
AT ITER 2067 NEW BEST:: SOT 133214936 SOS 82475692 HAS SOPS 67534387 HAS SOUS 23250679 HAS SOUPS 22641118 WITH SCORE 2.2723593692E7
AT ITER 2071 NEW BEST:: SOT 133210793 SOS 82471514 HAS SOPS 67528801 HAS SOUS 23240224 HAS SOUPS 22630663 WITH SCORE 2.2713134514E7
AT ITER 2086 NEW BEST:: SOT 133211069 SOS 82495979 HAS SOPS 67575708 HAS SOUS 23231618 HAS SOUPS 22622075 WITH SCORE 2.2704570979E7
AT ITER 2089 NEW BEST:: SOT 133209149 SOS 82491498 HAS SOPS 67572625 HAS SOUS 23228207 HAS SOUPS 22618664 WITH SCORE 2.2701155498E7
AT ITER 2091 NEW BEST:: SOT 133199314 SOS 82477679 HAS SOPS 67554623 HAS SOUS 23208057 HAS SOUPS 22598582 WITH SCORE 2.2681059679E7
AT ITER 2121 NEW BEST:: SOT 133160130 SOS 82388640 HAS SOPS 67479763 HAS SOUS 23173979 HAS SOUPS 22564504 WITH SCORE 2.264689264E7
AT ITER 2128 NEW BEST:: SOT 133160404 SOS 82388291 HAS SOPS 67478280 HAS SOUS 23173173 HAS SOUPS 22563698 WITH SCORE 2.2646086291E7
AT ITER 2147 NEW BEST:: SOT 133161846 SOS 82401210 HAS SOPS 67487313 HAS SOUS 23171202 HAS SOUPS 22561727 WITH SCORE 2.264412821E7
AT ITER 2171 NEW BEST:: SOT 133201698 SOS 82506121 HAS SOPS 67620533 HAS SOUS 23157492 HAS SOUPS 22543689 WITH SCORE 2.2626195121E7
AT ITER 2190 NEW BEST:: SOT 133198026 SOS 82502713 HAS SOPS 67613992 HAS SOUS 23153875 HAS SOUPS 22539234 WITH SCORE 2.2621736713E7
AT ITER 2191 NEW BEST:: SOT 133199403 SOS 82505077 HAS SOPS 67615131 HAS SOUS 23152883 HAS SOUPS 22538435 WITH SCORE 2.2620940077E7
AT ITER 2192 NEW BEST:: SOT 133196203 SOS 82501877 HAS SOPS 67612519 HAS SOUS 23143983 HAS SOUPS 22529575 WITH SCORE 2.2612076877E7
AT ITER 2204 NEW BEST:: SOT 133196253 SOS 82515310 HAS SOPS 67628510 HAS SOUS 23132231 HAS SOUPS 22517881 WITH SCORE 2.260039631E7
AT ITER 2208 NEW BEST:: SOT 133194759 SOS 82513546 HAS SOPS 67638646 HAS SOUS 23125714 HAS SOUPS 22511558 WITH SCORE 2.2594071546E7
AT ITER 2212 NEW BEST:: SOT 133193435 SOS 82512435 HAS SOPS 67638868 HAS SOUS 23122373 HAS SOUPS 22508217 WITH SCORE 2.2590729435E7
AT ITER 2220 NEW BEST:: SOT 133171795 SOS 82448595 HAS SOPS 67582148 HAS SOUS 23116436 HAS SOUPS 22502280 WITH SCORE 2.2584728595E7
AT ITER 2242 NEW BEST:: SOT 133168641 SOS 82445441 HAS SOPS 67580466 HAS SOUS 23115594 HAS SOUPS 22501438 WITH SCORE 2.2583883441E7
AT ITER 2258 NEW BEST:: SOT 133139481 SOS 82413429 HAS SOPS 67549109 HAS SOUS 23081976 HAS SOUPS 22467958 WITH SCORE 2.2550371429E7
AT ITER 2270 NEW BEST:: SOT 133275714 SOS 82633276 HAS SOPS 67781815 HAS SOUS 23051721 HAS SOUPS 22439591 WITH SCORE 2.2522224276E7
AT ITER 2275 NEW BEST:: SOT 133275754 SOS 82633446 HAS SOPS 67781934 HAS SOUS 23051613 HAS SOUPS 22439483 WITH SCORE 2.2522116446E7
AT ITER 2280 NEW BEST:: SOT 133275438 SOS 82629509 HAS SOPS 67775294 HAS SOUS 23051414 HAS SOUPS 22439284 WITH SCORE 2.2521913509E7
AT ITER 2285 NEW BEST:: SOT 133275468 SOS 82629667 HAS SOPS 67775466 HAS SOUS 23051352 HAS SOUPS 22439222 WITH SCORE 2.2521851667E7
AT ITER 2292 NEW BEST:: SOT 133215247 SOS 82520310 HAS SOPS 67695125 HAS SOUS 22988485 HAS SOUPS 22378937 WITH SCORE 2.246145731E7
AT ITER 2306 NEW BEST:: SOT 133215207 SOS 82519970 HAS SOPS 67694937 HAS SOUS 22988361 HAS SOUPS 22378813 WITH SCORE 2.246133297E7
AT ITER 2330 NEW BEST:: SOT 133225114 SOS 82543784 HAS SOPS 67737191 HAS SOUS 22986971 HAS SOUPS 22377423 WITH SCORE 2.2459966784E7
AT ITER 2334 NEW BEST:: SOT 133190341 SOS 82509696 HAS SOPS 67705793 HAS SOUS 22959256 HAS SOUPS 22349913 WITH SCORE 2.2432422696E7
AT ITER 2336 NEW BEST:: SOT 133168252 SOS 82483233 HAS SOPS 67678934 HAS SOUS 22903450 HAS SOUPS 22294107 WITH SCORE 2.2376590233E7
AT ITER 2337 NEW BEST:: SOT 133163336 SOS 82468339 HAS SOPS 67673062 HAS SOUS 22896045 HAS SOUPS 22286702 WITH SCORE 2.2369170339E7
AT ITER 2343 NEW BEST:: SOT 133160126 SOS 82464938 HAS SOPS 67665306 HAS SOUS 22882600 HAS SOUPS 22273257 WITH SCORE 2.2355721938E7
AT ITER 2346 NEW BEST:: SOT 133154234 SOS 82439839 HAS SOPS 67636025 HAS SOUS 22867982 HAS SOUPS 22258639 WITH SCORE 2.2341078839E7
AT ITER 2349 NEW BEST:: SOT 133146611 SOS 82411060 HAS SOPS 67609036 HAS SOUS 22860706 HAS SOUPS 22251363 WITH SCORE 2.233377406E7
AT ITER 2357 NEW BEST:: SOT 133151889 SOS 82414798 HAS SOPS 67608309 HAS SOUS 22855170 HAS SOUPS 22246076 WITH SCORE 2.2328490798E7
AT ITER 2358 NEW BEST:: SOT 133129370 SOS 82391997 HAS SOPS 67587054 HAS SOUS 22837227 HAS SOUPS 22228022 WITH SCORE 2.2310413997E7
AT ITER 2368 NEW BEST:: SOT 133122532 SOS 82384718 HAS SOPS 67577053 HAS SOUS 22818633 HAS SOUPS 22212032 WITH SCORE 2.2294416718E7
AT ITER 2371 NEW BEST:: SOT 133100109 SOS 82351654 HAS SOPS 67539066 HAS SOUS 22781849 HAS SOUPS 22175248 WITH SCORE 2.2257599654E7
AT ITER 2382 NEW BEST:: SOT 133102219 SOS 82362982 HAS SOPS 67546915 HAS SOUS 22775655 HAS SOUPS 22169054 WITH SCORE 2.2251416982E7
AT ITER 2400 NEW BEST:: SOT 133035288 SOS 82298233 HAS SOPS 67477168 HAS SOUS 22719411 HAS SOUPS 22109898 WITH SCORE 2.2192196233E7
AT ITER 2420 NEW BEST:: SOT 133038943 SOS 82305117 HAS SOPS 67483795 HAS SOUS 22717721 HAS SOUPS 22108208 WITH SCORE 2.2190513117E7
AT ITER 2422 NEW BEST:: SOT 133034405 SOS 82314348 HAS SOPS 67472862 HAS SOUS 22683440 HAS SOUPS 22073643 WITH SCORE 2.2155957348E7
AT ITER 2428 NEW BEST:: SOT 133034413 SOS 82314428 HAS SOPS 67473023 HAS SOUS 22682992 HAS SOUPS 22073195 WITH SCORE 2.2155509428E7
AT ITER 2431 NEW BEST:: SOT 133040100 SOS 82327354 HAS SOPS 67486084 HAS SOUS 22676054 HAS SOUPS 22066467 WITH SCORE 2.2148794354E7
AT ITER 2449 NEW BEST:: SOT 133047426 SOS 82314588 HAS SOPS 67486964 HAS SOUS 22650043 HAS SOUPS 22040456 WITH SCORE 2.2122770588E7
AT ITER 2455 NEW BEST:: SOT 133044558 SOS 82315475 HAS SOPS 67488252 HAS SOUS 22638809 HAS SOUPS 22029222 WITH SCORE 2.2111537475E7
AT ITER 2461 NEW BEST:: SOT 133028747 SOS 82294306 HAS SOPS 67471359 HAS SOUS 22622511 HAS SOUPS 22013738 WITH SCORE 2.2096032306E7
AT ITER 2463 NEW BEST:: SOT 133027714 SOS 82293259 HAS SOPS 67470431 HAS SOUS 22622164 HAS SOUPS 22013391 WITH SCORE 2.2095684259E7
AT ITER 2468 NEW BEST:: SOT 133021111 SOS 82280563 HAS SOPS 67460061 HAS SOUS 22610683 HAS SOUPS 22001910 WITH SCORE 2.2084190563E7
AT ITER 2496 NEW BEST:: SOT 133079177 SOS 82423249 HAS SOPS 67613287 HAS SOUS 22610208 HAS SOUPS 22001435 WITH SCORE 2.2083858249E7
AT ITER 2503 NEW BEST:: SOT 133079947 SOS 82424514 HAS SOPS 67616059 HAS SOUS 22609878 HAS SOUPS 22001105 WITH SCORE 2.2083529514E7
AT ITER 2505 NEW BEST:: SOT 133068618 SOS 82388441 HAS SOPS 67564203 HAS SOUS 22602914 HAS SOUPS 21994509 WITH SCORE 2.2076897441E7
AT ITER 2517 NEW BEST:: SOT 133060851 SOS 82379990 HAS SOPS 67558348 HAS SOUS 22594337 HAS SOUPS 21985932 WITH SCORE 2.206831199E7
AT ITER 2533 NEW BEST:: SOT 133059721 SOS 82378560 HAS SOPS 67556747 HAS SOUS 22591938 HAS SOUPS 21983542 WITH SCORE 2.206592056E7
AT ITER 2539 NEW BEST:: SOT 133059948 SOS 82381472 HAS SOPS 67558178 HAS SOUS 22588940 HAS SOUPS 21980544 WITH SCORE 2.2062925472E7
AT ITER 2542 NEW BEST:: SOT 133046421 SOS 82372689 HAS SOPS 67603260 HAS SOUS 22555365 HAS SOUPS 21946969 WITH SCORE 2.2029341689E7
AT ITER 2558 NEW BEST:: SOT 133046916 SOS 82374464 HAS SOPS 67608288 HAS SOUS 22549246 HAS SOUPS 21940963 WITH SCORE 2.2023337464E7
AT ITER 2569 NEW BEST:: SOT 133033183 SOS 82348882 HAS SOPS 67603347 HAS SOUS 22531478 HAS SOUPS 21923419 WITH SCORE 2.2005767882E7
AT ITER 2577 NEW BEST:: SOT 133020836 SOS 82336565 HAS SOPS 67594239 HAS SOUS 22506393 HAS SOUPS 21899143 WITH SCORE 2.1981479565E7
AT ITER 2593 NEW BEST:: SOT 133017476 SOS 82329000 HAS SOPS 67586747 HAS SOUS 22501492 HAS SOUPS 21894242 WITH SCORE 2.1976571E7
AT ITER 2596 NEW BEST:: SOT 133029497 SOS 82370290 HAS SOPS 67628470 HAS SOUS 22500768 HAS SOUPS 21893518 WITH SCORE 2.197588829E7
AT ITER 2602 NEW BEST:: SOT 133020273 SOS 82350061 HAS SOPS 67609308 HAS SOUS 22492231 HAS SOUPS 21884981 WITH SCORE 2.1967331061E7
AT ITER 2606 NEW BEST:: SOT 133026147 SOS 82374961 HAS SOPS 67633529 HAS SOUS 22425368 HAS SOUPS 21818193 WITH SCORE 2.1900567961E7
AT ITER 2608 NEW BEST:: SOT 133070426 SOS 82454415 HAS SOPS 67681554 HAS SOUS 22424529 HAS SOUPS 21817354 WITH SCORE 2.1899808415E7
AT ITER 2621 NEW BEST:: SOT 133072303 SOS 82461747 HAS SOPS 67688104 HAS SOUS 22424162 HAS SOUPS 21816987 WITH SCORE 2.1899448747E7
AT ITER 2624 NEW BEST:: SOT 133076015 SOS 82467886 HAS SOPS 67698006 HAS SOUS 22417087 HAS SOUPS 21810040 WITH SCORE 2.1892507886E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15416728 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16073880 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-2"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is RERS17pb114-PT-2, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194200088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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