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

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

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589715408895

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 4
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 25 NEW BEST:: SOT 133643984 SOS 82187021 HAS SOPS 66746701 HAS SOUS 26437734 HAS SOUPS 25810848 WITH SCORE 2.5893035021E7
AT ITER 29 NEW BEST:: SOT 133670145 SOS 82310162 HAS SOPS 66856283 HAS SOUS 26384879 HAS SOUPS 25757993 WITH SCORE 2.5840303162E7
AT ITER 31 NEW BEST:: SOT 133751013 SOS 82391491 HAS SOPS 66938147 HAS SOUS 26382591 HAS SOUPS 25755788 WITH SCORE 2.5838179491E7
AT ITER 43 NEW BEST:: SOT 133750695 SOS 82391311 HAS SOPS 66938400 HAS SOUS 26380859 HAS SOUPS 25754022 WITH SCORE 2.5836413311E7
AT ITER 46 NEW BEST:: SOT 133753412 SOS 82399834 HAS SOPS 66941308 HAS SOUS 26375918 HAS SOUPS 25749039 WITH SCORE 2.5831438834E7
AT ITER 66 NEW BEST:: SOT 133737142 SOS 82372155 HAS SOPS 66926865 HAS SOUS 26356655 HAS SOUPS 25729685 WITH SCORE 2.5812057155E7
AT ITER 75 NEW BEST:: SOT 133737720 SOS 82374295 HAS SOPS 66926864 HAS SOUS 26354573 HAS SOUPS 25727603 WITH SCORE 2.5809977295E7
AT ITER 76 NEW BEST:: SOT 133732284 SOS 82359006 HAS SOPS 66925047 HAS SOUS 26352273 HAS SOUPS 25727020 WITH SCORE 2.5809379006E7
AT ITER 77 NEW BEST:: SOT 133751692 SOS 82437185 HAS SOPS 67000417 HAS SOUS 26342028 HAS SOUPS 25716775 WITH SCORE 2.5799212185E7
AT ITER 101 NEW BEST:: SOT 133772361 SOS 82493457 HAS SOPS 67062535 HAS SOUS 26335643 HAS SOUPS 25710390 WITH SCORE 2.5792883457E7
AT ITER 103 NEW BEST:: SOT 133770790 SOS 82489572 HAS SOPS 67061367 HAS SOUS 26334434 HAS SOUPS 25709220 WITH SCORE 2.5791709572E7
AT ITER 117 NEW BEST:: SOT 133770242 SOS 82489031 HAS SOPS 67060890 HAS SOUS 26333678 HAS SOUPS 25708464 WITH SCORE 2.5790953031E7
AT ITER 124 NEW BEST:: SOT 133785256 SOS 82517412 HAS SOPS 67088891 HAS SOUS 26324398 HAS SOUPS 25700454 WITH SCORE 2.5782971412E7
AT ITER 125 NEW BEST:: SOT 133783761 SOS 82512780 HAS SOPS 67082802 HAS SOUS 26319866 HAS SOUPS 25695922 WITH SCORE 2.577843478E7
AT ITER 137 NEW BEST:: SOT 133785108 SOS 82511928 HAS SOPS 67089503 HAS SOUS 26310661 HAS SOUPS 25686717 WITH SCORE 2.5769228928E7
AT ITER 140 NEW BEST:: SOT 133782526 SOS 82515304 HAS SOPS 67093163 HAS SOUS 26298373 HAS SOUPS 25674429 WITH SCORE 2.5756944304E7
AT ITER 145 NEW BEST:: SOT 133804251 SOS 82566079 HAS SOPS 67134664 HAS SOUS 26296665 HAS SOUPS 25672721 WITH SCORE 2.5755287079E7
AT ITER 148 NEW BEST:: SOT 133874183 SOS 82773108 HAS SOPS 67331647 HAS SOUS 26245881 HAS SOUPS 25621852 WITH SCORE 2.5704625108E7
AT ITER 149 NEW BEST:: SOT 133875780 SOS 82775858 HAS SOPS 67331857 HAS SOUS 26241483 HAS SOUPS 25617693 WITH SCORE 2.5700468858E7
AT ITER 174 NEW BEST:: SOT 133871681 SOS 82771280 HAS SOPS 67328389 HAS SOUS 26237847 HAS SOUPS 25614057 WITH SCORE 2.569682828E7
AT ITER 184 NEW BEST:: SOT 133869778 SOS 82767550 HAS SOPS 67322739 HAS SOUS 26230906 HAS SOUPS 25607116 WITH SCORE 2.568988355E7
AT ITER 190 NEW BEST:: SOT 133870093 SOS 82770642 HAS SOPS 67330567 HAS SOUS 26230106 HAS SOUPS 25606316 WITH SCORE 2.5689086642E7
AT ITER 213 NEW BEST:: SOT 133882296 SOS 82803160 HAS SOPS 67352730 HAS SOUS 26204443 HAS SOUPS 25581029 WITH SCORE 2.566383216E7
AT ITER 224 NEW BEST:: SOT 133888133 SOS 82818244 HAS SOPS 67372319 HAS SOUS 26199441 HAS SOUPS 25576027 WITH SCORE 2.5658845244E7
AT ITER 239 NEW BEST:: SOT 133859026 SOS 82789096 HAS SOPS 67343107 HAS SOUS 26161582 HAS SOUPS 25538168 WITH SCORE 2.5620957096E7
AT ITER 240 NEW BEST:: SOT 133867159 SOS 82830489 HAS SOPS 67380573 HAS SOUS 26128729 HAS SOUPS 25505315 WITH SCORE 2.5588145489E7
AT ITER 243 NEW BEST:: SOT 133866214 SOS 82828905 HAS SOPS 67379386 HAS SOUS 26128008 HAS SOUPS 25504594 WITH SCORE 2.5587422905E7
AT ITER 257 NEW BEST:: SOT 133844576 SOS 82784693 HAS SOPS 67347812 HAS SOUS 26119662 HAS SOUPS 25496248 WITH SCORE 2.5579032693E7
AT ITER 260 NEW BEST:: SOT 133845527 SOS 82798450 HAS SOPS 67362780 HAS SOUS 26111412 HAS SOUPS 25487998 WITH SCORE 2.557079645E7
AT ITER 261 NEW BEST:: SOT 133842866 SOS 82796079 HAS SOPS 67360568 HAS SOUS 26101084 HAS SOUPS 25477670 WITH SCORE 2.5560466079E7
AT ITER 267 NEW BEST:: SOT 133842863 SOS 82796075 HAS SOPS 67360572 HAS SOUS 26101068 HAS SOUPS 25477658 WITH SCORE 2.5560454075E7
AT ITER 269 NEW BEST:: SOT 133831319 SOS 82784141 HAS SOPS 67389931 HAS SOUS 26093811 HAS SOUPS 25470401 WITH SCORE 2.5553185141E7
AT ITER 271 NEW BEST:: SOT 133835962 SOS 82785751 HAS SOPS 67399797 HAS SOUS 26082553 HAS SOUPS 25459143 WITH SCORE 2.5541928751E7
AT ITER 288 NEW BEST:: SOT 133832944 SOS 82781758 HAS SOPS 67395529 HAS SOUS 26076960 HAS SOUPS 25453550 WITH SCORE 2.5536331758E7
AT ITER 290 NEW BEST:: SOT 133832788 SOS 82784299 HAS SOPS 67403365 HAS SOUS 26071881 HAS SOUPS 25448471 WITH SCORE 2.5531255299E7
AT ITER 297 NEW BEST:: SOT 133836126 SOS 82798355 HAS SOPS 67427829 HAS SOUS 26055474 HAS SOUPS 25432064 WITH SCORE 2.5514862355E7
AT ITER 300 NEW BEST:: SOT 133836454 SOS 82799570 HAS SOPS 67428883 HAS SOUS 26055251 HAS SOUPS 25431841 WITH SCORE 2.551464057E7
AT ITER 315 NEW BEST:: SOT 133848812 SOS 82835898 HAS SOPS 67457572 HAS SOUS 26055212 HAS SOUPS 25431802 WITH SCORE 2.5514637898E7
AT ITER 318 NEW BEST:: SOT 133860780 SOS 82865330 HAS SOPS 67498727 HAS SOUS 26052734 HAS SOUPS 25429265 WITH SCORE 2.551213033E7
AT ITER 320 NEW BEST:: SOT 133859103 SOS 82851898 HAS SOPS 67482765 HAS SOUS 26048392 HAS SOUPS 25424923 WITH SCORE 2.5507774898E7
AT ITER 327 NEW BEST:: SOT 133848101 SOS 82826219 HAS SOPS 67457149 HAS SOUS 26035572 HAS SOUPS 25412103 WITH SCORE 2.5494929219E7
AT ITER 328 NEW BEST:: SOT 133845980 SOS 82849753 HAS SOPS 67493489 HAS SOUS 26020460 HAS SOUPS 25396991 WITH SCORE 2.5479840753E7
AT ITER 341 NEW BEST:: SOT 133858663 SOS 82923932 HAS SOPS 67568864 HAS SOUS 25987485 HAS SOUPS 25364016 WITH SCORE 2.5446939932E7
AT ITER 347 NEW BEST:: SOT 133851779 SOS 82914723 HAS SOPS 67556987 HAS SOUS 25971498 HAS SOUPS 25348029 WITH SCORE 2.5430943723E7
AT ITER 350 NEW BEST:: SOT 133847680 SOS 82910624 HAS SOPS 67552536 HAS SOUS 25970215 HAS SOUPS 25346522 WITH SCORE 2.5429432624E7
AT ITER 362 NEW BEST:: SOT 133847070 SOS 82909909 HAS SOPS 67551739 HAS SOUS 25969049 HAS SOUPS 25345363 WITH SCORE 2.5428272909E7
AT ITER 365 NEW BEST:: SOT 133846762 SOS 82912348 HAS SOPS 67554893 HAS SOUS 25962699 HAS SOUPS 25339013 WITH SCORE 2.5421925348E7
AT ITER 366 NEW BEST:: SOT 133848306 SOS 82917405 HAS SOPS 67556412 HAS SOUS 25960824 HAS SOUPS 25337138 WITH SCORE 2.5420055405E7
AT ITER 367 NEW BEST:: SOT 133855044 SOS 82941367 HAS SOPS 67574834 HAS SOUS 25956473 HAS SOUPS 25332787 WITH SCORE 2.5415728367E7
AT ITER 375 NEW BEST:: SOT 133849204 SOS 82923174 HAS SOPS 67555409 HAS SOUS 25945032 HAS SOUPS 25321346 WITH SCORE 2.5404269174E7
AT ITER 418 NEW BEST:: SOT 133845849 SOS 82913158 HAS SOPS 67551695 HAS SOUS 25941635 HAS SOUPS 25317949 WITH SCORE 2.5400862158E7
AT ITER 428 NEW BEST:: SOT 133849888 SOS 82914669 HAS SOPS 67547927 HAS SOUS 25925943 HAS SOUPS 25301037 WITH SCORE 2.5383951669E7
AT ITER 438 NEW BEST:: SOT 133850163 SOS 82915074 HAS SOPS 67548144 HAS SOUS 25925863 HAS SOUPS 25300957 WITH SCORE 2.5383872074E7
AT ITER 439 NEW BEST:: SOT 133852811 SOS 82923033 HAS SOPS 67551007 HAS SOUS 25918579 HAS SOUPS 25293673 WITH SCORE 2.5376596033E7
AT ITER 450 NEW BEST:: SOT 133875778 SOS 83022271 HAS SOPS 67655448 HAS SOUS 25902135 HAS SOUPS 25277229 WITH SCORE 2.5360251271E7
AT ITER 462 NEW BEST:: SOT 133898085 SOS 83060297 HAS SOPS 67691503 HAS SOUS 25896988 HAS SOUPS 25272082 WITH SCORE 2.5355142297E7
AT ITER 474 NEW BEST:: SOT 133878853 SOS 83010330 HAS SOPS 67643763 HAS SOUS 25801091 HAS SOUPS 25176267 WITH SCORE 2.525927733E7
AT ITER 477 NEW BEST:: SOT 133878854 SOS 83010352 HAS SOPS 67643926 HAS SOUS 25801011 HAS SOUPS 25176187 WITH SCORE 2.5259197352E7
AT ITER 490 NEW BEST:: SOT 133878419 SOS 83010817 HAS SOPS 67643896 HAS SOUS 25799509 HAS SOUPS 25174685 WITH SCORE 2.5257695817E7
AT ITER 512 NEW BEST:: SOT 133853846 SOS 82972761 HAS SOPS 67618008 HAS SOUS 25757832 HAS SOUPS 25133008 WITH SCORE 2.5215980761E7
AT ITER 515 NEW BEST:: SOT 133853459 SOS 82976217 HAS SOPS 67620240 HAS SOUS 25753644 HAS SOUPS 25128820 WITH SCORE 2.5211796217E7
AT ITER 529 NEW BEST:: SOT 133802947 SOS 82910368 HAS SOPS 67561792 HAS SOUS 25693857 HAS SOUPS 25069479 WITH SCORE 2.5152389368E7
AT ITER 532 NEW BEST:: SOT 133799962 SOS 82909865 HAS SOPS 67557881 HAS SOUS 25682463 HAS SOUPS 25058085 WITH SCORE 2.5140994865E7
AT ITER 550 NEW BEST:: SOT 133801652 SOS 82908624 HAS SOPS 67553156 HAS SOUS 25662396 HAS SOUPS 25038018 WITH SCORE 2.5120926624E7
AT ITER 560 NEW BEST:: SOT 133802694 SOS 82914533 HAS SOPS 67557794 HAS SOUS 25652639 HAS SOUPS 25028261 WITH SCORE 2.5111175533E7
AT ITER 566 NEW BEST:: SOT 133773989 SOS 82837614 HAS SOPS 67502667 HAS SOUS 25633654 HAS SOUPS 25009276 WITH SCORE 2.5092113614E7
AT ITER 608 NEW BEST:: SOT 133735363 SOS 82772740 HAS SOPS 67446754 HAS SOUS 25591926 HAS SOUPS 24968232 WITH SCORE 2.505100474E7
AT ITER 610 NEW BEST:: SOT 133735905 SOS 82773350 HAS SOPS 67446325 HAS SOUS 25591694 HAS SOUPS 24968000 WITH SCORE 2.505077335E7
AT ITER 612 NEW BEST:: SOT 133735697 SOS 82776612 HAS SOPS 67446996 HAS SOUS 25586218 HAS SOUPS 24962524 WITH SCORE 2.5045300612E7
AT ITER 636 NEW BEST:: SOT 133719262 SOS 82760006 HAS SOPS 67430390 HAS SOUS 25566732 HAS SOUPS 24943038 WITH SCORE 2.5025798006E7
AT ITER 638 NEW BEST:: SOT 133719552 SOS 82769347 HAS SOPS 67437252 HAS SOUS 25563542 HAS SOUPS 24939848 WITH SCORE 2.5022617347E7
AT ITER 648 NEW BEST:: SOT 133719909 SOS 82770893 HAS SOPS 67429967 HAS SOUS 25545409 HAS SOUPS 24921721 WITH SCORE 2.5004491893E7
AT ITER 651 NEW BEST:: SOT 133721285 SOS 82771031 HAS SOPS 67431105 HAS SOUS 25543359 HAS SOUPS 24919701 WITH SCORE 2.5002472031E7
AT ITER 661 NEW BEST:: SOT 133716108 SOS 82765607 HAS SOPS 67423762 HAS SOUS 25534205 HAS SOUPS 24910591 WITH SCORE 2.4993356607E7
AT ITER 669 NEW BEST:: SOT 133716799 SOS 82770710 HAS SOPS 67429975 HAS SOUS 25523001 HAS SOUPS 24899387 WITH SCORE 2.498215771E7
AT ITER 671 NEW BEST:: SOT 133715514 SOS 82770528 HAS SOPS 67426476 HAS SOUS 25505209 HAS SOUPS 24881595 WITH SCORE 2.4964365528E7
AT ITER 685 NEW BEST:: SOT 133713200 SOS 82770699 HAS SOPS 67429428 HAS SOUS 25504136 HAS SOUPS 24880522 WITH SCORE 2.4963292699E7
AT ITER 706 NEW BEST:: SOT 133693551 SOS 82739886 HAS SOPS 67408712 HAS SOUS 25479251 HAS SOUPS 24855637 WITH SCORE 2.4938376886E7
AT ITER 707 NEW BEST:: SOT 133693387 SOS 82739528 HAS SOPS 67410077 HAS SOUS 25479065 HAS SOUPS 24855479 WITH SCORE 2.4938218528E7
AT ITER 709 NEW BEST:: SOT 133692789 SOS 82738552 HAS SOPS 67409305 HAS SOUS 25477823 HAS SOUPS 24854169 WITH SCORE 2.4936907552E7
AT ITER 713 NEW BEST:: SOT 133686474 SOS 82721503 HAS SOPS 67411005 HAS SOUS 25446742 HAS SOUPS 24826643 WITH SCORE 2.4909364503E7
AT ITER 717 NEW BEST:: SOT 133685094 SOS 82709781 HAS SOPS 67402397 HAS SOUS 25445131 HAS SOUPS 24825032 WITH SCORE 2.4907741781E7
AT ITER 736 NEW BEST:: SOT 133678291 SOS 82716767 HAS SOPS 67405967 HAS SOUS 25419546 HAS SOUPS 24799447 WITH SCORE 2.4882163767E7
AT ITER 738 NEW BEST:: SOT 133687599 SOS 82732617 HAS SOPS 67413954 HAS SOUS 25418373 HAS SOUPS 24797628 WITH SCORE 2.4880360617E7
AT ITER 743 NEW BEST:: SOT 133644366 SOS 82657302 HAS SOPS 67371079 HAS SOUS 25380048 HAS SOUPS 24761910 WITH SCORE 2.4844567302E7
AT ITER 763 NEW BEST:: SOT 133652705 SOS 82702487 HAS SOPS 67416436 HAS SOUS 25379164 HAS SOUPS 24761026 WITH SCORE 2.4843728487E7
AT ITER 769 NEW BEST:: SOT 133650745 SOS 82700527 HAS SOPS 67414476 HAS SOUS 25377268 HAS SOUPS 24759130 WITH SCORE 2.4841830527E7
AT ITER 785 NEW BEST:: SOT 133652661 SOS 82702850 HAS SOPS 67414083 HAS SOUS 25363782 HAS SOUPS 24745644 WITH SCORE 2.482834685E7
AT ITER 796 NEW BEST:: SOT 133652725 SOS 82703182 HAS SOPS 67414435 HAS SOUS 25363634 HAS SOUPS 24745496 WITH SCORE 2.4828199182E7
AT ITER 814 NEW BEST:: SOT 133655846 SOS 82719915 HAS SOPS 67436359 HAS SOUS 25361949 HAS SOUPS 24743811 WITH SCORE 2.4826530915E7
AT ITER 825 NEW BEST:: SOT 133656858 SOS 82731027 HAS SOPS 67443279 HAS SOUS 25357001 HAS SOUPS 24738863 WITH SCORE 2.4821594027E7
AT ITER 829 NEW BEST:: SOT 133656543 SOS 82730382 HAS SOPS 67442844 HAS SOUS 25356953 HAS SOUPS 24738815 WITH SCORE 2.4821545382E7
AT ITER 839 NEW BEST:: SOT 133656146 SOS 82730348 HAS SOPS 67442773 HAS SOUS 25355900 HAS SOUPS 24737762 WITH SCORE 2.4820492348E7
AT ITER 841 NEW BEST:: SOT 133658275 SOS 82734551 HAS SOPS 67435627 HAS SOUS 25348702 HAS SOUPS 24730564 WITH SCORE 2.4813298551E7
AT ITER 851 NEW BEST:: SOT 133539148 SOS 82579542 HAS SOPS 67287706 HAS SOUS 25243800 HAS SOUPS 24618352 WITH SCORE 2.4700931542E7
AT ITER 867 NEW BEST:: SOT 133542682 SOS 82589919 HAS SOPS 67296229 HAS SOUS 25238621 HAS SOUPS 24613173 WITH SCORE 2.4695762919E7
AT ITER 872 NEW BEST:: SOT 133543575 SOS 82593213 HAS SOPS 67298958 HAS SOUS 25237834 HAS SOUPS 24612386 WITH SCORE 2.4694979213E7
AT ITER 880 NEW BEST:: SOT 133539888 SOS 82591844 HAS SOPS 67298774 HAS SOUS 25224613 HAS SOUPS 24599165 WITH SCORE 2.4681756844E7
AT ITER 887 NEW BEST:: SOT 133540053 SOS 82593109 HAS SOPS 67300364 HAS SOUS 25223678 HAS SOUPS 24598230 WITH SCORE 2.4680823109E7
AT ITER 888 NEW BEST:: SOT 133537651 SOS 82592272 HAS SOPS 67290825 HAS SOUS 25205504 HAS SOUPS 24580056 WITH SCORE 2.4662648272E7
AT ITER 890 NEW BEST:: SOT 133532745 SOS 82580774 HAS SOPS 67285827 HAS SOUS 25201619 HAS SOUPS 24576171 WITH SCORE 2.4658751774E7
AT ITER 899 NEW BEST:: SOT 133517700 SOS 82525683 HAS SOPS 67241192 HAS SOUS 25182419 HAS SOUPS 24556971 WITH SCORE 2.4639496683E7
AT ITER 902 NEW BEST:: SOT 133517586 SOS 82525965 HAS SOPS 67241420 HAS SOUS 25182194 HAS SOUPS 24556746 WITH SCORE 2.4639271965E7
AT ITER 903 NEW BEST:: SOT 133551579 SOS 82591382 HAS SOPS 67301929 HAS SOUS 25181444 HAS SOUPS 24556068 WITH SCORE 2.4638659382E7
AT ITER 919 NEW BEST:: SOT 133551599 SOS 82595710 HAS SOPS 67307867 HAS SOUS 25180574 HAS SOUPS 24555198 WITH SCORE 2.463779371E7
AT ITER 924 NEW BEST:: SOT 133545698 SOS 82589634 HAS SOPS 67298172 HAS SOUS 25167727 HAS SOUPS 24542350 WITH SCORE 2.4624939634E7
AT ITER 963 NEW BEST:: SOT 133547112 SOS 82591477 HAS SOPS 67300129 HAS SOUS 25165956 HAS SOUPS 24540579 WITH SCORE 2.4623170477E7
AT ITER 987 NEW BEST:: SOT 133574717 SOS 82664605 HAS SOPS 67370418 HAS SOUS 25112138 HAS SOUPS 24486761 WITH SCORE 2.4569425605E7
AT ITER 995 NEW BEST:: SOT 133574529 SOS 82664571 HAS SOPS 67370069 HAS SOUS 25111521 HAS SOUPS 24486144 WITH SCORE 2.4568808571E7
AT ITER 998 NEW BEST:: SOT 133569796 SOS 82654474 HAS SOPS 67363028 HAS SOUS 25107722 HAS SOUPS 24482345 WITH SCORE 2.4564999474E7
AT ITER 1012 NEW BEST:: SOT 133569958 SOS 82654304 HAS SOPS 67362474 HAS SOUS 25107126 HAS SOUPS 24481749 WITH SCORE 2.4564403304E7
AT ITER 1018 NEW BEST:: SOT 133564958 SOS 82649474 HAS SOPS 67354535 HAS SOUS 25092205 HAS SOUPS 24466732 WITH SCORE 2.4549381474E7
AT ITER 1020 NEW BEST:: SOT 133585034 SOS 82722459 HAS SOPS 67408437 HAS SOUS 25071833 HAS SOUPS 24446360 WITH SCORE 2.4529082459E7
AT ITER 1022 NEW BEST:: SOT 133583593 SOS 82716093 HAS SOPS 67403574 HAS SOUS 25069685 HAS SOUPS 24444212 WITH SCORE 2.4526928093E7
AT ITER 1026 NEW BEST:: SOT 133567113 SOS 82695489 HAS SOPS 67381843 HAS SOUS 25041286 HAS SOUPS 24415813 WITH SCORE 2.4498508489E7
AT ITER 1031 NEW BEST:: SOT 133550718 SOS 82679094 HAS SOPS 67359080 HAS SOUS 25022155 HAS SOUPS 24396122 WITH SCORE 2.4478801094E7
AT ITER 1036 NEW BEST:: SOT 133549427 SOS 82684410 HAS SOPS 67373805 HAS SOUS 25020134 HAS SOUPS 24394101 WITH SCORE 2.447678541E7
AT ITER 1041 NEW BEST:: SOT 133547262 SOS 82682255 HAS SOPS 67371644 HAS SOUS 25015520 HAS SOUPS 24389487 WITH SCORE 2.4472169255E7
AT ITER 1053 NEW BEST:: SOT 133573968 SOS 82746834 HAS SOPS 67472227 HAS SOUS 25005581 HAS SOUPS 24377636 WITH SCORE 2.4460382834E7
AT ITER 1055 NEW BEST:: SOT 133573622 SOS 82743990 HAS SOPS 67467914 HAS SOUS 25002837 HAS SOUPS 24374892 WITH SCORE 2.445763599E7
AT ITER 1059 NEW BEST:: SOT 133573717 SOS 82745611 HAS SOPS 67467896 HAS SOUS 25000074 HAS SOUPS 24372129 WITH SCORE 2.4454874611E7
AT ITER 1062 NEW BEST:: SOT 133571335 SOS 82742092 HAS SOPS 67462917 HAS SOUS 24995331 HAS SOUPS 24367386 WITH SCORE 2.4450128092E7
AT ITER 1077 NEW BEST:: SOT 133571001 SOS 82741675 HAS SOPS 67461915 HAS SOUS 24994362 HAS SOUPS 24366417 WITH SCORE 2.4449158675E7
AT ITER 1095 NEW BEST:: SOT 133569602 SOS 82737427 HAS SOPS 67457407 HAS SOUS 24992296 HAS SOUPS 24364351 WITH SCORE 2.4447088427E7
AT ITER 1114 NEW BEST:: SOT 133582799 SOS 82773405 HAS SOPS 67479429 HAS SOUS 24991641 HAS SOUPS 24363587 WITH SCORE 2.4446360405E7
AT ITER 1117 NEW BEST:: SOT 133581951 SOS 82771149 HAS SOPS 67479076 HAS SOUS 24991245 HAS SOUPS 24363191 WITH SCORE 2.4445962149E7
AT ITER 1126 NEW BEST:: SOT 133536497 SOS 82708323 HAS SOPS 67424872 HAS SOUS 24910955 HAS SOUPS 24282901 WITH SCORE 2.4365609323E7
AT ITER 1137 NEW BEST:: SOT 133542733 SOS 82732726 HAS SOPS 67441116 HAS SOUS 24904367 HAS SOUPS 24276313 WITH SCORE 2.4359045726E7
AT ITER 1158 NEW BEST:: SOT 133554273 SOS 82773796 HAS SOPS 67469427 HAS SOUS 24882560 HAS SOUPS 24254506 WITH SCORE 2.4337279796E7
AT ITER 1160 NEW BEST:: SOT 133557031 SOS 82783461 HAS SOPS 67468336 HAS SOUS 24863573 HAS SOUPS 24240379 WITH SCORE 2.4323162461E7
AT ITER 1169 NEW BEST:: SOT 133383378 SOS 82578233 HAS SOPS 67267517 HAS SOUS 24652282 HAS SOUPS 24029383 WITH SCORE 2.4111961233E7
AT ITER 1170 NEW BEST:: SOT 133415280 SOS 82662873 HAS SOPS 67329856 HAS SOUS 24650559 HAS SOUPS 24027660 WITH SCORE 2.4110322873E7
AT ITER 1178 NEW BEST:: SOT 133414760 SOS 82668641 HAS SOPS 67335505 HAS SOUS 24649783 HAS SOUPS 24026884 WITH SCORE 2.4109552641E7
AT ITER 1184 NEW BEST:: SOT 133405400 SOS 82658280 HAS SOPS 67328283 HAS SOUS 24616970 HAS SOUPS 23994073 WITH SCORE 2.407673128E7
AT ITER 1211 NEW BEST:: SOT 133398567 SOS 82635227 HAS SOPS 67322168 HAS SOUS 24614030 HAS SOUPS 23991133 WITH SCORE 2.4073768227E7
AT ITER 1223 NEW BEST:: SOT 133395889 SOS 82630897 HAS SOPS 67319480 HAS SOUS 24607835 HAS SOUPS 23984938 WITH SCORE 2.4067568897E7
AT ITER 1228 NEW BEST:: SOT 133398828 SOS 82645639 HAS SOPS 67338889 HAS SOUS 24597460 HAS SOUPS 23974567 WITH SCORE 2.4057212639E7
AT ITER 1229 NEW BEST:: SOT 133398379 SOS 82645252 HAS SOPS 67340215 HAS SOUS 24595880 HAS SOUPS 23972987 WITH SCORE 2.4055632252E7
AT ITER 1245 NEW BEST:: SOT 133402831 SOS 82668308 HAS SOPS 67355556 HAS SOUS 24587891 HAS SOUPS 23964998 WITH SCORE 2.4047666308E7
AT ITER 1248 NEW BEST:: SOT 133410909 SOS 82696750 HAS SOPS 67373103 HAS SOUS 24572335 HAS SOUPS 23949442 WITH SCORE 2.403213875E7
AT ITER 1254 NEW BEST:: SOT 133390176 SOS 82664661 HAS SOPS 67350149 HAS SOUS 24550786 HAS SOUPS 23928126 WITH SCORE 2.4010790661E7
AT ITER 1283 NEW BEST:: SOT 133405201 SOS 82710283 HAS SOPS 67385732 HAS SOUS 24543337 HAS SOUPS 23920677 WITH SCORE 2.4003387283E7
AT ITER 1291 NEW BEST:: SOT 133399630 SOS 82697264 HAS SOPS 67392809 HAS SOUS 24521129 HAS SOUPS 23898744 WITH SCORE 2.3981441264E7
AT ITER 1301 NEW BEST:: SOT 133403568 SOS 82704962 HAS SOPS 67396142 HAS SOUS 24520184 HAS SOUPS 23897799 WITH SCORE 2.3980503962E7
AT ITER 1303 NEW BEST:: SOT 133403582 SOS 82705136 HAS SOPS 67395875 HAS SOUS 24519674 HAS SOUPS 23897289 WITH SCORE 2.3979994136E7
AT ITER 1306 NEW BEST:: SOT 133415191 SOS 82750974 HAS SOPS 67436132 HAS SOUS 24505876 HAS SOUPS 23883491 WITH SCORE 2.3966241974E7
AT ITER 1320 NEW BEST:: SOT 133396031 SOS 82731416 HAS SOPS 67414540 HAS SOUS 24474193 HAS SOUPS 23852225 WITH SCORE 2.3934956416E7
AT ITER 1327 NEW BEST:: SOT 133396175 SOS 82732674 HAS SOPS 67415487 HAS SOUS 24473044 HAS SOUPS 23851076 WITH SCORE 2.3933808674E7
AT ITER 1363 NEW BEST:: SOT 133386976 SOS 82721584 HAS SOPS 67402717 HAS SOUS 24443690 HAS SOUPS 23821722 WITH SCORE 2.3904443584E7
AT ITER 1365 NEW BEST:: SOT 133386642 SOS 82721290 HAS SOPS 67402921 HAS SOUS 24441786 HAS SOUPS 23820074 WITH SCORE 2.390279529E7
AT ITER 1386 NEW BEST:: SOT 133281659 SOS 82558562 HAS SOPS 67273553 HAS SOUS 24365239 HAS SOUPS 23744139 WITH SCORE 2.3826697562E7
AT ITER 1409 NEW BEST:: SOT 133267004 SOS 82542888 HAS SOPS 67253657 HAS SOUS 24329374 HAS SOUPS 23708169 WITH SCORE 2.3790711888E7
AT ITER 1442 NEW BEST:: SOT 133302382 SOS 82622303 HAS SOPS 67330967 HAS SOUS 24322903 HAS SOUPS 23701698 WITH SCORE 2.3784320303E7
AT ITER 1447 NEW BEST:: SOT 133292068 SOS 82609699 HAS SOPS 67318284 HAS SOUS 24291605 HAS SOUPS 23670400 WITH SCORE 2.3753009699E7
AT ITER 1448 NEW BEST:: SOT 133283488 SOS 82603134 HAS SOPS 67306632 HAS SOUS 24262033 HAS SOUPS 23640828 WITH SCORE 2.3723431134E7
AT ITER 1454 NEW BEST:: SOT 133320562 SOS 82624711 HAS SOPS 67322369 HAS SOUS 24254907 HAS SOUPS 23633702 WITH SCORE 2.3716326711E7
AT ITER 1462 NEW BEST:: SOT 133263909 SOS 82563338 HAS SOPS 67244079 HAS SOUS 24157596 HAS SOUPS 23536496 WITH SCORE 2.3619059338E7
AT ITER 1466 NEW BEST:: SOT 133248657 SOS 82544196 HAS SOPS 67223134 HAS SOUS 24130197 HAS SOUPS 23509197 WITH SCORE 2.3591741196E7
AT ITER 1514 NEW BEST:: SOT 133245577 SOS 82543575 HAS SOPS 67223173 HAS SOUS 24117691 HAS SOUPS 23496678 WITH SCORE 2.3579221575E7
AT ITER 1519 NEW BEST:: SOT 133239186 SOS 82537184 HAS SOPS 67216046 HAS SOUS 24113972 HAS SOUPS 23492959 WITH SCORE 2.3575496184E7
AT ITER 1545 NEW BEST:: SOT 133228473 SOS 82524555 HAS SOPS 67198794 HAS SOUS 24087954 HAS SOUPS 23466941 WITH SCORE 2.3549465555E7
AT ITER 1548 NEW BEST:: SOT 133206265 SOS 82492934 HAS SOPS 67167636 HAS SOUS 24048729 HAS SOUPS 23427716 WITH SCORE 2.3510208934E7
AT ITER 1552 NEW BEST:: SOT 133205901 SOS 82491523 HAS SOPS 67169917 HAS SOUS 24026990 HAS SOUPS 23405977 WITH SCORE 2.3488468523E7
AT ITER 1553 NEW BEST:: SOT 133205813 SOS 82490494 HAS SOPS 67169958 HAS SOUS 24026745 HAS SOUPS 23405732 WITH SCORE 2.3488222494E7
AT ITER 1556 NEW BEST:: SOT 133205567 SOS 82490558 HAS SOPS 67169952 HAS SOUS 24026383 HAS SOUPS 23405370 WITH SCORE 2.3487860558E7
AT ITER 1570 NEW BEST:: SOT 133224885 SOS 82551175 HAS SOPS 67219139 HAS SOUS 24024566 HAS SOUPS 23403553 WITH SCORE 2.3486104175E7
AT ITER 1571 NEW BEST:: SOT 133220513 SOS 82570262 HAS SOPS 67271594 HAS SOUS 24003252 HAS SOUPS 23382239 WITH SCORE 2.3464809262E7
AT ITER 1584 NEW BEST:: SOT 133199971 SOS 82538730 HAS SOPS 67250207 HAS SOUS 23993166 HAS SOUPS 23372389 WITH SCORE 2.345492773E7
AT ITER 1607 NEW BEST:: SOT 133120733 SOS 82382705 HAS SOPS 67156448 HAS SOUS 23963423 HAS SOUPS 23343188 WITH SCORE 2.3425570705E7
AT ITER 1609 NEW BEST:: SOT 133119354 SOS 82381264 HAS SOPS 67155071 HAS SOUS 23960277 HAS SOUPS 23340042 WITH SCORE 2.3422423264E7
AT ITER 1617 NEW BEST:: SOT 133075246 SOS 82337156 HAS SOPS 67110963 HAS SOUS 23916169 HAS SOUPS 23295934 WITH SCORE 2.3378271156E7
AT ITER 1634 NEW BEST:: SOT 133074847 SOS 82357187 HAS SOPS 67151710 HAS SOUS 23903969 HAS SOUPS 23283734 WITH SCORE 2.3366091187E7
AT ITER 1643 NEW BEST:: SOT 133100024 SOS 82374172 HAS SOPS 67205939 HAS SOUS 23890876 HAS SOUPS 23270641 WITH SCORE 2.3353015172E7
AT ITER 1646 NEW BEST:: SOT 133099987 SOS 82374166 HAS SOPS 67205962 HAS SOUS 23890807 HAS SOUPS 23270572 WITH SCORE 2.3352946166E7
AT ITER 1660 NEW BEST:: SOT 133119228 SOS 82400743 HAS SOPS 67231266 HAS SOUS 23885006 HAS SOUPS 23265595 WITH SCORE 2.3347995743E7
AT ITER 1676 NEW BEST:: SOT 133130533 SOS 82437744 HAS SOPS 67274885 HAS SOUS 23864307 HAS SOUPS 23244896 WITH SCORE 2.3327333744E7
AT ITER 1701 NEW BEST:: SOT 133130693 SOS 82439512 HAS SOPS 67287149 HAS SOUS 23862300 HAS SOUPS 23242889 WITH SCORE 2.3325328512E7
AT ITER 1702 NEW BEST:: SOT 133125661 SOS 82431450 HAS SOPS 67279638 HAS SOUS 23854723 HAS SOUPS 23235408 WITH SCORE 2.331783945E7
AT ITER 1721 NEW BEST:: SOT 133122590 SOS 82437785 HAS SOPS 67278665 HAS SOUS 23831789 HAS SOUPS 23212632 WITH SCORE 2.3295069785E7
AT ITER 1725 NEW BEST:: SOT 133120512 SOS 82443963 HAS SOPS 67283045 HAS SOUS 23810392 HAS SOUPS 23191235 WITH SCORE 2.3273678963E7
AT ITER 1727 NEW BEST:: SOT 133128455 SOS 82478473 HAS SOPS 67319127 HAS SOUS 23809150 HAS SOUPS 23189993 WITH SCORE 2.3272471473E7
AT ITER 1739 NEW BEST:: SOT 133127524 SOS 82477514 HAS SOPS 67318168 HAS SOUS 23808163 HAS SOUPS 23189006 WITH SCORE 2.3271483514E7
AT ITER 1740 NEW BEST:: SOT 133132353 SOS 82494343 HAS SOPS 67331299 HAS SOUS 23795158 HAS SOUPS 23175818 WITH SCORE 2.3258312343E7
AT ITER 1755 NEW BEST:: SOT 133139059 SOS 82512706 HAS SOPS 67346187 HAS SOUS 23794556 HAS SOUPS 23175216 WITH SCORE 2.3257728706E7
AT ITER 1757 NEW BEST:: SOT 133139780 SOS 82519201 HAS SOPS 67352348 HAS SOUS 23793181 HAS SOUPS 23173841 WITH SCORE 2.3256360201E7
AT ITER 1759 NEW BEST:: SOT 133186155 SOS 82618294 HAS SOPS 67473795 HAS SOUS 23791939 HAS SOUPS 23172981 WITH SCORE 2.3255599294E7
AT ITER 1776 NEW BEST:: SOT 133186137 SOS 82618226 HAS SOPS 67473717 HAS SOUS 23791897 HAS SOUPS 23172939 WITH SCORE 2.3255557226E7
AT ITER 1780 NEW BEST:: SOT 133184279 SOS 82612740 HAS SOPS 67468521 HAS SOUS 23791291 HAS SOUPS 23172357 WITH SCORE 2.325496974E7
AT ITER 1785 NEW BEST:: SOT 133175804 SOS 82582878 HAS SOPS 67459450 HAS SOUS 23761827 HAS SOUPS 23143132 WITH SCORE 2.3225714878E7
AT ITER 1788 NEW BEST:: SOT 133175387 SOS 82582424 HAS SOPS 67458932 HAS SOUS 23760616 HAS SOUPS 23141921 WITH SCORE 2.3224503424E7
AT ITER 1794 NEW BEST:: SOT 133173779 SOS 82580254 HAS SOPS 67456280 HAS SOUS 23756028 HAS SOUPS 23137333 WITH SCORE 2.3219913254E7
AT ITER 1802 NEW BEST:: SOT 133160000 SOS 82558829 HAS SOPS 67431577 HAS SOUS 23731291 HAS SOUPS 23112596 WITH SCORE 2.3195154829E7
AT ITER 1807 NEW BEST:: SOT 133164883 SOS 82572563 HAS SOPS 67441600 HAS SOUS 23730585 HAS SOUPS 23111890 WITH SCORE 2.3194462563E7
AT ITER 1808 NEW BEST:: SOT 133165623 SOS 82577609 HAS SOPS 67444450 HAS SOUS 23727606 HAS SOUPS 23108911 WITH SCORE 2.3191488609E7
AT ITER 1811 NEW BEST:: SOT 133137789 SOS 82553400 HAS SOPS 67415202 HAS SOUS 23633834 HAS SOUPS 23015039 WITH SCORE 2.30975924E7
AT ITER 1825 NEW BEST:: SOT 133142314 SOS 82592423 HAS SOPS 67445587 HAS SOUS 23619897 HAS SOUPS 23001102 WITH SCORE 2.3083694423E7
AT ITER 1835 NEW BEST:: SOT 133158099 SOS 82639900 HAS SOPS 67482200 HAS SOUS 23562053 HAS SOUPS 22943258 WITH SCORE 2.30258979E7
AT ITER 1841 NEW BEST:: SOT 133157354 SOS 82639227 HAS SOPS 67480791 HAS SOUS 23560491 HAS SOUPS 22941696 WITH SCORE 2.3024335227E7
AT ITER 1852 NEW BEST:: SOT 133146964 SOS 82619729 HAS SOPS 67463995 HAS SOUS 23552090 HAS SOUPS 22933295 WITH SCORE 2.3015914729E7
AT ITER 1855 NEW BEST:: SOT 133146250 SOS 82619015 HAS SOPS 67463281 HAS SOUS 23551426 HAS SOUPS 22932631 WITH SCORE 2.3015250015E7
AT ITER 1863 NEW BEST:: SOT 133149450 SOS 82640287 HAS SOPS 67471099 HAS SOUS 23535175 HAS SOUPS 22916380 WITH SCORE 2.2999020287E7
AT ITER 1868 NEW BEST:: SOT 133159489 SOS 82652477 HAS SOPS 67474526 HAS SOUS 23532586 HAS SOUPS 22913873 WITH SCORE 2.2996525477E7
AT ITER 1870 NEW BEST:: SOT 133158763 SOS 82651751 HAS SOPS 67473211 HAS SOUS 23532020 HAS SOUPS 22912718 WITH SCORE 2.2995369751E7
AT ITER 1872 NEW BEST:: SOT 133145481 SOS 82638408 HAS SOPS 67459061 HAS SOUS 23515712 HAS SOUPS 22895855 WITH SCORE 2.2978493408E7
AT ITER 1904 NEW BEST:: SOT 133152927 SOS 82653274 HAS SOPS 67481166 HAS SOUS 23502692 HAS SOUPS 22882835 WITH SCORE 2.2965488274E7
AT ITER 1907 NEW BEST:: SOT 133152785 SOS 82652121 HAS SOPS 67480192 HAS SOUS 23502665 HAS SOUPS 22882808 WITH SCORE 2.2965460121E7
AT ITER 1910 NEW BEST:: SOT 133152539 SOS 82651752 HAS SOPS 67479448 HAS SOUS 23502111 HAS SOUPS 22882245 WITH SCORE 2.2964896752E7
AT ITER 1931 NEW BEST:: SOT 133148028 SOS 82645585 HAS SOPS 67475222 HAS SOUS 23488424 HAS SOUPS 22868558 WITH SCORE 2.2951203585E7
AT ITER 1934 NEW BEST:: SOT 133148162 SOS 82646407 HAS SOPS 67473102 HAS SOUS 23487460 HAS SOUPS 22867594 WITH SCORE 2.2950240407E7
AT ITER 1944 NEW BEST:: SOT 133141922 SOS 82634475 HAS SOPS 67469249 HAS SOUS 23480194 HAS SOUPS 22860328 WITH SCORE 2.2942962475E7
AT ITER 1952 NEW BEST:: SOT 133141145 SOS 82634376 HAS SOPS 67459630 HAS SOUS 23458987 HAS SOUPS 22841025 WITH SCORE 2.2923659376E7
AT ITER 1987 NEW BEST:: SOT 133154536 SOS 82670583 HAS SOPS 67482373 HAS SOUS 23458650 HAS SOUPS 22840607 WITH SCORE 2.2923277583E7
AT ITER 1996 NEW BEST:: SOT 133147362 SOS 82656156 HAS SOPS 67476014 HAS SOUS 23457658 HAS SOUPS 22839615 WITH SCORE 2.2922271156E7
AT ITER 1999 NEW BEST:: SOT 133131174 SOS 82639146 HAS SOPS 67459030 HAS SOUS 23424496 HAS SOUPS 22806371 WITH SCORE 2.2889010146E7
AT ITER 2002 NEW BEST:: SOT 133146796 SOS 82665547 HAS SOPS 67494802 HAS SOUS 23401366 HAS SOUPS 22783122 WITH SCORE 2.2865787547E7
AT ITER 2036 NEW BEST:: SOT 133110208 SOS 82597820 HAS SOPS 67444239 HAS SOUS 23376364 HAS SOUPS 22758120 WITH SCORE 2.284071782E7
AT ITER 2040 NEW BEST:: SOT 133109267 SOS 82599930 HAS SOPS 67442625 HAS SOUS 23375344 HAS SOUPS 22757100 WITH SCORE 2.283969993E7
AT ITER 2059 NEW BEST:: SOT 133085016 SOS 82570976 HAS SOPS 67412512 HAS SOUS 23359097 HAS SOUPS 22740853 WITH SCORE 2.2823423976E7
AT ITER 2063 NEW BEST:: SOT 133078155 SOS 82563734 HAS SOPS 67402659 HAS SOUS 23344847 HAS SOUPS 22726584 WITH SCORE 2.2809147734E7
AT ITER 2070 NEW BEST:: SOT 133086233 SOS 82586108 HAS SOPS 67421375 HAS SOUS 23340955 HAS SOUPS 22722692 WITH SCORE 2.2805278108E7
AT ITER 2075 NEW BEST:: SOT 133086911 SOS 82588174 HAS SOPS 67422477 HAS SOUS 23340019 HAS SOUPS 22721756 WITH SCORE 2.2804344174E7
AT ITER 2087 NEW BEST:: SOT 133073510 SOS 82575190 HAS SOPS 67402223 HAS SOUS 23323965 HAS SOUPS 22704056 WITH SCORE 2.278663119E7
AT ITER 2092 NEW BEST:: SOT 133061008 SOS 82552638 HAS SOPS 67388733 HAS SOUS 23318511 HAS SOUPS 22698602 WITH SCORE 2.2781154638E7
AT ITER 2099 NEW BEST:: SOT 133058493 SOS 82550290 HAS SOPS 67387822 HAS SOUS 23318572 HAS SOUPS 22698119 WITH SCORE 2.278066929E7
AT ITER 2142 NEW BEST:: SOT 133048142 SOS 82533471 HAS SOPS 67367553 HAS SOUS 23283653 HAS SOUPS 22663447 WITH SCORE 2.2745980471E7
AT ITER 2143 NEW BEST:: SOT 133047264 SOS 82531617 HAS SOPS 67364794 HAS SOUS 23282464 HAS SOUPS 22662258 WITH SCORE 2.2744789617E7
AT ITER 2152 NEW BEST:: SOT 133028376 SOS 82480644 HAS SOPS 67325944 HAS SOUS 23272304 HAS SOUPS 22652098 WITH SCORE 2.2734578644E7
AT ITER 2155 NEW BEST:: SOT 133021917 SOS 82469014 HAS SOPS 67317420 HAS SOUS 23266174 HAS SOUPS 22645968 WITH SCORE 2.2728437014E7
AT ITER 2167 NEW BEST:: SOT 133022122 SOS 82469708 HAS SOPS 67319173 HAS SOUS 23261441 HAS SOUPS 22641235 WITH SCORE 2.2723704708E7
AT ITER 2187 NEW BEST:: SOT 133022519 SOS 82479330 HAS SOPS 67346304 HAS SOUS 23248344 HAS SOUPS 22629386 WITH SCORE 2.271186533E7
AT ITER 2210 NEW BEST:: SOT 133018497 SOS 82465547 HAS SOPS 67358415 HAS SOUS 23235972 HAS SOUPS 22617014 WITH SCORE 2.2699479547E7
AT ITER 2217 NEW BEST:: SOT 133018263 SOS 82465489 HAS SOPS 67358152 HAS SOUS 23234727 HAS SOUPS 22615769 WITH SCORE 2.2698234489E7
AT ITER 2224 NEW BEST:: SOT 133023621 SOS 82452750 HAS SOPS 67387352 HAS SOUS 23227134 HAS SOUPS 22608585 WITH SCORE 2.269103775E7
AT ITER 2234 NEW BEST:: SOT 133022841 SOS 82450713 HAS SOPS 67385315 HAS SOUS 23224696 HAS SOUPS 22606147 WITH SCORE 2.2688597713E7
AT ITER 2252 NEW BEST:: SOT 133022371 SOS 82450371 HAS SOPS 67384902 HAS SOUS 23223187 HAS SOUPS 22604638 WITH SCORE 2.2687088371E7
AT ITER 2258 NEW BEST:: SOT 133025985 SOS 82464919 HAS SOPS 67404936 HAS SOUS 23217531 HAS SOUPS 22598982 WITH SCORE 2.2681446919E7
AT ITER 2260 NEW BEST:: SOT 133026189 SOS 82464844 HAS SOPS 67404746 HAS SOUS 23217439 HAS SOUPS 22598890 WITH SCORE 2.2681354844E7
AT ITER 2267 NEW BEST:: SOT 133015401 SOS 82454703 HAS SOPS 67393304 HAS SOUS 23200695 HAS SOUPS 22582220 WITH SCORE 2.2664674703E7
AT ITER 2286 NEW BEST:: SOT 133041744 SOS 82545009 HAS SOPS 67474251 HAS SOUS 23167839 HAS SOUPS 22549364 WITH SCORE 2.2631909009E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

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