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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.4K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K 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.3K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.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 100K 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-07-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-07-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589018501913

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 07
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: 386 places, 360 transitions, 1110 arcs.
AT ITER 0 NEW BEST:: SOT 89715 SOS 36715 HAS SOPS 36715 HAS SOUS 34995 HAS SOUPS 34995 WITH SCORE 35031.715
AT ITER 9 NEW BEST:: SOT 89014 SOS 36254 HAS SOPS 36254 HAS SOUS 34465 HAS SOUPS 34465 WITH SCORE 34501.254
AT ITER 17 NEW BEST:: SOT 87003 SOS 37385 HAS SOPS 37385 HAS SOUS 32699 HAS SOUPS 32699 WITH SCORE 32736.385
AT ITER 22 NEW BEST:: SOT 86969 SOS 37369 HAS SOPS 37369 HAS SOUS 32665 HAS SOUPS 32665 WITH SCORE 32702.369
AT ITER 26 NEW BEST:: SOT 86892 SOS 37231 HAS SOPS 37231 HAS SOUS 32570 HAS SOUPS 32570 WITH SCORE 32607.231
AT ITER 31 NEW BEST:: SOT 86871 SOS 37185 HAS SOPS 37185 HAS SOUS 32561 HAS SOUPS 32561 WITH SCORE 32598.185
AT ITER 33 NEW BEST:: SOT 86844 SOS 37104 HAS SOPS 37104 HAS SOUS 32555 HAS SOUPS 32555 WITH SCORE 32592.104
AT ITER 36 NEW BEST:: SOT 86813 SOS 37042 HAS SOPS 37042 HAS SOUS 32552 HAS SOUPS 32552 WITH SCORE 32589.042
AT ITER 39 NEW BEST:: SOT 85124 SOS 35408 HAS SOPS 35408 HAS SOUS 30947 HAS SOUPS 30947 WITH SCORE 30982.408
AT ITER 44 NEW BEST:: SOT 85062 SOS 35293 HAS SOPS 35293 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30963.293
AT ITER 49 NEW BEST:: SOT 85055 SOS 35282 HAS SOPS 35282 HAS SOUS 30917 HAS SOUPS 30917 WITH SCORE 30952.282
AT ITER 53 NEW BEST:: SOT 85015 SOS 35094 HAS SOPS 35094 HAS SOUS 30775 HAS SOUPS 30775 WITH SCORE 30810.094
AT ITER 63 NEW BEST:: SOT 85014 SOS 35093 HAS SOPS 35093 HAS SOUS 30774 HAS SOUPS 30774 WITH SCORE 30809.093
AT ITER 65 NEW BEST:: SOT 84917 SOS 34899 HAS SOPS 34899 HAS SOUS 30676 HAS SOUPS 30676 WITH SCORE 30710.899
AT ITER 70 NEW BEST:: SOT 84903 SOS 34885 HAS SOPS 34885 HAS SOUS 30662 HAS SOUPS 30662 WITH SCORE 30696.885
AT ITER 75 NEW BEST:: SOT 84823 SOS 34747 HAS SOPS 34747 HAS SOUS 30524 HAS SOUPS 30524 WITH SCORE 30558.747
AT ITER 81 NEW BEST:: SOT 84735 SOS 34736 HAS SOPS 34736 HAS SOUS 30516 HAS SOUPS 30516 WITH SCORE 30550.736
AT ITER 91 NEW BEST:: SOT 84648 SOS 34561 HAS SOPS 34561 HAS SOUS 30342 HAS SOUPS 30342 WITH SCORE 30376.561
AT ITER 93 NEW BEST:: SOT 84573 SOS 34456 HAS SOPS 34456 HAS SOUS 30268 HAS SOUPS 30268 WITH SCORE 30302.456
AT ITER 94 NEW BEST:: SOT 84544 SOS 34398 HAS SOPS 34398 HAS SOUS 30181 HAS SOUPS 30181 WITH SCORE 30215.398
AT ITER 119 NEW BEST:: SOT 82537 SOS 32759 HAS SOPS 32759 HAS SOUS 28191 HAS SOUPS 28191 WITH SCORE 28223.759
AT ITER 127 NEW BEST:: SOT 82376 SOS 32561 HAS SOPS 32561 HAS SOUS 28094 HAS SOUPS 28094 WITH SCORE 28126.561
AT ITER 129 NEW BEST:: SOT 82278 SOS 32366 HAS SOPS 32366 HAS SOUS 27899 HAS SOUPS 27899 WITH SCORE 27931.366
AT ITER 146 NEW BEST:: SOT 82237 SOS 32334 HAS SOPS 32334 HAS SOUS 27867 HAS SOUPS 27867 WITH SCORE 27899.334
AT ITER 149 NEW BEST:: SOT 82129 SOS 32172 HAS SOPS 32172 HAS SOUS 27759 HAS SOUPS 27759 WITH SCORE 27791.172
AT ITER 152 NEW BEST:: SOT 82095 SOS 32138 HAS SOPS 32138 HAS SOUS 27759 HAS SOUPS 27759 WITH SCORE 27791.138
AT ITER 154 NEW BEST:: SOT 82141 SOS 32166 HAS SOPS 32166 HAS SOUS 27741 HAS SOUPS 27741 WITH SCORE 27773.166
AT ITER 156 NEW BEST:: SOT 82113 SOS 32110 HAS SOPS 32110 HAS SOUS 27728 HAS SOUPS 27728 WITH SCORE 27760.11
AT ITER 160 NEW BEST:: SOT 82106 SOS 32103 HAS SOPS 32103 HAS SOUS 27728 HAS SOUPS 27728 WITH SCORE 27760.103
AT ITER 167 NEW BEST:: SOT 82074 SOS 32071 HAS SOPS 32071 HAS SOUS 27696 HAS SOUPS 27696 WITH SCORE 27728.071
AT ITER 168 NEW BEST:: SOT 82033 SOS 31934 HAS SOPS 31934 HAS SOUS 27632 HAS SOUPS 27632 WITH SCORE 27663.934
AT ITER 170 NEW BEST:: SOT 82011 SOS 31912 HAS SOPS 31912 HAS SOUS 27610 HAS SOUPS 27610 WITH SCORE 27641.912
AT ITER 172 NEW BEST:: SOT 82011 SOS 31623 HAS SOPS 31623 HAS SOUS 27573 HAS SOUPS 27573 WITH SCORE 27604.623
AT ITER 177 NEW BEST:: SOT 81853 SOS 31556 HAS SOPS 31556 HAS SOUS 27568 HAS SOUPS 27568 WITH SCORE 27599.556
AT ITER 178 NEW BEST:: SOT 81835 SOS 31502 HAS SOPS 31502 HAS SOUS 27514 HAS SOUPS 27514 WITH SCORE 27545.502
AT ITER 200 NEW BEST:: SOT 81835 SOS 31378 HAS SOPS 31378 HAS SOUS 27400 HAS SOUPS 27400 WITH SCORE 27431.378
AT ITER 203 NEW BEST:: SOT 81822 SOS 31352 HAS SOPS 31352 HAS SOUS 27387 HAS SOUPS 27387 WITH SCORE 27418.352
AT ITER 216 NEW BEST:: SOT 81790 SOS 31288 HAS SOPS 31288 HAS SOUS 27373 HAS SOUPS 27373 WITH SCORE 27404.288
AT ITER 218 NEW BEST:: SOT 81771 SOS 31269 HAS SOPS 31269 HAS SOUS 27354 HAS SOUPS 27354 WITH SCORE 27385.269
AT ITER 221 NEW BEST:: SOT 81731 SOS 31189 HAS SOPS 31189 HAS SOUS 27313 HAS SOUPS 27313 WITH SCORE 27344.189
AT ITER 225 NEW BEST:: SOT 81633 SOS 31157 HAS SOPS 31157 HAS SOUS 27248 HAS SOUPS 27248 WITH SCORE 27279.157
AT ITER 237 NEW BEST:: SOT 80186 SOS 30543 HAS SOPS 30543 HAS SOUS 25902 HAS SOUPS 25902 WITH SCORE 25932.543
AT ITER 242 NEW BEST:: SOT 80181 SOS 30538 HAS SOPS 30538 HAS SOUS 25897 HAS SOUPS 25897 WITH SCORE 25927.538
AT ITER 255 NEW BEST:: SOT 80180 SOS 30537 HAS SOPS 30537 HAS SOUS 25896 HAS SOUPS 25896 WITH SCORE 25926.537
AT ITER 266 NEW BEST:: SOT 80202 SOS 30537 HAS SOPS 30537 HAS SOUS 25881 HAS SOUPS 25881 WITH SCORE 25911.537
AT ITER 270 NEW BEST:: SOT 80202 SOS 30465 HAS SOPS 30465 HAS SOUS 25809 HAS SOUPS 25809 WITH SCORE 25839.465
AT ITER 273 NEW BEST:: SOT 80201 SOS 30464 HAS SOPS 30464 HAS SOUS 25808 HAS SOUPS 25808 WITH SCORE 25838.464
AT ITER 276 NEW BEST:: SOT 80218 SOS 30422 HAS SOPS 30422 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25793.422
AT ITER 312 NEW BEST:: SOT 80198 SOS 30382 HAS SOPS 30382 HAS SOUS 25723 HAS SOUPS 25723 WITH SCORE 25753.382
AT ITER 318 NEW BEST:: SOT 80139 SOS 30272 HAS SOPS 30272 HAS SOUS 25613 HAS SOUPS 25613 WITH SCORE 25643.272
AT ITER 326 NEW BEST:: SOT 80077 SOS 30265 HAS SOPS 30265 HAS SOUS 25606 HAS SOUPS 25606 WITH SCORE 25636.265
AT ITER 332 NEW BEST:: SOT 80032 SOS 30171 HAS SOPS 30171 HAS SOUS 25512 HAS SOUPS 25512 WITH SCORE 25542.171
AT ITER 350 NEW BEST:: SOT 80031 SOS 30170 HAS SOPS 30170 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25541.17
AT ITER 359 NEW BEST:: SOT 79983 SOS 30074 HAS SOPS 30074 HAS SOUS 25415 HAS SOUPS 25415 WITH SCORE 25445.074
AT ITER 366 NEW BEST:: SOT 79885 SOS 29724 HAS SOPS 29724 HAS SOUS 25276 HAS SOUPS 25276 WITH SCORE 25305.724
AT ITER 367 NEW BEST:: SOT 79799 SOS 29644 HAS SOPS 29644 HAS SOUS 25196 HAS SOUPS 25196 WITH SCORE 25225.644
AT ITER 371 NEW BEST:: SOT 79798 SOS 29643 HAS SOPS 29643 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25224.643
AT ITER 372 NEW BEST:: SOT 79798 SOS 29576 HAS SOPS 29576 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25157.576
AT ITER 394 NEW BEST:: SOT 79850 SOS 29570 HAS SOPS 29570 HAS SOUS 25122 HAS SOUPS 25122 WITH SCORE 25151.57
AT ITER 398 NEW BEST:: SOT 79850 SOS 29566 HAS SOPS 29566 HAS SOUS 25118 HAS SOUPS 25118 WITH SCORE 25147.566
AT ITER 410 NEW BEST:: SOT 79849 SOS 29565 HAS SOPS 29565 HAS SOUS 25117 HAS SOUPS 25117 WITH SCORE 25146.565
AT ITER 412 NEW BEST:: SOT 79489 SOS 29133 HAS SOPS 29133 HAS SOUS 24685 HAS SOUPS 24685 WITH SCORE 24714.133
AT ITER 421 NEW BEST:: SOT 79488 SOS 29066 HAS SOPS 29066 HAS SOUS 24618 HAS SOUPS 24618 WITH SCORE 24647.066
AT ITER 427 NEW BEST:: SOT 79454 SOS 29053 HAS SOPS 29053 HAS SOUS 24605 HAS SOUPS 24605 WITH SCORE 24634.053
AT ITER 438 NEW BEST:: SOT 79453 SOS 29051 HAS SOPS 29051 HAS SOUS 24603 HAS SOUPS 24603 WITH SCORE 24632.051
AT ITER 440 NEW BEST:: SOT 79481 SOS 29048 HAS SOPS 29048 HAS SOUS 24600 HAS SOUPS 24600 WITH SCORE 24629.048
AT ITER 483 NEW BEST:: SOT 79398 SOS 28982 HAS SOPS 28982 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24615.982
AT ITER 484 NEW BEST:: SOT 79442 SOS 28979 HAS SOPS 28979 HAS SOUS 24584 HAS SOUPS 24584 WITH SCORE 24612.979
AT ITER 493 NEW BEST:: SOT 79418 SOS 28931 HAS SOPS 28931 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24564.931
AT ITER 504 NEW BEST:: SOT 79354 SOS 28635 HAS SOPS 28635 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24352.635
AT ITER 506 NEW BEST:: SOT 79292 SOS 28511 HAS SOPS 28511 HAS SOUS 24211 HAS SOUPS 24211 WITH SCORE 24239.511
AT ITER 509 NEW BEST:: SOT 79286 SOS 28502 HAS SOPS 28502 HAS SOUS 24205 HAS SOUPS 24205 WITH SCORE 24233.502
AT ITER 519 NEW BEST:: SOT 79285 SOS 28500 HAS SOPS 28500 HAS SOUS 24203 HAS SOUPS 24203 WITH SCORE 24231.5
AT ITER 533 NEW BEST:: SOT 79295 SOS 28462 HAS SOPS 28462 HAS SOUS 24165 HAS SOUPS 24165 WITH SCORE 24193.462
AT ITER 554 NEW BEST:: SOT 79180 SOS 28415 HAS SOPS 28415 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24178.415
AT ITER 572 NEW BEST:: SOT 79179 SOS 28362 HAS SOPS 28362 HAS SOUS 24148 HAS SOUPS 24148 WITH SCORE 24176.362
AT ITER 596 NEW BEST:: SOT 79179 SOS 28337 HAS SOPS 28337 HAS SOUS 24148 HAS SOUPS 24148 WITH SCORE 24176.337
AT ITER 599 NEW BEST:: SOT 79178 SOS 28336 HAS SOPS 28336 HAS SOUS 24147 HAS SOUPS 24147 WITH SCORE 24175.336
AT ITER 603 NEW BEST:: SOT 79201 SOS 28358 HAS SOPS 28358 HAS SOUS 24145 HAS SOUPS 24145 WITH SCORE 24173.358
AT ITER 604 NEW BEST:: SOT 79200 SOS 28356 HAS SOPS 28356 HAS SOUS 24143 HAS SOUPS 24143 WITH SCORE 24171.356
AT ITER 616 NEW BEST:: SOT 79170 SOS 28296 HAS SOPS 28296 HAS SOUS 24083 HAS SOUPS 24083 WITH SCORE 24111.296
AT ITER 627 NEW BEST:: SOT 79387 SOS 28287 HAS SOPS 28287 HAS SOUS 24074 HAS SOUPS 24074 WITH SCORE 24102.287
AT ITER 629 NEW BEST:: SOT 79389 SOS 28261 HAS SOPS 28261 HAS SOUS 24048 HAS SOUPS 24048 WITH SCORE 24076.261
AT ITER 632 NEW BEST:: SOT 79245 SOS 28071 HAS SOPS 28071 HAS SOUS 23924 HAS SOUPS 23924 WITH SCORE 23952.071
AT ITER 646 NEW BEST:: SOT 79245 SOS 28071 HAS SOPS 28071 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23942.071
AT ITER 656 NEW BEST:: SOT 79242 SOS 28068 HAS SOPS 28068 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23942.068
AT ITER 664 NEW BEST:: SOT 79192 SOS 28016 HAS SOPS 28016 HAS SOUS 23864 HAS SOUPS 23864 WITH SCORE 23892.016
AT ITER 692 NEW BEST:: SOT 79192 SOS 27975 HAS SOPS 27975 HAS SOUS 23823 HAS SOUPS 23823 WITH SCORE 23850.975
AT ITER 699 NEW BEST:: SOT 79163 SOS 27917 HAS SOPS 27917 HAS SOUS 23765 HAS SOUPS 23765 WITH SCORE 23792.917
AT ITER 706 NEW BEST:: SOT 79045 SOS 27765 HAS SOPS 27765 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23640.765
AT ITER 716 NEW BEST:: SOT 79045 SOS 27765 HAS SOPS 27765 HAS SOUS 23570 HAS SOUPS 23570 WITH SCORE 23597.765
AT ITER 733 NEW BEST:: SOT 78988 SOS 27700 HAS SOPS 27700 HAS SOUS 23513 HAS SOUPS 23513 WITH SCORE 23540.7
AT ITER 736 NEW BEST:: SOT 78982 SOS 27688 HAS SOPS 27688 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23528.688
AT ITER 737 NEW BEST:: SOT 78899 SOS 27593 HAS SOPS 27593 HAS SOUS 23466 HAS SOUPS 23466 WITH SCORE 23493.593
AT ITER 753 NEW BEST:: SOT 78845 SOS 27530 HAS SOPS 27530 HAS SOUS 23403 HAS SOUPS 23403 WITH SCORE 23430.53
AT ITER 757 NEW BEST:: SOT 78801 SOS 27464 HAS SOPS 27464 HAS SOUS 23337 HAS SOUPS 23337 WITH SCORE 23364.464
AT ITER 773 NEW BEST:: SOT 78887 SOS 27533 HAS SOPS 27533 HAS SOUS 23313 HAS SOUPS 23313 WITH SCORE 23340.533
AT ITER 778 NEW BEST:: SOT 78887 SOS 27520 HAS SOPS 27520 HAS SOUS 23300 HAS SOUPS 23300 WITH SCORE 23327.52
AT ITER 784 NEW BEST:: SOT 78850 SOS 27446 HAS SOPS 27446 HAS SOUS 23251 HAS SOUPS 23251 WITH SCORE 23278.446
AT ITER 789 NEW BEST:: SOT 78841 SOS 27428 HAS SOPS 27428 HAS SOUS 23243 HAS SOUPS 23243 WITH SCORE 23270.428
AT ITER 799 NEW BEST:: SOT 78842 SOS 27425 HAS SOPS 27425 HAS SOUS 23240 HAS SOUPS 23240 WITH SCORE 23267.425
AT ITER 841 NEW BEST:: SOT 78760 SOS 27333 HAS SOPS 27333 HAS SOUS 23148 HAS SOUPS 23148 WITH SCORE 23175.333
AT ITER 853 NEW BEST:: SOT 78712 SOS 27292 HAS SOPS 27292 HAS SOUS 23107 HAS SOUPS 23107 WITH SCORE 23134.292
AT ITER 871 NEW BEST:: SOT 78597 SOS 27191 HAS SOPS 27191 HAS SOUS 23104 HAS SOUPS 23104 WITH SCORE 23131.191
AT ITER 885 NEW BEST:: SOT 78601 SOS 27207 HAS SOPS 27207 HAS SOUS 23092 HAS SOUPS 23092 WITH SCORE 23119.207
AT ITER 893 NEW BEST:: SOT 78601 SOS 27189 HAS SOPS 27189 HAS SOUS 23092 HAS SOUPS 23092 WITH SCORE 23119.189
AT ITER 917 NEW BEST:: SOT 78594 SOS 27182 HAS SOPS 27182 HAS SOUS 23085 HAS SOUPS 23085 WITH SCORE 23112.182
AT ITER 921 NEW BEST:: SOT 78480 SOS 27150 HAS SOPS 27150 HAS SOUS 23056 HAS SOUPS 23056 WITH SCORE 23083.15
AT ITER 935 NEW BEST:: SOT 78498 SOS 27149 HAS SOPS 27149 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23082.149
AT ITER 942 NEW BEST:: SOT 78526 SOS 27154 HAS SOPS 27154 HAS SOUS 23009 HAS SOUPS 23009 WITH SCORE 23036.154
AT ITER 977 NEW BEST:: SOT 78462 SOS 27070 HAS SOPS 27070 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22969.07
AT ITER 1002 NEW BEST:: SOT 78461 SOS 27069 HAS SOPS 27069 HAS SOUS 22941 HAS SOUPS 22941 WITH SCORE 22968.069
AT ITER 1010 NEW BEST:: SOT 78355 SOS 26941 HAS SOPS 26941 HAS SOUS 22887 HAS SOUPS 22887 WITH SCORE 22913.941
AT ITER 1022 NEW BEST:: SOT 78337 SOS 26905 HAS SOPS 26905 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22877.905
AT ITER 1038 NEW BEST:: SOT 78337 SOS 26905 HAS SOPS 26905 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22862.905
AT ITER 1054 NEW BEST:: SOT 78328 SOS 26887 HAS SOPS 26887 HAS SOUS 22809 HAS SOUPS 22809 WITH SCORE 22835.887
AT ITER 1058 NEW BEST:: SOT 78240 SOS 26802 HAS SOPS 26802 HAS SOUS 22805 HAS SOUPS 22805 WITH SCORE 22831.802
AT ITER 1065 NEW BEST:: SOT 78235 SOS 26792 HAS SOPS 26792 HAS SOUS 22800 HAS SOUPS 22800 WITH SCORE 22826.792
AT ITER 1069 NEW BEST:: SOT 78233 SOS 26784 HAS SOPS 26784 HAS SOUS 22794 HAS SOUPS 22794 WITH SCORE 22820.784
AT ITER 1077 NEW BEST:: SOT 78148 SOS 26782 HAS SOPS 26782 HAS SOUS 22792 HAS SOUPS 22792 WITH SCORE 22818.782
AT ITER 1082 NEW BEST:: SOT 78019 SOS 26679 HAS SOPS 26679 HAS SOUS 22710 HAS SOUPS 22710 WITH SCORE 22736.679
AT ITER 1090 NEW BEST:: SOT 78019 SOS 26559 HAS SOPS 26559 HAS SOUS 22590 HAS SOUPS 22590 WITH SCORE 22616.559
AT ITER 1091 NEW BEST:: SOT 78085 SOS 26498 HAS SOPS 26498 HAS SOUS 22535 HAS SOUPS 22535 WITH SCORE 22561.498
AT ITER 1105 NEW BEST:: SOT 78078 SOS 26484 HAS SOPS 26484 HAS SOUS 22521 HAS SOUPS 22521 WITH SCORE 22547.484
AT ITER 1119 NEW BEST:: SOT 78076 SOS 26480 HAS SOPS 26480 HAS SOUS 22519 HAS SOUPS 22519 WITH SCORE 22545.48
AT ITER 1126 NEW BEST:: SOT 78080 SOS 26488 HAS SOPS 26488 HAS SOUS 22485 HAS SOUPS 22485 WITH SCORE 22511.488
AT ITER 1133 NEW BEST:: SOT 78080 SOS 26032 HAS SOPS 26032 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22473.032
AT ITER 1135 NEW BEST:: SOT 77675 SOS 26835 HAS SOPS 26835 HAS SOUS 22126 HAS SOUPS 22126 WITH SCORE 22152.835
AT ITER 1147 NEW BEST:: SOT 77702 SOS 26791 HAS SOPS 26791 HAS SOUS 22098 HAS SOUPS 22098 WITH SCORE 22124.791
AT ITER 1152 NEW BEST:: SOT 77708 SOS 26770 HAS SOPS 26770 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22114.77
AT ITER 1156 NEW BEST:: SOT 77689 SOS 26750 HAS SOPS 26750 HAS SOUS 22068 HAS SOUPS 22068 WITH SCORE 22094.75
AT ITER 1158 NEW BEST:: SOT 77653 SOS 26748 HAS SOPS 26748 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22092.748
AT ITER 1159 NEW BEST:: SOT 77653 SOS 26747 HAS SOPS 26747 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22091.747
AT ITER 1160 NEW BEST:: SOT 77649 SOS 26739 HAS SOPS 26739 HAS SOUS 22057 HAS SOUPS 22057 WITH SCORE 22083.739
AT ITER 1162 NEW BEST:: SOT 77642 SOS 26692 HAS SOPS 26692 HAS SOUS 22010 HAS SOUPS 22010 WITH SCORE 22036.692
AT ITER 1178 NEW BEST:: SOT 77613 SOS 26709 HAS SOPS 26709 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 21991.709
AT ITER 1209 NEW BEST:: SOT 77568 SOS 26640 HAS SOPS 26640 HAS SOUS 21896 HAS SOUPS 21896 WITH SCORE 21922.64
AT ITER 1232 NEW BEST:: SOT 77563 SOS 26630 HAS SOPS 26630 HAS SOUS 21886 HAS SOUPS 21886 WITH SCORE 21912.63
AT ITER 1241 NEW BEST:: SOT 77550 SOS 26617 HAS SOPS 26617 HAS SOUS 21873 HAS SOUPS 21873 WITH SCORE 21899.617
AT ITER 1249 NEW BEST:: SOT 77527 SOS 26608 HAS SOPS 26608 HAS SOUS 21864 HAS SOUPS 21864 WITH SCORE 21890.608
AT ITER 1254 NEW BEST:: SOT 77468 SOS 26594 HAS SOPS 26594 HAS SOUS 21850 HAS SOUPS 21850 WITH SCORE 21876.594
AT ITER 1255 NEW BEST:: SOT 77492 SOS 26582 HAS SOPS 26582 HAS SOUS 21838 HAS SOUPS 21838 WITH SCORE 21864.582
AT ITER 1266 NEW BEST:: SOT 77492 SOS 26500 HAS SOPS 26500 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21782.5
AT ITER 1270 NEW BEST:: SOT 77442 SOS 26337 HAS SOPS 26337 HAS SOUS 21593 HAS SOUPS 21593 WITH SCORE 21619.337
AT ITER 1277 NEW BEST:: SOT 77419 SOS 26291 HAS SOPS 26291 HAS SOUS 21558 HAS SOUPS 21558 WITH SCORE 21584.291
AT ITER 1338 NEW BEST:: SOT 77350 SOS 26115 HAS SOPS 26115 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21408.115
AT ITER 1339 NEW BEST:: SOT 77345 SOS 26113 HAS SOPS 26113 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21406.113
AT ITER 1343 NEW BEST:: SOT 77392 SOS 26109 HAS SOPS 26109 HAS SOUS 21376 HAS SOUPS 21376 WITH SCORE 21402.109
AT ITER 1347 NEW BEST:: SOT 77387 SOS 26104 HAS SOPS 26104 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21397.104
AT ITER 1354 NEW BEST:: SOT 77362 SOS 26079 HAS SOPS 26079 HAS SOUS 21371 HAS SOUPS 21371 WITH SCORE 21397.079
AT ITER 1375 NEW BEST:: SOT 77353 SOS 26070 HAS SOPS 26070 HAS SOUS 21362 HAS SOUPS 21362 WITH SCORE 21388.07
AT ITER 1384 NEW BEST:: SOT 77335 SOS 26030 HAS SOPS 26030 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21348.03
AT ITER 1386 NEW BEST:: SOT 77322 SOS 26025 HAS SOPS 26025 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21307.025
AT ITER 1396 NEW BEST:: SOT 77364 SOS 25984 HAS SOPS 25984 HAS SOUS 21240 HAS SOUPS 21240 WITH SCORE 21265.984
AT ITER 1406 NEW BEST:: SOT 77374 SOS 25990 HAS SOPS 25990 HAS SOUS 21232 HAS SOUPS 21232 WITH SCORE 21257.99
AT ITER 1411 NEW BEST:: SOT 77376 SOS 25979 HAS SOPS 25979 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21246.979
AT ITER 1428 NEW BEST:: SOT 77379 SOS 25870 HAS SOPS 25870 HAS SOUS 21124 HAS SOUPS 21124 WITH SCORE 21149.87
AT ITER 1453 NEW BEST:: SOT 77378 SOS 25869 HAS SOPS 25869 HAS SOUS 21124 HAS SOUPS 21124 WITH SCORE 21149.869
AT ITER 1455 NEW BEST:: SOT 77378 SOS 25803 HAS SOPS 25803 HAS SOUS 21014 HAS SOUPS 21014 WITH SCORE 21039.803
AT ITER 1466 NEW BEST:: SOT 77377 SOS 25798 HAS SOPS 25798 HAS SOUS 21009 HAS SOUPS 21009 WITH SCORE 21034.798
AT ITER 1471 NEW BEST:: SOT 77313 SOS 25734 HAS SOPS 25734 HAS SOUS 20942 HAS SOUPS 20942 WITH SCORE 20967.734
AT ITER 1479 NEW BEST:: SOT 77313 SOS 25598 HAS SOPS 25598 HAS SOUS 20874 HAS SOUPS 20874 WITH SCORE 20899.598
AT ITER 1482 NEW BEST:: SOT 77314 SOS 25596 HAS SOPS 25596 HAS SOUS 20872 HAS SOUPS 20872 WITH SCORE 20897.596
AT ITER 1504 NEW BEST:: SOT 77314 SOS 25585 HAS SOPS 25585 HAS SOUS 20867 HAS SOUPS 20867 WITH SCORE 20892.585
AT ITER 1519 NEW BEST:: SOT 77314 SOS 25554 HAS SOPS 25554 HAS SOUS 20854 HAS SOUPS 20854 WITH SCORE 20879.554
AT ITER 1530 NEW BEST:: SOT 77256 SOS 25316 HAS SOPS 25316 HAS SOUS 20615 HAS SOUPS 20615 WITH SCORE 20640.316
AT ITER 1548 NEW BEST:: SOT 77194 SOS 25191 HAS SOPS 25191 HAS SOUS 20490 HAS SOUPS 20490 WITH SCORE 20515.191
AT ITER 1564 NEW BEST:: SOT 77181 SOS 25165 HAS SOPS 25165 HAS SOUS 20464 HAS SOUPS 20464 WITH SCORE 20489.165
AT ITER 1565 NEW BEST:: SOT 77178 SOS 25164 HAS SOPS 25164 HAS SOUS 20463 HAS SOUPS 20463 WITH SCORE 20488.164
AT ITER 1625 NEW BEST:: SOT 77177 SOS 25151 HAS SOPS 25151 HAS SOUS 20451 HAS SOUPS 20451 WITH SCORE 20476.151
AT ITER 1627 NEW BEST:: SOT 77167 SOS 25148 HAS SOPS 25148 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20473.148
AT ITER 1638 NEW BEST:: SOT 77139 SOS 25083 HAS SOPS 25083 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20408.083
AT ITER 1670 NEW BEST:: SOT 77097 SOS 25020 HAS SOPS 25020 HAS SOUS 20320 HAS SOUPS 20320 WITH SCORE 20345.02
AT ITER 1687 NEW BEST:: SOT 77055 SOS 24936 HAS SOPS 24936 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20260.936
AT ITER 1695 NEW BEST:: SOT 77054 SOS 24922 HAS SOPS 24922 HAS SOUS 20234 HAS SOUPS 20234 WITH SCORE 20258.922
AT ITER 1696 NEW BEST:: SOT 77093 SOS 24961 HAS SOPS 24961 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20239.961
AT ITER 1699 NEW BEST:: SOT 77095 SOS 24853 HAS SOPS 24853 HAS SOUS 20107 HAS SOUPS 20107 WITH SCORE 20131.853
AT ITER 1709 NEW BEST:: SOT 77100 SOS 24875 HAS SOPS 24875 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20122.875
AT ITER 1714 NEW BEST:: SOT 77070 SOS 24845 HAS SOPS 24845 HAS SOUS 20068 HAS SOUPS 20068 WITH SCORE 20092.845
AT ITER 1775 NEW BEST:: SOT 77063 SOS 24603 HAS SOPS 24603 HAS SOUS 20041 HAS SOUPS 20041 WITH SCORE 20065.603
AT ITER 1809 NEW BEST:: SOT 77039 SOS 24514 HAS SOPS 24514 HAS SOUS 20038 HAS SOUPS 20038 WITH SCORE 20062.514
AT ITER 1811 NEW BEST:: SOT 77015 SOS 24482 HAS SOPS 24482 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20046.482
AT ITER 1818 NEW BEST:: SOT 76945 SOS 24412 HAS SOPS 24412 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20035.412
AT ITER 1833 NEW BEST:: SOT 76973 SOS 24409 HAS SOPS 24409 HAS SOUS 20008 HAS SOUPS 20008 WITH SCORE 20032.409
AT ITER 1840 NEW BEST:: SOT 76973 SOS 24400 HAS SOPS 24400 HAS SOUS 19999 HAS SOUPS 19999 WITH SCORE 20023.4
AT ITER 1850 NEW BEST:: SOT 76743 SOS 24214 HAS SOPS 24214 HAS SOUS 19809 HAS SOUPS 19809 WITH SCORE 19833.214
AT ITER 1858 NEW BEST:: SOT 76743 SOS 24185 HAS SOPS 24185 HAS SOUS 19780 HAS SOUPS 19780 WITH SCORE 19804.185
AT ITER 1876 NEW BEST:: SOT 76704 SOS 24107 HAS SOPS 24107 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19765.107
AT ITER 1882 NEW BEST:: SOT 76722 SOS 24070 HAS SOPS 24070 HAS SOUS 19704 HAS SOUPS 19704 WITH SCORE 19728.07
AT ITER 1894 NEW BEST:: SOT 76721 SOS 24045 HAS SOPS 24045 HAS SOUS 19679 HAS SOUPS 19679 WITH SCORE 19703.045
AT ITER 1901 NEW BEST:: SOT 76623 SOS 23947 HAS SOPS 23947 HAS SOUS 19650 HAS SOUPS 19650 WITH SCORE 19673.947
AT ITER 1914 NEW BEST:: SOT 76598 SOS 23919 HAS SOPS 23919 HAS SOUS 19622 HAS SOUPS 19622 WITH SCORE 19645.919
AT ITER 1918 NEW BEST:: SOT 76539 SOS 23860 HAS SOPS 23860 HAS SOUS 19563 HAS SOUPS 19563 WITH SCORE 19586.86
AT ITER 1920 NEW BEST:: SOT 76533 SOS 23848 HAS SOPS 23848 HAS SOUS 19551 HAS SOUPS 19551 WITH SCORE 19574.848
AT ITER 1925 NEW BEST:: SOT 76509 SOS 23764 HAS SOPS 23764 HAS SOUS 19449 HAS SOUPS 19449 WITH SCORE 19472.764
AT ITER 1926 NEW BEST:: SOT 76501 SOS 23756 HAS SOPS 23756 HAS SOUS 19441 HAS SOUPS 19441 WITH SCORE 19464.756
AT ITER 1930 NEW BEST:: SOT 76495 SOS 23750 HAS SOPS 23750 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19458.75
AT ITER 1937 NEW BEST:: SOT 76495 SOS 23684 HAS SOPS 23684 HAS SOUS 19402 HAS SOUPS 19402 WITH SCORE 19425.684
AT ITER 1952 NEW BEST:: SOT 76495 SOS 23670 HAS SOPS 23670 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19411.67
AT ITER 1972 NEW BEST:: SOT 76474 SOS 23670 HAS SOPS 23670 HAS SOUS 19367 HAS SOUPS 19367 WITH SCORE 19390.67
AT ITER 1984 NEW BEST:: SOT 76472 SOS 23668 HAS SOPS 23668 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19388.668
AT ITER 1987 NEW BEST:: SOT 76393 SOS 23481 HAS SOPS 23481 HAS SOUS 19284 HAS SOUPS 19284 WITH SCORE 19307.481
AT ITER 1991 NEW BEST:: SOT 76390 SOS 23477 HAS SOPS 23477 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19303.477
AT ITER 1992 NEW BEST:: SOT 76433 SOS 23493 HAS SOPS 23493 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19249.493
AT ITER 2025 NEW BEST:: SOT 76433 SOS 23481 HAS SOPS 23481 HAS SOUS 19202 HAS SOUPS 19202 WITH SCORE 19225.481
AT ITER 2031 NEW BEST:: SOT 76433 SOS 23476 HAS SOPS 23476 HAS SOUS 19202 HAS SOUPS 19202 WITH SCORE 19225.476
AT ITER 2040 NEW BEST:: SOT 76419 SOS 23448 HAS SOPS 23448 HAS SOUS 19174 HAS SOUPS 19174 WITH SCORE 19197.448
AT ITER 2074 NEW BEST:: SOT 76415 SOS 23440 HAS SOPS 23440 HAS SOUS 19166 HAS SOUPS 19166 WITH SCORE 19189.44
AT ITER 2077 NEW BEST:: SOT 76417 SOS 23431 HAS SOPS 23431 HAS SOUS 19157 HAS SOUPS 19157 WITH SCORE 19180.431
AT ITER 2112 NEW BEST:: SOT 76415 SOS 23403 HAS SOPS 23403 HAS SOUS 19129 HAS SOUPS 19129 WITH SCORE 19152.403
AT ITER 2136 NEW BEST:: SOT 76229 SOS 23177 HAS SOPS 23177 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 18984.177
AT ITER 2140 NEW BEST:: SOT 76214 SOS 23160 HAS SOPS 23160 HAS SOUS 18944 HAS SOUPS 18944 WITH SCORE 18967.16
AT ITER 2141 NEW BEST:: SOT 76205 SOS 23142 HAS SOPS 23142 HAS SOUS 18926 HAS SOUPS 18926 WITH SCORE 18949.142
AT ITER 2169 NEW BEST:: SOT 76195 SOS 23126 HAS SOPS 23126 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18944.126
AT ITER 2183 NEW BEST:: SOT 76188 SOS 23056 HAS SOPS 23056 HAS SOUS 18851 HAS SOUPS 18851 WITH SCORE 18874.056
AT ITER 2252 NEW BEST:: SOT 76172 SOS 23040 HAS SOPS 23040 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18858.04
AT ITER 2253 NEW BEST:: SOT 76171 SOS 23038 HAS SOPS 23038 HAS SOUS 18834 HAS SOUPS 18834 WITH SCORE 18857.038
AT ITER 2265 NEW BEST:: SOT 76171 SOS 23037 HAS SOPS 23037 HAS SOUS 18833 HAS SOUPS 18833 WITH SCORE 18856.037
AT ITER 2285 NEW BEST:: SOT 76174 SOS 22977 HAS SOPS 22977 HAS SOUS 18773 HAS SOUPS 18773 WITH SCORE 18795.977
AT ITER 2288 NEW BEST:: SOT 76162 SOS 22959 HAS SOPS 22959 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18777.959
AT ITER 2301 NEW BEST:: SOT 76162 SOS 22948 HAS SOPS 22948 HAS SOUS 18744 HAS SOUPS 18744 WITH SCORE 18766.948
AT ITER 2313 NEW BEST:: SOT 76115 SOS 22919 HAS SOPS 22919 HAS SOUS 18739 HAS SOUPS 18739 WITH SCORE 18761.919
AT ITER 2335 NEW BEST:: SOT 76019 SOS 22822 HAS SOPS 22822 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18700.822
AT ITER 2380 NEW BEST:: SOT 76019 SOS 22812 HAS SOPS 22812 HAS SOUS 18668 HAS SOUPS 18668 WITH SCORE 18690.812
AT ITER 2384 NEW BEST:: SOT 76001 SOS 22750 HAS SOPS 22750 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18648.75
AT ITER 2402 NEW BEST:: SOT 75983 SOS 22731 HAS SOPS 22731 HAS SOUS 18607 HAS SOUPS 18607 WITH SCORE 18629.731
AT ITER 2404 NEW BEST:: SOT 75989 SOS 22708 HAS SOPS 22708 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18612.708
AT ITER 2406 NEW BEST:: SOT 75987 SOS 22704 HAS SOPS 22704 HAS SOUS 18586 HAS SOUPS 18586 WITH SCORE 18608.704
AT ITER 2420 NEW BEST:: SOT 75978 SOS 22686 HAS SOPS 22686 HAS SOUS 18559 HAS SOUPS 18559 WITH SCORE 18581.686
AT ITER 2480 NEW BEST:: SOT 75978 SOS 22663 HAS SOPS 22663 HAS SOUS 18536 HAS SOUPS 18536 WITH SCORE 18558.663
AT ITER 2517 NEW BEST:: SOT 75970 SOS 22651 HAS SOPS 22651 HAS SOUS 18524 HAS SOUPS 18524 WITH SCORE 18546.651
AT ITER 2593 NEW BEST:: SOT 76048 SOS 22635 HAS SOPS 22635 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18391.635
AT ITER 2599 NEW BEST:: SOT 76043 SOS 22594 HAS SOPS 22594 HAS SOUS 18328 HAS SOUPS 18328 WITH SCORE 18350.594
AT ITER 2620 NEW BEST:: SOT 76041 SOS 22592 HAS SOPS 22592 HAS SOUS 18326 HAS SOUPS 18326 WITH SCORE 18348.592
AT ITER 2626 NEW BEST:: SOT 76039 SOS 22591 HAS SOPS 22591 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18347.591
AT ITER 2646 NEW BEST:: SOT 76036 SOS 22588 HAS SOPS 22588 HAS SOUS 18322 HAS SOUPS 18322 WITH SCORE 18344.588
AT ITER 2651 NEW BEST:: SOT 76045 SOS 22559 HAS SOPS 22559 HAS SOUS 18293 HAS SOUPS 18293 WITH SCORE 18315.559
AT ITER 2670 NEW BEST:: SOT 76045 SOS 22527 HAS SOPS 22527 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18283.527
AT ITER 2671 NEW BEST:: SOT 76045 SOS 22539 HAS SOPS 22539 HAS SOUS 18214 HAS SOUPS 18214 WITH SCORE 18236.539
AT ITER 2673 NEW BEST:: SOT 75957 SOS 22458 HAS SOPS 22458 HAS SOUS 18133 HAS SOUPS 18133 WITH SCORE 18155.458
AT ITER 2699 NEW BEST:: SOT 75926 SOS 22440 HAS SOPS 22440 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18137.44
AT ITER 2708 NEW BEST:: SOT 75895 SOS 22409 HAS SOPS 22409 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18106.409
AT ITER 2761 NEW BEST:: SOT 75891 SOS 22405 HAS SOPS 22405 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18102.405
AT ITER 2774 NEW BEST:: SOT 75894 SOS 22411 HAS SOPS 22411 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18091.411
AT ITER 2805 NEW BEST:: SOT 75894 SOS 22369 HAS SOPS 22369 HAS SOUS 18027 HAS SOUPS 18027 WITH SCORE 18049.369
AT ITER 2864 NEW BEST:: SOT 75952 SOS 22347 HAS SOPS 22347 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18038.347
AT ITER 2907 NEW BEST:: SOT 75947 SOS 22332 HAS SOPS 22332 HAS SOUS 18006 HAS SOUPS 18006 WITH SCORE 18028.332
AT ITER 2934 NEW BEST:: SOT 75970 SOS 22344 HAS SOPS 22344 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18011.344
AT ITER 2951 NEW BEST:: SOT 75921 SOS 22310 HAS SOPS 22310 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17977.31
AT ITER 2957 NEW BEST:: SOT 75918 SOS 22307 HAS SOPS 22307 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17977.307
AT ITER 2962 NEW BEST:: SOT 75926 SOS 22278 HAS SOPS 22278 HAS SOUS 17921 HAS SOUPS 17921 WITH SCORE 17943.278
AT ITER 2968 NEW BEST:: SOT 75926 SOS 22277 HAS SOPS 22277 HAS SOUS 17920 HAS SOUPS 17920 WITH SCORE 17942.277
AT ITER 2975 NEW BEST:: SOT 75928 SOS 22271 HAS SOPS 22271 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17940.271
AT ITER 2983 NEW BEST:: SOT 75928 SOS 22240 HAS SOPS 22240 HAS SOUS 17887 HAS SOUPS 17887 WITH SCORE 17909.24
AT ITER 2988 NEW BEST:: SOT 75961 SOS 22253 HAS SOPS 22253 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17875.253
AT ITER 2995 NEW BEST:: SOT 75934 SOS 22226 HAS SOPS 22226 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17848.226
AT ITER 3032 NEW BEST:: SOT 75922 SOS 22202 HAS SOPS 22202 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17836.202
AT ITER 3076 NEW BEST:: SOT 75919 SOS 22199 HAS SOPS 22199 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17833.199
AT ITER 3077 NEW BEST:: SOT 75919 SOS 22193 HAS SOPS 22193 HAS SOUS 17805 HAS SOUPS 17805 WITH SCORE 17827.193
AT ITER 3083 NEW BEST:: SOT 75919 SOS 22131 HAS SOPS 22131 HAS SOUS 17681 HAS SOUPS 17681 WITH SCORE 17703.131
AT ITER 3093 NEW BEST:: SOT 75939 SOS 22111 HAS SOPS 22111 HAS SOUS 17637 HAS SOUPS 17637 WITH SCORE 17659.111
AT ITER 3096 NEW BEST:: SOT 75919 SOS 22071 HAS SOPS 22071 HAS SOUS 17597 HAS SOUPS 17597 WITH SCORE 17619.071
AT ITER 3107 NEW BEST:: SOT 75917 SOS 22065 HAS SOPS 22065 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17617.065
AT ITER 3122 NEW BEST:: SOT 75917 SOS 22056 HAS SOPS 22056 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17608.056
AT ITER 3127 NEW BEST:: SOT 75913 SOS 22052 HAS SOPS 22052 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17608.052
AT ITER 3140 NEW BEST:: SOT 75929 SOS 22068 HAS SOPS 22068 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17589.068
AT ITER 3183 NEW BEST:: SOT 75929 SOS 22047 HAS SOPS 22047 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17589.047
AT ITER 3220 NEW BEST:: SOT 75937 SOS 22055 HAS SOPS 22055 HAS SOUS 17561 HAS SOUPS 17561 WITH SCORE 17583.055
AT ITER 3226 NEW BEST:: SOT 75932 SOS 22040 HAS SOPS 22040 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17578.04
AT ITER 3227 NEW BEST:: SOT 75912 SOS 22020 HAS SOPS 22020 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17578.02
AT ITER 3327 NEW BEST:: SOT 75897 SOS 21988 HAS SOPS 21988 HAS SOUS 17526 HAS SOUPS 17526 WITH SCORE 17547.988
AT ITER 3375 NEW BEST:: SOT 75896 SOS 21986 HAS SOPS 21986 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17545.986
AT ITER 3397 NEW BEST:: SOT 75879 SOS 21969 HAS SOPS 21969 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17545.969
AT ITER 3461 NEW BEST:: SOT 75879 SOS 21968 HAS SOPS 21968 HAS SOUS 17523 HAS SOUPS 17523 WITH SCORE 17544.968
AT ITER 3465 NEW BEST:: SOT 75878 SOS 21968 HAS SOPS 21968 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17541.968
AT ITER 3479 NEW BEST:: SOT 75859 SOS 21930 HAS SOPS 21930 HAS SOUS 17482 HAS SOUPS 17482 WITH SCORE 17503.93
AT ITER 3518 NEW BEST:: SOT 75878 SOS 21928 HAS SOPS 21928 HAS SOUS 17481 HAS SOUPS 17481 WITH SCORE 17502.928
AT ITER 3523 NEW BEST:: SOT 75850 SOS 21877 HAS SOPS 21877 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17466.877
AT ITER 3550 NEW BEST:: SOT 75903 SOS 21927 HAS SOPS 21927 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17460.927
AT ITER 3551 NEW BEST:: SOT 75882 SOS 21864 HAS SOPS 21864 HAS SOUS 17418 HAS SOUPS 17418 WITH SCORE 17439.864
AT ITER 3555 NEW BEST:: SOT 75853 SOS 21835 HAS SOPS 21835 HAS SOUS 17389 HAS SOUPS 17389 WITH SCORE 17410.835
AT ITER 3576 NEW BEST:: SOT 75848 SOS 21820 HAS SOPS 21820 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17400.82
AT ITER 3598 NEW BEST:: SOT 75788 SOS 21813 HAS SOPS 21813 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17393.813
AT ITER 3628 NEW BEST:: SOT 75768 SOS 21853 HAS SOPS 21853 HAS SOUS 17337 HAS SOUPS 17337 WITH SCORE 17358.853
AT ITER 3639 NEW BEST:: SOT 75767 SOS 21851 HAS SOPS 21851 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17356.851
AT ITER 3649 NEW BEST:: SOT 75768 SOS 21849 HAS SOPS 21849 HAS SOUS 17333 HAS SOUPS 17333 WITH SCORE 17354.849
AT ITER 3679 NEW BEST:: SOT 75723 SOS 21787 HAS SOPS 21787 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17319.787
AT ITER 3690 NEW BEST:: SOT 75723 SOS 21768 HAS SOPS 21768 HAS SOUS 17279 HAS SOUPS 17279 WITH SCORE 17300.768
AT ITER 3698 NEW BEST:: SOT 75722 SOS 21726 HAS SOPS 21726 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17256.726
AT ITER 3709 NEW BEST:: SOT 75710 SOS 21723 HAS SOPS 21723 HAS SOUS 17232 HAS SOUPS 17232 WITH SCORE 17253.723
AT ITER 3724 NEW BEST:: SOT 75702 SOS 21715 HAS SOPS 21715 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17245.715
AT ITER 3732 NEW BEST:: SOT 75702 SOS 21686 HAS SOPS 21686 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17225.686
AT ITER 3781 NEW BEST:: SOT 75696 SOS 21680 HAS SOPS 21680 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17213.68
AT ITER 3782 NEW BEST:: SOT 75673 SOS 21667 HAS SOPS 21667 HAS SOUS 17179 HAS SOUPS 17179 WITH SCORE 17200.667
AT ITER 3820 NEW BEST:: SOT 75654 SOS 21648 HAS SOPS 21648 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17181.648
AT ITER 3829 NEW BEST:: SOT 75658 SOS 21652 HAS SOPS 21652 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17179.652
AT ITER 3848 NEW BEST:: SOT 75639 SOS 21623 HAS SOPS 21623 HAS SOUS 17129 HAS SOUPS 17129 WITH SCORE 17150.623
AT ITER 3867 NEW BEST:: SOT 75636 SOS 21620 HAS SOPS 21620 HAS SOUS 17126 HAS SOUPS 17126 WITH SCORE 17147.62
AT ITER 3868 NEW BEST:: SOT 75634 SOS 21616 HAS SOPS 21616 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17143.616
AT ITER 3879 NEW BEST:: SOT 75629 SOS 21611 HAS SOPS 21611 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17138.611
AT ITER 3893 NEW BEST:: SOT 75640 SOS 21595 HAS SOPS 21595 HAS SOUS 17101 HAS SOUPS 17101 WITH SCORE 17122.595
AT ITER 3894 NEW BEST:: SOT 75592 SOS 21521 HAS SOPS 21521 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17094.521
AT ITER 3925 NEW BEST:: SOT 75584 SOS 21521 HAS SOPS 21521 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17079.521
AT ITER 3927 NEW BEST:: SOT 75580 SOS 21481 HAS SOPS 21481 HAS SOUS 17050 HAS SOUPS 17050 WITH SCORE 17071.481
AT ITER 3930 NEW BEST:: SOT 75588 SOS 21472 HAS SOPS 21472 HAS SOUS 17041 HAS SOUPS 17041 WITH SCORE 17062.472
AT ITER 4040 NEW BEST:: SOT 75596 SOS 21469 HAS SOPS 21469 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17040.469
AT ITER 4054 NEW BEST:: SOT 75590 SOS 21457 HAS SOPS 21457 HAS SOUS 17007 HAS SOUPS 17007 WITH SCORE 17028.457
AT ITER 4141 NEW BEST:: SOT 75419 SOS 21409 HAS SOPS 21409 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16967.409
AT ITER 4147 NEW BEST:: SOT 75412 SOS 21388 HAS SOPS 21388 HAS SOUS 16925 HAS SOUPS 16925 WITH SCORE 16946.388
AT ITER 4206 NEW BEST:: SOT 75354 SOS 21272 HAS SOPS 21272 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16832.272
AT ITER 4220 NEW BEST:: SOT 75338 SOS 21086 HAS SOPS 21086 HAS SOUS 16778 HAS SOUPS 16778 WITH SCORE 16799.086
AT ITER 4231 NEW BEST:: SOT 75325 SOS 21060 HAS SOPS 21060 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16773.06
AT ITER 4274 NEW BEST:: SOT 75345 SOS 21055 HAS SOPS 21055 HAS SOUS 16747 HAS SOUPS 16747 WITH SCORE 16768.055
AT ITER 4337 NEW BEST:: SOT 75328 SOS 21018 HAS SOPS 21018 HAS SOUS 16710 HAS SOUPS 16710 WITH SCORE 16731.018
AT ITER 4363 NEW BEST:: SOT 75328 SOS 20989 HAS SOPS 20989 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16719.989
AT ITER 4381 NEW BEST:: SOT 75196 SOS 20887 HAS SOPS 20887 HAS SOUS 16591 HAS SOUPS 16591 WITH SCORE 16611.887
AT ITER 4437 NEW BEST:: SOT 75199 SOS 20882 HAS SOPS 20882 HAS SOUS 16586 HAS SOUPS 16586 WITH SCORE 16606.882
AT ITER 4476 NEW BEST:: SOT 75189 SOS 20862 HAS SOPS 20862 HAS SOUS 16566 HAS SOUPS 16566 WITH SCORE 16586.862
AT ITER 4501 NEW BEST:: SOT 75182 SOS 20841 HAS SOPS 20841 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16565.841
AT ITER 4540 NEW BEST:: SOT 75182 SOS 20805 HAS SOPS 20805 HAS SOUS 16527 HAS SOUPS 16527 WITH SCORE 16547.805
AT ITER 4601 NEW BEST:: SOT 75142 SOS 20765 HAS SOPS 20765 HAS SOUS 16487 HAS SOUPS 16487 WITH SCORE 16507.765
AT ITER 4631 NEW BEST:: SOT 75143 SOS 20762 HAS SOPS 20762 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16504.762
AT ITER 4647 NEW BEST:: SOT 75142 SOS 20761 HAS SOPS 20761 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16504.761
AT ITER 4649 NEW BEST:: SOT 75137 SOS 20751 HAS SOPS 20751 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16499.751
AT ITER 4661 NEW BEST:: SOT 75095 SOS 20667 HAS SOPS 20667 HAS SOUS 16415 HAS SOUPS 16415 WITH SCORE 16435.667
AT ITER 4668 NEW BEST:: SOT 75082 SOS 20641 HAS SOPS 20641 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16409.641
AT ITER 4687 NEW BEST:: SOT 75077 SOS 20634 HAS SOPS 20634 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16402.634
AT ITER 4716 NEW BEST:: SOT 75076 SOS 20620 HAS SOPS 20620 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16401.62
AT ITER 4733 NEW BEST:: SOT 75073 SOS 20617 HAS SOPS 20617 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16398.617
AT ITER 4735 NEW BEST:: SOT 75047 SOS 20581 HAS SOPS 20581 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16362.581
AT ITER 4797 NEW BEST:: SOT 75009 SOS 20629 HAS SOPS 20629 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16348.629
AT ITER 4829 NEW BEST:: SOT 75000 SOS 20620 HAS SOPS 20620 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16339.62
AT ITER 4845 NEW BEST:: SOT 75000 SOS 20620 HAS SOPS 20620 HAS SOUS 16318 HAS SOUPS 16318 WITH SCORE 16338.62
AT ITER 4856 NEW BEST:: SOT 74995 SOS 20610 HAS SOPS 20610 HAS SOUS 16308 HAS SOUPS 16308 WITH SCORE 16328.61
AT ITER 4864 NEW BEST:: SOT 74981 SOS 20596 HAS SOPS 20596 HAS SOUS 16280 HAS SOUPS 16280 WITH SCORE 16300.596
AT ITER 4887 NEW BEST:: SOT 75028 SOS 20638 HAS SOPS 20638 HAS SOUS 16279 HAS SOUPS 16279 WITH SCORE 16299.638
AT ITER 4937 NEW BEST:: SOT 74994 SOS 20604 HAS SOPS 20604 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16265.604
AT ITER 4966 NEW BEST:: SOT 74966 SOS 20604 HAS SOPS 20604 HAS SOUS 16229 HAS SOUPS 16229 WITH SCORE 16249.604
AT ITER 4971 NEW BEST:: SOT 74992 SOS 20585 HAS SOPS 20585 HAS SOUS 16203 HAS SOUPS 16203 WITH SCORE 16223.585
AT ITER 4977 NEW BEST:: SOT 74992 SOS 20582 HAS SOPS 20582 HAS SOUS 16200 HAS SOUPS 16200 WITH SCORE 16220.582
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-07-CTLFireability-00 (EF( ((potential((tk(P145)>=1))))))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-01 ( (AG( (AX( (! ((potential((tk(P329)>=1))))))))) | (EF( ( (AG( ((potential((tk(P245)>=1)))))) & ( ( ((potential((tk(P248)>=1) & (tk(P114)>=1) & (tk(P372)>=1)))) & ((potential((tk(P90)>=1) & (tk(P324)>=1)))) ) | ( ((potential((tk(P267)>=1)))) & ((potential((tk(P262)>=1) & (tk(P150)>=1) & (tk(P352)>=1)))) ) ) ))) )
PROPERTY: BusinessProcesses-PT-07-CTLFireability-02 (EU( (! (AF( ((potential((tk(P3)>=1))))))) , (EX( ( ((potential((tk(P346)>=1)))) | ((potential((tk(P145)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-03 (AU( (! ( ( ((potential((tk(P253)>=1) & (tk(P117)>=1) & (tk(P366)>=1)))) | ((potential((tk(P383)>=1)))) ) | ( ((potential((tk(P253)>=1) & (tk(P111)>=1) & (tk(P378)>=1)))) & ((potential((tk(P15)>=1)))) ) )) , ((potential((tk(P352)>=1)))) ))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-04 (EF( ( ( ( ( ((potential((tk(P253)>=1) & (tk(P99)>=1) & (tk(P366)>=1)))) & ((potential((tk(P383)>=1)))) ) & ( ((potential((tk(P263)>=1) & (tk(P163)>=1) & (tk(P352)>=1)))) & ((potential((tk(P62)>=1)))) ) ) | ( (! ((potential((tk(P197)>=1) & (tk(P24)>=1) & (tk(P352)>=1))))) | ((potential((tk(P253)>=1) & (tk(P99)>=1) & (tk(P378)>=1)))) ) ) & ((potential((tk(P380)>=1)))) )))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-05 (AG( (! (AX( ( ((potential((tk(P339)>=1)))) & ((potential((tk(P259)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-06 (EF( (EG( ( ( ((potential((tk(P379)>=1) & (tk(P376)>=1)))) & ((potential((tk(P235)>=1)))) ) & ((potential((tk(P253)>=1) & (tk(P89)>=1) & (tk(P384)>=1)))) )))))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-07 (EF( (AG( ((potential((tk(P248)>=1) & (tk(P105)>=1) & (tk(P372)>=1))))))))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-08 (! (EF( ((potential((tk(P220)>=1)))))))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-09 (! ( (EF( (AG( ((potential((tk(P191)>=1)))))))) | (AX( (AF( ((potential((tk(P124)>=1)))))))) ))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-10 (EF( (EU( ( ((potential((tk(P253)>=1) & (tk(P99)>=1) & (tk(P384)>=1)))) & ((potential((tk(P253)>=1) & (tk(P117)>=1) & (tk(P323)>=1)))) ) , ((potential((tk(P175)>=1)))) ))))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-11 (AG( (! (EX( ((potential((tk(P232)>=1) & (tk(P126)>=1) & (tk(P352)>=1)))))))))
PROPERTY: BusinessProcesses-PT-07-CTLFireability-12 ( ( (EF( (! ((potential((tk(P273)>=1))))))) & (EU( (! ((potential((tk(P184)>=1))))) , ( ((potential((tk(P90)>=1) & (tk(P324)>=1)))) | ((potential((tk(P15)>=1)))) ) )) ) | ( ((potential((tk(P90)>=1) & (tk(P324)>=1)))) | (AU( (! ((potential((tk(P205)>=1))))) , ((potential((tk(P51)>=1)))) )) ) )
PROPERTY: BusinessProcesses-PT-07-CTLFireability-13 ( (AU( (AG( ((potential((tk(P371)>=1)))))) , ( (! ((potential((tk(P234)>=1))))) & ((potential((tk(P149)>=1)))) ) )) | (EU( (! ((potential((tk(P248)>=1) & (tk(P86)>=1) & (tk(P320)>=1))))) , ( ((potential((tk(P368)>=1)))) | ((potential((tk(P253)>=1) & (tk(P117)>=1) & (tk(P378)>=1)))) ) )) )
PROPERTY: BusinessProcesses-PT-07-CTLFireability-14 ( ( (AG( (! ( ((potential((tk(P206)>=1)))) & ((potential((tk(P333)>=1)))) )))) | (! (EG( (! ((potential((tk(P74)>=1)))))))) ) & (! ((potential((tk(P164)>=1))))) )
PROPERTY: BusinessProcesses-PT-07-CTLFireability-15 (AG( ( ( (! ( ((potential((tk(P233)>=1) & (tk(P102)>=1) & (tk(P317)>=1)))) | ((potential((tk(P142)>=1)))) )) | (AG( ((potential((tk(P247)>=1) & (tk(P138)>=1) & (tk(P352)>=1)))))) ) | ( ((potential((tk(P198)>=1) & (tk(P33)>=1) & (tk(P269)>=1)))) & ( ( ((potential((tk(P309)>=1)))) & ((potential((tk(P207)>=1) & (tk(P37)>=1) & (tk(P352)>=1)))) ) & (! ((potential((tk(P58)>=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-07"
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-07, 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-158897680100500"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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