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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.0K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 04:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 04:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 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 11K Feb 26 04:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 04:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 04:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 04:46 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 1679480689061

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-7
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 7
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 133675456 SOS 82302894 HAS SOPS 66847673 HAS SOUS 26432290 HAS SOUPS 25801599 WITH SCORE 2.5883901894E7
AT ITER 12 NEW BEST:: SOT 133714485 SOS 82383101 HAS SOPS 66910269 HAS SOUS 26412391 HAS SOUPS 25781700 WITH SCORE 2.5864083101E7
AT ITER 13 NEW BEST:: SOT 133731318 SOS 82435965 HAS SOPS 66955007 HAS SOUS 26410507 HAS SOUPS 25779816 WITH SCORE 2.5862251965E7
AT ITER 15 NEW BEST:: SOT 133729461 SOS 82434142 HAS SOPS 66954440 HAS SOUS 26403870 HAS SOUPS 25773675 WITH SCORE 2.5856109142E7
AT ITER 29 NEW BEST:: SOT 133746966 SOS 82506544 HAS SOPS 67024629 HAS SOUS 26402806 HAS SOUPS 25772611 WITH SCORE 2.5855117544E7
AT ITER 39 NEW BEST:: SOT 133746462 SOS 82505412 HAS SOPS 67022665 HAS SOUS 26401860 HAS SOUPS 25771665 WITH SCORE 2.5854170412E7
AT ITER 42 NEW BEST:: SOT 133745958 SOS 82505400 HAS SOPS 67020920 HAS SOUS 26393253 HAS SOUPS 25763058 WITH SCORE 2.58455634E7
AT ITER 44 NEW BEST:: SOT 133781800 SOS 82604677 HAS SOPS 67109615 HAS SOUS 26390892 HAS SOUPS 25760697 WITH SCORE 2.5843301677E7
AT ITER 46 NEW BEST:: SOT 133782674 SOS 82611530 HAS SOPS 67118031 HAS SOUS 26390425 HAS SOUPS 25760230 WITH SCORE 2.584284153E7
AT ITER 68 NEW BEST:: SOT 133781891 SOS 82610099 HAS SOPS 67117005 HAS SOUS 26388652 HAS SOUPS 25758646 WITH SCORE 2.5841256099E7
AT ITER 71 NEW BEST:: SOT 133783892 SOS 82615649 HAS SOPS 67115684 HAS SOUS 26379326 HAS SOUPS 25749217 WITH SCORE 2.5831832649E7
AT ITER 74 NEW BEST:: SOT 133782657 SOS 82608170 HAS SOPS 67106999 HAS SOUS 26371225 HAS SOUPS 25741116 WITH SCORE 2.582372417E7
AT ITER 89 NEW BEST:: SOT 133790146 SOS 82632613 HAS SOPS 67129013 HAS SOUS 26367052 HAS SOUPS 25736943 WITH SCORE 2.5819575613E7
AT ITER 97 NEW BEST:: SOT 133786054 SOS 82632077 HAS SOPS 67124719 HAS SOUS 26359449 HAS SOUPS 25729340 WITH SCORE 2.5811972077E7
AT ITER 100 NEW BEST:: SOT 133786635 SOS 82638744 HAS SOPS 67131141 HAS SOUS 26349787 HAS SOUPS 25719678 WITH SCORE 2.5802316744E7
AT ITER 105 NEW BEST:: SOT 133784664 SOS 82642908 HAS SOPS 67132925 HAS SOUS 26338036 HAS SOUPS 25707927 WITH SCORE 2.5790569908E7
AT ITER 109 NEW BEST:: SOT 133774698 SOS 82624032 HAS SOPS 67123324 HAS SOUS 26330019 HAS SOUPS 25699910 WITH SCORE 2.5782534032E7
AT ITER 112 NEW BEST:: SOT 133768363 SOS 82621490 HAS SOPS 67114245 HAS SOUS 26305698 HAS SOUPS 25675145 WITH SCORE 2.575776649E7
AT ITER 114 NEW BEST:: SOT 133775727 SOS 82642697 HAS SOPS 67128305 HAS SOUS 26301746 HAS SOUPS 25671193 WITH SCORE 2.5753835697E7
AT ITER 131 NEW BEST:: SOT 133776633 SOS 82646307 HAS SOPS 67130914 HAS SOUS 26301373 HAS SOUPS 25670820 WITH SCORE 2.5753466307E7
AT ITER 133 NEW BEST:: SOT 133762144 SOS 82629577 HAS SOPS 67113623 HAS SOUS 26260942 HAS SOUPS 25630607 WITH SCORE 2.5713236577E7
AT ITER 138 NEW BEST:: SOT 133759144 SOS 82626643 HAS SOPS 67109281 HAS SOUS 26253166 HAS SOUPS 25622831 WITH SCORE 2.5705457643E7
AT ITER 153 NEW BEST:: SOT 133748354 SOS 82623648 HAS SOPS 67118503 HAS SOUS 26244138 HAS SOUPS 25613803 WITH SCORE 2.5696426648E7
AT ITER 157 NEW BEST:: SOT 133768339 SOS 82656783 HAS SOPS 67148030 HAS SOUS 26237183 HAS SOUPS 25606848 WITH SCORE 2.5689504783E7
AT ITER 174 NEW BEST:: SOT 133767988 SOS 82656556 HAS SOPS 67146345 HAS SOUS 26232842 HAS SOUPS 25602878 WITH SCORE 2.5685534556E7
AT ITER 179 NEW BEST:: SOT 133831429 SOS 82812732 HAS SOPS 67287734 HAS SOUS 26227621 HAS SOUPS 25597657 WITH SCORE 2.5680469732E7
AT ITER 188 NEW BEST:: SOT 133805812 SOS 82782245 HAS SOPS 67255151 HAS SOUS 26195146 HAS SOUPS 25565286 WITH SCORE 2.5648068245E7
AT ITER 194 NEW BEST:: SOT 133804843 SOS 82780128 HAS SOPS 67254410 HAS SOUS 26194019 HAS SOUPS 25564200 WITH SCORE 2.5646980128E7
AT ITER 208 NEW BEST:: SOT 133804544 SOS 82778279 HAS SOPS 67254189 HAS SOUS 26192417 HAS SOUPS 25562598 WITH SCORE 2.5645376279E7
AT ITER 211 NEW BEST:: SOT 133803209 SOS 82775886 HAS SOPS 67265454 HAS SOUS 26185702 HAS SOUPS 25555883 WITH SCORE 2.5638658886E7
AT ITER 219 NEW BEST:: SOT 133802587 SOS 82775048 HAS SOPS 67265040 HAS SOUS 26185639 HAS SOUPS 25555820 WITH SCORE 2.5638595048E7
AT ITER 257 NEW BEST:: SOT 133810899 SOS 82815233 HAS SOPS 67331920 HAS SOUS 26171739 HAS SOUPS 25541920 WITH SCORE 2.5624735233E7
AT ITER 267 NEW BEST:: SOT 133810857 SOS 82815590 HAS SOPS 67332247 HAS SOUS 26171557 HAS SOUPS 25541738 WITH SCORE 2.562455359E7
AT ITER 283 NEW BEST:: SOT 133797802 SOS 82783903 HAS SOPS 67306533 HAS SOUS 26166390 HAS SOUPS 25536571 WITH SCORE 2.5619354903E7
AT ITER 301 NEW BEST:: SOT 133797972 SOS 82787774 HAS SOPS 67307826 HAS SOUS 26163394 HAS SOUPS 25533575 WITH SCORE 2.5616362774E7
AT ITER 303 NEW BEST:: SOT 133792765 SOS 82783250 HAS SOPS 67306807 HAS SOUS 26158373 HAS SOUPS 25528554 WITH SCORE 2.561133725E7
AT ITER 313 NEW BEST:: SOT 133770613 SOS 82761001 HAS SOPS 67297755 HAS SOUS 26139522 HAS SOUPS 25509962 WITH SCORE 2.5592723001E7
AT ITER 323 NEW BEST:: SOT 133768443 SOS 82757381 HAS SOPS 67295908 HAS SOUS 26135110 HAS SOUPS 25505550 WITH SCORE 2.5588307381E7
AT ITER 331 NEW BEST:: SOT 133675182 SOS 82641249 HAS SOPS 67187336 HAS SOUS 26031116 HAS SOUPS 25401768 WITH SCORE 2.5484409249E7
AT ITER 335 NEW BEST:: SOT 133646159 SOS 82612443 HAS SOPS 67153641 HAS SOUS 25995168 HAS SOUPS 25363476 WITH SCORE 2.5446088443E7
AT ITER 340 NEW BEST:: SOT 133640514 SOS 82593547 HAS SOPS 67129672 HAS SOUS 25985511 HAS SOUPS 25353819 WITH SCORE 2.5436412547E7
AT ITER 342 NEW BEST:: SOT 133653757 SOS 82627062 HAS SOPS 67170919 HAS SOUS 25983175 HAS SOUPS 25351483 WITH SCORE 2.5434110062E7
AT ITER 351 NEW BEST:: SOT 133686864 SOS 82684834 HAS SOPS 67239404 HAS SOUS 25976588 HAS SOUPS 25345688 WITH SCORE 2.5428372834E7
AT ITER 353 NEW BEST:: SOT 133698090 SOS 82701351 HAS SOPS 67261644 HAS SOUS 25961751 HAS SOUPS 25330626 WITH SCORE 2.5413327351E7
AT ITER 364 NEW BEST:: SOT 133705531 SOS 82709514 HAS SOPS 67265146 HAS SOUS 25958023 HAS SOUPS 25327978 WITH SCORE 2.5410687514E7
AT ITER 369 NEW BEST:: SOT 133662377 SOS 82660267 HAS SOPS 67240367 HAS SOUS 25880504 HAS SOUPS 25250830 WITH SCORE 2.5333490267E7
AT ITER 374 NEW BEST:: SOT 133651972 SOS 82648084 HAS SOPS 67227899 HAS SOUS 25847060 HAS SOUPS 25217418 WITH SCORE 2.5300066084E7
AT ITER 377 NEW BEST:: SOT 133668386 SOS 82689530 HAS SOPS 67256889 HAS SOUS 25838659 HAS SOUPS 25208443 WITH SCORE 2.529113253E7
AT ITER 380 NEW BEST:: SOT 133669347 SOS 82696125 HAS SOPS 67262776 HAS SOUS 25838154 HAS SOUPS 25207938 WITH SCORE 2.5290634125E7
AT ITER 381 NEW BEST:: SOT 133654345 SOS 82668309 HAS SOPS 67239286 HAS SOUS 25833756 HAS SOUPS 25203540 WITH SCORE 2.5286208309E7
AT ITER 382 NEW BEST:: SOT 133665617 SOS 82717090 HAS SOPS 67292753 HAS SOUS 25826008 HAS SOUPS 25195792 WITH SCORE 2.527850909E7
AT ITER 384 NEW BEST:: SOT 133665932 SOS 82717624 HAS SOPS 67291916 HAS SOUS 25823418 HAS SOUPS 25193223 WITH SCORE 2.5275940624E7
AT ITER 400 NEW BEST:: SOT 133667317 SOS 82725146 HAS SOPS 67298811 HAS SOUS 25822545 HAS SOUPS 25192350 WITH SCORE 2.5275075146E7
AT ITER 404 NEW BEST:: SOT 133649536 SOS 82681980 HAS SOPS 67275235 HAS SOUS 25818895 HAS SOUPS 25188700 WITH SCORE 2.527138198E7
AT ITER 413 NEW BEST:: SOT 133649539 SOS 82677029 HAS SOPS 67273396 HAS SOUS 25817404 HAS SOUPS 25187209 WITH SCORE 2.5269886029E7
AT ITER 425 NEW BEST:: SOT 133647155 SOS 82662689 HAS SOPS 67261617 HAS SOUS 25815250 HAS SOUPS 25185055 WITH SCORE 2.5267717689E7
AT ITER 430 NEW BEST:: SOT 133637860 SOS 82653295 HAS SOPS 67247997 HAS SOUS 25797575 HAS SOUPS 25167333 WITH SCORE 2.5249986295E7
AT ITER 436 NEW BEST:: SOT 133623667 SOS 82624126 HAS SOPS 67228449 HAS SOUS 25795754 HAS SOUPS 25165512 WITH SCORE 2.5248136126E7
AT ITER 439 NEW BEST:: SOT 133613705 SOS 82601528 HAS SOPS 67216652 HAS SOUS 25794997 HAS SOUPS 25164755 WITH SCORE 2.5247356528E7
AT ITER 440 NEW BEST:: SOT 133613958 SOS 82602892 HAS SOPS 67217333 HAS SOUS 25793614 HAS SOUPS 25163372 WITH SCORE 2.5245974892E7
AT ITER 443 NEW BEST:: SOT 133609219 SOS 82592569 HAS SOPS 67215248 HAS SOUS 25772850 HAS SOUPS 25145793 WITH SCORE 2.5228385569E7
AT ITER 460 NEW BEST:: SOT 133609235 SOS 82592608 HAS SOPS 67215319 HAS SOUS 25772786 HAS SOUPS 25145729 WITH SCORE 2.5228321608E7
AT ITER 486 NEW BEST:: SOT 133610010 SOS 82596683 HAS SOPS 67217747 HAS SOUS 25768442 HAS SOUPS 25141385 WITH SCORE 2.5223981683E7
AT ITER 490 NEW BEST:: SOT 133610611 SOS 82601416 HAS SOPS 67217614 HAS SOUS 25762461 HAS SOUPS 25135404 WITH SCORE 2.5218005416E7
AT ITER 510 NEW BEST:: SOT 133610496 SOS 82601321 HAS SOPS 67217439 HAS SOUS 25762256 HAS SOUPS 25135199 WITH SCORE 2.5217800321E7
AT ITER 511 NEW BEST:: SOT 133616299 SOS 82610866 HAS SOPS 67223543 HAS SOUS 25755277 HAS SOUPS 25129060 WITH SCORE 2.5211670866E7
AT ITER 519 NEW BEST:: SOT 133612285 SOS 82591588 HAS SOPS 67197220 HAS SOUS 25743398 HAS SOUPS 25117181 WITH SCORE 2.5199772588E7
AT ITER 528 NEW BEST:: SOT 133612141 SOS 82591429 HAS SOPS 67197067 HAS SOUS 25743119 HAS SOUPS 25116899 WITH SCORE 2.5199490429E7
AT ITER 529 NEW BEST:: SOT 133570573 SOS 82539007 HAS SOPS 67159268 HAS SOUS 25697338 HAS SOUPS 25071118 WITH SCORE 2.5153657007E7
AT ITER 547 NEW BEST:: SOT 133558847 SOS 82527519 HAS SOPS 67147641 HAS SOUS 25686433 HAS SOUPS 25060167 WITH SCORE 2.5142694519E7
AT ITER 549 NEW BEST:: SOT 133555569 SOS 82524241 HAS SOPS 67142267 HAS SOUS 25676247 HAS SOUPS 25049929 WITH SCORE 2.5132453241E7
AT ITER 563 NEW BEST:: SOT 133519397 SOS 82475959 HAS SOPS 67098497 HAS SOUS 25635473 HAS SOUPS 25009632 WITH SCORE 2.5092107959E7
AT ITER 570 NEW BEST:: SOT 133525720 SOS 82493351 HAS SOPS 67124559 HAS SOUS 25630905 HAS SOUPS 25005064 WITH SCORE 2.5087557351E7
AT ITER 580 NEW BEST:: SOT 133555233 SOS 82573509 HAS SOPS 67175682 HAS SOUS 25609166 HAS SOUPS 24983325 WITH SCORE 2.5065898509E7
AT ITER 582 NEW BEST:: SOT 133568009 SOS 82605572 HAS SOPS 67198096 HAS SOUS 25607451 HAS SOUPS 24981610 WITH SCORE 2.5064215572E7
AT ITER 598 NEW BEST:: SOT 133571218 SOS 82610843 HAS SOPS 67204587 HAS SOUS 25605669 HAS SOUPS 24979702 WITH SCORE 2.5062312843E7
AT ITER 605 NEW BEST:: SOT 133566898 SOS 82603057 HAS SOPS 67197856 HAS SOUS 25602185 HAS SOUPS 24976218 WITH SCORE 2.5058821057E7
AT ITER 614 NEW BEST:: SOT 133568783 SOS 82607308 HAS SOPS 67202254 HAS SOUS 25602068 HAS SOUPS 24976101 WITH SCORE 2.5058708308E7
AT ITER 620 NEW BEST:: SOT 133563868 SOS 82605087 HAS SOPS 67198519 HAS SOUS 25579265 HAS SOUPS 24953298 WITH SCORE 2.5035903087E7
AT ITER 625 NEW BEST:: SOT 133563735 SOS 82593769 HAS SOPS 67173821 HAS SOUS 25577220 HAS SOUPS 24951253 WITH SCORE 2.5033846769E7
AT ITER 628 NEW BEST:: SOT 133563446 SOS 82593406 HAS SOPS 67172418 HAS SOUS 25576120 HAS SOUPS 24950153 WITH SCORE 2.5032746406E7
AT ITER 635 NEW BEST:: SOT 133570070 SOS 82617846 HAS SOPS 67188941 HAS SOUS 25567379 HAS SOUPS 24941412 WITH SCORE 2.5024029846E7
AT ITER 639 NEW BEST:: SOT 133572671 SOS 82620820 HAS SOPS 67187700 HAS SOUS 25559071 HAS SOUPS 24933029 WITH SCORE 2.501564982E7
AT ITER 652 NEW BEST:: SOT 133591188 SOS 82683032 HAS SOPS 67242555 HAS SOUS 25557307 HAS SOUPS 24931265 WITH SCORE 2.5013948032E7
AT ITER 653 NEW BEST:: SOT 133583217 SOS 82675676 HAS SOPS 67235652 HAS SOUS 25547171 HAS SOUPS 24921129 WITH SCORE 2.5003804676E7
AT ITER 665 NEW BEST:: SOT 133570324 SOS 82656324 HAS SOPS 67219974 HAS SOUS 25531846 HAS SOUPS 24904988 WITH SCORE 2.4987644324E7
AT ITER 685 NEW BEST:: SOT 133639595 SOS 82819875 HAS SOPS 67369957 HAS SOUS 25530499 HAS SOUPS 24903641 WITH SCORE 2.4986460875E7
AT ITER 691 NEW BEST:: SOT 133642205 SOS 82826918 HAS SOPS 67375493 HAS SOUS 25525546 HAS SOUPS 24898688 WITH SCORE 2.4981514918E7
AT ITER 696 NEW BEST:: SOT 133642878 SOS 82825219 HAS SOPS 67374721 HAS SOUS 25522835 HAS SOUPS 24895977 WITH SCORE 2.4978802219E7
AT ITER 702 NEW BEST:: SOT 133636824 SOS 82789153 HAS SOPS 67348483 HAS SOUS 25521272 HAS SOUPS 24894414 WITH SCORE 2.4977203153E7
AT ITER 703 NEW BEST:: SOT 133636884 SOS 82789683 HAS SOPS 67348838 HAS SOUS 25520937 HAS SOUPS 24894079 WITH SCORE 2.4976868683E7
AT ITER 711 NEW BEST:: SOT 133638581 SOS 82794548 HAS SOPS 67352903 HAS SOUS 25518045 HAS SOUPS 24891187 WITH SCORE 2.4973981548E7
AT ITER 745 NEW BEST:: SOT 133659418 SOS 82830136 HAS SOPS 67379093 HAS SOUS 25516879 HAS SOUPS 24890021 WITH SCORE 2.4972851136E7
AT ITER 754 NEW BEST:: SOT 133666102 SOS 82843174 HAS SOPS 67391090 HAS SOUS 25514552 HAS SOUPS 24887632 WITH SCORE 2.4970475174E7
AT ITER 760 NEW BEST:: SOT 133678292 SOS 82884556 HAS SOPS 67431947 HAS SOUS 25507523 HAS SOUPS 24880603 WITH SCORE 2.4963487556E7
AT ITER 774 NEW BEST:: SOT 133679370 SOS 82882857 HAS SOPS 67429064 HAS SOUS 25505419 HAS SOUPS 24878499 WITH SCORE 2.4961381857E7
AT ITER 777 NEW BEST:: SOT 133678938 SOS 82872447 HAS SOPS 67415597 HAS SOUS 25495100 HAS SOUPS 24871906 WITH SCORE 2.4954778447E7
AT ITER 789 NEW BEST:: SOT 133687278 SOS 82891481 HAS SOPS 67431108 HAS SOUS 25491463 HAS SOUPS 24868269 WITH SCORE 2.4951160481E7
AT ITER 794 NEW BEST:: SOT 133679290 SOS 82883431 HAS SOPS 67422249 HAS SOUS 25481619 HAS SOUPS 24857915 WITH SCORE 2.4940798431E7
AT ITER 799 NEW BEST:: SOT 133678451 SOS 82881862 HAS SOPS 67422817 HAS SOUS 25479006 HAS SOUPS 24855302 WITH SCORE 2.4938183862E7
AT ITER 816 NEW BEST:: SOT 133669267 SOS 82860988 HAS SOPS 67406848 HAS SOUS 25471933 HAS SOUPS 24848229 WITH SCORE 2.4931089988E7
AT ITER 820 NEW BEST:: SOT 133669051 SOS 82848232 HAS SOPS 67402018 HAS SOUS 25468058 HAS SOUPS 24844524 WITH SCORE 2.4927372232E7
AT ITER 822 NEW BEST:: SOT 133659059 SOS 82829929 HAS SOPS 67392717 HAS SOUS 25458083 HAS SOUPS 24835013 WITH SCORE 2.4917842929E7
AT ITER 834 NEW BEST:: SOT 133660255 SOS 82824000 HAS SOPS 67418706 HAS SOUS 25455070 HAS SOUPS 24832000 WITH SCORE 2.4914824E7
AT ITER 838 NEW BEST:: SOT 133650409 SOS 82800879 HAS SOPS 67397515 HAS SOUS 25455091 HAS SOUPS 24832021 WITH SCORE 2.4914821879E7
AT ITER 844 NEW BEST:: SOT 133634979 SOS 82785449 HAS SOPS 67382085 HAS SOUS 25439421 HAS SOUPS 24816351 WITH SCORE 2.4899136449E7
AT ITER 845 NEW BEST:: SOT 133590108 SOS 82739936 HAS SOPS 67331530 HAS SOUS 25392297 HAS SOUPS 24769037 WITH SCORE 2.4851776936E7
AT ITER 849 NEW BEST:: SOT 133592161 SOS 82745376 HAS SOPS 67335616 HAS SOUS 25386449 HAS SOUPS 24763293 WITH SCORE 2.4846038376E7
AT ITER 852 NEW BEST:: SOT 133592272 SOS 82753939 HAS SOPS 67343866 HAS SOUS 25368021 HAS SOUPS 24744865 WITH SCORE 2.4827618939E7
AT ITER 859 NEW BEST:: SOT 133552904 SOS 82677504 HAS SOPS 67290131 HAS SOUS 25346196 HAS SOUPS 24723040 WITH SCORE 2.4805717504E7
AT ITER 869 NEW BEST:: SOT 133537514 SOS 82661462 HAS SOPS 67272041 HAS SOUS 25334649 HAS SOUPS 24711493 WITH SCORE 2.4794154462E7
AT ITER 876 NEW BEST:: SOT 133565794 SOS 82727696 HAS SOPS 67345162 HAS SOUS 25325459 HAS SOUPS 24702060 WITH SCORE 2.4784787696E7
AT ITER 883 NEW BEST:: SOT 133575986 SOS 82753674 HAS SOPS 67351009 HAS SOUS 25289320 HAS SOUPS 24665921 WITH SCORE 2.4748674674E7
AT ITER 885 NEW BEST:: SOT 133576733 SOS 82754698 HAS SOPS 67354397 HAS SOUS 25288941 HAS SOUPS 24665542 WITH SCORE 2.4748296698E7
AT ITER 889 NEW BEST:: SOT 133576651 SOS 82754616 HAS SOPS 67354315 HAS SOUS 25288291 HAS SOUPS 24664892 WITH SCORE 2.4747646616E7
AT ITER 897 NEW BEST:: SOT 133576766 SOS 82750275 HAS SOPS 67354430 HAS SOUS 25288245 HAS SOUPS 24664846 WITH SCORE 2.4747596275E7
AT ITER 905 NEW BEST:: SOT 133567712 SOS 82740861 HAS SOPS 67345106 HAS SOUS 25276941 HAS SOUPS 24654172 WITH SCORE 2.4736912861E7
AT ITER 909 NEW BEST:: SOT 133567295 SOS 82734001 HAS SOPS 67342558 HAS SOUS 25272473 HAS SOUPS 24649704 WITH SCORE 2.4732438001E7
AT ITER 924 NEW BEST:: SOT 133568785 SOS 82734149 HAS SOPS 67341628 HAS SOUS 25267138 HAS SOUPS 24644918 WITH SCORE 2.4727652149E7
AT ITER 929 NEW BEST:: SOT 133575045 SOS 82737273 HAS SOPS 67343615 HAS SOUS 25262352 HAS SOUPS 24639321 WITH SCORE 2.4722058273E7
AT ITER 942 NEW BEST:: SOT 133505527 SOS 82604612 HAS SOPS 67258331 HAS SOUS 25212373 HAS SOUPS 24589888 WITH SCORE 2.4672492612E7
AT ITER 948 NEW BEST:: SOT 133511979 SOS 82633261 HAS SOPS 67275107 HAS SOUS 25195572 HAS SOUPS 24573087 WITH SCORE 2.4655720261E7
AT ITER 950 NEW BEST:: SOT 133485789 SOS 82600493 HAS SOPS 67232827 HAS SOUS 25169860 HAS SOUPS 24547049 WITH SCORE 2.4629649493E7
AT ITER 962 NEW BEST:: SOT 133474371 SOS 82578651 HAS SOPS 67215350 HAS SOUS 25162455 HAS SOUPS 24538964 WITH SCORE 2.4621542651E7
AT ITER 972 NEW BEST:: SOT 133475030 SOS 82582804 HAS SOPS 67213176 HAS SOUS 25156184 HAS SOUPS 24532693 WITH SCORE 2.4615275804E7
AT ITER 979 NEW BEST:: SOT 133464605 SOS 82561437 HAS SOPS 67197428 HAS SOUS 25143921 HAS SOUPS 24520430 WITH SCORE 2.4602991437E7
AT ITER 1003 NEW BEST:: SOT 133453882 SOS 82529913 HAS SOPS 67168392 HAS SOUS 25134073 HAS SOUPS 24510582 WITH SCORE 2.4593111913E7
AT ITER 1020 NEW BEST:: SOT 133454910 SOS 82535797 HAS SOPS 67173501 HAS SOUS 25133524 HAS SOUPS 24510033 WITH SCORE 2.4592568797E7
AT ITER 1028 NEW BEST:: SOT 133455345 SOS 82536676 HAS SOPS 67173734 HAS SOUS 25133489 HAS SOUPS 24509998 WITH SCORE 2.4592534676E7
AT ITER 1037 NEW BEST:: SOT 133457970 SOS 82544492 HAS SOPS 67178070 HAS SOUS 25130258 HAS SOUPS 24506703 WITH SCORE 2.4589247492E7
AT ITER 1044 NEW BEST:: SOT 133488997 SOS 82608401 HAS SOPS 67224697 HAS SOUS 25129703 HAS SOUPS 24506148 WITH SCORE 2.4588756401E7
AT ITER 1047 NEW BEST:: SOT 133492334 SOS 82625880 HAS SOPS 67238792 HAS SOUS 25126475 HAS SOUPS 24502920 WITH SCORE 2.458554588E7
AT ITER 1055 NEW BEST:: SOT 133491442 SOS 82624363 HAS SOPS 67237655 HAS SOUS 25126043 HAS SOUPS 24502488 WITH SCORE 2.4585112363E7
AT ITER 1056 NEW BEST:: SOT 133518322 SOS 82696827 HAS SOPS 67284769 HAS SOUS 25113952 HAS SOUPS 24490397 WITH SCORE 2.4573093827E7
AT ITER 1089 NEW BEST:: SOT 133542071 SOS 82755362 HAS SOPS 67334665 HAS SOUS 25104241 HAS SOUPS 24480686 WITH SCORE 2.4563441362E7
AT ITER 1098 NEW BEST:: SOT 133519166 SOS 82700449 HAS SOPS 67308407 HAS SOUS 25094768 HAS SOUPS 24471213 WITH SCORE 2.4553913449E7
AT ITER 1124 NEW BEST:: SOT 133536705 SOS 82715036 HAS SOPS 67314351 HAS SOUS 25061012 HAS SOUPS 24437465 WITH SCORE 2.4520180036E7
AT ITER 1125 NEW BEST:: SOT 133469975 SOS 82588423 HAS SOPS 67278017 HAS SOUS 25051488 HAS SOUPS 24431009 WITH SCORE 2.4513597423E7
AT ITER 1142 NEW BEST:: SOT 133470436 SOS 82597294 HAS SOPS 67281491 HAS SOUS 25045402 HAS SOUPS 24424923 WITH SCORE 2.4507520294E7
AT ITER 1143 NEW BEST:: SOT 133473868 SOS 82606388 HAS SOPS 67288893 HAS SOUS 25043107 HAS SOUPS 24422538 WITH SCORE 2.4505144388E7
AT ITER 1163 NEW BEST:: SOT 133487010 SOS 82669025 HAS SOPS 67348352 HAS SOUS 25041273 HAS SOUPS 24420704 WITH SCORE 2.4503373025E7
AT ITER 1168 NEW BEST:: SOT 133487214 SOS 82669549 HAS SOPS 67348352 HAS SOUS 25041265 HAS SOUPS 24420692 WITH SCORE 2.4503361549E7
AT ITER 1187 NEW BEST:: SOT 133463018 SOS 82631260 HAS SOPS 67315665 HAS SOUS 25025901 HAS SOUPS 24405375 WITH SCORE 2.448800626E7
AT ITER 1194 NEW BEST:: SOT 133460656 SOS 82628614 HAS SOPS 67310395 HAS SOUS 25019615 HAS SOUPS 24399089 WITH SCORE 2.4481717614E7
AT ITER 1203 NEW BEST:: SOT 133454840 SOS 82616219 HAS SOPS 67300295 HAS SOUS 25015784 HAS SOUPS 24395258 WITH SCORE 2.4477874219E7
AT ITER 1207 NEW BEST:: SOT 133448905 SOS 82610295 HAS SOPS 67289708 HAS SOUS 24989266 HAS SOUPS 24368740 WITH SCORE 2.4451350295E7
AT ITER 1272 NEW BEST:: SOT 133450991 SOS 82615517 HAS SOPS 67291077 HAS SOUS 24976195 HAS SOUPS 24355669 WITH SCORE 2.4438284517E7
AT ITER 1300 NEW BEST:: SOT 133466350 SOS 82658284 HAS SOPS 67328544 HAS SOUS 24975990 HAS SOUPS 24355464 WITH SCORE 2.4438122284E7
AT ITER 1317 NEW BEST:: SOT 133461454 SOS 82653418 HAS SOPS 67321894 HAS SOUS 24959192 HAS SOUPS 24338666 WITH SCORE 2.4421319418E7
AT ITER 1325 NEW BEST:: SOT 133460580 SOS 82650881 HAS SOPS 67320035 HAS SOUS 24958259 HAS SOUPS 24337733 WITH SCORE 2.4420383881E7
AT ITER 1331 NEW BEST:: SOT 133478776 SOS 82695084 HAS SOPS 67351184 HAS SOUS 24958031 HAS SOUPS 24337505 WITH SCORE 2.4420200084E7
AT ITER 1335 NEW BEST:: SOT 133478316 SOS 82693758 HAS SOPS 67349793 HAS SOUS 24957627 HAS SOUPS 24337101 WITH SCORE 2.4419794758E7
AT ITER 1339 NEW BEST:: SOT 133478179 SOS 82693621 HAS SOPS 67349760 HAS SOUS 24957478 HAS SOUPS 24336964 WITH SCORE 2.4419657621E7
AT ITER 1351 NEW BEST:: SOT 133384934 SOS 82599665 HAS SOPS 67247845 HAS SOUS 24824273 HAS SOUPS 24203874 WITH SCORE 2.4286473665E7
AT ITER 1372 NEW BEST:: SOT 133361923 SOS 82576459 HAS SOPS 67223839 HAS SOUS 24804481 HAS SOUPS 24184082 WITH SCORE 2.4266658459E7
AT ITER 1380 NEW BEST:: SOT 133374282 SOS 82604058 HAS SOPS 67243412 HAS SOUS 24803063 HAS SOUPS 24181657 WITH SCORE 2.4264261058E7
AT ITER 1390 NEW BEST:: SOT 133373843 SOS 82623677 HAS SOPS 67273864 HAS SOUS 24799821 HAS SOUPS 24178415 WITH SCORE 2.4261038677E7
AT ITER 1392 NEW BEST:: SOT 133354592 SOS 82595547 HAS SOPS 67238811 HAS SOUS 24773258 HAS SOUPS 24151754 WITH SCORE 2.4234349547E7
AT ITER 1395 NEW BEST:: SOT 133358117 SOS 82613095 HAS SOPS 67254231 HAS SOUS 24772999 HAS SOUPS 24151495 WITH SCORE 2.4234108095E7
AT ITER 1399 NEW BEST:: SOT 133364982 SOS 82627630 HAS SOPS 67257342 HAS SOUS 24753708 HAS SOUPS 24132204 WITH SCORE 2.421483163E7
AT ITER 1403 NEW BEST:: SOT 133347991 SOS 82602763 HAS SOPS 67230767 HAS SOUS 24719125 HAS SOUPS 24097759 WITH SCORE 2.4180361763E7
AT ITER 1412 NEW BEST:: SOT 133334912 SOS 82566114 HAS SOPS 67209853 HAS SOUS 24706120 HAS SOUPS 24085974 WITH SCORE 2.4168540114E7
AT ITER 1426 NEW BEST:: SOT 133316922 SOS 82548124 HAS SOPS 67191863 HAS SOUS 24682994 HAS SOUPS 24062848 WITH SCORE 2.4145396124E7
AT ITER 1427 NEW BEST:: SOT 133317760 SOS 82547996 HAS SOPS 67193521 HAS SOUS 24677595 HAS SOUPS 24058064 WITH SCORE 2.4140611996E7
AT ITER 1436 NEW BEST:: SOT 133322530 SOS 82570731 HAS SOPS 67197350 HAS SOUS 24647047 HAS SOUPS 24027516 WITH SCORE 2.4110086731E7
AT ITER 1450 NEW BEST:: SOT 133315482 SOS 82557577 HAS SOPS 67185425 HAS SOUS 24636415 HAS SOUPS 24016941 WITH SCORE 2.4099498577E7
AT ITER 1455 NEW BEST:: SOT 133314077 SOS 82551461 HAS SOPS 67185390 HAS SOUS 24623852 HAS SOUPS 24005616 WITH SCORE 2.4088167461E7
AT ITER 1456 NEW BEST:: SOT 133320294 SOS 82576878 HAS SOPS 67205910 HAS SOUS 24616738 HAS SOUPS 23998502 WITH SCORE 2.4081078878E7
AT ITER 1457 NEW BEST:: SOT 133327407 SOS 82585801 HAS SOPS 67210803 HAS SOUS 24615608 HAS SOUPS 23997372 WITH SCORE 2.4079957801E7
AT ITER 1461 NEW BEST:: SOT 133345395 SOS 82650062 HAS SOPS 67268214 HAS SOUS 24552105 HAS SOUPS 23933869 WITH SCORE 2.4016519062E7
AT ITER 1482 NEW BEST:: SOT 133345267 SOS 82648260 HAS SOPS 67265777 HAS SOUS 24551861 HAS SOUPS 23933625 WITH SCORE 2.401627326E7
AT ITER 1493 NEW BEST:: SOT 133342900 SOS 82644018 HAS SOPS 67262961 HAS SOUS 24545027 HAS SOUPS 23926791 WITH SCORE 2.4009435018E7
AT ITER 1498 NEW BEST:: SOT 133342296 SOS 82643652 HAS SOPS 67262325 HAS SOUS 24543926 HAS SOUPS 23925690 WITH SCORE 2.4008333652E7
AT ITER 1499 NEW BEST:: SOT 133341493 SOS 82642714 HAS SOPS 67260372 HAS SOUS 24542079 HAS SOUPS 23923843 WITH SCORE 2.4006485714E7
AT ITER 1500 NEW BEST:: SOT 133338548 SOS 82649617 HAS SOPS 67271599 HAS SOUS 24525382 HAS SOUPS 23907146 WITH SCORE 2.3989795617E7
AT ITER 1501 NEW BEST:: SOT 133340121 SOS 82659613 HAS SOPS 67276033 HAS SOUS 24512303 HAS SOUPS 23894067 WITH SCORE 2.3976726613E7
AT ITER 1518 NEW BEST:: SOT 133390928 SOS 82703945 HAS SOPS 67399905 HAS SOUS 24510385 HAS SOUPS 23892149 WITH SCORE 2.3974852945E7
AT ITER 1521 NEW BEST:: SOT 133394675 SOS 82712592 HAS SOPS 67402576 HAS SOUS 24508209 HAS SOUPS 23889973 WITH SCORE 2.3972685592E7
AT ITER 1524 NEW BEST:: SOT 133405038 SOS 82738036 HAS SOPS 67424123 HAS SOUS 24507676 HAS SOUPS 23889440 WITH SCORE 2.3972178036E7
AT ITER 1532 NEW BEST:: SOT 133416710 SOS 82765151 HAS SOPS 67435726 HAS SOUS 24474645 HAS SOUPS 23856798 WITH SCORE 2.3939563151E7
AT ITER 1537 NEW BEST:: SOT 133472291 SOS 82883316 HAS SOPS 67565473 HAS SOUS 24466277 HAS SOUPS 23848979 WITH SCORE 2.3931862316E7
AT ITER 1559 NEW BEST:: SOT 133471315 SOS 82899870 HAS SOPS 67586185 HAS SOUS 24456579 HAS SOUPS 23839281 WITH SCORE 2.392218087E7
AT ITER 1584 NEW BEST:: SOT 133471161 SOS 82899039 HAS SOPS 67584450 HAS SOUS 24455682 HAS SOUPS 23838384 WITH SCORE 2.3921283039E7
AT ITER 1587 NEW BEST:: SOT 133472596 SOS 82900127 HAS SOPS 67590709 HAS SOUS 24447445 HAS SOUPS 23830147 WITH SCORE 2.3913047127E7
AT ITER 1593 NEW BEST:: SOT 133476438 SOS 82929075 HAS SOPS 67610125 HAS SOUS 24434867 HAS SOUPS 23817569 WITH SCORE 2.3900498075E7
AT ITER 1599 NEW BEST:: SOT 133486271 SOS 82943845 HAS SOPS 67618459 HAS SOUS 24415985 HAS SOUPS 23798693 WITH SCORE 2.3881636845E7
AT ITER 1609 NEW BEST:: SOT 133465577 SOS 82916195 HAS SOPS 67597355 HAS SOUS 24391401 HAS SOUPS 23776268 WITH SCORE 2.3859184195E7
AT ITER 1625 NEW BEST:: SOT 133451845 SOS 82911593 HAS SOPS 67595299 HAS SOUS 24336003 HAS SOUPS 23720870 WITH SCORE 2.3803781593E7
AT ITER 1626 NEW BEST:: SOT 133451566 SOS 82912886 HAS SOPS 67594302 HAS SOUS 24334107 HAS SOUPS 23718974 WITH SCORE 2.3801886886E7
AT ITER 1630 NEW BEST:: SOT 133447893 SOS 82909276 HAS SOPS 67588430 HAS SOUS 24324983 HAS SOUPS 23709800 WITH SCORE 2.3792709276E7
AT ITER 1636 NEW BEST:: SOT 133449894 SOS 82915755 HAS SOPS 67590893 HAS SOUS 24317578 HAS SOUPS 23702395 WITH SCORE 2.3785310755E7
AT ITER 1642 NEW BEST:: SOT 133447905 SOS 82886520 HAS SOPS 67561672 HAS SOUS 24282893 HAS SOUPS 23667710 WITH SCORE 2.375059652E7
AT ITER 1643 NEW BEST:: SOT 133436100 SOS 82860380 HAS SOPS 67547323 HAS SOUS 24276029 HAS SOUPS 23661683 WITH SCORE 2.374454338E7
AT ITER 1644 NEW BEST:: SOT 133425643 SOS 82839017 HAS SOPS 67514604 HAS SOUS 24246760 HAS SOUPS 23632414 WITH SCORE 2.3715253017E7
AT ITER 1647 NEW BEST:: SOT 133427730 SOS 82846204 HAS SOPS 67520669 HAS SOUS 24246502 HAS SOUPS 23632156 WITH SCORE 2.3715002204E7
AT ITER 1654 NEW BEST:: SOT 133438221 SOS 82862317 HAS SOPS 67533121 HAS SOUS 24231058 HAS SOUPS 23616712 WITH SCORE 2.3699574317E7
AT ITER 1663 NEW BEST:: SOT 133426367 SOS 82837423 HAS SOPS 67511059 HAS SOUS 24218302 HAS SOUPS 23603956 WITH SCORE 2.3686793423E7
AT ITER 1678 NEW BEST:: SOT 133427004 SOS 82856973 HAS SOPS 67517554 HAS SOUS 24201894 HAS SOUPS 23587548 WITH SCORE 2.3670404973E7
AT ITER 1683 NEW BEST:: SOT 133428313 SOS 82864755 HAS SOPS 67525605 HAS SOUS 24198269 HAS SOUPS 23583923 WITH SCORE 2.3666787755E7
AT ITER 1687 NEW BEST:: SOT 133424988 SOS 82858168 HAS SOPS 67520845 HAS SOUS 24196070 HAS SOUPS 23581724 WITH SCORE 2.3664582168E7
AT ITER 1705 NEW BEST:: SOT 133437432 SOS 82907705 HAS SOPS 67596885 HAS SOUS 24192431 HAS SOUPS 23578085 WITH SCORE 2.3660992705E7
AT ITER 1734 NEW BEST:: SOT 133532965 SOS 83101313 HAS SOPS 67815819 HAS SOUS 24184790 HAS SOUPS 23570627 WITH SCORE 2.3653728313E7
AT ITER 1742 NEW BEST:: SOT 133526568 SOS 83077597 HAS SOPS 67799399 HAS SOUS 24184736 HAS SOUPS 23570573 WITH SCORE 2.3653650597E7
AT ITER 1755 NEW BEST:: SOT 133525251 SOS 83080066 HAS SOPS 67799698 HAS SOUS 24178010 HAS SOUPS 23563847 WITH SCORE 2.3646927066E7
AT ITER 1778 NEW BEST:: SOT 133560686 SOS 83185332 HAS SOPS 67912785 HAS SOUS 24158553 HAS SOUPS 23544390 WITH SCORE 2.3627575332E7
AT ITER 1782 NEW BEST:: SOT 133551052 SOS 83169014 HAS SOPS 67890577 HAS SOUS 24138432 HAS SOUPS 23524269 WITH SCORE 2.3607438014E7
AT ITER 1784 NEW BEST:: SOT 133552095 SOS 83170905 HAS SOPS 67893340 HAS SOUS 24136937 HAS SOUPS 23522774 WITH SCORE 2.3605944905E7
AT ITER 1812 NEW BEST:: SOT 133539656 SOS 83160073 HAS SOPS 67886544 HAS SOUS 24136519 HAS SOUPS 23522356 WITH SCORE 2.3605516073E7
AT ITER 1813 NEW BEST:: SOT 133527557 SOS 83136893 HAS SOPS 67888540 HAS SOUS 24115006 HAS SOUPS 23500843 WITH SCORE 2.3583979893E7
AT ITER 1835 NEW BEST:: SOT 133559405 SOS 83202092 HAS SOPS 67935525 HAS SOUS 24100556 HAS SOUPS 23486393 WITH SCORE 2.3569595092E7
AT ITER 1836 NEW BEST:: SOT 133565593 SOS 83222825 HAS SOPS 67950397 HAS SOUS 24099944 HAS SOUPS 23485781 WITH SCORE 2.3569003825E7
AT ITER 1840 NEW BEST:: SOT 133564884 SOS 83222943 HAS SOPS 67952448 HAS SOUS 24099321 HAS SOUPS 23485195 WITH SCORE 2.3568417943E7
AT ITER 1844 NEW BEST:: SOT 133543286 SOS 83192311 HAS SOPS 67947999 HAS SOUS 24091704 HAS SOUPS 23477578 WITH SCORE 2.3560770311E7
AT ITER 1847 NEW BEST:: SOT 133541759 SOS 83191445 HAS SOPS 67944226 HAS SOUS 24085659 HAS SOUPS 23472349 WITH SCORE 2.3555540445E7
AT ITER 1855 NEW BEST:: SOT 133554804 SOS 83220875 HAS SOPS 67958926 HAS SOUS 24080527 HAS SOUPS 23467217 WITH SCORE 2.3550437875E7
AT ITER 1857 NEW BEST:: SOT 133555444 SOS 83222113 HAS SOPS 67959474 HAS SOUS 24080496 HAS SOUPS 23467186 WITH SCORE 2.3550408113E7
AT ITER 1870 NEW BEST:: SOT 133550536 SOS 83208099 HAS SOPS 67948438 HAS SOUS 24079407 HAS SOUPS 23466097 WITH SCORE 2.3549305099E7
AT ITER 1878 NEW BEST:: SOT 133552865 SOS 83215120 HAS SOPS 67954606 HAS SOUS 24077599 HAS SOUPS 23464289 WITH SCORE 2.354750412E7
AT ITER 1887 NEW BEST:: SOT 133556963 SOS 83218198 HAS SOPS 67961912 HAS SOUS 24062587 HAS SOUPS 23449277 WITH SCORE 2.3532495198E7
AT ITER 1903 NEW BEST:: SOT 133558256 SOS 83233819 HAS SOPS 67967827 HAS SOUS 24049456 HAS SOUPS 23436146 WITH SCORE 2.3519379819E7
AT ITER 1905 NEW BEST:: SOT 133524498 SOS 83199712 HAS SOPS 67933720 HAS SOUS 24006684 HAS SOUPS 23393374 WITH SCORE 2.3476573712E7
AT ITER 1923 NEW BEST:: SOT 133459693 SOS 83051724 HAS SOPS 67826122 HAS SOUS 23958379 HAS SOUPS 23345200 WITH SCORE 2.3428251724E7
AT ITER 1934 NEW BEST:: SOT 133439332 SOS 83024991 HAS SOPS 67790527 HAS SOUS 23934190 HAS SOUPS 23321011 WITH SCORE 2.3404035991E7
AT ITER 1948 NEW BEST:: SOT 133431195 SOS 83037352 HAS SOPS 67790728 HAS SOUS 23911069 HAS SOUPS 23297890 WITH SCORE 2.3380927352E7
AT ITER 1951 NEW BEST:: SOT 133453316 SOS 83108739 HAS SOPS 67853174 HAS SOUS 23890252 HAS SOUPS 23277073 WITH SCORE 2.3360181739E7
AT ITER 1973 NEW BEST:: SOT 133451809 SOS 83104746 HAS SOPS 67846706 HAS SOUS 23889603 HAS SOUPS 23276424 WITH SCORE 2.3359528746E7
AT ITER 1987 NEW BEST:: SOT 133456423 SOS 83116030 HAS SOPS 67863513 HAS SOUS 23884221 HAS SOUPS 23271042 WITH SCORE 2.335415803E7
AT ITER 2006 NEW BEST:: SOT 133473340 SOS 83175935 HAS SOPS 67904970 HAS SOUS 23870257 HAS SOUPS 23257078 WITH SCORE 2.3340253935E7
AT ITER 2007 NEW BEST:: SOT 133486953 SOS 83266607 HAS SOPS 67992736 HAS SOUS 23867571 HAS SOUPS 23254392 WITH SCORE 2.3337658607E7
AT ITER 2015 NEW BEST:: SOT 133512555 SOS 83317769 HAS SOPS 68049782 HAS SOUS 23849439 HAS SOUPS 23236358 WITH SCORE 2.3319675769E7
AT ITER 2017 NEW BEST:: SOT 133519316 SOS 83326109 HAS SOPS 68059226 HAS SOUS 23841619 HAS SOUPS 23228584 WITH SCORE 2.3311910109E7
AT ITER 2027 NEW BEST:: SOT 133517101 SOS 83328592 HAS SOPS 68057951 HAS SOUS 23802657 HAS SOUPS 23189622 WITH SCORE 2.3272950592E7
AT ITER 2028 NEW BEST:: SOT 133511536 SOS 83323008 HAS SOPS 68047243 HAS SOUS 23788747 HAS SOUPS 23175654 WITH SCORE 2.3258977008E7
AT ITER 2037 NEW BEST:: SOT 133508341 SOS 83318662 HAS SOPS 68044038 HAS SOUS 23774785 HAS SOUPS 23162098 WITH SCORE 2.3245416662E7
AT ITER 2038 NEW BEST:: SOT 133508502 SOS 83312940 HAS SOPS 68037885 HAS SOUS 23771174 HAS SOUPS 23158487 WITH SCORE 2.324179994E7
AT ITER 2042 NEW BEST:: SOT 133503341 SOS 83306940 HAS SOPS 68030254 HAS SOUS 23761197 HAS SOUPS 23148510 WITH SCORE 2.323181694E7
AT ITER 2065 NEW BEST:: SOT 133503160 SOS 83308134 HAS SOPS 68031232 HAS SOUS 23758321 HAS SOUPS 23145634 WITH SCORE 2.3228942134E7
AT ITER 2074 NEW BEST:: SOT 133496400 SOS 83294318 HAS SOPS 68018571 HAS SOUS 23748774 HAS SOUPS 23136087 WITH SCORE 2.3219381318E7
AT ITER 2081 NEW BEST:: SOT 133495478 SOS 83287690 HAS SOPS 68014060 HAS SOUS 23740713 HAS SOUPS 23128026 WITH SCORE 2.321131369E7
AT ITER 2119 NEW BEST:: SOT 133493603 SOS 83286828 HAS SOPS 68012924 HAS SOUS 23738958 HAS SOUPS 23126271 WITH SCORE 2.3209557828E7
AT ITER 2120 NEW BEST:: SOT 133489015 SOS 83287518 HAS SOPS 68008216 HAS SOUS 23724648 HAS SOUPS 23111961 WITH SCORE 2.3195248518E7
AT ITER 2123 NEW BEST:: SOT 133497021 SOS 83296244 HAS SOPS 68007306 HAS SOUS 23690009 HAS SOUPS 23077322 WITH SCORE 2.3160618244E7
AT ITER 2125 NEW BEST:: SOT 133501782 SOS 83310852 HAS SOPS 68023259 HAS SOUS 23683328 HAS SOUPS 23070641 WITH SCORE 2.3153951852E7
AT ITER 2144 NEW BEST:: SOT 133501033 SOS 83306871 HAS SOPS 68021046 HAS SOUS 23681218 HAS SOUPS 23068600 WITH SCORE 2.3151906871E7
AT ITER 2147 NEW BEST:: SOT 133505902 SOS 83318731 HAS SOPS 68026071 HAS SOUS 23673393 HAS SOUPS 23060775 WITH SCORE 2.3144093731E7
AT ITER 2150 NEW BEST:: SOT 133509886 SOS 83324065 HAS SOPS 68047490 HAS SOUS 23666560 HAS SOUPS 23053942 WITH SCORE 2.3137266065E7
AT ITER 2152 NEW BEST:: SOT 133508254 SOS 83320474 HAS SOPS 68044171 HAS SOUS 23665289 HAS SOUPS 23052671 WITH SCORE 2.3135991474E7
AT ITER 2162 NEW BEST:: SOT 133502738 SOS 83309233 HAS SOPS 68029860 HAS SOUS 23642934 HAS SOUPS 23030316 WITH SCORE 2.3113625233E7
AT ITER 2165 NEW BEST:: SOT 133506616 SOS 83330420 HAS SOPS 68040951 HAS SOUS 23642828 HAS SOUPS 23030210 WITH SCORE 2.311354042E7
AT ITER 2171 NEW BEST:: SOT 133450706 SOS 83235836 HAS SOPS 67962389 HAS SOUS 23604576 HAS SOUPS 22991958 WITH SCORE 2.3075193836E7
AT ITER 2173 NEW BEST:: SOT 133436225 SOS 83215993 HAS SOPS 67943196 HAS SOUS 23588446 HAS SOUPS 22975878 WITH SCORE 2.3059093993E7
AT ITER 2179 NEW BEST:: SOT 133400223 SOS 83145571 HAS SOPS 67902430 HAS SOUS 23554743 HAS SOUPS 22942465 WITH SCORE 2.3025610571E7
AT ITER 2195 NEW BEST:: SOT 133235783 SOS 82924993 HAS SOPS 67734835 HAS SOUS 23463655 HAS SOUPS 22851891 WITH SCORE 2.2934815993E7
AT ITER 2197 NEW BEST:: SOT 133235748 SOS 82925308 HAS SOPS 67735074 HAS SOUS 23463501 HAS SOUPS 22851737 WITH SCORE 2.2934662308E7
AT ITER 2198 NEW BEST:: SOT 133226947 SOS 82900791 HAS SOPS 67711512 HAS SOUS 23449653 HAS SOUPS 22837889 WITH SCORE 2.2920789791E7
AT ITER 2222 NEW BEST:: SOT 133250558 SOS 82952342 HAS SOPS 67743293 HAS SOUS 23441724 HAS SOUPS 22829960 WITH SCORE 2.2912912342E7
AT ITER 2226 NEW BEST:: SOT 133287561 SOS 83029148 HAS SOPS 67792451 HAS SOUS 23424885 HAS SOUPS 22813121 WITH SCORE 2.2896150148E7
AT ITER 2227 NEW BEST:: SOT 133288975 SOS 83042190 HAS SOPS 67812042 HAS SOUS 23422417 HAS SOUPS 22810653 WITH SCORE 2.289369519E7
AT ITER 2231 NEW BEST:: SOT 133287292 SOS 83037297 HAS SOPS 67805565 HAS SOUS 23417839 HAS SOUPS 22806075 WITH SCORE 2.2889112297E7
AT ITER 2233 NEW BEST:: SOT 133286043 SOS 83033463 HAS SOPS 67800303 HAS SOUS 23415346 HAS SOUPS 22803582 WITH SCORE 2.2886615463E7
AT ITER 2237 NEW BEST:: SOT 133286898 SOS 83039884 HAS SOPS 67802576 HAS SOUS 23413394 HAS SOUPS 22801630 WITH SCORE 2.2884669884E7
AT ITER 2240 NEW BEST:: SOT 133284403 SOS 83034338 HAS SOPS 67795425 HAS SOUS 23410596 HAS SOUPS 22798832 WITH SCORE 2.2881866338E7
AT ITER 2244 NEW BEST:: SOT 133308137 SOS 83088704 HAS SOPS 67904953 HAS SOUS 23405280 HAS SOUPS 22793516 WITH SCORE 2.2876604704E7
AT ITER 2251 NEW BEST:: SOT 133307777 SOS 83088352 HAS SOPS 67904337 HAS SOUS 23404536 HAS SOUPS 22792764 WITH SCORE 2.2875852352E7
AT ITER 2256 NEW BEST:: SOT 133310187 SOS 83096847 HAS SOPS 67912283 HAS SOUS 23403968 HAS SOUPS 22792196 WITH SCORE 2.2875292847E7
AT ITER 2257 NEW BEST:: SOT 133293561 SOS 83080010 HAS SOPS 67888327 HAS SOUS 23367301 HAS SOUPS 22755654 WITH SCORE 2.283873401E7
AT ITER 2265 NEW BEST:: SOT 133293170 SOS 83079333 HAS SOPS 67887166 HAS SOUS 23367196 HAS SOUPS 22755549 WITH SCORE 2.2838628333E7
AT ITER 2270 NEW BEST:: SOT 133291406 SOS 83066794 HAS SOPS 67891492 HAS SOUS 23360743 HAS SOUPS 22749096 WITH SCORE 2.2832162794E7
AT ITER 2273 NEW BEST:: SOT 133290424 SOS 83065810 HAS SOPS 67890511 HAS SOUS 23358715 HAS SOUPS 22747068 WITH SCORE 2.283013381E7
AT ITER 2288 NEW BEST:: SOT 133250696 SOS 83006478 HAS SOPS 67844860 HAS SOUS 23324804 HAS SOUPS 22713515 WITH SCORE 2.2796521478E7
AT ITER 2300 NEW BEST:: SOT 133251948 SOS 83007715 HAS SOPS 67848913 HAS SOUS 23317868 HAS SOUPS 22709395 WITH SCORE 2.2792402715E7
AT ITER 2303 NEW BEST:: SOT 133249986 SOS 83000037 HAS SOPS 67850016 HAS SOUS 23310672 HAS SOUPS 22702199 WITH SCORE 2.2785199037E7
AT ITER 2304 NEW BEST:: SOT 133251866 SOS 82997620 HAS SOPS 67849815 HAS SOUS 23310257 HAS SOUPS 22701949 WITH SCORE 2.278494662E7
AT ITER 2349 NEW BEST:: SOT 133225247 SOS 82925237 HAS SOPS 67791255 HAS SOUS 23303296 HAS SOUPS 22694988 WITH SCORE 2.2777913237E7
AT ITER 2360 NEW BEST:: SOT 133228540 SOS 82927583 HAS SOPS 67765489 HAS SOUS 23290814 HAS SOUPS 22682257 WITH SCORE 2.2765184583E7
AT ITER 2389 NEW BEST:: SOT 133230940 SOS 82933091 HAS SOPS 67768538 HAS SOUS 23288326 HAS SOUPS 22679769 WITH SCORE 2.2762702091E7
AT ITER 2390 NEW BEST:: SOT 133220916 SOS 82922692 HAS SOPS 67751074 HAS SOUS 23266582 HAS SOUPS 22658025 WITH SCORE 2.2740947692E7
AT ITER 2393 NEW BEST:: SOT 133257231 SOS 82992061 HAS SOPS 67812385 HAS SOUS 23239314 HAS SOUPS 22630757 WITH SCORE 2.2713749061E7
AT ITER 2397 NEW BEST:: SOT 133245334 SOS 82979110 HAS SOPS 67796106 HAS SOUS 23226329 HAS SOUPS 22614444 WITH SCORE 2.269742311E7
AT ITER 2399 NEW BEST:: SOT 133218312 SOS 82946641 HAS SOPS 67760520 HAS SOUS 23186902 HAS SOUPS 22575017 WITH SCORE 2.2657963641E7
AT ITER 2401 NEW BEST:: SOT 133201385 SOS 82902957 HAS SOPS 67725886 HAS SOUS 23171052 HAS SOUPS 22559167 WITH SCORE 2.2642069957E7
AT ITER 2404 NEW BEST:: SOT 133201753 SOS 82903633 HAS SOPS 67725446 HAS SOUS 23170855 HAS SOUPS 22558862 WITH SCORE 2.2641765633E7
AT ITER 2414 NEW BEST:: SOT 133195776 SOS 82900458 HAS SOPS 67712148 HAS SOUS 23143239 HAS SOUPS 22531406 WITH SCORE 2.2614306458E7
AT ITER 2416 NEW BEST:: SOT 133193364 SOS 82897276 HAS SOPS 67708466 HAS SOUS 23139307 HAS SOUPS 22527474 WITH SCORE 2.2610371276E7
AT ITER 2418 NEW BEST:: SOT 133191467 SOS 82893827 HAS SOPS 67704279 HAS SOUS 23131670 HAS SOUPS 22519837 WITH SCORE 2.2602730827E7
AT ITER 2419 NEW BEST:: SOT 133180679 SOS 82878297 HAS SOPS 67690246 HAS SOUS 23120236 HAS SOUPS 22508543 WITH SCORE 2.2591421297E7
AT ITER 2427 NEW BEST:: SOT 133189975 SOS 82903406 HAS SOPS 67708224 HAS SOUS 23115772 HAS SOUPS 22504079 WITH SCORE 2.2586982406E7
AT ITER 2429 NEW BEST:: SOT 133170301 SOS 82870171 HAS SOPS 67685718 HAS SOUS 23096363 HAS SOUPS 22484670 WITH SCORE 2.2567540171E7
AT ITER 2431 NEW BEST:: SOT 133125794 SOS 82746934 HAS SOPS 67585547 HAS SOUS 23081198 HAS SOUPS 22469505 WITH SCORE 2.2552251934E7
AT ITER 2434 NEW BEST:: SOT 133115915 SOS 82735949 HAS SOPS 67572123 HAS SOUS 23060502 HAS SOUPS 22449070 WITH SCORE 2.2531805949E7
AT ITER 2445 NEW BEST:: SOT 133102802 SOS 82717880 HAS SOPS 67558004 HAS SOUS 23045900 HAS SOUPS 22434295 WITH SCORE 2.251701288E7
AT ITER 2447 NEW BEST:: SOT 133186462 SOS 82799008 HAS SOPS 67639381 HAS SOUS 23025412 HAS SOUPS 22413880 WITH SCORE 2.2496679008E7
AT ITER 2449 NEW BEST:: SOT 133186478 SOS 82798496 HAS SOPS 67638433 HAS SOUS 23024915 HAS SOUPS 22413383 WITH SCORE 2.2496181496E7
AT ITER 2473 NEW BEST:: SOT 133180800 SOS 82791661 HAS SOPS 67624942 HAS SOUS 23007155 HAS SOUPS 22395039 WITH SCORE 2.2477830661E7
AT ITER 2483 NEW BEST:: SOT 133153297 SOS 82763238 HAS SOPS 67594211 HAS SOUS 22965202 HAS SOUPS 22353086 WITH SCORE 2.2435849238E7
AT ITER 2510 NEW BEST:: SOT 133153002 SOS 82749950 HAS SOPS 67582580 HAS SOUS 22964458 HAS SOUPS 22352342 WITH SCORE 2.243509195E7
AT ITER 2520 NEW BEST:: SOT 133135979 SOS 82700141 HAS SOPS 67528453 HAS SOUS 22948085 HAS SOUPS 22335999 WITH SCORE 2.2418699141E7
AT ITER 2530 NEW BEST:: SOT 133128335 SOS 82680975 HAS SOPS 67512412 HAS SOUS 22940296 HAS SOUPS 22328210 WITH SCORE 2.2410890975E7
AT ITER 2536 NEW BEST:: SOT 133114278 SOS 82656878 HAS SOPS 67489696 HAS SOUS 22917156 HAS SOUPS 22305142 WITH SCORE 2.2387798878E7
AT ITER 2544 NEW BEST:: SOT 133106067 SOS 82642347 HAS SOPS 67475778 HAS SOUS 22908513 HAS SOUPS 22296499 WITH SCORE 2.2379141347E7
AT ITER 2553 NEW BEST:: SOT 133106725 SOS 82649270 HAS SOPS 67484475 HAS SOUS 22906055 HAS SOUPS 22294041 WITH SCORE 2.237669027E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15415760 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16073352 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-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"
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-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 r323-tall-167889194300128"
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 ;