Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814473201016.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DNAwalker-PT-18lozangeBlock, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814473201016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 6.0K Feb 25 13:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 13:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 13:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 13:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 13:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 25 13:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 15 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678271136734

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DNAwalker-PT-18lozangeBlock
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DNAwalker (PT), instance 18lozangeBlock
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 164 places, 3697 transitions, 10898 arcs.
AT ITER 0 NEW BEST:: SOT 425598 SOS 135980 HAS SOPS 135979 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.98
AT ITER 8 NEW BEST:: SOT 425464 SOS 135586 HAS SOPS 135585 HAS SOUS 16962 HAS SOUPS 16961 WITH SCORE 17096.586
AT ITER 21 NEW BEST:: SOT 425248 SOS 136549 HAS SOPS 136548 HAS SOUS 16952 HAS SOUPS 16951 WITH SCORE 17087.549
AT ITER 34 NEW BEST:: SOT 426714 SOS 135947 HAS SOPS 135946 HAS SOUS 16926 HAS SOUPS 16925 WITH SCORE 17060.947
AT ITER 35 NEW BEST:: SOT 429749 SOS 135452 HAS SOPS 135451 HAS SOUS 16926 HAS SOUPS 16925 WITH SCORE 17060.452
AT ITER 36 NEW BEST:: SOT 430393 SOS 134556 HAS SOPS 134555 HAS SOUS 16822 HAS SOUPS 16821 WITH SCORE 16955.556
AT ITER 43 NEW BEST:: SOT 430071 SOS 136087 HAS SOPS 136086 HAS SOUS 16754 HAS SOUPS 16753 WITH SCORE 16889.087
AT ITER 45 NEW BEST:: SOT 429619 SOS 137073 HAS SOPS 137072 HAS SOUS 16746 HAS SOUPS 16745 WITH SCORE 16882.073
AT ITER 49 NEW BEST:: SOT 429234 SOS 138239 HAS SOPS 138238 HAS SOUS 16743 HAS SOUPS 16742 WITH SCORE 16880.239
AT ITER 50 NEW BEST:: SOT 429268 SOS 138167 HAS SOPS 138166 HAS SOUS 16743 HAS SOUPS 16742 WITH SCORE 16880.167
AT ITER 54 NEW BEST:: SOT 429138 SOS 138127 HAS SOPS 138126 HAS SOUS 16743 HAS SOUPS 16742 WITH SCORE 16880.127
AT ITER 55 NEW BEST:: SOT 429169 SOS 137629 HAS SOPS 137628 HAS SOUS 16724 HAS SOUPS 16723 WITH SCORE 16860.629
AT ITER 69 NEW BEST:: SOT 429437 SOS 137307 HAS SOPS 137306 HAS SOUS 16724 HAS SOUPS 16723 WITH SCORE 16860.307
AT ITER 84 NEW BEST:: SOT 431639 SOS 135693 HAS SOPS 135692 HAS SOUS 16724 HAS SOUPS 16723 WITH SCORE 16858.693
AT ITER 96 NEW BEST:: SOT 430662 SOS 135335 HAS SOPS 135334 HAS SOUS 16715 HAS SOUPS 16714 WITH SCORE 16849.335
AT ITER 103 NEW BEST:: SOT 430666 SOS 135315 HAS SOPS 135314 HAS SOUS 16715 HAS SOUPS 16714 WITH SCORE 16849.315
AT ITER 120 NEW BEST:: SOT 430694 SOS 135215 HAS SOPS 135214 HAS SOUS 16715 HAS SOUPS 16714 WITH SCORE 16849.215
AT ITER 131 NEW BEST:: SOT 430718 SOS 135164 HAS SOPS 135163 HAS SOUS 16715 HAS SOUPS 16714 WITH SCORE 16849.164
AT ITER 141 NEW BEST:: SOT 430674 SOS 134810 HAS SOPS 134809 HAS SOUS 16715 HAS SOUPS 16714 WITH SCORE 16848.81
AT ITER 143 NEW BEST:: SOT 430644 SOS 134646 HAS SOPS 134645 HAS SOUS 16715 HAS SOUPS 16714 WITH SCORE 16848.646
AT ITER 147 NEW BEST:: SOT 430717 SOS 133955 HAS SOPS 133954 HAS SOUS 16688 HAS SOUPS 16687 WITH SCORE 16820.955
AT ITER 152 NEW BEST:: SOT 430713 SOS 133499 HAS SOPS 133498 HAS SOUS 16672 HAS SOUPS 16671 WITH SCORE 16804.499
AT ITER 159 NEW BEST:: SOT 429578 SOS 138924 HAS SOPS 138923 HAS SOUS 16577 HAS SOUPS 16576 WITH SCORE 16714.924
AT ITER 181 NEW BEST:: SOT 429572 SOS 138906 HAS SOPS 138905 HAS SOUS 16577 HAS SOUPS 16576 WITH SCORE 16714.906
AT ITER 191 NEW BEST:: SOT 429580 SOS 138902 HAS SOPS 138901 HAS SOUS 16577 HAS SOUPS 16576 WITH SCORE 16714.902
AT ITER 197 NEW BEST:: SOT 429566 SOS 138466 HAS SOPS 138465 HAS SOUS 16577 HAS SOUPS 16576 WITH SCORE 16714.466
AT ITER 208 NEW BEST:: SOT 429592 SOS 138433 HAS SOPS 138432 HAS SOUS 16577 HAS SOUPS 16576 WITH SCORE 16714.433
AT ITER 219 NEW BEST:: SOT 430238 SOS 138315 HAS SOPS 138314 HAS SOUS 16577 HAS SOUPS 16576 WITH SCORE 16714.315
AT ITER 222 NEW BEST:: SOT 430196 SOS 138183 HAS SOPS 138182 HAS SOUS 16577 HAS SOUPS 16576 WITH SCORE 16714.183
AT ITER 224 NEW BEST:: SOT 430185 SOS 141779 HAS SOPS 141778 HAS SOUS 16563 HAS SOUPS 16562 WITH SCORE 16703.779
AT ITER 228 NEW BEST:: SOT 430371 SOS 141676 HAS SOPS 141675 HAS SOUS 16563 HAS SOUPS 16562 WITH SCORE 16703.676
AT ITER 233 NEW BEST:: SOT 431257 SOS 142496 HAS SOPS 142495 HAS SOUS 16547 HAS SOUPS 16546 WITH SCORE 16688.496
AT ITER 237 NEW BEST:: SOT 431902 SOS 142887 HAS SOPS 142886 HAS SOUS 16524 HAS SOUPS 16523 WITH SCORE 16665.887
AT ITER 244 NEW BEST:: SOT 435451 SOS 137730 HAS SOPS 137729 HAS SOUS 16471 HAS SOUPS 16470 WITH SCORE 16607.73
AT ITER 249 NEW BEST:: SOT 435713 SOS 137318 HAS SOPS 137317 HAS SOUS 16471 HAS SOUPS 16470 WITH SCORE 16607.318
AT ITER 262 NEW BEST:: SOT 437935 SOS 130746 HAS SOPS 130745 HAS SOUS 16471 HAS SOUPS 16470 WITH SCORE 16600.746
AT ITER 297 NEW BEST:: SOT 437924 SOS 130108 HAS SOPS 130107 HAS SOUS 16449 HAS SOUPS 16448 WITH SCORE 16578.108
AT ITER 305 NEW BEST:: SOT 437654 SOS 130608 HAS SOPS 130607 HAS SOUS 16441 HAS SOUPS 16440 WITH SCORE 16570.608
AT ITER 320 NEW BEST:: SOT 437726 SOS 130242 HAS SOPS 130241 HAS SOUS 16431 HAS SOUPS 16430 WITH SCORE 16560.242
AT ITER 325 NEW BEST:: SOT 437676 SOS 130042 HAS SOPS 130041 HAS SOUS 16431 HAS SOUPS 16430 WITH SCORE 16560.042
AT ITER 341 NEW BEST:: SOT 436132 SOS 129474 HAS SOPS 129473 HAS SOUS 16388 HAS SOUPS 16387 WITH SCORE 16516.474
AT ITER 342 NEW BEST:: SOT 436151 SOS 130547 HAS SOPS 130546 HAS SOUS 16365 HAS SOUPS 16364 WITH SCORE 16494.547
AT ITER 362 NEW BEST:: SOT 436133 SOS 130519 HAS SOPS 130518 HAS SOUS 16365 HAS SOUPS 16364 WITH SCORE 16494.519
AT ITER 366 NEW BEST:: SOT 436179 SOS 130478 HAS SOPS 130477 HAS SOUS 16335 HAS SOUPS 16334 WITH SCORE 16464.478
AT ITER 382 NEW BEST:: SOT 436124 SOS 130611 HAS SOPS 130610 HAS SOUS 16326 HAS SOUPS 16325 WITH SCORE 16455.611
AT ITER 387 NEW BEST:: SOT 436250 SOS 130508 HAS SOPS 130507 HAS SOUS 16321 HAS SOUPS 16320 WITH SCORE 16450.508
AT ITER 389 NEW BEST:: SOT 436242 SOS 130477 HAS SOPS 130476 HAS SOUS 16321 HAS SOUPS 16320 WITH SCORE 16450.477
AT ITER 400 NEW BEST:: SOT 437714 SOS 131565 HAS SOPS 131564 HAS SOUS 16305 HAS SOUPS 16304 WITH SCORE 16435.565
AT ITER 414 NEW BEST:: SOT 436869 SOS 136768 HAS SOPS 136767 HAS SOUS 16277 HAS SOUPS 16276 WITH SCORE 16412.768
AT ITER 419 NEW BEST:: SOT 437125 SOS 136741 HAS SOPS 136740 HAS SOUS 16277 HAS SOUPS 16276 WITH SCORE 16412.741
AT ITER 433 NEW BEST:: SOT 437333 SOS 136887 HAS SOPS 136886 HAS SOUS 16259 HAS SOUPS 16258 WITH SCORE 16394.887
AT ITER 434 NEW BEST:: SOT 437129 SOS 136809 HAS SOPS 136808 HAS SOUS 16259 HAS SOUPS 16258 WITH SCORE 16394.809
AT ITER 440 NEW BEST:: SOT 438424 SOS 137570 HAS SOPS 137569 HAS SOUS 16228 HAS SOUPS 16227 WITH SCORE 16364.57
AT ITER 476 NEW BEST:: SOT 439868 SOS 138682 HAS SOPS 138681 HAS SOUS 16185 HAS SOUPS 16184 WITH SCORE 16322.682
AT ITER 503 NEW BEST:: SOT 439198 SOS 138546 HAS SOPS 138545 HAS SOUS 16181 HAS SOUPS 16180 WITH SCORE 16318.546
AT ITER 529 NEW BEST:: SOT 441086 SOS 137249 HAS SOPS 137248 HAS SOUS 16170 HAS SOUPS 16169 WITH SCORE 16306.249
AT ITER 546 NEW BEST:: SOT 441072 SOS 137185 HAS SOPS 137184 HAS SOUS 16170 HAS SOUPS 16169 WITH SCORE 16306.185
AT ITER 598 NEW BEST:: SOT 441295 SOS 137010 HAS SOPS 137009 HAS SOUS 16039 HAS SOUPS 16038 WITH SCORE 16175.01
AT ITER 624 NEW BEST:: SOT 441245 SOS 136970 HAS SOPS 136969 HAS SOUS 16027 HAS SOUPS 16026 WITH SCORE 16162.97
AT ITER 631 NEW BEST:: SOT 441501 SOS 136362 HAS SOPS 136361 HAS SOUS 16027 HAS SOUPS 16026 WITH SCORE 16162.362
AT ITER 635 NEW BEST:: SOT 443462 SOS 135977 HAS SOPS 135976 HAS SOUS 16027 HAS SOUPS 16026 WITH SCORE 16161.977
AT ITER 636 NEW BEST:: SOT 443508 SOS 131785 HAS SOPS 131784 HAS SOUS 16022 HAS SOUPS 16021 WITH SCORE 16152.785
AT ITER 646 NEW BEST:: SOT 443380 SOS 131947 HAS SOPS 131946 HAS SOUS 16000 HAS SOUPS 15999 WITH SCORE 16130.947
AT ITER 673 NEW BEST:: SOT 443400 SOS 131607 HAS SOPS 131606 HAS SOUS 16000 HAS SOUPS 15999 WITH SCORE 16130.607
AT ITER 675 NEW BEST:: SOT 443434 SOS 131573 HAS SOPS 131572 HAS SOUS 16000 HAS SOUPS 15999 WITH SCORE 16130.573
AT ITER 703 NEW BEST:: SOT 443180 SOS 131677 HAS SOPS 131676 HAS SOUS 15991 HAS SOUPS 15990 WITH SCORE 16121.677
AT ITER 708 NEW BEST:: SOT 443188 SOS 132773 HAS SOPS 132772 HAS SOUS 15979 HAS SOUPS 15978 WITH SCORE 16110.773
AT ITER 711 NEW BEST:: SOT 443169 SOS 132768 HAS SOPS 132767 HAS SOUS 15979 HAS SOUPS 15978 WITH SCORE 16110.768
AT ITER 718 NEW BEST:: SOT 443141 SOS 132748 HAS SOPS 132747 HAS SOUS 15979 HAS SOUPS 15978 WITH SCORE 16110.748
AT ITER 726 NEW BEST:: SOT 443674 SOS 133430 HAS SOPS 133429 HAS SOUS 15968 HAS SOUPS 15967 WITH SCORE 16100.43
AT ITER 731 NEW BEST:: SOT 444643 SOS 133482 HAS SOPS 133481 HAS SOUS 15953 HAS SOUPS 15952 WITH SCORE 16085.482
AT ITER 741 NEW BEST:: SOT 443440 SOS 132964 HAS SOPS 132963 HAS SOUS 15946 HAS SOUPS 15945 WITH SCORE 16077.964
AT ITER 754 NEW BEST:: SOT 443639 SOS 131825 HAS SOPS 131824 HAS SOUS 15946 HAS SOUPS 15945 WITH SCORE 16076.825
AT ITER 775 NEW BEST:: SOT 443651 SOS 131831 HAS SOPS 131830 HAS SOUS 15938 HAS SOUPS 15937 WITH SCORE 16068.831
AT ITER 782 NEW BEST:: SOT 443663 SOS 131875 HAS SOPS 131874 HAS SOUS 15934 HAS SOUPS 15933 WITH SCORE 16064.875
AT ITER 783 NEW BEST:: SOT 443623 SOS 132029 HAS SOPS 132028 HAS SOUS 15916 HAS SOUPS 15915 WITH SCORE 16047.029
AT ITER 787 NEW BEST:: SOT 443623 SOS 132019 HAS SOPS 132018 HAS SOUS 15916 HAS SOUPS 15915 WITH SCORE 16047.019
AT ITER 803 NEW BEST:: SOT 443747 SOS 131893 HAS SOPS 131892 HAS SOUS 15916 HAS SOUPS 15915 WITH SCORE 16046.893
AT ITER 817 NEW BEST:: SOT 443585 SOS 131341 HAS SOPS 131340 HAS SOUS 15888 HAS SOUPS 15887 WITH SCORE 16018.341
AT ITER 821 NEW BEST:: SOT 443601 SOS 130743 HAS SOPS 130742 HAS SOUS 15883 HAS SOUPS 15882 WITH SCORE 16012.743
AT ITER 840 NEW BEST:: SOT 445678 SOS 129276 HAS SOPS 129275 HAS SOUS 15883 HAS SOUPS 15882 WITH SCORE 16011.276
AT ITER 845 NEW BEST:: SOT 445677 SOS 129274 HAS SOPS 129273 HAS SOUS 15881 HAS SOUPS 15880 WITH SCORE 16009.274
AT ITER 860 NEW BEST:: SOT 445785 SOS 129106 HAS SOPS 129105 HAS SOUS 15881 HAS SOUPS 15880 WITH SCORE 16009.106
AT ITER 911 NEW BEST:: SOT 446938 SOS 129012 HAS SOPS 129011 HAS SOUS 15881 HAS SOUPS 15880 WITH SCORE 16009.012
AT ITER 915 NEW BEST:: SOT 446934 SOS 128986 HAS SOPS 128985 HAS SOUS 15881 HAS SOUPS 15880 WITH SCORE 16008.986
AT ITER 925 NEW BEST:: SOT 445806 SOS 128362 HAS SOPS 128361 HAS SOUS 15869 HAS SOUPS 15868 WITH SCORE 15996.362
AT ITER 944 NEW BEST:: SOT 445736 SOS 127758 HAS SOPS 127757 HAS SOUS 15869 HAS SOUPS 15868 WITH SCORE 15995.758
AT ITER 977 NEW BEST:: SOT 445075 SOS 130199 HAS SOPS 130198 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15945.199
AT ITER 984 NEW BEST:: SOT 443836 SOS 129957 HAS SOPS 129956 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15944.957
AT ITER 998 NEW BEST:: SOT 443802 SOS 129599 HAS SOPS 129598 HAS SOUS 15816 HAS SOUPS 15815 WITH SCORE 15944.599
AT ITER 1049 NEW BEST:: SOT 444955 SOS 130231 HAS SOPS 130230 HAS SOUS 15795 HAS SOUPS 15794 WITH SCORE 15924.231
AT ITER 1075 NEW BEST:: SOT 444955 SOS 130147 HAS SOPS 130146 HAS SOUS 15795 HAS SOUPS 15794 WITH SCORE 15924.147
AT ITER 1079 NEW BEST:: SOT 444079 SOS 129925 HAS SOPS 129924 HAS SOUS 15795 HAS SOUPS 15794 WITH SCORE 15923.925
AT ITER 1080 NEW BEST:: SOT 444055 SOS 130031 HAS SOPS 130030 HAS SOUS 15788 HAS SOUPS 15787 WITH SCORE 15917.031
AT ITER 1081 NEW BEST:: SOT 444055 SOS 130023 HAS SOPS 130022 HAS SOUS 15788 HAS SOUPS 15787 WITH SCORE 15917.023
AT ITER 1089 NEW BEST:: SOT 443750 SOS 129791 HAS SOPS 129790 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.791
AT ITER 1091 NEW BEST:: SOT 443753 SOS 129782 HAS SOPS 129781 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.782
AT ITER 1106 NEW BEST:: SOT 443759 SOS 129539 HAS SOPS 129538 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.539
AT ITER 1134 NEW BEST:: SOT 443951 SOS 129349 HAS SOPS 129348 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.349
AT ITER 1135 NEW BEST:: SOT 443957 SOS 129285 HAS SOPS 129284 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.285
AT ITER 1160 NEW BEST:: SOT 443961 SOS 129283 HAS SOPS 129282 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.283
AT ITER 1163 NEW BEST:: SOT 443945 SOS 129251 HAS SOPS 129250 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.251
AT ITER 1168 NEW BEST:: SOT 443925 SOS 129211 HAS SOPS 129210 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15913.211
AT ITER 1172 NEW BEST:: SOT 443957 SOS 128667 HAS SOPS 128666 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15912.667
AT ITER 1190 NEW BEST:: SOT 443797 SOS 128662 HAS SOPS 128661 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15912.662
AT ITER 1193 NEW BEST:: SOT 443683 SOS 128654 HAS SOPS 128653 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15912.654
AT ITER 1210 NEW BEST:: SOT 443685 SOS 128643 HAS SOPS 128642 HAS SOUS 15785 HAS SOUPS 15784 WITH SCORE 15912.643
AT ITER 1232 NEW BEST:: SOT 443677 SOS 128627 HAS SOPS 128626 HAS SOUS 15753 HAS SOUPS 15752 WITH SCORE 15880.627
AT ITER 1240 NEW BEST:: SOT 443564 SOS 128122 HAS SOPS 128121 HAS SOUS 15750 HAS SOUPS 15749 WITH SCORE 15877.122
AT ITER 1241 NEW BEST:: SOT 443380 SOS 128120 HAS SOPS 128119 HAS SOUS 15750 HAS SOUPS 15749 WITH SCORE 15877.12
AT ITER 1242 NEW BEST:: SOT 443212 SOS 128264 HAS SOPS 128263 HAS SOUS 15740 HAS SOUPS 15739 WITH SCORE 15867.264
AT ITER 1279 NEW BEST:: SOT 443986 SOS 125276 HAS SOPS 125275 HAS SOUS 15740 HAS SOUPS 15739 WITH SCORE 15864.276
AT ITER 1297 NEW BEST:: SOT 444238 SOS 124922 HAS SOPS 124921 HAS SOUS 15740 HAS SOUPS 15739 WITH SCORE 15863.922
AT ITER 1317 NEW BEST:: SOT 444096 SOS 125196 HAS SOPS 125195 HAS SOUS 15722 HAS SOUPS 15721 WITH SCORE 15846.196
AT ITER 1318 NEW BEST:: SOT 444110 SOS 125092 HAS SOPS 125091 HAS SOUS 15722 HAS SOUPS 15721 WITH SCORE 15846.092
AT ITER 1322 NEW BEST:: SOT 444022 SOS 124956 HAS SOPS 124955 HAS SOUS 15722 HAS SOUPS 15721 WITH SCORE 15845.956
AT ITER 1325 NEW BEST:: SOT 443272 SOS 124556 HAS SOPS 124555 HAS SOUS 15711 HAS SOUPS 15710 WITH SCORE 15834.556
AT ITER 1333 NEW BEST:: SOT 443360 SOS 124249 HAS SOPS 124248 HAS SOUS 15711 HAS SOUPS 15710 WITH SCORE 15834.249
AT ITER 1350 NEW BEST:: SOT 443122 SOS 123909 HAS SOPS 123908 HAS SOUS 15711 HAS SOUPS 15710 WITH SCORE 15833.909
AT ITER 1352 NEW BEST:: SOT 442952 SOS 123791 HAS SOPS 123790 HAS SOUS 15675 HAS SOUPS 15674 WITH SCORE 15797.791
AT ITER 1368 NEW BEST:: SOT 441207 SOS 125080 HAS SOPS 125079 HAS SOUS 15666 HAS SOUPS 15665 WITH SCORE 15790.08
AT ITER 1389 NEW BEST:: SOT 441207 SOS 124882 HAS SOPS 124881 HAS SOUS 15666 HAS SOUPS 15665 WITH SCORE 15789.882
AT ITER 1398 NEW BEST:: SOT 441095 SOS 124806 HAS SOPS 124805 HAS SOUS 15642 HAS SOUPS 15641 WITH SCORE 15765.806
AT ITER 1405 NEW BEST:: SOT 439336 SOS 125136 HAS SOPS 125135 HAS SOUS 15615 HAS SOUPS 15614 WITH SCORE 15739.136
AT ITER 1444 NEW BEST:: SOT 439362 SOS 125062 HAS SOPS 125061 HAS SOUS 15615 HAS SOUPS 15614 WITH SCORE 15739.062
AT ITER 1468 NEW BEST:: SOT 439400 SOS 125018 HAS SOPS 125017 HAS SOUS 15615 HAS SOUPS 15614 WITH SCORE 15739.018
AT ITER 1474 NEW BEST:: SOT 439564 SOS 124646 HAS SOPS 124645 HAS SOUS 15611 HAS SOUPS 15610 WITH SCORE 15734.646
AT ITER 1508 NEW BEST:: SOT 441548 SOS 125900 HAS SOPS 125899 HAS SOUS 15605 HAS SOUPS 15604 WITH SCORE 15729.9
AT ITER 1516 NEW BEST:: SOT 441834 SOS 125716 HAS SOPS 125715 HAS SOUS 15591 HAS SOUPS 15590 WITH SCORE 15715.716
AT ITER 1518 NEW BEST:: SOT 441840 SOS 125673 HAS SOPS 125672 HAS SOUS 15591 HAS SOUPS 15590 WITH SCORE 15715.673
AT ITER 1553 NEW BEST:: SOT 442707 SOS 125203 HAS SOPS 125202 HAS SOUS 15591 HAS SOUPS 15590 WITH SCORE 15715.203
AT ITER 1566 NEW BEST:: SOT 443609 SOS 124379 HAS SOPS 124378 HAS SOUS 15585 HAS SOUPS 15584 WITH SCORE 15708.379
AT ITER 1572 NEW BEST:: SOT 443599 SOS 124393 HAS SOPS 124392 HAS SOUS 15583 HAS SOUPS 15582 WITH SCORE 15706.393
AT ITER 1579 NEW BEST:: SOT 443594 SOS 124320 HAS SOPS 124319 HAS SOUS 15583 HAS SOUPS 15582 WITH SCORE 15706.32
AT ITER 1590 NEW BEST:: SOT 443458 SOS 124388 HAS SOPS 124387 HAS SOUS 15573 HAS SOUPS 15572 WITH SCORE 15696.388
AT ITER 1603 NEW BEST:: SOT 443386 SOS 124268 HAS SOPS 124267 HAS SOUS 15573 HAS SOUPS 15572 WITH SCORE 15696.268
AT ITER 1653 NEW BEST:: SOT 443698 SOS 125042 HAS SOPS 125041 HAS SOUS 15567 HAS SOUPS 15566 WITH SCORE 15691.042
AT ITER 1696 NEW BEST:: SOT 443778 SOS 125022 HAS SOPS 125021 HAS SOUS 15567 HAS SOUPS 15566 WITH SCORE 15691.022
AT ITER 1705 NEW BEST:: SOT 443304 SOS 124074 HAS SOPS 124073 HAS SOUS 15567 HAS SOUPS 15566 WITH SCORE 15690.074
AT ITER 1718 NEW BEST:: SOT 443804 SOS 123696 HAS SOPS 123695 HAS SOUS 15567 HAS SOUPS 15566 WITH SCORE 15689.696
AT ITER 1742 NEW BEST:: SOT 443812 SOS 123648 HAS SOPS 123647 HAS SOUS 15567 HAS SOUPS 15566 WITH SCORE 15689.648
AT ITER 1761 NEW BEST:: SOT 443002 SOS 123048 HAS SOPS 123047 HAS SOUS 15533 HAS SOUPS 15532 WITH SCORE 15655.048
AT ITER 1800 NEW BEST:: SOT 443158 SOS 122788 HAS SOPS 122787 HAS SOUS 15533 HAS SOUPS 15532 WITH SCORE 15654.788
AT ITER 1805 NEW BEST:: SOT 443145 SOS 122717 HAS SOPS 122716 HAS SOUS 15520 HAS SOUPS 15519 WITH SCORE 15641.717
AT ITER 1810 NEW BEST:: SOT 443086 SOS 122675 HAS SOPS 122674 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15634.675
AT ITER 1880 NEW BEST:: SOT 443140 SOS 121415 HAS SOPS 121414 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15633.415
AT ITER 1925 NEW BEST:: SOT 443582 SOS 120249 HAS SOPS 120248 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15632.249
AT ITER 1928 NEW BEST:: SOT 443569 SOS 120236 HAS SOPS 120235 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15632.236
AT ITER 1939 NEW BEST:: SOT 443643 SOS 119978 HAS SOPS 119977 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15631.978
AT ITER 1945 NEW BEST:: SOT 443665 SOS 119794 HAS SOPS 119793 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15631.794
AT ITER 1990 NEW BEST:: SOT 443789 SOS 119690 HAS SOPS 119689 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15631.69
AT ITER 1994 NEW BEST:: SOT 443863 SOS 118846 HAS SOPS 118845 HAS SOUS 15513 HAS SOUPS 15512 WITH SCORE 15630.846
AT ITER 2002 NEW BEST:: SOT 443831 SOS 118934 HAS SOPS 118933 HAS SOUS 15509 HAS SOUPS 15508 WITH SCORE 15626.934
AT ITER 2006 NEW BEST:: SOT 443863 SOS 119094 HAS SOPS 119093 HAS SOUS 15497 HAS SOUPS 15496 WITH SCORE 15615.094
AT ITER 2069 NEW BEST:: SOT 441447 SOS 119432 HAS SOPS 119431 HAS SOUS 15471 HAS SOUPS 15470 WITH SCORE 15589.432
AT ITER 2072 NEW BEST:: SOT 442031 SOS 119820 HAS SOPS 119819 HAS SOUS 15427 HAS SOUPS 15426 WITH SCORE 15545.82
AT ITER 2101 NEW BEST:: SOT 441908 SOS 120197 HAS SOPS 120196 HAS SOUS 15420 HAS SOUPS 15419 WITH SCORE 15539.197
AT ITER 2118 NEW BEST:: SOT 441843 SOS 120222 HAS SOPS 120221 HAS SOUS 15415 HAS SOUPS 15414 WITH SCORE 15534.222
AT ITER 2158 NEW BEST:: SOT 441692 SOS 121260 HAS SOPS 121259 HAS SOUS 15412 HAS SOUPS 15411 WITH SCORE 15532.26
AT ITER 2159 NEW BEST:: SOT 441960 SOS 121070 HAS SOPS 121069 HAS SOUS 15412 HAS SOUPS 15411 WITH SCORE 15532.07
AT ITER 2185 NEW BEST:: SOT 441955 SOS 121060 HAS SOPS 121059 HAS SOUS 15401 HAS SOUPS 15400 WITH SCORE 15521.06
AT ITER 2213 NEW BEST:: SOT 441851 SOS 121042 HAS SOPS 121041 HAS SOUS 15401 HAS SOUPS 15400 WITH SCORE 15521.042
AT ITER 2304 NEW BEST:: SOT 441949 SOS 120510 HAS SOPS 120509 HAS SOUS 15401 HAS SOUPS 15400 WITH SCORE 15520.51
AT ITER 2318 NEW BEST:: SOT 444101 SOS 120020 HAS SOPS 120019 HAS SOUS 15401 HAS SOUPS 15400 WITH SCORE 15520.02
AT ITER 2340 NEW BEST:: SOT 444061 SOS 119616 HAS SOPS 119615 HAS SOUS 15401 HAS SOUPS 15400 WITH SCORE 15519.616
AT ITER 2343 NEW BEST:: SOT 443994 SOS 119582 HAS SOPS 119581 HAS SOUS 15401 HAS SOUPS 15400 WITH SCORE 15519.582
AT ITER 2345 NEW BEST:: SOT 444214 SOS 119588 HAS SOPS 119587 HAS SOUS 15393 HAS SOUPS 15392 WITH SCORE 15511.588
AT ITER 2348 NEW BEST:: SOT 444204 SOS 119568 HAS SOPS 119567 HAS SOUS 15373 HAS SOUPS 15372 WITH SCORE 15491.568
AT ITER 2365 NEW BEST:: SOT 444220 SOS 119880 HAS SOPS 119879 HAS SOUS 15369 HAS SOUPS 15368 WITH SCORE 15487.88
AT ITER 2374 NEW BEST:: SOT 444219 SOS 119878 HAS SOPS 119877 HAS SOUS 15367 HAS SOUPS 15366 WITH SCORE 15485.878
AT ITER 2396 NEW BEST:: SOT 444309 SOS 118970 HAS SOPS 118969 HAS SOUS 15367 HAS SOUPS 15366 WITH SCORE 15484.97
AT ITER 2410 NEW BEST:: SOT 444258 SOS 118985 HAS SOPS 118984 HAS SOUS 15364 HAS SOUPS 15363 WITH SCORE 15481.985
AT ITER 2412 NEW BEST:: SOT 444643 SOS 118858 HAS SOPS 118857 HAS SOUS 15359 HAS SOUPS 15358 WITH SCORE 15476.858
AT ITER 2414 NEW BEST:: SOT 444667 SOS 119038 HAS SOPS 119037 HAS SOUS 15355 HAS SOUPS 15354 WITH SCORE 15473.038
AT ITER 2416 NEW BEST:: SOT 444525 SOS 118954 HAS SOPS 118953 HAS SOUS 15351 HAS SOUPS 15350 WITH SCORE 15468.954
AT ITER 2425 NEW BEST:: SOT 444419 SOS 118878 HAS SOPS 118877 HAS SOUS 15351 HAS SOUPS 15350 WITH SCORE 15468.878
AT ITER 2457 NEW BEST:: SOT 444325 SOS 118690 HAS SOPS 118689 HAS SOUS 15351 HAS SOUPS 15350 WITH SCORE 15468.69
AT ITER 2476 NEW BEST:: SOT 444203 SOS 118636 HAS SOPS 118635 HAS SOUS 15335 HAS SOUPS 15334 WITH SCORE 15452.636
AT ITER 2489 NEW BEST:: SOT 444166 SOS 118698 HAS SOPS 118697 HAS SOUS 15318 HAS SOUPS 15317 WITH SCORE 15435.698
AT ITER 2512 NEW BEST:: SOT 444134 SOS 120398 HAS SOPS 120397 HAS SOUS 15314 HAS SOUPS 15313 WITH SCORE 15433.398
AT ITER 2567 NEW BEST:: SOT 444096 SOS 120372 HAS SOPS 120371 HAS SOUS 15314 HAS SOUPS 15313 WITH SCORE 15433.372
AT ITER 2608 NEW BEST:: SOT 443976 SOS 120292 HAS SOPS 120291 HAS SOUS 15314 HAS SOUPS 15313 WITH SCORE 15433.292
AT ITER 2614 NEW BEST:: SOT 444341 SOS 119867 HAS SOPS 119866 HAS SOUS 15314 HAS SOUPS 15313 WITH SCORE 15432.867
AT ITER 2618 NEW BEST:: SOT 444508 SOS 119674 HAS SOPS 119673 HAS SOUS 15314 HAS SOUPS 15313 WITH SCORE 15432.674
AT ITER 2656 NEW BEST:: SOT 444463 SOS 119731 HAS SOPS 119730 HAS SOUS 15311 HAS SOUPS 15310 WITH SCORE 15429.731
AT ITER 2660 NEW BEST:: SOT 444139 SOS 119825 HAS SOPS 119824 HAS SOUS 15297 HAS SOUPS 15296 WITH SCORE 15415.825
AT ITER 2676 NEW BEST:: SOT 444321 SOS 119221 HAS SOPS 119220 HAS SOUS 15297 HAS SOUPS 15296 WITH SCORE 15415.221
AT ITER 2689 NEW BEST:: SOT 444329 SOS 119133 HAS SOPS 119132 HAS SOUS 15297 HAS SOUPS 15296 WITH SCORE 15415.133
AT ITER 2699 NEW BEST:: SOT 444361 SOS 119005 HAS SOPS 119004 HAS SOUS 15297 HAS SOUPS 15296 WITH SCORE 15415.005
AT ITER 2704 NEW BEST:: SOT 444346 SOS 119014 HAS SOPS 119013 HAS SOUS 15294 HAS SOUPS 15293 WITH SCORE 15412.014
AT ITER 2706 NEW BEST:: SOT 444699 SOS 119170 HAS SOPS 119169 HAS SOUS 15289 HAS SOUPS 15288 WITH SCORE 15407.17
AT ITER 2735 NEW BEST:: SOT 444725 SOS 116702 HAS SOPS 116701 HAS SOUS 15289 HAS SOUPS 15288 WITH SCORE 15404.702
AT ITER 2746 NEW BEST:: SOT 444388 SOS 116420 HAS SOPS 116419 HAS SOUS 15282 HAS SOUPS 15281 WITH SCORE 15397.42
AT ITER 2748 NEW BEST:: SOT 444382 SOS 116405 HAS SOPS 116404 HAS SOUS 15282 HAS SOUPS 15281 WITH SCORE 15397.405
AT ITER 2749 NEW BEST:: SOT 444312 SOS 116325 HAS SOPS 116324 HAS SOUS 15282 HAS SOUPS 15281 WITH SCORE 15397.325
AT ITER 2781 NEW BEST:: SOT 444388 SOS 116861 HAS SOPS 116860 HAS SOUS 15278 HAS SOUPS 15277 WITH SCORE 15393.861
AT ITER 2789 NEW BEST:: SOT 444339 SOS 116688 HAS SOPS 116687 HAS SOUS 15278 HAS SOUPS 15277 WITH SCORE 15393.688
AT ITER 2812 NEW BEST:: SOT 444391 SOS 116144 HAS SOPS 116143 HAS SOUS 15278 HAS SOUPS 15277 WITH SCORE 15393.144
AT ITER 2830 NEW BEST:: SOT 444281 SOS 115898 HAS SOPS 115897 HAS SOUS 15278 HAS SOUPS 15277 WITH SCORE 15392.898
AT ITER 2837 NEW BEST:: SOT 444237 SOS 115936 HAS SOPS 115935 HAS SOUS 15275 HAS SOUPS 15274 WITH SCORE 15389.936
AT ITER 2880 NEW BEST:: SOT 444393 SOS 116052 HAS SOPS 116051 HAS SOUS 15269 HAS SOUPS 15268 WITH SCORE 15384.052
AT ITER 2920 NEW BEST:: SOT 444395 SOS 115852 HAS SOPS 115851 HAS SOUS 15269 HAS SOUPS 15268 WITH SCORE 15383.852
AT ITER 2932 NEW BEST:: SOT 444400 SOS 115829 HAS SOPS 115828 HAS SOUS 15269 HAS SOUPS 15268 WITH SCORE 15383.829
AT ITER 2953 NEW BEST:: SOT 444408 SOS 115807 HAS SOPS 115806 HAS SOUS 15269 HAS SOUPS 15268 WITH SCORE 15383.807
AT ITER 3043 NEW BEST:: SOT 444450 SOS 115771 HAS SOPS 115770 HAS SOUS 15269 HAS SOUPS 15268 WITH SCORE 15383.771
AT ITER 3048 NEW BEST:: SOT 444106 SOS 115599 HAS SOPS 115598 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15363.599
AT ITER 3057 NEW BEST:: SOT 444278 SOS 115459 HAS SOPS 115458 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15363.459
AT ITER 3061 NEW BEST:: SOT 444248 SOS 115303 HAS SOPS 115302 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15363.303
AT ITER 3065 NEW BEST:: SOT 444202 SOS 115241 HAS SOPS 115240 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15363.241
AT ITER 3102 NEW BEST:: SOT 444207 SOS 115234 HAS SOPS 115233 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15363.234
AT ITER 3147 NEW BEST:: SOT 444177 SOS 115018 HAS SOPS 115017 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15363.018
AT ITER 3192 NEW BEST:: SOT 444181 SOS 114970 HAS SOPS 114969 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15362.97
AT ITER 3207 NEW BEST:: SOT 444196 SOS 114885 HAS SOPS 114884 HAS SOUS 15249 HAS SOUPS 15248 WITH SCORE 15362.885
AT ITER 3252 NEW BEST:: SOT 444230 SOS 114797 HAS SOPS 114796 HAS SOUS 15243 HAS SOUPS 15242 WITH SCORE 15356.797
AT ITER 3255 NEW BEST:: SOT 444186 SOS 114757 HAS SOPS 114756 HAS SOUS 15243 HAS SOUPS 15242 WITH SCORE 15356.757
AT ITER 3264 NEW BEST:: SOT 444246 SOS 114699 HAS SOPS 114698 HAS SOUS 15243 HAS SOUPS 15242 WITH SCORE 15356.699
AT ITER 3312 NEW BEST:: SOT 444258 SOS 114609 HAS SOPS 114608 HAS SOUS 15243 HAS SOUPS 15242 WITH SCORE 15356.609
AT ITER 3334 NEW BEST:: SOT 444559 SOS 114650 HAS SOPS 114649 HAS SOUS 15242 HAS SOUPS 15241 WITH SCORE 15355.65
AT ITER 3358 NEW BEST:: SOT 444378 SOS 114927 HAS SOPS 114926 HAS SOUS 15233 HAS SOUPS 15232 WITH SCORE 15346.927
AT ITER 3364 NEW BEST:: SOT 444394 SOS 114807 HAS SOPS 114806 HAS SOUS 15216 HAS SOUPS 15215 WITH SCORE 15329.807
AT ITER 3398 NEW BEST:: SOT 444439 SOS 114852 HAS SOPS 114851 HAS SOUS 15205 HAS SOUPS 15204 WITH SCORE 15318.852
AT ITER 3399 NEW BEST:: SOT 444439 SOS 114676 HAS SOPS 114675 HAS SOUS 15205 HAS SOUPS 15204 WITH SCORE 15318.676
AT ITER 3427 NEW BEST:: SOT 444323 SOS 114044 HAS SOPS 114043 HAS SOUS 15205 HAS SOUPS 15204 WITH SCORE 15318.044
AT ITER 3452 NEW BEST:: SOT 441779 SOS 118086 HAS SOPS 118085 HAS SOUS 15193 HAS SOUPS 15192 WITH SCORE 15310.086
AT ITER 3467 NEW BEST:: SOT 442226 SOS 118507 HAS SOPS 118506 HAS SOUS 15191 HAS SOUPS 15190 WITH SCORE 15308.507
AT ITER 3477 NEW BEST:: SOT 442217 SOS 118498 HAS SOPS 118497 HAS SOUS 15188 HAS SOUPS 15187 WITH SCORE 15305.498
AT ITER 3526 NEW BEST:: SOT 442237 SOS 118322 HAS SOPS 118321 HAS SOUS 15188 HAS SOUPS 15187 WITH SCORE 15305.322
AT ITER 3545 NEW BEST:: SOT 442263 SOS 118246 HAS SOPS 118245 HAS SOUS 15188 HAS SOUPS 15187 WITH SCORE 15305.246
AT ITER 3547 NEW BEST:: SOT 442261 SOS 118242 HAS SOPS 118241 HAS SOUS 15188 HAS SOUPS 15187 WITH SCORE 15305.242
AT ITER 3592 NEW BEST:: SOT 442217 SOS 118842 HAS SOPS 118841 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.842
AT ITER 3598 NEW BEST:: SOT 442161 SOS 118834 HAS SOPS 118833 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.834
AT ITER 3609 NEW BEST:: SOT 442177 SOS 118714 HAS SOPS 118713 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.714
AT ITER 3613 NEW BEST:: SOT 442817 SOS 118545 HAS SOPS 118544 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.545
AT ITER 3615 NEW BEST:: SOT 442761 SOS 118513 HAS SOPS 118512 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.513
AT ITER 3680 NEW BEST:: SOT 442511 SOS 118412 HAS SOPS 118411 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.412
AT ITER 3706 NEW BEST:: SOT 442491 SOS 118404 HAS SOPS 118403 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.404
AT ITER 3709 NEW BEST:: SOT 442475 SOS 118392 HAS SOPS 118391 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.392
AT ITER 3720 NEW BEST:: SOT 442663 SOS 118384 HAS SOPS 118383 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.384
AT ITER 3725 NEW BEST:: SOT 442545 SOS 118310 HAS SOPS 118309 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.31
AT ITER 3788 NEW BEST:: SOT 442309 SOS 118090 HAS SOPS 118089 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15289.09
AT ITER 3877 NEW BEST:: SOT 442305 SOS 117406 HAS SOPS 117405 HAS SOUS 15172 HAS SOUPS 15171 WITH SCORE 15288.406
AT ITER 3949 NEW BEST:: SOT 442299 SOS 117394 HAS SOPS 117393 HAS SOUS 15160 HAS SOUPS 15159 WITH SCORE 15276.394
AT ITER 3962 NEW BEST:: SOT 442327 SOS 117197 HAS SOPS 117196 HAS SOUS 15160 HAS SOUPS 15159 WITH SCORE 15276.197
AT ITER 3975 NEW BEST:: SOT 442329 SOS 117125 HAS SOPS 117124 HAS SOUS 15160 HAS SOUPS 15159 WITH SCORE 15276.125
AT ITER 3987 NEW BEST:: SOT 441775 SOS 116837 HAS SOPS 116836 HAS SOUS 15111 HAS SOUPS 15110 WITH SCORE 15226.837
AT ITER 3988 NEW BEST:: SOT 438990 SOS 119007 HAS SOPS 119006 HAS SOUS 15072 HAS SOUPS 15071 WITH SCORE 15190.007
AT ITER 3994 NEW BEST:: SOT 438954 SOS 118971 HAS SOPS 118970 HAS SOUS 15064 HAS SOUPS 15063 WITH SCORE 15181.971
AT ITER 4005 NEW BEST:: SOT 438952 SOS 118679 HAS SOPS 118678 HAS SOUS 15064 HAS SOUPS 15063 WITH SCORE 15181.679
AT ITER 4011 NEW BEST:: SOT 438916 SOS 118631 HAS SOPS 118630 HAS SOUS 15064 HAS SOUPS 15063 WITH SCORE 15181.631
AT ITER 4017 NEW BEST:: SOT 438896 SOS 118601 HAS SOPS 118600 HAS SOUS 15064 HAS SOUPS 15063 WITH SCORE 15181.601
AT ITER 4025 NEW BEST:: SOT 438694 SOS 118197 HAS SOPS 118196 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15177.197
AT ITER 4060 NEW BEST:: SOT 438774 SOS 118173 HAS SOPS 118172 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15177.173
AT ITER 4084 NEW BEST:: SOT 438766 SOS 118157 HAS SOPS 118156 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15177.157
AT ITER 4129 NEW BEST:: SOT 438766 SOS 117835 HAS SOPS 117834 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15176.835
AT ITER 4190 NEW BEST:: SOT 438773 SOS 117810 HAS SOPS 117809 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15176.81
AT ITER 4202 NEW BEST:: SOT 438771 SOS 117794 HAS SOPS 117793 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15176.794
AT ITER 4239 NEW BEST:: SOT 438783 SOS 117786 HAS SOPS 117785 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15176.786
AT ITER 4247 NEW BEST:: SOT 438631 SOS 117622 HAS SOPS 117621 HAS SOUS 15060 HAS SOUPS 15059 WITH SCORE 15176.622
AT ITER 4261 NEW BEST:: SOT 438565 SOS 117584 HAS SOPS 117583 HAS SOUS 15058 HAS SOUPS 15057 WITH SCORE 15174.584
AT ITER 4313 NEW BEST:: SOT 438560 SOS 117574 HAS SOPS 117573 HAS SOUS 15047 HAS SOUPS 15046 WITH SCORE 15163.574
AT ITER 4320 NEW BEST:: SOT 438572 SOS 117522 HAS SOPS 117521 HAS SOUS 15047 HAS SOUPS 15046 WITH SCORE 15163.522
AT ITER 4366 NEW BEST:: SOT 438684 SOS 117362 HAS SOPS 117361 HAS SOUS 15047 HAS SOUPS 15046 WITH SCORE 15163.362
AT ITER 4374 NEW BEST:: SOT 438720 SOS 117354 HAS SOPS 117353 HAS SOUS 15047 HAS SOUPS 15046 WITH SCORE 15163.354
AT ITER 4380 NEW BEST:: SOT 438718 SOS 117344 HAS SOPS 117343 HAS SOUS 15047 HAS SOUPS 15046 WITH SCORE 15163.344
AT ITER 4392 NEW BEST:: SOT 438782 SOS 116764 HAS SOPS 116763 HAS SOUS 15047 HAS SOUPS 15046 WITH SCORE 15162.764
AT ITER 4445 NEW BEST:: SOT 438834 SOS 116814 HAS SOPS 116813 HAS SOUS 15045 HAS SOUPS 15044 WITH SCORE 15160.814
AT ITER 4455 NEW BEST:: SOT 438968 SOS 116902 HAS SOPS 116901 HAS SOUS 15044 HAS SOUPS 15043 WITH SCORE 15159.902
AT ITER 4502 NEW BEST:: SOT 438976 SOS 116838 HAS SOPS 116837 HAS SOUS 15044 HAS SOUPS 15043 WITH SCORE 15159.838
AT ITER 4535 NEW BEST:: SOT 438976 SOS 116710 HAS SOPS 116709 HAS SOUS 15044 HAS SOUPS 15043 WITH SCORE 15159.71
AT ITER 4614 NEW BEST:: SOT 438062 SOS 115487 HAS SOPS 115486 HAS SOUS 15044 HAS SOUPS 15043 WITH SCORE 15158.487
AT ITER 4704 NEW BEST:: SOT 438078 SOS 115395 HAS SOPS 115394 HAS SOUS 15044 HAS SOUPS 15043 WITH SCORE 15158.395
AT ITER 4738 NEW BEST:: SOT 438082 SOS 115392 HAS SOPS 115391 HAS SOUS 15044 HAS SOUPS 15043 WITH SCORE 15158.392
AT ITER 4752 NEW BEST:: SOT 438313 SOS 115469 HAS SOPS 115468 HAS SOUS 15043 HAS SOUPS 15042 WITH SCORE 15157.469
AT ITER 4761 NEW BEST:: SOT 438315 SOS 115439 HAS SOPS 115438 HAS SOUS 15043 HAS SOUPS 15042 WITH SCORE 15157.439
AT ITER 4770 NEW BEST:: SOT 438281 SOS 115431 HAS SOPS 115430 HAS SOUS 15043 HAS SOUPS 15042 WITH SCORE 15157.431
AT ITER 4780 NEW BEST:: SOT 437472 SOS 114881 HAS SOPS 114880 HAS SOUS 15037 HAS SOUPS 15036 WITH SCORE 15150.881
AT ITER 4835 NEW BEST:: SOT 437480 SOS 114837 HAS SOPS 114836 HAS SOUS 15037 HAS SOUPS 15036 WITH SCORE 15150.837
AT ITER 4903 NEW BEST:: SOT 437471 SOS 114829 HAS SOPS 114828 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15148.829
AT ITER 4940 NEW BEST:: SOT 437461 SOS 114599 HAS SOPS 114598 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15148.599
AT ITER 4941 NEW BEST:: SOT 437427 SOS 114573 HAS SOPS 114572 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15148.573
AT ITER 5041 NEW BEST:: SOT 437439 SOS 114525 HAS SOPS 114524 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15148.525
AT ITER 5099 NEW BEST:: SOT 437423 SOS 114514 HAS SOPS 114513 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15148.514
AT ITER 5111 NEW BEST:: SOT 436871 SOS 112994 HAS SOPS 112993 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15146.994
AT ITER 5140 NEW BEST:: SOT 436757 SOS 112962 HAS SOPS 112961 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15146.962
AT ITER 5141 NEW BEST:: SOT 436757 SOS 112942 HAS SOPS 112941 HAS SOUS 15035 HAS SOUPS 15034 WITH SCORE 15146.942
AT ITER 5151 NEW BEST:: SOT 436741 SOS 112910 HAS SOPS 112909 HAS SOUS 15003 HAS SOUPS 15002 WITH SCORE 15114.91
AT ITER 5196 NEW BEST:: SOT 433052 SOS 116092 HAS SOPS 116091 HAS SOUS 14982 HAS SOUPS 14981 WITH SCORE 15097.092
AT ITER 5197 NEW BEST:: SOT 432968 SOS 115756 HAS SOPS 115755 HAS SOUS 14980 HAS SOUPS 14979 WITH SCORE 15094.756
AT ITER 5240 NEW BEST:: SOT 432965 SOS 115750 HAS SOPS 115749 HAS SOUS 14974 HAS SOUPS 14973 WITH SCORE 15088.75
AT ITER 5255 NEW BEST:: SOT 432961 SOS 115735 HAS SOPS 115734 HAS SOUS 14974 HAS SOUPS 14973 WITH SCORE 15088.735
AT ITER 5267 NEW BEST:: SOT 432424 SOS 116236 HAS SOPS 116235 HAS SOUS 14972 HAS SOUPS 14971 WITH SCORE 15087.236
AT ITER 5304 NEW BEST:: SOT 432244 SOS 115984 HAS SOPS 115983 HAS SOUS 14972 HAS SOUPS 14971 WITH SCORE 15086.984
AT ITER 5314 NEW BEST:: SOT 432469 SOS 116618 HAS SOPS 116617 HAS SOUS 14949 HAS SOUPS 14948 WITH SCORE 15064.618
AT ITER 5333 NEW BEST:: SOT 432471 SOS 116354 HAS SOPS 116353 HAS SOUS 14949 HAS SOUPS 14948 WITH SCORE 15064.354
AT ITER 5335 NEW BEST:: SOT 432471 SOS 116134 HAS SOPS 116133 HAS SOUS 14945 HAS SOUPS 14944 WITH SCORE 15060.134
AT ITER 5359 NEW BEST:: SOT 432463 SOS 116127 HAS SOPS 116126 HAS SOUS 14944 HAS SOUPS 14943 WITH SCORE 15059.127
AT ITER 5379 NEW BEST:: SOT 432441 SOS 116111 HAS SOPS 116110 HAS SOUS 14944 HAS SOUPS 14943 WITH SCORE 15059.111
AT ITER 5462 NEW BEST:: SOT 432434 SOS 116097 HAS SOPS 116096 HAS SOUS 14929 HAS SOUPS 14928 WITH SCORE 15044.097
AT ITER 5499 NEW BEST:: SOT 432424 SOS 116077 HAS SOPS 116076 HAS SOUS 14909 HAS SOUPS 14908 WITH SCORE 15024.077
AT ITER 5517 NEW BEST:: SOT 432450 SOS 116039 HAS SOPS 116038 HAS SOUS 14909 HAS SOUPS 14908 WITH SCORE 15024.039
AT ITER 5535 NEW BEST:: SOT 432634 SOS 116037 HAS SOPS 116036 HAS SOUS 14903 HAS SOUPS 14902 WITH SCORE 15018.037
AT ITER 5546 NEW BEST:: SOT 432212 SOS 115637 HAS SOPS 115636 HAS SOUS 14895 HAS SOUPS 14894 WITH SCORE 15009.637
AT ITER 5547 NEW BEST:: SOT 432250 SOS 115577 HAS SOPS 115576 HAS SOUS 14895 HAS SOUPS 14894 WITH SCORE 15009.577
AT ITER 5570 NEW BEST:: SOT 432246 SOS 115536 HAS SOPS 115535 HAS SOUS 14895 HAS SOUPS 14894 WITH SCORE 15009.536
AT ITER 5573 NEW BEST:: SOT 432246 SOS 115440 HAS SOPS 115439 HAS SOUS 14895 HAS SOUPS 14894 WITH SCORE 15009.44
AT ITER 5578 NEW BEST:: SOT 432070 SOS 115278 HAS SOPS 115277 HAS SOUS 14895 HAS SOUPS 14894 WITH SCORE 15009.278
AT ITER 5646 NEW BEST:: SOT 432094 SOS 115258 HAS SOPS 115257 HAS SOUS 14895 HAS SOUPS 14894 WITH SCORE 15009.258
AT ITER 5683 NEW BEST:: SOT 432152 SOS 115218 HAS SOPS 115217 HAS SOUS 14895 HAS SOUPS 14894 WITH SCORE 15009.218
AT ITER 5740 NEW BEST:: SOT 432300 SOS 115343 HAS SOPS 115342 HAS SOUS 14882 HAS SOUPS 14881 WITH SCORE 14996.343
AT ITER 5775 NEW BEST:: SOT 432296 SOS 115340 HAS SOPS 115339 HAS SOUS 14881 HAS SOUPS 14880 WITH SCORE 14995.34
AT ITER 5806 NEW BEST:: SOT 432296 SOS 115290 HAS SOPS 115289 HAS SOUS 14881 HAS SOUPS 14880 WITH SCORE 14995.29
AT ITER 5866 NEW BEST:: SOT 431976 SOS 115130 HAS SOPS 115129 HAS SOUS 14879 HAS SOUPS 14878 WITH SCORE 14993.13
AT ITER 5910 NEW BEST:: SOT 431982 SOS 114942 HAS SOPS 114941 HAS SOUS 14879 HAS SOUPS 14878 WITH SCORE 14992.942
AT ITER 5914 NEW BEST:: SOT 431826 SOS 114858 HAS SOPS 114857 HAS SOUS 14879 HAS SOUPS 14878 WITH SCORE 14992.858
AT ITER 5917 NEW BEST:: SOT 431638 SOS 114650 HAS SOPS 114649 HAS SOUS 14879 HAS SOUPS 14878 WITH SCORE 14992.65
AT ITER 5953 NEW BEST:: SOT 431630 SOS 114644 HAS SOPS 114643 HAS SOUS 14879 HAS SOUPS 14878 WITH SCORE 14992.644
AT ITER 5964 NEW BEST:: SOT 431606 SOS 114620 HAS SOPS 114619 HAS SOUS 14873 HAS SOUPS 14872 WITH SCORE 14986.62
AT ITER 5969 NEW BEST:: SOT 431608 SOS 114514 HAS SOPS 114513 HAS SOUS 14873 HAS SOUPS 14872 WITH SCORE 14986.514
AT ITER 6014 NEW BEST:: SOT 431570 SOS 114474 HAS SOPS 114473 HAS SOUS 14873 HAS SOUPS 14872 WITH SCORE 14986.474
AT ITER 6047 NEW BEST:: SOT 431582 SOS 113838 HAS SOPS 113837 HAS SOUS 14873 HAS SOUPS 14872 WITH SCORE 14985.838
AT ITER 6091 NEW BEST:: SOT 432004 SOS 113662 HAS SOPS 113661 HAS SOUS 14873 HAS SOUPS 14872 WITH SCORE 14985.662
AT ITER 6116 NEW BEST:: SOT 432014 SOS 113584 HAS SOPS 113583 HAS SOUS 14873 HAS SOUPS 14872 WITH SCORE 14985.584
AT ITER 6162 NEW BEST:: SOT 432220 SOS 113492 HAS SOPS 113491 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14981.492
AT ITER 6207 NEW BEST:: SOT 431970 SOS 113060 HAS SOPS 113059 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14981.06
AT ITER 6223 NEW BEST:: SOT 431896 SOS 112912 HAS SOPS 112911 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14980.912
AT ITER 6273 NEW BEST:: SOT 431766 SOS 112829 HAS SOPS 112828 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14980.829
AT ITER 6282 NEW BEST:: SOT 431770 SOS 112793 HAS SOPS 112792 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14980.793
AT ITER 6291 NEW BEST:: SOT 431770 SOS 112791 HAS SOPS 112790 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14980.791
AT ITER 6545 NEW BEST:: SOT 431780 SOS 112419 HAS SOPS 112418 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14980.419
AT ITER 6580 NEW BEST:: SOT 431526 SOS 112215 HAS SOPS 112214 HAS SOUS 14869 HAS SOUPS 14868 WITH SCORE 14980.215
AT ITER 6702 NEW BEST:: SOT 431498 SOS 112187 HAS SOPS 112186 HAS SOUS 14851 HAS SOUPS 14850 WITH SCORE 14962.187
AT ITER 6733 NEW BEST:: SOT 431462 SOS 112124 HAS SOPS 112123 HAS SOUS 14851 HAS SOUPS 14850 WITH SCORE 14962.124
AT ITER 6794 NEW BEST:: SOT 431462 SOS 112040 HAS SOPS 112039 HAS SOUS 14851 HAS SOUPS 14850 WITH SCORE 14962.04
AT ITER 6819 NEW BEST:: SOT 431431 SOS 112009 HAS SOPS 112008 HAS SOUS 14850 HAS SOUPS 14849 WITH SCORE 14961.009
AT ITER 6844 NEW BEST:: SOT 430815 SOS 111610 HAS SOPS 111609 HAS SOUS 14824 HAS SOUPS 14823 WITH SCORE 14934.61
AT ITER 6860 NEW BEST:: SOT 430755 SOS 111484 HAS SOPS 111483 HAS SOUS 14824 HAS SOUPS 14823 WITH SCORE 14934.484
AT ITER 6867 NEW BEST:: SOT 430705 SOS 111321 HAS SOPS 111320 HAS SOUS 14824 HAS SOUPS 14823 WITH SCORE 14934.321
AT ITER 6909 NEW BEST:: SOT 430625 SOS 111221 HAS SOPS 111220 HAS SOUS 14824 HAS SOUPS 14823 WITH SCORE 14934.221
AT ITER 6910 NEW BEST:: SOT 430641 SOS 111237 HAS SOPS 111236 HAS SOUS 14812 HAS SOUPS 14811 WITH SCORE 14922.237
AT ITER 6912 NEW BEST:: SOT 430943 SOS 111351 HAS SOPS 111350 HAS SOUS 14782 HAS SOUPS 14781 WITH SCORE 14892.351
AT ITER 6950 NEW BEST:: SOT 430939 SOS 111343 HAS SOPS 111342 HAS SOUS 14774 HAS SOUPS 14773 WITH SCORE 14884.343
AT ITER 6965 NEW BEST:: SOT 430997 SOS 111179 HAS SOPS 111178 HAS SOUS 14774 HAS SOUPS 14773 WITH SCORE 14884.179
AT ITER 6966 NEW BEST:: SOT 430949 SOS 111207 HAS SOPS 111206 HAS SOUS 14772 HAS SOUPS 14771 WITH SCORE 14882.207
AT ITER 6993 NEW BEST:: SOT 430951 SOS 111198 HAS SOPS 111197 HAS SOUS 14772 HAS SOUPS 14771 WITH SCORE 14882.198
AT ITER 7016 NEW BEST:: SOT 430953 SOS 111157 HAS SOPS 111156 HAS SOUS 14772 HAS SOUPS 14771 WITH SCORE 14882.157
AT ITER 7163 NEW BEST:: SOT 430931 SOS 111103 HAS SOPS 111102 HAS SOUS 14770 HAS SOUPS 14769 WITH SCORE 14880.103
AT ITER 7211 NEW BEST:: SOT 430915 SOS 110957 HAS SOPS 110956 HAS SOUS 14770 HAS SOUPS 14769 WITH SCORE 14879.957
AT ITER 7243 NEW BEST:: SOT 430849 SOS 110917 HAS SOPS 110916 HAS SOUS 14770 HAS SOUPS 14769 WITH SCORE 14879.917
AT ITER 7268 NEW BEST:: SOT 430859 SOS 110629 HAS SOPS 110628 HAS SOUS 14770 HAS SOUPS 14769 WITH SCORE 14879.629
AT ITER 7342 NEW BEST:: SOT 430961 SOS 110577 HAS SOPS 110576 HAS SOUS 14770 HAS SOUPS 14769 WITH SCORE 14879.577
AT ITER 7405 NEW BEST:: SOT 430963 SOS 110573 HAS SOPS 110572 HAS SOUS 14770 HAS SOUPS 14769 WITH SCORE 14879.573
AT ITER 7436 NEW BEST:: SOT 430963 SOS 110506 HAS SOPS 110505 HAS SOUS 14770 HAS SOUPS 14769 WITH SCORE 14879.506
AT ITER 7442 NEW BEST:: SOT 431017 SOS 110485 HAS SOPS 110484 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14876.485
AT ITER 7485 NEW BEST:: SOT 430723 SOS 110157 HAS SOPS 110156 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14876.157
AT ITER 7530 NEW BEST:: SOT 430723 SOS 110080 HAS SOPS 110079 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14876.08
AT ITER 7567 NEW BEST:: SOT 430655 SOS 109909 HAS SOPS 109908 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.909
AT ITER 7611 NEW BEST:: SOT 430647 SOS 109893 HAS SOPS 109892 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.893
AT ITER 7667 NEW BEST:: SOT 430581 SOS 109800 HAS SOPS 109799 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.8
AT ITER 7721 NEW BEST:: SOT 430599 SOS 109773 HAS SOPS 109772 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.773
AT ITER 7791 NEW BEST:: SOT 430625 SOS 109741 HAS SOPS 109740 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.741
AT ITER 7800 NEW BEST:: SOT 430643 SOS 109577 HAS SOPS 109576 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.577
AT ITER 7930 NEW BEST:: SOT 430178 SOS 109277 HAS SOPS 109276 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.277
AT ITER 7990 NEW BEST:: SOT 430172 SOS 109265 HAS SOPS 109264 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.265
AT ITER 8045 NEW BEST:: SOT 430412 SOS 109101 HAS SOPS 109100 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.101
AT ITER 8094 NEW BEST:: SOT 430412 SOS 109077 HAS SOPS 109076 HAS SOUS 14767 HAS SOUPS 14766 WITH SCORE 14875.077
AT ITER 8118 NEW BEST:: SOT 430463 SOS 109125 HAS SOPS 109124 HAS SOUS 14765 HAS SOUPS 14764 WITH SCORE 14873.125
AT ITER 8130 NEW BEST:: SOT 430401 SOS 109081 HAS SOPS 109080 HAS SOUS 14765 HAS SOUPS 14764 WITH SCORE 14873.081
AT ITER 8268 NEW BEST:: SOT 430397 SOS 109037 HAS SOPS 109036 HAS SOUS 14765 HAS SOUPS 14764 WITH SCORE 14873.037
AT ITER 8298 NEW BEST:: SOT 430103 SOS 109000 HAS SOPS 108999 HAS SOUS 14765 HAS SOUPS 14764 WITH SCORE 14873.0
AT ITER 8431 NEW BEST:: SOT 430101 SOS 108933 HAS SOPS 108932 HAS SOUS 14765 HAS SOUPS 14764 WITH SCORE 14872.933
AT ITER 8457 NEW BEST:: SOT 430095 SOS 108930 HAS SOPS 108929 HAS SOUS 14765 HAS SOUPS 14764 WITH SCORE 14872.93
AT ITER 8493 NEW BEST:: SOT 430131 SOS 108943 HAS SOPS 108942 HAS SOUS 14762 HAS SOUPS 14761 WITH SCORE 14869.943
AT ITER 8621 NEW BEST:: SOT 430131 SOS 108835 HAS SOPS 108834 HAS SOUS 14762 HAS SOUPS 14761 WITH SCORE 14869.835
AT ITER 8634 NEW BEST:: SOT 430161 SOS 108883 HAS SOPS 108882 HAS SOUS 14758 HAS SOUPS 14757 WITH SCORE 14865.883
AT ITER 8665 NEW BEST:: SOT 427535 SOS 112787 HAS SOPS 112786 HAS SOUS 14754 HAS SOUPS 14753 WITH SCORE 14865.787
AT ITER 8714 NEW BEST:: SOT 427495 SOS 112751 HAS SOPS 112750 HAS SOUS 14752 HAS SOUPS 14751 WITH SCORE 14863.751
AT ITER 8754 NEW BEST:: SOT 427537 SOS 112747 HAS SOPS 112746 HAS SOUS 14744 HAS SOUPS 14743 WITH SCORE 14855.747
AT ITER 8798 NEW BEST:: SOT 427447 SOS 111788 HAS SOPS 111787 HAS SOUS 14744 HAS SOUPS 14743 WITH SCORE 14854.788
AT ITER 8822 NEW BEST:: SOT 427497 SOS 111175 HAS SOPS 111174 HAS SOUS 14744 HAS SOUPS 14743 WITH SCORE 14854.175
AT ITER 8883 NEW BEST:: SOT 427513 SOS 111179 HAS SOPS 111178 HAS SOUS 14730 HAS SOUPS 14729 WITH SCORE 14840.179
AT ITER 8892 NEW BEST:: SOT 427507 SOS 111171 HAS SOPS 111170 HAS SOUS 14730 HAS SOUPS 14729 WITH SCORE 14840.171
AT ITER 9042 NEW BEST:: SOT 427507 SOS 110769 HAS SOPS 110768 HAS SOUS 14730 HAS SOUPS 14729 WITH SCORE 14839.769
AT ITER 9084 NEW BEST:: SOT 427507 SOS 110745 HAS SOPS 110744 HAS SOUS 14730 HAS SOUPS 14729 WITH SCORE 14839.745
AT ITER 9150 NEW BEST:: SOT 427165 SOS 110622 HAS SOPS 110621 HAS SOUS 14730 HAS SOUPS 14729 WITH SCORE 14839.622
AT ITER 9152 NEW BEST:: SOT 427149 SOS 110606 HAS SOPS 110605 HAS SOUS 14728 HAS SOUPS 14727 WITH SCORE 14837.606
AT ITER 9153 NEW BEST:: SOT 427137 SOS 110598 HAS SOPS 110597 HAS SOUS 14728 HAS SOUPS 14727 WITH SCORE 14837.598
AT ITER 9246 NEW BEST:: SOT 427115 SOS 110596 HAS SOPS 110595 HAS SOUS 14728 HAS SOUPS 14727 WITH SCORE 14837.596
AT ITER 9273 NEW BEST:: SOT 427107 SOS 110590 HAS SOPS 110589 HAS SOUS 14728 HAS SOUPS 14727 WITH SCORE 14837.59
AT ITER 9279 NEW BEST:: SOT 427017 SOS 110585 HAS SOPS 110584 HAS SOUS 14728 HAS SOUPS 14727 WITH SCORE 14837.585
AT ITER 9288 NEW BEST:: SOT 427011 SOS 110663 HAS SOPS 110662 HAS SOUS 14726 HAS SOUPS 14725 WITH SCORE 14835.663
AT ITER 9295 NEW BEST:: SOT 427011 SOS 110630 HAS SOPS 110629 HAS SOUS 14726 HAS SOUPS 14725 WITH SCORE 14835.63
AT ITER 9400 NEW BEST:: SOT 427015 SOS 110633 HAS SOPS 110632 HAS SOUS 14715 HAS SOUPS 14714 WITH SCORE 14824.633
AT ITER 9404 NEW BEST:: SOT 427183 SOS 110549 HAS SOPS 110548 HAS SOUS 14715 HAS SOUPS 14714 WITH SCORE 14824.549
AT ITER 9418 NEW BEST:: SOT 426679 SOS 110165 HAS SOPS 110164 HAS SOUS 14715 HAS SOUPS 14714 WITH SCORE 14824.165
AT ITER 9446 NEW BEST:: SOT 426623 SOS 110155 HAS SOPS 110154 HAS SOUS 14715 HAS SOUPS 14714 WITH SCORE 14824.155
AT ITER 9469 NEW BEST:: SOT 426728 SOS 110239 HAS SOPS 110238 HAS SOUS 14708 HAS SOUPS 14707 WITH SCORE 14817.239
AT ITER 9626 NEW BEST:: SOT 426642 SOS 110061 HAS SOPS 110060 HAS SOUS 14706 HAS SOUPS 14705 WITH SCORE 14815.061
AT ITER 9771 NEW BEST:: SOT 426596 SOS 110023 HAS SOPS 110022 HAS SOUS 14704 HAS SOUPS 14703 WITH SCORE 14813.023
AT ITER 9792 NEW BEST:: SOT 426596 SOS 109479 HAS SOPS 109478 HAS SOUS 14704 HAS SOUPS 14703 WITH SCORE 14812.479
AT ITER 9878 NEW BEST:: SOT 426588 SOS 109447 HAS SOPS 109446 HAS SOUS 14704 HAS SOUPS 14703 WITH SCORE 14812.447
AT ITER 9897 NEW BEST:: SOT 426743 SOS 109529 HAS SOPS 109528 HAS SOUS 14693 HAS SOUPS 14692 WITH SCORE 14801.529
AT ITER 9916 NEW BEST:: SOT 426755 SOS 109490 HAS SOPS 109489 HAS SOUS 14693 HAS SOUPS 14692 WITH SCORE 14801.49
AT ITER 9931 NEW BEST:: SOT 426797 SOS 109448 HAS SOPS 109447 HAS SOUS 14693 HAS SOUPS 14692 WITH SCORE 14801.448
AT ITER 9957 NEW BEST:: SOT 426689 SOS 109436 HAS SOPS 109435 HAS SOUS 14693 HAS SOUPS 14692 WITH SCORE 14801.436
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10739100 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16154128 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="DNAwalker-PT-18lozangeBlock"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DNAwalker-PT-18lozangeBlock, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814473201016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-18lozangeBlock.tgz
mv DNAwalker-PT-18lozangeBlock execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;