Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502400128.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb114-PT-7, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.4K Apr 12 07:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 11 08:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M Mar 24 05:37 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 1589730123966

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 7
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 7 NEW BEST:: SOT 133651450 SOS 82205253 HAS SOPS 66752395 HAS SOUS 26438248 HAS SOUPS 25807557 WITH SCORE 2.5889762253E7
AT ITER 20 NEW BEST:: SOT 133657290 SOS 82224995 HAS SOPS 66769019 HAS SOUS 26423829 HAS SOUPS 25793138 WITH SCORE 2.5875362995E7
AT ITER 34 NEW BEST:: SOT 133655572 SOS 82226310 HAS SOPS 66774898 HAS SOUS 26405749 HAS SOUPS 25775058 WITH SCORE 2.585728431E7
AT ITER 42 NEW BEST:: SOT 133656010 SOS 82229449 HAS SOPS 66776206 HAS SOUS 26401590 HAS SOUPS 25770899 WITH SCORE 2.5853128449E7
AT ITER 57 NEW BEST:: SOT 133666919 SOS 82251084 HAS SOPS 66800523 HAS SOUS 26398522 HAS SOUPS 25767831 WITH SCORE 2.5850082084E7
AT ITER 59 NEW BEST:: SOT 133679946 SOS 82290185 HAS SOPS 66824972 HAS SOUS 26291743 HAS SOUPS 25660680 WITH SCORE 2.5742970185E7
AT ITER 60 NEW BEST:: SOT 133697675 SOS 82353018 HAS SOPS 66911575 HAS SOUS 26285107 HAS SOUPS 25654044 WITH SCORE 2.5736397018E7
AT ITER 62 NEW BEST:: SOT 133735109 SOS 82463494 HAS SOPS 67009185 HAS SOUS 26276962 HAS SOUPS 25645899 WITH SCORE 2.5728362494E7
AT ITER 66 NEW BEST:: SOT 133735807 SOS 82466640 HAS SOPS 67011557 HAS SOUS 26274427 HAS SOUPS 25643364 WITH SCORE 2.572583064E7
AT ITER 68 NEW BEST:: SOT 133734329 SOS 82461109 HAS SOPS 67008054 HAS SOUS 26271531 HAS SOUPS 25640522 WITH SCORE 2.5722983109E7
AT ITER 74 NEW BEST:: SOT 133735389 SOS 82470136 HAS SOPS 67011920 HAS SOUS 26266991 HAS SOUPS 25635982 WITH SCORE 2.5718452136E7
AT ITER 78 NEW BEST:: SOT 133733340 SOS 82466664 HAS SOPS 67006705 HAS SOUS 26263028 HAS SOUPS 25632019 WITH SCORE 2.5714485664E7
AT ITER 92 NEW BEST:: SOT 133725230 SOS 82456777 HAS SOPS 66986698 HAS SOUS 26243504 HAS SOUPS 25612115 WITH SCORE 2.5694571777E7
AT ITER 96 NEW BEST:: SOT 133732428 SOS 82493041 HAS SOPS 67016378 HAS SOUS 26238952 HAS SOUPS 25607563 WITH SCORE 2.5690056041E7
AT ITER 105 NEW BEST:: SOT 133721127 SOS 82471066 HAS SOPS 67008575 HAS SOUS 26231934 HAS SOUPS 25600693 WITH SCORE 2.5683164066E7
AT ITER 121 NEW BEST:: SOT 133676346 SOS 82395470 HAS SOPS 66956367 HAS SOUS 26190112 HAS SOUPS 25559245 WITH SCORE 2.564164047E7
AT ITER 140 NEW BEST:: SOT 133674235 SOS 82392574 HAS SOPS 66959389 HAS SOUS 26186698 HAS SOUPS 25555831 WITH SCORE 2.5638223574E7
AT ITER 156 NEW BEST:: SOT 133675464 SOS 82407146 HAS SOPS 66967644 HAS SOUS 26175371 HAS SOUPS 25544504 WITH SCORE 2.5626911146E7
AT ITER 158 NEW BEST:: SOT 133674646 SOS 82413436 HAS SOPS 66985763 HAS SOUS 26171618 HAS SOUPS 25540751 WITH SCORE 2.5623164436E7
AT ITER 159 NEW BEST:: SOT 133648055 SOS 82366849 HAS SOPS 66954375 HAS SOUS 26151888 HAS SOUPS 25521325 WITH SCORE 2.5603691849E7
AT ITER 167 NEW BEST:: SOT 133645475 SOS 82361353 HAS SOPS 66949665 HAS SOUS 26149615 HAS SOUPS 25519052 WITH SCORE 2.5601413353E7
AT ITER 178 NEW BEST:: SOT 133641401 SOS 82358857 HAS SOPS 66944761 HAS SOUS 26138333 HAS SOUPS 25507770 WITH SCORE 2.5590128857E7
AT ITER 181 NEW BEST:: SOT 133622777 SOS 82336962 HAS SOPS 66919892 HAS SOUS 26130196 HAS SOUPS 25497819 WITH SCORE 2.5580155962E7
AT ITER 184 NEW BEST:: SOT 133489199 SOS 82166608 HAS SOPS 66751909 HAS SOUS 25990594 HAS SOUPS 25358478 WITH SCORE 2.5440644608E7
AT ITER 189 NEW BEST:: SOT 133483698 SOS 82154295 HAS SOPS 66741774 HAS SOUS 25983205 HAS SOUPS 25351211 WITH SCORE 2.5433365295E7
AT ITER 210 NEW BEST:: SOT 133470219 SOS 82149984 HAS SOPS 66736663 HAS SOUS 25936357 HAS SOUPS 25304363 WITH SCORE 2.5386512984E7
AT ITER 215 NEW BEST:: SOT 133472246 SOS 82159372 HAS SOPS 66746414 HAS SOUS 25932764 HAS SOUPS 25300770 WITH SCORE 2.5382929372E7
AT ITER 223 NEW BEST:: SOT 133482878 SOS 82166841 HAS SOPS 66763715 HAS SOUS 25920513 HAS SOUPS 25289359 WITH SCORE 2.5371525841E7
AT ITER 229 NEW BEST:: SOT 133481125 SOS 82176176 HAS SOPS 66773850 HAS SOUS 25913838 HAS SOUPS 25282684 WITH SCORE 2.5364860176E7
AT ITER 233 NEW BEST:: SOT 133479914 SOS 82169550 HAS SOPS 66772498 HAS SOUS 25909320 HAS SOUPS 25278166 WITH SCORE 2.536033555E7
AT ITER 234 NEW BEST:: SOT 133515991 SOS 82268247 HAS SOPS 66846524 HAS SOUS 25889183 HAS SOUPS 25258029 WITH SCORE 2.5340297247E7
AT ITER 247 NEW BEST:: SOT 133507808 SOS 82254064 HAS SOPS 66833591 HAS SOUS 25877532 HAS SOUPS 25246378 WITH SCORE 2.5328632064E7
AT ITER 258 NEW BEST:: SOT 133544099 SOS 82358395 HAS SOPS 66900190 HAS SOUS 25840007 HAS SOUPS 25195424 WITH SCORE 2.5277782395E7
AT ITER 267 NEW BEST:: SOT 133544197 SOS 82364596 HAS SOPS 66902342 HAS SOUS 25836627 HAS SOUPS 25192044 WITH SCORE 2.5274408596E7
AT ITER 274 NEW BEST:: SOT 133544310 SOS 82361232 HAS SOPS 66898389 HAS SOUS 25834996 HAS SOUPS 25190413 WITH SCORE 2.5272774232E7
AT ITER 307 NEW BEST:: SOT 133500767 SOS 82295411 HAS SOPS 66844361 HAS SOUS 25793919 HAS SOUPS 25151029 WITH SCORE 2.5233324411E7
AT ITER 321 NEW BEST:: SOT 133492759 SOS 82288218 HAS SOPS 66833971 HAS SOUS 25781413 HAS SOUPS 25136936 WITH SCORE 2.5219224218E7
AT ITER 339 NEW BEST:: SOT 133492677 SOS 82288034 HAS SOPS 66833759 HAS SOUS 25781339 HAS SOUPS 25136862 WITH SCORE 2.5219150034E7
AT ITER 345 NEW BEST:: SOT 133500114 SOS 82312350 HAS SOPS 66847760 HAS SOUS 25775334 HAS SOUPS 25130857 WITH SCORE 2.521316935E7
AT ITER 358 NEW BEST:: SOT 133526595 SOS 82363788 HAS SOPS 66889878 HAS SOUS 25756524 HAS SOUPS 25112047 WITH SCORE 2.5194410788E7
AT ITER 362 NEW BEST:: SOT 133523969 SOS 82358853 HAS SOPS 66883222 HAS SOUS 25751822 HAS SOUPS 25107345 WITH SCORE 2.5189703853E7
AT ITER 379 NEW BEST:: SOT 133523362 SOS 82357245 HAS SOPS 66882887 HAS SOUS 25751412 HAS SOUPS 25106949 WITH SCORE 2.5189306245E7
AT ITER 380 NEW BEST:: SOT 133526275 SOS 82360158 HAS SOPS 66885800 HAS SOUS 25747797 HAS SOUPS 25103334 WITH SCORE 2.5185694158E7
AT ITER 381 NEW BEST:: SOT 133519947 SOS 82348693 HAS SOPS 66880115 HAS SOUS 25729640 HAS SOUPS 25085177 WITH SCORE 2.5167525693E7
AT ITER 382 NEW BEST:: SOT 133518139 SOS 82344058 HAS SOPS 66878743 HAS SOUS 25725526 HAS SOUPS 25081063 WITH SCORE 2.5163407058E7
AT ITER 398 NEW BEST:: SOT 133517282 SOS 82342548 HAS SOPS 66882866 HAS SOUS 25720368 HAS SOUPS 25075821 WITH SCORE 2.5158163548E7
AT ITER 417 NEW BEST:: SOT 133511089 SOS 82332499 HAS SOPS 66872730 HAS SOUS 25703471 HAS SOUPS 25059662 WITH SCORE 2.5141994499E7
AT ITER 418 NEW BEST:: SOT 133495305 SOS 82301233 HAS SOPS 66852595 HAS SOUS 25681103 HAS SOUPS 25037294 WITH SCORE 2.5119595233E7
AT ITER 423 NEW BEST:: SOT 133496012 SOS 82302990 HAS SOPS 66855099 HAS SOUS 25681015 HAS SOUPS 25037206 WITH SCORE 2.511950899E7
AT ITER 444 NEW BEST:: SOT 133475975 SOS 82296277 HAS SOPS 66824596 HAS SOUS 25657376 HAS SOUPS 25012775 WITH SCORE 2.5095071277E7
AT ITER 449 NEW BEST:: SOT 133469573 SOS 82289773 HAS SOPS 66818048 HAS SOUS 25650118 HAS SOUPS 25005517 WITH SCORE 2.5087806773E7
AT ITER 453 NEW BEST:: SOT 133480103 SOS 82324305 HAS SOPS 66839923 HAS SOUS 25636502 HAS SOUPS 24991901 WITH SCORE 2.5074225305E7
AT ITER 462 NEW BEST:: SOT 133481812 SOS 82326213 HAS SOPS 66841827 HAS SOUS 25632707 HAS SOUPS 24988102 WITH SCORE 2.5070428213E7
AT ITER 464 NEW BEST:: SOT 133467684 SOS 82304382 HAS SOPS 66821451 HAS SOUS 25614625 HAS SOUPS 24970084 WITH SCORE 2.5052388382E7
AT ITER 465 NEW BEST:: SOT 133459676 SOS 82296290 HAS SOPS 66815145 HAS SOUS 25607939 HAS SOUPS 24963218 WITH SCORE 2.504551429E7
AT ITER 466 NEW BEST:: SOT 133477342 SOS 82342749 HAS SOPS 66870002 HAS SOUS 25593588 HAS SOUPS 24948867 WITH SCORE 2.5031209749E7
AT ITER 475 NEW BEST:: SOT 133476094 SOS 82340448 HAS SOPS 66866846 HAS SOUS 25591410 HAS SOUPS 24946689 WITH SCORE 2.5029029448E7
AT ITER 497 NEW BEST:: SOT 133481267 SOS 82359498 HAS SOPS 66879082 HAS SOUS 25583772 HAS SOUPS 24939051 WITH SCORE 2.5021410498E7
AT ITER 499 NEW BEST:: SOT 133483846 SOS 82361259 HAS SOPS 66880748 HAS SOUS 25578291 HAS SOUPS 24933570 WITH SCORE 2.5015931259E7
AT ITER 516 NEW BEST:: SOT 133493792 SOS 82371281 HAS SOPS 66895345 HAS SOUS 25564264 HAS SOUPS 24925245 WITH SCORE 2.5007616281E7
AT ITER 522 NEW BEST:: SOT 133493762 SOS 82371249 HAS SOPS 66895350 HAS SOUS 25564203 HAS SOUPS 24925185 WITH SCORE 2.5007556249E7
AT ITER 523 NEW BEST:: SOT 133495460 SOS 82380801 HAS SOPS 66900815 HAS SOUS 25556396 HAS SOUPS 24917378 WITH SCORE 2.4999758801E7
AT ITER 527 NEW BEST:: SOT 133516362 SOS 82438841 HAS SOPS 66951258 HAS SOUS 25555232 HAS SOUPS 24916214 WITH SCORE 2.4998652841E7
AT ITER 568 NEW BEST:: SOT 133511372 SOS 82432795 HAS SOPS 66948860 HAS SOUS 25549348 HAS SOUPS 24910330 WITH SCORE 2.4992762795E7
AT ITER 572 NEW BEST:: SOT 133507102 SOS 82414965 HAS SOPS 66945952 HAS SOUS 25546936 HAS SOUPS 24908121 WITH SCORE 2.4990535965E7
AT ITER 596 NEW BEST:: SOT 133506950 SOS 82414802 HAS SOPS 66945955 HAS SOUS 25546434 HAS SOUPS 24907630 WITH SCORE 2.4990044802E7
AT ITER 603 NEW BEST:: SOT 133491385 SOS 82374255 HAS SOPS 66924922 HAS SOUS 25540501 HAS SOUPS 24901697 WITH SCORE 2.4984071255E7
AT ITER 616 NEW BEST:: SOT 133491293 SOS 82374163 HAS SOPS 66923518 HAS SOUS 25536455 HAS SOUPS 24897861 WITH SCORE 2.4980235163E7
AT ITER 617 NEW BEST:: SOT 133485985 SOS 82364783 HAS SOPS 66914766 HAS SOUS 25530863 HAS SOUPS 24892269 WITH SCORE 2.4974633783E7
AT ITER 621 NEW BEST:: SOT 133480890 SOS 82354780 HAS SOPS 66916213 HAS SOUS 25519472 HAS SOUPS 24880878 WITH SCORE 2.496323278E7
AT ITER 629 NEW BEST:: SOT 133485163 SOS 82371088 HAS SOPS 66935491 HAS SOUS 25514981 HAS SOUPS 24876387 WITH SCORE 2.4958758088E7
AT ITER 643 NEW BEST:: SOT 133478398 SOS 82359218 HAS SOPS 66921522 HAS SOUS 25504443 HAS SOUPS 24865849 WITH SCORE 2.4948208218E7
AT ITER 664 NEW BEST:: SOT 133480916 SOS 82367296 HAS SOPS 66920154 HAS SOUS 25493145 HAS SOUPS 24854551 WITH SCORE 2.4936918296E7
AT ITER 692 NEW BEST:: SOT 133480702 SOS 82368100 HAS SOPS 66921265 HAS SOUS 25492723 HAS SOUPS 24854129 WITH SCORE 2.49364971E7
AT ITER 706 NEW BEST:: SOT 133480702 SOS 82367980 HAS SOPS 66921265 HAS SOUS 25492655 HAS SOUPS 24854061 WITH SCORE 2.493642898E7
AT ITER 715 NEW BEST:: SOT 133483002 SOS 82376156 HAS SOPS 66926790 HAS SOUS 25479823 HAS SOUPS 24841229 WITH SCORE 2.4923605156E7
AT ITER 716 NEW BEST:: SOT 133464401 SOS 82357582 HAS SOPS 66900620 HAS SOUS 25476123 HAS SOUPS 24837431 WITH SCORE 2.4919788582E7
AT ITER 731 NEW BEST:: SOT 133468838 SOS 82379932 HAS SOPS 66915417 HAS SOUS 25474157 HAS SOUPS 24835465 WITH SCORE 2.4917844932E7
AT ITER 733 NEW BEST:: SOT 133456859 SOS 82340697 HAS SOPS 66891477 HAS SOUS 25470349 HAS SOUPS 24831657 WITH SCORE 2.4913997697E7
AT ITER 754 NEW BEST:: SOT 133457678 SOS 82349038 HAS SOPS 66898541 HAS SOUS 25465795 HAS SOUPS 24827103 WITH SCORE 2.4909452038E7
AT ITER 760 NEW BEST:: SOT 133448155 SOS 82339073 HAS SOPS 66889275 HAS SOUS 25442034 HAS SOUPS 24803521 WITH SCORE 2.4885860073E7
AT ITER 766 NEW BEST:: SOT 133445865 SOS 82333847 HAS SOPS 66881688 HAS SOUS 25428303 HAS SOUPS 24789790 WITH SCORE 2.4872123847E7
AT ITER 769 NEW BEST:: SOT 133453901 SOS 82390900 HAS SOPS 66941225 HAS SOUS 25417258 HAS SOUPS 24778745 WITH SCORE 2.48611359E7
AT ITER 779 NEW BEST:: SOT 133451096 SOS 82390872 HAS SOPS 66944213 HAS SOUS 25413571 HAS SOUPS 24775058 WITH SCORE 2.4857448872E7
AT ITER 791 NEW BEST:: SOT 133446794 SOS 82382058 HAS SOPS 66935837 HAS SOUS 25411679 HAS SOUPS 24773166 WITH SCORE 2.4855548058E7
AT ITER 809 NEW BEST:: SOT 133405358 SOS 82322298 HAS SOPS 66875648 HAS SOUS 25346709 HAS SOUPS 24708406 WITH SCORE 2.4790728298E7
AT ITER 818 NEW BEST:: SOT 133407225 SOS 82340026 HAS SOPS 66905814 HAS SOUS 25317662 HAS SOUPS 24679359 WITH SCORE 2.4761699026E7
AT ITER 819 NEW BEST:: SOT 133420465 SOS 82413787 HAS SOPS 66970060 HAS SOUS 25306096 HAS SOUPS 24667793 WITH SCORE 2.4750206787E7
AT ITER 821 NEW BEST:: SOT 133420585 SOS 82414007 HAS SOPS 66969495 HAS SOUS 25305798 HAS SOUPS 24667495 WITH SCORE 2.4749909007E7
AT ITER 833 NEW BEST:: SOT 133431047 SOS 82458620 HAS SOPS 67007736 HAS SOUS 25283575 HAS SOUPS 24644992 WITH SCORE 2.472745062E7
AT ITER 837 NEW BEST:: SOT 133423725 SOS 82455089 HAS SOPS 66999846 HAS SOUS 25263343 HAS SOUPS 24624760 WITH SCORE 2.4707215089E7
AT ITER 844 NEW BEST:: SOT 133430789 SOS 82477973 HAS SOPS 67021384 HAS SOUS 25248393 HAS SOUPS 24609810 WITH SCORE 2.4692287973E7
AT ITER 852 NEW BEST:: SOT 133438754 SOS 82521610 HAS SOPS 67054215 HAS SOUS 25233641 HAS SOUPS 24595058 WITH SCORE 2.467757961E7
AT ITER 853 NEW BEST:: SOT 133447829 SOS 82540513 HAS SOPS 67065224 HAS SOUS 25223277 HAS SOUPS 24584394 WITH SCORE 2.4666934513E7
AT ITER 882 NEW BEST:: SOT 133446979 SOS 82527035 HAS SOPS 67088877 HAS SOUS 25207146 HAS SOUPS 24568358 WITH SCORE 2.4650885035E7
AT ITER 902 NEW BEST:: SOT 133422936 SOS 82488029 HAS SOPS 67057648 HAS SOUS 25184228 HAS SOUPS 24545751 WITH SCORE 2.4628239029E7
AT ITER 913 NEW BEST:: SOT 133422116 SOS 82487679 HAS SOPS 67057218 HAS SOUS 25182288 HAS SOUPS 24543801 WITH SCORE 2.4626288679E7
AT ITER 916 NEW BEST:: SOT 133425544 SOS 82506156 HAS SOPS 67068613 HAS SOUS 25180505 HAS SOUPS 24542018 WITH SCORE 2.4624524156E7
AT ITER 917 NEW BEST:: SOT 133425718 SOS 82505931 HAS SOPS 67076388 HAS SOUS 25178684 HAS SOUPS 24540197 WITH SCORE 2.4622702931E7
AT ITER 920 NEW BEST:: SOT 133419676 SOS 82492714 HAS SOPS 67065338 HAS SOUS 25174293 HAS SOUPS 24535806 WITH SCORE 2.4618298714E7
AT ITER 922 NEW BEST:: SOT 133422213 SOS 82504825 HAS SOPS 67074662 HAS SOUS 25172045 HAS SOUPS 24533558 WITH SCORE 2.4616062825E7
AT ITER 930 NEW BEST:: SOT 133405625 SOS 82469029 HAS SOPS 67044351 HAS SOUS 25155677 HAS SOUPS 24517190 WITH SCORE 2.4599659029E7
AT ITER 938 NEW BEST:: SOT 133406223 SOS 82473559 HAS SOPS 67052363 HAS SOUS 25155295 HAS SOUPS 24516808 WITH SCORE 2.4599281559E7
AT ITER 968 NEW BEST:: SOT 133406627 SOS 82482104 HAS SOPS 67056394 HAS SOUS 25134436 HAS SOUPS 24495949 WITH SCORE 2.4578431104E7
AT ITER 972 NEW BEST:: SOT 133399699 SOS 82465378 HAS SOPS 67039385 HAS SOUS 25109014 HAS SOUPS 24470527 WITH SCORE 2.4552992378E7
AT ITER 981 NEW BEST:: SOT 133392829 SOS 82456530 HAS SOPS 67028395 HAS SOUS 25091164 HAS SOUPS 24452764 WITH SCORE 2.453522053E7
AT ITER 982 NEW BEST:: SOT 133417606 SOS 82489380 HAS SOPS 67061232 HAS SOUS 25089132 HAS SOUPS 24450561 WITH SCORE 2.453305038E7
AT ITER 986 NEW BEST:: SOT 133411014 SOS 82484233 HAS SOPS 67053329 HAS SOUS 25071882 HAS SOUPS 24433311 WITH SCORE 2.4515795233E7
AT ITER 996 NEW BEST:: SOT 133410524 SOS 82481873 HAS SOPS 67049590 HAS SOUS 25070054 HAS SOUPS 24431483 WITH SCORE 2.4513964873E7
AT ITER 1000 NEW BEST:: SOT 133409205 SOS 82479935 HAS SOPS 67047686 HAS SOUS 25069316 HAS SOUPS 24430747 WITH SCORE 2.4513226935E7
AT ITER 1020 NEW BEST:: SOT 133408521 SOS 82476510 HAS SOPS 67042488 HAS SOUS 25067772 HAS SOUPS 24429203 WITH SCORE 2.451167951E7
AT ITER 1021 NEW BEST:: SOT 133392653 SOS 82444049 HAS SOPS 67014019 HAS SOUS 25041979 HAS SOUPS 24403410 WITH SCORE 2.4485854049E7
AT ITER 1025 NEW BEST:: SOT 133423108 SOS 82556036 HAS SOPS 67120761 HAS SOUS 25040565 HAS SOUPS 24401996 WITH SCORE 2.4484552036E7
AT ITER 1028 NEW BEST:: SOT 133429625 SOS 82572330 HAS SOPS 67144715 HAS SOUS 25035458 HAS SOUPS 24397045 WITH SCORE 2.447961733E7
AT ITER 1029 NEW BEST:: SOT 133428552 SOS 82570425 HAS SOPS 67142903 HAS SOUS 25033355 HAS SOUPS 24394942 WITH SCORE 2.4477512425E7
AT ITER 1036 NEW BEST:: SOT 133428107 SOS 82567440 HAS SOPS 67139907 HAS SOUS 25032252 HAS SOUPS 24393839 WITH SCORE 2.447640644E7
AT ITER 1039 NEW BEST:: SOT 133423802 SOS 82564670 HAS SOPS 67136294 HAS SOUS 24996977 HAS SOUPS 24358564 WITH SCORE 2.444112867E7
AT ITER 1047 NEW BEST:: SOT 133422932 SOS 82563780 HAS SOPS 67135404 HAS SOUS 24995307 HAS SOUPS 24356894 WITH SCORE 2.443945778E7
AT ITER 1064 NEW BEST:: SOT 133412897 SOS 82549101 HAS SOPS 67123901 HAS SOUS 24987354 HAS SOUPS 24348941 WITH SCORE 2.4431490101E7
AT ITER 1079 NEW BEST:: SOT 133414169 SOS 82552667 HAS SOPS 67126557 HAS SOUS 24983191 HAS SOUPS 24344848 WITH SCORE 2.4427400667E7
AT ITER 1089 NEW BEST:: SOT 133408674 SOS 82539883 HAS SOPS 67118102 HAS SOUS 24981824 HAS SOUPS 24343481 WITH SCORE 2.4426020883E7
AT ITER 1114 NEW BEST:: SOT 133398170 SOS 82529136 HAS SOPS 67104199 HAS SOUS 24958090 HAS SOUPS 24319816 WITH SCORE 2.4402345136E7
AT ITER 1119 NEW BEST:: SOT 133394239 SOS 82526269 HAS SOPS 67103301 HAS SOUS 24945948 HAS SOUPS 24307674 WITH SCORE 2.4390200269E7
AT ITER 1122 NEW BEST:: SOT 133393935 SOS 82525963 HAS SOPS 67102988 HAS SOUS 24945245 HAS SOUPS 24306971 WITH SCORE 2.4389496963E7
AT ITER 1123 NEW BEST:: SOT 133400243 SOS 82545976 HAS SOPS 67115838 HAS SOUS 24929860 HAS SOUPS 24291586 WITH SCORE 2.4374131976E7
AT ITER 1125 NEW BEST:: SOT 133399843 SOS 82544923 HAS SOPS 67114969 HAS SOUS 24926885 HAS SOUPS 24288611 WITH SCORE 2.4371155923E7
AT ITER 1134 NEW BEST:: SOT 133396070 SOS 82542094 HAS SOPS 67109728 HAS SOUS 24917756 HAS SOUPS 24279468 WITH SCORE 2.4362010094E7
AT ITER 1143 NEW BEST:: SOT 133408737 SOS 82579500 HAS SOPS 67139662 HAS SOUS 24910981 HAS SOUPS 24272693 WITH SCORE 2.43552725E7
AT ITER 1150 NEW BEST:: SOT 133407637 SOS 82578431 HAS SOPS 67139099 HAS SOUS 24910471 HAS SOUPS 24272235 WITH SCORE 2.4354813431E7
AT ITER 1157 NEW BEST:: SOT 133408423 SOS 82579582 HAS SOPS 67139413 HAS SOUS 24909891 HAS SOUPS 24271655 WITH SCORE 2.4354234582E7
AT ITER 1158 NEW BEST:: SOT 133423993 SOS 82608124 HAS SOPS 67165574 HAS SOUS 24897400 HAS SOUPS 24259422 WITH SCORE 2.4342030124E7
AT ITER 1159 NEW BEST:: SOT 133423819 SOS 82607874 HAS SOPS 67165301 HAS SOUS 24897095 HAS SOUPS 24259118 WITH SCORE 2.4341725874E7
AT ITER 1168 NEW BEST:: SOT 133423667 SOS 82607698 HAS SOPS 67165017 HAS SOUS 24896839 HAS SOUPS 24258862 WITH SCORE 2.4341469698E7
AT ITER 1174 NEW BEST:: SOT 133422230 SOS 82604106 HAS SOPS 67163924 HAS SOUS 24892433 HAS SOUPS 24254456 WITH SCORE 2.4337060106E7
AT ITER 1182 NEW BEST:: SOT 133401880 SOS 82569024 HAS SOPS 67133184 HAS SOUS 24870435 HAS SOUPS 24232521 WITH SCORE 2.4315090024E7
AT ITER 1193 NEW BEST:: SOT 133401447 SOS 82568515 HAS SOPS 67132707 HAS SOUS 24869806 HAS SOUPS 24231892 WITH SCORE 2.4314460515E7
AT ITER 1201 NEW BEST:: SOT 133401217 SOS 82568269 HAS SOPS 67132437 HAS SOUS 24868688 HAS SOUPS 24231030 WITH SCORE 2.4313598269E7
AT ITER 1207 NEW BEST:: SOT 133431221 SOS 82646458 HAS SOPS 67204884 HAS SOUS 24863741 HAS SOUPS 24226083 WITH SCORE 2.4308729458E7
AT ITER 1208 NEW BEST:: SOT 133431173 SOS 82652225 HAS SOPS 67205832 HAS SOUS 24858123 HAS SOUPS 24220465 WITH SCORE 2.4303117225E7
AT ITER 1214 NEW BEST:: SOT 133431031 SOS 82652030 HAS SOPS 67204741 HAS SOUS 24854861 HAS SOUPS 24217363 WITH SCORE 2.430001503E7
AT ITER 1222 NEW BEST:: SOT 133431977 SOS 82655751 HAS SOPS 67207098 HAS SOUS 24853091 HAS SOUPS 24215593 WITH SCORE 2.4298248751E7
AT ITER 1229 NEW BEST:: SOT 133412935 SOS 82631568 HAS SOPS 67187370 HAS SOUS 24806818 HAS SOUPS 24172330 WITH SCORE 2.4254961568E7
AT ITER 1232 NEW BEST:: SOT 133412764 SOS 82631483 HAS SOPS 67187275 HAS SOUS 24806594 HAS SOUPS 24172106 WITH SCORE 2.4254737483E7
AT ITER 1258 NEW BEST:: SOT 133411527 SOS 82627075 HAS SOPS 67184782 HAS SOUS 24804662 HAS SOUPS 24170174 WITH SCORE 2.4252801075E7
AT ITER 1260 NEW BEST:: SOT 133407974 SOS 82621900 HAS SOPS 67180150 HAS SOUS 24795481 HAS SOUPS 24160993 WITH SCORE 2.42436149E7
AT ITER 1269 NEW BEST:: SOT 133381792 SOS 82562066 HAS SOPS 67181566 HAS SOUS 24791731 HAS SOUPS 24157734 WITH SCORE 2.4240296066E7
AT ITER 1276 NEW BEST:: SOT 133383938 SOS 82572258 HAS SOPS 67185347 HAS SOUS 24788453 HAS SOUPS 24154456 WITH SCORE 2.4237028258E7
AT ITER 1277 NEW BEST:: SOT 133384783 SOS 82577211 HAS SOPS 67186944 HAS SOUS 24784322 HAS SOUPS 24150325 WITH SCORE 2.4232902211E7
AT ITER 1284 NEW BEST:: SOT 133382697 SOS 82575441 HAS SOPS 67183982 HAS SOUS 24777423 HAS SOUPS 24143426 WITH SCORE 2.4226001441E7
AT ITER 1293 NEW BEST:: SOT 133382525 SOS 82574788 HAS SOPS 67180784 HAS SOUS 24775543 HAS SOUPS 24141546 WITH SCORE 2.4224120788E7
AT ITER 1298 NEW BEST:: SOT 133382509 SOS 82574772 HAS SOPS 67180736 HAS SOUS 24775431 HAS SOUPS 24141402 WITH SCORE 2.4223976772E7
AT ITER 1300 NEW BEST:: SOT 133382509 SOS 82574518 HAS SOPS 67180785 HAS SOUS 24775397 HAS SOUPS 24141368 WITH SCORE 2.4223942518E7
AT ITER 1302 NEW BEST:: SOT 133377785 SOS 82572460 HAS SOPS 67174054 HAS SOUS 24757647 HAS SOUPS 24123618 WITH SCORE 2.420619046E7
AT ITER 1305 NEW BEST:: SOT 133379679 SOS 82576476 HAS SOPS 67178621 HAS SOUS 24754745 HAS SOUPS 24120756 WITH SCORE 2.4203332476E7
AT ITER 1309 NEW BEST:: SOT 133378795 SOS 82574584 HAS SOPS 67176981 HAS SOUS 24754716 HAS SOUPS 24120727 WITH SCORE 2.4203301584E7
AT ITER 1311 NEW BEST:: SOT 133369614 SOS 82562629 HAS SOPS 67165445 HAS SOUS 24743212 HAS SOUPS 24109223 WITH SCORE 2.4191785629E7
AT ITER 1330 NEW BEST:: SOT 133370781 SOS 82564597 HAS SOPS 67165246 HAS SOUS 24738890 HAS SOUPS 24104901 WITH SCORE 2.4187465597E7
AT ITER 1333 NEW BEST:: SOT 133365610 SOS 82556592 HAS SOPS 67158037 HAS SOUS 24724094 HAS SOUPS 24090262 WITH SCORE 2.4172818592E7
AT ITER 1351 NEW BEST:: SOT 133389741 SOS 82689632 HAS SOPS 67219226 HAS SOUS 24656211 HAS SOUPS 24021864 WITH SCORE 2.4104553632E7
AT ITER 1355 NEW BEST:: SOT 133389505 SOS 82689289 HAS SOPS 67219149 HAS SOUS 24655708 HAS SOUPS 24021361 WITH SCORE 2.4104050289E7
AT ITER 1362 NEW BEST:: SOT 133389623 SOS 82690513 HAS SOPS 67220492 HAS SOUS 24655665 HAS SOUPS 24021318 WITH SCORE 2.4104008513E7
AT ITER 1370 NEW BEST:: SOT 133382559 SOS 82670049 HAS SOPS 67204218 HAS SOUS 24637425 HAS SOUPS 24003193 WITH SCORE 2.4085863049E7
AT ITER 1373 NEW BEST:: SOT 133362576 SOS 82595220 HAS SOPS 67139661 HAS SOUS 24635456 HAS SOUPS 24001224 WITH SCORE 2.408381922E7
AT ITER 1382 NEW BEST:: SOT 133365054 SOS 82599603 HAS SOPS 67135475 HAS SOUS 24618262 HAS SOUPS 23984030 WITH SCORE 2.4066629603E7
AT ITER 1386 NEW BEST:: SOT 133354146 SOS 82588695 HAS SOPS 67124551 HAS SOUS 24608266 HAS SOUPS 23974034 WITH SCORE 2.4056622695E7
AT ITER 1389 NEW BEST:: SOT 133357698 SOS 82576477 HAS SOPS 67129930 HAS SOUS 24600920 HAS SOUPS 23966794 WITH SCORE 2.4049370477E7
AT ITER 1397 NEW BEST:: SOT 133342099 SOS 82544153 HAS SOPS 67107516 HAS SOUS 24591147 HAS SOUPS 23957021 WITH SCORE 2.4039565153E7
AT ITER 1409 NEW BEST:: SOT 133351651 SOS 82573188 HAS SOPS 67153589 HAS SOUS 24567282 HAS SOUPS 23933156 WITH SCORE 2.4015729188E7
AT ITER 1412 NEW BEST:: SOT 133352339 SOS 82574311 HAS SOPS 67154489 HAS SOUS 24566862 HAS SOUPS 23932736 WITH SCORE 2.4015310311E7
AT ITER 1423 NEW BEST:: SOT 133328410 SOS 82549120 HAS SOPS 67123144 HAS SOUS 24528406 HAS SOUPS 23894006 WITH SCORE 2.397655512E7
AT ITER 1435 NEW BEST:: SOT 133302981 SOS 82493325 HAS SOPS 67079936 HAS SOUS 24521855 HAS SOUPS 23887455 WITH SCORE 2.3969948325E7
AT ITER 1442 NEW BEST:: SOT 133291001 SOS 82476548 HAS SOPS 67063878 HAS SOUS 24503634 HAS SOUPS 23869234 WITH SCORE 2.3951710548E7
AT ITER 1483 NEW BEST:: SOT 133288940 SOS 82476228 HAS SOPS 67050712 HAS SOUS 24487457 HAS SOUPS 23853057 WITH SCORE 2.3935533228E7
AT ITER 1506 NEW BEST:: SOT 133274750 SOS 82450223 HAS SOPS 67043038 HAS SOUS 24473021 HAS SOUPS 23838988 WITH SCORE 2.3921438223E7
AT ITER 1507 NEW BEST:: SOT 133278156 SOS 82457046 HAS SOPS 67049094 HAS SOUS 24471489 HAS SOUPS 23837456 WITH SCORE 2.3919913046E7
AT ITER 1528 NEW BEST:: SOT 133287941 SOS 82470975 HAS SOPS 67054813 HAS SOUS 24469577 HAS SOUPS 23835544 WITH SCORE 2.3918014975E7
AT ITER 1532 NEW BEST:: SOT 133278937 SOS 82453419 HAS SOPS 67043364 HAS SOUS 24463565 HAS SOUPS 23829532 WITH SCORE 2.3911985419E7
AT ITER 1537 NEW BEST:: SOT 133248002 SOS 82384583 HAS SOPS 67011583 HAS SOUS 24453486 HAS SOUPS 23819453 WITH SCORE 2.3901837583E7
AT ITER 1538 NEW BEST:: SOT 133248942 SOS 82387073 HAS SOPS 67011028 HAS SOUS 24447968 HAS SOUPS 23813935 WITH SCORE 2.3896322073E7
AT ITER 1542 NEW BEST:: SOT 133248298 SOS 82392521 HAS SOPS 67013139 HAS SOUS 24427471 HAS SOUPS 23793438 WITH SCORE 2.3875830521E7
AT ITER 1554 NEW BEST:: SOT 133248465 SOS 82392904 HAS SOPS 67014185 HAS SOUS 24426614 HAS SOUPS 23792581 WITH SCORE 2.3874973904E7
AT ITER 1568 NEW BEST:: SOT 133252161 SOS 82415371 HAS SOPS 67021708 HAS SOUS 24418799 HAS SOUPS 23784766 WITH SCORE 2.3867181371E7
AT ITER 1597 NEW BEST:: SOT 133251771 SOS 82414975 HAS SOPS 67021131 HAS SOUS 24417804 HAS SOUPS 23783771 WITH SCORE 2.3866185975E7
AT ITER 1608 NEW BEST:: SOT 133247393 SOS 82423410 HAS SOPS 67020144 HAS SOUS 24397873 HAS SOUPS 23763840 WITH SCORE 2.384626341E7
AT ITER 1613 NEW BEST:: SOT 133243902 SOS 82417290 HAS SOPS 67011427 HAS SOUS 24389832 HAS SOUPS 23755799 WITH SCORE 2.383821629E7
AT ITER 1636 NEW BEST:: SOT 133253088 SOS 82442110 HAS SOPS 67030275 HAS SOUS 24389358 HAS SOUPS 23755325 WITH SCORE 2.383776711E7
AT ITER 1642 NEW BEST:: SOT 133241066 SOS 82417141 HAS SOPS 67016981 HAS SOUS 24384673 HAS SOUPS 23750640 WITH SCORE 2.3833057141E7
AT ITER 1650 NEW BEST:: SOT 133240791 SOS 82416301 HAS SOPS 67016167 HAS SOUS 24384454 HAS SOUPS 23750421 WITH SCORE 2.3832837301E7
AT ITER 1678 NEW BEST:: SOT 133258427 SOS 82441970 HAS SOPS 67040294 HAS SOUS 24374779 HAS SOUPS 23740746 WITH SCORE 2.382318797E7
AT ITER 1679 NEW BEST:: SOT 133258924 SOS 82437422 HAS SOPS 67033163 HAS SOUS 24373224 HAS SOUPS 23739191 WITH SCORE 2.3821628422E7
AT ITER 1689 NEW BEST:: SOT 133257504 SOS 82435956 HAS SOPS 67031698 HAS SOUS 24372377 HAS SOUPS 23738344 WITH SCORE 2.3820779956E7
AT ITER 1702 NEW BEST:: SOT 133257472 SOS 82435924 HAS SOPS 67031602 HAS SOUS 24372313 HAS SOUPS 23738248 WITH SCORE 2.3820683924E7
AT ITER 1716 NEW BEST:: SOT 133256952 SOS 82435367 HAS SOPS 67030784 HAS SOUS 24371231 HAS SOUPS 23737166 WITH SCORE 2.3819601367E7
AT ITER 1733 NEW BEST:: SOT 133255399 SOS 82436048 HAS SOPS 67030942 HAS SOUS 24358301 HAS SOUPS 23724236 WITH SCORE 2.3806672048E7
AT ITER 1749 NEW BEST:: SOT 133252005 SOS 82424426 HAS SOPS 67024132 HAS SOUS 24357635 HAS SOUPS 23723570 WITH SCORE 2.3805994426E7
AT ITER 1762 NEW BEST:: SOT 133257255 SOS 82433015 HAS SOPS 67044076 HAS SOUS 24356317 HAS SOUPS 23722106 WITH SCORE 2.3804539015E7
AT ITER 1763 NEW BEST:: SOT 133252750 SOS 82427006 HAS SOPS 67037125 HAS SOUS 24351115 HAS SOUPS 23716904 WITH SCORE 2.3799331006E7
AT ITER 1770 NEW BEST:: SOT 133279021 SOS 82480429 HAS SOPS 67097362 HAS SOUS 24316279 HAS SOUPS 23682068 WITH SCORE 2.3764548429E7
AT ITER 1777 NEW BEST:: SOT 133298689 SOS 82536079 HAS SOPS 67133608 HAS SOUS 24308772 HAS SOUPS 23674561 WITH SCORE 2.3757097079E7
AT ITER 1779 NEW BEST:: SOT 133298729 SOS 82536429 HAS SOPS 67133883 HAS SOUS 24308647 HAS SOUPS 23674436 WITH SCORE 2.3756972429E7
AT ITER 1784 NEW BEST:: SOT 133304496 SOS 82560569 HAS SOPS 67153335 HAS SOUS 24306826 HAS SOUPS 23672615 WITH SCORE 2.3755175569E7
AT ITER 1785 NEW BEST:: SOT 133305978 SOS 82561631 HAS SOPS 67153501 HAS SOUS 24303520 HAS SOUPS 23669533 WITH SCORE 2.3752094631E7
AT ITER 1786 NEW BEST:: SOT 133334510 SOS 82661219 HAS SOPS 67261114 HAS SOUS 24250447 HAS SOUPS 23616460 WITH SCORE 2.3699121219E7
AT ITER 1796 NEW BEST:: SOT 133335420 SOS 82665286 HAS SOPS 67265723 HAS SOUS 24250148 HAS SOUPS 23616161 WITH SCORE 2.3698826286E7
AT ITER 1830 NEW BEST:: SOT 133333833 SOS 82663587 HAS SOPS 67261168 HAS SOUS 24242866 HAS SOUPS 23608879 WITH SCORE 2.3691542587E7
AT ITER 1835 NEW BEST:: SOT 133364554 SOS 82720267 HAS SOPS 67305154 HAS SOUS 24233161 HAS SOUPS 23599174 WITH SCORE 2.3681894267E7
AT ITER 1843 NEW BEST:: SOT 133318727 SOS 82677398 HAS SOPS 67281039 HAS SOUS 24104985 HAS SOUPS 23471587 WITH SCORE 2.3554264398E7
AT ITER 1846 NEW BEST:: SOT 133369135 SOS 82776828 HAS SOPS 67365017 HAS SOUS 24103031 HAS SOUPS 23469633 WITH SCORE 2.3552409828E7
AT ITER 1874 NEW BEST:: SOT 133366479 SOS 82775195 HAS SOPS 67355753 HAS SOUS 24094430 HAS SOUPS 23461032 WITH SCORE 2.3543807195E7
AT ITER 1881 NEW BEST:: SOT 133366380 SOS 82775977 HAS SOPS 67356463 HAS SOUS 24094332 HAS SOUPS 23460934 WITH SCORE 2.3543709977E7
AT ITER 1883 NEW BEST:: SOT 133367629 SOS 82781111 HAS SOPS 67356146 HAS SOUS 24091693 HAS SOUPS 23458295 WITH SCORE 2.3541076111E7
AT ITER 1891 NEW BEST:: SOT 133366882 SOS 82780580 HAS SOPS 67354972 HAS SOUS 24090280 HAS SOUPS 23456882 WITH SCORE 2.353966258E7
AT ITER 1903 NEW BEST:: SOT 133342795 SOS 82736276 HAS SOPS 67314401 HAS SOUS 24073193 HAS SOUPS 23439830 WITH SCORE 2.3522566276E7
AT ITER 1910 NEW BEST:: SOT 133327027 SOS 82709050 HAS SOPS 67289089 HAS SOUS 24052587 HAS SOUPS 23419224 WITH SCORE 2.350193305E7
AT ITER 1926 NEW BEST:: SOT 133346819 SOS 82730870 HAS SOPS 67318717 HAS SOUS 24049109 HAS SOUPS 23415746 WITH SCORE 2.349847687E7
AT ITER 1927 NEW BEST:: SOT 133346821 SOS 82730939 HAS SOPS 67318768 HAS SOUS 24049075 HAS SOUPS 23415712 WITH SCORE 2.3498442939E7
AT ITER 1934 NEW BEST:: SOT 133343844 SOS 82732493 HAS SOPS 67317800 HAS SOUS 24041115 HAS SOUPS 23407685 WITH SCORE 2.3490417493E7
AT ITER 1946 NEW BEST:: SOT 133352486 SOS 82772734 HAS SOPS 67361245 HAS SOUS 24031293 HAS SOUPS 23397863 WITH SCORE 2.3480635734E7
AT ITER 1959 NEW BEST:: SOT 133347122 SOS 82779195 HAS SOPS 67364319 HAS SOUS 23999559 HAS SOUPS 23366129 WITH SCORE 2.3448908195E7
AT ITER 1981 NEW BEST:: SOT 133346492 SOS 82778605 HAS SOPS 67363948 HAS SOUS 23998401 HAS SOUPS 23364971 WITH SCORE 2.3447749605E7
AT ITER 1985 NEW BEST:: SOT 133345825 SOS 82779252 HAS SOPS 67361903 HAS SOUS 23995924 HAS SOUPS 23362494 WITH SCORE 2.3445273252E7
AT ITER 1989 NEW BEST:: SOT 133344344 SOS 82791620 HAS SOPS 67368523 HAS SOUS 23986138 HAS SOUPS 23352678 WITH SCORE 2.343546962E7
AT ITER 1994 NEW BEST:: SOT 133333405 SOS 82751247 HAS SOPS 67346542 HAS SOUS 23982483 HAS SOUPS 23349023 WITH SCORE 2.3431774247E7
AT ITER 2010 NEW BEST:: SOT 133332242 SOS 82750008 HAS SOPS 67345269 HAS SOUS 23980128 HAS SOUPS 23346652 WITH SCORE 2.3429402008E7
AT ITER 2013 NEW BEST:: SOT 133324440 SOS 82741876 HAS SOPS 67336896 HAS SOUS 23960580 HAS SOUPS 23327104 WITH SCORE 2.3409845876E7
AT ITER 2033 NEW BEST:: SOT 133299836 SOS 82674788 HAS SOPS 67270841 HAS SOUS 23949136 HAS SOUPS 23315660 WITH SCORE 2.3398334788E7
AT ITER 2037 NEW BEST:: SOT 133290412 SOS 82639573 HAS SOPS 67260375 HAS SOUS 23947639 HAS SOUPS 23314400 WITH SCORE 2.3397039573E7
AT ITER 2045 NEW BEST:: SOT 133269170 SOS 82607736 HAS SOPS 67222670 HAS SOUS 23920232 HAS SOUPS 23286898 WITH SCORE 2.3369505736E7
AT ITER 2047 NEW BEST:: SOT 133268620 SOS 82607186 HAS SOPS 67221960 HAS SOUS 23919625 HAS SOUPS 23286232 WITH SCORE 2.3368839186E7
AT ITER 2052 NEW BEST:: SOT 133265726 SOS 82593651 HAS SOPS 67216650 HAS SOUS 23908272 HAS SOUPS 23274879 WITH SCORE 2.3357472651E7
AT ITER 2061 NEW BEST:: SOT 133265837 SOS 82590544 HAS SOPS 67218864 HAS SOUS 23907001 HAS SOUPS 23273608 WITH SCORE 2.3356198544E7
AT ITER 2062 NEW BEST:: SOT 133265681 SOS 82590388 HAS SOPS 67218644 HAS SOUS 23906685 HAS SOUPS 23273292 WITH SCORE 2.3355882388E7
AT ITER 2082 NEW BEST:: SOT 133253290 SOS 82569369 HAS SOPS 67197019 HAS SOUS 23897782 HAS SOUPS 23264389 WITH SCORE 2.3346958369E7
AT ITER 2083 NEW BEST:: SOT 133252621 SOS 82563187 HAS SOPS 67186555 HAS SOUS 23897712 HAS SOUPS 23264319 WITH SCORE 2.3346882187E7
AT ITER 2084 NEW BEST:: SOT 133273746 SOS 82620754 HAS SOPS 67245661 HAS SOUS 23889615 HAS SOUPS 23256222 WITH SCORE 2.3338842754E7
AT ITER 2126 NEW BEST:: SOT 133272410 SOS 82618101 HAS SOPS 67244028 HAS SOUS 23884981 HAS SOUPS 23251560 WITH SCORE 2.3334178101E7
AT ITER 2132 NEW BEST:: SOT 133263358 SOS 82605653 HAS SOPS 67231390 HAS SOUS 23866728 HAS SOUPS 23233362 WITH SCORE 2.3315967653E7
AT ITER 2151 NEW BEST:: SOT 133266064 SOS 82606697 HAS SOPS 67232422 HAS SOUS 23865582 HAS SOUPS 23232246 WITH SCORE 2.3314852697E7
AT ITER 2163 NEW BEST:: SOT 133268772 SOS 82630098 HAS SOPS 67246993 HAS SOUS 23851733 HAS SOUPS 23218397 WITH SCORE 2.3301027098E7
AT ITER 2179 NEW BEST:: SOT 133269748 SOS 82639351 HAS SOPS 67265047 HAS SOUS 23851283 HAS SOUPS 23217947 WITH SCORE 2.3300586351E7
AT ITER 2181 NEW BEST:: SOT 133250682 SOS 82594739 HAS SOPS 67228286 HAS SOUS 23839096 HAS SOUPS 23205760 WITH SCORE 2.3288354739E7
AT ITER 2195 NEW BEST:: SOT 133242533 SOS 82582682 HAS SOPS 67217427 HAS SOUS 23824014 HAS SOUPS 23190766 WITH SCORE 2.3273348682E7
AT ITER 2208 NEW BEST:: SOT 133243108 SOS 82585273 HAS SOPS 67218335 HAS SOUS 23820589 HAS SOUPS 23187239 WITH SCORE 2.3269824273E7
AT ITER 2210 NEW BEST:: SOT 133238093 SOS 82574678 HAS SOPS 67209657 HAS SOUS 23815451 HAS SOUPS 23182126 WITH SCORE 2.3264700678E7
AT ITER 2218 NEW BEST:: SOT 133258819 SOS 82617081 HAS SOPS 67228704 HAS SOUS 23811998 HAS SOUPS 23178442 WITH SCORE 2.3261059081E7
AT ITER 2219 NEW BEST:: SOT 133322175 SOS 82742276 HAS SOPS 67353734 HAS SOUS 23811699 HAS SOUPS 23178143 WITH SCORE 2.3260885276E7
AT ITER 2227 NEW BEST:: SOT 133305541 SOS 82730313 HAS SOPS 67323599 HAS SOUS 23786504 HAS SOUPS 23152614 WITH SCORE 2.3235344313E7
AT ITER 2231 NEW BEST:: SOT 133311566 SOS 82749475 HAS SOPS 67348833 HAS SOUS 23783126 HAS SOUPS 23149236 WITH SCORE 2.3231985475E7
AT ITER 2250 NEW BEST:: SOT 133302139 SOS 82740028 HAS SOPS 67339268 HAS SOUS 23778195 HAS SOUPS 23144315 WITH SCORE 2.3227055028E7
AT ITER 2263 NEW BEST:: SOT 133310386 SOS 82765173 HAS SOPS 67359200 HAS SOUS 23775426 HAS SOUPS 23141546 WITH SCORE 2.3224311173E7

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-7"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb114-PT-7, 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 r138-smll-158961502400128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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