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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:44 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.5K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.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 141K 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-11-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-11-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589019825958

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 11
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: 567 places, 508 transitions, 1512 arcs.
AT ITER 0 NEW BEST:: SOT 183845 SOS 71447 HAS SOPS 71447 HAS SOUS 69467 HAS SOUPS 69467 WITH SCORE 69538.447
AT ITER 6 NEW BEST:: SOT 183824 SOS 71384 HAS SOPS 71384 HAS SOUS 69404 HAS SOUPS 69404 WITH SCORE 69475.384
AT ITER 12 NEW BEST:: SOT 183825 SOS 71261 HAS SOPS 71261 HAS SOUS 69281 HAS SOUPS 69281 WITH SCORE 69352.261
AT ITER 18 NEW BEST:: SOT 181530 SOS 69119 HAS SOPS 69119 HAS SOUS 67139 HAS SOUPS 67139 WITH SCORE 67208.119
AT ITER 19 NEW BEST:: SOT 181508 SOS 69119 HAS SOPS 69119 HAS SOUS 67135 HAS SOUPS 67135 WITH SCORE 67204.119
AT ITER 37 NEW BEST:: SOT 181470 SOS 69097 HAS SOPS 69097 HAS SOUS 67113 HAS SOUPS 67113 WITH SCORE 67182.097
AT ITER 46 NEW BEST:: SOT 181470 SOS 69011 HAS SOPS 69011 HAS SOUS 67027 HAS SOUPS 67027 WITH SCORE 67096.011
AT ITER 53 NEW BEST:: SOT 181469 SOS 69009 HAS SOPS 69009 HAS SOUS 67025 HAS SOUPS 67025 WITH SCORE 67094.009
AT ITER 61 NEW BEST:: SOT 181292 SOS 68825 HAS SOPS 68825 HAS SOUS 66841 HAS SOUPS 66841 WITH SCORE 66909.825
AT ITER 65 NEW BEST:: SOT 181323 SOS 68805 HAS SOPS 68805 HAS SOUS 66821 HAS SOUPS 66821 WITH SCORE 66889.805
AT ITER 69 NEW BEST:: SOT 181189 SOS 68656 HAS SOPS 68656 HAS SOUS 66750 HAS SOUPS 66750 WITH SCORE 66818.656
AT ITER 73 NEW BEST:: SOT 181145 SOS 68612 HAS SOPS 68612 HAS SOUS 66706 HAS SOUPS 66706 WITH SCORE 66774.612
AT ITER 76 NEW BEST:: SOT 180971 SOS 68371 HAS SOPS 68371 HAS SOUS 66465 HAS SOUPS 66465 WITH SCORE 66533.371
AT ITER 88 NEW BEST:: SOT 180969 SOS 68367 HAS SOPS 68367 HAS SOUS 66461 HAS SOUPS 66461 WITH SCORE 66529.367
AT ITER 89 NEW BEST:: SOT 180969 SOS 68335 HAS SOPS 68335 HAS SOUS 66429 HAS SOUPS 66429 WITH SCORE 66497.335
AT ITER 118 NEW BEST:: SOT 180924 SOS 68287 HAS SOPS 68287 HAS SOUS 66381 HAS SOUPS 66381 WITH SCORE 66449.287
AT ITER 129 NEW BEST:: SOT 180883 SOS 68246 HAS SOPS 68246 HAS SOUS 66340 HAS SOUPS 66340 WITH SCORE 66408.246
AT ITER 158 NEW BEST:: SOT 180882 SOS 68244 HAS SOPS 68244 HAS SOUS 66338 HAS SOUPS 66338 WITH SCORE 66406.244
AT ITER 177 NEW BEST:: SOT 180833 SOS 68146 HAS SOPS 68146 HAS SOUS 66240 HAS SOUPS 66240 WITH SCORE 66308.146
AT ITER 203 NEW BEST:: SOT 180832 SOS 68144 HAS SOPS 68144 HAS SOUS 66238 HAS SOUPS 66238 WITH SCORE 66306.144
AT ITER 206 NEW BEST:: SOT 180974 SOS 68285 HAS SOPS 68285 HAS SOUS 66184 HAS SOUPS 66184 WITH SCORE 66252.285
AT ITER 235 NEW BEST:: SOT 180921 SOS 68232 HAS SOPS 68232 HAS SOUS 66127 HAS SOUPS 66127 WITH SCORE 66195.232
AT ITER 240 NEW BEST:: SOT 180919 SOS 68291 HAS SOPS 68291 HAS SOUS 66101 HAS SOUPS 66101 WITH SCORE 66169.291
AT ITER 248 NEW BEST:: SOT 180915 SOS 68287 HAS SOPS 68287 HAS SOUS 66097 HAS SOUPS 66097 WITH SCORE 66165.287
AT ITER 252 NEW BEST:: SOT 180915 SOS 68199 HAS SOPS 68199 HAS SOUS 66009 HAS SOUPS 66009 WITH SCORE 66077.199
AT ITER 263 NEW BEST:: SOT 180887 SOS 68171 HAS SOPS 68171 HAS SOUS 65981 HAS SOUPS 65981 WITH SCORE 66049.171
AT ITER 275 NEW BEST:: SOT 180849 SOS 68171 HAS SOPS 68171 HAS SOUS 65977 HAS SOUPS 65977 WITH SCORE 66045.171
AT ITER 277 NEW BEST:: SOT 180792 SOS 68072 HAS SOPS 68072 HAS SOUS 65878 HAS SOUPS 65878 WITH SCORE 65946.072
AT ITER 282 NEW BEST:: SOT 180764 SOS 68044 HAS SOPS 68044 HAS SOUS 65850 HAS SOUPS 65850 WITH SCORE 65918.044
AT ITER 283 NEW BEST:: SOT 180763 SOS 68042 HAS SOPS 68042 HAS SOUS 65848 HAS SOUPS 65848 WITH SCORE 65916.042
AT ITER 297 NEW BEST:: SOT 180706 SOS 67871 HAS SOPS 67871 HAS SOUS 65677 HAS SOUPS 65677 WITH SCORE 65744.871
AT ITER 304 NEW BEST:: SOT 180705 SOS 67729 HAS SOPS 67729 HAS SOUS 65535 HAS SOUPS 65535 WITH SCORE 65602.729
AT ITER 312 NEW BEST:: SOT 180679 SOS 67677 HAS SOPS 67677 HAS SOUS 65480 HAS SOUPS 65480 WITH SCORE 65547.677
AT ITER 314 NEW BEST:: SOT 180633 SOS 67651 HAS SOPS 67651 HAS SOUS 65454 HAS SOUPS 65454 WITH SCORE 65521.651
AT ITER 316 NEW BEST:: SOT 180633 SOS 67565 HAS SOPS 67565 HAS SOUS 65368 HAS SOUPS 65368 WITH SCORE 65435.565
AT ITER 317 NEW BEST:: SOT 180633 SOS 67565 HAS SOPS 67565 HAS SOUS 65317 HAS SOUPS 65317 WITH SCORE 65384.565
AT ITER 342 NEW BEST:: SOT 180532 SOS 67505 HAS SOPS 67505 HAS SOUS 65257 HAS SOUPS 65257 WITH SCORE 65324.505
AT ITER 347 NEW BEST:: SOT 180549 SOS 67408 HAS SOPS 67408 HAS SOUS 65160 HAS SOUPS 65160 WITH SCORE 65227.408
AT ITER 354 NEW BEST:: SOT 180548 SOS 67308 HAS SOPS 67308 HAS SOUS 65060 HAS SOUPS 65060 WITH SCORE 65127.308
AT ITER 357 NEW BEST:: SOT 180310 SOS 67103 HAS SOPS 67103 HAS SOUS 64855 HAS SOUPS 64855 WITH SCORE 64922.103
AT ITER 360 NEW BEST:: SOT 180273 SOS 67050 HAS SOPS 67050 HAS SOUS 64802 HAS SOUPS 64802 WITH SCORE 64869.05
AT ITER 369 NEW BEST:: SOT 177485 SOS 65315 HAS SOPS 65315 HAS SOUS 62197 HAS SOUPS 62197 WITH SCORE 62262.315
AT ITER 378 NEW BEST:: SOT 177485 SOS 65314 HAS SOPS 65314 HAS SOUS 62196 HAS SOUPS 62196 WITH SCORE 62261.314
AT ITER 382 NEW BEST:: SOT 177430 SOS 65254 HAS SOPS 65254 HAS SOUS 62136 HAS SOUPS 62136 WITH SCORE 62201.254
AT ITER 385 NEW BEST:: SOT 177430 SOS 65252 HAS SOPS 65252 HAS SOUS 62134 HAS SOUPS 62134 WITH SCORE 62199.252
AT ITER 397 NEW BEST:: SOT 177429 SOS 65183 HAS SOPS 65183 HAS SOUS 62065 HAS SOUPS 62065 WITH SCORE 62130.183
AT ITER 404 NEW BEST:: SOT 177437 SOS 65117 HAS SOPS 65117 HAS SOUS 61999 HAS SOUPS 61999 WITH SCORE 62064.117
AT ITER 431 NEW BEST:: SOT 177436 SOS 65025 HAS SOPS 65025 HAS SOUS 61907 HAS SOUPS 61907 WITH SCORE 61972.025
AT ITER 444 NEW BEST:: SOT 177436 SOS 64969 HAS SOPS 64969 HAS SOUS 61906 HAS SOUPS 61906 WITH SCORE 61970.969
AT ITER 445 NEW BEST:: SOT 177377 SOS 64910 HAS SOPS 64910 HAS SOUS 61847 HAS SOUPS 61847 WITH SCORE 61911.91
AT ITER 449 NEW BEST:: SOT 177377 SOS 64740 HAS SOPS 64740 HAS SOUS 61677 HAS SOUPS 61677 WITH SCORE 61741.74
AT ITER 487 NEW BEST:: SOT 177276 SOS 64892 HAS SOPS 64892 HAS SOUS 61676 HAS SOUPS 61676 WITH SCORE 61740.892
AT ITER 492 NEW BEST:: SOT 177275 SOS 64890 HAS SOPS 64890 HAS SOUS 61674 HAS SOUPS 61674 WITH SCORE 61738.89
AT ITER 496 NEW BEST:: SOT 177126 SOS 64735 HAS SOPS 64735 HAS SOUS 61519 HAS SOUPS 61519 WITH SCORE 61583.735
AT ITER 497 NEW BEST:: SOT 176996 SOS 64445 HAS SOPS 64445 HAS SOUS 61229 HAS SOUPS 61229 WITH SCORE 61293.445
AT ITER 498 NEW BEST:: SOT 176947 SOS 64301 HAS SOPS 64301 HAS SOUS 61085 HAS SOUPS 61085 WITH SCORE 61149.301
AT ITER 500 NEW BEST:: SOT 176921 SOS 64275 HAS SOPS 64275 HAS SOUS 61059 HAS SOUPS 61059 WITH SCORE 61123.275
AT ITER 501 NEW BEST:: SOT 176964 SOS 64248 HAS SOPS 64248 HAS SOUS 61032 HAS SOUPS 61032 WITH SCORE 61096.248
AT ITER 504 NEW BEST:: SOT 177104 SOS 64247 HAS SOPS 64247 HAS SOUS 61031 HAS SOUPS 61031 WITH SCORE 61095.247
AT ITER 527 NEW BEST:: SOT 177018 SOS 64075 HAS SOPS 64075 HAS SOUS 60859 HAS SOUPS 60859 WITH SCORE 60923.075
AT ITER 554 NEW BEST:: SOT 172618 SOS 63273 HAS SOPS 63273 HAS SOUS 56798 HAS SOUPS 56798 WITH SCORE 56861.273
AT ITER 564 NEW BEST:: SOT 172544 SOS 63189 HAS SOPS 63189 HAS SOUS 56788 HAS SOUPS 56788 WITH SCORE 56851.189
AT ITER 567 NEW BEST:: SOT 172506 SOS 63150 HAS SOPS 63150 HAS SOUS 56786 HAS SOUPS 56786 WITH SCORE 56849.15
AT ITER 571 NEW BEST:: SOT 172478 SOS 63094 HAS SOPS 63094 HAS SOUS 56742 HAS SOUPS 56742 WITH SCORE 56805.094
AT ITER 573 NEW BEST:: SOT 172478 SOS 62968 HAS SOPS 62968 HAS SOUS 56700 HAS SOUPS 56700 WITH SCORE 56762.968
AT ITER 582 NEW BEST:: SOT 172524 SOS 63014 HAS SOPS 63014 HAS SOUS 56699 HAS SOUPS 56699 WITH SCORE 56762.014
AT ITER 589 NEW BEST:: SOT 172523 SOS 63012 HAS SOPS 63012 HAS SOUS 56697 HAS SOUPS 56697 WITH SCORE 56760.012
AT ITER 591 NEW BEST:: SOT 172358 SOS 63007 HAS SOPS 63007 HAS SOUS 56692 HAS SOUPS 56692 WITH SCORE 56755.007
AT ITER 594 NEW BEST:: SOT 172347 SOS 62996 HAS SOPS 62996 HAS SOUS 56681 HAS SOUPS 56681 WITH SCORE 56743.996
AT ITER 604 NEW BEST:: SOT 172347 SOS 62918 HAS SOPS 62918 HAS SOUS 56603 HAS SOUPS 56603 WITH SCORE 56665.918
AT ITER 608 NEW BEST:: SOT 172211 SOS 62709 HAS SOPS 62709 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56456.709
AT ITER 610 NEW BEST:: SOT 172210 SOS 62707 HAS SOPS 62707 HAS SOUS 56392 HAS SOUPS 56392 WITH SCORE 56454.707
AT ITER 612 NEW BEST:: SOT 172149 SOS 62661 HAS SOPS 62661 HAS SOUS 56354 HAS SOUPS 56354 WITH SCORE 56416.661
AT ITER 613 NEW BEST:: SOT 172149 SOS 62653 HAS SOPS 62653 HAS SOUS 56346 HAS SOUPS 56346 WITH SCORE 56408.653
AT ITER 615 NEW BEST:: SOT 172112 SOS 62599 HAS SOPS 62599 HAS SOUS 56292 HAS SOUPS 56292 WITH SCORE 56354.599
AT ITER 621 NEW BEST:: SOT 172074 SOS 62519 HAS SOPS 62519 HAS SOUS 56128 HAS SOUPS 56128 WITH SCORE 56190.519
AT ITER 622 NEW BEST:: SOT 171846 SOS 62291 HAS SOPS 62291 HAS SOUS 55900 HAS SOUPS 55900 WITH SCORE 55962.291
AT ITER 630 NEW BEST:: SOT 170842 SOS 61859 HAS SOPS 61859 HAS SOUS 55234 HAS SOUPS 55234 WITH SCORE 55295.859
AT ITER 637 NEW BEST:: SOT 170771 SOS 61737 HAS SOPS 61737 HAS SOUS 55112 HAS SOUPS 55112 WITH SCORE 55173.737
AT ITER 640 NEW BEST:: SOT 170634 SOS 61472 HAS SOPS 61472 HAS SOUS 54856 HAS SOUPS 54856 WITH SCORE 54917.472
AT ITER 686 NEW BEST:: SOT 170576 SOS 61414 HAS SOPS 61414 HAS SOUS 54856 HAS SOUPS 54856 WITH SCORE 54917.414
AT ITER 688 NEW BEST:: SOT 170486 SOS 61324 HAS SOPS 61324 HAS SOUS 54766 HAS SOUPS 54766 WITH SCORE 54827.324
AT ITER 692 NEW BEST:: SOT 170443 SOS 61297 HAS SOPS 61297 HAS SOUS 54739 HAS SOUPS 54739 WITH SCORE 54800.297
AT ITER 693 NEW BEST:: SOT 170278 SOS 60967 HAS SOPS 60967 HAS SOUS 54409 HAS SOUPS 54409 WITH SCORE 54469.967
AT ITER 703 NEW BEST:: SOT 170233 SOS 60912 HAS SOPS 60912 HAS SOUS 54354 HAS SOUPS 54354 WITH SCORE 54414.912
AT ITER 743 NEW BEST:: SOT 170234 SOS 60980 HAS SOPS 60980 HAS SOUS 54348 HAS SOUPS 54348 WITH SCORE 54408.98
AT ITER 746 NEW BEST:: SOT 170375 SOS 60557 HAS SOPS 60557 HAS SOUS 54348 HAS SOUPS 54348 WITH SCORE 54408.557
AT ITER 753 NEW BEST:: SOT 170374 SOS 60555 HAS SOPS 60555 HAS SOUS 54346 HAS SOUPS 54346 WITH SCORE 54406.555
AT ITER 765 NEW BEST:: SOT 170374 SOS 60545 HAS SOPS 60545 HAS SOUS 54336 HAS SOUPS 54336 WITH SCORE 54396.545
AT ITER 768 NEW BEST:: SOT 170341 SOS 60466 HAS SOPS 60466 HAS SOUS 54259 HAS SOUPS 54259 WITH SCORE 54319.466
AT ITER 775 NEW BEST:: SOT 170308 SOS 60433 HAS SOPS 60433 HAS SOUS 54222 HAS SOUPS 54222 WITH SCORE 54282.433
AT ITER 777 NEW BEST:: SOT 170295 SOS 60412 HAS SOPS 60412 HAS SOUS 54201 HAS SOUPS 54201 WITH SCORE 54261.412
AT ITER 784 NEW BEST:: SOT 170222 SOS 60285 HAS SOPS 60285 HAS SOUS 54177 HAS SOUPS 54177 WITH SCORE 54237.285
AT ITER 789 NEW BEST:: SOT 170234 SOS 60272 HAS SOPS 60272 HAS SOUS 54152 HAS SOUPS 54152 WITH SCORE 54212.272
AT ITER 797 NEW BEST:: SOT 170230 SOS 60268 HAS SOPS 60268 HAS SOUS 54152 HAS SOUPS 54152 WITH SCORE 54212.268
AT ITER 804 NEW BEST:: SOT 170222 SOS 60260 HAS SOPS 60260 HAS SOUS 54144 HAS SOUPS 54144 WITH SCORE 54204.26
AT ITER 805 NEW BEST:: SOT 170175 SOS 60157 HAS SOPS 60157 HAS SOUS 54041 HAS SOUPS 54041 WITH SCORE 54101.157
AT ITER 810 NEW BEST:: SOT 170146 SOS 60099 HAS SOPS 60099 HAS SOUS 53983 HAS SOUPS 53983 WITH SCORE 54043.099
AT ITER 820 NEW BEST:: SOT 170204 SOS 60093 HAS SOPS 60093 HAS SOUS 53977 HAS SOUPS 53977 WITH SCORE 54037.093
AT ITER 830 NEW BEST:: SOT 170201 SOS 60087 HAS SOPS 60087 HAS SOUS 53971 HAS SOUPS 53971 WITH SCORE 54031.087
AT ITER 840 NEW BEST:: SOT 170201 SOS 60086 HAS SOPS 60086 HAS SOUS 53970 HAS SOUPS 53970 WITH SCORE 54030.086
AT ITER 848 NEW BEST:: SOT 169998 SOS 59929 HAS SOPS 59929 HAS SOUS 53875 HAS SOUPS 53875 WITH SCORE 53934.929
AT ITER 850 NEW BEST:: SOT 169914 SOS 59742 HAS SOPS 59742 HAS SOUS 53613 HAS SOUPS 53613 WITH SCORE 53672.742
AT ITER 854 NEW BEST:: SOT 169842 SOS 59641 HAS SOPS 59641 HAS SOUS 53512 HAS SOUPS 53512 WITH SCORE 53571.641
AT ITER 863 NEW BEST:: SOT 169842 SOS 59585 HAS SOPS 59585 HAS SOUS 53456 HAS SOUPS 53456 WITH SCORE 53515.585
AT ITER 869 NEW BEST:: SOT 169707 SOS 59315 HAS SOPS 59315 HAS SOUS 53186 HAS SOUPS 53186 WITH SCORE 53245.315
AT ITER 874 NEW BEST:: SOT 169669 SOS 59239 HAS SOPS 59239 HAS SOUS 53148 HAS SOUPS 53148 WITH SCORE 53207.239
AT ITER 875 NEW BEST:: SOT 169553 SOS 59123 HAS SOPS 59123 HAS SOUS 53090 HAS SOUPS 53090 WITH SCORE 53149.123
AT ITER 893 NEW BEST:: SOT 169602 SOS 59187 HAS SOPS 59187 HAS SOUS 53057 HAS SOUPS 53057 WITH SCORE 53116.187
AT ITER 900 NEW BEST:: SOT 169602 SOS 59063 HAS SOPS 59063 HAS SOUS 52933 HAS SOUPS 52933 WITH SCORE 52992.063
AT ITER 906 NEW BEST:: SOT 169602 SOS 58948 HAS SOPS 58948 HAS SOUS 52818 HAS SOUPS 52818 WITH SCORE 52876.948
AT ITER 918 NEW BEST:: SOT 169601 SOS 58946 HAS SOPS 58946 HAS SOUS 52816 HAS SOUPS 52816 WITH SCORE 52874.946
AT ITER 957 NEW BEST:: SOT 169602 SOS 58932 HAS SOPS 58932 HAS SOUS 52802 HAS SOUPS 52802 WITH SCORE 52860.932
AT ITER 959 NEW BEST:: SOT 169602 SOS 58870 HAS SOPS 58870 HAS SOUS 52740 HAS SOUPS 52740 WITH SCORE 52798.87
AT ITER 990 NEW BEST:: SOT 169557 SOS 58735 HAS SOPS 58735 HAS SOUS 52605 HAS SOUPS 52605 WITH SCORE 52663.735
AT ITER 999 NEW BEST:: SOT 169557 SOS 58727 HAS SOPS 58727 HAS SOUS 52597 HAS SOUPS 52597 WITH SCORE 52655.727
AT ITER 1004 NEW BEST:: SOT 169532 SOS 58725 HAS SOPS 58725 HAS SOUS 52572 HAS SOUPS 52572 WITH SCORE 52630.725
AT ITER 1032 NEW BEST:: SOT 169481 SOS 58649 HAS SOPS 58649 HAS SOUS 52496 HAS SOUPS 52496 WITH SCORE 52554.649
AT ITER 1039 NEW BEST:: SOT 169423 SOS 58256 HAS SOPS 58256 HAS SOUS 52161 HAS SOUPS 52161 WITH SCORE 52219.256
AT ITER 1043 NEW BEST:: SOT 169423 SOS 58156 HAS SOPS 58156 HAS SOUS 52061 HAS SOUPS 52061 WITH SCORE 52119.156
AT ITER 1044 NEW BEST:: SOT 169359 SOS 58092 HAS SOPS 58092 HAS SOUS 51997 HAS SOUPS 51997 WITH SCORE 52055.092
AT ITER 1057 NEW BEST:: SOT 169420 SOS 57956 HAS SOPS 57956 HAS SOUS 51861 HAS SOUPS 51861 WITH SCORE 51918.956
AT ITER 1058 NEW BEST:: SOT 169420 SOS 57913 HAS SOPS 57913 HAS SOUS 51818 HAS SOUPS 51818 WITH SCORE 51875.913
AT ITER 1068 NEW BEST:: SOT 169192 SOS 57704 HAS SOPS 57704 HAS SOUS 51622 HAS SOUPS 51622 WITH SCORE 51679.704
AT ITER 1080 NEW BEST:: SOT 169067 SOS 57508 HAS SOPS 57508 HAS SOUS 51466 HAS SOUPS 51466 WITH SCORE 51523.508
AT ITER 1082 NEW BEST:: SOT 169017 SOS 57640 HAS SOPS 57640 HAS SOUS 51465 HAS SOUPS 51465 WITH SCORE 51522.64
AT ITER 1086 NEW BEST:: SOT 168847 SOS 57385 HAS SOPS 57385 HAS SOUS 51210 HAS SOUPS 51210 WITH SCORE 51267.385
AT ITER 1088 NEW BEST:: SOT 168847 SOS 57334 HAS SOPS 57334 HAS SOUS 51159 HAS SOUPS 51159 WITH SCORE 51216.334
AT ITER 1090 NEW BEST:: SOT 168830 SOS 57300 HAS SOPS 57300 HAS SOUS 51125 HAS SOUPS 51125 WITH SCORE 51182.3
AT ITER 1092 NEW BEST:: SOT 168788 SOS 57216 HAS SOPS 57216 HAS SOUS 51071 HAS SOUPS 51071 WITH SCORE 51128.216
AT ITER 1096 NEW BEST:: SOT 168780 SOS 57200 HAS SOPS 57200 HAS SOUS 51055 HAS SOUPS 51055 WITH SCORE 51112.2
AT ITER 1118 NEW BEST:: SOT 168746 SOS 57132 HAS SOPS 57132 HAS SOUS 50987 HAS SOUPS 50987 WITH SCORE 51044.132
AT ITER 1143 NEW BEST:: SOT 168737 SOS 57123 HAS SOPS 57123 HAS SOUS 50986 HAS SOUPS 50986 WITH SCORE 51043.123
AT ITER 1151 NEW BEST:: SOT 168694 SOS 57114 HAS SOPS 57114 HAS SOUS 50977 HAS SOUPS 50977 WITH SCORE 51034.114
AT ITER 1167 NEW BEST:: SOT 168758 SOS 57095 HAS SOPS 57095 HAS SOUS 50958 HAS SOUPS 50958 WITH SCORE 51015.095
AT ITER 1183 NEW BEST:: SOT 168667 SOS 56913 HAS SOPS 56913 HAS SOUS 50776 HAS SOUPS 50776 WITH SCORE 50832.913
AT ITER 1188 NEW BEST:: SOT 168655 SOS 56878 HAS SOPS 56878 HAS SOUS 50752 HAS SOUPS 50752 WITH SCORE 50808.878
AT ITER 1189 NEW BEST:: SOT 168611 SOS 56834 HAS SOPS 56834 HAS SOUS 50708 HAS SOUPS 50708 WITH SCORE 50764.834
AT ITER 1195 NEW BEST:: SOT 168550 SOS 56881 HAS SOPS 56881 HAS SOUS 50700 HAS SOUPS 50700 WITH SCORE 50756.881
AT ITER 1234 NEW BEST:: SOT 168377 SOS 56694 HAS SOPS 56694 HAS SOUS 50581 HAS SOUPS 50581 WITH SCORE 50637.694
AT ITER 1246 NEW BEST:: SOT 168467 SOS 56586 HAS SOPS 56586 HAS SOUS 50473 HAS SOUPS 50473 WITH SCORE 50529.586
AT ITER 1253 NEW BEST:: SOT 168292 SOS 56061 HAS SOPS 56061 HAS SOUS 49948 HAS SOUPS 49948 WITH SCORE 50004.061
AT ITER 1301 NEW BEST:: SOT 168292 SOS 56045 HAS SOPS 56045 HAS SOUS 49932 HAS SOUPS 49932 WITH SCORE 49988.045
AT ITER 1304 NEW BEST:: SOT 168225 SOS 55980 HAS SOPS 55980 HAS SOUS 49867 HAS SOUPS 49867 WITH SCORE 49922.98
AT ITER 1331 NEW BEST:: SOT 168201 SOS 55956 HAS SOPS 55956 HAS SOUS 49750 HAS SOUPS 49750 WITH SCORE 49805.956
AT ITER 1333 NEW BEST:: SOT 168147 SOS 55848 HAS SOPS 55848 HAS SOUS 49642 HAS SOUPS 49642 WITH SCORE 49697.848
AT ITER 1340 NEW BEST:: SOT 168118 SOS 55819 HAS SOPS 55819 HAS SOUS 49588 HAS SOUPS 49588 WITH SCORE 49643.819
AT ITER 1356 NEW BEST:: SOT 168117 SOS 55818 HAS SOPS 55818 HAS SOUS 49587 HAS SOUPS 49587 WITH SCORE 49642.818
AT ITER 1381 NEW BEST:: SOT 168101 SOS 55781 HAS SOPS 55781 HAS SOUS 49550 HAS SOUPS 49550 WITH SCORE 49605.781
AT ITER 1383 NEW BEST:: SOT 168076 SOS 55731 HAS SOPS 55731 HAS SOUS 49500 HAS SOUPS 49500 WITH SCORE 49555.731
AT ITER 1417 NEW BEST:: SOT 168044 SOS 55730 HAS SOPS 55730 HAS SOUS 49499 HAS SOUPS 49499 WITH SCORE 49554.73
AT ITER 1440 NEW BEST:: SOT 168044 SOS 55545 HAS SOPS 55545 HAS SOUS 49443 HAS SOUPS 49443 WITH SCORE 49498.545
AT ITER 1447 NEW BEST:: SOT 168100 SOS 55540 HAS SOPS 55540 HAS SOUS 49438 HAS SOUPS 49438 WITH SCORE 49493.54
AT ITER 1451 NEW BEST:: SOT 168012 SOS 55516 HAS SOPS 55516 HAS SOUS 49426 HAS SOUPS 49426 WITH SCORE 49481.516
AT ITER 1461 NEW BEST:: SOT 168013 SOS 55513 HAS SOPS 55513 HAS SOUS 49423 HAS SOUPS 49423 WITH SCORE 49478.513
AT ITER 1462 NEW BEST:: SOT 168013 SOS 55513 HAS SOPS 55513 HAS SOUS 49394 HAS SOUPS 49394 WITH SCORE 49449.513
AT ITER 1469 NEW BEST:: SOT 167876 SOS 55374 HAS SOPS 55374 HAS SOUS 49255 HAS SOUPS 49255 WITH SCORE 49310.374
AT ITER 1473 NEW BEST:: SOT 167806 SOS 55234 HAS SOPS 55234 HAS SOUS 49115 HAS SOUPS 49115 WITH SCORE 49170.234
AT ITER 1487 NEW BEST:: SOT 167646 SOS 55024 HAS SOPS 55024 HAS SOUS 48975 HAS SOUPS 48975 WITH SCORE 49030.024
AT ITER 1489 NEW BEST:: SOT 167643 SOS 55017 HAS SOPS 55017 HAS SOUS 48972 HAS SOUPS 48972 WITH SCORE 49027.017
AT ITER 1492 NEW BEST:: SOT 167643 SOS 55010 HAS SOPS 55010 HAS SOUS 48965 HAS SOUPS 48965 WITH SCORE 49020.01
AT ITER 1498 NEW BEST:: SOT 167641 SOS 54999 HAS SOPS 54999 HAS SOUS 48954 HAS SOUPS 48954 WITH SCORE 49008.999
AT ITER 1502 NEW BEST:: SOT 167622 SOS 54980 HAS SOPS 54980 HAS SOUS 48935 HAS SOUPS 48935 WITH SCORE 48989.98
AT ITER 1511 NEW BEST:: SOT 167610 SOS 54968 HAS SOPS 54968 HAS SOUS 48935 HAS SOUPS 48935 WITH SCORE 48989.968
AT ITER 1512 NEW BEST:: SOT 167620 SOS 54980 HAS SOPS 54980 HAS SOUS 48930 HAS SOUPS 48930 WITH SCORE 48984.98
AT ITER 1517 NEW BEST:: SOT 167607 SOS 54954 HAS SOPS 54954 HAS SOUS 48904 HAS SOUPS 48904 WITH SCORE 48958.954
AT ITER 1521 NEW BEST:: SOT 167608 SOS 54953 HAS SOPS 54953 HAS SOUS 48903 HAS SOUPS 48903 WITH SCORE 48957.953
AT ITER 1522 NEW BEST:: SOT 167546 SOS 54938 HAS SOPS 54938 HAS SOUS 48888 HAS SOUPS 48888 WITH SCORE 48942.938
AT ITER 1529 NEW BEST:: SOT 167668 SOS 54993 HAS SOPS 54993 HAS SOUS 48821 HAS SOUPS 48821 WITH SCORE 48875.993
AT ITER 1535 NEW BEST:: SOT 167704 SOS 55029 HAS SOPS 55029 HAS SOUS 48818 HAS SOUPS 48818 WITH SCORE 48873.029
AT ITER 1544 NEW BEST:: SOT 167694 SOS 55004 HAS SOPS 55004 HAS SOUS 48793 HAS SOUPS 48793 WITH SCORE 48848.004
AT ITER 1550 NEW BEST:: SOT 167647 SOS 54957 HAS SOPS 54957 HAS SOUS 48746 HAS SOUPS 48746 WITH SCORE 48800.957
AT ITER 1571 NEW BEST:: SOT 167678 SOS 54952 HAS SOPS 54952 HAS SOUS 48674 HAS SOUPS 48674 WITH SCORE 48728.952
AT ITER 1580 NEW BEST:: SOT 167638 SOS 54872 HAS SOPS 54872 HAS SOUS 48614 HAS SOUPS 48614 WITH SCORE 48668.872
AT ITER 1587 NEW BEST:: SOT 167638 SOS 54839 HAS SOPS 54839 HAS SOUS 48614 HAS SOUPS 48614 WITH SCORE 48668.839
AT ITER 1592 NEW BEST:: SOT 167638 SOS 54815 HAS SOPS 54815 HAS SOUS 48590 HAS SOUPS 48590 WITH SCORE 48644.815
AT ITER 1601 NEW BEST:: SOT 167638 SOS 54813 HAS SOPS 54813 HAS SOUS 48588 HAS SOUPS 48588 WITH SCORE 48642.813
AT ITER 1605 NEW BEST:: SOT 167632 SOS 54804 HAS SOPS 54804 HAS SOUS 48579 HAS SOUPS 48579 WITH SCORE 48633.804
AT ITER 1618 NEW BEST:: SOT 166983 SOS 54096 HAS SOPS 54096 HAS SOUS 47871 HAS SOUPS 47871 WITH SCORE 47925.096
AT ITER 1621 NEW BEST:: SOT 166980 SOS 54050 HAS SOPS 54050 HAS SOUS 47844 HAS SOUPS 47844 WITH SCORE 47898.05
AT ITER 1629 NEW BEST:: SOT 166974 SOS 53931 HAS SOPS 53931 HAS SOUS 47725 HAS SOUPS 47725 WITH SCORE 47778.931
AT ITER 1642 NEW BEST:: SOT 166844 SOS 53848 HAS SOPS 53848 HAS SOUS 47669 HAS SOUPS 47669 WITH SCORE 47722.848
AT ITER 1647 NEW BEST:: SOT 166781 SOS 53783 HAS SOPS 53783 HAS SOUS 47668 HAS SOUPS 47668 WITH SCORE 47721.783
AT ITER 1649 NEW BEST:: SOT 166777 SOS 53682 HAS SOPS 53682 HAS SOUS 47667 HAS SOUPS 47667 WITH SCORE 47720.682
AT ITER 1652 NEW BEST:: SOT 166762 SOS 53652 HAS SOPS 53652 HAS SOUS 47637 HAS SOUPS 47637 WITH SCORE 47690.652
AT ITER 1658 NEW BEST:: SOT 166750 SOS 53640 HAS SOPS 53640 HAS SOUS 47637 HAS SOUPS 47637 WITH SCORE 47690.64
AT ITER 1691 NEW BEST:: SOT 166737 SOS 53627 HAS SOPS 53627 HAS SOUS 47624 HAS SOUPS 47624 WITH SCORE 47677.627
AT ITER 1700 NEW BEST:: SOT 166819 SOS 53593 HAS SOPS 53593 HAS SOUS 47590 HAS SOUPS 47590 WITH SCORE 47643.593
AT ITER 1703 NEW BEST:: SOT 166871 SOS 53410 HAS SOPS 53410 HAS SOUS 47502 HAS SOUPS 47502 WITH SCORE 47555.41
AT ITER 1706 NEW BEST:: SOT 166828 SOS 53306 HAS SOPS 53306 HAS SOUS 47398 HAS SOUPS 47398 WITH SCORE 47451.306
AT ITER 1708 NEW BEST:: SOT 166824 SOS 53302 HAS SOPS 53302 HAS SOUS 47396 HAS SOUPS 47396 WITH SCORE 47449.302
AT ITER 1725 NEW BEST:: SOT 166824 SOS 53268 HAS SOPS 53268 HAS SOUS 47362 HAS SOUPS 47362 WITH SCORE 47415.268
AT ITER 1743 NEW BEST:: SOT 166798 SOS 53211 HAS SOPS 53211 HAS SOUS 47313 HAS SOUPS 47313 WITH SCORE 47366.211
AT ITER 1768 NEW BEST:: SOT 166888 SOS 53180 HAS SOPS 53180 HAS SOUS 47282 HAS SOUPS 47282 WITH SCORE 47335.18
AT ITER 1797 NEW BEST:: SOT 166868 SOS 53140 HAS SOPS 53140 HAS SOUS 47242 HAS SOUPS 47242 WITH SCORE 47295.14
AT ITER 1815 NEW BEST:: SOT 166864 SOS 53136 HAS SOPS 53136 HAS SOUS 47238 HAS SOUPS 47238 WITH SCORE 47291.136
AT ITER 1821 NEW BEST:: SOT 166904 SOS 53176 HAS SOPS 53176 HAS SOUS 47203 HAS SOUPS 47203 WITH SCORE 47256.176
AT ITER 1824 NEW BEST:: SOT 166889 SOS 53175 HAS SOPS 53175 HAS SOUS 47202 HAS SOUPS 47202 WITH SCORE 47255.175
AT ITER 1832 NEW BEST:: SOT 166761 SOS 53047 HAS SOPS 53047 HAS SOUS 47074 HAS SOUPS 47074 WITH SCORE 47127.047
AT ITER 1848 NEW BEST:: SOT 166717 SOS 53008 HAS SOPS 53008 HAS SOUS 47035 HAS SOUPS 47035 WITH SCORE 47088.008
AT ITER 1849 NEW BEST:: SOT 166505 SOS 52745 HAS SOPS 52745 HAS SOUS 46772 HAS SOUPS 46772 WITH SCORE 46824.745
AT ITER 1870 NEW BEST:: SOT 166480 SOS 52720 HAS SOPS 52720 HAS SOUS 46772 HAS SOUPS 46772 WITH SCORE 46824.72
AT ITER 1889 NEW BEST:: SOT 166475 SOS 52672 HAS SOPS 52672 HAS SOUS 46724 HAS SOUPS 46724 WITH SCORE 46776.672
AT ITER 1891 NEW BEST:: SOT 166517 SOS 52642 HAS SOPS 52642 HAS SOUS 46694 HAS SOUPS 46694 WITH SCORE 46746.642
AT ITER 1920 NEW BEST:: SOT 166502 SOS 52612 HAS SOPS 52612 HAS SOUS 46664 HAS SOUPS 46664 WITH SCORE 46716.612
AT ITER 1923 NEW BEST:: SOT 166468 SOS 52578 HAS SOPS 52578 HAS SOUS 46630 HAS SOUPS 46630 WITH SCORE 46682.578
AT ITER 1926 NEW BEST:: SOT 166527 SOS 52573 HAS SOPS 52573 HAS SOUS 46625 HAS SOUPS 46625 WITH SCORE 46677.573
AT ITER 1927 NEW BEST:: SOT 166499 SOS 52566 HAS SOPS 52566 HAS SOUS 46618 HAS SOUPS 46618 WITH SCORE 46670.566
AT ITER 1933 NEW BEST:: SOT 166489 SOS 52556 HAS SOPS 52556 HAS SOUS 46608 HAS SOUPS 46608 WITH SCORE 46660.556
AT ITER 1944 NEW BEST:: SOT 166489 SOS 52540 HAS SOPS 52540 HAS SOUS 46592 HAS SOUPS 46592 WITH SCORE 46644.54
AT ITER 1945 NEW BEST:: SOT 166550 SOS 52674 HAS SOPS 52674 HAS SOUS 46506 HAS SOUPS 46506 WITH SCORE 46558.674
AT ITER 1948 NEW BEST:: SOT 166498 SOS 52605 HAS SOPS 52605 HAS SOUS 46454 HAS SOUPS 46454 WITH SCORE 46506.605
AT ITER 1958 NEW BEST:: SOT 166401 SOS 52389 HAS SOPS 52389 HAS SOUS 46238 HAS SOUPS 46238 WITH SCORE 46290.389
AT ITER 1964 NEW BEST:: SOT 166401 SOS 52389 HAS SOPS 52389 HAS SOUS 46215 HAS SOUPS 46215 WITH SCORE 46267.389
AT ITER 1997 NEW BEST:: SOT 166400 SOS 52387 HAS SOPS 52387 HAS SOUS 46213 HAS SOUPS 46213 WITH SCORE 46265.387
AT ITER 2001 NEW BEST:: SOT 166272 SOS 52224 HAS SOPS 52224 HAS SOUS 46050 HAS SOUPS 46050 WITH SCORE 46102.224
AT ITER 2004 NEW BEST:: SOT 166251 SOS 52150 HAS SOPS 52150 HAS SOUS 46008 HAS SOUPS 46008 WITH SCORE 46060.15
AT ITER 2021 NEW BEST:: SOT 166226 SOS 52125 HAS SOPS 52125 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46035.125
AT ITER 2029 NEW BEST:: SOT 166225 SOS 52123 HAS SOPS 52123 HAS SOUS 45981 HAS SOUPS 45981 WITH SCORE 46033.123
AT ITER 2031 NEW BEST:: SOT 166200 SOS 52098 HAS SOPS 52098 HAS SOUS 45956 HAS SOUPS 45956 WITH SCORE 46008.098
AT ITER 2033 NEW BEST:: SOT 166134 SOS 52278 HAS SOPS 52278 HAS SOUS 45929 HAS SOUPS 45929 WITH SCORE 45981.278
AT ITER 2036 NEW BEST:: SOT 166123 SOS 52267 HAS SOPS 52267 HAS SOUS 45918 HAS SOUPS 45918 WITH SCORE 45970.267
AT ITER 2041 NEW BEST:: SOT 166121 SOS 52228 HAS SOPS 52228 HAS SOUS 45886 HAS SOUPS 45886 WITH SCORE 45938.228
AT ITER 2042 NEW BEST:: SOT 166056 SOS 52098 HAS SOPS 52098 HAS SOUS 45756 HAS SOUPS 45756 WITH SCORE 45808.098
AT ITER 2063 NEW BEST:: SOT 166038 SOS 52062 HAS SOPS 52062 HAS SOUS 45730 HAS SOUPS 45730 WITH SCORE 45782.062
AT ITER 2067 NEW BEST:: SOT 166038 SOS 52038 HAS SOPS 52038 HAS SOUS 45706 HAS SOUPS 45706 WITH SCORE 45758.038
AT ITER 2096 NEW BEST:: SOT 165872 SOS 52038 HAS SOPS 52038 HAS SOUS 45684 HAS SOUPS 45684 WITH SCORE 45736.038
AT ITER 2098 NEW BEST:: SOT 165870 SOS 51926 HAS SOPS 51926 HAS SOUS 45572 HAS SOUPS 45572 WITH SCORE 45623.926
AT ITER 2112 NEW BEST:: SOT 165843 SOS 51920 HAS SOPS 51920 HAS SOUS 45566 HAS SOUPS 45566 WITH SCORE 45617.92
AT ITER 2113 NEW BEST:: SOT 165841 SOS 51918 HAS SOPS 51918 HAS SOUS 45564 HAS SOUPS 45564 WITH SCORE 45615.918
AT ITER 2124 NEW BEST:: SOT 165787 SOS 51826 HAS SOPS 51826 HAS SOUS 45472 HAS SOUPS 45472 WITH SCORE 45523.826
AT ITER 2134 NEW BEST:: SOT 165513 SOS 51802 HAS SOPS 51802 HAS SOUS 45286 HAS SOUPS 45286 WITH SCORE 45337.802
AT ITER 2144 NEW BEST:: SOT 165478 SOS 51746 HAS SOPS 51746 HAS SOUS 45230 HAS SOUPS 45230 WITH SCORE 45281.746
AT ITER 2154 NEW BEST:: SOT 165442 SOS 51710 HAS SOPS 51710 HAS SOUS 45194 HAS SOUPS 45194 WITH SCORE 45245.71
AT ITER 2160 NEW BEST:: SOT 165348 SOS 51688 HAS SOPS 51688 HAS SOUS 45181 HAS SOUPS 45181 WITH SCORE 45232.688
AT ITER 2170 NEW BEST:: SOT 165344 SOS 51680 HAS SOPS 51680 HAS SOUS 45173 HAS SOUPS 45173 WITH SCORE 45224.68
AT ITER 2173 NEW BEST:: SOT 165331 SOS 51667 HAS SOPS 51667 HAS SOUS 45160 HAS SOUPS 45160 WITH SCORE 45211.667
AT ITER 2189 NEW BEST:: SOT 165312 SOS 51611 HAS SOPS 51611 HAS SOUS 45141 HAS SOUPS 45141 WITH SCORE 45192.611
AT ITER 2190 NEW BEST:: SOT 165312 SOS 51583 HAS SOPS 51583 HAS SOUS 45113 HAS SOUPS 45113 WITH SCORE 45164.583
AT ITER 2193 NEW BEST:: SOT 165312 SOS 51560 HAS SOPS 51560 HAS SOUS 45090 HAS SOUPS 45090 WITH SCORE 45141.56
AT ITER 2195 NEW BEST:: SOT 165311 SOS 51558 HAS SOPS 51558 HAS SOUS 45088 HAS SOUPS 45088 WITH SCORE 45139.558
AT ITER 2199 NEW BEST:: SOT 165307 SOS 51554 HAS SOPS 51554 HAS SOUS 45084 HAS SOUPS 45084 WITH SCORE 45135.554
AT ITER 2208 NEW BEST:: SOT 165307 SOS 51554 HAS SOPS 51554 HAS SOUS 45000 HAS SOUPS 45000 WITH SCORE 45051.554
AT ITER 2216 NEW BEST:: SOT 165183 SOS 51396 HAS SOPS 51396 HAS SOUS 44917 HAS SOUPS 44917 WITH SCORE 44968.396
AT ITER 2239 NEW BEST:: SOT 165183 SOS 51355 HAS SOPS 51355 HAS SOUS 44876 HAS SOUPS 44876 WITH SCORE 44927.355
AT ITER 2250 NEW BEST:: SOT 165131 SOS 51303 HAS SOPS 51303 HAS SOUS 44824 HAS SOUPS 44824 WITH SCORE 44875.303
AT ITER 2261 NEW BEST:: SOT 165091 SOS 51238 HAS SOPS 51238 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44808.238
AT ITER 2281 NEW BEST:: SOT 165108 SOS 51199 HAS SOPS 51199 HAS SOUS 44718 HAS SOUPS 44718 WITH SCORE 44769.199
AT ITER 2285 NEW BEST:: SOT 165006 SOS 51102 HAS SOPS 51102 HAS SOUS 44604 HAS SOUPS 44604 WITH SCORE 44655.102
AT ITER 2303 NEW BEST:: SOT 165083 SOS 51025 HAS SOPS 51025 HAS SOUS 44526 HAS SOUPS 44526 WITH SCORE 44577.025
AT ITER 2312 NEW BEST:: SOT 165083 SOS 51019 HAS SOPS 51019 HAS SOUS 44520 HAS SOUPS 44520 WITH SCORE 44571.019
AT ITER 2327 NEW BEST:: SOT 165063 SOS 50999 HAS SOPS 50999 HAS SOUS 44500 HAS SOUPS 44500 WITH SCORE 44550.999
AT ITER 2334 NEW BEST:: SOT 165097 SOS 51014 HAS SOPS 51014 HAS SOUS 44462 HAS SOUPS 44462 WITH SCORE 44513.014
AT ITER 2342 NEW BEST:: SOT 165120 SOS 51013 HAS SOPS 51013 HAS SOUS 44414 HAS SOUPS 44414 WITH SCORE 44465.013
AT ITER 2369 NEW BEST:: SOT 165031 SOS 50892 HAS SOPS 50892 HAS SOUS 44293 HAS SOUPS 44293 WITH SCORE 44343.892
AT ITER 2400 NEW BEST:: SOT 164951 SOS 50812 HAS SOPS 50812 HAS SOUS 44253 HAS SOUPS 44253 WITH SCORE 44303.812
AT ITER 2418 NEW BEST:: SOT 164946 SOS 50726 HAS SOPS 50726 HAS SOUS 44167 HAS SOUPS 44167 WITH SCORE 44217.726
AT ITER 2428 NEW BEST:: SOT 164920 SOS 50657 HAS SOPS 50657 HAS SOUS 44115 HAS SOUPS 44115 WITH SCORE 44165.657
AT ITER 2438 NEW BEST:: SOT 164943 SOS 50634 HAS SOPS 50634 HAS SOUS 44092 HAS SOUPS 44092 WITH SCORE 44142.634
AT ITER 2477 NEW BEST:: SOT 164936 SOS 50626 HAS SOPS 50626 HAS SOUS 44084 HAS SOUPS 44084 WITH SCORE 44134.626
AT ITER 2483 NEW BEST:: SOT 164926 SOS 50616 HAS SOPS 50616 HAS SOUS 44074 HAS SOUPS 44074 WITH SCORE 44124.616
AT ITER 2490 NEW BEST:: SOT 164905 SOS 50527 HAS SOPS 50527 HAS SOUS 43985 HAS SOUPS 43985 WITH SCORE 44035.527
AT ITER 2534 NEW BEST:: SOT 164836 SOS 50458 HAS SOPS 50458 HAS SOUS 43916 HAS SOUPS 43916 WITH SCORE 43966.458
AT ITER 2538 NEW BEST:: SOT 164483 SOS 52858 HAS SOPS 52858 HAS SOUS 43624 HAS SOUPS 43624 WITH SCORE 43676.858
AT ITER 2544 NEW BEST:: SOT 164222 SOS 52449 HAS SOPS 52449 HAS SOUS 43327 HAS SOUPS 43327 WITH SCORE 43379.449
AT ITER 2558 NEW BEST:: SOT 164195 SOS 52369 HAS SOPS 52369 HAS SOUS 43247 HAS SOUPS 43247 WITH SCORE 43299.369
AT ITER 2569 NEW BEST:: SOT 164174 SOS 52364 HAS SOPS 52364 HAS SOUS 43242 HAS SOUPS 43242 WITH SCORE 43294.364
AT ITER 2593 NEW BEST:: SOT 164049 SOS 52202 HAS SOPS 52202 HAS SOUS 43080 HAS SOUPS 43080 WITH SCORE 43132.202
AT ITER 2598 NEW BEST:: SOT 164049 SOS 52141 HAS SOPS 52141 HAS SOUS 43019 HAS SOUPS 43019 WITH SCORE 43071.141
AT ITER 2617 NEW BEST:: SOT 164031 SOS 52131 HAS SOPS 52131 HAS SOUS 43009 HAS SOUPS 43009 WITH SCORE 43061.131
AT ITER 2619 NEW BEST:: SOT 164042 SOS 52129 HAS SOPS 52129 HAS SOUS 43004 HAS SOUPS 43004 WITH SCORE 43056.129
AT ITER 2623 NEW BEST:: SOT 164014 SOS 52123 HAS SOPS 52123 HAS SOUS 42998 HAS SOUPS 42998 WITH SCORE 43050.123
AT ITER 2630 NEW BEST:: SOT 164014 SOS 52033 HAS SOPS 52033 HAS SOUS 42908 HAS SOUPS 42908 WITH SCORE 42960.033
AT ITER 2645 NEW BEST:: SOT 164014 SOS 52019 HAS SOPS 52019 HAS SOUS 42894 HAS SOUPS 42894 WITH SCORE 42946.019
AT ITER 2654 NEW BEST:: SOT 164052 SOS 51942 HAS SOPS 51942 HAS SOUS 42817 HAS SOUPS 42817 WITH SCORE 42868.942
AT ITER 2661 NEW BEST:: SOT 164052 SOS 51904 HAS SOPS 51904 HAS SOUS 42779 HAS SOUPS 42779 WITH SCORE 42830.904
AT ITER 2696 NEW BEST:: SOT 163924 SOS 51736 HAS SOPS 51736 HAS SOUS 42611 HAS SOUPS 42611 WITH SCORE 42662.736
AT ITER 2699 NEW BEST:: SOT 163971 SOS 51689 HAS SOPS 51689 HAS SOUS 42564 HAS SOUPS 42564 WITH SCORE 42615.689
AT ITER 2703 NEW BEST:: SOT 163981 SOS 51670 HAS SOPS 51670 HAS SOUS 42535 HAS SOUPS 42535 WITH SCORE 42586.67
AT ITER 2708 NEW BEST:: SOT 164057 SOS 51618 HAS SOPS 51618 HAS SOUS 42483 HAS SOUPS 42483 WITH SCORE 42534.618
AT ITER 2713 NEW BEST:: SOT 163892 SOS 51412 HAS SOPS 51412 HAS SOUS 42383 HAS SOUPS 42383 WITH SCORE 42434.412
AT ITER 2731 NEW BEST:: SOT 163890 SOS 51408 HAS SOPS 51408 HAS SOUS 42379 HAS SOUPS 42379 WITH SCORE 42430.408
AT ITER 2736 NEW BEST:: SOT 163910 SOS 51266 HAS SOPS 51266 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42325.266
AT ITER 2751 NEW BEST:: SOT 163894 SOS 51234 HAS SOPS 51234 HAS SOUS 42242 HAS SOUPS 42242 WITH SCORE 42293.234
AT ITER 2770 NEW BEST:: SOT 163934 SOS 51224 HAS SOPS 51224 HAS SOUS 42232 HAS SOUPS 42232 WITH SCORE 42283.224
AT ITER 2808 NEW BEST:: SOT 163932 SOS 51221 HAS SOPS 51221 HAS SOUS 42229 HAS SOUPS 42229 WITH SCORE 42280.221
AT ITER 2816 NEW BEST:: SOT 163911 SOS 51179 HAS SOPS 51179 HAS SOUS 42199 HAS SOUPS 42199 WITH SCORE 42250.179
AT ITER 2823 NEW BEST:: SOT 163890 SOS 51128 HAS SOPS 51128 HAS SOUS 42178 HAS SOUPS 42178 WITH SCORE 42229.128
AT ITER 2835 NEW BEST:: SOT 163884 SOS 51025 HAS SOPS 51025 HAS SOUS 42075 HAS SOUPS 42075 WITH SCORE 42126.025
AT ITER 2837 NEW BEST:: SOT 163882 SOS 51021 HAS SOPS 51021 HAS SOUS 42071 HAS SOUPS 42071 WITH SCORE 42122.021
AT ITER 2856 NEW BEST:: SOT 163737 SOS 50878 HAS SOPS 50878 HAS SOUS 42018 HAS SOUPS 42018 WITH SCORE 42068.878
AT ITER 2859 NEW BEST:: SOT 163319 SOS 55257 HAS SOPS 55257 HAS SOUS 41754 HAS SOUPS 41754 WITH SCORE 41809.257
AT ITER 2860 NEW BEST:: SOT 163249 SOS 55186 HAS SOPS 55186 HAS SOUS 41752 HAS SOUPS 41752 WITH SCORE 41807.186
AT ITER 2871 NEW BEST:: SOT 163078 SOS 55025 HAS SOPS 55025 HAS SOUS 41648 HAS SOUPS 41648 WITH SCORE 41703.025
AT ITER 2880 NEW BEST:: SOT 163098 SOS 55024 HAS SOPS 55024 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41661.024
AT ITER 2887 NEW BEST:: SOT 163022 SOS 54986 HAS SOPS 54986 HAS SOUS 41568 HAS SOUPS 41568 WITH SCORE 41622.986
AT ITER 2891 NEW BEST:: SOT 163014 SOS 54970 HAS SOPS 54970 HAS SOUS 41552 HAS SOUPS 41552 WITH SCORE 41606.97
AT ITER 2897 NEW BEST:: SOT 162991 SOS 54947 HAS SOPS 54947 HAS SOUS 41473 HAS SOUPS 41473 WITH SCORE 41527.947
AT ITER 2899 NEW BEST:: SOT 162970 SOS 54905 HAS SOPS 54905 HAS SOUS 41431 HAS SOUPS 41431 WITH SCORE 41485.905
AT ITER 2909 NEW BEST:: SOT 162662 SOS 54567 HAS SOPS 54567 HAS SOUS 41093 HAS SOUPS 41093 WITH SCORE 41147.567
AT ITER 2923 NEW BEST:: SOT 162660 SOS 54563 HAS SOPS 54563 HAS SOUS 41089 HAS SOUPS 41089 WITH SCORE 41143.563
AT ITER 2937 NEW BEST:: SOT 162667 SOS 54542 HAS SOPS 54542 HAS SOUS 41068 HAS SOUPS 41068 WITH SCORE 41122.542
AT ITER 2942 NEW BEST:: SOT 162642 SOS 54806 HAS SOPS 54806 HAS SOUS 41055 HAS SOUPS 41055 WITH SCORE 41109.806
AT ITER 2944 NEW BEST:: SOT 162623 SOS 54798 HAS SOPS 54798 HAS SOUS 41047 HAS SOUPS 41047 WITH SCORE 41101.798
AT ITER 2950 NEW BEST:: SOT 162623 SOS 54781 HAS SOPS 54781 HAS SOUS 41030 HAS SOUPS 41030 WITH SCORE 41084.781
AT ITER 2959 NEW BEST:: SOT 162409 SOS 54567 HAS SOPS 54567 HAS SOUS 40923 HAS SOUPS 40923 WITH SCORE 40977.567
AT ITER 2971 NEW BEST:: SOT 162390 SOS 54548 HAS SOPS 54548 HAS SOUS 40904 HAS SOUPS 40904 WITH SCORE 40958.548
AT ITER 3001 NEW BEST:: SOT 162340 SOS 54580 HAS SOPS 54580 HAS SOUS 40788 HAS SOUPS 40788 WITH SCORE 40842.58
AT ITER 3010 NEW BEST:: SOT 162248 SOS 54396 HAS SOPS 54396 HAS SOUS 40636 HAS SOUPS 40636 WITH SCORE 40690.396
AT ITER 3096 NEW BEST:: SOT 162237 SOS 54374 HAS SOPS 54374 HAS SOUS 40614 HAS SOUPS 40614 WITH SCORE 40668.374
AT ITER 3098 NEW BEST:: SOT 162208 SOS 54319 HAS SOPS 54319 HAS SOUS 40583 HAS SOUPS 40583 WITH SCORE 40637.319
AT ITER 3131 NEW BEST:: SOT 162194 SOS 54305 HAS SOPS 54305 HAS SOUS 40569 HAS SOUPS 40569 WITH SCORE 40623.305
AT ITER 3163 NEW BEST:: SOT 162194 SOS 54298 HAS SOPS 54298 HAS SOUS 40562 HAS SOUPS 40562 WITH SCORE 40616.298
AT ITER 3191 NEW BEST:: SOT 162194 SOS 54295 HAS SOPS 54295 HAS SOUS 40559 HAS SOUPS 40559 WITH SCORE 40613.295
AT ITER 3194 NEW BEST:: SOT 162173 SOS 54253 HAS SOPS 54253 HAS SOUS 40505 HAS SOUPS 40505 WITH SCORE 40559.253
AT ITER 3205 NEW BEST:: SOT 162099 SOS 54167 HAS SOPS 54167 HAS SOUS 40419 HAS SOUPS 40419 WITH SCORE 40473.167
AT ITER 3206 NEW BEST:: SOT 162068 SOS 54136 HAS SOPS 54136 HAS SOUS 40388 HAS SOUPS 40388 WITH SCORE 40442.136
AT ITER 3267 NEW BEST:: SOT 162056 SOS 54010 HAS SOPS 54010 HAS SOUS 40346 HAS SOUPS 40346 WITH SCORE 40400.01
AT ITER 3294 NEW BEST:: SOT 162034 SOS 54005 HAS SOPS 54005 HAS SOUS 40341 HAS SOUPS 40341 WITH SCORE 40395.005
AT ITER 3302 NEW BEST:: SOT 162034 SOS 54002 HAS SOPS 54002 HAS SOUS 40335 HAS SOUPS 40335 WITH SCORE 40389.002
AT ITER 3310 NEW BEST:: SOT 162032 SOS 53969 HAS SOPS 53969 HAS SOUS 40257 HAS SOUPS 40257 WITH SCORE 40310.969
AT ITER 3331 NEW BEST:: SOT 162011 SOS 53948 HAS SOPS 53948 HAS SOUS 40236 HAS SOUPS 40236 WITH SCORE 40289.948
AT ITER 3344 NEW BEST:: SOT 161852 SOS 53752 HAS SOPS 53752 HAS SOUS 40195 HAS SOUPS 40195 WITH SCORE 40248.752
AT ITER 3355 NEW BEST:: SOT 161841 SOS 53748 HAS SOPS 53748 HAS SOUS 40190 HAS SOUPS 40190 WITH SCORE 40243.748
AT ITER 3359 NEW BEST:: SOT 161828 SOS 53688 HAS SOPS 53688 HAS SOUS 40130 HAS SOUPS 40130 WITH SCORE 40183.688
AT ITER 3375 NEW BEST:: SOT 161828 SOS 53592 HAS SOPS 53592 HAS SOUS 40034 HAS SOUPS 40034 WITH SCORE 40087.592
AT ITER 3383 NEW BEST:: SOT 161828 SOS 53534 HAS SOPS 53534 HAS SOUS 39918 HAS SOUPS 39918 WITH SCORE 39971.534
AT ITER 3385 NEW BEST:: SOT 161828 SOS 53444 HAS SOPS 53444 HAS SOUS 39912 HAS SOUPS 39912 WITH SCORE 39965.444
AT ITER 3387 NEW BEST:: SOT 161799 SOS 53390 HAS SOPS 53390 HAS SOUS 39883 HAS SOUPS 39883 WITH SCORE 39936.39
AT ITER 3388 NEW BEST:: SOT 161738 SOS 53329 HAS SOPS 53329 HAS SOUS 39822 HAS SOUPS 39822 WITH SCORE 39875.329
AT ITER 3395 NEW BEST:: SOT 161762 SOS 53310 HAS SOPS 53310 HAS SOUS 39820 HAS SOUPS 39820 WITH SCORE 39873.31
AT ITER 3402 NEW BEST:: SOT 161216 SOS 53225 HAS SOPS 53225 HAS SOUS 39370 HAS SOUPS 39370 WITH SCORE 39423.225
AT ITER 3415 NEW BEST:: SOT 161183 SOS 53137 HAS SOPS 53137 HAS SOUS 39367 HAS SOUPS 39367 WITH SCORE 39420.137
AT ITER 3443 NEW BEST:: SOT 161167 SOS 53134 HAS SOPS 53134 HAS SOUS 39364 HAS SOUPS 39364 WITH SCORE 39417.134
AT ITER 3455 NEW BEST:: SOT 161141 SOS 53144 HAS SOPS 53144 HAS SOUS 39338 HAS SOUPS 39338 WITH SCORE 39391.144
AT ITER 3537 NEW BEST:: SOT 161141 SOS 53126 HAS SOPS 53126 HAS SOUS 39320 HAS SOUPS 39320 WITH SCORE 39373.126
AT ITER 3550 NEW BEST:: SOT 161180 SOS 53079 HAS SOPS 53079 HAS SOUS 39273 HAS SOUPS 39273 WITH SCORE 39326.079
AT ITER 3560 NEW BEST:: SOT 161177 SOS 53076 HAS SOPS 53076 HAS SOUS 39270 HAS SOUPS 39270 WITH SCORE 39323.076
AT ITER 3561 NEW BEST:: SOT 161093 SOS 52908 HAS SOPS 52908 HAS SOUS 39102 HAS SOUPS 39102 WITH SCORE 39154.908
AT ITER 3578 NEW BEST:: SOT 161003 SOS 52729 HAS SOPS 52729 HAS SOUS 38923 HAS SOUPS 38923 WITH SCORE 38975.729
AT ITER 3596 NEW BEST:: SOT 160964 SOS 52709 HAS SOPS 52709 HAS SOUS 38903 HAS SOUPS 38903 WITH SCORE 38955.709
AT ITER 3625 NEW BEST:: SOT 160980 SOS 52706 HAS SOPS 52706 HAS SOUS 38900 HAS SOUPS 38900 WITH SCORE 38952.706
AT ITER 3629 NEW BEST:: SOT 160974 SOS 52694 HAS SOPS 52694 HAS SOUS 38888 HAS SOUPS 38888 WITH SCORE 38940.694
AT ITER 3635 NEW BEST:: SOT 160966 SOS 52686 HAS SOPS 52686 HAS SOUS 38880 HAS SOUPS 38880 WITH SCORE 38932.686
AT ITER 3636 NEW BEST:: SOT 160992 SOS 52685 HAS SOPS 52685 HAS SOUS 38879 HAS SOUPS 38879 WITH SCORE 38931.685
AT ITER 3660 NEW BEST:: SOT 160906 SOS 52599 HAS SOPS 52599 HAS SOUS 38793 HAS SOUPS 38793 WITH SCORE 38845.599
AT ITER 3664 NEW BEST:: SOT 160936 SOS 52602 HAS SOPS 52602 HAS SOUS 38739 HAS SOUPS 38739 WITH SCORE 38791.602
AT ITER 3688 NEW BEST:: SOT 160950 SOS 52559 HAS SOPS 52559 HAS SOUS 38696 HAS SOUPS 38696 WITH SCORE 38748.559
AT ITER 3691 NEW BEST:: SOT 160949 SOS 52557 HAS SOPS 52557 HAS SOUS 38694 HAS SOUPS 38694 WITH SCORE 38746.557
AT ITER 3751 NEW BEST:: SOT 160941 SOS 52541 HAS SOPS 52541 HAS SOUS 38678 HAS SOUPS 38678 WITH SCORE 38730.541
AT ITER 3753 NEW BEST:: SOT 160935 SOS 52535 HAS SOPS 52535 HAS SOUS 38678 HAS SOUPS 38678 WITH SCORE 38730.535
AT ITER 3787 NEW BEST:: SOT 160863 SOS 52467 HAS SOPS 52467 HAS SOUS 38648 HAS SOUPS 38648 WITH SCORE 38700.467
AT ITER 3808 NEW BEST:: SOT 160881 SOS 52443 HAS SOPS 52443 HAS SOUS 38624 HAS SOUPS 38624 WITH SCORE 38676.443
AT ITER 3825 NEW BEST:: SOT 160868 SOS 52430 HAS SOPS 52430 HAS SOUS 38611 HAS SOUPS 38611 WITH SCORE 38663.43
AT ITER 3835 NEW BEST:: SOT 160820 SOS 52382 HAS SOPS 52382 HAS SOUS 38563 HAS SOUPS 38563 WITH SCORE 38615.382
AT ITER 3853 NEW BEST:: SOT 160801 SOS 52393 HAS SOPS 52393 HAS SOUS 38532 HAS SOUPS 38532 WITH SCORE 38584.393
AT ITER 3860 NEW BEST:: SOT 160789 SOS 52369 HAS SOPS 52369 HAS SOUS 38508 HAS SOUPS 38508 WITH SCORE 38560.369
AT ITER 3917 NEW BEST:: SOT 160633 SOS 52173 HAS SOPS 52173 HAS SOUS 38312 HAS SOUPS 38312 WITH SCORE 38364.173
AT ITER 3928 NEW BEST:: SOT 160625 SOS 52100 HAS SOPS 52100 HAS SOUS 38256 HAS SOUPS 38256 WITH SCORE 38308.1
AT ITER 3934 NEW BEST:: SOT 160624 SOS 52099 HAS SOPS 52099 HAS SOUS 38255 HAS SOUPS 38255 WITH SCORE 38307.099
AT ITER 3960 NEW BEST:: SOT 160486 SOS 52065 HAS SOPS 52065 HAS SOUS 38214 HAS SOUPS 38214 WITH SCORE 38266.065
AT ITER 3995 NEW BEST:: SOT 160430 SOS 52013 HAS SOPS 52013 HAS SOUS 38162 HAS SOUPS 38162 WITH SCORE 38214.013
AT ITER 4006 NEW BEST:: SOT 160424 SOS 52018 HAS SOPS 52018 HAS SOUS 38157 HAS SOUPS 38157 WITH SCORE 38209.018
AT ITER 4031 NEW BEST:: SOT 160320 SOS 51835 HAS SOPS 51835 HAS SOUS 37974 HAS SOUPS 37974 WITH SCORE 38025.835
AT ITER 4034 NEW BEST:: SOT 160275 SOS 51790 HAS SOPS 51790 HAS SOUS 37914 HAS SOUPS 37914 WITH SCORE 37965.79
AT ITER 4056 NEW BEST:: SOT 160251 SOS 51700 HAS SOPS 51700 HAS SOUS 37824 HAS SOUPS 37824 WITH SCORE 37875.7
AT ITER 4080 NEW BEST:: SOT 160251 SOS 51697 HAS SOPS 51697 HAS SOUS 37821 HAS SOUPS 37821 WITH SCORE 37872.697
AT ITER 4099 NEW BEST:: SOT 160251 SOS 51696 HAS SOPS 51696 HAS SOUS 37820 HAS SOUPS 37820 WITH SCORE 37871.696
AT ITER 4146 NEW BEST:: SOT 160223 SOS 51617 HAS SOPS 51617 HAS SOUS 37811 HAS SOUPS 37811 WITH SCORE 37862.617
AT ITER 4163 NEW BEST:: SOT 160216 SOS 51603 HAS SOPS 51603 HAS SOUS 37797 HAS SOUPS 37797 WITH SCORE 37848.603
AT ITER 4173 NEW BEST:: SOT 160192 SOS 51499 HAS SOPS 51499 HAS SOUS 37757 HAS SOUPS 37757 WITH SCORE 37808.499
AT ITER 4187 NEW BEST:: SOT 160197 SOS 51475 HAS SOPS 51475 HAS SOUS 37743 HAS SOUPS 37743 WITH SCORE 37794.475
AT ITER 4251 NEW BEST:: SOT 160140 SOS 51418 HAS SOPS 51418 HAS SOUS 37743 HAS SOUPS 37743 WITH SCORE 37794.418
AT ITER 4255 NEW BEST:: SOT 160153 SOS 51455 HAS SOPS 51455 HAS SOUS 37740 HAS SOUPS 37740 WITH SCORE 37791.455
AT ITER 4274 NEW BEST:: SOT 160125 SOS 51473 HAS SOPS 51473 HAS SOUS 37686 HAS SOUPS 37686 WITH SCORE 37737.473
AT ITER 4287 NEW BEST:: SOT 160136 SOS 51462 HAS SOPS 51462 HAS SOUS 37675 HAS SOUPS 37675 WITH SCORE 37726.462
AT ITER 4296 NEW BEST:: SOT 160134 SOS 51458 HAS SOPS 51458 HAS SOUS 37671 HAS SOUPS 37671 WITH SCORE 37722.458
AT ITER 4326 NEW BEST:: SOT 160105 SOS 51429 HAS SOPS 51429 HAS SOUS 37642 HAS SOUPS 37642 WITH SCORE 37693.429
AT ITER 4343 NEW BEST:: SOT 160013 SOS 51347 HAS SOPS 51347 HAS SOUS 37524 HAS SOUPS 37524 WITH SCORE 37575.347
AT ITER 4344 NEW BEST:: SOT 159965 SOS 51336 HAS SOPS 51336 HAS SOUS 37513 HAS SOUPS 37513 WITH SCORE 37564.336
AT ITER 4371 NEW BEST:: SOT 159949 SOS 51304 HAS SOPS 51304 HAS SOUS 37460 HAS SOUPS 37460 WITH SCORE 37511.304
AT ITER 4398 NEW BEST:: SOT 159949 SOS 51287 HAS SOPS 51287 HAS SOUS 37460 HAS SOUPS 37460 WITH SCORE 37511.287
AT ITER 4441 NEW BEST:: SOT 159946 SOS 51260 HAS SOPS 51260 HAS SOUS 37374 HAS SOUPS 37374 WITH SCORE 37425.26
AT ITER 4447 NEW BEST:: SOT 159948 SOS 51239 HAS SOPS 51239 HAS SOUS 37353 HAS SOUPS 37353 WITH SCORE 37404.239
AT ITER 4476 NEW BEST:: SOT 159925 SOS 51244 HAS SOPS 51244 HAS SOUS 37307 HAS SOUPS 37307 WITH SCORE 37358.244
AT ITER 4544 NEW BEST:: SOT 159891 SOS 51189 HAS SOPS 51189 HAS SOUS 37276 HAS SOUPS 37276 WITH SCORE 37327.189
AT ITER 4570 NEW BEST:: SOT 159872 SOS 51177 HAS SOPS 51177 HAS SOUS 37264 HAS SOUPS 37264 WITH SCORE 37315.177
AT ITER 4579 NEW BEST:: SOT 159817 SOS 51150 HAS SOPS 51150 HAS SOUS 37257 HAS SOUPS 37257 WITH SCORE 37308.15
AT ITER 4609 NEW BEST:: SOT 159730 SOS 51051 HAS SOPS 51051 HAS SOUS 37243 HAS SOUPS 37243 WITH SCORE 37294.051
AT ITER 4614 NEW BEST:: SOT 159730 SOS 51049 HAS SOPS 51049 HAS SOUS 37241 HAS SOUPS 37241 WITH SCORE 37292.049
AT ITER 4660 NEW BEST:: SOT 159631 SOS 50946 HAS SOPS 50946 HAS SOUS 37233 HAS SOUPS 37233 WITH SCORE 37283.946
AT ITER 4661 NEW BEST:: SOT 159631 SOS 50882 HAS SOPS 50882 HAS SOUS 37105 HAS SOUPS 37105 WITH SCORE 37155.882
AT ITER 4666 NEW BEST:: SOT 159580 SOS 50885 HAS SOPS 50885 HAS SOUS 37064 HAS SOUPS 37064 WITH SCORE 37114.885
AT ITER 4668 NEW BEST:: SOT 159553 SOS 50831 HAS SOPS 50831 HAS SOUS 37010 HAS SOUPS 37010 WITH SCORE 37060.831
AT ITER 4680 NEW BEST:: SOT 159544 SOS 50822 HAS SOPS 50822 HAS SOUS 37001 HAS SOUPS 37001 WITH SCORE 37051.822
AT ITER 4687 NEW BEST:: SOT 159478 SOS 50747 HAS SOPS 50747 HAS SOUS 36926 HAS SOUPS 36926 WITH SCORE 36976.747
AT ITER 4688 NEW BEST:: SOT 159478 SOS 50747 HAS SOPS 50747 HAS SOUS 36913 HAS SOUPS 36913 WITH SCORE 36963.747
AT ITER 4700 NEW BEST:: SOT 159466 SOS 50723 HAS SOPS 50723 HAS SOUS 36889 HAS SOUPS 36889 WITH SCORE 36939.723
AT ITER 4719 NEW BEST:: SOT 159491 SOS 50709 HAS SOPS 50709 HAS SOUS 36878 HAS SOUPS 36878 WITH SCORE 36928.709
AT ITER 4723 NEW BEST:: SOT 159488 SOS 50668 HAS SOPS 50668 HAS SOUS 36799 HAS SOUPS 36799 WITH SCORE 36849.668
AT ITER 4755 NEW BEST:: SOT 159488 SOS 50641 HAS SOPS 50641 HAS SOUS 36799 HAS SOUPS 36799 WITH SCORE 36849.641
AT ITER 4763 NEW BEST:: SOT 159484 SOS 50633 HAS SOPS 50633 HAS SOUS 36795 HAS SOUPS 36795 WITH SCORE 36845.633
AT ITER 4778 NEW BEST:: SOT 159484 SOS 50633 HAS SOPS 50633 HAS SOUS 36788 HAS SOUPS 36788 WITH SCORE 36838.633
AT ITER 4784 NEW BEST:: SOT 159483 SOS 50634 HAS SOPS 50634 HAS SOUS 36785 HAS SOUPS 36785 WITH SCORE 36835.634
AT ITER 4785 NEW BEST:: SOT 159417 SOS 50570 HAS SOPS 50570 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36805.57
AT ITER 4786 NEW BEST:: SOT 159403 SOS 50528 HAS SOPS 50528 HAS SOUS 36727 HAS SOUPS 36727 WITH SCORE 36777.528
AT ITER 4804 NEW BEST:: SOT 159403 SOS 50525 HAS SOPS 50525 HAS SOUS 36721 HAS SOUPS 36721 WITH SCORE 36771.525
AT ITER 4808 NEW BEST:: SOT 159371 SOS 50510 HAS SOPS 50510 HAS SOUS 36706 HAS SOUPS 36706 WITH SCORE 36756.51
AT ITER 4813 NEW BEST:: SOT 159359 SOS 50498 HAS SOPS 50498 HAS SOUS 36689 HAS SOUPS 36689 WITH SCORE 36739.498
AT ITER 4823 NEW BEST:: SOT 159324 SOS 50463 HAS SOPS 50463 HAS SOUS 36654 HAS SOUPS 36654 WITH SCORE 36704.463
AT ITER 4841 NEW BEST:: SOT 159326 SOS 50462 HAS SOPS 50462 HAS SOUS 36653 HAS SOUPS 36653 WITH SCORE 36703.462
AT ITER 4851 NEW BEST:: SOT 159263 SOS 50323 HAS SOPS 50323 HAS SOUS 36514 HAS SOUPS 36514 WITH SCORE 36564.323
AT ITER 4860 NEW BEST:: SOT 159257 SOS 50317 HAS SOPS 50317 HAS SOUS 36508 HAS SOUPS 36508 WITH SCORE 36558.317
AT ITER 4862 NEW BEST:: SOT 159189 SOS 50181 HAS SOPS 50181 HAS SOUS 36372 HAS SOUPS 36372 WITH SCORE 36422.181
AT ITER 4884 NEW BEST:: SOT 159127 SOS 50119 HAS SOPS 50119 HAS SOUS 36310 HAS SOUPS 36310 WITH SCORE 36360.119
AT ITER 4889 NEW BEST:: SOT 159130 SOS 50095 HAS SOPS 50095 HAS SOUS 36286 HAS SOUPS 36286 WITH SCORE 36336.095
AT ITER 4914 NEW BEST:: SOT 159120 SOS 50075 HAS SOPS 50075 HAS SOUS 36266 HAS SOUPS 36266 WITH SCORE 36316.075
AT ITER 4926 NEW BEST:: SOT 159135 SOS 50105 HAS SOPS 50105 HAS SOUS 36246 HAS SOUPS 36246 WITH SCORE 36296.105
AT ITER 4938 NEW BEST:: SOT 159056 SOS 50102 HAS SOPS 50102 HAS SOUS 36243 HAS SOUPS 36243 WITH SCORE 36293.102
AT ITER 4948 NEW BEST:: SOT 159024 SOS 50038 HAS SOPS 50038 HAS SOUS 36179 HAS SOUPS 36179 WITH SCORE 36229.038
AT ITER 4998 NEW BEST:: SOT 158973 SOS 49964 HAS SOPS 49964 HAS SOUS 36105 HAS SOUPS 36105 WITH SCORE 36154.964
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-11-CTLFireability-00 (! ( ( ( (EG( ((potential((tk(P63)>=1)))))) & ((potential((tk(P266)>=1)))) ) | (AX( ( ((potential((tk(P183)>=1)))) | ((potential((tk(P39)>=1)))) ))) ) | ( ( (! (! ((potential((tk(P378)>=1) & (tk(P190)>=1) & (tk(P503)>=1)))))) | ( ((potential((tk(P268)>=1) & (tk(P83)>=1) & (tk(P531)>=1)))) | (! ((potential((tk(P351)>=1))))) ) ) & (EF( ((potential((tk(P128)>=1)))))) ) ))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-01 (EX( ( (EF( ( ((potential((tk(P448)>=1)))) & ((potential((tk(P347)>=1) & (tk(P149)>=1) & (tk(P529)>=1)))) ))) | (AX( ((potential((tk(P447)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-02 (EF( (EF( (AF( ((potential((tk(P48)>=1))))))))))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-03 (EX( (! (EF( ( ((potential((tk(P55)>=1)))) | ((potential((tk(P298)>=1) & (tk(P107)>=1) & (tk(P555)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-04 (AF( (EF( ( ( ((potential((tk(P268)>=1) & (tk(P83)>=1) & (tk(P449)>=1)))) | ((potential((tk(P268)>=1) & (tk(P92)>=1) & (tk(P540)>=1)))) ) | ((potential((tk(P333)>=1) & (tk(P152)>=1) & (tk(P484)>=1)))) )))))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-05 (EU( (EF( ((potential((tk(P268)>=1) & (tk(P98)>=1) & (tk(P531)>=1)))))) , ( (EX( ((potential((tk(P268)>=1) & (tk(P92)>=1) & (tk(P540)>=1)))))) | (EF( ((potential((tk(P153)>=1)))))) ) ))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-06 (AG( ( ((potential((tk(P34)>=1)))) | (! (AG( ((potential((tk(P314)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-07 (EF( (EU( ( ((potential((tk(P136)>=1)))) & ((potential((tk(P334)>=1)))) ) , ( ((potential((tk(P293)>=1) & (tk(P76)>=1) & (tk(P452)>=1)))) | ((potential((tk(P328)>=1) & (tk(P138)>=1) & (tk(P409)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-08 ( (EF( (EF( ( ((potential((tk(P261)>=1)))) | ((potential((tk(P11)>=1)))) ))))) & (! ( (AG( ( ((potential((tk(P381)>=1)))) & ((potential((tk(P268)>=1) & (tk(P92)>=1) & (tk(P531)>=1)))) ))) | (! (EF( ((potential((tk(P349)>=1))))))) )) )
PROPERTY: BusinessProcesses-PT-11-CTLFireability-09 (EF( ((potential((tk(P298)>=1) & (tk(P89)>=1) & (tk(P555)>=1))))))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-10 ( (AF( ( (AG( ((potential((tk(P441)>=1)))))) | (EF( ((potential((tk(P551)>=1)))))) ))) & ( ( (! ( (! ((potential((tk(P346)>=1))))) & ( ((potential((tk(P477)>=1)))) | ((potential((tk(P228)>=1)))) ) )) | ( ( ( ((potential((tk(P12)>=1)))) & ((potential((tk(P203)>=1)))) ) | ( ((potential((tk(P195)>=1)))) | ((potential((tk(P403)>=1) & (tk(P237)>=1) & (tk(P529)>=1)))) ) ) & (! ((potential((tk(P477)>=1))))) ) ) | ((potential((tk(P339)>=1)))) ) )
PROPERTY: BusinessProcesses-PT-11-CTLFireability-11 (! ( (EF( ((potential((tk(P393)>=1) & (tk(P218)>=1) & (tk(P521)>=1)))))) & ( (EF( ( ((potential((tk(P74)>=1)))) & ((potential((tk(P160)>=1)))) ))) | ( ( (! ((potential((tk(P326)>=1))))) | (! ((potential((tk(P561)>=1))))) ) | (! ( ((potential((tk(P120)>=1)))) | ((potential((tk(P550)>=1) & (tk(P547)>=1)))) )) ) ) ))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-12 (EX( ( (AG( (! ((potential((tk(P268)>=1) & (tk(P83)>=1) & (tk(P540)>=1))))))) | (AF( ((potential((tk(P63)>=1)))))) )))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-13 (AG( (EX( (EF( ((potential((tk(P354)>=1))))))))))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-14 (EF( ((potential((tk(P103)>=1))))))
PROPERTY: BusinessProcesses-PT-11-CTLFireability-15 (AG( (! (! (! ( ((potential((tk(P80)>=1) & (tk(P456)>=1)))) | ((potential((tk(P343)>=1) & (tk(P158)>=1) & (tk(P488)>=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-11"
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-11, 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-158897680100532"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-11.tgz
mv BusinessProcesses-PT-11 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 ;