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-158961502300088.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-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.2K Apr 12 07:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 11 08:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 08:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 9 20:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:25 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 1589704423847

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 2
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 133650247 SOS 82203689 HAS SOPS 66749080 HAS SOUS 26435030 HAS SOUPS 25804339 WITH SCORE 2.5886542689E7
AT ITER 8 NEW BEST:: SOT 133653014 SOS 82213286 HAS SOPS 66750213 HAS SOUS 26432830 HAS SOUPS 25802139 WITH SCORE 2.5884352286E7
AT ITER 14 NEW BEST:: SOT 133648126 SOS 82206845 HAS SOPS 66741865 HAS SOUS 26419938 HAS SOUPS 25789508 WITH SCORE 2.5871714845E7
AT ITER 15 NEW BEST:: SOT 133662495 SOS 82212950 HAS SOPS 66735599 HAS SOUS 26416560 HAS SOUPS 25786126 WITH SCORE 2.586833895E7
AT ITER 21 NEW BEST:: SOT 133669797 SOS 82276187 HAS SOPS 66804222 HAS SOUS 26379610 HAS SOUPS 25749176 WITH SCORE 2.5831452187E7
AT ITER 26 NEW BEST:: SOT 133669511 SOS 82272107 HAS SOPS 66800523 HAS SOUS 26378796 HAS SOUPS 25748362 WITH SCORE 2.5830634107E7
AT ITER 37 NEW BEST:: SOT 133669843 SOS 82274852 HAS SOPS 66806564 HAS SOUS 26378208 HAS SOUPS 25747774 WITH SCORE 2.5830048852E7
AT ITER 46 NEW BEST:: SOT 133619827 SOS 82222828 HAS SOPS 66750209 HAS SOUS 26360369 HAS SOUPS 25729564 WITH SCORE 2.5811786828E7
AT ITER 68 NEW BEST:: SOT 133619644 SOS 82219763 HAS SOPS 66745808 HAS SOUS 26357496 HAS SOUPS 25726691 WITH SCORE 2.5808910763E7
AT ITER 72 NEW BEST:: SOT 133621078 SOS 82223909 HAS SOPS 66743001 HAS SOUS 26352217 HAS SOUPS 25721358 WITH SCORE 2.5803581909E7
AT ITER 74 NEW BEST:: SOT 133640895 SOS 82279863 HAS SOPS 66787425 HAS SOUS 26348800 HAS SOUPS 25717941 WITH SCORE 2.5800220863E7
AT ITER 76 NEW BEST:: SOT 133650088 SOS 82289464 HAS SOPS 66798841 HAS SOUS 26344434 HAS SOUPS 25713928 WITH SCORE 2.5796217464E7
AT ITER 81 NEW BEST:: SOT 133646962 SOS 82291796 HAS SOPS 66803580 HAS SOUS 26333024 HAS SOUPS 25702518 WITH SCORE 2.5784809796E7
AT ITER 85 NEW BEST:: SOT 133682016 SOS 82417552 HAS SOPS 66903327 HAS SOUS 26306956 HAS SOUPS 25676450 WITH SCORE 2.5758867552E7
AT ITER 88 NEW BEST:: SOT 133704809 SOS 82494676 HAS SOPS 66971036 HAS SOUS 26302247 HAS SOUPS 25671741 WITH SCORE 2.5754235676E7
AT ITER 89 NEW BEST:: SOT 133704162 SOS 82494029 HAS SOPS 66971317 HAS SOUS 26298832 HAS SOUPS 25668566 WITH SCORE 2.5751060029E7
AT ITER 96 NEW BEST:: SOT 133723477 SOS 82552272 HAS SOPS 67016392 HAS SOUS 26298074 HAS SOUPS 25667808 WITH SCORE 2.5750360272E7
AT ITER 137 NEW BEST:: SOT 133730661 SOS 82571080 HAS SOPS 67027778 HAS SOUS 26285693 HAS SOUPS 25655427 WITH SCORE 2.573799808E7
AT ITER 138 NEW BEST:: SOT 133730663 SOS 82571081 HAS SOPS 67027779 HAS SOUS 26285682 HAS SOUPS 25655401 WITH SCORE 2.5737972081E7
AT ITER 147 NEW BEST:: SOT 133730634 SOS 82571003 HAS SOPS 67027744 HAS SOUS 26285585 HAS SOUPS 25655304 WITH SCORE 2.5737875003E7
AT ITER 151 NEW BEST:: SOT 133649710 SOS 82489999 HAS SOPS 66946652 HAS SOUS 26204483 HAS SOUPS 25574202 WITH SCORE 2.5656691999E7
AT ITER 157 NEW BEST:: SOT 133649554 SOS 82500339 HAS SOPS 66947117 HAS SOUS 26175921 HAS SOUPS 25545640 WITH SCORE 2.5628140339E7
AT ITER 160 NEW BEST:: SOT 133655355 SOS 82525808 HAS SOPS 66971247 HAS SOUS 26166416 HAS SOUPS 25536135 WITH SCORE 2.5618660808E7
AT ITER 163 NEW BEST:: SOT 133654034 SOS 82532892 HAS SOPS 66973906 HAS SOUS 26152380 HAS SOUPS 25522011 WITH SCORE 2.5604543892E7
AT ITER 176 NEW BEST:: SOT 133665097 SOS 82548643 HAS SOPS 66978809 HAS SOUS 26118701 HAS SOUPS 25488252 WITH SCORE 2.5570800643E7
AT ITER 182 NEW BEST:: SOT 133680350 SOS 82609069 HAS SOPS 67039655 HAS SOUS 26115605 HAS SOUPS 25485156 WITH SCORE 2.5567765069E7
AT ITER 192 NEW BEST:: SOT 133660129 SOS 82578567 HAS SOPS 67005668 HAS SOUS 26073852 HAS SOUPS 25443403 WITH SCORE 2.5525981567E7
AT ITER 196 NEW BEST:: SOT 133658232 SOS 82576248 HAS SOPS 67003552 HAS SOUS 26072709 HAS SOUPS 25442260 WITH SCORE 2.5524836248E7
AT ITER 202 NEW BEST:: SOT 133655573 SOS 82567371 HAS SOPS 66993293 HAS SOUS 26070328 HAS SOUPS 25439879 WITH SCORE 2.5522446371E7
AT ITER 212 NEW BEST:: SOT 133633011 SOS 82538545 HAS SOPS 66970069 HAS SOUS 25996837 HAS SOUPS 25368264 WITH SCORE 2.5450802545E7
AT ITER 221 NEW BEST:: SOT 133626131 SOS 82520573 HAS SOPS 66962512 HAS SOUS 25996525 HAS SOUPS 25367952 WITH SCORE 2.5450472573E7
AT ITER 223 NEW BEST:: SOT 133613948 SOS 82503550 HAS SOPS 66957791 HAS SOUS 25975180 HAS SOUPS 25346554 WITH SCORE 2.542905755E7
AT ITER 231 NEW BEST:: SOT 133608885 SOS 82501397 HAS SOPS 66961562 HAS SOUS 25950127 HAS SOUPS 25321751 WITH SCORE 2.5404252397E7
AT ITER 234 NEW BEST:: SOT 133608321 SOS 82527612 HAS SOPS 66991121 HAS SOUS 25939655 HAS SOUPS 25311279 WITH SCORE 2.5393806612E7
AT ITER 235 NEW BEST:: SOT 133620223 SOS 82574266 HAS SOPS 67024050 HAS SOUS 25938000 HAS SOUPS 25309555 WITH SCORE 2.5392129266E7
AT ITER 237 NEW BEST:: SOT 133619487 SOS 82573190 HAS SOPS 67023086 HAS SOUS 25937468 HAS SOUPS 25309023 WITH SCORE 2.539159619E7
AT ITER 242 NEW BEST:: SOT 133605655 SOS 82537983 HAS SOPS 66993944 HAS SOUS 25922266 HAS SOUPS 25293821 WITH SCORE 2.5376358983E7
AT ITER 251 NEW BEST:: SOT 133601206 SOS 82533534 HAS SOPS 66989495 HAS SOUS 25916025 HAS SOUPS 25287580 WITH SCORE 2.5370113534E7
AT ITER 253 NEW BEST:: SOT 133596748 SOS 82545812 HAS SOPS 66995615 HAS SOUS 25912381 HAS SOUPS 25283936 WITH SCORE 2.5366481812E7
AT ITER 263 NEW BEST:: SOT 133588986 SOS 82520459 HAS SOPS 66972504 HAS SOUS 25907377 HAS SOUPS 25278932 WITH SCORE 2.5361452459E7
AT ITER 271 NEW BEST:: SOT 133584334 SOS 82509627 HAS SOPS 66965521 HAS SOUS 25905867 HAS SOUPS 25277422 WITH SCORE 2.5359931627E7
AT ITER 274 NEW BEST:: SOT 133608555 SOS 82583962 HAS SOPS 67026180 HAS SOUS 25900728 HAS SOUPS 25272283 WITH SCORE 2.5354866962E7
AT ITER 283 NEW BEST:: SOT 133606056 SOS 82603514 HAS SOPS 67049744 HAS SOUS 25873316 HAS SOUPS 25244871 WITH SCORE 2.5327474514E7
AT ITER 289 NEW BEST:: SOT 133606916 SOS 82604374 HAS SOPS 67050796 HAS SOUS 25872800 HAS SOUPS 25244707 WITH SCORE 2.5327311374E7
AT ITER 307 NEW BEST:: SOT 133606895 SOS 82604595 HAS SOPS 67050965 HAS SOUS 25872491 HAS SOUPS 25244398 WITH SCORE 2.5327002595E7
AT ITER 309 NEW BEST:: SOT 133606678 SOS 82604504 HAS SOPS 67050955 HAS SOUS 25872442 HAS SOUPS 25244349 WITH SCORE 2.5326953504E7
AT ITER 330 NEW BEST:: SOT 133599025 SOS 82601954 HAS SOPS 67040238 HAS SOUS 25843377 HAS SOUPS 25215284 WITH SCORE 2.5297885954E7
AT ITER 348 NEW BEST:: SOT 133596554 SOS 82599791 HAS SOPS 67043639 HAS SOUS 25830275 HAS SOUPS 25202245 WITH SCORE 2.5284844791E7
AT ITER 353 NEW BEST:: SOT 133596496 SOS 82599400 HAS SOPS 67043472 HAS SOUS 25830261 HAS SOUPS 25202231 WITH SCORE 2.52848304E7
AT ITER 365 NEW BEST:: SOT 133558613 SOS 82511749 HAS SOPS 66982976 HAS SOUS 25802116 HAS SOUPS 25174086 WITH SCORE 2.5256597749E7
AT ITER 377 NEW BEST:: SOT 133529793 SOS 82475422 HAS SOPS 66938606 HAS SOUS 25751637 HAS SOUPS 25123733 WITH SCORE 2.5206208422E7
AT ITER 390 NEW BEST:: SOT 133530317 SOS 82476022 HAS SOPS 66939332 HAS SOUS 25751092 HAS SOUPS 25123380 WITH SCORE 2.5205856022E7
AT ITER 402 NEW BEST:: SOT 133538989 SOS 82511902 HAS SOPS 66969696 HAS SOUS 25749779 HAS SOUPS 25122067 WITH SCORE 2.5204578902E7
AT ITER 407 NEW BEST:: SOT 133557591 SOS 82591495 HAS SOPS 67042144 HAS SOUS 25747944 HAS SOUPS 25120232 WITH SCORE 2.5202823495E7
AT ITER 412 NEW BEST:: SOT 133558201 SOS 82587006 HAS SOPS 67038258 HAS SOUS 25745578 HAS SOUPS 25117866 WITH SCORE 2.5200453006E7
AT ITER 414 NEW BEST:: SOT 133573772 SOS 82629678 HAS SOPS 67061491 HAS SOUS 25727936 HAS SOUPS 25100079 WITH SCORE 2.5182708678E7
AT ITER 415 NEW BEST:: SOT 133575576 SOS 82636808 HAS SOPS 67066862 HAS SOUS 25724314 HAS SOUPS 25096457 WITH SCORE 2.5179093808E7
AT ITER 416 NEW BEST:: SOT 133568877 SOS 82639488 HAS SOPS 67061745 HAS SOUS 25693168 HAS SOUPS 25065311 WITH SCORE 2.5147950488E7
AT ITER 417 NEW BEST:: SOT 133561589 SOS 82637021 HAS SOPS 67055838 HAS SOUS 25671371 HAS SOUPS 25043570 WITH SCORE 2.5126207021E7
AT ITER 427 NEW BEST:: SOT 133545834 SOS 82621455 HAS SOPS 67040408 HAS SOUS 25649006 HAS SOUPS 25022558 WITH SCORE 2.5105179455E7
AT ITER 431 NEW BEST:: SOT 133546512 SOS 82632691 HAS SOPS 67047158 HAS SOUS 25640669 HAS SOUPS 25014221 WITH SCORE 2.5096853691E7
AT ITER 434 NEW BEST:: SOT 133546334 SOS 82632492 HAS SOPS 67046961 HAS SOUS 25640267 HAS SOUPS 25013837 WITH SCORE 2.5096469492E7
AT ITER 435 NEW BEST:: SOT 133541944 SOS 82627607 HAS SOPS 67053384 HAS SOUS 25635126 HAS SOUPS 25008696 WITH SCORE 2.5091323607E7
AT ITER 437 NEW BEST:: SOT 133541440 SOS 82628210 HAS SOPS 67055296 HAS SOUS 25634606 HAS SOUPS 25008176 WITH SCORE 2.509080421E7
AT ITER 447 NEW BEST:: SOT 133541062 SOS 82626318 HAS SOPS 67053565 HAS SOUS 25634426 HAS SOUPS 25007996 WITH SCORE 2.5090622318E7
AT ITER 457 NEW BEST:: SOT 133515117 SOS 82595792 HAS SOPS 67026019 HAS SOUS 25611657 HAS SOUPS 24984131 WITH SCORE 2.5066726792E7
AT ITER 458 NEW BEST:: SOT 133516050 SOS 82598705 HAS SOPS 67027726 HAS SOUS 25611310 HAS SOUPS 24983784 WITH SCORE 2.5066382705E7
AT ITER 462 NEW BEST:: SOT 133517136 SOS 82598998 HAS SOPS 67030718 HAS SOUS 25589918 HAS SOUPS 24962611 WITH SCORE 2.5045209998E7
AT ITER 463 NEW BEST:: SOT 133516020 SOS 82595965 HAS SOPS 67031084 HAS SOUS 25589422 HAS SOUPS 24962115 WITH SCORE 2.5044710965E7
AT ITER 467 NEW BEST:: SOT 133513472 SOS 82592734 HAS SOPS 67028126 HAS SOUS 25586683 HAS SOUPS 24959376 WITH SCORE 2.5041968734E7
AT ITER 476 NEW BEST:: SOT 133514115 SOS 82621984 HAS SOPS 67057659 HAS SOUS 25572595 HAS SOUPS 24945288 WITH SCORE 2.5027909984E7
AT ITER 484 NEW BEST:: SOT 133499837 SOS 82597586 HAS SOPS 67049396 HAS SOUS 25545193 HAS SOUPS 24918072 WITH SCORE 2.5000669586E7
AT ITER 488 NEW BEST:: SOT 133498343 SOS 82596032 HAS SOPS 67049781 HAS SOUS 25541779 HAS SOUPS 24914628 WITH SCORE 2.4997224032E7
AT ITER 491 NEW BEST:: SOT 133498332 SOS 82596031 HAS SOPS 67049944 HAS SOUS 25541738 HAS SOUPS 24914587 WITH SCORE 2.4997183031E7
AT ITER 501 NEW BEST:: SOT 133520826 SOS 82636888 HAS SOPS 67102382 HAS SOUS 25531006 HAS SOUPS 24903774 WITH SCORE 2.4986410888E7
AT ITER 522 NEW BEST:: SOT 133523442 SOS 82638229 HAS SOPS 67105934 HAS SOUS 25517413 HAS SOUPS 24891533 WITH SCORE 2.4974171229E7
AT ITER 525 NEW BEST:: SOT 133467243 SOS 82545004 HAS SOPS 67040708 HAS SOUS 25513978 HAS SOUPS 24889482 WITH SCORE 2.4972027004E7
AT ITER 538 NEW BEST:: SOT 133452935 SOS 82529552 HAS SOPS 67024744 HAS SOUS 25489768 HAS SOUPS 24865287 WITH SCORE 2.4947816552E7
AT ITER 539 NEW BEST:: SOT 133452434 SOS 82530137 HAS SOPS 67024756 HAS SOUS 25484883 HAS SOUPS 24860672 WITH SCORE 2.4943202137E7
AT ITER 542 NEW BEST:: SOT 133453753 SOS 82533815 HAS SOPS 67026682 HAS SOUS 25484086 HAS SOUPS 24859875 WITH SCORE 2.4942408815E7
AT ITER 545 NEW BEST:: SOT 133451193 SOS 82527086 HAS SOPS 67019520 HAS SOUS 25478185 HAS SOUPS 24853974 WITH SCORE 2.4936501086E7
AT ITER 547 NEW BEST:: SOT 133446845 SOS 82521346 HAS SOPS 67013610 HAS SOUS 25472396 HAS SOUPS 24848185 WITH SCORE 2.4930706346E7
AT ITER 557 NEW BEST:: SOT 133447082 SOS 82528903 HAS SOPS 67019931 HAS SOUS 25470321 HAS SOUPS 24846110 WITH SCORE 2.4928638903E7
AT ITER 570 NEW BEST:: SOT 133462746 SOS 82554709 HAS SOPS 67055775 HAS SOUS 25448668 HAS SOUPS 24824364 WITH SCORE 2.4906918709E7
AT ITER 574 NEW BEST:: SOT 133461880 SOS 82559047 HAS SOPS 67062683 HAS SOUS 25444515 HAS SOUPS 24820211 WITH SCORE 2.4902770047E7
AT ITER 575 NEW BEST:: SOT 133480914 SOS 82652473 HAS SOPS 67162050 HAS SOUS 25443953 HAS SOUPS 24819649 WITH SCORE 2.4902301473E7
AT ITER 580 NEW BEST:: SOT 133487432 SOS 82661929 HAS SOPS 67189176 HAS SOUS 25427720 HAS SOUPS 24803319 WITH SCORE 2.4885980929E7
AT ITER 601 NEW BEST:: SOT 133485079 SOS 82657602 HAS SOPS 67186695 HAS SOUS 25420753 HAS SOUPS 24796352 WITH SCORE 2.4879009602E7
AT ITER 614 NEW BEST:: SOT 133480072 SOS 82638692 HAS SOPS 67170798 HAS SOUS 25416066 HAS SOUPS 24791665 WITH SCORE 2.4874303692E7
AT ITER 640 NEW BEST:: SOT 133493057 SOS 82674733 HAS SOPS 67197273 HAS SOUS 25407476 HAS SOUPS 24783075 WITH SCORE 2.4865749733E7
AT ITER 644 NEW BEST:: SOT 133478553 SOS 82658322 HAS SOPS 67193213 HAS SOUS 25363657 HAS SOUPS 24740115 WITH SCORE 2.4822773322E7
AT ITER 651 NEW BEST:: SOT 133468633 SOS 82666685 HAS SOPS 67198942 HAS SOUS 25320962 HAS SOUPS 24697420 WITH SCORE 2.4780086685E7
AT ITER 652 NEW BEST:: SOT 133474909 SOS 82698495 HAS SOPS 67220247 HAS SOUS 25310870 HAS SOUPS 24687328 WITH SCORE 2.4770026495E7
AT ITER 654 NEW BEST:: SOT 133482260 SOS 82709826 HAS SOPS 67233216 HAS SOUS 25297891 HAS SOUPS 24674349 WITH SCORE 2.4757058826E7
AT ITER 656 NEW BEST:: SOT 133540890 SOS 82889008 HAS SOPS 67397181 HAS SOUS 25287434 HAS SOUPS 24663746 WITH SCORE 2.4746635008E7
AT ITER 675 NEW BEST:: SOT 133506719 SOS 82833183 HAS SOPS 67356574 HAS SOUS 25228644 HAS SOUPS 24608636 WITH SCORE 2.4691469183E7
AT ITER 678 NEW BEST:: SOT 133499259 SOS 82811713 HAS SOPS 67336348 HAS SOUS 25219885 HAS SOUPS 24599877 WITH SCORE 2.4682688713E7
AT ITER 682 NEW BEST:: SOT 133490755 SOS 82795352 HAS SOPS 67324030 HAS SOUS 25214018 HAS SOUPS 24594010 WITH SCORE 2.4676805352E7
AT ITER 693 NEW BEST:: SOT 133473625 SOS 82759349 HAS SOPS 67316226 HAS SOUS 25212337 HAS SOUPS 24593224 WITH SCORE 2.4675983349E7
AT ITER 707 NEW BEST:: SOT 133472707 SOS 82742113 HAS SOPS 67295493 HAS SOUS 25211361 HAS SOUPS 24592248 WITH SCORE 2.4674990113E7
AT ITER 709 NEW BEST:: SOT 133511209 SOS 82874377 HAS SOPS 67422011 HAS SOUS 25206677 HAS SOUPS 24587564 WITH SCORE 2.4670438377E7
AT ITER 727 NEW BEST:: SOT 133506381 SOS 82867850 HAS SOPS 67421354 HAS SOUS 25204193 HAS SOUPS 24585161 WITH SCORE 2.466802885E7
AT ITER 734 NEW BEST:: SOT 133442439 SOS 82783110 HAS SOPS 67349824 HAS SOUS 24999363 HAS SOUPS 24380725 WITH SCORE 2.446350811E7
AT ITER 748 NEW BEST:: SOT 133440803 SOS 82778110 HAS SOPS 67347020 HAS SOUS 24999276 HAS SOUPS 24380638 WITH SCORE 2.446341611E7
AT ITER 760 NEW BEST:: SOT 133411519 SOS 82735574 HAS SOPS 67309174 HAS SOUS 24943978 HAS SOUPS 24325340 WITH SCORE 2.4408075574E7
AT ITER 788 NEW BEST:: SOT 133411521 SOS 82734227 HAS SOPS 67310098 HAS SOUS 24943518 HAS SOUPS 24324880 WITH SCORE 2.4407614227E7
AT ITER 789 NEW BEST:: SOT 133398115 SOS 82720779 HAS SOPS 67295371 HAS SOUS 24926921 HAS SOUPS 24308147 WITH SCORE 2.4390867779E7
AT ITER 792 NEW BEST:: SOT 133398801 SOS 82720652 HAS SOPS 67283068 HAS SOUS 24890054 HAS SOUPS 24271366 WITH SCORE 2.4354086652E7
AT ITER 794 NEW BEST:: SOT 133397696 SOS 82719602 HAS SOPS 67283200 HAS SOUS 24888050 HAS SOUPS 24269362 WITH SCORE 2.4352081602E7
AT ITER 798 NEW BEST:: SOT 133434118 SOS 82824663 HAS SOPS 67399999 HAS SOUS 24851812 HAS SOUPS 24233083 WITH SCORE 2.4315907663E7
AT ITER 821 NEW BEST:: SOT 133431229 SOS 82817987 HAS SOPS 67385098 HAS SOUS 24828727 HAS SOUPS 24210535 WITH SCORE 2.4293352987E7
AT ITER 834 NEW BEST:: SOT 133428654 SOS 82815395 HAS SOPS 67382506 HAS SOUS 24824656 HAS SOUPS 24206464 WITH SCORE 2.4289279395E7
AT ITER 836 NEW BEST:: SOT 133436395 SOS 82860204 HAS SOPS 67418916 HAS SOUS 24818877 HAS SOUPS 24200685 WITH SCORE 2.4283545204E7
AT ITER 847 NEW BEST:: SOT 133434371 SOS 82858296 HAS SOPS 67416038 HAS SOUS 24819160 HAS SOUPS 24199924 WITH SCORE 2.4282782296E7
AT ITER 848 NEW BEST:: SOT 133434729 SOS 82860206 HAS SOPS 67416932 HAS SOUS 24816951 HAS SOUPS 24197715 WITH SCORE 2.4280575206E7
AT ITER 850 NEW BEST:: SOT 133456747 SOS 82921484 HAS SOPS 67461365 HAS SOUS 24808149 HAS SOUPS 24188913 WITH SCORE 2.4271834484E7
AT ITER 856 NEW BEST:: SOT 133438657 SOS 82897891 HAS SOPS 67441590 HAS SOUS 24765143 HAS SOUPS 24147448 WITH SCORE 2.4230345891E7
AT ITER 866 NEW BEST:: SOT 133445392 SOS 82942299 HAS SOPS 67480341 HAS SOUS 24755476 HAS SOUPS 24137781 WITH SCORE 2.4220723299E7
AT ITER 869 NEW BEST:: SOT 133419000 SOS 82915469 HAS SOPS 67452251 HAS SOUS 24678564 HAS SOUPS 24060869 WITH SCORE 2.4143784469E7
AT ITER 870 NEW BEST:: SOT 133419007 SOS 82914884 HAS SOPS 67450964 HAS SOUS 24677786 HAS SOUPS 24060091 WITH SCORE 2.4143005884E7
AT ITER 878 NEW BEST:: SOT 133446981 SOS 82956539 HAS SOPS 67498603 HAS SOUS 24677214 HAS SOUPS 24059519 WITH SCORE 2.4142475539E7
AT ITER 884 NEW BEST:: SOT 133439001 SOS 82949985 HAS SOPS 67483295 HAS SOUS 24624708 HAS SOUPS 24006799 WITH SCORE 2.4089748985E7
AT ITER 895 NEW BEST:: SOT 133438876 SOS 82948180 HAS SOPS 67481125 HAS SOUS 24624404 HAS SOUPS 24006495 WITH SCORE 2.408944318E7
AT ITER 903 NEW BEST:: SOT 133419846 SOS 82916443 HAS SOPS 67450539 HAS SOUS 24602696 HAS SOUPS 23984853 WITH SCORE 2.4067769443E7
AT ITER 921 NEW BEST:: SOT 133423328 SOS 82930926 HAS SOPS 67463870 HAS SOUS 24598459 HAS SOUPS 23980616 WITH SCORE 2.4063546926E7
AT ITER 933 NEW BEST:: SOT 133422587 SOS 82930201 HAS SOPS 67463129 HAS SOUS 24596710 HAS SOUPS 23978867 WITH SCORE 2.4061797201E7
AT ITER 943 NEW BEST:: SOT 133420390 SOS 82943934 HAS SOPS 67482234 HAS SOUS 24591766 HAS SOUPS 23973923 WITH SCORE 2.4056866934E7
AT ITER 950 NEW BEST:: SOT 133419180 SOS 82943642 HAS SOPS 67481690 HAS SOUS 24588534 HAS SOUPS 23970691 WITH SCORE 2.4053634642E7
AT ITER 953 NEW BEST:: SOT 133409407 SOS 82936922 HAS SOPS 67473287 HAS SOUS 24556618 HAS SOUPS 23938775 WITH SCORE 2.4021711922E7
AT ITER 981 NEW BEST:: SOT 133423450 SOS 82984957 HAS SOPS 67507145 HAS SOUS 24530500 HAS SOUPS 23912657 WITH SCORE 2.3995641957E7
AT ITER 992 NEW BEST:: SOT 133424475 SOS 82986265 HAS SOPS 67509418 HAS SOUS 24530141 HAS SOUPS 23912376 WITH SCORE 2.3995362265E7
AT ITER 999 NEW BEST:: SOT 133428507 SOS 83001512 HAS SOPS 67516748 HAS SOUS 24514708 HAS SOUPS 23896943 WITH SCORE 2.3979944512E7
AT ITER 1006 NEW BEST:: SOT 133427434 SOS 82990072 HAS SOPS 67517861 HAS SOUS 24507427 HAS SOUPS 23889662 WITH SCORE 2.3972652072E7
AT ITER 1021 NEW BEST:: SOT 133422864 SOS 82977778 HAS SOPS 67509206 HAS SOUS 24504002 HAS SOUPS 23886237 WITH SCORE 2.3969214778E7
AT ITER 1023 NEW BEST:: SOT 133423646 SOS 82980543 HAS SOPS 67508186 HAS SOUS 24496541 HAS SOUPS 23879233 WITH SCORE 2.3962213543E7
AT ITER 1028 NEW BEST:: SOT 133423064 SOS 82979577 HAS SOPS 67507124 HAS SOUS 24495371 HAS SOUPS 23878063 WITH SCORE 2.3961042577E7
AT ITER 1032 NEW BEST:: SOT 133390059 SOS 82938425 HAS SOPS 67468050 HAS SOUS 24455731 HAS SOUPS 23838641 WITH SCORE 2.3921579425E7
AT ITER 1038 NEW BEST:: SOT 133391633 SOS 82952744 HAS SOPS 67477676 HAS SOUS 24442796 HAS SOUPS 23825706 WITH SCORE 2.3908658744E7
AT ITER 1040 NEW BEST:: SOT 133394429 SOS 82955656 HAS SOPS 67485068 HAS SOUS 24438318 HAS SOUPS 23823180 WITH SCORE 2.3906135656E7
AT ITER 1061 NEW BEST:: SOT 133383953 SOS 82945166 HAS SOPS 67474578 HAS SOUS 24427790 HAS SOUPS 23812652 WITH SCORE 2.3895597166E7
AT ITER 1063 NEW BEST:: SOT 133382059 SOS 82939561 HAS SOPS 67467447 HAS SOUS 24425196 HAS SOUPS 23810058 WITH SCORE 2.3892997561E7
AT ITER 1073 NEW BEST:: SOT 133344560 SOS 82898033 HAS SOPS 67426049 HAS SOUS 24382889 HAS SOUPS 23767851 WITH SCORE 2.3850749033E7
AT ITER 1090 NEW BEST:: SOT 133343097 SOS 82893872 HAS SOPS 67422859 HAS SOUS 24382276 HAS SOUPS 23767238 WITH SCORE 2.3850131872E7
AT ITER 1092 NEW BEST:: SOT 133329983 SOS 82863603 HAS SOPS 67400431 HAS SOUS 24372498 HAS SOUPS 23757549 WITH SCORE 2.3840412603E7
AT ITER 1096 NEW BEST:: SOT 133307368 SOS 82853938 HAS SOPS 67390212 HAS SOUS 24298819 HAS SOUPS 23683870 WITH SCORE 2.3766723938E7
AT ITER 1115 NEW BEST:: SOT 133307046 SOS 82855512 HAS SOPS 67393310 HAS SOUS 24298347 HAS SOUPS 23683398 WITH SCORE 2.3766253512E7
AT ITER 1123 NEW BEST:: SOT 133309067 SOS 82874869 HAS SOPS 67415811 HAS SOUS 24290548 HAS SOUPS 23675599 WITH SCORE 2.3758473869E7
AT ITER 1125 NEW BEST:: SOT 133319414 SOS 82910872 HAS SOPS 67450537 HAS SOUS 24288217 HAS SOUPS 23673268 WITH SCORE 2.3756178872E7
AT ITER 1127 NEW BEST:: SOT 133266414 SOS 82854748 HAS SOPS 67397537 HAS SOUS 24234372 HAS SOUPS 23619676 WITH SCORE 2.3702530748E7
AT ITER 1145 NEW BEST:: SOT 133262152 SOS 82846933 HAS SOPS 67389422 HAS SOUS 24229341 HAS SOUPS 23614645 WITH SCORE 2.3697491933E7
AT ITER 1153 NEW BEST:: SOT 133272114 SOS 82893383 HAS SOPS 67495529 HAS SOUS 24209215 HAS SOUPS 23595528 WITH SCORE 2.3678421383E7
AT ITER 1164 NEW BEST:: SOT 133281986 SOS 82897632 HAS SOPS 67500459 HAS SOUS 24193435 HAS SOUPS 23579804 WITH SCORE 2.3662701632E7
AT ITER 1165 NEW BEST:: SOT 133282164 SOS 82898306 HAS SOPS 67500805 HAS SOUS 24193274 HAS SOUPS 23579643 WITH SCORE 2.3662541306E7
AT ITER 1173 NEW BEST:: SOT 133272946 SOS 82890947 HAS SOPS 67491592 HAS SOUS 24166117 HAS SOUPS 23552486 WITH SCORE 2.3635376947E7
AT ITER 1210 NEW BEST:: SOT 133271802 SOS 82891373 HAS SOPS 67487651 HAS SOUS 24161531 HAS SOUPS 23547900 WITH SCORE 2.3630791373E7
AT ITER 1211 NEW BEST:: SOT 133261358 SOS 82879674 HAS SOPS 67477485 HAS SOUS 24152189 HAS SOUPS 23538558 WITH SCORE 2.3621437674E7
AT ITER 1214 NEW BEST:: SOT 133255517 SOS 82884028 HAS SOPS 67475984 HAS SOUS 24136817 HAS SOUPS 23523186 WITH SCORE 2.3606070028E7
AT ITER 1217 NEW BEST:: SOT 133231361 SOS 82863227 HAS SOPS 67453788 HAS SOUS 24120223 HAS SOUPS 23506564 WITH SCORE 2.3589427227E7
AT ITER 1220 NEW BEST:: SOT 133222437 SOS 82845970 HAS SOPS 67435445 HAS SOUS 24105892 HAS SOUPS 23492233 WITH SCORE 2.357507897E7
AT ITER 1226 NEW BEST:: SOT 133224333 SOS 82851493 HAS SOPS 67442023 HAS SOUS 24105169 HAS SOUPS 23491510 WITH SCORE 2.3574361493E7
AT ITER 1240 NEW BEST:: SOT 133226078 SOS 82854881 HAS SOPS 67447437 HAS SOUS 24083765 HAS SOUPS 23469917 WITH SCORE 2.3552771881E7
AT ITER 1255 NEW BEST:: SOT 133222120 SOS 82846271 HAS SOPS 67439903 HAS SOUS 24064412 HAS SOUPS 23450659 WITH SCORE 2.3533505271E7
AT ITER 1257 NEW BEST:: SOT 133219848 SOS 82843999 HAS SOPS 67436543 HAS SOUS 24056940 HAS SOUPS 23443187 WITH SCORE 2.3526030999E7
AT ITER 1262 NEW BEST:: SOT 133219279 SOS 82843190 HAS SOPS 67437373 HAS SOUS 24055494 HAS SOUPS 23441741 WITH SCORE 2.352458419E7
AT ITER 1268 NEW BEST:: SOT 133220074 SOS 82844741 HAS SOPS 67441063 HAS SOUS 24049073 HAS SOUPS 23435320 WITH SCORE 2.3518164741E7
AT ITER 1278 NEW BEST:: SOT 133194487 SOS 82812676 HAS SOPS 67426210 HAS SOUS 23978088 HAS SOUPS 23369560 WITH SCORE 2.3452372676E7
AT ITER 1295 NEW BEST:: SOT 133182183 SOS 82778041 HAS SOPS 67406934 HAS SOUS 23974594 HAS SOUPS 23366066 WITH SCORE 2.3448844041E7
AT ITER 1301 NEW BEST:: SOT 133182244 SOS 82781732 HAS SOPS 67408977 HAS SOUS 23961655 HAS SOUPS 23353127 WITH SCORE 2.3435908732E7
AT ITER 1308 NEW BEST:: SOT 133197024 SOS 82803849 HAS SOPS 67443958 HAS SOUS 23959701 HAS SOUPS 23351395 WITH SCORE 2.3434198849E7
AT ITER 1311 NEW BEST:: SOT 133186029 SOS 82785893 HAS SOPS 67449670 HAS SOUS 23949077 HAS SOUPS 23341020 WITH SCORE 2.3423805893E7
AT ITER 1321 NEW BEST:: SOT 133186338 SOS 82787405 HAS SOPS 67450912 HAS SOUS 23948736 HAS SOUPS 23340679 WITH SCORE 2.3423466405E7
AT ITER 1357 NEW BEST:: SOT 133189098 SOS 82791044 HAS SOPS 67454407 HAS SOUS 23947900 HAS SOUPS 23339843 WITH SCORE 2.3422634044E7
AT ITER 1361 NEW BEST:: SOT 133158000 SOS 82687664 HAS SOPS 67353398 HAS SOUS 23927268 HAS SOUPS 23319211 WITH SCORE 2.3401898664E7
AT ITER 1371 NEW BEST:: SOT 133165005 SOS 82710789 HAS SOPS 67381301 HAS SOUS 23918837 HAS SOUPS 23310780 WITH SCORE 2.3393490789E7
AT ITER 1373 NEW BEST:: SOT 133165260 SOS 82711053 HAS SOPS 67383805 HAS SOUS 23918243 HAS SOUPS 23310186 WITH SCORE 2.3392897053E7
AT ITER 1378 NEW BEST:: SOT 133163216 SOS 82708888 HAS SOPS 67381444 HAS SOUS 23914686 HAS SOUPS 23306629 WITH SCORE 2.3389337888E7
AT ITER 1380 NEW BEST:: SOT 133172337 SOS 82741469 HAS SOPS 67410412 HAS SOUS 23910503 HAS SOUPS 23302446 WITH SCORE 2.3385187469E7
AT ITER 1394 NEW BEST:: SOT 133161401 SOS 82700262 HAS SOPS 67388451 HAS SOUS 23900899 HAS SOUPS 23301927 WITH SCORE 2.3384627262E7
AT ITER 1395 NEW BEST:: SOT 133161256 SOS 82697309 HAS SOPS 67385922 HAS SOUS 23899391 HAS SOUPS 23300419 WITH SCORE 2.3383116309E7
AT ITER 1401 NEW BEST:: SOT 133176746 SOS 82719486 HAS SOPS 67425588 HAS SOUS 23890347 HAS SOUPS 23291343 WITH SCORE 2.3374062486E7
AT ITER 1404 NEW BEST:: SOT 133172491 SOS 82713721 HAS SOPS 67421572 HAS SOUS 23885599 HAS SOUPS 23286595 WITH SCORE 2.3369308721E7
AT ITER 1407 NEW BEST:: SOT 133176852 SOS 82763566 HAS SOPS 67511298 HAS SOUS 23885281 HAS SOUPS 23286277 WITH SCORE 2.3369040566E7
AT ITER 1415 NEW BEST:: SOT 133156857 SOS 82712554 HAS SOPS 67473107 HAS SOUS 23868116 HAS SOUPS 23270632 WITH SCORE 2.3353344554E7
AT ITER 1425 NEW BEST:: SOT 133147936 SOS 82703709 HAS SOPS 67464326 HAS SOUS 23859625 HAS SOUPS 23262141 WITH SCORE 2.3344844709E7
AT ITER 1430 NEW BEST:: SOT 133144133 SOS 82698854 HAS SOPS 67460719 HAS SOUS 23851514 HAS SOUPS 23254030 WITH SCORE 2.3336728854E7
AT ITER 1452 NEW BEST:: SOT 133111565 SOS 82613373 HAS SOPS 67404269 HAS SOUS 23841318 HAS SOUPS 23243834 WITH SCORE 2.3326447373E7
AT ITER 1463 NEW BEST:: SOT 133149674 SOS 82728381 HAS SOPS 67556299 HAS SOUS 23837660 HAS SOUPS 23240176 WITH SCORE 2.3322904381E7
AT ITER 1470 NEW BEST:: SOT 133150767 SOS 82732174 HAS SOPS 67557000 HAS SOUS 23836696 HAS SOUPS 23239212 WITH SCORE 2.3321944174E7
AT ITER 1474 NEW BEST:: SOT 133148612 SOS 82730019 HAS SOPS 67554845 HAS SOUS 23834541 HAS SOUPS 23237057 WITH SCORE 2.3319787019E7
AT ITER 1481 NEW BEST:: SOT 133148024 SOS 82719192 HAS SOPS 67544008 HAS SOUS 23829286 HAS SOUPS 23231802 WITH SCORE 2.3314521192E7
AT ITER 1519 NEW BEST:: SOT 133135565 SOS 82705658 HAS SOPS 67530629 HAS SOUS 23813079 HAS SOUPS 23215716 WITH SCORE 2.3298421658E7
AT ITER 1522 NEW BEST:: SOT 133148944 SOS 82756007 HAS SOPS 67570136 HAS SOUS 23804290 HAS SOUPS 23206927 WITH SCORE 2.3289683007E7
AT ITER 1528 NEW BEST:: SOT 133135780 SOS 82714403 HAS SOPS 67551261 HAS SOUS 23804330 HAS SOUPS 23206967 WITH SCORE 2.3289681403E7
AT ITER 1531 NEW BEST:: SOT 133136827 SOS 82720368 HAS SOPS 67558380 HAS SOUS 23803900 HAS SOUPS 23206537 WITH SCORE 2.3289257368E7
AT ITER 1533 NEW BEST:: SOT 133117195 SOS 82681369 HAS SOPS 67524608 HAS SOUS 23794706 HAS SOUPS 23197343 WITH SCORE 2.3280024369E7
AT ITER 1544 NEW BEST:: SOT 133121011 SOS 82697817 HAS SOPS 67542454 HAS SOUS 23792071 HAS SOUPS 23194708 WITH SCORE 2.3277405817E7
AT ITER 1560 NEW BEST:: SOT 133132220 SOS 82723817 HAS SOPS 67553746 HAS SOUS 23789014 HAS SOUPS 23191651 WITH SCORE 2.3274374817E7
AT ITER 1584 NEW BEST:: SOT 133148041 SOS 82766620 HAS SOPS 67581240 HAS SOUS 23776570 HAS SOUPS 23179042 WITH SCORE 2.326180862E7
AT ITER 1608 NEW BEST:: SOT 133154309 SOS 82782274 HAS SOPS 67627231 HAS SOUS 23738109 HAS SOUPS 23145095 WITH SCORE 2.3227877274E7
AT ITER 1610 NEW BEST:: SOT 133173522 SOS 82839232 HAS SOPS 67668135 HAS SOUS 23729101 HAS SOUPS 23136087 WITH SCORE 2.3218926232E7
AT ITER 1628 NEW BEST:: SOT 133190146 SOS 82891283 HAS SOPS 67714762 HAS SOUS 23728780 HAS SOUPS 23135766 WITH SCORE 2.3218657283E7
AT ITER 1639 NEW BEST:: SOT 133197555 SOS 82916865 HAS SOPS 67737377 HAS SOUS 23727997 HAS SOUPS 23134983 WITH SCORE 2.3217899865E7
AT ITER 1643 NEW BEST:: SOT 133196781 SOS 82916826 HAS SOPS 67739696 HAS SOUS 23727088 HAS SOUPS 23134074 WITH SCORE 2.3216990826E7
AT ITER 1646 NEW BEST:: SOT 133195857 SOS 82916266 HAS SOPS 67738900 HAS SOUS 23725177 HAS SOUPS 23132179 WITH SCORE 2.3215095266E7
AT ITER 1654 NEW BEST:: SOT 133179619 SOS 82884606 HAS SOPS 67715578 HAS SOUS 23714885 HAS SOUPS 23122249 WITH SCORE 2.3205133606E7
AT ITER 1674 NEW BEST:: SOT 133180838 SOS 82892896 HAS SOPS 67721848 HAS SOUS 23713411 HAS SOUPS 23120775 WITH SCORE 2.3203667896E7
AT ITER 1679 NEW BEST:: SOT 133183973 SOS 82904394 HAS SOPS 67753836 HAS SOUS 23706698 HAS SOUPS 23114062 WITH SCORE 2.3196966394E7
AT ITER 1694 NEW BEST:: SOT 133183490 SOS 82911565 HAS SOPS 67751711 HAS SOUS 23694346 HAS SOUPS 23101710 WITH SCORE 2.3184621565E7
AT ITER 1707 NEW BEST:: SOT 133179169 SOS 82901549 HAS SOPS 67738531 HAS SOUS 23686413 HAS SOUPS 23096404 WITH SCORE 2.3179305549E7
AT ITER 1709 NEW BEST:: SOT 133193226 SOS 82978271 HAS SOPS 67836749 HAS SOUS 23637195 HAS SOUPS 23047186 WITH SCORE 2.3130164271E7
AT ITER 1745 NEW BEST:: SOT 133166812 SOS 82932109 HAS SOPS 67797680 HAS SOUS 23604884 HAS SOUPS 23014875 WITH SCORE 2.3097807109E7
AT ITER 1750 NEW BEST:: SOT 133153498 SOS 82909133 HAS SOPS 67776093 HAS SOUS 23595805 HAS SOUPS 23005796 WITH SCORE 2.3088705133E7
AT ITER 1771 NEW BEST:: SOT 133132564 SOS 82877625 HAS SOPS 67741417 HAS SOUS 23558871 HAS SOUPS 22968862 WITH SCORE 2.3051739625E7
AT ITER 1775 NEW BEST:: SOT 133146641 SOS 82952031 HAS SOPS 67814425 HAS SOUS 23552709 HAS SOUPS 22962700 WITH SCORE 2.3045652031E7
AT ITER 1780 NEW BEST:: SOT 133144873 SOS 82950205 HAS SOPS 67810673 HAS SOUS 23546292 HAS SOUPS 22955908 WITH SCORE 2.3038858205E7
AT ITER 1785 NEW BEST:: SOT 133143882 SOS 82949280 HAS SOPS 67807796 HAS SOUS 23544236 HAS SOUPS 22953819 WITH SCORE 2.303676828E7
AT ITER 1790 NEW BEST:: SOT 133144707 SOS 82952015 HAS SOPS 67808166 HAS SOUS 23542543 HAS SOUPS 22951988 WITH SCORE 2.3034940015E7
AT ITER 1792 NEW BEST:: SOT 133147775 SOS 82970215 HAS SOPS 67821255 HAS SOUS 23515009 HAS SOUPS 22924454 WITH SCORE 2.3007424215E7
AT ITER 1799 NEW BEST:: SOT 133137564 SOS 82944444 HAS SOPS 67801112 HAS SOUS 23506598 HAS SOUPS 22916043 WITH SCORE 2.2998987444E7
AT ITER 1846 NEW BEST:: SOT 133137602 SOS 82944443 HAS SOPS 67801150 HAS SOUS 23506573 HAS SOUPS 22916018 WITH SCORE 2.2998962443E7
AT ITER 1853 NEW BEST:: SOT 133136024 SOS 82944756 HAS SOPS 67800735 HAS SOUS 23502186 HAS SOUPS 22911631 WITH SCORE 2.2994575756E7
AT ITER 1855 NEW BEST:: SOT 133129986 SOS 82938620 HAS SOPS 67792425 HAS SOUS 23487836 HAS SOUPS 22897329 WITH SCORE 2.298026762E7
AT ITER 1891 NEW BEST:: SOT 133132941 SOS 82956604 HAS SOPS 67806450 HAS SOUS 23482895 HAS SOUPS 22892388 WITH SCORE 2.2975344604E7
AT ITER 1906 NEW BEST:: SOT 133095009 SOS 82896547 HAS SOPS 67788853 HAS SOUS 23435090 HAS SOUPS 22844583 WITH SCORE 2.2927479547E7
AT ITER 1907 NEW BEST:: SOT 133092570 SOS 82895047 HAS SOPS 67787751 HAS SOUS 23417047 HAS SOUPS 22826938 WITH SCORE 2.2909833047E7
AT ITER 1924 NEW BEST:: SOT 133091858 SOS 82894491 HAS SOPS 67786421 HAS SOUS 23415335 HAS SOUPS 22825226 WITH SCORE 2.2908120491E7
AT ITER 1933 NEW BEST:: SOT 133094770 SOS 82894016 HAS SOPS 67809227 HAS SOUS 23413876 HAS SOUPS 22824001 WITH SCORE 2.2906895016E7
AT ITER 1937 NEW BEST:: SOT 133094692 SOS 82893852 HAS SOPS 67809432 HAS SOUS 23413676 HAS SOUPS 22823782 WITH SCORE 2.2906675852E7
AT ITER 1943 NEW BEST:: SOT 133091003 SOS 82878807 HAS SOPS 67797342 HAS SOUS 23412143 HAS SOUPS 22822249 WITH SCORE 2.2905127807E7
AT ITER 1956 NEW BEST:: SOT 133082678 SOS 82864550 HAS SOPS 67815303 HAS SOUS 23359736 HAS SOUPS 22770549 WITH SCORE 2.285341355E7
AT ITER 1972 NEW BEST:: SOT 133081379 SOS 82865489 HAS SOPS 67813440 HAS SOUS 23354131 HAS SOUPS 22764944 WITH SCORE 2.2847809489E7
AT ITER 1988 NEW BEST:: SOT 133083326 SOS 82850892 HAS SOPS 67826166 HAS SOUS 23339209 HAS SOUPS 22756511 WITH SCORE 2.2839361892E7
AT ITER 1991 NEW BEST:: SOT 133083614 SOS 82853166 HAS SOPS 67830890 HAS SOUS 23339062 HAS SOUPS 22756364 WITH SCORE 2.2839217166E7
AT ITER 2003 NEW BEST:: SOT 133090090 SOS 82868928 HAS SOPS 67875399 HAS SOUS 23334084 HAS SOUPS 22751386 WITH SCORE 2.2834254928E7
AT ITER 2005 NEW BEST:: SOT 133075489 SOS 82842724 HAS SOPS 67854251 HAS SOUS 23312270 HAS SOUPS 22729572 WITH SCORE 2.2812414724E7
AT ITER 2015 NEW BEST:: SOT 133065329 SOS 82830613 HAS SOPS 67846285 HAS SOUS 23299609 HAS SOUPS 22716911 WITH SCORE 2.2799741613E7
AT ITER 2025 NEW BEST:: SOT 133063654 SOS 82824233 HAS SOPS 67841140 HAS SOUS 23296297 HAS SOUPS 22713599 WITH SCORE 2.2796423233E7
AT ITER 2032 NEW BEST:: SOT 133065997 SOS 82833060 HAS SOPS 67847875 HAS SOUS 23287124 HAS SOUPS 22704426 WITH SCORE 2.278725906E7
AT ITER 2043 NEW BEST:: SOT 133062054 SOS 82831275 HAS SOPS 67843625 HAS SOUS 23273820 HAS SOUPS 22691011 WITH SCORE 2.2773842275E7
AT ITER 2054 NEW BEST:: SOT 133061634 SOS 82830555 HAS SOPS 67842665 HAS SOUS 23273235 HAS SOUPS 22690426 WITH SCORE 2.2773256555E7
AT ITER 2059 NEW BEST:: SOT 133062721 SOS 82822709 HAS SOPS 67836177 HAS SOUS 23272243 HAS SOUPS 22689434 WITH SCORE 2.2772256709E7
AT ITER 2063 NEW BEST:: SOT 133044613 SOS 82808127 HAS SOPS 67820045 HAS SOUS 23240613 HAS SOUPS 22657804 WITH SCORE 2.2740612127E7
AT ITER 2090 NEW BEST:: SOT 133041911 SOS 82803382 HAS SOPS 67814153 HAS SOUS 23235164 HAS SOUPS 22652355 WITH SCORE 2.2735158382E7
AT ITER 2103 NEW BEST:: SOT 133041550 SOS 82803075 HAS SOPS 67813014 HAS SOUS 23233779 HAS SOUPS 22650970 WITH SCORE 2.2733773075E7
AT ITER 2108 NEW BEST:: SOT 133037757 SOS 82798700 HAS SOPS 67807876 HAS SOUS 23226144 HAS SOUPS 22643425 WITH SCORE 2.27262237E7
AT ITER 2113 NEW BEST:: SOT 133037605 SOS 82798570 HAS SOPS 67807682 HAS SOUS 23225844 HAS SOUPS 22643125 WITH SCORE 2.272592357E7
AT ITER 2132 NEW BEST:: SOT 133009728 SOS 82729706 HAS SOPS 67756660 HAS SOUS 23216748 HAS SOUPS 22634029 WITH SCORE 2.2716758706E7

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"

# 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-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 r138-smll-158961502300088"
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 ;