About the Execution of smart for BusinessProcesses-PT-04
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.990 | 3600000.00 | 3594020.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-158897680000476.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-04, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000476
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 2.9K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 3.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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 20K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 79K 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-04-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-04-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589017747941
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 04
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: 288 places, 283 transitions, 916 arcs.
AT ITER 0 NEW BEST:: SOT 54232 SOS 22226 HAS SOPS 22226 HAS SOUS 20115 HAS SOUPS 20115 WITH SCORE 20137.226
AT ITER 1 NEW BEST:: SOT 54177 SOS 22165 HAS SOPS 22165 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20076.165
AT ITER 3 NEW BEST:: SOT 54160 SOS 22159 HAS SOPS 22159 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20059.159
AT ITER 5 NEW BEST:: SOT 54143 SOS 22125 HAS SOPS 22125 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20025.125
AT ITER 7 NEW BEST:: SOT 54103 SOS 21929 HAS SOPS 21929 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 19990.929
AT ITER 24 NEW BEST:: SOT 54087 SOS 21913 HAS SOPS 21913 HAS SOUS 19951 HAS SOUPS 19951 WITH SCORE 19972.913
AT ITER 30 NEW BEST:: SOT 54087 SOS 21904 HAS SOPS 21904 HAS SOUS 19950 HAS SOUPS 19950 WITH SCORE 19971.904
AT ITER 31 NEW BEST:: SOT 54036 SOS 21883 HAS SOPS 21883 HAS SOUS 19929 HAS SOUPS 19929 WITH SCORE 19950.883
AT ITER 33 NEW BEST:: SOT 53065 SOS 26718 HAS SOPS 26718 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19391.718
AT ITER 39 NEW BEST:: SOT 53006 SOS 26673 HAS SOPS 26673 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19391.673
AT ITER 53 NEW BEST:: SOT 52970 SOS 26636 HAS SOPS 26636 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19389.636
AT ITER 54 NEW BEST:: SOT 52856 SOS 26521 HAS SOPS 26521 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19312.521
AT ITER 58 NEW BEST:: SOT 52856 SOS 26501 HAS SOPS 26501 HAS SOUS 19262 HAS SOUPS 19262 WITH SCORE 19288.501
AT ITER 59 NEW BEST:: SOT 52939 SOS 26490 HAS SOPS 26490 HAS SOUS 19251 HAS SOUPS 19251 WITH SCORE 19277.49
AT ITER 65 NEW BEST:: SOT 53013 SOS 26548 HAS SOPS 26548 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19261.548
AT ITER 70 NEW BEST:: SOT 52939 SOS 26367 HAS SOPS 26367 HAS SOUS 19161 HAS SOUPS 19161 WITH SCORE 19187.367
AT ITER 73 NEW BEST:: SOT 52938 SOS 26365 HAS SOPS 26365 HAS SOUS 19159 HAS SOUPS 19159 WITH SCORE 19185.365
AT ITER 90 NEW BEST:: SOT 52938 SOS 26365 HAS SOPS 26365 HAS SOUS 19157 HAS SOUPS 19157 WITH SCORE 19183.365
AT ITER 109 NEW BEST:: SOT 52988 SOS 26190 HAS SOPS 26190 HAS SOUS 19144 HAS SOUPS 19144 WITH SCORE 19170.19
AT ITER 113 NEW BEST:: SOT 52847 SOS 26010 HAS SOPS 26010 HAS SOUS 19056 HAS SOUPS 19056 WITH SCORE 19082.01
AT ITER 129 NEW BEST:: SOT 52797 SOS 25960 HAS SOPS 25960 HAS SOUS 19002 HAS SOUPS 19002 WITH SCORE 19027.96
AT ITER 133 NEW BEST:: SOT 52793 SOS 25956 HAS SOPS 25956 HAS SOUS 18998 HAS SOUPS 18998 WITH SCORE 19023.956
AT ITER 140 NEW BEST:: SOT 51390 SOS 24553 HAS SOPS 24553 HAS SOUS 17700 HAS SOUPS 17700 WITH SCORE 17724.553
AT ITER 141 NEW BEST:: SOT 51383 SOS 24546 HAS SOPS 24546 HAS SOUS 17700 HAS SOUPS 17700 WITH SCORE 17724.546
AT ITER 149 NEW BEST:: SOT 51333 SOS 24496 HAS SOPS 24496 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17674.496
AT ITER 156 NEW BEST:: SOT 50138 SOS 24256 HAS SOPS 24256 HAS SOUS 16651 HAS SOUPS 16651 WITH SCORE 16675.256
AT ITER 157 NEW BEST:: SOT 50134 SOS 24247 HAS SOPS 24247 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16659.247
AT ITER 160 NEW BEST:: SOT 50126 SOS 24239 HAS SOPS 24239 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16651.239
AT ITER 163 NEW BEST:: SOT 50150 SOS 24262 HAS SOPS 24262 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16650.262
AT ITER 167 NEW BEST:: SOT 50129 SOS 24172 HAS SOPS 24172 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16560.172
AT ITER 169 NEW BEST:: SOT 50062 SOS 24127 HAS SOPS 24127 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16451.127
AT ITER 175 NEW BEST:: SOT 50062 SOS 24127 HAS SOPS 24127 HAS SOUS 16422 HAS SOUPS 16422 WITH SCORE 16446.127
AT ITER 186 NEW BEST:: SOT 50053 SOS 24109 HAS SOPS 24109 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16428.109
AT ITER 193 NEW BEST:: SOT 50053 SOS 24083 HAS SOPS 24083 HAS SOUS 16404 HAS SOUPS 16404 WITH SCORE 16428.083
AT ITER 200 NEW BEST:: SOT 50068 SOS 24098 HAS SOPS 24098 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16423.098
AT ITER 208 NEW BEST:: SOT 49617 SOS 24847 HAS SOPS 24847 HAS SOUS 16213 HAS SOUPS 16213 WITH SCORE 16237.847
AT ITER 213 NEW BEST:: SOT 49591 SOS 24771 HAS SOPS 24771 HAS SOUS 16137 HAS SOUPS 16137 WITH SCORE 16161.771
AT ITER 218 NEW BEST:: SOT 49599 SOS 24786 HAS SOPS 24786 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16160.786
AT ITER 220 NEW BEST:: SOT 49664 SOS 24931 HAS SOPS 24931 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16109.931
AT ITER 221 NEW BEST:: SOT 49611 SOS 24829 HAS SOPS 24829 HAS SOUS 15983 HAS SOUPS 15983 WITH SCORE 16007.829
AT ITER 232 NEW BEST:: SOT 49555 SOS 24773 HAS SOPS 24773 HAS SOUS 15927 HAS SOUPS 15927 WITH SCORE 15951.773
AT ITER 234 NEW BEST:: SOT 49512 SOS 24769 HAS SOPS 24769 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15947.769
AT ITER 236 NEW BEST:: SOT 49509 SOS 24763 HAS SOPS 24763 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15941.763
AT ITER 240 NEW BEST:: SOT 49481 SOS 24753 HAS SOPS 24753 HAS SOUS 15907 HAS SOUPS 15907 WITH SCORE 15931.753
AT ITER 245 NEW BEST:: SOT 49427 SOS 24731 HAS SOPS 24731 HAS SOUS 15885 HAS SOUPS 15885 WITH SCORE 15909.731
AT ITER 248 NEW BEST:: SOT 49442 SOS 24731 HAS SOPS 24731 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15894.731
AT ITER 249 NEW BEST:: SOT 49432 SOS 24731 HAS SOPS 24731 HAS SOUS 15860 HAS SOUPS 15860 WITH SCORE 15884.731
AT ITER 251 NEW BEST:: SOT 49408 SOS 24655 HAS SOPS 24655 HAS SOUS 15784 HAS SOUPS 15784 WITH SCORE 15808.655
AT ITER 252 NEW BEST:: SOT 49408 SOS 24627 HAS SOPS 24627 HAS SOUS 15756 HAS SOUPS 15756 WITH SCORE 15780.627
AT ITER 253 NEW BEST:: SOT 49460 SOS 24640 HAS SOPS 24640 HAS SOUS 15751 HAS SOUPS 15751 WITH SCORE 15775.64
AT ITER 254 NEW BEST:: SOT 49460 SOS 24639 HAS SOPS 24639 HAS SOUS 15750 HAS SOUPS 15750 WITH SCORE 15774.639
AT ITER 256 NEW BEST:: SOT 49459 SOS 24596 HAS SOPS 24596 HAS SOUS 15707 HAS SOUPS 15707 WITH SCORE 15731.596
AT ITER 259 NEW BEST:: SOT 49463 SOS 24548 HAS SOPS 24548 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15714.548
AT ITER 269 NEW BEST:: SOT 49458 SOS 24545 HAS SOPS 24545 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15711.545
AT ITER 277 NEW BEST:: SOT 49437 SOS 24503 HAS SOPS 24503 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15648.503
AT ITER 295 NEW BEST:: SOT 49418 SOS 24484 HAS SOPS 24484 HAS SOUS 15605 HAS SOUPS 15605 WITH SCORE 15629.484
AT ITER 299 NEW BEST:: SOT 49395 SOS 24462 HAS SOPS 24462 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15583.462
AT ITER 312 NEW BEST:: SOT 49361 SOS 23584 HAS SOPS 23584 HAS SOUS 15491 HAS SOUPS 15491 WITH SCORE 15514.584
AT ITER 323 NEW BEST:: SOT 49308 SOS 23478 HAS SOPS 23478 HAS SOUS 15385 HAS SOUPS 15385 WITH SCORE 15408.478
AT ITER 328 NEW BEST:: SOT 49253 SOS 23410 HAS SOPS 23410 HAS SOUS 15317 HAS SOUPS 15317 WITH SCORE 15340.41
AT ITER 345 NEW BEST:: SOT 49208 SOS 23313 HAS SOPS 23313 HAS SOUS 15220 HAS SOUPS 15220 WITH SCORE 15243.313
AT ITER 378 NEW BEST:: SOT 49168 SOS 23283 HAS SOPS 23283 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15213.283
AT ITER 387 NEW BEST:: SOT 49163 SOS 23276 HAS SOPS 23276 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15206.276
AT ITER 410 NEW BEST:: SOT 49172 SOS 23249 HAS SOPS 23249 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15206.249
AT ITER 415 NEW BEST:: SOT 49172 SOS 23249 HAS SOPS 23249 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15193.249
AT ITER 418 NEW BEST:: SOT 49143 SOS 23206 HAS SOPS 23206 HAS SOUS 15127 HAS SOUPS 15127 WITH SCORE 15150.206
AT ITER 423 NEW BEST:: SOT 49100 SOS 23117 HAS SOPS 23117 HAS SOUS 15089 HAS SOUPS 15089 WITH SCORE 15112.117
AT ITER 426 NEW BEST:: SOT 49109 SOS 23135 HAS SOPS 23135 HAS SOUS 15075 HAS SOUPS 15075 WITH SCORE 15098.135
AT ITER 427 NEW BEST:: SOT 49109 SOS 23135 HAS SOPS 23135 HAS SOUS 15060 HAS SOUPS 15060 WITH SCORE 15083.135
AT ITER 441 NEW BEST:: SOT 49038 SOS 23064 HAS SOPS 23064 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15012.064
AT ITER 443 NEW BEST:: SOT 48994 SOS 23047 HAS SOPS 23047 HAS SOUS 14972 HAS SOUPS 14972 WITH SCORE 14995.047
AT ITER 445 NEW BEST:: SOT 48971 SOS 23045 HAS SOPS 23045 HAS SOUS 14971 HAS SOUPS 14971 WITH SCORE 14994.045
AT ITER 449 NEW BEST:: SOT 48971 SOS 23038 HAS SOPS 23038 HAS SOUS 14963 HAS SOUPS 14963 WITH SCORE 14986.038
AT ITER 460 NEW BEST:: SOT 48921 SOS 22884 HAS SOPS 22884 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14880.884
AT ITER 463 NEW BEST:: SOT 48919 SOS 22882 HAS SOPS 22882 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14876.882
AT ITER 493 NEW BEST:: SOT 48919 SOS 22346 HAS SOPS 22346 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14876.346
AT ITER 502 NEW BEST:: SOT 48901 SOS 22311 HAS SOPS 22311 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14841.311
AT ITER 511 NEW BEST:: SOT 48892 SOS 22302 HAS SOPS 22302 HAS SOUS 14810 HAS SOUPS 14810 WITH SCORE 14832.302
AT ITER 512 NEW BEST:: SOT 48849 SOS 19615 HAS SOPS 19615 HAS SOUS 14724 HAS SOUPS 14724 WITH SCORE 14743.615
AT ITER 525 NEW BEST:: SOT 48851 SOS 19594 HAS SOPS 19594 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14722.594
AT ITER 527 NEW BEST:: SOT 48856 SOS 19585 HAS SOPS 19585 HAS SOUS 14675 HAS SOUPS 14675 WITH SCORE 14694.585
AT ITER 541 NEW BEST:: SOT 48845 SOS 19563 HAS SOPS 19563 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14683.563
AT ITER 563 NEW BEST:: SOT 48766 SOS 19412 HAS SOPS 19412 HAS SOUS 14513 HAS SOUPS 14513 WITH SCORE 14532.412
AT ITER 566 NEW BEST:: SOT 48742 SOS 19376 HAS SOPS 19376 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14508.376
AT ITER 576 NEW BEST:: SOT 48747 SOS 19307 HAS SOPS 19307 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14439.307
AT ITER 580 NEW BEST:: SOT 48736 SOS 19285 HAS SOPS 19285 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14428.285
AT ITER 581 NEW BEST:: SOT 48714 SOS 19249 HAS SOPS 19249 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14330.249
AT ITER 617 NEW BEST:: SOT 48683 SOS 19218 HAS SOPS 19218 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14312.218
AT ITER 623 NEW BEST:: SOT 48674 SOS 19210 HAS SOPS 19210 HAS SOUS 14285 HAS SOUPS 14285 WITH SCORE 14304.21
AT ITER 676 NEW BEST:: SOT 48686 SOS 19197 HAS SOPS 19197 HAS SOUS 14272 HAS SOUPS 14272 WITH SCORE 14291.197
AT ITER 680 NEW BEST:: SOT 48664 SOS 19165 HAS SOPS 19165 HAS SOUS 14240 HAS SOUPS 14240 WITH SCORE 14259.165
AT ITER 683 NEW BEST:: SOT 48623 SOS 19111 HAS SOPS 19111 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14211.111
AT ITER 687 NEW BEST:: SOT 48612 SOS 19099 HAS SOPS 19099 HAS SOUS 14180 HAS SOUPS 14180 WITH SCORE 14199.099
AT ITER 714 NEW BEST:: SOT 48391 SOS 19166 HAS SOPS 19166 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14130.166
AT ITER 718 NEW BEST:: SOT 48384 SOS 19159 HAS SOPS 19159 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14123.159
AT ITER 721 NEW BEST:: SOT 48375 SOS 19150 HAS SOPS 19150 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14123.15
AT ITER 731 NEW BEST:: SOT 48305 SOS 19077 HAS SOPS 19077 HAS SOUS 14031 HAS SOUPS 14031 WITH SCORE 14050.077
AT ITER 736 NEW BEST:: SOT 48302 SOS 19071 HAS SOPS 19071 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14044.071
AT ITER 743 NEW BEST:: SOT 48291 SOS 19049 HAS SOPS 19049 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14022.049
AT ITER 744 NEW BEST:: SOT 48283 SOS 19041 HAS SOPS 19041 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14006.041
AT ITER 748 NEW BEST:: SOT 48271 SOS 19029 HAS SOPS 19029 HAS SOUS 13975 HAS SOUPS 13975 WITH SCORE 13994.029
AT ITER 760 NEW BEST:: SOT 48218 SOS 19019 HAS SOPS 19019 HAS SOUS 13931 HAS SOUPS 13931 WITH SCORE 13950.019
AT ITER 780 NEW BEST:: SOT 48185 SOS 18992 HAS SOPS 18992 HAS SOUS 13902 HAS SOUPS 13902 WITH SCORE 13920.992
AT ITER 785 NEW BEST:: SOT 48194 SOS 19003 HAS SOPS 19003 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 13886.003
AT ITER 791 NEW BEST:: SOT 48186 SOS 18931 HAS SOPS 18931 HAS SOUS 13863 HAS SOUPS 13863 WITH SCORE 13881.931
AT ITER 794 NEW BEST:: SOT 48207 SOS 18925 HAS SOPS 18925 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13875.925
AT ITER 797 NEW BEST:: SOT 48190 SOS 18909 HAS SOPS 18909 HAS SOUS 13815 HAS SOUPS 13815 WITH SCORE 13833.909
AT ITER 805 NEW BEST:: SOT 48106 SOS 18804 HAS SOPS 18804 HAS SOUS 13713 HAS SOUPS 13713 WITH SCORE 13731.804
AT ITER 819 NEW BEST:: SOT 48106 SOS 18801 HAS SOPS 18801 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13728.801
AT ITER 822 NEW BEST:: SOT 48110 SOS 18787 HAS SOPS 18787 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13710.787
AT ITER 829 NEW BEST:: SOT 48110 SOS 18786 HAS SOPS 18786 HAS SOUS 13691 HAS SOUPS 13691 WITH SCORE 13709.786
AT ITER 832 NEW BEST:: SOT 48069 SOS 18737 HAS SOPS 18737 HAS SOUS 13642 HAS SOUPS 13642 WITH SCORE 13660.737
AT ITER 838 NEW BEST:: SOT 48064 SOS 18730 HAS SOPS 18730 HAS SOUS 13635 HAS SOUPS 13635 WITH SCORE 13653.73
AT ITER 858 NEW BEST:: SOT 48076 SOS 18782 HAS SOPS 18782 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13571.782
AT ITER 885 NEW BEST:: SOT 48046 SOS 18752 HAS SOPS 18752 HAS SOUS 13521 HAS SOUPS 13521 WITH SCORE 13539.752
AT ITER 886 NEW BEST:: SOT 47944 SOS 18599 HAS SOPS 18599 HAS SOUS 13419 HAS SOUPS 13419 WITH SCORE 13437.599
AT ITER 896 NEW BEST:: SOT 47944 SOS 18584 HAS SOPS 18584 HAS SOUS 13419 HAS SOUPS 13419 WITH SCORE 13437.584
AT ITER 906 NEW BEST:: SOT 47872 SOS 18496 HAS SOPS 18496 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13405.496
AT ITER 916 NEW BEST:: SOT 47869 SOS 18490 HAS SOPS 18490 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13399.49
AT ITER 918 NEW BEST:: SOT 47838 SOS 18427 HAS SOPS 18427 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13348.427
AT ITER 933 NEW BEST:: SOT 47838 SOS 18427 HAS SOPS 18427 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13280.427
AT ITER 942 NEW BEST:: SOT 47788 SOS 18379 HAS SOPS 18379 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13232.379
AT ITER 955 NEW BEST:: SOT 47787 SOS 18352 HAS SOPS 18352 HAS SOUS 13187 HAS SOUPS 13187 WITH SCORE 13205.352
AT ITER 968 NEW BEST:: SOT 47782 SOS 18342 HAS SOPS 18342 HAS SOUS 13177 HAS SOUPS 13177 WITH SCORE 13195.342
AT ITER 1024 NEW BEST:: SOT 47782 SOS 18340 HAS SOPS 18340 HAS SOUS 13173 HAS SOUPS 13173 WITH SCORE 13191.34
AT ITER 1027 NEW BEST:: SOT 47748 SOS 18272 HAS SOPS 18272 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13160.272
AT ITER 1032 NEW BEST:: SOT 47738 SOS 18252 HAS SOPS 18252 HAS SOUS 13117 HAS SOUPS 13117 WITH SCORE 13135.252
AT ITER 1034 NEW BEST:: SOT 47718 SOS 18233 HAS SOPS 18233 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13116.233
AT ITER 1037 NEW BEST:: SOT 47705 SOS 18220 HAS SOPS 18220 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13103.22
AT ITER 1050 NEW BEST:: SOT 47703 SOS 18218 HAS SOPS 18218 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13101.218
AT ITER 1053 NEW BEST:: SOT 47697 SOS 18231 HAS SOPS 18231 HAS SOUS 13082 HAS SOUPS 13082 WITH SCORE 13100.231
AT ITER 1055 NEW BEST:: SOT 47695 SOS 18227 HAS SOPS 18227 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13096.227
AT ITER 1077 NEW BEST:: SOT 47678 SOS 18210 HAS SOPS 18210 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13096.21
AT ITER 1091 NEW BEST:: SOT 47675 SOS 18207 HAS SOPS 18207 HAS SOUS 13078 HAS SOUPS 13078 WITH SCORE 13096.207
AT ITER 1096 NEW BEST:: SOT 47658 SOS 18156 HAS SOPS 18156 HAS SOUS 13027 HAS SOUPS 13027 WITH SCORE 13045.156
AT ITER 1100 NEW BEST:: SOT 47652 SOS 18150 HAS SOPS 18150 HAS SOUS 13020 HAS SOUPS 13020 WITH SCORE 13038.15
AT ITER 1128 NEW BEST:: SOT 47617 SOS 17921 HAS SOPS 17921 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13006.921
AT ITER 1132 NEW BEST:: SOT 47613 SOS 17929 HAS SOPS 17929 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13004.929
AT ITER 1138 NEW BEST:: SOT 47613 SOS 17853 HAS SOPS 17853 HAS SOUS 12982 HAS SOUPS 12982 WITH SCORE 12999.853
AT ITER 1149 NEW BEST:: SOT 47598 SOS 17820 HAS SOPS 17820 HAS SOUS 12949 HAS SOUPS 12949 WITH SCORE 12966.82
AT ITER 1159 NEW BEST:: SOT 47586 SOS 17816 HAS SOPS 17816 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12954.816
AT ITER 1172 NEW BEST:: SOT 47567 SOS 17792 HAS SOPS 17792 HAS SOUS 12913 HAS SOUPS 12913 WITH SCORE 12930.792
AT ITER 1178 NEW BEST:: SOT 47549 SOS 17774 HAS SOPS 17774 HAS SOUS 12887 HAS SOUPS 12887 WITH SCORE 12904.774
AT ITER 1181 NEW BEST:: SOT 47514 SOS 17704 HAS SOPS 17704 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12834.704
AT ITER 1191 NEW BEST:: SOT 47511 SOS 17681 HAS SOPS 17681 HAS SOUS 12794 HAS SOUPS 12794 WITH SCORE 12811.681
AT ITER 1194 NEW BEST:: SOT 47501 SOS 17661 HAS SOPS 17661 HAS SOUS 12774 HAS SOUPS 12774 WITH SCORE 12791.661
AT ITER 1239 NEW BEST:: SOT 47505 SOS 17665 HAS SOPS 17665 HAS SOUS 12771 HAS SOUPS 12771 WITH SCORE 12788.665
AT ITER 1247 NEW BEST:: SOT 47485 SOS 17625 HAS SOPS 17625 HAS SOUS 12721 HAS SOUPS 12721 WITH SCORE 12738.625
AT ITER 1275 NEW BEST:: SOT 47433 SOS 17550 HAS SOPS 17550 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12715.55
AT ITER 1276 NEW BEST:: SOT 47426 SOS 17536 HAS SOPS 17536 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12701.536
AT ITER 1280 NEW BEST:: SOT 47419 SOS 17515 HAS SOPS 17515 HAS SOUS 12670 HAS SOUPS 12670 WITH SCORE 12687.515
AT ITER 1281 NEW BEST:: SOT 47413 SOS 17506 HAS SOPS 17506 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12681.506
AT ITER 1284 NEW BEST:: SOT 47392 SOS 17514 HAS SOPS 17514 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12678.514
AT ITER 1292 NEW BEST:: SOT 47373 SOS 17495 HAS SOPS 17495 HAS SOUS 12642 HAS SOUPS 12642 WITH SCORE 12659.495
AT ITER 1327 NEW BEST:: SOT 47370 SOS 17489 HAS SOPS 17489 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12653.489
AT ITER 1354 NEW BEST:: SOT 47353 SOS 17472 HAS SOPS 17472 HAS SOUS 12617 HAS SOUPS 12617 WITH SCORE 12634.472
AT ITER 1359 NEW BEST:: SOT 47343 SOS 17452 HAS SOPS 17452 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12614.452
AT ITER 1372 NEW BEST:: SOT 47341 SOS 17446 HAS SOPS 17446 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12610.446
AT ITER 1376 NEW BEST:: SOT 47341 SOS 17342 HAS SOPS 17342 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12598.342
AT ITER 1378 NEW BEST:: SOT 47341 SOS 17335 HAS SOPS 17335 HAS SOUS 12574 HAS SOUPS 12574 WITH SCORE 12591.335
AT ITER 1443 NEW BEST:: SOT 47339 SOS 17319 HAS SOPS 17319 HAS SOUS 12556 HAS SOUPS 12556 WITH SCORE 12573.319
AT ITER 1451 NEW BEST:: SOT 47349 SOS 17339 HAS SOPS 17339 HAS SOUS 12546 HAS SOUPS 12546 WITH SCORE 12563.339
AT ITER 1453 NEW BEST:: SOT 47324 SOS 17262 HAS SOPS 17262 HAS SOUS 12497 HAS SOUPS 12497 WITH SCORE 12514.262
AT ITER 1469 NEW BEST:: SOT 47324 SOS 17198 HAS SOPS 17198 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12492.198
AT ITER 1471 NEW BEST:: SOT 47318 SOS 17181 HAS SOPS 17181 HAS SOUS 12458 HAS SOUPS 12458 WITH SCORE 12475.181
AT ITER 1482 NEW BEST:: SOT 47275 SOS 17156 HAS SOPS 17156 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12456.156
AT ITER 1484 NEW BEST:: SOT 47251 SOS 17081 HAS SOPS 17081 HAS SOUS 12366 HAS SOUPS 12366 WITH SCORE 12383.081
AT ITER 1517 NEW BEST:: SOT 47245 SOS 17075 HAS SOPS 17075 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12377.075
AT ITER 1531 NEW BEST:: SOT 47245 SOS 17075 HAS SOPS 17075 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12376.075
AT ITER 1539 NEW BEST:: SOT 47255 SOS 17069 HAS SOPS 17069 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12372.069
AT ITER 1540 NEW BEST:: SOT 47246 SOS 17060 HAS SOPS 17060 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12372.06
AT ITER 1551 NEW BEST:: SOT 47210 SOS 17014 HAS SOPS 17014 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12331.014
AT ITER 1558 NEW BEST:: SOT 47210 SOS 16975 HAS SOPS 16975 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12330.975
AT ITER 1567 NEW BEST:: SOT 47168 SOS 16891 HAS SOPS 16891 HAS SOUS 12251 HAS SOUPS 12251 WITH SCORE 12267.891
AT ITER 1593 NEW BEST:: SOT 47167 SOS 16835 HAS SOPS 16835 HAS SOUS 12249 HAS SOUPS 12249 WITH SCORE 12265.835
AT ITER 1611 NEW BEST:: SOT 47137 SOS 16825 HAS SOPS 16825 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12248.825
AT ITER 1734 NEW BEST:: SOT 47133 SOS 16827 HAS SOPS 16827 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12244.827
AT ITER 1742 NEW BEST:: SOT 47133 SOS 16827 HAS SOPS 16827 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12240.827
AT ITER 1759 NEW BEST:: SOT 47133 SOS 16806 HAS SOPS 16806 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12219.806
AT ITER 1763 NEW BEST:: SOT 47185 SOS 16858 HAS SOPS 16858 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12210.858
AT ITER 1771 NEW BEST:: SOT 47185 SOS 16856 HAS SOPS 16856 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12208.856
AT ITER 1773 NEW BEST:: SOT 47185 SOS 16859 HAS SOPS 16859 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12207.859
AT ITER 1778 NEW BEST:: SOT 47129 SOS 16755 HAS SOPS 16755 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12138.755
AT ITER 1788 NEW BEST:: SOT 47137 SOS 16751 HAS SOPS 16751 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12134.751
AT ITER 1833 NEW BEST:: SOT 47041 SOS 16655 HAS SOPS 16655 HAS SOUS 12022 HAS SOUPS 12022 WITH SCORE 12038.655
AT ITER 1856 NEW BEST:: SOT 47027 SOS 16627 HAS SOPS 16627 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12010.627
AT ITER 1866 NEW BEST:: SOT 47021 SOS 16603 HAS SOPS 16603 HAS SOUS 11976 HAS SOUPS 11976 WITH SCORE 11992.603
AT ITER 1878 NEW BEST:: SOT 47017 SOS 16599 HAS SOPS 16599 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11988.599
AT ITER 1893 NEW BEST:: SOT 46991 SOS 16568 HAS SOPS 16568 HAS SOUS 11971 HAS SOUPS 11971 WITH SCORE 11987.568
AT ITER 1926 NEW BEST:: SOT 46991 SOS 16568 HAS SOPS 16568 HAS SOUS 11963 HAS SOUPS 11963 WITH SCORE 11979.568
AT ITER 1943 NEW BEST:: SOT 46991 SOS 16566 HAS SOPS 16566 HAS SOUS 11962 HAS SOUPS 11962 WITH SCORE 11978.566
AT ITER 1956 NEW BEST:: SOT 46988 SOS 16560 HAS SOPS 16560 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11972.56
AT ITER 1959 NEW BEST:: SOT 46984 SOS 16556 HAS SOPS 16556 HAS SOUS 11952 HAS SOUPS 11952 WITH SCORE 11968.556
AT ITER 1975 NEW BEST:: SOT 46948 SOS 16534 HAS SOPS 16534 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11938.534
AT ITER 2007 NEW BEST:: SOT 46948 SOS 16532 HAS SOPS 16532 HAS SOUS 11901 HAS SOUPS 11901 WITH SCORE 11917.532
AT ITER 2021 NEW BEST:: SOT 46955 SOS 16529 HAS SOPS 16529 HAS SOUS 11891 HAS SOUPS 11891 WITH SCORE 11907.529
AT ITER 2037 NEW BEST:: SOT 46952 SOS 16520 HAS SOPS 16520 HAS SOUS 11882 HAS SOUPS 11882 WITH SCORE 11898.52
AT ITER 2050 NEW BEST:: SOT 46955 SOS 16485 HAS SOPS 16485 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11863.485
AT ITER 2090 NEW BEST:: SOT 46954 SOS 16475 HAS SOPS 16475 HAS SOUS 11841 HAS SOUPS 11841 WITH SCORE 11857.475
AT ITER 2098 NEW BEST:: SOT 46891 SOS 16457 HAS SOPS 16457 HAS SOUS 11823 HAS SOUPS 11823 WITH SCORE 11839.457
AT ITER 2104 NEW BEST:: SOT 46888 SOS 16423 HAS SOPS 16423 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11805.423
AT ITER 2106 NEW BEST:: SOT 46884 SOS 16415 HAS SOPS 16415 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11797.415
AT ITER 2119 NEW BEST:: SOT 46884 SOS 16415 HAS SOPS 16415 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11788.415
AT ITER 2153 NEW BEST:: SOT 46863 SOS 16393 HAS SOPS 16393 HAS SOUS 11750 HAS SOUPS 11750 WITH SCORE 11766.393
AT ITER 2215 NEW BEST:: SOT 46863 SOS 16392 HAS SOPS 16392 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11765.392
AT ITER 2241 NEW BEST:: SOT 46843 SOS 16367 HAS SOPS 16367 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11728.367
AT ITER 2299 NEW BEST:: SOT 46825 SOS 16325 HAS SOPS 16325 HAS SOUS 11690 HAS SOUPS 11690 WITH SCORE 11706.325
AT ITER 2300 NEW BEST:: SOT 46806 SOS 16296 HAS SOPS 16296 HAS SOUS 11661 HAS SOUPS 11661 WITH SCORE 11677.296
AT ITER 2309 NEW BEST:: SOT 46813 SOS 16289 HAS SOPS 16289 HAS SOUS 11654 HAS SOUPS 11654 WITH SCORE 11670.289
AT ITER 2327 NEW BEST:: SOT 46809 SOS 16281 HAS SOPS 16281 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11662.281
AT ITER 2356 NEW BEST:: SOT 46803 SOS 16273 HAS SOPS 16273 HAS SOUS 11638 HAS SOUPS 11638 WITH SCORE 11654.273
AT ITER 2365 NEW BEST:: SOT 46786 SOS 16231 HAS SOPS 16231 HAS SOUS 11600 HAS SOUPS 11600 WITH SCORE 11616.231
AT ITER 2369 NEW BEST:: SOT 46716 SOS 16616 HAS SOPS 16616 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11600.616
AT ITER 2373 NEW BEST:: SOT 46715 SOS 16613 HAS SOPS 16613 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11597.613
AT ITER 2383 NEW BEST:: SOT 46715 SOS 16580 HAS SOPS 16580 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11531.58
AT ITER 2395 NEW BEST:: SOT 46683 SOS 16545 HAS SOPS 16545 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11496.545
AT ITER 2434 NEW BEST:: SOT 46682 SOS 16543 HAS SOPS 16543 HAS SOUS 11478 HAS SOUPS 11478 WITH SCORE 11494.543
AT ITER 2444 NEW BEST:: SOT 46682 SOS 16531 HAS SOPS 16531 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11482.531
AT ITER 2449 NEW BEST:: SOT 46734 SOS 16529 HAS SOPS 16529 HAS SOUS 11464 HAS SOUPS 11464 WITH SCORE 11480.529
AT ITER 2453 NEW BEST:: SOT 46759 SOS 16528 HAS SOPS 16528 HAS SOUS 11463 HAS SOUPS 11463 WITH SCORE 11479.528
AT ITER 2472 NEW BEST:: SOT 46757 SOS 16525 HAS SOPS 16525 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11476.525
AT ITER 2473 NEW BEST:: SOT 46755 SOS 16521 HAS SOPS 16521 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11470.521
AT ITER 2482 NEW BEST:: SOT 46756 SOS 16521 HAS SOPS 16521 HAS SOUS 11453 HAS SOUPS 11453 WITH SCORE 11469.521
AT ITER 2506 NEW BEST:: SOT 46733 SOS 16496 HAS SOPS 16496 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11457.496
AT ITER 2522 NEW BEST:: SOT 46730 SOS 16414 HAS SOPS 16414 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11354.414
AT ITER 2536 NEW BEST:: SOT 46700 SOS 16377 HAS SOPS 16377 HAS SOUS 11301 HAS SOUPS 11301 WITH SCORE 11317.377
AT ITER 2548 NEW BEST:: SOT 46697 SOS 16476 HAS SOPS 16476 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11313.476
AT ITER 2553 NEW BEST:: SOT 46670 SOS 16393 HAS SOPS 16393 HAS SOUS 11214 HAS SOUPS 11214 WITH SCORE 11230.393
AT ITER 2555 NEW BEST:: SOT 46670 SOS 16461 HAS SOPS 16461 HAS SOUS 11204 HAS SOUPS 11204 WITH SCORE 11220.461
AT ITER 2557 NEW BEST:: SOT 46670 SOS 16454 HAS SOPS 16454 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11213.454
AT ITER 2591 NEW BEST:: SOT 46643 SOS 16430 HAS SOPS 16430 HAS SOUS 11173 HAS SOUPS 11173 WITH SCORE 11189.43
AT ITER 2608 NEW BEST:: SOT 46642 SOS 16428 HAS SOPS 16428 HAS SOUS 11171 HAS SOUPS 11171 WITH SCORE 11187.428
AT ITER 2628 NEW BEST:: SOT 46633 SOS 16409 HAS SOPS 16409 HAS SOUS 11152 HAS SOUPS 11152 WITH SCORE 11168.409
AT ITER 2640 NEW BEST:: SOT 46577 SOS 16585 HAS SOPS 16585 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11135.585
AT ITER 2642 NEW BEST:: SOT 46577 SOS 16560 HAS SOPS 16560 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11125.56
AT ITER 2646 NEW BEST:: SOT 46577 SOS 16512 HAS SOPS 16512 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11125.512
AT ITER 2649 NEW BEST:: SOT 46577 SOS 16503 HAS SOPS 16503 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11125.503
AT ITER 2654 NEW BEST:: SOT 46561 SOS 16411 HAS SOPS 16411 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11084.411
AT ITER 2660 NEW BEST:: SOT 46538 SOS 16385 HAS SOPS 16385 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11010.385
AT ITER 2728 NEW BEST:: SOT 46538 SOS 16384 HAS SOPS 16384 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11009.384
AT ITER 2742 NEW BEST:: SOT 46529 SOS 16375 HAS SOPS 16375 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11009.375
AT ITER 2792 NEW BEST:: SOT 46518 SOS 16364 HAS SOPS 16364 HAS SOUS 10982 HAS SOUPS 10982 WITH SCORE 10998.364
AT ITER 2800 NEW BEST:: SOT 46518 SOS 16361 HAS SOPS 16361 HAS SOUS 10979 HAS SOUPS 10979 WITH SCORE 10995.361
AT ITER 2802 NEW BEST:: SOT 46493 SOS 16324 HAS SOPS 16324 HAS SOUS 10954 HAS SOUPS 10954 WITH SCORE 10970.324
AT ITER 2806 NEW BEST:: SOT 46485 SOS 16311 HAS SOPS 16311 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10969.311
AT ITER 2808 NEW BEST:: SOT 46482 SOS 16305 HAS SOPS 16305 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10963.305
AT ITER 2882 NEW BEST:: SOT 46482 SOS 16287 HAS SOPS 16287 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10963.287
AT ITER 2883 NEW BEST:: SOT 46448 SOS 16263 HAS SOPS 16263 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10917.263
AT ITER 2891 NEW BEST:: SOT 46400 SOS 16205 HAS SOPS 16205 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10897.205
AT ITER 2903 NEW BEST:: SOT 46397 SOS 16202 HAS SOPS 16202 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10894.202
AT ITER 2921 NEW BEST:: SOT 46397 SOS 16182 HAS SOPS 16182 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10894.182
AT ITER 2925 NEW BEST:: SOT 46394 SOS 16151 HAS SOPS 16151 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10877.151
AT ITER 2979 NEW BEST:: SOT 46384 SOS 16073 HAS SOPS 16073 HAS SOUS 10841 HAS SOUPS 10841 WITH SCORE 10857.073
AT ITER 2981 NEW BEST:: SOT 46381 SOS 16067 HAS SOPS 16067 HAS SOUS 10835 HAS SOUPS 10835 WITH SCORE 10851.067
AT ITER 3010 NEW BEST:: SOT 46378 SOS 16064 HAS SOPS 16064 HAS SOUS 10823 HAS SOUPS 10823 WITH SCORE 10839.064
AT ITER 3014 NEW BEST:: SOT 46376 SOS 16052 HAS SOPS 16052 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10827.052
AT ITER 3015 NEW BEST:: SOT 46375 SOS 16050 HAS SOPS 16050 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10825.05
AT ITER 3022 NEW BEST:: SOT 46375 SOS 16044 HAS SOPS 16044 HAS SOUS 10803 HAS SOUPS 10803 WITH SCORE 10819.044
AT ITER 3023 NEW BEST:: SOT 46368 SOS 16030 HAS SOPS 16030 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10805.03
AT ITER 3037 NEW BEST:: SOT 46385 SOS 16044 HAS SOPS 16044 HAS SOUS 10771 HAS SOUPS 10771 WITH SCORE 10787.044
AT ITER 3063 NEW BEST:: SOT 46406 SOS 16046 HAS SOPS 16046 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10763.046
AT ITER 3068 NEW BEST:: SOT 46400 SOS 16043 HAS SOPS 16043 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10760.043
AT ITER 3089 NEW BEST:: SOT 46387 SOS 16030 HAS SOPS 16030 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10747.03
AT ITER 3106 NEW BEST:: SOT 46389 SOS 16025 HAS SOPS 16025 HAS SOUS 10726 HAS SOUPS 10726 WITH SCORE 10742.025
AT ITER 3122 NEW BEST:: SOT 46361 SOS 15985 HAS SOPS 15985 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10699.985
AT ITER 3174 NEW BEST:: SOT 46370 SOS 15977 HAS SOPS 15977 HAS SOUS 10676 HAS SOUPS 10676 WITH SCORE 10691.977
AT ITER 3204 NEW BEST:: SOT 46370 SOS 15977 HAS SOPS 15977 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10687.977
AT ITER 3224 NEW BEST:: SOT 46344 SOS 15925 HAS SOPS 15925 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10669.925
AT ITER 3227 NEW BEST:: SOT 46301 SOS 15903 HAS SOPS 15903 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10647.903
AT ITER 3231 NEW BEST:: SOT 46297 SOS 15869 HAS SOPS 15869 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10645.869
AT ITER 3249 NEW BEST:: SOT 46304 SOS 15866 HAS SOPS 15866 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10642.866
AT ITER 3250 NEW BEST:: SOT 46298 SOS 15854 HAS SOPS 15854 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10630.854
AT ITER 3284 NEW BEST:: SOT 46298 SOS 15837 HAS SOPS 15837 HAS SOUS 10598 HAS SOUPS 10598 WITH SCORE 10613.837
AT ITER 3293 NEW BEST:: SOT 46304 SOS 15827 HAS SOPS 15827 HAS SOUS 10588 HAS SOUPS 10588 WITH SCORE 10603.827
AT ITER 3333 NEW BEST:: SOT 46277 SOS 15773 HAS SOPS 15773 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10576.773
AT ITER 3334 NEW BEST:: SOT 46277 SOS 15727 HAS SOPS 15727 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10576.727
AT ITER 3340 NEW BEST:: SOT 46261 SOS 15695 HAS SOPS 15695 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10564.695
AT ITER 3375 NEW BEST:: SOT 46272 SOS 15580 HAS SOPS 15580 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10556.58
AT ITER 3410 NEW BEST:: SOT 46272 SOS 15577 HAS SOPS 15577 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10556.577
AT ITER 3413 NEW BEST:: SOT 46270 SOS 15575 HAS SOPS 15575 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10554.575
AT ITER 3427 NEW BEST:: SOT 46269 SOS 15573 HAS SOPS 15573 HAS SOUS 10538 HAS SOUPS 10538 WITH SCORE 10553.573
AT ITER 3437 NEW BEST:: SOT 46167 SOS 15463 HAS SOPS 15463 HAS SOUS 10428 HAS SOUPS 10428 WITH SCORE 10443.463
AT ITER 3438 NEW BEST:: SOT 46166 SOS 15462 HAS SOPS 15462 HAS SOUS 10427 HAS SOUPS 10427 WITH SCORE 10442.462
AT ITER 3445 NEW BEST:: SOT 46159 SOS 15451 HAS SOPS 15451 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10434.451
AT ITER 3474 NEW BEST:: SOT 46124 SOS 15408 HAS SOPS 15408 HAS SOUS 10401 HAS SOUPS 10401 WITH SCORE 10416.408
AT ITER 3496 NEW BEST:: SOT 46108 SOS 15400 HAS SOPS 15400 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10400.4
AT ITER 3499 NEW BEST:: SOT 46087 SOS 15358 HAS SOPS 15358 HAS SOUS 10361 HAS SOUPS 10361 WITH SCORE 10376.358
AT ITER 3502 NEW BEST:: SOT 46097 SOS 15364 HAS SOPS 15364 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10351.364
AT ITER 3516 NEW BEST:: SOT 46102 SOS 15369 HAS SOPS 15369 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10341.369
AT ITER 3578 NEW BEST:: SOT 46102 SOS 15357 HAS SOPS 15357 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10329.357
AT ITER 3586 NEW BEST:: SOT 46095 SOS 15343 HAS SOPS 15343 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10315.343
AT ITER 3613 NEW BEST:: SOT 46095 SOS 15334 HAS SOPS 15334 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10306.334
AT ITER 3617 NEW BEST:: SOT 46078 SOS 15365 HAS SOPS 15365 HAS SOUS 10253 HAS SOUPS 10253 WITH SCORE 10268.365
AT ITER 3652 NEW BEST:: SOT 46067 SOS 15343 HAS SOPS 15343 HAS SOUS 10231 HAS SOUPS 10231 WITH SCORE 10246.343
AT ITER 3655 NEW BEST:: SOT 46067 SOS 15341 HAS SOPS 15341 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10244.341
AT ITER 3713 NEW BEST:: SOT 46066 SOS 15250 HAS SOPS 15250 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10237.25
AT ITER 3746 NEW BEST:: SOT 46067 SOS 15249 HAS SOPS 15249 HAS SOUS 10221 HAS SOUPS 10221 WITH SCORE 10236.249
AT ITER 3795 NEW BEST:: SOT 46040 SOS 15209 HAS SOPS 15209 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10228.209
AT ITER 3797 NEW BEST:: SOT 46056 SOS 15224 HAS SOPS 15224 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10226.224
AT ITER 3832 NEW BEST:: SOT 45988 SOS 15137 HAS SOPS 15137 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10151.137
AT ITER 3950 NEW BEST:: SOT 45981 SOS 15130 HAS SOPS 15130 HAS SOUS 10129 HAS SOUPS 10129 WITH SCORE 10144.13
AT ITER 3966 NEW BEST:: SOT 45981 SOS 15117 HAS SOPS 15117 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10131.117
AT ITER 3992 NEW BEST:: SOT 45988 SOS 15100 HAS SOPS 15100 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10114.1
AT ITER 4034 NEW BEST:: SOT 45984 SOS 15098 HAS SOPS 15098 HAS SOUS 10095 HAS SOUPS 10095 WITH SCORE 10110.098
AT ITER 4047 NEW BEST:: SOT 45984 SOS 15095 HAS SOPS 15095 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10099.095
AT ITER 4049 NEW BEST:: SOT 45989 SOS 15089 HAS SOPS 15089 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10085.089
AT ITER 4052 NEW BEST:: SOT 45985 SOS 15086 HAS SOPS 15086 HAS SOUS 10067 HAS SOUPS 10067 WITH SCORE 10082.086
AT ITER 4057 NEW BEST:: SOT 45976 SOS 15051 HAS SOPS 15051 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10073.051
AT ITER 4060 NEW BEST:: SOT 46004 SOS 15084 HAS SOPS 15084 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10025.084
AT ITER 4070 NEW BEST:: SOT 45993 SOS 15068 HAS SOPS 15068 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9948.068
AT ITER 4093 NEW BEST:: SOT 45951 SOS 15017 HAS SOPS 15017 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9886.017
AT ITER 4117 NEW BEST:: SOT 45949 SOS 15007 HAS SOPS 15007 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9876.007
AT ITER 4131 NEW BEST:: SOT 45937 SOS 14983 HAS SOPS 14983 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9855.983
AT ITER 4138 NEW BEST:: SOT 45939 SOS 14973 HAS SOPS 14973 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9845.973
AT ITER 4179 NEW BEST:: SOT 45936 SOS 14991 HAS SOPS 14991 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9842.991
AT ITER 4195 NEW BEST:: SOT 45935 SOS 14989 HAS SOPS 14989 HAS SOUS 9826 HAS SOUPS 9826 WITH SCORE 9840.989
AT ITER 4216 NEW BEST:: SOT 45935 SOS 14984 HAS SOPS 14984 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9839.984
AT ITER 4217 NEW BEST:: SOT 45922 SOS 14948 HAS SOPS 14948 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9812.948
AT ITER 4221 NEW BEST:: SOT 45895 SOS 14931 HAS SOPS 14931 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9788.931
AT ITER 4241 NEW BEST:: SOT 45894 SOS 14930 HAS SOPS 14930 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9788.93
AT ITER 4261 NEW BEST:: SOT 45894 SOS 14930 HAS SOPS 14930 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9779.93
AT ITER 4280 NEW BEST:: SOT 45879 SOS 14915 HAS SOPS 14915 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9764.915
AT ITER 4317 NEW BEST:: SOT 45873 SOS 14883 HAS SOPS 14883 HAS SOUS 9718 HAS SOUPS 9718 WITH SCORE 9732.883
AT ITER 4347 NEW BEST:: SOT 45873 SOS 14882 HAS SOPS 14882 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9731.882
AT ITER 4367 NEW BEST:: SOT 45865 SOS 14850 HAS SOPS 14850 HAS SOUS 9709 HAS SOUPS 9709 WITH SCORE 9723.85
AT ITER 4371 NEW BEST:: SOT 45857 SOS 14836 HAS SOPS 14836 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9715.836
AT ITER 4397 NEW BEST:: SOT 45848 SOS 14822 HAS SOPS 14822 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9713.822
AT ITER 4408 NEW BEST:: SOT 45845 SOS 14869 HAS SOPS 14869 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9707.869
AT ITER 4435 NEW BEST:: SOT 45814 SOS 14843 HAS SOPS 14843 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9701.843
AT ITER 4460 NEW BEST:: SOT 45810 SOS 14839 HAS SOPS 14839 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9697.839
AT ITER 4499 NEW BEST:: SOT 45796 SOS 14825 HAS SOPS 14825 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9683.825
AT ITER 4511 NEW BEST:: SOT 45796 SOS 14821 HAS SOPS 14821 HAS SOUS 9665 HAS SOUPS 9665 WITH SCORE 9679.821
AT ITER 4581 NEW BEST:: SOT 45796 SOS 14815 HAS SOPS 14815 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9678.815
AT ITER 4582 NEW BEST:: SOT 45793 SOS 14812 HAS SOPS 14812 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9675.812
AT ITER 4595 NEW BEST:: SOT 45791 SOS 14810 HAS SOPS 14810 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9675.81
AT ITER 4642 NEW BEST:: SOT 45791 SOS 14806 HAS SOPS 14806 HAS SOUS 9660 HAS SOUPS 9660 WITH SCORE 9674.806
AT ITER 4643 NEW BEST:: SOT 45779 SOS 14791 HAS SOPS 14791 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9659.791
AT ITER 4691 NEW BEST:: SOT 45770 SOS 14779 HAS SOPS 14779 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9629.779
AT ITER 4696 NEW BEST:: SOT 45768 SOS 14775 HAS SOPS 14775 HAS SOUS 9613 HAS SOUPS 9613 WITH SCORE 9627.775
AT ITER 4705 NEW BEST:: SOT 45769 SOS 14770 HAS SOPS 14770 HAS SOUS 9612 HAS SOUPS 9612 WITH SCORE 9626.77
AT ITER 4752 NEW BEST:: SOT 45770 SOS 14763 HAS SOPS 14763 HAS SOUS 9605 HAS SOUPS 9605 WITH SCORE 9619.763
AT ITER 4789 NEW BEST:: SOT 45727 SOS 14723 HAS SOPS 14723 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9602.723
AT ITER 4803 NEW BEST:: SOT 45723 SOS 14719 HAS SOPS 14719 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9598.719
AT ITER 4862 NEW BEST:: SOT 45752 SOS 14759 HAS SOPS 14759 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9593.759
AT ITER 4867 NEW BEST:: SOT 45752 SOS 14753 HAS SOPS 14753 HAS SOUS 9579 HAS SOUPS 9579 WITH SCORE 9593.753
AT ITER 4883 NEW BEST:: SOT 45706 SOS 14697 HAS SOPS 14697 HAS SOUS 9523 HAS SOUPS 9523 WITH SCORE 9537.697
AT ITER 4891 NEW BEST:: SOT 45693 SOS 14736 HAS SOPS 14736 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9530.736
AT ITER 4899 NEW BEST:: SOT 45693 SOS 14736 HAS SOPS 14736 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9524.736
AT ITER 4912 NEW BEST:: SOT 45693 SOS 14736 HAS SOPS 14736 HAS SOUS 9461 HAS SOUPS 9461 WITH SCORE 9475.736
AT ITER 4937 NEW BEST:: SOT 45693 SOS 14735 HAS SOPS 14735 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9473.735
AT ITER 4968 NEW BEST:: SOT 45681 SOS 14723 HAS SOPS 14723 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9461.723
AT ITER 4978 NEW BEST:: SOT 45672 SOS 14705 HAS SOPS 14705 HAS SOUS 9445 HAS SOUPS 9445 WITH SCORE 9459.705
AT ITER 4986 NEW BEST:: SOT 45672 SOS 14704 HAS SOPS 14704 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9458.704
AT ITER 4995 NEW BEST:: SOT 45667 SOS 14722 HAS SOPS 14722 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9448.722
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-04-CTLFireability-00 (! (AG( ( ( (! ((potential((tk(P1)>=1))))) | (! ((potential((tk(P111)>=1))))) ) | (! (! ((potential((tk(P65)>=1)))))) ))))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-01 ( (! ((potential((tk(P209)>=1))))) & (AG( (EF( ( ((potential((tk(P152)>=1) & (tk(P25)>=1) & (tk(P258)>=1)))) & ((potential((tk(P157)>=1) & (tk(P86)>=1) & (tk(P262)>=1)))) ))))) )
PROPERTY: BusinessProcesses-PT-04-CTLFireability-02 ( (! ( ((potential((tk(P220)>=1)))) | (AF( (! ((potential((tk(P182)>=1) & (tk(P73)>=1) & (tk(P286)>=1))))))) )) | (AG( ( ( ((potential((tk(P281)>=1) & (tk(P278)>=1)))) | (! ((potential((tk(P111)>=1))))) ) | ( (! ((potential((tk(P182)>=1) & (tk(P73)>=1) & (tk(P280)>=1))))) | ((potential((tk(P4)>=1)))) ) ))) )
PROPERTY: BusinessProcesses-PT-04-CTLFireability-03 (! ( ((potential((tk(P97)>=1)))) | (EF( ( ((potential((tk(P152)>=1) & (tk(P25)>=1) & (tk(P258)>=1)))) | ((potential((tk(P218)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-04 (EU( (! ( (! ((potential((tk(P288)>=1))))) & ( ((potential((tk(P182)>=1) & (tk(P83)>=1) & (tk(P280)>=1)))) & ((potential((tk(P182)>=1) & (tk(P83)>=1) & (tk(P280)>=1)))) ) )) , ( ((potential((tk(P199)>=1)))) & (EG( ((potential((tk(P281)>=1) & (tk(P278)>=1)))))) ) ))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-05 (! (AG( (! ((potential((tk(P182)>=1) & (tk(P73)>=1) & (tk(P286)>=1))))))))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-06 (! (AU( (! (! ((potential((tk(P182)>=1) & (tk(P95)>=1) & (tk(P286)>=1)))))) , (EF( ((potential((tk(P74)>=1) & (tk(P242)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-07 (EU( (EG( (! ((potential((tk(P165)>=1))))))) , (EU( ((potential((tk(P191)>=1)))) , ((potential((tk(P146)>=1) & (tk(P11)>=1) & (tk(P254)>=1)))) )) ))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-08 (EF( ( ( (! ( ((potential((tk(P157)>=1) & (tk(P92)>=1) & (tk(P271)>=1)))) | ((potential((tk(P253)>=1)))) )) & ((potential((tk(P152)>=1) & (tk(P31)>=1) & (tk(P258)>=1)))) ) & ((potential((tk(P156)>=1) & (tk(P17)>=1) & (tk(P254)>=1)))) )))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-09 (EF( ( ((potential((tk(P139)>=1)))) | ( ((potential((tk(P270)>=1)))) & (! ( ((potential((tk(P157)>=1) & (tk(P77)>=1) & (tk(P262)>=1)))) | ((potential((tk(P167)>=1) & (tk(P107)>=1) & (tk(P246)>=1)))) )) ) )))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-10 ( ( (EU( ( ((potential((tk(P182)>=1) & (tk(P83)>=1) & (tk(P286)>=1)))) | ((potential((tk(P269)>=1) & (tk(P263)>=1) & (tk(P266)>=1)))) ) , (! ((potential((tk(P8)>=1))))) )) & (EF( ((potential((tk(P222)>=1)))))) ) | ((potential((tk(P213)>=1)))) )
PROPERTY: BusinessProcesses-PT-04-CTLFireability-11 (EU( (EF( ( ((potential((tk(P58)>=1)))) | ((potential((tk(P3)>=1)))) ))) , (EU( ((potential((tk(P5)>=1)))) , ((potential((tk(P82)>=1)))) )) ))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-12 (EF( (AF( (AF( ((potential((tk(P182)>=1) & (tk(P73)>=1) & (tk(P286)>=1))))))))))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-13 (AG( (! ((potential((tk(P39)>=1)))))))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-14 (EF( ( (AU( ((potential((tk(P190)>=1)))) , ((potential((tk(P161)>=1) & (tk(P116)>=1) & (tk(P254)>=1)))) )) | ( (AG( ((potential((tk(P5)>=1)))))) | ((potential((tk(P275)>=1) & (tk(P272)>=1)))) ) )))
PROPERTY: BusinessProcesses-PT-04-CTLFireability-15 ( (EF( ( ( ( ((potential((tk(P84)>=1) & (tk(P78)>=1) & (tk(P81)>=1)))) & ((potential((tk(P179)>=1)))) ) & ((potential((tk(P40)>=1)))) ) | ( (! ((potential((tk(P165)>=1))))) & ( ((potential((tk(P90)>=1) & (tk(P87)>=1)))) | ((potential((tk(P96)>=1) & (tk(P93)>=1)))) ) ) ))) & (! ( ((potential((tk(P177)>=1) & (tk(P70)>=1) & (tk(P238)>=1)))) | ( (AG( ((potential((tk(P281)>=1) & (tk(P278)>=1)))))) | ( ( ((potential((tk(P160)>=1)))) & ((potential((tk(P183)>=1)))) ) & ( ((potential((tk(P228)>=1)))) | ((potential((tk(P133)>=1)))) ) ) ) )) )
FORMULA BusinessProcesses-PT-04-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-04"
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-04, 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-158897680000476"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-04.tgz
mv BusinessProcesses-PT-04 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 ;