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-167889194500288.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-pb109, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194500288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 86M
-rw-r--r-- 1 mcc users 9.2K Feb 26 08:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 08:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 08:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 26 08:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 08:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 08:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 08:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 08:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K 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 85M 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 1679491763740

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-pb109
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb109
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: 1907 places, 151872 transitions, 605350 arcs.
AT ITER 0 NEW BEST:: SOT 153506555 SOS 103728602 HAS SOPS 91270032 HAS SOUS 24160436 HAS SOUPS 24038973 WITH SCORE 2.4142701602E7
AT ITER 25 NEW BEST:: SOT 153508598 SOS 103694705 HAS SOPS 91234561 HAS SOUS 24159293 HAS SOUPS 24037830 WITH SCORE 2.4141524705E7
AT ITER 39 NEW BEST:: SOT 153503948 SOS 103690103 HAS SOPS 91228869 HAS SOUS 24149907 HAS SOUPS 24028444 WITH SCORE 2.4132134103E7
AT ITER 51 NEW BEST:: SOT 153500807 SOS 103686793 HAS SOPS 91224221 HAS SOUS 24138499 HAS SOUPS 24017036 WITH SCORE 2.4120722793E7
AT ITER 56 NEW BEST:: SOT 153456091 SOS 103581058 HAS SOPS 91118630 HAS SOUS 24104962 HAS SOUPS 23983499 WITH SCORE 2.4087080058E7
AT ITER 61 NEW BEST:: SOT 153455253 SOS 103580230 HAS SOPS 91117572 HAS SOUS 24103100 HAS SOUPS 23981637 WITH SCORE 2.408521723E7
AT ITER 67 NEW BEST:: SOT 153432326 SOS 103597969 HAS SOPS 91133167 HAS SOUS 24075559 HAS SOUPS 23954096 WITH SCORE 2.4057693969E7
AT ITER 74 NEW BEST:: SOT 153432386 SOS 103598014 HAS SOPS 91133212 HAS SOUS 24075511 HAS SOUPS 23954048 WITH SCORE 2.4057646014E7
AT ITER 86 NEW BEST:: SOT 153443861 SOS 103609404 HAS SOPS 91143497 HAS SOUS 24063866 HAS SOUPS 23942403 WITH SCORE 2.4046012404E7
AT ITER 114 NEW BEST:: SOT 153433874 SOS 103592884 HAS SOPS 91124435 HAS SOUS 24064788 HAS SOUPS 23941221 WITH SCORE 2.4044813884E7
AT ITER 121 NEW BEST:: SOT 153433874 SOS 103592898 HAS SOPS 91124449 HAS SOUS 24064774 HAS SOUPS 23941207 WITH SCORE 2.4044799898E7
AT ITER 137 NEW BEST:: SOT 153435130 SOS 103577102 HAS SOPS 91125416 HAS SOUS 24060853 HAS SOUPS 23937373 WITH SCORE 2.4040950102E7
AT ITER 151 NEW BEST:: SOT 153435371 SOS 103581229 HAS SOPS 91129543 HAS SOUS 24057973 HAS SOUPS 23934493 WITH SCORE 2.4038074229E7
AT ITER 156 NEW BEST:: SOT 153444000 SOS 103590314 HAS SOPS 91129774 HAS SOUS 24051855 HAS SOUPS 23928240 WITH SCORE 2.4031830314E7
AT ITER 166 NEW BEST:: SOT 153443406 SOS 103589719 HAS SOPS 91129076 HAS SOUS 24050209 HAS SOUPS 23926594 WITH SCORE 2.4030183719E7
AT ITER 169 NEW BEST:: SOT 153441042 SOS 103587600 HAS SOPS 91125485 HAS SOUS 24033996 HAS SOUPS 23910381 WITH SCORE 2.40139686E7
AT ITER 172 NEW BEST:: SOT 153454852 SOS 103601410 HAS SOPS 91136778 HAS SOUS 24021632 HAS SOUPS 23897782 WITH SCORE 2.400138341E7
AT ITER 189 NEW BEST:: SOT 153457726 SOS 103603944 HAS SOPS 91137980 HAS SOUS 24021181 HAS SOUPS 23897331 WITH SCORE 2.4000934944E7
AT ITER 190 NEW BEST:: SOT 153468121 SOS 103614108 HAS SOPS 91145444 HAS SOUS 24021055 HAS SOUPS 23897001 WITH SCORE 2.4000615108E7
AT ITER 196 NEW BEST:: SOT 153368942 SOS 103719676 HAS SOPS 91251055 HAS SOUS 23921066 HAS SOUPS 23797012 WITH SCORE 2.3900731676E7
AT ITER 221 NEW BEST:: SOT 153360015 SOS 103710343 HAS SOPS 91239914 HAS SOUS 23900675 HAS SOUPS 23776604 WITH SCORE 2.3880314343E7
AT ITER 238 NEW BEST:: SOT 153377339 SOS 103727022 HAS SOPS 91253519 HAS SOUS 23892855 HAS SOUPS 23769007 WITH SCORE 2.3872734022E7
AT ITER 245 NEW BEST:: SOT 153384344 SOS 103742569 HAS SOPS 91268494 HAS SOUS 23888649 HAS SOUPS 23764697 WITH SCORE 2.3868439569E7
AT ITER 249 NEW BEST:: SOT 153392748 SOS 103750466 HAS SOPS 91277947 HAS SOUS 23885795 HAS SOUPS 23761843 WITH SCORE 2.3865593466E7
AT ITER 250 NEW BEST:: SOT 153380891 SOS 103817550 HAS SOPS 91365693 HAS SOUS 23875345 HAS SOUPS 23752539 WITH SCORE 2.385635655E7
AT ITER 254 NEW BEST:: SOT 153377726 SOS 103814519 HAS SOPS 91363462 HAS SOUS 23873157 HAS SOUPS 23750351 WITH SCORE 2.3854165519E7
AT ITER 263 NEW BEST:: SOT 153173655 SOS 103608241 HAS SOPS 91136012 HAS SOUS 23568295 HAS SOUPS 23444175 WITH SCORE 2.3547783241E7
AT ITER 267 NEW BEST:: SOT 153172778 SOS 103607369 HAS SOPS 91134880 HAS SOUS 23566801 HAS SOUPS 23442681 WITH SCORE 2.3546288369E7
AT ITER 272 NEW BEST:: SOT 153144841 SOS 103605239 HAS SOPS 91129595 HAS SOUS 23536929 HAS SOUPS 23412809 WITH SCORE 2.3516414239E7
AT ITER 277 NEW BEST:: SOT 153132535 SOS 103592907 HAS SOPS 91111250 HAS SOUS 23495964 HAS SOUPS 23371844 WITH SCORE 2.3475436907E7
AT ITER 283 NEW BEST:: SOT 153130475 SOS 103658145 HAS SOPS 91175832 HAS SOUS 23494643 HAS SOUPS 23370523 WITH SCORE 2.3474181145E7
AT ITER 284 NEW BEST:: SOT 153125054 SOS 103652724 HAS SOPS 91169246 HAS SOUS 23482086 HAS SOUPS 23357966 WITH SCORE 2.3461618724E7
AT ITER 289 NEW BEST:: SOT 153122255 SOS 103649969 HAS SOPS 91166311 HAS SOUS 23479449 HAS SOUPS 23355329 WITH SCORE 2.3458978969E7
AT ITER 299 NEW BEST:: SOT 153113565 SOS 103641521 HAS SOPS 91156851 HAS SOUS 23462588 HAS SOUPS 23338468 WITH SCORE 2.3442109521E7
AT ITER 322 NEW BEST:: SOT 153115004 SOS 103643178 HAS SOPS 91158088 HAS SOUS 23459798 HAS SOUPS 23335678 WITH SCORE 2.3439321178E7
AT ITER 325 NEW BEST:: SOT 153124206 SOS 103652732 HAS SOPS 91162818 HAS SOUS 23454913 HAS SOUPS 23330842 WITH SCORE 2.3434494732E7
AT ITER 327 NEW BEST:: SOT 153100198 SOS 103628724 HAS SOPS 91138810 HAS SOUS 23430905 HAS SOUPS 23306834 WITH SCORE 2.3410462724E7
AT ITER 348 NEW BEST:: SOT 153099583 SOS 103627995 HAS SOPS 91137685 HAS SOUS 23426423 HAS SOUPS 23302352 WITH SCORE 2.3405979995E7
AT ITER 355 NEW BEST:: SOT 153099545 SOS 103557895 HAS SOPS 91064248 HAS SOUS 23416912 HAS SOUPS 23292841 WITH SCORE 2.3396398895E7
AT ITER 361 NEW BEST:: SOT 153101953 SOS 103521384 HAS SOPS 91060366 HAS SOUS 23416077 HAS SOUPS 23290394 WITH SCORE 2.3393915384E7
AT ITER 378 NEW BEST:: SOT 153096985 SOS 103513548 HAS SOPS 91052188 HAS SOUS 23410257 HAS SOUPS 23284574 WITH SCORE 2.3388087548E7
AT ITER 386 NEW BEST:: SOT 153096385 SOS 103512948 HAS SOPS 91051462 HAS SOUS 23410015 HAS SOUPS 23284332 WITH SCORE 2.3387844948E7
AT ITER 408 NEW BEST:: SOT 153079882 SOS 103489746 HAS SOPS 91029025 HAS SOUS 23404271 HAS SOUPS 23278588 WITH SCORE 2.3382077746E7
AT ITER 412 NEW BEST:: SOT 153148577 SOS 103565105 HAS SOPS 91111255 HAS SOUS 23369390 HAS SOUPS 23243707 WITH SCORE 2.3347272105E7
AT ITER 421 NEW BEST:: SOT 152827430 SOS 103243958 HAS SOPS 90786812 HAS SOUS 22998988 HAS SOUPS 22873251 WITH SCORE 2.2976494958E7
AT ITER 474 NEW BEST:: SOT 152819348 SOS 103235748 HAS SOPS 90777894 HAS SOUS 22994046 HAS SOUPS 22868309 WITH SCORE 2.2971544748E7
AT ITER 475 NEW BEST:: SOT 152762436 SOS 103199677 HAS SOPS 90746678 HAS SOUS 22966620 HAS SOUPS 22840883 WITH SCORE 2.2944082677E7
AT ITER 487 NEW BEST:: SOT 152790474 SOS 103225661 HAS SOPS 90768442 HAS SOUS 22962662 HAS SOUPS 22836925 WITH SCORE 2.2940150661E7
AT ITER 489 NEW BEST:: SOT 152796884 SOS 103231925 HAS SOPS 90775270 HAS SOUS 22958446 HAS SOUPS 22832709 WITH SCORE 2.2935940925E7
AT ITER 493 NEW BEST:: SOT 152752128 SOS 103172358 HAS SOPS 90693497 HAS SOUS 22947627 HAS SOUPS 22817933 WITH SCORE 2.2921105358E7
AT ITER 500 NEW BEST:: SOT 152740527 SOS 103160840 HAS SOPS 90683656 HAS SOUS 22936859 HAS SOUPS 22807929 WITH SCORE 2.291108984E7
AT ITER 505 NEW BEST:: SOT 152731167 SOS 103151480 HAS SOPS 90673527 HAS SOUS 22918625 HAS SOUPS 22789907 WITH SCORE 2.289305848E7
AT ITER 509 NEW BEST:: SOT 152680723 SOS 103469410 HAS SOPS 91035491 HAS SOUS 22917476 HAS SOUPS 22788758 WITH SCORE 2.289222741E7
AT ITER 513 NEW BEST:: SOT 152680862 SOS 103473089 HAS SOPS 91037927 HAS SOUS 22917276 HAS SOUPS 22788547 WITH SCORE 2.2892020089E7
AT ITER 517 NEW BEST:: SOT 152677090 SOS 103469317 HAS SOPS 91033995 HAS SOUS 22908439 HAS SOUPS 22779710 WITH SCORE 2.2883179317E7
AT ITER 523 NEW BEST:: SOT 152676645 SOS 103468872 HAS SOPS 91033530 HAS SOUS 22907609 HAS SOUPS 22778880 WITH SCORE 2.2882348872E7
AT ITER 524 NEW BEST:: SOT 152722017 SOS 103502845 HAS SOPS 91086091 HAS SOUS 22868647 HAS SOUPS 22737030 WITH SCORE 2.2840532845E7
AT ITER 525 NEW BEST:: SOT 152717561 SOS 103466655 HAS SOPS 91049960 HAS SOUS 22866491 HAS SOUPS 22734874 WITH SCORE 2.2838340655E7
AT ITER 529 NEW BEST:: SOT 152721813 SOS 103470907 HAS SOPS 91054689 HAS SOUS 22864267 HAS SOUPS 22732650 WITH SCORE 2.2836120907E7
AT ITER 536 NEW BEST:: SOT 152784329 SOS 103563498 HAS SOPS 91135035 HAS SOUS 22838979 HAS SOUPS 22707105 WITH SCORE 2.2810668498E7
AT ITER 541 NEW BEST:: SOT 152788552 SOS 103567537 HAS SOPS 91137207 HAS SOUS 22836340 HAS SOUPS 22704466 WITH SCORE 2.2808033537E7
AT ITER 565 NEW BEST:: SOT 152788286 SOS 103567271 HAS SOPS 91136922 HAS SOUS 22835954 HAS SOUPS 22704080 WITH SCORE 2.2807647271E7
AT ITER 567 NEW BEST:: SOT 152794183 SOS 103573506 HAS SOPS 91140788 HAS SOUS 22835729 HAS SOUPS 22703855 WITH SCORE 2.2807428506E7
AT ITER 568 NEW BEST:: SOT 152584705 SOS 103547166 HAS SOPS 91117668 HAS SOUS 22629928 HAS SOUPS 22498201 WITH SCORE 2.2601748166E7
AT ITER 582 NEW BEST:: SOT 152584705 SOS 103830548 HAS SOPS 91355184 HAS SOUS 22625006 HAS SOUPS 22493024 WITH SCORE 2.2596854548E7
AT ITER 584 NEW BEST:: SOT 152574558 SOS 103820406 HAS SOPS 91343830 HAS SOUS 22615281 HAS SOUPS 22483299 WITH SCORE 2.2587119406E7
AT ITER 595 NEW BEST:: SOT 152601210 SOS 103856772 HAS SOPS 91369112 HAS SOUS 22604089 HAS SOUPS 22469658 WITH SCORE 2.2573514772E7
AT ITER 599 NEW BEST:: SOT 152600279 SOS 103855812 HAS SOPS 91367992 HAS SOUS 22602283 HAS SOUPS 22467852 WITH SCORE 2.2571707812E7
AT ITER 602 NEW BEST:: SOT 152602303 SOS 103858197 HAS SOPS 91365315 HAS SOUS 22591493 HAS SOUPS 22457062 WITH SCORE 2.2560920197E7
AT ITER 607 NEW BEST:: SOT 152600056 SOS 103859769 HAS SOPS 91366906 HAS SOUS 22589428 HAS SOUPS 22454997 WITH SCORE 2.2558856769E7
AT ITER 610 NEW BEST:: SOT 152602021 SOS 103867509 HAS SOPS 91374646 HAS SOUS 22588561 HAS SOUPS 22454130 WITH SCORE 2.2557997509E7
AT ITER 614 NEW BEST:: SOT 152599725 SOS 103865172 HAS SOPS 91372555 HAS SOUS 22583905 HAS SOUPS 22449474 WITH SCORE 2.2553339172E7
AT ITER 623 NEW BEST:: SOT 152700251 SOS 103985568 HAS SOPS 91493346 HAS SOUS 22553714 HAS SOUPS 22419275 WITH SCORE 2.2523260568E7
AT ITER 627 NEW BEST:: SOT 152680783 SOS 103929943 HAS SOPS 91458475 HAS SOUS 22550685 HAS SOUPS 22416344 WITH SCORE 2.2520273943E7
AT ITER 631 NEW BEST:: SOT 152680555 SOS 103929715 HAS SOPS 91458033 HAS SOUS 22550171 HAS SOUPS 22415830 WITH SCORE 2.2519759715E7
AT ITER 640 NEW BEST:: SOT 152685096 SOS 103943487 HAS SOPS 91469477 HAS SOUS 22546929 HAS SOUPS 22412617 WITH SCORE 2.2516560487E7
AT ITER 642 NEW BEST:: SOT 152694351 SOS 103952742 HAS SOPS 91475847 HAS SOUS 22528542 HAS SOUPS 22394226 WITH SCORE 2.2498178742E7
AT ITER 666 NEW BEST:: SOT 152693882 SOS 103951923 HAS SOPS 91474812 HAS SOUS 22528526 HAS SOUPS 22394210 WITH SCORE 2.2498161923E7
AT ITER 690 NEW BEST:: SOT 152664762 SOS 103922803 HAS SOPS 91444845 HAS SOUS 22511454 HAS SOUPS 22377138 WITH SCORE 2.2481060803E7
AT ITER 700 NEW BEST:: SOT 152661363 SOS 103915435 HAS SOPS 91438439 HAS SOUS 22510787 HAS SOUPS 22376471 WITH SCORE 2.2480386435E7
AT ITER 712 NEW BEST:: SOT 152661363 SOS 103914945 HAS SOPS 91437949 HAS SOUS 22510717 HAS SOUPS 22376401 WITH SCORE 2.2480315945E7
AT ITER 720 NEW BEST:: SOT 152661825 SOS 103915407 HAS SOPS 91437839 HAS SOUS 22508055 HAS SOUPS 22373739 WITH SCORE 2.2477654407E7
AT ITER 749 NEW BEST:: SOT 152666938 SOS 103741350 HAS SOPS 91251069 HAS SOUS 22486973 HAS SOUPS 22352657 WITH SCORE 2.245639835E7
AT ITER 751 NEW BEST:: SOT 152665252 SOS 103725686 HAS SOPS 91234300 HAS SOUS 22481484 HAS SOUPS 22347168 WITH SCORE 2.2450893686E7
AT ITER 753 NEW BEST:: SOT 152636233 SOS 103695515 HAS SOPS 91202447 HAS SOUS 22420654 HAS SOUPS 22286266 WITH SCORE 2.2389961515E7
AT ITER 758 NEW BEST:: SOT 152644951 SOS 103704636 HAS SOPS 91210103 HAS SOUS 22406511 HAS SOUPS 22271957 WITH SCORE 2.2375661636E7
AT ITER 759 NEW BEST:: SOT 152638987 SOS 103791320 HAS SOPS 91297136 HAS SOUS 22400379 HAS SOUPS 22265473 WITH SCORE 2.236926432E7
AT ITER 774 NEW BEST:: SOT 152638957 SOS 103791361 HAS SOPS 91293873 HAS SOUS 22380642 HAS SOUPS 22245736 WITH SCORE 2.2349527361E7
AT ITER 792 NEW BEST:: SOT 152626310 SOS 103778714 HAS SOPS 91283214 HAS SOUS 22372690 HAS SOUPS 22237784 WITH SCORE 2.2341562714E7
AT ITER 795 NEW BEST:: SOT 152628826 SOS 103781230 HAS SOPS 91286470 HAS SOUS 22372302 HAS SOUPS 22237396 WITH SCORE 2.234117723E7
AT ITER 808 NEW BEST:: SOT 152633054 SOS 103786266 HAS SOPS 91292208 HAS SOUS 22362852 HAS SOUPS 22227946 WITH SCORE 2.2331732266E7
AT ITER 820 NEW BEST:: SOT 152634933 SOS 103787928 HAS SOPS 91292953 HAS SOUS 22362811 HAS SOUPS 22227905 WITH SCORE 2.2331692928E7
AT ITER 824 NEW BEST:: SOT 152634533 SOS 103787528 HAS SOPS 91292050 HAS SOUS 22361083 HAS SOUPS 22226124 WITH SCORE 2.2329911528E7
AT ITER 828 NEW BEST:: SOT 152633964 SOS 103783917 HAS SOPS 91286764 HAS SOUS 22358858 HAS SOUPS 22223868 WITH SCORE 2.2327651917E7
AT ITER 829 NEW BEST:: SOT 152632072 SOS 103781874 HAS SOPS 91286689 HAS SOUS 22352211 HAS SOUPS 22217221 WITH SCORE 2.2321002874E7
AT ITER 840 NEW BEST:: SOT 152650214 SOS 103976261 HAS SOPS 91422388 HAS SOUS 22322634 HAS SOUPS 22187263 WITH SCORE 2.2291239261E7
AT ITER 853 NEW BEST:: SOT 152650346 SOS 103976337 HAS SOPS 91422260 HAS SOUS 22322046 HAS SOUPS 22186675 WITH SCORE 2.2290651337E7
AT ITER 857 NEW BEST:: SOT 152649975 SOS 103976002 HAS SOPS 91421763 HAS SOUS 22321116 HAS SOUPS 22185745 WITH SCORE 2.2289721002E7
AT ITER 869 NEW BEST:: SOT 152650031 SOS 103972614 HAS SOPS 91430471 HAS SOUS 22320508 HAS SOUPS 22185207 WITH SCORE 2.2289179614E7
AT ITER 883 NEW BEST:: SOT 152649836 SOS 103972434 HAS SOPS 91430246 HAS SOUS 22320203 HAS SOUPS 22184902 WITH SCORE 2.2288874434E7
AT ITER 898 NEW BEST:: SOT 152649699 SOS 103971979 HAS SOPS 91429255 HAS SOUS 22306504 HAS SOUPS 22171203 WITH SCORE 2.2275174979E7
AT ITER 905 NEW BEST:: SOT 152618320 SOS 103940069 HAS SOPS 91396439 HAS SOUS 22303868 HAS SOUPS 22168742 WITH SCORE 2.2272682069E7
AT ITER 922 NEW BEST:: SOT 152598888 SOS 103920637 HAS SOPS 91379526 HAS SOUS 22284867 HAS SOUPS 22149876 WITH SCORE 2.2253796637E7
AT ITER 942 NEW BEST:: SOT 152597876 SOS 103940770 HAS SOPS 91398159 HAS SOUS 22282355 HAS SOUPS 22147364 WITH SCORE 2.225130477E7
AT ITER 950 NEW BEST:: SOT 152597876 SOS 103937914 HAS SOPS 91395303 HAS SOUS 22282311 HAS SOUPS 22147320 WITH SCORE 2.2251257914E7
AT ITER 952 NEW BEST:: SOT 152595742 SOS 103935796 HAS SOPS 91392898 HAS SOUS 22277215 HAS SOUPS 22142224 WITH SCORE 2.2246159796E7
AT ITER 965 NEW BEST:: SOT 152594210 SOS 103934096 HAS SOPS 91390792 HAS SOUS 22273157 HAS SOUPS 22138166 WITH SCORE 2.2242100096E7
AT ITER 977 NEW BEST:: SOT 152598833 SOS 103945696 HAS SOPS 91396791 HAS SOUS 22232870 HAS SOUPS 22097879 WITH SCORE 2.2201824696E7
AT ITER 979 NEW BEST:: SOT 152599297 SOS 103949747 HAS SOPS 91400842 HAS SOUS 22232433 HAS SOUPS 22097442 WITH SCORE 2.2201391747E7
AT ITER 982 NEW BEST:: SOT 152599244 SOS 103941948 HAS SOPS 91393043 HAS SOUS 22229601 HAS SOUPS 22094610 WITH SCORE 2.2198551948E7
AT ITER 985 NEW BEST:: SOT 152597977 SOS 103940607 HAS SOPS 91391691 HAS SOUS 22228230 HAS SOUPS 22093239 WITH SCORE 2.2197179607E7
AT ITER 986 NEW BEST:: SOT 152594910 SOS 103937540 HAS SOPS 91387403 HAS SOUS 22220317 HAS SOUPS 22085326 WITH SCORE 2.218926354E7
AT ITER 987 NEW BEST:: SOT 152593944 SOS 103936544 HAS SOPS 91384325 HAS SOUS 22220168 HAS SOUPS 22085215 WITH SCORE 2.2189151544E7
AT ITER 989 NEW BEST:: SOT 152587522 SOS 103912694 HAS SOPS 91359917 HAS SOUS 22212598 HAS SOUPS 22077645 WITH SCORE 2.2181557694E7
AT ITER 1025 NEW BEST:: SOT 152599990 SOS 103925755 HAS SOPS 91374138 HAS SOUS 22211045 HAS SOUPS 22076092 WITH SCORE 2.2180017755E7
AT ITER 1026 NEW BEST:: SOT 152597934 SOS 103923699 HAS SOPS 91371242 HAS SOUS 22209528 HAS SOUPS 22074575 WITH SCORE 2.2178498699E7
AT ITER 1029 NEW BEST:: SOT 152577385 SOS 104002091 HAS SOPS 91363554 HAS SOUS 22201596 HAS SOUPS 22068730 WITH SCORE 2.2172732091E7
AT ITER 1040 NEW BEST:: SOT 152664337 SOS 104010587 HAS SOPS 91392135 HAS SOUS 22152203 HAS SOUPS 22019592 WITH SCORE 2.2123602587E7
AT ITER 1041 NEW BEST:: SOT 152664685 SOS 103959296 HAS SOPS 91339883 HAS SOUS 22151469 HAS SOUPS 22018858 WITH SCORE 2.2122817296E7
AT ITER 1042 NEW BEST:: SOT 152633523 SOS 103979621 HAS SOPS 91359250 HAS SOUS 22103415 HAS SOUPS 21972388 WITH SCORE 2.2076367621E7
AT ITER 1052 NEW BEST:: SOT 152638458 SOS 103961707 HAS SOPS 91338609 HAS SOUS 22095581 HAS SOUPS 21964554 WITH SCORE 2.2068515707E7
AT ITER 1056 NEW BEST:: SOT 152642382 SOS 103965631 HAS SOPS 91340775 HAS SOUS 22094869 HAS SOUPS 21963842 WITH SCORE 2.2067807631E7
AT ITER 1063 NEW BEST:: SOT 152639489 SOS 103962738 HAS SOPS 91337852 HAS SOUS 22087236 HAS SOUPS 21956209 WITH SCORE 2.2060171738E7
AT ITER 1072 NEW BEST:: SOT 152639478 SOS 103962726 HAS SOPS 91337838 HAS SOUS 22087214 HAS SOUPS 21956187 WITH SCORE 2.2060149726E7
AT ITER 1085 NEW BEST:: SOT 152625674 SOS 103921320 HAS SOPS 91294911 HAS SOUS 22086724 HAS SOUPS 21955697 WITH SCORE 2.205961832E7
AT ITER 1088 NEW BEST:: SOT 152625409 SOS 103922195 HAS SOPS 91295786 HAS SOUS 22085245 HAS SOUPS 21954218 WITH SCORE 2.2058140195E7
AT ITER 1093 NEW BEST:: SOT 152634605 SOS 103931391 HAS SOPS 91304871 HAS SOUS 22078431 HAS SOUPS 21947404 WITH SCORE 2.2051335391E7
AT ITER 1101 NEW BEST:: SOT 152629160 SOS 103926042 HAS SOPS 91295170 HAS SOUS 22074965 HAS SOUPS 21943938 WITH SCORE 2.2047864042E7
AT ITER 1105 NEW BEST:: SOT 152630211 SOS 103910027 HAS SOPS 91290421 HAS SOUS 22068187 HAS SOUPS 21937308 WITH SCORE 2.2041218027E7
AT ITER 1125 NEW BEST:: SOT 152635763 SOS 103915522 HAS SOPS 91294553 HAS SOUS 22059101 HAS SOUPS 21928222 WITH SCORE 2.2032137522E7
AT ITER 1144 NEW BEST:: SOT 152689844 SOS 103970013 HAS SOPS 91355103 HAS SOUS 22048639 HAS SOUPS 21918207 WITH SCORE 2.2022177013E7
AT ITER 1148 NEW BEST:: SOT 152686739 SOS 103966908 HAS SOPS 91350378 HAS SOUS 22039898 HAS SOUPS 21909466 WITH SCORE 2.2013432908E7
AT ITER 1152 NEW BEST:: SOT 152677524 SOS 103757984 HAS SOPS 91197334 HAS SOUS 22007035 HAS SOUPS 21877136 WITH SCORE 2.1980893984E7
AT ITER 1159 NEW BEST:: SOT 152699912 SOS 103597204 HAS SOPS 91160000 HAS SOUS 21999303 HAS SOUPS 21860871 WITH SCORE 2.1964468204E7
AT ITER 1161 NEW BEST:: SOT 152707236 SOS 103618910 HAS SOPS 91180938 HAS SOUS 21995737 HAS SOUPS 21857247 WITH SCORE 2.196086591E7
AT ITER 1163 NEW BEST:: SOT 152699231 SOS 103610808 HAS SOPS 91171179 HAS SOUS 21984932 HAS SOUPS 21846442 WITH SCORE 2.1950052808E7
AT ITER 1166 NEW BEST:: SOT 152696847 SOS 103608365 HAS SOPS 91170191 HAS SOUS 21975627 HAS SOUPS 21837137 WITH SCORE 2.1940745365E7
AT ITER 1177 NEW BEST:: SOT 152695406 SOS 103606895 HAS SOPS 91168593 HAS SOUS 21972381 HAS SOUPS 21833891 WITH SCORE 2.1937497895E7
AT ITER 1181 NEW BEST:: SOT 152718338 SOS 103650715 HAS SOPS 91214190 HAS SOUS 21960397 HAS SOUPS 21822115 WITH SCORE 2.1925765715E7
AT ITER 1182 NEW BEST:: SOT 152712123 SOS 103581265 HAS SOPS 91144740 HAS SOUS 21950919 HAS SOUPS 21812637 WITH SCORE 2.1916218265E7
AT ITER 1188 NEW BEST:: SOT 152711434 SOS 103580651 HAS SOPS 91144074 HAS SOUS 21949109 HAS SOUPS 21810827 WITH SCORE 2.1914407651E7
AT ITER 1193 NEW BEST:: SOT 152715347 SOS 103584499 HAS SOPS 91147231 HAS SOUS 21943939 HAS SOUPS 21805657 WITH SCORE 2.1909241499E7
AT ITER 1194 NEW BEST:: SOT 152715347 SOS 103589012 HAS SOPS 91149034 HAS SOUS 21938851 HAS SOUPS 21800569 WITH SCORE 2.1904158012E7
AT ITER 1200 NEW BEST:: SOT 152714361 SOS 103588219 HAS SOPS 91146687 HAS SOUS 21932901 HAS SOUPS 21794619 WITH SCORE 2.1898207219E7
AT ITER 1215 NEW BEST:: SOT 152751595 SOS 103618082 HAS SOPS 91178025 HAS SOUS 21913909 HAS SOUPS 21775587 WITH SCORE 2.1879205082E7
AT ITER 1229 NEW BEST:: SOT 152752395 SOS 103616031 HAS SOPS 91178809 HAS SOUS 21912851 HAS SOUPS 21774634 WITH SCORE 2.1878250031E7
AT ITER 1244 NEW BEST:: SOT 152746689 SOS 103610073 HAS SOPS 91171352 HAS SOUS 21897963 HAS SOUPS 21759746 WITH SCORE 2.1863356073E7
AT ITER 1245 NEW BEST:: SOT 152756105 SOS 103527578 HAS SOPS 91083809 HAS SOUS 21888532 HAS SOUPS 21750315 WITH SCORE 2.1853842578E7
AT ITER 1282 NEW BEST:: SOT 152756531 SOS 103528094 HAS SOPS 91082339 HAS SOUS 21888478 HAS SOUPS 21750255 WITH SCORE 2.1853783094E7
AT ITER 1310 NEW BEST:: SOT 152756207 SOS 103527743 HAS SOPS 91081610 HAS SOUS 21887235 HAS SOUPS 21749012 WITH SCORE 2.1852539743E7
AT ITER 1354 NEW BEST:: SOT 152734621 SOS 103422656 HAS SOPS 90987182 HAS SOUS 21879077 HAS SOUPS 21741474 WITH SCORE 2.1844896656E7
AT ITER 1370 NEW BEST:: SOT 152741224 SOS 103428853 HAS SOPS 90988949 HAS SOUS 21877226 HAS SOUPS 21739623 WITH SCORE 2.1843051853E7
AT ITER 1373 NEW BEST:: SOT 152736018 SOS 103423647 HAS SOPS 90983616 HAS SOUS 21868966 HAS SOUPS 21731363 WITH SCORE 2.1834786647E7
AT ITER 1374 NEW BEST:: SOT 152735876 SOS 103420274 HAS SOPS 90978305 HAS SOUS 21869005 HAS SOUPS 21731345 WITH SCORE 2.1834765274E7
AT ITER 1387 NEW BEST:: SOT 152729521 SOS 103413324 HAS SOPS 90965462 HAS SOUS 21857740 HAS SOUPS 21720080 WITH SCORE 2.1823493324E7
AT ITER 1397 NEW BEST:: SOT 152726731 SOS 103410348 HAS SOPS 90961990 HAS SOUS 21853152 HAS SOUPS 21715492 WITH SCORE 2.1818902348E7
AT ITER 1398 NEW BEST:: SOT 152725731 SOS 103409368 HAS SOPS 90961150 HAS SOUS 21852292 HAS SOUPS 21714632 WITH SCORE 2.1818041368E7
AT ITER 1400 NEW BEST:: SOT 152719980 SOS 103403521 HAS SOPS 90957223 HAS SOUS 21849133 HAS SOUPS 21711473 WITH SCORE 2.1814876521E7
AT ITER 1418 NEW BEST:: SOT 152723647 SOS 103535314 HAS SOPS 91014337 HAS SOUS 21839736 HAS SOUPS 21701682 WITH SCORE 2.1805217314E7
AT ITER 1433 NEW BEST:: SOT 152718699 SOS 103530366 HAS SOPS 91009295 HAS SOUS 21830350 HAS SOUPS 21692296 WITH SCORE 2.1795826366E7
AT ITER 1438 NEW BEST:: SOT 152738776 SOS 103592205 HAS SOPS 91067008 HAS SOUS 21813289 HAS SOUPS 21675235 WITH SCORE 2.1778827205E7
AT ITER 1439 NEW BEST:: SOT 152765082 SOS 103619200 HAS SOPS 91092121 HAS SOUS 21810270 HAS SOUPS 21672216 WITH SCORE 2.17758352E7
AT ITER 1441 NEW BEST:: SOT 152733055 SOS 103587101 HAS SOPS 91061957 HAS SOUS 21789289 HAS SOUPS 21651664 WITH SCORE 2.1755251101E7
AT ITER 1442 NEW BEST:: SOT 152728514 SOS 103582324 HAS SOPS 91052480 HAS SOUS 21758018 HAS SOUPS 21620393 WITH SCORE 2.1723975324E7
AT ITER 1463 NEW BEST:: SOT 152727839 SOS 103581649 HAS SOPS 91051724 HAS SOUS 21756710 HAS SOUPS 21619085 WITH SCORE 2.1722666649E7
AT ITER 1468 NEW BEST:: SOT 152727249 SOS 103657016 HAS SOPS 91125586 HAS SOUS 21745750 HAS SOUPS 21608125 WITH SCORE 2.1711782016E7
AT ITER 1471 NEW BEST:: SOT 152733409 SOS 103661017 HAS SOPS 91126067 HAS SOUS 21729109 HAS SOUPS 21591484 WITH SCORE 2.1695145017E7
AT ITER 1480 NEW BEST:: SOT 152736841 SOS 103664449 HAS SOPS 91130357 HAS SOUS 21727859 HAS SOUPS 21590234 WITH SCORE 2.1693898449E7
AT ITER 1495 NEW BEST:: SOT 152738135 SOS 103666335 HAS SOPS 91134990 HAS SOUS 21726959 HAS SOUPS 21589334 WITH SCORE 2.1693000335E7
AT ITER 1504 NEW BEST:: SOT 152738556 SOS 103666634 HAS SOPS 91133995 HAS SOUS 21718482 HAS SOUPS 21580857 WITH SCORE 2.1684523634E7
AT ITER 1510 NEW BEST:: SOT 152712596 SOS 103650324 HAS SOPS 91117808 HAS SOUS 21712563 HAS SOUPS 21574938 WITH SCORE 2.1678588324E7
AT ITER 1515 NEW BEST:: SOT 152708640 SOS 103647016 HAS SOPS 91113761 HAS SOUS 21703601 HAS SOUPS 21565976 WITH SCORE 2.1669623016E7
AT ITER 1516 NEW BEST:: SOT 152713864 SOS 103652240 HAS SOPS 91119541 HAS SOUS 21696689 HAS SOUPS 21559064 WITH SCORE 2.166271624E7
AT ITER 1520 NEW BEST:: SOT 152713447 SOS 103651800 HAS SOPS 91120895 HAS SOUS 21681993 HAS SOUPS 21544368 WITH SCORE 2.16480198E7
AT ITER 1536 NEW BEST:: SOT 152711376 SOS 103649639 HAS SOPS 91118122 HAS SOUS 21679027 HAS SOUPS 21541402 WITH SCORE 2.1645051639E7
AT ITER 1548 NEW BEST:: SOT 152705660 SOS 103645432 HAS SOPS 91115142 HAS SOUS 21671769 HAS SOUPS 21534144 WITH SCORE 2.1637789432E7
AT ITER 1568 NEW BEST:: SOT 152635197 SOS 103576263 HAS SOPS 91055221 HAS SOUS 21646288 HAS SOUPS 21508618 WITH SCORE 2.1612194263E7
AT ITER 1569 NEW BEST:: SOT 152637339 SOS 103579126 HAS SOPS 91058084 HAS SOUS 21644648 HAS SOUPS 21506978 WITH SCORE 2.1610557126E7
AT ITER 1581 NEW BEST:: SOT 152635729 SOS 103577516 HAS SOPS 91056189 HAS SOUS 21638934 HAS SOUPS 21501264 WITH SCORE 2.1604841516E7
AT ITER 1583 NEW BEST:: SOT 152644321 SOS 103587424 HAS SOPS 91050275 HAS SOUS 21641930 HAS SOUPS 21497042 WITH SCORE 2.1600629424E7
AT ITER 1589 NEW BEST:: SOT 152645294 SOS 103590672 HAS SOPS 91053054 HAS SOUS 21640817 HAS SOUPS 21495929 WITH SCORE 2.1599519672E7
AT ITER 1590 NEW BEST:: SOT 152725337 SOS 103670947 HAS SOPS 91130655 HAS SOUS 21611980 HAS SOUPS 21466798 WITH SCORE 2.1570468947E7
AT ITER 1602 NEW BEST:: SOT 152703788 SOS 103649670 HAS SOPS 91106225 HAS SOUS 21577981 HAS SOUPS 21432706 WITH SCORE 2.153635567E7
AT ITER 1608 NEW BEST:: SOT 152694779 SOS 103640582 HAS SOPS 91096925 HAS SOUS 21558643 HAS SOUPS 21413641 WITH SCORE 2.1517281582E7
AT ITER 1640 NEW BEST:: SOT 152696589 SOS 103563797 HAS SOPS 91015400 HAS SOUS 21550267 HAS SOUPS 21405265 WITH SCORE 2.1508828797E7
AT ITER 1647 NEW BEST:: SOT 152694164 SOS 103561176 HAS SOPS 91011793 HAS SOUS 21546797 HAS SOUPS 21401795 WITH SCORE 2.1505356176E7
AT ITER 1654 NEW BEST:: SOT 152692629 SOS 103559641 HAS SOPS 91010182 HAS SOUS 21543694 HAS SOUPS 21398692 WITH SCORE 2.1502251641E7
AT ITER 1657 NEW BEST:: SOT 152718452 SOS 103557908 HAS SOPS 90998815 HAS SOUS 21530181 HAS SOUPS 21385179 WITH SCORE 2.1488736908E7
AT ITER 1668 NEW BEST:: SOT 152718920 SOS 103557788 HAS SOPS 90996127 HAS SOUS 21528610 HAS SOUPS 21383608 WITH SCORE 2.1487165788E7
AT ITER 1694 NEW BEST:: SOT 152685743 SOS 103591082 HAS SOPS 91032311 HAS SOUS 21506535 HAS SOUPS 21361533 WITH SCORE 2.1465124082E7
AT ITER 1703 NEW BEST:: SOT 152685274 SOS 103590613 HAS SOPS 91031754 HAS SOUS 21505538 HAS SOUPS 21360536 WITH SCORE 2.1464126613E7
AT ITER 1705 NEW BEST:: SOT 152672643 SOS 103499178 HAS SOPS 90940550 HAS SOUS 21504554 HAS SOUPS 21359552 WITH SCORE 2.1463051178E7
AT ITER 1710 NEW BEST:: SOT 152680890 SOS 103507152 HAS SOPS 90945378 HAS SOUS 21504278 HAS SOUPS 21359276 WITH SCORE 2.1462783152E7
AT ITER 1713 NEW BEST:: SOT 152680371 SOS 103506633 HAS SOPS 90944877 HAS SOUS 21503627 HAS SOUPS 21358625 WITH SCORE 2.1462131633E7
AT ITER 1720 NEW BEST:: SOT 152695804 SOS 103529053 HAS SOPS 90942672 HAS SOUS 21478994 HAS SOUPS 21332706 WITH SCORE 2.1436235053E7
AT ITER 1730 NEW BEST:: SOT 152701984 SOS 103536700 HAS SOPS 90960089 HAS SOUS 21473825 HAS SOUPS 21327537 WITH SCORE 2.14310737E7
AT ITER 1733 NEW BEST:: SOT 152702285 SOS 103542083 HAS SOPS 90965472 HAS SOUS 21473693 HAS SOUPS 21327405 WITH SCORE 2.1430947083E7
AT ITER 1740 NEW BEST:: SOT 152710301 SOS 103550173 HAS SOPS 90973461 HAS SOUS 21472979 HAS SOUPS 21326691 WITH SCORE 2.1430241173E7
AT ITER 1771 NEW BEST:: SOT 152710238 SOS 103550114 HAS SOPS 90973402 HAS SOUS 21472810 HAS SOUPS 21326522 WITH SCORE 2.1430072114E7
AT ITER 1776 NEW BEST:: SOT 152710117 SOS 103543161 HAS SOPS 90970523 HAS SOUS 21470866 HAS SOUPS 21324693 WITH SCORE 2.1428236161E7
AT ITER 1781 NEW BEST:: SOT 152710066 SOS 103511616 HAS SOPS 90928286 HAS SOUS 21469875 HAS SOUPS 21323702 WITH SCORE 2.1427213616E7
AT ITER 1787 NEW BEST:: SOT 152685773 SOS 103487130 HAS SOPS 90894204 HAS SOUS 21401798 HAS SOUPS 21255625 WITH SCORE 2.135911213E7
AT ITER 1796 NEW BEST:: SOT 152694207 SOS 103495564 HAS SOPS 90900625 HAS SOUS 21399393 HAS SOUPS 21253220 WITH SCORE 2.1356715564E7
AT ITER 1807 NEW BEST:: SOT 152693105 SOS 103544151 HAS SOPS 90949302 HAS SOUS 21396598 HAS SOUPS 21250425 WITH SCORE 2.1353969151E7
AT ITER 1817 NEW BEST:: SOT 152698202 SOS 103582440 HAS SOPS 90991639 HAS SOUS 21389339 HAS SOUPS 21243166 WITH SCORE 2.134674844E7
AT ITER 1821 NEW BEST:: SOT 152691651 SOS 103574513 HAS SOPS 90983696 HAS SOUS 21384180 HAS SOUPS 21238007 WITH SCORE 2.1341581513E7
AT ITER 1831 NEW BEST:: SOT 152694854 SOS 103577829 HAS SOPS 90986532 HAS SOUS 21377037 HAS SOUPS 21230864 WITH SCORE 2.1334441829E7
AT ITER 1848 NEW BEST:: SOT 152721315 SOS 103773811 HAS SOPS 91207525 HAS SOUS 21364763 HAS SOUPS 21218996 WITH SCORE 2.1322769811E7
AT ITER 1850 NEW BEST:: SOT 152721396 SOS 103766457 HAS SOPS 91204524 HAS SOUS 21362093 HAS SOUPS 21216326 WITH SCORE 2.1320092457E7
AT ITER 1868 NEW BEST:: SOT 152723224 SOS 103768285 HAS SOPS 91205920 HAS SOUS 21360753 HAS SOUPS 21214986 WITH SCORE 2.1318754285E7
AT ITER 1879 NEW BEST:: SOT 152724144 SOS 103769205 HAS SOPS 91206222 HAS SOUS 21359673 HAS SOUPS 21213906 WITH SCORE 2.1317675205E7
AT ITER 1926 NEW BEST:: SOT 152723671 SOS 103768660 HAS SOPS 91204671 HAS SOUS 21348863 HAS SOUPS 21203096 WITH SCORE 2.130686466E7
AT ITER 1927 NEW BEST:: SOT 152723854 SOS 103760385 HAS SOPS 91195034 HAS SOUS 21348457 HAS SOUPS 21202690 WITH SCORE 2.1306450385E7
AT ITER 1947 NEW BEST:: SOT 152732386 SOS 103768611 HAS SOPS 91203402 HAS SOUS 21338230 HAS SOUPS 21192463 WITH SCORE 2.1296231611E7
AT ITER 1965 NEW BEST:: SOT 152741895 SOS 103778120 HAS SOPS 91212785 HAS SOUS 21331974 HAS SOUPS 21186207 WITH SCORE 2.128998512E7
AT ITER 1977 NEW BEST:: SOT 152824907 SOS 103915084 HAS SOPS 91349993 HAS SOUS 21295749 HAS SOUPS 21150935 WITH SCORE 2.1254850084E7
AT ITER 1984 NEW BEST:: SOT 152775572 SOS 103866581 HAS SOPS 91299374 HAS SOUS 21261872 HAS SOUPS 21117058 WITH SCORE 2.1220924581E7
AT ITER 1986 NEW BEST:: SOT 152775608 SOS 103865093 HAS SOPS 91298954 HAS SOUS 21261428 HAS SOUPS 21116626 WITH SCORE 2.1220491093E7
AT ITER 1990 NEW BEST:: SOT 152583706 SOS 103670331 HAS SOPS 91092837 HAS SOUS 21027016 HAS SOUPS 20882214 WITH SCORE 2.0985884331E7
AT ITER 1994 NEW BEST:: SOT 152593933 SOS 103701787 HAS SOPS 91117640 HAS SOUS 21018142 HAS SOUPS 20873281 WITH SCORE 2.0976982787E7
AT ITER 2001 NEW BEST:: SOT 152591072 SOS 103699024 HAS SOPS 91118235 HAS SOUS 21005134 HAS SOUPS 20860273 WITH SCORE 2.0963972024E7
AT ITER 2002 NEW BEST:: SOT 152590538 SOS 103630683 HAS SOPS 91047189 HAS SOUS 20998820 HAS SOUPS 20853959 WITH SCORE 2.0957589683E7
AT ITER 2021 NEW BEST:: SOT 152622287 SOS 103363429 HAS SOPS 91078482 HAS SOUS 20995600 HAS SOUPS 20849735 WITH SCORE 2.0953098429E7
AT ITER 2024 NEW BEST:: SOT 152623118 SOS 103363485 HAS SOPS 91075759 HAS SOUS 20982297 HAS SOUPS 20836432 WITH SCORE 2.0939795485E7
AT ITER 2029 NEW BEST:: SOT 152614516 SOS 103354883 HAS SOPS 91067157 HAS SOUS 20971465 HAS SOUPS 20825600 WITH SCORE 2.0928954883E7
AT ITER 2034 NEW BEST:: SOT 152615182 SOS 103377929 HAS SOPS 91090203 HAS SOUS 20968616 HAS SOUPS 20822751 WITH SCORE 2.0926128929E7
AT ITER 2036 NEW BEST:: SOT 152616539 SOS 103384757 HAS SOPS 91097031 HAS SOUS 20968001 HAS SOUPS 20822136 WITH SCORE 2.0925520757E7
AT ITER 2040 NEW BEST:: SOT 152615839 SOS 103384057 HAS SOPS 91096256 HAS SOUS 20965735 HAS SOUPS 20819870 WITH SCORE 2.0923254057E7
AT ITER 2055 NEW BEST:: SOT 152617124 SOS 103386431 HAS SOPS 91096156 HAS SOUS 20959645 HAS SOUPS 20813780 WITH SCORE 2.0917166431E7
AT ITER 2062 NEW BEST:: SOT 152603652 SOS 103372461 HAS SOPS 91078570 HAS SOUS 20933444 HAS SOUPS 20787579 WITH SCORE 2.0890951461E7
AT ITER 2063 NEW BEST:: SOT 152610005 SOS 103380555 HAS SOPS 91089475 HAS SOUS 20920171 HAS SOUPS 20774306 WITH SCORE 2.0877686555E7
AT ITER 2072 NEW BEST:: SOT 152596053 SOS 103366097 HAS SOPS 91074369 HAS SOUS 20905409 HAS SOUPS 20759544 WITH SCORE 2.0862910097E7
AT ITER 2130 NEW BEST:: SOT 152598147 SOS 103357751 HAS SOPS 91066023 HAS SOUS 20903467 HAS SOUPS 20757602 WITH SCORE 2.0860959751E7
AT ITER 2147 NEW BEST:: SOT 152598147 SOS 103355546 HAS SOPS 91063178 HAS SOUS 20903302 HAS SOUPS 20757437 WITH SCORE 2.0860792546E7
AT ITER 2154 NEW BEST:: SOT 152588985 SOS 103330924 HAS SOPS 91048654 HAS SOUS 20896410 HAS SOUPS 20750587 WITH SCORE 2.0853917924E7
AT ITER 2157 NEW BEST:: SOT 152666928 SOS 103413619 HAS SOPS 91157487 HAS SOUS 20881950 HAS SOUPS 20736147 WITH SCORE 2.0839560619E7
AT ITER 2162 NEW BEST:: SOT 152668242 SOS 103414921 HAS SOPS 91157270 HAS SOUS 20872601 HAS SOUPS 20726798 WITH SCORE 2.0830212921E7
AT ITER 2193 NEW BEST:: SOT 152665889 SOS 103412980 HAS SOPS 91152505 HAS SOUS 20862879 HAS SOUPS 20717076 WITH SCORE 2.082048898E7
AT ITER 2195 NEW BEST:: SOT 152662665 SOS 103409820 HAS SOPS 91151181 HAS SOUS 20860047 HAS SOUPS 20714244 WITH SCORE 2.081765382E7
AT ITER 2202 NEW BEST:: SOT 152662395 SOS 103409550 HAS SOPS 91150841 HAS SOUS 20859607 HAS SOUPS 20713804 WITH SCORE 2.081721355E7
AT ITER 2206 NEW BEST:: SOT 152666590 SOS 103357917 HAS SOPS 91149678 HAS SOUS 20852158 HAS SOUPS 20706604 WITH SCORE 2.0809961917E7
AT ITER 2207 NEW BEST:: SOT 152671134 SOS 103361846 HAS SOPS 91149566 HAS SOUS 20846512 HAS SOUPS 20700958 WITH SCORE 2.0804319846E7
AT ITER 2238 NEW BEST:: SOT 152674471 SOS 103362984 HAS SOPS 91149996 HAS SOUS 20841699 HAS SOUPS 20696145 WITH SCORE 2.0799507984E7
AT ITER 2257 NEW BEST:: SOT 152674532 SOS 103338346 HAS SOPS 91135850 HAS SOUS 20841304 HAS SOUPS 20695811 WITH SCORE 2.0799149346E7
AT ITER 2258 NEW BEST:: SOT 152674440 SOS 103338254 HAS SOPS 91134963 HAS SOUS 20840236 HAS SOUPS 20694743 WITH SCORE 2.0798081254E7
AT ITER 2265 NEW BEST:: SOT 152674545 SOS 103331294 HAS SOPS 91128003 HAS SOUS 20837424 HAS SOUPS 20691931 WITH SCORE 2.0795262294E7
AT ITER 2283 NEW BEST:: SOT 152663891 SOS 103314120 HAS SOPS 91109354 HAS SOUS 20821634 HAS SOUPS 20676141 WITH SCORE 2.077945512E7
AT ITER 2290 NEW BEST:: SOT 152677167 SOS 103327276 HAS SOPS 91125410 HAS SOUS 20819832 HAS SOUPS 20674339 WITH SCORE 2.0777666276E7
AT ITER 2298 NEW BEST:: SOT 152723001 SOS 103375730 HAS SOPS 91179593 HAS SOUS 20805287 HAS SOUPS 20659643 WITH SCORE 2.076301873E7
AT ITER 2311 NEW BEST:: SOT 152724531 SOS 103370525 HAS SOPS 91182487 HAS SOUS 20802735 HAS SOUPS 20657339 WITH SCORE 2.0760709525E7
AT ITER 2314 NEW BEST:: SOT 152728745 SOS 103372531 HAS SOPS 91223439 HAS SOUS 20802313 HAS SOUPS 20657062 WITH SCORE 2.0760434531E7
AT ITER 2315 NEW BEST:: SOT 152717760 SOS 103360719 HAS SOPS 91203505 HAS SOUS 20769130 HAS SOUPS 20623879 WITH SCORE 2.0727239719E7
AT ITER 2317 NEW BEST:: SOT 152710827 SOS 103364109 HAS SOPS 91206253 HAS SOUS 20761656 HAS SOUPS 20616405 WITH SCORE 2.0719769109E7
AT ITER 2318 NEW BEST:: SOT 152719418 SOS 103372166 HAS SOPS 91206584 HAS SOUS 20738848 HAS SOUPS 20593597 WITH SCORE 2.0696969166E7
AT ITER 2323 NEW BEST:: SOT 152707949 SOS 103360896 HAS SOPS 91202139 HAS SOUS 20730824 HAS SOUPS 20585573 WITH SCORE 2.0688933896E7
AT ITER 2333 NEW BEST:: SOT 152701671 SOS 103354210 HAS SOPS 91194909 HAS SOUS 20715162 HAS SOUPS 20569911 WITH SCORE 2.067326521E7
AT ITER 2334 NEW BEST:: SOT 152702080 SOS 103350409 HAS SOPS 91191108 HAS SOUS 20711917 HAS SOUPS 20566666 WITH SCORE 2.0670016409E7
AT ITER 2338 NEW BEST:: SOT 152702334 SOS 103191833 HAS SOPS 91027369 HAS SOUS 20705574 HAS SOUPS 20560323 WITH SCORE 2.0663514833E7
AT ITER 2345 NEW BEST:: SOT 152712180 SOS 103201286 HAS SOPS 91035286 HAS SOUS 20686226 HAS SOUPS 20540975 WITH SCORE 2.0644176286E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15425900 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16063060 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-pb109"
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-pb109, 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-167889194500288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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