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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 13:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 13:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 13:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 13:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M 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 1679487991290

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=RERS17pb115-PT-7
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 7
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: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123446583 SOS 80238157 HAS SOPS 65217586 HAS SOUS 24077925 HAS SOUPS 23505151 WITH SCORE 2.3585389157E7
AT ITER 14 NEW BEST:: SOT 123461285 SOS 80291639 HAS SOPS 65258267 HAS SOUS 24056069 HAS SOUPS 23483295 WITH SCORE 2.3563586639E7
AT ITER 27 NEW BEST:: SOT 123449629 SOS 80264289 HAS SOPS 65232586 HAS SOUS 24047373 HAS SOUPS 23474746 WITH SCORE 2.3555010289E7
AT ITER 49 NEW BEST:: SOT 123442977 SOS 80258746 HAS SOPS 65225388 HAS SOUS 24033087 HAS SOUPS 23460460 WITH SCORE 2.3540718746E7
AT ITER 68 NEW BEST:: SOT 123442549 SOS 80254038 HAS SOPS 65222732 HAS SOUS 24031984 HAS SOUPS 23459357 WITH SCORE 2.3539611038E7
AT ITER 80 NEW BEST:: SOT 123440012 SOS 80251391 HAS SOPS 65219438 HAS SOUS 24028940 HAS SOUPS 23456313 WITH SCORE 2.3536564391E7
AT ITER 89 NEW BEST:: SOT 123439522 SOS 80251494 HAS SOPS 65222623 HAS SOUS 24027226 HAS SOUPS 23454636 WITH SCORE 2.3534887494E7
AT ITER 107 NEW BEST:: SOT 123437978 SOS 80249645 HAS SOPS 65220939 HAS SOUS 24024062 HAS SOUPS 23451497 WITH SCORE 2.3531746645E7
AT ITER 117 NEW BEST:: SOT 123439091 SOS 80250406 HAS SOPS 65222114 HAS SOUS 24021479 HAS SOUPS 23448914 WITH SCORE 2.3529164406E7
AT ITER 145 NEW BEST:: SOT 123432908 SOS 80252404 HAS SOPS 65223011 HAS SOUS 24001648 HAS SOUPS 23429083 WITH SCORE 2.3509335404E7
AT ITER 147 NEW BEST:: SOT 123439244 SOS 80258617 HAS SOPS 65229224 HAS SOUS 23999782 HAS SOUPS 23427217 WITH SCORE 2.3507475617E7
AT ITER 152 NEW BEST:: SOT 123531137 SOS 80422975 HAS SOPS 65360167 HAS SOUS 23986436 HAS SOUPS 23413046 WITH SCORE 2.3493468975E7
AT ITER 158 NEW BEST:: SOT 123531089 SOS 80422933 HAS SOPS 65359933 HAS SOUS 23986238 HAS SOUPS 23412812 WITH SCORE 2.3493234933E7
AT ITER 163 NEW BEST:: SOT 123525050 SOS 80416717 HAS SOPS 65356431 HAS SOUS 23955307 HAS SOUPS 23381881 WITH SCORE 2.3462297717E7
AT ITER 181 NEW BEST:: SOT 123527407 SOS 80425822 HAS SOPS 65368174 HAS SOUS 23946332 HAS SOUPS 23372906 WITH SCORE 2.3453331822E7
AT ITER 183 NEW BEST:: SOT 123521264 SOS 80417754 HAS SOPS 65366539 HAS SOUS 23926750 HAS SOUPS 23353324 WITH SCORE 2.3433741754E7
AT ITER 185 NEW BEST:: SOT 123516683 SOS 80399205 HAS SOPS 65357656 HAS SOUS 23907602 HAS SOUPS 23334141 WITH SCORE 2.3414540205E7
AT ITER 192 NEW BEST:: SOT 123526855 SOS 80429696 HAS SOPS 65381428 HAS SOUS 23887003 HAS SOUPS 23313542 WITH SCORE 2.3393971696E7
AT ITER 196 NEW BEST:: SOT 123531169 SOS 80438416 HAS SOPS 65390964 HAS SOUS 23881446 HAS SOUPS 23308517 WITH SCORE 2.3388955416E7
AT ITER 217 NEW BEST:: SOT 123534271 SOS 80444065 HAS SOPS 65395353 HAS SOUS 23880976 HAS SOUPS 23308047 WITH SCORE 2.3388491065E7
AT ITER 219 NEW BEST:: SOT 123540192 SOS 80467001 HAS SOPS 65426333 HAS SOUS 23873122 HAS SOUPS 23300193 WITH SCORE 2.3380660001E7
AT ITER 228 NEW BEST:: SOT 123548943 SOS 80484558 HAS SOPS 65439068 HAS SOUS 23872960 HAS SOUPS 23300031 WITH SCORE 2.3380515558E7
AT ITER 257 NEW BEST:: SOT 123547200 SOS 80482383 HAS SOPS 65436382 HAS SOUS 23865333 HAS SOUPS 23292404 WITH SCORE 2.3372886383E7
AT ITER 259 NEW BEST:: SOT 123554345 SOS 80528016 HAS SOPS 65463375 HAS SOUS 23836289 HAS SOUPS 23263360 WITH SCORE 2.3343888016E7
AT ITER 271 NEW BEST:: SOT 123557987 SOS 80531433 HAS SOPS 65465458 HAS SOUS 23830541 HAS SOUPS 23257933 WITH SCORE 2.3338464433E7
AT ITER 275 NEW BEST:: SOT 123554445 SOS 80527684 HAS SOPS 65461331 HAS SOUS 23825113 HAS SOUPS 23252505 WITH SCORE 2.3333032684E7
AT ITER 285 NEW BEST:: SOT 123546852 SOS 80512588 HAS SOPS 65444927 HAS SOUS 23806731 HAS SOUPS 23234123 WITH SCORE 2.3314635588E7
AT ITER 290 NEW BEST:: SOT 123543705 SOS 80508859 HAS SOPS 65438694 HAS SOUS 23798314 HAS SOUPS 23225706 WITH SCORE 2.3306214859E7
AT ITER 300 NEW BEST:: SOT 123566175 SOS 80567189 HAS SOPS 65491021 HAS SOUS 23775542 HAS SOUPS 23202934 WITH SCORE 2.3283501189E7
AT ITER 313 NEW BEST:: SOT 123567181 SOS 80566123 HAS SOPS 65491279 HAS SOUS 23773934 HAS SOUPS 23201365 WITH SCORE 2.3281931123E7
AT ITER 319 NEW BEST:: SOT 123578815 SOS 80617516 HAS SOPS 65558170 HAS SOUS 23760464 HAS SOUPS 23187895 WITH SCORE 2.3268512516E7
AT ITER 343 NEW BEST:: SOT 123569451 SOS 80615875 HAS SOPS 65556678 HAS SOUS 23734276 HAS SOUPS 23161912 WITH SCORE 2.3242527875E7
AT ITER 351 NEW BEST:: SOT 123594936 SOS 80662107 HAS SOPS 65577333 HAS SOUS 23701924 HAS SOUPS 23129560 WITH SCORE 2.3210222107E7
AT ITER 372 NEW BEST:: SOT 123581622 SOS 80680937 HAS SOPS 65596721 HAS SOUS 23692776 HAS SOUPS 23120412 WITH SCORE 2.3201092937E7
AT ITER 375 NEW BEST:: SOT 123582734 SOS 80683580 HAS SOPS 65598828 HAS SOUS 23692246 HAS SOUPS 23119882 WITH SCORE 2.320056558E7
AT ITER 388 NEW BEST:: SOT 123582568 SOS 80683207 HAS SOPS 65597950 HAS SOUS 23691950 HAS SOUPS 23119537 WITH SCORE 2.3200220207E7
AT ITER 400 NEW BEST:: SOT 123582920 SOS 80684267 HAS SOPS 65598995 HAS SOUS 23691824 HAS SOUPS 23119411 WITH SCORE 2.3200095267E7
AT ITER 401 NEW BEST:: SOT 123582573 SOS 80684280 HAS SOPS 65598759 HAS SOUS 23691438 HAS SOUPS 23119059 WITH SCORE 2.319974328E7
AT ITER 430 NEW BEST:: SOT 123582284 SOS 80683931 HAS SOPS 65598698 HAS SOUS 23688556 HAS SOUPS 23116450 WITH SCORE 2.3197133931E7
AT ITER 446 NEW BEST:: SOT 123590105 SOS 80696908 HAS SOPS 65601565 HAS SOUS 23676352 HAS SOUPS 23104239 WITH SCORE 2.3184935908E7
AT ITER 447 NEW BEST:: SOT 123589572 SOS 80696215 HAS SOPS 65600712 HAS SOUS 23675433 HAS SOUPS 23103320 WITH SCORE 2.3184016215E7
AT ITER 470 NEW BEST:: SOT 123567723 SOS 80664495 HAS SOPS 65575690 HAS SOUS 23654093 HAS SOUPS 23082211 WITH SCORE 2.3162875495E7
AT ITER 472 NEW BEST:: SOT 123621524 SOS 80727745 HAS SOPS 65640456 HAS SOUS 23639078 HAS SOUPS 23068701 WITH SCORE 2.3149428745E7
AT ITER 473 NEW BEST:: SOT 123641339 SOS 80777569 HAS SOPS 65703869 HAS SOUS 23619622 HAS SOUPS 23049260 WITH SCORE 2.3130037569E7
AT ITER 479 NEW BEST:: SOT 123636028 SOS 80772950 HAS SOPS 65714322 HAS SOUS 23617112 HAS SOUPS 23046750 WITH SCORE 2.312752295E7
AT ITER 505 NEW BEST:: SOT 123634735 SOS 80771203 HAS SOPS 65712152 HAS SOUS 23614662 HAS SOUPS 23044300 WITH SCORE 2.3125071203E7
AT ITER 515 NEW BEST:: SOT 123661872 SOS 80805324 HAS SOPS 65754679 HAS SOUS 23584444 HAS SOUPS 23016873 WITH SCORE 2.3097678324E7
AT ITER 519 NEW BEST:: SOT 123660874 SOS 80816458 HAS SOPS 65777107 HAS SOUS 23583423 HAS SOUPS 23015852 WITH SCORE 2.3096668458E7
AT ITER 520 NEW BEST:: SOT 123661760 SOS 80817288 HAS SOPS 65778749 HAS SOUS 23582895 HAS SOUPS 23015730 WITH SCORE 2.3096547288E7
AT ITER 535 NEW BEST:: SOT 123665515 SOS 80820774 HAS SOPS 65786954 HAS SOUS 23559569 HAS SOUPS 22992599 WITH SCORE 2.3073419774E7
AT ITER 548 NEW BEST:: SOT 123729370 SOS 80950431 HAS SOPS 65913774 HAS SOUS 23550774 HAS SOUPS 22983804 WITH SCORE 2.3064754431E7
AT ITER 553 NEW BEST:: SOT 123726997 SOS 80947680 HAS SOPS 65911017 HAS SOUS 23546125 HAS SOUPS 22979155 WITH SCORE 2.306010268E7
AT ITER 570 NEW BEST:: SOT 123717368 SOS 80947421 HAS SOPS 65921240 HAS SOUS 23511092 HAS SOUPS 22944414 WITH SCORE 2.3025361421E7
AT ITER 572 NEW BEST:: SOT 123715115 SOS 80946236 HAS SOPS 65916705 HAS SOUS 23507162 HAS SOUPS 22940484 WITH SCORE 2.3021430236E7
AT ITER 574 NEW BEST:: SOT 123716189 SOS 80948540 HAS SOPS 65917997 HAS SOUS 23506098 HAS SOUPS 22939420 WITH SCORE 2.302036854E7
AT ITER 579 NEW BEST:: SOT 123713664 SOS 80947432 HAS SOPS 65918397 HAS SOUS 23491031 HAS SOUPS 22925193 WITH SCORE 2.3006140432E7
AT ITER 598 NEW BEST:: SOT 123711526 SOS 80945714 HAS SOPS 65908820 HAS SOUS 23486710 HAS SOUPS 22920262 WITH SCORE 2.3001207714E7
AT ITER 603 NEW BEST:: SOT 123708234 SOS 80941165 HAS SOPS 65904396 HAS SOUS 23480608 HAS SOUPS 22914160 WITH SCORE 2.2995101165E7
AT ITER 607 NEW BEST:: SOT 123708251 SOS 80957549 HAS SOPS 65918014 HAS SOUS 23479765 HAS SOUPS 22913317 WITH SCORE 2.2994274549E7
AT ITER 633 NEW BEST:: SOT 123705912 SOS 80955719 HAS SOPS 65916184 HAS SOUS 23460958 HAS SOUPS 22894510 WITH SCORE 2.2975465719E7
AT ITER 653 NEW BEST:: SOT 123702038 SOS 80944319 HAS SOPS 65909327 HAS SOUS 23451619 HAS SOUPS 22886648 WITH SCORE 2.2967592319E7
AT ITER 665 NEW BEST:: SOT 123709187 SOS 80953563 HAS SOPS 65922846 HAS SOUS 23435033 HAS SOUPS 22870062 WITH SCORE 2.2951015563E7
AT ITER 672 NEW BEST:: SOT 123709187 SOS 80955363 HAS SOPS 65924514 HAS SOUS 23435006 HAS SOUPS 22870035 WITH SCORE 2.2950990363E7
AT ITER 679 NEW BEST:: SOT 123716110 SOS 80977066 HAS SOPS 65946997 HAS SOUS 23427127 HAS SOUPS 22862156 WITH SCORE 2.2943133066E7
AT ITER 685 NEW BEST:: SOT 123715891 SOS 80977974 HAS SOPS 65949122 HAS SOUS 23423475 HAS SOUPS 22858407 WITH SCORE 2.2939384974E7
AT ITER 691 NEW BEST:: SOT 123871435 SOS 81216964 HAS SOPS 66133528 HAS SOUS 23412688 HAS SOUPS 22839170 WITH SCORE 2.2920386964E7
AT ITER 698 NEW BEST:: SOT 123864822 SOS 81210170 HAS SOPS 66129389 HAS SOUS 23400131 HAS SOUPS 22826680 WITH SCORE 2.290789017E7
AT ITER 710 NEW BEST:: SOT 123863251 SOS 81207312 HAS SOPS 66127539 HAS SOUS 23378515 HAS SOUPS 22805064 WITH SCORE 2.2886271312E7
AT ITER 713 NEW BEST:: SOT 123862129 SOS 81204598 HAS SOPS 66129823 HAS SOUS 23375028 HAS SOUPS 22802403 WITH SCORE 2.2883607598E7
AT ITER 719 NEW BEST:: SOT 123800376 SOS 81137736 HAS SOPS 66062988 HAS SOUS 23303715 HAS SOUPS 22731110 WITH SCORE 2.2812247736E7
AT ITER 732 NEW BEST:: SOT 123800693 SOS 81144252 HAS SOPS 66067790 HAS SOUS 23303629 HAS SOUPS 22730976 WITH SCORE 2.2812120252E7
AT ITER 758 NEW BEST:: SOT 123800693 SOS 81144708 HAS SOPS 66071830 HAS SOUS 23303617 HAS SOUPS 22730964 WITH SCORE 2.2812108708E7
AT ITER 773 NEW BEST:: SOT 123797709 SOS 81141052 HAS SOPS 66067385 HAS SOUS 23297353 HAS SOUPS 22724400 WITH SCORE 2.2805541052E7
AT ITER 778 NEW BEST:: SOT 123799913 SOS 81131880 HAS SOPS 66059935 HAS SOUS 23294296 HAS SOUPS 22721407 WITH SCORE 2.280253888E7
AT ITER 795 NEW BEST:: SOT 123797129 SOS 81128630 HAS SOPS 66055458 HAS SOUS 23289069 HAS SOUPS 22716192 WITH SCORE 2.279732063E7
AT ITER 810 NEW BEST:: SOT 123801110 SOS 81146137 HAS SOPS 66066457 HAS SOUS 23279954 HAS SOUPS 22707077 WITH SCORE 2.2788223137E7
AT ITER 820 NEW BEST:: SOT 123795922 SOS 81136644 HAS SOPS 66059343 HAS SOUS 23273312 HAS SOUPS 22700474 WITH SCORE 2.2781610644E7
AT ITER 825 NEW BEST:: SOT 123803033 SOS 81150802 HAS SOPS 66064925 HAS SOUS 23266651 HAS SOUPS 22693813 WITH SCORE 2.2774963802E7
AT ITER 832 NEW BEST:: SOT 123809332 SOS 81177802 HAS SOPS 66085800 HAS SOUS 23248903 HAS SOUPS 22676065 WITH SCORE 2.2757242802E7
AT ITER 839 NEW BEST:: SOT 123801781 SOS 81170046 HAS SOPS 66084482 HAS SOUS 23226875 HAS SOUPS 22654037 WITH SCORE 2.2735207046E7
AT ITER 843 NEW BEST:: SOT 123801697 SOS 81169962 HAS SOPS 66084510 HAS SOUS 23226727 HAS SOUPS 22653889 WITH SCORE 2.2735058962E7
AT ITER 865 NEW BEST:: SOT 123801684 SOS 81180215 HAS SOPS 66102270 HAS SOUS 23226500 HAS SOUPS 22653662 WITH SCORE 2.2734842215E7
AT ITER 872 NEW BEST:: SOT 123793305 SOS 81164517 HAS SOPS 66084119 HAS SOUS 23216622 HAS SOUPS 22643784 WITH SCORE 2.2724948517E7
AT ITER 876 NEW BEST:: SOT 123789990 SOS 81163916 HAS SOPS 66090611 HAS SOUS 23206591 HAS SOUPS 22633991 WITH SCORE 2.2715154916E7
AT ITER 880 NEW BEST:: SOT 123810199 SOS 81209115 HAS SOPS 66134673 HAS SOUS 23193315 HAS SOUPS 22620433 WITH SCORE 2.2701642115E7
AT ITER 884 NEW BEST:: SOT 123808495 SOS 81211136 HAS SOPS 66130024 HAS SOUS 23173116 HAS SOUPS 22600067 WITH SCORE 2.2681278136E7
AT ITER 913 NEW BEST:: SOT 123802016 SOS 81205318 HAS SOPS 66126382 HAS SOUS 23163757 HAS SOUPS 22590819 WITH SCORE 2.2672024318E7
AT ITER 942 NEW BEST:: SOT 123809780 SOS 81225219 HAS SOPS 66161252 HAS SOUS 23159717 HAS SOUPS 22586779 WITH SCORE 2.2668004219E7
AT ITER 962 NEW BEST:: SOT 123809622 SOS 81225919 HAS SOPS 66163017 HAS SOUS 23159405 HAS SOUPS 22586505 WITH SCORE 2.2667730919E7
AT ITER 967 NEW BEST:: SOT 123810209 SOS 81226506 HAS SOPS 66163772 HAS SOUS 23159288 HAS SOUPS 22586500 WITH SCORE 2.2667726506E7
AT ITER 968 NEW BEST:: SOT 123805408 SOS 81224937 HAS SOPS 66156564 HAS SOUS 23142396 HAS SOUPS 22569608 WITH SCORE 2.2650832937E7
AT ITER 983 NEW BEST:: SOT 123805461 SOS 81225011 HAS SOPS 66155741 HAS SOUS 23140166 HAS SOUPS 22567410 WITH SCORE 2.2648635011E7
AT ITER 985 NEW BEST:: SOT 123812517 SOS 81245815 HAS SOPS 66169249 HAS SOUS 23134228 HAS SOUPS 22561472 WITH SCORE 2.2642717815E7
AT ITER 1012 NEW BEST:: SOT 123812517 SOS 81248958 HAS SOPS 66172260 HAS SOUS 23133784 HAS SOUPS 22561028 WITH SCORE 2.2642276958E7
AT ITER 1015 NEW BEST:: SOT 123816238 SOS 81270106 HAS SOPS 66189069 HAS SOUS 23123108 HAS SOUPS 22550299 WITH SCORE 2.2631569106E7
AT ITER 1017 NEW BEST:: SOT 123814959 SOS 81272047 HAS SOPS 66187495 HAS SOUS 23109587 HAS SOUPS 22536778 WITH SCORE 2.2618050047E7
AT ITER 1020 NEW BEST:: SOT 123837998 SOS 81331423 HAS SOPS 66248598 HAS SOUS 23107749 HAS SOUPS 22534940 WITH SCORE 2.2616271423E7
AT ITER 1024 NEW BEST:: SOT 123821904 SOS 81313878 HAS SOPS 66229820 HAS SOUS 23085610 HAS SOUPS 22512801 WITH SCORE 2.2594114878E7
AT ITER 1031 NEW BEST:: SOT 123817185 SOS 81307559 HAS SOPS 66223205 HAS SOUS 23081883 HAS SOUPS 22509074 WITH SCORE 2.2590381559E7
AT ITER 1035 NEW BEST:: SOT 123819162 SOS 81315036 HAS SOPS 66211310 HAS SOUS 23061456 HAS SOUPS 22488538 WITH SCORE 2.2569853036E7
AT ITER 1039 NEW BEST:: SOT 123840745 SOS 81338991 HAS SOPS 66229009 HAS SOUS 23042428 HAS SOUPS 22469510 WITH SCORE 2.2550848991E7
AT ITER 1041 NEW BEST:: SOT 123840725 SOS 81341782 HAS SOPS 66229929 HAS SOUS 23037430 HAS SOUPS 22464465 WITH SCORE 2.2545806782E7
AT ITER 1072 NEW BEST:: SOT 123832637 SOS 81325078 HAS SOPS 66214122 HAS SOUS 23028189 HAS SOUPS 22455224 WITH SCORE 2.2536549078E7
AT ITER 1073 NEW BEST:: SOT 123828536 SOS 81333933 HAS SOPS 66212602 HAS SOUS 23022458 HAS SOUPS 22449289 WITH SCORE 2.2530622933E7
AT ITER 1074 NEW BEST:: SOT 123828560 SOS 81331994 HAS SOPS 66210663 HAS SOUS 23022086 HAS SOUPS 22448917 WITH SCORE 2.2530248994E7
AT ITER 1081 NEW BEST:: SOT 123828525 SOS 81332934 HAS SOPS 66211757 HAS SOUS 23020928 HAS SOUPS 22447769 WITH SCORE 2.2529101934E7
AT ITER 1082 NEW BEST:: SOT 123845277 SOS 81351836 HAS SOPS 66248599 HAS SOUS 23016977 HAS SOUPS 22444006 WITH SCORE 2.2525357836E7
AT ITER 1083 NEW BEST:: SOT 123844605 SOS 81351098 HAS SOPS 66247891 HAS SOUS 23015981 HAS SOUPS 22443016 WITH SCORE 2.2524367098E7
AT ITER 1091 NEW BEST:: SOT 123842997 SOS 81349226 HAS SOPS 66245671 HAS SOUS 23013161 HAS SOUPS 22440202 WITH SCORE 2.2521551226E7
AT ITER 1094 NEW BEST:: SOT 123842970 SOS 81346213 HAS SOPS 66242631 HAS SOUS 23013132 HAS SOUPS 22440173 WITH SCORE 2.2521519213E7
AT ITER 1121 NEW BEST:: SOT 123840316 SOS 81342788 HAS SOPS 66239734 HAS SOUS 23007532 HAS SOUPS 22434573 WITH SCORE 2.2515915788E7
AT ITER 1128 NEW BEST:: SOT 123840868 SOS 81346950 HAS SOPS 66248766 HAS SOUS 23007428 HAS SOUPS 22434469 WITH SCORE 2.251581595E7
AT ITER 1134 NEW BEST:: SOT 123841851 SOS 81339894 HAS SOPS 66245034 HAS SOUS 22995787 HAS SOUPS 22423033 WITH SCORE 2.2504372894E7
AT ITER 1141 NEW BEST:: SOT 123846029 SOS 81360385 HAS SOPS 66247774 HAS SOUS 22970329 HAS SOUPS 22397575 WITH SCORE 2.2478935385E7
AT ITER 1142 NEW BEST:: SOT 123856945 SOS 81377240 HAS SOPS 66261443 HAS SOUS 22968451 HAS SOUPS 22395697 WITH SCORE 2.247707424E7
AT ITER 1156 NEW BEST:: SOT 123880160 SOS 81400780 HAS SOPS 66283517 HAS SOUS 22945529 HAS SOUPS 22373437 WITH SCORE 2.245483778E7
AT ITER 1161 NEW BEST:: SOT 123881669 SOS 81405618 HAS SOPS 66286493 HAS SOUS 22942800 HAS SOUPS 22370674 WITH SCORE 2.2452079618E7
AT ITER 1162 NEW BEST:: SOT 123881669 SOS 81405561 HAS SOPS 66286436 HAS SOUS 22942798 HAS SOUPS 22370672 WITH SCORE 2.2452077561E7
AT ITER 1166 NEW BEST:: SOT 123881673 SOS 81405639 HAS SOPS 66286619 HAS SOUS 22942743 HAS SOUPS 22370618 WITH SCORE 2.2452023639E7
AT ITER 1171 NEW BEST:: SOT 123880204 SOS 81404076 HAS SOPS 66285057 HAS SOUS 22939000 HAS SOUPS 22366875 WITH SCORE 2.2448279076E7
AT ITER 1183 NEW BEST:: SOT 123886475 SOS 81414983 HAS SOPS 66300586 HAS SOUS 22934775 HAS SOUPS 22363265 WITH SCORE 2.2444679983E7
AT ITER 1197 NEW BEST:: SOT 123883162 SOS 81408334 HAS SOPS 66294556 HAS SOUS 22931664 HAS SOUPS 22360336 WITH SCORE 2.2441744334E7
AT ITER 1203 NEW BEST:: SOT 123865862 SOS 81384385 HAS SOPS 66273710 HAS SOUS 22896797 HAS SOUPS 22325469 WITH SCORE 2.2406853385E7
AT ITER 1209 NEW BEST:: SOT 123903161 SOS 81462140 HAS SOPS 66355491 HAS SOUS 22877094 HAS SOUPS 22305766 WITH SCORE 2.238722814E7
AT ITER 1212 NEW BEST:: SOT 123903296 SOS 81462227 HAS SOPS 66354256 HAS SOUS 22871143 HAS SOUPS 22299825 WITH SCORE 2.2381287227E7
AT ITER 1218 NEW BEST:: SOT 123900155 SOS 81459489 HAS SOPS 66352575 HAS SOUS 22864780 HAS SOUPS 22293462 WITH SCORE 2.2374921489E7
AT ITER 1226 NEW BEST:: SOT 123896474 SOS 81452307 HAS SOPS 66344459 HAS SOUS 22854056 HAS SOUPS 22283326 WITH SCORE 2.2364778307E7
AT ITER 1231 NEW BEST:: SOT 123852351 SOS 81402057 HAS SOPS 66303664 HAS SOUS 22801902 HAS SOUPS 22231468 WITH SCORE 2.2312870057E7
AT ITER 1244 NEW BEST:: SOT 123848380 SOS 81401426 HAS SOPS 66299344 HAS SOUS 22794399 HAS SOUPS 22224810 WITH SCORE 2.2306211426E7
AT ITER 1249 NEW BEST:: SOT 123854922 SOS 81410930 HAS SOPS 66313038 HAS SOUS 22794153 HAS SOUPS 22224426 WITH SCORE 2.230583693E7
AT ITER 1251 NEW BEST:: SOT 123854885 SOS 81411172 HAS SOPS 66318076 HAS SOUS 22793952 HAS SOUPS 22224225 WITH SCORE 2.2305636172E7
AT ITER 1268 NEW BEST:: SOT 123852477 SOS 81408019 HAS SOPS 66315668 HAS SOUS 22791119 HAS SOUPS 22221418 WITH SCORE 2.2302826019E7
AT ITER 1279 NEW BEST:: SOT 123852499 SOS 81417877 HAS SOPS 66326662 HAS SOUS 22790840 HAS SOUPS 22221139 WITH SCORE 2.2302556877E7
AT ITER 1288 NEW BEST:: SOT 123847994 SOS 81414242 HAS SOPS 66322017 HAS SOUS 22785682 HAS SOUPS 22215900 WITH SCORE 2.2297314242E7
AT ITER 1312 NEW BEST:: SOT 123827716 SOS 81377036 HAS SOPS 66309858 HAS SOUS 22754772 HAS SOUPS 22184990 WITH SCORE 2.2266367036E7
AT ITER 1326 NEW BEST:: SOT 123813330 SOS 81361744 HAS SOPS 66297434 HAS SOUS 22742309 HAS SOUPS 22173241 WITH SCORE 2.2254602744E7
AT ITER 1340 NEW BEST:: SOT 123811138 SOS 81359552 HAS SOPS 66295242 HAS SOUS 22740117 HAS SOUPS 22171049 WITH SCORE 2.2252408552E7
AT ITER 1344 NEW BEST:: SOT 123811278 SOS 81359160 HAS SOPS 66294927 HAS SOUS 22739659 HAS SOUPS 22170595 WITH SCORE 2.225195416E7
AT ITER 1370 NEW BEST:: SOT 123823589 SOS 81385429 HAS SOPS 66320106 HAS SOUS 22737404 HAS SOUPS 22168340 WITH SCORE 2.2249725429E7
AT ITER 1381 NEW BEST:: SOT 123819739 SOS 81367689 HAS SOPS 66308188 HAS SOUS 22736368 HAS SOUPS 22167304 WITH SCORE 2.2248671689E7
AT ITER 1382 NEW BEST:: SOT 123847595 SOS 81407845 HAS SOPS 66355397 HAS SOUS 22703434 HAS SOUPS 22134382 WITH SCORE 2.2215789845E7
AT ITER 1384 NEW BEST:: SOT 123847151 SOS 81406311 HAS SOPS 66351393 HAS SOUS 22696462 HAS SOUPS 22127436 WITH SCORE 2.2208842311E7
AT ITER 1394 NEW BEST:: SOT 123846234 SOS 81405309 HAS SOPS 66350046 HAS SOUS 22694595 HAS SOUPS 22125569 WITH SCORE 2.2206974309E7
AT ITER 1396 NEW BEST:: SOT 123846225 SOS 81405486 HAS SOPS 66348332 HAS SOUS 22694049 HAS SOUPS 22124994 WITH SCORE 2.2206399486E7
AT ITER 1407 NEW BEST:: SOT 123846255 SOS 81408996 HAS SOPS 66349922 HAS SOUS 22693922 HAS SOUPS 22124867 WITH SCORE 2.2206275996E7
AT ITER 1421 NEW BEST:: SOT 123842320 SOS 81405258 HAS SOPS 66345930 HAS SOUS 22683886 HAS SOUPS 22114831 WITH SCORE 2.2196236258E7
AT ITER 1435 NEW BEST:: SOT 123832751 SOS 81388176 HAS SOPS 66349632 HAS SOUS 22677949 HAS SOUPS 22109719 WITH SCORE 2.2191107176E7
AT ITER 1440 NEW BEST:: SOT 123830702 SOS 81392533 HAS SOPS 66350793 HAS SOUS 22663069 HAS SOUPS 22094839 WITH SCORE 2.2176231533E7
AT ITER 1441 NEW BEST:: SOT 123831961 SOS 81391398 HAS SOPS 66354973 HAS SOUS 22654145 HAS SOUPS 22085915 WITH SCORE 2.2167306398E7
AT ITER 1443 NEW BEST:: SOT 123863594 SOS 81475937 HAS SOPS 66438624 HAS SOUS 22651919 HAS SOUPS 22083689 WITH SCORE 2.2165164937E7
AT ITER 1445 NEW BEST:: SOT 123867663 SOS 81482904 HAS SOPS 66444661 HAS SOUS 22651477 HAS SOUPS 22083151 WITH SCORE 2.2164633904E7
AT ITER 1457 NEW BEST:: SOT 123851787 SOS 81465793 HAS SOPS 66423433 HAS SOUS 22625009 HAS SOUPS 22056683 WITH SCORE 2.2138148793E7
AT ITER 1459 NEW BEST:: SOT 123771791 SOS 81380779 HAS SOPS 66337709 HAS SOUS 22521397 HAS SOUPS 21952994 WITH SCORE 2.2034374779E7
AT ITER 1480 NEW BEST:: SOT 123768839 SOS 81348366 HAS SOPS 66304978 HAS SOUS 22507536 HAS SOUPS 21939133 WITH SCORE 2.2020481366E7
AT ITER 1482 NEW BEST:: SOT 123780644 SOS 81393572 HAS SOPS 66350214 HAS SOUS 22470485 HAS SOUPS 21902273 WITH SCORE 2.1983666572E7
AT ITER 1489 NEW BEST:: SOT 123772947 SOS 81386664 HAS SOPS 66343957 HAS SOUS 22466615 HAS SOUPS 21898403 WITH SCORE 2.1979789664E7
AT ITER 1496 NEW BEST:: SOT 123769378 SOS 81378884 HAS SOPS 66341266 HAS SOUS 22461938 HAS SOUPS 21893815 WITH SCORE 2.1975193884E7
AT ITER 1499 NEW BEST:: SOT 123773874 SOS 81388429 HAS SOPS 66347939 HAS SOUS 22455766 HAS SOUPS 21887643 WITH SCORE 2.1969031429E7
AT ITER 1502 NEW BEST:: SOT 123778740 SOS 81393700 HAS SOPS 66351729 HAS SOUS 22451715 HAS SOUPS 21883592 WITH SCORE 2.19649857E7
AT ITER 1506 NEW BEST:: SOT 123777397 SOS 81374206 HAS SOPS 66346357 HAS SOUS 22444660 HAS SOUPS 21876686 WITH SCORE 2.1958060206E7
AT ITER 1512 NEW BEST:: SOT 123776030 SOS 81373720 HAS SOPS 66342622 HAS SOUS 22428843 HAS SOUPS 21860869 WITH SCORE 2.194224272E7
AT ITER 1544 NEW BEST:: SOT 123776194 SOS 81373884 HAS SOPS 66342722 HAS SOUS 22428639 HAS SOUPS 21860681 WITH SCORE 2.1942054884E7
AT ITER 1582 NEW BEST:: SOT 123782065 SOS 81382379 HAS SOPS 66349653 HAS SOUS 22426269 HAS SOUPS 21858311 WITH SCORE 2.1939693379E7
AT ITER 1583 NEW BEST:: SOT 123769279 SOS 81372997 HAS SOPS 66336294 HAS SOUS 22393459 HAS SOUPS 21825501 WITH SCORE 2.1906873997E7
AT ITER 1598 NEW BEST:: SOT 123769239 SOS 81372189 HAS SOPS 66335742 HAS SOUS 22393423 HAS SOUPS 21825465 WITH SCORE 2.1906837189E7
AT ITER 1607 NEW BEST:: SOT 123771570 SOS 81381426 HAS SOPS 66336493 HAS SOUS 22382532 HAS SOUPS 21814574 WITH SCORE 2.1895955426E7
AT ITER 1614 NEW BEST:: SOT 123779911 SOS 81383079 HAS SOPS 66346558 HAS SOUS 22381194 HAS SOUPS 21813236 WITH SCORE 2.1894619079E7
AT ITER 1636 NEW BEST:: SOT 123774366 SOS 81378558 HAS SOPS 66340273 HAS SOUS 22365844 HAS SOUPS 21797886 WITH SCORE 2.1879264558E7
AT ITER 1639 NEW BEST:: SOT 123772041 SOS 81373546 HAS SOPS 66335206 HAS SOUS 22363484 HAS SOUPS 21795526 WITH SCORE 2.1876899546E7
AT ITER 1640 NEW BEST:: SOT 123767484 SOS 81368827 HAS SOPS 66326805 HAS SOUS 22360473 HAS SOUPS 21792515 WITH SCORE 2.1873883827E7
AT ITER 1642 NEW BEST:: SOT 123766224 SOS 81368785 HAS SOPS 66326494 HAS SOUS 22355515 HAS SOUPS 21787557 WITH SCORE 2.1868925785E7
AT ITER 1674 NEW BEST:: SOT 123732999 SOS 81298971 HAS SOPS 66273993 HAS SOUS 22334294 HAS SOUPS 21766336 WITH SCORE 2.1847634971E7
AT ITER 1689 NEW BEST:: SOT 123722088 SOS 81279490 HAS SOPS 66248193 HAS SOUS 22320378 HAS SOUPS 21752420 WITH SCORE 2.183369949E7
AT ITER 1692 NEW BEST:: SOT 123722088 SOS 81279958 HAS SOPS 66249813 HAS SOUS 22320369 HAS SOUPS 21752411 WITH SCORE 2.1833690958E7
AT ITER 1693 NEW BEST:: SOT 123711739 SOS 81275986 HAS SOPS 66238361 HAS SOUS 22289745 HAS SOUPS 21721616 WITH SCORE 2.1802891986E7
AT ITER 1699 NEW BEST:: SOT 123711739 SOS 81275650 HAS SOPS 66237449 HAS SOUS 22289745 HAS SOUPS 21721616 WITH SCORE 2.180289165E7
AT ITER 1702 NEW BEST:: SOT 123724606 SOS 81288990 HAS SOPS 66252265 HAS SOUS 22258798 HAS SOUPS 21690920 WITH SCORE 2.177220899E7
AT ITER 1713 NEW BEST:: SOT 123720529 SOS 81281578 HAS SOPS 66243683 HAS SOUS 22249833 HAS SOUPS 21682055 WITH SCORE 2.1763336578E7
AT ITER 1732 NEW BEST:: SOT 123619550 SOS 81171281 HAS SOPS 66131670 HAS SOUS 22134175 HAS SOUPS 21566473 WITH SCORE 2.1647644281E7
AT ITER 1736 NEW BEST:: SOT 123616782 SOS 81166895 HAS SOPS 66127740 HAS SOUS 22131129 HAS SOUPS 21563436 WITH SCORE 2.1644602895E7
AT ITER 1742 NEW BEST:: SOT 123611620 SOS 81159544 HAS SOPS 66121092 HAS SOUS 22122123 HAS SOUPS 21554430 WITH SCORE 2.1635589544E7
AT ITER 1743 NEW BEST:: SOT 123604615 SOS 81152539 HAS SOPS 66114055 HAS SOUS 22115102 HAS SOUPS 21547393 WITH SCORE 2.1628545539E7
AT ITER 1745 NEW BEST:: SOT 123605277 SOS 81153264 HAS SOPS 66114522 HAS SOUS 22114436 HAS SOUPS 21546751 WITH SCORE 2.1627904264E7
AT ITER 1762 NEW BEST:: SOT 123601896 SOS 81149427 HAS SOPS 66110961 HAS SOUS 22113763 HAS SOUPS 21546114 WITH SCORE 2.1627263427E7
AT ITER 1770 NEW BEST:: SOT 123614160 SOS 81168015 HAS SOPS 66181093 HAS SOUS 22084588 HAS SOUPS 21517470 WITH SCORE 2.1598638015E7
AT ITER 1781 NEW BEST:: SOT 123604806 SOS 81157449 HAS SOPS 66165924 HAS SOUS 22055558 HAS SOUPS 21488440 WITH SCORE 2.1569597449E7
AT ITER 1785 NEW BEST:: SOT 123604377 SOS 81156564 HAS SOPS 66165631 HAS SOUS 22054385 HAS SOUPS 21487339 WITH SCORE 2.1568495564E7
AT ITER 1786 NEW BEST:: SOT 123599604 SOS 81150116 HAS SOPS 66159053 HAS SOUS 22046068 HAS SOUPS 21479061 WITH SCORE 2.1560211116E7
AT ITER 1800 NEW BEST:: SOT 123576994 SOS 81126986 HAS SOPS 66135960 HAS SOUS 22000619 HAS SOUPS 21433632 WITH SCORE 2.1514758986E7
AT ITER 1819 NEW BEST:: SOT 123568695 SOS 81115761 HAS SOPS 66124825 HAS SOUS 21988696 HAS SOUPS 21421664 WITH SCORE 2.1502779761E7
AT ITER 1821 NEW BEST:: SOT 123516980 SOS 81063331 HAS SOPS 66071523 HAS SOUS 21934943 HAS SOUPS 21367911 WITH SCORE 2.1448974331E7
AT ITER 1822 NEW BEST:: SOT 123516818 SOS 81063263 HAS SOPS 66071487 HAS SOUS 21934547 HAS SOUPS 21367519 WITH SCORE 2.1448582263E7
AT ITER 1827 NEW BEST:: SOT 123513619 SOS 81059054 HAS SOPS 66067194 HAS SOUS 21929126 HAS SOUPS 21362124 WITH SCORE 2.1443183054E7
AT ITER 1836 NEW BEST:: SOT 123496809 SOS 81050043 HAS SOPS 66043561 HAS SOUS 21872360 HAS SOUPS 21305104 WITH SCORE 2.1386154043E7
AT ITER 1851 NEW BEST:: SOT 123488562 SOS 81038772 HAS SOPS 66031555 HAS SOUS 21869458 HAS SOUPS 21302202 WITH SCORE 2.1383240772E7
AT ITER 1870 NEW BEST:: SOT 123486119 SOS 81036464 HAS SOPS 66031722 HAS SOUS 21864855 HAS SOUPS 21297599 WITH SCORE 2.1378635464E7
AT ITER 1892 NEW BEST:: SOT 123486117 SOS 81048994 HAS SOPS 66046714 HAS SOUS 21864778 HAS SOUPS 21297522 WITH SCORE 2.1378570994E7
AT ITER 1895 NEW BEST:: SOT 123476994 SOS 81034287 HAS SOPS 66032604 HAS SOUS 21854095 HAS SOUPS 21286839 WITH SCORE 2.1367873287E7
AT ITER 1897 NEW BEST:: SOT 123476994 SOS 81035631 HAS SOPS 66034332 HAS SOUS 21854071 HAS SOUPS 21286815 WITH SCORE 2.1367850631E7
AT ITER 1908 NEW BEST:: SOT 123468307 SOS 81026039 HAS SOPS 66023086 HAS SOUS 21837000 HAS SOUPS 21269805 WITH SCORE 2.1350831039E7
AT ITER 1927 NEW BEST:: SOT 123485955 SOS 81041375 HAS SOPS 66050497 HAS SOUS 21831680 HAS SOUPS 21264953 WITH SCORE 2.1345994375E7
AT ITER 1930 NEW BEST:: SOT 123470009 SOS 81020725 HAS SOPS 66035183 HAS SOUS 21812448 HAS SOUPS 21245833 WITH SCORE 2.1326853725E7
AT ITER 1933 NEW BEST:: SOT 123474341 SOS 81026421 HAS SOPS 66039451 HAS SOUS 21812193 HAS SOUPS 21245578 WITH SCORE 2.1326604421E7
AT ITER 1944 NEW BEST:: SOT 123433786 SOS 80941633 HAS SOPS 65958188 HAS SOUS 21782845 HAS SOUPS 21216230 WITH SCORE 2.1297171633E7
AT ITER 1945 NEW BEST:: SOT 123458318 SOS 80982071 HAS SOPS 65992482 HAS SOUS 21763758 HAS SOUPS 21197143 WITH SCORE 2.1278125071E7
AT ITER 1949 NEW BEST:: SOT 123458395 SOS 80993345 HAS SOPS 66004806 HAS SOUS 21763432 HAS SOUPS 21196817 WITH SCORE 2.1277810345E7
AT ITER 1956 NEW BEST:: SOT 123426831 SOS 80947584 HAS SOPS 65970069 HAS SOUS 21706989 HAS SOUPS 21140406 WITH SCORE 2.1221353584E7
AT ITER 1964 NEW BEST:: SOT 123413463 SOS 80927788 HAS SOPS 65952887 HAS SOUS 21696724 HAS SOUPS 21130141 WITH SCORE 2.1211068788E7
AT ITER 1977 NEW BEST:: SOT 123414465 SOS 80924190 HAS SOPS 65953003 HAS SOUS 21688741 HAS SOUPS 21122405 WITH SCORE 2.120332919E7
AT ITER 1988 NEW BEST:: SOT 123467391 SOS 81014784 HAS SOPS 66025556 HAS SOUS 21676107 HAS SOUPS 21109771 WITH SCORE 2.1190785784E7
AT ITER 2007 NEW BEST:: SOT 123442454 SOS 80979758 HAS SOPS 65983409 HAS SOUS 21641420 HAS SOUPS 21075084 WITH SCORE 2.1156063758E7
AT ITER 2017 NEW BEST:: SOT 123445204 SOS 80986766 HAS SOPS 65989191 HAS SOUS 21641066 HAS SOUPS 21074690 WITH SCORE 2.1155676766E7
AT ITER 2018 NEW BEST:: SOT 123434652 SOS 80961861 HAS SOPS 65977413 HAS SOUS 21637032 HAS SOUPS 21070656 WITH SCORE 2.1151617861E7
AT ITER 2045 NEW BEST:: SOT 123429759 SOS 80956321 HAS SOPS 65971118 HAS SOUS 21626118 HAS SOUPS 21060125 WITH SCORE 2.1141081321E7
AT ITER 2051 NEW BEST:: SOT 123448551 SOS 80979653 HAS SOPS 65984617 HAS SOUS 21622097 HAS SOUPS 21056409 WITH SCORE 2.1137388653E7
AT ITER 2054 NEW BEST:: SOT 123423655 SOS 80954026 HAS SOPS 65958366 HAS SOUS 21602409 HAS SOUPS 21036221 WITH SCORE 2.1117175026E7
AT ITER 2067 NEW BEST:: SOT 123421854 SOS 80943544 HAS SOPS 65953912 HAS SOUS 21600834 HAS SOUPS 21034675 WITH SCORE 2.1115618544E7
AT ITER 2104 NEW BEST:: SOT 123421854 SOS 80943558 HAS SOPS 65953860 HAS SOUS 21600830 HAS SOUPS 21034671 WITH SCORE 2.1115614558E7
AT ITER 2109 NEW BEST:: SOT 123489035 SOS 81087385 HAS SOPS 66061070 HAS SOUS 21578525 HAS SOUPS 21012366 WITH SCORE 2.1093453385E7
AT ITER 2110 NEW BEST:: SOT 123465566 SOS 81037468 HAS SOPS 66022509 HAS SOUS 21553826 HAS SOUPS 20987667 WITH SCORE 2.1068704468E7
AT ITER 2112 NEW BEST:: SOT 123453172 SOS 81017211 HAS SOPS 66013389 HAS SOUS 21552768 HAS SOUPS 20986772 WITH SCORE 2.1067789211E7
AT ITER 2131 NEW BEST:: SOT 123450740 SOS 81014387 HAS SOPS 66009157 HAS SOUS 21547322 HAS SOUPS 20981326 WITH SCORE 2.1062340387E7
AT ITER 2132 NEW BEST:: SOT 123450832 SOS 81015344 HAS SOPS 66010426 HAS SOUS 21546471 HAS SOUPS 20980475 WITH SCORE 2.1061490344E7
AT ITER 2135 NEW BEST:: SOT 123451202 SOS 81014946 HAS SOPS 66011498 HAS SOUS 21542875 HAS SOUPS 20977037 WITH SCORE 2.1058051946E7
AT ITER 2138 NEW BEST:: SOT 123466725 SOS 81040698 HAS SOPS 66025246 HAS SOUS 21538489 HAS SOUPS 20972651 WITH SCORE 2.1053691698E7
AT ITER 2140 NEW BEST:: SOT 123426252 SOS 80991490 HAS SOPS 65979433 HAS SOUS 21487605 HAS SOUPS 20921932 WITH SCORE 2.100292349E7
AT ITER 2143 NEW BEST:: SOT 123475811 SOS 81101212 HAS SOPS 66065145 HAS SOUS 21481196 HAS SOUPS 20915523 WITH SCORE 2.0996624212E7
AT ITER 2146 NEW BEST:: SOT 123469907 SOS 81093104 HAS SOPS 66064462 HAS SOUS 21466775 HAS SOUPS 20901293 WITH SCORE 2.0982386104E7
AT ITER 2152 NEW BEST:: SOT 123469081 SOS 81094712 HAS SOPS 66090525 HAS SOUS 21466287 HAS SOUPS 20900805 WITH SCORE 2.0981899712E7
AT ITER 2157 NEW BEST:: SOT 123478414 SOS 81104662 HAS SOPS 66100226 HAS SOUS 21463844 HAS SOUPS 20898431 WITH SCORE 2.0979535662E7
AT ITER 2159 NEW BEST:: SOT 123454146 SOS 81074323 HAS SOPS 66071727 HAS SOUS 21418099 HAS SOUPS 20852686 WITH SCORE 2.0933760323E7
AT ITER 2161 NEW BEST:: SOT 123452756 SOS 81071100 HAS SOPS 66067442 HAS SOUS 21416483 HAS SOUPS 20851070 WITH SCORE 2.09321411E7
AT ITER 2169 NEW BEST:: SOT 123411856 SOS 80991130 HAS SOPS 65978250 HAS SOUS 21379925 HAS SOUPS 20814512 WITH SCORE 2.089550313E7
AT ITER 2178 NEW BEST:: SOT 123411712 SOS 80990924 HAS SOPS 65978043 HAS SOUS 21379747 HAS SOUPS 20814334 WITH SCORE 2.0895324924E7
AT ITER 2185 NEW BEST:: SOT 123411763 SOS 81002473 HAS SOPS 65998667 HAS SOUS 21379709 HAS SOUPS 20814296 WITH SCORE 2.0895298473E7
AT ITER 2194 NEW BEST:: SOT 123435929 SOS 81022790 HAS SOPS 66017682 HAS SOUS 21302642 HAS SOUPS 20737628 WITH SCORE 2.081865079E7
AT ITER 2217 NEW BEST:: SOT 123430931 SOS 81019399 HAS SOPS 66014087 HAS SOUS 21292145 HAS SOUPS 20727067 WITH SCORE 2.0808086399E7
AT ITER 2238 NEW BEST:: SOT 123430679 SOS 81015202 HAS SOPS 66016540 HAS SOUS 21281783 HAS SOUPS 20716580 WITH SCORE 2.0797595202E7
AT ITER 2256 NEW BEST:: SOT 123429384 SOS 81011469 HAS SOPS 66015815 HAS SOUS 21280596 HAS SOUPS 20715393 WITH SCORE 2.0796404469E7
AT ITER 2258 NEW BEST:: SOT 123429384 SOS 81008067 HAS SOPS 66010226 HAS SOUS 21280596 HAS SOUPS 20715393 WITH SCORE 2.0796401067E7
AT ITER 2282 NEW BEST:: SOT 123406283 SOS 80985584 HAS SOPS 65981983 HAS SOUS 21222553 HAS SOUPS 20657315 WITH SCORE 2.0738300584E7
AT ITER 2284 NEW BEST:: SOT 123411256 SOS 80996199 HAS SOPS 65985911 HAS SOUS 21222106 HAS SOUPS 20656739 WITH SCORE 2.0737735199E7
AT ITER 2294 NEW BEST:: SOT 123397990 SOS 80960675 HAS SOPS 65959015 HAS SOUS 21210140 HAS SOUPS 20645122 WITH SCORE 2.0726082675E7
AT ITER 2320 NEW BEST:: SOT 123320971 SOS 80881276 HAS SOPS 65878914 HAS SOUS 21107809 HAS SOUPS 20542633 WITH SCORE 2.0623514276E7
AT ITER 2327 NEW BEST:: SOT 123318407 SOS 80878712 HAS SOPS 65876246 HAS SOUS 21105245 HAS SOUPS 20539965 WITH SCORE 2.0620843712E7
AT ITER 2337 NEW BEST:: SOT 123314056 SOS 80872602 HAS SOPS 65871304 HAS SOUS 21095247 HAS SOUPS 20530053 WITH SCORE 2.0610925602E7
AT ITER 2351 NEW BEST:: SOT 123298218 SOS 80856418 HAS SOPS 65855336 HAS SOUS 21082269 HAS SOUPS 20513493 WITH SCORE 2.0594349418E7
AT ITER 2361 NEW BEST:: SOT 123296731 SOS 80855160 HAS SOPS 65856313 HAS SOUS 21078441 HAS SOUPS 20509665 WITH SCORE 2.059052016E7
AT ITER 2378 NEW BEST:: SOT 123300972 SOS 80861330 HAS SOPS 65864522 HAS SOUS 21063657 HAS SOUPS 20495024 WITH SCORE 2.057588533E7
AT ITER 2381 NEW BEST:: SOT 123300433 SOS 80860996 HAS SOPS 65862556 HAS SOUS 21061855 HAS SOUPS 20493222 WITH SCORE 2.0574082996E7
AT ITER 2392 NEW BEST:: SOT 123288191 SOS 80837179 HAS SOPS 65841496 HAS SOUS 21048830 HAS SOUPS 20480197 WITH SCORE 2.0561034179E7
AT ITER 2410 NEW BEST:: SOT 123288191 SOS 80848503 HAS SOPS 65855700 HAS SOUS 21048756 HAS SOUPS 20480123 WITH SCORE 2.0560971503E7
AT ITER 2420 NEW BEST:: SOT 123296795 SOS 80862273 HAS SOPS 65869528 HAS SOUS 21048273 HAS SOUPS 20479640 WITH SCORE 2.0560502273E7
AT ITER 2442 NEW BEST:: SOT 123302531 SOS 80890552 HAS SOPS 65890663 HAS SOUS 21029320 HAS SOUPS 20460687 WITH SCORE 2.0541577552E7
AT ITER 2455 NEW BEST:: SOT 123294738 SOS 80883157 HAS SOPS 65881261 HAS SOUS 21009694 HAS SOUPS 20441207 WITH SCORE 2.0522090157E7
AT ITER 2462 NEW BEST:: SOT 123299861 SOS 80907288 HAS SOPS 65900066 HAS SOUS 20995365 HAS SOUPS 20426878 WITH SCORE 2.0507785288E7
AT ITER 2469 NEW BEST:: SOT 123299270 SOS 80906268 HAS SOPS 65896135 HAS SOUS 20995057 HAS SOUPS 20426570 WITH SCORE 2.0507476268E7
AT ITER 2476 NEW BEST:: SOT 123316844 SOS 80925367 HAS SOPS 65901637 HAS SOUS 20976938 HAS SOUPS 20407686 WITH SCORE 2.0488611367E7
AT ITER 2492 NEW BEST:: SOT 123310414 SOS 80919252 HAS SOPS 65894567 HAS SOUS 20962277 HAS SOUPS 20393383 WITH SCORE 2.0474302252E7
AT ITER 2493 NEW BEST:: SOT 123336150 SOS 80944882 HAS SOPS 65920220 HAS SOUS 20960967 HAS SOUPS 20392096 WITH SCORE 2.0473040882E7
AT ITER 2495 NEW BEST:: SOT 123324836 SOS 80934554 HAS SOPS 65906231 HAS SOUS 20948334 HAS SOUPS 20377210 WITH SCORE 2.0458144554E7
AT ITER 2496 NEW BEST:: SOT 123300146 SOS 80877158 HAS SOPS 65869165 HAS SOUS 20945145 HAS SOUPS 20374149 WITH SCORE 2.0455026158E7
AT ITER 2499 NEW BEST:: SOT 123297379 SOS 80871424 HAS SOPS 65862786 HAS SOUS 20942077 HAS SOUPS 20371114 WITH SCORE 2.0451985424E7
AT ITER 2502 NEW BEST:: SOT 123301061 SOS 80878617 HAS SOPS 65866547 HAS SOUS 20937428 HAS SOUPS 20366465 WITH SCORE 2.0447343617E7
AT ITER 2503 NEW BEST:: SOT 123298534 SOS 80874358 HAS SOPS 65859722 HAS SOUS 20934800 HAS SOUPS 20363837 WITH SCORE 2.0444711358E7
AT ITER 2521 NEW BEST:: SOT 123300217 SOS 80884742 HAS SOPS 65867178 HAS SOUS 20927872 HAS SOUPS 20356909 WITH SCORE 2.0437793742E7
AT ITER 2523 NEW BEST:: SOT 123300217 SOS 80885030 HAS SOPS 65867562 HAS SOUS 20927869 HAS SOUPS 20356906 WITH SCORE 2.043779103E7
AT ITER 2532 NEW BEST:: SOT 123283438 SOS 80865225 HAS SOPS 65848277 HAS SOUS 20875046 HAS SOUPS 20304256 WITH SCORE 2.0385121225E7
AT ITER 2544 NEW BEST:: SOT 123274596 SOS 80856273 HAS SOPS 65837502 HAS SOUS 20862930 HAS SOUPS 20292140 WITH SCORE 2.0372996273E7
AT ITER 2549 NEW BEST:: SOT 123273836 SOS 80857872 HAS SOPS 65839146 HAS SOUS 20851920 HAS SOUPS 20281295 WITH SCORE 2.0362152872E7
AT ITER 2593 NEW BEST:: SOT 123273498 SOS 80858869 HAS SOPS 65839779 HAS SOUS 20850859 HAS SOUPS 20280234 WITH SCORE 2.0361092869E7
AT ITER 2595 NEW BEST:: SOT 123273732 SOS 80860177 HAS SOPS 65840713 HAS SOUS 20850418 HAS SOUPS 20279793 WITH SCORE 2.0360653177E7
AT ITER 2598 NEW BEST:: SOT 123275672 SOS 80863831 HAS SOPS 65843089 HAS SOUS 20849906 HAS SOUPS 20279281 WITH SCORE 2.0360144831E7
AT ITER 2599 NEW BEST:: SOT 123273822 SOS 80883883 HAS SOPS 65860063 HAS SOUS 20816511 HAS SOUPS 20245886 WITH SCORE 2.0326769883E7
AT ITER 2602 NEW BEST:: SOT 123277532 SOS 80887084 HAS SOPS 65865085 HAS SOUS 20811166 HAS SOUPS 20240541 WITH SCORE 2.0321428084E7
AT ITER 2608 NEW BEST:: SOT 123267206 SOS 80871139 HAS SOPS 65845337 HAS SOUS 20802087 HAS SOUPS 20231462 WITH SCORE 2.0312333139E7
AT ITER 2626 NEW BEST:: SOT 123262549 SOS 80865022 HAS SOPS 65839340 HAS SOUS 20795637 HAS SOUPS 20225012 WITH SCORE 2.0305877022E7
AT ITER 2645 NEW BEST:: SOT 123251877 SOS 80849833 HAS SOPS 65822159 HAS SOUS 20765216 HAS SOUPS 20194591 WITH SCORE 2.0275440833E7
AT ITER 2674 NEW BEST:: SOT 123233117 SOS 80829923 HAS SOPS 65802249 HAS SOUS 20722396 HAS SOUPS 20151771 WITH SCORE 2.0232600923E7
AT ITER 2675 NEW BEST:: SOT 123177668 SOS 80774809 HAS SOPS 65738332 HAS SOUS 20644801 HAS SOUPS 20073971 WITH SCORE 2.0154745809E7
AT ITER 2678 NEW BEST:: SOT 123175046 SOS 80772929 HAS SOPS 65737495 HAS SOUS 20643326 HAS SOUPS 20072437 WITH SCORE 2.0153209929E7
AT ITER 2706 NEW BEST:: SOT 123251590 SOS 80788442 HAS SOPS 65758429 HAS SOUS 20622310 HAS SOUPS 20045551 WITH SCORE 2.0126339442E7
AT ITER 2720 NEW BEST:: SOT 123229821 SOS 80750280 HAS SOPS 65702472 HAS SOUS 20620301 HAS SOUPS 20043165 WITH SCORE 2.012391528E7
AT ITER 2725 NEW BEST:: SOT 123221410 SOS 80741799 HAS SOPS 65688622 HAS SOUS 20614253 HAS SOUPS 20037117 WITH SCORE 2.0117858799E7
AT ITER 2733 NEW BEST:: SOT 123217964 SOS 80688660 HAS SOPS 65632446 HAS SOUS 20597167 HAS SOUPS 20020031 WITH SCORE 2.010071966E7
AT ITER 2734 NEW BEST:: SOT 123217964 SOS 80691999 HAS SOPS 65634197 HAS SOUS 20597045 HAS SOUPS 20019909 WITH SCORE 2.0100600999E7
AT ITER 2738 NEW BEST:: SOT 123216635 SOS 80690190 HAS SOPS 65632418 HAS SOUS 20594246 HAS SOUPS 20017120 WITH SCORE 2.009781019E7
AT ITER 2758 NEW BEST:: SOT 123213788 SOS 80687312 HAS SOPS 65627267 HAS SOUS 20588555 HAS SOUPS 20011406 WITH SCORE 2.0092093312E7
AT ITER 2763 NEW BEST:: SOT 123204435 SOS 80677959 HAS SOPS 65617914 HAS SOUS 20580530 HAS SOUPS 20003381 WITH SCORE 2.0084058959E7
AT ITER 2765 NEW BEST:: SOT 123196072 SOS 80665236 HAS SOPS 65605769 HAS SOUS 20576311 HAS SOUPS 19999162 WITH SCORE 2.0079827236E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15439924 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16076108 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="RERS17pb115-PT-7"
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 RERS17pb115-PT-7, 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-167889194400200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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