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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 4.3K Apr 12 07:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 12 07:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K 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.7K 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.9K Apr 10 14:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 14:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 20:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 20:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 69M Mar 24 05:37 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 1589748380958

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 1
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 3 NEW BEST:: SOT 123444457 SOS 80235408 HAS SOPS 65214610 HAS SOUS 24071670 HAS SOUPS 23498977 WITH SCORE 2.3579212408E7
AT ITER 5 NEW BEST:: SOT 123509162 SOS 80391290 HAS SOPS 65343979 HAS SOUS 24071281 HAS SOUPS 23498588 WITH SCORE 2.357897929E7
AT ITER 28 NEW BEST:: SOT 123509043 SOS 80391760 HAS SOPS 65343771 HAS SOUS 24070625 HAS SOUPS 23497932 WITH SCORE 2.357832376E7
AT ITER 31 NEW BEST:: SOT 123539484 SOS 80434132 HAS SOPS 65399589 HAS SOUS 24063293 HAS SOUPS 23490640 WITH SCORE 2.3571074132E7
AT ITER 38 NEW BEST:: SOT 123553307 SOS 80479805 HAS SOPS 65427782 HAS SOUS 24034387 HAS SOUPS 23461734 WITH SCORE 2.3542213805E7
AT ITER 52 NEW BEST:: SOT 123529844 SOS 80456432 HAS SOPS 65404409 HAS SOUS 24009250 HAS SOUPS 23436597 WITH SCORE 2.3517053432E7
AT ITER 59 NEW BEST:: SOT 123526547 SOS 80450685 HAS SOPS 65395974 HAS SOUS 24003598 HAS SOUPS 23430945 WITH SCORE 2.3511395685E7
AT ITER 61 NEW BEST:: SOT 123535774 SOS 80461889 HAS SOPS 65422266 HAS SOUS 23995745 HAS SOUPS 23423092 WITH SCORE 2.3503553889E7
AT ITER 62 NEW BEST:: SOT 123535760 SOS 80461903 HAS SOPS 65422266 HAS SOUS 23995703 HAS SOUPS 23423050 WITH SCORE 2.3503511903E7
AT ITER 73 NEW BEST:: SOT 123531293 SOS 80455357 HAS SOPS 65418764 HAS SOUS 23991235 HAS SOUPS 23418582 WITH SCORE 2.3499037357E7
AT ITER 84 NEW BEST:: SOT 123528431 SOS 80452389 HAS SOPS 65414499 HAS SOUS 23985614 HAS SOUPS 23412981 WITH SCORE 2.3493433389E7
AT ITER 87 NEW BEST:: SOT 123525243 SOS 80446426 HAS SOPS 65403466 HAS SOUS 23984993 HAS SOUPS 23412360 WITH SCORE 2.3492806426E7
AT ITER 91 NEW BEST:: SOT 123517170 SOS 80436897 HAS SOPS 65390729 HAS SOUS 23969944 HAS SOUPS 23397339 WITH SCORE 2.3477775897E7
AT ITER 94 NEW BEST:: SOT 123515147 SOS 80433312 HAS SOPS 65387933 HAS SOUS 23969313 HAS SOUPS 23396708 WITH SCORE 2.3477141312E7
AT ITER 104 NEW BEST:: SOT 123499940 SOS 80418184 HAS SOPS 65372751 HAS SOUS 23950559 HAS SOUPS 23377954 WITH SCORE 2.3458372184E7
AT ITER 118 NEW BEST:: SOT 123500139 SOS 80447241 HAS SOPS 65405448 HAS SOUS 23950447 HAS SOUPS 23377842 WITH SCORE 2.3458289241E7
AT ITER 121 NEW BEST:: SOT 123500044 SOS 80450193 HAS SOPS 65417050 HAS SOUS 23945039 HAS SOUPS 23372446 WITH SCORE 2.3452896193E7
AT ITER 122 NEW BEST:: SOT 123508725 SOS 80464565 HAS SOPS 65432850 HAS SOUS 23941776 HAS SOUPS 23369294 WITH SCORE 2.3449758565E7
AT ITER 123 NEW BEST:: SOT 123506994 SOS 80460498 HAS SOPS 65430348 HAS SOUS 23938768 HAS SOUPS 23366328 WITH SCORE 2.3446788498E7
AT ITER 151 NEW BEST:: SOT 123493710 SOS 80460095 HAS SOPS 65424479 HAS SOUS 23893241 HAS SOUPS 23320774 WITH SCORE 2.3401234095E7
AT ITER 154 NEW BEST:: SOT 123487808 SOS 80456190 HAS SOPS 65421015 HAS SOUS 23876178 HAS SOUPS 23303663 WITH SCORE 2.338411919E7
AT ITER 160 NEW BEST:: SOT 123480852 SOS 80448349 HAS SOPS 65415782 HAS SOUS 23845012 HAS SOUPS 23272692 WITH SCORE 2.3353140349E7
AT ITER 184 NEW BEST:: SOT 123490941 SOS 80484212 HAS SOPS 65447873 HAS SOUS 23836385 HAS SOUPS 23264065 WITH SCORE 2.3344549212E7
AT ITER 190 NEW BEST:: SOT 123505235 SOS 80512856 HAS SOPS 65471302 HAS SOUS 23826410 HAS SOUPS 23254090 WITH SCORE 2.3334602856E7
AT ITER 206 NEW BEST:: SOT 123504740 SOS 80509948 HAS SOPS 65472240 HAS SOUS 23822301 HAS SOUPS 23250404 WITH SCORE 2.3330913948E7
AT ITER 210 NEW BEST:: SOT 123512752 SOS 80522330 HAS SOPS 65501965 HAS SOUS 23802298 HAS SOUPS 23230724 WITH SCORE 2.331124633E7
AT ITER 213 NEW BEST:: SOT 123508718 SOS 80514253 HAS SOPS 65492380 HAS SOUS 23793275 HAS SOUPS 23221701 WITH SCORE 2.3302215253E7
AT ITER 216 NEW BEST:: SOT 123488502 SOS 80506440 HAS SOPS 65480858 HAS SOUS 23747773 HAS SOUPS 23176199 WITH SCORE 2.325670544E7
AT ITER 235 NEW BEST:: SOT 123493493 SOS 80528301 HAS SOPS 65494821 HAS SOUS 23731259 HAS SOUPS 23159685 WITH SCORE 2.3240213301E7
AT ITER 240 NEW BEST:: SOT 123491716 SOS 80517173 HAS SOPS 65486705 HAS SOUS 23709893 HAS SOUPS 23138478 WITH SCORE 2.3218995173E7
AT ITER 243 NEW BEST:: SOT 123487300 SOS 80492360 HAS SOPS 65498755 HAS SOUS 23693551 HAS SOUPS 23122136 WITH SCORE 2.320262836E7
AT ITER 252 NEW BEST:: SOT 123486834 SOS 80492548 HAS SOPS 65499142 HAS SOUS 23688457 HAS SOUPS 23117239 WITH SCORE 2.3197731548E7
AT ITER 264 NEW BEST:: SOT 123496842 SOS 80518898 HAS SOPS 65517053 HAS SOUS 23662217 HAS SOUPS 23090999 WITH SCORE 2.3171517898E7
AT ITER 272 NEW BEST:: SOT 123496887 SOS 80534464 HAS SOPS 65530750 HAS SOUS 23660802 HAS SOUPS 23089584 WITH SCORE 2.3170118464E7
AT ITER 274 NEW BEST:: SOT 123489412 SOS 80524299 HAS SOPS 65521291 HAS SOUS 23643363 HAS SOUPS 23072145 WITH SCORE 2.3152669299E7
AT ITER 280 NEW BEST:: SOT 123487508 SOS 80521367 HAS SOPS 65519391 HAS SOUS 23642976 HAS SOUPS 23071832 WITH SCORE 2.3152353367E7
AT ITER 294 NEW BEST:: SOT 123549370 SOS 80636702 HAS SOPS 65606856 HAS SOUS 23638582 HAS SOUPS 23067428 WITH SCORE 2.3148064702E7
AT ITER 299 NEW BEST:: SOT 123544782 SOS 80631546 HAS SOPS 65598287 HAS SOUS 23626755 HAS SOUPS 23055601 WITH SCORE 2.3136232546E7
AT ITER 327 NEW BEST:: SOT 123542470 SOS 80620069 HAS SOPS 65593604 HAS SOUS 23587177 HAS SOUPS 23016489 WITH SCORE 2.3097109069E7
AT ITER 331 NEW BEST:: SOT 123542650 SOS 80654169 HAS SOPS 65641256 HAS SOUS 23586838 HAS SOUPS 23016150 WITH SCORE 2.3096804169E7
AT ITER 332 NEW BEST:: SOT 123545186 SOS 80664121 HAS SOPS 65643952 HAS SOUS 23584412 HAS SOUPS 23013724 WITH SCORE 2.3094388121E7
AT ITER 340 NEW BEST:: SOT 123545330 SOS 80665428 HAS SOPS 65642924 HAS SOUS 23579850 HAS SOUPS 23009162 WITH SCORE 2.3089827428E7
AT ITER 359 NEW BEST:: SOT 123537509 SOS 80657887 HAS SOPS 65628457 HAS SOUS 23544986 HAS SOUPS 22974298 WITH SCORE 2.3054955887E7
AT ITER 363 NEW BEST:: SOT 123543448 SOS 80665045 HAS SOPS 65626368 HAS SOUS 23543525 HAS SOUPS 22972837 WITH SCORE 2.3053502045E7
AT ITER 365 NEW BEST:: SOT 123553097 SOS 80711164 HAS SOPS 65653568 HAS SOUS 23517159 HAS SOUPS 22946471 WITH SCORE 2.3027182164E7
AT ITER 379 NEW BEST:: SOT 123553097 SOS 80707990 HAS SOPS 65649200 HAS SOUS 23517139 HAS SOUPS 22946451 WITH SCORE 2.302715899E7
AT ITER 392 NEW BEST:: SOT 123551954 SOS 80706391 HAS SOPS 65646344 HAS SOUS 23514382 HAS SOUPS 22943694 WITH SCORE 2.3024400391E7
AT ITER 396 NEW BEST:: SOT 123566601 SOS 80740681 HAS SOPS 65677064 HAS SOUS 23513844 HAS SOUPS 22943156 WITH SCORE 2.3023896681E7
AT ITER 419 NEW BEST:: SOT 123497840 SOS 80672022 HAS SOPS 65605973 HAS SOUS 23443209 HAS SOUPS 22872065 WITH SCORE 2.2952737022E7
AT ITER 420 NEW BEST:: SOT 123488364 SOS 80663121 HAS SOPS 65594721 HAS SOUS 23428231 HAS SOUPS 22853912 WITH SCORE 2.2934575121E7
AT ITER 424 NEW BEST:: SOT 123484125 SOS 80655103 HAS SOPS 65587010 HAS SOUS 23427424 HAS SOUPS 22853105 WITH SCORE 2.2933760103E7
AT ITER 437 NEW BEST:: SOT 123484162 SOS 80662570 HAS SOPS 65598482 HAS SOUS 23427378 HAS SOUPS 22853059 WITH SCORE 2.293372157E7
AT ITER 444 NEW BEST:: SOT 123486872 SOS 80668444 HAS SOPS 65599571 HAS SOUS 23426123 HAS SOUPS 22851804 WITH SCORE 2.2932472444E7
AT ITER 452 NEW BEST:: SOT 123475281 SOS 80656848 HAS SOPS 65587959 HAS SOUS 23413260 HAS SOUPS 22838941 WITH SCORE 2.2919597848E7
AT ITER 472 NEW BEST:: SOT 123475350 SOS 80665564 HAS SOPS 65602524 HAS SOUS 23412062 HAS SOUPS 22837743 WITH SCORE 2.2918408564E7
AT ITER 478 NEW BEST:: SOT 123474290 SOS 80666717 HAS SOPS 65604640 HAS SOUS 23411336 HAS SOUPS 22836938 WITH SCORE 2.2917604717E7
AT ITER 485 NEW BEST:: SOT 123473065 SOS 80665162 HAS SOPS 65603170 HAS SOUS 23409461 HAS SOUPS 22835068 WITH SCORE 2.2915733162E7
AT ITER 496 NEW BEST:: SOT 123473065 SOS 80666778 HAS SOPS 65606914 HAS SOUS 23409367 HAS SOUPS 22834974 WITH SCORE 2.2915640778E7
AT ITER 513 NEW BEST:: SOT 123499464 SOS 80691828 HAS SOPS 65637407 HAS SOUS 23404218 HAS SOUPS 22832238 WITH SCORE 2.2912929828E7
AT ITER 518 NEW BEST:: SOT 123501151 SOS 80697079 HAS SOPS 65639864 HAS SOUS 23401395 HAS SOUPS 22829415 WITH SCORE 2.2910112079E7
AT ITER 520 NEW BEST:: SOT 123502105 SOS 80701995 HAS SOPS 65639165 HAS SOUS 23392680 HAS SOUPS 22820533 WITH SCORE 2.2901234995E7
AT ITER 528 NEW BEST:: SOT 123500276 SOS 80697467 HAS SOPS 65629037 HAS SOUS 23379088 HAS SOUPS 22806941 WITH SCORE 2.2887638467E7
AT ITER 530 NEW BEST:: SOT 123507855 SOS 80709338 HAS SOPS 65639194 HAS SOUS 23377984 HAS SOUPS 22805837 WITH SCORE 2.2886546338E7
AT ITER 534 NEW BEST:: SOT 123507855 SOS 80726282 HAS SOPS 65665098 HAS SOUS 23377545 HAS SOUPS 22805398 WITH SCORE 2.2886124282E7
AT ITER 539 NEW BEST:: SOT 123521390 SOS 80755795 HAS SOPS 65695819 HAS SOUS 23349134 HAS SOUPS 22777304 WITH SCORE 2.2858059795E7
AT ITER 541 NEW BEST:: SOT 123521398 SOS 80763835 HAS SOPS 65705299 HAS SOUS 23348912 HAS SOUPS 22777082 WITH SCORE 2.2857845835E7
AT ITER 546 NEW BEST:: SOT 123516004 SOS 80755058 HAS SOPS 65694217 HAS SOUS 23342772 HAS SOUPS 22770942 WITH SCORE 2.2851697058E7
AT ITER 552 NEW BEST:: SOT 123562496 SOS 80856785 HAS SOPS 65769572 HAS SOUS 23334905 HAS SOUPS 22763075 WITH SCORE 2.2843931785E7
AT ITER 580 NEW BEST:: SOT 123593998 SOS 80952163 HAS SOPS 65889690 HAS SOUS 23332386 HAS SOUPS 22760897 WITH SCORE 2.2841849163E7
AT ITER 581 NEW BEST:: SOT 123590727 SOS 80951244 HAS SOPS 65885332 HAS SOUS 23330244 HAS SOUPS 22758704 WITH SCORE 2.2839655244E7
AT ITER 585 NEW BEST:: SOT 123583098 SOS 80925299 HAS SOPS 65923518 HAS SOUS 23300058 HAS SOUPS 22728455 WITH SCORE 2.2809380299E7
AT ITER 590 NEW BEST:: SOT 123561535 SOS 80892790 HAS SOPS 65892331 HAS SOUS 23292615 HAS SOUPS 22721012 WITH SCORE 2.280190479E7
AT ITER 591 NEW BEST:: SOT 123546020 SOS 80867387 HAS SOPS 65869501 HAS SOUS 23276792 HAS SOUPS 22705189 WITH SCORE 2.2786056387E7
AT ITER 594 NEW BEST:: SOT 123545549 SOS 80865614 HAS SOPS 65869581 HAS SOUS 23275356 HAS SOUPS 22704089 WITH SCORE 2.2784954614E7
AT ITER 598 NEW BEST:: SOT 123529265 SOS 80852474 HAS SOPS 65857070 HAS SOUS 23248102 HAS SOUPS 22676835 WITH SCORE 2.2757687474E7
AT ITER 600 NEW BEST:: SOT 123526867 SOS 80841492 HAS SOPS 65848511 HAS SOUS 23243798 HAS SOUPS 22672531 WITH SCORE 2.2753372492E7
AT ITER 603 NEW BEST:: SOT 123522428 SOS 80845697 HAS SOPS 65854302 HAS SOUS 23242392 HAS SOUPS 22671125 WITH SCORE 2.2751970697E7
AT ITER 634 NEW BEST:: SOT 123491729 SOS 80791829 HAS SOPS 65816292 HAS SOUS 23210215 HAS SOUPS 22640508 WITH SCORE 2.2721299829E7
AT ITER 635 NEW BEST:: SOT 123499113 SOS 80809284 HAS SOPS 65833685 HAS SOUS 23200974 HAS SOUPS 22631267 WITH SCORE 2.2712076284E7
AT ITER 646 NEW BEST:: SOT 123506042 SOS 80834504 HAS SOPS 65863165 HAS SOUS 23200394 HAS SOUPS 22630687 WITH SCORE 2.2711521504E7
AT ITER 657 NEW BEST:: SOT 123509875 SOS 80845364 HAS SOPS 65870764 HAS SOUS 23194366 HAS SOUPS 22624659 WITH SCORE 2.2705504364E7
AT ITER 681 NEW BEST:: SOT 123505332 SOS 80838122 HAS SOPS 65864348 HAS SOUS 23185657 HAS SOUPS 22615950 WITH SCORE 2.2696788122E7
AT ITER 693 NEW BEST:: SOT 123503426 SOS 80839494 HAS SOPS 65862920 HAS SOUS 23178853 HAS SOUPS 22609146 WITH SCORE 2.2689985494E7
AT ITER 699 NEW BEST:: SOT 123512836 SOS 80872435 HAS SOPS 65885576 HAS SOUS 23159393 HAS SOUPS 22589686 WITH SCORE 2.2670558435E7
AT ITER 700 NEW BEST:: SOT 123494359 SOS 80844369 HAS SOPS 65858000 HAS SOUS 23138100 HAS SOUPS 22568490 WITH SCORE 2.2649334369E7
AT ITER 724 NEW BEST:: SOT 123497597 SOS 80847203 HAS SOPS 65863273 HAS SOUS 23134064 HAS SOUPS 22564454 WITH SCORE 2.2645301203E7
AT ITER 755 NEW BEST:: SOT 123494365 SOS 80843080 HAS SOPS 65859843 HAS SOUS 23129173 HAS SOUPS 22559596 WITH SCORE 2.264043908E7
AT ITER 764 NEW BEST:: SOT 123490400 SOS 80813971 HAS SOPS 65837359 HAS SOUS 23121151 HAS SOUPS 22551692 WITH SCORE 2.2632505971E7
AT ITER 772 NEW BEST:: SOT 123483711 SOS 80803053 HAS SOPS 65823414 HAS SOUS 23104509 HAS SOUPS 22535110 WITH SCORE 2.2615913053E7
AT ITER 777 NEW BEST:: SOT 123481999 SOS 80792271 HAS SOPS 65817407 HAS SOUS 23102990 HAS SOUPS 22533591 WITH SCORE 2.2614383271E7
AT ITER 778 NEW BEST:: SOT 123481642 SOS 80791794 HAS SOPS 65816696 HAS SOUS 23102309 HAS SOUPS 22532904 WITH SCORE 2.2613695794E7
AT ITER 780 NEW BEST:: SOT 123499160 SOS 80832586 HAS SOPS 65854262 HAS SOUS 23099096 HAS SOUPS 22529691 WITH SCORE 2.2610523586E7
AT ITER 786 NEW BEST:: SOT 123477558 SOS 80797922 HAS SOPS 65823551 HAS SOUS 23077848 HAS SOUPS 22508443 WITH SCORE 2.2589240922E7
AT ITER 790 NEW BEST:: SOT 123474090 SOS 80793251 HAS SOPS 65818105 HAS SOUS 23076499 HAS SOUPS 22507094 WITH SCORE 2.2587887251E7
AT ITER 829 NEW BEST:: SOT 123460455 SOS 80779607 HAS SOPS 65804461 HAS SOUS 23062846 HAS SOUPS 22493441 WITH SCORE 2.2574220607E7
AT ITER 832 NEW BEST:: SOT 123464874 SOS 80799193 HAS SOPS 65812098 HAS SOUS 23031019 HAS SOUPS 22461481 WITH SCORE 2.2542280193E7
AT ITER 846 NEW BEST:: SOT 123508772 SOS 80883416 HAS SOPS 65919120 HAS SOUS 23012571 HAS SOUPS 22443033 WITH SCORE 2.2523916416E7
AT ITER 853 NEW BEST:: SOT 123509386 SOS 80936166 HAS SOPS 65990668 HAS SOUS 23012244 HAS SOUPS 22442706 WITH SCORE 2.2523642166E7
AT ITER 862 NEW BEST:: SOT 123509284 SOS 80945437 HAS SOPS 66004273 HAS SOUS 23010828 HAS SOUPS 22441290 WITH SCORE 2.2522235437E7
AT ITER 867 NEW BEST:: SOT 123513016 SOS 80956673 HAS SOPS 66013365 HAS SOUS 23009334 HAS SOUPS 22439729 WITH SCORE 2.2520685673E7
AT ITER 875 NEW BEST:: SOT 123474220 SOS 80881151 HAS SOPS 65954066 HAS SOUS 22996221 HAS SOUPS 22426819 WITH SCORE 2.2507700151E7
AT ITER 879 NEW BEST:: SOT 123473768 SOS 80880699 HAS SOPS 65953614 HAS SOUS 22995761 HAS SOUPS 22426359 WITH SCORE 2.2507239699E7
AT ITER 900 NEW BEST:: SOT 123473196 SOS 80879902 HAS SOPS 65953312 HAS SOUS 22994683 HAS SOUPS 22425281 WITH SCORE 2.2506160902E7
AT ITER 901 NEW BEST:: SOT 123473008 SOS 80879726 HAS SOPS 65953010 HAS SOUS 22994214 HAS SOUPS 22424812 WITH SCORE 2.2505691726E7
AT ITER 914 NEW BEST:: SOT 123477792 SOS 80887478 HAS SOPS 65978159 HAS SOUS 22969678 HAS SOUPS 22400276 WITH SCORE 2.2481163478E7
AT ITER 932 NEW BEST:: SOT 123469206 SOS 80876424 HAS SOPS 65967635 HAS SOUS 22960569 HAS SOUPS 22391211 WITH SCORE 2.2472087424E7
AT ITER 938 NEW BEST:: SOT 123470091 SOS 80874278 HAS SOPS 65968023 HAS SOUS 22951419 HAS SOUPS 22382176 WITH SCORE 2.2463050278E7
AT ITER 946 NEW BEST:: SOT 123470041 SOS 80883739 HAS SOPS 65979826 HAS SOUS 22951082 HAS SOUPS 22381839 WITH SCORE 2.2462722739E7
AT ITER 947 NEW BEST:: SOT 123469679 SOS 80882865 HAS SOPS 65979076 HAS SOUS 22950900 HAS SOUPS 22381667 WITH SCORE 2.2462549865E7
AT ITER 949 NEW BEST:: SOT 123476869 SOS 80897338 HAS SOPS 65987833 HAS SOUS 22947819 HAS SOUPS 22378586 WITH SCORE 2.2459483338E7
AT ITER 957 NEW BEST:: SOT 123390875 SOS 80809697 HAS SOPS 65900257 HAS SOUS 22858443 HAS SOUPS 22289235 WITH SCORE 2.2370044697E7
AT ITER 962 NEW BEST:: SOT 123386290 SOS 80810783 HAS SOPS 65900767 HAS SOUS 22842641 HAS SOUPS 22273433 WITH SCORE 2.2354243783E7
AT ITER 973 NEW BEST:: SOT 123391105 SOS 80837207 HAS SOPS 65914170 HAS SOUS 22804953 HAS SOUPS 22235745 WITH SCORE 2.2316582207E7
AT ITER 1003 NEW BEST:: SOT 123390965 SOS 80837109 HAS SOPS 65914015 HAS SOUS 22804930 HAS SOUPS 22235722 WITH SCORE 2.2316559109E7
AT ITER 1016 NEW BEST:: SOT 123371031 SOS 80817219 HAS SOPS 65893760 HAS SOUS 22780481 HAS SOUPS 22211161 WITH SCORE 2.2291978219E7
AT ITER 1022 NEW BEST:: SOT 123371681 SOS 80825406 HAS SOPS 65902744 HAS SOUS 22777636 HAS SOUPS 22208459 WITH SCORE 2.2289284406E7
AT ITER 1023 NEW BEST:: SOT 123376775 SOS 80823945 HAS SOPS 65908944 HAS SOUS 22767267 HAS SOUPS 22200259 WITH SCORE 2.2281082945E7
AT ITER 1038 NEW BEST:: SOT 123386537 SOS 80866283 HAS SOPS 65942779 HAS SOUS 22750844 HAS SOUPS 22183836 WITH SCORE 2.2264702283E7
AT ITER 1041 NEW BEST:: SOT 123376512 SOS 80857896 HAS SOPS 65929885 HAS SOUS 22725633 HAS SOUPS 22157421 WITH SCORE 2.2238278896E7
AT ITER 1042 NEW BEST:: SOT 123367584 SOS 80840421 HAS SOPS 65917184 HAS SOUS 22714164 HAS SOUPS 22146029 WITH SCORE 2.2226869421E7
AT ITER 1043 NEW BEST:: SOT 123365299 SOS 80836758 HAS SOPS 65904230 HAS SOUS 22702462 HAS SOUPS 22134192 WITH SCORE 2.2215028758E7
AT ITER 1047 NEW BEST:: SOT 123359772 SOS 80829779 HAS SOPS 65896802 HAS SOUS 22691757 HAS SOUPS 22123517 WITH SCORE 2.2204346779E7
AT ITER 1066 NEW BEST:: SOT 123356823 SOS 80824488 HAS SOPS 65893002 HAS SOUS 22686492 HAS SOUPS 22118252 WITH SCORE 2.2199076488E7
AT ITER 1068 NEW BEST:: SOT 123350928 SOS 80820947 HAS SOPS 65890940 HAS SOUS 22681433 HAS SOUPS 22113306 WITH SCORE 2.2194126947E7
AT ITER 1074 NEW BEST:: SOT 123382751 SOS 80865945 HAS SOPS 65953203 HAS SOUS 22640085 HAS SOUPS 22075432 WITH SCORE 2.2156297945E7
AT ITER 1076 NEW BEST:: SOT 123380618 SOS 80861117 HAS SOPS 65952402 HAS SOUS 22637932 HAS SOUPS 22073279 WITH SCORE 2.2154140117E7
AT ITER 1091 NEW BEST:: SOT 123380474 SOS 80858053 HAS SOPS 65950922 HAS SOUS 22637692 HAS SOUPS 22073039 WITH SCORE 2.2153897053E7
AT ITER 1100 NEW BEST:: SOT 123362952 SOS 80837721 HAS SOPS 65932136 HAS SOUS 22611733 HAS SOUPS 22047197 WITH SCORE 2.2128034721E7
AT ITER 1127 NEW BEST:: SOT 123362679 SOS 80836222 HAS SOPS 65931327 HAS SOUS 22611410 HAS SOUPS 22046885 WITH SCORE 2.2127721222E7
AT ITER 1147 NEW BEST:: SOT 123362679 SOS 80841458 HAS SOPS 65940755 HAS SOUS 22611400 HAS SOUPS 22046875 WITH SCORE 2.2127716458E7
AT ITER 1181 NEW BEST:: SOT 123362743 SOS 80860830 HAS SOPS 65964270 HAS SOUS 22610741 HAS SOUPS 22046216 WITH SCORE 2.212707683E7
AT ITER 1191 NEW BEST:: SOT 123353868 SOS 80852694 HAS SOPS 65953797 HAS SOUS 22599939 HAS SOUPS 22035414 WITH SCORE 2.2116266694E7
AT ITER 1194 NEW BEST:: SOT 123361720 SOS 80861838 HAS SOPS 65969165 HAS SOUS 22596980 HAS SOUPS 22032690 WITH SCORE 2.2113551838E7
AT ITER 1198 NEW BEST:: SOT 123365687 SOS 80861217 HAS SOPS 65980249 HAS SOUS 22595018 HAS SOUPS 22030875 WITH SCORE 2.2111736217E7
AT ITER 1200 NEW BEST:: SOT 123372925 SOS 80879942 HAS SOPS 65987782 HAS SOUS 22560555 HAS SOUPS 21996412 WITH SCORE 2.2077291942E7
AT ITER 1204 NEW BEST:: SOT 123367039 SOS 80872581 HAS SOPS 65982606 HAS SOUS 22547521 HAS SOUPS 21983505 WITH SCORE 2.2064377581E7
AT ITER 1206 NEW BEST:: SOT 123370714 SOS 80878416 HAS SOPS 66015451 HAS SOUS 22536357 HAS SOUPS 21973513 WITH SCORE 2.2054391416E7
AT ITER 1215 NEW BEST:: SOT 123279417 SOS 80725481 HAS SOPS 65886918 HAS SOUS 22386787 HAS SOUPS 21824283 WITH SCORE 2.1905008481E7
AT ITER 1220 NEW BEST:: SOT 123278590 SOS 80722734 HAS SOPS 65883687 HAS SOUS 22385108 HAS SOUPS 21822604 WITH SCORE 2.1903326734E7
AT ITER 1224 NEW BEST:: SOT 123291120 SOS 80748981 HAS SOPS 65902774 HAS SOUS 22361490 HAS SOUPS 21798986 WITH SCORE 2.1879734981E7
AT ITER 1226 NEW BEST:: SOT 123286339 SOS 80743460 HAS SOPS 65897108 HAS SOUS 22349939 HAS SOUPS 21787947 WITH SCORE 2.186869046E7
AT ITER 1228 NEW BEST:: SOT 123284279 SOS 80741170 HAS SOPS 65894838 HAS SOUS 22345152 HAS SOUPS 21783160 WITH SCORE 2.186390117E7
AT ITER 1230 NEW BEST:: SOT 123278303 SOS 80727706 HAS SOPS 65887966 HAS SOUS 22334185 HAS SOUPS 21772412 WITH SCORE 2.1853139706E7
AT ITER 1244 NEW BEST:: SOT 123278431 SOS 80727782 HAS SOPS 65887974 HAS SOUS 22333801 HAS SOUPS 21772028 WITH SCORE 2.1852755782E7
AT ITER 1245 NEW BEST:: SOT 123278996 SOS 80719369 HAS SOPS 65884055 HAS SOUS 22332857 HAS SOUPS 21771084 WITH SCORE 2.1851803369E7
AT ITER 1247 NEW BEST:: SOT 123275454 SOS 80715827 HAS SOPS 65880513 HAS SOUS 22328227 HAS SOUPS 21766454 WITH SCORE 2.1847169827E7
AT ITER 1254 NEW BEST:: SOT 123278714 SOS 80716375 HAS SOPS 65884004 HAS SOUS 22327791 HAS SOUPS 21766245 WITH SCORE 2.1846961375E7
AT ITER 1256 NEW BEST:: SOT 123297786 SOS 80754698 HAS SOPS 65911719 HAS SOUS 22319766 HAS SOUPS 21758036 WITH SCORE 2.1838790698E7
AT ITER 1266 NEW BEST:: SOT 123303642 SOS 80767852 HAS SOPS 65927962 HAS SOUS 22314156 HAS SOUPS 21752426 WITH SCORE 2.1833193852E7
AT ITER 1269 NEW BEST:: SOT 123246785 SOS 80728687 HAS SOPS 65844214 HAS SOUS 22283798 HAS SOUPS 21716318 WITH SCORE 2.1797046687E7
AT ITER 1274 NEW BEST:: SOT 123246935 SOS 80729389 HAS SOPS 65844976 HAS SOUS 22283529 HAS SOUPS 21716049 WITH SCORE 2.1796778389E7
AT ITER 1275 NEW BEST:: SOT 123247080 SOS 80732487 HAS SOPS 65847250 HAS SOUS 22282094 HAS SOUPS 21714614 WITH SCORE 2.1795346487E7
AT ITER 1287 NEW BEST:: SOT 123259143 SOS 80757423 HAS SOPS 65865864 HAS SOUS 22281615 HAS SOUPS 21714135 WITH SCORE 2.1794892423E7
AT ITER 1292 NEW BEST:: SOT 123269907 SOS 80777755 HAS SOPS 65875359 HAS SOUS 22279933 HAS SOUPS 21712453 WITH SCORE 2.1793230755E7
AT ITER 1303 NEW BEST:: SOT 123262284 SOS 80771935 HAS SOPS 65866225 HAS SOUS 22261675 HAS SOUPS 21694195 WITH SCORE 2.1774966935E7
AT ITER 1306 NEW BEST:: SOT 123263365 SOS 80777892 HAS SOPS 65870448 HAS SOUS 22256581 HAS SOUPS 21689101 WITH SCORE 2.1769878892E7
AT ITER 1318 NEW BEST:: SOT 123280351 SOS 80816809 HAS SOPS 65909296 HAS SOUS 22233082 HAS SOUPS 21665609 WITH SCORE 2.1746425809E7
AT ITER 1327 NEW BEST:: SOT 123279395 SOS 80815357 HAS SOPS 65907079 HAS SOUS 22232970 HAS SOUPS 21665497 WITH SCORE 2.1746312357E7
AT ITER 1337 NEW BEST:: SOT 123268294 SOS 80802369 HAS SOPS 65899817 HAS SOUS 22221593 HAS SOUPS 21654120 WITH SCORE 2.1734922369E7
AT ITER 1339 NEW BEST:: SOT 123262072 SOS 80796344 HAS SOPS 65896562 HAS SOUS 22218274 HAS SOUPS 21650801 WITH SCORE 2.1731597344E7
AT ITER 1341 NEW BEST:: SOT 123252664 SOS 80787451 HAS SOPS 65878240 HAS SOUS 22190995 HAS SOUPS 21623391 WITH SCORE 2.1704178451E7
AT ITER 1349 NEW BEST:: SOT 123252768 SOS 80789093 HAS SOPS 65876335 HAS SOUS 22190645 HAS SOUPS 21623006 WITH SCORE 2.1703795093E7
AT ITER 1364 NEW BEST:: SOT 123252768 SOS 80789157 HAS SOPS 65876367 HAS SOUS 22190641 HAS SOUPS 21623002 WITH SCORE 2.1703791157E7
AT ITER 1370 NEW BEST:: SOT 123229198 SOS 80764753 HAS SOPS 65843225 HAS SOUS 22144733 HAS SOUPS 21576781 WITH SCORE 2.1657545753E7
AT ITER 1399 NEW BEST:: SOT 123251662 SOS 80812273 HAS SOPS 65899281 HAS SOUS 22115995 HAS SOUPS 21550802 WITH SCORE 2.1631614273E7
AT ITER 1411 NEW BEST:: SOT 123252352 SOS 80823593 HAS SOPS 65907780 HAS SOUS 22114687 HAS SOUPS 21549494 WITH SCORE 2.1630317593E7
AT ITER 1462 NEW BEST:: SOT 123262244 SOS 80816267 HAS SOPS 65900031 HAS SOUS 22108669 HAS SOUPS 21543476 WITH SCORE 2.1624292267E7
AT ITER 1465 NEW BEST:: SOT 123262307 SOS 80835506 HAS SOPS 65931332 HAS SOUS 22107919 HAS SOUPS 21542726 WITH SCORE 2.1623561506E7
AT ITER 1473 NEW BEST:: SOT 123260135 SOS 80833616 HAS SOPS 65933096 HAS SOUS 22106224 HAS SOUPS 21541031 WITH SCORE 2.1621864616E7
AT ITER 1478 NEW BEST:: SOT 123262270 SOS 80837578 HAS SOPS 65936716 HAS SOUS 22097206 HAS SOUPS 21532101 WITH SCORE 2.1612938578E7
AT ITER 1482 NEW BEST:: SOT 123256018 SOS 80834623 HAS SOPS 65932937 HAS SOUS 22066524 HAS SOUPS 21501648 WITH SCORE 2.1582482623E7
AT ITER 1491 NEW BEST:: SOT 123234473 SOS 80782060 HAS SOPS 65896324 HAS SOUS 22059212 HAS SOUPS 21494336 WITH SCORE 2.157511806E7
AT ITER 1496 NEW BEST:: SOT 123231888 SOS 80777762 HAS SOPS 65891843 HAS SOUS 22051017 HAS SOUPS 21486234 WITH SCORE 2.1567011762E7
AT ITER 1505 NEW BEST:: SOT 123213010 SOS 80756287 HAS SOPS 65870789 HAS SOUS 22016697 HAS SOUPS 21452047 WITH SCORE 2.1532803287E7
AT ITER 1518 NEW BEST:: SOT 123212498 SOS 80752273 HAS SOPS 65872330 HAS SOUS 22012349 HAS SOUPS 21447839 WITH SCORE 2.1528591273E7
AT ITER 1537 NEW BEST:: SOT 123213850 SOS 80754060 HAS SOPS 65880399 HAS SOUS 22011574 HAS SOUPS 21447214 WITH SCORE 2.152796806E7
AT ITER 1539 NEW BEST:: SOT 123208088 SOS 80748362 HAS SOPS 65872687 HAS SOUS 22002906 HAS SOUPS 21438499 WITH SCORE 2.1519247362E7
AT ITER 1587 NEW BEST:: SOT 123208137 SOS 80752772 HAS SOPS 65880844 HAS SOUS 21989143 HAS SOUPS 21424918 WITH SCORE 2.1505670772E7
AT ITER 1596 NEW BEST:: SOT 123210316 SOS 80755173 HAS SOPS 65881124 HAS SOUS 21987943 HAS SOUPS 21423960 WITH SCORE 2.1504715173E7
AT ITER 1597 NEW BEST:: SOT 123208351 SOS 80753208 HAS SOPS 65879159 HAS SOUS 21986410 HAS SOUPS 21422427 WITH SCORE 2.1503180208E7
AT ITER 1599 NEW BEST:: SOT 123182524 SOS 80726336 HAS SOPS 65850647 HAS SOUS 21954377 HAS SOUPS 21390400 WITH SCORE 2.1471126336E7
AT ITER 1634 NEW BEST:: SOT 123184559 SOS 80735167 HAS SOPS 65855377 HAS SOUS 21950272 HAS SOUPS 21386295 WITH SCORE 2.1467030167E7
AT ITER 1648 NEW BEST:: SOT 123181870 SOS 80731226 HAS SOPS 65850857 HAS SOUS 21945635 HAS SOUPS 21381658 WITH SCORE 2.1462389226E7
AT ITER 1656 NEW BEST:: SOT 123176812 SOS 80722033 HAS SOPS 65845914 HAS SOUS 21944165 HAS SOUPS 21380167 WITH SCORE 2.1460889033E7
AT ITER 1659 NEW BEST:: SOT 123177423 SOS 80723961 HAS SOPS 65846349 HAS SOUS 21941223 HAS SOUPS 21377225 WITH SCORE 2.1457948961E7
AT ITER 1677 NEW BEST:: SOT 123177943 SOS 80729147 HAS SOPS 65851951 HAS SOUS 21940793 HAS SOUPS 21376795 WITH SCORE 2.1457524147E7
AT ITER 1680 NEW BEST:: SOT 123131613 SOS 80675179 HAS SOPS 65802883 HAS SOUS 21871834 HAS SOUPS 21308028 WITH SCORE 2.1388703179E7
AT ITER 1681 NEW BEST:: SOT 123131133 SOS 80674790 HAS SOPS 65800840 HAS SOUS 21868314 HAS SOUPS 21304508 WITH SCORE 2.138518279E7
AT ITER 1686 NEW BEST:: SOT 123115170 SOS 80654259 HAS SOPS 65790028 HAS SOUS 21847313 HAS SOUPS 21284865 WITH SCORE 2.1365519259E7
AT ITER 1688 NEW BEST:: SOT 123078863 SOS 80617685 HAS SOPS 65769513 HAS SOUS 21781474 HAS SOUPS 21219026 WITH SCORE 2.1299643685E7
AT ITER 1693 NEW BEST:: SOT 123091869 SOS 80655769 HAS SOPS 65813877 HAS SOUS 21777806 HAS SOUPS 21215358 WITH SCORE 2.1296013769E7
AT ITER 1694 NEW BEST:: SOT 123084986 SOS 80623460 HAS SOPS 65782438 HAS SOUS 21749293 HAS SOUPS 21187071 WITH SCORE 2.126769446E7
AT ITER 1697 NEW BEST:: SOT 123083311 SOS 80616637 HAS SOPS 65774716 HAS SOUS 21745575 HAS SOUPS 21183353 WITH SCORE 2.1263969637E7
AT ITER 1719 NEW BEST:: SOT 123088191 SOS 80624847 HAS SOPS 65780234 HAS SOUS 21741013 HAS SOUPS 21178909 WITH SCORE 2.1259533847E7
AT ITER 1725 NEW BEST:: SOT 123097314 SOS 80662882 HAS SOPS 65812403 HAS SOUS 21734343 HAS SOUPS 21172239 WITH SCORE 2.1252901882E7
AT ITER 1730 NEW BEST:: SOT 123091297 SOS 80656258 HAS SOPS 65802507 HAS SOUS 21711988 HAS SOUPS 21149884 WITH SCORE 2.1230540258E7
AT ITER 1734 NEW BEST:: SOT 123091289 SOS 80656451 HAS SOPS 65811494 HAS SOUS 21711843 HAS SOUPS 21149739 WITH SCORE 2.1230395451E7
AT ITER 1751 NEW BEST:: SOT 123090505 SOS 80659549 HAS SOPS 65812725 HAS SOUS 21704506 HAS SOUPS 21142402 WITH SCORE 2.1223061549E7
AT ITER 1766 NEW BEST:: SOT 123096019 SOS 80675050 HAS SOPS 65826428 HAS SOUS 21698416 HAS SOUPS 21136312 WITH SCORE 2.121698705E7
AT ITER 1767 NEW BEST:: SOT 123084635 SOS 80657466 HAS SOPS 65814140 HAS SOUS 21690189 HAS SOUPS 21128119 WITH SCORE 2.1208776466E7
AT ITER 1770 NEW BEST:: SOT 123094895 SOS 80677464 HAS SOPS 65826467 HAS SOUS 21687338 HAS SOUPS 21125268 WITH SCORE 2.1205945464E7
AT ITER 1776 NEW BEST:: SOT 123106485 SOS 80691692 HAS SOPS 65839774 HAS SOUS 21656100 HAS SOUPS 21094149 WITH SCORE 2.1174840692E7
AT ITER 1785 NEW BEST:: SOT 123103847 SOS 80688817 HAS SOPS 65836155 HAS SOUS 21652426 HAS SOUPS 21090487 WITH SCORE 2.1171175817E7
AT ITER 1826 NEW BEST:: SOT 123100073 SOS 80681783 HAS SOPS 65832561 HAS SOUS 21647447 HAS SOUPS 21087031 WITH SCORE 2.1167712783E7
AT ITER 1831 NEW BEST:: SOT 123100051 SOS 80681757 HAS SOPS 65832521 HAS SOUS 21647373 HAS SOUPS 21086957 WITH SCORE 2.1167638757E7
AT ITER 1836 NEW BEST:: SOT 123100051 SOS 80682285 HAS SOPS 65831489 HAS SOUS 21647330 HAS SOUPS 21086914 WITH SCORE 2.1167596285E7
AT ITER 1859 NEW BEST:: SOT 123091580 SOS 80673573 HAS SOPS 65822645 HAS SOUS 21644843 HAS SOUPS 21084423 WITH SCORE 2.1165096573E7
AT ITER 1879 NEW BEST:: SOT 123092400 SOS 80676136 HAS SOPS 65829051 HAS SOUS 21642854 HAS SOUPS 21082434 WITH SCORE 2.1163110136E7
AT ITER 1882 NEW BEST:: SOT 123110137 SOS 80695268 HAS SOPS 65852804 HAS SOUS 21642510 HAS SOUPS 21082134 WITH SCORE 2.1162829268E7
AT ITER 1885 NEW BEST:: SOT 123103717 SOS 80681800 HAS SOPS 65841424 HAS SOUS 21636752 HAS SOUPS 21076435 WITH SCORE 2.11571168E7
AT ITER 1900 NEW BEST:: SOT 123102810 SOS 80687743 HAS SOPS 65840583 HAS SOUS 21619383 HAS SOUPS 21059066 WITH SCORE 2.1139753743E7
AT ITER 1903 NEW BEST:: SOT 123178288 SOS 80829606 HAS SOPS 65971336 HAS SOUS 21615458 HAS SOUPS 21055141 WITH SCORE 2.1135970606E7
AT ITER 1914 NEW BEST:: SOT 123173303 SOS 80819596 HAS SOPS 65960963 HAS SOUS 21598023 HAS SOUPS 21037706 WITH SCORE 2.1118525596E7
AT ITER 1922 NEW BEST:: SOT 123169912 SOS 80820143 HAS SOPS 65957201 HAS SOUS 21582665 HAS SOUPS 21022309 WITH SCORE 2.1103129143E7
AT ITER 1933 NEW BEST:: SOT 123172858 SOS 80827920 HAS SOPS 65961437 HAS SOUS 21578475 HAS SOUPS 21018119 WITH SCORE 2.109894692E7
AT ITER 1940 NEW BEST:: SOT 123171259 SOS 80827327 HAS SOPS 65960823 HAS SOUS 21571901 HAS SOUPS 21011623 WITH SCORE 2.1092450327E7
AT ITER 1946 NEW BEST:: SOT 123166164 SOS 80824968 HAS SOPS 65958402 HAS SOUS 21558170 HAS SOUPS 20997892 WITH SCORE 2.1078716968E7
AT ITER 1949 NEW BEST:: SOT 123161751 SOS 80822149 HAS SOPS 65954867 HAS SOUS 21547298 HAS SOUPS 20987020 WITH SCORE 2.1067842149E7
AT ITER 1951 NEW BEST:: SOT 123159240 SOS 80826381 HAS SOPS 65961818 HAS SOUS 21545690 HAS SOUPS 20985412 WITH SCORE 2.1066238381E7
AT ITER 1963 NEW BEST:: SOT 123174043 SOS 80858277 HAS SOPS 65951554 HAS SOUS 21516204 HAS SOUPS 20955926 WITH SCORE 2.1036784277E7
AT ITER 1964 NEW BEST:: SOT 123173457 SOS 80859272 HAS SOPS 65950798 HAS SOUS 21514269 HAS SOUPS 20953991 WITH SCORE 2.1034850272E7
AT ITER 1965 NEW BEST:: SOT 123172932 SOS 80857576 HAS SOPS 65949793 HAS SOUS 21513475 HAS SOUPS 20953197 WITH SCORE 2.1034054576E7
AT ITER 1983 NEW BEST:: SOT 123178239 SOS 80865659 HAS SOPS 65959927 HAS SOUS 21501291 HAS SOUPS 20941013 WITH SCORE 2.1021878659E7
AT ITER 1987 NEW BEST:: SOT 123189954 SOS 80877654 HAS SOPS 65967527 HAS SOUS 21495050 HAS SOUPS 20934772 WITH SCORE 2.1015649654E7
AT ITER 2003 NEW BEST:: SOT 123189377 SOS 80876717 HAS SOPS 65966510 HAS SOUS 21494133 HAS SOUPS 20933867 WITH SCORE 2.1014743717E7
AT ITER 2008 NEW BEST:: SOT 123168763 SOS 80843687 HAS SOPS 65932907 HAS SOUS 21472796 HAS SOUPS 20912530 WITH SCORE 2.0993373687E7
AT ITER 2011 NEW BEST:: SOT 123167842 SOS 80840786 HAS SOPS 65930831 HAS SOUS 21469262 HAS SOUPS 20908996 WITH SCORE 2.0989836786E7
AT ITER 2016 NEW BEST:: SOT 123168600 SOS 80846582 HAS SOPS 65932431 HAS SOUS 21454133 HAS SOUPS 20893926 WITH SCORE 2.0974772582E7
AT ITER 2019 NEW BEST:: SOT 123158731 SOS 80833014 HAS SOPS 65914103 HAS SOUS 21433924 HAS SOUPS 20873717 WITH SCORE 2.0954550014E7
AT ITER 2038 NEW BEST:: SOT 123155017 SOS 80826746 HAS SOPS 65908088 HAS SOUS 21416360 HAS SOUPS 20856174 WITH SCORE 2.0937000746E7
AT ITER 2049 NEW BEST:: SOT 123135969 SOS 80782756 HAS SOPS 65884496 HAS SOUS 21414635 HAS SOUPS 20854561 WITH SCORE 2.0935343756E7
AT ITER 2052 NEW BEST:: SOT 123131864 SOS 80777460 HAS SOPS 65877671 HAS SOUS 21408879 HAS SOUPS 20848805 WITH SCORE 2.092958246E7
AT ITER 2058 NEW BEST:: SOT 123133317 SOS 80781513 HAS SOPS 65883925 HAS SOUS 21402268 HAS SOUPS 20842194 WITH SCORE 2.0922975513E7
AT ITER 2077 NEW BEST:: SOT 123135132 SOS 80787354 HAS SOPS 65888170 HAS SOUS 21399480 HAS SOUPS 20839867 WITH SCORE 2.0920654354E7
AT ITER 2090 NEW BEST:: SOT 123124240 SOS 80771945 HAS SOPS 65876025 HAS SOUS 21373693 HAS SOUPS 20814080 WITH SCORE 2.0894851945E7
AT ITER 2095 NEW BEST:: SOT 123132644 SOS 80776767 HAS SOPS 65885447 HAS SOUS 21357255 HAS SOUPS 20797681 WITH SCORE 2.0878457767E7
AT ITER 2103 NEW BEST:: SOT 123132644 SOS 80785365 HAS SOPS 65902150 HAS SOUS 21357067 HAS SOUPS 20797493 WITH SCORE 2.0878278365E7
AT ITER 2107 NEW BEST:: SOT 123162760 SOS 80838098 HAS SOPS 65955004 HAS SOUS 21356263 HAS SOUPS 20796689 WITH SCORE 2.0877527098E7
AT ITER 2110 NEW BEST:: SOT 123162770 SOS 80838352 HAS SOPS 65955152 HAS SOUS 21355871 HAS SOUPS 20796295 WITH SCORE 2.0877133352E7
AT ITER 2118 NEW BEST:: SOT 123160291 SOS 80850847 HAS SOPS 65956179 HAS SOUS 21332005 HAS SOUPS 20772429 WITH SCORE 2.0853279847E7
AT ITER 2119 NEW BEST:: SOT 123159302 SOS 80849160 HAS SOPS 65952830 HAS SOUS 21328807 HAS SOUPS 20769231 WITH SCORE 2.085008016E7
AT ITER 2124 NEW BEST:: SOT 123151497 SOS 80836184 HAS SOPS 65935751 HAS SOUS 21310261 HAS SOUPS 20750743 WITH SCORE 2.0831579184E7
AT ITER 2147 NEW BEST:: SOT 123143675 SOS 80833746 HAS SOPS 65932795 HAS SOUS 21305142 HAS SOUPS 20745435 WITH SCORE 2.0826268746E7
AT ITER 2153 NEW BEST:: SOT 123122146 SOS 80787244 HAS SOPS 65899978 HAS SOUS 21282407 HAS SOUPS 20722848 WITH SCORE 2.0803635244E7
AT ITER 2181 NEW BEST:: SOT 123121769 SOS 80793411 HAS SOPS 65909421 HAS SOUS 21273941 HAS SOUPS 20714253 WITH SCORE 2.0795046411E7
AT ITER 2212 NEW BEST:: SOT 123143095 SOS 80761254 HAS SOPS 65885420 HAS SOUS 21264093 HAS SOUPS 20704764 WITH SCORE 2.0785525254E7
AT ITER 2219 NEW BEST:: SOT 123147133 SOS 80775497 HAS SOPS 65891556 HAS SOUS 21244833 HAS SOUPS 20685504 WITH SCORE 2.0766279497E7
AT ITER 2221 NEW BEST:: SOT 123147116 SOS 80779000 HAS SOPS 65895537 HAS SOUS 21244811 HAS SOUPS 20685482 WITH SCORE 2.0766261E7
AT ITER 2229 NEW BEST:: SOT 123143911 SOS 80776921 HAS SOPS 65898586 HAS SOUS 21237242 HAS SOUPS 20677959 WITH SCORE 2.0758735921E7
AT ITER 2230 NEW BEST:: SOT 123138813 SOS 80773968 HAS SOPS 65883799 HAS SOUS 21200695 HAS SOUPS 20636035 WITH SCORE 2.0716808968E7
AT ITER 2232 NEW BEST:: SOT 123137720 SOS 80772665 HAS SOPS 65882583 HAS SOUS 21197916 HAS SOUPS 20633256 WITH SCORE 2.0714028665E7
AT ITER 2233 NEW BEST:: SOT 123132347 SOS 80809435 HAS SOPS 65916929 HAS SOUS 21195827 HAS SOUPS 20631167 WITH SCORE 2.0711976435E7
AT ITER 2238 NEW BEST:: SOT 123132357 SOS 80802618 HAS SOPS 65914617 HAS SOUS 21195788 HAS SOUPS 20631128 WITH SCORE 2.0711930618E7
AT ITER 2257 NEW BEST:: SOT 123119823 SOS 80786620 HAS SOPS 65903310 HAS SOUS 21169593 HAS SOUPS 20605457 WITH SCORE 2.068624362E7
AT ITER 2263 NEW BEST:: SOT 123117834 SOS 80784348 HAS SOPS 65901230 HAS SOUS 21165538 HAS SOUPS 20601402 WITH SCORE 2.0682186348E7
AT ITER 2264 NEW BEST:: SOT 123108114 SOS 80765234 HAS SOPS 65875975 HAS SOUS 21140611 HAS SOUPS 20576757 WITH SCORE 2.0657522234E7
AT ITER 2267 NEW BEST:: SOT 123108114 SOS 80770121 HAS SOPS 65882154 HAS SOUS 21140285 HAS SOUPS 20576431 WITH SCORE 2.0657201121E7
AT ITER 2269 NEW BEST:: SOT 123112958 SOS 80779897 HAS SOPS 65888766 HAS SOUS 21134755 HAS SOUPS 20570901 WITH SCORE 2.0651680897E7
AT ITER 2270 NEW BEST:: SOT 123086822 SOS 80724512 HAS SOPS 65861015 HAS SOUS 21129624 HAS SOUPS 20565770 WITH SCORE 2.0646494512E7
AT ITER 2272 NEW BEST:: SOT 123083715 SOS 80718980 HAS SOPS 65855764 HAS SOUS 21126296 HAS SOUPS 20562442 WITH SCORE 2.064316098E7
AT ITER 2283 NEW BEST:: SOT 123064961 SOS 80699394 HAS SOPS 65822687 HAS SOUS 21085733 HAS SOUPS 20521879 WITH SCORE 2.0602578394E7
AT ITER 2297 NEW BEST:: SOT 123083764 SOS 80713756 HAS SOPS 65837300 HAS SOUS 21085472 HAS SOUPS 20521722 WITH SCORE 2.0602435756E7
AT ITER 2302 NEW BEST:: SOT 123082613 SOS 80710109 HAS SOPS 65833796 HAS SOUS 21084675 HAS SOUPS 20520925 WITH SCORE 2.0601635109E7
AT ITER 2325 NEW BEST:: SOT 123068257 SOS 80683430 HAS SOPS 65817601 HAS SOUS 21066504 HAS SOUPS 20502754 WITH SCORE 2.058343743E7
AT ITER 2363 NEW BEST:: SOT 123082200 SOS 80708630 HAS SOPS 65847313 HAS SOUS 21038195 HAS SOUPS 20474779 WITH SCORE 2.055548763E7
AT ITER 2371 NEW BEST:: SOT 123049013 SOS 80661169 HAS SOPS 65809862 HAS SOUS 21002182 HAS SOUPS 20438766 WITH SCORE 2.0519427169E7
AT ITER 2373 NEW BEST:: SOT 123046702 SOS 80652013 HAS SOPS 65804435 HAS SOUS 20999825 HAS SOUPS 20436409 WITH SCORE 2.0517061013E7
AT ITER 2380 NEW BEST:: SOT 123038193 SOS 80643382 HAS SOPS 65794994 HAS SOUS 20989820 HAS SOUPS 20426404 WITH SCORE 2.0507047382E7
AT ITER 2397 NEW BEST:: SOT 123039170 SOS 80641131 HAS SOPS 65796200 HAS SOUS 20974635 HAS SOUPS 20411844 WITH SCORE 2.0492485131E7

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"

# 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-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 r138-smll-158961502400152"
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 ;