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.r515-tall-167987241900032.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 Anderson-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 880K
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 11K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 418K Mar 26 22:42 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 1679873510260

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=Anderson-PT-07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 07
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: 309 places, 917 transitions, 3500 arcs.
AT ITER 0 NEW BEST:: SOT 163020 SOS 102257 HAS SOPS 102257 HAS SOUS 38573 HAS SOUPS 38573 WITH SCORE 38675.257
AT ITER 8 NEW BEST:: SOT 162966 SOS 101974 HAS SOPS 101974 HAS SOUS 38494 HAS SOUPS 38494 WITH SCORE 38595.974
AT ITER 16 NEW BEST:: SOT 162872 SOS 101551 HAS SOPS 101551 HAS SOUS 38353 HAS SOUPS 38353 WITH SCORE 38454.551
AT ITER 28 NEW BEST:: SOT 163238 SOS 101917 HAS SOPS 101917 HAS SOUS 38227 HAS SOUPS 38227 WITH SCORE 38328.917
AT ITER 29 NEW BEST:: SOT 163208 SOS 101782 HAS SOPS 101782 HAS SOUS 38182 HAS SOUPS 38182 WITH SCORE 38283.782
AT ITER 38 NEW BEST:: SOT 163730 SOS 102304 HAS SOPS 102304 HAS SOUS 38092 HAS SOUPS 38092 WITH SCORE 38194.304
AT ITER 50 NEW BEST:: SOT 163670 SOS 102034 HAS SOPS 102034 HAS SOUS 38002 HAS SOUPS 38002 WITH SCORE 38104.034
AT ITER 56 NEW BEST:: SOT 163602 SOS 101728 HAS SOPS 101728 HAS SOUS 37900 HAS SOUPS 37900 WITH SCORE 38001.728
AT ITER 62 NEW BEST:: SOT 163958 SOS 102103 HAS SOPS 102103 HAS SOUS 37781 HAS SOUPS 37781 WITH SCORE 37883.103
AT ITER 78 NEW BEST:: SOT 163872 SOS 101691 HAS SOPS 101691 HAS SOUS 37654 HAS SOUPS 37654 WITH SCORE 37755.691
AT ITER 84 NEW BEST:: SOT 163754 SOS 101069 HAS SOPS 101069 HAS SOUS 37559 HAS SOUPS 37559 WITH SCORE 37660.069
AT ITER 92 NEW BEST:: SOT 163754 SOS 101021 HAS SOPS 101021 HAS SOUS 37521 HAS SOUPS 37521 WITH SCORE 37622.021
AT ITER 102 NEW BEST:: SOT 163744 SOS 101001 HAS SOPS 101001 HAS SOUS 37507 HAS SOUPS 37507 WITH SCORE 37608.001
AT ITER 117 NEW BEST:: SOT 163710 SOS 100688 HAS SOPS 100688 HAS SOUS 37458 HAS SOUPS 37458 WITH SCORE 37558.688
AT ITER 127 NEW BEST:: SOT 163541 SOS 100339 HAS SOPS 100339 HAS SOUS 37445 HAS SOUPS 37445 WITH SCORE 37545.339
AT ITER 128 NEW BEST:: SOT 163523 SOS 99443 HAS SOPS 99443 HAS SOUS 37331 HAS SOUPS 37331 WITH SCORE 37430.443
AT ITER 133 NEW BEST:: SOT 163373 SOS 99312 HAS SOPS 99312 HAS SOUS 37200 HAS SOUPS 37200 WITH SCORE 37299.312
AT ITER 137 NEW BEST:: SOT 163373 SOS 99285 HAS SOPS 99285 HAS SOUS 37173 HAS SOUPS 37173 WITH SCORE 37272.285
AT ITER 140 NEW BEST:: SOT 163373 SOS 98967 HAS SOPS 98967 HAS SOUS 37143 HAS SOUPS 37143 WITH SCORE 37241.967
AT ITER 152 NEW BEST:: SOT 163199 SOS 98841 HAS SOPS 98841 HAS SOUS 37017 HAS SOUPS 37017 WITH SCORE 37115.841
AT ITER 156 NEW BEST:: SOT 163218 SOS 98259 HAS SOPS 98259 HAS SOUS 36921 HAS SOUPS 36921 WITH SCORE 37019.259
AT ITER 160 NEW BEST:: SOT 163164 SOS 98116 HAS SOPS 98116 HAS SOUS 36783 HAS SOUPS 36783 WITH SCORE 36881.116
AT ITER 172 NEW BEST:: SOT 162883 SOS 97812 HAS SOPS 97812 HAS SOUS 36778 HAS SOUPS 36778 WITH SCORE 36875.812
AT ITER 183 NEW BEST:: SOT 163034 SOS 97986 HAS SOPS 97986 HAS SOUS 36653 HAS SOUPS 36653 WITH SCORE 36750.986
AT ITER 189 NEW BEST:: SOT 162709 SOS 97599 HAS SOPS 97531 HAS SOUS 36359 HAS SOUPS 36291 WITH SCORE 36388.599
AT ITER 204 NEW BEST:: SOT 162691 SOS 97297 HAS SOPS 97229 HAS SOUS 36341 HAS SOUPS 36273 WITH SCORE 36370.297
AT ITER 206 NEW BEST:: SOT 162645 SOS 97251 HAS SOPS 97183 HAS SOUS 36295 HAS SOUPS 36227 WITH SCORE 36324.251
AT ITER 229 NEW BEST:: SOT 162597 SOS 97035 HAS SOPS 96967 HAS SOUS 36223 HAS SOUPS 36155 WITH SCORE 36252.035
AT ITER 240 NEW BEST:: SOT 162577 SOS 96995 HAS SOPS 96927 HAS SOUS 36199 HAS SOUPS 36131 WITH SCORE 36227.995
AT ITER 250 NEW BEST:: SOT 162141 SOS 96559 HAS SOPS 96491 HAS SOUS 35763 HAS SOUPS 35695 WITH SCORE 35791.559
AT ITER 255 NEW BEST:: SOT 162609 SOS 96988 HAS SOPS 96920 HAS SOUS 35717 HAS SOUPS 35649 WITH SCORE 35745.988
AT ITER 271 NEW BEST:: SOT 162606 SOS 96985 HAS SOPS 96917 HAS SOUS 35717 HAS SOUPS 35649 WITH SCORE 35745.985
AT ITER 288 NEW BEST:: SOT 162600 SOS 96973 HAS SOPS 96905 HAS SOUS 35711 HAS SOUPS 35643 WITH SCORE 35739.973
AT ITER 309 NEW BEST:: SOT 162488 SOS 96394 HAS SOPS 96326 HAS SOUS 35548 HAS SOUPS 35480 WITH SCORE 35576.394
AT ITER 314 NEW BEST:: SOT 161983 SOS 95896 HAS SOPS 95828 HAS SOUS 35050 HAS SOUPS 34982 WITH SCORE 35077.896
AT ITER 323 NEW BEST:: SOT 162038 SOS 95962 HAS SOPS 95894 HAS SOUS 34973 HAS SOUPS 34905 WITH SCORE 35000.962
AT ITER 334 NEW BEST:: SOT 162038 SOS 95954 HAS SOPS 95886 HAS SOUS 34965 HAS SOUPS 34897 WITH SCORE 34992.954
AT ITER 341 NEW BEST:: SOT 161659 SOS 95569 HAS SOPS 95501 HAS SOUS 34958 HAS SOUPS 34890 WITH SCORE 34985.569
AT ITER 353 NEW BEST:: SOT 161612 SOS 95215 HAS SOPS 95147 HAS SOUS 34893 HAS SOUPS 34825 WITH SCORE 34920.215
AT ITER 358 NEW BEST:: SOT 161611 SOS 95213 HAS SOPS 95145 HAS SOUS 34886 HAS SOUPS 34818 WITH SCORE 34913.213
AT ITER 360 NEW BEST:: SOT 161563 SOS 94877 HAS SOPS 94809 HAS SOUS 34838 HAS SOUPS 34770 WITH SCORE 34864.877
AT ITER 376 NEW BEST:: SOT 161536 SOS 94823 HAS SOPS 94755 HAS SOUS 34807 HAS SOUPS 34739 WITH SCORE 34833.823
AT ITER 422 NEW BEST:: SOT 160792 SOS 94124 HAS SOPS 94056 HAS SOUS 34619 HAS SOUPS 34551 WITH SCORE 34645.124
AT ITER 423 NEW BEST:: SOT 160792 SOS 94081 HAS SOPS 94013 HAS SOUS 34576 HAS SOUPS 34508 WITH SCORE 34602.081
AT ITER 430 NEW BEST:: SOT 160753 SOS 94004 HAS SOPS 93936 HAS SOUS 34573 HAS SOUPS 34505 WITH SCORE 34599.004
AT ITER 446 NEW BEST:: SOT 160750 SOS 93996 HAS SOPS 93928 HAS SOUS 34565 HAS SOUPS 34497 WITH SCORE 34590.996
AT ITER 448 NEW BEST:: SOT 160703 SOS 93737 HAS SOPS 93669 HAS SOUS 34504 HAS SOUPS 34436 WITH SCORE 34529.737
AT ITER 452 NEW BEST:: SOT 160700 SOS 93731 HAS SOPS 93663 HAS SOUS 34498 HAS SOUPS 34430 WITH SCORE 34523.731
AT ITER 491 NEW BEST:: SOT 160700 SOS 93727 HAS SOPS 93659 HAS SOUS 34494 HAS SOUPS 34426 WITH SCORE 34519.727
AT ITER 509 NEW BEST:: SOT 160709 SOS 93714 HAS SOPS 93646 HAS SOUS 34479 HAS SOUPS 34411 WITH SCORE 34504.714
AT ITER 515 NEW BEST:: SOT 160625 SOS 93630 HAS SOPS 93562 HAS SOUS 34479 HAS SOUPS 34411 WITH SCORE 34504.63
AT ITER 521 NEW BEST:: SOT 159605 SOS 92631 HAS SOPS 92563 HAS SOUS 33480 HAS SOUPS 33412 WITH SCORE 33504.631
AT ITER 553 NEW BEST:: SOT 159535 SOS 92618 HAS SOPS 92550 HAS SOUS 33417 HAS SOUPS 33349 WITH SCORE 33441.618
AT ITER 555 NEW BEST:: SOT 159515 SOS 92598 HAS SOPS 92530 HAS SOUS 33397 HAS SOUPS 33329 WITH SCORE 33421.598
AT ITER 556 NEW BEST:: SOT 159112 SOS 91813 HAS SOPS 91745 HAS SOUS 33353 HAS SOUPS 33285 WITH SCORE 33376.813
AT ITER 557 NEW BEST:: SOT 159127 SOS 91834 HAS SOPS 91766 HAS SOUS 33296 HAS SOUPS 33228 WITH SCORE 33319.834
AT ITER 570 NEW BEST:: SOT 159124 SOS 91815 HAS SOPS 91747 HAS SOUS 33277 HAS SOUPS 33209 WITH SCORE 33300.815
AT ITER 573 NEW BEST:: SOT 159124 SOS 91649 HAS SOPS 91581 HAS SOUS 33277 HAS SOUPS 33209 WITH SCORE 33300.649
AT ITER 590 NEW BEST:: SOT 159098 SOS 91597 HAS SOPS 91529 HAS SOUS 33228 HAS SOUPS 33160 WITH SCORE 33251.597
AT ITER 592 NEW BEST:: SOT 159057 SOS 91290 HAS SOPS 91222 HAS SOUS 33187 HAS SOUPS 33119 WITH SCORE 33210.29
AT ITER 601 NEW BEST:: SOT 159005 SOS 91198 HAS SOPS 91130 HAS SOUS 33183 HAS SOUPS 33115 WITH SCORE 33206.198
AT ITER 604 NEW BEST:: SOT 159005 SOS 91195 HAS SOPS 91127 HAS SOUS 33183 HAS SOUPS 33115 WITH SCORE 33206.195
AT ITER 612 NEW BEST:: SOT 158998 SOS 91181 HAS SOPS 91113 HAS SOUS 33169 HAS SOUPS 33101 WITH SCORE 33192.181
AT ITER 620 NEW BEST:: SOT 158975 SOS 91020 HAS SOPS 90952 HAS SOUS 33146 HAS SOUPS 33078 WITH SCORE 33169.02
AT ITER 621 NEW BEST:: SOT 158930 SOS 91114 HAS SOPS 91046 HAS SOUS 33111 HAS SOUPS 33043 WITH SCORE 33134.114
AT ITER 630 NEW BEST:: SOT 158878 SOS 90996 HAS SOPS 90928 HAS SOUS 33045 HAS SOUPS 32977 WITH SCORE 33067.996
AT ITER 649 NEW BEST:: SOT 158818 SOS 90681 HAS SOPS 90613 HAS SOUS 32964 HAS SOUPS 32896 WITH SCORE 32986.681
AT ITER 658 NEW BEST:: SOT 158818 SOS 90561 HAS SOPS 90493 HAS SOUS 32964 HAS SOUPS 32896 WITH SCORE 32986.561
AT ITER 669 NEW BEST:: SOT 159225 SOS 90968 HAS SOPS 90900 HAS SOUS 32963 HAS SOUPS 32895 WITH SCORE 32985.968
AT ITER 678 NEW BEST:: SOT 159200 SOS 90843 HAS SOPS 90775 HAS SOUS 32928 HAS SOUPS 32860 WITH SCORE 32950.843
AT ITER 685 NEW BEST:: SOT 159256 SOS 90847 HAS SOPS 90779 HAS SOUS 32918 HAS SOUPS 32850 WITH SCORE 32940.847
AT ITER 694 NEW BEST:: SOT 159252 SOS 90839 HAS SOPS 90771 HAS SOUS 32914 HAS SOUPS 32846 WITH SCORE 32936.839
AT ITER 695 NEW BEST:: SOT 159242 SOS 90829 HAS SOPS 90761 HAS SOUS 32904 HAS SOUPS 32836 WITH SCORE 32926.829
AT ITER 706 NEW BEST:: SOT 158648 SOS 90260 HAS SOPS 90192 HAS SOUS 32686 HAS SOUPS 32618 WITH SCORE 32708.26
AT ITER 713 NEW BEST:: SOT 158648 SOS 90260 HAS SOPS 90192 HAS SOUS 32673 HAS SOUPS 32605 WITH SCORE 32695.26
AT ITER 735 NEW BEST:: SOT 158629 SOS 90222 HAS SOPS 90154 HAS SOUS 32635 HAS SOUPS 32567 WITH SCORE 32657.222
AT ITER 744 NEW BEST:: SOT 158588 SOS 90197 HAS SOPS 90129 HAS SOUS 32581 HAS SOUPS 32513 WITH SCORE 32603.197
AT ITER 747 NEW BEST:: SOT 158536 SOS 89818 HAS SOPS 89750 HAS SOUS 32528 HAS SOUPS 32460 WITH SCORE 32549.818
AT ITER 753 NEW BEST:: SOT 158154 SOS 90296 HAS SOPS 90228 HAS SOUS 32226 HAS SOUPS 32158 WITH SCORE 32248.296
AT ITER 771 NEW BEST:: SOT 158176 SOS 90251 HAS SOPS 90183 HAS SOUS 32203 HAS SOUPS 32135 WITH SCORE 32225.251
AT ITER 775 NEW BEST:: SOT 158146 SOS 90221 HAS SOPS 90153 HAS SOUS 32170 HAS SOUPS 32102 WITH SCORE 32192.221
AT ITER 782 NEW BEST:: SOT 158107 SOS 90182 HAS SOPS 90114 HAS SOUS 32125 HAS SOUPS 32057 WITH SCORE 32147.182
AT ITER 792 NEW BEST:: SOT 158107 SOS 90083 HAS SOPS 90015 HAS SOUS 32112 HAS SOUPS 32044 WITH SCORE 32134.083
AT ITER 812 NEW BEST:: SOT 158084 SOS 90060 HAS SOPS 89992 HAS SOUS 32089 HAS SOUPS 32021 WITH SCORE 32111.06
AT ITER 858 NEW BEST:: SOT 158080 SOS 90056 HAS SOPS 89988 HAS SOUS 32085 HAS SOUPS 32017 WITH SCORE 32107.056
AT ITER 877 NEW BEST:: SOT 158080 SOS 90051 HAS SOPS 89983 HAS SOUS 32085 HAS SOUPS 32017 WITH SCORE 32107.051
AT ITER 916 NEW BEST:: SOT 158026 SOS 89997 HAS SOPS 89929 HAS SOUS 31983 HAS SOUPS 31915 WITH SCORE 32004.997
AT ITER 927 NEW BEST:: SOT 158054 SOS 89946 HAS SOPS 89878 HAS SOUS 31960 HAS SOUPS 31892 WITH SCORE 31981.946
AT ITER 959 NEW BEST:: SOT 157550 SOS 88953 HAS SOPS 88927 HAS SOUS 31918 HAS SOUPS 31892 WITH SCORE 31980.953
AT ITER 976 NEW BEST:: SOT 157561 SOS 88965 HAS SOPS 88939 HAS SOUS 31917 HAS SOUPS 31891 WITH SCORE 31979.965
AT ITER 983 NEW BEST:: SOT 157559 SOS 88963 HAS SOPS 88937 HAS SOUS 31915 HAS SOUPS 31889 WITH SCORE 31977.963
AT ITER 986 NEW BEST:: SOT 157559 SOS 88704 HAS SOPS 88678 HAS SOUS 31878 HAS SOUPS 31852 WITH SCORE 31940.704
AT ITER 1008 NEW BEST:: SOT 157559 SOS 88697 HAS SOPS 88671 HAS SOUS 31877 HAS SOUPS 31851 WITH SCORE 31939.697
AT ITER 1047 NEW BEST:: SOT 157559 SOS 88697 HAS SOPS 88671 HAS SOUS 31874 HAS SOUPS 31848 WITH SCORE 31936.697
AT ITER 1057 NEW BEST:: SOT 157494 SOS 88605 HAS SOPS 88579 HAS SOUS 31832 HAS SOUPS 31806 WITH SCORE 31894.605
AT ITER 1061 NEW BEST:: SOT 157506 SOS 88617 HAS SOPS 88591 HAS SOUS 31808 HAS SOUPS 31782 WITH SCORE 31870.617
AT ITER 1081 NEW BEST:: SOT 157458 SOS 88569 HAS SOPS 88543 HAS SOUS 31737 HAS SOUPS 31711 WITH SCORE 31799.569
AT ITER 1090 NEW BEST:: SOT 157346 SOS 88045 HAS SOPS 88019 HAS SOUS 31572 HAS SOUPS 31546 WITH SCORE 31634.045
AT ITER 1094 NEW BEST:: SOT 157316 SOS 88015 HAS SOPS 87989 HAS SOUS 31527 HAS SOUPS 31501 WITH SCORE 31589.015
AT ITER 1110 NEW BEST:: SOT 156920 SOS 87641 HAS SOPS 87590 HAS SOUS 31145 HAS SOUPS 31097 WITH SCORE 31184.641
AT ITER 1160 NEW BEST:: SOT 156890 SOS 87641 HAS SOPS 87590 HAS SOUS 31135 HAS SOUPS 31087 WITH SCORE 31174.641
AT ITER 1186 NEW BEST:: SOT 156858 SOS 87609 HAS SOPS 87558 HAS SOUS 31098 HAS SOUPS 31050 WITH SCORE 31137.609
AT ITER 1209 NEW BEST:: SOT 156849 SOS 87600 HAS SOPS 87549 HAS SOUS 31080 HAS SOUPS 31032 WITH SCORE 31119.6
AT ITER 1218 NEW BEST:: SOT 156809 SOS 87560 HAS SOPS 87509 HAS SOUS 31001 HAS SOUPS 30953 WITH SCORE 31040.56
AT ITER 1228 NEW BEST:: SOT 156809 SOS 87560 HAS SOPS 87509 HAS SOUS 30995 HAS SOUPS 30947 WITH SCORE 31034.56
AT ITER 1271 NEW BEST:: SOT 156765 SOS 87516 HAS SOPS 87465 HAS SOUS 30919 HAS SOUPS 30871 WITH SCORE 30958.516
AT ITER 1289 NEW BEST:: SOT 156751 SOS 87413 HAS SOPS 87362 HAS SOUS 30905 HAS SOUPS 30857 WITH SCORE 30944.413
AT ITER 1304 NEW BEST:: SOT 156767 SOS 87223 HAS SOPS 87172 HAS SOUS 30893 HAS SOUPS 30845 WITH SCORE 30932.223
AT ITER 1318 NEW BEST:: SOT 156723 SOS 87161 HAS SOPS 87084 HAS SOUS 30860 HAS SOUPS 30786 WITH SCORE 30873.161
AT ITER 1348 NEW BEST:: SOT 156730 SOS 86992 HAS SOPS 86938 HAS SOUS 30821 HAS SOUPS 30770 WITH SCORE 30856.992
AT ITER 1353 NEW BEST:: SOT 156730 SOS 86986 HAS SOPS 86938 HAS SOUS 30815 HAS SOUPS 30770 WITH SCORE 30856.986
AT ITER 1368 NEW BEST:: SOT 156696 SOS 86996 HAS SOPS 86904 HAS SOUS 30817 HAS SOUPS 30750 WITH SCORE 30836.996
AT ITER 1383 NEW BEST:: SOT 156678 SOS 86960 HAS SOPS 86868 HAS SOUS 30781 HAS SOUPS 30714 WITH SCORE 30800.96
AT ITER 1387 NEW BEST:: SOT 156664 SOS 86924 HAS SOPS 86832 HAS SOUS 30781 HAS SOUPS 30714 WITH SCORE 30800.924
AT ITER 1388 NEW BEST:: SOT 156664 SOS 86799 HAS SOPS 86707 HAS SOUS 30770 HAS SOUPS 30703 WITH SCORE 30789.799
AT ITER 1395 NEW BEST:: SOT 156436 SOS 86571 HAS SOPS 86479 HAS SOUS 30744 HAS SOUPS 30677 WITH SCORE 30763.571
AT ITER 1411 NEW BEST:: SOT 156407 SOS 86542 HAS SOPS 86450 HAS SOUS 30685 HAS SOUPS 30618 WITH SCORE 30704.542
AT ITER 1427 NEW BEST:: SOT 156393 SOS 86514 HAS SOPS 86422 HAS SOUS 30657 HAS SOUPS 30590 WITH SCORE 30676.514
AT ITER 1472 NEW BEST:: SOT 156814 SOS 86941 HAS SOPS 86849 HAS SOUS 30646 HAS SOUPS 30579 WITH SCORE 30665.941
AT ITER 1474 NEW BEST:: SOT 156814 SOS 86941 HAS SOPS 86848 HAS SOUS 30646 HAS SOUPS 30578 WITH SCORE 30664.941
AT ITER 1488 NEW BEST:: SOT 156814 SOS 86941 HAS SOPS 86848 HAS SOUS 30628 HAS SOUPS 30560 WITH SCORE 30646.941
AT ITER 1490 NEW BEST:: SOT 156802 SOS 86929 HAS SOPS 86836 HAS SOUS 30594 HAS SOUPS 30526 WITH SCORE 30612.929
AT ITER 1509 NEW BEST:: SOT 156847 SOS 86924 HAS SOPS 86822 HAS SOUS 30593 HAS SOUPS 30516 WITH SCORE 30602.924
AT ITER 1535 NEW BEST:: SOT 156847 SOS 86847 HAS SOPS 86745 HAS SOUS 30588 HAS SOUPS 30511 WITH SCORE 30597.847
AT ITER 1542 NEW BEST:: SOT 156836 SOS 86530 HAS SOPS 86428 HAS SOUS 30577 HAS SOUPS 30500 WITH SCORE 30586.53
AT ITER 1551 NEW BEST:: SOT 156818 SOS 86512 HAS SOPS 86410 HAS SOUS 30554 HAS SOUPS 30477 WITH SCORE 30563.512
AT ITER 1577 NEW BEST:: SOT 156769 SOS 86629 HAS SOPS 86527 HAS SOUS 30525 HAS SOUPS 30448 WITH SCORE 30534.629
AT ITER 1578 NEW BEST:: SOT 156769 SOS 86590 HAS SOPS 86488 HAS SOUS 30486 HAS SOUPS 30409 WITH SCORE 30495.59
AT ITER 1587 NEW BEST:: SOT 156769 SOS 86562 HAS SOPS 86460 HAS SOUS 30482 HAS SOUPS 30405 WITH SCORE 30491.562
AT ITER 1590 NEW BEST:: SOT 156759 SOS 86542 HAS SOPS 86440 HAS SOUS 30472 HAS SOUPS 30395 WITH SCORE 30481.542
AT ITER 1604 NEW BEST:: SOT 156715 SOS 86344 HAS SOPS 86242 HAS SOUS 30406 HAS SOUPS 30329 WITH SCORE 30415.344
AT ITER 1655 NEW BEST:: SOT 156711 SOS 86340 HAS SOPS 86238 HAS SOUS 30398 HAS SOUPS 30321 WITH SCORE 30407.34
AT ITER 1656 NEW BEST:: SOT 156672 SOS 86301 HAS SOPS 86199 HAS SOUS 30341 HAS SOUPS 30264 WITH SCORE 30350.301
AT ITER 1662 NEW BEST:: SOT 156665 SOS 86294 HAS SOPS 86192 HAS SOUS 30334 HAS SOUPS 30257 WITH SCORE 30343.294
AT ITER 1664 NEW BEST:: SOT 156647 SOS 86276 HAS SOPS 86174 HAS SOUS 30316 HAS SOUPS 30239 WITH SCORE 30325.276
AT ITER 1686 NEW BEST:: SOT 156635 SOS 86252 HAS SOPS 86150 HAS SOUS 30292 HAS SOUPS 30215 WITH SCORE 30301.252
AT ITER 1693 NEW BEST:: SOT 156635 SOS 86171 HAS SOPS 86069 HAS SOUS 30292 HAS SOUPS 30215 WITH SCORE 30301.171
AT ITER 1705 NEW BEST:: SOT 156633 SOS 85958 HAS SOPS 85823 HAS SOUS 30228 HAS SOUPS 30118 WITH SCORE 30203.958
AT ITER 1736 NEW BEST:: SOT 156627 SOS 85946 HAS SOPS 85811 HAS SOUS 30216 HAS SOUPS 30106 WITH SCORE 30191.946
AT ITER 1760 NEW BEST:: SOT 156607 SOS 85926 HAS SOPS 85791 HAS SOUS 30196 HAS SOUPS 30086 WITH SCORE 30171.926
AT ITER 1762 NEW BEST:: SOT 156438 SOS 85794 HAS SOPS 85659 HAS SOUS 30027 HAS SOUPS 29917 WITH SCORE 30002.794
AT ITER 1774 NEW BEST:: SOT 156438 SOS 85794 HAS SOPS 85581 HAS SOUS 30027 HAS SOUPS 29839 WITH SCORE 29924.794
AT ITER 1791 NEW BEST:: SOT 156442 SOS 85798 HAS SOPS 85585 HAS SOUS 30026 HAS SOUPS 29838 WITH SCORE 29923.798
AT ITER 1792 NEW BEST:: SOT 156421 SOS 85777 HAS SOPS 85564 HAS SOUS 29984 HAS SOUPS 29796 WITH SCORE 29881.777
AT ITER 1805 NEW BEST:: SOT 156397 SOS 85753 HAS SOPS 85540 HAS SOUS 29939 HAS SOUPS 29751 WITH SCORE 29836.753
AT ITER 1806 NEW BEST:: SOT 156515 SOS 85871 HAS SOPS 85658 HAS SOUS 29937 HAS SOUPS 29749 WITH SCORE 29834.871
AT ITER 1833 NEW BEST:: SOT 156448 SOS 85341 HAS SOPS 85128 HAS SOUS 29838 HAS SOUPS 29650 WITH SCORE 29735.341
AT ITER 1857 NEW BEST:: SOT 156445 SOS 85150 HAS SOPS 84937 HAS SOUS 29834 HAS SOUPS 29646 WITH SCORE 29731.15
AT ITER 1865 NEW BEST:: SOT 156445 SOS 85084 HAS SOPS 84871 HAS SOUS 29834 HAS SOUPS 29646 WITH SCORE 29731.084
AT ITER 1869 NEW BEST:: SOT 156440 SOS 85074 HAS SOPS 84861 HAS SOUS 29829 HAS SOUPS 29641 WITH SCORE 29726.074
AT ITER 1879 NEW BEST:: SOT 156440 SOS 85199 HAS SOPS 84986 HAS SOUS 29804 HAS SOUPS 29616 WITH SCORE 29701.199
AT ITER 1880 NEW BEST:: SOT 156431 SOS 85250 HAS SOPS 84968 HAS SOUS 29855 HAS SOUPS 29598 WITH SCORE 29683.25
AT ITER 1890 NEW BEST:: SOT 156405 SOS 85133 HAS SOPS 84851 HAS SOUS 29816 HAS SOUPS 29559 WITH SCORE 29644.133
AT ITER 1893 NEW BEST:: SOT 156405 SOS 85068 HAS SOPS 84786 HAS SOUS 29816 HAS SOUPS 29559 WITH SCORE 29644.068
AT ITER 1940 NEW BEST:: SOT 156398 SOS 85024 HAS SOPS 84742 HAS SOUS 29802 HAS SOUPS 29545 WITH SCORE 29630.024
AT ITER 1970 NEW BEST:: SOT 156386 SOS 85000 HAS SOPS 84718 HAS SOUS 29778 HAS SOUPS 29521 WITH SCORE 29606.0
AT ITER 1971 NEW BEST:: SOT 156379 SOS 84981 HAS SOPS 84699 HAS SOUS 29776 HAS SOUPS 29519 WITH SCORE 29603.981
AT ITER 1989 NEW BEST:: SOT 156344 SOS 84601 HAS SOPS 84319 HAS SOUS 29731 HAS SOUPS 29474 WITH SCORE 29558.601
AT ITER 2019 NEW BEST:: SOT 156343 SOS 84604 HAS SOPS 84322 HAS SOUS 29729 HAS SOUPS 29472 WITH SCORE 29556.604
AT ITER 2022 NEW BEST:: SOT 156321 SOS 84582 HAS SOPS 84300 HAS SOUS 29690 HAS SOUPS 29433 WITH SCORE 29517.582
AT ITER 2028 NEW BEST:: SOT 156321 SOS 84702 HAS SOPS 84420 HAS SOUS 29684 HAS SOUPS 29427 WITH SCORE 29511.702
AT ITER 2034 NEW BEST:: SOT 156321 SOS 84690 HAS SOPS 84408 HAS SOUS 29684 HAS SOUPS 29427 WITH SCORE 29511.69
AT ITER 2056 NEW BEST:: SOT 156284 SOS 84677 HAS SOPS 84395 HAS SOUS 29666 HAS SOUPS 29409 WITH SCORE 29493.677
AT ITER 2073 NEW BEST:: SOT 156279 SOS 84672 HAS SOPS 84390 HAS SOUS 29656 HAS SOUPS 29399 WITH SCORE 29483.672
AT ITER 2102 NEW BEST:: SOT 156274 SOS 84667 HAS SOPS 84385 HAS SOUS 29651 HAS SOUPS 29394 WITH SCORE 29478.667
AT ITER 2125 NEW BEST:: SOT 156264 SOS 84647 HAS SOPS 84365 HAS SOUS 29641 HAS SOUPS 29384 WITH SCORE 29468.647
AT ITER 2170 NEW BEST:: SOT 156264 SOS 84605 HAS SOPS 84323 HAS SOUS 29635 HAS SOUPS 29378 WITH SCORE 29462.605
AT ITER 2173 NEW BEST:: SOT 156208 SOS 84600 HAS SOPS 84267 HAS SOUS 29619 HAS SOUPS 29315 WITH SCORE 29399.6
AT ITER 2192 NEW BEST:: SOT 156202 SOS 84588 HAS SOPS 84255 HAS SOUS 29608 HAS SOUPS 29304 WITH SCORE 29388.588
AT ITER 2193 NEW BEST:: SOT 156173 SOS 84564 HAS SOPS 84231 HAS SOUS 29584 HAS SOUPS 29280 WITH SCORE 29364.564
AT ITER 2217 NEW BEST:: SOT 156131 SOS 84522 HAS SOPS 84126 HAS SOUS 29517 HAS SOUPS 29202 WITH SCORE 29286.522
AT ITER 2224 NEW BEST:: SOT 156122 SOS 84513 HAS SOPS 84117 HAS SOUS 29507 HAS SOUPS 29192 WITH SCORE 29276.513
AT ITER 2235 NEW BEST:: SOT 156093 SOS 84375 HAS SOPS 83979 HAS SOUS 29477 HAS SOUPS 29162 WITH SCORE 29246.375
AT ITER 2240 NEW BEST:: SOT 156092 SOS 84383 HAS SOPS 83987 HAS SOUS 29476 HAS SOUPS 29161 WITH SCORE 29245.383
AT ITER 2246 NEW BEST:: SOT 156081 SOS 84372 HAS SOPS 83976 HAS SOUS 29443 HAS SOUPS 29128 WITH SCORE 29212.372
AT ITER 2251 NEW BEST:: SOT 156080 SOS 84371 HAS SOPS 83975 HAS SOUS 29441 HAS SOUPS 29126 WITH SCORE 29210.371
AT ITER 2259 NEW BEST:: SOT 156065 SOS 84341 HAS SOPS 83945 HAS SOUS 29411 HAS SOUPS 29096 WITH SCORE 29180.341
AT ITER 2273 NEW BEST:: SOT 156061 SOS 84337 HAS SOPS 83941 HAS SOUS 29407 HAS SOUPS 29092 WITH SCORE 29176.337
AT ITER 2290 NEW BEST:: SOT 156051 SOS 84317 HAS SOPS 83921 HAS SOUS 29387 HAS SOUPS 29072 WITH SCORE 29156.317
AT ITER 2299 NEW BEST:: SOT 156050 SOS 84322 HAS SOPS 83926 HAS SOUS 29386 HAS SOUPS 29071 WITH SCORE 29155.322
AT ITER 2326 NEW BEST:: SOT 156046 SOS 84318 HAS SOPS 83922 HAS SOUS 29382 HAS SOUPS 29067 WITH SCORE 29151.318
AT ITER 2351 NEW BEST:: SOT 156030 SOS 84302 HAS SOPS 83906 HAS SOUS 29350 HAS SOUPS 29035 WITH SCORE 29119.302
AT ITER 2365 NEW BEST:: SOT 156105 SOS 84258 HAS SOPS 83770 HAS SOUS 29372 HAS SOUPS 29034 WITH SCORE 29118.258
AT ITER 2414 NEW BEST:: SOT 156085 SOS 84218 HAS SOPS 83730 HAS SOUS 29337 HAS SOUPS 28999 WITH SCORE 29083.218
AT ITER 2422 NEW BEST:: SOT 156082 SOS 84212 HAS SOPS 83724 HAS SOUS 29334 HAS SOUPS 28996 WITH SCORE 29080.212
AT ITER 2430 NEW BEST:: SOT 156062 SOS 84192 HAS SOPS 83704 HAS SOUS 29314 HAS SOUPS 28976 WITH SCORE 29060.192
AT ITER 2432 NEW BEST:: SOT 156060 SOS 84186 HAS SOPS 83698 HAS SOUS 29308 HAS SOUPS 28970 WITH SCORE 29054.186
AT ITER 2448 NEW BEST:: SOT 156021 SOS 84169 HAS SOPS 83681 HAS SOUS 29290 HAS SOUPS 28952 WITH SCORE 29036.169
AT ITER 2497 NEW BEST:: SOT 156011 SOS 84132 HAS SOPS 83644 HAS SOUS 29276 HAS SOUPS 28938 WITH SCORE 29022.132
AT ITER 2542 NEW BEST:: SOT 156004 SOS 84125 HAS SOPS 83637 HAS SOUS 29262 HAS SOUPS 28924 WITH SCORE 29008.125
AT ITER 2574 NEW BEST:: SOT 155998 SOS 84113 HAS SOPS 83625 HAS SOUS 29253 HAS SOUPS 28915 WITH SCORE 28999.113
AT ITER 2597 NEW BEST:: SOT 155969 SOS 84084 HAS SOPS 83596 HAS SOUS 29226 HAS SOUPS 28888 WITH SCORE 28972.084
AT ITER 2604 NEW BEST:: SOT 155969 SOS 84084 HAS SOPS 83570 HAS SOUS 29226 HAS SOUPS 28862 WITH SCORE 28946.084
AT ITER 2655 NEW BEST:: SOT 155940 SOS 84026 HAS SOPS 83512 HAS SOUS 29190 HAS SOUPS 28826 WITH SCORE 28910.026
AT ITER 2662 NEW BEST:: SOT 155921 SOS 83853 HAS SOPS 83339 HAS SOUS 29179 HAS SOUPS 28815 WITH SCORE 28898.853
AT ITER 2664 NEW BEST:: SOT 155921 SOS 83847 HAS SOPS 83334 HAS SOUS 29177 HAS SOUPS 28814 WITH SCORE 28897.847
AT ITER 2683 NEW BEST:: SOT 155884 SOS 84151 HAS SOPS 83638 HAS SOUS 29172 HAS SOUPS 28809 WITH SCORE 28893.151
AT ITER 2693 NEW BEST:: SOT 155879 SOS 84126 HAS SOPS 83613 HAS SOUS 29165 HAS SOUPS 28802 WITH SCORE 28886.126
AT ITER 2705 NEW BEST:: SOT 155865 SOS 84162 HAS SOPS 83649 HAS SOUS 29151 HAS SOUPS 28788 WITH SCORE 28872.162
AT ITER 2723 NEW BEST:: SOT 155841 SOS 84138 HAS SOPS 83625 HAS SOUS 29103 HAS SOUPS 28740 WITH SCORE 28824.138
AT ITER 2746 NEW BEST:: SOT 155831 SOS 84128 HAS SOPS 83630 HAS SOUS 29098 HAS SOUPS 28735 WITH SCORE 28819.128
AT ITER 2748 NEW BEST:: SOT 155831 SOS 84068 HAS SOPS 83590 HAS SOUS 29059 HAS SOUPS 28716 WITH SCORE 28800.068
AT ITER 2756 NEW BEST:: SOT 155831 SOS 84068 HAS SOPS 83582 HAS SOUS 29051 HAS SOUPS 28708 WITH SCORE 28792.068
AT ITER 2757 NEW BEST:: SOT 155827 SOS 84040 HAS SOPS 83554 HAS SOUS 29039 HAS SOUPS 28696 WITH SCORE 28780.04
AT ITER 2856 NEW BEST:: SOT 155818 SOS 84031 HAS SOPS 83545 HAS SOUS 29021 HAS SOUPS 28678 WITH SCORE 28762.031
AT ITER 2861 NEW BEST:: SOT 155817 SOS 84029 HAS SOPS 83543 HAS SOUS 29016 HAS SOUPS 28673 WITH SCORE 28757.029
AT ITER 2889 NEW BEST:: SOT 155822 SOS 83999 HAS SOPS 83518 HAS SOUS 29011 HAS SOUPS 28673 WITH SCORE 28756.999
AT ITER 2893 NEW BEST:: SOT 155786 SOS 83986 HAS SOPS 83550 HAS SOUS 28980 HAS SOUPS 28669 WITH SCORE 28752.986
AT ITER 2938 NEW BEST:: SOT 155786 SOS 83930 HAS SOPS 83494 HAS SOUS 28972 HAS SOUPS 28661 WITH SCORE 28744.93
AT ITER 2951 NEW BEST:: SOT 155761 SOS 83880 HAS SOPS 83444 HAS SOUS 28951 HAS SOUPS 28640 WITH SCORE 28723.88
AT ITER 2956 NEW BEST:: SOT 155730 SOS 83790 HAS SOPS 83354 HAS SOUS 28875 HAS SOUPS 28564 WITH SCORE 28647.79
AT ITER 2958 NEW BEST:: SOT 155720 SOS 83705 HAS SOPS 83269 HAS SOUS 28867 HAS SOUPS 28556 WITH SCORE 28639.705
AT ITER 2961 NEW BEST:: SOT 155720 SOS 83699 HAS SOPS 83263 HAS SOUS 28857 HAS SOUPS 28546 WITH SCORE 28629.699
AT ITER 2973 NEW BEST:: SOT 155719 SOS 83697 HAS SOPS 83261 HAS SOUS 28856 HAS SOUPS 28545 WITH SCORE 28628.697
AT ITER 2976 NEW BEST:: SOT 155679 SOS 83197 HAS SOPS 82761 HAS SOUS 28845 HAS SOUPS 28534 WITH SCORE 28617.197
AT ITER 2986 NEW BEST:: SOT 155679 SOS 83122 HAS SOPS 82686 HAS SOUS 28845 HAS SOUPS 28534 WITH SCORE 28617.122
AT ITER 2987 NEW BEST:: SOT 155400 SOS 82843 HAS SOPS 82407 HAS SOUS 28829 HAS SOUPS 28518 WITH SCORE 28600.843
AT ITER 3013 NEW BEST:: SOT 155399 SOS 82842 HAS SOPS 82406 HAS SOUS 28828 HAS SOUPS 28517 WITH SCORE 28599.842
AT ITER 3022 NEW BEST:: SOT 155385 SOS 82827 HAS SOPS 82391 HAS SOUS 28809 HAS SOUPS 28498 WITH SCORE 28580.827
AT ITER 3043 NEW BEST:: SOT 155371 SOS 82749 HAS SOPS 82313 HAS SOUS 28791 HAS SOUPS 28480 WITH SCORE 28562.749
AT ITER 3061 NEW BEST:: SOT 155350 SOS 82728 HAS SOPS 82318 HAS SOUS 28749 HAS SOUPS 28464 WITH SCORE 28546.728
AT ITER 3075 NEW BEST:: SOT 155308 SOS 82714 HAS SOPS 82304 HAS SOUS 28692 HAS SOUPS 28407 WITH SCORE 28489.714
AT ITER 3083 NEW BEST:: SOT 155284 SOS 82656 HAS SOPS 82280 HAS SOUS 28638 HAS SOUPS 28370 WITH SCORE 28452.656
AT ITER 3084 NEW BEST:: SOT 155282 SOS 82654 HAS SOPS 82278 HAS SOUS 28634 HAS SOUPS 28366 WITH SCORE 28448.654
AT ITER 3086 NEW BEST:: SOT 155275 SOS 82646 HAS SOPS 82270 HAS SOUS 28625 HAS SOUPS 28357 WITH SCORE 28439.646
AT ITER 3089 NEW BEST:: SOT 155280 SOS 82453 HAS SOPS 82077 HAS SOUS 28606 HAS SOUPS 28338 WITH SCORE 28420.453
AT ITER 3095 NEW BEST:: SOT 155277 SOS 82447 HAS SOPS 82071 HAS SOUS 28600 HAS SOUPS 28332 WITH SCORE 28414.447
AT ITER 3172 NEW BEST:: SOT 155241 SOS 82411 HAS SOPS 82082 HAS SOUS 28564 HAS SOUPS 28307 WITH SCORE 28389.411
AT ITER 3207 NEW BEST:: SOT 155241 SOS 82411 HAS SOPS 82082 HAS SOUS 28558 HAS SOUPS 28301 WITH SCORE 28383.411
AT ITER 3262 NEW BEST:: SOT 155236 SOS 82401 HAS SOPS 82072 HAS SOUS 28548 HAS SOUPS 28291 WITH SCORE 28373.401
AT ITER 3289 NEW BEST:: SOT 155241 SOS 82371 HAS SOPS 82047 HAS SOUS 28543 HAS SOUPS 28291 WITH SCORE 28373.371
AT ITER 3301 NEW BEST:: SOT 155240 SOS 82370 HAS SOPS 82046 HAS SOUS 28541 HAS SOUPS 28289 WITH SCORE 28371.37
AT ITER 3307 NEW BEST:: SOT 155240 SOS 82378 HAS SOPS 82054 HAS SOUS 28539 HAS SOUPS 28287 WITH SCORE 28369.378
AT ITER 3311 NEW BEST:: SOT 155238 SOS 82376 HAS SOPS 82052 HAS SOUS 28535 HAS SOUPS 28283 WITH SCORE 28365.376
AT ITER 3323 NEW BEST:: SOT 155274 SOS 82224 HAS SOPS 81874 HAS SOUS 28437 HAS SOUPS 28185 WITH SCORE 28267.224
AT ITER 3345 NEW BEST:: SOT 155270 SOS 82241 HAS SOPS 81891 HAS SOUS 28430 HAS SOUPS 28178 WITH SCORE 28260.241
AT ITER 3395 NEW BEST:: SOT 155270 SOS 82227 HAS SOPS 81877 HAS SOUS 28430 HAS SOUPS 28178 WITH SCORE 28260.227
AT ITER 3402 NEW BEST:: SOT 155270 SOS 82227 HAS SOPS 81877 HAS SOUS 28417 HAS SOUPS 28165 WITH SCORE 28247.227
AT ITER 3419 NEW BEST:: SOT 155193 SOS 82150 HAS SOPS 81860 HAS SOUS 28372 HAS SOUPS 28120 WITH SCORE 28202.15
AT ITER 3431 NEW BEST:: SOT 155189 SOS 82146 HAS SOPS 81856 HAS SOUS 28363 HAS SOUPS 28111 WITH SCORE 28193.146
AT ITER 3433 NEW BEST:: SOT 155186 SOS 82143 HAS SOPS 81853 HAS SOUS 28357 HAS SOUPS 28105 WITH SCORE 28187.143
AT ITER 3436 NEW BEST:: SOT 155182 SOS 82135 HAS SOPS 81845 HAS SOUS 28344 HAS SOUPS 28092 WITH SCORE 28174.135
AT ITER 3446 NEW BEST:: SOT 155171 SOS 82124 HAS SOPS 81834 HAS SOUS 28322 HAS SOUPS 28070 WITH SCORE 28152.124
AT ITER 3447 NEW BEST:: SOT 155139 SOS 82092 HAS SOPS 81802 HAS SOUS 28290 HAS SOUPS 28038 WITH SCORE 28120.092
AT ITER 3516 NEW BEST:: SOT 155115 SOS 82065 HAS SOPS 81775 HAS SOUS 28285 HAS SOUPS 28033 WITH SCORE 28115.065
AT ITER 3518 NEW BEST:: SOT 155106 SOS 82056 HAS SOPS 81775 HAS SOUS 28267 HAS SOUPS 28024 WITH SCORE 28106.056
AT ITER 3553 NEW BEST:: SOT 155102 SOS 82052 HAS SOPS 81771 HAS SOUS 28259 HAS SOUPS 28016 WITH SCORE 28098.052
AT ITER 3559 NEW BEST:: SOT 155089 SOS 82026 HAS SOPS 81745 HAS SOUS 28246 HAS SOUPS 28003 WITH SCORE 28085.026
AT ITER 3579 NEW BEST:: SOT 155084 SOS 82016 HAS SOPS 81735 HAS SOUS 28241 HAS SOUPS 27998 WITH SCORE 28080.016
AT ITER 3613 NEW BEST:: SOT 155082 SOS 82014 HAS SOPS 81733 HAS SOUS 28239 HAS SOUPS 27996 WITH SCORE 28078.014
AT ITER 3616 NEW BEST:: SOT 155082 SOS 82008 HAS SOPS 81727 HAS SOUS 28233 HAS SOUPS 27990 WITH SCORE 28072.008
AT ITER 3629 NEW BEST:: SOT 155078 SOS 82004 HAS SOPS 81723 HAS SOUS 28229 HAS SOUPS 27986 WITH SCORE 28068.004
AT ITER 3649 NEW BEST:: SOT 155067 SOS 81993 HAS SOPS 81712 HAS SOUS 28201 HAS SOUPS 27958 WITH SCORE 28039.993
AT ITER 3655 NEW BEST:: SOT 155067 SOS 81993 HAS SOPS 81712 HAS SOUS 28197 HAS SOUPS 27954 WITH SCORE 28035.993
AT ITER 3668 NEW BEST:: SOT 155065 SOS 81979 HAS SOPS 81698 HAS SOUS 28195 HAS SOUPS 27952 WITH SCORE 28033.979
AT ITER 3706 NEW BEST:: SOT 155064 SOS 81978 HAS SOPS 81697 HAS SOUS 28194 HAS SOUPS 27951 WITH SCORE 28032.978
AT ITER 3809 NEW BEST:: SOT 155033 SOS 81947 HAS SOPS 81666 HAS SOUS 28132 HAS SOUPS 27889 WITH SCORE 27970.947
AT ITER 3848 NEW BEST:: SOT 155020 SOS 81921 HAS SOPS 81640 HAS SOUS 28115 HAS SOUPS 27872 WITH SCORE 27953.921
AT ITER 3867 NEW BEST:: SOT 155017 SOS 81918 HAS SOPS 81637 HAS SOUS 28112 HAS SOUPS 27869 WITH SCORE 27950.918
AT ITER 3927 NEW BEST:: SOT 155016 SOS 81916 HAS SOPS 81635 HAS SOUS 28110 HAS SOUPS 27867 WITH SCORE 27948.916
AT ITER 3928 NEW BEST:: SOT 155016 SOS 81899 HAS SOPS 81618 HAS SOUS 28093 HAS SOUPS 27850 WITH SCORE 27931.899
AT ITER 3990 NEW BEST:: SOT 154998 SOS 81881 HAS SOPS 81600 HAS SOUS 28075 HAS SOUPS 27832 WITH SCORE 27913.881
AT ITER 3991 NEW BEST:: SOT 154987 SOS 81859 HAS SOPS 81578 HAS SOUS 28064 HAS SOUPS 27821 WITH SCORE 27902.859
AT ITER 3999 NEW BEST:: SOT 154918 SOS 81790 HAS SOPS 81509 HAS SOUS 27995 HAS SOUPS 27752 WITH SCORE 27833.79
AT ITER 4065 NEW BEST:: SOT 154899 SOS 81637 HAS SOPS 81356 HAS SOUS 27972 HAS SOUPS 27729 WITH SCORE 27810.637
AT ITER 4070 NEW BEST:: SOT 155167 SOS 82204 HAS SOPS 81875 HAS SOUS 27976 HAS SOUPS 27709 WITH SCORE 27791.204
AT ITER 4090 NEW BEST:: SOT 155153 SOS 82190 HAS SOPS 81872 HAS SOUS 27951 HAS SOUPS 27695 WITH SCORE 27777.19
AT ITER 4096 NEW BEST:: SOT 155152 SOS 82189 HAS SOPS 81871 HAS SOUS 27949 HAS SOUPS 27693 WITH SCORE 27775.189
AT ITER 4112 NEW BEST:: SOT 155148 SOS 82187 HAS SOPS 81869 HAS SOUS 27943 HAS SOUPS 27687 WITH SCORE 27769.187
AT ITER 4115 NEW BEST:: SOT 155148 SOS 82187 HAS SOPS 81869 HAS SOUS 27930 HAS SOUPS 27674 WITH SCORE 27756.187
AT ITER 4155 NEW BEST:: SOT 155146 SOS 82185 HAS SOPS 81867 HAS SOUS 27926 HAS SOUPS 27670 WITH SCORE 27752.185
AT ITER 4192 NEW BEST:: SOT 155141 SOS 82180 HAS SOPS 81862 HAS SOUS 27916 HAS SOUPS 27660 WITH SCORE 27742.18
AT ITER 4213 NEW BEST:: SOT 155270 SOS 82309 HAS SOPS 81991 HAS SOUS 27913 HAS SOUPS 27657 WITH SCORE 27739.309
AT ITER 4242 NEW BEST:: SOT 155267 SOS 82306 HAS SOPS 81988 HAS SOUS 27907 HAS SOUPS 27651 WITH SCORE 27733.306
AT ITER 4276 NEW BEST:: SOT 155266 SOS 82305 HAS SOPS 81987 HAS SOUS 27905 HAS SOUPS 27649 WITH SCORE 27731.305
AT ITER 4318 NEW BEST:: SOT 155269 SOS 82178 HAS SOPS 81860 HAS SOUS 27889 HAS SOUPS 27633 WITH SCORE 27715.178
AT ITER 4344 NEW BEST:: SOT 155266 SOS 82165 HAS SOPS 81847 HAS SOUS 27876 HAS SOUPS 27620 WITH SCORE 27702.165
AT ITER 4359 NEW BEST:: SOT 155256 SOS 82145 HAS SOPS 81827 HAS SOUS 27864 HAS SOUPS 27608 WITH SCORE 27690.145
AT ITER 4375 NEW BEST:: SOT 155256 SOS 82145 HAS SOPS 81823 HAS SOUS 27864 HAS SOUPS 27604 WITH SCORE 27686.145
AT ITER 4404 NEW BEST:: SOT 155256 SOS 82131 HAS SOPS 81809 HAS SOUS 27862 HAS SOUPS 27602 WITH SCORE 27684.131
AT ITER 4407 NEW BEST:: SOT 155256 SOS 82061 HAS SOPS 81739 HAS SOUS 27852 HAS SOUPS 27592 WITH SCORE 27674.061
AT ITER 4412 NEW BEST:: SOT 155242 SOS 82001 HAS SOPS 81679 HAS SOUS 27840 HAS SOUPS 27580 WITH SCORE 27662.001
AT ITER 4421 NEW BEST:: SOT 155237 SOS 81996 HAS SOPS 81674 HAS SOUS 27830 HAS SOUPS 27570 WITH SCORE 27651.996
AT ITER 4451 NEW BEST:: SOT 155230 SOS 81989 HAS SOPS 81667 HAS SOUS 27816 HAS SOUPS 27556 WITH SCORE 27637.989
AT ITER 4482 NEW BEST:: SOT 155231 SOS 81990 HAS SOPS 81657 HAS SOUS 27818 HAS SOUPS 27547 WITH SCORE 27628.99
AT ITER 4509 NEW BEST:: SOT 155231 SOS 81989 HAS SOPS 81656 HAS SOUS 27805 HAS SOUPS 27534 WITH SCORE 27615.989
AT ITER 4515 NEW BEST:: SOT 155230 SOS 81988 HAS SOPS 81655 HAS SOUS 27803 HAS SOUPS 27532 WITH SCORE 27613.988
AT ITER 4517 NEW BEST:: SOT 155189 SOS 81906 HAS SOPS 81573 HAS SOUS 27745 HAS SOUPS 27474 WITH SCORE 27555.906
AT ITER 4521 NEW BEST:: SOT 155161 SOS 81844 HAS SOPS 81544 HAS SOUS 27725 HAS SOUPS 27454 WITH SCORE 27535.844
AT ITER 4587 NEW BEST:: SOT 155160 SOS 81842 HAS SOPS 81542 HAS SOUS 27723 HAS SOUPS 27452 WITH SCORE 27533.842
AT ITER 4618 NEW BEST:: SOT 155157 SOS 81844 HAS SOPS 81543 HAS SOUS 27722 HAS SOUPS 27450 WITH SCORE 27531.844
AT ITER 4660 NEW BEST:: SOT 155140 SOS 81827 HAS SOPS 81526 HAS SOUS 27688 HAS SOUPS 27416 WITH SCORE 27497.827
AT ITER 4689 NEW BEST:: SOT 154982 SOS 81841 HAS SOPS 81540 HAS SOUS 27632 HAS SOUPS 27360 WITH SCORE 27441.841
AT ITER 4690 NEW BEST:: SOT 154981 SOS 81799 HAS SOPS 81498 HAS SOUS 27631 HAS SOUPS 27359 WITH SCORE 27440.799
AT ITER 4707 NEW BEST:: SOT 154975 SOS 81787 HAS SOPS 81486 HAS SOUS 27618 HAS SOUPS 27346 WITH SCORE 27427.787
AT ITER 4732 NEW BEST:: SOT 154975 SOS 81715 HAS SOPS 81414 HAS SOUS 27618 HAS SOUPS 27346 WITH SCORE 27427.715
AT ITER 4735 NEW BEST:: SOT 154972 SOS 81712 HAS SOPS 81411 HAS SOUS 27612 HAS SOUPS 27340 WITH SCORE 27421.712
AT ITER 4814 NEW BEST:: SOT 154931 SOS 81671 HAS SOPS 81370 HAS SOUS 27567 HAS SOUPS 27295 WITH SCORE 27376.671
AT ITER 4933 NEW BEST:: SOT 154931 SOS 81691 HAS SOPS 81390 HAS SOUS 27563 HAS SOUPS 27291 WITH SCORE 27372.691
AT ITER 4948 NEW BEST:: SOT 154929 SOS 81687 HAS SOPS 81386 HAS SOUS 27559 HAS SOUPS 27287 WITH SCORE 27368.687
AT ITER 4959 NEW BEST:: SOT 154916 SOS 81674 HAS SOPS 81388 HAS SOUS 27533 HAS SOUPS 27276 WITH SCORE 27357.674
AT ITER 4963 NEW BEST:: SOT 154908 SOS 81666 HAS SOPS 81380 HAS SOUS 27517 HAS SOUPS 27260 WITH SCORE 27341.666
AT ITER 4969 NEW BEST:: SOT 155190 SOS 81948 HAS SOPS 81662 HAS SOUS 27462 HAS SOUPS 27205 WITH SCORE 27286.948
AT ITER 4988 NEW BEST:: SOT 155164 SOS 81922 HAS SOPS 81636 HAS SOUS 27436 HAS SOUPS 27179 WITH SCORE 27260.922
AT ITER 4994 NEW BEST:: SOT 155101 SOS 81803 HAS SOPS 81517 HAS SOUS 27310 HAS SOUPS 27053 WITH SCORE 27134.803
AT ITER 4997 NEW BEST:: SOT 155101 SOS 81795 HAS SOPS 81509 HAS SOUS 27310 HAS SOUPS 27053 WITH SCORE 27134.795
AT ITER 5022 NEW BEST:: SOT 155082 SOS 81757 HAS SOPS 81471 HAS SOUS 27274 HAS SOUPS 27017 WITH SCORE 27098.757
AT ITER 5025 NEW BEST:: SOT 155165 SOS 81840 HAS SOPS 81554 HAS SOUS 27261 HAS SOUPS 27004 WITH SCORE 27085.84
AT ITER 5051 NEW BEST:: SOT 155165 SOS 81755 HAS SOPS 81469 HAS SOUS 27261 HAS SOUPS 27004 WITH SCORE 27085.755
AT ITER 5063 NEW BEST:: SOT 155154 SOS 81744 HAS SOPS 81458 HAS SOUS 27245 HAS SOUPS 26988 WITH SCORE 27069.744
AT ITER 5121 NEW BEST:: SOT 155142 SOS 81732 HAS SOPS 81446 HAS SOUS 27233 HAS SOUPS 26976 WITH SCORE 27057.732
AT ITER 5127 NEW BEST:: SOT 155121 SOS 81723 HAS SOPS 81446 HAS SOUS 27203 HAS SOUPS 26955 WITH SCORE 27036.723
AT ITER 5145 NEW BEST:: SOT 155105 SOS 81707 HAS SOPS 81430 HAS SOUS 27181 HAS SOUPS 26933 WITH SCORE 27014.707
AT ITER 5158 NEW BEST:: SOT 155080 SOS 81657 HAS SOPS 81380 HAS SOUS 27131 HAS SOUPS 26883 WITH SCORE 26964.657
AT ITER 5195 NEW BEST:: SOT 155090 SOS 81607 HAS SOPS 81330 HAS SOUS 27131 HAS SOUPS 26883 WITH SCORE 26964.607
AT ITER 5204 NEW BEST:: SOT 155077 SOS 81594 HAS SOPS 81317 HAS SOUS 27130 HAS SOUPS 26882 WITH SCORE 26963.594
AT ITER 5251 NEW BEST:: SOT 155058 SOS 81556 HAS SOPS 81279 HAS SOUS 27092 HAS SOUPS 26844 WITH SCORE 26925.556
AT ITER 5252 NEW BEST:: SOT 155112 SOS 81101 HAS SOPS 80873 HAS SOUS 26999 HAS SOUPS 26800 WITH SCORE 26881.101
AT ITER 5270 NEW BEST:: SOT 155111 SOS 81099 HAS SOPS 80871 HAS SOUS 26998 HAS SOUPS 26799 WITH SCORE 26880.099
AT ITER 5282 NEW BEST:: SOT 155104 SOS 81085 HAS SOPS 80857 HAS SOUS 26991 HAS SOUPS 26792 WITH SCORE 26873.085
AT ITER 5304 NEW BEST:: SOT 155098 SOS 81073 HAS SOPS 80845 HAS SOUS 26977 HAS SOUPS 26778 WITH SCORE 26859.073
AT ITER 5308 NEW BEST:: SOT 155096 SOS 81071 HAS SOPS 80843 HAS SOUS 26973 HAS SOUPS 26774 WITH SCORE 26855.071
AT ITER 5319 NEW BEST:: SOT 155095 SOS 81069 HAS SOPS 80841 HAS SOUS 26972 HAS SOUPS 26773 WITH SCORE 26854.069
AT ITER 5336 NEW BEST:: SOT 155091 SOS 81061 HAS SOPS 80833 HAS SOUS 26967 HAS SOUPS 26768 WITH SCORE 26849.061
AT ITER 5339 NEW BEST:: SOT 155091 SOS 81084 HAS SOPS 80856 HAS SOUS 26966 HAS SOUPS 26767 WITH SCORE 26848.084
AT ITER 5350 NEW BEST:: SOT 155101 SOS 81088 HAS SOPS 80860 HAS SOUS 26962 HAS SOUPS 26763 WITH SCORE 26844.088
AT ITER 5433 NEW BEST:: SOT 155100 SOS 81083 HAS SOPS 80855 HAS SOUS 26957 HAS SOUPS 26758 WITH SCORE 26839.083
AT ITER 5479 NEW BEST:: SOT 155110 SOS 81093 HAS SOPS 80865 HAS SOUS 26953 HAS SOUPS 26754 WITH SCORE 26835.093
AT ITER 5553 NEW BEST:: SOT 155114 SOS 81097 HAS SOPS 80869 HAS SOUS 26943 HAS SOUPS 26744 WITH SCORE 26825.097
AT ITER 5690 NEW BEST:: SOT 155113 SOS 81100 HAS SOPS 80872 HAS SOUS 26941 HAS SOUPS 26742 WITH SCORE 26823.1
AT ITER 5691 NEW BEST:: SOT 155113 SOS 81100 HAS SOPS 80872 HAS SOUS 26938 HAS SOUPS 26739 WITH SCORE 26820.1
AT ITER 5717 NEW BEST:: SOT 155123 SOS 81111 HAS SOPS 80883 HAS SOUS 26935 HAS SOUPS 26736 WITH SCORE 26817.111
AT ITER 5722 NEW BEST:: SOT 155120 SOS 81105 HAS SOPS 80877 HAS SOUS 26930 HAS SOUPS 26731 WITH SCORE 26812.105
AT ITER 5728 NEW BEST:: SOT 155119 SOS 81104 HAS SOPS 80876 HAS SOUS 26928 HAS SOUPS 26729 WITH SCORE 26810.104
AT ITER 5759 NEW BEST:: SOT 155045 SOS 81376 HAS SOPS 81148 HAS SOUS 26914 HAS SOUPS 26715 WITH SCORE 26796.376
AT ITER 5780 NEW BEST:: SOT 154981 SOS 80864 HAS SOPS 80636 HAS SOUS 26795 HAS SOUPS 26596 WITH SCORE 26676.864
AT ITER 5809 NEW BEST:: SOT 154981 SOS 80857 HAS SOPS 80629 HAS SOUS 26794 HAS SOUPS 26595 WITH SCORE 26675.857
AT ITER 5832 NEW BEST:: SOT 154974 SOS 80768 HAS SOPS 80540 HAS SOUS 26787 HAS SOUPS 26588 WITH SCORE 26668.768
AT ITER 5866 NEW BEST:: SOT 154975 SOS 80761 HAS SOPS 80534 HAS SOUS 26785 HAS SOUPS 26587 WITH SCORE 26667.761
AT ITER 5887 NEW BEST:: SOT 154975 SOS 80758 HAS SOPS 80534 HAS SOUS 26785 HAS SOUPS 26587 WITH SCORE 26667.758
AT ITER 5903 NEW BEST:: SOT 154971 SOS 80752 HAS SOPS 80528 HAS SOUS 26779 HAS SOUPS 26581 WITH SCORE 26661.752
AT ITER 5941 NEW BEST:: SOT 154971 SOS 80737 HAS SOPS 80513 HAS SOUS 26779 HAS SOUPS 26581 WITH SCORE 26661.737
AT ITER 5949 NEW BEST:: SOT 154971 SOS 80672 HAS SOPS 80448 HAS SOUS 26779 HAS SOUPS 26581 WITH SCORE 26661.672
AT ITER 5994 NEW BEST:: SOT 154971 SOS 80670 HAS SOPS 80446 HAS SOUS 26771 HAS SOUPS 26573 WITH SCORE 26653.67
AT ITER 6030 NEW BEST:: SOT 154953 SOS 81254 HAS SOPS 81030 HAS SOUS 26767 HAS SOUPS 26569 WITH SCORE 26650.254
AT ITER 6031 NEW BEST:: SOT 154953 SOS 81254 HAS SOPS 81030 HAS SOUS 26754 HAS SOUPS 26556 WITH SCORE 26637.254
AT ITER 6158 NEW BEST:: SOT 154940 SOS 81255 HAS SOPS 81031 HAS SOUS 26729 HAS SOUPS 26531 WITH SCORE 26612.255
AT ITER 6206 NEW BEST:: SOT 154940 SOS 81255 HAS SOPS 81022 HAS SOUS 26720 HAS SOUPS 26522 WITH SCORE 26603.255
AT ITER 6243 NEW BEST:: SOT 154937 SOS 81252 HAS SOPS 81019 HAS SOUS 26717 HAS SOUPS 26519 WITH SCORE 26600.252
AT ITER 6356 NEW BEST:: SOT 154928 SOS 81223 HAS SOPS 80990 HAS SOUS 26706 HAS SOUPS 26508 WITH SCORE 26589.223
AT ITER 6425 NEW BEST:: SOT 154926 SOS 81231 HAS SOPS 80998 HAS SOUS 26704 HAS SOUPS 26506 WITH SCORE 26587.231
AT ITER 6455 NEW BEST:: SOT 154872 SOS 81225 HAS SOPS 80992 HAS SOUS 26666 HAS SOUPS 26468 WITH SCORE 26549.225
AT ITER 6500 NEW BEST:: SOT 154870 SOS 81223 HAS SOPS 80990 HAS SOUS 26662 HAS SOUPS 26464 WITH SCORE 26545.223
AT ITER 6651 NEW BEST:: SOT 154870 SOS 81223 HAS SOPS 80990 HAS SOUS 26658 HAS SOUPS 26460 WITH SCORE 26541.223
AT ITER 6656 NEW BEST:: SOT 154870 SOS 81175 HAS SOPS 80942 HAS SOUS 26658 HAS SOUPS 26460 WITH SCORE 26541.175
AT ITER 6674 NEW BEST:: SOT 154872 SOS 81279 HAS SOPS 81046 HAS SOUS 26647 HAS SOUPS 26449 WITH SCORE 26530.279
AT ITER 6697 NEW BEST:: SOT 154872 SOS 81244 HAS SOPS 81011 HAS SOUS 26642 HAS SOUPS 26444 WITH SCORE 26525.244
AT ITER 6725 NEW BEST:: SOT 154872 SOS 81266 HAS SOPS 81033 HAS SOUS 26640 HAS SOUPS 26442 WITH SCORE 26523.266
AT ITER 6733 NEW BEST:: SOT 154914 SOS 81197 HAS SOPS 80964 HAS SOUS 26634 HAS SOUPS 26436 WITH SCORE 26517.197
AT ITER 6799 NEW BEST:: SOT 155134 SOS 81425 HAS SOPS 81192 HAS SOUS 26602 HAS SOUPS 26404 WITH SCORE 26485.425
AT ITER 6803 NEW BEST:: SOT 155131 SOS 81422 HAS SOPS 81189 HAS SOUS 26599 HAS SOUPS 26401 WITH SCORE 26482.422
AT ITER 6847 NEW BEST:: SOT 155130 SOS 81421 HAS SOPS 81188 HAS SOUS 26597 HAS SOUPS 26399 WITH SCORE 26480.421
AT ITER 6879 NEW BEST:: SOT 155124 SOS 81379 HAS SOPS 81146 HAS SOUS 26591 HAS SOUPS 26393 WITH SCORE 26474.379
AT ITER 6915 NEW BEST:: SOT 155119 SOS 81374 HAS SOPS 81141 HAS SOUS 26586 HAS SOUPS 26388 WITH SCORE 26469.374
AT ITER 6946 NEW BEST:: SOT 155339 SOS 81594 HAS SOPS 81361 HAS SOUS 26585 HAS SOUPS 26387 WITH SCORE 26468.594
AT ITER 7021 NEW BEST:: SOT 155338 SOS 81593 HAS SOPS 81360 HAS SOUS 26584 HAS SOUPS 26386 WITH SCORE 26467.593
AT ITER 7076 NEW BEST:: SOT 155206 SOS 81461 HAS SOPS 81228 HAS SOUS 26571 HAS SOUPS 26373 WITH SCORE 26454.461
AT ITER 7089 NEW BEST:: SOT 155206 SOS 81257 HAS SOPS 81024 HAS SOUS 26567 HAS SOUPS 26369 WITH SCORE 26450.257
AT ITER 7138 NEW BEST:: SOT 155197 SOS 81248 HAS SOPS 81015 HAS SOUS 26549 HAS SOUPS 26351 WITH SCORE 26432.248
AT ITER 7161 NEW BEST:: SOT 155257 SOS 81308 HAS SOPS 81075 HAS SOUS 26547 HAS SOUPS 26349 WITH SCORE 26430.308
AT ITER 7181 NEW BEST:: SOT 155257 SOS 81333 HAS SOPS 81100 HAS SOUS 26542 HAS SOUPS 26344 WITH SCORE 26425.333
AT ITER 7207 NEW BEST:: SOT 155255 SOS 81331 HAS SOPS 81098 HAS SOUS 26540 HAS SOUPS 26342 WITH SCORE 26423.331
AT ITER 7221 NEW BEST:: SOT 155248 SOS 81324 HAS SOPS 81091 HAS SOUS 26538 HAS SOUPS 26340 WITH SCORE 26421.324
AT ITER 7266 NEW BEST:: SOT 155241 SOS 81400 HAS SOPS 81167 HAS SOUS 26526 HAS SOUPS 26328 WITH SCORE 26409.4
AT ITER 7325 NEW BEST:: SOT 155241 SOS 81350 HAS SOPS 81117 HAS SOUS 26526 HAS SOUPS 26328 WITH SCORE 26409.35
AT ITER 7363 NEW BEST:: SOT 155240 SOS 81349 HAS SOPS 81116 HAS SOUS 26520 HAS SOUPS 26322 WITH SCORE 26403.349
AT ITER 7482 NEW BEST:: SOT 155264 SOS 81373 HAS SOPS 81140 HAS SOUS 26492 HAS SOUPS 26294 WITH SCORE 26375.373
AT ITER 7547 NEW BEST:: SOT 155265 SOS 81374 HAS SOPS 81136 HAS SOUS 26494 HAS SOUPS 26291 WITH SCORE 26372.374
AT ITER 7643 NEW BEST:: SOT 155258 SOS 81330 HAS SOPS 81092 HAS SOUS 26486 HAS SOUPS 26283 WITH SCORE 26364.33
AT ITER 7748 NEW BEST:: SOT 155253 SOS 81325 HAS SOPS 81087 HAS SOUS 26481 HAS SOUPS 26278 WITH SCORE 26359.325
AT ITER 7758 NEW BEST:: SOT 155258 SOS 81330 HAS SOPS 81092 HAS SOUS 26473 HAS SOUPS 26270 WITH SCORE 26351.33
AT ITER 7773 NEW BEST:: SOT 155248 SOS 81300 HAS SOPS 81082 HAS SOUS 26451 HAS SOUPS 26258 WITH SCORE 26339.3
AT ITER 7777 NEW BEST:: SOT 155168 SOS 81237 HAS SOPS 81019 HAS SOUS 26378 HAS SOUPS 26185 WITH SCORE 26266.237
AT ITER 7786 NEW BEST:: SOT 155155 SOS 81224 HAS SOPS 81006 HAS SOUS 26378 HAS SOUPS 26185 WITH SCORE 26266.224
AT ITER 7808 NEW BEST:: SOT 155156 SOS 81225 HAS SOPS 81007 HAS SOUS 26376 HAS SOUPS 26183 WITH SCORE 26264.225
AT ITER 7839 NEW BEST:: SOT 155024 SOS 81597 HAS SOPS 81317 HAS SOUS 26429 HAS SOUPS 26174 WITH SCORE 26255.597
AT ITER 7859 NEW BEST:: SOT 155080 SOS 81588 HAS SOPS 81308 HAS SOUS 26420 HAS SOUPS 26165 WITH SCORE 26246.588
AT ITER 7943 NEW BEST:: SOT 155073 SOS 81567 HAS SOPS 81287 HAS SOUS 26397 HAS SOUPS 26142 WITH SCORE 26223.567
AT ITER 7966 NEW BEST:: SOT 155075 SOS 81569 HAS SOPS 81289 HAS SOUS 26387 HAS SOUPS 26132 WITH SCORE 26213.569
AT ITER 8018 NEW BEST:: SOT 155074 SOS 81562 HAS SOPS 81282 HAS SOUS 26380 HAS SOUPS 26125 WITH SCORE 26206.562
AT ITER 8022 NEW BEST:: SOT 155066 SOS 81567 HAS SOPS 81287 HAS SOUS 26364 HAS SOUPS 26109 WITH SCORE 26190.567
AT ITER 8027 NEW BEST:: SOT 155062 SOS 81694 HAS SOPS 81414 HAS SOUS 26345 HAS SOUPS 26090 WITH SCORE 26171.694
AT ITER 8095 NEW BEST:: SOT 155149 SOS 81781 HAS SOPS 81501 HAS SOUS 26341 HAS SOUPS 26086 WITH SCORE 26167.781
AT ITER 8286 NEW BEST:: SOT 155147 SOS 81777 HAS SOPS 81497 HAS SOUS 26339 HAS SOUPS 26084 WITH SCORE 26165.777
AT ITER 8303 NEW BEST:: SOT 155147 SOS 81737 HAS SOPS 81457 HAS SOUS 26339 HAS SOUPS 26084 WITH SCORE 26165.737
AT ITER 8324 NEW BEST:: SOT 155124 SOS 81782 HAS SOPS 81502 HAS SOUS 26306 HAS SOUPS 26051 WITH SCORE 26132.782
AT ITER 8355 NEW BEST:: SOT 155124 SOS 81792 HAS SOPS 81512 HAS SOUS 26304 HAS SOUPS 26049 WITH SCORE 26130.792
AT ITER 8487 NEW BEST:: SOT 155092 SOS 81951 HAS SOPS 81655 HAS SOUS 26288 HAS SOUPS 26017 WITH SCORE 26098.951
AT ITER 8531 NEW BEST:: SOT 155073 SOS 82046 HAS SOPS 81750 HAS SOUS 26287 HAS SOUPS 26016 WITH SCORE 26098.046
AT ITER 8555 NEW BEST:: SOT 155070 SOS 82043 HAS SOPS 81747 HAS SOUS 26274 HAS SOUPS 26003 WITH SCORE 26085.043
AT ITER 8604 NEW BEST:: SOT 155081 SOS 82055 HAS SOPS 81759 HAS SOUS 26273 HAS SOUPS 26002 WITH SCORE 26084.055
AT ITER 8642 NEW BEST:: SOT 155078 SOS 82052 HAS SOPS 81756 HAS SOUS 26267 HAS SOUPS 25996 WITH SCORE 26078.052
AT ITER 8648 NEW BEST:: SOT 155074 SOS 82044 HAS SOPS 81748 HAS SOUS 26260 HAS SOUPS 25989 WITH SCORE 26071.044
AT ITER 8664 NEW BEST:: SOT 155075 SOS 82045 HAS SOPS 81744 HAS SOUS 26261 HAS SOUPS 25985 WITH SCORE 26067.045
AT ITER 8686 NEW BEST:: SOT 155074 SOS 82044 HAS SOPS 81743 HAS SOUS 26254 HAS SOUPS 25978 WITH SCORE 26060.044
AT ITER 8733 NEW BEST:: SOT 155072 SOS 82042 HAS SOPS 81741 HAS SOUS 26253 HAS SOUPS 25977 WITH SCORE 26059.042
AT ITER 8844 NEW BEST:: SOT 155056 SOS 82026 HAS SOPS 81725 HAS SOUS 26246 HAS SOUPS 25970 WITH SCORE 26052.026
AT ITER 8889 NEW BEST:: SOT 155076 SOS 82048 HAS SOPS 81747 HAS SOUS 26241 HAS SOUPS 25965 WITH SCORE 26047.048
AT ITER 8902 NEW BEST:: SOT 155056 SOS 82183 HAS SOPS 81882 HAS SOUS 26232 HAS SOUPS 25956 WITH SCORE 26038.183
AT ITER 8914 NEW BEST:: SOT 155053 SOS 82177 HAS SOPS 81876 HAS SOUS 26229 HAS SOUPS 25953 WITH SCORE 26035.177
AT ITER 8926 NEW BEST:: SOT 155049 SOS 82169 HAS SOPS 81868 HAS SOUS 26221 HAS SOUPS 25945 WITH SCORE 26027.169
AT ITER 8949 NEW BEST:: SOT 155049 SOS 82160 HAS SOPS 81868 HAS SOUS 26237 HAS SOUPS 25945 WITH SCORE 26027.16
AT ITER 8955 NEW BEST:: SOT 155047 SOS 82158 HAS SOPS 81868 HAS SOUS 26233 HAS SOUPS 25943 WITH SCORE 26025.158
AT ITER 9025 NEW BEST:: SOT 155090 SOS 82201 HAS SOPS 81911 HAS SOUS 26228 HAS SOUPS 25938 WITH SCORE 26020.201
AT ITER 9084 NEW BEST:: SOT 155072 SOS 82389 HAS SOPS 82068 HAS SOUS 26241 HAS SOUPS 25920 WITH SCORE 26002.389
AT ITER 9114 NEW BEST:: SOT 155075 SOS 82374 HAS SOPS 82053 HAS SOUS 26241 HAS SOUPS 25920 WITH SCORE 26002.374
AT ITER 9172 NEW BEST:: SOT 155075 SOS 82374 HAS SOPS 82053 HAS SOUS 26240 HAS SOUPS 25919 WITH SCORE 26001.374
AT ITER 9173 NEW BEST:: SOT 155068 SOS 82367 HAS SOPS 82055 HAS SOUS 26231 HAS SOUPS 25919 WITH SCORE 26001.367
AT ITER 9181 NEW BEST:: SOT 155067 SOS 82365 HAS SOPS 82053 HAS SOUS 26230 HAS SOUPS 25918 WITH SCORE 26000.365
AT ITER 9270 NEW BEST:: SOT 155065 SOS 82363 HAS SOPS 82051 HAS SOUS 26226 HAS SOUPS 25914 WITH SCORE 25996.363
AT ITER 9284 NEW BEST:: SOT 155059 SOS 82321 HAS SOPS 82009 HAS SOUS 26220 HAS SOUPS 25908 WITH SCORE 25990.321
AT ITER 9394 NEW BEST:: SOT 155054 SOS 82311 HAS SOPS 81999 HAS SOUS 26215 HAS SOUPS 25903 WITH SCORE 25985.311
AT ITER 9406 NEW BEST:: SOT 155321 SOS 82605 HAS SOPS 82293 HAS SOUS 26199 HAS SOUPS 25887 WITH SCORE 25969.605
AT ITER 9483 NEW BEST:: SOT 155323 SOS 82608 HAS SOPS 82300 HAS SOUS 26194 HAS SOUPS 25886 WITH SCORE 25968.608
AT ITER 9555 NEW BEST:: SOT 155322 SOS 82606 HAS SOPS 82298 HAS SOUS 26193 HAS SOUPS 25885 WITH SCORE 25967.606
AT ITER 9657 NEW BEST:: SOT 155331 SOS 82615 HAS SOPS 82307 HAS SOUS 26190 HAS SOUPS 25882 WITH SCORE 25964.615
AT ITER 9662 NEW BEST:: SOT 155330 SOS 82614 HAS SOPS 82306 HAS SOUS 26190 HAS SOUPS 25882 WITH SCORE 25964.614
AT ITER 9676 NEW BEST:: SOT 155315 SOS 82584 HAS SOPS 82276 HAS SOUS 26173 HAS SOUPS 25865 WITH SCORE 25947.584
AT ITER 9732 NEW BEST:: SOT 155314 SOS 82562 HAS SOPS 82254 HAS SOUS 26172 HAS SOUPS 25864 WITH SCORE 25946.562
AT ITER 9770 NEW BEST:: SOT 155614 SOS 82862 HAS SOPS 82554 HAS SOUS 26160 HAS SOUPS 25852 WITH SCORE 25934.862
AT ITER 9774 NEW BEST:: SOT 155613 SOS 82678 HAS SOPS 82370 HAS SOUS 26154 HAS SOUPS 25846 WITH SCORE 25928.678
AT ITER 9857 NEW BEST:: SOT 155611 SOS 82670 HAS SOPS 82362 HAS SOUS 26152 HAS SOUPS 25844 WITH SCORE 25926.67
AT ITER 9863 NEW BEST:: SOT 155610 SOS 82668 HAS SOPS 82360 HAS SOUS 26150 HAS SOUPS 25842 WITH SCORE 25924.668

BK_STOP 1679876613512

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 371 Killed ${SMART}/smart ${INPUT_SM}

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="Anderson-PT-07"
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 Anderson-PT-07, 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 r515-tall-167987241900032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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