About the Execution of smart for HospitalTriage-PT-none
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.990 | 3600000.00 | 3599030.00 | 0.00 | [undef] | Time out reached |
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.r093-oct2-158940140100132.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 HospitalTriage-PT-none, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100132
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 264K
-rw-r--r-- 1 mcc users 3.7K Apr 4 20:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 20:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 10:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 4 10:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 3 21:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 3 21:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 3 14:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 3 14:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 78K Mar 24 05:37 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 HospitalTriage-PT-none-CTLFireability-00
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-01
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-02
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-03
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-04
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-05
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-06
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-07
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-08
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-09
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-10
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-11
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-12
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-13
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-14
FORMULA_NAME HospitalTriage-PT-none-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589610218052
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HospitalTriage (PT), instance none
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: 245 places, 228 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 37187 SOS 16015 HAS SOPS 16015 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12211.015
AT ITER 26 NEW BEST:: SOT 37187 SOS 16001 HAS SOPS 16001 HAS SOUS 12181 HAS SOUPS 12181 WITH SCORE 12197.001
AT ITER 31 NEW BEST:: SOT 37187 SOS 15985 HAS SOPS 15985 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12180.985
AT ITER 33 NEW BEST:: SOT 37186 SOS 15982 HAS SOPS 15982 HAS SOUS 12162 HAS SOUPS 12162 WITH SCORE 12177.982
AT ITER 42 NEW BEST:: SOT 37147 SOS 15943 HAS SOPS 15943 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12080.943
AT ITER 44 NEW BEST:: SOT 37147 SOS 15928 HAS SOPS 15928 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12080.928
AT ITER 53 NEW BEST:: SOT 37147 SOS 15915 HAS SOPS 15915 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12080.915
AT ITER 68 NEW BEST:: SOT 37142 SOS 15910 HAS SOPS 15910 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12077.91
AT ITER 69 NEW BEST:: SOT 37142 SOS 15891 HAS SOPS 15891 HAS SOUS 12062 HAS SOUPS 12062 WITH SCORE 12077.891
AT ITER 70 NEW BEST:: SOT 37142 SOS 15881 HAS SOPS 15881 HAS SOUS 12052 HAS SOUPS 12052 WITH SCORE 12067.881
AT ITER 79 NEW BEST:: SOT 37119 SOS 15883 HAS SOPS 15883 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12046.883
AT ITER 81 NEW BEST:: SOT 37077 SOS 15832 HAS SOPS 15832 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12014.832
AT ITER 86 NEW BEST:: SOT 37077 SOS 15832 HAS SOPS 15832 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11995.832
AT ITER 90 NEW BEST:: SOT 37065 SOS 15808 HAS SOPS 15808 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11971.808
AT ITER 94 NEW BEST:: SOT 37030 SOS 15773 HAS SOPS 15773 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11898.773
AT ITER 102 NEW BEST:: SOT 37029 SOS 15273 HAS SOPS 15273 HAS SOUS 11834 HAS SOUPS 11834 WITH SCORE 11849.273
AT ITER 118 NEW BEST:: SOT 37042 SOS 15315 HAS SOPS 15315 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11830.315
AT ITER 125 NEW BEST:: SOT 37042 SOS 15315 HAS SOPS 15315 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11823.315
AT ITER 128 NEW BEST:: SOT 37018 SOS 15267 HAS SOPS 15267 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11775.267
AT ITER 129 NEW BEST:: SOT 37060 SOS 15301 HAS SOPS 15301 HAS SOUS 11752 HAS SOUPS 11752 WITH SCORE 11767.301
AT ITER 167 NEW BEST:: SOT 37060 SOS 15301 HAS SOPS 15301 HAS SOUS 11729 HAS SOUPS 11729 WITH SCORE 11744.301
AT ITER 190 NEW BEST:: SOT 37060 SOS 15301 HAS SOPS 15301 HAS SOUS 11722 HAS SOUPS 11722 WITH SCORE 11737.301
AT ITER 191 NEW BEST:: SOT 37064 SOS 15299 HAS SOPS 15299 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11728.299
AT ITER 200 NEW BEST:: SOT 37053 SOS 15285 HAS SOPS 15285 HAS SOUS 11709 HAS SOUPS 11709 WITH SCORE 11724.285
AT ITER 204 NEW BEST:: SOT 37069 SOS 15102 HAS SOPS 15102 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11716.102
AT ITER 211 NEW BEST:: SOT 37052 SOS 15084 HAS SOPS 15084 HAS SOUS 11667 HAS SOUPS 11667 WITH SCORE 11682.084
AT ITER 213 NEW BEST:: SOT 37052 SOS 15079 HAS SOPS 15079 HAS SOUS 11667 HAS SOUPS 11667 WITH SCORE 11682.079
AT ITER 228 NEW BEST:: SOT 37046 SOS 14947 HAS SOPS 14947 HAS SOUS 11655 HAS SOUPS 11655 WITH SCORE 11669.947
AT ITER 243 NEW BEST:: SOT 37040 SOS 14935 HAS SOPS 14935 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11651.935
AT ITER 244 NEW BEST:: SOT 37040 SOS 14931 HAS SOPS 14931 HAS SOUS 11630 HAS SOUPS 11630 WITH SCORE 11644.931
AT ITER 247 NEW BEST:: SOT 37002 SOS 14881 HAS SOPS 14881 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11594.881
AT ITER 267 NEW BEST:: SOT 36968 SOS 14847 HAS SOPS 14847 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11583.847
AT ITER 268 NEW BEST:: SOT 36971 SOS 14863 HAS SOPS 14863 HAS SOUS 11547 HAS SOUPS 11547 WITH SCORE 11561.863
AT ITER 269 NEW BEST:: SOT 36950 SOS 14842 HAS SOPS 14842 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11518.842
AT ITER 277 NEW BEST:: SOT 36924 SOS 14822 HAS SOPS 14822 HAS SOUS 11430 HAS SOUPS 11430 WITH SCORE 11444.822
AT ITER 282 NEW BEST:: SOT 36922 SOS 14820 HAS SOPS 14820 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11442.82
AT ITER 288 NEW BEST:: SOT 36914 SOS 14812 HAS SOPS 14812 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11416.812
AT ITER 293 NEW BEST:: SOT 36857 SOS 14689 HAS SOPS 14689 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11298.689
AT ITER 294 NEW BEST:: SOT 36844 SOS 14663 HAS SOPS 14663 HAS SOUS 11258 HAS SOUPS 11258 WITH SCORE 11272.663
AT ITER 302 NEW BEST:: SOT 36844 SOS 14647 HAS SOPS 14647 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11260.647
AT ITER 313 NEW BEST:: SOT 36760 SOS 14596 HAS SOPS 14596 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11178.596
AT ITER 320 NEW BEST:: SOT 36760 SOS 14592 HAS SOPS 14592 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11178.592
AT ITER 330 NEW BEST:: SOT 36746 SOS 14582 HAS SOPS 14582 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11178.582
AT ITER 336 NEW BEST:: SOT 36731 SOS 14479 HAS SOPS 14479 HAS SOUS 11155 HAS SOUPS 11155 WITH SCORE 11169.479
AT ITER 338 NEW BEST:: SOT 36731 SOS 14479 HAS SOPS 14479 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11168.479
AT ITER 341 NEW BEST:: SOT 36731 SOS 14461 HAS SOPS 14461 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11150.461
AT ITER 342 NEW BEST:: SOT 36740 SOS 14479 HAS SOPS 14479 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11140.479
AT ITER 343 NEW BEST:: SOT 36723 SOS 14493 HAS SOPS 14493 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11106.493
AT ITER 349 NEW BEST:: SOT 36723 SOS 14493 HAS SOPS 14493 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11090.493
AT ITER 369 NEW BEST:: SOT 36717 SOS 14487 HAS SOPS 14487 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11084.487
AT ITER 420 NEW BEST:: SOT 36716 SOS 14485 HAS SOPS 14485 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11084.485
AT ITER 432 NEW BEST:: SOT 36693 SOS 14439 HAS SOPS 14439 HAS SOUS 11029 HAS SOUPS 11029 WITH SCORE 11043.439
AT ITER 437 NEW BEST:: SOT 36685 SOS 14431 HAS SOPS 14431 HAS SOUS 11023 HAS SOUPS 11023 WITH SCORE 11037.431
AT ITER 441 NEW BEST:: SOT 34728 SOS 20984 HAS SOPS 20984 HAS SOUS 10071 HAS SOUPS 10071 WITH SCORE 10091.984
AT ITER 455 NEW BEST:: SOT 34669 SOS 20925 HAS SOPS 20925 HAS SOUS 10012 HAS SOUPS 10012 WITH SCORE 10032.925
AT ITER 493 NEW BEST:: SOT 34655 SOS 20911 HAS SOPS 20911 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 10004.911
AT ITER 495 NEW BEST:: SOT 34608 SOS 15231 HAS SOPS 15231 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9901.231
AT ITER 501 NEW BEST:: SOT 34578 SOS 15201 HAS SOPS 15201 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9848.201
AT ITER 504 NEW BEST:: SOT 34578 SOS 15197 HAS SOPS 15197 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9844.197
AT ITER 508 NEW BEST:: SOT 34589 SOS 15132 HAS SOPS 15132 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9829.132
AT ITER 517 NEW BEST:: SOT 34600 SOS 15143 HAS SOPS 15143 HAS SOUS 9808 HAS SOUPS 9808 WITH SCORE 9823.143
AT ITER 518 NEW BEST:: SOT 34600 SOS 15140 HAS SOPS 15140 HAS SOUS 9805 HAS SOUPS 9805 WITH SCORE 9820.14
AT ITER 523 NEW BEST:: SOT 34592 SOS 15132 HAS SOPS 15132 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9804.132
AT ITER 535 NEW BEST:: SOT 34577 SOS 15117 HAS SOPS 15117 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9764.117
AT ITER 538 NEW BEST:: SOT 34555 SOS 13126 HAS SOPS 13126 HAS SOUS 9495 HAS SOUPS 9495 WITH SCORE 9508.126
AT ITER 552 NEW BEST:: SOT 34540 SOS 13111 HAS SOPS 13111 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9493.111
AT ITER 562 NEW BEST:: SOT 34488 SOS 13934 HAS SOPS 13934 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9488.934
AT ITER 566 NEW BEST:: SOT 34465 SOS 13911 HAS SOPS 13911 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9456.911
AT ITER 572 NEW BEST:: SOT 34461 SOS 13907 HAS SOPS 13907 HAS SOUS 9435 HAS SOUPS 9435 WITH SCORE 9448.907
AT ITER 580 NEW BEST:: SOT 34457 SOS 13903 HAS SOPS 13903 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9446.903
AT ITER 596 NEW BEST:: SOT 34457 SOS 13714 HAS SOPS 13714 HAS SOUS 9424 HAS SOUPS 9424 WITH SCORE 9437.714
AT ITER 602 NEW BEST:: SOT 34442 SOS 13699 HAS SOPS 13699 HAS SOUS 9409 HAS SOUPS 9409 WITH SCORE 9422.699
AT ITER 609 NEW BEST:: SOT 34430 SOS 13687 HAS SOPS 13687 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9408.687
AT ITER 618 NEW BEST:: SOT 34448 SOS 13705 HAS SOPS 13705 HAS SOUS 9388 HAS SOUPS 9388 WITH SCORE 9401.705
AT ITER 622 NEW BEST:: SOT 34445 SOS 13702 HAS SOPS 13702 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9395.702
AT ITER 624 NEW BEST:: SOT 34448 SOS 13705 HAS SOPS 13705 HAS SOUS 9354 HAS SOUPS 9354 WITH SCORE 9367.705
AT ITER 629 NEW BEST:: SOT 34461 SOS 13079 HAS SOPS 13079 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9347.079
AT ITER 632 NEW BEST:: SOT 34447 SOS 13065 HAS SOPS 13065 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9294.065
AT ITER 635 NEW BEST:: SOT 34447 SOS 13063 HAS SOPS 13063 HAS SOUS 9279 HAS SOUPS 9279 WITH SCORE 9292.063
AT ITER 649 NEW BEST:: SOT 34424 SOS 13040 HAS SOPS 13040 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9246.04
AT ITER 657 NEW BEST:: SOT 34427 SOS 12924 HAS SOPS 12924 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9221.924
AT ITER 665 NEW BEST:: SOT 34407 SOS 12917 HAS SOPS 12917 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9201.917
AT ITER 678 NEW BEST:: SOT 34401 SOS 12884 HAS SOPS 12884 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9168.884
AT ITER 709 NEW BEST:: SOT 34401 SOS 12867 HAS SOPS 12867 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9168.867
AT ITER 770 NEW BEST:: SOT 34373 SOS 12844 HAS SOPS 12844 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9108.844
AT ITER 776 NEW BEST:: SOT 34369 SOS 12840 HAS SOPS 12840 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9083.84
AT ITER 785 NEW BEST:: SOT 34343 SOS 12834 HAS SOPS 12834 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9077.834
AT ITER 796 NEW BEST:: SOT 34373 SOS 12713 HAS SOPS 12713 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9075.713
AT ITER 799 NEW BEST:: SOT 34385 SOS 12725 HAS SOPS 12725 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9062.725
AT ITER 830 NEW BEST:: SOT 34341 SOS 12937 HAS SOPS 12937 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9037.937
AT ITER 834 NEW BEST:: SOT 34336 SOS 12932 HAS SOPS 12932 HAS SOUS 9015 HAS SOUPS 9015 WITH SCORE 9027.932
AT ITER 845 NEW BEST:: SOT 34323 SOS 12919 HAS SOPS 12919 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9001.919
AT ITER 849 NEW BEST:: SOT 34313 SOS 12899 HAS SOPS 12899 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 8998.899
AT ITER 852 NEW BEST:: SOT 34295 SOS 12881 HAS SOPS 12881 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8983.881
AT ITER 859 NEW BEST:: SOT 34293 SOS 12879 HAS SOPS 12879 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8928.879
AT ITER 884 NEW BEST:: SOT 34292 SOS 12877 HAS SOPS 12877 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8926.877
AT ITER 892 NEW BEST:: SOT 34292 SOS 12865 HAS SOPS 12865 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8924.865
AT ITER 894 NEW BEST:: SOT 34251 SOS 12824 HAS SOPS 12824 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8857.824
AT ITER 907 NEW BEST:: SOT 34243 SOS 12755 HAS SOPS 12755 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8795.755
AT ITER 910 NEW BEST:: SOT 34243 SOS 12755 HAS SOPS 12755 HAS SOUS 8750 HAS SOUPS 8750 WITH SCORE 8762.755
AT ITER 916 NEW BEST:: SOT 34242 SOS 12754 HAS SOPS 12754 HAS SOUS 8749 HAS SOUPS 8749 WITH SCORE 8761.754
AT ITER 918 NEW BEST:: SOT 34242 SOS 12754 HAS SOPS 12754 HAS SOUS 8748 HAS SOUPS 8748 WITH SCORE 8760.754
AT ITER 923 NEW BEST:: SOT 34231 SOS 12732 HAS SOPS 12732 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8738.732
AT ITER 933 NEW BEST:: SOT 34225 SOS 12726 HAS SOPS 12726 HAS SOUS 8726 HAS SOUPS 8726 WITH SCORE 8738.726
AT ITER 935 NEW BEST:: SOT 34223 SOS 12724 HAS SOPS 12724 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8734.724
AT ITER 965 NEW BEST:: SOT 34223 SOS 12724 HAS SOPS 12724 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8726.724
AT ITER 969 NEW BEST:: SOT 34223 SOS 12724 HAS SOPS 12724 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8725.724
AT ITER 994 NEW BEST:: SOT 34245 SOS 12667 HAS SOPS 12667 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8668.667
AT ITER 999 NEW BEST:: SOT 34231 SOS 12653 HAS SOPS 12653 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8643.653
AT ITER 1013 NEW BEST:: SOT 34226 SOS 12648 HAS SOPS 12648 HAS SOUS 8584 HAS SOUPS 8584 WITH SCORE 8596.648
AT ITER 1038 NEW BEST:: SOT 34222 SOS 12646 HAS SOPS 12646 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8592.646
AT ITER 1057 NEW BEST:: SOT 34196 SOS 12611 HAS SOPS 12611 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8561.611
AT ITER 1062 NEW BEST:: SOT 34169 SOS 12621 HAS SOPS 12621 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8557.621
AT ITER 1067 NEW BEST:: SOT 34182 SOS 12634 HAS SOPS 12634 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8555.634
AT ITER 1081 NEW BEST:: SOT 34187 SOS 12640 HAS SOPS 12640 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8547.64
AT ITER 1090 NEW BEST:: SOT 34187 SOS 12638 HAS SOPS 12638 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8546.638
AT ITER 1091 NEW BEST:: SOT 34169 SOS 12620 HAS SOPS 12620 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8510.62
AT ITER 1096 NEW BEST:: SOT 34169 SOS 12635 HAS SOPS 12635 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8501.635
AT ITER 1135 NEW BEST:: SOT 34166 SOS 12632 HAS SOPS 12632 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8498.632
AT ITER 1138 NEW BEST:: SOT 34161 SOS 12627 HAS SOPS 12627 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8493.627
AT ITER 1143 NEW BEST:: SOT 34161 SOS 12613 HAS SOPS 12613 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8493.613
AT ITER 1148 NEW BEST:: SOT 34153 SOS 12577 HAS SOPS 12577 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8465.577
AT ITER 1149 NEW BEST:: SOT 34154 SOS 12579 HAS SOPS 12579 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8437.579
AT ITER 1152 NEW BEST:: SOT 34154 SOS 12594 HAS SOPS 12594 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8425.594
AT ITER 1161 NEW BEST:: SOT 34147 SOS 12587 HAS SOPS 12587 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8416.587
AT ITER 1181 NEW BEST:: SOT 34147 SOS 12587 HAS SOPS 12587 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8384.587
AT ITER 1185 NEW BEST:: SOT 34139 SOS 12573 HAS SOPS 12573 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8373.573
AT ITER 1194 NEW BEST:: SOT 34133 SOS 12567 HAS SOPS 12567 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8367.567
AT ITER 1219 NEW BEST:: SOT 34141 SOS 12541 HAS SOPS 12541 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8363.541
AT ITER 1221 NEW BEST:: SOT 34152 SOS 12552 HAS SOPS 12552 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8356.552
AT ITER 1230 NEW BEST:: SOT 34137 SOS 12531 HAS SOPS 12531 HAS SOUS 8323 HAS SOUPS 8323 WITH SCORE 8335.531
AT ITER 1265 NEW BEST:: SOT 34122 SOS 12520 HAS SOPS 12520 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8328.52
AT ITER 1270 NEW BEST:: SOT 34114 SOS 12512 HAS SOPS 12512 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8320.512
AT ITER 1278 NEW BEST:: SOT 34095 SOS 12487 HAS SOPS 12487 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8275.487
AT ITER 1281 NEW BEST:: SOT 34074 SOS 12466 HAS SOPS 12466 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8252.466
AT ITER 1290 NEW BEST:: SOT 34071 SOS 12463 HAS SOPS 12463 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8246.463
AT ITER 1293 NEW BEST:: SOT 34071 SOS 12463 HAS SOPS 12463 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8229.463
AT ITER 1294 NEW BEST:: SOT 34068 SOS 12460 HAS SOPS 12460 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8223.46
AT ITER 1341 NEW BEST:: SOT 34067 SOS 12459 HAS SOPS 12459 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8222.459
AT ITER 1345 NEW BEST:: SOT 34058 SOS 12435 HAS SOPS 12435 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8207.435
AT ITER 1348 NEW BEST:: SOT 34058 SOS 12418 HAS SOPS 12418 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8207.418
AT ITER 1356 NEW BEST:: SOT 34057 SOS 12417 HAS SOPS 12417 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8188.417
AT ITER 1357 NEW BEST:: SOT 34029 SOS 12392 HAS SOPS 12392 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8149.392
AT ITER 1377 NEW BEST:: SOT 34015 SOS 12358 HAS SOPS 12358 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8126.358
AT ITER 1383 NEW BEST:: SOT 34009 SOS 12352 HAS SOPS 12352 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8119.352
AT ITER 1388 NEW BEST:: SOT 34009 SOS 12344 HAS SOPS 12344 HAS SOUS 8103 HAS SOUPS 8103 WITH SCORE 8115.344
AT ITER 1404 NEW BEST:: SOT 34009 SOS 12344 HAS SOPS 12344 HAS SOUS 8097 HAS SOUPS 8097 WITH SCORE 8109.344
AT ITER 1408 NEW BEST:: SOT 34009 SOS 12351 HAS SOPS 12351 HAS SOUS 8092 HAS SOUPS 8092 WITH SCORE 8104.351
AT ITER 1454 NEW BEST:: SOT 34001 SOS 12343 HAS SOPS 12343 HAS SOUS 8076 HAS SOUPS 8076 WITH SCORE 8088.343
AT ITER 1481 NEW BEST:: SOT 34000 SOS 12342 HAS SOPS 12342 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8086.342
AT ITER 1512 NEW BEST:: SOT 34017 SOS 12359 HAS SOPS 12359 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8063.359
AT ITER 1519 NEW BEST:: SOT 34010 SOS 12352 HAS SOPS 12352 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8053.352
AT ITER 1523 NEW BEST:: SOT 33996 SOS 12338 HAS SOPS 12338 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8039.338
AT ITER 1530 NEW BEST:: SOT 33990 SOS 12324 HAS SOPS 12324 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8027.324
AT ITER 1536 NEW BEST:: SOT 33983 SOS 12275 HAS SOPS 12275 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7988.275
AT ITER 1541 NEW BEST:: SOT 33984 SOS 12274 HAS SOPS 12274 HAS SOUS 7975 HAS SOUPS 7975 WITH SCORE 7987.274
AT ITER 1544 NEW BEST:: SOT 33984 SOS 12274 HAS SOPS 12274 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7986.274
AT ITER 1546 NEW BEST:: SOT 33990 SOS 12225 HAS SOPS 12225 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7974.225
AT ITER 1553 NEW BEST:: SOT 33988 SOS 12229 HAS SOPS 12229 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7960.229
AT ITER 1568 NEW BEST:: SOT 33985 SOS 11750 HAS SOPS 11750 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7947.75
AT ITER 1590 NEW BEST:: SOT 33983 SOS 11747 HAS SOPS 11747 HAS SOUS 7931 HAS SOUPS 7931 WITH SCORE 7942.747
AT ITER 1597 NEW BEST:: SOT 33983 SOS 11747 HAS SOPS 11747 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7919.747
AT ITER 1634 NEW BEST:: SOT 33958 SOS 11629 HAS SOPS 11629 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7860.629
AT ITER 1651 NEW BEST:: SOT 33965 SOS 11580 HAS SOPS 11580 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7859.58
AT ITER 1653 NEW BEST:: SOT 33960 SOS 11590 HAS SOPS 11590 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7849.59
AT ITER 1663 NEW BEST:: SOT 33958 SOS 11588 HAS SOPS 11588 HAS SOUS 7834 HAS SOUPS 7834 WITH SCORE 7845.588
AT ITER 1664 NEW BEST:: SOT 33962 SOS 11522 HAS SOPS 11522 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7841.522
AT ITER 1703 NEW BEST:: SOT 33958 SOS 11453 HAS SOPS 11453 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7827.453
AT ITER 1710 NEW BEST:: SOT 33936 SOS 11476 HAS SOPS 11476 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7815.476
AT ITER 1720 NEW BEST:: SOT 33909 SOS 11458 HAS SOPS 11458 HAS SOUS 7739 HAS SOUPS 7739 WITH SCORE 7750.458
AT ITER 1740 NEW BEST:: SOT 33907 SOS 11456 HAS SOPS 11456 HAS SOUS 7739 HAS SOUPS 7739 WITH SCORE 7750.456
AT ITER 1745 NEW BEST:: SOT 33904 SOS 11453 HAS SOPS 11453 HAS SOUS 7736 HAS SOUPS 7736 WITH SCORE 7747.453
AT ITER 1750 NEW BEST:: SOT 33899 SOS 11448 HAS SOPS 11448 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7737.448
AT ITER 1753 NEW BEST:: SOT 33884 SOS 11418 HAS SOPS 11418 HAS SOUS 7711 HAS SOUPS 7711 WITH SCORE 7722.418
AT ITER 1779 NEW BEST:: SOT 33879 SOS 11380 HAS SOPS 11380 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7712.38
AT ITER 1791 NEW BEST:: SOT 33877 SOS 11376 HAS SOPS 11376 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7708.376
AT ITER 1794 NEW BEST:: SOT 33877 SOS 11368 HAS SOPS 11368 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7708.368
AT ITER 1807 NEW BEST:: SOT 33865 SOS 11376 HAS SOPS 11376 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7664.376
AT ITER 1892 NEW BEST:: SOT 33854 SOS 11378 HAS SOPS 11378 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7656.378
AT ITER 1905 NEW BEST:: SOT 33855 SOS 11379 HAS SOPS 11379 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7651.379
AT ITER 1909 NEW BEST:: SOT 33868 SOS 11391 HAS SOPS 11391 HAS SOUS 7635 HAS SOUPS 7635 WITH SCORE 7646.391
AT ITER 1918 NEW BEST:: SOT 33868 SOS 11397 HAS SOPS 11397 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7636.397
AT ITER 1943 NEW BEST:: SOT 33868 SOS 11394 HAS SOPS 11394 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7636.394
AT ITER 1947 NEW BEST:: SOT 33860 SOS 11378 HAS SOPS 11378 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7620.378
AT ITER 1948 NEW BEST:: SOT 33857 SOS 11375 HAS SOPS 11375 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7617.375
AT ITER 1951 NEW BEST:: SOT 33832 SOS 11359 HAS SOPS 11359 HAS SOUS 7602 HAS SOUPS 7602 WITH SCORE 7613.359
AT ITER 1978 NEW BEST:: SOT 33829 SOS 11373 HAS SOPS 11373 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7605.373
AT ITER 1993 NEW BEST:: SOT 33824 SOS 11341 HAS SOPS 11341 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7595.341
AT ITER 2023 NEW BEST:: SOT 33834 SOS 11279 HAS SOPS 11279 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7584.279
AT ITER 2047 NEW BEST:: SOT 33826 SOS 11271 HAS SOPS 11271 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7578.271
AT ITER 2081 NEW BEST:: SOT 33822 SOS 11267 HAS SOPS 11267 HAS SOUS 7559 HAS SOUPS 7559 WITH SCORE 7570.267
AT ITER 2117 NEW BEST:: SOT 33804 SOS 11281 HAS SOPS 11281 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7567.281
AT ITER 2144 NEW BEST:: SOT 33813 SOS 11290 HAS SOPS 11290 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7561.29
AT ITER 2154 NEW BEST:: SOT 33809 SOS 11265 HAS SOPS 11265 HAS SOUS 7532 HAS SOUPS 7532 WITH SCORE 7543.265
AT ITER 2165 NEW BEST:: SOT 33807 SOS 11242 HAS SOPS 11242 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7518.242
AT ITER 2173 NEW BEST:: SOT 33808 SOS 11234 HAS SOPS 11234 HAS SOUS 7479 HAS SOUPS 7479 WITH SCORE 7490.234
AT ITER 2191 NEW BEST:: SOT 33808 SOS 11234 HAS SOPS 11234 HAS SOUS 7471 HAS SOUPS 7471 WITH SCORE 7482.234
AT ITER 2207 NEW BEST:: SOT 33808 SOS 11234 HAS SOPS 11234 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7470.234
AT ITER 2223 NEW BEST:: SOT 33819 SOS 11245 HAS SOPS 11245 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7466.245
AT ITER 2240 NEW BEST:: SOT 33815 SOS 11241 HAS SOPS 11241 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7462.241
AT ITER 2243 NEW BEST:: SOT 33811 SOS 11237 HAS SOPS 11237 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7447.237
AT ITER 2246 NEW BEST:: SOT 33802 SOS 11243 HAS SOPS 11243 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7423.243
AT ITER 2250 NEW BEST:: SOT 33796 SOS 11237 HAS SOPS 11237 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7413.237
AT ITER 2262 NEW BEST:: SOT 33784 SOS 11231 HAS SOPS 11231 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7389.231
AT ITER 2270 NEW BEST:: SOT 33798 SOS 11219 HAS SOPS 11219 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7380.219
AT ITER 2278 NEW BEST:: SOT 33785 SOS 11186 HAS SOPS 11186 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7347.186
AT ITER 2280 NEW BEST:: SOT 33784 SOS 11173 HAS SOPS 11173 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7334.173
AT ITER 2300 NEW BEST:: SOT 33780 SOS 11169 HAS SOPS 11169 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7326.169
AT ITER 2341 NEW BEST:: SOT 33763 SOS 11152 HAS SOPS 11152 HAS SOUS 7306 HAS SOUPS 7306 WITH SCORE 7317.152
AT ITER 2343 NEW BEST:: SOT 33763 SOS 11132 HAS SOPS 11132 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7297.132
AT ITER 2361 NEW BEST:: SOT 33763 SOS 11129 HAS SOPS 11129 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7297.129
AT ITER 2366 NEW BEST:: SOT 33758 SOS 11109 HAS SOPS 11109 HAS SOUS 7261 HAS SOUPS 7261 WITH SCORE 7272.109
AT ITER 2370 NEW BEST:: SOT 33758 SOS 11109 HAS SOPS 11109 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7271.109
AT ITER 2382 NEW BEST:: SOT 33758 SOS 11111 HAS SOPS 11111 HAS SOUS 7256 HAS SOUPS 7256 WITH SCORE 7267.111
AT ITER 2394 NEW BEST:: SOT 33744 SOS 11099 HAS SOPS 11099 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7263.099
AT ITER 2417 NEW BEST:: SOT 33722 SOS 11077 HAS SOPS 11077 HAS SOUS 7241 HAS SOUPS 7241 WITH SCORE 7252.077
AT ITER 2421 NEW BEST:: SOT 33718 SOS 11076 HAS SOPS 11076 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7251.076
AT ITER 2450 NEW BEST:: SOT 33713 SOS 11066 HAS SOPS 11066 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7241.066
AT ITER 2488 NEW BEST:: SOT 33713 SOS 11014 HAS SOPS 11014 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7189.014
AT ITER 2500 NEW BEST:: SOT 33706 SOS 10998 HAS SOPS 10998 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7184.998
AT ITER 2523 NEW BEST:: SOT 33662 SOS 11215 HAS SOPS 11215 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7167.215
AT ITER 2544 NEW BEST:: SOT 33649 SOS 11231 HAS SOPS 11231 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7164.231
AT ITER 2557 NEW BEST:: SOT 33618 SOS 11229 HAS SOPS 11229 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7124.229
AT ITER 2583 NEW BEST:: SOT 33611 SOS 11222 HAS SOPS 11222 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7101.222
AT ITER 2604 NEW BEST:: SOT 33611 SOS 11212 HAS SOPS 11212 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7091.212
AT ITER 2609 NEW BEST:: SOT 33605 SOS 11200 HAS SOPS 11200 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7079.2
AT ITER 2612 NEW BEST:: SOT 33617 SOS 11102 HAS SOPS 11102 HAS SOUS 7066 HAS SOUPS 7066 WITH SCORE 7077.102
AT ITER 2652 NEW BEST:: SOT 33613 SOS 11098 HAS SOPS 11098 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7069.098
AT ITER 2711 NEW BEST:: SOT 33622 SOS 11092 HAS SOPS 11092 HAS SOUS 7035 HAS SOUPS 7035 WITH SCORE 7046.092
AT ITER 2735 NEW BEST:: SOT 33624 SOS 11089 HAS SOPS 11089 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7045.089
AT ITER 2742 NEW BEST:: SOT 33624 SOS 11085 HAS SOPS 11085 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7041.085
AT ITER 2746 NEW BEST:: SOT 33620 SOS 11081 HAS SOPS 11081 HAS SOUS 7022 HAS SOUPS 7022 WITH SCORE 7033.081
AT ITER 2767 NEW BEST:: SOT 33618 SOS 11081 HAS SOPS 11081 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7029.081
AT ITER 2769 NEW BEST:: SOT 33618 SOS 11066 HAS SOPS 11066 HAS SOUS 7018 HAS SOUPS 7018 WITH SCORE 7029.066
AT ITER 2789 NEW BEST:: SOT 33618 SOS 11073 HAS SOPS 11073 HAS SOUS 7015 HAS SOUPS 7015 WITH SCORE 7026.073
AT ITER 2794 NEW BEST:: SOT 33610 SOS 11059 HAS SOPS 11059 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7012.059
AT ITER 2805 NEW BEST:: SOT 33603 SOS 11052 HAS SOPS 11052 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 6998.052
AT ITER 2828 NEW BEST:: SOT 33601 SOS 11048 HAS SOPS 11048 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6982.048
AT ITER 2858 NEW BEST:: SOT 33575 SOS 11036 HAS SOPS 11036 HAS SOUS 6954 HAS SOUPS 6954 WITH SCORE 6965.036
AT ITER 2883 NEW BEST:: SOT 33545 SOS 11199 HAS SOPS 11199 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6955.199
AT ITER 2894 NEW BEST:: SOT 33545 SOS 11196 HAS SOPS 11196 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6952.196
AT ITER 2939 NEW BEST:: SOT 33545 SOS 11196 HAS SOPS 11196 HAS SOUS 6938 HAS SOUPS 6938 WITH SCORE 6949.196
AT ITER 2954 NEW BEST:: SOT 33541 SOS 11192 HAS SOPS 11192 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6944.192
AT ITER 2986 NEW BEST:: SOT 33557 SOS 11166 HAS SOPS 11166 HAS SOUS 6932 HAS SOUPS 6932 WITH SCORE 6943.166
AT ITER 2992 NEW BEST:: SOT 33563 SOS 11172 HAS SOPS 11172 HAS SOUS 6929 HAS SOUPS 6929 WITH SCORE 6940.172
AT ITER 3002 NEW BEST:: SOT 33563 SOS 11168 HAS SOPS 11168 HAS SOUS 6927 HAS SOUPS 6927 WITH SCORE 6938.168
AT ITER 3014 NEW BEST:: SOT 33545 SOS 11130 HAS SOPS 11130 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6910.13
AT ITER 3027 NEW BEST:: SOT 33525 SOS 11135 HAS SOPS 11135 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6899.135
AT ITER 3042 NEW BEST:: SOT 33525 SOS 11129 HAS SOPS 11129 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6893.129
AT ITER 3057 NEW BEST:: SOT 33532 SOS 11112 HAS SOPS 11112 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6869.112
AT ITER 3096 NEW BEST:: SOT 33554 SOS 11122 HAS SOPS 11122 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6867.122
AT ITER 3102 NEW BEST:: SOT 33553 SOS 11117 HAS SOPS 11117 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6863.117
AT ITER 3119 NEW BEST:: SOT 33552 SOS 11117 HAS SOPS 11117 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6861.117
AT ITER 3120 NEW BEST:: SOT 33561 SOS 11126 HAS SOPS 11126 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6848.126
AT ITER 3134 NEW BEST:: SOT 33555 SOS 11117 HAS SOPS 11117 HAS SOUS 6826 HAS SOUPS 6826 WITH SCORE 6837.117
AT ITER 3158 NEW BEST:: SOT 33554 SOS 11116 HAS SOPS 11116 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6830.116
AT ITER 3159 NEW BEST:: SOT 33543 SOS 11116 HAS SOPS 11116 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6819.116
AT ITER 3200 NEW BEST:: SOT 33541 SOS 11114 HAS SOPS 11114 HAS SOUS 6805 HAS SOUPS 6805 WITH SCORE 6816.114
AT ITER 3203 NEW BEST:: SOT 33532 SOS 11096 HAS SOPS 11096 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6800.096
AT ITER 3207 NEW BEST:: SOT 33527 SOS 11091 HAS SOPS 11091 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6796.091
AT ITER 3208 NEW BEST:: SOT 33523 SOS 11110 HAS SOPS 11110 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6784.11
AT ITER 3224 NEW BEST:: SOT 33502 SOS 11054 HAS SOPS 11054 HAS SOUS 6731 HAS SOUPS 6731 WITH SCORE 6742.054
AT ITER 3238 NEW BEST:: SOT 33499 SOS 11043 HAS SOPS 11043 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6736.043
AT ITER 3247 NEW BEST:: SOT 33497 SOS 11041 HAS SOPS 11041 HAS SOUS 6723 HAS SOUPS 6723 WITH SCORE 6734.041
AT ITER 3323 NEW BEST:: SOT 33497 SOS 11048 HAS SOPS 11048 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6727.048
AT ITER 3332 NEW BEST:: SOT 33494 SOS 11045 HAS SOPS 11045 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6726.045
AT ITER 3334 NEW BEST:: SOT 33490 SOS 11041 HAS SOPS 11041 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6722.041
AT ITER 3345 NEW BEST:: SOT 33490 SOS 11041 HAS SOPS 11041 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6720.041
AT ITER 3352 NEW BEST:: SOT 33481 SOS 11032 HAS SOPS 11032 HAS SOUS 6691 HAS SOUPS 6691 WITH SCORE 6702.032
AT ITER 3380 NEW BEST:: SOT 33462 SOS 11182 HAS SOPS 11182 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6693.182
AT ITER 3388 NEW BEST:: SOT 33462 SOS 11182 HAS SOPS 11182 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6687.182
AT ITER 3428 NEW BEST:: SOT 33462 SOS 11180 HAS SOPS 11180 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6687.18
AT ITER 3429 NEW BEST:: SOT 33462 SOS 11180 HAS SOPS 11180 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6684.18
AT ITER 3437 NEW BEST:: SOT 33456 SOS 11174 HAS SOPS 11174 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6672.174
AT ITER 3498 NEW BEST:: SOT 33453 SOS 11257 HAS SOPS 11257 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6669.257
AT ITER 3501 NEW BEST:: SOT 33448 SOS 11242 HAS SOPS 11242 HAS SOUS 6643 HAS SOUPS 6643 WITH SCORE 6654.242
AT ITER 3519 NEW BEST:: SOT 33445 SOS 11239 HAS SOPS 11239 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6648.239
AT ITER 3534 NEW BEST:: SOT 33443 SOS 11235 HAS SOPS 11235 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6646.235
AT ITER 3539 NEW BEST:: SOT 33400 SOS 11192 HAS SOPS 11192 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6555.192
AT ITER 3597 NEW BEST:: SOT 33398 SOS 11190 HAS SOPS 11190 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6551.19
AT ITER 3633 NEW BEST:: SOT 33398 SOS 11190 HAS SOPS 11190 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6549.19
AT ITER 3657 NEW BEST:: SOT 33392 SOS 11200 HAS SOPS 11200 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6543.2
AT ITER 3681 NEW BEST:: SOT 33392 SOS 11199 HAS SOPS 11199 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6543.199
AT ITER 3702 NEW BEST:: SOT 33386 SOS 11187 HAS SOPS 11187 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6531.187
AT ITER 3731 NEW BEST:: SOT 33344 SOS 11145 HAS SOPS 11145 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6469.145
AT ITER 3755 NEW BEST:: SOT 33342 SOS 11131 HAS SOPS 11131 HAS SOUS 6455 HAS SOUPS 6455 WITH SCORE 6466.131
AT ITER 3801 NEW BEST:: SOT 33341 SOS 11131 HAS SOPS 11131 HAS SOUS 6454 HAS SOUPS 6454 WITH SCORE 6465.131
AT ITER 3843 NEW BEST:: SOT 33331 SOS 11121 HAS SOPS 11121 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6449.121
AT ITER 3869 NEW BEST:: SOT 33306 SOS 11086 HAS SOPS 11086 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6405.086
AT ITER 3922 NEW BEST:: SOT 33302 SOS 11082 HAS SOPS 11082 HAS SOUS 6390 HAS SOUPS 6390 WITH SCORE 6401.082
AT ITER 4054 NEW BEST:: SOT 33295 SOS 11068 HAS SOPS 11068 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6399.068
AT ITER 4070 NEW BEST:: SOT 33290 SOS 11068 HAS SOPS 11068 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6395.068
AT ITER 4073 NEW BEST:: SOT 33290 SOS 11081 HAS SOPS 11081 HAS SOUS 6377 HAS SOUPS 6377 WITH SCORE 6388.081
AT ITER 4074 NEW BEST:: SOT 33290 SOS 11080 HAS SOPS 11080 HAS SOUS 6376 HAS SOUPS 6376 WITH SCORE 6387.08
AT ITER 4080 NEW BEST:: SOT 33288 SOS 11078 HAS SOPS 11078 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6383.078
AT ITER 4088 NEW BEST:: SOT 33286 SOS 11074 HAS SOPS 11074 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6379.074
AT ITER 4104 NEW BEST:: SOT 33286 SOS 11074 HAS SOPS 11074 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6376.074
AT ITER 4115 NEW BEST:: SOT 33284 SOS 11072 HAS SOPS 11072 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6374.072
AT ITER 4141 NEW BEST:: SOT 33278 SOS 11066 HAS SOPS 11066 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6373.066
AT ITER 4217 NEW BEST:: SOT 33272 SOS 11042 HAS SOPS 11042 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6361.042
AT ITER 4239 NEW BEST:: SOT 33265 SOS 11045 HAS SOPS 11045 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6353.045
AT ITER 4244 NEW BEST:: SOT 33265 SOS 11036 HAS SOPS 11036 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6353.036
AT ITER 4266 NEW BEST:: SOT 33267 SOS 11045 HAS SOPS 11045 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6346.045
AT ITER 4279 NEW BEST:: SOT 33258 SOS 10975 HAS SOPS 10975 HAS SOUS 6323 HAS SOUPS 6323 WITH SCORE 6333.975
AT ITER 4294 NEW BEST:: SOT 33256 SOS 10961 HAS SOPS 10961 HAS SOUS 6319 HAS SOUPS 6319 WITH SCORE 6329.961
AT ITER 4325 NEW BEST:: SOT 33255 SOS 10961 HAS SOPS 10961 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6327.961
AT ITER 4359 NEW BEST:: SOT 33250 SOS 10961 HAS SOPS 10961 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6320.961
AT ITER 4445 NEW BEST:: SOT 33245 SOS 10956 HAS SOPS 10956 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6320.956
AT ITER 4503 NEW BEST:: SOT 33245 SOS 10956 HAS SOPS 10956 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6318.956
AT ITER 4554 NEW BEST:: SOT 33236 SOS 10947 HAS SOPS 10947 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6309.947
AT ITER 4722 NEW BEST:: SOT 33233 SOS 10906 HAS SOPS 10906 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6269.906
AT ITER 4744 NEW BEST:: SOT 33218 SOS 10891 HAS SOPS 10891 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6254.891
AT ITER 4765 NEW BEST:: SOT 33218 SOS 10874 HAS SOPS 10874 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6237.874
AT ITER 4786 NEW BEST:: SOT 33218 SOS 10874 HAS SOPS 10874 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6236.874
AT ITER 4796 NEW BEST:: SOT 33216 SOS 10872 HAS SOPS 10872 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6231.872
AT ITER 4814 NEW BEST:: SOT 33216 SOS 10867 HAS SOPS 10867 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6226.867
AT ITER 4833 NEW BEST:: SOT 33215 SOS 10866 HAS SOPS 10866 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6213.866
AT ITER 4906 NEW BEST:: SOT 33215 SOS 10862 HAS SOPS 10862 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6209.862
AT ITER 4957 NEW BEST:: SOT 33210 SOS 10857 HAS SOPS 10857 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6205.857
AT ITER 4969 NEW BEST:: SOT 33208 SOS 10867 HAS SOPS 10867 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6195.867
Bounds file is: CTLFireability.xml
PROPERTY: HospitalTriage-PT-none-CTLFireability-00 (EU( ( (! ( ((potential((tk(P237)>=1) & (tk(P189)>=1)))) & ((potential((tk(P237)>=1) & (tk(P34)>=1)))) )) & (EF( ((potential((tk(P172)>=1) & (tk(P241)>=1)))))) ) , ( ((potential((tk(P85)>=1)))) & ( ( ((potential((tk(P38)>=1)))) & ((potential((tk(P107)>=1)))) ) & ((potential((tk(P180)>=1)))) ) ) ))
PROPERTY: HospitalTriage-PT-none-CTLFireability-01 (AU( ( ( ( ((potential((tk(P65)>=1)))) | ((potential((tk(P17)>=1)))) ) & ( ((potential((tk(P118)>=1) & (tk(P106)>=1)))) & ((potential((tk(P191)>=1)))) ) ) | ( ( ((potential((tk(P243)>=1)))) | ((potential((tk(P225)>=1) & (tk(P39)>=1)))) ) | (! ((potential((tk(P118)>=1) & (tk(P32)>=1))))) ) ) , (EU( ((potential((tk(P237)>=1) & (tk(P126)>=1)))) , ((potential((tk(P194)>=1)))) )) ))
PROPERTY: HospitalTriage-PT-none-CTLFireability-02 (AX( (EF( (! (! ((potential((tk(P212)>=1) & (tk(P213)>=1) & (tk(P110)>=1))))))))))
PROPERTY: HospitalTriage-PT-none-CTLFireability-03 ( ( (! (AG( (! ((potential((tk(P118)>=1) & (tk(P226)>=1)))))))) & ((potential((tk(P107)>=1)))) ) | (AU( (! ((potential((tk(P237)>=1) & (tk(P42)>=1))))) , ((potential((tk(P172)>=1) & (tk(P63)>=1)))) )) )
PROPERTY: HospitalTriage-PT-none-CTLFireability-04 ( (EU( (AG( ((potential((tk(P77)>=1)))))) , ( ( ((potential((tk(P86)>=1)))) & ((potential((tk(P172)>=1) & (tk(P200)>=1)))) ) & ((potential((tk(P197)>=1)))) ) )) | (AF( ( (AX( ((potential((tk(P48)>=1)))))) | (AX( ((potential((tk(P118)>=1) & (tk(P145)>=1)))))) ))) )
PROPERTY: HospitalTriage-PT-none-CTLFireability-05 (! (AF( ( (AX( ((potential((tk(P52)>=1)))))) & ((potential((tk(P118)>=1) & (tk(P170)>=1)))) ))))
PROPERTY: HospitalTriage-PT-none-CTLFireability-06 (! (AG( ( (AF( ((potential((tk(P100)>=1)))))) & (AF( ((potential((tk(P118)>=1) & (tk(P240)>=1)))))) ))))
PROPERTY: HospitalTriage-PT-none-CTLFireability-07 ( (EU( (AF( ((potential((tk(P92)>=1)))))) , ( ((potential((tk(P15)>=1)))) | ( ((potential((tk(P172)>=1) & (tk(P63)>=1)))) | ((potential((tk(P118)>=1) & (tk(P240)>=1)))) ) ) )) & (! (EF( (EX( ((potential((tk(P62)>=1))))))))) )
PROPERTY: HospitalTriage-PT-none-CTLFireability-08 (AG( (EF( (! ( ((potential((tk(P12)>=1)))) & ((potential((tk(P157)>=1)))) ))))))
PROPERTY: HospitalTriage-PT-none-CTLFireability-09 (! ( ((potential((tk(P30)>=1)))) | (AU( (! ((potential((tk(P237)>=1) & (tk(P140)>=1))))) , ( ((potential((tk(P92)>=1)))) & ((potential((tk(P17)>=1)))) ) )) ))
PROPERTY: HospitalTriage-PT-none-CTLFireability-10 (AF( (AF( ( ( ((potential((tk(P86)>=1)))) & ((potential((tk(P237)>=1) & (tk(P126)>=1)))) ) & ( ((potential((tk(P74)>=1)))) & ((potential((tk(P118)>=1) & (tk(P32)>=1)))) ) )))))
PROPERTY: HospitalTriage-PT-none-CTLFireability-11 (AU( ( ((potential((tk(P118)>=1) & (tk(P147)>=1)))) | ( ((potential((tk(P55)>=1)))) | (! ((potential((tk(P196)>=1))))) ) ) , ((potential((tk(P198)>=1)))) ))
PROPERTY: HospitalTriage-PT-none-CTLFireability-12 (AF( ( (EU( ((potential((tk(P36)>=1)))) , ((potential((tk(P237)>=1) & (tk(P126)>=1)))) )) & ((potential((tk(P176)>=1)))) )))
PROPERTY: HospitalTriage-PT-none-CTLFireability-13 (! ( ((potential((tk(P130)>=1) & (tk(P39)>=1)))) | ( (AG( (! ((potential((tk(P144)>=1))))))) | (AF( ( ((potential((tk(P127)>=1)))) & ((potential((tk(P72)>=1) & (tk(P40)>=1)))) ))) ) ))
PROPERTY: HospitalTriage-PT-none-CTLFireability-14 (! (EG( ( (AG( ((potential((tk(P118)>=1) & (tk(P106)>=1)))))) | (! ( ((potential((tk(P237)>=1) & (tk(P217)>=1)))) & ((potential((tk(P165)>=1) & (tk(P39)>=1)))) )) ))))
PROPERTY: HospitalTriage-PT-none-CTLFireability-15 ( ( (EF( ( ( ((potential((tk(P70)>=1)))) | ((potential((tk(P118)>=1) & (tk(P147)>=1)))) ) & ((potential((tk(P229)>=1)))) ))) | (AX( (EX( ((potential((tk(P72)>=1) & (tk(P40)>=1)))))))) ) & ( (EU( ((potential((tk(P201)>=1) & (tk(P203)>=1) & (tk(P91)>=1)))) , (! ((potential((tk(P23)>=1))))) )) | (! (AU( ((potential((tk(P118)>=1) & (tk(P69)>=1)))) , ((potential((tk(P118)>=1) & (tk(P182)>=1)))) ))) ) )
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HospitalTriage-PT-none"
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 HospitalTriage-PT-none, 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 r093-oct2-158940140100132"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HospitalTriage-PT-none.tgz
mv HospitalTriage-PT-none 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 ;