Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 2.9K Apr 12 07:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 07:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 21:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 21:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:38 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 1589781360781

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 7
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 123476414 SOS 80295209 HAS SOPS 65279876 HAS SOUS 24065800 HAS SOUPS 23493026 WITH SCORE 2.3573321209E7
AT ITER 29 NEW BEST:: SOT 123482411 SOS 80304069 HAS SOPS 65283969 HAS SOUS 24065375 HAS SOUPS 23492601 WITH SCORE 2.3572905069E7
AT ITER 35 NEW BEST:: SOT 123374509 SOS 80177074 HAS SOPS 65157711 HAS SOUS 23947029 HAS SOUPS 23373821 WITH SCORE 2.3453998074E7
AT ITER 41 NEW BEST:: SOT 123361859 SOS 80140494 HAS SOPS 65135320 HAS SOUS 23943815 HAS SOUPS 23370607 WITH SCORE 2.3450747494E7
AT ITER 49 NEW BEST:: SOT 123364649 SOS 80149789 HAS SOPS 65142965 HAS SOUS 23937936 HAS SOUPS 23364728 WITH SCORE 2.3444877789E7
AT ITER 60 NEW BEST:: SOT 123337430 SOS 80122521 HAS SOPS 65115673 HAS SOUS 23899299 HAS SOUPS 23326091 WITH SCORE 2.3406213521E7
AT ITER 67 NEW BEST:: SOT 123337099 SOS 80122205 HAS SOPS 65114277 HAS SOUS 23898068 HAS SOUPS 23324860 WITH SCORE 2.3404982205E7
AT ITER 93 NEW BEST:: SOT 123341598 SOS 80144564 HAS SOPS 65137546 HAS SOUS 23879710 HAS SOUPS 23307314 WITH SCORE 2.3387458564E7
AT ITER 115 NEW BEST:: SOT 123341451 SOS 80146426 HAS SOPS 65140922 HAS SOUS 23879491 HAS SOUPS 23307095 WITH SCORE 2.3387241426E7
AT ITER 117 NEW BEST:: SOT 123338036 SOS 80141577 HAS SOPS 65134863 HAS SOUS 23872601 HAS SOUPS 23300288 WITH SCORE 2.3380429577E7
AT ITER 151 NEW BEST:: SOT 123338036 SOS 80141241 HAS SOPS 65134527 HAS SOUS 23872600 HAS SOUPS 23300287 WITH SCORE 2.3380428241E7
AT ITER 153 NEW BEST:: SOT 123329853 SOS 80131871 HAS SOPS 65130331 HAS SOUS 23858928 HAS SOUPS 23286712 WITH SCORE 2.3366843871E7
AT ITER 166 NEW BEST:: SOT 123325075 SOS 80134547 HAS SOPS 65127332 HAS SOUS 23842309 HAS SOUPS 23270093 WITH SCORE 2.3350227547E7
AT ITER 167 NEW BEST:: SOT 123325440 SOS 80135435 HAS SOPS 65128130 HAS SOUS 23842205 HAS SOUPS 23269989 WITH SCORE 2.3350124435E7
AT ITER 172 NEW BEST:: SOT 123325683 SOS 80161395 HAS SOPS 65158470 HAS SOUS 23842083 HAS SOUPS 23269867 WITH SCORE 2.3350028395E7
AT ITER 177 NEW BEST:: SOT 123326306 SOS 80163175 HAS SOPS 65160162 HAS SOUS 23841898 HAS SOUPS 23269682 WITH SCORE 2.3349845175E7
AT ITER 180 NEW BEST:: SOT 123325510 SOS 80163187 HAS SOPS 65161993 HAS SOUS 23836381 HAS SOUPS 23264165 WITH SCORE 2.3344328187E7
AT ITER 216 NEW BEST:: SOT 123317317 SOS 80158468 HAS SOPS 65150588 HAS SOUS 23819439 HAS SOUPS 23246516 WITH SCORE 2.3326674468E7
AT ITER 227 NEW BEST:: SOT 123317317 SOS 80167124 HAS SOPS 65165084 HAS SOUS 23819351 HAS SOUPS 23246428 WITH SCORE 2.3326595124E7
AT ITER 255 NEW BEST:: SOT 123325961 SOS 80204612 HAS SOPS 65208659 HAS SOUS 23785369 HAS SOUPS 23212446 WITH SCORE 2.3292650612E7
AT ITER 277 NEW BEST:: SOT 123319122 SOS 80198222 HAS SOPS 65200888 HAS SOUS 23781013 HAS SOUPS 23207976 WITH SCORE 2.3288174222E7
AT ITER 282 NEW BEST:: SOT 123315645 SOS 80198168 HAS SOPS 65200403 HAS SOUS 23771822 HAS SOUPS 23198785 WITH SCORE 2.3278983168E7
AT ITER 293 NEW BEST:: SOT 123308869 SOS 80185668 HAS SOPS 65191300 HAS SOUS 23766160 HAS SOUPS 23193123 WITH SCORE 2.3273308668E7
AT ITER 303 NEW BEST:: SOT 123283530 SOS 80148977 HAS SOPS 65159994 HAS SOUS 23739070 HAS SOUPS 23166033 WITH SCORE 2.3246181977E7
AT ITER 312 NEW BEST:: SOT 123286231 SOS 80168072 HAS SOPS 65178078 HAS SOUS 23714529 HAS SOUPS 23141492 WITH SCORE 2.3221660072E7
AT ITER 324 NEW BEST:: SOT 123295187 SOS 80200340 HAS SOPS 65206298 HAS SOUS 23712284 HAS SOUPS 23139247 WITH SCORE 2.321944734E7
AT ITER 340 NEW BEST:: SOT 123287843 SOS 80189199 HAS SOPS 65195588 HAS SOUS 23700573 HAS SOUPS 23128015 WITH SCORE 2.3208204199E7
AT ITER 342 NEW BEST:: SOT 123264385 SOS 80148115 HAS SOPS 65161317 HAS SOUS 23670229 HAS SOUPS 23097671 WITH SCORE 2.3177819115E7
AT ITER 358 NEW BEST:: SOT 123260952 SOS 80143224 HAS SOPS 65158123 HAS SOUS 23667040 HAS SOUPS 23094482 WITH SCORE 2.3174625224E7
AT ITER 367 NEW BEST:: SOT 123260693 SOS 80143360 HAS SOPS 65155698 HAS SOUS 23663172 HAS SOUPS 23090614 WITH SCORE 2.317075736E7
AT ITER 384 NEW BEST:: SOT 123285271 SOS 80208032 HAS SOPS 65214440 HAS SOUS 23634533 HAS SOUPS 23062253 WITH SCORE 2.3142461032E7
AT ITER 389 NEW BEST:: SOT 123282923 SOS 80206874 HAS SOPS 65208532 HAS SOUS 23625044 HAS SOUPS 23052764 WITH SCORE 2.3132970874E7
AT ITER 393 NEW BEST:: SOT 123282923 SOS 80211926 HAS SOPS 65216704 HAS SOUS 23624924 HAS SOUPS 23052644 WITH SCORE 2.3132855926E7
AT ITER 406 NEW BEST:: SOT 123289564 SOS 80226477 HAS SOPS 65226980 HAS SOUS 23614955 HAS SOUPS 23042675 WITH SCORE 2.3122901477E7
AT ITER 408 NEW BEST:: SOT 123304058 SOS 80257460 HAS SOPS 65264427 HAS SOUS 23578128 HAS SOUPS 23005848 WITH SCORE 2.308610546E7
AT ITER 415 NEW BEST:: SOT 123304199 SOS 80258885 HAS SOPS 65263075 HAS SOUS 23574846 HAS SOUPS 23002566 WITH SCORE 2.3082824885E7
AT ITER 423 NEW BEST:: SOT 123312786 SOS 80263503 HAS SOPS 65276800 HAS SOUS 23556177 HAS SOUPS 22983897 WITH SCORE 2.3064160503E7
AT ITER 425 NEW BEST:: SOT 123291632 SOS 80243462 HAS SOPS 65250960 HAS SOUS 23513462 HAS SOUPS 22941307 WITH SCORE 2.3021550462E7
AT ITER 438 NEW BEST:: SOT 123291603 SOS 80253335 HAS SOPS 65267140 HAS SOUS 23513352 HAS SOUPS 22941197 WITH SCORE 2.3021450335E7
AT ITER 439 NEW BEST:: SOT 123289102 SOS 80253982 HAS SOPS 65264872 HAS SOUS 23499872 HAS SOUPS 22927717 WITH SCORE 2.3007970982E7
AT ITER 447 NEW BEST:: SOT 123288819 SOS 80260508 HAS SOPS 65273600 HAS SOUS 23487013 HAS SOUPS 22914858 WITH SCORE 2.2995118508E7
AT ITER 455 NEW BEST:: SOT 123284869 SOS 80254130 HAS SOPS 65266546 HAS SOUS 23477379 HAS SOUPS 22905282 WITH SCORE 2.298553613E7
AT ITER 466 NEW BEST:: SOT 123285539 SOS 80256972 HAS SOPS 65268722 HAS SOUS 23477165 HAS SOUPS 22905068 WITH SCORE 2.2985324972E7
AT ITER 467 NEW BEST:: SOT 123285238 SOS 80257869 HAS SOPS 65277703 HAS SOUS 23450976 HAS SOUPS 22879362 WITH SCORE 2.2959619869E7
AT ITER 484 NEW BEST:: SOT 123277918 SOS 80259250 HAS SOPS 65275737 HAS SOUS 23423139 HAS SOUPS 22851498 WITH SCORE 2.293175725E7
AT ITER 500 NEW BEST:: SOT 123302647 SOS 80330478 HAS SOPS 65338151 HAS SOUS 23420246 HAS SOUPS 22848605 WITH SCORE 2.2928935478E7
AT ITER 511 NEW BEST:: SOT 123302376 SOS 80326999 HAS SOPS 65339826 HAS SOUS 23417587 HAS SOUPS 22846043 WITH SCORE 2.2926369999E7
AT ITER 515 NEW BEST:: SOT 123301595 SOS 80316529 HAS SOPS 65336435 HAS SOUS 23406211 HAS SOUPS 22834667 WITH SCORE 2.2914983529E7
AT ITER 535 NEW BEST:: SOT 123282391 SOS 80286969 HAS SOPS 65308733 HAS SOUS 23387016 HAS SOUPS 22815472 WITH SCORE 2.2895758969E7
AT ITER 569 NEW BEST:: SOT 123249066 SOS 80252718 HAS SOPS 65274158 HAS SOUS 23341780 HAS SOUPS 22770121 WITH SCORE 2.2850373718E7
AT ITER 571 NEW BEST:: SOT 123248245 SOS 80260968 HAS SOPS 65291118 HAS SOUS 23326666 HAS SOUPS 22755007 WITH SCORE 2.2835267968E7
AT ITER 584 NEW BEST:: SOT 123226538 SOS 80229219 HAS SOPS 65273192 HAS SOUS 23281672 HAS SOUPS 22710013 WITH SCORE 2.2790242219E7
AT ITER 605 NEW BEST:: SOT 123224354 SOS 80229587 HAS SOPS 65266193 HAS SOUS 23272053 HAS SOUPS 22700394 WITH SCORE 2.2780623587E7
AT ITER 623 NEW BEST:: SOT 123211687 SOS 80221016 HAS SOPS 65252041 HAS SOUS 23252497 HAS SOUPS 22680838 WITH SCORE 2.2761059016E7
AT ITER 640 NEW BEST:: SOT 123211687 SOS 80224680 HAS SOPS 65256537 HAS SOUS 23252450 HAS SOUPS 22680791 WITH SCORE 2.276101568E7
AT ITER 648 NEW BEST:: SOT 123209643 SOS 80223522 HAS SOPS 65253116 HAS SOUS 23246536 HAS SOUPS 22674803 WITH SCORE 2.2755026522E7
AT ITER 649 NEW BEST:: SOT 123190800 SOS 80201897 HAS SOPS 65230068 HAS SOUS 23237432 HAS SOUPS 22665600 WITH SCORE 2.2745801897E7
AT ITER 651 NEW BEST:: SOT 123182415 SOS 80189130 HAS SOPS 65218183 HAS SOUS 23223285 HAS SOUPS 22651503 WITH SCORE 2.273169213E7
AT ITER 655 NEW BEST:: SOT 123180265 SOS 80186980 HAS SOPS 65215066 HAS SOUS 23218053 HAS SOUPS 22646281 WITH SCORE 2.272646798E7
AT ITER 670 NEW BEST:: SOT 123181866 SOS 80196340 HAS SOPS 65225899 HAS SOUS 23217292 HAS SOUPS 22645520 WITH SCORE 2.272571634E7
AT ITER 673 NEW BEST:: SOT 123188866 SOS 80214210 HAS SOPS 65246246 HAS SOUS 23202171 HAS SOUPS 22630399 WITH SCORE 2.271061321E7
AT ITER 681 NEW BEST:: SOT 123183318 SOS 80214218 HAS SOPS 65248465 HAS SOUS 23158436 HAS SOUPS 22586664 WITH SCORE 2.2666878218E7
AT ITER 688 NEW BEST:: SOT 123177087 SOS 80205336 HAS SOPS 65240176 HAS SOUS 23147996 HAS SOUPS 22576224 WITH SCORE 2.2656429336E7
AT ITER 698 NEW BEST:: SOT 123186108 SOS 80237122 HAS SOPS 65269293 HAS SOUS 23132060 HAS SOUPS 22560288 WITH SCORE 2.2640525122E7
AT ITER 700 NEW BEST:: SOT 123185935 SOS 80236949 HAS SOPS 65269120 HAS SOUS 23131519 HAS SOUPS 22559747 WITH SCORE 2.2639983949E7
AT ITER 708 NEW BEST:: SOT 123186154 SOS 80237428 HAS SOPS 65269649 HAS SOUS 23131312 HAS SOUPS 22559540 WITH SCORE 2.2639777428E7
AT ITER 711 NEW BEST:: SOT 123216873 SOS 80308833 HAS SOPS 65342422 HAS SOUS 23127446 HAS SOUPS 22555526 WITH SCORE 2.2635834833E7
AT ITER 719 NEW BEST:: SOT 123220934 SOS 80318363 HAS SOPS 65348998 HAS SOUS 23123924 HAS SOUPS 22552004 WITH SCORE 2.2632322363E7
AT ITER 722 NEW BEST:: SOT 123224784 SOS 80320774 HAS SOPS 65353414 HAS SOUS 23113996 HAS SOUPS 22542076 WITH SCORE 2.2622396774E7
AT ITER 726 NEW BEST:: SOT 123227663 SOS 80329490 HAS SOPS 65360579 HAS SOUS 23108208 HAS SOUPS 22536288 WITH SCORE 2.261661749E7
AT ITER 750 NEW BEST:: SOT 123227124 SOS 80328993 HAS SOPS 65360278 HAS SOUS 23106885 HAS SOUPS 22534951 WITH SCORE 2.2615279993E7
AT ITER 756 NEW BEST:: SOT 123222556 SOS 80313655 HAS SOPS 65344985 HAS SOUS 23101830 HAS SOUPS 22529896 WITH SCORE 2.2610209655E7
AT ITER 767 NEW BEST:: SOT 123228382 SOS 80316158 HAS SOPS 65349257 HAS SOUS 23076126 HAS SOUPS 22507233 WITH SCORE 2.2587549158E7
AT ITER 774 NEW BEST:: SOT 123231104 SOS 80324278 HAS SOPS 65364652 HAS SOUS 23057425 HAS SOUPS 22488532 WITH SCORE 2.2568856278E7
AT ITER 779 NEW BEST:: SOT 123195832 SOS 80273432 HAS SOPS 65310859 HAS SOUS 23034853 HAS SOUPS 22465960 WITH SCORE 2.2546233432E7
AT ITER 781 NEW BEST:: SOT 123201899 SOS 80283035 HAS SOPS 65319792 HAS SOUS 23034706 HAS SOUPS 22465813 WITH SCORE 2.2546096035E7
AT ITER 782 NEW BEST:: SOT 123186745 SOS 80259515 HAS SOPS 65296626 HAS SOUS 23009273 HAS SOUPS 22440658 WITH SCORE 2.2520917515E7
AT ITER 786 NEW BEST:: SOT 123190747 SOS 80270092 HAS SOPS 65305511 HAS SOUS 23006623 HAS SOUPS 22437954 WITH SCORE 2.2518224092E7
AT ITER 792 NEW BEST:: SOT 123190207 SOS 80269666 HAS SOPS 65304266 HAS SOUS 23004695 HAS SOUPS 22436026 WITH SCORE 2.2516295666E7
AT ITER 794 NEW BEST:: SOT 123196943 SOS 80283447 HAS SOPS 65300651 HAS SOUS 22994101 HAS SOUPS 22425432 WITH SCORE 2.2505715447E7
AT ITER 807 NEW BEST:: SOT 123196943 SOS 80285287 HAS SOPS 65302491 HAS SOUS 22994089 HAS SOUPS 22425420 WITH SCORE 2.2505705287E7
AT ITER 809 NEW BEST:: SOT 123201140 SOS 80303339 HAS SOPS 65322291 HAS SOUS 22981204 HAS SOUPS 22412611 WITH SCORE 2.2492914339E7
AT ITER 813 NEW BEST:: SOT 123200040 SOS 80300800 HAS SOPS 65319280 HAS SOUS 22980067 HAS SOUPS 22411474 WITH SCORE 2.24917748E7
AT ITER 815 NEW BEST:: SOT 123193373 SOS 80293748 HAS SOPS 65307876 HAS SOUS 22971956 HAS SOUPS 22403295 WITH SCORE 2.2483588748E7
AT ITER 835 NEW BEST:: SOT 123194184 SOS 80300008 HAS SOPS 65313420 HAS SOUS 22969932 HAS SOUPS 22401271 WITH SCORE 2.2481571008E7
AT ITER 837 NEW BEST:: SOT 123195831 SOS 80306915 HAS SOPS 65314832 HAS SOUS 22961479 HAS SOUPS 22392818 WITH SCORE 2.2473124915E7
AT ITER 838 NEW BEST:: SOT 123192092 SOS 80301614 HAS SOPS 65313845 HAS SOUS 22945771 HAS SOUPS 22378136 WITH SCORE 2.2458437614E7
AT ITER 850 NEW BEST:: SOT 123194613 SOS 80303439 HAS SOPS 65311226 HAS SOUS 22945472 HAS SOUPS 22377700 WITH SCORE 2.2458003439E7
AT ITER 857 NEW BEST:: SOT 123191142 SOS 80303561 HAS SOPS 65310098 HAS SOUS 22938738 HAS SOUPS 22370966 WITH SCORE 2.2451269561E7
AT ITER 862 NEW BEST:: SOT 123190358 SOS 80302831 HAS SOPS 65308448 HAS SOUS 22937671 HAS SOUPS 22369899 WITH SCORE 2.2450201831E7
AT ITER 885 NEW BEST:: SOT 123197174 SOS 80312378 HAS SOPS 65334581 HAS SOUS 22936429 HAS SOUPS 22368657 WITH SCORE 2.2448969378E7
AT ITER 893 NEW BEST:: SOT 123197098 SOS 80307382 HAS SOPS 65332453 HAS SOUS 22936418 HAS SOUPS 22368646 WITH SCORE 2.2448953382E7
AT ITER 894 NEW BEST:: SOT 123197445 SOS 80319674 HAS SOPS 65342411 HAS SOUS 22936424 HAS SOUPS 22368583 WITH SCORE 2.2448902674E7
AT ITER 896 NEW BEST:: SOT 123190835 SOS 80325040 HAS SOPS 65347492 HAS SOUS 22911741 HAS SOUPS 22343900 WITH SCORE 2.242422504E7
AT ITER 911 NEW BEST:: SOT 123193073 SOS 80330648 HAS SOPS 65351939 HAS SOUS 22907211 HAS SOUPS 22339370 WITH SCORE 2.2419700648E7
AT ITER 927 NEW BEST:: SOT 123193347 SOS 80331405 HAS SOPS 65357722 HAS SOUS 22906824 HAS SOUPS 22339072 WITH SCORE 2.2419403405E7
AT ITER 935 NEW BEST:: SOT 123193902 SOS 80326673 HAS SOPS 65352869 HAS SOUS 22905198 HAS SOUPS 22337446 WITH SCORE 2.2417772673E7
AT ITER 952 NEW BEST:: SOT 123193851 SOS 80326638 HAS SOPS 65352811 HAS SOUS 22905084 HAS SOUPS 22337332 WITH SCORE 2.2417658638E7
AT ITER 969 NEW BEST:: SOT 123177667 SOS 80299384 HAS SOPS 65345774 HAS SOUS 22901919 HAS SOUPS 22334649 WITH SCORE 2.2414948384E7
AT ITER 970 NEW BEST:: SOT 123177151 SOS 80301332 HAS SOPS 65344866 HAS SOUS 22899392 HAS SOUPS 22332039 WITH SCORE 2.2412340332E7
AT ITER 982 NEW BEST:: SOT 123176616 SOS 80300717 HAS SOPS 65344251 HAS SOUS 22898292 HAS SOUPS 22330939 WITH SCORE 2.2411239717E7
AT ITER 984 NEW BEST:: SOT 123175829 SOS 80296512 HAS SOPS 65340900 HAS SOUS 22897510 HAS SOUPS 22330157 WITH SCORE 2.2410453512E7
AT ITER 992 NEW BEST:: SOT 123170816 SOS 80285189 HAS SOPS 65327433 HAS SOUS 22895146 HAS SOUPS 22327793 WITH SCORE 2.2408078189E7
AT ITER 1001 NEW BEST:: SOT 123123970 SOS 80237786 HAS SOPS 65280587 HAS SOUS 22838835 HAS SOUPS 22271596 WITH SCORE 2.2351833786E7
AT ITER 1037 NEW BEST:: SOT 123120053 SOS 80233869 HAS SOPS 65276670 HAS SOUS 22835814 HAS SOUPS 22268575 WITH SCORE 2.2348808869E7
AT ITER 1067 NEW BEST:: SOT 123118164 SOS 80231260 HAS SOPS 65272801 HAS SOUS 22830415 HAS SOUPS 22263176 WITH SCORE 2.234340726E7
AT ITER 1076 NEW BEST:: SOT 123115613 SOS 80224561 HAS SOPS 65295155 HAS SOUS 22827955 HAS SOUPS 22260896 WITH SCORE 2.2341120561E7
AT ITER 1077 NEW BEST:: SOT 123113600 SOS 80223750 HAS SOPS 65313894 HAS SOUS 22782370 HAS SOUPS 22215836 WITH SCORE 2.229605975E7
AT ITER 1080 NEW BEST:: SOT 123113600 SOS 80227846 HAS SOPS 65320038 HAS SOUS 22782338 HAS SOUPS 22215804 WITH SCORE 2.2296031846E7
AT ITER 1088 NEW BEST:: SOT 123099287 SOS 80216494 HAS SOPS 65301920 HAS SOUS 22746411 HAS SOUPS 22179720 WITH SCORE 2.2259936494E7
AT ITER 1104 NEW BEST:: SOT 123089296 SOS 80199907 HAS SOPS 65284579 HAS SOUS 22734720 HAS SOUPS 22168029 WITH SCORE 2.2248228907E7
AT ITER 1105 NEW BEST:: SOT 123089296 SOS 80207939 HAS SOPS 65295971 HAS SOUS 22734524 HAS SOUPS 22167833 WITH SCORE 2.2248040939E7
AT ITER 1110 NEW BEST:: SOT 123081091 SOS 80199565 HAS SOPS 65278609 HAS SOUS 22729298 HAS SOUPS 22162607 WITH SCORE 2.2242806565E7
AT ITER 1111 NEW BEST:: SOT 123038349 SOS 80154033 HAS SOPS 65260099 HAS SOUS 22719256 HAS SOUPS 22152565 WITH SCORE 2.2232719033E7
AT ITER 1115 NEW BEST:: SOT 123041276 SOS 80161584 HAS SOPS 65256039 HAS SOUS 22708323 HAS SOUPS 22141632 WITH SCORE 2.2221793584E7
AT ITER 1150 NEW BEST:: SOT 122973749 SOS 80096655 HAS SOPS 65187874 HAS SOUS 22573931 HAS SOUPS 22006940 WITH SCORE 2.2087036655E7
AT ITER 1168 NEW BEST:: SOT 122971740 SOS 80097560 HAS SOPS 65184053 HAS SOUS 22563262 HAS SOUPS 21996271 WITH SCORE 2.207636856E7
AT ITER 1171 NEW BEST:: SOT 122974674 SOS 80097851 HAS SOPS 65193347 HAS SOUS 22556282 HAS SOUPS 21989440 WITH SCORE 2.2069537851E7
AT ITER 1205 NEW BEST:: SOT 122975595 SOS 80099496 HAS SOPS 65195238 HAS SOUS 22554467 HAS SOUPS 21987625 WITH SCORE 2.2067724496E7
AT ITER 1232 NEW BEST:: SOT 122976266 SOS 80102465 HAS SOPS 65198378 HAS SOUS 22554108 HAS SOUPS 21987266 WITH SCORE 2.2067368465E7
AT ITER 1234 NEW BEST:: SOT 122975869 SOS 80103124 HAS SOPS 65201038 HAS SOUS 22551301 HAS SOUPS 21984459 WITH SCORE 2.2064562124E7
AT ITER 1246 NEW BEST:: SOT 123000505 SOS 80142262 HAS SOPS 65232049 HAS SOUS 22548457 HAS SOUPS 21981405 WITH SCORE 2.2061547262E7
AT ITER 1252 NEW BEST:: SOT 122975942 SOS 80104749 HAS SOPS 65210149 HAS SOUS 22541536 HAS SOUPS 21974484 WITH SCORE 2.2054588749E7
AT ITER 1262 NEW BEST:: SOT 122878714 SOS 79994044 HAS SOPS 65101770 HAS SOUS 22425549 HAS SOUPS 21858980 WITH SCORE 2.1938974044E7
AT ITER 1273 NEW BEST:: SOT 122895411 SOS 80031475 HAS SOPS 65133348 HAS SOUS 22408686 HAS SOUPS 21842284 WITH SCORE 2.1922315475E7
AT ITER 1276 NEW BEST:: SOT 122880560 SOS 80009998 HAS SOPS 65106701 HAS SOUS 22404187 HAS SOUPS 21837785 WITH SCORE 2.1917794998E7
AT ITER 1278 NEW BEST:: SOT 122870262 SOS 79995669 HAS SOPS 65093683 HAS SOUS 22390007 HAS SOUPS 21823640 WITH SCORE 2.1903635669E7
AT ITER 1279 NEW BEST:: SOT 122871596 SOS 80002113 HAS SOPS 65097153 HAS SOUS 22383441 HAS SOUPS 21817074 WITH SCORE 2.1897076113E7
AT ITER 1319 NEW BEST:: SOT 122857409 SOS 79989598 HAS SOPS 65109215 HAS SOUS 22377724 HAS SOUPS 21811357 WITH SCORE 2.1891346598E7
AT ITER 1327 NEW BEST:: SOT 122870470 SOS 80008354 HAS SOPS 65126871 HAS SOUS 22359544 HAS SOUPS 21795643 WITH SCORE 2.1875651354E7
AT ITER 1330 NEW BEST:: SOT 122871522 SOS 80007836 HAS SOPS 65128971 HAS SOUS 22357117 HAS SOUPS 21793216 WITH SCORE 2.1873223836E7
AT ITER 1340 NEW BEST:: SOT 122882439 SOS 80046989 HAS SOPS 65149393 HAS SOUS 22343414 HAS SOUPS 21779411 WITH SCORE 2.1859457989E7
AT ITER 1359 NEW BEST:: SOT 122883456 SOS 80034584 HAS SOPS 65136940 HAS SOUS 22329738 HAS SOUPS 21765735 WITH SCORE 2.1845769584E7
AT ITER 1363 NEW BEST:: SOT 122867409 SOS 80018533 HAS SOPS 65120811 HAS SOUS 22313533 HAS SOUPS 21749530 WITH SCORE 2.1829548533E7
AT ITER 1385 NEW BEST:: SOT 122864686 SOS 80016064 HAS SOPS 65120147 HAS SOUS 22304812 HAS SOUPS 21740855 WITH SCORE 2.1820871064E7
AT ITER 1393 NEW BEST:: SOT 122861141 SOS 80010353 HAS SOPS 65115517 HAS SOUS 22299270 HAS SOUPS 21735380 WITH SCORE 2.1815390353E7
AT ITER 1398 NEW BEST:: SOT 122847017 SOS 79995085 HAS SOPS 65095543 HAS SOUS 22275260 HAS SOUPS 21711370 WITH SCORE 2.1791365085E7
AT ITER 1401 NEW BEST:: SOT 122853091 SOS 80011855 HAS SOPS 65115120 HAS SOUS 22263771 HAS SOUPS 21699881 WITH SCORE 2.1779892855E7
AT ITER 1409 NEW BEST:: SOT 122872866 SOS 80052060 HAS SOPS 65172549 HAS SOUS 22254330 HAS SOUPS 21693387 WITH SCORE 2.177343906E7
AT ITER 1419 NEW BEST:: SOT 122872551 SOS 80054381 HAS SOPS 65172906 HAS SOUS 22253362 HAS SOUPS 21692419 WITH SCORE 2.1772473381E7
AT ITER 1422 NEW BEST:: SOT 122871463 SOS 80052981 HAS SOPS 65170292 HAS SOUS 22249815 HAS SOUPS 21688872 WITH SCORE 2.1768924981E7
AT ITER 1425 NEW BEST:: SOT 122869436 SOS 80052374 HAS SOPS 65165730 HAS SOUS 22240962 HAS SOUPS 21679953 WITH SCORE 2.1760005374E7
AT ITER 1432 NEW BEST:: SOT 122869473 SOS 80064936 HAS SOPS 65179395 HAS SOUS 22240536 HAS SOUPS 21679527 WITH SCORE 2.1759591936E7
AT ITER 1433 NEW BEST:: SOT 122890196 SOS 80118035 HAS SOPS 65212773 HAS SOUS 22231961 HAS SOUPS 21670952 WITH SCORE 2.1751070035E7
AT ITER 1457 NEW BEST:: SOT 122880407 SOS 80103310 HAS SOPS 65199372 HAS SOUS 22217430 HAS SOUPS 21656421 WITH SCORE 2.173652431E7
AT ITER 1463 NEW BEST:: SOT 122882642 SOS 80116993 HAS SOPS 65219507 HAS SOUS 22174781 HAS SOUPS 21614086 WITH SCORE 2.1694202993E7
AT ITER 1479 NEW BEST:: SOT 122887817 SOS 80116727 HAS SOPS 65226879 HAS SOUS 22169098 HAS SOUPS 21608717 WITH SCORE 2.1688833727E7
AT ITER 1485 NEW BEST:: SOT 122891372 SOS 80127707 HAS SOPS 65232078 HAS SOUS 22162414 HAS SOUPS 21601834 WITH SCORE 2.1681961707E7
AT ITER 1496 NEW BEST:: SOT 122891576 SOS 80132819 HAS SOPS 65235421 HAS SOUS 22158649 HAS SOUPS 21598069 WITH SCORE 2.1678201819E7
AT ITER 1497 NEW BEST:: SOT 122891827 SOS 80152598 HAS SOPS 65269120 HAS SOUS 22158515 HAS SOUPS 21597935 WITH SCORE 2.1678087598E7
AT ITER 1506 NEW BEST:: SOT 122896475 SOS 80159494 HAS SOPS 65280278 HAS SOUS 22127983 HAS SOUPS 21568856 WITH SCORE 2.1649015494E7
AT ITER 1509 NEW BEST:: SOT 122896169 SOS 80157166 HAS SOPS 65278553 HAS SOUS 22127253 HAS SOUPS 21568126 WITH SCORE 2.1648283166E7
AT ITER 1513 NEW BEST:: SOT 122893626 SOS 80156224 HAS SOPS 65271562 HAS SOUS 22122483 HAS SOUPS 21563356 WITH SCORE 2.1643512224E7
AT ITER 1515 NEW BEST:: SOT 122908878 SOS 80207779 HAS SOPS 65303417 HAS SOUS 22082153 HAS SOUPS 21523026 WITH SCORE 2.1603233779E7
AT ITER 1517 NEW BEST:: SOT 122916850 SOS 80219892 HAS SOPS 65295345 HAS SOUS 22080847 HAS SOUPS 21513671 WITH SCORE 2.1593890892E7
AT ITER 1520 NEW BEST:: SOT 122917086 SOS 80220732 HAS SOPS 65296210 HAS SOUS 22080598 HAS SOUPS 21513422 WITH SCORE 2.1593642732E7
AT ITER 1532 NEW BEST:: SOT 122915640 SOS 80218762 HAS SOPS 65292668 HAS SOUS 22073510 HAS SOUPS 21506334 WITH SCORE 2.1586552762E7
AT ITER 1565 NEW BEST:: SOT 122864563 SOS 80165024 HAS SOPS 65240118 HAS SOUS 22001495 HAS SOUPS 21434612 WITH SCORE 2.1514777024E7
AT ITER 1575 NEW BEST:: SOT 122865203 SOS 80169817 HAS SOPS 65244692 HAS SOUS 22000166 HAS SOUPS 21433283 WITH SCORE 2.1513452817E7
AT ITER 1584 NEW BEST:: SOT 122865203 SOS 80169895 HAS SOPS 65245333 HAS SOUS 21999867 HAS SOUPS 21432984 WITH SCORE 2.1513153895E7
AT ITER 1589 NEW BEST:: SOT 122865203 SOS 80174383 HAS SOPS 65253789 HAS SOUS 21999817 HAS SOUPS 21432934 WITH SCORE 2.1513108383E7
AT ITER 1592 NEW BEST:: SOT 122865203 SOS 80175295 HAS SOPS 65252621 HAS SOUS 21999775 HAS SOUPS 21432892 WITH SCORE 2.1513067295E7
AT ITER 1593 NEW BEST:: SOT 122868677 SOS 80188671 HAS SOPS 65262612 HAS SOUS 21992077 HAS SOUPS 21425194 WITH SCORE 2.1505382671E7
AT ITER 1595 NEW BEST:: SOT 122878614 SOS 80215322 HAS SOPS 65284405 HAS SOUS 21991719 HAS SOUPS 21424836 WITH SCORE 2.1505051322E7
AT ITER 1603 NEW BEST:: SOT 122865048 SOS 80200590 HAS SOPS 65258159 HAS SOUS 21956607 HAS SOUPS 21389724 WITH SCORE 2.146992459E7
AT ITER 1604 NEW BEST:: SOT 122865590 SOS 80202106 HAS SOPS 65258622 HAS SOUS 21954967 HAS SOUPS 21388084 WITH SCORE 2.1468286106E7
AT ITER 1613 NEW BEST:: SOT 122857970 SOS 80193033 HAS SOPS 65250281 HAS SOUS 21946770 HAS SOUPS 21380138 WITH SCORE 2.1460331033E7
AT ITER 1616 NEW BEST:: SOT 122855258 SOS 80189132 HAS SOPS 65247134 HAS SOUS 21943336 HAS SOUPS 21376704 WITH SCORE 2.1456893132E7
AT ITER 1621 NEW BEST:: SOT 122855414 SOS 80198860 HAS SOPS 65266218 HAS SOUS 21943103 HAS SOUPS 21376471 WITH SCORE 2.145666986E7
AT ITER 1625 NEW BEST:: SOT 122855426 SOS 80191814 HAS SOPS 65248339 HAS SOUS 21943026 HAS SOUPS 21376394 WITH SCORE 2.1456585814E7
AT ITER 1629 NEW BEST:: SOT 122848644 SOS 80192978 HAS SOPS 65245690 HAS SOUS 21926474 HAS SOUPS 21359842 WITH SCORE 2.1440034978E7
AT ITER 1631 NEW BEST:: SOT 122844684 SOS 80189086 HAS SOPS 65241100 HAS SOUS 21918546 HAS SOUPS 21351934 WITH SCORE 2.1432123086E7
AT ITER 1636 NEW BEST:: SOT 122852384 SOS 80194788 HAS SOPS 65243948 HAS SOUS 21897476 HAS SOUPS 21330954 WITH SCORE 2.1411148788E7
AT ITER 1650 NEW BEST:: SOT 122851101 SOS 80195784 HAS SOPS 65244383 HAS SOUS 21890234 HAS SOUPS 21323712 WITH SCORE 2.1403907784E7
AT ITER 1653 NEW BEST:: SOT 122851125 SOS 80195341 HAS SOPS 65243790 HAS SOUS 21889779 HAS SOUPS 21323257 WITH SCORE 2.1403452341E7
AT ITER 1668 NEW BEST:: SOT 122791764 SOS 80134552 HAS SOPS 65182520 HAS SOUS 21797709 HAS SOUPS 21231086 WITH SCORE 2.1311220552E7
AT ITER 1670 NEW BEST:: SOT 122789548 SOS 80132336 HAS SOPS 65180720 HAS SOUS 21796273 HAS SOUPS 21229676 WITH SCORE 2.1309808336E7
AT ITER 1687 NEW BEST:: SOT 122803223 SOS 80171862 HAS SOPS 65215644 HAS SOUS 21773927 HAS SOUPS 21207330 WITH SCORE 2.1287501862E7
AT ITER 1690 NEW BEST:: SOT 122810793 SOS 80186441 HAS SOPS 65225247 HAS SOUS 21769369 HAS SOUPS 21203033 WITH SCORE 2.1283219441E7
AT ITER 1701 NEW BEST:: SOT 122810641 SOS 80196222 HAS SOPS 65238361 HAS SOUS 21768762 HAS SOUPS 21202426 WITH SCORE 2.1282622222E7
AT ITER 1702 NEW BEST:: SOT 122805218 SOS 80184369 HAS SOPS 65229243 HAS SOUS 21763383 HAS SOUPS 21197047 WITH SCORE 2.1277231369E7
AT ITER 1715 NEW BEST:: SOT 122799938 SOS 80176065 HAS SOPS 65221741 HAS SOUS 21759152 HAS SOUPS 21192816 WITH SCORE 2.1272992065E7
AT ITER 1718 NEW BEST:: SOT 122799670 SOS 80176335 HAS SOPS 65220518 HAS SOUS 21756198 HAS SOUPS 21189862 WITH SCORE 2.1270038335E7
AT ITER 1720 NEW BEST:: SOT 122800091 SOS 80176207 HAS SOPS 65225020 HAS SOUS 21751828 HAS SOUPS 21185492 WITH SCORE 2.1265668207E7
AT ITER 1721 NEW BEST:: SOT 122795954 SOS 80172142 HAS SOPS 65218887 HAS SOUS 21752255 HAS SOUPS 21185355 WITH SCORE 2.1265527142E7
AT ITER 1729 NEW BEST:: SOT 122801210 SOS 80182757 HAS SOPS 65229611 HAS SOUS 21745803 HAS SOUPS 21179056 WITH SCORE 2.1259238757E7
AT ITER 1738 NEW BEST:: SOT 122803303 SOS 80185255 HAS SOPS 65229725 HAS SOUS 21728049 HAS SOUPS 21161153 WITH SCORE 2.1241338255E7
AT ITER 1744 NEW BEST:: SOT 122806852 SOS 80199657 HAS SOPS 65240402 HAS SOUS 21711702 HAS SOUPS 21144806 WITH SCORE 2.1225005657E7
AT ITER 1750 NEW BEST:: SOT 122804453 SOS 80195986 HAS SOPS 65236750 HAS SOUS 21705780 HAS SOUPS 21138884 WITH SCORE 2.1219079986E7
AT ITER 1754 NEW BEST:: SOT 122801943 SOS 80192530 HAS SOPS 65230417 HAS SOUS 21697420 HAS SOUPS 21130524 WITH SCORE 2.121071653E7
AT ITER 1762 NEW BEST:: SOT 122802885 SOS 80191233 HAS SOPS 65228431 HAS SOUS 21697121 HAS SOUPS 21130281 WITH SCORE 2.1210472233E7
AT ITER 1764 NEW BEST:: SOT 122802059 SOS 80188719 HAS SOPS 65225486 HAS SOUS 21696141 HAS SOUPS 21129301 WITH SCORE 2.1209489719E7
AT ITER 1769 NEW BEST:: SOT 122802059 SOS 80192251 HAS SOPS 65229018 HAS SOUS 21696074 HAS SOUPS 21129234 WITH SCORE 2.1209426251E7
AT ITER 1780 NEW BEST:: SOT 122793838 SOS 80175373 HAS SOPS 65230102 HAS SOUS 21672963 HAS SOUPS 21106123 WITH SCORE 2.1186298373E7
AT ITER 1822 NEW BEST:: SOT 122791984 SOS 80172713 HAS SOPS 65224301 HAS SOUS 21664615 HAS SOUPS 21097775 WITH SCORE 2.1177947713E7
AT ITER 1825 NEW BEST:: SOT 122798856 SOS 80183726 HAS SOPS 65237451 HAS SOUS 21661979 HAS SOUPS 21095139 WITH SCORE 2.1175322726E7
AT ITER 1828 NEW BEST:: SOT 122797146 SOS 80198312 HAS SOPS 65244508 HAS SOUS 21626128 HAS SOUPS 21059288 WITH SCORE 2.1139486312E7
AT ITER 1838 NEW BEST:: SOT 122795627 SOS 80192403 HAS SOPS 65237052 HAS SOUS 21623501 HAS SOUPS 21056582 WITH SCORE 2.1136774403E7
AT ITER 1848 NEW BEST:: SOT 122798694 SOS 80227157 HAS SOPS 65273209 HAS SOUS 21606854 HAS SOUPS 21039935 WITH SCORE 2.1120162157E7
AT ITER 1852 NEW BEST:: SOT 122789670 SOS 80217284 HAS SOPS 65261159 HAS SOUS 21585529 HAS SOUPS 21018624 WITH SCORE 2.1098841284E7
AT ITER 1853 NEW BEST:: SOT 122799949 SOS 80231271 HAS SOPS 65286446 HAS SOUS 21579701 HAS SOUPS 21012796 WITH SCORE 2.1093027271E7
AT ITER 1854 NEW BEST:: SOT 122784962 SOS 80204244 HAS SOPS 65261986 HAS SOUS 21567544 HAS SOUPS 21000639 WITH SCORE 2.1080843244E7
AT ITER 1863 NEW BEST:: SOT 122783107 SOS 80202445 HAS SOPS 65260640 HAS SOUS 21562290 HAS SOUPS 20995483 WITH SCORE 2.1075685445E7
AT ITER 1867 NEW BEST:: SOT 122771581 SOS 80191000 HAS SOPS 65250552 HAS SOUS 21536903 HAS SOUPS 20970096 WITH SCORE 2.1050287E7
AT ITER 1868 NEW BEST:: SOT 122759137 SOS 80178780 HAS SOPS 65235964 HAS SOUS 21531465 HAS SOUPS 20962290 WITH SCORE 2.104246878E7
AT ITER 1876 NEW BEST:: SOT 122725621 SOS 80139487 HAS SOPS 65207864 HAS SOUS 21504586 HAS SOUPS 20935411 WITH SCORE 2.1015550487E7
AT ITER 1879 NEW BEST:: SOT 122730898 SOS 80138735 HAS SOPS 65208693 HAS SOUS 21501820 HAS SOUPS 20932729 WITH SCORE 2.1012867735E7
AT ITER 1915 NEW BEST:: SOT 122727190 SOS 80133061 HAS SOPS 65202788 HAS SOUS 21493240 HAS SOUPS 20924265 WITH SCORE 2.1004398061E7
AT ITER 1929 NEW BEST:: SOT 122717247 SOS 80112826 HAS SOPS 65187024 HAS SOUS 21492634 HAS SOUPS 20923659 WITH SCORE 2.1003771826E7
AT ITER 1953 NEW BEST:: SOT 122719772 SOS 80112945 HAS SOPS 65189922 HAS SOUS 21488438 HAS SOUPS 20919664 WITH SCORE 2.0999776945E7
AT ITER 1955 NEW BEST:: SOT 122719985 SOS 80113150 HAS SOPS 65187630 HAS SOUS 21487432 HAS SOUPS 20918658 WITH SCORE 2.099877115E7
AT ITER 1960 NEW BEST:: SOT 122695685 SOS 80080058 HAS SOPS 65153951 HAS SOUS 21457453 HAS SOUPS 20888679 WITH SCORE 2.0968759058E7
AT ITER 1968 NEW BEST:: SOT 122708583 SOS 80092168 HAS SOPS 65171481 HAS SOUS 21454379 HAS SOUPS 20885748 WITH SCORE 2.0965840168E7
AT ITER 1975 NEW BEST:: SOT 122680304 SOS 80066327 HAS SOPS 65141701 HAS SOUS 21392581 HAS SOUPS 20824129 WITH SCORE 2.0904195327E7
AT ITER 2043 NEW BEST:: SOT 122668558 SOS 80058234 HAS SOPS 65139926 HAS SOUS 21364843 HAS SOUPS 20796391 WITH SCORE 2.0876449234E7
AT ITER 2048 NEW BEST:: SOT 122667386 SOS 80032277 HAS SOPS 65122253 HAS SOUS 21355372 HAS SOUPS 20786920 WITH SCORE 2.0866952277E7
AT ITER 2053 NEW BEST:: SOT 122671214 SOS 80035422 HAS SOPS 65126764 HAS SOUS 21355247 HAS SOUPS 20786849 WITH SCORE 2.0866884422E7
AT ITER 2066 NEW BEST:: SOT 122670310 SOS 80032946 HAS SOPS 65124352 HAS SOUS 21354751 HAS SOUPS 20786353 WITH SCORE 2.0866385946E7
AT ITER 2074 NEW BEST:: SOT 122681356 SOS 80065478 HAS SOPS 65145439 HAS SOUS 21345546 HAS SOUPS 20777148 WITH SCORE 2.0857213478E7
AT ITER 2080 NEW BEST:: SOT 122678905 SOS 80063027 HAS SOPS 65142772 HAS SOUS 21343803 HAS SOUPS 20775185 WITH SCORE 2.0855248027E7
AT ITER 2105 NEW BEST:: SOT 122677966 SOS 80062288 HAS SOPS 65148078 HAS SOUS 21343557 HAS SOUPS 20775029 WITH SCORE 2.0855091288E7
AT ITER 2113 NEW BEST:: SOT 122670688 SOS 80045642 HAS SOPS 65142643 HAS SOUS 21335174 HAS SOUPS 20766952 WITH SCORE 2.0846997642E7
AT ITER 2131 NEW BEST:: SOT 122705685 SOS 80126620 HAS SOPS 65224258 HAS SOUS 21333836 HAS SOUPS 20765546 WITH SCORE 2.084567262E7
AT ITER 2136 NEW BEST:: SOT 122685273 SOS 80099319 HAS SOPS 65208610 HAS SOUS 21280513 HAS SOUPS 20712223 WITH SCORE 2.0792322319E7
AT ITER 2137 NEW BEST:: SOT 122676902 SOS 80079059 HAS SOPS 65188491 HAS SOUS 21271655 HAS SOUPS 20703365 WITH SCORE 2.0783444059E7
AT ITER 2145 NEW BEST:: SOT 122670441 SOS 80069570 HAS SOPS 65178868 HAS SOUS 21254106 HAS SOUPS 20685816 WITH SCORE 2.076588557E7
AT ITER 2170 NEW BEST:: SOT 122654622 SOS 80041659 HAS SOPS 65156828 HAS SOUS 21242226 HAS SOUPS 20674074 WITH SCORE 2.0754115659E7
AT ITER 2177 NEW BEST:: SOT 122654623 SOS 80042192 HAS SOPS 65157361 HAS SOUS 21242139 HAS SOUPS 20673987 WITH SCORE 2.0754029192E7
AT ITER 2197 NEW BEST:: SOT 122654123 SOS 80043280 HAS SOPS 65157946 HAS SOUS 21232766 HAS SOUPS 20664614 WITH SCORE 2.074465728E7
AT ITER 2200 NEW BEST:: SOT 122653794 SOS 80043515 HAS SOPS 65159945 HAS SOUS 21229495 HAS SOUPS 20663737 WITH SCORE 2.0743780515E7
AT ITER 2212 NEW BEST:: SOT 122653031 SOS 80041690 HAS SOPS 65158691 HAS SOUS 21227185 HAS SOUPS 20661427 WITH SCORE 2.074146869E7
AT ITER 2217 NEW BEST:: SOT 122649914 SOS 80044421 HAS SOPS 65157906 HAS SOUS 21213171 HAS SOUPS 20647413 WITH SCORE 2.0727457421E7
AT ITER 2232 NEW BEST:: SOT 122659588 SOS 80077524 HAS SOPS 65201636 HAS SOUS 21189816 HAS SOUPS 20624058 WITH SCORE 2.0704135524E7
AT ITER 2237 NEW BEST:: SOT 122659764 SOS 80090100 HAS SOPS 65216228 HAS SOUS 21189610 HAS SOUPS 20623852 WITH SCORE 2.07039421E7
AT ITER 2244 NEW BEST:: SOT 122629572 SOS 80039163 HAS SOPS 65178970 HAS SOUS 21143822 HAS SOUPS 20579046 WITH SCORE 2.0659085163E7
AT ITER 2251 NEW BEST:: SOT 122629228 SOS 80040900 HAS SOPS 65180092 HAS SOUS 21141743 HAS SOUPS 20576990 WITH SCORE 2.06570309E7
AT ITER 2252 NEW BEST:: SOT 122613898 SOS 80021973 HAS SOPS 65149701 HAS SOUS 21103562 HAS SOUPS 20538879 WITH SCORE 2.0618900973E7
AT ITER 2257 NEW BEST:: SOT 122612383 SOS 80020320 HAS SOPS 65147946 HAS SOUS 21099915 HAS SOUPS 20535219 WITH SCORE 2.061523932E7
AT ITER 2278 NEW BEST:: SOT 122608868 SOS 80015600 HAS SOPS 65141870 HAS SOUS 21095520 HAS SOUPS 20530824 WITH SCORE 2.06108396E7
AT ITER 2279 NEW BEST:: SOT 122599719 SOS 80003978 HAS SOPS 65132550 HAS SOUS 21077768 HAS SOUPS 20513203 WITH SCORE 2.0593206978E7
AT ITER 2296 NEW BEST:: SOT 122596858 SOS 79999830 HAS SOPS 65129901 HAS SOUS 21074047 HAS SOUPS 20509485 WITH SCORE 2.058948483E7
AT ITER 2299 NEW BEST:: SOT 122618575 SOS 80049304 HAS SOPS 65175496 HAS SOUS 21061610 HAS SOUPS 20497048 WITH SCORE 2.0577097304E7
AT ITER 2306 NEW BEST:: SOT 122613087 SOS 80033047 HAS SOPS 65158867 HAS SOUS 21055445 HAS SOUPS 20490883 WITH SCORE 2.0570916047E7
AT ITER 2312 NEW BEST:: SOT 122602806 SOS 80010867 HAS SOPS 65139755 HAS SOUS 21029924 HAS SOUPS 20465504 WITH SCORE 2.0545514867E7
AT ITER 2320 NEW BEST:: SOT 122602881 SOS 80024176 HAS SOPS 65167328 HAS SOUS 21029625 HAS SOUPS 20465205 WITH SCORE 2.0545229176E7
AT ITER 2333 NEW BEST:: SOT 122646378 SOS 80131222 HAS SOPS 65261089 HAS SOUS 21029294 HAS SOUPS 20464874 WITH SCORE 2.0545005222E7
AT ITER 2334 NEW BEST:: SOT 122665526 SOS 80151853 HAS SOPS 65283098 HAS SOUS 21025269 HAS SOUPS 20460974 WITH SCORE 2.0541125853E7
AT ITER 2342 NEW BEST:: SOT 122631807 SOS 80095721 HAS SOPS 65230794 HAS SOUS 20991201 HAS SOUPS 20427339 WITH SCORE 2.0507434721E7
AT ITER 2358 NEW BEST:: SOT 122622889 SOS 80068804 HAS SOPS 65221906 HAS SOUS 20979234 HAS SOUPS 20415542 WITH SCORE 2.0495610804E7
AT ITER 2361 NEW BEST:: SOT 122615694 SOS 80071834 HAS SOPS 65198764 HAS SOUS 20910581 HAS SOUPS 20346889 WITH SCORE 2.0426960834E7
AT ITER 2362 NEW BEST:: SOT 122605520 SOS 80041954 HAS SOPS 65174432 HAS SOUS 20903437 HAS SOUPS 20339745 WITH SCORE 2.0419786954E7
AT ITER 2375 NEW BEST:: SOT 122599823 SOS 80037045 HAS SOPS 65165135 HAS SOUS 20889113 HAS SOUPS 20325421 WITH SCORE 2.0405458045E7
AT ITER 2384 NEW BEST:: SOT 122587174 SOS 80019691 HAS SOPS 65150904 HAS SOUS 20862054 HAS SOUPS 20298362 WITH SCORE 2.0378381691E7
AT ITER 2388 NEW BEST:: SOT 122601415 SOS 80044491 HAS SOPS 65183383 HAS SOUS 20855335 HAS SOUPS 20291689 WITH SCORE 2.0371733491E7
AT ITER 2409 NEW BEST:: SOT 122590445 SOS 80028443 HAS SOPS 65172611 HAS SOUS 20833642 HAS SOUPS 20270334 WITH SCORE 2.0350362443E7
AT ITER 2432 NEW BEST:: SOT 122609704 SOS 80090383 HAS SOPS 65228695 HAS SOUS 20825945 HAS SOUPS 20262637 WITH SCORE 2.0342727383E7

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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r138-smll-158961502500200"
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 ;