About the Execution of smart for BusinessProcesses-PT-03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15768.490 | 3600000.00 | 3596020.00 | 0.00 | F??????????????? | normal |
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.r018-oct2-158897680000467.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 BusinessProcesses-PT-03, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000467
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 63K 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 BusinessProcesses-PT-03-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-03-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589017297008
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 03
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: 274 places, 237 transitions, 632 arcs.
AT ITER 0 NEW BEST:: SOT 42126 SOS 18114 HAS SOPS 18114 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17271.114
AT ITER 5 NEW BEST:: SOT 42013 SOS 17995 HAS SOPS 17995 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17154.995
AT ITER 9 NEW BEST:: SOT 42003 SOS 17985 HAS SOPS 17985 HAS SOUS 17137 HAS SOUPS 17137 WITH SCORE 17154.985
AT ITER 10 NEW BEST:: SOT 42030 SOS 17970 HAS SOPS 17970 HAS SOUS 17119 HAS SOUPS 17119 WITH SCORE 17136.97
AT ITER 13 NEW BEST:: SOT 41978 SOS 17958 HAS SOPS 17958 HAS SOUS 17107 HAS SOUPS 17107 WITH SCORE 17124.958
AT ITER 22 NEW BEST:: SOT 41978 SOS 17885 HAS SOPS 17885 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17051.885
AT ITER 23 NEW BEST:: SOT 41978 SOS 17872 HAS SOPS 17872 HAS SOUS 17021 HAS SOUPS 17021 WITH SCORE 17038.872
AT ITER 26 NEW BEST:: SOT 41902 SOS 17771 HAS SOPS 17771 HAS SOUS 16920 HAS SOUPS 16920 WITH SCORE 16937.771
AT ITER 34 NEW BEST:: SOT 41894 SOS 17595 HAS SOPS 17595 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16911.595
AT ITER 44 NEW BEST:: SOT 41879 SOS 17587 HAS SOPS 17587 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16903.587
AT ITER 47 NEW BEST:: SOT 41807 SOS 17225 HAS SOPS 17225 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16730.225
AT ITER 50 NEW BEST:: SOT 41787 SOS 17144 HAS SOPS 17144 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16649.144
AT ITER 58 NEW BEST:: SOT 41787 SOS 17070 HAS SOPS 17070 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16575.07
AT ITER 59 NEW BEST:: SOT 41723 SOS 16970 HAS SOPS 16970 HAS SOUS 16482 HAS SOUPS 16482 WITH SCORE 16498.97
AT ITER 67 NEW BEST:: SOT 41666 SOS 16856 HAS SOPS 16856 HAS SOUS 16368 HAS SOUPS 16368 WITH SCORE 16384.856
AT ITER 73 NEW BEST:: SOT 41641 SOS 16842 HAS SOPS 16842 HAS SOUS 16354 HAS SOUPS 16354 WITH SCORE 16370.842
AT ITER 94 NEW BEST:: SOT 41656 SOS 16838 HAS SOPS 16838 HAS SOUS 16353 HAS SOUPS 16353 WITH SCORE 16369.838
AT ITER 101 NEW BEST:: SOT 41652 SOS 16834 HAS SOPS 16834 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16365.834
AT ITER 102 NEW BEST:: SOT 41651 SOS 16833 HAS SOPS 16833 HAS SOUS 16348 HAS SOUPS 16348 WITH SCORE 16364.833
AT ITER 109 NEW BEST:: SOT 41643 SOS 16817 HAS SOPS 16817 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16348.817
AT ITER 118 NEW BEST:: SOT 41643 SOS 16811 HAS SOPS 16811 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16348.811
AT ITER 120 NEW BEST:: SOT 41643 SOS 16793 HAS SOPS 16793 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16330.793
AT ITER 127 NEW BEST:: SOT 41689 SOS 16819 HAS SOPS 16819 HAS SOUS 16274 HAS SOUPS 16274 WITH SCORE 16290.819
AT ITER 131 NEW BEST:: SOT 41583 SOS 16700 HAS SOPS 16700 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16185.7
AT ITER 135 NEW BEST:: SOT 41563 SOS 16695 HAS SOPS 16695 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16156.695
AT ITER 138 NEW BEST:: SOT 41557 SOS 16689 HAS SOPS 16689 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16150.689
AT ITER 155 NEW BEST:: SOT 41549 SOS 16617 HAS SOPS 16617 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16078.617
AT ITER 164 NEW BEST:: SOT 41554 SOS 16593 HAS SOPS 16593 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16054.593
AT ITER 166 NEW BEST:: SOT 41495 SOS 16498 HAS SOPS 16498 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15959.498
AT ITER 185 NEW BEST:: SOT 41462 SOS 16429 HAS SOPS 16429 HAS SOUS 15874 HAS SOUPS 15874 WITH SCORE 15890.429
AT ITER 186 NEW BEST:: SOT 41458 SOS 16421 HAS SOPS 16421 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15888.421
AT ITER 197 NEW BEST:: SOT 40242 SOS 22697 HAS SOPS 22697 HAS SOUS 15139 HAS SOUPS 15139 WITH SCORE 15161.697
AT ITER 208 NEW BEST:: SOT 40231 SOS 22669 HAS SOPS 22669 HAS SOUS 15084 HAS SOUPS 15084 WITH SCORE 15106.669
AT ITER 218 NEW BEST:: SOT 40089 SOS 22455 HAS SOPS 22455 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14974.455
AT ITER 233 NEW BEST:: SOT 40035 SOS 22347 HAS SOPS 22347 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14866.347
AT ITER 236 NEW BEST:: SOT 40117 SOS 22336 HAS SOPS 22336 HAS SOUS 14833 HAS SOUPS 14833 WITH SCORE 14855.336
AT ITER 238 NEW BEST:: SOT 40116 SOS 22335 HAS SOPS 22335 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14854.335
AT ITER 240 NEW BEST:: SOT 40161 SOS 22380 HAS SOPS 22380 HAS SOUS 14831 HAS SOUPS 14831 WITH SCORE 14853.38
AT ITER 247 NEW BEST:: SOT 40143 SOS 22332 HAS SOPS 22332 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14805.332
AT ITER 252 NEW BEST:: SOT 40179 SOS 22368 HAS SOPS 22368 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14804.368
AT ITER 255 NEW BEST:: SOT 40173 SOS 22353 HAS SOPS 22353 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14801.353
AT ITER 263 NEW BEST:: SOT 40111 SOS 22260 HAS SOPS 22260 HAS SOUS 14694 HAS SOUPS 14694 WITH SCORE 14716.26
AT ITER 268 NEW BEST:: SOT 40111 SOS 22260 HAS SOPS 22260 HAS SOUS 14692 HAS SOUPS 14692 WITH SCORE 14714.26
AT ITER 273 NEW BEST:: SOT 40098 SOS 22227 HAS SOPS 22227 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14681.227
AT ITER 284 NEW BEST:: SOT 40032 SOS 22128 HAS SOPS 22128 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14615.128
AT ITER 292 NEW BEST:: SOT 40032 SOS 22128 HAS SOPS 22128 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14613.128
AT ITER 298 NEW BEST:: SOT 39954 SOS 22045 HAS SOPS 22045 HAS SOUS 14582 HAS SOUPS 14582 WITH SCORE 14604.045
AT ITER 299 NEW BEST:: SOT 39840 SOS 21874 HAS SOPS 21874 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14489.874
AT ITER 301 NEW BEST:: SOT 39785 SOS 21819 HAS SOPS 21819 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14434.819
AT ITER 302 NEW BEST:: SOT 39783 SOS 21669 HAS SOPS 21669 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14294.669
AT ITER 303 NEW BEST:: SOT 39783 SOS 21628 HAS SOPS 21628 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14253.628
AT ITER 316 NEW BEST:: SOT 39767 SOS 21585 HAS SOPS 21585 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14218.585
AT ITER 332 NEW BEST:: SOT 39859 SOS 21600 HAS SOPS 21600 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14164.6
AT ITER 333 NEW BEST:: SOT 39726 SOS 21414 HAS SOPS 21414 HAS SOUS 14037 HAS SOUPS 14037 WITH SCORE 14058.414
AT ITER 336 NEW BEST:: SOT 39721 SOS 21409 HAS SOPS 21409 HAS SOUS 14032 HAS SOUPS 14032 WITH SCORE 14053.409
AT ITER 337 NEW BEST:: SOT 39717 SOS 21401 HAS SOPS 21401 HAS SOUS 14024 HAS SOUPS 14024 WITH SCORE 14045.401
AT ITER 348 NEW BEST:: SOT 39706 SOS 21379 HAS SOPS 21379 HAS SOUS 14002 HAS SOUPS 14002 WITH SCORE 14023.379
AT ITER 363 NEW BEST:: SOT 39660 SOS 21372 HAS SOPS 21372 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14016.372
AT ITER 365 NEW BEST:: SOT 39673 SOS 21225 HAS SOPS 21225 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13973.225
AT ITER 380 NEW BEST:: SOT 39669 SOS 21214 HAS SOPS 21214 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13962.214
AT ITER 385 NEW BEST:: SOT 39667 SOS 21212 HAS SOPS 21212 HAS SOUS 13939 HAS SOUPS 13939 WITH SCORE 13960.212
AT ITER 387 NEW BEST:: SOT 39651 SOS 21180 HAS SOPS 21180 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13942.18
AT ITER 388 NEW BEST:: SOT 39603 SOS 21132 HAS SOPS 21132 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13894.132
AT ITER 405 NEW BEST:: SOT 39603 SOS 21125 HAS SOPS 21125 HAS SOUS 13866 HAS SOUPS 13866 WITH SCORE 13887.125
AT ITER 406 NEW BEST:: SOT 39603 SOS 21111 HAS SOPS 21111 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13873.111
AT ITER 418 NEW BEST:: SOT 39563 SOS 21016 HAS SOPS 21016 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13822.016
AT ITER 420 NEW BEST:: SOT 39563 SOS 20948 HAS SOPS 20948 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13819.948
AT ITER 438 NEW BEST:: SOT 39632 SOS 20998 HAS SOPS 20998 HAS SOUS 13767 HAS SOUPS 13767 WITH SCORE 13787.998
AT ITER 439 NEW BEST:: SOT 39608 SOS 20916 HAS SOPS 20916 HAS SOUS 13698 HAS SOUPS 13698 WITH SCORE 13718.916
AT ITER 454 NEW BEST:: SOT 39606 SOS 20914 HAS SOPS 20914 HAS SOUS 13696 HAS SOUPS 13696 WITH SCORE 13716.914
AT ITER 456 NEW BEST:: SOT 39521 SOS 20635 HAS SOPS 20635 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13595.635
AT ITER 463 NEW BEST:: SOT 39521 SOS 20541 HAS SOPS 20541 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13473.541
AT ITER 481 NEW BEST:: SOT 39513 SOS 20533 HAS SOPS 20533 HAS SOUS 13453 HAS SOUPS 13453 WITH SCORE 13473.533
AT ITER 488 NEW BEST:: SOT 39499 SOS 20440 HAS SOPS 20440 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13329.44
AT ITER 489 NEW BEST:: SOT 39499 SOS 20398 HAS SOPS 20398 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13329.398
AT ITER 495 NEW BEST:: SOT 39497 SOS 20424 HAS SOPS 20424 HAS SOUS 13304 HAS SOUPS 13304 WITH SCORE 13324.424
AT ITER 496 NEW BEST:: SOT 39497 SOS 20368 HAS SOPS 20368 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13317.368
AT ITER 497 NEW BEST:: SOT 39489 SOS 20360 HAS SOPS 20360 HAS SOUS 13289 HAS SOUPS 13289 WITH SCORE 13309.36
AT ITER 500 NEW BEST:: SOT 39476 SOS 20347 HAS SOPS 20347 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13274.347
AT ITER 509 NEW BEST:: SOT 39470 SOS 20341 HAS SOPS 20341 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13268.341
AT ITER 531 NEW BEST:: SOT 39468 SOS 20338 HAS SOPS 20338 HAS SOUS 13245 HAS SOUPS 13245 WITH SCORE 13265.338
AT ITER 536 NEW BEST:: SOT 39464 SOS 20268 HAS SOPS 20268 HAS SOUS 13197 HAS SOUPS 13197 WITH SCORE 13217.268
AT ITER 538 NEW BEST:: SOT 39464 SOS 20228 HAS SOPS 20228 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13177.228
AT ITER 541 NEW BEST:: SOT 39458 SOS 20220 HAS SOPS 20220 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13169.22
AT ITER 545 NEW BEST:: SOT 39459 SOS 20221 HAS SOPS 20221 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13157.221
AT ITER 552 NEW BEST:: SOT 39455 SOS 20200 HAS SOPS 20200 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13136.2
AT ITER 566 NEW BEST:: SOT 39464 SOS 20230 HAS SOPS 20230 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13130.23
AT ITER 578 NEW BEST:: SOT 39319 SOS 20015 HAS SOPS 20015 HAS SOUS 12970 HAS SOUPS 12970 WITH SCORE 12990.015
AT ITER 585 NEW BEST:: SOT 39327 SOS 19987 HAS SOPS 19987 HAS SOUS 12970 HAS SOUPS 12970 WITH SCORE 12989.987
AT ITER 588 NEW BEST:: SOT 39259 SOS 19957 HAS SOPS 19957 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12938.957
AT ITER 592 NEW BEST:: SOT 39258 SOS 19901 HAS SOPS 19901 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12936.901
AT ITER 593 NEW BEST:: SOT 39224 SOS 19833 HAS SOPS 19833 HAS SOUS 12885 HAS SOUPS 12885 WITH SCORE 12904.833
AT ITER 595 NEW BEST:: SOT 39170 SOS 19759 HAS SOPS 19759 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12895.759
AT ITER 604 NEW BEST:: SOT 39170 SOS 19758 HAS SOPS 19758 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12894.758
AT ITER 614 NEW BEST:: SOT 39169 SOS 19757 HAS SOPS 19757 HAS SOUS 12874 HAS SOUPS 12874 WITH SCORE 12893.757
AT ITER 637 NEW BEST:: SOT 39127 SOS 19691 HAS SOPS 19691 HAS SOUS 12808 HAS SOUPS 12808 WITH SCORE 12827.691
AT ITER 642 NEW BEST:: SOT 39069 SOS 19586 HAS SOPS 19586 HAS SOUS 12703 HAS SOUPS 12703 WITH SCORE 12722.586
AT ITER 647 NEW BEST:: SOT 39086 SOS 19603 HAS SOPS 19603 HAS SOUS 12697 HAS SOUPS 12697 WITH SCORE 12716.603
AT ITER 648 NEW BEST:: SOT 39001 SOS 19314 HAS SOPS 19314 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12616.314
AT ITER 649 NEW BEST:: SOT 39001 SOS 19261 HAS SOPS 19261 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12616.261
AT ITER 653 NEW BEST:: SOT 38953 SOS 19213 HAS SOPS 19213 HAS SOUS 12549 HAS SOUPS 12549 WITH SCORE 12568.213
AT ITER 656 NEW BEST:: SOT 38866 SOS 19035 HAS SOPS 19035 HAS SOUS 12371 HAS SOUPS 12371 WITH SCORE 12390.035
AT ITER 666 NEW BEST:: SOT 38688 SOS 18793 HAS SOPS 18793 HAS SOUS 12352 HAS SOUPS 12352 WITH SCORE 12370.793
AT ITER 667 NEW BEST:: SOT 38684 SOS 18693 HAS SOPS 18693 HAS SOUS 12252 HAS SOUPS 12252 WITH SCORE 12270.693
AT ITER 672 NEW BEST:: SOT 38626 SOS 18635 HAS SOPS 18635 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12212.635
AT ITER 688 NEW BEST:: SOT 38622 SOS 18631 HAS SOPS 18631 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12208.631
AT ITER 692 NEW BEST:: SOT 38652 SOS 18622 HAS SOPS 18622 HAS SOUS 12177 HAS SOUPS 12177 WITH SCORE 12195.622
AT ITER 700 NEW BEST:: SOT 38650 SOS 18618 HAS SOPS 18618 HAS SOUS 12173 HAS SOUPS 12173 WITH SCORE 12191.618
AT ITER 703 NEW BEST:: SOT 38643 SOS 18611 HAS SOPS 18611 HAS SOUS 12166 HAS SOUPS 12166 WITH SCORE 12184.611
AT ITER 724 NEW BEST:: SOT 38633 SOS 18601 HAS SOPS 18601 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12174.601
AT ITER 732 NEW BEST:: SOT 38630 SOS 18598 HAS SOPS 18598 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12171.598
AT ITER 737 NEW BEST:: SOT 38615 SOS 18574 HAS SOPS 18574 HAS SOUS 12129 HAS SOUPS 12129 WITH SCORE 12147.574
AT ITER 745 NEW BEST:: SOT 38615 SOS 18574 HAS SOPS 18574 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12125.574
AT ITER 759 NEW BEST:: SOT 38569 SOS 18598 HAS SOPS 18598 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12091.598
AT ITER 766 NEW BEST:: SOT 38539 SOS 18568 HAS SOPS 18568 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12091.568
AT ITER 772 NEW BEST:: SOT 38534 SOS 18563 HAS SOPS 18563 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12086.563
AT ITER 774 NEW BEST:: SOT 38533 SOS 18561 HAS SOPS 18561 HAS SOUS 12066 HAS SOUPS 12066 WITH SCORE 12084.561
AT ITER 786 NEW BEST:: SOT 38495 SOS 18521 HAS SOPS 18521 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12044.521
AT ITER 793 NEW BEST:: SOT 38478 SOS 18493 HAS SOPS 18493 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12037.493
AT ITER 796 NEW BEST:: SOT 38478 SOS 18458 HAS SOPS 18458 HAS SOUS 12019 HAS SOUPS 12019 WITH SCORE 12037.458
AT ITER 805 NEW BEST:: SOT 38440 SOS 18373 HAS SOPS 18373 HAS SOUS 11934 HAS SOUPS 11934 WITH SCORE 11952.373
AT ITER 813 NEW BEST:: SOT 38421 SOS 18354 HAS SOPS 18354 HAS SOUS 11934 HAS SOUPS 11934 WITH SCORE 11952.354
AT ITER 818 NEW BEST:: SOT 38421 SOS 18354 HAS SOPS 18354 HAS SOUS 11927 HAS SOUPS 11927 WITH SCORE 11945.354
AT ITER 841 NEW BEST:: SOT 38380 SOS 18158 HAS SOPS 18158 HAS SOUS 11878 HAS SOUPS 11878 WITH SCORE 11896.158
AT ITER 845 NEW BEST:: SOT 38380 SOS 18158 HAS SOPS 18158 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11890.158
AT ITER 848 NEW BEST:: SOT 38371 SOS 18149 HAS SOPS 18149 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11881.149
AT ITER 864 NEW BEST:: SOT 38353 SOS 18131 HAS SOPS 18131 HAS SOUS 11855 HAS SOUPS 11855 WITH SCORE 11873.131
AT ITER 887 NEW BEST:: SOT 38336 SOS 18114 HAS SOPS 18114 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11856.114
AT ITER 896 NEW BEST:: SOT 38311 SOS 18089 HAS SOPS 18089 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11831.089
AT ITER 904 NEW BEST:: SOT 38309 SOS 18079 HAS SOPS 18079 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11821.079
AT ITER 909 NEW BEST:: SOT 38309 SOS 18070 HAS SOPS 18070 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11821.07
AT ITER 920 NEW BEST:: SOT 38226 SOS 17909 HAS SOPS 17909 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11659.909
AT ITER 924 NEW BEST:: SOT 38192 SOS 17905 HAS SOPS 17905 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11655.905
AT ITER 948 NEW BEST:: SOT 38179 SOS 17879 HAS SOPS 17879 HAS SOUS 11612 HAS SOUPS 11612 WITH SCORE 11629.879
AT ITER 951 NEW BEST:: SOT 38177 SOS 17877 HAS SOPS 17877 HAS SOUS 11605 HAS SOUPS 11605 WITH SCORE 11622.877
AT ITER 962 NEW BEST:: SOT 38179 SOS 17871 HAS SOPS 17871 HAS SOUS 11599 HAS SOUPS 11599 WITH SCORE 11616.871
AT ITER 965 NEW BEST:: SOT 38180 SOS 17842 HAS SOPS 17842 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11614.842
AT ITER 976 NEW BEST:: SOT 38177 SOS 17764 HAS SOPS 17764 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11534.764
AT ITER 988 NEW BEST:: SOT 38169 SOS 17748 HAS SOPS 17748 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11526.748
AT ITER 1027 NEW BEST:: SOT 38169 SOS 17701 HAS SOPS 17701 HAS SOUS 11462 HAS SOUPS 11462 WITH SCORE 11479.701
AT ITER 1072 NEW BEST:: SOT 38169 SOS 17691 HAS SOPS 17691 HAS SOUS 11452 HAS SOUPS 11452 WITH SCORE 11469.691
AT ITER 1073 NEW BEST:: SOT 38169 SOS 17691 HAS SOPS 17691 HAS SOUS 11449 HAS SOUPS 11449 WITH SCORE 11466.691
AT ITER 1075 NEW BEST:: SOT 38171 SOS 17693 HAS SOPS 17693 HAS SOUS 11429 HAS SOUPS 11429 WITH SCORE 11446.693
AT ITER 1099 NEW BEST:: SOT 38166 SOS 17622 HAS SOPS 17622 HAS SOUS 11392 HAS SOUPS 11392 WITH SCORE 11409.622
AT ITER 1113 NEW BEST:: SOT 38165 SOS 17604 HAS SOPS 17604 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11408.604
AT ITER 1114 NEW BEST:: SOT 38165 SOS 17533 HAS SOPS 17533 HAS SOUS 11391 HAS SOUPS 11391 WITH SCORE 11408.533
AT ITER 1120 NEW BEST:: SOT 38160 SOS 17523 HAS SOPS 17523 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11398.523
AT ITER 1122 NEW BEST:: SOT 38133 SOS 17469 HAS SOPS 17469 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11395.469
AT ITER 1127 NEW BEST:: SOT 38104 SOS 17479 HAS SOPS 17479 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11379.479
AT ITER 1129 NEW BEST:: SOT 38091 SOS 17453 HAS SOPS 17453 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11353.453
AT ITER 1134 NEW BEST:: SOT 38090 SOS 17451 HAS SOPS 17451 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11351.451
AT ITER 1144 NEW BEST:: SOT 38076 SOS 17436 HAS SOPS 17436 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11336.436
AT ITER 1147 NEW BEST:: SOT 38090 SOS 17288 HAS SOPS 17288 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11263.288
AT ITER 1151 NEW BEST:: SOT 38039 SOS 17221 HAS SOPS 17221 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11196.221
AT ITER 1158 NEW BEST:: SOT 38039 SOS 17208 HAS SOPS 17208 HAS SOUS 11179 HAS SOUPS 11179 WITH SCORE 11196.208
AT ITER 1161 NEW BEST:: SOT 38011 SOS 17151 HAS SOPS 17151 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11139.151
AT ITER 1162 NEW BEST:: SOT 38003 SOS 17135 HAS SOPS 17135 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11115.135
AT ITER 1219 NEW BEST:: SOT 37987 SOS 17104 HAS SOPS 17104 HAS SOUS 11082 HAS SOUPS 11082 WITH SCORE 11099.104
AT ITER 1229 NEW BEST:: SOT 37964 SOS 17040 HAS SOPS 17040 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11076.04
AT ITER 1231 NEW BEST:: SOT 37953 SOS 17018 HAS SOPS 17018 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11054.018
AT ITER 1251 NEW BEST:: SOT 37965 SOS 17008 HAS SOPS 17008 HAS SOUS 11027 HAS SOUPS 11027 WITH SCORE 11044.008
AT ITER 1261 NEW BEST:: SOT 37954 SOS 16974 HAS SOPS 16974 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11014.974
AT ITER 1293 NEW BEST:: SOT 37908 SOS 16922 HAS SOPS 16922 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10962.922
AT ITER 1300 NEW BEST:: SOT 37864 SOS 16740 HAS SOPS 16740 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10925.74
AT ITER 1327 NEW BEST:: SOT 37847 SOS 16723 HAS SOPS 16723 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10908.723
AT ITER 1337 NEW BEST:: SOT 37842 SOS 16718 HAS SOPS 16718 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10903.718
AT ITER 1342 NEW BEST:: SOT 37835 SOS 16677 HAS SOPS 16677 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10889.677
AT ITER 1349 NEW BEST:: SOT 37840 SOS 16679 HAS SOPS 16679 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10883.679
AT ITER 1386 NEW BEST:: SOT 37800 SOS 16607 HAS SOPS 16607 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10826.607
AT ITER 1392 NEW BEST:: SOT 37790 SOS 16587 HAS SOPS 16587 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10806.587
AT ITER 1412 NEW BEST:: SOT 37811 SOS 16582 HAS SOPS 16582 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10801.582
AT ITER 1413 NEW BEST:: SOT 37811 SOS 16580 HAS SOPS 16580 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10801.58
AT ITER 1419 NEW BEST:: SOT 37811 SOS 16575 HAS SOPS 16575 HAS SOUS 10785 HAS SOUPS 10785 WITH SCORE 10801.575
AT ITER 1422 NEW BEST:: SOT 37807 SOS 16567 HAS SOPS 16567 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10797.567
AT ITER 1423 NEW BEST:: SOT 37749 SOS 16509 HAS SOPS 16509 HAS SOUS 10781 HAS SOUPS 10781 WITH SCORE 10797.509
AT ITER 1433 NEW BEST:: SOT 37750 SOS 16509 HAS SOPS 16509 HAS SOUS 10769 HAS SOUPS 10769 WITH SCORE 10785.509
AT ITER 1456 NEW BEST:: SOT 37733 SOS 16492 HAS SOPS 16492 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10768.492
AT ITER 1466 NEW BEST:: SOT 37733 SOS 16491 HAS SOPS 16491 HAS SOUS 10751 HAS SOUPS 10751 WITH SCORE 10767.491
AT ITER 1481 NEW BEST:: SOT 37712 SOS 16463 HAS SOPS 16463 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10739.463
AT ITER 1486 NEW BEST:: SOT 37660 SOS 16385 HAS SOPS 16385 HAS SOUS 10664 HAS SOUPS 10664 WITH SCORE 10680.385
AT ITER 1495 NEW BEST:: SOT 37651 SOS 16376 HAS SOPS 16376 HAS SOUS 10655 HAS SOUPS 10655 WITH SCORE 10671.376
AT ITER 1498 NEW BEST:: SOT 37641 SOS 16356 HAS SOPS 16356 HAS SOUS 10635 HAS SOUPS 10635 WITH SCORE 10651.356
AT ITER 1509 NEW BEST:: SOT 37596 SOS 16311 HAS SOPS 16311 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10606.311
AT ITER 1520 NEW BEST:: SOT 37579 SOS 16289 HAS SOPS 16289 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10584.289
AT ITER 1529 NEW BEST:: SOT 37646 SOS 16251 HAS SOPS 16251 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10566.251
AT ITER 1545 NEW BEST:: SOT 37788 SOS 16292 HAS SOPS 16292 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10423.292
AT ITER 1549 NEW BEST:: SOT 37772 SOS 16276 HAS SOPS 16276 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10423.276
AT ITER 1557 NEW BEST:: SOT 37781 SOS 16274 HAS SOPS 16274 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10406.274
AT ITER 1571 NEW BEST:: SOT 37761 SOS 16307 HAS SOPS 16307 HAS SOUS 10370 HAS SOUPS 10370 WITH SCORE 10386.307
AT ITER 1578 NEW BEST:: SOT 37743 SOS 16271 HAS SOPS 16271 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10350.271
AT ITER 1586 NEW BEST:: SOT 37734 SOS 16253 HAS SOPS 16253 HAS SOUS 10325 HAS SOUPS 10325 WITH SCORE 10341.253
AT ITER 1604 NEW BEST:: SOT 37671 SOS 16251 HAS SOPS 16251 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10316.251
AT ITER 1629 NEW BEST:: SOT 37677 SOS 16246 HAS SOPS 16246 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10313.246
AT ITER 1641 NEW BEST:: SOT 37640 SOS 16205 HAS SOPS 16205 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10272.205
AT ITER 1663 NEW BEST:: SOT 37640 SOS 16202 HAS SOPS 16202 HAS SOUS 10253 HAS SOUPS 10253 WITH SCORE 10269.202
AT ITER 1671 NEW BEST:: SOT 37640 SOS 16202 HAS SOPS 16202 HAS SOUS 10251 HAS SOUPS 10251 WITH SCORE 10267.202
AT ITER 1688 NEW BEST:: SOT 37652 SOS 16156 HAS SOPS 16156 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10221.156
AT ITER 1706 NEW BEST:: SOT 37652 SOS 16156 HAS SOPS 16156 HAS SOUS 10199 HAS SOUPS 10199 WITH SCORE 10215.156
AT ITER 1712 NEW BEST:: SOT 37608 SOS 16125 HAS SOPS 16125 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10164.125
AT ITER 1722 NEW BEST:: SOT 37607 SOS 16123 HAS SOPS 16123 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10162.123
AT ITER 1805 NEW BEST:: SOT 37540 SOS 16084 HAS SOPS 16084 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10140.084
AT ITER 1807 NEW BEST:: SOT 37538 SOS 16082 HAS SOPS 16082 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10138.082
AT ITER 1813 NEW BEST:: SOT 37530 SOS 16066 HAS SOPS 16066 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10122.066
AT ITER 1815 NEW BEST:: SOT 37511 SOS 16047 HAS SOPS 16047 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10122.047
AT ITER 1822 NEW BEST:: SOT 37500 SOS 16046 HAS SOPS 16046 HAS SOUS 10105 HAS SOUPS 10105 WITH SCORE 10121.046
AT ITER 1832 NEW BEST:: SOT 37500 SOS 16033 HAS SOPS 16033 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10108.033
AT ITER 1851 NEW BEST:: SOT 37500 SOS 16028 HAS SOPS 16028 HAS SOUS 10087 HAS SOUPS 10087 WITH SCORE 10103.028
AT ITER 1852 NEW BEST:: SOT 37486 SOS 16014 HAS SOPS 16014 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10089.014
AT ITER 1860 NEW BEST:: SOT 37486 SOS 15985 HAS SOPS 15985 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10059.985
AT ITER 1885 NEW BEST:: SOT 37500 SOS 15984 HAS SOPS 15984 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10058.984
AT ITER 1888 NEW BEST:: SOT 37500 SOS 15978 HAS SOPS 15978 HAS SOUS 10031 HAS SOUPS 10031 WITH SCORE 10046.978
AT ITER 1918 NEW BEST:: SOT 37500 SOS 15978 HAS SOPS 15978 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10024.978
AT ITER 1920 NEW BEST:: SOT 37482 SOS 15961 HAS SOPS 15961 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10007.961
AT ITER 1933 NEW BEST:: SOT 37477 SOS 15951 HAS SOPS 15951 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9982.951
AT ITER 1942 NEW BEST:: SOT 37472 SOS 15950 HAS SOPS 15950 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9981.95
AT ITER 1989 NEW BEST:: SOT 37509 SOS 15999 HAS SOPS 15999 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9958.999
AT ITER 2016 NEW BEST:: SOT 37495 SOS 15995 HAS SOPS 15995 HAS SOUS 9943 HAS SOUPS 9943 WITH SCORE 9958.995
AT ITER 2034 NEW BEST:: SOT 37492 SOS 15992 HAS SOPS 15992 HAS SOUS 9940 HAS SOUPS 9940 WITH SCORE 9955.992
AT ITER 2037 NEW BEST:: SOT 37477 SOS 15989 HAS SOPS 15989 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9952.989
AT ITER 2040 NEW BEST:: SOT 37471 SOS 15982 HAS SOPS 15982 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9950.982
AT ITER 2048 NEW BEST:: SOT 37516 SOS 16031 HAS SOPS 16031 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9943.031
AT ITER 2097 NEW BEST:: SOT 37513 SOS 16025 HAS SOPS 16025 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9937.025
AT ITER 2131 NEW BEST:: SOT 37486 SOS 15998 HAS SOPS 15998 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9909.998
AT ITER 2132 NEW BEST:: SOT 37443 SOS 15923 HAS SOPS 15923 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9877.923
AT ITER 2143 NEW BEST:: SOT 37443 SOS 15907 HAS SOPS 15907 HAS SOUS 9862 HAS SOUPS 9862 WITH SCORE 9877.907
AT ITER 2177 NEW BEST:: SOT 37413 SOS 15847 HAS SOPS 15847 HAS SOUS 9782 HAS SOUPS 9782 WITH SCORE 9797.847
AT ITER 2182 NEW BEST:: SOT 37412 SOS 15846 HAS SOPS 15846 HAS SOUS 9781 HAS SOUPS 9781 WITH SCORE 9796.846
AT ITER 2186 NEW BEST:: SOT 37373 SOS 15814 HAS SOPS 15814 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9791.814
AT ITER 2195 NEW BEST:: SOT 37398 SOS 15813 HAS SOPS 15813 HAS SOUS 9775 HAS SOUPS 9775 WITH SCORE 9790.813
AT ITER 2211 NEW BEST:: SOT 37390 SOS 15802 HAS SOPS 15802 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9779.802
AT ITER 2217 NEW BEST:: SOT 37382 SOS 15795 HAS SOPS 15795 HAS SOUS 9756 HAS SOUPS 9756 WITH SCORE 9771.795
AT ITER 2277 NEW BEST:: SOT 37376 SOS 15790 HAS SOPS 15790 HAS SOUS 9751 HAS SOUPS 9751 WITH SCORE 9766.79
AT ITER 2298 NEW BEST:: SOT 37372 SOS 15782 HAS SOPS 15782 HAS SOUS 9739 HAS SOUPS 9739 WITH SCORE 9754.782
AT ITER 2300 NEW BEST:: SOT 37371 SOS 15780 HAS SOPS 15780 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9752.78
AT ITER 2324 NEW BEST:: SOT 37371 SOS 15764 HAS SOPS 15764 HAS SOUS 9721 HAS SOUPS 9721 WITH SCORE 9736.764
AT ITER 2353 NEW BEST:: SOT 37371 SOS 15752 HAS SOPS 15752 HAS SOUS 9721 HAS SOUPS 9721 WITH SCORE 9736.752
AT ITER 2452 NEW BEST:: SOT 37445 SOS 15814 HAS SOPS 15814 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9712.814
AT ITER 2455 NEW BEST:: SOT 37460 SOS 15844 HAS SOPS 15844 HAS SOUS 9624 HAS SOUPS 9624 WITH SCORE 9639.844
AT ITER 2461 NEW BEST:: SOT 37421 SOS 15766 HAS SOPS 15766 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9561.766
AT ITER 2474 NEW BEST:: SOT 37436 SOS 15754 HAS SOPS 15754 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9549.754
AT ITER 2475 NEW BEST:: SOT 37411 SOS 15712 HAS SOPS 15712 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9507.712
AT ITER 2476 NEW BEST:: SOT 37411 SOS 15692 HAS SOPS 15692 HAS SOUS 9472 HAS SOUPS 9472 WITH SCORE 9487.692
AT ITER 2501 NEW BEST:: SOT 37405 SOS 15676 HAS SOPS 15676 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9484.676
AT ITER 2512 NEW BEST:: SOT 37393 SOS 15664 HAS SOPS 15664 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9472.664
AT ITER 2533 NEW BEST:: SOT 37390 SOS 15660 HAS SOPS 15660 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9467.66
AT ITER 2570 NEW BEST:: SOT 37390 SOS 15650 HAS SOPS 15650 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9467.65
AT ITER 2584 NEW BEST:: SOT 37388 SOS 15648 HAS SOPS 15648 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9465.648
AT ITER 2601 NEW BEST:: SOT 37387 SOS 15646 HAS SOPS 15646 HAS SOUS 9430 HAS SOUPS 9430 WITH SCORE 9445.646
AT ITER 2640 NEW BEST:: SOT 37376 SOS 15610 HAS SOPS 15610 HAS SOUS 9400 HAS SOUPS 9400 WITH SCORE 9415.61
AT ITER 2647 NEW BEST:: SOT 37336 SOS 15570 HAS SOPS 15570 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9390.57
AT ITER 2680 NEW BEST:: SOT 37351 SOS 15580 HAS SOPS 15580 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9380.58
AT ITER 2687 NEW BEST:: SOT 37349 SOS 15568 HAS SOPS 15568 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9368.568
AT ITER 2690 NEW BEST:: SOT 37347 SOS 15564 HAS SOPS 15564 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9364.564
AT ITER 2704 NEW BEST:: SOT 37347 SOS 15564 HAS SOPS 15564 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9338.564
AT ITER 2719 NEW BEST:: SOT 37336 SOS 15547 HAS SOPS 15547 HAS SOUS 9306 HAS SOUPS 9306 WITH SCORE 9321.547
AT ITER 2724 NEW BEST:: SOT 37288 SOS 15495 HAS SOPS 15495 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9269.495
AT ITER 2749 NEW BEST:: SOT 37273 SOS 15477 HAS SOPS 15477 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9239.477
AT ITER 2772 NEW BEST:: SOT 37220 SOS 15334 HAS SOPS 15334 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9222.334
AT ITER 2778 NEW BEST:: SOT 37219 SOS 15328 HAS SOPS 15328 HAS SOUS 9202 HAS SOUPS 9202 WITH SCORE 9217.328
AT ITER 2783 NEW BEST:: SOT 37215 SOS 15320 HAS SOPS 15320 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9209.32
AT ITER 2794 NEW BEST:: SOT 37214 SOS 15319 HAS SOPS 15319 HAS SOUS 9193 HAS SOUPS 9193 WITH SCORE 9208.319
AT ITER 2836 NEW BEST:: SOT 37204 SOS 15293 HAS SOPS 15293 HAS SOUS 9167 HAS SOUPS 9167 WITH SCORE 9182.293
AT ITER 2873 NEW BEST:: SOT 37216 SOS 15297 HAS SOPS 15297 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9171.297
AT ITER 2886 NEW BEST:: SOT 37215 SOS 15297 HAS SOPS 15297 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9170.297
AT ITER 2890 NEW BEST:: SOT 37183 SOS 15285 HAS SOPS 15285 HAS SOUS 9142 HAS SOUPS 9142 WITH SCORE 9157.285
AT ITER 2909 NEW BEST:: SOT 37171 SOS 15261 HAS SOPS 15261 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9155.261
AT ITER 2920 NEW BEST:: SOT 37172 SOS 15263 HAS SOPS 15263 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9152.263
AT ITER 2930 NEW BEST:: SOT 37152 SOS 15243 HAS SOPS 15243 HAS SOUS 9117 HAS SOUPS 9117 WITH SCORE 9132.243
AT ITER 2989 NEW BEST:: SOT 37157 SOS 15253 HAS SOPS 15253 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9125.253
AT ITER 3009 NEW BEST:: SOT 37176 SOS 15252 HAS SOPS 15252 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9101.252
AT ITER 3014 NEW BEST:: SOT 37128 SOS 15180 HAS SOPS 15180 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9029.18
AT ITER 3045 NEW BEST:: SOT 37127 SOS 15179 HAS SOPS 15179 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9028.179
AT ITER 3067 NEW BEST:: SOT 37159 SOS 15173 HAS SOPS 15173 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9022.173
AT ITER 3071 NEW BEST:: SOT 37158 SOS 15171 HAS SOPS 15171 HAS SOUS 9005 HAS SOUPS 9005 WITH SCORE 9020.171
AT ITER 3087 NEW BEST:: SOT 37158 SOS 15171 HAS SOPS 15171 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9012.171
AT ITER 3103 NEW BEST:: SOT 37158 SOS 15171 HAS SOPS 15171 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9006.171
AT ITER 3111 NEW BEST:: SOT 37157 SOS 15171 HAS SOPS 15171 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9005.171
AT ITER 3124 NEW BEST:: SOT 37147 SOS 15177 HAS SOPS 15177 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8995.177
AT ITER 3176 NEW BEST:: SOT 37150 SOS 15168 HAS SOPS 15168 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8971.168
AT ITER 3197 NEW BEST:: SOT 37139 SOS 15158 HAS SOPS 15158 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8968.158
AT ITER 3224 NEW BEST:: SOT 37131 SOS 15150 HAS SOPS 15150 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8964.15
AT ITER 3247 NEW BEST:: SOT 37121 SOS 15130 HAS SOPS 15130 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8954.13
AT ITER 3256 NEW BEST:: SOT 37108 SOS 15117 HAS SOPS 15117 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8941.117
AT ITER 3274 NEW BEST:: SOT 37102 SOS 15115 HAS SOPS 15115 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8939.115
AT ITER 3282 NEW BEST:: SOT 37102 SOS 15114 HAS SOPS 15114 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8938.114
AT ITER 3287 NEW BEST:: SOT 37098 SOS 15106 HAS SOPS 15106 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8926.106
AT ITER 3317 NEW BEST:: SOT 37083 SOS 15077 HAS SOPS 15077 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8897.077
AT ITER 3328 NEW BEST:: SOT 37099 SOS 15065 HAS SOPS 15065 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8885.065
AT ITER 3341 NEW BEST:: SOT 37022 SOS 15019 HAS SOPS 15019 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8839.019
AT ITER 3344 NEW BEST:: SOT 37008 SOS 13427 HAS SOPS 13427 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8803.427
AT ITER 3370 NEW BEST:: SOT 37007 SOS 13427 HAS SOPS 13427 HAS SOUS 8789 HAS SOUPS 8789 WITH SCORE 8802.427
AT ITER 3382 NEW BEST:: SOT 37006 SOS 13401 HAS SOPS 13401 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8776.401
AT ITER 3402 NEW BEST:: SOT 37025 SOS 13411 HAS SOPS 13411 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8767.411
AT ITER 3413 NEW BEST:: SOT 37019 SOS 13402 HAS SOPS 13402 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8758.402
AT ITER 3422 NEW BEST:: SOT 37012 SOS 13395 HAS SOPS 13395 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8758.395
AT ITER 3443 NEW BEST:: SOT 36999 SOS 13383 HAS SOPS 13383 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8746.383
AT ITER 3468 NEW BEST:: SOT 37004 SOS 13383 HAS SOPS 13383 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8741.383
AT ITER 3472 NEW BEST:: SOT 37004 SOS 13377 HAS SOPS 13377 HAS SOUS 8722 HAS SOUPS 8722 WITH SCORE 8735.377
AT ITER 3564 NEW BEST:: SOT 37009 SOS 13374 HAS SOPS 13374 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8732.374
AT ITER 3585 NEW BEST:: SOT 37008 SOS 13371 HAS SOPS 13371 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8729.371
AT ITER 3590 NEW BEST:: SOT 37008 SOS 13371 HAS SOPS 13371 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8727.371
AT ITER 3608 NEW BEST:: SOT 37007 SOS 13370 HAS SOPS 13370 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8727.37
AT ITER 3621 NEW BEST:: SOT 37006 SOS 13368 HAS SOPS 13368 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8725.368
AT ITER 3708 NEW BEST:: SOT 37003 SOS 13330 HAS SOPS 13330 HAS SOUS 8693 HAS SOUPS 8693 WITH SCORE 8706.33
AT ITER 3777 NEW BEST:: SOT 36959 SOS 13294 HAS SOPS 13294 HAS SOUS 8657 HAS SOUPS 8657 WITH SCORE 8670.294
AT ITER 3784 NEW BEST:: SOT 36959 SOS 13294 HAS SOPS 13294 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8668.294
AT ITER 3790 NEW BEST:: SOT 36957 SOS 13292 HAS SOPS 13292 HAS SOUS 8653 HAS SOUPS 8653 WITH SCORE 8666.292
AT ITER 3793 NEW BEST:: SOT 36952 SOS 13287 HAS SOPS 13287 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8661.287
AT ITER 3821 NEW BEST:: SOT 36950 SOS 13285 HAS SOPS 13285 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8661.285
AT ITER 3840 NEW BEST:: SOT 36942 SOS 13274 HAS SOPS 13274 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8655.274
AT ITER 3864 NEW BEST:: SOT 36947 SOS 13248 HAS SOPS 13248 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8635.248
AT ITER 3888 NEW BEST:: SOT 36948 SOS 13250 HAS SOPS 13250 HAS SOUS 8620 HAS SOUPS 8620 WITH SCORE 8633.25
AT ITER 3900 NEW BEST:: SOT 36947 SOS 13249 HAS SOPS 13249 HAS SOUS 8619 HAS SOUPS 8619 WITH SCORE 8632.249
AT ITER 3931 NEW BEST:: SOT 36941 SOS 13245 HAS SOPS 13245 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8628.245
AT ITER 3934 NEW BEST:: SOT 36931 SOS 13221 HAS SOPS 13221 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8604.221
AT ITER 3968 NEW BEST:: SOT 36967 SOS 13253 HAS SOPS 13253 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8596.253
AT ITER 4031 NEW BEST:: SOT 36959 SOS 13237 HAS SOPS 13237 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8580.237
AT ITER 4049 NEW BEST:: SOT 36958 SOS 13236 HAS SOPS 13236 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8580.236
AT ITER 4072 NEW BEST:: SOT 36944 SOS 13197 HAS SOPS 13197 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8576.197
AT ITER 4088 NEW BEST:: SOT 36944 SOS 13197 HAS SOPS 13197 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8571.197
AT ITER 4153 NEW BEST:: SOT 36937 SOS 13196 HAS SOPS 13196 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8570.196
AT ITER 4157 NEW BEST:: SOT 36936 SOS 13214 HAS SOPS 13214 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8569.214
AT ITER 4164 NEW BEST:: SOT 36940 SOS 13144 HAS SOPS 13144 HAS SOUS 8544 HAS SOUPS 8544 WITH SCORE 8557.144
AT ITER 4183 NEW BEST:: SOT 36934 SOS 13138 HAS SOPS 13138 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8551.138
AT ITER 4191 NEW BEST:: SOT 36934 SOS 13131 HAS SOPS 13131 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8544.131
AT ITER 4206 NEW BEST:: SOT 36906 SOS 13085 HAS SOPS 13085 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8498.085
AT ITER 4227 NEW BEST:: SOT 36904 SOS 13074 HAS SOPS 13074 HAS SOUS 8476 HAS SOUPS 8476 WITH SCORE 8489.074
AT ITER 4247 NEW BEST:: SOT 36902 SOS 13072 HAS SOPS 13072 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8487.072
AT ITER 4267 NEW BEST:: SOT 36908 SOS 13093 HAS SOPS 13093 HAS SOUS 8466 HAS SOUPS 8466 WITH SCORE 8479.093
AT ITER 4300 NEW BEST:: SOT 36870 SOS 13055 HAS SOPS 13055 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8441.055
AT ITER 4372 NEW BEST:: SOT 36869 SOS 13053 HAS SOPS 13053 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8439.053
AT ITER 4415 NEW BEST:: SOT 36885 SOS 13040 HAS SOPS 13040 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8426.04
AT ITER 4425 NEW BEST:: SOT 36877 SOS 13032 HAS SOPS 13032 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8426.032
AT ITER 4457 NEW BEST:: SOT 36864 SOS 13027 HAS SOPS 13027 HAS SOUS 8389 HAS SOUPS 8389 WITH SCORE 8402.027
AT ITER 4470 NEW BEST:: SOT 36857 SOS 13018 HAS SOPS 13018 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8393.018
AT ITER 4481 NEW BEST:: SOT 36857 SOS 13018 HAS SOPS 13018 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8388.018
AT ITER 4489 NEW BEST:: SOT 36857 SOS 13013 HAS SOPS 13013 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8379.013
AT ITER 4495 NEW BEST:: SOT 36847 SOS 13002 HAS SOPS 13002 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8368.002
AT ITER 4509 NEW BEST:: SOT 36847 SOS 12998 HAS SOPS 12998 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8363.998
AT ITER 4519 NEW BEST:: SOT 36843 SOS 12984 HAS SOPS 12984 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8349.984
AT ITER 4580 NEW BEST:: SOT 36838 SOS 12974 HAS SOPS 12974 HAS SOUS 8327 HAS SOUPS 8327 WITH SCORE 8339.974
AT ITER 4586 NEW BEST:: SOT 36821 SOS 12968 HAS SOPS 12968 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8312.968
AT ITER 4591 NEW BEST:: SOT 36807 SOS 11778 HAS SOPS 11778 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8297.778
AT ITER 4608 NEW BEST:: SOT 36806 SOS 11776 HAS SOPS 11776 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8296.776
AT ITER 4654 NEW BEST:: SOT 36809 SOS 11770 HAS SOPS 11770 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8290.77
AT ITER 4659 NEW BEST:: SOT 36793 SOS 11767 HAS SOPS 11767 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8287.767
AT ITER 4686 NEW BEST:: SOT 36791 SOS 11763 HAS SOPS 11763 HAS SOUS 8272 HAS SOUPS 8272 WITH SCORE 8283.763
AT ITER 4759 NEW BEST:: SOT 36782 SOS 11759 HAS SOPS 11759 HAS SOUS 8268 HAS SOUPS 8268 WITH SCORE 8279.759
AT ITER 4768 NEW BEST:: SOT 36782 SOS 11759 HAS SOPS 11759 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8276.759
AT ITER 4780 NEW BEST:: SOT 36782 SOS 11759 HAS SOPS 11759 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8265.759
AT ITER 4828 NEW BEST:: SOT 36782 SOS 11758 HAS SOPS 11758 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8264.758
AT ITER 4838 NEW BEST:: SOT 36779 SOS 11752 HAS SOPS 11752 HAS SOUS 8253 HAS SOUPS 8253 WITH SCORE 8264.752
AT ITER 4864 NEW BEST:: SOT 36778 SOS 11750 HAS SOPS 11750 HAS SOUS 8251 HAS SOUPS 8251 WITH SCORE 8262.75
AT ITER 4899 NEW BEST:: SOT 36797 SOS 11743 HAS SOPS 11743 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8229.743
AT ITER 4985 NEW BEST:: SOT 36790 SOS 11729 HAS SOPS 11729 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8215.729
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-00 (! (EU( ( potential( (tk(P158)) <= (tk(P63)) ) | potential( (tk(P15)) <= (tk(P56)) ) ),(! potential( (tk(P22)) <= (tk(P136)) )) )))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-01 (AG( potential( (tk(P150)) <= (tk(P259)) )))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-02 (EU( (AG( potential( (tk(P142)) <= (tk(P26)) ))),potential( ( 3 ) <= (tk(P75)) ) ))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-03 (EG( (! (AG( potential( (tk(P223)) <= (tk(P40)) ))))))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-04 (AF((EU( potential( (tk(P85)) <= (tk(P87)) ),potential( ( 2 ) <= (tk(P107)) ) ))))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-05 (EG( (! (EF(potential( ( 2 ) <= (tk(P40)) ))))))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-06 ( ( ( (EF(potential( ( 2 ) <= (tk(P58)) ))) | ( ( potential( ( 1 ) <= (tk(P231)) ) | potential( ( 3 ) <= (tk(P153)) ) ) & ( potential( (tk(P89)) <= (tk(P1)) ) | potential( ( 1 ) <= (tk(P178)) ) ) ) ) & (! ( ( potential( ( 1 ) <= (tk(P111)) ) | potential( ( 3 ) <= (tk(P186)) ) ) & ( potential( (tk(P248)) <= (tk(P89)) ) | potential( ( 1 ) <= (tk(P108)) ) ) )) ) | ( (AU( potential( ( 3 ) <= (tk(P202)) ),potential( (tk(P234)) <= (tk(P235)) ) )) & potential( ( 2 ) <= (tk(P100)) ) ) )
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-07 (AU( (EX( potential( ( 2 ) <= (tk(P114)) ))),(AG( potential( (tk(P184)) <= (tk(P68)) ))) ))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-08 (EX( (! (EF(potential( ( 2 ) <= (tk(P215)) ))))))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-09 (AG( ( ( potential( (tk(P228)) <= (tk(P110)) ) & ( potential( ( 3 ) <= (tk(P149)) ) | potential( (tk(P18)) <= (tk(P246)) ) ) ) | (AX( potential( ( 2 ) <= (tk(P164)) ))) )))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-10 ( (EU( (! potential( (tk(P247)) <= (tk(P269)) )),potential( (tk(P96)) <= (tk(P68)) ) )) & (AG( ( ( potential( ( 1 ) <= (tk(P129)) ) | potential( (tk(P195)) <= (tk(P190)) ) ) & potential( (tk(P88)) <= (tk(P153)) ) ))) )
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-11 (EF((AG( potential( ( 3 ) <= (tk(P140)) )))))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-12 ( (! (EF(potential( ( 2 ) <= (tk(P44)) )))) | (! potential( (tk(P25)) <= (tk(P163)) )) )
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-13 (AG( potential( (tk(P228)) <= (tk(P169)) )))
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-14 ( (! (AX( ( potential( ( 1 ) <= (tk(P1)) ) & potential( (tk(P197)) <= (tk(P203)) ) )))) & ( (EX( potential( (tk(P28)) <= (tk(P235)) ))) & (EF(( potential( ( 3 ) <= (tk(P27)) ) & potential( (tk(P242)) <= (tk(P93)) ) ))) ) )
PROPERTY: BusinessProcesses-PT-03-CTLCardinality-15 (AG( potential( (tk(P246)) <= (tk(P12)) )))
FORMULA BusinessProcesses-PT-03-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
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="BusinessProcesses-PT-03"
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 BusinessProcesses-PT-03, 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 r018-oct2-158897680000467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-03.tgz
mv BusinessProcesses-PT-03 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 ;