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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.4K Apr 12 07:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 11 08:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:24 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.6K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:26 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-7-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-7-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589726462617

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 7
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 3 NEW BEST:: SOT 133651268 SOS 82197791 HAS SOPS 66756586 HAS SOUS 26441779 HAS SOUPS 25811088 WITH SCORE 2.5893285791E7
AT ITER 4 NEW BEST:: SOT 133650632 SOS 82196823 HAS SOPS 66756005 HAS SOUS 26441351 HAS SOUPS 25810660 WITH SCORE 2.5892856823E7
AT ITER 13 NEW BEST:: SOT 133656280 SOS 82214784 HAS SOPS 66769733 HAS SOUS 26438738 HAS SOUPS 25808047 WITH SCORE 2.5890261784E7
AT ITER 14 NEW BEST:: SOT 133650309 SOS 82226917 HAS SOPS 66783535 HAS SOUS 26429329 HAS SOUPS 25798638 WITH SCORE 2.5880864917E7
AT ITER 15 NEW BEST:: SOT 133657267 SOS 82244060 HAS SOPS 66791941 HAS SOUS 26426796 HAS SOUPS 25796105 WITH SCORE 2.587834906E7
AT ITER 20 NEW BEST:: SOT 133662589 SOS 82279700 HAS SOPS 66819120 HAS SOUS 26419570 HAS SOUPS 25788879 WITH SCORE 2.58711587E7
AT ITER 35 NEW BEST:: SOT 133660279 SOS 82275313 HAS SOPS 66827240 HAS SOUS 26413584 HAS SOUPS 25782893 WITH SCORE 2.5865168313E7
AT ITER 38 NEW BEST:: SOT 133660017 SOS 82271986 HAS SOPS 66824410 HAS SOUS 26413214 HAS SOUPS 25782523 WITH SCORE 2.5864794986E7
AT ITER 41 NEW BEST:: SOT 133664891 SOS 82281904 HAS SOPS 66830654 HAS SOUS 26403555 HAS SOUPS 25773055 WITH SCORE 2.5855336904E7
AT ITER 63 NEW BEST:: SOT 133665492 SOS 82283267 HAS SOPS 66832541 HAS SOUS 26402449 HAS SOUPS 25771966 WITH SCORE 2.5854249267E7
AT ITER 73 NEW BEST:: SOT 133655898 SOS 82254728 HAS SOPS 66807716 HAS SOUS 26394812 HAS SOUPS 25764329 WITH SCORE 2.5846583728E7
AT ITER 82 NEW BEST:: SOT 133656053 SOS 82258999 HAS SOPS 66811174 HAS SOUS 26386639 HAS SOUPS 25756137 WITH SCORE 2.5838395999E7
AT ITER 85 NEW BEST:: SOT 133679171 SOS 82298868 HAS SOPS 66846459 HAS SOUS 26373359 HAS SOUPS 25742845 WITH SCORE 2.5825143868E7
AT ITER 87 NEW BEST:: SOT 133676957 SOS 82296717 HAS SOPS 66846790 HAS SOUS 26368368 HAS SOUPS 25737791 WITH SCORE 2.5820087717E7
AT ITER 99 NEW BEST:: SOT 133680206 SOS 82306072 HAS SOPS 66859124 HAS SOUS 26357810 HAS SOUPS 25727583 WITH SCORE 2.5809889072E7
AT ITER 105 NEW BEST:: SOT 133680717 SOS 82306300 HAS SOPS 66857816 HAS SOUS 26357097 HAS SOUPS 25726870 WITH SCORE 2.58091763E7
AT ITER 108 NEW BEST:: SOT 133680807 SOS 82309032 HAS SOPS 66856853 HAS SOUS 26349974 HAS SOUPS 25719747 WITH SCORE 2.5802056032E7
AT ITER 109 NEW BEST:: SOT 133687262 SOS 82340951 HAS SOPS 66877168 HAS SOUS 26342625 HAS SOUPS 25712398 WITH SCORE 2.5794738951E7
AT ITER 113 NEW BEST:: SOT 133683414 SOS 82332888 HAS SOPS 66870159 HAS SOUS 26342305 HAS SOUPS 25712078 WITH SCORE 2.5794410888E7
AT ITER 122 NEW BEST:: SOT 133684187 SOS 82337469 HAS SOPS 66874456 HAS SOUS 26341350 HAS SOUPS 25711123 WITH SCORE 2.5793460469E7
AT ITER 123 NEW BEST:: SOT 133672777 SOS 82322333 HAS SOPS 66860401 HAS SOUS 26327294 HAS SOUPS 25697348 WITH SCORE 2.5779670333E7
AT ITER 124 NEW BEST:: SOT 133671072 SOS 82321691 HAS SOPS 66861036 HAS SOUS 26321717 HAS SOUPS 25691771 WITH SCORE 2.5774092691E7
AT ITER 137 NEW BEST:: SOT 133610150 SOS 82224175 HAS SOPS 66800891 HAS SOUS 26274797 HAS SOUPS 25646829 WITH SCORE 2.5729053175E7
AT ITER 146 NEW BEST:: SOT 133602620 SOS 82209321 HAS SOPS 66788296 HAS SOUS 26268726 HAS SOUPS 25640758 WITH SCORE 2.5722967321E7
AT ITER 147 NEW BEST:: SOT 133601669 SOS 82225027 HAS SOPS 66795272 HAS SOUS 26226790 HAS SOUPS 25598822 WITH SCORE 2.5681047027E7
AT ITER 150 NEW BEST:: SOT 133569116 SOS 82172869 HAS SOPS 66756215 HAS SOUS 26184647 HAS SOUPS 25556679 WITH SCORE 2.5638851869E7
AT ITER 154 NEW BEST:: SOT 133569876 SOS 82200907 HAS SOPS 66776290 HAS SOUS 26159446 HAS SOUPS 25531478 WITH SCORE 2.5613678907E7
AT ITER 160 NEW BEST:: SOT 133570276 SOS 82201235 HAS SOPS 66776454 HAS SOUS 26159320 HAS SOUPS 25531370 WITH SCORE 2.5613571235E7
AT ITER 161 NEW BEST:: SOT 133561403 SOS 82182630 HAS SOPS 66758954 HAS SOUS 26145105 HAS SOUPS 25517155 WITH SCORE 2.559933763E7
AT ITER 165 NEW BEST:: SOT 133541575 SOS 82174539 HAS SOPS 66791517 HAS SOUS 26102951 HAS SOUPS 25475001 WITH SCORE 2.5557175539E7
AT ITER 169 NEW BEST:: SOT 133541555 SOS 82174571 HAS SOPS 66791523 HAS SOUS 26102901 HAS SOUPS 25474951 WITH SCORE 2.5557125571E7
AT ITER 175 NEW BEST:: SOT 133537000 SOS 82165318 HAS SOPS 66782913 HAS SOUS 26102799 HAS SOUPS 25474849 WITH SCORE 2.5557014318E7
AT ITER 200 NEW BEST:: SOT 133510880 SOS 82102673 HAS SOPS 66736006 HAS SOUS 26089546 HAS SOUPS 25461596 WITH SCORE 2.5543698673E7
AT ITER 209 NEW BEST:: SOT 133516260 SOS 82122922 HAS SOPS 66751303 HAS SOUS 26087406 HAS SOUPS 25459456 WITH SCORE 2.5541578922E7
AT ITER 211 NEW BEST:: SOT 133402686 SOS 82000526 HAS SOPS 66623532 HAS SOUS 25953692 HAS SOUPS 25324124 WITH SCORE 2.5406124526E7
AT ITER 213 NEW BEST:: SOT 133400325 SOS 81995270 HAS SOPS 66617856 HAS SOUS 25950449 HAS SOUPS 25320881 WITH SCORE 2.540287627E7
AT ITER 229 NEW BEST:: SOT 133400455 SOS 81997129 HAS SOPS 66617823 HAS SOUS 25947676 HAS SOUPS 25318108 WITH SCORE 2.5400105129E7
AT ITER 246 NEW BEST:: SOT 133402373 SOS 82000319 HAS SOPS 66623456 HAS SOUS 25944671 HAS SOUPS 25315103 WITH SCORE 2.5397103319E7
AT ITER 247 NEW BEST:: SOT 133400077 SOS 82004678 HAS SOPS 66634717 HAS SOUS 25943672 HAS SOUPS 25314104 WITH SCORE 2.5396108678E7
AT ITER 249 NEW BEST:: SOT 133402286 SOS 82015190 HAS SOPS 66640685 HAS SOUS 25941691 HAS SOUPS 25312123 WITH SCORE 2.539413819E7
AT ITER 257 NEW BEST:: SOT 133390573 SOS 82003582 HAS SOPS 66629076 HAS SOUS 25875408 HAS SOUPS 25245839 WITH SCORE 2.5327842582E7
AT ITER 264 NEW BEST:: SOT 133389545 SOS 82022718 HAS SOPS 66667649 HAS SOUS 25866698 HAS SOUPS 25237129 WITH SCORE 2.5319151718E7
AT ITER 269 NEW BEST:: SOT 133396546 SOS 82047498 HAS SOPS 66693970 HAS SOUS 25849155 HAS SOUPS 25219586 WITH SCORE 2.5301633498E7
AT ITER 270 NEW BEST:: SOT 133396046 SOS 82046948 HAS SOPS 66692073 HAS SOUS 25846112 HAS SOUPS 25216543 WITH SCORE 2.5298589948E7
AT ITER 272 NEW BEST:: SOT 133368919 SOS 81990222 HAS SOPS 66654873 HAS SOUS 25830668 HAS SOUPS 25201099 WITH SCORE 2.5283089222E7
AT ITER 289 NEW BEST:: SOT 133361142 SOS 81981697 HAS SOPS 66646696 HAS SOUS 25817080 HAS SOUPS 25187567 WITH SCORE 2.5269548697E7
AT ITER 294 NEW BEST:: SOT 133359808 SOS 81978421 HAS SOPS 66644222 HAS SOUS 25816791 HAS SOUPS 25187309 WITH SCORE 2.5269287421E7
AT ITER 295 NEW BEST:: SOT 133355852 SOS 81970185 HAS SOPS 66640313 HAS SOUS 25810484 HAS SOUPS 25181002 WITH SCORE 2.5262972185E7
AT ITER 342 NEW BEST:: SOT 133337715 SOS 81937653 HAS SOPS 66596677 HAS SOUS 25803741 HAS SOUPS 25174464 WITH SCORE 2.5256401653E7
AT ITER 353 NEW BEST:: SOT 133398718 SOS 82065760 HAS SOPS 66747974 HAS SOUS 25796113 HAS SOUPS 25166836 WITH SCORE 2.524890176E7
AT ITER 378 NEW BEST:: SOT 133376003 SOS 82011207 HAS SOPS 66705125 HAS SOUS 25786440 HAS SOUPS 25157163 WITH SCORE 2.5239174207E7
AT ITER 386 NEW BEST:: SOT 133376308 SOS 82020181 HAS SOPS 66716390 HAS SOUS 25786350 HAS SOUPS 25157073 WITH SCORE 2.5239093181E7
AT ITER 394 NEW BEST:: SOT 133393677 SOS 82076807 HAS SOPS 66754465 HAS SOUS 25784111 HAS SOUPS 25154834 WITH SCORE 2.5236910807E7
AT ITER 403 NEW BEST:: SOT 133393653 SOS 82076220 HAS SOPS 66753681 HAS SOUS 25783968 HAS SOUPS 25154691 WITH SCORE 2.523676722E7
AT ITER 404 NEW BEST:: SOT 133380852 SOS 82057587 HAS SOPS 66739178 HAS SOUS 25763953 HAS SOUPS 25134676 WITH SCORE 2.5216733587E7
AT ITER 405 NEW BEST:: SOT 133326308 SOS 81944827 HAS SOPS 66655257 HAS SOUS 25742014 HAS SOUPS 25113289 WITH SCORE 2.5195233827E7
AT ITER 410 NEW BEST:: SOT 133331583 SOS 81961036 HAS SOPS 66669256 HAS SOUS 25740643 HAS SOUPS 25111918 WITH SCORE 2.5193879036E7
AT ITER 413 NEW BEST:: SOT 133310598 SOS 81903626 HAS SOPS 66631753 HAS SOUS 25737396 HAS SOUPS 25108671 WITH SCORE 2.5190574626E7
AT ITER 417 NEW BEST:: SOT 133322013 SOS 81943417 HAS SOPS 66676659 HAS SOUS 25736304 HAS SOUPS 25107579 WITH SCORE 2.5189522417E7
AT ITER 423 NEW BEST:: SOT 133304231 SOS 81893114 HAS SOPS 66668327 HAS SOUS 25721561 HAS SOUPS 25093926 WITH SCORE 2.5175819114E7
AT ITER 437 NEW BEST:: SOT 133299131 SOS 81882363 HAS SOPS 66659569 HAS SOUS 25704416 HAS SOUPS 25077933 WITH SCORE 2.5159815363E7
AT ITER 445 NEW BEST:: SOT 133227976 SOS 81803986 HAS SOPS 66574201 HAS SOUS 25654396 HAS SOUPS 25024381 WITH SCORE 2.5106184986E7
AT ITER 453 NEW BEST:: SOT 133234138 SOS 81828508 HAS SOPS 66595161 HAS SOUS 25652691 HAS SOUPS 25022676 WITH SCORE 2.5104504508E7
AT ITER 474 NEW BEST:: SOT 133229312 SOS 81826170 HAS SOPS 66594566 HAS SOUS 25647479 HAS SOUPS 25017464 WITH SCORE 2.509929017E7
AT ITER 491 NEW BEST:: SOT 133233390 SOS 81841182 HAS SOPS 66606370 HAS SOUS 25645319 HAS SOUPS 25015304 WITH SCORE 2.5097145182E7
AT ITER 498 NEW BEST:: SOT 133233132 SOS 81857867 HAS SOPS 66620235 HAS SOUS 25632472 HAS SOUPS 25002457 WITH SCORE 2.5084314867E7
AT ITER 524 NEW BEST:: SOT 133228097 SOS 81851872 HAS SOPS 66614912 HAS SOUS 25622853 HAS SOUPS 24992982 WITH SCORE 2.5074833872E7
AT ITER 531 NEW BEST:: SOT 133228483 SOS 81855948 HAS SOPS 66617015 HAS SOUS 25619630 HAS SOUPS 24989759 WITH SCORE 2.5071614948E7
AT ITER 532 NEW BEST:: SOT 133228441 SOS 81855834 HAS SOPS 66616907 HAS SOUS 25619538 HAS SOUPS 24989667 WITH SCORE 2.5071522834E7
AT ITER 534 NEW BEST:: SOT 133228489 SOS 81856151 HAS SOPS 66617022 HAS SOUS 25619506 HAS SOUPS 24989635 WITH SCORE 2.5071491151E7
AT ITER 544 NEW BEST:: SOT 133199322 SOS 81804556 HAS SOPS 66593745 HAS SOUS 25595288 HAS SOUPS 24966155 WITH SCORE 2.5047959556E7
AT ITER 545 NEW BEST:: SOT 133192288 SOS 81791819 HAS SOPS 66583781 HAS SOUS 25587998 HAS SOUPS 24958924 WITH SCORE 2.5040715819E7
AT ITER 546 NEW BEST:: SOT 133194701 SOS 81802431 HAS SOPS 66592642 HAS SOUS 25587850 HAS SOUPS 24958776 WITH SCORE 2.5040578431E7
AT ITER 549 NEW BEST:: SOT 133195728 SOS 81807240 HAS SOPS 66597943 HAS SOUS 25587777 HAS SOUPS 24958703 WITH SCORE 2.504051024E7
AT ITER 552 NEW BEST:: SOT 133183843 SOS 81792577 HAS SOPS 66584032 HAS SOUS 25575913 HAS SOUPS 24950622 WITH SCORE 2.5032414577E7
AT ITER 553 NEW BEST:: SOT 133228432 SOS 81975884 HAS SOPS 66745149 HAS SOUS 25535476 HAS SOUPS 24910185 WITH SCORE 2.4992160884E7
AT ITER 554 NEW BEST:: SOT 133228287 SOS 81975209 HAS SOPS 66744259 HAS SOUS 25535226 HAS SOUPS 24909935 WITH SCORE 2.4991910209E7
AT ITER 555 NEW BEST:: SOT 133228019 SOS 81973705 HAS SOPS 66742531 HAS SOUS 25534610 HAS SOUPS 24909319 WITH SCORE 2.4991292705E7
AT ITER 576 NEW BEST:: SOT 133226023 SOS 81988961 HAS SOPS 66763988 HAS SOUS 25522977 HAS SOUPS 24897686 WITH SCORE 2.4979674961E7
AT ITER 577 NEW BEST:: SOT 133228543 SOS 81990312 HAS SOPS 66775236 HAS SOUS 25508291 HAS SOUPS 24884044 WITH SCORE 2.4966034312E7
AT ITER 579 NEW BEST:: SOT 133229698 SOS 82002761 HAS SOPS 66786886 HAS SOUS 25507930 HAS SOUPS 24883683 WITH SCORE 2.4965685761E7
AT ITER 593 NEW BEST:: SOT 133229332 SOS 82002254 HAS SOPS 66786058 HAS SOUS 25507136 HAS SOUPS 24882886 WITH SCORE 2.4964888254E7
AT ITER 600 NEW BEST:: SOT 133216057 SOS 81987191 HAS SOPS 66764414 HAS SOUS 25477960 HAS SOUPS 24853886 WITH SCORE 2.4935873191E7
AT ITER 622 NEW BEST:: SOT 133204584 SOS 81972848 HAS SOPS 66748882 HAS SOUS 25462633 HAS SOUPS 24838559 WITH SCORE 2.4920531848E7
AT ITER 624 NEW BEST:: SOT 133237464 SOS 82059154 HAS SOPS 66818195 HAS SOUS 25452880 HAS SOUPS 24828806 WITH SCORE 2.4910865154E7
AT ITER 627 NEW BEST:: SOT 133236878 SOS 82061034 HAS SOPS 66819079 HAS SOUS 25448523 HAS SOUPS 24824449 WITH SCORE 2.4906510034E7
AT ITER 633 NEW BEST:: SOT 133244403 SOS 82086958 HAS SOPS 66835049 HAS SOUS 25440062 HAS SOUPS 24815988 WITH SCORE 2.4898074958E7
AT ITER 659 NEW BEST:: SOT 133237133 SOS 82079661 HAS SOPS 66831719 HAS SOUS 25430450 HAS SOUPS 24809019 WITH SCORE 2.4891098661E7
AT ITER 666 NEW BEST:: SOT 133241854 SOS 82094458 HAS SOPS 66851687 HAS SOUS 25424714 HAS SOUPS 24803270 WITH SCORE 2.4885364458E7
AT ITER 675 NEW BEST:: SOT 133220182 SOS 82045693 HAS SOPS 66820698 HAS SOUS 25412084 HAS SOUPS 24790640 WITH SCORE 2.4872685693E7
AT ITER 679 NEW BEST:: SOT 133220477 SOS 82049328 HAS SOPS 66819281 HAS SOUS 25392890 HAS SOUPS 24771446 WITH SCORE 2.4853495328E7
AT ITER 709 NEW BEST:: SOT 133192986 SOS 82002420 HAS SOPS 66800739 HAS SOUS 25366501 HAS SOUPS 24745476 WITH SCORE 2.482747842E7
AT ITER 714 NEW BEST:: SOT 133191658 SOS 82000794 HAS SOPS 66797563 HAS SOUS 25362718 HAS SOUPS 24741693 WITH SCORE 2.4823693794E7
AT ITER 717 NEW BEST:: SOT 133191526 SOS 82000662 HAS SOPS 66797375 HAS SOUS 25362526 HAS SOUPS 24741501 WITH SCORE 2.4823501662E7
AT ITER 719 NEW BEST:: SOT 133191110 SOS 82000354 HAS SOPS 66796647 HAS SOUS 25361244 HAS SOUPS 24740219 WITH SCORE 2.4822219354E7
AT ITER 720 NEW BEST:: SOT 133193891 SOS 81996455 HAS SOPS 66779564 HAS SOUS 25344875 HAS SOUPS 24723850 WITH SCORE 2.4805846455E7
AT ITER 731 NEW BEST:: SOT 133244782 SOS 82045552 HAS SOPS 66829092 HAS SOUS 25325187 HAS SOUPS 24704239 WITH SCORE 2.4786284552E7
AT ITER 735 NEW BEST:: SOT 133253201 SOS 82063396 HAS SOPS 66839243 HAS SOUS 25318876 HAS SOUPS 24697748 WITH SCORE 2.4779811396E7
AT ITER 738 NEW BEST:: SOT 133238112 SOS 82052163 HAS SOPS 66824594 HAS SOUS 25272876 HAS SOUPS 24651748 WITH SCORE 2.4733800163E7
AT ITER 747 NEW BEST:: SOT 133228063 SOS 82051018 HAS SOPS 66827267 HAS SOUS 25258928 HAS SOUPS 24637800 WITH SCORE 2.4719851018E7
AT ITER 749 NEW BEST:: SOT 133234019 SOS 82060711 HAS SOPS 66838484 HAS SOUS 25257794 HAS SOUPS 24636719 WITH SCORE 2.4718779711E7
AT ITER 751 NEW BEST:: SOT 133237677 SOS 82064535 HAS SOPS 66841707 HAS SOUS 25257692 HAS SOUPS 24636617 WITH SCORE 2.4718681535E7
AT ITER 769 NEW BEST:: SOT 133242798 SOS 82096561 HAS SOPS 66872536 HAS SOUS 25237766 HAS SOUPS 24616691 WITH SCORE 2.4698787561E7
AT ITER 773 NEW BEST:: SOT 133255765 SOS 82124669 HAS SOPS 66888812 HAS SOUS 25229783 HAS SOUPS 24608708 WITH SCORE 2.4690832669E7
AT ITER 774 NEW BEST:: SOT 133262970 SOS 82147454 HAS SOPS 66904610 HAS SOUS 25226720 HAS SOUPS 24605645 WITH SCORE 2.4687792454E7
AT ITER 775 NEW BEST:: SOT 133259736 SOS 82144181 HAS SOPS 66901337 HAS SOUS 25219701 HAS SOUPS 24598626 WITH SCORE 2.4680770181E7
AT ITER 797 NEW BEST:: SOT 133258750 SOS 82142755 HAS SOPS 66899627 HAS SOUS 25218387 HAS SOUPS 24597312 WITH SCORE 2.4679454755E7
AT ITER 798 NEW BEST:: SOT 133256657 SOS 82139210 HAS SOPS 66896477 HAS SOUS 25216902 HAS SOUPS 24595827 WITH SCORE 2.467796621E7
AT ITER 802 NEW BEST:: SOT 133257121 SOS 82140266 HAS SOPS 66896973 HAS SOUS 25216555 HAS SOUPS 24595480 WITH SCORE 2.4677620266E7
AT ITER 804 NEW BEST:: SOT 133242542 SOS 82119809 HAS SOPS 66881442 HAS SOUS 25200059 HAS SOUPS 24579255 WITH SCORE 2.4661374809E7
AT ITER 805 NEW BEST:: SOT 133242101 SOS 82117069 HAS SOPS 66885262 HAS SOUS 25189371 HAS SOUPS 24571100 WITH SCORE 2.4653217069E7
AT ITER 823 NEW BEST:: SOT 133242530 SOS 82119908 HAS SOPS 66881164 HAS SOUS 25181242 HAS SOUPS 24562971 WITH SCORE 2.4645090908E7
AT ITER 840 NEW BEST:: SOT 133230457 SOS 82093852 HAS SOPS 66859174 HAS SOUS 25170615 HAS SOUPS 24552344 WITH SCORE 2.4634437852E7
AT ITER 845 NEW BEST:: SOT 133285725 SOS 82229096 HAS SOPS 66955542 HAS SOUS 25144746 HAS SOUPS 24526229 WITH SCORE 2.4608458096E7
AT ITER 847 NEW BEST:: SOT 133304088 SOS 82266884 HAS SOPS 67000310 HAS SOUS 25142811 HAS SOUPS 24524294 WITH SCORE 2.4606560884E7
AT ITER 849 NEW BEST:: SOT 133308019 SOS 82298664 HAS SOPS 67016818 HAS SOUS 25126787 HAS SOUPS 24508047 WITH SCORE 2.4590345664E7
AT ITER 857 NEW BEST:: SOT 133296316 SOS 82281556 HAS SOPS 66998325 HAS SOUS 25117731 HAS SOUPS 24498991 WITH SCORE 2.4581272556E7
AT ITER 859 NEW BEST:: SOT 133296348 SOS 82281516 HAS SOPS 66998261 HAS SOUS 25117427 HAS SOUPS 24498687 WITH SCORE 2.4580968516E7
AT ITER 862 NEW BEST:: SOT 133304733 SOS 82365952 HAS SOPS 67080942 HAS SOUS 25085325 HAS SOUPS 24466585 WITH SCORE 2.4548950952E7
AT ITER 871 NEW BEST:: SOT 133315602 SOS 82396953 HAS SOPS 67105969 HAS SOUS 25064795 HAS SOUPS 24445858 WITH SCORE 2.4528254953E7
AT ITER 872 NEW BEST:: SOT 133314300 SOS 82394360 HAS SOPS 67104616 HAS SOUS 25064726 HAS SOUPS 24445806 WITH SCORE 2.452820036E7
AT ITER 879 NEW BEST:: SOT 133273914 SOS 82352108 HAS SOPS 67058167 HAS SOUS 25027974 HAS SOUPS 24408789 WITH SCORE 2.4491141108E7
AT ITER 880 NEW BEST:: SOT 133269752 SOS 82346713 HAS SOPS 67054026 HAS SOUS 25025036 HAS SOUPS 24405868 WITH SCORE 2.4488214713E7
AT ITER 901 NEW BEST:: SOT 133204254 SOS 82266472 HAS SOPS 66980189 HAS SOUS 24943417 HAS SOUPS 24324599 WITH SCORE 2.4406865472E7
AT ITER 907 NEW BEST:: SOT 133205028 SOS 82269741 HAS SOPS 66982403 HAS SOUS 24942680 HAS SOUPS 24323862 WITH SCORE 2.4406131741E7
AT ITER 916 NEW BEST:: SOT 133194132 SOS 82233189 HAS SOPS 66950780 HAS SOUS 24939362 HAS SOUPS 24320544 WITH SCORE 2.4402777189E7
AT ITER 927 NEW BEST:: SOT 133196022 SOS 82239208 HAS SOPS 66954848 HAS SOUS 24938794 HAS SOUPS 24319976 WITH SCORE 2.4402215208E7
AT ITER 933 NEW BEST:: SOT 133192628 SOS 82233449 HAS SOPS 66953554 HAS SOUS 24935866 HAS SOUPS 24317048 WITH SCORE 2.4399281449E7
AT ITER 938 NEW BEST:: SOT 133170714 SOS 82202190 HAS SOPS 66936615 HAS SOUS 24899576 HAS SOUPS 24281109 WITH SCORE 2.436331119E7
AT ITER 940 NEW BEST:: SOT 133188132 SOS 82278114 HAS SOPS 67011850 HAS SOUS 24886782 HAS SOUPS 24268315 WITH SCORE 2.4350593114E7
AT ITER 944 NEW BEST:: SOT 133202411 SOS 82346388 HAS SOPS 67061007 HAS SOUS 24854848 HAS SOUPS 24236381 WITH SCORE 2.4318727388E7
AT ITER 960 NEW BEST:: SOT 133195201 SOS 82338797 HAS SOPS 67052239 HAS SOUS 24843482 HAS SOUPS 24224917 WITH SCORE 2.4307255797E7
AT ITER 961 NEW BEST:: SOT 133201188 SOS 82346645 HAS SOPS 67061527 HAS SOUS 24840329 HAS SOUPS 24222852 WITH SCORE 2.4305198645E7
AT ITER 968 NEW BEST:: SOT 133194749 SOS 82337098 HAS SOPS 67053204 HAS SOUS 24834243 HAS SOUPS 24216766 WITH SCORE 2.4299103098E7
AT ITER 988 NEW BEST:: SOT 133201454 SOS 82369121 HAS SOPS 67077321 HAS SOUS 24816747 HAS SOUPS 24199270 WITH SCORE 2.4281639121E7
AT ITER 991 NEW BEST:: SOT 133198337 SOS 82365590 HAS SOPS 67074715 HAS SOUS 24810091 HAS SOUPS 24192614 WITH SCORE 2.427497959E7
AT ITER 996 NEW BEST:: SOT 133197412 SOS 82377167 HAS SOPS 67083716 HAS SOUS 24808049 HAS SOUPS 24190572 WITH SCORE 2.4272949167E7
AT ITER 1013 NEW BEST:: SOT 133130738 SOS 82250788 HAS SOPS 66982758 HAS SOUS 24746157 HAS SOUPS 24125369 WITH SCORE 2.4207619788E7
AT ITER 1028 NEW BEST:: SOT 133130907 SOS 82252037 HAS SOPS 66984215 HAS SOUS 24745943 HAS SOUPS 24125155 WITH SCORE 2.4207407037E7
AT ITER 1033 NEW BEST:: SOT 133098518 SOS 82195914 HAS SOPS 66932260 HAS SOUS 24734832 HAS SOUPS 24114044 WITH SCORE 2.4196239914E7
AT ITER 1039 NEW BEST:: SOT 133102543 SOS 82254318 HAS SOPS 66971226 HAS SOUS 24702234 HAS SOUPS 24081446 WITH SCORE 2.4163700318E7
AT ITER 1054 NEW BEST:: SOT 133110582 SOS 82273796 HAS SOPS 66991643 HAS SOUS 24692630 HAS SOUPS 24071832 WITH SCORE 2.4154105796E7
AT ITER 1067 NEW BEST:: SOT 133115265 SOS 82298168 HAS SOPS 67007834 HAS SOUS 24689370 HAS SOUPS 24068572 WITH SCORE 2.4150870168E7
AT ITER 1078 NEW BEST:: SOT 133126906 SOS 82346024 HAS SOPS 67050760 HAS SOUS 24665534 HAS SOUPS 24044736 WITH SCORE 2.4127082024E7
AT ITER 1081 NEW BEST:: SOT 133129809 SOS 82354036 HAS SOPS 67058701 HAS SOUS 24657429 HAS SOUPS 24036631 WITH SCORE 2.4118985036E7
AT ITER 1085 NEW BEST:: SOT 133051958 SOS 82275619 HAS SOPS 66980258 HAS SOUS 24531541 HAS SOUPS 23910855 WITH SCORE 2.3993130619E7
AT ITER 1088 NEW BEST:: SOT 133048528 SOS 82277406 HAS SOPS 66982051 HAS SOUS 24519606 HAS SOUPS 23898854 WITH SCORE 2.3981131406E7
AT ITER 1089 NEW BEST:: SOT 133043458 SOS 82272336 HAS SOPS 66977753 HAS SOUS 24513741 HAS SOUPS 23892989 WITH SCORE 2.3975261336E7
AT ITER 1095 NEW BEST:: SOT 133042704 SOS 82273323 HAS SOPS 66983563 HAS SOUS 24512538 HAS SOUPS 23891786 WITH SCORE 2.3974059323E7
AT ITER 1097 NEW BEST:: SOT 133041273 SOS 82271787 HAS SOPS 66981299 HAS SOUS 24509063 HAS SOUPS 23887926 WITH SCORE 2.3970197787E7
AT ITER 1130 NEW BEST:: SOT 133040663 SOS 82271177 HAS SOPS 66980305 HAS SOUS 24507781 HAS SOUPS 23886644 WITH SCORE 2.3968915177E7
AT ITER 1133 NEW BEST:: SOT 132991440 SOS 82193536 HAS SOPS 66926528 HAS SOUS 24502434 HAS SOUPS 23881297 WITH SCORE 2.3963490536E7
AT ITER 1143 NEW BEST:: SOT 132928725 SOS 82120777 HAS SOPS 66858451 HAS SOUS 24445661 HAS SOUPS 23824692 WITH SCORE 2.3906812777E7
AT ITER 1158 NEW BEST:: SOT 132928723 SOS 82122970 HAS SOPS 66857240 HAS SOUS 24443428 HAS SOUPS 23822459 WITH SCORE 2.390458197E7
AT ITER 1159 NEW BEST:: SOT 132933195 SOS 82133538 HAS SOPS 66868283 HAS SOUS 24440353 HAS SOUPS 23819384 WITH SCORE 2.3901517538E7
AT ITER 1171 NEW BEST:: SOT 132931880 SOS 82130420 HAS SOPS 66863911 HAS SOUS 24439305 HAS SOUPS 23818336 WITH SCORE 2.390046642E7
AT ITER 1177 NEW BEST:: SOT 132931684 SOS 82129188 HAS SOPS 66863805 HAS SOUS 24439128 HAS SOUPS 23818159 WITH SCORE 2.3900288188E7
AT ITER 1182 NEW BEST:: SOT 132930507 SOS 82127812 HAS SOPS 66862081 HAS SOUS 24436966 HAS SOUPS 23816004 WITH SCORE 2.3898131812E7
AT ITER 1190 NEW BEST:: SOT 132914509 SOS 82107688 HAS SOPS 66846854 HAS SOUS 24408653 HAS SOUPS 23787691 WITH SCORE 2.3869798688E7
AT ITER 1201 NEW BEST:: SOT 132900866 SOS 82089873 HAS SOPS 66824120 HAS SOUS 24375800 HAS SOUPS 23754838 WITH SCORE 2.3836927873E7
AT ITER 1206 NEW BEST:: SOT 132953172 SOS 82186264 HAS SOPS 66937751 HAS SOUS 24373524 HAS SOUPS 23752562 WITH SCORE 2.3834748264E7
AT ITER 1207 NEW BEST:: SOT 132951588 SOS 82183775 HAS SOPS 66935439 HAS SOUS 24371268 HAS SOUPS 23750306 WITH SCORE 2.3832489775E7
AT ITER 1211 NEW BEST:: SOT 132944015 SOS 82178341 HAS SOPS 66944674 HAS SOUS 24328485 HAS SOUPS 23707403 WITH SCORE 2.3789581341E7
AT ITER 1231 NEW BEST:: SOT 132942996 SOS 82164712 HAS SOPS 66931279 HAS SOUS 24327878 HAS SOUPS 23706796 WITH SCORE 2.3788960712E7
AT ITER 1251 NEW BEST:: SOT 132943232 SOS 82166660 HAS SOPS 66933781 HAS SOUS 24327794 HAS SOUPS 23706712 WITH SCORE 2.378887866E7
AT ITER 1259 NEW BEST:: SOT 132944487 SOS 82169022 HAS SOPS 66934034 HAS SOUS 24325784 HAS SOUPS 23704702 WITH SCORE 2.3786871022E7
AT ITER 1260 NEW BEST:: SOT 132918337 SOS 82142656 HAS SOPS 66905989 HAS SOUS 24293054 HAS SOUPS 23672052 WITH SCORE 2.3754194656E7
AT ITER 1285 NEW BEST:: SOT 132918136 SOS 82141857 HAS SOPS 66904977 HAS SOUS 24292436 HAS SOUPS 23671434 WITH SCORE 2.3753575857E7
AT ITER 1292 NEW BEST:: SOT 132916953 SOS 82140669 HAS SOPS 66903658 HAS SOUS 24291130 HAS SOUPS 23670109 WITH SCORE 2.3752249669E7
AT ITER 1299 NEW BEST:: SOT 132916023 SOS 82138111 HAS SOPS 66902178 HAS SOUS 24290926 HAS SOUPS 23669905 WITH SCORE 2.3752043111E7
AT ITER 1305 NEW BEST:: SOT 132910687 SOS 82142646 HAS SOPS 66900040 HAS SOUS 24270286 HAS SOUPS 23649265 WITH SCORE 2.3731407646E7
AT ITER 1312 NEW BEST:: SOT 132912001 SOS 82148341 HAS SOPS 66903937 HAS SOUS 24269379 HAS SOUPS 23648358 WITH SCORE 2.3730506341E7
AT ITER 1323 NEW BEST:: SOT 132908726 SOS 82146953 HAS SOPS 66899475 HAS SOUS 24259055 HAS SOUPS 23638092 WITH SCORE 2.3720238953E7
AT ITER 1334 NEW BEST:: SOT 132909526 SOS 82151366 HAS SOPS 66903027 HAS SOUS 24255994 HAS SOUPS 23635031 WITH SCORE 2.3717182366E7
AT ITER 1336 NEW BEST:: SOT 132897150 SOS 82115329 HAS SOPS 66879524 HAS SOUS 24244534 HAS SOUPS 23623571 WITH SCORE 2.3705686329E7
AT ITER 1341 NEW BEST:: SOT 132911709 SOS 82171038 HAS SOPS 66908200 HAS SOUS 24226650 HAS SOUPS 23605687 WITH SCORE 2.3687858038E7
AT ITER 1346 NEW BEST:: SOT 132913019 SOS 82200657 HAS SOPS 66956110 HAS SOUS 24190723 HAS SOUPS 23569826 WITH SCORE 2.3652026657E7
AT ITER 1369 NEW BEST:: SOT 132919115 SOS 82223387 HAS SOPS 66974896 HAS SOUS 24183257 HAS SOUPS 23562360 WITH SCORE 2.3644583387E7
AT ITER 1374 NEW BEST:: SOT 132912262 SOS 82216042 HAS SOPS 66967398 HAS SOUS 24174407 HAS SOUPS 23553240 WITH SCORE 2.3635456042E7
AT ITER 1382 NEW BEST:: SOT 132912139 SOS 82213710 HAS SOPS 66965362 HAS SOUS 24173985 HAS SOUPS 23552818 WITH SCORE 2.363503171E7
AT ITER 1392 NEW BEST:: SOT 132901459 SOS 82185803 HAS SOPS 66948005 HAS SOUS 24168734 HAS SOUPS 23547692 WITH SCORE 2.3629877803E7
AT ITER 1395 NEW BEST:: SOT 132896623 SOS 82169658 HAS SOPS 66937239 HAS SOUS 24166273 HAS SOUPS 23545231 WITH SCORE 2.3627400658E7
AT ITER 1406 NEW BEST:: SOT 132896447 SOS 82170378 HAS SOPS 66937735 HAS SOUS 24165445 HAS SOUPS 23544403 WITH SCORE 2.3626573378E7
AT ITER 1409 NEW BEST:: SOT 132894312 SOS 82168127 HAS SOPS 66942534 HAS SOUS 24153408 HAS SOUPS 23532210 WITH SCORE 2.3614378127E7
AT ITER 1432 NEW BEST:: SOT 132895117 SOS 82171700 HAS SOPS 66946810 HAS SOUS 24134103 HAS SOUPS 23512753 WITH SCORE 2.35949247E7
AT ITER 1436 NEW BEST:: SOT 132869939 SOS 82132644 HAS SOPS 66893948 HAS SOUS 24102198 HAS SOUPS 23480621 WITH SCORE 2.3562753644E7
AT ITER 1437 NEW BEST:: SOT 132864648 SOS 82130490 HAS SOPS 66889622 HAS SOUS 24090356 HAS SOUPS 23468779 WITH SCORE 2.355090949E7
AT ITER 1449 NEW BEST:: SOT 132862507 SOS 82130591 HAS SOPS 66890333 HAS SOUS 24086310 HAS SOUPS 23464821 WITH SCORE 2.3546951591E7
AT ITER 1469 NEW BEST:: SOT 132861847 SOS 82131720 HAS SOPS 66896364 HAS SOUS 24085408 HAS SOUPS 23463919 WITH SCORE 2.354605072E7
AT ITER 1479 NEW BEST:: SOT 132865383 SOS 82147261 HAS SOPS 66911054 HAS SOUS 24071945 HAS SOUPS 23450455 WITH SCORE 2.3532602261E7
AT ITER 1482 NEW BEST:: SOT 132864951 SOS 82147081 HAS SOPS 66910028 HAS SOUS 24071045 HAS SOUPS 23449474 WITH SCORE 2.3531621081E7
AT ITER 1484 NEW BEST:: SOT 132809310 SOS 82080504 HAS SOPS 66851617 HAS SOUS 24013899 HAS SOUPS 23392633 WITH SCORE 2.3474713504E7
AT ITER 1504 NEW BEST:: SOT 132850843 SOS 82210398 HAS SOPS 66995740 HAS SOUS 23980078 HAS SOUPS 23358812 WITH SCORE 2.3441022398E7
AT ITER 1505 NEW BEST:: SOT 132851143 SOS 82211163 HAS SOPS 66996689 HAS SOUS 23979710 HAS SOUPS 23358444 WITH SCORE 2.3440655163E7
AT ITER 1512 NEW BEST:: SOT 132830829 SOS 82159166 HAS SOPS 66963342 HAS SOUS 23974874 HAS SOUPS 23353735 WITH SCORE 2.3435894166E7
AT ITER 1532 NEW BEST:: SOT 132880808 SOS 82288410 HAS SOPS 67095707 HAS SOUS 23943745 HAS SOUPS 23322606 WITH SCORE 2.340489441E7
AT ITER 1548 NEW BEST:: SOT 132885595 SOS 82298534 HAS SOPS 67105805 HAS SOUS 23936318 HAS SOUPS 23315263 WITH SCORE 2.3397561534E7
AT ITER 1550 NEW BEST:: SOT 132884470 SOS 82298516 HAS SOPS 67106143 HAS SOUS 23932933 HAS SOUPS 23311878 WITH SCORE 2.3394176516E7
AT ITER 1551 NEW BEST:: SOT 132873646 SOS 82278895 HAS SOPS 67092223 HAS SOUS 23921604 HAS SOUPS 23300702 WITH SCORE 2.3382980895E7
AT ITER 1552 NEW BEST:: SOT 132875693 SOS 82289510 HAS SOPS 67110007 HAS SOUS 23916700 HAS SOUPS 23295798 WITH SCORE 2.337808751E7
AT ITER 1559 NEW BEST:: SOT 132875005 SOS 82287441 HAS SOPS 67107961 HAS SOUS 23915881 HAS SOUPS 23294979 WITH SCORE 2.3377266441E7
AT ITER 1562 NEW BEST:: SOT 132880679 SOS 82294376 HAS SOPS 67110696 HAS SOUS 23913335 HAS SOUPS 23292433 WITH SCORE 2.3374727376E7
AT ITER 1589 NEW BEST:: SOT 132879994 SOS 82291593 HAS SOPS 67107763 HAS SOUS 23911333 HAS SOUPS 23290431 WITH SCORE 2.3372722593E7
AT ITER 1603 NEW BEST:: SOT 132880052 SOS 82292218 HAS SOPS 67108974 HAS SOUS 23906160 HAS SOUPS 23285167 WITH SCORE 2.3367459218E7
AT ITER 1621 NEW BEST:: SOT 132880052 SOS 82292218 HAS SOPS 67108974 HAS SOUS 23906159 HAS SOUPS 23285166 WITH SCORE 2.3367458218E7
AT ITER 1623 NEW BEST:: SOT 132879164 SOS 82313492 HAS SOPS 67140182 HAS SOUS 23891340 HAS SOUPS 23270347 WITH SCORE 2.3352660492E7
AT ITER 1625 NEW BEST:: SOT 132855964 SOS 82287901 HAS SOPS 67107866 HAS SOUS 23836501 HAS SOUPS 23215300 WITH SCORE 2.3297587901E7
AT ITER 1635 NEW BEST:: SOT 132854383 SOS 82285448 HAS SOPS 67096628 HAS SOUS 23829086 HAS SOUPS 23207885 WITH SCORE 2.3290170448E7
AT ITER 1645 NEW BEST:: SOT 132861122 SOS 82296385 HAS SOPS 67107711 HAS SOUS 23819310 HAS SOUPS 23197977 WITH SCORE 2.3280273385E7
AT ITER 1670 NEW BEST:: SOT 132871467 SOS 82314859 HAS SOPS 67118899 HAS SOUS 23791007 HAS SOUPS 23169674 WITH SCORE 2.3251988859E7
AT ITER 1675 NEW BEST:: SOT 132871249 SOS 82314683 HAS SOPS 67118786 HAS SOUS 23790256 HAS SOUPS 23168923 WITH SCORE 2.3251237683E7
AT ITER 1688 NEW BEST:: SOT 132866594 SOS 82305317 HAS SOPS 67112108 HAS SOUS 23789446 HAS SOUPS 23168113 WITH SCORE 2.3250418317E7
AT ITER 1717 NEW BEST:: SOT 132872015 SOS 82328776 HAS SOPS 67126638 HAS SOUS 23786323 HAS SOUPS 23164990 WITH SCORE 2.3247318776E7
AT ITER 1718 NEW BEST:: SOT 132862197 SOS 82318620 HAS SOPS 67116702 HAS SOUS 23773673 HAS SOUPS 23152340 WITH SCORE 2.323465862E7
AT ITER 1720 NEW BEST:: SOT 132864977 SOS 82329425 HAS SOPS 67120774 HAS SOUS 23756380 HAS SOUPS 23135047 WITH SCORE 2.3217376425E7
AT ITER 1735 NEW BEST:: SOT 132871658 SOS 82359940 HAS SOPS 67141051 HAS SOUS 23737689 HAS SOUPS 23116356 WITH SCORE 2.319871594E7
AT ITER 1758 NEW BEST:: SOT 132871749 SOS 82361196 HAS SOPS 67143465 HAS SOUS 23737222 HAS SOUPS 23115889 WITH SCORE 2.3198250196E7
AT ITER 1769 NEW BEST:: SOT 132862627 SOS 82352310 HAS SOPS 67131655 HAS SOUS 23723130 HAS SOUPS 23101718 WITH SCORE 2.318407031E7
AT ITER 1772 NEW BEST:: SOT 132862787 SOS 82352349 HAS SOPS 67133399 HAS SOUS 23723126 HAS SOUPS 23101659 WITH SCORE 2.3184011349E7
AT ITER 1782 NEW BEST:: SOT 132872620 SOS 82382182 HAS SOPS 67149287 HAS SOUS 23696334 HAS SOUPS 23074867 WITH SCORE 2.3157249182E7
AT ITER 1792 NEW BEST:: SOT 132866889 SOS 82369965 HAS SOPS 67138496 HAS SOUS 23696117 HAS SOUPS 23074650 WITH SCORE 2.3157019965E7
AT ITER 1794 NEW BEST:: SOT 132829478 SOS 82296712 HAS SOPS 67057106 HAS SOUS 23662887 HAS SOUPS 23045681 WITH SCORE 2.3127977712E7
AT ITER 1806 NEW BEST:: SOT 132830608 SOS 82299034 HAS SOPS 67058165 HAS SOUS 23661884 HAS SOUPS 23044678 WITH SCORE 2.3126977034E7
AT ITER 1816 NEW BEST:: SOT 132825905 SOS 82295011 HAS SOPS 67050658 HAS SOUS 23659940 HAS SOUPS 23042734 WITH SCORE 2.3125029011E7
AT ITER 1818 NEW BEST:: SOT 132813126 SOS 82281593 HAS SOPS 67043474 HAS SOUS 23614165 HAS SOUPS 23001127 WITH SCORE 2.3083408593E7
AT ITER 1831 NEW BEST:: SOT 132812751 SOS 82291429 HAS SOPS 67049897 HAS SOUS 23583866 HAS SOUPS 22970828 WITH SCORE 2.3053119429E7
AT ITER 1834 NEW BEST:: SOT 132829218 SOS 82282166 HAS SOPS 67028060 HAS SOUS 23582918 HAS SOUPS 22969880 WITH SCORE 2.3052162166E7
AT ITER 1855 NEW BEST:: SOT 132825275 SOS 82275605 HAS SOPS 67018806 HAS SOUS 23576376 HAS SOUPS 22963338 WITH SCORE 2.3045613605E7
AT ITER 1857 NEW BEST:: SOT 132823232 SOS 82273785 HAS SOPS 67016647 HAS SOUS 23571532 HAS SOUPS 22958494 WITH SCORE 2.3040767785E7
AT ITER 1862 NEW BEST:: SOT 132819362 SOS 82265927 HAS SOPS 67011699 HAS SOUS 23570444 HAS SOUPS 22957406 WITH SCORE 2.3039671927E7
AT ITER 1875 NEW BEST:: SOT 132817670 SOS 82263972 HAS SOPS 67009665 HAS SOUS 23563228 HAS SOUPS 22950865 WITH SCORE 2.3033128972E7
AT ITER 1876 NEW BEST:: SOT 132801165 SOS 82249770 HAS SOPS 66985224 HAS SOUS 23537505 HAS SOUPS 22925071 WITH SCORE 2.300732077E7
AT ITER 1878 NEW BEST:: SOT 132801165 SOS 82249906 HAS SOPS 66984204 HAS SOUS 23536893 HAS SOUPS 22924425 WITH SCORE 2.3006674906E7
AT ITER 1882 NEW BEST:: SOT 132802317 SOS 82253286 HAS SOPS 66986336 HAS SOUS 23535015 HAS SOUPS 22922495 WITH SCORE 2.3004748286E7
AT ITER 1892 NEW BEST:: SOT 132806761 SOS 82271506 HAS SOPS 66997096 HAS SOUS 23528392 HAS SOUPS 22915872 WITH SCORE 2.2998143506E7
AT ITER 1906 NEW BEST:: SOT 132804642 SOS 82267321 HAS SOPS 66994136 HAS SOUS 23525211 HAS SOUPS 22913494 WITH SCORE 2.2995761321E7
AT ITER 1908 NEW BEST:: SOT 132803737 SOS 82261767 HAS SOPS 66993155 HAS SOUS 23525023 HAS SOUPS 22913306 WITH SCORE 2.2995567767E7
AT ITER 1911 NEW BEST:: SOT 132801026 SOS 82247268 HAS SOPS 66982355 HAS SOUS 23520165 HAS SOUPS 22908521 WITH SCORE 2.2990768268E7
AT ITER 1923 NEW BEST:: SOT 132791856 SOS 82247568 HAS SOPS 66977420 HAS SOUS 23481243 HAS SOUPS 22869289 WITH SCORE 2.2951536568E7
AT ITER 1924 NEW BEST:: SOT 132790905 SOS 82245891 HAS SOPS 66975809 HAS SOUS 23480058 HAS SOUPS 22868104 WITH SCORE 2.2950349891E7
AT ITER 1933 NEW BEST:: SOT 132815722 SOS 82317344 HAS SOPS 67029797 HAS SOUS 23476305 HAS SOUPS 22864351 WITH SCORE 2.2946668344E7
AT ITER 1948 NEW BEST:: SOT 132815637 SOS 82317187 HAS SOPS 67028173 HAS SOUS 23468863 HAS SOUPS 22857185 WITH SCORE 2.2939502187E7
AT ITER 1965 NEW BEST:: SOT 132810420 SOS 82306531 HAS SOPS 67018452 HAS SOUS 23461237 HAS SOUPS 22849559 WITH SCORE 2.2931865531E7
AT ITER 1977 NEW BEST:: SOT 132829825 SOS 82345502 HAS SOPS 67057205 HAS SOUS 23443537 HAS SOUPS 22831859 WITH SCORE 2.2914204502E7
AT ITER 1982 NEW BEST:: SOT 132826921 SOS 82349839 HAS SOPS 67065278 HAS SOUS 23425966 HAS SOUPS 22814288 WITH SCORE 2.2896637839E7
AT ITER 1986 NEW BEST:: SOT 132824038 SOS 82343510 HAS SOPS 67059976 HAS SOUS 23419091 HAS SOUPS 22807968 WITH SCORE 2.289031151E7
AT ITER 1997 NEW BEST:: SOT 132827976 SOS 82346693 HAS SOPS 67082630 HAS SOUS 23411910 HAS SOUPS 22800787 WITH SCORE 2.2883133693E7
AT ITER 1999 NEW BEST:: SOT 132768992 SOS 82208326 HAS SOPS 67011361 HAS SOUS 23404378 HAS SOUPS 22794603 WITH SCORE 2.2876811326E7
AT ITER 2009 NEW BEST:: SOT 132770476 SOS 82221813 HAS SOPS 67022386 HAS SOUS 23390890 HAS SOUPS 22781115 WITH SCORE 2.2863336813E7
AT ITER 2030 NEW BEST:: SOT 132786121 SOS 82264286 HAS SOPS 67057341 HAS SOUS 23389876 HAS SOUPS 22780101 WITH SCORE 2.2862365286E7
AT ITER 2045 NEW BEST:: SOT 132801969 SOS 82286323 HAS SOPS 67099881 HAS SOUS 23378801 HAS SOUPS 22769068 WITH SCORE 2.2851354323E7
AT ITER 2047 NEW BEST:: SOT 132805270 SOS 82293910 HAS SOPS 67119405 HAS SOUS 23375434 HAS SOUPS 22765701 WITH SCORE 2.284799491E7
AT ITER 2056 NEW BEST:: SOT 132804672 SOS 82291702 HAS SOPS 67117959 HAS SOUS 23374053 HAS SOUPS 22764320 WITH SCORE 2.2846611702E7
AT ITER 2059 NEW BEST:: SOT 132794742 SOS 82281772 HAS SOPS 67107133 HAS SOUS 23360411 HAS SOUPS 22750678 WITH SCORE 2.2832959772E7
AT ITER 2061 NEW BEST:: SOT 132791305 SOS 82290604 HAS SOPS 67113976 HAS SOUS 23328079 HAS SOUPS 22718260 WITH SCORE 2.2800550604E7
AT ITER 2063 NEW BEST:: SOT 132754711 SOS 82240069 HAS SOPS 67105200 HAS SOUS 23313632 HAS SOUPS 22704250 WITH SCORE 2.2786490069E7
AT ITER 2079 NEW BEST:: SOT 132747300 SOS 82231049 HAS SOPS 67092046 HAS SOUS 23291087 HAS SOUPS 22681705 WITH SCORE 2.2763936049E7
AT ITER 2081 NEW BEST:: SOT 132726000 SOS 82203128 HAS SOPS 67064347 HAS SOUS 23230517 HAS SOUPS 22623772 WITH SCORE 2.2705975128E7
AT ITER 2089 NEW BEST:: SOT 132711228 SOS 82161032 HAS SOPS 67036971 HAS SOUS 23223306 HAS SOUPS 22616561 WITH SCORE 2.2698722032E7
AT ITER 2093 NEW BEST:: SOT 132693711 SOS 82143015 HAS SOPS 67018954 HAS SOUS 23201530 HAS SOUPS 22594785 WITH SCORE 2.2676928015E7
AT ITER 2104 NEW BEST:: SOT 132690302 SOS 82131596 HAS SOPS 67007820 HAS SOUS 23199429 HAS SOUPS 22592684 WITH SCORE 2.2674815596E7
AT ITER 2118 NEW BEST:: SOT 132705987 SOS 82170523 HAS SOPS 67041116 HAS SOUS 23190876 HAS SOUPS 22584131 WITH SCORE 2.2666301523E7
AT ITER 2124 NEW BEST:: SOT 132724747 SOS 82216776 HAS SOPS 67078354 HAS SOUS 23187066 HAS SOUPS 22580321 WITH SCORE 2.2662537776E7
AT ITER 2133 NEW BEST:: SOT 132716528 SOS 82205426 HAS SOPS 67071838 HAS SOUS 23177385 HAS SOUPS 22570640 WITH SCORE 2.2652845426E7
AT ITER 2139 NEW BEST:: SOT 132716856 SOS 82210962 HAS SOPS 67077025 HAS SOUS 23176850 HAS SOUPS 22570105 WITH SCORE 2.2652315962E7
AT ITER 2169 NEW BEST:: SOT 132706168 SOS 82200380 HAS SOPS 67060859 HAS SOUS 23142982 HAS SOUPS 22536015 WITH SCORE 2.261821538E7
AT ITER 2197 NEW BEST:: SOT 132709150 SOS 82209364 HAS SOPS 67061211 HAS SOUS 23136098 HAS SOUPS 22529131 WITH SCORE 2.2611340364E7
AT ITER 2198 NEW BEST:: SOT 132700692 SOS 82173177 HAS SOPS 67043425 HAS SOUS 23134775 HAS SOUPS 22528254 WITH SCORE 2.2610427177E7
AT ITER 2212 NEW BEST:: SOT 132651692 SOS 82097990 HAS SOPS 66981333 HAS SOUS 23080098 HAS SOUPS 22473849 WITH SCORE 2.255594699E7
AT ITER 2236 NEW BEST:: SOT 132644629 SOS 82084827 HAS SOPS 66960579 HAS SOUS 23053354 HAS SOUPS 22447105 WITH SCORE 2.2529189827E7
AT ITER 2271 NEW BEST:: SOT 132644554 SOS 82084754 HAS SOPS 66960506 HAS SOUS 23053190 HAS SOUPS 22446941 WITH SCORE 2.2529025754E7
AT ITER 2273 NEW BEST:: SOT 132641523 SOS 82076515 HAS SOPS 66952812 HAS SOUS 23051136 HAS SOUPS 22444887 WITH SCORE 2.2526963515E7
AT ITER 2292 NEW BEST:: SOT 132671637 SOS 82132041 HAS SOPS 67001570 HAS SOUS 23048305 HAS SOUPS 22442056 WITH SCORE 2.2524188041E7
AT ITER 2297 NEW BEST:: SOT 132670071 SOS 82130893 HAS SOPS 67000004 HAS SOUS 23046156 HAS SOUPS 22439888 WITH SCORE 2.2522018893E7

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-7"
export BK_EXAMINATION="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-7, 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-158961502400123"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-7.tgz
mv RERS17pb114-PT-7 execution
cd execution
if [ "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 ;