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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 316K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 22:45 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.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 148K 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-13-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-13-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869260013

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

GOT IT HERE. BS
Petri model created: 593 places, 536 transitions, 1582 arcs.
AT ITER 0 NEW BEST:: SOT 201828 SOS 77215 HAS SOPS 77215 HAS SOUS 74724 HAS SOUPS 74724 WITH SCORE 74801.215
AT ITER 1 NEW BEST:: SOT 201743 SOS 77130 HAS SOPS 77130 HAS SOUS 74639 HAS SOUPS 74639 WITH SCORE 74716.13
AT ITER 5 NEW BEST:: SOT 201743 SOS 77016 HAS SOPS 77016 HAS SOUS 74525 HAS SOUPS 74525 WITH SCORE 74602.016
AT ITER 6 NEW BEST:: SOT 201743 SOS 76997 HAS SOPS 76997 HAS SOUS 74506 HAS SOUPS 74506 WITH SCORE 74582.997
AT ITER 9 NEW BEST:: SOT 201652 SOS 76944 HAS SOPS 76944 HAS SOUS 74453 HAS SOUPS 74453 WITH SCORE 74529.944
AT ITER 12 NEW BEST:: SOT 201762 SOS 76926 HAS SOPS 76926 HAS SOUS 74423 HAS SOUPS 74423 WITH SCORE 74499.926
AT ITER 15 NEW BEST:: SOT 201762 SOS 76921 HAS SOPS 76921 HAS SOUS 74423 HAS SOUPS 74423 WITH SCORE 74499.921
AT ITER 17 NEW BEST:: SOT 201762 SOS 76861 HAS SOPS 76861 HAS SOUS 74210 HAS SOUPS 74210 WITH SCORE 74286.861
AT ITER 19 NEW BEST:: SOT 201762 SOS 76962 HAS SOPS 76962 HAS SOUS 74208 HAS SOUPS 74208 WITH SCORE 74284.962
AT ITER 20 NEW BEST:: SOT 201762 SOS 76791 HAS SOPS 76791 HAS SOUS 74037 HAS SOUPS 74037 WITH SCORE 74113.791
AT ITER 25 NEW BEST:: SOT 201762 SOS 76750 HAS SOPS 76750 HAS SOUS 73996 HAS SOUPS 73996 WITH SCORE 74072.75
AT ITER 28 NEW BEST:: SOT 201607 SOS 76655 HAS SOPS 76655 HAS SOUS 73901 HAS SOUPS 73901 WITH SCORE 73977.655
AT ITER 30 NEW BEST:: SOT 201495 SOS 76495 HAS SOPS 76495 HAS SOUS 73741 HAS SOUPS 73741 WITH SCORE 73817.495
AT ITER 34 NEW BEST:: SOT 201495 SOS 76485 HAS SOPS 76485 HAS SOUS 73731 HAS SOUPS 73731 WITH SCORE 73807.485
AT ITER 36 NEW BEST:: SOT 201495 SOS 76484 HAS SOPS 76484 HAS SOUS 73730 HAS SOUPS 73730 WITH SCORE 73806.484
AT ITER 40 NEW BEST:: SOT 201495 SOS 76382 HAS SOPS 76382 HAS SOUS 73628 HAS SOUPS 73628 WITH SCORE 73704.382
AT ITER 41 NEW BEST:: SOT 201495 SOS 76351 HAS SOPS 76351 HAS SOUS 73597 HAS SOUPS 73597 WITH SCORE 73673.351
AT ITER 46 NEW BEST:: SOT 201495 SOS 76280 HAS SOPS 76280 HAS SOUS 73547 HAS SOUPS 73547 WITH SCORE 73623.28
AT ITER 50 NEW BEST:: SOT 201495 SOS 76168 HAS SOPS 76168 HAS SOUS 73435 HAS SOUPS 73435 WITH SCORE 73511.168
AT ITER 59 NEW BEST:: SOT 201495 SOS 76009 HAS SOPS 76009 HAS SOUS 73276 HAS SOUPS 73276 WITH SCORE 73352.009
AT ITER 73 NEW BEST:: SOT 201494 SOS 75877 HAS SOPS 75877 HAS SOUS 73163 HAS SOUPS 73163 WITH SCORE 73238.877
AT ITER 81 NEW BEST:: SOT 201493 SOS 75875 HAS SOPS 75875 HAS SOUS 73161 HAS SOUPS 73161 WITH SCORE 73236.875
AT ITER 83 NEW BEST:: SOT 201492 SOS 75873 HAS SOPS 75873 HAS SOUS 73159 HAS SOUPS 73159 WITH SCORE 73234.873
AT ITER 101 NEW BEST:: SOT 201492 SOS 75949 HAS SOPS 75949 HAS SOUS 73083 HAS SOUPS 73083 WITH SCORE 73158.949
AT ITER 105 NEW BEST:: SOT 198651 SOS 74537 HAS SOPS 74537 HAS SOUS 70636 HAS SOUPS 70636 WITH SCORE 70710.537
AT ITER 106 NEW BEST:: SOT 194054 SOS 99145 HAS SOPS 99145 HAS SOUS 67129 HAS SOUPS 67129 WITH SCORE 67228.145
AT ITER 107 NEW BEST:: SOT 190987 SOS 96129 HAS SOPS 96129 HAS SOUS 64180 HAS SOUPS 64180 WITH SCORE 64276.129
AT ITER 135 NEW BEST:: SOT 190873 SOS 95901 HAS SOPS 95901 HAS SOUS 63943 HAS SOUPS 63943 WITH SCORE 64038.901
AT ITER 160 NEW BEST:: SOT 190858 SOS 95871 HAS SOPS 95871 HAS SOUS 63913 HAS SOUPS 63913 WITH SCORE 64008.871
AT ITER 161 NEW BEST:: SOT 190846 SOS 95859 HAS SOPS 95859 HAS SOUS 63901 HAS SOUPS 63901 WITH SCORE 63996.859
AT ITER 164 NEW BEST:: SOT 190752 SOS 95715 HAS SOPS 95715 HAS SOUS 63757 HAS SOUPS 63757 WITH SCORE 63852.715
AT ITER 183 NEW BEST:: SOT 190751 SOS 95561 HAS SOPS 95561 HAS SOUS 63708 HAS SOUPS 63708 WITH SCORE 63803.561
AT ITER 186 NEW BEST:: SOT 190605 SOS 95311 HAS SOPS 95311 HAS SOUS 63591 HAS SOUPS 63591 WITH SCORE 63686.311
AT ITER 189 NEW BEST:: SOT 190516 SOS 95247 HAS SOPS 95247 HAS SOUS 63581 HAS SOUPS 63581 WITH SCORE 63676.247
AT ITER 191 NEW BEST:: SOT 190321 SOS 94856 HAS SOPS 94856 HAS SOUS 63410 HAS SOUPS 63410 WITH SCORE 63504.856
AT ITER 195 NEW BEST:: SOT 190217 SOS 94366 HAS SOPS 94366 HAS SOUS 63167 HAS SOUPS 63167 WITH SCORE 63261.366
AT ITER 217 NEW BEST:: SOT 190158 SOS 94307 HAS SOPS 94307 HAS SOUS 63108 HAS SOUPS 63108 WITH SCORE 63202.307
AT ITER 224 NEW BEST:: SOT 189926 SOS 93959 HAS SOPS 93959 HAS SOUS 62760 HAS SOUPS 62760 WITH SCORE 62853.959
AT ITER 225 NEW BEST:: SOT 189916 SOS 93949 HAS SOPS 93949 HAS SOUS 62750 HAS SOUPS 62750 WITH SCORE 62843.949
AT ITER 233 NEW BEST:: SOT 189746 SOS 93609 HAS SOPS 93609 HAS SOUS 62618 HAS SOUPS 62618 WITH SCORE 62711.609
AT ITER 238 NEW BEST:: SOT 189862 SOS 93535 HAS SOPS 93535 HAS SOUS 62544 HAS SOUPS 62544 WITH SCORE 62637.535
AT ITER 241 NEW BEST:: SOT 189464 SOS 92948 HAS SOPS 92948 HAS SOUS 62166 HAS SOUPS 62166 WITH SCORE 62258.948
AT ITER 244 NEW BEST:: SOT 189382 SOS 92866 HAS SOPS 92866 HAS SOUS 62165 HAS SOUPS 62165 WITH SCORE 62257.866
AT ITER 248 NEW BEST:: SOT 189190 SOS 92677 HAS SOPS 92677 HAS SOUS 62149 HAS SOUPS 62149 WITH SCORE 62241.677
AT ITER 263 NEW BEST:: SOT 189013 SOS 92304 HAS SOPS 92304 HAS SOUS 62016 HAS SOUPS 62016 WITH SCORE 62108.304
AT ITER 265 NEW BEST:: SOT 188700 SOS 91965 HAS SOPS 91965 HAS SOUS 61970 HAS SOUPS 61970 WITH SCORE 62061.965
AT ITER 272 NEW BEST:: SOT 188741 SOS 91810 HAS SOPS 91810 HAS SOUS 61930 HAS SOUPS 61930 WITH SCORE 62021.81
AT ITER 273 NEW BEST:: SOT 188740 SOS 91809 HAS SOPS 91809 HAS SOUS 61929 HAS SOUPS 61929 WITH SCORE 62020.809
AT ITER 274 NEW BEST:: SOT 188878 SOS 92027 HAS SOPS 92027 HAS SOUS 61840 HAS SOUPS 61840 WITH SCORE 61932.027
AT ITER 275 NEW BEST:: SOT 188646 SOS 91514 HAS SOPS 91514 HAS SOUS 61559 HAS SOUPS 61559 WITH SCORE 61650.514
AT ITER 277 NEW BEST:: SOT 185609 SOS 88531 HAS SOPS 88531 HAS SOUS 58577 HAS SOUPS 58577 WITH SCORE 58665.531
AT ITER 280 NEW BEST:: SOT 185551 SOS 88444 HAS SOPS 88444 HAS SOUS 58519 HAS SOUPS 58519 WITH SCORE 58607.444
AT ITER 288 NEW BEST:: SOT 185356 SOS 88257 HAS SOPS 88257 HAS SOUS 58332 HAS SOUPS 58332 WITH SCORE 58420.257
AT ITER 289 NEW BEST:: SOT 185393 SOS 88165 HAS SOPS 88165 HAS SOUS 58330 HAS SOUPS 58330 WITH SCORE 58418.165
AT ITER 292 NEW BEST:: SOT 185255 SOS 87889 HAS SOPS 87889 HAS SOUS 58054 HAS SOUPS 58054 WITH SCORE 58141.889
AT ITER 302 NEW BEST:: SOT 185216 SOS 84483 HAS SOPS 84483 HAS SOUS 57977 HAS SOUPS 57977 WITH SCORE 58061.483
AT ITER 311 NEW BEST:: SOT 184937 SOS 83925 HAS SOPS 83925 HAS SOUS 57773 HAS SOUPS 57773 WITH SCORE 57856.925
AT ITER 312 NEW BEST:: SOT 184478 SOS 83534 HAS SOPS 83534 HAS SOUS 57750 HAS SOUPS 57750 WITH SCORE 57833.534
AT ITER 323 NEW BEST:: SOT 184525 SOS 83404 HAS SOPS 83404 HAS SOUS 57724 HAS SOUPS 57724 WITH SCORE 57807.404
AT ITER 330 NEW BEST:: SOT 184523 SOS 83401 HAS SOPS 83401 HAS SOUS 57721 HAS SOUPS 57721 WITH SCORE 57804.401
AT ITER 334 NEW BEST:: SOT 184408 SOS 83171 HAS SOPS 83171 HAS SOUS 57491 HAS SOUPS 57491 WITH SCORE 57574.171
AT ITER 335 NEW BEST:: SOT 184231 SOS 82817 HAS SOPS 82817 HAS SOUS 57269 HAS SOUPS 57269 WITH SCORE 57351.817
AT ITER 351 NEW BEST:: SOT 184231 SOS 82814 HAS SOPS 82814 HAS SOUS 57266 HAS SOUPS 57266 WITH SCORE 57348.814
AT ITER 352 NEW BEST:: SOT 184191 SOS 82694 HAS SOPS 82694 HAS SOUS 57185 HAS SOUPS 57185 WITH SCORE 57267.694
AT ITER 359 NEW BEST:: SOT 184257 SOS 82760 HAS SOPS 82760 HAS SOUS 57184 HAS SOUPS 57184 WITH SCORE 57266.76
AT ITER 363 NEW BEST:: SOT 184246 SOS 82665 HAS SOPS 82665 HAS SOUS 57089 HAS SOUPS 57089 WITH SCORE 57171.665
AT ITER 365 NEW BEST:: SOT 184246 SOS 82661 HAS SOPS 82661 HAS SOUS 57085 HAS SOUPS 57085 WITH SCORE 57167.661
AT ITER 376 NEW BEST:: SOT 184044 SOS 82390 HAS SOPS 82390 HAS SOUS 56814 HAS SOUPS 56814 WITH SCORE 56896.39
AT ITER 380 NEW BEST:: SOT 184031 SOS 82241 HAS SOPS 82241 HAS SOUS 56801 HAS SOUPS 56801 WITH SCORE 56883.241
AT ITER 381 NEW BEST:: SOT 184030 SOS 82110 HAS SOPS 82110 HAS SOUS 56670 HAS SOUPS 56670 WITH SCORE 56752.11
AT ITER 391 NEW BEST:: SOT 183975 SOS 82058 HAS SOPS 82058 HAS SOUS 56600 HAS SOUPS 56600 WITH SCORE 56682.058
AT ITER 393 NEW BEST:: SOT 183957 SOS 82046 HAS SOPS 82046 HAS SOUS 56588 HAS SOUPS 56588 WITH SCORE 56670.046
AT ITER 398 NEW BEST:: SOT 183917 SOS 82006 HAS SOPS 82006 HAS SOUS 56548 HAS SOUPS 56548 WITH SCORE 56630.006
AT ITER 399 NEW BEST:: SOT 183916 SOS 82005 HAS SOPS 82005 HAS SOUS 56547 HAS SOUPS 56547 WITH SCORE 56629.005
AT ITER 403 NEW BEST:: SOT 183532 SOS 81443 HAS SOPS 81443 HAS SOUS 56341 HAS SOUPS 56341 WITH SCORE 56422.443
AT ITER 409 NEW BEST:: SOT 183880 SOS 81689 HAS SOPS 81689 HAS SOUS 56237 HAS SOUPS 56237 WITH SCORE 56318.689
AT ITER 415 NEW BEST:: SOT 183994 SOS 81534 HAS SOPS 81534 HAS SOUS 56125 HAS SOUPS 56125 WITH SCORE 56206.534
AT ITER 417 NEW BEST:: SOT 183994 SOS 81534 HAS SOPS 81534 HAS SOUS 56112 HAS SOUPS 56112 WITH SCORE 56193.534
AT ITER 418 NEW BEST:: SOT 183914 SOS 81414 HAS SOPS 81414 HAS SOUS 56072 HAS SOUPS 56072 WITH SCORE 56153.414
AT ITER 442 NEW BEST:: SOT 183737 SOS 81274 HAS SOPS 81274 HAS SOUS 56064 HAS SOUPS 56064 WITH SCORE 56145.274
AT ITER 453 NEW BEST:: SOT 183737 SOS 80947 HAS SOPS 80947 HAS SOUS 55929 HAS SOUPS 55929 WITH SCORE 56009.947
AT ITER 464 NEW BEST:: SOT 183562 SOS 80597 HAS SOPS 80597 HAS SOUS 55719 HAS SOUPS 55719 WITH SCORE 55799.597
AT ITER 475 NEW BEST:: SOT 183549 SOS 80560 HAS SOPS 80560 HAS SOUS 55682 HAS SOUPS 55682 WITH SCORE 55762.56
AT ITER 491 NEW BEST:: SOT 183201 SOS 80038 HAS SOPS 80038 HAS SOUS 55334 HAS SOUPS 55334 WITH SCORE 55414.038
AT ITER 496 NEW BEST:: SOT 183226 SOS 80064 HAS SOPS 80064 HAS SOUS 55250 HAS SOUPS 55250 WITH SCORE 55330.064
AT ITER 516 NEW BEST:: SOT 183204 SOS 80143 HAS SOPS 80143 HAS SOUS 55230 HAS SOUPS 55230 WITH SCORE 55310.143
AT ITER 517 NEW BEST:: SOT 183203 SOS 80142 HAS SOPS 80142 HAS SOUS 55229 HAS SOUPS 55229 WITH SCORE 55309.142
AT ITER 521 NEW BEST:: SOT 183180 SOS 79900 HAS SOPS 79900 HAS SOUS 55043 HAS SOUPS 55043 WITH SCORE 55122.9
AT ITER 524 NEW BEST:: SOT 183385 SOS 79947 HAS SOPS 79947 HAS SOUS 54920 HAS SOUPS 54920 WITH SCORE 54999.947
AT ITER 529 NEW BEST:: SOT 183218 SOS 79613 HAS SOPS 79613 HAS SOUS 54651 HAS SOUPS 54651 WITH SCORE 54730.613
AT ITER 537 NEW BEST:: SOT 183217 SOS 79612 HAS SOPS 79612 HAS SOUS 54650 HAS SOUPS 54650 WITH SCORE 54729.612
AT ITER 540 NEW BEST:: SOT 183217 SOS 79612 HAS SOPS 79612 HAS SOUS 54599 HAS SOUPS 54599 WITH SCORE 54678.612
AT ITER 546 NEW BEST:: SOT 183217 SOS 79583 HAS SOPS 79583 HAS SOUS 54570 HAS SOUPS 54570 WITH SCORE 54649.583
AT ITER 550 NEW BEST:: SOT 183020 SOS 78992 HAS SOPS 78992 HAS SOUS 54176 HAS SOUPS 54176 WITH SCORE 54254.992
AT ITER 556 NEW BEST:: SOT 182991 SOS 78963 HAS SOPS 78963 HAS SOUS 54147 HAS SOUPS 54147 WITH SCORE 54225.963
AT ITER 561 NEW BEST:: SOT 182840 SOS 78806 HAS SOPS 78806 HAS SOUS 53993 HAS SOUPS 53993 WITH SCORE 54071.806
AT ITER 565 NEW BEST:: SOT 182823 SOS 78772 HAS SOPS 78772 HAS SOUS 53959 HAS SOUPS 53959 WITH SCORE 54037.772
AT ITER 572 NEW BEST:: SOT 182797 SOS 78759 HAS SOPS 78759 HAS SOUS 53946 HAS SOUPS 53946 WITH SCORE 54024.759
AT ITER 575 NEW BEST:: SOT 182640 SOS 78602 HAS SOPS 78602 HAS SOUS 53789 HAS SOUPS 53789 WITH SCORE 53867.602
AT ITER 576 NEW BEST:: SOT 182636 SOS 78598 HAS SOPS 78598 HAS SOUS 53785 HAS SOUPS 53785 WITH SCORE 53863.598
AT ITER 579 NEW BEST:: SOT 182598 SOS 77981 HAS SOPS 77981 HAS SOUS 53709 HAS SOUPS 53709 WITH SCORE 53786.981
AT ITER 589 NEW BEST:: SOT 182419 SOS 77829 HAS SOPS 77829 HAS SOUS 53557 HAS SOUPS 53557 WITH SCORE 53634.829
AT ITER 590 NEW BEST:: SOT 182419 SOS 77790 HAS SOPS 77790 HAS SOUS 53557 HAS SOUPS 53557 WITH SCORE 53634.79
AT ITER 593 NEW BEST:: SOT 182317 SOS 77586 HAS SOPS 77586 HAS SOUS 53547 HAS SOUPS 53547 WITH SCORE 53624.586
AT ITER 597 NEW BEST:: SOT 182269 SOS 77581 HAS SOPS 77581 HAS SOUS 53542 HAS SOUPS 53542 WITH SCORE 53619.581
AT ITER 608 NEW BEST:: SOT 182265 SOS 77556 HAS SOPS 77556 HAS SOUS 53517 HAS SOUPS 53517 WITH SCORE 53594.556
AT ITER 617 NEW BEST:: SOT 182180 SOS 77386 HAS SOPS 77386 HAS SOUS 53347 HAS SOUPS 53347 WITH SCORE 53424.386
AT ITER 619 NEW BEST:: SOT 182180 SOS 77344 HAS SOPS 77344 HAS SOUS 53305 HAS SOUPS 53305 WITH SCORE 53382.344
AT ITER 629 NEW BEST:: SOT 181989 SOS 76962 HAS SOPS 76962 HAS SOUS 53035 HAS SOUPS 53035 WITH SCORE 53111.962
AT ITER 630 NEW BEST:: SOT 182005 SOS 76954 HAS SOPS 76954 HAS SOUS 53027 HAS SOUPS 53027 WITH SCORE 53103.954
AT ITER 632 NEW BEST:: SOT 182005 SOS 76814 HAS SOPS 76814 HAS SOUS 52887 HAS SOUPS 52887 WITH SCORE 52963.814
AT ITER 644 NEW BEST:: SOT 182062 SOS 76796 HAS SOPS 76796 HAS SOUS 52869 HAS SOUPS 52869 WITH SCORE 52945.796
AT ITER 652 NEW BEST:: SOT 181932 SOS 76536 HAS SOPS 76536 HAS SOUS 52609 HAS SOUPS 52609 WITH SCORE 52685.536
AT ITER 666 NEW BEST:: SOT 181863 SOS 76448 HAS SOPS 76448 HAS SOUS 52521 HAS SOUPS 52521 WITH SCORE 52597.448
AT ITER 678 NEW BEST:: SOT 181862 SOS 76446 HAS SOPS 76446 HAS SOUS 52519 HAS SOUPS 52519 WITH SCORE 52595.446
AT ITER 683 NEW BEST:: SOT 181544 SOS 75989 HAS SOPS 75989 HAS SOUS 52336 HAS SOUPS 52336 WITH SCORE 52411.989
AT ITER 686 NEW BEST:: SOT 181616 SOS 75946 HAS SOPS 75946 HAS SOUS 52293 HAS SOUPS 52293 WITH SCORE 52368.946
AT ITER 689 NEW BEST:: SOT 181616 SOS 75938 HAS SOPS 75938 HAS SOUS 52292 HAS SOUPS 52292 WITH SCORE 52367.938
AT ITER 703 NEW BEST:: SOT 181611 SOS 75900 HAS SOPS 75900 HAS SOUS 52254 HAS SOUPS 52254 WITH SCORE 52329.9
AT ITER 708 NEW BEST:: SOT 181348 SOS 75637 HAS SOPS 75637 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52103.637
AT ITER 713 NEW BEST:: SOT 181073 SOS 75177 HAS SOPS 75177 HAS SOUS 51568 HAS SOUPS 51568 WITH SCORE 51643.177
AT ITER 728 NEW BEST:: SOT 181073 SOS 75177 HAS SOPS 75177 HAS SOUS 51544 HAS SOUPS 51544 WITH SCORE 51619.177
AT ITER 736 NEW BEST:: SOT 181066 SOS 75170 HAS SOPS 75170 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51612.17
AT ITER 740 NEW BEST:: SOT 180917 SOS 74978 HAS SOPS 74978 HAS SOUS 51345 HAS SOUPS 51345 WITH SCORE 51419.978
AT ITER 757 NEW BEST:: SOT 180741 SOS 74626 HAS SOPS 74626 HAS SOUS 50993 HAS SOUPS 50993 WITH SCORE 51067.626
AT ITER 766 NEW BEST:: SOT 180722 SOS 74588 HAS SOPS 74588 HAS SOUS 50955 HAS SOUPS 50955 WITH SCORE 51029.588
AT ITER 778 NEW BEST:: SOT 180719 SOS 74582 HAS SOPS 74582 HAS SOUS 50952 HAS SOUPS 50952 WITH SCORE 51026.582
AT ITER 794 NEW BEST:: SOT 180526 SOS 74336 HAS SOPS 74336 HAS SOUS 50855 HAS SOUPS 50855 WITH SCORE 50929.336
AT ITER 803 NEW BEST:: SOT 180526 SOS 74336 HAS SOPS 74336 HAS SOUS 50812 HAS SOUPS 50812 WITH SCORE 50886.336
AT ITER 819 NEW BEST:: SOT 180548 SOS 74084 HAS SOPS 74084 HAS SOUS 50713 HAS SOUPS 50713 WITH SCORE 50787.084
AT ITER 837 NEW BEST:: SOT 180335 SOS 73871 HAS SOPS 73871 HAS SOUS 50622 HAS SOUPS 50622 WITH SCORE 50695.871
AT ITER 847 NEW BEST:: SOT 180315 SOS 73816 HAS SOPS 73816 HAS SOUS 50567 HAS SOUPS 50567 WITH SCORE 50640.816
AT ITER 860 NEW BEST:: SOT 180313 SOS 73843 HAS SOPS 73843 HAS SOUS 50565 HAS SOUPS 50565 WITH SCORE 50638.843
AT ITER 861 NEW BEST:: SOT 180313 SOS 73736 HAS SOPS 73736 HAS SOUS 50458 HAS SOUPS 50458 WITH SCORE 50531.736
AT ITER 869 NEW BEST:: SOT 180288 SOS 73686 HAS SOPS 73686 HAS SOUS 50408 HAS SOUPS 50408 WITH SCORE 50481.686
AT ITER 874 NEW BEST:: SOT 180288 SOS 73686 HAS SOPS 73686 HAS SOUS 50382 HAS SOUPS 50382 WITH SCORE 50455.686
AT ITER 875 NEW BEST:: SOT 180180 SOS 73556 HAS SOPS 73556 HAS SOUS 50331 HAS SOUPS 50331 WITH SCORE 50404.556
AT ITER 879 NEW BEST:: SOT 180038 SOS 73272 HAS SOPS 73272 HAS SOUS 50188 HAS SOUPS 50188 WITH SCORE 50261.272
AT ITER 899 NEW BEST:: SOT 180038 SOS 73271 HAS SOPS 73271 HAS SOUS 50187 HAS SOUPS 50187 WITH SCORE 50260.271
AT ITER 903 NEW BEST:: SOT 180038 SOS 73294 HAS SOPS 73294 HAS SOUS 50174 HAS SOUPS 50174 WITH SCORE 50247.294
AT ITER 916 NEW BEST:: SOT 179990 SOS 73198 HAS SOPS 73198 HAS SOUS 50078 HAS SOUPS 50078 WITH SCORE 50151.198
AT ITER 929 NEW BEST:: SOT 179980 SOS 73178 HAS SOPS 73178 HAS SOUS 50058 HAS SOUPS 50058 WITH SCORE 50131.178
AT ITER 935 NEW BEST:: SOT 179978 SOS 73176 HAS SOPS 73176 HAS SOUS 50056 HAS SOUPS 50056 WITH SCORE 50129.176
AT ITER 938 NEW BEST:: SOT 179918 SOS 73056 HAS SOPS 73056 HAS SOUS 49996 HAS SOUPS 49996 WITH SCORE 50069.056
AT ITER 940 NEW BEST:: SOT 179866 SOS 73003 HAS SOPS 73003 HAS SOUS 49995 HAS SOUPS 49995 WITH SCORE 50068.003
AT ITER 945 NEW BEST:: SOT 179936 SOS 72997 HAS SOPS 72997 HAS SOUS 49989 HAS SOUPS 49989 WITH SCORE 50061.997
AT ITER 947 NEW BEST:: SOT 179868 SOS 72860 HAS SOPS 72860 HAS SOUS 49920 HAS SOUPS 49920 WITH SCORE 49992.86
AT ITER 959 NEW BEST:: SOT 179819 SOS 72811 HAS SOPS 72811 HAS SOUS 49871 HAS SOUPS 49871 WITH SCORE 49943.811
AT ITER 971 NEW BEST:: SOT 179630 SOS 72578 HAS SOPS 72578 HAS SOUS 49783 HAS SOUPS 49783 WITH SCORE 49855.578
AT ITER 973 NEW BEST:: SOT 179757 SOS 72515 HAS SOPS 72515 HAS SOUS 49720 HAS SOUPS 49720 WITH SCORE 49792.515
AT ITER 977 NEW BEST:: SOT 179580 SOS 72161 HAS SOPS 72161 HAS SOUS 49366 HAS SOUPS 49366 WITH SCORE 49438.161
AT ITER 982 NEW BEST:: SOT 179485 SOS 71980 HAS SOPS 71980 HAS SOUS 49185 HAS SOUPS 49185 WITH SCORE 49256.98
AT ITER 983 NEW BEST:: SOT 179483 SOS 71948 HAS SOPS 71948 HAS SOUS 49181 HAS SOUPS 49181 WITH SCORE 49252.948
AT ITER 985 NEW BEST:: SOT 179483 SOS 71948 HAS SOPS 71948 HAS SOUS 49149 HAS SOUPS 49149 WITH SCORE 49220.948
AT ITER 996 NEW BEST:: SOT 179467 SOS 71924 HAS SOPS 71924 HAS SOUS 49125 HAS SOUPS 49125 WITH SCORE 49196.924
AT ITER 1003 NEW BEST:: SOT 179435 SOS 71860 HAS SOPS 71860 HAS SOUS 49061 HAS SOUPS 49061 WITH SCORE 49132.86
AT ITER 1016 NEW BEST:: SOT 179463 SOS 71888 HAS SOPS 71888 HAS SOUS 49034 HAS SOUPS 49034 WITH SCORE 49105.888
AT ITER 1020 NEW BEST:: SOT 179459 SOS 71873 HAS SOPS 71873 HAS SOUS 49019 HAS SOUPS 49019 WITH SCORE 49090.873
AT ITER 1022 NEW BEST:: SOT 179443 SOS 71857 HAS SOPS 71857 HAS SOUS 49019 HAS SOUPS 49019 WITH SCORE 49090.857
AT ITER 1037 NEW BEST:: SOT 179390 SOS 71837 HAS SOPS 71837 HAS SOUS 48946 HAS SOUPS 48946 WITH SCORE 49017.837
AT ITER 1038 NEW BEST:: SOT 179375 SOS 71820 HAS SOPS 71820 HAS SOUS 48929 HAS SOUPS 48929 WITH SCORE 49000.82
AT ITER 1043 NEW BEST:: SOT 179358 SOS 71786 HAS SOPS 71786 HAS SOUS 48895 HAS SOUPS 48895 WITH SCORE 48966.786
AT ITER 1049 NEW BEST:: SOT 179583 SOS 71971 HAS SOPS 71971 HAS SOUS 48815 HAS SOUPS 48815 WITH SCORE 48886.971
AT ITER 1060 NEW BEST:: SOT 179491 SOS 71961 HAS SOPS 71961 HAS SOUS 48805 HAS SOUPS 48805 WITH SCORE 48876.961
AT ITER 1069 NEW BEST:: SOT 178977 SOS 72026 HAS SOPS 72026 HAS SOUS 48370 HAS SOUPS 48370 WITH SCORE 48442.026
AT ITER 1080 NEW BEST:: SOT 179014 SOS 72031 HAS SOPS 72031 HAS SOUS 48308 HAS SOUPS 48308 WITH SCORE 48380.031
AT ITER 1082 NEW BEST:: SOT 179014 SOS 72031 HAS SOPS 72031 HAS SOUS 48230 HAS SOUPS 48230 WITH SCORE 48302.031
AT ITER 1083 NEW BEST:: SOT 179005 SOS 72022 HAS SOPS 72022 HAS SOUS 48221 HAS SOUPS 48221 WITH SCORE 48293.022
AT ITER 1093 NEW BEST:: SOT 178943 SOS 71898 HAS SOPS 71898 HAS SOUS 48097 HAS SOUPS 48097 WITH SCORE 48168.898
AT ITER 1097 NEW BEST:: SOT 178943 SOS 71897 HAS SOPS 71897 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48167.897
AT ITER 1100 NEW BEST:: SOT 178910 SOS 71891 HAS SOPS 71891 HAS SOUS 48090 HAS SOUPS 48090 WITH SCORE 48161.891
AT ITER 1105 NEW BEST:: SOT 178898 SOS 72065 HAS SOPS 72065 HAS SOUS 48066 HAS SOUPS 48066 WITH SCORE 48138.065
AT ITER 1121 NEW BEST:: SOT 178770 SOS 71912 HAS SOPS 71912 HAS SOUS 48016 HAS SOUPS 48016 WITH SCORE 48087.912
AT ITER 1123 NEW BEST:: SOT 178696 SOS 71667 HAS SOPS 71667 HAS SOUS 47933 HAS SOUPS 47933 WITH SCORE 48004.667
AT ITER 1128 NEW BEST:: SOT 178633 SOS 71604 HAS SOPS 71604 HAS SOUS 47870 HAS SOUPS 47870 WITH SCORE 47941.604
AT ITER 1144 NEW BEST:: SOT 178550 SOS 71563 HAS SOPS 71563 HAS SOUS 47829 HAS SOUPS 47829 WITH SCORE 47900.563
AT ITER 1155 NEW BEST:: SOT 178550 SOS 71535 HAS SOPS 71535 HAS SOUS 47801 HAS SOUPS 47801 WITH SCORE 47872.535
AT ITER 1158 NEW BEST:: SOT 178541 SOS 71457 HAS SOPS 71457 HAS SOUS 47786 HAS SOUPS 47786 WITH SCORE 47857.457
AT ITER 1162 NEW BEST:: SOT 178506 SOS 71413 HAS SOPS 71413 HAS SOUS 47776 HAS SOUPS 47776 WITH SCORE 47847.413
AT ITER 1208 NEW BEST:: SOT 178516 SOS 71405 HAS SOPS 71405 HAS SOUS 47762 HAS SOUPS 47762 WITH SCORE 47833.405
AT ITER 1209 NEW BEST:: SOT 178446 SOS 71300 HAS SOPS 71300 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47763.3
AT ITER 1211 NEW BEST:: SOT 178441 SOS 71318 HAS SOPS 71318 HAS SOUS 47672 HAS SOUPS 47672 WITH SCORE 47743.318
AT ITER 1214 NEW BEST:: SOT 178301 SOS 71118 HAS SOPS 71118 HAS SOUS 47472 HAS SOUPS 47472 WITH SCORE 47543.118
AT ITER 1217 NEW BEST:: SOT 178289 SOS 71094 HAS SOPS 71094 HAS SOUS 47448 HAS SOUPS 47448 WITH SCORE 47519.094
AT ITER 1227 NEW BEST:: SOT 178276 SOS 71081 HAS SOPS 71081 HAS SOUS 47435 HAS SOUPS 47435 WITH SCORE 47506.081
AT ITER 1229 NEW BEST:: SOT 178276 SOS 71038 HAS SOPS 71038 HAS SOUS 47435 HAS SOUPS 47435 WITH SCORE 47506.038
AT ITER 1232 NEW BEST:: SOT 178276 SOS 70906 HAS SOPS 70906 HAS SOUS 47435 HAS SOUPS 47435 WITH SCORE 47505.906
AT ITER 1240 NEW BEST:: SOT 178249 SOS 70870 HAS SOPS 70870 HAS SOUS 47399 HAS SOUPS 47399 WITH SCORE 47469.87
AT ITER 1244 NEW BEST:: SOT 178225 SOS 70846 HAS SOPS 70846 HAS SOUS 47387 HAS SOUPS 47387 WITH SCORE 47457.846
AT ITER 1263 NEW BEST:: SOT 178187 SOS 70826 HAS SOPS 70826 HAS SOUS 47367 HAS SOUPS 47367 WITH SCORE 47437.826
AT ITER 1274 NEW BEST:: SOT 178045 SOS 70677 HAS SOPS 70677 HAS SOUS 47353 HAS SOUPS 47353 WITH SCORE 47423.677
AT ITER 1278 NEW BEST:: SOT 178015 SOS 70632 HAS SOPS 70632 HAS SOUS 47308 HAS SOUPS 47308 WITH SCORE 47378.632
AT ITER 1280 NEW BEST:: SOT 177965 SOS 70560 HAS SOPS 70560 HAS SOUS 47236 HAS SOUPS 47236 WITH SCORE 47306.56
AT ITER 1303 NEW BEST:: SOT 177955 SOS 70550 HAS SOPS 70550 HAS SOUS 47236 HAS SOUPS 47236 WITH SCORE 47306.55
AT ITER 1320 NEW BEST:: SOT 177633 SOS 70228 HAS SOPS 70228 HAS SOUS 47177 HAS SOUPS 47177 WITH SCORE 47247.228
AT ITER 1343 NEW BEST:: SOT 177600 SOS 70195 HAS SOPS 70195 HAS SOUS 47177 HAS SOUPS 47177 WITH SCORE 47247.195
AT ITER 1349 NEW BEST:: SOT 177625 SOS 70132 HAS SOPS 70132 HAS SOUS 47036 HAS SOUPS 47036 WITH SCORE 47106.132
AT ITER 1387 NEW BEST:: SOT 177623 SOS 70130 HAS SOPS 70130 HAS SOUS 47034 HAS SOUPS 47034 WITH SCORE 47104.13
AT ITER 1432 NEW BEST:: SOT 177608 SOS 70113 HAS SOPS 70113 HAS SOUS 47030 HAS SOUPS 47030 WITH SCORE 47100.113
AT ITER 1449 NEW BEST:: SOT 177608 SOS 70112 HAS SOPS 70112 HAS SOUS 47029 HAS SOUPS 47029 WITH SCORE 47099.112
AT ITER 1460 NEW BEST:: SOT 177564 SOS 70878 HAS SOPS 70878 HAS SOUS 47001 HAS SOUPS 47001 WITH SCORE 47071.878
AT ITER 1462 NEW BEST:: SOT 177564 SOS 70872 HAS SOPS 70872 HAS SOUS 47001 HAS SOUPS 47001 WITH SCORE 47071.872
AT ITER 1464 NEW BEST:: SOT 177538 SOS 70820 HAS SOPS 70820 HAS SOUS 46949 HAS SOUPS 46949 WITH SCORE 47019.82
AT ITER 1466 NEW BEST:: SOT 177632 SOS 70882 HAS SOPS 70882 HAS SOUS 46932 HAS SOUPS 46932 WITH SCORE 47002.882
AT ITER 1473 NEW BEST:: SOT 177631 SOS 70880 HAS SOPS 70880 HAS SOUS 46930 HAS SOUPS 46930 WITH SCORE 47000.88
AT ITER 1476 NEW BEST:: SOT 177566 SOS 70815 HAS SOPS 70815 HAS SOUS 46865 HAS SOUPS 46865 WITH SCORE 46935.815
AT ITER 1490 NEW BEST:: SOT 177546 SOS 70705 HAS SOPS 70705 HAS SOUS 46755 HAS SOUPS 46755 WITH SCORE 46825.705
AT ITER 1492 NEW BEST:: SOT 177514 SOS 70650 HAS SOPS 70650 HAS SOUS 46696 HAS SOUPS 46696 WITH SCORE 46766.65
AT ITER 1502 NEW BEST:: SOT 177486 SOS 70658 HAS SOPS 70658 HAS SOUS 46677 HAS SOUPS 46677 WITH SCORE 46747.658
AT ITER 1503 NEW BEST:: SOT 177485 SOS 70657 HAS SOPS 70657 HAS SOUS 46677 HAS SOUPS 46677 WITH SCORE 46747.657
AT ITER 1507 NEW BEST:: SOT 177481 SOS 70653 HAS SOPS 70653 HAS SOUS 46638 HAS SOUPS 46638 WITH SCORE 46708.653
AT ITER 1525 NEW BEST:: SOT 177429 SOS 70598 HAS SOPS 70598 HAS SOUS 46609 HAS SOUPS 46609 WITH SCORE 46679.598
AT ITER 1528 NEW BEST:: SOT 177427 SOS 70579 HAS SOPS 70579 HAS SOUS 46601 HAS SOUPS 46601 WITH SCORE 46671.579
AT ITER 1532 NEW BEST:: SOT 177425 SOS 70549 HAS SOPS 70549 HAS SOUS 46598 HAS SOUPS 46598 WITH SCORE 46668.549
AT ITER 1534 NEW BEST:: SOT 177402 SOS 70503 HAS SOPS 70503 HAS SOUS 46552 HAS SOUPS 46552 WITH SCORE 46622.503
AT ITER 1557 NEW BEST:: SOT 177391 SOS 70553 HAS SOPS 70553 HAS SOUS 46525 HAS SOUPS 46525 WITH SCORE 46595.553
AT ITER 1559 NEW BEST:: SOT 177378 SOS 70552 HAS SOPS 70552 HAS SOUS 46524 HAS SOUPS 46524 WITH SCORE 46594.552
AT ITER 1560 NEW BEST:: SOT 177287 SOS 70461 HAS SOPS 70461 HAS SOUS 46485 HAS SOUPS 46485 WITH SCORE 46555.461
AT ITER 1561 NEW BEST:: SOT 177027 SOS 70054 HAS SOPS 70054 HAS SOUS 46078 HAS SOUPS 46078 WITH SCORE 46148.054
AT ITER 1562 NEW BEST:: SOT 177006 SOS 70038 HAS SOPS 70038 HAS SOUS 46062 HAS SOUPS 46062 WITH SCORE 46132.038
AT ITER 1569 NEW BEST:: SOT 177006 SOS 70037 HAS SOPS 70037 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46131.037
AT ITER 1579 NEW BEST:: SOT 176884 SOS 69894 HAS SOPS 69894 HAS SOUS 46019 HAS SOUPS 46019 WITH SCORE 46088.894
AT ITER 1604 NEW BEST:: SOT 176789 SOS 69618 HAS SOPS 69618 HAS SOUS 45743 HAS SOUPS 45743 WITH SCORE 45812.618
AT ITER 1609 NEW BEST:: SOT 176739 SOS 69543 HAS SOPS 69543 HAS SOUS 45697 HAS SOUPS 45697 WITH SCORE 45766.543
AT ITER 1623 NEW BEST:: SOT 176738 SOS 69541 HAS SOPS 69541 HAS SOUS 45695 HAS SOUPS 45695 WITH SCORE 45764.541
AT ITER 1648 NEW BEST:: SOT 176743 SOS 69539 HAS SOPS 69539 HAS SOUS 45681 HAS SOUPS 45681 WITH SCORE 45750.539
AT ITER 1675 NEW BEST:: SOT 176743 SOS 69519 HAS SOPS 69519 HAS SOUS 45677 HAS SOUPS 45677 WITH SCORE 45746.519
AT ITER 1687 NEW BEST:: SOT 176728 SOS 69476 HAS SOPS 69476 HAS SOUS 45662 HAS SOUPS 45662 WITH SCORE 45731.476
AT ITER 1688 NEW BEST:: SOT 176592 SOS 69340 HAS SOPS 69340 HAS SOUS 45662 HAS SOUPS 45662 WITH SCORE 45731.34
AT ITER 1692 NEW BEST:: SOT 176592 SOS 69328 HAS SOPS 69328 HAS SOUS 45650 HAS SOUPS 45650 WITH SCORE 45719.328
AT ITER 1700 NEW BEST:: SOT 176555 SOS 69335 HAS SOPS 69335 HAS SOUS 45586 HAS SOUPS 45586 WITH SCORE 45655.335
AT ITER 1719 NEW BEST:: SOT 176497 SOS 69304 HAS SOPS 69304 HAS SOUS 45563 HAS SOUPS 45563 WITH SCORE 45632.304
AT ITER 1720 NEW BEST:: SOT 176350 SOS 69053 HAS SOPS 69053 HAS SOUS 45478 HAS SOUPS 45478 WITH SCORE 45547.053
AT ITER 1723 NEW BEST:: SOT 176372 SOS 68927 HAS SOPS 68927 HAS SOUS 45453 HAS SOUPS 45453 WITH SCORE 45521.927
AT ITER 1724 NEW BEST:: SOT 176359 SOS 68888 HAS SOPS 68888 HAS SOUS 45414 HAS SOUPS 45414 WITH SCORE 45482.888
AT ITER 1733 NEW BEST:: SOT 176250 SOS 68779 HAS SOPS 68779 HAS SOUS 45414 HAS SOUPS 45414 WITH SCORE 45482.779
AT ITER 1736 NEW BEST:: SOT 176250 SOS 68770 HAS SOPS 68770 HAS SOUS 45405 HAS SOUPS 45405 WITH SCORE 45473.77
AT ITER 1744 NEW BEST:: SOT 176254 SOS 68766 HAS SOPS 68766 HAS SOUS 45388 HAS SOUPS 45388 WITH SCORE 45456.766
AT ITER 1768 NEW BEST:: SOT 176263 SOS 68775 HAS SOPS 68775 HAS SOUS 45335 HAS SOUPS 45335 WITH SCORE 45403.775
AT ITER 1769 NEW BEST:: SOT 176263 SOS 68775 HAS SOPS 68775 HAS SOUS 45323 HAS SOUPS 45323 WITH SCORE 45391.775
AT ITER 1780 NEW BEST:: SOT 176258 SOS 68765 HAS SOPS 68765 HAS SOUS 45313 HAS SOUPS 45313 WITH SCORE 45381.765
AT ITER 1794 NEW BEST:: SOT 176221 SOS 68728 HAS SOPS 68728 HAS SOUS 45313 HAS SOUPS 45313 WITH SCORE 45381.728
AT ITER 1839 NEW BEST:: SOT 176221 SOS 68692 HAS SOPS 68692 HAS SOUS 45235 HAS SOUPS 45235 WITH SCORE 45303.692
AT ITER 1850 NEW BEST:: SOT 176167 SOS 68638 HAS SOPS 68638 HAS SOUS 45181 HAS SOUPS 45181 WITH SCORE 45249.638
AT ITER 1853 NEW BEST:: SOT 176144 SOS 68615 HAS SOPS 68615 HAS SOUS 45158 HAS SOUPS 45158 WITH SCORE 45226.615
AT ITER 1863 NEW BEST:: SOT 176076 SOS 68479 HAS SOPS 68479 HAS SOUS 45121 HAS SOUPS 45121 WITH SCORE 45189.479
AT ITER 1873 NEW BEST:: SOT 176042 SOS 68396 HAS SOPS 68396 HAS SOUS 45038 HAS SOUPS 45038 WITH SCORE 45106.396
AT ITER 1896 NEW BEST:: SOT 175980 SOS 68334 HAS SOPS 68334 HAS SOUS 44976 HAS SOUPS 44976 WITH SCORE 45044.334
AT ITER 1915 NEW BEST:: SOT 175980 SOS 68309 HAS SOPS 68309 HAS SOUS 44951 HAS SOUPS 44951 WITH SCORE 45019.309
AT ITER 1925 NEW BEST:: SOT 176026 SOS 68307 HAS SOPS 68307 HAS SOUS 44877 HAS SOUPS 44877 WITH SCORE 44945.307
AT ITER 1939 NEW BEST:: SOT 176013 SOS 68281 HAS SOPS 68281 HAS SOUS 44851 HAS SOUPS 44851 WITH SCORE 44919.281
AT ITER 1976 NEW BEST:: SOT 176027 SOS 68253 HAS SOPS 68253 HAS SOUS 44767 HAS SOUPS 44767 WITH SCORE 44835.253
AT ITER 1983 NEW BEST:: SOT 176049 SOS 68275 HAS SOPS 68275 HAS SOUS 44697 HAS SOUPS 44697 WITH SCORE 44765.275
AT ITER 1987 NEW BEST:: SOT 176029 SOS 68250 HAS SOPS 68250 HAS SOUS 44671 HAS SOUPS 44671 WITH SCORE 44739.25
AT ITER 2003 NEW BEST:: SOT 175966 SOS 68173 HAS SOPS 68173 HAS SOUS 44626 HAS SOUPS 44626 WITH SCORE 44694.173
AT ITER 2027 NEW BEST:: SOT 175966 SOS 68050 HAS SOPS 68050 HAS SOUS 44503 HAS SOUPS 44503 WITH SCORE 44571.05
AT ITER 2043 NEW BEST:: SOT 175809 SOS 67949 HAS SOPS 67949 HAS SOUS 44402 HAS SOUPS 44402 WITH SCORE 44469.949
AT ITER 2051 NEW BEST:: SOT 175481 SOS 67457 HAS SOPS 67457 HAS SOUS 43910 HAS SOUPS 43910 WITH SCORE 43977.457
AT ITER 2060 NEW BEST:: SOT 175484 SOS 66572 HAS SOPS 66572 HAS SOUS 43858 HAS SOUPS 43858 WITH SCORE 43924.572
AT ITER 2065 NEW BEST:: SOT 175484 SOS 66521 HAS SOPS 66521 HAS SOUS 43807 HAS SOUPS 43807 WITH SCORE 43873.521
AT ITER 2081 NEW BEST:: SOT 175476 SOS 66513 HAS SOPS 66513 HAS SOUS 43799 HAS SOUPS 43799 WITH SCORE 43865.513
AT ITER 2085 NEW BEST:: SOT 175458 SOS 66477 HAS SOPS 66477 HAS SOUS 43763 HAS SOUPS 43763 WITH SCORE 43829.477
AT ITER 2088 NEW BEST:: SOT 175419 SOS 66438 HAS SOPS 66438 HAS SOUS 43762 HAS SOUPS 43762 WITH SCORE 43828.438
AT ITER 2105 NEW BEST:: SOT 175375 SOS 66381 HAS SOPS 66381 HAS SOUS 43705 HAS SOUPS 43705 WITH SCORE 43771.381
AT ITER 2114 NEW BEST:: SOT 175208 SOS 66161 HAS SOPS 66161 HAS SOUS 43619 HAS SOUPS 43619 WITH SCORE 43685.161
AT ITER 2118 NEW BEST:: SOT 175153 SOS 66081 HAS SOPS 66081 HAS SOUS 43539 HAS SOUPS 43539 WITH SCORE 43605.081
AT ITER 2134 NEW BEST:: SOT 175145 SOS 66057 HAS SOPS 66057 HAS SOUS 43523 HAS SOUPS 43523 WITH SCORE 43589.057
AT ITER 2147 NEW BEST:: SOT 175097 SOS 65873 HAS SOPS 65873 HAS SOUS 43339 HAS SOUPS 43339 WITH SCORE 43404.873
AT ITER 2169 NEW BEST:: SOT 175028 SOS 65809 HAS SOPS 65809 HAS SOUS 43326 HAS SOUPS 43326 WITH SCORE 43391.809
AT ITER 2171 NEW BEST:: SOT 175007 SOS 65736 HAS SOPS 65736 HAS SOUS 43253 HAS SOUPS 43253 WITH SCORE 43318.736
AT ITER 2193 NEW BEST:: SOT 174966 SOS 65654 HAS SOPS 65654 HAS SOUS 43219 HAS SOUPS 43219 WITH SCORE 43284.654
AT ITER 2196 NEW BEST:: SOT 174896 SOS 65539 HAS SOPS 65539 HAS SOUS 43208 HAS SOUPS 43208 WITH SCORE 43273.539
AT ITER 2199 NEW BEST:: SOT 174863 SOS 65456 HAS SOPS 65456 HAS SOUS 43141 HAS SOUPS 43141 WITH SCORE 43206.456
AT ITER 2201 NEW BEST:: SOT 174890 SOS 65394 HAS SOPS 65394 HAS SOUS 43079 HAS SOUPS 43079 WITH SCORE 43144.394
AT ITER 2209 NEW BEST:: SOT 174890 SOS 65394 HAS SOPS 65394 HAS SOUS 43063 HAS SOUPS 43063 WITH SCORE 43128.394
AT ITER 2216 NEW BEST:: SOT 175012 SOS 65392 HAS SOPS 65392 HAS SOUS 42937 HAS SOUPS 42937 WITH SCORE 43002.392
AT ITER 2230 NEW BEST:: SOT 175008 SOS 65388 HAS SOPS 65388 HAS SOUS 42933 HAS SOUPS 42933 WITH SCORE 42998.388
AT ITER 2250 NEW BEST:: SOT 175001 SOS 65374 HAS SOPS 65374 HAS SOUS 42919 HAS SOUPS 42919 WITH SCORE 42984.374
AT ITER 2259 NEW BEST:: SOT 175001 SOS 65274 HAS SOPS 65274 HAS SOUS 42819 HAS SOUPS 42819 WITH SCORE 42884.274
AT ITER 2283 NEW BEST:: SOT 174984 SOS 65231 HAS SOPS 65231 HAS SOUS 42776 HAS SOUPS 42776 WITH SCORE 42841.231
AT ITER 2302 NEW BEST:: SOT 174882 SOS 65022 HAS SOPS 65022 HAS SOUS 42758 HAS SOUPS 42758 WITH SCORE 42823.022
AT ITER 2303 NEW BEST:: SOT 174800 SOS 64858 HAS SOPS 64858 HAS SOUS 42594 HAS SOUPS 42594 WITH SCORE 42658.858
AT ITER 2308 NEW BEST:: SOT 174839 SOS 64859 HAS SOPS 64859 HAS SOUS 42555 HAS SOUPS 42555 WITH SCORE 42619.859
AT ITER 2313 NEW BEST:: SOT 174815 SOS 64811 HAS SOPS 64811 HAS SOUS 42507 HAS SOUPS 42507 WITH SCORE 42571.811
AT ITER 2360 NEW BEST:: SOT 174785 SOS 64756 HAS SOPS 64756 HAS SOUS 42477 HAS SOUPS 42477 WITH SCORE 42541.756
AT ITER 2386 NEW BEST:: SOT 174717 SOS 64688 HAS SOPS 64688 HAS SOUS 42409 HAS SOUPS 42409 WITH SCORE 42473.688
AT ITER 2388 NEW BEST:: SOT 174717 SOS 64545 HAS SOPS 64545 HAS SOUS 42355 HAS SOUPS 42355 WITH SCORE 42419.545
AT ITER 2397 NEW BEST:: SOT 174717 SOS 64542 HAS SOPS 64542 HAS SOUS 42352 HAS SOUPS 42352 WITH SCORE 42416.542
AT ITER 2405 NEW BEST:: SOT 174717 SOS 64487 HAS SOPS 64487 HAS SOUS 42297 HAS SOUPS 42297 WITH SCORE 42361.487
AT ITER 2431 NEW BEST:: SOT 174738 SOS 64443 HAS SOPS 64443 HAS SOUS 42253 HAS SOUPS 42253 WITH SCORE 42317.443
AT ITER 2446 NEW BEST:: SOT 174759 SOS 64426 HAS SOPS 64426 HAS SOUS 42219 HAS SOUPS 42219 WITH SCORE 42283.426
AT ITER 2459 NEW BEST:: SOT 174745 SOS 64412 HAS SOPS 64412 HAS SOUS 42219 HAS SOUPS 42219 WITH SCORE 42283.412
AT ITER 2502 NEW BEST:: SOT 174823 SOS 64487 HAS SOPS 64487 HAS SOUS 42213 HAS SOUPS 42213 WITH SCORE 42277.487
AT ITER 2509 NEW BEST:: SOT 174798 SOS 64412 HAS SOPS 64412 HAS SOUS 42138 HAS SOUPS 42138 WITH SCORE 42202.412
AT ITER 2533 NEW BEST:: SOT 174718 SOS 64252 HAS SOPS 64252 HAS SOUS 42014 HAS SOUPS 42014 WITH SCORE 42078.252
AT ITER 2535 NEW BEST:: SOT 174650 SOS 64150 HAS SOPS 64150 HAS SOUS 41912 HAS SOUPS 41912 WITH SCORE 41976.15
AT ITER 2536 NEW BEST:: SOT 174634 SOS 64133 HAS SOPS 64133 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41959.133
AT ITER 2569 NEW BEST:: SOT 174590 SOS 64045 HAS SOPS 64045 HAS SOUS 41807 HAS SOUPS 41807 WITH SCORE 41871.045
AT ITER 2571 NEW BEST:: SOT 174559 SOS 63958 HAS SOPS 63958 HAS SOUS 41720 HAS SOUPS 41720 WITH SCORE 41783.958
AT ITER 2572 NEW BEST:: SOT 174559 SOS 63952 HAS SOPS 63952 HAS SOUS 41717 HAS SOUPS 41717 WITH SCORE 41780.952
AT ITER 2573 NEW BEST:: SOT 174566 SOS 63950 HAS SOPS 63950 HAS SOUS 41715 HAS SOUPS 41715 WITH SCORE 41778.95
AT ITER 2605 NEW BEST:: SOT 174568 SOS 63954 HAS SOPS 63954 HAS SOUS 41694 HAS SOUPS 41694 WITH SCORE 41757.954
AT ITER 2612 NEW BEST:: SOT 174573 SOS 63954 HAS SOPS 63954 HAS SOUS 41689 HAS SOUPS 41689 WITH SCORE 41752.954
AT ITER 2647 NEW BEST:: SOT 174527 SOS 63889 HAS SOPS 63889 HAS SOUS 41622 HAS SOUPS 41622 WITH SCORE 41685.889
AT ITER 2661 NEW BEST:: SOT 174497 SOS 63859 HAS SOPS 63859 HAS SOUS 41592 HAS SOUPS 41592 WITH SCORE 41655.859
AT ITER 2669 NEW BEST:: SOT 174464 SOS 63816 HAS SOPS 63816 HAS SOUS 41550 HAS SOUPS 41550 WITH SCORE 41613.816
AT ITER 2686 NEW BEST:: SOT 174464 SOS 63812 HAS SOPS 63812 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41609.812
AT ITER 2703 NEW BEST:: SOT 174524 SOS 63775 HAS SOPS 63775 HAS SOUS 41377 HAS SOUPS 41377 WITH SCORE 41440.775
AT ITER 2725 NEW BEST:: SOT 174524 SOS 63753 HAS SOPS 63753 HAS SOUS 41377 HAS SOUPS 41377 WITH SCORE 41440.753
AT ITER 2751 NEW BEST:: SOT 174511 SOS 63718 HAS SOPS 63718 HAS SOUS 41345 HAS SOUPS 41345 WITH SCORE 41408.718
AT ITER 2774 NEW BEST:: SOT 174443 SOS 63635 HAS SOPS 63635 HAS SOUS 41262 HAS SOUPS 41262 WITH SCORE 41325.635
AT ITER 2778 NEW BEST:: SOT 174434 SOS 63635 HAS SOPS 63635 HAS SOUS 41260 HAS SOUPS 41260 WITH SCORE 41323.635
AT ITER 2782 NEW BEST:: SOT 174434 SOS 63633 HAS SOPS 63633 HAS SOUS 41258 HAS SOUPS 41258 WITH SCORE 41321.633
AT ITER 2819 NEW BEST:: SOT 174407 SOS 63606 HAS SOPS 63606 HAS SOUS 41258 HAS SOUPS 41258 WITH SCORE 41321.606
AT ITER 2830 NEW BEST:: SOT 174391 SOS 63644 HAS SOPS 63644 HAS SOUS 41233 HAS SOUPS 41233 WITH SCORE 41296.644
AT ITER 2839 NEW BEST:: SOT 174380 SOS 63633 HAS SOPS 63633 HAS SOUS 41188 HAS SOUPS 41188 WITH SCORE 41251.633
AT ITER 2892 NEW BEST:: SOT 174371 SOS 63624 HAS SOPS 63624 HAS SOUS 41188 HAS SOUPS 41188 WITH SCORE 41251.624
AT ITER 2897 NEW BEST:: SOT 174369 SOS 63581 HAS SOPS 63581 HAS SOUS 41145 HAS SOUPS 41145 WITH SCORE 41208.581
AT ITER 2915 NEW BEST:: SOT 174380 SOS 63514 HAS SOPS 63514 HAS SOUS 41078 HAS SOUPS 41078 WITH SCORE 41141.514
AT ITER 2916 NEW BEST:: SOT 174372 SOS 63498 HAS SOPS 63498 HAS SOUS 41061 HAS SOUPS 41061 WITH SCORE 41124.498
AT ITER 2920 NEW BEST:: SOT 174303 SOS 63515 HAS SOPS 63515 HAS SOUS 40961 HAS SOUPS 40961 WITH SCORE 41024.515
AT ITER 2963 NEW BEST:: SOT 174303 SOS 63519 HAS SOPS 63519 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41021.519
AT ITER 2977 NEW BEST:: SOT 174303 SOS 63482 HAS SOPS 63482 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41021.482
AT ITER 2986 NEW BEST:: SOT 174319 SOS 63452 HAS SOPS 63452 HAS SOUS 40928 HAS SOUPS 40928 WITH SCORE 40991.452
AT ITER 2991 NEW BEST:: SOT 174352 SOS 63435 HAS SOPS 63435 HAS SOUS 40828 HAS SOUPS 40828 WITH SCORE 40891.435
AT ITER 2993 NEW BEST:: SOT 174341 SOS 63413 HAS SOPS 63413 HAS SOUS 40817 HAS SOUPS 40817 WITH SCORE 40880.413
AT ITER 3001 NEW BEST:: SOT 174331 SOS 63406 HAS SOPS 63406 HAS SOUS 40810 HAS SOUPS 40810 WITH SCORE 40873.406
AT ITER 3027 NEW BEST:: SOT 174333 SOS 63408 HAS SOPS 63408 HAS SOUS 40804 HAS SOUPS 40804 WITH SCORE 40867.408
AT ITER 3041 NEW BEST:: SOT 174270 SOS 63282 HAS SOPS 63282 HAS SOUS 40781 HAS SOUPS 40781 WITH SCORE 40844.282
AT ITER 3204 NEW BEST:: SOT 174270 SOS 63243 HAS SOPS 63243 HAS SOUS 40781 HAS SOUPS 40781 WITH SCORE 40844.243
AT ITER 3240 NEW BEST:: SOT 174225 SOS 63198 HAS SOPS 63198 HAS SOUS 40781 HAS SOUPS 40781 WITH SCORE 40844.198
AT ITER 3253 NEW BEST:: SOT 174214 SOS 63723 HAS SOPS 63723 HAS SOUS 40763 HAS SOUPS 40763 WITH SCORE 40826.723
AT ITER 3263 NEW BEST:: SOT 174201 SOS 63687 HAS SOPS 63687 HAS SOUS 40737 HAS SOUPS 40737 WITH SCORE 40800.687
AT ITER 3270 NEW BEST:: SOT 174095 SOS 63596 HAS SOPS 63596 HAS SOUS 40730 HAS SOUPS 40730 WITH SCORE 40793.596
AT ITER 3288 NEW BEST:: SOT 174095 SOS 63591 HAS SOPS 63591 HAS SOUS 40730 HAS SOUPS 40730 WITH SCORE 40793.591
AT ITER 3314 NEW BEST:: SOT 174095 SOS 63552 HAS SOPS 63552 HAS SOUS 40652 HAS SOUPS 40652 WITH SCORE 40715.552
AT ITER 3351 NEW BEST:: SOT 174094 SOS 63550 HAS SOPS 63550 HAS SOUS 40650 HAS SOUPS 40650 WITH SCORE 40713.55
AT ITER 3355 NEW BEST:: SOT 174090 SOS 63546 HAS SOPS 63546 HAS SOUS 40646 HAS SOUPS 40646 WITH SCORE 40709.546
AT ITER 3360 NEW BEST:: SOT 174057 SOS 63392 HAS SOPS 63392 HAS SOUS 40558 HAS SOUPS 40558 WITH SCORE 40621.392
AT ITER 3386 NEW BEST:: SOT 174030 SOS 63365 HAS SOPS 63365 HAS SOUS 40531 HAS SOUPS 40531 WITH SCORE 40594.365
AT ITER 3445 NEW BEST:: SOT 173991 SOS 63287 HAS SOPS 63287 HAS SOUS 40524 HAS SOUPS 40524 WITH SCORE 40587.287
AT ITER 3462 NEW BEST:: SOT 173951 SOS 63207 HAS SOPS 63207 HAS SOUS 40464 HAS SOUPS 40464 WITH SCORE 40527.207
AT ITER 3473 NEW BEST:: SOT 173911 SOS 63167 HAS SOPS 63167 HAS SOUS 40464 HAS SOUPS 40464 WITH SCORE 40527.167
AT ITER 3482 NEW BEST:: SOT 173870 SOS 63011 HAS SOPS 63011 HAS SOUS 40406 HAS SOUPS 40406 WITH SCORE 40469.011
AT ITER 3494 NEW BEST:: SOT 173818 SOS 62791 HAS SOPS 62791 HAS SOUS 40302 HAS SOUPS 40302 WITH SCORE 40364.791
AT ITER 3507 NEW BEST:: SOT 173812 SOS 62779 HAS SOPS 62779 HAS SOUS 40296 HAS SOUPS 40296 WITH SCORE 40358.779
AT ITER 3510 NEW BEST:: SOT 173810 SOS 62760 HAS SOPS 62760 HAS SOUS 40277 HAS SOUPS 40277 WITH SCORE 40339.76
AT ITER 3540 NEW BEST:: SOT 173792 SOS 62742 HAS SOPS 62742 HAS SOUS 40277 HAS SOUPS 40277 WITH SCORE 40339.742
AT ITER 3546 NEW BEST:: SOT 173787 SOS 62741 HAS SOPS 62741 HAS SOUS 40276 HAS SOUPS 40276 WITH SCORE 40338.741
AT ITER 3548 NEW BEST:: SOT 173705 SOS 62636 HAS SOPS 62636 HAS SOUS 40276 HAS SOUPS 40276 WITH SCORE 40338.636
AT ITER 3566 NEW BEST:: SOT 173659 SOS 62620 HAS SOPS 62620 HAS SOUS 40260 HAS SOUPS 40260 WITH SCORE 40322.62
AT ITER 3568 NEW BEST:: SOT 173659 SOS 62615 HAS SOPS 62615 HAS SOUS 40250 HAS SOUPS 40250 WITH SCORE 40312.615
AT ITER 3570 NEW BEST:: SOT 173642 SOS 62598 HAS SOPS 62598 HAS SOUS 40233 HAS SOUPS 40233 WITH SCORE 40295.598
AT ITER 3572 NEW BEST:: SOT 173650 SOS 62614 HAS SOPS 62614 HAS SOUS 40213 HAS SOUPS 40213 WITH SCORE 40275.614
AT ITER 3585 NEW BEST:: SOT 173628 SOS 62467 HAS SOPS 62467 HAS SOUS 40066 HAS SOUPS 40066 WITH SCORE 40128.467
AT ITER 3593 NEW BEST:: SOT 173662 SOS 62493 HAS SOPS 62493 HAS SOUS 40050 HAS SOUPS 40050 WITH SCORE 40112.493
AT ITER 3634 NEW BEST:: SOT 173662 SOS 62473 HAS SOPS 62473 HAS SOUS 40050 HAS SOUPS 40050 WITH SCORE 40112.473
AT ITER 3636 NEW BEST:: SOT 173759 SOS 62574 HAS SOPS 62574 HAS SOUS 40036 HAS SOUPS 40036 WITH SCORE 40098.574
AT ITER 3665 NEW BEST:: SOT 173715 SOS 62569 HAS SOPS 62569 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40093.569
AT ITER 3671 NEW BEST:: SOT 173649 SOS 62503 HAS SOPS 62503 HAS SOUS 39965 HAS SOUPS 39965 WITH SCORE 40027.503
AT ITER 3718 NEW BEST:: SOT 173764 SOS 62537 HAS SOPS 62537 HAS SOUS 39901 HAS SOUPS 39901 WITH SCORE 39963.537
AT ITER 3721 NEW BEST:: SOT 173793 SOS 62436 HAS SOPS 62436 HAS SOUS 39826 HAS SOUPS 39826 WITH SCORE 39888.436
AT ITER 3723 NEW BEST:: SOT 173815 SOS 62431 HAS SOPS 62431 HAS SOUS 39821 HAS SOUPS 39821 WITH SCORE 39883.431
AT ITER 3732 NEW BEST:: SOT 173815 SOS 62391 HAS SOPS 62391 HAS SOUS 39781 HAS SOUPS 39781 WITH SCORE 39843.391
AT ITER 3742 NEW BEST:: SOT 174103 SOS 62562 HAS SOPS 62562 HAS SOUS 39772 HAS SOUPS 39772 WITH SCORE 39834.562
AT ITER 3757 NEW BEST:: SOT 174103 SOS 62538 HAS SOPS 62538 HAS SOUS 39748 HAS SOUPS 39748 WITH SCORE 39810.538
AT ITER 3778 NEW BEST:: SOT 174041 SOS 62476 HAS SOPS 62476 HAS SOUS 39686 HAS SOUPS 39686 WITH SCORE 39748.476
AT ITER 3783 NEW BEST:: SOT 174041 SOS 62442 HAS SOPS 62442 HAS SOUS 39657 HAS SOUPS 39657 WITH SCORE 39719.442
AT ITER 3795 NEW BEST:: SOT 174034 SOS 62413 HAS SOPS 62413 HAS SOUS 39628 HAS SOUPS 39628 WITH SCORE 39690.413
AT ITER 3800 NEW BEST:: SOT 174027 SOS 62399 HAS SOPS 62399 HAS SOUS 39614 HAS SOUPS 39614 WITH SCORE 39676.399
AT ITER 3827 NEW BEST:: SOT 174042 SOS 62405 HAS SOPS 62405 HAS SOUS 39572 HAS SOUPS 39572 WITH SCORE 39634.405
AT ITER 3838 NEW BEST:: SOT 174030 SOS 62389 HAS SOPS 62389 HAS SOUS 39557 HAS SOUPS 39557 WITH SCORE 39619.389
AT ITER 3844 NEW BEST:: SOT 174022 SOS 62381 HAS SOPS 62381 HAS SOUS 39553 HAS SOUPS 39553 WITH SCORE 39615.381
AT ITER 3862 NEW BEST:: SOT 173989 SOS 62300 HAS SOPS 62300 HAS SOUS 39472 HAS SOUPS 39472 WITH SCORE 39534.3
AT ITER 3890 NEW BEST:: SOT 173989 SOS 62291 HAS SOPS 62291 HAS SOUS 39463 HAS SOUPS 39463 WITH SCORE 39525.291
AT ITER 3953 NEW BEST:: SOT 173989 SOS 63205 HAS SOPS 63205 HAS SOUS 39437 HAS SOUPS 39437 WITH SCORE 39500.205
AT ITER 3958 NEW BEST:: SOT 173989 SOS 63170 HAS SOPS 63170 HAS SOUS 39385 HAS SOUPS 39385 WITH SCORE 39448.17
AT ITER 3973 NEW BEST:: SOT 173985 SOS 63182 HAS SOPS 63182 HAS SOUS 39381 HAS SOUPS 39381 WITH SCORE 39444.182
AT ITER 3993 NEW BEST:: SOT 173981 SOS 63172 HAS SOPS 63172 HAS SOUS 39371 HAS SOUPS 39371 WITH SCORE 39434.172
AT ITER 4026 NEW BEST:: SOT 174002 SOS 63137 HAS SOPS 63137 HAS SOUS 39336 HAS SOUPS 39336 WITH SCORE 39399.137
AT ITER 4030 NEW BEST:: SOT 173991 SOS 63136 HAS SOPS 63136 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39398.136
AT ITER 4060 NEW BEST:: SOT 173988 SOS 63134 HAS SOPS 63134 HAS SOUS 39326 HAS SOUPS 39326 WITH SCORE 39389.134
AT ITER 4064 NEW BEST:: SOT 173893 SOS 63039 HAS SOPS 63039 HAS SOUS 39231 HAS SOUPS 39231 WITH SCORE 39294.039
AT ITER 4079 NEW BEST:: SOT 173893 SOS 63011 HAS SOPS 63011 HAS SOUS 39203 HAS SOUPS 39203 WITH SCORE 39266.011
AT ITER 4089 NEW BEST:: SOT 173863 SOS 62938 HAS SOPS 62938 HAS SOUS 39130 HAS SOUPS 39130 WITH SCORE 39192.938
AT ITER 4117 NEW BEST:: SOT 173852 SOS 62927 HAS SOPS 62927 HAS SOUS 39119 HAS SOUPS 39119 WITH SCORE 39181.927
AT ITER 4131 NEW BEST:: SOT 173746 SOS 62737 HAS SOPS 62737 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39075.737
AT ITER 4180 NEW BEST:: SOT 173746 SOS 62733 HAS SOPS 62733 HAS SOUS 39009 HAS SOUPS 39009 WITH SCORE 39071.733
AT ITER 4231 NEW BEST:: SOT 173680 SOS 62601 HAS SOPS 62601 HAS SOUS 38901 HAS SOUPS 38901 WITH SCORE 38963.601
AT ITER 4236 NEW BEST:: SOT 173673 SOS 62587 HAS SOPS 62587 HAS SOUS 38887 HAS SOUPS 38887 WITH SCORE 38949.587
AT ITER 4264 NEW BEST:: SOT 173669 SOS 62564 HAS SOPS 62564 HAS SOUS 38878 HAS SOUPS 38878 WITH SCORE 38940.564
AT ITER 4266 NEW BEST:: SOT 173671 SOS 62568 HAS SOPS 62568 HAS SOUS 38837 HAS SOUPS 38837 WITH SCORE 38899.568
AT ITER 4276 NEW BEST:: SOT 173671 SOS 62548 HAS SOPS 62548 HAS SOUS 38817 HAS SOUPS 38817 WITH SCORE 38879.548
AT ITER 4336 NEW BEST:: SOT 173671 SOS 62418 HAS SOPS 62418 HAS SOUS 38687 HAS SOUPS 38687 WITH SCORE 38749.418
AT ITER 4373 NEW BEST:: SOT 173661 SOS 62408 HAS SOPS 62408 HAS SOUS 38660 HAS SOUPS 38660 WITH SCORE 38722.408
AT ITER 4441 NEW BEST:: SOT 173661 SOS 62408 HAS SOPS 62408 HAS SOUS 38659 HAS SOUPS 38659 WITH SCORE 38721.408
AT ITER 4452 NEW BEST:: SOT 173779 SOS 62280 HAS SOPS 62280 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38697.28
AT ITER 4473 NEW BEST:: SOT 173777 SOS 62279 HAS SOPS 62279 HAS SOUS 38634 HAS SOUPS 38634 WITH SCORE 38696.279
AT ITER 4476 NEW BEST:: SOT 173751 SOS 62253 HAS SOPS 62253 HAS SOUS 38608 HAS SOUPS 38608 WITH SCORE 38670.253
AT ITER 4480 NEW BEST:: SOT 173731 SOS 62316 HAS SOPS 62316 HAS SOUS 38571 HAS SOUPS 38571 WITH SCORE 38633.316
AT ITER 4499 NEW BEST:: SOT 173721 SOS 62306 HAS SOPS 62306 HAS SOUS 38451 HAS SOUPS 38451 WITH SCORE 38513.306
AT ITER 4512 NEW BEST:: SOT 173725 SOS 62314 HAS SOPS 62314 HAS SOUS 38444 HAS SOUPS 38444 WITH SCORE 38506.314
AT ITER 4519 NEW BEST:: SOT 173725 SOS 62306 HAS SOPS 62306 HAS SOUS 38436 HAS SOUPS 38436 WITH SCORE 38498.306
AT ITER 4523 NEW BEST:: SOT 173555 SOS 62133 HAS SOPS 62133 HAS SOUS 38430 HAS SOUPS 38430 WITH SCORE 38492.133
AT ITER 4528 NEW BEST:: SOT 173444 SOS 61949 HAS SOPS 61949 HAS SOUS 38357 HAS SOUPS 38357 WITH SCORE 38418.949
AT ITER 4548 NEW BEST:: SOT 173448 SOS 61934 HAS SOPS 61934 HAS SOUS 38342 HAS SOUPS 38342 WITH SCORE 38403.934
AT ITER 4549 NEW BEST:: SOT 173447 SOS 61933 HAS SOPS 61933 HAS SOUS 38341 HAS SOUPS 38341 WITH SCORE 38402.933
AT ITER 4569 NEW BEST:: SOT 173417 SOS 61901 HAS SOPS 61901 HAS SOUS 38309 HAS SOUPS 38309 WITH SCORE 38370.901
AT ITER 4622 NEW BEST:: SOT 173405 SOS 61877 HAS SOPS 61877 HAS SOUS 38293 HAS SOUPS 38293 WITH SCORE 38354.877
AT ITER 4625 NEW BEST:: SOT 173386 SOS 61861 HAS SOPS 61861 HAS SOUS 38277 HAS SOUPS 38277 WITH SCORE 38338.861
AT ITER 4648 NEW BEST:: SOT 173386 SOS 61861 HAS SOPS 61861 HAS SOUS 38256 HAS SOUPS 38256 WITH SCORE 38317.861
AT ITER 4653 NEW BEST:: SOT 173313 SOS 61770 HAS SOPS 61770 HAS SOUS 38220 HAS SOUPS 38220 WITH SCORE 38281.77
AT ITER 4660 NEW BEST:: SOT 173338 SOS 61643 HAS SOPS 61643 HAS SOUS 38097 HAS SOUPS 38097 WITH SCORE 38158.643
AT ITER 4693 NEW BEST:: SOT 173336 SOS 61641 HAS SOPS 61641 HAS SOUS 38095 HAS SOUPS 38095 WITH SCORE 38156.641
AT ITER 4697 NEW BEST:: SOT 173336 SOS 61640 HAS SOPS 61640 HAS SOUS 38094 HAS SOUPS 38094 WITH SCORE 38155.64
AT ITER 4739 NEW BEST:: SOT 173333 SOS 61637 HAS SOPS 61637 HAS SOUS 38091 HAS SOUPS 38091 WITH SCORE 38152.637
AT ITER 4779 NEW BEST:: SOT 173274 SOS 61576 HAS SOPS 61576 HAS SOUS 38030 HAS SOUPS 38030 WITH SCORE 38091.576
AT ITER 4819 NEW BEST:: SOT 173273 SOS 61574 HAS SOPS 61574 HAS SOUS 38028 HAS SOUPS 38028 WITH SCORE 38089.574
AT ITER 4823 NEW BEST:: SOT 173272 SOS 61572 HAS SOPS 61572 HAS SOUS 38026 HAS SOUPS 38026 WITH SCORE 38087.572
AT ITER 4833 NEW BEST:: SOT 173269 SOS 61556 HAS SOPS 61556 HAS SOUS 38010 HAS SOUPS 38010 WITH SCORE 38071.556
AT ITER 4834 NEW BEST:: SOT 173259 SOS 61536 HAS SOPS 61536 HAS SOUS 37997 HAS SOUPS 37997 WITH SCORE 38058.536
AT ITER 4841 NEW BEST:: SOT 173249 SOS 61510 HAS SOPS 61510 HAS SOUS 37971 HAS SOUPS 37971 WITH SCORE 38032.51
AT ITER 4909 NEW BEST:: SOT 173249 SOS 61503 HAS SOPS 61503 HAS SOUS 37964 HAS SOUPS 37964 WITH SCORE 38025.503
AT ITER 4941 NEW BEST:: SOT 173214 SOS 61528 HAS SOPS 61528 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 38005.528
AT ITER 4958 NEW BEST:: SOT 173196 SOS 61492 HAS SOPS 61492 HAS SOUS 37908 HAS SOUPS 37908 WITH SCORE 37969.492
AT ITER 4959 NEW BEST:: SOT 173288 SOS 61519 HAS SOPS 61519 HAS SOUS 37837 HAS SOUPS 37837 WITH SCORE 37898.519
AT ITER 4967 NEW BEST:: SOT 173288 SOS 61519 HAS SOPS 61519 HAS SOUS 37799 HAS SOUPS 37799 WITH SCORE 37860.519
AT ITER 4975 NEW BEST:: SOT 173282 SOS 61513 HAS SOPS 61513 HAS SOUS 37793 HAS SOUPS 37793 WITH SCORE 37854.513
AT ITER 4990 NEW BEST:: SOT 173352 SOS 61440 HAS SOPS 61440 HAS SOUS 37720 HAS SOUPS 37720 WITH SCORE 37781.44
AT ITER 4999 NEW BEST:: SOT 173352 SOS 61402 HAS SOPS 61402 HAS SOUS 37682 HAS SOUPS 37682 WITH SCORE 37743.402
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-13-CTLFireability-00 (EX( (EF( ((potential((tk(P93)>=1) & (tk(P434)>=1))))))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-01 (EF( (AU( ((potential((tk(P278)>=1)))) , ( ((potential((tk(P391)>=1) & (tk(P170)>=1) & (tk(P535)>=1)))) & ((potential((tk(P533)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-02 (AG( (EF( ( ( ((potential((tk(P572)>=1)))) | ((potential((tk(P230)>=1)))) ) | (! ((potential((tk(P521)>=1))))) )))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-03 ( ((potential((tk(P10)>=1)))) | (EX( (EF( ( ((potential((tk(P59)>=1)))) | ((potential((tk(P88)>=1)))) ))))) )
PROPERTY: BusinessProcesses-PT-13-CTLFireability-04 ( (AU( (! ( ((potential((tk(P305)>=1) & (tk(P204)>=1) & (tk(P559)>=1)))) | ((potential((tk(P159)>=1)))) )) , (EF( ((potential((tk(P269)>=1)))))) )) | (AG( ((potential((tk(P62)>=1)))))) )
PROPERTY: BusinessProcesses-PT-13-CTLFireability-05 (EF( (! (AG( (! ((potential((tk(P259)>=1))))))))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-06 (EF( ((potential((tk(P386)>=1) & (tk(P186)>=1) & (tk(P532)>=1))))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-07 ( (EF( ((potential((tk(P370)>=1) & (tk(P104)>=1) & (tk(P559)>=1)))))) | ( (EG( ( (! ((potential((tk(P194)>=1))))) & ((potential((tk(P386)>=1) & (tk(P177)>=1) & (tk(P576)>=1)))) ))) & ( (! ( ( ((potential((tk(P502)>=1)))) | ((potential((tk(P113)>=1)))) ) | ( ((potential((tk(P64)>=1)))) | ((potential((tk(P127)>=1)))) ) )) | (AX( (! ((potential((tk(P191)>=1))))))) ) ) )
PROPERTY: BusinessProcesses-PT-13-CTLFireability-08 (! (AF( ( ( ( ((potential((tk(P412)>=1)))) | ((potential((tk(P254)>=1)))) ) & ( ((potential((tk(P499)>=1)))) | ((potential((tk(P378)>=1)))) ) ) | (EF( ((potential((tk(P373)>=1)))))) ))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-09 (EF( (AU( (! ((potential((tk(P312)>=1))))) , ( ((potential((tk(P386)>=1) & (tk(P177)>=1) & (tk(P532)>=1)))) | ((potential((tk(P96)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-10 (EF( ( (! (! ( ((potential((tk(P435)>=1)))) & ((potential((tk(P174)>=1) & (tk(P539)>=1)))) ))) & (EG( ( ((potential((tk(P127)>=1)))) | ((potential((tk(P88)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-11 ( (EF( ((potential((tk(P149)>=1)))))) | (! (EX( ( (! ((potential((tk(P391)>=1) & (tk(P189)>=1) & (tk(P579)>=1))))) | ((potential((tk(P20)>=1)))) )))) )
PROPERTY: BusinessProcesses-PT-13-CTLFireability-12 (EU( (EF( ((potential((tk(P323)>=1)))))) , (! (EF( ((potential((tk(P254)>=1))))))) ))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-13 (! (EF( (EG( ( ((potential((tk(P453)>=1)))) & ((potential((tk(P290)>=1) & (tk(P35)>=1) & (tk(P559)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-14 (AX( (EF( ((potential((tk(P502)>=1))))))))
PROPERTY: BusinessProcesses-PT-13-CTLFireability-15 ( (EG( (! ((potential((tk(P5)>=1))))))) & (AF( ( (EF( ((potential((tk(P86)>=1)))))) | (! (! ((potential((tk(P140)>=1)))))) ))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-13"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-13, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680100548"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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