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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.8K Apr 12 07:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 11 08:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 11 08:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K 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.4K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 20:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 20:56 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: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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589741117528

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 9
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 4 NEW BEST:: SOT 133642210 SOS 82196072 HAS SOPS 66768428 HAS SOUS 26425426 HAS SOUPS 25794735 WITH SCORE 2.5876931072E7
AT ITER 13 NEW BEST:: SOT 133599665 SOS 82112054 HAS SOPS 66721711 HAS SOUS 26414892 HAS SOUPS 25785961 WITH SCORE 2.5868073054E7
AT ITER 20 NEW BEST:: SOT 133574909 SOS 82083253 HAS SOPS 66701519 HAS SOUS 26369263 HAS SOUPS 25741254 WITH SCORE 2.5823337253E7
AT ITER 27 NEW BEST:: SOT 133510162 SOS 81989866 HAS SOPS 66615490 HAS SOUS 26288171 HAS SOUPS 25660394 WITH SCORE 2.5742383866E7
AT ITER 28 NEW BEST:: SOT 133515680 SOS 81997752 HAS SOPS 66607740 HAS SOUS 26276055 HAS SOUPS 25648334 WITH SCORE 2.5730331752E7
AT ITER 29 NEW BEST:: SOT 133515636 SOS 81997616 HAS SOPS 66607714 HAS SOUS 26275979 HAS SOUPS 25648258 WITH SCORE 2.5730255616E7
AT ITER 37 NEW BEST:: SOT 133523389 SOS 82017600 HAS SOPS 66623102 HAS SOUS 26275772 HAS SOUPS 25648051 WITH SCORE 2.57300686E7
AT ITER 46 NEW BEST:: SOT 133540478 SOS 82067395 HAS SOPS 66655696 HAS SOUS 26269641 HAS SOUPS 25641606 WITH SCORE 2.5723673395E7
AT ITER 82 NEW BEST:: SOT 133524788 SOS 82034956 HAS SOPS 66636753 HAS SOUS 26256918 HAS SOUPS 25630735 WITH SCORE 2.5712769956E7
AT ITER 93 NEW BEST:: SOT 133552826 SOS 82112778 HAS SOPS 66778249 HAS SOUS 26251658 HAS SOUPS 25626091 WITH SCORE 2.5708203778E7
AT ITER 94 NEW BEST:: SOT 133481387 SOS 81927390 HAS SOPS 66670766 HAS SOUS 26234679 HAS SOUPS 25609808 WITH SCORE 2.569173539E7
AT ITER 132 NEW BEST:: SOT 133477257 SOS 81923265 HAS SOPS 66666687 HAS SOUS 26231909 HAS SOUPS 25607117 WITH SCORE 2.5689040265E7
AT ITER 155 NEW BEST:: SOT 133476791 SOS 81924040 HAS SOPS 66666609 HAS SOUS 26220449 HAS SOUPS 25595657 WITH SCORE 2.567758104E7
AT ITER 178 NEW BEST:: SOT 133468048 SOS 81907395 HAS SOPS 66649646 HAS SOUS 26218372 HAS SOUPS 25593580 WITH SCORE 2.5675487395E7
AT ITER 195 NEW BEST:: SOT 133489502 SOS 81976460 HAS SOPS 66746097 HAS SOUS 26187479 HAS SOUPS 25564528 WITH SCORE 2.564650446E7
AT ITER 196 NEW BEST:: SOT 133488492 SOS 81980673 HAS SOPS 66755766 HAS SOUS 26182656 HAS SOUPS 25559705 WITH SCORE 2.5641685673E7
AT ITER 213 NEW BEST:: SOT 133349777 SOS 81811896 HAS SOPS 66591159 HAS SOUS 25970041 HAS SOUPS 25347344 WITH SCORE 2.5429155896E7
AT ITER 214 NEW BEST:: SOT 133362331 SOS 81824623 HAS SOPS 66600878 HAS SOUS 25969586 HAS SOUPS 25346889 WITH SCORE 2.5428713623E7
AT ITER 221 NEW BEST:: SOT 133382810 SOS 81864842 HAS SOPS 66664818 HAS SOUS 25949309 HAS SOUPS 25326604 WITH SCORE 2.5408468842E7
AT ITER 223 NEW BEST:: SOT 133376305 SOS 81876764 HAS SOPS 66682862 HAS SOUS 25914742 HAS SOUPS 25292037 WITH SCORE 2.5373913764E7
AT ITER 231 NEW BEST:: SOT 133376305 SOS 81879148 HAS SOPS 66694906 HAS SOUS 25914532 HAS SOUPS 25291827 WITH SCORE 2.5373706148E7
AT ITER 243 NEW BEST:: SOT 133380021 SOS 81896380 HAS SOPS 66706954 HAS SOUS 25912422 HAS SOUPS 25289717 WITH SCORE 2.537161338E7
AT ITER 247 NEW BEST:: SOT 133378035 SOS 81901037 HAS SOPS 66714985 HAS SOUS 25892265 HAS SOUPS 25269560 WITH SCORE 2.5351461037E7
AT ITER 266 NEW BEST:: SOT 133372467 SOS 81893141 HAS SOPS 66707758 HAS SOUS 25884795 HAS SOUPS 25262121 WITH SCORE 2.5344014141E7
AT ITER 269 NEW BEST:: SOT 133372475 SOS 81892949 HAS SOPS 66707414 HAS SOUS 25884288 HAS SOUPS 25261622 WITH SCORE 2.5343514949E7
AT ITER 271 NEW BEST:: SOT 133373931 SOS 81899622 HAS SOPS 66712617 HAS SOUS 25873298 HAS SOUPS 25250557 WITH SCORE 2.5332456622E7
AT ITER 281 NEW BEST:: SOT 133349317 SOS 81875156 HAS SOPS 66686987 HAS SOUS 25835238 HAS SOUPS 25212424 WITH SCORE 2.5294299156E7
AT ITER 304 NEW BEST:: SOT 133348877 SOS 81874100 HAS SOPS 66685700 HAS SOUS 25834786 HAS SOUPS 25211972 WITH SCORE 2.52938461E7
AT ITER 314 NEW BEST:: SOT 133349238 SOS 81876784 HAS SOPS 66689440 HAS SOUS 25834523 HAS SOUPS 25211709 WITH SCORE 2.5293585784E7
AT ITER 329 NEW BEST:: SOT 133347010 SOS 81875146 HAS SOPS 66681640 HAS SOUS 25818759 HAS SOUPS 25195945 WITH SCORE 2.5277820146E7
AT ITER 346 NEW BEST:: SOT 133332640 SOS 81821193 HAS SOPS 66651885 HAS SOUS 25818155 HAS SOUPS 25195341 WITH SCORE 2.5277162193E7
AT ITER 353 NEW BEST:: SOT 133328798 SOS 81816793 HAS SOPS 66646441 HAS SOUS 25810479 HAS SOUPS 25187683 WITH SCORE 2.5269499793E7
AT ITER 356 NEW BEST:: SOT 133328025 SOS 81814759 HAS SOPS 66644558 HAS SOUS 25809430 HAS SOUPS 25186634 WITH SCORE 2.5268448759E7
AT ITER 360 NEW BEST:: SOT 133328316 SOS 81817545 HAS SOPS 66651402 HAS SOUS 25809005 HAS SOUPS 25186209 WITH SCORE 2.5268026545E7
AT ITER 374 NEW BEST:: SOT 133336846 SOS 81842527 HAS SOPS 66670281 HAS SOUS 25807066 HAS SOUPS 25184270 WITH SCORE 2.5266112527E7
AT ITER 383 NEW BEST:: SOT 133337530 SOS 81842229 HAS SOPS 66669091 HAS SOUS 25802085 HAS SOUPS 25179289 WITH SCORE 2.5261131229E7
AT ITER 386 NEW BEST:: SOT 133325836 SOS 81827765 HAS SOPS 66652756 HAS SOUS 25798286 HAS SOUPS 25174236 WITH SCORE 2.5256063765E7
AT ITER 389 NEW BEST:: SOT 133324345 SOS 81831833 HAS SOPS 66656059 HAS SOUS 25788628 HAS SOUPS 25164578 WITH SCORE 2.5246409833E7
AT ITER 410 NEW BEST:: SOT 133320956 SOS 81801671 HAS SOPS 66682269 HAS SOUS 25775949 HAS SOUPS 25151960 WITH SCORE 2.5233761671E7
AT ITER 415 NEW BEST:: SOT 133368739 SOS 81844638 HAS SOPS 66716943 HAS SOUS 25762881 HAS SOUPS 25138748 WITH SCORE 2.5220592638E7
AT ITER 420 NEW BEST:: SOT 133374735 SOS 81873932 HAS SOPS 66742769 HAS SOUS 25754473 HAS SOUPS 25130340 WITH SCORE 2.5212213932E7
AT ITER 435 NEW BEST:: SOT 133365344 SOS 81863977 HAS SOPS 66730792 HAS SOUS 25731750 HAS SOUPS 25107689 WITH SCORE 2.5189552977E7
AT ITER 438 NEW BEST:: SOT 133361918 SOS 81856546 HAS SOPS 66726721 HAS SOUS 25730629 HAS SOUPS 25106481 WITH SCORE 2.5188337546E7
AT ITER 444 NEW BEST:: SOT 133351212 SOS 81835768 HAS SOPS 66715741 HAS SOUS 25723485 HAS SOUPS 25099337 WITH SCORE 2.5181172768E7
AT ITER 462 NEW BEST:: SOT 133351109 SOS 81835608 HAS SOPS 66715551 HAS SOUS 25722492 HAS SOUPS 25098359 WITH SCORE 2.5180194608E7
AT ITER 463 NEW BEST:: SOT 133266429 SOS 81746378 HAS SOPS 66626783 HAS SOUS 25621949 HAS SOUPS 24997980 WITH SCORE 2.5079726378E7
AT ITER 473 NEW BEST:: SOT 133266261 SOS 81746207 HAS SOPS 66626618 HAS SOUS 25621586 HAS SOUPS 24997617 WITH SCORE 2.5079363207E7
AT ITER 505 NEW BEST:: SOT 133280976 SOS 81782634 HAS SOPS 66655088 HAS SOUS 25608105 HAS SOUPS 24984136 WITH SCORE 2.5065918634E7
AT ITER 514 NEW BEST:: SOT 133283508 SOS 81795329 HAS SOPS 66664922 HAS SOUS 25606618 HAS SOUPS 24982649 WITH SCORE 2.5064444329E7
AT ITER 520 NEW BEST:: SOT 133229513 SOS 81741267 HAS SOPS 66609726 HAS SOUS 25532314 HAS SOUPS 24908378 WITH SCORE 2.4990119267E7
AT ITER 524 NEW BEST:: SOT 133230819 SOS 81742080 HAS SOPS 66609579 HAS SOUS 25528579 HAS SOUPS 24904867 WITH SCORE 2.498660908E7
AT ITER 525 NEW BEST:: SOT 133234240 SOS 81754511 HAS SOPS 66619330 HAS SOUS 25527690 HAS SOUPS 24903978 WITH SCORE 2.4985732511E7
AT ITER 533 NEW BEST:: SOT 133235999 SOS 81761824 HAS SOPS 66625876 HAS SOUS 25527242 HAS SOUPS 24903530 WITH SCORE 2.4985291824E7
AT ITER 546 NEW BEST:: SOT 133252910 SOS 81802216 HAS SOPS 66643960 HAS SOUS 25513434 HAS SOUPS 24889722 WITH SCORE 2.4971524216E7
AT ITER 552 NEW BEST:: SOT 133241587 SOS 81773596 HAS SOPS 66628270 HAS SOUS 25509011 HAS SOUPS 24885299 WITH SCORE 2.4967072596E7
AT ITER 554 NEW BEST:: SOT 133201122 SOS 81730031 HAS SOPS 66591558 HAS SOUS 25436815 HAS SOUPS 24813421 WITH SCORE 2.4895151031E7
AT ITER 559 NEW BEST:: SOT 133202816 SOS 81735367 HAS SOPS 66597770 HAS SOUS 25424222 HAS SOUPS 24800828 WITH SCORE 2.4882563367E7
AT ITER 562 NEW BEST:: SOT 133178733 SOS 81700486 HAS SOPS 66571308 HAS SOUS 25418539 HAS SOUPS 24795145 WITH SCORE 2.4876845486E7
AT ITER 593 NEW BEST:: SOT 133192814 SOS 81757433 HAS SOPS 66626026 HAS SOUS 25418319 HAS SOUPS 24794925 WITH SCORE 2.4876682433E7
AT ITER 594 NEW BEST:: SOT 133209546 SOS 81810170 HAS SOPS 66663130 HAS SOUS 25411536 HAS SOUPS 24788142 WITH SCORE 2.486995217E7
AT ITER 601 NEW BEST:: SOT 133203282 SOS 81802598 HAS SOPS 66652682 HAS SOUS 25393076 HAS SOUPS 24769682 WITH SCORE 2.4851484598E7
AT ITER 603 NEW BEST:: SOT 133215325 SOS 81845164 HAS SOPS 66704990 HAS SOUS 25374910 HAS SOUPS 24751516 WITH SCORE 2.4833361164E7
AT ITER 605 NEW BEST:: SOT 133216146 SOS 81850127 HAS SOPS 66707253 HAS SOUS 25373334 HAS SOUPS 24749940 WITH SCORE 2.4831790127E7
AT ITER 608 NEW BEST:: SOT 133285938 SOS 81986148 HAS SOPS 66845466 HAS SOUS 25357300 HAS SOUPS 24733838 WITH SCORE 2.4815824148E7
AT ITER 613 NEW BEST:: SOT 133288525 SOS 81997153 HAS SOPS 66855417 HAS SOUS 25352157 HAS SOUPS 24728695 WITH SCORE 2.4810692153E7
AT ITER 615 NEW BEST:: SOT 133288095 SOS 81993023 HAS SOPS 66872739 HAS SOUS 25343288 HAS SOUPS 24719967 WITH SCORE 2.4801960023E7
AT ITER 625 NEW BEST:: SOT 133283071 SOS 81987999 HAS SOPS 66867275 HAS SOUS 25339400 HAS SOUPS 24715887 WITH SCORE 2.4797874999E7
AT ITER 628 NEW BEST:: SOT 133276434 SOS 81976466 HAS SOPS 66857630 HAS SOUS 25328734 HAS SOUPS 24705221 WITH SCORE 2.4787197466E7
AT ITER 642 NEW BEST:: SOT 133291458 SOS 82019543 HAS SOPS 66886231 HAS SOUS 25315336 HAS SOUPS 24691823 WITH SCORE 2.4773842543E7
AT ITER 645 NEW BEST:: SOT 133318575 SOS 82098943 HAS SOPS 66953091 HAS SOUS 25308304 HAS SOUPS 24684791 WITH SCORE 2.4766889943E7
AT ITER 658 NEW BEST:: SOT 133318507 SOS 82098926 HAS SOPS 66952996 HAS SOUS 25308071 HAS SOUPS 24684558 WITH SCORE 2.4766656926E7
AT ITER 667 NEW BEST:: SOT 133325970 SOS 82136365 HAS SOPS 66974083 HAS SOUS 25298257 HAS SOUPS 24674744 WITH SCORE 2.4756880365E7
AT ITER 671 NEW BEST:: SOT 133313447 SOS 82120031 HAS SOPS 66958733 HAS SOUS 25275847 HAS SOUPS 24652445 WITH SCORE 2.4734565031E7
AT ITER 687 NEW BEST:: SOT 133320165 SOS 82135488 HAS SOPS 66976952 HAS SOUS 25273099 HAS SOUPS 24649697 WITH SCORE 2.4731832488E7
AT ITER 701 NEW BEST:: SOT 133322615 SOS 82143291 HAS SOPS 66984768 HAS SOUS 25270932 HAS SOUPS 24647530 WITH SCORE 2.4729673291E7
AT ITER 706 NEW BEST:: SOT 133310132 SOS 82096435 HAS SOPS 66930389 HAS SOUS 25268172 HAS SOUPS 24644770 WITH SCORE 2.4726866435E7
AT ITER 717 NEW BEST:: SOT 133315135 SOS 82113331 HAS SOPS 66945616 HAS SOUS 25265107 HAS SOUPS 24641705 WITH SCORE 2.4723818331E7
AT ITER 722 NEW BEST:: SOT 133313624 SOS 82109762 HAS SOPS 66945976 HAS SOUS 25255767 HAS SOUPS 24632365 WITH SCORE 2.4714474762E7
AT ITER 723 NEW BEST:: SOT 133320865 SOS 82135946 HAS SOPS 66972067 HAS SOUS 25244579 HAS SOUPS 24621177 WITH SCORE 2.4703312946E7
AT ITER 733 NEW BEST:: SOT 133286782 SOS 82064435 HAS SOPS 66922682 HAS SOUS 25230707 HAS SOUPS 24607305 WITH SCORE 2.4689369435E7
AT ITER 737 NEW BEST:: SOT 133285672 SOS 82068857 HAS SOPS 66927853 HAS SOUS 25226507 HAS SOUPS 24603105 WITH SCORE 2.4685173857E7
AT ITER 745 NEW BEST:: SOT 133275534 SOS 82036408 HAS SOPS 66892586 HAS SOUS 25219698 HAS SOUPS 24596296 WITH SCORE 2.4678332408E7
AT ITER 751 NEW BEST:: SOT 133275504 SOS 82036433 HAS SOPS 66892558 HAS SOUS 25219608 HAS SOUPS 24596207 WITH SCORE 2.4678243433E7
AT ITER 766 NEW BEST:: SOT 133280885 SOS 82045172 HAS SOPS 66899676 HAS SOUS 25218463 HAS SOUPS 24595502 WITH SCORE 2.4677547172E7
AT ITER 795 NEW BEST:: SOT 133277765 SOS 82042730 HAS SOPS 66894918 HAS SOUS 25209006 HAS SOUPS 24586045 WITH SCORE 2.466808773E7
AT ITER 798 NEW BEST:: SOT 133275737 SOS 82038989 HAS SOPS 66893618 HAS SOUS 25204001 HAS SOUPS 24581100 WITH SCORE 2.4663138989E7
AT ITER 838 NEW BEST:: SOT 133269968 SOS 82030920 HAS SOPS 66886205 HAS SOUS 25192881 HAS SOUPS 24570056 WITH SCORE 2.465208692E7
AT ITER 844 NEW BEST:: SOT 133265764 SOS 82024340 HAS SOPS 66880123 HAS SOUS 25188456 HAS SOUPS 24565631 WITH SCORE 2.464765534E7
AT ITER 851 NEW BEST:: SOT 133267153 SOS 82026029 HAS SOPS 66891100 HAS SOUS 25181192 HAS SOUPS 24558367 WITH SCORE 2.4640393029E7
AT ITER 860 NEW BEST:: SOT 133268348 SOS 82030140 HAS SOPS 66895714 HAS SOUS 25180465 HAS SOUPS 24557640 WITH SCORE 2.463967014E7
AT ITER 874 NEW BEST:: SOT 133268005 SOS 82028262 HAS SOPS 66905995 HAS SOUS 25166882 HAS SOUPS 24544057 WITH SCORE 2.4626085262E7
AT ITER 892 NEW BEST:: SOT 133270527 SOS 82032391 HAS SOPS 66912180 HAS SOUS 25163811 HAS SOUPS 24540986 WITH SCORE 2.4623018391E7
AT ITER 907 NEW BEST:: SOT 133261299 SOS 82002419 HAS SOPS 66886963 HAS SOUS 25162734 HAS SOUPS 24539909 WITH SCORE 2.4621911419E7
AT ITER 927 NEW BEST:: SOT 133254283 SOS 81991451 HAS SOPS 66877817 HAS SOUS 25152109 HAS SOUPS 24529284 WITH SCORE 2.4611275451E7
AT ITER 935 NEW BEST:: SOT 133245020 SOS 81982130 HAS SOPS 66867701 HAS SOUS 25142485 HAS SOUPS 24519588 WITH SCORE 2.460157013E7
AT ITER 949 NEW BEST:: SOT 133241828 SOS 81986179 HAS SOPS 66889481 HAS SOUS 25133836 HAS SOUPS 24510939 WITH SCORE 2.4592925179E7
AT ITER 950 NEW BEST:: SOT 133242185 SOS 81988081 HAS SOPS 66888864 HAS SOUS 25130115 HAS SOUPS 24507218 WITH SCORE 2.4589206081E7
AT ITER 955 NEW BEST:: SOT 133247549 SOS 82013089 HAS SOPS 66913486 HAS SOUS 25129217 HAS SOUPS 24506320 WITH SCORE 2.4588333089E7
AT ITER 964 NEW BEST:: SOT 133235786 SOS 81991551 HAS SOPS 66890915 HAS SOUS 25112122 HAS SOUPS 24489225 WITH SCORE 2.4571216551E7
AT ITER 967 NEW BEST:: SOT 133231695 SOS 81973589 HAS SOPS 66877179 HAS SOUS 25105141 HAS SOUPS 24482244 WITH SCORE 2.4564217589E7
AT ITER 1003 NEW BEST:: SOT 133228916 SOS 81978228 HAS SOPS 66881093 HAS SOUS 25071921 HAS SOUPS 24449024 WITH SCORE 2.4531002228E7
AT ITER 1013 NEW BEST:: SOT 133226144 SOS 81974231 HAS SOPS 66871334 HAS SOUS 25065167 HAS SOUPS 24442270 WITH SCORE 2.4524244231E7
AT ITER 1031 NEW BEST:: SOT 133215975 SOS 81967082 HAS SOPS 66868717 HAS SOUS 25057209 HAS SOUPS 24434610 WITH SCORE 2.4516577082E7
AT ITER 1033 NEW BEST:: SOT 133213980 SOS 81960439 HAS SOPS 66866208 HAS SOUS 25049277 HAS SOUPS 24426678 WITH SCORE 2.4508638439E7
AT ITER 1040 NEW BEST:: SOT 133207858 SOS 81954317 HAS SOPS 66860022 HAS SOUS 25047027 HAS SOUPS 24424396 WITH SCORE 2.4506350317E7
AT ITER 1051 NEW BEST:: SOT 133196574 SOS 81923971 HAS SOPS 66839473 HAS SOUS 25042482 HAS SOUPS 24419851 WITH SCORE 2.4501774971E7
AT ITER 1054 NEW BEST:: SOT 133193379 SOS 81918384 HAS SOPS 66837406 HAS SOUS 25032996 HAS SOUPS 24410496 WITH SCORE 2.4492414384E7
AT ITER 1076 NEW BEST:: SOT 133198940 SOS 81932344 HAS SOPS 66858585 HAS SOUS 25023250 HAS SOUPS 24400750 WITH SCORE 2.4482682344E7
AT ITER 1078 NEW BEST:: SOT 133154082 SOS 81839802 HAS SOPS 66790845 HAS SOUS 24995598 HAS SOUPS 24374885 WITH SCORE 2.4456724802E7
AT ITER 1088 NEW BEST:: SOT 133151944 SOS 81837338 HAS SOPS 66783676 HAS SOUS 24989882 HAS SOUPS 24369230 WITH SCORE 2.4451067338E7
AT ITER 1093 NEW BEST:: SOT 133152298 SOS 81837297 HAS SOPS 66776641 HAS SOUS 24988304 HAS SOUPS 24366321 WITH SCORE 2.4448158297E7
AT ITER 1095 NEW BEST:: SOT 133150392 SOS 81834834 HAS SOPS 66772999 HAS SOUS 24981697 HAS SOUPS 24359714 WITH SCORE 2.4441548834E7
AT ITER 1115 NEW BEST:: SOT 133150128 SOS 81834570 HAS SOPS 66772703 HAS SOUS 24981369 HAS SOUPS 24359386 WITH SCORE 2.444122057E7
AT ITER 1116 NEW BEST:: SOT 133151035 SOS 81835611 HAS SOPS 66772979 HAS SOUS 24981227 HAS SOUPS 24359244 WITH SCORE 2.4441079611E7
AT ITER 1127 NEW BEST:: SOT 133174243 SOS 81911885 HAS SOPS 66840394 HAS SOUS 24980345 HAS SOUPS 24358362 WITH SCORE 2.4440273885E7
AT ITER 1130 NEW BEST:: SOT 133213280 SOS 81928493 HAS SOPS 66862313 HAS SOUS 24974356 HAS SOUPS 24351418 WITH SCORE 2.4433346493E7
AT ITER 1136 NEW BEST:: SOT 133213254 SOS 81928521 HAS SOPS 66862297 HAS SOUS 24974272 HAS SOUPS 24351334 WITH SCORE 2.4433262521E7
AT ITER 1140 NEW BEST:: SOT 133213254 SOS 81928479 HAS SOPS 66862255 HAS SOUS 24972835 HAS SOUPS 24349897 WITH SCORE 2.4431825479E7
AT ITER 1142 NEW BEST:: SOT 133213578 SOS 81927601 HAS SOPS 66861827 HAS SOUS 24969466 HAS SOUPS 24346528 WITH SCORE 2.4428455601E7
AT ITER 1146 NEW BEST:: SOT 133214920 SOS 81923197 HAS SOPS 66860678 HAS SOUS 24961716 HAS SOUPS 24338778 WITH SCORE 2.4420701197E7
AT ITER 1149 NEW BEST:: SOT 133212610 SOS 81919422 HAS SOPS 66857906 HAS SOUS 24960496 HAS SOUPS 24337568 WITH SCORE 2.4419487422E7
AT ITER 1157 NEW BEST:: SOT 133209891 SOS 81919878 HAS SOPS 66856961 HAS SOUS 24954797 HAS SOUPS 24331869 WITH SCORE 2.4413788878E7
AT ITER 1175 NEW BEST:: SOT 133215414 SOS 81928858 HAS SOPS 66865867 HAS SOUS 24951987 HAS SOUPS 24329267 WITH SCORE 2.4411195858E7
AT ITER 1180 NEW BEST:: SOT 133188813 SOS 81847026 HAS SOPS 66807454 HAS SOUS 24947337 HAS SOUPS 24324815 WITH SCORE 2.4406662026E7
AT ITER 1191 NEW BEST:: SOT 133189490 SOS 81857257 HAS SOPS 66817881 HAS SOUS 24941005 HAS SOUPS 24318483 WITH SCORE 2.4400340257E7
AT ITER 1197 NEW BEST:: SOT 133186708 SOS 81856272 HAS SOPS 66808063 HAS SOUS 24927217 HAS SOUPS 24304695 WITH SCORE 2.4386551272E7
AT ITER 1199 NEW BEST:: SOT 133164519 SOS 81835216 HAS SOPS 66785733 HAS SOUS 24904095 HAS SOUPS 24281401 WITH SCORE 2.4363236216E7
AT ITER 1201 NEW BEST:: SOT 133162801 SOS 81832645 HAS SOPS 66781768 HAS SOUS 24901596 HAS SOUPS 24278902 WITH SCORE 2.4360734645E7
AT ITER 1214 NEW BEST:: SOT 133188108 SOS 81874619 HAS SOPS 66829347 HAS SOUS 24897834 HAS SOUPS 24275140 WITH SCORE 2.4357014619E7
AT ITER 1232 NEW BEST:: SOT 133187308 SOS 81873921 HAS SOPS 66825129 HAS SOUS 24901896 HAS SOUPS 24273062 WITH SCORE 2.4354935921E7
AT ITER 1234 NEW BEST:: SOT 133075171 SOS 81757952 HAS SOPS 66708564 HAS SOUS 24742637 HAS SOUPS 24113739 WITH SCORE 2.4195496952E7
AT ITER 1264 NEW BEST:: SOT 133076569 SOS 81773166 HAS SOPS 66733274 HAS SOUS 24736021 HAS SOUPS 24107123 WITH SCORE 2.4188896166E7
AT ITER 1268 NEW BEST:: SOT 133075247 SOS 81774202 HAS SOPS 66737427 HAS SOUS 24730984 HAS SOUPS 24102086 WITH SCORE 2.4183860202E7
AT ITER 1278 NEW BEST:: SOT 133026108 SOS 81702881 HAS SOPS 66670512 HAS SOUS 24668946 HAS SOUPS 24040504 WITH SCORE 2.4122206881E7
AT ITER 1287 NEW BEST:: SOT 132970489 SOS 81620033 HAS SOPS 66594381 HAS SOUS 24618555 HAS SOUPS 23990113 WITH SCORE 2.4071733033E7
AT ITER 1312 NEW BEST:: SOT 132975033 SOS 81633030 HAS SOPS 66604307 HAS SOUS 24617503 HAS SOUPS 23989061 WITH SCORE 2.407069403E7
AT ITER 1337 NEW BEST:: SOT 132978440 SOS 81637478 HAS SOPS 66605685 HAS SOUS 24608216 HAS SOUPS 23979774 WITH SCORE 2.4061411478E7
AT ITER 1348 NEW BEST:: SOT 132979535 SOS 81640013 HAS SOPS 66607942 HAS SOUS 24607672 HAS SOUPS 23979217 WITH SCORE 2.4060857013E7
AT ITER 1349 NEW BEST:: SOT 133024062 SOS 81775782 HAS SOPS 66726862 HAS SOUS 24604800 HAS SOUPS 23976345 WITH SCORE 2.4058120782E7
AT ITER 1355 NEW BEST:: SOT 133024652 SOS 81779333 HAS SOPS 66728270 HAS SOUS 24598450 HAS SOUPS 23969995 WITH SCORE 2.4051774333E7
AT ITER 1357 NEW BEST:: SOT 133018651 SOS 81765292 HAS SOPS 66720033 HAS SOUS 24593798 HAS SOUPS 23965838 WITH SCORE 2.4047603292E7
AT ITER 1373 NEW BEST:: SOT 132996699 SOS 81739874 HAS SOPS 66702985 HAS SOUS 24577002 HAS SOUPS 23949042 WITH SCORE 2.4030781874E7
AT ITER 1395 NEW BEST:: SOT 132994145 SOS 81738919 HAS SOPS 66701309 HAS SOUS 24570799 HAS SOUPS 23942839 WITH SCORE 2.4024577919E7
AT ITER 1401 NEW BEST:: SOT 132996127 SOS 81741504 HAS SOPS 66704462 HAS SOUS 24569370 HAS SOUPS 23941410 WITH SCORE 2.4023151504E7
AT ITER 1406 NEW BEST:: SOT 132998754 SOS 81744508 HAS SOPS 66705924 HAS SOUS 24564543 HAS SOUPS 23936445 WITH SCORE 2.4018189508E7
AT ITER 1408 NEW BEST:: SOT 133023627 SOS 81794990 HAS SOPS 66793391 HAS SOUS 24560639 HAS SOUPS 23933922 WITH SCORE 2.401571699E7
AT ITER 1410 NEW BEST:: SOT 133020935 SOS 81788644 HAS SOPS 66791086 HAS SOUS 24531513 HAS SOUPS 23907984 WITH SCORE 2.3989772644E7
AT ITER 1461 NEW BEST:: SOT 133019027 SOS 81788480 HAS SOPS 66792906 HAS SOUS 24526254 HAS SOUPS 23902725 WITH SCORE 2.398451348E7
AT ITER 1483 NEW BEST:: SOT 133018833 SOS 81788209 HAS SOPS 66792598 HAS SOUS 24525959 HAS SOUPS 23902430 WITH SCORE 2.3984218209E7
AT ITER 1522 NEW BEST:: SOT 133015960 SOS 81785336 HAS SOPS 66789965 HAS SOUS 24521858 HAS SOUPS 23898849 WITH SCORE 2.3980634336E7
AT ITER 1526 NEW BEST:: SOT 133018689 SOS 81800654 HAS SOPS 66808396 HAS SOUS 24521623 HAS SOUPS 23898614 WITH SCORE 2.3980414654E7
AT ITER 1532 NEW BEST:: SOT 133020759 SOS 81807779 HAS SOPS 66814174 HAS SOUS 24521165 HAS SOUPS 23898156 WITH SCORE 2.3979963779E7
AT ITER 1545 NEW BEST:: SOT 133019325 SOS 81805105 HAS SOPS 66809951 HAS SOUS 24518057 HAS SOUPS 23895048 WITH SCORE 2.3976853105E7
AT ITER 1554 NEW BEST:: SOT 133020131 SOS 81805449 HAS SOPS 66811625 HAS SOUS 24510974 HAS SOUPS 23887965 WITH SCORE 2.3969770449E7
AT ITER 1575 NEW BEST:: SOT 133013183 SOS 81801043 HAS SOPS 66806737 HAS SOUS 24499230 HAS SOUPS 23876113 WITH SCORE 2.3957914043E7
AT ITER 1580 NEW BEST:: SOT 133012737 SOS 81800569 HAS SOPS 66806583 HAS SOUS 24498574 HAS SOUPS 23875457 WITH SCORE 2.3957257569E7
AT ITER 1581 NEW BEST:: SOT 133021434 SOS 81847284 HAS SOPS 66847075 HAS SOUS 24482690 HAS SOUPS 23859573 WITH SCORE 2.3941420284E7
AT ITER 1588 NEW BEST:: SOT 133020075 SOS 81845386 HAS SOPS 66843823 HAS SOUS 24477077 HAS SOUPS 23853960 WITH SCORE 2.3935805386E7
AT ITER 1598 NEW BEST:: SOT 133013348 SOS 81836200 HAS SOPS 66831967 HAS SOUS 24468373 HAS SOUPS 23845215 WITH SCORE 2.39270512E7
AT ITER 1602 NEW BEST:: SOT 133009082 SOS 81865068 HAS SOPS 66879121 HAS SOUS 24431578 HAS SOUPS 23808910 WITH SCORE 2.3890775068E7
AT ITER 1626 NEW BEST:: SOT 133008876 SOS 81855526 HAS SOPS 66882705 HAS SOUS 24430726 HAS SOUPS 23808058 WITH SCORE 2.3889913526E7
AT ITER 1655 NEW BEST:: SOT 133020916 SOS 81906799 HAS SOPS 66924747 HAS SOUS 24423895 HAS SOUPS 23801227 WITH SCORE 2.3883133799E7
AT ITER 1657 NEW BEST:: SOT 133069925 SOS 82087257 HAS SOPS 67101169 HAS SOUS 24411203 HAS SOUPS 23788535 WITH SCORE 2.3870622257E7
AT ITER 1684 NEW BEST:: SOT 133068741 SOS 82083945 HAS SOPS 67105263 HAS SOUS 24405435 HAS SOUPS 23782767 WITH SCORE 2.3864850945E7
AT ITER 1685 NEW BEST:: SOT 133057574 SOS 82048286 HAS SOPS 67094370 HAS SOUS 24397103 HAS SOUPS 23774811 WITH SCORE 2.3856859286E7
AT ITER 1687 NEW BEST:: SOT 133057639 SOS 82048366 HAS SOPS 67094435 HAS SOUS 24397040 HAS SOUPS 23774748 WITH SCORE 2.3856796366E7
AT ITER 1698 NEW BEST:: SOT 133029537 SOS 81956446 HAS SOPS 67030631 HAS SOUS 24392515 HAS SOUPS 23770223 WITH SCORE 2.3852179446E7
AT ITER 1704 NEW BEST:: SOT 133031158 SOS 81954731 HAS SOPS 67030542 HAS SOUS 24390914 HAS SOUPS 23769626 WITH SCORE 2.3851580731E7
AT ITER 1706 NEW BEST:: SOT 133032038 SOS 81961275 HAS SOPS 67035319 HAS SOUS 24377179 HAS SOUPS 23755891 WITH SCORE 2.3837852275E7
AT ITER 1718 NEW BEST:: SOT 133038134 SOS 81966828 HAS SOPS 67066604 HAS SOUS 24366800 HAS SOUPS 23745922 WITH SCORE 2.3827888828E7
AT ITER 1724 NEW BEST:: SOT 133036920 SOS 81965388 HAS SOPS 67064211 HAS SOUS 24363379 HAS SOUPS 23742532 WITH SCORE 2.3824497388E7
AT ITER 1742 NEW BEST:: SOT 133041760 SOS 81970228 HAS SOPS 67069051 HAS SOUS 24352379 HAS SOUPS 23731532 WITH SCORE 2.3813502228E7
AT ITER 1745 NEW BEST:: SOT 133162037 SOS 82262122 HAS SOPS 67369188 HAS SOUS 24354852 HAS SOUPS 23729565 WITH SCORE 2.3811827122E7
AT ITER 1747 NEW BEST:: SOT 133162077 SOS 82264439 HAS SOPS 67373071 HAS SOUS 24354637 HAS SOUPS 23729350 WITH SCORE 2.3811614439E7
AT ITER 1756 NEW BEST:: SOT 133157635 SOS 82257758 HAS SOPS 67365604 HAS SOUS 24348341 HAS SOUPS 23723054 WITH SCORE 2.3805311758E7
AT ITER 1785 NEW BEST:: SOT 133143720 SOS 82240859 HAS SOPS 67348473 HAS SOUS 24341444 HAS SOUPS 23715505 WITH SCORE 2.3797745859E7
AT ITER 1816 NEW BEST:: SOT 133135256 SOS 82220290 HAS SOPS 67328219 HAS SOUS 24338107 HAS SOUPS 23712168 WITH SCORE 2.379438829E7
AT ITER 1817 NEW BEST:: SOT 133120157 SOS 82189007 HAS SOPS 67303326 HAS SOUS 24325720 HAS SOUPS 23699781 WITH SCORE 2.3781970007E7
AT ITER 1821 NEW BEST:: SOT 133118568 SOS 82193573 HAS SOPS 67309175 HAS SOUS 24318479 HAS SOUPS 23692498 WITH SCORE 2.3774691573E7
AT ITER 1825 NEW BEST:: SOT 133088731 SOS 82121511 HAS SOPS 67242573 HAS SOUS 24297337 HAS SOUPS 23671478 WITH SCORE 2.3753599511E7
AT ITER 1826 NEW BEST:: SOT 133097295 SOS 82155138 HAS SOPS 67273108 HAS SOUS 24285515 HAS SOUPS 23659656 WITH SCORE 2.3741811138E7
AT ITER 1829 NEW BEST:: SOT 133083517 SOS 82141333 HAS SOPS 67258438 HAS SOUS 24254350 HAS SOUPS 23628171 WITH SCORE 2.3710312333E7
AT ITER 1835 NEW BEST:: SOT 133083568 SOS 82140568 HAS SOPS 67258489 HAS SOUS 24254350 HAS SOUPS 23628171 WITH SCORE 2.3710311568E7
AT ITER 1839 NEW BEST:: SOT 133083054 SOS 82140054 HAS SOPS 67257399 HAS SOUS 24253108 HAS SOUPS 23626953 WITH SCORE 2.3709093054E7
AT ITER 1846 NEW BEST:: SOT 133085234 SOS 82130382 HAS SOPS 67261386 HAS SOUS 24204477 HAS SOUPS 23578517 WITH SCORE 2.3660647382E7
AT ITER 1847 NEW BEST:: SOT 133087514 SOS 82143942 HAS SOPS 67272146 HAS SOUS 24204048 HAS SOUPS 23578088 WITH SCORE 2.3660231942E7
AT ITER 1880 NEW BEST:: SOT 133086108 SOS 82142224 HAS SOPS 67270412 HAS SOUS 24201910 HAS SOUPS 23575950 WITH SCORE 2.3658092224E7
AT ITER 1884 NEW BEST:: SOT 133085297 SOS 82141975 HAS SOPS 67270226 HAS SOUS 24201320 HAS SOUPS 23575360 WITH SCORE 2.3657501975E7
AT ITER 1886 NEW BEST:: SOT 133039223 SOS 82093090 HAS SOPS 67221232 HAS SOUS 24120199 HAS SOUPS 23494130 WITH SCORE 2.357622309E7
AT ITER 1909 NEW BEST:: SOT 133031372 SOS 82085261 HAS SOPS 67208712 HAS SOUS 24107204 HAS SOUPS 23481135 WITH SCORE 2.3563220261E7
AT ITER 1910 NEW BEST:: SOT 133030756 SOS 82103837 HAS SOPS 67216496 HAS SOUS 24062158 HAS SOUPS 23436089 WITH SCORE 2.3518192837E7
AT ITER 1919 NEW BEST:: SOT 133007282 SOS 82060938 HAS SOPS 67178682 HAS SOUS 24033589 HAS SOUPS 23407520 WITH SCORE 2.3489580938E7
AT ITER 1925 NEW BEST:: SOT 133001159 SOS 82051447 HAS SOPS 67171611 HAS SOUS 24025817 HAS SOUPS 23399842 WITH SCORE 2.3481893447E7
AT ITER 1928 NEW BEST:: SOT 133024902 SOS 82106678 HAS SOPS 67212588 HAS SOUS 23981315 HAS SOUPS 23352944 WITH SCORE 2.3435050678E7
AT ITER 1932 NEW BEST:: SOT 133024458 SOS 82113800 HAS SOPS 67215665 HAS SOUS 23978507 HAS SOUPS 23350136 WITH SCORE 2.34322498E7
AT ITER 1935 NEW BEST:: SOT 133024710 SOS 82114374 HAS SOPS 67216124 HAS SOUS 23978509 HAS SOUPS 23350134 WITH SCORE 2.3432248374E7
AT ITER 1938 NEW BEST:: SOT 133030917 SOS 82127245 HAS SOPS 67224151 HAS SOUS 23979066 HAS SOUPS 23349981 WITH SCORE 2.3432108245E7
AT ITER 1960 NEW BEST:: SOT 133023049 SOS 82116634 HAS SOPS 67210438 HAS SOUS 23966483 HAS SOUPS 23337398 WITH SCORE 2.3419514634E7
AT ITER 1970 NEW BEST:: SOT 133018275 SOS 82103606 HAS SOPS 67200228 HAS SOUS 23950006 HAS SOUPS 23321017 WITH SCORE 2.3403120606E7
AT ITER 2006 NEW BEST:: SOT 133016755 SOS 82100603 HAS SOPS 67196754 HAS SOUS 23946268 HAS SOUPS 23317279 WITH SCORE 2.3399379603E7
AT ITER 2035 NEW BEST:: SOT 133010373 SOS 82086890 HAS SOPS 67188924 HAS SOUS 23925192 HAS SOUPS 23296203 WITH SCORE 2.337828989E7
AT ITER 2051 NEW BEST:: SOT 132995558 SOS 82063041 HAS SOPS 67165581 HAS SOUS 23907614 HAS SOUPS 23278706 WITH SCORE 2.3360769041E7
AT ITER 2053 NEW BEST:: SOT 132995188 SOS 82062807 HAS SOPS 67165315 HAS SOUS 23906664 HAS SOUPS 23277756 WITH SCORE 2.3359818807E7
AT ITER 2068 NEW BEST:: SOT 132971164 SOS 82025325 HAS SOPS 67127771 HAS SOUS 23857749 HAS SOUPS 23228841 WITH SCORE 2.3310866325E7
AT ITER 2076 NEW BEST:: SOT 132973220 SOS 82034498 HAS SOPS 67134078 HAS SOUS 23854906 HAS SOUPS 23225998 WITH SCORE 2.3308032498E7
AT ITER 2080 NEW BEST:: SOT 132983249 SOS 82055515 HAS SOPS 67147660 HAS SOUS 23850727 HAS SOUPS 23221819 WITH SCORE 2.3303874515E7
AT ITER 2094 NEW BEST:: SOT 132986548 SOS 82061525 HAS SOPS 67157067 HAS SOUS 23846998 HAS SOUPS 23218035 WITH SCORE 2.3300096525E7
AT ITER 2110 NEW BEST:: SOT 132981313 SOS 82050962 HAS SOPS 67141210 HAS SOUS 23838726 HAS SOUPS 23209763 WITH SCORE 2.3291813962E7
AT ITER 2126 NEW BEST:: SOT 132978848 SOS 82038029 HAS SOPS 67126885 HAS SOUS 23838521 HAS SOUPS 23209558 WITH SCORE 2.3291596029E7
AT ITER 2130 NEW BEST:: SOT 132980829 SOS 82052951 HAS SOPS 67154278 HAS SOUS 23836411 HAS SOUPS 23207448 WITH SCORE 2.3289500951E7
AT ITER 2141 NEW BEST:: SOT 132979429 SOS 82041612 HAS SOPS 67158922 HAS SOUS 23825302 HAS SOUPS 23196339 WITH SCORE 2.3278380612E7
AT ITER 2146 NEW BEST:: SOT 132977350 SOS 82058852 HAS SOPS 67165333 HAS SOUS 23772161 HAS SOUPS 23143029 WITH SCORE 2.3225087852E7
AT ITER 2152 NEW BEST:: SOT 132976258 SOS 82057718 HAS SOPS 67162897 HAS SOUS 23771111 HAS SOUPS 23141979 WITH SCORE 2.3224036718E7
AT ITER 2156 NEW BEST:: SOT 132975336 SOS 82057089 HAS SOPS 67165023 HAS SOUS 23764929 HAS SOUPS 23135797 WITH SCORE 2.3217854089E7
AT ITER 2158 NEW BEST:: SOT 132972989 SOS 82055836 HAS SOPS 67171755 HAS SOUS 23751405 HAS SOUPS 23122116 WITH SCORE 2.3204171836E7
AT ITER 2160 NEW BEST:: SOT 132941548 SOS 82006148 HAS SOPS 67149730 HAS SOUS 23704086 HAS SOUPS 23075141 WITH SCORE 2.3157147148E7
AT ITER 2180 NEW BEST:: SOT 132936138 SOS 81992009 HAS SOPS 67137923 HAS SOUS 23703534 HAS SOUPS 23074589 WITH SCORE 2.3156581009E7
AT ITER 2181 NEW BEST:: SOT 132935668 SOS 81994980 HAS SOPS 67141089 HAS SOUS 23701602 HAS SOUPS 23072657 WITH SCORE 2.315465198E7
AT ITER 2194 NEW BEST:: SOT 132877298 SOS 81902969 HAS SOPS 67057771 HAS SOUS 23637314 HAS SOUPS 23008422 WITH SCORE 2.3090324969E7
AT ITER 2195 NEW BEST:: SOT 132834144 SOS 81825446 HAS SOPS 66963717 HAS SOUS 23601751 HAS SOUPS 22972241 WITH SCORE 2.3054066446E7
AT ITER 2196 NEW BEST:: SOT 132830444 SOS 81816677 HAS SOPS 66955402 HAS SOUS 23595769 HAS SOUPS 22966259 WITH SCORE 2.3048075677E7
AT ITER 2198 NEW BEST:: SOT 132850035 SOS 81900186 HAS SOPS 67031482 HAS SOUS 23594389 HAS SOUPS 22964879 WITH SCORE 2.3046779186E7
AT ITER 2202 NEW BEST:: SOT 132850142 SOS 81912683 HAS SOPS 67045399 HAS SOUS 23580147 HAS SOUPS 22950637 WITH SCORE 2.3032549683E7
AT ITER 2219 NEW BEST:: SOT 132870800 SOS 81969137 HAS SOPS 67097395 HAS SOUS 23575096 HAS SOUPS 22945586 WITH SCORE 2.3027555137E7
AT ITER 2223 NEW BEST:: SOT 132822277 SOS 81868474 HAS SOPS 67023654 HAS SOUS 23542566 HAS SOUPS 22913585 WITH SCORE 2.2995453474E7
AT ITER 2225 NEW BEST:: SOT 132831521 SOS 81879349 HAS SOPS 67031257 HAS SOUS 23538607 HAS SOUPS 22909626 WITH SCORE 2.2991505349E7
AT ITER 2230 NEW BEST:: SOT 132827588 SOS 81887641 HAS SOPS 67039239 HAS SOUS 23519509 HAS SOUPS 22889802 WITH SCORE 2.2971689641E7
AT ITER 2241 NEW BEST:: SOT 132825306 SOS 81884285 HAS SOPS 67031762 HAS SOUS 23512412 HAS SOUPS 22882705 WITH SCORE 2.2964589285E7
AT ITER 2246 NEW BEST:: SOT 132828525 SOS 81892983 HAS SOPS 67038403 HAS SOUS 23507012 HAS SOUPS 22877305 WITH SCORE 2.2959197983E7
AT ITER 2252 NEW BEST:: SOT 132839102 SOS 81957716 HAS SOPS 67112027 HAS SOUS 23486877 HAS SOUPS 22857170 WITH SCORE 2.2939127716E7
AT ITER 2296 NEW BEST:: SOT 132836854 SOS 81955232 HAS SOPS 67107860 HAS SOUS 23480372 HAS SOUPS 22850702 WITH SCORE 2.2932657232E7
AT ITER 2302 NEW BEST:: SOT 132849759 SOS 81993057 HAS SOPS 67158853 HAS SOUS 23477938 HAS SOUPS 22848268 WITH SCORE 2.2930261057E7
AT ITER 2322 NEW BEST:: SOT 132852855 SOS 82003197 HAS SOPS 67164125 HAS SOUS 23472649 HAS SOUPS 22842979 WITH SCORE 2.2924982197E7
AT ITER 2323 NEW BEST:: SOT 132853458 SOS 82004326 HAS SOPS 67166506 HAS SOUS 23462640 HAS SOUPS 22833661 WITH SCORE 2.2915665326E7
AT ITER 2324 NEW BEST:: SOT 132856153 SOS 82017489 HAS SOPS 67167347 HAS SOUS 23452178 HAS SOUPS 22823199 WITH SCORE 2.2905216489E7

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-9"
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"

# 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-9, 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 r138-smll-158961502400144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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