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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 692K
-rw-r--r-- 1 mcc users 8.8K Feb 25 14:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 25 14:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 14:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 14:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 25 14:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 25 14:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:18 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 199K 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 1678466379456

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-40b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 40b
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: 796 places, 837 transitions, 2077 arcs.
AT ITER 0 NEW BEST:: SOT 376848 SOS 100369 HAS SOPS 100369 HAS SOUS 91343 HAS SOUPS 91343 WITH SCORE 91443.369
AT ITER 16 NEW BEST:: SOT 376848 SOS 100369 HAS SOPS 100369 HAS SOUS 91342 HAS SOUPS 91342 WITH SCORE 91442.369
AT ITER 58 NEW BEST:: SOT 376820 SOS 100313 HAS SOPS 100313 HAS SOUS 91286 HAS SOUPS 91286 WITH SCORE 91386.313
AT ITER 67 NEW BEST:: SOT 376802 SOS 100259 HAS SOPS 100259 HAS SOUS 91250 HAS SOUPS 91250 WITH SCORE 91350.259
AT ITER 73 NEW BEST:: SOT 376802 SOS 100259 HAS SOPS 100259 HAS SOUS 91241 HAS SOUPS 91241 WITH SCORE 91341.259
AT ITER 90 NEW BEST:: SOT 376802 SOS 100256 HAS SOPS 100256 HAS SOUS 91238 HAS SOUPS 91238 WITH SCORE 91338.256
AT ITER 107 NEW BEST:: SOT 376670 SOS 100116 HAS SOPS 100116 HAS SOUS 91106 HAS SOUPS 91106 WITH SCORE 91206.116
AT ITER 109 NEW BEST:: SOT 376602 SOS 99980 HAS SOPS 99980 HAS SOUS 90970 HAS SOUPS 90970 WITH SCORE 91069.98
AT ITER 113 NEW BEST:: SOT 376602 SOS 99903 HAS SOPS 99903 HAS SOUS 90970 HAS SOUPS 90970 WITH SCORE 91069.903
AT ITER 135 NEW BEST:: SOT 376569 SOS 99858 HAS SOPS 99858 HAS SOUS 90937 HAS SOUPS 90937 WITH SCORE 91036.858
AT ITER 137 NEW BEST:: SOT 376569 SOS 99742 HAS SOPS 99742 HAS SOUS 90879 HAS SOUPS 90879 WITH SCORE 90978.742
AT ITER 143 NEW BEST:: SOT 376569 SOS 99742 HAS SOPS 99742 HAS SOUS 90878 HAS SOUPS 90878 WITH SCORE 90977.742
AT ITER 146 NEW BEST:: SOT 376569 SOS 99638 HAS SOPS 99638 HAS SOUS 90878 HAS SOUPS 90878 WITH SCORE 90977.638
AT ITER 162 NEW BEST:: SOT 376466 SOS 99541 HAS SOPS 99541 HAS SOUS 90789 HAS SOUPS 90789 WITH SCORE 90888.541
AT ITER 191 NEW BEST:: SOT 376466 SOS 99503 HAS SOPS 99503 HAS SOUS 90751 HAS SOUPS 90751 WITH SCORE 90850.503
AT ITER 195 NEW BEST:: SOT 376466 SOS 99503 HAS SOPS 99503 HAS SOUS 90750 HAS SOUPS 90750 WITH SCORE 90849.503
AT ITER 196 NEW BEST:: SOT 376466 SOS 99361 HAS SOPS 99361 HAS SOUS 90749 HAS SOUPS 90749 WITH SCORE 90848.361
AT ITER 207 NEW BEST:: SOT 376438 SOS 99327 HAS SOPS 99327 HAS SOUS 90721 HAS SOUPS 90721 WITH SCORE 90820.327
AT ITER 229 NEW BEST:: SOT 376438 SOS 99327 HAS SOPS 99327 HAS SOUS 90720 HAS SOUPS 90720 WITH SCORE 90819.327
AT ITER 232 NEW BEST:: SOT 376405 SOS 99297 HAS SOPS 99297 HAS SOUS 90712 HAS SOUPS 90712 WITH SCORE 90811.297
AT ITER 237 NEW BEST:: SOT 376405 SOS 99297 HAS SOPS 99297 HAS SOUS 90585 HAS SOUPS 90585 WITH SCORE 90684.297
AT ITER 245 NEW BEST:: SOT 376403 SOS 99293 HAS SOPS 99293 HAS SOUS 90581 HAS SOUPS 90581 WITH SCORE 90680.293
AT ITER 253 NEW BEST:: SOT 376403 SOS 99195 HAS SOPS 99195 HAS SOUS 90581 HAS SOUPS 90581 WITH SCORE 90680.195
AT ITER 259 NEW BEST:: SOT 376403 SOS 99087 HAS SOPS 99087 HAS SOUS 90581 HAS SOUPS 90581 WITH SCORE 90680.087
AT ITER 268 NEW BEST:: SOT 376375 SOS 99031 HAS SOPS 99031 HAS SOUS 90461 HAS SOUPS 90461 WITH SCORE 90560.031
AT ITER 287 NEW BEST:: SOT 376375 SOS 98948 HAS SOPS 98948 HAS SOUS 90384 HAS SOUPS 90384 WITH SCORE 90482.948
AT ITER 305 NEW BEST:: SOT 376367 SOS 98932 HAS SOPS 98932 HAS SOUS 90376 HAS SOUPS 90376 WITH SCORE 90474.932
AT ITER 313 NEW BEST:: SOT 376353 SOS 98918 HAS SOPS 98918 HAS SOUS 90362 HAS SOUPS 90362 WITH SCORE 90460.918
AT ITER 321 NEW BEST:: SOT 376281 SOS 98839 HAS SOPS 98839 HAS SOUS 90290 HAS SOUPS 90290 WITH SCORE 90388.839
AT ITER 333 NEW BEST:: SOT 376281 SOS 98649 HAS SOPS 98649 HAS SOUS 90195 HAS SOUPS 90195 WITH SCORE 90293.649
AT ITER 336 NEW BEST:: SOT 376281 SOS 98649 HAS SOPS 98649 HAS SOUS 90194 HAS SOUPS 90194 WITH SCORE 90292.649
AT ITER 350 NEW BEST:: SOT 376233 SOS 98586 HAS SOPS 98586 HAS SOUS 90146 HAS SOUPS 90146 WITH SCORE 90244.586
AT ITER 358 NEW BEST:: SOT 376233 SOS 98800 HAS SOPS 98800 HAS SOUS 90144 HAS SOUPS 90144 WITH SCORE 90242.8
AT ITER 361 NEW BEST:: SOT 376118 SOS 98497 HAS SOPS 98497 HAS SOUS 89914 HAS SOUPS 89914 WITH SCORE 90012.497
AT ITER 365 NEW BEST:: SOT 376118 SOS 98381 HAS SOPS 98381 HAS SOUS 89856 HAS SOUPS 89856 WITH SCORE 89954.381
AT ITER 373 NEW BEST:: SOT 376118 SOS 98386 HAS SOPS 98386 HAS SOUS 89799 HAS SOUPS 89799 WITH SCORE 89897.386
AT ITER 391 NEW BEST:: SOT 376076 SOS 98302 HAS SOPS 98302 HAS SOUS 89715 HAS SOUPS 89715 WITH SCORE 89813.302
AT ITER 402 NEW BEST:: SOT 375988 SOS 98196 HAS SOPS 98196 HAS SOUS 89609 HAS SOUPS 89609 WITH SCORE 89707.196
AT ITER 404 NEW BEST:: SOT 375892 SOS 98085 HAS SOPS 98085 HAS SOUS 89519 HAS SOUPS 89519 WITH SCORE 89617.085
AT ITER 419 NEW BEST:: SOT 375892 SOS 97983 HAS SOPS 97983 HAS SOUS 89519 HAS SOUPS 89519 WITH SCORE 89616.983
AT ITER 435 NEW BEST:: SOT 375892 SOS 97983 HAS SOPS 97983 HAS SOUS 89518 HAS SOUPS 89518 WITH SCORE 89615.983
AT ITER 447 NEW BEST:: SOT 375852 SOS 97943 HAS SOPS 97943 HAS SOUS 89478 HAS SOUPS 89478 WITH SCORE 89575.943
AT ITER 449 NEW BEST:: SOT 375852 SOS 97943 HAS SOPS 97943 HAS SOUS 89477 HAS SOUPS 89477 WITH SCORE 89574.943
AT ITER 456 NEW BEST:: SOT 375694 SOS 97785 HAS SOPS 97785 HAS SOUS 89319 HAS SOUPS 89319 WITH SCORE 89416.785
AT ITER 459 NEW BEST:: SOT 375694 SOS 97785 HAS SOPS 97785 HAS SOUS 89318 HAS SOUPS 89318 WITH SCORE 89415.785
AT ITER 468 NEW BEST:: SOT 375694 SOS 97661 HAS SOPS 97661 HAS SOUS 89194 HAS SOUPS 89194 WITH SCORE 89291.661
AT ITER 475 NEW BEST:: SOT 375694 SOS 97597 HAS SOPS 97597 HAS SOUS 89192 HAS SOUPS 89192 WITH SCORE 89289.597
AT ITER 480 NEW BEST:: SOT 375602 SOS 97505 HAS SOPS 97505 HAS SOUS 89100 HAS SOUPS 89100 WITH SCORE 89197.505
AT ITER 528 NEW BEST:: SOT 375602 SOS 97453 HAS SOPS 97453 HAS SOUS 89048 HAS SOUPS 89048 WITH SCORE 89145.453
AT ITER 541 NEW BEST:: SOT 375591 SOS 97442 HAS SOPS 97442 HAS SOUS 89048 HAS SOUPS 89048 WITH SCORE 89145.442
AT ITER 555 NEW BEST:: SOT 375565 SOS 97394 HAS SOPS 97394 HAS SOUS 89022 HAS SOUPS 89022 WITH SCORE 89119.394
AT ITER 557 NEW BEST:: SOT 375565 SOS 97394 HAS SOPS 97394 HAS SOUS 89021 HAS SOUPS 89021 WITH SCORE 89118.394
AT ITER 588 NEW BEST:: SOT 375565 SOS 97329 HAS SOPS 97329 HAS SOUS 88956 HAS SOUPS 88956 WITH SCORE 89053.329
AT ITER 601 NEW BEST:: SOT 375549 SOS 97313 HAS SOPS 97313 HAS SOUS 88956 HAS SOUPS 88956 WITH SCORE 89053.313
AT ITER 651 NEW BEST:: SOT 375549 SOS 97218 HAS SOPS 97218 HAS SOUS 88956 HAS SOUPS 88956 WITH SCORE 89053.218
AT ITER 655 NEW BEST:: SOT 375543 SOS 97212 HAS SOPS 97212 HAS SOUS 88950 HAS SOUPS 88950 WITH SCORE 89047.212
AT ITER 662 NEW BEST:: SOT 375480 SOS 97149 HAS SOPS 97149 HAS SOUS 88887 HAS SOUPS 88887 WITH SCORE 88984.149
AT ITER 668 NEW BEST:: SOT 375480 SOS 97149 HAS SOPS 97149 HAS SOUS 88886 HAS SOUPS 88886 WITH SCORE 88983.149
AT ITER 679 NEW BEST:: SOT 375480 SOS 97031 HAS SOPS 97031 HAS SOUS 88827 HAS SOUPS 88827 WITH SCORE 88924.031
AT ITER 702 NEW BEST:: SOT 375480 SOS 97019 HAS SOPS 97019 HAS SOUS 88815 HAS SOUPS 88815 WITH SCORE 88912.019
AT ITER 703 NEW BEST:: SOT 375480 SOS 97019 HAS SOPS 97019 HAS SOUS 88814 HAS SOUPS 88814 WITH SCORE 88911.019
AT ITER 739 NEW BEST:: SOT 375480 SOS 96864 HAS SOPS 96864 HAS SOUS 88697 HAS SOUPS 88697 WITH SCORE 88793.864
AT ITER 744 NEW BEST:: SOT 375410 SOS 96794 HAS SOPS 96794 HAS SOUS 88627 HAS SOUPS 88627 WITH SCORE 88723.794
AT ITER 749 NEW BEST:: SOT 375410 SOS 96794 HAS SOPS 96794 HAS SOUS 88575 HAS SOUPS 88575 WITH SCORE 88671.794
AT ITER 755 NEW BEST:: SOT 375499 SOS 96700 HAS SOPS 96700 HAS SOUS 88572 HAS SOUPS 88572 WITH SCORE 88668.7
AT ITER 764 NEW BEST:: SOT 375499 SOS 96616 HAS SOPS 96616 HAS SOUS 88572 HAS SOUPS 88572 WITH SCORE 88668.616
AT ITER 785 NEW BEST:: SOT 375467 SOS 96552 HAS SOPS 96552 HAS SOUS 88539 HAS SOUPS 88539 WITH SCORE 88635.552
AT ITER 845 NEW BEST:: SOT 375451 SOS 96536 HAS SOPS 96536 HAS SOUS 88523 HAS SOUPS 88523 WITH SCORE 88619.536
AT ITER 849 NEW BEST:: SOT 375451 SOS 96465 HAS SOPS 96465 HAS SOUS 88463 HAS SOUPS 88463 WITH SCORE 88559.465
AT ITER 884 NEW BEST:: SOT 375451 SOS 96456 HAS SOPS 96456 HAS SOUS 88454 HAS SOUPS 88454 WITH SCORE 88550.456
AT ITER 899 NEW BEST:: SOT 375322 SOS 96246 HAS SOPS 96246 HAS SOUS 88244 HAS SOUPS 88244 WITH SCORE 88340.246
AT ITER 932 NEW BEST:: SOT 375321 SOS 96244 HAS SOPS 96244 HAS SOUS 88242 HAS SOUPS 88242 WITH SCORE 88338.244
AT ITER 959 NEW BEST:: SOT 375321 SOS 96233 HAS SOPS 96233 HAS SOUS 88231 HAS SOUPS 88231 WITH SCORE 88327.233
AT ITER 969 NEW BEST:: SOT 375321 SOS 96221 HAS SOPS 96221 HAS SOUS 88231 HAS SOUPS 88231 WITH SCORE 88327.221
AT ITER 974 NEW BEST:: SOT 375289 SOS 96212 HAS SOPS 96212 HAS SOUS 88212 HAS SOUPS 88212 WITH SCORE 88308.212
AT ITER 1005 NEW BEST:: SOT 375308 SOS 96168 HAS SOPS 96168 HAS SOUS 88168 HAS SOUPS 88168 WITH SCORE 88264.168
AT ITER 1018 NEW BEST:: SOT 375308 SOS 96168 HAS SOPS 96168 HAS SOUS 88167 HAS SOUPS 88167 WITH SCORE 88263.168
AT ITER 1022 NEW BEST:: SOT 375349 SOS 96160 HAS SOPS 96160 HAS SOUS 88159 HAS SOUPS 88159 WITH SCORE 88255.16
AT ITER 1023 NEW BEST:: SOT 375270 SOS 96098 HAS SOPS 96098 HAS SOUS 88090 HAS SOUPS 88090 WITH SCORE 88186.098
AT ITER 1027 NEW BEST:: SOT 375270 SOS 96021 HAS SOPS 96021 HAS SOUS 88013 HAS SOUPS 88013 WITH SCORE 88109.021
AT ITER 1029 NEW BEST:: SOT 375270 SOS 95945 HAS SOPS 95945 HAS SOUS 88013 HAS SOUPS 88013 WITH SCORE 88108.945
AT ITER 1034 NEW BEST:: SOT 375257 SOS 95932 HAS SOPS 95932 HAS SOUS 88000 HAS SOUPS 88000 WITH SCORE 88095.932
AT ITER 1044 NEW BEST:: SOT 375192 SOS 95850 HAS SOPS 95850 HAS SOUS 87935 HAS SOUPS 87935 WITH SCORE 88030.85
AT ITER 1049 NEW BEST:: SOT 375159 SOS 95820 HAS SOPS 95820 HAS SOUS 87905 HAS SOUPS 87905 WITH SCORE 88000.82
AT ITER 1112 NEW BEST:: SOT 375080 SOS 95745 HAS SOPS 95745 HAS SOUS 87844 HAS SOUPS 87844 WITH SCORE 87939.745
AT ITER 1128 NEW BEST:: SOT 375066 SOS 95717 HAS SOPS 95717 HAS SOUS 87816 HAS SOUPS 87816 WITH SCORE 87911.717
AT ITER 1155 NEW BEST:: SOT 375066 SOS 95717 HAS SOPS 95717 HAS SOUS 87815 HAS SOUPS 87815 WITH SCORE 87910.717
AT ITER 1161 NEW BEST:: SOT 374992 SOS 95614 HAS SOPS 95614 HAS SOUS 87741 HAS SOUPS 87741 WITH SCORE 87836.614
AT ITER 1171 NEW BEST:: SOT 374992 SOS 95614 HAS SOPS 95614 HAS SOUS 87740 HAS SOUPS 87740 WITH SCORE 87835.614
AT ITER 1207 NEW BEST:: SOT 374992 SOS 95572 HAS SOPS 95572 HAS SOUS 87698 HAS SOUPS 87698 WITH SCORE 87793.572
AT ITER 1208 NEW BEST:: SOT 374992 SOS 95572 HAS SOPS 95572 HAS SOUS 87600 HAS SOUPS 87600 WITH SCORE 87695.572
AT ITER 1213 NEW BEST:: SOT 374923 SOS 95472 HAS SOPS 95472 HAS SOUS 87531 HAS SOUPS 87531 WITH SCORE 87626.472
AT ITER 1219 NEW BEST:: SOT 374931 SOS 95465 HAS SOPS 95465 HAS SOUS 87524 HAS SOUPS 87524 WITH SCORE 87619.465
AT ITER 1251 NEW BEST:: SOT 374931 SOS 95465 HAS SOPS 95465 HAS SOUS 87523 HAS SOUPS 87523 WITH SCORE 87618.465
AT ITER 1253 NEW BEST:: SOT 374982 SOS 95395 HAS SOPS 95395 HAS SOUS 87453 HAS SOUPS 87453 WITH SCORE 87548.395
AT ITER 1254 NEW BEST:: SOT 374982 SOS 95395 HAS SOPS 95395 HAS SOUS 87390 HAS SOUPS 87390 WITH SCORE 87485.395
AT ITER 1266 NEW BEST:: SOT 374970 SOS 95371 HAS SOPS 95371 HAS SOUS 87378 HAS SOUPS 87378 WITH SCORE 87473.371
AT ITER 1282 NEW BEST:: SOT 374976 SOS 95314 HAS SOPS 95314 HAS SOUS 87321 HAS SOUPS 87321 WITH SCORE 87416.314
AT ITER 1306 NEW BEST:: SOT 374946 SOS 95301 HAS SOPS 95301 HAS SOUS 87308 HAS SOUPS 87308 WITH SCORE 87403.301
AT ITER 1337 NEW BEST:: SOT 374946 SOS 95301 HAS SOPS 95301 HAS SOUS 87307 HAS SOUPS 87307 WITH SCORE 87402.301
AT ITER 1373 NEW BEST:: SOT 374946 SOS 95301 HAS SOPS 95301 HAS SOUS 87306 HAS SOUPS 87306 WITH SCORE 87401.301
AT ITER 1398 NEW BEST:: SOT 374946 SOS 95301 HAS SOPS 95301 HAS SOUS 87305 HAS SOUPS 87305 WITH SCORE 87400.301
AT ITER 1402 NEW BEST:: SOT 374981 SOS 95277 HAS SOPS 95277 HAS SOUS 87281 HAS SOUPS 87281 WITH SCORE 87376.277
AT ITER 1406 NEW BEST:: SOT 375018 SOS 95351 HAS SOPS 95351 HAS SOUS 87275 HAS SOUPS 87275 WITH SCORE 87370.351
AT ITER 1407 NEW BEST:: SOT 375225 SOS 95765 HAS SOPS 95765 HAS SOUS 87186 HAS SOUPS 87186 WITH SCORE 87281.765
AT ITER 1419 NEW BEST:: SOT 375233 SOS 95732 HAS SOPS 95732 HAS SOUS 87153 HAS SOUPS 87153 WITH SCORE 87248.732
AT ITER 1426 NEW BEST:: SOT 375233 SOS 95732 HAS SOPS 95732 HAS SOUS 87152 HAS SOUPS 87152 WITH SCORE 87247.732
AT ITER 1432 NEW BEST:: SOT 375233 SOS 95648 HAS SOPS 95648 HAS SOUS 87110 HAS SOUPS 87110 WITH SCORE 87205.648
AT ITER 1447 NEW BEST:: SOT 375275 SOS 95236 HAS SOPS 95236 HAS SOUS 86923 HAS SOUPS 86923 WITH SCORE 87018.236
AT ITER 1485 NEW BEST:: SOT 375275 SOS 95236 HAS SOPS 95236 HAS SOUS 86922 HAS SOUPS 86922 WITH SCORE 87017.236
AT ITER 1491 NEW BEST:: SOT 375254 SOS 95194 HAS SOPS 95194 HAS SOUS 86906 HAS SOUPS 86906 WITH SCORE 87001.194
AT ITER 1529 NEW BEST:: SOT 375274 SOS 95164 HAS SOPS 95164 HAS SOUS 86876 HAS SOUPS 86876 WITH SCORE 86971.164
AT ITER 1555 NEW BEST:: SOT 375378 SOS 95052 HAS SOPS 95052 HAS SOUS 86848 HAS SOUPS 86848 WITH SCORE 86943.052
AT ITER 1556 NEW BEST:: SOT 375364 SOS 95024 HAS SOPS 95024 HAS SOUS 86819 HAS SOUPS 86819 WITH SCORE 86914.024
AT ITER 1570 NEW BEST:: SOT 375213 SOS 94722 HAS SOPS 94722 HAS SOUS 86804 HAS SOUPS 86804 WITH SCORE 86898.722
AT ITER 1571 NEW BEST:: SOT 375213 SOS 94722 HAS SOPS 94722 HAS SOUS 86803 HAS SOUPS 86803 WITH SCORE 86897.722
AT ITER 1598 NEW BEST:: SOT 375213 SOS 94716 HAS SOPS 94716 HAS SOUS 86797 HAS SOUPS 86797 WITH SCORE 86891.716
AT ITER 1620 NEW BEST:: SOT 375213 SOS 94716 HAS SOPS 94716 HAS SOUS 86783 HAS SOUPS 86783 WITH SCORE 86877.716
AT ITER 1633 NEW BEST:: SOT 375213 SOS 94716 HAS SOPS 94716 HAS SOUS 86772 HAS SOUPS 86772 WITH SCORE 86866.716
AT ITER 1641 NEW BEST:: SOT 375213 SOS 94716 HAS SOPS 94716 HAS SOUS 86771 HAS SOUPS 86771 WITH SCORE 86865.716
AT ITER 1658 NEW BEST:: SOT 375189 SOS 94644 HAS SOPS 94644 HAS SOUS 86699 HAS SOUPS 86699 WITH SCORE 86793.644
AT ITER 1708 NEW BEST:: SOT 375188 SOS 94642 HAS SOPS 94642 HAS SOUS 86697 HAS SOUPS 86697 WITH SCORE 86791.642
AT ITER 1716 NEW BEST:: SOT 375156 SOS 94578 HAS SOPS 94578 HAS SOUS 86633 HAS SOUPS 86633 WITH SCORE 86727.578
AT ITER 1734 NEW BEST:: SOT 375156 SOS 94499 HAS SOPS 94499 HAS SOUS 86554 HAS SOUPS 86554 WITH SCORE 86648.499
AT ITER 1754 NEW BEST:: SOT 375066 SOS 94454 HAS SOPS 94454 HAS SOUS 86509 HAS SOUPS 86509 WITH SCORE 86603.454
AT ITER 1767 NEW BEST:: SOT 375066 SOS 94286 HAS SOPS 94286 HAS SOUS 86425 HAS SOUPS 86425 WITH SCORE 86519.286
AT ITER 1834 NEW BEST:: SOT 375066 SOS 94286 HAS SOPS 94286 HAS SOUS 86369 HAS SOUPS 86369 WITH SCORE 86463.286
AT ITER 1868 NEW BEST:: SOT 375057 SOS 94268 HAS SOPS 94268 HAS SOUS 86351 HAS SOUPS 86351 WITH SCORE 86445.268
AT ITER 1915 NEW BEST:: SOT 375053 SOS 94264 HAS SOPS 94264 HAS SOUS 86347 HAS SOUPS 86347 WITH SCORE 86441.264
AT ITER 1919 NEW BEST:: SOT 375053 SOS 94264 HAS SOPS 94264 HAS SOUS 86346 HAS SOUPS 86346 WITH SCORE 86440.264
AT ITER 1932 NEW BEST:: SOT 375016 SOS 94190 HAS SOPS 94190 HAS SOUS 86274 HAS SOUPS 86274 WITH SCORE 86368.19
AT ITER 1938 NEW BEST:: SOT 371974 SOS 91374 HAS SOPS 91374 HAS SOUS 83397 HAS SOUPS 83397 WITH SCORE 83488.374
AT ITER 1956 NEW BEST:: SOT 371961 SOS 91348 HAS SOPS 91348 HAS SOUS 83371 HAS SOUPS 83371 WITH SCORE 83462.348
AT ITER 1975 NEW BEST:: SOT 371914 SOS 91301 HAS SOPS 91301 HAS SOUS 83324 HAS SOUPS 83324 WITH SCORE 83415.301
AT ITER 1992 NEW BEST:: SOT 371914 SOS 91301 HAS SOPS 91301 HAS SOUS 83293 HAS SOUPS 83293 WITH SCORE 83384.301
AT ITER 2005 NEW BEST:: SOT 371958 SOS 91299 HAS SOPS 91299 HAS SOUS 83291 HAS SOUPS 83291 WITH SCORE 83382.299
AT ITER 2016 NEW BEST:: SOT 371942 SOS 91283 HAS SOPS 91283 HAS SOUS 83275 HAS SOUPS 83275 WITH SCORE 83366.283
AT ITER 2022 NEW BEST:: SOT 371942 SOS 91283 HAS SOPS 91283 HAS SOUS 83226 HAS SOUPS 83226 WITH SCORE 83317.283
AT ITER 2052 NEW BEST:: SOT 371934 SOS 91267 HAS SOPS 91267 HAS SOUS 83210 HAS SOUPS 83210 WITH SCORE 83301.267
AT ITER 2077 NEW BEST:: SOT 371934 SOS 91267 HAS SOPS 91267 HAS SOUS 83133 HAS SOUPS 83133 WITH SCORE 83224.267
AT ITER 2123 NEW BEST:: SOT 371968 SOS 91241 HAS SOPS 91241 HAS SOUS 83107 HAS SOUPS 83107 WITH SCORE 83198.241
AT ITER 2136 NEW BEST:: SOT 371968 SOS 91241 HAS SOPS 91241 HAS SOUS 83105 HAS SOUPS 83105 WITH SCORE 83196.241
AT ITER 2141 NEW BEST:: SOT 371968 SOS 91147 HAS SOPS 91147 HAS SOUS 83058 HAS SOUPS 83058 WITH SCORE 83149.147
AT ITER 2151 NEW BEST:: SOT 371968 SOS 90978 HAS SOPS 90978 HAS SOUS 82889 HAS SOUPS 82889 WITH SCORE 82979.978
AT ITER 2152 NEW BEST:: SOT 371959 SOS 90960 HAS SOPS 90960 HAS SOUS 82871 HAS SOUPS 82871 WITH SCORE 82961.96
AT ITER 2160 NEW BEST:: SOT 371959 SOS 90800 HAS SOPS 90800 HAS SOUS 82791 HAS SOUPS 82791 WITH SCORE 82881.8
AT ITER 2174 NEW BEST:: SOT 371959 SOS 90800 HAS SOPS 90800 HAS SOUS 82790 HAS SOUPS 82790 WITH SCORE 82880.8
AT ITER 2208 NEW BEST:: SOT 371937 SOS 90756 HAS SOPS 90756 HAS SOUS 82768 HAS SOUPS 82768 WITH SCORE 82858.756
AT ITER 2224 NEW BEST:: SOT 371937 SOS 90756 HAS SOPS 90756 HAS SOUS 82767 HAS SOUPS 82767 WITH SCORE 82857.756
AT ITER 2233 NEW BEST:: SOT 371947 SOS 90740 HAS SOPS 90740 HAS SOUS 82757 HAS SOUPS 82757 WITH SCORE 82847.74
AT ITER 2241 NEW BEST:: SOT 371947 SOS 90694 HAS SOPS 90694 HAS SOUS 82734 HAS SOUPS 82734 WITH SCORE 82824.694
AT ITER 2282 NEW BEST:: SOT 371924 SOS 90608 HAS SOPS 90608 HAS SOUS 82685 HAS SOUPS 82685 WITH SCORE 82775.608
AT ITER 2290 NEW BEST:: SOT 371999 SOS 90434 HAS SOPS 90434 HAS SOUS 82635 HAS SOUPS 82635 WITH SCORE 82725.434
AT ITER 2295 NEW BEST:: SOT 371990 SOS 90416 HAS SOPS 90416 HAS SOUS 82617 HAS SOUPS 82617 WITH SCORE 82707.416
AT ITER 2365 NEW BEST:: SOT 371972 SOS 90380 HAS SOPS 90380 HAS SOUS 82581 HAS SOUPS 82581 WITH SCORE 82671.38
AT ITER 2380 NEW BEST:: SOT 371955 SOS 90363 HAS SOPS 90363 HAS SOUS 82548 HAS SOUPS 82548 WITH SCORE 82638.363
AT ITER 2401 NEW BEST:: SOT 371894 SOS 90180 HAS SOPS 90180 HAS SOUS 82426 HAS SOUPS 82426 WITH SCORE 82516.18
AT ITER 2415 NEW BEST:: SOT 371869 SOS 90109 HAS SOPS 90109 HAS SOUS 82424 HAS SOUPS 82424 WITH SCORE 82514.109
AT ITER 2417 NEW BEST:: SOT 371869 SOS 90109 HAS SOPS 90109 HAS SOUS 82423 HAS SOUPS 82423 WITH SCORE 82513.109
AT ITER 2435 NEW BEST:: SOT 371662 SOS 90099 HAS SOPS 90099 HAS SOUS 82413 HAS SOUPS 82413 WITH SCORE 82503.099
AT ITER 2462 NEW BEST:: SOT 369660 SOS 88152 HAS SOPS 88152 HAS SOUS 80466 HAS SOUPS 80466 WITH SCORE 80554.152
AT ITER 2463 NEW BEST:: SOT 369664 SOS 87930 HAS SOPS 87930 HAS SOUS 80355 HAS SOUPS 80355 WITH SCORE 80442.93
AT ITER 2481 NEW BEST:: SOT 369664 SOS 87794 HAS SOPS 87794 HAS SOUS 80287 HAS SOUPS 80287 WITH SCORE 80374.794
AT ITER 2493 NEW BEST:: SOT 369144 SOS 87755 HAS SOPS 87755 HAS SOUS 79796 HAS SOUPS 79796 WITH SCORE 79883.755
AT ITER 2494 NEW BEST:: SOT 369155 SOS 87777 HAS SOPS 87777 HAS SOUS 79772 HAS SOUPS 79772 WITH SCORE 79859.777
AT ITER 2509 NEW BEST:: SOT 369151 SOS 87769 HAS SOPS 87769 HAS SOUS 79764 HAS SOUPS 79764 WITH SCORE 79851.769
AT ITER 2569 NEW BEST:: SOT 369186 SOS 87747 HAS SOPS 87747 HAS SOUS 79760 HAS SOUPS 79760 WITH SCORE 79847.747
AT ITER 2571 NEW BEST:: SOT 369186 SOS 87743 HAS SOPS 87743 HAS SOUS 79756 HAS SOUPS 79756 WITH SCORE 79843.743
AT ITER 2579 NEW BEST:: SOT 369186 SOS 87743 HAS SOPS 87743 HAS SOUS 79742 HAS SOUPS 79742 WITH SCORE 79829.743
AT ITER 2601 NEW BEST:: SOT 369163 SOS 87697 HAS SOPS 87697 HAS SOUS 79703 HAS SOUPS 79703 WITH SCORE 79790.697
AT ITER 2619 NEW BEST:: SOT 369163 SOS 87697 HAS SOPS 87697 HAS SOUS 79686 HAS SOUPS 79686 WITH SCORE 79773.697
AT ITER 2624 NEW BEST:: SOT 369149 SOS 87650 HAS SOPS 87650 HAS SOUS 79604 HAS SOUPS 79604 WITH SCORE 79691.65
AT ITER 2627 NEW BEST:: SOT 369111 SOS 87574 HAS SOPS 87574 HAS SOUS 79528 HAS SOUPS 79528 WITH SCORE 79615.574
AT ITER 2628 NEW BEST:: SOT 369060 SOS 87523 HAS SOPS 87523 HAS SOUS 79477 HAS SOUPS 79477 WITH SCORE 79564.523
AT ITER 2635 NEW BEST:: SOT 369010 SOS 87437 HAS SOPS 87437 HAS SOUS 79397 HAS SOUPS 79397 WITH SCORE 79484.437
AT ITER 2640 NEW BEST:: SOT 368972 SOS 87333 HAS SOPS 87333 HAS SOUS 79293 HAS SOUPS 79293 WITH SCORE 79380.333
AT ITER 2665 NEW BEST:: SOT 368972 SOS 87333 HAS SOPS 87333 HAS SOUS 79291 HAS SOUPS 79291 WITH SCORE 79378.333
AT ITER 2683 NEW BEST:: SOT 368950 SOS 87332 HAS SOPS 87332 HAS SOUS 79290 HAS SOUPS 79290 WITH SCORE 79377.332
AT ITER 2690 NEW BEST:: SOT 368952 SOS 87336 HAS SOPS 87336 HAS SOUS 79278 HAS SOUPS 79278 WITH SCORE 79365.336
AT ITER 2693 NEW BEST:: SOT 368934 SOS 87300 HAS SOPS 87300 HAS SOUS 79242 HAS SOUPS 79242 WITH SCORE 79329.3
AT ITER 2705 NEW BEST:: SOT 368921 SOS 87274 HAS SOPS 87274 HAS SOUS 79226 HAS SOUPS 79226 WITH SCORE 79313.274
AT ITER 2721 NEW BEST:: SOT 368921 SOS 87274 HAS SOPS 87274 HAS SOUS 79225 HAS SOUPS 79225 WITH SCORE 79312.274
AT ITER 2762 NEW BEST:: SOT 368911 SOS 87259 HAS SOPS 87259 HAS SOUS 79210 HAS SOUPS 79210 WITH SCORE 79297.259
AT ITER 2823 NEW BEST:: SOT 368911 SOS 87229 HAS SOPS 87229 HAS SOUS 79195 HAS SOUPS 79195 WITH SCORE 79282.229
AT ITER 2826 NEW BEST:: SOT 368838 SOS 87051 HAS SOPS 87051 HAS SOUS 79043 HAS SOUPS 79043 WITH SCORE 79130.051
AT ITER 2835 NEW BEST:: SOT 368838 SOS 87020 HAS SOPS 87020 HAS SOUS 79012 HAS SOUPS 79012 WITH SCORE 79099.02
AT ITER 2845 NEW BEST:: SOT 368838 SOS 87020 HAS SOPS 87020 HAS SOUS 79010 HAS SOUPS 79010 WITH SCORE 79097.02
AT ITER 2847 NEW BEST:: SOT 368961 SOS 86974 HAS SOPS 86974 HAS SOUS 78964 HAS SOUPS 78964 WITH SCORE 79050.974
AT ITER 2852 NEW BEST:: SOT 368936 SOS 86924 HAS SOPS 86924 HAS SOUS 78830 HAS SOUPS 78830 WITH SCORE 78916.924
AT ITER 2860 NEW BEST:: SOT 368908 SOS 86896 HAS SOPS 86896 HAS SOUS 78802 HAS SOUPS 78802 WITH SCORE 78888.896
AT ITER 2890 NEW BEST:: SOT 368908 SOS 86882 HAS SOPS 86882 HAS SOUS 78802 HAS SOUPS 78802 WITH SCORE 78888.882
AT ITER 2910 NEW BEST:: SOT 368844 SOS 86613 HAS SOPS 86613 HAS SOUS 78597 HAS SOUPS 78597 WITH SCORE 78683.613
AT ITER 2942 NEW BEST:: SOT 368845 SOS 86615 HAS SOPS 86615 HAS SOUS 78545 HAS SOUPS 78545 WITH SCORE 78631.615
AT ITER 2945 NEW BEST:: SOT 368761 SOS 86447 HAS SOPS 86447 HAS SOUS 78377 HAS SOUPS 78377 WITH SCORE 78463.447
AT ITER 2956 NEW BEST:: SOT 368754 SOS 86332 HAS SOPS 86332 HAS SOUS 78363 HAS SOUPS 78363 WITH SCORE 78449.332
AT ITER 2999 NEW BEST:: SOT 368742 SOS 86308 HAS SOPS 86308 HAS SOUS 78339 HAS SOUPS 78339 WITH SCORE 78425.308
AT ITER 3000 NEW BEST:: SOT 368710 SOS 86258 HAS SOPS 86258 HAS SOUS 78293 HAS SOUPS 78293 WITH SCORE 78379.258
AT ITER 3003 NEW BEST:: SOT 368627 SOS 86060 HAS SOPS 86060 HAS SOUS 78125 HAS SOUPS 78125 WITH SCORE 78211.06
AT ITER 3013 NEW BEST:: SOT 368621 SOS 86048 HAS SOPS 86048 HAS SOUS 78112 HAS SOUPS 78112 WITH SCORE 78198.048
AT ITER 3058 NEW BEST:: SOT 368579 SOS 85932 HAS SOPS 85932 HAS SOUS 78013 HAS SOUPS 78013 WITH SCORE 78098.932
AT ITER 3068 NEW BEST:: SOT 368555 SOS 85884 HAS SOPS 85884 HAS SOUS 77965 HAS SOUPS 77965 WITH SCORE 78050.884
AT ITER 3074 NEW BEST:: SOT 368645 SOS 85870 HAS SOPS 85870 HAS SOUS 77951 HAS SOUPS 77951 WITH SCORE 78036.87
AT ITER 3079 NEW BEST:: SOT 368644 SOS 85869 HAS SOPS 85869 HAS SOUS 77949 HAS SOUPS 77949 WITH SCORE 78034.869
AT ITER 3080 NEW BEST:: SOT 368642 SOS 85867 HAS SOPS 85867 HAS SOUS 77947 HAS SOUPS 77947 WITH SCORE 78032.867
AT ITER 3083 NEW BEST:: SOT 368603 SOS 85757 HAS SOPS 85757 HAS SOUS 77893 HAS SOUPS 77893 WITH SCORE 77978.757
AT ITER 3100 NEW BEST:: SOT 368626 SOS 85475 HAS SOPS 85475 HAS SOUS 77775 HAS SOUPS 77775 WITH SCORE 77860.475
AT ITER 3102 NEW BEST:: SOT 368586 SOS 85395 HAS SOPS 85395 HAS SOUS 77753 HAS SOUPS 77753 WITH SCORE 77838.395
AT ITER 3114 NEW BEST:: SOT 368639 SOS 85501 HAS SOPS 85501 HAS SOUS 77750 HAS SOUPS 77750 WITH SCORE 77835.501
AT ITER 3118 NEW BEST:: SOT 368611 SOS 85417 HAS SOPS 85417 HAS SOUS 77694 HAS SOUPS 77694 WITH SCORE 77779.417
AT ITER 3130 NEW BEST:: SOT 368640 SOS 85475 HAS SOPS 85475 HAS SOUS 77675 HAS SOUPS 77675 WITH SCORE 77760.475
AT ITER 3148 NEW BEST:: SOT 368627 SOS 85449 HAS SOPS 85449 HAS SOUS 77649 HAS SOUPS 77649 WITH SCORE 77734.449
AT ITER 3150 NEW BEST:: SOT 368627 SOS 85449 HAS SOPS 85449 HAS SOUS 77635 HAS SOUPS 77635 WITH SCORE 77720.449
AT ITER 3167 NEW BEST:: SOT 368597 SOS 85448 HAS SOPS 85448 HAS SOUS 77605 HAS SOUPS 77605 WITH SCORE 77690.448
AT ITER 3171 NEW BEST:: SOT 368626 SOS 85288 HAS SOPS 85288 HAS SOUS 77525 HAS SOUPS 77525 WITH SCORE 77610.288
AT ITER 3186 NEW BEST:: SOT 368626 SOS 85288 HAS SOPS 85288 HAS SOUS 77523 HAS SOUPS 77523 WITH SCORE 77608.288
AT ITER 3219 NEW BEST:: SOT 368563 SOS 85162 HAS SOPS 85162 HAS SOUS 77397 HAS SOUPS 77397 WITH SCORE 77482.162
AT ITER 3235 NEW BEST:: SOT 368528 SOS 85151 HAS SOPS 85151 HAS SOUS 77386 HAS SOUPS 77386 WITH SCORE 77471.151
AT ITER 3239 NEW BEST:: SOT 368528 SOS 85145 HAS SOPS 85145 HAS SOUS 77386 HAS SOUPS 77386 WITH SCORE 77471.145
AT ITER 3246 NEW BEST:: SOT 368528 SOS 85145 HAS SOPS 85145 HAS SOUS 77371 HAS SOUPS 77371 WITH SCORE 77456.145
AT ITER 3257 NEW BEST:: SOT 368509 SOS 85069 HAS SOPS 85069 HAS SOUS 77314 HAS SOUPS 77314 WITH SCORE 77399.069
AT ITER 3283 NEW BEST:: SOT 368372 SOS 84980 HAS SOPS 84980 HAS SOUS 77245 HAS SOUPS 77245 WITH SCORE 77329.98
AT ITER 3297 NEW BEST:: SOT 368311 SOS 84919 HAS SOPS 84919 HAS SOUS 77195 HAS SOUPS 77195 WITH SCORE 77279.919
AT ITER 3313 NEW BEST:: SOT 368311 SOS 84881 HAS SOPS 84881 HAS SOUS 77157 HAS SOUPS 77157 WITH SCORE 77241.881
AT ITER 3358 NEW BEST:: SOT 368324 SOS 84894 HAS SOPS 84894 HAS SOUS 77142 HAS SOUPS 77142 WITH SCORE 77226.894
AT ITER 3385 NEW BEST:: SOT 368324 SOS 84877 HAS SOPS 84877 HAS SOUS 77125 HAS SOUPS 77125 WITH SCORE 77209.877
AT ITER 3410 NEW BEST:: SOT 368324 SOS 84876 HAS SOPS 84876 HAS SOUS 77124 HAS SOUPS 77124 WITH SCORE 77208.876
AT ITER 3419 NEW BEST:: SOT 368346 SOS 84812 HAS SOPS 84812 HAS SOUS 77092 HAS SOUPS 77092 WITH SCORE 77176.812
AT ITER 3440 NEW BEST:: SOT 368344 SOS 84808 HAS SOPS 84808 HAS SOUS 77088 HAS SOUPS 77088 WITH SCORE 77172.808
AT ITER 3474 NEW BEST:: SOT 368286 SOS 84692 HAS SOPS 84692 HAS SOUS 77023 HAS SOUPS 77023 WITH SCORE 77107.692
AT ITER 3512 NEW BEST:: SOT 368268 SOS 84656 HAS SOPS 84656 HAS SOUS 76969 HAS SOUPS 76969 WITH SCORE 77053.656
AT ITER 3516 NEW BEST:: SOT 368343 SOS 84520 HAS SOPS 84520 HAS SOUS 76914 HAS SOUPS 76914 WITH SCORE 76998.52
AT ITER 3541 NEW BEST:: SOT 368266 SOS 84418 HAS SOPS 84418 HAS SOUS 76831 HAS SOUPS 76831 WITH SCORE 76915.418
AT ITER 3547 NEW BEST:: SOT 368253 SOS 84253 HAS SOPS 84253 HAS SOUS 76805 HAS SOUPS 76805 WITH SCORE 76889.253
AT ITER 3550 NEW BEST:: SOT 368197 SOS 84141 HAS SOPS 84141 HAS SOUS 76693 HAS SOUPS 76693 WITH SCORE 76777.141
AT ITER 3570 NEW BEST:: SOT 368197 SOS 84127 HAS SOPS 84127 HAS SOUS 76679 HAS SOUPS 76679 WITH SCORE 76763.127
AT ITER 3571 NEW BEST:: SOT 368141 SOS 84108 HAS SOPS 84108 HAS SOUS 76660 HAS SOUPS 76660 WITH SCORE 76744.108
AT ITER 3581 NEW BEST:: SOT 368064 SOS 84031 HAS SOPS 84031 HAS SOUS 76563 HAS SOUPS 76563 WITH SCORE 76647.031
AT ITER 3584 NEW BEST:: SOT 368064 SOS 84031 HAS SOPS 84031 HAS SOUS 76537 HAS SOUPS 76537 WITH SCORE 76621.031
AT ITER 3596 NEW BEST:: SOT 368049 SOS 84001 HAS SOPS 84001 HAS SOUS 76522 HAS SOUPS 76522 WITH SCORE 76606.001
AT ITER 3604 NEW BEST:: SOT 367914 SOS 83401 HAS SOPS 83401 HAS SOUS 76342 HAS SOUPS 76342 WITH SCORE 76425.401
AT ITER 3607 NEW BEST:: SOT 367868 SOS 83309 HAS SOPS 83309 HAS SOUS 76250 HAS SOUPS 76250 WITH SCORE 76333.309
AT ITER 3639 NEW BEST:: SOT 367853 SOS 83295 HAS SOPS 83295 HAS SOUS 76220 HAS SOUPS 76220 WITH SCORE 76303.295
AT ITER 3650 NEW BEST:: SOT 367852 SOS 83293 HAS SOPS 83293 HAS SOUS 76218 HAS SOUPS 76218 WITH SCORE 76301.293
AT ITER 3673 NEW BEST:: SOT 367883 SOS 83257 HAS SOPS 83257 HAS SOUS 76200 HAS SOUPS 76200 WITH SCORE 76283.257
AT ITER 3678 NEW BEST:: SOT 367861 SOS 83213 HAS SOPS 83213 HAS SOUS 76145 HAS SOUPS 76145 WITH SCORE 76228.213
AT ITER 3741 NEW BEST:: SOT 367922 SOS 83151 HAS SOPS 83151 HAS SOUS 76139 HAS SOUPS 76139 WITH SCORE 76222.151
AT ITER 3747 NEW BEST:: SOT 367894 SOS 83179 HAS SOPS 83179 HAS SOUS 76125 HAS SOUPS 76125 WITH SCORE 76208.179
AT ITER 3766 NEW BEST:: SOT 367876 SOS 83509 HAS SOPS 83509 HAS SOUS 76103 HAS SOUPS 76103 WITH SCORE 76186.509
AT ITER 3801 NEW BEST:: SOT 367814 SOS 83497 HAS SOPS 83497 HAS SOUS 76091 HAS SOUPS 76091 WITH SCORE 76174.497
AT ITER 3812 NEW BEST:: SOT 367814 SOS 83426 HAS SOPS 83426 HAS SOUS 76020 HAS SOUPS 76020 WITH SCORE 76103.426
AT ITER 3813 NEW BEST:: SOT 367807 SOS 83402 HAS SOPS 83402 HAS SOUS 75988 HAS SOUPS 75988 WITH SCORE 76071.402
AT ITER 3843 NEW BEST:: SOT 367798 SOS 83393 HAS SOPS 83393 HAS SOUS 75970 HAS SOUPS 75970 WITH SCORE 76053.393
AT ITER 3855 NEW BEST:: SOT 367798 SOS 83393 HAS SOPS 83393 HAS SOUS 75965 HAS SOUPS 75965 WITH SCORE 76048.393
AT ITER 3865 NEW BEST:: SOT 367787 SOS 83305 HAS SOPS 83305 HAS SOUS 75877 HAS SOUPS 75877 WITH SCORE 75960.305
AT ITER 3894 NEW BEST:: SOT 367828 SOS 83205 HAS SOPS 83205 HAS SOUS 75827 HAS SOUPS 75827 WITH SCORE 75910.205
AT ITER 3948 NEW BEST:: SOT 367827 SOS 83204 HAS SOPS 83204 HAS SOUS 75825 HAS SOUPS 75825 WITH SCORE 75908.204
AT ITER 3951 NEW BEST:: SOT 367808 SOS 83166 HAS SOPS 83166 HAS SOUS 75806 HAS SOUPS 75806 WITH SCORE 75889.166
AT ITER 3958 NEW BEST:: SOT 367785 SOS 83120 HAS SOPS 83120 HAS SOUS 75729 HAS SOUPS 75729 WITH SCORE 75812.12
AT ITER 3970 NEW BEST:: SOT 367780 SOS 83110 HAS SOPS 83110 HAS SOUS 75698 HAS SOUPS 75698 WITH SCORE 75781.11
AT ITER 3979 NEW BEST:: SOT 367762 SOS 83092 HAS SOPS 83092 HAS SOUS 75680 HAS SOUPS 75680 WITH SCORE 75763.092
AT ITER 3991 NEW BEST:: SOT 367743 SOS 83054 HAS SOPS 83054 HAS SOUS 75661 HAS SOUPS 75661 WITH SCORE 75744.054
AT ITER 4086 NEW BEST:: SOT 367524 SOS 82907 HAS SOPS 82907 HAS SOUS 75514 HAS SOUPS 75514 WITH SCORE 75596.907
AT ITER 4111 NEW BEST:: SOT 367498 SOS 82855 HAS SOPS 82855 HAS SOUS 75462 HAS SOUPS 75462 WITH SCORE 75544.855
AT ITER 4134 NEW BEST:: SOT 367538 SOS 82621 HAS SOPS 82621 HAS SOUS 75345 HAS SOUPS 75345 WITH SCORE 75427.621
AT ITER 4139 NEW BEST:: SOT 367534 SOS 82582 HAS SOPS 82582 HAS SOUS 75331 HAS SOUPS 75331 WITH SCORE 75413.582
AT ITER 4144 NEW BEST:: SOT 367501 SOS 82557 HAS SOPS 82557 HAS SOUS 75303 HAS SOUPS 75303 WITH SCORE 75385.557
AT ITER 4159 NEW BEST:: SOT 367423 SOS 82473 HAS SOPS 82473 HAS SOUS 75184 HAS SOUPS 75184 WITH SCORE 75266.473
AT ITER 4165 NEW BEST:: SOT 367369 SOS 82476 HAS SOPS 82476 HAS SOUS 75133 HAS SOUPS 75133 WITH SCORE 75215.476
AT ITER 4173 NEW BEST:: SOT 367609 SOS 82384 HAS SOPS 82384 HAS SOUS 75125 HAS SOUPS 75125 WITH SCORE 75207.384
AT ITER 4174 NEW BEST:: SOT 367634 SOS 82363 HAS SOPS 82363 HAS SOUS 75104 HAS SOUPS 75104 WITH SCORE 75186.363
AT ITER 4184 NEW BEST:: SOT 367634 SOS 82363 HAS SOPS 82363 HAS SOUS 75093 HAS SOUPS 75093 WITH SCORE 75175.363
AT ITER 4200 NEW BEST:: SOT 367414 SOS 82258 HAS SOPS 82258 HAS SOUS 74983 HAS SOUPS 74983 WITH SCORE 75065.258
AT ITER 4265 NEW BEST:: SOT 367413 SOS 82256 HAS SOPS 82256 HAS SOUS 74981 HAS SOUPS 74981 WITH SCORE 75063.256
AT ITER 4276 NEW BEST:: SOT 367396 SOS 82252 HAS SOPS 82252 HAS SOUS 74977 HAS SOUPS 74977 WITH SCORE 75059.252
AT ITER 4289 NEW BEST:: SOT 367395 SOS 82251 HAS SOPS 82251 HAS SOUS 74975 HAS SOUPS 74975 WITH SCORE 75057.251
AT ITER 4296 NEW BEST:: SOT 367327 SOS 82183 HAS SOPS 82183 HAS SOUS 74907 HAS SOUPS 74907 WITH SCORE 74989.183
AT ITER 4313 NEW BEST:: SOT 367321 SOS 82177 HAS SOPS 82177 HAS SOUS 74901 HAS SOUPS 74901 WITH SCORE 74983.177
AT ITER 4424 NEW BEST:: SOT 367292 SOS 82119 HAS SOPS 82119 HAS SOUS 74841 HAS SOUPS 74841 WITH SCORE 74923.119
AT ITER 4475 NEW BEST:: SOT 367199 SOS 81986 HAS SOPS 81986 HAS SOUS 74691 HAS SOUPS 74691 WITH SCORE 74772.986
AT ITER 4490 NEW BEST:: SOT 367123 SOS 81924 HAS SOPS 81924 HAS SOUS 74690 HAS SOUPS 74690 WITH SCORE 74771.924
AT ITER 4494 NEW BEST:: SOT 367158 SOS 81994 HAS SOPS 81994 HAS SOUS 74629 HAS SOUPS 74629 WITH SCORE 74710.994
AT ITER 4507 NEW BEST:: SOT 367144 SOS 81966 HAS SOPS 81966 HAS SOUS 74601 HAS SOUPS 74601 WITH SCORE 74682.966
AT ITER 4516 NEW BEST:: SOT 367008 SOS 81901 HAS SOPS 81901 HAS SOUS 74575 HAS SOUPS 74575 WITH SCORE 74656.901
AT ITER 4517 NEW BEST:: SOT 367006 SOS 81897 HAS SOPS 81897 HAS SOUS 74571 HAS SOUPS 74571 WITH SCORE 74652.897
AT ITER 4544 NEW BEST:: SOT 367006 SOS 81893 HAS SOPS 81893 HAS SOUS 74567 HAS SOUPS 74567 WITH SCORE 74648.893
AT ITER 4649 NEW BEST:: SOT 367006 SOS 81808 HAS SOPS 81808 HAS SOUS 74482 HAS SOUPS 74482 WITH SCORE 74563.808
AT ITER 4676 NEW BEST:: SOT 367006 SOS 81799 HAS SOPS 81799 HAS SOUS 74473 HAS SOUPS 74473 WITH SCORE 74554.799
AT ITER 4708 NEW BEST:: SOT 367006 SOS 81799 HAS SOPS 81799 HAS SOUS 74472 HAS SOUPS 74472 WITH SCORE 74553.799
AT ITER 4724 NEW BEST:: SOT 367042 SOS 81710 HAS SOPS 81710 HAS SOUS 74327 HAS SOUPS 74327 WITH SCORE 74408.71
AT ITER 4749 NEW BEST:: SOT 367070 SOS 81645 HAS SOPS 81645 HAS SOUS 74262 HAS SOUPS 74262 WITH SCORE 74343.645
AT ITER 4760 NEW BEST:: SOT 367070 SOS 81638 HAS SOPS 81638 HAS SOUS 74255 HAS SOUPS 74255 WITH SCORE 74336.638
AT ITER 4816 NEW BEST:: SOT 367070 SOS 81588 HAS SOPS 81588 HAS SOUS 74255 HAS SOUPS 74255 WITH SCORE 74336.588
AT ITER 4824 NEW BEST:: SOT 367070 SOS 81568 HAS SOPS 81568 HAS SOUS 74245 HAS SOUPS 74245 WITH SCORE 74326.568
AT ITER 4836 NEW BEST:: SOT 366991 SOS 81489 HAS SOPS 81489 HAS SOUS 74166 HAS SOUPS 74166 WITH SCORE 74247.489
AT ITER 4887 NEW BEST:: SOT 366950 SOS 81448 HAS SOPS 81448 HAS SOUS 74125 HAS SOUPS 74125 WITH SCORE 74206.448
AT ITER 4891 NEW BEST:: SOT 366952 SOS 82573 HAS SOPS 82573 HAS SOUS 74100 HAS SOUPS 74100 WITH SCORE 74182.573
AT ITER 4912 NEW BEST:: SOT 366941 SOS 82570 HAS SOPS 82570 HAS SOUS 74090 HAS SOUPS 74090 WITH SCORE 74172.57
AT ITER 4949 NEW BEST:: SOT 366941 SOS 82570 HAS SOPS 82570 HAS SOUS 74049 HAS SOUPS 74049 WITH SCORE 74131.57
AT ITER 4955 NEW BEST:: SOT 366941 SOS 82570 HAS SOPS 82570 HAS SOUS 74025 HAS SOUPS 74025 WITH SCORE 74107.57
AT ITER 4964 NEW BEST:: SOT 366987 SOS 82510 HAS SOPS 82510 HAS SOUS 73986 HAS SOUPS 73986 WITH SCORE 74068.51
AT ITER 4970 NEW BEST:: SOT 366958 SOS 82452 HAS SOPS 82452 HAS SOUS 73928 HAS SOUPS 73928 WITH SCORE 74010.452
AT ITER 4985 NEW BEST:: SOT 366907 SOS 82350 HAS SOPS 82350 HAS SOUS 73826 HAS SOUPS 73826 WITH SCORE 73908.35
AT ITER 5010 NEW BEST:: SOT 366890 SOS 82316 HAS SOPS 82316 HAS SOUS 73792 HAS SOUPS 73792 WITH SCORE 73874.316
AT ITER 5084 NEW BEST:: SOT 366869 SOS 82274 HAS SOPS 82274 HAS SOUS 73750 HAS SOUPS 73750 WITH SCORE 73832.274
AT ITER 5118 NEW BEST:: SOT 366868 SOS 82272 HAS SOPS 82272 HAS SOUS 73748 HAS SOUPS 73748 WITH SCORE 73830.272
AT ITER 5153 NEW BEST:: SOT 366841 SOS 82218 HAS SOPS 82218 HAS SOUS 73694 HAS SOUPS 73694 WITH SCORE 73776.218
AT ITER 5156 NEW BEST:: SOT 366841 SOS 82180 HAS SOPS 82180 HAS SOUS 73675 HAS SOUPS 73675 WITH SCORE 73757.18
AT ITER 5173 NEW BEST:: SOT 366824 SOS 82163 HAS SOPS 82163 HAS SOUS 73658 HAS SOUPS 73658 WITH SCORE 73740.163
AT ITER 5191 NEW BEST:: SOT 366905 SOS 82161 HAS SOPS 82161 HAS SOUS 73656 HAS SOUPS 73656 WITH SCORE 73738.161
AT ITER 5224 NEW BEST:: SOT 366905 SOS 82223 HAS SOPS 82223 HAS SOUS 73649 HAS SOUPS 73649 WITH SCORE 73731.223
AT ITER 5235 NEW BEST:: SOT 366866 SOS 82145 HAS SOPS 82145 HAS SOUS 73571 HAS SOUPS 73571 WITH SCORE 73653.145
AT ITER 5239 NEW BEST:: SOT 366924 SOS 82097 HAS SOPS 82097 HAS SOUS 73562 HAS SOUPS 73562 WITH SCORE 73644.097
AT ITER 5287 NEW BEST:: SOT 366924 SOS 81972 HAS SOPS 81972 HAS SOUS 73562 HAS SOUPS 73562 WITH SCORE 73643.972
AT ITER 5342 NEW BEST:: SOT 366896 SOS 81916 HAS SOPS 81916 HAS SOUS 73464 HAS SOUPS 73464 WITH SCORE 73545.916
AT ITER 5352 NEW BEST:: SOT 366896 SOS 81802 HAS SOPS 81802 HAS SOUS 73462 HAS SOUPS 73462 WITH SCORE 73543.802
AT ITER 5379 NEW BEST:: SOT 366891 SOS 81792 HAS SOPS 81792 HAS SOUS 73455 HAS SOUPS 73455 WITH SCORE 73536.792
AT ITER 5402 NEW BEST:: SOT 366842 SOS 81704 HAS SOPS 81704 HAS SOUS 73405 HAS SOUPS 73405 WITH SCORE 73486.704
AT ITER 5412 NEW BEST:: SOT 366813 SOS 81646 HAS SOPS 81646 HAS SOUS 73372 HAS SOUPS 73372 WITH SCORE 73453.646
AT ITER 5451 NEW BEST:: SOT 366826 SOS 81650 HAS SOPS 81650 HAS SOUS 73360 HAS SOUPS 73360 WITH SCORE 73441.65
AT ITER 5484 NEW BEST:: SOT 366826 SOS 81650 HAS SOPS 81650 HAS SOUS 73294 HAS SOUPS 73294 WITH SCORE 73375.65
AT ITER 5488 NEW BEST:: SOT 366826 SOS 81582 HAS SOPS 81582 HAS SOUS 73294 HAS SOUPS 73294 WITH SCORE 73375.582
AT ITER 5494 NEW BEST:: SOT 366826 SOS 81545 HAS SOPS 81545 HAS SOUS 73257 HAS SOUPS 73257 WITH SCORE 73338.545
AT ITER 5507 NEW BEST:: SOT 366904 SOS 81389 HAS SOPS 81389 HAS SOUS 73199 HAS SOUPS 73199 WITH SCORE 73280.389
AT ITER 5527 NEW BEST:: SOT 366915 SOS 81411 HAS SOPS 81411 HAS SOUS 73177 HAS SOUPS 73177 WITH SCORE 73258.411
AT ITER 5549 NEW BEST:: SOT 366915 SOS 81407 HAS SOPS 81407 HAS SOUS 73173 HAS SOUPS 73173 WITH SCORE 73254.407
AT ITER 5559 NEW BEST:: SOT 366915 SOS 81407 HAS SOPS 81407 HAS SOUS 73127 HAS SOUPS 73127 WITH SCORE 73208.407
AT ITER 5599 NEW BEST:: SOT 366913 SOS 81403 HAS SOPS 81403 HAS SOUS 73125 HAS SOUPS 73125 WITH SCORE 73206.403
AT ITER 5605 NEW BEST:: SOT 366877 SOS 81309 HAS SOPS 81309 HAS SOUS 73031 HAS SOUPS 73031 WITH SCORE 73112.309
AT ITER 5629 NEW BEST:: SOT 366880 SOS 81203 HAS SOPS 81203 HAS SOUS 72978 HAS SOUPS 72978 WITH SCORE 73059.203
AT ITER 5654 NEW BEST:: SOT 366862 SOS 81167 HAS SOPS 81167 HAS SOUS 72942 HAS SOUPS 72942 WITH SCORE 73023.167
AT ITER 5679 NEW BEST:: SOT 366862 SOS 81161 HAS SOPS 81161 HAS SOUS 72936 HAS SOUPS 72936 WITH SCORE 73017.161
AT ITER 5683 NEW BEST:: SOT 366862 SOS 81111 HAS SOPS 81111 HAS SOUS 72936 HAS SOUPS 72936 WITH SCORE 73017.111
AT ITER 5711 NEW BEST:: SOT 366861 SOS 81110 HAS SOPS 81110 HAS SOUS 72935 HAS SOUPS 72935 WITH SCORE 73016.11
AT ITER 5712 NEW BEST:: SOT 366881 SOS 80898 HAS SOPS 80898 HAS SOUS 72899 HAS SOUPS 72899 WITH SCORE 72979.898
AT ITER 5728 NEW BEST:: SOT 366797 SOS 79664 HAS SOPS 79664 HAS SOUS 72841 HAS SOUPS 72841 WITH SCORE 72920.664
AT ITER 5738 NEW BEST:: SOT 366765 SOS 79598 HAS SOPS 79598 HAS SOUS 72755 HAS SOUPS 72755 WITH SCORE 72834.598
AT ITER 5764 NEW BEST:: SOT 366676 SOS 79304 HAS SOPS 79304 HAS SOUS 72577 HAS SOUPS 72577 WITH SCORE 72656.304
AT ITER 5781 NEW BEST:: SOT 366652 SOS 79304 HAS SOPS 79304 HAS SOUS 72553 HAS SOUPS 72553 WITH SCORE 72632.304
AT ITER 5809 NEW BEST:: SOT 366642 SOS 79284 HAS SOPS 79284 HAS SOUS 72533 HAS SOUPS 72533 WITH SCORE 72612.284
AT ITER 5826 NEW BEST:: SOT 366642 SOS 79284 HAS SOPS 79284 HAS SOUS 72520 HAS SOUPS 72520 WITH SCORE 72599.284
AT ITER 5839 NEW BEST:: SOT 366642 SOS 79236 HAS SOPS 79236 HAS SOUS 72496 HAS SOUPS 72496 WITH SCORE 72575.236
AT ITER 5846 NEW BEST:: SOT 366679 SOS 79226 HAS SOPS 79226 HAS SOUS 72486 HAS SOUPS 72486 WITH SCORE 72565.226
AT ITER 5873 NEW BEST:: SOT 366672 SOS 79212 HAS SOPS 79212 HAS SOUS 72472 HAS SOUPS 72472 WITH SCORE 72551.212
AT ITER 5878 NEW BEST:: SOT 366637 SOS 79177 HAS SOPS 79177 HAS SOUS 72402 HAS SOUPS 72402 WITH SCORE 72481.177
AT ITER 5898 NEW BEST:: SOT 366633 SOS 79169 HAS SOPS 79169 HAS SOUS 72394 HAS SOUPS 72394 WITH SCORE 72473.169
AT ITER 5900 NEW BEST:: SOT 366630 SOS 79107 HAS SOPS 79107 HAS SOUS 72332 HAS SOUPS 72332 WITH SCORE 72411.107
AT ITER 5919 NEW BEST:: SOT 366618 SOS 79059 HAS SOPS 79059 HAS SOUS 72300 HAS SOUPS 72300 WITH SCORE 72379.059
AT ITER 5958 NEW BEST:: SOT 366570 SOS 79011 HAS SOPS 79011 HAS SOUS 72252 HAS SOUPS 72252 WITH SCORE 72331.011
AT ITER 5986 NEW BEST:: SOT 366573 SOS 78923 HAS SOPS 78923 HAS SOUS 72186 HAS SOUPS 72186 WITH SCORE 72264.923
AT ITER 5988 NEW BEST:: SOT 366573 SOS 78919 HAS SOPS 78919 HAS SOUS 72182 HAS SOUPS 72182 WITH SCORE 72260.919
AT ITER 5992 NEW BEST:: SOT 366571 SOS 78915 HAS SOPS 78915 HAS SOUS 72178 HAS SOUPS 72178 WITH SCORE 72256.915
AT ITER 6011 NEW BEST:: SOT 366564 SOS 78901 HAS SOPS 78901 HAS SOUS 72164 HAS SOUPS 72164 WITH SCORE 72242.901
AT ITER 6043 NEW BEST:: SOT 366510 SOS 78793 HAS SOPS 78793 HAS SOUS 72056 HAS SOUPS 72056 WITH SCORE 72134.793
AT ITER 6108 NEW BEST:: SOT 366510 SOS 78793 HAS SOPS 78793 HAS SOUS 72049 HAS SOUPS 72049 WITH SCORE 72127.793
AT ITER 6137 NEW BEST:: SOT 366509 SOS 78791 HAS SOPS 78791 HAS SOUS 72047 HAS SOUPS 72047 WITH SCORE 72125.791
AT ITER 6175 NEW BEST:: SOT 366496 SOS 78765 HAS SOPS 78765 HAS SOUS 72027 HAS SOUPS 72027 WITH SCORE 72105.765
AT ITER 6178 NEW BEST:: SOT 366496 SOS 78759 HAS SOPS 78759 HAS SOUS 72021 HAS SOUPS 72021 WITH SCORE 72099.759
AT ITER 6186 NEW BEST:: SOT 366517 SOS 78673 HAS SOPS 78673 HAS SOUS 71999 HAS SOUPS 71999 WITH SCORE 72077.673
AT ITER 6193 NEW BEST:: SOT 366489 SOS 78617 HAS SOPS 78617 HAS SOUS 71943 HAS SOUPS 71943 WITH SCORE 72021.617
AT ITER 6223 NEW BEST:: SOT 366465 SOS 78572 HAS SOPS 78572 HAS SOUS 71895 HAS SOUPS 71895 WITH SCORE 71973.572
AT ITER 6225 NEW BEST:: SOT 366562 SOS 78394 HAS SOPS 78394 HAS SOUS 71822 HAS SOUPS 71822 WITH SCORE 71900.394
AT ITER 6230 NEW BEST:: SOT 366562 SOS 78394 HAS SOPS 78394 HAS SOUS 71818 HAS SOUPS 71818 WITH SCORE 71896.394
AT ITER 6235 NEW BEST:: SOT 366551 SOS 78393 HAS SOPS 78393 HAS SOUS 71817 HAS SOUPS 71817 WITH SCORE 71895.393
AT ITER 6266 NEW BEST:: SOT 366549 SOS 78389 HAS SOPS 78389 HAS SOUS 71813 HAS SOUPS 71813 WITH SCORE 71891.389
AT ITER 6274 NEW BEST:: SOT 366544 SOS 78351 HAS SOPS 78351 HAS SOUS 71778 HAS SOUPS 71778 WITH SCORE 71856.351
AT ITER 6278 NEW BEST:: SOT 366518 SOS 78325 HAS SOPS 78325 HAS SOUS 71726 HAS SOUPS 71726 WITH SCORE 71804.325
AT ITER 6280 NEW BEST:: SOT 366515 SOS 78322 HAS SOPS 78322 HAS SOUS 71723 HAS SOUPS 71723 WITH SCORE 71801.322
AT ITER 6282 NEW BEST:: SOT 366448 SOS 78228 HAS SOPS 78228 HAS SOUS 71656 HAS SOUPS 71656 WITH SCORE 71734.228
AT ITER 6291 NEW BEST:: SOT 366551 SOS 78056 HAS SOPS 78056 HAS SOUS 71623 HAS SOUPS 71623 WITH SCORE 71701.056
AT ITER 6328 NEW BEST:: SOT 366551 SOS 78056 HAS SOPS 78056 HAS SOUS 71590 HAS SOUPS 71590 WITH SCORE 71668.056
AT ITER 6346 NEW BEST:: SOT 366551 SOS 78031 HAS SOPS 78031 HAS SOUS 71590 HAS SOUPS 71590 WITH SCORE 71668.031
AT ITER 6349 NEW BEST:: SOT 366534 SOS 78025 HAS SOPS 78025 HAS SOUS 71584 HAS SOUPS 71584 WITH SCORE 71662.025
AT ITER 6408 NEW BEST:: SOT 366505 SOS 77992 HAS SOPS 77992 HAS SOUS 71551 HAS SOUPS 71551 WITH SCORE 71628.992
AT ITER 6418 NEW BEST:: SOT 366475 SOS 77932 HAS SOPS 77932 HAS SOUS 71491 HAS SOUPS 71491 WITH SCORE 71568.932
AT ITER 6442 NEW BEST:: SOT 366495 SOS 77972 HAS SOPS 77972 HAS SOUS 71490 HAS SOUPS 71490 WITH SCORE 71567.972
AT ITER 6452 NEW BEST:: SOT 366495 SOS 77968 HAS SOPS 77968 HAS SOUS 71486 HAS SOUPS 71486 WITH SCORE 71563.968
AT ITER 6471 NEW BEST:: SOT 366455 SOS 77888 HAS SOPS 77888 HAS SOUS 71406 HAS SOUPS 71406 WITH SCORE 71483.888
AT ITER 6490 NEW BEST:: SOT 366471 SOS 77920 HAS SOPS 77920 HAS SOUS 71310 HAS SOUPS 71310 WITH SCORE 71387.92
AT ITER 6593 NEW BEST:: SOT 366458 SOS 77894 HAS SOPS 77894 HAS SOUS 71284 HAS SOUPS 71284 WITH SCORE 71361.894
AT ITER 6610 NEW BEST:: SOT 366482 SOS 77832 HAS SOPS 77832 HAS SOUS 71277 HAS SOUPS 71277 WITH SCORE 71354.832
AT ITER 6611 NEW BEST:: SOT 366497 SOS 77831 HAS SOPS 77831 HAS SOUS 71276 HAS SOUPS 71276 WITH SCORE 71353.831
AT ITER 6642 NEW BEST:: SOT 366462 SOS 77801 HAS SOPS 77801 HAS SOUS 71244 HAS SOUPS 71244 WITH SCORE 71321.801
AT ITER 6646 NEW BEST:: SOT 366462 SOS 77795 HAS SOPS 77795 HAS SOUS 71238 HAS SOUPS 71238 WITH SCORE 71315.795
AT ITER 6648 NEW BEST:: SOT 366462 SOS 77719 HAS SOPS 77719 HAS SOUS 71200 HAS SOUPS 71200 WITH SCORE 71277.719
AT ITER 6651 NEW BEST:: SOT 366430 SOS 77655 HAS SOPS 77655 HAS SOUS 71136 HAS SOUPS 71136 WITH SCORE 71213.655
AT ITER 6656 NEW BEST:: SOT 366430 SOS 77646 HAS SOPS 77646 HAS SOUS 71127 HAS SOUPS 71127 WITH SCORE 71204.646
AT ITER 6708 NEW BEST:: SOT 366423 SOS 77632 HAS SOPS 77632 HAS SOUS 71116 HAS SOUPS 71116 WITH SCORE 71193.632
AT ITER 6712 NEW BEST:: SOT 366382 SOS 77550 HAS SOPS 77550 HAS SOUS 71034 HAS SOUPS 71034 WITH SCORE 71111.55
AT ITER 6721 NEW BEST:: SOT 366385 SOS 77529 HAS SOPS 77529 HAS SOUS 71016 HAS SOUPS 71016 WITH SCORE 71093.529
AT ITER 6754 NEW BEST:: SOT 366365 SOS 77489 HAS SOPS 77489 HAS SOUS 70976 HAS SOUPS 70976 WITH SCORE 71053.489
AT ITER 6776 NEW BEST:: SOT 366319 SOS 77451 HAS SOPS 77451 HAS SOUS 70938 HAS SOUPS 70938 WITH SCORE 71015.451
AT ITER 6824 NEW BEST:: SOT 366319 SOS 77407 HAS SOPS 77407 HAS SOUS 70894 HAS SOUPS 70894 WITH SCORE 70971.407
AT ITER 6825 NEW BEST:: SOT 366350 SOS 77327 HAS SOPS 77327 HAS SOUS 70814 HAS SOUPS 70814 WITH SCORE 70891.327
AT ITER 6827 NEW BEST:: SOT 366413 SOS 77453 HAS SOPS 77453 HAS SOUS 70812 HAS SOUPS 70812 WITH SCORE 70889.453
AT ITER 6838 NEW BEST:: SOT 366374 SOS 77375 HAS SOPS 77375 HAS SOUS 70734 HAS SOUPS 70734 WITH SCORE 70811.375
AT ITER 6843 NEW BEST:: SOT 366370 SOS 77354 HAS SOPS 77354 HAS SOUS 70726 HAS SOUPS 70726 WITH SCORE 70803.354
AT ITER 6870 NEW BEST:: SOT 366369 SOS 77352 HAS SOPS 77352 HAS SOUS 70724 HAS SOUPS 70724 WITH SCORE 70801.352
AT ITER 6898 NEW BEST:: SOT 366369 SOS 77352 HAS SOPS 77352 HAS SOUS 70700 HAS SOUPS 70700 WITH SCORE 70777.352
AT ITER 6907 NEW BEST:: SOT 366335 SOS 77284 HAS SOPS 77284 HAS SOUS 70632 HAS SOUPS 70632 WITH SCORE 70709.284
AT ITER 6962 NEW BEST:: SOT 366335 SOS 77278 HAS SOPS 77278 HAS SOUS 70629 HAS SOUPS 70629 WITH SCORE 70706.278
AT ITER 7020 NEW BEST:: SOT 366313 SOS 77245 HAS SOPS 77245 HAS SOUS 70596 HAS SOUPS 70596 WITH SCORE 70673.245
AT ITER 7059 NEW BEST:: SOT 366313 SOS 77241 HAS SOPS 77241 HAS SOUS 70592 HAS SOUPS 70592 WITH SCORE 70669.241
AT ITER 7091 NEW BEST:: SOT 366313 SOS 77237 HAS SOPS 77237 HAS SOUS 70592 HAS SOUPS 70592 WITH SCORE 70669.237
AT ITER 7117 NEW BEST:: SOT 366309 SOS 77229 HAS SOPS 77229 HAS SOUS 70584 HAS SOUPS 70584 WITH SCORE 70661.229
AT ITER 7154 NEW BEST:: SOT 366309 SOS 77185 HAS SOPS 77185 HAS SOUS 70584 HAS SOUPS 70584 WITH SCORE 70661.185
AT ITER 7171 NEW BEST:: SOT 366300 SOS 77167 HAS SOPS 77167 HAS SOUS 70566 HAS SOUPS 70566 WITH SCORE 70643.167
AT ITER 7180 NEW BEST:: SOT 366283 SOS 77163 HAS SOPS 77163 HAS SOUS 70562 HAS SOUPS 70562 WITH SCORE 70639.163
AT ITER 7185 NEW BEST:: SOT 366294 SOS 77156 HAS SOPS 77156 HAS SOUS 70555 HAS SOUPS 70555 WITH SCORE 70632.156
AT ITER 7187 NEW BEST:: SOT 366226 SOS 77020 HAS SOPS 77020 HAS SOUS 70403 HAS SOUPS 70403 WITH SCORE 70480.02
AT ITER 7195 NEW BEST:: SOT 366224 SOS 77016 HAS SOPS 77016 HAS SOUS 70399 HAS SOUPS 70399 WITH SCORE 70476.016
AT ITER 7215 NEW BEST:: SOT 366214 SOS 76918 HAS SOPS 76918 HAS SOUS 70379 HAS SOUPS 70379 WITH SCORE 70455.918
AT ITER 7242 NEW BEST:: SOT 366214 SOS 76910 HAS SOPS 76910 HAS SOUS 70375 HAS SOUPS 70375 WITH SCORE 70451.91
AT ITER 7258 NEW BEST:: SOT 366214 SOS 76906 HAS SOPS 76906 HAS SOUS 70367 HAS SOUPS 70367 WITH SCORE 70443.906
AT ITER 7380 NEW BEST:: SOT 366214 SOS 76898 HAS SOPS 76898 HAS SOUS 70363 HAS SOUPS 70363 WITH SCORE 70439.898
AT ITER 7385 NEW BEST:: SOT 366208 SOS 76892 HAS SOPS 76892 HAS SOUS 70357 HAS SOUPS 70357 WITH SCORE 70433.892
AT ITER 7393 NEW BEST:: SOT 366283 SOS 76736 HAS SOPS 76736 HAS SOUS 70244 HAS SOUPS 70244 WITH SCORE 70320.736
AT ITER 7438 NEW BEST:: SOT 366285 SOS 76727 HAS SOPS 76727 HAS SOUS 70235 HAS SOUPS 70235 WITH SCORE 70311.727
AT ITER 7444 NEW BEST:: SOT 366274 SOS 76705 HAS SOPS 76705 HAS SOUS 70213 HAS SOUPS 70213 WITH SCORE 70289.705
AT ITER 7445 NEW BEST:: SOT 366274 SOS 76672 HAS SOPS 76672 HAS SOUS 70180 HAS SOUPS 70180 WITH SCORE 70256.672
AT ITER 7465 NEW BEST:: SOT 366268 SOS 76662 HAS SOPS 76662 HAS SOUS 70173 HAS SOUPS 70173 WITH SCORE 70249.662
AT ITER 7495 NEW BEST:: SOT 366228 SOS 76760 HAS SOPS 76760 HAS SOUS 70133 HAS SOUPS 70133 WITH SCORE 70209.76
AT ITER 7497 NEW BEST:: SOT 366217 SOS 76738 HAS SOPS 76738 HAS SOUS 70111 HAS SOUPS 70111 WITH SCORE 70187.738
AT ITER 7525 NEW BEST:: SOT 366216 SOS 76736 HAS SOPS 76736 HAS SOUS 70109 HAS SOUPS 70109 WITH SCORE 70185.736
AT ITER 7531 NEW BEST:: SOT 366216 SOS 76725 HAS SOPS 76725 HAS SOUS 70098 HAS SOUPS 70098 WITH SCORE 70174.725
AT ITER 7533 NEW BEST:: SOT 366216 SOS 76688 HAS SOPS 76688 HAS SOUS 70061 HAS SOUPS 70061 WITH SCORE 70137.688
AT ITER 7556 NEW BEST:: SOT 366208 SOS 76672 HAS SOPS 76672 HAS SOUS 70053 HAS SOUPS 70053 WITH SCORE 70129.672
AT ITER 7591 NEW BEST:: SOT 366197 SOS 76650 HAS SOPS 76650 HAS SOUS 70037 HAS SOUPS 70037 WITH SCORE 70113.65
AT ITER 7599 NEW BEST:: SOT 366187 SOS 76630 HAS SOPS 76630 HAS SOUS 70017 HAS SOUPS 70017 WITH SCORE 70093.63
AT ITER 7639 NEW BEST:: SOT 366186 SOS 76628 HAS SOPS 76628 HAS SOUS 70015 HAS SOUPS 70015 WITH SCORE 70091.628
AT ITER 7643 NEW BEST:: SOT 366188 SOS 76632 HAS SOPS 76632 HAS SOUS 70005 HAS SOUPS 70005 WITH SCORE 70081.632
AT ITER 7647 NEW BEST:: SOT 366077 SOS 76410 HAS SOPS 76410 HAS SOUS 69911 HAS SOUPS 69911 WITH SCORE 69987.41
AT ITER 7652 NEW BEST:: SOT 366133 SOS 76392 HAS SOPS 76392 HAS SOUS 69902 HAS SOUPS 69902 WITH SCORE 69978.392
AT ITER 7662 NEW BEST:: SOT 366132 SOS 76390 HAS SOPS 76390 HAS SOUS 69900 HAS SOUPS 69900 WITH SCORE 69976.39
AT ITER 7666 NEW BEST:: SOT 366144 SOS 76370 HAS SOPS 76370 HAS SOUS 69880 HAS SOUPS 69880 WITH SCORE 69956.37
AT ITER 7737 NEW BEST:: SOT 366144 SOS 76369 HAS SOPS 76369 HAS SOUS 69879 HAS SOUPS 69879 WITH SCORE 69955.369
AT ITER 7742 NEW BEST:: SOT 366138 SOS 76363 HAS SOPS 76363 HAS SOUS 69873 HAS SOUPS 69873 WITH SCORE 69949.363
AT ITER 7769 NEW BEST:: SOT 366050 SOS 76433 HAS SOPS 76433 HAS SOUS 69789 HAS SOUPS 69789 WITH SCORE 69865.433
AT ITER 7784 NEW BEST:: SOT 366050 SOS 76423 HAS SOPS 76423 HAS SOUS 69789 HAS SOUPS 69789 WITH SCORE 69865.423
AT ITER 7790 NEW BEST:: SOT 366054 SOS 76427 HAS SOPS 76427 HAS SOUS 69760 HAS SOUPS 69760 WITH SCORE 69836.427
AT ITER 7808 NEW BEST:: SOT 366054 SOS 76381 HAS SOPS 76381 HAS SOUS 69714 HAS SOUPS 69714 WITH SCORE 69790.381
AT ITER 7925 NEW BEST:: SOT 366044 SOS 76298 HAS SOPS 76298 HAS SOUS 69694 HAS SOUPS 69694 WITH SCORE 69770.298
AT ITER 7930 NEW BEST:: SOT 366016 SOS 76270 HAS SOPS 76270 HAS SOUS 69666 HAS SOUPS 69666 WITH SCORE 69742.27
AT ITER 7982 NEW BEST:: SOT 365987 SOS 76245 HAS SOPS 76245 HAS SOUS 69608 HAS SOUPS 69608 WITH SCORE 69684.245
AT ITER 7985 NEW BEST:: SOT 365982 SOS 76240 HAS SOPS 76240 HAS SOUS 69603 HAS SOUPS 69603 WITH SCORE 69679.24
AT ITER 8007 NEW BEST:: SOT 365986 SOS 76084 HAS SOPS 76084 HAS SOUS 69525 HAS SOUPS 69525 WITH SCORE 69601.084
AT ITER 8029 NEW BEST:: SOT 365987 SOS 76085 HAS SOPS 76085 HAS SOUS 69519 HAS SOUPS 69519 WITH SCORE 69595.085
AT ITER 8035 NEW BEST:: SOT 365977 SOS 76065 HAS SOPS 76065 HAS SOUS 69489 HAS SOUPS 69489 WITH SCORE 69565.065
AT ITER 8040 NEW BEST:: SOT 365900 SOS 75962 HAS SOPS 75962 HAS SOUS 69386 HAS SOUPS 69386 WITH SCORE 69461.962
AT ITER 8063 NEW BEST:: SOT 365872 SOS 75906 HAS SOPS 75906 HAS SOUS 69330 HAS SOUPS 69330 WITH SCORE 69405.906
AT ITER 8119 NEW BEST:: SOT 365872 SOS 75906 HAS SOPS 75906 HAS SOUS 69329 HAS SOUPS 69329 WITH SCORE 69404.906
AT ITER 8124 NEW BEST:: SOT 365859 SOS 75880 HAS SOPS 75880 HAS SOUS 69303 HAS SOUPS 69303 WITH SCORE 69378.88
AT ITER 8138 NEW BEST:: SOT 365847 SOS 75856 HAS SOPS 75856 HAS SOUS 69279 HAS SOUPS 69279 WITH SCORE 69354.856
AT ITER 8232 NEW BEST:: SOT 365847 SOS 75856 HAS SOPS 75856 HAS SOUS 69205 HAS SOUPS 69205 WITH SCORE 69280.856
AT ITER 8234 NEW BEST:: SOT 365847 SOS 75854 HAS SOPS 75854 HAS SOUS 69203 HAS SOUPS 69203 WITH SCORE 69278.854
AT ITER 8235 NEW BEST:: SOT 365847 SOS 75843 HAS SOPS 75843 HAS SOUS 69192 HAS SOUPS 69192 WITH SCORE 69267.843
AT ITER 8251 NEW BEST:: SOT 365843 SOS 75839 HAS SOPS 75839 HAS SOUS 69188 HAS SOUPS 69188 WITH SCORE 69263.839
AT ITER 8268 NEW BEST:: SOT 365842 SOS 75837 HAS SOPS 75837 HAS SOUS 69186 HAS SOUPS 69186 WITH SCORE 69261.837
AT ITER 8278 NEW BEST:: SOT 365842 SOS 75837 HAS SOPS 75837 HAS SOUS 69182 HAS SOUPS 69182 WITH SCORE 69257.837
AT ITER 8288 NEW BEST:: SOT 365817 SOS 75787 HAS SOPS 75787 HAS SOUS 69132 HAS SOUPS 69132 WITH SCORE 69207.787
AT ITER 8291 NEW BEST:: SOT 365777 SOS 75707 HAS SOPS 75707 HAS SOUS 69052 HAS SOUPS 69052 WITH SCORE 69127.707
AT ITER 8315 NEW BEST:: SOT 365811 SOS 75861 HAS SOPS 75861 HAS SOUS 69026 HAS SOUPS 69026 WITH SCORE 69101.861
AT ITER 8321 NEW BEST:: SOT 365810 SOS 76085 HAS SOPS 76085 HAS SOUS 69025 HAS SOUPS 69025 WITH SCORE 69101.085
AT ITER 8344 NEW BEST:: SOT 365910 SOS 75745 HAS SOPS 75745 HAS SOUS 68824 HAS SOUPS 68824 WITH SCORE 68899.745
AT ITER 8424 NEW BEST:: SOT 365827 SOS 75691 HAS SOPS 75691 HAS SOUS 68745 HAS SOUPS 68745 WITH SCORE 68820.691
AT ITER 8433 NEW BEST:: SOT 365830 SOS 75697 HAS SOPS 75697 HAS SOUS 68744 HAS SOUPS 68744 WITH SCORE 68819.697
AT ITER 8458 NEW BEST:: SOT 365750 SOS 75537 HAS SOPS 75537 HAS SOUS 68584 HAS SOUPS 68584 WITH SCORE 68659.537
AT ITER 8469 NEW BEST:: SOT 365750 SOS 75537 HAS SOPS 75537 HAS SOUS 68581 HAS SOUPS 68581 WITH SCORE 68656.537
AT ITER 8488 NEW BEST:: SOT 365746 SOS 75529 HAS SOPS 75529 HAS SOUS 68573 HAS SOUPS 68573 WITH SCORE 68648.529
AT ITER 8491 NEW BEST:: SOT 365736 SOS 75509 HAS SOPS 75509 HAS SOUS 68553 HAS SOUPS 68553 WITH SCORE 68628.509
AT ITER 8545 NEW BEST:: SOT 365790 SOS 75380 HAS SOPS 75380 HAS SOUS 68424 HAS SOUPS 68424 WITH SCORE 68499.38
AT ITER 8578 NEW BEST:: SOT 365735 SOS 75295 HAS SOPS 75295 HAS SOUS 68314 HAS SOUPS 68314 WITH SCORE 68389.295
AT ITER 8587 NEW BEST:: SOT 365710 SOS 75245 HAS SOPS 75245 HAS SOUS 68260 HAS SOUPS 68260 WITH SCORE 68335.245
AT ITER 8617 NEW BEST:: SOT 365701 SOS 75227 HAS SOPS 75227 HAS SOUS 68242 HAS SOUPS 68242 WITH SCORE 68317.227
AT ITER 8649 NEW BEST:: SOT 365701 SOS 75215 HAS SOPS 75215 HAS SOUS 68218 HAS SOUPS 68218 WITH SCORE 68293.215
AT ITER 8669 NEW BEST:: SOT 365701 SOS 75148 HAS SOPS 75148 HAS SOUS 68110 HAS SOUPS 68110 WITH SCORE 68185.148
AT ITER 8692 NEW BEST:: SOT 365695 SOS 75142 HAS SOPS 75142 HAS SOUS 68104 HAS SOUPS 68104 WITH SCORE 68179.142
AT ITER 8695 NEW BEST:: SOT 365694 SOS 75140 HAS SOPS 75140 HAS SOUS 68102 HAS SOUPS 68102 WITH SCORE 68177.14
AT ITER 8734 NEW BEST:: SOT 365692 SOS 75136 HAS SOPS 75136 HAS SOUS 68098 HAS SOUPS 68098 WITH SCORE 68173.136
AT ITER 8736 NEW BEST:: SOT 365714 SOS 75158 HAS SOPS 75158 HAS SOUS 68085 HAS SOUPS 68085 WITH SCORE 68160.158
AT ITER 8746 NEW BEST:: SOT 365688 SOS 75106 HAS SOPS 75106 HAS SOUS 68033 HAS SOUPS 68033 WITH SCORE 68108.106
AT ITER 8803 NEW BEST:: SOT 365845 SOS 74922 HAS SOPS 74922 HAS SOUS 67993 HAS SOUPS 67993 WITH SCORE 68067.922
AT ITER 8820 NEW BEST:: SOT 365841 SOS 74914 HAS SOPS 74914 HAS SOUS 67985 HAS SOUPS 67985 WITH SCORE 68059.914
AT ITER 8830 NEW BEST:: SOT 365744 SOS 74784 HAS SOPS 74784 HAS SOUS 67855 HAS SOUPS 67855 WITH SCORE 67929.784
AT ITER 8834 NEW BEST:: SOT 365799 SOS 74894 HAS SOPS 74894 HAS SOUS 67833 HAS SOUPS 67833 WITH SCORE 67907.894
AT ITER 8952 NEW BEST:: SOT 365799 SOS 74868 HAS SOPS 74868 HAS SOUS 67820 HAS SOUPS 67820 WITH SCORE 67894.868
AT ITER 8956 NEW BEST:: SOT 365834 SOS 74862 HAS SOPS 74862 HAS SOUS 67814 HAS SOUPS 67814 WITH SCORE 67888.862
AT ITER 8975 NEW BEST:: SOT 365797 SOS 74825 HAS SOPS 74825 HAS SOUS 67777 HAS SOUPS 67777 WITH SCORE 67851.825
AT ITER 8979 NEW BEST:: SOT 365794 SOS 74825 HAS SOPS 74825 HAS SOUS 67774 HAS SOUPS 67774 WITH SCORE 67848.825
AT ITER 8980 NEW BEST:: SOT 365794 SOS 74809 HAS SOPS 74809 HAS SOUS 67766 HAS SOUPS 67766 WITH SCORE 67840.809
AT ITER 9025 NEW BEST:: SOT 365777 SOS 74792 HAS SOPS 74792 HAS SOUS 67732 HAS SOUPS 67732 WITH SCORE 67806.792
AT ITER 9048 NEW BEST:: SOT 365769 SOS 74776 HAS SOPS 74776 HAS SOUS 67692 HAS SOUPS 67692 WITH SCORE 67766.776
AT ITER 9056 NEW BEST:: SOT 365797 SOS 74756 HAS SOPS 74756 HAS SOUS 67662 HAS SOUPS 67662 WITH SCORE 67736.756
AT ITER 9063 NEW BEST:: SOT 365801 SOS 74733 HAS SOPS 74733 HAS SOUS 67639 HAS SOUPS 67639 WITH SCORE 67713.733
AT ITER 9069 NEW BEST:: SOT 365701 SOS 74719 HAS SOPS 74719 HAS SOUS 67578 HAS SOUPS 67578 WITH SCORE 67652.719
AT ITER 9136 NEW BEST:: SOT 365681 SOS 74679 HAS SOPS 74679 HAS SOUS 67538 HAS SOUPS 67538 WITH SCORE 67612.679
AT ITER 9168 NEW BEST:: SOT 365675 SOS 74667 HAS SOPS 74667 HAS SOUS 67532 HAS SOUPS 67532 WITH SCORE 67606.667
AT ITER 9210 NEW BEST:: SOT 365675 SOS 74401 HAS SOPS 74401 HAS SOUS 67399 HAS SOUPS 67399 WITH SCORE 67473.401
AT ITER 9241 NEW BEST:: SOT 365666 SOS 74383 HAS SOPS 74383 HAS SOUS 67390 HAS SOUPS 67390 WITH SCORE 67464.383
AT ITER 9247 NEW BEST:: SOT 365673 SOS 74324 HAS SOPS 74324 HAS SOUS 67331 HAS SOUPS 67331 WITH SCORE 67405.324
AT ITER 9258 NEW BEST:: SOT 365659 SOS 74310 HAS SOPS 74310 HAS SOUS 67317 HAS SOUPS 67317 WITH SCORE 67391.31
AT ITER 9285 NEW BEST:: SOT 365657 SOS 74306 HAS SOPS 74306 HAS SOUS 67313 HAS SOUPS 67313 WITH SCORE 67387.306
AT ITER 9294 NEW BEST:: SOT 365646 SOS 74284 HAS SOPS 74284 HAS SOUS 67238 HAS SOUPS 67238 WITH SCORE 67312.284
AT ITER 9299 NEW BEST:: SOT 365633 SOS 74283 HAS SOPS 74283 HAS SOUS 67212 HAS SOUPS 67212 WITH SCORE 67286.283
AT ITER 9314 NEW BEST:: SOT 365619 SOS 74255 HAS SOPS 74255 HAS SOUS 67184 HAS SOUPS 67184 WITH SCORE 67258.255
AT ITER 9352 NEW BEST:: SOT 365570 SOS 74250 HAS SOPS 74250 HAS SOUS 67179 HAS SOUPS 67179 WITH SCORE 67253.25
AT ITER 9362 NEW BEST:: SOT 365570 SOS 74186 HAS SOPS 74186 HAS SOUS 67115 HAS SOUPS 67115 WITH SCORE 67189.186
AT ITER 9380 NEW BEST:: SOT 365549 SOS 74193 HAS SOPS 74193 HAS SOUS 67106 HAS SOUPS 67106 WITH SCORE 67180.193
AT ITER 9389 NEW BEST:: SOT 365450 SOS 74102 HAS SOPS 74102 HAS SOUS 67068 HAS SOUPS 67068 WITH SCORE 67142.102
AT ITER 9409 NEW BEST:: SOT 365449 SOS 74100 HAS SOPS 74100 HAS SOUS 67066 HAS SOUPS 67066 WITH SCORE 67140.1
AT ITER 9433 NEW BEST:: SOT 365437 SOS 74101 HAS SOPS 74101 HAS SOUS 67063 HAS SOUPS 67063 WITH SCORE 67137.101
AT ITER 9458 NEW BEST:: SOT 365437 SOS 74100 HAS SOPS 74100 HAS SOUS 67062 HAS SOUPS 67062 WITH SCORE 67136.1
AT ITER 9459 NEW BEST:: SOT 365437 SOS 74100 HAS SOPS 74100 HAS SOUS 67047 HAS SOUPS 67047 WITH SCORE 67121.1
AT ITER 9506 NEW BEST:: SOT 365427 SOS 74080 HAS SOPS 74080 HAS SOUS 67027 HAS SOUPS 67027 WITH SCORE 67101.08
AT ITER 9569 NEW BEST:: SOT 365427 SOS 74061 HAS SOPS 74061 HAS SOUS 67008 HAS SOUPS 67008 WITH SCORE 67082.061
AT ITER 9597 NEW BEST:: SOT 365406 SOS 74019 HAS SOPS 74019 HAS SOUS 66966 HAS SOUPS 66966 WITH SCORE 67040.019
AT ITER 9643 NEW BEST:: SOT 365406 SOS 74017 HAS SOPS 74017 HAS SOUS 66966 HAS SOUPS 66966 WITH SCORE 67040.017
AT ITER 9729 NEW BEST:: SOT 365431 SOS 74021 HAS SOPS 74021 HAS SOUS 66944 HAS SOUPS 66944 WITH SCORE 67018.021
AT ITER 9737 NEW BEST:: SOT 365431 SOS 74018 HAS SOPS 74018 HAS SOUS 66941 HAS SOUPS 66941 WITH SCORE 67015.018
AT ITER 9744 NEW BEST:: SOT 365431 SOS 73993 HAS SOPS 73993 HAS SOUS 66844 HAS SOUPS 66844 WITH SCORE 66917.993
AT ITER 9811 NEW BEST:: SOT 365433 SOS 73997 HAS SOPS 73997 HAS SOUS 66818 HAS SOUPS 66818 WITH SCORE 66891.997
AT ITER 9861 NEW BEST:: SOT 365433 SOS 73997 HAS SOPS 73997 HAS SOUS 66817 HAS SOUPS 66817 WITH SCORE 66890.997
AT ITER 9890 NEW BEST:: SOT 365394 SOS 74025 HAS SOPS 74025 HAS SOUS 66797 HAS SOUPS 66797 WITH SCORE 66871.025
AT ITER 9930 NEW BEST:: SOT 365360 SOS 73957 HAS SOPS 73957 HAS SOUS 66729 HAS SOUPS 66729 WITH SCORE 66802.957
AT ITER 9955 NEW BEST:: SOT 365336 SOS 73941 HAS SOPS 73941 HAS SOUS 66710 HAS SOUPS 66710 WITH SCORE 66783.941
AT ITER 9987 NEW BEST:: SOT 365335 SOS 73939 HAS SOPS 73939 HAS SOUS 66708 HAS SOUPS 66708 WITH SCORE 66781.939
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12305708 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153696 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-40b"
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-40b, 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-167840342000160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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