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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 7.9K Feb 26 04:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 04:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 04:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 04:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 04:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 04:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K 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 1679477041840

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-3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 3
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 1 NEW BEST:: SOT 133650383 SOS 82200307 HAS SOPS 66755235 HAS SOUS 26429283 HAS SOUPS 25803392 WITH SCORE 2.5885592307E7
AT ITER 7 NEW BEST:: SOT 133644652 SOS 82188213 HAS SOPS 66747689 HAS SOUS 26424129 HAS SOUPS 25798238 WITH SCORE 2.5880426213E7
AT ITER 11 NEW BEST:: SOT 133643708 SOS 82185902 HAS SOPS 66741938 HAS SOUS 26416407 HAS SOUPS 25790516 WITH SCORE 2.5872701902E7
AT ITER 18 NEW BEST:: SOT 133661453 SOS 82239779 HAS SOPS 66780413 HAS SOUS 26412588 HAS SOUPS 25786133 WITH SCORE 2.5868372779E7
AT ITER 28 NEW BEST:: SOT 133664847 SOS 82262989 HAS SOPS 66808016 HAS SOUS 26401174 HAS SOUPS 25774467 WITH SCORE 2.5856729989E7
AT ITER 35 NEW BEST:: SOT 133635852 SOS 82221543 HAS SOPS 66802023 HAS SOUS 26358301 HAS SOUPS 25731594 WITH SCORE 2.5813815543E7
AT ITER 48 NEW BEST:: SOT 133635550 SOS 82219337 HAS SOPS 66800199 HAS SOUS 26357584 HAS SOUPS 25730877 WITH SCORE 2.5813096337E7
AT ITER 73 NEW BEST:: SOT 133671801 SOS 82311452 HAS SOPS 66898123 HAS SOUS 26328695 HAS SOUPS 25701988 WITH SCORE 2.5784299452E7
AT ITER 82 NEW BEST:: SOT 133671077 SOS 82310064 HAS SOPS 66896352 HAS SOUS 26327953 HAS SOUPS 25701257 WITH SCORE 2.5783567064E7
AT ITER 91 NEW BEST:: SOT 133724473 SOS 82427796 HAS SOPS 67007181 HAS SOUS 26309653 HAS SOUPS 25682791 WITH SCORE 2.5765218796E7
AT ITER 95 NEW BEST:: SOT 133673602 SOS 82376501 HAS SOPS 66955312 HAS SOUS 26257877 HAS SOUPS 25630287 WITH SCORE 2.5712663501E7
AT ITER 98 NEW BEST:: SOT 133672297 SOS 82376982 HAS SOPS 66955124 HAS SOUS 26247623 HAS SOUPS 25620033 WITH SCORE 2.5702409982E7
AT ITER 100 NEW BEST:: SOT 133670300 SOS 82380719 HAS SOPS 66957201 HAS SOUS 26237692 HAS SOUPS 25610102 WITH SCORE 2.5692482719E7
AT ITER 106 NEW BEST:: SOT 133660956 SOS 82370193 HAS SOPS 66943284 HAS SOUS 26217476 HAS SOUPS 25589886 WITH SCORE 2.5672256193E7
AT ITER 111 NEW BEST:: SOT 133664452 SOS 82356372 HAS SOPS 66924782 HAS SOUS 26214171 HAS SOUPS 25586581 WITH SCORE 2.5668937372E7
AT ITER 124 NEW BEST:: SOT 133665680 SOS 82356598 HAS SOPS 66927167 HAS SOUS 26210294 HAS SOUPS 25583583 WITH SCORE 2.5665939598E7
AT ITER 125 NEW BEST:: SOT 133662688 SOS 82353011 HAS SOPS 66921429 HAS SOUS 26202347 HAS SOUPS 25575636 WITH SCORE 2.5657989011E7
AT ITER 134 NEW BEST:: SOT 133664581 SOS 82367224 HAS SOPS 66936820 HAS SOUS 26201658 HAS SOUPS 25574947 WITH SCORE 2.5657314224E7
AT ITER 141 NEW BEST:: SOT 133667989 SOS 82400927 HAS SOPS 66976975 HAS SOUS 26193456 HAS SOUPS 25566745 WITH SCORE 2.5649145927E7
AT ITER 161 NEW BEST:: SOT 133669904 SOS 82414505 HAS SOPS 66990140 HAS SOUS 26192299 HAS SOUPS 25565588 WITH SCORE 2.5648002505E7
AT ITER 188 NEW BEST:: SOT 133671600 SOS 82413036 HAS SOPS 66993513 HAS SOUS 26188637 HAS SOUPS 25562154 WITH SCORE 2.5644567036E7
AT ITER 189 NEW BEST:: SOT 133671692 SOS 82411910 HAS SOPS 66993956 HAS SOUS 26188366 HAS SOUPS 25561883 WITH SCORE 2.564429491E7
AT ITER 199 NEW BEST:: SOT 133658380 SOS 82398165 HAS SOPS 66980142 HAS SOUS 26168898 HAS SOUPS 25542415 WITH SCORE 2.5624813165E7
AT ITER 213 NEW BEST:: SOT 133665378 SOS 82420131 HAS SOPS 66998101 HAS SOUS 26165232 HAS SOUPS 25538749 WITH SCORE 2.5621169131E7
AT ITER 226 NEW BEST:: SOT 133686399 SOS 82505347 HAS SOPS 67075328 HAS SOUS 26154930 HAS SOUPS 25528447 WITH SCORE 2.5610952347E7
AT ITER 238 NEW BEST:: SOT 133678858 SOS 82491912 HAS SOPS 67062456 HAS SOUS 26150687 HAS SOUPS 25524263 WITH SCORE 2.5606754912E7
AT ITER 242 NEW BEST:: SOT 133676985 SOS 82495364 HAS SOPS 67103433 HAS SOUS 26147333 HAS SOUPS 25520909 WITH SCORE 2.5603404364E7
AT ITER 248 NEW BEST:: SOT 133630419 SOS 82448463 HAS SOPS 67050468 HAS SOUS 26078807 HAS SOUPS 25452041 WITH SCORE 2.5534489463E7
AT ITER 253 NEW BEST:: SOT 133627798 SOS 82445741 HAS SOPS 67048446 HAS SOUS 26075296 HAS SOUPS 25448530 WITH SCORE 2.5530975741E7
AT ITER 255 NEW BEST:: SOT 133598716 SOS 82397643 HAS SOPS 67004438 HAS SOUS 26051029 HAS SOUPS 25424263 WITH SCORE 2.5506660643E7
AT ITER 272 NEW BEST:: SOT 133607937 SOS 82407734 HAS SOPS 66997493 HAS SOUS 26043741 HAS SOUPS 25416975 WITH SCORE 2.5499382734E7
AT ITER 281 NEW BEST:: SOT 133616561 SOS 82432859 HAS SOPS 67020219 HAS SOUS 26042741 HAS SOUPS 25415975 WITH SCORE 2.5498407859E7
AT ITER 285 NEW BEST:: SOT 133615467 SOS 82436306 HAS SOPS 67030250 HAS SOUS 26019818 HAS SOUPS 25393052 WITH SCORE 2.5475488306E7
AT ITER 294 NEW BEST:: SOT 133624586 SOS 82449382 HAS SOPS 67039769 HAS SOUS 26018760 HAS SOUPS 25391994 WITH SCORE 2.5474443382E7
AT ITER 297 NEW BEST:: SOT 133618214 SOS 82492797 HAS SOPS 67081749 HAS SOUS 25937495 HAS SOUPS 25310726 WITH SCORE 2.5393218797E7
AT ITER 302 NEW BEST:: SOT 133618203 SOS 82490816 HAS SOPS 67082254 HAS SOUS 25937346 HAS SOUPS 25310577 WITH SCORE 2.5393067816E7
AT ITER 306 NEW BEST:: SOT 133593892 SOS 82451393 HAS SOPS 67059884 HAS SOUS 25932475 HAS SOUPS 25305706 WITH SCORE 2.5388157393E7
AT ITER 322 NEW BEST:: SOT 133593661 SOS 82449786 HAS SOPS 67058004 HAS SOUS 25930892 HAS SOUPS 25304123 WITH SCORE 2.5386572786E7
AT ITER 324 NEW BEST:: SOT 133593722 SOS 82450359 HAS SOPS 67058976 HAS SOUS 25930564 HAS SOUPS 25303795 WITH SCORE 2.5386245359E7
AT ITER 327 NEW BEST:: SOT 133589121 SOS 82436950 HAS SOPS 67050140 HAS SOUS 25928581 HAS SOUPS 25301812 WITH SCORE 2.538424895E7
AT ITER 329 NEW BEST:: SOT 133588113 SOS 82435088 HAS SOPS 67034829 HAS SOUS 25910671 HAS SOUPS 25284083 WITH SCORE 2.5366518088E7
AT ITER 332 NEW BEST:: SOT 133585720 SOS 82429329 HAS SOPS 67029610 HAS SOUS 25907663 HAS SOUPS 25281075 WITH SCORE 2.5363504329E7
AT ITER 339 NEW BEST:: SOT 133584540 SOS 82419494 HAS SOPS 67022092 HAS SOUS 25907149 HAS SOUPS 25280561 WITH SCORE 2.5362980494E7
AT ITER 342 NEW BEST:: SOT 133584253 SOS 82418724 HAS SOPS 67020909 HAS SOUS 25906609 HAS SOUPS 25280021 WITH SCORE 2.5362439724E7
AT ITER 350 NEW BEST:: SOT 133586794 SOS 82430226 HAS SOPS 67024064 HAS SOUS 25895592 HAS SOUPS 25269004 WITH SCORE 2.5351434226E7
AT ITER 365 NEW BEST:: SOT 133587120 SOS 82425662 HAS SOPS 67026350 HAS SOUS 25881089 HAS SOUPS 25257261 WITH SCORE 2.5339686662E7
AT ITER 372 NEW BEST:: SOT 133600592 SOS 82473527 HAS SOPS 67070164 HAS SOUS 25880045 HAS SOUPS 25256217 WITH SCORE 2.5338690527E7
AT ITER 388 NEW BEST:: SOT 133599200 SOS 82472933 HAS SOPS 67067743 HAS SOUS 25874915 HAS SOUPS 25251066 WITH SCORE 2.5333538933E7
AT ITER 390 NEW BEST:: SOT 133603047 SOS 82475999 HAS SOPS 67077488 HAS SOUS 25869911 HAS SOUPS 25246062 WITH SCORE 2.5328537999E7
AT ITER 405 NEW BEST:: SOT 133598862 SOS 82471914 HAS SOPS 67073681 HAS SOUS 25857936 HAS SOUPS 25234171 WITH SCORE 2.5316642914E7
AT ITER 409 NEW BEST:: SOT 133594710 SOS 82462584 HAS SOPS 67066047 HAS SOUS 25855922 HAS SOUPS 25232157 WITH SCORE 2.5314619584E7
AT ITER 426 NEW BEST:: SOT 133596819 SOS 82462473 HAS SOPS 67070182 HAS SOUS 25855265 HAS SOUPS 25231500 WITH SCORE 2.5313962473E7
AT ITER 427 NEW BEST:: SOT 133592608 SOS 82462487 HAS SOPS 67062752 HAS SOUS 25843184 HAS SOUPS 25219419 WITH SCORE 2.5301881487E7
AT ITER 428 NEW BEST:: SOT 133592833 SOS 82462910 HAS SOPS 67064724 HAS SOUS 25840655 HAS SOUPS 25216791 WITH SCORE 2.529925391E7
AT ITER 453 NEW BEST:: SOT 133590325 SOS 82458999 HAS SOPS 67055915 HAS SOUS 25833317 HAS SOUPS 25209453 WITH SCORE 2.5291911999E7
AT ITER 459 NEW BEST:: SOT 133589444 SOS 82458202 HAS SOPS 67055020 HAS SOUS 25832189 HAS SOUPS 25208332 WITH SCORE 2.5290790202E7
AT ITER 471 NEW BEST:: SOT 133588266 SOS 82454639 HAS SOPS 67050695 HAS SOUS 25830531 HAS SOUPS 25206565 WITH SCORE 2.5289019639E7
AT ITER 480 NEW BEST:: SOT 133587011 SOS 82456852 HAS SOPS 67056044 HAS SOUS 25830299 HAS SOUPS 25206333 WITH SCORE 2.5288789852E7
AT ITER 512 NEW BEST:: SOT 133580551 SOS 82456512 HAS SOPS 67054036 HAS SOUS 25806517 HAS SOUPS 25185451 WITH SCORE 2.5267907512E7
AT ITER 515 NEW BEST:: SOT 133575256 SOS 82450237 HAS SOPS 67047901 HAS SOUS 25798697 HAS SOUPS 25177666 WITH SCORE 2.5260116237E7
AT ITER 540 NEW BEST:: SOT 133575094 SOS 82450055 HAS SOPS 67047650 HAS SOUS 25798362 HAS SOUPS 25177332 WITH SCORE 2.5259782055E7
AT ITER 547 NEW BEST:: SOT 133572364 SOS 82447218 HAS SOPS 67040789 HAS SOUS 25792730 HAS SOUPS 25171700 WITH SCORE 2.5254147218E7
AT ITER 554 NEW BEST:: SOT 133577355 SOS 82462419 HAS SOPS 67054506 HAS SOUS 25779620 HAS SOUPS 25158590 WITH SCORE 2.5241052419E7
AT ITER 562 NEW BEST:: SOT 133579830 SOS 82467318 HAS SOPS 67057426 HAS SOUS 25779181 HAS SOUPS 25158151 WITH SCORE 2.5240618318E7
AT ITER 571 NEW BEST:: SOT 133460142 SOS 82246814 HAS SOPS 66868053 HAS SOUS 25717215 HAS SOUPS 25093948 WITH SCORE 2.5176194814E7
AT ITER 573 NEW BEST:: SOT 133460056 SOS 82246567 HAS SOPS 66867885 HAS SOUS 25717165 HAS SOUPS 25093898 WITH SCORE 2.5176144567E7
AT ITER 578 NEW BEST:: SOT 133473024 SOS 82281000 HAS SOPS 66898106 HAS SOUS 25716479 HAS SOUPS 25093212 WITH SCORE 2.5175493E7
AT ITER 600 NEW BEST:: SOT 133484550 SOS 82313250 HAS SOPS 66924571 HAS SOUS 25715943 HAS SOUPS 25092676 WITH SCORE 2.517498925E7
AT ITER 618 NEW BEST:: SOT 133478904 SOS 82277159 HAS SOPS 66923256 HAS SOUS 25707632 HAS SOUPS 25084365 WITH SCORE 2.5166642159E7
AT ITER 623 NEW BEST:: SOT 133494651 SOS 82327956 HAS SOPS 66950212 HAS SOUS 25697552 HAS SOUPS 25074285 WITH SCORE 2.5156612956E7
AT ITER 629 NEW BEST:: SOT 133487722 SOS 82323152 HAS SOPS 66946104 HAS SOUS 25678297 HAS SOUPS 25054974 WITH SCORE 2.5137297152E7
AT ITER 630 NEW BEST:: SOT 133487360 SOS 82328016 HAS SOPS 66944664 HAS SOUS 25670006 HAS SOUPS 25046683 WITH SCORE 2.5129011016E7
AT ITER 637 NEW BEST:: SOT 133487498 SOS 82328469 HAS SOPS 66944504 HAS SOUS 25669216 HAS SOUPS 25045893 WITH SCORE 2.5128221469E7
AT ITER 648 NEW BEST:: SOT 133505232 SOS 82402067 HAS SOPS 67022747 HAS SOUS 25647812 HAS SOUPS 25024489 WITH SCORE 2.5106891067E7
AT ITER 656 NEW BEST:: SOT 133513797 SOS 82434539 HAS SOPS 67045628 HAS SOUS 25632371 HAS SOUPS 25009048 WITH SCORE 2.5091482539E7
AT ITER 661 NEW BEST:: SOT 133515960 SOS 82441080 HAS SOPS 67053008 HAS SOUS 25628252 HAS SOUPS 25004929 WITH SCORE 2.508737008E7
AT ITER 685 NEW BEST:: SOT 133501665 SOS 82429381 HAS SOPS 67069898 HAS SOUS 25558303 HAS SOUPS 24935448 WITH SCORE 2.5017877381E7
AT ITER 715 NEW BEST:: SOT 133499350 SOS 82427178 HAS SOPS 67067163 HAS SOUS 25552398 HAS SOUPS 24929515 WITH SCORE 2.5011942178E7
AT ITER 724 NEW BEST:: SOT 133495625 SOS 82400630 HAS SOPS 67057849 HAS SOUS 25542020 HAS SOUPS 24919911 WITH SCORE 2.500231163E7
AT ITER 738 NEW BEST:: SOT 133470656 SOS 82349262 HAS SOPS 67037374 HAS SOUS 25530614 HAS SOUPS 24908806 WITH SCORE 2.4991155262E7
AT ITER 742 NEW BEST:: SOT 133477999 SOS 82371565 HAS SOPS 67052888 HAS SOUS 25521295 HAS SOUPS 24899487 WITH SCORE 2.4981858565E7
AT ITER 749 NEW BEST:: SOT 133517782 SOS 82527530 HAS SOPS 67198769 HAS SOUS 25509613 HAS SOUPS 24887805 WITH SCORE 2.497033253E7
AT ITER 758 NEW BEST:: SOT 133517217 SOS 82517512 HAS SOPS 67179341 HAS SOUS 25496747 HAS SOUPS 24874939 WITH SCORE 2.4957456512E7
AT ITER 765 NEW BEST:: SOT 133530579 SOS 82560016 HAS SOPS 67216434 HAS SOUS 25496081 HAS SOUPS 24874273 WITH SCORE 2.4956833016E7
AT ITER 770 NEW BEST:: SOT 133544459 SOS 82595693 HAS SOPS 67227413 HAS SOUS 25489764 HAS SOUPS 24867956 WITH SCORE 2.4950551693E7
AT ITER 789 NEW BEST:: SOT 133523381 SOS 82572933 HAS SOPS 67200118 HAS SOUS 25450753 HAS SOUPS 24828875 WITH SCORE 2.4911447933E7
AT ITER 791 NEW BEST:: SOT 133586742 SOS 82752299 HAS SOPS 67348490 HAS SOUS 25444023 HAS SOUPS 24822145 WITH SCORE 2.4904897299E7
AT ITER 794 NEW BEST:: SOT 133591812 SOS 82767582 HAS SOPS 67358205 HAS SOUS 25439042 HAS SOUPS 24817164 WITH SCORE 2.4899931582E7
AT ITER 797 NEW BEST:: SOT 133583875 SOS 82747434 HAS SOPS 67350843 HAS SOUS 25436328 HAS SOUPS 24814450 WITH SCORE 2.4897197434E7
AT ITER 809 NEW BEST:: SOT 133583635 SOS 82745230 HAS SOPS 67350577 HAS SOUS 25435670 HAS SOUPS 24813792 WITH SCORE 2.489653723E7
AT ITER 845 NEW BEST:: SOT 133574847 SOS 82735727 HAS SOPS 67341355 HAS SOUS 25420916 HAS SOUPS 24799111 WITH SCORE 2.4881846727E7
AT ITER 853 NEW BEST:: SOT 133574225 SOS 82727822 HAS SOPS 67332455 HAS SOUS 25415522 HAS SOUPS 24793717 WITH SCORE 2.4876444822E7
AT ITER 856 NEW BEST:: SOT 133575020 SOS 82731077 HAS SOPS 67334530 HAS SOUS 25414557 HAS SOUPS 24792752 WITH SCORE 2.4875483077E7
AT ITER 858 NEW BEST:: SOT 133588805 SOS 82785162 HAS SOPS 67375338 HAS SOUS 25395396 HAS SOUPS 24773591 WITH SCORE 2.4856376162E7
AT ITER 865 NEW BEST:: SOT 133575563 SOS 82756188 HAS SOPS 67353450 HAS SOUS 25382919 HAS SOUPS 24761114 WITH SCORE 2.4843870188E7
AT ITER 874 NEW BEST:: SOT 133576049 SOS 82774331 HAS SOPS 67353383 HAS SOUS 25325098 HAS SOUPS 24703293 WITH SCORE 2.4786067331E7
AT ITER 913 NEW BEST:: SOT 133572866 SOS 82771148 HAS SOPS 67351304 HAS SOUS 25321691 HAS SOUPS 24701102 WITH SCORE 2.4783873148E7
AT ITER 916 NEW BEST:: SOT 133591200 SOS 82824751 HAS SOPS 67400110 HAS SOUS 25307126 HAS SOUPS 24686537 WITH SCORE 2.4769361751E7
AT ITER 919 NEW BEST:: SOT 133589802 SOS 82822458 HAS SOPS 67399003 HAS SOUS 25304018 HAS SOUPS 24683816 WITH SCORE 2.4766638458E7
AT ITER 930 NEW BEST:: SOT 133589667 SOS 82826479 HAS SOPS 67403487 HAS SOUS 25297904 HAS SOUPS 24677702 WITH SCORE 2.4760528479E7
AT ITER 940 NEW BEST:: SOT 133592964 SOS 82837814 HAS SOPS 67411383 HAS SOUS 25296799 HAS SOUPS 24676597 WITH SCORE 2.4759434814E7
AT ITER 946 NEW BEST:: SOT 133586582 SOS 82839145 HAS SOPS 67404466 HAS SOUS 25267965 HAS SOUPS 24647763 WITH SCORE 2.4730602145E7
AT ITER 953 NEW BEST:: SOT 133596883 SOS 82866903 HAS SOPS 67422505 HAS SOUS 25261135 HAS SOUPS 24640933 WITH SCORE 2.4723799903E7
AT ITER 972 NEW BEST:: SOT 133597259 SOS 82872386 HAS SOPS 67425760 HAS SOUS 25256267 HAS SOUPS 24636065 WITH SCORE 2.4718937386E7
AT ITER 977 NEW BEST:: SOT 133583899 SOS 82855281 HAS SOPS 67417632 HAS SOUS 25241633 HAS SOUPS 24621431 WITH SCORE 2.4704286281E7
AT ITER 987 NEW BEST:: SOT 133602002 SOS 82895300 HAS SOPS 67445901 HAS SOUS 25240636 HAS SOUPS 24620434 WITH SCORE 2.47033293E7
AT ITER 988 NEW BEST:: SOT 133598274 SOS 82886167 HAS SOPS 67444840 HAS SOUS 25235372 HAS SOUPS 24615355 WITH SCORE 2.4698241167E7
AT ITER 993 NEW BEST:: SOT 133589555 SOS 82877448 HAS SOPS 67436113 HAS SOUS 25223133 HAS SOUPS 24603116 WITH SCORE 2.4685993448E7
AT ITER 1004 NEW BEST:: SOT 133583132 SOS 82856932 HAS SOPS 67428950 HAS SOUS 25207703 HAS SOUPS 24587686 WITH SCORE 2.4670542932E7
AT ITER 1027 NEW BEST:: SOT 133595780 SOS 82908605 HAS SOPS 67483855 HAS SOUS 25205547 HAS SOUPS 24585530 WITH SCORE 2.4668438605E7
AT ITER 1039 NEW BEST:: SOT 133599164 SOS 82921183 HAS SOPS 67493266 HAS SOUS 25204625 HAS SOUPS 24584608 WITH SCORE 2.4667529183E7
AT ITER 1041 NEW BEST:: SOT 133595548 SOS 82915214 HAS SOPS 67488516 HAS SOUS 25200493 HAS SOUPS 24580476 WITH SCORE 2.4663391214E7
AT ITER 1045 NEW BEST:: SOT 133588695 SOS 82897951 HAS SOPS 67475620 HAS SOUS 25198697 HAS SOUPS 24578680 WITH SCORE 2.4661577951E7
AT ITER 1050 NEW BEST:: SOT 133611208 SOS 82928377 HAS SOPS 67538321 HAS SOUS 25193252 HAS SOUPS 24573787 WITH SCORE 2.4656715377E7
AT ITER 1051 NEW BEST:: SOT 133608732 SOS 82927296 HAS SOPS 67534891 HAS SOUS 25182867 HAS SOUPS 24563548 WITH SCORE 2.4646475296E7
AT ITER 1053 NEW BEST:: SOT 133605476 SOS 82911124 HAS SOPS 67525523 HAS SOUS 25175876 HAS SOUPS 24556557 WITH SCORE 2.4639468124E7
AT ITER 1057 NEW BEST:: SOT 133607124 SOS 82904377 HAS SOPS 67530468 HAS SOUS 25163772 HAS SOUPS 24545723 WITH SCORE 2.4628627377E7
AT ITER 1061 NEW BEST:: SOT 133610946 SOS 82911145 HAS SOPS 67538628 HAS SOUS 25162252 HAS SOUPS 24544203 WITH SCORE 2.4627114145E7
AT ITER 1072 NEW BEST:: SOT 133617129 SOS 82930122 HAS SOPS 67545239 HAS SOUS 25153731 HAS SOUPS 24535576 WITH SCORE 2.4618506122E7
AT ITER 1075 NEW BEST:: SOT 133587564 SOS 82889397 HAS SOPS 67504114 HAS SOUS 25106782 HAS SOUPS 24487836 WITH SCORE 2.4570725397E7
AT ITER 1077 NEW BEST:: SOT 133588334 SOS 82892829 HAS SOPS 67504045 HAS SOUS 25103118 HAS SOUPS 24484172 WITH SCORE 2.4567064829E7
AT ITER 1097 NEW BEST:: SOT 133565447 SOS 82861853 HAS SOPS 67472190 HAS SOUS 25060187 HAS SOUPS 24441241 WITH SCORE 2.4524102853E7
AT ITER 1104 NEW BEST:: SOT 133571100 SOS 82885586 HAS SOPS 67484492 HAS SOUS 25052082 HAS SOUPS 24433136 WITH SCORE 2.4516021586E7
AT ITER 1122 NEW BEST:: SOT 133555281 SOS 82862126 HAS SOPS 67461978 HAS SOUS 25034696 HAS SOUPS 24415750 WITH SCORE 2.4498612126E7
AT ITER 1126 NEW BEST:: SOT 133605947 SOS 83009187 HAS SOPS 67623049 HAS SOUS 25003838 HAS SOUPS 24384892 WITH SCORE 2.4467901187E7
AT ITER 1144 NEW BEST:: SOT 133604574 SOS 83028459 HAS SOPS 67647421 HAS SOUS 24971458 HAS SOUPS 24352512 WITH SCORE 2.4435540459E7
AT ITER 1148 NEW BEST:: SOT 133603435 SOS 83027266 HAS SOPS 67646168 HAS SOUS 24969575 HAS SOUPS 24350635 WITH SCORE 2.4433662266E7
AT ITER 1154 NEW BEST:: SOT 133604453 SOS 83031334 HAS SOPS 67658940 HAS SOUS 24968179 HAS SOUPS 24350510 WITH SCORE 2.4433541334E7
AT ITER 1171 NEW BEST:: SOT 133612124 SOS 83066222 HAS SOPS 67692712 HAS SOUS 24948492 HAS SOUPS 24330823 WITH SCORE 2.4413889222E7
AT ITER 1207 NEW BEST:: SOT 133604087 SOS 83044155 HAS SOPS 67672518 HAS SOUS 24944991 HAS SOUPS 24327322 WITH SCORE 2.4410366155E7
AT ITER 1209 NEW BEST:: SOT 133591378 SOS 83014197 HAS SOPS 67648650 HAS SOUS 24937568 HAS SOUPS 24319899 WITH SCORE 2.4402913197E7
AT ITER 1219 NEW BEST:: SOT 133608563 SOS 83100412 HAS SOPS 67718809 HAS SOUS 24907273 HAS SOUPS 24289604 WITH SCORE 2.4372704412E7
AT ITER 1222 NEW BEST:: SOT 133608225 SOS 83097804 HAS SOPS 67724109 HAS SOUS 24899680 HAS SOUPS 24282092 WITH SCORE 2.4365189804E7
AT ITER 1226 NEW BEST:: SOT 133614619 SOS 83124162 HAS SOPS 67742255 HAS SOUS 24894082 HAS SOUPS 24276494 WITH SCORE 2.4359618162E7
AT ITER 1247 NEW BEST:: SOT 133605831 SOS 83115628 HAS SOPS 67734472 HAS SOUS 24878592 HAS SOUPS 24261004 WITH SCORE 2.4344119628E7
AT ITER 1253 NEW BEST:: SOT 133581785 SOS 83075179 HAS SOPS 67698925 HAS SOUS 24854748 HAS SOUPS 24237187 WITH SCORE 2.4320262179E7
AT ITER 1263 NEW BEST:: SOT 133581658 SOS 83075163 HAS SOPS 67698798 HAS SOUS 24854405 HAS SOUPS 24236847 WITH SCORE 2.4319922163E7
AT ITER 1276 NEW BEST:: SOT 133618243 SOS 83167907 HAS SOPS 67774950 HAS SOUS 24841954 HAS SOUPS 24224396 WITH SCORE 2.4307563907E7
AT ITER 1279 NEW BEST:: SOT 133614298 SOS 83166467 HAS SOPS 67773773 HAS SOUS 24834754 HAS SOUPS 24217196 WITH SCORE 2.4300362467E7
AT ITER 1280 NEW BEST:: SOT 133615895 SOS 83165807 HAS SOPS 67777279 HAS SOUS 24834567 HAS SOUPS 24217136 WITH SCORE 2.4300301807E7
AT ITER 1286 NEW BEST:: SOT 133607151 SOS 83154540 HAS SOPS 67763247 HAS SOUS 24824529 HAS SOUPS 24207098 WITH SCORE 2.429025254E7
AT ITER 1306 NEW BEST:: SOT 133607506 SOS 83154518 HAS SOPS 67764205 HAS SOUS 24821117 HAS SOUPS 24204108 WITH SCORE 2.4287262518E7
AT ITER 1307 NEW BEST:: SOT 133604615 SOS 83144153 HAS SOPS 67758688 HAS SOUS 24809470 HAS SOUPS 24192461 WITH SCORE 2.4275605153E7
AT ITER 1314 NEW BEST:: SOT 133659214 SOS 83286048 HAS SOPS 67876512 HAS SOUS 24805082 HAS SOUPS 24187959 WITH SCORE 2.4271245048E7
AT ITER 1344 NEW BEST:: SOT 133658348 SOS 83285138 HAS SOPS 67875492 HAS SOUS 24803242 HAS SOUPS 24186167 WITH SCORE 2.4269452138E7
AT ITER 1346 NEW BEST:: SOT 133658682 SOS 83290692 HAS SOPS 67882387 HAS SOUS 24803181 HAS SOUPS 24186106 WITH SCORE 2.4269396692E7
AT ITER 1347 NEW BEST:: SOT 133656984 SOS 83288451 HAS SOPS 67880720 HAS SOUS 24801475 HAS SOUPS 24184431 WITH SCORE 2.4267719451E7
AT ITER 1362 NEW BEST:: SOT 133653870 SOS 83294056 HAS SOPS 67886338 HAS SOUS 24798435 HAS SOUPS 24181391 WITH SCORE 2.4264685056E7
AT ITER 1365 NEW BEST:: SOT 133651743 SOS 83305280 HAS SOPS 67898631 HAS SOUS 24779145 HAS SOUPS 24162234 WITH SCORE 2.424553928E7
AT ITER 1382 NEW BEST:: SOT 133642751 SOS 83296376 HAS SOPS 67888574 HAS SOUS 24768821 HAS SOUPS 24151579 WITH SCORE 2.4234875376E7
AT ITER 1384 NEW BEST:: SOT 133640531 SOS 83295856 HAS SOPS 67888292 HAS SOUS 24762771 HAS SOUPS 24145529 WITH SCORE 2.4228824856E7
AT ITER 1395 NEW BEST:: SOT 133632031 SOS 83287460 HAS SOPS 67880386 HAS SOUS 24742981 HAS SOUPS 24125844 WITH SCORE 2.420913146E7
AT ITER 1398 NEW BEST:: SOT 133635837 SOS 83303743 HAS SOPS 67894258 HAS SOUS 24731320 HAS SOUPS 24114183 WITH SCORE 2.4197486743E7
AT ITER 1411 NEW BEST:: SOT 133637284 SOS 83312571 HAS SOPS 67907450 HAS SOUS 24730367 HAS SOUPS 24113230 WITH SCORE 2.4196542571E7
AT ITER 1413 NEW BEST:: SOT 133633469 SOS 83306915 HAS SOPS 67925534 HAS SOUS 24719588 HAS SOUPS 24102451 WITH SCORE 2.4185757915E7
AT ITER 1424 NEW BEST:: SOT 133631495 SOS 83300969 HAS SOPS 67918807 HAS SOUS 24712522 HAS SOUPS 24095385 WITH SCORE 2.4178685969E7
AT ITER 1427 NEW BEST:: SOT 133629728 SOS 83297739 HAS SOPS 67915777 HAS SOUS 24711322 HAS SOUPS 24094185 WITH SCORE 2.4177482739E7
AT ITER 1428 NEW BEST:: SOT 133608480 SOS 83242569 HAS SOPS 67881163 HAS SOUS 24702461 HAS SOUPS 24086650 WITH SCORE 2.4169892569E7
AT ITER 1436 NEW BEST:: SOT 133648611 SOS 83350711 HAS SOPS 67978635 HAS SOUS 24701594 HAS SOUPS 24085783 WITH SCORE 2.4169133711E7
AT ITER 1437 NEW BEST:: SOT 133640089 SOS 83334602 HAS SOPS 67965736 HAS SOUS 24693965 HAS SOUPS 24078490 WITH SCORE 2.4161824602E7
AT ITER 1442 NEW BEST:: SOT 133628824 SOS 83347521 HAS SOPS 67969539 HAS SOUS 24675912 HAS SOUPS 24060126 WITH SCORE 2.4143473521E7
AT ITER 1458 NEW BEST:: SOT 133650921 SOS 83387426 HAS SOPS 68007195 HAS SOUS 24666655 HAS SOUPS 24050869 WITH SCORE 2.4134256426E7
AT ITER 1479 NEW BEST:: SOT 133686645 SOS 83446487 HAS SOPS 68070628 HAS SOUS 24662899 HAS SOUPS 24047125 WITH SCORE 2.4130571487E7
AT ITER 1481 NEW BEST:: SOT 133590570 SOS 83342417 HAS SOPS 67971201 HAS SOUS 24565346 HAS SOUPS 23949963 WITH SCORE 2.4033305417E7
AT ITER 1491 NEW BEST:: SOT 133583786 SOS 83333821 HAS SOPS 67962811 HAS SOUS 24549611 HAS SOUPS 23934275 WITH SCORE 2.4017608821E7
AT ITER 1506 NEW BEST:: SOT 133374287 SOS 83067132 HAS SOPS 67713069 HAS SOUS 24300929 HAS SOUPS 23685974 WITH SCORE 2.3769041132E7
AT ITER 1508 NEW BEST:: SOT 133374601 SOS 83066308 HAS SOPS 67707806 HAS SOUS 24284959 HAS SOUPS 23670004 WITH SCORE 2.3753070308E7
AT ITER 1509 NEW BEST:: SOT 133355476 SOS 83044583 HAS SOPS 67692827 HAS SOUS 24264775 HAS SOUPS 23649834 WITH SCORE 2.3732878583E7
AT ITER 1510 NEW BEST:: SOT 133355116 SOS 83044093 HAS SOPS 67692474 HAS SOUS 24264593 HAS SOUPS 23649652 WITH SCORE 2.3732696093E7
AT ITER 1513 NEW BEST:: SOT 133354290 SOS 83041570 HAS SOPS 67687169 HAS SOUS 24252459 HAS SOUPS 23637518 WITH SCORE 2.372055957E7
AT ITER 1518 NEW BEST:: SOT 133357117 SOS 83047900 HAS SOPS 67691807 HAS SOUS 24250235 HAS SOUPS 23635294 WITH SCORE 2.37183419E7
AT ITER 1525 NEW BEST:: SOT 133383518 SOS 83112177 HAS SOPS 67774150 HAS SOUS 24227809 HAS SOUPS 23613387 WITH SCORE 2.3696499177E7
AT ITER 1529 NEW BEST:: SOT 133409152 SOS 83177332 HAS SOPS 67818096 HAS SOUS 24220822 HAS SOUPS 23606400 WITH SCORE 2.3689577332E7
AT ITER 1537 NEW BEST:: SOT 133401083 SOS 83163152 HAS SOPS 67812473 HAS SOUS 24214003 HAS SOUPS 23599705 WITH SCORE 2.3682868152E7
AT ITER 1545 NEW BEST:: SOT 133394177 SOS 83153473 HAS SOPS 67815568 HAS SOUS 24206470 HAS SOUPS 23592328 WITH SCORE 2.3675481473E7
AT ITER 1567 NEW BEST:: SOT 133391494 SOS 83150913 HAS SOPS 67811907 HAS SOUS 24201343 HAS SOUPS 23587201 WITH SCORE 2.3670351913E7
AT ITER 1571 NEW BEST:: SOT 133399053 SOS 83185045 HAS SOPS 67883624 HAS SOUS 24184983 HAS SOUPS 23570841 WITH SCORE 2.3654026045E7
AT ITER 1582 NEW BEST:: SOT 133376456 SOS 83146097 HAS SOPS 67843153 HAS SOUS 24154713 HAS SOUPS 23540571 WITH SCORE 2.3623717097E7
AT ITER 1613 NEW BEST:: SOT 133382336 SOS 83177178 HAS SOPS 67911709 HAS SOUS 24136997 HAS SOUPS 23522855 WITH SCORE 2.3606032178E7
AT ITER 1637 NEW BEST:: SOT 133340469 SOS 83128849 HAS SOPS 67857705 HAS SOUS 24059032 HAS SOUPS 23444890 WITH SCORE 2.3528018849E7
AT ITER 1638 NEW BEST:: SOT 133333568 SOS 83120988 HAS SOPS 67847523 HAS SOUS 24045843 HAS SOUPS 23431701 WITH SCORE 2.3514821988E7
AT ITER 1641 NEW BEST:: SOT 133331595 SOS 83098290 HAS SOPS 67844137 HAS SOUS 24040280 HAS SOUPS 23426334 WITH SCORE 2.350943229E7
AT ITER 1642 NEW BEST:: SOT 133324283 SOS 83090342 HAS SOPS 67831180 HAS SOUS 24024819 HAS SOUPS 23410873 WITH SCORE 2.3493963342E7
AT ITER 1643 NEW BEST:: SOT 133328738 SOS 83117006 HAS SOPS 67849484 HAS SOUS 24004526 HAS SOUPS 23390580 WITH SCORE 2.3473697006E7
AT ITER 1644 NEW BEST:: SOT 133251720 SOS 83004482 HAS SOPS 67775210 HAS SOUS 23980102 HAS SOUPS 23366266 WITH SCORE 2.3449270482E7
AT ITER 1683 NEW BEST:: SOT 133255420 SOS 83006978 HAS SOPS 67772059 HAS SOUS 23974946 HAS SOUPS 23361110 WITH SCORE 2.3444116978E7
AT ITER 1687 NEW BEST:: SOT 133256370 SOS 83048468 HAS SOPS 67818617 HAS SOUS 23961397 HAS SOUPS 23347561 WITH SCORE 2.3430609468E7
AT ITER 1699 NEW BEST:: SOT 133257684 SOS 83050307 HAS SOPS 67819880 HAS SOUS 23958623 HAS SOUPS 23344751 WITH SCORE 2.3427801307E7
AT ITER 1708 NEW BEST:: SOT 133256322 SOS 83053300 HAS SOPS 67818216 HAS SOUS 23947053 HAS SOUPS 23333181 WITH SCORE 2.34162343E7
AT ITER 1732 NEW BEST:: SOT 133255223 SOS 83051372 HAS SOPS 67816559 HAS SOUS 23945943 HAS SOUPS 23332071 WITH SCORE 2.3415122372E7
AT ITER 1743 NEW BEST:: SOT 133257064 SOS 83042517 HAS SOPS 67809791 HAS SOUS 23941755 HAS SOUPS 23327883 WITH SCORE 2.3410925517E7
AT ITER 1744 NEW BEST:: SOT 133254516 SOS 83033657 HAS SOPS 67808195 HAS SOUS 23936320 HAS SOUPS 23322550 WITH SCORE 2.3405583657E7
AT ITER 1762 NEW BEST:: SOT 133250876 SOS 83029162 HAS SOPS 67801540 HAS SOUS 23931276 HAS SOUPS 23317506 WITH SCORE 2.3400535162E7
AT ITER 1765 NEW BEST:: SOT 133251353 SOS 83037296 HAS SOPS 67808516 HAS SOUS 23919582 HAS SOUPS 23305812 WITH SCORE 2.3388849296E7
AT ITER 1773 NEW BEST:: SOT 133249275 SOS 83032922 HAS SOPS 67804787 HAS SOUS 23918900 HAS SOUPS 23305130 WITH SCORE 2.3388162922E7
AT ITER 1774 NEW BEST:: SOT 133244878 SOS 83023670 HAS SOPS 67791025 HAS SOUS 23910276 HAS SOUPS 23296506 WITH SCORE 2.337952967E7
AT ITER 1778 NEW BEST:: SOT 133242936 SOS 83017770 HAS SOPS 67786475 HAS SOUS 23909975 HAS SOUPS 23296205 WITH SCORE 2.337922277E7
AT ITER 1792 NEW BEST:: SOT 133242978 SOS 83017720 HAS SOPS 67786747 HAS SOUS 23907224 HAS SOUPS 23293454 WITH SCORE 2.337647172E7
AT ITER 1794 NEW BEST:: SOT 133240166 SOS 83014977 HAS SOPS 67781420 HAS SOUS 23904291 HAS SOUPS 23290484 WITH SCORE 2.3373498977E7
AT ITER 1825 NEW BEST:: SOT 133233806 SOS 83007623 HAS SOPS 67772365 HAS SOUS 23891932 HAS SOUPS 23278152 WITH SCORE 2.3361159623E7
AT ITER 1844 NEW BEST:: SOT 133236908 SOS 83025029 HAS SOPS 67786858 HAS SOUS 23885518 HAS SOUPS 23271738 WITH SCORE 2.3354763029E7
AT ITER 1858 NEW BEST:: SOT 133237022 SOS 83027421 HAS SOPS 67789865 HAS SOUS 23884971 HAS SOUPS 23271191 WITH SCORE 2.3354218421E7
AT ITER 1860 NEW BEST:: SOT 133237045 SOS 83025790 HAS SOPS 67789926 HAS SOUS 23884896 HAS SOUPS 23271116 WITH SCORE 2.335414179E7
AT ITER 1862 NEW BEST:: SOT 133240387 SOS 83041152 HAS SOPS 67803732 HAS SOUS 23884744 HAS SOUPS 23270964 WITH SCORE 2.3354005152E7
AT ITER 1870 NEW BEST:: SOT 133238650 SOS 83039413 HAS SOPS 67801858 HAS SOUS 23880736 HAS SOUPS 23266956 WITH SCORE 2.3349995413E7
AT ITER 1878 NEW BEST:: SOT 133225404 SOS 83017917 HAS SOPS 67781898 HAS SOUS 23861560 HAS SOUPS 23247780 WITH SCORE 2.3330797917E7
AT ITER 1882 NEW BEST:: SOT 133224497 SOS 83016648 HAS SOPS 67780426 HAS SOUS 23859359 HAS SOUPS 23245579 WITH SCORE 2.3328595648E7
AT ITER 1885 NEW BEST:: SOT 133215508 SOS 82995172 HAS SOPS 67770953 HAS SOUS 23825421 HAS SOUPS 23211641 WITH SCORE 2.3294636172E7
AT ITER 1886 NEW BEST:: SOT 133224746 SOS 83063965 HAS SOPS 67846878 HAS SOUS 23792000 HAS SOUPS 23178220 WITH SCORE 2.3261283965E7
AT ITER 1890 NEW BEST:: SOT 133231861 SOS 83074855 HAS SOPS 67861044 HAS SOUS 23787274 HAS SOUPS 23173608 WITH SCORE 2.3256682855E7
AT ITER 1912 NEW BEST:: SOT 133232451 SOS 83075258 HAS SOPS 67862197 HAS SOUS 23787199 HAS SOUPS 23173527 WITH SCORE 2.3256602258E7
AT ITER 1919 NEW BEST:: SOT 133233486 SOS 83079478 HAS SOPS 67865459 HAS SOUS 23783422 HAS SOUPS 23169750 WITH SCORE 2.3252829478E7
AT ITER 1924 NEW BEST:: SOT 133227369 SOS 83067480 HAS SOPS 67858682 HAS SOUS 23771485 HAS SOUPS 23157813 WITH SCORE 2.324088048E7
AT ITER 1943 NEW BEST:: SOT 133223026 SOS 83073916 HAS SOPS 67887977 HAS SOUS 23751264 HAS SOUPS 23137592 WITH SCORE 2.3220665916E7
AT ITER 1954 NEW BEST:: SOT 133225149 SOS 83092164 HAS SOPS 67896578 HAS SOUS 23741236 HAS SOUPS 23127564 WITH SCORE 2.3210656164E7
AT ITER 1961 NEW BEST:: SOT 133224884 SOS 83091765 HAS SOPS 67896211 HAS SOUS 23741190 HAS SOUPS 23127520 WITH SCORE 2.3210611765E7
AT ITER 1962 NEW BEST:: SOT 133232942 SOS 83104378 HAS SOPS 67897463 HAS SOUS 23728405 HAS SOUPS 23114735 WITH SCORE 2.3197839378E7
AT ITER 1968 NEW BEST:: SOT 133195684 SOS 83026719 HAS SOPS 67837785 HAS SOUS 23709527 HAS SOUPS 23096942 WITH SCORE 2.3179968719E7
AT ITER 2000 NEW BEST:: SOT 133181901 SOS 83021302 HAS SOPS 67812041 HAS SOUS 23670352 HAS SOUPS 23057178 WITH SCORE 2.3140199302E7
AT ITER 2019 NEW BEST:: SOT 133120770 SOS 82956373 HAS SOPS 67747139 HAS SOUS 23579700 HAS SOUPS 22966553 WITH SCORE 2.3049509373E7
AT ITER 2028 NEW BEST:: SOT 133104937 SOS 82940662 HAS SOPS 67725553 HAS SOUS 23540548 HAS SOUPS 22927275 WITH SCORE 2.3010215662E7
AT ITER 2036 NEW BEST:: SOT 133106904 SOS 82942811 HAS SOPS 67727944 HAS SOUS 23537216 HAS SOUPS 22923943 WITH SCORE 2.3006885811E7
AT ITER 2057 NEW BEST:: SOT 133084491 SOS 82908672 HAS SOPS 67731103 HAS SOUS 23528690 HAS SOUPS 22915766 WITH SCORE 2.2998674672E7
AT ITER 2071 NEW BEST:: SOT 133090005 SOS 82916955 HAS SOPS 67738054 HAS SOUS 23521993 HAS SOUPS 22909069 WITH SCORE 2.2991985955E7
AT ITER 2075 NEW BEST:: SOT 133083556 SOS 82886568 HAS SOPS 67724208 HAS SOUS 23517712 HAS SOUPS 22904788 WITH SCORE 2.2987674568E7
AT ITER 2092 NEW BEST:: SOT 133089821 SOS 82911152 HAS SOPS 67724245 HAS SOUS 23504180 HAS SOUPS 22891256 WITH SCORE 2.2974167152E7
AT ITER 2093 NEW BEST:: SOT 133124644 SOS 82984656 HAS SOPS 67790569 HAS SOUS 23497771 HAS SOUPS 22884847 WITH SCORE 2.2967831656E7
AT ITER 2100 NEW BEST:: SOT 133101268 SOS 82962487 HAS SOPS 67772271 HAS SOUS 23483159 HAS SOUPS 22874411 WITH SCORE 2.2957373487E7
AT ITER 2101 NEW BEST:: SOT 133076543 SOS 82934574 HAS SOPS 67774097 HAS SOUS 23478364 HAS SOUPS 22869699 WITH SCORE 2.2952633574E7
AT ITER 2110 NEW BEST:: SOT 133080468 SOS 82942140 HAS SOPS 67786776 HAS SOUS 23477769 HAS SOUPS 22869269 WITH SCORE 2.295221114E7
AT ITER 2112 NEW BEST:: SOT 133080564 SOS 82945688 HAS SOPS 67787394 HAS SOUS 23474755 HAS SOUPS 22866238 WITH SCORE 2.2949183688E7
AT ITER 2127 NEW BEST:: SOT 133112818 SOS 83066450 HAS SOPS 67882591 HAS SOUS 23454471 HAS SOUPS 22845920 WITH SCORE 2.292898645E7
AT ITER 2128 NEW BEST:: SOT 133108026 SOS 83058200 HAS SOPS 67874436 HAS SOUS 23439849 HAS SOUPS 22832678 WITH SCORE 2.29157362E7
AT ITER 2136 NEW BEST:: SOT 133079182 SOS 82979031 HAS SOPS 67806667 HAS SOUS 23398468 HAS SOUPS 22791297 WITH SCORE 2.2874276031E7
AT ITER 2148 NEW BEST:: SOT 133082711 SOS 82989656 HAS SOPS 67813886 HAS SOUS 23383561 HAS SOUPS 22776390 WITH SCORE 2.2859379656E7
AT ITER 2155 NEW BEST:: SOT 133088756 SOS 82993286 HAS SOPS 67826673 HAS SOUS 23377534 HAS SOUPS 22770795 WITH SCORE 2.2853788286E7
AT ITER 2179 NEW BEST:: SOT 133090722 SOS 82998187 HAS SOPS 67833734 HAS SOUS 23374821 HAS SOUPS 22768082 WITH SCORE 2.2851080187E7
AT ITER 2183 NEW BEST:: SOT 133090000 SOS 82997532 HAS SOPS 67832514 HAS SOUS 23372501 HAS SOUPS 22765740 WITH SCORE 2.2848737532E7
AT ITER 2184 NEW BEST:: SOT 133085625 SOS 82993157 HAS SOPS 67827803 HAS SOUS 23367374 HAS SOUPS 22760509 WITH SCORE 2.2843502157E7
AT ITER 2200 NEW BEST:: SOT 133060072 SOS 82957752 HAS SOPS 67797853 HAS SOUS 23343171 HAS SOUPS 22736994 WITH SCORE 2.2819951752E7
AT ITER 2226 NEW BEST:: SOT 133087215 SOS 83027862 HAS SOPS 67843972 HAS SOUS 23334998 HAS SOUPS 22728821 WITH SCORE 2.2811848862E7
AT ITER 2233 NEW BEST:: SOT 133124645 SOS 83119975 HAS SOPS 67937561 HAS SOUS 23328939 HAS SOUPS 22722762 WITH SCORE 2.2805881975E7
AT ITER 2241 NEW BEST:: SOT 133126941 SOS 83132508 HAS SOPS 67945254 HAS SOUS 23325853 HAS SOUPS 22719676 WITH SCORE 2.2802808508E7
AT ITER 2245 NEW BEST:: SOT 133126603 SOS 83132512 HAS SOPS 67944862 HAS SOUS 23324849 HAS SOUPS 22718672 WITH SCORE 2.2801804512E7
AT ITER 2260 NEW BEST:: SOT 133126803 SOS 83133590 HAS SOPS 67943932 HAS SOUS 23323172 HAS SOUPS 22716995 WITH SCORE 2.280012859E7
AT ITER 2267 NEW BEST:: SOT 133137724 SOS 83170851 HAS SOPS 67969495 HAS SOUS 23320593 HAS SOUPS 22714416 WITH SCORE 2.2797586851E7
AT ITER 2287 NEW BEST:: SOT 133106658 SOS 83099790 HAS SOPS 67932157 HAS SOUS 23309374 HAS SOUPS 22702045 WITH SCORE 2.278514479E7
AT ITER 2300 NEW BEST:: SOT 133102881 SOS 83091945 HAS SOPS 67926201 HAS SOUS 23305439 HAS SOUPS 22698578 WITH SCORE 2.2781669945E7
AT ITER 2305 NEW BEST:: SOT 133102234 SOS 83090774 HAS SOPS 67924800 HAS SOUS 23304368 HAS SOUPS 22697507 WITH SCORE 2.2780597774E7
AT ITER 2326 NEW BEST:: SOT 133102028 SOS 83090496 HAS SOPS 67923441 HAS SOUS 23303122 HAS SOUPS 22696300 WITH SCORE 2.2779390496E7
AT ITER 2337 NEW BEST:: SOT 133101818 SOS 83090286 HAS SOPS 67923183 HAS SOUS 23303008 HAS SOUPS 22696186 WITH SCORE 2.2779276286E7
AT ITER 2345 NEW BEST:: SOT 133100062 SOS 83084995 HAS SOPS 67917586 HAS SOUS 23300707 HAS SOUPS 22693885 WITH SCORE 2.2776969995E7
AT ITER 2347 NEW BEST:: SOT 133099153 SOS 83085295 HAS SOPS 67917735 HAS SOUS 23296685 HAS SOUPS 22689863 WITH SCORE 2.2772948295E7
AT ITER 2351 NEW BEST:: SOT 133102006 SOS 83092618 HAS SOPS 67925683 HAS SOUS 23291458 HAS SOUPS 22684636 WITH SCORE 2.2767728618E7
AT ITER 2355 NEW BEST:: SOT 133099275 SOS 83086210 HAS SOPS 67915388 HAS SOUS 23289735 HAS SOUPS 22682913 WITH SCORE 2.276599921E7
AT ITER 2362 NEW BEST:: SOT 133098900 SOS 83083457 HAS SOPS 67913399 HAS SOUS 23287763 HAS SOUPS 22680941 WITH SCORE 2.2764024457E7
AT ITER 2364 NEW BEST:: SOT 133097617 SOS 83095377 HAS SOPS 67921952 HAS SOUS 23274557 HAS SOUPS 22667735 WITH SCORE 2.2750830377E7
AT ITER 2372 NEW BEST:: SOT 133096952 SOS 83093159 HAS SOPS 67920677 HAS SOUS 23274048 HAS SOUPS 22667226 WITH SCORE 2.2750319159E7
AT ITER 2373 NEW BEST:: SOT 133093963 SOS 83091315 HAS SOPS 67938315 HAS SOUS 23269268 HAS SOUPS 22662446 WITH SCORE 2.2745537315E7
AT ITER 2376 NEW BEST:: SOT 133095210 SOS 83094200 HAS SOPS 67939027 HAS SOUS 23268187 HAS SOUPS 22661365 WITH SCORE 2.27444592E7
AT ITER 2384 NEW BEST:: SOT 133095322 SOS 83092930 HAS SOPS 67936384 HAS SOUS 23261253 HAS SOUPS 22654474 WITH SCORE 2.273756693E7
AT ITER 2392 NEW BEST:: SOT 133087612 SOS 83082418 HAS SOPS 67922958 HAS SOUS 23248046 HAS SOUPS 22641267 WITH SCORE 2.2724349418E7
AT ITER 2408 NEW BEST:: SOT 133084777 SOS 83076508 HAS SOPS 67916296 HAS SOUS 23232760 HAS SOUPS 22626113 WITH SCORE 2.2709189508E7
AT ITER 2414 NEW BEST:: SOT 133089461 SOS 83094448 HAS SOPS 67944228 HAS SOUS 23219101 HAS SOUPS 22612454 WITH SCORE 2.2695548448E7
AT ITER 2415 NEW BEST:: SOT 133104999 SOS 83109989 HAS SOPS 67955532 HAS SOUS 23206984 HAS SOUPS 22600731 WITH SCORE 2.2683840989E7
AT ITER 2416 NEW BEST:: SOT 133066375 SOS 83038652 HAS SOPS 67912693 HAS SOUS 23166004 HAS SOUPS 22565040 WITH SCORE 2.2648078652E7
AT ITER 2419 NEW BEST:: SOT 133065199 SOS 83037450 HAS SOPS 67911933 HAS SOUS 23165322 HAS SOUPS 22564696 WITH SCORE 2.264773345E7
AT ITER 2445 NEW BEST:: SOT 133064493 SOS 83036748 HAS SOPS 67911032 HAS SOUS 23163214 HAS SOUPS 22562596 WITH SCORE 2.2645632748E7
AT ITER 2452 NEW BEST:: SOT 133051278 SOS 83023382 HAS SOPS 67896547 HAS SOUS 23119176 HAS SOUPS 22518786 WITH SCORE 2.2601809382E7
AT ITER 2457 NEW BEST:: SOT 133053958 SOS 83035089 HAS SOPS 67896544 HAS SOUS 23089194 HAS SOUPS 22489252 WITH SCORE 2.2572287089E7
AT ITER 2464 NEW BEST:: SOT 133063874 SOS 83080126 HAS SOPS 67916363 HAS SOUS 23086324 HAS SOUPS 22486089 WITH SCORE 2.2569169126E7
AT ITER 2467 NEW BEST:: SOT 133059552 SOS 83075283 HAS SOPS 67911339 HAS SOUS 23079302 HAS SOUPS 22479067 WITH SCORE 2.2562142283E7
AT ITER 2475 NEW BEST:: SOT 133070170 SOS 83105476 HAS SOPS 67933028 HAS SOUS 23076603 HAS SOUPS 22476368 WITH SCORE 2.2559473476E7
AT ITER 2491 NEW BEST:: SOT 133049626 SOS 83042501 HAS SOPS 67877134 HAS SOUS 23064534 HAS SOUPS 22464299 WITH SCORE 2.2547341501E7
AT ITER 2529 NEW BEST:: SOT 133049474 SOS 83042277 HAS SOPS 67877182 HAS SOUS 23061348 HAS SOUPS 22461161 WITH SCORE 2.2544203277E7
AT ITER 2534 NEW BEST:: SOT 133064775 SOS 83085112 HAS SOPS 67903396 HAS SOUS 23017597 HAS SOUPS 22417410 WITH SCORE 2.2500495112E7
AT ITER 2571 NEW BEST:: SOT 133064546 SOS 83084901 HAS SOPS 67903296 HAS SOUS 23017104 HAS SOUPS 22416917 WITH SCORE 2.2500001901E7
AT ITER 2575 NEW BEST:: SOT 133073129 SOS 83093771 HAS SOPS 67917741 HAS SOUS 23014651 HAS SOUPS 22414464 WITH SCORE 2.2497557771E7
AT ITER 2576 NEW BEST:: SOT 133072535 SOS 83100361 HAS SOPS 67930015 HAS SOUS 23010588 HAS SOUPS 22410401 WITH SCORE 2.2493501361E7
AT ITER 2579 NEW BEST:: SOT 133072550 SOS 83100336 HAS SOPS 67930030 HAS SOUS 23010541 HAS SOUPS 22410356 WITH SCORE 2.2493456336E7
AT ITER 2581 NEW BEST:: SOT 133085370 SOS 83200848 HAS SOPS 68050271 HAS SOUS 22984037 HAS SOUPS 22383852 WITH SCORE 2.2467052848E7
AT ITER 2585 NEW BEST:: SOT 133093692 SOS 83221796 HAS SOPS 68080895 HAS SOUS 22959414 HAS SOUPS 22359229 WITH SCORE 2.2442450796E7
AT ITER 2595 NEW BEST:: SOT 133063265 SOS 83174306 HAS SOPS 68028711 HAS SOUS 22917830 HAS SOUPS 22317645 WITH SCORE 2.2400819306E7
AT ITER 2600 NEW BEST:: SOT 133061776 SOS 83172949 HAS SOPS 68026807 HAS SOUS 22915754 HAS SOUPS 22315554 WITH SCORE 2.2398726949E7
AT ITER 2604 NEW BEST:: SOT 133060386 SOS 83172838 HAS SOPS 68031260 HAS SOUS 22906762 HAS SOUPS 22306554 WITH SCORE 2.2389726838E7
AT ITER 2608 NEW BEST:: SOT 133041194 SOS 83156765 HAS SOPS 68010751 HAS SOUS 22895542 HAS SOUPS 22295176 WITH SCORE 2.2378332765E7
AT ITER 2619 NEW BEST:: SOT 133036396 SOS 83157440 HAS SOPS 68007756 HAS SOUS 22877291 HAS SOUPS 22276925 WITH SCORE 2.236008244E7
AT ITER 2620 NEW BEST:: SOT 133035788 SOS 83158310 HAS SOPS 68007590 HAS SOUS 22875280 HAS SOUPS 22274914 WITH SCORE 2.235807231E7
AT ITER 2625 NEW BEST:: SOT 133023847 SOS 83137668 HAS SOPS 67986881 HAS SOUS 22853409 HAS SOUPS 22253123 WITH SCORE 2.2336260668E7
AT ITER 2626 NEW BEST:: SOT 133024022 SOS 83145995 HAS SOPS 67990197 HAS SOUS 22848037 HAS SOUPS 22247751 WITH SCORE 2.2330896995E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15411324 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16073068 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-3"
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-3, 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-167889194200096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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