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 |
| 15768.230 | 3600000.00 | 3587030.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-158940140100131.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100131
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-01
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-02
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-03
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-04
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-05
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-06
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-07
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-08
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-09
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-10
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-11
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-12
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-13
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-14
FORMULA_NAME HospitalTriage-PT-none-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589610216032
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HospitalTriage (PT), instance none
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 4 NEW BEST:: SOT 37165 SOS 15987 HAS SOPS 15987 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12182.987
AT ITER 5 NEW BEST:: SOT 37139 SOS 15961 HAS SOPS 15961 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12182.961
AT ITER 7 NEW BEST:: SOT 37133 SOS 15955 HAS SOPS 15955 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12176.955
AT ITER 19 NEW BEST:: SOT 37132 SOS 15954 HAS SOPS 15954 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12174.954
AT ITER 20 NEW BEST:: SOT 37110 SOS 15932 HAS SOPS 15932 HAS SOUS 12147 HAS SOUPS 12147 WITH SCORE 12162.932
AT ITER 21 NEW BEST:: SOT 37110 SOS 15932 HAS SOPS 15932 HAS SOUS 12145 HAS SOUPS 12145 WITH SCORE 12160.932
AT ITER 31 NEW BEST:: SOT 37110 SOS 15918 HAS SOPS 15918 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12146.918
AT ITER 37 NEW BEST:: SOT 37087 SOS 15853 HAS SOPS 15853 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12130.853
AT ITER 43 NEW BEST:: SOT 37087 SOS 15791 HAS SOPS 15791 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12030.791
AT ITER 53 NEW BEST:: SOT 37087 SOS 15791 HAS SOPS 15791 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12028.791
AT ITER 55 NEW BEST:: SOT 37074 SOS 15782 HAS SOPS 15782 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12007.782
AT ITER 57 NEW BEST:: SOT 37074 SOS 15772 HAS SOPS 15772 HAS SOUS 11982 HAS SOUPS 11982 WITH SCORE 11997.772
AT ITER 61 NEW BEST:: SOT 37061 SOS 15759 HAS SOPS 15759 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11984.759
AT ITER 69 NEW BEST:: SOT 37061 SOS 15759 HAS SOPS 15759 HAS SOUS 11938 HAS SOUPS 11938 WITH SCORE 11953.759
AT ITER 77 NEW BEST:: SOT 37025 SOS 15714 HAS SOPS 15714 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11872.714
AT ITER 84 NEW BEST:: SOT 37016 SOS 15705 HAS SOPS 15705 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11863.705
AT ITER 87 NEW BEST:: SOT 37003 SOS 15679 HAS SOPS 15679 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11850.679
AT ITER 90 NEW BEST:: SOT 36981 SOS 15635 HAS SOPS 15635 HAS SOUS 11791 HAS SOUPS 11791 WITH SCORE 11806.635
AT ITER 92 NEW BEST:: SOT 36973 SOS 15627 HAS SOPS 15627 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11790.627
AT ITER 94 NEW BEST:: SOT 36962 SOS 15616 HAS SOPS 15616 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11768.616
AT ITER 96 NEW BEST:: SOT 36962 SOS 15608 HAS SOPS 15608 HAS SOUS 11753 HAS SOUPS 11753 WITH SCORE 11768.608
AT ITER 103 NEW BEST:: SOT 36948 SOS 15594 HAS SOPS 15594 HAS SOUS 11747 HAS SOUPS 11747 WITH SCORE 11762.594
AT ITER 114 NEW BEST:: SOT 36932 SOS 15578 HAS SOPS 15578 HAS SOUS 11737 HAS SOUPS 11737 WITH SCORE 11752.578
AT ITER 116 NEW BEST:: SOT 36890 SOS 15541 HAS SOPS 15541 HAS SOUS 11703 HAS SOUPS 11703 WITH SCORE 11718.541
AT ITER 125 NEW BEST:: SOT 36888 SOS 15539 HAS SOPS 15539 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11692.539
AT ITER 128 NEW BEST:: SOT 36036 SOS 14709 HAS SOPS 14709 HAS SOUS 10836 HAS SOUPS 10836 WITH SCORE 10850.709
AT ITER 132 NEW BEST:: SOT 36036 SOS 14709 HAS SOPS 14709 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10830.709
AT ITER 135 NEW BEST:: SOT 36036 SOS 14702 HAS SOPS 14702 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10830.702
AT ITER 138 NEW BEST:: SOT 36032 SOS 14698 HAS SOPS 14698 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10822.698
AT ITER 140 NEW BEST:: SOT 36024 SOS 14698 HAS SOPS 14698 HAS SOUS 10803 HAS SOUPS 10803 WITH SCORE 10817.698
AT ITER 141 NEW BEST:: SOT 36024 SOS 14714 HAS SOPS 14714 HAS SOUS 10797 HAS SOUPS 10797 WITH SCORE 10811.714
AT ITER 149 NEW BEST:: SOT 36024 SOS 14714 HAS SOPS 14714 HAS SOUS 10784 HAS SOUPS 10784 WITH SCORE 10798.714
AT ITER 151 NEW BEST:: SOT 34864 SOS 16855 HAS SOPS 16855 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10375.855
AT ITER 152 NEW BEST:: SOT 34852 SOS 16767 HAS SOPS 16767 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10343.767
AT ITER 158 NEW BEST:: SOT 34843 SOS 14969 HAS SOPS 14969 HAS SOUS 10274 HAS SOUPS 10274 WITH SCORE 10288.969
AT ITER 162 NEW BEST:: SOT 34825 SOS 14951 HAS SOPS 14951 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10252.951
AT ITER 167 NEW BEST:: SOT 34821 SOS 14947 HAS SOPS 14947 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10247.947
AT ITER 171 NEW BEST:: SOT 34783 SOS 14909 HAS SOPS 14909 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10169.909
AT ITER 174 NEW BEST:: SOT 34783 SOS 14872 HAS SOPS 14872 HAS SOUS 10118 HAS SOUPS 10118 WITH SCORE 10132.872
AT ITER 176 NEW BEST:: SOT 34783 SOS 14866 HAS SOPS 14866 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10126.866
AT ITER 179 NEW BEST:: SOT 34796 SOS 14790 HAS SOPS 14790 HAS SOUS 10079 HAS SOUPS 10079 WITH SCORE 10093.79
AT ITER 194 NEW BEST:: SOT 34795 SOS 14787 HAS SOPS 14787 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10090.787
AT ITER 210 NEW BEST:: SOT 34784 SOS 14759 HAS SOPS 14759 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10062.759
AT ITER 230 NEW BEST:: SOT 34751 SOS 14666 HAS SOPS 14666 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9996.666
AT ITER 232 NEW BEST:: SOT 34746 SOS 14661 HAS SOPS 14661 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9991.661
AT ITER 246 NEW BEST:: SOT 34746 SOS 14640 HAS SOPS 14640 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 9970.64
AT ITER 254 NEW BEST:: SOT 34744 SOS 14638 HAS SOPS 14638 HAS SOUS 9952 HAS SOUPS 9952 WITH SCORE 9966.638
AT ITER 293 NEW BEST:: SOT 34744 SOS 14638 HAS SOPS 14638 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9950.638
AT ITER 295 NEW BEST:: SOT 34744 SOS 14630 HAS SOPS 14630 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9950.63
AT ITER 297 NEW BEST:: SOT 34744 SOS 14630 HAS SOPS 14630 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9943.63
AT ITER 302 NEW BEST:: SOT 34710 SOS 14596 HAS SOPS 14596 HAS SOUS 9915 HAS SOUPS 9915 WITH SCORE 9929.596
AT ITER 315 NEW BEST:: SOT 34695 SOS 14611 HAS SOPS 14611 HAS SOUS 9914 HAS SOUPS 9914 WITH SCORE 9928.611
AT ITER 317 NEW BEST:: SOT 34696 SOS 14612 HAS SOPS 14612 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9927.612
AT ITER 322 NEW BEST:: SOT 34674 SOS 14590 HAS SOPS 14590 HAS SOUS 9913 HAS SOUPS 9913 WITH SCORE 9927.59
AT ITER 332 NEW BEST:: SOT 34655 SOS 14502 HAS SOPS 14502 HAS SOUS 9834 HAS SOUPS 9834 WITH SCORE 9848.502
AT ITER 339 NEW BEST:: SOT 34633 SOS 14480 HAS SOPS 14480 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9826.48
AT ITER 343 NEW BEST:: SOT 34618 SOS 14465 HAS SOPS 14465 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9804.465
AT ITER 347 NEW BEST:: SOT 34585 SOS 14425 HAS SOPS 14425 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9784.425
AT ITER 348 NEW BEST:: SOT 34577 SOS 14417 HAS SOPS 14417 HAS SOUS 9766 HAS SOUPS 9766 WITH SCORE 9780.417
AT ITER 350 NEW BEST:: SOT 34577 SOS 14395 HAS SOPS 14395 HAS SOUS 9758 HAS SOUPS 9758 WITH SCORE 9772.395
AT ITER 351 NEW BEST:: SOT 34564 SOS 14369 HAS SOPS 14369 HAS SOUS 9732 HAS SOUPS 9732 WITH SCORE 9746.369
AT ITER 358 NEW BEST:: SOT 34556 SOS 14361 HAS SOPS 14361 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9728.361
AT ITER 360 NEW BEST:: SOT 34554 SOS 14365 HAS SOPS 14365 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9724.365
AT ITER 362 NEW BEST:: SOT 34543 SOS 14410 HAS SOPS 14410 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9704.41
AT ITER 377 NEW BEST:: SOT 34538 SOS 14405 HAS SOPS 14405 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9699.405
AT ITER 385 NEW BEST:: SOT 34538 SOS 14405 HAS SOPS 14405 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9696.405
AT ITER 387 NEW BEST:: SOT 34536 SOS 14395 HAS SOPS 14395 HAS SOUS 9676 HAS SOUPS 9676 WITH SCORE 9690.395
AT ITER 396 NEW BEST:: SOT 34531 SOS 14399 HAS SOPS 14399 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9675.399
AT ITER 410 NEW BEST:: SOT 34531 SOS 14401 HAS SOPS 14401 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9663.401
AT ITER 417 NEW BEST:: SOT 34531 SOS 14390 HAS SOPS 14390 HAS SOUS 9649 HAS SOUPS 9649 WITH SCORE 9663.39
AT ITER 424 NEW BEST:: SOT 34527 SOS 14386 HAS SOPS 14386 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9655.386
AT ITER 426 NEW BEST:: SOT 34519 SOS 14390 HAS SOPS 14390 HAS SOUS 9629 HAS SOUPS 9629 WITH SCORE 9643.39
AT ITER 432 NEW BEST:: SOT 34528 SOS 14334 HAS SOPS 14334 HAS SOUS 9619 HAS SOUPS 9619 WITH SCORE 9633.334
AT ITER 433 NEW BEST:: SOT 34518 SOS 14324 HAS SOPS 14324 HAS SOUS 9580 HAS SOUPS 9580 WITH SCORE 9594.324
AT ITER 435 NEW BEST:: SOT 34505 SOS 14271 HAS SOPS 14271 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9568.271
AT ITER 450 NEW BEST:: SOT 34531 SOS 14220 HAS SOPS 14220 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9559.22
AT ITER 451 NEW BEST:: SOT 34524 SOS 14206 HAS SOPS 14206 HAS SOUS 9538 HAS SOUPS 9538 WITH SCORE 9552.206
AT ITER 454 NEW BEST:: SOT 34523 SOS 14204 HAS SOPS 14204 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9550.204
AT ITER 459 NEW BEST:: SOT 34517 SOS 14198 HAS SOPS 14198 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9538.198
AT ITER 466 NEW BEST:: SOT 34518 SOS 14162 HAS SOPS 14162 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9525.162
AT ITER 468 NEW BEST:: SOT 34511 SOS 14155 HAS SOPS 14155 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9518.155
AT ITER 490 NEW BEST:: SOT 34505 SOS 14149 HAS SOPS 14149 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9501.149
AT ITER 493 NEW BEST:: SOT 34496 SOS 14140 HAS SOPS 14140 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9478.14
AT ITER 513 NEW BEST:: SOT 34492 SOS 14132 HAS SOPS 14132 HAS SOUS 9455 HAS SOUPS 9455 WITH SCORE 9469.132
AT ITER 516 NEW BEST:: SOT 34490 SOS 14130 HAS SOPS 14130 HAS SOUS 9443 HAS SOUPS 9443 WITH SCORE 9457.13
AT ITER 528 NEW BEST:: SOT 34482 SOS 14107 HAS SOPS 14107 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9441.107
AT ITER 531 NEW BEST:: SOT 34464 SOS 14065 HAS SOPS 14065 HAS SOUS 9413 HAS SOUPS 9413 WITH SCORE 9427.065
AT ITER 532 NEW BEST:: SOT 34464 SOS 14061 HAS SOPS 14061 HAS SOUS 9409 HAS SOUPS 9409 WITH SCORE 9423.061
AT ITER 536 NEW BEST:: SOT 34412 SOS 14001 HAS SOPS 14001 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9417.001
AT ITER 561 NEW BEST:: SOT 34396 SOS 13985 HAS SOPS 13985 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9368.985
AT ITER 566 NEW BEST:: SOT 34421 SOS 14010 HAS SOPS 14010 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9363.01
AT ITER 580 NEW BEST:: SOT 34416 SOS 14000 HAS SOPS 14000 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9358.0
AT ITER 590 NEW BEST:: SOT 34415 SOS 13999 HAS SOPS 13999 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9356.999
AT ITER 594 NEW BEST:: SOT 34429 SOS 14013 HAS SOPS 14013 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9354.013
AT ITER 597 NEW BEST:: SOT 34410 SOS 13994 HAS SOPS 13994 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9324.994
AT ITER 601 NEW BEST:: SOT 34390 SOS 13974 HAS SOPS 13974 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9284.974
AT ITER 603 NEW BEST:: SOT 34388 SOS 13941 HAS SOPS 13941 HAS SOUS 9267 HAS SOUPS 9267 WITH SCORE 9280.941
AT ITER 607 NEW BEST:: SOT 34421 SOS 13847 HAS SOPS 13847 HAS SOUS 9261 HAS SOUPS 9261 WITH SCORE 9274.847
AT ITER 608 NEW BEST:: SOT 34409 SOS 13841 HAS SOPS 13841 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9253.841
AT ITER 621 NEW BEST:: SOT 34404 SOS 13855 HAS SOPS 13855 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9249.855
AT ITER 624 NEW BEST:: SOT 34431 SOS 13244 HAS SOPS 13244 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9168.244
AT ITER 628 NEW BEST:: SOT 34422 SOS 13217 HAS SOPS 13217 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9150.217
AT ITER 634 NEW BEST:: SOT 34422 SOS 13200 HAS SOPS 13200 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9150.2
AT ITER 643 NEW BEST:: SOT 34422 SOS 13187 HAS SOPS 13187 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9137.187
AT ITER 670 NEW BEST:: SOT 34415 SOS 13159 HAS SOPS 13159 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9130.159
AT ITER 677 NEW BEST:: SOT 34413 SOS 13157 HAS SOPS 13157 HAS SOUS 9113 HAS SOUPS 9113 WITH SCORE 9126.157
AT ITER 693 NEW BEST:: SOT 34397 SOS 13170 HAS SOPS 13170 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9123.17
AT ITER 707 NEW BEST:: SOT 34397 SOS 13154 HAS SOPS 13154 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9123.154
AT ITER 709 NEW BEST:: SOT 34394 SOS 13151 HAS SOPS 13151 HAS SOUS 9104 HAS SOUPS 9104 WITH SCORE 9117.151
AT ITER 713 NEW BEST:: SOT 34394 SOS 13145 HAS SOPS 13145 HAS SOUS 9101 HAS SOUPS 9101 WITH SCORE 9114.145
AT ITER 714 NEW BEST:: SOT 34396 SOS 13141 HAS SOPS 13141 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9108.141
AT ITER 735 NEW BEST:: SOT 34392 SOS 13137 HAS SOPS 13137 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9106.137
AT ITER 743 NEW BEST:: SOT 34392 SOS 13118 HAS SOPS 13118 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9087.118
AT ITER 748 NEW BEST:: SOT 34398 SOS 13124 HAS SOPS 13124 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9084.124
AT ITER 774 NEW BEST:: SOT 34325 SOS 13055 HAS SOPS 13055 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8984.055
AT ITER 775 NEW BEST:: SOT 34296 SOS 12981 HAS SOPS 12981 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8924.981
AT ITER 776 NEW BEST:: SOT 34295 SOS 12982 HAS SOPS 12982 HAS SOUS 8910 HAS SOUPS 8910 WITH SCORE 8922.982
AT ITER 777 NEW BEST:: SOT 34296 SOS 12983 HAS SOPS 12983 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8912.983
AT ITER 779 NEW BEST:: SOT 34286 SOS 12973 HAS SOPS 12973 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8894.973
AT ITER 803 NEW BEST:: SOT 34283 SOS 12970 HAS SOPS 12970 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8888.97
AT ITER 810 NEW BEST:: SOT 34282 SOS 12969 HAS SOPS 12969 HAS SOUS 8875 HAS SOUPS 8875 WITH SCORE 8887.969
AT ITER 813 NEW BEST:: SOT 34278 SOS 12958 HAS SOPS 12958 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8879.958
AT ITER 827 NEW BEST:: SOT 34277 SOS 12957 HAS SOPS 12957 HAS SOUS 8865 HAS SOUPS 8865 WITH SCORE 8877.957
AT ITER 834 NEW BEST:: SOT 34277 SOS 12957 HAS SOPS 12957 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8874.957
AT ITER 845 NEW BEST:: SOT 34274 SOS 12954 HAS SOPS 12954 HAS SOUS 8859 HAS SOUPS 8859 WITH SCORE 8871.954
AT ITER 871 NEW BEST:: SOT 34269 SOS 12949 HAS SOPS 12949 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8852.949
AT ITER 879 NEW BEST:: SOT 34249 SOS 12873 HAS SOPS 12873 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8776.873
AT ITER 919 NEW BEST:: SOT 34246 SOS 12870 HAS SOPS 12870 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8773.87
AT ITER 927 NEW BEST:: SOT 34228 SOS 12858 HAS SOPS 12858 HAS SOUS 8744 HAS SOUPS 8744 WITH SCORE 8756.858
AT ITER 932 NEW BEST:: SOT 34216 SOS 12846 HAS SOPS 12846 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8739.846
AT ITER 987 NEW BEST:: SOT 34203 SOS 12780 HAS SOPS 12780 HAS SOUS 8711 HAS SOUPS 8711 WITH SCORE 8723.78
AT ITER 997 NEW BEST:: SOT 34203 SOS 12780 HAS SOPS 12780 HAS SOUS 8710 HAS SOUPS 8710 WITH SCORE 8722.78
AT ITER 1002 NEW BEST:: SOT 34202 SOS 12781 HAS SOPS 12781 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8721.781
AT ITER 1011 NEW BEST:: SOT 34187 SOS 12766 HAS SOPS 12766 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8691.766
AT ITER 1029 NEW BEST:: SOT 34187 SOS 12766 HAS SOPS 12766 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8667.766
AT ITER 1036 NEW BEST:: SOT 34186 SOS 12760 HAS SOPS 12760 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8663.76
AT ITER 1049 NEW BEST:: SOT 34185 SOS 12759 HAS SOPS 12759 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8661.759
AT ITER 1065 NEW BEST:: SOT 34163 SOS 12759 HAS SOPS 12759 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8644.759
AT ITER 1068 NEW BEST:: SOT 34161 SOS 12747 HAS SOPS 12747 HAS SOUS 8628 HAS SOUPS 8628 WITH SCORE 8640.747
AT ITER 1076 NEW BEST:: SOT 34180 SOS 12766 HAS SOPS 12766 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8635.766
AT ITER 1095 NEW BEST:: SOT 34178 SOS 12764 HAS SOPS 12764 HAS SOUS 8621 HAS SOUPS 8621 WITH SCORE 8633.764
AT ITER 1102 NEW BEST:: SOT 34167 SOS 12715 HAS SOPS 12715 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8606.715
AT ITER 1104 NEW BEST:: SOT 34154 SOS 12702 HAS SOPS 12702 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8581.702
AT ITER 1114 NEW BEST:: SOT 34154 SOS 12447 HAS SOPS 12447 HAS SOUS 8569 HAS SOUPS 8569 WITH SCORE 8581.447
AT ITER 1121 NEW BEST:: SOT 34120 SOS 12413 HAS SOPS 12413 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8572.413
AT ITER 1126 NEW BEST:: SOT 34117 SOS 12410 HAS SOPS 12410 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8551.41
AT ITER 1130 NEW BEST:: SOT 34106 SOS 12405 HAS SOPS 12405 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8546.405
AT ITER 1142 NEW BEST:: SOT 34106 SOS 12401 HAS SOPS 12401 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8543.401
AT ITER 1171 NEW BEST:: SOT 34106 SOS 12400 HAS SOPS 12400 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8542.4
AT ITER 1172 NEW BEST:: SOT 34072 SOS 12366 HAS SOPS 12366 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8486.366
AT ITER 1175 NEW BEST:: SOT 34049 SOS 12417 HAS SOPS 12417 HAS SOUS 8443 HAS SOUPS 8443 WITH SCORE 8455.417
AT ITER 1191 NEW BEST:: SOT 34051 SOS 12393 HAS SOPS 12393 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8449.393
AT ITER 1216 NEW BEST:: SOT 34051 SOS 12361 HAS SOPS 12361 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8442.361
AT ITER 1226 NEW BEST:: SOT 34016 SOS 12320 HAS SOPS 12320 HAS SOUS 8389 HAS SOUPS 8389 WITH SCORE 8401.32
AT ITER 1229 NEW BEST:: SOT 34011 SOS 12315 HAS SOPS 12315 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8391.315
AT ITER 1242 NEW BEST:: SOT 34011 SOS 12312 HAS SOPS 12312 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8388.312
AT ITER 1254 NEW BEST:: SOT 34011 SOS 12294 HAS SOPS 12294 HAS SOUS 8367 HAS SOUPS 8367 WITH SCORE 8379.294
AT ITER 1275 NEW BEST:: SOT 34003 SOS 12265 HAS SOPS 12265 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8345.265
AT ITER 1276 NEW BEST:: SOT 34001 SOS 12283 HAS SOPS 12283 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8341.283
AT ITER 1286 NEW BEST:: SOT 33992 SOS 12274 HAS SOPS 12274 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8323.274
AT ITER 1287 NEW BEST:: SOT 33992 SOS 12264 HAS SOPS 12264 HAS SOUS 8311 HAS SOUPS 8311 WITH SCORE 8323.264
AT ITER 1318 NEW BEST:: SOT 33973 SOS 12240 HAS SOPS 12240 HAS SOUS 8295 HAS SOUPS 8295 WITH SCORE 8307.24
AT ITER 1326 NEW BEST:: SOT 33972 SOS 12237 HAS SOPS 12237 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8304.237
AT ITER 1327 NEW BEST:: SOT 33943 SOS 12214 HAS SOPS 12214 HAS SOUS 8235 HAS SOUPS 8235 WITH SCORE 8247.214
AT ITER 1333 NEW BEST:: SOT 33943 SOS 12214 HAS SOPS 12214 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8229.214
AT ITER 1342 NEW BEST:: SOT 33937 SOS 12214 HAS SOPS 12214 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8223.214
AT ITER 1355 NEW BEST:: SOT 33924 SOS 12163 HAS SOPS 12163 HAS SOUS 8166 HAS SOUPS 8166 WITH SCORE 8178.163
AT ITER 1365 NEW BEST:: SOT 33907 SOS 12146 HAS SOPS 12146 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8171.146
AT ITER 1381 NEW BEST:: SOT 33903 SOS 12138 HAS SOPS 12138 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8163.138
AT ITER 1394 NEW BEST:: SOT 33892 SOS 12114 HAS SOPS 12114 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8141.114
AT ITER 1441 NEW BEST:: SOT 33883 SOS 12096 HAS SOPS 12096 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8123.096
AT ITER 1455 NEW BEST:: SOT 33900 SOS 12105 HAS SOPS 12105 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8122.105
AT ITER 1459 NEW BEST:: SOT 33856 SOS 12163 HAS SOPS 12163 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8100.163
AT ITER 1464 NEW BEST:: SOT 33824 SOS 12182 HAS SOPS 12182 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8098.182
AT ITER 1466 NEW BEST:: SOT 33824 SOS 12182 HAS SOPS 12182 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8067.182
AT ITER 1499 NEW BEST:: SOT 33824 SOS 12119 HAS SOPS 12119 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8004.119
AT ITER 1500 NEW BEST:: SOT 33822 SOS 12117 HAS SOPS 12117 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8002.117
AT ITER 1516 NEW BEST:: SOT 33822 SOS 12112 HAS SOPS 12112 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8002.112
AT ITER 1522 NEW BEST:: SOT 33822 SOS 12093 HAS SOPS 12093 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7983.093
AT ITER 1533 NEW BEST:: SOT 33837 SOS 12037 HAS SOPS 12037 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7961.037
AT ITER 1542 NEW BEST:: SOT 33826 SOS 12051 HAS SOPS 12051 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7939.051
AT ITER 1546 NEW BEST:: SOT 33820 SOS 12046 HAS SOPS 12046 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7922.046
AT ITER 1547 NEW BEST:: SOT 33782 SOS 12030 HAS SOPS 12030 HAS SOUS 7858 HAS SOUPS 7858 WITH SCORE 7870.03
AT ITER 1548 NEW BEST:: SOT 33778 SOS 12026 HAS SOPS 12026 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7862.026
AT ITER 1559 NEW BEST:: SOT 33769 SOS 12024 HAS SOPS 12024 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7860.024
AT ITER 1561 NEW BEST:: SOT 33753 SOS 12008 HAS SOPS 12008 HAS SOUS 7826 HAS SOUPS 7826 WITH SCORE 7838.008
AT ITER 1580 NEW BEST:: SOT 33753 SOS 12012 HAS SOPS 12012 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7832.012
AT ITER 1600 NEW BEST:: SOT 33753 SOS 11984 HAS SOPS 11984 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7831.984
AT ITER 1602 NEW BEST:: SOT 33753 SOS 11964 HAS SOPS 11964 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7831.964
AT ITER 1627 NEW BEST:: SOT 33753 SOS 11962 HAS SOPS 11962 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7829.962
AT ITER 1638 NEW BEST:: SOT 33744 SOS 11953 HAS SOPS 11953 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7828.953
AT ITER 1663 NEW BEST:: SOT 33735 SOS 11947 HAS SOPS 11947 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7813.947
AT ITER 1669 NEW BEST:: SOT 33733 SOS 11945 HAS SOPS 11945 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7813.945
AT ITER 1671 NEW BEST:: SOT 33733 SOS 11944 HAS SOPS 11944 HAS SOUS 7801 HAS SOUPS 7801 WITH SCORE 7812.944
AT ITER 1686 NEW BEST:: SOT 33697 SOS 11949 HAS SOPS 11949 HAS SOUS 7746 HAS SOUPS 7746 WITH SCORE 7757.949
AT ITER 1687 NEW BEST:: SOT 33694 SOS 11946 HAS SOPS 11946 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7751.946
AT ITER 1707 NEW BEST:: SOT 33678 SOS 11940 HAS SOPS 11940 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7726.94
AT ITER 1712 NEW BEST:: SOT 33678 SOS 11930 HAS SOPS 11930 HAS SOUS 7715 HAS SOUPS 7715 WITH SCORE 7726.93
AT ITER 1731 NEW BEST:: SOT 33678 SOS 11903 HAS SOPS 11903 HAS SOUS 7699 HAS SOUPS 7699 WITH SCORE 7710.903
AT ITER 1742 NEW BEST:: SOT 33678 SOS 11901 HAS SOPS 11901 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7708.901
AT ITER 1757 NEW BEST:: SOT 33678 SOS 11885 HAS SOPS 11885 HAS SOUS 7697 HAS SOUPS 7697 WITH SCORE 7708.885
AT ITER 1775 NEW BEST:: SOT 33678 SOS 11860 HAS SOPS 11860 HAS SOUS 7672 HAS SOUPS 7672 WITH SCORE 7683.86
AT ITER 1806 NEW BEST:: SOT 33673 SOS 11855 HAS SOPS 11855 HAS SOUS 7671 HAS SOUPS 7671 WITH SCORE 7682.855
AT ITER 1809 NEW BEST:: SOT 33680 SOS 11862 HAS SOPS 11862 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7680.862
AT ITER 1871 NEW BEST:: SOT 33680 SOS 11862 HAS SOPS 11862 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7678.862
AT ITER 1915 NEW BEST:: SOT 33679 SOS 11861 HAS SOPS 11861 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7676.861
AT ITER 1933 NEW BEST:: SOT 33671 SOS 11842 HAS SOPS 11842 HAS SOUS 7659 HAS SOUPS 7659 WITH SCORE 7670.842
AT ITER 1951 NEW BEST:: SOT 33658 SOS 11816 HAS SOPS 11816 HAS SOUS 7633 HAS SOUPS 7633 WITH SCORE 7644.816
AT ITER 2000 NEW BEST:: SOT 33671 SOS 11806 HAS SOPS 11806 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7631.806
AT ITER 2017 NEW BEST:: SOT 33671 SOS 11793 HAS SOPS 11793 HAS SOUS 7620 HAS SOUPS 7620 WITH SCORE 7631.793
AT ITER 2025 NEW BEST:: SOT 33665 SOS 11781 HAS SOPS 11781 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7619.781
AT ITER 2053 NEW BEST:: SOT 33655 SOS 11767 HAS SOPS 11767 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7600.767
AT ITER 2054 NEW BEST:: SOT 33655 SOS 11767 HAS SOPS 11767 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7598.767
AT ITER 2057 NEW BEST:: SOT 33656 SOS 11768 HAS SOPS 11768 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7595.768
AT ITER 2062 NEW BEST:: SOT 33661 SOS 11786 HAS SOPS 11786 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7589.786
AT ITER 2063 NEW BEST:: SOT 33655 SOS 11780 HAS SOPS 11780 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7588.78
AT ITER 2067 NEW BEST:: SOT 33654 SOS 11779 HAS SOPS 11779 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7586.779
AT ITER 2073 NEW BEST:: SOT 33654 SOS 11779 HAS SOPS 11779 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7582.779
AT ITER 2109 NEW BEST:: SOT 33647 SOS 11772 HAS SOPS 11772 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7577.772
AT ITER 2128 NEW BEST:: SOT 33647 SOS 11754 HAS SOPS 11754 HAS SOUS 7557 HAS SOUPS 7557 WITH SCORE 7568.754
AT ITER 2131 NEW BEST:: SOT 33647 SOS 11762 HAS SOPS 11762 HAS SOUS 7550 HAS SOUPS 7550 WITH SCORE 7561.762
AT ITER 2139 NEW BEST:: SOT 33655 SOS 11751 HAS SOPS 11751 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7557.751
AT ITER 2163 NEW BEST:: SOT 33638 SOS 11734 HAS SOPS 11734 HAS SOUS 7527 HAS SOUPS 7527 WITH SCORE 7538.734
AT ITER 2170 NEW BEST:: SOT 33636 SOS 11734 HAS SOPS 11734 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7534.734
AT ITER 2174 NEW BEST:: SOT 33636 SOS 11732 HAS SOPS 11732 HAS SOUS 7523 HAS SOUPS 7523 WITH SCORE 7534.732
AT ITER 2179 NEW BEST:: SOT 33636 SOS 11732 HAS SOPS 11732 HAS SOUS 7514 HAS SOUPS 7514 WITH SCORE 7525.732
AT ITER 2192 NEW BEST:: SOT 33636 SOS 11732 HAS SOPS 11732 HAS SOUS 7509 HAS SOUPS 7509 WITH SCORE 7520.732
AT ITER 2207 NEW BEST:: SOT 33604 SOS 11684 HAS SOPS 11684 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7472.684
AT ITER 2214 NEW BEST:: SOT 33617 SOS 11697 HAS SOPS 11697 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7466.697
AT ITER 2248 NEW BEST:: SOT 33612 SOS 11697 HAS SOPS 11697 HAS SOUS 7450 HAS SOUPS 7450 WITH SCORE 7461.697
AT ITER 2284 NEW BEST:: SOT 33608 SOS 11693 HAS SOPS 11693 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7455.693
AT ITER 2298 NEW BEST:: SOT 33608 SOS 11671 HAS SOPS 11671 HAS SOUS 7444 HAS SOUPS 7444 WITH SCORE 7455.671
AT ITER 2325 NEW BEST:: SOT 33577 SOS 11640 HAS SOPS 11640 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7427.64
AT ITER 2338 NEW BEST:: SOT 33590 SOS 11421 HAS SOPS 11421 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7424.421
AT ITER 2388 NEW BEST:: SOT 33596 SOS 11386 HAS SOPS 11386 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7421.386
AT ITER 2391 NEW BEST:: SOT 33596 SOS 11378 HAS SOPS 11378 HAS SOUS 7402 HAS SOUPS 7402 WITH SCORE 7413.378
AT ITER 2397 NEW BEST:: SOT 33596 SOS 11370 HAS SOPS 11370 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7405.37
AT ITER 2425 NEW BEST:: SOT 33581 SOS 11365 HAS SOPS 11365 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7400.365
AT ITER 2427 NEW BEST:: SOT 33581 SOS 11365 HAS SOPS 11365 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7391.365
AT ITER 2441 NEW BEST:: SOT 33578 SOS 11359 HAS SOPS 11359 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7382.359
AT ITER 2448 NEW BEST:: SOT 33582 SOS 11368 HAS SOPS 11368 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7381.368
AT ITER 2518 NEW BEST:: SOT 33585 SOS 11371 HAS SOPS 11371 HAS SOUS 7369 HAS SOUPS 7369 WITH SCORE 7380.371
AT ITER 2527 NEW BEST:: SOT 33589 SOS 11353 HAS SOPS 11353 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7362.353
AT ITER 2553 NEW BEST:: SOT 33589 SOS 11353 HAS SOPS 11353 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7360.353
AT ITER 2576 NEW BEST:: SOT 33589 SOS 11353 HAS SOPS 11353 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7358.353
AT ITER 2613 NEW BEST:: SOT 33657 SOS 11338 HAS SOPS 11338 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7319.338
AT ITER 2615 NEW BEST:: SOT 33652 SOS 11333 HAS SOPS 11333 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7314.333
AT ITER 2622 NEW BEST:: SOT 33649 SOS 11335 HAS SOPS 11335 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7308.335
AT ITER 2649 NEW BEST:: SOT 33649 SOS 11333 HAS SOPS 11333 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7307.333
AT ITER 2664 NEW BEST:: SOT 33647 SOS 11329 HAS SOPS 11329 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7303.329
AT ITER 2746 NEW BEST:: SOT 33640 SOS 11322 HAS SOPS 11322 HAS SOUS 7278 HAS SOUPS 7278 WITH SCORE 7289.322
AT ITER 2753 NEW BEST:: SOT 33640 SOS 11311 HAS SOPS 11311 HAS SOUS 7269 HAS SOUPS 7269 WITH SCORE 7280.311
AT ITER 2768 NEW BEST:: SOT 33682 SOS 11304 HAS SOPS 11304 HAS SOUS 7262 HAS SOUPS 7262 WITH SCORE 7273.304
AT ITER 2809 NEW BEST:: SOT 33685 SOS 11307 HAS SOPS 11307 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7266.307
AT ITER 2812 NEW BEST:: SOT 33700 SOS 11275 HAS SOPS 11275 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7249.275
AT ITER 2842 NEW BEST:: SOT 33691 SOS 11266 HAS SOPS 11266 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7243.266
AT ITER 2845 NEW BEST:: SOT 33677 SOS 11252 HAS SOPS 11252 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7229.252
AT ITER 2854 NEW BEST:: SOT 33670 SOS 11242 HAS SOPS 11242 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7201.242
AT ITER 2857 NEW BEST:: SOT 33670 SOS 11241 HAS SOPS 11241 HAS SOUS 7190 HAS SOUPS 7190 WITH SCORE 7201.241
AT ITER 2882 NEW BEST:: SOT 33657 SOS 11228 HAS SOPS 11228 HAS SOUS 7182 HAS SOUPS 7182 WITH SCORE 7193.228
AT ITER 2897 NEW BEST:: SOT 33657 SOS 11224 HAS SOPS 11224 HAS SOUS 7178 HAS SOUPS 7178 WITH SCORE 7189.224
AT ITER 2908 NEW BEST:: SOT 33657 SOS 11224 HAS SOPS 11224 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7188.224
AT ITER 2913 NEW BEST:: SOT 33638 SOS 11189 HAS SOPS 11189 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7150.189
AT ITER 2934 NEW BEST:: SOT 33636 SOS 11174 HAS SOPS 11174 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7146.174
AT ITER 2935 NEW BEST:: SOT 33631 SOS 11170 HAS SOPS 11170 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7132.17
AT ITER 2981 NEW BEST:: SOT 33634 SOS 11158 HAS SOPS 11158 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7123.158
AT ITER 2995 NEW BEST:: SOT 33634 SOS 11145 HAS SOPS 11145 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7110.145
AT ITER 3001 NEW BEST:: SOT 33641 SOS 11152 HAS SOPS 11152 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7090.152
AT ITER 3036 NEW BEST:: SOT 33641 SOS 11151 HAS SOPS 11151 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7089.151
AT ITER 3082 NEW BEST:: SOT 33640 SOS 11137 HAS SOPS 11137 HAS SOUS 7076 HAS SOUPS 7076 WITH SCORE 7087.137
AT ITER 3124 NEW BEST:: SOT 33638 SOS 11136 HAS SOPS 11136 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7085.136
AT ITER 3136 NEW BEST:: SOT 33630 SOS 11128 HAS SOPS 11128 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7075.128
AT ITER 3188 NEW BEST:: SOT 33629 SOS 11143 HAS SOPS 11143 HAS SOUS 7063 HAS SOUPS 7063 WITH SCORE 7074.143
AT ITER 3227 NEW BEST:: SOT 33633 SOS 11147 HAS SOPS 11147 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7055.147
AT ITER 3231 NEW BEST:: SOT 33622 SOS 11136 HAS SOPS 11136 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7034.136
AT ITER 3282 NEW BEST:: SOT 33620 SOS 11147 HAS SOPS 11147 HAS SOUS 7017 HAS SOUPS 7017 WITH SCORE 7028.147
AT ITER 3284 NEW BEST:: SOT 33614 SOS 11141 HAS SOPS 11141 HAS SOUS 7011 HAS SOUPS 7011 WITH SCORE 7022.141
AT ITER 3301 NEW BEST:: SOT 33620 SOS 11095 HAS SOPS 11095 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7008.095
AT ITER 3339 NEW BEST:: SOT 33620 SOS 11094 HAS SOPS 11094 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7007.094
AT ITER 3355 NEW BEST:: SOT 33558 SOS 11409 HAS SOPS 11409 HAS SOUS 6978 HAS SOUPS 6978 WITH SCORE 6989.409
AT ITER 3360 NEW BEST:: SOT 33557 SOS 11408 HAS SOPS 11408 HAS SOUS 6976 HAS SOUPS 6976 WITH SCORE 6987.408
AT ITER 3383 NEW BEST:: SOT 33548 SOS 11393 HAS SOPS 11393 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6964.393
AT ITER 3474 NEW BEST:: SOT 33547 SOS 11392 HAS SOPS 11392 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6959.392
AT ITER 3576 NEW BEST:: SOT 33541 SOS 11386 HAS SOPS 11386 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6953.386
AT ITER 3590 NEW BEST:: SOT 33541 SOS 11376 HAS SOPS 11376 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6953.376
AT ITER 3599 NEW BEST:: SOT 33536 SOS 11377 HAS SOPS 11377 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6951.377
AT ITER 3627 NEW BEST:: SOT 33530 SOS 11371 HAS SOPS 11371 HAS SOUS 6928 HAS SOUPS 6928 WITH SCORE 6939.371
AT ITER 3684 NEW BEST:: SOT 33529 SOS 11368 HAS SOPS 11368 HAS SOUS 6925 HAS SOUPS 6925 WITH SCORE 6936.368
AT ITER 3695 NEW BEST:: SOT 33529 SOS 11368 HAS SOPS 11368 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6932.368
AT ITER 3699 NEW BEST:: SOT 33529 SOS 11368 HAS SOPS 11368 HAS SOUS 6915 HAS SOUPS 6915 WITH SCORE 6926.368
AT ITER 3743 NEW BEST:: SOT 33509 SOS 11236 HAS SOPS 11236 HAS SOUS 6906 HAS SOUPS 6906 WITH SCORE 6917.236
AT ITER 3745 NEW BEST:: SOT 33520 SOS 11247 HAS SOPS 11247 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6914.247
AT ITER 3814 NEW BEST:: SOT 33520 SOS 11247 HAS SOPS 11247 HAS SOUS 6901 HAS SOUPS 6901 WITH SCORE 6912.247
AT ITER 3815 NEW BEST:: SOT 33506 SOS 11233 HAS SOPS 11233 HAS SOUS 6887 HAS SOUPS 6887 WITH SCORE 6898.233
AT ITER 3835 NEW BEST:: SOT 33506 SOS 11203 HAS SOPS 11203 HAS SOUS 6885 HAS SOUPS 6885 WITH SCORE 6896.203
AT ITER 3858 NEW BEST:: SOT 33505 SOS 11201 HAS SOPS 11201 HAS SOUS 6884 HAS SOUPS 6884 WITH SCORE 6895.201
AT ITER 3872 NEW BEST:: SOT 33502 SOS 11198 HAS SOPS 11198 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6888.198
AT ITER 3882 NEW BEST:: SOT 33498 SOS 11202 HAS SOPS 11202 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6884.202
AT ITER 3886 NEW BEST:: SOT 33495 SOS 11200 HAS SOPS 11200 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6879.2
AT ITER 3913 NEW BEST:: SOT 33493 SOS 11198 HAS SOPS 11198 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6877.198
AT ITER 3944 NEW BEST:: SOT 33492 SOS 11196 HAS SOPS 11196 HAS SOUS 6864 HAS SOUPS 6864 WITH SCORE 6875.196
AT ITER 3950 NEW BEST:: SOT 33496 SOS 11204 HAS SOPS 11204 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6872.204
AT ITER 3958 NEW BEST:: SOT 33498 SOS 11206 HAS SOPS 11206 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6871.206
AT ITER 3974 NEW BEST:: SOT 33498 SOS 11202 HAS SOPS 11202 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6863.202
AT ITER 3978 NEW BEST:: SOT 33498 SOS 11228 HAS SOPS 11228 HAS SOUS 6837 HAS SOUPS 6837 WITH SCORE 6848.228
AT ITER 4024 NEW BEST:: SOT 33496 SOS 11226 HAS SOPS 11226 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6844.226
AT ITER 4056 NEW BEST:: SOT 33494 SOS 11220 HAS SOPS 11220 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6840.22
AT ITER 4122 NEW BEST:: SOT 33468 SOS 11194 HAS SOPS 11194 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6788.194
AT ITER 4159 NEW BEST:: SOT 33470 SOS 11181 HAS SOPS 11181 HAS SOUS 6766 HAS SOUPS 6766 WITH SCORE 6777.181
AT ITER 4182 NEW BEST:: SOT 33459 SOS 11148 HAS SOPS 11148 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6766.148
AT ITER 4186 NEW BEST:: SOT 33459 SOS 11148 HAS SOPS 11148 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6764.148
AT ITER 4225 NEW BEST:: SOT 33459 SOS 11148 HAS SOPS 11148 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6762.148
AT ITER 4322 NEW BEST:: SOT 33457 SOS 11146 HAS SOPS 11146 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6760.146
AT ITER 4374 NEW BEST:: SOT 33452 SOS 11141 HAS SOPS 11141 HAS SOUS 6744 HAS SOUPS 6744 WITH SCORE 6755.141
AT ITER 4382 NEW BEST:: SOT 33451 SOS 11140 HAS SOPS 11140 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6753.14
AT ITER 4405 NEW BEST:: SOT 33449 SOS 11140 HAS SOPS 11140 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6750.14
AT ITER 4441 NEW BEST:: SOT 33435 SOS 11140 HAS SOPS 11140 HAS SOUS 6725 HAS SOUPS 6725 WITH SCORE 6736.14
AT ITER 4444 NEW BEST:: SOT 33433 SOS 11138 HAS SOPS 11138 HAS SOUS 6721 HAS SOUPS 6721 WITH SCORE 6732.138
AT ITER 4535 NEW BEST:: SOT 33432 SOS 11140 HAS SOPS 11140 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6731.14
AT ITER 4561 NEW BEST:: SOT 33431 SOS 11139 HAS SOPS 11139 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6729.139
AT ITER 4562 NEW BEST:: SOT 33403 SOS 11137 HAS SOPS 11137 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6711.137
AT ITER 4576 NEW BEST:: SOT 33400 SOS 11131 HAS SOPS 11131 HAS SOUS 6694 HAS SOUPS 6694 WITH SCORE 6705.131
AT ITER 4580 NEW BEST:: SOT 33396 SOS 11127 HAS SOPS 11127 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6701.127
AT ITER 4591 NEW BEST:: SOT 33382 SOS 11113 HAS SOPS 11113 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6673.113
AT ITER 4634 NEW BEST:: SOT 33382 SOS 11106 HAS SOPS 11106 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6673.106
AT ITER 4703 NEW BEST:: SOT 33370 SOS 11141 HAS SOPS 11141 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6665.141
AT ITER 4731 NEW BEST:: SOT 33370 SOS 11140 HAS SOPS 11140 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6665.14
AT ITER 4737 NEW BEST:: SOT 33363 SOS 11141 HAS SOPS 11141 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6651.141
AT ITER 4762 NEW BEST:: SOT 33347 SOS 11073 HAS SOPS 11073 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6619.073
AT ITER 4822 NEW BEST:: SOT 33338 SOS 11066 HAS SOPS 11066 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6611.066
AT ITER 4824 NEW BEST:: SOT 33340 SOS 11060 HAS SOPS 11060 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6606.06
AT ITER 4840 NEW BEST:: SOT 33339 SOS 11059 HAS SOPS 11059 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6606.059
AT ITER 4865 NEW BEST:: SOT 33339 SOS 11052 HAS SOPS 11052 HAS SOUS 6588 HAS SOUPS 6588 WITH SCORE 6599.052
AT ITER 4947 NEW BEST:: SOT 33339 SOS 11047 HAS SOPS 11047 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6594.047
AT ITER 4987 NEW BEST:: SOT 33339 SOS 11046 HAS SOPS 11046 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6594.046
AT ITER 4990 NEW BEST:: SOT 33336 SOS 11043 HAS SOPS 11043 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6586.043
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: HospitalTriage-PT-none-CTLCardinality-00 ( (EX( ( ( potential( ( 3 ) <= (tk(P241)) ) & potential( ( 2 ) <= (tk(P36)) ) ) | potential( ( 1 ) <= (tk(P157)) ) ))) | (EF(potential( ( 2 ) <= (tk(P104)) ))) )
PROPERTY: HospitalTriage-PT-none-CTLCardinality-01 (AF((AX( (! potential( ( 1 ) <= (tk(P105)) ))))))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-02 ( ( (EU( potential( (tk(P113)) <= (tk(P23)) ),potential( ( 1 ) <= (tk(P7)) ) )) | ( (AF(potential( (tk(P238)) <= (tk(P189)) ))) & (! ( potential( ( 2 ) <= (tk(P149)) ) | potential( (tk(P83)) <= (tk(P245)) ) )) ) ) & (AU( ( potential( (tk(P101)) <= (tk(P72)) ) | potential( (tk(P164)) <= (tk(P55)) ) ),( potential( ( 2 ) <= (tk(P215)) ) & potential( ( 3 ) <= (tk(P11)) ) ) )) )
PROPERTY: HospitalTriage-PT-none-CTLCardinality-03 (AG( (! (! (! potential( ( 1 ) <= (tk(P34)) ))))))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-04 (EF((! (! ( potential( (tk(P23)) <= (tk(P32)) ) & potential( ( 3 ) <= (tk(P114)) ) )))))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-05 ( (! (EU( potential( (tk(P1)) <= (tk(P193)) ),potential( ( 3 ) <= (tk(P112)) ) ))) & ( (! (! (! potential( ( 3 ) <= (tk(P6)) )))) | (! (AG( potential( (tk(P112)) <= (tk(P207)) )))) ) )
PROPERTY: HospitalTriage-PT-none-CTLCardinality-06 (EG( (AU( potential( (tk(P99)) <= (tk(P238)) ),potential( ( 1 ) <= (tk(P133)) ) ))))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-07 ( (EG( (! ( potential( ( 2 ) <= (tk(P32)) ) & potential( (tk(P106)) <= (tk(P95)) ) )))) & potential( (tk(P121)) <= (tk(P66)) ) )
PROPERTY: HospitalTriage-PT-none-CTLCardinality-08 (EG( ( (! ( potential( ( 2 ) <= (tk(P61)) ) & potential( ( 3 ) <= (tk(P64)) ) )) | (AF(potential( (tk(P158)) <= (tk(P51)) ))) )))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-09 (EG( ( (! ( potential( (tk(P169)) <= (tk(P10)) ) | potential( ( 3 ) <= (tk(P24)) ) )) | (AF(potential( (tk(P236)) <= (tk(P17)) ))) )))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-10 (AU( potential( (tk(P44)) <= (tk(P53)) ),(EG( potential( (tk(P9)) <= (tk(P42)) ))) ))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-11 (EU( (AX( potential( (tk(P68)) <= (tk(P147)) ))),( ( potential( ( 3 ) <= (tk(P175)) ) & potential( ( 1 ) <= (tk(P65)) ) ) & ( potential( ( 1 ) <= (tk(P128)) ) & potential( (tk(P127)) <= (tk(P183)) ) ) ) ))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-12 (EU( (AF(potential( (tk(P62)) <= (tk(P81)) ))),(AF(potential( ( 2 ) <= (tk(P113)) ))) ))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-13 ( ( (EX( ( potential( (tk(P60)) <= (tk(P92)) ) | potential( ( 2 ) <= (tk(P161)) ) ))) | potential( ( 1 ) <= (tk(P17)) ) ) & ( (AU( potential( (tk(P173)) <= (tk(P206)) ),potential( ( 1 ) <= (tk(P101)) ) )) & ( (EF(potential( (tk(P30)) <= (tk(P48)) ))) | (! (! potential( (tk(P226)) <= (tk(P141)) ))) ) ) )
PROPERTY: HospitalTriage-PT-none-CTLCardinality-14 (AF(( (AF(potential( (tk(P77)) <= (tk(P156)) ))) & ( (! potential( ( 2 ) <= (tk(P153)) )) & potential( ( 2 ) <= (tk(P72)) ) ) )))
PROPERTY: HospitalTriage-PT-none-CTLCardinality-15 (EG( (EU( potential( (tk(P82)) <= (tk(P173)) ),potential( (tk(P116)) <= (tk(P168)) ) ))))
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="CTLCardinality"
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 CTLCardinality"
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-158940140100131"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;