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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 3.3K Apr 12 07:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 08:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 08:34 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.7K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 9 21:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 21:01 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-2-CTLCardinality-00
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-01
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-02
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-03
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-04
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-05
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-06
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-07
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-08
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-09
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-10
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-11
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-12
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-13
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-14
FORMULA_NAME RERS17pb115-PT-2-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589748447719

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 2
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 20 NEW BEST:: SOT 123440704 SOS 80233358 HAS SOPS 65210266 HAS SOUS 24066617 HAS SOUPS 23493843 WITH SCORE 2.3574076358E7
AT ITER 23 NEW BEST:: SOT 123453542 SOS 80250300 HAS SOPS 65234314 HAS SOUS 24061605 HAS SOUPS 23489527 WITH SCORE 2.35697773E7
AT ITER 26 NEW BEST:: SOT 123460717 SOS 80273856 HAS SOPS 65251485 HAS SOUS 24043776 HAS SOUPS 23471698 WITH SCORE 2.3551971856E7
AT ITER 28 NEW BEST:: SOT 123460717 SOS 80274032 HAS SOPS 65251821 HAS SOUS 24043772 HAS SOUPS 23471694 WITH SCORE 2.3551968032E7
AT ITER 32 NEW BEST:: SOT 123398513 SOS 80212168 HAS SOPS 65189957 HAS SOUS 23981580 HAS SOUPS 23409502 WITH SCORE 2.3489714168E7
AT ITER 46 NEW BEST:: SOT 123393528 SOS 80208372 HAS SOPS 65191298 HAS SOUS 23972363 HAS SOUPS 23400988 WITH SCORE 2.3481196372E7
AT ITER 47 NEW BEST:: SOT 123453917 SOS 80371612 HAS SOPS 65343324 HAS SOUS 23960987 HAS SOUPS 23389612 WITH SCORE 2.3469983612E7
AT ITER 81 NEW BEST:: SOT 123447838 SOS 80371726 HAS SOPS 65345103 HAS SOUS 23948779 HAS SOUPS 23377404 WITH SCORE 2.3457775726E7
AT ITER 82 NEW BEST:: SOT 123446497 SOS 80371084 HAS SOPS 65344297 HAS SOUS 23944248 HAS SOUPS 23372820 WITH SCORE 2.3453191084E7
AT ITER 86 NEW BEST:: SOT 123446109 SOS 80371931 HAS SOPS 65340257 HAS SOUS 23937144 HAS SOUPS 23365716 WITH SCORE 2.3446087931E7
AT ITER 94 NEW BEST:: SOT 123445282 SOS 80370589 HAS SOPS 65338913 HAS SOUS 23934983 HAS SOUPS 23363555 WITH SCORE 2.3443925589E7
AT ITER 106 NEW BEST:: SOT 123435299 SOS 80351924 HAS SOPS 65320212 HAS SOUS 23922711 HAS SOUPS 23351351 WITH SCORE 2.3431702924E7
AT ITER 114 NEW BEST:: SOT 123438538 SOS 80360565 HAS SOPS 65334816 HAS SOUS 23916968 HAS SOUPS 23345726 WITH SCORE 2.3426086565E7
AT ITER 125 NEW BEST:: SOT 123503685 SOS 80499030 HAS SOPS 65479010 HAS SOUS 23915477 HAS SOUPS 23344235 WITH SCORE 2.342473403E7
AT ITER 138 NEW BEST:: SOT 123506398 SOS 80506278 HAS SOPS 65497071 HAS SOUS 23912154 HAS SOUPS 23340912 WITH SCORE 2.3421418278E7
AT ITER 148 NEW BEST:: SOT 123506100 SOS 80513486 HAS SOPS 65503588 HAS SOUS 23901733 HAS SOUPS 23330491 WITH SCORE 2.3411004486E7
AT ITER 156 NEW BEST:: SOT 123516292 SOS 80603415 HAS SOPS 65586682 HAS SOUS 23896548 HAS SOUPS 23325306 WITH SCORE 2.3405909415E7
AT ITER 175 NEW BEST:: SOT 123506080 SOS 80588350 HAS SOPS 65580780 HAS SOUS 23891213 HAS SOUPS 23320155 WITH SCORE 2.340074335E7
AT ITER 178 NEW BEST:: SOT 123480112 SOS 80559458 HAS SOPS 65558243 HAS SOUS 23855779 HAS SOUPS 23284721 WITH SCORE 2.3365280458E7
AT ITER 183 NEW BEST:: SOT 123482437 SOS 80570903 HAS SOPS 65567842 HAS SOUS 23849692 HAS SOUPS 23278634 WITH SCORE 2.3359204903E7
AT ITER 191 NEW BEST:: SOT 123474609 SOS 80558363 HAS SOPS 65555603 HAS SOUS 23843831 HAS SOUPS 23272773 WITH SCORE 2.3353331363E7
AT ITER 209 NEW BEST:: SOT 123459942 SOS 80544577 HAS SOPS 65537230 HAS SOUS 23819727 HAS SOUPS 23248347 WITH SCORE 2.3328891577E7
AT ITER 211 NEW BEST:: SOT 123459942 SOS 80547089 HAS SOPS 65539742 HAS SOUS 23819682 HAS SOUPS 23248302 WITH SCORE 2.3328849089E7
AT ITER 212 NEW BEST:: SOT 123456290 SOS 80542486 HAS SOPS 65534666 HAS SOUS 23811157 HAS SOUPS 23239777 WITH SCORE 2.3320319486E7
AT ITER 229 NEW BEST:: SOT 123457822 SOS 80540280 HAS SOPS 65534933 HAS SOUS 23807350 HAS SOUPS 23235970 WITH SCORE 2.331651028E7
AT ITER 230 NEW BEST:: SOT 123456286 SOS 80534497 HAS SOPS 65536757 HAS SOUS 23807021 HAS SOUPS 23235641 WITH SCORE 2.3316175497E7
AT ITER 241 NEW BEST:: SOT 123456308 SOS 80534513 HAS SOPS 65536794 HAS SOUS 23806960 HAS SOUPS 23235580 WITH SCORE 2.3316114513E7
AT ITER 248 NEW BEST:: SOT 123455270 SOS 80533511 HAS SOPS 65535012 HAS SOUS 23804830 HAS SOUPS 23233444 WITH SCORE 2.3313977511E7
AT ITER 253 NEW BEST:: SOT 123473502 SOS 80562485 HAS SOPS 65579560 HAS SOUS 23804326 HAS SOUPS 23232940 WITH SCORE 2.3313502485E7
AT ITER 257 NEW BEST:: SOT 123469543 SOS 80556132 HAS SOPS 65574975 HAS SOUS 23801026 HAS SOUPS 23229640 WITH SCORE 2.3310196132E7
AT ITER 258 NEW BEST:: SOT 123480170 SOS 80581856 HAS SOPS 65599359 HAS SOUS 23796259 HAS SOUPS 23224873 WITH SCORE 2.3305454856E7
AT ITER 276 NEW BEST:: SOT 123485133 SOS 80597228 HAS SOPS 65607909 HAS SOUS 23785388 HAS SOUPS 23214002 WITH SCORE 2.3294599228E7
AT ITER 290 NEW BEST:: SOT 123490492 SOS 80599947 HAS SOPS 65609412 HAS SOUS 23774618 HAS SOUPS 23203232 WITH SCORE 2.3283831947E7
AT ITER 291 NEW BEST:: SOT 123490513 SOS 80608461 HAS SOPS 65621126 HAS SOUS 23774581 HAS SOUPS 23203195 WITH SCORE 2.3283803461E7
AT ITER 296 NEW BEST:: SOT 123487779 SOS 80604835 HAS SOPS 65617532 HAS SOUS 23770369 HAS SOUPS 23198983 WITH SCORE 2.3279587835E7
AT ITER 308 NEW BEST:: SOT 123486107 SOS 80601642 HAS SOPS 65612193 HAS SOUS 23768040 HAS SOUPS 23196654 WITH SCORE 2.3277255642E7
AT ITER 311 NEW BEST:: SOT 123459338 SOS 80565184 HAS SOPS 65582517 HAS SOUS 23721710 HAS SOUPS 23150471 WITH SCORE 2.3231036184E7
AT ITER 312 NEW BEST:: SOT 123451003 SOS 80551954 HAS SOPS 65569308 HAS SOUS 23699492 HAS SOUPS 23128253 WITH SCORE 2.3208804954E7
AT ITER 316 NEW BEST:: SOT 123461218 SOS 80575905 HAS SOPS 65589497 HAS SOUS 23696713 HAS SOUPS 23125474 WITH SCORE 2.3206049905E7
AT ITER 325 NEW BEST:: SOT 123440801 SOS 80558120 HAS SOPS 65562875 HAS SOUS 23668932 HAS SOUPS 23095374 WITH SCORE 2.317593212E7
AT ITER 332 NEW BEST:: SOT 123440783 SOS 80558103 HAS SOPS 65562866 HAS SOUS 23668506 HAS SOUPS 23094948 WITH SCORE 2.3175506103E7
AT ITER 344 NEW BEST:: SOT 123440069 SOS 80554080 HAS SOPS 65558088 HAS SOUS 23662667 HAS SOUPS 23089309 WITH SCORE 2.316986308E7
AT ITER 362 NEW BEST:: SOT 123441117 SOS 80563105 HAS SOPS 65562611 HAS SOUS 23652383 HAS SOUPS 23078856 WITH SCORE 2.3159419105E7
AT ITER 365 NEW BEST:: SOT 123407482 SOS 80529470 HAS SOPS 65528976 HAS SOUS 23611004 HAS SOUPS 23037477 WITH SCORE 2.311800647E7
AT ITER 370 NEW BEST:: SOT 123424536 SOS 80567366 HAS SOPS 65573338 HAS SOUS 23601506 HAS SOUPS 23028495 WITH SCORE 2.3109062366E7
AT ITER 385 NEW BEST:: SOT 123423142 SOS 80567022 HAS SOPS 65570747 HAS SOUS 23596752 HAS SOUPS 23023741 WITH SCORE 2.3104308022E7
AT ITER 392 NEW BEST:: SOT 123422900 SOS 80555508 HAS SOPS 65580140 HAS SOUS 23594175 HAS SOUPS 23021434 WITH SCORE 2.3101989508E7
AT ITER 397 NEW BEST:: SOT 123422994 SOS 80557828 HAS SOPS 65580149 HAS SOUS 23590988 HAS SOUPS 23018204 WITH SCORE 2.3098761828E7
AT ITER 403 NEW BEST:: SOT 123419976 SOS 80553848 HAS SOPS 65577312 HAS SOUS 23582695 HAS SOUPS 23010111 WITH SCORE 2.3090664848E7
AT ITER 419 NEW BEST:: SOT 123415666 SOS 80550827 HAS SOPS 65575272 HAS SOUS 23571635 HAS SOUPS 22999051 WITH SCORE 2.3079601827E7
AT ITER 427 NEW BEST:: SOT 123344047 SOS 80467816 HAS SOPS 65488363 HAS SOUS 23487847 HAS SOUPS 22914864 WITH SCORE 2.2995331816E7
AT ITER 433 NEW BEST:: SOT 123292095 SOS 80418031 HAS SOPS 65428383 HAS SOUS 23418583 HAS SOUPS 22843947 WITH SCORE 2.2924365031E7
AT ITER 436 NEW BEST:: SOT 123294210 SOS 80428762 HAS SOPS 65432945 HAS SOUS 23408614 HAS SOUPS 22833978 WITH SCORE 2.2914406762E7
AT ITER 445 NEW BEST:: SOT 123283872 SOS 80415753 HAS SOPS 65420492 HAS SOUS 23393538 HAS SOUPS 22818947 WITH SCORE 2.2899362753E7
AT ITER 463 NEW BEST:: SOT 123281438 SOS 80411275 HAS SOPS 65417711 HAS SOUS 23392551 HAS SOUPS 22817960 WITH SCORE 2.2898371275E7
AT ITER 471 NEW BEST:: SOT 123282986 SOS 80416075 HAS SOPS 65421620 HAS SOUS 23392287 HAS SOUPS 22817696 WITH SCORE 2.2898112075E7
AT ITER 484 NEW BEST:: SOT 123283836 SOS 80418695 HAS SOPS 65424440 HAS SOUS 23384835 HAS SOUPS 22810244 WITH SCORE 2.2890662695E7
AT ITER 486 NEW BEST:: SOT 123284477 SOS 80421576 HAS SOPS 65427703 HAS SOUS 23375336 HAS SOUPS 22800684 WITH SCORE 2.2881105576E7
AT ITER 500 NEW BEST:: SOT 123281726 SOS 80424644 HAS SOPS 65436906 HAS SOUS 23344405 HAS SOUPS 22769705 WITH SCORE 2.2850129644E7
AT ITER 506 NEW BEST:: SOT 123282412 SOS 80426586 HAS SOPS 65438284 HAS SOUS 23343865 HAS SOUPS 22769133 WITH SCORE 2.2849559586E7
AT ITER 507 NEW BEST:: SOT 123283588 SOS 80435138 HAS SOPS 65447152 HAS SOUS 23332376 HAS SOUPS 22757727 WITH SCORE 2.2838162138E7
AT ITER 512 NEW BEST:: SOT 123278369 SOS 80436513 HAS SOPS 65467761 HAS SOUS 23306416 HAS SOUPS 22732175 WITH SCORE 2.2812611513E7
AT ITER 513 NEW BEST:: SOT 123266843 SOS 80421085 HAS SOPS 65464735 HAS SOUS 23301537 HAS SOUPS 22727439 WITH SCORE 2.2807860085E7
AT ITER 526 NEW BEST:: SOT 123259344 SOS 80414945 HAS SOPS 65455913 HAS SOUS 23288375 HAS SOUPS 22713555 WITH SCORE 2.2793969945E7
AT ITER 529 NEW BEST:: SOT 123252996 SOS 80405185 HAS SOPS 65448669 HAS SOUS 23283426 HAS SOUPS 22708606 WITH SCORE 2.2789011185E7
AT ITER 530 NEW BEST:: SOT 123272912 SOS 80460701 HAS SOPS 65486079 HAS SOUS 23271023 HAS SOUPS 22696203 WITH SCORE 2.2776663701E7
AT ITER 540 NEW BEST:: SOT 123261256 SOS 80457787 HAS SOPS 65462388 HAS SOUS 23221639 HAS SOUPS 22646819 WITH SCORE 2.2727276787E7
AT ITER 544 NEW BEST:: SOT 123274578 SOS 80473353 HAS SOPS 65516480 HAS SOUS 23214118 HAS SOUPS 22642187 WITH SCORE 2.2722660353E7
AT ITER 552 NEW BEST:: SOT 123275827 SOS 80475496 HAS SOPS 65518681 HAS SOUS 23210007 HAS SOUPS 22638104 WITH SCORE 2.2718579496E7
AT ITER 560 NEW BEST:: SOT 123272552 SOS 80472221 HAS SOPS 65515406 HAS SOUS 23205868 HAS SOUPS 22633965 WITH SCORE 2.2714437221E7
AT ITER 569 NEW BEST:: SOT 123271823 SOS 80471078 HAS SOPS 65512344 HAS SOUS 23201509 HAS SOUPS 22629606 WITH SCORE 2.2710077078E7
AT ITER 578 NEW BEST:: SOT 123271730 SOS 80471003 HAS SOPS 65512255 HAS SOUS 23201454 HAS SOUPS 22629551 WITH SCORE 2.2710022003E7
AT ITER 584 NEW BEST:: SOT 123272779 SOS 80476326 HAS SOPS 65518106 HAS SOUS 23198181 HAS SOUPS 22626278 WITH SCORE 2.2706754326E7
AT ITER 621 NEW BEST:: SOT 123272569 SOS 80472833 HAS SOPS 65514798 HAS SOUS 23195394 HAS SOUPS 22623491 WITH SCORE 2.2703963833E7
AT ITER 629 NEW BEST:: SOT 123272571 SOS 80484631 HAS SOPS 65526314 HAS SOUS 23194799 HAS SOUPS 22622896 WITH SCORE 2.2703380631E7
AT ITER 632 NEW BEST:: SOT 123316724 SOS 80538420 HAS SOPS 65576158 HAS SOUS 23184019 HAS SOUPS 22613137 WITH SCORE 2.269367542E7
AT ITER 643 NEW BEST:: SOT 123317408 SOS 80535528 HAS SOPS 65575020 HAS SOUS 23181546 HAS SOUPS 22610702 WITH SCORE 2.2691237528E7
AT ITER 645 NEW BEST:: SOT 123329341 SOS 80563215 HAS SOPS 65597930 HAS SOUS 23170190 HAS SOUPS 22599346 WITH SCORE 2.2679909215E7
AT ITER 646 NEW BEST:: SOT 123322830 SOS 80550090 HAS SOPS 65587892 HAS SOUS 23157992 HAS SOUPS 22587148 WITH SCORE 2.266769809E7
AT ITER 651 NEW BEST:: SOT 123334269 SOS 80582698 HAS SOPS 65615183 HAS SOUS 23113944 HAS SOUPS 22542696 WITH SCORE 2.2623278698E7
AT ITER 666 NEW BEST:: SOT 123321188 SOS 80570652 HAS SOPS 65607262 HAS SOUS 23088067 HAS SOUPS 22517128 WITH SCORE 2.2597698652E7
AT ITER 675 NEW BEST:: SOT 123321132 SOS 80570547 HAS SOPS 65607146 HAS SOUS 23087499 HAS SOUPS 22516560 WITH SCORE 2.2597130547E7
AT ITER 684 NEW BEST:: SOT 123319247 SOS 80566428 HAS SOPS 65604147 HAS SOUS 23085502 HAS SOUPS 22514563 WITH SCORE 2.2595129428E7
AT ITER 688 NEW BEST:: SOT 123327195 SOS 80573889 HAS SOPS 65635200 HAS SOUS 23072414 HAS SOUPS 22501505 WITH SCORE 2.2582078889E7
AT ITER 699 NEW BEST:: SOT 123323734 SOS 80570220 HAS SOPS 65629941 HAS SOUS 23063975 HAS SOUPS 22493066 WITH SCORE 2.257363622E7
AT ITER 720 NEW BEST:: SOT 123323734 SOS 80584076 HAS SOPS 65651413 HAS SOUS 23063820 HAS SOUPS 22492911 WITH SCORE 2.2573495076E7
AT ITER 721 NEW BEST:: SOT 123323912 SOS 80605395 HAS SOPS 65677441 HAS SOUS 23063730 HAS SOUPS 22492821 WITH SCORE 2.2573426395E7
AT ITER 741 NEW BEST:: SOT 123327159 SOS 80609810 HAS SOPS 65672374 HAS SOUS 23063596 HAS SOUPS 22492687 WITH SCORE 2.257329681E7
AT ITER 754 NEW BEST:: SOT 123336459 SOS 80651341 HAS SOPS 65714229 HAS SOUS 23027843 HAS SOUPS 22456934 WITH SCORE 2.2537585341E7
AT ITER 764 NEW BEST:: SOT 123354492 SOS 80674835 HAS SOPS 65742899 HAS SOUS 23026566 HAS SOUPS 22455657 WITH SCORE 2.2536331835E7
AT ITER 765 NEW BEST:: SOT 123374468 SOS 80698327 HAS SOPS 65749834 HAS SOUS 23019460 HAS SOUPS 22448931 WITH SCORE 2.2529629327E7
AT ITER 780 NEW BEST:: SOT 123466849 SOS 80789368 HAS SOPS 65831161 HAS SOUS 22999411 HAS SOUPS 22426132 WITH SCORE 2.2506921368E7
AT ITER 797 NEW BEST:: SOT 123466868 SOS 80789516 HAS SOPS 65831195 HAS SOUS 22999205 HAS SOUPS 22425923 WITH SCORE 2.2506712516E7
AT ITER 799 NEW BEST:: SOT 123474936 SOS 80794348 HAS SOPS 65843252 HAS SOUS 22980331 HAS SOUPS 22407049 WITH SCORE 2.2487843348E7
AT ITER 820 NEW BEST:: SOT 123481773 SOS 80785873 HAS SOPS 65849480 HAS SOUS 22972694 HAS SOUPS 22403343 WITH SCORE 2.2484128873E7
AT ITER 825 NEW BEST:: SOT 123481773 SOS 80798569 HAS SOPS 65866400 HAS SOUS 22972610 HAS SOUPS 22403259 WITH SCORE 2.2484057569E7
AT ITER 837 NEW BEST:: SOT 123447629 SOS 80733038 HAS SOPS 65815694 HAS SOUS 22938403 HAS SOUPS 22369052 WITH SCORE 2.2449785038E7
AT ITER 841 NEW BEST:: SOT 123439395 SOS 80733623 HAS SOPS 65809421 HAS SOUS 22905131 HAS SOUPS 22335780 WITH SCORE 2.2416513623E7
AT ITER 855 NEW BEST:: SOT 123437246 SOS 80729893 HAS SOPS 65806826 HAS SOUS 22900435 HAS SOUPS 22331410 WITH SCORE 2.2412139893E7
AT ITER 883 NEW BEST:: SOT 123417783 SOS 80699960 HAS SOPS 65793466 HAS SOUS 22891108 HAS SOUPS 22322083 WITH SCORE 2.240278296E7
AT ITER 911 NEW BEST:: SOT 123408421 SOS 80690635 HAS SOPS 65784104 HAS SOUS 22881161 HAS SOUPS 22312112 WITH SCORE 2.2392802635E7
AT ITER 915 NEW BEST:: SOT 123409181 SOS 80697738 HAS SOPS 65785270 HAS SOUS 22871536 HAS SOUPS 22302040 WITH SCORE 2.2382737738E7
AT ITER 924 NEW BEST:: SOT 123409181 SOS 80701002 HAS SOPS 65790710 HAS SOUS 22871400 HAS SOUPS 22301904 WITH SCORE 2.2382605002E7
AT ITER 926 NEW BEST:: SOT 123402336 SOS 80692274 HAS SOPS 65780641 HAS SOUS 22859183 HAS SOUPS 22289720 WITH SCORE 2.2370412274E7
AT ITER 941 NEW BEST:: SOT 123402829 SOS 80703089 HAS SOPS 65788375 HAS SOUS 22856551 HAS SOUPS 22287033 WITH SCORE 2.2367736089E7
AT ITER 945 NEW BEST:: SOT 123401076 SOS 80699791 HAS SOPS 65781497 HAS SOUS 22846192 HAS SOUPS 22276674 WITH SCORE 2.2357373791E7
AT ITER 948 NEW BEST:: SOT 123400687 SOS 80699402 HAS SOPS 65781164 HAS SOUS 22845355 HAS SOUPS 22275837 WITH SCORE 2.2356536402E7
AT ITER 964 NEW BEST:: SOT 123397016 SOS 80699028 HAS SOPS 65776545 HAS SOUS 22828840 HAS SOUPS 22259232 WITH SCORE 2.2339931028E7
AT ITER 967 NEW BEST:: SOT 123396331 SOS 80697783 HAS SOPS 65775252 HAS SOUS 22827935 HAS SOUPS 22258331 WITH SCORE 2.2339028783E7
AT ITER 968 NEW BEST:: SOT 123394190 SOS 80697837 HAS SOPS 65768892 HAS SOUS 22819070 HAS SOUPS 22249466 WITH SCORE 2.2330163837E7
AT ITER 987 NEW BEST:: SOT 123374916 SOS 80665996 HAS SOPS 65743606 HAS SOUS 22791101 HAS SOUPS 22221703 WITH SCORE 2.2302368996E7
AT ITER 988 NEW BEST:: SOT 123344535 SOS 80633809 HAS SOPS 65706894 HAS SOUS 22736002 HAS SOUPS 22166955 WITH SCORE 2.2247588809E7
AT ITER 1008 NEW BEST:: SOT 123344082 SOS 80632190 HAS SOPS 65704521 HAS SOUS 22735014 HAS SOUPS 22165967 WITH SCORE 2.224659919E7
AT ITER 1044 NEW BEST:: SOT 123341420 SOS 80628695 HAS SOPS 65700530 HAS SOUS 22729861 HAS SOUPS 22160814 WITH SCORE 2.2241442695E7
AT ITER 1053 NEW BEST:: SOT 123318498 SOS 80600189 HAS SOPS 65681486 HAS SOUS 22680216 HAS SOUPS 22111180 WITH SCORE 2.2191780189E7
AT ITER 1058 NEW BEST:: SOT 123316881 SOS 80598499 HAS SOPS 65686534 HAS SOUS 22672661 HAS SOUPS 22104253 WITH SCORE 2.2184851499E7
AT ITER 1078 NEW BEST:: SOT 123316753 SOS 80598387 HAS SOPS 65686390 HAS SOUS 22672405 HAS SOUPS 22103997 WITH SCORE 2.2184595387E7
AT ITER 1085 NEW BEST:: SOT 123316257 SOS 80597851 HAS SOPS 65685760 HAS SOUS 22671641 HAS SOUPS 22103235 WITH SCORE 2.2183832851E7
AT ITER 1089 NEW BEST:: SOT 123311145 SOS 80589210 HAS SOPS 65676393 HAS SOUS 22668698 HAS SOUPS 22100256 WITH SCORE 2.218084521E7
AT ITER 1091 NEW BEST:: SOT 123236545 SOS 80422076 HAS SOPS 65524877 HAS SOUS 22556318 HAS SOUPS 21988070 WITH SCORE 2.2068492076E7
AT ITER 1097 NEW BEST:: SOT 123213328 SOS 80396689 HAS SOPS 65496635 HAS SOUS 22502733 HAS SOUPS 21934626 WITH SCORE 2.2015022689E7
AT ITER 1103 NEW BEST:: SOT 123213306 SOS 80416343 HAS SOPS 65519467 HAS SOUS 22502473 HAS SOUPS 21934366 WITH SCORE 2.2014782343E7
AT ITER 1106 NEW BEST:: SOT 123213327 SOS 80433152 HAS SOPS 65539252 HAS SOUS 22502028 HAS SOUPS 21933921 WITH SCORE 2.2014354152E7
AT ITER 1120 NEW BEST:: SOT 123212457 SOS 80432187 HAS SOPS 65538522 HAS SOUS 22500573 HAS SOUPS 21932501 WITH SCORE 2.2012933187E7
AT ITER 1127 NEW BEST:: SOT 123213036 SOS 80434397 HAS SOPS 65539145 HAS SOUS 22492727 HAS SOUPS 21924731 WITH SCORE 2.2005165397E7
AT ITER 1128 NEW BEST:: SOT 123212803 SOS 80440186 HAS SOPS 65541981 HAS SOUS 22479344 HAS SOUPS 21911348 WITH SCORE 2.1991788186E7
AT ITER 1129 NEW BEST:: SOT 123208268 SOS 80433597 HAS SOPS 65534414 HAS SOUS 22476903 HAS SOUPS 21908875 WITH SCORE 2.1989308597E7
AT ITER 1136 NEW BEST:: SOT 123200448 SOS 80419533 HAS SOPS 65521254 HAS SOUS 22468337 HAS SOUPS 21900309 WITH SCORE 2.1980728533E7
AT ITER 1138 NEW BEST:: SOT 123207124 SOS 80447528 HAS SOPS 65537300 HAS SOUS 22452702 HAS SOUPS 21884674 WITH SCORE 2.1965121528E7
AT ITER 1154 NEW BEST:: SOT 123202421 SOS 80440180 HAS SOPS 65530876 HAS SOUS 22446884 HAS SOUPS 21878856 WITH SCORE 2.195929618E7
AT ITER 1166 NEW BEST:: SOT 123203575 SOS 80432353 HAS SOPS 65509784 HAS SOUS 22408731 HAS SOUPS 21840703 WITH SCORE 2.1921135353E7
AT ITER 1172 NEW BEST:: SOT 123203533 SOS 80437291 HAS SOPS 65519864 HAS SOUS 22408464 HAS SOUPS 21840436 WITH SCORE 2.1920873291E7
AT ITER 1192 NEW BEST:: SOT 123200254 SOS 80434012 HAS SOPS 65516513 HAS SOUS 22404521 HAS SOUPS 21836493 WITH SCORE 2.1916927012E7
AT ITER 1198 NEW BEST:: SOT 123201898 SOS 80441721 HAS SOPS 65519400 HAS SOUS 22398175 HAS SOUPS 21830147 WITH SCORE 2.1910588721E7
AT ITER 1199 NEW BEST:: SOT 123206559 SOS 80448250 HAS SOPS 65512704 HAS SOUS 22384770 HAS SOUPS 21816387 WITH SCORE 2.189683525E7
AT ITER 1207 NEW BEST:: SOT 123206178 SOS 80447770 HAS SOPS 65512161 HAS SOUS 22383966 HAS SOUPS 21815583 WITH SCORE 2.189603077E7
AT ITER 1212 NEW BEST:: SOT 123205756 SOS 80447292 HAS SOPS 65511702 HAS SOUS 22383023 HAS SOUPS 21814640 WITH SCORE 2.1895087292E7
AT ITER 1216 NEW BEST:: SOT 123188705 SOS 80425772 HAS SOPS 65478617 HAS SOUS 22329169 HAS SOUPS 21760786 WITH SCORE 2.1841211772E7
AT ITER 1242 NEW BEST:: SOT 123191206 SOS 80433267 HAS SOPS 65485609 HAS SOUS 22322952 HAS SOUPS 21754412 WITH SCORE 2.1834845267E7
AT ITER 1243 NEW BEST:: SOT 123184863 SOS 80426413 HAS SOPS 65473897 HAS SOUS 22311496 HAS SOUPS 21742919 WITH SCORE 2.1823345413E7
AT ITER 1267 NEW BEST:: SOT 123328767 SOS 80640446 HAS SOPS 65680372 HAS SOUS 22299676 HAS SOUPS 21726533 WITH SCORE 2.1807173446E7
AT ITER 1287 NEW BEST:: SOT 123330977 SOS 80646748 HAS SOPS 65683504 HAS SOUS 22295456 HAS SOUPS 21722313 WITH SCORE 2.1802959748E7
AT ITER 1289 NEW BEST:: SOT 123360289 SOS 80715108 HAS SOPS 65761041 HAS SOUS 22273888 HAS SOUPS 21700745 WITH SCORE 2.1781460108E7
AT ITER 1302 NEW BEST:: SOT 123360329 SOS 80721010 HAS SOPS 65763411 HAS SOUS 22258758 HAS SOUPS 21685615 WITH SCORE 2.176633601E7
AT ITER 1306 NEW BEST:: SOT 123355919 SOS 80713606 HAS SOPS 65756153 HAS SOUS 22248235 HAS SOUPS 21675092 WITH SCORE 2.1755805606E7
AT ITER 1341 NEW BEST:: SOT 123354976 SOS 80711851 HAS SOPS 65754215 HAS SOUS 22245480 HAS SOUPS 21672337 WITH SCORE 2.1753048851E7
AT ITER 1343 NEW BEST:: SOT 123361800 SOS 80730261 HAS SOPS 65770381 HAS SOUS 22236844 HAS SOUPS 21663701 WITH SCORE 2.1744431261E7
AT ITER 1350 NEW BEST:: SOT 123335773 SOS 80703569 HAS SOPS 65743833 HAS SOUS 22209424 HAS SOUPS 21636269 WITH SCORE 2.1716972569E7
AT ITER 1381 NEW BEST:: SOT 123336840 SOS 80718784 HAS SOPS 65755022 HAS SOUS 22201590 HAS SOUPS 21628435 WITH SCORE 2.1709153784E7
AT ITER 1387 NEW BEST:: SOT 123312368 SOS 80694174 HAS SOPS 65728313 HAS SOUS 22174394 HAS SOUPS 21601069 WITH SCORE 2.1681763174E7
AT ITER 1394 NEW BEST:: SOT 123291860 SOS 80651428 HAS SOPS 65687428 HAS SOUS 22162087 HAS SOUPS 21588762 WITH SCORE 2.1669413428E7
AT ITER 1400 NEW BEST:: SOT 123294193 SOS 80658629 HAS SOPS 65691673 HAS SOUS 22158467 HAS SOUPS 21585142 WITH SCORE 2.1665800629E7
AT ITER 1409 NEW BEST:: SOT 123286512 SOS 80650558 HAS SOPS 65686781 HAS SOUS 22150205 HAS SOUPS 21576880 WITH SCORE 2.1657530558E7
AT ITER 1413 NEW BEST:: SOT 123280428 SOS 80639678 HAS SOPS 65669856 HAS SOUS 22108331 HAS SOUPS 21535006 WITH SCORE 2.1615645678E7
AT ITER 1420 NEW BEST:: SOT 123274213 SOS 80635643 HAS SOPS 65662267 HAS SOUS 22092471 HAS SOUPS 21519034 WITH SCORE 2.1599669643E7
AT ITER 1428 NEW BEST:: SOT 123284601 SOS 80687207 HAS SOPS 65717070 HAS SOUS 22090911 HAS SOUPS 21517474 WITH SCORE 2.1598161207E7
AT ITER 1455 NEW BEST:: SOT 123284069 SOS 80686559 HAS SOPS 65716410 HAS SOUS 22090035 HAS SOUPS 21516598 WITH SCORE 2.1597284559E7
AT ITER 1465 NEW BEST:: SOT 123283039 SOS 80684333 HAS SOPS 65714782 HAS SOUS 22089453 HAS SOUPS 21516027 WITH SCORE 2.1596711333E7
AT ITER 1466 NEW BEST:: SOT 123283077 SOS 80703351 HAS SOPS 65745598 HAS SOUS 22089167 HAS SOUPS 21515741 WITH SCORE 2.1596444351E7
AT ITER 1473 NEW BEST:: SOT 123281452 SOS 80701720 HAS SOPS 65743351 HAS SOUS 22085844 HAS SOUPS 21512418 WITH SCORE 2.159311972E7
AT ITER 1478 NEW BEST:: SOT 123294056 SOS 80713668 HAS SOPS 65744767 HAS SOUS 22070881 HAS SOUPS 21497455 WITH SCORE 2.1578168668E7
AT ITER 1480 NEW BEST:: SOT 123309921 SOS 80738730 HAS SOPS 65765832 HAS SOUS 22059805 HAS SOUPS 21486028 WITH SCORE 2.156676673E7
AT ITER 1483 NEW BEST:: SOT 123309902 SOS 80739581 HAS SOPS 65767992 HAS SOUS 22059790 HAS SOUPS 21486013 WITH SCORE 2.1566752581E7
AT ITER 1486 NEW BEST:: SOT 123277445 SOS 80652828 HAS SOPS 65706236 HAS SOUS 22057336 HAS SOUPS 21483485 WITH SCORE 2.1564137828E7
AT ITER 1498 NEW BEST:: SOT 123274321 SOS 80644039 HAS SOPS 65693524 HAS SOUS 22043985 HAS SOUPS 21470134 WITH SCORE 2.1550778039E7
AT ITER 1504 NEW BEST:: SOT 123274253 SOS 80644510 HAS SOPS 65693330 HAS SOUS 22043021 HAS SOUPS 21469163 WITH SCORE 2.154980751E7
AT ITER 1505 NEW BEST:: SOT 123272938 SOS 80645709 HAS SOPS 65680330 HAS SOUS 22034013 HAS SOUPS 21459972 WITH SCORE 2.1540617709E7
AT ITER 1516 NEW BEST:: SOT 123272117 SOS 80636532 HAS SOPS 65674342 HAS SOUS 22033219 HAS SOUPS 21459178 WITH SCORE 2.1539814532E7
AT ITER 1517 NEW BEST:: SOT 123335754 SOS 80730349 HAS SOPS 65740978 HAS SOUS 22028799 HAS SOUPS 21454546 WITH SCORE 2.1535276349E7
AT ITER 1527 NEW BEST:: SOT 123334678 SOS 80728992 HAS SOPS 65738069 HAS SOUS 22022943 HAS SOUPS 21448690 WITH SCORE 2.1529418992E7
AT ITER 1548 NEW BEST:: SOT 123331502 SOS 80726713 HAS SOPS 65732046 HAS SOUS 22013449 HAS SOUPS 21439196 WITH SCORE 2.1519922713E7
AT ITER 1557 NEW BEST:: SOT 123327914 SOS 80723673 HAS SOPS 65728335 HAS SOUS 22003295 HAS SOUPS 21429042 WITH SCORE 2.1509765673E7
AT ITER 1572 NEW BEST:: SOT 123323123 SOS 80717032 HAS SOPS 65725453 HAS SOUS 21987896 HAS SOUPS 21414377 WITH SCORE 2.1495094032E7
AT ITER 1580 NEW BEST:: SOT 123323045 SOS 80717074 HAS SOPS 65725513 HAS SOUS 21987872 HAS SOUPS 21414353 WITH SCORE 2.1495070074E7
AT ITER 1601 NEW BEST:: SOT 123322632 SOS 80715509 HAS SOPS 65724492 HAS SOUS 21987549 HAS SOUPS 21414030 WITH SCORE 2.1494745509E7
AT ITER 1602 NEW BEST:: SOT 123320202 SOS 80708659 HAS SOPS 65717781 HAS SOUS 21985133 HAS SOUPS 21411614 WITH SCORE 2.1492322659E7
AT ITER 1613 NEW BEST:: SOT 123313972 SOS 80694978 HAS SOPS 65707165 HAS SOUS 21983093 HAS SOUPS 21409574 WITH SCORE 2.1490268978E7
AT ITER 1616 NEW BEST:: SOT 123315657 SOS 80698287 HAS SOPS 65709536 HAS SOUS 21982606 HAS SOUPS 21409087 WITH SCORE 2.1489785287E7
AT ITER 1619 NEW BEST:: SOT 123295537 SOS 80670204 HAS SOPS 65685695 HAS SOUS 21944309 HAS SOUPS 21371023 WITH SCORE 2.1451693204E7
AT ITER 1627 NEW BEST:: SOT 123301722 SOS 80677748 HAS SOPS 65677746 HAS SOUS 21921041 HAS SOUPS 21347755 WITH SCORE 2.1428432748E7
AT ITER 1635 NEW BEST:: SOT 123291391 SOS 80690972 HAS SOPS 65694589 HAS SOUS 21920954 HAS SOUPS 21347668 WITH SCORE 2.1428358972E7
AT ITER 1642 NEW BEST:: SOT 123272576 SOS 80668758 HAS SOPS 65663931 HAS SOUS 21873874 HAS SOUPS 21300588 WITH SCORE 2.1381256758E7
AT ITER 1647 NEW BEST:: SOT 123272879 SOS 80668986 HAS SOPS 65664142 HAS SOUS 21873699 HAS SOUPS 21300413 WITH SCORE 2.1381081986E7
AT ITER 1665 NEW BEST:: SOT 123271829 SOS 80666948 HAS SOPS 65662133 HAS SOUS 21872687 HAS SOUPS 21299401 WITH SCORE 2.1380067948E7
AT ITER 1666 NEW BEST:: SOT 123264446 SOS 80662798 HAS SOPS 65656573 HAS SOUS 21868519 HAS SOUPS 21294671 WITH SCORE 2.1375333798E7
AT ITER 1674 NEW BEST:: SOT 123275146 SOS 80694780 HAS SOPS 65689416 HAS SOUS 21857487 HAS SOUPS 21283639 WITH SCORE 2.136433378E7
AT ITER 1686 NEW BEST:: SOT 123272100 SOS 80688254 HAS SOPS 65684040 HAS SOUS 21855410 HAS SOUPS 21281562 WITH SCORE 2.1362250254E7
AT ITER 1703 NEW BEST:: SOT 123275719 SOS 80696486 HAS SOPS 65693947 HAS SOUS 21854348 HAS SOUPS 21280500 WITH SCORE 2.1361196486E7
AT ITER 1709 NEW BEST:: SOT 123270184 SOS 80693999 HAS SOPS 65689017 HAS SOUS 21852297 HAS SOUPS 21278357 WITH SCORE 2.1359050999E7
AT ITER 1717 NEW BEST:: SOT 123266822 SOS 80688424 HAS SOPS 65687140 HAS SOUS 21847161 HAS SOUPS 21273460 WITH SCORE 2.1354148424E7
AT ITER 1722 NEW BEST:: SOT 123221817 SOS 80603394 HAS SOPS 65623852 HAS SOUS 21790405 HAS SOUPS 21218161 WITH SCORE 2.1298764394E7
AT ITER 1725 NEW BEST:: SOT 123220574 SOS 80601622 HAS SOPS 65621925 HAS SOUS 21786949 HAS SOUPS 21214705 WITH SCORE 2.1295306622E7
AT ITER 1756 NEW BEST:: SOT 123219714 SOS 80600867 HAS SOPS 65621035 HAS SOUS 21785714 HAS SOUPS 21213455 WITH SCORE 2.1294055867E7
AT ITER 1759 NEW BEST:: SOT 123218408 SOS 80604245 HAS SOPS 65622759 HAS SOUS 21770340 HAS SOUPS 21198081 WITH SCORE 2.1278685245E7
AT ITER 1760 NEW BEST:: SOT 123215905 SOS 80599870 HAS SOPS 65624580 HAS SOUS 21770001 HAS SOUPS 21197841 WITH SCORE 2.127844087E7
AT ITER 1778 NEW BEST:: SOT 123225025 SOS 80629672 HAS SOPS 65662795 HAS SOUS 21769873 HAS SOUPS 21197713 WITH SCORE 2.1278342672E7
AT ITER 1782 NEW BEST:: SOT 123227480 SOS 80634109 HAS SOPS 65667636 HAS SOUS 21767857 HAS SOUPS 21195697 WITH SCORE 2.1276331109E7
AT ITER 1783 NEW BEST:: SOT 123232617 SOS 80643704 HAS SOPS 65691607 HAS SOUS 21760738 HAS SOUPS 21189021 WITH SCORE 2.1269664704E7
AT ITER 1799 NEW BEST:: SOT 123233605 SOS 80643151 HAS SOPS 65686945 HAS SOUS 21748835 HAS SOUPS 21177118 WITH SCORE 2.1257761151E7
AT ITER 1810 NEW BEST:: SOT 123233590 SOS 80641934 HAS SOPS 65685265 HAS SOUS 21748823 HAS SOUPS 21177106 WITH SCORE 2.1257747934E7
AT ITER 1815 NEW BEST:: SOT 123231315 SOS 80639827 HAS SOPS 65681562 HAS SOUS 21741721 HAS SOUPS 21169468 WITH SCORE 2.1250107827E7
AT ITER 1822 NEW BEST:: SOT 123233486 SOS 80644846 HAS SOPS 65687047 HAS SOUS 21724930 HAS SOUPS 21154933 WITH SCORE 2.1235577846E7
AT ITER 1829 NEW BEST:: SOT 123233918 SOS 80655686 HAS SOPS 65690621 HAS SOUS 21724830 HAS SOUPS 21154833 WITH SCORE 2.1235488686E7
AT ITER 1830 NEW BEST:: SOT 123233258 SOS 80654697 HAS SOPS 65689302 HAS SOUS 21723113 HAS SOUPS 21153144 WITH SCORE 2.1233798697E7
AT ITER 1836 NEW BEST:: SOT 123233224 SOS 80654682 HAS SOPS 65689269 HAS SOUS 21722965 HAS SOUPS 21152996 WITH SCORE 2.1233650682E7
AT ITER 1843 NEW BEST:: SOT 123216952 SOS 80637865 HAS SOPS 65667927 HAS SOUS 21693354 HAS SOUPS 21123463 WITH SCORE 2.1204100865E7
AT ITER 1846 NEW BEST:: SOT 123216770 SOS 80639609 HAS SOPS 65668390 HAS SOUS 21692962 HAS SOUPS 21123043 WITH SCORE 2.1203682609E7
AT ITER 1852 NEW BEST:: SOT 123220667 SOS 80647694 HAS SOPS 65673506 HAS SOUS 21692433 HAS SOUPS 21122467 WITH SCORE 2.1203114694E7
AT ITER 1880 NEW BEST:: SOT 123236649 SOS 80675034 HAS SOPS 65695854 HAS SOUS 21692150 HAS SOUPS 21122034 WITH SCORE 2.1202709034E7
AT ITER 1883 NEW BEST:: SOT 123252863 SOS 80699337 HAS SOPS 65726429 HAS SOUS 21688968 HAS SOUPS 21118944 WITH SCORE 2.1199643337E7
AT ITER 1887 NEW BEST:: SOT 123254084 SOS 80708489 HAS SOPS 65730841 HAS SOUS 21684700 HAS SOUPS 21114676 WITH SCORE 2.1195384489E7
AT ITER 1889 NEW BEST:: SOT 123253316 SOS 80706262 HAS SOPS 65737891 HAS SOUS 21684596 HAS SOUPS 21114572 WITH SCORE 2.1195278262E7
AT ITER 1891 NEW BEST:: SOT 123253051 SOS 80705877 HAS SOPS 65738410 HAS SOUS 21682151 HAS SOUPS 21112127 WITH SCORE 2.1192832877E7
AT ITER 1913 NEW BEST:: SOT 123250555 SOS 80702995 HAS SOPS 65734828 HAS SOUS 21678057 HAS SOUPS 21108033 WITH SCORE 2.1188735995E7
AT ITER 1914 NEW BEST:: SOT 123243438 SOS 80674862 HAS SOPS 65716437 HAS SOUS 21674847 HAS SOUPS 21104892 WITH SCORE 2.1185566862E7
AT ITER 1916 NEW BEST:: SOT 123232770 SOS 80664465 HAS SOPS 65701666 HAS SOUS 21648681 HAS SOUPS 21078814 WITH SCORE 2.1159478465E7
AT ITER 1922 NEW BEST:: SOT 123221952 SOS 80650756 HAS SOPS 65687529 HAS SOUS 21634055 HAS SOUPS 21064267 WITH SCORE 2.1144917756E7
AT ITER 1923 NEW BEST:: SOT 123224749 SOS 80659238 HAS SOPS 65696873 HAS SOUS 21606538 HAS SOUPS 21036975 WITH SCORE 2.1117634238E7
AT ITER 1931 NEW BEST:: SOT 123234751 SOS 80690441 HAS SOPS 65721503 HAS SOUS 21600880 HAS SOUPS 21031317 WITH SCORE 2.1112007441E7
AT ITER 1937 NEW BEST:: SOT 123234309 SOS 80690019 HAS SOPS 65721013 HAS SOUS 21599028 HAS SOUPS 21029563 WITH SCORE 2.1110253019E7
AT ITER 1940 NEW BEST:: SOT 123247447 SOS 80700043 HAS SOPS 65728254 HAS SOUS 21597476 HAS SOUPS 21027915 WITH SCORE 2.1108615043E7
AT ITER 1959 NEW BEST:: SOT 123242491 SOS 80697285 HAS SOPS 65723841 HAS SOUS 21593206 HAS SOUPS 21023645 WITH SCORE 2.1104342285E7
AT ITER 1972 NEW BEST:: SOT 123278844 SOS 80786075 HAS SOPS 65805504 HAS SOUS 21586709 HAS SOUPS 21017000 WITH SCORE 2.1097786075E7
AT ITER 1987 NEW BEST:: SOT 123271823 SOS 80781853 HAS SOPS 65805279 HAS SOUS 21570764 HAS SOUPS 21001300 WITH SCORE 2.1082081853E7
AT ITER 1991 NEW BEST:: SOT 123273231 SOS 80783472 HAS SOPS 65807520 HAS SOUS 21569749 HAS SOUPS 21000285 WITH SCORE 2.1081068472E7
AT ITER 2000 NEW BEST:: SOT 123263252 SOS 80764278 HAS SOPS 65802653 HAS SOUS 21551799 HAS SOUPS 20982335 WITH SCORE 2.1063099278E7
AT ITER 2059 NEW BEST:: SOT 123263126 SOS 80764954 HAS SOPS 65799820 HAS SOUS 21548071 HAS SOUPS 20978607 WITH SCORE 2.1059371954E7
AT ITER 2068 NEW BEST:: SOT 123271350 SOS 80791638 HAS SOPS 65814353 HAS SOUS 21530346 HAS SOUPS 20960716 WITH SCORE 2.1041507638E7
AT ITER 2069 NEW BEST:: SOT 123314381 SOS 80882150 HAS SOPS 65892172 HAS SOUS 21510769 HAS SOUPS 20941139 WITH SCORE 2.102202115E7
AT ITER 2075 NEW BEST:: SOT 123311944 SOS 80879552 HAS SOPS 65888723 HAS SOUS 21505165 HAS SOUPS 20935518 WITH SCORE 2.1016397552E7
AT ITER 2083 NEW BEST:: SOT 123303707 SOS 80876956 HAS SOPS 65907436 HAS SOUS 21501932 HAS SOUPS 20932274 WITH SCORE 2.1013150956E7
AT ITER 2142 NEW BEST:: SOT 123302816 SOS 80875729 HAS SOPS 65906177 HAS SOUS 21500705 HAS SOUPS 20931063 WITH SCORE 2.1011938729E7
AT ITER 2144 NEW BEST:: SOT 123300610 SOS 80873579 HAS SOPS 65902555 HAS SOUS 21493406 HAS SOUPS 20923764 WITH SCORE 2.1004637579E7
AT ITER 2147 NEW BEST:: SOT 123272752 SOS 80840934 HAS SOPS 65878452 HAS SOUS 21459734 HAS SOUPS 20890302 WITH SCORE 2.0971142934E7
AT ITER 2156 NEW BEST:: SOT 123292152 SOS 80902146 HAS SOPS 65928473 HAS SOUS 21449312 HAS SOUPS 20879880 WITH SCORE 2.0960782146E7
AT ITER 2160 NEW BEST:: SOT 123296448 SOS 80909020 HAS SOPS 65926634 HAS SOUS 21449023 HAS SOUPS 20879591 WITH SCORE 2.096050002E7
AT ITER 2164 NEW BEST:: SOT 123302248 SOS 80933391 HAS SOPS 65944673 HAS SOUS 21435191 HAS SOUPS 20865759 WITH SCORE 2.0946692391E7
AT ITER 2170 NEW BEST:: SOT 123269032 SOS 80818923 HAS SOPS 65851967 HAS SOUS 21433954 HAS SOUPS 20864522 WITH SCORE 2.0945340923E7
AT ITER 2206 NEW BEST:: SOT 123270602 SOS 80817123 HAS SOPS 65852287 HAS SOUS 21428061 HAS SOUPS 20858629 WITH SCORE 2.0939446123E7
AT ITER 2208 NEW BEST:: SOT 123270600 SOS 80817346 HAS SOPS 65852517 HAS SOUS 21427169 HAS SOUPS 20857744 WITH SCORE 2.0938561346E7
AT ITER 2212 NEW BEST:: SOT 123270600 SOS 80819074 HAS SOPS 65854821 HAS SOUS 21427150 HAS SOUPS 20857725 WITH SCORE 2.0938544074E7
AT ITER 2213 NEW BEST:: SOT 123233089 SOS 80760639 HAS SOPS 65800956 HAS SOUS 21382974 HAS SOUPS 20813549 WITH SCORE 2.0894309639E7
AT ITER 2217 NEW BEST:: SOT 123233033 SOS 80756775 HAS SOPS 65797740 HAS SOUS 21382865 HAS SOUPS 20813440 WITH SCORE 2.0894196775E7
AT ITER 2226 NEW BEST:: SOT 123230665 SOS 80755393 HAS SOPS 65797197 HAS SOUS 21373851 HAS SOUPS 20804426 WITH SCORE 2.0885181393E7
AT ITER 2242 NEW BEST:: SOT 123229761 SOS 80750090 HAS SOPS 65794116 HAS SOUS 21373353 HAS SOUPS 20803928 WITH SCORE 2.088467809E7
AT ITER 2276 NEW BEST:: SOT 123226472 SOS 80748030 HAS SOPS 65795171 HAS SOUS 21371950 HAS SOUPS 20802525 WITH SCORE 2.088327303E7
AT ITER 2278 NEW BEST:: SOT 123223430 SOS 80739422 HAS SOPS 65785370 HAS SOUS 21354912 HAS SOUPS 20785487 WITH SCORE 2.0866226422E7
AT ITER 2284 NEW BEST:: SOT 123217708 SOS 80729354 HAS SOPS 65775599 HAS SOUS 21347310 HAS SOUPS 20777885 WITH SCORE 2.0858614354E7
AT ITER 2297 NEW BEST:: SOT 123210054 SOS 80719620 HAS SOPS 65762651 HAS SOUS 21324509 HAS SOUPS 20755206 WITH SCORE 2.083592562E7
AT ITER 2305 NEW BEST:: SOT 123208104 SOS 80716743 HAS SOPS 65758477 HAS SOUS 21324161 HAS SOUPS 20754858 WITH SCORE 2.0835574743E7
AT ITER 2308 NEW BEST:: SOT 123215332 SOS 80735486 HAS SOPS 65770458 HAS SOUS 21311370 HAS SOUPS 20742067 WITH SCORE 2.0822802486E7
AT ITER 2311 NEW BEST:: SOT 123212852 SOS 80734702 HAS SOPS 65769324 HAS SOUS 21304042 HAS SOUPS 20734739 WITH SCORE 2.0815473702E7
AT ITER 2321 NEW BEST:: SOT 123220663 SOS 80740497 HAS SOPS 65793049 HAS SOUS 21290949 HAS SOUPS 20722027 WITH SCORE 2.0802767497E7
AT ITER 2323 NEW BEST:: SOT 123219342 SOS 80738832 HAS SOPS 65790972 HAS SOUS 21286552 HAS SOUPS 20717658 WITH SCORE 2.0798396832E7
AT ITER 2355 NEW BEST:: SOT 123194819 SOS 80677309 HAS SOPS 65740846 HAS SOUS 21268151 HAS SOUPS 20699557 WITH SCORE 2.0780234309E7
AT ITER 2356 NEW BEST:: SOT 123137223 SOS 80618081 HAS SOPS 65683185 HAS SOUS 21165217 HAS SOUPS 20596672 WITH SCORE 2.0677290081E7
AT ITER 2357 NEW BEST:: SOT 123137099 SOS 80617923 HAS SOPS 65682972 HAS SOUS 21164997 HAS SOUPS 20596453 WITH SCORE 2.0677070923E7
AT ITER 2361 NEW BEST:: SOT 123137412 SOS 80618773 HAS SOPS 65683651 HAS SOUS 21164957 HAS SOUPS 20596413 WITH SCORE 2.0677031773E7
AT ITER 2367 NEW BEST:: SOT 123139774 SOS 80627354 HAS SOPS 65692726 HAS SOUS 21158309 HAS SOUPS 20589818 WITH SCORE 2.0670445354E7
AT ITER 2374 NEW BEST:: SOT 123147784 SOS 80636054 HAS SOPS 65704033 HAS SOUS 21156938 HAS SOUPS 20589078 WITH SCORE 2.0669714054E7
AT ITER 2392 NEW BEST:: SOT 123147784 SOS 80649358 HAS SOPS 65729881 HAS SOUS 21156776 HAS SOUPS 20588916 WITH SCORE 2.0669565358E7
AT ITER 2394 NEW BEST:: SOT 123146327 SOS 80648440 HAS SOPS 65729884 HAS SOUS 21151761 HAS SOUPS 20583901 WITH SCORE 2.066454944E7
AT ITER 2395 NEW BEST:: SOT 123137689 SOS 80637442 HAS SOPS 65716352 HAS SOUS 21136752 HAS SOUPS 20568903 WITH SCORE 2.0649540442E7
AT ITER 2401 NEW BEST:: SOT 123178205 SOS 80693648 HAS SOPS 65775150 HAS SOUS 21131110 HAS SOUPS 20565570 WITH SCORE 2.0646263648E7
AT ITER 2417 NEW BEST:: SOT 123168237 SOS 80676130 HAS SOPS 65763257 HAS SOUS 21095134 HAS SOUPS 20529849 WITH SCORE 2.061052513E7
AT ITER 2418 NEW BEST:: SOT 123203315 SOS 80763300 HAS SOPS 65835985 HAS SOUS 21035447 HAS SOUPS 20469969 WITH SCORE 2.05507323E7
AT ITER 2421 NEW BEST:: SOT 123200402 SOS 80759763 HAS SOPS 65832845 HAS SOUS 21033084 HAS SOUPS 20467606 WITH SCORE 2.0548365763E7
AT ITER 2432 NEW BEST:: SOT 123175837 SOS 80703801 HAS SOPS 65799396 HAS SOUS 21024204 HAS SOUPS 20459007 WITH SCORE 2.0539710801E7
AT ITER 2451 NEW BEST:: SOT 123138231 SOS 80672663 HAS SOPS 65759485 HAS SOUS 20986906 HAS SOUPS 20419237 WITH SCORE 2.0499909663E7
AT ITER 2460 NEW BEST:: SOT 123142143 SOS 80675753 HAS SOPS 65758375 HAS SOUS 20979547 HAS SOUPS 20412115 WITH SCORE 2.0492790753E7
AT ITER 2461 NEW BEST:: SOT 123141831 SOS 80675367 HAS SOPS 65757889 HAS SOUS 20979089 HAS SOUPS 20411657 WITH SCORE 2.0492332367E7

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

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