About the Execution of smart for BusinessProcesses-PT-18
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.970 | 3600000.00 | 3600019.00 | 0.00 | [undef] | Time out reached |
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-158897680200587.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200587
=====================================================================
--------------------
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-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-18-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1590869257950
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 18
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: 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 7 NEW BEST:: SOT 292564 SOS 111488 HAS SOPS 111488 HAS SOUS 108413 HAS SOUPS 108413 WITH SCORE 108524.488
AT ITER 9 NEW BEST:: SOT 292644 SOS 111485 HAS SOPS 111485 HAS SOUS 108410 HAS SOUPS 108410 WITH SCORE 108521.485
AT ITER 31 NEW BEST:: SOT 292643 SOS 111483 HAS SOPS 111483 HAS SOUS 108408 HAS SOUPS 108408 WITH SCORE 108519.483
AT ITER 32 NEW BEST:: SOT 292469 SOS 111223 HAS SOPS 111223 HAS SOUS 108148 HAS SOUPS 108148 WITH SCORE 108259.223
AT ITER 38 NEW BEST:: SOT 292469 SOS 111142 HAS SOPS 111142 HAS SOUS 108067 HAS SOUPS 108067 WITH SCORE 108178.142
AT ITER 45 NEW BEST:: SOT 292259 SOS 110834 HAS SOPS 110834 HAS SOUS 107759 HAS SOUPS 107759 WITH SCORE 107869.834
AT ITER 46 NEW BEST:: SOT 292031 SOS 111053 HAS SOPS 111053 HAS SOUS 107662 HAS SOUPS 107662 WITH SCORE 107773.053
AT ITER 49 NEW BEST:: SOT 292031 SOS 111053 HAS SOPS 111053 HAS SOUS 107660 HAS SOUPS 107660 WITH SCORE 107771.053
AT ITER 52 NEW BEST:: SOT 292046 SOS 110897 HAS SOPS 110897 HAS SOUS 107504 HAS SOUPS 107504 WITH SCORE 107614.897
AT ITER 56 NEW BEST:: SOT 291887 SOS 110464 HAS SOPS 110464 HAS SOUS 107230 HAS SOUPS 107230 WITH SCORE 107340.464
AT ITER 73 NEW BEST:: SOT 291855 SOS 110416 HAS SOPS 110416 HAS SOUS 107182 HAS SOUPS 107182 WITH SCORE 107292.416
AT ITER 75 NEW BEST:: SOT 291695 SOS 110090 HAS SOPS 110090 HAS SOUS 106864 HAS SOUPS 106864 WITH SCORE 106974.09
AT ITER 77 NEW BEST:: SOT 291510 SOS 110015 HAS SOPS 110015 HAS SOUS 106789 HAS SOUPS 106789 WITH SCORE 106899.015
AT ITER 84 NEW BEST:: SOT 291269 SOS 109783 HAS SOPS 109783 HAS SOUS 106557 HAS SOUPS 106557 WITH SCORE 106666.783
AT ITER 87 NEW BEST:: SOT 291035 SOS 109550 HAS SOPS 109550 HAS SOUS 106324 HAS SOUPS 106324 WITH SCORE 106433.55
AT ITER 91 NEW BEST:: SOT 291035 SOS 109547 HAS SOPS 109547 HAS SOUS 106321 HAS SOUPS 106321 WITH SCORE 106430.547
AT ITER 112 NEW BEST:: SOT 290982 SOS 109493 HAS SOPS 109493 HAS SOUS 106267 HAS SOUPS 106267 WITH SCORE 106376.493
AT ITER 116 NEW BEST:: SOT 290981 SOS 109492 HAS SOPS 109492 HAS SOUS 106266 HAS SOUPS 106266 WITH SCORE 106375.492
AT ITER 119 NEW BEST:: SOT 290996 SOS 109423 HAS SOPS 109423 HAS SOUS 106197 HAS SOUPS 106197 WITH SCORE 106306.423
AT ITER 123 NEW BEST:: SOT 290997 SOS 109325 HAS SOPS 109325 HAS SOUS 106099 HAS SOUPS 106099 WITH SCORE 106208.325
AT ITER 130 NEW BEST:: SOT 290926 SOS 109321 HAS SOPS 109321 HAS SOUS 106095 HAS SOUPS 106095 WITH SCORE 106204.321
AT ITER 138 NEW BEST:: SOT 290926 SOS 109306 HAS SOPS 109306 HAS SOUS 106080 HAS SOUPS 106080 WITH SCORE 106189.306
AT ITER 145 NEW BEST:: SOT 290914 SOS 109270 HAS SOPS 109270 HAS SOUS 106044 HAS SOUPS 106044 WITH SCORE 106153.27
AT ITER 147 NEW BEST:: SOT 290715 SOS 109127 HAS SOPS 109127 HAS SOUS 105901 HAS SOUPS 105901 WITH SCORE 106010.127
AT ITER 148 NEW BEST:: SOT 290728 SOS 109026 HAS SOPS 109026 HAS SOUS 105800 HAS SOUPS 105800 WITH SCORE 105909.026
AT ITER 149 NEW BEST:: SOT 290727 SOS 109024 HAS SOPS 109024 HAS SOUS 105798 HAS SOUPS 105798 WITH SCORE 105907.024
AT ITER 165 NEW BEST:: SOT 290804 SOS 108993 HAS SOPS 108993 HAS SOUS 105792 HAS SOUPS 105792 WITH SCORE 105900.993
AT ITER 171 NEW BEST:: SOT 290569 SOS 108789 HAS SOPS 108789 HAS SOUS 105588 HAS SOUPS 105588 WITH SCORE 105696.789
AT ITER 181 NEW BEST:: SOT 290326 SOS 108636 HAS SOPS 108636 HAS SOUS 105438 HAS SOUPS 105438 WITH SCORE 105546.636
AT ITER 192 NEW BEST:: SOT 290326 SOS 108573 HAS SOPS 108573 HAS SOUS 105375 HAS SOUPS 105375 WITH SCORE 105483.573
AT ITER 201 NEW BEST:: SOT 290484 SOS 108426 HAS SOPS 108426 HAS SOUS 105227 HAS SOUPS 105227 WITH SCORE 105335.426
AT ITER 208 NEW BEST:: SOT 290484 SOS 108425 HAS SOPS 108425 HAS SOUS 105226 HAS SOUPS 105226 WITH SCORE 105334.425
AT ITER 211 NEW BEST:: SOT 290281 SOS 108222 HAS SOPS 108222 HAS SOUS 105023 HAS SOUPS 105023 WITH SCORE 105131.222
AT ITER 215 NEW BEST:: SOT 290281 SOS 108222 HAS SOPS 108222 HAS SOUS 105018 HAS SOUPS 105018 WITH SCORE 105126.222
AT ITER 220 NEW BEST:: SOT 290148 SOS 108065 HAS SOPS 108065 HAS SOUS 104861 HAS SOUPS 104861 WITH SCORE 104969.065
AT ITER 223 NEW BEST:: SOT 290146 SOS 108055 HAS SOPS 108055 HAS SOUS 104816 HAS SOUPS 104816 WITH SCORE 104924.055
AT ITER 225 NEW BEST:: SOT 290023 SOS 107932 HAS SOPS 107932 HAS SOUS 104693 HAS SOUPS 104693 WITH SCORE 104800.932
AT ITER 227 NEW BEST:: SOT 290023 SOS 107807 HAS SOPS 107807 HAS SOUS 104568 HAS SOUPS 104568 WITH SCORE 104675.807
AT ITER 229 NEW BEST:: SOT 289815 SOS 107391 HAS SOPS 107391 HAS SOUS 104152 HAS SOUPS 104152 WITH SCORE 104259.391
AT ITER 242 NEW BEST:: SOT 289851 SOS 107353 HAS SOPS 107353 HAS SOUS 104114 HAS SOUPS 104114 WITH SCORE 104221.353
AT ITER 248 NEW BEST:: SOT 289744 SOS 107216 HAS SOPS 107216 HAS SOUS 103977 HAS SOUPS 103977 WITH SCORE 104084.216
AT ITER 256 NEW BEST:: SOT 289498 SOS 106412 HAS SOPS 106412 HAS SOUS 103484 HAS SOUPS 103484 WITH SCORE 103590.412
AT ITER 258 NEW BEST:: SOT 289444 SOS 106331 HAS SOPS 106331 HAS SOUS 103429 HAS SOUPS 103429 WITH SCORE 103535.331
AT ITER 260 NEW BEST:: SOT 289282 SOS 106115 HAS SOPS 106115 HAS SOUS 103394 HAS SOUPS 103394 WITH SCORE 103500.115
AT ITER 274 NEW BEST:: SOT 289282 SOS 105814 HAS SOPS 105814 HAS SOUS 103093 HAS SOUPS 103093 WITH SCORE 103198.814
AT ITER 282 NEW BEST:: SOT 289255 SOS 105787 HAS SOPS 105787 HAS SOUS 103066 HAS SOUPS 103066 WITH SCORE 103171.787
AT ITER 286 NEW BEST:: SOT 289158 SOS 105650 HAS SOPS 105650 HAS SOUS 102929 HAS SOUPS 102929 WITH SCORE 103034.65
AT ITER 297 NEW BEST:: SOT 289182 SOS 105210 HAS SOPS 105210 HAS SOUS 102489 HAS SOUPS 102489 WITH SCORE 102594.21
AT ITER 318 NEW BEST:: SOT 289249 SOS 105094 HAS SOPS 105094 HAS SOUS 102373 HAS SOUPS 102373 WITH SCORE 102478.094
AT ITER 323 NEW BEST:: SOT 289249 SOS 104921 HAS SOPS 104921 HAS SOUS 102200 HAS SOUPS 102200 WITH SCORE 102304.921
AT ITER 329 NEW BEST:: SOT 289248 SOS 104919 HAS SOPS 104919 HAS SOUS 102198 HAS SOUPS 102198 WITH SCORE 102302.919
AT ITER 351 NEW BEST:: SOT 289121 SOS 104538 HAS SOPS 104538 HAS SOUS 101817 HAS SOUPS 101817 WITH SCORE 101921.538
AT ITER 358 NEW BEST:: SOT 289008 SOS 104497 HAS SOPS 104497 HAS SOUS 101776 HAS SOUPS 101776 WITH SCORE 101880.497
AT ITER 367 NEW BEST:: SOT 288903 SOS 104119 HAS SOPS 104119 HAS SOUS 101525 HAS SOUPS 101525 WITH SCORE 101629.119
AT ITER 370 NEW BEST:: SOT 288853 SOS 103878 HAS SOPS 103878 HAS SOUS 101316 HAS SOUPS 101316 WITH SCORE 101419.878
AT ITER 381 NEW BEST:: SOT 288613 SOS 103575 HAS SOPS 103575 HAS SOUS 101013 HAS SOUPS 101013 WITH SCORE 101116.575
AT ITER 399 NEW BEST:: SOT 288613 SOS 103535 HAS SOPS 103535 HAS SOUS 101013 HAS SOUPS 101013 WITH SCORE 101116.535
AT ITER 402 NEW BEST:: SOT 288382 SOS 103073 HAS SOPS 103073 HAS SOUS 100551 HAS SOUPS 100551 WITH SCORE 100654.073
AT ITER 407 NEW BEST:: SOT 288253 SOS 102944 HAS SOPS 102944 HAS SOUS 100422 HAS SOUPS 100422 WITH SCORE 100524.944
AT ITER 410 NEW BEST:: SOT 284385 SOS 100248 HAS SOPS 100248 HAS SOUS 96721 HAS SOUPS 96721 WITH SCORE 96821.248
AT ITER 412 NEW BEST:: SOT 284151 SOS 99820 HAS SOPS 99820 HAS SOUS 96293 HAS SOUPS 96293 WITH SCORE 96392.82
AT ITER 418 NEW BEST:: SOT 284006 SOS 99938 HAS SOPS 99938 HAS SOUS 96284 HAS SOUPS 96284 WITH SCORE 96383.938
AT ITER 447 NEW BEST:: SOT 283797 SOS 99561 HAS SOPS 99561 HAS SOUS 95907 HAS SOUPS 95907 WITH SCORE 96006.561
AT ITER 477 NEW BEST:: SOT 283776 SOS 99530 HAS SOPS 99530 HAS SOUS 95876 HAS SOUPS 95876 WITH SCORE 95975.53
AT ITER 493 NEW BEST:: SOT 283646 SOS 99270 HAS SOPS 99270 HAS SOUS 95616 HAS SOUPS 95616 WITH SCORE 95715.27
AT ITER 503 NEW BEST:: SOT 283646 SOS 99264 HAS SOPS 99264 HAS SOUS 95610 HAS SOUPS 95610 WITH SCORE 95709.264
AT ITER 510 NEW BEST:: SOT 283578 SOS 98962 HAS SOPS 98962 HAS SOUS 95425 HAS SOUPS 95425 WITH SCORE 95523.962
AT ITER 517 NEW BEST:: SOT 283760 SOS 98919 HAS SOPS 98919 HAS SOUS 95382 HAS SOUPS 95382 WITH SCORE 95480.919
AT ITER 521 NEW BEST:: SOT 279765 SOS 94924 HAS SOPS 94924 HAS SOUS 91387 HAS SOUPS 91387 WITH SCORE 91481.924
AT ITER 523 NEW BEST:: SOT 279734 SOS 94893 HAS SOPS 94893 HAS SOUS 91356 HAS SOUPS 91356 WITH SCORE 91450.893
AT ITER 541 NEW BEST:: SOT 279734 SOS 94892 HAS SOPS 94892 HAS SOUS 91355 HAS SOUPS 91355 WITH SCORE 91449.892
AT ITER 543 NEW BEST:: SOT 279804 SOS 94749 HAS SOPS 94749 HAS SOUS 91212 HAS SOUPS 91212 WITH SCORE 91306.749
AT ITER 556 NEW BEST:: SOT 279849 SOS 94692 HAS SOPS 94692 HAS SOUS 91110 HAS SOUPS 91110 WITH SCORE 91204.692
AT ITER 561 NEW BEST:: SOT 279803 SOS 94646 HAS SOPS 94646 HAS SOUS 91064 HAS SOUPS 91064 WITH SCORE 91158.646
AT ITER 566 NEW BEST:: SOT 279569 SOS 94377 HAS SOPS 94377 HAS SOUS 90795 HAS SOUPS 90795 WITH SCORE 90889.377
AT ITER 608 NEW BEST:: SOT 279526 SOS 94375 HAS SOPS 94375 HAS SOUS 90793 HAS SOUPS 90793 WITH SCORE 90887.375
AT ITER 631 NEW BEST:: SOT 279359 SOS 94075 HAS SOPS 94075 HAS SOUS 90493 HAS SOUPS 90493 WITH SCORE 90587.075
AT ITER 646 NEW BEST:: SOT 279357 SOS 94071 HAS SOPS 94071 HAS SOUS 90489 HAS SOUPS 90489 WITH SCORE 90583.071
AT ITER 648 NEW BEST:: SOT 279356 SOS 94069 HAS SOPS 94069 HAS SOUS 90487 HAS SOUPS 90487 WITH SCORE 90581.069
AT ITER 649 NEW BEST:: SOT 279325 SOS 93921 HAS SOPS 93921 HAS SOUS 90339 HAS SOUPS 90339 WITH SCORE 90432.921
AT ITER 659 NEW BEST:: SOT 279056 SOS 93754 HAS SOPS 93754 HAS SOUS 90172 HAS SOUPS 90172 WITH SCORE 90265.754
AT ITER 661 NEW BEST:: SOT 279009 SOS 93279 HAS SOPS 93279 HAS SOUS 89697 HAS SOUPS 89697 WITH SCORE 89790.279
AT ITER 664 NEW BEST:: SOT 279009 SOS 93243 HAS SOPS 93243 HAS SOUS 89691 HAS SOUPS 89691 WITH SCORE 89784.243
AT ITER 674 NEW BEST:: SOT 279009 SOS 93095 HAS SOPS 93095 HAS SOUS 89691 HAS SOUPS 89691 WITH SCORE 89784.095
AT ITER 692 NEW BEST:: SOT 271490 SOS 91684 HAS SOPS 91684 HAS SOUS 82622 HAS SOUPS 82622 WITH SCORE 82713.684
AT ITER 699 NEW BEST:: SOT 271452 SOS 91605 HAS SOPS 91605 HAS SOUS 82529 HAS SOUPS 82529 WITH SCORE 82620.605
AT ITER 704 NEW BEST:: SOT 271486 SOS 91603 HAS SOPS 91603 HAS SOUS 82527 HAS SOUPS 82527 WITH SCORE 82618.603
AT ITER 714 NEW BEST:: SOT 271474 SOS 91591 HAS SOPS 91591 HAS SOUS 82515 HAS SOUPS 82515 WITH SCORE 82606.591
AT ITER 715 NEW BEST:: SOT 271389 SOS 91506 HAS SOPS 91506 HAS SOUS 82430 HAS SOUPS 82430 WITH SCORE 82521.506
AT ITER 732 NEW BEST:: SOT 271257 SOS 91163 HAS SOPS 91163 HAS SOUS 82087 HAS SOUPS 82087 WITH SCORE 82178.163
AT ITER 742 NEW BEST:: SOT 271185 SOS 91095 HAS SOPS 91095 HAS SOUS 82019 HAS SOUPS 82019 WITH SCORE 82110.095
AT ITER 754 NEW BEST:: SOT 271264 SOS 91174 HAS SOPS 91174 HAS SOUS 82018 HAS SOUPS 82018 WITH SCORE 82109.174
AT ITER 755 NEW BEST:: SOT 271221 SOS 91110 HAS SOPS 91110 HAS SOUS 81954 HAS SOUPS 81954 WITH SCORE 82045.11
AT ITER 773 NEW BEST:: SOT 271204 SOS 91093 HAS SOPS 91093 HAS SOUS 81954 HAS SOUPS 81954 WITH SCORE 82045.093
AT ITER 804 NEW BEST:: SOT 271028 SOS 90944 HAS SOPS 90944 HAS SOUS 81805 HAS SOUPS 81805 WITH SCORE 81895.944
AT ITER 821 NEW BEST:: SOT 271028 SOS 90912 HAS SOPS 90912 HAS SOUS 81773 HAS SOUPS 81773 WITH SCORE 81863.912
AT ITER 842 NEW BEST:: SOT 271028 SOS 90878 HAS SOPS 90878 HAS SOUS 81771 HAS SOUPS 81771 WITH SCORE 81861.878
AT ITER 845 NEW BEST:: SOT 270981 SOS 90831 HAS SOPS 90831 HAS SOUS 81724 HAS SOUPS 81724 WITH SCORE 81814.831
AT ITER 850 NEW BEST:: SOT 270846 SOS 90571 HAS SOPS 90571 HAS SOUS 81690 HAS SOUPS 81690 WITH SCORE 81780.571
AT ITER 855 NEW BEST:: SOT 270832 SOS 90672 HAS SOPS 90672 HAS SOUS 81689 HAS SOUPS 81689 WITH SCORE 81779.672
AT ITER 857 NEW BEST:: SOT 270914 SOS 90636 HAS SOPS 90636 HAS SOUS 81571 HAS SOUPS 81571 WITH SCORE 81661.636
AT ITER 865 NEW BEST:: SOT 270911 SOS 90713 HAS SOPS 90713 HAS SOUS 81555 HAS SOUPS 81555 WITH SCORE 81645.713
AT ITER 873 NEW BEST:: SOT 270911 SOS 90700 HAS SOPS 90700 HAS SOUS 81555 HAS SOUPS 81555 WITH SCORE 81645.7
AT ITER 877 NEW BEST:: SOT 270931 SOS 90652 HAS SOPS 90652 HAS SOUS 81547 HAS SOUPS 81547 WITH SCORE 81637.652
AT ITER 885 NEW BEST:: SOT 270904 SOS 90625 HAS SOPS 90625 HAS SOUS 81520 HAS SOUPS 81520 WITH SCORE 81610.625
AT ITER 892 NEW BEST:: SOT 270904 SOS 90624 HAS SOPS 90624 HAS SOUS 81519 HAS SOUPS 81519 WITH SCORE 81609.624
AT ITER 911 NEW BEST:: SOT 270873 SOS 90562 HAS SOPS 90562 HAS SOUS 81457 HAS SOUPS 81457 WITH SCORE 81547.562
AT ITER 913 NEW BEST:: SOT 270786 SOS 90388 HAS SOPS 90388 HAS SOUS 81370 HAS SOUPS 81370 WITH SCORE 81460.388
AT ITER 922 NEW BEST:: SOT 270786 SOS 90377 HAS SOPS 90377 HAS SOUS 81359 HAS SOUPS 81359 WITH SCORE 81449.377
AT ITER 945 NEW BEST:: SOT 270789 SOS 90339 HAS SOPS 90339 HAS SOUS 81335 HAS SOUPS 81335 WITH SCORE 81425.339
AT ITER 948 NEW BEST:: SOT 270817 SOS 90271 HAS SOPS 90271 HAS SOUS 81267 HAS SOUPS 81267 WITH SCORE 81357.271
AT ITER 949 NEW BEST:: SOT 270746 SOS 89834 HAS SOPS 89834 HAS SOUS 80830 HAS SOUPS 80830 WITH SCORE 80919.834
AT ITER 997 NEW BEST:: SOT 270584 SOS 89510 HAS SOPS 89510 HAS SOUS 80667 HAS SOUPS 80667 WITH SCORE 80756.51
AT ITER 999 NEW BEST:: SOT 270353 SOS 89352 HAS SOPS 89352 HAS SOUS 80597 HAS SOUPS 80597 WITH SCORE 80686.352
AT ITER 1009 NEW BEST:: SOT 270235 SOS 89277 HAS SOPS 89277 HAS SOUS 80522 HAS SOUPS 80522 WITH SCORE 80611.277
AT ITER 1012 NEW BEST:: SOT 270223 SOS 89253 HAS SOPS 89253 HAS SOUS 80498 HAS SOUPS 80498 WITH SCORE 80587.253
AT ITER 1022 NEW BEST:: SOT 270163 SOS 89193 HAS SOPS 89193 HAS SOUS 80438 HAS SOUPS 80438 WITH SCORE 80527.193
AT ITER 1042 NEW BEST:: SOT 270163 SOS 89162 HAS SOPS 89162 HAS SOUS 80407 HAS SOUPS 80407 WITH SCORE 80496.162
AT ITER 1053 NEW BEST:: SOT 270163 SOS 89137 HAS SOPS 89137 HAS SOUS 80382 HAS SOUPS 80382 WITH SCORE 80471.137
AT ITER 1059 NEW BEST:: SOT 270145 SOS 89019 HAS SOPS 89019 HAS SOUS 80314 HAS SOUPS 80314 WITH SCORE 80403.019
AT ITER 1070 NEW BEST:: SOT 270065 SOS 88939 HAS SOPS 88939 HAS SOUS 80309 HAS SOUPS 80309 WITH SCORE 80397.939
AT ITER 1073 NEW BEST:: SOT 269955 SOS 88789 HAS SOPS 88789 HAS SOUS 80156 HAS SOUPS 80156 WITH SCORE 80244.789
AT ITER 1074 NEW BEST:: SOT 269955 SOS 88789 HAS SOPS 88789 HAS SOUS 80144 HAS SOUPS 80144 WITH SCORE 80232.789
AT ITER 1082 NEW BEST:: SOT 268056 SOS 86769 HAS SOPS 86769 HAS SOUS 78114 HAS SOUPS 78114 WITH SCORE 78200.769
AT ITER 1090 NEW BEST:: SOT 268056 SOS 86721 HAS SOPS 86721 HAS SOUS 78066 HAS SOUPS 78066 WITH SCORE 78152.721
AT ITER 1095 NEW BEST:: SOT 267910 SOS 86521 HAS SOPS 86521 HAS SOUS 77866 HAS SOUPS 77866 WITH SCORE 77952.521
AT ITER 1107 NEW BEST:: SOT 267832 SOS 86365 HAS SOPS 86365 HAS SOUS 77710 HAS SOUPS 77710 WITH SCORE 77796.365
AT ITER 1128 NEW BEST:: SOT 267841 SOS 86187 HAS SOPS 86187 HAS SOUS 77562 HAS SOUPS 77562 WITH SCORE 77648.187
AT ITER 1145 NEW BEST:: SOT 267854 SOS 86167 HAS SOPS 86167 HAS SOUS 77542 HAS SOUPS 77542 WITH SCORE 77628.167
AT ITER 1147 NEW BEST:: SOT 267854 SOS 86132 HAS SOPS 86132 HAS SOUS 77542 HAS SOUPS 77542 WITH SCORE 77628.132
AT ITER 1150 NEW BEST:: SOT 267789 SOS 86067 HAS SOPS 86067 HAS SOUS 77542 HAS SOUPS 77542 WITH SCORE 77628.067
AT ITER 1157 NEW BEST:: SOT 267829 SOS 85902 HAS SOPS 85902 HAS SOUS 77380 HAS SOUPS 77380 WITH SCORE 77465.902
AT ITER 1159 NEW BEST:: SOT 267896 SOS 85969 HAS SOPS 85969 HAS SOUS 77379 HAS SOUPS 77379 WITH SCORE 77464.969
AT ITER 1160 NEW BEST:: SOT 267879 SOS 85935 HAS SOPS 85935 HAS SOUS 77345 HAS SOUPS 77345 WITH SCORE 77430.935
AT ITER 1161 NEW BEST:: SOT 267744 SOS 85800 HAS SOPS 85800 HAS SOUS 77210 HAS SOUPS 77210 WITH SCORE 77295.8
AT ITER 1164 NEW BEST:: SOT 267618 SOS 85674 HAS SOPS 85674 HAS SOUS 77084 HAS SOUPS 77084 WITH SCORE 77169.674
AT ITER 1168 NEW BEST:: SOT 267516 SOS 85655 HAS SOPS 85655 HAS SOUS 77065 HAS SOUPS 77065 WITH SCORE 77150.655
AT ITER 1176 NEW BEST:: SOT 267438 SOS 85499 HAS SOPS 85499 HAS SOUS 76909 HAS SOUPS 76909 WITH SCORE 76994.499
AT ITER 1180 NEW BEST:: SOT 267437 SOS 85437 HAS SOPS 85437 HAS SOUS 76847 HAS SOUPS 76847 WITH SCORE 76932.437
AT ITER 1182 NEW BEST:: SOT 267384 SOS 85400 HAS SOPS 85400 HAS SOUS 76810 HAS SOUPS 76810 WITH SCORE 76895.4
AT ITER 1186 NEW BEST:: SOT 267460 SOS 85379 HAS SOPS 85379 HAS SOUS 76570 HAS SOUPS 76570 WITH SCORE 76655.379
AT ITER 1189 NEW BEST:: SOT 267463 SOS 85382 HAS SOPS 85382 HAS SOUS 76568 HAS SOUPS 76568 WITH SCORE 76653.382
AT ITER 1191 NEW BEST:: SOT 267001 SOS 84698 HAS SOPS 84698 HAS SOUS 76115 HAS SOUPS 76115 WITH SCORE 76199.698
AT ITER 1192 NEW BEST:: SOT 267012 SOS 84645 HAS SOPS 84645 HAS SOUS 76062 HAS SOUPS 76062 WITH SCORE 76146.645
AT ITER 1193 NEW BEST:: SOT 266993 SOS 84607 HAS SOPS 84607 HAS SOUS 76024 HAS SOUPS 76024 WITH SCORE 76108.607
AT ITER 1204 NEW BEST:: SOT 266817 SOS 84126 HAS SOPS 84126 HAS SOUS 75543 HAS SOUPS 75543 WITH SCORE 75627.126
AT ITER 1229 NEW BEST:: SOT 266718 SOS 83928 HAS SOPS 83928 HAS SOUS 75347 HAS SOUPS 75347 WITH SCORE 75430.928
AT ITER 1230 NEW BEST:: SOT 266688 SOS 83897 HAS SOPS 83897 HAS SOUS 75316 HAS SOUPS 75316 WITH SCORE 75399.897
AT ITER 1236 NEW BEST:: SOT 266629 SOS 83795 HAS SOPS 83795 HAS SOUS 75273 HAS SOUPS 75273 WITH SCORE 75356.795
AT ITER 1243 NEW BEST:: SOT 266623 SOS 83783 HAS SOPS 83783 HAS SOUS 75261 HAS SOUPS 75261 WITH SCORE 75344.783
AT ITER 1244 NEW BEST:: SOT 266527 SOS 83683 HAS SOPS 83683 HAS SOUS 75161 HAS SOUPS 75161 WITH SCORE 75244.683
AT ITER 1254 NEW BEST:: SOT 266539 SOS 83615 HAS SOPS 83615 HAS SOUS 75093 HAS SOUPS 75093 WITH SCORE 75176.615
AT ITER 1287 NEW BEST:: SOT 266710 SOS 83562 HAS SOPS 83562 HAS SOUS 74917 HAS SOUPS 74917 WITH SCORE 75000.562
AT ITER 1292 NEW BEST:: SOT 264613 SOS 81848 HAS SOPS 81848 HAS SOUS 72798 HAS SOUPS 72798 WITH SCORE 72879.848
AT ITER 1338 NEW BEST:: SOT 264596 SOS 81814 HAS SOPS 81814 HAS SOUS 72764 HAS SOUPS 72764 WITH SCORE 72845.814
AT ITER 1355 NEW BEST:: SOT 264662 SOS 81880 HAS SOPS 81880 HAS SOUS 72762 HAS SOUPS 72762 WITH SCORE 72843.88
AT ITER 1407 NEW BEST:: SOT 264660 SOS 81876 HAS SOPS 81876 HAS SOUS 72758 HAS SOUPS 72758 WITH SCORE 72839.876
AT ITER 1410 NEW BEST:: SOT 264667 SOS 81688 HAS SOPS 81688 HAS SOUS 72570 HAS SOUPS 72570 WITH SCORE 72651.688
AT ITER 1411 NEW BEST:: SOT 264486 SOS 81326 HAS SOPS 81326 HAS SOUS 72389 HAS SOUPS 72389 WITH SCORE 72470.326
AT ITER 1426 NEW BEST:: SOT 264469 SOS 81309 HAS SOPS 81309 HAS SOUS 72372 HAS SOUPS 72372 WITH SCORE 72453.309
AT ITER 1435 NEW BEST:: SOT 264521 SOS 81268 HAS SOPS 81268 HAS SOUS 72331 HAS SOUPS 72331 WITH SCORE 72412.268
AT ITER 1445 NEW BEST:: SOT 264370 SOS 80848 HAS SOPS 80848 HAS SOUS 71904 HAS SOUPS 71904 WITH SCORE 71984.848
AT ITER 1467 NEW BEST:: SOT 264218 SOS 80562 HAS SOPS 80562 HAS SOUS 71618 HAS SOUPS 71618 WITH SCORE 71698.562
AT ITER 1485 NEW BEST:: SOT 264218 SOS 80562 HAS SOPS 80562 HAS SOUS 71615 HAS SOUPS 71615 WITH SCORE 71695.562
AT ITER 1516 NEW BEST:: SOT 264185 SOS 80529 HAS SOPS 80529 HAS SOUS 71582 HAS SOUPS 71582 WITH SCORE 71662.529
AT ITER 1533 NEW BEST:: SOT 264185 SOS 80480 HAS SOPS 80480 HAS SOUS 71533 HAS SOUPS 71533 WITH SCORE 71613.48
AT ITER 1537 NEW BEST:: SOT 264183 SOS 80415 HAS SOPS 80415 HAS SOUS 71446 HAS SOUPS 71446 WITH SCORE 71526.415
AT ITER 1550 NEW BEST:: SOT 264088 SOS 80390 HAS SOPS 80390 HAS SOUS 71351 HAS SOUPS 71351 WITH SCORE 71431.39
AT ITER 1556 NEW BEST:: SOT 264081 SOS 80383 HAS SOPS 80383 HAS SOUS 71344 HAS SOUPS 71344 WITH SCORE 71424.383
AT ITER 1576 NEW BEST:: SOT 263954 SOS 80211 HAS SOPS 80211 HAS SOUS 71226 HAS SOUPS 71226 WITH SCORE 71306.211
AT ITER 1583 NEW BEST:: SOT 263938 SOS 80195 HAS SOPS 80195 HAS SOUS 71210 HAS SOUPS 71210 WITH SCORE 71290.195
AT ITER 1585 NEW BEST:: SOT 263938 SOS 80188 HAS SOPS 80188 HAS SOUS 71203 HAS SOUPS 71203 WITH SCORE 71283.188
AT ITER 1599 NEW BEST:: SOT 263935 SOS 79981 HAS SOPS 79981 HAS SOUS 70996 HAS SOUPS 70996 WITH SCORE 71075.981
AT ITER 1600 NEW BEST:: SOT 263939 SOS 80028 HAS SOPS 80028 HAS SOUS 70921 HAS SOUPS 70921 WITH SCORE 71001.028
AT ITER 1617 NEW BEST:: SOT 263838 SOS 79826 HAS SOPS 79826 HAS SOUS 70719 HAS SOUPS 70719 WITH SCORE 70798.826
AT ITER 1643 NEW BEST:: SOT 263836 SOS 79824 HAS SOPS 79824 HAS SOUS 70717 HAS SOUPS 70717 WITH SCORE 70796.824
AT ITER 1649 NEW BEST:: SOT 263749 SOS 79737 HAS SOPS 79737 HAS SOUS 70630 HAS SOUPS 70630 WITH SCORE 70709.737
AT ITER 1651 NEW BEST:: SOT 263748 SOS 79868 HAS SOPS 79868 HAS SOUS 70587 HAS SOUPS 70587 WITH SCORE 70666.868
AT ITER 1684 NEW BEST:: SOT 263747 SOS 79866 HAS SOPS 79866 HAS SOUS 70585 HAS SOUPS 70585 WITH SCORE 70664.866
AT ITER 1720 NEW BEST:: SOT 263739 SOS 79854 HAS SOPS 79854 HAS SOUS 70573 HAS SOUPS 70573 WITH SCORE 70652.854
AT ITER 1723 NEW BEST:: SOT 263709 SOS 79794 HAS SOPS 79794 HAS SOUS 70483 HAS SOUPS 70483 WITH SCORE 70562.794
AT ITER 1728 NEW BEST:: SOT 263438 SOS 79862 HAS SOPS 79862 HAS SOUS 70190 HAS SOUPS 70190 WITH SCORE 70269.862
AT ITER 1732 NEW BEST:: SOT 263299 SOS 79674 HAS SOPS 79674 HAS SOUS 70002 HAS SOUPS 70002 WITH SCORE 70081.674
AT ITER 1742 NEW BEST:: SOT 263231 SOS 79644 HAS SOPS 79644 HAS SOUS 69925 HAS SOUPS 69925 WITH SCORE 70004.644
AT ITER 1745 NEW BEST:: SOT 263176 SOS 79478 HAS SOPS 79478 HAS SOUS 69814 HAS SOUPS 69814 WITH SCORE 69893.478
AT ITER 1751 NEW BEST:: SOT 263177 SOS 79474 HAS SOPS 79474 HAS SOUS 69810 HAS SOUPS 69810 WITH SCORE 69889.474
AT ITER 1763 NEW BEST:: SOT 262907 SOS 78570 HAS SOPS 78570 HAS SOUS 69225 HAS SOUPS 69225 WITH SCORE 69303.57
AT ITER 1765 NEW BEST:: SOT 262885 SOS 78526 HAS SOPS 78526 HAS SOUS 69181 HAS SOUPS 69181 WITH SCORE 69259.526
AT ITER 1777 NEW BEST:: SOT 262621 SOS 78444 HAS SOPS 78444 HAS SOUS 69076 HAS SOUPS 69076 WITH SCORE 69154.444
AT ITER 1787 NEW BEST:: SOT 262619 SOS 78607 HAS SOPS 78607 HAS SOUS 69073 HAS SOUPS 69073 WITH SCORE 69151.607
AT ITER 1795 NEW BEST:: SOT 262580 SOS 78568 HAS SOPS 78568 HAS SOUS 69073 HAS SOUPS 69073 WITH SCORE 69151.568
AT ITER 1807 NEW BEST:: SOT 262571 SOS 78550 HAS SOPS 78550 HAS SOUS 69064 HAS SOUPS 69064 WITH SCORE 69142.55
AT ITER 1809 NEW BEST:: SOT 262483 SOS 78433 HAS SOPS 78433 HAS SOUS 69006 HAS SOUPS 69006 WITH SCORE 69084.433
AT ITER 1850 NEW BEST:: SOT 262530 SOS 78375 HAS SOPS 78375 HAS SOUS 68948 HAS SOUPS 68948 WITH SCORE 69026.375
AT ITER 1867 NEW BEST:: SOT 262450 SOS 78215 HAS SOPS 78215 HAS SOUS 68868 HAS SOUPS 68868 WITH SCORE 68946.215
AT ITER 1882 NEW BEST:: SOT 262445 SOS 78205 HAS SOPS 78205 HAS SOUS 68858 HAS SOUPS 68858 WITH SCORE 68936.205
AT ITER 1929 NEW BEST:: SOT 262443 SOS 78201 HAS SOPS 78201 HAS SOUS 68854 HAS SOUPS 68854 WITH SCORE 68932.201
AT ITER 1948 NEW BEST:: SOT 262453 SOS 78143 HAS SOPS 78143 HAS SOUS 68796 HAS SOUPS 68796 WITH SCORE 68874.143
AT ITER 1951 NEW BEST:: SOT 262515 SOS 78142 HAS SOPS 78142 HAS SOUS 68730 HAS SOUPS 68730 WITH SCORE 68808.142
AT ITER 1958 NEW BEST:: SOT 262507 SOS 78130 HAS SOPS 78130 HAS SOUS 68718 HAS SOUPS 68718 WITH SCORE 68796.13
AT ITER 1990 NEW BEST:: SOT 262482 SOS 78080 HAS SOPS 78080 HAS SOUS 68668 HAS SOUPS 68668 WITH SCORE 68746.08
AT ITER 2022 NEW BEST:: SOT 262459 SOS 78057 HAS SOPS 78057 HAS SOUS 68645 HAS SOUPS 68645 WITH SCORE 68723.057
AT ITER 2032 NEW BEST:: SOT 262648 SOS 77907 HAS SOPS 77907 HAS SOUS 68495 HAS SOUPS 68495 WITH SCORE 68572.907
AT ITER 2047 NEW BEST:: SOT 262648 SOS 77785 HAS SOPS 77785 HAS SOUS 68373 HAS SOUPS 68373 WITH SCORE 68450.785
AT ITER 2059 NEW BEST:: SOT 262731 SOS 77867 HAS SOPS 77867 HAS SOUS 68314 HAS SOUPS 68314 WITH SCORE 68391.867
AT ITER 2076 NEW BEST:: SOT 262771 SOS 77942 HAS SOPS 77942 HAS SOUS 68297 HAS SOUPS 68297 WITH SCORE 68374.942
AT ITER 2124 NEW BEST:: SOT 262815 SOS 77919 HAS SOPS 77919 HAS SOUS 68274 HAS SOUPS 68274 WITH SCORE 68351.919
AT ITER 2146 NEW BEST:: SOT 262786 SOS 77861 HAS SOPS 77861 HAS SOUS 68245 HAS SOUPS 68245 WITH SCORE 68322.861
AT ITER 2158 NEW BEST:: SOT 262746 SOS 77781 HAS SOPS 77781 HAS SOUS 68245 HAS SOUPS 68245 WITH SCORE 68322.781
AT ITER 2178 NEW BEST:: SOT 262618 SOS 77620 HAS SOPS 77620 HAS SOUS 68167 HAS SOUPS 68167 WITH SCORE 68244.62
AT ITER 2182 NEW BEST:: SOT 262687 SOS 77578 HAS SOPS 77578 HAS SOUS 68125 HAS SOUPS 68125 WITH SCORE 68202.578
AT ITER 2200 NEW BEST:: SOT 262687 SOS 77516 HAS SOPS 77516 HAS SOUS 68063 HAS SOUPS 68063 WITH SCORE 68140.516
AT ITER 2205 NEW BEST:: SOT 262700 SOS 77541 HAS SOPS 77541 HAS SOUS 68011 HAS SOUPS 68011 WITH SCORE 68088.541
AT ITER 2209 NEW BEST:: SOT 262611 SOS 77459 HAS SOPS 77459 HAS SOUS 67929 HAS SOUPS 67929 WITH SCORE 68006.459
AT ITER 2225 NEW BEST:: SOT 262545 SOS 77513 HAS SOPS 77513 HAS SOUS 67924 HAS SOUPS 67924 WITH SCORE 68001.513
AT ITER 2227 NEW BEST:: SOT 262504 SOS 77416 HAS SOPS 77416 HAS SOUS 67827 HAS SOUPS 67827 WITH SCORE 67904.416
AT ITER 2235 NEW BEST:: SOT 262504 SOS 77271 HAS SOPS 77271 HAS SOUS 67682 HAS SOUPS 67682 WITH SCORE 67759.271
AT ITER 2244 NEW BEST:: SOT 262280 SOS 77000 HAS SOPS 77000 HAS SOUS 67505 HAS SOUPS 67505 WITH SCORE 67582.0
AT ITER 2251 NEW BEST:: SOT 262252 SOS 76972 HAS SOPS 76972 HAS SOUS 67505 HAS SOUPS 67505 WITH SCORE 67581.972
AT ITER 2258 NEW BEST:: SOT 262247 SOS 76867 HAS SOPS 76867 HAS SOUS 67400 HAS SOUPS 67400 WITH SCORE 67476.867
AT ITER 2265 NEW BEST:: SOT 262017 SOS 76596 HAS SOPS 76596 HAS SOUS 67129 HAS SOUPS 67129 WITH SCORE 67205.596
AT ITER 2278 NEW BEST:: SOT 262091 SOS 76611 HAS SOPS 76611 HAS SOUS 67106 HAS SOUPS 67106 WITH SCORE 67182.611
AT ITER 2280 NEW BEST:: SOT 261983 SOS 76478 HAS SOPS 76478 HAS SOUS 67076 HAS SOUPS 67076 WITH SCORE 67152.478
AT ITER 2282 NEW BEST:: SOT 261972 SOS 76467 HAS SOPS 76467 HAS SOUS 67065 HAS SOUPS 67065 WITH SCORE 67141.467
AT ITER 2294 NEW BEST:: SOT 261914 SOS 76408 HAS SOPS 76408 HAS SOUS 67006 HAS SOUPS 67006 WITH SCORE 67082.408
AT ITER 2314 NEW BEST:: SOT 261883 SOS 76346 HAS SOPS 76346 HAS SOUS 66944 HAS SOUPS 66944 WITH SCORE 67020.346
AT ITER 2355 NEW BEST:: SOT 261875 SOS 76338 HAS SOPS 76338 HAS SOUS 66936 HAS SOUPS 66936 WITH SCORE 67012.338
AT ITER 2370 NEW BEST:: SOT 260794 SOS 82916 HAS SOPS 82916 HAS SOUS 66141 HAS SOUPS 66141 WITH SCORE 66223.916
AT ITER 2390 NEW BEST:: SOT 260816 SOS 82908 HAS SOPS 82908 HAS SOUS 66133 HAS SOUPS 66133 WITH SCORE 66215.908
AT ITER 2396 NEW BEST:: SOT 260804 SOS 82884 HAS SOPS 82884 HAS SOUS 66109 HAS SOUPS 66109 WITH SCORE 66191.884
AT ITER 2423 NEW BEST:: SOT 260828 SOS 82809 HAS SOPS 82809 HAS SOUS 66034 HAS SOUPS 66034 WITH SCORE 66116.809
AT ITER 2446 NEW BEST:: SOT 260826 SOS 82807 HAS SOPS 82807 HAS SOUS 66034 HAS SOUPS 66034 WITH SCORE 66116.807
AT ITER 2464 NEW BEST:: SOT 260823 SOS 82804 HAS SOPS 82804 HAS SOUS 66031 HAS SOUPS 66031 WITH SCORE 66113.804
AT ITER 2466 NEW BEST:: SOT 260807 SOS 82552 HAS SOPS 82552 HAS SOUS 65773 HAS SOUPS 65773 WITH SCORE 65855.552
AT ITER 2468 NEW BEST:: SOT 260709 SOS 82285 HAS SOPS 82285 HAS SOUS 65390 HAS SOUPS 65390 WITH SCORE 65472.285
AT ITER 2479 NEW BEST:: SOT 260697 SOS 82106 HAS SOPS 82106 HAS SOUS 65266 HAS SOUPS 65266 WITH SCORE 65348.106
AT ITER 2499 NEW BEST:: SOT 260676 SOS 82064 HAS SOPS 82064 HAS SOUS 65224 HAS SOUPS 65224 WITH SCORE 65306.064
AT ITER 2529 NEW BEST:: SOT 260676 SOS 81966 HAS SOPS 81966 HAS SOUS 65175 HAS SOUPS 65175 WITH SCORE 65256.966
AT ITER 2538 NEW BEST:: SOT 260627 SOS 81851 HAS SOPS 81851 HAS SOUS 65119 HAS SOUPS 65119 WITH SCORE 65200.851
AT ITER 2551 NEW BEST:: SOT 260791 SOS 82008 HAS SOPS 82008 HAS SOUS 65015 HAS SOUPS 65015 WITH SCORE 65097.008
AT ITER 2557 NEW BEST:: SOT 260620 SOS 81839 HAS SOPS 81839 HAS SOUS 64984 HAS SOUPS 64984 WITH SCORE 65065.839
AT ITER 2576 NEW BEST:: SOT 260625 SOS 81809 HAS SOPS 81809 HAS SOUS 64954 HAS SOUPS 64954 WITH SCORE 65035.809
AT ITER 2591 NEW BEST:: SOT 260608 SOS 81745 HAS SOPS 81745 HAS SOUS 64890 HAS SOUPS 64890 WITH SCORE 64971.745
AT ITER 2650 NEW BEST:: SOT 260607 SOS 81744 HAS SOPS 81744 HAS SOUS 64889 HAS SOUPS 64889 WITH SCORE 64970.744
AT ITER 2673 NEW BEST:: SOT 260607 SOS 81701 HAS SOPS 81701 HAS SOUS 64846 HAS SOUPS 64846 WITH SCORE 64927.701
AT ITER 2681 NEW BEST:: SOT 260607 SOS 81665 HAS SOPS 81665 HAS SOUS 64845 HAS SOUPS 64845 WITH SCORE 64926.665
AT ITER 2696 NEW BEST:: SOT 260562 SOS 81575 HAS SOPS 81575 HAS SOUS 64800 HAS SOUPS 64800 WITH SCORE 64881.575
AT ITER 2701 NEW BEST:: SOT 260523 SOS 81536 HAS SOPS 81536 HAS SOUS 64747 HAS SOUPS 64747 WITH SCORE 64828.536
AT ITER 2704 NEW BEST:: SOT 260284 SOS 81170 HAS SOPS 81170 HAS SOUS 64611 HAS SOUPS 64611 WITH SCORE 64692.17
AT ITER 2712 NEW BEST:: SOT 260191 SOS 80984 HAS SOPS 80984 HAS SOUS 64425 HAS SOUPS 64425 WITH SCORE 64505.984
AT ITER 2743 NEW BEST:: SOT 259943 SOS 80723 HAS SOPS 80723 HAS SOUS 64399 HAS SOUPS 64399 WITH SCORE 64479.723
AT ITER 2753 NEW BEST:: SOT 259704 SOS 80614 HAS SOPS 80614 HAS SOUS 64290 HAS SOUPS 64290 WITH SCORE 64370.614
AT ITER 2759 NEW BEST:: SOT 259514 SOS 80424 HAS SOPS 80424 HAS SOUS 64268 HAS SOUPS 64268 WITH SCORE 64348.424
AT ITER 2769 NEW BEST:: SOT 259514 SOS 80381 HAS SOPS 80381 HAS SOUS 64225 HAS SOUPS 64225 WITH SCORE 64305.381
AT ITER 2779 NEW BEST:: SOT 259096 SOS 79798 HAS SOPS 79798 HAS SOUS 63875 HAS SOUPS 63875 WITH SCORE 63954.798
AT ITER 2795 NEW BEST:: SOT 259107 SOS 79784 HAS SOPS 79784 HAS SOUS 63861 HAS SOUPS 63861 WITH SCORE 63940.784
AT ITER 2808 NEW BEST:: SOT 259120 SOS 79735 HAS SOPS 79735 HAS SOUS 63840 HAS SOUPS 63840 WITH SCORE 63919.735
AT ITER 2818 NEW BEST:: SOT 259071 SOS 79637 HAS SOPS 79637 HAS SOUS 63650 HAS SOUPS 63650 WITH SCORE 63729.637
AT ITER 2825 NEW BEST:: SOT 258877 SOS 79346 HAS SOPS 79346 HAS SOUS 63359 HAS SOUPS 63359 WITH SCORE 63438.346
AT ITER 2855 NEW BEST:: SOT 258875 SOS 79342 HAS SOPS 79342 HAS SOUS 63355 HAS SOUPS 63355 WITH SCORE 63434.342
AT ITER 2857 NEW BEST:: SOT 258915 SOS 79328 HAS SOPS 79328 HAS SOUS 63193 HAS SOUPS 63193 WITH SCORE 63272.328
AT ITER 2867 NEW BEST:: SOT 258833 SOS 79166 HAS SOPS 79166 HAS SOUS 63037 HAS SOUPS 63037 WITH SCORE 63116.166
AT ITER 2897 NEW BEST:: SOT 258807 SOS 79140 HAS SOPS 79140 HAS SOUS 63037 HAS SOUPS 63037 WITH SCORE 63116.14
AT ITER 2924 NEW BEST:: SOT 258801 SOS 79134 HAS SOPS 79134 HAS SOUS 63037 HAS SOUPS 63037 WITH SCORE 63116.134
AT ITER 2926 NEW BEST:: SOT 258800 SOS 79079 HAS SOPS 79079 HAS SOUS 63005 HAS SOUPS 63005 WITH SCORE 63084.079
AT ITER 2935 NEW BEST:: SOT 258798 SOS 79075 HAS SOPS 79075 HAS SOUS 63001 HAS SOUPS 63001 WITH SCORE 63080.075
AT ITER 2939 NEW BEST:: SOT 258766 SOS 78979 HAS SOPS 78979 HAS SOUS 62937 HAS SOUPS 62937 WITH SCORE 63015.979
AT ITER 2946 NEW BEST:: SOT 258686 SOS 79036 HAS SOPS 79036 HAS SOUS 62913 HAS SOUPS 62913 WITH SCORE 62992.036
AT ITER 2989 NEW BEST:: SOT 258641 SOS 78946 HAS SOPS 78946 HAS SOUS 62891 HAS SOUPS 62891 WITH SCORE 62969.946
AT ITER 3006 NEW BEST:: SOT 258603 SOS 78908 HAS SOPS 78908 HAS SOUS 62853 HAS SOUPS 62853 WITH SCORE 62931.908
AT ITER 3012 NEW BEST:: SOT 258584 SOS 78889 HAS SOPS 78889 HAS SOUS 62853 HAS SOUPS 62853 WITH SCORE 62931.889
AT ITER 3014 NEW BEST:: SOT 258467 SOS 78769 HAS SOPS 78769 HAS SOUS 62850 HAS SOUPS 62850 WITH SCORE 62928.769
AT ITER 3028 NEW BEST:: SOT 258402 SOS 78703 HAS SOPS 78703 HAS SOUS 62784 HAS SOUPS 62784 WITH SCORE 62862.703
AT ITER 3030 NEW BEST:: SOT 258348 SOS 78473 HAS SOPS 78473 HAS SOUS 62554 HAS SOUPS 62554 WITH SCORE 62632.473
AT ITER 3032 NEW BEST:: SOT 258347 SOS 78472 HAS SOPS 78472 HAS SOUS 62553 HAS SOUPS 62553 WITH SCORE 62631.472
AT ITER 3125 NEW BEST:: SOT 258207 SOS 78253 HAS SOPS 78253 HAS SOUS 62474 HAS SOUPS 62474 WITH SCORE 62552.253
AT ITER 3166 NEW BEST:: SOT 258207 SOS 78205 HAS SOPS 78205 HAS SOUS 62426 HAS SOUPS 62426 WITH SCORE 62504.205
AT ITER 3198 NEW BEST:: SOT 258207 SOS 78205 HAS SOPS 78205 HAS SOUS 62389 HAS SOUPS 62389 WITH SCORE 62467.205
AT ITER 3231 NEW BEST:: SOT 258224 SOS 78192 HAS SOPS 78192 HAS SOUS 62376 HAS SOUPS 62376 WITH SCORE 62454.192
AT ITER 3239 NEW BEST:: SOT 258200 SOS 78168 HAS SOPS 78168 HAS SOUS 62352 HAS SOUPS 62352 WITH SCORE 62430.168
AT ITER 3240 NEW BEST:: SOT 258171 SOS 78152 HAS SOPS 78152 HAS SOUS 62344 HAS SOUPS 62344 WITH SCORE 62422.152
AT ITER 3245 NEW BEST:: SOT 258095 SOS 78076 HAS SOPS 78076 HAS SOUS 62344 HAS SOUPS 62344 WITH SCORE 62422.076
AT ITER 3248 NEW BEST:: SOT 258087 SOS 78042 HAS SOPS 78042 HAS SOUS 62305 HAS SOUPS 62305 WITH SCORE 62383.042
AT ITER 3251 NEW BEST:: SOT 258249 SOS 77995 HAS SOPS 77995 HAS SOUS 62049 HAS SOUPS 62049 WITH SCORE 62126.995
AT ITER 3266 NEW BEST:: SOT 258249 SOS 77982 HAS SOPS 77982 HAS SOUS 62036 HAS SOUPS 62036 WITH SCORE 62113.982
AT ITER 3270 NEW BEST:: SOT 258199 SOS 77931 HAS SOPS 77931 HAS SOUS 62034 HAS SOUPS 62034 WITH SCORE 62111.931
AT ITER 3297 NEW BEST:: SOT 258198 SOS 77929 HAS SOPS 77929 HAS SOUS 62032 HAS SOUPS 62032 WITH SCORE 62109.929
AT ITER 3310 NEW BEST:: SOT 258198 SOS 77928 HAS SOPS 77928 HAS SOUS 62031 HAS SOUPS 62031 WITH SCORE 62108.928
AT ITER 3311 NEW BEST:: SOT 258198 SOS 77923 HAS SOPS 77923 HAS SOUS 62026 HAS SOUPS 62026 WITH SCORE 62103.923
AT ITER 3315 NEW BEST:: SOT 258176 SOS 77890 HAS SOPS 77890 HAS SOUS 62004 HAS SOUPS 62004 WITH SCORE 62081.89
AT ITER 3327 NEW BEST:: SOT 257865 SOS 77616 HAS SOPS 77616 HAS SOUS 61693 HAS SOUPS 61693 WITH SCORE 61770.616
AT ITER 3383 NEW BEST:: SOT 257830 SOS 77752 HAS SOPS 77752 HAS SOUS 61689 HAS SOUPS 61689 WITH SCORE 61766.752
AT ITER 3389 NEW BEST:: SOT 257767 SOS 77628 HAS SOPS 77628 HAS SOUS 61565 HAS SOUPS 61565 WITH SCORE 61642.628
AT ITER 3390 NEW BEST:: SOT 257828 SOS 77688 HAS SOPS 77688 HAS SOUS 61513 HAS SOUPS 61513 WITH SCORE 61590.688
AT ITER 3397 NEW BEST:: SOT 257828 SOS 77637 HAS SOPS 77637 HAS SOUS 61462 HAS SOUPS 61462 WITH SCORE 61539.637
AT ITER 3401 NEW BEST:: SOT 257828 SOS 77579 HAS SOPS 77579 HAS SOUS 61449 HAS SOUPS 61449 WITH SCORE 61526.579
AT ITER 3421 NEW BEST:: SOT 257931 SOS 77563 HAS SOPS 77563 HAS SOUS 61433 HAS SOUPS 61433 WITH SCORE 61510.563
AT ITER 3452 NEW BEST:: SOT 257929 SOS 77560 HAS SOPS 77560 HAS SOUS 61430 HAS SOUPS 61430 WITH SCORE 61507.56
AT ITER 3463 NEW BEST:: SOT 257928 SOS 77558 HAS SOPS 77558 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61505.558
AT ITER 3470 NEW BEST:: SOT 257927 SOS 77556 HAS SOPS 77556 HAS SOUS 61426 HAS SOUPS 61426 WITH SCORE 61503.556
AT ITER 3477 NEW BEST:: SOT 257909 SOS 77520 HAS SOPS 77520 HAS SOUS 61390 HAS SOUPS 61390 WITH SCORE 61467.52
AT ITER 3494 NEW BEST:: SOT 257909 SOS 77245 HAS SOPS 77245 HAS SOUS 61115 HAS SOUPS 61115 WITH SCORE 61192.245
AT ITER 3503 NEW BEST:: SOT 257891 SOS 77208 HAS SOPS 77208 HAS SOUS 61073 HAS SOUPS 61073 WITH SCORE 61150.208
AT ITER 3510 NEW BEST:: SOT 257862 SOS 77150 HAS SOPS 77150 HAS SOUS 61058 HAS SOUPS 61058 WITH SCORE 61135.15
AT ITER 3513 NEW BEST:: SOT 257844 SOS 77132 HAS SOPS 77132 HAS SOUS 61040 HAS SOUPS 61040 WITH SCORE 61117.132
AT ITER 3522 NEW BEST:: SOT 257757 SOS 76999 HAS SOPS 76999 HAS SOUS 60994 HAS SOUPS 60994 WITH SCORE 61070.999
AT ITER 3530 NEW BEST:: SOT 257743 SOS 76985 HAS SOPS 76985 HAS SOUS 60980 HAS SOUPS 60980 WITH SCORE 61056.985
AT ITER 3535 NEW BEST:: SOT 257727 SOS 76953 HAS SOPS 76953 HAS SOUS 60948 HAS SOUPS 60948 WITH SCORE 61024.953
AT ITER 3560 NEW BEST:: SOT 257609 SOS 76949 HAS SOPS 76949 HAS SOUS 60944 HAS SOUPS 60944 WITH SCORE 61020.949
AT ITER 3574 NEW BEST:: SOT 257515 SOS 76758 HAS SOPS 76758 HAS SOUS 60889 HAS SOUPS 60889 WITH SCORE 60965.758
AT ITER 3590 NEW BEST:: SOT 257648 SOS 76756 HAS SOPS 76756 HAS SOUS 60887 HAS SOUPS 60887 WITH SCORE 60963.756
AT ITER 3593 NEW BEST:: SOT 257586 SOS 76621 HAS SOPS 76621 HAS SOUS 60752 HAS SOUPS 60752 WITH SCORE 60828.621
AT ITER 3606 NEW BEST:: SOT 257538 SOS 76551 HAS SOPS 76551 HAS SOUS 60682 HAS SOUPS 60682 WITH SCORE 60758.551
AT ITER 3614 NEW BEST:: SOT 257508 SOS 76470 HAS SOPS 76470 HAS SOUS 60631 HAS SOUPS 60631 WITH SCORE 60707.47
AT ITER 3620 NEW BEST:: SOT 257445 SOS 76407 HAS SOPS 76407 HAS SOUS 60568 HAS SOUPS 60568 WITH SCORE 60644.407
AT ITER 3626 NEW BEST:: SOT 257327 SOS 76289 HAS SOPS 76289 HAS SOUS 60507 HAS SOUPS 60507 WITH SCORE 60583.289
AT ITER 3664 NEW BEST:: SOT 257191 SOS 76017 HAS SOPS 76017 HAS SOUS 60235 HAS SOUPS 60235 WITH SCORE 60311.017
AT ITER 3679 NEW BEST:: SOT 257153 SOS 75371 HAS SOPS 75371 HAS SOUS 60159 HAS SOUPS 60159 WITH SCORE 60234.371
AT ITER 3720 NEW BEST:: SOT 257135 SOS 75353 HAS SOPS 75353 HAS SOUS 60141 HAS SOUPS 60141 WITH SCORE 60216.353
AT ITER 3743 NEW BEST:: SOT 257131 SOS 75345 HAS SOPS 75345 HAS SOUS 60133 HAS SOUPS 60133 WITH SCORE 60208.345
AT ITER 3759 NEW BEST:: SOT 257105 SOS 75319 HAS SOPS 75319 HAS SOUS 60107 HAS SOUPS 60107 WITH SCORE 60182.319
AT ITER 3781 NEW BEST:: SOT 257233 SOS 75446 HAS SOPS 75446 HAS SOUS 60105 HAS SOUPS 60105 WITH SCORE 60180.446
AT ITER 3800 NEW BEST:: SOT 257228 SOS 75403 HAS SOPS 75403 HAS SOUS 60062 HAS SOUPS 60062 WITH SCORE 60137.403
AT ITER 3843 NEW BEST:: SOT 257221 SOS 75389 HAS SOPS 75389 HAS SOUS 59964 HAS SOUPS 59964 WITH SCORE 60039.389
AT ITER 3864 NEW BEST:: SOT 257201 SOS 75321 HAS SOPS 75321 HAS SOUS 59896 HAS SOUPS 59896 WITH SCORE 59971.321
AT ITER 3873 NEW BEST:: SOT 257201 SOS 74985 HAS SOPS 74985 HAS SOUS 59875 HAS SOUPS 59875 WITH SCORE 59949.985
AT ITER 3893 NEW BEST:: SOT 257080 SOS 74820 HAS SOPS 74820 HAS SOUS 59810 HAS SOUPS 59810 WITH SCORE 59884.82
AT ITER 3955 NEW BEST:: SOT 256864 SOS 74759 HAS SOPS 74759 HAS SOUS 59749 HAS SOUPS 59749 WITH SCORE 59823.759
AT ITER 3963 NEW BEST:: SOT 256862 SOS 74614 HAS SOPS 74614 HAS SOUS 59651 HAS SOUPS 59651 WITH SCORE 59725.614
AT ITER 3965 NEW BEST:: SOT 256850 SOS 74590 HAS SOPS 74590 HAS SOUS 59627 HAS SOUPS 59627 WITH SCORE 59701.59
AT ITER 4037 NEW BEST:: SOT 256859 SOS 74522 HAS SOPS 74522 HAS SOUS 59559 HAS SOUPS 59559 WITH SCORE 59633.522
AT ITER 4051 NEW BEST:: SOT 256859 SOS 74346 HAS SOPS 74346 HAS SOUS 59383 HAS SOUPS 59383 WITH SCORE 59457.346
AT ITER 4066 NEW BEST:: SOT 256908 SOS 74382 HAS SOPS 74382 HAS SOUS 59379 HAS SOUPS 59379 WITH SCORE 59453.382
AT ITER 4092 NEW BEST:: SOT 257013 SOS 74424 HAS SOPS 74424 HAS SOUS 59252 HAS SOUPS 59252 WITH SCORE 59326.424
AT ITER 4108 NEW BEST:: SOT 257120 SOS 74309 HAS SOPS 74309 HAS SOUS 59129 HAS SOUPS 59129 WITH SCORE 59203.309
AT ITER 4110 NEW BEST:: SOT 257101 SOS 74271 HAS SOPS 74271 HAS SOUS 59091 HAS SOUPS 59091 WITH SCORE 59165.271
AT ITER 4151 NEW BEST:: SOT 256996 SOS 74146 HAS SOPS 74146 HAS SOUS 58989 HAS SOUPS 58989 WITH SCORE 59063.146
AT ITER 4171 NEW BEST:: SOT 256991 SOS 74136 HAS SOPS 74136 HAS SOUS 58979 HAS SOUPS 58979 WITH SCORE 59053.136
AT ITER 4185 NEW BEST:: SOT 256907 SOS 74033 HAS SOPS 74033 HAS SOUS 58876 HAS SOUPS 58876 WITH SCORE 58950.033
AT ITER 4196 NEW BEST:: SOT 256877 SOS 74029 HAS SOPS 74029 HAS SOUS 58872 HAS SOUPS 58872 WITH SCORE 58946.029
AT ITER 4200 NEW BEST:: SOT 256797 SOS 73909 HAS SOPS 73909 HAS SOUS 58752 HAS SOUPS 58752 WITH SCORE 58825.909
AT ITER 4205 NEW BEST:: SOT 256823 SOS 73925 HAS SOPS 73925 HAS SOUS 58676 HAS SOUPS 58676 WITH SCORE 58749.925
AT ITER 4217 NEW BEST:: SOT 256845 SOS 73917 HAS SOPS 73917 HAS SOUS 58668 HAS SOUPS 58668 WITH SCORE 58741.917
AT ITER 4235 NEW BEST:: SOT 256845 SOS 73915 HAS SOPS 73915 HAS SOUS 58666 HAS SOUPS 58666 WITH SCORE 58739.915
AT ITER 4263 NEW BEST:: SOT 256819 SOS 73889 HAS SOPS 73889 HAS SOUS 58640 HAS SOUPS 58640 WITH SCORE 58713.889
AT ITER 4286 NEW BEST:: SOT 256823 SOS 73884 HAS SOPS 73884 HAS SOUS 58635 HAS SOUPS 58635 WITH SCORE 58708.884
AT ITER 4352 NEW BEST:: SOT 256807 SOS 73879 HAS SOPS 73879 HAS SOUS 58630 HAS SOUPS 58630 WITH SCORE 58703.879
AT ITER 4364 NEW BEST:: SOT 256806 SOS 73878 HAS SOPS 73878 HAS SOUS 58629 HAS SOUPS 58629 WITH SCORE 58702.878
AT ITER 4366 NEW BEST:: SOT 256804 SOS 73876 HAS SOPS 73876 HAS SOUS 58627 HAS SOUPS 58627 WITH SCORE 58700.876
AT ITER 4374 NEW BEST:: SOT 256767 SOS 73803 HAS SOPS 73803 HAS SOUS 58554 HAS SOUPS 58554 WITH SCORE 58627.803
AT ITER 4380 NEW BEST:: SOT 256767 SOS 73802 HAS SOPS 73802 HAS SOUS 58553 HAS SOUPS 58553 WITH SCORE 58626.802
AT ITER 4382 NEW BEST:: SOT 256721 SOS 73609 HAS SOPS 73609 HAS SOUS 58525 HAS SOUPS 58525 WITH SCORE 58598.609
AT ITER 4384 NEW BEST:: SOT 256696 SOS 73550 HAS SOPS 73550 HAS SOUS 58491 HAS SOUPS 58491 WITH SCORE 58564.55
AT ITER 4392 NEW BEST:: SOT 256672 SOS 73514 HAS SOPS 73514 HAS SOUS 58455 HAS SOUPS 58455 WITH SCORE 58528.514
AT ITER 4443 NEW BEST:: SOT 256679 SOS 73551 HAS SOPS 73551 HAS SOUS 58453 HAS SOUPS 58453 WITH SCORE 58526.551
AT ITER 4490 NEW BEST:: SOT 256670 SOS 73533 HAS SOPS 73533 HAS SOUS 58435 HAS SOUPS 58435 WITH SCORE 58508.533
AT ITER 4543 NEW BEST:: SOT 256654 SOS 73517 HAS SOPS 73517 HAS SOUS 58435 HAS SOUPS 58435 WITH SCORE 58508.517
AT ITER 4554 NEW BEST:: SOT 256654 SOS 73517 HAS SOPS 73517 HAS SOUS 58428 HAS SOUPS 58428 WITH SCORE 58501.517
AT ITER 4561 NEW BEST:: SOT 256651 SOS 73511 HAS SOPS 73511 HAS SOUS 58422 HAS SOUPS 58422 WITH SCORE 58495.511
AT ITER 4565 NEW BEST:: SOT 256643 SOS 73495 HAS SOPS 73495 HAS SOUS 58406 HAS SOUPS 58406 WITH SCORE 58479.495
AT ITER 4594 NEW BEST:: SOT 256643 SOS 73495 HAS SOPS 73495 HAS SOUS 58398 HAS SOUPS 58398 WITH SCORE 58471.495
AT ITER 4618 NEW BEST:: SOT 256643 SOS 73490 HAS SOPS 73490 HAS SOUS 58393 HAS SOUPS 58393 WITH SCORE 58466.49
AT ITER 4643 NEW BEST:: SOT 256624 SOS 73452 HAS SOPS 73452 HAS SOUS 58354 HAS SOUPS 58354 WITH SCORE 58427.452
AT ITER 4703 NEW BEST:: SOT 256576 SOS 73420 HAS SOPS 73420 HAS SOUS 58322 HAS SOUPS 58322 WITH SCORE 58395.42
AT ITER 4711 NEW BEST:: SOT 256616 SOS 73416 HAS SOPS 73416 HAS SOUS 58318 HAS SOUPS 58318 WITH SCORE 58391.416
AT ITER 4728 NEW BEST:: SOT 256497 SOS 73278 HAS SOPS 73278 HAS SOUS 58280 HAS SOUPS 58280 WITH SCORE 58353.278
AT ITER 4755 NEW BEST:: SOT 256497 SOS 73270 HAS SOPS 73270 HAS SOUS 58262 HAS SOUPS 58262 WITH SCORE 58335.27
AT ITER 4760 NEW BEST:: SOT 256503 SOS 73270 HAS SOPS 73270 HAS SOUS 58257 HAS SOUPS 58257 WITH SCORE 58330.27
AT ITER 4761 NEW BEST:: SOT 256458 SOS 73069 HAS SOPS 73069 HAS SOUS 58056 HAS SOUPS 58056 WITH SCORE 58129.069
AT ITER 4762 NEW BEST:: SOT 256467 SOS 73068 HAS SOPS 73068 HAS SOUS 58056 HAS SOUPS 58056 WITH SCORE 58129.068
AT ITER 4765 NEW BEST:: SOT 256467 SOS 72944 HAS SOPS 72944 HAS SOUS 57981 HAS SOUPS 57981 WITH SCORE 58053.944
AT ITER 4787 NEW BEST:: SOT 256433 SOS 72876 HAS SOPS 72876 HAS SOUS 57930 HAS SOUPS 57930 WITH SCORE 58002.876
AT ITER 4802 NEW BEST:: SOT 256433 SOS 72851 HAS SOPS 72851 HAS SOUS 57905 HAS SOUPS 57905 WITH SCORE 57977.851
AT ITER 4825 NEW BEST:: SOT 256433 SOS 72768 HAS SOPS 72768 HAS SOUS 57822 HAS SOUPS 57822 WITH SCORE 57894.768
AT ITER 4860 NEW BEST:: SOT 256427 SOS 72756 HAS SOPS 72756 HAS SOUS 57810 HAS SOUPS 57810 WITH SCORE 57882.756
AT ITER 4868 NEW BEST:: SOT 256416 SOS 72734 HAS SOPS 72734 HAS SOUS 57788 HAS SOUPS 57788 WITH SCORE 57860.734
AT ITER 4875 NEW BEST:: SOT 256238 SOS 72528 HAS SOPS 72528 HAS SOUS 57610 HAS SOUPS 57610 WITH SCORE 57682.528
AT ITER 4888 NEW BEST:: SOT 256258 SOS 72548 HAS SOPS 72548 HAS SOUS 57598 HAS SOUPS 57598 WITH SCORE 57670.548
AT ITER 4907 NEW BEST:: SOT 256237 SOS 72517 HAS SOPS 72517 HAS SOUS 57567 HAS SOUPS 57567 WITH SCORE 57639.517
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-00 (AG( ( (! (! potential( (tk(P167)) <= (tk(P120)) ))) | (AG( potential( ( 3 ) <= (tk(P646)) ))) )))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-01 ( potential( (tk(P708)) <= (tk(P274)) ) & (EF(potential( ( 2 ) <= (tk(P531)) ))) )
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-02 (AG( (AX( (! potential( ( 2 ) <= (tk(P297)) ))))))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-03 (EU( (EG( potential( (tk(P684)) <= (tk(P247)) ))),( ( potential( ( 3 ) <= (tk(P112)) ) | potential( ( 1 ) <= (tk(P134)) ) ) & (! potential( (tk(P579)) <= (tk(P426)) )) ) ))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-04 (EX( ( potential( ( 2 ) <= (tk(P501)) ) | (AG( potential( (tk(P404)) <= (tk(P711)) ))) )))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-05 (AG( (! ( ( potential( ( 3 ) <= (tk(P235)) ) & potential( ( 1 ) <= (tk(P599)) ) ) | potential( ( 3 ) <= (tk(P383)) ) ))))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-06 (EX( (AG( (! potential( ( 2 ) <= (tk(P638)) ))))))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-07 (AG( potential( (tk(P211)) <= (tk(P548)) )))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-08 (EF((! potential( (tk(P695)) <= (tk(P548)) ))))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-09 (EF((AX( ( potential( ( 2 ) <= (tk(P355)) ) & potential( ( 3 ) <= (tk(P639)) ) )))))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-10 (EU( (EG( potential( (tk(P16)) <= (tk(P536)) ))),(! (! potential( ( 2 ) <= (tk(P81)) ))) ))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-11 (! (AG( ( ( potential( (tk(P546)) <= (tk(P260)) ) & potential( (tk(P347)) <= (tk(P353)) ) ) & ( potential( (tk(P239)) <= (tk(P121)) ) | potential( ( 2 ) <= (tk(P613)) ) ) ))))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-12 ( (AG( (! ( potential( (tk(P350)) <= (tk(P14)) ) & potential( ( 1 ) <= (tk(P327)) ) )))) & (! (AG( (! potential( ( 2 ) <= (tk(P278)) ))))) )
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-13 (EF(( (AG( potential( ( 1 ) <= (tk(P107)) ))) & (EX( potential( ( 3 ) <= (tk(P106)) ))) )))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-14 (EF((! ( ( potential( ( 3 ) <= (tk(P596)) ) | potential( (tk(P669)) <= (tk(P303)) ) ) | ( potential( ( 1 ) <= (tk(P640)) ) | potential( ( 3 ) <= (tk(P8)) ) ) ))))
PROPERTY: BusinessProcesses-PT-18-CTLCardinality-15 ( potential( (tk(P477)) <= (tk(P33)) ) & (EF(potential( ( 2 ) <= (tk(P274)) ))) )
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="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-18, 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-158897680200587"
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 [ "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 '
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 ;