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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 13:54 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 1679484314303

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-1
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 1
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 10 NEW BEST:: SOT 123448321 SOS 80289321 HAS SOPS 65260948 HAS SOUS 24077609 HAS SOUPS 23504835 WITH SCORE 2.3585124321E7
AT ITER 24 NEW BEST:: SOT 123446536 SOS 80290288 HAS SOPS 65259160 HAS SOUS 24077604 HAS SOUPS 23504281 WITH SCORE 2.3584571288E7
AT ITER 50 NEW BEST:: SOT 123439611 SOS 80289247 HAS SOPS 65258455 HAS SOUS 24056113 HAS SOUPS 23482790 WITH SCORE 2.3563079247E7
AT ITER 56 NEW BEST:: SOT 123434476 SOS 80278729 HAS SOPS 65251947 HAS SOUS 24053940 HAS SOUPS 23480690 WITH SCORE 2.3560968729E7
AT ITER 61 NEW BEST:: SOT 123430143 SOS 80274869 HAS SOPS 65248198 HAS SOUS 24045029 HAS SOUPS 23471779 WITH SCORE 2.3552053869E7
AT ITER 72 NEW BEST:: SOT 123427729 SOS 80272593 HAS SOPS 65245901 HAS SOUS 24039221 HAS SOUPS 23466013 WITH SCORE 2.3546285593E7
AT ITER 99 NEW BEST:: SOT 123434541 SOS 80308519 HAS SOPS 65267054 HAS SOUS 24017086 HAS SOUPS 23443878 WITH SCORE 2.3524186519E7
AT ITER 106 NEW BEST:: SOT 123435329 SOS 80311847 HAS SOPS 65268013 HAS SOUS 24013874 HAS SOUPS 23440666 WITH SCORE 2.3520977847E7
AT ITER 136 NEW BEST:: SOT 123434873 SOS 80311125 HAS SOPS 65267203 HAS SOUS 24013178 HAS SOUPS 23439970 WITH SCORE 2.3520281125E7
AT ITER 141 NEW BEST:: SOT 123431389 SOS 80312522 HAS SOPS 65265081 HAS SOUS 23989219 HAS SOUPS 23416473 WITH SCORE 2.3496785522E7
AT ITER 153 NEW BEST:: SOT 123408900 SOS 80274942 HAS SOPS 65232749 HAS SOUS 23964265 HAS SOUPS 23391519 WITH SCORE 2.3471793942E7
AT ITER 165 NEW BEST:: SOT 123401385 SOS 80275663 HAS SOPS 65231089 HAS SOUS 23939317 HAS SOUPS 23366571 WITH SCORE 2.3446846663E7
AT ITER 172 NEW BEST:: SOT 123395946 SOS 80266772 HAS SOPS 65224290 HAS SOUS 23933396 HAS SOUPS 23360698 WITH SCORE 2.3440964772E7
AT ITER 176 NEW BEST:: SOT 123395360 SOS 80268478 HAS SOPS 65225677 HAS SOUS 23928448 HAS SOUPS 23355750 WITH SCORE 2.3436018478E7
AT ITER 179 NEW BEST:: SOT 123409073 SOS 80305820 HAS SOPS 65272952 HAS SOUS 23917379 HAS SOUPS 23344681 WITH SCORE 2.342498682E7
AT ITER 180 NEW BEST:: SOT 123395941 SOS 80288591 HAS SOPS 65261049 HAS SOUS 23903724 HAS SOUPS 23331191 WITH SCORE 2.3411479591E7
AT ITER 194 NEW BEST:: SOT 123395960 SOS 80288648 HAS SOPS 65260711 HAS SOUS 23903661 HAS SOUPS 23331128 WITH SCORE 2.3411416648E7
AT ITER 209 NEW BEST:: SOT 123389133 SOS 80279712 HAS SOPS 65261541 HAS SOUS 23884963 HAS SOUPS 23312474 WITH SCORE 2.3392753712E7
AT ITER 217 NEW BEST:: SOT 123389342 SOS 80280506 HAS SOPS 65262190 HAS SOUS 23884767 HAS SOUPS 23312278 WITH SCORE 2.3392558506E7
AT ITER 226 NEW BEST:: SOT 123361166 SOS 80252359 HAS SOPS 65234091 HAS SOUS 23855119 HAS SOUPS 23282678 WITH SCORE 2.3362930359E7
AT ITER 227 NEW BEST:: SOT 123362100 SOS 80254726 HAS SOPS 65236876 HAS SOUS 23852780 HAS SOUPS 23280339 WITH SCORE 2.3360593726E7
AT ITER 230 NEW BEST:: SOT 123360300 SOS 80253066 HAS SOPS 65234932 HAS SOUS 23848580 HAS SOUPS 23276139 WITH SCORE 2.3356392066E7
AT ITER 234 NEW BEST:: SOT 123362634 SOS 80265866 HAS SOPS 65244109 HAS SOUS 23834512 HAS SOUPS 23262071 WITH SCORE 2.3342336866E7
AT ITER 236 NEW BEST:: SOT 123359994 SOS 80262746 HAS SOPS 65240389 HAS SOUS 23828943 HAS SOUPS 23256526 WITH SCORE 2.3336788746E7
AT ITER 252 NEW BEST:: SOT 123360050 SOS 80281275 HAS SOPS 65267490 HAS SOUS 23828786 HAS SOUPS 23256369 WITH SCORE 2.3336650275E7
AT ITER 254 NEW BEST:: SOT 123360072 SOS 80297257 HAS SOPS 65284480 HAS SOUS 23828619 HAS SOUPS 23256202 WITH SCORE 2.3336499257E7
AT ITER 258 NEW BEST:: SOT 123368316 SOS 80324429 HAS SOPS 65305325 HAS SOUS 23823067 HAS SOUPS 23250650 WITH SCORE 2.3330974429E7
AT ITER 259 NEW BEST:: SOT 123365854 SOS 80316275 HAS SOPS 65298518 HAS SOUS 23821732 HAS SOUPS 23249315 WITH SCORE 2.3329631275E7
AT ITER 263 NEW BEST:: SOT 123361192 SOS 80306337 HAS SOPS 65287052 HAS SOUS 23814788 HAS SOUPS 23242371 WITH SCORE 2.3322677337E7
AT ITER 269 NEW BEST:: SOT 123361296 SOS 80306440 HAS SOPS 65287145 HAS SOUS 23814666 HAS SOUPS 23242249 WITH SCORE 2.332255544E7
AT ITER 273 NEW BEST:: SOT 123364202 SOS 80315123 HAS SOPS 65296055 HAS SOUS 23813056 HAS SOUPS 23240639 WITH SCORE 2.3320954123E7
AT ITER 279 NEW BEST:: SOT 123371467 SOS 80336786 HAS SOPS 65308797 HAS SOUS 23806729 HAS SOUPS 23234312 WITH SCORE 2.3314648786E7
AT ITER 289 NEW BEST:: SOT 123371338 SOS 80337007 HAS SOPS 65308175 HAS SOUS 23802336 HAS SOUPS 23229919 WITH SCORE 2.3310256007E7
AT ITER 305 NEW BEST:: SOT 123372170 SOS 80338869 HAS SOPS 65310162 HAS SOUS 23800857 HAS SOUPS 23228440 WITH SCORE 2.3308778869E7
AT ITER 306 NEW BEST:: SOT 123393001 SOS 80386290 HAS SOPS 65338332 HAS SOUS 23780301 HAS SOUPS 23207930 WITH SCORE 2.328831629E7
AT ITER 315 NEW BEST:: SOT 123391851 SOS 80382376 HAS SOPS 65339219 HAS SOUS 23771432 HAS SOUPS 23199321 WITH SCORE 2.3279703376E7
AT ITER 359 NEW BEST:: SOT 123390672 SOS 80381517 HAS SOPS 65337800 HAS SOUS 23768266 HAS SOUPS 23196139 WITH SCORE 2.3276520517E7
AT ITER 363 NEW BEST:: SOT 123383736 SOS 80358991 HAS SOPS 65326834 HAS SOUS 23767442 HAS SOUPS 23195315 WITH SCORE 2.3275673991E7
AT ITER 377 NEW BEST:: SOT 123366413 SOS 80322501 HAS SOPS 65295810 HAS SOUS 23753540 HAS SOUPS 23181413 WITH SCORE 2.3261735501E7
AT ITER 393 NEW BEST:: SOT 123359357 SOS 80317442 HAS SOPS 65307996 HAS SOUS 23752435 HAS SOUPS 23180688 WITH SCORE 2.3261005442E7
AT ITER 405 NEW BEST:: SOT 123357294 SOS 80315037 HAS SOPS 65304961 HAS SOUS 23748064 HAS SOUPS 23176299 WITH SCORE 2.3256614037E7
AT ITER 418 NEW BEST:: SOT 123358124 SOS 80334969 HAS SOPS 65346261 HAS SOUS 23747077 HAS SOUPS 23175312 WITH SCORE 2.3255646969E7
AT ITER 432 NEW BEST:: SOT 123355999 SOS 80334693 HAS SOPS 65344202 HAS SOUS 23734823 HAS SOUPS 23162956 WITH SCORE 2.3243290693E7
AT ITER 436 NEW BEST:: SOT 123355636 SOS 80334024 HAS SOPS 65343605 HAS SOUS 23734447 HAS SOUPS 23162580 WITH SCORE 2.3242914024E7
AT ITER 439 NEW BEST:: SOT 123335238 SOS 80290726 HAS SOPS 65311809 HAS SOUS 23720862 HAS SOUPS 23149035 WITH SCORE 2.3229325726E7
AT ITER 455 NEW BEST:: SOT 123328894 SOS 80275006 HAS SOPS 65297836 HAS SOUS 23712918 HAS SOUPS 23141481 WITH SCORE 2.3221756006E7
AT ITER 464 NEW BEST:: SOT 123327228 SOS 80269720 HAS SOPS 65293446 HAS SOUS 23711337 HAS SOUPS 23139980 WITH SCORE 2.322024972E7
AT ITER 469 NEW BEST:: SOT 123265613 SOS 80144986 HAS SOPS 65222451 HAS SOUS 23689754 HAS SOUPS 23118757 WITH SCORE 2.3198901986E7
AT ITER 482 NEW BEST:: SOT 123265613 SOS 80155834 HAS SOPS 65236511 HAS SOUS 23689616 HAS SOUPS 23118619 WITH SCORE 2.3198774834E7
AT ITER 496 NEW BEST:: SOT 123257625 SOS 80143204 HAS SOPS 65225422 HAS SOUS 23663993 HAS SOUPS 23093304 WITH SCORE 2.3173447204E7
AT ITER 505 NEW BEST:: SOT 123253854 SOS 80141004 HAS SOPS 65220139 HAS SOUS 23650552 HAS SOUPS 23079115 WITH SCORE 2.3159256004E7
AT ITER 515 NEW BEST:: SOT 123227409 SOS 80112189 HAS SOPS 65206443 HAS SOUS 23644115 HAS SOUPS 23072678 WITH SCORE 2.3152790189E7
AT ITER 531 NEW BEST:: SOT 123229609 SOS 80116676 HAS SOPS 65208148 HAS SOUS 23635723 HAS SOUPS 23064286 WITH SCORE 2.3144402676E7
AT ITER 545 NEW BEST:: SOT 123197994 SOS 80072101 HAS SOPS 65167797 HAS SOUS 23588268 HAS SOUPS 23016831 WITH SCORE 2.3096903101E7
AT ITER 547 NEW BEST:: SOT 123193474 SOS 80067422 HAS SOPS 65161685 HAS SOUS 23581079 HAS SOUPS 23009642 WITH SCORE 2.3089709422E7
AT ITER 560 NEW BEST:: SOT 123211187 SOS 80085307 HAS SOPS 65190955 HAS SOUS 23579427 HAS SOUPS 23008559 WITH SCORE 2.3088644307E7
AT ITER 562 NEW BEST:: SOT 123204751 SOS 80090142 HAS SOPS 65199147 HAS SOUS 23566688 HAS SOUPS 22995820 WITH SCORE 2.3075910142E7
AT ITER 568 NEW BEST:: SOT 123205087 SOS 80090950 HAS SOPS 65199223 HAS SOUS 23565480 HAS SOUPS 22994628 WITH SCORE 2.307471895E7
AT ITER 579 NEW BEST:: SOT 123184953 SOS 80072147 HAS SOPS 65178624 HAS SOUS 23517871 HAS SOUPS 22947019 WITH SCORE 2.3027091147E7
AT ITER 590 NEW BEST:: SOT 123178632 SOS 80063894 HAS SOPS 65186623 HAS SOUS 23516299 HAS SOUPS 22945682 WITH SCORE 2.3025745894E7
AT ITER 616 NEW BEST:: SOT 123172994 SOS 80058332 HAS SOPS 65183387 HAS SOUS 23515169 HAS SOUPS 22944552 WITH SCORE 2.3024610332E7
AT ITER 622 NEW BEST:: SOT 123168174 SOS 80063329 HAS SOPS 65181757 HAS SOUS 23487020 HAS SOUPS 22916402 WITH SCORE 2.2996465329E7
AT ITER 626 NEW BEST:: SOT 123168002 SOS 80063316 HAS SOPS 65181707 HAS SOUS 23486549 HAS SOUPS 22915931 WITH SCORE 2.2995994316E7
AT ITER 638 NEW BEST:: SOT 123170924 SOS 80070442 HAS SOPS 65192643 HAS SOUS 23484172 HAS SOUPS 22913686 WITH SCORE 2.2993756442E7
AT ITER 640 NEW BEST:: SOT 123170796 SOS 80068186 HAS SOPS 65196963 HAS SOUS 23483796 HAS SOUPS 22913310 WITH SCORE 2.2993378186E7
AT ITER 642 NEW BEST:: SOT 123156192 SOS 80062545 HAS SOPS 65187434 HAS SOUS 23430381 HAS SOUPS 22860121 WITH SCORE 2.2940183545E7
AT ITER 659 NEW BEST:: SOT 123158731 SOS 80073146 HAS SOPS 65198718 HAS SOUS 23421816 HAS SOUPS 22851603 WITH SCORE 2.2931676146E7
AT ITER 664 NEW BEST:: SOT 123133815 SOS 80046933 HAS SOPS 65172564 HAS SOUS 23387428 HAS SOUPS 22817251 WITH SCORE 2.2897297933E7
AT ITER 665 NEW BEST:: SOT 123139757 SOS 80053230 HAS SOPS 65177249 HAS SOUS 23386981 HAS SOUPS 22816804 WITH SCORE 2.289685723E7
AT ITER 667 NEW BEST:: SOT 123124383 SOS 80033541 HAS SOPS 65160597 HAS SOUS 23368830 HAS SOUPS 22798938 WITH SCORE 2.2878971541E7
AT ITER 694 NEW BEST:: SOT 123170445 SOS 80092823 HAS SOPS 65227105 HAS SOUS 23362481 HAS SOUPS 22795947 WITH SCORE 2.2876039823E7
AT ITER 695 NEW BEST:: SOT 123165604 SOS 80087342 HAS SOPS 65219353 HAS SOUS 23349515 HAS SOUPS 22783068 WITH SCORE 2.2863155342E7
AT ITER 701 NEW BEST:: SOT 123162692 SOS 80087175 HAS SOPS 65215383 HAS SOUS 23338929 HAS SOUPS 22772482 WITH SCORE 2.2852569175E7
AT ITER 705 NEW BEST:: SOT 123163455 SOS 80089298 HAS SOPS 65216896 HAS SOUS 23337598 HAS SOUPS 22771129 WITH SCORE 2.2851218298E7
AT ITER 707 NEW BEST:: SOT 123150236 SOS 80079823 HAS SOPS 65193819 HAS SOUS 23278245 HAS SOUPS 22712809 WITH SCORE 2.2792888823E7
AT ITER 713 NEW BEST:: SOT 123150236 SOS 80089199 HAS SOPS 65208763 HAS SOUS 23278033 HAS SOUPS 22712597 WITH SCORE 2.2792686199E7
AT ITER 733 NEW BEST:: SOT 123169896 SOS 80120279 HAS SOPS 65238004 HAS SOUS 23277762 HAS SOUPS 22712326 WITH SCORE 2.2792446279E7
AT ITER 739 NEW BEST:: SOT 123167740 SOS 80096173 HAS SOPS 65220353 HAS SOUS 23275277 HAS SOUPS 22709910 WITH SCORE 2.2790006173E7
AT ITER 740 NEW BEST:: SOT 123151614 SOS 80074460 HAS SOPS 65196361 HAS SOUS 23235649 HAS SOUPS 22670491 WITH SCORE 2.275056546E7
AT ITER 746 NEW BEST:: SOT 123049795 SOS 79932969 HAS SOPS 65066990 HAS SOUS 23106017 HAS SOUPS 22541373 WITH SCORE 2.2621305969E7
AT ITER 747 NEW BEST:: SOT 123042814 SOS 79926650 HAS SOPS 65066513 HAS SOUS 23094886 HAS SOUPS 22530242 WITH SCORE 2.261016865E7
AT ITER 753 NEW BEST:: SOT 123042814 SOS 79926570 HAS SOPS 65066593 HAS SOUS 23094886 HAS SOUPS 22530242 WITH SCORE 2.261016857E7
AT ITER 769 NEW BEST:: SOT 123041459 SOS 79920605 HAS SOPS 65055718 HAS SOUS 23087596 HAS SOUPS 22522894 WITH SCORE 2.2602814605E7
AT ITER 800 NEW BEST:: SOT 123039929 SOS 79918703 HAS SOPS 65053084 HAS SOUS 23084656 HAS SOUPS 22519960 WITH SCORE 2.2599878703E7
AT ITER 827 NEW BEST:: SOT 123049846 SOS 79943705 HAS SOPS 65077475 HAS SOUS 23075214 HAS SOUPS 22510518 WITH SCORE 2.2590461705E7
AT ITER 832 NEW BEST:: SOT 123041785 SOS 79935363 HAS SOPS 65068893 HAS SOUS 23059684 HAS SOUPS 22495063 WITH SCORE 2.2574998363E7
AT ITER 836 NEW BEST:: SOT 123034949 SOS 79933704 HAS SOPS 65069065 HAS SOUS 23024486 HAS SOUPS 22459865 WITH SCORE 2.2539798704E7
AT ITER 842 NEW BEST:: SOT 123028363 SOS 79926370 HAS SOPS 65061742 HAS SOUS 23011760 HAS SOUPS 22447165 WITH SCORE 2.252709137E7
AT ITER 846 NEW BEST:: SOT 123011353 SOS 79907056 HAS SOPS 65041011 HAS SOUS 22981002 HAS SOUPS 22416497 WITH SCORE 2.2496404056E7
AT ITER 849 NEW BEST:: SOT 123043450 SOS 80019302 HAS SOPS 65128503 HAS SOUS 22970797 HAS SOUPS 22406292 WITH SCORE 2.2486311302E7
AT ITER 856 NEW BEST:: SOT 123037677 SOS 80013756 HAS SOPS 65122957 HAS SOUS 22962319 HAS SOUPS 22397814 WITH SCORE 2.2477827756E7
AT ITER 861 NEW BEST:: SOT 123022776 SOS 79982270 HAS SOPS 65111021 HAS SOUS 22945222 HAS SOUPS 22380722 WITH SCORE 2.246070427E7
AT ITER 880 NEW BEST:: SOT 123031710 SOS 80007664 HAS SOPS 65149252 HAS SOUS 22880239 HAS SOUPS 22316032 WITH SCORE 2.2396039664E7
AT ITER 904 NEW BEST:: SOT 123027887 SOS 80001885 HAS SOPS 65146355 HAS SOUS 22870659 HAS SOUPS 22306523 WITH SCORE 2.2386524885E7
AT ITER 916 NEW BEST:: SOT 123027367 SOS 80000055 HAS SOPS 65148769 HAS SOUS 22865768 HAS SOUPS 22301632 WITH SCORE 2.2381632055E7
AT ITER 929 NEW BEST:: SOT 123025360 SOS 79993420 HAS SOPS 65143163 HAS SOUS 22858815 HAS SOUPS 22295422 WITH SCORE 2.237541542E7
AT ITER 931 NEW BEST:: SOT 123042844 SOS 80032711 HAS SOPS 65178981 HAS SOUS 22857814 HAS SOUPS 22294203 WITH SCORE 2.2374235711E7
AT ITER 964 NEW BEST:: SOT 123041775 SOS 80049645 HAS SOPS 65221321 HAS SOUS 22856887 HAS SOUPS 22293276 WITH SCORE 2.2373325645E7
AT ITER 966 NEW BEST:: SOT 123041213 SOS 80048717 HAS SOPS 65220453 HAS SOUS 22856251 HAS SOUPS 22292640 WITH SCORE 2.2372688717E7
AT ITER 968 NEW BEST:: SOT 123039370 SOS 80044611 HAS SOPS 65219329 HAS SOUS 22855262 HAS SOUPS 22291651 WITH SCORE 2.2371695611E7
AT ITER 981 NEW BEST:: SOT 123039411 SOS 80044962 HAS SOPS 65218997 HAS SOUS 22853868 HAS SOUPS 22290257 WITH SCORE 2.2370301962E7
AT ITER 982 NEW BEST:: SOT 123043010 SOS 80044096 HAS SOPS 65220644 HAS SOUS 22842629 HAS SOUPS 22279299 WITH SCORE 2.2359343096E7
AT ITER 989 NEW BEST:: SOT 123039691 SOS 80039747 HAS SOPS 65217551 HAS SOUS 22835858 HAS SOUPS 22272528 WITH SCORE 2.2352567747E7
AT ITER 993 NEW BEST:: SOT 123012785 SOS 80003146 HAS SOPS 65165107 HAS SOUS 22788115 HAS SOUPS 22224529 WITH SCORE 2.2304532146E7
AT ITER 994 NEW BEST:: SOT 123010809 SOS 80001170 HAS SOPS 65161457 HAS SOUS 22781873 HAS SOUPS 22218287 WITH SCORE 2.229828817E7
AT ITER 1007 NEW BEST:: SOT 123011924 SOS 79992568 HAS SOPS 65159971 HAS SOUS 22781079 HAS SOUPS 22218161 WITH SCORE 2.2298153568E7
AT ITER 1013 NEW BEST:: SOT 123011697 SOS 79991070 HAS SOPS 65159285 HAS SOUS 22780679 HAS SOUPS 22217773 WITH SCORE 2.229776407E7
AT ITER 1016 NEW BEST:: SOT 123015087 SOS 79997123 HAS SOPS 65162403 HAS SOUS 22780982 HAS SOUPS 22215091 WITH SCORE 2.2295088123E7
AT ITER 1018 NEW BEST:: SOT 123013368 SOS 79994344 HAS SOPS 65161395 HAS SOUS 22777438 HAS SOUPS 22211547 WITH SCORE 2.2291541344E7
AT ITER 1031 NEW BEST:: SOT 123013626 SOS 79995926 HAS SOPS 65162103 HAS SOUS 22776855 HAS SOUPS 22210964 WITH SCORE 2.2290959926E7
AT ITER 1040 NEW BEST:: SOT 123009834 SOS 79998617 HAS SOPS 65163092 HAS SOUS 22762350 HAS SOUPS 22196459 WITH SCORE 2.2276457617E7
AT ITER 1045 NEW BEST:: SOT 123009922 SOS 80011621 HAS SOPS 65174617 HAS SOUS 22762003 HAS SOUPS 22196112 WITH SCORE 2.2276123621E7
AT ITER 1048 NEW BEST:: SOT 123007619 SOS 80011813 HAS SOPS 65167170 HAS SOUS 22731373 HAS SOUPS 22165580 WITH SCORE 2.2245591813E7
AT ITER 1059 NEW BEST:: SOT 123105671 SOS 80197122 HAS SOPS 65348354 HAS SOUS 22726218 HAS SOUPS 22161115 WITH SCORE 2.2241312122E7
AT ITER 1061 NEW BEST:: SOT 123099454 SOS 80181692 HAS SOPS 65338062 HAS SOUS 22720182 HAS SOUPS 22155079 WITH SCORE 2.2235260692E7
AT ITER 1078 NEW BEST:: SOT 123101271 SOS 80186821 HAS SOPS 65340410 HAS SOUS 22720159 HAS SOUPS 22155056 WITH SCORE 2.2235242821E7
AT ITER 1090 NEW BEST:: SOT 123101232 SOS 80187724 HAS SOPS 65341562 HAS SOUS 22720058 HAS SOUPS 22154955 WITH SCORE 2.2235142724E7
AT ITER 1107 NEW BEST:: SOT 123101232 SOS 80193452 HAS SOPS 65350234 HAS SOUS 22720022 HAS SOUPS 22154919 WITH SCORE 2.2235112452E7
AT ITER 1109 NEW BEST:: SOT 123097502 SOS 80185268 HAS SOPS 65345440 HAS SOUS 22715673 HAS SOUPS 22150570 WITH SCORE 2.2230755268E7
AT ITER 1113 NEW BEST:: SOT 123099826 SOS 80239860 HAS SOPS 65444579 HAS SOUS 22711018 HAS SOUPS 22145915 WITH SCORE 2.222615486E7
AT ITER 1119 NEW BEST:: SOT 123088246 SOS 80228275 HAS SOPS 65432978 HAS SOUS 22698230 HAS SOUPS 22133127 WITH SCORE 2.2213355275E7
AT ITER 1125 NEW BEST:: SOT 123080534 SOS 80222688 HAS SOPS 65424723 HAS SOUS 22681495 HAS SOUPS 22116324 WITH SCORE 2.2196546688E7
AT ITER 1150 NEW BEST:: SOT 123080116 SOS 80222268 HAS SOPS 65424239 HAS SOUS 22680933 HAS SOUPS 22115762 WITH SCORE 2.2195984268E7
AT ITER 1175 NEW BEST:: SOT 123079537 SOS 80221689 HAS SOPS 65423660 HAS SOUS 22679562 HAS SOUPS 22114391 WITH SCORE 2.2194612689E7
AT ITER 1176 NEW BEST:: SOT 123067772 SOS 80222215 HAS SOPS 65423103 HAS SOUS 22678730 HAS SOUPS 22113559 WITH SCORE 2.2193781215E7
AT ITER 1190 NEW BEST:: SOT 123065709 SOS 80214690 HAS SOPS 65416557 HAS SOUS 22673798 HAS SOUPS 22108627 WITH SCORE 2.218884169E7
AT ITER 1194 NEW BEST:: SOT 123065709 SOS 80216218 HAS SOPS 65417841 HAS SOUS 22673778 HAS SOUPS 22108607 WITH SCORE 2.2188823218E7
AT ITER 1207 NEW BEST:: SOT 123075193 SOS 80240102 HAS SOPS 65435853 HAS SOUS 22672443 HAS SOUPS 22107272 WITH SCORE 2.2187512102E7
AT ITER 1216 NEW BEST:: SOT 123069289 SOS 80227336 HAS SOPS 65422651 HAS SOUS 22671194 HAS SOUPS 22106023 WITH SCORE 2.2186250336E7
AT ITER 1232 NEW BEST:: SOT 123069294 SOS 80229277 HAS SOPS 65423312 HAS SOUS 22671091 HAS SOUPS 22105920 WITH SCORE 2.2186149277E7
AT ITER 1233 NEW BEST:: SOT 123062320 SOS 80221249 HAS SOPS 65414418 HAS SOUS 22657267 HAS SOUPS 22092456 WITH SCORE 2.2172677249E7
AT ITER 1243 NEW BEST:: SOT 123071435 SOS 80239169 HAS SOPS 65433016 HAS SOUS 22655752 HAS SOUPS 22090941 WITH SCORE 2.2171180169E7
AT ITER 1251 NEW BEST:: SOT 123051247 SOS 80217461 HAS SOPS 65405454 HAS SOUS 22606259 HAS SOUPS 22041711 WITH SCORE 2.2121928461E7
AT ITER 1254 NEW BEST:: SOT 123050766 SOS 80216980 HAS SOPS 65404949 HAS SOUS 22605890 HAS SOUPS 22041342 WITH SCORE 2.212155898E7
AT ITER 1261 NEW BEST:: SOT 123051377 SOS 80217501 HAS SOPS 65405788 HAS SOUS 22605658 HAS SOUPS 22041290 WITH SCORE 2.2121507501E7
AT ITER 1271 NEW BEST:: SOT 123046706 SOS 80208610 HAS SOPS 65399229 HAS SOUS 22604018 HAS SOUPS 22039682 WITH SCORE 2.211989061E7
AT ITER 1279 NEW BEST:: SOT 123046447 SOS 80207167 HAS SOPS 65397786 HAS SOUS 22603868 HAS SOUPS 22039532 WITH SCORE 2.2119739167E7
AT ITER 1280 NEW BEST:: SOT 123056957 SOS 80214801 HAS SOPS 65426463 HAS SOUS 22584841 HAS SOUPS 22020922 WITH SCORE 2.2101136801E7
AT ITER 1289 NEW BEST:: SOT 123058243 SOS 80220654 HAS SOPS 65430005 HAS SOUS 22583314 HAS SOUPS 22019379 WITH SCORE 2.2099599654E7
AT ITER 1293 NEW BEST:: SOT 123066798 SOS 80255796 HAS SOPS 65462691 HAS SOUS 22565899 HAS SOUPS 22001964 WITH SCORE 2.2082219796E7
AT ITER 1300 NEW BEST:: SOT 123066789 SOS 80255787 HAS SOPS 65462714 HAS SOUS 22565889 HAS SOUPS 22001955 WITH SCORE 2.2082210787E7
AT ITER 1311 NEW BEST:: SOT 123064460 SOS 80254883 HAS SOPS 65462225 HAS SOUS 22562993 HAS SOUPS 21998369 WITH SCORE 2.2078623883E7
AT ITER 1327 NEW BEST:: SOT 123070893 SOS 80283507 HAS SOPS 65492117 HAS SOUS 22558469 HAS SOUPS 21993845 WITH SCORE 2.2074128507E7
AT ITER 1337 NEW BEST:: SOT 123075473 SOS 80286374 HAS SOPS 65496163 HAS SOUS 22546959 HAS SOUPS 21982335 WITH SCORE 2.2062621374E7
AT ITER 1340 NEW BEST:: SOT 123069713 SOS 80313678 HAS SOPS 65541326 HAS SOUS 22544212 HAS SOUPS 21979588 WITH SCORE 2.2059901678E7
AT ITER 1352 NEW BEST:: SOT 123056371 SOS 80289227 HAS SOPS 65520857 HAS SOUS 22534654 HAS SOUPS 21970181 WITH SCORE 2.2050470227E7
AT ITER 1360 NEW BEST:: SOT 123061274 SOS 80314376 HAS SOPS 65537491 HAS SOUS 22518913 HAS SOUPS 21954440 WITH SCORE 2.2034754376E7
AT ITER 1362 NEW BEST:: SOT 123048705 SOS 80299913 HAS SOPS 65523112 HAS SOUS 22495905 HAS SOUPS 21931432 WITH SCORE 2.2011731913E7
AT ITER 1369 NEW BEST:: SOT 123048603 SOS 80299554 HAS SOPS 65522856 HAS SOUS 22494917 HAS SOUPS 21930495 WITH SCORE 2.2010794554E7
AT ITER 1370 NEW BEST:: SOT 123049911 SOS 80300137 HAS SOPS 65523294 HAS SOUS 22490255 HAS SOUPS 21925833 WITH SCORE 2.2006133137E7
AT ITER 1386 NEW BEST:: SOT 123045557 SOS 80290355 HAS SOPS 65514133 HAS SOUS 22485836 HAS SOUPS 21921414 WITH SCORE 2.2001704355E7
AT ITER 1407 NEW BEST:: SOT 123042453 SOS 80288692 HAS SOPS 65514900 HAS SOUS 22480357 HAS SOUPS 21915935 WITH SCORE 2.1996223692E7
AT ITER 1430 NEW BEST:: SOT 123042128 SOS 80288051 HAS SOPS 65513839 HAS SOUS 22479722 HAS SOUPS 21915300 WITH SCORE 2.1995588051E7
AT ITER 1442 NEW BEST:: SOT 123034268 SOS 80282446 HAS SOPS 65501721 HAS SOUS 22461040 HAS SOUPS 21896690 WITH SCORE 2.1976972446E7
AT ITER 1447 NEW BEST:: SOT 123037914 SOS 80287399 HAS SOPS 65515597 HAS SOUS 22445026 HAS SOUPS 21880922 WITH SCORE 2.1961209399E7
AT ITER 1471 NEW BEST:: SOT 123036136 SOS 80285911 HAS SOPS 65514809 HAS SOUS 22439223 HAS SOUPS 21875119 WITH SCORE 2.1955404911E7
AT ITER 1482 NEW BEST:: SOT 123036154 SOS 80286073 HAS SOPS 65514971 HAS SOUS 22438863 HAS SOUPS 21874759 WITH SCORE 2.1955045073E7
AT ITER 1484 NEW BEST:: SOT 123035795 SOS 80283472 HAS SOPS 65515851 HAS SOUS 22430893 HAS SOUPS 21866789 WITH SCORE 2.1947072472E7
AT ITER 1487 NEW BEST:: SOT 123035736 SOS 80283413 HAS SOPS 65515792 HAS SOUS 22430834 HAS SOUPS 21866730 WITH SCORE 2.1947013413E7
AT ITER 1501 NEW BEST:: SOT 123035736 SOS 80285142 HAS SOPS 65519377 HAS SOUS 22430743 HAS SOUPS 21866639 WITH SCORE 2.1946924142E7
AT ITER 1503 NEW BEST:: SOT 123035338 SOS 80283964 HAS SOPS 65518453 HAS SOUS 22430530 HAS SOUPS 21866426 WITH SCORE 2.1946709964E7
AT ITER 1519 NEW BEST:: SOT 123036106 SOS 80285223 HAS SOPS 65519579 HAS SOUS 22430384 HAS SOUPS 21866280 WITH SCORE 2.1946565223E7
AT ITER 1522 NEW BEST:: SOT 123034954 SOS 80284119 HAS SOPS 65518052 HAS SOUS 22428336 HAS SOUPS 21864232 WITH SCORE 2.1944516119E7
AT ITER 1524 NEW BEST:: SOT 123035177 SOS 80285331 HAS SOPS 65517677 HAS SOUS 22426419 HAS SOUPS 21862315 WITH SCORE 2.1942600331E7
AT ITER 1530 NEW BEST:: SOT 123042315 SOS 80295750 HAS SOPS 65523043 HAS SOUS 22414349 HAS SOUPS 21850245 WITH SCORE 2.193054075E7
AT ITER 1537 NEW BEST:: SOT 123028058 SOS 80280252 HAS SOPS 65507859 HAS SOUS 22379145 HAS SOUPS 21815309 WITH SCORE 2.1895589252E7
AT ITER 1558 NEW BEST:: SOT 123032237 SOS 80288460 HAS SOPS 65515078 HAS SOUS 22376200 HAS SOUPS 21812364 WITH SCORE 2.189265246E7
AT ITER 1560 NEW BEST:: SOT 123042412 SOS 80309238 HAS SOPS 65540521 HAS SOUS 22374564 HAS SOUPS 21810728 WITH SCORE 2.1891037238E7
AT ITER 1584 NEW BEST:: SOT 123008132 SOS 80230434 HAS SOPS 65466036 HAS SOUS 22364305 HAS SOUPS 21800469 WITH SCORE 2.1880699434E7
AT ITER 1594 NEW BEST:: SOT 123004652 SOS 80229282 HAS SOPS 65459450 HAS SOUS 22352547 HAS SOUPS 21788557 WITH SCORE 2.1868786282E7
AT ITER 1596 NEW BEST:: SOT 123011780 SOS 80244415 HAS SOPS 65492474 HAS SOUS 22342443 HAS SOUPS 21779183 WITH SCORE 2.1859427415E7
AT ITER 1610 NEW BEST:: SOT 123097922 SOS 80442714 HAS SOPS 65674961 HAS SOUS 22336192 HAS SOUPS 21772865 WITH SCORE 2.1853307714E7
AT ITER 1655 NEW BEST:: SOT 123064121 SOS 80368355 HAS SOPS 65616400 HAS SOUS 22327790 HAS SOUPS 21764463 WITH SCORE 2.1844831355E7
AT ITER 1659 NEW BEST:: SOT 123064121 SOS 80372342 HAS SOPS 65619651 HAS SOUS 22327667 HAS SOUPS 21764340 WITH SCORE 2.1844712342E7
AT ITER 1664 NEW BEST:: SOT 123061768 SOS 80369092 HAS SOPS 65620526 HAS SOUS 22322597 HAS SOUPS 21759270 WITH SCORE 2.1839639092E7
AT ITER 1672 NEW BEST:: SOT 123064182 SOS 80386275 HAS SOPS 65628431 HAS SOUS 22308381 HAS SOUPS 21745054 WITH SCORE 2.1825440275E7
AT ITER 1674 NEW BEST:: SOT 123058616 SOS 80381874 HAS SOPS 65622020 HAS SOUS 22288503 HAS SOUPS 21725176 WITH SCORE 2.1805557874E7
AT ITER 1689 NEW BEST:: SOT 123048742 SOS 80367075 HAS SOPS 65601331 HAS SOUS 22264126 HAS SOUPS 21700887 WITH SCORE 2.1781254075E7
AT ITER 1703 NEW BEST:: SOT 123054159 SOS 80381859 HAS SOPS 65622809 HAS SOUS 22252810 HAS SOUPS 21689571 WITH SCORE 2.1769952859E7
AT ITER 1706 NEW BEST:: SOT 123041271 SOS 80367327 HAS SOPS 65604472 HAS SOUS 22248379 HAS SOUPS 21685140 WITH SCORE 2.1765507327E7
AT ITER 1709 NEW BEST:: SOT 123036643 SOS 80363641 HAS SOPS 65600950 HAS SOUS 22237656 HAS SOUPS 21674389 WITH SCORE 2.1754752641E7
AT ITER 1728 NEW BEST:: SOT 123027175 SOS 80364914 HAS SOPS 65602278 HAS SOUS 22170722 HAS SOUPS 21607455 WITH SCORE 2.1687819914E7
AT ITER 1736 NEW BEST:: SOT 123026628 SOS 80366392 HAS SOPS 65604968 HAS SOUS 22160473 HAS SOUPS 21597206 WITH SCORE 2.1677572392E7
AT ITER 1742 NEW BEST:: SOT 123051154 SOS 80416231 HAS SOPS 65643131 HAS SOUS 22154290 HAS SOUPS 21590711 WITH SCORE 2.1671127231E7
AT ITER 1770 NEW BEST:: SOT 122976400 SOS 80314203 HAS SOPS 65551708 HAS SOUS 22069109 HAS SOUPS 21505623 WITH SCORE 2.1585937203E7
AT ITER 1802 NEW BEST:: SOT 122974856 SOS 80312383 HAS SOPS 65549306 HAS SOUS 22066101 HAS SOUPS 21502615 WITH SCORE 2.1582927383E7
AT ITER 1807 NEW BEST:: SOT 122973460 SOS 80317478 HAS SOPS 65566525 HAS SOUS 22065702 HAS SOUPS 21502216 WITH SCORE 2.1582533478E7
AT ITER 1813 NEW BEST:: SOT 122968029 SOS 80313423 HAS SOPS 65561543 HAS SOUS 22065453 HAS SOUPS 21501919 WITH SCORE 2.1582232423E7
AT ITER 1839 NEW BEST:: SOT 122986016 SOS 80350692 HAS SOPS 65596832 HAS SOUS 22058958 HAS SOUPS 21495424 WITH SCORE 2.1575774692E7
AT ITER 1841 NEW BEST:: SOT 122996542 SOS 80388497 HAS SOPS 65604025 HAS SOUS 22027832 HAS SOUPS 21464298 WITH SCORE 2.1544686497E7
AT ITER 1848 NEW BEST:: SOT 122993919 SOS 80384826 HAS SOPS 65599777 HAS SOUS 22025515 HAS SOUPS 21462031 WITH SCORE 2.1542415826E7
AT ITER 1859 NEW BEST:: SOT 122993959 SOS 80397100 HAS SOPS 65613171 HAS SOUS 22025096 HAS SOUPS 21461612 WITH SCORE 2.15420091E7
AT ITER 1862 NEW BEST:: SOT 122991106 SOS 80389464 HAS SOPS 65612280 HAS SOUS 22024511 HAS SOUPS 21461027 WITH SCORE 2.1541416464E7
AT ITER 1864 NEW BEST:: SOT 122957896 SOS 80347321 HAS SOPS 65573086 HAS SOUS 21969518 HAS SOUPS 21406198 WITH SCORE 2.1486545321E7
AT ITER 1875 NEW BEST:: SOT 122951879 SOS 80340682 HAS SOPS 65565873 HAS SOUS 21960549 HAS SOUPS 21397270 WITH SCORE 2.1477610682E7
AT ITER 1883 NEW BEST:: SOT 122951836 SOS 80340869 HAS SOPS 65565745 HAS SOUS 21960326 HAS SOUPS 21397037 WITH SCORE 2.1477377869E7
AT ITER 1894 NEW BEST:: SOT 122977386 SOS 80394528 HAS SOPS 65605721 HAS SOUS 21960379 HAS SOUPS 21396808 WITH SCORE 2.1477202528E7
AT ITER 1905 NEW BEST:: SOT 122935000 SOS 80343292 HAS SOPS 65540931 HAS SOUS 21927140 HAS SOUPS 21361369 WITH SCORE 2.1441712292E7
AT ITER 1913 NEW BEST:: SOT 122934298 SOS 80342247 HAS SOPS 65539166 HAS SOUS 21925702 HAS SOUPS 21359931 WITH SCORE 2.1440273247E7
AT ITER 1954 NEW BEST:: SOT 122926625 SOS 80331235 HAS SOPS 65532246 HAS SOUS 21911086 HAS SOUPS 21345315 WITH SCORE 2.1425646235E7
AT ITER 1968 NEW BEST:: SOT 122922642 SOS 80322718 HAS SOPS 65528691 HAS SOUS 21906935 HAS SOUPS 21341164 WITH SCORE 2.1421486718E7
AT ITER 1982 NEW BEST:: SOT 122923949 SOS 80329047 HAS SOPS 65532384 HAS SOUS 21897511 HAS SOUPS 21331740 WITH SCORE 2.1412069047E7
AT ITER 1984 NEW BEST:: SOT 122936433 SOS 80339515 HAS SOPS 65543902 HAS SOUS 21897135 HAS SOUPS 21331364 WITH SCORE 2.1411703515E7
AT ITER 1990 NEW BEST:: SOT 122936730 SOS 80339108 HAS SOPS 65543706 HAS SOUS 21895635 HAS SOUPS 21329864 WITH SCORE 2.1410203108E7
AT ITER 1991 NEW BEST:: SOT 122935460 SOS 80337560 HAS SOPS 65542848 HAS SOUS 21892857 HAS SOUPS 21327086 WITH SCORE 2.140742356E7
AT ITER 1998 NEW BEST:: SOT 122932309 SOS 80330144 HAS SOPS 65533912 HAS SOUS 21885064 HAS SOUPS 21319437 WITH SCORE 2.1399767144E7
AT ITER 2004 NEW BEST:: SOT 122932430 SOS 80359115 HAS SOPS 65570695 HAS SOUS 21884728 HAS SOUPS 21319101 WITH SCORE 2.1399460115E7
AT ITER 2006 NEW BEST:: SOT 122924533 SOS 80352659 HAS SOPS 65571232 HAS SOUS 21884393 HAS SOUPS 21318766 WITH SCORE 2.1399118659E7
AT ITER 2007 NEW BEST:: SOT 122923082 SOS 80350544 HAS SOPS 65568139 HAS SOUS 21881686 HAS SOUPS 21316059 WITH SCORE 2.1396409544E7
AT ITER 2011 NEW BEST:: SOT 122906939 SOS 80334401 HAS SOPS 65551996 HAS SOUS 21860807 HAS SOUPS 21295180 WITH SCORE 2.1375514401E7
AT ITER 2015 NEW BEST:: SOT 122906942 SOS 80334422 HAS SOPS 65553162 HAS SOUS 21860466 HAS SOUPS 21294839 WITH SCORE 2.1375173422E7
AT ITER 2027 NEW BEST:: SOT 122903754 SOS 80329349 HAS SOPS 65548350 HAS SOUS 21856638 HAS SOUPS 21291040 WITH SCORE 2.1371369349E7
AT ITER 2030 NEW BEST:: SOT 122901052 SOS 80326280 HAS SOPS 65542946 HAS SOUS 21850104 HAS SOUPS 21284437 WITH SCORE 2.136476328E7
AT ITER 2033 NEW BEST:: SOT 122893207 SOS 80318099 HAS SOPS 65533370 HAS SOUS 21836447 HAS SOUPS 21270629 WITH SCORE 2.1350947099E7
AT ITER 2036 NEW BEST:: SOT 122918529 SOS 80367173 HAS SOPS 65575410 HAS SOUS 21831458 HAS SOUPS 21265640 WITH SCORE 2.1346007173E7
AT ITER 2049 NEW BEST:: SOT 122920885 SOS 80370699 HAS SOPS 65577947 HAS SOUS 21827804 HAS SOUPS 21261986 WITH SCORE 2.1342356699E7
AT ITER 2063 NEW BEST:: SOT 122920810 SOS 80369894 HAS SOPS 65577112 HAS SOUS 21827376 HAS SOUPS 21261558 WITH SCORE 2.1341927894E7
AT ITER 2073 NEW BEST:: SOT 122921036 SOS 80368872 HAS SOPS 65575936 HAS SOUS 21825888 HAS SOUPS 21260070 WITH SCORE 2.1340438872E7
AT ITER 2078 NEW BEST:: SOT 122926622 SOS 80375705 HAS SOPS 65581794 HAS SOUS 21823091 HAS SOUPS 21257166 WITH SCORE 2.1337541705E7
AT ITER 2082 NEW BEST:: SOT 122919794 SOS 80367493 HAS SOPS 65572473 HAS SOUS 21814189 HAS SOUPS 21248264 WITH SCORE 2.1328631493E7
AT ITER 2083 NEW BEST:: SOT 122915321 SOS 80366304 HAS SOPS 65560381 HAS SOUS 21776039 HAS SOUPS 21210245 WITH SCORE 2.1290611304E7
AT ITER 2089 NEW BEST:: SOT 122909953 SOS 80359186 HAS SOPS 65545690 HAS SOUS 21760409 HAS SOUPS 21194726 WITH SCORE 2.1275085186E7
AT ITER 2092 NEW BEST:: SOT 122919706 SOS 80383281 HAS SOPS 65580151 HAS SOUS 21758353 HAS SOUPS 21192670 WITH SCORE 2.1273053281E7
AT ITER 2113 NEW BEST:: SOT 122921297 SOS 80387105 HAS SOPS 65582939 HAS SOUS 21755787 HAS SOUPS 21190104 WITH SCORE 2.1270491105E7
AT ITER 2130 NEW BEST:: SOT 122923322 SOS 80404910 HAS SOPS 65611640 HAS SOUS 21745155 HAS SOUPS 21179472 WITH SCORE 2.125987691E7
AT ITER 2131 NEW BEST:: SOT 122923234 SOS 80405682 HAS SOPS 65612122 HAS SOUS 21744574 HAS SOUPS 21178891 WITH SCORE 2.1259296682E7
AT ITER 2158 NEW BEST:: SOT 122906471 SOS 80360972 HAS SOPS 65577250 HAS SOUS 21739558 HAS SOUPS 21173875 WITH SCORE 2.1254235972E7
AT ITER 2167 NEW BEST:: SOT 122904302 SOS 80358459 HAS SOPS 65578096 HAS SOUS 21733719 HAS SOUPS 21168125 WITH SCORE 2.1248483459E7
AT ITER 2168 NEW BEST:: SOT 122902876 SOS 80357069 HAS SOPS 65577130 HAS SOUS 21729989 HAS SOUPS 21164531 WITH SCORE 2.1244888069E7
AT ITER 2199 NEW BEST:: SOT 122898286 SOS 80346277 HAS SOPS 65567145 HAS SOUS 21728978 HAS SOUPS 21163520 WITH SCORE 2.1243866277E7
AT ITER 2203 NEW BEST:: SOT 122900415 SOS 80349860 HAS SOPS 65571284 HAS SOUS 21728317 HAS SOUPS 21162859 WITH SCORE 2.124320886E7
AT ITER 2211 NEW BEST:: SOT 122899110 SOS 80343274 HAS SOPS 65566062 HAS SOUS 21711477 HAS SOUPS 21146019 WITH SCORE 2.1226362274E7
AT ITER 2218 NEW BEST:: SOT 122900537 SOS 80366203 HAS SOPS 65632431 HAS SOUS 21711053 HAS SOUPS 21145975 WITH SCORE 2.1226341203E7
AT ITER 2221 NEW BEST:: SOT 122936029 SOS 80439574 HAS SOPS 65700159 HAS SOUS 21707518 HAS SOUPS 21142440 WITH SCORE 2.1222879574E7
AT ITER 2229 NEW BEST:: SOT 122949341 SOS 80454233 HAS SOPS 65715985 HAS SOUS 21702849 HAS SOUPS 21138272 WITH SCORE 2.1218726233E7
AT ITER 2233 NEW BEST:: SOT 122945781 SOS 80450025 HAS SOPS 65713345 HAS SOUS 21696995 HAS SOUPS 21132418 WITH SCORE 2.1212868025E7
AT ITER 2236 NEW BEST:: SOT 122949838 SOS 80454884 HAS SOPS 65718664 HAS SOUS 21693930 HAS SOUPS 21129263 WITH SCORE 2.1209717884E7
AT ITER 2266 NEW BEST:: SOT 122949170 SOS 80450156 HAS SOPS 65718076 HAS SOUS 21680945 HAS SOUPS 21116278 WITH SCORE 2.1196728156E7
AT ITER 2292 NEW BEST:: SOT 122946623 SOS 80445685 HAS SOPS 65713380 HAS SOUS 21670611 HAS SOUPS 21105944 WITH SCORE 2.1186389685E7
AT ITER 2307 NEW BEST:: SOT 122933226 SOS 80431293 HAS SOPS 65696463 HAS SOUS 21642603 HAS SOUPS 21077936 WITH SCORE 2.1158367293E7
AT ITER 2308 NEW BEST:: SOT 122936626 SOS 80445594 HAS SOPS 65700525 HAS SOUS 21634247 HAS SOUPS 21069580 WITH SCORE 2.1150025594E7
AT ITER 2310 NEW BEST:: SOT 122936441 SOS 80445471 HAS SOPS 65701939 HAS SOUS 21628091 HAS SOUPS 21063424 WITH SCORE 2.1143869471E7
AT ITER 2311 NEW BEST:: SOT 122931544 SOS 80438143 HAS SOPS 65692861 HAS SOUS 21616668 HAS SOUPS 21052249 WITH SCORE 2.1132687143E7
AT ITER 2347 NEW BEST:: SOT 122923815 SOS 80428473 HAS SOPS 65681768 HAS SOUS 21604612 HAS SOUPS 21040193 WITH SCORE 2.1120621473E7
AT ITER 2360 NEW BEST:: SOT 122922785 SOS 80426589 HAS SOPS 65679566 HAS SOUS 21601760 HAS SOUPS 21037198 WITH SCORE 2.1117624589E7
AT ITER 2364 NEW BEST:: SOT 122925244 SOS 80432661 HAS SOPS 65684840 HAS SOUS 21596884 HAS SOUPS 21032334 WITH SCORE 2.1112766661E7
AT ITER 2371 NEW BEST:: SOT 122924982 SOS 80423956 HAS SOPS 65675975 HAS SOUS 21593067 HAS SOUPS 21028517 WITH SCORE 2.1108940956E7
AT ITER 2387 NEW BEST:: SOT 122924758 SOS 80423690 HAS SOPS 65675674 HAS SOUS 21592822 HAS SOUPS 21028258 WITH SCORE 2.110868169E7
AT ITER 2396 NEW BEST:: SOT 122921884 SOS 80404499 HAS SOPS 65650185 HAS SOUS 21555808 HAS SOUPS 20991244 WITH SCORE 2.1071648499E7
AT ITER 2406 NEW BEST:: SOT 122920780 SOS 80403051 HAS SOPS 65648766 HAS SOUS 21553057 HAS SOUPS 20988506 WITH SCORE 2.1068909051E7
AT ITER 2409 NEW BEST:: SOT 122904721 SOS 80386487 HAS SOPS 65631891 HAS SOUS 21535910 HAS SOUPS 20971301 WITH SCORE 2.1051687487E7
AT ITER 2420 NEW BEST:: SOT 122890765 SOS 80373935 HAS SOPS 65615568 HAS SOUS 21503013 HAS SOUPS 20938404 WITH SCORE 2.1018777935E7
AT ITER 2447 NEW BEST:: SOT 122903805 SOS 80399444 HAS SOPS 65625800 HAS SOUS 21500598 HAS SOUPS 20935989 WITH SCORE 2.1016388444E7
AT ITER 2457 NEW BEST:: SOT 122902881 SOS 80399892 HAS SOPS 65624246 HAS SOUS 21497028 HAS SOUPS 20932405 WITH SCORE 2.1012804892E7
AT ITER 2476 NEW BEST:: SOT 122905723 SOS 80413551 HAS SOPS 65639966 HAS SOUS 21493358 HAS SOUPS 20928788 WITH SCORE 2.1009201551E7
AT ITER 2478 NEW BEST:: SOT 122899169 SOS 80406952 HAS SOPS 65640885 HAS SOUS 21474005 HAS SOUPS 20909536 WITH SCORE 2.0989942952E7
AT ITER 2484 NEW BEST:: SOT 122887502 SOS 80390065 HAS SOPS 65623451 HAS SOUS 21470467 HAS SOUPS 20905310 WITH SCORE 2.0985700065E7
AT ITER 2494 NEW BEST:: SOT 122891334 SOS 80397716 HAS SOPS 65631598 HAS SOUS 21470422 HAS SOUPS 20905265 WITH SCORE 2.0985662716E7
AT ITER 2508 NEW BEST:: SOT 122889470 SOS 80392330 HAS SOPS 65625232 HAS SOUS 21467011 HAS SOUPS 20901854 WITH SCORE 2.098224633E7
AT ITER 2511 NEW BEST:: SOT 122886190 SOS 80385830 HAS SOPS 65619861 HAS SOUS 21463549 HAS SOUPS 20898392 WITH SCORE 2.097877783E7
AT ITER 2513 NEW BEST:: SOT 122882165 SOS 80373750 HAS SOPS 65603983 HAS SOUS 21451135 HAS SOUPS 20885978 WITH SCORE 2.096635175E7
AT ITER 2520 NEW BEST:: SOT 122865514 SOS 80356483 HAS SOPS 65587332 HAS SOUS 21432380 HAS SOUPS 20867409 WITH SCORE 2.0947765483E7
AT ITER 2526 NEW BEST:: SOT 122864082 SOS 80351595 HAS SOPS 65583740 HAS SOUS 21430965 HAS SOUPS 20866249 WITH SCORE 2.0946600595E7
AT ITER 2537 NEW BEST:: SOT 122863164 SOS 80336743 HAS SOPS 65576988 HAS SOUS 21430372 HAS SOUPS 20865656 WITH SCORE 2.0945992743E7
AT ITER 2541 NEW BEST:: SOT 122859439 SOS 80332189 HAS SOPS 65570847 HAS SOUS 21423605 HAS SOUPS 20858843 WITH SCORE 2.0939175189E7
AT ITER 2552 NEW BEST:: SOT 122859827 SOS 80332505 HAS SOPS 65571658 HAS SOUS 21423507 HAS SOUPS 20858745 WITH SCORE 2.0939077505E7
AT ITER 2558 NEW BEST:: SOT 122859827 SOS 80332953 HAS SOPS 65572810 HAS SOUS 21423487 HAS SOUPS 20858725 WITH SCORE 2.0939057953E7
AT ITER 2567 NEW BEST:: SOT 122865246 SOS 80365684 HAS SOPS 65601317 HAS SOUS 21390246 HAS SOUPS 20825282 WITH SCORE 2.0905647684E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15442336 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16078652 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-1"
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-1, 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-167889194300152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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