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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.5K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K 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 18K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.7K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K 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 63K 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-07-CTLFireability-00
FORMULA_NAME SmartHome-PT-07-CTLFireability-01
FORMULA_NAME SmartHome-PT-07-CTLFireability-02
FORMULA_NAME SmartHome-PT-07-CTLFireability-03
FORMULA_NAME SmartHome-PT-07-CTLFireability-04
FORMULA_NAME SmartHome-PT-07-CTLFireability-05
FORMULA_NAME SmartHome-PT-07-CTLFireability-06
FORMULA_NAME SmartHome-PT-07-CTLFireability-07
FORMULA_NAME SmartHome-PT-07-CTLFireability-08
FORMULA_NAME SmartHome-PT-07-CTLFireability-09
FORMULA_NAME SmartHome-PT-07-CTLFireability-10
FORMULA_NAME SmartHome-PT-07-CTLFireability-11
FORMULA_NAME SmartHome-PT-07-CTLFireability-12
FORMULA_NAME SmartHome-PT-07-CTLFireability-13
FORMULA_NAME SmartHome-PT-07-CTLFireability-14
FORMULA_NAME SmartHome-PT-07-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469750494

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 07
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: 251 places, 290 transitions, 658 arcs.
AT ITER 0 NEW BEST:: SOT 43536 SOS 10676 HAS SOPS 10676 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10353.676
AT ITER 13 NEW BEST:: SOT 43556 SOS 10696 HAS SOPS 10696 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10333.696
AT ITER 18 NEW BEST:: SOT 43548 SOS 10720 HAS SOPS 10720 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10325.72
AT ITER 24 NEW BEST:: SOT 43589 SOS 10786 HAS SOPS 10786 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10324.786
AT ITER 51 NEW BEST:: SOT 43386 SOS 12106 HAS SOPS 12106 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10219.106
AT ITER 58 NEW BEST:: SOT 43386 SOS 12106 HAS SOPS 12106 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10215.106
AT ITER 63 NEW BEST:: SOT 43360 SOS 12054 HAS SOPS 12054 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10176.054
AT ITER 82 NEW BEST:: SOT 43323 SOS 11980 HAS SOPS 11980 HAS SOUS 10127 HAS SOUPS 10127 WITH SCORE 10138.98
AT ITER 105 NEW BEST:: SOT 43331 SOS 11912 HAS SOPS 11912 HAS SOUS 10101 HAS SOUPS 10101 WITH SCORE 10112.912
AT ITER 113 NEW BEST:: SOT 43259 SOS 11856 HAS SOPS 11856 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10048.856
AT ITER 114 NEW BEST:: SOT 43234 SOS 11834 HAS SOPS 11834 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10025.834
AT ITER 115 NEW BEST:: SOT 43232 SOS 11828 HAS SOPS 11828 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10023.828
AT ITER 122 NEW BEST:: SOT 43220 SOS 11804 HAS SOPS 11804 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10011.804
AT ITER 126 NEW BEST:: SOT 43212 SOS 11788 HAS SOPS 11788 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 9995.788
AT ITER 128 NEW BEST:: SOT 43139 SOS 11798 HAS SOPS 11798 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9945.798
AT ITER 159 NEW BEST:: SOT 43139 SOS 11797 HAS SOPS 11797 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9944.797
AT ITER 163 NEW BEST:: SOT 43133 SOS 11779 HAS SOPS 11779 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9926.779
AT ITER 169 NEW BEST:: SOT 43109 SOS 11731 HAS SOPS 11731 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9854.731
AT ITER 176 NEW BEST:: SOT 43039 SOS 11942 HAS SOPS 11942 HAS SOUS 9773 HAS SOUPS 9773 WITH SCORE 9784.942
AT ITER 188 NEW BEST:: SOT 43006 SOS 11939 HAS SOPS 11939 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9781.939
AT ITER 195 NEW BEST:: SOT 43005 SOS 11573 HAS SOPS 11573 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9779.573
AT ITER 206 NEW BEST:: SOT 43005 SOS 11558 HAS SOPS 11558 HAS SOUS 9753 HAS SOUPS 9753 WITH SCORE 9764.558
AT ITER 224 NEW BEST:: SOT 42999 SOS 11511 HAS SOPS 11511 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9710.511
AT ITER 227 NEW BEST:: SOT 42617 SOS 11896 HAS SOPS 11896 HAS SOUS 9501 HAS SOUPS 9501 WITH SCORE 9512.896
AT ITER 241 NEW BEST:: SOT 42617 SOS 11892 HAS SOPS 11892 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9508.892
AT ITER 250 NEW BEST:: SOT 42617 SOS 11882 HAS SOPS 11882 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9508.882
AT ITER 252 NEW BEST:: SOT 42604 SOS 11869 HAS SOPS 11869 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9495.869
AT ITER 258 NEW BEST:: SOT 42588 SOS 11853 HAS SOPS 11853 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9478.853
AT ITER 272 NEW BEST:: SOT 42428 SOS 11533 HAS SOPS 11533 HAS SOUS 9309 HAS SOUPS 9309 WITH SCORE 9320.533
AT ITER 282 NEW BEST:: SOT 42457 SOS 11591 HAS SOPS 11591 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9303.591
AT ITER 289 NEW BEST:: SOT 42448 SOS 11585 HAS SOPS 11585 HAS SOUS 9285 HAS SOUPS 9285 WITH SCORE 9296.585
AT ITER 298 NEW BEST:: SOT 42440 SOS 11569 HAS SOPS 11569 HAS SOUS 9277 HAS SOUPS 9277 WITH SCORE 9288.569
AT ITER 301 NEW BEST:: SOT 42409 SOS 11543 HAS SOPS 11543 HAS SOUS 9249 HAS SOUPS 9249 WITH SCORE 9260.543
AT ITER 312 NEW BEST:: SOT 42383 SOS 11571 HAS SOPS 11571 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9237.571
AT ITER 320 NEW BEST:: SOT 42366 SOS 11551 HAS SOPS 11551 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9217.551
AT ITER 341 NEW BEST:: SOT 42290 SOS 11474 HAS SOPS 11474 HAS SOUS 9127 HAS SOUPS 9127 WITH SCORE 9138.474
AT ITER 343 NEW BEST:: SOT 42274 SOS 11442 HAS SOPS 11442 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9106.442
AT ITER 349 NEW BEST:: SOT 42257 SOS 11425 HAS SOPS 11425 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9089.425
AT ITER 350 NEW BEST:: SOT 42257 SOS 11401 HAS SOPS 11401 HAS SOUS 9078 HAS SOUPS 9078 WITH SCORE 9089.401
AT ITER 359 NEW BEST:: SOT 42204 SOS 11348 HAS SOPS 11348 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9036.348
AT ITER 371 NEW BEST:: SOT 42204 SOS 11348 HAS SOPS 11348 HAS SOUS 9023 HAS SOUPS 9023 WITH SCORE 9034.348
AT ITER 373 NEW BEST:: SOT 42183 SOS 11326 HAS SOPS 11326 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9032.326
AT ITER 374 NEW BEST:: SOT 42059 SOS 11869 HAS SOPS 11869 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8957.869
AT ITER 375 NEW BEST:: SOT 41931 SOS 11677 HAS SOPS 11677 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8765.677
AT ITER 397 NEW BEST:: SOT 41914 SOS 11643 HAS SOPS 11643 HAS SOUS 8737 HAS SOUPS 8737 WITH SCORE 8748.643
AT ITER 417 NEW BEST:: SOT 41890 SOS 11629 HAS SOPS 11629 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8730.629
AT ITER 418 NEW BEST:: SOT 41890 SOS 11623 HAS SOPS 11623 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8724.623
AT ITER 427 NEW BEST:: SOT 41880 SOS 11603 HAS SOPS 11603 HAS SOUS 8703 HAS SOUPS 8703 WITH SCORE 8714.603
AT ITER 433 NEW BEST:: SOT 41868 SOS 11598 HAS SOPS 11598 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8706.598
AT ITER 454 NEW BEST:: SOT 41664 SOS 11438 HAS SOPS 11438 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8533.438
AT ITER 465 NEW BEST:: SOT 41640 SOS 11390 HAS SOPS 11390 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8461.39
AT ITER 489 NEW BEST:: SOT 41635 SOS 11385 HAS SOPS 11385 HAS SOUS 8445 HAS SOUPS 8445 WITH SCORE 8456.385
AT ITER 541 NEW BEST:: SOT 41630 SOS 11382 HAS SOPS 11382 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8446.382
AT ITER 552 NEW BEST:: SOT 41631 SOS 11381 HAS SOPS 11381 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8422.381
AT ITER 556 NEW BEST:: SOT 41372 SOS 11397 HAS SOPS 11397 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8212.397
AT ITER 603 NEW BEST:: SOT 41331 SOS 11356 HAS SOPS 11356 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8212.356
AT ITER 624 NEW BEST:: SOT 41325 SOS 11348 HAS SOPS 11348 HAS SOUS 8201 HAS SOUPS 8201 WITH SCORE 8212.348
AT ITER 651 NEW BEST:: SOT 41325 SOS 11345 HAS SOPS 11345 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8209.345
AT ITER 652 NEW BEST:: SOT 41322 SOS 11339 HAS SOPS 11339 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8206.339
AT ITER 670 NEW BEST:: SOT 41315 SOS 11303 HAS SOPS 11303 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8177.303
AT ITER 672 NEW BEST:: SOT 41301 SOS 11304 HAS SOPS 11304 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8163.304
AT ITER 673 NEW BEST:: SOT 41283 SOS 11268 HAS SOPS 11268 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8151.268
AT ITER 675 NEW BEST:: SOT 41270 SOS 11272 HAS SOPS 11272 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8138.272
AT ITER 687 NEW BEST:: SOT 41271 SOS 11234 HAS SOPS 11234 HAS SOUS 8109 HAS SOUPS 8109 WITH SCORE 8120.234
AT ITER 701 NEW BEST:: SOT 41264 SOS 11220 HAS SOPS 11220 HAS SOUS 8102 HAS SOUPS 8102 WITH SCORE 8113.22
AT ITER 706 NEW BEST:: SOT 41174 SOS 11258 HAS SOPS 11258 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8053.258
AT ITER 714 NEW BEST:: SOT 41172 SOS 11254 HAS SOPS 11254 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8050.254
AT ITER 745 NEW BEST:: SOT 41169 SOS 11248 HAS SOPS 11248 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8046.248
AT ITER 756 NEW BEST:: SOT 41175 SOS 11274 HAS SOPS 11274 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8032.274
AT ITER 770 NEW BEST:: SOT 41175 SOS 11309 HAS SOPS 11309 HAS SOUS 7999 HAS SOUPS 7999 WITH SCORE 8010.309
AT ITER 774 NEW BEST:: SOT 41163 SOS 11285 HAS SOPS 11285 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7998.285
AT ITER 776 NEW BEST:: SOT 41158 SOS 11279 HAS SOPS 11279 HAS SOUS 7981 HAS SOUPS 7981 WITH SCORE 7992.279
AT ITER 784 NEW BEST:: SOT 41148 SOS 11259 HAS SOPS 11259 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7972.259
AT ITER 808 NEW BEST:: SOT 41128 SOS 11252 HAS SOPS 11252 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7965.252
AT ITER 810 NEW BEST:: SOT 41129 SOS 11199 HAS SOPS 11199 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7936.199
AT ITER 813 NEW BEST:: SOT 41089 SOS 11119 HAS SOPS 11119 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7913.119
AT ITER 841 NEW BEST:: SOT 41035 SOS 11012 HAS SOPS 11012 HAS SOUS 7801 HAS SOUPS 7801 WITH SCORE 7812.012
AT ITER 854 NEW BEST:: SOT 41038 SOS 10964 HAS SOPS 10964 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7805.964
AT ITER 860 NEW BEST:: SOT 41038 SOS 10698 HAS SOPS 10698 HAS SOUS 7781 HAS SOUPS 7781 WITH SCORE 7791.698
AT ITER 877 NEW BEST:: SOT 41004 SOS 10675 HAS SOPS 10675 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7768.675
AT ITER 880 NEW BEST:: SOT 40996 SOS 10651 HAS SOPS 10651 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7760.651
AT ITER 892 NEW BEST:: SOT 41019 SOS 10697 HAS SOPS 10697 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7721.697
AT ITER 921 NEW BEST:: SOT 40976 SOS 10611 HAS SOPS 10611 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7669.611
AT ITER 934 NEW BEST:: SOT 40976 SOS 10602 HAS SOPS 10602 HAS SOUS 7651 HAS SOUPS 7651 WITH SCORE 7661.602
AT ITER 938 NEW BEST:: SOT 40964 SOS 10578 HAS SOPS 10578 HAS SOUS 7627 HAS SOUPS 7627 WITH SCORE 7637.578
AT ITER 957 NEW BEST:: SOT 40945 SOS 10523 HAS SOPS 10523 HAS SOUS 7572 HAS SOUPS 7572 WITH SCORE 7582.523
AT ITER 959 NEW BEST:: SOT 40959 SOS 10488 HAS SOPS 10488 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7547.488
AT ITER 985 NEW BEST:: SOT 40941 SOS 10443 HAS SOPS 10443 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7520.443
AT ITER 990 NEW BEST:: SOT 40935 SOS 10431 HAS SOPS 10431 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7508.431
AT ITER 995 NEW BEST:: SOT 40855 SOS 10344 HAS SOPS 10344 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7421.344
AT ITER 1015 NEW BEST:: SOT 40808 SOS 10250 HAS SOPS 10250 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7388.25
AT ITER 1034 NEW BEST:: SOT 40787 SOS 10209 HAS SOPS 10209 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7347.209
AT ITER 1040 NEW BEST:: SOT 40788 SOS 10210 HAS SOPS 10210 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7332.21
AT ITER 1047 NEW BEST:: SOT 40801 SOS 10185 HAS SOPS 10185 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7307.185
AT ITER 1050 NEW BEST:: SOT 40773 SOS 10142 HAS SOPS 10142 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7264.142
AT ITER 1069 NEW BEST:: SOT 40764 SOS 10124 HAS SOPS 10124 HAS SOUS 7228 HAS SOUPS 7228 WITH SCORE 7238.124
AT ITER 1079 NEW BEST:: SOT 40760 SOS 10116 HAS SOPS 10116 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7230.116
AT ITER 1090 NEW BEST:: SOT 40708 SOS 10064 HAS SOPS 10064 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7178.064
AT ITER 1098 NEW BEST:: SOT 40696 SOS 10028 HAS SOPS 10028 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7154.028
AT ITER 1102 NEW BEST:: SOT 40675 SOS 9986 HAS SOPS 9986 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7151.986
AT ITER 1104 NEW BEST:: SOT 40672 SOS 9961 HAS SOPS 9961 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7128.961
AT ITER 1114 NEW BEST:: SOT 40673 SOS 9955 HAS SOPS 9955 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7124.955
AT ITER 1119 NEW BEST:: SOT 40664 SOS 9946 HAS SOPS 9946 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7115.946
AT ITER 1120 NEW BEST:: SOT 40661 SOS 9947 HAS SOPS 9947 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7114.947
AT ITER 1141 NEW BEST:: SOT 40661 SOS 9943 HAS SOPS 9943 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7110.943
AT ITER 1186 NEW BEST:: SOT 40651 SOS 9917 HAS SOPS 9917 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7098.917
AT ITER 1197 NEW BEST:: SOT 40628 SOS 9897 HAS SOPS 9897 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7075.897
AT ITER 1201 NEW BEST:: SOT 40619 SOS 9879 HAS SOPS 9879 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7066.879
AT ITER 1208 NEW BEST:: SOT 40595 SOS 9833 HAS SOPS 9833 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7030.833
AT ITER 1211 NEW BEST:: SOT 40583 SOS 9839 HAS SOPS 9839 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7029.839
AT ITER 1236 NEW BEST:: SOT 40578 SOS 9834 HAS SOPS 9834 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7029.834
AT ITER 1240 NEW BEST:: SOT 40568 SOS 9824 HAS SOPS 9824 HAS SOUS 7020 HAS SOUPS 7020 WITH SCORE 7029.824
AT ITER 1242 NEW BEST:: SOT 40537 SOS 9787 HAS SOPS 9787 HAS SOUS 6989 HAS SOUPS 6989 WITH SCORE 6998.787
AT ITER 1280 NEW BEST:: SOT 40521 SOS 9729 HAS SOPS 9729 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6963.729
AT ITER 1328 NEW BEST:: SOT 40491 SOS 9669 HAS SOPS 9669 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6933.669
AT ITER 1337 NEW BEST:: SOT 40491 SOS 9645 HAS SOPS 9645 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6919.645
AT ITER 1372 NEW BEST:: SOT 40489 SOS 9626 HAS SOPS 9626 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6900.626
AT ITER 1375 NEW BEST:: SOT 40468 SOS 9584 HAS SOPS 9584 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6900.584
AT ITER 1377 NEW BEST:: SOT 40442 SOS 9552 HAS SOPS 9552 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6885.552
AT ITER 1380 NEW BEST:: SOT 40451 SOS 9570 HAS SOPS 9570 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6884.57
AT ITER 1407 NEW BEST:: SOT 40430 SOS 9545 HAS SOPS 9545 HAS SOUS 6867 HAS SOUPS 6867 WITH SCORE 6876.545
AT ITER 1415 NEW BEST:: SOT 40425 SOS 9535 HAS SOPS 9535 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6872.535
AT ITER 1446 NEW BEST:: SOT 40421 SOS 9534 HAS SOPS 9534 HAS SOUS 6862 HAS SOUPS 6862 WITH SCORE 6871.534
AT ITER 1456 NEW BEST:: SOT 40413 SOS 9518 HAS SOPS 9518 HAS SOUS 6854 HAS SOUPS 6854 WITH SCORE 6863.518
AT ITER 1457 NEW BEST:: SOT 40409 SOS 9510 HAS SOPS 9510 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6855.51
AT ITER 1463 NEW BEST:: SOT 40389 SOS 9470 HAS SOPS 9470 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6855.47
AT ITER 1474 NEW BEST:: SOT 40377 SOS 9458 HAS SOPS 9458 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6855.458
AT ITER 1539 NEW BEST:: SOT 40376 SOS 9457 HAS SOPS 9457 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6854.457
AT ITER 1550 NEW BEST:: SOT 40365 SOS 9457 HAS SOPS 9457 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6840.457
AT ITER 1558 NEW BEST:: SOT 40353 SOS 9433 HAS SOPS 9433 HAS SOUS 6812 HAS SOUPS 6812 WITH SCORE 6821.433
AT ITER 1569 NEW BEST:: SOT 40346 SOS 9419 HAS SOPS 9419 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6807.419
AT ITER 1582 NEW BEST:: SOT 40336 SOS 9403 HAS SOPS 9403 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6791.403
AT ITER 1590 NEW BEST:: SOT 40337 SOS 9354 HAS SOPS 9354 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6728.354
AT ITER 1607 NEW BEST:: SOT 40333 SOS 9350 HAS SOPS 9350 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6725.35
AT ITER 1613 NEW BEST:: SOT 40350 SOS 9367 HAS SOPS 9367 HAS SOUS 6702 HAS SOUPS 6702 WITH SCORE 6711.367
AT ITER 1642 NEW BEST:: SOT 40350 SOS 9361 HAS SOPS 9361 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6705.361
AT ITER 1654 NEW BEST:: SOT 40348 SOS 9359 HAS SOPS 9359 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6703.359
AT ITER 1679 NEW BEST:: SOT 40335 SOS 9348 HAS SOPS 9348 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6685.348
AT ITER 1719 NEW BEST:: SOT 40272 SOS 9824 HAS SOPS 9824 HAS SOUS 6613 HAS SOUPS 6613 WITH SCORE 6622.824
AT ITER 1759 NEW BEST:: SOT 40269 SOS 9814 HAS SOPS 9814 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6609.814
AT ITER 1772 NEW BEST:: SOT 40269 SOS 9812 HAS SOPS 9812 HAS SOUS 6598 HAS SOUPS 6598 WITH SCORE 6607.812
AT ITER 1774 NEW BEST:: SOT 40256 SOS 9786 HAS SOPS 9786 HAS SOUS 6572 HAS SOUPS 6572 WITH SCORE 6581.786
AT ITER 1817 NEW BEST:: SOT 40244 SOS 9762 HAS SOPS 9762 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6571.762
AT ITER 1828 NEW BEST:: SOT 40236 SOS 9726 HAS SOPS 9726 HAS SOUS 6554 HAS SOUPS 6554 WITH SCORE 6563.726
AT ITER 1829 NEW BEST:: SOT 40225 SOS 9715 HAS SOPS 9715 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6552.715
AT ITER 1840 NEW BEST:: SOT 40225 SOS 9706 HAS SOPS 9706 HAS SOUS 6543 HAS SOUPS 6543 WITH SCORE 6552.706
AT ITER 1843 NEW BEST:: SOT 40219 SOS 9676 HAS SOPS 9676 HAS SOUS 6531 HAS SOUPS 6531 WITH SCORE 6540.676
AT ITER 1873 NEW BEST:: SOT 40179 SOS 9596 HAS SOPS 9596 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6460.596
AT ITER 1887 NEW BEST:: SOT 40160 SOS 9558 HAS SOPS 9558 HAS SOUS 6445 HAS SOUPS 6445 WITH SCORE 6454.558
AT ITER 1890 NEW BEST:: SOT 40157 SOS 9552 HAS SOPS 9552 HAS SOUS 6439 HAS SOUPS 6439 WITH SCORE 6448.552
AT ITER 1905 NEW BEST:: SOT 40157 SOS 9545 HAS SOPS 9545 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6441.545
AT ITER 1910 NEW BEST:: SOT 40156 SOS 9543 HAS SOPS 9543 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6440.543
AT ITER 1981 NEW BEST:: SOT 40151 SOS 9533 HAS SOPS 9533 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6430.533
AT ITER 1988 NEW BEST:: SOT 40151 SOS 9532 HAS SOPS 9532 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6429.532
AT ITER 2000 NEW BEST:: SOT 40137 SOS 9532 HAS SOPS 9532 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6385.532
AT ITER 2042 NEW BEST:: SOT 40131 SOS 9520 HAS SOPS 9520 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6380.52
AT ITER 2053 NEW BEST:: SOT 40131 SOS 9504 HAS SOPS 9504 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6364.504
AT ITER 2072 NEW BEST:: SOT 40108 SOS 9481 HAS SOPS 9481 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6341.481
AT ITER 2100 NEW BEST:: SOT 40086 SOS 9455 HAS SOPS 9455 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6315.455
AT ITER 2104 NEW BEST:: SOT 40085 SOS 9453 HAS SOPS 9453 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6313.453
AT ITER 2132 NEW BEST:: SOT 40077 SOS 9437 HAS SOPS 9437 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6313.437
AT ITER 2148 NEW BEST:: SOT 40071 SOS 9428 HAS SOPS 9428 HAS SOUS 6295 HAS SOUPS 6295 WITH SCORE 6304.428
AT ITER 2156 NEW BEST:: SOT 40070 SOS 9426 HAS SOPS 9426 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6302.426
AT ITER 2188 NEW BEST:: SOT 40042 SOS 9565 HAS SOPS 9565 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6293.565
AT ITER 2220 NEW BEST:: SOT 40021 SOS 9523 HAS SOPS 9523 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6251.523
AT ITER 2240 NEW BEST:: SOT 40019 SOS 9519 HAS SOPS 9519 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6249.519
AT ITER 2241 NEW BEST:: SOT 40011 SOS 9511 HAS SOPS 9511 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6233.511
AT ITER 2243 NEW BEST:: SOT 40005 SOS 9499 HAS SOPS 9499 HAS SOUS 6215 HAS SOUPS 6215 WITH SCORE 6224.499
AT ITER 2262 NEW BEST:: SOT 40003 SOS 9495 HAS SOPS 9495 HAS SOUS 6211 HAS SOUPS 6211 WITH SCORE 6220.495
AT ITER 2299 NEW BEST:: SOT 40003 SOS 9498 HAS SOPS 9498 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6199.498
AT ITER 2329 NEW BEST:: SOT 40003 SOS 9524 HAS SOPS 9524 HAS SOUS 6187 HAS SOUPS 6187 WITH SCORE 6196.524
AT ITER 2376 NEW BEST:: SOT 40001 SOS 9521 HAS SOPS 9521 HAS SOUS 6184 HAS SOUPS 6184 WITH SCORE 6193.521
AT ITER 2398 NEW BEST:: SOT 39970 SOS 9459 HAS SOPS 9459 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6171.459
AT ITER 2423 NEW BEST:: SOT 39972 SOS 9441 HAS SOPS 9441 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6171.441
AT ITER 2428 NEW BEST:: SOT 40033 SOS 9502 HAS SOPS 9502 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6167.502
AT ITER 2435 NEW BEST:: SOT 40026 SOS 9495 HAS SOPS 9495 HAS SOUS 6151 HAS SOUPS 6151 WITH SCORE 6160.495
AT ITER 2439 NEW BEST:: SOT 40001 SOS 9445 HAS SOPS 9445 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6156.445
AT ITER 2442 NEW BEST:: SOT 39995 SOS 9436 HAS SOPS 9436 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6147.436
AT ITER 2515 NEW BEST:: SOT 40024 SOS 9494 HAS SOPS 9494 HAS SOUS 6132 HAS SOUPS 6132 WITH SCORE 6141.494
AT ITER 2520 NEW BEST:: SOT 39979 SOS 9404 HAS SOPS 9404 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6072.404
AT ITER 2531 NEW BEST:: SOT 39973 SOS 9196 HAS SOPS 9196 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6052.196
AT ITER 2544 NEW BEST:: SOT 39980 SOS 9224 HAS SOPS 9224 HAS SOUS 6039 HAS SOUPS 6039 WITH SCORE 6048.224
AT ITER 2588 NEW BEST:: SOT 39991 SOS 9229 HAS SOPS 9229 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6045.229
AT ITER 2601 NEW BEST:: SOT 39985 SOS 9182 HAS SOPS 9182 HAS SOUS 6024 HAS SOUPS 6024 WITH SCORE 6033.182
AT ITER 2604 NEW BEST:: SOT 39985 SOS 9157 HAS SOPS 9157 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6009.157
AT ITER 2641 NEW BEST:: SOT 39985 SOS 9155 HAS SOPS 9155 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6009.155
AT ITER 2657 NEW BEST:: SOT 39985 SOS 9155 HAS SOPS 9155 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6008.155
AT ITER 2718 NEW BEST:: SOT 39967 SOS 9215 HAS SOPS 9215 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5995.215
AT ITER 2720 NEW BEST:: SOT 39964 SOS 9209 HAS SOPS 9209 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5989.209
AT ITER 2745 NEW BEST:: SOT 39961 SOS 9197 HAS SOPS 9197 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5983.197
AT ITER 2774 NEW BEST:: SOT 39961 SOS 9191 HAS SOPS 9191 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5983.191
AT ITER 2821 NEW BEST:: SOT 39953 SOS 9175 HAS SOPS 9175 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5967.175
AT ITER 2847 NEW BEST:: SOT 39955 SOS 9174 HAS SOPS 9174 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5966.174
AT ITER 2952 NEW BEST:: SOT 39948 SOS 9159 HAS SOPS 9159 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5959.159
AT ITER 2957 NEW BEST:: SOT 39950 SOS 9161 HAS SOPS 9161 HAS SOUS 5948 HAS SOUPS 5948 WITH SCORE 5957.161
AT ITER 2970 NEW BEST:: SOT 39934 SOS 9140 HAS SOPS 9140 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5947.14
AT ITER 2993 NEW BEST:: SOT 39947 SOS 9166 HAS SOPS 9166 HAS SOUS 5934 HAS SOUPS 5934 WITH SCORE 5943.166
AT ITER 3040 NEW BEST:: SOT 39947 SOS 9167 HAS SOPS 9167 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5941.167
AT ITER 3057 NEW BEST:: SOT 39923 SOS 9143 HAS SOPS 9143 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5936.143
AT ITER 3076 NEW BEST:: SOT 39913 SOS 9123 HAS SOPS 9123 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5921.123
AT ITER 3094 NEW BEST:: SOT 39913 SOS 9122 HAS SOPS 9122 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5920.122
AT ITER 3095 NEW BEST:: SOT 39911 SOS 9118 HAS SOPS 9118 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5916.118
AT ITER 3141 NEW BEST:: SOT 39907 SOS 9114 HAS SOPS 9114 HAS SOUS 5903 HAS SOUPS 5903 WITH SCORE 5912.114
AT ITER 3156 NEW BEST:: SOT 39904 SOS 9111 HAS SOPS 9111 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5909.111
AT ITER 3163 NEW BEST:: SOT 39898 SOS 9099 HAS SOPS 9099 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5897.099
AT ITER 3203 NEW BEST:: SOT 39883 SOS 9069 HAS SOPS 9069 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5867.069
AT ITER 3236 NEW BEST:: SOT 39870 SOS 9023 HAS SOPS 9023 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5852.023
AT ITER 3269 NEW BEST:: SOT 39864 SOS 9016 HAS SOPS 9016 HAS SOUS 5835 HAS SOUPS 5835 WITH SCORE 5844.016
AT ITER 3360 NEW BEST:: SOT 39866 SOS 9017 HAS SOPS 9017 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5843.017
AT ITER 3380 NEW BEST:: SOT 39836 SOS 8957 HAS SOPS 8957 HAS SOUS 5804 HAS SOUPS 5804 WITH SCORE 5812.957
AT ITER 3381 NEW BEST:: SOT 39829 SOS 8942 HAS SOPS 8942 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5811.942
AT ITER 3384 NEW BEST:: SOT 39819 SOS 8902 HAS SOPS 8902 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5795.902
AT ITER 3400 NEW BEST:: SOT 39818 SOS 8898 HAS SOPS 8898 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5791.898
AT ITER 3401 NEW BEST:: SOT 39818 SOS 8898 HAS SOPS 8898 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5790.898
AT ITER 3403 NEW BEST:: SOT 39812 SOS 8886 HAS SOPS 8886 HAS SOUS 5769 HAS SOUPS 5769 WITH SCORE 5777.886
AT ITER 3410 NEW BEST:: SOT 39799 SOS 8860 HAS SOPS 8860 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5751.86
AT ITER 3420 NEW BEST:: SOT 39812 SOS 8849 HAS SOPS 8849 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5741.849
AT ITER 3456 NEW BEST:: SOT 39798 SOS 8977 HAS SOPS 8977 HAS SOUS 5726 HAS SOUPS 5726 WITH SCORE 5734.977
AT ITER 3485 NEW BEST:: SOT 39805 SOS 8991 HAS SOPS 8991 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5733.991
AT ITER 3495 NEW BEST:: SOT 39805 SOS 8991 HAS SOPS 8991 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5715.991
AT ITER 3504 NEW BEST:: SOT 39793 SOS 8967 HAS SOPS 8967 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5691.967
AT ITER 3549 NEW BEST:: SOT 39764 SOS 8961 HAS SOPS 8961 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5681.961
AT ITER 3583 NEW BEST:: SOT 39782 SOS 8985 HAS SOPS 8985 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5668.985
AT ITER 3590 NEW BEST:: SOT 39781 SOS 8983 HAS SOPS 8983 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5666.983
AT ITER 3597 NEW BEST:: SOT 39765 SOS 8967 HAS SOPS 8967 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5650.967
AT ITER 3603 NEW BEST:: SOT 39746 SOS 8948 HAS SOPS 8948 HAS SOUS 5641 HAS SOUPS 5641 WITH SCORE 5649.948
AT ITER 3682 NEW BEST:: SOT 39773 SOS 8986 HAS SOPS 8986 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5647.986
AT ITER 3772 NEW BEST:: SOT 39773 SOS 8973 HAS SOPS 8973 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5645.973
AT ITER 3887 NEW BEST:: SOT 39774 SOS 8951 HAS SOPS 8951 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5643.951
AT ITER 3969 NEW BEST:: SOT 39776 SOS 8949 HAS SOPS 8949 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5641.949
AT ITER 3981 NEW BEST:: SOT 39772 SOS 8948 HAS SOPS 8948 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5637.948
AT ITER 3982 NEW BEST:: SOT 39771 SOS 8935 HAS SOPS 8935 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5627.935
AT ITER 3984 NEW BEST:: SOT 39768 SOS 8933 HAS SOPS 8933 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5625.933
AT ITER 3991 NEW BEST:: SOT 39767 SOS 8932 HAS SOPS 8932 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5623.932
AT ITER 3993 NEW BEST:: SOT 39766 SOS 8913 HAS SOPS 8913 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5604.913
AT ITER 4069 NEW BEST:: SOT 39750 SOS 8900 HAS SOPS 8900 HAS SOUS 5583 HAS SOUPS 5583 WITH SCORE 5591.9
AT ITER 4130 NEW BEST:: SOT 39749 SOS 8894 HAS SOPS 8894 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5586.894
AT ITER 4134 NEW BEST:: SOT 39744 SOS 8884 HAS SOPS 8884 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5576.884
AT ITER 4177 NEW BEST:: SOT 39745 SOS 8885 HAS SOPS 8885 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5575.885
AT ITER 4185 NEW BEST:: SOT 39744 SOS 8883 HAS SOPS 8883 HAS SOUS 5565 HAS SOUPS 5565 WITH SCORE 5573.883
AT ITER 4240 NEW BEST:: SOT 39746 SOS 8887 HAS SOPS 8887 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5569.887
AT ITER 4258 NEW BEST:: SOT 39744 SOS 8883 HAS SOPS 8883 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5569.883
AT ITER 4298 NEW BEST:: SOT 39744 SOS 8880 HAS SOPS 8880 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5566.88
AT ITER 4309 NEW BEST:: SOT 39742 SOS 8876 HAS SOPS 8876 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5562.876
AT ITER 4325 NEW BEST:: SOT 39742 SOS 8876 HAS SOPS 8876 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5559.876
AT ITER 4333 NEW BEST:: SOT 39746 SOS 8880 HAS SOPS 8880 HAS SOUS 5547 HAS SOUPS 5547 WITH SCORE 5555.88
AT ITER 4334 NEW BEST:: SOT 39734 SOS 8856 HAS SOPS 8856 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5547.856
AT ITER 4374 NEW BEST:: SOT 39746 SOS 8865 HAS SOPS 8865 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5544.865
AT ITER 4386 NEW BEST:: SOT 39741 SOS 8855 HAS SOPS 8855 HAS SOUS 5530 HAS SOUPS 5530 WITH SCORE 5538.855
AT ITER 4426 NEW BEST:: SOT 39741 SOS 8821 HAS SOPS 8821 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5525.821
AT ITER 4470 NEW BEST:: SOT 39735 SOS 8809 HAS SOPS 8809 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5525.809
AT ITER 4485 NEW BEST:: SOT 39729 SOS 8797 HAS SOPS 8797 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5516.797
AT ITER 4522 NEW BEST:: SOT 39713 SOS 8796 HAS SOPS 8796 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5511.796
AT ITER 4536 NEW BEST:: SOT 39713 SOS 8796 HAS SOPS 8796 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5500.796
AT ITER 4553 NEW BEST:: SOT 39709 SOS 8788 HAS SOPS 8788 HAS SOUS 5492 HAS SOUPS 5492 WITH SCORE 5500.788
AT ITER 4631 NEW BEST:: SOT 39689 SOS 8760 HAS SOPS 8760 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5472.76
AT ITER 4637 NEW BEST:: SOT 39681 SOS 8744 HAS SOPS 8744 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5456.744
AT ITER 4679 NEW BEST:: SOT 39681 SOS 8716 HAS SOPS 8716 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5454.716
AT ITER 4690 NEW BEST:: SOT 39687 SOS 8715 HAS SOPS 8715 HAS SOUS 5445 HAS SOUPS 5445 WITH SCORE 5453.715
AT ITER 4695 NEW BEST:: SOT 39687 SOS 8714 HAS SOPS 8714 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5452.714
AT ITER 4704 NEW BEST:: SOT 39682 SOS 8707 HAS SOPS 8707 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5445.707
AT ITER 4713 NEW BEST:: SOT 39689 SOS 8692 HAS SOPS 8692 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5433.692
AT ITER 4756 NEW BEST:: SOT 39689 SOS 8668 HAS SOPS 8668 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5427.668
AT ITER 4772 NEW BEST:: SOT 39664 SOS 8618 HAS SOPS 8618 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5409.618
AT ITER 4831 NEW BEST:: SOT 39662 SOS 8614 HAS SOPS 8614 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5405.614
AT ITER 4839 NEW BEST:: SOT 39662 SOS 8613 HAS SOPS 8613 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5404.613
AT ITER 4854 NEW BEST:: SOT 39661 SOS 8612 HAS SOPS 8612 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5404.612
AT ITER 4869 NEW BEST:: SOT 39644 SOS 8595 HAS SOPS 8595 HAS SOUS 5392 HAS SOUPS 5392 WITH SCORE 5400.595
AT ITER 4900 NEW BEST:: SOT 39636 SOS 8583 HAS SOPS 8583 HAS SOUS 5384 HAS SOUPS 5384 WITH SCORE 5392.583
AT ITER 4972 NEW BEST:: SOT 39631 SOS 8578 HAS SOPS 8578 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5387.578
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-07-CTLFireability-00 ( (AG( (AU( ((potential((tk(P94)>=1)))) , ((potential((tk(P153)>=1)))) )))) | ( (! (EF( ((potential((tk(P153)>=1))))))) | ((potential((tk(P157)>=1)))) ) )
PROPERTY: SmartHome-PT-07-CTLFireability-01 (EG( (EU( (! ((potential((tk(P108)>=1) & (tk(P239)>=1))))) , ((potential((tk(P86)>=1)))) ))))
PROPERTY: SmartHome-PT-07-CTLFireability-02 (EU( (EF( ((potential((tk(P166)>=1)))))) , (! (! ( ((potential((tk(P108)>=1) & (tk(P223)>=1)))) | ((potential((tk(P71)>=1)))) ))) ))
PROPERTY: SmartHome-PT-07-CTLFireability-03 ( ((potential((tk(P103)>=1)))) | (EF( (EG( ( ((potential((tk(P209)>=1)))) & ((potential((tk(P184)>=1)))) ))))) )
PROPERTY: SmartHome-PT-07-CTLFireability-04 ( (EX( (EF( ( ((potential((tk(P83)>=1)))) & ((potential((tk(P25)>=1)))) ))))) | ( ( ( ( ( ((potential((tk(P187)>=1)))) & ((potential((tk(P120)>=1)))) ) & (! ((potential((tk(P125)>=1))))) ) & (! ((potential((tk(P178)>=1))))) ) | (! ( ( ((potential((tk(P167)>=1)))) | ((potential((tk(P69)>=1)))) ) & ((potential((tk(P42)>=1)))) )) ) & ( (AU( ((potential((tk(P182)>=1)))) , ((potential((tk(P216)>=1)))) )) | ((potential((tk(P179)>=1)))) ) ) )
PROPERTY: SmartHome-PT-07-CTLFireability-05 (AG( (AU( ( ((potential((tk(P3)>=1) & (tk(P186)>=1)))) & ((potential((tk(P3)>=1) & (tk(P186)>=1)))) ) , (! ((potential((tk(P186)>=1))))) ))))
PROPERTY: SmartHome-PT-07-CTLFireability-06 ( ( ((potential((tk(P9)>=1)))) | ( (! (EG( ((potential((tk(P58)>=1))))))) & ((potential((tk(P225)>=1)))) ) ) | (EX( ( ( (! ((potential((tk(P65)>=1))))) | ( ((potential((tk(P40)>=1)))) | ((potential((tk(P66)>=1)))) ) ) & (EF( ((potential((tk(P136)>=1)))))) ))) )
PROPERTY: SmartHome-PT-07-CTLFireability-07 (EF( (EF( (AG( ((potential((tk(P159)>=1))))))))))
PROPERTY: SmartHome-PT-07-CTLFireability-08 ( (EF( ((potential((tk(P135)>=1)))))) & (AU( ( ( ((potential((tk(P81)>=1)))) | ((potential((tk(P165)>=1)))) ) & ( ((potential((tk(P176)>=1)))) | ((potential((tk(P77)>=1) & (tk(P237)>=1)))) ) ) , (EF( ((potential((tk(P23)>=1)))))) )) )
PROPERTY: SmartHome-PT-07-CTLFireability-09 (EF( ((potential((tk(P43)>=1))))))
PROPERTY: SmartHome-PT-07-CTLFireability-10 ( (AU( ( ((potential((tk(P214)>=1)))) & ( ((potential((tk(P220)>=1)))) & ((potential((tk(P6)>=1)))) ) ) , (AF( ((potential((tk(P138)>=1)))))) )) | ( ( (EF( ( ((potential((tk(P119)>=1)))) & ((potential((tk(P209)>=1)))) ))) | (EU( ((potential((tk(P51)>=1)))) , ((potential((tk(P113)>=1)))) )) ) | ( ((potential((tk(P116)>=1)))) & (! (EG( ((potential((tk(P46)>=1))))))) ) ) )
PROPERTY: SmartHome-PT-07-CTLFireability-11 ( (AG( (! ((potential((tk(P106)>=1))))))) & (EF( (EU( ((potential((tk(P85)>=1)))) , ((potential((tk(P43)>=1)))) )))) )
PROPERTY: SmartHome-PT-07-CTLFireability-12 (AU( (! ( ( ((potential((tk(P86)>=1)))) & ((potential((tk(P243)>=1)))) ) | (! ((potential((tk(P95)>=1))))) )) , (EF( ((potential((tk(P186)>=1) & (tk(P250)>=1)))))) ))
PROPERTY: SmartHome-PT-07-CTLFireability-13 (AF( (EF( ((potential((tk(P169)>=1))))))))
PROPERTY: SmartHome-PT-07-CTLFireability-14 ( (EF( ( ( (! ((potential((tk(P46)>=1) & (tk(P223)>=1))))) | ( ((potential((tk(P76)>=1)))) & ((potential((tk(P108)>=1) & (tk(P223)>=1)))) ) ) & (AG( ((potential((tk(P140)>=1)))))) ))) & (! ((potential((tk(P51)>=1))))) )
PROPERTY: SmartHome-PT-07-CTLFireability-15 (EG( (EF( ( ( ((potential((tk(P24)>=1)))) | ((potential((tk(P15)>=1)))) ) & ( ((potential((tk(P176)>=1)))) | ((potential((tk(P58)>=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-07"
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-07, 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-159033538200052"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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