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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.0K Apr 12 07:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 07:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:40 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.4K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 21:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 21:06 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: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-4-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-4-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589759440359

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 4
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 1 NEW BEST:: SOT 123438866 SOS 80235543 HAS SOPS 65208477 HAS SOUS 24061481 HAS SOUPS 23487808 WITH SCORE 2.3568043543E7
AT ITER 27 NEW BEST:: SOT 123434439 SOS 80247870 HAS SOPS 65208863 HAS SOUS 24061014 HAS SOUPS 23487307 WITH SCORE 2.356755487E7
AT ITER 33 NEW BEST:: SOT 123433776 SOS 80246700 HAS SOPS 65208642 HAS SOUS 24060478 HAS SOUPS 23486771 WITH SCORE 2.35670177E7
AT ITER 43 NEW BEST:: SOT 123433803 SOS 80258697 HAS SOPS 65222460 HAS SOUS 24060253 HAS SOUPS 23486546 WITH SCORE 2.3566804697E7
AT ITER 56 NEW BEST:: SOT 123435373 SOS 80269490 HAS SOPS 65231651 HAS SOUS 24055547 HAS SOUPS 23481852 WITH SCORE 2.356212149E7
AT ITER 67 NEW BEST:: SOT 123471606 SOS 80355372 HAS SOPS 65308593 HAS SOUS 24044323 HAS SOUPS 23470628 WITH SCORE 2.3550983372E7
AT ITER 88 NEW BEST:: SOT 123468536 SOS 80352688 HAS SOPS 65304676 HAS SOUS 24038864 HAS SOUPS 23465169 WITH SCORE 2.3545521688E7
AT ITER 98 NEW BEST:: SOT 123464008 SOS 80345428 HAS SOPS 65294742 HAS SOUS 24035217 HAS SOUPS 23461522 WITH SCORE 2.3541867428E7
AT ITER 127 NEW BEST:: SOT 123465861 SOS 80355894 HAS SOPS 65299037 HAS SOUS 24025035 HAS SOUPS 23451340 WITH SCORE 2.3531695894E7
AT ITER 128 NEW BEST:: SOT 123476804 SOS 80380114 HAS SOPS 65339443 HAS SOUS 24022775 HAS SOUPS 23449491 WITH SCORE 2.3529871114E7
AT ITER 138 NEW BEST:: SOT 123476587 SOS 80378469 HAS SOPS 65338614 HAS SOUS 24022658 HAS SOUPS 23449374 WITH SCORE 2.3529752469E7
AT ITER 158 NEW BEST:: SOT 123480638 SOS 80392671 HAS SOPS 65343345 HAS SOUS 24018195 HAS SOUPS 23444911 WITH SCORE 2.3525303671E7
AT ITER 160 NEW BEST:: SOT 123478862 SOS 80390799 HAS SOPS 65342961 HAS SOUS 24008509 HAS SOUPS 23435225 WITH SCORE 2.3515615799E7
AT ITER 168 NEW BEST:: SOT 123468122 SOS 80380059 HAS SOPS 65332189 HAS SOUS 23997753 HAS SOUPS 23424453 WITH SCORE 2.3504833059E7
AT ITER 173 NEW BEST:: SOT 123469015 SOS 80374447 HAS SOPS 65328632 HAS SOUS 23994907 HAS SOUPS 23421607 WITH SCORE 2.3501981447E7
AT ITER 200 NEW BEST:: SOT 123474719 SOS 80390702 HAS SOPS 65341735 HAS SOUS 23993509 HAS SOUPS 23420209 WITH SCORE 2.3500599702E7
AT ITER 226 NEW BEST:: SOT 123470132 SOS 80391272 HAS SOPS 65338407 HAS SOUS 23977011 HAS SOUPS 23403711 WITH SCORE 2.3484102272E7
AT ITER 229 NEW BEST:: SOT 123470111 SOS 80391314 HAS SOPS 65338897 HAS SOUS 23976990 HAS SOUPS 23403690 WITH SCORE 2.3484081314E7
AT ITER 244 NEW BEST:: SOT 123469954 SOS 80388048 HAS SOPS 65341339 HAS SOUS 23974007 HAS SOUPS 23400707 WITH SCORE 2.3481095048E7
AT ITER 246 NEW BEST:: SOT 123478047 SOS 80405737 HAS SOPS 65354925 HAS SOUS 23971475 HAS SOUPS 23398175 WITH SCORE 2.3478580737E7
AT ITER 255 NEW BEST:: SOT 123478053 SOS 80416399 HAS SOPS 65368227 HAS SOUS 23971226 HAS SOUPS 23397926 WITH SCORE 2.3478342399E7
AT ITER 266 NEW BEST:: SOT 123469144 SOS 80401784 HAS SOPS 65365655 HAS SOUS 23955550 HAS SOUPS 23382761 WITH SCORE 2.3463162784E7
AT ITER 279 NEW BEST:: SOT 123456431 SOS 80375827 HAS SOPS 65349512 HAS SOUS 23943373 HAS SOUPS 23370820 WITH SCORE 2.3451195827E7
AT ITER 292 NEW BEST:: SOT 123453220 SOS 80372348 HAS SOPS 65344907 HAS SOUS 23936121 HAS SOUPS 23363568 WITH SCORE 2.3443940348E7
AT ITER 295 NEW BEST:: SOT 123453085 SOS 80369159 HAS SOPS 65341718 HAS SOUS 23935938 HAS SOUPS 23363385 WITH SCORE 2.3443754159E7
AT ITER 310 NEW BEST:: SOT 123453492 SOS 80369287 HAS SOPS 65342341 HAS SOUS 23935841 HAS SOUPS 23363307 WITH SCORE 2.3443676287E7
AT ITER 316 NEW BEST:: SOT 123453825 SOS 80372459 HAS SOPS 65351031 HAS SOUS 23923374 HAS SOUPS 23350840 WITH SCORE 2.3431212459E7
AT ITER 319 NEW BEST:: SOT 123417050 SOS 80326772 HAS SOPS 65325036 HAS SOUS 23915571 HAS SOUPS 23343037 WITH SCORE 2.3423363772E7
AT ITER 333 NEW BEST:: SOT 123410423 SOS 80317191 HAS SOPS 65311496 HAS SOUS 23905599 HAS SOUPS 23333065 WITH SCORE 2.3413382191E7
AT ITER 338 NEW BEST:: SOT 123410027 SOS 80316579 HAS SOPS 65310924 HAS SOUS 23905179 HAS SOUPS 23332645 WITH SCORE 2.3412961579E7
AT ITER 352 NEW BEST:: SOT 123410011 SOS 80315731 HAS SOPS 65309772 HAS SOUS 23905149 HAS SOUPS 23332615 WITH SCORE 2.3412930731E7
AT ITER 361 NEW BEST:: SOT 123410011 SOS 80315455 HAS SOPS 65310018 HAS SOUS 23904999 HAS SOUPS 23332465 WITH SCORE 2.3412780455E7
AT ITER 362 NEW BEST:: SOT 123416575 SOS 80349766 HAS SOPS 65335246 HAS SOUS 23885508 HAS SOUPS 23312897 WITH SCORE 2.3393246766E7
AT ITER 368 NEW BEST:: SOT 123405467 SOS 80339479 HAS SOPS 65323370 HAS SOUS 23870002 HAS SOUPS 23297252 WITH SCORE 2.3377591479E7
AT ITER 373 NEW BEST:: SOT 123405093 SOS 80339105 HAS SOPS 65322964 HAS SOUS 23869526 HAS SOUPS 23296776 WITH SCORE 2.3377115105E7
AT ITER 376 NEW BEST:: SOT 123406282 SOS 80344347 HAS SOPS 65329722 HAS SOUS 23853845 HAS SOUPS 23281095 WITH SCORE 2.3361439347E7
AT ITER 391 NEW BEST:: SOT 123386987 SOS 80302549 HAS SOPS 65296438 HAS SOUS 23840126 HAS SOUPS 23267376 WITH SCORE 2.3347678549E7
AT ITER 392 NEW BEST:: SOT 123386637 SOS 80302199 HAS SOPS 65296184 HAS SOUS 23839728 HAS SOUPS 23267026 WITH SCORE 2.3347328199E7
AT ITER 394 NEW BEST:: SOT 123373555 SOS 80282076 HAS SOPS 65277797 HAS SOUS 23824480 HAS SOUPS 23251653 WITH SCORE 2.3331935076E7
AT ITER 400 NEW BEST:: SOT 123369603 SOS 80276945 HAS SOPS 65281819 HAS SOUS 23823194 HAS SOUPS 23250104 WITH SCORE 2.3330380945E7
AT ITER 402 NEW BEST:: SOT 123369603 SOS 80283553 HAS SOPS 65290411 HAS SOUS 23823115 HAS SOUPS 23250025 WITH SCORE 2.3330308553E7
AT ITER 407 NEW BEST:: SOT 123360295 SOS 80274935 HAS SOPS 65278854 HAS SOUS 23808860 HAS SOUPS 23234832 WITH SCORE 2.3315106935E7
AT ITER 411 NEW BEST:: SOT 123360900 SOS 80280084 HAS SOPS 65280619 HAS SOUS 23806016 HAS SOUPS 23231142 WITH SCORE 2.3311422084E7
AT ITER 416 NEW BEST:: SOT 123360022 SOS 80282317 HAS SOPS 65286096 HAS SOUS 23791380 HAS SOUPS 23216798 WITH SCORE 2.3297080317E7
AT ITER 419 NEW BEST:: SOT 123350967 SOS 80261928 HAS SOPS 65273457 HAS SOUS 23784716 HAS SOUPS 23211148 WITH SCORE 2.3291409928E7
AT ITER 420 NEW BEST:: SOT 123329906 SOS 80219401 HAS SOPS 65248764 HAS SOUS 23781229 HAS SOUPS 23208022 WITH SCORE 2.3288241401E7
AT ITER 421 NEW BEST:: SOT 123325050 SOS 80213050 HAS SOPS 65254591 HAS SOUS 23773008 HAS SOUPS 23200451 WITH SCORE 2.328066405E7
AT ITER 426 NEW BEST:: SOT 123316024 SOS 80201119 HAS SOPS 65249152 HAS SOUS 23750264 HAS SOUPS 23177707 WITH SCORE 2.3257908119E7
AT ITER 439 NEW BEST:: SOT 123315986 SOS 80202021 HAS SOPS 65250304 HAS SOUS 23750167 HAS SOUPS 23177610 WITH SCORE 2.3257812021E7
AT ITER 460 NEW BEST:: SOT 123314683 SOS 80197530 HAS SOPS 65247840 HAS SOUS 23743311 HAS SOUPS 23170754 WITH SCORE 2.325095153E7
AT ITER 461 NEW BEST:: SOT 123313881 SOS 80166399 HAS SOPS 65243944 HAS SOUS 23732128 HAS SOUPS 23159718 WITH SCORE 2.3239884399E7
AT ITER 467 NEW BEST:: SOT 123302348 SOS 80154283 HAS SOPS 65229513 HAS SOUS 23713892 HAS SOUPS 23141482 WITH SCORE 2.3221636283E7
AT ITER 468 NEW BEST:: SOT 123293478 SOS 80145566 HAS SOPS 65220960 HAS SOUS 23701881 HAS SOUPS 23129471 WITH SCORE 2.3209616566E7
AT ITER 470 NEW BEST:: SOT 123301554 SOS 80180966 HAS SOPS 65251481 HAS SOUS 23695364 HAS SOUPS 23122954 WITH SCORE 2.3203134966E7
AT ITER 472 NEW BEST:: SOT 123295413 SOS 80171844 HAS SOPS 65253228 HAS SOUS 23683243 HAS SOUPS 23111133 WITH SCORE 2.3191304844E7
AT ITER 473 NEW BEST:: SOT 123295329 SOS 80172900 HAS SOPS 65254499 HAS SOUS 23680638 HAS SOUPS 23108528 WITH SCORE 2.31887009E7
AT ITER 479 NEW BEST:: SOT 123282711 SOS 80156374 HAS SOPS 65244073 HAS SOUS 23643156 HAS SOUPS 23071955 WITH SCORE 2.3152111374E7
AT ITER 490 NEW BEST:: SOT 123277035 SOS 80149256 HAS SOPS 65235847 HAS SOUS 23630836 HAS SOUPS 23059737 WITH SCORE 2.3139886256E7
AT ITER 491 NEW BEST:: SOT 123286123 SOS 80159196 HAS SOPS 65246365 HAS SOUS 23630569 HAS SOUPS 23059470 WITH SCORE 2.3139629196E7
AT ITER 500 NEW BEST:: SOT 123271023 SOS 80143545 HAS SOPS 65230567 HAS SOUS 23593173 HAS SOUPS 23022074 WITH SCORE 2.3102217545E7
AT ITER 518 NEW BEST:: SOT 123274836 SOS 80167380 HAS SOPS 65247593 HAS SOUS 23576080 HAS SOUPS 23004981 WITH SCORE 2.308514838E7
AT ITER 524 NEW BEST:: SOT 123274962 SOS 80164595 HAS SOPS 65248757 HAS SOUS 23575184 HAS SOUPS 23004085 WITH SCORE 2.3084249595E7
AT ITER 530 NEW BEST:: SOT 123272628 SOS 80159803 HAS SOPS 65246263 HAS SOUS 23572512 HAS SOUPS 23001475 WITH SCORE 2.3081634803E7
AT ITER 553 NEW BEST:: SOT 123272664 SOS 80162607 HAS SOPS 65245867 HAS SOUS 23572498 HAS SOUPS 23001461 WITH SCORE 2.3081623607E7
AT ITER 554 NEW BEST:: SOT 123239378 SOS 80129321 HAS SOPS 65212581 HAS SOUS 23539212 HAS SOUPS 22968175 WITH SCORE 2.3048304321E7
AT ITER 555 NEW BEST:: SOT 123239866 SOS 80129561 HAS SOPS 65232469 HAS SOUS 23537188 HAS SOUPS 22966151 WITH SCORE 2.3046280561E7
AT ITER 558 NEW BEST:: SOT 123235860 SOS 80128673 HAS SOPS 65229004 HAS SOUS 23521643 HAS SOUPS 22950606 WITH SCORE 2.3030734673E7
AT ITER 560 NEW BEST:: SOT 123250608 SOS 80166047 HAS SOPS 65251396 HAS SOUS 23519942 HAS SOUPS 22948801 WITH SCORE 2.3028967047E7
AT ITER 570 NEW BEST:: SOT 123250284 SOS 80165678 HAS SOPS 65251021 HAS SOUS 23519221 HAS SOUPS 22948080 WITH SCORE 2.3028245678E7
AT ITER 587 NEW BEST:: SOT 123245459 SOS 80152475 HAS SOPS 65246743 HAS SOUS 23517491 HAS SOUPS 22946350 WITH SCORE 2.3026502475E7
AT ITER 588 NEW BEST:: SOT 123244992 SOS 80155156 HAS SOPS 65246842 HAS SOUS 23512841 HAS SOUPS 22941762 WITH SCORE 2.3021917156E7
AT ITER 595 NEW BEST:: SOT 123227780 SOS 80140608 HAS SOPS 65217783 HAS SOUS 23467205 HAS SOUPS 22896126 WITH SCORE 2.2976266608E7
AT ITER 601 NEW BEST:: SOT 123220513 SOS 80127752 HAS SOPS 65209604 HAS SOUS 23452925 HAS SOUPS 22881846 WITH SCORE 2.2961973752E7
AT ITER 608 NEW BEST:: SOT 123202889 SOS 80101968 HAS SOPS 65183158 HAS SOUS 23417955 HAS SOUPS 22846876 WITH SCORE 2.2926977968E7
AT ITER 613 NEW BEST:: SOT 123202622 SOS 80101653 HAS SOPS 65182771 HAS SOUS 23417457 HAS SOUPS 22846378 WITH SCORE 2.2926479653E7
AT ITER 619 NEW BEST:: SOT 123198942 SOS 80097688 HAS SOPS 65177420 HAS SOUS 23410641 HAS SOUPS 22839584 WITH SCORE 2.2919681688E7
AT ITER 621 NEW BEST:: SOT 123172671 SOS 80068125 HAS SOPS 65150883 HAS SOUS 23379461 HAS SOUPS 22807373 WITH SCORE 2.2887441125E7
AT ITER 626 NEW BEST:: SOT 123172190 SOS 80067490 HAS SOPS 65149492 HAS SOUS 23377902 HAS SOUPS 22805814 WITH SCORE 2.288588149E7
AT ITER 628 NEW BEST:: SOT 123172173 SOS 80069427 HAS SOPS 65151412 HAS SOUS 23377891 HAS SOUPS 22805803 WITH SCORE 2.2885872427E7
AT ITER 631 NEW BEST:: SOT 123182989 SOS 80095564 HAS SOPS 65176143 HAS SOUS 23373318 HAS SOUPS 22801230 WITH SCORE 2.2881325564E7
AT ITER 635 NEW BEST:: SOT 123168037 SOS 80072660 HAS SOPS 65158845 HAS SOUS 23355989 HAS SOUPS 22783901 WITH SCORE 2.286397366E7
AT ITER 645 NEW BEST:: SOT 123169801 SOS 80088295 HAS SOPS 65172926 HAS SOUS 23343611 HAS SOUPS 22771523 WITH SCORE 2.2851611295E7
AT ITER 652 NEW BEST:: SOT 123184752 SOS 80131407 HAS SOPS 65209291 HAS SOUS 23338657 HAS SOUPS 22766569 WITH SCORE 2.2846700407E7
AT ITER 674 NEW BEST:: SOT 123178096 SOS 80120385 HAS SOPS 65198450 HAS SOUS 23330162 HAS SOUPS 22758074 WITH SCORE 2.2838194385E7
AT ITER 702 NEW BEST:: SOT 123218800 SOS 80227997 HAS SOPS 65301609 HAS SOUS 23301552 HAS SOUPS 22729464 WITH SCORE 2.2809691997E7
AT ITER 713 NEW BEST:: SOT 123215199 SOS 80224396 HAS SOPS 65298008 HAS SOUS 23297791 HAS SOUPS 22725703 WITH SCORE 2.2805927396E7
AT ITER 724 NEW BEST:: SOT 123190310 SOS 80198223 HAS SOPS 65269750 HAS SOUS 23256045 HAS SOUPS 22681486 WITH SCORE 2.2761684223E7
AT ITER 745 NEW BEST:: SOT 123174726 SOS 80182502 HAS SOPS 65249717 HAS SOUS 23226783 HAS SOUPS 22652224 WITH SCORE 2.2732406502E7
AT ITER 761 NEW BEST:: SOT 123171634 SOS 80178164 HAS SOPS 65246161 HAS SOUS 23221740 HAS SOUPS 22647181 WITH SCORE 2.2727359164E7
AT ITER 764 NEW BEST:: SOT 123181829 SOS 80254238 HAS SOPS 65314191 HAS SOUS 23217266 HAS SOUPS 22642707 WITH SCORE 2.2722961238E7
AT ITER 784 NEW BEST:: SOT 123182918 SOS 80258762 HAS SOPS 65305663 HAS SOUS 23193977 HAS SOUPS 22619418 WITH SCORE 2.2699676762E7
AT ITER 797 NEW BEST:: SOT 123181752 SOS 80255265 HAS SOPS 65302948 HAS SOUS 23193016 HAS SOUPS 22618457 WITH SCORE 2.2698712265E7
AT ITER 801 NEW BEST:: SOT 123171820 SOS 80243913 HAS SOPS 65278604 HAS SOUS 23162691 HAS SOUPS 22588132 WITH SCORE 2.2668375913E7
AT ITER 812 NEW BEST:: SOT 123171470 SOS 80245126 HAS SOPS 65276795 HAS SOUS 23157789 HAS SOUPS 22583184 WITH SCORE 2.2663429126E7
AT ITER 822 NEW BEST:: SOT 123183403 SOS 80269636 HAS SOPS 65298551 HAS SOUS 23155366 HAS SOUPS 22580761 WITH SCORE 2.2661030636E7
AT ITER 824 NEW BEST:: SOT 123175167 SOS 80270201 HAS SOPS 65311126 HAS SOUS 23131791 HAS SOUPS 22557186 WITH SCORE 2.2637456201E7
AT ITER 830 NEW BEST:: SOT 123154027 SOS 80234860 HAS SOPS 65280409 HAS SOUS 23114891 HAS SOUPS 22540286 WITH SCORE 2.262052086E7
AT ITER 848 NEW BEST:: SOT 123213390 SOS 80351270 HAS SOPS 65428056 HAS SOUS 23096676 HAS SOUPS 22522162 WITH SCORE 2.260251327E7
AT ITER 853 NEW BEST:: SOT 123213390 SOS 80351238 HAS SOPS 65427960 HAS SOUS 23096675 HAS SOUPS 22522161 WITH SCORE 2.2602512238E7
AT ITER 856 NEW BEST:: SOT 123187837 SOS 80296314 HAS SOPS 65378504 HAS SOUS 23078066 HAS SOUPS 22503552 WITH SCORE 2.2583848314E7
AT ITER 859 NEW BEST:: SOT 123194759 SOS 80318744 HAS SOPS 65404681 HAS SOUS 23049751 HAS SOUPS 22475237 WITH SCORE 2.2555555744E7
AT ITER 866 NEW BEST:: SOT 123177795 SOS 80275994 HAS SOPS 65394933 HAS SOUS 23023995 HAS SOUPS 22449900 WITH SCORE 2.2530175994E7
AT ITER 869 NEW BEST:: SOT 123132383 SOS 80229691 HAS SOPS 65348630 HAS SOUS 22969560 HAS SOUPS 22395465 WITH SCORE 2.2475694691E7
AT ITER 889 NEW BEST:: SOT 123129276 SOS 80228100 HAS SOPS 65346715 HAS SOUS 22959721 HAS SOUPS 22385626 WITH SCORE 2.24658541E7
AT ITER 901 NEW BEST:: SOT 123121558 SOS 80222584 HAS SOPS 65334696 HAS SOUS 22941261 HAS SOUPS 22367239 WITH SCORE 2.2447461584E7
AT ITER 904 NEW BEST:: SOT 123119458 SOS 80220785 HAS SOPS 65332301 HAS SOUS 22937154 HAS SOUPS 22363132 WITH SCORE 2.2443352785E7
AT ITER 909 NEW BEST:: SOT 123116133 SOS 80214860 HAS SOPS 65326391 HAS SOUS 22932873 HAS SOUPS 22358851 WITH SCORE 2.243906586E7
AT ITER 914 NEW BEST:: SOT 123107270 SOS 80195774 HAS SOPS 65309094 HAS SOUS 22929068 HAS SOUPS 22355046 WITH SCORE 2.2435241774E7
AT ITER 941 NEW BEST:: SOT 123039947 SOS 80102242 HAS SOPS 65218145 HAS SOUS 22806217 HAS SOUPS 22230977 WITH SCORE 2.2311079242E7
AT ITER 942 NEW BEST:: SOT 123055109 SOS 80133711 HAS SOPS 65248949 HAS SOUS 22805087 HAS SOUPS 22229847 WITH SCORE 2.2309980711E7
AT ITER 959 NEW BEST:: SOT 123049896 SOS 80127630 HAS SOPS 65243128 HAS SOUS 22791467 HAS SOUPS 22216333 WITH SCORE 2.229646063E7
AT ITER 963 NEW BEST:: SOT 123036091 SOS 80104025 HAS SOPS 65239697 HAS SOUS 22776516 HAS SOUPS 22201816 WITH SCORE 2.2281920025E7
AT ITER 973 NEW BEST:: SOT 123033916 SOS 80057524 HAS SOPS 65208541 HAS SOUS 22768364 HAS SOUPS 22196867 WITH SCORE 2.2276924524E7
AT ITER 978 NEW BEST:: SOT 123036324 SOS 80079703 HAS SOPS 65213495 HAS SOUS 22728608 HAS SOUPS 22157901 WITH SCORE 2.2237980703E7
AT ITER 979 NEW BEST:: SOT 122996807 SOS 80040137 HAS SOPS 65173624 HAS SOUS 22696931 HAS SOUPS 22126255 WITH SCORE 2.2206295137E7
AT ITER 997 NEW BEST:: SOT 123005773 SOS 80053773 HAS SOPS 65199855 HAS SOUS 22693883 HAS SOUPS 22123207 WITH SCORE 2.2203260773E7
AT ITER 998 NEW BEST:: SOT 123006668 SOS 80054246 HAS SOPS 65200187 HAS SOUS 22691834 HAS SOUPS 22121158 WITH SCORE 2.2201212246E7
AT ITER 1014 NEW BEST:: SOT 123006986 SOS 80083659 HAS SOPS 65233703 HAS SOUS 22691737 HAS SOUPS 22121061 WITH SCORE 2.2201144659E7
AT ITER 1021 NEW BEST:: SOT 123006986 SOS 80102875 HAS SOPS 65265351 HAS SOUS 22691489 HAS SOUPS 22120813 WITH SCORE 2.2200915875E7
AT ITER 1024 NEW BEST:: SOT 123008144 SOS 80104099 HAS SOPS 65266943 HAS SOUS 22689095 HAS SOUPS 22118419 WITH SCORE 2.2198523099E7
AT ITER 1025 NEW BEST:: SOT 123007674 SOS 80103155 HAS SOPS 65266228 HAS SOUS 22688872 HAS SOUPS 22118196 WITH SCORE 2.2198299155E7
AT ITER 1031 NEW BEST:: SOT 123006613 SOS 80102104 HAS SOPS 65263289 HAS SOUS 22686076 HAS SOUPS 22115400 WITH SCORE 2.2195502104E7
AT ITER 1032 NEW BEST:: SOT 123015645 SOS 80112795 HAS SOPS 65269241 HAS SOUS 22674743 HAS SOUPS 22102182 WITH SCORE 2.2182294795E7
AT ITER 1052 NEW BEST:: SOT 123009687 SOS 80108146 HAS SOPS 65262217 HAS SOUS 22660803 HAS SOUPS 22088242 WITH SCORE 2.2168350146E7
AT ITER 1055 NEW BEST:: SOT 122994957 SOS 80098450 HAS SOPS 65247658 HAS SOUS 22627695 HAS SOUPS 22055134 WITH SCORE 2.213523245E7
AT ITER 1059 NEW BEST:: SOT 122992971 SOS 80093959 HAS SOPS 65241304 HAS SOUS 22609322 HAS SOUPS 22036850 WITH SCORE 2.2116943959E7
AT ITER 1070 NEW BEST:: SOT 122991669 SOS 80104077 HAS SOPS 65239501 HAS SOUS 22601782 HAS SOUPS 22029310 WITH SCORE 2.2109414077E7
AT ITER 1071 NEW BEST:: SOT 122988785 SOS 80102416 HAS SOPS 65233883 HAS SOUS 22598370 HAS SOUPS 22025888 WITH SCORE 2.2105990416E7
AT ITER 1081 NEW BEST:: SOT 122988668 SOS 80104049 HAS SOPS 65234742 HAS SOUS 22597530 HAS SOUPS 22025048 WITH SCORE 2.2105152049E7
AT ITER 1089 NEW BEST:: SOT 122981566 SOS 80093083 HAS SOPS 65224982 HAS SOUS 22590338 HAS SOUPS 22017926 WITH SCORE 2.2098019083E7
AT ITER 1091 NEW BEST:: SOT 122980869 SOS 80094940 HAS SOPS 65220068 HAS SOUS 22577163 HAS SOUPS 22004751 WITH SCORE 2.208484594E7
AT ITER 1092 NEW BEST:: SOT 122980212 SOS 80094103 HAS SOPS 65218889 HAS SOUS 22575120 HAS SOUPS 22002816 WITH SCORE 2.2082910103E7
AT ITER 1095 NEW BEST:: SOT 122980376 SOS 80094257 HAS SOPS 65219003 HAS SOUS 22574068 HAS SOUPS 22001876 WITH SCORE 2.2081970257E7
AT ITER 1098 NEW BEST:: SOT 122980126 SOS 80093797 HAS SOPS 65218548 HAS SOUS 22573782 HAS SOUPS 22001590 WITH SCORE 2.2081683797E7
AT ITER 1108 NEW BEST:: SOT 122979705 SOS 80091914 HAS SOPS 65216772 HAS SOUS 22572588 HAS SOUPS 22000396 WITH SCORE 2.2080487914E7
AT ITER 1110 NEW BEST:: SOT 122980082 SOS 80135589 HAS SOPS 65273891 HAS SOUS 22571448 HAS SOUPS 21999256 WITH SCORE 2.2079391589E7
AT ITER 1115 NEW BEST:: SOT 122980082 SOS 80138709 HAS SOPS 65276195 HAS SOUS 22571391 HAS SOUPS 21999199 WITH SCORE 2.2079337709E7
AT ITER 1141 NEW BEST:: SOT 122964341 SOS 80106081 HAS SOPS 65244701 HAS SOUS 22545686 HAS SOUPS 21973494 WITH SCORE 2.2053600081E7
AT ITER 1148 NEW BEST:: SOT 122948580 SOS 80087476 HAS SOPS 65232315 HAS SOUS 22527206 HAS SOUPS 21955014 WITH SCORE 2.2035101476E7
AT ITER 1153 NEW BEST:: SOT 122947455 SOS 80095305 HAS SOPS 65235873 HAS SOUS 22508568 HAS SOUPS 21936376 WITH SCORE 2.2016471305E7
AT ITER 1169 NEW BEST:: SOT 122947282 SOS 80095136 HAS SOPS 65235704 HAS SOUS 22507862 HAS SOUPS 21935670 WITH SCORE 2.2015765136E7
AT ITER 1171 NEW BEST:: SOT 122951935 SOS 80106676 HAS SOPS 65238385 HAS SOUS 22503259 HAS SOUPS 21931067 WITH SCORE 2.2011173676E7
AT ITER 1186 NEW BEST:: SOT 122960665 SOS 80120956 HAS SOPS 65259829 HAS SOUS 22489589 HAS SOUPS 21917397 WITH SCORE 2.1997517956E7
AT ITER 1202 NEW BEST:: SOT 122971524 SOS 80144502 HAS SOPS 65284071 HAS SOUS 22458459 HAS SOUPS 21886639 WITH SCORE 2.1966783502E7
AT ITER 1215 NEW BEST:: SOT 122968483 SOS 80149655 HAS SOPS 65288561 HAS SOUS 22457684 HAS SOUPS 21885860 WITH SCORE 2.1966009655E7
AT ITER 1216 NEW BEST:: SOT 122968260 SOS 80157056 HAS SOPS 65285102 HAS SOUS 22418883 HAS SOUPS 21846720 WITH SCORE 2.1926877056E7
AT ITER 1225 NEW BEST:: SOT 122969691 SOS 80158737 HAS SOPS 65287959 HAS SOUS 22414321 HAS SOUPS 21843566 WITH SCORE 2.1923724737E7
AT ITER 1251 NEW BEST:: SOT 122982546 SOS 80167239 HAS SOPS 65300836 HAS SOUS 22410508 HAS SOUPS 21840203 WITH SCORE 2.1920370239E7
AT ITER 1258 NEW BEST:: SOT 122978632 SOS 80163995 HAS SOPS 65290843 HAS SOUS 22398912 HAS SOUPS 21828607 WITH SCORE 2.1908770995E7
AT ITER 1266 NEW BEST:: SOT 122973680 SOS 80158622 HAS SOPS 65290652 HAS SOUS 22374097 HAS SOUPS 21803792 WITH SCORE 2.1883950622E7
AT ITER 1276 NEW BEST:: SOT 122946122 SOS 80127469 HAS SOPS 65259342 HAS SOUS 22317300 HAS SOUPS 21746995 WITH SCORE 2.1827122469E7
AT ITER 1286 NEW BEST:: SOT 122951544 SOS 80129864 HAS SOPS 65259691 HAS SOUS 22316338 HAS SOUPS 21746726 WITH SCORE 2.1826855864E7
AT ITER 1297 NEW BEST:: SOT 122966138 SOS 80160064 HAS SOPS 65284389 HAS SOUS 22303283 HAS SOUPS 21733671 WITH SCORE 2.1813831064E7
AT ITER 1299 NEW BEST:: SOT 122945950 SOS 80136213 HAS SOPS 65256029 HAS SOUS 22274990 HAS SOUPS 21704857 WITH SCORE 2.1784993213E7
AT ITER 1300 NEW BEST:: SOT 122947659 SOS 80142820 HAS SOPS 65259940 HAS SOUS 22272235 HAS SOUPS 21702102 WITH SCORE 2.178224482E7
AT ITER 1304 NEW BEST:: SOT 122951200 SOS 80152861 HAS SOPS 65265483 HAS SOUS 22266916 HAS SOUPS 21696783 WITH SCORE 2.1776935861E7
AT ITER 1336 NEW BEST:: SOT 122957048 SOS 80167212 HAS SOPS 65274681 HAS SOUS 22264207 HAS SOUPS 21693934 WITH SCORE 2.1774101212E7
AT ITER 1361 NEW BEST:: SOT 122974534 SOS 80199335 HAS SOPS 65296604 HAS SOUS 22258650 HAS SOUPS 21688377 WITH SCORE 2.1768576335E7
AT ITER 1368 NEW BEST:: SOT 122969167 SOS 80192840 HAS SOPS 65290109 HAS SOUS 22244030 HAS SOUPS 21673937 WITH SCORE 2.175412984E7
AT ITER 1371 NEW BEST:: SOT 123017643 SOS 80240643 HAS SOPS 65337987 HAS SOUS 22223927 HAS SOUPS 21653909 WITH SCORE 2.1734149643E7
AT ITER 1373 NEW BEST:: SOT 123017203 SOS 80246526 HAS SOPS 65340211 HAS SOUS 22217111 HAS SOUPS 21647046 WITH SCORE 2.1727292526E7
AT ITER 1377 NEW BEST:: SOT 123012494 SOS 80244753 HAS SOPS 65329735 HAS SOUS 22197514 HAS SOUPS 21627052 WITH SCORE 2.1707296753E7
AT ITER 1379 NEW BEST:: SOT 123012264 SOS 80246155 HAS SOPS 65325696 HAS SOUS 22186857 HAS SOUPS 21616329 WITH SCORE 2.1696575155E7
AT ITER 1381 NEW BEST:: SOT 123011630 SOS 80255640 HAS SOPS 65334681 HAS SOUS 22172943 HAS SOUPS 21602415 WITH SCORE 2.168267064E7
AT ITER 1384 NEW BEST:: SOT 123011628 SOS 80254305 HAS SOPS 65335324 HAS SOUS 22172869 HAS SOUPS 21602341 WITH SCORE 2.1682595305E7
AT ITER 1395 NEW BEST:: SOT 123008600 SOS 80252423 HAS SOPS 65337344 HAS SOUS 22170323 HAS SOUPS 21599795 WITH SCORE 2.1680047423E7
AT ITER 1408 NEW BEST:: SOT 123016839 SOS 80267678 HAS SOPS 65362826 HAS SOUS 22168974 HAS SOUPS 21598446 WITH SCORE 2.1678713678E7
AT ITER 1423 NEW BEST:: SOT 123021802 SOS 80237727 HAS SOPS 65359413 HAS SOUS 22163488 HAS SOUPS 21596659 WITH SCORE 2.1676896727E7
AT ITER 1432 NEW BEST:: SOT 123023764 SOS 80254295 HAS SOPS 65378634 HAS SOUS 22133002 HAS SOUPS 21566173 WITH SCORE 2.1646427295E7
AT ITER 1458 NEW BEST:: SOT 123023764 SOS 80254591 HAS SOPS 65378930 HAS SOUS 22132959 HAS SOUPS 21566130 WITH SCORE 2.1646384591E7
AT ITER 1466 NEW BEST:: SOT 123018195 SOS 80247486 HAS SOPS 65370601 HAS SOUS 22124234 HAS SOUPS 21557405 WITH SCORE 2.1637652486E7
AT ITER 1474 NEW BEST:: SOT 123010912 SOS 80239774 HAS SOPS 65361433 HAS SOUS 22112689 HAS SOUPS 21545860 WITH SCORE 2.1626099774E7
AT ITER 1480 NEW BEST:: SOT 123006848 SOS 80234083 HAS SOPS 65355988 HAS SOUS 22105093 HAS SOUPS 21538264 WITH SCORE 2.1618498083E7
AT ITER 1484 NEW BEST:: SOT 123001718 SOS 80232390 HAS SOPS 65358030 HAS SOUS 22089433 HAS SOUPS 21522604 WITH SCORE 2.160283639E7
AT ITER 1485 NEW BEST:: SOT 122999883 SOS 80226343 HAS SOPS 65353035 HAS SOUS 22087594 HAS SOUPS 21520765 WITH SCORE 2.1600991343E7
AT ITER 1505 NEW BEST:: SOT 122989219 SOS 80200794 HAS SOPS 65335266 HAS SOUS 22081313 HAS SOUPS 21514484 WITH SCORE 2.1594684794E7
AT ITER 1515 NEW BEST:: SOT 122987285 SOS 80216149 HAS SOPS 65337123 HAS SOUS 22040909 HAS SOUPS 21474080 WITH SCORE 2.1554296149E7
AT ITER 1521 NEW BEST:: SOT 122991507 SOS 80218984 HAS SOPS 65336074 HAS SOUS 22040913 HAS SOUPS 21473972 WITH SCORE 2.1554190984E7
AT ITER 1532 NEW BEST:: SOT 123003781 SOS 80266678 HAS SOPS 65371346 HAS SOUS 22009895 HAS SOUPS 21442954 WITH SCORE 2.1523220678E7
AT ITER 1538 NEW BEST:: SOT 123001112 SOS 80260920 HAS SOPS 65365987 HAS SOUS 22009852 HAS SOUPS 21442911 WITH SCORE 2.152317192E7
AT ITER 1561 NEW BEST:: SOT 122995371 SOS 80255465 HAS SOPS 65360532 HAS SOUS 22007628 HAS SOUPS 21440687 WITH SCORE 2.1520942465E7
AT ITER 1587 NEW BEST:: SOT 122995709 SOS 80280048 HAS SOPS 65392130 HAS SOUS 22007446 HAS SOUPS 21440505 WITH SCORE 2.1520785048E7
AT ITER 1593 NEW BEST:: SOT 122989827 SOS 80271064 HAS SOPS 65380042 HAS SOUS 22000807 HAS SOUPS 21433732 WITH SCORE 2.1514003064E7
AT ITER 1595 NEW BEST:: SOT 122987168 SOS 80265795 HAS SOPS 65378644 HAS SOUS 21994362 HAS SOUPS 21427291 WITH SCORE 2.1507556795E7
AT ITER 1598 NEW BEST:: SOT 122976770 SOS 80242192 HAS SOPS 65359479 HAS SOUS 21987958 HAS SOUPS 21420887 WITH SCORE 2.1501129192E7
AT ITER 1603 NEW BEST:: SOT 122975364 SOS 80241510 HAS SOPS 65358569 HAS SOUS 21981159 HAS SOUPS 21414088 WITH SCORE 2.149432951E7
AT ITER 1615 NEW BEST:: SOT 122977487 SOS 80251010 HAS SOPS 65362768 HAS SOUS 21972360 HAS SOUPS 21405289 WITH SCORE 2.148554001E7
AT ITER 1626 NEW BEST:: SOT 122979900 SOS 80260824 HAS SOPS 65367658 HAS SOUS 21961606 HAS SOUPS 21394535 WITH SCORE 2.1474795824E7
AT ITER 1627 NEW BEST:: SOT 122972750 SOS 80253506 HAS SOPS 65363368 HAS SOUS 21946358 HAS SOUPS 21379351 WITH SCORE 2.1459604506E7
AT ITER 1632 NEW BEST:: SOT 122973181 SOS 80251765 HAS SOPS 65363855 HAS SOUS 21939515 HAS SOUPS 21373123 WITH SCORE 2.1453374765E7
AT ITER 1660 NEW BEST:: SOT 122974219 SOS 80252476 HAS SOPS 65361444 HAS SOUS 21937129 HAS SOUPS 21370737 WITH SCORE 2.1450989476E7
AT ITER 1667 NEW BEST:: SOT 122975379 SOS 80256196 HAS SOPS 65361958 HAS SOUS 21933187 HAS SOUPS 21366795 WITH SCORE 2.1447051196E7
AT ITER 1668 NEW BEST:: SOT 122971184 SOS 80247426 HAS SOPS 65352776 HAS SOUS 21932532 HAS SOUPS 21366140 WITH SCORE 2.1446387426E7
AT ITER 1674 NEW BEST:: SOT 122953205 SOS 80210967 HAS SOPS 65323242 HAS SOUS 21918660 HAS SOUPS 21352268 WITH SCORE 2.1432478967E7
AT ITER 1679 NEW BEST:: SOT 122952680 SOS 80210139 HAS SOPS 65322654 HAS SOUS 21918516 HAS SOUPS 21352124 WITH SCORE 2.1432334139E7
AT ITER 1685 NEW BEST:: SOT 122952680 SOS 80211963 HAS SOPS 65347998 HAS SOUS 21918282 HAS SOUPS 21351890 WITH SCORE 2.1432101963E7
AT ITER 1705 NEW BEST:: SOT 122958361 SOS 80229600 HAS SOPS 65371945 HAS SOUS 21900637 HAS SOUPS 21334391 WITH SCORE 2.14146206E7
AT ITER 1713 NEW BEST:: SOT 122938651 SOS 80196003 HAS SOPS 65343892 HAS SOUS 21899052 HAS SOUPS 21332460 WITH SCORE 2.1412656003E7
AT ITER 1721 NEW BEST:: SOT 122936094 SOS 80194547 HAS SOPS 65338439 HAS SOUS 21882640 HAS SOUPS 21316048 WITH SCORE 2.1396242547E7
AT ITER 1726 NEW BEST:: SOT 122938884 SOS 80194835 HAS SOPS 65337176 HAS SOUS 21874397 HAS SOUPS 21307805 WITH SCORE 2.1387999835E7
AT ITER 1730 NEW BEST:: SOT 122931553 SOS 80191633 HAS SOPS 65353489 HAS SOUS 21832418 HAS SOUPS 21266458 WITH SCORE 2.1346649633E7
AT ITER 1737 NEW BEST:: SOT 122924249 SOS 80178155 HAS SOPS 65344071 HAS SOUS 21829478 HAS SOUPS 21263580 WITH SCORE 2.1343758155E7
AT ITER 1739 NEW BEST:: SOT 122924780 SOS 80216582 HAS SOPS 65428796 HAS SOUS 21826114 HAS SOUPS 21260597 WITH SCORE 2.1340813582E7
AT ITER 1749 NEW BEST:: SOT 122914529 SOS 80208111 HAS SOPS 65415700 HAS SOUS 21800181 HAS SOUPS 21234543 WITH SCORE 2.1314751111E7
AT ITER 1767 NEW BEST:: SOT 122937713 SOS 80287271 HAS SOPS 65485700 HAS SOUS 21797581 HAS SOUPS 21231943 WITH SCORE 2.1312230271E7
AT ITER 1781 NEW BEST:: SOT 122925936 SOS 80275213 HAS SOPS 65472500 HAS SOUS 21782294 HAS SOUPS 21216553 WITH SCORE 2.1296828213E7
AT ITER 1785 NEW BEST:: SOT 122933093 SOS 80294713 HAS SOPS 65488205 HAS SOUS 21778672 HAS SOUPS 21212931 WITH SCORE 2.1293225713E7
AT ITER 1799 NEW BEST:: SOT 122932468 SOS 80293920 HAS SOPS 65487442 HAS SOUS 21777594 HAS SOUPS 21211856 WITH SCORE 2.129214992E7
AT ITER 1801 NEW BEST:: SOT 122932468 SOS 80298416 HAS SOPS 65491898 HAS SOUS 21777375 HAS SOUPS 21211637 WITH SCORE 2.1291935416E7
AT ITER 1839 NEW BEST:: SOT 122935483 SOS 80305810 HAS SOPS 65498079 HAS SOUS 21776475 HAS SOUPS 21210737 WITH SCORE 2.129104281E7
AT ITER 1848 NEW BEST:: SOT 122931615 SOS 80298950 HAS SOPS 65487384 HAS SOUS 21772834 HAS SOUPS 21207096 WITH SCORE 2.128739495E7
AT ITER 1850 NEW BEST:: SOT 122927990 SOS 80295325 HAS SOPS 65482735 HAS SOUS 21768713 HAS SOUPS 21202415 WITH SCORE 2.1282710325E7
AT ITER 1879 NEW BEST:: SOT 122950691 SOS 80314705 HAS SOPS 65497361 HAS SOUS 21755709 HAS SOUPS 21189594 WITH SCORE 2.1269908705E7
AT ITER 1927 NEW BEST:: SOT 122954243 SOS 80322550 HAS SOPS 65506912 HAS SOUS 21755620 HAS SOUPS 21189545 WITH SCORE 2.126986755E7
AT ITER 1934 NEW BEST:: SOT 122949013 SOS 80316539 HAS SOPS 65493657 HAS SOUS 21736887 HAS SOUPS 21170812 WITH SCORE 2.1251128539E7
AT ITER 1945 NEW BEST:: SOT 122947691 SOS 80314874 HAS SOPS 65491724 HAS SOUS 21734571 HAS SOUPS 21168496 WITH SCORE 2.1248810874E7
AT ITER 1960 NEW BEST:: SOT 122948963 SOS 80322311 HAS SOPS 65501811 HAS SOUS 21730410 HAS SOUPS 21164638 WITH SCORE 2.1244960311E7
AT ITER 1961 NEW BEST:: SOT 122941177 SOS 80310072 HAS SOPS 65490501 HAS SOUS 21718056 HAS SOUPS 21152548 WITH SCORE 2.1232858072E7
AT ITER 1974 NEW BEST:: SOT 122828462 SOS 80184688 HAS SOPS 65370522 HAS SOUS 21608476 HAS SOUPS 21043215 WITH SCORE 2.1123399688E7
AT ITER 1980 NEW BEST:: SOT 122828462 SOS 80184688 HAS SOPS 65369818 HAS SOUS 21608448 HAS SOUPS 21043187 WITH SCORE 2.1123371688E7
AT ITER 2000 NEW BEST:: SOT 122829590 SOS 80189634 HAS SOPS 65372683 HAS SOUS 21603743 HAS SOUPS 21038482 WITH SCORE 2.1118671634E7
AT ITER 2001 NEW BEST:: SOT 122829716 SOS 80227892 HAS SOPS 65429657 HAS SOUS 21603299 HAS SOUPS 21038038 WITH SCORE 2.1118265892E7
AT ITER 2015 NEW BEST:: SOT 122830227 SOS 80247897 HAS SOPS 65454596 HAS SOUS 21603148 HAS SOUPS 21037887 WITH SCORE 2.1118134897E7
AT ITER 2017 NEW BEST:: SOT 122809684 SOS 80208270 HAS SOPS 65432763 HAS SOUS 21575877 HAS SOUPS 21010928 WITH SCORE 2.109113627E7
AT ITER 2019 NEW BEST:: SOT 122800605 SOS 80198581 HAS SOPS 65420067 HAS SOUS 21555874 HAS SOUPS 20990925 WITH SCORE 2.1071123581E7
AT ITER 2022 NEW BEST:: SOT 122807454 SOS 80222944 HAS SOPS 65454277 HAS SOUS 21545594 HAS SOUPS 20980787 WITH SCORE 2.1061009944E7
AT ITER 2036 NEW BEST:: SOT 122807789 SOS 80226204 HAS SOPS 65463082 HAS SOUS 21531450 HAS SOUPS 20966497 WITH SCORE 2.1046723204E7
AT ITER 2044 NEW BEST:: SOT 122800196 SOS 80214763 HAS SOPS 65458479 HAS SOUS 21522140 HAS SOUPS 20957187 WITH SCORE 2.1037401763E7
AT ITER 2079 NEW BEST:: SOT 122799457 SOS 80214024 HAS SOPS 65457604 HAS SOUS 21520585 HAS SOUPS 20955632 WITH SCORE 2.1035846024E7
AT ITER 2103 NEW BEST:: SOT 122799130 SOS 80206116 HAS SOPS 65446184 HAS SOUS 21519481 HAS SOUPS 20954528 WITH SCORE 2.1034734116E7
AT ITER 2136 NEW BEST:: SOT 122796924 SOS 80203891 HAS SOPS 65443004 HAS SOUS 21518039 HAS SOUPS 20953086 WITH SCORE 2.1033289891E7
AT ITER 2171 NEW BEST:: SOT 122815448 SOS 80254987 HAS SOPS 65468886 HAS SOUS 21511555 HAS SOUPS 20946602 WITH SCORE 2.1026856987E7
AT ITER 2181 NEW BEST:: SOT 122797950 SOS 80236124 HAS SOPS 65454226 HAS SOUS 21437437 HAS SOUPS 20873587 WITH SCORE 2.0953823124E7
AT ITER 2193 NEW BEST:: SOT 122782359 SOS 80218722 HAS SOPS 65446603 HAS SOUS 21435660 HAS SOUPS 20872076 WITH SCORE 2.0952294722E7
AT ITER 2204 NEW BEST:: SOT 122829063 SOS 80313350 HAS SOPS 65523732 HAS SOUS 21424098 HAS SOUPS 20860450 WITH SCORE 2.094076335E7
AT ITER 2213 NEW BEST:: SOT 122829063 SOS 80314022 HAS SOPS 65524404 HAS SOUS 21424062 HAS SOUPS 20860414 WITH SCORE 2.0940728022E7
AT ITER 2217 NEW BEST:: SOT 122826119 SOS 80310387 HAS SOPS 65519828 HAS SOUS 21420626 HAS SOUPS 20856978 WITH SCORE 2.0937288387E7
AT ITER 2218 NEW BEST:: SOT 122822508 SOS 80306900 HAS SOPS 65515447 HAS SOUS 21415676 HAS SOUPS 20852028 WITH SCORE 2.09323349E7
AT ITER 2224 NEW BEST:: SOT 122827325 SOS 80319385 HAS SOPS 65524047 HAS SOUS 21400786 HAS SOUPS 20837138 WITH SCORE 2.0917457385E7
AT ITER 2253 NEW BEST:: SOT 122824340 SOS 80306335 HAS SOPS 65502251 HAS SOUS 21391874 HAS SOUPS 20828226 WITH SCORE 2.0908532335E7
AT ITER 2264 NEW BEST:: SOT 122808309 SOS 80284798 HAS SOPS 65470160 HAS SOUS 21358310 HAS SOUPS 20794477 WITH SCORE 2.0874761798E7
AT ITER 2269 NEW BEST:: SOT 122760699 SOS 80183329 HAS SOPS 65405306 HAS SOUS 21345745 HAS SOUPS 20781909 WITH SCORE 2.0862092329E7
AT ITER 2288 NEW BEST:: SOT 122761070 SOS 80183336 HAS SOPS 65406375 HAS SOUS 21344620 HAS SOUPS 20781532 WITH SCORE 2.0861715336E7
AT ITER 2289 NEW BEST:: SOT 122761938 SOS 80188588 HAS SOPS 65409617 HAS SOUS 21339216 HAS SOUPS 20776128 WITH SCORE 2.0856316588E7

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-4"
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-4, 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-158961502500171"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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