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-159033538400140.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-18, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538400140
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 4.1K May 14 03:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 03:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 21:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K 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 17K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 10:22 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 159K 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-18-CTLFireability-00
FORMULA_NAME SmartHome-PT-18-CTLFireability-01
FORMULA_NAME SmartHome-PT-18-CTLFireability-02
FORMULA_NAME SmartHome-PT-18-CTLFireability-03
FORMULA_NAME SmartHome-PT-18-CTLFireability-04
FORMULA_NAME SmartHome-PT-18-CTLFireability-05
FORMULA_NAME SmartHome-PT-18-CTLFireability-06
FORMULA_NAME SmartHome-PT-18-CTLFireability-07
FORMULA_NAME SmartHome-PT-18-CTLFireability-08
FORMULA_NAME SmartHome-PT-18-CTLFireability-09
FORMULA_NAME SmartHome-PT-18-CTLFireability-10
FORMULA_NAME SmartHome-PT-18-CTLFireability-11
FORMULA_NAME SmartHome-PT-18-CTLFireability-12
FORMULA_NAME SmartHome-PT-18-CTLFireability-13
FORMULA_NAME SmartHome-PT-18-CTLFireability-14
FORMULA_NAME SmartHome-PT-18-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469805875

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 18
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 653 places, 706 transitions, 1618 arcs.
AT ITER 0 NEW BEST:: SOT 271711 SOS 61371 HAS SOPS 61371 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60015.371
AT ITER 9 NEW BEST:: SOT 270928 SOS 61694 HAS SOPS 61694 HAS SOUS 59167 HAS SOUPS 59167 WITH SCORE 59228.694
AT ITER 21 NEW BEST:: SOT 270360 SOS 61701 HAS SOPS 61701 HAS SOUS 58653 HAS SOUPS 58653 WITH SCORE 58714.701
AT ITER 39 NEW BEST:: SOT 270360 SOS 61678 HAS SOPS 61678 HAS SOUS 58630 HAS SOUPS 58630 WITH SCORE 58691.678
AT ITER 79 NEW BEST:: SOT 270367 SOS 61650 HAS SOPS 61650 HAS SOUS 58602 HAS SOUPS 58602 WITH SCORE 58663.65
AT ITER 84 NEW BEST:: SOT 270331 SOS 61578 HAS SOPS 61578 HAS SOUS 58576 HAS SOUPS 58576 WITH SCORE 58637.578
AT ITER 92 NEW BEST:: SOT 270256 SOS 61428 HAS SOPS 61428 HAS SOUS 58426 HAS SOUPS 58426 WITH SCORE 58487.428
AT ITER 94 NEW BEST:: SOT 270219 SOS 61354 HAS SOPS 61354 HAS SOUS 58352 HAS SOUPS 58352 WITH SCORE 58413.354
AT ITER 104 NEW BEST:: SOT 270180 SOS 61276 HAS SOPS 61276 HAS SOUS 58274 HAS SOUPS 58274 WITH SCORE 58335.276
AT ITER 107 NEW BEST:: SOT 268635 SOS 60717 HAS SOPS 60717 HAS SOUS 57014 HAS SOUPS 57014 WITH SCORE 57074.717
AT ITER 114 NEW BEST:: SOT 268546 SOS 60539 HAS SOPS 60539 HAS SOUS 56823 HAS SOUPS 56823 WITH SCORE 56883.539
AT ITER 119 NEW BEST:: SOT 267289 SOS 59450 HAS SOPS 59450 HAS SOUS 55593 HAS SOUPS 55593 WITH SCORE 55652.45
AT ITER 135 NEW BEST:: SOT 267200 SOS 59386 HAS SOPS 59386 HAS SOUS 55504 HAS SOUPS 55504 WITH SCORE 55563.386
AT ITER 157 NEW BEST:: SOT 266388 SOS 62547 HAS SOPS 62547 HAS SOUS 55103 HAS SOUPS 55103 WITH SCORE 55165.547
AT ITER 164 NEW BEST:: SOT 266327 SOS 62523 HAS SOPS 62523 HAS SOUS 55079 HAS SOUPS 55079 WITH SCORE 55141.523
AT ITER 177 NEW BEST:: SOT 266331 SOS 62521 HAS SOPS 62521 HAS SOUS 55076 HAS SOUPS 55076 WITH SCORE 55138.521
AT ITER 188 NEW BEST:: SOT 266331 SOS 62467 HAS SOPS 62467 HAS SOUS 55022 HAS SOUPS 55022 WITH SCORE 55084.467
AT ITER 197 NEW BEST:: SOT 266281 SOS 62419 HAS SOPS 62419 HAS SOUS 54974 HAS SOUPS 54974 WITH SCORE 55036.419
AT ITER 227 NEW BEST:: SOT 266281 SOS 62366 HAS SOPS 62366 HAS SOUS 54921 HAS SOUPS 54921 WITH SCORE 54983.366
AT ITER 245 NEW BEST:: SOT 266197 SOS 62282 HAS SOPS 62282 HAS SOUS 54918 HAS SOUPS 54918 WITH SCORE 54980.282
AT ITER 253 NEW BEST:: SOT 265946 SOS 62212 HAS SOPS 62212 HAS SOUS 54704 HAS SOUPS 54704 WITH SCORE 54766.212
AT ITER 269 NEW BEST:: SOT 265677 SOS 63752 HAS SOPS 63752 HAS SOUS 54618 HAS SOUPS 54618 WITH SCORE 54681.752
AT ITER 304 NEW BEST:: SOT 265633 SOS 63818 HAS SOPS 63818 HAS SOUS 54602 HAS SOUPS 54602 WITH SCORE 54665.818
AT ITER 311 NEW BEST:: SOT 265635 SOS 63821 HAS SOPS 63821 HAS SOUS 54597 HAS SOUPS 54597 WITH SCORE 54660.821
AT ITER 334 NEW BEST:: SOT 265585 SOS 63746 HAS SOPS 63746 HAS SOUS 54522 HAS SOUPS 54522 WITH SCORE 54585.746
AT ITER 338 NEW BEST:: SOT 265612 SOS 63654 HAS SOPS 63654 HAS SOUS 54430 HAS SOUPS 54430 WITH SCORE 54493.654
AT ITER 341 NEW BEST:: SOT 265598 SOS 63626 HAS SOPS 63626 HAS SOUS 54402 HAS SOUPS 54402 WITH SCORE 54465.626
AT ITER 350 NEW BEST:: SOT 265694 SOS 63560 HAS SOPS 63560 HAS SOUS 54349 HAS SOUPS 54349 WITH SCORE 54412.56
AT ITER 353 NEW BEST:: SOT 265675 SOS 63503 HAS SOPS 63503 HAS SOUS 54311 HAS SOUPS 54311 WITH SCORE 54374.503
AT ITER 356 NEW BEST:: SOT 265476 SOS 63459 HAS SOPS 63459 HAS SOUS 54248 HAS SOUPS 54248 WITH SCORE 54311.459
AT ITER 366 NEW BEST:: SOT 264387 SOS 65805 HAS SOPS 65805 HAS SOUS 53702 HAS SOUPS 53702 WITH SCORE 53767.805
AT ITER 377 NEW BEST:: SOT 264420 SOS 65838 HAS SOPS 65838 HAS SOUS 53682 HAS SOUPS 53682 WITH SCORE 53747.838
AT ITER 389 NEW BEST:: SOT 264412 SOS 65830 HAS SOPS 65830 HAS SOUS 53674 HAS SOUPS 53674 WITH SCORE 53739.83
AT ITER 405 NEW BEST:: SOT 264307 SOS 65574 HAS SOPS 65574 HAS SOUS 53464 HAS SOUPS 53464 WITH SCORE 53529.574
AT ITER 409 NEW BEST:: SOT 264289 SOS 65556 HAS SOPS 65556 HAS SOUS 53446 HAS SOUPS 53446 WITH SCORE 53511.556
AT ITER 412 NEW BEST:: SOT 264061 SOS 65186 HAS SOPS 65186 HAS SOUS 53266 HAS SOUPS 53266 WITH SCORE 53331.186
AT ITER 425 NEW BEST:: SOT 264060 SOS 65185 HAS SOPS 65185 HAS SOUS 53196 HAS SOUPS 53196 WITH SCORE 53261.185
AT ITER 433 NEW BEST:: SOT 264042 SOS 65149 HAS SOPS 65149 HAS SOUS 53178 HAS SOUPS 53178 WITH SCORE 53243.149
AT ITER 437 NEW BEST:: SOT 264027 SOS 65134 HAS SOPS 65134 HAS SOUS 53163 HAS SOUPS 53163 WITH SCORE 53228.134
AT ITER 464 NEW BEST:: SOT 263992 SOS 65064 HAS SOPS 65064 HAS SOUS 53093 HAS SOUPS 53093 WITH SCORE 53158.064
AT ITER 467 NEW BEST:: SOT 263943 SOS 64966 HAS SOPS 64966 HAS SOUS 52995 HAS SOUPS 52995 WITH SCORE 53059.966
AT ITER 469 NEW BEST:: SOT 263943 SOS 64900 HAS SOPS 64900 HAS SOUS 52929 HAS SOUPS 52929 WITH SCORE 52993.9
AT ITER 479 NEW BEST:: SOT 263927 SOS 64868 HAS SOPS 64868 HAS SOUS 52897 HAS SOUPS 52897 WITH SCORE 52961.868
AT ITER 480 NEW BEST:: SOT 263817 SOS 64577 HAS SOPS 64577 HAS SOUS 52736 HAS SOUPS 52736 WITH SCORE 52800.577
AT ITER 491 NEW BEST:: SOT 263688 SOS 64319 HAS SOPS 64319 HAS SOUS 52659 HAS SOUPS 52659 WITH SCORE 52723.319
AT ITER 521 NEW BEST:: SOT 263498 SOS 65055 HAS SOPS 65055 HAS SOUS 52562 HAS SOUPS 52562 WITH SCORE 52627.055
AT ITER 524 NEW BEST:: SOT 263496 SOS 65051 HAS SOPS 65051 HAS SOUS 52560 HAS SOUPS 52560 WITH SCORE 52625.051
AT ITER 526 NEW BEST:: SOT 262892 SOS 66570 HAS SOPS 66570 HAS SOUS 52314 HAS SOUPS 52314 WITH SCORE 52380.57
AT ITER 531 NEW BEST:: SOT 262758 SOS 66400 HAS SOPS 66400 HAS SOUS 52149 HAS SOUPS 52149 WITH SCORE 52215.4
AT ITER 549 NEW BEST:: SOT 262607 SOS 66280 HAS SOPS 66280 HAS SOUS 52029 HAS SOUPS 52029 WITH SCORE 52095.28
AT ITER 565 NEW BEST:: SOT 262549 SOS 65714 HAS SOPS 65714 HAS SOUS 51952 HAS SOUPS 51952 WITH SCORE 52017.714
AT ITER 573 NEW BEST:: SOT 262531 SOS 65678 HAS SOPS 65678 HAS SOUS 51916 HAS SOUPS 51916 WITH SCORE 51981.678
AT ITER 582 NEW BEST:: SOT 262314 SOS 67619 HAS SOPS 67619 HAS SOUS 51879 HAS SOUPS 51879 WITH SCORE 51946.619
AT ITER 597 NEW BEST:: SOT 262253 SOS 67497 HAS SOPS 67497 HAS SOUS 51879 HAS SOUPS 51879 WITH SCORE 51946.497
AT ITER 628 NEW BEST:: SOT 262267 SOS 67490 HAS SOPS 67490 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 51935.49
AT ITER 631 NEW BEST:: SOT 262266 SOS 67255 HAS SOPS 67255 HAS SOUS 51779 HAS SOUPS 51779 WITH SCORE 51846.255
AT ITER 633 NEW BEST:: SOT 262054 SOS 66831 HAS SOPS 66831 HAS SOUS 51414 HAS SOUPS 51414 WITH SCORE 51480.831
AT ITER 640 NEW BEST:: SOT 262017 SOS 66682 HAS SOPS 66682 HAS SOUS 51188 HAS SOUPS 51188 WITH SCORE 51254.682
AT ITER 646 NEW BEST:: SOT 262012 SOS 66779 HAS SOPS 66779 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51249.779
AT ITER 649 NEW BEST:: SOT 261991 SOS 66737 HAS SOPS 66737 HAS SOUS 51116 HAS SOUPS 51116 WITH SCORE 51182.737
AT ITER 655 NEW BEST:: SOT 262016 SOS 66732 HAS SOPS 66732 HAS SOUS 51111 HAS SOUPS 51111 WITH SCORE 51177.732
AT ITER 661 NEW BEST:: SOT 262024 SOS 66698 HAS SOPS 66698 HAS SOUS 51077 HAS SOUPS 51077 WITH SCORE 51143.698
AT ITER 671 NEW BEST:: SOT 262005 SOS 66660 HAS SOPS 66660 HAS SOUS 51058 HAS SOUPS 51058 WITH SCORE 51124.66
AT ITER 693 NEW BEST:: SOT 261926 SOS 66502 HAS SOPS 66502 HAS SOUS 51008 HAS SOUPS 51008 WITH SCORE 51074.502
AT ITER 701 NEW BEST:: SOT 261860 SOS 66436 HAS SOPS 66436 HAS SOUS 50964 HAS SOUPS 50964 WITH SCORE 51030.436
AT ITER 707 NEW BEST:: SOT 261816 SOS 66348 HAS SOPS 66348 HAS SOUS 50876 HAS SOUPS 50876 WITH SCORE 50942.348
AT ITER 720 NEW BEST:: SOT 260787 SOS 66178 HAS SOPS 66178 HAS SOUS 49888 HAS SOUPS 49888 WITH SCORE 49954.178
AT ITER 731 NEW BEST:: SOT 260633 SOS 66024 HAS SOPS 66024 HAS SOUS 49837 HAS SOUPS 49837 WITH SCORE 49903.024
AT ITER 741 NEW BEST:: SOT 260500 SOS 65856 HAS SOPS 65856 HAS SOUS 49552 HAS SOUPS 49552 WITH SCORE 49617.856
AT ITER 743 NEW BEST:: SOT 260499 SOS 65854 HAS SOPS 65854 HAS SOUS 49541 HAS SOUPS 49541 WITH SCORE 49606.854
AT ITER 756 NEW BEST:: SOT 260475 SOS 65818 HAS SOPS 65818 HAS SOUS 49517 HAS SOUPS 49517 WITH SCORE 49582.818
AT ITER 769 NEW BEST:: SOT 260438 SOS 65744 HAS SOPS 65744 HAS SOUS 49443 HAS SOUPS 49443 WITH SCORE 49508.744
AT ITER 771 NEW BEST:: SOT 260248 SOS 65688 HAS SOPS 65688 HAS SOUS 49279 HAS SOUPS 49279 WITH SCORE 49344.688
AT ITER 777 NEW BEST:: SOT 260229 SOS 65669 HAS SOPS 65669 HAS SOUS 49260 HAS SOUPS 49260 WITH SCORE 49325.669
AT ITER 789 NEW BEST:: SOT 260226 SOS 65666 HAS SOPS 65666 HAS SOUS 49260 HAS SOUPS 49260 WITH SCORE 49325.666
AT ITER 800 NEW BEST:: SOT 260239 SOS 65578 HAS SOPS 65578 HAS SOUS 49254 HAS SOUPS 49254 WITH SCORE 49319.578
AT ITER 824 NEW BEST:: SOT 260234 SOS 65568 HAS SOPS 65568 HAS SOUS 49244 HAS SOUPS 49244 WITH SCORE 49309.568
AT ITER 862 NEW BEST:: SOT 260216 SOS 65532 HAS SOPS 65532 HAS SOUS 49208 HAS SOUPS 49208 WITH SCORE 49273.532
AT ITER 889 NEW BEST:: SOT 260132 SOS 65423 HAS SOPS 65423 HAS SOUS 49158 HAS SOUPS 49158 WITH SCORE 49223.423
AT ITER 906 NEW BEST:: SOT 260080 SOS 65397 HAS SOPS 65397 HAS SOUS 49132 HAS SOUPS 49132 WITH SCORE 49197.397
AT ITER 916 NEW BEST:: SOT 260085 SOS 65402 HAS SOPS 65402 HAS SOUS 49097 HAS SOUPS 49097 WITH SCORE 49162.402
AT ITER 930 NEW BEST:: SOT 260085 SOS 65256 HAS SOPS 65256 HAS SOUS 48951 HAS SOUPS 48951 WITH SCORE 49016.256
AT ITER 931 NEW BEST:: SOT 259978 SOS 65042 HAS SOPS 65042 HAS SOUS 48846 HAS SOUPS 48846 WITH SCORE 48911.042
AT ITER 937 NEW BEST:: SOT 259978 SOS 65036 HAS SOPS 65036 HAS SOUS 48840 HAS SOUPS 48840 WITH SCORE 48905.036
AT ITER 958 NEW BEST:: SOT 259976 SOS 65035 HAS SOPS 65035 HAS SOUS 48839 HAS SOUPS 48839 WITH SCORE 48904.035
AT ITER 972 NEW BEST:: SOT 259972 SOS 65027 HAS SOPS 65027 HAS SOUS 48831 HAS SOUPS 48831 WITH SCORE 48896.027
AT ITER 982 NEW BEST:: SOT 259979 SOS 65147 HAS SOPS 65147 HAS SOUS 48779 HAS SOUPS 48779 WITH SCORE 48844.147
AT ITER 987 NEW BEST:: SOT 260026 SOS 65162 HAS SOPS 65162 HAS SOUS 48747 HAS SOUPS 48747 WITH SCORE 48812.162
AT ITER 996 NEW BEST:: SOT 259961 SOS 65056 HAS SOPS 65056 HAS SOUS 48617 HAS SOUPS 48617 WITH SCORE 48682.056
AT ITER 1005 NEW BEST:: SOT 259954 SOS 64985 HAS SOPS 64985 HAS SOUS 48571 HAS SOUPS 48571 WITH SCORE 48635.985
AT ITER 1008 NEW BEST:: SOT 259958 SOS 64924 HAS SOPS 64924 HAS SOUS 48542 HAS SOUPS 48542 WITH SCORE 48606.924
AT ITER 1011 NEW BEST:: SOT 259972 SOS 64920 HAS SOPS 64920 HAS SOUS 48538 HAS SOUPS 48538 WITH SCORE 48602.92
AT ITER 1012 NEW BEST:: SOT 260034 SOS 64863 HAS SOPS 64863 HAS SOUS 48526 HAS SOUPS 48526 WITH SCORE 48590.863
AT ITER 1062 NEW BEST:: SOT 259933 SOS 64661 HAS SOPS 64661 HAS SOUS 48324 HAS SOUPS 48324 WITH SCORE 48388.661
AT ITER 1063 NEW BEST:: SOT 259890 SOS 64575 HAS SOPS 64575 HAS SOUS 48229 HAS SOUPS 48229 WITH SCORE 48293.575
AT ITER 1065 NEW BEST:: SOT 259867 SOS 64493 HAS SOPS 64493 HAS SOUS 48183 HAS SOUPS 48183 WITH SCORE 48247.493
AT ITER 1066 NEW BEST:: SOT 259818 SOS 64518 HAS SOPS 64518 HAS SOUS 48134 HAS SOUPS 48134 WITH SCORE 48198.518
AT ITER 1084 NEW BEST:: SOT 259812 SOS 64506 HAS SOPS 64506 HAS SOUS 48122 HAS SOUPS 48122 WITH SCORE 48186.506
AT ITER 1088 NEW BEST:: SOT 259430 SOS 65526 HAS SOPS 65526 HAS SOUS 47999 HAS SOUPS 47999 WITH SCORE 48064.526
AT ITER 1092 NEW BEST:: SOT 259338 SOS 65342 HAS SOPS 65342 HAS SOUS 47907 HAS SOUPS 47907 WITH SCORE 47972.342
AT ITER 1094 NEW BEST:: SOT 259354 SOS 64055 HAS SOPS 64055 HAS SOUS 47840 HAS SOUPS 47840 WITH SCORE 47904.055
AT ITER 1100 NEW BEST:: SOT 259353 SOS 63998 HAS SOPS 63998 HAS SOUS 47777 HAS SOUPS 47777 WITH SCORE 47840.998
AT ITER 1104 NEW BEST:: SOT 259339 SOS 63970 HAS SOPS 63970 HAS SOUS 47749 HAS SOUPS 47749 WITH SCORE 47812.97
AT ITER 1135 NEW BEST:: SOT 259293 SOS 63970 HAS SOPS 63970 HAS SOUS 47731 HAS SOUPS 47731 WITH SCORE 47794.97
AT ITER 1147 NEW BEST:: SOT 258984 SOS 63578 HAS SOPS 63578 HAS SOUS 47532 HAS SOUPS 47532 WITH SCORE 47595.578
AT ITER 1151 NEW BEST:: SOT 258984 SOS 63576 HAS SOPS 63576 HAS SOUS 47530 HAS SOUPS 47530 WITH SCORE 47593.576
AT ITER 1176 NEW BEST:: SOT 258958 SOS 63422 HAS SOPS 63422 HAS SOUS 47445 HAS SOUPS 47445 WITH SCORE 47508.422
AT ITER 1179 NEW BEST:: SOT 258958 SOS 63377 HAS SOPS 63377 HAS SOUS 47400 HAS SOUPS 47400 WITH SCORE 47463.377
AT ITER 1180 NEW BEST:: SOT 258931 SOS 63365 HAS SOPS 63365 HAS SOUS 47373 HAS SOUPS 47373 WITH SCORE 47436.365
AT ITER 1187 NEW BEST:: SOT 258849 SOS 63201 HAS SOPS 63201 HAS SOUS 47250 HAS SOUPS 47250 WITH SCORE 47313.201
AT ITER 1192 NEW BEST:: SOT 258688 SOS 63040 HAS SOPS 63040 HAS SOUS 47190 HAS SOUPS 47190 WITH SCORE 47253.04
AT ITER 1197 NEW BEST:: SOT 258663 SOS 62990 HAS SOPS 62990 HAS SOUS 47055 HAS SOUPS 47055 WITH SCORE 47117.99
AT ITER 1200 NEW BEST:: SOT 258613 SOS 62728 HAS SOPS 62728 HAS SOUS 46953 HAS SOUPS 46953 WITH SCORE 47015.728
AT ITER 1243 NEW BEST:: SOT 258040 SOS 66259 HAS SOPS 66259 HAS SOUS 46858 HAS SOUPS 46858 WITH SCORE 46924.259
AT ITER 1253 NEW BEST:: SOT 258015 SOS 66209 HAS SOPS 66209 HAS SOUS 46791 HAS SOUPS 46791 WITH SCORE 46857.209
AT ITER 1256 NEW BEST:: SOT 257967 SOS 66161 HAS SOPS 66161 HAS SOUS 46759 HAS SOUPS 46759 WITH SCORE 46825.161
AT ITER 1258 NEW BEST:: SOT 257961 SOS 66149 HAS SOPS 66149 HAS SOUS 46747 HAS SOUPS 46747 WITH SCORE 46813.149
AT ITER 1266 NEW BEST:: SOT 257921 SOS 66069 HAS SOPS 66069 HAS SOUS 46667 HAS SOUPS 46667 WITH SCORE 46733.069
AT ITER 1285 NEW BEST:: SOT 257921 SOS 66048 HAS SOPS 66048 HAS SOUS 46646 HAS SOUPS 46646 WITH SCORE 46712.048
AT ITER 1291 NEW BEST:: SOT 257886 SOS 66001 HAS SOPS 66001 HAS SOUS 46589 HAS SOUPS 46589 WITH SCORE 46655.001
AT ITER 1293 NEW BEST:: SOT 257849 SOS 65964 HAS SOPS 65964 HAS SOUS 46552 HAS SOUPS 46552 WITH SCORE 46617.964
AT ITER 1304 NEW BEST:: SOT 257814 SOS 65929 HAS SOPS 65929 HAS SOUS 46552 HAS SOUPS 46552 WITH SCORE 46617.929
AT ITER 1312 NEW BEST:: SOT 257586 SOS 65473 HAS SOPS 65473 HAS SOUS 46408 HAS SOUPS 46408 WITH SCORE 46473.473
AT ITER 1343 NEW BEST:: SOT 257565 SOS 65452 HAS SOPS 65452 HAS SOUS 46387 HAS SOUPS 46387 WITH SCORE 46452.452
AT ITER 1346 NEW BEST:: SOT 257398 SOS 65228 HAS SOPS 65228 HAS SOUS 46225 HAS SOUPS 46225 WITH SCORE 46290.228
AT ITER 1367 NEW BEST:: SOT 257371 SOS 65150 HAS SOPS 65150 HAS SOUS 46149 HAS SOUPS 46149 WITH SCORE 46214.15
AT ITER 1369 NEW BEST:: SOT 257317 SOS 65126 HAS SOPS 65126 HAS SOUS 46125 HAS SOUPS 46125 WITH SCORE 46190.126
AT ITER 1380 NEW BEST:: SOT 256859 SOS 65174 HAS SOPS 65174 HAS SOUS 45743 HAS SOUPS 45743 WITH SCORE 45808.174
AT ITER 1388 NEW BEST:: SOT 256812 SOS 65127 HAS SOPS 65127 HAS SOUS 45695 HAS SOUPS 45695 WITH SCORE 45760.127
AT ITER 1390 NEW BEST:: SOT 256734 SOS 65101 HAS SOPS 65101 HAS SOUS 45607 HAS SOUPS 45607 WITH SCORE 45672.101
AT ITER 1401 NEW BEST:: SOT 256710 SOS 65079 HAS SOPS 65079 HAS SOUS 45585 HAS SOUPS 45585 WITH SCORE 45650.079
AT ITER 1405 NEW BEST:: SOT 256623 SOS 65059 HAS SOPS 65059 HAS SOUS 45565 HAS SOUPS 45565 WITH SCORE 45630.059
AT ITER 1436 NEW BEST:: SOT 256542 SOS 64897 HAS SOPS 64897 HAS SOUS 45545 HAS SOUPS 45545 WITH SCORE 45609.897
AT ITER 1462 NEW BEST:: SOT 256542 SOS 64878 HAS SOPS 64878 HAS SOUS 45526 HAS SOUPS 45526 WITH SCORE 45590.878
AT ITER 1464 NEW BEST:: SOT 256441 SOS 64777 HAS SOPS 64777 HAS SOUS 45425 HAS SOUPS 45425 WITH SCORE 45489.777
AT ITER 1465 NEW BEST:: SOT 256451 SOS 64675 HAS SOPS 64675 HAS SOUS 45337 HAS SOUPS 45337 WITH SCORE 45401.675
AT ITER 1477 NEW BEST:: SOT 256429 SOS 64653 HAS SOPS 64653 HAS SOUS 45315 HAS SOUPS 45315 WITH SCORE 45379.653
AT ITER 1478 NEW BEST:: SOT 256435 SOS 64598 HAS SOPS 64598 HAS SOUS 45260 HAS SOUPS 45260 WITH SCORE 45324.598
AT ITER 1492 NEW BEST:: SOT 256527 SOS 64557 HAS SOPS 64557 HAS SOUS 45219 HAS SOUPS 45219 WITH SCORE 45283.557
AT ITER 1505 NEW BEST:: SOT 256498 SOS 64507 HAS SOPS 64507 HAS SOUS 45190 HAS SOUPS 45190 WITH SCORE 45254.507
AT ITER 1517 NEW BEST:: SOT 256407 SOS 64412 HAS SOPS 64412 HAS SOUS 45099 HAS SOUPS 45099 WITH SCORE 45163.412
AT ITER 1521 NEW BEST:: SOT 256278 SOS 64252 HAS SOPS 64252 HAS SOUS 44939 HAS SOUPS 44939 WITH SCORE 45003.252
AT ITER 1527 NEW BEST:: SOT 256194 SOS 64244 HAS SOPS 64244 HAS SOUS 44931 HAS SOUPS 44931 WITH SCORE 44995.244
AT ITER 1529 NEW BEST:: SOT 256165 SOS 64186 HAS SOPS 64186 HAS SOUS 44862 HAS SOUPS 44862 WITH SCORE 44926.186
AT ITER 1533 NEW BEST:: SOT 256088 SOS 64109 HAS SOPS 64109 HAS SOUS 44787 HAS SOUPS 44787 WITH SCORE 44851.109
AT ITER 1537 NEW BEST:: SOT 255986 SOS 63956 HAS SOPS 63956 HAS SOUS 44735 HAS SOUPS 44735 WITH SCORE 44798.956
AT ITER 1549 NEW BEST:: SOT 255795 SOS 63574 HAS SOPS 63574 HAS SOUS 44353 HAS SOUPS 44353 WITH SCORE 44416.574
AT ITER 1564 NEW BEST:: SOT 255754 SOS 63492 HAS SOPS 63492 HAS SOUS 44312 HAS SOUPS 44312 WITH SCORE 44375.492
AT ITER 1572 NEW BEST:: SOT 255664 SOS 63312 HAS SOPS 63312 HAS SOUS 44132 HAS SOUPS 44132 WITH SCORE 44195.312
AT ITER 1590 NEW BEST:: SOT 255664 SOS 63216 HAS SOPS 63216 HAS SOUS 44124 HAS SOUPS 44124 WITH SCORE 44187.216
AT ITER 1620 NEW BEST:: SOT 255634 SOS 63186 HAS SOPS 63186 HAS SOUS 44094 HAS SOUPS 44094 WITH SCORE 44157.186
AT ITER 1641 NEW BEST:: SOT 255632 SOS 63182 HAS SOPS 63182 HAS SOUS 44092 HAS SOUPS 44092 WITH SCORE 44155.182
AT ITER 1677 NEW BEST:: SOT 255560 SOS 63038 HAS SOPS 63038 HAS SOUS 44067 HAS SOUPS 44067 WITH SCORE 44130.038
AT ITER 1689 NEW BEST:: SOT 255542 SOS 63020 HAS SOPS 63020 HAS SOUS 44067 HAS SOUPS 44067 WITH SCORE 44130.02
AT ITER 1710 NEW BEST:: SOT 255542 SOS 63015 HAS SOPS 63015 HAS SOUS 44062 HAS SOUPS 44062 WITH SCORE 44125.015
AT ITER 1733 NEW BEST:: SOT 255535 SOS 62958 HAS SOPS 62958 HAS SOUS 44013 HAS SOUPS 44013 WITH SCORE 44075.958
AT ITER 1767 NEW BEST:: SOT 255532 SOS 62952 HAS SOPS 62952 HAS SOUS 44007 HAS SOUPS 44007 WITH SCORE 44069.952
AT ITER 1835 NEW BEST:: SOT 255474 SOS 62836 HAS SOPS 62836 HAS SOUS 43891 HAS SOUPS 43891 WITH SCORE 43953.836
AT ITER 1846 NEW BEST:: SOT 255474 SOS 62708 HAS SOPS 62708 HAS SOUS 43891 HAS SOUPS 43891 WITH SCORE 43953.708
AT ITER 1858 NEW BEST:: SOT 255286 SOS 63140 HAS SOPS 63140 HAS SOUS 43750 HAS SOUPS 43750 WITH SCORE 43813.14
AT ITER 1870 NEW BEST:: SOT 255208 SOS 62978 HAS SOPS 62978 HAS SOUS 43596 HAS SOUPS 43596 WITH SCORE 43658.978
AT ITER 1874 NEW BEST:: SOT 255195 SOS 62952 HAS SOPS 62952 HAS SOUS 43570 HAS SOUPS 43570 WITH SCORE 43632.952
AT ITER 1875 NEW BEST:: SOT 255075 SOS 62712 HAS SOPS 62712 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43505.712
AT ITER 1918 NEW BEST:: SOT 255175 SOS 61512 HAS SOPS 61512 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43504.512
AT ITER 1920 NEW BEST:: SOT 255175 SOS 61506 HAS SOPS 61506 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43504.506
AT ITER 1929 NEW BEST:: SOT 255112 SOS 61380 HAS SOPS 61380 HAS SOUS 43337 HAS SOUPS 43337 WITH SCORE 43398.38
AT ITER 1941 NEW BEST:: SOT 255104 SOS 61385 HAS SOPS 61385 HAS SOUS 43329 HAS SOUPS 43329 WITH SCORE 43390.385
AT ITER 1945 NEW BEST:: SOT 255069 SOS 61352 HAS SOPS 61352 HAS SOUS 43311 HAS SOUPS 43311 WITH SCORE 43372.352
AT ITER 1968 NEW BEST:: SOT 255092 SOS 61375 HAS SOPS 61375 HAS SOUS 43309 HAS SOUPS 43309 WITH SCORE 43370.375
AT ITER 1972 NEW BEST:: SOT 255083 SOS 61375 HAS SOPS 61375 HAS SOUS 43300 HAS SOUPS 43300 WITH SCORE 43361.375
AT ITER 1973 NEW BEST:: SOT 255058 SOS 61370 HAS SOPS 61370 HAS SOUS 43230 HAS SOUPS 43230 WITH SCORE 43291.37
AT ITER 1996 NEW BEST:: SOT 255056 SOS 61368 HAS SOPS 61368 HAS SOUS 43226 HAS SOUPS 43226 WITH SCORE 43287.368
AT ITER 2015 NEW BEST:: SOT 255054 SOS 61354 HAS SOPS 61354 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43285.354
AT ITER 2021 NEW BEST:: SOT 255038 SOS 61322 HAS SOPS 61322 HAS SOUS 43192 HAS SOUPS 43192 WITH SCORE 43253.322
AT ITER 2023 NEW BEST:: SOT 255020 SOS 61304 HAS SOPS 61304 HAS SOUS 43192 HAS SOUPS 43192 WITH SCORE 43253.304
AT ITER 2062 NEW BEST:: SOT 255043 SOS 61327 HAS SOPS 61327 HAS SOUS 43139 HAS SOUPS 43139 WITH SCORE 43200.327
AT ITER 2063 NEW BEST:: SOT 255028 SOS 61297 HAS SOPS 61297 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43170.297
AT ITER 2064 NEW BEST:: SOT 255098 SOS 61295 HAS SOPS 61295 HAS SOUS 43107 HAS SOUPS 43107 WITH SCORE 43168.295
AT ITER 2086 NEW BEST:: SOT 255057 SOS 61213 HAS SOPS 61213 HAS SOUS 43050 HAS SOUPS 43050 WITH SCORE 43111.213
AT ITER 2122 NEW BEST:: SOT 255567 SOS 61457 HAS SOPS 61457 HAS SOUS 42869 HAS SOUPS 42869 WITH SCORE 42930.457
AT ITER 2123 NEW BEST:: SOT 255496 SOS 61406 HAS SOPS 61406 HAS SOUS 42810 HAS SOUPS 42810 WITH SCORE 42871.406
AT ITER 2125 NEW BEST:: SOT 255474 SOS 61406 HAS SOPS 61406 HAS SOUS 42788 HAS SOUPS 42788 WITH SCORE 42849.406
AT ITER 2130 NEW BEST:: SOT 255408 SOS 61274 HAS SOPS 61274 HAS SOUS 42585 HAS SOUPS 42585 WITH SCORE 42646.274
AT ITER 2137 NEW BEST:: SOT 255342 SOS 61142 HAS SOPS 61142 HAS SOUS 42569 HAS SOUPS 42569 WITH SCORE 42630.142
AT ITER 2146 NEW BEST:: SOT 255332 SOS 61130 HAS SOPS 61130 HAS SOUS 42557 HAS SOUPS 42557 WITH SCORE 42618.13
AT ITER 2156 NEW BEST:: SOT 255313 SOS 61092 HAS SOPS 61092 HAS SOUS 42519 HAS SOUPS 42519 WITH SCORE 42580.092
AT ITER 2160 NEW BEST:: SOT 255318 SOS 61091 HAS SOPS 61091 HAS SOUS 42518 HAS SOUPS 42518 WITH SCORE 42579.091
AT ITER 2166 NEW BEST:: SOT 255325 SOS 61035 HAS SOPS 61035 HAS SOUS 42462 HAS SOUPS 42462 WITH SCORE 42523.035
AT ITER 2171 NEW BEST:: SOT 255308 SOS 61001 HAS SOPS 61001 HAS SOUS 42335 HAS SOUPS 42335 WITH SCORE 42396.001
AT ITER 2173 NEW BEST:: SOT 255285 SOS 60978 HAS SOPS 60978 HAS SOUS 42312 HAS SOUPS 42312 WITH SCORE 42372.978
AT ITER 2178 NEW BEST:: SOT 255280 SOS 60963 HAS SOPS 60963 HAS SOUS 42297 HAS SOUPS 42297 WITH SCORE 42357.963
AT ITER 2184 NEW BEST:: SOT 255280 SOS 60963 HAS SOPS 60963 HAS SOUS 42281 HAS SOUPS 42281 WITH SCORE 42341.963
AT ITER 2223 NEW BEST:: SOT 255235 SOS 60828 HAS SOPS 60828 HAS SOUS 42191 HAS SOUPS 42191 WITH SCORE 42251.828
AT ITER 2229 NEW BEST:: SOT 255228 SOS 60821 HAS SOPS 60821 HAS SOUS 42184 HAS SOUPS 42184 WITH SCORE 42244.821
AT ITER 2236 NEW BEST:: SOT 255201 SOS 60740 HAS SOPS 60740 HAS SOUS 42157 HAS SOUPS 42157 WITH SCORE 42217.74
AT ITER 2274 NEW BEST:: SOT 255067 SOS 60472 HAS SOPS 60472 HAS SOUS 41945 HAS SOUPS 41945 WITH SCORE 42005.472
AT ITER 2287 NEW BEST:: SOT 255067 SOS 60472 HAS SOPS 60472 HAS SOUS 41924 HAS SOUPS 41924 WITH SCORE 41984.472
AT ITER 2292 NEW BEST:: SOT 255148 SOS 60443 HAS SOPS 60443 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41955.443
AT ITER 2300 NEW BEST:: SOT 255148 SOS 60390 HAS SOPS 60390 HAS SOUS 41842 HAS SOUPS 41842 WITH SCORE 41902.39
AT ITER 2320 NEW BEST:: SOT 255157 SOS 60374 HAS SOPS 60374 HAS SOUS 41817 HAS SOUPS 41817 WITH SCORE 41877.374
AT ITER 2322 NEW BEST:: SOT 255148 SOS 60356 HAS SOPS 60356 HAS SOUS 41807 HAS SOUPS 41807 WITH SCORE 41867.356
AT ITER 2329 NEW BEST:: SOT 255148 SOS 60356 HAS SOPS 60356 HAS SOUS 41799 HAS SOUPS 41799 WITH SCORE 41859.356
AT ITER 2331 NEW BEST:: SOT 255079 SOS 60218 HAS SOPS 60218 HAS SOUS 41720 HAS SOUPS 41720 WITH SCORE 41780.218
AT ITER 2372 NEW BEST:: SOT 255060 SOS 60180 HAS SOPS 60180 HAS SOUS 41701 HAS SOUPS 41701 WITH SCORE 41761.18
AT ITER 2395 NEW BEST:: SOT 255081 SOS 60201 HAS SOPS 60201 HAS SOUS 41680 HAS SOUPS 41680 WITH SCORE 41740.201
AT ITER 2416 NEW BEST:: SOT 254984 SOS 60007 HAS SOPS 60007 HAS SOUS 41611 HAS SOUPS 41611 WITH SCORE 41671.007
AT ITER 2426 NEW BEST:: SOT 254977 SOS 59971 HAS SOPS 59971 HAS SOUS 41597 HAS SOUPS 41597 WITH SCORE 41656.971
AT ITER 2430 NEW BEST:: SOT 254972 SOS 59961 HAS SOPS 59961 HAS SOUS 41591 HAS SOUPS 41591 WITH SCORE 41650.961
AT ITER 2438 NEW BEST:: SOT 254972 SOS 59933 HAS SOPS 59933 HAS SOUS 41563 HAS SOUPS 41563 WITH SCORE 41622.933
AT ITER 2469 NEW BEST:: SOT 254935 SOS 59933 HAS SOPS 59933 HAS SOUS 41526 HAS SOUPS 41526 WITH SCORE 41585.933
AT ITER 2475 NEW BEST:: SOT 254871 SOS 59872 HAS SOPS 59872 HAS SOUS 41465 HAS SOUPS 41465 WITH SCORE 41524.872
AT ITER 2492 NEW BEST:: SOT 254962 SOS 59896 HAS SOPS 59896 HAS SOUS 41421 HAS SOUPS 41421 WITH SCORE 41480.896
AT ITER 2496 NEW BEST:: SOT 254962 SOS 59848 HAS SOPS 59848 HAS SOUS 41373 HAS SOUPS 41373 WITH SCORE 41432.848
AT ITER 2510 NEW BEST:: SOT 255057 SOS 59796 HAS SOPS 59796 HAS SOUS 41321 HAS SOUPS 41321 WITH SCORE 41380.796
AT ITER 2512 NEW BEST:: SOT 255047 SOS 59776 HAS SOPS 59776 HAS SOUS 41282 HAS SOUPS 41282 WITH SCORE 41341.776
AT ITER 2535 NEW BEST:: SOT 255036 SOS 59781 HAS SOPS 59781 HAS SOUS 41271 HAS SOUPS 41271 WITH SCORE 41330.781
AT ITER 2572 NEW BEST:: SOT 255036 SOS 59747 HAS SOPS 59747 HAS SOUS 41260 HAS SOUPS 41260 WITH SCORE 41319.747
AT ITER 2573 NEW BEST:: SOT 254806 SOS 59287 HAS SOPS 59287 HAS SOUS 41020 HAS SOUPS 41020 WITH SCORE 41079.287
AT ITER 2574 NEW BEST:: SOT 254730 SOS 59223 HAS SOPS 59223 HAS SOUS 40988 HAS SOUPS 40988 WITH SCORE 41047.223
AT ITER 2589 NEW BEST:: SOT 254730 SOS 59223 HAS SOPS 59223 HAS SOUS 40960 HAS SOUPS 40960 WITH SCORE 41019.223
AT ITER 2595 NEW BEST:: SOT 254641 SOS 59134 HAS SOPS 59134 HAS SOUS 40950 HAS SOUPS 40950 WITH SCORE 41009.134
AT ITER 2596 NEW BEST:: SOT 254631 SOS 59104 HAS SOPS 59104 HAS SOUS 40930 HAS SOUPS 40930 WITH SCORE 40989.104
AT ITER 2609 NEW BEST:: SOT 254560 SOS 58962 HAS SOPS 58962 HAS SOUS 40859 HAS SOUPS 40859 WITH SCORE 40917.962
AT ITER 2614 NEW BEST:: SOT 254579 SOS 58981 HAS SOPS 58981 HAS SOUS 40846 HAS SOUPS 40846 WITH SCORE 40904.981
AT ITER 2635 NEW BEST:: SOT 254563 SOS 58954 HAS SOPS 58954 HAS SOUS 40819 HAS SOUPS 40819 WITH SCORE 40877.954
AT ITER 2640 NEW BEST:: SOT 254421 SOS 58685 HAS SOPS 58685 HAS SOUS 40727 HAS SOUPS 40727 WITH SCORE 40785.685
AT ITER 2642 NEW BEST:: SOT 254420 SOS 58684 HAS SOPS 58684 HAS SOUS 40726 HAS SOUPS 40726 WITH SCORE 40784.684
AT ITER 2643 NEW BEST:: SOT 254437 SOS 58678 HAS SOPS 58678 HAS SOUS 40720 HAS SOUPS 40720 WITH SCORE 40778.678
AT ITER 2652 NEW BEST:: SOT 254394 SOS 58592 HAS SOPS 58592 HAS SOUS 40660 HAS SOUPS 40660 WITH SCORE 40718.592
AT ITER 2707 NEW BEST:: SOT 254386 SOS 58580 HAS SOPS 58580 HAS SOUS 40652 HAS SOUPS 40652 WITH SCORE 40710.58
AT ITER 2716 NEW BEST:: SOT 254370 SOS 58548 HAS SOPS 58548 HAS SOUS 40649 HAS SOUPS 40649 WITH SCORE 40707.548
AT ITER 2743 NEW BEST:: SOT 254372 SOS 58405 HAS SOPS 58405 HAS SOUS 40594 HAS SOUPS 40594 WITH SCORE 40652.405
AT ITER 2763 NEW BEST:: SOT 254372 SOS 58329 HAS SOPS 58329 HAS SOUS 40572 HAS SOUPS 40572 WITH SCORE 40630.329
AT ITER 2777 NEW BEST:: SOT 254407 SOS 58364 HAS SOPS 58364 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40611.364
AT ITER 2783 NEW BEST:: SOT 254390 SOS 58347 HAS SOPS 58347 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40611.347
AT ITER 2808 NEW BEST:: SOT 254390 SOS 58304 HAS SOPS 58304 HAS SOUS 40535 HAS SOUPS 40535 WITH SCORE 40593.304
AT ITER 2838 NEW BEST:: SOT 254411 SOS 58325 HAS SOPS 58325 HAS SOUS 40526 HAS SOUPS 40526 WITH SCORE 40584.325
AT ITER 2840 NEW BEST:: SOT 254359 SOS 58559 HAS SOPS 58559 HAS SOUS 40500 HAS SOUPS 40500 WITH SCORE 40558.559
AT ITER 2858 NEW BEST:: SOT 254437 SOS 58570 HAS SOPS 58570 HAS SOUS 40481 HAS SOUPS 40481 WITH SCORE 40539.57
AT ITER 2867 NEW BEST:: SOT 254434 SOS 58577 HAS SOPS 58577 HAS SOUS 40475 HAS SOUPS 40475 WITH SCORE 40533.577
AT ITER 2882 NEW BEST:: SOT 254364 SOS 58428 HAS SOPS 58428 HAS SOUS 40298 HAS SOUPS 40298 WITH SCORE 40356.428
AT ITER 2883 NEW BEST:: SOT 254363 SOS 58426 HAS SOPS 58426 HAS SOUS 40296 HAS SOUPS 40296 WITH SCORE 40354.426
AT ITER 2893 NEW BEST:: SOT 254354 SOS 58417 HAS SOPS 58417 HAS SOUS 40287 HAS SOUPS 40287 WITH SCORE 40345.417
AT ITER 2913 NEW BEST:: SOT 254270 SOS 58249 HAS SOPS 58249 HAS SOUS 40119 HAS SOUPS 40119 WITH SCORE 40177.249
AT ITER 2931 NEW BEST:: SOT 254256 SOS 58221 HAS SOPS 58221 HAS SOUS 40105 HAS SOUPS 40105 WITH SCORE 40163.221
AT ITER 2947 NEW BEST:: SOT 254254 SOS 58219 HAS SOPS 58219 HAS SOUS 40102 HAS SOUPS 40102 WITH SCORE 40160.219
AT ITER 2954 NEW BEST:: SOT 254322 SOS 57539 HAS SOPS 57539 HAS SOUS 40085 HAS SOUPS 40085 WITH SCORE 40142.539
AT ITER 2967 NEW BEST:: SOT 254291 SOS 57519 HAS SOPS 57519 HAS SOUS 40065 HAS SOUPS 40065 WITH SCORE 40122.519
AT ITER 2979 NEW BEST:: SOT 254280 SOS 57497 HAS SOPS 57497 HAS SOUS 40043 HAS SOUPS 40043 WITH SCORE 40100.497
AT ITER 3032 NEW BEST:: SOT 254244 SOS 57443 HAS SOPS 57443 HAS SOUS 39989 HAS SOUPS 39989 WITH SCORE 40046.443
AT ITER 3054 NEW BEST:: SOT 254196 SOS 57347 HAS SOPS 57347 HAS SOUS 39941 HAS SOUPS 39941 WITH SCORE 39998.347
AT ITER 3094 NEW BEST:: SOT 254180 SOS 57331 HAS SOPS 57331 HAS SOUS 39925 HAS SOUPS 39925 WITH SCORE 39982.331
AT ITER 3112 NEW BEST:: SOT 254082 SOS 58009 HAS SOPS 58009 HAS SOUS 39892 HAS SOUPS 39892 WITH SCORE 39950.009
AT ITER 3150 NEW BEST:: SOT 254008 SOS 57953 HAS SOPS 57953 HAS SOUS 39848 HAS SOUPS 39848 WITH SCORE 39905.953
AT ITER 3167 NEW BEST:: SOT 253993 SOS 57933 HAS SOPS 57933 HAS SOUS 39833 HAS SOUPS 39833 WITH SCORE 39890.933
AT ITER 3251 NEW BEST:: SOT 253987 SOS 57929 HAS SOPS 57929 HAS SOUS 39829 HAS SOUPS 39829 WITH SCORE 39886.929
AT ITER 3259 NEW BEST:: SOT 253938 SOS 57922 HAS SOPS 57922 HAS SOUS 39804 HAS SOUPS 39804 WITH SCORE 39861.922
AT ITER 3288 NEW BEST:: SOT 253948 SOS 57917 HAS SOPS 57917 HAS SOUS 39799 HAS SOUPS 39799 WITH SCORE 39856.917
AT ITER 3308 NEW BEST:: SOT 253757 SOS 57726 HAS SOPS 57726 HAS SOUS 39549 HAS SOUPS 39549 WITH SCORE 39606.726
AT ITER 3356 NEW BEST:: SOT 253707 SOS 57626 HAS SOPS 57626 HAS SOUS 39499 HAS SOUPS 39499 WITH SCORE 39556.626
AT ITER 3368 NEW BEST:: SOT 253668 SOS 57587 HAS SOPS 57587 HAS SOUS 39460 HAS SOUPS 39460 WITH SCORE 39517.587
AT ITER 3379 NEW BEST:: SOT 253668 SOS 57587 HAS SOPS 57587 HAS SOUS 39425 HAS SOUPS 39425 WITH SCORE 39482.587
AT ITER 3387 NEW BEST:: SOT 253646 SOS 57586 HAS SOPS 57586 HAS SOUS 39424 HAS SOUPS 39424 WITH SCORE 39481.586
AT ITER 3406 NEW BEST:: SOT 253631 SOS 57490 HAS SOPS 57490 HAS SOUS 39362 HAS SOUPS 39362 WITH SCORE 39419.49
AT ITER 3426 NEW BEST:: SOT 253634 SOS 57535 HAS SOPS 57535 HAS SOUS 39346 HAS SOUPS 39346 WITH SCORE 39403.535
AT ITER 3437 NEW BEST:: SOT 253617 SOS 57501 HAS SOPS 57501 HAS SOUS 39328 HAS SOUPS 39328 WITH SCORE 39385.501
AT ITER 3478 NEW BEST:: SOT 253568 SOS 57444 HAS SOPS 57444 HAS SOUS 39238 HAS SOUPS 39238 WITH SCORE 39295.444
AT ITER 3495 NEW BEST:: SOT 253532 SOS 57426 HAS SOPS 57426 HAS SOUS 39220 HAS SOUPS 39220 WITH SCORE 39277.426
AT ITER 3497 NEW BEST:: SOT 253507 SOS 57398 HAS SOPS 57398 HAS SOUS 39192 HAS SOUPS 39192 WITH SCORE 39249.398
AT ITER 3502 NEW BEST:: SOT 253472 SOS 57363 HAS SOPS 57363 HAS SOUS 39157 HAS SOUPS 39157 WITH SCORE 39214.363
AT ITER 3559 NEW BEST:: SOT 253415 SOS 57200 HAS SOPS 57200 HAS SOUS 39069 HAS SOUPS 39069 WITH SCORE 39126.2
AT ITER 3576 NEW BEST:: SOT 253419 SOS 57191 HAS SOPS 57191 HAS SOUS 39069 HAS SOUPS 39069 WITH SCORE 39126.191
AT ITER 3581 NEW BEST:: SOT 253416 SOS 57189 HAS SOPS 57189 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39124.189
AT ITER 3594 NEW BEST:: SOT 253444 SOS 57218 HAS SOPS 57218 HAS SOUS 39061 HAS SOUPS 39061 WITH SCORE 39118.218
AT ITER 3612 NEW BEST:: SOT 253445 SOS 57216 HAS SOPS 57216 HAS SOUS 39059 HAS SOUPS 39059 WITH SCORE 39116.216
AT ITER 3622 NEW BEST:: SOT 253445 SOS 57209 HAS SOPS 57209 HAS SOUS 39059 HAS SOUPS 39059 WITH SCORE 39116.209
AT ITER 3625 NEW BEST:: SOT 253440 SOS 57204 HAS SOPS 57204 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39109.204
AT ITER 3632 NEW BEST:: SOT 253426 SOS 55942 HAS SOPS 55942 HAS SOUS 39009 HAS SOUPS 39009 WITH SCORE 39064.942
AT ITER 3655 NEW BEST:: SOT 253324 SOS 55959 HAS SOPS 55959 HAS SOUS 38907 HAS SOUPS 38907 WITH SCORE 38962.959
AT ITER 3664 NEW BEST:: SOT 253323 SOS 55957 HAS SOPS 55957 HAS SOUS 38905 HAS SOUPS 38905 WITH SCORE 38960.957
AT ITER 3701 NEW BEST:: SOT 253323 SOS 55956 HAS SOPS 55956 HAS SOUS 38904 HAS SOUPS 38904 WITH SCORE 38959.956
AT ITER 3781 NEW BEST:: SOT 253320 SOS 55969 HAS SOPS 55969 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38956.969
AT ITER 3810 NEW BEST:: SOT 253313 SOS 55962 HAS SOPS 55962 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38956.962
AT ITER 3831 NEW BEST:: SOT 253107 SOS 55684 HAS SOPS 55684 HAS SOUS 38669 HAS SOUPS 38669 WITH SCORE 38724.684
AT ITER 3834 NEW BEST:: SOT 253130 SOS 55547 HAS SOPS 55547 HAS SOUS 38638 HAS SOUPS 38638 WITH SCORE 38693.547
AT ITER 3854 NEW BEST:: SOT 253102 SOS 55491 HAS SOPS 55491 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38637.491
AT ITER 3858 NEW BEST:: SOT 253102 SOS 55475 HAS SOPS 55475 HAS SOUS 38566 HAS SOUPS 38566 WITH SCORE 38621.475
AT ITER 3860 NEW BEST:: SOT 253100 SOS 55473 HAS SOPS 55473 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38619.473
AT ITER 3870 NEW BEST:: SOT 253100 SOS 55467 HAS SOPS 55467 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38619.467
AT ITER 3887 NEW BEST:: SOT 253073 SOS 55449 HAS SOPS 55449 HAS SOUS 38488 HAS SOUPS 38488 WITH SCORE 38543.449
AT ITER 3921 NEW BEST:: SOT 253073 SOS 55449 HAS SOPS 55449 HAS SOUS 38446 HAS SOUPS 38446 WITH SCORE 38501.449
AT ITER 3946 NEW BEST:: SOT 253061 SOS 55437 HAS SOPS 55437 HAS SOUS 38422 HAS SOUPS 38422 WITH SCORE 38477.437
AT ITER 4023 NEW BEST:: SOT 253051 SOS 55372 HAS SOPS 55372 HAS SOUS 38368 HAS SOUPS 38368 WITH SCORE 38423.372
AT ITER 4035 NEW BEST:: SOT 253048 SOS 55366 HAS SOPS 55366 HAS SOUS 38362 HAS SOUPS 38362 WITH SCORE 38417.366
AT ITER 4039 NEW BEST:: SOT 253086 SOS 55312 HAS SOPS 55312 HAS SOUS 38360 HAS SOUPS 38360 WITH SCORE 38415.312
AT ITER 4079 NEW BEST:: SOT 253035 SOS 55261 HAS SOPS 55261 HAS SOUS 38360 HAS SOUPS 38360 WITH SCORE 38415.261
AT ITER 4141 NEW BEST:: SOT 253035 SOS 55181 HAS SOPS 55181 HAS SOUS 38320 HAS SOUPS 38320 WITH SCORE 38375.181
AT ITER 4156 NEW BEST:: SOT 253006 SOS 55123 HAS SOPS 55123 HAS SOUS 38291 HAS SOUPS 38291 WITH SCORE 38346.123
AT ITER 4185 NEW BEST:: SOT 252948 SOS 55036 HAS SOPS 55036 HAS SOUS 38233 HAS SOUPS 38233 WITH SCORE 38288.036
AT ITER 4192 NEW BEST:: SOT 252948 SOS 55036 HAS SOPS 55036 HAS SOUS 38219 HAS SOUPS 38219 WITH SCORE 38274.036
AT ITER 4204 NEW BEST:: SOT 252961 SOS 54971 HAS SOPS 54971 HAS SOUS 38167 HAS SOUPS 38167 WITH SCORE 38221.971
AT ITER 4241 NEW BEST:: SOT 252919 SOS 54929 HAS SOPS 54929 HAS SOUS 38123 HAS SOUPS 38123 WITH SCORE 38177.929
AT ITER 4293 NEW BEST:: SOT 252919 SOS 54929 HAS SOPS 54929 HAS SOUS 38093 HAS SOUPS 38093 WITH SCORE 38147.929
AT ITER 4330 NEW BEST:: SOT 252830 SOS 54743 HAS SOPS 54743 HAS SOUS 38004 HAS SOUPS 38004 WITH SCORE 38058.743
AT ITER 4335 NEW BEST:: SOT 252844 SOS 54710 HAS SOPS 54710 HAS SOUS 37971 HAS SOUPS 37971 WITH SCORE 38025.71
AT ITER 4341 NEW BEST:: SOT 252834 SOS 54690 HAS SOPS 54690 HAS SOUS 37951 HAS SOUPS 37951 WITH SCORE 38005.69
AT ITER 4354 NEW BEST:: SOT 252838 SOS 54684 HAS SOPS 54684 HAS SOUS 37945 HAS SOUPS 37945 WITH SCORE 37999.684
AT ITER 4358 NEW BEST:: SOT 252838 SOS 54677 HAS SOPS 54677 HAS SOUS 37938 HAS SOUPS 37938 WITH SCORE 37992.677
AT ITER 4364 NEW BEST:: SOT 252850 SOS 54701 HAS SOPS 54701 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37970.701
AT ITER 4430 NEW BEST:: SOT 252798 SOS 54623 HAS SOPS 54623 HAS SOUS 37858 HAS SOUPS 37858 WITH SCORE 37912.623
AT ITER 4463 NEW BEST:: SOT 252798 SOS 54566 HAS SOPS 54566 HAS SOUS 37852 HAS SOUPS 37852 WITH SCORE 37906.566
AT ITER 4465 NEW BEST:: SOT 252789 SOS 54548 HAS SOPS 54548 HAS SOUS 37834 HAS SOUPS 37834 WITH SCORE 37888.548
AT ITER 4472 NEW BEST:: SOT 252750 SOS 54470 HAS SOPS 54470 HAS SOUS 37795 HAS SOUPS 37795 WITH SCORE 37849.47
AT ITER 4487 NEW BEST:: SOT 252736 SOS 54442 HAS SOPS 54442 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37838.442
AT ITER 4504 NEW BEST:: SOT 252727 SOS 54433 HAS SOPS 54433 HAS SOUS 37775 HAS SOUPS 37775 WITH SCORE 37829.433
AT ITER 4524 NEW BEST:: SOT 252680 SOS 54339 HAS SOPS 54339 HAS SOUS 37728 HAS SOUPS 37728 WITH SCORE 37782.339
AT ITER 4549 NEW BEST:: SOT 252703 SOS 54341 HAS SOPS 54341 HAS SOUS 37672 HAS SOUPS 37672 WITH SCORE 37726.341
AT ITER 4579 NEW BEST:: SOT 252757 SOS 54219 HAS SOPS 54219 HAS SOUS 37627 HAS SOUPS 37627 WITH SCORE 37681.219
AT ITER 4587 NEW BEST:: SOT 252784 SOS 54177 HAS SOPS 54177 HAS SOUS 37585 HAS SOUPS 37585 WITH SCORE 37639.177
AT ITER 4591 NEW BEST:: SOT 252777 SOS 54000 HAS SOPS 54000 HAS SOUS 37515 HAS SOUPS 37515 WITH SCORE 37569.0
AT ITER 4603 NEW BEST:: SOT 252740 SOS 53991 HAS SOPS 53991 HAS SOUS 37482 HAS SOUPS 37482 WITH SCORE 37535.991
AT ITER 4628 NEW BEST:: SOT 252722 SOS 54263 HAS SOPS 54263 HAS SOUS 37464 HAS SOUPS 37464 WITH SCORE 37518.263
AT ITER 4646 NEW BEST:: SOT 252684 SOS 54262 HAS SOPS 54262 HAS SOUS 37463 HAS SOUPS 37463 WITH SCORE 37517.262
AT ITER 4690 NEW BEST:: SOT 252694 SOS 54256 HAS SOPS 54256 HAS SOUS 37457 HAS SOUPS 37457 WITH SCORE 37511.256
AT ITER 4699 NEW BEST:: SOT 252676 SOS 54220 HAS SOPS 54220 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37500.22
AT ITER 4700 NEW BEST:: SOT 252678 SOS 54224 HAS SOPS 54224 HAS SOUS 37444 HAS SOUPS 37444 WITH SCORE 37498.224
AT ITER 4706 NEW BEST:: SOT 252615 SOS 54224 HAS SOPS 54224 HAS SOUS 37357 HAS SOUPS 37357 WITH SCORE 37411.224
AT ITER 4732 NEW BEST:: SOT 252585 SOS 54164 HAS SOPS 54164 HAS SOUS 37320 HAS SOUPS 37320 WITH SCORE 37374.164
AT ITER 4756 NEW BEST:: SOT 252572 SOS 54138 HAS SOPS 54138 HAS SOUS 37294 HAS SOUPS 37294 WITH SCORE 37348.138
AT ITER 4757 NEW BEST:: SOT 252662 SOS 54318 HAS SOPS 54318 HAS SOUS 37279 HAS SOUPS 37279 WITH SCORE 37333.318
AT ITER 4764 NEW BEST:: SOT 252655 SOS 54304 HAS SOPS 54304 HAS SOUS 37265 HAS SOUPS 37265 WITH SCORE 37319.304
AT ITER 4783 NEW BEST:: SOT 252640 SOS 54289 HAS SOPS 54289 HAS SOUS 37250 HAS SOUPS 37250 WITH SCORE 37304.289
AT ITER 4786 NEW BEST:: SOT 252660 SOS 54309 HAS SOPS 54309 HAS SOUS 37240 HAS SOUPS 37240 WITH SCORE 37294.309
AT ITER 4812 NEW BEST:: SOT 252249 SOS 54228 HAS SOPS 54228 HAS SOUS 36855 HAS SOUPS 36855 WITH SCORE 36909.228
AT ITER 4831 NEW BEST:: SOT 252223 SOS 54220 HAS SOPS 54220 HAS SOUS 36841 HAS SOUPS 36841 WITH SCORE 36895.22
AT ITER 4900 NEW BEST:: SOT 252246 SOS 54187 HAS SOPS 54187 HAS SOUS 36822 HAS SOUPS 36822 WITH SCORE 36876.187
AT ITER 4914 NEW BEST:: SOT 252236 SOS 54187 HAS SOPS 54187 HAS SOUS 36812 HAS SOUPS 36812 WITH SCORE 36866.187
AT ITER 4917 NEW BEST:: SOT 252184 SOS 54135 HAS SOPS 54135 HAS SOUS 36760 HAS SOUPS 36760 WITH SCORE 36814.135
AT ITER 4975 NEW BEST:: SOT 252058 SOS 55287 HAS SOPS 55287 HAS SOUS 36726 HAS SOUPS 36726 WITH SCORE 36781.287
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-18-CTLFireability-00 (AG( ( (EF( ( ((potential((tk(P3)>=1) & (tk(P173)>=1)))) & ((potential((tk(P3)>=1) & (tk(P517)>=1)))) ))) | ( (EG( ((potential((tk(P45)>=1)))))) | (EG( ((potential((tk(P171)>=1)))))) ) )))
PROPERTY: SmartHome-PT-18-CTLFireability-01 ( ( ( (! (AF( ((potential((tk(P232)>=1))))))) | (! (AG( ((potential((tk(P485)>=1))))))) ) & (EF( (EX( ((potential((tk(P451)>=1)))))))) ) | ( (EX( ((potential((tk(P277)>=1)))))) & (EF( (! ( ((potential((tk(P327)>=1)))) & ((potential((tk(P297)>=1) & (tk(P522)>=1)))) )))) ) )
PROPERTY: SmartHome-PT-18-CTLFireability-02 (! (! (EF( ((potential((tk(P153)>=1))))))))
PROPERTY: SmartHome-PT-18-CTLFireability-03 (! (AG( (! ( ( ((potential((tk(P232)>=1)))) | ((potential((tk(P500)>=1)))) ) & ( ((potential((tk(P266)>=1) & (tk(P603)>=1)))) & ((potential((tk(P323)>=1)))) ) )))))
PROPERTY: SmartHome-PT-18-CTLFireability-04 (AG( (AF( (! ((potential((tk(P235)>=1)))))))))
PROPERTY: SmartHome-PT-18-CTLFireability-05 (! (AX( ( ((potential((tk(P45)>=1)))) | (EF( ((potential((tk(P467)>=1)))))) ))))
PROPERTY: SmartHome-PT-18-CTLFireability-06 (EF( (AU( ( ((potential((tk(P19)>=1)))) & ((potential((tk(P49)>=1)))) ) , ((potential((tk(P119)>=1)))) ))))
PROPERTY: SmartHome-PT-18-CTLFireability-07 ( (! (! ( ((potential((tk(P61)>=1)))) | ( ( ((potential((tk(P373)>=1)))) | ((potential((tk(P48)>=1)))) ) & (! ((potential((tk(P320)>=1))))) ) ))) | (AX( (AG( (! ((potential((tk(P266)>=1) & (tk(P556)>=1))))))))) )
PROPERTY: SmartHome-PT-18-CTLFireability-08 ( (! ( (EG( (! ((potential((tk(P384)>=1))))))) & ((potential((tk(P318)>=1)))) )) & (AG( (! (EF( ((potential((tk(P204)>=1) & (tk(P591)>=1))))))))) )
PROPERTY: SmartHome-PT-18-CTLFireability-09 (! (EU( ( (! ((potential((tk(P292)>=1))))) & (! ((potential((tk(P426)>=1))))) ) , (AG( ((potential((tk(P51)>=1)))))) )))
PROPERTY: SmartHome-PT-18-CTLFireability-10 ( ( (AG( ((potential((tk(P99)>=1)))))) & ( ((potential((tk(P234)>=1)))) & (EU( ((potential((tk(P421)>=1)))) , ((potential((tk(P111)>=1)))) )) ) ) | (EX( ( (EG( ((potential((tk(P402)>=1)))))) | (EF( ((potential((tk(P141)>=1)))))) ))) )
PROPERTY: SmartHome-PT-18-CTLFireability-11 (EU( (! ( ( ((potential((tk(P435)>=1)))) | ((potential((tk(P44)>=1)))) ) & ((potential((tk(P501)>=1)))) )) , (EU( ((potential((tk(P393)>=1)))) , ((potential((tk(P645)>=1)))) )) ))
PROPERTY: SmartHome-PT-18-CTLFireability-12 ( (AG( (EU( ((potential((tk(P92)>=1)))) , ((potential((tk(P485)>=1) & (tk(P522)>=1)))) )))) | (EU( (EF( ((potential((tk(P562)>=1)))))) , ( ((potential((tk(P82)>=1)))) & (! ((potential((tk(P3)>=1) & (tk(P111)>=1))))) ) )) )
PROPERTY: SmartHome-PT-18-CTLFireability-13 (EU( (! ( ( ((potential((tk(P111)>=1)))) | ((potential((tk(P75)>=1)))) ) & ( ((potential((tk(P249)>=1)))) & ((potential((tk(P223)>=1)))) ) )) , ((potential((tk(P303)>=1)))) ))
PROPERTY: SmartHome-PT-18-CTLFireability-14 (EG( (EF( ( ( ((potential((tk(P212)>=1)))) & ((potential((tk(P513)>=1)))) ) & ((potential((tk(P269)>=1)))) )))))
PROPERTY: SmartHome-PT-18-CTLFireability-15 (EF( ( ((potential((tk(P524)>=1)))) | (AF( ( ((potential((tk(P10)>=1)))) | ((potential((tk(P193)>=1)))) ))) )))

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

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