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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.6K Apr 8 14:44 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:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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.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 192K 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-20-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-20-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869258140

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 20
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 782 places, 697 transitions, 2011 arcs.
AT ITER 0 NEW BEST:: SOT 346049 SOS 133379 HAS SOPS 133379 HAS SOUS 130584 HAS SOUPS 130584 WITH SCORE 130717.379
AT ITER 1 NEW BEST:: SOT 346042 SOS 133375 HAS SOPS 133375 HAS SOUS 130580 HAS SOUPS 130580 WITH SCORE 130713.375
AT ITER 17 NEW BEST:: SOT 345984 SOS 133259 HAS SOPS 133259 HAS SOUS 130464 HAS SOUPS 130464 WITH SCORE 130597.259
AT ITER 22 NEW BEST:: SOT 345957 SOS 132849 HAS SOPS 132849 HAS SOUS 130180 HAS SOUPS 130180 WITH SCORE 130312.849
AT ITER 33 NEW BEST:: SOT 345956 SOS 132718 HAS SOPS 132718 HAS SOUS 130049 HAS SOUPS 130049 WITH SCORE 130181.718
AT ITER 35 NEW BEST:: SOT 345956 SOS 132325 HAS SOPS 132325 HAS SOUS 129998 HAS SOUPS 129998 WITH SCORE 130130.325
AT ITER 57 NEW BEST:: SOT 345726 SOS 132148 HAS SOPS 132148 HAS SOUS 129768 HAS SOUPS 129768 WITH SCORE 129900.148
AT ITER 74 NEW BEST:: SOT 345726 SOS 132116 HAS SOPS 132116 HAS SOUS 129736 HAS SOUPS 129736 WITH SCORE 129868.116
AT ITER 85 NEW BEST:: SOT 345656 SOS 132084 HAS SOPS 132084 HAS SOUS 129704 HAS SOUPS 129704 WITH SCORE 129836.084
AT ITER 108 NEW BEST:: SOT 345388 SOS 131729 HAS SOPS 131729 HAS SOUS 129349 HAS SOUPS 129349 WITH SCORE 129480.729
AT ITER 116 NEW BEST:: SOT 345157 SOS 131498 HAS SOPS 131498 HAS SOUS 129118 HAS SOUPS 129118 WITH SCORE 129249.498
AT ITER 124 NEW BEST:: SOT 344899 SOS 131214 HAS SOPS 131214 HAS SOUS 128834 HAS SOUPS 128834 WITH SCORE 128965.214
AT ITER 148 NEW BEST:: SOT 344892 SOS 131207 HAS SOPS 131207 HAS SOUS 128827 HAS SOUPS 128827 WITH SCORE 128958.207
AT ITER 151 NEW BEST:: SOT 344711 SOS 130892 HAS SOPS 130892 HAS SOUS 128512 HAS SOUPS 128512 WITH SCORE 128642.892
AT ITER 153 NEW BEST:: SOT 344711 SOS 130841 HAS SOPS 130841 HAS SOUS 128461 HAS SOUPS 128461 WITH SCORE 128591.841
AT ITER 155 NEW BEST:: SOT 344662 SOS 130756 HAS SOPS 130756 HAS SOUS 128376 HAS SOUPS 128376 WITH SCORE 128506.756
AT ITER 160 NEW BEST:: SOT 344661 SOS 130689 HAS SOPS 130689 HAS SOUS 128309 HAS SOUPS 128309 WITH SCORE 128439.689
AT ITER 165 NEW BEST:: SOT 344649 SOS 130593 HAS SOPS 130593 HAS SOUS 128297 HAS SOUPS 128297 WITH SCORE 128427.593
AT ITER 170 NEW BEST:: SOT 344584 SOS 130528 HAS SOPS 130528 HAS SOUS 128232 HAS SOUPS 128232 WITH SCORE 128362.528
AT ITER 172 NEW BEST:: SOT 344590 SOS 130510 HAS SOPS 130510 HAS SOUS 128214 HAS SOUPS 128214 WITH SCORE 128344.51
AT ITER 177 NEW BEST:: SOT 344590 SOS 130506 HAS SOPS 130506 HAS SOUS 128210 HAS SOUPS 128210 WITH SCORE 128340.506
AT ITER 180 NEW BEST:: SOT 344447 SOS 130356 HAS SOPS 130356 HAS SOUS 128060 HAS SOUPS 128060 WITH SCORE 128190.356
AT ITER 181 NEW BEST:: SOT 344447 SOS 130287 HAS SOPS 130287 HAS SOUS 128060 HAS SOUPS 128060 WITH SCORE 128190.287
AT ITER 182 NEW BEST:: SOT 344325 SOS 130132 HAS SOPS 130132 HAS SOUS 127905 HAS SOUPS 127905 WITH SCORE 128035.132
AT ITER 185 NEW BEST:: SOT 344093 SOS 129900 HAS SOPS 129900 HAS SOUS 127673 HAS SOUPS 127673 WITH SCORE 127802.9
AT ITER 187 NEW BEST:: SOT 344093 SOS 129800 HAS SOPS 129800 HAS SOUS 127573 HAS SOUPS 127573 WITH SCORE 127702.8
AT ITER 189 NEW BEST:: SOT 344093 SOS 129702 HAS SOPS 129702 HAS SOUS 127475 HAS SOUPS 127475 WITH SCORE 127604.702
AT ITER 201 NEW BEST:: SOT 344108 SOS 129383 HAS SOPS 129383 HAS SOUS 127156 HAS SOUPS 127156 WITH SCORE 127285.383
AT ITER 204 NEW BEST:: SOT 344104 SOS 129371 HAS SOPS 129371 HAS SOUS 127148 HAS SOUPS 127148 WITH SCORE 127277.371
AT ITER 205 NEW BEST:: SOT 344103 SOS 129369 HAS SOPS 129369 HAS SOUS 127146 HAS SOUPS 127146 WITH SCORE 127275.369
AT ITER 217 NEW BEST:: SOT 343687 SOS 129121 HAS SOPS 129121 HAS SOUS 126801 HAS SOUPS 126801 WITH SCORE 126930.121
AT ITER 224 NEW BEST:: SOT 343459 SOS 128998 HAS SOPS 128998 HAS SOUS 126678 HAS SOUPS 126678 WITH SCORE 126806.998
AT ITER 225 NEW BEST:: SOT 343317 SOS 128745 HAS SOPS 128745 HAS SOUS 126425 HAS SOUPS 126425 WITH SCORE 126553.745
AT ITER 235 NEW BEST:: SOT 339162 SOS 124529 HAS SOPS 124529 HAS SOUS 122209 HAS SOUPS 122209 WITH SCORE 122333.529
AT ITER 239 NEW BEST:: SOT 339207 SOS 124326 HAS SOPS 124326 HAS SOUS 122006 HAS SOUPS 122006 WITH SCORE 122130.326
AT ITER 250 NEW BEST:: SOT 339129 SOS 124312 HAS SOPS 124312 HAS SOUS 121992 HAS SOUPS 121992 WITH SCORE 122116.312
AT ITER 255 NEW BEST:: SOT 339044 SOS 124199 HAS SOPS 124199 HAS SOUS 121920 HAS SOUPS 121920 WITH SCORE 122044.199
AT ITER 261 NEW BEST:: SOT 339044 SOS 124153 HAS SOPS 124153 HAS SOUS 121879 HAS SOUPS 121879 WITH SCORE 122003.153
AT ITER 264 NEW BEST:: SOT 339068 SOS 124121 HAS SOPS 124121 HAS SOUS 121847 HAS SOUPS 121847 WITH SCORE 121971.121
AT ITER 265 NEW BEST:: SOT 338718 SOS 123946 HAS SOPS 123946 HAS SOUS 121497 HAS SOUPS 121497 WITH SCORE 121620.946
AT ITER 272 NEW BEST:: SOT 338717 SOS 123808 HAS SOPS 123808 HAS SOUS 121359 HAS SOUPS 121359 WITH SCORE 121482.808
AT ITER 292 NEW BEST:: SOT 338634 SOS 123559 HAS SOPS 123559 HAS SOUS 121110 HAS SOUPS 121110 WITH SCORE 121233.559
AT ITER 298 NEW BEST:: SOT 338403 SOS 123334 HAS SOPS 123334 HAS SOUS 120885 HAS SOUPS 120885 WITH SCORE 121008.334
AT ITER 299 NEW BEST:: SOT 338400 SOS 123325 HAS SOPS 123325 HAS SOUS 120876 HAS SOUPS 120876 WITH SCORE 120999.325
AT ITER 301 NEW BEST:: SOT 338345 SOS 123194 HAS SOPS 123194 HAS SOUS 120771 HAS SOUPS 120771 WITH SCORE 120894.194
AT ITER 342 NEW BEST:: SOT 338345 SOS 123064 HAS SOPS 123064 HAS SOUS 120641 HAS SOUPS 120641 WITH SCORE 120764.064
AT ITER 343 NEW BEST:: SOT 338661 SOS 122875 HAS SOPS 122875 HAS SOUS 120545 HAS SOUPS 120545 WITH SCORE 120667.875
AT ITER 344 NEW BEST:: SOT 338275 SOS 122489 HAS SOPS 122489 HAS SOUS 120159 HAS SOUPS 120159 WITH SCORE 120281.489
AT ITER 347 NEW BEST:: SOT 338280 SOS 122289 HAS SOPS 122289 HAS SOUS 119959 HAS SOUPS 119959 WITH SCORE 120081.289
AT ITER 357 NEW BEST:: SOT 338142 SOS 122180 HAS SOPS 122180 HAS SOUS 119850 HAS SOUPS 119850 WITH SCORE 119972.18
AT ITER 359 NEW BEST:: SOT 338132 SOS 122171 HAS SOPS 122171 HAS SOUS 119841 HAS SOUPS 119841 WITH SCORE 119963.171
AT ITER 368 NEW BEST:: SOT 334455 SOS 120414 HAS SOPS 120414 HAS SOUS 116653 HAS SOUPS 116653 WITH SCORE 116773.414
AT ITER 384 NEW BEST:: SOT 334511 SOS 120395 HAS SOPS 120395 HAS SOUS 116593 HAS SOUPS 116593 WITH SCORE 116713.395
AT ITER 402 NEW BEST:: SOT 334447 SOS 120298 HAS SOPS 120298 HAS SOUS 116496 HAS SOUPS 116496 WITH SCORE 116616.298
AT ITER 408 NEW BEST:: SOT 334278 SOS 120117 HAS SOPS 120117 HAS SOUS 116315 HAS SOUPS 116315 WITH SCORE 116435.117
AT ITER 412 NEW BEST:: SOT 334278 SOS 119922 HAS SOPS 119922 HAS SOUS 115844 HAS SOUPS 115844 WITH SCORE 115963.922
AT ITER 420 NEW BEST:: SOT 334280 SOS 119903 HAS SOPS 119903 HAS SOUS 115805 HAS SOUPS 115805 WITH SCORE 115924.903
AT ITER 425 NEW BEST:: SOT 334227 SOS 119860 HAS SOPS 119860 HAS SOUS 115795 HAS SOUPS 115795 WITH SCORE 115914.86
AT ITER 438 NEW BEST:: SOT 334225 SOS 119855 HAS SOPS 119855 HAS SOUS 115790 HAS SOUPS 115790 WITH SCORE 115909.855
AT ITER 448 NEW BEST:: SOT 334225 SOS 119736 HAS SOPS 119736 HAS SOUS 115672 HAS SOUPS 115672 WITH SCORE 115791.736
AT ITER 465 NEW BEST:: SOT 334161 SOS 119608 HAS SOPS 119608 HAS SOUS 115544 HAS SOUPS 115544 WITH SCORE 115663.608
AT ITER 467 NEW BEST:: SOT 334159 SOS 119604 HAS SOPS 119604 HAS SOUS 115540 HAS SOUPS 115540 WITH SCORE 115659.604
AT ITER 476 NEW BEST:: SOT 334094 SOS 119664 HAS SOPS 119664 HAS SOUS 115324 HAS SOUPS 115324 WITH SCORE 115443.664
AT ITER 479 NEW BEST:: SOT 334010 SOS 119526 HAS SOPS 119526 HAS SOUS 115186 HAS SOUPS 115186 WITH SCORE 115305.526
AT ITER 501 NEW BEST:: SOT 334004 SOS 119520 HAS SOPS 119520 HAS SOUS 115180 HAS SOUPS 115180 WITH SCORE 115299.52
AT ITER 509 NEW BEST:: SOT 333851 SOS 119511 HAS SOPS 119511 HAS SOUS 115127 HAS SOUPS 115127 WITH SCORE 115246.511
AT ITER 517 NEW BEST:: SOT 333851 SOS 119472 HAS SOPS 119472 HAS SOUS 115088 HAS SOUPS 115088 WITH SCORE 115207.472
AT ITER 532 NEW BEST:: SOT 333851 SOS 119471 HAS SOPS 119471 HAS SOUS 115087 HAS SOUPS 115087 WITH SCORE 115206.471
AT ITER 537 NEW BEST:: SOT 333851 SOS 119464 HAS SOPS 119464 HAS SOUS 115080 HAS SOUPS 115080 WITH SCORE 115199.464
AT ITER 538 NEW BEST:: SOT 333851 SOS 119342 HAS SOPS 119342 HAS SOUS 114958 HAS SOUPS 114958 WITH SCORE 115077.342
AT ITER 539 NEW BEST:: SOT 333583 SOS 119085 HAS SOPS 119085 HAS SOUS 114701 HAS SOUPS 114701 WITH SCORE 114820.085
AT ITER 542 NEW BEST:: SOT 333582 SOS 119083 HAS SOPS 119083 HAS SOUS 114699 HAS SOUPS 114699 WITH SCORE 114818.083
AT ITER 549 NEW BEST:: SOT 333575 SOS 119050 HAS SOPS 119050 HAS SOUS 114666 HAS SOUPS 114666 WITH SCORE 114785.05
AT ITER 563 NEW BEST:: SOT 333572 SOS 119044 HAS SOPS 119044 HAS SOUS 114660 HAS SOUPS 114660 WITH SCORE 114779.044
AT ITER 573 NEW BEST:: SOT 333518 SOS 119029 HAS SOPS 119029 HAS SOUS 114645 HAS SOUPS 114645 WITH SCORE 114764.029
AT ITER 588 NEW BEST:: SOT 333475 SOS 119043 HAS SOPS 119043 HAS SOUS 114565 HAS SOUPS 114565 WITH SCORE 114684.043
AT ITER 596 NEW BEST:: SOT 333317 SOS 118727 HAS SOPS 118727 HAS SOUS 114249 HAS SOUPS 114249 WITH SCORE 114367.727
AT ITER 601 NEW BEST:: SOT 333346 SOS 118539 HAS SOPS 118539 HAS SOUS 114061 HAS SOUPS 114061 WITH SCORE 114179.539
AT ITER 614 NEW BEST:: SOT 333235 SOS 118428 HAS SOPS 118428 HAS SOUS 113950 HAS SOUPS 113950 WITH SCORE 114068.428
AT ITER 625 NEW BEST:: SOT 333235 SOS 118427 HAS SOPS 118427 HAS SOUS 113949 HAS SOUPS 113949 WITH SCORE 114067.427
AT ITER 628 NEW BEST:: SOT 333220 SOS 118427 HAS SOPS 118427 HAS SOUS 113932 HAS SOUPS 113932 WITH SCORE 114050.427
AT ITER 642 NEW BEST:: SOT 333243 SOS 118422 HAS SOPS 118422 HAS SOUS 113927 HAS SOUPS 113927 WITH SCORE 114045.422
AT ITER 652 NEW BEST:: SOT 322839 SOS 116944 HAS SOPS 116944 HAS SOUS 103841 HAS SOUPS 103841 WITH SCORE 103957.944
AT ITER 653 NEW BEST:: SOT 322797 SOS 116881 HAS SOPS 116881 HAS SOUS 103778 HAS SOUPS 103778 WITH SCORE 103894.881
AT ITER 669 NEW BEST:: SOT 322588 SOS 116567 HAS SOPS 116567 HAS SOUS 103568 HAS SOUPS 103568 WITH SCORE 103684.567
AT ITER 682 NEW BEST:: SOT 322562 SOS 116417 HAS SOPS 116417 HAS SOUS 103296 HAS SOUPS 103296 WITH SCORE 103412.417
AT ITER 683 NEW BEST:: SOT 322561 SOS 116252 HAS SOPS 116252 HAS SOUS 103131 HAS SOUPS 103131 WITH SCORE 103247.252
AT ITER 687 NEW BEST:: SOT 320617 SOS 114371 HAS SOPS 114371 HAS SOUS 101385 HAS SOUPS 101385 WITH SCORE 101499.371
AT ITER 690 NEW BEST:: SOT 320452 SOS 114174 HAS SOPS 114174 HAS SOUS 101291 HAS SOUPS 101291 WITH SCORE 101405.174
AT ITER 694 NEW BEST:: SOT 320268 SOS 113912 HAS SOPS 113912 HAS SOUS 101216 HAS SOUPS 101216 WITH SCORE 101329.912
AT ITER 726 NEW BEST:: SOT 320190 SOS 113834 HAS SOPS 113834 HAS SOUS 101138 HAS SOUPS 101138 WITH SCORE 101251.834
AT ITER 728 NEW BEST:: SOT 320153 SOS 113797 HAS SOPS 113797 HAS SOUS 101101 HAS SOUPS 101101 WITH SCORE 101214.797
AT ITER 734 NEW BEST:: SOT 320245 SOS 113889 HAS SOPS 113889 HAS SOUS 101100 HAS SOUPS 101100 WITH SCORE 101213.889
AT ITER 737 NEW BEST:: SOT 320244 SOS 113887 HAS SOPS 113887 HAS SOUS 101098 HAS SOUPS 101098 WITH SCORE 101211.887
AT ITER 753 NEW BEST:: SOT 320252 SOS 113874 HAS SOPS 113874 HAS SOUS 101085 HAS SOUPS 101085 WITH SCORE 101198.874
AT ITER 768 NEW BEST:: SOT 320187 SOS 113809 HAS SOPS 113809 HAS SOUS 101085 HAS SOUPS 101085 WITH SCORE 101198.809
AT ITER 781 NEW BEST:: SOT 320203 SOS 113841 HAS SOPS 113841 HAS SOUS 101067 HAS SOUPS 101067 WITH SCORE 101180.841
AT ITER 793 NEW BEST:: SOT 320087 SOS 113738 HAS SOPS 113738 HAS SOUS 101018 HAS SOUPS 101018 WITH SCORE 101131.738
AT ITER 800 NEW BEST:: SOT 320023 SOS 113359 HAS SOPS 113359 HAS SOUS 100639 HAS SOUPS 100639 WITH SCORE 100752.359
AT ITER 807 NEW BEST:: SOT 320006 SOS 113239 HAS SOPS 113239 HAS SOUS 100539 HAS SOUPS 100539 WITH SCORE 100652.239
AT ITER 812 NEW BEST:: SOT 319922 SOS 113150 HAS SOPS 113150 HAS SOUS 100450 HAS SOUPS 100450 WITH SCORE 100563.15
AT ITER 815 NEW BEST:: SOT 319787 SOS 112880 HAS SOPS 112880 HAS SOUS 100180 HAS SOUPS 100180 WITH SCORE 100292.88
AT ITER 830 NEW BEST:: SOT 319512 SOS 112590 HAS SOPS 112590 HAS SOUS 99890 HAS SOUPS 99890 WITH SCORE 100002.59
AT ITER 832 NEW BEST:: SOT 319512 SOS 112577 HAS SOPS 112577 HAS SOUS 99877 HAS SOUPS 99877 WITH SCORE 99989.577
AT ITER 834 NEW BEST:: SOT 319566 SOS 112554 HAS SOPS 112554 HAS SOUS 99800 HAS SOUPS 99800 WITH SCORE 99912.554
AT ITER 835 NEW BEST:: SOT 319516 SOS 112504 HAS SOPS 112504 HAS SOUS 99750 HAS SOUPS 99750 WITH SCORE 99862.504
AT ITER 849 NEW BEST:: SOT 319515 SOS 112502 HAS SOPS 112502 HAS SOUS 99748 HAS SOUPS 99748 WITH SCORE 99860.502
AT ITER 873 NEW BEST:: SOT 319531 SOS 112499 HAS SOPS 112499 HAS SOUS 99745 HAS SOUPS 99745 WITH SCORE 99857.499
AT ITER 876 NEW BEST:: SOT 319493 SOS 112423 HAS SOPS 112423 HAS SOUS 99669 HAS SOUPS 99669 WITH SCORE 99781.423
AT ITER 877 NEW BEST:: SOT 319346 SOS 112276 HAS SOPS 112276 HAS SOUS 99590 HAS SOUPS 99590 WITH SCORE 99702.276
AT ITER 878 NEW BEST:: SOT 319288 SOS 112276 HAS SOPS 112276 HAS SOUS 99561 HAS SOUPS 99561 WITH SCORE 99673.276
AT ITER 893 NEW BEST:: SOT 319245 SOS 112285 HAS SOPS 112285 HAS SOUS 99518 HAS SOUPS 99518 WITH SCORE 99630.285
AT ITER 921 NEW BEST:: SOT 319244 SOS 112283 HAS SOPS 112283 HAS SOUS 99516 HAS SOUPS 99516 WITH SCORE 99628.283
AT ITER 934 NEW BEST:: SOT 318940 SOS 111829 HAS SOPS 111829 HAS SOUS 99216 HAS SOUPS 99216 WITH SCORE 99327.829
AT ITER 953 NEW BEST:: SOT 318940 SOS 111744 HAS SOPS 111744 HAS SOUS 99131 HAS SOUPS 99131 WITH SCORE 99242.744
AT ITER 960 NEW BEST:: SOT 318877 SOS 111559 HAS SOPS 111559 HAS SOUS 99023 HAS SOUPS 99023 WITH SCORE 99134.559
AT ITER 964 NEW BEST:: SOT 318992 SOS 111674 HAS SOPS 111674 HAS SOUS 98988 HAS SOUPS 98988 WITH SCORE 99099.674
AT ITER 979 NEW BEST:: SOT 318645 SOS 111104 HAS SOPS 111104 HAS SOUS 98558 HAS SOUPS 98558 WITH SCORE 98669.104
AT ITER 990 NEW BEST:: SOT 318640 SOS 111099 HAS SOPS 111099 HAS SOUS 98553 HAS SOUPS 98553 WITH SCORE 98664.099
AT ITER 1029 NEW BEST:: SOT 318516 SOS 111063 HAS SOPS 111063 HAS SOUS 98517 HAS SOUPS 98517 WITH SCORE 98628.063
AT ITER 1035 NEW BEST:: SOT 318388 SOS 110934 HAS SOPS 110934 HAS SOUS 98515 HAS SOUPS 98515 WITH SCORE 98625.934
AT ITER 1041 NEW BEST:: SOT 318269 SOS 110778 HAS SOPS 110778 HAS SOUS 98488 HAS SOUPS 98488 WITH SCORE 98598.778
AT ITER 1047 NEW BEST:: SOT 318221 SOS 110682 HAS SOPS 110682 HAS SOUS 98392 HAS SOUPS 98392 WITH SCORE 98502.682
AT ITER 1062 NEW BEST:: SOT 318208 SOS 110669 HAS SOPS 110669 HAS SOUS 98392 HAS SOUPS 98392 WITH SCORE 98502.669
AT ITER 1066 NEW BEST:: SOT 318213 SOS 110674 HAS SOPS 110674 HAS SOUS 98294 HAS SOUPS 98294 WITH SCORE 98404.674
AT ITER 1074 NEW BEST:: SOT 317989 SOS 110643 HAS SOPS 110643 HAS SOUS 98211 HAS SOUPS 98211 WITH SCORE 98321.643
AT ITER 1079 NEW BEST:: SOT 317988 SOS 110641 HAS SOPS 110641 HAS SOUS 98209 HAS SOUPS 98209 WITH SCORE 98319.641
AT ITER 1082 NEW BEST:: SOT 318168 SOS 110785 HAS SOPS 110785 HAS SOUS 98104 HAS SOUPS 98104 WITH SCORE 98214.785
AT ITER 1095 NEW BEST:: SOT 318145 SOS 110762 HAS SOPS 110762 HAS SOUS 98081 HAS SOUPS 98081 WITH SCORE 98191.762
AT ITER 1111 NEW BEST:: SOT 318078 SOS 110628 HAS SOPS 110628 HAS SOUS 97947 HAS SOUPS 97947 WITH SCORE 98057.628
AT ITER 1144 NEW BEST:: SOT 318077 SOS 110626 HAS SOPS 110626 HAS SOUS 97945 HAS SOUPS 97945 WITH SCORE 98055.626
AT ITER 1150 NEW BEST:: SOT 318052 SOS 110344 HAS SOPS 110344 HAS SOUS 97663 HAS SOUPS 97663 WITH SCORE 97773.344
AT ITER 1151 NEW BEST:: SOT 318051 SOS 110257 HAS SOPS 110257 HAS SOUS 97576 HAS SOUPS 97576 WITH SCORE 97686.257
AT ITER 1155 NEW BEST:: SOT 317925 SOS 110005 HAS SOPS 110005 HAS SOUS 97324 HAS SOUPS 97324 WITH SCORE 97434.005
AT ITER 1157 NEW BEST:: SOT 317886 SOS 109966 HAS SOPS 109966 HAS SOUS 97285 HAS SOUPS 97285 WITH SCORE 97394.966
AT ITER 1158 NEW BEST:: SOT 317924 SOS 109788 HAS SOPS 109788 HAS SOUS 97167 HAS SOUPS 97167 WITH SCORE 97276.788
AT ITER 1166 NEW BEST:: SOT 317875 SOS 109656 HAS SOPS 109656 HAS SOUS 96903 HAS SOUPS 96903 WITH SCORE 97012.656
AT ITER 1179 NEW BEST:: SOT 317817 SOS 109540 HAS SOPS 109540 HAS SOUS 96787 HAS SOUPS 96787 WITH SCORE 96896.54
AT ITER 1194 NEW BEST:: SOT 318037 SOS 109663 HAS SOPS 109663 HAS SOUS 96690 HAS SOUPS 96690 WITH SCORE 96799.663
AT ITER 1197 NEW BEST:: SOT 318037 SOS 109623 HAS SOPS 109623 HAS SOUS 96690 HAS SOUPS 96690 WITH SCORE 96799.623
AT ITER 1224 NEW BEST:: SOT 317994 SOS 109579 HAS SOPS 109579 HAS SOUS 96688 HAS SOUPS 96688 WITH SCORE 96797.579
AT ITER 1225 NEW BEST:: SOT 317993 SOS 109577 HAS SOPS 109577 HAS SOUS 96686 HAS SOUPS 96686 WITH SCORE 96795.577
AT ITER 1232 NEW BEST:: SOT 317890 SOS 109371 HAS SOPS 109371 HAS SOUS 96583 HAS SOUPS 96583 WITH SCORE 96692.371
AT ITER 1233 NEW BEST:: SOT 317610 SOS 108931 HAS SOPS 108931 HAS SOUS 96092 HAS SOUPS 96092 WITH SCORE 96200.931
AT ITER 1239 NEW BEST:: SOT 317625 SOS 108946 HAS SOPS 108946 HAS SOUS 96084 HAS SOUPS 96084 WITH SCORE 96192.946
AT ITER 1242 NEW BEST:: SOT 317748 SOS 108728 HAS SOPS 108728 HAS SOUS 95866 HAS SOUPS 95866 WITH SCORE 95974.728
AT ITER 1244 NEW BEST:: SOT 317567 SOS 108266 HAS SOPS 108266 HAS SOUS 95404 HAS SOUPS 95404 WITH SCORE 95512.266
AT ITER 1270 NEW BEST:: SOT 317318 SOS 108039 HAS SOPS 108039 HAS SOUS 95177 HAS SOUPS 95177 WITH SCORE 95285.039
AT ITER 1272 NEW BEST:: SOT 317156 SOS 107763 HAS SOPS 107763 HAS SOUS 94967 HAS SOUPS 94967 WITH SCORE 95074.763
AT ITER 1277 NEW BEST:: SOT 317144 SOS 107751 HAS SOPS 107751 HAS SOUS 94955 HAS SOUPS 94955 WITH SCORE 95062.751
AT ITER 1278 NEW BEST:: SOT 317052 SOS 107556 HAS SOPS 107556 HAS SOUS 94760 HAS SOUPS 94760 WITH SCORE 94867.556
AT ITER 1284 NEW BEST:: SOT 317006 SOS 107498 HAS SOPS 107498 HAS SOUS 94702 HAS SOUPS 94702 WITH SCORE 94809.498
AT ITER 1332 NEW BEST:: SOT 316913 SOS 107436 HAS SOPS 107436 HAS SOUS 94640 HAS SOUPS 94640 WITH SCORE 94747.436
AT ITER 1341 NEW BEST:: SOT 316913 SOS 107436 HAS SOPS 107436 HAS SOUS 94589 HAS SOUPS 94589 WITH SCORE 94696.436
AT ITER 1369 NEW BEST:: SOT 316909 SOS 107413 HAS SOPS 107413 HAS SOUS 94566 HAS SOUPS 94566 WITH SCORE 94673.413
AT ITER 1372 NEW BEST:: SOT 316801 SOS 107305 HAS SOPS 107305 HAS SOUS 94566 HAS SOUPS 94566 WITH SCORE 94673.305
AT ITER 1382 NEW BEST:: SOT 316801 SOS 107279 HAS SOPS 107279 HAS SOUS 94540 HAS SOUPS 94540 WITH SCORE 94647.279
AT ITER 1385 NEW BEST:: SOT 316706 SOS 107200 HAS SOPS 107200 HAS SOUS 94467 HAS SOUPS 94467 WITH SCORE 94574.2
AT ITER 1392 NEW BEST:: SOT 316674 SOS 107168 HAS SOPS 107168 HAS SOUS 94435 HAS SOUPS 94435 WITH SCORE 94542.168
AT ITER 1394 NEW BEST:: SOT 316674 SOS 107159 HAS SOPS 107159 HAS SOUS 94426 HAS SOUPS 94426 WITH SCORE 94533.159
AT ITER 1410 NEW BEST:: SOT 316665 SOS 107150 HAS SOPS 107150 HAS SOUS 94417 HAS SOUPS 94417 WITH SCORE 94524.15
AT ITER 1413 NEW BEST:: SOT 316637 SOS 106932 HAS SOPS 106932 HAS SOUS 94310 HAS SOUPS 94310 WITH SCORE 94416.932
AT ITER 1415 NEW BEST:: SOT 316601 SOS 106860 HAS SOPS 106860 HAS SOUS 94238 HAS SOUPS 94238 WITH SCORE 94344.86
AT ITER 1438 NEW BEST:: SOT 316547 SOS 106810 HAS SOPS 106810 HAS SOUS 94188 HAS SOUPS 94188 WITH SCORE 94294.81
AT ITER 1446 NEW BEST:: SOT 316500 SOS 106763 HAS SOPS 106763 HAS SOUS 94188 HAS SOUPS 94188 WITH SCORE 94294.763
AT ITER 1451 NEW BEST:: SOT 316475 SOS 106738 HAS SOPS 106738 HAS SOUS 94188 HAS SOUPS 94188 WITH SCORE 94294.738
AT ITER 1470 NEW BEST:: SOT 316512 SOS 106618 HAS SOPS 106618 HAS SOUS 94142 HAS SOUPS 94142 WITH SCORE 94248.618
AT ITER 1473 NEW BEST:: SOT 316468 SOS 106421 HAS SOPS 106421 HAS SOUS 94045 HAS SOUPS 94045 WITH SCORE 94151.421
AT ITER 1477 NEW BEST:: SOT 316357 SOS 106255 HAS SOPS 106255 HAS SOUS 93986 HAS SOUPS 93986 WITH SCORE 94092.255
AT ITER 1484 NEW BEST:: SOT 316217 SOS 106182 HAS SOPS 106182 HAS SOUS 93849 HAS SOUPS 93849 WITH SCORE 93955.182
AT ITER 1493 NEW BEST:: SOT 316217 SOS 106179 HAS SOPS 106179 HAS SOUS 93846 HAS SOUPS 93846 WITH SCORE 93952.179
AT ITER 1514 NEW BEST:: SOT 316198 SOS 106160 HAS SOPS 106160 HAS SOUS 93827 HAS SOUPS 93827 WITH SCORE 93933.16
AT ITER 1522 NEW BEST:: SOT 316185 SOS 106154 HAS SOPS 106154 HAS SOUS 93821 HAS SOUPS 93821 WITH SCORE 93927.154
AT ITER 1564 NEW BEST:: SOT 316185 SOS 106152 HAS SOPS 106152 HAS SOUS 93819 HAS SOUPS 93819 WITH SCORE 93925.152
AT ITER 1573 NEW BEST:: SOT 315961 SOS 105760 HAS SOPS 105760 HAS SOUS 93600 HAS SOUPS 93600 WITH SCORE 93705.76
AT ITER 1577 NEW BEST:: SOT 315916 SOS 105715 HAS SOPS 105715 HAS SOUS 93600 HAS SOUPS 93600 WITH SCORE 93705.715
AT ITER 1581 NEW BEST:: SOT 315785 SOS 105453 HAS SOPS 105453 HAS SOUS 93338 HAS SOUPS 93338 WITH SCORE 93443.453
AT ITER 1585 NEW BEST:: SOT 315437 SOS 105227 HAS SOPS 105227 HAS SOUS 93332 HAS SOUPS 93332 WITH SCORE 93437.227
AT ITER 1586 NEW BEST:: SOT 315374 SOS 105164 HAS SOPS 105164 HAS SOUS 93269 HAS SOUPS 93269 WITH SCORE 93374.164
AT ITER 1589 NEW BEST:: SOT 315339 SOS 105151 HAS SOPS 105151 HAS SOUS 93256 HAS SOUPS 93256 WITH SCORE 93361.151
AT ITER 1594 NEW BEST:: SOT 315315 SOS 105150 HAS SOPS 105150 HAS SOUS 93255 HAS SOUPS 93255 WITH SCORE 93360.15
AT ITER 1611 NEW BEST:: SOT 315312 SOS 105144 HAS SOPS 105144 HAS SOUS 93252 HAS SOUPS 93252 WITH SCORE 93357.144
AT ITER 1619 NEW BEST:: SOT 315412 SOS 105244 HAS SOPS 105244 HAS SOUS 93244 HAS SOUPS 93244 WITH SCORE 93349.244
AT ITER 1660 NEW BEST:: SOT 315412 SOS 105237 HAS SOPS 105237 HAS SOUS 93244 HAS SOUPS 93244 WITH SCORE 93349.237
AT ITER 1663 NEW BEST:: SOT 315411 SOS 105235 HAS SOPS 105235 HAS SOUS 93242 HAS SOUPS 93242 WITH SCORE 93347.235
AT ITER 1689 NEW BEST:: SOT 315379 SOS 105205 HAS SOPS 105205 HAS SOUS 93212 HAS SOUPS 93212 WITH SCORE 93317.205
AT ITER 1697 NEW BEST:: SOT 315379 SOS 105196 HAS SOPS 105196 HAS SOUS 93179 HAS SOUPS 93179 WITH SCORE 93284.196
AT ITER 1702 NEW BEST:: SOT 315303 SOS 105029 HAS SOPS 105029 HAS SOUS 93012 HAS SOUPS 93012 WITH SCORE 93117.029
AT ITER 1704 NEW BEST:: SOT 315296 SOS 105015 HAS SOPS 105015 HAS SOUS 92998 HAS SOUPS 92998 WITH SCORE 93103.015
AT ITER 1709 NEW BEST:: SOT 315336 SOS 105023 HAS SOPS 105023 HAS SOUS 92947 HAS SOUPS 92947 WITH SCORE 93052.023
AT ITER 1712 NEW BEST:: SOT 315262 SOS 104949 HAS SOPS 104949 HAS SOUS 92873 HAS SOUPS 92873 WITH SCORE 92977.949
AT ITER 1715 NEW BEST:: SOT 315208 SOS 104895 HAS SOPS 104895 HAS SOUS 92873 HAS SOUPS 92873 WITH SCORE 92977.895
AT ITER 1716 NEW BEST:: SOT 315203 SOS 104811 HAS SOPS 104811 HAS SOUS 92799 HAS SOUPS 92799 WITH SCORE 92903.811
AT ITER 1742 NEW BEST:: SOT 315106 SOS 104714 HAS SOPS 104714 HAS SOUS 92675 HAS SOUPS 92675 WITH SCORE 92779.714
AT ITER 1747 NEW BEST:: SOT 315080 SOS 104713 HAS SOPS 104713 HAS SOUS 92674 HAS SOUPS 92674 WITH SCORE 92778.713
AT ITER 1748 NEW BEST:: SOT 314988 SOS 104701 HAS SOPS 104701 HAS SOUS 92662 HAS SOUPS 92662 WITH SCORE 92766.701
AT ITER 1758 NEW BEST:: SOT 314757 SOS 105562 HAS SOPS 105562 HAS SOUS 92473 HAS SOUPS 92473 WITH SCORE 92578.562
AT ITER 1762 NEW BEST:: SOT 314805 SOS 105457 HAS SOPS 105457 HAS SOUS 92368 HAS SOUPS 92368 WITH SCORE 92473.457
AT ITER 1766 NEW BEST:: SOT 314744 SOS 105396 HAS SOPS 105396 HAS SOUS 92368 HAS SOUPS 92368 WITH SCORE 92473.396
AT ITER 1779 NEW BEST:: SOT 314693 SOS 105321 HAS SOPS 105321 HAS SOUS 92317 HAS SOUPS 92317 WITH SCORE 92422.321
AT ITER 1785 NEW BEST:: SOT 314392 SOS 104978 HAS SOPS 104978 HAS SOUS 91974 HAS SOUPS 91974 WITH SCORE 92078.978
AT ITER 1786 NEW BEST:: SOT 314234 SOS 104667 HAS SOPS 104667 HAS SOUS 91663 HAS SOUPS 91663 WITH SCORE 91767.667
AT ITER 1793 NEW BEST:: SOT 314156 SOS 104511 HAS SOPS 104511 HAS SOUS 91546 HAS SOUPS 91546 WITH SCORE 91650.511
AT ITER 1811 NEW BEST:: SOT 314063 SOS 104410 HAS SOPS 104410 HAS SOUS 91511 HAS SOUPS 91511 WITH SCORE 91615.41
AT ITER 1813 NEW BEST:: SOT 314051 SOS 104398 HAS SOPS 104398 HAS SOUS 91499 HAS SOUPS 91499 WITH SCORE 91603.398
AT ITER 1817 NEW BEST:: SOT 314051 SOS 104398 HAS SOPS 104398 HAS SOUS 91396 HAS SOUPS 91396 WITH SCORE 91500.398
AT ITER 1820 NEW BEST:: SOT 314089 SOS 104263 HAS SOPS 104263 HAS SOUS 91315 HAS SOUPS 91315 WITH SCORE 91419.263
AT ITER 1844 NEW BEST:: SOT 312764 SOS 102992 HAS SOPS 102992 HAS SOUS 90044 HAS SOUPS 90044 WITH SCORE 90146.992
AT ITER 1845 NEW BEST:: SOT 312739 SOS 102967 HAS SOPS 102967 HAS SOUS 90044 HAS SOUPS 90044 WITH SCORE 90146.967
AT ITER 1865 NEW BEST:: SOT 312796 SOS 102890 HAS SOPS 102890 HAS SOUS 89965 HAS SOUPS 89965 WITH SCORE 90067.89
AT ITER 1868 NEW BEST:: SOT 312783 SOS 102877 HAS SOPS 102877 HAS SOUS 89947 HAS SOUPS 89947 WITH SCORE 90049.877
AT ITER 1890 NEW BEST:: SOT 312703 SOS 102721 HAS SOPS 102721 HAS SOUS 89867 HAS SOUPS 89867 WITH SCORE 89969.721
AT ITER 1893 NEW BEST:: SOT 312703 SOS 102658 HAS SOPS 102658 HAS SOUS 89741 HAS SOUPS 89741 WITH SCORE 89843.658
AT ITER 1906 NEW BEST:: SOT 312724 SOS 102610 HAS SOPS 102610 HAS SOUS 89693 HAS SOUPS 89693 WITH SCORE 89795.61
AT ITER 1910 NEW BEST:: SOT 312676 SOS 102562 HAS SOPS 102562 HAS SOUS 89693 HAS SOUPS 89693 WITH SCORE 89795.562
AT ITER 1915 NEW BEST:: SOT 312911 SOS 102495 HAS SOPS 102495 HAS SOUS 89657 HAS SOUPS 89657 WITH SCORE 89759.495
AT ITER 1924 NEW BEST:: SOT 312881 SOS 102435 HAS SOPS 102435 HAS SOUS 89627 HAS SOUPS 89627 WITH SCORE 89729.435
AT ITER 1945 NEW BEST:: SOT 312710 SOS 102318 HAS SOPS 102318 HAS SOUS 89510 HAS SOUPS 89510 WITH SCORE 89612.318
AT ITER 1948 NEW BEST:: SOT 312364 SOS 102276 HAS SOPS 102276 HAS SOUS 89183 HAS SOUPS 89183 WITH SCORE 89285.276
AT ITER 1951 NEW BEST:: SOT 312271 SOS 102243 HAS SOPS 102243 HAS SOUS 89150 HAS SOUPS 89150 WITH SCORE 89252.243
AT ITER 1952 NEW BEST:: SOT 312481 SOS 102344 HAS SOPS 102344 HAS SOUS 89082 HAS SOUPS 89082 WITH SCORE 89184.344
AT ITER 1967 NEW BEST:: SOT 312481 SOS 102336 HAS SOPS 102336 HAS SOUS 89074 HAS SOUPS 89074 WITH SCORE 89176.336
AT ITER 1972 NEW BEST:: SOT 312468 SOS 102307 HAS SOPS 102307 HAS SOUS 89045 HAS SOUPS 89045 WITH SCORE 89147.307
AT ITER 1984 NEW BEST:: SOT 312468 SOS 102307 HAS SOPS 102307 HAS SOUS 89011 HAS SOUPS 89011 WITH SCORE 89113.307
AT ITER 2006 NEW BEST:: SOT 312465 SOS 102302 HAS SOPS 102302 HAS SOUS 89006 HAS SOUPS 89006 WITH SCORE 89108.302
AT ITER 2009 NEW BEST:: SOT 312350 SOS 102171 HAS SOPS 102171 HAS SOUS 88986 HAS SOUPS 88986 WITH SCORE 89088.171
AT ITER 2017 NEW BEST:: SOT 312306 SOS 102170 HAS SOPS 102170 HAS SOUS 88985 HAS SOUPS 88985 WITH SCORE 89087.17
AT ITER 2020 NEW BEST:: SOT 312145 SOS 102045 HAS SOPS 102045 HAS SOUS 88879 HAS SOUPS 88879 WITH SCORE 88981.045
AT ITER 2022 NEW BEST:: SOT 312145 SOS 102009 HAS SOPS 102009 HAS SOUS 88843 HAS SOUPS 88843 WITH SCORE 88945.009
AT ITER 2026 NEW BEST:: SOT 312229 SOS 102006 HAS SOPS 102006 HAS SOUS 88840 HAS SOUPS 88840 WITH SCORE 88942.006
AT ITER 2029 NEW BEST:: SOT 312541 SOS 102003 HAS SOPS 102003 HAS SOUS 88837 HAS SOUPS 88837 WITH SCORE 88939.003
AT ITER 2031 NEW BEST:: SOT 312519 SOS 101937 HAS SOPS 101937 HAS SOUS 88793 HAS SOUPS 88793 WITH SCORE 88894.937
AT ITER 2044 NEW BEST:: SOT 312503 SOS 101913 HAS SOPS 101913 HAS SOUS 88769 HAS SOUPS 88769 WITH SCORE 88870.913
AT ITER 2065 NEW BEST:: SOT 312179 SOS 101565 HAS SOPS 101565 HAS SOUS 88532 HAS SOUPS 88532 WITH SCORE 88633.565
AT ITER 2067 NEW BEST:: SOT 312131 SOS 101485 HAS SOPS 101485 HAS SOUS 88452 HAS SOUPS 88452 WITH SCORE 88553.485
AT ITER 2069 NEW BEST:: SOT 312095 SOS 101474 HAS SOPS 101474 HAS SOUS 88441 HAS SOUPS 88441 WITH SCORE 88542.474
AT ITER 2071 NEW BEST:: SOT 312111 SOS 101458 HAS SOPS 101458 HAS SOUS 88441 HAS SOUPS 88441 WITH SCORE 88542.458
AT ITER 2079 NEW BEST:: SOT 312106 SOS 101448 HAS SOPS 101448 HAS SOUS 88431 HAS SOUPS 88431 WITH SCORE 88532.448
AT ITER 2089 NEW BEST:: SOT 312106 SOS 101421 HAS SOPS 101421 HAS SOUS 88404 HAS SOUPS 88404 WITH SCORE 88505.421
AT ITER 2108 NEW BEST:: SOT 312105 SOS 101416 HAS SOPS 101416 HAS SOUS 88403 HAS SOUPS 88403 WITH SCORE 88504.416
AT ITER 2112 NEW BEST:: SOT 312103 SOS 101499 HAS SOPS 101499 HAS SOUS 88344 HAS SOUPS 88344 WITH SCORE 88445.499
AT ITER 2119 NEW BEST:: SOT 312114 SOS 101480 HAS SOPS 101480 HAS SOUS 88325 HAS SOUPS 88325 WITH SCORE 88426.48
AT ITER 2122 NEW BEST:: SOT 312173 SOS 101424 HAS SOPS 101424 HAS SOUS 88269 HAS SOUPS 88269 WITH SCORE 88370.424
AT ITER 2124 NEW BEST:: SOT 312173 SOS 101417 HAS SOPS 101417 HAS SOUS 88262 HAS SOUPS 88262 WITH SCORE 88363.417
AT ITER 2125 NEW BEST:: SOT 312115 SOS 101276 HAS SOPS 101276 HAS SOUS 88121 HAS SOUPS 88121 WITH SCORE 88222.276
AT ITER 2140 NEW BEST:: SOT 312105 SOS 101261 HAS SOPS 101261 HAS SOUS 88106 HAS SOUPS 88106 WITH SCORE 88207.261
AT ITER 2150 NEW BEST:: SOT 312121 SOS 101260 HAS SOPS 101260 HAS SOUS 88105 HAS SOUPS 88105 WITH SCORE 88206.26
AT ITER 2165 NEW BEST:: SOT 312050 SOS 101181 HAS SOPS 101181 HAS SOUS 88026 HAS SOUPS 88026 WITH SCORE 88127.181
AT ITER 2181 NEW BEST:: SOT 312440 SOS 101106 HAS SOPS 101106 HAS SOUS 87931 HAS SOUPS 87931 WITH SCORE 88032.106
AT ITER 2189 NEW BEST:: SOT 312461 SOS 101058 HAS SOPS 101058 HAS SOUS 87883 HAS SOUPS 87883 WITH SCORE 87984.058
AT ITER 2194 NEW BEST:: SOT 312253 SOS 100656 HAS SOPS 100656 HAS SOUS 87675 HAS SOUPS 87675 WITH SCORE 87775.656
AT ITER 2200 NEW BEST:: SOT 312247 SOS 100644 HAS SOPS 100644 HAS SOUS 87663 HAS SOUPS 87663 WITH SCORE 87763.644
AT ITER 2206 NEW BEST:: SOT 312247 SOS 100641 HAS SOPS 100641 HAS SOUS 87660 HAS SOUPS 87660 WITH SCORE 87760.641
AT ITER 2210 NEW BEST:: SOT 312247 SOS 100628 HAS SOPS 100628 HAS SOUS 87634 HAS SOUPS 87634 WITH SCORE 87734.628
AT ITER 2221 NEW BEST:: SOT 312111 SOS 100492 HAS SOPS 100492 HAS SOUS 87498 HAS SOUPS 87498 WITH SCORE 87598.492
AT ITER 2224 NEW BEST:: SOT 312172 SOS 100480 HAS SOPS 100480 HAS SOUS 87486 HAS SOUPS 87486 WITH SCORE 87586.48
AT ITER 2231 NEW BEST:: SOT 312143 SOS 100450 HAS SOPS 100450 HAS SOUS 87456 HAS SOUPS 87456 WITH SCORE 87556.45
AT ITER 2236 NEW BEST:: SOT 312095 SOS 100433 HAS SOPS 100433 HAS SOUS 87439 HAS SOUPS 87439 WITH SCORE 87539.433
AT ITER 2238 NEW BEST:: SOT 311912 SOS 100306 HAS SOPS 100306 HAS SOUS 87312 HAS SOUPS 87312 WITH SCORE 87412.306
AT ITER 2244 NEW BEST:: SOT 311878 SOS 100238 HAS SOPS 100238 HAS SOUS 87185 HAS SOUPS 87185 WITH SCORE 87285.238
AT ITER 2265 NEW BEST:: SOT 311844 SOS 100204 HAS SOPS 100204 HAS SOUS 87168 HAS SOUPS 87168 WITH SCORE 87268.204
AT ITER 2266 NEW BEST:: SOT 312089 SOS 100088 HAS SOPS 100088 HAS SOUS 87052 HAS SOUPS 87052 WITH SCORE 87152.088
AT ITER 2268 NEW BEST:: SOT 312089 SOS 100067 HAS SOPS 100067 HAS SOUS 87031 HAS SOUPS 87031 WITH SCORE 87131.067
AT ITER 2269 NEW BEST:: SOT 312073 SOS 100035 HAS SOPS 100035 HAS SOUS 86999 HAS SOUPS 86999 WITH SCORE 87099.035
AT ITER 2271 NEW BEST:: SOT 312088 SOS 100009 HAS SOPS 100009 HAS SOUS 86973 HAS SOUPS 86973 WITH SCORE 87073.009
AT ITER 2282 NEW BEST:: SOT 311949 SOS 99988 HAS SOPS 99988 HAS SOUS 86952 HAS SOUPS 86952 WITH SCORE 87051.988
AT ITER 2320 NEW BEST:: SOT 311966 SOS 99950 HAS SOPS 99950 HAS SOUS 86914 HAS SOUPS 86914 WITH SCORE 87013.95
AT ITER 2324 NEW BEST:: SOT 311966 SOS 99925 HAS SOPS 99925 HAS SOUS 86889 HAS SOUPS 86889 WITH SCORE 86988.925
AT ITER 2340 NEW BEST:: SOT 310369 SOS 118756 HAS SOPS 118756 HAS SOUS 85686 HAS SOUPS 85686 WITH SCORE 85804.756
AT ITER 2342 NEW BEST:: SOT 310049 SOS 118407 HAS SOPS 118407 HAS SOUS 85275 HAS SOUPS 85275 WITH SCORE 85393.407
AT ITER 2350 NEW BEST:: SOT 310075 SOS 118433 HAS SOPS 118433 HAS SOUS 85205 HAS SOUPS 85205 WITH SCORE 85323.433
AT ITER 2353 NEW BEST:: SOT 309924 SOS 118282 HAS SOPS 118282 HAS SOUS 85110 HAS SOUPS 85110 WITH SCORE 85228.282
AT ITER 2355 NEW BEST:: SOT 309907 SOS 118247 HAS SOPS 118247 HAS SOUS 85089 HAS SOUPS 85089 WITH SCORE 85207.247
AT ITER 2375 NEW BEST:: SOT 309885 SOS 118203 HAS SOPS 118203 HAS SOUS 85045 HAS SOUPS 85045 WITH SCORE 85163.203
AT ITER 2384 NEW BEST:: SOT 309653 SOS 117974 HAS SOPS 117974 HAS SOUS 84813 HAS SOUPS 84813 WITH SCORE 84930.974
AT ITER 2391 NEW BEST:: SOT 309653 SOS 117922 HAS SOPS 117922 HAS SOUS 84811 HAS SOUPS 84811 WITH SCORE 84928.922
AT ITER 2395 NEW BEST:: SOT 309628 SOS 117872 HAS SOPS 117872 HAS SOUS 84786 HAS SOUPS 84786 WITH SCORE 84903.872
AT ITER 2398 NEW BEST:: SOT 309546 SOS 117872 HAS SOPS 117872 HAS SOUS 84756 HAS SOUPS 84756 WITH SCORE 84873.872
AT ITER 2400 NEW BEST:: SOT 309546 SOS 117584 HAS SOPS 117584 HAS SOUS 84638 HAS SOUPS 84638 WITH SCORE 84755.584
AT ITER 2419 NEW BEST:: SOT 309545 SOS 117582 HAS SOPS 117582 HAS SOUS 84636 HAS SOUPS 84636 WITH SCORE 84753.582
AT ITER 2440 NEW BEST:: SOT 309456 SOS 117404 HAS SOPS 117404 HAS SOUS 84522 HAS SOUPS 84522 WITH SCORE 84639.404
AT ITER 2441 NEW BEST:: SOT 309238 SOS 117436 HAS SOPS 117436 HAS SOUS 84407 HAS SOUPS 84407 WITH SCORE 84524.436
AT ITER 2489 NEW BEST:: SOT 309206 SOS 117421 HAS SOPS 117421 HAS SOUS 84392 HAS SOUPS 84392 WITH SCORE 84509.421
AT ITER 2494 NEW BEST:: SOT 309206 SOS 117401 HAS SOPS 117401 HAS SOUS 84352 HAS SOUPS 84352 WITH SCORE 84469.401
AT ITER 2495 NEW BEST:: SOT 309237 SOS 117397 HAS SOPS 117397 HAS SOUS 84348 HAS SOUPS 84348 WITH SCORE 84465.397
AT ITER 2496 NEW BEST:: SOT 309229 SOS 117367 HAS SOPS 117367 HAS SOUS 84296 HAS SOUPS 84296 WITH SCORE 84413.367
AT ITER 2523 NEW BEST:: SOT 309150 SOS 117288 HAS SOPS 117288 HAS SOUS 84296 HAS SOUPS 84296 WITH SCORE 84413.288
AT ITER 2550 NEW BEST:: SOT 308826 SOS 116822 HAS SOPS 116822 HAS SOUS 84031 HAS SOUPS 84031 WITH SCORE 84147.822
AT ITER 2551 NEW BEST:: SOT 308681 SOS 116525 HAS SOPS 116525 HAS SOUS 83726 HAS SOUPS 83726 WITH SCORE 83842.525
AT ITER 2552 NEW BEST:: SOT 308674 SOS 116430 HAS SOPS 116430 HAS SOUS 83631 HAS SOUPS 83631 WITH SCORE 83747.43
AT ITER 2555 NEW BEST:: SOT 308648 SOS 116384 HAS SOPS 116384 HAS SOUS 83585 HAS SOUPS 83585 WITH SCORE 83701.384
AT ITER 2556 NEW BEST:: SOT 308647 SOS 116383 HAS SOPS 116383 HAS SOUS 83584 HAS SOUPS 83584 WITH SCORE 83700.383
AT ITER 2564 NEW BEST:: SOT 308598 SOS 116101 HAS SOPS 116101 HAS SOUS 83302 HAS SOUPS 83302 WITH SCORE 83418.101
AT ITER 2567 NEW BEST:: SOT 308581 SOS 116085 HAS SOPS 116085 HAS SOUS 83286 HAS SOUPS 83286 WITH SCORE 83402.085
AT ITER 2569 NEW BEST:: SOT 308499 SOS 115962 HAS SOPS 115962 HAS SOUS 83204 HAS SOUPS 83204 WITH SCORE 83319.962
AT ITER 2582 NEW BEST:: SOT 308452 SOS 115868 HAS SOPS 115868 HAS SOUS 83110 HAS SOUPS 83110 WITH SCORE 83225.868
AT ITER 2592 NEW BEST:: SOT 308452 SOS 115855 HAS SOPS 115855 HAS SOUS 83097 HAS SOUPS 83097 WITH SCORE 83212.855
AT ITER 2611 NEW BEST:: SOT 308632 SOS 115891 HAS SOPS 115891 HAS SOUS 82983 HAS SOUPS 82983 WITH SCORE 83098.891
AT ITER 2612 NEW BEST:: SOT 308707 SOS 115979 HAS SOPS 115979 HAS SOUS 82943 HAS SOUPS 82943 WITH SCORE 83058.979
AT ITER 2621 NEW BEST:: SOT 308507 SOS 115579 HAS SOPS 115579 HAS SOUS 82705 HAS SOUPS 82705 WITH SCORE 82820.579
AT ITER 2637 NEW BEST:: SOT 308483 SOS 115531 HAS SOPS 115531 HAS SOUS 82657 HAS SOUPS 82657 WITH SCORE 82772.531
AT ITER 2647 NEW BEST:: SOT 308433 SOS 115354 HAS SOPS 115354 HAS SOUS 82480 HAS SOUPS 82480 WITH SCORE 82595.354
AT ITER 2659 NEW BEST:: SOT 308319 SOS 115238 HAS SOPS 115238 HAS SOUS 82443 HAS SOUPS 82443 WITH SCORE 82558.238
AT ITER 2661 NEW BEST:: SOT 306943 SOS 113960 HAS SOPS 113960 HAS SOUS 81144 HAS SOUPS 81144 WITH SCORE 81257.96
AT ITER 2669 NEW BEST:: SOT 306940 SOS 113957 HAS SOPS 113957 HAS SOUS 81141 HAS SOUPS 81141 WITH SCORE 81254.957
AT ITER 2704 NEW BEST:: SOT 306838 SOS 113844 HAS SOPS 113844 HAS SOUS 81028 HAS SOUPS 81028 WITH SCORE 81141.844
AT ITER 2708 NEW BEST:: SOT 306838 SOS 113834 HAS SOPS 113834 HAS SOUS 81018 HAS SOUPS 81018 WITH SCORE 81131.834
AT ITER 2715 NEW BEST:: SOT 306780 SOS 113795 HAS SOPS 113795 HAS SOUS 80979 HAS SOUPS 80979 WITH SCORE 81092.795
AT ITER 2731 NEW BEST:: SOT 306910 SOS 113901 HAS SOPS 113901 HAS SOUS 80922 HAS SOUPS 80922 WITH SCORE 81035.901
AT ITER 2766 NEW BEST:: SOT 306752 SOS 113585 HAS SOPS 113585 HAS SOUS 80904 HAS SOUPS 80904 WITH SCORE 81017.585
AT ITER 2775 NEW BEST:: SOT 306698 SOS 113479 HAS SOPS 113479 HAS SOUS 80807 HAS SOUPS 80807 WITH SCORE 80920.479
AT ITER 2793 NEW BEST:: SOT 306957 SOS 113738 HAS SOPS 113738 HAS SOUS 80792 HAS SOUPS 80792 WITH SCORE 80905.738
AT ITER 2794 NEW BEST:: SOT 306975 SOS 113760 HAS SOPS 113760 HAS SOUS 80790 HAS SOUPS 80790 WITH SCORE 80903.76
AT ITER 2799 NEW BEST:: SOT 306938 SOS 113723 HAS SOPS 113723 HAS SOUS 80753 HAS SOUPS 80753 WITH SCORE 80866.723
AT ITER 2807 NEW BEST:: SOT 306931 SOS 113679 HAS SOPS 113679 HAS SOUS 80746 HAS SOUPS 80746 WITH SCORE 80859.679
AT ITER 2818 NEW BEST:: SOT 306742 SOS 113508 HAS SOPS 113508 HAS SOUS 80565 HAS SOUPS 80565 WITH SCORE 80678.508
AT ITER 2823 NEW BEST:: SOT 306726 SOS 113480 HAS SOPS 113480 HAS SOUS 80537 HAS SOUPS 80537 WITH SCORE 80650.48
AT ITER 2842 NEW BEST:: SOT 306656 SOS 113409 HAS SOPS 113409 HAS SOUS 80466 HAS SOUPS 80466 WITH SCORE 80579.409
AT ITER 2847 NEW BEST:: SOT 306706 SOS 113400 HAS SOPS 113400 HAS SOUS 80457 HAS SOUPS 80457 WITH SCORE 80570.4
AT ITER 2871 NEW BEST:: SOT 306629 SOS 113348 HAS SOPS 113348 HAS SOUS 80456 HAS SOUPS 80456 WITH SCORE 80569.348
AT ITER 2894 NEW BEST:: SOT 306583 SOS 113320 HAS SOPS 113320 HAS SOUS 80428 HAS SOUPS 80428 WITH SCORE 80541.32
AT ITER 2897 NEW BEST:: SOT 306583 SOS 113316 HAS SOPS 113316 HAS SOUS 80424 HAS SOUPS 80424 WITH SCORE 80537.316
AT ITER 2935 NEW BEST:: SOT 306583 SOS 113308 HAS SOPS 113308 HAS SOUS 80416 HAS SOUPS 80416 WITH SCORE 80529.308
AT ITER 2947 NEW BEST:: SOT 306654 SOS 113198 HAS SOPS 113198 HAS SOUS 80308 HAS SOUPS 80308 WITH SCORE 80421.198
AT ITER 2956 NEW BEST:: SOT 306654 SOS 113190 HAS SOPS 113190 HAS SOUS 80300 HAS SOUPS 80300 WITH SCORE 80413.19
AT ITER 2961 NEW BEST:: SOT 306622 SOS 113158 HAS SOPS 113158 HAS SOUS 80300 HAS SOUPS 80300 WITH SCORE 80413.158
AT ITER 2981 NEW BEST:: SOT 306518 SOS 112841 HAS SOPS 112841 HAS SOUS 79983 HAS SOUPS 79983 WITH SCORE 80095.841
AT ITER 2999 NEW BEST:: SOT 306495 SOS 112795 HAS SOPS 112795 HAS SOUS 79937 HAS SOUPS 79937 WITH SCORE 80049.795
AT ITER 3036 NEW BEST:: SOT 306478 SOS 112761 HAS SOPS 112761 HAS SOUS 79903 HAS SOUPS 79903 WITH SCORE 80015.761
AT ITER 3037 NEW BEST:: SOT 306510 SOS 112825 HAS SOPS 112825 HAS SOUS 79899 HAS SOUPS 79899 WITH SCORE 80011.825
AT ITER 3040 NEW BEST:: SOT 306497 SOS 112820 HAS SOPS 112820 HAS SOUS 79894 HAS SOUPS 79894 WITH SCORE 80006.82
AT ITER 3044 NEW BEST:: SOT 306479 SOS 112804 HAS SOPS 112804 HAS SOUS 79878 HAS SOUPS 79878 WITH SCORE 79990.804
AT ITER 3074 NEW BEST:: SOT 306464 SOS 112795 HAS SOPS 112795 HAS SOUS 79869 HAS SOUPS 79869 WITH SCORE 79981.795
AT ITER 3079 NEW BEST:: SOT 306462 SOS 112762 HAS SOPS 112762 HAS SOUS 79836 HAS SOUPS 79836 WITH SCORE 79948.762
AT ITER 3080 NEW BEST:: SOT 306428 SOS 112694 HAS SOPS 112694 HAS SOUS 79768 HAS SOUPS 79768 WITH SCORE 79880.694
AT ITER 3083 NEW BEST:: SOT 306367 SOS 112633 HAS SOPS 112633 HAS SOUS 79768 HAS SOUPS 79768 WITH SCORE 79880.633
AT ITER 3118 NEW BEST:: SOT 306249 SOS 112397 HAS SOPS 112397 HAS SOUS 79719 HAS SOUPS 79719 WITH SCORE 79831.397
AT ITER 3120 NEW BEST:: SOT 306249 SOS 112392 HAS SOPS 112392 HAS SOUS 79714 HAS SOUPS 79714 WITH SCORE 79826.392
AT ITER 3122 NEW BEST:: SOT 306175 SOS 112292 HAS SOPS 112292 HAS SOUS 79614 HAS SOUPS 79614 WITH SCORE 79726.292
AT ITER 3123 NEW BEST:: SOT 306170 SOS 112269 HAS SOPS 112269 HAS SOUS 79591 HAS SOUPS 79591 WITH SCORE 79703.269
AT ITER 3132 NEW BEST:: SOT 306230 SOS 111918 HAS SOPS 111918 HAS SOUS 79257 HAS SOUPS 79257 WITH SCORE 79368.918
AT ITER 3140 NEW BEST:: SOT 306211 SOS 111880 HAS SOPS 111880 HAS SOUS 79219 HAS SOUPS 79219 WITH SCORE 79330.88
AT ITER 3154 NEW BEST:: SOT 306213 SOS 111884 HAS SOPS 111884 HAS SOUS 79216 HAS SOUPS 79216 WITH SCORE 79327.884
AT ITER 3191 NEW BEST:: SOT 306213 SOS 111839 HAS SOPS 111839 HAS SOUS 79214 HAS SOUPS 79214 WITH SCORE 79325.839
AT ITER 3196 NEW BEST:: SOT 306198 SOS 111809 HAS SOPS 111809 HAS SOUS 79184 HAS SOUPS 79184 WITH SCORE 79295.809
AT ITER 3208 NEW BEST:: SOT 306196 SOS 111847 HAS SOPS 111847 HAS SOUS 79179 HAS SOUPS 79179 WITH SCORE 79290.847
AT ITER 3212 NEW BEST:: SOT 305891 SOS 111636 HAS SOPS 111636 HAS SOUS 78835 HAS SOUPS 78835 WITH SCORE 78946.636
AT ITER 3213 NEW BEST:: SOT 305897 SOS 111605 HAS SOPS 111605 HAS SOUS 78798 HAS SOUPS 78798 WITH SCORE 78909.605
AT ITER 3217 NEW BEST:: SOT 306142 SOS 111801 HAS SOPS 111801 HAS SOUS 78700 HAS SOUPS 78700 WITH SCORE 78811.801
AT ITER 3219 NEW BEST:: SOT 306142 SOS 111791 HAS SOPS 111791 HAS SOUS 78690 HAS SOUPS 78690 WITH SCORE 78801.791
AT ITER 3227 NEW BEST:: SOT 306142 SOS 111791 HAS SOPS 111791 HAS SOUS 78642 HAS SOUPS 78642 WITH SCORE 78753.791
AT ITER 3249 NEW BEST:: SOT 306142 SOS 111700 HAS SOPS 111700 HAS SOUS 78551 HAS SOUPS 78551 WITH SCORE 78662.7
AT ITER 3268 NEW BEST:: SOT 306135 SOS 111682 HAS SOPS 111682 HAS SOUS 78540 HAS SOUPS 78540 WITH SCORE 78651.682
AT ITER 3272 NEW BEST:: SOT 306115 SOS 111682 HAS SOPS 111682 HAS SOUS 78530 HAS SOUPS 78530 WITH SCORE 78641.682
AT ITER 3301 NEW BEST:: SOT 306112 SOS 111679 HAS SOPS 111679 HAS SOUS 78527 HAS SOUPS 78527 WITH SCORE 78638.679
AT ITER 3309 NEW BEST:: SOT 306044 SOS 111331 HAS SOPS 111331 HAS SOUS 78351 HAS SOUPS 78351 WITH SCORE 78462.331
AT ITER 3334 NEW BEST:: SOT 306122 SOS 111151 HAS SOPS 111151 HAS SOUS 78171 HAS SOUPS 78171 WITH SCORE 78282.151
AT ITER 3338 NEW BEST:: SOT 306194 SOS 111201 HAS SOPS 111201 HAS SOUS 77984 HAS SOUPS 77984 WITH SCORE 78095.201
AT ITER 3344 NEW BEST:: SOT 306142 SOS 111138 HAS SOPS 111138 HAS SOUS 77921 HAS SOUPS 77921 WITH SCORE 78032.138
AT ITER 3362 NEW BEST:: SOT 306142 SOS 111098 HAS SOPS 111098 HAS SOUS 77841 HAS SOUPS 77841 WITH SCORE 77952.098
AT ITER 3387 NEW BEST:: SOT 306138 SOS 111092 HAS SOPS 111092 HAS SOUS 77835 HAS SOUPS 77835 WITH SCORE 77946.092
AT ITER 3390 NEW BEST:: SOT 306120 SOS 111056 HAS SOPS 111056 HAS SOUS 77817 HAS SOUPS 77817 WITH SCORE 77928.056
AT ITER 3398 NEW BEST:: SOT 306085 SOS 110986 HAS SOPS 110986 HAS SOUS 77747 HAS SOUPS 77747 WITH SCORE 77857.986
AT ITER 3452 NEW BEST:: SOT 306153 SOS 111047 HAS SOPS 111047 HAS SOUS 77732 HAS SOUPS 77732 WITH SCORE 77843.047
AT ITER 3455 NEW BEST:: SOT 306149 SOS 110977 HAS SOPS 110977 HAS SOUS 77707 HAS SOUPS 77707 WITH SCORE 77817.977
AT ITER 3456 NEW BEST:: SOT 306117 SOS 110946 HAS SOPS 110946 HAS SOUS 77676 HAS SOUPS 77676 WITH SCORE 77786.946
AT ITER 3467 NEW BEST:: SOT 306119 SOS 110950 HAS SOPS 110950 HAS SOUS 77641 HAS SOUPS 77641 WITH SCORE 77751.95
AT ITER 3489 NEW BEST:: SOT 306096 SOS 110904 HAS SOPS 110904 HAS SOUS 77538 HAS SOUPS 77538 WITH SCORE 77648.904
AT ITER 3490 NEW BEST:: SOT 306081 SOS 110874 HAS SOPS 110874 HAS SOUS 77508 HAS SOUPS 77508 WITH SCORE 77618.874
AT ITER 3495 NEW BEST:: SOT 306161 SOS 110867 HAS SOPS 110867 HAS SOUS 77501 HAS SOUPS 77501 WITH SCORE 77611.867
AT ITER 3518 NEW BEST:: SOT 306112 SOS 110769 HAS SOPS 110769 HAS SOUS 77411 HAS SOUPS 77411 WITH SCORE 77521.769
AT ITER 3521 NEW BEST:: SOT 306078 SOS 110735 HAS SOPS 110735 HAS SOUS 77411 HAS SOUPS 77411 WITH SCORE 77521.735
AT ITER 3526 NEW BEST:: SOT 306102 SOS 110563 HAS SOPS 110563 HAS SOUS 77239 HAS SOUPS 77239 WITH SCORE 77349.563
AT ITER 3529 NEW BEST:: SOT 306094 SOS 110547 HAS SOPS 110547 HAS SOUS 77223 HAS SOUPS 77223 WITH SCORE 77333.547
AT ITER 3532 NEW BEST:: SOT 306139 SOS 110539 HAS SOPS 110539 HAS SOUS 77162 HAS SOUPS 77162 WITH SCORE 77272.539
AT ITER 3537 NEW BEST:: SOT 305891 SOS 110043 HAS SOPS 110043 HAS SOUS 76970 HAS SOUPS 76970 WITH SCORE 77080.043
AT ITER 3543 NEW BEST:: SOT 305902 SOS 110050 HAS SOPS 110050 HAS SOUS 76968 HAS SOUPS 76968 WITH SCORE 77078.05
AT ITER 3549 NEW BEST:: SOT 305875 SOS 110013 HAS SOPS 110013 HAS SOUS 76931 HAS SOUPS 76931 WITH SCORE 77041.013
AT ITER 3553 NEW BEST:: SOT 305818 SOS 110050 HAS SOPS 110050 HAS SOUS 76927 HAS SOUPS 76927 WITH SCORE 77037.05
AT ITER 3555 NEW BEST:: SOT 305813 SOS 110040 HAS SOPS 110040 HAS SOUS 76922 HAS SOUPS 76922 WITH SCORE 77032.04
AT ITER 3583 NEW BEST:: SOT 305721 SOS 109928 HAS SOPS 109928 HAS SOUS 76882 HAS SOUPS 76882 WITH SCORE 76991.928
AT ITER 3590 NEW BEST:: SOT 305602 SOS 109744 HAS SOPS 109744 HAS SOUS 76721 HAS SOUPS 76721 WITH SCORE 76830.744
AT ITER 3596 NEW BEST:: SOT 305508 SOS 109723 HAS SOPS 109723 HAS SOUS 76646 HAS SOUPS 76646 WITH SCORE 76755.723
AT ITER 3605 NEW BEST:: SOT 305414 SOS 109629 HAS SOPS 109629 HAS SOUS 76604 HAS SOUPS 76604 WITH SCORE 76713.629
AT ITER 3615 NEW BEST:: SOT 305413 SOS 109599 HAS SOPS 109599 HAS SOUS 76574 HAS SOUPS 76574 WITH SCORE 76683.599
AT ITER 3624 NEW BEST:: SOT 305413 SOS 109543 HAS SOPS 109543 HAS SOUS 76574 HAS SOUPS 76574 WITH SCORE 76683.543
AT ITER 3658 NEW BEST:: SOT 305426 SOS 109537 HAS SOPS 109537 HAS SOUS 76568 HAS SOUPS 76568 WITH SCORE 76677.537
AT ITER 3686 NEW BEST:: SOT 305309 SOS 109490 HAS SOPS 109490 HAS SOUS 76453 HAS SOUPS 76453 WITH SCORE 76562.49
AT ITER 3687 NEW BEST:: SOT 305275 SOS 109422 HAS SOPS 109422 HAS SOUS 76385 HAS SOUPS 76385 WITH SCORE 76494.422
AT ITER 3699 NEW BEST:: SOT 305130 SOS 109542 HAS SOPS 109542 HAS SOUS 76322 HAS SOUPS 76322 WITH SCORE 76431.542
AT ITER 3701 NEW BEST:: SOT 305130 SOS 109531 HAS SOPS 109531 HAS SOUS 76322 HAS SOUPS 76322 WITH SCORE 76431.531
AT ITER 3706 NEW BEST:: SOT 304943 SOS 109329 HAS SOPS 109329 HAS SOUS 76172 HAS SOUPS 76172 WITH SCORE 76281.329
AT ITER 3711 NEW BEST:: SOT 304832 SOS 109218 HAS SOPS 109218 HAS SOUS 76061 HAS SOUPS 76061 WITH SCORE 76170.218
AT ITER 3714 NEW BEST:: SOT 304675 SOS 108909 HAS SOPS 108909 HAS SOUS 75879 HAS SOUPS 75879 WITH SCORE 75987.909
AT ITER 3718 NEW BEST:: SOT 304669 SOS 108903 HAS SOPS 108903 HAS SOUS 75876 HAS SOUPS 75876 WITH SCORE 75984.903
AT ITER 3735 NEW BEST:: SOT 304477 SOS 108519 HAS SOPS 108519 HAS SOUS 75684 HAS SOUPS 75684 WITH SCORE 75792.519
AT ITER 3756 NEW BEST:: SOT 304469 SOS 108514 HAS SOPS 108514 HAS SOUS 75679 HAS SOUPS 75679 WITH SCORE 75787.514
AT ITER 3767 NEW BEST:: SOT 304488 SOS 108460 HAS SOPS 108460 HAS SOUS 75625 HAS SOUPS 75625 WITH SCORE 75733.46
AT ITER 3791 NEW BEST:: SOT 304362 SOS 108208 HAS SOPS 108208 HAS SOUS 75585 HAS SOUPS 75585 WITH SCORE 75693.208
AT ITER 3799 NEW BEST:: SOT 304390 SOS 108031 HAS SOPS 108031 HAS SOUS 75408 HAS SOUPS 75408 WITH SCORE 75516.031
AT ITER 3829 NEW BEST:: SOT 304488 SOS 108017 HAS SOPS 108017 HAS SOUS 75394 HAS SOUPS 75394 WITH SCORE 75502.017
AT ITER 3843 NEW BEST:: SOT 304508 SOS 107982 HAS SOPS 107982 HAS SOUS 75359 HAS SOUPS 75359 WITH SCORE 75466.982
AT ITER 3869 NEW BEST:: SOT 304458 SOS 107947 HAS SOPS 107947 HAS SOUS 75245 HAS SOUPS 75245 WITH SCORE 75352.947
AT ITER 3881 NEW BEST:: SOT 304458 SOS 107935 HAS SOPS 107935 HAS SOUS 75238 HAS SOUPS 75238 WITH SCORE 75345.935
AT ITER 3899 NEW BEST:: SOT 304399 SOS 107876 HAS SOPS 107876 HAS SOUS 75179 HAS SOUPS 75179 WITH SCORE 75286.876
AT ITER 3920 NEW BEST:: SOT 304396 SOS 107873 HAS SOPS 107873 HAS SOUS 75176 HAS SOUPS 75176 WITH SCORE 75283.873
AT ITER 3938 NEW BEST:: SOT 304043 SOS 107504 HAS SOPS 107504 HAS SOUS 75174 HAS SOUPS 75174 WITH SCORE 75281.504
AT ITER 3954 NEW BEST:: SOT 304040 SOS 107498 HAS SOPS 107498 HAS SOUS 75168 HAS SOUPS 75168 WITH SCORE 75275.498
AT ITER 3955 NEW BEST:: SOT 304026 SOS 107484 HAS SOPS 107484 HAS SOUS 75154 HAS SOUPS 75154 WITH SCORE 75261.484
AT ITER 3988 NEW BEST:: SOT 303644 SOS 107029 HAS SOPS 107029 HAS SOUS 75008 HAS SOUPS 75008 WITH SCORE 75115.029
AT ITER 3999 NEW BEST:: SOT 303618 SOS 107018 HAS SOPS 107018 HAS SOUS 74980 HAS SOUPS 74980 WITH SCORE 75087.018
AT ITER 4011 NEW BEST:: SOT 303609 SOS 106928 HAS SOPS 106928 HAS SOUS 74888 HAS SOUPS 74888 WITH SCORE 74994.928
AT ITER 4014 NEW BEST:: SOT 303631 SOS 106960 HAS SOPS 106960 HAS SOUS 74874 HAS SOUPS 74874 WITH SCORE 74980.96
AT ITER 4029 NEW BEST:: SOT 303675 SOS 106959 HAS SOPS 106959 HAS SOUS 74873 HAS SOUPS 74873 WITH SCORE 74979.959
AT ITER 4030 NEW BEST:: SOT 303675 SOS 106951 HAS SOPS 106951 HAS SOUS 74865 HAS SOUPS 74865 WITH SCORE 74971.951
AT ITER 4054 NEW BEST:: SOT 303691 SOS 106907 HAS SOPS 106907 HAS SOUS 74821 HAS SOUPS 74821 WITH SCORE 74927.907
AT ITER 4068 NEW BEST:: SOT 303705 SOS 106890 HAS SOPS 106890 HAS SOUS 74806 HAS SOUPS 74806 WITH SCORE 74912.89
AT ITER 4073 NEW BEST:: SOT 303534 SOS 106555 HAS SOPS 106555 HAS SOUS 74567 HAS SOUPS 74567 WITH SCORE 74673.555
AT ITER 4074 NEW BEST:: SOT 303538 SOS 106534 HAS SOPS 106534 HAS SOUS 74546 HAS SOUPS 74546 WITH SCORE 74652.534
AT ITER 4083 NEW BEST:: SOT 303229 SOS 106128 HAS SOPS 106128 HAS SOUS 74355 HAS SOUPS 74355 WITH SCORE 74461.128
AT ITER 4089 NEW BEST:: SOT 303222 SOS 106120 HAS SOPS 106120 HAS SOUS 74354 HAS SOUPS 74354 WITH SCORE 74460.12
AT ITER 4091 NEW BEST:: SOT 303222 SOS 106102 HAS SOPS 106102 HAS SOUS 74336 HAS SOUPS 74336 WITH SCORE 74442.102
AT ITER 4122 NEW BEST:: SOT 303205 SOS 106017 HAS SOPS 106017 HAS SOUS 74251 HAS SOUPS 74251 WITH SCORE 74357.017
AT ITER 4137 NEW BEST:: SOT 303234 SOS 106046 HAS SOPS 106046 HAS SOUS 74241 HAS SOUPS 74241 WITH SCORE 74347.046
AT ITER 4177 NEW BEST:: SOT 303188 SOS 105833 HAS SOPS 105833 HAS SOUS 74028 HAS SOUPS 74028 WITH SCORE 74133.833
AT ITER 4181 NEW BEST:: SOT 303189 SOS 105818 HAS SOPS 105818 HAS SOUS 74013 HAS SOUPS 74013 WITH SCORE 74118.818
AT ITER 4188 NEW BEST:: SOT 302907 SOS 105525 HAS SOPS 105525 HAS SOUS 73991 HAS SOUPS 73991 WITH SCORE 74096.525
AT ITER 4191 NEW BEST:: SOT 302922 SOS 105555 HAS SOPS 105555 HAS SOUS 73917 HAS SOUPS 73917 WITH SCORE 74022.555
AT ITER 4192 NEW BEST:: SOT 302917 SOS 105550 HAS SOPS 105550 HAS SOUS 73915 HAS SOUPS 73915 WITH SCORE 74020.55
AT ITER 4203 NEW BEST:: SOT 302916 SOS 105548 HAS SOPS 105548 HAS SOUS 73913 HAS SOUPS 73913 WITH SCORE 74018.548
AT ITER 4207 NEW BEST:: SOT 302825 SOS 105446 HAS SOPS 105446 HAS SOUS 73891 HAS SOUPS 73891 WITH SCORE 73996.446
AT ITER 4225 NEW BEST:: SOT 302818 SOS 105439 HAS SOPS 105439 HAS SOUS 73884 HAS SOUPS 73884 WITH SCORE 73989.439
AT ITER 4233 NEW BEST:: SOT 302681 SOS 105368 HAS SOPS 105368 HAS SOUS 73813 HAS SOUPS 73813 WITH SCORE 73918.368
AT ITER 4266 NEW BEST:: SOT 302585 SOS 105176 HAS SOPS 105176 HAS SOUS 73621 HAS SOUPS 73621 WITH SCORE 73726.176
AT ITER 4267 NEW BEST:: SOT 302536 SOS 105078 HAS SOPS 105078 HAS SOUS 73501 HAS SOUPS 73501 WITH SCORE 73606.078
AT ITER 4301 NEW BEST:: SOT 302536 SOS 105044 HAS SOPS 105044 HAS SOUS 73467 HAS SOUPS 73467 WITH SCORE 73572.044
AT ITER 4318 NEW BEST:: SOT 302503 SOS 104978 HAS SOPS 104978 HAS SOUS 73434 HAS SOUPS 73434 WITH SCORE 73538.978
AT ITER 4319 NEW BEST:: SOT 302482 SOS 104929 HAS SOPS 104929 HAS SOUS 73385 HAS SOUPS 73385 WITH SCORE 73489.929
AT ITER 4349 NEW BEST:: SOT 302469 SOS 104956 HAS SOPS 104956 HAS SOUS 73368 HAS SOUPS 73368 WITH SCORE 73472.956
AT ITER 4362 NEW BEST:: SOT 302463 SOS 104950 HAS SOPS 104950 HAS SOUS 73362 HAS SOUPS 73362 WITH SCORE 73466.95
AT ITER 4364 NEW BEST:: SOT 302462 SOS 105045 HAS SOPS 105045 HAS SOUS 73360 HAS SOUPS 73360 WITH SCORE 73465.045
AT ITER 4374 NEW BEST:: SOT 302462 SOS 105015 HAS SOPS 105015 HAS SOUS 73350 HAS SOUPS 73350 WITH SCORE 73455.015
AT ITER 4379 NEW BEST:: SOT 302470 SOS 105023 HAS SOPS 105023 HAS SOUS 73349 HAS SOUPS 73349 WITH SCORE 73454.023
AT ITER 4400 NEW BEST:: SOT 302459 SOS 105055 HAS SOPS 105055 HAS SOUS 73338 HAS SOUPS 73338 WITH SCORE 73443.055
AT ITER 4402 NEW BEST:: SOT 302452 SOS 105031 HAS SOPS 105031 HAS SOUS 73314 HAS SOUPS 73314 WITH SCORE 73419.031
AT ITER 4420 NEW BEST:: SOT 302248 SOS 104873 HAS SOPS 104873 HAS SOUS 73266 HAS SOUPS 73266 WITH SCORE 73370.873
AT ITER 4421 NEW BEST:: SOT 302199 SOS 104824 HAS SOPS 104824 HAS SOUS 73266 HAS SOUPS 73266 WITH SCORE 73370.824
AT ITER 4425 NEW BEST:: SOT 302167 SOS 104760 HAS SOPS 104760 HAS SOUS 73202 HAS SOUPS 73202 WITH SCORE 73306.76
AT ITER 4428 NEW BEST:: SOT 302140 SOS 104644 HAS SOPS 104644 HAS SOUS 72997 HAS SOUPS 72997 WITH SCORE 73101.644
AT ITER 4443 NEW BEST:: SOT 302139 SOS 104642 HAS SOPS 104642 HAS SOUS 72995 HAS SOUPS 72995 WITH SCORE 73099.642
AT ITER 4456 NEW BEST:: SOT 302126 SOS 104628 HAS SOPS 104628 HAS SOUS 72981 HAS SOUPS 72981 WITH SCORE 73085.628
AT ITER 4467 NEW BEST:: SOT 302074 SOS 104524 HAS SOPS 104524 HAS SOUS 72929 HAS SOUPS 72929 WITH SCORE 73033.524
AT ITER 4482 NEW BEST:: SOT 302074 SOS 104513 HAS SOPS 104513 HAS SOUS 72929 HAS SOUPS 72929 WITH SCORE 73033.513
AT ITER 4483 NEW BEST:: SOT 302071 SOS 104507 HAS SOPS 104507 HAS SOUS 72923 HAS SOUPS 72923 WITH SCORE 73027.507
AT ITER 4490 NEW BEST:: SOT 302071 SOS 104448 HAS SOPS 104448 HAS SOUS 72864 HAS SOUPS 72864 WITH SCORE 72968.448
AT ITER 4492 NEW BEST:: SOT 302053 SOS 104430 HAS SOPS 104430 HAS SOUS 72846 HAS SOUPS 72846 WITH SCORE 72950.43
AT ITER 4502 NEW BEST:: SOT 301907 SOS 104284 HAS SOPS 104284 HAS SOUS 72700 HAS SOUPS 72700 WITH SCORE 72804.284
AT ITER 4552 NEW BEST:: SOT 301907 SOS 104284 HAS SOPS 104284 HAS SOUS 72641 HAS SOUPS 72641 WITH SCORE 72745.284
AT ITER 4577 NEW BEST:: SOT 301907 SOS 104252 HAS SOPS 104252 HAS SOUS 72609 HAS SOUPS 72609 WITH SCORE 72713.252
AT ITER 4590 NEW BEST:: SOT 301868 SOS 104174 HAS SOPS 104174 HAS SOUS 72528 HAS SOUPS 72528 WITH SCORE 72632.174
AT ITER 4630 NEW BEST:: SOT 301868 SOS 104087 HAS SOPS 104087 HAS SOUS 72441 HAS SOUPS 72441 WITH SCORE 72545.087
AT ITER 4654 NEW BEST:: SOT 302043 SOS 104106 HAS SOPS 104106 HAS SOUS 72338 HAS SOUPS 72338 WITH SCORE 72442.106
AT ITER 4677 NEW BEST:: SOT 302080 SOS 104104 HAS SOPS 104104 HAS SOUS 72336 HAS SOUPS 72336 WITH SCORE 72440.104
AT ITER 4693 NEW BEST:: SOT 302409 SOS 103888 HAS SOPS 103888 HAS SOUS 72222 HAS SOUPS 72222 WITH SCORE 72325.888
AT ITER 4704 NEW BEST:: SOT 302384 SOS 103838 HAS SOPS 103838 HAS SOUS 72181 HAS SOUPS 72181 WITH SCORE 72284.838
AT ITER 4719 NEW BEST:: SOT 302468 SOS 103810 HAS SOPS 103810 HAS SOUS 72153 HAS SOUPS 72153 WITH SCORE 72256.81
AT ITER 4749 NEW BEST:: SOT 302460 SOS 103709 HAS SOPS 103709 HAS SOUS 72052 HAS SOUPS 72052 WITH SCORE 72155.709
AT ITER 4752 NEW BEST:: SOT 302530 SOS 103759 HAS SOPS 103759 HAS SOUS 72032 HAS SOUPS 72032 WITH SCORE 72135.759
AT ITER 4794 NEW BEST:: SOT 302492 SOS 103716 HAS SOPS 103716 HAS SOUS 71989 HAS SOUPS 71989 WITH SCORE 72092.716
AT ITER 4799 NEW BEST:: SOT 302491 SOS 103714 HAS SOPS 103714 HAS SOUS 71987 HAS SOUPS 71987 WITH SCORE 72090.714
AT ITER 4853 NEW BEST:: SOT 302406 SOS 103629 HAS SOPS 103629 HAS SOUS 71902 HAS SOUPS 71902 WITH SCORE 72005.629
AT ITER 4861 NEW BEST:: SOT 302373 SOS 103563 HAS SOPS 103563 HAS SOUS 71836 HAS SOUPS 71836 WITH SCORE 71939.563
AT ITER 4866 NEW BEST:: SOT 302279 SOS 103368 HAS SOPS 103368 HAS SOUS 71641 HAS SOUPS 71641 WITH SCORE 71744.368
AT ITER 4881 NEW BEST:: SOT 302203 SOS 103340 HAS SOPS 103340 HAS SOUS 71613 HAS SOUPS 71613 WITH SCORE 71716.34
AT ITER 4917 NEW BEST:: SOT 302203 SOS 103334 HAS SOPS 103334 HAS SOUS 71607 HAS SOUPS 71607 WITH SCORE 71710.334
AT ITER 4953 NEW BEST:: SOT 302134 SOS 103323 HAS SOPS 103323 HAS SOUS 71596 HAS SOUPS 71596 WITH SCORE 71699.323
AT ITER 4964 NEW BEST:: SOT 302110 SOS 103275 HAS SOPS 103275 HAS SOUS 71548 HAS SOUPS 71548 WITH SCORE 71651.275
AT ITER 4989 NEW BEST:: SOT 302068 SOS 103191 HAS SOPS 103191 HAS SOUS 71464 HAS SOUPS 71464 WITH SCORE 71567.191
AT ITER 4996 NEW BEST:: SOT 302068 SOS 103205 HAS SOPS 103205 HAS SOUS 71463 HAS SOUPS 71463 WITH SCORE 71566.205
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-00 (EF(( (AX( potential( ( 2 ) <= (tk(P235)) ))) | (AG( potential( (tk(P485)) <= (tk(P45)) ))) )))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-01 (EG( (EU( potential( (tk(P396)) <= (tk(P124)) ),potential( ( 3 ) <= (tk(P564)) ) ))))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-02 (EF(( (! (! potential( (tk(P208)) <= (tk(P174)) ))) & (AG( potential( ( 1 ) <= (tk(P370)) ))) )))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-03 (EF((EX( potential( ( 2 ) <= (tk(P486)) )))))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-04 (EF(( (AG( potential( ( 3 ) <= (tk(P696)) ))) & ( (! potential( ( 1 ) <= (tk(P604)) )) & (! potential( (tk(P94)) <= (tk(P398)) )) ) )))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-05 (! (AG( ( potential( (tk(P689)) <= (tk(P92)) ) | ( potential( (tk(P132)) <= (tk(P333)) ) | potential( ( 1 ) <= (tk(P382)) ) ) ))))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-06 (EU( (AX( potential( (tk(P210)) <= (tk(P636)) ))),(! ( potential( (tk(P545)) <= (tk(P599)) ) | potential( (tk(P322)) <= (tk(P283)) ) )) ))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-07 (AF((AG( (! potential( ( 1 ) <= (tk(P730)) ))))))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-08 ( (! ( potential( (tk(P340)) <= (tk(P518)) ) & potential( ( 3 ) <= (tk(P571)) ) )) & (EF(potential( ( 3 ) <= (tk(P522)) ))) )
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-09 ( ( (EU( potential( (tk(P4)) <= (tk(P344)) ),potential( ( 2 ) <= (tk(P154)) ) )) & ( potential( (tk(P736)) <= (tk(P154)) ) | (! ( potential( ( 3 ) <= (tk(P492)) ) & potential( ( 3 ) <= (tk(P102)) ) )) ) ) & (EX( (EG( potential( (tk(P367)) <= (tk(P274)) ))))) )
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-10 (EG( (EU( potential( (tk(P669)) <= (tk(P374)) ),potential( ( 3 ) <= (tk(P487)) ) ))))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-11 ( (AG( ( (! potential( ( 2 ) <= (tk(P224)) )) | ( potential( ( 3 ) <= (tk(P29)) ) | potential( (tk(P722)) <= (tk(P222)) ) ) ))) & ( (AF(potential( ( 2 ) <= (tk(P305)) ))) | (EX( ( potential( (tk(P331)) <= (tk(P768)) ) | potential( ( 1 ) <= (tk(P240)) ) ))) ) )
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-12 (AG( ( potential( (tk(P511)) <= (tk(P547)) ) | (AF(potential( (tk(P648)) <= (tk(P57)) ))) )))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-13 (EF(potential( ( 1 ) <= (tk(P87)) )))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-14 (AG( (AF((! potential( ( 1 ) <= (tk(P607)) ))))))
PROPERTY: BusinessProcesses-PT-20-CTLCardinality-15 (EF((AG( ( potential( ( 1 ) <= (tk(P286)) ) | potential( ( 3 ) <= (tk(P32)) ) )))))

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-20"
export BK_EXAMINATION="CTLCardinality"
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-20, examination is CTLCardinality"
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-158897680200603"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-20.tgz
mv BusinessProcesses-PT-20 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;