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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 272K
-rw-r--r-- 1 mcc users 3.8K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 03:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 21:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 21:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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 14K 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.2K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 101K 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-14-CTLFireability-00
FORMULA_NAME SmartHome-PT-14-CTLFireability-01
FORMULA_NAME SmartHome-PT-14-CTLFireability-02
FORMULA_NAME SmartHome-PT-14-CTLFireability-03
FORMULA_NAME SmartHome-PT-14-CTLFireability-04
FORMULA_NAME SmartHome-PT-14-CTLFireability-05
FORMULA_NAME SmartHome-PT-14-CTLFireability-06
FORMULA_NAME SmartHome-PT-14-CTLFireability-07
FORMULA_NAME SmartHome-PT-14-CTLFireability-08
FORMULA_NAME SmartHome-PT-14-CTLFireability-09
FORMULA_NAME SmartHome-PT-14-CTLFireability-10
FORMULA_NAME SmartHome-PT-14-CTLFireability-11
FORMULA_NAME SmartHome-PT-14-CTLFireability-12
FORMULA_NAME SmartHome-PT-14-CTLFireability-13
FORMULA_NAME SmartHome-PT-14-CTLFireability-14
FORMULA_NAME SmartHome-PT-14-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590469780979

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 14
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: 422 places, 448 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 111766 SOS 25867 HAS SOPS 25867 HAS SOUS 25198 HAS SOUPS 25198 WITH SCORE 25223.867
AT ITER 1 NEW BEST:: SOT 111670 SOS 25771 HAS SOPS 25771 HAS SOUS 25095 HAS SOUPS 25095 WITH SCORE 25120.771
AT ITER 8 NEW BEST:: SOT 111655 SOS 25756 HAS SOPS 25756 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25105.756
AT ITER 13 NEW BEST:: SOT 111655 SOS 25755 HAS SOPS 25755 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25104.755
AT ITER 14 NEW BEST:: SOT 111621 SOS 25754 HAS SOPS 25754 HAS SOUS 25045 HAS SOUPS 25045 WITH SCORE 25070.754
AT ITER 40 NEW BEST:: SOT 110718 SOS 26739 HAS SOPS 26739 HAS SOUS 24294 HAS SOUPS 24294 WITH SCORE 24320.739
AT ITER 49 NEW BEST:: SOT 110718 SOS 26691 HAS SOPS 26691 HAS SOUS 24246 HAS SOUPS 24246 WITH SCORE 24272.691
AT ITER 58 NEW BEST:: SOT 110730 SOS 26677 HAS SOPS 26677 HAS SOUS 24230 HAS SOUPS 24230 WITH SCORE 24256.677
AT ITER 64 NEW BEST:: SOT 110659 SOS 26629 HAS SOPS 26629 HAS SOUS 24127 HAS SOUPS 24127 WITH SCORE 24153.629
AT ITER 69 NEW BEST:: SOT 110563 SOS 26528 HAS SOPS 26528 HAS SOUS 24055 HAS SOUPS 24055 WITH SCORE 24081.528
AT ITER 70 NEW BEST:: SOT 110066 SOS 27568 HAS SOPS 27568 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23789.568
AT ITER 73 NEW BEST:: SOT 110025 SOS 27486 HAS SOPS 27486 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23728.486
AT ITER 76 NEW BEST:: SOT 110007 SOS 27450 HAS SOPS 27450 HAS SOUS 23665 HAS SOUPS 23665 WITH SCORE 23692.45
AT ITER 95 NEW BEST:: SOT 110007 SOS 27450 HAS SOPS 27450 HAS SOUS 23663 HAS SOUPS 23663 WITH SCORE 23690.45
AT ITER 101 NEW BEST:: SOT 109974 SOS 27430 HAS SOPS 27430 HAS SOUS 23643 HAS SOUPS 23643 WITH SCORE 23670.43
AT ITER 124 NEW BEST:: SOT 109974 SOS 27376 HAS SOPS 27376 HAS SOUS 23642 HAS SOUPS 23642 WITH SCORE 23669.376
AT ITER 125 NEW BEST:: SOT 109965 SOS 27495 HAS SOPS 27495 HAS SOUS 23633 HAS SOUPS 23633 WITH SCORE 23660.495
AT ITER 129 NEW BEST:: SOT 109344 SOS 31543 HAS SOPS 31543 HAS SOUS 23363 HAS SOUPS 23363 WITH SCORE 23394.543
AT ITER 149 NEW BEST:: SOT 109272 SOS 31470 HAS SOPS 31470 HAS SOUS 23326 HAS SOUPS 23326 WITH SCORE 23357.47
AT ITER 153 NEW BEST:: SOT 109192 SOS 28510 HAS SOPS 28510 HAS SOUS 23031 HAS SOUPS 23031 WITH SCORE 23059.51
AT ITER 155 NEW BEST:: SOT 109122 SOS 28440 HAS SOPS 28440 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23024.44
AT ITER 160 NEW BEST:: SOT 109139 SOS 28438 HAS SOPS 28438 HAS SOUS 22994 HAS SOUPS 22994 WITH SCORE 23022.438
AT ITER 170 NEW BEST:: SOT 109035 SOS 28230 HAS SOPS 28230 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22944.23
AT ITER 179 NEW BEST:: SOT 109038 SOS 28217 HAS SOPS 28217 HAS SOUS 22882 HAS SOUPS 22882 WITH SCORE 22910.217
AT ITER 185 NEW BEST:: SOT 107876 SOS 27810 HAS SOPS 27810 HAS SOUS 21714 HAS SOUPS 21714 WITH SCORE 21741.81
AT ITER 240 NEW BEST:: SOT 107795 SOS 27729 HAS SOPS 27729 HAS SOUS 21660 HAS SOUPS 21660 WITH SCORE 21687.729
AT ITER 246 NEW BEST:: SOT 107773 SOS 27690 HAS SOPS 27690 HAS SOUS 21644 HAS SOUPS 21644 WITH SCORE 21671.69
AT ITER 249 NEW BEST:: SOT 107767 SOS 27762 HAS SOPS 27762 HAS SOUS 21638 HAS SOUPS 21638 WITH SCORE 21665.762
AT ITER 252 NEW BEST:: SOT 107715 SOS 27710 HAS SOPS 27710 HAS SOUS 21586 HAS SOUPS 21586 WITH SCORE 21613.71
AT ITER 257 NEW BEST:: SOT 107707 SOS 27694 HAS SOPS 27694 HAS SOUS 21578 HAS SOUPS 21578 WITH SCORE 21605.694
AT ITER 283 NEW BEST:: SOT 107695 SOS 27690 HAS SOPS 27690 HAS SOUS 21566 HAS SOUPS 21566 WITH SCORE 21593.69
AT ITER 296 NEW BEST:: SOT 107730 SOS 27760 HAS SOPS 27760 HAS SOUS 21516 HAS SOUPS 21516 WITH SCORE 21543.76
AT ITER 306 NEW BEST:: SOT 107699 SOS 27729 HAS SOPS 27729 HAS SOUS 21465 HAS SOUPS 21465 WITH SCORE 21492.729
AT ITER 320 NEW BEST:: SOT 107703 SOS 27957 HAS SOPS 27957 HAS SOUS 21446 HAS SOUPS 21446 WITH SCORE 21473.957
AT ITER 331 NEW BEST:: SOT 107683 SOS 27917 HAS SOPS 27917 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21433.917
AT ITER 336 NEW BEST:: SOT 107675 SOS 27893 HAS SOPS 27893 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21409.893
AT ITER 343 NEW BEST:: SOT 107657 SOS 27857 HAS SOPS 27857 HAS SOUS 21333 HAS SOUPS 21333 WITH SCORE 21360.857
AT ITER 351 NEW BEST:: SOT 107081 SOS 29193 HAS SOPS 29193 HAS SOUS 20937 HAS SOUPS 20937 WITH SCORE 20966.193
AT ITER 364 NEW BEST:: SOT 107025 SOS 29081 HAS SOPS 29081 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20873.081
AT ITER 368 NEW BEST:: SOT 107068 SOS 29079 HAS SOPS 29079 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20871.079
AT ITER 377 NEW BEST:: SOT 106998 SOS 28976 HAS SOPS 28976 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20763.976
AT ITER 379 NEW BEST:: SOT 106998 SOS 28560 HAS SOPS 28560 HAS SOUS 20722 HAS SOUPS 20722 WITH SCORE 20750.56
AT ITER 380 NEW BEST:: SOT 107013 SOS 28590 HAS SOPS 28590 HAS SOUS 20719 HAS SOUPS 20719 WITH SCORE 20747.59
AT ITER 383 NEW BEST:: SOT 107011 SOS 28587 HAS SOPS 28587 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20714.587
AT ITER 387 NEW BEST:: SOT 106995 SOS 28563 HAS SOPS 28563 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20690.563
AT ITER 394 NEW BEST:: SOT 106993 SOS 28561 HAS SOPS 28561 HAS SOUS 20658 HAS SOUPS 20658 WITH SCORE 20686.561
AT ITER 407 NEW BEST:: SOT 106685 SOS 28945 HAS SOPS 28945 HAS SOUS 20402 HAS SOUPS 20402 WITH SCORE 20430.945
AT ITER 419 NEW BEST:: SOT 106663 SOS 28923 HAS SOPS 28923 HAS SOUS 20380 HAS SOUPS 20380 WITH SCORE 20408.923
AT ITER 423 NEW BEST:: SOT 106663 SOS 28901 HAS SOPS 28901 HAS SOUS 20380 HAS SOUPS 20380 WITH SCORE 20408.901
AT ITER 430 NEW BEST:: SOT 106562 SOS 28796 HAS SOPS 28796 HAS SOUS 20369 HAS SOUPS 20369 WITH SCORE 20397.796
AT ITER 431 NEW BEST:: SOT 106438 SOS 28591 HAS SOPS 28591 HAS SOUS 20265 HAS SOUPS 20265 WITH SCORE 20293.591
AT ITER 435 NEW BEST:: SOT 106463 SOS 28616 HAS SOPS 28616 HAS SOUS 20214 HAS SOUPS 20214 WITH SCORE 20242.616
AT ITER 437 NEW BEST:: SOT 106460 SOS 28613 HAS SOPS 28613 HAS SOUS 20211 HAS SOUPS 20211 WITH SCORE 20239.613
AT ITER 439 NEW BEST:: SOT 106460 SOS 28613 HAS SOPS 28613 HAS SOUS 20204 HAS SOUPS 20204 WITH SCORE 20232.613
AT ITER 455 NEW BEST:: SOT 106404 SOS 28557 HAS SOPS 28557 HAS SOUS 20123 HAS SOUPS 20123 WITH SCORE 20151.557
AT ITER 462 NEW BEST:: SOT 106372 SOS 28493 HAS SOPS 28493 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20126.493
AT ITER 491 NEW BEST:: SOT 106202 SOS 28162 HAS SOPS 28162 HAS SOUS 19868 HAS SOUPS 19868 WITH SCORE 19896.162
AT ITER 492 NEW BEST:: SOT 105649 SOS 29005 HAS SOPS 29005 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19630.005
AT ITER 498 NEW BEST:: SOT 105617 SOS 29165 HAS SOPS 29165 HAS SOUS 19585 HAS SOUPS 19585 WITH SCORE 19614.165
AT ITER 500 NEW BEST:: SOT 105617 SOS 29158 HAS SOPS 29158 HAS SOUS 19584 HAS SOUPS 19584 WITH SCORE 19613.158
AT ITER 523 NEW BEST:: SOT 105591 SOS 29130 HAS SOPS 29130 HAS SOUS 19571 HAS SOUPS 19571 WITH SCORE 19600.13
AT ITER 543 NEW BEST:: SOT 105557 SOS 29062 HAS SOPS 29062 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19566.062
AT ITER 554 NEW BEST:: SOT 105457 SOS 28960 HAS SOPS 28960 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19565.96
AT ITER 555 NEW BEST:: SOT 105414 SOS 28917 HAS SOPS 28917 HAS SOUS 19518 HAS SOUPS 19518 WITH SCORE 19546.917
AT ITER 566 NEW BEST:: SOT 105393 SOS 28903 HAS SOPS 28903 HAS SOUS 19511 HAS SOUPS 19511 WITH SCORE 19539.903
AT ITER 577 NEW BEST:: SOT 105340 SOS 28798 HAS SOPS 28798 HAS SOUS 19393 HAS SOUPS 19393 WITH SCORE 19421.798
AT ITER 579 NEW BEST:: SOT 105337 SOS 28795 HAS SOPS 28795 HAS SOUS 19387 HAS SOUPS 19387 WITH SCORE 19415.795
AT ITER 602 NEW BEST:: SOT 105311 SOS 28744 HAS SOPS 28744 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19412.744
AT ITER 607 NEW BEST:: SOT 105315 SOS 28748 HAS SOPS 28748 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19410.748
AT ITER 610 NEW BEST:: SOT 105370 SOS 28858 HAS SOPS 28858 HAS SOUS 19360 HAS SOUPS 19360 WITH SCORE 19388.858
AT ITER 618 NEW BEST:: SOT 105300 SOS 28753 HAS SOPS 28753 HAS SOUS 19290 HAS SOUPS 19290 WITH SCORE 19318.753
AT ITER 644 NEW BEST:: SOT 105294 SOS 28741 HAS SOPS 28741 HAS SOUS 19278 HAS SOUPS 19278 WITH SCORE 19306.741
AT ITER 655 NEW BEST:: SOT 105279 SOS 28325 HAS SOPS 28325 HAS SOUS 19081 HAS SOUPS 19081 WITH SCORE 19109.325
AT ITER 656 NEW BEST:: SOT 105261 SOS 28271 HAS SOPS 28271 HAS SOUS 19042 HAS SOUPS 19042 WITH SCORE 19070.271
AT ITER 661 NEW BEST:: SOT 105191 SOS 28131 HAS SOPS 28131 HAS SOUS 18937 HAS SOUPS 18937 WITH SCORE 18965.131
AT ITER 683 NEW BEST:: SOT 105061 SOS 28015 HAS SOPS 28015 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18839.015
AT ITER 690 NEW BEST:: SOT 105046 SOS 28006 HAS SOPS 28006 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18828.006
AT ITER 695 NEW BEST:: SOT 105049 SOS 28009 HAS SOPS 28009 HAS SOUS 18788 HAS SOUPS 18788 WITH SCORE 18816.009
AT ITER 698 NEW BEST:: SOT 105043 SOS 27923 HAS SOPS 27923 HAS SOUS 18780 HAS SOUPS 18780 WITH SCORE 18807.923
AT ITER 730 NEW BEST:: SOT 105034 SOS 27898 HAS SOPS 27898 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18782.898
AT ITER 736 NEW BEST:: SOT 105045 SOS 27961 HAS SOPS 27961 HAS SOUS 18725 HAS SOUPS 18725 WITH SCORE 18752.961
AT ITER 739 NEW BEST:: SOT 105075 SOS 27991 HAS SOPS 27991 HAS SOUS 18674 HAS SOUPS 18674 WITH SCORE 18701.991
AT ITER 740 NEW BEST:: SOT 105075 SOS 27972 HAS SOPS 27972 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18682.972
AT ITER 744 NEW BEST:: SOT 105056 SOS 28158 HAS SOPS 28158 HAS SOUS 18652 HAS SOUPS 18652 WITH SCORE 18680.158
AT ITER 770 NEW BEST:: SOT 105033 SOS 28041 HAS SOPS 28041 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18646.041
AT ITER 773 NEW BEST:: SOT 104976 SOS 27984 HAS SOPS 27984 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18607.984
AT ITER 776 NEW BEST:: SOT 104974 SOS 27980 HAS SOPS 27980 HAS SOUS 18576 HAS SOUPS 18576 WITH SCORE 18603.98
AT ITER 781 NEW BEST:: SOT 104953 SOS 27938 HAS SOPS 27938 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18582.938
AT ITER 782 NEW BEST:: SOT 104578 SOS 28373 HAS SOPS 28373 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18314.373
AT ITER 790 NEW BEST:: SOT 104604 SOS 28399 HAS SOPS 28399 HAS SOUS 18234 HAS SOUPS 18234 WITH SCORE 18262.399
AT ITER 791 NEW BEST:: SOT 104604 SOS 28399 HAS SOPS 28399 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18245.399
AT ITER 798 NEW BEST:: SOT 104597 SOS 28395 HAS SOPS 28395 HAS SOUS 18213 HAS SOUPS 18213 WITH SCORE 18241.395
AT ITER 809 NEW BEST:: SOT 104571 SOS 28356 HAS SOPS 28356 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18202.356
AT ITER 814 NEW BEST:: SOT 104536 SOS 28344 HAS SOPS 28344 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18191.344
AT ITER 834 NEW BEST:: SOT 104523 SOS 28331 HAS SOPS 28331 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18191.331
AT ITER 841 NEW BEST:: SOT 104454 SOS 28258 HAS SOPS 28258 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18156.258
AT ITER 853 NEW BEST:: SOT 104408 SOS 28204 HAS SOPS 28204 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18102.204
AT ITER 855 NEW BEST:: SOT 104407 SOS 28197 HAS SOPS 28197 HAS SOUS 18067 HAS SOUPS 18067 WITH SCORE 18095.197
AT ITER 890 NEW BEST:: SOT 104356 SOS 28146 HAS SOPS 28146 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18069.146
AT ITER 895 NEW BEST:: SOT 104357 SOS 28147 HAS SOPS 28147 HAS SOUS 18040 HAS SOUPS 18040 WITH SCORE 18068.147
AT ITER 906 NEW BEST:: SOT 104354 SOS 28141 HAS SOPS 28141 HAS SOUS 18034 HAS SOUPS 18034 WITH SCORE 18062.141
AT ITER 907 NEW BEST:: SOT 104354 SOS 28137 HAS SOPS 28137 HAS SOUS 18034 HAS SOUPS 18034 WITH SCORE 18062.137
AT ITER 911 NEW BEST:: SOT 104344 SOS 28135 HAS SOPS 28135 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18060.135
AT ITER 918 NEW BEST:: SOT 104309 SOS 27995 HAS SOPS 27995 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 17989.995
AT ITER 920 NEW BEST:: SOT 104322 SOS 28008 HAS SOPS 28008 HAS SOUS 17959 HAS SOUPS 17959 WITH SCORE 17987.008
AT ITER 934 NEW BEST:: SOT 104322 SOS 28008 HAS SOPS 28008 HAS SOUS 17939 HAS SOUPS 17939 WITH SCORE 17967.008
AT ITER 951 NEW BEST:: SOT 104333 SOS 28019 HAS SOPS 28019 HAS SOUS 17936 HAS SOUPS 17936 WITH SCORE 17964.019
AT ITER 960 NEW BEST:: SOT 104259 SOS 27945 HAS SOPS 27945 HAS SOUS 17862 HAS SOUPS 17862 WITH SCORE 17889.945
AT ITER 971 NEW BEST:: SOT 104259 SOS 27945 HAS SOPS 27945 HAS SOUS 17859 HAS SOUPS 17859 WITH SCORE 17886.945
AT ITER 973 NEW BEST:: SOT 104226 SOS 27778 HAS SOPS 27778 HAS SOUS 17793 HAS SOUPS 17793 WITH SCORE 17820.778
AT ITER 985 NEW BEST:: SOT 104176 SOS 27703 HAS SOPS 27703 HAS SOUS 17722 HAS SOUPS 17722 WITH SCORE 17749.703
AT ITER 995 NEW BEST:: SOT 104143 SOS 27670 HAS SOPS 27670 HAS SOUS 17721 HAS SOUPS 17721 WITH SCORE 17748.67
AT ITER 998 NEW BEST:: SOT 104084 SOS 27493 HAS SOPS 27493 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17670.493
AT ITER 999 NEW BEST:: SOT 104084 SOS 27493 HAS SOPS 27493 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17666.493
AT ITER 1004 NEW BEST:: SOT 104090 SOS 27499 HAS SOPS 27499 HAS SOUS 17625 HAS SOUPS 17625 WITH SCORE 17652.499
AT ITER 1013 NEW BEST:: SOT 104124 SOS 27394 HAS SOPS 27394 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17637.394
AT ITER 1018 NEW BEST:: SOT 104077 SOS 27300 HAS SOPS 27300 HAS SOUS 17579 HAS SOUPS 17579 WITH SCORE 17606.3
AT ITER 1050 NEW BEST:: SOT 103996 SOS 27231 HAS SOPS 27231 HAS SOUS 17578 HAS SOUPS 17578 WITH SCORE 17605.231
AT ITER 1053 NEW BEST:: SOT 104039 SOS 27194 HAS SOPS 27194 HAS SOUS 17550 HAS SOUPS 17550 WITH SCORE 17577.194
AT ITER 1075 NEW BEST:: SOT 103998 SOS 27112 HAS SOPS 27112 HAS SOUS 17516 HAS SOUPS 17516 WITH SCORE 17543.112
AT ITER 1080 NEW BEST:: SOT 103998 SOS 27093 HAS SOPS 27093 HAS SOUS 17497 HAS SOUPS 17497 WITH SCORE 17524.093
AT ITER 1093 NEW BEST:: SOT 103950 SOS 26997 HAS SOPS 26997 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17468.997
AT ITER 1099 NEW BEST:: SOT 103947 SOS 26991 HAS SOPS 26991 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17465.991
AT ITER 1124 NEW BEST:: SOT 103951 SOS 26999 HAS SOPS 26999 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17444.999
AT ITER 1163 NEW BEST:: SOT 103932 SOS 26999 HAS SOPS 26999 HAS SOUS 17409 HAS SOUPS 17409 WITH SCORE 17435.999
AT ITER 1175 NEW BEST:: SOT 103838 SOS 26764 HAS SOPS 26764 HAS SOUS 17268 HAS SOUPS 17268 WITH SCORE 17294.764
AT ITER 1200 NEW BEST:: SOT 103686 SOS 26539 HAS SOPS 26539 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17187.539
AT ITER 1205 NEW BEST:: SOT 103652 SOS 26471 HAS SOPS 26471 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17129.471
AT ITER 1212 NEW BEST:: SOT 103636 SOS 26440 HAS SOPS 26440 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17112.44
AT ITER 1217 NEW BEST:: SOT 103643 SOS 26454 HAS SOPS 26454 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17103.454
AT ITER 1230 NEW BEST:: SOT 103639 SOS 26446 HAS SOPS 26446 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17099.446
AT ITER 1243 NEW BEST:: SOT 103581 SOS 26388 HAS SOPS 26388 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17071.388
AT ITER 1246 NEW BEST:: SOT 103586 SOS 26373 HAS SOPS 26373 HAS SOUS 17025 HAS SOUPS 17025 WITH SCORE 17051.373
AT ITER 1250 NEW BEST:: SOT 103582 SOS 26368 HAS SOPS 26368 HAS SOUS 17022 HAS SOUPS 17022 WITH SCORE 17048.368
AT ITER 1254 NEW BEST:: SOT 103568 SOS 26340 HAS SOPS 26340 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17034.34
AT ITER 1267 NEW BEST:: SOT 103568 SOS 26329 HAS SOPS 26329 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17034.329
AT ITER 1278 NEW BEST:: SOT 103557 SOS 26307 HAS SOPS 26307 HAS SOUS 16986 HAS SOUPS 16986 WITH SCORE 17012.307
AT ITER 1279 NEW BEST:: SOT 103483 SOS 26224 HAS SOPS 26224 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16920.224
AT ITER 1284 NEW BEST:: SOT 103483 SOS 26213 HAS SOPS 26213 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16920.213
AT ITER 1290 NEW BEST:: SOT 103481 SOS 26211 HAS SOPS 26211 HAS SOUS 16893 HAS SOUPS 16893 WITH SCORE 16919.211
AT ITER 1315 NEW BEST:: SOT 103481 SOS 26129 HAS SOPS 26129 HAS SOUS 16879 HAS SOUPS 16879 WITH SCORE 16905.129
AT ITER 1331 NEW BEST:: SOT 103465 SOS 26097 HAS SOPS 26097 HAS SOUS 16836 HAS SOUPS 16836 WITH SCORE 16862.097
AT ITER 1343 NEW BEST:: SOT 103454 SOS 26075 HAS SOPS 26075 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16839.075
AT ITER 1376 NEW BEST:: SOT 103447 SOS 26061 HAS SOPS 26061 HAS SOUS 16799 HAS SOUPS 16799 WITH SCORE 16825.061
AT ITER 1402 NEW BEST:: SOT 103376 SOS 25981 HAS SOPS 25981 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16753.981
AT ITER 1427 NEW BEST:: SOT 103454 SOS 25967 HAS SOPS 25967 HAS SOUS 16714 HAS SOUPS 16714 WITH SCORE 16739.967
AT ITER 1445 NEW BEST:: SOT 103280 SOS 25619 HAS SOPS 25619 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16604.619
AT ITER 1450 NEW BEST:: SOT 103278 SOS 25615 HAS SOPS 25615 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16602.615
AT ITER 1459 NEW BEST:: SOT 103225 SOS 25553 HAS SOPS 25553 HAS SOUS 16515 HAS SOUPS 16515 WITH SCORE 16540.553
AT ITER 1475 NEW BEST:: SOT 103218 SOS 25539 HAS SOPS 25539 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16526.539
AT ITER 1476 NEW BEST:: SOT 103176 SOS 25473 HAS SOPS 25473 HAS SOUS 16499 HAS SOUPS 16499 WITH SCORE 16524.473
AT ITER 1480 NEW BEST:: SOT 103167 SOS 25464 HAS SOPS 25464 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16515.464
AT ITER 1481 NEW BEST:: SOT 103144 SOS 25441 HAS SOPS 25441 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16497.441
AT ITER 1485 NEW BEST:: SOT 103167 SOS 25430 HAS SOPS 25430 HAS SOUS 16461 HAS SOUPS 16461 WITH SCORE 16486.43
AT ITER 1495 NEW BEST:: SOT 103109 SOS 25355 HAS SOPS 25355 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16449.355
AT ITER 1496 NEW BEST:: SOT 102995 SOS 25241 HAS SOPS 25241 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16357.241
AT ITER 1514 NEW BEST:: SOT 102940 SOS 25186 HAS SOPS 25186 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16349.186
AT ITER 1522 NEW BEST:: SOT 102956 SOS 25182 HAS SOPS 25182 HAS SOUS 16320 HAS SOUPS 16320 WITH SCORE 16345.182
AT ITER 1529 NEW BEST:: SOT 102956 SOS 25177 HAS SOPS 25177 HAS SOUS 16320 HAS SOUPS 16320 WITH SCORE 16345.177
AT ITER 1559 NEW BEST:: SOT 102872 SOS 25159 HAS SOPS 25159 HAS SOUS 16302 HAS SOUPS 16302 WITH SCORE 16327.159
AT ITER 1589 NEW BEST:: SOT 102849 SOS 25136 HAS SOPS 25136 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16317.136
AT ITER 1591 NEW BEST:: SOT 102851 SOS 25137 HAS SOPS 25137 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16311.137
AT ITER 1598 NEW BEST:: SOT 102833 SOS 25101 HAS SOPS 25101 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16297.101
AT ITER 1608 NEW BEST:: SOT 102821 SOS 25077 HAS SOPS 25077 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16285.077
AT ITER 1613 NEW BEST:: SOT 102793 SOS 25051 HAS SOPS 25051 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16259.051
AT ITER 1624 NEW BEST:: SOT 102789 SOS 25043 HAS SOPS 25043 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16251.043
AT ITER 1652 NEW BEST:: SOT 102789 SOS 25037 HAS SOPS 25037 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16245.037
AT ITER 1654 NEW BEST:: SOT 102782 SOS 25030 HAS SOPS 25030 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16245.03
AT ITER 1661 NEW BEST:: SOT 102759 SOS 24984 HAS SOPS 24984 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16221.984
AT ITER 1703 NEW BEST:: SOT 102786 SOS 24943 HAS SOPS 24943 HAS SOUS 16184 HAS SOUPS 16184 WITH SCORE 16208.943
AT ITER 1717 NEW BEST:: SOT 102778 SOS 24919 HAS SOPS 24919 HAS SOUS 16176 HAS SOUPS 16176 WITH SCORE 16200.919
AT ITER 1718 NEW BEST:: SOT 102730 SOS 24733 HAS SOPS 24733 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16122.733
AT ITER 1721 NEW BEST:: SOT 102728 SOS 24724 HAS SOPS 24724 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16113.724
AT ITER 1723 NEW BEST:: SOT 102709 SOS 24686 HAS SOPS 24686 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16084.686
AT ITER 1733 NEW BEST:: SOT 102700 SOS 24659 HAS SOPS 24659 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16057.659
AT ITER 1740 NEW BEST:: SOT 102633 SOS 24582 HAS SOPS 24582 HAS SOUS 16023 HAS SOUPS 16023 WITH SCORE 16047.582
AT ITER 1744 NEW BEST:: SOT 102604 SOS 24524 HAS SOPS 24524 HAS SOUS 15994 HAS SOUPS 15994 WITH SCORE 16018.524
AT ITER 1749 NEW BEST:: SOT 102591 SOS 24485 HAS SOPS 24485 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15979.485
AT ITER 1775 NEW BEST:: SOT 102569 SOS 24463 HAS SOPS 24463 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15957.463
AT ITER 1782 NEW BEST:: SOT 102537 SOS 24431 HAS SOPS 24431 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15925.431
AT ITER 1812 NEW BEST:: SOT 102520 SOS 24373 HAS SOPS 24373 HAS SOUS 15867 HAS SOUPS 15867 WITH SCORE 15891.373
AT ITER 1815 NEW BEST:: SOT 102426 SOS 24185 HAS SOPS 24185 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15760.185
AT ITER 1819 NEW BEST:: SOT 102451 SOS 24176 HAS SOPS 24176 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15751.176
AT ITER 1839 NEW BEST:: SOT 102451 SOS 24175 HAS SOPS 24175 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15751.175
AT ITER 1881 NEW BEST:: SOT 102473 SOS 24172 HAS SOPS 24172 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15748.172
AT ITER 1885 NEW BEST:: SOT 102464 SOS 23614 HAS SOPS 23614 HAS SOUS 15676 HAS SOUPS 15676 WITH SCORE 15699.614
AT ITER 1917 NEW BEST:: SOT 102425 SOS 23536 HAS SOPS 23536 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15698.536
AT ITER 1955 NEW BEST:: SOT 102425 SOS 23536 HAS SOPS 23536 HAS SOUS 15674 HAS SOUPS 15674 WITH SCORE 15697.536
AT ITER 1964 NEW BEST:: SOT 102421 SOS 23532 HAS SOPS 23532 HAS SOUS 15666 HAS SOUPS 15666 WITH SCORE 15689.532
AT ITER 1998 NEW BEST:: SOT 102405 SOS 23500 HAS SOPS 23500 HAS SOUS 15640 HAS SOUPS 15640 WITH SCORE 15663.5
AT ITER 2025 NEW BEST:: SOT 102405 SOS 23497 HAS SOPS 23497 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15660.497
AT ITER 2032 NEW BEST:: SOT 102410 SOS 23491 HAS SOPS 23491 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15654.491
AT ITER 2040 NEW BEST:: SOT 102394 SOS 23459 HAS SOPS 23459 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15622.459
AT ITER 2052 NEW BEST:: SOT 102319 SOS 23364 HAS SOPS 23364 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15547.364
AT ITER 2071 NEW BEST:: SOT 102319 SOS 23356 HAS SOPS 23356 HAS SOUS 15516 HAS SOUPS 15516 WITH SCORE 15539.356
AT ITER 2083 NEW BEST:: SOT 102316 SOS 23350 HAS SOPS 23350 HAS SOUS 15510 HAS SOUPS 15510 WITH SCORE 15533.35
AT ITER 2110 NEW BEST:: SOT 102366 SOS 23400 HAS SOPS 23400 HAS SOUS 15475 HAS SOUPS 15475 WITH SCORE 15498.4
AT ITER 2115 NEW BEST:: SOT 102354 SOS 23376 HAS SOPS 23376 HAS SOUS 15458 HAS SOUPS 15458 WITH SCORE 15481.376
AT ITER 2150 NEW BEST:: SOT 102346 SOS 23349 HAS SOPS 23349 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15465.349
AT ITER 2158 NEW BEST:: SOT 102340 SOS 23343 HAS SOPS 23343 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15459.343
AT ITER 2161 NEW BEST:: SOT 102330 SOS 23323 HAS SOPS 23323 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15439.323
AT ITER 2188 NEW BEST:: SOT 102326 SOS 23315 HAS SOPS 23315 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15439.315
AT ITER 2195 NEW BEST:: SOT 102329 SOS 23318 HAS SOPS 23318 HAS SOUS 15401 HAS SOUPS 15401 WITH SCORE 15424.318
AT ITER 2214 NEW BEST:: SOT 102340 SOS 23340 HAS SOPS 23340 HAS SOUS 15389 HAS SOUPS 15389 WITH SCORE 15412.34
AT ITER 2215 NEW BEST:: SOT 102339 SOS 23338 HAS SOPS 23338 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15410.338
AT ITER 2225 NEW BEST:: SOT 102321 SOS 23302 HAS SOPS 23302 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15374.302
AT ITER 2238 NEW BEST:: SOT 102333 SOS 23320 HAS SOPS 23320 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15357.32
AT ITER 2239 NEW BEST:: SOT 102169 SOS 23136 HAS SOPS 23136 HAS SOUS 15307 HAS SOUPS 15307 WITH SCORE 15330.136
AT ITER 2245 NEW BEST:: SOT 102169 SOS 23059 HAS SOPS 23059 HAS SOUS 15243 HAS SOUPS 15243 WITH SCORE 15266.059
AT ITER 2252 NEW BEST:: SOT 102165 SOS 23051 HAS SOPS 23051 HAS SOUS 15235 HAS SOUPS 15235 WITH SCORE 15258.051
AT ITER 2301 NEW BEST:: SOT 102161 SOS 23047 HAS SOPS 23047 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15253.047
AT ITER 2321 NEW BEST:: SOT 102140 SOS 23055 HAS SOPS 23055 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15247.055
AT ITER 2327 NEW BEST:: SOT 102139 SOS 23053 HAS SOPS 23053 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15245.053
AT ITER 2346 NEW BEST:: SOT 102083 SOS 22941 HAS SOPS 22941 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15204.941
AT ITER 2359 NEW BEST:: SOT 102083 SOS 22940 HAS SOPS 22940 HAS SOUS 15181 HAS SOUPS 15181 WITH SCORE 15203.94
AT ITER 2362 NEW BEST:: SOT 102068 SOS 22864 HAS SOPS 22864 HAS SOUS 15120 HAS SOUPS 15120 WITH SCORE 15142.864
AT ITER 2368 NEW BEST:: SOT 102059 SOS 22855 HAS SOPS 22855 HAS SOUS 15111 HAS SOUPS 15111 WITH SCORE 15133.855
AT ITER 2405 NEW BEST:: SOT 102064 SOS 22860 HAS SOPS 22860 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15129.86
AT ITER 2413 NEW BEST:: SOT 102056 SOS 22852 HAS SOPS 22852 HAS SOUS 15099 HAS SOUPS 15099 WITH SCORE 15121.852
AT ITER 2414 NEW BEST:: SOT 102013 SOS 22805 HAS SOPS 22805 HAS SOUS 15059 HAS SOUPS 15059 WITH SCORE 15081.805
AT ITER 2428 NEW BEST:: SOT 101995 SOS 22769 HAS SOPS 22769 HAS SOUS 15023 HAS SOUPS 15023 WITH SCORE 15045.769
AT ITER 2445 NEW BEST:: SOT 101931 SOS 22705 HAS SOPS 22705 HAS SOUS 15023 HAS SOUPS 15023 WITH SCORE 15045.705
AT ITER 2470 NEW BEST:: SOT 101908 SOS 22687 HAS SOPS 22687 HAS SOUS 15005 HAS SOUPS 15005 WITH SCORE 15027.687
AT ITER 2480 NEW BEST:: SOT 101896 SOS 22675 HAS SOPS 22675 HAS SOUS 14993 HAS SOUPS 14993 WITH SCORE 15015.675
AT ITER 2491 NEW BEST:: SOT 101878 SOS 22657 HAS SOPS 22657 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15010.657
AT ITER 2519 NEW BEST:: SOT 101750 SOS 22529 HAS SOPS 22529 HAS SOUS 14933 HAS SOUPS 14933 WITH SCORE 14955.529
AT ITER 2559 NEW BEST:: SOT 101724 SOS 22503 HAS SOPS 22503 HAS SOUS 14933 HAS SOUPS 14933 WITH SCORE 14955.503
AT ITER 2586 NEW BEST:: SOT 101663 SOS 22429 HAS SOPS 22429 HAS SOUS 14888 HAS SOUPS 14888 WITH SCORE 14910.429
AT ITER 2610 NEW BEST:: SOT 101715 SOS 22446 HAS SOPS 22446 HAS SOUS 14878 HAS SOUPS 14878 WITH SCORE 14900.446
AT ITER 2624 NEW BEST:: SOT 101694 SOS 22464 HAS SOPS 22464 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14882.464
AT ITER 2646 NEW BEST:: SOT 101670 SOS 22416 HAS SOPS 22416 HAS SOUS 14812 HAS SOUPS 14812 WITH SCORE 14834.416
AT ITER 2669 NEW BEST:: SOT 101655 SOS 22386 HAS SOPS 22386 HAS SOUS 14777 HAS SOUPS 14777 WITH SCORE 14799.386
AT ITER 2674 NEW BEST:: SOT 101652 SOS 22380 HAS SOPS 22380 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14796.38
AT ITER 2695 NEW BEST:: SOT 101622 SOS 22334 HAS SOPS 22334 HAS SOUS 14754 HAS SOUPS 14754 WITH SCORE 14776.334
AT ITER 2720 NEW BEST:: SOT 101612 SOS 22324 HAS SOPS 22324 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14766.324
AT ITER 2753 NEW BEST:: SOT 101563 SOS 22269 HAS SOPS 22269 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14726.269
AT ITER 2756 NEW BEST:: SOT 101563 SOS 22264 HAS SOPS 22264 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14721.264
AT ITER 2768 NEW BEST:: SOT 101557 SOS 22252 HAS SOPS 22252 HAS SOUS 14687 HAS SOUPS 14687 WITH SCORE 14709.252
AT ITER 2798 NEW BEST:: SOT 101555 SOS 22248 HAS SOPS 22248 HAS SOUS 14684 HAS SOUPS 14684 WITH SCORE 14706.248
AT ITER 2816 NEW BEST:: SOT 101555 SOS 22235 HAS SOPS 22235 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14693.235
AT ITER 2826 NEW BEST:: SOT 101556 SOS 22234 HAS SOPS 22234 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14692.234
AT ITER 2841 NEW BEST:: SOT 101556 SOS 22199 HAS SOPS 22199 HAS SOUS 14641 HAS SOUPS 14641 WITH SCORE 14663.199
AT ITER 2842 NEW BEST:: SOT 101511 SOS 22109 HAS SOPS 22109 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14653.109
AT ITER 2877 NEW BEST:: SOT 101507 SOS 22101 HAS SOPS 22101 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14645.101
AT ITER 2898 NEW BEST:: SOT 101507 SOS 22078 HAS SOPS 22078 HAS SOUS 14604 HAS SOUPS 14604 WITH SCORE 14626.078
AT ITER 2900 NEW BEST:: SOT 101482 SOS 22028 HAS SOPS 22028 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14601.028
AT ITER 2913 NEW BEST:: SOT 101478 SOS 22020 HAS SOPS 22020 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14593.02
AT ITER 2923 NEW BEST:: SOT 101467 SOS 22009 HAS SOPS 22009 HAS SOUS 14551 HAS SOUPS 14551 WITH SCORE 14573.009
AT ITER 2964 NEW BEST:: SOT 101466 SOS 21977 HAS SOPS 21977 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14537.977
AT ITER 2971 NEW BEST:: SOT 101462 SOS 21973 HAS SOPS 21973 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14533.973
AT ITER 2980 NEW BEST:: SOT 101421 SOS 21891 HAS SOPS 21891 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14464.891
AT ITER 3017 NEW BEST:: SOT 101410 SOS 21880 HAS SOPS 21880 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14464.88
AT ITER 3023 NEW BEST:: SOT 101376 SOS 21837 HAS SOPS 21837 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14402.837
AT ITER 3044 NEW BEST:: SOT 101375 SOS 21835 HAS SOPS 21835 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14400.835
AT ITER 3050 NEW BEST:: SOT 101390 SOS 21850 HAS SOPS 21850 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14385.85
AT ITER 3059 NEW BEST:: SOT 101386 SOS 21824 HAS SOPS 21824 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14381.824
AT ITER 3115 NEW BEST:: SOT 101386 SOS 21824 HAS SOPS 21824 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14378.824
AT ITER 3135 NEW BEST:: SOT 101386 SOS 21824 HAS SOPS 21824 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14339.824
AT ITER 3146 NEW BEST:: SOT 101363 SOS 21824 HAS SOPS 21824 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14316.824
AT ITER 3210 NEW BEST:: SOT 101347 SOS 21792 HAS SOPS 21792 HAS SOUS 14263 HAS SOUPS 14263 WITH SCORE 14284.792
AT ITER 3252 NEW BEST:: SOT 101347 SOS 21788 HAS SOPS 21788 HAS SOUS 14259 HAS SOUPS 14259 WITH SCORE 14280.788
AT ITER 3257 NEW BEST:: SOT 101305 SOS 21734 HAS SOPS 21734 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14268.734
AT ITER 3267 NEW BEST:: SOT 101333 SOS 21706 HAS SOPS 21706 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14268.706
AT ITER 3287 NEW BEST:: SOT 101332 SOS 21704 HAS SOPS 21704 HAS SOUS 14245 HAS SOUPS 14245 WITH SCORE 14266.704
AT ITER 3360 NEW BEST:: SOT 101328 SOS 21696 HAS SOPS 21696 HAS SOUS 14237 HAS SOUPS 14237 WITH SCORE 14258.696
AT ITER 3372 NEW BEST:: SOT 101318 SOS 21689 HAS SOPS 21689 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14251.689
AT ITER 3394 NEW BEST:: SOT 101323 SOS 21688 HAS SOPS 21688 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14250.688
AT ITER 3399 NEW BEST:: SOT 101319 SOS 21692 HAS SOPS 21692 HAS SOUS 14227 HAS SOUPS 14227 WITH SCORE 14248.692
AT ITER 3448 NEW BEST:: SOT 101319 SOS 21690 HAS SOPS 21690 HAS SOUS 14225 HAS SOUPS 14225 WITH SCORE 14246.69
AT ITER 3482 NEW BEST:: SOT 101252 SOS 21594 HAS SOPS 21594 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14172.594
AT ITER 3526 NEW BEST:: SOT 101224 SOS 21563 HAS SOPS 21563 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14144.563
AT ITER 3535 NEW BEST:: SOT 101219 SOS 21553 HAS SOPS 21553 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14144.553
AT ITER 3550 NEW BEST:: SOT 101219 SOS 21545 HAS SOPS 21545 HAS SOUS 14115 HAS SOUPS 14115 WITH SCORE 14136.545
AT ITER 3570 NEW BEST:: SOT 101222 SOS 21488 HAS SOPS 21488 HAS SOUS 14115 HAS SOUPS 14115 WITH SCORE 14136.488
AT ITER 3573 NEW BEST:: SOT 101238 SOS 21520 HAS SOPS 21520 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14130.52
AT ITER 3577 NEW BEST:: SOT 101238 SOS 21518 HAS SOPS 21518 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14128.518
AT ITER 3586 NEW BEST:: SOT 101221 SOS 21501 HAS SOPS 21501 HAS SOUS 14090 HAS SOUPS 14090 WITH SCORE 14111.501
AT ITER 3592 NEW BEST:: SOT 101220 SOS 21499 HAS SOPS 21499 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14104.499
AT ITER 3603 NEW BEST:: SOT 101220 SOS 21477 HAS SOPS 21477 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14104.477
AT ITER 3636 NEW BEST:: SOT 101249 SOS 21506 HAS SOPS 21506 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14103.506
AT ITER 3639 NEW BEST:: SOT 101249 SOS 21499 HAS SOPS 21499 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14103.499
AT ITER 3653 NEW BEST:: SOT 101246 SOS 21496 HAS SOPS 21496 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14100.496
AT ITER 3661 NEW BEST:: SOT 101255 SOS 21496 HAS SOPS 21496 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14091.496
AT ITER 3666 NEW BEST:: SOT 101260 SOS 21436 HAS SOPS 21436 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14091.436
AT ITER 3691 NEW BEST:: SOT 101260 SOS 21409 HAS SOPS 21409 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14091.409
AT ITER 3716 NEW BEST:: SOT 101231 SOS 21351 HAS SOPS 21351 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14033.351
AT ITER 3743 NEW BEST:: SOT 101225 SOS 21347 HAS SOPS 21347 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14029.347
AT ITER 3746 NEW BEST:: SOT 101184 SOS 21292 HAS SOPS 21292 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14029.292
AT ITER 3787 NEW BEST:: SOT 101169 SOS 21262 HAS SOPS 21262 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13999.262
AT ITER 3810 NEW BEST:: SOT 101194 SOS 21312 HAS SOPS 21312 HAS SOUS 13972 HAS SOUPS 13972 WITH SCORE 13993.312
AT ITER 3854 NEW BEST:: SOT 101185 SOS 21294 HAS SOPS 21294 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13980.294
AT ITER 3904 NEW BEST:: SOT 101170 SOS 21264 HAS SOPS 21264 HAS SOUS 13944 HAS SOUPS 13944 WITH SCORE 13965.264
AT ITER 3928 NEW BEST:: SOT 101164 SOS 21246 HAS SOPS 21246 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13956.246
AT ITER 3972 NEW BEST:: SOT 101172 SOS 21235 HAS SOPS 21235 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13950.235
AT ITER 4000 NEW BEST:: SOT 101162 SOS 21205 HAS SOPS 21205 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13930.205
AT ITER 4032 NEW BEST:: SOT 101098 SOS 21509 HAS SOPS 21509 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13922.509
AT ITER 4065 NEW BEST:: SOT 101092 SOS 21542 HAS SOPS 21542 HAS SOUS 13898 HAS SOUPS 13898 WITH SCORE 13919.542
AT ITER 4066 NEW BEST:: SOT 101087 SOS 21538 HAS SOPS 21538 HAS SOUS 13894 HAS SOUPS 13894 WITH SCORE 13915.538
AT ITER 4075 NEW BEST:: SOT 101087 SOS 21525 HAS SOPS 21525 HAS SOUS 13894 HAS SOUPS 13894 WITH SCORE 13915.525
AT ITER 4082 NEW BEST:: SOT 101087 SOS 21519 HAS SOPS 21519 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13909.519
AT ITER 4112 NEW BEST:: SOT 101087 SOS 21512 HAS SOPS 21512 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13904.512
AT ITER 4123 NEW BEST:: SOT 101087 SOS 21508 HAS SOPS 21508 HAS SOUS 13883 HAS SOUPS 13883 WITH SCORE 13904.508
AT ITER 4137 NEW BEST:: SOT 101074 SOS 21495 HAS SOPS 21495 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13891.495
AT ITER 4143 NEW BEST:: SOT 101008 SOS 21462 HAS SOPS 21462 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13891.462
AT ITER 4161 NEW BEST:: SOT 100984 SOS 21438 HAS SOPS 21438 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13843.438
AT ITER 4178 NEW BEST:: SOT 100959 SOS 21402 HAS SOPS 21402 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13807.402
AT ITER 4186 NEW BEST:: SOT 100953 SOS 21396 HAS SOPS 21396 HAS SOUS 13774 HAS SOUPS 13774 WITH SCORE 13795.396
AT ITER 4221 NEW BEST:: SOT 100953 SOS 21381 HAS SOPS 21381 HAS SOUS 13759 HAS SOUPS 13759 WITH SCORE 13780.381
AT ITER 4238 NEW BEST:: SOT 100953 SOS 21381 HAS SOPS 21381 HAS SOUS 13748 HAS SOUPS 13748 WITH SCORE 13769.381
AT ITER 4271 NEW BEST:: SOT 100950 SOS 21204 HAS SOPS 21204 HAS SOUS 13739 HAS SOUPS 13739 WITH SCORE 13760.204
AT ITER 4284 NEW BEST:: SOT 100901 SOS 21126 HAS SOPS 21126 HAS SOUS 13670 HAS SOUPS 13670 WITH SCORE 13691.126
AT ITER 4309 NEW BEST:: SOT 100870 SOS 21089 HAS SOPS 21089 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13654.089
AT ITER 4325 NEW BEST:: SOT 100867 SOS 21087 HAS SOPS 21087 HAS SOUS 13627 HAS SOUPS 13627 WITH SCORE 13648.087
AT ITER 4380 NEW BEST:: SOT 100837 SOS 21084 HAS SOPS 21084 HAS SOUS 13611 HAS SOUPS 13611 WITH SCORE 13632.084
AT ITER 4404 NEW BEST:: SOT 100823 SOS 21070 HAS SOPS 21070 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13619.07
AT ITER 4410 NEW BEST:: SOT 100820 SOS 21064 HAS SOPS 21064 HAS SOUS 13598 HAS SOUPS 13598 WITH SCORE 13619.064
AT ITER 4487 NEW BEST:: SOT 100808 SOS 21040 HAS SOPS 21040 HAS SOUS 13574 HAS SOUPS 13574 WITH SCORE 13595.04
AT ITER 4488 NEW BEST:: SOT 100783 SOS 21047 HAS SOPS 21047 HAS SOUS 13572 HAS SOUPS 13572 WITH SCORE 13593.047
AT ITER 4493 NEW BEST:: SOT 100728 SOS 20992 HAS SOPS 20992 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13578.992
AT ITER 4503 NEW BEST:: SOT 100727 SOS 20990 HAS SOPS 20990 HAS SOUS 13556 HAS SOUPS 13556 WITH SCORE 13576.99
AT ITER 4505 NEW BEST:: SOT 100708 SOS 20933 HAS SOPS 20933 HAS SOUS 13518 HAS SOUPS 13518 WITH SCORE 13538.933
AT ITER 4513 NEW BEST:: SOT 100637 SOS 21195 HAS SOPS 21195 HAS SOUS 13482 HAS SOUPS 13482 WITH SCORE 13503.195
AT ITER 4556 NEW BEST:: SOT 100623 SOS 21167 HAS SOPS 21167 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13481.167
AT ITER 4587 NEW BEST:: SOT 100619 SOS 21161 HAS SOPS 21161 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13475.161
AT ITER 4632 NEW BEST:: SOT 100612 SOS 21154 HAS SOPS 21154 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13475.154
AT ITER 4697 NEW BEST:: SOT 100609 SOS 21148 HAS SOPS 21148 HAS SOUS 13451 HAS SOUPS 13451 WITH SCORE 13472.148
AT ITER 4698 NEW BEST:: SOT 100484 SOS 21971 HAS SOPS 21971 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13410.971
AT ITER 4708 NEW BEST:: SOT 100479 SOS 21966 HAS SOPS 21966 HAS SOUS 13380 HAS SOUPS 13380 WITH SCORE 13401.966
AT ITER 4721 NEW BEST:: SOT 100475 SOS 21958 HAS SOPS 21958 HAS SOUS 13372 HAS SOUPS 13372 WITH SCORE 13393.958
AT ITER 4734 NEW BEST:: SOT 100472 SOS 21952 HAS SOPS 21952 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13390.952
AT ITER 4746 NEW BEST:: SOT 100471 SOS 21950 HAS SOPS 21950 HAS SOUS 13362 HAS SOUPS 13362 WITH SCORE 13383.95
AT ITER 4757 NEW BEST:: SOT 100466 SOS 21940 HAS SOPS 21940 HAS SOUS 13338 HAS SOUPS 13338 WITH SCORE 13359.94
AT ITER 4763 NEW BEST:: SOT 100580 SOS 22050 HAS SOPS 22050 HAS SOUS 13335 HAS SOUPS 13335 WITH SCORE 13357.05
AT ITER 4860 NEW BEST:: SOT 100580 SOS 22024 HAS SOPS 22024 HAS SOUS 13335 HAS SOUPS 13335 WITH SCORE 13357.024
AT ITER 4879 NEW BEST:: SOT 100622 SOS 22078 HAS SOPS 22078 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13349.078
AT ITER 4897 NEW BEST:: SOT 100588 SOS 22044 HAS SOPS 22044 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13340.044
AT ITER 4913 NEW BEST:: SOT 100588 SOS 22016 HAS SOPS 22016 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13338.016
AT ITER 4915 NEW BEST:: SOT 100566 SOS 21994 HAS SOPS 21994 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13331.994
AT ITER 4927 NEW BEST:: SOT 100571 SOS 21990 HAS SOPS 21990 HAS SOUS 13306 HAS SOUPS 13306 WITH SCORE 13327.99
AT ITER 4938 NEW BEST:: SOT 100568 SOS 21984 HAS SOPS 21984 HAS SOUS 13303 HAS SOUPS 13303 WITH SCORE 13324.984
AT ITER 4947 NEW BEST:: SOT 100579 SOS 21995 HAS SOPS 21995 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13318.995
AT ITER 4976 NEW BEST:: SOT 100563 SOS 21979 HAS SOPS 21979 HAS SOUS 13281 HAS SOUPS 13281 WITH SCORE 13302.979
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-14-CTLFireability-00 ( (AF( (EU( ((potential((tk(P3)>=1) & (tk(P239)>=1)))) , ((potential((tk(P215)>=1)))) )))) | (AG( (! (EG( ((potential((tk(P329)>=1))))))))) )
PROPERTY: SmartHome-PT-14-CTLFireability-01 (EF( ( ((potential((tk(P127)>=1)))) & (AX( ( ((potential((tk(P181)>=1)))) | ((potential((tk(P179)>=1)))) ))) )))
PROPERTY: SmartHome-PT-14-CTLFireability-02 (! (EX( (EF( ( ((potential((tk(P357)>=1)))) & ((potential((tk(P65)>=1)))) ))))))
PROPERTY: SmartHome-PT-14-CTLFireability-03 (EU( ((potential((tk(P76)>=1)))) , (EF( ( ((potential((tk(P285)>=1)))) & ((potential((tk(P397)>=1) & (tk(P393)>=1)))) ))) ))
PROPERTY: SmartHome-PT-14-CTLFireability-04 ( (EF( (AU( ((potential((tk(P25)>=1)))) , ((potential((tk(P41)>=1)))) )))) & (EF( ( ((potential((tk(P158)>=1)))) & ( ( ((potential((tk(P5)>=1)))) | ((potential((tk(P165)>=1)))) ) | ( ((potential((tk(P347)>=1)))) & ((potential((tk(P336)>=1)))) ) ) ))) )
PROPERTY: SmartHome-PT-14-CTLFireability-05 ( (AG( ( ( ((potential((tk(P244)>=1)))) & ((potential((tk(P287)>=1) & (tk(P373)>=1)))) ) | (EF( ((potential((tk(P68)>=1) & (tk(P324)>=1)))))) ))) | ( ( ( ( (! ((potential((tk(P335)>=1))))) | (! ((potential((tk(P145)>=1))))) ) | (EX( ((potential((tk(P152)>=1)))))) ) & ((potential((tk(P357)>=1)))) ) & ( (EG( ( ((potential((tk(P397)>=1) & (tk(P393)>=1)))) | ((potential((tk(P105)>=1)))) ))) | (AU( ((potential((tk(P295)>=1) & (tk(P199)>=1) & (tk(P137)>=1) & (tk(P75)>=1) & (tk(P44)>=1) & (tk(P106)>=1) & (tk(P168)>=1) & (tk(P247)>=1) & (tk(P343)>=1)))) , ((potential((tk(P197)>=1)))) )) ) ) )
PROPERTY: SmartHome-PT-14-CTLFireability-06 ( (AF( ( ((potential((tk(P152)>=1)))) & ( ( ((potential((tk(P152)>=1)))) | ((potential((tk(P93)>=1)))) ) | ((potential((tk(P353)>=1)))) ) ))) | (EF( ((potential((tk(P120)>=1)))))) )
PROPERTY: SmartHome-PT-14-CTLFireability-07 (EX( (AG( (EF( ((potential((tk(P207)>=1))))))))))
PROPERTY: SmartHome-PT-14-CTLFireability-08 (AU( (EU( ((potential((tk(P239)>=1)))) , ((potential((tk(P87)>=1)))) )) , (! (EF( ((potential((tk(P229)>=1))))))) ))
PROPERTY: SmartHome-PT-14-CTLFireability-09 ( ( ( ( ( (! ((potential((tk(P275)>=1))))) & ( ((potential((tk(P192)>=1) & (tk(P418)>=1)))) & ((potential((tk(P269)>=1)))) ) ) | (EF( ((potential((tk(P357)>=1)))))) ) | (AG( ((potential((tk(P243)>=1)))))) ) | ((potential((tk(P100)>=1)))) ) | (AU( ( ( ((potential((tk(P160)>=1)))) & ((potential((tk(P105)>=1)))) ) & ( ((potential((tk(P176)>=1)))) & ((potential((tk(P250)>=1)))) ) ) , ( ((potential((tk(P191)>=1)))) & ( ((potential((tk(P254)>=1)))) | ((potential((tk(P334)>=1)))) ) ) )) )
PROPERTY: SmartHome-PT-14-CTLFireability-10 (EF( (AG( ((potential((tk(P60)>=1))))))))
PROPERTY: SmartHome-PT-14-CTLFireability-11 (EU( (! ((potential((tk(P55)>=1))))) , (EU( ((potential((tk(P3)>=1) & (tk(P192)>=1)))) , ((potential((tk(P246)>=1)))) )) ))
PROPERTY: SmartHome-PT-14-CTLFireability-12 (EU( (! ( ((potential((tk(P115)>=1)))) & ( ((potential((tk(P389)>=1)))) | ((potential((tk(P220)>=1)))) ) )) , (EX( ( ((potential((tk(P1)>=1)))) & ((potential((tk(P143)>=1)))) ))) ))
PROPERTY: SmartHome-PT-14-CTLFireability-13 (EF( ( ((potential((tk(P105)>=1)))) & (EF( ((potential((tk(P278)>=1)))))) )))
PROPERTY: SmartHome-PT-14-CTLFireability-14 (AX( (EF( (AF( ((potential((tk(P278)>=1))))))))))
PROPERTY: SmartHome-PT-14-CTLFireability-15 ( (AX( (EF( ( ((potential((tk(P64)>=1)))) | ((potential((tk(P142)>=1)))) ))))) | (EG( ((potential((tk(P198)>=1)))))) )

BK_STOP 1590473256784

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 466 Aborted ${SMART} ${INPUT_SM}

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

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