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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 3.0K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 177K 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-18-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-18-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869257951

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 18
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: 717 places, 642 transitions, 1860 arcs.
AT ITER 0 NEW BEST:: SOT 292623 SOS 111544 HAS SOPS 111544 HAS SOUS 108469 HAS SOUPS 108469 WITH SCORE 108580.544
AT ITER 1 NEW BEST:: SOT 292410 SOS 111269 HAS SOPS 111269 HAS SOUS 108194 HAS SOUPS 108194 WITH SCORE 108305.269
AT ITER 6 NEW BEST:: SOT 292133 SOS 111058 HAS SOPS 111058 HAS SOUS 107963 HAS SOUPS 107963 WITH SCORE 108074.058
AT ITER 11 NEW BEST:: SOT 291964 SOS 110797 HAS SOPS 110797 HAS SOUS 107761 HAS SOUPS 107761 WITH SCORE 107871.797
AT ITER 13 NEW BEST:: SOT 291945 SOS 110797 HAS SOPS 110797 HAS SOUS 107742 HAS SOUPS 107742 WITH SCORE 107852.797
AT ITER 17 NEW BEST:: SOT 291851 SOS 110756 HAS SOPS 110756 HAS SOUS 107701 HAS SOUPS 107701 WITH SCORE 107811.756
AT ITER 28 NEW BEST:: SOT 291625 SOS 110647 HAS SOPS 110647 HAS SOUS 107475 HAS SOUPS 107475 WITH SCORE 107585.647
AT ITER 32 NEW BEST:: SOT 291438 SOS 110460 HAS SOPS 110460 HAS SOUS 107288 HAS SOUPS 107288 WITH SCORE 107398.46
AT ITER 48 NEW BEST:: SOT 291438 SOS 110328 HAS SOPS 110328 HAS SOUS 107156 HAS SOUPS 107156 WITH SCORE 107266.328
AT ITER 49 NEW BEST:: SOT 291295 SOS 110140 HAS SOPS 110140 HAS SOUS 106970 HAS SOUPS 106970 WITH SCORE 107080.14
AT ITER 50 NEW BEST:: SOT 291295 SOS 109996 HAS SOPS 109996 HAS SOUS 106826 HAS SOUPS 106826 WITH SCORE 106935.996
AT ITER 56 NEW BEST:: SOT 284492 SOS 131542 HAS SOPS 131542 HAS SOUS 100672 HAS SOUPS 100672 WITH SCORE 100803.542
AT ITER 61 NEW BEST:: SOT 284478 SOS 131514 HAS SOPS 131514 HAS SOUS 100644 HAS SOUPS 100644 WITH SCORE 100775.514
AT ITER 67 NEW BEST:: SOT 284152 SOS 131188 HAS SOPS 131188 HAS SOUS 100644 HAS SOUPS 100644 WITH SCORE 100775.188
AT ITER 73 NEW BEST:: SOT 284132 SOS 131112 HAS SOPS 131112 HAS SOUS 100568 HAS SOUPS 100568 WITH SCORE 100699.112
AT ITER 77 NEW BEST:: SOT 283933 SOS 130694 HAS SOPS 130694 HAS SOUS 100536 HAS SOUPS 100536 WITH SCORE 100666.694
AT ITER 88 NEW BEST:: SOT 283617 SOS 130378 HAS SOPS 130378 HAS SOUS 100220 HAS SOUPS 100220 WITH SCORE 100350.378
AT ITER 90 NEW BEST:: SOT 283572 SOS 130280 HAS SOPS 130280 HAS SOUS 100203 HAS SOUPS 100203 WITH SCORE 100333.28
AT ITER 91 NEW BEST:: SOT 283224 SOS 128820 HAS SOPS 128820 HAS SOUS 99383 HAS SOUPS 99383 WITH SCORE 99511.82
AT ITER 98 NEW BEST:: SOT 282991 SOS 128354 HAS SOPS 128354 HAS SOUS 98917 HAS SOUPS 98917 WITH SCORE 99045.354
AT ITER 113 NEW BEST:: SOT 283024 SOS 128080 HAS SOPS 128080 HAS SOUS 98910 HAS SOUPS 98910 WITH SCORE 99038.08
AT ITER 123 NEW BEST:: SOT 282817 SOS 127666 HAS SOPS 127666 HAS SOUS 98703 HAS SOUPS 98703 WITH SCORE 98830.666
AT ITER 126 NEW BEST:: SOT 282592 SOS 127216 HAS SOPS 127216 HAS SOUS 98476 HAS SOUPS 98476 WITH SCORE 98603.216
AT ITER 135 NEW BEST:: SOT 282610 SOS 127171 HAS SOPS 127171 HAS SOUS 98294 HAS SOUPS 98294 WITH SCORE 98421.171
AT ITER 140 NEW BEST:: SOT 282492 SOS 126994 HAS SOPS 126994 HAS SOUS 98176 HAS SOUPS 98176 WITH SCORE 98302.994
AT ITER 150 NEW BEST:: SOT 282295 SOS 126600 HAS SOPS 126600 HAS SOUS 97972 HAS SOUPS 97972 WITH SCORE 98098.6
AT ITER 161 NEW BEST:: SOT 282175 SOS 126238 HAS SOPS 126238 HAS SOUS 97778 HAS SOUPS 97778 WITH SCORE 97904.238
AT ITER 162 NEW BEST:: SOT 282133 SOS 126196 HAS SOPS 126196 HAS SOUS 97736 HAS SOUPS 97736 WITH SCORE 97862.196
AT ITER 183 NEW BEST:: SOT 282133 SOS 126196 HAS SOPS 126196 HAS SOUS 97717 HAS SOUPS 97717 WITH SCORE 97843.196
AT ITER 194 NEW BEST:: SOT 281892 SOS 125949 HAS SOPS 125949 HAS SOUS 97601 HAS SOUPS 97601 WITH SCORE 97726.949
AT ITER 199 NEW BEST:: SOT 281676 SOS 125732 HAS SOPS 125732 HAS SOUS 97599 HAS SOUPS 97599 WITH SCORE 97724.732
AT ITER 214 NEW BEST:: SOT 281436 SOS 125253 HAS SOPS 125253 HAS SOUS 97120 HAS SOUPS 97120 WITH SCORE 97245.253
AT ITER 217 NEW BEST:: SOT 281436 SOS 125251 HAS SOPS 125251 HAS SOUS 97118 HAS SOUPS 97118 WITH SCORE 97243.251
AT ITER 223 NEW BEST:: SOT 281436 SOS 124797 HAS SOPS 124797 HAS SOUS 96919 HAS SOUPS 96919 WITH SCORE 97043.797
AT ITER 224 NEW BEST:: SOT 281154 SOS 124302 HAS SOPS 124302 HAS SOUS 96585 HAS SOUPS 96585 WITH SCORE 96709.302
AT ITER 233 NEW BEST:: SOT 281071 SOS 124136 HAS SOPS 124136 HAS SOUS 96336 HAS SOUPS 96336 WITH SCORE 96460.136
AT ITER 250 NEW BEST:: SOT 281070 SOS 123960 HAS SOPS 123960 HAS SOUS 96247 HAS SOUPS 96247 WITH SCORE 96370.96
AT ITER 251 NEW BEST:: SOT 281042 SOS 124069 HAS SOPS 124069 HAS SOUS 96219 HAS SOUPS 96219 WITH SCORE 96343.069
AT ITER 272 NEW BEST:: SOT 280835 SOS 123672 HAS SOPS 123672 HAS SOUS 95822 HAS SOUPS 95822 WITH SCORE 95945.672
AT ITER 279 NEW BEST:: SOT 280813 SOS 123562 HAS SOPS 123562 HAS SOUS 95587 HAS SOUPS 95587 WITH SCORE 95710.562
AT ITER 281 NEW BEST:: SOT 280813 SOS 123484 HAS SOPS 123484 HAS SOUS 95509 HAS SOUPS 95509 WITH SCORE 95632.484
AT ITER 288 NEW BEST:: SOT 280876 SOS 123423 HAS SOPS 123423 HAS SOUS 95467 HAS SOUPS 95467 WITH SCORE 95590.423
AT ITER 290 NEW BEST:: SOT 280691 SOS 123004 HAS SOPS 123004 HAS SOUS 95239 HAS SOUPS 95239 WITH SCORE 95362.004
AT ITER 302 NEW BEST:: SOT 280487 SOS 122800 HAS SOPS 122800 HAS SOUS 95035 HAS SOUPS 95035 WITH SCORE 95157.8
AT ITER 304 NEW BEST:: SOT 280458 SOS 122742 HAS SOPS 122742 HAS SOUS 94977 HAS SOUPS 94977 WITH SCORE 95099.742
AT ITER 308 NEW BEST:: SOT 280458 SOS 122742 HAS SOPS 122742 HAS SOUS 94962 HAS SOUPS 94962 WITH SCORE 95084.742
AT ITER 313 NEW BEST:: SOT 280405 SOS 122688 HAS SOPS 122688 HAS SOUS 94908 HAS SOUPS 94908 WITH SCORE 95030.688
AT ITER 316 NEW BEST:: SOT 280398 SOS 122674 HAS SOPS 122674 HAS SOUS 94894 HAS SOUPS 94894 WITH SCORE 95016.674
AT ITER 317 NEW BEST:: SOT 280473 SOS 122617 HAS SOPS 122617 HAS SOUS 94837 HAS SOUPS 94837 WITH SCORE 94959.617
AT ITER 323 NEW BEST:: SOT 280466 SOS 122558 HAS SOPS 122558 HAS SOUS 94830 HAS SOUPS 94830 WITH SCORE 94952.558
AT ITER 327 NEW BEST:: SOT 280233 SOS 121979 HAS SOPS 121979 HAS SOUS 94552 HAS SOUPS 94552 WITH SCORE 94673.979
AT ITER 331 NEW BEST:: SOT 280130 SOS 121949 HAS SOPS 121949 HAS SOUS 94522 HAS SOUPS 94522 WITH SCORE 94643.949
AT ITER 334 NEW BEST:: SOT 280128 SOS 121756 HAS SOPS 121756 HAS SOUS 94358 HAS SOUPS 94358 WITH SCORE 94479.756
AT ITER 335 NEW BEST:: SOT 280012 SOS 121609 HAS SOPS 121609 HAS SOUS 94288 HAS SOUPS 94288 WITH SCORE 94409.609
AT ITER 343 NEW BEST:: SOT 279943 SOS 121610 HAS SOPS 121610 HAS SOUS 94245 HAS SOUPS 94245 WITH SCORE 94366.61
AT ITER 346 NEW BEST:: SOT 279943 SOS 121604 HAS SOPS 121604 HAS SOUS 94233 HAS SOUPS 94233 WITH SCORE 94354.604
AT ITER 351 NEW BEST:: SOT 279951 SOS 121372 HAS SOPS 121372 HAS SOUS 94225 HAS SOUPS 94225 WITH SCORE 94346.372
AT ITER 352 NEW BEST:: SOT 279706 SOS 120895 HAS SOPS 120895 HAS SOUS 93853 HAS SOUPS 93853 WITH SCORE 93973.895
AT ITER 358 NEW BEST:: SOT 279146 SOS 120334 HAS SOPS 120334 HAS SOUS 93327 HAS SOUPS 93327 WITH SCORE 93447.334
AT ITER 365 NEW BEST:: SOT 279145 SOS 120332 HAS SOPS 120332 HAS SOUS 93325 HAS SOUPS 93325 WITH SCORE 93445.332
AT ITER 366 NEW BEST:: SOT 279145 SOS 120310 HAS SOPS 120310 HAS SOUS 93303 HAS SOUPS 93303 WITH SCORE 93423.31
AT ITER 368 NEW BEST:: SOT 279144 SOS 120308 HAS SOPS 120308 HAS SOUS 93301 HAS SOUPS 93301 WITH SCORE 93421.308
AT ITER 388 NEW BEST:: SOT 279070 SOS 120182 HAS SOPS 120182 HAS SOUS 93140 HAS SOUPS 93140 WITH SCORE 93260.182
AT ITER 395 NEW BEST:: SOT 278730 SOS 119728 HAS SOPS 119728 HAS SOUS 92686 HAS SOUPS 92686 WITH SCORE 92805.728
AT ITER 401 NEW BEST:: SOT 278734 SOS 119599 HAS SOPS 119599 HAS SOUS 92557 HAS SOUPS 92557 WITH SCORE 92676.599
AT ITER 407 NEW BEST:: SOT 278553 SOS 119417 HAS SOPS 119417 HAS SOUS 92555 HAS SOUPS 92555 WITH SCORE 92674.417
AT ITER 409 NEW BEST:: SOT 278672 SOS 119159 HAS SOPS 119159 HAS SOUS 92534 HAS SOUPS 92534 WITH SCORE 92653.159
AT ITER 410 NEW BEST:: SOT 278671 SOS 119157 HAS SOPS 119157 HAS SOUS 92532 HAS SOUPS 92532 WITH SCORE 92651.157
AT ITER 421 NEW BEST:: SOT 278671 SOS 119157 HAS SOPS 119157 HAS SOUS 92478 HAS SOUPS 92478 WITH SCORE 92597.157
AT ITER 459 NEW BEST:: SOT 278695 SOS 119181 HAS SOPS 119181 HAS SOUS 92438 HAS SOUPS 92438 WITH SCORE 92557.181
AT ITER 467 NEW BEST:: SOT 278579 SOS 119012 HAS SOPS 119012 HAS SOUS 92332 HAS SOUPS 92332 WITH SCORE 92451.012
AT ITER 487 NEW BEST:: SOT 278294 SOS 118609 HAS SOPS 118609 HAS SOUS 92101 HAS SOUPS 92101 WITH SCORE 92219.609
AT ITER 490 NEW BEST:: SOT 278398 SOS 118286 HAS SOPS 118286 HAS SOUS 92021 HAS SOUPS 92021 WITH SCORE 92139.286
AT ITER 491 NEW BEST:: SOT 278533 SOS 118263 HAS SOPS 118263 HAS SOUS 91998 HAS SOUPS 91998 WITH SCORE 92116.263
AT ITER 492 NEW BEST:: SOT 278487 SOS 118225 HAS SOPS 118225 HAS SOUS 91960 HAS SOUPS 91960 WITH SCORE 92078.225
AT ITER 496 NEW BEST:: SOT 278155 SOS 117727 HAS SOPS 117727 HAS SOUS 91628 HAS SOUPS 91628 WITH SCORE 91745.727
AT ITER 509 NEW BEST:: SOT 278137 SOS 117868 HAS SOPS 117868 HAS SOUS 91592 HAS SOUPS 91592 WITH SCORE 91709.868
AT ITER 518 NEW BEST:: SOT 277886 SOS 117580 HAS SOPS 117580 HAS SOUS 91518 HAS SOUPS 91518 WITH SCORE 91635.58
AT ITER 543 NEW BEST:: SOT 275921 SOS 115484 HAS SOPS 115484 HAS SOUS 89553 HAS SOUPS 89553 WITH SCORE 89668.484
AT ITER 547 NEW BEST:: SOT 275920 SOS 115483 HAS SOPS 115483 HAS SOUS 89552 HAS SOUPS 89552 WITH SCORE 89667.483
AT ITER 554 NEW BEST:: SOT 275920 SOS 115483 HAS SOPS 115483 HAS SOUS 89548 HAS SOUPS 89548 WITH SCORE 89663.483
AT ITER 557 NEW BEST:: SOT 275896 SOS 115436 HAS SOPS 115436 HAS SOUS 89524 HAS SOUPS 89524 WITH SCORE 89639.436
AT ITER 560 NEW BEST:: SOT 275795 SOS 115234 HAS SOPS 115234 HAS SOUS 89423 HAS SOUPS 89423 WITH SCORE 89538.234
AT ITER 589 NEW BEST:: SOT 275751 SOS 115229 HAS SOPS 115229 HAS SOUS 89418 HAS SOUPS 89418 WITH SCORE 89533.229
AT ITER 607 NEW BEST:: SOT 275581 SOS 115058 HAS SOPS 115058 HAS SOUS 89416 HAS SOUPS 89416 WITH SCORE 89531.058
AT ITER 615 NEW BEST:: SOT 275581 SOS 115050 HAS SOPS 115050 HAS SOUS 89408 HAS SOUPS 89408 WITH SCORE 89523.05
AT ITER 621 NEW BEST:: SOT 275581 SOS 114971 HAS SOPS 114971 HAS SOUS 89329 HAS SOUPS 89329 WITH SCORE 89443.971
AT ITER 626 NEW BEST:: SOT 275646 SOS 114825 HAS SOPS 114825 HAS SOUS 89209 HAS SOUPS 89209 WITH SCORE 89323.825
AT ITER 642 NEW BEST:: SOT 275562 SOS 114732 HAS SOPS 114732 HAS SOUS 89154 HAS SOUPS 89154 WITH SCORE 89268.732
AT ITER 648 NEW BEST:: SOT 275403 SOS 114366 HAS SOPS 114366 HAS SOUS 88966 HAS SOUPS 88966 WITH SCORE 89080.366
AT ITER 671 NEW BEST:: SOT 275403 SOS 114253 HAS SOPS 114253 HAS SOUS 88853 HAS SOUPS 88853 WITH SCORE 88967.253
AT ITER 672 NEW BEST:: SOT 275391 SOS 114241 HAS SOPS 114241 HAS SOUS 88841 HAS SOUPS 88841 WITH SCORE 88955.241
AT ITER 678 NEW BEST:: SOT 275266 SOS 113991 HAS SOPS 113991 HAS SOUS 88790 HAS SOUPS 88790 WITH SCORE 88903.991
AT ITER 681 NEW BEST:: SOT 275251 SOS 113976 HAS SOPS 113976 HAS SOUS 88775 HAS SOUPS 88775 WITH SCORE 88888.976
AT ITER 682 NEW BEST:: SOT 275142 SOS 113863 HAS SOPS 113863 HAS SOUS 88731 HAS SOUPS 88731 WITH SCORE 88844.863
AT ITER 687 NEW BEST:: SOT 274964 SOS 113685 HAS SOPS 113685 HAS SOUS 88553 HAS SOUPS 88553 WITH SCORE 88666.685
AT ITER 689 NEW BEST:: SOT 275086 SOS 113807 HAS SOPS 113807 HAS SOUS 88542 HAS SOUPS 88542 WITH SCORE 88655.807
AT ITER 698 NEW BEST:: SOT 275104 SOS 113844 HAS SOPS 113844 HAS SOUS 88381 HAS SOUPS 88381 WITH SCORE 88494.844
AT ITER 702 NEW BEST:: SOT 274940 SOS 113514 HAS SOPS 113514 HAS SOUS 88051 HAS SOUPS 88051 WITH SCORE 88164.514
AT ITER 708 NEW BEST:: SOT 274916 SOS 113466 HAS SOPS 113466 HAS SOUS 88003 HAS SOUPS 88003 WITH SCORE 88116.466
AT ITER 711 NEW BEST:: SOT 274914 SOS 113411 HAS SOPS 113411 HAS SOUS 87835 HAS SOUPS 87835 WITH SCORE 87948.411
AT ITER 712 NEW BEST:: SOT 274923 SOS 113325 HAS SOPS 113325 HAS SOUS 87749 HAS SOUPS 87749 WITH SCORE 87862.325
AT ITER 722 NEW BEST:: SOT 274766 SOS 113168 HAS SOPS 113168 HAS SOUS 87592 HAS SOUPS 87592 WITH SCORE 87705.168
AT ITER 727 NEW BEST:: SOT 274737 SOS 113139 HAS SOPS 113139 HAS SOUS 87563 HAS SOUPS 87563 WITH SCORE 87676.139
AT ITER 730 NEW BEST:: SOT 274737 SOS 113139 HAS SOPS 113139 HAS SOUS 87497 HAS SOUPS 87497 WITH SCORE 87610.139
AT ITER 731 NEW BEST:: SOT 274686 SOS 113087 HAS SOPS 113087 HAS SOUS 87445 HAS SOUPS 87445 WITH SCORE 87558.087
AT ITER 738 NEW BEST:: SOT 274620 SOS 112880 HAS SOPS 112880 HAS SOUS 87382 HAS SOUPS 87382 WITH SCORE 87494.88
AT ITER 739 NEW BEST:: SOT 274676 SOS 112870 HAS SOPS 112870 HAS SOUS 87372 HAS SOUPS 87372 WITH SCORE 87484.87
AT ITER 747 NEW BEST:: SOT 274692 SOS 112923 HAS SOPS 112923 HAS SOUS 87361 HAS SOUPS 87361 WITH SCORE 87473.923
AT ITER 766 NEW BEST:: SOT 274643 SOS 112923 HAS SOPS 112923 HAS SOUS 87312 HAS SOUPS 87312 WITH SCORE 87424.923
AT ITER 769 NEW BEST:: SOT 274555 SOS 112318 HAS SOPS 112318 HAS SOUS 86838 HAS SOUPS 86838 WITH SCORE 86950.318
AT ITER 783 NEW BEST:: SOT 274467 SOS 112230 HAS SOPS 112230 HAS SOUS 86750 HAS SOUPS 86750 WITH SCORE 86862.23
AT ITER 792 NEW BEST:: SOT 274451 SOS 112198 HAS SOPS 112198 HAS SOUS 86700 HAS SOUPS 86700 WITH SCORE 86812.198
AT ITER 795 NEW BEST:: SOT 274500 SOS 112157 HAS SOPS 112157 HAS SOUS 86659 HAS SOUPS 86659 WITH SCORE 86771.157
AT ITER 803 NEW BEST:: SOT 274500 SOS 111911 HAS SOPS 111911 HAS SOUS 86504 HAS SOUPS 86504 WITH SCORE 86615.911
AT ITER 804 NEW BEST:: SOT 274440 SOS 111849 HAS SOPS 111849 HAS SOUS 86500 HAS SOUPS 86500 WITH SCORE 86611.849
AT ITER 811 NEW BEST:: SOT 274410 SOS 111819 HAS SOPS 111819 HAS SOUS 86470 HAS SOUPS 86470 WITH SCORE 86581.819
AT ITER 813 NEW BEST:: SOT 273349 SOS 110671 HAS SOPS 110671 HAS SOUS 85389 HAS SOUPS 85389 WITH SCORE 85499.671
AT ITER 821 NEW BEST:: SOT 273323 SOS 110645 HAS SOPS 110645 HAS SOUS 85363 HAS SOUPS 85363 WITH SCORE 85473.645
AT ITER 829 NEW BEST:: SOT 273323 SOS 110535 HAS SOPS 110535 HAS SOUS 85357 HAS SOUPS 85357 WITH SCORE 85467.535
AT ITER 830 NEW BEST:: SOT 272051 SOS 109262 HAS SOPS 109262 HAS SOUS 84113 HAS SOUPS 84113 WITH SCORE 84222.262
AT ITER 841 NEW BEST:: SOT 271990 SOS 109142 HAS SOPS 109142 HAS SOUS 83993 HAS SOUPS 83993 WITH SCORE 84102.142
AT ITER 843 NEW BEST:: SOT 269713 SOS 106658 HAS SOPS 106658 HAS SOUS 81538 HAS SOUPS 81538 WITH SCORE 81644.658
AT ITER 844 NEW BEST:: SOT 269660 SOS 106618 HAS SOPS 106618 HAS SOUS 81485 HAS SOUPS 81485 WITH SCORE 81591.618
AT ITER 867 NEW BEST:: SOT 269640 SOS 106463 HAS SOPS 106463 HAS SOUS 81330 HAS SOUPS 81330 WITH SCORE 81436.463
AT ITER 875 NEW BEST:: SOT 269616 SOS 106415 HAS SOPS 106415 HAS SOUS 81282 HAS SOUPS 81282 WITH SCORE 81388.415
AT ITER 877 NEW BEST:: SOT 269654 SOS 106492 HAS SOPS 106492 HAS SOUS 81273 HAS SOUPS 81273 WITH SCORE 81379.492
AT ITER 880 NEW BEST:: SOT 269529 SOS 106344 HAS SOPS 106344 HAS SOUS 81205 HAS SOUPS 81205 WITH SCORE 81311.344
AT ITER 882 NEW BEST:: SOT 269412 SOS 106122 HAS SOPS 106122 HAS SOUS 81080 HAS SOUPS 81080 WITH SCORE 81186.122
AT ITER 901 NEW BEST:: SOT 269407 SOS 106117 HAS SOPS 106117 HAS SOUS 81075 HAS SOUPS 81075 WITH SCORE 81181.117
AT ITER 908 NEW BEST:: SOT 269002 SOS 105847 HAS SOPS 105847 HAS SOUS 80762 HAS SOUPS 80762 WITH SCORE 80867.847
AT ITER 913 NEW BEST:: SOT 269002 SOS 105731 HAS SOPS 105731 HAS SOUS 80657 HAS SOUPS 80657 WITH SCORE 80762.731
AT ITER 924 NEW BEST:: SOT 268972 SOS 105671 HAS SOPS 105671 HAS SOUS 80597 HAS SOUPS 80597 WITH SCORE 80702.671
AT ITER 941 NEW BEST:: SOT 268889 SOS 105505 HAS SOPS 105505 HAS SOUS 80431 HAS SOUPS 80431 WITH SCORE 80536.505
AT ITER 947 NEW BEST:: SOT 268748 SOS 105166 HAS SOPS 105166 HAS SOUS 80160 HAS SOUPS 80160 WITH SCORE 80265.166
AT ITER 952 NEW BEST:: SOT 268732 SOS 105116 HAS SOPS 105116 HAS SOUS 80110 HAS SOUPS 80110 WITH SCORE 80215.116
AT ITER 955 NEW BEST:: SOT 268436 SOS 104672 HAS SOPS 104672 HAS SOUS 79814 HAS SOUPS 79814 WITH SCORE 79918.672
AT ITER 961 NEW BEST:: SOT 268201 SOS 104202 HAS SOPS 104202 HAS SOUS 79523 HAS SOUPS 79523 WITH SCORE 79627.202
AT ITER 962 NEW BEST:: SOT 268201 SOS 104196 HAS SOPS 104196 HAS SOUS 79517 HAS SOUPS 79517 WITH SCORE 79621.196
AT ITER 974 NEW BEST:: SOT 267837 SOS 103834 HAS SOPS 103834 HAS SOUS 79155 HAS SOUPS 79155 WITH SCORE 79258.834
AT ITER 987 NEW BEST:: SOT 267776 SOS 103712 HAS SOPS 103712 HAS SOUS 79033 HAS SOUPS 79033 WITH SCORE 79136.712
AT ITER 988 NEW BEST:: SOT 267312 SOS 103611 HAS SOPS 103611 HAS SOUS 78595 HAS SOUPS 78595 WITH SCORE 78698.611
AT ITER 996 NEW BEST:: SOT 267310 SOS 103657 HAS SOPS 103657 HAS SOUS 78591 HAS SOUPS 78591 WITH SCORE 78694.657
AT ITER 998 NEW BEST:: SOT 267035 SOS 103101 HAS SOPS 103101 HAS SOUS 78046 HAS SOUPS 78046 WITH SCORE 78149.101
AT ITER 1018 NEW BEST:: SOT 267227 SOS 103247 HAS SOPS 103247 HAS SOUS 78004 HAS SOUPS 78004 WITH SCORE 78107.247
AT ITER 1026 NEW BEST:: SOT 267197 SOS 103187 HAS SOPS 103187 HAS SOUS 77944 HAS SOUPS 77944 WITH SCORE 78047.187
AT ITER 1037 NEW BEST:: SOT 267098 SOS 103088 HAS SOPS 103088 HAS SOUS 77845 HAS SOUPS 77845 WITH SCORE 77948.088
AT ITER 1038 NEW BEST:: SOT 266917 SOS 102726 HAS SOPS 102726 HAS SOUS 77483 HAS SOUPS 77483 WITH SCORE 77585.726
AT ITER 1089 NEW BEST:: SOT 266915 SOS 102724 HAS SOPS 102724 HAS SOUS 77481 HAS SOUPS 77481 WITH SCORE 77583.724
AT ITER 1107 NEW BEST:: SOT 266845 SOS 102619 HAS SOPS 102619 HAS SOUS 77376 HAS SOUPS 77376 WITH SCORE 77478.619
AT ITER 1110 NEW BEST:: SOT 266838 SOS 102605 HAS SOPS 102605 HAS SOUS 77362 HAS SOUPS 77362 WITH SCORE 77464.605
AT ITER 1111 NEW BEST:: SOT 266827 SOS 102594 HAS SOPS 102594 HAS SOUS 77351 HAS SOUPS 77351 WITH SCORE 77453.594
AT ITER 1121 NEW BEST:: SOT 266794 SOS 102561 HAS SOPS 102561 HAS SOUS 77318 HAS SOUPS 77318 WITH SCORE 77420.561
AT ITER 1129 NEW BEST:: SOT 266788 SOS 102549 HAS SOPS 102549 HAS SOUS 77306 HAS SOUPS 77306 WITH SCORE 77408.549
AT ITER 1131 NEW BEST:: SOT 266855 SOS 102529 HAS SOPS 102529 HAS SOUS 77286 HAS SOUPS 77286 WITH SCORE 77388.529
AT ITER 1135 NEW BEST:: SOT 266865 SOS 102534 HAS SOPS 102534 HAS SOUS 77212 HAS SOUPS 77212 WITH SCORE 77314.534
AT ITER 1141 NEW BEST:: SOT 266827 SOS 102458 HAS SOPS 102458 HAS SOUS 77160 HAS SOUPS 77160 WITH SCORE 77262.458
AT ITER 1142 NEW BEST:: SOT 266827 SOS 102454 HAS SOPS 102454 HAS SOUS 77156 HAS SOUPS 77156 WITH SCORE 77258.454
AT ITER 1165 NEW BEST:: SOT 266749 SOS 102602 HAS SOPS 102602 HAS SOUS 77105 HAS SOUPS 77105 WITH SCORE 77207.602
AT ITER 1178 NEW BEST:: SOT 266562 SOS 102415 HAS SOPS 102415 HAS SOUS 76935 HAS SOUPS 76935 WITH SCORE 77037.415
AT ITER 1208 NEW BEST:: SOT 266507 SOS 102273 HAS SOPS 102273 HAS SOUS 76823 HAS SOUPS 76823 WITH SCORE 76925.273
AT ITER 1210 NEW BEST:: SOT 266623 SOS 102154 HAS SOPS 102154 HAS SOUS 76704 HAS SOUPS 76704 WITH SCORE 76806.154
AT ITER 1217 NEW BEST:: SOT 266556 SOS 102087 HAS SOPS 102087 HAS SOUS 76637 HAS SOUPS 76637 WITH SCORE 76739.087
AT ITER 1264 NEW BEST:: SOT 266561 SOS 101810 HAS SOPS 101810 HAS SOUS 76369 HAS SOUPS 76369 WITH SCORE 76470.81
AT ITER 1274 NEW BEST:: SOT 266336 SOS 101131 HAS SOPS 101131 HAS SOUS 75690 HAS SOUPS 75690 WITH SCORE 75791.131
AT ITER 1292 NEW BEST:: SOT 266328 SOS 101103 HAS SOPS 101103 HAS SOUS 75662 HAS SOUPS 75662 WITH SCORE 75763.103
AT ITER 1297 NEW BEST:: SOT 266169 SOS 100823 HAS SOPS 100823 HAS SOUS 75545 HAS SOUPS 75545 WITH SCORE 75645.823
AT ITER 1303 NEW BEST:: SOT 265788 SOS 100253 HAS SOPS 100253 HAS SOUS 75323 HAS SOUPS 75323 WITH SCORE 75423.253
AT ITER 1318 NEW BEST:: SOT 265761 SOS 100074 HAS SOPS 100074 HAS SOUS 75144 HAS SOUPS 75144 WITH SCORE 75244.074
AT ITER 1330 NEW BEST:: SOT 265728 SOS 99966 HAS SOPS 99966 HAS SOUS 75069 HAS SOUPS 75069 WITH SCORE 75168.966
AT ITER 1334 NEW BEST:: SOT 265959 SOS 100122 HAS SOPS 100122 HAS SOUS 74976 HAS SOUPS 74976 WITH SCORE 75076.122
AT ITER 1336 NEW BEST:: SOT 265959 SOS 100090 HAS SOPS 100090 HAS SOUS 74944 HAS SOUPS 74944 WITH SCORE 75044.09
AT ITER 1338 NEW BEST:: SOT 265215 SOS 99346 HAS SOPS 99346 HAS SOUS 74338 HAS SOUPS 74338 WITH SCORE 74437.346
AT ITER 1345 NEW BEST:: SOT 265178 SOS 98933 HAS SOPS 98933 HAS SOUS 73962 HAS SOUPS 73962 WITH SCORE 74060.933
AT ITER 1352 NEW BEST:: SOT 265119 SOS 98874 HAS SOPS 98874 HAS SOUS 73903 HAS SOUPS 73903 WITH SCORE 74001.874
AT ITER 1354 NEW BEST:: SOT 265071 SOS 98822 HAS SOPS 98822 HAS SOUS 73851 HAS SOUPS 73851 WITH SCORE 73949.822
AT ITER 1356 NEW BEST:: SOT 265071 SOS 98815 HAS SOPS 98815 HAS SOUS 73837 HAS SOUPS 73837 WITH SCORE 73935.815
AT ITER 1357 NEW BEST:: SOT 265014 SOS 98731 HAS SOPS 98731 HAS SOUS 73810 HAS SOUPS 73810 WITH SCORE 73908.731
AT ITER 1359 NEW BEST:: SOT 264948 SOS 98668 HAS SOPS 98668 HAS SOUS 73623 HAS SOUPS 73623 WITH SCORE 73721.668
AT ITER 1373 NEW BEST:: SOT 265013 SOS 98712 HAS SOPS 98712 HAS SOUS 73581 HAS SOUPS 73581 WITH SCORE 73679.712
AT ITER 1392 NEW BEST:: SOT 264994 SOS 98674 HAS SOPS 98674 HAS SOUS 73362 HAS SOUPS 73362 WITH SCORE 73460.674
AT ITER 1401 NEW BEST:: SOT 264899 SOS 98484 HAS SOPS 98484 HAS SOUS 73293 HAS SOUPS 73293 WITH SCORE 73391.484
AT ITER 1405 NEW BEST:: SOT 264888 SOS 98473 HAS SOPS 98473 HAS SOUS 73282 HAS SOUPS 73282 WITH SCORE 73380.473
AT ITER 1416 NEW BEST:: SOT 264798 SOS 98354 HAS SOPS 98354 HAS SOUS 73259 HAS SOUPS 73259 WITH SCORE 73357.354
AT ITER 1419 NEW BEST:: SOT 264353 SOS 97906 HAS SOPS 97906 HAS SOUS 72764 HAS SOUPS 72764 WITH SCORE 72861.906
AT ITER 1422 NEW BEST:: SOT 264348 SOS 97901 HAS SOPS 97901 HAS SOUS 72764 HAS SOUPS 72764 WITH SCORE 72861.901
AT ITER 1434 NEW BEST:: SOT 264337 SOS 97879 HAS SOPS 97879 HAS SOUS 72742 HAS SOUPS 72742 WITH SCORE 72839.879
AT ITER 1437 NEW BEST:: SOT 264338 SOS 97874 HAS SOPS 97874 HAS SOUS 72737 HAS SOUPS 72737 WITH SCORE 72834.874
AT ITER 1441 NEW BEST:: SOT 264337 SOS 97873 HAS SOPS 97873 HAS SOUS 72736 HAS SOUPS 72736 WITH SCORE 72833.873
AT ITER 1449 NEW BEST:: SOT 264342 SOS 97878 HAS SOPS 97878 HAS SOUS 72637 HAS SOUPS 72637 WITH SCORE 72734.878
AT ITER 1458 NEW BEST:: SOT 264602 SOS 98076 HAS SOPS 98076 HAS SOUS 72575 HAS SOUPS 72575 WITH SCORE 72673.076
AT ITER 1478 NEW BEST:: SOT 264601 SOS 98075 HAS SOPS 98075 HAS SOUS 72574 HAS SOUPS 72574 WITH SCORE 72672.075
AT ITER 1483 NEW BEST:: SOT 264496 SOS 97886 HAS SOPS 97886 HAS SOUS 72399 HAS SOUPS 72399 WITH SCORE 72496.886
AT ITER 1490 NEW BEST:: SOT 264402 SOS 97792 HAS SOPS 97792 HAS SOUS 72305 HAS SOUPS 72305 WITH SCORE 72402.792
AT ITER 1500 NEW BEST:: SOT 264401 SOS 97788 HAS SOPS 97788 HAS SOUS 72301 HAS SOUPS 72301 WITH SCORE 72398.788
AT ITER 1503 NEW BEST:: SOT 264409 SOS 97676 HAS SOPS 97676 HAS SOUS 72189 HAS SOUPS 72189 WITH SCORE 72286.676
AT ITER 1505 NEW BEST:: SOT 264413 SOS 97684 HAS SOPS 97684 HAS SOUS 72142 HAS SOUPS 72142 WITH SCORE 72239.684
AT ITER 1515 NEW BEST:: SOT 264413 SOS 97666 HAS SOPS 97666 HAS SOUS 72124 HAS SOUPS 72124 WITH SCORE 72221.666
AT ITER 1529 NEW BEST:: SOT 264374 SOS 97588 HAS SOPS 97588 HAS SOUS 72112 HAS SOUPS 72112 WITH SCORE 72209.588
AT ITER 1534 NEW BEST:: SOT 264355 SOS 97569 HAS SOPS 97569 HAS SOUS 72093 HAS SOUPS 72093 WITH SCORE 72190.569
AT ITER 1536 NEW BEST:: SOT 264345 SOS 97559 HAS SOPS 97559 HAS SOUS 72083 HAS SOUPS 72083 WITH SCORE 72180.559
AT ITER 1542 NEW BEST:: SOT 264301 SOS 97515 HAS SOPS 97515 HAS SOUS 72057 HAS SOUPS 72057 WITH SCORE 72154.515
AT ITER 1567 NEW BEST:: SOT 264284 SOS 97498 HAS SOPS 97498 HAS SOUS 72052 HAS SOUPS 72052 WITH SCORE 72149.498
AT ITER 1593 NEW BEST:: SOT 264284 SOS 97497 HAS SOPS 97497 HAS SOUS 72052 HAS SOUPS 72052 WITH SCORE 72149.497
AT ITER 1608 NEW BEST:: SOT 264206 SOS 97458 HAS SOPS 97458 HAS SOUS 72013 HAS SOUPS 72013 WITH SCORE 72110.458
AT ITER 1610 NEW BEST:: SOT 264172 SOS 97448 HAS SOPS 97448 HAS SOUS 71979 HAS SOUPS 71979 WITH SCORE 72076.448
AT ITER 1615 NEW BEST:: SOT 264206 SOS 97482 HAS SOPS 97482 HAS SOUS 71972 HAS SOUPS 71972 WITH SCORE 72069.482
AT ITER 1621 NEW BEST:: SOT 264130 SOS 97368 HAS SOPS 97368 HAS SOUS 71896 HAS SOUPS 71896 WITH SCORE 71993.368
AT ITER 1630 NEW BEST:: SOT 264207 SOS 96976 HAS SOPS 96976 HAS SOUS 71717 HAS SOUPS 71717 WITH SCORE 71813.976
AT ITER 1642 NEW BEST:: SOT 264164 SOS 96952 HAS SOPS 96952 HAS SOUS 71693 HAS SOUPS 71693 WITH SCORE 71789.952
AT ITER 1653 NEW BEST:: SOT 264197 SOS 96920 HAS SOPS 96920 HAS SOUS 71563 HAS SOUPS 71563 WITH SCORE 71659.92
AT ITER 1655 NEW BEST:: SOT 264197 SOS 96919 HAS SOPS 96919 HAS SOUS 71561 HAS SOUPS 71561 WITH SCORE 71657.919
AT ITER 1667 NEW BEST:: SOT 264197 SOS 96919 HAS SOPS 96919 HAS SOUS 71555 HAS SOUPS 71555 WITH SCORE 71651.919
AT ITER 1689 NEW BEST:: SOT 264116 SOS 96838 HAS SOPS 96838 HAS SOUS 71472 HAS SOUPS 71472 WITH SCORE 71568.838
AT ITER 1700 NEW BEST:: SOT 264198 SOS 96755 HAS SOPS 96755 HAS SOUS 71389 HAS SOUPS 71389 WITH SCORE 71485.755
AT ITER 1705 NEW BEST:: SOT 264180 SOS 96755 HAS SOPS 96755 HAS SOUS 71371 HAS SOUPS 71371 WITH SCORE 71467.755
AT ITER 1714 NEW BEST:: SOT 264147 SOS 96722 HAS SOPS 96722 HAS SOUS 71371 HAS SOUPS 71371 WITH SCORE 71467.722
AT ITER 1740 NEW BEST:: SOT 264110 SOS 96685 HAS SOPS 96685 HAS SOUS 71371 HAS SOUPS 71371 WITH SCORE 71467.685
AT ITER 1746 NEW BEST:: SOT 264110 SOS 96672 HAS SOPS 96672 HAS SOUS 71358 HAS SOUPS 71358 WITH SCORE 71454.672
AT ITER 1749 NEW BEST:: SOT 264109 SOS 96652 HAS SOPS 96652 HAS SOUS 71356 HAS SOUPS 71356 WITH SCORE 71452.652
AT ITER 1757 NEW BEST:: SOT 264074 SOS 96617 HAS SOPS 96617 HAS SOUS 71321 HAS SOUPS 71321 WITH SCORE 71417.617
AT ITER 1775 NEW BEST:: SOT 264075 SOS 96578 HAS SOPS 96578 HAS SOUS 71282 HAS SOUPS 71282 WITH SCORE 71378.578
AT ITER 1777 NEW BEST:: SOT 264017 SOS 96511 HAS SOPS 96511 HAS SOUS 71215 HAS SOUPS 71215 WITH SCORE 71311.511
AT ITER 1778 NEW BEST:: SOT 264032 SOS 96495 HAS SOPS 96495 HAS SOUS 71199 HAS SOUPS 71199 WITH SCORE 71295.495
AT ITER 1790 NEW BEST:: SOT 264080 SOS 96591 HAS SOPS 96591 HAS SOUS 71192 HAS SOUPS 71192 WITH SCORE 71288.591
AT ITER 1816 NEW BEST:: SOT 264101 SOS 96589 HAS SOPS 96589 HAS SOUS 71190 HAS SOUPS 71190 WITH SCORE 71286.589
AT ITER 1828 NEW BEST:: SOT 263983 SOS 96286 HAS SOPS 96286 HAS SOUS 71100 HAS SOUPS 71100 WITH SCORE 71196.286
AT ITER 1831 NEW BEST:: SOT 263866 SOS 96169 HAS SOPS 96169 HAS SOUS 70983 HAS SOUPS 70983 WITH SCORE 71079.169
AT ITER 1857 NEW BEST:: SOT 263833 SOS 96071 HAS SOPS 96071 HAS SOUS 70885 HAS SOUPS 70885 WITH SCORE 70981.071
AT ITER 1861 NEW BEST:: SOT 263346 SOS 96279 HAS SOPS 96279 HAS SOUS 70482 HAS SOUPS 70482 WITH SCORE 70578.279
AT ITER 1882 NEW BEST:: SOT 263346 SOS 96279 HAS SOPS 96279 HAS SOUS 70473 HAS SOUPS 70473 WITH SCORE 70569.279
AT ITER 1920 NEW BEST:: SOT 263261 SOS 96177 HAS SOPS 96177 HAS SOUS 70371 HAS SOUPS 70371 WITH SCORE 70467.177
AT ITER 1931 NEW BEST:: SOT 263301 SOS 96118 HAS SOPS 96118 HAS SOUS 70291 HAS SOUPS 70291 WITH SCORE 70387.118
AT ITER 1944 NEW BEST:: SOT 263315 SOS 96189 HAS SOPS 96189 HAS SOUS 70284 HAS SOUPS 70284 WITH SCORE 70380.189
AT ITER 1957 NEW BEST:: SOT 263045 SOS 95919 HAS SOPS 95919 HAS SOUS 70268 HAS SOUPS 70268 WITH SCORE 70363.919
AT ITER 1969 NEW BEST:: SOT 262947 SOS 95821 HAS SOPS 95821 HAS SOUS 70260 HAS SOUPS 70260 WITH SCORE 70355.821
AT ITER 1973 NEW BEST:: SOT 262873 SOS 95673 HAS SOPS 95673 HAS SOUS 70243 HAS SOUPS 70243 WITH SCORE 70338.673
AT ITER 1982 NEW BEST:: SOT 262845 SOS 95617 HAS SOPS 95617 HAS SOUS 70187 HAS SOUPS 70187 WITH SCORE 70282.617
AT ITER 1990 NEW BEST:: SOT 262792 SOS 95569 HAS SOPS 95569 HAS SOUS 70139 HAS SOUPS 70139 WITH SCORE 70234.569
AT ITER 1997 NEW BEST:: SOT 262776 SOS 95548 HAS SOPS 95548 HAS SOUS 70137 HAS SOUPS 70137 WITH SCORE 70232.548
AT ITER 2003 NEW BEST:: SOT 262845 SOS 95617 HAS SOPS 95617 HAS SOUS 70114 HAS SOUPS 70114 WITH SCORE 70209.617
AT ITER 2019 NEW BEST:: SOT 262883 SOS 95694 HAS SOPS 95694 HAS SOUS 70110 HAS SOUPS 70110 WITH SCORE 70205.694
AT ITER 2021 NEW BEST:: SOT 262673 SOS 95215 HAS SOPS 95215 HAS SOUS 69997 HAS SOUPS 69997 WITH SCORE 70092.215
AT ITER 2040 NEW BEST:: SOT 262404 SOS 94867 HAS SOPS 94867 HAS SOUS 69783 HAS SOUPS 69783 WITH SCORE 69877.867
AT ITER 2046 NEW BEST:: SOT 262372 SOS 94835 HAS SOPS 94835 HAS SOUS 69751 HAS SOUPS 69751 WITH SCORE 69845.835
AT ITER 2054 NEW BEST:: SOT 262379 SOS 94849 HAS SOPS 94849 HAS SOUS 69717 HAS SOUPS 69717 WITH SCORE 69811.849
AT ITER 2083 NEW BEST:: SOT 262346 SOS 94812 HAS SOPS 94812 HAS SOUS 69680 HAS SOUPS 69680 WITH SCORE 69774.812
AT ITER 2100 NEW BEST:: SOT 262396 SOS 94793 HAS SOPS 94793 HAS SOUS 69542 HAS SOUPS 69542 WITH SCORE 69636.793
AT ITER 2110 NEW BEST:: SOT 262283 SOS 94567 HAS SOPS 94567 HAS SOUS 69316 HAS SOUPS 69316 WITH SCORE 69410.567
AT ITER 2115 NEW BEST:: SOT 262243 SOS 94487 HAS SOPS 94487 HAS SOUS 69276 HAS SOUPS 69276 WITH SCORE 69370.487
AT ITER 2117 NEW BEST:: SOT 262143 SOS 94287 HAS SOPS 94287 HAS SOUS 69182 HAS SOUPS 69182 WITH SCORE 69276.287
AT ITER 2121 NEW BEST:: SOT 262143 SOS 94268 HAS SOPS 94268 HAS SOUS 69163 HAS SOUPS 69163 WITH SCORE 69257.268
AT ITER 2132 NEW BEST:: SOT 262143 SOS 94290 HAS SOPS 94290 HAS SOUS 69162 HAS SOUPS 69162 WITH SCORE 69256.29
AT ITER 2140 NEW BEST:: SOT 261386 SOS 93881 HAS SOPS 93881 HAS SOUS 68605 HAS SOUPS 68605 WITH SCORE 68698.881
AT ITER 2146 NEW BEST:: SOT 261312 SOS 93778 HAS SOPS 93778 HAS SOUS 68502 HAS SOUPS 68502 WITH SCORE 68595.778
AT ITER 2154 NEW BEST:: SOT 261312 SOS 93747 HAS SOPS 93747 HAS SOUS 68471 HAS SOUPS 68471 WITH SCORE 68564.747
AT ITER 2159 NEW BEST:: SOT 261311 SOS 93745 HAS SOPS 93745 HAS SOUS 68470 HAS SOUPS 68470 WITH SCORE 68563.745
AT ITER 2162 NEW BEST:: SOT 261219 SOS 93653 HAS SOPS 93653 HAS SOUS 68378 HAS SOUPS 68378 WITH SCORE 68471.653
AT ITER 2167 NEW BEST:: SOT 261306 SOS 93538 HAS SOPS 93538 HAS SOUS 68288 HAS SOUPS 68288 WITH SCORE 68381.538
AT ITER 2172 NEW BEST:: SOT 261305 SOS 93537 HAS SOPS 93537 HAS SOUS 68287 HAS SOUPS 68287 WITH SCORE 68380.537
AT ITER 2176 NEW BEST:: SOT 261241 SOS 93441 HAS SOPS 93441 HAS SOUS 68191 HAS SOUPS 68191 WITH SCORE 68284.441
AT ITER 2179 NEW BEST:: SOT 261176 SOS 93441 HAS SOPS 93441 HAS SOUS 68166 HAS SOUPS 68166 WITH SCORE 68259.441
AT ITER 2183 NEW BEST:: SOT 260990 SOS 93162 HAS SOPS 93162 HAS SOUS 67980 HAS SOUPS 67980 WITH SCORE 68073.162
AT ITER 2214 NEW BEST:: SOT 260990 SOS 93124 HAS SOPS 93124 HAS SOUS 67942 HAS SOUPS 67942 WITH SCORE 68035.124
AT ITER 2217 NEW BEST:: SOT 260990 SOS 93108 HAS SOPS 93108 HAS SOUS 67898 HAS SOUPS 67898 WITH SCORE 67991.108
AT ITER 2220 NEW BEST:: SOT 260859 SOS 92846 HAS SOPS 92846 HAS SOUS 67767 HAS SOUPS 67767 WITH SCORE 67859.846
AT ITER 2228 NEW BEST:: SOT 260829 SOS 92829 HAS SOPS 92829 HAS SOUS 67750 HAS SOUPS 67750 WITH SCORE 67842.829
AT ITER 2244 NEW BEST:: SOT 260807 SOS 92807 HAS SOPS 92807 HAS SOUS 67508 HAS SOUPS 67508 WITH SCORE 67600.807
AT ITER 2265 NEW BEST:: SOT 260793 SOS 92779 HAS SOPS 92779 HAS SOUS 67480 HAS SOUPS 67480 WITH SCORE 67572.779
AT ITER 2274 NEW BEST:: SOT 260819 SOS 92624 HAS SOPS 92624 HAS SOUS 67325 HAS SOUPS 67325 WITH SCORE 67417.624
AT ITER 2291 NEW BEST:: SOT 260817 SOS 92621 HAS SOPS 92621 HAS SOUS 67322 HAS SOUPS 67322 WITH SCORE 67414.621
AT ITER 2304 NEW BEST:: SOT 260817 SOS 92621 HAS SOPS 92621 HAS SOUS 67300 HAS SOUPS 67300 WITH SCORE 67392.621
AT ITER 2313 NEW BEST:: SOT 260831 SOS 92486 HAS SOPS 92486 HAS SOUS 67186 HAS SOUPS 67186 WITH SCORE 67278.486
AT ITER 2323 NEW BEST:: SOT 260800 SOS 92460 HAS SOPS 92460 HAS SOUS 67179 HAS SOUPS 67179 WITH SCORE 67271.46
AT ITER 2354 NEW BEST:: SOT 260792 SOS 92444 HAS SOPS 92444 HAS SOUS 67163 HAS SOUPS 67163 WITH SCORE 67255.444
AT ITER 2356 NEW BEST:: SOT 260790 SOS 92440 HAS SOPS 92440 HAS SOUS 67159 HAS SOUPS 67159 WITH SCORE 67251.44
AT ITER 2360 NEW BEST:: SOT 260757 SOS 92374 HAS SOPS 92374 HAS SOUS 67130 HAS SOUPS 67130 WITH SCORE 67222.374
AT ITER 2362 NEW BEST:: SOT 260757 SOS 92302 HAS SOPS 92302 HAS SOUS 67058 HAS SOUPS 67058 WITH SCORE 67150.302
AT ITER 2368 NEW BEST:: SOT 260714 SOS 92294 HAS SOPS 92294 HAS SOUS 66987 HAS SOUPS 66987 WITH SCORE 67079.294
AT ITER 2382 NEW BEST:: SOT 260690 SOS 92246 HAS SOPS 92246 HAS SOUS 66939 HAS SOUPS 66939 WITH SCORE 67031.246
AT ITER 2396 NEW BEST:: SOT 260688 SOS 92242 HAS SOPS 92242 HAS SOUS 66937 HAS SOUPS 66937 WITH SCORE 67029.242
AT ITER 2397 NEW BEST:: SOT 260688 SOS 92186 HAS SOPS 92186 HAS SOUS 66917 HAS SOUPS 66917 WITH SCORE 67009.186
AT ITER 2412 NEW BEST:: SOT 260626 SOS 91892 HAS SOPS 91892 HAS SOUS 66855 HAS SOUPS 66855 WITH SCORE 66946.892
AT ITER 2429 NEW BEST:: SOT 260748 SOS 91804 HAS SOPS 91804 HAS SOUS 66767 HAS SOUPS 66767 WITH SCORE 66858.804
AT ITER 2447 NEW BEST:: SOT 260747 SOS 91802 HAS SOPS 91802 HAS SOUS 66765 HAS SOUPS 66765 WITH SCORE 66856.802
AT ITER 2454 NEW BEST:: SOT 260741 SOS 91790 HAS SOPS 91790 HAS SOUS 66753 HAS SOUPS 66753 WITH SCORE 66844.79
AT ITER 2469 NEW BEST:: SOT 260741 SOS 91750 HAS SOPS 91750 HAS SOUS 66753 HAS SOUPS 66753 WITH SCORE 66844.75
AT ITER 2500 NEW BEST:: SOT 260762 SOS 91749 HAS SOPS 91749 HAS SOUS 66752 HAS SOUPS 66752 WITH SCORE 66843.749
AT ITER 2501 NEW BEST:: SOT 260575 SOS 92134 HAS SOPS 92134 HAS SOUS 66592 HAS SOUPS 66592 WITH SCORE 66684.134
AT ITER 2504 NEW BEST:: SOT 260548 SOS 92080 HAS SOPS 92080 HAS SOUS 66503 HAS SOUPS 66503 WITH SCORE 66595.08
AT ITER 2562 NEW BEST:: SOT 260519 SOS 92022 HAS SOPS 92022 HAS SOUS 66445 HAS SOUPS 66445 WITH SCORE 66537.022
AT ITER 2564 NEW BEST:: SOT 260426 SOS 91836 HAS SOPS 91836 HAS SOUS 66306 HAS SOUPS 66306 WITH SCORE 66397.836
AT ITER 2580 NEW BEST:: SOT 260341 SOS 91661 HAS SOPS 91661 HAS SOUS 66197 HAS SOUPS 66197 WITH SCORE 66288.661
AT ITER 2584 NEW BEST:: SOT 260338 SOS 91655 HAS SOPS 91655 HAS SOUS 66191 HAS SOUPS 66191 WITH SCORE 66282.655
AT ITER 2590 NEW BEST:: SOT 260293 SOS 91565 HAS SOPS 91565 HAS SOUS 66101 HAS SOUPS 66101 WITH SCORE 66192.565
AT ITER 2637 NEW BEST:: SOT 260169 SOS 91354 HAS SOPS 91354 HAS SOUS 65890 HAS SOUPS 65890 WITH SCORE 65981.354
AT ITER 2641 NEW BEST:: SOT 260120 SOS 91256 HAS SOPS 91256 HAS SOUS 65841 HAS SOUPS 65841 WITH SCORE 65932.256
AT ITER 2648 NEW BEST:: SOT 260114 SOS 91253 HAS SOPS 91253 HAS SOUS 65835 HAS SOUPS 65835 WITH SCORE 65926.253
AT ITER 2654 NEW BEST:: SOT 260113 SOS 91251 HAS SOPS 91251 HAS SOUS 65833 HAS SOUPS 65833 WITH SCORE 65924.251
AT ITER 2661 NEW BEST:: SOT 260125 SOS 91250 HAS SOPS 91250 HAS SOUS 65820 HAS SOUPS 65820 WITH SCORE 65911.25
AT ITER 2668 NEW BEST:: SOT 260125 SOS 91249 HAS SOPS 91249 HAS SOUS 65819 HAS SOUPS 65819 WITH SCORE 65910.249
AT ITER 2670 NEW BEST:: SOT 260114 SOS 91227 HAS SOPS 91227 HAS SOUS 65803 HAS SOUPS 65803 WITH SCORE 65894.227
AT ITER 2695 NEW BEST:: SOT 260084 SOS 91182 HAS SOPS 91182 HAS SOUS 65773 HAS SOUPS 65773 WITH SCORE 65864.182
AT ITER 2712 NEW BEST:: SOT 260076 SOS 91174 HAS SOPS 91174 HAS SOUS 65773 HAS SOUPS 65773 WITH SCORE 65864.174
AT ITER 2716 NEW BEST:: SOT 260069 SOS 91167 HAS SOPS 91167 HAS SOUS 65773 HAS SOUPS 65773 WITH SCORE 65864.167
AT ITER 2723 NEW BEST:: SOT 260053 SOS 91147 HAS SOPS 91147 HAS SOUS 65753 HAS SOUPS 65753 WITH SCORE 65844.147
AT ITER 2726 NEW BEST:: SOT 260024 SOS 91078 HAS SOPS 91078 HAS SOUS 65684 HAS SOUPS 65684 WITH SCORE 65775.078
AT ITER 2728 NEW BEST:: SOT 260069 SOS 91168 HAS SOPS 91168 HAS SOUS 65677 HAS SOUPS 65677 WITH SCORE 65768.168
AT ITER 2736 NEW BEST:: SOT 260108 SOS 91095 HAS SOPS 91095 HAS SOUS 65604 HAS SOUPS 65604 WITH SCORE 65695.095
AT ITER 2737 NEW BEST:: SOT 260082 SOS 91078 HAS SOPS 91078 HAS SOUS 65587 HAS SOUPS 65587 WITH SCORE 65678.078
AT ITER 2746 NEW BEST:: SOT 260006 SOS 91002 HAS SOPS 91002 HAS SOUS 65511 HAS SOUPS 65511 WITH SCORE 65602.002
AT ITER 2765 NEW BEST:: SOT 259854 SOS 90825 HAS SOPS 90825 HAS SOUS 65461 HAS SOUPS 65461 WITH SCORE 65551.825
AT ITER 2786 NEW BEST:: SOT 260004 SOS 90675 HAS SOPS 90675 HAS SOUS 65311 HAS SOUPS 65311 WITH SCORE 65401.675
AT ITER 2788 NEW BEST:: SOT 260017 SOS 90451 HAS SOPS 90451 HAS SOUS 65303 HAS SOUPS 65303 WITH SCORE 65393.451
AT ITER 2789 NEW BEST:: SOT 259984 SOS 90268 HAS SOPS 90268 HAS SOUS 65231 HAS SOUPS 65231 WITH SCORE 65321.268
AT ITER 2799 NEW BEST:: SOT 259984 SOS 90216 HAS SOPS 90216 HAS SOUS 65179 HAS SOUPS 65179 WITH SCORE 65269.216
AT ITER 2802 NEW BEST:: SOT 259938 SOS 90124 HAS SOPS 90124 HAS SOUS 65087 HAS SOUPS 65087 WITH SCORE 65177.124
AT ITER 2806 NEW BEST:: SOT 259878 SOS 90012 HAS SOPS 90012 HAS SOUS 65016 HAS SOUPS 65016 WITH SCORE 65106.012
AT ITER 2810 NEW BEST:: SOT 259856 SOS 89990 HAS SOPS 89990 HAS SOUS 64994 HAS SOUPS 64994 WITH SCORE 65083.99
AT ITER 2813 NEW BEST:: SOT 259823 SOS 89924 HAS SOPS 89924 HAS SOUS 64928 HAS SOUPS 64928 WITH SCORE 65017.924
AT ITER 2826 NEW BEST:: SOT 259804 SOS 89867 HAS SOPS 89867 HAS SOUS 64890 HAS SOUPS 64890 WITH SCORE 64979.867
AT ITER 2827 NEW BEST:: SOT 259761 SOS 89824 HAS SOPS 89824 HAS SOUS 64890 HAS SOUPS 64890 WITH SCORE 64979.824
AT ITER 2829 NEW BEST:: SOT 259761 SOS 89819 HAS SOPS 89819 HAS SOUS 64890 HAS SOUPS 64890 WITH SCORE 64979.819
AT ITER 2832 NEW BEST:: SOT 259693 SOS 89734 HAS SOPS 89734 HAS SOUS 64805 HAS SOUPS 64805 WITH SCORE 64894.734
AT ITER 2842 NEW BEST:: SOT 259724 SOS 89743 HAS SOPS 89743 HAS SOUS 64750 HAS SOUPS 64750 WITH SCORE 64839.743
AT ITER 2874 NEW BEST:: SOT 259714 SOS 89723 HAS SOPS 89723 HAS SOUS 64640 HAS SOUPS 64640 WITH SCORE 64729.723
AT ITER 2884 NEW BEST:: SOT 259713 SOS 89679 HAS SOPS 89679 HAS SOUS 64639 HAS SOUPS 64639 WITH SCORE 64728.679
AT ITER 2897 NEW BEST:: SOT 259710 SOS 89672 HAS SOPS 89672 HAS SOUS 64632 HAS SOUPS 64632 WITH SCORE 64721.672
AT ITER 2905 NEW BEST:: SOT 259724 SOS 89651 HAS SOPS 89651 HAS SOUS 64611 HAS SOUPS 64611 WITH SCORE 64700.651
AT ITER 2949 NEW BEST:: SOT 259352 SOS 89279 HAS SOPS 89279 HAS SOUS 64280 HAS SOUPS 64280 WITH SCORE 64369.279
AT ITER 2950 NEW BEST:: SOT 259241 SOS 89195 HAS SOPS 89195 HAS SOUS 64252 HAS SOUPS 64252 WITH SCORE 64341.195
AT ITER 2971 NEW BEST:: SOT 259208 SOS 89129 HAS SOPS 89129 HAS SOUS 64219 HAS SOUPS 64219 WITH SCORE 64308.129
AT ITER 2973 NEW BEST:: SOT 259176 SOS 89065 HAS SOPS 89065 HAS SOUS 64115 HAS SOUPS 64115 WITH SCORE 64204.065
AT ITER 2986 NEW BEST:: SOT 259176 SOS 89032 HAS SOPS 89032 HAS SOUS 64059 HAS SOUPS 64059 WITH SCORE 64148.032
AT ITER 2990 NEW BEST:: SOT 259273 SOS 89226 HAS SOPS 89226 HAS SOUS 63935 HAS SOUPS 63935 WITH SCORE 64024.226
AT ITER 3000 NEW BEST:: SOT 259258 SOS 89211 HAS SOPS 89211 HAS SOUS 63935 HAS SOUPS 63935 WITH SCORE 64024.211
AT ITER 3003 NEW BEST:: SOT 259166 SOS 89112 HAS SOPS 89112 HAS SOUS 63836 HAS SOUPS 63836 WITH SCORE 63925.112
AT ITER 3011 NEW BEST:: SOT 259125 SOS 89030 HAS SOPS 89030 HAS SOUS 63795 HAS SOUPS 63795 WITH SCORE 63884.03
AT ITER 3039 NEW BEST:: SOT 259123 SOS 89028 HAS SOPS 89028 HAS SOUS 63793 HAS SOUPS 63793 WITH SCORE 63882.028
AT ITER 3044 NEW BEST:: SOT 259172 SOS 85216 HAS SOPS 85216 HAS SOUS 63793 HAS SOUPS 63793 WITH SCORE 63878.216
AT ITER 3048 NEW BEST:: SOT 259157 SOS 85238 HAS SOPS 85238 HAS SOUS 63778 HAS SOUPS 63778 WITH SCORE 63863.238
AT ITER 3069 NEW BEST:: SOT 259074 SOS 85162 HAS SOPS 85162 HAS SOUS 63702 HAS SOUPS 63702 WITH SCORE 63787.162
AT ITER 3082 NEW BEST:: SOT 259074 SOS 85123 HAS SOPS 85123 HAS SOUS 63663 HAS SOUPS 63663 WITH SCORE 63748.123
AT ITER 3084 NEW BEST:: SOT 259073 SOS 85042 HAS SOPS 85042 HAS SOUS 63661 HAS SOUPS 63661 WITH SCORE 63746.042
AT ITER 3087 NEW BEST:: SOT 259073 SOS 85042 HAS SOPS 85042 HAS SOUS 63658 HAS SOUPS 63658 WITH SCORE 63743.042
AT ITER 3104 NEW BEST:: SOT 259112 SOS 85034 HAS SOPS 85034 HAS SOUS 63650 HAS SOUPS 63650 WITH SCORE 63735.034
AT ITER 3133 NEW BEST:: SOT 259076 SOS 84940 HAS SOPS 84940 HAS SOUS 63556 HAS SOUPS 63556 WITH SCORE 63640.94
AT ITER 3134 NEW BEST:: SOT 259067 SOS 84922 HAS SOPS 84922 HAS SOUS 63529 HAS SOUPS 63529 WITH SCORE 63613.922
AT ITER 3145 NEW BEST:: SOT 258969 SOS 84808 HAS SOPS 84808 HAS SOUS 63415 HAS SOUPS 63415 WITH SCORE 63499.808
AT ITER 3158 NEW BEST:: SOT 258928 SOS 84620 HAS SOPS 84620 HAS SOUS 63268 HAS SOUPS 63268 WITH SCORE 63352.62
AT ITER 3163 NEW BEST:: SOT 258784 SOS 84450 HAS SOPS 84450 HAS SOUS 63216 HAS SOUPS 63216 WITH SCORE 63300.45
AT ITER 3173 NEW BEST:: SOT 258781 SOS 84434 HAS SOPS 84434 HAS SOUS 63200 HAS SOUPS 63200 WITH SCORE 63284.434
AT ITER 3189 NEW BEST:: SOT 258762 SOS 84415 HAS SOPS 84415 HAS SOUS 63200 HAS SOUPS 63200 WITH SCORE 63284.415
AT ITER 3203 NEW BEST:: SOT 258762 SOS 84371 HAS SOPS 84371 HAS SOUS 63156 HAS SOUPS 63156 WITH SCORE 63240.371
AT ITER 3204 NEW BEST:: SOT 258552 SOS 84062 HAS SOPS 84062 HAS SOUS 62912 HAS SOUPS 62912 WITH SCORE 62996.062
AT ITER 3213 NEW BEST:: SOT 258566 SOS 84090 HAS SOPS 84090 HAS SOUS 62910 HAS SOUPS 62910 WITH SCORE 62994.09
AT ITER 3219 NEW BEST:: SOT 258561 SOS 84080 HAS SOPS 84080 HAS SOUS 62907 HAS SOUPS 62907 WITH SCORE 62991.08
AT ITER 3220 NEW BEST:: SOT 258500 SOS 84030 HAS SOPS 84030 HAS SOUS 62846 HAS SOUPS 62846 WITH SCORE 62930.03
AT ITER 3222 NEW BEST:: SOT 258493 SOS 84021 HAS SOPS 84021 HAS SOUS 62839 HAS SOUPS 62839 WITH SCORE 62923.021
AT ITER 3231 NEW BEST:: SOT 258463 SOS 83991 HAS SOPS 83991 HAS SOUS 62825 HAS SOUPS 62825 WITH SCORE 62908.991
AT ITER 3244 NEW BEST:: SOT 258438 SOS 83930 HAS SOPS 83930 HAS SOUS 62798 HAS SOUPS 62798 WITH SCORE 62881.93
AT ITER 3293 NEW BEST:: SOT 258431 SOS 83916 HAS SOPS 83916 HAS SOUS 62493 HAS SOUPS 62493 WITH SCORE 62576.916
AT ITER 3354 NEW BEST:: SOT 258488 SOS 83866 HAS SOPS 83866 HAS SOUS 62443 HAS SOUPS 62443 WITH SCORE 62526.866
AT ITER 3355 NEW BEST:: SOT 258432 SOS 83754 HAS SOPS 83754 HAS SOUS 62388 HAS SOUPS 62388 WITH SCORE 62471.754
AT ITER 3374 NEW BEST:: SOT 258425 SOS 83747 HAS SOPS 83747 HAS SOUS 62381 HAS SOUPS 62381 WITH SCORE 62464.747
AT ITER 3384 NEW BEST:: SOT 258425 SOS 83720 HAS SOPS 83720 HAS SOUS 62354 HAS SOUPS 62354 WITH SCORE 62437.72
AT ITER 3412 NEW BEST:: SOT 258424 SOS 83718 HAS SOPS 83718 HAS SOUS 62352 HAS SOUPS 62352 WITH SCORE 62435.718
AT ITER 3415 NEW BEST:: SOT 258424 SOS 83686 HAS SOPS 83686 HAS SOUS 62320 HAS SOUPS 62320 WITH SCORE 62403.686
AT ITER 3430 NEW BEST:: SOT 258282 SOS 83753 HAS SOPS 83753 HAS SOUS 62174 HAS SOUPS 62174 WITH SCORE 62257.753
AT ITER 3435 NEW BEST:: SOT 258257 SOS 83703 HAS SOPS 83703 HAS SOUS 62141 HAS SOUPS 62141 WITH SCORE 62224.703
AT ITER 3440 NEW BEST:: SOT 258249 SOS 83687 HAS SOPS 83687 HAS SOUS 62134 HAS SOUPS 62134 WITH SCORE 62217.687
AT ITER 3452 NEW BEST:: SOT 258283 SOS 83721 HAS SOPS 83721 HAS SOUS 62113 HAS SOUPS 62113 WITH SCORE 62196.721
AT ITER 3453 NEW BEST:: SOT 258256 SOS 83694 HAS SOPS 83694 HAS SOUS 62086 HAS SOUPS 62086 WITH SCORE 62169.694
AT ITER 3476 NEW BEST:: SOT 258297 SOS 83647 HAS SOPS 83647 HAS SOUS 62039 HAS SOUPS 62039 WITH SCORE 62122.647
AT ITER 3492 NEW BEST:: SOT 258279 SOS 83611 HAS SOPS 83611 HAS SOUS 62030 HAS SOUPS 62030 WITH SCORE 62113.611
AT ITER 3502 NEW BEST:: SOT 258205 SOS 83535 HAS SOPS 83535 HAS SOUS 62030 HAS SOUPS 62030 WITH SCORE 62113.535
AT ITER 3505 NEW BEST:: SOT 258279 SOS 83560 HAS SOPS 83560 HAS SOUS 61932 HAS SOUPS 61932 WITH SCORE 62015.56
AT ITER 3507 NEW BEST:: SOT 258412 SOS 83538 HAS SOPS 83538 HAS SOUS 61931 HAS SOUPS 61931 WITH SCORE 62014.538
AT ITER 3533 NEW BEST:: SOT 258138 SOS 83374 HAS SOPS 83374 HAS SOUS 61767 HAS SOUPS 61767 WITH SCORE 61850.374
AT ITER 3565 NEW BEST:: SOT 258138 SOS 83330 HAS SOPS 83330 HAS SOUS 61723 HAS SOUPS 61723 WITH SCORE 61806.33
AT ITER 3580 NEW BEST:: SOT 258178 SOS 83308 HAS SOPS 83308 HAS SOUS 61701 HAS SOUPS 61701 WITH SCORE 61784.308
AT ITER 3603 NEW BEST:: SOT 258105 SOS 83246 HAS SOPS 83246 HAS SOUS 61639 HAS SOUPS 61639 WITH SCORE 61722.246
AT ITER 3606 NEW BEST:: SOT 258105 SOS 83239 HAS SOPS 83239 HAS SOUS 61632 HAS SOUPS 61632 WITH SCORE 61715.239
AT ITER 3617 NEW BEST:: SOT 258088 SOS 83222 HAS SOPS 83222 HAS SOUS 61615 HAS SOUPS 61615 WITH SCORE 61698.222
AT ITER 3626 NEW BEST:: SOT 258088 SOS 83217 HAS SOPS 83217 HAS SOUS 61610 HAS SOUPS 61610 WITH SCORE 61693.217
AT ITER 3661 NEW BEST:: SOT 258088 SOS 83196 HAS SOPS 83196 HAS SOUS 61589 HAS SOUPS 61589 WITH SCORE 61672.196
AT ITER 3700 NEW BEST:: SOT 258081 SOS 83182 HAS SOPS 83182 HAS SOUS 61575 HAS SOUPS 61575 WITH SCORE 61658.182
AT ITER 3706 NEW BEST:: SOT 258028 SOS 83076 HAS SOPS 83076 HAS SOUS 61469 HAS SOUPS 61469 WITH SCORE 61552.076
AT ITER 3719 NEW BEST:: SOT 258054 SOS 83102 HAS SOPS 83102 HAS SOUS 61466 HAS SOUPS 61466 WITH SCORE 61549.102
AT ITER 3732 NEW BEST:: SOT 258053 SOS 83100 HAS SOPS 83100 HAS SOUS 61464 HAS SOUPS 61464 WITH SCORE 61547.1
AT ITER 3774 NEW BEST:: SOT 258051 SOS 83096 HAS SOPS 83096 HAS SOUS 61460 HAS SOUPS 61460 WITH SCORE 61543.096
AT ITER 3778 NEW BEST:: SOT 258126 SOS 83137 HAS SOPS 83137 HAS SOUS 61392 HAS SOUPS 61392 WITH SCORE 61475.137
AT ITER 3824 NEW BEST:: SOT 258109 SOS 83103 HAS SOPS 83103 HAS SOUS 61358 HAS SOUPS 61358 WITH SCORE 61441.103
AT ITER 3828 NEW BEST:: SOT 258092 SOS 83085 HAS SOPS 83085 HAS SOUS 61340 HAS SOUPS 61340 WITH SCORE 61423.085
AT ITER 3829 NEW BEST:: SOT 258010 SOS 82981 HAS SOPS 82981 HAS SOUS 61313 HAS SOUPS 61313 WITH SCORE 61395.981
AT ITER 3835 NEW BEST:: SOT 257991 SOS 82943 HAS SOPS 82943 HAS SOUS 61235 HAS SOUPS 61235 WITH SCORE 61317.943
AT ITER 3844 NEW BEST:: SOT 257961 SOS 82889 HAS SOPS 82889 HAS SOUS 61157 HAS SOUPS 61157 WITH SCORE 61239.889
AT ITER 3848 NEW BEST:: SOT 257972 SOS 82883 HAS SOPS 82883 HAS SOUS 61151 HAS SOUPS 61151 WITH SCORE 61233.883
AT ITER 3853 NEW BEST:: SOT 257887 SOS 82649 HAS SOPS 82649 HAS SOUS 61123 HAS SOUPS 61123 WITH SCORE 61205.649
AT ITER 3898 NEW BEST:: SOT 257999 SOS 82519 HAS SOPS 82519 HAS SOUS 60821 HAS SOUPS 60821 WITH SCORE 60903.519
AT ITER 3928 NEW BEST:: SOT 257983 SOS 82487 HAS SOPS 82487 HAS SOUS 60805 HAS SOUPS 60805 WITH SCORE 60887.487
AT ITER 3960 NEW BEST:: SOT 257982 SOS 82384 HAS SOPS 82384 HAS SOUS 60791 HAS SOUPS 60791 WITH SCORE 60873.384
AT ITER 3969 NEW BEST:: SOT 257971 SOS 82377 HAS SOPS 82377 HAS SOUS 60770 HAS SOUPS 60770 WITH SCORE 60852.377
AT ITER 3982 NEW BEST:: SOT 257907 SOS 82281 HAS SOPS 82281 HAS SOUS 60674 HAS SOUPS 60674 WITH SCORE 60756.281
AT ITER 4009 NEW BEST:: SOT 257836 SOS 82210 HAS SOPS 82210 HAS SOUS 60674 HAS SOUPS 60674 WITH SCORE 60756.21
AT ITER 4011 NEW BEST:: SOT 257808 SOS 82160 HAS SOPS 82160 HAS SOUS 60624 HAS SOUPS 60624 WITH SCORE 60706.16
AT ITER 4018 NEW BEST:: SOT 257800 SOS 82148 HAS SOPS 82148 HAS SOUS 60616 HAS SOUPS 60616 WITH SCORE 60698.148
AT ITER 4021 NEW BEST:: SOT 257763 SOS 82074 HAS SOPS 82074 HAS SOUS 60579 HAS SOUPS 60579 WITH SCORE 60661.074
AT ITER 4023 NEW BEST:: SOT 257761 SOS 82070 HAS SOPS 82070 HAS SOUS 60575 HAS SOUPS 60575 WITH SCORE 60657.07
AT ITER 4058 NEW BEST:: SOT 257796 SOS 82090 HAS SOPS 82090 HAS SOUS 60560 HAS SOUPS 60560 WITH SCORE 60642.09
AT ITER 4060 NEW BEST:: SOT 257796 SOS 82034 HAS SOPS 82034 HAS SOUS 60504 HAS SOUPS 60504 WITH SCORE 60586.034
AT ITER 4138 NEW BEST:: SOT 257825 SOS 82063 HAS SOPS 82063 HAS SOUS 60483 HAS SOUPS 60483 WITH SCORE 60565.063
AT ITER 4140 NEW BEST:: SOT 257825 SOS 82060 HAS SOPS 82060 HAS SOUS 60480 HAS SOUPS 60480 WITH SCORE 60562.06
AT ITER 4144 NEW BEST:: SOT 257758 SOS 81993 HAS SOPS 81993 HAS SOUS 60480 HAS SOUPS 60480 WITH SCORE 60561.993
AT ITER 4145 NEW BEST:: SOT 257733 SOS 81943 HAS SOPS 81943 HAS SOUS 60430 HAS SOUPS 60430 WITH SCORE 60511.943
AT ITER 4166 NEW BEST:: SOT 257726 SOS 81936 HAS SOPS 81936 HAS SOUS 60423 HAS SOUPS 60423 WITH SCORE 60504.936
AT ITER 4219 NEW BEST:: SOT 257703 SOS 81928 HAS SOPS 81928 HAS SOUS 60415 HAS SOUPS 60415 WITH SCORE 60496.928
AT ITER 4225 NEW BEST:: SOT 257703 SOS 81916 HAS SOPS 81916 HAS SOUS 60403 HAS SOUPS 60403 WITH SCORE 60484.916
AT ITER 4234 NEW BEST:: SOT 257692 SOS 81905 HAS SOPS 81905 HAS SOUS 60392 HAS SOUPS 60392 WITH SCORE 60473.905
AT ITER 4281 NEW BEST:: SOT 257665 SOS 81878 HAS SOPS 81878 HAS SOUS 60376 HAS SOUPS 60376 WITH SCORE 60457.878
AT ITER 4298 NEW BEST:: SOT 257644 SOS 81899 HAS SOPS 81899 HAS SOUS 60362 HAS SOUPS 60362 WITH SCORE 60443.899
AT ITER 4309 NEW BEST:: SOT 257644 SOS 81794 HAS SOPS 81794 HAS SOUS 60257 HAS SOUPS 60257 WITH SCORE 60338.794
AT ITER 4312 NEW BEST:: SOT 257606 SOS 81718 HAS SOPS 81718 HAS SOUS 60181 HAS SOUPS 60181 WITH SCORE 60262.718
AT ITER 4318 NEW BEST:: SOT 257604 SOS 81695 HAS SOPS 81695 HAS SOUS 60177 HAS SOUPS 60177 WITH SCORE 60258.695
AT ITER 4328 NEW BEST:: SOT 257604 SOS 81692 HAS SOPS 81692 HAS SOUS 60174 HAS SOUPS 60174 WITH SCORE 60255.692
AT ITER 4331 NEW BEST:: SOT 257541 SOS 81629 HAS SOPS 81629 HAS SOUS 60023 HAS SOUPS 60023 WITH SCORE 60104.629
AT ITER 4335 NEW BEST:: SOT 257422 SOS 81510 HAS SOPS 81510 HAS SOUS 59968 HAS SOUPS 59968 WITH SCORE 60049.51
AT ITER 4387 NEW BEST:: SOT 257374 SOS 81401 HAS SOPS 81401 HAS SOUS 59859 HAS SOUPS 59859 WITH SCORE 59940.401
AT ITER 4428 NEW BEST:: SOT 257342 SOS 81323 HAS SOPS 81323 HAS SOUS 59781 HAS SOUPS 59781 WITH SCORE 59862.323
AT ITER 4439 NEW BEST:: SOT 257377 SOS 81214 HAS SOPS 81214 HAS SOUS 59713 HAS SOUPS 59713 WITH SCORE 59794.214
AT ITER 4441 NEW BEST:: SOT 257316 SOS 81098 HAS SOPS 81098 HAS SOUS 59597 HAS SOUPS 59597 WITH SCORE 59678.098
AT ITER 4452 NEW BEST:: SOT 257297 SOS 81060 HAS SOPS 81060 HAS SOUS 59559 HAS SOUPS 59559 WITH SCORE 59640.06
AT ITER 4457 NEW BEST:: SOT 257262 SOS 81038 HAS SOPS 81038 HAS SOUS 59537 HAS SOUPS 59537 WITH SCORE 59618.038
AT ITER 4475 NEW BEST:: SOT 257274 SOS 81029 HAS SOPS 81029 HAS SOUS 59528 HAS SOUPS 59528 WITH SCORE 59609.029
AT ITER 4542 NEW BEST:: SOT 257348 SOS 81017 HAS SOPS 81017 HAS SOUS 59463 HAS SOUPS 59463 WITH SCORE 59544.017
AT ITER 4560 NEW BEST:: SOT 257381 SOS 81000 HAS SOPS 81000 HAS SOUS 59363 HAS SOUPS 59363 WITH SCORE 59444.0
AT ITER 4569 NEW BEST:: SOT 257355 SOS 80948 HAS SOPS 80948 HAS SOUS 59311 HAS SOUPS 59311 WITH SCORE 59391.948
AT ITER 4581 NEW BEST:: SOT 257259 SOS 80888 HAS SOPS 80888 HAS SOUS 59309 HAS SOUPS 59309 WITH SCORE 59389.888
AT ITER 4592 NEW BEST:: SOT 257251 SOS 80880 HAS SOPS 80880 HAS SOUS 59301 HAS SOUPS 59301 WITH SCORE 59381.88
AT ITER 4620 NEW BEST:: SOT 257252 SOS 80875 HAS SOPS 80875 HAS SOUS 59270 HAS SOUPS 59270 WITH SCORE 59350.875
AT ITER 4648 NEW BEST:: SOT 257252 SOS 80849 HAS SOPS 80849 HAS SOUS 59270 HAS SOUPS 59270 WITH SCORE 59350.849
AT ITER 4655 NEW BEST:: SOT 257170 SOS 80735 HAS SOPS 80735 HAS SOUS 59136 HAS SOUPS 59136 WITH SCORE 59216.735
AT ITER 4714 NEW BEST:: SOT 257107 SOS 80596 HAS SOPS 80596 HAS SOUS 58997 HAS SOUPS 58997 WITH SCORE 59077.596
AT ITER 4742 NEW BEST:: SOT 257107 SOS 80578 HAS SOPS 80578 HAS SOUS 58979 HAS SOUPS 58979 WITH SCORE 59059.578
AT ITER 4752 NEW BEST:: SOT 257167 SOS 80548 HAS SOPS 80548 HAS SOUS 58940 HAS SOUPS 58940 WITH SCORE 59020.548
AT ITER 4773 NEW BEST:: SOT 257016 SOS 80347 HAS SOPS 80347 HAS SOUS 58811 HAS SOUPS 58811 WITH SCORE 58891.347
AT ITER 4779 NEW BEST:: SOT 257016 SOS 80346 HAS SOPS 80346 HAS SOUS 58810 HAS SOUPS 58810 WITH SCORE 58890.346
AT ITER 4795 NEW BEST:: SOT 256915 SOS 80144 HAS SOPS 80144 HAS SOUS 58709 HAS SOUPS 58709 WITH SCORE 58789.144
AT ITER 4830 NEW BEST:: SOT 256870 SOS 80133 HAS SOPS 80133 HAS SOUS 58698 HAS SOUPS 58698 WITH SCORE 58778.133
AT ITER 4880 NEW BEST:: SOT 256870 SOS 80110 HAS SOPS 80110 HAS SOUS 58675 HAS SOUPS 58675 WITH SCORE 58755.11
AT ITER 4885 NEW BEST:: SOT 256864 SOS 80098 HAS SOPS 80098 HAS SOUS 58618 HAS SOUPS 58618 WITH SCORE 58698.098
AT ITER 4889 NEW BEST:: SOT 256864 SOS 80098 HAS SOPS 80098 HAS SOUS 58611 HAS SOUPS 58611 WITH SCORE 58691.098
AT ITER 4891 NEW BEST:: SOT 256883 SOS 80042 HAS SOPS 80042 HAS SOUS 58555 HAS SOUPS 58555 WITH SCORE 58635.042
AT ITER 4899 NEW BEST:: SOT 256877 SOS 80030 HAS SOPS 80030 HAS SOUS 58549 HAS SOUPS 58549 WITH SCORE 58629.03
AT ITER 4956 NEW BEST:: SOT 256877 SOS 80029 HAS SOPS 80029 HAS SOUS 58549 HAS SOUPS 58549 WITH SCORE 58629.029
AT ITER 4962 NEW BEST:: SOT 256871 SOS 80017 HAS SOPS 80017 HAS SOUS 58537 HAS SOUPS 58537 WITH SCORE 58617.017
AT ITER 4964 NEW BEST:: SOT 256872 SOS 79970 HAS SOPS 79970 HAS SOUS 58516 HAS SOUPS 58516 WITH SCORE 58595.97
AT ITER 4970 NEW BEST:: SOT 256794 SOS 79814 HAS SOPS 79814 HAS SOUS 58430 HAS SOUPS 58430 WITH SCORE 58509.814
AT ITER 4971 NEW BEST:: SOT 256718 SOS 79662 HAS SOPS 79662 HAS SOUS 58367 HAS SOUPS 58367 WITH SCORE 58446.662
AT ITER 4996 NEW BEST:: SOT 256718 SOS 79647 HAS SOPS 79647 HAS SOUS 58337 HAS SOUPS 58337 WITH SCORE 58416.647
AT ITER 4997 NEW BEST:: SOT 256731 SOS 79593 HAS SOPS 79593 HAS SOUS 58282 HAS SOUPS 58282 WITH SCORE 58361.593
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-18-CTLFireability-00 (EX( (EF( ((potential((tk(P435)>=1))))))))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-01 (EF( ( ( (EX( ((potential((tk(P228)>=1)))))) | ((potential((tk(P304)>=1)))) ) & ( (! (! ((potential((tk(P44)>=1)))))) | ((potential((tk(P32)>=1)))) ) )))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-02 (AG( (! (AF( ( ((potential((tk(P30)>=1)))) & ((potential((tk(P375)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-03 (! (EF( ((potential((tk(P395)>=1)))))))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-04 ( (AF( (! ( (! ((potential((tk(P254)>=1))))) & ( ((potential((tk(P61)>=1)))) | ((potential((tk(P237)>=1)))) ) )))) & (! (AF( (EF( ((potential((tk(P27)>=1))))))))) )
PROPERTY: BusinessProcesses-PT-18-CTLFireability-05 ( (AG( ( ((potential((tk(P15)>=1)))) & ((potential((tk(P304)>=1)))) ))) | ( ((potential((tk(P597)>=1)))) | (EU( (! ((potential((tk(P582)>=1))))) , ( ((potential((tk(P608)>=1)))) & ((potential((tk(P290)>=1)))) ) )) ) )
PROPERTY: BusinessProcesses-PT-18-CTLFireability-06 ( (AG( (! (! (! ((potential((tk(P576)>=1))))))))) & (! (! (EF( (! ((potential((tk(P292)>=1))))))))) )
PROPERTY: BusinessProcesses-PT-18-CTLFireability-07 (EF( ( ( (! (! ((potential((tk(P393)>=1) & (tk(P69)>=1) & (tk(P689)>=1)))))) | ((potential((tk(P147)>=1) & (tk(P610)>=1)))) ) & ( ( (! ((potential((tk(P671)>=1))))) | ( ((potential((tk(P133)>=1)))) & ((potential((tk(P515)>=1)))) ) ) | (AG( ((potential((tk(P654)>=1)))))) ) )))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-08 ( (EG( (EF( ((potential((tk(P225)>=1)))))))) | (AX( (EX( ( ((potential((tk(P413)>=1) & (tk(P105)>=1) & (tk(P689)>=1)))) | ((potential((tk(P418)>=1) & (tk(P111)>=1) & (tk(P689)>=1)))) ))))) )
PROPERTY: BusinessProcesses-PT-18-CTLFireability-09 ( ( ( ( ( ((potential((tk(P413)>=1) & (tk(P105)>=1) & (tk(P689)>=1)))) & (! ((potential((tk(P1)>=1))))) ) | ( (! ((potential((tk(P477)>=1))))) & ((potential((tk(P44)>=1)))) ) ) | ( ( ( ((potential((tk(P235)>=1)))) | ((potential((tk(P349)>=1) & (tk(P293)>=1) & (tk(P689)>=1)))) ) & ( ((potential((tk(P657)>=1)))) & ((potential((tk(P665)>=1)))) ) ) & ( ( ((potential((tk(P270)>=1)))) | ((potential((tk(P511)>=1)))) ) & (! ((potential((tk(P272)>=1))))) ) ) ) & (! (AX( ((potential((tk(P18)>=1))))))) ) | (EF( ((potential((tk(P625)>=1)))))) )
PROPERTY: BusinessProcesses-PT-18-CTLFireability-10 ( (AG( ((potential((tk(P619)>=1)))))) | ( (EF( (EG( ((potential((tk(P422)>=1)))))))) & (AF( (! ( ((potential((tk(P275)>=1)))) & ((potential((tk(P621)>=1)))) )))) ) )
PROPERTY: BusinessProcesses-PT-18-CTLFireability-11 (! (AX( (EF( ( ((potential((tk(P624)>=1)))) & ((potential((tk(P109)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-12 (EF( ( ( ((potential((tk(P550)>=1)))) & ( (! ((potential((tk(P305)>=1))))) & (! ((potential((tk(P429)>=1) & (tk(P168)>=1) & (tk(P697)>=1))))) ) ) & (EF( ( ((potential((tk(P679)>=1)))) & ((potential((tk(P21)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-13 (EU( (! ( ((potential((tk(P61)>=1)))) | ( ((potential((tk(P264)>=1)))) | ((potential((tk(P330)>=1)))) ) )) , ( ( ( ((potential((tk(P147)>=1) & (tk(P610)>=1)))) & ((potential((tk(P257)>=1)))) ) | ((potential((tk(P596)>=1)))) ) & (EX( ((potential((tk(P379)>=1) & (tk(P67)>=1) & (tk(P559)>=1)))))) ) ))
PROPERTY: BusinessProcesses-PT-18-CTLFireability-14 ( (EF( ( (AF( ((potential((tk(P647)>=1)))))) & (EF( ((potential((tk(P356)>=1)))))) ))) | (EX( ((potential((tk(P385)>=1)))))) )
PROPERTY: BusinessProcesses-PT-18-CTLFireability-15 (AG( (EF( ((potential((tk(P330)>=1))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-18"
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-18, 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-158897680200588"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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