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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.4K Apr 12 07:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 07:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:27 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 3.0K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 10 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.0K Apr 9 20:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 20:54 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)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589737396732

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 8
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 2 NEW BEST:: SOT 133683749 SOS 82272902 HAS SOPS 66825085 HAS SOUS 26413623 HAS SOUPS 25783926 WITH SCORE 2.5866198902E7
AT ITER 8 NEW BEST:: SOT 133686736 SOS 82328950 HAS SOPS 66877744 HAS SOUS 26376288 HAS SOUPS 25746591 WITH SCORE 2.582891995E7
AT ITER 9 NEW BEST:: SOT 133661142 SOS 82303343 HAS SOPS 66852227 HAS SOUS 26338439 HAS SOUPS 25708819 WITH SCORE 2.5791122343E7
AT ITER 13 NEW BEST:: SOT 133656471 SOS 82291977 HAS SOPS 66838344 HAS SOUS 26335561 HAS SOUPS 25705941 WITH SCORE 2.5788232977E7
AT ITER 30 NEW BEST:: SOT 133656218 SOS 82292274 HAS SOPS 66838520 HAS SOUS 26334562 HAS SOUPS 25704942 WITH SCORE 2.5787234274E7
AT ITER 37 NEW BEST:: SOT 133664013 SOS 82317505 HAS SOPS 66866428 HAS SOUS 26334372 HAS SOUPS 25704752 WITH SCORE 2.5787069505E7
AT ITER 39 NEW BEST:: SOT 133660466 SOS 82298252 HAS SOPS 66854412 HAS SOUS 26333085 HAS SOUPS 25703465 WITH SCORE 2.5785763252E7
AT ITER 42 NEW BEST:: SOT 133662729 SOS 82327737 HAS SOPS 66883328 HAS SOUS 26326842 HAS SOUPS 25697222 WITH SCORE 2.5779549737E7
AT ITER 46 NEW BEST:: SOT 133658815 SOS 82333594 HAS SOPS 66906503 HAS SOUS 26290304 HAS SOUPS 25661161 WITH SCORE 2.5743494594E7
AT ITER 47 NEW BEST:: SOT 133654961 SOS 82323502 HAS SOPS 66897938 HAS SOUS 26287149 HAS SOUPS 25658006 WITH SCORE 2.5740329502E7
AT ITER 51 NEW BEST:: SOT 133653578 SOS 82322691 HAS SOPS 66891259 HAS SOUS 26279693 HAS SOUPS 25650550 WITH SCORE 2.5732872691E7
AT ITER 56 NEW BEST:: SOT 133655127 SOS 82327219 HAS SOPS 66893190 HAS SOUS 26278214 HAS SOUPS 25649071 WITH SCORE 2.5731398219E7
AT ITER 59 NEW BEST:: SOT 133665267 SOS 82366842 HAS SOPS 66928441 HAS SOUS 26269119 HAS SOUPS 25639976 WITH SCORE 2.5722342842E7
AT ITER 62 NEW BEST:: SOT 133660620 SOS 82353164 HAS SOPS 66908468 HAS SOUS 26238737 HAS SOUPS 25609930 WITH SCORE 2.5692283164E7
AT ITER 68 NEW BEST:: SOT 133659252 SOS 82345352 HAS SOPS 66900107 HAS SOUS 26236157 HAS SOUPS 25607350 WITH SCORE 2.5689695352E7
AT ITER 77 NEW BEST:: SOT 133659246 SOS 82346364 HAS SOPS 66909617 HAS SOUS 26233490 HAS SOUPS 25604683 WITH SCORE 2.5687029364E7
AT ITER 81 NEW BEST:: SOT 133670012 SOS 82353938 HAS SOPS 66927026 HAS SOUS 26221268 HAS SOUPS 25593301 WITH SCORE 2.5675654938E7
AT ITER 88 NEW BEST:: SOT 133669550 SOS 82354255 HAS SOPS 66927063 HAS SOUS 26219800 HAS SOUPS 25591833 WITH SCORE 2.5674187255E7
AT ITER 95 NEW BEST:: SOT 133558421 SOS 82217603 HAS SOPS 66795132 HAS SOUS 26102334 HAS SOUPS 25473747 WITH SCORE 2.5555964603E7
AT ITER 99 NEW BEST:: SOT 133559353 SOS 82215742 HAS SOPS 66787382 HAS SOUS 26093252 HAS SOUPS 25464867 WITH SCORE 2.5547082742E7
AT ITER 114 NEW BEST:: SOT 133558896 SOS 82212677 HAS SOPS 66783509 HAS SOUS 26091316 HAS SOUPS 25462931 WITH SCORE 2.5545143677E7
AT ITER 117 NEW BEST:: SOT 133553688 SOS 82208486 HAS SOPS 66786515 HAS SOUS 26088933 HAS SOUPS 25460548 WITH SCORE 2.5542756486E7
AT ITER 136 NEW BEST:: SOT 133571188 SOS 82252899 HAS SOPS 66826243 HAS SOUS 26061841 HAS SOUPS 25433456 WITH SCORE 2.5515708899E7
AT ITER 137 NEW BEST:: SOT 133556413 SOS 82234498 HAS SOPS 66805914 HAS SOUS 26034638 HAS SOUPS 25406353 WITH SCORE 2.5488587498E7
AT ITER 140 NEW BEST:: SOT 133567118 SOS 82287579 HAS SOPS 66849136 HAS SOUS 26027046 HAS SOUPS 25398761 WITH SCORE 2.5481048579E7
AT ITER 161 NEW BEST:: SOT 133565461 SOS 82291015 HAS SOPS 66864038 HAS SOUS 26012364 HAS SOUPS 25383967 WITH SCORE 2.5466258015E7
AT ITER 169 NEW BEST:: SOT 133565898 SOS 82291302 HAS SOPS 66865045 HAS SOUS 26010459 HAS SOUPS 25382722 WITH SCORE 2.5465013302E7
AT ITER 170 NEW BEST:: SOT 133577076 SOS 82341265 HAS SOPS 66939709 HAS SOUS 26007744 HAS SOUPS 25380007 WITH SCORE 2.5462348265E7
AT ITER 175 NEW BEST:: SOT 133584400 SOS 82354785 HAS SOPS 66951555 HAS SOUS 26006220 HAS SOUPS 25378483 WITH SCORE 2.5460837785E7
AT ITER 178 NEW BEST:: SOT 133611576 SOS 82440192 HAS SOPS 67016597 HAS SOUS 25989297 HAS SOUPS 25361560 WITH SCORE 2.5444000192E7
AT ITER 182 NEW BEST:: SOT 133593094 SOS 82408602 HAS SOPS 66988354 HAS SOUS 25968465 HAS SOUPS 25341061 WITH SCORE 2.5423469602E7
AT ITER 203 NEW BEST:: SOT 133529773 SOS 82233443 HAS SOPS 66868328 HAS SOUS 25966363 HAS SOUPS 25338959 WITH SCORE 2.5421192443E7
AT ITER 207 NEW BEST:: SOT 133516566 SOS 82220556 HAS SOPS 66852476 HAS SOUS 25937958 HAS SOUPS 25310596 WITH SCORE 2.5392816556E7
AT ITER 219 NEW BEST:: SOT 133513800 SOS 82217774 HAS SOPS 66847802 HAS SOUS 25931824 HAS SOUPS 25304462 WITH SCORE 2.5386679774E7
AT ITER 243 NEW BEST:: SOT 133536785 SOS 82266786 HAS SOPS 66889514 HAS SOUS 25927044 HAS SOUPS 25299448 WITH SCORE 2.5381714786E7
AT ITER 244 NEW BEST:: SOT 133568730 SOS 82338349 HAS SOPS 66951683 HAS SOUS 25918853 HAS SOUPS 25291257 WITH SCORE 2.5373595349E7
AT ITER 251 NEW BEST:: SOT 133567994 SOS 82339489 HAS SOPS 66954823 HAS SOUS 25917633 HAS SOUPS 25290037 WITH SCORE 2.5372376489E7
AT ITER 255 NEW BEST:: SOT 133567741 SOS 82339819 HAS SOPS 66954856 HAS SOUS 25916797 HAS SOUPS 25289201 WITH SCORE 2.5371540819E7
AT ITER 264 NEW BEST:: SOT 133629782 SOS 82517438 HAS SOPS 67120062 HAS SOUS 25900652 HAS SOUPS 25273056 WITH SCORE 2.5355573438E7
AT ITER 272 NEW BEST:: SOT 133643835 SOS 82547961 HAS SOPS 67138989 HAS SOUS 25897984 HAS SOUPS 25270388 WITH SCORE 2.5352935961E7
AT ITER 276 NEW BEST:: SOT 133642608 SOS 82556065 HAS SOPS 67144162 HAS SOUS 25886229 HAS SOUPS 25258633 WITH SCORE 2.5341189065E7
AT ITER 281 NEW BEST:: SOT 133641191 SOS 82553098 HAS SOPS 67142288 HAS SOUS 25881811 HAS SOUPS 25254187 WITH SCORE 2.5336740098E7
AT ITER 290 NEW BEST:: SOT 133626682 SOS 82536105 HAS SOPS 67128374 HAS SOUS 25842577 HAS SOUPS 25214905 WITH SCORE 2.5297441105E7
AT ITER 310 NEW BEST:: SOT 133627945 SOS 82554092 HAS SOPS 67149344 HAS SOUS 25842201 HAS SOUPS 25214529 WITH SCORE 2.5297083092E7
AT ITER 312 NEW BEST:: SOT 133608241 SOS 82521230 HAS SOPS 67122612 HAS SOUS 25824397 HAS SOUPS 25196725 WITH SCORE 2.527924623E7
AT ITER 327 NEW BEST:: SOT 133615411 SOS 82530452 HAS SOPS 67139529 HAS SOUS 25815289 HAS SOUPS 25187529 WITH SCORE 2.5270059452E7
AT ITER 340 NEW BEST:: SOT 133612289 SOS 82528020 HAS SOPS 67137097 HAS SOUS 25809221 HAS SOUPS 25181461 WITH SCORE 2.526398902E7
AT ITER 365 NEW BEST:: SOT 133534332 SOS 82392952 HAS SOPS 67031573 HAS SOUS 25743045 HAS SOUPS 25115669 WITH SCORE 2.5198061952E7
AT ITER 372 NEW BEST:: SOT 133533418 SOS 82391818 HAS SOPS 67028840 HAS SOUS 25742652 HAS SOUPS 25115142 WITH SCORE 2.5197533818E7
AT ITER 386 NEW BEST:: SOT 133552461 SOS 82429267 HAS SOPS 67066596 HAS SOUS 25735658 HAS SOUPS 25109292 WITH SCORE 2.5191721267E7
AT ITER 391 NEW BEST:: SOT 133546972 SOS 82416734 HAS SOPS 67058128 HAS SOUS 25731561 HAS SOUPS 25105195 WITH SCORE 2.5187611734E7
AT ITER 393 NEW BEST:: SOT 133538774 SOS 82403954 HAS SOPS 67048186 HAS SOUS 25715402 HAS SOUPS 25089681 WITH SCORE 2.5172084954E7
AT ITER 394 NEW BEST:: SOT 133564137 SOS 82473412 HAS SOPS 67114698 HAS SOUS 25712141 HAS SOUPS 25086420 WITH SCORE 2.5168893412E7
AT ITER 404 NEW BEST:: SOT 133565084 SOS 82473865 HAS SOPS 67117471 HAS SOUS 25710371 HAS SOUPS 25084775 WITH SCORE 2.5167248865E7
AT ITER 410 NEW BEST:: SOT 133566049 SOS 82477929 HAS SOPS 67120015 HAS SOUS 25710243 HAS SOUPS 25084647 WITH SCORE 2.5167124929E7
AT ITER 424 NEW BEST:: SOT 133559776 SOS 82470321 HAS SOPS 67113742 HAS SOUS 25703530 HAS SOUPS 25077959 WITH SCORE 2.5160429321E7
AT ITER 428 NEW BEST:: SOT 133559618 SOS 82470161 HAS SOPS 67113639 HAS SOUS 25703005 HAS SOUPS 25077466 WITH SCORE 2.5159936161E7
AT ITER 439 NEW BEST:: SOT 133592374 SOS 82545501 HAS SOPS 67174939 HAS SOUS 25696793 HAS SOUPS 25070606 WITH SCORE 2.5153151501E7
AT ITER 440 NEW BEST:: SOT 133592193 SOS 82546256 HAS SOPS 67174178 HAS SOUS 25695204 HAS SOUPS 25069017 WITH SCORE 2.5151563256E7
AT ITER 450 NEW BEST:: SOT 133592181 SOS 82546448 HAS SOPS 67174322 HAS SOUS 25695173 HAS SOUPS 25068986 WITH SCORE 2.5151532448E7
AT ITER 451 NEW BEST:: SOT 133591461 SOS 82541458 HAS SOPS 67168621 HAS SOUS 25694573 HAS SOUPS 25068386 WITH SCORE 2.5150927458E7
AT ITER 452 NEW BEST:: SOT 133591507 SOS 82543923 HAS SOPS 67189213 HAS SOUS 25694144 HAS SOUPS 25067957 WITH SCORE 2.5150500923E7
AT ITER 455 NEW BEST:: SOT 133591153 SOS 82537339 HAS SOPS 67185787 HAS SOUS 25692128 HAS SOUPS 25065941 WITH SCORE 2.5148478339E7
AT ITER 469 NEW BEST:: SOT 133588588 SOS 82536100 HAS SOPS 67187114 HAS SOUS 25680169 HAS SOUPS 25053982 WITH SCORE 2.51365181E7
AT ITER 473 NEW BEST:: SOT 133588856 SOS 82536834 HAS SOPS 67187630 HAS SOUS 25680005 HAS SOUPS 25053818 WITH SCORE 2.5136354834E7
AT ITER 522 NEW BEST:: SOT 133588808 SOS 82535497 HAS SOPS 67181025 HAS SOUS 25679838 HAS SOUPS 25053651 WITH SCORE 2.5136186497E7
AT ITER 524 NEW BEST:: SOT 133586778 SOS 82543906 HAS SOPS 67188380 HAS SOUS 25673852 HAS SOUPS 25047665 WITH SCORE 2.5130208906E7
AT ITER 526 NEW BEST:: SOT 133527658 SOS 82423835 HAS SOPS 67106909 HAS SOUS 25648293 HAS SOUPS 25022697 WITH SCORE 2.5105120835E7
AT ITER 540 NEW BEST:: SOT 133527581 SOS 82424122 HAS SOPS 67106622 HAS SOUS 25648013 HAS SOUPS 25022417 WITH SCORE 2.5104841122E7
AT ITER 541 NEW BEST:: SOT 133534711 SOS 82428497 HAS SOPS 67120817 HAS SOUS 25642848 HAS SOUPS 25017252 WITH SCORE 2.5099680497E7
AT ITER 543 NEW BEST:: SOT 133537881 SOS 82433822 HAS SOPS 67122576 HAS SOUS 25642698 HAS SOUPS 25017102 WITH SCORE 2.5099535822E7
AT ITER 550 NEW BEST:: SOT 133538097 SOS 82431985 HAS SOPS 67121148 HAS SOUS 25642433 HAS SOUPS 25016837 WITH SCORE 2.5099268985E7
AT ITER 560 NEW BEST:: SOT 133539592 SOS 82439750 HAS SOPS 67127240 HAS SOUS 25635060 HAS SOUPS 25009464 WITH SCORE 2.509190375E7
AT ITER 607 NEW BEST:: SOT 133505860 SOS 82387666 HAS SOPS 67085070 HAS SOUS 25600017 HAS SOUPS 24974606 WITH SCORE 2.5056993666E7
AT ITER 613 NEW BEST:: SOT 133512182 SOS 82403886 HAS SOPS 67098489 HAS SOUS 25596783 HAS SOUPS 24971372 WITH SCORE 2.5053775886E7
AT ITER 627 NEW BEST:: SOT 133511428 SOS 82403148 HAS SOPS 67097319 HAS SOUS 25594584 HAS SOUPS 24969227 WITH SCORE 2.5051630148E7
AT ITER 629 NEW BEST:: SOT 133486766 SOS 82378484 HAS SOPS 67072648 HAS SOUS 25559123 HAS SOUPS 24933766 WITH SCORE 2.5016144484E7
AT ITER 633 NEW BEST:: SOT 133482650 SOS 82371266 HAS SOPS 67060429 HAS SOUS 25549489 HAS SOUPS 24924132 WITH SCORE 2.5006503266E7
AT ITER 647 NEW BEST:: SOT 133482230 SOS 82371584 HAS SOPS 67059958 HAS SOUS 25547930 HAS SOUPS 24922573 WITH SCORE 2.5004944584E7
AT ITER 655 NEW BEST:: SOT 133484678 SOS 82378624 HAS SOPS 67060478 HAS SOUS 25544988 HAS SOUPS 24919631 WITH SCORE 2.5002009624E7
AT ITER 657 NEW BEST:: SOT 133468197 SOS 82357687 HAS SOPS 67048565 HAS SOUS 25534535 HAS SOUPS 24909712 WITH SCORE 2.4992069687E7
AT ITER 659 NEW BEST:: SOT 133464981 SOS 82347199 HAS SOPS 67039669 HAS SOUS 25532848 HAS SOUPS 24908025 WITH SCORE 2.4990372199E7
AT ITER 672 NEW BEST:: SOT 133462785 SOS 82348202 HAS SOPS 67038710 HAS SOUS 25523091 HAS SOUPS 24898268 WITH SCORE 2.4980616202E7
AT ITER 677 NEW BEST:: SOT 133447503 SOS 82332857 HAS SOPS 67021460 HAS SOUS 25502308 HAS SOUPS 24877245 WITH SCORE 2.4959577857E7
AT ITER 683 NEW BEST:: SOT 133449527 SOS 82333320 HAS SOPS 67023000 HAS SOUS 25502028 HAS SOUPS 24876965 WITH SCORE 2.495929832E7
AT ITER 684 NEW BEST:: SOT 133433748 SOS 82300246 HAS SOPS 66998303 HAS SOUS 25494432 HAS SOUPS 24869369 WITH SCORE 2.4951669246E7
AT ITER 690 NEW BEST:: SOT 133423157 SOS 82270177 HAS SOPS 66983316 HAS SOUS 25481483 HAS SOUPS 24856420 WITH SCORE 2.4938690177E7
AT ITER 692 NEW BEST:: SOT 133401571 SOS 82221590 HAS SOPS 66954780 HAS SOUS 25470410 HAS SOUPS 24847398 WITH SCORE 2.492961959E7
AT ITER 693 NEW BEST:: SOT 133398362 SOS 82211642 HAS SOPS 66951267 HAS SOUS 25468020 HAS SOUPS 24845008 WITH SCORE 2.4927219642E7
AT ITER 699 NEW BEST:: SOT 133444812 SOS 82323528 HAS SOPS 67062485 HAS SOUS 25426508 HAS SOUPS 24803506 WITH SCORE 2.4885829528E7
AT ITER 708 NEW BEST:: SOT 133443931 SOS 82315806 HAS SOPS 67060529 HAS SOUS 25424201 HAS SOUPS 24801199 WITH SCORE 2.4883514806E7
AT ITER 711 NEW BEST:: SOT 133443776 SOS 82315439 HAS SOPS 67059950 HAS SOUS 25423672 HAS SOUPS 24800670 WITH SCORE 2.4882985439E7
AT ITER 713 NEW BEST:: SOT 133440023 SOS 82310976 HAS SOPS 67056432 HAS SOUS 25421300 HAS SOUPS 24798475 WITH SCORE 2.4880785976E7
AT ITER 719 NEW BEST:: SOT 133436218 SOS 82300197 HAS SOPS 67049694 HAS SOUS 25418839 HAS SOUPS 24796014 WITH SCORE 2.4878314197E7
AT ITER 724 NEW BEST:: SOT 133404161 SOS 82234740 HAS SOPS 66994279 HAS SOUS 25387624 HAS SOUPS 24765214 WITH SCORE 2.484744874E7
AT ITER 742 NEW BEST:: SOT 133402181 SOS 82233346 HAS SOPS 66999931 HAS SOUS 25378752 HAS SOUPS 24756230 WITH SCORE 2.4838463346E7
AT ITER 750 NEW BEST:: SOT 133396984 SOS 82231452 HAS SOPS 66988974 HAS SOUS 25352350 HAS SOUPS 24729730 WITH SCORE 2.4811961452E7
AT ITER 753 NEW BEST:: SOT 133398971 SOS 82252590 HAS SOPS 67023136 HAS SOUS 25343846 HAS SOUPS 24721226 WITH SCORE 2.480347859E7
AT ITER 760 NEW BEST:: SOT 133397657 SOS 82270084 HAS SOPS 67047999 HAS SOUS 25325060 HAS SOUPS 24702440 WITH SCORE 2.4784710084E7
AT ITER 763 NEW BEST:: SOT 133378473 SOS 82236847 HAS SOPS 67039661 HAS SOUS 25305167 HAS SOUPS 24682547 WITH SCORE 2.4764783847E7
AT ITER 764 NEW BEST:: SOT 133376840 SOS 82231123 HAS SOPS 67033369 HAS SOUS 25302223 HAS SOUPS 24679603 WITH SCORE 2.4761834123E7
AT ITER 785 NEW BEST:: SOT 133381167 SOS 82264193 HAS SOPS 67059931 HAS SOUS 25281818 HAS SOUPS 24659198 WITH SCORE 2.4741462193E7
AT ITER 795 NEW BEST:: SOT 133392014 SOS 82318265 HAS SOPS 67114743 HAS SOUS 25234959 HAS SOUPS 24612339 WITH SCORE 2.4694657265E7
AT ITER 819 NEW BEST:: SOT 133405259 SOS 82389394 HAS SOPS 67176542 HAS SOUS 25222567 HAS SOUPS 24599947 WITH SCORE 2.4682336394E7
AT ITER 820 NEW BEST:: SOT 133404927 SOS 82387696 HAS SOPS 67176078 HAS SOUS 25221287 HAS SOUPS 24598667 WITH SCORE 2.4681054696E7
AT ITER 835 NEW BEST:: SOT 133400585 SOS 82384183 HAS SOPS 67165682 HAS SOUS 25202991 HAS SOUPS 24580371 WITH SCORE 2.4662755183E7
AT ITER 847 NEW BEST:: SOT 133401444 SOS 82392881 HAS SOPS 67178562 HAS SOUS 25202474 HAS SOUPS 24579854 WITH SCORE 2.4662246881E7
AT ITER 851 NEW BEST:: SOT 133415176 SOS 82458604 HAS SOPS 67237457 HAS SOUS 25196704 HAS SOUPS 24574084 WITH SCORE 2.4656542604E7
AT ITER 857 NEW BEST:: SOT 133415536 SOS 82460602 HAS SOPS 67238468 HAS SOUS 25195936 HAS SOUPS 24573308 WITH SCORE 2.4655768602E7
AT ITER 862 NEW BEST:: SOT 133390454 SOS 82446851 HAS SOPS 67243869 HAS SOUS 25117599 HAS SOUPS 24494971 WITH SCORE 2.4577417851E7
AT ITER 874 NEW BEST:: SOT 133384466 SOS 82438678 HAS SOPS 67234087 HAS SOUS 25108500 HAS SOUPS 24485872 WITH SCORE 2.4568310678E7
AT ITER 877 NEW BEST:: SOT 133352232 SOS 82406104 HAS SOPS 67199721 HAS SOUS 25063783 HAS SOUPS 24441268 WITH SCORE 2.4523674104E7
AT ITER 887 NEW BEST:: SOT 133352006 SOS 82406044 HAS SOPS 67201360 HAS SOUS 25063710 HAS SOUPS 24441195 WITH SCORE 2.4523601044E7
AT ITER 903 NEW BEST:: SOT 133349625 SOS 82396186 HAS SOPS 67192775 HAS SOUS 25059947 HAS SOUPS 24437432 WITH SCORE 2.4519828186E7
AT ITER 910 NEW BEST:: SOT 133349551 SOS 82399109 HAS SOPS 67196788 HAS SOUS 25057938 HAS SOUPS 24435423 WITH SCORE 2.4517822109E7
AT ITER 912 NEW BEST:: SOT 133361615 SOS 82436293 HAS SOPS 67239093 HAS SOUS 25057428 HAS SOUPS 24434913 WITH SCORE 2.4517349293E7
AT ITER 930 NEW BEST:: SOT 133358869 SOS 82435901 HAS SOPS 67239077 HAS SOUS 25051222 HAS SOUPS 24428707 WITH SCORE 2.4511142901E7
AT ITER 940 NEW BEST:: SOT 133359408 SOS 82452543 HAS SOPS 67246543 HAS SOUS 25023057 HAS SOUPS 24400542 WITH SCORE 2.4482994543E7
AT ITER 941 NEW BEST:: SOT 133358278 SOS 82452724 HAS SOPS 67246703 HAS SOUS 25002480 HAS SOUPS 24379751 WITH SCORE 2.4462203724E7
AT ITER 966 NEW BEST:: SOT 133375047 SOS 82506228 HAS SOPS 67309355 HAS SOUS 24997887 HAS SOUPS 24375160 WITH SCORE 2.4457666228E7
AT ITER 969 NEW BEST:: SOT 133373615 SOS 82502245 HAS SOPS 67309382 HAS SOUS 24997818 HAS SOUPS 24375091 WITH SCORE 2.4457593245E7
AT ITER 973 NEW BEST:: SOT 133367907 SOS 82486610 HAS SOPS 67293613 HAS SOUS 24991056 HAS SOUPS 24368239 WITH SCORE 2.445072561E7
AT ITER 974 NEW BEST:: SOT 133367987 SOS 82486747 HAS SOPS 67292455 HAS SOUS 24991249 HAS SOUPS 24367137 WITH SCORE 2.4449623747E7
AT ITER 984 NEW BEST:: SOT 133372570 SOS 82491090 HAS SOPS 67292665 HAS SOUS 24989362 HAS SOUPS 24365250 WITH SCORE 2.444774109E7
AT ITER 989 NEW BEST:: SOT 133368606 SOS 82480648 HAS SOPS 67289842 HAS SOUS 24986046 HAS SOUPS 24361934 WITH SCORE 2.4444414648E7
AT ITER 996 NEW BEST:: SOT 133368107 SOS 82480140 HAS SOPS 67289046 HAS SOUS 24984674 HAS SOUPS 24360562 WITH SCORE 2.444304214E7
AT ITER 1003 NEW BEST:: SOT 133361816 SOS 82468475 HAS SOPS 67284566 HAS SOUS 24981780 HAS SOUPS 24357668 WITH SCORE 2.4440136475E7
AT ITER 1004 NEW BEST:: SOT 133321919 SOS 82381116 HAS SOPS 67211909 HAS SOUS 24945383 HAS SOUPS 24321319 WITH SCORE 2.4403700116E7
AT ITER 1006 NEW BEST:: SOT 133323392 SOS 82377401 HAS SOPS 67214848 HAS SOUS 24939274 HAS SOUPS 24315210 WITH SCORE 2.4397587401E7
AT ITER 1011 NEW BEST:: SOT 133323681 SOS 82421042 HAS SOPS 67280788 HAS SOUS 24919222 HAS SOUPS 24295158 WITH SCORE 2.4377579042E7
AT ITER 1031 NEW BEST:: SOT 133322185 SOS 82417281 HAS SOPS 67277444 HAS SOUS 24917926 HAS SOUPS 24293862 WITH SCORE 2.4376279281E7
AT ITER 1038 NEW BEST:: SOT 133326504 SOS 82427433 HAS SOPS 67282893 HAS SOUS 24909744 HAS SOUPS 24285680 WITH SCORE 2.4368107433E7
AT ITER 1043 NEW BEST:: SOT 133325819 SOS 82426829 HAS SOPS 67281924 HAS SOUS 24907975 HAS SOUPS 24283994 WITH SCORE 2.4366420829E7
AT ITER 1049 NEW BEST:: SOT 133326047 SOS 82422393 HAS SOPS 67280428 HAS SOUS 24907694 HAS SOUPS 24283713 WITH SCORE 2.4366135393E7
AT ITER 1053 NEW BEST:: SOT 133337382 SOS 82450171 HAS SOPS 67299302 HAS SOUS 24905336 HAS SOUPS 24281355 WITH SCORE 2.4363805171E7
AT ITER 1065 NEW BEST:: SOT 133345003 SOS 82479539 HAS SOPS 67319858 HAS SOUS 24900421 HAS SOUPS 24276440 WITH SCORE 2.4358919539E7
AT ITER 1072 NEW BEST:: SOT 133320782 SOS 82445297 HAS SOPS 67289494 HAS SOUS 24867881 HAS SOUPS 24243900 WITH SCORE 2.4326345297E7
AT ITER 1080 NEW BEST:: SOT 133314055 SOS 82442848 HAS SOPS 67288630 HAS SOUS 24849697 HAS SOUPS 24225716 WITH SCORE 2.4308158848E7
AT ITER 1099 NEW BEST:: SOT 133317525 SOS 82456164 HAS SOPS 67297393 HAS SOUS 24843379 HAS SOUPS 24219227 WITH SCORE 2.4301683164E7
AT ITER 1108 NEW BEST:: SOT 133314606 SOS 82460263 HAS SOPS 67282078 HAS SOUS 24816720 HAS SOUPS 24192568 WITH SCORE 2.4275028263E7
AT ITER 1112 NEW BEST:: SOT 133317877 SOS 82476843 HAS SOPS 67339372 HAS SOUS 24790299 HAS SOUPS 24166601 WITH SCORE 2.4249077843E7
AT ITER 1114 NEW BEST:: SOT 133323254 SOS 82490058 HAS SOPS 67350298 HAS SOUS 24784155 HAS SOUPS 24160457 WITH SCORE 2.4242947058E7
AT ITER 1117 NEW BEST:: SOT 133328493 SOS 82518857 HAS SOPS 67370386 HAS SOUS 24777015 HAS SOUPS 24153317 WITH SCORE 2.4235835857E7
AT ITER 1122 NEW BEST:: SOT 133318950 SOS 82502248 HAS SOPS 67357286 HAS SOUS 24769195 HAS SOUPS 24145707 WITH SCORE 2.4228209248E7
AT ITER 1144 NEW BEST:: SOT 133348350 SOS 82559256 HAS SOPS 67412041 HAS SOUS 24757514 HAS SOUPS 24134026 WITH SCORE 2.4216585256E7
AT ITER 1152 NEW BEST:: SOT 133348331 SOS 82561338 HAS SOPS 67411523 HAS SOUS 24755475 HAS SOUPS 24131987 WITH SCORE 2.4214548338E7
AT ITER 1156 NEW BEST:: SOT 133345049 SOS 82568807 HAS SOPS 67432490 HAS SOUS 24753651 HAS SOUPS 24130163 WITH SCORE 2.4212731807E7
AT ITER 1161 NEW BEST:: SOT 133263283 SOS 82427891 HAS SOPS 67314507 HAS SOUS 24659884 HAS SOUPS 24036988 WITH SCORE 2.4119415891E7
AT ITER 1172 NEW BEST:: SOT 133281965 SOS 82472778 HAS SOPS 67351175 HAS SOUS 24649843 HAS SOUPS 24026947 WITH SCORE 2.4109419778E7
AT ITER 1174 NEW BEST:: SOT 133279319 SOS 82465795 HAS SOPS 67346537 HAS SOUS 24645599 HAS SOUPS 24022703 WITH SCORE 2.4105168795E7
AT ITER 1179 NEW BEST:: SOT 133287414 SOS 82501568 HAS SOPS 67374312 HAS SOUS 24605636 HAS SOUPS 23982740 WITH SCORE 2.4065241568E7
AT ITER 1205 NEW BEST:: SOT 133288432 SOS 82503829 HAS SOPS 67371460 HAS SOUS 24595853 HAS SOUPS 23972957 WITH SCORE 2.4055460829E7
AT ITER 1224 NEW BEST:: SOT 133288162 SOS 82493390 HAS SOPS 67356896 HAS SOUS 24591101 HAS SOUPS 23968205 WITH SCORE 2.405069839E7
AT ITER 1241 NEW BEST:: SOT 133250755 SOS 82455633 HAS SOPS 67319113 HAS SOUS 24552503 HAS SOUPS 23929700 WITH SCORE 2.4012155633E7
AT ITER 1243 NEW BEST:: SOT 133249303 SOS 82454803 HAS SOPS 67317980 HAS SOUS 24547745 HAS SOUPS 23924942 WITH SCORE 2.4007396803E7
AT ITER 1248 NEW BEST:: SOT 133213591 SOS 82391764 HAS SOPS 67267974 HAS SOUS 24512694 HAS SOUPS 23889891 WITH SCORE 2.3972282764E7
AT ITER 1271 NEW BEST:: SOT 133216807 SOS 82398979 HAS SOPS 67271737 HAS SOUS 24507259 HAS SOUPS 23884456 WITH SCORE 2.3966854979E7
AT ITER 1275 NEW BEST:: SOT 133215082 SOS 82396812 HAS SOPS 67273014 HAS SOUS 24494571 HAS SOUPS 23871768 WITH SCORE 2.3954164812E7
AT ITER 1296 NEW BEST:: SOT 133210983 SOS 82391703 HAS SOPS 67268179 HAS SOUS 24488920 HAS SOUPS 23866117 WITH SCORE 2.3948508703E7
AT ITER 1299 NEW BEST:: SOT 133210454 SOS 82395337 HAS SOPS 67270078 HAS SOUS 24478641 HAS SOUPS 23855838 WITH SCORE 2.3938233337E7
AT ITER 1302 NEW BEST:: SOT 133208868 SOS 82388205 HAS SOPS 67274277 HAS SOUS 24478323 HAS SOUPS 23855520 WITH SCORE 2.3937908205E7
AT ITER 1313 NEW BEST:: SOT 133213379 SOS 82399413 HAS SOPS 67282147 HAS SOUS 24470282 HAS SOUPS 23847479 WITH SCORE 2.3929878413E7
AT ITER 1322 NEW BEST:: SOT 133218585 SOS 82421365 HAS SOPS 67303502 HAS SOUS 24467248 HAS SOUPS 23844445 WITH SCORE 2.3926866365E7
AT ITER 1327 NEW BEST:: SOT 133218975 SOS 82423430 HAS SOPS 67306640 HAS SOUS 24465383 HAS SOUPS 23842609 WITH SCORE 2.392503243E7
AT ITER 1336 NEW BEST:: SOT 133226089 SOS 82437763 HAS SOPS 67297338 HAS SOUS 24445373 HAS SOUPS 23822599 WITH SCORE 2.3905036763E7
AT ITER 1344 NEW BEST:: SOT 133260349 SOS 82529324 HAS SOPS 67372885 HAS SOUS 24425083 HAS SOUPS 23798933 WITH SCORE 2.3881462324E7
AT ITER 1351 NEW BEST:: SOT 133254759 SOS 82516793 HAS SOPS 67363888 HAS SOUS 24418885 HAS SOUPS 23792735 WITH SCORE 2.3875251793E7
AT ITER 1354 NEW BEST:: SOT 133283207 SOS 82605028 HAS SOPS 67450065 HAS SOUS 24404749 HAS SOUPS 23778599 WITH SCORE 2.3861204028E7
AT ITER 1358 NEW BEST:: SOT 133268633 SOS 82591285 HAS SOPS 67427931 HAS SOUS 24370805 HAS SOUPS 23744655 WITH SCORE 2.3827246285E7
AT ITER 1366 NEW BEST:: SOT 133275397 SOS 82610280 HAS SOPS 67432706 HAS SOUS 24361181 HAS SOUPS 23735031 WITH SCORE 2.381764128E7
AT ITER 1378 NEW BEST:: SOT 133268378 SOS 82598568 HAS SOPS 67425088 HAS SOUS 24356941 HAS SOUPS 23730791 WITH SCORE 2.3813389568E7
AT ITER 1384 NEW BEST:: SOT 133304749 SOS 82703888 HAS SOPS 67558311 HAS SOUS 24326344 HAS SOUPS 23700194 WITH SCORE 2.3782897888E7
AT ITER 1398 NEW BEST:: SOT 133304146 SOS 82701727 HAS SOPS 67555993 HAS SOUS 24324712 HAS SOUPS 23698562 WITH SCORE 2.3781263727E7
AT ITER 1405 NEW BEST:: SOT 133308889 SOS 82724937 HAS SOPS 67590842 HAS SOUS 24317808 HAS SOUPS 23691658 WITH SCORE 2.3774382937E7
AT ITER 1420 NEW BEST:: SOT 133319452 SOS 82763269 HAS SOPS 67624440 HAS SOUS 24315081 HAS SOUPS 23688931 WITH SCORE 2.3771694269E7
AT ITER 1423 NEW BEST:: SOT 133328145 SOS 82795439 HAS SOPS 67654055 HAS SOUS 24301101 HAS SOUPS 23674951 WITH SCORE 2.3757746439E7
AT ITER 1429 NEW BEST:: SOT 133325399 SOS 82792293 HAS SOPS 67657183 HAS SOUS 24298658 HAS SOUPS 23672508 WITH SCORE 2.3755300293E7
AT ITER 1444 NEW BEST:: SOT 133318516 SOS 82792681 HAS SOPS 67658516 HAS SOUS 24264208 HAS SOUPS 23638058 WITH SCORE 2.3720850681E7
AT ITER 1455 NEW BEST:: SOT 133295846 SOS 82774526 HAS SOPS 67635810 HAS SOUS 24194824 HAS SOUPS 23568359 WITH SCORE 2.3651133526E7
AT ITER 1473 NEW BEST:: SOT 133295254 SOS 82773974 HAS SOPS 67635493 HAS SOUS 24190516 HAS SOUPS 23564550 WITH SCORE 2.3647323974E7
AT ITER 1476 NEW BEST:: SOT 133295199 SOS 82779221 HAS SOPS 67642421 HAS SOUS 24182292 HAS SOUPS 23556229 WITH SCORE 2.3639008221E7
AT ITER 1495 NEW BEST:: SOT 133294000 SOS 82777514 HAS SOPS 67639135 HAS SOUS 24178051 HAS SOUPS 23552000 WITH SCORE 2.3634777514E7
AT ITER 1502 NEW BEST:: SOT 133290065 SOS 82797187 HAS SOPS 67619844 HAS SOUS 24153375 HAS SOUPS 23526924 WITH SCORE 2.3609721187E7
AT ITER 1507 NEW BEST:: SOT 133294038 SOS 82802936 HAS SOPS 67627088 HAS SOUS 24152396 HAS SOUPS 23525799 WITH SCORE 2.3608601936E7
AT ITER 1519 NEW BEST:: SOT 133307735 SOS 82871133 HAS SOPS 67693876 HAS SOUS 24128724 HAS SOUPS 23502127 WITH SCORE 2.3584998133E7
AT ITER 1532 NEW BEST:: SOT 133308149 SOS 82873476 HAS SOPS 67695541 HAS SOUS 24126351 HAS SOUPS 23499754 WITH SCORE 2.3582627476E7
AT ITER 1538 NEW BEST:: SOT 133306626 SOS 82871932 HAS SOPS 67693650 HAS SOUS 24122180 HAS SOUPS 23495847 WITH SCORE 2.3578718932E7
AT ITER 1548 NEW BEST:: SOT 133310701 SOS 82866783 HAS SOPS 67692798 HAS SOUS 24107750 HAS SOUPS 23480826 WITH SCORE 2.3563692783E7
AT ITER 1554 NEW BEST:: SOT 133308877 SOS 82864639 HAS SOPS 67690909 HAS SOUS 24099290 HAS SOUPS 23472445 WITH SCORE 2.3555309639E7
AT ITER 1557 NEW BEST:: SOT 133307668 SOS 82866874 HAS SOPS 67694331 HAS SOUS 24096159 HAS SOUPS 23469314 WITH SCORE 2.3552180874E7
AT ITER 1565 NEW BEST:: SOT 133266574 SOS 82812903 HAS SOPS 67652067 HAS SOUS 24054399 HAS SOUPS 23428021 WITH SCORE 2.3510833903E7
AT ITER 1571 NEW BEST:: SOT 133255860 SOS 82786757 HAS SOPS 67629985 HAS SOUS 24047627 HAS SOUPS 23421249 WITH SCORE 2.3504035757E7
AT ITER 1594 NEW BEST:: SOT 133255706 SOS 82786515 HAS SOPS 67629958 HAS SOUS 24046155 HAS SOUPS 23419777 WITH SCORE 2.3502563515E7
AT ITER 1595 NEW BEST:: SOT 133251359 SOS 82781230 HAS SOPS 67628983 HAS SOUS 24043696 HAS SOUPS 23417318 WITH SCORE 2.350009923E7
AT ITER 1596 NEW BEST:: SOT 133244757 SOS 82773774 HAS SOPS 67626675 HAS SOUS 24038983 HAS SOUPS 23412720 WITH SCORE 2.3495493774E7
AT ITER 1598 NEW BEST:: SOT 133243238 SOS 82772178 HAS SOPS 67622671 HAS SOUS 24035167 HAS SOUPS 23408904 WITH SCORE 2.3491676178E7
AT ITER 1622 NEW BEST:: SOT 133239669 SOS 82769305 HAS SOPS 67632778 HAS SOUS 24020531 HAS SOUPS 23394268 WITH SCORE 2.3477037305E7
AT ITER 1627 NEW BEST:: SOT 133258447 SOS 82838826 HAS SOPS 67678373 HAS SOUS 23983790 HAS SOUPS 23357527 WITH SCORE 2.3440365826E7
AT ITER 1632 NEW BEST:: SOT 133251697 SOS 82830709 HAS SOPS 67671626 HAS SOUS 23976039 HAS SOUPS 23349776 WITH SCORE 2.3432606709E7
AT ITER 1633 NEW BEST:: SOT 133257694 SOS 82838223 HAS SOPS 67680640 HAS SOUS 23971452 HAS SOUPS 23347165 WITH SCORE 2.3430003223E7
AT ITER 1638 NEW BEST:: SOT 133255308 SOS 82832298 HAS SOPS 67676120 HAS SOUS 23970213 HAS SOUPS 23345926 WITH SCORE 2.3428758298E7
AT ITER 1643 NEW BEST:: SOT 133101079 SOS 82644258 HAS SOPS 67496494 HAS SOUS 23803590 HAS SOUPS 23179631 WITH SCORE 2.3262275258E7
AT ITER 1653 NEW BEST:: SOT 133099399 SOS 82646596 HAS SOPS 67494887 HAS SOUS 23799604 HAS SOUPS 23175588 WITH SCORE 2.3258234596E7
AT ITER 1656 NEW BEST:: SOT 133100760 SOS 82676739 HAS SOPS 67529015 HAS SOUS 23794008 HAS SOUPS 23169992 WITH SCORE 2.3252668739E7
AT ITER 1659 NEW BEST:: SOT 133129841 SOS 82669550 HAS SOPS 67561760 HAS SOUS 23762577 HAS SOUPS 23138561 WITH SCORE 2.322123055E7
AT ITER 1673 NEW BEST:: SOT 133126121 SOS 82666522 HAS SOPS 67557898 HAS SOUS 23750811 HAS SOUPS 23126795 WITH SCORE 2.3209461522E7
AT ITER 1676 NEW BEST:: SOT 133123282 SOS 82663621 HAS SOPS 67554997 HAS SOUS 23743743 HAS SOUPS 23119727 WITH SCORE 2.3202390621E7
AT ITER 1678 NEW BEST:: SOT 133092958 SOS 82596830 HAS SOPS 67501009 HAS SOUS 23703781 HAS SOUPS 23079765 WITH SCORE 2.316236183E7
AT ITER 1681 NEW BEST:: SOT 133104410 SOS 82632977 HAS SOPS 67537119 HAS SOUS 23699623 HAS SOUPS 23075607 WITH SCORE 2.3158239977E7
AT ITER 1683 NEW BEST:: SOT 133101903 SOS 82628706 HAS SOPS 67534600 HAS SOUS 23695130 HAS SOUPS 23071140 WITH SCORE 2.3153768706E7
AT ITER 1686 NEW BEST:: SOT 133093544 SOS 82616531 HAS SOPS 67523473 HAS SOUS 23691980 HAS SOUPS 23068144 WITH SCORE 2.3150760531E7
AT ITER 1715 NEW BEST:: SOT 133094433 SOS 82620991 HAS SOPS 67527388 HAS SOUS 23690963 HAS SOUPS 23067127 WITH SCORE 2.3149747991E7
AT ITER 1722 NEW BEST:: SOT 133095779 SOS 82625939 HAS SOPS 67530071 HAS SOUS 23689490 HAS SOUPS 23065654 WITH SCORE 2.3148279939E7
AT ITER 1734 NEW BEST:: SOT 133102131 SOS 82642476 HAS SOPS 67540877 HAS SOUS 23683448 HAS SOUPS 23059612 WITH SCORE 2.3142254476E7
AT ITER 1737 NEW BEST:: SOT 133093829 SOS 82630902 HAS SOPS 67528122 HAS SOUS 23670099 HAS SOUPS 23046263 WITH SCORE 2.3128893902E7
AT ITER 1742 NEW BEST:: SOT 133102620 SOS 82642115 HAS SOPS 67552946 HAS SOUS 23669373 HAS SOUPS 23045878 WITH SCORE 2.3128520115E7
AT ITER 1756 NEW BEST:: SOT 133104015 SOS 82647400 HAS SOPS 67556054 HAS SOUS 23668965 HAS SOUPS 23045470 WITH SCORE 2.31281174E7
AT ITER 1765 NEW BEST:: SOT 133100263 SOS 82640573 HAS SOPS 67543788 HAS SOUS 23657719 HAS SOUPS 23034224 WITH SCORE 2.3116864573E7
AT ITER 1768 NEW BEST:: SOT 133100967 SOS 82641303 HAS SOPS 67544728 HAS SOUS 23657555 HAS SOUPS 23034060 WITH SCORE 2.3116701303E7
AT ITER 1775 NEW BEST:: SOT 133106762 SOS 82660126 HAS SOPS 67569631 HAS SOUS 23650144 HAS SOUPS 23026649 WITH SCORE 2.3109309126E7
AT ITER 1776 NEW BEST:: SOT 133106784 SOS 82659618 HAS SOPS 67570178 HAS SOUS 23649459 HAS SOUPS 23025964 WITH SCORE 2.3108623618E7
AT ITER 1802 NEW BEST:: SOT 133109550 SOS 82669953 HAS SOPS 67578426 HAS SOUS 23644014 HAS SOUPS 23020519 WITH SCORE 2.3103188953E7
AT ITER 1822 NEW BEST:: SOT 133107338 SOS 82668486 HAS SOPS 67575926 HAS SOUS 23642076 HAS SOUPS 23018454 WITH SCORE 2.3101122486E7
AT ITER 1833 NEW BEST:: SOT 133084718 SOS 82615098 HAS SOPS 67542850 HAS SOUS 23573888 HAS SOUPS 22950266 WITH SCORE 2.3032881098E7
AT ITER 1844 NEW BEST:: SOT 133052155 SOS 82551861 HAS SOPS 67498881 HAS SOUS 23556332 HAS SOUPS 22932710 WITH SCORE 2.3015261861E7
AT ITER 1852 NEW BEST:: SOT 133032838 SOS 82527679 HAS SOPS 67475024 HAS SOUS 23513738 HAS SOUPS 22890258 WITH SCORE 2.2972785679E7
AT ITER 1853 NEW BEST:: SOT 133013336 SOS 82481637 HAS SOPS 67486041 HAS SOUS 23496402 HAS SOUPS 22873809 WITH SCORE 2.2956290637E7
AT ITER 1854 NEW BEST:: SOT 133007226 SOS 82483776 HAS SOPS 67497168 HAS SOUS 23460515 HAS SOUPS 22837922 WITH SCORE 2.2920405776E7
AT ITER 1856 NEW BEST:: SOT 133009109 SOS 82490929 HAS SOPS 67496511 HAS SOUS 23455091 HAS SOUPS 22832269 WITH SCORE 2.2914759929E7
AT ITER 1861 NEW BEST:: SOT 132976433 SOS 82449740 HAS SOPS 67461307 HAS SOUS 23414046 HAS SOUPS 22791224 WITH SCORE 2.287367374E7
AT ITER 1878 NEW BEST:: SOT 132950079 SOS 82422079 HAS SOPS 67433725 HAS SOUS 23369751 HAS SOUPS 22746929 WITH SCORE 2.2829351079E7
AT ITER 1885 NEW BEST:: SOT 132950487 SOS 82424592 HAS SOPS 67434896 HAS SOUS 23368354 HAS SOUPS 22745532 WITH SCORE 2.2827956592E7
AT ITER 1897 NEW BEST:: SOT 132949225 SOS 82427539 HAS SOPS 67439188 HAS SOUS 23361785 HAS SOUPS 22738963 WITH SCORE 2.2821390539E7
AT ITER 1924 NEW BEST:: SOT 132949378 SOS 82449946 HAS SOPS 67455911 HAS SOUS 23342272 HAS SOUPS 22719450 WITH SCORE 2.2801899946E7
AT ITER 1926 NEW BEST:: SOT 132953338 SOS 82464290 HAS SOPS 67466244 HAS SOUS 23339992 HAS SOUPS 22714713 WITH SCORE 2.279717729E7
AT ITER 1933 NEW BEST:: SOT 132974943 SOS 82505535 HAS SOPS 67501536 HAS SOUS 23322415 HAS SOUPS 22697379 WITH SCORE 2.2779884535E7
AT ITER 1936 NEW BEST:: SOT 132966984 SOS 82494887 HAS SOPS 67487791 HAS SOUS 23315779 HAS SOUPS 22690743 WITH SCORE 2.2773237887E7
AT ITER 1950 NEW BEST:: SOT 132963503 SOS 82489814 HAS SOPS 67481930 HAS SOUS 23309988 HAS SOUPS 22684972 WITH SCORE 2.2767461814E7
AT ITER 1951 NEW BEST:: SOT 132968745 SOS 82487043 HAS SOPS 67477202 HAS SOUS 23307621 HAS SOUPS 22682605 WITH SCORE 2.2765092043E7
AT ITER 1960 NEW BEST:: SOT 132967332 SOS 82486920 HAS SOPS 67473519 HAS SOUS 23304867 HAS SOUPS 22679818 WITH SCORE 2.276230492E7
AT ITER 1967 NEW BEST:: SOT 132966662 SOS 82486674 HAS SOPS 67471957 HAS SOUS 23302919 HAS SOUPS 22677870 WITH SCORE 2.2760356674E7
AT ITER 1971 NEW BEST:: SOT 132971741 SOS 82492479 HAS SOPS 67492763 HAS SOUS 23302041 HAS SOUPS 22676885 WITH SCORE 2.2759377479E7
AT ITER 2003 NEW BEST:: SOT 132985568 SOS 82516851 HAS SOPS 67522683 HAS SOUS 23285278 HAS SOUPS 22663801 WITH SCORE 2.2746317851E7
AT ITER 2007 NEW BEST:: SOT 132985478 SOS 82516770 HAS SOPS 67522377 HAS SOUS 23285221 HAS SOUPS 22663747 WITH SCORE 2.274626377E7
AT ITER 2013 NEW BEST:: SOT 132987961 SOS 82516354 HAS SOPS 67532323 HAS SOUS 23278098 HAS SOUPS 22659746 WITH SCORE 2.2742262354E7
AT ITER 2029 NEW BEST:: SOT 132991906 SOS 82524557 HAS SOPS 67541362 HAS SOUS 23270728 HAS SOUPS 22652376 WITH SCORE 2.2734900557E7
AT ITER 2030 NEW BEST:: SOT 132927526 SOS 82456445 HAS SOPS 67472985 HAS SOUS 23211677 HAS SOUPS 22593548 WITH SCORE 2.2676004445E7
AT ITER 2031 NEW BEST:: SOT 132929788 SOS 82458769 HAS SOPS 67476047 HAS SOUS 23211481 HAS SOUPS 22593352 WITH SCORE 2.2675810769E7
AT ITER 2037 NEW BEST:: SOT 132923940 SOS 82447829 HAS SOPS 67465914 HAS SOUS 23196455 HAS SOUPS 22579765 WITH SCORE 2.2662212829E7
AT ITER 2072 NEW BEST:: SOT 132884214 SOS 82387828 HAS SOPS 67424187 HAS SOUS 23170468 HAS SOUPS 22553778 WITH SCORE 2.2636165828E7
AT ITER 2103 NEW BEST:: SOT 132870620 SOS 82374196 HAS SOPS 67409345 HAS SOUS 23155171 HAS SOUPS 22538481 WITH SCORE 2.2620855196E7
AT ITER 2105 NEW BEST:: SOT 132874283 SOS 82383444 HAS SOPS 67419339 HAS SOUS 23153032 HAS SOUPS 22536342 WITH SCORE 2.2618725444E7
AT ITER 2109 NEW BEST:: SOT 132866677 SOS 82377868 HAS SOPS 67413715 HAS SOUS 23145571 HAS SOUPS 22528881 WITH SCORE 2.2611258868E7
AT ITER 2114 NEW BEST:: SOT 132868261 SOS 82386055 HAS SOPS 67419923 HAS SOUS 23139520 HAS SOUPS 22522526 WITH SCORE 2.2604912055E7
AT ITER 2118 NEW BEST:: SOT 132866144 SOS 82375007 HAS SOPS 67416807 HAS SOUS 23138956 HAS SOUPS 22522072 WITH SCORE 2.2604447007E7
AT ITER 2119 NEW BEST:: SOT 132864577 SOS 82372168 HAS SOPS 67413340 HAS SOUS 23135649 HAS SOUPS 22518765 WITH SCORE 2.2601137168E7
AT ITER 2141 NEW BEST:: SOT 132859364 SOS 82356310 HAS SOPS 67401976 HAS SOUS 23132867 HAS SOUPS 22515983 WITH SCORE 2.259833931E7
AT ITER 2165 NEW BEST:: SOT 132859346 SOS 82355658 HAS SOPS 67401349 HAS SOUS 23131989 HAS SOUPS 22515105 WITH SCORE 2.2597460658E7
AT ITER 2174 NEW BEST:: SOT 132836227 SOS 82302081 HAS SOPS 67380250 HAS SOUS 23114689 HAS SOUPS 22497840 WITH SCORE 2.2580142081E7
AT ITER 2175 NEW BEST:: SOT 132843211 SOS 82315551 HAS SOPS 67400434 HAS SOUS 23104562 HAS SOUPS 22487713 WITH SCORE 2.2570028551E7

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-8"
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-8, 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-158961502400136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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