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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 268K
-rw-r--r-- 1 mcc users 3.7K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 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 3.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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.8K 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 91K 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-08-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-08-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589018655063

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 08
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 393 places, 344 transitions, 911 arcs.
AT ITER 0 NEW BEST:: SOT 85386 SOS 32582 HAS SOPS 32582 HAS SOUS 30991 HAS SOUPS 30991 WITH SCORE 31023.582
AT ITER 7 NEW BEST:: SOT 85301 SOS 32491 HAS SOPS 32491 HAS SOUS 30904 HAS SOUPS 30904 WITH SCORE 30936.491
AT ITER 13 NEW BEST:: SOT 85265 SOS 32481 HAS SOPS 32481 HAS SOUS 30890 HAS SOUPS 30890 WITH SCORE 30922.481
AT ITER 14 NEW BEST:: SOT 85165 SOS 32399 HAS SOPS 32399 HAS SOUS 30808 HAS SOUPS 30808 WITH SCORE 30840.399
AT ITER 15 NEW BEST:: SOT 85165 SOS 32399 HAS SOPS 32399 HAS SOUS 30805 HAS SOUPS 30805 WITH SCORE 30837.399
AT ITER 18 NEW BEST:: SOT 85244 SOS 32465 HAS SOPS 32465 HAS SOUS 30786 HAS SOUPS 30786 WITH SCORE 30818.465
AT ITER 44 NEW BEST:: SOT 85282 SOS 32422 HAS SOPS 32422 HAS SOUS 30763 HAS SOUPS 30763 WITH SCORE 30795.422
AT ITER 54 NEW BEST:: SOT 85371 SOS 32411 HAS SOPS 32411 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30784.411
AT ITER 59 NEW BEST:: SOT 85278 SOS 32318 HAS SOPS 32318 HAS SOUS 30751 HAS SOUPS 30751 WITH SCORE 30783.318
AT ITER 62 NEW BEST:: SOT 85353 SOS 32420 HAS SOPS 32420 HAS SOUS 30735 HAS SOUPS 30735 WITH SCORE 30767.42
AT ITER 63 NEW BEST:: SOT 85353 SOS 32412 HAS SOPS 32412 HAS SOUS 30727 HAS SOUPS 30727 WITH SCORE 30759.412
AT ITER 65 NEW BEST:: SOT 85395 SOS 32395 HAS SOPS 32395 HAS SOUS 30670 HAS SOUPS 30670 WITH SCORE 30702.395
AT ITER 87 NEW BEST:: SOT 82761 SOS 29938 HAS SOPS 29938 HAS SOUS 28172 HAS SOUPS 28172 WITH SCORE 28201.938
AT ITER 98 NEW BEST:: SOT 82761 SOS 29899 HAS SOPS 29899 HAS SOUS 28133 HAS SOUPS 28133 WITH SCORE 28162.899
AT ITER 110 NEW BEST:: SOT 82610 SOS 29501 HAS SOPS 29501 HAS SOUS 27917 HAS SOUPS 27917 WITH SCORE 27946.501
AT ITER 113 NEW BEST:: SOT 82609 SOS 29396 HAS SOPS 29396 HAS SOUS 27812 HAS SOUPS 27812 WITH SCORE 27841.396
AT ITER 117 NEW BEST:: SOT 82551 SOS 29338 HAS SOPS 29338 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27783.338
AT ITER 120 NEW BEST:: SOT 82420 SOS 29192 HAS SOPS 29192 HAS SOUS 27608 HAS SOUPS 27608 WITH SCORE 27637.192
AT ITER 135 NEW BEST:: SOT 82458 SOS 29210 HAS SOPS 29210 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27617.21
AT ITER 141 NEW BEST:: SOT 81747 SOS 32429 HAS SOPS 32429 HAS SOUS 27047 HAS SOUPS 27047 WITH SCORE 27079.429
AT ITER 149 NEW BEST:: SOT 81729 SOS 32373 HAS SOPS 32373 HAS SOUS 26931 HAS SOUPS 26931 WITH SCORE 26963.373
AT ITER 152 NEW BEST:: SOT 81729 SOS 32364 HAS SOPS 32364 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26954.364
AT ITER 153 NEW BEST:: SOT 81666 SOS 32238 HAS SOPS 32238 HAS SOUS 26849 HAS SOUPS 26849 WITH SCORE 26881.238
AT ITER 158 NEW BEST:: SOT 81659 SOS 32231 HAS SOPS 32231 HAS SOUS 26849 HAS SOUPS 26849 WITH SCORE 26881.231
AT ITER 159 NEW BEST:: SOT 81652 SOS 32105 HAS SOPS 32105 HAS SOUS 26736 HAS SOUPS 26736 WITH SCORE 26768.105
AT ITER 168 NEW BEST:: SOT 81527 SOS 32000 HAS SOPS 32000 HAS SOUS 26582 HAS SOUPS 26582 WITH SCORE 26614.0
AT ITER 179 NEW BEST:: SOT 81478 SOS 31925 HAS SOPS 31925 HAS SOUS 26570 HAS SOUPS 26570 WITH SCORE 26601.925
AT ITER 181 NEW BEST:: SOT 81478 SOS 31772 HAS SOPS 31772 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26501.772
AT ITER 194 NEW BEST:: SOT 81373 SOS 31597 HAS SOPS 31597 HAS SOUS 26365 HAS SOUPS 26365 WITH SCORE 26396.597
AT ITER 195 NEW BEST:: SOT 81371 SOS 31595 HAS SOPS 31595 HAS SOUS 26363 HAS SOUPS 26363 WITH SCORE 26394.595
AT ITER 201 NEW BEST:: SOT 81371 SOS 31578 HAS SOPS 31578 HAS SOUS 26346 HAS SOUPS 26346 WITH SCORE 26377.578
AT ITER 219 NEW BEST:: SOT 81272 SOS 31478 HAS SOPS 31478 HAS SOUS 26312 HAS SOUPS 26312 WITH SCORE 26343.478
AT ITER 224 NEW BEST:: SOT 81333 SOS 31493 HAS SOPS 31493 HAS SOUS 26220 HAS SOUPS 26220 WITH SCORE 26251.493
AT ITER 225 NEW BEST:: SOT 81331 SOS 31491 HAS SOPS 31491 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26249.491
AT ITER 231 NEW BEST:: SOT 81262 SOS 31353 HAS SOPS 31353 HAS SOUS 26080 HAS SOUPS 26080 WITH SCORE 26111.353
AT ITER 235 NEW BEST:: SOT 81168 SOS 31257 HAS SOPS 31257 HAS SOUS 26076 HAS SOUPS 26076 WITH SCORE 26107.257
AT ITER 240 NEW BEST:: SOT 81066 SOS 31131 HAS SOPS 31131 HAS SOUS 25950 HAS SOUPS 25950 WITH SCORE 25981.131
AT ITER 252 NEW BEST:: SOT 81059 SOS 31117 HAS SOPS 31117 HAS SOUS 25947 HAS SOUPS 25947 WITH SCORE 25978.117
AT ITER 256 NEW BEST:: SOT 81059 SOS 31102 HAS SOPS 31102 HAS SOUS 25932 HAS SOUPS 25932 WITH SCORE 25963.102
AT ITER 257 NEW BEST:: SOT 81059 SOS 31102 HAS SOPS 31102 HAS SOUS 25926 HAS SOUPS 25926 WITH SCORE 25957.102
AT ITER 261 NEW BEST:: SOT 81059 SOS 31042 HAS SOPS 31042 HAS SOUS 25866 HAS SOUPS 25866 WITH SCORE 25897.042
AT ITER 265 NEW BEST:: SOT 81052 SOS 31028 HAS SOPS 31028 HAS SOUS 25852 HAS SOUPS 25852 WITH SCORE 25883.028
AT ITER 267 NEW BEST:: SOT 81037 SOS 31013 HAS SOPS 31013 HAS SOUS 25837 HAS SOUPS 25837 WITH SCORE 25868.013
AT ITER 272 NEW BEST:: SOT 81037 SOS 31013 HAS SOPS 31013 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25863.013
AT ITER 273 NEW BEST:: SOT 80937 SOS 30813 HAS SOPS 30813 HAS SOUS 25787 HAS SOUPS 25787 WITH SCORE 25817.813
AT ITER 293 NEW BEST:: SOT 80843 SOS 30626 HAS SOPS 30626 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25751.626
AT ITER 302 NEW BEST:: SOT 80728 SOS 30571 HAS SOPS 30571 HAS SOUS 25577 HAS SOUPS 25577 WITH SCORE 25607.571
AT ITER 308 NEW BEST:: SOT 80703 SOS 30546 HAS SOPS 30546 HAS SOUS 25577 HAS SOUPS 25577 WITH SCORE 25607.546
AT ITER 321 NEW BEST:: SOT 80624 SOS 30409 HAS SOPS 30409 HAS SOUS 25500 HAS SOUPS 25500 WITH SCORE 25530.409
AT ITER 324 NEW BEST:: SOT 80577 SOS 30315 HAS SOPS 30315 HAS SOUS 25406 HAS SOUPS 25406 WITH SCORE 25436.315
AT ITER 337 NEW BEST:: SOT 80559 SOS 30279 HAS SOPS 30279 HAS SOUS 25370 HAS SOUPS 25370 WITH SCORE 25400.279
AT ITER 346 NEW BEST:: SOT 80607 SOS 30209 HAS SOPS 30209 HAS SOUS 25358 HAS SOUPS 25358 WITH SCORE 25388.209
AT ITER 356 NEW BEST:: SOT 80604 SOS 30206 HAS SOPS 30206 HAS SOUS 25355 HAS SOUPS 25355 WITH SCORE 25385.206
AT ITER 368 NEW BEST:: SOT 80561 SOS 30163 HAS SOPS 30163 HAS SOUS 25312 HAS SOUPS 25312 WITH SCORE 25342.163
AT ITER 392 NEW BEST:: SOT 80530 SOS 30132 HAS SOPS 30132 HAS SOUS 25252 HAS SOUPS 25252 WITH SCORE 25282.132
AT ITER 394 NEW BEST:: SOT 80367 SOS 30034 HAS SOPS 30034 HAS SOUS 25154 HAS SOUPS 25154 WITH SCORE 25184.034
AT ITER 403 NEW BEST:: SOT 80300 SOS 29411 HAS SOPS 29411 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 24973.411
AT ITER 406 NEW BEST:: SOT 80298 SOS 29407 HAS SOPS 29407 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 24969.407
AT ITER 407 NEW BEST:: SOT 80293 SOS 29397 HAS SOPS 29397 HAS SOUS 24930 HAS SOUPS 24930 WITH SCORE 24959.397
AT ITER 416 NEW BEST:: SOT 80272 SOS 29376 HAS SOPS 29376 HAS SOUS 24894 HAS SOUPS 24894 WITH SCORE 24923.376
AT ITER 418 NEW BEST:: SOT 80039 SOS 29033 HAS SOPS 29033 HAS SOUS 24674 HAS SOUPS 24674 WITH SCORE 24703.033
AT ITER 424 NEW BEST:: SOT 80017 SOS 28990 HAS SOPS 28990 HAS SOUS 24653 HAS SOUPS 24653 WITH SCORE 24681.99
AT ITER 434 NEW BEST:: SOT 79957 SOS 28870 HAS SOPS 28870 HAS SOUS 24533 HAS SOUPS 24533 WITH SCORE 24561.87
AT ITER 446 NEW BEST:: SOT 79995 SOS 28908 HAS SOPS 28908 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24560.908
AT ITER 449 NEW BEST:: SOT 79995 SOS 28866 HAS SOPS 28866 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24560.866
AT ITER 456 NEW BEST:: SOT 79995 SOS 28825 HAS SOPS 28825 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24560.825
AT ITER 493 NEW BEST:: SOT 79993 SOS 28823 HAS SOPS 28823 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24560.823
AT ITER 494 NEW BEST:: SOT 79990 SOS 28817 HAS SOPS 28817 HAS SOUS 24529 HAS SOUPS 24529 WITH SCORE 24557.817
AT ITER 496 NEW BEST:: SOT 79935 SOS 28707 HAS SOPS 28707 HAS SOUS 24419 HAS SOUPS 24419 WITH SCORE 24447.707
AT ITER 512 NEW BEST:: SOT 79934 SOS 28706 HAS SOPS 28706 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24435.706
AT ITER 518 NEW BEST:: SOT 79869 SOS 28576 HAS SOPS 28576 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24370.576
AT ITER 526 NEW BEST:: SOT 79869 SOS 28526 HAS SOPS 28526 HAS SOUS 24302 HAS SOUPS 24302 WITH SCORE 24330.526
AT ITER 531 NEW BEST:: SOT 79877 SOS 28534 HAS SOPS 28534 HAS SOUS 24273 HAS SOUPS 24273 WITH SCORE 24301.534
AT ITER 538 NEW BEST:: SOT 79822 SOS 28483 HAS SOPS 28483 HAS SOUS 24168 HAS SOUPS 24168 WITH SCORE 24196.483
AT ITER 541 NEW BEST:: SOT 79798 SOS 28435 HAS SOPS 28435 HAS SOUS 24120 HAS SOUPS 24120 WITH SCORE 24148.435
AT ITER 545 NEW BEST:: SOT 79757 SOS 28353 HAS SOPS 28353 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24107.353
AT ITER 546 NEW BEST:: SOT 79757 SOS 28353 HAS SOPS 28353 HAS SOUS 24077 HAS SOUPS 24077 WITH SCORE 24105.353
AT ITER 580 NEW BEST:: SOT 79651 SOS 28180 HAS SOPS 28180 HAS SOUS 23973 HAS SOUPS 23973 WITH SCORE 24001.18
AT ITER 589 NEW BEST:: SOT 79643 SOS 28172 HAS SOPS 28172 HAS SOUS 23965 HAS SOUPS 23965 WITH SCORE 23993.172
AT ITER 595 NEW BEST:: SOT 79526 SOS 27907 HAS SOPS 27907 HAS SOUS 23742 HAS SOUPS 23742 WITH SCORE 23769.907
AT ITER 612 NEW BEST:: SOT 79499 SOS 27853 HAS SOPS 27853 HAS SOUS 23681 HAS SOUPS 23681 WITH SCORE 23708.853
AT ITER 621 NEW BEST:: SOT 79488 SOS 27717 HAS SOPS 27717 HAS SOUS 23545 HAS SOUPS 23545 WITH SCORE 23572.717
AT ITER 662 NEW BEST:: SOT 79488 SOS 27705 HAS SOPS 27705 HAS SOUS 23545 HAS SOUPS 23545 WITH SCORE 23572.705
AT ITER 681 NEW BEST:: SOT 79373 SOS 27569 HAS SOPS 27569 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23522.569
AT ITER 695 NEW BEST:: SOT 79373 SOS 27397 HAS SOPS 27397 HAS SOUS 23471 HAS SOUPS 23471 WITH SCORE 23498.397
AT ITER 696 NEW BEST:: SOT 79278 SOS 27205 HAS SOPS 27205 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23357.205
AT ITER 702 NEW BEST:: SOT 79208 SOS 27056 HAS SOPS 27056 HAS SOUS 23181 HAS SOUPS 23181 WITH SCORE 23208.056
AT ITER 731 NEW BEST:: SOT 79204 SOS 27048 HAS SOPS 27048 HAS SOUS 23176 HAS SOUPS 23176 WITH SCORE 23203.048
AT ITER 732 NEW BEST:: SOT 79201 SOS 27041 HAS SOPS 27041 HAS SOUS 23169 HAS SOUPS 23169 WITH SCORE 23196.041
AT ITER 734 NEW BEST:: SOT 79201 SOS 27009 HAS SOPS 27009 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23164.009
AT ITER 754 NEW BEST:: SOT 79191 SOS 26999 HAS SOPS 26999 HAS SOUS 23127 HAS SOUPS 23127 WITH SCORE 23153.999
AT ITER 759 NEW BEST:: SOT 79145 SOS 26861 HAS SOPS 26861 HAS SOUS 23035 HAS SOUPS 23035 WITH SCORE 23061.861
AT ITER 763 NEW BEST:: SOT 79108 SOS 26787 HAS SOPS 26787 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23042.787
AT ITER 772 NEW BEST:: SOT 79095 SOS 26710 HAS SOPS 26710 HAS SOUS 22875 HAS SOUPS 22875 WITH SCORE 22901.71
AT ITER 781 NEW BEST:: SOT 79071 SOS 26662 HAS SOPS 26662 HAS SOUS 22833 HAS SOUPS 22833 WITH SCORE 22859.662
AT ITER 790 NEW BEST:: SOT 79070 SOS 26661 HAS SOPS 26661 HAS SOUS 22832 HAS SOUPS 22832 WITH SCORE 22858.661
AT ITER 792 NEW BEST:: SOT 79004 SOS 26595 HAS SOPS 26595 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22810.595
AT ITER 800 NEW BEST:: SOT 79002 SOS 26593 HAS SOPS 26593 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22810.593
AT ITER 803 NEW BEST:: SOT 78994 SOS 26577 HAS SOPS 26577 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22802.577
AT ITER 804 NEW BEST:: SOT 78993 SOS 26575 HAS SOPS 26575 HAS SOUS 22774 HAS SOUPS 22774 WITH SCORE 22800.575
AT ITER 812 NEW BEST:: SOT 78919 SOS 26464 HAS SOPS 26464 HAS SOUS 22693 HAS SOUPS 22693 WITH SCORE 22719.464
AT ITER 833 NEW BEST:: SOT 78919 SOS 26464 HAS SOPS 26464 HAS SOUS 22688 HAS SOUPS 22688 WITH SCORE 22714.464
AT ITER 854 NEW BEST:: SOT 78981 SOS 26423 HAS SOPS 26423 HAS SOUS 22585 HAS SOUPS 22585 WITH SCORE 22611.423
AT ITER 859 NEW BEST:: SOT 78928 SOS 26370 HAS SOPS 26370 HAS SOUS 22532 HAS SOUPS 22532 WITH SCORE 22558.37
AT ITER 865 NEW BEST:: SOT 78927 SOS 26368 HAS SOPS 26368 HAS SOUS 22530 HAS SOUPS 22530 WITH SCORE 22556.368
AT ITER 876 NEW BEST:: SOT 78839 SOS 26192 HAS SOPS 26192 HAS SOUS 22373 HAS SOUPS 22373 WITH SCORE 22399.192
AT ITER 884 NEW BEST:: SOT 78837 SOS 26190 HAS SOPS 26190 HAS SOUS 22371 HAS SOUPS 22371 WITH SCORE 22397.19
AT ITER 889 NEW BEST:: SOT 78820 SOS 26106 HAS SOPS 26106 HAS SOUS 22354 HAS SOUPS 22354 WITH SCORE 22380.106
AT ITER 900 NEW BEST:: SOT 78598 SOS 26023 HAS SOPS 26023 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22294.023
AT ITER 903 NEW BEST:: SOT 78597 SOS 25983 HAS SOPS 25983 HAS SOUS 22228 HAS SOUPS 22228 WITH SCORE 22253.983
AT ITER 912 NEW BEST:: SOT 78562 SOS 25953 HAS SOPS 25953 HAS SOUS 22198 HAS SOUPS 22198 WITH SCORE 22223.953
AT ITER 924 NEW BEST:: SOT 78560 SOS 26029 HAS SOPS 26029 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22220.029
AT ITER 940 NEW BEST:: SOT 78532 SOS 26000 HAS SOPS 26000 HAS SOUS 22165 HAS SOUPS 22165 WITH SCORE 22191.0
AT ITER 942 NEW BEST:: SOT 78496 SOS 25964 HAS SOPS 25964 HAS SOUS 22165 HAS SOUPS 22165 WITH SCORE 22190.964
AT ITER 948 NEW BEST:: SOT 78566 SOS 25953 HAS SOPS 25953 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22052.953
AT ITER 959 NEW BEST:: SOT 78522 SOS 25823 HAS SOPS 25823 HAS SOUS 21939 HAS SOUPS 21939 WITH SCORE 21964.823
AT ITER 965 NEW BEST:: SOT 78441 SOS 25644 HAS SOPS 25644 HAS SOUS 21760 HAS SOUPS 21760 WITH SCORE 21785.644
AT ITER 969 NEW BEST:: SOT 78284 SOS 25542 HAS SOPS 25542 HAS SOUS 21658 HAS SOUPS 21658 WITH SCORE 21683.542
AT ITER 981 NEW BEST:: SOT 78284 SOS 25537 HAS SOPS 25537 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21678.537
AT ITER 987 NEW BEST:: SOT 78194 SOS 25445 HAS SOPS 25445 HAS SOUS 21623 HAS SOUPS 21623 WITH SCORE 21648.445
AT ITER 1017 NEW BEST:: SOT 78184 SOS 25435 HAS SOPS 25435 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21638.435
AT ITER 1024 NEW BEST:: SOT 78174 SOS 25425 HAS SOPS 25425 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21638.425
AT ITER 1029 NEW BEST:: SOT 78185 SOS 25381 HAS SOPS 25381 HAS SOUS 21606 HAS SOUPS 21606 WITH SCORE 21631.381
AT ITER 1039 NEW BEST:: SOT 78176 SOS 25372 HAS SOPS 25372 HAS SOUS 21606 HAS SOUPS 21606 WITH SCORE 21631.372
AT ITER 1043 NEW BEST:: SOT 78172 SOS 25360 HAS SOPS 25360 HAS SOUS 21594 HAS SOUPS 21594 WITH SCORE 21619.36
AT ITER 1055 NEW BEST:: SOT 78207 SOS 25345 HAS SOPS 25345 HAS SOUS 21579 HAS SOUPS 21579 WITH SCORE 21604.345
AT ITER 1058 NEW BEST:: SOT 78207 SOS 25336 HAS SOPS 25336 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21586.336
AT ITER 1061 NEW BEST:: SOT 78279 SOS 25383 HAS SOPS 25383 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21565.383
AT ITER 1082 NEW BEST:: SOT 78279 SOS 25383 HAS SOPS 25383 HAS SOUS 21531 HAS SOUPS 21531 WITH SCORE 21556.383
AT ITER 1086 NEW BEST:: SOT 78264 SOS 25353 HAS SOPS 25353 HAS SOUS 21501 HAS SOUPS 21501 WITH SCORE 21526.353
AT ITER 1101 NEW BEST:: SOT 78264 SOS 25353 HAS SOPS 25353 HAS SOUS 21500 HAS SOUPS 21500 WITH SCORE 21525.353
AT ITER 1104 NEW BEST:: SOT 78252 SOS 25313 HAS SOPS 25313 HAS SOUS 21460 HAS SOUPS 21460 WITH SCORE 21485.313
AT ITER 1107 NEW BEST:: SOT 78290 SOS 25226 HAS SOPS 25226 HAS SOUS 21373 HAS SOUPS 21373 WITH SCORE 21398.226
AT ITER 1108 NEW BEST:: SOT 78300 SOS 25236 HAS SOPS 25236 HAS SOUS 21360 HAS SOUPS 21360 WITH SCORE 21385.236
AT ITER 1117 NEW BEST:: SOT 78230 SOS 25226 HAS SOPS 25226 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21375.226
AT ITER 1127 NEW BEST:: SOT 78195 SOS 25191 HAS SOPS 25191 HAS SOUS 21321 HAS SOUPS 21321 WITH SCORE 21346.191
AT ITER 1128 NEW BEST:: SOT 78177 SOS 25127 HAS SOPS 25127 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21220.127
AT ITER 1134 NEW BEST:: SOT 78114 SOS 25001 HAS SOPS 25001 HAS SOUS 21069 HAS SOUPS 21069 WITH SCORE 21094.001
AT ITER 1137 NEW BEST:: SOT 78077 SOS 24886 HAS SOPS 24886 HAS SOUS 20954 HAS SOUPS 20954 WITH SCORE 20978.886
AT ITER 1152 NEW BEST:: SOT 78077 SOS 24800 HAS SOPS 24800 HAS SOUS 20782 HAS SOUPS 20782 WITH SCORE 20806.8
AT ITER 1153 NEW BEST:: SOT 78086 SOS 24818 HAS SOPS 24818 HAS SOUS 20774 HAS SOUPS 20774 WITH SCORE 20798.818
AT ITER 1155 NEW BEST:: SOT 78085 SOS 24816 HAS SOPS 24816 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20796.816
AT ITER 1173 NEW BEST:: SOT 78057 SOS 24882 HAS SOPS 24882 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20661.882
AT ITER 1177 NEW BEST:: SOT 78047 SOS 24872 HAS SOPS 24872 HAS SOUS 20627 HAS SOUPS 20627 WITH SCORE 20651.872
AT ITER 1180 NEW BEST:: SOT 78090 SOS 24872 HAS SOPS 24872 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20608.872
AT ITER 1187 NEW BEST:: SOT 78090 SOS 24866 HAS SOPS 24866 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20608.866
AT ITER 1200 NEW BEST:: SOT 78135 SOS 24831 HAS SOPS 24831 HAS SOUS 20557 HAS SOUPS 20557 WITH SCORE 20581.831
AT ITER 1223 NEW BEST:: SOT 78108 SOS 24816 HAS SOPS 24816 HAS SOUS 20542 HAS SOUPS 20542 WITH SCORE 20566.816
AT ITER 1240 NEW BEST:: SOT 78108 SOS 24782 HAS SOPS 24782 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20498.782
AT ITER 1241 NEW BEST:: SOT 78080 SOS 24726 HAS SOPS 24726 HAS SOUS 20438 HAS SOUPS 20438 WITH SCORE 20462.726
AT ITER 1245 NEW BEST:: SOT 78052 SOS 24696 HAS SOPS 24696 HAS SOUS 20400 HAS SOUPS 20400 WITH SCORE 20424.696
AT ITER 1257 NEW BEST:: SOT 78051 SOS 24645 HAS SOPS 24645 HAS SOUS 20369 HAS SOUPS 20369 WITH SCORE 20393.645
AT ITER 1269 NEW BEST:: SOT 77961 SOS 24432 HAS SOPS 24432 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20320.432
AT ITER 1272 NEW BEST:: SOT 77921 SOS 24392 HAS SOPS 24392 HAS SOUS 20296 HAS SOUPS 20296 WITH SCORE 20320.392
AT ITER 1275 NEW BEST:: SOT 77888 SOS 24142 HAS SOPS 24142 HAS SOUS 20079 HAS SOUPS 20079 WITH SCORE 20103.142
AT ITER 1305 NEW BEST:: SOT 77838 SOS 24092 HAS SOPS 24092 HAS SOUS 20079 HAS SOUPS 20079 WITH SCORE 20103.092
AT ITER 1338 NEW BEST:: SOT 77814 SOS 24372 HAS SOPS 24372 HAS SOUS 20071 HAS SOUPS 20071 WITH SCORE 20095.372
AT ITER 1393 NEW BEST:: SOT 77803 SOS 24352 HAS SOPS 24352 HAS SOUS 20070 HAS SOUPS 20070 WITH SCORE 20094.352
AT ITER 1406 NEW BEST:: SOT 77792 SOS 24341 HAS SOPS 24341 HAS SOUS 20059 HAS SOUPS 20059 WITH SCORE 20083.341
AT ITER 1412 NEW BEST:: SOT 77801 SOS 24350 HAS SOPS 24350 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20072.35
AT ITER 1458 NEW BEST:: SOT 77796 SOS 24340 HAS SOPS 24340 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20062.34
AT ITER 1470 NEW BEST:: SOT 77789 SOS 24323 HAS SOPS 24323 HAS SOUS 20021 HAS SOUPS 20021 WITH SCORE 20045.323
AT ITER 1493 NEW BEST:: SOT 77789 SOS 24322 HAS SOPS 24322 HAS SOUS 20020 HAS SOUPS 20020 WITH SCORE 20044.322
AT ITER 1498 NEW BEST:: SOT 77790 SOS 24324 HAS SOPS 24324 HAS SOUS 20014 HAS SOUPS 20014 WITH SCORE 20038.324
AT ITER 1500 NEW BEST:: SOT 77818 SOS 24287 HAS SOPS 24287 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20035.287
AT ITER 1501 NEW BEST:: SOT 77804 SOS 24273 HAS SOPS 24273 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20035.273
AT ITER 1535 NEW BEST:: SOT 77778 SOS 24190 HAS SOPS 24190 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19959.19
AT ITER 1540 NEW BEST:: SOT 77778 SOS 24174 HAS SOPS 24174 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19959.174
AT ITER 1543 NEW BEST:: SOT 77755 SOS 24151 HAS SOPS 24151 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19913.151
AT ITER 1553 NEW BEST:: SOT 77755 SOS 24131 HAS SOPS 24131 HAS SOUS 19869 HAS SOUPS 19869 WITH SCORE 19893.131
AT ITER 1571 NEW BEST:: SOT 77751 SOS 24123 HAS SOPS 24123 HAS SOUS 19865 HAS SOUPS 19865 WITH SCORE 19889.123
AT ITER 1596 NEW BEST:: SOT 77680 SOS 24048 HAS SOPS 24048 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19861.048
AT ITER 1605 NEW BEST:: SOT 77625 SOS 23993 HAS SOPS 23993 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19860.993
AT ITER 1606 NEW BEST:: SOT 77631 SOS 23952 HAS SOPS 23952 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19819.952
AT ITER 1612 NEW BEST:: SOT 77545 SOS 23721 HAS SOPS 23721 HAS SOUS 19657 HAS SOUPS 19657 WITH SCORE 19680.721
AT ITER 1613 NEW BEST:: SOT 77529 SOS 23904 HAS SOPS 23904 HAS SOUS 19641 HAS SOUPS 19641 WITH SCORE 19664.904
AT ITER 1632 NEW BEST:: SOT 77456 SOS 23831 HAS SOPS 23831 HAS SOUS 19568 HAS SOUPS 19568 WITH SCORE 19591.831
AT ITER 1638 NEW BEST:: SOT 77456 SOS 23829 HAS SOPS 23829 HAS SOUS 19568 HAS SOUPS 19568 WITH SCORE 19591.829
AT ITER 1653 NEW BEST:: SOT 77498 SOS 23824 HAS SOPS 23824 HAS SOUS 19563 HAS SOUPS 19563 WITH SCORE 19586.824
AT ITER 1655 NEW BEST:: SOT 77494 SOS 23816 HAS SOPS 23816 HAS SOUS 19559 HAS SOUPS 19559 WITH SCORE 19582.816
AT ITER 1685 NEW BEST:: SOT 77477 SOS 23797 HAS SOPS 23797 HAS SOUS 19540 HAS SOUPS 19540 WITH SCORE 19563.797
AT ITER 1694 NEW BEST:: SOT 77436 SOS 23749 HAS SOPS 23749 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19549.749
AT ITER 1702 NEW BEST:: SOT 77466 SOS 23695 HAS SOPS 23695 HAS SOUS 19472 HAS SOUPS 19472 WITH SCORE 19495.695
AT ITER 1707 NEW BEST:: SOT 77431 SOS 23660 HAS SOPS 23660 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19460.66
AT ITER 1739 NEW BEST:: SOT 77387 SOS 23486 HAS SOPS 23486 HAS SOUS 19392 HAS SOUPS 19392 WITH SCORE 19415.486
AT ITER 1747 NEW BEST:: SOT 77325 SOS 23451 HAS SOPS 23451 HAS SOUS 19357 HAS SOUPS 19357 WITH SCORE 19380.451
AT ITER 1773 NEW BEST:: SOT 77321 SOS 23473 HAS SOPS 23473 HAS SOUS 19336 HAS SOUPS 19336 WITH SCORE 19359.473
AT ITER 1780 NEW BEST:: SOT 77432 SOS 23584 HAS SOPS 23584 HAS SOUS 19327 HAS SOUPS 19327 WITH SCORE 19350.584
AT ITER 1785 NEW BEST:: SOT 77519 SOS 23644 HAS SOPS 23644 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19322.644
AT ITER 1786 NEW BEST:: SOT 77492 SOS 23637 HAS SOPS 23637 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19315.637
AT ITER 1817 NEW BEST:: SOT 77483 SOS 23628 HAS SOPS 23628 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19315.628
AT ITER 1822 NEW BEST:: SOT 77478 SOS 23622 HAS SOPS 23622 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19309.622
AT ITER 1832 NEW BEST:: SOT 77478 SOS 23602 HAS SOPS 23602 HAS SOUS 19276 HAS SOUPS 19276 WITH SCORE 19299.602
AT ITER 1838 NEW BEST:: SOT 77471 SOS 23588 HAS SOPS 23588 HAS SOUS 19262 HAS SOUPS 19262 WITH SCORE 19285.588
AT ITER 1873 NEW BEST:: SOT 77471 SOS 23561 HAS SOPS 23561 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19258.561
AT ITER 1874 NEW BEST:: SOT 77425 SOS 23500 HAS SOPS 23500 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19241.5
AT ITER 1883 NEW BEST:: SOT 77485 SOS 23565 HAS SOPS 23565 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19228.565
AT ITER 1888 NEW BEST:: SOT 77462 SOS 23519 HAS SOPS 23519 HAS SOUS 19162 HAS SOUPS 19162 WITH SCORE 19185.519
AT ITER 1896 NEW BEST:: SOT 77459 SOS 23516 HAS SOPS 23516 HAS SOUS 19159 HAS SOUPS 19159 WITH SCORE 19182.516
AT ITER 1900 NEW BEST:: SOT 77588 SOS 23536 HAS SOPS 23536 HAS SOUS 19027 HAS SOUPS 19027 WITH SCORE 19050.536
AT ITER 1916 NEW BEST:: SOT 77588 SOS 23532 HAS SOPS 23532 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19046.532
AT ITER 1953 NEW BEST:: SOT 77588 SOS 23528 HAS SOPS 23528 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19042.528
AT ITER 1960 NEW BEST:: SOT 77582 SOS 23492 HAS SOPS 23492 HAS SOUS 18983 HAS SOUPS 18983 WITH SCORE 19006.492
AT ITER 1968 NEW BEST:: SOT 77542 SOS 23445 HAS SOPS 23445 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18992.445
AT ITER 1973 NEW BEST:: SOT 77501 SOS 23409 HAS SOPS 23409 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18956.409
AT ITER 1976 NEW BEST:: SOT 77436 SOS 23308 HAS SOPS 23308 HAS SOUS 18832 HAS SOUPS 18832 WITH SCORE 18855.308
AT ITER 1978 NEW BEST:: SOT 77435 SOS 23265 HAS SOPS 23265 HAS SOUS 18831 HAS SOUPS 18831 WITH SCORE 18854.265
AT ITER 1987 NEW BEST:: SOT 77435 SOS 23225 HAS SOPS 23225 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18840.225
AT ITER 2001 NEW BEST:: SOT 77418 SOS 23208 HAS SOPS 23208 HAS SOUS 18800 HAS SOUPS 18800 WITH SCORE 18823.208
AT ITER 2015 NEW BEST:: SOT 77319 SOS 23087 HAS SOPS 23087 HAS SOUS 18679 HAS SOUPS 18679 WITH SCORE 18702.087
AT ITER 2028 NEW BEST:: SOT 77348 SOS 23111 HAS SOPS 23111 HAS SOUS 18677 HAS SOUPS 18677 WITH SCORE 18700.111
AT ITER 2043 NEW BEST:: SOT 77308 SOS 23071 HAS SOPS 23071 HAS SOUS 18657 HAS SOUPS 18657 WITH SCORE 18680.071
AT ITER 2052 NEW BEST:: SOT 77300 SOS 23055 HAS SOPS 23055 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18669.055
AT ITER 2056 NEW BEST:: SOT 77113 SOS 22899 HAS SOPS 22899 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18621.899
AT ITER 2067 NEW BEST:: SOT 77113 SOS 22885 HAS SOPS 22885 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18607.885
AT ITER 2128 NEW BEST:: SOT 77100 SOS 22859 HAS SOPS 22859 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18581.859
AT ITER 2135 NEW BEST:: SOT 77137 SOS 22893 HAS SOPS 22893 HAS SOUS 18533 HAS SOUPS 18533 WITH SCORE 18555.893
AT ITER 2140 NEW BEST:: SOT 77135 SOS 22889 HAS SOPS 22889 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18548.889
AT ITER 2144 NEW BEST:: SOT 77116 SOS 22851 HAS SOPS 22851 HAS SOUS 18498 HAS SOUPS 18498 WITH SCORE 18520.851
AT ITER 2150 NEW BEST:: SOT 77097 SOS 22814 HAS SOPS 22814 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18483.814
AT ITER 2164 NEW BEST:: SOT 77084 SOS 22801 HAS SOPS 22801 HAS SOUS 18459 HAS SOUPS 18459 WITH SCORE 18481.801
AT ITER 2201 NEW BEST:: SOT 77064 SOS 22761 HAS SOPS 22761 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18451.761
AT ITER 2215 NEW BEST:: SOT 77094 SOS 22711 HAS SOPS 22711 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18401.711
AT ITER 2236 NEW BEST:: SOT 77082 SOS 22687 HAS SOPS 22687 HAS SOUS 18367 HAS SOUPS 18367 WITH SCORE 18389.687
AT ITER 2250 NEW BEST:: SOT 76937 SOS 22655 HAS SOPS 22655 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18357.655
AT ITER 2252 NEW BEST:: SOT 76879 SOS 22565 HAS SOPS 22565 HAS SOUS 18299 HAS SOUPS 18299 WITH SCORE 18321.565
AT ITER 2263 NEW BEST:: SOT 76913 SOS 22597 HAS SOPS 22597 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18317.597
AT ITER 2288 NEW BEST:: SOT 76939 SOS 22617 HAS SOPS 22617 HAS SOUS 18283 HAS SOUPS 18283 WITH SCORE 18305.617
AT ITER 2290 NEW BEST:: SOT 76946 SOS 22589 HAS SOPS 22589 HAS SOUS 18255 HAS SOUPS 18255 WITH SCORE 18277.589
AT ITER 2292 NEW BEST:: SOT 76863 SOS 22474 HAS SOPS 22474 HAS SOUS 18099 HAS SOUPS 18099 WITH SCORE 18121.474
AT ITER 2321 NEW BEST:: SOT 76819 SOS 22399 HAS SOPS 22399 HAS SOUS 18099 HAS SOUPS 18099 WITH SCORE 18121.399
AT ITER 2345 NEW BEST:: SOT 76828 SOS 22385 HAS SOPS 22385 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18096.385
AT ITER 2349 NEW BEST:: SOT 76828 SOS 22382 HAS SOPS 22382 HAS SOUS 18073 HAS SOUPS 18073 WITH SCORE 18095.382
AT ITER 2368 NEW BEST:: SOT 76844 SOS 22370 HAS SOPS 22370 HAS SOUS 18045 HAS SOUPS 18045 WITH SCORE 18067.37
AT ITER 2373 NEW BEST:: SOT 76837 SOS 22356 HAS SOPS 22356 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18053.356
AT ITER 2395 NEW BEST:: SOT 76837 SOS 22344 HAS SOPS 22344 HAS SOUS 18019 HAS SOUPS 18019 WITH SCORE 18041.344
AT ITER 2417 NEW BEST:: SOT 76876 SOS 22344 HAS SOPS 22344 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 18002.344
AT ITER 2434 NEW BEST:: SOT 76876 SOS 22298 HAS SOPS 22298 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17956.298
AT ITER 2459 NEW BEST:: SOT 76817 SOS 22013 HAS SOPS 22013 HAS SOUS 17868 HAS SOUPS 17868 WITH SCORE 17890.013
AT ITER 2460 NEW BEST:: SOT 76816 SOS 22011 HAS SOPS 22011 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17888.011
AT ITER 2469 NEW BEST:: SOT 76811 SOS 22006 HAS SOPS 22006 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17883.006
AT ITER 2517 NEW BEST:: SOT 76807 SOS 22002 HAS SOPS 22002 HAS SOUS 17857 HAS SOUPS 17857 WITH SCORE 17879.002
AT ITER 2518 NEW BEST:: SOT 76843 SOS 22027 HAS SOPS 22027 HAS SOUS 17835 HAS SOUPS 17835 WITH SCORE 17857.027
AT ITER 2590 NEW BEST:: SOT 76812 SOS 21965 HAS SOPS 21965 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17794.965
AT ITER 2603 NEW BEST:: SOT 76781 SOS 21934 HAS SOPS 21934 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17794.934
AT ITER 2615 NEW BEST:: SOT 76772 SOS 21924 HAS SOPS 21924 HAS SOUS 17755 HAS SOUPS 17755 WITH SCORE 17776.924
AT ITER 2645 NEW BEST:: SOT 76772 SOS 21924 HAS SOPS 21924 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17762.924
AT ITER 2651 NEW BEST:: SOT 76763 SOS 21912 HAS SOPS 21912 HAS SOUS 17735 HAS SOUPS 17735 WITH SCORE 17756.912
AT ITER 2714 NEW BEST:: SOT 76763 SOS 21872 HAS SOPS 21872 HAS SOUS 17725 HAS SOUPS 17725 WITH SCORE 17746.872
AT ITER 2737 NEW BEST:: SOT 76711 SOS 21768 HAS SOPS 21768 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17684.768
AT ITER 2758 NEW BEST:: SOT 76677 SOS 21734 HAS SOPS 21734 HAS SOUS 17663 HAS SOUPS 17663 WITH SCORE 17684.734
AT ITER 2772 NEW BEST:: SOT 76676 SOS 21733 HAS SOPS 21733 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17683.733
AT ITER 2795 NEW BEST:: SOT 76643 SOS 21700 HAS SOPS 21700 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17650.7
AT ITER 2799 NEW BEST:: SOT 76636 SOS 21686 HAS SOPS 21686 HAS SOUS 17591 HAS SOUPS 17591 WITH SCORE 17612.686
AT ITER 2822 NEW BEST:: SOT 76618 SOS 21642 HAS SOPS 21642 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17568.642
AT ITER 2823 NEW BEST:: SOT 76513 SOS 21676 HAS SOPS 21676 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17497.676
AT ITER 2842 NEW BEST:: SOT 76577 SOS 21718 HAS SOPS 21718 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17496.718
AT ITER 2853 NEW BEST:: SOT 76567 SOS 21708 HAS SOPS 21708 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17496.708
AT ITER 2875 NEW BEST:: SOT 76582 SOS 21707 HAS SOPS 21707 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17495.707
AT ITER 2880 NEW BEST:: SOT 76560 SOS 21685 HAS SOPS 21685 HAS SOUS 17452 HAS SOUPS 17452 WITH SCORE 17473.685
AT ITER 2884 NEW BEST:: SOT 76555 SOS 21659 HAS SOPS 21659 HAS SOUS 17426 HAS SOUPS 17426 WITH SCORE 17447.659
AT ITER 2896 NEW BEST:: SOT 76556 SOS 21661 HAS SOPS 21661 HAS SOUS 17408 HAS SOUPS 17408 WITH SCORE 17429.661
AT ITER 2911 NEW BEST:: SOT 76399 SOS 21504 HAS SOPS 21504 HAS SOUS 17271 HAS SOUPS 17271 WITH SCORE 17292.504
AT ITER 2921 NEW BEST:: SOT 76591 SOS 21483 HAS SOPS 21483 HAS SOUS 17250 HAS SOUPS 17250 WITH SCORE 17271.483
AT ITER 2935 NEW BEST:: SOT 76591 SOS 21419 HAS SOPS 21419 HAS SOUS 17234 HAS SOUPS 17234 WITH SCORE 17255.419
AT ITER 2956 NEW BEST:: SOT 76584 SOS 21405 HAS SOPS 21405 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17248.405
AT ITER 2971 NEW BEST:: SOT 76557 SOS 21375 HAS SOPS 21375 HAS SOUS 17197 HAS SOUPS 17197 WITH SCORE 17218.375
AT ITER 2978 NEW BEST:: SOT 76557 SOS 21361 HAS SOPS 21361 HAS SOUS 17183 HAS SOUPS 17183 WITH SCORE 17204.361
AT ITER 3017 NEW BEST:: SOT 76649 SOS 21353 HAS SOPS 21353 HAS SOUS 17175 HAS SOUPS 17175 WITH SCORE 17196.353
AT ITER 3033 NEW BEST:: SOT 76705 SOS 21345 HAS SOPS 21345 HAS SOUS 17167 HAS SOUPS 17167 WITH SCORE 17188.345
AT ITER 3050 NEW BEST:: SOT 76705 SOS 21341 HAS SOPS 21341 HAS SOUS 17163 HAS SOUPS 17163 WITH SCORE 17184.341
AT ITER 3060 NEW BEST:: SOT 76686 SOS 21322 HAS SOPS 21322 HAS SOUS 17138 HAS SOUPS 17138 WITH SCORE 17159.322
AT ITER 3093 NEW BEST:: SOT 76678 SOS 21314 HAS SOPS 21314 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17151.314
AT ITER 3102 NEW BEST:: SOT 76581 SOS 21221 HAS SOPS 21221 HAS SOUS 17106 HAS SOUPS 17106 WITH SCORE 17127.221
AT ITER 3110 NEW BEST:: SOT 76641 SOS 21173 HAS SOPS 21173 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17079.173
AT ITER 3113 NEW BEST:: SOT 76619 SOS 21140 HAS SOPS 21140 HAS SOUS 17025 HAS SOUPS 17025 WITH SCORE 17046.14
AT ITER 3140 NEW BEST:: SOT 76596 SOS 21094 HAS SOPS 21094 HAS SOUS 16979 HAS SOUPS 16979 WITH SCORE 17000.094
AT ITER 3165 NEW BEST:: SOT 76628 SOS 21069 HAS SOPS 21069 HAS SOUS 16933 HAS SOUPS 16933 WITH SCORE 16954.069
AT ITER 3175 NEW BEST:: SOT 76628 SOS 21063 HAS SOPS 21063 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16948.063
AT ITER 3181 NEW BEST:: SOT 76453 SOS 24550 HAS SOPS 24550 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16865.55
AT ITER 3222 NEW BEST:: SOT 76500 SOS 24644 HAS SOPS 24644 HAS SOUS 16831 HAS SOUPS 16831 WITH SCORE 16855.644
AT ITER 3243 NEW BEST:: SOT 76502 SOS 24619 HAS SOPS 24619 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16830.619
AT ITER 3248 NEW BEST:: SOT 76482 SOS 24597 HAS SOPS 24597 HAS SOUS 16784 HAS SOUPS 16784 WITH SCORE 16808.597
AT ITER 3272 NEW BEST:: SOT 76481 SOS 24574 HAS SOPS 24574 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16785.574
AT ITER 3290 NEW BEST:: SOT 76474 SOS 24567 HAS SOPS 24567 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16785.567
AT ITER 3339 NEW BEST:: SOT 76466 SOS 24523 HAS SOPS 24523 HAS SOUS 16717 HAS SOUPS 16717 WITH SCORE 16741.523
AT ITER 3369 NEW BEST:: SOT 76459 SOS 24515 HAS SOPS 24515 HAS SOUS 16715 HAS SOUPS 16715 WITH SCORE 16739.515
AT ITER 3370 NEW BEST:: SOT 76459 SOS 24485 HAS SOPS 24485 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16724.485
AT ITER 3398 NEW BEST:: SOT 76439 SOS 24489 HAS SOPS 24489 HAS SOUS 16691 HAS SOUPS 16691 WITH SCORE 16715.489
AT ITER 3433 NEW BEST:: SOT 76426 SOS 24461 HAS SOPS 24461 HAS SOUS 16663 HAS SOUPS 16663 WITH SCORE 16687.461
AT ITER 3438 NEW BEST:: SOT 76358 SOS 24393 HAS SOPS 24393 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16619.393
AT ITER 3467 NEW BEST:: SOT 76339 SOS 24355 HAS SOPS 24355 HAS SOUS 16557 HAS SOUPS 16557 WITH SCORE 16581.355
AT ITER 3478 NEW BEST:: SOT 76379 SOS 24357 HAS SOPS 24357 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16544.357
AT ITER 3486 NEW BEST:: SOT 76392 SOS 24355 HAS SOPS 24355 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16542.355
AT ITER 3498 NEW BEST:: SOT 76392 SOS 24331 HAS SOPS 24331 HAS SOUS 16494 HAS SOUPS 16494 WITH SCORE 16518.331
AT ITER 3519 NEW BEST:: SOT 76332 SOS 24231 HAS SOPS 24231 HAS SOUS 16436 HAS SOUPS 16436 WITH SCORE 16460.231
AT ITER 3552 NEW BEST:: SOT 76321 SOS 24209 HAS SOPS 24209 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16457.209
AT ITER 3557 NEW BEST:: SOT 76355 SOS 24243 HAS SOPS 24243 HAS SOUS 16420 HAS SOUPS 16420 WITH SCORE 16444.243
AT ITER 3575 NEW BEST:: SOT 76330 SOS 24218 HAS SOPS 24218 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16431.218
AT ITER 3655 NEW BEST:: SOT 76308 SOS 24207 HAS SOPS 24207 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16420.207
AT ITER 3711 NEW BEST:: SOT 76303 SOS 24197 HAS SOPS 24197 HAS SOUS 16391 HAS SOUPS 16391 WITH SCORE 16415.197
AT ITER 3716 NEW BEST:: SOT 76300 SOS 24197 HAS SOPS 24197 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16412.197
AT ITER 3784 NEW BEST:: SOT 76300 SOS 24027 HAS SOPS 24027 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16383.027
AT ITER 3801 NEW BEST:: SOT 76291 SOS 24009 HAS SOPS 24009 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16374.009
AT ITER 3808 NEW BEST:: SOT 76291 SOS 23999 HAS SOPS 23999 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16373.999
AT ITER 3814 NEW BEST:: SOT 76400 SOS 24099 HAS SOPS 24099 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16348.099
AT ITER 3881 NEW BEST:: SOT 76360 SOS 24019 HAS SOPS 24019 HAS SOUS 16244 HAS SOUPS 16244 WITH SCORE 16268.019
AT ITER 3886 NEW BEST:: SOT 76316 SOS 23974 HAS SOPS 23974 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16265.974
AT ITER 3890 NEW BEST:: SOT 76290 SOS 23948 HAS SOPS 23948 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16260.948
AT ITER 3912 NEW BEST:: SOT 76290 SOS 23881 HAS SOPS 23881 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16260.881
AT ITER 3923 NEW BEST:: SOT 76271 SOS 23857 HAS SOPS 23857 HAS SOUS 16227 HAS SOUPS 16227 WITH SCORE 16250.857
AT ITER 3965 NEW BEST:: SOT 76298 SOS 23838 HAS SOPS 23838 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16223.838
AT ITER 3995 NEW BEST:: SOT 76288 SOS 23818 HAS SOPS 23818 HAS SOUS 16187 HAS SOUPS 16187 WITH SCORE 16210.818
AT ITER 4031 NEW BEST:: SOT 76318 SOS 23758 HAS SOPS 23758 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16197.758
AT ITER 4039 NEW BEST:: SOT 76318 SOS 23719 HAS SOPS 23719 HAS SOUS 16145 HAS SOUPS 16145 WITH SCORE 16168.719
AT ITER 4041 NEW BEST:: SOT 76348 SOS 23694 HAS SOPS 23694 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16143.694
AT ITER 4050 NEW BEST:: SOT 76342 SOS 23688 HAS SOPS 23688 HAS SOUS 16114 HAS SOUPS 16114 WITH SCORE 16137.688
AT ITER 4070 NEW BEST:: SOT 76341 SOS 23686 HAS SOPS 23686 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16121.686
AT ITER 4079 NEW BEST:: SOT 76341 SOS 23683 HAS SOPS 23683 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16121.683
AT ITER 4101 NEW BEST:: SOT 76342 SOS 23685 HAS SOPS 23685 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16119.685
AT ITER 4137 NEW BEST:: SOT 76326 SOS 23669 HAS SOPS 23669 HAS SOUS 16096 HAS SOUPS 16096 WITH SCORE 16119.669
AT ITER 4138 NEW BEST:: SOT 76326 SOS 23669 HAS SOPS 23669 HAS SOUS 16077 HAS SOUPS 16077 WITH SCORE 16100.669
AT ITER 4145 NEW BEST:: SOT 76323 SOS 23663 HAS SOPS 23663 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16094.663
AT ITER 4154 NEW BEST:: SOT 76323 SOS 23663 HAS SOPS 23663 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16087.663
AT ITER 4169 NEW BEST:: SOT 76279 SOS 23619 HAS SOPS 23619 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16068.619
AT ITER 4205 NEW BEST:: SOT 76257 SOS 23598 HAS SOPS 23598 HAS SOUS 16024 HAS SOUPS 16024 WITH SCORE 16047.598
AT ITER 4226 NEW BEST:: SOT 76261 SOS 23602 HAS SOPS 23602 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16031.602
AT ITER 4240 NEW BEST:: SOT 76262 SOS 23600 HAS SOPS 23600 HAS SOUS 16006 HAS SOUPS 16006 WITH SCORE 16029.6
AT ITER 4255 NEW BEST:: SOT 76260 SOS 23595 HAS SOPS 23595 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16024.595
AT ITER 4273 NEW BEST:: SOT 76208 SOS 23543 HAS SOPS 23543 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16024.543
AT ITER 4294 NEW BEST:: SOT 76200 SOS 23527 HAS SOPS 23527 HAS SOUS 15985 HAS SOUPS 15985 WITH SCORE 16008.527
AT ITER 4315 NEW BEST:: SOT 76189 SOS 23425 HAS SOPS 23425 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15972.425
AT ITER 4340 NEW BEST:: SOT 76165 SOS 23309 HAS SOPS 23309 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15896.309
AT ITER 4369 NEW BEST:: SOT 76182 SOS 21437 HAS SOPS 21437 HAS SOUS 15849 HAS SOUPS 15849 WITH SCORE 15870.437
AT ITER 4423 NEW BEST:: SOT 76181 SOS 21436 HAS SOPS 21436 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15869.436
AT ITER 4521 NEW BEST:: SOT 76181 SOS 21333 HAS SOPS 21333 HAS SOUS 15815 HAS SOUPS 15815 WITH SCORE 15836.333
AT ITER 4528 NEW BEST:: SOT 76174 SOS 21444 HAS SOPS 21444 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15810.444
AT ITER 4530 NEW BEST:: SOT 76186 SOS 21197 HAS SOPS 21197 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15810.197
AT ITER 4597 NEW BEST:: SOT 76115 SOS 21155 HAS SOPS 21155 HAS SOUS 15778 HAS SOUPS 15778 WITH SCORE 15799.155
AT ITER 4602 NEW BEST:: SOT 76108 SOS 21151 HAS SOPS 21151 HAS SOUS 15774 HAS SOUPS 15774 WITH SCORE 15795.151
AT ITER 4674 NEW BEST:: SOT 76108 SOS 21135 HAS SOPS 21135 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15779.135
AT ITER 4698 NEW BEST:: SOT 76081 SOS 21082 HAS SOPS 21082 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15773.082
AT ITER 4713 NEW BEST:: SOT 76081 SOS 21080 HAS SOPS 21080 HAS SOUS 15748 HAS SOUPS 15748 WITH SCORE 15769.08
AT ITER 4739 NEW BEST:: SOT 76071 SOS 21071 HAS SOPS 21071 HAS SOUS 15739 HAS SOUPS 15739 WITH SCORE 15760.071
AT ITER 4761 NEW BEST:: SOT 76070 SOS 21058 HAS SOPS 21058 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15754.058
AT ITER 4767 NEW BEST:: SOT 76052 SOS 21040 HAS SOPS 21040 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15754.04
AT ITER 4793 NEW BEST:: SOT 76046 SOS 21029 HAS SOPS 21029 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15733.029
AT ITER 4804 NEW BEST:: SOT 76046 SOS 21014 HAS SOPS 21014 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15718.014
AT ITER 4864 NEW BEST:: SOT 76043 SOS 21011 HAS SOPS 21011 HAS SOUS 15697 HAS SOUPS 15697 WITH SCORE 15718.011
AT ITER 4871 NEW BEST:: SOT 76030 SOS 20955 HAS SOPS 20955 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15661.955
AT ITER 4879 NEW BEST:: SOT 76008 SOS 20911 HAS SOPS 20911 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15628.911
AT ITER 4904 NEW BEST:: SOT 75977 SOS 20849 HAS SOPS 20849 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15595.849
AT ITER 4909 NEW BEST:: SOT 75975 SOS 20847 HAS SOPS 20847 HAS SOUS 15575 HAS SOUPS 15575 WITH SCORE 15595.847
AT ITER 4921 NEW BEST:: SOT 75949 SOS 20821 HAS SOPS 20821 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15569.821
AT ITER 4924 NEW BEST:: SOT 75921 SOS 20810 HAS SOPS 20810 HAS SOUS 15538 HAS SOUPS 15538 WITH SCORE 15558.81
AT ITER 4976 NEW BEST:: SOT 75925 SOS 20818 HAS SOPS 20818 HAS SOUS 15513 HAS SOUPS 15513 WITH SCORE 15533.818
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-08-CTLFireability-00 (! (EF( (AF( ( ((potential((tk(P227)>=1) & (tk(P48)>=1) & (tk(P393)>=1)))) | ((potential((tk(P306)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-01 (AX( ( ( (EF( ((potential((tk(P41)>=1)))))) | ( ((potential((tk(P162)>=1)))) & (! ((potential((tk(P58)>=1))))) ) ) & (EF( (! ((potential((tk(P134)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-02 (AG( (! (AF( ( ((potential((tk(P253)>=1) & (tk(P103)>=1) & (tk(P373)>=1)))) | ((potential((tk(P341)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-03 (! (EF( ((potential((tk(P104)>=1)))))))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-04 (EF( (AX( (EG( ((potential((tk(P188)>=1) & (tk(P81)>=1) & (tk(P355)>=1))))))))))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-05 (EF( ( ((potential((tk(P230)>=1)))) & ( (! ((potential((tk(P281)>=1))))) & (EF( ((potential((tk(P5)>=1)))))) ) )))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-06 (EU( (! (AX( ((potential((tk(P302)>=1))))))) , ((potential((tk(P190)>=1)))) ))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-07 (AG( ( (! (AG( ((potential((tk(P296)>=1))))))) | (! ((potential((tk(P174)>=1))))) )))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-08 ( (EF( ((potential((tk(P32)>=1)))))) & (AG( ( ( (! ((potential((tk(P136)>=1))))) & ( ((potential((tk(P111)>=1)))) & ((potential((tk(P120)>=1)))) ) ) | ( (! ((potential((tk(P22)>=1))))) & (! ((potential((tk(P19)>=1))))) ) ))) )
PROPERTY: BusinessProcesses-PT-08-CTLFireability-09 (! (EF( ( ( ( ((potential((tk(P123)>=1)))) & ((potential((tk(P96)>=1)))) ) | ( ((potential((tk(P133)>=1)))) | ((potential((tk(P200)>=1)))) ) ) & ( (! ((potential((tk(P240)>=1))))) & ( ((potential((tk(P329)>=1)))) | ((potential((tk(P197)>=1) & (tk(P139)>=1) & (tk(P393)>=1)))) ) ) ))))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-10 (EF( ( ( ( ((potential((tk(P98)>=1)))) & (! ((potential((tk(P20)>=1))))) ) & ( ( ((potential((tk(P311)>=1)))) | ((potential((tk(P214)>=1)))) ) | ( ((potential((tk(P316)>=1)))) | ((potential((tk(P250)>=1)))) ) ) ) | ( ((potential((tk(P221)>=1)))) & (AX( ((potential((tk(P23)>=1)))))) ) )))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-11 (! (AF( ( (EF( ((potential((tk(P47)>=1)))))) & (EF( ((potential((tk(P306)>=1)))))) ))))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-12 (AF( ( (EF( ( ((potential((tk(P315)>=1)))) | ((potential((tk(P77)>=1)))) ))) | (EG( ( ((potential((tk(P268)>=1) & (tk(P119)>=1) & (tk(P385)>=1)))) | ((potential((tk(P3)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-13 ( (EF( ( (EG( ((potential((tk(P172)>=1) & (tk(P21)>=1) & (tk(P393)>=1)))))) & (! (! ((potential((tk(P392)>=1)))))) ))) | ((potential((tk(P160)>=1)))) )
PROPERTY: BusinessProcesses-PT-08-CTLFireability-14 (AU( ( (! ( ((potential((tk(P3)>=1)))) & ((potential((tk(P238)>=1) & (tk(P62)>=1) & (tk(P339)>=1)))) )) & (EX( ((potential((tk(P155)>=1)))))) ) , (EF( ( ((potential((tk(P241)>=1)))) & ((potential((tk(P202)>=1) & (tk(P21)>=1) & (tk(P393)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-08-CTLFireability-15 ( ( (AG( (EF( ((potential((tk(P122)>=1)))))))) & ( ( (! (! ((potential((tk(P64)>=1)))))) | ( (! ((potential((tk(P88)>=1))))) | ((potential((tk(P276)>=1)))) ) ) | (EX( ( ((potential((tk(P111)>=1)))) & ((potential((tk(P98)>=1)))) ))) ) ) & (EF( ((potential((tk(P64)>=1)))))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-08"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-08, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680100508"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-08.tgz
mv BusinessProcesses-PT-08 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;