Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.4K Apr 12 07:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Apr 10 14:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 9 20:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-4-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589711747983

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 4
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 2 NEW BEST:: SOT 133650380 SOS 82202092 HAS SOPS 66754978 HAS SOUS 26435135 HAS SOUPS 25804444 WITH SCORE 2.5886646092E7
AT ITER 6 NEW BEST:: SOT 133700945 SOS 82334620 HAS SOPS 66882115 HAS SOUS 26427809 HAS SOUPS 25797118 WITH SCORE 2.587945262E7
AT ITER 23 NEW BEST:: SOT 133704289 SOS 82355426 HAS SOPS 66911802 HAS SOUS 26421584 HAS SOUPS 25790879 WITH SCORE 2.5873234426E7
AT ITER 24 NEW BEST:: SOT 133705837 SOS 82374407 HAS SOPS 66934489 HAS SOUS 26421541 HAS SOUPS 25790836 WITH SCORE 2.5873210407E7
AT ITER 26 NEW BEST:: SOT 133705337 SOS 82373110 HAS SOPS 66934784 HAS SOUS 26420735 HAS SOUPS 25790030 WITH SCORE 2.587240311E7
AT ITER 63 NEW BEST:: SOT 133708233 SOS 82383427 HAS SOPS 66945112 HAS SOUS 26418219 HAS SOUPS 25787514 WITH SCORE 2.5869897427E7
AT ITER 90 NEW BEST:: SOT 133706220 SOS 82380032 HAS SOPS 66942105 HAS SOUS 26416437 HAS SOUPS 25785732 WITH SCORE 2.5868112032E7
AT ITER 92 NEW BEST:: SOT 133705114 SOS 82378940 HAS SOPS 66941111 HAS SOUS 26415777 HAS SOUPS 25785072 WITH SCORE 2.586745094E7
AT ITER 100 NEW BEST:: SOT 133675664 SOS 82309594 HAS SOPS 66904528 HAS SOUS 26405332 HAS SOUPS 25774627 WITH SCORE 2.5856936594E7
AT ITER 102 NEW BEST:: SOT 133674671 SOS 82308337 HAS SOPS 66905853 HAS SOUS 26400391 HAS SOUPS 25769686 WITH SCORE 2.5851994337E7
AT ITER 113 NEW BEST:: SOT 133656795 SOS 82290743 HAS SOPS 66888131 HAS SOUS 26385703 HAS SOUPS 25754998 WITH SCORE 2.5837288743E7
AT ITER 119 NEW BEST:: SOT 133652763 SOS 82279058 HAS SOPS 66878198 HAS SOUS 26373799 HAS SOUPS 25743163 WITH SCORE 2.5825442058E7
AT ITER 124 NEW BEST:: SOT 133663550 SOS 82296815 HAS SOPS 66913535 HAS SOUS 26368986 HAS SOUPS 25742169 WITH SCORE 2.5824465815E7
AT ITER 132 NEW BEST:: SOT 133659847 SOS 82290925 HAS SOPS 66909488 HAS SOUS 26364849 HAS SOUPS 25738032 WITH SCORE 2.5820322925E7
AT ITER 141 NEW BEST:: SOT 133638763 SOS 82252849 HAS SOPS 66877420 HAS SOUS 26345167 HAS SOUPS 25718350 WITH SCORE 2.5800602849E7
AT ITER 142 NEW BEST:: SOT 133627105 SOS 82255546 HAS SOPS 66866254 HAS SOUS 26306326 HAS SOUPS 25679509 WITH SCORE 2.5761764546E7
AT ITER 164 NEW BEST:: SOT 133617426 SOS 82241343 HAS SOPS 66853753 HAS SOUS 26293156 HAS SOUPS 25666374 WITH SCORE 2.5748615343E7
AT ITER 166 NEW BEST:: SOT 133615199 SOS 82238973 HAS SOPS 66851416 HAS SOUS 26289653 HAS SOUPS 25662882 WITH SCORE 2.5745120973E7
AT ITER 186 NEW BEST:: SOT 133615219 SOS 82240424 HAS SOPS 66853065 HAS SOUS 26289437 HAS SOUPS 25662666 WITH SCORE 2.5744906424E7
AT ITER 188 NEW BEST:: SOT 133644730 SOS 82324891 HAS SOPS 66919896 HAS SOUS 26280552 HAS SOUPS 25653781 WITH SCORE 2.5736105891E7
AT ITER 189 NEW BEST:: SOT 133649488 SOS 82328206 HAS SOPS 66932502 HAS SOUS 26270412 HAS SOUPS 25644543 WITH SCORE 2.5726871206E7
AT ITER 198 NEW BEST:: SOT 133654538 SOS 82336002 HAS SOPS 66935742 HAS SOUS 26268825 HAS SOUPS 25642956 WITH SCORE 2.5725292002E7
AT ITER 207 NEW BEST:: SOT 133438333 SOS 82026842 HAS SOPS 66672849 HAS SOUS 26070639 HAS SOUPS 25445192 WITH SCORE 2.5527218842E7
AT ITER 211 NEW BEST:: SOT 133434864 SOS 82020981 HAS SOPS 66669339 HAS SOUS 26069667 HAS SOUPS 25444220 WITH SCORE 2.5526240981E7
AT ITER 218 NEW BEST:: SOT 133377448 SOS 81963476 HAS SOPS 66611923 HAS SOUS 25983695 HAS SOUPS 25358293 WITH SCORE 2.5440256476E7
AT ITER 223 NEW BEST:: SOT 133378027 SOS 81965176 HAS SOPS 66612653 HAS SOUS 25983066 HAS SOUPS 25357664 WITH SCORE 2.5439629176E7
AT ITER 228 NEW BEST:: SOT 133382464 SOS 81985559 HAS SOPS 66632211 HAS SOUS 25980066 HAS SOUPS 25354664 WITH SCORE 2.5436649559E7
AT ITER 230 NEW BEST:: SOT 133350605 SOS 81924506 HAS SOPS 66604487 HAS SOUS 25953440 HAS SOUPS 25328278 WITH SCORE 2.5410202506E7
AT ITER 254 NEW BEST:: SOT 133351848 SOS 81940456 HAS SOPS 66635455 HAS SOUS 25941720 HAS SOUPS 25316558 WITH SCORE 2.5398498456E7
AT ITER 255 NEW BEST:: SOT 133327907 SOS 81916297 HAS SOPS 66611296 HAS SOUS 25905835 HAS SOUPS 25280673 WITH SCORE 2.5362589297E7
AT ITER 270 NEW BEST:: SOT 133324430 SOS 81912981 HAS SOPS 66606392 HAS SOUS 25898023 HAS SOUPS 25272857 WITH SCORE 2.5354769981E7
AT ITER 275 NEW BEST:: SOT 133263682 SOS 81753293 HAS SOPS 66516557 HAS SOUS 25888955 HAS SOUPS 25264195 WITH SCORE 2.5345948293E7
AT ITER 278 NEW BEST:: SOT 133264604 SOS 81754291 HAS SOPS 66517852 HAS SOUS 25888149 HAS SOUPS 25263709 WITH SCORE 2.5345463291E7
AT ITER 297 NEW BEST:: SOT 133263521 SOS 81753648 HAS SOPS 66519036 HAS SOUS 25885888 HAS SOUPS 25261448 WITH SCORE 2.5343201648E7
AT ITER 304 NEW BEST:: SOT 133261842 SOS 81747580 HAS SOPS 66511593 HAS SOUS 25884441 HAS SOUPS 25260001 WITH SCORE 2.534174858E7
AT ITER 309 NEW BEST:: SOT 133281652 SOS 81838991 HAS SOPS 66595824 HAS SOUS 25826474 HAS SOUPS 25202034 WITH SCORE 2.5283872991E7
AT ITER 315 NEW BEST:: SOT 133238981 SOS 81797354 HAS SOPS 66568057 HAS SOUS 25733460 HAS SOUPS 25109365 WITH SCORE 2.5191162354E7
AT ITER 332 NEW BEST:: SOT 133238807 SOS 81797169 HAS SOPS 66568038 HAS SOUS 25732936 HAS SOUPS 25108852 WITH SCORE 2.5190649169E7
AT ITER 333 NEW BEST:: SOT 133238540 SOS 81798837 HAS SOPS 66572339 HAS SOUS 25728734 HAS SOUPS 25104650 WITH SCORE 2.5186448837E7
AT ITER 335 NEW BEST:: SOT 133175410 SOS 81681169 HAS SOPS 66474909 HAS SOUS 25674254 HAS SOUPS 25050397 WITH SCORE 2.5132078169E7
AT ITER 365 NEW BEST:: SOT 133174830 SOS 81691510 HAS SOPS 66501559 HAS SOUS 25662981 HAS SOUPS 25039124 WITH SCORE 2.512081551E7
AT ITER 374 NEW BEST:: SOT 133176737 SOS 81699139 HAS SOPS 66504799 HAS SOUS 25659541 HAS SOUPS 25035684 WITH SCORE 2.5117383139E7
AT ITER 384 NEW BEST:: SOT 133173922 SOS 81698201 HAS SOPS 66501736 HAS SOUS 25651570 HAS SOUPS 25027713 WITH SCORE 2.5109411201E7
AT ITER 392 NEW BEST:: SOT 133173145 SOS 81697363 HAS SOPS 66500688 HAS SOUS 25649822 HAS SOUPS 25025980 WITH SCORE 2.5107677363E7
AT ITER 395 NEW BEST:: SOT 133170681 SOS 81694252 HAS SOPS 66497577 HAS SOUS 25644901 HAS SOUPS 25021059 WITH SCORE 2.5102753252E7
AT ITER 397 NEW BEST:: SOT 133145031 SOS 81654547 HAS SOPS 66463977 HAS SOUS 25612730 HAS SOUPS 24988888 WITH SCORE 2.5070542547E7
AT ITER 400 NEW BEST:: SOT 133145020 SOS 81655664 HAS SOPS 66468975 HAS SOUS 25611437 HAS SOUPS 24987595 WITH SCORE 2.5069250664E7
AT ITER 402 NEW BEST:: SOT 133144793 SOS 81654997 HAS SOPS 66467785 HAS SOUS 25610794 HAS SOUPS 24986952 WITH SCORE 2.5068606997E7
AT ITER 421 NEW BEST:: SOT 133167252 SOS 81716732 HAS SOPS 66510844 HAS SOUS 25609089 HAS SOUPS 24985247 WITH SCORE 2.5066963732E7
AT ITER 423 NEW BEST:: SOT 133172260 SOS 81761125 HAS SOPS 66559400 HAS SOUS 25590615 HAS SOUPS 24966773 WITH SCORE 2.5048534125E7
AT ITER 444 NEW BEST:: SOT 133164441 SOS 81755702 HAS SOPS 66550603 HAS SOUS 25571481 HAS SOUPS 24947639 WITH SCORE 2.5029394702E7
AT ITER 445 NEW BEST:: SOT 133164463 SOS 81756440 HAS SOPS 66551099 HAS SOUS 25570205 HAS SOUPS 24946363 WITH SCORE 2.502811944E7
AT ITER 452 NEW BEST:: SOT 133160959 SOS 81747393 HAS SOPS 66543131 HAS SOUS 25566583 HAS SOUPS 24942741 WITH SCORE 2.5024488393E7
AT ITER 470 NEW BEST:: SOT 133183259 SOS 81851855 HAS SOPS 66641181 HAS SOUS 25562980 HAS SOUPS 24939138 WITH SCORE 2.5020989855E7
AT ITER 475 NEW BEST:: SOT 133196423 SOS 81915549 HAS SOPS 66724836 HAS SOUS 25523204 HAS SOUPS 24899362 WITH SCORE 2.4981277549E7
AT ITER 496 NEW BEST:: SOT 133194413 SOS 81910312 HAS SOPS 66720589 HAS SOUS 25521932 HAS SOUPS 24898090 WITH SCORE 2.4980000312E7
AT ITER 500 NEW BEST:: SOT 133113187 SOS 81771217 HAS SOPS 66611222 HAS SOUS 25457401 HAS SOUPS 24833945 WITH SCORE 2.4915716217E7
AT ITER 508 NEW BEST:: SOT 133111986 SOS 81766146 HAS SOPS 66604904 HAS SOUS 25451981 HAS SOUPS 24828525 WITH SCORE 2.4910291146E7
AT ITER 517 NEW BEST:: SOT 133107392 SOS 81758240 HAS SOPS 66595950 HAS SOUS 25446799 HAS SOUPS 24823343 WITH SCORE 2.490510124E7
AT ITER 522 NEW BEST:: SOT 133125070 SOS 81791675 HAS SOPS 66629033 HAS SOUS 25445949 HAS SOUPS 24822493 WITH SCORE 2.4904284675E7
AT ITER 565 NEW BEST:: SOT 133125755 SOS 81793172 HAS SOPS 66629314 HAS SOUS 25443662 HAS SOUPS 24820206 WITH SCORE 2.4901999172E7
AT ITER 578 NEW BEST:: SOT 133128240 SOS 81825285 HAS SOPS 66690243 HAS SOUS 25431489 HAS SOUPS 24808033 WITH SCORE 2.4889858285E7
AT ITER 581 NEW BEST:: SOT 133136756 SOS 81845230 HAS SOPS 66715344 HAS SOUS 25425053 HAS SOUPS 24801597 WITH SCORE 2.488344223E7
AT ITER 585 NEW BEST:: SOT 133135014 SOS 81842963 HAS SOPS 66713175 HAS SOUS 25422807 HAS SOUPS 24799358 WITH SCORE 2.4881200963E7
AT ITER 586 NEW BEST:: SOT 133137843 SOS 81863270 HAS SOPS 66734982 HAS SOUS 25416262 HAS SOUPS 24792813 WITH SCORE 2.487467627E7
AT ITER 604 NEW BEST:: SOT 133111756 SOS 81832234 HAS SOPS 66695002 HAS SOUS 25356671 HAS SOUPS 24733351 WITH SCORE 2.4815183234E7
AT ITER 607 NEW BEST:: SOT 133109801 SOS 81877494 HAS SOPS 66758660 HAS SOUS 25353400 HAS SOUPS 24730080 WITH SCORE 2.4811957494E7
AT ITER 614 NEW BEST:: SOT 133115695 SOS 81903988 HAS SOPS 66784883 HAS SOUS 25353223 HAS SOUPS 24729903 WITH SCORE 2.4811806988E7
AT ITER 618 NEW BEST:: SOT 133113907 SOS 81901815 HAS SOPS 66783078 HAS SOUS 25348559 HAS SOUPS 24725239 WITH SCORE 2.4807140815E7
AT ITER 635 NEW BEST:: SOT 133113596 SOS 81894661 HAS SOPS 66781241 HAS SOUS 25347585 HAS SOUPS 24724265 WITH SCORE 2.4806159661E7
AT ITER 638 NEW BEST:: SOT 133092602 SOS 81858494 HAS SOPS 66740786 HAS SOUS 25300076 HAS SOUPS 24677061 WITH SCORE 2.4758919494E7
AT ITER 651 NEW BEST:: SOT 133092614 SOS 81858116 HAS SOPS 66740133 HAS SOUS 25299930 HAS SOUPS 24676915 WITH SCORE 2.4758773116E7
AT ITER 657 NEW BEST:: SOT 133092477 SOS 81857949 HAS SOPS 66740028 HAS SOUS 25299875 HAS SOUPS 24676862 WITH SCORE 2.4758719949E7
AT ITER 665 NEW BEST:: SOT 133095256 SOS 81865061 HAS SOPS 66739764 HAS SOUS 25284757 HAS SOUPS 24661744 WITH SCORE 2.4743609061E7
AT ITER 668 NEW BEST:: SOT 133095901 SOS 81857493 HAS SOPS 66738574 HAS SOUS 25282719 HAS SOUPS 24659899 WITH SCORE 2.4741756493E7
AT ITER 673 NEW BEST:: SOT 133086247 SOS 81843133 HAS SOPS 66724006 HAS SOUS 25263541 HAS SOUPS 24640788 WITH SCORE 2.4722631133E7
AT ITER 685 NEW BEST:: SOT 133073172 SOS 81808181 HAS SOPS 66699905 HAS SOUS 25255295 HAS SOUPS 24632542 WITH SCORE 2.4714350181E7
AT ITER 686 NEW BEST:: SOT 133052453 SOS 81760747 HAS SOPS 66656095 HAS SOUS 25236705 HAS SOUPS 24613952 WITH SCORE 2.4695712747E7
AT ITER 687 NEW BEST:: SOT 133062570 SOS 81784517 HAS SOPS 66673807 HAS SOUS 25211140 HAS SOUPS 24589568 WITH SCORE 2.4671352517E7
AT ITER 699 NEW BEST:: SOT 133057744 SOS 81779759 HAS SOPS 66669239 HAS SOUS 25205569 HAS SOUPS 24583997 WITH SCORE 2.4665776759E7
AT ITER 708 NEW BEST:: SOT 133049219 SOS 81762096 HAS SOPS 66655393 HAS SOUS 25199325 HAS SOUPS 24577753 WITH SCORE 2.4659515096E7
AT ITER 710 NEW BEST:: SOT 133049047 SOS 81761706 HAS SOPS 66664123 HAS SOUS 25196383 HAS SOUPS 24574811 WITH SCORE 2.4656572706E7
AT ITER 713 NEW BEST:: SOT 133049367 SOS 81763432 HAS SOPS 66665141 HAS SOUS 25196187 HAS SOUPS 24574615 WITH SCORE 2.4656378432E7
AT ITER 729 NEW BEST:: SOT 133047594 SOS 81761469 HAS SOPS 66664534 HAS SOUS 25194470 HAS SOUPS 24572924 WITH SCORE 2.4654685469E7
AT ITER 731 NEW BEST:: SOT 133043964 SOS 81756189 HAS SOPS 66655279 HAS SOUS 25185110 HAS SOUPS 24563564 WITH SCORE 2.4645320189E7
AT ITER 753 NEW BEST:: SOT 133028252 SOS 81739834 HAS SOPS 66635989 HAS SOUS 25163582 HAS SOUPS 24542036 WITH SCORE 2.4623775834E7
AT ITER 755 NEW BEST:: SOT 133046771 SOS 81791974 HAS SOPS 66725831 HAS SOUS 25157853 HAS SOUPS 24536310 WITH SCORE 2.4618101974E7
AT ITER 756 NEW BEST:: SOT 133049872 SOS 81792715 HAS SOPS 66722340 HAS SOUS 25157777 HAS SOUPS 24536234 WITH SCORE 2.4618026715E7
AT ITER 782 NEW BEST:: SOT 133050392 SOS 81796025 HAS SOPS 66726188 HAS SOUS 25157610 HAS SOUPS 24536067 WITH SCORE 2.4617863025E7
AT ITER 788 NEW BEST:: SOT 133049196 SOS 81795077 HAS SOPS 66725859 HAS SOUS 25154939 HAS SOUPS 24533307 WITH SCORE 2.4615102077E7
AT ITER 790 NEW BEST:: SOT 133048419 SOS 81794462 HAS SOPS 66724490 HAS SOUS 25153372 HAS SOUPS 24531740 WITH SCORE 2.4613534462E7
AT ITER 793 NEW BEST:: SOT 133049759 SOS 81814607 HAS SOPS 66747176 HAS SOUS 25149141 HAS SOUPS 24527509 WITH SCORE 2.4609323607E7
AT ITER 802 NEW BEST:: SOT 133045796 SOS 81800379 HAS SOPS 66731555 HAS SOUS 25136291 HAS SOUPS 24514659 WITH SCORE 2.4596459379E7
AT ITER 804 NEW BEST:: SOT 133020086 SOS 81774384 HAS SOPS 66703209 HAS SOUS 25101801 HAS SOUPS 24480219 WITH SCORE 2.4561993384E7
AT ITER 809 NEW BEST:: SOT 133021378 SOS 81777921 HAS SOPS 66704617 HAS SOUS 25098338 HAS SOUPS 24476756 WITH SCORE 2.4558533921E7
AT ITER 824 NEW BEST:: SOT 133024741 SOS 81792978 HAS SOPS 66723637 HAS SOUS 25098207 HAS SOUPS 24476625 WITH SCORE 2.4558417978E7
AT ITER 829 NEW BEST:: SOT 133025843 SOS 81805098 HAS SOPS 66734049 HAS SOUS 25095231 HAS SOUPS 24473649 WITH SCORE 2.4555454098E7
AT ITER 857 NEW BEST:: SOT 133060997 SOS 81912135 HAS SOPS 66854370 HAS SOUS 25050608 HAS SOUPS 24428928 WITH SCORE 2.4510840135E7
AT ITER 860 NEW BEST:: SOT 133057725 SOS 81901597 HAS SOPS 66839124 HAS SOUS 25042324 HAS SOUPS 24420499 WITH SCORE 2.4502400597E7
AT ITER 862 NEW BEST:: SOT 133094661 SOS 81980596 HAS SOPS 66890354 HAS SOUS 25040788 HAS SOUPS 24418963 WITH SCORE 2.4500943596E7
AT ITER 868 NEW BEST:: SOT 133094110 SOS 81997232 HAS SOPS 66896332 HAS SOUS 25022701 HAS SOUPS 24400876 WITH SCORE 2.4482873232E7
AT ITER 903 NEW BEST:: SOT 133082379 SOS 81966966 HAS SOPS 66868092 HAS SOUS 25017680 HAS SOUPS 24395855 WITH SCORE 2.4477821966E7
AT ITER 916 NEW BEST:: SOT 133087554 SOS 81984735 HAS SOPS 66889939 HAS SOUS 25017048 HAS SOUPS 24395223 WITH SCORE 2.4477207735E7
AT ITER 919 NEW BEST:: SOT 133073403 SOS 81970584 HAS SOPS 66875788 HAS SOUS 25006065 HAS SOUPS 24384240 WITH SCORE 2.4466210584E7
AT ITER 929 NEW BEST:: SOT 133062847 SOS 81976388 HAS SOPS 66885155 HAS SOUS 24961010 HAS SOUPS 24339185 WITH SCORE 2.4421161388E7
AT ITER 936 NEW BEST:: SOT 133062088 SOS 81974914 HAS SOPS 66883406 HAS SOUS 24959546 HAS SOUPS 24337710 WITH SCORE 2.4419684914E7
AT ITER 947 NEW BEST:: SOT 133059342 SOS 81972366 HAS SOPS 66885850 HAS SOUS 24942538 HAS SOUPS 24323006 WITH SCORE 2.4404978366E7
AT ITER 955 NEW BEST:: SOT 133081804 SOS 82023658 HAS SOPS 66938993 HAS SOUS 24932992 HAS SOUPS 24313460 WITH SCORE 2.4395483658E7
AT ITER 965 NEW BEST:: SOT 133082241 SOS 82030340 HAS SOPS 66949481 HAS SOUS 24929474 HAS SOUPS 24309942 WITH SCORE 2.439197234E7
AT ITER 973 NEW BEST:: SOT 133082994 SOS 82031395 HAS SOPS 66949582 HAS SOUS 24929270 HAS SOUPS 24309738 WITH SCORE 2.4391769395E7
AT ITER 983 NEW BEST:: SOT 133083012 SOS 82031189 HAS SOPS 66949468 HAS SOUS 24928886 HAS SOUPS 24309354 WITH SCORE 2.4391385189E7
AT ITER 993 NEW BEST:: SOT 133034700 SOS 81952901 HAS SOPS 66881060 HAS SOUS 24901847 HAS SOUPS 24282073 WITH SCORE 2.4364025901E7
AT ITER 996 NEW BEST:: SOT 133042285 SOS 81968376 HAS SOPS 66894281 HAS SOUS 24895262 HAS SOUPS 24275488 WITH SCORE 2.4357456376E7
AT ITER 1008 NEW BEST:: SOT 133052736 SOS 82001114 HAS SOPS 66923749 HAS SOUS 24892162 HAS SOUPS 24272388 WITH SCORE 2.4354389114E7
AT ITER 1014 NEW BEST:: SOT 133050156 SOS 81998656 HAS SOPS 66921287 HAS SOUS 24885117 HAS SOUPS 24265343 WITH SCORE 2.4347341656E7
AT ITER 1022 NEW BEST:: SOT 133051654 SOS 82002596 HAS SOPS 66927119 HAS SOUS 24862709 HAS SOUPS 24242847 WITH SCORE 2.4324849596E7
AT ITER 1025 NEW BEST:: SOT 133051604 SOS 82003096 HAS SOPS 66926754 HAS SOUS 24861959 HAS SOUPS 24242097 WITH SCORE 2.4324100096E7
AT ITER 1036 NEW BEST:: SOT 133074407 SOS 82088006 HAS SOPS 67008748 HAS SOUS 24852085 HAS SOUPS 24232223 WITH SCORE 2.4314311006E7
AT ITER 1046 NEW BEST:: SOT 133122986 SOS 82164756 HAS SOPS 67094632 HAS SOUS 24849839 HAS SOUPS 24229977 WITH SCORE 2.4312141756E7
AT ITER 1047 NEW BEST:: SOT 133124384 SOS 82169100 HAS SOPS 67098605 HAS SOUS 24846982 HAS SOUPS 24227120 WITH SCORE 2.43092891E7
AT ITER 1052 NEW BEST:: SOT 133125444 SOS 82177411 HAS SOPS 67100357 HAS SOUS 24843791 HAS SOUPS 24223929 WITH SCORE 2.4306106411E7
AT ITER 1065 NEW BEST:: SOT 133121820 SOS 82173398 HAS SOPS 67093609 HAS SOUS 24834319 HAS SOUPS 24214520 WITH SCORE 2.4296693398E7
AT ITER 1086 NEW BEST:: SOT 133125443 SOS 82205348 HAS SOPS 67138484 HAS SOUS 24827472 HAS SOUPS 24207673 WITH SCORE 2.4289878348E7
AT ITER 1098 NEW BEST:: SOT 133121216 SOS 82204664 HAS SOPS 67138507 HAS SOUS 24819924 HAS SOUPS 24200125 WITH SCORE 2.4282329664E7
AT ITER 1100 NEW BEST:: SOT 133120715 SOS 82204329 HAS SOPS 67137977 HAS SOUS 24818608 HAS SOUPS 24198813 WITH SCORE 2.4281017329E7
AT ITER 1105 NEW BEST:: SOT 133120579 SOS 82205789 HAS SOPS 67137797 HAS SOUS 24816358 HAS SOUPS 24196563 WITH SCORE 2.4278768789E7
AT ITER 1121 NEW BEST:: SOT 133114819 SOS 82196996 HAS SOPS 67129966 HAS SOUS 24810356 HAS SOUPS 24190561 WITH SCORE 2.4272757996E7
AT ITER 1130 NEW BEST:: SOT 133094278 SOS 82175415 HAS SOPS 67107562 HAS SOUS 24773869 HAS SOUPS 24154025 WITH SCORE 2.4236200415E7
AT ITER 1136 NEW BEST:: SOT 133105548 SOS 82190852 HAS SOPS 67120809 HAS SOUS 24770109 HAS SOUPS 24150172 WITH SCORE 2.4232362852E7
AT ITER 1137 NEW BEST:: SOT 133088538 SOS 82173699 HAS SOPS 67110420 HAS SOUS 24748014 HAS SOUPS 24128077 WITH SCORE 2.4210250699E7
AT ITER 1138 NEW BEST:: SOT 133080103 SOS 82161500 HAS SOPS 67098895 HAS SOUS 24735677 HAS SOUPS 24115778 WITH SCORE 2.41979395E7
AT ITER 1155 NEW BEST:: SOT 133050191 SOS 82131588 HAS SOPS 67068983 HAS SOUS 24714309 HAS SOUPS 24094410 WITH SCORE 2.4176541588E7
AT ITER 1165 NEW BEST:: SOT 133045101 SOS 82115147 HAS SOPS 67051719 HAS SOUS 24708707 HAS SOUPS 24088808 WITH SCORE 2.4170923147E7
AT ITER 1177 NEW BEST:: SOT 132966000 SOS 81968767 HAS SOPS 66914090 HAS SOUS 24630874 HAS SOUPS 24010975 WITH SCORE 2.4092943767E7
AT ITER 1186 NEW BEST:: SOT 132962681 SOS 81964572 HAS SOPS 66908075 HAS SOUS 24624178 HAS SOUPS 24004279 WITH SCORE 2.4086243572E7
AT ITER 1194 NEW BEST:: SOT 132902697 SOS 81818861 HAS SOPS 66786361 HAS SOUS 24601074 HAS SOUPS 23981175 WITH SCORE 2.4062993861E7
AT ITER 1207 NEW BEST:: SOT 132892821 SOS 81800137 HAS SOPS 66758127 HAS SOUS 24585435 HAS SOUPS 23965536 WITH SCORE 2.4047336137E7
AT ITER 1211 NEW BEST:: SOT 132882840 SOS 81787811 HAS SOPS 66739116 HAS SOUS 24547296 HAS SOUPS 23928924 WITH SCORE 2.4010711811E7
AT ITER 1236 NEW BEST:: SOT 132887433 SOS 81801892 HAS SOPS 66742449 HAS SOUS 24538206 HAS SOUPS 23919834 WITH SCORE 2.4001635892E7
AT ITER 1245 NEW BEST:: SOT 132887329 SOS 81801544 HAS SOPS 66742121 HAS SOUS 24537980 HAS SOUPS 23919604 WITH SCORE 2.4001405544E7
AT ITER 1251 NEW BEST:: SOT 132905555 SOS 81851997 HAS SOPS 66773723 HAS SOUS 24526068 HAS SOUPS 23907692 WITH SCORE 2.3989543997E7
AT ITER 1254 NEW BEST:: SOT 132891662 SOS 81813973 HAS SOPS 66732115 HAS SOUS 24526302 HAS SOUPS 23905623 WITH SCORE 2.3987436973E7
AT ITER 1288 NEW BEST:: SOT 132886891 SOS 81809869 HAS SOPS 66725297 HAS SOUS 24515303 HAS SOUPS 23894624 WITH SCORE 2.3976433869E7
AT ITER 1291 NEW BEST:: SOT 132885193 SOS 81803995 HAS SOPS 66718011 HAS SOUS 24513329 HAS SOUPS 23892650 WITH SCORE 2.3974453995E7
AT ITER 1294 NEW BEST:: SOT 132880126 SOS 81812075 HAS SOPS 66713395 HAS SOUS 24500123 HAS SOUPS 23879444 WITH SCORE 2.3961256075E7
AT ITER 1296 NEW BEST:: SOT 132877346 SOS 81808987 HAS SOPS 66710421 HAS SOUS 24490371 HAS SOUPS 23869692 WITH SCORE 2.3951500987E7
AT ITER 1325 NEW BEST:: SOT 132875389 SOS 81806209 HAS SOPS 66707758 HAS SOUS 24487812 HAS SOUPS 23867151 WITH SCORE 2.3948957209E7
AT ITER 1329 NEW BEST:: SOT 132878806 SOS 81818602 HAS SOPS 66715791 HAS SOUS 24479039 HAS SOUPS 23858378 WITH SCORE 2.3940196602E7
AT ITER 1330 NEW BEST:: SOT 132877784 SOS 81814270 HAS SOPS 66714966 HAS SOUS 24478092 HAS SOUPS 23857431 WITH SCORE 2.393924527E7
AT ITER 1335 NEW BEST:: SOT 132891632 SOS 81858961 HAS SOPS 66742893 HAS SOUS 24463899 HAS SOUPS 23843238 WITH SCORE 2.3925096961E7
AT ITER 1337 NEW BEST:: SOT 132838380 SOS 81744271 HAS SOPS 66657989 HAS SOUS 24429325 HAS SOUPS 23808664 WITH SCORE 2.3890408271E7
AT ITER 1339 NEW BEST:: SOT 132838872 SOS 81745552 HAS SOPS 66658877 HAS SOUS 24428501 HAS SOUPS 23807840 WITH SCORE 2.3889585552E7
AT ITER 1349 NEW BEST:: SOT 132838792 SOS 81746705 HAS SOPS 66659757 HAS SOUS 24428468 HAS SOUPS 23807807 WITH SCORE 2.3889553705E7
AT ITER 1361 NEW BEST:: SOT 132821184 SOS 81720385 HAS SOPS 66638368 HAS SOUS 24409498 HAS SOUPS 23789553 WITH SCORE 2.3871273385E7
AT ITER 1368 NEW BEST:: SOT 132874515 SOS 81829419 HAS SOPS 66726203 HAS SOUS 24400932 HAS SOUPS 23780742 WITH SCORE 2.3862571419E7
AT ITER 1369 NEW BEST:: SOT 132871583 SOS 81827134 HAS SOPS 66721184 HAS SOUS 24393139 HAS SOUPS 23772902 WITH SCORE 2.3854729134E7
AT ITER 1382 NEW BEST:: SOT 132872806 SOS 81835772 HAS SOPS 66727393 HAS SOUS 24388927 HAS SOUPS 23768690 WITH SCORE 2.3850525772E7
AT ITER 1389 NEW BEST:: SOT 132853701 SOS 81816139 HAS SOPS 66706649 HAS SOUS 24356141 HAS SOUPS 23736012 WITH SCORE 2.3817828139E7
AT ITER 1395 NEW BEST:: SOT 132850998 SOS 81811755 HAS SOPS 66703933 HAS SOUS 24354667 HAS SOUPS 23734538 WITH SCORE 2.3816349755E7
AT ITER 1403 NEW BEST:: SOT 132846949 SOS 81802733 HAS SOPS 66692756 HAS SOUS 24354470 HAS SOUPS 23734167 WITH SCORE 2.3815969733E7
AT ITER 1407 NEW BEST:: SOT 132846910 SOS 81802698 HAS SOPS 66692717 HAS SOUS 24354495 HAS SOUPS 23734160 WITH SCORE 2.3815962698E7
AT ITER 1429 NEW BEST:: SOT 132862441 SOS 81819418 HAS SOPS 66709273 HAS SOUS 24341749 HAS SOUPS 23721674 WITH SCORE 2.3803493418E7
AT ITER 1434 NEW BEST:: SOT 132796356 SOS 81752818 HAS SOPS 66631678 HAS SOUS 24291961 HAS SOUPS 23670673 WITH SCORE 2.3752425818E7
AT ITER 1438 NEW BEST:: SOT 132791177 SOS 81741805 HAS SOPS 66619666 HAS SOUS 24286162 HAS SOUPS 23664874 WITH SCORE 2.3746615805E7
AT ITER 1451 NEW BEST:: SOT 132789370 SOS 81739794 HAS SOPS 66618598 HAS SOUS 24283596 HAS SOUPS 23662308 WITH SCORE 2.3744047794E7
AT ITER 1473 NEW BEST:: SOT 132799928 SOS 81775000 HAS SOPS 66642252 HAS SOUS 24277568 HAS SOUPS 23656280 WITH SCORE 2.3738055E7
AT ITER 1481 NEW BEST:: SOT 132784411 SOS 81757751 HAS SOPS 66621005 HAS SOUS 24243281 HAS SOUPS 23622047 WITH SCORE 2.3703804751E7
AT ITER 1489 NEW BEST:: SOT 132799641 SOS 81790573 HAS SOPS 66649792 HAS SOUS 24230008 HAS SOUPS 23608774 WITH SCORE 2.3690564573E7
AT ITER 1508 NEW BEST:: SOT 132799199 SOS 81789957 HAS SOPS 66652424 HAS SOUS 24228066 HAS SOUPS 23606832 WITH SCORE 2.3688621957E7
AT ITER 1524 NEW BEST:: SOT 132801747 SOS 81809247 HAS SOPS 66681982 HAS SOUS 24227352 HAS SOUPS 23606118 WITH SCORE 2.3687927247E7
AT ITER 1530 NEW BEST:: SOT 132802917 SOS 81810081 HAS SOPS 66684412 HAS SOUS 24224542 HAS SOUPS 23604124 WITH SCORE 2.3685934081E7
AT ITER 1538 NEW BEST:: SOT 132802627 SOS 81809978 HAS SOPS 66683911 HAS SOUS 24222088 HAS SOUPS 23601670 WITH SCORE 2.3683479978E7
AT ITER 1544 NEW BEST:: SOT 132821011 SOS 81878848 HAS SOPS 66744941 HAS SOUS 24209399 HAS SOUPS 23588981 WITH SCORE 2.3670859848E7
AT ITER 1545 NEW BEST:: SOT 132813818 SOS 81868427 HAS SOPS 66735068 HAS SOUS 24202544 HAS SOUPS 23582126 WITH SCORE 2.3663994427E7
AT ITER 1548 NEW BEST:: SOT 132813972 SOS 81868537 HAS SOPS 66735200 HAS SOUS 24202392 HAS SOUPS 23581974 WITH SCORE 2.3663842537E7
AT ITER 1557 NEW BEST:: SOT 132819733 SOS 81885919 HAS SOPS 66745657 HAS SOUS 24192220 HAS SOUPS 23571802 WITH SCORE 2.3653687919E7
AT ITER 1558 NEW BEST:: SOT 132818259 SOS 81877456 HAS SOPS 66756144 HAS SOUS 24168951 HAS SOUPS 23548909 WITH SCORE 2.3630786456E7
AT ITER 1562 NEW BEST:: SOT 132809390 SOS 81863088 HAS SOPS 66751099 HAS SOUS 24164566 HAS SOUPS 23544524 WITH SCORE 2.3626387088E7
AT ITER 1568 NEW BEST:: SOT 132810603 SOS 81865898 HAS SOPS 66752945 HAS SOUS 24164174 HAS SOUPS 23544132 WITH SCORE 2.3625997898E7
AT ITER 1572 NEW BEST:: SOT 132809129 SOS 81873853 HAS SOPS 66762299 HAS SOUS 24148106 HAS SOUPS 23528064 WITH SCORE 2.3609937853E7
AT ITER 1577 NEW BEST:: SOT 132733108 SOS 81787339 HAS SOPS 66678578 HAS SOUS 24048074 HAS SOUPS 23427861 WITH SCORE 2.3509648339E7
AT ITER 1603 NEW BEST:: SOT 132732720 SOS 81786265 HAS SOPS 66677881 HAS SOUS 24048052 HAS SOUPS 23427839 WITH SCORE 2.3509625265E7
AT ITER 1617 NEW BEST:: SOT 132732652 SOS 81787033 HAS SOPS 66678055 HAS SOUS 24046158 HAS SOUPS 23425945 WITH SCORE 2.3507732033E7
AT ITER 1621 NEW BEST:: SOT 132729022 SOS 81786005 HAS SOPS 66677757 HAS SOUS 24036663 HAS SOUPS 23419091 WITH SCORE 2.3500877005E7
AT ITER 1622 NEW BEST:: SOT 132739022 SOS 81811237 HAS SOPS 66708084 HAS SOUS 24011443 HAS SOUPS 23394177 WITH SCORE 2.3475988237E7
AT ITER 1625 NEW BEST:: SOT 132728756 SOS 81784523 HAS SOPS 66672256 HAS SOUS 23995814 HAS SOUPS 23378548 WITH SCORE 2.3460332523E7
AT ITER 1634 NEW BEST:: SOT 132732431 SOS 81787067 HAS SOPS 66690360 HAS SOUS 23988394 HAS SOUPS 23371128 WITH SCORE 2.3452915067E7
AT ITER 1639 NEW BEST:: SOT 132724315 SOS 81761706 HAS SOPS 66676834 HAS SOUS 23986864 HAS SOUPS 23369598 WITH SCORE 2.3451359706E7
AT ITER 1645 NEW BEST:: SOT 132717586 SOS 81754710 HAS SOPS 66668969 HAS SOUS 23970920 HAS SOUPS 23353710 WITH SCORE 2.343546471E7
AT ITER 1646 NEW BEST:: SOT 132715820 SOS 81749963 HAS SOPS 66666142 HAS SOUS 23966757 HAS SOUPS 23349547 WITH SCORE 2.3431296963E7
AT ITER 1647 NEW BEST:: SOT 132713302 SOS 81745933 HAS SOPS 66660645 HAS SOUS 23960170 HAS SOUPS 23342960 WITH SCORE 2.3424705933E7
AT ITER 1650 NEW BEST:: SOT 132714336 SOS 81748221 HAS SOPS 66662831 HAS SOUS 23955233 HAS SOUPS 23338023 WITH SCORE 2.3419771221E7
AT ITER 1652 NEW BEST:: SOT 132711858 SOS 81744591 HAS SOPS 66658728 HAS SOUS 23949346 HAS SOUPS 23332136 WITH SCORE 2.3413880591E7
AT ITER 1670 NEW BEST:: SOT 132735174 SOS 81808809 HAS SOPS 66722583 HAS SOUS 23946913 HAS SOUPS 23329703 WITH SCORE 2.3411511809E7
AT ITER 1676 NEW BEST:: SOT 132738582 SOS 81823288 HAS SOPS 66731012 HAS SOUS 23944125 HAS SOUPS 23326915 WITH SCORE 2.3408738288E7
AT ITER 1685 NEW BEST:: SOT 132691493 SOS 81708014 HAS SOPS 66678420 HAS SOUS 23927034 HAS SOUPS 23310367 WITH SCORE 2.3392075014E7
AT ITER 1687 NEW BEST:: SOT 132719496 SOS 81811285 HAS SOPS 66776579 HAS SOUS 23906869 HAS SOUPS 23290202 WITH SCORE 2.3372013285E7
AT ITER 1690 NEW BEST:: SOT 132719001 SOS 81810799 HAS SOPS 66775805 HAS SOUS 23905834 HAS SOUPS 23289167 WITH SCORE 2.3370977799E7
AT ITER 1698 NEW BEST:: SOT 132717069 SOS 81806597 HAS SOPS 66769128 HAS SOUS 23896770 HAS SOUPS 23280369 WITH SCORE 2.3362175597E7
AT ITER 1699 NEW BEST:: SOT 132727522 SOS 81835117 HAS SOPS 66798427 HAS SOUS 23870683 HAS SOUPS 23254282 WITH SCORE 2.3336117117E7
AT ITER 1708 NEW BEST:: SOT 132731567 SOS 81850561 HAS SOPS 66810086 HAS SOUS 23854460 HAS SOUPS 23238554 WITH SCORE 2.3320404561E7
AT ITER 1710 NEW BEST:: SOT 132736180 SOS 81857785 HAS SOPS 66806688 HAS SOUS 23846254 HAS SOUPS 23230348 WITH SCORE 2.3312205785E7
AT ITER 1722 NEW BEST:: SOT 132732099 SOS 81857619 HAS SOPS 66801242 HAS SOUS 23834437 HAS SOUPS 23218531 WITH SCORE 2.3300388619E7
AT ITER 1731 NEW BEST:: SOT 132732639 SOS 81863016 HAS SOPS 66801494 HAS SOUS 23823338 HAS SOUPS 23207432 WITH SCORE 2.3289295016E7
AT ITER 1746 NEW BEST:: SOT 132732597 SOS 81862924 HAS SOPS 66801335 HAS SOUS 23823223 HAS SOUPS 23207317 WITH SCORE 2.3289179924E7
AT ITER 1748 NEW BEST:: SOT 132727398 SOS 81857725 HAS SOPS 66796136 HAS SOUS 23819112 HAS SOUPS 23203206 WITH SCORE 2.3285063725E7
AT ITER 1758 NEW BEST:: SOT 132853972 SOS 82106987 HAS SOPS 67019859 HAS SOUS 23805183 HAS SOUPS 23189272 WITH SCORE 2.3271378987E7
AT ITER 1759 NEW BEST:: SOT 132870205 SOS 82152075 HAS SOPS 67069719 HAS SOUS 23784475 HAS SOUPS 23168422 WITH SCORE 2.3250574075E7
AT ITER 1771 NEW BEST:: SOT 132873596 SOS 82160452 HAS SOPS 67072718 HAS SOUS 23780407 HAS SOUPS 23164354 WITH SCORE 2.3246514452E7
AT ITER 1776 NEW BEST:: SOT 132866882 SOS 82143862 HAS SOPS 67063838 HAS SOUS 23774454 HAS SOUPS 23158401 WITH SCORE 2.3240544862E7
AT ITER 1783 NEW BEST:: SOT 132860327 SOS 82130307 HAS SOPS 67055645 HAS SOUS 23765020 HAS SOUPS 23148967 WITH SCORE 2.3231097307E7
AT ITER 1784 NEW BEST:: SOT 132830406 SOS 82050836 HAS SOPS 66995889 HAS SOUS 23752845 HAS SOUPS 23136792 WITH SCORE 2.3218842836E7
AT ITER 1786 NEW BEST:: SOT 132831325 SOS 82054668 HAS SOPS 66999292 HAS SOUS 23750869 HAS SOUPS 23134816 WITH SCORE 2.3216870668E7
AT ITER 1789 NEW BEST:: SOT 132829866 SOS 82059817 HAS SOPS 67031168 HAS SOUS 23743710 HAS SOUPS 23127657 WITH SCORE 2.3209716817E7
AT ITER 1790 NEW BEST:: SOT 132827230 SOS 82057343 HAS SOPS 67031921 HAS SOUS 23738320 HAS SOUPS 23122267 WITH SCORE 2.3204324343E7
AT ITER 1798 NEW BEST:: SOT 132828382 SOS 82068553 HAS SOPS 67040750 HAS SOUS 23723798 HAS SOUPS 23107753 WITH SCORE 2.3189821553E7
AT ITER 1801 NEW BEST:: SOT 132815618 SOS 82032934 HAS SOPS 67002962 HAS SOUS 23716163 HAS SOUPS 23100118 WITH SCORE 2.3182150934E7
AT ITER 1813 NEW BEST:: SOT 132794646 SOS 82006528 HAS SOPS 66975994 HAS SOUS 23681248 HAS SOUPS 23065300 WITH SCORE 2.3147306528E7
AT ITER 1821 NEW BEST:: SOT 132768575 SOS 81954900 HAS SOPS 66932187 HAS SOUS 23646133 HAS SOUPS 23030185 WITH SCORE 2.31121399E7
AT ITER 1829 NEW BEST:: SOT 132736277 SOS 81890965 HAS SOPS 66869302 HAS SOUS 23607882 HAS SOUPS 22991934 WITH SCORE 2.3073824965E7
AT ITER 1838 NEW BEST:: SOT 132733577 SOS 81885687 HAS SOPS 66866144 HAS SOUS 23602270 HAS SOUPS 22986322 WITH SCORE 2.3068207687E7
AT ITER 1850 NEW BEST:: SOT 132734704 SOS 81892258 HAS SOPS 66871394 HAS SOUS 23599225 HAS SOUPS 22983277 WITH SCORE 2.3065169258E7
AT ITER 1851 NEW BEST:: SOT 132751794 SOS 81941940 HAS SOPS 66885949 HAS SOUS 23535660 HAS SOUPS 22919712 WITH SCORE 2.300165394E7
AT ITER 1857 NEW BEST:: SOT 132744529 SOS 81933867 HAS SOPS 66876412 HAS SOUS 23512343 HAS SOUPS 22896452 WITH SCORE 2.2978385867E7
AT ITER 1863 NEW BEST:: SOT 132743070 SOS 81932797 HAS SOPS 66880988 HAS SOUS 23505001 HAS SOUPS 22889026 WITH SCORE 2.2970958797E7
AT ITER 1875 NEW BEST:: SOT 132742406 SOS 81926184 HAS SOPS 66875288 HAS SOUS 23501137 HAS SOUPS 22885162 WITH SCORE 2.2967088184E7
AT ITER 1877 NEW BEST:: SOT 132739846 SOS 81922318 HAS SOPS 66868907 HAS SOUS 23493017 HAS SOUPS 22877042 WITH SCORE 2.2958964318E7
AT ITER 1895 NEW BEST:: SOT 132723966 SOS 81896420 HAS SOPS 66839219 HAS SOUS 23486594 HAS SOUPS 22870619 WITH SCORE 2.295251542E7
AT ITER 1899 NEW BEST:: SOT 132701733 SOS 81870101 HAS SOPS 66811303 HAS SOUS 23454756 HAS SOUPS 22838781 WITH SCORE 2.2920651101E7
AT ITER 1910 NEW BEST:: SOT 132700693 SOS 81867342 HAS SOPS 66808794 HAS SOUS 23452350 HAS SOUPS 22836375 WITH SCORE 2.2918242342E7
AT ITER 1911 NEW BEST:: SOT 132696991 SOS 81858460 HAS SOPS 66803445 HAS SOUS 23452019 HAS SOUPS 22836044 WITH SCORE 2.291790246E7
AT ITER 1923 NEW BEST:: SOT 132689606 SOS 81850874 HAS SOPS 66794745 HAS SOUS 23432129 HAS SOUPS 22816154 WITH SCORE 2.2898004874E7
AT ITER 1927 NEW BEST:: SOT 132692228 SOS 81865149 HAS SOPS 66804343 HAS SOUS 23430904 HAS SOUPS 22814929 WITH SCORE 2.2896794149E7
AT ITER 1928 NEW BEST:: SOT 132690809 SOS 81864659 HAS SOPS 66801129 HAS SOUS 23427156 HAS SOUPS 22811181 WITH SCORE 2.2893045659E7
AT ITER 1936 NEW BEST:: SOT 132690751 SOS 81864653 HAS SOPS 66801204 HAS SOUS 23426835 HAS SOUPS 22810860 WITH SCORE 2.2892724653E7
AT ITER 1946 NEW BEST:: SOT 132691947 SOS 81873887 HAS SOPS 66807948 HAS SOUS 23423577 HAS SOUPS 22807602 WITH SCORE 2.2889475887E7
AT ITER 1948 NEW BEST:: SOT 132691754 SOS 81874691 HAS SOPS 66808689 HAS SOUS 23422650 HAS SOUPS 22806675 WITH SCORE 2.2888549691E7
AT ITER 1951 NEW BEST:: SOT 132683706 SOS 81859506 HAS SOPS 66797473 HAS SOUS 23394853 HAS SOUPS 22779455 WITH SCORE 2.2861314506E7
AT ITER 1952 NEW BEST:: SOT 132671208 SOS 81852311 HAS SOPS 66778839 HAS SOUS 23360580 HAS SOUPS 22745355 WITH SCORE 2.2827207311E7
AT ITER 1958 NEW BEST:: SOT 132667446 SOS 81846874 HAS SOPS 66774529 HAS SOUS 23352478 HAS SOUPS 22737253 WITH SCORE 2.2819099874E7
AT ITER 1960 NEW BEST:: SOT 132668201 SOS 81850854 HAS SOPS 66777220 HAS SOUS 23350530 HAS SOUPS 22735469 WITH SCORE 2.2817319854E7
AT ITER 1967 NEW BEST:: SOT 132663967 SOS 81840088 HAS SOPS 66768750 HAS SOUS 23348537 HAS SOUPS 22733476 WITH SCORE 2.2815316088E7
AT ITER 1973 NEW BEST:: SOT 132644968 SOS 81812056 HAS SOPS 66741161 HAS SOUS 23322427 HAS SOUPS 22707366 WITH SCORE 2.2789178056E7
AT ITER 1975 NEW BEST:: SOT 132618812 SOS 81770110 HAS SOPS 66707571 HAS SOUS 23291655 HAS SOUPS 22676765 WITH SCORE 2.275853511E7
AT ITER 1977 NEW BEST:: SOT 132639454 SOS 81815802 HAS SOPS 66738486 HAS SOUS 23290551 HAS SOUPS 22675661 WITH SCORE 2.2757476802E7
AT ITER 1979 NEW BEST:: SOT 132622979 SOS 81798375 HAS SOPS 66722593 HAS SOUS 23260851 HAS SOUPS 22645300 WITH SCORE 2.2727098375E7
AT ITER 1983 NEW BEST:: SOT 132622293 SOS 81798992 HAS SOPS 66721071 HAS SOUS 23255782 HAS SOUPS 22640231 WITH SCORE 2.2722029992E7
AT ITER 2002 NEW BEST:: SOT 132603402 SOS 81743160 HAS SOPS 66676698 HAS SOUS 23245350 HAS SOUPS 22629799 WITH SCORE 2.271154216E7
AT ITER 2012 NEW BEST:: SOT 132525441 SOS 81665319 HAS SOPS 66587145 HAS SOUS 23152994 HAS SOUPS 22536004 WITH SCORE 2.2617669319E7
AT ITER 2016 NEW BEST:: SOT 132501223 SOS 81629220 HAS SOPS 66550671 HAS SOUS 23137073 HAS SOUPS 22519618 WITH SCORE 2.260124722E7
AT ITER 2018 NEW BEST:: SOT 132491446 SOS 81595247 HAS SOPS 66522046 HAS SOUS 23131699 HAS SOUPS 22514244 WITH SCORE 2.2595839247E7
AT ITER 2022 NEW BEST:: SOT 132491697 SOS 81596368 HAS SOPS 66523400 HAS SOUS 23130142 HAS SOUPS 22512709 WITH SCORE 2.2594305368E7
AT ITER 2041 NEW BEST:: SOT 132504099 SOS 81640926 HAS SOPS 66564342 HAS SOUS 23107906 HAS SOUPS 22489516 WITH SCORE 2.2571156926E7
AT ITER 2046 NEW BEST:: SOT 132501547 SOS 81637052 HAS SOPS 66561920 HAS SOUS 23105305 HAS SOUPS 22486954 WITH SCORE 2.2568591052E7
AT ITER 2054 NEW BEST:: SOT 132501250 SOS 81636590 HAS SOPS 66561029 HAS SOUS 23105218 HAS SOUPS 22486867 WITH SCORE 2.256850359E7
AT ITER 2055 NEW BEST:: SOT 132498215 SOS 81630336 HAS SOPS 66554549 HAS SOUS 23100630 HAS SOUPS 22482279 WITH SCORE 2.2563909336E7
AT ITER 2064 NEW BEST:: SOT 132495618 SOS 81627643 HAS SOPS 66553368 HAS SOUS 23100593 HAS SOUPS 22482242 WITH SCORE 2.2563869643E7
AT ITER 2071 NEW BEST:: SOT 132501587 SOS 81664599 HAS SOPS 66583172 HAS SOUS 23091125 HAS SOUPS 22472774 WITH SCORE 2.2554438599E7
AT ITER 2075 NEW BEST:: SOT 132490092 SOS 81653104 HAS SOPS 66571677 HAS SOUS 23081966 HAS SOUPS 22463615 WITH SCORE 2.2545268104E7
AT ITER 2083 NEW BEST:: SOT 132444104 SOS 81550785 HAS SOPS 66536003 HAS SOUS 23044979 HAS SOUPS 22427356 WITH SCORE 2.2508906785E7
AT ITER 2086 NEW BEST:: SOT 132443644 SOS 81550365 HAS SOPS 66535784 HAS SOUS 23043296 HAS SOUPS 22425673 WITH SCORE 2.2507223365E7
AT ITER 2087 NEW BEST:: SOT 132427003 SOS 81529624 HAS SOPS 66512877 HAS SOUS 23011537 HAS SOUPS 22392437 WITH SCORE 2.2473966624E7
AT ITER 2112 NEW BEST:: SOT 132432038 SOS 81556858 HAS SOPS 66523715 HAS SOUS 22975965 HAS SOUPS 22356865 WITH SCORE 2.2438421858E7
AT ITER 2113 NEW BEST:: SOT 132431469 SOS 81555610 HAS SOPS 66522523 HAS SOUS 22975074 HAS SOUPS 22355974 WITH SCORE 2.243752961E7
AT ITER 2134 NEW BEST:: SOT 132391261 SOS 81495483 HAS SOPS 66469033 HAS SOUS 22901404 HAS SOUPS 22283803 WITH SCORE 2.2365298483E7
AT ITER 2135 NEW BEST:: SOT 132379048 SOS 81482020 HAS SOPS 66456618 HAS SOUS 22852763 HAS SOUPS 22235269 WITH SCORE 2.231675102E7
AT ITER 2137 NEW BEST:: SOT 132390287 SOS 81507694 HAS SOPS 66479007 HAS SOUS 22850477 HAS SOUPS 22232983 WITH SCORE 2.2314490694E7
AT ITER 2138 NEW BEST:: SOT 132391372 SOS 81516986 HAS SOPS 66487842 HAS SOUS 22847231 HAS SOUPS 22229737 WITH SCORE 2.2311253986E7
AT ITER 2142 NEW BEST:: SOT 132390931 SOS 81515067 HAS SOPS 66485152 HAS SOUS 22844314 HAS SOUPS 22226820 WITH SCORE 2.2308335067E7
AT ITER 2153 NEW BEST:: SOT 132388268 SOS 81504005 HAS SOPS 66471140 HAS SOUS 22830270 HAS SOUPS 22212776 WITH SCORE 2.2294280005E7
AT ITER 2159 NEW BEST:: SOT 132389595 SOS 81505800 HAS SOPS 66472901 HAS SOUS 22829603 HAS SOUPS 22212089 WITH SCORE 2.22935948E7
AT ITER 2162 NEW BEST:: SOT 132395533 SOS 81521022 HAS SOPS 66487250 HAS SOUS 22827859 HAS SOUPS 22210345 WITH SCORE 2.2291866022E7
AT ITER 2173 NEW BEST:: SOT 132397374 SOS 81529637 HAS SOPS 66485478 HAS SOUS 22816722 HAS SOUPS 22199208 WITH SCORE 2.2280737637E7
AT ITER 2199 NEW BEST:: SOT 132401250 SOS 81538135 HAS SOPS 66487884 HAS SOUS 22816157 HAS SOUPS 22198643 WITH SCORE 2.2280181135E7
AT ITER 2208 NEW BEST:: SOT 132375679 SOS 81462914 HAS SOPS 66425051 HAS SOUS 22814648 HAS SOUPS 22197134 WITH SCORE 2.2278596914E7
AT ITER 2211 NEW BEST:: SOT 132375253 SOS 81461711 HAS SOPS 66423151 HAS SOUS 22800053 HAS SOUPS 22182539 WITH SCORE 2.2264000711E7
AT ITER 2214 NEW BEST:: SOT 132365694 SOS 81449874 HAS SOPS 66411760 HAS SOUS 22787393 HAS SOUPS 22169879 WITH SCORE 2.2251328874E7
AT ITER 2237 NEW BEST:: SOT 132358709 SOS 81454322 HAS SOPS 66410483 HAS SOUS 22739576 HAS SOUPS 22122062 WITH SCORE 2.2203516322E7
AT ITER 2258 NEW BEST:: SOT 132360032 SOS 81461136 HAS SOPS 66415394 HAS SOUS 22739228 HAS SOUPS 22121714 WITH SCORE 2.2203175136E7
AT ITER 2286 NEW BEST:: SOT 132358781 SOS 81456966 HAS SOPS 66410770 HAS SOUS 22737513 HAS SOUPS 22119999 WITH SCORE 2.2201455966E7
AT ITER 2292 NEW BEST:: SOT 132328331 SOS 81394180 HAS SOPS 66359829 HAS SOUS 22712329 HAS SOUPS 22094815 WITH SCORE 2.217620918E7
AT ITER 2304 NEW BEST:: SOT 132371616 SOS 81493905 HAS SOPS 66465173 HAS SOUS 22705024 HAS SOUPS 22087510 WITH SCORE 2.2169003905E7
AT ITER 2314 NEW BEST:: SOT 132372167 SOS 81495206 HAS SOPS 66465926 HAS SOUS 22702823 HAS SOUPS 22085309 WITH SCORE 2.2166804206E7
AT ITER 2338 NEW BEST:: SOT 132374283 SOS 81501641 HAS SOPS 66471384 HAS SOUS 22702270 HAS SOUPS 22084756 WITH SCORE 2.2166257641E7
AT ITER 2339 NEW BEST:: SOT 132361325 SOS 81475754 HAS SOPS 66449936 HAS SOUS 22695577 HAS SOUPS 22078161 WITH SCORE 2.2159636754E7
AT ITER 2367 NEW BEST:: SOT 132361346 SOS 81475862 HAS SOPS 66450884 HAS SOUS 22694797 HAS SOUPS 22077395 WITH SCORE 2.2158870862E7
AT ITER 2370 NEW BEST:: SOT 132360549 SOS 81473726 HAS SOPS 66449569 HAS SOUS 22694668 HAS SOUPS 22077266 WITH SCORE 2.2158739726E7
AT ITER 2371 NEW BEST:: SOT 132364059 SOS 81479192 HAS SOPS 66450373 HAS SOUS 22694200 HAS SOUPS 22076798 WITH SCORE 2.2158277192E7
AT ITER 2373 NEW BEST:: SOT 132363720 SOS 81479840 HAS SOPS 66451912 HAS SOUS 22692108 HAS SOUPS 22074706 WITH SCORE 2.215618584E7
AT ITER 2375 NEW BEST:: SOT 132364562 SOS 81490819 HAS SOPS 66456585 HAS SOUS 22681665 HAS SOUPS 22064263 WITH SCORE 2.2145753819E7
AT ITER 2379 NEW BEST:: SOT 132364384 SOS 81485155 HAS SOPS 66448471 HAS SOUS 22681391 HAS SOUPS 22063989 WITH SCORE 2.2145474155E7
AT ITER 2409 NEW BEST:: SOT 132364508 SOS 81485297 HAS SOPS 66448587 HAS SOUS 22681255 HAS SOUPS 22063853 WITH SCORE 2.2145338297E7
AT ITER 2411 NEW BEST:: SOT 132367429 SOS 81494784 HAS SOPS 66473548 HAS SOUS 22644825 HAS SOUPS 22028617 WITH SCORE 2.2110111784E7
AT ITER 2417 NEW BEST:: SOT 132364945 SOS 81492300 HAS SOPS 66470232 HAS SOUS 22639897 HAS SOUPS 22023689 WITH SCORE 2.21051813E7
AT ITER 2421 NEW BEST:: SOT 132363142 SOS 81484594 HAS SOPS 66466602 HAS SOUS 22636939 HAS SOUPS 22020731 WITH SCORE 2.2102215594E7
AT ITER 2428 NEW BEST:: SOT 132358892 SOS 81474893 HAS SOPS 66456314 HAS SOUS 22632242 HAS SOUPS 22016034 WITH SCORE 2.2097508893E7
AT ITER 2457 NEW BEST:: SOT 132382370 SOS 81514435 HAS SOPS 66516752 HAS SOUS 22625252 HAS SOUPS 22008401 WITH SCORE 2.2089915435E7
AT ITER 2465 NEW BEST:: SOT 132396871 SOS 81527382 HAS SOPS 66536389 HAS SOUS 22624184 HAS SOUPS 22007333 WITH SCORE 2.2088860382E7
AT ITER 2489 NEW BEST:: SOT 132396830 SOS 81527257 HAS SOPS 66535860 HAS SOUS 22623111 HAS SOUPS 22006300 WITH SCORE 2.2087827257E7
AT ITER 2498 NEW BEST:: SOT 132399620 SOS 81538372 HAS SOPS 66546083 HAS SOUS 22618674 HAS SOUPS 22001863 WITH SCORE 2.2083401372E7
AT ITER 2506 NEW BEST:: SOT 132399628 SOS 81543909 HAS SOPS 66546453 HAS SOUS 22612604 HAS SOUPS 21995793 WITH SCORE 2.2077336909E7
AT ITER 2513 NEW BEST:: SOT 132399697 SOS 81542338 HAS SOPS 66537800 HAS SOUS 22592234 HAS SOUPS 21975423 WITH SCORE 2.2056965338E7
AT ITER 2518 NEW BEST:: SOT 132383259 SOS 81496111 HAS SOPS 66495444 HAS SOUS 22589969 HAS SOUPS 21973315 WITH SCORE 2.2054811111E7
AT ITER 2519 NEW BEST:: SOT 132376456 SOS 81472689 HAS SOPS 66480762 HAS SOUS 22588836 HAS SOUPS 21972182 WITH SCORE 2.2053654689E7
AT ITER 2525 NEW BEST:: SOT 132382353 SOS 81500543 HAS SOPS 66497169 HAS SOUS 22576802 HAS SOUPS 21960148 WITH SCORE 2.2041648543E7
AT ITER 2558 NEW BEST:: SOT 132378605 SOS 81496795 HAS SOPS 66491469 HAS SOUS 22569790 HAS SOUPS 21952784 WITH SCORE 2.2034280795E7
AT ITER 2563 NEW BEST:: SOT 132377633 SOS 81491551 HAS SOPS 66487319 HAS SOUS 22568378 HAS SOUPS 21951372 WITH SCORE 2.2032863551E7
AT ITER 2565 NEW BEST:: SOT 132335044 SOS 81430511 HAS SOPS 66441228 HAS SOUS 22529002 HAS SOUPS 21911996 WITH SCORE 2.1993426511E7
AT ITER 2596 NEW BEST:: SOT 132326026 SOS 81420354 HAS SOPS 66431211 HAS SOUS 22508487 HAS SOUPS 21891481 WITH SCORE 2.1972901354E7

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-4"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb114-PT-4, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502400099"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-4.tgz
mv RERS17pb114-PT-4 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;