Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000019.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-01b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000019
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 293K 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 ASLink-PT-01b-CTLCardinality-00
FORMULA_NAME ASLink-PT-01b-CTLCardinality-01
FORMULA_NAME ASLink-PT-01b-CTLCardinality-02
FORMULA_NAME ASLink-PT-01b-CTLCardinality-03
FORMULA_NAME ASLink-PT-01b-CTLCardinality-04
FORMULA_NAME ASLink-PT-01b-CTLCardinality-05
FORMULA_NAME ASLink-PT-01b-CTLCardinality-06
FORMULA_NAME ASLink-PT-01b-CTLCardinality-07
FORMULA_NAME ASLink-PT-01b-CTLCardinality-08
FORMULA_NAME ASLink-PT-01b-CTLCardinality-09
FORMULA_NAME ASLink-PT-01b-CTLCardinality-10
FORMULA_NAME ASLink-PT-01b-CTLCardinality-11
FORMULA_NAME ASLink-PT-01b-CTLCardinality-12
FORMULA_NAME ASLink-PT-01b-CTLCardinality-13
FORMULA_NAME ASLink-PT-01b-CTLCardinality-14
FORMULA_NAME ASLink-PT-01b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1588986194551

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

GOT IT HERE. BS
Petri model created: 846 places, 1148 transitions, 3624 arcs.
AT ITER 0 NEW BEST:: SOT 592042 SOS 207952 HAS SOPS 207952 HAS SOUS 160350 HAS SOUPS 160350 WITH SCORE 160557.952
AT ITER 3 NEW BEST:: SOT 591867 SOS 208554 HAS SOPS 208554 HAS SOUS 160133 HAS SOUPS 160133 WITH SCORE 160341.554
AT ITER 4 NEW BEST:: SOT 590139 SOS 206934 HAS SOPS 206934 HAS SOUS 159917 HAS SOUPS 159917 WITH SCORE 160123.934
AT ITER 14 NEW BEST:: SOT 590096 SOS 206891 HAS SOPS 206891 HAS SOUS 159745 HAS SOUPS 159745 WITH SCORE 159951.891
AT ITER 16 NEW BEST:: SOT 590013 SOS 206836 HAS SOPS 206836 HAS SOUS 159688 HAS SOUPS 159688 WITH SCORE 159894.836
AT ITER 30 NEW BEST:: SOT 590013 SOS 206836 HAS SOPS 206836 HAS SOUS 159638 HAS SOUPS 159638 WITH SCORE 159844.836
AT ITER 35 NEW BEST:: SOT 589964 SOS 206784 HAS SOPS 206784 HAS SOUS 159439 HAS SOUPS 159439 WITH SCORE 159645.784
AT ITER 39 NEW BEST:: SOT 589964 SOS 206757 HAS SOPS 206757 HAS SOUS 159412 HAS SOUPS 159412 WITH SCORE 159618.757
AT ITER 61 NEW BEST:: SOT 589964 SOS 206914 HAS SOPS 206914 HAS SOUS 159387 HAS SOUPS 159387 WITH SCORE 159593.914
AT ITER 65 NEW BEST:: SOT 589842 SOS 206627 HAS SOPS 206627 HAS SOUS 159078 HAS SOUPS 159078 WITH SCORE 159284.627
AT ITER 83 NEW BEST:: SOT 588864 SOS 206953 HAS SOPS 206953 HAS SOUS 158263 HAS SOUPS 158263 WITH SCORE 158469.953
AT ITER 86 NEW BEST:: SOT 586533 SOS 204756 HAS SOPS 204756 HAS SOUS 158146 HAS SOUPS 158146 WITH SCORE 158350.756
AT ITER 89 NEW BEST:: SOT 586533 SOS 204696 HAS SOPS 204696 HAS SOUS 158143 HAS SOUPS 158143 WITH SCORE 158347.696
AT ITER 95 NEW BEST:: SOT 586527 SOS 204616 HAS SOPS 204616 HAS SOUS 158037 HAS SOUPS 158037 WITH SCORE 158241.616
AT ITER 110 NEW BEST:: SOT 586526 SOS 204662 HAS SOPS 204662 HAS SOUS 157939 HAS SOUPS 157939 WITH SCORE 158143.662
AT ITER 115 NEW BEST:: SOT 586310 SOS 204463 HAS SOPS 204463 HAS SOUS 157740 HAS SOUPS 157740 WITH SCORE 157944.463
AT ITER 116 NEW BEST:: SOT 586252 SOS 204347 HAS SOPS 204347 HAS SOUS 157623 HAS SOUPS 157623 WITH SCORE 157827.347
AT ITER 133 NEW BEST:: SOT 586250 SOS 204336 HAS SOPS 204336 HAS SOUS 157612 HAS SOUPS 157612 WITH SCORE 157816.336
AT ITER 137 NEW BEST:: SOT 586130 SOS 204291 HAS SOPS 204291 HAS SOUS 157567 HAS SOUPS 157567 WITH SCORE 157771.291
AT ITER 147 NEW BEST:: SOT 586130 SOS 203228 HAS SOPS 203228 HAS SOUS 157567 HAS SOUPS 157567 WITH SCORE 157770.228
AT ITER 149 NEW BEST:: SOT 586010 SOS 203116 HAS SOPS 203116 HAS SOUS 157559 HAS SOUPS 157559 WITH SCORE 157762.116
AT ITER 155 NEW BEST:: SOT 585678 SOS 202784 HAS SOPS 202784 HAS SOUS 157223 HAS SOUPS 157223 WITH SCORE 157425.784
AT ITER 168 NEW BEST:: SOT 585611 SOS 202717 HAS SOPS 202717 HAS SOUS 157156 HAS SOUPS 157156 WITH SCORE 157358.717
AT ITER 174 NEW BEST:: SOT 585607 SOS 202396 HAS SOPS 202396 HAS SOUS 157097 HAS SOUPS 157097 WITH SCORE 157299.396
AT ITER 193 NEW BEST:: SOT 585590 SOS 202159 HAS SOPS 202159 HAS SOUS 156889 HAS SOUPS 156889 WITH SCORE 157091.159
AT ITER 203 NEW BEST:: SOT 585566 SOS 202106 HAS SOPS 202106 HAS SOUS 156836 HAS SOUPS 156836 WITH SCORE 157038.106
AT ITER 206 NEW BEST:: SOT 585306 SOS 201970 HAS SOPS 201970 HAS SOUS 156700 HAS SOUPS 156700 WITH SCORE 156901.97
AT ITER 213 NEW BEST:: SOT 585263 SOS 201927 HAS SOPS 201927 HAS SOUS 156528 HAS SOUPS 156528 WITH SCORE 156729.927
AT ITER 231 NEW BEST:: SOT 585133 SOS 201761 HAS SOPS 201761 HAS SOUS 156357 HAS SOUPS 156357 WITH SCORE 156558.761
AT ITER 235 NEW BEST:: SOT 584969 SOS 201597 HAS SOPS 201597 HAS SOUS 156297 HAS SOUPS 156297 WITH SCORE 156498.597
AT ITER 249 NEW BEST:: SOT 584954 SOS 201567 HAS SOPS 201567 HAS SOUS 156267 HAS SOUPS 156267 WITH SCORE 156468.567
AT ITER 268 NEW BEST:: SOT 584799 SOS 201352 HAS SOPS 201352 HAS SOUS 156122 HAS SOUPS 156122 WITH SCORE 156323.352
AT ITER 275 NEW BEST:: SOT 584776 SOS 201306 HAS SOPS 201306 HAS SOUS 156099 HAS SOUPS 156099 WITH SCORE 156300.306
AT ITER 280 NEW BEST:: SOT 584067 SOS 202472 HAS SOPS 202472 HAS SOUS 155682 HAS SOUPS 155682 WITH SCORE 155884.472
AT ITER 286 NEW BEST:: SOT 581654 SOS 200223 HAS SOPS 200223 HAS SOUS 155592 HAS SOUPS 155592 WITH SCORE 155792.223
AT ITER 308 NEW BEST:: SOT 581547 SOS 200009 HAS SOPS 200009 HAS SOUS 155484 HAS SOUPS 155484 WITH SCORE 155684.009
AT ITER 314 NEW BEST:: SOT 581546 SOS 199748 HAS SOPS 199748 HAS SOUS 155477 HAS SOUPS 155477 WITH SCORE 155676.748
AT ITER 316 NEW BEST:: SOT 581448 SOS 199552 HAS SOPS 199552 HAS SOUS 155433 HAS SOUPS 155433 WITH SCORE 155632.552
AT ITER 318 NEW BEST:: SOT 581440 SOS 199786 HAS SOPS 199786 HAS SOUS 155098 HAS SOUPS 155098 WITH SCORE 155297.786
AT ITER 327 NEW BEST:: SOT 581416 SOS 199795 HAS SOPS 199795 HAS SOUS 155041 HAS SOUPS 155041 WITH SCORE 155240.795
AT ITER 329 NEW BEST:: SOT 579463 SOS 199864 HAS SOPS 199864 HAS SOUS 154378 HAS SOUPS 154378 WITH SCORE 154577.864
AT ITER 332 NEW BEST:: SOT 579379 SOS 199782 HAS SOPS 199782 HAS SOUS 154296 HAS SOUPS 154296 WITH SCORE 154495.782
AT ITER 338 NEW BEST:: SOT 579375 SOS 199771 HAS SOPS 199771 HAS SOUS 154285 HAS SOUPS 154285 WITH SCORE 154484.771
AT ITER 341 NEW BEST:: SOT 579347 SOS 199526 HAS SOPS 199526 HAS SOUS 154254 HAS SOUPS 154254 WITH SCORE 154453.526
AT ITER 363 NEW BEST:: SOT 579275 SOS 199382 HAS SOPS 199382 HAS SOUS 154110 HAS SOUPS 154110 WITH SCORE 154309.382
AT ITER 368 NEW BEST:: SOT 579126 SOS 199158 HAS SOPS 199158 HAS SOUS 153886 HAS SOUPS 153886 WITH SCORE 154085.158
AT ITER 375 NEW BEST:: SOT 579037 SOS 199122 HAS SOPS 199122 HAS SOUS 153850 HAS SOUPS 153850 WITH SCORE 154049.122
AT ITER 382 NEW BEST:: SOT 577236 SOS 197424 HAS SOPS 197424 HAS SOUS 153595 HAS SOUPS 153595 WITH SCORE 153792.424
AT ITER 383 NEW BEST:: SOT 577199 SOS 197467 HAS SOPS 197467 HAS SOUS 153523 HAS SOUPS 153523 WITH SCORE 153720.467
AT ITER 384 NEW BEST:: SOT 575036 SOS 195943 HAS SOPS 195943 HAS SOUS 151403 HAS SOUPS 151403 WITH SCORE 151598.943
AT ITER 404 NEW BEST:: SOT 574304 SOS 195362 HAS SOPS 195362 HAS SOUS 150822 HAS SOUPS 150822 WITH SCORE 151017.362
AT ITER 409 NEW BEST:: SOT 574142 SOS 195444 HAS SOPS 195444 HAS SOUS 150660 HAS SOUPS 150660 WITH SCORE 150855.444
AT ITER 411 NEW BEST:: SOT 572998 SOS 194322 HAS SOPS 194322 HAS SOUS 149538 HAS SOUPS 149538 WITH SCORE 149732.322
AT ITER 415 NEW BEST:: SOT 571197 SOS 194108 HAS SOPS 194108 HAS SOUS 148960 HAS SOUPS 148960 WITH SCORE 149154.108
AT ITER 418 NEW BEST:: SOT 571171 SOS 194056 HAS SOPS 194056 HAS SOUS 148894 HAS SOUPS 148894 WITH SCORE 149088.056
AT ITER 423 NEW BEST:: SOT 570997 SOS 193978 HAS SOPS 193978 HAS SOUS 148893 HAS SOUPS 148893 WITH SCORE 149086.978
AT ITER 430 NEW BEST:: SOT 570990 SOS 193971 HAS SOPS 193971 HAS SOUS 148886 HAS SOUPS 148886 WITH SCORE 149079.971
AT ITER 431 NEW BEST:: SOT 570990 SOS 193963 HAS SOPS 193963 HAS SOUS 148878 HAS SOUPS 148878 WITH SCORE 149071.963
AT ITER 435 NEW BEST:: SOT 570990 SOS 193962 HAS SOPS 193962 HAS SOUS 148877 HAS SOUPS 148877 WITH SCORE 149070.962
AT ITER 438 NEW BEST:: SOT 571037 SOS 194044 HAS SOPS 194044 HAS SOUS 148790 HAS SOUPS 148790 WITH SCORE 148984.044
AT ITER 440 NEW BEST:: SOT 570998 SOS 193970 HAS SOPS 193970 HAS SOUS 148789 HAS SOUPS 148789 WITH SCORE 148982.97
AT ITER 452 NEW BEST:: SOT 571088 SOS 194035 HAS SOPS 194035 HAS SOUS 148773 HAS SOUPS 148773 WITH SCORE 148967.035
AT ITER 455 NEW BEST:: SOT 571088 SOS 194002 HAS SOPS 194002 HAS SOUS 148770 HAS SOUPS 148770 WITH SCORE 148964.002
AT ITER 462 NEW BEST:: SOT 571088 SOS 193991 HAS SOPS 193991 HAS SOUS 148759 HAS SOUPS 148759 WITH SCORE 148952.991
AT ITER 483 NEW BEST:: SOT 571010 SOS 194043 HAS SOPS 194043 HAS SOUS 148749 HAS SOUPS 148749 WITH SCORE 148943.043
AT ITER 485 NEW BEST:: SOT 570904 SOS 193830 HAS SOPS 193830 HAS SOUS 148536 HAS SOUPS 148536 WITH SCORE 148729.83
AT ITER 501 NEW BEST:: SOT 570844 SOS 193747 HAS SOPS 193747 HAS SOUS 148453 HAS SOUPS 148453 WITH SCORE 148646.747
AT ITER 529 NEW BEST:: SOT 570394 SOS 193661 HAS SOPS 193661 HAS SOUS 148185 HAS SOUPS 148185 WITH SCORE 148378.661
AT ITER 534 NEW BEST:: SOT 570339 SOS 193514 HAS SOPS 193514 HAS SOUS 148075 HAS SOUPS 148075 WITH SCORE 148268.514
AT ITER 545 NEW BEST:: SOT 570333 SOS 193502 HAS SOPS 193502 HAS SOUS 148063 HAS SOUPS 148063 WITH SCORE 148256.502
AT ITER 547 NEW BEST:: SOT 570228 SOS 194456 HAS SOPS 194456 HAS SOUS 147958 HAS SOUPS 147958 WITH SCORE 148152.456
AT ITER 563 NEW BEST:: SOT 569701 SOS 194541 HAS SOPS 194541 HAS SOUS 147514 HAS SOUPS 147514 WITH SCORE 147708.541
AT ITER 565 NEW BEST:: SOT 569689 SOS 194517 HAS SOPS 194517 HAS SOUS 147496 HAS SOUPS 147496 WITH SCORE 147690.517
AT ITER 571 NEW BEST:: SOT 569523 SOS 194351 HAS SOPS 194351 HAS SOUS 147330 HAS SOUPS 147330 WITH SCORE 147524.351
AT ITER 599 NEW BEST:: SOT 569523 SOS 194332 HAS SOPS 194332 HAS SOUS 147329 HAS SOUPS 147329 WITH SCORE 147523.332
AT ITER 601 NEW BEST:: SOT 569523 SOS 194297 HAS SOPS 194297 HAS SOUS 147329 HAS SOUPS 147329 WITH SCORE 147523.297
AT ITER 602 NEW BEST:: SOT 569548 SOS 194352 HAS SOPS 194352 HAS SOUS 147300 HAS SOUPS 147300 WITH SCORE 147494.352
AT ITER 629 NEW BEST:: SOT 569529 SOS 194332 HAS SOPS 194332 HAS SOUS 147299 HAS SOUPS 147299 WITH SCORE 147493.332
AT ITER 634 NEW BEST:: SOT 569529 SOS 194144 HAS SOPS 194144 HAS SOUS 146923 HAS SOUPS 146923 WITH SCORE 147117.144
AT ITER 636 NEW BEST:: SOT 569424 SOS 194018 HAS SOPS 194018 HAS SOUS 146727 HAS SOUPS 146727 WITH SCORE 146921.018
AT ITER 648 NEW BEST:: SOT 569662 SOS 194433 HAS SOPS 194433 HAS SOUS 146593 HAS SOUPS 146593 WITH SCORE 146787.433
AT ITER 650 NEW BEST:: SOT 569494 SOS 194039 HAS SOPS 194039 HAS SOUS 146263 HAS SOUPS 146263 WITH SCORE 146457.039
AT ITER 673 NEW BEST:: SOT 569494 SOS 194309 HAS SOPS 194309 HAS SOUS 146218 HAS SOUPS 146218 WITH SCORE 146412.309
AT ITER 685 NEW BEST:: SOT 569450 SOS 194265 HAS SOPS 194265 HAS SOUS 146173 HAS SOUPS 146173 WITH SCORE 146367.265
AT ITER 698 NEW BEST:: SOT 569310 SOS 193985 HAS SOPS 193985 HAS SOUS 146033 HAS SOUPS 146033 WITH SCORE 146226.985
AT ITER 721 NEW BEST:: SOT 569277 SOS 194199 HAS SOPS 194199 HAS SOUS 145965 HAS SOUPS 145965 WITH SCORE 146159.199
AT ITER 740 NEW BEST:: SOT 569120 SOS 194042 HAS SOPS 194042 HAS SOUS 145808 HAS SOUPS 145808 WITH SCORE 146002.042
AT ITER 749 NEW BEST:: SOT 569091 SOS 194476 HAS SOPS 194476 HAS SOUS 145617 HAS SOUPS 145617 WITH SCORE 145811.476
AT ITER 752 NEW BEST:: SOT 569013 SOS 194398 HAS SOPS 194398 HAS SOUS 145305 HAS SOUPS 145305 WITH SCORE 145499.398
AT ITER 775 NEW BEST:: SOT 568971 SOS 194314 HAS SOPS 194314 HAS SOUS 145038 HAS SOUPS 145038 WITH SCORE 145232.314
AT ITER 786 NEW BEST:: SOT 568717 SOS 194228 HAS SOPS 194228 HAS SOUS 144984 HAS SOUPS 144984 WITH SCORE 145178.228
AT ITER 790 NEW BEST:: SOT 568747 SOS 194244 HAS SOPS 194244 HAS SOUS 144909 HAS SOUPS 144909 WITH SCORE 145103.244
AT ITER 793 NEW BEST:: SOT 567755 SOS 193385 HAS SOPS 193385 HAS SOUS 144050 HAS SOUPS 144050 WITH SCORE 144243.385
AT ITER 815 NEW BEST:: SOT 567599 SOS 193166 HAS SOPS 193166 HAS SOUS 143831 HAS SOUPS 143831 WITH SCORE 144024.166
AT ITER 824 NEW BEST:: SOT 567426 SOS 192867 HAS SOPS 192867 HAS SOUS 143579 HAS SOUPS 143579 WITH SCORE 143771.867
AT ITER 827 NEW BEST:: SOT 567408 SOS 192849 HAS SOPS 192849 HAS SOUS 143543 HAS SOUPS 143543 WITH SCORE 143735.849
AT ITER 838 NEW BEST:: SOT 567408 SOS 192849 HAS SOPS 192849 HAS SOUS 143534 HAS SOUPS 143534 WITH SCORE 143726.849
AT ITER 851 NEW BEST:: SOT 566740 SOS 193329 HAS SOPS 193329 HAS SOUS 143311 HAS SOUPS 143311 WITH SCORE 143504.329
AT ITER 874 NEW BEST:: SOT 568532 SOS 194830 HAS SOPS 194830 HAS SOUS 142082 HAS SOUPS 142082 WITH SCORE 142276.83
AT ITER 887 NEW BEST:: SOT 568487 SOS 194785 HAS SOPS 194785 HAS SOUS 142037 HAS SOUPS 142037 WITH SCORE 142231.785
AT ITER 892 NEW BEST:: SOT 568467 SOS 194765 HAS SOPS 194765 HAS SOUS 142017 HAS SOUPS 142017 WITH SCORE 142211.765
AT ITER 918 NEW BEST:: SOT 568398 SOS 194656 HAS SOPS 194656 HAS SOUS 141977 HAS SOUPS 141977 WITH SCORE 142171.656
AT ITER 928 NEW BEST:: SOT 568117 SOS 194666 HAS SOPS 194666 HAS SOUS 141772 HAS SOUPS 141772 WITH SCORE 141966.666
AT ITER 931 NEW BEST:: SOT 567021 SOS 195046 HAS SOPS 195046 HAS SOUS 141308 HAS SOUPS 141308 WITH SCORE 141503.046
AT ITER 950 NEW BEST:: SOT 566900 SOS 194727 HAS SOPS 194727 HAS SOUS 141161 HAS SOUPS 141161 WITH SCORE 141355.727
AT ITER 971 NEW BEST:: SOT 566900 SOS 194482 HAS SOPS 194482 HAS SOUS 141160 HAS SOUPS 141160 WITH SCORE 141354.482
AT ITER 974 NEW BEST:: SOT 566899 SOS 194365 HAS SOPS 194365 HAS SOUS 141112 HAS SOUPS 141112 WITH SCORE 141306.365
AT ITER 985 NEW BEST:: SOT 566883 SOS 194349 HAS SOPS 194349 HAS SOUS 140984 HAS SOUPS 140984 WITH SCORE 141178.349
AT ITER 991 NEW BEST:: SOT 566883 SOS 194349 HAS SOPS 194349 HAS SOUS 140974 HAS SOUPS 140974 WITH SCORE 141168.349
AT ITER 1001 NEW BEST:: SOT 566883 SOS 194211 HAS SOPS 194211 HAS SOUS 140973 HAS SOUPS 140973 WITH SCORE 141167.211
AT ITER 1004 NEW BEST:: SOT 566817 SOS 194095 HAS SOPS 194095 HAS SOUS 140845 HAS SOUPS 140845 WITH SCORE 141039.095
AT ITER 1007 NEW BEST:: SOT 566747 SOS 193762 HAS SOPS 193762 HAS SOUS 140744 HAS SOUPS 140744 WITH SCORE 140937.762
AT ITER 1010 NEW BEST:: SOT 566619 SOS 193590 HAS SOPS 193590 HAS SOUS 140571 HAS SOUPS 140571 WITH SCORE 140764.59
AT ITER 1015 NEW BEST:: SOT 566408 SOS 193261 HAS SOPS 193261 HAS SOUS 140115 HAS SOUPS 140115 WITH SCORE 140308.261
AT ITER 1016 NEW BEST:: SOT 566397 SOS 192478 HAS SOPS 192478 HAS SOUS 139972 HAS SOUPS 139972 WITH SCORE 140164.478
AT ITER 1019 NEW BEST:: SOT 566397 SOS 192468 HAS SOPS 192468 HAS SOUS 139962 HAS SOUPS 139962 WITH SCORE 140154.468
AT ITER 1029 NEW BEST:: SOT 566415 SOS 192504 HAS SOPS 192504 HAS SOUS 139752 HAS SOUPS 139752 WITH SCORE 139944.504
AT ITER 1044 NEW BEST:: SOT 565717 SOS 193386 HAS SOPS 193386 HAS SOUS 139537 HAS SOUPS 139537 WITH SCORE 139730.386
AT ITER 1046 NEW BEST:: SOT 565497 SOS 192946 HAS SOPS 192946 HAS SOUS 139097 HAS SOUPS 139097 WITH SCORE 139289.946
AT ITER 1050 NEW BEST:: SOT 565497 SOS 192945 HAS SOPS 192945 HAS SOUS 139096 HAS SOUPS 139096 WITH SCORE 139288.945
AT ITER 1059 NEW BEST:: SOT 565488 SOS 192927 HAS SOPS 192927 HAS SOUS 139078 HAS SOUPS 139078 WITH SCORE 139270.927
AT ITER 1070 NEW BEST:: SOT 565474 SOS 192913 HAS SOPS 192913 HAS SOUS 139063 HAS SOUPS 139063 WITH SCORE 139255.913
AT ITER 1083 NEW BEST:: SOT 565318 SOS 192786 HAS SOPS 192786 HAS SOUS 138907 HAS SOUPS 138907 WITH SCORE 139099.786
AT ITER 1095 NEW BEST:: SOT 565315 SOS 192779 HAS SOPS 192779 HAS SOUS 138900 HAS SOUPS 138900 WITH SCORE 139092.779
AT ITER 1100 NEW BEST:: SOT 565297 SOS 192665 HAS SOPS 192665 HAS SOUS 138864 HAS SOUPS 138864 WITH SCORE 139056.665
AT ITER 1103 NEW BEST:: SOT 565063 SOS 192438 HAS SOPS 192438 HAS SOUS 138637 HAS SOUPS 138637 WITH SCORE 138829.438
AT ITER 1108 NEW BEST:: SOT 565325 SOS 192618 HAS SOPS 192618 HAS SOUS 137104 HAS SOUPS 137104 WITH SCORE 137296.618
AT ITER 1115 NEW BEST:: SOT 565399 SOS 192504 HAS SOPS 192504 HAS SOUS 136993 HAS SOUPS 136993 WITH SCORE 137185.504
AT ITER 1117 NEW BEST:: SOT 565352 SOS 192410 HAS SOPS 192410 HAS SOUS 136899 HAS SOUPS 136899 WITH SCORE 137091.41
AT ITER 1125 NEW BEST:: SOT 565292 SOS 192350 HAS SOPS 192350 HAS SOUS 136777 HAS SOUPS 136777 WITH SCORE 136969.35
AT ITER 1133 NEW BEST:: SOT 565284 SOS 192326 HAS SOPS 192326 HAS SOUS 136761 HAS SOUPS 136761 WITH SCORE 136953.326
AT ITER 1151 NEW BEST:: SOT 565247 SOS 192252 HAS SOPS 192252 HAS SOUS 136391 HAS SOUPS 136391 WITH SCORE 136583.252
AT ITER 1157 NEW BEST:: SOT 565300 SOS 192358 HAS SOPS 192358 HAS SOUS 136357 HAS SOUPS 136357 WITH SCORE 136549.358
AT ITER 1169 NEW BEST:: SOT 565100 SOS 192225 HAS SOPS 192225 HAS SOUS 136190 HAS SOUPS 136190 WITH SCORE 136382.225
AT ITER 1175 NEW BEST:: SOT 564407 SOS 191489 HAS SOPS 191489 HAS SOUS 135453 HAS SOUPS 135453 WITH SCORE 135644.489
AT ITER 1194 NEW BEST:: SOT 563540 SOS 190868 HAS SOPS 190868 HAS SOUS 134586 HAS SOUPS 134586 WITH SCORE 134776.868
AT ITER 1205 NEW BEST:: SOT 563540 SOS 190868 HAS SOPS 190868 HAS SOUS 134585 HAS SOUPS 134585 WITH SCORE 134775.868
AT ITER 1226 NEW BEST:: SOT 563529 SOS 190846 HAS SOPS 190846 HAS SOUS 134297 HAS SOUPS 134297 WITH SCORE 134487.846
AT ITER 1235 NEW BEST:: SOT 563529 SOS 190846 HAS SOPS 190846 HAS SOUS 134295 HAS SOUPS 134295 WITH SCORE 134485.846
AT ITER 1281 NEW BEST:: SOT 563285 SOS 190808 HAS SOPS 190808 HAS SOUS 134067 HAS SOUPS 134067 WITH SCORE 134257.808
AT ITER 1288 NEW BEST:: SOT 563119 SOS 191132 HAS SOPS 191132 HAS SOUS 133887 HAS SOUPS 133887 WITH SCORE 134078.132
AT ITER 1294 NEW BEST:: SOT 563071 SOS 191084 HAS SOPS 191084 HAS SOUS 133839 HAS SOUPS 133839 WITH SCORE 134030.084
AT ITER 1307 NEW BEST:: SOT 563073 SOS 191001 HAS SOPS 191001 HAS SOUS 133796 HAS SOUPS 133796 WITH SCORE 133987.001
AT ITER 1312 NEW BEST:: SOT 563073 SOS 191001 HAS SOPS 191001 HAS SOUS 133766 HAS SOUPS 133766 WITH SCORE 133957.001
AT ITER 1337 NEW BEST:: SOT 562920 SOS 190954 HAS SOPS 190954 HAS SOUS 133684 HAS SOUPS 133684 WITH SCORE 133874.954
AT ITER 1359 NEW BEST:: SOT 562838 SOS 190824 HAS SOPS 190824 HAS SOUS 133624 HAS SOUPS 133624 WITH SCORE 133814.824
AT ITER 1368 NEW BEST:: SOT 562806 SOS 190859 HAS SOPS 190859 HAS SOUS 133475 HAS SOUPS 133475 WITH SCORE 133665.859
AT ITER 1371 NEW BEST:: SOT 562905 SOS 190940 HAS SOPS 190940 HAS SOUS 133457 HAS SOUPS 133457 WITH SCORE 133647.94
AT ITER 1380 NEW BEST:: SOT 562843 SOS 190879 HAS SOPS 190879 HAS SOUS 133395 HAS SOUPS 133395 WITH SCORE 133585.879
AT ITER 1382 NEW BEST:: SOT 562834 SOS 190866 HAS SOPS 190866 HAS SOUS 133385 HAS SOUPS 133385 WITH SCORE 133575.866
AT ITER 1386 NEW BEST:: SOT 562822 SOS 190854 HAS SOPS 190854 HAS SOUS 133380 HAS SOUPS 133380 WITH SCORE 133570.854
AT ITER 1395 NEW BEST:: SOT 562612 SOS 190434 HAS SOPS 190434 HAS SOUS 132960 HAS SOUPS 132960 WITH SCORE 133150.434
AT ITER 1398 NEW BEST:: SOT 562601 SOS 190454 HAS SOPS 190454 HAS SOUS 132890 HAS SOUPS 132890 WITH SCORE 133080.454
AT ITER 1406 NEW BEST:: SOT 562607 SOS 190348 HAS SOPS 190348 HAS SOUS 132883 HAS SOUPS 132883 WITH SCORE 133073.348
AT ITER 1416 NEW BEST:: SOT 562602 SOS 190331 HAS SOPS 190331 HAS SOUS 132876 HAS SOUPS 132876 WITH SCORE 133066.331
AT ITER 1448 NEW BEST:: SOT 562602 SOS 190221 HAS SOPS 190221 HAS SOUS 132766 HAS SOUPS 132766 WITH SCORE 132956.221
AT ITER 1450 NEW BEST:: SOT 562578 SOS 189920 HAS SOPS 189920 HAS SOUS 132554 HAS SOUPS 132554 WITH SCORE 132743.92
AT ITER 1457 NEW BEST:: SOT 562560 SOS 189783 HAS SOPS 189783 HAS SOUS 132517 HAS SOUPS 132517 WITH SCORE 132706.783
AT ITER 1467 NEW BEST:: SOT 562501 SOS 190045 HAS SOPS 190045 HAS SOUS 132388 HAS SOUPS 132388 WITH SCORE 132578.045
AT ITER 1477 NEW BEST:: SOT 562475 SOS 190032 HAS SOPS 190032 HAS SOUS 132375 HAS SOUPS 132375 WITH SCORE 132565.032
AT ITER 1490 NEW BEST:: SOT 561175 SOS 188799 HAS SOPS 188799 HAS SOUS 131743 HAS SOUPS 131743 WITH SCORE 131931.799
AT ITER 1495 NEW BEST:: SOT 561154 SOS 188757 HAS SOPS 188757 HAS SOUS 131721 HAS SOUPS 131721 WITH SCORE 131909.757
AT ITER 1500 NEW BEST:: SOT 561133 SOS 188610 HAS SOPS 188610 HAS SOUS 131637 HAS SOUPS 131637 WITH SCORE 131825.61
AT ITER 1511 NEW BEST:: SOT 561132 SOS 188608 HAS SOPS 188608 HAS SOUS 131635 HAS SOUPS 131635 WITH SCORE 131823.608
AT ITER 1528 NEW BEST:: SOT 561102 SOS 188548 HAS SOPS 188548 HAS SOUS 131580 HAS SOUPS 131580 WITH SCORE 131768.548
AT ITER 1540 NEW BEST:: SOT 561085 SOS 188544 HAS SOPS 188544 HAS SOUS 131563 HAS SOUPS 131563 WITH SCORE 131751.544
AT ITER 1546 NEW BEST:: SOT 560948 SOS 188308 HAS SOPS 188308 HAS SOUS 131426 HAS SOUPS 131426 WITH SCORE 131614.308
AT ITER 1588 NEW BEST:: SOT 560656 SOS 188089 HAS SOPS 188089 HAS SOUS 131207 HAS SOUPS 131207 WITH SCORE 131395.089
AT ITER 1589 NEW BEST:: SOT 560555 SOS 188102 HAS SOPS 188102 HAS SOUS 131087 HAS SOUPS 131087 WITH SCORE 131275.102
AT ITER 1600 NEW BEST:: SOT 560555 SOS 187971 HAS SOPS 187971 HAS SOUS 130987 HAS SOUPS 130987 WITH SCORE 131174.971
AT ITER 1620 NEW BEST:: SOT 560535 SOS 187951 HAS SOPS 187951 HAS SOUS 130932 HAS SOUPS 130932 WITH SCORE 131119.951
AT ITER 1626 NEW BEST:: SOT 560353 SOS 187769 HAS SOPS 187769 HAS SOUS 130932 HAS SOUPS 130932 WITH SCORE 131119.769
AT ITER 1639 NEW BEST:: SOT 560353 SOS 187652 HAS SOPS 187652 HAS SOUS 130611 HAS SOUPS 130611 WITH SCORE 130798.652
AT ITER 1648 NEW BEST:: SOT 560395 SOS 187694 HAS SOPS 187694 HAS SOUS 130575 HAS SOUPS 130575 WITH SCORE 130762.694
AT ITER 1649 NEW BEST:: SOT 560395 SOS 187566 HAS SOPS 187566 HAS SOUS 130543 HAS SOUPS 130543 WITH SCORE 130730.566
AT ITER 1656 NEW BEST:: SOT 560395 SOS 187560 HAS SOPS 187560 HAS SOUS 130528 HAS SOUPS 130528 WITH SCORE 130715.56
AT ITER 1673 NEW BEST:: SOT 560357 SOS 187457 HAS SOPS 187457 HAS SOUS 130447 HAS SOUPS 130447 WITH SCORE 130634.457
AT ITER 1689 NEW BEST:: SOT 560249 SOS 187347 HAS SOPS 187347 HAS SOUS 130337 HAS SOUPS 130337 WITH SCORE 130524.347
AT ITER 1703 NEW BEST:: SOT 560248 SOS 187341 HAS SOPS 187341 HAS SOUS 130331 HAS SOUPS 130331 WITH SCORE 130518.341
AT ITER 1716 NEW BEST:: SOT 559051 SOS 187804 HAS SOPS 187804 HAS SOUS 129696 HAS SOUPS 129696 WITH SCORE 129883.804
AT ITER 1717 NEW BEST:: SOT 559047 SOS 187802 HAS SOPS 187802 HAS SOUS 129694 HAS SOUPS 129694 WITH SCORE 129881.802
AT ITER 1721 NEW BEST:: SOT 558950 SOS 187705 HAS SOPS 187705 HAS SOUS 129597 HAS SOUPS 129597 WITH SCORE 129784.705
AT ITER 1728 NEW BEST:: SOT 558756 SOS 187317 HAS SOPS 187317 HAS SOUS 129403 HAS SOUPS 129403 WITH SCORE 129590.317
AT ITER 1736 NEW BEST:: SOT 558756 SOS 187309 HAS SOPS 187309 HAS SOUS 129403 HAS SOUPS 129403 WITH SCORE 129590.309
AT ITER 1757 NEW BEST:: SOT 558666 SOS 187196 HAS SOPS 187196 HAS SOUS 129351 HAS SOUPS 129351 WITH SCORE 129538.196
AT ITER 1765 NEW BEST:: SOT 558772 SOS 187278 HAS SOPS 187278 HAS SOUS 129287 HAS SOUPS 129287 WITH SCORE 129474.278
AT ITER 1812 NEW BEST:: SOT 558772 SOS 187278 HAS SOPS 187278 HAS SOUS 129257 HAS SOUPS 129257 WITH SCORE 129444.278
AT ITER 1830 NEW BEST:: SOT 558797 SOS 187138 HAS SOPS 187138 HAS SOUS 129212 HAS SOUPS 129212 WITH SCORE 129399.138
AT ITER 1833 NEW BEST:: SOT 558644 SOS 187016 HAS SOPS 187016 HAS SOUS 129090 HAS SOUPS 129090 WITH SCORE 129277.016
AT ITER 1848 NEW BEST:: SOT 558635 SOS 186998 HAS SOPS 186998 HAS SOUS 129072 HAS SOUPS 129072 WITH SCORE 129258.998
AT ITER 1868 NEW BEST:: SOT 558635 SOS 186950 HAS SOPS 186950 HAS SOUS 129024 HAS SOUPS 129024 WITH SCORE 129210.95
AT ITER 1869 NEW BEST:: SOT 558635 SOS 186950 HAS SOPS 186950 HAS SOUS 129016 HAS SOUPS 129016 WITH SCORE 129202.95
AT ITER 1881 NEW BEST:: SOT 558632 SOS 186943 HAS SOPS 186943 HAS SOUS 128831 HAS SOUPS 128831 WITH SCORE 129017.943
AT ITER 1899 NEW BEST:: SOT 558606 SOS 186730 HAS SOPS 186730 HAS SOUS 128815 HAS SOUPS 128815 WITH SCORE 129001.73
AT ITER 1901 NEW BEST:: SOT 558605 SOS 186319 HAS SOPS 186319 HAS SOUS 128537 HAS SOUPS 128537 WITH SCORE 128723.319
AT ITER 1931 NEW BEST:: SOT 558586 SOS 186262 HAS SOPS 186262 HAS SOUS 128499 HAS SOUPS 128499 WITH SCORE 128685.262
AT ITER 1938 NEW BEST:: SOT 558408 SOS 186412 HAS SOPS 186412 HAS SOUS 128398 HAS SOUPS 128398 WITH SCORE 128584.412
AT ITER 1944 NEW BEST:: SOT 558432 SOS 186230 HAS SOPS 186230 HAS SOUS 128354 HAS SOUPS 128354 WITH SCORE 128540.23
AT ITER 1949 NEW BEST:: SOT 558432 SOS 186371 HAS SOPS 186371 HAS SOUS 128345 HAS SOUPS 128345 WITH SCORE 128531.371
AT ITER 1951 NEW BEST:: SOT 558425 SOS 186369 HAS SOPS 186369 HAS SOUS 128343 HAS SOUPS 128343 WITH SCORE 128529.369
AT ITER 1957 NEW BEST:: SOT 558423 SOS 186338 HAS SOPS 186338 HAS SOUS 128336 HAS SOUPS 128336 WITH SCORE 128522.338
AT ITER 1974 NEW BEST:: SOT 558343 SOS 186258 HAS SOPS 186258 HAS SOUS 128331 HAS SOUPS 128331 WITH SCORE 128517.258
AT ITER 1980 NEW BEST:: SOT 558298 SOS 186168 HAS SOPS 186168 HAS SOUS 128241 HAS SOUPS 128241 WITH SCORE 128427.168
AT ITER 1981 NEW BEST:: SOT 558265 SOS 186030 HAS SOPS 186030 HAS SOUS 128103 HAS SOUPS 128103 WITH SCORE 128289.03
AT ITER 1985 NEW BEST:: SOT 558267 SOS 186027 HAS SOPS 186027 HAS SOUS 128100 HAS SOUPS 128100 WITH SCORE 128286.027
AT ITER 1996 NEW BEST:: SOT 557493 SOS 185557 HAS SOPS 185557 HAS SOUS 127402 HAS SOUPS 127402 WITH SCORE 127587.557
AT ITER 2012 NEW BEST:: SOT 557493 SOS 185317 HAS SOPS 185317 HAS SOUS 127402 HAS SOUPS 127402 WITH SCORE 127587.317
AT ITER 2026 NEW BEST:: SOT 557398 SOS 185317 HAS SOPS 185317 HAS SOUS 127360 HAS SOUPS 127360 WITH SCORE 127545.317
AT ITER 2038 NEW BEST:: SOT 557398 SOS 185154 HAS SOPS 185154 HAS SOUS 127167 HAS SOUPS 127167 WITH SCORE 127352.154
AT ITER 2041 NEW BEST:: SOT 556978 SOS 184734 HAS SOPS 184734 HAS SOUS 126727 HAS SOUPS 126727 WITH SCORE 126911.734
AT ITER 2052 NEW BEST:: SOT 556968 SOS 184634 HAS SOPS 184634 HAS SOUS 126650 HAS SOUPS 126650 WITH SCORE 126834.634
AT ITER 2053 NEW BEST:: SOT 556907 SOS 184595 HAS SOPS 184595 HAS SOUS 126350 HAS SOUPS 126350 WITH SCORE 126534.595
AT ITER 2059 NEW BEST:: SOT 556907 SOS 184644 HAS SOPS 184644 HAS SOUS 126342 HAS SOUPS 126342 WITH SCORE 126526.644
AT ITER 2075 NEW BEST:: SOT 556902 SOS 184639 HAS SOPS 184639 HAS SOUS 126337 HAS SOUPS 126337 WITH SCORE 126521.639
AT ITER 2079 NEW BEST:: SOT 556762 SOS 184391 HAS SOPS 184391 HAS SOUS 126229 HAS SOUPS 126229 WITH SCORE 126413.391
AT ITER 2090 NEW BEST:: SOT 556649 SOS 184244 HAS SOPS 184244 HAS SOUS 126116 HAS SOUPS 126116 WITH SCORE 126300.244
AT ITER 2096 NEW BEST:: SOT 556578 SOS 184173 HAS SOPS 184173 HAS SOUS 126036 HAS SOUPS 126036 WITH SCORE 126220.173
AT ITER 2142 NEW BEST:: SOT 556430 SOS 183929 HAS SOPS 183929 HAS SOUS 125940 HAS SOUPS 125940 WITH SCORE 126123.929
AT ITER 2152 NEW BEST:: SOT 556374 SOS 183873 HAS SOPS 183873 HAS SOUS 125828 HAS SOUPS 125828 WITH SCORE 126011.873
AT ITER 2182 NEW BEST:: SOT 556288 SOS 183787 HAS SOPS 183787 HAS SOUS 125742 HAS SOUPS 125742 WITH SCORE 125925.787
AT ITER 2200 NEW BEST:: SOT 556288 SOS 183754 HAS SOPS 183754 HAS SOUS 125709 HAS SOUPS 125709 WITH SCORE 125892.754
AT ITER 2215 NEW BEST:: SOT 556253 SOS 183710 HAS SOPS 183710 HAS SOUS 125686 HAS SOUPS 125686 WITH SCORE 125869.71
AT ITER 2222 NEW BEST:: SOT 556251 SOS 183696 HAS SOPS 183696 HAS SOUS 125672 HAS SOUPS 125672 WITH SCORE 125855.696
AT ITER 2223 NEW BEST:: SOT 556203 SOS 183607 HAS SOPS 183607 HAS SOUS 125581 HAS SOUPS 125581 WITH SCORE 125764.607
AT ITER 2227 NEW BEST:: SOT 556257 SOS 183494 HAS SOPS 183494 HAS SOUS 125468 HAS SOUPS 125468 WITH SCORE 125651.494
AT ITER 2228 NEW BEST:: SOT 556178 SOS 183415 HAS SOPS 183415 HAS SOUS 125389 HAS SOUPS 125389 WITH SCORE 125572.415
AT ITER 2242 NEW BEST:: SOT 556178 SOS 183415 HAS SOPS 183415 HAS SOUS 125334 HAS SOUPS 125334 WITH SCORE 125517.415
AT ITER 2249 NEW BEST:: SOT 556177 SOS 183414 HAS SOPS 183414 HAS SOUS 125333 HAS SOUPS 125333 WITH SCORE 125516.414
AT ITER 2252 NEW BEST:: SOT 556151 SOS 183362 HAS SOPS 183362 HAS SOUS 125281 HAS SOUPS 125281 WITH SCORE 125464.362
AT ITER 2264 NEW BEST:: SOT 556245 SOS 183432 HAS SOPS 183432 HAS SOUS 125257 HAS SOUPS 125257 WITH SCORE 125440.432
AT ITER 2277 NEW BEST:: SOT 556215 SOS 183342 HAS SOPS 183342 HAS SOUS 125167 HAS SOUPS 125167 WITH SCORE 125350.342
AT ITER 2286 NEW BEST:: SOT 556047 SOS 183006 HAS SOPS 183006 HAS SOUS 124913 HAS SOUPS 124913 WITH SCORE 125096.006
AT ITER 2287 NEW BEST:: SOT 556047 SOS 182813 HAS SOPS 182813 HAS SOUS 124720 HAS SOUPS 124720 WITH SCORE 124902.813
AT ITER 2304 NEW BEST:: SOT 556016 SOS 182782 HAS SOPS 182782 HAS SOUS 124608 HAS SOUPS 124608 WITH SCORE 124790.782
AT ITER 2318 NEW BEST:: SOT 555984 SOS 182750 HAS SOPS 182750 HAS SOUS 124544 HAS SOUPS 124544 WITH SCORE 124726.75
AT ITER 2349 NEW BEST:: SOT 555983 SOS 182813 HAS SOPS 182813 HAS SOUS 124543 HAS SOUPS 124543 WITH SCORE 124725.813
AT ITER 2385 NEW BEST:: SOT 555941 SOS 182777 HAS SOPS 182777 HAS SOUS 124507 HAS SOUPS 124507 WITH SCORE 124689.777
AT ITER 2399 NEW BEST:: SOT 556003 SOS 182654 HAS SOPS 182654 HAS SOUS 124466 HAS SOUPS 124466 WITH SCORE 124648.654
AT ITER 2408 NEW BEST:: SOT 555984 SOS 182627 HAS SOPS 182627 HAS SOUS 124445 HAS SOUPS 124445 WITH SCORE 124627.627
AT ITER 2409 NEW BEST:: SOT 555983 SOS 182610 HAS SOPS 182610 HAS SOUS 124428 HAS SOUPS 124428 WITH SCORE 124610.61
AT ITER 2425 NEW BEST:: SOT 555799 SOS 182498 HAS SOPS 182498 HAS SOUS 124244 HAS SOUPS 124244 WITH SCORE 124426.498
AT ITER 2432 NEW BEST:: SOT 555639 SOS 182328 HAS SOPS 182328 HAS SOUS 124074 HAS SOUPS 124074 WITH SCORE 124256.328
AT ITER 2433 NEW BEST:: SOT 555639 SOS 182078 HAS SOPS 182078 HAS SOUS 124024 HAS SOUPS 124024 WITH SCORE 124206.078
AT ITER 2435 NEW BEST:: SOT 555646 SOS 181723 HAS SOPS 181723 HAS SOUS 123888 HAS SOUPS 123888 WITH SCORE 124069.723
AT ITER 2444 NEW BEST:: SOT 555640 SOS 181537 HAS SOPS 181537 HAS SOUS 123867 HAS SOUPS 123867 WITH SCORE 124048.537
AT ITER 2448 NEW BEST:: SOT 555640 SOS 181537 HAS SOPS 181537 HAS SOUS 123833 HAS SOUPS 123833 WITH SCORE 124014.537
AT ITER 2455 NEW BEST:: SOT 555633 SOS 181516 HAS SOPS 181516 HAS SOUS 123812 HAS SOUPS 123812 WITH SCORE 123993.516
AT ITER 2458 NEW BEST:: SOT 555684 SOS 181270 HAS SOPS 181270 HAS SOUS 123798 HAS SOUPS 123798 WITH SCORE 123979.27
AT ITER 2491 NEW BEST:: SOT 555685 SOS 181271 HAS SOPS 181271 HAS SOUS 123781 HAS SOUPS 123781 WITH SCORE 123962.271
AT ITER 2522 NEW BEST:: SOT 556528 SOS 181559 HAS SOPS 181559 HAS SOUS 123556 HAS SOUPS 123556 WITH SCORE 123737.559
AT ITER 2526 NEW BEST:: SOT 556528 SOS 181548 HAS SOPS 181548 HAS SOUS 123545 HAS SOUPS 123545 WITH SCORE 123726.548
AT ITER 2547 NEW BEST:: SOT 556538 SOS 181554 HAS SOPS 181554 HAS SOUS 123541 HAS SOUPS 123541 WITH SCORE 123722.554
AT ITER 2562 NEW BEST:: SOT 556537 SOS 181553 HAS SOPS 181553 HAS SOUS 123539 HAS SOUPS 123539 WITH SCORE 123720.553
AT ITER 2565 NEW BEST:: SOT 556537 SOS 181549 HAS SOPS 181549 HAS SOUS 123535 HAS SOUPS 123535 WITH SCORE 123716.549
AT ITER 2566 NEW BEST:: SOT 556488 SOS 181500 HAS SOPS 181500 HAS SOUS 123437 HAS SOUPS 123437 WITH SCORE 123618.5
AT ITER 2574 NEW BEST:: SOT 556471 SOS 181466 HAS SOPS 181466 HAS SOUS 123403 HAS SOUPS 123403 WITH SCORE 123584.466
AT ITER 2584 NEW BEST:: SOT 556406 SOS 181388 HAS SOPS 181388 HAS SOUS 123325 HAS SOUPS 123325 WITH SCORE 123506.388
AT ITER 2610 NEW BEST:: SOT 556380 SOS 181336 HAS SOPS 181336 HAS SOUS 123091 HAS SOUPS 123091 WITH SCORE 123272.336
AT ITER 2649 NEW BEST:: SOT 556380 SOS 181294 HAS SOPS 181294 HAS SOUS 123049 HAS SOUPS 123049 WITH SCORE 123230.294
AT ITER 2658 NEW BEST:: SOT 557988 SOS 182645 HAS SOPS 182645 HAS SOUS 121910 HAS SOUPS 121910 WITH SCORE 122092.645
AT ITER 2689 NEW BEST:: SOT 557957 SOS 182271 HAS SOPS 182271 HAS SOUS 121848 HAS SOUPS 121848 WITH SCORE 122030.271
AT ITER 2694 NEW BEST:: SOT 557655 SOS 182121 HAS SOPS 182121 HAS SOUS 121560 HAS SOUPS 121560 WITH SCORE 121742.121
AT ITER 2695 NEW BEST:: SOT 557655 SOS 182182 HAS SOPS 182182 HAS SOUS 121499 HAS SOUPS 121499 WITH SCORE 121681.182
AT ITER 2696 NEW BEST:: SOT 557655 SOS 181958 HAS SOPS 181958 HAS SOUS 121406 HAS SOUPS 121406 WITH SCORE 121587.958
AT ITER 2697 NEW BEST:: SOT 557654 SOS 181904 HAS SOPS 181904 HAS SOUS 121404 HAS SOUPS 121404 WITH SCORE 121585.904
AT ITER 2705 NEW BEST:: SOT 557584 SOS 181800 HAS SOPS 181800 HAS SOUS 121163 HAS SOUPS 121163 WITH SCORE 121344.8
AT ITER 2706 NEW BEST:: SOT 557584 SOS 181605 HAS SOPS 181605 HAS SOUS 121050 HAS SOUPS 121050 WITH SCORE 121231.605
AT ITER 2726 NEW BEST:: SOT 557584 SOS 181253 HAS SOPS 181253 HAS SOUS 121026 HAS SOUPS 121026 WITH SCORE 121207.253
AT ITER 2738 NEW BEST:: SOT 557579 SOS 181198 HAS SOPS 181198 HAS SOUS 121017 HAS SOUPS 121017 WITH SCORE 121198.198
AT ITER 2781 NEW BEST:: SOT 557429 SOS 180644 HAS SOPS 180644 HAS SOUS 120833 HAS SOUPS 120833 WITH SCORE 121013.644
AT ITER 2784 NEW BEST:: SOT 557402 SOS 180593 HAS SOPS 180593 HAS SOUS 120782 HAS SOUPS 120782 WITH SCORE 120962.593
AT ITER 2802 NEW BEST:: SOT 557127 SOS 180282 HAS SOPS 180282 HAS SOUS 120759 HAS SOUPS 120759 WITH SCORE 120939.282
AT ITER 2803 NEW BEST:: SOT 557127 SOS 180226 HAS SOPS 180226 HAS SOUS 120759 HAS SOUPS 120759 WITH SCORE 120939.226
AT ITER 2819 NEW BEST:: SOT 557052 SOS 178476 HAS SOPS 178476 HAS SOUS 120230 HAS SOUPS 120230 WITH SCORE 120408.476
AT ITER 2838 NEW BEST:: SOT 557052 SOS 178456 HAS SOPS 178456 HAS SOUS 120213 HAS SOUPS 120213 WITH SCORE 120391.456
AT ITER 2871 NEW BEST:: SOT 557052 SOS 178247 HAS SOPS 178247 HAS SOUS 120213 HAS SOUPS 120213 WITH SCORE 120391.247
AT ITER 2873 NEW BEST:: SOT 557001 SOS 178567 HAS SOPS 178567 HAS SOUS 120162 HAS SOUPS 120162 WITH SCORE 120340.567
AT ITER 2877 NEW BEST:: SOT 557005 SOS 178603 HAS SOPS 178603 HAS SOUS 120131 HAS SOUPS 120131 WITH SCORE 120309.603
AT ITER 2882 NEW BEST:: SOT 557014 SOS 178458 HAS SOPS 178458 HAS SOUS 119986 HAS SOUPS 119986 WITH SCORE 120164.458
AT ITER 2893 NEW BEST:: SOT 557014 SOS 178401 HAS SOPS 178401 HAS SOUS 119947 HAS SOUPS 119947 WITH SCORE 120125.401
AT ITER 2919 NEW BEST:: SOT 556992 SOS 178347 HAS SOPS 178347 HAS SOUS 119884 HAS SOUPS 119884 WITH SCORE 120062.347
AT ITER 2921 NEW BEST:: SOT 556926 SOS 178789 HAS SOPS 178789 HAS SOUS 119752 HAS SOUPS 119752 WITH SCORE 119930.789
AT ITER 2938 NEW BEST:: SOT 557473 SOS 177202 HAS SOPS 177202 HAS SOUS 119599 HAS SOUPS 119599 WITH SCORE 119776.202
AT ITER 2940 NEW BEST:: SOT 557510 SOS 177144 HAS SOPS 177144 HAS SOUS 119576 HAS SOUPS 119576 WITH SCORE 119753.144
AT ITER 2952 NEW BEST:: SOT 557399 SOS 177033 HAS SOPS 177033 HAS SOUS 119465 HAS SOUPS 119465 WITH SCORE 119642.033
AT ITER 2973 NEW BEST:: SOT 557303 SOS 176697 HAS SOPS 176697 HAS SOUS 119273 HAS SOUPS 119273 WITH SCORE 119449.697
AT ITER 2984 NEW BEST:: SOT 557303 SOS 176661 HAS SOPS 176661 HAS SOUS 119272 HAS SOUPS 119272 WITH SCORE 119448.661
AT ITER 2994 NEW BEST:: SOT 557218 SOS 176523 HAS SOPS 176523 HAS SOUS 119164 HAS SOUPS 119164 WITH SCORE 119340.523
AT ITER 2996 NEW BEST:: SOT 556995 SOS 176721 HAS SOPS 176721 HAS SOUS 119036 HAS SOUPS 119036 WITH SCORE 119212.721
AT ITER 3001 NEW BEST:: SOT 556992 SOS 176718 HAS SOPS 176718 HAS SOUS 119033 HAS SOUPS 119033 WITH SCORE 119209.718
AT ITER 3027 NEW BEST:: SOT 556894 SOS 176591 HAS SOPS 176591 HAS SOUS 118889 HAS SOUPS 118889 WITH SCORE 119065.591
AT ITER 3032 NEW BEST:: SOT 556847 SOS 176554 HAS SOPS 176554 HAS SOUS 118842 HAS SOUPS 118842 WITH SCORE 119018.554
AT ITER 3054 NEW BEST:: SOT 556845 SOS 176453 HAS SOPS 176453 HAS SOUS 118830 HAS SOUPS 118830 WITH SCORE 119006.453
AT ITER 3064 NEW BEST:: SOT 556808 SOS 176459 HAS SOPS 176459 HAS SOUS 118798 HAS SOUPS 118798 WITH SCORE 118974.459
AT ITER 3066 NEW BEST:: SOT 556808 SOS 176558 HAS SOPS 176558 HAS SOUS 118699 HAS SOUPS 118699 WITH SCORE 118875.558
AT ITER 3081 NEW BEST:: SOT 556777 SOS 176527 HAS SOPS 176527 HAS SOUS 118699 HAS SOUPS 118699 WITH SCORE 118875.527
AT ITER 3084 NEW BEST:: SOT 556755 SOS 176479 HAS SOPS 176479 HAS SOUS 118680 HAS SOUPS 118680 WITH SCORE 118856.479
AT ITER 3121 NEW BEST:: SOT 556755 SOS 176401 HAS SOPS 176401 HAS SOUS 118602 HAS SOUPS 118602 WITH SCORE 118778.401
AT ITER 3143 NEW BEST:: SOT 556753 SOS 176390 HAS SOPS 176390 HAS SOUS 118593 HAS SOUPS 118593 WITH SCORE 118769.39
AT ITER 3148 NEW BEST:: SOT 556891 SOS 176357 HAS SOPS 176357 HAS SOUS 118560 HAS SOUPS 118560 WITH SCORE 118736.357
AT ITER 3164 NEW BEST:: SOT 556859 SOS 176293 HAS SOPS 176293 HAS SOUS 118496 HAS SOUPS 118496 WITH SCORE 118672.293
AT ITER 3165 NEW BEST:: SOT 556794 SOS 176252 HAS SOPS 176252 HAS SOUS 118465 HAS SOUPS 118465 WITH SCORE 118641.252
AT ITER 3167 NEW BEST:: SOT 556785 SOS 176252 HAS SOPS 176252 HAS SOUS 118447 HAS SOUPS 118447 WITH SCORE 118623.252
AT ITER 3169 NEW BEST:: SOT 556785 SOS 176240 HAS SOPS 176240 HAS SOUS 118447 HAS SOUPS 118447 WITH SCORE 118623.24
AT ITER 3194 NEW BEST:: SOT 556705 SOS 176000 HAS SOPS 176000 HAS SOUS 118207 HAS SOUPS 118207 WITH SCORE 118383.0
AT ITER 3224 NEW BEST:: SOT 556704 SOS 175999 HAS SOPS 175999 HAS SOUS 118206 HAS SOUPS 118206 WITH SCORE 118381.999
AT ITER 3229 NEW BEST:: SOT 556853 SOS 175943 HAS SOPS 175943 HAS SOUS 118150 HAS SOUPS 118150 WITH SCORE 118325.943
AT ITER 3232 NEW BEST:: SOT 556853 SOS 175882 HAS SOPS 175882 HAS SOUS 118089 HAS SOUPS 118089 WITH SCORE 118264.882
AT ITER 3237 NEW BEST:: SOT 556712 SOS 175741 HAS SOPS 175741 HAS SOUS 117807 HAS SOUPS 117807 WITH SCORE 117982.741
AT ITER 3241 NEW BEST:: SOT 556697 SOS 175711 HAS SOPS 175711 HAS SOUS 117792 HAS SOUPS 117792 WITH SCORE 117967.711
AT ITER 3251 NEW BEST:: SOT 556658 SOS 175672 HAS SOPS 175672 HAS SOUS 117792 HAS SOUPS 117792 WITH SCORE 117967.672
AT ITER 3267 NEW BEST:: SOT 556654 SOS 175664 HAS SOPS 175664 HAS SOUS 117784 HAS SOUPS 117784 WITH SCORE 117959.664
AT ITER 3272 NEW BEST:: SOT 556560 SOS 175570 HAS SOPS 175570 HAS SOUS 117690 HAS SOUPS 117690 WITH SCORE 117865.57
AT ITER 3283 NEW BEST:: SOT 556520 SOS 175490 HAS SOPS 175490 HAS SOUS 117610 HAS SOUPS 117610 WITH SCORE 117785.49
AT ITER 3328 NEW BEST:: SOT 556513 SOS 175476 HAS SOPS 175476 HAS SOUS 117596 HAS SOUPS 117596 WITH SCORE 117771.476
AT ITER 3333 NEW BEST:: SOT 556527 SOS 175430 HAS SOPS 175430 HAS SOUS 117550 HAS SOUPS 117550 WITH SCORE 117725.43
AT ITER 3383 NEW BEST:: SOT 556521 SOS 175198 HAS SOPS 175198 HAS SOUS 117541 HAS SOUPS 117541 WITH SCORE 117716.198
AT ITER 3430 NEW BEST:: SOT 556083 SOS 174774 HAS SOPS 174774 HAS SOUS 117117 HAS SOUPS 117117 WITH SCORE 117291.774
AT ITER 3462 NEW BEST:: SOT 556065 SOS 174756 HAS SOPS 174756 HAS SOUS 117099 HAS SOUPS 117099 WITH SCORE 117273.756
AT ITER 3468 NEW BEST:: SOT 556068 SOS 174737 HAS SOPS 174737 HAS SOUS 117091 HAS SOUPS 117091 WITH SCORE 117265.737
AT ITER 3471 NEW BEST:: SOT 556010 SOS 175015 HAS SOPS 175015 HAS SOUS 117031 HAS SOUPS 117031 WITH SCORE 117206.015
AT ITER 3474 NEW BEST:: SOT 556010 SOS 175015 HAS SOPS 175015 HAS SOUS 117009 HAS SOUPS 117009 WITH SCORE 117184.015
AT ITER 3493 NEW BEST:: SOT 555994 SOS 174983 HAS SOPS 174983 HAS SOUS 116849 HAS SOUPS 116849 WITH SCORE 117023.983
AT ITER 3503 NEW BEST:: SOT 555948 SOS 174853 HAS SOPS 174853 HAS SOUS 116753 HAS SOUPS 116753 WITH SCORE 116927.853
AT ITER 3514 NEW BEST:: SOT 555744 SOS 174776 HAS SOPS 174776 HAS SOUS 116676 HAS SOUPS 116676 WITH SCORE 116850.776
AT ITER 3522 NEW BEST:: SOT 555476 SOS 174508 HAS SOPS 174508 HAS SOUS 116442 HAS SOUPS 116442 WITH SCORE 116616.508
AT ITER 3531 NEW BEST:: SOT 555454 SOS 174193 HAS SOPS 174193 HAS SOUS 116384 HAS SOUPS 116384 WITH SCORE 116558.193
AT ITER 3537 NEW BEST:: SOT 555437 SOS 174083 HAS SOPS 174083 HAS SOUS 116274 HAS SOUPS 116274 WITH SCORE 116448.083
AT ITER 3550 NEW BEST:: SOT 555409 SOS 174027 HAS SOPS 174027 HAS SOUS 116218 HAS SOUPS 116218 WITH SCORE 116392.027
AT ITER 3567 NEW BEST:: SOT 555409 SOS 174027 HAS SOPS 174027 HAS SOUS 116183 HAS SOUPS 116183 WITH SCORE 116357.027
AT ITER 3601 NEW BEST:: SOT 555375 SOS 173789 HAS SOPS 173789 HAS SOUS 116114 HAS SOUPS 116114 WITH SCORE 116287.789
AT ITER 3607 NEW BEST:: SOT 555351 SOS 173741 HAS SOPS 173741 HAS SOUS 116076 HAS SOUPS 116076 WITH SCORE 116249.741
AT ITER 3620 NEW BEST:: SOT 555289 SOS 173617 HAS SOPS 173617 HAS SOUS 115952 HAS SOUPS 115952 WITH SCORE 116125.617
AT ITER 3630 NEW BEST:: SOT 555263 SOS 173357 HAS SOPS 173357 HAS SOUS 115900 HAS SOUPS 115900 WITH SCORE 116073.357
AT ITER 3639 NEW BEST:: SOT 555330 SOS 173279 HAS SOPS 173279 HAS SOUS 115822 HAS SOUPS 115822 WITH SCORE 115995.279
AT ITER 3660 NEW BEST:: SOT 555328 SOS 173275 HAS SOPS 173275 HAS SOUS 115818 HAS SOUPS 115818 WITH SCORE 115991.275
AT ITER 3669 NEW BEST:: SOT 555314 SOS 173241 HAS SOPS 173241 HAS SOUS 115800 HAS SOUPS 115800 WITH SCORE 115973.241
AT ITER 3670 NEW BEST:: SOT 555310 SOS 173229 HAS SOPS 173229 HAS SOUS 115788 HAS SOUPS 115788 WITH SCORE 115961.229
AT ITER 3673 NEW BEST:: SOT 555248 SOS 172974 HAS SOPS 172974 HAS SOUS 115662 HAS SOUPS 115662 WITH SCORE 115834.974
AT ITER 3685 NEW BEST:: SOT 555169 SOS 172827 HAS SOPS 172827 HAS SOUS 115428 HAS SOUPS 115428 WITH SCORE 115600.827
AT ITER 3709 NEW BEST:: SOT 555169 SOS 172820 HAS SOPS 172820 HAS SOUS 115421 HAS SOUPS 115421 WITH SCORE 115593.82
AT ITER 3738 NEW BEST:: SOT 555054 SOS 172693 HAS SOPS 172693 HAS SOUS 115354 HAS SOUPS 115354 WITH SCORE 115526.693
AT ITER 3739 NEW BEST:: SOT 554852 SOS 172509 HAS SOPS 172509 HAS SOUS 115170 HAS SOUPS 115170 WITH SCORE 115342.509
AT ITER 3754 NEW BEST:: SOT 554952 SOS 172508 HAS SOPS 172508 HAS SOUS 115169 HAS SOUPS 115169 WITH SCORE 115341.508
AT ITER 3766 NEW BEST:: SOT 555463 SOS 172889 HAS SOPS 172889 HAS SOUS 114488 HAS SOUPS 114488 WITH SCORE 114660.889
AT ITER 3795 NEW BEST:: SOT 555124 SOS 173457 HAS SOPS 173457 HAS SOUS 114325 HAS SOUPS 114325 WITH SCORE 114498.457
AT ITER 3802 NEW BEST:: SOT 555095 SOS 173386 HAS SOPS 173386 HAS SOUS 114267 HAS SOUPS 114267 WITH SCORE 114440.386
AT ITER 3817 NEW BEST:: SOT 555063 SOS 172888 HAS SOPS 172888 HAS SOUS 114014 HAS SOUPS 114014 WITH SCORE 114186.888
AT ITER 3829 NEW BEST:: SOT 554969 SOS 172700 HAS SOPS 172700 HAS SOUS 113826 HAS SOUPS 113826 WITH SCORE 113998.7
AT ITER 3834 NEW BEST:: SOT 554929 SOS 172620 HAS SOPS 172620 HAS SOUS 113706 HAS SOUPS 113706 WITH SCORE 113878.62
AT ITER 3847 NEW BEST:: SOT 554893 SOS 173089 HAS SOPS 173089 HAS SOUS 113609 HAS SOUPS 113609 WITH SCORE 113782.089
AT ITER 3854 NEW BEST:: SOT 554782 SOS 172303 HAS SOPS 172303 HAS SOUS 113423 HAS SOUPS 113423 WITH SCORE 113595.303
AT ITER 3872 NEW BEST:: SOT 554735 SOS 173707 HAS SOPS 173707 HAS SOUS 113329 HAS SOUPS 113329 WITH SCORE 113502.707
AT ITER 3906 NEW BEST:: SOT 554664 SOS 173636 HAS SOPS 173636 HAS SOUS 113258 HAS SOUPS 113258 WITH SCORE 113431.636
AT ITER 3923 NEW BEST:: SOT 554492 SOS 173505 HAS SOPS 173505 HAS SOUS 112914 HAS SOUPS 112914 WITH SCORE 113087.505
AT ITER 3927 NEW BEST:: SOT 554492 SOS 173455 HAS SOPS 173455 HAS SOUS 112864 HAS SOUPS 112864 WITH SCORE 113037.455
AT ITER 3930 NEW BEST:: SOT 554492 SOS 173316 HAS SOPS 173316 HAS SOUS 112725 HAS SOUPS 112725 WITH SCORE 112898.316
AT ITER 3944 NEW BEST:: SOT 554482 SOS 173296 HAS SOPS 173296 HAS SOUS 112705 HAS SOUPS 112705 WITH SCORE 112878.296
AT ITER 3948 NEW BEST:: SOT 554372 SOS 173197 HAS SOPS 173197 HAS SOUS 112606 HAS SOUPS 112606 WITH SCORE 112779.197
AT ITER 3964 NEW BEST:: SOT 554328 SOS 173215 HAS SOPS 173215 HAS SOUS 112589 HAS SOUPS 112589 WITH SCORE 112762.215
AT ITER 3974 NEW BEST:: SOT 554342 SOS 173230 HAS SOPS 173230 HAS SOUS 112588 HAS SOUPS 112588 WITH SCORE 112761.23
AT ITER 3983 NEW BEST:: SOT 554287 SOS 172978 HAS SOPS 172978 HAS SOUS 112478 HAS SOUPS 112478 WITH SCORE 112650.978
AT ITER 3988 NEW BEST:: SOT 554237 SOS 172876 HAS SOPS 172876 HAS SOUS 112376 HAS SOUPS 112376 WITH SCORE 112548.876
AT ITER 4004 NEW BEST:: SOT 554231 SOS 172885 HAS SOPS 172885 HAS SOUS 112368 HAS SOUPS 112368 WITH SCORE 112540.885
AT ITER 4039 NEW BEST:: SOT 554231 SOS 172596 HAS SOPS 172596 HAS SOUS 111925 HAS SOUPS 111925 WITH SCORE 112097.596
AT ITER 4050 NEW BEST:: SOT 554231 SOS 172556 HAS SOPS 172556 HAS SOUS 111885 HAS SOUPS 111885 WITH SCORE 112057.556
AT ITER 4073 NEW BEST:: SOT 554198 SOS 172490 HAS SOPS 172490 HAS SOUS 111819 HAS SOUPS 111819 WITH SCORE 111991.49
AT ITER 4081 NEW BEST:: SOT 554113 SOS 172303 HAS SOPS 172303 HAS SOUS 111564 HAS SOUPS 111564 WITH SCORE 111736.303
AT ITER 4101 NEW BEST:: SOT 554113 SOS 172234 HAS SOPS 172234 HAS SOUS 111495 HAS SOUPS 111495 WITH SCORE 111667.234
AT ITER 4104 NEW BEST:: SOT 554106 SOS 172213 HAS SOPS 172213 HAS SOUS 111481 HAS SOUPS 111481 WITH SCORE 111653.213
AT ITER 4112 NEW BEST:: SOT 554053 SOS 172115 HAS SOPS 172115 HAS SOUS 111379 HAS SOUPS 111379 WITH SCORE 111551.115
AT ITER 4159 NEW BEST:: SOT 553858 SOS 171690 HAS SOPS 171690 HAS SOUS 111059 HAS SOUPS 111059 WITH SCORE 111230.69
AT ITER 4203 NEW BEST:: SOT 553808 SOS 171552 HAS SOPS 171552 HAS SOUS 110888 HAS SOUPS 110888 WITH SCORE 111059.552
AT ITER 4212 NEW BEST:: SOT 553749 SOS 172760 HAS SOPS 172760 HAS SOUS 110788 HAS SOUPS 110788 WITH SCORE 110960.76
AT ITER 4214 NEW BEST:: SOT 553890 SOS 172992 HAS SOPS 172992 HAS SOUS 110552 HAS SOUPS 110552 WITH SCORE 110724.992
AT ITER 4216 NEW BEST:: SOT 553872 SOS 172974 HAS SOPS 172974 HAS SOUS 110534 HAS SOUPS 110534 WITH SCORE 110706.974
AT ITER 4224 NEW BEST:: SOT 553757 SOS 172859 HAS SOPS 172859 HAS SOUS 110347 HAS SOUPS 110347 WITH SCORE 110519.859
AT ITER 4226 NEW BEST:: SOT 553694 SOS 172733 HAS SOPS 172733 HAS SOUS 110221 HAS SOUPS 110221 WITH SCORE 110393.733
AT ITER 4236 NEW BEST:: SOT 553662 SOS 172669 HAS SOPS 172669 HAS SOUS 110157 HAS SOUPS 110157 WITH SCORE 110329.669
AT ITER 4241 NEW BEST:: SOT 553654 SOS 172667 HAS SOPS 172667 HAS SOUS 110155 HAS SOUPS 110155 WITH SCORE 110327.667
AT ITER 4247 NEW BEST:: SOT 553653 SOS 172665 HAS SOPS 172665 HAS SOUS 110153 HAS SOUPS 110153 WITH SCORE 110325.665
AT ITER 4249 NEW BEST:: SOT 553631 SOS 172643 HAS SOPS 172643 HAS SOUS 110109 HAS SOUPS 110109 WITH SCORE 110281.643
AT ITER 4254 NEW BEST:: SOT 553604 SOS 172616 HAS SOPS 172616 HAS SOUS 110055 HAS SOUPS 110055 WITH SCORE 110227.616
AT ITER 4274 NEW BEST:: SOT 553550 SOS 173123 HAS SOPS 173123 HAS SOUS 110052 HAS SOUPS 110052 WITH SCORE 110225.123
AT ITER 4275 NEW BEST:: SOT 553438 SOS 173022 HAS SOPS 173022 HAS SOUS 109944 HAS SOUPS 109944 WITH SCORE 110117.022
AT ITER 4292 NEW BEST:: SOT 553372 SOS 173038 HAS SOPS 173038 HAS SOUS 109828 HAS SOUPS 109828 WITH SCORE 110001.038
AT ITER 4304 NEW BEST:: SOT 553368 SOS 172865 HAS SOPS 172865 HAS SOUS 109620 HAS SOUPS 109620 WITH SCORE 109792.865
AT ITER 4335 NEW BEST:: SOT 553298 SOS 172763 HAS SOPS 172763 HAS SOUS 109486 HAS SOUPS 109486 WITH SCORE 109658.763
AT ITER 4358 NEW BEST:: SOT 553267 SOS 172737 HAS SOPS 172737 HAS SOUS 109460 HAS SOUPS 109460 WITH SCORE 109632.737
AT ITER 4377 NEW BEST:: SOT 553267 SOS 172737 HAS SOPS 172737 HAS SOUS 108916 HAS SOUPS 108916 WITH SCORE 109088.737
AT ITER 4407 NEW BEST:: SOT 552672 SOS 173402 HAS SOPS 173402 HAS SOUS 108855 HAS SOUPS 108855 WITH SCORE 109028.402
AT ITER 4413 NEW BEST:: SOT 552661 SOS 173515 HAS SOPS 173515 HAS SOUS 108843 HAS SOUPS 108843 WITH SCORE 109016.515
AT ITER 4459 NEW BEST:: SOT 552631 SOS 173952 HAS SOPS 173952 HAS SOUS 108768 HAS SOUPS 108768 WITH SCORE 108941.952
AT ITER 4463 NEW BEST:: SOT 552712 SOS 173961 HAS SOPS 173961 HAS SOUS 108648 HAS SOUPS 108648 WITH SCORE 108821.961
AT ITER 4516 NEW BEST:: SOT 552540 SOS 173698 HAS SOPS 173698 HAS SOUS 108403 HAS SOUPS 108403 WITH SCORE 108576.698
AT ITER 4518 NEW BEST:: SOT 552516 SOS 173649 HAS SOPS 173649 HAS SOUS 108378 HAS SOUPS 108378 WITH SCORE 108551.649
AT ITER 4543 NEW BEST:: SOT 552437 SOS 173570 HAS SOPS 173570 HAS SOUS 108378 HAS SOUPS 108378 WITH SCORE 108551.57
AT ITER 4562 NEW BEST:: SOT 552376 SOS 173509 HAS SOPS 173509 HAS SOUS 108378 HAS SOUPS 108378 WITH SCORE 108551.509
AT ITER 4580 NEW BEST:: SOT 552350 SOS 173415 HAS SOPS 173415 HAS SOUS 108338 HAS SOUPS 108338 WITH SCORE 108511.415
AT ITER 4586 NEW BEST:: SOT 552308 SOS 173331 HAS SOPS 173331 HAS SOUS 108230 HAS SOUPS 108230 WITH SCORE 108403.331
AT ITER 4595 NEW BEST:: SOT 552258 SOS 173290 HAS SOPS 173290 HAS SOUS 108189 HAS SOUPS 108189 WITH SCORE 108362.29
AT ITER 4599 NEW BEST:: SOT 552258 SOS 173391 HAS SOPS 173391 HAS SOUS 108140 HAS SOUPS 108140 WITH SCORE 108313.391
AT ITER 4605 NEW BEST:: SOT 552258 SOS 173391 HAS SOPS 173391 HAS SOUS 108138 HAS SOUPS 108138 WITH SCORE 108311.391
AT ITER 4616 NEW BEST:: SOT 552235 SOS 173383 HAS SOPS 173383 HAS SOUS 108130 HAS SOUPS 108130 WITH SCORE 108303.383
AT ITER 4652 NEW BEST:: SOT 552138 SOS 173383 HAS SOPS 173383 HAS SOUS 108056 HAS SOUPS 108056 WITH SCORE 108229.383
AT ITER 4673 NEW BEST:: SOT 552138 SOS 173382 HAS SOPS 173382 HAS SOUS 108056 HAS SOUPS 108056 WITH SCORE 108229.382
AT ITER 4674 NEW BEST:: SOT 552197 SOS 173286 HAS SOPS 173286 HAS SOUS 108055 HAS SOUPS 108055 WITH SCORE 108228.286
AT ITER 4678 NEW BEST:: SOT 552161 SOS 173215 HAS SOPS 173215 HAS SOUS 108019 HAS SOUPS 108019 WITH SCORE 108192.215
AT ITER 4690 NEW BEST:: SOT 552112 SOS 173145 HAS SOPS 173145 HAS SOUS 107949 HAS SOUPS 107949 WITH SCORE 108122.145
AT ITER 4712 NEW BEST:: SOT 552131 SOS 173116 HAS SOPS 173116 HAS SOUS 107829 HAS SOUPS 107829 WITH SCORE 108002.116
AT ITER 4763 NEW BEST:: SOT 552106 SOS 173066 HAS SOPS 173066 HAS SOUS 107779 HAS SOUPS 107779 WITH SCORE 107952.066
AT ITER 4771 NEW BEST:: SOT 552106 SOS 173131 HAS SOPS 173131 HAS SOUS 107771 HAS SOUPS 107771 WITH SCORE 107944.131
AT ITER 4772 NEW BEST:: SOT 552107 SOS 173055 HAS SOPS 173055 HAS SOUS 107762 HAS SOUPS 107762 WITH SCORE 107935.055
AT ITER 4782 NEW BEST:: SOT 552106 SOS 173053 HAS SOPS 173053 HAS SOUS 107760 HAS SOUPS 107760 WITH SCORE 107933.053
AT ITER 4793 NEW BEST:: SOT 552105 SOS 173052 HAS SOPS 173052 HAS SOUS 107757 HAS SOUPS 107757 WITH SCORE 107930.052
AT ITER 4803 NEW BEST:: SOT 552039 SOS 172986 HAS SOPS 172986 HAS SOUS 107691 HAS SOUPS 107691 WITH SCORE 107863.986
AT ITER 4834 NEW BEST:: SOT 551955 SOS 172902 HAS SOPS 172902 HAS SOUS 107502 HAS SOUPS 107502 WITH SCORE 107674.902
AT ITER 4841 NEW BEST:: SOT 551955 SOS 172776 HAS SOPS 172776 HAS SOUS 107488 HAS SOUPS 107488 WITH SCORE 107660.776
AT ITER 4842 NEW BEST:: SOT 551907 SOS 172728 HAS SOPS 172728 HAS SOUS 107392 HAS SOUPS 107392 WITH SCORE 107564.728
AT ITER 4847 NEW BEST:: SOT 551858 SOS 172630 HAS SOPS 172630 HAS SOUS 107294 HAS SOUPS 107294 WITH SCORE 107466.63
AT ITER 4861 NEW BEST:: SOT 551825 SOS 172597 HAS SOPS 172597 HAS SOUS 107261 HAS SOUPS 107261 WITH SCORE 107433.597
AT ITER 4874 NEW BEST:: SOT 551769 SOS 172485 HAS SOPS 172485 HAS SOUS 107149 HAS SOUPS 107149 WITH SCORE 107321.485
AT ITER 4875 NEW BEST:: SOT 551763 SOS 172468 HAS SOPS 172468 HAS SOUS 107132 HAS SOUPS 107132 WITH SCORE 107304.468
AT ITER 4894 NEW BEST:: SOT 551639 SOS 172317 HAS SOPS 172317 HAS SOUS 106981 HAS SOUPS 106981 WITH SCORE 107153.317
AT ITER 4898 NEW BEST:: SOT 551639 SOS 172289 HAS SOPS 172289 HAS SOUS 106953 HAS SOUPS 106953 WITH SCORE 107125.289
AT ITER 4901 NEW BEST:: SOT 551692 SOS 170584 HAS SOPS 170584 HAS SOUS 106852 HAS SOUPS 106852 WITH SCORE 107022.584
AT ITER 4944 NEW BEST:: SOT 551673 SOS 170546 HAS SOPS 170546 HAS SOUS 106814 HAS SOUPS 106814 WITH SCORE 106984.546
AT ITER 4971 NEW BEST:: SOT 551668 SOS 170557 HAS SOPS 170557 HAS SOUS 106809 HAS SOUPS 106809 WITH SCORE 106979.557
AT ITER 4984 NEW BEST:: SOT 551626 SOS 170485 HAS SOPS 170485 HAS SOUS 106767 HAS SOUPS 106767 WITH SCORE 106937.485
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-01b-CTLCardinality-00 (EG( ( (AF(potential( ( 1 ) <= (tk(P637)) ))) | (AF(potential( ( 2 ) <= (tk(P519)) ))) )))
PROPERTY: ASLink-PT-01b-CTLCardinality-01 (EG( (EF(( potential( ( 1 ) <= (tk(P371)) ) & potential( ( 2 ) <= (tk(P215)) ) )))))
PROPERTY: ASLink-PT-01b-CTLCardinality-02 (AF(( (EG( potential( (tk(P325)) <= (tk(P536)) ))) | ( potential( ( 1 ) <= (tk(P453)) ) | ( potential( ( 1 ) <= (tk(P471)) ) & potential( (tk(P335)) <= (tk(P790)) ) ) ) )))
PROPERTY: ASLink-PT-01b-CTLCardinality-03 (! ( ( ( ( potential( ( 3 ) <= (tk(P724)) ) | potential( ( 3 ) <= (tk(P76)) ) ) | ( potential( ( 3 ) <= (tk(P518)) ) & potential( (tk(P448)) <= (tk(P333)) ) ) ) | (EF(potential( ( 1 ) <= (tk(P681)) ))) ) & ( (AF(potential( ( 3 ) <= (tk(P507)) ))) | ( ( potential( ( 3 ) <= (tk(P459)) ) | potential( ( 3 ) <= (tk(P519)) ) ) | potential( ( 1 ) <= (tk(P618)) ) ) ) ))
PROPERTY: ASLink-PT-01b-CTLCardinality-04 ( ( ( potential( (tk(P504)) <= (tk(P610)) ) | (EG( potential( (tk(P413)) <= (tk(P268)) ))) ) & (! ( potential( (tk(P203)) <= (tk(P297)) ) | ( potential( ( 2 ) <= (tk(P843)) ) | potential( (tk(P57)) <= (tk(P124)) ) ) )) ) | (AG( (EG( potential( (tk(P591)) <= (tk(P666)) ))))) )
PROPERTY: ASLink-PT-01b-CTLCardinality-05 ( (! potential( (tk(P294)) <= (tk(P678)) )) | (AF(potential( ( 3 ) <= (tk(P289)) ))) )
PROPERTY: ASLink-PT-01b-CTLCardinality-06 ( (! ( (! potential( (tk(P178)) <= (tk(P137)) )) & ( ( potential( (tk(P367)) <= (tk(P614)) ) & potential( ( 2 ) <= (tk(P607)) ) ) | potential( (tk(P732)) <= (tk(P597)) ) ) )) & (AX( (AG( potential( (tk(P153)) <= (tk(P390)) ))))) )
PROPERTY: ASLink-PT-01b-CTLCardinality-07 (EX( (EG( ( potential( (tk(P470)) <= (tk(P474)) ) | potential( ( 3 ) <= (tk(P127)) ) )))))
PROPERTY: ASLink-PT-01b-CTLCardinality-08 (EG( (EF(( potential( ( 2 ) <= (tk(P320)) ) & potential( (tk(P219)) <= (tk(P80)) ) )))))
PROPERTY: ASLink-PT-01b-CTLCardinality-09 (AF((AU( potential( ( 3 ) <= (tk(P362)) ),potential( ( 2 ) <= (tk(P699)) ) ))))
PROPERTY: ASLink-PT-01b-CTLCardinality-10 (AF(potential( ( 1 ) <= (tk(P702)) )))
PROPERTY: ASLink-PT-01b-CTLCardinality-11 (AG( ( potential( (tk(P126)) <= (tk(P681)) ) & (AF(potential( ( 1 ) <= (tk(P562)) ))) )))
PROPERTY: ASLink-PT-01b-CTLCardinality-12 (! (! ( (EG( potential( (tk(P31)) <= (tk(P17)) ))) | (AX( potential( ( 3 ) <= (tk(P844)) ))) )))
PROPERTY: ASLink-PT-01b-CTLCardinality-13 (AU( (EF(potential( (tk(P79)) <= (tk(P382)) ))),( ( potential( (tk(P767)) <= (tk(P623)) ) & potential( ( 2 ) <= (tk(P58)) ) ) & ( potential( ( 3 ) <= (tk(P328)) ) | potential( ( 3 ) <= (tk(P344)) ) ) ) ))
PROPERTY: ASLink-PT-01b-CTLCardinality-14 (EF((! ( (! potential( (tk(P367)) <= (tk(P425)) )) | ( potential( (tk(P34)) <= (tk(P364)) ) & potential( (tk(P704)) <= (tk(P738)) ) ) ))))
PROPERTY: ASLink-PT-01b-CTLCardinality-15 (! (EG( (EF(potential( (tk(P721)) <= (tk(P76)) ))))))

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="ASLink-PT-01b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-01b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508000019"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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