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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 576K
-rw-r--r-- 1 mcc users 8.3K Feb 25 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 14:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 14:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 14:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 25 14:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 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 141K 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 1678451682177

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-28b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 28b
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: 568 places, 597 transitions, 1477 arcs.
AT ITER 0 NEW BEST:: SOT 191415 SOS 52203 HAS SOPS 52203 HAS SOUS 47451 HAS SOUPS 47451 WITH SCORE 47503.203
AT ITER 4 NEW BEST:: SOT 191377 SOS 52127 HAS SOPS 52127 HAS SOUS 47375 HAS SOUPS 47375 WITH SCORE 47427.127
AT ITER 13 NEW BEST:: SOT 191280 SOS 52043 HAS SOPS 52043 HAS SOUS 47293 HAS SOUPS 47293 WITH SCORE 47345.043
AT ITER 20 NEW BEST:: SOT 191268 SOS 52019 HAS SOPS 52019 HAS SOUS 47281 HAS SOUPS 47281 WITH SCORE 47333.019
AT ITER 27 NEW BEST:: SOT 191268 SOS 51952 HAS SOPS 51952 HAS SOUS 47227 HAS SOUPS 47227 WITH SCORE 47278.952
AT ITER 31 NEW BEST:: SOT 191234 SOS 51918 HAS SOPS 51918 HAS SOUS 47227 HAS SOUPS 47227 WITH SCORE 47278.918
AT ITER 36 NEW BEST:: SOT 191234 SOS 51918 HAS SOPS 51918 HAS SOUS 47226 HAS SOUPS 47226 WITH SCORE 47277.918
AT ITER 47 NEW BEST:: SOT 191234 SOS 51918 HAS SOPS 51918 HAS SOUS 47224 HAS SOUPS 47224 WITH SCORE 47275.918
AT ITER 49 NEW BEST:: SOT 191234 SOS 51890 HAS SOPS 51890 HAS SOUS 47196 HAS SOUPS 47196 WITH SCORE 47247.89
AT ITER 56 NEW BEST:: SOT 191234 SOS 51890 HAS SOPS 51890 HAS SOUS 47195 HAS SOUPS 47195 WITH SCORE 47246.89
AT ITER 124 NEW BEST:: SOT 191160 SOS 51898 HAS SOPS 51898 HAS SOUS 47156 HAS SOUPS 47156 WITH SCORE 47207.898
AT ITER 125 NEW BEST:: SOT 191160 SOS 51898 HAS SOPS 51898 HAS SOUS 47155 HAS SOUPS 47155 WITH SCORE 47206.898
AT ITER 134 NEW BEST:: SOT 191148 SOS 51880 HAS SOPS 51880 HAS SOUS 47143 HAS SOUPS 47143 WITH SCORE 47194.88
AT ITER 143 NEW BEST:: SOT 191148 SOS 51880 HAS SOPS 51880 HAS SOUS 47142 HAS SOUPS 47142 WITH SCORE 47193.88
AT ITER 145 NEW BEST:: SOT 191032 SOS 51875 HAS SOPS 51875 HAS SOUS 47141 HAS SOUPS 47141 WITH SCORE 47192.875
AT ITER 146 NEW BEST:: SOT 191032 SOS 51801 HAS SOPS 51801 HAS SOUS 47083 HAS SOUPS 47083 WITH SCORE 47134.801
AT ITER 147 NEW BEST:: SOT 191051 SOS 51798 HAS SOPS 51798 HAS SOUS 47080 HAS SOUPS 47080 WITH SCORE 47131.798
AT ITER 151 NEW BEST:: SOT 191051 SOS 51724 HAS SOPS 51724 HAS SOUS 47043 HAS SOUPS 47043 WITH SCORE 47094.724
AT ITER 162 NEW BEST:: SOT 191042 SOS 51706 HAS SOPS 51706 HAS SOUS 47030 HAS SOUPS 47030 WITH SCORE 47081.706
AT ITER 171 NEW BEST:: SOT 191081 SOS 51669 HAS SOPS 51669 HAS SOUS 47022 HAS SOUPS 47022 WITH SCORE 47073.669
AT ITER 174 NEW BEST:: SOT 191059 SOS 51625 HAS SOPS 51625 HAS SOUS 46978 HAS SOUPS 46978 WITH SCORE 47029.625
AT ITER 182 NEW BEST:: SOT 190999 SOS 51505 HAS SOPS 51505 HAS SOUS 46858 HAS SOUPS 46858 WITH SCORE 46909.505
AT ITER 189 NEW BEST:: SOT 190974 SOS 51480 HAS SOPS 51480 HAS SOUS 46833 HAS SOUPS 46833 WITH SCORE 46884.48
AT ITER 216 NEW BEST:: SOT 190993 SOS 51472 HAS SOPS 51472 HAS SOUS 46825 HAS SOUPS 46825 WITH SCORE 46876.472
AT ITER 223 NEW BEST:: SOT 190979 SOS 51453 HAS SOPS 51453 HAS SOUS 46811 HAS SOUPS 46811 WITH SCORE 46862.453
AT ITER 225 NEW BEST:: SOT 191008 SOS 51408 HAS SOPS 51408 HAS SOUS 46791 HAS SOUPS 46791 WITH SCORE 46842.408
AT ITER 235 NEW BEST:: SOT 190992 SOS 51376 HAS SOPS 51376 HAS SOUS 46759 HAS SOUPS 46759 WITH SCORE 46810.376
AT ITER 246 NEW BEST:: SOT 190992 SOS 51368 HAS SOPS 51368 HAS SOUS 46751 HAS SOUPS 46751 WITH SCORE 46802.368
AT ITER 257 NEW BEST:: SOT 190937 SOS 51328 HAS SOPS 51328 HAS SOUS 46716 HAS SOUPS 46716 WITH SCORE 46767.328
AT ITER 271 NEW BEST:: SOT 190867 SOS 51268 HAS SOPS 51268 HAS SOUS 46665 HAS SOUPS 46665 WITH SCORE 46716.268
AT ITER 272 NEW BEST:: SOT 190867 SOS 51206 HAS SOPS 51206 HAS SOUS 46603 HAS SOUPS 46603 WITH SCORE 46654.206
AT ITER 308 NEW BEST:: SOT 190867 SOS 51167 HAS SOPS 51167 HAS SOUS 46564 HAS SOUPS 46564 WITH SCORE 46615.167
AT ITER 319 NEW BEST:: SOT 190841 SOS 51144 HAS SOPS 51144 HAS SOUS 46538 HAS SOUPS 46538 WITH SCORE 46589.144
AT ITER 334 NEW BEST:: SOT 190827 SOS 51130 HAS SOPS 51130 HAS SOUS 46510 HAS SOUPS 46510 WITH SCORE 46561.13
AT ITER 336 NEW BEST:: SOT 190783 SOS 51105 HAS SOPS 51105 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46517.105
AT ITER 349 NEW BEST:: SOT 190773 SOS 51039 HAS SOPS 51039 HAS SOUS 46464 HAS SOUPS 46464 WITH SCORE 46515.039
AT ITER 351 NEW BEST:: SOT 190767 SOS 51037 HAS SOPS 51037 HAS SOUS 46462 HAS SOUPS 46462 WITH SCORE 46513.037
AT ITER 360 NEW BEST:: SOT 190767 SOS 51026 HAS SOPS 51026 HAS SOUS 46462 HAS SOUPS 46462 WITH SCORE 46513.026
AT ITER 365 NEW BEST:: SOT 190767 SOS 50983 HAS SOPS 50983 HAS SOUS 46419 HAS SOUPS 46419 WITH SCORE 46469.983
AT ITER 374 NEW BEST:: SOT 190727 SOS 50915 HAS SOPS 50915 HAS SOUS 46379 HAS SOUPS 46379 WITH SCORE 46429.915
AT ITER 384 NEW BEST:: SOT 190727 SOS 50886 HAS SOPS 50886 HAS SOUS 46350 HAS SOUPS 46350 WITH SCORE 46400.886
AT ITER 385 NEW BEST:: SOT 190742 SOS 50856 HAS SOPS 50856 HAS SOUS 46321 HAS SOUPS 46321 WITH SCORE 46371.856
AT ITER 397 NEW BEST:: SOT 190733 SOS 50758 HAS SOPS 50758 HAS SOUS 46222 HAS SOUPS 46222 WITH SCORE 46272.758
AT ITER 399 NEW BEST:: SOT 190729 SOS 50750 HAS SOPS 50750 HAS SOUS 46214 HAS SOUPS 46214 WITH SCORE 46264.75
AT ITER 416 NEW BEST:: SOT 190729 SOS 50750 HAS SOPS 50750 HAS SOUS 46213 HAS SOUPS 46213 WITH SCORE 46263.75
AT ITER 421 NEW BEST:: SOT 190729 SOS 50742 HAS SOPS 50742 HAS SOUS 46205 HAS SOUPS 46205 WITH SCORE 46255.742
AT ITER 426 NEW BEST:: SOT 190729 SOS 50742 HAS SOPS 50742 HAS SOUS 46142 HAS SOUPS 46142 WITH SCORE 46192.742
AT ITER 434 NEW BEST:: SOT 190731 SOS 50482 HAS SOPS 50482 HAS SOUS 46092 HAS SOUPS 46092 WITH SCORE 46142.482
AT ITER 443 NEW BEST:: SOT 190730 SOS 50480 HAS SOPS 50480 HAS SOUS 46090 HAS SOUPS 46090 WITH SCORE 46140.48
AT ITER 454 NEW BEST:: SOT 190711 SOS 50442 HAS SOPS 50442 HAS SOUS 46052 HAS SOUPS 46052 WITH SCORE 46102.442
AT ITER 457 NEW BEST:: SOT 190705 SOS 50424 HAS SOPS 50424 HAS SOUS 46040 HAS SOUPS 46040 WITH SCORE 46090.424
AT ITER 467 NEW BEST:: SOT 190705 SOS 50424 HAS SOPS 50424 HAS SOUS 46037 HAS SOUPS 46037 WITH SCORE 46087.424
AT ITER 483 NEW BEST:: SOT 190705 SOS 50346 HAS SOPS 50346 HAS SOUS 46036 HAS SOUPS 46036 WITH SCORE 46086.346
AT ITER 505 NEW BEST:: SOT 190705 SOS 50324 HAS SOPS 50324 HAS SOUS 46014 HAS SOUPS 46014 WITH SCORE 46064.324
AT ITER 527 NEW BEST:: SOT 190705 SOS 50276 HAS SOPS 50276 HAS SOUS 46001 HAS SOUPS 46001 WITH SCORE 46051.276
AT ITER 541 NEW BEST:: SOT 190705 SOS 50276 HAS SOPS 50276 HAS SOUS 45967 HAS SOUPS 45967 WITH SCORE 46017.276
AT ITER 552 NEW BEST:: SOT 190632 SOS 50212 HAS SOPS 50212 HAS SOUS 45902 HAS SOUPS 45902 WITH SCORE 45952.212
AT ITER 556 NEW BEST:: SOT 190584 SOS 50127 HAS SOPS 50127 HAS SOUS 45840 HAS SOUPS 45840 WITH SCORE 45890.127
AT ITER 572 NEW BEST:: SOT 190546 SOS 50051 HAS SOPS 50051 HAS SOUS 45764 HAS SOUPS 45764 WITH SCORE 45814.051
AT ITER 581 NEW BEST:: SOT 190537 SOS 50036 HAS SOPS 50036 HAS SOUS 45723 HAS SOUPS 45723 WITH SCORE 45773.036
AT ITER 597 NEW BEST:: SOT 190509 SOS 49980 HAS SOPS 49980 HAS SOUS 45693 HAS SOUPS 45693 WITH SCORE 45742.98
AT ITER 605 NEW BEST:: SOT 190509 SOS 49980 HAS SOPS 49980 HAS SOUS 45692 HAS SOUPS 45692 WITH SCORE 45741.98
AT ITER 620 NEW BEST:: SOT 190509 SOS 49900 HAS SOPS 49900 HAS SOUS 45630 HAS SOUPS 45630 WITH SCORE 45679.9
AT ITER 624 NEW BEST:: SOT 190509 SOS 49851 HAS SOPS 49851 HAS SOUS 45581 HAS SOUPS 45581 WITH SCORE 45630.851
AT ITER 648 NEW BEST:: SOT 190509 SOS 49851 HAS SOPS 49851 HAS SOUS 45580 HAS SOUPS 45580 WITH SCORE 45629.851
AT ITER 656 NEW BEST:: SOT 190509 SOS 49737 HAS SOPS 49737 HAS SOUS 45523 HAS SOUPS 45523 WITH SCORE 45572.737
AT ITER 658 NEW BEST:: SOT 190509 SOS 49700 HAS SOPS 49700 HAS SOUS 45486 HAS SOUPS 45486 WITH SCORE 45535.7
AT ITER 676 NEW BEST:: SOT 190510 SOS 49642 HAS SOPS 49642 HAS SOUS 45457 HAS SOUPS 45457 WITH SCORE 45506.642
AT ITER 679 NEW BEST:: SOT 190505 SOS 49632 HAS SOPS 49632 HAS SOUS 45447 HAS SOUPS 45447 WITH SCORE 45496.632
AT ITER 705 NEW BEST:: SOT 190505 SOS 49607 HAS SOPS 49607 HAS SOUS 45447 HAS SOUPS 45447 WITH SCORE 45496.607
AT ITER 741 NEW BEST:: SOT 190489 SOS 49591 HAS SOPS 49591 HAS SOUS 45431 HAS SOUPS 45431 WITH SCORE 45480.591
AT ITER 745 NEW BEST:: SOT 190489 SOS 49541 HAS SOPS 49541 HAS SOUS 45381 HAS SOUPS 45381 WITH SCORE 45430.541
AT ITER 753 NEW BEST:: SOT 190476 SOS 49393 HAS SOPS 49393 HAS SOUS 45246 HAS SOUPS 45246 WITH SCORE 45295.393
AT ITER 766 NEW BEST:: SOT 190476 SOS 49393 HAS SOPS 49393 HAS SOUS 45230 HAS SOUPS 45230 WITH SCORE 45279.393
AT ITER 779 NEW BEST:: SOT 190476 SOS 49393 HAS SOPS 49393 HAS SOUS 45229 HAS SOUPS 45229 WITH SCORE 45278.393
AT ITER 792 NEW BEST:: SOT 190417 SOS 49388 HAS SOPS 49388 HAS SOUS 45228 HAS SOUPS 45228 WITH SCORE 45277.388
AT ITER 799 NEW BEST:: SOT 190510 SOS 49294 HAS SOPS 49294 HAS SOUS 45227 HAS SOUPS 45227 WITH SCORE 45276.294
AT ITER 809 NEW BEST:: SOT 190503 SOS 49280 HAS SOPS 49280 HAS SOUS 45213 HAS SOUPS 45213 WITH SCORE 45262.28
AT ITER 826 NEW BEST:: SOT 190501 SOS 49276 HAS SOPS 49276 HAS SOUS 45196 HAS SOUPS 45196 WITH SCORE 45245.276
AT ITER 860 NEW BEST:: SOT 190582 SOS 49144 HAS SOPS 49144 HAS SOUS 45168 HAS SOUPS 45168 WITH SCORE 45217.144
AT ITER 877 NEW BEST:: SOT 190549 SOS 49078 HAS SOPS 49078 HAS SOUS 45102 HAS SOUPS 45102 WITH SCORE 45151.078
AT ITER 913 NEW BEST:: SOT 190549 SOS 49078 HAS SOPS 49078 HAS SOUS 45080 HAS SOUPS 45080 WITH SCORE 45129.078
AT ITER 916 NEW BEST:: SOT 190524 SOS 49028 HAS SOPS 49028 HAS SOUS 45008 HAS SOUPS 45008 WITH SCORE 45057.028
AT ITER 917 NEW BEST:: SOT 190505 SOS 48990 HAS SOPS 48990 HAS SOUS 44970 HAS SOUPS 44970 WITH SCORE 45018.99
AT ITER 918 NEW BEST:: SOT 190505 SOS 48866 HAS SOPS 48866 HAS SOUS 44908 HAS SOUPS 44908 WITH SCORE 44956.866
AT ITER 936 NEW BEST:: SOT 190603 SOS 49062 HAS SOPS 49062 HAS SOUS 44907 HAS SOUPS 44907 WITH SCORE 44956.062
AT ITER 941 NEW BEST:: SOT 190603 SOS 49010 HAS SOPS 49010 HAS SOUS 44907 HAS SOUPS 44907 WITH SCORE 44956.01
AT ITER 957 NEW BEST:: SOT 190562 SOS 48995 HAS SOPS 48995 HAS SOUS 44898 HAS SOUPS 44898 WITH SCORE 44946.995
AT ITER 989 NEW BEST:: SOT 190562 SOS 48950 HAS SOPS 48950 HAS SOUS 44853 HAS SOUPS 44853 WITH SCORE 44901.95
AT ITER 990 NEW BEST:: SOT 190542 SOS 48910 HAS SOPS 48910 HAS SOUS 44813 HAS SOUPS 44813 WITH SCORE 44861.91
AT ITER 996 NEW BEST:: SOT 190491 SOS 48887 HAS SOPS 48887 HAS SOUS 44790 HAS SOUPS 44790 WITH SCORE 44838.887
AT ITER 1012 NEW BEST:: SOT 190495 SOS 48833 HAS SOPS 48833 HAS SOUS 44736 HAS SOUPS 44736 WITH SCORE 44784.833
AT ITER 1014 NEW BEST:: SOT 190465 SOS 48773 HAS SOPS 48773 HAS SOUS 44676 HAS SOUPS 44676 WITH SCORE 44724.773
AT ITER 1026 NEW BEST:: SOT 190474 SOS 48756 HAS SOPS 48756 HAS SOUS 44659 HAS SOUPS 44659 WITH SCORE 44707.756
AT ITER 1030 NEW BEST:: SOT 190413 SOS 48634 HAS SOPS 48634 HAS SOUS 44488 HAS SOUPS 44488 WITH SCORE 44536.634
AT ITER 1037 NEW BEST:: SOT 190413 SOS 48634 HAS SOPS 48634 HAS SOUS 44485 HAS SOUPS 44485 WITH SCORE 44533.634
AT ITER 1041 NEW BEST:: SOT 190413 SOS 48545 HAS SOPS 48545 HAS SOUS 44485 HAS SOUPS 44485 WITH SCORE 44533.545
AT ITER 1052 NEW BEST:: SOT 190413 SOS 48473 HAS SOPS 48473 HAS SOUS 44413 HAS SOUPS 44413 WITH SCORE 44461.473
AT ITER 1057 NEW BEST:: SOT 190413 SOS 48379 HAS SOPS 48379 HAS SOUS 44380 HAS SOUPS 44380 WITH SCORE 44428.379
AT ITER 1063 NEW BEST:: SOT 190347 SOS 48247 HAS SOPS 48247 HAS SOUS 44248 HAS SOUPS 44248 WITH SCORE 44296.247
AT ITER 1066 NEW BEST:: SOT 190343 SOS 48243 HAS SOPS 48243 HAS SOUS 44244 HAS SOUPS 44244 WITH SCORE 44292.243
AT ITER 1068 NEW BEST:: SOT 190343 SOS 48243 HAS SOPS 48243 HAS SOUS 44243 HAS SOUPS 44243 WITH SCORE 44291.243
AT ITER 1097 NEW BEST:: SOT 190296 SOS 48149 HAS SOPS 48149 HAS SOUS 44149 HAS SOUPS 44149 WITH SCORE 44197.149
AT ITER 1115 NEW BEST:: SOT 190229 SOS 48145 HAS SOPS 48145 HAS SOUS 44121 HAS SOUPS 44121 WITH SCORE 44169.145
AT ITER 1123 NEW BEST:: SOT 190222 SOS 48131 HAS SOPS 48131 HAS SOUS 44107 HAS SOUPS 44107 WITH SCORE 44155.131
AT ITER 1156 NEW BEST:: SOT 190176 SOS 48085 HAS SOPS 48085 HAS SOUS 44061 HAS SOUPS 44061 WITH SCORE 44109.085
AT ITER 1171 NEW BEST:: SOT 190167 SOS 48067 HAS SOPS 48067 HAS SOUS 44043 HAS SOUPS 44043 WITH SCORE 44091.067
AT ITER 1176 NEW BEST:: SOT 190167 SOS 48809 HAS SOPS 48809 HAS SOUS 44035 HAS SOUPS 44035 WITH SCORE 44083.809
AT ITER 1223 NEW BEST:: SOT 190167 SOS 48718 HAS SOPS 48718 HAS SOUS 44035 HAS SOUPS 44035 WITH SCORE 44083.718
AT ITER 1229 NEW BEST:: SOT 190167 SOS 48708 HAS SOPS 48708 HAS SOUS 44030 HAS SOUPS 44030 WITH SCORE 44078.708
AT ITER 1232 NEW BEST:: SOT 190167 SOS 48774 HAS SOPS 48774 HAS SOUS 44028 HAS SOUPS 44028 WITH SCORE 44076.774
AT ITER 1264 NEW BEST:: SOT 190192 SOS 48736 HAS SOPS 48736 HAS SOUS 44013 HAS SOUPS 44013 WITH SCORE 44061.736
AT ITER 1267 NEW BEST:: SOT 190238 SOS 48666 HAS SOPS 48666 HAS SOUS 43943 HAS SOUPS 43943 WITH SCORE 43991.666
AT ITER 1272 NEW BEST:: SOT 190240 SOS 48670 HAS SOPS 48670 HAS SOUS 43937 HAS SOUPS 43937 WITH SCORE 43985.67
AT ITER 1275 NEW BEST:: SOT 190240 SOS 48628 HAS SOPS 48628 HAS SOUS 43937 HAS SOUPS 43937 WITH SCORE 43985.628
AT ITER 1284 NEW BEST:: SOT 190250 SOS 48588 HAS SOPS 48588 HAS SOUS 43915 HAS SOUPS 43915 WITH SCORE 43963.588
AT ITER 1312 NEW BEST:: SOT 190250 SOS 48588 HAS SOPS 48588 HAS SOUS 43914 HAS SOUPS 43914 WITH SCORE 43962.588
AT ITER 1319 NEW BEST:: SOT 190223 SOS 48534 HAS SOPS 48534 HAS SOUS 43894 HAS SOUPS 43894 WITH SCORE 43942.534
AT ITER 1334 NEW BEST:: SOT 190223 SOS 48474 HAS SOPS 48474 HAS SOUS 43894 HAS SOUPS 43894 WITH SCORE 43942.474
AT ITER 1340 NEW BEST:: SOT 190221 SOS 48470 HAS SOPS 48470 HAS SOUS 43890 HAS SOUPS 43890 WITH SCORE 43938.47
AT ITER 1369 NEW BEST:: SOT 190169 SOS 48438 HAS SOPS 48438 HAS SOUS 43838 HAS SOUPS 43838 WITH SCORE 43886.438
AT ITER 1373 NEW BEST:: SOT 190169 SOS 48334 HAS SOPS 48334 HAS SOUS 43838 HAS SOUPS 43838 WITH SCORE 43886.334
AT ITER 1394 NEW BEST:: SOT 190148 SOS 48292 HAS SOPS 48292 HAS SOUS 43796 HAS SOUPS 43796 WITH SCORE 43844.292
AT ITER 1418 NEW BEST:: SOT 190148 SOS 48235 HAS SOPS 48235 HAS SOUS 43796 HAS SOUPS 43796 WITH SCORE 43844.235
AT ITER 1428 NEW BEST:: SOT 190117 SOS 48173 HAS SOPS 48173 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43785.173
AT ITER 1510 NEW BEST:: SOT 190135 SOS 48150 HAS SOPS 48150 HAS SOUS 43714 HAS SOUPS 43714 WITH SCORE 43762.15
AT ITER 1536 NEW BEST:: SOT 190095 SOS 47470 HAS SOPS 47470 HAS SOUS 43688 HAS SOUPS 43688 WITH SCORE 43735.47
AT ITER 1570 NEW BEST:: SOT 190046 SOS 47297 HAS SOPS 47297 HAS SOUS 43564 HAS SOUPS 43564 WITH SCORE 43611.297
AT ITER 1577 NEW BEST:: SOT 190035 SOS 47253 HAS SOPS 47253 HAS SOUS 43553 HAS SOUPS 43553 WITH SCORE 43600.253
AT ITER 1581 NEW BEST:: SOT 190035 SOS 47235 HAS SOPS 47235 HAS SOUS 43535 HAS SOUPS 43535 WITH SCORE 43582.235
AT ITER 1585 NEW BEST:: SOT 190033 SOS 47231 HAS SOPS 47231 HAS SOUS 43530 HAS SOUPS 43530 WITH SCORE 43577.231
AT ITER 1594 NEW BEST:: SOT 190033 SOS 47169 HAS SOPS 47169 HAS SOUS 43530 HAS SOUPS 43530 WITH SCORE 43577.169
AT ITER 1596 NEW BEST:: SOT 190022 SOS 47168 HAS SOPS 47168 HAS SOUS 43529 HAS SOUPS 43529 WITH SCORE 43576.168
AT ITER 1624 NEW BEST:: SOT 189924 SOS 47096 HAS SOPS 47096 HAS SOUS 43488 HAS SOUPS 43488 WITH SCORE 43535.096
AT ITER 1644 NEW BEST:: SOT 189959 SOS 47014 HAS SOPS 47014 HAS SOUS 43470 HAS SOUPS 43470 WITH SCORE 43517.014
AT ITER 1677 NEW BEST:: SOT 189916 SOS 46928 HAS SOPS 46928 HAS SOUS 43398 HAS SOUPS 43398 WITH SCORE 43444.928
AT ITER 1721 NEW BEST:: SOT 189904 SOS 46916 HAS SOPS 46916 HAS SOUS 43386 HAS SOUPS 43386 WITH SCORE 43432.916
AT ITER 1726 NEW BEST:: SOT 189904 SOS 46904 HAS SOPS 46904 HAS SOUS 43374 HAS SOUPS 43374 WITH SCORE 43420.904
AT ITER 1732 NEW BEST:: SOT 189897 SOS 46890 HAS SOPS 46890 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43413.89
AT ITER 1745 NEW BEST:: SOT 189491 SOS 46730 HAS SOPS 46730 HAS SOUS 43058 HAS SOUPS 43058 WITH SCORE 43104.73
AT ITER 1773 NEW BEST:: SOT 189484 SOS 46716 HAS SOPS 46716 HAS SOUS 43044 HAS SOUPS 43044 WITH SCORE 43090.716
AT ITER 1820 NEW BEST:: SOT 189474 SOS 46696 HAS SOPS 46696 HAS SOUS 43023 HAS SOUPS 43023 WITH SCORE 43069.696
AT ITER 1849 NEW BEST:: SOT 189454 SOS 46656 HAS SOPS 46656 HAS SOUS 43003 HAS SOUPS 43003 WITH SCORE 43049.656
AT ITER 1924 NEW BEST:: SOT 189460 SOS 46654 HAS SOPS 46654 HAS SOUS 43001 HAS SOUPS 43001 WITH SCORE 43047.654
AT ITER 1927 NEW BEST:: SOT 189460 SOS 46654 HAS SOPS 46654 HAS SOUS 43000 HAS SOUPS 43000 WITH SCORE 43046.654
AT ITER 1941 NEW BEST:: SOT 189460 SOS 46566 HAS SOPS 46566 HAS SOUS 43000 HAS SOUPS 43000 WITH SCORE 43046.566
AT ITER 1950 NEW BEST:: SOT 189502 SOS 46539 HAS SOPS 46539 HAS SOUS 42973 HAS SOUPS 42973 WITH SCORE 43019.539
AT ITER 1958 NEW BEST:: SOT 189525 SOS 46529 HAS SOPS 46529 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 42998.529
AT ITER 1970 NEW BEST:: SOT 189544 SOS 46567 HAS SOPS 46567 HAS SOUS 42891 HAS SOUPS 42891 WITH SCORE 42937.567
AT ITER 1999 NEW BEST:: SOT 189531 SOS 46554 HAS SOPS 46554 HAS SOUS 42891 HAS SOUPS 42891 WITH SCORE 42937.554
AT ITER 2049 NEW BEST:: SOT 189516 SOS 46524 HAS SOPS 46524 HAS SOUS 42861 HAS SOUPS 42861 WITH SCORE 42907.524
AT ITER 2061 NEW BEST:: SOT 189499 SOS 46492 HAS SOPS 46492 HAS SOUS 42844 HAS SOUPS 42844 WITH SCORE 42890.492
AT ITER 2066 NEW BEST:: SOT 189486 SOS 46440 HAS SOPS 46440 HAS SOUS 42818 HAS SOUPS 42818 WITH SCORE 42864.44
AT ITER 2068 NEW BEST:: SOT 189471 SOS 46410 HAS SOPS 46410 HAS SOUS 42788 HAS SOUPS 42788 WITH SCORE 42834.41
AT ITER 2079 NEW BEST:: SOT 189447 SOS 46362 HAS SOPS 46362 HAS SOUS 42740 HAS SOUPS 42740 WITH SCORE 42786.362
AT ITER 2106 NEW BEST:: SOT 189502 SOS 46391 HAS SOPS 46391 HAS SOUS 42714 HAS SOUPS 42714 WITH SCORE 42760.391
AT ITER 2128 NEW BEST:: SOT 189504 SOS 46395 HAS SOPS 46395 HAS SOUS 42711 HAS SOUPS 42711 WITH SCORE 42757.395
AT ITER 2133 NEW BEST:: SOT 189495 SOS 46386 HAS SOPS 46386 HAS SOUS 42711 HAS SOUPS 42711 WITH SCORE 42757.386
AT ITER 2192 NEW BEST:: SOT 189495 SOS 46380 HAS SOPS 46380 HAS SOUS 42705 HAS SOUPS 42705 WITH SCORE 42751.38
AT ITER 2202 NEW BEST:: SOT 187429 SOS 53288 HAS SOPS 53288 HAS SOUS 40832 HAS SOUPS 40832 WITH SCORE 40885.288
AT ITER 2216 NEW BEST:: SOT 187409 SOS 53248 HAS SOPS 53248 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40845.248
AT ITER 2241 NEW BEST:: SOT 187408 SOS 53246 HAS SOPS 53246 HAS SOUS 40790 HAS SOUPS 40790 WITH SCORE 40843.246
AT ITER 2267 NEW BEST:: SOT 187393 SOS 53216 HAS SOPS 53216 HAS SOUS 40760 HAS SOUPS 40760 WITH SCORE 40813.216
AT ITER 2269 NEW BEST:: SOT 187389 SOS 53118 HAS SOPS 53118 HAS SOUS 40751 HAS SOUPS 40751 WITH SCORE 40804.118
AT ITER 2276 NEW BEST:: SOT 187389 SOS 53095 HAS SOPS 53095 HAS SOUS 40749 HAS SOUPS 40749 WITH SCORE 40802.095
AT ITER 2299 NEW BEST:: SOT 187387 SOS 53091 HAS SOPS 53091 HAS SOUS 40745 HAS SOUPS 40745 WITH SCORE 40798.091
AT ITER 2306 NEW BEST:: SOT 187357 SOS 53031 HAS SOPS 53031 HAS SOUS 40714 HAS SOUPS 40714 WITH SCORE 40767.031
AT ITER 2335 NEW BEST:: SOT 187441 SOS 53029 HAS SOPS 53029 HAS SOUS 40713 HAS SOUPS 40713 WITH SCORE 40766.029
AT ITER 2370 NEW BEST:: SOT 187441 SOS 52992 HAS SOPS 52992 HAS SOUS 40676 HAS SOUPS 40676 WITH SCORE 40728.992
AT ITER 2373 NEW BEST:: SOT 187450 SOS 52972 HAS SOPS 52972 HAS SOUS 40666 HAS SOUPS 40666 WITH SCORE 40718.972
AT ITER 2390 NEW BEST:: SOT 187442 SOS 52894 HAS SOPS 52894 HAS SOUS 40636 HAS SOUPS 40636 WITH SCORE 40688.894
AT ITER 2398 NEW BEST:: SOT 187451 SOS 52912 HAS SOPS 52912 HAS SOUS 40629 HAS SOUPS 40629 WITH SCORE 40681.912
AT ITER 2409 NEW BEST:: SOT 187456 SOS 52872 HAS SOPS 52872 HAS SOUS 40611 HAS SOUPS 40611 WITH SCORE 40663.872
AT ITER 2415 NEW BEST:: SOT 187456 SOS 52872 HAS SOPS 52872 HAS SOUS 40608 HAS SOUPS 40608 WITH SCORE 40660.872
AT ITER 2420 NEW BEST:: SOT 187458 SOS 52700 HAS SOPS 52700 HAS SOUS 40573 HAS SOUPS 40573 WITH SCORE 40625.7
AT ITER 2450 NEW BEST:: SOT 187457 SOS 52698 HAS SOPS 52698 HAS SOUS 40571 HAS SOUPS 40571 WITH SCORE 40623.698
AT ITER 2489 NEW BEST:: SOT 187438 SOS 52660 HAS SOPS 52660 HAS SOUS 40533 HAS SOUPS 40533 WITH SCORE 40585.66
AT ITER 2495 NEW BEST:: SOT 187432 SOS 52648 HAS SOPS 52648 HAS SOUS 40527 HAS SOUPS 40527 WITH SCORE 40579.648
AT ITER 2504 NEW BEST:: SOT 187077 SOS 52310 HAS SOPS 52310 HAS SOUS 40189 HAS SOUPS 40189 WITH SCORE 40241.31
AT ITER 2511 NEW BEST:: SOT 187077 SOS 52310 HAS SOPS 52310 HAS SOUS 40188 HAS SOUPS 40188 WITH SCORE 40240.31
AT ITER 2512 NEW BEST:: SOT 187062 SOS 52280 HAS SOPS 52280 HAS SOUS 40158 HAS SOUPS 40158 WITH SCORE 40210.28
AT ITER 2555 NEW BEST:: SOT 187062 SOS 52145 HAS SOPS 52145 HAS SOUS 40158 HAS SOUPS 40158 WITH SCORE 40210.145
AT ITER 2559 NEW BEST:: SOT 187061 SOS 52143 HAS SOPS 52143 HAS SOUS 40156 HAS SOUPS 40156 WITH SCORE 40208.143
AT ITER 2595 NEW BEST:: SOT 187061 SOS 52143 HAS SOPS 52143 HAS SOUS 40143 HAS SOUPS 40143 WITH SCORE 40195.143
AT ITER 2598 NEW BEST:: SOT 187061 SOS 52128 HAS SOPS 52128 HAS SOUS 40143 HAS SOUPS 40143 WITH SCORE 40195.128
AT ITER 2604 NEW BEST:: SOT 187059 SOS 52124 HAS SOPS 52124 HAS SOUS 40141 HAS SOUPS 40141 WITH SCORE 40193.124
AT ITER 2607 NEW BEST:: SOT 187110 SOS 52044 HAS SOPS 52044 HAS SOUS 40127 HAS SOUPS 40127 WITH SCORE 40179.044
AT ITER 2615 NEW BEST:: SOT 187110 SOS 52033 HAS SOPS 52033 HAS SOUS 40127 HAS SOUPS 40127 WITH SCORE 40179.033
AT ITER 2618 NEW BEST:: SOT 187109 SOS 52031 HAS SOPS 52031 HAS SOUS 40125 HAS SOUPS 40125 WITH SCORE 40177.031
AT ITER 2649 NEW BEST:: SOT 187074 SOS 51961 HAS SOPS 51961 HAS SOUS 40124 HAS SOUPS 40124 WITH SCORE 40175.961
AT ITER 2666 NEW BEST:: SOT 187074 SOS 51961 HAS SOPS 51961 HAS SOUS 40083 HAS SOUPS 40083 WITH SCORE 40134.961
AT ITER 2692 NEW BEST:: SOT 187057 SOS 51961 HAS SOPS 51961 HAS SOUS 40066 HAS SOUPS 40066 WITH SCORE 40117.961
AT ITER 2789 NEW BEST:: SOT 187031 SOS 51935 HAS SOPS 51935 HAS SOUS 40040 HAS SOUPS 40040 WITH SCORE 40091.935
AT ITER 2793 NEW BEST:: SOT 187024 SOS 51921 HAS SOPS 51921 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40082.921
AT ITER 2807 NEW BEST:: SOT 187022 SOS 51917 HAS SOPS 51917 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40078.917
AT ITER 2828 NEW BEST:: SOT 186994 SOS 51893 HAS SOPS 51893 HAS SOUS 39999 HAS SOUPS 39999 WITH SCORE 40050.893
AT ITER 2833 NEW BEST:: SOT 186964 SOS 51833 HAS SOPS 51833 HAS SOUS 39996 HAS SOUPS 39996 WITH SCORE 40047.833
AT ITER 2838 NEW BEST:: SOT 186964 SOS 51814 HAS SOPS 51814 HAS SOUS 39996 HAS SOUPS 39996 WITH SCORE 40047.814
AT ITER 2865 NEW BEST:: SOT 186952 SOS 51790 HAS SOPS 51790 HAS SOUS 39972 HAS SOUPS 39972 WITH SCORE 40023.79
AT ITER 2898 NEW BEST:: SOT 186947 SOS 51674 HAS SOPS 51674 HAS SOUS 39962 HAS SOUPS 39962 WITH SCORE 40013.674
AT ITER 2900 NEW BEST:: SOT 186947 SOS 51674 HAS SOPS 51674 HAS SOUS 39957 HAS SOUPS 39957 WITH SCORE 40008.674
AT ITER 2905 NEW BEST:: SOT 186845 SOS 51552 HAS SOPS 51552 HAS SOUS 39917 HAS SOUPS 39917 WITH SCORE 39968.552
AT ITER 2906 NEW BEST:: SOT 186845 SOS 51522 HAS SOPS 51522 HAS SOUS 39917 HAS SOUPS 39917 WITH SCORE 39968.522
AT ITER 2924 NEW BEST:: SOT 186832 SOS 51496 HAS SOPS 51496 HAS SOUS 39891 HAS SOUPS 39891 WITH SCORE 39942.496
AT ITER 2931 NEW BEST:: SOT 186801 SOS 51434 HAS SOPS 51434 HAS SOUS 39829 HAS SOUPS 39829 WITH SCORE 39880.434
AT ITER 2953 NEW BEST:: SOT 186801 SOS 51382 HAS SOPS 51382 HAS SOUS 39803 HAS SOUPS 39803 WITH SCORE 39854.382
AT ITER 2964 NEW BEST:: SOT 186761 SOS 51302 HAS SOPS 51302 HAS SOUS 39723 HAS SOUPS 39723 WITH SCORE 39774.302
AT ITER 2971 NEW BEST:: SOT 186678 SOS 51136 HAS SOPS 51136 HAS SOUS 39673 HAS SOUPS 39673 WITH SCORE 39724.136
AT ITER 2973 NEW BEST:: SOT 186675 SOS 51130 HAS SOPS 51130 HAS SOUS 39667 HAS SOUPS 39667 WITH SCORE 39718.13
AT ITER 2987 NEW BEST:: SOT 186673 SOS 51126 HAS SOPS 51126 HAS SOUS 39663 HAS SOUPS 39663 WITH SCORE 39714.126
AT ITER 3009 NEW BEST:: SOT 186673 SOS 51126 HAS SOPS 51126 HAS SOUS 39602 HAS SOUPS 39602 WITH SCORE 39653.126
AT ITER 3015 NEW BEST:: SOT 186673 SOS 51126 HAS SOPS 51126 HAS SOUS 39542 HAS SOUPS 39542 WITH SCORE 39593.126
AT ITER 3031 NEW BEST:: SOT 186669 SOS 51118 HAS SOPS 51118 HAS SOUS 39534 HAS SOUPS 39534 WITH SCORE 39585.118
AT ITER 3051 NEW BEST:: SOT 186621 SOS 51022 HAS SOPS 51022 HAS SOUS 39438 HAS SOUPS 39438 WITH SCORE 39489.022
AT ITER 3064 NEW BEST:: SOT 186621 SOS 50996 HAS SOPS 50996 HAS SOUS 39412 HAS SOUPS 39412 WITH SCORE 39462.996
AT ITER 3067 NEW BEST:: SOT 186621 SOS 50996 HAS SOPS 50996 HAS SOUS 39409 HAS SOUPS 39409 WITH SCORE 39459.996
AT ITER 3102 NEW BEST:: SOT 186456 SOS 50907 HAS SOPS 50907 HAS SOUS 39407 HAS SOUPS 39407 WITH SCORE 39457.907
AT ITER 3134 NEW BEST:: SOT 186463 SOS 50921 HAS SOPS 50921 HAS SOUS 39400 HAS SOUPS 39400 WITH SCORE 39450.921
AT ITER 3151 NEW BEST:: SOT 186373 SOS 50741 HAS SOPS 50741 HAS SOUS 39378 HAS SOUPS 39378 WITH SCORE 39428.741
AT ITER 3154 NEW BEST:: SOT 186372 SOS 50739 HAS SOPS 50739 HAS SOUS 39377 HAS SOUPS 39377 WITH SCORE 39427.739
AT ITER 3162 NEW BEST:: SOT 186338 SOS 50552 HAS SOPS 50552 HAS SOUS 39361 HAS SOUPS 39361 WITH SCORE 39411.552
AT ITER 3164 NEW BEST:: SOT 186290 SOS 50450 HAS SOPS 50450 HAS SOUS 39265 HAS SOUPS 39265 WITH SCORE 39315.45
AT ITER 3189 NEW BEST:: SOT 186272 SOS 50414 HAS SOPS 50414 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39279.414
AT ITER 3198 NEW BEST:: SOT 186272 SOS 50411 HAS SOPS 50411 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39279.411
AT ITER 3204 NEW BEST:: SOT 186272 SOS 50410 HAS SOPS 50410 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39279.41
AT ITER 3207 NEW BEST:: SOT 186306 SOS 50478 HAS SOPS 50478 HAS SOUS 39222 HAS SOUPS 39222 WITH SCORE 39272.478
AT ITER 3210 NEW BEST:: SOT 186309 SOS 50536 HAS SOPS 50536 HAS SOUS 39179 HAS SOUPS 39179 WITH SCORE 39229.536
AT ITER 3220 NEW BEST:: SOT 186309 SOS 50486 HAS SOPS 50486 HAS SOUS 39129 HAS SOUPS 39129 WITH SCORE 39179.486
AT ITER 3225 NEW BEST:: SOT 186309 SOS 50467 HAS SOPS 50467 HAS SOUS 39129 HAS SOUPS 39129 WITH SCORE 39179.467
AT ITER 3240 NEW BEST:: SOT 186309 SOS 50467 HAS SOPS 50467 HAS SOUS 39128 HAS SOUPS 39128 WITH SCORE 39178.467
AT ITER 3255 NEW BEST:: SOT 186308 SOS 50465 HAS SOPS 50465 HAS SOUS 39126 HAS SOUPS 39126 WITH SCORE 39176.465
AT ITER 3259 NEW BEST:: SOT 186307 SOS 50463 HAS SOPS 50463 HAS SOUS 39124 HAS SOUPS 39124 WITH SCORE 39174.463
AT ITER 3281 NEW BEST:: SOT 186307 SOS 50380 HAS SOPS 50380 HAS SOUS 39041 HAS SOUPS 39041 WITH SCORE 39091.38
AT ITER 3294 NEW BEST:: SOT 186366 SOS 50498 HAS SOPS 50498 HAS SOUS 39027 HAS SOUPS 39027 WITH SCORE 39077.498
AT ITER 3322 NEW BEST:: SOT 186393 SOS 50525 HAS SOPS 50525 HAS SOUS 38980 HAS SOUPS 38980 WITH SCORE 39030.525
AT ITER 3345 NEW BEST:: SOT 186393 SOS 50525 HAS SOPS 50525 HAS SOUS 38950 HAS SOUPS 38950 WITH SCORE 39000.525
AT ITER 3357 NEW BEST:: SOT 186393 SOS 50374 HAS SOPS 50374 HAS SOUS 38921 HAS SOUPS 38921 WITH SCORE 38971.374
AT ITER 3361 NEW BEST:: SOT 186392 SOS 50373 HAS SOPS 50373 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38969.373
AT ITER 3392 NEW BEST:: SOT 186388 SOS 50365 HAS SOPS 50365 HAS SOUS 38911 HAS SOUPS 38911 WITH SCORE 38961.365
AT ITER 3407 NEW BEST:: SOT 186359 SOS 50307 HAS SOPS 50307 HAS SOUS 38891 HAS SOUPS 38891 WITH SCORE 38941.307
AT ITER 3418 NEW BEST:: SOT 186325 SOS 50239 HAS SOPS 50239 HAS SOUS 38857 HAS SOUPS 38857 WITH SCORE 38907.239
AT ITER 3427 NEW BEST:: SOT 186325 SOS 50228 HAS SOPS 50228 HAS SOUS 38846 HAS SOUPS 38846 WITH SCORE 38896.228
AT ITER 3454 NEW BEST:: SOT 186325 SOS 50224 HAS SOPS 50224 HAS SOUS 38846 HAS SOUPS 38846 WITH SCORE 38896.224
AT ITER 3477 NEW BEST:: SOT 186323 SOS 50220 HAS SOPS 50220 HAS SOUS 38842 HAS SOUPS 38842 WITH SCORE 38892.22
AT ITER 3483 NEW BEST:: SOT 186293 SOS 50160 HAS SOPS 50160 HAS SOUS 38838 HAS SOUPS 38838 WITH SCORE 38888.16
AT ITER 3506 NEW BEST:: SOT 186306 SOS 50130 HAS SOPS 50130 HAS SOUS 38808 HAS SOUPS 38808 WITH SCORE 38858.13
AT ITER 3508 NEW BEST:: SOT 186313 SOS 50121 HAS SOPS 50121 HAS SOUS 38799 HAS SOUPS 38799 WITH SCORE 38849.121
AT ITER 3520 NEW BEST:: SOT 186313 SOS 50078 HAS SOPS 50078 HAS SOUS 38799 HAS SOUPS 38799 WITH SCORE 38849.078
AT ITER 3530 NEW BEST:: SOT 186351 SOS 50154 HAS SOPS 50154 HAS SOUS 38733 HAS SOUPS 38733 WITH SCORE 38783.154
AT ITER 3559 NEW BEST:: SOT 186319 SOS 50090 HAS SOPS 50090 HAS SOUS 38669 HAS SOUPS 38669 WITH SCORE 38719.09
AT ITER 3595 NEW BEST:: SOT 186307 SOS 50066 HAS SOPS 50066 HAS SOUS 38645 HAS SOUPS 38645 WITH SCORE 38695.066
AT ITER 3642 NEW BEST:: SOT 186298 SOS 50057 HAS SOPS 50057 HAS SOUS 38636 HAS SOUPS 38636 WITH SCORE 38686.057
AT ITER 3647 NEW BEST:: SOT 186316 SOS 50093 HAS SOPS 50093 HAS SOUS 38590 HAS SOUPS 38590 WITH SCORE 38640.093
AT ITER 3653 NEW BEST:: SOT 186297 SOS 50398 HAS SOPS 50398 HAS SOUS 38571 HAS SOUPS 38571 WITH SCORE 38621.398
AT ITER 3684 NEW BEST:: SOT 186282 SOS 50424 HAS SOPS 50424 HAS SOUS 38563 HAS SOUPS 38563 WITH SCORE 38613.424
AT ITER 3707 NEW BEST:: SOT 186274 SOS 50374 HAS SOPS 50374 HAS SOUS 38537 HAS SOUPS 38537 WITH SCORE 38587.374
AT ITER 3750 NEW BEST:: SOT 186237 SOS 50337 HAS SOPS 50337 HAS SOUS 38504 HAS SOUPS 38504 WITH SCORE 38554.337
AT ITER 3763 NEW BEST:: SOT 186184 SOS 50231 HAS SOPS 50231 HAS SOUS 38426 HAS SOUPS 38426 WITH SCORE 38476.231
AT ITER 3775 NEW BEST:: SOT 186157 SOS 50177 HAS SOPS 50177 HAS SOUS 38372 HAS SOUPS 38372 WITH SCORE 38422.177
AT ITER 3803 NEW BEST:: SOT 186157 SOS 50131 HAS SOPS 50131 HAS SOUS 38372 HAS SOUPS 38372 WITH SCORE 38422.131
AT ITER 3813 NEW BEST:: SOT 186148 SOS 50113 HAS SOPS 50113 HAS SOUS 38347 HAS SOUPS 38347 WITH SCORE 38397.113
AT ITER 3820 NEW BEST:: SOT 186107 SOS 50031 HAS SOPS 50031 HAS SOUS 38325 HAS SOUPS 38325 WITH SCORE 38375.031
AT ITER 3838 NEW BEST:: SOT 186107 SOS 50031 HAS SOPS 50031 HAS SOUS 38296 HAS SOUPS 38296 WITH SCORE 38346.031
AT ITER 3848 NEW BEST:: SOT 186100 SOS 50017 HAS SOPS 50017 HAS SOUS 38282 HAS SOUPS 38282 WITH SCORE 38332.017
AT ITER 3869 NEW BEST:: SOT 186098 SOS 50013 HAS SOPS 50013 HAS SOUS 38278 HAS SOUPS 38278 WITH SCORE 38328.013
AT ITER 3881 NEW BEST:: SOT 186098 SOS 50013 HAS SOPS 50013 HAS SOUS 38264 HAS SOUPS 38264 WITH SCORE 38314.013
AT ITER 3884 NEW BEST:: SOT 186098 SOS 49982 HAS SOPS 49982 HAS SOUS 38222 HAS SOUPS 38222 WITH SCORE 38271.982
AT ITER 3924 NEW BEST:: SOT 186098 SOS 49981 HAS SOPS 49981 HAS SOUS 38221 HAS SOUPS 38221 WITH SCORE 38270.981
AT ITER 3926 NEW BEST:: SOT 186098 SOS 49781 HAS SOPS 49781 HAS SOUS 38196 HAS SOUPS 38196 WITH SCORE 38245.781
AT ITER 3983 NEW BEST:: SOT 186053 SOS 49658 HAS SOPS 49658 HAS SOUS 38087 HAS SOUPS 38087 WITH SCORE 38136.658
AT ITER 3984 NEW BEST:: SOT 186041 SOS 49634 HAS SOPS 49634 HAS SOUS 38066 HAS SOUPS 38066 WITH SCORE 38115.634
AT ITER 4026 NEW BEST:: SOT 186039 SOS 49396 HAS SOPS 49396 HAS SOUS 37945 HAS SOUPS 37945 WITH SCORE 37994.396
AT ITER 4060 NEW BEST:: SOT 186019 SOS 49380 HAS SOPS 49380 HAS SOUS 37929 HAS SOUPS 37929 WITH SCORE 37978.38
AT ITER 4065 NEW BEST:: SOT 185976 SOS 49294 HAS SOPS 49294 HAS SOUS 37847 HAS SOUPS 37847 WITH SCORE 37896.294
AT ITER 4084 NEW BEST:: SOT 185976 SOS 49196 HAS SOPS 49196 HAS SOUS 37778 HAS SOUPS 37778 WITH SCORE 37827.196
AT ITER 4132 NEW BEST:: SOT 185939 SOS 49196 HAS SOPS 49196 HAS SOUS 37741 HAS SOUPS 37741 WITH SCORE 37790.196
AT ITER 4146 NEW BEST:: SOT 185967 SOS 49191 HAS SOPS 49191 HAS SOUS 37736 HAS SOUPS 37736 WITH SCORE 37785.191
AT ITER 4158 NEW BEST:: SOT 185957 SOS 49171 HAS SOPS 49171 HAS SOUS 37726 HAS SOUPS 37726 WITH SCORE 37775.171
AT ITER 4179 NEW BEST:: SOT 185935 SOS 49127 HAS SOPS 49127 HAS SOUS 37679 HAS SOUPS 37679 WITH SCORE 37728.127
AT ITER 4200 NEW BEST:: SOT 185935 SOS 49099 HAS SOPS 49099 HAS SOUS 37679 HAS SOUPS 37679 WITH SCORE 37728.099
AT ITER 4236 NEW BEST:: SOT 185988 SOS 49015 HAS SOPS 49015 HAS SOUS 37637 HAS SOUPS 37637 WITH SCORE 37686.015
AT ITER 4245 NEW BEST:: SOT 185974 SOS 48987 HAS SOPS 48987 HAS SOUS 37609 HAS SOUPS 37609 WITH SCORE 37657.987
AT ITER 4259 NEW BEST:: SOT 185973 SOS 48975 HAS SOPS 48975 HAS SOUS 37597 HAS SOUPS 37597 WITH SCORE 37645.975
AT ITER 4307 NEW BEST:: SOT 185968 SOS 48965 HAS SOPS 48965 HAS SOUS 37588 HAS SOUPS 37588 WITH SCORE 37636.965
AT ITER 4328 NEW BEST:: SOT 185980 SOS 48933 HAS SOPS 48933 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37620.933
AT ITER 4335 NEW BEST:: SOT 185900 SOS 48753 HAS SOPS 48753 HAS SOUS 37412 HAS SOUPS 37412 WITH SCORE 37460.753
AT ITER 4412 NEW BEST:: SOT 185900 SOS 48743 HAS SOPS 48743 HAS SOUS 37407 HAS SOUPS 37407 WITH SCORE 37455.743
AT ITER 4450 NEW BEST:: SOT 185875 SOS 48743 HAS SOPS 48743 HAS SOUS 37406 HAS SOUPS 37406 WITH SCORE 37454.743
AT ITER 4457 NEW BEST:: SOT 185875 SOS 48739 HAS SOPS 48739 HAS SOUS 37406 HAS SOUPS 37406 WITH SCORE 37454.739
AT ITER 4474 NEW BEST:: SOT 185874 SOS 48738 HAS SOPS 48738 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37452.738
AT ITER 4505 NEW BEST:: SOT 185871 SOS 48838 HAS SOPS 48838 HAS SOUS 37401 HAS SOUPS 37401 WITH SCORE 37449.838
AT ITER 4540 NEW BEST:: SOT 185871 SOS 48774 HAS SOPS 48774 HAS SOUS 37401 HAS SOUPS 37401 WITH SCORE 37449.774
AT ITER 4546 NEW BEST:: SOT 185871 SOS 48774 HAS SOPS 48774 HAS SOUS 37386 HAS SOUPS 37386 WITH SCORE 37434.774
AT ITER 4571 NEW BEST:: SOT 185871 SOS 48774 HAS SOPS 48774 HAS SOUS 37339 HAS SOUPS 37339 WITH SCORE 37387.774
AT ITER 4577 NEW BEST:: SOT 185843 SOS 48584 HAS SOPS 48584 HAS SOUS 37233 HAS SOUPS 37233 WITH SCORE 37281.584
AT ITER 4579 NEW BEST:: SOT 185832 SOS 48542 HAS SOPS 48542 HAS SOUS 37210 HAS SOUPS 37210 WITH SCORE 37258.542
AT ITER 4645 NEW BEST:: SOT 185720 SOS 48500 HAS SOPS 48500 HAS SOUS 37173 HAS SOUPS 37173 WITH SCORE 37221.5
AT ITER 4669 NEW BEST:: SOT 185710 SOS 48480 HAS SOPS 48480 HAS SOUS 37129 HAS SOUPS 37129 WITH SCORE 37177.48
AT ITER 4674 NEW BEST:: SOT 185702 SOS 48463 HAS SOPS 48463 HAS SOUS 37078 HAS SOUPS 37078 WITH SCORE 37126.463
AT ITER 4687 NEW BEST:: SOT 185702 SOS 43904 HAS SOPS 43904 HAS SOUS 36992 HAS SOUPS 36992 WITH SCORE 37035.904
AT ITER 4699 NEW BEST:: SOT 185699 SOS 43898 HAS SOPS 43898 HAS SOUS 36986 HAS SOUPS 36986 WITH SCORE 37029.898
AT ITER 4711 NEW BEST:: SOT 185665 SOS 43829 HAS SOPS 43829 HAS SOUS 36906 HAS SOUPS 36906 WITH SCORE 36949.829
AT ITER 4731 NEW BEST:: SOT 185649 SOS 43765 HAS SOPS 43765 HAS SOUS 36874 HAS SOUPS 36874 WITH SCORE 36917.765
AT ITER 4732 NEW BEST:: SOT 185649 SOS 43757 HAS SOPS 43757 HAS SOUS 36874 HAS SOUPS 36874 WITH SCORE 36917.757
AT ITER 4743 NEW BEST:: SOT 185632 SOS 43723 HAS SOPS 43723 HAS SOUS 36840 HAS SOUPS 36840 WITH SCORE 36883.723
AT ITER 4755 NEW BEST:: SOT 185629 SOS 43809 HAS SOPS 43809 HAS SOUS 36837 HAS SOUPS 36837 WITH SCORE 36880.809
AT ITER 4762 NEW BEST:: SOT 185629 SOS 43785 HAS SOPS 43785 HAS SOUS 36813 HAS SOUPS 36813 WITH SCORE 36856.785
AT ITER 4773 NEW BEST:: SOT 185608 SOS 43738 HAS SOPS 43738 HAS SOUS 36766 HAS SOUPS 36766 WITH SCORE 36809.738
AT ITER 4788 NEW BEST:: SOT 185623 SOS 43662 HAS SOPS 43662 HAS SOUS 36750 HAS SOUPS 36750 WITH SCORE 36793.662
AT ITER 4791 NEW BEST:: SOT 185618 SOS 43652 HAS SOPS 43652 HAS SOUS 36740 HAS SOUPS 36740 WITH SCORE 36783.652
AT ITER 4819 NEW BEST:: SOT 185615 SOS 43646 HAS SOPS 43646 HAS SOUS 36734 HAS SOUPS 36734 WITH SCORE 36777.646
AT ITER 4848 NEW BEST:: SOT 185595 SOS 43631 HAS SOPS 43631 HAS SOUS 36719 HAS SOUPS 36719 WITH SCORE 36762.631
AT ITER 4864 NEW BEST:: SOT 185589 SOS 43626 HAS SOPS 43626 HAS SOUS 36707 HAS SOUPS 36707 WITH SCORE 36750.626
AT ITER 4865 NEW BEST:: SOT 185578 SOS 43612 HAS SOPS 43612 HAS SOUS 36693 HAS SOUPS 36693 WITH SCORE 36736.612
AT ITER 4896 NEW BEST:: SOT 185576 SOS 43608 HAS SOPS 43608 HAS SOUS 36689 HAS SOUPS 36689 WITH SCORE 36732.608
AT ITER 4924 NEW BEST:: SOT 185537 SOS 43530 HAS SOPS 43530 HAS SOUS 36610 HAS SOUPS 36610 WITH SCORE 36653.53
AT ITER 4939 NEW BEST:: SOT 185535 SOS 43526 HAS SOPS 43526 HAS SOUS 36606 HAS SOUPS 36606 WITH SCORE 36649.526
AT ITER 4945 NEW BEST:: SOT 185530 SOS 43516 HAS SOPS 43516 HAS SOUS 36596 HAS SOUPS 36596 WITH SCORE 36639.516
AT ITER 4952 NEW BEST:: SOT 185552 SOS 43538 HAS SOPS 43538 HAS SOUS 36578 HAS SOUPS 36578 WITH SCORE 36621.538
AT ITER 4965 NEW BEST:: SOT 185540 SOS 43526 HAS SOPS 43526 HAS SOUS 36554 HAS SOUPS 36554 WITH SCORE 36597.526
AT ITER 4998 NEW BEST:: SOT 185528 SOS 43502 HAS SOPS 43502 HAS SOUS 36530 HAS SOUPS 36530 WITH SCORE 36573.502
AT ITER 5066 NEW BEST:: SOT 185528 SOS 43488 HAS SOPS 43488 HAS SOUS 36516 HAS SOUPS 36516 WITH SCORE 36559.488
AT ITER 5094 NEW BEST:: SOT 185516 SOS 43464 HAS SOPS 43464 HAS SOUS 36480 HAS SOUPS 36480 WITH SCORE 36523.464
AT ITER 5115 NEW BEST:: SOT 185583 SOS 43446 HAS SOPS 43446 HAS SOUS 36411 HAS SOUPS 36411 WITH SCORE 36454.446
AT ITER 5128 NEW BEST:: SOT 185584 SOS 43447 HAS SOPS 43447 HAS SOUS 36378 HAS SOUPS 36378 WITH SCORE 36421.447
AT ITER 5131 NEW BEST:: SOT 185584 SOS 43441 HAS SOPS 43441 HAS SOUS 36375 HAS SOUPS 36375 WITH SCORE 36418.441
AT ITER 5145 NEW BEST:: SOT 185588 SOS 43401 HAS SOPS 43401 HAS SOUS 36355 HAS SOUPS 36355 WITH SCORE 36398.401
AT ITER 5187 NEW BEST:: SOT 185589 SOS 43403 HAS SOPS 43403 HAS SOUS 36329 HAS SOUPS 36329 WITH SCORE 36372.403
AT ITER 5222 NEW BEST:: SOT 185589 SOS 43363 HAS SOPS 43363 HAS SOUS 36289 HAS SOUPS 36289 WITH SCORE 36332.363
AT ITER 5230 NEW BEST:: SOT 185565 SOS 43315 HAS SOPS 43315 HAS SOUS 36241 HAS SOUPS 36241 WITH SCORE 36284.315
AT ITER 5238 NEW BEST:: SOT 185563 SOS 43311 HAS SOPS 43311 HAS SOUS 36239 HAS SOUPS 36239 WITH SCORE 36282.311
AT ITER 5280 NEW BEST:: SOT 185553 SOS 43301 HAS SOPS 43301 HAS SOUS 36229 HAS SOUPS 36229 WITH SCORE 36272.301
AT ITER 5296 NEW BEST:: SOT 185534 SOS 43095 HAS SOPS 43095 HAS SOUS 36211 HAS SOUPS 36211 WITH SCORE 36254.095
AT ITER 5299 NEW BEST:: SOT 185532 SOS 43037 HAS SOPS 43037 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36250.037
AT ITER 5354 NEW BEST:: SOT 185532 SOS 42985 HAS SOPS 42985 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36249.985
AT ITER 5374 NEW BEST:: SOT 185492 SOS 42978 HAS SOPS 42978 HAS SOUS 36170 HAS SOUPS 36170 WITH SCORE 36212.978
AT ITER 5387 NEW BEST:: SOT 185481 SOS 42956 HAS SOPS 42956 HAS SOUS 36148 HAS SOUPS 36148 WITH SCORE 36190.956
AT ITER 5475 NEW BEST:: SOT 185471 SOS 42917 HAS SOPS 42917 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36179.917
AT ITER 5487 NEW BEST:: SOT 185453 SOS 42899 HAS SOPS 42899 HAS SOUS 36094 HAS SOUPS 36094 WITH SCORE 36136.899
AT ITER 5499 NEW BEST:: SOT 185440 SOS 42874 HAS SOPS 42874 HAS SOUS 36068 HAS SOUPS 36068 WITH SCORE 36110.874
AT ITER 5517 NEW BEST:: SOT 185421 SOS 42874 HAS SOPS 42874 HAS SOUS 36049 HAS SOUPS 36049 WITH SCORE 36091.874
AT ITER 5543 NEW BEST:: SOT 185413 SOS 42856 HAS SOPS 42856 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36075.856
AT ITER 5544 NEW BEST:: SOT 185501 SOS 42944 HAS SOPS 42944 HAS SOUS 36026 HAS SOUPS 36026 WITH SCORE 36068.944
AT ITER 5597 NEW BEST:: SOT 185499 SOS 42942 HAS SOPS 42942 HAS SOUS 36022 HAS SOUPS 36022 WITH SCORE 36064.942
AT ITER 5633 NEW BEST:: SOT 185485 SOS 42928 HAS SOPS 42928 HAS SOUS 36015 HAS SOUPS 36015 WITH SCORE 36057.928
AT ITER 5639 NEW BEST:: SOT 185484 SOS 42926 HAS SOPS 42926 HAS SOUS 36013 HAS SOUPS 36013 WITH SCORE 36055.926
AT ITER 5660 NEW BEST:: SOT 185484 SOS 42926 HAS SOPS 42926 HAS SOUS 36007 HAS SOUPS 36007 WITH SCORE 36049.926
AT ITER 5702 NEW BEST:: SOT 185484 SOS 42864 HAS SOPS 42864 HAS SOUS 35945 HAS SOUPS 35945 WITH SCORE 35987.864
AT ITER 5705 NEW BEST:: SOT 185477 SOS 42850 HAS SOPS 42850 HAS SOUS 35931 HAS SOUPS 35931 WITH SCORE 35973.85
AT ITER 5723 NEW BEST:: SOT 185409 SOS 42714 HAS SOPS 42714 HAS SOUS 35795 HAS SOUPS 35795 WITH SCORE 35837.714
AT ITER 5745 NEW BEST:: SOT 185376 SOS 42648 HAS SOPS 42648 HAS SOUS 35729 HAS SOUPS 35729 WITH SCORE 35771.648
AT ITER 5769 NEW BEST:: SOT 185376 SOS 42460 HAS SOPS 42460 HAS SOUS 35725 HAS SOUPS 35725 WITH SCORE 35767.46
AT ITER 5771 NEW BEST:: SOT 185336 SOS 42380 HAS SOPS 42380 HAS SOUS 35645 HAS SOUPS 35645 WITH SCORE 35687.38
AT ITER 5817 NEW BEST:: SOT 185316 SOS 42360 HAS SOPS 42360 HAS SOUS 35605 HAS SOUPS 35605 WITH SCORE 35647.36
AT ITER 5861 NEW BEST:: SOT 185315 SOS 42359 HAS SOPS 42359 HAS SOUS 35603 HAS SOUPS 35603 WITH SCORE 35645.359
AT ITER 5865 NEW BEST:: SOT 185309 SOS 42353 HAS SOPS 42353 HAS SOUS 35597 HAS SOUPS 35597 WITH SCORE 35639.353
AT ITER 5891 NEW BEST:: SOT 185302 SOS 42339 HAS SOPS 42339 HAS SOUS 35583 HAS SOUPS 35583 WITH SCORE 35625.339
AT ITER 5895 NEW BEST:: SOT 185295 SOS 42325 HAS SOPS 42325 HAS SOUS 35569 HAS SOUPS 35569 WITH SCORE 35611.325
AT ITER 5909 NEW BEST:: SOT 185292 SOS 42319 HAS SOPS 42319 HAS SOUS 35566 HAS SOUPS 35566 WITH SCORE 35608.319
AT ITER 5942 NEW BEST:: SOT 185365 SOS 42305 HAS SOPS 42305 HAS SOUS 35559 HAS SOUPS 35559 WITH SCORE 35601.305
AT ITER 5959 NEW BEST:: SOT 185356 SOS 42287 HAS SOPS 42287 HAS SOUS 35541 HAS SOUPS 35541 WITH SCORE 35583.287
AT ITER 5990 NEW BEST:: SOT 185356 SOS 42266 HAS SOPS 42266 HAS SOUS 35527 HAS SOUPS 35527 WITH SCORE 35569.266
AT ITER 5997 NEW BEST:: SOT 185349 SOS 42261 HAS SOPS 42261 HAS SOUS 35522 HAS SOUPS 35522 WITH SCORE 35564.261
AT ITER 6053 NEW BEST:: SOT 185306 SOS 42244 HAS SOPS 42244 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35547.244
AT ITER 6058 NEW BEST:: SOT 185303 SOS 42238 HAS SOPS 42238 HAS SOUS 35499 HAS SOUPS 35499 WITH SCORE 35541.238
AT ITER 6064 NEW BEST:: SOT 185301 SOS 42190 HAS SOPS 42190 HAS SOUS 35495 HAS SOUPS 35495 WITH SCORE 35537.19
AT ITER 6096 NEW BEST:: SOT 185301 SOS 42084 HAS SOPS 42084 HAS SOUS 35442 HAS SOUPS 35442 WITH SCORE 35484.084
AT ITER 6157 NEW BEST:: SOT 185287 SOS 42042 HAS SOPS 42042 HAS SOUS 35400 HAS SOUPS 35400 WITH SCORE 35442.042
AT ITER 6184 NEW BEST:: SOT 185291 SOS 42040 HAS SOPS 42040 HAS SOUS 35399 HAS SOUPS 35399 WITH SCORE 35441.04
AT ITER 6264 NEW BEST:: SOT 185285 SOS 41990 HAS SOPS 41990 HAS SOUS 35349 HAS SOUPS 35349 WITH SCORE 35390.99
AT ITER 6274 NEW BEST:: SOT 185262 SOS 41962 HAS SOPS 41962 HAS SOUS 35321 HAS SOUPS 35321 WITH SCORE 35362.962
AT ITER 6304 NEW BEST:: SOT 185261 SOS 41959 HAS SOPS 41959 HAS SOUS 35318 HAS SOUPS 35318 WITH SCORE 35359.959
AT ITER 6305 NEW BEST:: SOT 185233 SOS 41903 HAS SOPS 41903 HAS SOUS 35262 HAS SOUPS 35262 WITH SCORE 35303.903
AT ITER 6364 NEW BEST:: SOT 185233 SOS 41901 HAS SOPS 41901 HAS SOUS 35262 HAS SOUPS 35262 WITH SCORE 35303.901
AT ITER 6377 NEW BEST:: SOT 185240 SOS 41701 HAS SOPS 41701 HAS SOUS 35162 HAS SOUPS 35162 WITH SCORE 35203.701
AT ITER 6524 NEW BEST:: SOT 185240 SOS 41699 HAS SOPS 41699 HAS SOUS 35160 HAS SOUPS 35160 WITH SCORE 35201.699
AT ITER 6529 NEW BEST:: SOT 185213 SOS 41645 HAS SOPS 41645 HAS SOUS 35160 HAS SOUPS 35160 WITH SCORE 35201.645
AT ITER 6548 NEW BEST:: SOT 185203 SOS 41603 HAS SOPS 41603 HAS SOUS 35118 HAS SOUPS 35118 WITH SCORE 35159.603
AT ITER 6572 NEW BEST:: SOT 185215 SOS 41545 HAS SOPS 41545 HAS SOUS 35101 HAS SOUPS 35101 WITH SCORE 35142.545
AT ITER 6665 NEW BEST:: SOT 185207 SOS 41529 HAS SOPS 41529 HAS SOUS 35085 HAS SOUPS 35085 WITH SCORE 35126.529
AT ITER 6726 NEW BEST:: SOT 185186 SOS 41487 HAS SOPS 41487 HAS SOUS 35064 HAS SOUPS 35064 WITH SCORE 35105.487
AT ITER 6771 NEW BEST:: SOT 185191 SOS 41497 HAS SOPS 41497 HAS SOUS 35053 HAS SOUPS 35053 WITH SCORE 35094.497
AT ITER 6787 NEW BEST:: SOT 185184 SOS 41483 HAS SOPS 41483 HAS SOUS 35045 HAS SOUPS 35045 WITH SCORE 35086.483
AT ITER 6898 NEW BEST:: SOT 185181 SOS 41477 HAS SOPS 41477 HAS SOUS 35039 HAS SOUPS 35039 WITH SCORE 35080.477
AT ITER 6905 NEW BEST:: SOT 185127 SOS 41453 HAS SOPS 41453 HAS SOUS 35011 HAS SOUPS 35011 WITH SCORE 35052.453
AT ITER 7022 NEW BEST:: SOT 185114 SOS 41427 HAS SOPS 41427 HAS SOUS 35011 HAS SOUPS 35011 WITH SCORE 35052.427
AT ITER 7027 NEW BEST:: SOT 185092 SOS 41326 HAS SOPS 41326 HAS SOUS 34881 HAS SOUPS 34881 WITH SCORE 34922.326
AT ITER 7037 NEW BEST:: SOT 185087 SOS 41316 HAS SOPS 41316 HAS SOUS 34871 HAS SOUPS 34871 WITH SCORE 34912.316
AT ITER 7073 NEW BEST:: SOT 185006 SOS 41244 HAS SOPS 41244 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34840.244
AT ITER 7077 NEW BEST:: SOT 185006 SOS 41244 HAS SOPS 41244 HAS SOUS 34792 HAS SOUPS 34792 WITH SCORE 34833.244
AT ITER 7082 NEW BEST:: SOT 185006 SOS 41232 HAS SOPS 41232 HAS SOUS 34792 HAS SOUPS 34792 WITH SCORE 34833.232
AT ITER 7134 NEW BEST:: SOT 185003 SOS 41226 HAS SOPS 41226 HAS SOUS 34786 HAS SOUPS 34786 WITH SCORE 34827.226
AT ITER 7232 NEW BEST:: SOT 185003 SOS 41206 HAS SOPS 41206 HAS SOUS 34766 HAS SOUPS 34766 WITH SCORE 34807.206
AT ITER 7234 NEW BEST:: SOT 185003 SOS 41206 HAS SOPS 41206 HAS SOUS 34740 HAS SOUPS 34740 WITH SCORE 34781.206
AT ITER 7260 NEW BEST:: SOT 184999 SOS 41198 HAS SOPS 41198 HAS SOUS 34732 HAS SOUPS 34732 WITH SCORE 34773.198
AT ITER 7269 NEW BEST:: SOT 184986 SOS 41098 HAS SOPS 41098 HAS SOUS 34706 HAS SOUPS 34706 WITH SCORE 34747.098
AT ITER 7319 NEW BEST:: SOT 184977 SOS 41080 HAS SOPS 41080 HAS SOUS 34685 HAS SOUPS 34685 WITH SCORE 34726.08
AT ITER 7368 NEW BEST:: SOT 184976 SOS 41077 HAS SOPS 41077 HAS SOUS 34683 HAS SOUPS 34683 WITH SCORE 34724.077
AT ITER 7389 NEW BEST:: SOT 184963 SOS 41067 HAS SOPS 41067 HAS SOUS 34657 HAS SOUPS 34657 WITH SCORE 34698.067
AT ITER 7430 NEW BEST:: SOT 184946 SOS 40989 HAS SOPS 40989 HAS SOUS 34631 HAS SOUPS 34631 WITH SCORE 34671.989
AT ITER 7446 NEW BEST:: SOT 184925 SOS 40947 HAS SOPS 40947 HAS SOUS 34589 HAS SOUPS 34589 WITH SCORE 34629.947
AT ITER 7469 NEW BEST:: SOT 184925 SOS 40889 HAS SOPS 40889 HAS SOUS 34560 HAS SOUPS 34560 WITH SCORE 34600.889
AT ITER 7499 NEW BEST:: SOT 184924 SOS 40851 HAS SOPS 40851 HAS SOUS 34534 HAS SOUPS 34534 WITH SCORE 34574.851
AT ITER 7512 NEW BEST:: SOT 184928 SOS 40859 HAS SOPS 40859 HAS SOUS 34527 HAS SOUPS 34527 WITH SCORE 34567.859
AT ITER 7516 NEW BEST:: SOT 184892 SOS 40834 HAS SOPS 40834 HAS SOUS 34489 HAS SOUPS 34489 WITH SCORE 34529.834
AT ITER 7536 NEW BEST:: SOT 184876 SOS 40802 HAS SOPS 40802 HAS SOUS 34457 HAS SOUPS 34457 WITH SCORE 34497.802
AT ITER 7546 NEW BEST:: SOT 184876 SOS 40802 HAS SOPS 40802 HAS SOUS 34428 HAS SOUPS 34428 WITH SCORE 34468.802
AT ITER 7572 NEW BEST:: SOT 184875 SOS 40800 HAS SOPS 40800 HAS SOUS 34426 HAS SOUPS 34426 WITH SCORE 34466.8
AT ITER 7654 NEW BEST:: SOT 184860 SOS 40770 HAS SOPS 40770 HAS SOUS 34396 HAS SOUPS 34396 WITH SCORE 34436.77
AT ITER 7669 NEW BEST:: SOT 184830 SOS 40678 HAS SOPS 40678 HAS SOUS 34336 HAS SOUPS 34336 WITH SCORE 34376.678
AT ITER 7725 NEW BEST:: SOT 184817 SOS 40671 HAS SOPS 40671 HAS SOUS 34323 HAS SOUPS 34323 WITH SCORE 34363.671
AT ITER 7728 NEW BEST:: SOT 184817 SOS 40671 HAS SOPS 40671 HAS SOUS 34260 HAS SOUPS 34260 WITH SCORE 34300.671
AT ITER 7752 NEW BEST:: SOT 184815 SOS 40667 HAS SOPS 40667 HAS SOUS 34256 HAS SOUPS 34256 WITH SCORE 34296.667
AT ITER 7782 NEW BEST:: SOT 184800 SOS 40674 HAS SOPS 40674 HAS SOUS 34233 HAS SOUPS 34233 WITH SCORE 34273.674
AT ITER 7826 NEW BEST:: SOT 184783 SOS 40657 HAS SOPS 40657 HAS SOUS 34216 HAS SOUPS 34216 WITH SCORE 34256.657
AT ITER 7829 NEW BEST:: SOT 184779 SOS 40611 HAS SOPS 40611 HAS SOUS 34208 HAS SOUPS 34208 WITH SCORE 34248.611
AT ITER 7886 NEW BEST:: SOT 184777 SOS 40607 HAS SOPS 40607 HAS SOUS 34200 HAS SOUPS 34200 WITH SCORE 34240.607
AT ITER 7895 NEW BEST:: SOT 184772 SOS 40602 HAS SOPS 40602 HAS SOUS 34190 HAS SOUPS 34190 WITH SCORE 34230.602
AT ITER 7915 NEW BEST:: SOT 184756 SOS 40586 HAS SOPS 40586 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34214.586
AT ITER 7924 NEW BEST:: SOT 184756 SOS 40575 HAS SOPS 40575 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34214.575
AT ITER 7951 NEW BEST:: SOT 184736 SOS 40535 HAS SOPS 40535 HAS SOUS 34174 HAS SOUPS 34174 WITH SCORE 34214.535
AT ITER 7988 NEW BEST:: SOT 184686 SOS 40461 HAS SOPS 40461 HAS SOUS 34124 HAS SOUPS 34124 WITH SCORE 34164.461
AT ITER 8017 NEW BEST:: SOT 184686 SOS 40443 HAS SOPS 40443 HAS SOUS 34124 HAS SOUPS 34124 WITH SCORE 34164.443
AT ITER 8030 NEW BEST:: SOT 184428 SOS 40206 HAS SOPS 40206 HAS SOUS 33887 HAS SOUPS 33887 WITH SCORE 33927.206
AT ITER 8084 NEW BEST:: SOT 184417 SOS 40155 HAS SOPS 40155 HAS SOUS 33845 HAS SOUPS 33845 WITH SCORE 33885.155
AT ITER 8104 NEW BEST:: SOT 184407 SOS 40135 HAS SOPS 40135 HAS SOUS 33843 HAS SOUPS 33843 WITH SCORE 33883.135
AT ITER 8110 NEW BEST:: SOT 184420 SOS 40120 HAS SOPS 40120 HAS SOUS 33827 HAS SOUPS 33827 WITH SCORE 33867.12
AT ITER 8152 NEW BEST:: SOT 184395 SOS 40119 HAS SOPS 40119 HAS SOUS 33826 HAS SOUPS 33826 WITH SCORE 33866.119
AT ITER 8156 NEW BEST:: SOT 184391 SOS 40115 HAS SOPS 40115 HAS SOUS 33822 HAS SOUPS 33822 WITH SCORE 33862.115
AT ITER 8172 NEW BEST:: SOT 184391 SOS 40095 HAS SOPS 40095 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33852.095
AT ITER 8239 NEW BEST:: SOT 184399 SOS 40111 HAS SOPS 40111 HAS SOUS 33809 HAS SOUPS 33809 WITH SCORE 33849.111
AT ITER 8250 NEW BEST:: SOT 184399 SOS 40096 HAS SOPS 40096 HAS SOUS 33794 HAS SOUPS 33794 WITH SCORE 33834.096
AT ITER 8259 NEW BEST:: SOT 184383 SOS 40096 HAS SOPS 40096 HAS SOUS 33778 HAS SOUPS 33778 WITH SCORE 33818.096
AT ITER 8273 NEW BEST:: SOT 184381 SOS 40029 HAS SOPS 40029 HAS SOUS 33711 HAS SOUPS 33711 WITH SCORE 33751.029
AT ITER 8279 NEW BEST:: SOT 184381 SOS 40029 HAS SOPS 40029 HAS SOUS 33700 HAS SOUPS 33700 WITH SCORE 33740.029
AT ITER 8306 NEW BEST:: SOT 184381 SOS 40011 HAS SOPS 40011 HAS SOUS 33700 HAS SOUPS 33700 WITH SCORE 33740.011
AT ITER 8416 NEW BEST:: SOT 184378 SOS 39949 HAS SOPS 39949 HAS SOUS 33694 HAS SOUPS 33694 WITH SCORE 33733.949
AT ITER 8424 NEW BEST:: SOT 184378 SOS 39947 HAS SOPS 39947 HAS SOUS 33690 HAS SOUPS 33690 WITH SCORE 33729.947
AT ITER 8595 NEW BEST:: SOT 184343 SOS 39934 HAS SOPS 39934 HAS SOUS 33677 HAS SOUPS 33677 WITH SCORE 33716.934
AT ITER 8601 NEW BEST:: SOT 184339 SOS 39930 HAS SOPS 39930 HAS SOUS 33626 HAS SOUPS 33626 WITH SCORE 33665.93
AT ITER 8629 NEW BEST:: SOT 184369 SOS 39930 HAS SOPS 39930 HAS SOUS 33596 HAS SOUPS 33596 WITH SCORE 33635.93
AT ITER 8646 NEW BEST:: SOT 184369 SOS 39921 HAS SOPS 39921 HAS SOUS 33587 HAS SOUPS 33587 WITH SCORE 33626.921
AT ITER 8691 NEW BEST:: SOT 184369 SOS 39921 HAS SOPS 39921 HAS SOUS 33584 HAS SOUPS 33584 WITH SCORE 33623.921
AT ITER 8714 NEW BEST:: SOT 184377 SOS 39904 HAS SOPS 39904 HAS SOUS 33579 HAS SOUPS 33579 WITH SCORE 33618.904
AT ITER 8789 NEW BEST:: SOT 184377 SOS 39877 HAS SOPS 39877 HAS SOUS 33552 HAS SOUPS 33552 WITH SCORE 33591.877
AT ITER 8811 NEW BEST:: SOT 184377 SOS 39877 HAS SOPS 39877 HAS SOUS 33544 HAS SOUPS 33544 WITH SCORE 33583.877
AT ITER 8819 NEW BEST:: SOT 184377 SOS 39765 HAS SOPS 39765 HAS SOUS 33488 HAS SOUPS 33488 WITH SCORE 33527.765
AT ITER 8860 NEW BEST:: SOT 184377 SOS 39763 HAS SOPS 39763 HAS SOUS 33487 HAS SOUPS 33487 WITH SCORE 33526.763
AT ITER 8960 NEW BEST:: SOT 184365 SOS 39745 HAS SOPS 39745 HAS SOUS 33469 HAS SOUPS 33469 WITH SCORE 33508.745
AT ITER 9003 NEW BEST:: SOT 184360 SOS 39735 HAS SOPS 39735 HAS SOUS 33459 HAS SOUPS 33459 WITH SCORE 33498.735
AT ITER 9008 NEW BEST:: SOT 184360 SOS 39707 HAS SOPS 39707 HAS SOUS 33422 HAS SOUPS 33422 WITH SCORE 33461.707
AT ITER 9137 NEW BEST:: SOT 184351 SOS 39689 HAS SOPS 39689 HAS SOUS 33404 HAS SOUPS 33404 WITH SCORE 33443.689
AT ITER 9189 NEW BEST:: SOT 184314 SOS 39615 HAS SOPS 39615 HAS SOUS 33330 HAS SOUPS 33330 WITH SCORE 33369.615
AT ITER 9190 NEW BEST:: SOT 184307 SOS 39532 HAS SOPS 39532 HAS SOUS 33316 HAS SOUPS 33316 WITH SCORE 33355.532
AT ITER 9196 NEW BEST:: SOT 184307 SOS 39520 HAS SOPS 39520 HAS SOUS 33304 HAS SOUPS 33304 WITH SCORE 33343.52
AT ITER 9242 NEW BEST:: SOT 184307 SOS 39483 HAS SOPS 39483 HAS SOUS 33304 HAS SOUPS 33304 WITH SCORE 33343.483
AT ITER 9320 NEW BEST:: SOT 184301 SOS 39405 HAS SOPS 39405 HAS SOUS 33290 HAS SOUPS 33290 WITH SCORE 33329.405
AT ITER 9321 NEW BEST:: SOT 184280 SOS 39363 HAS SOPS 39363 HAS SOUS 33250 HAS SOUPS 33250 WITH SCORE 33289.363
AT ITER 9322 NEW BEST:: SOT 184250 SOS 39303 HAS SOPS 39303 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33229.303
AT ITER 9446 NEW BEST:: SOT 184299 SOS 39281 HAS SOPS 39281 HAS SOUS 33175 HAS SOUPS 33175 WITH SCORE 33214.281
AT ITER 9449 NEW BEST:: SOT 184299 SOS 39281 HAS SOPS 39281 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33208.281
AT ITER 9474 NEW BEST:: SOT 184287 SOS 39257 HAS SOPS 39257 HAS SOUS 33145 HAS SOUPS 33145 WITH SCORE 33184.257
AT ITER 9515 NEW BEST:: SOT 184287 SOS 39252 HAS SOPS 39252 HAS SOUS 33145 HAS SOUPS 33145 WITH SCORE 33184.252
AT ITER 9539 NEW BEST:: SOT 184278 SOS 39234 HAS SOPS 39234 HAS SOUS 33081 HAS SOUPS 33081 WITH SCORE 33120.234
AT ITER 9558 NEW BEST:: SOT 184278 SOS 39234 HAS SOPS 39234 HAS SOUS 33079 HAS SOUPS 33079 WITH SCORE 33118.234
AT ITER 9577 NEW BEST:: SOT 184278 SOS 39227 HAS SOPS 39227 HAS SOUS 33072 HAS SOUPS 33072 WITH SCORE 33111.227
AT ITER 9606 NEW BEST:: SOT 184330 SOS 39279 HAS SOPS 39279 HAS SOUS 33045 HAS SOUPS 33045 WITH SCORE 33084.279
AT ITER 9650 NEW BEST:: SOT 184330 SOS 39231 HAS SOPS 39231 HAS SOUS 33045 HAS SOUPS 33045 WITH SCORE 33084.231
AT ITER 9684 NEW BEST:: SOT 184290 SOS 39151 HAS SOPS 39151 HAS SOUS 32957 HAS SOUPS 32957 WITH SCORE 32996.151
AT ITER 9701 NEW BEST:: SOT 184275 SOS 39147 HAS SOPS 39147 HAS SOUS 32950 HAS SOUPS 32950 WITH SCORE 32989.147
AT ITER 9738 NEW BEST:: SOT 184275 SOS 39147 HAS SOPS 39147 HAS SOUS 32945 HAS SOUPS 32945 WITH SCORE 32984.147
AT ITER 9776 NEW BEST:: SOT 184312 SOS 39105 HAS SOPS 39105 HAS SOUS 32927 HAS SOUPS 32927 WITH SCORE 32966.105
AT ITER 9797 NEW BEST:: SOT 184312 SOS 39096 HAS SOPS 39096 HAS SOUS 32918 HAS SOUPS 32918 WITH SCORE 32957.096
AT ITER 9871 NEW BEST:: SOT 184312 SOS 39096 HAS SOPS 39096 HAS SOUS 32917 HAS SOUPS 32917 WITH SCORE 32956.096
AT ITER 9968 NEW BEST:: SOT 184309 SOS 39082 HAS SOPS 39082 HAS SOUS 32906 HAS SOUPS 32906 WITH SCORE 32945.082
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15237124 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153704 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-28b"
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-28b, 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-167840342000112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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