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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 4.1K Apr 12 07:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 12 07:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K Apr 11 08:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 11 08:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K 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.1K Apr 10 14:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 9 21:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 21:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:27 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)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-5-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589766717776

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 5
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 11 NEW BEST:: SOT 123446583 SOS 80248793 HAS SOPS 65227342 HAS SOUS 24077652 HAS SOUPS 23504878 WITH SCORE 2.3585126793E7
AT ITER 30 NEW BEST:: SOT 123456168 SOS 80273650 HAS SOPS 65255916 HAS SOUS 24063716 HAS SOUPS 23490942 WITH SCORE 2.357121565E7
AT ITER 41 NEW BEST:: SOT 123450672 SOS 80268333 HAS SOPS 65253343 HAS SOUS 24063555 HAS SOUPS 23490781 WITH SCORE 2.3571049333E7
AT ITER 80 NEW BEST:: SOT 123442159 SOS 80255193 HAS SOPS 65244725 HAS SOUS 24050955 HAS SOUPS 23478181 WITH SCORE 2.3558436193E7
AT ITER 93 NEW BEST:: SOT 123451532 SOS 80293569 HAS SOPS 65269719 HAS SOUS 24021045 HAS SOUPS 23448271 WITH SCORE 2.3528564569E7
AT ITER 95 NEW BEST:: SOT 123451528 SOS 80284646 HAS SOPS 65273752 HAS SOUS 24016016 HAS SOUPS 23443242 WITH SCORE 2.3523526646E7
AT ITER 100 NEW BEST:: SOT 123451766 SOS 80286227 HAS SOPS 65273765 HAS SOUS 24014827 HAS SOUPS 23442039 WITH SCORE 2.3522325227E7
AT ITER 105 NEW BEST:: SOT 123452790 SOS 80275066 HAS SOPS 65286587 HAS SOUS 24012748 HAS SOUPS 23440044 WITH SCORE 2.3520319066E7
AT ITER 111 NEW BEST:: SOT 123453216 SOS 80276071 HAS SOPS 65287346 HAS SOUS 24012113 HAS SOUPS 23439409 WITH SCORE 2.3519685071E7
AT ITER 123 NEW BEST:: SOT 123453269 SOS 80282184 HAS SOPS 65305776 HAS SOUS 24011720 HAS SOUPS 23439016 WITH SCORE 2.3519298184E7
AT ITER 127 NEW BEST:: SOT 123428814 SOS 80257851 HAS SOPS 65281296 HAS SOUS 23986528 HAS SOUPS 23413824 WITH SCORE 2.3494081851E7
AT ITER 131 NEW BEST:: SOT 123415052 SOS 80235933 HAS SOPS 65259357 HAS SOUS 23973158 HAS SOUPS 23400454 WITH SCORE 2.3480689933E7
AT ITER 137 NEW BEST:: SOT 123446076 SOS 80332515 HAS SOPS 65321482 HAS SOUS 23930221 HAS SOUPS 23357517 WITH SCORE 2.3437849515E7
AT ITER 155 NEW BEST:: SOT 123434424 SOS 80358475 HAS SOPS 65377130 HAS SOUS 23924780 HAS SOUPS 23352076 WITH SCORE 2.3432434475E7
AT ITER 165 NEW BEST:: SOT 123437018 SOS 80375568 HAS SOPS 65382382 HAS SOUS 23909591 HAS SOUPS 23336887 WITH SCORE 2.3417262568E7
AT ITER 168 NEW BEST:: SOT 123436586 SOS 80381253 HAS SOPS 65382687 HAS SOUS 23901819 HAS SOUPS 23329106 WITH SCORE 2.3409487253E7
AT ITER 191 NEW BEST:: SOT 123454955 SOS 80437713 HAS SOPS 65434719 HAS SOUS 23891482 HAS SOUPS 23318769 WITH SCORE 2.3399206713E7
AT ITER 198 NEW BEST:: SOT 123484930 SOS 80499556 HAS SOPS 65489266 HAS SOUS 23887453 HAS SOUPS 23314740 WITH SCORE 2.3395239556E7
AT ITER 219 NEW BEST:: SOT 123428990 SOS 80443697 HAS SOPS 65433375 HAS SOUS 23831574 HAS SOUPS 23258849 WITH SCORE 2.3339292697E7
AT ITER 221 NEW BEST:: SOT 123426532 SOS 80441239 HAS SOPS 65430157 HAS SOUS 23830284 HAS SOUPS 23257559 WITH SCORE 2.3338000239E7
AT ITER 225 NEW BEST:: SOT 123426532 SOS 80459631 HAS SOPS 65453733 HAS SOUS 23830208 HAS SOUPS 23257483 WITH SCORE 2.3337942631E7
AT ITER 227 NEW BEST:: SOT 123424825 SOS 80447072 HAS SOPS 65454416 HAS SOUS 23829752 HAS SOUPS 23257027 WITH SCORE 2.3337474072E7
AT ITER 254 NEW BEST:: SOT 123412636 SOS 80420571 HAS SOPS 65429653 HAS SOUS 23821436 HAS SOUPS 23248711 WITH SCORE 2.3329131571E7
AT ITER 262 NEW BEST:: SOT 123369784 SOS 80377749 HAS SOPS 65386319 HAS SOUS 23776662 HAS SOUPS 23203937 WITH SCORE 2.3284314749E7
AT ITER 269 NEW BEST:: SOT 123368309 SOS 80376169 HAS SOPS 65384529 HAS SOUS 23773829 HAS SOUPS 23201111 WITH SCORE 2.3281487169E7
AT ITER 274 NEW BEST:: SOT 123366171 SOS 80372608 HAS SOPS 65390533 HAS SOUS 23767705 HAS SOUPS 23195252 WITH SCORE 2.3275624608E7
AT ITER 275 NEW BEST:: SOT 123361059 SOS 80367502 HAS SOPS 65385499 HAS SOUS 23757769 HAS SOUPS 23185316 WITH SCORE 2.3265683502E7
AT ITER 284 NEW BEST:: SOT 123329766 SOS 80335964 HAS SOPS 65353650 HAS SOUS 23722587 HAS SOUPS 23149977 WITH SCORE 2.3230312964E7
AT ITER 299 NEW BEST:: SOT 123325800 SOS 80330798 HAS SOPS 65347585 HAS SOUS 23715883 HAS SOUPS 23143304 WITH SCORE 2.3223634798E7
AT ITER 310 NEW BEST:: SOT 123310900 SOS 80305798 HAS SOPS 65318801 HAS SOUS 23691988 HAS SOUPS 23119409 WITH SCORE 2.3199714798E7
AT ITER 322 NEW BEST:: SOT 123287336 SOS 80274395 HAS SOPS 65290951 HAS SOUS 23669557 HAS SOUPS 23097075 WITH SCORE 2.3177349395E7
AT ITER 326 NEW BEST:: SOT 123292959 SOS 80294538 HAS SOPS 65310916 HAS SOUS 23667827 HAS SOUPS 23095345 WITH SCORE 2.3175639538E7
AT ITER 333 NEW BEST:: SOT 123284961 SOS 80276059 HAS SOPS 65298687 HAS SOUS 23666816 HAS SOUPS 23094334 WITH SCORE 2.3174610059E7
AT ITER 371 NEW BEST:: SOT 123330217 SOS 80349088 HAS SOPS 65384290 HAS SOUS 23653576 HAS SOUPS 23081094 WITH SCORE 2.3161443088E7
AT ITER 373 NEW BEST:: SOT 123334317 SOS 80353280 HAS SOPS 65407127 HAS SOUS 23639488 HAS SOUPS 23067006 WITH SCORE 2.314735928E7
AT ITER 380 NEW BEST:: SOT 123332180 SOS 80353975 HAS SOPS 65416210 HAS SOUS 23637603 HAS SOUPS 23065250 WITH SCORE 2.3145603975E7
AT ITER 418 NEW BEST:: SOT 123332152 SOS 80353947 HAS SOPS 65416214 HAS SOUS 23637543 HAS SOUPS 23065190 WITH SCORE 2.3145543947E7
AT ITER 430 NEW BEST:: SOT 123335133 SOS 80361106 HAS SOPS 65423872 HAS SOUS 23631429 HAS SOUPS 23059076 WITH SCORE 2.3139437106E7
AT ITER 437 NEW BEST:: SOT 123335515 SOS 80366665 HAS SOPS 65425587 HAS SOUS 23631180 HAS SOUPS 23058827 WITH SCORE 2.3139193665E7
AT ITER 440 NEW BEST:: SOT 123327400 SOS 80387354 HAS SOPS 65506502 HAS SOUS 23630216 HAS SOUPS 23057863 WITH SCORE 2.3138250354E7
AT ITER 460 NEW BEST:: SOT 123322421 SOS 80381617 HAS SOPS 65505643 HAS SOUS 23622329 HAS SOUPS 23050070 WITH SCORE 2.3130451617E7
AT ITER 474 NEW BEST:: SOT 123322131 SOS 80379325 HAS SOPS 65502726 HAS SOUS 23619759 HAS SOUPS 23047500 WITH SCORE 2.3127879325E7
AT ITER 487 NEW BEST:: SOT 123332447 SOS 80400718 HAS SOPS 65524873 HAS SOUS 23618258 HAS SOUPS 23045999 WITH SCORE 2.3126399718E7
AT ITER 493 NEW BEST:: SOT 123329035 SOS 80404891 HAS SOPS 65544715 HAS SOUS 23595849 HAS SOUPS 23023590 WITH SCORE 2.3103994891E7
AT ITER 506 NEW BEST:: SOT 123310029 SOS 80390311 HAS SOPS 65536538 HAS SOUS 23551868 HAS SOUPS 22979609 WITH SCORE 2.3059999311E7
AT ITER 509 NEW BEST:: SOT 123309724 SOS 80389879 HAS SOPS 65535931 HAS SOUS 23551505 HAS SOUPS 22979251 WITH SCORE 2.3059640879E7
AT ITER 510 NEW BEST:: SOT 123299545 SOS 80365421 HAS SOPS 65517739 HAS SOUS 23542243 HAS SOUPS 22970181 WITH SCORE 2.3050546421E7
AT ITER 532 NEW BEST:: SOT 123298310 SOS 80364136 HAS SOPS 65515882 HAS SOUS 23538911 HAS SOUPS 22966875 WITH SCORE 2.3047239136E7
AT ITER 536 NEW BEST:: SOT 123297853 SOS 80363678 HAS SOPS 65515263 HAS SOUS 23537166 HAS SOUPS 22965130 WITH SCORE 2.3045493678E7
AT ITER 539 NEW BEST:: SOT 123298245 SOS 80365467 HAS SOPS 65514532 HAS SOUS 23533258 HAS SOUPS 22961222 WITH SCORE 2.3041587467E7
AT ITER 540 NEW BEST:: SOT 123277683 SOS 80344775 HAS SOPS 65492923 HAS SOUS 23479729 HAS SOUPS 22907715 WITH SCORE 2.2988059775E7
AT ITER 542 NEW BEST:: SOT 123272231 SOS 80333295 HAS SOPS 65484437 HAS SOUS 23471085 HAS SOUPS 22899071 WITH SCORE 2.2979404295E7
AT ITER 543 NEW BEST:: SOT 123273930 SOS 80336902 HAS SOPS 65486872 HAS SOUS 23466809 HAS SOUPS 22895270 WITH SCORE 2.2975606902E7
AT ITER 552 NEW BEST:: SOT 123274040 SOS 80337568 HAS SOPS 65487205 HAS SOUS 23466287 HAS SOUPS 22894748 WITH SCORE 2.2975085568E7
AT ITER 566 NEW BEST:: SOT 123273812 SOS 80342805 HAS SOPS 65486260 HAS SOUS 23443167 HAS SOUPS 22871628 WITH SCORE 2.2951970805E7
AT ITER 570 NEW BEST:: SOT 123290226 SOS 80411538 HAS SOPS 65551937 HAS SOUS 23434841 HAS SOUPS 22863302 WITH SCORE 2.2943713538E7
AT ITER 579 NEW BEST:: SOT 123266382 SOS 80366250 HAS SOPS 65519905 HAS SOUS 23413905 HAS SOUPS 22842611 WITH SCORE 2.292297725E7
AT ITER 591 NEW BEST:: SOT 123267378 SOS 80385356 HAS SOPS 65538248 HAS SOUS 23412152 HAS SOUPS 22840858 WITH SCORE 2.2921243356E7
AT ITER 592 NEW BEST:: SOT 123242663 SOS 80347552 HAS SOPS 65515990 HAS SOUS 23403534 HAS SOUPS 22832234 WITH SCORE 2.2912581552E7
AT ITER 601 NEW BEST:: SOT 123241626 SOS 80346349 HAS SOPS 65514433 HAS SOUS 23397641 HAS SOUPS 22826525 WITH SCORE 2.2906871349E7
AT ITER 602 NEW BEST:: SOT 123249393 SOS 80364146 HAS SOPS 65543827 HAS SOUS 23389165 HAS SOUPS 22818049 WITH SCORE 2.2898413146E7
AT ITER 612 NEW BEST:: SOT 123189599 SOS 80265288 HAS SOPS 65437766 HAS SOUS 23363627 HAS SOUPS 22791353 WITH SCORE 2.2871618288E7
AT ITER 615 NEW BEST:: SOT 123188587 SOS 80264682 HAS SOPS 65436976 HAS SOUS 23362810 HAS SOUPS 22790536 WITH SCORE 2.2870800682E7
AT ITER 617 NEW BEST:: SOT 123188678 SOS 80266149 HAS SOPS 65441168 HAS SOUS 23358878 HAS SOUPS 22786604 WITH SCORE 2.2866870149E7
AT ITER 624 NEW BEST:: SOT 123189374 SOS 80268729 HAS SOPS 65439899 HAS SOUS 23351625 HAS SOUPS 22779351 WITH SCORE 2.2859619729E7
AT ITER 630 NEW BEST:: SOT 123190320 SOS 80276195 HAS SOPS 65443925 HAS SOUS 23346591 HAS SOUPS 22774317 WITH SCORE 2.2854593195E7
AT ITER 636 NEW BEST:: SOT 123183423 SOS 80268392 HAS SOPS 65433003 HAS SOUS 23333240 HAS SOUPS 22760966 WITH SCORE 2.2841234392E7
AT ITER 661 NEW BEST:: SOT 123169887 SOS 80256486 HAS SOPS 65414940 HAS SOUS 23288654 HAS SOUPS 22716380 WITH SCORE 2.2796636486E7
AT ITER 673 NEW BEST:: SOT 123205329 SOS 80326406 HAS SOPS 65480388 HAS SOUS 23282628 HAS SOUPS 22710302 WITH SCORE 2.2790628406E7
AT ITER 690 NEW BEST:: SOT 123203651 SOS 80322260 HAS SOPS 65477566 HAS SOUS 23281735 HAS SOUPS 22709516 WITH SCORE 2.278983826E7
AT ITER 695 NEW BEST:: SOT 123202164 SOS 80317335 HAS SOPS 65488787 HAS SOUS 23280326 HAS SOUPS 22708273 WITH SCORE 2.2788590335E7
AT ITER 698 NEW BEST:: SOT 123189420 SOS 80296866 HAS SOPS 65470650 HAS SOUS 23266394 HAS SOUPS 22694430 WITH SCORE 2.2774726866E7
AT ITER 712 NEW BEST:: SOT 123187890 SOS 80292545 HAS SOPS 65467770 HAS SOUS 23266323 HAS SOUPS 22694359 WITH SCORE 2.2774651545E7
AT ITER 719 NEW BEST:: SOT 123185626 SOS 80290465 HAS SOPS 65465423 HAS SOUS 23260275 HAS SOUPS 22688311 WITH SCORE 2.2768601465E7
AT ITER 736 NEW BEST:: SOT 123190213 SOS 80299548 HAS SOPS 65477282 HAS SOUS 23259624 HAS SOUPS 22687739 WITH SCORE 2.2768038548E7
AT ITER 746 NEW BEST:: SOT 123190172 SOS 80307750 HAS SOPS 65495299 HAS SOUS 23259223 HAS SOUPS 22687338 WITH SCORE 2.276764575E7
AT ITER 753 NEW BEST:: SOT 123190172 SOS 80309555 HAS SOPS 65496672 HAS SOUS 23259087 HAS SOUPS 22687202 WITH SCORE 2.2767511555E7
AT ITER 760 NEW BEST:: SOT 123204130 SOS 80320293 HAS SOPS 65510900 HAS SOUS 23255189 HAS SOUPS 22683304 WITH SCORE 2.2763624293E7
AT ITER 767 NEW BEST:: SOT 123198639 SOS 80314802 HAS SOPS 65505409 HAS SOUS 23246498 HAS SOUPS 22674613 WITH SCORE 2.2754927802E7
AT ITER 781 NEW BEST:: SOT 123198926 SOS 80311866 HAS SOPS 65502614 HAS SOUS 23243768 HAS SOUPS 22671883 WITH SCORE 2.2752194866E7
AT ITER 810 NEW BEST:: SOT 123198013 SOS 80297222 HAS SOPS 65490088 HAS SOUS 23243372 HAS SOUPS 22671487 WITH SCORE 2.2751784222E7
AT ITER 822 NEW BEST:: SOT 123236073 SOS 80346548 HAS SOPS 65553899 HAS SOUS 23226998 HAS SOUPS 22654981 WITH SCORE 2.2735327548E7
AT ITER 827 NEW BEST:: SOT 123228707 SOS 80334647 HAS SOPS 65542218 HAS SOUS 23216847 HAS SOUPS 22644830 WITH SCORE 2.2725164647E7
AT ITER 836 NEW BEST:: SOT 123228160 SOS 80317300 HAS SOPS 65534087 HAS SOUS 23216644 HAS SOUPS 22644627 WITH SCORE 2.27249443E7
AT ITER 838 NEW BEST:: SOT 123281552 SOS 80438831 HAS SOPS 65656661 HAS SOUS 23168577 HAS SOUPS 22596560 WITH SCORE 2.2676998831E7
AT ITER 848 NEW BEST:: SOT 123207004 SOS 80361648 HAS SOPS 65576128 HAS SOUS 23081582 HAS SOUPS 22508862 WITH SCORE 2.2589223648E7
AT ITER 861 NEW BEST:: SOT 123209651 SOS 80337323 HAS SOPS 65570159 HAS SOUS 23075744 HAS SOUPS 22506623 WITH SCORE 2.2586960323E7
AT ITER 868 NEW BEST:: SOT 123195397 SOS 80322547 HAS SOPS 65550129 HAS SOUS 23041525 HAS SOUPS 22472404 WITH SCORE 2.2552726547E7
AT ITER 872 NEW BEST:: SOT 123208415 SOS 80347811 HAS SOPS 65576854 HAS SOUS 23033552 HAS SOUPS 22464431 WITH SCORE 2.2544778811E7
AT ITER 913 NEW BEST:: SOT 123208453 SOS 80356201 HAS SOPS 65591202 HAS SOUS 23033521 HAS SOUPS 22464400 WITH SCORE 2.2544756201E7
AT ITER 914 NEW BEST:: SOT 123203496 SOS 80351952 HAS SOPS 65584888 HAS SOUS 23021200 HAS SOUPS 22452020 WITH SCORE 2.2532371952E7
AT ITER 920 NEW BEST:: SOT 123195844 SOS 80348816 HAS SOPS 65573096 HAS SOUS 22954160 HAS SOUPS 22384986 WITH SCORE 2.2465334816E7
AT ITER 923 NEW BEST:: SOT 123161989 SOS 80302989 HAS SOPS 65535863 HAS SOUS 22942269 HAS SOUPS 22373095 WITH SCORE 2.2453397989E7
AT ITER 928 NEW BEST:: SOT 123161989 SOS 80304269 HAS SOPS 65537143 HAS SOUS 22942077 HAS SOUPS 22372903 WITH SCORE 2.2453207269E7
AT ITER 956 NEW BEST:: SOT 123168637 SOS 80315392 HAS SOPS 65559091 HAS SOUS 22926816 HAS SOUPS 22357808 WITH SCORE 2.2438123392E7
AT ITER 958 NEW BEST:: SOT 123168029 SOS 80312795 HAS SOPS 65558994 HAS SOUS 22926444 HAS SOUPS 22357486 WITH SCORE 2.2437798795E7
AT ITER 962 NEW BEST:: SOT 123168381 SOS 80311771 HAS SOPS 65553962 HAS SOUS 22924384 HAS SOUPS 22355426 WITH SCORE 2.2435737771E7
AT ITER 969 NEW BEST:: SOT 123165775 SOS 80306773 HAS SOPS 65552816 HAS SOUS 22922609 HAS SOUPS 22353651 WITH SCORE 2.2433957773E7
AT ITER 975 NEW BEST:: SOT 123161479 SOS 80299553 HAS SOPS 65548012 HAS SOUS 22916191 HAS SOUPS 22347233 WITH SCORE 2.2427532553E7
AT ITER 989 NEW BEST:: SOT 123153482 SOS 80290552 HAS SOPS 65536704 HAS SOUS 22900443 HAS SOUPS 22331434 WITH SCORE 2.2411724552E7
AT ITER 997 NEW BEST:: SOT 123164086 SOS 80322086 HAS SOPS 65579248 HAS SOUS 22885547 HAS SOUPS 22316538 WITH SCORE 2.2396860086E7
AT ITER 1023 NEW BEST:: SOT 123164344 SOS 80340327 HAS SOPS 65598735 HAS SOUS 22884613 HAS SOUPS 22315604 WITH SCORE 2.2395944327E7
AT ITER 1040 NEW BEST:: SOT 123143799 SOS 80322870 HAS SOPS 65578762 HAS SOUS 22845829 HAS SOUPS 22276545 WITH SCORE 2.235686787E7
AT ITER 1046 NEW BEST:: SOT 123144703 SOS 80325877 HAS SOPS 65579733 HAS SOUS 22842398 HAS SOUPS 22273114 WITH SCORE 2.2353439877E7
AT ITER 1053 NEW BEST:: SOT 123144761 SOS 80326794 HAS SOPS 65579335 HAS SOUS 22841549 HAS SOUPS 22272245 WITH SCORE 2.2352571794E7
AT ITER 1058 NEW BEST:: SOT 123141176 SOS 80322788 HAS SOPS 65575513 HAS SOUS 22834836 HAS SOUPS 22265532 WITH SCORE 2.2345854788E7
AT ITER 1059 NEW BEST:: SOT 123120250 SOS 80298872 HAS SOPS 65552387 HAS SOUS 22782365 HAS SOUPS 22212938 WITH SCORE 2.2293236872E7
AT ITER 1075 NEW BEST:: SOT 123120318 SOS 80313912 HAS SOPS 65571795 HAS SOUS 22782036 HAS SOUPS 22212609 WITH SCORE 2.2292922912E7
AT ITER 1093 NEW BEST:: SOT 123116796 SOS 80294513 HAS SOPS 65558891 HAS SOUS 22781628 HAS SOUPS 22212409 WITH SCORE 2.2292703513E7
AT ITER 1094 NEW BEST:: SOT 123111661 SOS 80287050 HAS SOPS 65554401 HAS SOUS 22777134 HAS SOUPS 22207915 WITH SCORE 2.228820205E7
AT ITER 1111 NEW BEST:: SOT 123111661 SOS 80287050 HAS SOPS 65554401 HAS SOUS 22777126 HAS SOUPS 22207907 WITH SCORE 2.228819405E7
AT ITER 1115 NEW BEST:: SOT 123108525 SOS 80288826 HAS SOPS 65552426 HAS SOUS 22766735 HAS SOUPS 22197433 WITH SCORE 2.2277721826E7
AT ITER 1127 NEW BEST:: SOT 123114467 SOS 80309208 HAS SOPS 65566308 HAS SOUS 22762920 HAS SOUPS 22193618 WITH SCORE 2.2273927208E7
AT ITER 1137 NEW BEST:: SOT 123113580 SOS 80308566 HAS SOPS 65565001 HAS SOUS 22761046 HAS SOUPS 22191737 WITH SCORE 2.2272045566E7
AT ITER 1139 NEW BEST:: SOT 123054894 SOS 80236727 HAS SOPS 65496347 HAS SOUS 22693665 HAS SOUPS 22124671 WITH SCORE 2.2204907727E7
AT ITER 1149 NEW BEST:: SOT 123064473 SOS 80243595 HAS SOPS 65509509 HAS SOUS 22692588 HAS SOUPS 22124197 WITH SCORE 2.2204440595E7
AT ITER 1188 NEW BEST:: SOT 123070167 SOS 80260152 HAS SOPS 65523408 HAS SOUS 22665740 HAS SOUPS 22097349 WITH SCORE 2.2177609152E7
AT ITER 1202 NEW BEST:: SOT 123051078 SOS 80196741 HAS SOPS 65484592 HAS SOUS 22661731 HAS SOUPS 22093783 WITH SCORE 2.2173979741E7
AT ITER 1215 NEW BEST:: SOT 123088863 SOS 80290913 HAS SOPS 65569351 HAS SOUS 22627587 HAS SOUPS 22059639 WITH SCORE 2.2139929913E7
AT ITER 1216 NEW BEST:: SOT 123098033 SOS 80301592 HAS SOPS 65593324 HAS SOUS 22621811 HAS SOUPS 22054269 WITH SCORE 2.2134570592E7
AT ITER 1226 NEW BEST:: SOT 123112289 SOS 80339464 HAS SOPS 65609425 HAS SOUS 22584109 HAS SOUPS 22016567 WITH SCORE 2.2096906464E7
AT ITER 1229 NEW BEST:: SOT 123111458 SOS 80338594 HAS SOPS 65608282 HAS SOUS 22582552 HAS SOUPS 22015013 WITH SCORE 2.2095351594E7
AT ITER 1238 NEW BEST:: SOT 123128884 SOS 80388051 HAS SOPS 65652008 HAS SOUS 22574924 HAS SOUPS 22007385 WITH SCORE 2.2087773051E7
AT ITER 1243 NEW BEST:: SOT 123141740 SOS 80408637 HAS SOPS 65673291 HAS SOUS 22570122 HAS SOUPS 22003107 WITH SCORE 2.2083515637E7
AT ITER 1268 NEW BEST:: SOT 123146979 SOS 80432345 HAS SOPS 65688795 HAS SOUS 22550367 HAS SOUPS 21983352 WITH SCORE 2.2063784345E7
AT ITER 1280 NEW BEST:: SOT 123145287 SOS 80430653 HAS SOPS 65686655 HAS SOUS 22549291 HAS SOUPS 21982164 WITH SCORE 2.2062594653E7
AT ITER 1281 NEW BEST:: SOT 123147504 SOS 80437240 HAS SOPS 65695395 HAS SOUS 22540585 HAS SOUPS 21973458 WITH SCORE 2.205389524E7
AT ITER 1311 NEW BEST:: SOT 123150578 SOS 80450176 HAS SOPS 65707579 HAS SOUS 22536773 HAS SOUPS 21969646 WITH SCORE 2.2050096176E7
AT ITER 1327 NEW BEST:: SOT 123149106 SOS 80446595 HAS SOPS 65704173 HAS SOUS 22536596 HAS SOUPS 21969469 WITH SCORE 2.2049915595E7
AT ITER 1330 NEW BEST:: SOT 123152528 SOS 80444033 HAS SOPS 65706908 HAS SOUS 22527347 HAS SOUPS 21960220 WITH SCORE 2.2040664033E7
AT ITER 1334 NEW BEST:: SOT 123167299 SOS 80468344 HAS SOPS 65714472 HAS SOUS 22501442 HAS SOUPS 21934315 WITH SCORE 2.2014783344E7
AT ITER 1346 NEW BEST:: SOT 123167050 SOS 80451046 HAS SOPS 65709295 HAS SOUS 22494903 HAS SOUPS 21928019 WITH SCORE 2.2008470046E7
AT ITER 1356 NEW BEST:: SOT 123173900 SOS 80462365 HAS SOPS 65717430 HAS SOUS 22482511 HAS SOUPS 21915422 WITH SCORE 2.1995884365E7
AT ITER 1362 NEW BEST:: SOT 123168647 SOS 80451760 HAS SOPS 65704609 HAS SOUS 22476224 HAS SOUPS 21909135 WITH SCORE 2.198958676E7
AT ITER 1369 NEW BEST:: SOT 123188508 SOS 80469509 HAS SOPS 65725855 HAS SOUS 22452257 HAS SOUPS 21885516 WITH SCORE 2.1965985509E7
AT ITER 1375 NEW BEST:: SOT 123199508 SOS 80493750 HAS SOPS 65741764 HAS SOUS 22451247 HAS SOUPS 21884506 WITH SCORE 2.196499975E7
AT ITER 1376 NEW BEST:: SOT 123185460 SOS 80479702 HAS SOPS 65727716 HAS SOUS 22422535 HAS SOUPS 21855794 WITH SCORE 2.1936273702E7
AT ITER 1384 NEW BEST:: SOT 123181032 SOS 80473424 HAS SOPS 65722439 HAS SOUS 22417969 HAS SOUPS 21851256 WITH SCORE 2.1931729424E7
AT ITER 1393 NEW BEST:: SOT 123183866 SOS 80481790 HAS SOPS 65726489 HAS SOUS 22414495 HAS SOUPS 21847782 WITH SCORE 2.192826379E7
AT ITER 1402 NEW BEST:: SOT 123172015 SOS 80476695 HAS SOPS 65710570 HAS SOUS 22370940 HAS SOUPS 21804974 WITH SCORE 2.1885450695E7
AT ITER 1409 NEW BEST:: SOT 123176305 SOS 80479626 HAS SOPS 65714590 HAS SOUS 22365053 HAS SOUPS 21799087 WITH SCORE 2.1879566626E7
AT ITER 1415 NEW BEST:: SOT 123169934 SOS 80484975 HAS SOPS 65719676 HAS SOUS 22337009 HAS SOUPS 21771043 WITH SCORE 2.1851527975E7
AT ITER 1417 NEW BEST:: SOT 123180916 SOS 80519817 HAS SOPS 65765857 HAS SOUS 22333835 HAS SOUPS 21767869 WITH SCORE 2.1848388817E7
AT ITER 1451 NEW BEST:: SOT 123180916 SOS 80527688 HAS SOPS 65776080 HAS SOUS 22333669 HAS SOUPS 21767703 WITH SCORE 2.1848230688E7
AT ITER 1452 NEW BEST:: SOT 123161550 SOS 80496089 HAS SOPS 65750942 HAS SOUS 22297167 HAS SOUPS 21731201 WITH SCORE 2.1811697089E7
AT ITER 1458 NEW BEST:: SOT 123161572 SOS 80497331 HAS SOPS 65752222 HAS SOUS 22296225 HAS SOUPS 21730267 WITH SCORE 2.1810764331E7
AT ITER 1465 NEW BEST:: SOT 123162574 SOS 80499497 HAS SOPS 65753670 HAS SOUS 22295778 HAS SOUPS 21729820 WITH SCORE 2.1810319497E7
AT ITER 1468 NEW BEST:: SOT 123203377 SOS 80535349 HAS SOPS 65775244 HAS SOUS 22286079 HAS SOUPS 21720418 WITH SCORE 2.1800953349E7
AT ITER 1491 NEW BEST:: SOT 123195187 SOS 80528337 HAS SOPS 65770060 HAS SOUS 22276049 HAS SOUPS 21710474 WITH SCORE 2.1791002337E7
AT ITER 1493 NEW BEST:: SOT 123193827 SOS 80531515 HAS SOPS 65764854 HAS SOUS 22267278 HAS SOUPS 21701703 WITH SCORE 2.1782234515E7
AT ITER 1502 NEW BEST:: SOT 123193128 SOS 80530763 HAS SOPS 65768866 HAS SOUS 22238458 HAS SOUPS 21673597 WITH SCORE 2.1754127763E7
AT ITER 1503 NEW BEST:: SOT 123192886 SOS 80530441 HAS SOPS 65768484 HAS SOUS 22238005 HAS SOUPS 21673154 WITH SCORE 2.1753684441E7
AT ITER 1529 NEW BEST:: SOT 123192824 SOS 80530367 HAS SOPS 65768355 HAS SOUS 22237833 HAS SOUPS 21672982 WITH SCORE 2.1753512367E7
AT ITER 1555 NEW BEST:: SOT 123188807 SOS 80521783 HAS SOPS 65760478 HAS SOUS 22237601 HAS SOUPS 21672750 WITH SCORE 2.1753271783E7
AT ITER 1557 NEW BEST:: SOT 123192334 SOS 80536285 HAS SOPS 65762341 HAS SOUS 22230410 HAS SOUPS 21665559 WITH SCORE 2.1746095285E7
AT ITER 1578 NEW BEST:: SOT 123172635 SOS 80509289 HAS SOPS 65736312 HAS SOUS 22168773 HAS SOUPS 21604182 WITH SCORE 2.1684691289E7
AT ITER 1579 NEW BEST:: SOT 123151079 SOS 80490607 HAS SOPS 65713188 HAS SOUS 22124741 HAS SOUPS 21560150 WITH SCORE 2.1640640607E7
AT ITER 1589 NEW BEST:: SOT 123149699 SOS 80488676 HAS SOPS 65711422 HAS SOUS 22122562 HAS SOUPS 21557956 WITH SCORE 2.1638444676E7
AT ITER 1602 NEW BEST:: SOT 123142591 SOS 80472236 HAS SOPS 65703979 HAS SOUS 22122409 HAS SOUPS 21557803 WITH SCORE 2.1638275236E7
AT ITER 1626 NEW BEST:: SOT 123129273 SOS 80457355 HAS SOPS 65685888 HAS SOUS 22094691 HAS SOUPS 21530085 WITH SCORE 2.1610542355E7
AT ITER 1641 NEW BEST:: SOT 123127807 SOS 80455684 HAS SOPS 65684387 HAS SOUS 22092680 HAS SOUPS 21528074 WITH SCORE 2.1608529684E7
AT ITER 1644 NEW BEST:: SOT 123119971 SOS 80444351 HAS SOPS 65673159 HAS SOUS 22080391 HAS SOUPS 21515785 WITH SCORE 2.1596229351E7
AT ITER 1661 NEW BEST:: SOT 123119971 SOS 80444372 HAS SOPS 65673116 HAS SOUS 22080389 HAS SOUPS 21515783 WITH SCORE 2.1596227372E7
AT ITER 1674 NEW BEST:: SOT 123102112 SOS 80429605 HAS SOPS 65728275 HAS SOUS 22076400 HAS SOUPS 21512425 WITH SCORE 2.1592854605E7
AT ITER 1690 NEW BEST:: SOT 123081943 SOS 80415292 HAS SOPS 65722713 HAS SOUS 22073193 HAS SOUPS 21509218 WITH SCORE 2.1589633292E7
AT ITER 1698 NEW BEST:: SOT 123080233 SOS 80411930 HAS SOPS 65723558 HAS SOUS 22072343 HAS SOUPS 21508368 WITH SCORE 2.158877993E7
AT ITER 1712 NEW BEST:: SOT 123103692 SOS 80465748 HAS SOPS 65775442 HAS SOUS 22058242 HAS SOUPS 21494267 WITH SCORE 2.1574732748E7
AT ITER 1716 NEW BEST:: SOT 123103692 SOS 80478852 HAS SOPS 65796610 HAS SOUS 22057910 HAS SOUPS 21493935 WITH SCORE 2.1574413852E7
AT ITER 1736 NEW BEST:: SOT 123103226 SOS 80479006 HAS SOPS 65798100 HAS SOUS 22055856 HAS SOUPS 21491881 WITH SCORE 2.1572360006E7
AT ITER 1741 NEW BEST:: SOT 123084118 SOS 80459432 HAS SOPS 65777787 HAS SOUS 22004160 HAS SOUPS 21440059 WITH SCORE 2.1520518432E7
AT ITER 1767 NEW BEST:: SOT 123080103 SOS 80453428 HAS SOPS 65770229 HAS SOUS 21999730 HAS SOUPS 21435629 WITH SCORE 2.1516082428E7
AT ITER 1769 NEW BEST:: SOT 123055084 SOS 80402907 HAS SOPS 65737785 HAS SOUS 21992176 HAS SOUPS 21428535 WITH SCORE 2.1508937907E7
AT ITER 1772 NEW BEST:: SOT 123045050 SOS 80354435 HAS SOPS 65710453 HAS SOUS 21981658 HAS SOUPS 21418017 WITH SCORE 2.1498371435E7
AT ITER 1775 NEW BEST:: SOT 123043862 SOS 80348553 HAS SOPS 65707677 HAS SOUS 21979497 HAS SOUPS 21415911 WITH SCORE 2.1496259553E7
AT ITER 1776 NEW BEST:: SOT 123046008 SOS 80356143 HAS SOPS 65713282 HAS SOUS 21977966 HAS SOUPS 21414380 WITH SCORE 2.1494736143E7
AT ITER 1778 NEW BEST:: SOT 123032528 SOS 80342084 HAS SOPS 65698098 HAS SOUS 21952591 HAS SOUPS 21389035 WITH SCORE 2.1469377084E7
AT ITER 1789 NEW BEST:: SOT 123033992 SOS 80342979 HAS SOPS 65699207 HAS SOUS 21945489 HAS SOUPS 21381933 WITH SCORE 2.1462275979E7
AT ITER 1803 NEW BEST:: SOT 123035548 SOS 80344479 HAS SOPS 65705244 HAS SOUS 21942057 HAS SOUPS 21378501 WITH SCORE 2.1458845479E7
AT ITER 1815 NEW BEST:: SOT 123022227 SOS 80344955 HAS SOPS 65728627 HAS SOUS 21934741 HAS SOUPS 21371185 WITH SCORE 2.1451529955E7
AT ITER 1838 NEW BEST:: SOT 123020613 SOS 80343028 HAS SOPS 65725100 HAS SOUS 21930017 HAS SOUPS 21366377 WITH SCORE 2.1446720028E7
AT ITER 1852 NEW BEST:: SOT 123027034 SOS 80356902 HAS SOPS 65740544 HAS SOUS 21926971 HAS SOUPS 21363331 WITH SCORE 2.1443687902E7
AT ITER 1857 NEW BEST:: SOT 123021808 SOS 80347596 HAS SOPS 65728967 HAS SOUS 21904264 HAS SOUPS 21340624 WITH SCORE 2.1420971596E7
AT ITER 1861 NEW BEST:: SOT 123019534 SOS 80345668 HAS SOPS 65725650 HAS SOUS 21898716 HAS SOUPS 21335060 WITH SCORE 2.1415405668E7
AT ITER 1864 NEW BEST:: SOT 123019563 SOS 80345572 HAS SOPS 65730103 HAS SOUS 21898074 HAS SOUPS 21334418 WITH SCORE 2.1414763572E7
AT ITER 1866 NEW BEST:: SOT 123005468 SOS 80319532 HAS SOPS 65709863 HAS SOUS 21890345 HAS SOUPS 21326689 WITH SCORE 2.1407008532E7
AT ITER 1870 NEW BEST:: SOT 123006290 SOS 80322779 HAS SOPS 65705848 HAS SOUS 21880272 HAS SOUPS 21316616 WITH SCORE 2.1396938779E7
AT ITER 1880 NEW BEST:: SOT 123006220 SOS 80322809 HAS SOPS 65705782 HAS SOUS 21877998 HAS SOUPS 21314342 WITH SCORE 2.1394664809E7
AT ITER 1888 NEW BEST:: SOT 123007907 SOS 80327051 HAS SOPS 65711150 HAS SOUS 21876574 HAS SOUPS 21312815 WITH SCORE 2.1393142051E7
AT ITER 1908 NEW BEST:: SOT 123005421 SOS 80320143 HAS SOPS 65707741 HAS SOUS 21868590 HAS SOUPS 21304860 WITH SCORE 2.1385180143E7
AT ITER 1910 NEW BEST:: SOT 123031829 SOS 80382365 HAS SOPS 65762341 HAS SOUS 21860180 HAS SOUPS 21296450 WITH SCORE 2.1376832365E7
AT ITER 1918 NEW BEST:: SOT 123055707 SOS 80443355 HAS SOPS 65809940 HAS SOUS 21833763 HAS SOUPS 21270463 WITH SCORE 2.1350906355E7
AT ITER 1928 NEW BEST:: SOT 123055359 SOS 80442809 HAS SOPS 65809196 HAS SOUS 21833040 HAS SOUPS 21269740 WITH SCORE 2.1350182809E7
AT ITER 1933 NEW BEST:: SOT 123054115 SOS 80446244 HAS SOPS 65808409 HAS SOUS 21824368 HAS SOUPS 21259580 WITH SCORE 2.1340026244E7
AT ITER 1934 NEW BEST:: SOT 123052575 SOS 80444704 HAS SOPS 65806229 HAS SOUS 21821476 HAS SOUPS 21256640 WITH SCORE 2.1337084704E7
AT ITER 1940 NEW BEST:: SOT 123045393 SOS 80440248 HAS SOPS 65791195 HAS SOUS 21796522 HAS SOUPS 21231583 WITH SCORE 2.1312023248E7
AT ITER 1953 NEW BEST:: SOT 123045390 SOS 80447067 HAS SOPS 65791995 HAS SOUS 21796498 HAS SOUPS 21231559 WITH SCORE 2.1312006067E7
AT ITER 1968 NEW BEST:: SOT 123045390 SOS 80446427 HAS SOPS 65791371 HAS SOUS 21796498 HAS SOUPS 21231559 WITH SCORE 2.1312005427E7
AT ITER 1975 NEW BEST:: SOT 123053499 SOS 80470392 HAS SOPS 65810917 HAS SOUS 21766837 HAS SOUPS 21201898 WITH SCORE 2.1282368392E7
AT ITER 1977 NEW BEST:: SOT 123039591 SOS 80448196 HAS SOPS 65775623 HAS SOUS 21721765 HAS SOUPS 21156826 WITH SCORE 2.1237274196E7
AT ITER 1984 NEW BEST:: SOT 123036252 SOS 80445027 HAS SOPS 65771651 HAS SOUS 21711805 HAS SOUPS 21146866 WITH SCORE 2.1227311027E7
AT ITER 1991 NEW BEST:: SOT 123032935 SOS 80442825 HAS SOPS 65761889 HAS SOUS 21691911 HAS SOUPS 21126929 WITH SCORE 2.1207371825E7
AT ITER 1996 NEW BEST:: SOT 123033706 SOS 80444372 HAS SOPS 65761772 HAS SOUS 21688822 HAS SOUPS 21123864 WITH SCORE 2.1204308372E7
AT ITER 2008 NEW BEST:: SOT 123030373 SOS 80446428 HAS SOPS 65765309 HAS SOUS 21663832 HAS SOUPS 21098992 WITH SCORE 2.1179438428E7
AT ITER 2015 NEW BEST:: SOT 123031495 SOS 80446534 HAS SOPS 65764271 HAS SOUS 21659148 HAS SOUPS 21094352 WITH SCORE 2.1174798534E7
AT ITER 2039 NEW BEST:: SOT 123025811 SOS 80440492 HAS SOPS 65771737 HAS SOUS 21657944 HAS SOUPS 21093148 WITH SCORE 2.1173588492E7
AT ITER 2055 NEW BEST:: SOT 123025387 SOS 80438467 HAS SOPS 65783139 HAS SOUS 21648206 HAS SOUPS 21083575 WITH SCORE 2.1164013467E7
AT ITER 2063 NEW BEST:: SOT 123021179 SOS 80434045 HAS SOPS 65785756 HAS SOUS 21627340 HAS SOUPS 21064149 WITH SCORE 2.1144583045E7
AT ITER 2074 NEW BEST:: SOT 123015857 SOS 80427474 HAS SOPS 65777095 HAS SOUS 21617778 HAS SOUPS 21054587 WITH SCORE 2.1135014474E7
AT ITER 2075 NEW BEST:: SOT 123020802 SOS 80428877 HAS SOPS 65778054 HAS SOUS 21605426 HAS SOUPS 21042235 WITH SCORE 2.1122663877E7
AT ITER 2088 NEW BEST:: SOT 123014829 SOS 80436495 HAS SOPS 65761769 HAS SOUS 21583500 HAS SOUPS 21019989 WITH SCORE 2.1100425495E7
AT ITER 2108 NEW BEST:: SOT 123016648 SOS 80441511 HAS SOPS 65769811 HAS SOUS 21567756 HAS SOUPS 21004245 WITH SCORE 2.1084686511E7
AT ITER 2111 NEW BEST:: SOT 123017655 SOS 80444711 HAS SOPS 65772178 HAS SOUS 21566281 HAS SOUPS 21002770 WITH SCORE 2.1083214711E7
AT ITER 2112 NEW BEST:: SOT 123023872 SOS 80470210 HAS SOPS 65790143 HAS SOUS 21557500 HAS SOUPS 20993989 WITH SCORE 2.107445921E7
AT ITER 2115 NEW BEST:: SOT 123011997 SOS 80458293 HAS SOPS 65777834 HAS SOUS 21543129 HAS SOUPS 20979628 WITH SCORE 2.1060086293E7
AT ITER 2125 NEW BEST:: SOT 122996309 SOS 80443174 HAS SOPS 65760539 HAS SOUS 21528197 HAS SOUPS 20964152 WITH SCORE 2.1044595174E7
AT ITER 2126 NEW BEST:: SOT 122998092 SOS 80451066 HAS SOPS 65769186 HAS SOUS 21523817 HAS SOUPS 20959772 WITH SCORE 2.1040223066E7
AT ITER 2130 NEW BEST:: SOT 122988934 SOS 80442012 HAS SOPS 65759736 HAS SOUS 21512317 HAS SOUPS 20948221 WITH SCORE 2.1028663012E7
AT ITER 2147 NEW BEST:: SOT 123001365 SOS 80469601 HAS SOPS 65798297 HAS SOUS 21507150 HAS SOUPS 20943216 WITH SCORE 2.1023685601E7
AT ITER 2162 NEW BEST:: SOT 123000925 SOS 80469133 HAS SOPS 65797767 HAS SOUS 21506320 HAS SOUPS 20942388 WITH SCORE 2.1022857133E7
AT ITER 2163 NEW BEST:: SOT 122993422 SOS 80460295 HAS SOPS 65777223 HAS SOUS 21458160 HAS SOUPS 20894559 WITH SCORE 2.0975019295E7
AT ITER 2165 NEW BEST:: SOT 123000368 SOS 80468796 HAS SOPS 65783585 HAS SOUS 21456778 HAS SOUPS 20893177 WITH SCORE 2.0973645796E7
AT ITER 2178 NEW BEST:: SOT 122985002 SOS 80422067 HAS SOPS 65769158 HAS SOUS 21441131 HAS SOUPS 20878234 WITH SCORE 2.0958656067E7
AT ITER 2179 NEW BEST:: SOT 122978982 SOS 80415866 HAS SOPS 65765042 HAS SOUS 21427360 HAS SOUPS 20864463 WITH SCORE 2.0944878866E7
AT ITER 2196 NEW BEST:: SOT 122978584 SOS 80415496 HAS SOPS 65764937 HAS SOUS 21426674 HAS SOUPS 20863772 WITH SCORE 2.0944187496E7
AT ITER 2199 NEW BEST:: SOT 122978587 SOS 80436325 HAS SOPS 65790953 HAS SOUS 21426526 HAS SOUPS 20863624 WITH SCORE 2.0944060325E7
AT ITER 2201 NEW BEST:: SOT 122973836 SOS 80428825 HAS SOPS 65790219 HAS SOUS 21399094 HAS SOUPS 20836192 WITH SCORE 2.0916620825E7
AT ITER 2202 NEW BEST:: SOT 122970263 SOS 80426903 HAS SOPS 65785317 HAS SOUS 21390483 HAS SOUPS 20827558 WITH SCORE 2.0907984903E7
AT ITER 2204 NEW BEST:: SOT 122970021 SOS 80426745 HAS SOPS 65784763 HAS SOUS 21389575 HAS SOUPS 20826650 WITH SCORE 2.0907076745E7
AT ITER 2223 NEW BEST:: SOT 122946726 SOS 80397812 HAS SOPS 65742565 HAS SOUS 21368482 HAS SOUPS 20805602 WITH SCORE 2.0885999812E7
AT ITER 2235 NEW BEST:: SOT 122935643 SOS 80386286 HAS SOPS 65728199 HAS SOUS 21349469 HAS SOUPS 20786061 WITH SCORE 2.0866447286E7
AT ITER 2242 NEW BEST:: SOT 122931317 SOS 80382125 HAS SOPS 65723958 HAS SOUS 21339417 HAS SOUPS 20775960 WITH SCORE 2.0856342125E7
AT ITER 2248 NEW BEST:: SOT 122930488 SOS 80381293 HAS SOPS 65723448 HAS SOUS 21337526 HAS SOUPS 20774201 WITH SCORE 2.0854582293E7

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-5"
export BK_EXAMINATION="CTLCardinality"
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-5, examination is CTLCardinality"
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-158961502500179"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-5.tgz
mv RERS17pb115-PT-5 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;