About the Execution of smart for BusinessProcesses-PT-03
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.210 | 3600000.00 | 3596020.00 | 0.00 | F??????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r018-oct2-158897680000468.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-03, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000468
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 236K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 63K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-03-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589017300052
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 03
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: 274 places, 237 transitions, 632 arcs.
AT ITER 0 NEW BEST:: SOT 42126 SOS 18114 HAS SOPS 18114 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17271.114
AT ITER 1 NEW BEST:: SOT 42110 SOS 18098 HAS SOPS 18098 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17271.098
AT ITER 3 NEW BEST:: SOT 42022 SOS 18044 HAS SOPS 18044 HAS SOUS 17199 HAS SOUPS 17199 WITH SCORE 17217.044
AT ITER 19 NEW BEST:: SOT 42022 SOS 17979 HAS SOPS 17979 HAS SOUS 17170 HAS SOUPS 17170 WITH SCORE 17187.979
AT ITER 32 NEW BEST:: SOT 42022 SOS 17979 HAS SOPS 17979 HAS SOUS 17169 HAS SOUPS 17169 WITH SCORE 17186.979
AT ITER 40 NEW BEST:: SOT 41961 SOS 17887 HAS SOPS 17887 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17120.887
AT ITER 44 NEW BEST:: SOT 41944 SOS 17653 HAS SOPS 17653 HAS SOUS 17067 HAS SOUPS 17067 WITH SCORE 17084.653
AT ITER 48 NEW BEST:: SOT 41921 SOS 17557 HAS SOPS 17557 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 16988.557
AT ITER 53 NEW BEST:: SOT 41938 SOS 17489 HAS SOPS 17489 HAS SOUS 16903 HAS SOUPS 16903 WITH SCORE 16920.489
AT ITER 57 NEW BEST:: SOT 41880 SOS 17431 HAS SOPS 17431 HAS SOUS 16845 HAS SOUPS 16845 WITH SCORE 16862.431
AT ITER 58 NEW BEST:: SOT 40646 SOS 16276 HAS SOPS 16276 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15676.276
AT ITER 62 NEW BEST:: SOT 40573 SOS 16173 HAS SOPS 16173 HAS SOUS 15557 HAS SOUPS 15557 WITH SCORE 15573.173
AT ITER 65 NEW BEST:: SOT 40511 SOS 16143 HAS SOPS 16143 HAS SOUS 15523 HAS SOUPS 15523 WITH SCORE 15539.143
AT ITER 67 NEW BEST:: SOT 40511 SOS 16131 HAS SOPS 16131 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15527.131
AT ITER 69 NEW BEST:: SOT 40530 SOS 16129 HAS SOPS 16129 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15524.129
AT ITER 72 NEW BEST:: SOT 40482 SOS 15985 HAS SOPS 15985 HAS SOUS 15460 HAS SOUPS 15460 WITH SCORE 15475.985
AT ITER 85 NEW BEST:: SOT 40593 SOS 16020 HAS SOPS 16020 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15465.02
AT ITER 88 NEW BEST:: SOT 40577 SOS 15893 HAS SOPS 15893 HAS SOUS 15322 HAS SOUPS 15322 WITH SCORE 15337.893
AT ITER 91 NEW BEST:: SOT 40571 SOS 15887 HAS SOPS 15887 HAS SOUS 15316 HAS SOUPS 15316 WITH SCORE 15331.887
AT ITER 94 NEW BEST:: SOT 40592 SOS 15836 HAS SOPS 15836 HAS SOUS 15265 HAS SOUPS 15265 WITH SCORE 15280.836
AT ITER 105 NEW BEST:: SOT 40593 SOS 15674 HAS SOPS 15674 HAS SOUS 15256 HAS SOUPS 15256 WITH SCORE 15271.674
AT ITER 108 NEW BEST:: SOT 40593 SOS 15661 HAS SOPS 15661 HAS SOUS 15243 HAS SOUPS 15243 WITH SCORE 15258.661
AT ITER 118 NEW BEST:: SOT 40592 SOS 15597 HAS SOPS 15597 HAS SOUS 15179 HAS SOUPS 15179 WITH SCORE 15194.597
AT ITER 119 NEW BEST:: SOT 40538 SOS 15520 HAS SOPS 15520 HAS SOUS 15102 HAS SOUPS 15102 WITH SCORE 15117.52
AT ITER 130 NEW BEST:: SOT 40415 SOS 15449 HAS SOPS 15449 HAS SOUS 15031 HAS SOUPS 15031 WITH SCORE 15046.449
AT ITER 145 NEW BEST:: SOT 40373 SOS 15394 HAS SOPS 15394 HAS SOUS 14976 HAS SOUPS 14976 WITH SCORE 14991.394
AT ITER 148 NEW BEST:: SOT 40428 SOS 15427 HAS SOPS 15427 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14990.427
AT ITER 163 NEW BEST:: SOT 40350 SOS 15275 HAS SOPS 15275 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14838.275
AT ITER 164 NEW BEST:: SOT 40278 SOS 15168 HAS SOPS 15168 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14766.168
AT ITER 181 NEW BEST:: SOT 40277 SOS 15167 HAS SOPS 15167 HAS SOUS 14750 HAS SOUPS 14750 WITH SCORE 14765.167
AT ITER 190 NEW BEST:: SOT 40307 SOS 15175 HAS SOPS 15175 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14743.175
AT ITER 192 NEW BEST:: SOT 40258 SOS 14996 HAS SOPS 14996 HAS SOUS 14549 HAS SOUPS 14549 WITH SCORE 14563.996
AT ITER 194 NEW BEST:: SOT 40237 SOS 14975 HAS SOPS 14975 HAS SOUS 14528 HAS SOUPS 14528 WITH SCORE 14542.975
AT ITER 195 NEW BEST:: SOT 40236 SOS 14974 HAS SOPS 14974 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14541.974
AT ITER 199 NEW BEST:: SOT 40237 SOS 14903 HAS SOPS 14903 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14470.903
AT ITER 209 NEW BEST:: SOT 40193 SOS 14859 HAS SOPS 14859 HAS SOUS 14412 HAS SOUPS 14412 WITH SCORE 14426.859
AT ITER 214 NEW BEST:: SOT 40175 SOS 14853 HAS SOPS 14853 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14423.853
AT ITER 216 NEW BEST:: SOT 40094 SOS 14726 HAS SOPS 14726 HAS SOUS 14282 HAS SOUPS 14282 WITH SCORE 14296.726
AT ITER 228 NEW BEST:: SOT 40093 SOS 14725 HAS SOPS 14725 HAS SOUS 14281 HAS SOUPS 14281 WITH SCORE 14295.725
AT ITER 232 NEW BEST:: SOT 40077 SOS 14693 HAS SOPS 14693 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14263.693
AT ITER 237 NEW BEST:: SOT 40023 SOS 14632 HAS SOPS 14632 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14214.632
AT ITER 252 NEW BEST:: SOT 39931 SOS 14380 HAS SOPS 14380 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14059.38
AT ITER 253 NEW BEST:: SOT 39930 SOS 14378 HAS SOPS 14378 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14057.378
AT ITER 273 NEW BEST:: SOT 39957 SOS 14365 HAS SOPS 14365 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14004.365
AT ITER 274 NEW BEST:: SOT 39955 SOS 14362 HAS SOPS 14362 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14001.362
AT ITER 288 NEW BEST:: SOT 39953 SOS 14360 HAS SOPS 14360 HAS SOUS 13985 HAS SOUPS 13985 WITH SCORE 13999.36
AT ITER 292 NEW BEST:: SOT 39896 SOS 14254 HAS SOPS 14254 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13890.254
AT ITER 305 NEW BEST:: SOT 39874 SOS 14188 HAS SOPS 14188 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13835.188
AT ITER 309 NEW BEST:: SOT 39843 SOS 14114 HAS SOPS 14114 HAS SOUS 13747 HAS SOUPS 13747 WITH SCORE 13761.114
AT ITER 313 NEW BEST:: SOT 39845 SOS 14084 HAS SOPS 14084 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13731.084
AT ITER 314 NEW BEST:: SOT 39844 SOS 14083 HAS SOPS 14083 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13731.083
AT ITER 316 NEW BEST:: SOT 39772 SOS 13939 HAS SOPS 13939 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13586.939
AT ITER 318 NEW BEST:: SOT 39767 SOS 13929 HAS SOPS 13929 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13576.929
AT ITER 319 NEW BEST:: SOT 39767 SOS 13902 HAS SOPS 13902 HAS SOUS 13561 HAS SOUPS 13561 WITH SCORE 13574.902
AT ITER 323 NEW BEST:: SOT 39766 SOS 13900 HAS SOPS 13900 HAS SOUS 13559 HAS SOUPS 13559 WITH SCORE 13572.9
AT ITER 324 NEW BEST:: SOT 39765 SOS 13898 HAS SOPS 13898 HAS SOUS 13557 HAS SOUPS 13557 WITH SCORE 13570.898
AT ITER 327 NEW BEST:: SOT 39726 SOS 13945 HAS SOPS 13945 HAS SOUS 13550 HAS SOUPS 13550 WITH SCORE 13563.945
AT ITER 329 NEW BEST:: SOT 39715 SOS 13934 HAS SOPS 13934 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13552.934
AT ITER 332 NEW BEST:: SOT 39667 SOS 13865 HAS SOPS 13865 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13483.865
AT ITER 337 NEW BEST:: SOT 39695 SOS 13817 HAS SOPS 13817 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13435.817
AT ITER 340 NEW BEST:: SOT 39695 SOS 13799 HAS SOPS 13799 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13394.799
AT ITER 362 NEW BEST:: SOT 39684 SOS 13788 HAS SOPS 13788 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13383.788
AT ITER 364 NEW BEST:: SOT 39652 SOS 13668 HAS SOPS 13668 HAS SOUS 13193 HAS SOUPS 13193 WITH SCORE 13206.668
AT ITER 371 NEW BEST:: SOT 39618 SOS 13598 HAS SOPS 13598 HAS SOUS 13123 HAS SOUPS 13123 WITH SCORE 13136.598
AT ITER 384 NEW BEST:: SOT 39613 SOS 13592 HAS SOPS 13592 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13130.592
AT ITER 392 NEW BEST:: SOT 39592 SOS 13589 HAS SOPS 13589 HAS SOUS 13114 HAS SOUPS 13114 WITH SCORE 13127.589
AT ITER 394 NEW BEST:: SOT 39592 SOS 13589 HAS SOPS 13589 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13112.589
AT ITER 395 NEW BEST:: SOT 39572 SOS 13444 HAS SOPS 13444 HAS SOUS 13065 HAS SOUPS 13065 WITH SCORE 13078.444
AT ITER 399 NEW BEST:: SOT 39572 SOS 13437 HAS SOPS 13437 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13071.437
AT ITER 401 NEW BEST:: SOT 39526 SOS 13416 HAS SOPS 13416 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13050.416
AT ITER 403 NEW BEST:: SOT 39509 SOS 13395 HAS SOPS 13395 HAS SOUS 13016 HAS SOUPS 13016 WITH SCORE 13029.395
AT ITER 406 NEW BEST:: SOT 39441 SOS 13355 HAS SOPS 13355 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 12982.355
AT ITER 411 NEW BEST:: SOT 39437 SOS 13347 HAS SOPS 13347 HAS SOUS 12961 HAS SOUPS 12961 WITH SCORE 12974.347
AT ITER 412 NEW BEST:: SOT 39416 SOS 13305 HAS SOPS 13305 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12932.305
AT ITER 414 NEW BEST:: SOT 38983 SOS 14569 HAS SOPS 14569 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12608.569
AT ITER 426 NEW BEST:: SOT 39031 SOS 14597 HAS SOPS 14597 HAS SOUS 12574 HAS SOUPS 12574 WITH SCORE 12588.597
AT ITER 430 NEW BEST:: SOT 39061 SOS 14644 HAS SOPS 14644 HAS SOUS 12572 HAS SOUPS 12572 WITH SCORE 12586.644
AT ITER 434 NEW BEST:: SOT 39055 SOS 14638 HAS SOPS 14638 HAS SOUS 12572 HAS SOUPS 12572 WITH SCORE 12586.638
AT ITER 437 NEW BEST:: SOT 39054 SOS 14593 HAS SOPS 14593 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12541.593
AT ITER 441 NEW BEST:: SOT 39023 SOS 14554 HAS SOPS 14554 HAS SOUS 12517 HAS SOUPS 12517 WITH SCORE 12531.554
AT ITER 443 NEW BEST:: SOT 39042 SOS 14573 HAS SOPS 14573 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12516.573
AT ITER 456 NEW BEST:: SOT 39041 SOS 14571 HAS SOPS 14571 HAS SOUS 12500 HAS SOUPS 12500 WITH SCORE 12514.571
AT ITER 481 NEW BEST:: SOT 39024 SOS 14531 HAS SOPS 14531 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12474.531
AT ITER 488 NEW BEST:: SOT 39022 SOS 14529 HAS SOPS 14529 HAS SOUS 12458 HAS SOUPS 12458 WITH SCORE 12472.529
AT ITER 511 NEW BEST:: SOT 39102 SOS 14479 HAS SOPS 14479 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12346.479
AT ITER 514 NEW BEST:: SOT 39089 SOS 14466 HAS SOPS 14466 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12346.466
AT ITER 517 NEW BEST:: SOT 39085 SOS 14462 HAS SOPS 14462 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12342.462
AT ITER 519 NEW BEST:: SOT 39071 SOS 14464 HAS SOPS 14464 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12328.464
AT ITER 523 NEW BEST:: SOT 39081 SOS 14447 HAS SOPS 14447 HAS SOUS 12297 HAS SOUPS 12297 WITH SCORE 12311.447
AT ITER 534 NEW BEST:: SOT 39141 SOS 14400 HAS SOPS 14400 HAS SOUS 12234 HAS SOUPS 12234 WITH SCORE 12248.4
AT ITER 546 NEW BEST:: SOT 39110 SOS 14369 HAS SOPS 14369 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12204.369
AT ITER 547 NEW BEST:: SOT 39024 SOS 14283 HAS SOPS 14283 HAS SOUS 12163 HAS SOUPS 12163 WITH SCORE 12177.283
AT ITER 569 NEW BEST:: SOT 39022 SOS 14212 HAS SOPS 14212 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12166.212
AT ITER 571 NEW BEST:: SOT 39004 SOS 14191 HAS SOPS 14191 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12145.191
AT ITER 580 NEW BEST:: SOT 38963 SOS 14150 HAS SOPS 14150 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12145.15
AT ITER 588 NEW BEST:: SOT 38967 SOS 14166 HAS SOPS 14166 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12110.166
AT ITER 591 NEW BEST:: SOT 38945 SOS 14144 HAS SOPS 14144 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12088.144
AT ITER 604 NEW BEST:: SOT 38944 SOS 14134 HAS SOPS 14134 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12078.134
AT ITER 632 NEW BEST:: SOT 38892 SOS 14082 HAS SOPS 14082 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12052.082
AT ITER 634 NEW BEST:: SOT 38891 SOS 14072 HAS SOPS 14072 HAS SOUS 12037 HAS SOUPS 12037 WITH SCORE 12051.072
AT ITER 637 NEW BEST:: SOT 38904 SOS 14069 HAS SOPS 14069 HAS SOUS 12034 HAS SOUPS 12034 WITH SCORE 12048.069
AT ITER 649 NEW BEST:: SOT 38952 SOS 14014 HAS SOPS 14014 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12012.014
AT ITER 650 NEW BEST:: SOT 38948 SOS 14010 HAS SOPS 14010 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12008.01
AT ITER 662 NEW BEST:: SOT 38929 SOS 13972 HAS SOPS 13972 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11969.972
AT ITER 670 NEW BEST:: SOT 38925 SOS 13968 HAS SOPS 13968 HAS SOUS 11952 HAS SOUPS 11952 WITH SCORE 11965.968
AT ITER 683 NEW BEST:: SOT 38887 SOS 13892 HAS SOPS 13892 HAS SOUS 11896 HAS SOUPS 11896 WITH SCORE 11909.892
AT ITER 685 NEW BEST:: SOT 38875 SOS 13868 HAS SOPS 13868 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11897.868
AT ITER 686 NEW BEST:: SOT 38855 SOS 13806 HAS SOPS 13806 HAS SOUS 11852 HAS SOUPS 11852 WITH SCORE 11865.806
AT ITER 687 NEW BEST:: SOT 38811 SOS 13762 HAS SOPS 13762 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11821.762
AT ITER 692 NEW BEST:: SOT 38797 SOS 13748 HAS SOPS 13748 HAS SOUS 11808 HAS SOUPS 11808 WITH SCORE 11821.748
AT ITER 714 NEW BEST:: SOT 38786 SOS 13732 HAS SOPS 13732 HAS SOUS 11792 HAS SOUPS 11792 WITH SCORE 11805.732
AT ITER 721 NEW BEST:: SOT 38779 SOS 13731 HAS SOPS 13731 HAS SOUS 11791 HAS SOUPS 11791 WITH SCORE 11804.731
AT ITER 723 NEW BEST:: SOT 38743 SOS 13694 HAS SOPS 13694 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11802.694
AT ITER 726 NEW BEST:: SOT 38742 SOS 13692 HAS SOPS 13692 HAS SOUS 11787 HAS SOUPS 11787 WITH SCORE 11800.692
AT ITER 734 NEW BEST:: SOT 38718 SOS 13615 HAS SOPS 13615 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11723.615
AT ITER 755 NEW BEST:: SOT 38716 SOS 13611 HAS SOPS 13611 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11719.611
AT ITER 760 NEW BEST:: SOT 38725 SOS 13565 HAS SOPS 13565 HAS SOUS 11657 HAS SOUPS 11657 WITH SCORE 11670.565
AT ITER 761 NEW BEST:: SOT 38695 SOS 13505 HAS SOPS 13505 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11633.505
AT ITER 770 NEW BEST:: SOT 38664 SOS 13454 HAS SOPS 13454 HAS SOUS 11569 HAS SOUPS 11569 WITH SCORE 11582.454
AT ITER 801 NEW BEST:: SOT 38664 SOS 13415 HAS SOPS 13415 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11504.415
AT ITER 805 NEW BEST:: SOT 38647 SOS 13377 HAS SOPS 13377 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11466.377
AT ITER 807 NEW BEST:: SOT 38629 SOS 13341 HAS SOPS 13341 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11448.341
AT ITER 808 NEW BEST:: SOT 38581 SOS 13293 HAS SOPS 13293 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11381.293
AT ITER 828 NEW BEST:: SOT 38576 SOS 13283 HAS SOPS 13283 HAS SOUS 11358 HAS SOUPS 11358 WITH SCORE 11371.283
AT ITER 854 NEW BEST:: SOT 38583 SOS 13269 HAS SOPS 13269 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11357.269
AT ITER 872 NEW BEST:: SOT 38587 SOS 13218 HAS SOPS 13218 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11306.218
AT ITER 891 NEW BEST:: SOT 38587 SOS 13218 HAS SOPS 13218 HAS SOUS 11259 HAS SOUPS 11259 WITH SCORE 11272.218
AT ITER 892 NEW BEST:: SOT 38584 SOS 13212 HAS SOPS 13212 HAS SOUS 11253 HAS SOUPS 11253 WITH SCORE 11266.212
AT ITER 893 NEW BEST:: SOT 38577 SOS 13182 HAS SOPS 13182 HAS SOUS 11223 HAS SOUPS 11223 WITH SCORE 11236.182
AT ITER 902 NEW BEST:: SOT 38594 SOS 13173 HAS SOPS 13173 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11227.173
AT ITER 903 NEW BEST:: SOT 38594 SOS 13167 HAS SOPS 13167 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11213.167
AT ITER 920 NEW BEST:: SOT 38593 SOS 13165 HAS SOPS 13165 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11212.165
AT ITER 949 NEW BEST:: SOT 38586 SOS 13131 HAS SOPS 13131 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11178.131
AT ITER 950 NEW BEST:: SOT 38584 SOS 13130 HAS SOPS 13130 HAS SOUS 11164 HAS SOUPS 11164 WITH SCORE 11177.13
AT ITER 957 NEW BEST:: SOT 38576 SOS 13118 HAS SOPS 13118 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11169.118
AT ITER 958 NEW BEST:: SOT 38577 SOS 13114 HAS SOPS 13114 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11165.114
AT ITER 970 NEW BEST:: SOT 38573 SOS 13113 HAS SOPS 13113 HAS SOUS 11151 HAS SOUPS 11151 WITH SCORE 11164.113
AT ITER 979 NEW BEST:: SOT 38500 SOS 12870 HAS SOPS 12870 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11021.87
AT ITER 992 NEW BEST:: SOT 38510 SOS 12865 HAS SOPS 12865 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11016.865
AT ITER 994 NEW BEST:: SOT 38510 SOS 12865 HAS SOPS 12865 HAS SOUS 10990 HAS SOUPS 10990 WITH SCORE 11002.865
AT ITER 1000 NEW BEST:: SOT 38480 SOS 12805 HAS SOPS 12805 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10938.805
AT ITER 1002 NEW BEST:: SOT 38488 SOS 12795 HAS SOPS 12795 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10928.795
AT ITER 1006 NEW BEST:: SOT 38484 SOS 12791 HAS SOPS 12791 HAS SOUS 10912 HAS SOUPS 10912 WITH SCORE 10924.791
AT ITER 1010 NEW BEST:: SOT 38471 SOS 12782 HAS SOPS 12782 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10915.782
AT ITER 1015 NEW BEST:: SOT 38467 SOS 12778 HAS SOPS 12778 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10911.778
AT ITER 1020 NEW BEST:: SOT 38465 SOS 12774 HAS SOPS 12774 HAS SOUS 10895 HAS SOUPS 10895 WITH SCORE 10907.774
AT ITER 1023 NEW BEST:: SOT 38373 SOS 12663 HAS SOPS 12663 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10832.663
AT ITER 1042 NEW BEST:: SOT 38365 SOS 12647 HAS SOPS 12647 HAS SOUS 10804 HAS SOUPS 10804 WITH SCORE 10816.647
AT ITER 1048 NEW BEST:: SOT 38348 SOS 12644 HAS SOPS 12644 HAS SOUS 10801 HAS SOUPS 10801 WITH SCORE 10813.644
AT ITER 1059 NEW BEST:: SOT 38343 SOS 12629 HAS SOPS 12629 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10798.629
AT ITER 1069 NEW BEST:: SOT 38343 SOS 12620 HAS SOPS 12620 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10789.62
AT ITER 1096 NEW BEST:: SOT 38343 SOS 12617 HAS SOPS 12617 HAS SOUS 10774 HAS SOUPS 10774 WITH SCORE 10786.617
AT ITER 1107 NEW BEST:: SOT 38242 SOS 12530 HAS SOPS 12530 HAS SOUS 10767 HAS SOUPS 10767 WITH SCORE 10779.53
AT ITER 1110 NEW BEST:: SOT 38219 SOS 12528 HAS SOPS 12528 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10778.528
AT ITER 1111 NEW BEST:: SOT 38218 SOS 12527 HAS SOPS 12527 HAS SOUS 10765 HAS SOUPS 10765 WITH SCORE 10777.527
AT ITER 1115 NEW BEST:: SOT 38214 SOS 12515 HAS SOPS 12515 HAS SOUS 10757 HAS SOUPS 10757 WITH SCORE 10769.515
AT ITER 1128 NEW BEST:: SOT 38205 SOS 12513 HAS SOPS 12513 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10767.513
AT ITER 1131 NEW BEST:: SOT 38205 SOS 12513 HAS SOPS 12513 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10761.513
AT ITER 1145 NEW BEST:: SOT 38196 SOS 12495 HAS SOPS 12495 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10743.495
AT ITER 1150 NEW BEST:: SOT 38222 SOS 12469 HAS SOPS 12469 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10743.469
AT ITER 1163 NEW BEST:: SOT 38220 SOS 12467 HAS SOPS 12467 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10741.467
AT ITER 1173 NEW BEST:: SOT 38219 SOS 12465 HAS SOPS 12465 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10739.465
AT ITER 1179 NEW BEST:: SOT 38221 SOS 12467 HAS SOPS 12467 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10736.467
AT ITER 1181 NEW BEST:: SOT 38221 SOS 12465 HAS SOPS 12465 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10735.465
AT ITER 1195 NEW BEST:: SOT 38169 SOS 12479 HAS SOPS 12479 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10683.479
AT ITER 1196 NEW BEST:: SOT 38123 SOS 12446 HAS SOPS 12446 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10650.446
AT ITER 1247 NEW BEST:: SOT 38039 SOS 12404 HAS SOPS 12404 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10603.404
AT ITER 1254 NEW BEST:: SOT 38007 SOS 12340 HAS SOPS 12340 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10482.34
AT ITER 1255 NEW BEST:: SOT 37999 SOS 12332 HAS SOPS 12332 HAS SOUS 10462 HAS SOUPS 10462 WITH SCORE 10474.332
AT ITER 1260 NEW BEST:: SOT 37990 SOS 12314 HAS SOPS 12314 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10456.314
AT ITER 1277 NEW BEST:: SOT 37990 SOS 12310 HAS SOPS 12310 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10452.31
AT ITER 1278 NEW BEST:: SOT 37965 SOS 12285 HAS SOPS 12285 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10452.285
AT ITER 1282 NEW BEST:: SOT 37964 SOS 12281 HAS SOPS 12281 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10449.281
AT ITER 1287 NEW BEST:: SOT 37982 SOS 12252 HAS SOPS 12252 HAS SOUS 10408 HAS SOUPS 10408 WITH SCORE 10420.252
AT ITER 1321 NEW BEST:: SOT 37945 SOS 12178 HAS SOPS 12178 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10346.178
AT ITER 1325 NEW BEST:: SOT 37945 SOS 12164 HAS SOPS 12164 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10332.164
AT ITER 1336 NEW BEST:: SOT 37943 SOS 12162 HAS SOPS 12162 HAS SOUS 10318 HAS SOUPS 10318 WITH SCORE 10330.162
AT ITER 1352 NEW BEST:: SOT 37901 SOS 12111 HAS SOPS 12111 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10288.111
AT ITER 1361 NEW BEST:: SOT 37901 SOS 12109 HAS SOPS 12109 HAS SOUS 10257 HAS SOUPS 10257 WITH SCORE 10269.109
AT ITER 1364 NEW BEST:: SOT 37901 SOS 12097 HAS SOPS 12097 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10257.097
AT ITER 1369 NEW BEST:: SOT 37900 SOS 12096 HAS SOPS 12096 HAS SOUS 10244 HAS SOUPS 10244 WITH SCORE 10256.096
AT ITER 1381 NEW BEST:: SOT 37894 SOS 12090 HAS SOPS 12090 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10250.09
AT ITER 1393 NEW BEST:: SOT 37894 SOS 12084 HAS SOPS 12084 HAS SOUS 10232 HAS SOUPS 10232 WITH SCORE 10244.084
AT ITER 1399 NEW BEST:: SOT 37868 SOS 12032 HAS SOPS 12032 HAS SOUS 10204 HAS SOUPS 10204 WITH SCORE 10216.032
AT ITER 1417 NEW BEST:: SOT 37843 SOS 12008 HAS SOPS 12008 HAS SOUS 10180 HAS SOUPS 10180 WITH SCORE 10192.008
AT ITER 1430 NEW BEST:: SOT 37843 SOS 12003 HAS SOPS 12003 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10182.003
AT ITER 1466 NEW BEST:: SOT 37842 SOS 12001 HAS SOPS 12001 HAS SOUS 10168 HAS SOUPS 10168 WITH SCORE 10180.001
AT ITER 1484 NEW BEST:: SOT 37831 SOS 11941 HAS SOPS 11941 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10119.941
AT ITER 1489 NEW BEST:: SOT 37820 SOS 11890 HAS SOPS 11890 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10079.89
AT ITER 1513 NEW BEST:: SOT 37816 SOS 11882 HAS SOPS 11882 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10071.882
AT ITER 1518 NEW BEST:: SOT 37816 SOS 11881 HAS SOPS 11881 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10070.881
AT ITER 1527 NEW BEST:: SOT 37809 SOS 11874 HAS SOPS 11874 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10063.874
AT ITER 1540 NEW BEST:: SOT 37820 SOS 11881 HAS SOPS 11881 HAS SOUS 10044 HAS SOUPS 10044 WITH SCORE 10055.881
AT ITER 1542 NEW BEST:: SOT 37812 SOS 11873 HAS SOPS 11873 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10047.873
AT ITER 1548 NEW BEST:: SOT 37805 SOS 11858 HAS SOPS 11858 HAS SOUS 10021 HAS SOUPS 10021 WITH SCORE 10032.858
AT ITER 1559 NEW BEST:: SOT 37753 SOS 11798 HAS SOPS 11798 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9948.798
AT ITER 1581 NEW BEST:: SOT 37759 SOS 11810 HAS SOPS 11810 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9944.81
AT ITER 1608 NEW BEST:: SOT 37759 SOS 11797 HAS SOPS 11797 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9944.797
AT ITER 1619 NEW BEST:: SOT 37759 SOS 11797 HAS SOPS 11797 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9931.797
AT ITER 1651 NEW BEST:: SOT 37764 SOS 11770 HAS SOPS 11770 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9904.77
AT ITER 1662 NEW BEST:: SOT 37758 SOS 11764 HAS SOPS 11764 HAS SOUS 9887 HAS SOUPS 9887 WITH SCORE 9898.764
AT ITER 1721 NEW BEST:: SOT 37748 SOS 11754 HAS SOPS 11754 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9888.754
AT ITER 1731 NEW BEST:: SOT 37749 SOS 11748 HAS SOPS 11748 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9882.748
AT ITER 1733 NEW BEST:: SOT 37730 SOS 11673 HAS SOPS 11673 HAS SOUS 9860 HAS SOUPS 9860 WITH SCORE 9871.673
AT ITER 1740 NEW BEST:: SOT 37670 SOS 11619 HAS SOPS 11619 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9867.619
AT ITER 1745 NEW BEST:: SOT 37666 SOS 11611 HAS SOPS 11611 HAS SOUS 9848 HAS SOUPS 9848 WITH SCORE 9859.611
AT ITER 1761 NEW BEST:: SOT 37676 SOS 11609 HAS SOPS 11609 HAS SOUS 9846 HAS SOUPS 9846 WITH SCORE 9857.609
AT ITER 1765 NEW BEST:: SOT 37669 SOS 11595 HAS SOPS 11595 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9850.595
AT ITER 1782 NEW BEST:: SOT 37669 SOS 11572 HAS SOPS 11572 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9827.572
AT ITER 1798 NEW BEST:: SOT 37665 SOS 11564 HAS SOPS 11564 HAS SOUS 9804 HAS SOUPS 9804 WITH SCORE 9815.564
AT ITER 1810 NEW BEST:: SOT 37652 SOS 11552 HAS SOPS 11552 HAS SOUS 9792 HAS SOUPS 9792 WITH SCORE 9803.552
AT ITER 1812 NEW BEST:: SOT 37634 SOS 11597 HAS SOPS 11597 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9779.597
AT ITER 1815 NEW BEST:: SOT 37630 SOS 11593 HAS SOPS 11593 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9775.593
AT ITER 1822 NEW BEST:: SOT 37606 SOS 11569 HAS SOPS 11569 HAS SOUS 9740 HAS SOUPS 9740 WITH SCORE 9751.569
AT ITER 1831 NEW BEST:: SOT 37609 SOS 11575 HAS SOPS 11575 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9746.575
AT ITER 1858 NEW BEST:: SOT 37617 SOS 11567 HAS SOPS 11567 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9714.567
AT ITER 1869 NEW BEST:: SOT 37598 SOS 11510 HAS SOPS 11510 HAS SOUS 9608 HAS SOUPS 9608 WITH SCORE 9619.51
AT ITER 1906 NEW BEST:: SOT 37594 SOS 11501 HAS SOPS 11501 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9610.501
AT ITER 1936 NEW BEST:: SOT 37583 SOS 11458 HAS SOPS 11458 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9574.458
AT ITER 1940 NEW BEST:: SOT 37583 SOS 11458 HAS SOPS 11458 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9565.458
AT ITER 1964 NEW BEST:: SOT 37644 SOS 11397 HAS SOPS 11397 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9504.397
AT ITER 1966 NEW BEST:: SOT 37636 SOS 11357 HAS SOPS 11357 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9495.357
AT ITER 2027 NEW BEST:: SOT 37637 SOS 11265 HAS SOPS 11265 HAS SOUS 9474 HAS SOUPS 9474 WITH SCORE 9485.265
AT ITER 2043 NEW BEST:: SOT 37420 SOS 13932 HAS SOPS 13932 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9370.932
AT ITER 2044 NEW BEST:: SOT 37412 SOS 13924 HAS SOPS 13924 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9362.924
AT ITER 2046 NEW BEST:: SOT 37412 SOS 13894 HAS SOPS 13894 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9352.894
AT ITER 2047 NEW BEST:: SOT 37410 SOS 13878 HAS SOPS 13878 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9348.878
AT ITER 2055 NEW BEST:: SOT 37388 SOS 13787 HAS SOPS 13787 HAS SOUS 9299 HAS SOUPS 9299 WITH SCORE 9312.787
AT ITER 2099 NEW BEST:: SOT 37419 SOS 13817 HAS SOPS 13817 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9310.817
AT ITER 2104 NEW BEST:: SOT 37413 SOS 13811 HAS SOPS 13811 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9304.811
AT ITER 2123 NEW BEST:: SOT 37413 SOS 13811 HAS SOPS 13811 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9296.811
AT ITER 2133 NEW BEST:: SOT 37405 SOS 13803 HAS SOPS 13803 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9288.803
AT ITER 2168 NEW BEST:: SOT 37406 SOS 13796 HAS SOPS 13796 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9272.796
AT ITER 2183 NEW BEST:: SOT 37406 SOS 13791 HAS SOPS 13791 HAS SOUS 9254 HAS SOUPS 9254 WITH SCORE 9267.791
AT ITER 2187 NEW BEST:: SOT 37415 SOS 13779 HAS SOPS 13779 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9258.779
AT ITER 2204 NEW BEST:: SOT 37413 SOS 13752 HAS SOPS 13752 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9231.752
AT ITER 2247 NEW BEST:: SOT 37425 SOS 13705 HAS SOPS 13705 HAS SOUS 9171 HAS SOUPS 9171 WITH SCORE 9184.705
AT ITER 2268 NEW BEST:: SOT 37459 SOS 13739 HAS SOPS 13739 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9168.739
AT ITER 2334 NEW BEST:: SOT 37459 SOS 13694 HAS SOPS 13694 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9156.694
AT ITER 2361 NEW BEST:: SOT 37451 SOS 13654 HAS SOPS 13654 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9133.654
AT ITER 2375 NEW BEST:: SOT 37451 SOS 13654 HAS SOPS 13654 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9131.654
AT ITER 2425 NEW BEST:: SOT 37451 SOS 13652 HAS SOPS 13652 HAS SOUS 9118 HAS SOUPS 9118 WITH SCORE 9131.652
AT ITER 2448 NEW BEST:: SOT 37448 SOS 13622 HAS SOPS 13622 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9125.622
AT ITER 2449 NEW BEST:: SOT 37447 SOS 13596 HAS SOPS 13596 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9100.596
AT ITER 2459 NEW BEST:: SOT 37445 SOS 13592 HAS SOPS 13592 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9096.592
AT ITER 2505 NEW BEST:: SOT 37464 SOS 13563 HAS SOPS 13563 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9084.563
AT ITER 2527 NEW BEST:: SOT 37409 SOS 13501 HAS SOPS 13501 HAS SOUS 9057 HAS SOUPS 9057 WITH SCORE 9070.501
AT ITER 2539 NEW BEST:: SOT 37374 SOS 13452 HAS SOPS 13452 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9021.452
AT ITER 2540 NEW BEST:: SOT 37343 SOS 13413 HAS SOPS 13413 HAS SOUS 8969 HAS SOUPS 8969 WITH SCORE 8982.413
AT ITER 2554 NEW BEST:: SOT 37342 SOS 13412 HAS SOPS 13412 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8981.412
AT ITER 2563 NEW BEST:: SOT 37395 SOS 13404 HAS SOPS 13404 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8973.404
AT ITER 2585 NEW BEST:: SOT 37413 SOS 13400 HAS SOPS 13400 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8969.4
AT ITER 2603 NEW BEST:: SOT 37416 SOS 13399 HAS SOPS 13399 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8965.399
AT ITER 2651 NEW BEST:: SOT 37451 SOS 13425 HAS SOPS 13425 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8947.425
AT ITER 2655 NEW BEST:: SOT 37479 SOS 13462 HAS SOPS 13462 HAS SOUS 8933 HAS SOUPS 8933 WITH SCORE 8946.462
AT ITER 2689 NEW BEST:: SOT 37477 SOS 13460 HAS SOPS 13460 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8944.46
AT ITER 2719 NEW BEST:: SOT 37458 SOS 13443 HAS SOPS 13443 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8903.443
AT ITER 2732 NEW BEST:: SOT 37445 SOS 13399 HAS SOPS 13399 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8875.399
AT ITER 2741 NEW BEST:: SOT 37438 SOS 13385 HAS SOPS 13385 HAS SOUS 8862 HAS SOUPS 8862 WITH SCORE 8875.385
AT ITER 2834 NEW BEST:: SOT 37428 SOS 13372 HAS SOPS 13372 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8862.372
AT ITER 2842 NEW BEST:: SOT 37434 SOS 13365 HAS SOPS 13365 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8847.365
AT ITER 2857 NEW BEST:: SOT 37440 SOS 13359 HAS SOPS 13359 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8841.359
AT ITER 2874 NEW BEST:: SOT 37430 SOS 13339 HAS SOPS 13339 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8811.339
AT ITER 2936 NEW BEST:: SOT 37422 SOS 13331 HAS SOPS 13331 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8803.331
AT ITER 2950 NEW BEST:: SOT 37403 SOS 13316 HAS SOPS 13316 HAS SOUS 8775 HAS SOUPS 8775 WITH SCORE 8788.316
AT ITER 2954 NEW BEST:: SOT 37393 SOS 13296 HAS SOPS 13296 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8768.296
AT ITER 2965 NEW BEST:: SOT 37353 SOS 13216 HAS SOPS 13216 HAS SOUS 8695 HAS SOUPS 8695 WITH SCORE 8708.216
AT ITER 3013 NEW BEST:: SOT 37341 SOS 13158 HAS SOPS 13158 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8684.158
AT ITER 3019 NEW BEST:: SOT 37341 SOS 13158 HAS SOPS 13158 HAS SOUS 8670 HAS SOUPS 8670 WITH SCORE 8683.158
AT ITER 3023 NEW BEST:: SOT 37316 SOS 13133 HAS SOPS 13133 HAS SOUS 8645 HAS SOUPS 8645 WITH SCORE 8658.133
AT ITER 3060 NEW BEST:: SOT 37320 SOS 13129 HAS SOPS 13129 HAS SOUS 8641 HAS SOUPS 8641 WITH SCORE 8654.129
AT ITER 3074 NEW BEST:: SOT 37276 SOS 13063 HAS SOPS 13063 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8610.063
AT ITER 3097 NEW BEST:: SOT 37262 SOS 13055 HAS SOPS 13055 HAS SOUS 8594 HAS SOUPS 8594 WITH SCORE 8607.055
AT ITER 3111 NEW BEST:: SOT 37262 SOS 13052 HAS SOPS 13052 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8604.052
AT ITER 3169 NEW BEST:: SOT 37240 SOS 13023 HAS SOPS 13023 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8575.023
AT ITER 3186 NEW BEST:: SOT 37225 SOS 13008 HAS SOPS 13008 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8564.008
AT ITER 3197 NEW BEST:: SOT 37225 SOS 13003 HAS SOPS 13003 HAS SOUS 8551 HAS SOUPS 8551 WITH SCORE 8564.003
AT ITER 3274 NEW BEST:: SOT 37210 SOS 13000 HAS SOPS 13000 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8561.0
AT ITER 3285 NEW BEST:: SOT 37210 SOS 12995 HAS SOPS 12995 HAS SOUS 8538 HAS SOUPS 8538 WITH SCORE 8550.995
AT ITER 3294 NEW BEST:: SOT 37217 SOS 13009 HAS SOPS 13009 HAS SOUS 8537 HAS SOUPS 8537 WITH SCORE 8550.009
AT ITER 3330 NEW BEST:: SOT 37208 SOS 12991 HAS SOPS 12991 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8539.991
AT ITER 3344 NEW BEST:: SOT 37195 SOS 12978 HAS SOPS 12978 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8526.978
AT ITER 3395 NEW BEST:: SOT 37187 SOS 12973 HAS SOPS 12973 HAS SOUS 8509 HAS SOUPS 8509 WITH SCORE 8521.973
AT ITER 3399 NEW BEST:: SOT 37180 SOS 12972 HAS SOPS 12972 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8520.972
AT ITER 3427 NEW BEST:: SOT 37160 SOS 12920 HAS SOPS 12920 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8482.92
AT ITER 3441 NEW BEST:: SOT 37182 SOS 12859 HAS SOPS 12859 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8461.859
AT ITER 3501 NEW BEST:: SOT 37177 SOS 12854 HAS SOPS 12854 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8456.854
AT ITER 3512 NEW BEST:: SOT 37163 SOS 12842 HAS SOPS 12842 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8444.842
AT ITER 3520 NEW BEST:: SOT 37163 SOS 12842 HAS SOPS 12842 HAS SOUS 8415 HAS SOUPS 8415 WITH SCORE 8427.842
AT ITER 3589 NEW BEST:: SOT 37162 SOS 12841 HAS SOPS 12841 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8426.841
AT ITER 3621 NEW BEST:: SOT 37147 SOS 12857 HAS SOPS 12857 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8423.857
AT ITER 3634 NEW BEST:: SOT 37153 SOS 12848 HAS SOPS 12848 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8408.848
AT ITER 3656 NEW BEST:: SOT 37150 SOS 12842 HAS SOPS 12842 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8399.842
AT ITER 3710 NEW BEST:: SOT 37163 SOS 12868 HAS SOPS 12868 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.868
AT ITER 3716 NEW BEST:: SOT 37178 SOS 12866 HAS SOPS 12866 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8396.866
AT ITER 3755 NEW BEST:: SOT 37188 SOS 12864 HAS SOPS 12864 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8395.864
AT ITER 3759 NEW BEST:: SOT 37184 SOS 12856 HAS SOPS 12856 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8391.856
AT ITER 3769 NEW BEST:: SOT 37184 SOS 12855 HAS SOPS 12855 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8390.855
AT ITER 3771 NEW BEST:: SOT 37182 SOS 12855 HAS SOPS 12855 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8388.855
AT ITER 3773 NEW BEST:: SOT 37176 SOS 12849 HAS SOPS 12849 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8382.849
AT ITER 3794 NEW BEST:: SOT 37176 SOS 12843 HAS SOPS 12843 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8376.843
AT ITER 3830 NEW BEST:: SOT 37157 SOS 12832 HAS SOPS 12832 HAS SOUS 8353 HAS SOUPS 8353 WITH SCORE 8365.832
AT ITER 3836 NEW BEST:: SOT 37128 SOS 12828 HAS SOPS 12828 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8361.828
AT ITER 3848 NEW BEST:: SOT 37128 SOS 12711 HAS SOPS 12711 HAS SOUS 8349 HAS SOUPS 8349 WITH SCORE 8361.711
AT ITER 3857 NEW BEST:: SOT 37126 SOS 12711 HAS SOPS 12711 HAS SOUS 8347 HAS SOUPS 8347 WITH SCORE 8359.711
AT ITER 3925 NEW BEST:: SOT 37130 SOS 12713 HAS SOPS 12713 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8355.713
AT ITER 4002 NEW BEST:: SOT 37130 SOS 12709 HAS SOPS 12709 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8351.709
AT ITER 4015 NEW BEST:: SOT 37129 SOS 12707 HAS SOPS 12707 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8348.707
AT ITER 4069 NEW BEST:: SOT 37125 SOS 12704 HAS SOPS 12704 HAS SOUS 8333 HAS SOUPS 8333 WITH SCORE 8345.704
AT ITER 4070 NEW BEST:: SOT 37125 SOS 12700 HAS SOPS 12700 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8341.7
AT ITER 4093 NEW BEST:: SOT 37120 SOS 12697 HAS SOPS 12697 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8334.697
AT ITER 4125 NEW BEST:: SOT 37120 SOS 12697 HAS SOPS 12697 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8333.697
AT ITER 4141 NEW BEST:: SOT 37114 SOS 12683 HAS SOPS 12683 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8327.683
AT ITER 4159 NEW BEST:: SOT 37111 SOS 12680 HAS SOPS 12680 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8327.68
AT ITER 4243 NEW BEST:: SOT 37107 SOS 12677 HAS SOPS 12677 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8324.677
AT ITER 4260 NEW BEST:: SOT 37099 SOS 12661 HAS SOPS 12661 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8308.661
AT ITER 4354 NEW BEST:: SOT 37108 SOS 12655 HAS SOPS 12655 HAS SOUS 8290 HAS SOUPS 8290 WITH SCORE 8302.655
AT ITER 4370 NEW BEST:: SOT 37102 SOS 12650 HAS SOPS 12650 HAS SOUS 8285 HAS SOUPS 8285 WITH SCORE 8297.65
AT ITER 4409 NEW BEST:: SOT 37089 SOS 12636 HAS SOPS 12636 HAS SOUS 8271 HAS SOUPS 8271 WITH SCORE 8283.636
AT ITER 4411 NEW BEST:: SOT 37087 SOS 12632 HAS SOPS 12632 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8279.632
AT ITER 4413 NEW BEST:: SOT 37086 SOS 12630 HAS SOPS 12630 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8277.63
AT ITER 4415 NEW BEST:: SOT 37080 SOS 12604 HAS SOPS 12604 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8275.604
AT ITER 4463 NEW BEST:: SOT 37077 SOS 12603 HAS SOPS 12603 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8274.603
AT ITER 4485 NEW BEST:: SOT 37075 SOS 12601 HAS SOPS 12601 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8272.601
AT ITER 4492 NEW BEST:: SOT 37059 SOS 12596 HAS SOPS 12596 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8267.596
AT ITER 4496 NEW BEST:: SOT 37050 SOS 12590 HAS SOPS 12590 HAS SOUS 8249 HAS SOUPS 8249 WITH SCORE 8261.59
AT ITER 4536 NEW BEST:: SOT 37070 SOS 12588 HAS SOPS 12588 HAS SOUS 8247 HAS SOUPS 8247 WITH SCORE 8259.588
AT ITER 4559 NEW BEST:: SOT 37074 SOS 12596 HAS SOPS 12596 HAS SOUS 8246 HAS SOUPS 8246 WITH SCORE 8258.596
AT ITER 4563 NEW BEST:: SOT 37072 SOS 12592 HAS SOPS 12592 HAS SOUS 8242 HAS SOUPS 8242 WITH SCORE 8254.592
AT ITER 4677 NEW BEST:: SOT 37057 SOS 12574 HAS SOPS 12574 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8251.574
AT ITER 4680 NEW BEST:: SOT 37061 SOS 12582 HAS SOPS 12582 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8249.582
AT ITER 4697 NEW BEST:: SOT 37072 SOS 12581 HAS SOPS 12581 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8248.581
AT ITER 4708 NEW BEST:: SOT 37063 SOS 12570 HAS SOPS 12570 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8246.57
AT ITER 4712 NEW BEST:: SOT 37059 SOS 12566 HAS SOPS 12566 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8242.566
AT ITER 4715 NEW BEST:: SOT 37059 SOS 12562 HAS SOPS 12562 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8238.562
AT ITER 4724 NEW BEST:: SOT 37054 SOS 12554 HAS SOPS 12554 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8230.554
AT ITER 4744 NEW BEST:: SOT 37054 SOS 12554 HAS SOPS 12554 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8224.554
AT ITER 4834 NEW BEST:: SOT 37053 SOS 12540 HAS SOPS 12540 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8215.54
AT ITER 4851 NEW BEST:: SOT 37050 SOS 12537 HAS SOPS 12537 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8212.537
AT ITER 4860 NEW BEST:: SOT 37046 SOS 12535 HAS SOPS 12535 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8210.535
AT ITER 4863 NEW BEST:: SOT 37039 SOS 12531 HAS SOPS 12531 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8196.531
AT ITER 4864 NEW BEST:: SOT 37029 SOS 12511 HAS SOPS 12511 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8176.511
AT ITER 4935 NEW BEST:: SOT 37029 SOS 12510 HAS SOPS 12510 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8176.51
AT ITER 4957 NEW BEST:: SOT 37033 SOS 12492 HAS SOPS 12492 HAS SOUS 8146 HAS SOUPS 8146 WITH SCORE 8158.492
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-03-CTLFireability-00 (EF( (! (! ( (! ((potential((tk(P215)>=1))))) & ( ((potential((tk(P155)>=1) & (tk(P29)>=1) & (tk(P274)>=1)))) & ((potential((tk(P201)>=1)))) ) )))))
PROPERTY: BusinessProcesses-PT-03-CTLFireability-01 ( ( (AX( ( ( ((potential((tk(P191)>=1) & (tk(P86)>=1) & (tk(P266)>=1)))) & ((potential((tk(P39)>=1)))) ) | ( ((potential((tk(P267)>=1)))) & ((potential((tk(P14)>=1)))) ) ))) | ( (AG( ((potential((tk(P7)>=1)))))) | ( ( ( ((potential((tk(P66)>=1)))) | ((potential((tk(P151)>=1) & (tk(P63)>=1) & (tk(P250)>=1)))) ) & ( ((potential((tk(P171)>=1) & (tk(P74)>=1) & (tk(P258)>=1)))) & ((potential((tk(P175)>=1) & (tk(P71)>=1) & (tk(P274)>=1)))) ) ) & ( ( ((potential((tk(P94)>=1)))) | ((potential((tk(P128)>=1)))) ) | ( ((potential((tk(P134)>=1)))) | ((potential((tk(P127)>=1)))) ) ) ) ) ) | (EX( (EF( ( ((potential((tk(P247)>=1)))) | ((potential((tk(P79)>=1)))) ))))) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-02 (EU( ( (EF( ((potential((tk(P184)>=1)))))) | (AF( ((potential((tk(P216)>=1)))))) ) , ((potential((tk(P81)>=1)))) ))
PROPERTY: BusinessProcesses-PT-03-CTLFireability-03 (EF( ( ( ((potential((tk(P117)>=1)))) & (AX( ((potential((tk(P108)>=1)))))) ) & ( (! ((potential((tk(P194)>=1))))) & (EG( ((potential((tk(P169)>=1)))))) ) )))
PROPERTY: BusinessProcesses-PT-03-CTLFireability-04 (EU( (EF( ((potential((tk(P155)>=1) & (tk(P29)>=1) & (tk(P274)>=1)))))) , (EF( ( ((potential((tk(P212)>=1)))) & ((potential((tk(P182)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-03-CTLFireability-05 ( (EF( (EU( ((potential((tk(P69)>=1)))) , ((potential((tk(P215)>=1)))) )))) | ((potential((tk(P57)>=1)))) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-06 ( (AG( ( (EX( ((potential((tk(P159)>=1)))))) & ( ( ((potential((tk(P27)>=1)))) | ((potential((tk(P76)>=1)))) ) & ( ((potential((tk(P161)>=1) & (tk(P49)>=1) & (tk(P238)>=1)))) & ((potential((tk(P274)>=1)))) ) ) ))) | (EU( ( (! ((potential((tk(P67)>=1))))) | (! ((potential((tk(P218)>=1))))) ) , ((potential((tk(P112)>=1)))) )) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-07 (EF( ( (AX( ( ((potential((tk(P265)>=1)))) | ((potential((tk(P139)>=1)))) ))) & (! ( ( ((potential((tk(P245)>=1)))) | ((potential((tk(P192)>=1)))) ) | (! ((potential((tk(P216)>=1))))) )) )))
PROPERTY: BusinessProcesses-PT-03-CTLFireability-08 ( ( (AF( (AX( ((potential((tk(P158)>=1)))))))) | ( ((potential((tk(P129)>=1)))) | (EF( ( ((potential((tk(P61)>=1)))) | ((potential((tk(P143)>=1)))) ))) ) ) | ( ((potential((tk(P223)>=1)))) | ( (AG( ( ((potential((tk(P3)>=1)))) | ((potential((tk(P125)>=1) & (tk(P23)>=1) & (tk(P274)>=1)))) ))) | ((potential((tk(P158)>=1)))) ) ) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-09 ( ( (EU( (! ((potential((tk(P84)>=1))))) , ( ((potential((tk(P28)>=1)))) | ((potential((tk(P115)>=1)))) ) )) | (AX( ((potential((tk(P212)>=1)))))) ) | ( (EG( (AG( ((potential((tk(P62)>=1)))))))) & (! ( (AG( ((potential((tk(P94)>=1)))))) | (AG( ((potential((tk(P40)>=1)))))) )) ) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-10 ( (AG( ( ( (! ((potential((tk(P191)>=1) & (tk(P86)>=1) & (tk(P266)>=1))))) | ( ((potential((tk(P118)>=1)))) & ((potential((tk(P196)>=1) & (tk(P92)>=1) & (tk(P270)>=1)))) ) ) | ((potential((tk(P240)>=1)))) ))) & (! ( ((potential((tk(P113)>=1)))) & (EF( (! ((potential((tk(P138)>=1))))))) )) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-11 ( ((potential((tk(P154)>=1)))) | (EF( (AG( (! ((potential((tk(P128)>=1))))))))) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-12 (! ( ( ((potential((tk(P271)>=1)))) | (EF( ( ((potential((tk(P233)>=1)))) & ((potential((tk(P118)>=1)))) ))) ) | ((potential((tk(P33)>=1)))) ))
PROPERTY: BusinessProcesses-PT-03-CTLFireability-13 ( ((potential((tk(P117)>=1)))) | (! (EF( (EG( ((potential((tk(P237)>=1))))))))) )
PROPERTY: BusinessProcesses-PT-03-CTLFireability-14 (! (! ( (AG( (! ((potential((tk(P53)>=1))))))) & (EF( ( ((potential((tk(P3)>=1)))) | ((potential((tk(P35)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-03-CTLFireability-15 ( (AG( (! (EF( ((potential((tk(P20)>=1))))))))) | (AU( (! ( ((potential((tk(P228)>=1)))) & ((potential((tk(P178)>=1)))) )) , (EF( ((potential((tk(P230)>=1)))))) )) )
FORMULA BusinessProcesses-PT-03-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-03"
export BK_EXAMINATION="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-03, 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-158897680000468"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-03.tgz
mv BusinessProcesses-PT-03 execution
cd execution
if [ "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 '
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 ;