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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 5.1K Feb 26 04:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 26 04:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 04:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 04:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 26 04:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 04:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679477004167

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-1
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 1
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 6 NEW BEST:: SOT 133654899 SOS 82226685 HAS SOPS 66776457 HAS SOUS 26435225 HAS SOUPS 25804534 WITH SCORE 2.5886760685E7
AT ITER 12 NEW BEST:: SOT 133653780 SOS 82225160 HAS SOPS 66773759 HAS SOUS 26430826 HAS SOUPS 25800135 WITH SCORE 2.588236016E7
AT ITER 16 NEW BEST:: SOT 133633463 SOS 82212674 HAS SOPS 66759492 HAS SOUS 26362134 HAS SOUPS 25731443 WITH SCORE 2.5813655674E7
AT ITER 56 NEW BEST:: SOT 133633762 SOS 82228710 HAS SOPS 66790218 HAS SOUS 26357773 HAS SOUPS 25727082 WITH SCORE 2.580931071E7
AT ITER 68 NEW BEST:: SOT 133632537 SOS 82235297 HAS SOPS 66791044 HAS SOUS 26332228 HAS SOUPS 25701537 WITH SCORE 2.5783772297E7
AT ITER 82 NEW BEST:: SOT 133630805 SOS 82235506 HAS SOPS 66791147 HAS SOUS 26328032 HAS SOUPS 25697341 WITH SCORE 2.5779576506E7
AT ITER 94 NEW BEST:: SOT 133622575 SOS 82221180 HAS SOPS 66785387 HAS SOUS 26327836 HAS SOUPS 25697145 WITH SCORE 2.577936618E7
AT ITER 97 NEW BEST:: SOT 133613994 SOS 82196075 HAS SOPS 66764343 HAS SOUS 26326483 HAS SOUPS 25695792 WITH SCORE 2.5777988075E7
AT ITER 98 NEW BEST:: SOT 133609461 SOS 82179188 HAS SOPS 66752081 HAS SOUS 26324022 HAS SOUPS 25693331 WITH SCORE 2.5775510188E7
AT ITER 112 NEW BEST:: SOT 133613030 SOS 82179497 HAS SOPS 66748628 HAS SOUS 26320006 HAS SOUPS 25689491 WITH SCORE 2.5771670497E7
AT ITER 132 NEW BEST:: SOT 133617774 SOS 82209386 HAS SOPS 66771192 HAS SOUS 26290085 HAS SOUPS 25659570 WITH SCORE 2.5741779386E7
AT ITER 134 NEW BEST:: SOT 133531218 SOS 82119252 HAS SOPS 66657030 HAS SOUS 26144840 HAS SOUPS 25514575 WITH SCORE 2.5596694252E7
AT ITER 148 NEW BEST:: SOT 133521933 SOS 82101468 HAS SOPS 66646806 HAS SOUS 26142493 HAS SOUPS 25512313 WITH SCORE 2.5594414468E7
AT ITER 161 NEW BEST:: SOT 133519818 SOS 82097177 HAS SOPS 66643776 HAS SOUS 26139929 HAS SOUPS 25509749 WITH SCORE 2.5591846177E7
AT ITER 166 NEW BEST:: SOT 133513487 SOS 82114449 HAS SOPS 66655620 HAS SOUS 26116459 HAS SOUPS 25484890 WITH SCORE 2.5567004449E7
AT ITER 168 NEW BEST:: SOT 133518114 SOS 82124388 HAS SOPS 66667777 HAS SOUS 26116143 HAS SOUPS 25484574 WITH SCORE 2.5566698388E7
AT ITER 182 NEW BEST:: SOT 133516344 SOS 82127182 HAS SOPS 66668406 HAS SOUS 26109977 HAS SOUPS 25478408 WITH SCORE 2.5560535182E7
AT ITER 192 NEW BEST:: SOT 133420895 SOS 82030503 HAS SOPS 66571727 HAS SOUS 25966198 HAS SOUPS 25334629 WITH SCORE 2.5416659503E7
AT ITER 197 NEW BEST:: SOT 133409352 SOS 82002547 HAS SOPS 66556351 HAS SOUS 25953384 HAS SOUPS 25321815 WITH SCORE 2.5403817547E7
AT ITER 199 NEW BEST:: SOT 133428609 SOS 82059344 HAS SOPS 66602803 HAS SOUS 25945399 HAS SOUPS 25313830 WITH SCORE 2.5395889344E7
AT ITER 227 NEW BEST:: SOT 133422613 SOS 82045486 HAS SOPS 66591242 HAS SOUS 25941497 HAS SOUPS 25309989 WITH SCORE 2.5392034486E7
AT ITER 229 NEW BEST:: SOT 133424071 SOS 82051828 HAS SOPS 66595759 HAS SOUS 25924160 HAS SOUPS 25292652 WITH SCORE 2.5374703828E7
AT ITER 241 NEW BEST:: SOT 133444283 SOS 82132365 HAS SOPS 66670072 HAS SOUS 25920315 HAS SOUPS 25288807 WITH SCORE 2.5370939365E7
AT ITER 266 NEW BEST:: SOT 133443847 SOS 82134306 HAS SOPS 66671003 HAS SOUS 25917959 HAS SOUPS 25286451 WITH SCORE 2.5368585306E7
AT ITER 273 NEW BEST:: SOT 133460563 SOS 82168157 HAS SOPS 66693783 HAS SOUS 25902034 HAS SOUPS 25270927 WITH SCORE 2.5353095157E7
AT ITER 300 NEW BEST:: SOT 133455048 SOS 82163218 HAS SOPS 66691456 HAS SOUS 25890073 HAS SOUPS 25258966 WITH SCORE 2.5341129218E7
AT ITER 313 NEW BEST:: SOT 133484325 SOS 82228844 HAS SOPS 66751909 HAS SOUS 25889598 HAS SOUPS 25258327 WITH SCORE 2.5340555844E7
AT ITER 325 NEW BEST:: SOT 133485371 SOS 82230793 HAS SOPS 66761172 HAS SOUS 25883129 HAS SOUPS 25251858 WITH SCORE 2.5334088793E7
AT ITER 335 NEW BEST:: SOT 133482274 SOS 82228753 HAS SOPS 66756632 HAS SOUS 25873318 HAS SOUPS 25242047 WITH SCORE 2.5324275753E7
AT ITER 337 NEW BEST:: SOT 133482859 SOS 82231924 HAS SOPS 66755804 HAS SOUS 25866110 HAS SOUPS 25234839 WITH SCORE 2.5317070924E7
AT ITER 344 NEW BEST:: SOT 133472697 SOS 82215940 HAS SOPS 66753118 HAS SOUS 25857753 HAS SOUPS 25226740 WITH SCORE 2.530895594E7
AT ITER 350 NEW BEST:: SOT 133461950 SOS 82196456 HAS SOPS 66747520 HAS SOUS 25846346 HAS SOUPS 25215710 WITH SCORE 2.5297906456E7
AT ITER 369 NEW BEST:: SOT 133486415 SOS 82251873 HAS SOPS 66782890 HAS SOUS 25822125 HAS SOUPS 25191489 WITH SCORE 2.5273740873E7
AT ITER 374 NEW BEST:: SOT 133359653 SOS 82039031 HAS SOPS 66623942 HAS SOUS 25788337 HAS SOUPS 25158112 WITH SCORE 2.5240151031E7
AT ITER 381 NEW BEST:: SOT 133336574 SOS 81991552 HAS SOPS 66604792 HAS SOUS 25759193 HAS SOUPS 25129407 WITH SCORE 2.5211398552E7
AT ITER 385 NEW BEST:: SOT 133336732 SOS 81992262 HAS SOPS 66605426 HAS SOUS 25758837 HAS SOUPS 25129051 WITH SCORE 2.5211043262E7
AT ITER 386 NEW BEST:: SOT 133328201 SOS 81981152 HAS SOPS 66593103 HAS SOUS 25742252 HAS SOUPS 25112416 WITH SCORE 2.5194397152E7
AT ITER 395 NEW BEST:: SOT 133317334 SOS 81962302 HAS SOPS 66576947 HAS SOUS 25729775 HAS SOUPS 25099939 WITH SCORE 2.5181901302E7
AT ITER 410 NEW BEST:: SOT 133318012 SOS 81962980 HAS SOPS 66577625 HAS SOUS 25729301 HAS SOUPS 25099465 WITH SCORE 2.518142798E7
AT ITER 429 NEW BEST:: SOT 133336250 SOS 82037603 HAS SOPS 66662729 HAS SOUS 25687977 HAS SOUPS 25058141 WITH SCORE 2.5140178603E7
AT ITER 434 NEW BEST:: SOT 133337768 SOS 82042541 HAS SOPS 66662403 HAS SOUS 25684694 HAS SOUPS 25054858 WITH SCORE 2.5136900541E7
AT ITER 438 NEW BEST:: SOT 133336588 SOS 82039871 HAS SOPS 66660994 HAS SOUS 25681613 HAS SOUPS 25051777 WITH SCORE 2.5133816871E7
AT ITER 468 NEW BEST:: SOT 133351088 SOS 82105679 HAS SOPS 66726369 HAS SOUS 25644983 HAS SOUPS 25015147 WITH SCORE 2.5097252679E7
AT ITER 471 NEW BEST:: SOT 133259084 SOS 81923191 HAS SOPS 66601236 HAS SOUS 25577394 HAS SOUPS 24948095 WITH SCORE 2.5030018191E7
AT ITER 483 NEW BEST:: SOT 133244017 SOS 81904070 HAS SOPS 66585688 HAS SOUS 25552826 HAS SOUPS 24923685 WITH SCORE 2.500558907E7
AT ITER 486 NEW BEST:: SOT 133239061 SOS 81881627 HAS SOPS 66575946 HAS SOUS 25541932 HAS SOUPS 24912791 WITH SCORE 2.4994672627E7
AT ITER 493 NEW BEST:: SOT 133262414 SOS 81962901 HAS SOPS 66640332 HAS SOUS 25535690 HAS SOUPS 24906549 WITH SCORE 2.4988511901E7
AT ITER 501 NEW BEST:: SOT 133262456 SOS 81972533 HAS SOPS 66651889 HAS SOUS 25534651 HAS SOUPS 24905510 WITH SCORE 2.4987482533E7
AT ITER 503 NEW BEST:: SOT 133297411 SOS 82076137 HAS SOPS 66727263 HAS SOUS 25489680 HAS SOUPS 24860539 WITH SCORE 2.4942615137E7
AT ITER 508 NEW BEST:: SOT 133296486 SOS 82075810 HAS SOPS 66729240 HAS SOUS 25484891 HAS SOUPS 24855680 WITH SCORE 2.493775581E7
AT ITER 515 NEW BEST:: SOT 133299334 SOS 82083245 HAS SOPS 66735598 HAS SOUS 25482760 HAS SOUPS 24853549 WITH SCORE 2.4935632245E7
AT ITER 524 NEW BEST:: SOT 133254948 SOS 82011575 HAS SOPS 66700443 HAS SOUS 25452913 HAS SOUPS 24823869 WITH SCORE 2.4905880575E7
AT ITER 529 NEW BEST:: SOT 133253373 SOS 82010129 HAS SOPS 66698561 HAS SOUS 25449334 HAS SOUPS 24820265 WITH SCORE 2.4902275129E7
AT ITER 532 NEW BEST:: SOT 133275599 SOS 82058814 HAS SOPS 66734979 HAS SOUS 25441784 HAS SOUPS 24812715 WITH SCORE 2.4894773814E7
AT ITER 536 NEW BEST:: SOT 133282126 SOS 82079658 HAS SOPS 66755784 HAS SOUS 25436355 HAS SOUPS 24807286 WITH SCORE 2.4889365658E7
AT ITER 553 NEW BEST:: SOT 133285736 SOS 82082273 HAS SOPS 66745505 HAS SOUS 25422303 HAS SOUPS 24793451 WITH SCORE 2.4875533273E7
AT ITER 564 NEW BEST:: SOT 133292521 SOS 82102098 HAS SOPS 66762484 HAS SOUS 25421856 HAS SOUPS 24793004 WITH SCORE 2.4875106098E7
AT ITER 574 NEW BEST:: SOT 133298949 SOS 82115686 HAS SOPS 66767182 HAS SOUS 25417804 HAS SOUPS 24788952 WITH SCORE 2.4871067686E7
AT ITER 576 NEW BEST:: SOT 133295307 SOS 82112260 HAS SOPS 66763223 HAS SOUS 25411694 HAS SOUPS 24782842 WITH SCORE 2.486495426E7
AT ITER 594 NEW BEST:: SOT 133293274 SOS 82106629 HAS SOPS 66758171 HAS SOUS 25408018 HAS SOUPS 24779166 WITH SCORE 2.4861272629E7
AT ITER 601 NEW BEST:: SOT 133278818 SOS 82063058 HAS SOPS 66738164 HAS SOUS 25391269 HAS SOUPS 24763774 WITH SCORE 2.4845837058E7
AT ITER 622 NEW BEST:: SOT 133270895 SOS 82037469 HAS SOPS 66715656 HAS SOUS 25386255 HAS SOUPS 24758760 WITH SCORE 2.4840797469E7
AT ITER 662 NEW BEST:: SOT 133260222 SOS 82000678 HAS SOPS 66686891 HAS SOUS 25385348 HAS SOUPS 24757853 WITH SCORE 2.4839853678E7
AT ITER 664 NEW BEST:: SOT 133255037 SOS 81991234 HAS SOPS 66682616 HAS SOUS 25379986 HAS SOUPS 24752491 WITH SCORE 2.4834482234E7
AT ITER 671 NEW BEST:: SOT 133250915 SOS 81988684 HAS SOPS 66681276 HAS SOUS 25356434 HAS SOUPS 24729102 WITH SCORE 2.4811090684E7
AT ITER 675 NEW BEST:: SOT 133235664 SOS 81965582 HAS SOPS 66666236 HAS SOUS 25332049 HAS SOUPS 24704717 WITH SCORE 2.4786682582E7
AT ITER 689 NEW BEST:: SOT 133226213 SOS 81942849 HAS SOPS 66636857 HAS SOUS 25311708 HAS SOUPS 24684376 WITH SCORE 2.4766318849E7
AT ITER 693 NEW BEST:: SOT 133266723 SOS 82016998 HAS SOPS 66705697 HAS SOUS 25310577 HAS SOUPS 24683245 WITH SCORE 2.4765261998E7
AT ITER 694 NEW BEST:: SOT 133274001 SOS 82041812 HAS SOPS 66725874 HAS SOUS 25310420 HAS SOUPS 24683027 WITH SCORE 2.4765068812E7
AT ITER 700 NEW BEST:: SOT 133306594 SOS 82183258 HAS SOPS 66852953 HAS SOUS 25304199 HAS SOUPS 24676806 WITH SCORE 2.4758989258E7
AT ITER 708 NEW BEST:: SOT 133310090 SOS 82199239 HAS SOPS 66855995 HAS SOUS 25271201 HAS SOUPS 24643808 WITH SCORE 2.4726007239E7
AT ITER 719 NEW BEST:: SOT 133317017 SOS 82213304 HAS SOPS 66870860 HAS SOUS 25266423 HAS SOUPS 24639030 WITH SCORE 2.4721243304E7
AT ITER 729 NEW BEST:: SOT 133320471 SOS 82221192 HAS SOPS 66878319 HAS SOUS 25255917 HAS SOUPS 24628524 WITH SCORE 2.4710745192E7
AT ITER 732 NEW BEST:: SOT 133320129 SOS 82221683 HAS SOPS 66878932 HAS SOUS 25253827 HAS SOUPS 24626434 WITH SCORE 2.4708655683E7
AT ITER 739 NEW BEST:: SOT 133359349 SOS 82344473 HAS SOPS 66998230 HAS SOUS 25234491 HAS SOUPS 24607098 WITH SCORE 2.4689442473E7
AT ITER 748 NEW BEST:: SOT 133331392 SOS 82284206 HAS SOPS 66959779 HAS SOUS 25210162 HAS SOUPS 24582769 WITH SCORE 2.4665053206E7
AT ITER 758 NEW BEST:: SOT 133330985 SOS 82284045 HAS SOPS 66959618 HAS SOUS 25209463 HAS SOUPS 24582070 WITH SCORE 2.4664354045E7
AT ITER 761 NEW BEST:: SOT 133235324 SOS 82179597 HAS SOPS 66853562 HAS SOUS 25100693 HAS SOUPS 24472568 WITH SCORE 2.4554747597E7
AT ITER 787 NEW BEST:: SOT 133236553 SOS 82178626 HAS SOPS 66852862 HAS SOUS 25100345 HAS SOUPS 24472384 WITH SCORE 2.4554562626E7
AT ITER 791 NEW BEST:: SOT 133232105 SOS 82168940 HAS SOPS 66856909 HAS SOUS 25053678 HAS SOUPS 24425717 WITH SCORE 2.450788594E7
AT ITER 808 NEW BEST:: SOT 133232195 SOS 82169903 HAS SOPS 66856565 HAS SOUS 25052612 HAS SOUPS 24424651 WITH SCORE 2.4506820903E7
AT ITER 814 NEW BEST:: SOT 133232031 SOS 82168730 HAS SOPS 66855252 HAS SOUS 25052270 HAS SOUPS 24424309 WITH SCORE 2.450647773E7
AT ITER 828 NEW BEST:: SOT 133291693 SOS 82322464 HAS SOPS 67017936 HAS SOUS 25030922 HAS SOUPS 24402961 WITH SCORE 2.4485283464E7
AT ITER 834 NEW BEST:: SOT 133292248 SOS 82322950 HAS SOPS 67017609 HAS SOUS 25030610 HAS SOUPS 24402649 WITH SCORE 2.448497195E7
AT ITER 838 NEW BEST:: SOT 133295371 SOS 82324269 HAS SOPS 67024451 HAS SOUS 25029394 HAS SOUPS 24401550 WITH SCORE 2.4483874269E7
AT ITER 840 NEW BEST:: SOT 133297594 SOS 82353039 HAS SOPS 67041102 HAS SOUS 24994864 HAS SOUPS 24367020 WITH SCORE 2.4449373039E7
AT ITER 841 NEW BEST:: SOT 133298844 SOS 82359536 HAS SOPS 67048388 HAS SOUS 24994098 HAS SOUPS 24366254 WITH SCORE 2.4448613536E7
AT ITER 842 NEW BEST:: SOT 133286773 SOS 82347553 HAS SOPS 67036317 HAS SOUS 24975739 HAS SOUPS 24347869 WITH SCORE 2.4430216553E7
AT ITER 844 NEW BEST:: SOT 133333860 SOS 82489459 HAS SOPS 67170051 HAS SOUS 24952792 HAS SOUPS 24324922 WITH SCORE 2.4407411459E7
AT ITER 853 NEW BEST:: SOT 133339035 SOS 82502334 HAS SOPS 67181267 HAS SOUS 24937937 HAS SOUPS 24310067 WITH SCORE 2.4392569334E7
AT ITER 857 NEW BEST:: SOT 133335588 SOS 82496938 HAS SOPS 67176692 HAS SOUS 24933790 HAS SOUPS 24305956 WITH SCORE 2.4388452938E7
AT ITER 868 NEW BEST:: SOT 133335108 SOS 82489625 HAS SOPS 67176108 HAS SOUS 24932966 HAS SOUPS 24305132 WITH SCORE 2.4387621625E7
AT ITER 878 NEW BEST:: SOT 133312521 SOS 82440174 HAS SOPS 67147954 HAS SOUS 24930810 HAS SOUPS 24302976 WITH SCORE 2.4385416174E7
AT ITER 879 NEW BEST:: SOT 133304066 SOS 82421741 HAS SOPS 67136158 HAS SOUS 24924647 HAS SOUPS 24296897 WITH SCORE 2.4379318741E7
AT ITER 922 NEW BEST:: SOT 133300908 SOS 82416506 HAS SOPS 67132025 HAS SOUS 24920816 HAS SOUPS 24293016 WITH SCORE 2.4375432506E7
AT ITER 927 NEW BEST:: SOT 133300560 SOS 82416869 HAS SOPS 67131974 HAS SOUS 24919927 HAS SOUPS 24292127 WITH SCORE 2.4374543869E7
AT ITER 936 NEW BEST:: SOT 133299297 SOS 82414170 HAS SOPS 67130472 HAS SOUS 24915947 HAS SOUPS 24288228 WITH SCORE 2.437064217E7
AT ITER 938 NEW BEST:: SOT 133288821 SOS 82399359 HAS SOPS 67118369 HAS SOUS 24907410 HAS SOUPS 24279879 WITH SCORE 2.4362278359E7
AT ITER 945 NEW BEST:: SOT 133298031 SOS 82429090 HAS SOPS 67143896 HAS SOUS 24865345 HAS SOUPS 24237814 WITH SCORE 2.432024309E7
AT ITER 948 NEW BEST:: SOT 133296152 SOS 82427419 HAS SOPS 67140427 HAS SOUS 24858506 HAS SOUPS 24230975 WITH SCORE 2.4313402419E7
AT ITER 960 NEW BEST:: SOT 133293108 SOS 82424828 HAS SOPS 67130454 HAS SOUS 24848865 HAS SOUPS 24221334 WITH SCORE 2.4303758828E7
AT ITER 982 NEW BEST:: SOT 133301100 SOS 82441115 HAS SOPS 67141915 HAS SOUS 24847526 HAS SOUPS 24219995 WITH SCORE 2.4302436115E7
AT ITER 991 NEW BEST:: SOT 133300695 SOS 82440555 HAS SOPS 67141620 HAS SOUS 24847352 HAS SOUPS 24219826 WITH SCORE 2.4302266555E7
AT ITER 992 NEW BEST:: SOT 133300630 SOS 82440090 HAS SOPS 67141235 HAS SOUS 24847307 HAS SOUPS 24219781 WITH SCORE 2.430222109E7
AT ITER 1008 NEW BEST:: SOT 133299822 SOS 82438772 HAS SOPS 67140508 HAS SOUS 24843348 HAS SOUPS 24215822 WITH SCORE 2.4298260772E7
AT ITER 1040 NEW BEST:: SOT 133298292 SOS 82429742 HAS SOPS 67128030 HAS SOUS 24837417 HAS SOUPS 24209891 WITH SCORE 2.4292320742E7
AT ITER 1046 NEW BEST:: SOT 133296219 SOS 82426926 HAS SOPS 67121077 HAS SOUS 24830003 HAS SOUPS 24202477 WITH SCORE 2.4284903926E7
AT ITER 1049 NEW BEST:: SOT 133294701 SOS 82424714 HAS SOPS 67118804 HAS SOUS 24827990 HAS SOUPS 24200464 WITH SCORE 2.4282888714E7
AT ITER 1076 NEW BEST:: SOT 133292924 SOS 82420408 HAS SOPS 67114761 HAS SOUS 24826791 HAS SOUPS 24199265 WITH SCORE 2.4281685408E7
AT ITER 1084 NEW BEST:: SOT 133295752 SOS 82423115 HAS SOPS 67118609 HAS SOUS 24825061 HAS SOUPS 24198851 WITH SCORE 2.4281274115E7
AT ITER 1086 NEW BEST:: SOT 133295965 SOS 82460917 HAS SOPS 67169516 HAS SOUS 24733899 HAS SOUPS 24107690 WITH SCORE 2.4190150917E7
AT ITER 1113 NEW BEST:: SOT 133290326 SOS 82447414 HAS SOPS 67163870 HAS SOUS 24729796 HAS SOUPS 24104373 WITH SCORE 2.4186820414E7
AT ITER 1117 NEW BEST:: SOT 133306661 SOS 82515989 HAS SOPS 67228647 HAS SOUS 24722144 HAS SOUPS 24096721 WITH SCORE 2.4179236989E7
AT ITER 1134 NEW BEST:: SOT 133306732 SOS 82515768 HAS SOPS 67228327 HAS SOUS 24722067 HAS SOUPS 24096644 WITH SCORE 2.4179159768E7
AT ITER 1169 NEW BEST:: SOT 133306819 SOS 82515715 HAS SOPS 67227779 HAS SOUS 24721863 HAS SOUPS 24096440 WITH SCORE 2.4178955715E7
AT ITER 1171 NEW BEST:: SOT 133305840 SOS 82514068 HAS SOPS 67225946 HAS SOUS 24719650 HAS SOUPS 24094227 WITH SCORE 2.4176741068E7
AT ITER 1172 NEW BEST:: SOT 133305691 SOS 82514839 HAS SOPS 67227761 HAS SOUS 24719096 HAS SOUPS 24093673 WITH SCORE 2.4176187839E7
AT ITER 1215 NEW BEST:: SOT 133298899 SOS 82505837 HAS SOPS 67226583 HAS SOUS 24710117 HAS SOUPS 24084694 WITH SCORE 2.4167199837E7
AT ITER 1218 NEW BEST:: SOT 133282666 SOS 82508127 HAS SOPS 67212060 HAS SOUS 24623002 HAS SOUPS 23997277 WITH SCORE 2.4079785127E7
AT ITER 1230 NEW BEST:: SOT 133282664 SOS 82508127 HAS SOPS 67212027 HAS SOUS 24623000 HAS SOUPS 23997274 WITH SCORE 2.4079782127E7
AT ITER 1243 NEW BEST:: SOT 133273262 SOS 82492299 HAS SOPS 67213685 HAS SOUS 24588007 HAS SOUPS 23962281 WITH SCORE 2.4044773299E7
AT ITER 1246 NEW BEST:: SOT 133261457 SOS 82473011 HAS SOPS 67198103 HAS SOUS 24576890 HAS SOUPS 23951164 WITH SCORE 2.4033637011E7
AT ITER 1261 NEW BEST:: SOT 133189284 SOS 82393251 HAS SOPS 67116553 HAS SOUS 24484400 HAS SOUPS 23858736 WITH SCORE 2.3941129251E7
AT ITER 1266 NEW BEST:: SOT 133167079 SOS 82342642 HAS SOPS 67084427 HAS SOUS 24474825 HAS SOUPS 23849161 WITH SCORE 2.3931503642E7
AT ITER 1281 NEW BEST:: SOT 133169922 SOS 82345381 HAS SOPS 67086135 HAS SOUS 24472236 HAS SOUPS 23846572 WITH SCORE 2.3928917381E7
AT ITER 1289 NEW BEST:: SOT 133158635 SOS 82334064 HAS SOPS 67073966 HAS SOUS 24457635 HAS SOUPS 23831971 WITH SCORE 2.3914305064E7
AT ITER 1292 NEW BEST:: SOT 133143824 SOS 82317652 HAS SOPS 67062454 HAS SOUS 24425023 HAS SOUPS 23799359 WITH SCORE 2.3881676652E7
AT ITER 1313 NEW BEST:: SOT 133125833 SOS 82262399 HAS SOPS 67026487 HAS SOUS 24418974 HAS SOUPS 23793310 WITH SCORE 2.3875572399E7
AT ITER 1321 NEW BEST:: SOT 133127030 SOS 82266868 HAS SOPS 67028942 HAS SOUS 24417623 HAS SOUPS 23791959 WITH SCORE 2.3874225868E7
AT ITER 1322 NEW BEST:: SOT 133128105 SOS 82268001 HAS SOPS 67031873 HAS SOUS 24416438 HAS SOUPS 23791114 WITH SCORE 2.3873382001E7
AT ITER 1324 NEW BEST:: SOT 133133240 SOS 82259759 HAS SOPS 67027338 HAS SOUS 24403313 HAS SOUPS 23778266 WITH SCORE 2.3860525759E7
AT ITER 1326 NEW BEST:: SOT 133136590 SOS 82277855 HAS SOPS 67048321 HAS SOUS 24398910 HAS SOUPS 23773863 WITH SCORE 2.3856140855E7
AT ITER 1329 NEW BEST:: SOT 133136132 SOS 82278228 HAS SOPS 67048301 HAS SOUS 24397681 HAS SOUPS 23772634 WITH SCORE 2.3854912228E7
AT ITER 1353 NEW BEST:: SOT 133138135 SOS 82272614 HAS SOPS 67041123 HAS SOUS 24396984 HAS SOUPS 23771937 WITH SCORE 2.3854209614E7
AT ITER 1354 NEW BEST:: SOT 133147819 SOS 82297431 HAS SOPS 67061415 HAS SOUS 24389882 HAS SOUPS 23764835 WITH SCORE 2.3847132431E7
AT ITER 1358 NEW BEST:: SOT 133132418 SOS 82280615 HAS SOPS 67048790 HAS SOUS 24343674 HAS SOUPS 23718892 WITH SCORE 2.3801172615E7
AT ITER 1376 NEW BEST:: SOT 133144059 SOS 82304800 HAS SOPS 67113315 HAS SOUS 24340168 HAS SOUPS 23715386 WITH SCORE 2.37976908E7
AT ITER 1385 NEW BEST:: SOT 133139807 SOS 82287543 HAS SOPS 67097486 HAS SOUS 24317358 HAS SOUPS 23692576 WITH SCORE 2.3774863543E7
AT ITER 1396 NEW BEST:: SOT 133111130 SOS 82241808 HAS SOPS 67057373 HAS SOUS 24264880 HAS SOUPS 23640098 WITH SCORE 2.3722339808E7
AT ITER 1413 NEW BEST:: SOT 133100791 SOS 82227034 HAS SOPS 67040643 HAS SOUS 24232763 HAS SOUPS 23607951 WITH SCORE 2.3690178034E7
AT ITER 1418 NEW BEST:: SOT 133100065 SOS 82221569 HAS SOPS 67035410 HAS SOUS 24229880 HAS SOUPS 23605068 WITH SCORE 2.3687289569E7
AT ITER 1427 NEW BEST:: SOT 133128900 SOS 82278119 HAS SOPS 67071842 HAS SOUS 24228606 HAS SOUPS 23603794 WITH SCORE 2.3686072119E7
AT ITER 1438 NEW BEST:: SOT 133104570 SOS 82233160 HAS SOPS 67034849 HAS SOUS 24203445 HAS SOUPS 23578633 WITH SCORE 2.366086616E7
AT ITER 1439 NEW BEST:: SOT 133105081 SOS 82233702 HAS SOPS 67038064 HAS SOUS 24201097 HAS SOUPS 23576359 WITH SCORE 2.3658592702E7
AT ITER 1443 NEW BEST:: SOT 133104927 SOS 82233286 HAS SOPS 67037759 HAS SOUS 24200658 HAS SOUPS 23575920 WITH SCORE 2.3658153286E7
AT ITER 1445 NEW BEST:: SOT 133104092 SOS 82254049 HAS SOPS 67069119 HAS SOUS 24186338 HAS SOUPS 23561600 WITH SCORE 2.3643854049E7
AT ITER 1452 NEW BEST:: SOT 133104302 SOS 82254685 HAS SOPS 67069881 HAS SOUS 24185030 HAS SOUPS 23560292 WITH SCORE 2.3642546685E7
AT ITER 1459 NEW BEST:: SOT 133102810 SOS 82253127 HAS SOPS 67067486 HAS SOUS 24181648 HAS SOUPS 23556913 WITH SCORE 2.3639166127E7
AT ITER 1461 NEW BEST:: SOT 133076765 SOS 82209817 HAS SOPS 67027757 HAS SOUS 24175895 HAS SOUPS 23551160 WITH SCORE 2.3633369817E7
AT ITER 1477 NEW BEST:: SOT 133062944 SOS 82173496 HAS SOPS 66995825 HAS SOUS 24166997 HAS SOUPS 23542262 WITH SCORE 2.3624435496E7
AT ITER 1488 NEW BEST:: SOT 133053508 SOS 82162327 HAS SOPS 66979485 HAS SOUS 24153807 HAS SOUPS 23529072 WITH SCORE 2.3611234327E7
AT ITER 1494 NEW BEST:: SOT 133055417 SOS 82171529 HAS SOPS 66980698 HAS SOUS 24145362 HAS SOUPS 23520627 WITH SCORE 2.3602798529E7
AT ITER 1502 NEW BEST:: SOT 133056265 SOS 82178515 HAS SOPS 66987127 HAS SOUS 24144138 HAS SOUPS 23519403 WITH SCORE 2.3601581515E7
AT ITER 1505 NEW BEST:: SOT 133058906 SOS 82187890 HAS SOPS 66989149 HAS SOUS 24135769 HAS SOUPS 23511034 WITH SCORE 2.359322189E7
AT ITER 1516 NEW BEST:: SOT 133042000 SOS 82176909 HAS SOPS 66947869 HAS SOUS 24060205 HAS SOUPS 23438843 WITH SCORE 2.3521019909E7
AT ITER 1528 NEW BEST:: SOT 133052190 SOS 82191161 HAS SOPS 66961954 HAS SOUS 24049864 HAS SOUPS 23429024 WITH SCORE 2.3511215161E7
AT ITER 1553 NEW BEST:: SOT 133056046 SOS 82194101 HAS SOPS 66960077 HAS SOUS 24044782 HAS SOUPS 23424105 WITH SCORE 2.3506299101E7
AT ITER 1568 NEW BEST:: SOT 133054784 SOS 82191904 HAS SOPS 66958271 HAS SOUS 24042862 HAS SOUPS 23422185 WITH SCORE 2.3504376904E7
AT ITER 1584 NEW BEST:: SOT 133055600 SOS 82205263 HAS SOPS 66972512 HAS SOUS 24040613 HAS SOUPS 23419936 WITH SCORE 2.3502141263E7
AT ITER 1591 NEW BEST:: SOT 133036078 SOS 82187218 HAS SOPS 66951761 HAS SOUS 24022638 HAS SOUPS 23401840 WITH SCORE 2.3484027218E7
AT ITER 1600 NEW BEST:: SOT 132991946 SOS 82140574 HAS SOPS 66893793 HAS SOUS 23927413 HAS SOUPS 23307403 WITH SCORE 2.3389543574E7
AT ITER 1606 NEW BEST:: SOT 132989322 SOS 82137689 HAS SOPS 66889088 HAS SOUS 23921833 HAS SOUPS 23301823 WITH SCORE 2.3383960689E7
AT ITER 1633 NEW BEST:: SOT 133064792 SOS 82205608 HAS SOPS 66927625 HAS SOUS 23920693 HAS SOUPS 23300152 WITH SCORE 2.3382357608E7
AT ITER 1647 NEW BEST:: SOT 133069794 SOS 82220492 HAS SOPS 66948990 HAS SOUS 23915837 HAS SOUPS 23295208 WITH SCORE 2.3377428492E7
AT ITER 1651 NEW BEST:: SOT 133060484 SOS 82197238 HAS SOPS 66931932 HAS SOUS 23909920 HAS SOUPS 23289291 WITH SCORE 2.3371488238E7
AT ITER 1658 NEW BEST:: SOT 133072371 SOS 82241695 HAS SOPS 66979802 HAS SOUS 23905537 HAS SOUPS 23284908 WITH SCORE 2.3367149695E7
AT ITER 1665 NEW BEST:: SOT 133072271 SOS 82249945 HAS SOPS 66986586 HAS SOUS 23879395 HAS SOUPS 23258769 WITH SCORE 2.3341018945E7
AT ITER 1667 NEW BEST:: SOT 133071847 SOS 82249797 HAS SOPS 66986438 HAS SOUS 23878827 HAS SOUPS 23258201 WITH SCORE 2.3340450797E7
AT ITER 1689 NEW BEST:: SOT 133050772 SOS 82219429 HAS SOPS 66957736 HAS SOUS 23846789 HAS SOUPS 23226163 WITH SCORE 2.3308382429E7
AT ITER 1696 NEW BEST:: SOT 133030366 SOS 82188142 HAS SOPS 66932233 HAS SOUS 23838199 HAS SOUPS 23217573 WITH SCORE 2.3299761142E7
AT ITER 1704 NEW BEST:: SOT 133016611 SOS 82165185 HAS SOPS 66914001 HAS SOUS 23816839 HAS SOUPS 23196213 WITH SCORE 2.3278378185E7
AT ITER 1740 NEW BEST:: SOT 133009999 SOS 82158163 HAS SOPS 66906254 HAS SOUS 23806566 HAS SOUPS 23185969 WITH SCORE 2.3268127163E7
AT ITER 1753 NEW BEST:: SOT 132985964 SOS 82133880 HAS SOPS 66898013 HAS SOUS 23767550 HAS SOUPS 23146953 WITH SCORE 2.322908688E7
AT ITER 1755 NEW BEST:: SOT 132986437 SOS 82132401 HAS SOPS 66897056 HAS SOUS 23766708 HAS SOUPS 23146111 WITH SCORE 2.3228243401E7
AT ITER 1756 NEW BEST:: SOT 132991918 SOS 82134704 HAS SOPS 66925224 HAS SOUS 23763655 HAS SOUPS 23143250 WITH SCORE 2.3225384704E7
AT ITER 1757 NEW BEST:: SOT 132956478 SOS 82091970 HAS SOPS 66883093 HAS SOUS 23709169 HAS SOUPS 23088971 WITH SCORE 2.317106297E7
AT ITER 1758 NEW BEST:: SOT 132942033 SOS 82075514 HAS SOPS 66857815 HAS SOUS 23677071 HAS SOUPS 23056780 WITH SCORE 2.3138855514E7
AT ITER 1763 NEW BEST:: SOT 132941362 SOS 82074744 HAS SOPS 66857177 HAS SOUS 23676571 HAS SOUPS 23056269 WITH SCORE 2.3138343744E7
AT ITER 1771 NEW BEST:: SOT 132939766 SOS 82074376 HAS SOPS 66854883 HAS SOUS 23662915 HAS SOUPS 23042613 WITH SCORE 2.3124687376E7
AT ITER 1776 NEW BEST:: SOT 132941063 SOS 82078260 HAS SOPS 66855057 HAS SOUS 23655345 HAS SOUPS 23035019 WITH SCORE 2.311709726E7
AT ITER 1784 NEW BEST:: SOT 132952377 SOS 82097767 HAS SOPS 66869790 HAS SOUS 23651334 HAS SOUPS 23031008 WITH SCORE 2.3113105767E7
AT ITER 1786 NEW BEST:: SOT 132952474 SOS 82097964 HAS SOPS 66869677 HAS SOUS 23651161 HAS SOUPS 23030825 WITH SCORE 2.3112922964E7
AT ITER 1792 NEW BEST:: SOT 132939226 SOS 82088157 HAS SOPS 66888196 HAS SOUS 23650622 HAS SOUPS 23030286 WITH SCORE 2.3112374157E7
AT ITER 1794 NEW BEST:: SOT 132869230 SOS 82000593 HAS SOPS 66791803 HAS SOUS 23575249 HAS SOUPS 22954913 WITH SCORE 2.3036913593E7
AT ITER 1806 NEW BEST:: SOT 132859895 SOS 81991256 HAS SOPS 66782459 HAS SOUS 23568939 HAS SOUPS 22948603 WITH SCORE 2.3030594256E7
AT ITER 1844 NEW BEST:: SOT 132861701 SOS 82031895 HAS SOPS 66826881 HAS SOUS 23546973 HAS SOUPS 22927075 WITH SCORE 2.3009106895E7
AT ITER 1865 NEW BEST:: SOT 132854624 SOS 82022010 HAS SOPS 66819507 HAS SOUS 23539306 HAS SOUPS 22919408 WITH SCORE 2.300143001E7
AT ITER 1866 NEW BEST:: SOT 132850253 SOS 82014025 HAS SOPS 66812143 HAS SOUS 23536541 HAS SOUPS 22916643 WITH SCORE 2.2998657025E7
AT ITER 1871 NEW BEST:: SOT 132850876 SOS 82018858 HAS SOPS 66810334 HAS SOUS 23535607 HAS SOUPS 22915582 WITH SCORE 2.2997600858E7
AT ITER 1873 NEW BEST:: SOT 132820132 SOS 81946272 HAS SOPS 66761122 HAS SOUS 23521940 HAS SOUPS 22902325 WITH SCORE 2.2984271272E7
AT ITER 1884 NEW BEST:: SOT 132838459 SOS 81994133 HAS SOPS 66803783 HAS SOUS 23514588 HAS SOUPS 22894973 WITH SCORE 2.2976967133E7
AT ITER 1913 NEW BEST:: SOT 132815188 SOS 81966112 HAS SOPS 66792408 HAS SOUS 23499338 HAS SOUPS 22879723 WITH SCORE 2.2961689112E7
AT ITER 1920 NEW BEST:: SOT 132908244 SOS 82166435 HAS SOPS 67016625 HAS SOUS 23490892 HAS SOUPS 22871277 WITH SCORE 2.2953443435E7
AT ITER 1921 NEW BEST:: SOT 132907544 SOS 82166426 HAS SOPS 67014673 HAS SOUS 23486603 HAS SOUPS 22866988 WITH SCORE 2.2949154426E7
AT ITER 1922 NEW BEST:: SOT 132909021 SOS 82169403 HAS SOPS 67024031 HAS SOUS 23483898 HAS SOUPS 22864202 WITH SCORE 2.2946371403E7
AT ITER 1925 NEW BEST:: SOT 132915170 SOS 82181154 HAS SOPS 67035450 HAS SOUS 23479405 HAS SOUPS 22859709 WITH SCORE 2.2941890154E7
AT ITER 1927 NEW BEST:: SOT 132911217 SOS 82169375 HAS SOPS 67027652 HAS SOUS 23472488 HAS SOUPS 22852792 WITH SCORE 2.2934961375E7
AT ITER 1936 NEW BEST:: SOT 132908772 SOS 82165348 HAS SOPS 67023888 HAS SOUS 23469623 HAS SOUPS 22849927 WITH SCORE 2.2932092348E7
AT ITER 1940 NEW BEST:: SOT 132917034 SOS 82198573 HAS SOPS 67035748 HAS SOUS 23438171 HAS SOUPS 22818475 WITH SCORE 2.2900673573E7
AT ITER 1951 NEW BEST:: SOT 132880641 SOS 82125331 HAS SOPS 66968260 HAS SOUS 23402442 HAS SOUPS 22782746 WITH SCORE 2.2864871331E7
AT ITER 1952 NEW BEST:: SOT 132878636 SOS 82113450 HAS SOPS 66957777 HAS SOUS 23397166 HAS SOUPS 22777470 WITH SCORE 2.285958345E7
AT ITER 1960 NEW BEST:: SOT 132875544 SOS 82124069 HAS SOPS 66971638 HAS SOUS 23381088 HAS SOUPS 22761392 WITH SCORE 2.2843516069E7
AT ITER 1961 NEW BEST:: SOT 132879601 SOS 82128079 HAS SOPS 67009720 HAS SOUS 23353470 HAS SOUPS 22733774 WITH SCORE 2.2815902079E7
AT ITER 1962 NEW BEST:: SOT 132876060 SOS 82123784 HAS SOPS 67001122 HAS SOUS 23341755 HAS SOUPS 22722059 WITH SCORE 2.2804182784E7
AT ITER 1963 NEW BEST:: SOT 132886433 SOS 82176974 HAS SOPS 67046042 HAS SOUS 23331528 HAS SOUPS 22711832 WITH SCORE 2.2794008974E7
AT ITER 1968 NEW BEST:: SOT 132886504 SOS 82175089 HAS SOPS 67045150 HAS SOUS 23330468 HAS SOUPS 22710772 WITH SCORE 2.2792947089E7
AT ITER 1981 NEW BEST:: SOT 132884676 SOS 82173261 HAS SOPS 67043066 HAS SOUS 23328640 HAS SOUPS 22708688 WITH SCORE 2.2790861261E7
AT ITER 1987 NEW BEST:: SOT 132878170 SOS 82165670 HAS SOPS 67033345 HAS SOUS 23313651 HAS SOUPS 22693841 WITH SCORE 2.277600667E7
AT ITER 2089 NEW BEST:: SOT 132875504 SOS 82165740 HAS SOPS 67028673 HAS SOUS 23304892 HAS SOUPS 22685082 WITH SCORE 2.276724774E7
AT ITER 2097 NEW BEST:: SOT 132847198 SOS 82099167 HAS SOPS 66985344 HAS SOUS 23280965 HAS SOUPS 22666045 WITH SCORE 2.2748144167E7
AT ITER 2107 NEW BEST:: SOT 132843027 SOS 82098268 HAS SOPS 66984217 HAS SOUS 23270622 HAS SOUPS 22655702 WITH SCORE 2.2737800268E7
AT ITER 2113 NEW BEST:: SOT 132842277 SOS 82097518 HAS SOPS 66983067 HAS SOUS 23267824 HAS SOUPS 22652728 WITH SCORE 2.2734825518E7
AT ITER 2137 NEW BEST:: SOT 132842835 SOS 82101597 HAS SOPS 66988417 HAS SOUS 23264929 HAS SOUPS 22649784 WITH SCORE 2.2731885597E7
AT ITER 2138 NEW BEST:: SOT 132841916 SOS 82100691 HAS SOPS 66987615 HAS SOUS 23263061 HAS SOUPS 22647929 WITH SCORE 2.2730029691E7
AT ITER 2144 NEW BEST:: SOT 132879446 SOS 82175217 HAS SOPS 67029598 HAS SOUS 23255833 HAS SOUPS 22640534 WITH SCORE 2.2722709217E7
AT ITER 2148 NEW BEST:: SOT 132875797 SOS 82164585 HAS SOPS 67014969 HAS SOUS 23249737 HAS SOUPS 22634438 WITH SCORE 2.2716602585E7
AT ITER 2150 NEW BEST:: SOT 132880664 SOS 82160519 HAS SOPS 67016606 HAS SOUS 23238293 HAS SOUPS 22622994 WITH SCORE 2.2705154519E7
AT ITER 2195 NEW BEST:: SOT 132897625 SOS 82210102 HAS SOPS 67094347 HAS SOUS 23236200 HAS SOUPS 22620901 WITH SCORE 2.2703111102E7
AT ITER 2201 NEW BEST:: SOT 132864710 SOS 82139094 HAS SOPS 67088014 HAS SOUS 23235033 HAS SOUPS 22620350 WITH SCORE 2.2702489094E7
AT ITER 2221 NEW BEST:: SOT 132889913 SOS 82157640 HAS SOPS 67129562 HAS SOUS 23212506 HAS SOUPS 22605514 WITH SCORE 2.268767164E7
AT ITER 2233 NEW BEST:: SOT 132903838 SOS 82188354 HAS SOPS 67135137 HAS SOUS 23189716 HAS SOUPS 22583660 WITH SCORE 2.2665848354E7
AT ITER 2240 NEW BEST:: SOT 132894182 SOS 82135351 HAS SOPS 67098655 HAS SOUS 23187859 HAS SOUPS 22581803 WITH SCORE 2.2663938351E7
AT ITER 2245 NEW BEST:: SOT 132893642 SOS 82134258 HAS SOPS 67097775 HAS SOUS 23187543 HAS SOUPS 22581473 WITH SCORE 2.2663607258E7
AT ITER 2249 NEW BEST:: SOT 132895457 SOS 82137178 HAS SOPS 67099202 HAS SOUS 23182835 HAS SOUPS 22576765 WITH SCORE 2.2658902178E7
AT ITER 2259 NEW BEST:: SOT 132892787 SOS 82129336 HAS SOPS 67089117 HAS SOUS 23174326 HAS SOUPS 22568256 WITH SCORE 2.2650385336E7
AT ITER 2275 NEW BEST:: SOT 132892470 SOS 82130490 HAS SOPS 67090981 HAS SOUS 23174125 HAS SOUPS 22568055 WITH SCORE 2.265018549E7
AT ITER 2280 NEW BEST:: SOT 132880045 SOS 82087237 HAS SOPS 67064926 HAS SOUS 23165252 HAS SOUPS 22559182 WITH SCORE 2.2641269237E7
AT ITER 2287 NEW BEST:: SOT 132861630 SOS 82059884 HAS SOPS 67041582 HAS SOUS 23143443 HAS SOUPS 22538400 WITH SCORE 2.2620459884E7
AT ITER 2291 NEW BEST:: SOT 132864116 SOS 82064517 HAS SOPS 67042148 HAS SOUS 23134887 HAS SOUPS 22529844 WITH SCORE 2.2611908517E7
AT ITER 2313 NEW BEST:: SOT 132866572 SOS 82074117 HAS SOPS 67051269 HAS SOUS 23124928 HAS SOUPS 22519885 WITH SCORE 2.2601959117E7
AT ITER 2315 NEW BEST:: SOT 132870289 SOS 82074873 HAS SOPS 67052216 HAS SOUS 23123521 HAS SOUPS 22518478 WITH SCORE 2.2600552873E7
AT ITER 2322 NEW BEST:: SOT 132878899 SOS 82110208 HAS SOPS 67081933 HAS SOUS 23095394 HAS SOUPS 22490351 WITH SCORE 2.2572461208E7
AT ITER 2334 NEW BEST:: SOT 132880534 SOS 82117826 HAS SOPS 67090876 HAS SOUS 23092537 HAS SOUPS 22487494 WITH SCORE 2.2569611826E7
AT ITER 2349 NEW BEST:: SOT 132862469 SOS 82074334 HAS SOPS 67052087 HAS SOUS 23087433 HAS SOUPS 22482390 WITH SCORE 2.2564464334E7
AT ITER 2354 NEW BEST:: SOT 132861894 SOS 82072781 HAS SOPS 67050178 HAS SOUS 23083649 HAS SOUPS 22478606 WITH SCORE 2.2560678781E7
AT ITER 2360 NEW BEST:: SOT 132861870 SOS 82072757 HAS SOPS 67050218 HAS SOUS 23083497 HAS SOUPS 22478486 WITH SCORE 2.2560558757E7
AT ITER 2365 NEW BEST:: SOT 132857903 SOS 82066825 HAS SOPS 67039353 HAS SOUS 23059468 HAS SOUPS 22454457 WITH SCORE 2.2536523825E7
AT ITER 2366 NEW BEST:: SOT 132837926 SOS 82027697 HAS SOPS 67010863 HAS SOUS 23038781 HAS SOUPS 22434454 WITH SCORE 2.2516481697E7
AT ITER 2376 NEW BEST:: SOT 132837713 SOS 82026953 HAS SOPS 67009687 HAS SOUS 23038225 HAS SOUPS 22433898 WITH SCORE 2.2515924953E7
AT ITER 2391 NEW BEST:: SOT 132849658 SOS 82075248 HAS SOPS 67048028 HAS SOUS 23035763 HAS SOUPS 22431436 WITH SCORE 2.2513511248E7
AT ITER 2416 NEW BEST:: SOT 132777859 SOS 81890586 HAS SOPS 66937888 HAS SOUS 22994108 HAS SOUPS 22390601 WITH SCORE 2.2472491586E7
AT ITER 2425 NEW BEST:: SOT 132770847 SOS 81883892 HAS SOPS 66939261 HAS SOUS 22969599 HAS SOUPS 22366092 WITH SCORE 2.2447975892E7
AT ITER 2434 NEW BEST:: SOT 132768324 SOS 81884544 HAS SOPS 66940619 HAS SOUS 22953795 HAS SOUPS 22350288 WITH SCORE 2.2432172544E7
AT ITER 2436 NEW BEST:: SOT 132767336 SOS 81884478 HAS SOPS 66940444 HAS SOUS 22951290 HAS SOUPS 22347783 WITH SCORE 2.2429667478E7
AT ITER 2446 NEW BEST:: SOT 132760441 SOS 81875923 HAS SOPS 66931868 HAS SOUS 22944183 HAS SOUPS 22340676 WITH SCORE 2.2422551923E7
AT ITER 2450 NEW BEST:: SOT 132753543 SOS 81863331 HAS SOPS 66928466 HAS SOUS 22927752 HAS SOUPS 22324245 WITH SCORE 2.2406108331E7
AT ITER 2454 NEW BEST:: SOT 132754776 SOS 81864938 HAS SOPS 66929828 HAS SOUS 22922562 HAS SOUPS 22318966 WITH SCORE 2.2400830938E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15417012 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16073344 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-1"
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-1, 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-167889194200080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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