Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194400256.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS2020-PT-pb105, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194400256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 87M
-rw-r--r-- 1 mcc users 7.7K Feb 26 08:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 08:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 08:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 09:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 09:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 86M Mar 5 18:23 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 1679491680330

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS2020-PT-pb105
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb105
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1982 places, 153412 transitions, 610156 arcs.
AT ITER 0 NEW BEST:: SOT 158886576 SOS 103507991 HAS SOPS 92051752 HAS SOUS 25548097 HAS SOUPS 25419350 WITH SCORE 2.5522857991E7
AT ITER 1 NEW BEST:: SOT 158882947 SOS 103505417 HAS SOPS 92046938 HAS SOUS 25546547 HAS SOUPS 25417800 WITH SCORE 2.5521305417E7
AT ITER 8 NEW BEST:: SOT 158883053 SOS 103498455 HAS SOPS 92039976 HAS SOUS 25546481 HAS SOUPS 25417734 WITH SCORE 2.5521232455E7
AT ITER 56 NEW BEST:: SOT 158877748 SOS 103492142 HAS SOPS 92030487 HAS SOUS 25530223 HAS SOUPS 25401476 WITH SCORE 2.5504968142E7
AT ITER 57 NEW BEST:: SOT 158874434 SOS 103488705 HAS SOPS 92026358 HAS SOUS 25524942 HAS SOUPS 25395898 WITH SCORE 2.5499386705E7
AT ITER 69 NEW BEST:: SOT 158874055 SOS 103488278 HAS SOPS 92025412 HAS SOUS 25524310 HAS SOUPS 25395266 WITH SCORE 2.5498754278E7
AT ITER 70 NEW BEST:: SOT 158868498 SOS 103459219 HAS SOPS 92002322 HAS SOUS 25521016 HAS SOUPS 25391972 WITH SCORE 2.5495431219E7
AT ITER 72 NEW BEST:: SOT 158938254 SOS 103505787 HAS SOPS 92059196 HAS SOUS 25457112 HAS SOUPS 25328579 WITH SCORE 2.5432084787E7
AT ITER 81 NEW BEST:: SOT 158938875 SOS 103491515 HAS SOPS 92059684 HAS SOUS 25456749 HAS SOUPS 25328380 WITH SCORE 2.5431871515E7
AT ITER 127 NEW BEST:: SOT 158928615 SOS 103480451 HAS SOPS 92045655 HAS SOUS 25433856 HAS SOUPS 25305487 WITH SCORE 2.5408967451E7
AT ITER 130 NEW BEST:: SOT 158867461 SOS 103421240 HAS SOPS 91991277 HAS SOUS 25397967 HAS SOUPS 25269598 WITH SCORE 2.537301924E7
AT ITER 135 NEW BEST:: SOT 158861317 SOS 103415474 HAS SOPS 91983894 HAS SOUS 25384181 HAS SOUPS 25255758 WITH SCORE 2.5359173474E7
AT ITER 152 NEW BEST:: SOT 158861193 SOS 103405683 HAS SOPS 91980171 HAS SOUS 25383584 HAS SOUPS 25255309 WITH SCORE 2.5358714683E7
AT ITER 163 NEW BEST:: SOT 158855952 SOS 103400537 HAS SOPS 91975083 HAS SOUS 25376862 HAS SOUPS 25248587 WITH SCORE 2.5351987537E7
AT ITER 169 NEW BEST:: SOT 158855952 SOS 103400459 HAS SOPS 91975005 HAS SOUS 25376821 HAS SOUPS 25248546 WITH SCORE 2.5351946459E7
AT ITER 174 NEW BEST:: SOT 158856587 SOS 103400957 HAS SOPS 91971018 HAS SOUS 25320226 HAS SOUPS 25191964 WITH SCORE 2.5295364957E7
AT ITER 178 NEW BEST:: SOT 158854832 SOS 103399147 HAS SOPS 91968780 HAS SOUS 25316441 HAS SOUPS 25188179 WITH SCORE 2.5291578147E7
AT ITER 180 NEW BEST:: SOT 158852363 SOS 103396643 HAS SOPS 91964911 HAS SOUS 25308326 HAS SOUPS 25180064 WITH SCORE 2.5283460643E7
AT ITER 195 NEW BEST:: SOT 158919480 SOS 103463202 HAS SOPS 92014027 HAS SOUS 25305685 HAS SOUPS 25176115 WITH SCORE 2.5279578202E7
AT ITER 203 NEW BEST:: SOT 158928096 SOS 103472417 HAS SOPS 92020873 HAS SOUS 25300931 HAS SOUPS 25171361 WITH SCORE 2.5274833417E7
AT ITER 206 NEW BEST:: SOT 158927973 SOS 103472294 HAS SOPS 92020709 HAS SOUS 25300029 HAS SOUPS 25170459 WITH SCORE 2.5273931294E7
AT ITER 222 NEW BEST:: SOT 158928054 SOS 103472318 HAS SOPS 92020684 HAS SOUS 25299944 HAS SOUPS 25170374 WITH SCORE 2.5273846318E7
AT ITER 231 NEW BEST:: SOT 158996667 SOS 103398112 HAS SOPS 92080931 HAS SOUS 25297431 HAS SOUPS 25166283 WITH SCORE 2.5269681112E7
AT ITER 239 NEW BEST:: SOT 158996793 SOS 103395839 HAS SOPS 92080980 HAS SOUS 25297335 HAS SOUPS 25166241 WITH SCORE 2.5269636839E7
AT ITER 244 NEW BEST:: SOT 159070508 SOS 103479365 HAS SOPS 92165485 HAS SOUS 25293292 HAS SOUPS 25162198 WITH SCORE 2.5265677365E7
AT ITER 255 NEW BEST:: SOT 159070287 SOS 103479170 HAS SOPS 92165212 HAS SOUS 25291394 HAS SOUPS 25160300 WITH SCORE 2.526377917E7
AT ITER 263 NEW BEST:: SOT 159263689 SOS 103676329 HAS SOPS 92363629 HAS SOUS 25264263 HAS SOUPS 25133169 WITH SCORE 2.5236845329E7
AT ITER 281 NEW BEST:: SOT 159199513 SOS 103651010 HAS SOPS 92352109 HAS SOUS 25258263 HAS SOUPS 25126657 WITH SCORE 2.523030801E7
AT ITER 282 NEW BEST:: SOT 159193511 SOS 103645147 HAS SOPS 92345832 HAS SOUS 25248566 HAS SOUPS 25116960 WITH SCORE 2.5220605147E7
AT ITER 284 NEW BEST:: SOT 159198848 SOS 103650982 HAS SOPS 92351531 HAS SOUS 25245460 HAS SOUPS 25113854 WITH SCORE 2.5217504982E7
AT ITER 295 NEW BEST:: SOT 159198857 SOS 103651000 HAS SOPS 92351549 HAS SOUS 25245311 HAS SOUPS 25113705 WITH SCORE 2.5217356E7
AT ITER 303 NEW BEST:: SOT 159198807 SOS 103649684 HAS SOPS 92351545 HAS SOUS 25245183 HAS SOUPS 25113609 WITH SCORE 2.5217258684E7
AT ITER 309 NEW BEST:: SOT 159187844 SOS 103638582 HAS SOPS 92337983 HAS SOUS 25222891 HAS SOUPS 25090930 WITH SCORE 2.5194568582E7
AT ITER 315 NEW BEST:: SOT 159141490 SOS 103592692 HAS SOPS 92290199 HAS SOUS 25166055 HAS SOUPS 25033922 WITH SCORE 2.5137514692E7
AT ITER 326 NEW BEST:: SOT 159136092 SOS 103587583 HAS SOPS 92283477 HAS SOUS 25160218 HAS SOUPS 25028085 WITH SCORE 2.5131672583E7
AT ITER 349 NEW BEST:: SOT 159111886 SOS 103563377 HAS SOPS 92253992 HAS SOUS 25129953 HAS SOUPS 24997820 WITH SCORE 2.5101383377E7
AT ITER 350 NEW BEST:: SOT 158933257 SOS 103474092 HAS SOPS 92169611 HAS SOUS 24956992 HAS SOUPS 24825630 WITH SCORE 2.4929104092E7
AT ITER 361 NEW BEST:: SOT 158940924 SOS 103481711 HAS SOPS 92176541 HAS SOUS 24926209 HAS SOUPS 24794859 WITH SCORE 2.4898340711E7
AT ITER 362 NEW BEST:: SOT 158941072 SOS 103454359 HAS SOPS 92149189 HAS SOUS 24925561 HAS SOUPS 24794211 WITH SCORE 2.4897665359E7
AT ITER 368 NEW BEST:: SOT 159079826 SOS 103587348 HAS SOPS 92255935 HAS SOUS 24843297 HAS SOUPS 24709923 WITH SCORE 2.4813510348E7
AT ITER 371 NEW BEST:: SOT 159082892 SOS 103593383 HAS SOPS 92253957 HAS SOUS 24841815 HAS SOUPS 24708441 WITH SCORE 2.4812034383E7
AT ITER 372 NEW BEST:: SOT 159081708 SOS 103592199 HAS SOPS 92250660 HAS SOUS 24839045 HAS SOUPS 24705671 WITH SCORE 2.4809263199E7
AT ITER 387 NEW BEST:: SOT 159082152 SOS 103592808 HAS SOPS 92251992 HAS SOUS 24832100 HAS SOUPS 24698726 WITH SCORE 2.4802318808E7
AT ITER 394 NEW BEST:: SOT 159069003 SOS 103581864 HAS SOPS 92249077 HAS SOUS 24825921 HAS SOUPS 24692547 WITH SCORE 2.4796128864E7
AT ITER 396 NEW BEST:: SOT 159065333 SOS 103578224 HAS SOPS 92244637 HAS SOUS 24820065 HAS SOUPS 24686691 WITH SCORE 2.4790269224E7
AT ITER 422 NEW BEST:: SOT 159065907 SOS 103577494 HAS SOPS 92241525 HAS SOUS 24816667 HAS SOUPS 24683293 WITH SCORE 2.4786870494E7
AT ITER 435 NEW BEST:: SOT 159065877 SOS 103577464 HAS SOPS 92241483 HAS SOUS 24816517 HAS SOUPS 24683143 WITH SCORE 2.4786720464E7
AT ITER 442 NEW BEST:: SOT 159065828 SOS 103577415 HAS SOPS 92241430 HAS SOUS 24816419 HAS SOUPS 24683045 WITH SCORE 2.4786622415E7
AT ITER 448 NEW BEST:: SOT 159100733 SOS 103592653 HAS SOPS 92256467 HAS SOUS 24809259 HAS SOUPS 24675970 WITH SCORE 2.4779562653E7
AT ITER 464 NEW BEST:: SOT 159094839 SOS 103586805 HAS SOPS 92249983 HAS SOUS 24800374 HAS SOUPS 24667085 WITH SCORE 2.4770671805E7
AT ITER 474 NEW BEST:: SOT 159095515 SOS 103714921 HAS SOPS 92378099 HAS SOUS 24800176 HAS SOUPS 24666887 WITH SCORE 2.4770601921E7
AT ITER 480 NEW BEST:: SOT 159094463 SOS 103713888 HAS SOPS 92376835 HAS SOUS 24796045 HAS SOUPS 24662756 WITH SCORE 2.4766469888E7
AT ITER 482 NEW BEST:: SOT 159090929 SOS 103709990 HAS SOPS 92370035 HAS SOUS 24774440 HAS SOUPS 24641151 WITH SCORE 2.474486099E7
AT ITER 485 NEW BEST:: SOT 159090917 SOS 103709982 HAS SOPS 92370027 HAS SOUS 24774436 HAS SOUPS 24641147 WITH SCORE 2.4744856982E7
AT ITER 491 NEW BEST:: SOT 159090527 SOS 103709659 HAS SOPS 92368799 HAS SOUS 24769760 HAS SOUPS 24636471 WITH SCORE 2.4740180659E7
AT ITER 516 NEW BEST:: SOT 159009501 SOS 103628406 HAS SOPS 92287287 HAS SOUS 24687228 HAS SOUPS 24553939 WITH SCORE 2.4657567406E7
AT ITER 518 NEW BEST:: SOT 158975380 SOS 103548868 HAS SOPS 92212928 HAS SOUS 24686281 HAS SOUPS 24552663 WITH SCORE 2.4656211868E7
AT ITER 528 NEW BEST:: SOT 158975511 SOS 103550291 HAS SOPS 92214351 HAS SOUS 24686024 HAS SOUPS 24552406 WITH SCORE 2.4655956291E7
AT ITER 553 NEW BEST:: SOT 158963084 SOS 103537864 HAS SOPS 92199455 HAS SOUS 24669982 HAS SOUPS 24536274 WITH SCORE 2.4639811864E7
AT ITER 554 NEW BEST:: SOT 158967956 SOS 103542999 HAS SOPS 92203522 HAS SOUS 24661479 HAS SOUPS 24527771 WITH SCORE 2.4631313999E7
AT ITER 573 NEW BEST:: SOT 158965450 SOS 103540629 HAS SOPS 92200866 HAS SOUS 24656449 HAS SOUPS 24522741 WITH SCORE 2.4626281629E7
AT ITER 575 NEW BEST:: SOT 158973879 SOS 103522869 HAS SOPS 92177122 HAS SOUS 24623574 HAS SOUPS 24490115 WITH SCORE 2.4593637869E7
AT ITER 581 NEW BEST:: SOT 158969937 SOS 103519146 HAS SOPS 92172742 HAS SOUS 24617661 HAS SOUPS 24484202 WITH SCORE 2.4587721146E7
AT ITER 609 NEW BEST:: SOT 158970768 SOS 103520156 HAS SOPS 92173500 HAS SOUS 24615190 HAS SOUPS 24481731 WITH SCORE 2.4585251156E7
AT ITER 629 NEW BEST:: SOT 159014601 SOS 103582828 HAS SOPS 92236368 HAS SOUS 24577031 HAS SOUPS 24443916 WITH SCORE 2.4547498828E7
AT ITER 642 NEW BEST:: SOT 159022480 SOS 103583674 HAS SOPS 92236294 HAS SOUS 24534059 HAS SOUPS 24400944 WITH SCORE 2.4504527674E7
AT ITER 650 NEW BEST:: SOT 159054959 SOS 103604452 HAS SOPS 92250078 HAS SOUS 24488877 HAS SOUPS 24355904 WITH SCORE 2.4459508452E7
AT ITER 671 NEW BEST:: SOT 159045387 SOS 103582778 HAS SOPS 92239719 HAS SOUS 24470369 HAS SOUPS 24337518 WITH SCORE 2.4441100778E7
AT ITER 672 NEW BEST:: SOT 159079981 SOS 103587401 HAS SOPS 92239682 HAS SOUS 24467973 HAS SOUPS 24335122 WITH SCORE 2.4438709401E7
AT ITER 678 NEW BEST:: SOT 159066177 SOS 103486725 HAS SOPS 92181501 HAS SOUS 24415794 HAS SOUPS 24283281 WITH SCORE 2.4386767725E7
AT ITER 686 NEW BEST:: SOT 159064211 SOS 103484728 HAS SOPS 92178592 HAS SOUS 24406073 HAS SOUPS 24273560 WITH SCORE 2.4377044728E7
AT ITER 697 NEW BEST:: SOT 159063999 SOS 103485866 HAS SOPS 92180000 HAS SOUS 24404976 HAS SOUPS 24272463 WITH SCORE 2.4375948866E7
AT ITER 698 NEW BEST:: SOT 159063002 SOS 103485059 HAS SOPS 92178467 HAS SOUS 24401665 HAS SOUPS 24269152 WITH SCORE 2.4372637059E7
AT ITER 706 NEW BEST:: SOT 159060803 SOS 103482762 HAS SOPS 92175283 HAS SOUS 24392724 HAS SOUPS 24260253 WITH SCORE 2.4363735762E7
AT ITER 719 NEW BEST:: SOT 159049880 SOS 103471835 HAS SOPS 92162924 HAS SOUS 24375227 HAS SOUPS 24242756 WITH SCORE 2.4346227835E7
AT ITER 722 NEW BEST:: SOT 159056519 SOS 103475725 HAS SOPS 92164645 HAS SOUS 24367902 HAS SOUPS 24235431 WITH SCORE 2.4338906725E7
AT ITER 734 NEW BEST:: SOT 159056684 SOS 103468245 HAS SOPS 92162115 HAS SOUS 24367802 HAS SOUPS 24235386 WITH SCORE 2.4338854245E7
AT ITER 746 NEW BEST:: SOT 159059540 SOS 103467675 HAS SOPS 92160683 HAS SOUS 24366964 HAS SOUPS 24234548 WITH SCORE 2.4338015675E7
AT ITER 748 NEW BEST:: SOT 159065189 SOS 103473645 HAS SOPS 92164158 HAS SOUS 24361841 HAS SOUPS 24229425 WITH SCORE 2.4332898645E7
AT ITER 757 NEW BEST:: SOT 159065116 SOS 103425189 HAS SOPS 92115702 HAS SOUS 24361845 HAS SOUPS 24229429 WITH SCORE 2.4332854189E7
AT ITER 764 NEW BEST:: SOT 159065500 SOS 103526756 HAS SOPS 92216797 HAS SOUS 24358457 HAS SOUPS 24226872 WITH SCORE 2.4330398756E7
AT ITER 770 NEW BEST:: SOT 159070390 SOS 103531219 HAS SOPS 92220145 HAS SOUS 24358242 HAS SOUPS 24226657 WITH SCORE 2.4330188219E7
AT ITER 791 NEW BEST:: SOT 159068945 SOS 103547397 HAS SOPS 92236938 HAS SOUS 24357251 HAS SOUPS 24225666 WITH SCORE 2.4329213397E7
AT ITER 794 NEW BEST:: SOT 159068401 SOS 103539016 HAS SOPS 92227028 HAS SOUS 24354589 HAS SOUPS 24223004 WITH SCORE 2.4326543016E7
AT ITER 826 NEW BEST:: SOT 159014893 SOS 103373633 HAS SOPS 92075115 HAS SOUS 24347952 HAS SOUPS 24216096 WITH SCORE 2.4319469633E7
AT ITER 827 NEW BEST:: SOT 159006819 SOS 103326699 HAS SOPS 92018327 HAS SOUS 24266781 HAS SOUPS 24135200 WITH SCORE 2.4238526699E7
AT ITER 833 NEW BEST:: SOT 158999970 SOS 103320036 HAS SOPS 92010201 HAS SOUS 24255659 HAS SOUPS 24124078 WITH SCORE 2.4227398036E7
AT ITER 836 NEW BEST:: SOT 159002111 SOS 103322063 HAS SOPS 92011563 HAS SOUS 24252945 HAS SOUPS 24121364 WITH SCORE 2.4224686063E7
AT ITER 838 NEW BEST:: SOT 159002043 SOS 103321946 HAS SOPS 92011454 HAS SOUS 24252919 HAS SOUPS 24121338 WITH SCORE 2.4224659946E7
AT ITER 841 NEW BEST:: SOT 159011570 SOS 103331620 HAS SOPS 92021262 HAS SOUS 24248896 HAS SOUPS 24117315 WITH SCORE 2.422064662E7
AT ITER 846 NEW BEST:: SOT 159004389 SOS 103324713 HAS SOPS 92012295 HAS SOUS 24248294 HAS SOUPS 24116713 WITH SCORE 2.4220037713E7
AT ITER 852 NEW BEST:: SOT 159003023 SOS 103323347 HAS SOPS 92011025 HAS SOUS 24245884 HAS SOUPS 24114303 WITH SCORE 2.4217626347E7
AT ITER 872 NEW BEST:: SOT 159002899 SOS 103319946 HAS SOPS 92007624 HAS SOUS 24245845 HAS SOUPS 24114264 WITH SCORE 2.4217583946E7
AT ITER 883 NEW BEST:: SOT 158995495 SOS 103312914 HAS SOPS 91998471 HAS SOUS 24225376 HAS SOUPS 24093795 WITH SCORE 2.4197107914E7
AT ITER 895 NEW BEST:: SOT 158988883 SOS 103306049 HAS SOPS 91990547 HAS SOUS 24219577 HAS SOUPS 24088087 WITH SCORE 2.4191393049E7
AT ITER 898 NEW BEST:: SOT 158992538 SOS 103309620 HAS SOPS 91992246 HAS SOUS 24203012 HAS SOUPS 24071522 WITH SCORE 2.417483162E7
AT ITER 899 NEW BEST:: SOT 158988238 SOS 103305320 HAS SOPS 91986789 HAS SOUS 24194919 HAS SOUPS 24063429 WITH SCORE 2.416673432E7
AT ITER 910 NEW BEST:: SOT 158964502 SOS 103281346 HAS SOPS 91960014 HAS SOUS 24150871 HAS SOUPS 24019381 WITH SCORE 2.4122662346E7
AT ITER 919 NEW BEST:: SOT 158966992 SOS 103282540 HAS SOPS 91961440 HAS SOUS 24147404 HAS SOUPS 24015942 WITH SCORE 2.411922454E7
AT ITER 933 NEW BEST:: SOT 158967197 SOS 103263625 HAS SOPS 91942525 HAS SOUS 24146991 HAS SOUPS 24015529 WITH SCORE 2.4118792625E7
AT ITER 951 NEW BEST:: SOT 158973687 SOS 103271606 HAS SOPS 91950758 HAS SOUS 24144364 HAS SOUPS 24012902 WITH SCORE 2.4116173606E7
AT ITER 957 NEW BEST:: SOT 158973272 SOS 103271224 HAS SOPS 91950246 HAS SOUS 24144252 HAS SOUPS 24012790 WITH SCORE 2.4116061224E7
AT ITER 958 NEW BEST:: SOT 158988101 SOS 103255335 HAS SOPS 91934328 HAS SOUS 24121347 HAS SOUPS 23990084 WITH SCORE 2.4093339335E7
AT ITER 961 NEW BEST:: SOT 158984557 SOS 103252705 HAS SOPS 91927154 HAS SOUS 24113207 HAS SOUPS 23981944 WITH SCORE 2.4085196705E7
AT ITER 972 NEW BEST:: SOT 158992840 SOS 103261180 HAS SOPS 91932741 HAS SOUS 24096124 HAS SOUPS 23964861 WITH SCORE 2.406812218E7
AT ITER 985 NEW BEST:: SOT 158995084 SOS 103263515 HAS SOPS 91934545 HAS SOUS 24095810 HAS SOUPS 23964547 WITH SCORE 2.4067810515E7
AT ITER 994 NEW BEST:: SOT 158993644 SOS 103262007 HAS SOPS 91932650 HAS SOUS 24090946 HAS SOUPS 23959683 WITH SCORE 2.4062945007E7
AT ITER 1005 NEW BEST:: SOT 158995001 SOS 103264420 HAS SOPS 91932616 HAS SOUS 24089664 HAS SOUPS 23958348 WITH SCORE 2.406161242E7
AT ITER 1021 NEW BEST:: SOT 159001304 SOS 103271287 HAS SOPS 91939621 HAS SOUS 24089294 HAS SOUPS 23957978 WITH SCORE 2.4061249287E7
AT ITER 1032 NEW BEST:: SOT 159005576 SOS 103275796 HAS SOPS 91943824 HAS SOUS 24085303 HAS SOUPS 23953987 WITH SCORE 2.4057262796E7
AT ITER 1041 NEW BEST:: SOT 159023061 SOS 103293795 HAS SOPS 91957870 HAS SOUS 24083238 HAS SOUPS 23951922 WITH SCORE 2.4055215795E7
AT ITER 1043 NEW BEST:: SOT 159040059 SOS 103309268 HAS SOPS 91972331 HAS SOUS 24062676 HAS SOUPS 23931360 WITH SCORE 2.4034669268E7
AT ITER 1055 NEW BEST:: SOT 159034235 SOS 103303147 HAS SOPS 91964304 HAS SOUS 24052087 HAS SOUPS 23920771 WITH SCORE 2.4024074147E7
AT ITER 1061 NEW BEST:: SOT 158578673 SOS 102847585 HAS SOPS 91506211 HAS SOUS 23582693 HAS SOUPS 23451377 WITH SCORE 2.3554224585E7
AT ITER 1062 NEW BEST:: SOT 158584668 SOS 102968448 HAS SOPS 91645334 HAS SOUS 23562017 HAS SOUPS 23430323 WITH SCORE 2.3533291448E7
AT ITER 1083 NEW BEST:: SOT 158622711 SOS 102994037 HAS SOPS 91657505 HAS SOUS 23527559 HAS SOUPS 23395865 WITH SCORE 2.3498859037E7
AT ITER 1104 NEW BEST:: SOT 158621214 SOS 102992540 HAS SOPS 91655701 HAS SOUS 23522178 HAS SOUPS 23390484 WITH SCORE 2.349347654E7
AT ITER 1105 NEW BEST:: SOT 158610021 SOS 102980279 HAS SOPS 91632475 HAS SOUS 23443136 HAS SOUPS 23311574 WITH SCORE 2.3414554279E7
AT ITER 1112 NEW BEST:: SOT 158608981 SOS 102979081 HAS SOPS 91631244 HAS SOUS 23439104 HAS SOUPS 23307542 WITH SCORE 2.3410521081E7
AT ITER 1114 NEW BEST:: SOT 158682411 SOS 103051803 HAS SOPS 91686254 HAS SOUS 23407904 HAS SOUPS 23276373 WITH SCORE 2.3379424803E7
AT ITER 1115 NEW BEST:: SOT 158691306 SOS 102819172 HAS SOPS 91449144 HAS SOUS 23406946 HAS SOUPS 23275580 WITH SCORE 2.3378399172E7
AT ITER 1119 NEW BEST:: SOT 158691320 SOS 102820741 HAS SOPS 91450713 HAS SOUS 23406943 HAS SOUPS 23275577 WITH SCORE 2.3378397741E7
AT ITER 1127 NEW BEST:: SOT 158691201 SOS 102820677 HAS SOPS 91450549 HAS SOUS 23406914 HAS SOUPS 23275548 WITH SCORE 2.3378368677E7
AT ITER 1136 NEW BEST:: SOT 158741369 SOS 102844914 HAS SOPS 91465283 HAS SOUS 23369437 HAS SOUPS 23238404 WITH SCORE 2.3341248914E7
AT ITER 1154 NEW BEST:: SOT 158741257 SOS 102839831 HAS SOPS 91460200 HAS SOUS 23369324 HAS SOUPS 23238291 WITH SCORE 2.3341130831E7
AT ITER 1176 NEW BEST:: SOT 158741087 SOS 102839661 HAS SOPS 91459798 HAS SOUS 23366765 HAS SOUPS 23235732 WITH SCORE 2.3338571661E7
AT ITER 1177 NEW BEST:: SOT 158744491 SOS 102847461 HAS SOPS 91468026 HAS SOUS 23355284 HAS SOUPS 23224331 WITH SCORE 2.3327178461E7
AT ITER 1182 NEW BEST:: SOT 158745780 SOS 102849199 HAS SOPS 91465214 HAS SOUS 23343046 HAS SOUPS 23212093 WITH SCORE 2.3314942199E7
AT ITER 1186 NEW BEST:: SOT 158663763 SOS 102773678 HAS SOPS 91396988 HAS SOUS 23315608 HAS SOUPS 23184368 WITH SCORE 2.3287141678E7
AT ITER 1190 NEW BEST:: SOT 158660736 SOS 102762308 HAS SOPS 91390630 HAS SOUS 23313659 HAS SOUPS 23182549 WITH SCORE 2.3285311308E7
AT ITER 1191 NEW BEST:: SOT 158077516 SOS 102511781 HAS SOPS 91136147 HAS SOUS 22651671 HAS SOUPS 22521221 WITH SCORE 2.2623732781E7
AT ITER 1201 NEW BEST:: SOT 158086022 SOS 102520899 HAS SOPS 91142996 HAS SOUS 22634020 HAS SOUPS 22503570 WITH SCORE 2.2606090899E7
AT ITER 1207 NEW BEST:: SOT 158085656 SOS 102520527 HAS SOPS 91142594 HAS SOUS 22633396 HAS SOUPS 22502946 WITH SCORE 2.2605466527E7
AT ITER 1211 NEW BEST:: SOT 158085830 SOS 102517496 HAS SOPS 91139563 HAS SOUS 22632621 HAS SOUPS 22502171 WITH SCORE 2.2604688496E7
AT ITER 1217 NEW BEST:: SOT 158089768 SOS 102522498 HAS SOPS 91144514 HAS SOUS 22625089 HAS SOUPS 22494776 WITH SCORE 2.2597298498E7
AT ITER 1223 NEW BEST:: SOT 158120861 SOS 102452613 HAS SOPS 91190377 HAS SOUS 22582021 HAS SOUPS 22452112 WITH SCORE 2.2554564613E7
AT ITER 1227 NEW BEST:: SOT 158120861 SOS 102400917 HAS SOPS 91138681 HAS SOUS 22580455 HAS SOUPS 22450546 WITH SCORE 2.2552946917E7
AT ITER 1237 NEW BEST:: SOT 158117837 SOS 102397785 HAS SOPS 91135153 HAS SOUS 22574659 HAS SOUPS 22444750 WITH SCORE 2.2547147785E7
AT ITER 1254 NEW BEST:: SOT 158128050 SOS 102408268 HAS SOPS 91144071 HAS SOUS 22572266 HAS SOUPS 22442357 WITH SCORE 2.2544765268E7
AT ITER 1262 NEW BEST:: SOT 158131935 SOS 102412312 HAS SOPS 91147674 HAS SOUS 22571741 HAS SOUPS 22441832 WITH SCORE 2.2544244312E7
AT ITER 1264 NEW BEST:: SOT 158126145 SOS 102400664 HAS SOPS 91143259 HAS SOUS 22560696 HAS SOUPS 22430851 WITH SCORE 2.2533251664E7
AT ITER 1290 NEW BEST:: SOT 158113005 SOS 102421116 HAS SOPS 91166388 HAS SOUS 22524209 HAS SOUPS 22394364 WITH SCORE 2.2496785116E7
AT ITER 1307 NEW BEST:: SOT 158110990 SOS 102419101 HAS SOPS 91164838 HAS SOUS 22523589 HAS SOUPS 22393744 WITH SCORE 2.2496163101E7
AT ITER 1319 NEW BEST:: SOT 158104846 SOS 102393723 HAS SOPS 91127488 HAS SOUS 22508666 HAS SOUPS 22378821 WITH SCORE 2.2481214723E7
AT ITER 1324 NEW BEST:: SOT 158093921 SOS 102382909 HAS SOPS 91115064 HAS SOUS 22482761 HAS SOUPS 22352916 WITH SCORE 2.2455298909E7
AT ITER 1331 NEW BEST:: SOT 158084652 SOS 102373640 HAS SOPS 91104327 HAS SOUS 22469173 HAS SOUPS 22339328 WITH SCORE 2.244170164E7
AT ITER 1343 NEW BEST:: SOT 158042075 SOS 102355432 HAS SOPS 91094545 HAS SOUS 22463017 HAS SOUPS 22333172 WITH SCORE 2.2435527432E7
AT ITER 1353 NEW BEST:: SOT 158042120 SOS 102355333 HAS SOPS 91094458 HAS SOUS 22461971 HAS SOUPS 22332126 WITH SCORE 2.2434481333E7
AT ITER 1355 NEW BEST:: SOT 158027608 SOS 102347813 HAS SOPS 91088211 HAS SOUS 22437917 HAS SOUPS 22308101 WITH SCORE 2.2410448813E7
AT ITER 1358 NEW BEST:: SOT 158027657 SOS 102339221 HAS SOPS 91079619 HAS SOUS 22437281 HAS SOUPS 22307465 WITH SCORE 2.2409804221E7
AT ITER 1360 NEW BEST:: SOT 157943452 SOS 102269180 HAS SOPS 91002618 HAS SOUS 22415828 HAS SOUPS 22285645 WITH SCORE 2.238791418E7
AT ITER 1372 NEW BEST:: SOT 157940730 SOS 102262910 HAS SOPS 90996171 HAS SOUS 22415389 HAS SOUPS 22285206 WITH SCORE 2.238746891E7
AT ITER 1374 NEW BEST:: SOT 157934880 SOS 102256974 HAS SOPS 90989225 HAS SOUS 22401278 HAS SOUPS 22271095 WITH SCORE 2.2373351974E7
AT ITER 1375 NEW BEST:: SOT 157933451 SOS 102250269 HAS SOPS 90981853 HAS SOUS 22398312 HAS SOUPS 22268076 WITH SCORE 2.2370326269E7
AT ITER 1384 NEW BEST:: SOT 157961008 SOS 102276844 HAS SOPS 90998098 HAS SOUS 22381272 HAS SOUPS 22251164 WITH SCORE 2.2353440844E7
AT ITER 1386 NEW BEST:: SOT 157862760 SOS 102199536 HAS SOPS 90924901 HAS SOUS 22329137 HAS SOUPS 22198575 WITH SCORE 2.2300774536E7
AT ITER 1391 NEW BEST:: SOT 157861888 SOS 102198664 HAS SOPS 90923946 HAS SOUS 22326207 HAS SOUPS 22195660 WITH SCORE 2.2297858664E7
AT ITER 1407 NEW BEST:: SOT 157856653 SOS 102193745 HAS SOPS 90917049 HAS SOUS 22325042 HAS SOUPS 22194495 WITH SCORE 2.2296688745E7
AT ITER 1409 NEW BEST:: SOT 157851419 SOS 102188576 HAS SOPS 90912160 HAS SOUS 22320443 HAS SOUPS 22189896 WITH SCORE 2.2292084576E7
AT ITER 1411 NEW BEST:: SOT 157851487 SOS 102188644 HAS SOPS 90912228 HAS SOUS 22319079 HAS SOUPS 22188532 WITH SCORE 2.2290720644E7
AT ITER 1412 NEW BEST:: SOT 157850152 SOS 102186367 HAS SOPS 90907673 HAS SOUS 22289202 HAS SOUPS 22158655 WITH SCORE 2.2260841367E7
AT ITER 1424 NEW BEST:: SOT 157849938 SOS 102186094 HAS SOPS 90907383 HAS SOUS 22288271 HAS SOUPS 22157724 WITH SCORE 2.2259910094E7
AT ITER 1426 NEW BEST:: SOT 157859794 SOS 102201359 HAS SOPS 90936299 HAS SOUS 22284724 HAS SOUPS 22154334 WITH SCORE 2.2256535359E7
AT ITER 1429 NEW BEST:: SOT 157860410 SOS 102201975 HAS SOPS 90936658 HAS SOUS 22283520 HAS SOUPS 22153130 WITH SCORE 2.2255331975E7
AT ITER 1431 NEW BEST:: SOT 157860650 SOS 102199342 HAS SOPS 90943796 HAS SOUS 22283083 HAS SOUPS 22152741 WITH SCORE 2.2254940342E7
AT ITER 1448 NEW BEST:: SOT 157872878 SOS 102205685 HAS SOPS 90946044 HAS SOUS 22233531 HAS SOUPS 22103473 WITH SCORE 2.2205678685E7
AT ITER 1451 NEW BEST:: SOT 157873352 SOS 102206106 HAS SOPS 90946428 HAS SOUS 22233468 HAS SOUPS 22103410 WITH SCORE 2.2205616106E7
AT ITER 1453 NEW BEST:: SOT 157877347 SOS 102208192 HAS SOPS 90946333 HAS SOUS 22227891 HAS SOUPS 22097833 WITH SCORE 2.2200041192E7
AT ITER 1454 NEW BEST:: SOT 157855017 SOS 102293498 HAS SOPS 91038522 HAS SOUS 22204812 HAS SOUPS 22074754 WITH SCORE 2.2177047498E7
AT ITER 1458 NEW BEST:: SOT 157855045 SOS 102293510 HAS SOPS 91038310 HAS SOUS 22201416 HAS SOUPS 22071358 WITH SCORE 2.217365151E7
AT ITER 1479 NEW BEST:: SOT 157855207 SOS 102300334 HAS SOPS 91042506 HAS SOUS 22200089 HAS SOUPS 22070031 WITH SCORE 2.2172331334E7
AT ITER 1509 NEW BEST:: SOT 157850030 SOS 102287661 HAS SOPS 91027898 HAS SOUS 22199994 HAS SOUPS 22069871 WITH SCORE 2.2172158661E7
AT ITER 1515 NEW BEST:: SOT 157849898 SOS 102286657 HAS SOPS 91026267 HAS SOUS 22198797 HAS SOUPS 22068674 WITH SCORE 2.2170960657E7
AT ITER 1516 NEW BEST:: SOT 157849874 SOS 102286480 HAS SOPS 91030304 HAS SOUS 22198693 HAS SOUPS 22068668 WITH SCORE 2.217095448E7
AT ITER 1545 NEW BEST:: SOT 157850108 SOS 102286714 HAS SOPS 91030429 HAS SOUS 22198612 HAS SOUPS 22068587 WITH SCORE 2.2170873714E7
AT ITER 1552 NEW BEST:: SOT 157846831 SOS 102283437 HAS SOPS 91026185 HAS SOUS 22196104 HAS SOUPS 22066079 WITH SCORE 2.2168362437E7
AT ITER 1561 NEW BEST:: SOT 157846831 SOS 102279243 HAS SOPS 91029781 HAS SOUS 22195308 HAS SOUPS 22065473 WITH SCORE 2.2167752243E7
AT ITER 1570 NEW BEST:: SOT 157852681 SOS 102285511 HAS SOPS 91035130 HAS SOUS 22189862 HAS SOUPS 22060027 WITH SCORE 2.2162312511E7
AT ITER 1578 NEW BEST:: SOT 157826427 SOS 102259384 HAS SOPS 91003663 HAS SOUS 22143437 HAS SOUPS 22013650 WITH SCORE 2.2115909384E7
AT ITER 1595 NEW BEST:: SOT 157826371 SOS 102259328 HAS SOPS 91003575 HAS SOUS 22143116 HAS SOUPS 22013329 WITH SCORE 2.2115588328E7
AT ITER 1602 NEW BEST:: SOT 157825718 SOS 102234646 HAS SOPS 90978293 HAS SOUS 22133561 HAS SOUPS 22003774 WITH SCORE 2.2106008646E7
AT ITER 1632 NEW BEST:: SOT 157825055 SOS 102233932 HAS SOPS 90977426 HAS SOUS 22130654 HAS SOUPS 22000867 WITH SCORE 2.2103100932E7
AT ITER 1636 NEW BEST:: SOT 157825055 SOS 102144958 HAS SOPS 90884066 HAS SOUS 22128646 HAS SOUPS 21998859 WITH SCORE 2.2101003958E7
AT ITER 1647 NEW BEST:: SOT 157829753 SOS 102150173 HAS SOPS 90887898 HAS SOUS 22125191 HAS SOUPS 21995402 WITH SCORE 2.2097552173E7
AT ITER 1650 NEW BEST:: SOT 157799074 SOS 102119494 HAS SOPS 90850535 HAS SOUS 22069497 HAS SOUPS 21939669 WITH SCORE 2.2041788494E7
AT ITER 1653 NEW BEST:: SOT 157821547 SOS 102138469 HAS SOPS 90863314 HAS SOUS 22020528 HAS SOUPS 21890998 WITH SCORE 2.1993136469E7
AT ITER 1659 NEW BEST:: SOT 157821044 SOS 102137943 HAS SOPS 90861938 HAS SOUS 22015853 HAS SOUPS 21886323 WITH SCORE 2.1988460943E7
AT ITER 1664 NEW BEST:: SOT 158106892 SOS 102422560 HAS SOPS 91115717 HAS SOUS 22009621 HAS SOUPS 21880091 WITH SCORE 2.198251356E7
AT ITER 1672 NEW BEST:: SOT 158114833 SOS 102430180 HAS SOPS 91120951 HAS SOUS 21989367 HAS SOUPS 21859837 WITH SCORE 2.196226718E7
AT ITER 1688 NEW BEST:: SOT 158121905 SOS 102415056 HAS SOPS 91104310 HAS SOUS 21954089 HAS SOUPS 21824867 WITH SCORE 2.1927282056E7
AT ITER 1689 NEW BEST:: SOT 158112497 SOS 102405648 HAS SOPS 91092933 HAS SOUS 21939646 HAS SOUPS 21810424 WITH SCORE 2.1912829648E7
AT ITER 1698 NEW BEST:: SOT 158039312 SOS 102385431 HAS SOPS 91084567 HAS SOUS 21936381 HAS SOUPS 21807159 WITH SCORE 2.1909544431E7
AT ITER 1703 NEW BEST:: SOT 158054138 SOS 102374308 HAS SOPS 91074821 HAS SOUS 21932658 HAS SOUPS 21803640 WITH SCORE 2.1906014308E7
AT ITER 1735 NEW BEST:: SOT 158057046 SOS 102376966 HAS SOPS 91076371 HAS SOUS 21926457 HAS SOUPS 21797439 WITH SCORE 2.1899815966E7
AT ITER 1749 NEW BEST:: SOT 158056908 SOS 102318452 HAS SOPS 91017685 HAS SOUS 21925968 HAS SOUPS 21796950 WITH SCORE 2.1899268452E7
AT ITER 1753 NEW BEST:: SOT 158049244 SOS 102308420 HAS SOPS 91005771 HAS SOUS 21908925 HAS SOUPS 21779907 WITH SCORE 2.188221542E7
AT ITER 1760 NEW BEST:: SOT 158070092 SOS 102329705 HAS SOPS 91024398 HAS SOUS 21906016 HAS SOUPS 21776998 WITH SCORE 2.1879327705E7
AT ITER 1764 NEW BEST:: SOT 158070092 SOS 102324117 HAS SOPS 91018810 HAS SOUS 21905762 HAS SOUPS 21776744 WITH SCORE 2.1879068117E7
AT ITER 1766 NEW BEST:: SOT 158070129 SOS 102324117 HAS SOPS 91018810 HAS SOUS 21905688 HAS SOUPS 21776670 WITH SCORE 2.1878994117E7
AT ITER 1773 NEW BEST:: SOT 158081537 SOS 102336079 HAS SOPS 91026756 HAS SOUS 21890031 HAS SOUPS 21761013 WITH SCORE 2.1863349079E7
AT ITER 1791 NEW BEST:: SOT 158090036 SOS 102343309 HAS SOPS 91033986 HAS SOUS 21889873 HAS SOUPS 21760855 WITH SCORE 2.1863198309E7
AT ITER 1794 NEW BEST:: SOT 158090036 SOS 102342664 HAS SOPS 91033326 HAS SOUS 21889858 HAS SOUPS 21760840 WITH SCORE 2.1863182664E7
AT ITER 1805 NEW BEST:: SOT 158079662 SOS 102332290 HAS SOPS 91023289 HAS SOUS 21880820 HAS SOUPS 21751974 WITH SCORE 2.185430629E7
AT ITER 1827 NEW BEST:: SOT 158077487 SOS 102330115 HAS SOPS 91020679 HAS SOUS 21876673 HAS SOUPS 21747827 WITH SCORE 2.1850157115E7
AT ITER 1828 NEW BEST:: SOT 158088273 SOS 102341475 HAS SOPS 91029889 HAS SOUS 21872513 HAS SOUPS 21743667 WITH SCORE 2.1846008475E7
AT ITER 1842 NEW BEST:: SOT 158091280 SOS 102343655 HAS SOPS 91035116 HAS SOUS 21868876 HAS SOUPS 21739919 WITH SCORE 2.1842262655E7
AT ITER 1858 NEW BEST:: SOT 157846775 SOS 102099166 HAS SOPS 90784216 HAS SOUS 21805524 HAS SOUPS 21676567 WITH SCORE 2.1778666166E7
AT ITER 1882 NEW BEST:: SOT 157843525 SOS 102101235 HAS SOPS 90775436 HAS SOUS 21799699 HAS SOUPS 21670661 WITH SCORE 2.1772762235E7
AT ITER 1900 NEW BEST:: SOT 157835322 SOS 102079434 HAS SOPS 90752282 HAS SOUS 21789277 HAS SOUPS 21661229 WITH SCORE 2.1763308434E7
AT ITER 1908 NEW BEST:: SOT 157835175 SOS 102072058 HAS SOPS 90752164 HAS SOUS 21788418 HAS SOUPS 21660546 WITH SCORE 2.1762618058E7
AT ITER 1922 NEW BEST:: SOT 157832763 SOS 102069456 HAS SOPS 90748605 HAS SOUS 21787495 HAS SOUPS 21659623 WITH SCORE 2.1761692456E7
AT ITER 1924 NEW BEST:: SOT 157832664 SOS 102069357 HAS SOPS 90748442 HAS SOUS 21787432 HAS SOUPS 21659560 WITH SCORE 2.1761629357E7
AT ITER 1925 NEW BEST:: SOT 157831759 SOS 102067906 HAS SOPS 90747055 HAS SOUS 21782570 HAS SOUPS 21654698 WITH SCORE 2.1756765906E7
AT ITER 1929 NEW BEST:: SOT 157840400 SOS 102076807 HAS SOPS 90753344 HAS SOUS 21780086 HAS SOUPS 21652214 WITH SCORE 2.1754290807E7
AT ITER 1945 NEW BEST:: SOT 157838717 SOS 102074920 HAS SOPS 90751559 HAS SOUS 21775241 HAS SOUPS 21647369 WITH SCORE 2.174944392E7
AT ITER 1946 NEW BEST:: SOT 157833841 SOS 102070112 HAS SOPS 90746243 HAS SOUS 21766820 HAS SOUPS 21638948 WITH SCORE 2.1741018112E7
AT ITER 1947 NEW BEST:: SOT 157834551 SOS 102034099 HAS SOPS 90747010 HAS SOUS 21766497 HAS SOUPS 21638625 WITH SCORE 2.1740659099E7
AT ITER 1961 NEW BEST:: SOT 157911842 SOS 102111666 HAS SOPS 90817079 HAS SOUS 21758194 HAS SOUPS 21631285 WITH SCORE 2.1733396666E7
AT ITER 1968 NEW BEST:: SOT 157892339 SOS 102111302 HAS SOPS 90818098 HAS SOUS 21742751 HAS SOUPS 21615842 WITH SCORE 2.1717953302E7
AT ITER 1986 NEW BEST:: SOT 157887736 SOS 102056950 HAS SOPS 90822455 HAS SOUS 21738543 HAS SOUPS 21611909 WITH SCORE 2.171396595E7
AT ITER 1995 NEW BEST:: SOT 157887554 SOS 102049903 HAS SOPS 90815408 HAS SOUS 21738543 HAS SOUPS 21611909 WITH SCORE 2.1713958903E7
AT ITER 2004 NEW BEST:: SOT 157874614 SOS 102037227 HAS SOPS 90800088 HAS SOUS 21728413 HAS SOUPS 21601779 WITH SCORE 2.1703816227E7
AT ITER 2005 NEW BEST:: SOT 157866141 SOS 102103417 HAS SOPS 90861268 HAS SOUS 21700121 HAS SOUPS 21573487 WITH SCORE 2.1675590417E7
AT ITER 2020 NEW BEST:: SOT 157861664 SOS 102099234 HAS SOPS 90855718 HAS SOUS 21691844 HAS SOUPS 21565210 WITH SCORE 2.1667309234E7
AT ITER 2025 NEW BEST:: SOT 157861732 SOS 102099371 HAS SOPS 90855855 HAS SOUS 21691810 HAS SOUPS 21565176 WITH SCORE 2.1667275371E7
AT ITER 2032 NEW BEST:: SOT 157814173 SOS 102189557 HAS SOPS 90946131 HAS SOUS 21641773 HAS SOUPS 21515139 WITH SCORE 2.1617328557E7
AT ITER 2034 NEW BEST:: SOT 157806828 SOS 102181937 HAS SOPS 90937998 HAS SOUS 21631219 HAS SOUPS 21504585 WITH SCORE 2.1606766937E7
AT ITER 2036 NEW BEST:: SOT 157805208 SOS 102180272 HAS SOPS 90936048 HAS SOUS 21628174 HAS SOUPS 21501540 WITH SCORE 2.1603720272E7
AT ITER 2037 NEW BEST:: SOT 157794625 SOS 102180844 HAS SOPS 90931665 HAS SOUS 21609167 HAS SOUPS 21482645 WITH SCORE 2.1584825844E7
AT ITER 2041 NEW BEST:: SOT 157801087 SOS 102187226 HAS SOPS 90937162 HAS SOUS 21590388 HAS SOUPS 21463866 WITH SCORE 2.1566053226E7
AT ITER 2057 NEW BEST:: SOT 157800634 SOS 102186698 HAS SOPS 90936415 HAS SOUS 21588861 HAS SOUPS 21462346 WITH SCORE 2.1564532698E7
AT ITER 2061 NEW BEST:: SOT 157809572 SOS 102187831 HAS SOPS 90952478 HAS SOUS 21586911 HAS SOUPS 21460541 WITH SCORE 2.1562728831E7
AT ITER 2066 NEW BEST:: SOT 157829368 SOS 102179191 HAS SOPS 90950517 HAS SOUS 21547736 HAS SOUPS 21421753 WITH SCORE 2.1523932191E7
AT ITER 2072 NEW BEST:: SOT 157829830 SOS 102188569 HAS SOPS 90963063 HAS SOUS 21546607 HAS SOUPS 21420706 WITH SCORE 2.1522894569E7
AT ITER 2087 NEW BEST:: SOT 157837926 SOS 102166387 HAS SOPS 90941849 HAS SOUS 21537709 HAS SOUPS 21412003 WITH SCORE 2.1514169387E7
AT ITER 2091 NEW BEST:: SOT 157978437 SOS 102204897 HAS SOPS 90985269 HAS SOUS 21475423 HAS SOUPS 21342348 WITH SCORE 2.1444552897E7
AT ITER 2101 NEW BEST:: SOT 157980553 SOS 102144416 HAS SOPS 90900415 HAS SOUS 21416209 HAS SOUPS 21282581 WITH SCORE 2.1384725416E7
AT ITER 2112 NEW BEST:: SOT 157980083 SOS 102143936 HAS SOPS 90899935 HAS SOUS 21415679 HAS SOUPS 21282051 WITH SCORE 2.1384194936E7
AT ITER 2116 NEW BEST:: SOT 157980053 SOS 102143903 HAS SOPS 90899902 HAS SOUS 21415628 HAS SOUPS 21282000 WITH SCORE 2.1384143903E7
AT ITER 2117 NEW BEST:: SOT 157979030 SOS 102142879 HAS SOPS 90898659 HAS SOUS 21415116 HAS SOUPS 21281488 WITH SCORE 2.1383630879E7
AT ITER 2137 NEW BEST:: SOT 157985801 SOS 102155103 HAS SOPS 90910029 HAS SOUS 21386381 HAS SOUPS 21252753 WITH SCORE 2.1354908103E7
AT ITER 2149 NEW BEST:: SOT 157986632 SOS 102156354 HAS SOPS 90911605 HAS SOUS 21385849 HAS SOUPS 21252243 WITH SCORE 2.1354399354E7
AT ITER 2165 NEW BEST:: SOT 157987902 SOS 102157551 HAS SOPS 90912370 HAS SOUS 21382355 HAS SOUPS 21248749 WITH SCORE 2.1350906551E7
AT ITER 2168 NEW BEST:: SOT 157992806 SOS 102162251 HAS SOPS 90916092 HAS SOUS 21377190 HAS SOUPS 21243584 WITH SCORE 2.1345746251E7
AT ITER 2170 NEW BEST:: SOT 157977063 SOS 102255910 HAS SOPS 91010611 HAS SOUS 21365087 HAS SOUPS 21231481 WITH SCORE 2.133373691E7
AT ITER 2173 NEW BEST:: SOT 157980164 SOS 102124362 HAS SOPS 91049810 HAS SOUS 21361436 HAS SOUPS 21228002 WITH SCORE 2.1330126362E7
AT ITER 2176 NEW BEST:: SOT 157978891 SOS 102123089 HAS SOPS 91048595 HAS SOUS 21359641 HAS SOUPS 21226207 WITH SCORE 2.1328330089E7
AT ITER 2193 NEW BEST:: SOT 157918104 SOS 102068189 HAS SOPS 90999519 HAS SOUS 21346519 HAS SOUPS 21213085 WITH SCORE 2.1315153189E7
AT ITER 2194 NEW BEST:: SOT 157947479 SOS 102099249 HAS SOPS 91023737 HAS SOUS 21337635 HAS SOUPS 21204201 WITH SCORE 2.1306300249E7
AT ITER 2203 NEW BEST:: SOT 157947445 SOS 102099297 HAS SOPS 91023785 HAS SOUS 21337577 HAS SOUPS 21204143 WITH SCORE 2.1306242297E7
AT ITER 2227 NEW BEST:: SOT 157941301 SOS 102098415 HAS SOPS 91020549 HAS SOUS 21323316 HAS SOUPS 21189882 WITH SCORE 2.1291980415E7
AT ITER 2266 NEW BEST:: SOT 157911857 SOS 102068971 HAS SOPS 90988193 HAS SOUS 21291685 HAS SOUPS 21158251 WITH SCORE 2.1260319971E7
AT ITER 2280 NEW BEST:: SOT 157846700 SOS 102003814 HAS SOPS 90923036 HAS SOUS 21226528 HAS SOUPS 21093094 WITH SCORE 2.1195097814E7
AT ITER 2281 NEW BEST:: SOT 157846670 SOS 102144472 HAS SOPS 91063514 HAS SOUS 21222081 HAS SOUPS 21088647 WITH SCORE 2.1190791472E7
AT ITER 2286 NEW BEST:: SOT 157846670 SOS 102134608 HAS SOPS 91058362 HAS SOUS 21221581 HAS SOUPS 21088259 WITH SCORE 2.1190393608E7
AT ITER 2292 NEW BEST:: SOT 157846783 SOS 102134681 HAS SOPS 91058347 HAS SOUS 21220687 HAS SOUPS 21087365 WITH SCORE 2.1189499681E7
AT ITER 2295 NEW BEST:: SOT 157846796 SOS 102134794 HAS SOPS 91058460 HAS SOUS 21220677 HAS SOUPS 21087355 WITH SCORE 2.1189489794E7
AT ITER 2303 NEW BEST:: SOT 157854774 SOS 102152958 HAS SOPS 91082773 HAS SOUS 21209719 HAS SOUPS 21076562 WITH SCORE 2.1178714958E7
AT ITER 2316 NEW BEST:: SOT 157854707 SOS 102152757 HAS SOPS 91082572 HAS SOUS 21209585 HAS SOUPS 21076428 WITH SCORE 2.1178580757E7
AT ITER 2326 NEW BEST:: SOT 157854707 SOS 102183117 HAS SOPS 91114652 HAS SOUS 21209345 HAS SOUPS 21076228 WITH SCORE 2.1178411117E7
AT ITER 2342 NEW BEST:: SOT 157857914 SOS 102186324 HAS SOPS 91117094 HAS SOUS 21207865 HAS SOUPS 21074748 WITH SCORE 2.1176934324E7
AT ITER 2352 NEW BEST:: SOT 157851888 SOS 102180298 HAS SOPS 91111711 HAS SOUS 21206139 HAS SOUPS 21073022 WITH SCORE 2.1175202298E7
AT ITER 2359 NEW BEST:: SOT 157851433 SOS 102174776 HAS SOPS 91104154 HAS SOUS 21195793 HAS SOUPS 21062676 WITH SCORE 2.1164850776E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15457308 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16062524 kB

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="RERS2020-PT-pb105"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is RERS2020-PT-pb105, 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 r323-tall-167889194400256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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