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.r195-smll-167840341900080.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 GPUForwardProgress-PT-20b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341900080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 14:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 14:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 103K 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 1678444274368

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=GPUForwardProgress-PT-20b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 20b
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: 416 places, 437 transitions, 1077 arcs.
AT ITER 0 NEW BEST:: SOT 102446 SOS 28811 HAS SOPS 28811 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26316.811
AT ITER 8 NEW BEST:: SOT 102386 SOS 28747 HAS SOPS 28747 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26256.747
AT ITER 13 NEW BEST:: SOT 102386 SOS 28747 HAS SOPS 28747 HAS SOUS 26227 HAS SOUPS 26227 WITH SCORE 26255.747
AT ITER 30 NEW BEST:: SOT 102386 SOS 28747 HAS SOPS 28747 HAS SOUS 26226 HAS SOUPS 26226 WITH SCORE 26254.747
AT ITER 31 NEW BEST:: SOT 102386 SOS 28747 HAS SOPS 28747 HAS SOUS 26200 HAS SOUPS 26200 WITH SCORE 26228.747
AT ITER 33 NEW BEST:: SOT 102386 SOS 28710 HAS SOPS 28710 HAS SOUS 26163 HAS SOUPS 26163 WITH SCORE 26191.71
AT ITER 38 NEW BEST:: SOT 102383 SOS 28704 HAS SOPS 28704 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26188.704
AT ITER 51 NEW BEST:: SOT 102367 SOS 28677 HAS SOPS 28677 HAS SOUS 26144 HAS SOUPS 26144 WITH SCORE 26172.677
AT ITER 65 NEW BEST:: SOT 102327 SOS 28637 HAS SOPS 28637 HAS SOUS 26103 HAS SOUPS 26103 WITH SCORE 26131.637
AT ITER 73 NEW BEST:: SOT 102327 SOS 28637 HAS SOPS 28637 HAS SOUS 26102 HAS SOUPS 26102 WITH SCORE 26130.637
AT ITER 79 NEW BEST:: SOT 102327 SOS 28603 HAS SOPS 28603 HAS SOUS 26102 HAS SOUPS 26102 WITH SCORE 26130.603
AT ITER 95 NEW BEST:: SOT 102310 SOS 28552 HAS SOPS 28552 HAS SOUS 26100 HAS SOUPS 26100 WITH SCORE 26128.552
AT ITER 101 NEW BEST:: SOT 102310 SOS 28552 HAS SOPS 28552 HAS SOUS 26099 HAS SOUPS 26099 WITH SCORE 26127.552
AT ITER 108 NEW BEST:: SOT 102310 SOS 28532 HAS SOPS 28532 HAS SOUS 26079 HAS SOUPS 26079 WITH SCORE 26107.532
AT ITER 121 NEW BEST:: SOT 102310 SOS 28436 HAS SOPS 28436 HAS SOUS 26031 HAS SOUPS 26031 WITH SCORE 26059.436
AT ITER 124 NEW BEST:: SOT 102310 SOS 28382 HAS SOPS 28382 HAS SOUS 26004 HAS SOUPS 26004 WITH SCORE 26032.382
AT ITER 136 NEW BEST:: SOT 102293 SOS 28375 HAS SOPS 28375 HAS SOUS 26004 HAS SOUPS 26004 WITH SCORE 26032.375
AT ITER 140 NEW BEST:: SOT 102293 SOS 28340 HAS SOPS 28340 HAS SOUS 26004 HAS SOUPS 26004 WITH SCORE 26032.34
AT ITER 150 NEW BEST:: SOT 102092 SOS 28254 HAS SOPS 28254 HAS SOUS 25889 HAS SOUPS 25889 WITH SCORE 25917.254
AT ITER 157 NEW BEST:: SOT 102092 SOS 28178 HAS SOPS 28178 HAS SOUS 25889 HAS SOUPS 25889 WITH SCORE 25917.178
AT ITER 159 NEW BEST:: SOT 102090 SOS 28174 HAS SOPS 28174 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25915.174
AT ITER 178 NEW BEST:: SOT 102090 SOS 28147 HAS SOPS 28147 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25915.147
AT ITER 192 NEW BEST:: SOT 102014 SOS 27912 HAS SOPS 27912 HAS SOUS 25652 HAS SOUPS 25652 WITH SCORE 25679.912
AT ITER 238 NEW BEST:: SOT 102014 SOS 27912 HAS SOPS 27912 HAS SOUS 25651 HAS SOUPS 25651 WITH SCORE 25678.912
AT ITER 245 NEW BEST:: SOT 100797 SOS 27845 HAS SOPS 27845 HAS SOUS 24478 HAS SOUPS 24478 WITH SCORE 24505.845
AT ITER 253 NEW BEST:: SOT 100782 SOS 27829 HAS SOPS 27829 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24503.829
AT ITER 272 NEW BEST:: SOT 100761 SOS 26989 HAS SOPS 26989 HAS SOUS 24434 HAS SOUPS 24434 WITH SCORE 24460.989
AT ITER 273 NEW BEST:: SOT 100723 SOS 26951 HAS SOPS 26951 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24422.951
AT ITER 279 NEW BEST:: SOT 100705 SOS 26916 HAS SOPS 26916 HAS SOUS 24360 HAS SOUPS 24360 WITH SCORE 24386.916
AT ITER 281 NEW BEST:: SOT 100705 SOS 26882 HAS SOPS 26882 HAS SOUS 24326 HAS SOUPS 24326 WITH SCORE 24352.882
AT ITER 284 NEW BEST:: SOT 100675 SOS 26852 HAS SOPS 26852 HAS SOUS 24296 HAS SOUPS 24296 WITH SCORE 24322.852
AT ITER 287 NEW BEST:: SOT 100661 SOS 26824 HAS SOPS 26824 HAS SOUS 24268 HAS SOUPS 24268 WITH SCORE 24294.824
AT ITER 293 NEW BEST:: SOT 100664 SOS 26819 HAS SOPS 26819 HAS SOUS 24263 HAS SOUPS 24263 WITH SCORE 24289.819
AT ITER 301 NEW BEST:: SOT 100664 SOS 26819 HAS SOPS 26819 HAS SOUS 24212 HAS SOUPS 24212 WITH SCORE 24238.819
AT ITER 317 NEW BEST:: SOT 100663 SOS 26789 HAS SOPS 26789 HAS SOUS 24197 HAS SOUPS 24197 WITH SCORE 24223.789
AT ITER 363 NEW BEST:: SOT 100649 SOS 26497 HAS SOPS 26497 HAS SOUS 24178 HAS SOUPS 24178 WITH SCORE 24204.497
AT ITER 376 NEW BEST:: SOT 100674 SOS 26419 HAS SOPS 26419 HAS SOUS 24151 HAS SOUPS 24151 WITH SCORE 24177.419
AT ITER 381 NEW BEST:: SOT 100674 SOS 26327 HAS SOPS 26327 HAS SOUS 24105 HAS SOUPS 24105 WITH SCORE 24131.327
AT ITER 396 NEW BEST:: SOT 100654 SOS 26314 HAS SOPS 26314 HAS SOUS 24081 HAS SOUPS 24081 WITH SCORE 24107.314
AT ITER 404 NEW BEST:: SOT 100567 SOS 26225 HAS SOPS 26225 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24021.225
AT ITER 422 NEW BEST:: SOT 100545 SOS 26181 HAS SOPS 26181 HAS SOUS 23951 HAS SOUPS 23951 WITH SCORE 23977.181
AT ITER 426 NEW BEST:: SOT 100545 SOS 26172 HAS SOPS 26172 HAS SOUS 23942 HAS SOUPS 23942 WITH SCORE 23968.172
AT ITER 433 NEW BEST:: SOT 100531 SOS 26169 HAS SOPS 26169 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23965.169
AT ITER 441 NEW BEST:: SOT 100531 SOS 26131 HAS SOPS 26131 HAS SOUS 23920 HAS SOUPS 23920 WITH SCORE 23946.131
AT ITER 443 NEW BEST:: SOT 100531 SOS 26131 HAS SOPS 26131 HAS SOUS 23900 HAS SOUPS 23900 WITH SCORE 23926.131
AT ITER 469 NEW BEST:: SOT 100580 SOS 26229 HAS SOPS 26229 HAS SOUS 23888 HAS SOUPS 23888 WITH SCORE 23914.229
AT ITER 483 NEW BEST:: SOT 100555 SOS 26204 HAS SOPS 26204 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23889.204
AT ITER 490 NEW BEST:: SOT 100555 SOS 26204 HAS SOPS 26204 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 23888.204
AT ITER 495 NEW BEST:: SOT 100534 SOS 26126 HAS SOPS 26126 HAS SOUS 23795 HAS SOUPS 23795 WITH SCORE 23821.126
AT ITER 499 NEW BEST:: SOT 100534 SOS 26086 HAS SOPS 26086 HAS SOUS 23794 HAS SOUPS 23794 WITH SCORE 23820.086
AT ITER 502 NEW BEST:: SOT 100534 SOS 26082 HAS SOPS 26082 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23818.082
AT ITER 505 NEW BEST:: SOT 100529 SOS 26072 HAS SOPS 26072 HAS SOUS 23785 HAS SOUPS 23785 WITH SCORE 23811.072
AT ITER 509 NEW BEST:: SOT 100480 SOS 25974 HAS SOPS 25974 HAS SOUS 23735 HAS SOUPS 23735 WITH SCORE 23760.974
AT ITER 510 NEW BEST:: SOT 100449 SOS 25955 HAS SOPS 25955 HAS SOUS 23716 HAS SOUPS 23716 WITH SCORE 23741.955
AT ITER 526 NEW BEST:: SOT 100448 SOS 25953 HAS SOPS 25953 HAS SOUS 23715 HAS SOUPS 23715 WITH SCORE 23740.953
AT ITER 533 NEW BEST:: SOT 100471 SOS 25999 HAS SOPS 25999 HAS SOUS 23683 HAS SOUPS 23683 WITH SCORE 23708.999
AT ITER 608 NEW BEST:: SOT 100421 SOS 25966 HAS SOPS 25966 HAS SOUS 23664 HAS SOUPS 23664 WITH SCORE 23689.966
AT ITER 628 NEW BEST:: SOT 100421 SOS 25966 HAS SOPS 25966 HAS SOUS 23663 HAS SOUPS 23663 WITH SCORE 23688.966
AT ITER 637 NEW BEST:: SOT 100422 SOS 25968 HAS SOPS 25968 HAS SOUS 23661 HAS SOUPS 23661 WITH SCORE 23686.968
AT ITER 652 NEW BEST:: SOT 100420 SOS 25964 HAS SOPS 25964 HAS SOUS 23657 HAS SOUPS 23657 WITH SCORE 23682.964
AT ITER 661 NEW BEST:: SOT 100369 SOS 25907 HAS SOPS 25907 HAS SOUS 23606 HAS SOUPS 23606 WITH SCORE 23631.907
AT ITER 672 NEW BEST:: SOT 100369 SOS 25879 HAS SOPS 25879 HAS SOUS 23606 HAS SOUPS 23606 WITH SCORE 23631.879
AT ITER 688 NEW BEST:: SOT 100355 SOS 25851 HAS SOPS 25851 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23603.851
AT ITER 689 NEW BEST:: SOT 100355 SOS 25776 HAS SOPS 25776 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23528.776
AT ITER 710 NEW BEST:: SOT 100345 SOS 25756 HAS SOPS 25756 HAS SOUS 23483 HAS SOUPS 23483 WITH SCORE 23508.756
AT ITER 715 NEW BEST:: SOT 100336 SOS 25747 HAS SOPS 25747 HAS SOUS 23474 HAS SOUPS 23474 WITH SCORE 23499.747
AT ITER 718 NEW BEST:: SOT 100336 SOS 25722 HAS SOPS 25722 HAS SOUS 23449 HAS SOUPS 23449 WITH SCORE 23474.722
AT ITER 727 NEW BEST:: SOT 100316 SOS 25682 HAS SOPS 25682 HAS SOUS 23409 HAS SOUPS 23409 WITH SCORE 23434.682
AT ITER 731 NEW BEST:: SOT 100316 SOS 25682 HAS SOPS 25682 HAS SOUS 23389 HAS SOUPS 23389 WITH SCORE 23414.682
AT ITER 733 NEW BEST:: SOT 100316 SOS 25664 HAS SOPS 25664 HAS SOUS 23389 HAS SOUPS 23389 WITH SCORE 23414.664
AT ITER 739 NEW BEST:: SOT 100280 SOS 25592 HAS SOPS 25592 HAS SOUS 23317 HAS SOUPS 23317 WITH SCORE 23342.592
AT ITER 756 NEW BEST:: SOT 100280 SOS 25573 HAS SOPS 25573 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23323.573
AT ITER 763 NEW BEST:: SOT 100280 SOS 25565 HAS SOPS 25565 HAS SOUS 23290 HAS SOUPS 23290 WITH SCORE 23315.565
AT ITER 778 NEW BEST:: SOT 100351 SOS 25473 HAS SOPS 25473 HAS SOUS 23257 HAS SOUPS 23257 WITH SCORE 23282.473
AT ITER 791 NEW BEST:: SOT 100315 SOS 25365 HAS SOPS 25365 HAS SOUS 23185 HAS SOUPS 23185 WITH SCORE 23210.365
AT ITER 795 NEW BEST:: SOT 100277 SOS 25253 HAS SOPS 25253 HAS SOUS 23089 HAS SOUPS 23089 WITH SCORE 23114.253
AT ITER 826 NEW BEST:: SOT 100254 SOS 25171 HAS SOPS 25171 HAS SOUS 23028 HAS SOUPS 23028 WITH SCORE 23053.171
AT ITER 836 NEW BEST:: SOT 100202 SOS 25067 HAS SOPS 25067 HAS SOUS 22933 HAS SOUPS 22933 WITH SCORE 22958.067
AT ITER 850 NEW BEST:: SOT 100199 SOS 25061 HAS SOPS 25061 HAS SOUS 22927 HAS SOUPS 22927 WITH SCORE 22952.061
AT ITER 864 NEW BEST:: SOT 100175 SOS 25050 HAS SOPS 25050 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22941.05
AT ITER 881 NEW BEST:: SOT 100148 SOS 24996 HAS SOPS 24996 HAS SOUS 22862 HAS SOUPS 22862 WITH SCORE 22886.996
AT ITER 899 NEW BEST:: SOT 100105 SOS 24953 HAS SOPS 24953 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22843.953
AT ITER 904 NEW BEST:: SOT 100093 SOS 24962 HAS SOPS 24962 HAS SOUS 22812 HAS SOUPS 22812 WITH SCORE 22836.962
AT ITER 914 NEW BEST:: SOT 100087 SOS 24950 HAS SOPS 24950 HAS SOUS 22800 HAS SOUPS 22800 WITH SCORE 22824.95
AT ITER 917 NEW BEST:: SOT 100108 SOS 24541 HAS SOPS 24541 HAS SOUS 22795 HAS SOUPS 22795 WITH SCORE 22819.541
AT ITER 946 NEW BEST:: SOT 100116 SOS 24438 HAS SOPS 24438 HAS SOUS 22729 HAS SOUPS 22729 WITH SCORE 22753.438
AT ITER 964 NEW BEST:: SOT 100116 SOS 24438 HAS SOPS 24438 HAS SOUS 22675 HAS SOUPS 22675 WITH SCORE 22699.438
AT ITER 986 NEW BEST:: SOT 100116 SOS 24423 HAS SOPS 24423 HAS SOUS 22660 HAS SOUPS 22660 WITH SCORE 22684.423
AT ITER 995 NEW BEST:: SOT 100116 SOS 24423 HAS SOPS 24423 HAS SOUS 22659 HAS SOUPS 22659 WITH SCORE 22683.423
AT ITER 996 NEW BEST:: SOT 100112 SOS 24415 HAS SOPS 24415 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22668.415
AT ITER 1022 NEW BEST:: SOT 100112 SOS 24376 HAS SOPS 24376 HAS SOUS 22597 HAS SOUPS 22597 WITH SCORE 22621.376
AT ITER 1035 NEW BEST:: SOT 100097 SOS 24361 HAS SOPS 24361 HAS SOUS 22582 HAS SOUPS 22582 WITH SCORE 22606.361
AT ITER 1042 NEW BEST:: SOT 100094 SOS 24355 HAS SOPS 24355 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22600.355
AT ITER 1047 NEW BEST:: SOT 100094 SOS 24341 HAS SOPS 24341 HAS SOUS 22562 HAS SOUPS 22562 WITH SCORE 22586.341
AT ITER 1061 NEW BEST:: SOT 100094 SOS 24341 HAS SOPS 24341 HAS SOUS 22560 HAS SOUPS 22560 WITH SCORE 22584.341
AT ITER 1062 NEW BEST:: SOT 100079 SOS 24329 HAS SOPS 24329 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22569.329
AT ITER 1068 NEW BEST:: SOT 100060 SOS 24326 HAS SOPS 24326 HAS SOUS 22544 HAS SOUPS 22544 WITH SCORE 22568.326
AT ITER 1078 NEW BEST:: SOT 100067 SOS 24186 HAS SOPS 24186 HAS SOUS 22484 HAS SOUPS 22484 WITH SCORE 22508.186
AT ITER 1100 NEW BEST:: SOT 100071 SOS 24194 HAS SOPS 24194 HAS SOUS 22436 HAS SOUPS 22436 WITH SCORE 22460.194
AT ITER 1110 NEW BEST:: SOT 100071 SOS 24090 HAS SOPS 24090 HAS SOUS 22436 HAS SOUPS 22436 WITH SCORE 22460.09
AT ITER 1113 NEW BEST:: SOT 100130 SOS 23980 HAS SOPS 23980 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22410.98
AT ITER 1169 NEW BEST:: SOT 100130 SOS 23950 HAS SOPS 23950 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22380.95
AT ITER 1171 NEW BEST:: SOT 100130 SOS 23950 HAS SOPS 23950 HAS SOUS 22318 HAS SOUPS 22318 WITH SCORE 22341.95
AT ITER 1231 NEW BEST:: SOT 100115 SOS 23893 HAS SOPS 23893 HAS SOUS 22288 HAS SOUPS 22288 WITH SCORE 22311.893
AT ITER 1241 NEW BEST:: SOT 100111 SOS 23889 HAS SOPS 23889 HAS SOUS 22284 HAS SOUPS 22284 WITH SCORE 22307.889
AT ITER 1242 NEW BEST:: SOT 100053 SOS 23715 HAS SOPS 23715 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22191.715
AT ITER 1250 NEW BEST:: SOT 100053 SOS 23715 HAS SOPS 23715 HAS SOUS 22143 HAS SOUPS 22143 WITH SCORE 22166.715
AT ITER 1252 NEW BEST:: SOT 100053 SOS 23715 HAS SOPS 23715 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22142.715
AT ITER 1256 NEW BEST:: SOT 100048 SOS 23700 HAS SOPS 23700 HAS SOUS 22109 HAS SOUPS 22109 WITH SCORE 22132.7
AT ITER 1260 NEW BEST:: SOT 100059 SOS 23711 HAS SOPS 23711 HAS SOUS 22100 HAS SOUPS 22100 WITH SCORE 22123.711
AT ITER 1270 NEW BEST:: SOT 100056 SOS 23702 HAS SOPS 23702 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22117.702
AT ITER 1285 NEW BEST:: SOT 100029 SOS 23675 HAS SOPS 23675 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22090.675
AT ITER 1312 NEW BEST:: SOT 100011 SOS 23674 HAS SOPS 23674 HAS SOUS 22060 HAS SOUPS 22060 WITH SCORE 22083.674
AT ITER 1365 NEW BEST:: SOT 100014 SOS 23647 HAS SOPS 23647 HAS SOUS 22034 HAS SOUPS 22034 WITH SCORE 22057.647
AT ITER 1399 NEW BEST:: SOT 99964 SOS 23647 HAS SOPS 23647 HAS SOUS 21995 HAS SOUPS 21995 WITH SCORE 22018.647
AT ITER 1421 NEW BEST:: SOT 99961 SOS 23641 HAS SOPS 23641 HAS SOUS 21989 HAS SOUPS 21989 WITH SCORE 22012.641
AT ITER 1436 NEW BEST:: SOT 99928 SOS 23595 HAS SOPS 23595 HAS SOUS 21956 HAS SOUPS 21956 WITH SCORE 21979.595
AT ITER 1456 NEW BEST:: SOT 99864 SOS 23531 HAS SOPS 23531 HAS SOUS 21892 HAS SOUPS 21892 WITH SCORE 21915.531
AT ITER 1459 NEW BEST:: SOT 99864 SOS 23531 HAS SOPS 23531 HAS SOUS 21883 HAS SOUPS 21883 WITH SCORE 21906.531
AT ITER 1489 NEW BEST:: SOT 99847 SOS 23497 HAS SOPS 23497 HAS SOUS 21849 HAS SOUPS 21849 WITH SCORE 21872.497
AT ITER 1519 NEW BEST:: SOT 99841 SOS 23485 HAS SOPS 23485 HAS SOUS 21844 HAS SOUPS 21844 WITH SCORE 21867.485
AT ITER 1547 NEW BEST:: SOT 99849 SOS 23462 HAS SOPS 23462 HAS SOUS 21821 HAS SOUPS 21821 WITH SCORE 21844.462
AT ITER 1582 NEW BEST:: SOT 99832 SOS 23428 HAS SOPS 23428 HAS SOUS 21793 HAS SOUPS 21793 WITH SCORE 21816.428
AT ITER 1599 NEW BEST:: SOT 99798 SOS 23372 HAS SOPS 23372 HAS SOUS 21757 HAS SOUPS 21757 WITH SCORE 21780.372
AT ITER 1603 NEW BEST:: SOT 99833 SOS 23328 HAS SOPS 23328 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21775.328
AT ITER 1639 NEW BEST:: SOT 99833 SOS 23318 HAS SOPS 23318 HAS SOUS 21752 HAS SOUPS 21752 WITH SCORE 21775.318
AT ITER 1652 NEW BEST:: SOT 99842 SOS 23336 HAS SOPS 23336 HAS SOUS 21749 HAS SOUPS 21749 WITH SCORE 21772.336
AT ITER 1662 NEW BEST:: SOT 99842 SOS 23300 HAS SOPS 23300 HAS SOUS 21713 HAS SOUPS 21713 WITH SCORE 21736.3
AT ITER 1719 NEW BEST:: SOT 99836 SOS 23288 HAS SOPS 23288 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21724.288
AT ITER 1756 NEW BEST:: SOT 99824 SOS 23242 HAS SOPS 23242 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21694.242
AT ITER 1759 NEW BEST:: SOT 99804 SOS 23222 HAS SOPS 23222 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21674.222
AT ITER 1764 NEW BEST:: SOT 99776 SOS 23093 HAS SOPS 23093 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21545.093
AT ITER 1777 NEW BEST:: SOT 99775 SOS 23091 HAS SOPS 23091 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21543.091
AT ITER 1782 NEW BEST:: SOT 99775 SOS 23053 HAS SOPS 23053 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21543.053
AT ITER 1812 NEW BEST:: SOT 99860 SOS 22993 HAS SOPS 22993 HAS SOUS 21508 HAS SOUPS 21508 WITH SCORE 21530.993
AT ITER 1821 NEW BEST:: SOT 99857 SOS 22959 HAS SOPS 22959 HAS SOUS 21485 HAS SOUPS 21485 WITH SCORE 21507.959
AT ITER 1882 NEW BEST:: SOT 99857 SOS 22953 HAS SOPS 22953 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21501.953
AT ITER 1883 NEW BEST:: SOT 99857 SOS 22941 HAS SOPS 22941 HAS SOUS 21474 HAS SOUPS 21474 WITH SCORE 21496.941
AT ITER 1894 NEW BEST:: SOT 99838 SOS 22903 HAS SOPS 22903 HAS SOUS 21436 HAS SOUPS 21436 WITH SCORE 21458.903
AT ITER 1906 NEW BEST:: SOT 99830 SOS 22887 HAS SOPS 22887 HAS SOUS 21426 HAS SOUPS 21426 WITH SCORE 21448.887
AT ITER 1916 NEW BEST:: SOT 99817 SOS 22861 HAS SOPS 22861 HAS SOUS 21399 HAS SOUPS 21399 WITH SCORE 21421.861
AT ITER 1947 NEW BEST:: SOT 99846 SOS 22793 HAS SOPS 22793 HAS SOUS 21372 HAS SOUPS 21372 WITH SCORE 21394.793
AT ITER 1969 NEW BEST:: SOT 99881 SOS 22645 HAS SOPS 22645 HAS SOUS 21363 HAS SOUPS 21363 WITH SCORE 21385.645
AT ITER 1975 NEW BEST:: SOT 99866 SOS 22630 HAS SOPS 22630 HAS SOUS 21348 HAS SOUPS 21348 WITH SCORE 21370.63
AT ITER 2032 NEW BEST:: SOT 99873 SOS 22612 HAS SOPS 22612 HAS SOUS 21334 HAS SOUPS 21334 WITH SCORE 21356.612
AT ITER 2063 NEW BEST:: SOT 99857 SOS 22596 HAS SOPS 22596 HAS SOUS 21314 HAS SOUPS 21314 WITH SCORE 21336.596
AT ITER 2067 NEW BEST:: SOT 99819 SOS 22520 HAS SOPS 22520 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21298.52
AT ITER 2073 NEW BEST:: SOT 99818 SOS 22518 HAS SOPS 22518 HAS SOUS 21274 HAS SOUPS 21274 WITH SCORE 21296.518
AT ITER 2078 NEW BEST:: SOT 99818 SOS 22518 HAS SOPS 22518 HAS SOUS 21260 HAS SOUPS 21260 WITH SCORE 21282.518
AT ITER 2080 NEW BEST:: SOT 99818 SOS 22516 HAS SOPS 22516 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21280.516
AT ITER 2119 NEW BEST:: SOT 99807 SOS 22494 HAS SOPS 22494 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21258.494
AT ITER 2139 NEW BEST:: SOT 99801 SOS 22488 HAS SOPS 22488 HAS SOUS 21230 HAS SOUPS 21230 WITH SCORE 21252.488
AT ITER 2172 NEW BEST:: SOT 99792 SOS 22488 HAS SOPS 22488 HAS SOUS 21221 HAS SOUPS 21221 WITH SCORE 21243.488
AT ITER 2174 NEW BEST:: SOT 99792 SOS 22486 HAS SOPS 22486 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21230.486
AT ITER 2178 NEW BEST:: SOT 99785 SOS 22472 HAS SOPS 22472 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21216.472
AT ITER 2185 NEW BEST:: SOT 99777 SOS 22456 HAS SOPS 22456 HAS SOUS 21178 HAS SOUPS 21178 WITH SCORE 21200.456
AT ITER 2193 NEW BEST:: SOT 99794 SOS 22490 HAS SOPS 22490 HAS SOUS 21166 HAS SOUPS 21166 WITH SCORE 21188.49
AT ITER 2205 NEW BEST:: SOT 99794 SOS 22490 HAS SOPS 22490 HAS SOUS 21161 HAS SOUPS 21161 WITH SCORE 21183.49
AT ITER 2213 NEW BEST:: SOT 99790 SOS 22482 HAS SOPS 22482 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21175.482
AT ITER 2214 NEW BEST:: SOT 99780 SOS 22472 HAS SOPS 22472 HAS SOUS 21143 HAS SOUPS 21143 WITH SCORE 21165.472
AT ITER 2258 NEW BEST:: SOT 99770 SOS 22642 HAS SOPS 22642 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21143.642
AT ITER 2318 NEW BEST:: SOT 99767 SOS 22636 HAS SOPS 22636 HAS SOUS 21115 HAS SOUPS 21115 WITH SCORE 21137.636
AT ITER 2341 NEW BEST:: SOT 99723 SOS 22579 HAS SOPS 22579 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21080.579
AT ITER 2361 NEW BEST:: SOT 99715 SOS 22563 HAS SOPS 22563 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21064.563
AT ITER 2367 NEW BEST:: SOT 99704 SOS 22541 HAS SOPS 22541 HAS SOUS 21020 HAS SOUPS 21020 WITH SCORE 21042.541
AT ITER 2387 NEW BEST:: SOT 99696 SOS 22529 HAS SOPS 22529 HAS SOUS 21005 HAS SOUPS 21005 WITH SCORE 21027.529
AT ITER 2455 NEW BEST:: SOT 99680 SOS 22500 HAS SOPS 22500 HAS SOUS 20989 HAS SOUPS 20989 WITH SCORE 21011.5
AT ITER 2462 NEW BEST:: SOT 99679 SOS 22498 HAS SOPS 22498 HAS SOUS 20987 HAS SOUPS 20987 WITH SCORE 21009.498
AT ITER 2544 NEW BEST:: SOT 99667 SOS 22474 HAS SOPS 22474 HAS SOUS 20963 HAS SOUPS 20963 WITH SCORE 20985.474
AT ITER 2546 NEW BEST:: SOT 99667 SOS 22410 HAS SOPS 22410 HAS SOUS 20931 HAS SOUPS 20931 WITH SCORE 20953.41
AT ITER 2551 NEW BEST:: SOT 99670 SOS 22392 HAS SOPS 22392 HAS SOUS 20925 HAS SOUPS 20925 WITH SCORE 20947.392
AT ITER 2650 NEW BEST:: SOT 99670 SOS 22392 HAS SOPS 22392 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20946.392
AT ITER 2738 NEW BEST:: SOT 99670 SOS 22388 HAS SOPS 22388 HAS SOUS 20924 HAS SOUPS 20924 WITH SCORE 20946.388
AT ITER 2744 NEW BEST:: SOT 99693 SOS 22434 HAS SOPS 22434 HAS SOUS 20906 HAS SOUPS 20906 WITH SCORE 20928.434
AT ITER 2787 NEW BEST:: SOT 99743 SOS 22475 HAS SOPS 22475 HAS SOUS 20903 HAS SOUPS 20903 WITH SCORE 20925.475
AT ITER 2822 NEW BEST:: SOT 99740 SOS 22469 HAS SOPS 22469 HAS SOUS 20897 HAS SOUPS 20897 WITH SCORE 20919.469
AT ITER 2931 NEW BEST:: SOT 99728 SOS 22457 HAS SOPS 22457 HAS SOUS 20892 HAS SOUPS 20892 WITH SCORE 20914.457
AT ITER 2977 NEW BEST:: SOT 99724 SOS 22441 HAS SOPS 22441 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20906.441
AT ITER 2989 NEW BEST:: SOT 99720 SOS 22433 HAS SOPS 22433 HAS SOUS 20876 HAS SOUPS 20876 WITH SCORE 20898.433
AT ITER 3025 NEW BEST:: SOT 99720 SOS 22418 HAS SOPS 22418 HAS SOUS 20876 HAS SOUPS 20876 WITH SCORE 20898.418
AT ITER 3027 NEW BEST:: SOT 99738 SOS 22454 HAS SOPS 22454 HAS SOUS 20875 HAS SOUPS 20875 WITH SCORE 20897.454
AT ITER 3034 NEW BEST:: SOT 99738 SOS 22454 HAS SOPS 22454 HAS SOUS 20865 HAS SOUPS 20865 WITH SCORE 20887.454
AT ITER 3040 NEW BEST:: SOT 99731 SOS 22440 HAS SOPS 22440 HAS SOUS 20851 HAS SOUPS 20851 WITH SCORE 20873.44
AT ITER 3077 NEW BEST:: SOT 99727 SOS 22436 HAS SOPS 22436 HAS SOUS 20847 HAS SOUPS 20847 WITH SCORE 20869.436
AT ITER 3091 NEW BEST:: SOT 99725 SOS 22428 HAS SOPS 22428 HAS SOUS 20843 HAS SOUPS 20843 WITH SCORE 20865.428
AT ITER 3118 NEW BEST:: SOT 99707 SOS 22392 HAS SOPS 22392 HAS SOUS 20843 HAS SOUPS 20843 WITH SCORE 20865.392
AT ITER 3133 NEW BEST:: SOT 99701 SOS 22384 HAS SOPS 22384 HAS SOUS 20840 HAS SOUPS 20840 WITH SCORE 20862.384
AT ITER 3134 NEW BEST:: SOT 99701 SOS 22367 HAS SOPS 22367 HAS SOUS 20840 HAS SOUPS 20840 WITH SCORE 20862.367
AT ITER 3149 NEW BEST:: SOT 99696 SOS 22357 HAS SOPS 22357 HAS SOUS 20830 HAS SOUPS 20830 WITH SCORE 20852.357
AT ITER 3159 NEW BEST:: SOT 99691 SOS 22287 HAS SOPS 22287 HAS SOUS 20809 HAS SOUPS 20809 WITH SCORE 20831.287
AT ITER 3186 NEW BEST:: SOT 99704 SOS 22300 HAS SOPS 22300 HAS SOUS 20797 HAS SOUPS 20797 WITH SCORE 20819.3
AT ITER 3267 NEW BEST:: SOT 99702 SOS 22296 HAS SOPS 22296 HAS SOUS 20790 HAS SOUPS 20790 WITH SCORE 20812.296
AT ITER 3271 NEW BEST:: SOT 99707 SOS 22248 HAS SOPS 22248 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20788.248
AT ITER 3275 NEW BEST:: SOT 99694 SOS 22242 HAS SOPS 22242 HAS SOUS 20762 HAS SOUPS 20762 WITH SCORE 20784.242
AT ITER 3303 NEW BEST:: SOT 99694 SOS 22242 HAS SOPS 22242 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20728.242
AT ITER 3318 NEW BEST:: SOT 99694 SOS 22232 HAS SOPS 22232 HAS SOUS 20706 HAS SOUPS 20706 WITH SCORE 20728.232
AT ITER 3336 NEW BEST:: SOT 99696 SOS 22208 HAS SOPS 22208 HAS SOUS 20694 HAS SOUPS 20694 WITH SCORE 20716.208
AT ITER 3373 NEW BEST:: SOT 99692 SOS 22195 HAS SOPS 22195 HAS SOUS 20685 HAS SOUPS 20685 WITH SCORE 20707.195
AT ITER 3427 NEW BEST:: SOT 99585 SOS 22130 HAS SOPS 22130 HAS SOUS 20578 HAS SOUPS 20578 WITH SCORE 20600.13
AT ITER 3463 NEW BEST:: SOT 99578 SOS 22102 HAS SOPS 22102 HAS SOUS 20564 HAS SOUPS 20564 WITH SCORE 20586.102
AT ITER 3469 NEW BEST:: SOT 99573 SOS 22087 HAS SOPS 22087 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20576.087
AT ITER 3534 NEW BEST:: SOT 99575 SOS 22091 HAS SOPS 22091 HAS SOUS 20530 HAS SOUPS 20530 WITH SCORE 20552.091
AT ITER 3543 NEW BEST:: SOT 99546 SOS 22064 HAS SOPS 22064 HAS SOUS 20508 HAS SOUPS 20508 WITH SCORE 20530.064
AT ITER 3561 NEW BEST:: SOT 99546 SOS 22019 HAS SOPS 22019 HAS SOUS 20498 HAS SOUPS 20498 WITH SCORE 20520.019
AT ITER 3562 NEW BEST:: SOT 99530 SOS 21879 HAS SOPS 21879 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20510.879
AT ITER 3613 NEW BEST:: SOT 99515 SOS 21849 HAS SOPS 21849 HAS SOUS 20459 HAS SOUPS 20459 WITH SCORE 20480.849
AT ITER 3616 NEW BEST:: SOT 99515 SOS 21825 HAS SOPS 21825 HAS SOUS 20406 HAS SOUPS 20406 WITH SCORE 20427.825
AT ITER 3629 NEW BEST:: SOT 99501 SOS 21819 HAS SOPS 21819 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20419.819
AT ITER 3631 NEW BEST:: SOT 99466 SOS 21797 HAS SOPS 21797 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20391.797
AT ITER 3669 NEW BEST:: SOT 99454 SOS 21788 HAS SOPS 21788 HAS SOUS 20361 HAS SOUPS 20361 WITH SCORE 20382.788
AT ITER 3671 NEW BEST:: SOT 99450 SOS 21780 HAS SOPS 21780 HAS SOUS 20353 HAS SOUPS 20353 WITH SCORE 20374.78
AT ITER 3676 NEW BEST:: SOT 99448 SOS 21776 HAS SOPS 21776 HAS SOUS 20351 HAS SOUPS 20351 WITH SCORE 20372.776
AT ITER 3678 NEW BEST:: SOT 99462 SOS 21804 HAS SOPS 21804 HAS SOUS 20348 HAS SOUPS 20348 WITH SCORE 20369.804
AT ITER 3686 NEW BEST:: SOT 99444 SOS 21801 HAS SOPS 21801 HAS SOUS 20345 HAS SOUPS 20345 WITH SCORE 20366.801
AT ITER 3692 NEW BEST:: SOT 99410 SOS 21740 HAS SOPS 21740 HAS SOUS 20299 HAS SOUPS 20299 WITH SCORE 20320.74
AT ITER 3699 NEW BEST:: SOT 99386 SOS 21667 HAS SOPS 21667 HAS SOUS 20233 HAS SOUPS 20233 WITH SCORE 20254.667
AT ITER 3702 NEW BEST:: SOT 99386 SOS 21658 HAS SOPS 21658 HAS SOUS 20224 HAS SOUPS 20224 WITH SCORE 20245.658
AT ITER 3731 NEW BEST:: SOT 99378 SOS 21634 HAS SOPS 21634 HAS SOUS 20208 HAS SOUPS 20208 WITH SCORE 20229.634
AT ITER 3781 NEW BEST:: SOT 99378 SOS 21634 HAS SOPS 21634 HAS SOUS 20199 HAS SOUPS 20199 WITH SCORE 20220.634
AT ITER 3790 NEW BEST:: SOT 99391 SOS 21576 HAS SOPS 21576 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20202.576
AT ITER 3793 NEW BEST:: SOT 99377 SOS 21548 HAS SOPS 21548 HAS SOUS 20153 HAS SOUPS 20153 WITH SCORE 20174.548
AT ITER 3842 NEW BEST:: SOT 99378 SOS 21536 HAS SOPS 21536 HAS SOUS 20141 HAS SOUPS 20141 WITH SCORE 20162.536
AT ITER 3907 NEW BEST:: SOT 99378 SOS 21534 HAS SOPS 21534 HAS SOUS 20140 HAS SOUPS 20140 WITH SCORE 20161.534
AT ITER 3948 NEW BEST:: SOT 99378 SOS 21512 HAS SOPS 21512 HAS SOUS 20129 HAS SOUPS 20129 WITH SCORE 20150.512
AT ITER 3949 NEW BEST:: SOT 99363 SOS 21482 HAS SOPS 21482 HAS SOUS 20099 HAS SOUPS 20099 WITH SCORE 20120.482
AT ITER 4003 NEW BEST:: SOT 99364 SOS 21451 HAS SOPS 21451 HAS SOUS 20095 HAS SOUPS 20095 WITH SCORE 20116.451
AT ITER 4028 NEW BEST:: SOT 99363 SOS 21453 HAS SOPS 21453 HAS SOUS 20094 HAS SOUPS 20094 WITH SCORE 20115.453
AT ITER 4034 NEW BEST:: SOT 99367 SOS 21424 HAS SOPS 21424 HAS SOUS 20065 HAS SOUPS 20065 WITH SCORE 20086.424
AT ITER 4107 NEW BEST:: SOT 99367 SOS 21407 HAS SOPS 21407 HAS SOUS 20048 HAS SOUPS 20048 WITH SCORE 20069.407
AT ITER 4123 NEW BEST:: SOT 99367 SOS 21407 HAS SOPS 21407 HAS SOUS 20036 HAS SOUPS 20036 WITH SCORE 20057.407
AT ITER 4126 NEW BEST:: SOT 99329 SOS 21406 HAS SOPS 21406 HAS SOUS 20035 HAS SOUPS 20035 WITH SCORE 20056.406
AT ITER 4137 NEW BEST:: SOT 99325 SOS 21402 HAS SOPS 21402 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20052.402
AT ITER 4158 NEW BEST:: SOT 99313 SOS 21390 HAS SOPS 21390 HAS SOUS 20019 HAS SOUPS 20019 WITH SCORE 20040.39
AT ITER 4176 NEW BEST:: SOT 99312 SOS 21389 HAS SOPS 21389 HAS SOUS 20017 HAS SOUPS 20017 WITH SCORE 20038.389
AT ITER 4268 NEW BEST:: SOT 99302 SOS 21369 HAS SOPS 21369 HAS SOUS 20013 HAS SOUPS 20013 WITH SCORE 20034.369
AT ITER 4279 NEW BEST:: SOT 99294 SOS 21353 HAS SOPS 21353 HAS SOUS 20005 HAS SOUPS 20005 WITH SCORE 20026.353
AT ITER 4305 NEW BEST:: SOT 99293 SOS 21352 HAS SOPS 21352 HAS SOUS 20004 HAS SOUPS 20004 WITH SCORE 20025.352
AT ITER 4343 NEW BEST:: SOT 99217 SOS 21337 HAS SOPS 21337 HAS SOUS 19989 HAS SOUPS 19989 WITH SCORE 20010.337
AT ITER 4347 NEW BEST:: SOT 99217 SOS 21337 HAS SOPS 21337 HAS SOUS 19981 HAS SOUPS 19981 WITH SCORE 20002.337
AT ITER 4350 NEW BEST:: SOT 99214 SOS 21331 HAS SOPS 21331 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 19996.331
AT ITER 4387 NEW BEST:: SOT 99203 SOS 21307 HAS SOPS 21307 HAS SOUS 19953 HAS SOUPS 19953 WITH SCORE 19974.307
AT ITER 4395 NEW BEST:: SOT 99200 SOS 21259 HAS SOPS 21259 HAS SOUS 19926 HAS SOUPS 19926 WITH SCORE 19947.259
AT ITER 4396 NEW BEST:: SOT 99183 SOS 21225 HAS SOPS 21225 HAS SOUS 19892 HAS SOUPS 19892 WITH SCORE 19913.225
AT ITER 4447 NEW BEST:: SOT 99179 SOS 21213 HAS SOPS 21213 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19901.213
AT ITER 4503 NEW BEST:: SOT 99179 SOS 21175 HAS SOPS 21175 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19901.175
AT ITER 4558 NEW BEST:: SOT 99174 SOS 21160 HAS SOPS 21160 HAS SOUS 19865 HAS SOUPS 19865 WITH SCORE 19886.16
AT ITER 4590 NEW BEST:: SOT 99169 SOS 21150 HAS SOPS 21150 HAS SOUS 19855 HAS SOUPS 19855 WITH SCORE 19876.15
AT ITER 4592 NEW BEST:: SOT 99175 SOS 22007 HAS SOPS 22007 HAS SOUS 19850 HAS SOUPS 19850 WITH SCORE 19872.007
AT ITER 4605 NEW BEST:: SOT 99174 SOS 22002 HAS SOPS 22002 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19867.002
AT ITER 4629 NEW BEST:: SOT 99173 SOS 22000 HAS SOPS 22000 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19865.0
AT ITER 4638 NEW BEST:: SOT 99153 SOS 22034 HAS SOPS 22034 HAS SOUS 19840 HAS SOUPS 19840 WITH SCORE 19862.034
AT ITER 4685 NEW BEST:: SOT 99153 SOS 22030 HAS SOPS 22030 HAS SOUS 19836 HAS SOUPS 19836 WITH SCORE 19858.03
AT ITER 4751 NEW BEST:: SOT 99153 SOS 21989 HAS SOPS 21989 HAS SOUS 19836 HAS SOUPS 19836 WITH SCORE 19857.989
AT ITER 4766 NEW BEST:: SOT 99154 SOS 21988 HAS SOPS 21988 HAS SOUS 19835 HAS SOUPS 19835 WITH SCORE 19856.988
AT ITER 4783 NEW BEST:: SOT 99156 SOS 21992 HAS SOPS 21992 HAS SOUS 19827 HAS SOUPS 19827 WITH SCORE 19848.992
AT ITER 4793 NEW BEST:: SOT 99162 SOS 21991 HAS SOPS 21991 HAS SOUS 19826 HAS SOUPS 19826 WITH SCORE 19847.991
AT ITER 4811 NEW BEST:: SOT 99138 SOS 21980 HAS SOPS 21980 HAS SOUS 19802 HAS SOUPS 19802 WITH SCORE 19823.98
AT ITER 4862 NEW BEST:: SOT 99134 SOS 21972 HAS SOPS 21972 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19815.972
AT ITER 4873 NEW BEST:: SOT 99127 SOS 21958 HAS SOPS 21958 HAS SOUS 19780 HAS SOUPS 19780 WITH SCORE 19801.958
AT ITER 4882 NEW BEST:: SOT 99142 SOS 21954 HAS SOPS 21954 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19797.954
AT ITER 4937 NEW BEST:: SOT 99135 SOS 21940 HAS SOPS 21940 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19790.94
AT ITER 4978 NEW BEST:: SOT 99106 SOS 21930 HAS SOPS 21930 HAS SOUS 19759 HAS SOUPS 19759 WITH SCORE 19780.93
AT ITER 4979 NEW BEST:: SOT 99102 SOS 21926 HAS SOPS 21926 HAS SOUS 19755 HAS SOUPS 19755 WITH SCORE 19776.926
AT ITER 4989 NEW BEST:: SOT 99102 SOS 21910 HAS SOPS 21910 HAS SOUS 19739 HAS SOUPS 19739 WITH SCORE 19760.91
AT ITER 4993 NEW BEST:: SOT 99087 SOS 21880 HAS SOPS 21880 HAS SOUS 19709 HAS SOUPS 19709 WITH SCORE 19730.88
AT ITER 5034 NEW BEST:: SOT 99086 SOS 21878 HAS SOPS 21878 HAS SOUS 19707 HAS SOUPS 19707 WITH SCORE 19728.878
AT ITER 5077 NEW BEST:: SOT 99064 SOS 21834 HAS SOPS 21834 HAS SOUS 19685 HAS SOUPS 19685 WITH SCORE 19706.834
AT ITER 5110 NEW BEST:: SOT 99064 SOS 21787 HAS SOPS 21787 HAS SOUS 19648 HAS SOUPS 19648 WITH SCORE 19669.787
AT ITER 5142 NEW BEST:: SOT 99059 SOS 21777 HAS SOPS 21777 HAS SOUS 19643 HAS SOUPS 19643 WITH SCORE 19664.777
AT ITER 5167 NEW BEST:: SOT 99060 SOS 21776 HAS SOPS 21776 HAS SOUS 19642 HAS SOUPS 19642 WITH SCORE 19663.776
AT ITER 5178 NEW BEST:: SOT 99059 SOS 21774 HAS SOPS 21774 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19661.774
AT ITER 5179 NEW BEST:: SOT 99055 SOS 21766 HAS SOPS 21766 HAS SOUS 19632 HAS SOUPS 19632 WITH SCORE 19653.766
AT ITER 5186 NEW BEST:: SOT 99034 SOS 21752 HAS SOPS 21752 HAS SOUS 19590 HAS SOUPS 19590 WITH SCORE 19611.752
AT ITER 5210 NEW BEST:: SOT 99031 SOS 21746 HAS SOPS 21746 HAS SOUS 19583 HAS SOUPS 19583 WITH SCORE 19604.746
AT ITER 5214 NEW BEST:: SOT 99031 SOS 21746 HAS SOPS 21746 HAS SOUS 19575 HAS SOUPS 19575 WITH SCORE 19596.746
AT ITER 5224 NEW BEST:: SOT 99031 SOS 21713 HAS SOPS 21713 HAS SOUS 19575 HAS SOUPS 19575 WITH SCORE 19596.713
AT ITER 5270 NEW BEST:: SOT 99035 SOS 21683 HAS SOPS 21683 HAS SOUS 19561 HAS SOUPS 19561 WITH SCORE 19582.683
AT ITER 5278 NEW BEST:: SOT 99034 SOS 21691 HAS SOPS 21691 HAS SOUS 19560 HAS SOUPS 19560 WITH SCORE 19581.691
AT ITER 5299 NEW BEST:: SOT 99034 SOS 21657 HAS SOPS 21657 HAS SOUS 19526 HAS SOUPS 19526 WITH SCORE 19547.657
AT ITER 5340 NEW BEST:: SOT 99034 SOS 21655 HAS SOPS 21655 HAS SOUS 19525 HAS SOUPS 19525 WITH SCORE 19546.655
AT ITER 5348 NEW BEST:: SOT 99034 SOS 21655 HAS SOPS 21655 HAS SOUS 19522 HAS SOUPS 19522 WITH SCORE 19543.655
AT ITER 5386 NEW BEST:: SOT 99034 SOS 21654 HAS SOPS 21654 HAS SOUS 19521 HAS SOUPS 19521 WITH SCORE 19542.654
AT ITER 5390 NEW BEST:: SOT 99007 SOS 21600 HAS SOPS 21600 HAS SOUS 19467 HAS SOUPS 19467 WITH SCORE 19488.6
AT ITER 5402 NEW BEST:: SOT 98966 SOS 21544 HAS SOPS 21544 HAS SOUS 19411 HAS SOUPS 19411 WITH SCORE 19432.544
AT ITER 5423 NEW BEST:: SOT 98939 SOS 21406 HAS SOPS 21406 HAS SOUS 19351 HAS SOUPS 19351 WITH SCORE 19372.406
AT ITER 5428 NEW BEST:: SOT 98874 SOS 21284 HAS SOPS 21284 HAS SOUS 19286 HAS SOUPS 19286 WITH SCORE 19307.284
AT ITER 5433 NEW BEST:: SOT 98873 SOS 21282 HAS SOPS 21282 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19306.282
AT ITER 5439 NEW BEST:: SOT 98878 SOS 21240 HAS SOPS 21240 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19287.24
AT ITER 5465 NEW BEST:: SOT 98878 SOS 21214 HAS SOPS 21214 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19287.214
AT ITER 5478 NEW BEST:: SOT 98871 SOS 21200 HAS SOPS 21200 HAS SOUS 19252 HAS SOUPS 19252 WITH SCORE 19273.2
AT ITER 5484 NEW BEST:: SOT 98866 SOS 21200 HAS SOPS 21200 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19271.2
AT ITER 5540 NEW BEST:: SOT 98769 SOS 21115 HAS SOPS 21115 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19186.115
AT ITER 5563 NEW BEST:: SOT 98777 SOS 21071 HAS SOPS 21071 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19164.071
AT ITER 5583 NEW BEST:: SOT 98780 SOS 21067 HAS SOPS 21067 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19161.067
AT ITER 5609 NEW BEST:: SOT 98780 SOS 21042 HAS SOPS 21042 HAS SOUS 19140 HAS SOUPS 19140 WITH SCORE 19161.042
AT ITER 5621 NEW BEST:: SOT 98759 SOS 21000 HAS SOPS 21000 HAS SOUS 19098 HAS SOUPS 19098 WITH SCORE 19119.0
AT ITER 5624 NEW BEST:: SOT 98727 SOS 20936 HAS SOPS 20936 HAS SOUS 19040 HAS SOUPS 19040 WITH SCORE 19060.936
AT ITER 5666 NEW BEST:: SOT 98762 SOS 20870 HAS SOPS 20870 HAS SOUS 19006 HAS SOUPS 19006 WITH SCORE 19026.87
AT ITER 5682 NEW BEST:: SOT 98761 SOS 20868 HAS SOPS 20868 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19024.868
AT ITER 5689 NEW BEST:: SOT 98752 SOS 20850 HAS SOPS 20850 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19015.85
AT ITER 5739 NEW BEST:: SOT 98749 SOS 20844 HAS SOPS 20844 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19012.844
AT ITER 5748 NEW BEST:: SOT 98747 SOS 20840 HAS SOPS 20840 HAS SOUS 18988 HAS SOUPS 18988 WITH SCORE 19008.84
AT ITER 5756 NEW BEST:: SOT 98747 SOS 20840 HAS SOPS 20840 HAS SOUS 18984 HAS SOUPS 18984 WITH SCORE 19004.84
AT ITER 5758 NEW BEST:: SOT 98747 SOS 20840 HAS SOPS 20840 HAS SOUS 18983 HAS SOUPS 18983 WITH SCORE 19003.84
AT ITER 5776 NEW BEST:: SOT 98733 SOS 20826 HAS SOPS 20826 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18989.826
AT ITER 5815 NEW BEST:: SOT 98733 SOS 20822 HAS SOPS 20822 HAS SOUS 18965 HAS SOUPS 18965 WITH SCORE 18985.822
AT ITER 5822 NEW BEST:: SOT 98727 SOS 20810 HAS SOPS 20810 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 18973.81
AT ITER 5863 NEW BEST:: SOT 98725 SOS 20806 HAS SOPS 20806 HAS SOUS 18951 HAS SOUPS 18951 WITH SCORE 18971.806
AT ITER 5868 NEW BEST:: SOT 98725 SOS 20806 HAS SOPS 20806 HAS SOUS 18950 HAS SOUPS 18950 WITH SCORE 18970.806
AT ITER 5882 NEW BEST:: SOT 98767 SOS 20794 HAS SOPS 20794 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18958.794
AT ITER 5919 NEW BEST:: SOT 98685 SOS 20730 HAS SOPS 20730 HAS SOUS 18874 HAS SOUPS 18874 WITH SCORE 18894.73
AT ITER 5998 NEW BEST:: SOT 98663 SOS 20566 HAS SOPS 20566 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18833.566
AT ITER 6012 NEW BEST:: SOT 98663 SOS 20566 HAS SOPS 20566 HAS SOUS 18808 HAS SOUPS 18808 WITH SCORE 18828.566
AT ITER 6021 NEW BEST:: SOT 98645 SOS 20548 HAS SOPS 20548 HAS SOUS 18790 HAS SOUPS 18790 WITH SCORE 18810.548
AT ITER 6035 NEW BEST:: SOT 98645 SOS 20548 HAS SOPS 20548 HAS SOUS 18788 HAS SOUPS 18788 WITH SCORE 18808.548
AT ITER 6077 NEW BEST:: SOT 98625 SOS 20508 HAS SOPS 20508 HAS SOUS 18767 HAS SOUPS 18767 WITH SCORE 18787.508
AT ITER 6123 NEW BEST:: SOT 98611 SOS 20480 HAS SOPS 20480 HAS SOUS 18736 HAS SOUPS 18736 WITH SCORE 18756.48
AT ITER 6154 NEW BEST:: SOT 98611 SOS 20459 HAS SOPS 20459 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18737.459
AT ITER 6161 NEW BEST:: SOT 98611 SOS 20459 HAS SOPS 20459 HAS SOUS 18708 HAS SOUPS 18708 WITH SCORE 18728.459
AT ITER 6164 NEW BEST:: SOT 98611 SOS 20459 HAS SOPS 20459 HAS SOUS 18688 HAS SOUPS 18688 WITH SCORE 18708.459
AT ITER 6270 NEW BEST:: SOT 98611 SOS 20459 HAS SOPS 20459 HAS SOUS 18681 HAS SOUPS 18681 WITH SCORE 18701.459
AT ITER 6295 NEW BEST:: SOT 98597 SOS 20431 HAS SOPS 20431 HAS SOUS 18659 HAS SOUPS 18659 WITH SCORE 18679.431
AT ITER 6307 NEW BEST:: SOT 98596 SOS 20425 HAS SOPS 20425 HAS SOUS 18653 HAS SOUPS 18653 WITH SCORE 18673.425
AT ITER 6349 NEW BEST:: SOT 98595 SOS 20423 HAS SOPS 20423 HAS SOUS 18651 HAS SOUPS 18651 WITH SCORE 18671.423
AT ITER 6364 NEW BEST:: SOT 98597 SOS 20427 HAS SOPS 20427 HAS SOUS 18650 HAS SOUPS 18650 WITH SCORE 18670.427
AT ITER 6393 NEW BEST:: SOT 98591 SOS 20415 HAS SOPS 20415 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18658.415
AT ITER 6395 NEW BEST:: SOT 98561 SOS 20355 HAS SOPS 20355 HAS SOUS 18608 HAS SOUPS 18608 WITH SCORE 18628.355
AT ITER 6432 NEW BEST:: SOT 98561 SOS 20323 HAS SOPS 20323 HAS SOUS 18592 HAS SOUPS 18592 WITH SCORE 18612.323
AT ITER 6444 NEW BEST:: SOT 98559 SOS 20319 HAS SOPS 20319 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18609.319
AT ITER 6447 NEW BEST:: SOT 98551 SOS 20303 HAS SOPS 20303 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18593.303
AT ITER 6464 NEW BEST:: SOT 98551 SOS 20253 HAS SOPS 20253 HAS SOUS 18550 HAS SOUPS 18550 WITH SCORE 18570.253
AT ITER 6489 NEW BEST:: SOT 98550 SOS 20252 HAS SOPS 20252 HAS SOUS 18549 HAS SOUPS 18549 WITH SCORE 18569.252
AT ITER 6599 NEW BEST:: SOT 98536 SOS 20244 HAS SOPS 20244 HAS SOUS 18541 HAS SOUPS 18541 WITH SCORE 18561.244
AT ITER 6603 NEW BEST:: SOT 98537 SOS 20228 HAS SOPS 20228 HAS SOUS 18525 HAS SOUPS 18525 WITH SCORE 18545.228
AT ITER 6622 NEW BEST:: SOT 98536 SOS 20226 HAS SOPS 20226 HAS SOUS 18523 HAS SOUPS 18523 WITH SCORE 18543.226
AT ITER 6670 NEW BEST:: SOT 98521 SOS 20300 HAS SOPS 20300 HAS SOUS 18520 HAS SOUPS 18520 WITH SCORE 18540.3
AT ITER 6708 NEW BEST:: SOT 98522 SOS 20291 HAS SOPS 20291 HAS SOUS 18511 HAS SOUPS 18511 WITH SCORE 18531.291
AT ITER 6714 NEW BEST:: SOT 98522 SOS 20201 HAS SOPS 20201 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18527.201
AT ITER 6745 NEW BEST:: SOT 98520 SOS 20199 HAS SOPS 20199 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18525.199
AT ITER 6776 NEW BEST:: SOT 98529 SOS 20210 HAS SOPS 20210 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18520.21
AT ITER 6799 NEW BEST:: SOT 98529 SOS 20210 HAS SOPS 20210 HAS SOUS 18492 HAS SOUPS 18492 WITH SCORE 18512.21
AT ITER 6814 NEW BEST:: SOT 98537 SOS 20218 HAS SOPS 20218 HAS SOUS 18478 HAS SOUPS 18478 WITH SCORE 18498.218
AT ITER 6819 NEW BEST:: SOT 98537 SOS 20193 HAS SOPS 20193 HAS SOUS 18458 HAS SOUPS 18458 WITH SCORE 18478.193
AT ITER 6845 NEW BEST:: SOT 98537 SOS 20193 HAS SOPS 20193 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18453.193
AT ITER 6886 NEW BEST:: SOT 98526 SOS 20182 HAS SOPS 20182 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18447.182
AT ITER 6891 NEW BEST:: SOT 98526 SOS 20182 HAS SOPS 20182 HAS SOUS 18414 HAS SOUPS 18414 WITH SCORE 18434.182
AT ITER 6963 NEW BEST:: SOT 98521 SOS 20172 HAS SOPS 20172 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18432.172
AT ITER 7031 NEW BEST:: SOT 98502 SOS 20134 HAS SOPS 20134 HAS SOUS 18374 HAS SOUPS 18374 WITH SCORE 18394.134
AT ITER 7080 NEW BEST:: SOT 98498 SOS 20126 HAS SOPS 20126 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18386.126
AT ITER 7088 NEW BEST:: SOT 98498 SOS 20124 HAS SOPS 20124 HAS SOUS 18364 HAS SOUPS 18364 WITH SCORE 18384.124
AT ITER 7096 NEW BEST:: SOT 98498 SOS 20120 HAS SOPS 20120 HAS SOUS 18362 HAS SOUPS 18362 WITH SCORE 18382.12
AT ITER 7111 NEW BEST:: SOT 98508 SOS 20140 HAS SOPS 20140 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18375.14
AT ITER 7201 NEW BEST:: SOT 98508 SOS 20140 HAS SOPS 20140 HAS SOUS 18354 HAS SOUPS 18354 WITH SCORE 18374.14
AT ITER 7209 NEW BEST:: SOT 98511 SOS 20125 HAS SOPS 20125 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18359.125
AT ITER 7257 NEW BEST:: SOT 98507 SOS 20117 HAS SOPS 20117 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18355.117
AT ITER 7292 NEW BEST:: SOT 98519 SOS 20122 HAS SOPS 20122 HAS SOUS 18333 HAS SOUPS 18333 WITH SCORE 18353.122
AT ITER 7295 NEW BEST:: SOT 98533 SOS 20058 HAS SOPS 20058 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18335.058
AT ITER 7314 NEW BEST:: SOT 98537 SOS 20050 HAS SOPS 20050 HAS SOUS 18307 HAS SOUPS 18307 WITH SCORE 18327.05
AT ITER 7349 NEW BEST:: SOT 98542 SOS 20004 HAS SOPS 20004 HAS SOUS 18261 HAS SOUPS 18261 WITH SCORE 18281.004
AT ITER 7370 NEW BEST:: SOT 98498 SOS 19960 HAS SOPS 19960 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18236.96
AT ITER 7395 NEW BEST:: SOT 98498 SOS 19960 HAS SOPS 19960 HAS SOUS 18204 HAS SOUPS 18204 WITH SCORE 18223.96
AT ITER 7501 NEW BEST:: SOT 98490 SOS 19953 HAS SOPS 19953 HAS SOUS 18202 HAS SOUPS 18202 WITH SCORE 18221.953
AT ITER 7545 NEW BEST:: SOT 98552 SOS 19893 HAS SOPS 19893 HAS SOUS 18172 HAS SOUPS 18172 WITH SCORE 18191.893
AT ITER 7563 NEW BEST:: SOT 98552 SOS 19893 HAS SOPS 19893 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18159.893
AT ITER 7564 NEW BEST:: SOT 98548 SOS 19885 HAS SOPS 19885 HAS SOUS 18132 HAS SOUPS 18132 WITH SCORE 18151.885
AT ITER 7565 NEW BEST:: SOT 98545 SOS 19879 HAS SOPS 19879 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18145.879
AT ITER 7578 NEW BEST:: SOT 98545 SOS 19877 HAS SOPS 19877 HAS SOUS 18125 HAS SOUPS 18125 WITH SCORE 18144.877
AT ITER 7590 NEW BEST:: SOT 98545 SOS 19868 HAS SOPS 19868 HAS SOUS 18125 HAS SOUPS 18125 WITH SCORE 18144.868
AT ITER 7604 NEW BEST:: SOT 98545 SOS 19851 HAS SOPS 19851 HAS SOUS 18108 HAS SOUPS 18108 WITH SCORE 18127.851
AT ITER 7612 NEW BEST:: SOT 98541 SOS 19844 HAS SOPS 19844 HAS SOUS 18101 HAS SOUPS 18101 WITH SCORE 18120.844
AT ITER 7670 NEW BEST:: SOT 98534 SOS 19828 HAS SOPS 19828 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18104.828
AT ITER 7697 NEW BEST:: SOT 98529 SOS 19792 HAS SOPS 19792 HAS SOUS 18075 HAS SOUPS 18075 WITH SCORE 18094.792
AT ITER 7720 NEW BEST:: SOT 98522 SOS 19762 HAS SOPS 19762 HAS SOUS 18056 HAS SOUPS 18056 WITH SCORE 18075.762
AT ITER 7778 NEW BEST:: SOT 98522 SOS 19762 HAS SOPS 19762 HAS SOUS 18050 HAS SOUPS 18050 WITH SCORE 18069.762
AT ITER 7780 NEW BEST:: SOT 98541 SOS 19714 HAS SOPS 19714 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18050.714
AT ITER 7784 NEW BEST:: SOT 98541 SOS 19714 HAS SOPS 19714 HAS SOUS 18030 HAS SOUPS 18030 WITH SCORE 18049.714
AT ITER 7790 NEW BEST:: SOT 98540 SOS 19712 HAS SOPS 19712 HAS SOUS 18028 HAS SOUPS 18028 WITH SCORE 18047.712
AT ITER 7827 NEW BEST:: SOT 98538 SOS 19710 HAS SOPS 19710 HAS SOUS 18026 HAS SOUPS 18026 WITH SCORE 18045.71
AT ITER 7836 NEW BEST:: SOT 98541 SOS 19716 HAS SOPS 19716 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18029.716
AT ITER 7966 NEW BEST:: SOT 98543 SOS 19720 HAS SOPS 19720 HAS SOUS 18009 HAS SOUPS 18009 WITH SCORE 18028.72
AT ITER 8000 NEW BEST:: SOT 98543 SOS 19707 HAS SOPS 19707 HAS SOUS 18009 HAS SOUPS 18009 WITH SCORE 18028.707
AT ITER 8138 NEW BEST:: SOT 98543 SOS 19706 HAS SOPS 19706 HAS SOUS 18008 HAS SOUPS 18008 WITH SCORE 18027.706
AT ITER 8206 NEW BEST:: SOT 98537 SOS 19696 HAS SOPS 19696 HAS SOUS 17991 HAS SOUPS 17991 WITH SCORE 18010.696
AT ITER 8227 NEW BEST:: SOT 98528 SOS 19678 HAS SOPS 19678 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 17992.678
AT ITER 8255 NEW BEST:: SOT 98534 SOS 19688 HAS SOPS 19688 HAS SOUS 17958 HAS SOUPS 17958 WITH SCORE 17977.688
AT ITER 8256 NEW BEST:: SOT 98534 SOS 19684 HAS SOPS 19684 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 17973.684
AT ITER 8276 NEW BEST:: SOT 98534 SOS 19676 HAS SOPS 19676 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17965.676
AT ITER 8400 NEW BEST:: SOT 98525 SOS 19632 HAS SOPS 19632 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17942.632
AT ITER 8403 NEW BEST:: SOT 98523 SOS 19628 HAS SOPS 19628 HAS SOUS 17919 HAS SOUPS 17919 WITH SCORE 17938.628
AT ITER 8428 NEW BEST:: SOT 98489 SOS 19598 HAS SOPS 19598 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17937.598
AT ITER 8491 NEW BEST:: SOT 98477 SOS 19574 HAS SOPS 19574 HAS SOUS 17894 HAS SOUPS 17894 WITH SCORE 17913.574
AT ITER 8523 NEW BEST:: SOT 98483 SOS 19542 HAS SOPS 19542 HAS SOUS 17884 HAS SOUPS 17884 WITH SCORE 17903.542
AT ITER 8571 NEW BEST:: SOT 98482 SOS 19540 HAS SOPS 19540 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17901.54
AT ITER 8592 NEW BEST:: SOT 98482 SOS 19540 HAS SOPS 19540 HAS SOUS 17879 HAS SOUPS 17879 WITH SCORE 17898.54
AT ITER 8616 NEW BEST:: SOT 98483 SOS 19542 HAS SOPS 19542 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17893.542
AT ITER 8661 NEW BEST:: SOT 98483 SOS 19541 HAS SOPS 19541 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17893.541
AT ITER 8689 NEW BEST:: SOT 98483 SOS 19540 HAS SOPS 19540 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17893.54
AT ITER 8712 NEW BEST:: SOT 98483 SOS 19526 HAS SOPS 19526 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17893.526
AT ITER 8806 NEW BEST:: SOT 98499 SOS 19558 HAS SOPS 19558 HAS SOUS 17872 HAS SOUPS 17872 WITH SCORE 17891.558
AT ITER 8831 NEW BEST:: SOT 98495 SOS 19554 HAS SOPS 19554 HAS SOUS 17864 HAS SOUPS 17864 WITH SCORE 17883.554
AT ITER 8840 NEW BEST:: SOT 98495 SOS 19536 HAS SOPS 19536 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17865.536
AT ITER 8860 NEW BEST:: SOT 98493 SOS 19535 HAS SOPS 19535 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17864.535
AT ITER 8896 NEW BEST:: SOT 98475 SOS 19499 HAS SOPS 19499 HAS SOUS 17809 HAS SOUPS 17809 WITH SCORE 17828.499
AT ITER 8913 NEW BEST:: SOT 98469 SOS 19487 HAS SOPS 19487 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17816.487
AT ITER 8996 NEW BEST:: SOT 98469 SOS 19487 HAS SOPS 19487 HAS SOUS 17768 HAS SOUPS 17768 WITH SCORE 17787.487
AT ITER 9009 NEW BEST:: SOT 98524 SOS 19427 HAS SOPS 19427 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17764.427
AT ITER 9046 NEW BEST:: SOT 98522 SOS 19412 HAS SOPS 19412 HAS SOUS 17741 HAS SOUPS 17741 WITH SCORE 17760.412
AT ITER 9050 NEW BEST:: SOT 98501 SOS 19382 HAS SOPS 19382 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17708.382
AT ITER 9104 NEW BEST:: SOT 98501 SOS 19367 HAS SOPS 19367 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17708.367
AT ITER 9214 NEW BEST:: SOT 98494 SOS 19353 HAS SOPS 19353 HAS SOUS 17675 HAS SOUPS 17675 WITH SCORE 17694.353
AT ITER 9241 NEW BEST:: SOT 98490 SOS 19350 HAS SOPS 19350 HAS SOUS 17672 HAS SOUPS 17672 WITH SCORE 17691.35
AT ITER 9323 NEW BEST:: SOT 98478 SOS 19326 HAS SOPS 19326 HAS SOUS 17648 HAS SOUPS 17648 WITH SCORE 17667.326
AT ITER 9439 NEW BEST:: SOT 98460 SOS 19318 HAS SOPS 19318 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17659.318
AT ITER 9679 NEW BEST:: SOT 98425 SOS 19248 HAS SOPS 19248 HAS SOUS 17570 HAS SOUPS 17570 WITH SCORE 17589.248
AT ITER 9731 NEW BEST:: SOT 98419 SOS 19236 HAS SOPS 19236 HAS SOUS 17564 HAS SOUPS 17564 WITH SCORE 17583.236
AT ITER 9746 NEW BEST:: SOT 98417 SOS 19232 HAS SOPS 19232 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17579.232
AT ITER 9759 NEW BEST:: SOT 98417 SOS 19232 HAS SOPS 19232 HAS SOUS 17559 HAS SOUPS 17559 WITH SCORE 17578.232
AT ITER 9817 NEW BEST:: SOT 98416 SOS 19232 HAS SOPS 19232 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17577.232
AT ITER 9911 NEW BEST:: SOT 98412 SOS 19224 HAS SOPS 19224 HAS SOUS 17550 HAS SOUPS 17550 WITH SCORE 17569.224
AT ITER 9966 NEW BEST:: SOT 98411 SOS 19222 HAS SOPS 19222 HAS SOUS 17548 HAS SOUPS 17548 WITH SCORE 17567.222
AT ITER 9969 NEW BEST:: SOT 98408 SOS 19216 HAS SOPS 19216 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17563.216
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11075736 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154532 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="GPUForwardProgress-PT-20b"
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 GPUForwardProgress-PT-20b, 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 r195-smll-167840341900080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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