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

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

=== Now, execution of the tool begins

BK_START 1589018889058

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 09
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: 403 places, 374 transitions, 1148 arcs.
AT ITER 0 NEW BEST:: SOT 97193 SOS 39689 HAS SOPS 39689 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37945.689
AT ITER 3 NEW BEST:: SOT 97193 SOS 39672 HAS SOPS 39672 HAS SOUS 37889 HAS SOUPS 37889 WITH SCORE 37928.672
AT ITER 6 NEW BEST:: SOT 97193 SOS 39528 HAS SOPS 39528 HAS SOUS 37745 HAS SOUPS 37745 WITH SCORE 37784.528
AT ITER 14 NEW BEST:: SOT 97106 SOS 39330 HAS SOPS 39330 HAS SOUS 37515 HAS SOUPS 37515 WITH SCORE 37554.33
AT ITER 23 NEW BEST:: SOT 94982 SOS 37709 HAS SOPS 37709 HAS SOUS 35414 HAS SOUPS 35414 WITH SCORE 35451.709
AT ITER 36 NEW BEST:: SOT 95032 SOS 37647 HAS SOPS 37647 HAS SOUS 35409 HAS SOUPS 35409 WITH SCORE 35446.647
AT ITER 47 NEW BEST:: SOT 94998 SOS 37264 HAS SOPS 37264 HAS SOUS 35119 HAS SOUPS 35119 WITH SCORE 35156.264
AT ITER 50 NEW BEST:: SOT 94997 SOS 37232 HAS SOPS 37232 HAS SOUS 35087 HAS SOUPS 35087 WITH SCORE 35124.232
AT ITER 51 NEW BEST:: SOT 95033 SOS 37130 HAS SOPS 37130 HAS SOUS 34985 HAS SOUPS 34985 WITH SCORE 35022.13
AT ITER 54 NEW BEST:: SOT 95032 SOS 37023 HAS SOPS 37023 HAS SOUS 34878 HAS SOUPS 34878 WITH SCORE 34915.023
AT ITER 68 NEW BEST:: SOT 95033 SOS 36947 HAS SOPS 36947 HAS SOUS 34802 HAS SOUPS 34802 WITH SCORE 34838.947
AT ITER 69 NEW BEST:: SOT 95032 SOS 36945 HAS SOPS 36945 HAS SOUS 34800 HAS SOUPS 34800 WITH SCORE 34836.945
AT ITER 76 NEW BEST:: SOT 95057 SOS 37019 HAS SOPS 37019 HAS SOUS 34796 HAS SOUPS 34796 WITH SCORE 34833.019
AT ITER 78 NEW BEST:: SOT 94992 SOS 37005 HAS SOPS 37005 HAS SOUS 34782 HAS SOUPS 34782 WITH SCORE 34819.005
AT ITER 95 NEW BEST:: SOT 94984 SOS 36997 HAS SOPS 36997 HAS SOUS 34774 HAS SOUPS 34774 WITH SCORE 34810.997
AT ITER 103 NEW BEST:: SOT 94842 SOS 36815 HAS SOPS 36815 HAS SOUS 34590 HAS SOUPS 34590 WITH SCORE 34626.815
AT ITER 107 NEW BEST:: SOT 94862 SOS 36621 HAS SOPS 36621 HAS SOUS 34493 HAS SOUPS 34493 WITH SCORE 34529.621
AT ITER 116 NEW BEST:: SOT 93174 SOS 48739 HAS SOPS 48739 HAS SOUS 33496 HAS SOUPS 33496 WITH SCORE 33544.739
AT ITER 129 NEW BEST:: SOT 93166 SOS 48452 HAS SOPS 48452 HAS SOUS 33325 HAS SOUPS 33325 WITH SCORE 33373.452
AT ITER 133 NEW BEST:: SOT 93056 SOS 48232 HAS SOPS 48232 HAS SOUS 33278 HAS SOUPS 33278 WITH SCORE 33326.232
AT ITER 150 NEW BEST:: SOT 93056 SOS 48232 HAS SOPS 48232 HAS SOUS 33229 HAS SOUPS 33229 WITH SCORE 33277.232
AT ITER 152 NEW BEST:: SOT 93028 SOS 48204 HAS SOPS 48204 HAS SOUS 33201 HAS SOUPS 33201 WITH SCORE 33249.204
AT ITER 157 NEW BEST:: SOT 93028 SOS 48195 HAS SOPS 48195 HAS SOUS 33192 HAS SOUPS 33192 WITH SCORE 33240.195
AT ITER 169 NEW BEST:: SOT 93028 SOS 48195 HAS SOPS 48195 HAS SOUS 33152 HAS SOUPS 33152 WITH SCORE 33200.195
AT ITER 178 NEW BEST:: SOT 93030 SOS 48199 HAS SOPS 48199 HAS SOUS 33145 HAS SOUPS 33145 WITH SCORE 33193.199
AT ITER 189 NEW BEST:: SOT 93024 SOS 48198 HAS SOPS 48198 HAS SOUS 33144 HAS SOUPS 33144 WITH SCORE 33192.198
AT ITER 196 NEW BEST:: SOT 92838 SOS 47919 HAS SOPS 47919 HAS SOUS 32958 HAS SOUPS 32958 WITH SCORE 33005.919
AT ITER 198 NEW BEST:: SOT 92838 SOS 47919 HAS SOPS 47919 HAS SOUS 32957 HAS SOUPS 32957 WITH SCORE 33004.919
AT ITER 207 NEW BEST:: SOT 92793 SOS 47827 HAS SOPS 47827 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 32912.827
AT ITER 222 NEW BEST:: SOT 92792 SOS 47826 HAS SOPS 47826 HAS SOUS 32864 HAS SOUPS 32864 WITH SCORE 32911.826
AT ITER 233 NEW BEST:: SOT 92752 SOS 47700 HAS SOPS 47700 HAS SOUS 32778 HAS SOUPS 32778 WITH SCORE 32825.7
AT ITER 263 NEW BEST:: SOT 92838 SOS 47698 HAS SOPS 47698 HAS SOUS 32776 HAS SOUPS 32776 WITH SCORE 32823.698
AT ITER 266 NEW BEST:: SOT 92715 SOS 47575 HAS SOPS 47575 HAS SOUS 32776 HAS SOUPS 32776 WITH SCORE 32823.575
AT ITER 273 NEW BEST:: SOT 92689 SOS 47562 HAS SOPS 47562 HAS SOUS 32763 HAS SOUPS 32763 WITH SCORE 32810.562
AT ITER 289 NEW BEST:: SOT 92619 SOS 47556 HAS SOPS 47556 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32804.556
AT ITER 293 NEW BEST:: SOT 92676 SOS 47613 HAS SOPS 47613 HAS SOUS 32744 HAS SOUPS 32744 WITH SCORE 32791.613
AT ITER 299 NEW BEST:: SOT 92694 SOS 47605 HAS SOPS 47605 HAS SOUS 32736 HAS SOUPS 32736 WITH SCORE 32783.605
AT ITER 305 NEW BEST:: SOT 92763 SOS 47674 HAS SOPS 47674 HAS SOUS 32734 HAS SOUPS 32734 WITH SCORE 32781.674
AT ITER 306 NEW BEST:: SOT 92647 SOS 47442 HAS SOPS 47442 HAS SOUS 32560 HAS SOUPS 32560 WITH SCORE 32607.442
AT ITER 308 NEW BEST:: SOT 92658 SOS 47453 HAS SOPS 47453 HAS SOUS 32559 HAS SOUPS 32559 WITH SCORE 32606.453
AT ITER 314 NEW BEST:: SOT 92667 SOS 47332 HAS SOPS 47332 HAS SOUS 32438 HAS SOUPS 32438 WITH SCORE 32485.332
AT ITER 322 NEW BEST:: SOT 92667 SOS 47326 HAS SOPS 47326 HAS SOUS 32432 HAS SOUPS 32432 WITH SCORE 32479.326
AT ITER 326 NEW BEST:: SOT 92459 SOS 47016 HAS SOPS 47016 HAS SOUS 32228 HAS SOUPS 32228 WITH SCORE 32275.016
AT ITER 332 NEW BEST:: SOT 92413 SOS 46983 HAS SOPS 46983 HAS SOUS 32195 HAS SOUPS 32195 WITH SCORE 32241.983
AT ITER 333 NEW BEST:: SOT 92364 SOS 46966 HAS SOPS 46966 HAS SOUS 32176 HAS SOUPS 32176 WITH SCORE 32222.966
AT ITER 336 NEW BEST:: SOT 92345 SOS 46928 HAS SOPS 46928 HAS SOUS 32138 HAS SOUPS 32138 WITH SCORE 32184.928
AT ITER 344 NEW BEST:: SOT 92344 SOS 46893 HAS SOPS 46893 HAS SOUS 32103 HAS SOUPS 32103 WITH SCORE 32149.893
AT ITER 360 NEW BEST:: SOT 91972 SOS 46514 HAS SOPS 46514 HAS SOUS 31724 HAS SOUPS 31724 WITH SCORE 31770.514
AT ITER 395 NEW BEST:: SOT 91946 SOS 46476 HAS SOPS 46476 HAS SOUS 31672 HAS SOUPS 31672 WITH SCORE 31718.476
AT ITER 397 NEW BEST:: SOT 91946 SOS 46457 HAS SOPS 46457 HAS SOUS 31653 HAS SOUPS 31653 WITH SCORE 31699.457
AT ITER 410 NEW BEST:: SOT 91913 SOS 46339 HAS SOPS 46339 HAS SOUS 31593 HAS SOUPS 31593 WITH SCORE 31639.339
AT ITER 411 NEW BEST:: SOT 91879 SOS 46378 HAS SOPS 46378 HAS SOUS 31569 HAS SOUPS 31569 WITH SCORE 31615.378
AT ITER 420 NEW BEST:: SOT 91852 SOS 46324 HAS SOPS 46324 HAS SOUS 31515 HAS SOUPS 31515 WITH SCORE 31561.324
AT ITER 421 NEW BEST:: SOT 91812 SOS 46221 HAS SOPS 46221 HAS SOUS 31505 HAS SOUPS 31505 WITH SCORE 31551.221
AT ITER 425 NEW BEST:: SOT 91772 SOS 46141 HAS SOPS 46141 HAS SOUS 31480 HAS SOUPS 31480 WITH SCORE 31526.141
AT ITER 448 NEW BEST:: SOT 91674 SOS 39908 HAS SOPS 39908 HAS SOUS 31370 HAS SOUPS 31370 WITH SCORE 31409.908
AT ITER 449 NEW BEST:: SOT 91666 SOS 39892 HAS SOPS 39892 HAS SOUS 31354 HAS SOUPS 31354 WITH SCORE 31393.892
AT ITER 461 NEW BEST:: SOT 91547 SOS 39580 HAS SOPS 39580 HAS SOUS 31240 HAS SOUPS 31240 WITH SCORE 31279.58
AT ITER 465 NEW BEST:: SOT 91563 SOS 39568 HAS SOPS 39568 HAS SOUS 31228 HAS SOUPS 31228 WITH SCORE 31267.568
AT ITER 469 NEW BEST:: SOT 91537 SOS 39516 HAS SOPS 39516 HAS SOUS 31192 HAS SOUPS 31192 WITH SCORE 31231.516
AT ITER 486 NEW BEST:: SOT 91537 SOS 39504 HAS SOPS 39504 HAS SOUS 31180 HAS SOUPS 31180 WITH SCORE 31219.504
AT ITER 490 NEW BEST:: SOT 91490 SOS 39457 HAS SOPS 39457 HAS SOUS 31133 HAS SOUPS 31133 WITH SCORE 31172.457
AT ITER 497 NEW BEST:: SOT 91478 SOS 39439 HAS SOPS 39439 HAS SOUS 31115 HAS SOUPS 31115 WITH SCORE 31154.439
AT ITER 509 NEW BEST:: SOT 91460 SOS 39403 HAS SOPS 39403 HAS SOUS 31079 HAS SOUPS 31079 WITH SCORE 31118.403
AT ITER 516 NEW BEST:: SOT 91459 SOS 39402 HAS SOPS 39402 HAS SOUS 31078 HAS SOUPS 31078 WITH SCORE 31117.402
AT ITER 518 NEW BEST:: SOT 91459 SOS 39318 HAS SOPS 39318 HAS SOUS 31051 HAS SOUPS 31051 WITH SCORE 31090.318
AT ITER 527 NEW BEST:: SOT 91437 SOS 39114 HAS SOPS 39114 HAS SOUS 30983 HAS SOUPS 30983 WITH SCORE 31022.114
AT ITER 528 NEW BEST:: SOT 91478 SOS 39084 HAS SOPS 39084 HAS SOUS 30967 HAS SOUPS 30967 WITH SCORE 31006.084
AT ITER 531 NEW BEST:: SOT 90524 SOS 38128 HAS SOPS 38128 HAS SOUS 29982 HAS SOUPS 29982 WITH SCORE 30020.128
AT ITER 554 NEW BEST:: SOT 90517 SOS 38106 HAS SOPS 38106 HAS SOUS 29952 HAS SOUPS 29952 WITH SCORE 29990.106
AT ITER 560 NEW BEST:: SOT 90503 SOS 38078 HAS SOPS 38078 HAS SOUS 29932 HAS SOUPS 29932 WITH SCORE 29970.078
AT ITER 564 NEW BEST:: SOT 90525 SOS 38031 HAS SOPS 38031 HAS SOUS 29927 HAS SOUPS 29927 WITH SCORE 29965.031
AT ITER 565 NEW BEST:: SOT 90514 SOS 37981 HAS SOPS 37981 HAS SOUS 29877 HAS SOUPS 29877 WITH SCORE 29914.981
AT ITER 568 NEW BEST:: SOT 90511 SOS 37863 HAS SOPS 37863 HAS SOUS 29777 HAS SOUPS 29777 WITH SCORE 29814.863
AT ITER 569 NEW BEST:: SOT 90500 SOS 37852 HAS SOPS 37852 HAS SOUS 29777 HAS SOUPS 29777 WITH SCORE 29814.852
AT ITER 570 NEW BEST:: SOT 90500 SOS 37819 HAS SOPS 37819 HAS SOUS 29744 HAS SOUPS 29744 WITH SCORE 29781.819
AT ITER 575 NEW BEST:: SOT 90498 SOS 37840 HAS SOPS 37840 HAS SOUS 29723 HAS SOUPS 29723 WITH SCORE 29760.84
AT ITER 582 NEW BEST:: SOT 90346 SOS 37672 HAS SOPS 37672 HAS SOUS 29711 HAS SOUPS 29711 WITH SCORE 29748.672
AT ITER 592 NEW BEST:: SOT 90354 SOS 37668 HAS SOPS 37668 HAS SOUS 29707 HAS SOUPS 29707 WITH SCORE 29744.668
AT ITER 599 NEW BEST:: SOT 90230 SOS 37338 HAS SOPS 37338 HAS SOUS 29578 HAS SOUPS 29578 WITH SCORE 29615.338
AT ITER 601 NEW BEST:: SOT 90176 SOS 37219 HAS SOPS 37219 HAS SOUS 29513 HAS SOUPS 29513 WITH SCORE 29550.219
AT ITER 604 NEW BEST:: SOT 90155 SOS 37211 HAS SOPS 37211 HAS SOUS 29505 HAS SOUPS 29505 WITH SCORE 29542.211
AT ITER 609 NEW BEST:: SOT 90155 SOS 37205 HAS SOPS 37205 HAS SOUS 29505 HAS SOUPS 29505 WITH SCORE 29542.205
AT ITER 610 NEW BEST:: SOT 89976 SOS 37063 HAS SOPS 37063 HAS SOUS 29356 HAS SOUPS 29356 WITH SCORE 29393.063
AT ITER 617 NEW BEST:: SOT 89916 SOS 37007 HAS SOPS 37007 HAS SOUS 29298 HAS SOUPS 29298 WITH SCORE 29335.007
AT ITER 619 NEW BEST:: SOT 89833 SOS 36841 HAS SOPS 36841 HAS SOUS 29193 HAS SOUPS 29193 WITH SCORE 29229.841
AT ITER 623 NEW BEST:: SOT 89827 SOS 36829 HAS SOPS 36829 HAS SOUS 29181 HAS SOUPS 29181 WITH SCORE 29217.829
AT ITER 629 NEW BEST:: SOT 89820 SOS 36822 HAS SOPS 36822 HAS SOUS 29174 HAS SOUPS 29174 WITH SCORE 29210.822
AT ITER 634 NEW BEST:: SOT 89832 SOS 36796 HAS SOPS 36796 HAS SOUS 29053 HAS SOUPS 29053 WITH SCORE 29089.796
AT ITER 635 NEW BEST:: SOT 89751 SOS 36786 HAS SOPS 36786 HAS SOUS 29043 HAS SOUPS 29043 WITH SCORE 29079.786
AT ITER 636 NEW BEST:: SOT 89739 SOS 36762 HAS SOPS 36762 HAS SOUS 29019 HAS SOUPS 29019 WITH SCORE 29055.762
AT ITER 638 NEW BEST:: SOT 89736 SOS 36756 HAS SOPS 36756 HAS SOUS 29013 HAS SOUPS 29013 WITH SCORE 29049.756
AT ITER 641 NEW BEST:: SOT 89728 SOS 36740 HAS SOPS 36740 HAS SOUS 28997 HAS SOUPS 28997 WITH SCORE 29033.74
AT ITER 651 NEW BEST:: SOT 89636 SOS 36556 HAS SOPS 36556 HAS SOUS 28813 HAS SOUPS 28813 WITH SCORE 28849.556
AT ITER 658 NEW BEST:: SOT 89618 SOS 36538 HAS SOPS 36538 HAS SOUS 28795 HAS SOUPS 28795 WITH SCORE 28831.538
AT ITER 661 NEW BEST:: SOT 89617 SOS 36537 HAS SOPS 36537 HAS SOUS 28794 HAS SOUPS 28794 WITH SCORE 28830.537
AT ITER 670 NEW BEST:: SOT 89581 SOS 36501 HAS SOPS 36501 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28794.501
AT ITER 683 NEW BEST:: SOT 89594 SOS 36376 HAS SOPS 36376 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28794.376
AT ITER 685 NEW BEST:: SOT 89578 SOS 36337 HAS SOPS 36337 HAS SOUS 28730 HAS SOUPS 28730 WITH SCORE 28766.337
AT ITER 695 NEW BEST:: SOT 89568 SOS 36317 HAS SOPS 36317 HAS SOUS 28714 HAS SOUPS 28714 WITH SCORE 28750.317
AT ITER 697 NEW BEST:: SOT 89524 SOS 36243 HAS SOPS 36243 HAS SOUS 28684 HAS SOUPS 28684 WITH SCORE 28720.243
AT ITER 707 NEW BEST:: SOT 89524 SOS 36228 HAS SOPS 36228 HAS SOUS 28654 HAS SOUPS 28654 WITH SCORE 28690.228
AT ITER 710 NEW BEST:: SOT 89476 SOS 36192 HAS SOPS 36192 HAS SOUS 28618 HAS SOUPS 28618 WITH SCORE 28654.192
AT ITER 718 NEW BEST:: SOT 89444 SOS 36128 HAS SOPS 36128 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28610.128
AT ITER 737 NEW BEST:: SOT 89303 SOS 36101 HAS SOPS 36101 HAS SOUS 28463 HAS SOUPS 28463 WITH SCORE 28499.101
AT ITER 740 NEW BEST:: SOT 89301 SOS 36097 HAS SOPS 36097 HAS SOUS 28460 HAS SOUPS 28460 WITH SCORE 28496.097
AT ITER 774 NEW BEST:: SOT 89303 SOS 36087 HAS SOPS 36087 HAS SOUS 28450 HAS SOUPS 28450 WITH SCORE 28486.087
AT ITER 777 NEW BEST:: SOT 89290 SOS 36059 HAS SOPS 36059 HAS SOUS 28422 HAS SOUPS 28422 WITH SCORE 28458.059
AT ITER 788 NEW BEST:: SOT 87861 SOS 34747 HAS SOPS 34747 HAS SOUS 27162 HAS SOUPS 27162 WITH SCORE 27196.747
AT ITER 789 NEW BEST:: SOT 87845 SOS 34715 HAS SOPS 34715 HAS SOUS 27130 HAS SOUPS 27130 WITH SCORE 27164.715
AT ITER 792 NEW BEST:: SOT 87844 SOS 34700 HAS SOPS 34700 HAS SOUS 27116 HAS SOUPS 27116 WITH SCORE 27150.7
AT ITER 797 NEW BEST:: SOT 87843 SOS 34698 HAS SOPS 34698 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27148.698
AT ITER 830 NEW BEST:: SOT 87857 SOS 34810 HAS SOPS 34810 HAS SOUS 27086 HAS SOUPS 27086 WITH SCORE 27120.81
AT ITER 833 NEW BEST:: SOT 87854 SOS 34807 HAS SOPS 34807 HAS SOUS 27083 HAS SOUPS 27083 WITH SCORE 27117.807
AT ITER 841 NEW BEST:: SOT 87635 SOS 34491 HAS SOPS 34491 HAS SOUS 26767 HAS SOUPS 26767 WITH SCORE 26801.491
AT ITER 846 NEW BEST:: SOT 87632 SOS 34487 HAS SOPS 34487 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26797.487
AT ITER 851 NEW BEST:: SOT 87452 SOS 34281 HAS SOPS 34281 HAS SOUS 26713 HAS SOUPS 26713 WITH SCORE 26747.281
AT ITER 855 NEW BEST:: SOT 87324 SOS 34235 HAS SOPS 34235 HAS SOUS 26615 HAS SOUPS 26615 WITH SCORE 26649.235
AT ITER 857 NEW BEST:: SOT 87299 SOS 34201 HAS SOPS 34201 HAS SOUS 26581 HAS SOUPS 26581 WITH SCORE 26615.201
AT ITER 858 NEW BEST:: SOT 87214 SOS 34111 HAS SOPS 34111 HAS SOUS 26490 HAS SOUPS 26490 WITH SCORE 26524.111
AT ITER 876 NEW BEST:: SOT 87180 SOS 34072 HAS SOPS 34072 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26485.072
AT ITER 891 NEW BEST:: SOT 87179 SOS 34071 HAS SOPS 34071 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26485.071
AT ITER 893 NEW BEST:: SOT 87040 SOS 33815 HAS SOPS 33815 HAS SOUS 26195 HAS SOUPS 26195 WITH SCORE 26228.815
AT ITER 896 NEW BEST:: SOT 86778 SOS 33567 HAS SOPS 33567 HAS SOUS 26134 HAS SOUPS 26134 WITH SCORE 26167.567
AT ITER 897 NEW BEST:: SOT 86778 SOS 33564 HAS SOPS 33564 HAS SOUS 26134 HAS SOUPS 26134 WITH SCORE 26167.564
AT ITER 898 NEW BEST:: SOT 86779 SOS 33563 HAS SOPS 33563 HAS SOUS 26133 HAS SOUPS 26133 WITH SCORE 26166.563
AT ITER 900 NEW BEST:: SOT 86759 SOS 33496 HAS SOPS 33496 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26099.496
AT ITER 902 NEW BEST:: SOT 86633 SOS 33182 HAS SOPS 33182 HAS SOUS 25892 HAS SOUPS 25892 WITH SCORE 25925.182
AT ITER 932 NEW BEST:: SOT 86603 SOS 33122 HAS SOPS 33122 HAS SOUS 25832 HAS SOUPS 25832 WITH SCORE 25865.122
AT ITER 949 NEW BEST:: SOT 86603 SOS 33116 HAS SOPS 33116 HAS SOUS 25826 HAS SOUPS 25826 WITH SCORE 25859.116
AT ITER 950 NEW BEST:: SOT 86594 SOS 33086 HAS SOPS 33086 HAS SOUS 25751 HAS SOUPS 25751 WITH SCORE 25784.086
AT ITER 977 NEW BEST:: SOT 86561 SOS 33053 HAS SOPS 33053 HAS SOUS 25751 HAS SOUPS 25751 WITH SCORE 25784.053
AT ITER 980 NEW BEST:: SOT 86560 SOS 33051 HAS SOPS 33051 HAS SOUS 25749 HAS SOUPS 25749 WITH SCORE 25782.051
AT ITER 993 NEW BEST:: SOT 86547 SOS 33038 HAS SOPS 33038 HAS SOUS 25736 HAS SOUPS 25736 WITH SCORE 25769.038
AT ITER 998 NEW BEST:: SOT 86428 SOS 32930 HAS SOPS 32930 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25660.93
AT ITER 1030 NEW BEST:: SOT 86293 SOS 32698 HAS SOPS 32698 HAS SOUS 25396 HAS SOUPS 25396 WITH SCORE 25428.698
AT ITER 1039 NEW BEST:: SOT 86293 SOS 32698 HAS SOPS 32698 HAS SOUS 25382 HAS SOUPS 25382 WITH SCORE 25414.698
AT ITER 1054 NEW BEST:: SOT 86307 SOS 32688 HAS SOPS 32688 HAS SOUS 25372 HAS SOUPS 25372 WITH SCORE 25404.688
AT ITER 1084 NEW BEST:: SOT 86201 SOS 32631 HAS SOPS 32631 HAS SOUS 25280 HAS SOUPS 25280 WITH SCORE 25312.631
AT ITER 1090 NEW BEST:: SOT 86201 SOS 32631 HAS SOPS 32631 HAS SOUS 25267 HAS SOUPS 25267 WITH SCORE 25299.631
AT ITER 1098 NEW BEST:: SOT 86162 SOS 32592 HAS SOPS 32592 HAS SOUS 25228 HAS SOUPS 25228 WITH SCORE 25260.592
AT ITER 1109 NEW BEST:: SOT 86157 SOS 32587 HAS SOPS 32587 HAS SOUS 25223 HAS SOUPS 25223 WITH SCORE 25255.587
AT ITER 1123 NEW BEST:: SOT 86157 SOS 32585 HAS SOPS 32585 HAS SOUS 25221 HAS SOUPS 25221 WITH SCORE 25253.585
AT ITER 1124 NEW BEST:: SOT 86143 SOS 32573 HAS SOPS 32573 HAS SOUS 25209 HAS SOUPS 25209 WITH SCORE 25241.573
AT ITER 1134 NEW BEST:: SOT 86019 SOS 32325 HAS SOPS 32325 HAS SOUS 25087 HAS SOUPS 25087 WITH SCORE 25119.325
AT ITER 1153 NEW BEST:: SOT 86013 SOS 32202 HAS SOPS 32202 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 24996.202
AT ITER 1156 NEW BEST:: SOT 86021 SOS 32194 HAS SOPS 32194 HAS SOUS 24956 HAS SOUPS 24956 WITH SCORE 24988.194
AT ITER 1163 NEW BEST:: SOT 86020 SOS 32191 HAS SOPS 32191 HAS SOUS 24953 HAS SOUPS 24953 WITH SCORE 24985.191
AT ITER 1169 NEW BEST:: SOT 86018 SOS 32187 HAS SOPS 32187 HAS SOUS 24951 HAS SOUPS 24951 WITH SCORE 24983.187
AT ITER 1175 NEW BEST:: SOT 86018 SOS 32176 HAS SOPS 32176 HAS SOUS 24940 HAS SOUPS 24940 WITH SCORE 24972.176
AT ITER 1205 NEW BEST:: SOT 86009 SOS 32158 HAS SOPS 32158 HAS SOUS 24922 HAS SOUPS 24922 WITH SCORE 24954.158
AT ITER 1217 NEW BEST:: SOT 85991 SOS 32074 HAS SOPS 32074 HAS SOUS 24880 HAS SOUPS 24880 WITH SCORE 24912.074
AT ITER 1224 NEW BEST:: SOT 86004 SOS 32010 HAS SOPS 32010 HAS SOUS 24841 HAS SOUPS 24841 WITH SCORE 24873.01
AT ITER 1225 NEW BEST:: SOT 85997 SOS 32003 HAS SOPS 32003 HAS SOUS 24841 HAS SOUPS 24841 WITH SCORE 24873.003
AT ITER 1252 NEW BEST:: SOT 85588 SOS 31604 HAS SOPS 31604 HAS SOUS 24503 HAS SOUPS 24503 WITH SCORE 24534.604
AT ITER 1262 NEW BEST:: SOT 85594 SOS 31587 HAS SOPS 31587 HAS SOUS 24486 HAS SOUPS 24486 WITH SCORE 24517.587
AT ITER 1289 NEW BEST:: SOT 85570 SOS 31572 HAS SOPS 31572 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24502.572
AT ITER 1301 NEW BEST:: SOT 85421 SOS 31375 HAS SOPS 31375 HAS SOUS 24385 HAS SOUPS 24385 WITH SCORE 24416.375
AT ITER 1321 NEW BEST:: SOT 85360 SOS 31314 HAS SOPS 31314 HAS SOUS 24372 HAS SOUPS 24372 WITH SCORE 24403.314
AT ITER 1322 NEW BEST:: SOT 85448 SOS 31241 HAS SOPS 31241 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24330.241
AT ITER 1331 NEW BEST:: SOT 85444 SOS 31211 HAS SOPS 31211 HAS SOUS 24240 HAS SOUPS 24240 WITH SCORE 24271.211
AT ITER 1350 NEW BEST:: SOT 85444 SOS 31184 HAS SOPS 31184 HAS SOUS 24213 HAS SOUPS 24213 WITH SCORE 24244.184
AT ITER 1351 NEW BEST:: SOT 85422 SOS 31149 HAS SOPS 31149 HAS SOUS 24200 HAS SOUPS 24200 WITH SCORE 24231.149
AT ITER 1375 NEW BEST:: SOT 85420 SOS 31145 HAS SOPS 31145 HAS SOUS 24196 HAS SOUPS 24196 WITH SCORE 24227.145
AT ITER 1396 NEW BEST:: SOT 85396 SOS 31098 HAS SOPS 31098 HAS SOUS 24149 HAS SOUPS 24149 WITH SCORE 24180.098
AT ITER 1413 NEW BEST:: SOT 85275 SOS 31076 HAS SOPS 31076 HAS SOUS 24108 HAS SOUPS 24108 WITH SCORE 24139.076
AT ITER 1455 NEW BEST:: SOT 85262 SOS 31031 HAS SOPS 31031 HAS SOUS 24063 HAS SOUPS 24063 WITH SCORE 24094.031
AT ITER 1456 NEW BEST:: SOT 85260 SOS 31029 HAS SOPS 31029 HAS SOUS 24061 HAS SOUPS 24061 WITH SCORE 24092.029
AT ITER 1463 NEW BEST:: SOT 85259 SOS 31028 HAS SOPS 31028 HAS SOUS 24061 HAS SOUPS 24061 WITH SCORE 24092.028
AT ITER 1474 NEW BEST:: SOT 85239 SOS 30988 HAS SOPS 30988 HAS SOUS 24021 HAS SOUPS 24021 WITH SCORE 24051.988
AT ITER 1483 NEW BEST:: SOT 85236 SOS 30979 HAS SOPS 30979 HAS SOUS 23973 HAS SOUPS 23973 WITH SCORE 24003.979
AT ITER 1484 NEW BEST:: SOT 85235 SOS 30977 HAS SOPS 30977 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 24001.977
AT ITER 1485 NEW BEST:: SOT 85142 SOS 30791 HAS SOPS 30791 HAS SOUS 23887 HAS SOUPS 23887 WITH SCORE 23917.791
AT ITER 1487 NEW BEST:: SOT 85076 SOS 30659 HAS SOPS 30659 HAS SOUS 23755 HAS SOUPS 23755 WITH SCORE 23785.659
AT ITER 1499 NEW BEST:: SOT 85040 SOS 30665 HAS SOPS 30665 HAS SOUS 23665 HAS SOUPS 23665 WITH SCORE 23695.665
AT ITER 1535 NEW BEST:: SOT 85044 SOS 30655 HAS SOPS 30655 HAS SOUS 23655 HAS SOUPS 23655 WITH SCORE 23685.655
AT ITER 1540 NEW BEST:: SOT 85037 SOS 30641 HAS SOPS 30641 HAS SOUS 23634 HAS SOUPS 23634 WITH SCORE 23664.641
AT ITER 1564 NEW BEST:: SOT 85033 SOS 30637 HAS SOPS 30637 HAS SOUS 23634 HAS SOUPS 23634 WITH SCORE 23664.637
AT ITER 1571 NEW BEST:: SOT 85003 SOS 30633 HAS SOPS 30633 HAS SOUS 23630 HAS SOUPS 23630 WITH SCORE 23660.633
AT ITER 1581 NEW BEST:: SOT 84982 SOS 30497 HAS SOPS 30497 HAS SOUS 23558 HAS SOUPS 23558 WITH SCORE 23588.497
AT ITER 1618 NEW BEST:: SOT 85001 SOS 30484 HAS SOPS 30484 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23572.484
AT ITER 1628 NEW BEST:: SOT 85028 SOS 30446 HAS SOPS 30446 HAS SOUS 23412 HAS SOUPS 23412 WITH SCORE 23442.446
AT ITER 1651 NEW BEST:: SOT 85023 SOS 30441 HAS SOPS 30441 HAS SOUS 23407 HAS SOUPS 23407 WITH SCORE 23437.441
AT ITER 1684 NEW BEST:: SOT 85002 SOS 30399 HAS SOPS 30399 HAS SOUS 23407 HAS SOUPS 23407 WITH SCORE 23437.399
AT ITER 1685 NEW BEST:: SOT 84956 SOS 30353 HAS SOPS 30353 HAS SOUS 23361 HAS SOUPS 23361 WITH SCORE 23391.353
AT ITER 1702 NEW BEST:: SOT 84917 SOS 30301 HAS SOPS 30301 HAS SOUS 23309 HAS SOUPS 23309 WITH SCORE 23339.301
AT ITER 1730 NEW BEST:: SOT 84891 SOS 30249 HAS SOPS 30249 HAS SOUS 23270 HAS SOUPS 23270 WITH SCORE 23300.249
AT ITER 1747 NEW BEST:: SOT 84899 SOS 30208 HAS SOPS 30208 HAS SOUS 23268 HAS SOUPS 23268 WITH SCORE 23298.208
AT ITER 1761 NEW BEST:: SOT 84899 SOS 30168 HAS SOPS 30168 HAS SOUS 23240 HAS SOUPS 23240 WITH SCORE 23270.168
AT ITER 1765 NEW BEST:: SOT 84894 SOS 30158 HAS SOPS 30158 HAS SOUS 23230 HAS SOUPS 23230 WITH SCORE 23260.158
AT ITER 1777 NEW BEST:: SOT 84893 SOS 30157 HAS SOPS 30157 HAS SOUS 23229 HAS SOUPS 23229 WITH SCORE 23259.157
AT ITER 1780 NEW BEST:: SOT 84858 SOS 30087 HAS SOPS 30087 HAS SOUS 23207 HAS SOUPS 23207 WITH SCORE 23237.087
AT ITER 1818 NEW BEST:: SOT 84855 SOS 30081 HAS SOPS 30081 HAS SOUS 23198 HAS SOUPS 23198 WITH SCORE 23228.081
AT ITER 1820 NEW BEST:: SOT 84830 SOS 30050 HAS SOPS 30050 HAS SOUS 23186 HAS SOUPS 23186 WITH SCORE 23216.05
AT ITER 1824 NEW BEST:: SOT 84830 SOS 30049 HAS SOPS 30049 HAS SOUS 23185 HAS SOUPS 23185 WITH SCORE 23215.049
AT ITER 1827 NEW BEST:: SOT 84828 SOS 30046 HAS SOPS 30046 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23213.046
AT ITER 1829 NEW BEST:: SOT 84849 SOS 30006 HAS SOPS 30006 HAS SOUS 23079 HAS SOUPS 23079 WITH SCORE 23109.006
AT ITER 1835 NEW BEST:: SOT 84845 SOS 30002 HAS SOPS 30002 HAS SOUS 23075 HAS SOUPS 23075 WITH SCORE 23105.002
AT ITER 1888 NEW BEST:: SOT 84907 SOS 30009 HAS SOPS 30009 HAS SOUS 23017 HAS SOUPS 23017 WITH SCORE 23047.009
AT ITER 1917 NEW BEST:: SOT 84896 SOS 30027 HAS SOPS 30027 HAS SOUS 23006 HAS SOUPS 23006 WITH SCORE 23036.027
AT ITER 1924 NEW BEST:: SOT 84896 SOS 30024 HAS SOPS 30024 HAS SOUS 23000 HAS SOUPS 23000 WITH SCORE 23030.024
AT ITER 1938 NEW BEST:: SOT 84869 SOS 29948 HAS SOPS 29948 HAS SOUS 22924 HAS SOUPS 22924 WITH SCORE 22953.948
AT ITER 1939 NEW BEST:: SOT 84869 SOS 29948 HAS SOPS 29948 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22945.948
AT ITER 1964 NEW BEST:: SOT 84869 SOS 29864 HAS SOPS 29864 HAS SOUS 22832 HAS SOUPS 22832 WITH SCORE 22861.864
AT ITER 1965 NEW BEST:: SOT 85038 SOS 29884 HAS SOPS 29884 HAS SOUS 22794 HAS SOUPS 22794 WITH SCORE 22823.884
AT ITER 1984 NEW BEST:: SOT 85031 SOS 29870 HAS SOPS 29870 HAS SOUS 22780 HAS SOUPS 22780 WITH SCORE 22809.87
AT ITER 1986 NEW BEST:: SOT 85023 SOS 29854 HAS SOPS 29854 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22793.854
AT ITER 2004 NEW BEST:: SOT 85041 SOS 29801 HAS SOPS 29801 HAS SOUS 22711 HAS SOUPS 22711 WITH SCORE 22740.801
AT ITER 2005 NEW BEST:: SOT 84992 SOS 29729 HAS SOPS 29729 HAS SOUS 22639 HAS SOUPS 22639 WITH SCORE 22668.729
AT ITER 2006 NEW BEST:: SOT 84983 SOS 29711 HAS SOPS 29711 HAS SOUS 22630 HAS SOUPS 22630 WITH SCORE 22659.711
AT ITER 2013 NEW BEST:: SOT 84961 SOS 29667 HAS SOPS 29667 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22645.667
AT ITER 2019 NEW BEST:: SOT 84953 SOS 29659 HAS SOPS 29659 HAS SOUS 22608 HAS SOUPS 22608 WITH SCORE 22637.659
AT ITER 2024 NEW BEST:: SOT 84949 SOS 29654 HAS SOPS 29654 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22631.654
AT ITER 2042 NEW BEST:: SOT 84916 SOS 29588 HAS SOPS 29588 HAS SOUS 22536 HAS SOUPS 22536 WITH SCORE 22565.588
AT ITER 2049 NEW BEST:: SOT 84846 SOS 29448 HAS SOPS 29448 HAS SOUS 22396 HAS SOUPS 22396 WITH SCORE 22425.448
AT ITER 2052 NEW BEST:: SOT 84746 SOS 29272 HAS SOPS 29272 HAS SOUS 22393 HAS SOUPS 22393 WITH SCORE 22422.272
AT ITER 2055 NEW BEST:: SOT 84725 SOS 29251 HAS SOPS 29251 HAS SOUS 22372 HAS SOUPS 22372 WITH SCORE 22401.251
AT ITER 2063 NEW BEST:: SOT 84724 SOS 29246 HAS SOPS 29246 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22396.246
AT ITER 2100 NEW BEST:: SOT 84702 SOS 29237 HAS SOPS 29237 HAS SOUS 22358 HAS SOUPS 22358 WITH SCORE 22387.237
AT ITER 2112 NEW BEST:: SOT 84577 SOS 29111 HAS SOPS 29111 HAS SOUS 22336 HAS SOUPS 22336 WITH SCORE 22365.111
AT ITER 2122 NEW BEST:: SOT 84570 SOS 29097 HAS SOPS 29097 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22351.097
AT ITER 2153 NEW BEST:: SOT 84532 SOS 29059 HAS SOPS 29059 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22313.059
AT ITER 2180 NEW BEST:: SOT 84532 SOS 29037 HAS SOPS 29037 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22283.037
AT ITER 2196 NEW BEST:: SOT 84526 SOS 29027 HAS SOPS 29027 HAS SOUS 22244 HAS SOUPS 22244 WITH SCORE 22273.027
AT ITER 2199 NEW BEST:: SOT 84523 SOS 29012 HAS SOPS 29012 HAS SOUS 22238 HAS SOUPS 22238 WITH SCORE 22267.012
AT ITER 2230 NEW BEST:: SOT 84517 SOS 29000 HAS SOPS 29000 HAS SOUS 22226 HAS SOUPS 22226 WITH SCORE 22255.0
AT ITER 2234 NEW BEST:: SOT 84407 SOS 28945 HAS SOPS 28945 HAS SOUS 22109 HAS SOUPS 22109 WITH SCORE 22137.945
AT ITER 2262 NEW BEST:: SOT 84365 SOS 28899 HAS SOPS 28899 HAS SOUS 22101 HAS SOUPS 22101 WITH SCORE 22129.899
AT ITER 2272 NEW BEST:: SOT 84359 SOS 28890 HAS SOPS 28890 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22123.89
AT ITER 2310 NEW BEST:: SOT 84341 SOS 28861 HAS SOPS 28861 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22094.861
AT ITER 2328 NEW BEST:: SOT 84312 SOS 28801 HAS SOPS 28801 HAS SOUS 22006 HAS SOUPS 22006 WITH SCORE 22034.801
AT ITER 2334 NEW BEST:: SOT 84299 SOS 28775 HAS SOPS 28775 HAS SOUS 21980 HAS SOUPS 21980 WITH SCORE 22008.775
AT ITER 2380 NEW BEST:: SOT 84296 SOS 28680 HAS SOPS 28680 HAS SOUS 21885 HAS SOUPS 21885 WITH SCORE 21913.68
AT ITER 2391 NEW BEST:: SOT 84296 SOS 28680 HAS SOPS 28680 HAS SOUS 21846 HAS SOUPS 21846 WITH SCORE 21874.68
AT ITER 2404 NEW BEST:: SOT 84297 SOS 28676 HAS SOPS 28676 HAS SOUS 21842 HAS SOUPS 21842 WITH SCORE 21870.676
AT ITER 2406 NEW BEST:: SOT 84269 SOS 28620 HAS SOPS 28620 HAS SOUS 21786 HAS SOUPS 21786 WITH SCORE 21814.62
AT ITER 2420 NEW BEST:: SOT 84256 SOS 28607 HAS SOPS 28607 HAS SOUS 21773 HAS SOUPS 21773 WITH SCORE 21801.607
AT ITER 2432 NEW BEST:: SOT 84258 SOS 28577 HAS SOPS 28577 HAS SOUS 21743 HAS SOUPS 21743 WITH SCORE 21771.577
AT ITER 2455 NEW BEST:: SOT 84240 SOS 28559 HAS SOPS 28559 HAS SOUS 21725 HAS SOUPS 21725 WITH SCORE 21753.559
AT ITER 2462 NEW BEST:: SOT 84189 SOS 28516 HAS SOPS 28516 HAS SOUS 21682 HAS SOUPS 21682 WITH SCORE 21710.516
AT ITER 2478 NEW BEST:: SOT 84193 SOS 28520 HAS SOPS 28520 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21701.52
AT ITER 2519 NEW BEST:: SOT 84206 SOS 28460 HAS SOPS 28460 HAS SOUS 21613 HAS SOUPS 21613 WITH SCORE 21641.46
AT ITER 2521 NEW BEST:: SOT 84205 SOS 28458 HAS SOPS 28458 HAS SOUS 21611 HAS SOUPS 21611 WITH SCORE 21639.458
AT ITER 2525 NEW BEST:: SOT 84178 SOS 28380 HAS SOPS 28380 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21588.38
AT ITER 2541 NEW BEST:: SOT 84179 SOS 28379 HAS SOPS 28379 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21587.379
AT ITER 2573 NEW BEST:: SOT 84111 SOS 28226 HAS SOPS 28226 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21434.226
AT ITER 2588 NEW BEST:: SOT 84105 SOS 28170 HAS SOPS 28170 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21378.17
AT ITER 2606 NEW BEST:: SOT 83869 SOS 27937 HAS SOPS 27937 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21102.937
AT ITER 2629 NEW BEST:: SOT 83786 SOS 27813 HAS SOPS 27813 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21020.813
AT ITER 2663 NEW BEST:: SOT 83784 SOS 27811 HAS SOPS 27811 HAS SOUS 20991 HAS SOUPS 20991 WITH SCORE 21018.811
AT ITER 2682 NEW BEST:: SOT 83759 SOS 27758 HAS SOPS 27758 HAS SOUS 20988 HAS SOUPS 20988 WITH SCORE 21015.758
AT ITER 2743 NEW BEST:: SOT 83725 SOS 27690 HAS SOPS 27690 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20947.69
AT ITER 2747 NEW BEST:: SOT 83722 SOS 27684 HAS SOPS 27684 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20942.684
AT ITER 2779 NEW BEST:: SOT 83681 SOS 27602 HAS SOPS 27602 HAS SOUS 20915 HAS SOUPS 20915 WITH SCORE 20942.602
AT ITER 2796 NEW BEST:: SOT 83602 SOS 27444 HAS SOPS 27444 HAS SOUS 20828 HAS SOUPS 20828 WITH SCORE 20855.444
AT ITER 2801 NEW BEST:: SOT 83598 SOS 27438 HAS SOPS 27438 HAS SOUS 20824 HAS SOUPS 20824 WITH SCORE 20851.438
AT ITER 2811 NEW BEST:: SOT 83586 SOS 27414 HAS SOPS 27414 HAS SOUS 20800 HAS SOUPS 20800 WITH SCORE 20827.414
AT ITER 2820 NEW BEST:: SOT 83577 SOS 27396 HAS SOPS 27396 HAS SOUS 20782 HAS SOUPS 20782 WITH SCORE 20809.396
AT ITER 2848 NEW BEST:: SOT 83621 SOS 27377 HAS SOPS 27377 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20790.377
AT ITER 2853 NEW BEST:: SOT 83617 SOS 27385 HAS SOPS 27385 HAS SOUS 20759 HAS SOUPS 20759 WITH SCORE 20786.385
AT ITER 2855 NEW BEST:: SOT 83617 SOS 27382 HAS SOPS 27382 HAS SOUS 20759 HAS SOUPS 20759 WITH SCORE 20786.382
AT ITER 2858 NEW BEST:: SOT 83613 SOS 27374 HAS SOPS 27374 HAS SOUS 20751 HAS SOUPS 20751 WITH SCORE 20778.374
AT ITER 2877 NEW BEST:: SOT 83419 SOS 27078 HAS SOPS 27078 HAS SOUS 20614 HAS SOUPS 20614 WITH SCORE 20641.078
AT ITER 2886 NEW BEST:: SOT 83415 SOS 27074 HAS SOPS 27074 HAS SOUS 20613 HAS SOUPS 20613 WITH SCORE 20640.074
AT ITER 2895 NEW BEST:: SOT 83415 SOS 26984 HAS SOPS 26984 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20459.984
AT ITER 2926 NEW BEST:: SOT 83422 SOS 26984 HAS SOPS 26984 HAS SOUS 20426 HAS SOUPS 20426 WITH SCORE 20452.984
AT ITER 2931 NEW BEST:: SOT 83416 SOS 26978 HAS SOPS 26978 HAS SOUS 20423 HAS SOUPS 20423 WITH SCORE 20449.978
AT ITER 2944 NEW BEST:: SOT 83399 SOS 26941 HAS SOPS 26941 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20446.941
AT ITER 2970 NEW BEST:: SOT 83399 SOS 26924 HAS SOPS 26924 HAS SOUS 20420 HAS SOUPS 20420 WITH SCORE 20446.924
AT ITER 2989 NEW BEST:: SOT 83369 SOS 26861 HAS SOPS 26861 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20329.861
AT ITER 2991 NEW BEST:: SOT 83368 SOS 26859 HAS SOPS 26859 HAS SOUS 20301 HAS SOUPS 20301 WITH SCORE 20327.859
AT ITER 2995 NEW BEST:: SOT 83358 SOS 26844 HAS SOPS 26844 HAS SOUS 20286 HAS SOUPS 20286 WITH SCORE 20312.844
AT ITER 3017 NEW BEST:: SOT 83351 SOS 26842 HAS SOPS 26842 HAS SOUS 20284 HAS SOUPS 20284 WITH SCORE 20310.842
AT ITER 3032 NEW BEST:: SOT 83348 SOS 26836 HAS SOPS 26836 HAS SOUS 20281 HAS SOUPS 20281 WITH SCORE 20307.836
AT ITER 3054 NEW BEST:: SOT 83300 SOS 26740 HAS SOPS 26740 HAS SOUS 20185 HAS SOUPS 20185 WITH SCORE 20211.74
AT ITER 3056 NEW BEST:: SOT 83285 SOS 26739 HAS SOPS 26739 HAS SOUS 20184 HAS SOUPS 20184 WITH SCORE 20210.739
AT ITER 3153 NEW BEST:: SOT 83282 SOS 26733 HAS SOPS 26733 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20183.733
AT ITER 3157 NEW BEST:: SOT 83277 SOS 26728 HAS SOPS 26728 HAS SOUS 20152 HAS SOUPS 20152 WITH SCORE 20178.728
AT ITER 3159 NEW BEST:: SOT 83273 SOS 26720 HAS SOPS 26720 HAS SOUS 20144 HAS SOUPS 20144 WITH SCORE 20170.72
AT ITER 3170 NEW BEST:: SOT 83233 SOS 26677 HAS SOPS 26677 HAS SOUS 20104 HAS SOUPS 20104 WITH SCORE 20130.677
AT ITER 3178 NEW BEST:: SOT 83217 SOS 26660 HAS SOPS 26660 HAS SOUS 20087 HAS SOUPS 20087 WITH SCORE 20113.66
AT ITER 3230 NEW BEST:: SOT 83135 SOS 26578 HAS SOPS 26578 HAS SOUS 20044 HAS SOUPS 20044 WITH SCORE 20070.578
AT ITER 3251 NEW BEST:: SOT 83124 SOS 26574 HAS SOPS 26574 HAS SOUS 20040 HAS SOUPS 20040 WITH SCORE 20066.574
AT ITER 3289 NEW BEST:: SOT 83093 SOS 26569 HAS SOPS 26569 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20063.569
AT ITER 3293 NEW BEST:: SOT 83093 SOS 26564 HAS SOPS 26564 HAS SOUS 20032 HAS SOUPS 20032 WITH SCORE 20058.564
AT ITER 3316 NEW BEST:: SOT 83093 SOS 26564 HAS SOPS 26564 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20057.564
AT ITER 3331 NEW BEST:: SOT 83093 SOS 26551 HAS SOPS 26551 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20057.551
AT ITER 3334 NEW BEST:: SOT 83082 SOS 26547 HAS SOPS 26547 HAS SOUS 20027 HAS SOUPS 20027 WITH SCORE 20053.547
AT ITER 3351 NEW BEST:: SOT 83102 SOS 26555 HAS SOPS 26555 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20029.555
AT ITER 3358 NEW BEST:: SOT 83102 SOS 26538 HAS SOPS 26538 HAS SOUS 19993 HAS SOUPS 19993 WITH SCORE 20019.538
AT ITER 3417 NEW BEST:: SOT 83102 SOS 26538 HAS SOPS 26538 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20015.538
AT ITER 3445 NEW BEST:: SOT 83120 SOS 26599 HAS SOPS 26599 HAS SOUS 19912 HAS SOUPS 19912 WITH SCORE 19938.599
AT ITER 3460 NEW BEST:: SOT 83095 SOS 26549 HAS SOPS 26549 HAS SOUS 19887 HAS SOUPS 19887 WITH SCORE 19913.549
AT ITER 3494 NEW BEST:: SOT 83095 SOS 26534 HAS SOPS 26534 HAS SOUS 19872 HAS SOUPS 19872 WITH SCORE 19898.534
AT ITER 3505 NEW BEST:: SOT 83079 SOS 26494 HAS SOPS 26494 HAS SOUS 19832 HAS SOUPS 19832 WITH SCORE 19858.494
AT ITER 3549 NEW BEST:: SOT 83061 SOS 26458 HAS SOPS 26458 HAS SOUS 19796 HAS SOUPS 19796 WITH SCORE 19822.458
AT ITER 3560 NEW BEST:: SOT 83061 SOS 26458 HAS SOPS 26458 HAS SOUS 19781 HAS SOUPS 19781 WITH SCORE 19807.458
AT ITER 3565 NEW BEST:: SOT 83063 SOS 26456 HAS SOPS 26456 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19802.456
AT ITER 3580 NEW BEST:: SOT 83054 SOS 26447 HAS SOPS 26447 HAS SOUS 19767 HAS SOUPS 19767 WITH SCORE 19793.447
AT ITER 3686 NEW BEST:: SOT 83054 SOS 26447 HAS SOPS 26447 HAS SOUS 19737 HAS SOUPS 19737 WITH SCORE 19763.447
AT ITER 3692 NEW BEST:: SOT 83054 SOS 26339 HAS SOPS 26339 HAS SOUS 19732 HAS SOUPS 19732 WITH SCORE 19758.339
AT ITER 3700 NEW BEST:: SOT 83054 SOS 26334 HAS SOPS 26334 HAS SOUS 19727 HAS SOUPS 19727 WITH SCORE 19753.334
AT ITER 3718 NEW BEST:: SOT 83053 SOS 26333 HAS SOPS 26333 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19752.333
AT ITER 3773 NEW BEST:: SOT 83023 SOS 26298 HAS SOPS 26298 HAS SOUS 19668 HAS SOUPS 19668 WITH SCORE 19694.298
AT ITER 3774 NEW BEST:: SOT 83023 SOS 26322 HAS SOPS 26322 HAS SOUS 19658 HAS SOUPS 19658 WITH SCORE 19684.322
AT ITER 3777 NEW BEST:: SOT 83014 SOS 26316 HAS SOPS 26316 HAS SOUS 19652 HAS SOUPS 19652 WITH SCORE 19678.316
AT ITER 3782 NEW BEST:: SOT 83014 SOS 26316 HAS SOPS 26316 HAS SOUS 19616 HAS SOUPS 19616 WITH SCORE 19642.316
AT ITER 3792 NEW BEST:: SOT 83010 SOS 26298 HAS SOPS 26298 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19620.298
AT ITER 3812 NEW BEST:: SOT 82972 SOS 26176 HAS SOPS 26176 HAS SOUS 19509 HAS SOUPS 19509 WITH SCORE 19535.176
AT ITER 3838 NEW BEST:: SOT 82972 SOS 26172 HAS SOPS 26172 HAS SOUS 19505 HAS SOUPS 19505 WITH SCORE 19531.172
AT ITER 3883 NEW BEST:: SOT 82940 SOS 26108 HAS SOPS 26108 HAS SOUS 19442 HAS SOUPS 19442 WITH SCORE 19468.108
AT ITER 3898 NEW BEST:: SOT 82937 SOS 26105 HAS SOPS 26105 HAS SOUS 19439 HAS SOUPS 19439 WITH SCORE 19465.105
AT ITER 3923 NEW BEST:: SOT 82934 SOS 26113 HAS SOPS 26113 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19463.113
AT ITER 3982 NEW BEST:: SOT 82926 SOS 26097 HAS SOPS 26097 HAS SOUS 19421 HAS SOUPS 19421 WITH SCORE 19447.097
AT ITER 3997 NEW BEST:: SOT 82926 SOS 26097 HAS SOPS 26097 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19414.097
AT ITER 4006 NEW BEST:: SOT 82885 SOS 26053 HAS SOPS 26053 HAS SOUS 19368 HAS SOUPS 19368 WITH SCORE 19394.053
AT ITER 4021 NEW BEST:: SOT 82881 SOS 26045 HAS SOPS 26045 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19357.045
AT ITER 4061 NEW BEST:: SOT 82871 SOS 26035 HAS SOPS 26035 HAS SOUS 19321 HAS SOUPS 19321 WITH SCORE 19347.035
AT ITER 4063 NEW BEST:: SOT 82861 SOS 26025 HAS SOPS 26025 HAS SOUS 19321 HAS SOUPS 19321 WITH SCORE 19347.025
AT ITER 4096 NEW BEST:: SOT 82859 SOS 26021 HAS SOPS 26021 HAS SOUS 19317 HAS SOUPS 19317 WITH SCORE 19343.021
AT ITER 4113 NEW BEST:: SOT 82893 SOS 26009 HAS SOPS 26009 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19331.009
AT ITER 4156 NEW BEST:: SOT 82889 SOS 26008 HAS SOPS 26008 HAS SOUS 19304 HAS SOUPS 19304 WITH SCORE 19330.008
AT ITER 4159 NEW BEST:: SOT 82860 SOS 25979 HAS SOPS 25979 HAS SOUS 19275 HAS SOUPS 19275 WITH SCORE 19300.979
AT ITER 4162 NEW BEST:: SOT 82855 SOS 25996 HAS SOPS 25996 HAS SOUS 19265 HAS SOUPS 19265 WITH SCORE 19290.996
AT ITER 4180 NEW BEST:: SOT 82855 SOS 25954 HAS SOPS 25954 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19248.954
AT ITER 4243 NEW BEST:: SOT 82838 SOS 25942 HAS SOPS 25942 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19236.942
AT ITER 4246 NEW BEST:: SOT 82834 SOS 25934 HAS SOPS 25934 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19228.934
AT ITER 4287 NEW BEST:: SOT 82807 SOS 25880 HAS SOPS 25880 HAS SOUS 19149 HAS SOUPS 19149 WITH SCORE 19174.88
AT ITER 4309 NEW BEST:: SOT 82807 SOS 25880 HAS SOPS 25880 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19165.88
AT ITER 4368 NEW BEST:: SOT 82773 SOS 25841 HAS SOPS 25841 HAS SOUS 19101 HAS SOUPS 19101 WITH SCORE 19126.841
AT ITER 4418 NEW BEST:: SOT 82773 SOS 25834 HAS SOPS 25834 HAS SOUS 19094 HAS SOUPS 19094 WITH SCORE 19119.834
AT ITER 4424 NEW BEST:: SOT 82772 SOS 25832 HAS SOPS 25832 HAS SOUS 19092 HAS SOUPS 19092 WITH SCORE 19117.832
AT ITER 4449 NEW BEST:: SOT 82795 SOS 25822 HAS SOPS 25822 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19107.822
AT ITER 4502 NEW BEST:: SOT 82797 SOS 25824 HAS SOPS 25824 HAS SOUS 19064 HAS SOUPS 19064 WITH SCORE 19089.824
AT ITER 4547 NEW BEST:: SOT 82794 SOS 25821 HAS SOPS 25821 HAS SOUS 19061 HAS SOUPS 19061 WITH SCORE 19086.821
AT ITER 4558 NEW BEST:: SOT 82794 SOS 25819 HAS SOPS 25819 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19084.819
AT ITER 4560 NEW BEST:: SOT 82792 SOS 25815 HAS SOPS 25815 HAS SOUS 19055 HAS SOUPS 19055 WITH SCORE 19080.815
AT ITER 4631 NEW BEST:: SOT 82788 SOS 25811 HAS SOPS 25811 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19076.811
AT ITER 4651 NEW BEST:: SOT 82803 SOS 25841 HAS SOPS 25841 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19053.841
AT ITER 4657 NEW BEST:: SOT 82800 SOS 25838 HAS SOPS 25838 HAS SOUS 19025 HAS SOUPS 19025 WITH SCORE 19050.838
AT ITER 4684 NEW BEST:: SOT 82799 SOS 25833 HAS SOPS 25833 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19048.833
AT ITER 4699 NEW BEST:: SOT 82743 SOS 25784 HAS SOPS 25784 HAS SOUS 18980 HAS SOUPS 18980 WITH SCORE 19005.784
AT ITER 4719 NEW BEST:: SOT 82734 SOS 25746 HAS SOPS 25746 HAS SOUS 18916 HAS SOUPS 18916 WITH SCORE 18941.746
AT ITER 4759 NEW BEST:: SOT 82659 SOS 25652 HAS SOPS 25652 HAS SOUS 18908 HAS SOUPS 18908 WITH SCORE 18933.652
AT ITER 4790 NEW BEST:: SOT 82659 SOS 25652 HAS SOPS 25652 HAS SOUS 18889 HAS SOUPS 18889 WITH SCORE 18914.652
AT ITER 4806 NEW BEST:: SOT 82710 SOS 25710 HAS SOPS 25710 HAS SOUS 18851 HAS SOUPS 18851 WITH SCORE 18876.71
AT ITER 4812 NEW BEST:: SOT 82719 SOS 25716 HAS SOPS 25716 HAS SOUS 18837 HAS SOUPS 18837 WITH SCORE 18862.716
AT ITER 4826 NEW BEST:: SOT 82712 SOS 25709 HAS SOPS 25709 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18855.709
AT ITER 4841 NEW BEST:: SOT 82708 SOS 25704 HAS SOPS 25704 HAS SOUS 18825 HAS SOUPS 18825 WITH SCORE 18850.704
AT ITER 4845 NEW BEST:: SOT 82708 SOS 25739 HAS SOPS 25739 HAS SOUS 18806 HAS SOUPS 18806 WITH SCORE 18831.739
AT ITER 4874 NEW BEST:: SOT 82708 SOS 25731 HAS SOPS 25731 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18826.731
AT ITER 4877 NEW BEST:: SOT 82720 SOS 25734 HAS SOPS 25734 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18808.734
AT ITER 4886 NEW BEST:: SOT 82720 SOS 25722 HAS SOPS 25722 HAS SOUS 18775 HAS SOUPS 18775 WITH SCORE 18800.722
AT ITER 4891 NEW BEST:: SOT 82730 SOS 25709 HAS SOPS 25709 HAS SOUS 18767 HAS SOUPS 18767 WITH SCORE 18792.709
AT ITER 4935 NEW BEST:: SOT 82682 SOS 25680 HAS SOPS 25680 HAS SOUS 18738 HAS SOUPS 18738 WITH SCORE 18763.68
AT ITER 4951 NEW BEST:: SOT 82682 SOS 25634 HAS SOPS 25634 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18740.634
AT ITER 4952 NEW BEST:: SOT 82640 SOS 25624 HAS SOPS 25624 HAS SOUS 18705 HAS SOUPS 18705 WITH SCORE 18730.624
AT ITER 4954 NEW BEST:: SOT 82635 SOS 25619 HAS SOPS 25619 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18725.619
AT ITER 4970 NEW BEST:: SOT 82607 SOS 26178 HAS SOPS 26178 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18712.178
AT ITER 4977 NEW BEST:: SOT 82607 SOS 26174 HAS SOPS 26174 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18704.174
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-09-CTLFireability-00 (AG( (EX( ( ( ((potential((tk(P65)>=1)))) | ((potential((tk(P246)>=1) & (tk(P109)>=1) & (tk(P334)>=1)))) ) | (! ((potential((tk(P300)>=1))))) )))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-01 (! (EF( (EG( ((potential((tk(P328)>=1)))))))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-02 ( ( (! ( (AG( ((potential((tk(P236)>=1) & (tk(P60)>=1) & (tk(P318)>=1)))))) | (! ((potential((tk(P75)>=1))))) )) & (! (! ((potential((tk(P177)>=1)))))) ) | (EF( ( ((potential((tk(P17)>=1)))) & (EG( ((potential((tk(P123)>=1)))))) ))) )
PROPERTY: BusinessProcesses-PT-09-CTLFireability-03 (EF( (! ( (EF( ((potential((tk(P262)>=1)))))) | ( (! ((potential((tk(P10)>=1))))) | ((potential((tk(P216)>=1) & (tk(P142)>=1) & (tk(P353)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-04 (AG( ( (! (! (! ((potential((tk(P254)>=1))))))) & (EX( (! ((potential((tk(P30)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-05 ( (! (EF( (EF( ((potential((tk(P182)>=1))))))))) | ( (AU( ( ((potential((tk(P182)>=1)))) & ((potential((tk(P266)>=1) & (tk(P124)>=1) & (tk(P340)>=1)))) ) , ((potential((tk(P89)>=1)))) )) & ((potential((tk(P180)>=1)))) ) )
PROPERTY: BusinessProcesses-PT-09-CTLFireability-06 (AG( (! (AG( ( ((potential((tk(P264)>=1)))) | ((potential((tk(P120)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-07 (! (EU( (AX( ((potential((tk(P278)>=1)))))) , (EF( ((potential((tk(P266)>=1) & (tk(P96)>=1) & (tk(P401)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-08 (EF( (EX( (! (! ((potential((tk(P246)>=1) & (tk(P109)>=1) & (tk(P334)>=1))))))))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-09 ( (EF( ( ( (! ((potential((tk(P158)>=1))))) & ((potential((tk(P68)>=1)))) ) | (EX( ((potential((tk(P264)>=1)))))) ))) | ( (AX( (EG( ((potential((tk(P311)>=1)))))))) & ((potential((tk(P203)>=1)))) ) )
PROPERTY: BusinessProcesses-PT-09-CTLFireability-10 (EF( (EX( ( ( ((potential((tk(P143)>=1)))) | ((potential((tk(P372)>=1)))) ) & ( ((potential((tk(P291)>=1)))) & ((potential((tk(P363)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-11 (! (AG( (! ( (! ((potential((tk(P294)>=1))))) & ( ((potential((tk(P255)>=1) & (tk(P74)>=1) & (tk(P369)>=1)))) | ((potential((tk(P232)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-12 (EF( (EX( ((potential((tk(P228)>=1))))))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-13 ( ( (! ((potential((tk(P176)>=1))))) & ( ( ((potential((tk(P266)>=1) & (tk(P124)>=1) & (tk(P395)>=1)))) & ( ( ((potential((tk(P56)>=1)))) | ((potential((tk(P53)>=1)))) ) & ((potential((tk(P108)>=1)))) ) ) | ( (EF( ((potential((tk(P89)>=1)))))) | ( ( ((potential((tk(P239)>=1)))) | ((potential((tk(P113)>=1) & (tk(P110)>=1)))) ) | ( ((potential((tk(P249)>=1)))) & ((potential((tk(P368)>=1)))) ) ) ) ) ) | ((potential((tk(P287)>=1)))) )
PROPERTY: BusinessProcesses-PT-09-CTLFireability-14 (EX( (! (AG( (! ((potential((tk(P312)>=1))))))))))
PROPERTY: BusinessProcesses-PT-09-CTLFireability-15 (EU( (! ((potential((tk(P261)>=1) & (tk(P112)>=1) & (tk(P380)>=1))))) , ((potential((tk(P191)>=1) & (tk(P21)>=1) & (tk(P296)>=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-09"
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-09, 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-158897680100516"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-09.tgz
mv BusinessProcesses-PT-09 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 ;