Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538300059.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300059
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.1K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 64K May 12 20:42 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 SmartHome-PT-08-CTLCardinality-00
FORMULA_NAME SmartHome-PT-08-CTLCardinality-01
FORMULA_NAME SmartHome-PT-08-CTLCardinality-02
FORMULA_NAME SmartHome-PT-08-CTLCardinality-03
FORMULA_NAME SmartHome-PT-08-CTLCardinality-04
FORMULA_NAME SmartHome-PT-08-CTLCardinality-05
FORMULA_NAME SmartHome-PT-08-CTLCardinality-06
FORMULA_NAME SmartHome-PT-08-CTLCardinality-07
FORMULA_NAME SmartHome-PT-08-CTLCardinality-08
FORMULA_NAME SmartHome-PT-08-CTLCardinality-09
FORMULA_NAME SmartHome-PT-08-CTLCardinality-10
FORMULA_NAME SmartHome-PT-08-CTLCardinality-11
FORMULA_NAME SmartHome-PT-08-CTLCardinality-12
FORMULA_NAME SmartHome-PT-08-CTLCardinality-13
FORMULA_NAME SmartHome-PT-08-CTLCardinality-14
FORMULA_NAME SmartHome-PT-08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590469749215

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 08
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: 252 places, 291 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 43937 SOS 10855 HAS SOPS 10855 HAS SOUS 10499 HAS SOUPS 10499 WITH SCORE 10509.855
AT ITER 4 NEW BEST:: SOT 43921 SOS 10821 HAS SOPS 10821 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10449.821
AT ITER 23 NEW BEST:: SOT 43921 SOS 10804 HAS SOPS 10804 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10432.804
AT ITER 29 NEW BEST:: SOT 43896 SOS 10779 HAS SOPS 10779 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10407.779
AT ITER 34 NEW BEST:: SOT 43866 SOS 10749 HAS SOPS 10749 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10377.749
AT ITER 38 NEW BEST:: SOT 43842 SOS 10733 HAS SOPS 10733 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10323.733
AT ITER 43 NEW BEST:: SOT 43842 SOS 10729 HAS SOPS 10729 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10319.729
AT ITER 52 NEW BEST:: SOT 43823 SOS 10691 HAS SOPS 10691 HAS SOUS 10248 HAS SOUPS 10248 WITH SCORE 10258.691
AT ITER 70 NEW BEST:: SOT 43823 SOS 10672 HAS SOPS 10672 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10239.672
AT ITER 72 NEW BEST:: SOT 43726 SOS 10624 HAS SOPS 10624 HAS SOUS 10138 HAS SOUPS 10138 WITH SCORE 10148.624
AT ITER 82 NEW BEST:: SOT 43721 SOS 10614 HAS SOPS 10614 HAS SOUS 10134 HAS SOUPS 10134 WITH SCORE 10144.614
AT ITER 84 NEW BEST:: SOT 43521 SOS 10532 HAS SOPS 10532 HAS SOUS 9991 HAS SOUPS 9991 WITH SCORE 10001.532
AT ITER 85 NEW BEST:: SOT 43514 SOS 10518 HAS SOPS 10518 HAS SOUS 9939 HAS SOUPS 9939 WITH SCORE 9949.518
AT ITER 95 NEW BEST:: SOT 43518 SOS 10522 HAS SOPS 10522 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9948.522
AT ITER 96 NEW BEST:: SOT 43518 SOS 10511 HAS SOPS 10511 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9937.511
AT ITER 98 NEW BEST:: SOT 43514 SOS 10503 HAS SOPS 10503 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9929.503
AT ITER 99 NEW BEST:: SOT 43154 SOS 11104 HAS SOPS 11104 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9739.104
AT ITER 113 NEW BEST:: SOT 43153 SOS 11102 HAS SOPS 11102 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9737.102
AT ITER 161 NEW BEST:: SOT 43151 SOS 11098 HAS SOPS 11098 HAS SOUS 9722 HAS SOUPS 9722 WITH SCORE 9733.098
AT ITER 173 NEW BEST:: SOT 43151 SOS 11067 HAS SOPS 11067 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9712.067
AT ITER 193 NEW BEST:: SOT 42855 SOS 11220 HAS SOPS 11220 HAS SOUS 9405 HAS SOUPS 9405 WITH SCORE 9416.22
AT ITER 201 NEW BEST:: SOT 42855 SOS 11218 HAS SOPS 11218 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9414.218
AT ITER 208 NEW BEST:: SOT 42837 SOS 11200 HAS SOPS 11200 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9414.2
AT ITER 209 NEW BEST:: SOT 42808 SOS 11146 HAS SOPS 11146 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9360.146
AT ITER 212 NEW BEST:: SOT 42603 SOS 12316 HAS SOPS 12316 HAS SOUS 9295 HAS SOUPS 9295 WITH SCORE 9307.316
AT ITER 266 NEW BEST:: SOT 42590 SOS 12314 HAS SOPS 12314 HAS SOUS 9293 HAS SOUPS 9293 WITH SCORE 9305.314
AT ITER 278 NEW BEST:: SOT 42575 SOS 12284 HAS SOPS 12284 HAS SOUS 9268 HAS SOUPS 9268 WITH SCORE 9280.284
AT ITER 279 NEW BEST:: SOT 42603 SOS 12306 HAS SOPS 12306 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9274.306
AT ITER 281 NEW BEST:: SOT 42549 SOS 12264 HAS SOPS 12264 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9232.264
AT ITER 289 NEW BEST:: SOT 42528 SOS 12243 HAS SOPS 12243 HAS SOUS 9199 HAS SOUPS 9199 WITH SCORE 9211.243
AT ITER 305 NEW BEST:: SOT 42491 SOS 12195 HAS SOPS 12195 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9173.195
AT ITER 308 NEW BEST:: SOT 42487 SOS 12187 HAS SOPS 12187 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9170.187
AT ITER 312 NEW BEST:: SOT 42487 SOS 12172 HAS SOPS 12172 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9170.172
AT ITER 319 NEW BEST:: SOT 42484 SOS 12166 HAS SOPS 12166 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9167.166
AT ITER 344 NEW BEST:: SOT 42410 SOS 12200 HAS SOPS 12200 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9107.2
AT ITER 348 NEW BEST:: SOT 42409 SOS 12198 HAS SOPS 12198 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9107.198
AT ITER 350 NEW BEST:: SOT 42409 SOS 12179 HAS SOPS 12179 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9088.179
AT ITER 353 NEW BEST:: SOT 42371 SOS 12141 HAS SOPS 12141 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9013.141
AT ITER 368 NEW BEST:: SOT 42360 SOS 12119 HAS SOPS 12119 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 8991.119
AT ITER 370 NEW BEST:: SOT 42401 SOS 12103 HAS SOPS 12103 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8988.103
AT ITER 379 NEW BEST:: SOT 42401 SOS 11893 HAS SOPS 11893 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8977.893
AT ITER 397 NEW BEST:: SOT 42400 SOS 11891 HAS SOPS 11891 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8976.891
AT ITER 398 NEW BEST:: SOT 42388 SOS 11875 HAS SOPS 11875 HAS SOUS 8945 HAS SOUPS 8945 WITH SCORE 8956.875
AT ITER 407 NEW BEST:: SOT 42190 SOS 12827 HAS SOPS 12827 HAS SOUS 8842 HAS SOUPS 8842 WITH SCORE 8854.827
AT ITER 419 NEW BEST:: SOT 42190 SOS 12808 HAS SOPS 12808 HAS SOUS 8823 HAS SOUPS 8823 WITH SCORE 8835.808
AT ITER 425 NEW BEST:: SOT 42030 SOS 12614 HAS SOPS 12614 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8630.614
AT ITER 433 NEW BEST:: SOT 42033 SOS 12576 HAS SOPS 12576 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8592.576
AT ITER 437 NEW BEST:: SOT 42033 SOS 12601 HAS SOPS 12601 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8589.601
AT ITER 439 NEW BEST:: SOT 42022 SOS 12579 HAS SOPS 12579 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8568.579
AT ITER 444 NEW BEST:: SOT 42014 SOS 12563 HAS SOPS 12563 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8566.563
AT ITER 454 NEW BEST:: SOT 42012 SOS 12554 HAS SOPS 12554 HAS SOUS 8550 HAS SOUPS 8550 WITH SCORE 8562.554
AT ITER 484 NEW BEST:: SOT 41960 SOS 12450 HAS SOPS 12450 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8513.45
AT ITER 488 NEW BEST:: SOT 41933 SOS 12450 HAS SOPS 12450 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8512.45
AT ITER 489 NEW BEST:: SOT 41893 SOS 12370 HAS SOPS 12370 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8452.37
AT ITER 505 NEW BEST:: SOT 41831 SOS 12308 HAS SOPS 12308 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8421.308
AT ITER 523 NEW BEST:: SOT 41838 SOS 12298 HAS SOPS 12298 HAS SOUS 8399 HAS SOUPS 8399 WITH SCORE 8411.298
AT ITER 538 NEW BEST:: SOT 41822 SOS 12266 HAS SOPS 12266 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8395.266
AT ITER 556 NEW BEST:: SOT 41826 SOS 12274 HAS SOPS 12274 HAS SOUS 8381 HAS SOUPS 8381 WITH SCORE 8393.274
AT ITER 576 NEW BEST:: SOT 41787 SOS 12269 HAS SOPS 12269 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8346.269
AT ITER 581 NEW BEST:: SOT 41792 SOS 12279 HAS SOPS 12279 HAS SOUS 8331 HAS SOUPS 8331 WITH SCORE 8343.279
AT ITER 587 NEW BEST:: SOT 41792 SOS 12279 HAS SOPS 12279 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8333.279
AT ITER 593 NEW BEST:: SOT 41792 SOS 12278 HAS SOPS 12278 HAS SOUS 8320 HAS SOUPS 8320 WITH SCORE 8332.278
AT ITER 594 NEW BEST:: SOT 41682 SOS 12176 HAS SOPS 12176 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8230.176
AT ITER 608 NEW BEST:: SOT 41678 SOS 12168 HAS SOPS 12168 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8222.168
AT ITER 616 NEW BEST:: SOT 41676 SOS 12164 HAS SOPS 12164 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8197.164
AT ITER 622 NEW BEST:: SOT 41675 SOS 12162 HAS SOPS 12162 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8188.162
AT ITER 628 NEW BEST:: SOT 41660 SOS 11922 HAS SOPS 11922 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8157.922
AT ITER 630 NEW BEST:: SOT 41644 SOS 11890 HAS SOPS 11890 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8125.89
AT ITER 648 NEW BEST:: SOT 41528 SOS 11902 HAS SOPS 11902 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8037.902
AT ITER 650 NEW BEST:: SOT 41528 SOS 11902 HAS SOPS 11902 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8034.902
AT ITER 651 NEW BEST:: SOT 41527 SOS 11905 HAS SOPS 11905 HAS SOUS 8022 HAS SOUPS 8022 WITH SCORE 8033.905
AT ITER 658 NEW BEST:: SOT 41524 SOS 11915 HAS SOPS 11915 HAS SOUS 8019 HAS SOUPS 8019 WITH SCORE 8030.915
AT ITER 718 NEW BEST:: SOT 41521 SOS 11909 HAS SOPS 11909 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8024.909
AT ITER 729 NEW BEST:: SOT 41487 SOS 11841 HAS SOPS 11841 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7956.841
AT ITER 741 NEW BEST:: SOT 41487 SOS 11813 HAS SOPS 11813 HAS SOUS 7945 HAS SOUPS 7945 WITH SCORE 7956.813
AT ITER 746 NEW BEST:: SOT 41487 SOS 11802 HAS SOPS 11802 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7945.802
AT ITER 749 NEW BEST:: SOT 41487 SOS 11799 HAS SOPS 11799 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7945.799
AT ITER 783 NEW BEST:: SOT 41473 SOS 11771 HAS SOPS 11771 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7908.771
AT ITER 798 NEW BEST:: SOT 41449 SOS 11723 HAS SOPS 11723 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7884.723
AT ITER 810 NEW BEST:: SOT 41449 SOS 11713 HAS SOPS 11713 HAS SOUS 7863 HAS SOUPS 7863 WITH SCORE 7874.713
AT ITER 812 NEW BEST:: SOT 41432 SOS 11719 HAS SOPS 11719 HAS SOUS 7852 HAS SOUPS 7852 WITH SCORE 7863.719
AT ITER 814 NEW BEST:: SOT 41437 SOS 11597 HAS SOPS 11597 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7861.597
AT ITER 842 NEW BEST:: SOT 41401 SOS 11543 HAS SOPS 11543 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7825.543
AT ITER 863 NEW BEST:: SOT 41476 SOS 11693 HAS SOPS 11693 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7819.693
AT ITER 865 NEW BEST:: SOT 41464 SOS 11681 HAS SOPS 11681 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7800.681
AT ITER 866 NEW BEST:: SOT 41474 SOS 11680 HAS SOPS 11680 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7780.68
AT ITER 876 NEW BEST:: SOT 41472 SOS 11676 HAS SOPS 11676 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7778.676
AT ITER 879 NEW BEST:: SOT 41479 SOS 11284 HAS SOPS 11284 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7756.284
AT ITER 887 NEW BEST:: SOT 41486 SOS 11232 HAS SOPS 11232 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7694.232
AT ITER 890 NEW BEST:: SOT 41483 SOS 11226 HAS SOPS 11226 HAS SOUS 7683 HAS SOUPS 7683 WITH SCORE 7694.226
AT ITER 891 NEW BEST:: SOT 41492 SOS 11223 HAS SOPS 11223 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7676.223
AT ITER 900 NEW BEST:: SOT 41490 SOS 11219 HAS SOPS 11219 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7672.219
AT ITER 917 NEW BEST:: SOT 41464 SOS 11167 HAS SOPS 11167 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7655.167
AT ITER 930 NEW BEST:: SOT 41463 SOS 11165 HAS SOPS 11165 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7653.165
AT ITER 931 NEW BEST:: SOT 41431 SOS 11597 HAS SOPS 11597 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7645.597
AT ITER 943 NEW BEST:: SOT 41431 SOS 11592 HAS SOPS 11592 HAS SOUS 7634 HAS SOUPS 7634 WITH SCORE 7645.592
AT ITER 956 NEW BEST:: SOT 41395 SOS 11520 HAS SOPS 11520 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7626.52
AT ITER 959 NEW BEST:: SOT 41394 SOS 11518 HAS SOPS 11518 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7626.518
AT ITER 961 NEW BEST:: SOT 41394 SOS 11518 HAS SOPS 11518 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7613.518
AT ITER 999 NEW BEST:: SOT 41390 SOS 11502 HAS SOPS 11502 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7605.502
AT ITER 1004 NEW BEST:: SOT 41389 SOS 11499 HAS SOPS 11499 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7603.499
AT ITER 1007 NEW BEST:: SOT 41385 SOS 11491 HAS SOPS 11491 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7595.491
AT ITER 1012 NEW BEST:: SOT 41366 SOS 11481 HAS SOPS 11481 HAS SOUS 7574 HAS SOUPS 7574 WITH SCORE 7585.481
AT ITER 1026 NEW BEST:: SOT 41361 SOS 11471 HAS SOPS 11471 HAS SOUS 7569 HAS SOUPS 7569 WITH SCORE 7580.471
AT ITER 1032 NEW BEST:: SOT 41377 SOS 11503 HAS SOPS 11503 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7552.503
AT ITER 1033 NEW BEST:: SOT 41371 SOS 11491 HAS SOPS 11491 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7540.491
AT ITER 1042 NEW BEST:: SOT 41350 SOS 11455 HAS SOPS 11455 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7534.455
AT ITER 1054 NEW BEST:: SOT 41325 SOS 11440 HAS SOPS 11440 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.44
AT ITER 1058 NEW BEST:: SOT 41315 SOS 11430 HAS SOPS 11430 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.43
AT ITER 1059 NEW BEST:: SOT 41302 SOS 11516 HAS SOPS 11516 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7519.516
AT ITER 1086 NEW BEST:: SOT 41300 SOS 11512 HAS SOPS 11512 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7513.512
AT ITER 1096 NEW BEST:: SOT 41295 SOS 11502 HAS SOPS 11502 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7498.502
AT ITER 1112 NEW BEST:: SOT 41277 SOS 11466 HAS SOPS 11466 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7462.466
AT ITER 1155 NEW BEST:: SOT 41271 SOS 11457 HAS SOPS 11457 HAS SOUS 7442 HAS SOUPS 7442 WITH SCORE 7453.457
AT ITER 1156 NEW BEST:: SOT 41269 SOS 11453 HAS SOPS 11453 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7449.453
AT ITER 1168 NEW BEST:: SOT 41254 SOS 11441 HAS SOPS 11441 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7437.441
AT ITER 1174 NEW BEST:: SOT 41254 SOS 11426 HAS SOPS 11426 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7429.426
AT ITER 1185 NEW BEST:: SOT 41244 SOS 11416 HAS SOPS 11416 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7422.416
AT ITER 1187 NEW BEST:: SOT 41242 SOS 11414 HAS SOPS 11414 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7420.414
AT ITER 1197 NEW BEST:: SOT 41242 SOS 11414 HAS SOPS 11414 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7394.414
AT ITER 1198 NEW BEST:: SOT 41241 SOS 11412 HAS SOPS 11412 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7392.412
AT ITER 1235 NEW BEST:: SOT 41226 SOS 11392 HAS SOPS 11392 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7372.392
AT ITER 1287 NEW BEST:: SOT 41216 SOS 11381 HAS SOPS 11381 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7361.381
AT ITER 1292 NEW BEST:: SOT 41213 SOS 11375 HAS SOPS 11375 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7357.375
AT ITER 1318 NEW BEST:: SOT 41201 SOS 11351 HAS SOPS 11351 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7345.351
AT ITER 1332 NEW BEST:: SOT 41199 SOS 11347 HAS SOPS 11347 HAS SOUS 7330 HAS SOUPS 7330 WITH SCORE 7341.347
AT ITER 1348 NEW BEST:: SOT 41197 SOS 11341 HAS SOPS 11341 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7329.341
AT ITER 1364 NEW BEST:: SOT 41182 SOS 11281 HAS SOPS 11281 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7299.281
AT ITER 1382 NEW BEST:: SOT 41186 SOS 11285 HAS SOPS 11285 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7297.285
AT ITER 1387 NEW BEST:: SOT 41180 SOS 11279 HAS SOPS 11279 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7297.279
AT ITER 1402 NEW BEST:: SOT 41173 SOS 11272 HAS SOPS 11272 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7297.272
AT ITER 1421 NEW BEST:: SOT 41171 SOS 11268 HAS SOPS 11268 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7293.268
AT ITER 1436 NEW BEST:: SOT 41169 SOS 11264 HAS SOPS 11264 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7289.264
AT ITER 1471 NEW BEST:: SOT 41158 SOS 11242 HAS SOPS 11242 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7245.242
AT ITER 1484 NEW BEST:: SOT 41152 SOS 11236 HAS SOPS 11236 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7245.236
AT ITER 1495 NEW BEST:: SOT 41152 SOS 11214 HAS SOPS 11214 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7245.214
AT ITER 1511 NEW BEST:: SOT 41172 SOS 11219 HAS SOPS 11219 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7221.219
AT ITER 1512 NEW BEST:: SOT 41172 SOS 11216 HAS SOPS 11216 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7218.216
AT ITER 1515 NEW BEST:: SOT 41155 SOS 11193 HAS SOPS 11193 HAS SOUS 7184 HAS SOUPS 7184 WITH SCORE 7195.193
AT ITER 1517 NEW BEST:: SOT 41151 SOS 11185 HAS SOPS 11185 HAS SOUS 7176 HAS SOUPS 7176 WITH SCORE 7187.185
AT ITER 1524 NEW BEST:: SOT 41150 SOS 11169 HAS SOPS 11169 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7185.169
AT ITER 1525 NEW BEST:: SOT 41147 SOS 11163 HAS SOPS 11163 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7179.163
AT ITER 1526 NEW BEST:: SOT 41142 SOS 11162 HAS SOPS 11162 HAS SOUS 7167 HAS SOUPS 7167 WITH SCORE 7178.162
AT ITER 1546 NEW BEST:: SOT 41140 SOS 11158 HAS SOPS 11158 HAS SOUS 7165 HAS SOUPS 7165 WITH SCORE 7176.158
AT ITER 1572 NEW BEST:: SOT 41114 SOS 11119 HAS SOPS 11119 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7163.119
AT ITER 1607 NEW BEST:: SOT 41111 SOS 11113 HAS SOPS 11113 HAS SOUS 7149 HAS SOUPS 7149 WITH SCORE 7160.113
AT ITER 1651 NEW BEST:: SOT 41102 SOS 11095 HAS SOPS 11095 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7142.095
AT ITER 1655 NEW BEST:: SOT 41075 SOS 11091 HAS SOPS 11091 HAS SOUS 7127 HAS SOUPS 7127 WITH SCORE 7138.091
AT ITER 1686 NEW BEST:: SOT 41074 SOS 11089 HAS SOPS 11089 HAS SOUS 7125 HAS SOUPS 7125 WITH SCORE 7136.089
AT ITER 1687 NEW BEST:: SOT 41072 SOS 11085 HAS SOPS 11085 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7132.085
AT ITER 1697 NEW BEST:: SOT 41062 SOS 11081 HAS SOPS 11081 HAS SOUS 7117 HAS SOUPS 7117 WITH SCORE 7128.081
AT ITER 1706 NEW BEST:: SOT 41056 SOS 11069 HAS SOPS 11069 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7124.069
AT ITER 1717 NEW BEST:: SOT 41060 SOS 11055 HAS SOPS 11055 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7110.055
AT ITER 1718 NEW BEST:: SOT 41040 SOS 11015 HAS SOPS 11015 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7090.015
AT ITER 1733 NEW BEST:: SOT 41032 SOS 10992 HAS SOPS 10992 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7087.992
AT ITER 1735 NEW BEST:: SOT 41033 SOS 10993 HAS SOPS 10993 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7083.993
AT ITER 1741 NEW BEST:: SOT 41033 SOS 10993 HAS SOPS 10993 HAS SOUS 7071 HAS SOUPS 7071 WITH SCORE 7081.993
AT ITER 1742 NEW BEST:: SOT 41029 SOS 10985 HAS SOPS 10985 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7077.985
AT ITER 1763 NEW BEST:: SOT 41025 SOS 10977 HAS SOPS 10977 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7069.977
AT ITER 1838 NEW BEST:: SOT 41024 SOS 10975 HAS SOPS 10975 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7068.975
AT ITER 1854 NEW BEST:: SOT 41013 SOS 10953 HAS SOPS 10953 HAS SOUS 7047 HAS SOUPS 7047 WITH SCORE 7057.953
AT ITER 1874 NEW BEST:: SOT 40997 SOS 10921 HAS SOPS 10921 HAS SOUS 7031 HAS SOUPS 7031 WITH SCORE 7041.921
AT ITER 1877 NEW BEST:: SOT 40996 SOS 10922 HAS SOPS 10922 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7040.922
AT ITER 1902 NEW BEST:: SOT 40997 SOS 10924 HAS SOPS 10924 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7028.924
AT ITER 1920 NEW BEST:: SOT 40982 SOS 10899 HAS SOPS 10899 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7003.899
AT ITER 1979 NEW BEST:: SOT 40982 SOS 10899 HAS SOPS 10899 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6997.899
AT ITER 2021 NEW BEST:: SOT 40973 SOS 10881 HAS SOPS 10881 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6988.881
AT ITER 2041 NEW BEST:: SOT 40965 SOS 10865 HAS SOPS 10865 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6972.865
AT ITER 2043 NEW BEST:: SOT 40988 SOS 10561 HAS SOPS 10561 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6970.561
AT ITER 2046 NEW BEST:: SOT 41006 SOS 10595 HAS SOPS 10595 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6969.595
AT ITER 2059 NEW BEST:: SOT 41002 SOS 10587 HAS SOPS 10587 HAS SOUS 6951 HAS SOUPS 6951 WITH SCORE 6961.587
AT ITER 2064 NEW BEST:: SOT 40996 SOS 10575 HAS SOPS 10575 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6949.575
AT ITER 2066 NEW BEST:: SOT 40956 SOS 10519 HAS SOPS 10519 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6885.519
AT ITER 2070 NEW BEST:: SOT 40913 SOS 10693 HAS SOPS 10693 HAS SOUS 6832 HAS SOUPS 6832 WITH SCORE 6842.693
AT ITER 2082 NEW BEST:: SOT 40913 SOS 10693 HAS SOPS 10693 HAS SOUS 6828 HAS SOUPS 6828 WITH SCORE 6838.693
AT ITER 2095 NEW BEST:: SOT 40929 SOS 10711 HAS SOPS 10711 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6829.711
AT ITER 2101 NEW BEST:: SOT 40920 SOS 10685 HAS SOPS 10685 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6811.685
AT ITER 2129 NEW BEST:: SOT 40919 SOS 10684 HAS SOPS 10684 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6810.684
AT ITER 2130 NEW BEST:: SOT 40919 SOS 10646 HAS SOPS 10646 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6793.646
AT ITER 2133 NEW BEST:: SOT 40887 SOS 10643 HAS SOPS 10643 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6787.643
AT ITER 2136 NEW BEST:: SOT 40871 SOS 10611 HAS SOPS 10611 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6764.611
AT ITER 2159 NEW BEST:: SOT 40871 SOS 10588 HAS SOPS 10588 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6733.588
AT ITER 2164 NEW BEST:: SOT 40859 SOS 10575 HAS SOPS 10575 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6726.575
AT ITER 2167 NEW BEST:: SOT 40864 SOS 10573 HAS SOPS 10573 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6712.573
AT ITER 2212 NEW BEST:: SOT 40876 SOS 10597 HAS SOPS 10597 HAS SOUS 6701 HAS SOUPS 6701 WITH SCORE 6711.597
AT ITER 2251 NEW BEST:: SOT 40824 SOS 10556 HAS SOPS 10556 HAS SOUS 6639 HAS SOUPS 6639 WITH SCORE 6649.556
AT ITER 2267 NEW BEST:: SOT 40800 SOS 10508 HAS SOPS 10508 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6614.508
AT ITER 2275 NEW BEST:: SOT 40806 SOS 10436 HAS SOPS 10436 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6614.436
AT ITER 2296 NEW BEST:: SOT 40799 SOS 10434 HAS SOPS 10434 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6602.434
AT ITER 2301 NEW BEST:: SOT 40796 SOS 10430 HAS SOPS 10430 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6599.43
AT ITER 2307 NEW BEST:: SOT 40799 SOS 10410 HAS SOPS 10410 HAS SOUS 6576 HAS SOUPS 6576 WITH SCORE 6586.41
AT ITER 2318 NEW BEST:: SOT 40782 SOS 10376 HAS SOPS 10376 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6552.376
AT ITER 2344 NEW BEST:: SOT 40779 SOS 10371 HAS SOPS 10371 HAS SOUS 6537 HAS SOUPS 6537 WITH SCORE 6547.371
AT ITER 2365 NEW BEST:: SOT 40779 SOS 10368 HAS SOPS 10368 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6544.368
AT ITER 2374 NEW BEST:: SOT 40727 SOS 10698 HAS SOPS 10698 HAS SOUS 6513 HAS SOUPS 6513 WITH SCORE 6523.698
AT ITER 2387 NEW BEST:: SOT 40689 SOS 10622 HAS SOPS 10622 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6485.622
AT ITER 2400 NEW BEST:: SOT 40689 SOS 10617 HAS SOPS 10617 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6485.617
AT ITER 2424 NEW BEST:: SOT 40689 SOS 10615 HAS SOPS 10615 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6481.615
AT ITER 2448 NEW BEST:: SOT 40686 SOS 10609 HAS SOPS 10609 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6475.609
AT ITER 2466 NEW BEST:: SOT 40677 SOS 10600 HAS SOPS 10600 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6475.6
AT ITER 2524 NEW BEST:: SOT 40668 SOS 10582 HAS SOPS 10582 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6457.582
AT ITER 2530 NEW BEST:: SOT 40655 SOS 10556 HAS SOPS 10556 HAS SOUS 6434 HAS SOUPS 6434 WITH SCORE 6444.556
AT ITER 2532 NEW BEST:: SOT 40631 SOS 10534 HAS SOPS 10534 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6437.534
AT ITER 2552 NEW BEST:: SOT 40630 SOS 10506 HAS SOPS 10506 HAS SOUS 6425 HAS SOUPS 6425 WITH SCORE 6435.506
AT ITER 2576 NEW BEST:: SOT 40629 SOS 10503 HAS SOPS 10503 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6430.503
AT ITER 2599 NEW BEST:: SOT 40622 SOS 10499 HAS SOPS 10499 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6426.499
AT ITER 2669 NEW BEST:: SOT 40622 SOS 10499 HAS SOPS 10499 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6414.499
AT ITER 2719 NEW BEST:: SOT 40622 SOS 10484 HAS SOPS 10484 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6404.484
AT ITER 2737 NEW BEST:: SOT 40597 SOS 10443 HAS SOPS 10443 HAS SOUS 6385 HAS SOUPS 6385 WITH SCORE 6395.443
AT ITER 2739 NEW BEST:: SOT 40570 SOS 10416 HAS SOPS 10416 HAS SOUS 6381 HAS SOUPS 6381 WITH SCORE 6391.416
AT ITER 2769 NEW BEST:: SOT 40555 SOS 10386 HAS SOPS 10386 HAS SOUS 6366 HAS SOUPS 6366 WITH SCORE 6376.386
AT ITER 2775 NEW BEST:: SOT 40553 SOS 10382 HAS SOPS 10382 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6370.382
AT ITER 2778 NEW BEST:: SOT 40530 SOS 10336 HAS SOPS 10336 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6324.336
AT ITER 2802 NEW BEST:: SOT 40527 SOS 10330 HAS SOPS 10330 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6321.33
AT ITER 2833 NEW BEST:: SOT 40514 SOS 10304 HAS SOPS 10304 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6303.304
AT ITER 2893 NEW BEST:: SOT 40510 SOS 10282 HAS SOPS 10282 HAS SOUS 6289 HAS SOUPS 6289 WITH SCORE 6299.282
AT ITER 2900 NEW BEST:: SOT 40514 SOS 10293 HAS SOPS 10293 HAS SOUS 6283 HAS SOUPS 6283 WITH SCORE 6293.293
AT ITER 2919 NEW BEST:: SOT 40493 SOS 10272 HAS SOPS 10272 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6283.272
AT ITER 2940 NEW BEST:: SOT 40485 SOS 10256 HAS SOPS 10256 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6252.256
AT ITER 3017 NEW BEST:: SOT 40484 SOS 10249 HAS SOPS 10249 HAS SOUS 6241 HAS SOUPS 6241 WITH SCORE 6251.249
AT ITER 3041 NEW BEST:: SOT 40468 SOS 10263 HAS SOPS 10263 HAS SOUS 6228 HAS SOUPS 6228 WITH SCORE 6238.263
AT ITER 3050 NEW BEST:: SOT 40468 SOS 10260 HAS SOPS 10260 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6235.26
AT ITER 3075 NEW BEST:: SOT 40468 SOS 10256 HAS SOPS 10256 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6235.256
AT ITER 3099 NEW BEST:: SOT 40459 SOS 10242 HAS SOPS 10242 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6221.242
AT ITER 3118 NEW BEST:: SOT 40463 SOS 10229 HAS SOPS 10229 HAS SOUS 6202 HAS SOUPS 6202 WITH SCORE 6212.229
AT ITER 3126 NEW BEST:: SOT 40454 SOS 10211 HAS SOPS 10211 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6194.211
AT ITER 3131 NEW BEST:: SOT 40430 SOS 10163 HAS SOPS 10163 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6170.163
AT ITER 3147 NEW BEST:: SOT 40422 SOS 10147 HAS SOPS 10147 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6164.147
AT ITER 3185 NEW BEST:: SOT 40416 SOS 10135 HAS SOPS 10135 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6152.135
AT ITER 3218 NEW BEST:: SOT 40414 SOS 10131 HAS SOPS 10131 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6148.131
AT ITER 3255 NEW BEST:: SOT 40411 SOS 10127 HAS SOPS 10127 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6148.127
AT ITER 3304 NEW BEST:: SOT 40313 SOS 9997 HAS SOPS 9997 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6121.997
AT ITER 3306 NEW BEST:: SOT 40303 SOS 9987 HAS SOPS 9987 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6111.987
AT ITER 3332 NEW BEST:: SOT 40288 SOS 10097 HAS SOPS 10097 HAS SOUS 6097 HAS SOUPS 6097 WITH SCORE 6107.097
AT ITER 3348 NEW BEST:: SOT 40229 SOS 9902 HAS SOPS 9902 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6001.902
AT ITER 3368 NEW BEST:: SOT 40230 SOS 9897 HAS SOPS 9897 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5996.897
AT ITER 3376 NEW BEST:: SOT 40228 SOS 9893 HAS SOPS 9893 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5992.893
AT ITER 3378 NEW BEST:: SOT 40195 SOS 9827 HAS SOPS 9827 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5984.827
AT ITER 3410 NEW BEST:: SOT 40194 SOS 9826 HAS SOPS 9826 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5982.826
AT ITER 3430 NEW BEST:: SOT 40194 SOS 9826 HAS SOPS 9826 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5981.826
AT ITER 3447 NEW BEST:: SOT 40191 SOS 9820 HAS SOPS 9820 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5981.82
AT ITER 3467 NEW BEST:: SOT 40187 SOS 9812 HAS SOPS 9812 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5973.812
AT ITER 3469 NEW BEST:: SOT 40157 SOS 9785 HAS SOPS 9785 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5945.785
AT ITER 3497 NEW BEST:: SOT 40156 SOS 9782 HAS SOPS 9782 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5943.782
AT ITER 3552 NEW BEST:: SOT 40160 SOS 9780 HAS SOPS 9780 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5943.78
AT ITER 3576 NEW BEST:: SOT 40150 SOS 9770 HAS SOPS 9770 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5933.77
AT ITER 3615 NEW BEST:: SOT 40146 SOS 9768 HAS SOPS 9768 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5931.768
AT ITER 3616 NEW BEST:: SOT 40138 SOS 9775 HAS SOPS 9775 HAS SOUS 5916 HAS SOUPS 5916 WITH SCORE 5925.775
AT ITER 3619 NEW BEST:: SOT 40128 SOS 9765 HAS SOPS 9765 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5919.765
AT ITER 3731 NEW BEST:: SOT 40128 SOS 9765 HAS SOPS 9765 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.765
AT ITER 3737 NEW BEST:: SOT 40120 SOS 9749 HAS SOPS 9749 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5894.749
AT ITER 3786 NEW BEST:: SOT 40115 SOS 9739 HAS SOPS 9739 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5874.739
AT ITER 3892 NEW BEST:: SOT 40113 SOS 9735 HAS SOPS 9735 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5872.735
AT ITER 3921 NEW BEST:: SOT 40110 SOS 9732 HAS SOPS 9732 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5869.732
AT ITER 3931 NEW BEST:: SOT 40110 SOS 9725 HAS SOPS 9725 HAS SOUS 5860 HAS SOUPS 5860 WITH SCORE 5869.725
AT ITER 3932 NEW BEST:: SOT 40134 SOS 9749 HAS SOPS 9749 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5864.749
AT ITER 3974 NEW BEST:: SOT 40132 SOS 9745 HAS SOPS 9745 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5860.745
AT ITER 3995 NEW BEST:: SOT 40080 SOS 10019 HAS SOPS 10019 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5827.019
AT ITER 4019 NEW BEST:: SOT 40055 SOS 9994 HAS SOPS 9994 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5801.994
AT ITER 4066 NEW BEST:: SOT 40026 SOS 9936 HAS SOPS 9936 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5770.936
AT ITER 4101 NEW BEST:: SOT 40015 SOS 9948 HAS SOPS 9948 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.948
AT ITER 4172 NEW BEST:: SOT 40013 SOS 9942 HAS SOPS 9942 HAS SOUS 5749 HAS SOUPS 5749 WITH SCORE 5758.942
AT ITER 4204 NEW BEST:: SOT 40009 SOS 9881 HAS SOPS 9881 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5739.881
AT ITER 4236 NEW BEST:: SOT 40010 SOS 9880 HAS SOPS 9880 HAS SOUS 5729 HAS SOUPS 5729 WITH SCORE 5738.88
AT ITER 4237 NEW BEST:: SOT 40012 SOS 9877 HAS SOPS 9877 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5735.877
AT ITER 4294 NEW BEST:: SOT 40008 SOS 9869 HAS SOPS 9869 HAS SOUS 5718 HAS SOUPS 5718 WITH SCORE 5727.869
AT ITER 4332 NEW BEST:: SOT 40012 SOS 9667 HAS SOPS 9667 HAS SOUS 5705 HAS SOUPS 5705 WITH SCORE 5714.667
AT ITER 4334 NEW BEST:: SOT 40006 SOS 9672 HAS SOPS 9672 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5704.672
AT ITER 4345 NEW BEST:: SOT 39998 SOS 9664 HAS SOPS 9664 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5696.664
AT ITER 4354 NEW BEST:: SOT 39983 SOS 9634 HAS SOPS 9634 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5674.634
AT ITER 4395 NEW BEST:: SOT 39979 SOS 9630 HAS SOPS 9630 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5670.63
AT ITER 4430 NEW BEST:: SOT 39975 SOS 9635 HAS SOPS 9635 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5667.635
AT ITER 4461 NEW BEST:: SOT 39957 SOS 9599 HAS SOPS 9599 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5631.599
AT ITER 4466 NEW BEST:: SOT 39954 SOS 9593 HAS SOPS 9593 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5628.593
AT ITER 4513 NEW BEST:: SOT 39955 SOS 9582 HAS SOPS 9582 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5621.582
AT ITER 4516 NEW BEST:: SOT 39951 SOS 9565 HAS SOPS 9565 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5604.565
AT ITER 4523 NEW BEST:: SOT 39950 SOS 9563 HAS SOPS 9563 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5602.563
AT ITER 4548 NEW BEST:: SOT 39947 SOS 9557 HAS SOPS 9557 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5602.557
AT ITER 4566 NEW BEST:: SOT 39947 SOS 9539 HAS SOPS 9539 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5602.539
AT ITER 4567 NEW BEST:: SOT 39947 SOS 9533 HAS SOPS 9533 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5602.533
AT ITER 4587 NEW BEST:: SOT 39946 SOS 9532 HAS SOPS 9532 HAS SOUS 5592 HAS SOUPS 5592 WITH SCORE 5601.532
AT ITER 4668 NEW BEST:: SOT 39941 SOS 9527 HAS SOPS 9527 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5596.527
AT ITER 4674 NEW BEST:: SOT 39918 SOS 9504 HAS SOPS 9504 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5573.504
AT ITER 4684 NEW BEST:: SOT 39900 SOS 9483 HAS SOPS 9483 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5564.483
AT ITER 4833 NEW BEST:: SOT 39900 SOS 9480 HAS SOPS 9480 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5564.48
AT ITER 4857 NEW BEST:: SOT 39880 SOS 9440 HAS SOPS 9440 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5556.44
AT ITER 4876 NEW BEST:: SOT 39879 SOS 9438 HAS SOPS 9438 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5555.438
AT ITER 4940 NEW BEST:: SOT 39875 SOS 9430 HAS SOPS 9430 HAS SOUS 5542 HAS SOUPS 5542 WITH SCORE 5551.43
AT ITER 4981 NEW BEST:: SOT 39873 SOS 9423 HAS SOPS 9423 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5550.423
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: SmartHome-PT-08-CTLCardinality-00 (EF((AX( (! potential( (tk(P187)) <= (tk(P156)) ))))))
PROPERTY: SmartHome-PT-08-CTLCardinality-01 (EF((! (EF(potential( (tk(P24)) <= (tk(P124)) ))))))
PROPERTY: SmartHome-PT-08-CTLCardinality-02 ( (! (! potential( (tk(P76)) <= (tk(P114)) ))) & (AG( (EF(potential( ( 3 ) <= (tk(P252)) ))))) )
PROPERTY: SmartHome-PT-08-CTLCardinality-03 (EU( (! ( potential( ( 2 ) <= (tk(P123)) ) & potential( ( 3 ) <= (tk(P199)) ) )),potential( ( 2 ) <= (tk(P138)) ) ))
PROPERTY: SmartHome-PT-08-CTLCardinality-04 (EF((EG( ( potential( ( 1 ) <= (tk(P178)) ) & potential( ( 1 ) <= (tk(P178)) ) )))))
PROPERTY: SmartHome-PT-08-CTLCardinality-05 (AG( potential( (tk(P161)) <= (tk(P34)) )))
PROPERTY: SmartHome-PT-08-CTLCardinality-06 (AF(( (EF(potential( ( 3 ) <= (tk(P201)) ))) & (! ( potential( ( 2 ) <= (tk(P11)) ) | potential( ( 1 ) <= (tk(P94)) ) )) )))
PROPERTY: SmartHome-PT-08-CTLCardinality-07 ( (EF((! (! potential( ( 3 ) <= (tk(P226)) ))))) | ( (! potential( ( 3 ) <= (tk(P178)) )) & (! (! potential( ( 3 ) <= (tk(P85)) ))) ) )
PROPERTY: SmartHome-PT-08-CTLCardinality-08 ( (AF(( ( potential( (tk(P18)) <= (tk(P74)) ) | potential( ( 1 ) <= (tk(P182)) ) ) | potential( ( 3 ) <= (tk(P49)) ) ))) & ( (! (EF(potential( ( 1 ) <= (tk(P118)) )))) | (EG( (! potential( (tk(P250)) <= (tk(P173)) )))) ) )
PROPERTY: SmartHome-PT-08-CTLCardinality-09 (AG( (! (AG( potential( ( 3 ) <= (tk(P123)) ))))))
PROPERTY: SmartHome-PT-08-CTLCardinality-10 (AG( ( ( (! potential( ( 1 ) <= (tk(P117)) )) | ( potential( ( 3 ) <= (tk(P53)) ) | potential( (tk(P222)) <= (tk(P76)) ) ) ) & (AG( potential( (tk(P208)) <= (tk(P242)) ))) )))
PROPERTY: SmartHome-PT-08-CTLCardinality-11 ( ( ( (EX( potential( (tk(P102)) <= (tk(P28)) ))) | (! potential( ( 1 ) <= (tk(P142)) )) ) | (EX( ( potential( ( 2 ) <= (tk(P106)) ) | potential( (tk(P192)) <= (tk(P171)) ) ))) ) & ( ( (AF(potential( (tk(P223)) <= (tk(P149)) ))) & ( ( potential( (tk(P248)) <= (tk(P95)) ) & potential( ( 1 ) <= (tk(P243)) ) ) | (! potential( ( 2 ) <= (tk(P43)) )) ) ) & (AG( ( potential( ( 3 ) <= (tk(P94)) ) | potential( (tk(P34)) <= (tk(P191)) ) ))) ) )
PROPERTY: SmartHome-PT-08-CTLCardinality-12 (AG( ( (EF(potential( (tk(P67)) <= (tk(P119)) ))) & (! potential( ( 1 ) <= (tk(P28)) )) )))
PROPERTY: SmartHome-PT-08-CTLCardinality-13 (EF(( (AG( potential( (tk(P223)) <= (tk(P208)) ))) | potential( ( 1 ) <= (tk(P28)) ) )))
PROPERTY: SmartHome-PT-08-CTLCardinality-14 (AF((AG( (! potential( ( 1 ) <= (tk(P152)) ))))))
PROPERTY: SmartHome-PT-08-CTLCardinality-15 (EF(potential( ( 1 ) <= (tk(P176)) )))

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="SmartHome-PT-08"
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 SmartHome-PT-08, 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 r224-oct2-159033538300059"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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