About the Execution of smart for SmartHome-PT-15
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.800 | 3524986.00 | 3524020.00 | 0.00 | [undef] | Cannot compute |
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-159033538300116.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-15, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300116
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 272K
-rw-r--r-- 1 mcc users 3.4K May 14 03:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K 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 18K May 13 21:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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.8K 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 102K 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-15-CTLFireability-00
FORMULA_NAME SmartHome-PT-15-CTLFireability-01
FORMULA_NAME SmartHome-PT-15-CTLFireability-02
FORMULA_NAME SmartHome-PT-15-CTLFireability-03
FORMULA_NAME SmartHome-PT-15-CTLFireability-04
FORMULA_NAME SmartHome-PT-15-CTLFireability-05
FORMULA_NAME SmartHome-PT-15-CTLFireability-06
FORMULA_NAME SmartHome-PT-15-CTLFireability-07
FORMULA_NAME SmartHome-PT-15-CTLFireability-08
FORMULA_NAME SmartHome-PT-15-CTLFireability-09
FORMULA_NAME SmartHome-PT-15-CTLFireability-10
FORMULA_NAME SmartHome-PT-15-CTLFireability-11
FORMULA_NAME SmartHome-PT-15-CTLFireability-12
FORMULA_NAME SmartHome-PT-15-CTLFireability-13
FORMULA_NAME SmartHome-PT-15-CTLFireability-14
FORMULA_NAME SmartHome-PT-15-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590469783033
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 15
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: 427 places, 451 transitions, 1038 arcs.
AT ITER 0 NEW BEST:: SOT 114065 SOS 26207 HAS SOPS 26207 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 25556.207
AT ITER 8 NEW BEST:: SOT 113959 SOS 26126 HAS SOPS 26126 HAS SOUS 25438 HAS SOUPS 25438 WITH SCORE 25464.126
AT ITER 21 NEW BEST:: SOT 113403 SOS 27066 HAS SOPS 27066 HAS SOUS 25136 HAS SOUPS 25136 WITH SCORE 25163.066
AT ITER 29 NEW BEST:: SOT 113392 SOS 27044 HAS SOPS 27044 HAS SOUS 25125 HAS SOUPS 25125 WITH SCORE 25152.044
AT ITER 30 NEW BEST:: SOT 113401 SOS 27009 HAS SOPS 27009 HAS SOUS 25123 HAS SOUPS 25123 WITH SCORE 25150.009
AT ITER 38 NEW BEST:: SOT 113401 SOS 27009 HAS SOPS 27009 HAS SOUS 25122 HAS SOUPS 25122 WITH SCORE 25149.009
AT ITER 46 NEW BEST:: SOT 113401 SOS 26989 HAS SOPS 26989 HAS SOUS 25102 HAS SOUPS 25102 WITH SCORE 25128.989
AT ITER 55 NEW BEST:: SOT 113346 SOS 26904 HAS SOPS 26904 HAS SOUS 25017 HAS SOUPS 25017 WITH SCORE 25043.904
AT ITER 65 NEW BEST:: SOT 113343 SOS 26901 HAS SOPS 26901 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25040.901
AT ITER 68 NEW BEST:: SOT 113334 SOS 26892 HAS SOPS 26892 HAS SOUS 25005 HAS SOUPS 25005 WITH SCORE 25031.892
AT ITER 70 NEW BEST:: SOT 113258 SOS 26692 HAS SOPS 26692 HAS SOUS 24871 HAS SOUPS 24871 WITH SCORE 24897.692
AT ITER 83 NEW BEST:: SOT 111970 SOS 27898 HAS SOPS 27898 HAS SOUS 23839 HAS SOUPS 23839 WITH SCORE 23866.898
AT ITER 96 NEW BEST:: SOT 111890 SOS 27818 HAS SOPS 27818 HAS SOUS 23759 HAS SOUPS 23759 WITH SCORE 23786.818
AT ITER 99 NEW BEST:: SOT 111896 SOS 27817 HAS SOPS 27817 HAS SOUS 23757 HAS SOUPS 23757 WITH SCORE 23784.817
AT ITER 117 NEW BEST:: SOT 111677 SOS 27615 HAS SOPS 27615 HAS SOUS 23538 HAS SOUPS 23538 WITH SCORE 23565.615
AT ITER 126 NEW BEST:: SOT 111677 SOS 27609 HAS SOPS 27609 HAS SOUS 23538 HAS SOUPS 23538 WITH SCORE 23565.609
AT ITER 128 NEW BEST:: SOT 111709 SOS 27608 HAS SOPS 27608 HAS SOUS 23537 HAS SOUPS 23537 WITH SCORE 23564.608
AT ITER 130 NEW BEST:: SOT 111709 SOS 27608 HAS SOPS 27608 HAS SOUS 23536 HAS SOUPS 23536 WITH SCORE 23563.608
AT ITER 135 NEW BEST:: SOT 111700 SOS 27663 HAS SOPS 27663 HAS SOUS 23527 HAS SOUPS 23527 WITH SCORE 23554.663
AT ITER 137 NEW BEST:: SOT 111660 SOS 27627 HAS SOPS 27627 HAS SOUS 23489 HAS SOUPS 23489 WITH SCORE 23516.627
AT ITER 142 NEW BEST:: SOT 110745 SOS 26935 HAS SOPS 26935 HAS SOUS 22631 HAS SOUPS 22631 WITH SCORE 22657.935
AT ITER 146 NEW BEST:: SOT 110721 SOS 26887 HAS SOPS 26887 HAS SOUS 22607 HAS SOUPS 22607 WITH SCORE 22633.887
AT ITER 162 NEW BEST:: SOT 110720 SOS 26885 HAS SOPS 26885 HAS SOUS 22605 HAS SOUPS 22605 WITH SCORE 22631.885
AT ITER 175 NEW BEST:: SOT 110710 SOS 26855 HAS SOPS 26855 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22611.855
AT ITER 177 NEW BEST:: SOT 110636 SOS 26744 HAS SOPS 26744 HAS SOUS 22511 HAS SOUPS 22511 WITH SCORE 22537.744
AT ITER 206 NEW BEST:: SOT 110636 SOS 26742 HAS SOPS 26742 HAS SOUS 22510 HAS SOUPS 22510 WITH SCORE 22536.742
AT ITER 208 NEW BEST:: SOT 110510 SOS 26718 HAS SOPS 26718 HAS SOUS 22403 HAS SOUPS 22403 WITH SCORE 22429.718
AT ITER 215 NEW BEST:: SOT 110471 SOS 26640 HAS SOPS 26640 HAS SOUS 22280 HAS SOUPS 22280 WITH SCORE 22306.64
AT ITER 219 NEW BEST:: SOT 110460 SOS 26629 HAS SOPS 26629 HAS SOUS 22269 HAS SOUPS 22269 WITH SCORE 22295.629
AT ITER 222 NEW BEST:: SOT 110459 SOS 26627 HAS SOPS 26627 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22294.627
AT ITER 232 NEW BEST:: SOT 110459 SOS 26688 HAS SOPS 26688 HAS SOUS 22257 HAS SOUPS 22257 WITH SCORE 22283.688
AT ITER 246 NEW BEST:: SOT 110153 SOS 27115 HAS SOPS 27115 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22122.115
AT ITER 250 NEW BEST:: SOT 110163 SOS 27105 HAS SOPS 27105 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22122.105
AT ITER 269 NEW BEST:: SOT 110150 SOS 27084 HAS SOPS 27084 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22101.084
AT ITER 272 NEW BEST:: SOT 110150 SOS 27082 HAS SOPS 27082 HAS SOUS 22072 HAS SOUPS 22072 WITH SCORE 22099.082
AT ITER 279 NEW BEST:: SOT 110133 SOS 27075 HAS SOPS 27075 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22082.075
AT ITER 281 NEW BEST:: SOT 110128 SOS 27065 HAS SOPS 27065 HAS SOUS 22050 HAS SOUPS 22050 WITH SCORE 22077.065
AT ITER 289 NEW BEST:: SOT 110096 SOS 27001 HAS SOPS 27001 HAS SOUS 21986 HAS SOUPS 21986 WITH SCORE 22013.001
AT ITER 291 NEW BEST:: SOT 109986 SOS 26781 HAS SOPS 26781 HAS SOUS 21876 HAS SOUPS 21876 WITH SCORE 21902.781
AT ITER 295 NEW BEST:: SOT 109986 SOS 26781 HAS SOPS 26781 HAS SOUS 21875 HAS SOUPS 21875 WITH SCORE 21901.781
AT ITER 299 NEW BEST:: SOT 109550 SOS 26469 HAS SOPS 26469 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21505.469
AT ITER 304 NEW BEST:: SOT 109550 SOS 26421 HAS SOPS 26421 HAS SOUS 21431 HAS SOUPS 21431 WITH SCORE 21457.421
AT ITER 323 NEW BEST:: SOT 109550 SOS 26406 HAS SOPS 26406 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21442.406
AT ITER 333 NEW BEST:: SOT 109550 SOS 26358 HAS SOPS 26358 HAS SOUS 21368 HAS SOUPS 21368 WITH SCORE 21394.358
AT ITER 338 NEW BEST:: SOT 108910 SOS 27040 HAS SOPS 27040 HAS SOUS 20814 HAS SOUPS 20814 WITH SCORE 20841.04
AT ITER 349 NEW BEST:: SOT 108857 SOS 26856 HAS SOPS 26856 HAS SOUS 20661 HAS SOUPS 20661 WITH SCORE 20687.856
AT ITER 363 NEW BEST:: SOT 108854 SOS 26850 HAS SOPS 26850 HAS SOUS 20658 HAS SOUPS 20658 WITH SCORE 20684.85
AT ITER 365 NEW BEST:: SOT 108885 SOS 26826 HAS SOPS 26826 HAS SOUS 20633 HAS SOUPS 20633 WITH SCORE 20659.826
AT ITER 391 NEW BEST:: SOT 108867 SOS 26821 HAS SOPS 26821 HAS SOUS 20630 HAS SOUPS 20630 WITH SCORE 20656.821
AT ITER 410 NEW BEST:: SOT 108867 SOS 26810 HAS SOPS 26810 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20645.81
AT ITER 419 NEW BEST:: SOT 108837 SOS 26780 HAS SOPS 26780 HAS SOUS 20618 HAS SOUPS 20618 WITH SCORE 20644.78
AT ITER 421 NEW BEST:: SOT 108818 SOS 26742 HAS SOPS 26742 HAS SOUS 20599 HAS SOUPS 20599 WITH SCORE 20625.742
AT ITER 441 NEW BEST:: SOT 108818 SOS 26736 HAS SOPS 26736 HAS SOUS 20593 HAS SOUPS 20593 WITH SCORE 20619.736
AT ITER 444 NEW BEST:: SOT 108818 SOS 26673 HAS SOPS 26673 HAS SOUS 20530 HAS SOUPS 20530 WITH SCORE 20556.673
AT ITER 455 NEW BEST:: SOT 108794 SOS 25879 HAS SOPS 25879 HAS SOUS 20453 HAS SOUPS 20453 WITH SCORE 20478.879
AT ITER 472 NEW BEST:: SOT 108896 SOS 25910 HAS SOPS 25910 HAS SOUS 20435 HAS SOUPS 20435 WITH SCORE 20460.91
AT ITER 473 NEW BEST:: SOT 108896 SOS 25892 HAS SOPS 25892 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20442.892
AT ITER 480 NEW BEST:: SOT 108657 SOS 26599 HAS SOPS 26599 HAS SOUS 20305 HAS SOUPS 20305 WITH SCORE 20331.599
AT ITER 486 NEW BEST:: SOT 108620 SOS 26562 HAS SOPS 26562 HAS SOUS 20305 HAS SOUPS 20305 WITH SCORE 20331.562
AT ITER 508 NEW BEST:: SOT 108628 SOS 26570 HAS SOPS 26570 HAS SOUS 20294 HAS SOUPS 20294 WITH SCORE 20320.57
AT ITER 510 NEW BEST:: SOT 108644 SOS 26628 HAS SOPS 26628 HAS SOUS 20276 HAS SOUPS 20276 WITH SCORE 20302.628
AT ITER 537 NEW BEST:: SOT 108610 SOS 26594 HAS SOPS 26594 HAS SOUS 20242 HAS SOUPS 20242 WITH SCORE 20268.594
AT ITER 542 NEW BEST:: SOT 108585 SOS 26485 HAS SOPS 26485 HAS SOUS 20182 HAS SOUPS 20182 WITH SCORE 20208.485
AT ITER 543 NEW BEST:: SOT 108518 SOS 26460 HAS SOPS 26460 HAS SOUS 20173 HAS SOUPS 20173 WITH SCORE 20199.46
AT ITER 559 NEW BEST:: SOT 108512 SOS 26434 HAS SOPS 26434 HAS SOUS 20147 HAS SOUPS 20147 WITH SCORE 20173.434
AT ITER 564 NEW BEST:: SOT 108468 SOS 26375 HAS SOPS 26375 HAS SOUS 20103 HAS SOUPS 20103 WITH SCORE 20129.375
AT ITER 580 NEW BEST:: SOT 108467 SOS 26472 HAS SOPS 26472 HAS SOUS 20102 HAS SOUPS 20102 WITH SCORE 20128.472
AT ITER 605 NEW BEST:: SOT 108450 SOS 26438 HAS SOPS 26438 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20094.438
AT ITER 612 NEW BEST:: SOT 108372 SOS 26282 HAS SOPS 26282 HAS SOUS 19990 HAS SOUPS 19990 WITH SCORE 20016.282
AT ITER 616 NEW BEST:: SOT 108364 SOS 26266 HAS SOPS 26266 HAS SOUS 19982 HAS SOUPS 19982 WITH SCORE 20008.266
AT ITER 618 NEW BEST:: SOT 108358 SOS 26254 HAS SOPS 26254 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 20002.254
AT ITER 626 NEW BEST:: SOT 108350 SOS 26246 HAS SOPS 26246 HAS SOUS 19968 HAS SOUPS 19968 WITH SCORE 19994.246
AT ITER 629 NEW BEST:: SOT 108339 SOS 26224 HAS SOPS 26224 HAS SOUS 19964 HAS SOUPS 19964 WITH SCORE 19990.224
AT ITER 640 NEW BEST:: SOT 108297 SOS 26186 HAS SOPS 26186 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19958.186
AT ITER 659 NEW BEST:: SOT 107649 SOS 28057 HAS SOPS 28057 HAS SOUS 19591 HAS SOUPS 19591 WITH SCORE 19619.057
AT ITER 665 NEW BEST:: SOT 107552 SOS 27960 HAS SOPS 27960 HAS SOUS 19591 HAS SOUPS 19591 WITH SCORE 19618.96
AT ITER 666 NEW BEST:: SOT 107493 SOS 27906 HAS SOPS 27906 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19564.906
AT ITER 673 NEW BEST:: SOT 107493 SOS 27906 HAS SOPS 27906 HAS SOUS 19534 HAS SOUPS 19534 WITH SCORE 19561.906
AT ITER 674 NEW BEST:: SOT 107493 SOS 27906 HAS SOPS 27906 HAS SOUS 19533 HAS SOUPS 19533 WITH SCORE 19560.906
AT ITER 687 NEW BEST:: SOT 107546 SOS 27762 HAS SOPS 27762 HAS SOUS 19434 HAS SOUPS 19434 WITH SCORE 19461.762
AT ITER 690 NEW BEST:: SOT 107522 SOS 27714 HAS SOPS 27714 HAS SOUS 19386 HAS SOUPS 19386 WITH SCORE 19413.714
AT ITER 715 NEW BEST:: SOT 107531 SOS 27706 HAS SOPS 27706 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19396.706
AT ITER 719 NEW BEST:: SOT 107283 SOS 27458 HAS SOPS 27458 HAS SOUS 19257 HAS SOUPS 19257 WITH SCORE 19284.458
AT ITER 739 NEW BEST:: SOT 107219 SOS 27362 HAS SOPS 27362 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19220.362
AT ITER 740 NEW BEST:: SOT 107246 SOS 27389 HAS SOPS 27389 HAS SOUS 19175 HAS SOUPS 19175 WITH SCORE 19202.389
AT ITER 744 NEW BEST:: SOT 107235 SOS 27367 HAS SOPS 27367 HAS SOUS 19153 HAS SOUPS 19153 WITH SCORE 19180.367
AT ITER 748 NEW BEST:: SOT 107235 SOS 27338 HAS SOPS 27338 HAS SOUS 19124 HAS SOUPS 19124 WITH SCORE 19151.338
AT ITER 757 NEW BEST:: SOT 107181 SOS 27284 HAS SOPS 27284 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19053.284
AT ITER 760 NEW BEST:: SOT 107181 SOS 27284 HAS SOPS 27284 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19009.284
AT ITER 765 NEW BEST:: SOT 107179 SOS 27280 HAS SOPS 27280 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19005.28
AT ITER 769 NEW BEST:: SOT 107128 SOS 27261 HAS SOPS 27261 HAS SOUS 18959 HAS SOUPS 18959 WITH SCORE 18986.261
AT ITER 772 NEW BEST:: SOT 107108 SOS 27241 HAS SOPS 27241 HAS SOUS 18959 HAS SOUPS 18959 WITH SCORE 18986.241
AT ITER 811 NEW BEST:: SOT 107108 SOS 27219 HAS SOPS 27219 HAS SOUS 18937 HAS SOUPS 18937 WITH SCORE 18964.219
AT ITER 849 NEW BEST:: SOT 107108 SOS 27181 HAS SOPS 27181 HAS SOUS 18899 HAS SOUPS 18899 WITH SCORE 18926.181
AT ITER 860 NEW BEST:: SOT 107095 SOS 27165 HAS SOPS 27165 HAS SOUS 18870 HAS SOUPS 18870 WITH SCORE 18897.165
AT ITER 867 NEW BEST:: SOT 107095 SOS 27165 HAS SOPS 27165 HAS SOUS 18869 HAS SOUPS 18869 WITH SCORE 18896.165
AT ITER 872 NEW BEST:: SOT 107095 SOS 27163 HAS SOPS 27163 HAS SOUS 18867 HAS SOUPS 18867 WITH SCORE 18894.163
AT ITER 887 NEW BEST:: SOT 107068 SOS 27109 HAS SOPS 27109 HAS SOUS 18840 HAS SOUPS 18840 WITH SCORE 18867.109
AT ITER 902 NEW BEST:: SOT 107058 SOS 27109 HAS SOPS 27109 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18857.109
AT ITER 906 NEW BEST:: SOT 107051 SOS 27095 HAS SOPS 27095 HAS SOUS 18816 HAS SOUPS 18816 WITH SCORE 18843.095
AT ITER 907 NEW BEST:: SOT 106991 SOS 26975 HAS SOPS 26975 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18756.975
AT ITER 909 NEW BEST:: SOT 106976 SOS 26945 HAS SOPS 26945 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18726.945
AT ITER 910 NEW BEST:: SOT 106978 SOS 26936 HAS SOPS 26936 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18716.936
AT ITER 912 NEW BEST:: SOT 106973 SOS 26926 HAS SOPS 26926 HAS SOUS 18680 HAS SOUPS 18680 WITH SCORE 18706.926
AT ITER 929 NEW BEST:: SOT 106971 SOS 26812 HAS SOPS 26812 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18647.812
AT ITER 943 NEW BEST:: SOT 106955 SOS 26780 HAS SOPS 26780 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18615.78
AT ITER 945 NEW BEST:: SOT 106721 SOS 26954 HAS SOPS 26954 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18430.954
AT ITER 961 NEW BEST:: SOT 106721 SOS 26944 HAS SOPS 26944 HAS SOUS 18394 HAS SOUPS 18394 WITH SCORE 18420.944
AT ITER 973 NEW BEST:: SOT 106693 SOS 26938 HAS SOPS 26938 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18390.938
AT ITER 975 NEW BEST:: SOT 106661 SOS 26906 HAS SOPS 26906 HAS SOUS 18332 HAS SOUPS 18332 WITH SCORE 18358.906
AT ITER 976 NEW BEST:: SOT 106560 SOS 26704 HAS SOPS 26704 HAS SOUS 18205 HAS SOUPS 18205 WITH SCORE 18231.704
AT ITER 978 NEW BEST:: SOT 106498 SOS 26656 HAS SOPS 26656 HAS SOUS 18157 HAS SOUPS 18157 WITH SCORE 18183.656
AT ITER 988 NEW BEST:: SOT 106496 SOS 26644 HAS SOPS 26644 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18171.644
AT ITER 990 NEW BEST:: SOT 106493 SOS 26639 HAS SOPS 26639 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18170.639
AT ITER 991 NEW BEST:: SOT 106493 SOS 26633 HAS SOPS 26633 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18164.633
AT ITER 998 NEW BEST:: SOT 106495 SOS 26631 HAS SOPS 26631 HAS SOUS 18138 HAS SOUPS 18138 WITH SCORE 18164.631
AT ITER 1023 NEW BEST:: SOT 106491 SOS 26623 HAS SOPS 26623 HAS SOUS 18129 HAS SOUPS 18129 WITH SCORE 18155.623
AT ITER 1026 NEW BEST:: SOT 106460 SOS 26514 HAS SOPS 26514 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18082.514
AT ITER 1029 NEW BEST:: SOT 106453 SOS 26507 HAS SOPS 26507 HAS SOUS 18049 HAS SOUPS 18049 WITH SCORE 18075.507
AT ITER 1033 NEW BEST:: SOT 106449 SOS 26499 HAS SOPS 26499 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18042.499
AT ITER 1047 NEW BEST:: SOT 106398 SOS 26399 HAS SOPS 26399 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17942.399
AT ITER 1051 NEW BEST:: SOT 106386 SOS 26393 HAS SOPS 26393 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17936.393
AT ITER 1065 NEW BEST:: SOT 106286 SOS 26233 HAS SOPS 26233 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17876.233
AT ITER 1073 NEW BEST:: SOT 106248 SOS 26339 HAS SOPS 26339 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17852.339
AT ITER 1077 NEW BEST:: SOT 106242 SOS 26327 HAS SOPS 26327 HAS SOUS 17820 HAS SOUPS 17820 WITH SCORE 17846.327
AT ITER 1122 NEW BEST:: SOT 106240 SOS 26323 HAS SOPS 26323 HAS SOUS 17818 HAS SOUPS 17818 WITH SCORE 17844.323
AT ITER 1125 NEW BEST:: SOT 106240 SOS 26290 HAS SOPS 26290 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17811.29
AT ITER 1147 NEW BEST:: SOT 106181 SOS 26176 HAS SOPS 26176 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17697.176
AT ITER 1170 NEW BEST:: SOT 106041 SOS 26036 HAS SOPS 26036 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17684.036
AT ITER 1172 NEW BEST:: SOT 105951 SOS 25977 HAS SOPS 25977 HAS SOUS 17530 HAS SOUPS 17530 WITH SCORE 17555.977
AT ITER 1175 NEW BEST:: SOT 105947 SOS 25930 HAS SOPS 25930 HAS SOUS 17483 HAS SOUPS 17483 WITH SCORE 17508.93
AT ITER 1178 NEW BEST:: SOT 105946 SOS 25928 HAS SOPS 25928 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17506.928
AT ITER 1183 NEW BEST:: SOT 105946 SOS 25919 HAS SOPS 25919 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17506.919
AT ITER 1186 NEW BEST:: SOT 105916 SOS 25859 HAS SOPS 25859 HAS SOUS 17421 HAS SOUPS 17421 WITH SCORE 17446.859
AT ITER 1187 NEW BEST:: SOT 105916 SOS 25829 HAS SOPS 25829 HAS SOUS 17391 HAS SOUPS 17391 WITH SCORE 17416.829
AT ITER 1203 NEW BEST:: SOT 105867 SOS 25798 HAS SOPS 25798 HAS SOUS 17342 HAS SOUPS 17342 WITH SCORE 17367.798
AT ITER 1204 NEW BEST:: SOT 105859 SOS 25758 HAS SOPS 25758 HAS SOUS 17308 HAS SOUPS 17308 WITH SCORE 17333.758
AT ITER 1219 NEW BEST:: SOT 105859 SOS 25753 HAS SOPS 25753 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17328.753
AT ITER 1223 NEW BEST:: SOT 105855 SOS 25745 HAS SOPS 25745 HAS SOUS 17299 HAS SOUPS 17299 WITH SCORE 17324.745
AT ITER 1227 NEW BEST:: SOT 105854 SOS 25743 HAS SOPS 25743 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17323.743
AT ITER 1242 NEW BEST:: SOT 105808 SOS 25747 HAS SOPS 25747 HAS SOUS 17256 HAS SOUPS 17256 WITH SCORE 17281.747
AT ITER 1254 NEW BEST:: SOT 105782 SOS 25690 HAS SOPS 25690 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17224.69
AT ITER 1255 NEW BEST:: SOT 105688 SOS 25644 HAS SOPS 25644 HAS SOUS 17153 HAS SOUPS 17153 WITH SCORE 17178.644
AT ITER 1260 NEW BEST:: SOT 105668 SOS 25604 HAS SOPS 25604 HAS SOUS 17133 HAS SOUPS 17133 WITH SCORE 17158.604
AT ITER 1280 NEW BEST:: SOT 105592 SOS 26086 HAS SOPS 26086 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17132.086
AT ITER 1286 NEW BEST:: SOT 105592 SOS 26074 HAS SOPS 26074 HAS SOUS 17094 HAS SOUPS 17094 WITH SCORE 17120.074
AT ITER 1292 NEW BEST:: SOT 105549 SOS 25988 HAS SOPS 25988 HAS SOUS 17051 HAS SOUPS 17051 WITH SCORE 17076.988
AT ITER 1300 NEW BEST:: SOT 105559 SOS 26008 HAS SOPS 26008 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16927.008
AT ITER 1317 NEW BEST:: SOT 105559 SOS 25976 HAS SOPS 25976 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16926.976
AT ITER 1330 NEW BEST:: SOT 105557 SOS 25974 HAS SOPS 25974 HAS SOUS 16899 HAS SOUPS 16899 WITH SCORE 16924.974
AT ITER 1360 NEW BEST:: SOT 105553 SOS 25966 HAS SOPS 25966 HAS SOUS 16868 HAS SOUPS 16868 WITH SCORE 16893.966
AT ITER 1368 NEW BEST:: SOT 105534 SOS 25928 HAS SOPS 25928 HAS SOUS 16797 HAS SOUPS 16797 WITH SCORE 16822.928
AT ITER 1391 NEW BEST:: SOT 105532 SOS 25924 HAS SOPS 25924 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16819.924
AT ITER 1396 NEW BEST:: SOT 105551 SOS 25943 HAS SOPS 25943 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16810.943
AT ITER 1408 NEW BEST:: SOT 105559 SOS 25903 HAS SOPS 25903 HAS SOUS 16782 HAS SOUPS 16782 WITH SCORE 16807.903
AT ITER 1465 NEW BEST:: SOT 105512 SOS 25885 HAS SOPS 25885 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16786.885
AT ITER 1481 NEW BEST:: SOT 105507 SOS 25875 HAS SOPS 25875 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16776.875
AT ITER 1514 NEW BEST:: SOT 105504 SOS 25872 HAS SOPS 25872 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16773.872
AT ITER 1523 NEW BEST:: SOT 105532 SOS 25831 HAS SOPS 25831 HAS SOUS 16679 HAS SOUPS 16679 WITH SCORE 16704.831
AT ITER 1557 NEW BEST:: SOT 105383 SOS 26404 HAS SOPS 26404 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16652.404
AT ITER 1559 NEW BEST:: SOT 105383 SOS 26396 HAS SOPS 26396 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16652.396
AT ITER 1572 NEW BEST:: SOT 105370 SOS 26370 HAS SOPS 26370 HAS SOUS 16600 HAS SOUPS 16600 WITH SCORE 16626.37
AT ITER 1589 NEW BEST:: SOT 105369 SOS 26367 HAS SOPS 26367 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16623.367
AT ITER 1604 NEW BEST:: SOT 105258 SOS 26256 HAS SOPS 26256 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16572.256
AT ITER 1629 NEW BEST:: SOT 105258 SOS 26231 HAS SOPS 26231 HAS SOUS 16524 HAS SOUPS 16524 WITH SCORE 16550.231
AT ITER 1667 NEW BEST:: SOT 105251 SOS 26226 HAS SOPS 26226 HAS SOUS 16519 HAS SOUPS 16519 WITH SCORE 16545.226
AT ITER 1728 NEW BEST:: SOT 105170 SOS 26093 HAS SOPS 26093 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16518.093
AT ITER 1751 NEW BEST:: SOT 105127 SOS 26007 HAS SOPS 26007 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16476.007
AT ITER 1752 NEW BEST:: SOT 105044 SOS 25841 HAS SOPS 25841 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16396.841
AT ITER 1782 NEW BEST:: SOT 104948 SOS 25817 HAS SOPS 25817 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16328.817
AT ITER 1809 NEW BEST:: SOT 104894 SOS 25763 HAS SOPS 25763 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16274.763
AT ITER 1823 NEW BEST:: SOT 104969 SOS 25754 HAS SOPS 25754 HAS SOUS 16240 HAS SOUPS 16240 WITH SCORE 16265.754
AT ITER 1838 NEW BEST:: SOT 104901 SOS 25697 HAS SOPS 25697 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16216.697
AT ITER 1856 NEW BEST:: SOT 104892 SOS 25657 HAS SOPS 25657 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16185.657
AT ITER 1869 NEW BEST:: SOT 104891 SOS 25656 HAS SOPS 25656 HAS SOUS 16160 HAS SOUPS 16160 WITH SCORE 16185.656
AT ITER 1909 NEW BEST:: SOT 104873 SOS 25638 HAS SOPS 25638 HAS SOUS 16142 HAS SOUPS 16142 WITH SCORE 16167.638
AT ITER 1924 NEW BEST:: SOT 104861 SOS 25626 HAS SOPS 25626 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16161.626
AT ITER 1934 NEW BEST:: SOT 104854 SOS 25612 HAS SOPS 25612 HAS SOUS 16125 HAS SOUPS 16125 WITH SCORE 16150.612
AT ITER 1943 NEW BEST:: SOT 104863 SOS 25588 HAS SOPS 25588 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16121.588
AT ITER 1958 NEW BEST:: SOT 104886 SOS 25597 HAS SOPS 25597 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16117.597
AT ITER 1959 NEW BEST:: SOT 104872 SOS 25589 HAS SOPS 25589 HAS SOUS 16073 HAS SOUPS 16073 WITH SCORE 16098.589
AT ITER 1964 NEW BEST:: SOT 104838 SOS 25521 HAS SOPS 25521 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16083.521
AT ITER 1969 NEW BEST:: SOT 104810 SOS 25493 HAS SOPS 25493 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16083.493
AT ITER 1979 NEW BEST:: SOT 104736 SOS 25901 HAS SOPS 25901 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16068.901
AT ITER 1988 NEW BEST:: SOT 104729 SOS 25880 HAS SOPS 25880 HAS SOUS 16029 HAS SOUPS 16029 WITH SCORE 16054.88
AT ITER 1995 NEW BEST:: SOT 104715 SOS 25866 HAS SOPS 25866 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16040.866
AT ITER 2002 NEW BEST:: SOT 104677 SOS 25847 HAS SOPS 25847 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16012.847
AT ITER 2003 NEW BEST:: SOT 104589 SOS 25759 HAS SOPS 25759 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16012.759
AT ITER 2023 NEW BEST:: SOT 104574 SOS 25710 HAS SOPS 25710 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15978.71
AT ITER 2051 NEW BEST:: SOT 104594 SOS 25690 HAS SOPS 25690 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15978.69
AT ITER 2076 NEW BEST:: SOT 104567 SOS 25636 HAS SOPS 25636 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15924.636
AT ITER 2095 NEW BEST:: SOT 104575 SOS 25652 HAS SOPS 25652 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15899.652
AT ITER 2105 NEW BEST:: SOT 104575 SOS 25642 HAS SOPS 25642 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15899.642
AT ITER 2113 NEW BEST:: SOT 104544 SOS 25642 HAS SOPS 25642 HAS SOUS 15853 HAS SOUPS 15853 WITH SCORE 15878.642
AT ITER 2117 NEW BEST:: SOT 104515 SOS 25585 HAS SOPS 25585 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15832.585
AT ITER 2139 NEW BEST:: SOT 104515 SOS 25545 HAS SOPS 25545 HAS SOUS 15805 HAS SOUPS 15805 WITH SCORE 15830.545
AT ITER 2178 NEW BEST:: SOT 104508 SOS 25531 HAS SOPS 25531 HAS SOUS 15791 HAS SOUPS 15791 WITH SCORE 15816.531
AT ITER 2186 NEW BEST:: SOT 104495 SOS 25459 HAS SOPS 25459 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15790.459
AT ITER 2199 NEW BEST:: SOT 104482 SOS 25433 HAS SOPS 25433 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15764.433
AT ITER 2204 NEW BEST:: SOT 104482 SOS 25391 HAS SOPS 25391 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15764.391
AT ITER 2205 NEW BEST:: SOT 104440 SOS 25307 HAS SOPS 25307 HAS SOUS 15694 HAS SOUPS 15694 WITH SCORE 15719.307
AT ITER 2212 NEW BEST:: SOT 104467 SOS 25278 HAS SOPS 25278 HAS SOUS 15674 HAS SOUPS 15674 WITH SCORE 15699.278
AT ITER 2221 NEW BEST:: SOT 104469 SOS 25241 HAS SOPS 25241 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15695.241
AT ITER 2267 NEW BEST:: SOT 104463 SOS 25235 HAS SOPS 25235 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15689.235
AT ITER 2290 NEW BEST:: SOT 104463 SOS 25235 HAS SOPS 25235 HAS SOUS 15654 HAS SOUPS 15654 WITH SCORE 15679.235
AT ITER 2291 NEW BEST:: SOT 104476 SOS 25222 HAS SOPS 25222 HAS SOUS 15654 HAS SOUPS 15654 WITH SCORE 15679.222
AT ITER 2294 NEW BEST:: SOT 104458 SOS 25204 HAS SOPS 25204 HAS SOUS 15636 HAS SOUPS 15636 WITH SCORE 15661.204
AT ITER 2324 NEW BEST:: SOT 104458 SOS 25196 HAS SOPS 25196 HAS SOUS 15628 HAS SOUPS 15628 WITH SCORE 15653.196
AT ITER 2332 NEW BEST:: SOT 104451 SOS 25192 HAS SOPS 25192 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15649.192
AT ITER 2350 NEW BEST:: SOT 104415 SOS 25156 HAS SOPS 25156 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15600.156
AT ITER 2394 NEW BEST:: SOT 104387 SOS 25124 HAS SOPS 25124 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15568.124
AT ITER 2397 NEW BEST:: SOT 104334 SOS 25018 HAS SOPS 25018 HAS SOUS 15409 HAS SOUPS 15409 WITH SCORE 15434.018
AT ITER 2400 NEW BEST:: SOT 104334 SOS 25018 HAS SOPS 25018 HAS SOUS 15374 HAS SOUPS 15374 WITH SCORE 15399.018
AT ITER 2410 NEW BEST:: SOT 104328 SOS 24969 HAS SOPS 24969 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15380.969
AT ITER 2437 NEW BEST:: SOT 104325 SOS 24963 HAS SOPS 24963 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15374.963
AT ITER 2449 NEW BEST:: SOT 104310 SOS 24948 HAS SOPS 24948 HAS SOUS 15334 HAS SOUPS 15334 WITH SCORE 15358.948
AT ITER 2484 NEW BEST:: SOT 104257 SOS 24895 HAS SOPS 24895 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15305.895
AT ITER 2516 NEW BEST:: SOT 104208 SOS 24797 HAS SOPS 24797 HAS SOUS 15220 HAS SOUPS 15220 WITH SCORE 15244.797
AT ITER 2613 NEW BEST:: SOT 104189 SOS 24777 HAS SOPS 24777 HAS SOUS 15200 HAS SOUPS 15200 WITH SCORE 15224.777
AT ITER 2629 NEW BEST:: SOT 104377 SOS 24467 HAS SOPS 24467 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15211.467
AT ITER 2630 NEW BEST:: SOT 104370 SOS 24460 HAS SOPS 24460 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15204.46
AT ITER 2634 NEW BEST:: SOT 104369 SOS 24458 HAS SOPS 24458 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15202.458
AT ITER 2646 NEW BEST:: SOT 104372 SOS 24464 HAS SOPS 24464 HAS SOUS 15158 HAS SOUPS 15158 WITH SCORE 15182.464
AT ITER 2662 NEW BEST:: SOT 104378 SOS 24476 HAS SOPS 24476 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15180.476
AT ITER 2681 NEW BEST:: SOT 104434 SOS 24588 HAS SOPS 24588 HAS SOUS 15111 HAS SOUPS 15111 WITH SCORE 15135.588
AT ITER 2693 NEW BEST:: SOT 104434 SOS 24588 HAS SOPS 24588 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15131.588
AT ITER 2750 NEW BEST:: SOT 104395 SOS 24572 HAS SOPS 24572 HAS SOUS 15091 HAS SOUPS 15091 WITH SCORE 15115.572
AT ITER 2795 NEW BEST:: SOT 104384 SOS 24646 HAS SOPS 24646 HAS SOUS 15080 HAS SOUPS 15080 WITH SCORE 15104.646
AT ITER 2797 NEW BEST:: SOT 104383 SOS 24644 HAS SOPS 24644 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15089.644
AT ITER 2810 NEW BEST:: SOT 104372 SOS 24633 HAS SOPS 24633 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15089.633
AT ITER 2816 NEW BEST:: SOT 104366 SOS 24621 HAS SOPS 24621 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15077.621
AT ITER 2832 NEW BEST:: SOT 104329 SOS 24547 HAS SOPS 24547 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15077.547
AT ITER 2845 NEW BEST:: SOT 104315 SOS 24519 HAS SOPS 24519 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15049.519
AT ITER 2846 NEW BEST:: SOT 104277 SOS 24443 HAS SOPS 24443 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15049.443
AT ITER 2862 NEW BEST:: SOT 104265 SOS 24419 HAS SOPS 24419 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15037.419
AT ITER 2868 NEW BEST:: SOT 104265 SOS 24369 HAS SOPS 24369 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15037.369
AT ITER 2879 NEW BEST:: SOT 104265 SOS 24367 HAS SOPS 24367 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15035.367
AT ITER 2883 NEW BEST:: SOT 104259 SOS 24372 HAS SOPS 24372 HAS SOUS 15010 HAS SOUPS 15010 WITH SCORE 15034.372
AT ITER 2904 NEW BEST:: SOT 104272 SOS 24306 HAS SOPS 24306 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15016.306
AT ITER 2912 NEW BEST:: SOT 104233 SOS 24228 HAS SOPS 24228 HAS SOUS 14953 HAS SOUPS 14953 WITH SCORE 14977.228
AT ITER 2948 NEW BEST:: SOT 104202 SOS 24135 HAS SOPS 24135 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14919.135
AT ITER 2979 NEW BEST:: SOT 104115 SOS 24067 HAS SOPS 24067 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14851.067
AT ITER 2988 NEW BEST:: SOT 104095 SOS 24027 HAS SOPS 24027 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14808.027
AT ITER 2991 NEW BEST:: SOT 104091 SOS 24019 HAS SOPS 24019 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14800.019
AT ITER 3003 NEW BEST:: SOT 104054 SOS 23982 HAS SOPS 23982 HAS SOUS 14771 HAS SOUPS 14771 WITH SCORE 14794.982
AT ITER 3018 NEW BEST:: SOT 104027 SOS 23928 HAS SOPS 23928 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14740.928
AT ITER 3033 NEW BEST:: SOT 104022 SOS 23923 HAS SOPS 23923 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14730.923
AT ITER 3093 NEW BEST:: SOT 103994 SOS 23867 HAS SOPS 23867 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14702.867
AT ITER 3119 NEW BEST:: SOT 103989 SOS 23857 HAS SOPS 23857 HAS SOUS 14669 HAS SOUPS 14669 WITH SCORE 14692.857
AT ITER 3123 NEW BEST:: SOT 103988 SOS 23902 HAS SOPS 23902 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14686.902
AT ITER 3173 NEW BEST:: SOT 103975 SOS 23889 HAS SOPS 23889 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14681.889
AT ITER 3179 NEW BEST:: SOT 103955 SOS 23859 HAS SOPS 23859 HAS SOUS 14638 HAS SOUPS 14638 WITH SCORE 14661.859
AT ITER 3181 NEW BEST:: SOT 103954 SOS 23858 HAS SOPS 23858 HAS SOUS 14636 HAS SOUPS 14636 WITH SCORE 14659.858
AT ITER 3206 NEW BEST:: SOT 103972 SOS 23876 HAS SOPS 23876 HAS SOUS 14632 HAS SOUPS 14632 WITH SCORE 14655.876
AT ITER 3254 NEW BEST:: SOT 103967 SOS 23871 HAS SOPS 23871 HAS SOUS 14627 HAS SOUPS 14627 WITH SCORE 14650.871
AT ITER 3313 NEW BEST:: SOT 103965 SOS 23869 HAS SOPS 23869 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14648.869
AT ITER 3323 NEW BEST:: SOT 103978 SOS 23845 HAS SOPS 23845 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14624.845
AT ITER 3371 NEW BEST:: SOT 103967 SOS 23848 HAS SOPS 23848 HAS SOUS 14578 HAS SOUPS 14578 WITH SCORE 14601.848
AT ITER 3447 NEW BEST:: SOT 103962 SOS 23838 HAS SOPS 23838 HAS SOUS 14568 HAS SOUPS 14568 WITH SCORE 14591.838
AT ITER 3448 NEW BEST:: SOT 103953 SOS 23829 HAS SOPS 23829 HAS SOUS 14559 HAS SOUPS 14559 WITH SCORE 14582.829
AT ITER 3449 NEW BEST:: SOT 103952 SOS 23828 HAS SOPS 23828 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14581.828
AT ITER 3452 NEW BEST:: SOT 103956 SOS 23809 HAS SOPS 23809 HAS SOUS 14534 HAS SOUPS 14534 WITH SCORE 14557.809
AT ITER 3482 NEW BEST:: SOT 103929 SOS 23782 HAS SOPS 23782 HAS SOUS 14534 HAS SOUPS 14534 WITH SCORE 14557.782
AT ITER 3545 NEW BEST:: SOT 103869 SOS 23722 HAS SOPS 23722 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14539.722
AT ITER 3585 NEW BEST:: SOT 103864 SOS 23717 HAS SOPS 23717 HAS SOUS 14511 HAS SOUPS 14511 WITH SCORE 14534.717
AT ITER 3602 NEW BEST:: SOT 103856 SOS 23709 HAS SOPS 23709 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14517.709
AT ITER 3625 NEW BEST:: SOT 103846 SOS 23699 HAS SOPS 23699 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14507.699
AT ITER 3632 NEW BEST:: SOT 103802 SOS 23611 HAS SOPS 23611 HAS SOUS 14440 HAS SOUPS 14440 WITH SCORE 14463.611
AT ITER 3651 NEW BEST:: SOT 103801 SOS 23609 HAS SOPS 23609 HAS SOUS 14438 HAS SOUPS 14438 WITH SCORE 14461.609
AT ITER 3652 NEW BEST:: SOT 103813 SOS 23581 HAS SOPS 23581 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14445.581
AT ITER 3655 NEW BEST:: SOT 103797 SOS 23566 HAS SOPS 23566 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14430.566
AT ITER 3693 NEW BEST:: SOT 103799 SOS 23544 HAS SOPS 23544 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14409.544
AT ITER 3712 NEW BEST:: SOT 103797 SOS 23540 HAS SOPS 23540 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14403.54
AT ITER 3720 NEW BEST:: SOT 103787 SOS 23530 HAS SOPS 23530 HAS SOUS 14345 HAS SOUPS 14345 WITH SCORE 14368.53
AT ITER 3726 NEW BEST:: SOT 103747 SOS 23465 HAS SOPS 23465 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14328.465
AT ITER 3727 NEW BEST:: SOT 103723 SOS 23441 HAS SOPS 23441 HAS SOUS 14301 HAS SOUPS 14301 WITH SCORE 14324.441
AT ITER 3735 NEW BEST:: SOT 103799 SOS 23474 HAS SOPS 23474 HAS SOUS 14295 HAS SOUPS 14295 WITH SCORE 14318.474
AT ITER 3789 NEW BEST:: SOT 103799 SOS 23462 HAS SOPS 23462 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14302.462
AT ITER 3845 NEW BEST:: SOT 103781 SOS 23435 HAS SOPS 23435 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14275.435
AT ITER 3858 NEW BEST:: SOT 103776 SOS 23425 HAS SOPS 23425 HAS SOUS 14242 HAS SOUPS 14242 WITH SCORE 14265.425
AT ITER 3860 NEW BEST:: SOT 103757 SOS 23406 HAS SOPS 23406 HAS SOUS 14223 HAS SOUPS 14223 WITH SCORE 14246.406
AT ITER 3879 NEW BEST:: SOT 103757 SOS 23406 HAS SOPS 23406 HAS SOUS 14212 HAS SOUPS 14212 WITH SCORE 14235.406
AT ITER 3882 NEW BEST:: SOT 103762 SOS 23445 HAS SOPS 23445 HAS SOUS 14208 HAS SOUPS 14208 WITH SCORE 14231.445
AT ITER 3892 NEW BEST:: SOT 103746 SOS 23413 HAS SOPS 23413 HAS SOUS 14179 HAS SOUPS 14179 WITH SCORE 14202.413
AT ITER 3921 NEW BEST:: SOT 103740 SOS 23401 HAS SOPS 23401 HAS SOUS 14167 HAS SOUPS 14167 WITH SCORE 14190.401
AT ITER 3924 NEW BEST:: SOT 103740 SOS 23400 HAS SOPS 23400 HAS SOUS 14166 HAS SOUPS 14166 WITH SCORE 14189.4
AT ITER 3932 NEW BEST:: SOT 103720 SOS 23295 HAS SOPS 23295 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14165.295
AT ITER 3935 NEW BEST:: SOT 103710 SOS 23275 HAS SOPS 23275 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14155.275
AT ITER 3944 NEW BEST:: SOT 103710 SOS 23265 HAS SOPS 23265 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14145.265
AT ITER 3947 NEW BEST:: SOT 103714 SOS 23259 HAS SOPS 23259 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14139.259
AT ITER 3961 NEW BEST:: SOT 103714 SOS 23253 HAS SOPS 23253 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14139.253
AT ITER 3964 NEW BEST:: SOT 103713 SOS 23251 HAS SOPS 23251 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14137.251
AT ITER 3983 NEW BEST:: SOT 103718 SOS 23250 HAS SOPS 23250 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14136.25
AT ITER 4028 NEW BEST:: SOT 103697 SOS 23232 HAS SOPS 23232 HAS SOUS 14095 HAS SOUPS 14095 WITH SCORE 14118.232
AT ITER 4103 NEW BEST:: SOT 103667 SOS 23172 HAS SOPS 23172 HAS SOUS 14049 HAS SOUPS 14049 WITH SCORE 14072.172
AT ITER 4127 NEW BEST:: SOT 103672 SOS 23168 HAS SOPS 23168 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14068.168
AT ITER 4132 NEW BEST:: SOT 103607 SOS 23038 HAS SOPS 23038 HAS SOUS 13980 HAS SOUPS 13980 WITH SCORE 14003.038
AT ITER 4134 NEW BEST:: SOT 103593 SOS 22992 HAS SOPS 22992 HAS SOUS 13948 HAS SOUPS 13948 WITH SCORE 13970.992
AT ITER 4140 NEW BEST:: SOT 103590 SOS 22986 HAS SOPS 22986 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13964.986
AT ITER 4156 NEW BEST:: SOT 103571 SOS 22948 HAS SOPS 22948 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13954.948
AT ITER 4164 NEW BEST:: SOT 103380 SOS 22768 HAS SOPS 22768 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13863.768
AT ITER 4177 NEW BEST:: SOT 103380 SOS 22768 HAS SOPS 22768 HAS SOUS 13840 HAS SOUPS 13840 WITH SCORE 13862.768
AT ITER 4179 NEW BEST:: SOT 103378 SOS 22764 HAS SOPS 22764 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13858.764
AT ITER 4182 NEW BEST:: SOT 103378 SOS 22764 HAS SOPS 22764 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13853.764
AT ITER 4225 NEW BEST:: SOT 103377 SOS 22762 HAS SOPS 22762 HAS SOUS 13829 HAS SOUPS 13829 WITH SCORE 13851.762
AT ITER 4238 NEW BEST:: SOT 103321 SOS 22650 HAS SOPS 22650 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13795.65
AT ITER 4249 NEW BEST:: SOT 103321 SOS 22595 HAS SOPS 22595 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13795.595
AT ITER 4294 NEW BEST:: SOT 103304 SOS 22993 HAS SOPS 22993 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13788.993
AT ITER 4312 NEW BEST:: SOT 103228 SOS 22855 HAS SOPS 22855 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13715.855
AT ITER 4392 NEW BEST:: SOT 103226 SOS 22851 HAS SOPS 22851 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13713.851
AT ITER 4404 NEW BEST:: SOT 103224 SOS 22847 HAS SOPS 22847 HAS SOUS 13687 HAS SOUPS 13687 WITH SCORE 13709.847
AT ITER 4407 NEW BEST:: SOT 103226 SOS 22827 HAS SOPS 22827 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13689.827
AT ITER 4435 NEW BEST:: SOT 103202 SOS 22694 HAS SOPS 22694 HAS SOUS 13667 HAS SOUPS 13667 WITH SCORE 13689.694
AT ITER 4456 NEW BEST:: SOT 103044 SOS 22493 HAS SOPS 22493 HAS SOUS 13581 HAS SOUPS 13581 WITH SCORE 13603.493
AT ITER 4457 NEW BEST:: SOT 103002 SOS 22493 HAS SOPS 22493 HAS SOUS 13574 HAS SOUPS 13574 WITH SCORE 13596.493
AT ITER 4479 NEW BEST:: SOT 102981 SOS 22451 HAS SOPS 22451 HAS SOUS 13574 HAS SOUPS 13574 WITH SCORE 13596.451
AT ITER 4511 NEW BEST:: SOT 102936 SOS 22406 HAS SOPS 22406 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13595.406
AT ITER 4539 NEW BEST:: SOT 102936 SOS 22404 HAS SOPS 22404 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13595.404
AT ITER 4546 NEW BEST:: SOT 102934 SOS 22400 HAS SOPS 22400 HAS SOUS 13569 HAS SOUPS 13569 WITH SCORE 13591.4
AT ITER 4582 NEW BEST:: SOT 102963 SOS 22429 HAS SOPS 22429 HAS SOUS 13564 HAS SOUPS 13564 WITH SCORE 13586.429
AT ITER 4660 NEW BEST:: SOT 102993 SOS 22489 HAS SOPS 22489 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13566.489
AT ITER 4674 NEW BEST:: SOT 102993 SOS 22425 HAS SOPS 22425 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13566.425
AT ITER 4686 NEW BEST:: SOT 103023 SOS 22460 HAS SOPS 22460 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13549.46
AT ITER 4733 NEW BEST:: SOT 103023 SOS 22460 HAS SOPS 22460 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13538.46
AT ITER 4740 NEW BEST:: SOT 103006 SOS 22466 HAS SOPS 22466 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13524.466
AT ITER 4827 NEW BEST:: SOT 103017 SOS 22406 HAS SOPS 22406 HAS SOUS 13454 HAS SOUPS 13454 WITH SCORE 13476.406
AT ITER 4891 NEW BEST:: SOT 103017 SOS 22410 HAS SOPS 22410 HAS SOUS 13452 HAS SOUPS 13452 WITH SCORE 13474.41
AT ITER 4896 NEW BEST:: SOT 102969 SOS 22314 HAS SOPS 22314 HAS SOUS 13431 HAS SOUPS 13431 WITH SCORE 13453.314
AT ITER 4912 NEW BEST:: SOT 102922 SOS 22445 HAS SOPS 22445 HAS SOUS 13399 HAS SOUPS 13399 WITH SCORE 13421.445
AT ITER 4930 NEW BEST:: SOT 102912 SOS 22430 HAS SOPS 22430 HAS SOUS 13389 HAS SOUPS 13389 WITH SCORE 13411.43
AT ITER 4959 NEW BEST:: SOT 102812 SOS 22698 HAS SOPS 22698 HAS SOUS 13364 HAS SOUPS 13364 WITH SCORE 13386.698
AT ITER 4984 NEW BEST:: SOT 102812 SOS 22548 HAS SOPS 22548 HAS SOUS 13354 HAS SOUPS 13354 WITH SCORE 13376.548
Bounds file is: CTLFireability.xml
PROPERTY: SmartHome-PT-15-CTLFireability-00 ( (EF( (AX( ( ((potential((tk(P192)>=1) & (tk(P423)>=1)))) & ((potential((tk(P328)>=1)))) ))))) | ( (AU( (! ((potential((tk(P257)>=1))))) , ( ((potential((tk(P111)>=1)))) & ((potential((tk(P252)>=1)))) ) )) & (AF( (! ( ((potential((tk(P298)>=1)))) & ((potential((tk(P287)>=1) & (tk(P422)>=1)))) )))) ) )
PROPERTY: SmartHome-PT-15-CTLFireability-01 (! ( (AG( (! ((potential((tk(P347)>=1))))))) & (EU( (! ((potential((tk(P26)>=1))))) , (! ((potential((tk(P327)>=1))))) )) ))
PROPERTY: SmartHome-PT-15-CTLFireability-02 (EU( ( ( (! ((potential((tk(P303)>=1))))) | ((potential((tk(P287)>=1) & (tk(P422)>=1)))) ) & (! ( ((potential((tk(P207)>=1)))) & ((potential((tk(P104)>=1)))) )) ) , ( ( ( ((potential((tk(P314)>=1)))) | ((potential((tk(P420)>=1) & (tk(P412)>=1) & (tk(P416)>=1)))) ) | ( ((potential((tk(P311)>=1)))) | ((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)))) ) ) & (EF( ((potential((tk(P13)>=1)))))) ) ))
PROPERTY: SmartHome-PT-15-CTLFireability-03 (EF( (AX( (EG( ((potential((tk(P296)>=1))))))))))
PROPERTY: SmartHome-PT-15-CTLFireability-04 ( (! ( ( ( ( ((potential((tk(P358)>=1)))) | ((potential((tk(P110)>=1)))) ) & ( ((potential((tk(P334)>=1)))) & ((potential((tk(P36)>=1)))) ) ) & ((potential((tk(P152)>=1)))) ) | (EF( ((potential((tk(P140)>=1)))))) )) | (EU( ((potential((tk(P21)>=1)))) , (EF( ((potential((tk(P260)>=1)))))) )) )
PROPERTY: SmartHome-PT-15-CTLFireability-05 (EF( ( ( (EX( ((potential((tk(P174)>=1)))))) & (! (! ((potential((tk(P91)>=1)))))) ) | (AF( ( ((potential((tk(P268)>=1)))) & ((potential((tk(P325)>=1)))) ))) )))
PROPERTY: SmartHome-PT-15-CTLFireability-06 (AF( (! (EF( ((potential((tk(P68)>=1) & (tk(P324)>=1)))))))))
PROPERTY: SmartHome-PT-15-CTLFireability-07 (EF( ( (AG( ((potential((tk(P311)>=1)))))) | ( ((potential((tk(P90)>=1)))) & ((potential((tk(P166)>=1)))) ) )))
PROPERTY: SmartHome-PT-15-CTLFireability-08 ( ( ( (AX( ((potential((tk(P185)>=1)))))) & ( ( ( ((potential((tk(P97)>=1)))) | ((potential((tk(P354)>=1)))) ) & ((potential((tk(P354)>=1)))) ) & ( ((potential((tk(P173)>=1)))) & ( ((potential((tk(P407)>=1)))) | ((potential((tk(P274)>=1)))) ) ) ) ) | (EU( ((potential((tk(P158)>=1)))) , ( ((potential((tk(P161)>=1)))) & ((potential((tk(P139)>=1)))) ) )) ) | ( (EG( (AF( ((potential((tk(P239)>=1) & (tk(P364)>=1)))))))) | ( ( (AF( ((potential((tk(P85)>=1)))))) | (EF( ((potential((tk(P92)>=1)))))) ) & (! ( ( ((potential((tk(P307)>=1)))) & ((potential((tk(P239)>=1) & (tk(P404)>=1)))) ) & ( ((potential((tk(P213)>=1)))) | ((potential((tk(P227)>=1)))) ) )) ) ) )
PROPERTY: SmartHome-PT-15-CTLFireability-09 (EU( (! ((potential((tk(P226)>=1))))) , (! ( (! ((potential((tk(P99)>=1) & (tk(P411)>=1))))) | ( ((potential((tk(P60)>=1)))) & ((potential((tk(P267)>=1)))) ) )) ))
PROPERTY: SmartHome-PT-15-CTLFireability-10 (EF( (EF( ( ( ((potential((tk(P130)>=1) & (tk(P414)>=1)))) | ((potential((tk(P169)>=1)))) ) & (! ((potential((tk(P107)>=1))))) )))))
PROPERTY: SmartHome-PT-15-CTLFireability-11 (EF( ((potential((tk(P230)>=1))))))
PROPERTY: SmartHome-PT-15-CTLFireability-12 (EF( ( ((potential((tk(P231)>=1)))) & ( (! ((potential((tk(P173)>=1))))) | (EG( ((potential((tk(P240)>=1)))))) ) )))
PROPERTY: SmartHome-PT-15-CTLFireability-13 (AG( (! ( (EG( ((potential((tk(P269)>=1)))))) | (EX( ((potential((tk(P56)>=1)))))) ))))
PROPERTY: SmartHome-PT-15-CTLFireability-14 (EF( (EX( ((potential((tk(P180)>=1))))))))
PROPERTY: SmartHome-PT-15-CTLFireability-15 (AX( (EG( (EF( ((potential((tk(P130)>=1))))))))))
BK_STOP 1590473308019
--------------------
content from stderr:
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 459 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-15"
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-15, 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-159033538300116"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-15.tgz
mv SmartHome-PT-15 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 '
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 ;