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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 3.5K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 22:43 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.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14: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:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 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 85K 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-05-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-05-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589018031923

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 05
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: 368 places, 319 transitions, 854 arcs.
AT ITER 0 NEW BEST:: SOT 75677 SOS 32211 HAS SOPS 32211 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30960.211
AT ITER 15 NEW BEST:: SOT 75664 SOS 32245 HAS SOPS 32245 HAS SOUS 30926 HAS SOUPS 30926 WITH SCORE 30958.245
AT ITER 17 NEW BEST:: SOT 75549 SOS 32053 HAS SOPS 32053 HAS SOUS 30769 HAS SOUPS 30769 WITH SCORE 30801.053
AT ITER 22 NEW BEST:: SOT 75450 SOS 31931 HAS SOPS 31931 HAS SOUS 30669 HAS SOUPS 30669 WITH SCORE 30700.931
AT ITER 30 NEW BEST:: SOT 75450 SOS 31931 HAS SOPS 31931 HAS SOUS 30668 HAS SOUPS 30668 WITH SCORE 30699.931
AT ITER 37 NEW BEST:: SOT 75450 SOS 31892 HAS SOPS 31892 HAS SOUS 30629 HAS SOUPS 30629 WITH SCORE 30660.892
AT ITER 43 NEW BEST:: SOT 75455 SOS 31862 HAS SOPS 31862 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 30630.862
AT ITER 53 NEW BEST:: SOT 75339 SOS 31850 HAS SOPS 31850 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30618.85
AT ITER 57 NEW BEST:: SOT 75256 SOS 31772 HAS SOPS 31772 HAS SOUS 30509 HAS SOUPS 30509 WITH SCORE 30540.772
AT ITER 66 NEW BEST:: SOT 75162 SOS 31719 HAS SOPS 31719 HAS SOUS 30456 HAS SOUPS 30456 WITH SCORE 30487.719
AT ITER 70 NEW BEST:: SOT 75123 SOS 31602 HAS SOPS 31602 HAS SOUS 30339 HAS SOUPS 30339 WITH SCORE 30370.602
AT ITER 72 NEW BEST:: SOT 75001 SOS 31398 HAS SOPS 31398 HAS SOUS 30135 HAS SOUPS 30135 WITH SCORE 30166.398
AT ITER 78 NEW BEST:: SOT 75001 SOS 31364 HAS SOPS 31364 HAS SOUS 30101 HAS SOUPS 30101 WITH SCORE 30132.364
AT ITER 81 NEW BEST:: SOT 74903 SOS 31357 HAS SOPS 31357 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30125.357
AT ITER 83 NEW BEST:: SOT 74789 SOS 31248 HAS SOPS 31248 HAS SOUS 29985 HAS SOUPS 29985 WITH SCORE 30016.248
AT ITER 84 NEW BEST:: SOT 74759 SOS 31231 HAS SOPS 31231 HAS SOUS 29968 HAS SOUPS 29968 WITH SCORE 29999.231
AT ITER 90 NEW BEST:: SOT 74647 SOS 31119 HAS SOPS 31119 HAS SOUS 29871 HAS SOUPS 29871 WITH SCORE 29902.119
AT ITER 98 NEW BEST:: SOT 74547 SOS 31056 HAS SOPS 31056 HAS SOUS 29808 HAS SOUPS 29808 WITH SCORE 29839.056
AT ITER 103 NEW BEST:: SOT 74526 SOS 30993 HAS SOPS 30993 HAS SOUS 29745 HAS SOUPS 29745 WITH SCORE 29775.993
AT ITER 115 NEW BEST:: SOT 74618 SOS 31078 HAS SOPS 31078 HAS SOUS 29710 HAS SOUPS 29710 WITH SCORE 29741.078
AT ITER 116 NEW BEST:: SOT 74618 SOS 31064 HAS SOPS 31064 HAS SOUS 29703 HAS SOUPS 29703 WITH SCORE 29734.064
AT ITER 117 NEW BEST:: SOT 74617 SOS 30995 HAS SOPS 30995 HAS SOUS 29668 HAS SOUPS 29668 WITH SCORE 29698.995
AT ITER 126 NEW BEST:: SOT 74617 SOS 30910 HAS SOPS 30910 HAS SOUS 29583 HAS SOUPS 29583 WITH SCORE 29613.91
AT ITER 127 NEW BEST:: SOT 74701 SOS 30889 HAS SOPS 30889 HAS SOUS 29562 HAS SOUPS 29562 WITH SCORE 29592.889
AT ITER 138 NEW BEST:: SOT 74684 SOS 30852 HAS SOPS 30852 HAS SOUS 29533 HAS SOUPS 29533 WITH SCORE 29563.852
AT ITER 145 NEW BEST:: SOT 74563 SOS 30744 HAS SOPS 30744 HAS SOUS 29458 HAS SOUPS 29458 WITH SCORE 29488.744
AT ITER 150 NEW BEST:: SOT 74457 SOS 30623 HAS SOPS 30623 HAS SOUS 29337 HAS SOUPS 29337 WITH SCORE 29367.623
AT ITER 156 NEW BEST:: SOT 74410 SOS 30603 HAS SOPS 30603 HAS SOUS 29317 HAS SOUPS 29317 WITH SCORE 29347.603
AT ITER 161 NEW BEST:: SOT 74403 SOS 30601 HAS SOPS 30601 HAS SOUS 29315 HAS SOUPS 29315 WITH SCORE 29345.601
AT ITER 162 NEW BEST:: SOT 74398 SOS 30596 HAS SOPS 30596 HAS SOUS 29310 HAS SOUPS 29310 WITH SCORE 29340.596
AT ITER 166 NEW BEST:: SOT 74373 SOS 30546 HAS SOPS 30546 HAS SOUS 29260 HAS SOUPS 29260 WITH SCORE 29290.546
AT ITER 190 NEW BEST:: SOT 74344 SOS 30517 HAS SOPS 30517 HAS SOUS 29231 HAS SOUPS 29231 WITH SCORE 29261.517
AT ITER 191 NEW BEST:: SOT 74242 SOS 30388 HAS SOPS 30388 HAS SOUS 29102 HAS SOUPS 29102 WITH SCORE 29132.388
AT ITER 192 NEW BEST:: SOT 74242 SOS 30314 HAS SOPS 30314 HAS SOUS 29028 HAS SOUPS 29028 WITH SCORE 29058.314
AT ITER 194 NEW BEST:: SOT 74217 SOS 30264 HAS SOPS 30264 HAS SOUS 28978 HAS SOUPS 28978 WITH SCORE 29008.264
AT ITER 197 NEW BEST:: SOT 74217 SOS 30260 HAS SOPS 30260 HAS SOUS 28974 HAS SOUPS 28974 WITH SCORE 29004.26
AT ITER 200 NEW BEST:: SOT 74266 SOS 30194 HAS SOPS 30194 HAS SOUS 28908 HAS SOUPS 28908 WITH SCORE 28938.194
AT ITER 202 NEW BEST:: SOT 74265 SOS 30193 HAS SOPS 30193 HAS SOUS 28907 HAS SOUPS 28907 WITH SCORE 28937.193
AT ITER 204 NEW BEST:: SOT 74262 SOS 30189 HAS SOPS 30189 HAS SOUS 28903 HAS SOUPS 28903 WITH SCORE 28933.189
AT ITER 209 NEW BEST:: SOT 74199 SOS 30163 HAS SOPS 30163 HAS SOUS 28877 HAS SOUPS 28877 WITH SCORE 28907.163
AT ITER 210 NEW BEST:: SOT 74171 SOS 30135 HAS SOPS 30135 HAS SOUS 28849 HAS SOUPS 28849 WITH SCORE 28879.135
AT ITER 216 NEW BEST:: SOT 74170 SOS 30110 HAS SOPS 30110 HAS SOUS 28824 HAS SOUPS 28824 WITH SCORE 28854.11
AT ITER 225 NEW BEST:: SOT 71626 SOS 30191 HAS SOPS 30191 HAS SOUS 26582 HAS SOUPS 26582 WITH SCORE 26612.191
AT ITER 227 NEW BEST:: SOT 71626 SOS 30145 HAS SOPS 30145 HAS SOUS 26582 HAS SOUPS 26582 WITH SCORE 26612.145
AT ITER 252 NEW BEST:: SOT 71603 SOS 30099 HAS SOPS 30099 HAS SOUS 26536 HAS SOUPS 26536 WITH SCORE 26566.099
AT ITER 255 NEW BEST:: SOT 71587 SOS 30023 HAS SOPS 30023 HAS SOUS 26400 HAS SOUPS 26400 WITH SCORE 26430.023
AT ITER 257 NEW BEST:: SOT 71600 SOS 30036 HAS SOPS 30036 HAS SOUS 26399 HAS SOUPS 26399 WITH SCORE 26429.036
AT ITER 261 NEW BEST:: SOT 71600 SOS 29976 HAS SOPS 29976 HAS SOUS 26324 HAS SOUPS 26324 WITH SCORE 26353.976
AT ITER 268 NEW BEST:: SOT 71591 SOS 29958 HAS SOPS 29958 HAS SOUS 26306 HAS SOUPS 26306 WITH SCORE 26335.958
AT ITER 273 NEW BEST:: SOT 71433 SOS 29764 HAS SOPS 29764 HAS SOUS 26168 HAS SOUPS 26168 WITH SCORE 26197.764
AT ITER 291 NEW BEST:: SOT 71397 SOS 29692 HAS SOPS 29692 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26125.692
AT ITER 293 NEW BEST:: SOT 71397 SOS 29690 HAS SOPS 29690 HAS SOUS 26094 HAS SOUPS 26094 WITH SCORE 26123.69
AT ITER 296 NEW BEST:: SOT 71368 SOS 29665 HAS SOPS 29665 HAS SOUS 26093 HAS SOUPS 26093 WITH SCORE 26122.665
AT ITER 303 NEW BEST:: SOT 71318 SOS 29615 HAS SOPS 29615 HAS SOUS 26043 HAS SOUPS 26043 WITH SCORE 26072.615
AT ITER 305 NEW BEST:: SOT 71280 SOS 29461 HAS SOPS 29461 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25916.461
AT ITER 306 NEW BEST:: SOT 71227 SOS 29408 HAS SOPS 29408 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25863.408
AT ITER 308 NEW BEST:: SOT 71132 SOS 29245 HAS SOPS 29245 HAS SOUS 25755 HAS SOUPS 25755 WITH SCORE 25784.245
AT ITER 312 NEW BEST:: SOT 71118 SOS 29230 HAS SOPS 29230 HAS SOUS 25740 HAS SOUPS 25740 WITH SCORE 25769.23
AT ITER 314 NEW BEST:: SOT 71118 SOS 29225 HAS SOPS 29225 HAS SOUS 25735 HAS SOUPS 25735 WITH SCORE 25764.225
AT ITER 321 NEW BEST:: SOT 71097 SOS 29204 HAS SOPS 29204 HAS SOUS 25735 HAS SOUPS 25735 WITH SCORE 25764.204
AT ITER 328 NEW BEST:: SOT 71039 SOS 29088 HAS SOPS 29088 HAS SOUS 25674 HAS SOUPS 25674 WITH SCORE 25703.088
AT ITER 332 NEW BEST:: SOT 71039 SOS 29064 HAS SOPS 29064 HAS SOUS 25626 HAS SOUPS 25626 WITH SCORE 25655.064
AT ITER 340 NEW BEST:: SOT 71039 SOS 29055 HAS SOPS 29055 HAS SOUS 25613 HAS SOUPS 25613 WITH SCORE 25642.055
AT ITER 349 NEW BEST:: SOT 70943 SOS 28896 HAS SOPS 28896 HAS SOUS 25557 HAS SOUPS 25557 WITH SCORE 25585.896
AT ITER 351 NEW BEST:: SOT 70931 SOS 28884 HAS SOPS 28884 HAS SOUS 25545 HAS SOUPS 25545 WITH SCORE 25573.884
AT ITER 352 NEW BEST:: SOT 70931 SOS 28874 HAS SOPS 28874 HAS SOUS 25545 HAS SOUPS 25545 WITH SCORE 25573.874
AT ITER 355 NEW BEST:: SOT 70911 SOS 28854 HAS SOPS 28854 HAS SOUS 25545 HAS SOUPS 25545 WITH SCORE 25573.854
AT ITER 361 NEW BEST:: SOT 70927 SOS 28697 HAS SOPS 28697 HAS SOUS 25448 HAS SOUPS 25448 WITH SCORE 25476.697
AT ITER 365 NEW BEST:: SOT 70862 SOS 28552 HAS SOPS 28552 HAS SOUS 25303 HAS SOUPS 25303 WITH SCORE 25331.552
AT ITER 366 NEW BEST:: SOT 70882 SOS 28477 HAS SOPS 28477 HAS SOUS 25228 HAS SOUPS 25228 WITH SCORE 25256.477
AT ITER 368 NEW BEST:: SOT 70881 SOS 28476 HAS SOPS 28476 HAS SOUS 25227 HAS SOUPS 25227 WITH SCORE 25255.476
AT ITER 369 NEW BEST:: SOT 70881 SOS 28475 HAS SOPS 28475 HAS SOUS 25226 HAS SOUPS 25226 WITH SCORE 25254.475
AT ITER 370 NEW BEST:: SOT 70847 SOS 28508 HAS SOPS 28508 HAS SOUS 25208 HAS SOUPS 25208 WITH SCORE 25236.508
AT ITER 377 NEW BEST:: SOT 70846 SOS 28506 HAS SOPS 28506 HAS SOUS 25206 HAS SOUPS 25206 WITH SCORE 25234.506
AT ITER 379 NEW BEST:: SOT 70735 SOS 28415 HAS SOPS 28415 HAS SOUS 25119 HAS SOUPS 25119 WITH SCORE 25147.415
AT ITER 388 NEW BEST:: SOT 70677 SOS 28299 HAS SOPS 28299 HAS SOUS 25003 HAS SOUPS 25003 WITH SCORE 25031.299
AT ITER 404 NEW BEST:: SOT 70652 SOS 28273 HAS SOPS 28273 HAS SOUS 24977 HAS SOUPS 24977 WITH SCORE 25005.273
AT ITER 411 NEW BEST:: SOT 70678 SOS 28196 HAS SOPS 28196 HAS SOUS 24902 HAS SOUPS 24902 WITH SCORE 24930.196
AT ITER 413 NEW BEST:: SOT 70678 SOS 28119 HAS SOPS 28119 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24928.119
AT ITER 414 NEW BEST:: SOT 70709 SOS 28145 HAS SOPS 28145 HAS SOUS 24869 HAS SOUPS 24869 WITH SCORE 24897.145
AT ITER 427 NEW BEST:: SOT 70621 SOS 28013 HAS SOPS 28013 HAS SOUS 24781 HAS SOUPS 24781 WITH SCORE 24809.013
AT ITER 430 NEW BEST:: SOT 70598 SOS 27990 HAS SOPS 27990 HAS SOUS 24758 HAS SOUPS 24758 WITH SCORE 24785.99
AT ITER 435 NEW BEST:: SOT 70598 SOS 27981 HAS SOPS 27981 HAS SOUS 24749 HAS SOUPS 24749 WITH SCORE 24776.981
AT ITER 444 NEW BEST:: SOT 70542 SOS 27962 HAS SOPS 27962 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24761.962
AT ITER 451 NEW BEST:: SOT 70530 SOS 27950 HAS SOPS 27950 HAS SOUS 24722 HAS SOUPS 24722 WITH SCORE 24749.95
AT ITER 455 NEW BEST:: SOT 70565 SOS 27887 HAS SOPS 27887 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24686.887
AT ITER 458 NEW BEST:: SOT 70565 SOS 27825 HAS SOPS 27825 HAS SOUS 24659 HAS SOUPS 24659 WITH SCORE 24686.825
AT ITER 459 NEW BEST:: SOT 70539 SOS 27759 HAS SOPS 27759 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24672.759
AT ITER 466 NEW BEST:: SOT 70536 SOS 27753 HAS SOPS 27753 HAS SOUS 24639 HAS SOUPS 24639 WITH SCORE 24666.753
AT ITER 467 NEW BEST:: SOT 70342 SOS 27413 HAS SOPS 27413 HAS SOUS 24395 HAS SOUPS 24395 WITH SCORE 24422.413
AT ITER 470 NEW BEST:: SOT 70313 SOS 27276 HAS SOPS 27276 HAS SOUS 24223 HAS SOUPS 24223 WITH SCORE 24250.276
AT ITER 479 NEW BEST:: SOT 70315 SOS 27273 HAS SOPS 27273 HAS SOUS 24220 HAS SOUPS 24220 WITH SCORE 24247.273
AT ITER 481 NEW BEST:: SOT 70359 SOS 27266 HAS SOPS 27266 HAS SOUS 24119 HAS SOUPS 24119 WITH SCORE 24146.266
AT ITER 483 NEW BEST:: SOT 70423 SOS 27266 HAS SOPS 27266 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24142.266
AT ITER 490 NEW BEST:: SOT 70442 SOS 27084 HAS SOPS 27084 HAS SOUS 23933 HAS SOUPS 23933 WITH SCORE 23960.084
AT ITER 511 NEW BEST:: SOT 70291 SOS 26996 HAS SOPS 26996 HAS SOUS 23845 HAS SOUPS 23845 WITH SCORE 23871.996
AT ITER 521 NEW BEST:: SOT 70276 SOS 26979 HAS SOPS 26979 HAS SOUS 23828 HAS SOUPS 23828 WITH SCORE 23854.979
AT ITER 529 NEW BEST:: SOT 70276 SOS 26970 HAS SOPS 26970 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23836.97
AT ITER 545 NEW BEST:: SOT 70232 SOS 26801 HAS SOPS 26801 HAS SOUS 23641 HAS SOUPS 23641 WITH SCORE 23667.801
AT ITER 557 NEW BEST:: SOT 70227 SOS 26786 HAS SOPS 26786 HAS SOUS 23626 HAS SOUPS 23626 WITH SCORE 23652.786
AT ITER 575 NEW BEST:: SOT 70248 SOS 26771 HAS SOPS 26771 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23637.771
AT ITER 577 NEW BEST:: SOT 70212 SOS 26735 HAS SOPS 26735 HAS SOUS 23575 HAS SOUPS 23575 WITH SCORE 23601.735
AT ITER 581 NEW BEST:: SOT 70169 SOS 26638 HAS SOPS 26638 HAS SOUS 23554 HAS SOUPS 23554 WITH SCORE 23580.638
AT ITER 588 NEW BEST:: SOT 70163 SOS 26626 HAS SOPS 26626 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23568.626
AT ITER 589 NEW BEST:: SOT 70163 SOS 26611 HAS SOPS 26611 HAS SOUS 23527 HAS SOUPS 23527 WITH SCORE 23553.611
AT ITER 591 NEW BEST:: SOT 70198 SOS 26646 HAS SOPS 26646 HAS SOUS 23494 HAS SOUPS 23494 WITH SCORE 23520.646
AT ITER 594 NEW BEST:: SOT 70198 SOS 26554 HAS SOPS 26554 HAS SOUS 23301 HAS SOUPS 23301 WITH SCORE 23327.554
AT ITER 606 NEW BEST:: SOT 70198 SOS 26487 HAS SOPS 26487 HAS SOUS 23062 HAS SOUPS 23062 WITH SCORE 23088.487
AT ITER 617 NEW BEST:: SOT 70186 SOS 26463 HAS SOPS 26463 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 22993.463
AT ITER 620 NEW BEST:: SOT 70105 SOS 26389 HAS SOPS 26389 HAS SOUS 22942 HAS SOUPS 22942 WITH SCORE 22968.389
AT ITER 625 NEW BEST:: SOT 70020 SOS 26281 HAS SOPS 26281 HAS SOUS 22896 HAS SOUPS 22896 WITH SCORE 22922.281
AT ITER 631 NEW BEST:: SOT 69849 SOS 25985 HAS SOPS 25985 HAS SOUS 22600 HAS SOUPS 22600 WITH SCORE 22625.985
AT ITER 632 NEW BEST:: SOT 69787 SOS 25923 HAS SOPS 25923 HAS SOUS 22538 HAS SOUPS 22538 WITH SCORE 22563.923
AT ITER 634 NEW BEST:: SOT 69748 SOS 25849 HAS SOPS 25849 HAS SOUS 22479 HAS SOUPS 22479 WITH SCORE 22504.849
AT ITER 662 NEW BEST:: SOT 69690 SOS 25772 HAS SOPS 25772 HAS SOUS 22402 HAS SOUPS 22402 WITH SCORE 22427.772
AT ITER 664 NEW BEST:: SOT 69662 SOS 25716 HAS SOPS 25716 HAS SOUS 22346 HAS SOUPS 22346 WITH SCORE 22371.716
AT ITER 665 NEW BEST:: SOT 69737 SOS 25692 HAS SOPS 25692 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22347.692
AT ITER 681 NEW BEST:: SOT 69724 SOS 25679 HAS SOPS 25679 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22347.679
AT ITER 693 NEW BEST:: SOT 69663 SOS 25577 HAS SOPS 25577 HAS SOUS 22298 HAS SOUPS 22298 WITH SCORE 22323.577
AT ITER 700 NEW BEST:: SOT 69653 SOS 25573 HAS SOPS 25573 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22309.573
AT ITER 701 NEW BEST:: SOT 69652 SOS 25572 HAS SOPS 25572 HAS SOUS 22283 HAS SOUPS 22283 WITH SCORE 22308.572
AT ITER 718 NEW BEST:: SOT 69584 SOS 25512 HAS SOPS 25512 HAS SOUS 22223 HAS SOUPS 22223 WITH SCORE 22248.512
AT ITER 726 NEW BEST:: SOT 69584 SOS 25504 HAS SOPS 25504 HAS SOUS 22215 HAS SOUPS 22215 WITH SCORE 22240.504
AT ITER 730 NEW BEST:: SOT 69584 SOS 25504 HAS SOPS 25504 HAS SOUS 22212 HAS SOUPS 22212 WITH SCORE 22237.504
AT ITER 739 NEW BEST:: SOT 69613 SOS 25533 HAS SOPS 25533 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22212.533
AT ITER 744 NEW BEST:: SOT 69604 SOS 25525 HAS SOPS 25525 HAS SOUS 22179 HAS SOUPS 22179 WITH SCORE 22204.525
AT ITER 746 NEW BEST:: SOT 69604 SOS 25505 HAS SOPS 25505 HAS SOUS 22159 HAS SOUPS 22159 WITH SCORE 22184.505
AT ITER 747 NEW BEST:: SOT 69604 SOS 25495 HAS SOPS 25495 HAS SOUS 22149 HAS SOUPS 22149 WITH SCORE 22174.495
AT ITER 755 NEW BEST:: SOT 69620 SOS 25439 HAS SOPS 25439 HAS SOUS 22071 HAS SOUPS 22071 WITH SCORE 22096.439
AT ITER 767 NEW BEST:: SOT 69616 SOS 25427 HAS SOPS 25427 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22092.427
AT ITER 772 NEW BEST:: SOT 69598 SOS 25347 HAS SOPS 25347 HAS SOUS 21987 HAS SOUPS 21987 WITH SCORE 22012.347
AT ITER 773 NEW BEST:: SOT 69571 SOS 25338 HAS SOPS 25338 HAS SOUS 21978 HAS SOUPS 21978 WITH SCORE 22003.338
AT ITER 810 NEW BEST:: SOT 69561 SOS 25318 HAS SOPS 25318 HAS SOUS 21968 HAS SOUPS 21968 WITH SCORE 21993.318
AT ITER 816 NEW BEST:: SOT 69502 SOS 25186 HAS SOPS 25186 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21925.186
AT ITER 818 NEW BEST:: SOT 69499 SOS 25180 HAS SOPS 25180 HAS SOUS 21894 HAS SOUPS 21894 WITH SCORE 21919.18
AT ITER 828 NEW BEST:: SOT 69470 SOS 25022 HAS SOPS 25022 HAS SOUS 21736 HAS SOUPS 21736 WITH SCORE 21761.022
AT ITER 834 NEW BEST:: SOT 69470 SOS 24987 HAS SOPS 24987 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21725.987
AT ITER 837 NEW BEST:: SOT 69451 SOS 24986 HAS SOPS 24986 HAS SOUS 21700 HAS SOUPS 21700 WITH SCORE 21724.986
AT ITER 849 NEW BEST:: SOT 69450 SOS 24985 HAS SOPS 24985 HAS SOUS 21699 HAS SOUPS 21699 WITH SCORE 21723.985
AT ITER 891 NEW BEST:: SOT 69479 SOS 25042 HAS SOPS 25042 HAS SOUS 21664 HAS SOUPS 21664 WITH SCORE 21689.042
AT ITER 901 NEW BEST:: SOT 69383 SOS 24908 HAS SOPS 24908 HAS SOUS 21568 HAS SOUPS 21568 WITH SCORE 21592.908
AT ITER 906 NEW BEST:: SOT 69346 SOS 24889 HAS SOPS 24889 HAS SOUS 21549 HAS SOUPS 21549 WITH SCORE 21573.889
AT ITER 925 NEW BEST:: SOT 69338 SOS 24881 HAS SOPS 24881 HAS SOUS 21541 HAS SOUPS 21541 WITH SCORE 21565.881
AT ITER 927 NEW BEST:: SOT 69324 SOS 24869 HAS SOPS 24869 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21553.869
AT ITER 944 NEW BEST:: SOT 69311 SOS 24856 HAS SOPS 24856 HAS SOUS 21529 HAS SOUPS 21529 WITH SCORE 21553.856
AT ITER 955 NEW BEST:: SOT 69245 SOS 24819 HAS SOPS 24819 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21516.819
AT ITER 956 NEW BEST:: SOT 69215 SOS 24733 HAS SOPS 24733 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21430.733
AT ITER 963 NEW BEST:: SOT 69204 SOS 24711 HAS SOPS 24711 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21408.711
AT ITER 977 NEW BEST:: SOT 69246 SOS 24753 HAS SOPS 24753 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21407.753
AT ITER 980 NEW BEST:: SOT 69246 SOS 24752 HAS SOPS 24752 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21406.752
AT ITER 985 NEW BEST:: SOT 69229 SOS 24718 HAS SOPS 24718 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21372.718
AT ITER 988 NEW BEST:: SOT 69287 SOS 24735 HAS SOPS 24735 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21324.735
AT ITER 1008 NEW BEST:: SOT 69209 SOS 24657 HAS SOPS 24657 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21324.657
AT ITER 1016 NEW BEST:: SOT 69209 SOS 24648 HAS SOPS 24648 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21320.648
AT ITER 1021 NEW BEST:: SOT 69194 SOS 24633 HAS SOPS 24633 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21320.633
AT ITER 1031 NEW BEST:: SOT 69169 SOS 24566 HAS SOPS 24566 HAS SOUS 21254 HAS SOUPS 21254 WITH SCORE 21278.566
AT ITER 1046 NEW BEST:: SOT 69210 SOS 24607 HAS SOPS 24607 HAS SOUS 21247 HAS SOUPS 21247 WITH SCORE 21271.607
AT ITER 1052 NEW BEST:: SOT 69130 SOS 24556 HAS SOPS 24556 HAS SOUS 21199 HAS SOUPS 21199 WITH SCORE 21223.556
AT ITER 1063 NEW BEST:: SOT 69130 SOS 24546 HAS SOPS 24546 HAS SOUS 21189 HAS SOUPS 21189 WITH SCORE 21213.546
AT ITER 1105 NEW BEST:: SOT 69120 SOS 24536 HAS SOPS 24536 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21203.536
AT ITER 1112 NEW BEST:: SOT 69120 SOS 24516 HAS SOPS 24516 HAS SOUS 21159 HAS SOUPS 21159 WITH SCORE 21183.516
AT ITER 1116 NEW BEST:: SOT 69103 SOS 24482 HAS SOPS 24482 HAS SOUS 21125 HAS SOUPS 21125 WITH SCORE 21149.482
AT ITER 1131 NEW BEST:: SOT 69121 SOS 24410 HAS SOPS 24410 HAS SOUS 21107 HAS SOUPS 21107 WITH SCORE 21131.41
AT ITER 1153 NEW BEST:: SOT 69054 SOS 24196 HAS SOPS 24196 HAS SOUS 20960 HAS SOUPS 20960 WITH SCORE 20984.196
AT ITER 1159 NEW BEST:: SOT 69088 SOS 24211 HAS SOPS 24211 HAS SOUS 20930 HAS SOUPS 20930 WITH SCORE 20954.211
AT ITER 1180 NEW BEST:: SOT 69088 SOS 24210 HAS SOPS 24210 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20953.21
AT ITER 1181 NEW BEST:: SOT 69058 SOS 24174 HAS SOPS 24174 HAS SOUS 20893 HAS SOUPS 20893 WITH SCORE 20917.174
AT ITER 1186 NEW BEST:: SOT 69051 SOS 24160 HAS SOPS 24160 HAS SOUS 20886 HAS SOUPS 20886 WITH SCORE 20910.16
AT ITER 1198 NEW BEST:: SOT 69029 SOS 24179 HAS SOPS 24179 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20866.179
AT ITER 1199 NEW BEST:: SOT 69005 SOS 24163 HAS SOPS 24163 HAS SOUS 20826 HAS SOUPS 20826 WITH SCORE 20850.163
AT ITER 1218 NEW BEST:: SOT 68931 SOS 24052 HAS SOPS 24052 HAS SOUS 20752 HAS SOUPS 20752 WITH SCORE 20776.052
AT ITER 1231 NEW BEST:: SOT 68931 SOS 24049 HAS SOPS 24049 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20773.049
AT ITER 1236 NEW BEST:: SOT 68954 SOS 24020 HAS SOPS 24020 HAS SOUS 20720 HAS SOUPS 20720 WITH SCORE 20744.02
AT ITER 1291 NEW BEST:: SOT 68963 SOS 24022 HAS SOPS 24022 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20730.022
AT ITER 1304 NEW BEST:: SOT 68910 SOS 23930 HAS SOPS 23930 HAS SOUS 20658 HAS SOUPS 20658 WITH SCORE 20681.93
AT ITER 1314 NEW BEST:: SOT 68939 SOS 23917 HAS SOPS 23917 HAS SOUS 20645 HAS SOUPS 20645 WITH SCORE 20668.917
AT ITER 1316 NEW BEST:: SOT 68910 SOS 23859 HAS SOPS 23859 HAS SOUS 20587 HAS SOUPS 20587 WITH SCORE 20610.859
AT ITER 1322 NEW BEST:: SOT 68866 SOS 23796 HAS SOPS 23796 HAS SOUS 20524 HAS SOUPS 20524 WITH SCORE 20547.796
AT ITER 1341 NEW BEST:: SOT 68860 SOS 23784 HAS SOPS 23784 HAS SOUS 20512 HAS SOUPS 20512 WITH SCORE 20535.784
AT ITER 1366 NEW BEST:: SOT 68859 SOS 23783 HAS SOPS 23783 HAS SOUS 20512 HAS SOUPS 20512 WITH SCORE 20535.783
AT ITER 1385 NEW BEST:: SOT 68944 SOS 23801 HAS SOPS 23801 HAS SOUS 20505 HAS SOUPS 20505 WITH SCORE 20528.801
AT ITER 1386 NEW BEST:: SOT 68945 SOS 23789 HAS SOPS 23789 HAS SOUS 20493 HAS SOUPS 20493 WITH SCORE 20516.789
AT ITER 1393 NEW BEST:: SOT 68941 SOS 23781 HAS SOPS 23781 HAS SOUS 20485 HAS SOUPS 20485 WITH SCORE 20508.781
AT ITER 1404 NEW BEST:: SOT 68903 SOS 23442 HAS SOPS 23442 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20187.442
AT ITER 1406 NEW BEST:: SOT 68887 SOS 23419 HAS SOPS 23419 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20164.419
AT ITER 1411 NEW BEST:: SOT 68873 SOS 23391 HAS SOPS 23391 HAS SOUS 20127 HAS SOUPS 20127 WITH SCORE 20150.391
AT ITER 1422 NEW BEST:: SOT 68873 SOS 23377 HAS SOPS 23377 HAS SOUS 20113 HAS SOUPS 20113 WITH SCORE 20136.377
AT ITER 1439 NEW BEST:: SOT 68861 SOS 23365 HAS SOPS 23365 HAS SOUS 20113 HAS SOUPS 20113 WITH SCORE 20136.365
AT ITER 1456 NEW BEST:: SOT 68861 SOS 23359 HAS SOPS 23359 HAS SOUS 20107 HAS SOUPS 20107 WITH SCORE 20130.359
AT ITER 1477 NEW BEST:: SOT 68858 SOS 23350 HAS SOPS 23350 HAS SOUS 20098 HAS SOUPS 20098 WITH SCORE 20121.35
AT ITER 1500 NEW BEST:: SOT 68858 SOS 23338 HAS SOPS 23338 HAS SOUS 20086 HAS SOUPS 20086 WITH SCORE 20109.338
AT ITER 1511 NEW BEST:: SOT 68843 SOS 23323 HAS SOPS 23323 HAS SOUS 20071 HAS SOUPS 20071 WITH SCORE 20094.323
AT ITER 1518 NEW BEST:: SOT 68831 SOS 23299 HAS SOPS 23299 HAS SOUS 20047 HAS SOUPS 20047 WITH SCORE 20070.299
AT ITER 1522 NEW BEST:: SOT 68787 SOS 23255 HAS SOPS 23255 HAS SOUS 20003 HAS SOUPS 20003 WITH SCORE 20026.255
AT ITER 1540 NEW BEST:: SOT 68896 SOS 23250 HAS SOPS 23250 HAS SOUS 19998 HAS SOUPS 19998 WITH SCORE 20021.25
AT ITER 1546 NEW BEST:: SOT 68890 SOS 23244 HAS SOPS 23244 HAS SOUS 19998 HAS SOUPS 19998 WITH SCORE 20021.244
AT ITER 1555 NEW BEST:: SOT 68997 SOS 23217 HAS SOPS 23217 HAS SOUS 19971 HAS SOUPS 19971 WITH SCORE 19994.217
AT ITER 1558 NEW BEST:: SOT 69055 SOS 23211 HAS SOPS 23211 HAS SOUS 19965 HAS SOUPS 19965 WITH SCORE 19988.211
AT ITER 1559 NEW BEST:: SOT 69056 SOS 23212 HAS SOPS 23212 HAS SOUS 19943 HAS SOUPS 19943 WITH SCORE 19966.212
AT ITER 1569 NEW BEST:: SOT 69053 SOS 23206 HAS SOPS 23206 HAS SOUS 19937 HAS SOUPS 19937 WITH SCORE 19960.206
AT ITER 1584 NEW BEST:: SOT 69053 SOS 23204 HAS SOPS 23204 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19958.204
AT ITER 1590 NEW BEST:: SOT 69051 SOS 23200 HAS SOPS 23200 HAS SOUS 19929 HAS SOUPS 19929 WITH SCORE 19952.2
AT ITER 1620 NEW BEST:: SOT 69051 SOS 23199 HAS SOPS 23199 HAS SOUS 19928 HAS SOUPS 19928 WITH SCORE 19951.199
AT ITER 1629 NEW BEST:: SOT 69030 SOS 23194 HAS SOPS 23194 HAS SOUS 19923 HAS SOUPS 19923 WITH SCORE 19946.194
AT ITER 1637 NEW BEST:: SOT 69023 SOS 23168 HAS SOPS 23168 HAS SOUS 19897 HAS SOUPS 19897 WITH SCORE 19920.168
AT ITER 1641 NEW BEST:: SOT 69017 SOS 23162 HAS SOPS 23162 HAS SOUS 19891 HAS SOUPS 19891 WITH SCORE 19914.162
AT ITER 1649 NEW BEST:: SOT 69012 SOS 23171 HAS SOPS 23171 HAS SOUS 19886 HAS SOUPS 19886 WITH SCORE 19909.171
AT ITER 1685 NEW BEST:: SOT 69012 SOS 23160 HAS SOPS 23160 HAS SOUS 19875 HAS SOUPS 19875 WITH SCORE 19898.16
AT ITER 1693 NEW BEST:: SOT 69005 SOS 23146 HAS SOPS 23146 HAS SOUS 19861 HAS SOUPS 19861 WITH SCORE 19884.146
AT ITER 1698 NEW BEST:: SOT 69006 SOS 23147 HAS SOPS 23147 HAS SOUS 19847 HAS SOUPS 19847 WITH SCORE 19870.147
AT ITER 1701 NEW BEST:: SOT 69006 SOS 23137 HAS SOPS 23137 HAS SOUS 19837 HAS SOUPS 19837 WITH SCORE 19860.137
AT ITER 1711 NEW BEST:: SOT 68911 SOS 23169 HAS SOPS 23169 HAS SOUS 19754 HAS SOUPS 19754 WITH SCORE 19777.169
AT ITER 1729 NEW BEST:: SOT 68891 SOS 23108 HAS SOPS 23108 HAS SOUS 19693 HAS SOUPS 19693 WITH SCORE 19716.108
AT ITER 1734 NEW BEST:: SOT 68852 SOS 23046 HAS SOPS 23046 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19643.046
AT ITER 1737 NEW BEST:: SOT 68852 SOS 23030 HAS SOPS 23030 HAS SOUS 19612 HAS SOUPS 19612 WITH SCORE 19635.03
AT ITER 1742 NEW BEST:: SOT 68852 SOS 23027 HAS SOPS 23027 HAS SOUS 19609 HAS SOUPS 19609 WITH SCORE 19632.027
AT ITER 1744 NEW BEST:: SOT 68826 SOS 22975 HAS SOPS 22975 HAS SOUS 19574 HAS SOUPS 19574 WITH SCORE 19596.975
AT ITER 1746 NEW BEST:: SOT 68824 SOS 22885 HAS SOPS 22885 HAS SOUS 19484 HAS SOUPS 19484 WITH SCORE 19506.885
AT ITER 1775 NEW BEST:: SOT 68824 SOS 22881 HAS SOPS 22881 HAS SOUS 19480 HAS SOUPS 19480 WITH SCORE 19502.881
AT ITER 1777 NEW BEST:: SOT 68835 SOS 22879 HAS SOPS 22879 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19500.879
AT ITER 1790 NEW BEST:: SOT 68834 SOS 22878 HAS SOPS 22878 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19499.878
AT ITER 1804 NEW BEST:: SOT 68828 SOS 22872 HAS SOPS 22872 HAS SOUS 19471 HAS SOUPS 19471 WITH SCORE 19493.872
AT ITER 1811 NEW BEST:: SOT 68802 SOS 22846 HAS SOPS 22846 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19467.846
AT ITER 1816 NEW BEST:: SOT 68802 SOS 22780 HAS SOPS 22780 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19404.78
AT ITER 1819 NEW BEST:: SOT 68713 SOS 22760 HAS SOPS 22760 HAS SOUS 19362 HAS SOUPS 19362 WITH SCORE 19384.76
AT ITER 1823 NEW BEST:: SOT 68709 SOS 22697 HAS SOPS 22697 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19270.697
AT ITER 1839 NEW BEST:: SOT 68703 SOS 22667 HAS SOPS 22667 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19240.667
AT ITER 1841 NEW BEST:: SOT 68803 SOS 22664 HAS SOPS 22664 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19237.664
AT ITER 1850 NEW BEST:: SOT 68802 SOS 22585 HAS SOPS 22585 HAS SOUS 19136 HAS SOUPS 19136 WITH SCORE 19158.585
AT ITER 1924 NEW BEST:: SOT 68802 SOS 22584 HAS SOPS 22584 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19157.584
AT ITER 1928 NEW BEST:: SOT 68774 SOS 22766 HAS SOPS 22766 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19136.766
AT ITER 1940 NEW BEST:: SOT 68774 SOS 22766 HAS SOPS 22766 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19121.766
AT ITER 1955 NEW BEST:: SOT 68753 SOS 22762 HAS SOPS 22762 HAS SOUS 19095 HAS SOUPS 19095 WITH SCORE 19117.762
AT ITER 1957 NEW BEST:: SOT 68753 SOS 22761 HAS SOPS 22761 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19115.761
AT ITER 1980 NEW BEST:: SOT 68740 SOS 22748 HAS SOPS 22748 HAS SOUS 19080 HAS SOUPS 19080 WITH SCORE 19102.748
AT ITER 2007 NEW BEST:: SOT 68730 SOS 22738 HAS SOPS 22738 HAS SOUS 19070 HAS SOUPS 19070 WITH SCORE 19092.738
AT ITER 2047 NEW BEST:: SOT 68727 SOS 22735 HAS SOPS 22735 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19089.735
AT ITER 2078 NEW BEST:: SOT 68716 SOS 22720 HAS SOPS 22720 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19074.72
AT ITER 2085 NEW BEST:: SOT 68716 SOS 22826 HAS SOPS 22826 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19073.826
AT ITER 2109 NEW BEST:: SOT 68690 SOS 22708 HAS SOPS 22708 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18955.708
AT ITER 2129 NEW BEST:: SOT 68682 SOS 22696 HAS SOPS 22696 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18943.696
AT ITER 2152 NEW BEST:: SOT 68773 SOS 22673 HAS SOPS 22673 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18920.673
AT ITER 2179 NEW BEST:: SOT 68751 SOS 22629 HAS SOPS 22629 HAS SOUS 18854 HAS SOUPS 18854 WITH SCORE 18876.629
AT ITER 2186 NEW BEST:: SOT 68722 SOS 22612 HAS SOPS 22612 HAS SOUS 18837 HAS SOUPS 18837 WITH SCORE 18859.612
AT ITER 2206 NEW BEST:: SOT 68683 SOS 22556 HAS SOPS 22556 HAS SOUS 18802 HAS SOUPS 18802 WITH SCORE 18824.556
AT ITER 2212 NEW BEST:: SOT 68690 SOS 22520 HAS SOPS 22520 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18820.52
AT ITER 2242 NEW BEST:: SOT 68690 SOS 22512 HAS SOPS 22512 HAS SOUS 18790 HAS SOUPS 18790 WITH SCORE 18812.512
AT ITER 2250 NEW BEST:: SOT 68549 SOS 24069 HAS SOPS 24069 HAS SOUS 18727 HAS SOUPS 18727 WITH SCORE 18751.069
AT ITER 2302 NEW BEST:: SOT 68522 SOS 24022 HAS SOPS 24022 HAS SOUS 18700 HAS SOUPS 18700 WITH SCORE 18724.022
AT ITER 2307 NEW BEST:: SOT 68459 SOS 23972 HAS SOPS 23972 HAS SOUS 18650 HAS SOUPS 18650 WITH SCORE 18673.972
AT ITER 2317 NEW BEST:: SOT 68456 SOS 23967 HAS SOPS 23967 HAS SOUS 18645 HAS SOUPS 18645 WITH SCORE 18668.967
AT ITER 2341 NEW BEST:: SOT 68395 SOS 23963 HAS SOPS 23963 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18664.963
AT ITER 2388 NEW BEST:: SOT 68395 SOS 23961 HAS SOPS 23961 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18664.961
AT ITER 2402 NEW BEST:: SOT 68371 SOS 23925 HAS SOPS 23925 HAS SOUS 18617 HAS SOUPS 18617 WITH SCORE 18640.925
AT ITER 2408 NEW BEST:: SOT 68360 SOS 23891 HAS SOPS 23891 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18606.891
AT ITER 2417 NEW BEST:: SOT 68354 SOS 23879 HAS SOPS 23879 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18594.879
AT ITER 2437 NEW BEST:: SOT 68348 SOS 23837 HAS SOPS 23837 HAS SOUS 18529 HAS SOUPS 18529 WITH SCORE 18552.837
AT ITER 2456 NEW BEST:: SOT 68273 SOS 23801 HAS SOPS 23801 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18516.801
AT ITER 2457 NEW BEST:: SOT 68250 SOS 23795 HAS SOPS 23795 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18510.795
AT ITER 2465 NEW BEST:: SOT 68249 SOS 23792 HAS SOPS 23792 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18508.792
AT ITER 2483 NEW BEST:: SOT 68241 SOS 23784 HAS SOPS 23784 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18500.784
AT ITER 2490 NEW BEST:: SOT 68217 SOS 23766 HAS SOPS 23766 HAS SOUS 18465 HAS SOUPS 18465 WITH SCORE 18488.766
AT ITER 2493 NEW BEST:: SOT 68213 SOS 23762 HAS SOPS 23762 HAS SOUS 18461 HAS SOUPS 18461 WITH SCORE 18484.762
AT ITER 2499 NEW BEST:: SOT 68213 SOS 23755 HAS SOPS 23755 HAS SOUS 18454 HAS SOUPS 18454 WITH SCORE 18477.755
AT ITER 2537 NEW BEST:: SOT 68213 SOS 23705 HAS SOPS 23705 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18427.705
AT ITER 2556 NEW BEST:: SOT 68207 SOS 23693 HAS SOPS 23693 HAS SOUS 18398 HAS SOUPS 18398 WITH SCORE 18421.693
AT ITER 2574 NEW BEST:: SOT 68112 SOS 23572 HAS SOPS 23572 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18380.572
AT ITER 2575 NEW BEST:: SOT 68006 SOS 23466 HAS SOPS 23466 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18380.466
AT ITER 2585 NEW BEST:: SOT 68006 SOS 23457 HAS SOPS 23457 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18371.457
AT ITER 2598 NEW BEST:: SOT 68002 SOS 23449 HAS SOPS 23449 HAS SOUS 18334 HAS SOUPS 18334 WITH SCORE 18357.449
AT ITER 2600 NEW BEST:: SOT 68003 SOS 23462 HAS SOPS 23462 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18335.462
AT ITER 2605 NEW BEST:: SOT 67987 SOS 23382 HAS SOPS 23382 HAS SOUS 18232 HAS SOUPS 18232 WITH SCORE 18255.382
AT ITER 2636 NEW BEST:: SOT 68014 SOS 23330 HAS SOPS 23330 HAS SOUS 18206 HAS SOUPS 18206 WITH SCORE 18229.33
AT ITER 2645 NEW BEST:: SOT 67963 SOS 23286 HAS SOPS 23286 HAS SOUS 18162 HAS SOUPS 18162 WITH SCORE 18185.286
AT ITER 2659 NEW BEST:: SOT 67961 SOS 23266 HAS SOPS 23266 HAS SOUS 18158 HAS SOUPS 18158 WITH SCORE 18181.266
AT ITER 2689 NEW BEST:: SOT 67961 SOS 23236 HAS SOPS 23236 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18151.236
AT ITER 2738 NEW BEST:: SOT 67974 SOS 23226 HAS SOPS 23226 HAS SOUS 18103 HAS SOUPS 18103 WITH SCORE 18126.226
AT ITER 2772 NEW BEST:: SOT 67971 SOS 23223 HAS SOPS 23223 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18123.223
AT ITER 2776 NEW BEST:: SOT 67961 SOS 23203 HAS SOPS 23203 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18103.203
AT ITER 2792 NEW BEST:: SOT 67923 SOS 23184 HAS SOPS 23184 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18084.184
AT ITER 2795 NEW BEST:: SOT 67942 SOS 23170 HAS SOPS 23170 HAS SOUS 18047 HAS SOUPS 18047 WITH SCORE 18070.17
AT ITER 2799 NEW BEST:: SOT 67996 SOS 23168 HAS SOPS 23168 HAS SOUS 18045 HAS SOUPS 18045 WITH SCORE 18068.168
AT ITER 2809 NEW BEST:: SOT 67992 SOS 23163 HAS SOPS 23163 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18064.163
AT ITER 2815 NEW BEST:: SOT 67981 SOS 23168 HAS SOPS 23168 HAS SOUS 18035 HAS SOUPS 18035 WITH SCORE 18058.168
AT ITER 2816 NEW BEST:: SOT 67920 SOS 23219 HAS SOPS 23219 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18047.219
AT ITER 2829 NEW BEST:: SOT 67920 SOS 23205 HAS SOPS 23205 HAS SOUS 17996 HAS SOUPS 17996 WITH SCORE 18019.205
AT ITER 2830 NEW BEST:: SOT 67851 SOS 23158 HAS SOPS 23158 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17971.158
AT ITER 2876 NEW BEST:: SOT 67808 SOS 23115 HAS SOPS 23115 HAS SOUS 17891 HAS SOUPS 17891 WITH SCORE 17914.115
AT ITER 2881 NEW BEST:: SOT 67802 SOS 23103 HAS SOPS 23103 HAS SOUS 17885 HAS SOUPS 17885 WITH SCORE 17908.103
AT ITER 2901 NEW BEST:: SOT 67794 SOS 23092 HAS SOPS 23092 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17897.092
AT ITER 2914 NEW BEST:: SOT 67794 SOS 23091 HAS SOPS 23091 HAS SOUS 17873 HAS SOUPS 17873 WITH SCORE 17896.091
AT ITER 2917 NEW BEST:: SOT 67794 SOS 23087 HAS SOPS 23087 HAS SOUS 17869 HAS SOUPS 17869 WITH SCORE 17892.087
AT ITER 2935 NEW BEST:: SOT 67810 SOS 23076 HAS SOPS 23076 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17865.076
AT ITER 2994 NEW BEST:: SOT 67810 SOS 23074 HAS SOPS 23074 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17865.074
AT ITER 3011 NEW BEST:: SOT 67810 SOS 23059 HAS SOPS 23059 HAS SOUS 17827 HAS SOUPS 17827 WITH SCORE 17850.059
AT ITER 3021 NEW BEST:: SOT 67802 SOS 23043 HAS SOPS 23043 HAS SOUS 17811 HAS SOUPS 17811 WITH SCORE 17834.043
AT ITER 3031 NEW BEST:: SOT 67774 SOS 23002 HAS SOPS 23002 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17808.002
AT ITER 3043 NEW BEST:: SOT 67783 SOS 23000 HAS SOPS 23000 HAS SOUS 17783 HAS SOUPS 17783 WITH SCORE 17806.0
AT ITER 3064 NEW BEST:: SOT 67706 SOS 22837 HAS SOPS 22837 HAS SOUS 17620 HAS SOUPS 17620 WITH SCORE 17642.837
AT ITER 3077 NEW BEST:: SOT 67695 SOS 22827 HAS SOPS 22827 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17632.827
AT ITER 3157 NEW BEST:: SOT 67695 SOS 22807 HAS SOPS 22807 HAS SOUS 17570 HAS SOUPS 17570 WITH SCORE 17592.807
AT ITER 3198 NEW BEST:: SOT 67693 SOS 22803 HAS SOPS 22803 HAS SOUS 17566 HAS SOUPS 17566 WITH SCORE 17588.803
AT ITER 3213 NEW BEST:: SOT 67643 SOS 22761 HAS SOPS 22761 HAS SOUS 17524 HAS SOUPS 17524 WITH SCORE 17546.761
AT ITER 3248 NEW BEST:: SOT 67635 SOS 22732 HAS SOPS 22732 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17542.732
AT ITER 3264 NEW BEST:: SOT 67628 SOS 22701 HAS SOPS 22701 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17526.701
AT ITER 3286 NEW BEST:: SOT 67628 SOS 22701 HAS SOPS 22701 HAS SOUS 17490 HAS SOUPS 17490 WITH SCORE 17512.701
AT ITER 3340 NEW BEST:: SOT 67595 SOS 22668 HAS SOPS 22668 HAS SOUS 17490 HAS SOUPS 17490 WITH SCORE 17512.668
AT ITER 3357 NEW BEST:: SOT 67542 SOS 24293 HAS SOPS 24293 HAS SOUS 17437 HAS SOUPS 17437 WITH SCORE 17461.293
AT ITER 3364 NEW BEST:: SOT 67548 SOS 24292 HAS SOPS 24292 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17460.292
AT ITER 3433 NEW BEST:: SOT 67545 SOS 24286 HAS SOPS 24286 HAS SOUS 17433 HAS SOUPS 17433 WITH SCORE 17457.286
AT ITER 3464 NEW BEST:: SOT 67544 SOS 24284 HAS SOPS 24284 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17455.284
AT ITER 3527 NEW BEST:: SOT 67540 SOS 24276 HAS SOPS 24276 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17447.276
AT ITER 3533 NEW BEST:: SOT 67540 SOS 24270 HAS SOPS 24270 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17441.27
AT ITER 3546 NEW BEST:: SOT 67484 SOS 24186 HAS SOPS 24186 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17385.186
AT ITER 3579 NEW BEST:: SOT 67488 SOS 24185 HAS SOPS 24185 HAS SOUS 17360 HAS SOUPS 17360 WITH SCORE 17384.185
AT ITER 3605 NEW BEST:: SOT 67466 SOS 24166 HAS SOPS 24166 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17365.166
AT ITER 3625 NEW BEST:: SOT 67466 SOS 24163 HAS SOPS 24163 HAS SOUS 17338 HAS SOUPS 17338 WITH SCORE 17362.163
AT ITER 3699 NEW BEST:: SOT 67459 SOS 24119 HAS SOPS 24119 HAS SOUS 17306 HAS SOUPS 17306 WITH SCORE 17330.119
AT ITER 3713 NEW BEST:: SOT 67459 SOS 24070 HAS SOPS 24070 HAS SOUS 17257 HAS SOUPS 17257 WITH SCORE 17281.07
AT ITER 3720 NEW BEST:: SOT 67453 SOS 24058 HAS SOPS 24058 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17269.058
AT ITER 3735 NEW BEST:: SOT 67453 SOS 24051 HAS SOPS 24051 HAS SOUS 17238 HAS SOUPS 17238 WITH SCORE 17262.051
AT ITER 3796 NEW BEST:: SOT 67441 SOS 24039 HAS SOPS 24039 HAS SOUS 17233 HAS SOUPS 17233 WITH SCORE 17257.039
AT ITER 3815 NEW BEST:: SOT 67439 SOS 24028 HAS SOPS 24028 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17246.028
AT ITER 3821 NEW BEST:: SOT 67439 SOS 24018 HAS SOPS 24018 HAS SOUS 17212 HAS SOUPS 17212 WITH SCORE 17236.018
AT ITER 3826 NEW BEST:: SOT 67427 SOS 23994 HAS SOPS 23994 HAS SOUS 17187 HAS SOUPS 17187 WITH SCORE 17210.994
AT ITER 3858 NEW BEST:: SOT 67427 SOS 23990 HAS SOPS 23990 HAS SOUS 17183 HAS SOUPS 17183 WITH SCORE 17206.99
AT ITER 3875 NEW BEST:: SOT 67425 SOS 23988 HAS SOPS 23988 HAS SOUS 17181 HAS SOUPS 17181 WITH SCORE 17204.988
AT ITER 3881 NEW BEST:: SOT 67426 SOS 23910 HAS SOPS 23910 HAS SOUS 17181 HAS SOUPS 17181 WITH SCORE 17204.91
AT ITER 3883 NEW BEST:: SOT 67424 SOS 23906 HAS SOPS 23906 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17200.906
AT ITER 3902 NEW BEST:: SOT 67421 SOS 23903 HAS SOPS 23903 HAS SOUS 17174 HAS SOUPS 17174 WITH SCORE 17197.903
AT ITER 3930 NEW BEST:: SOT 67337 SOS 23819 HAS SOPS 23819 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17155.819
AT ITER 3931 NEW BEST:: SOT 67322 SOS 23804 HAS SOPS 23804 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17140.804
AT ITER 3942 NEW BEST:: SOT 67189 SOS 23617 HAS SOPS 23617 HAS SOUS 17014 HAS SOUPS 17014 WITH SCORE 17037.617
AT ITER 3986 NEW BEST:: SOT 67194 SOS 23597 HAS SOPS 23597 HAS SOUS 16964 HAS SOUPS 16964 WITH SCORE 16987.597
AT ITER 4058 NEW BEST:: SOT 67202 SOS 23605 HAS SOPS 23605 HAS SOUS 16955 HAS SOUPS 16955 WITH SCORE 16978.605
AT ITER 4068 NEW BEST:: SOT 67201 SOS 23604 HAS SOPS 23604 HAS SOUS 16954 HAS SOUPS 16954 WITH SCORE 16977.604
AT ITER 4069 NEW BEST:: SOT 67200 SOS 23604 HAS SOPS 23604 HAS SOUS 16953 HAS SOUPS 16953 WITH SCORE 16976.604
AT ITER 4089 NEW BEST:: SOT 67205 SOS 23601 HAS SOPS 23601 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16973.601
AT ITER 4098 NEW BEST:: SOT 67204 SOS 23600 HAS SOPS 23600 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16973.6
AT ITER 4107 NEW BEST:: SOT 67203 SOS 23599 HAS SOPS 23599 HAS SOUS 16950 HAS SOUPS 16950 WITH SCORE 16973.599
AT ITER 4120 NEW BEST:: SOT 67194 SOS 23590 HAS SOPS 23590 HAS SOUS 16941 HAS SOUPS 16941 WITH SCORE 16964.59
AT ITER 4129 NEW BEST:: SOT 67178 SOS 23558 HAS SOPS 23558 HAS SOUS 16909 HAS SOUPS 16909 WITH SCORE 16932.558
AT ITER 4133 NEW BEST:: SOT 67178 SOS 23558 HAS SOPS 23558 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16917.558
AT ITER 4165 NEW BEST:: SOT 67173 SOS 23548 HAS SOPS 23548 HAS SOUS 16884 HAS SOUPS 16884 WITH SCORE 16907.548
AT ITER 4169 NEW BEST:: SOT 67161 SOS 23528 HAS SOPS 23528 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16887.528
AT ITER 4181 NEW BEST:: SOT 67152 SOS 23519 HAS SOPS 23519 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16878.519
AT ITER 4195 NEW BEST:: SOT 67152 SOS 23519 HAS SOPS 23519 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16853.519
AT ITER 4230 NEW BEST:: SOT 67143 SOS 23512 HAS SOPS 23512 HAS SOUS 16823 HAS SOUPS 16823 WITH SCORE 16846.512
AT ITER 4232 NEW BEST:: SOT 67121 SOS 23496 HAS SOPS 23496 HAS SOUS 16807 HAS SOUPS 16807 WITH SCORE 16830.496
AT ITER 4271 NEW BEST:: SOT 67121 SOS 23481 HAS SOPS 23481 HAS SOUS 16807 HAS SOUPS 16807 WITH SCORE 16830.481
AT ITER 4282 NEW BEST:: SOT 67112 SOS 23463 HAS SOPS 23463 HAS SOUS 16789 HAS SOUPS 16789 WITH SCORE 16812.463
AT ITER 4309 NEW BEST:: SOT 67107 SOS 23453 HAS SOPS 23453 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16802.453
AT ITER 4314 NEW BEST:: SOT 67112 SOS 23442 HAS SOPS 23442 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16791.442
AT ITER 4316 NEW BEST:: SOT 67104 SOS 23426 HAS SOPS 23426 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16775.426
AT ITER 4324 NEW BEST:: SOT 67102 SOS 23422 HAS SOPS 23422 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16771.422
AT ITER 4370 NEW BEST:: SOT 67102 SOS 23415 HAS SOPS 23415 HAS SOUS 16748 HAS SOUPS 16748 WITH SCORE 16771.415
AT ITER 4431 NEW BEST:: SOT 67101 SOS 23413 HAS SOPS 23413 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16769.413
AT ITER 4432 NEW BEST:: SOT 67083 SOS 23389 HAS SOPS 23389 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16745.389
AT ITER 4474 NEW BEST:: SOT 67046 SOS 23352 HAS SOPS 23352 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16745.352
AT ITER 4481 NEW BEST:: SOT 67043 SOS 23351 HAS SOPS 23351 HAS SOUS 16721 HAS SOUPS 16721 WITH SCORE 16744.351
AT ITER 4497 NEW BEST:: SOT 67024 SOS 23332 HAS SOPS 23332 HAS SOUS 16721 HAS SOUPS 16721 WITH SCORE 16744.332
AT ITER 4504 NEW BEST:: SOT 66985 SOS 23305 HAS SOPS 23305 HAS SOUS 16694 HAS SOUPS 16694 WITH SCORE 16717.305
AT ITER 4509 NEW BEST:: SOT 66962 SOS 23271 HAS SOPS 23271 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16706.271
AT ITER 4594 NEW BEST:: SOT 66961 SOS 23269 HAS SOPS 23269 HAS SOUS 16681 HAS SOUPS 16681 WITH SCORE 16704.269
AT ITER 4603 NEW BEST:: SOT 66969 SOS 23267 HAS SOPS 23267 HAS SOUS 16679 HAS SOUPS 16679 WITH SCORE 16702.267
AT ITER 4621 NEW BEST:: SOT 66958 SOS 23245 HAS SOPS 23245 HAS SOUS 16657 HAS SOUPS 16657 WITH SCORE 16680.245
AT ITER 4626 NEW BEST:: SOT 66939 SOS 23207 HAS SOPS 23207 HAS SOUS 16619 HAS SOUPS 16619 WITH SCORE 16642.207
AT ITER 4647 NEW BEST:: SOT 66939 SOS 23203 HAS SOPS 23203 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16634.203
AT ITER 4666 NEW BEST:: SOT 66935 SOS 23199 HAS SOPS 23199 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16630.199
AT ITER 4667 NEW BEST:: SOT 66929 SOS 23195 HAS SOPS 23195 HAS SOUS 16603 HAS SOUPS 16603 WITH SCORE 16626.195
AT ITER 4696 NEW BEST:: SOT 66930 SOS 23197 HAS SOPS 23197 HAS SOUS 16586 HAS SOUPS 16586 WITH SCORE 16609.197
AT ITER 4734 NEW BEST:: SOT 66924 SOS 23185 HAS SOPS 23185 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16577.185
AT ITER 4756 NEW BEST:: SOT 66941 SOS 23201 HAS SOPS 23201 HAS SOUS 16552 HAS SOUPS 16552 WITH SCORE 16575.201
AT ITER 4759 NEW BEST:: SOT 66914 SOS 23174 HAS SOPS 23174 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16548.174
AT ITER 4766 NEW BEST:: SOT 66913 SOS 23172 HAS SOPS 23172 HAS SOUS 16523 HAS SOUPS 16523 WITH SCORE 16546.172
AT ITER 4781 NEW BEST:: SOT 66910 SOS 23178 HAS SOPS 23178 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16543.178
AT ITER 4793 NEW BEST:: SOT 66903 SOS 23169 HAS SOPS 23169 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16534.169
AT ITER 4892 NEW BEST:: SOT 66899 SOS 23161 HAS SOPS 23161 HAS SOUS 16503 HAS SOUPS 16503 WITH SCORE 16526.161
AT ITER 4896 NEW BEST:: SOT 66902 SOS 23160 HAS SOPS 23160 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16518.16
AT ITER 4903 NEW BEST:: SOT 66896 SOS 23154 HAS SOPS 23154 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16512.154
AT ITER 4913 NEW BEST:: SOT 66896 SOS 23150 HAS SOPS 23150 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16508.15
AT ITER 4925 NEW BEST:: SOT 66890 SOS 23138 HAS SOPS 23138 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16496.138
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-05-CTLFireability-00 (EF( ((potential((tk(P161)>=1))))))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-01 (EF( (EF( ((potential((tk(P66)>=1))))))))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-02 ( (AG( (! ( (! ((potential((tk(P174)>=1) & (tk(P20)>=1) & (tk(P368)>=1))))) & ( ((potential((tk(P111)>=1)))) & ((potential((tk(P12)>=1)))) ) )))) & ( ((potential((tk(P290)>=1)))) | (! ((potential((tk(P134)>=1))))) ) )
PROPERTY: BusinessProcesses-PT-05-CTLFireability-03 (AU( ( (EG( ((potential((tk(P178)>=1)))))) | (AX( ((potential((tk(P340)>=1)))))) ) , (EF( ( ((potential((tk(P358)>=1)))) & ((potential((tk(P248)>=1)))) ))) ))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-04 ( ( ((potential((tk(P108)>=1)))) | ( (! ( ( ((potential((tk(P196)>=1)))) | ((potential((tk(P350)>=1)))) ) | (! ((potential((tk(P22)>=1))))) )) | ((potential((tk(P239)>=1) & (tk(P98)>=1) & (tk(P368)>=1)))) ) ) | (AG( (! ((potential((tk(P153)>=1))))))) )
PROPERTY: BusinessProcesses-PT-05-CTLFireability-05 (EX( ( (AU( ((potential((tk(P8)>=1)))) , ((potential((tk(P160)>=1) & (tk(P23)>=1) & (tk(P281)>=1)))) )) | ( (AX( ((potential((tk(P228)>=1)))))) | (EF( ((potential((tk(P182)>=1)))))) ) )))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-06 (EX( (AG( (EF( ((potential((tk(P183)>=1))))))))))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-07 ( (EG( (EG( (! ((potential((tk(P227)>=1))))))))) & (EU( (! ( ((potential((tk(P99)>=1)))) & ((potential((tk(P294)>=1)))) )) , (EX( ((potential((tk(P265)>=1) & (tk(P119)>=1) & (tk(P360)>=1)))))) )) )
PROPERTY: BusinessProcesses-PT-05-CTLFireability-08 ( ((potential((tk(P142)>=1)))) | (AG( (! ( ((potential((tk(P222)>=1)))) & ( ((potential((tk(P58)>=1)))) | ((potential((tk(P106)>=1)))) ) )))) )
PROPERTY: BusinessProcesses-PT-05-CTLFireability-09 ( ( (! ( (! (! ((potential((tk(P159)>=1) & (tk(P26)>=1) & (tk(P368)>=1)))))) | (AF( ((potential((tk(P267)>=1)))))) )) | (EF( (AF( ((potential((tk(P193)>=1)))))))) ) & (EF( ( (AX( ((potential((tk(P174)>=1) & (tk(P20)>=1) & (tk(P368)>=1)))))) | (EG( ((potential((tk(P131)>=1)))))) ))) )
PROPERTY: BusinessProcesses-PT-05-CTLFireability-10 (AG( ( (EX( ( ((potential((tk(P6)>=1)))) | ((potential((tk(P265)>=1) & (tk(P119)>=1) & (tk(P360)>=1)))) ))) | (! (EX( ((potential((tk(P340)>=1))))))) )))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-11 (EF( ( (AF( (! ((potential((tk(P92)>=1))))))) & (EU( ((potential((tk(P290)>=1)))) , ((potential((tk(P120)>=1)))) )) )))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-12 (EF( ( (EG( ((potential((tk(P64)>=1)))))) & (! (! ( ((potential((tk(P97)>=1)))) & ((potential((tk(P123)>=1)))) ))) )))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-13 (! (EF( (EU( ((potential((tk(P178)>=1)))) , ((potential((tk(P340)>=1)))) )))))
PROPERTY: BusinessProcesses-PT-05-CTLFireability-14 ( ( ( ( (EF( ((potential((tk(P238)>=1)))))) | ( (! ((potential((tk(P134)>=1))))) | ( ((potential((tk(P15)>=1)))) & ((potential((tk(P130)>=1)))) ) ) ) | (AX( ((potential((tk(P331)>=1)))))) ) | (AU( ((potential((tk(P280)>=1)))) , ( ((potential((tk(P359)>=1)))) | ((potential((tk(P250)>=1) & (tk(P89)>=1) & (tk(P338)>=1)))) ) )) ) & (! (EF( ( ((potential((tk(P7)>=1)))) & ((potential((tk(P168)>=1)))) )))) )
PROPERTY: BusinessProcesses-PT-05-CTLFireability-15 ( (! ( ( (! ((potential((tk(P302)>=1))))) | ((potential((tk(P179)>=1) & (tk(P116)>=1) & (tk(P368)>=1)))) ) & ((potential((tk(P310)>=1)))) )) & ( ( ( ( ( ((potential((tk(P268)>=1)))) | ((potential((tk(P365)>=1)))) ) & ( ((potential((tk(P289)>=1)))) & ((potential((tk(P292)>=1)))) ) ) & (! ((potential((tk(P43)>=1))))) ) | (! (! ( ((potential((tk(P66)>=1)))) & ((potential((tk(P276)>=1)))) ))) ) | (EF( (AF( ((potential((tk(P127)>=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-05"
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-05, 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-158897680100484"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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