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.r131-smll-167819407300312.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 DiscoveryGPU-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407300312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 8.0K Feb 25 13:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 13:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 13:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 13:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 13:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:59 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:59 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 54K 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 1679881681370

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=DiscoveryGPU-PT-07b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 07b
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: 212 places, 224 transitions, 582 arcs.
AT ITER 0 NEW BEST:: SOT 32957 SOS 15503 HAS SOPS 15503 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.503
AT ITER 1 NEW BEST:: SOT 32930 SOS 15422 HAS SOPS 15422 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13793.422
AT ITER 3 NEW BEST:: SOT 32930 SOS 15375 HAS SOPS 15375 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13793.375
AT ITER 4 NEW BEST:: SOT 32856 SOS 15151 HAS SOPS 15151 HAS SOUS 13631 HAS SOUPS 13631 WITH SCORE 13646.151
AT ITER 5 NEW BEST:: SOT 32817 SOS 15111 HAS SOPS 15111 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13606.111
AT ITER 15 NEW BEST:: SOT 32767 SOS 14928 HAS SOPS 14928 HAS SOUS 13491 HAS SOUPS 13491 WITH SCORE 13505.928
AT ITER 18 NEW BEST:: SOT 32705 SOS 14811 HAS SOPS 14811 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13458.811
AT ITER 21 NEW BEST:: SOT 32653 SOS 14413 HAS SOPS 14413 HAS SOUS 13352 HAS SOUPS 13352 WITH SCORE 13366.413
AT ITER 29 NEW BEST:: SOT 32653 SOS 14397 HAS SOPS 14397 HAS SOUS 13336 HAS SOUPS 13336 WITH SCORE 13350.397
AT ITER 34 NEW BEST:: SOT 32653 SOS 14331 HAS SOPS 14331 HAS SOUS 13303 HAS SOUPS 13303 WITH SCORE 13317.331
AT ITER 36 NEW BEST:: SOT 32624 SOS 14302 HAS SOPS 14302 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13288.302
AT ITER 37 NEW BEST:: SOT 32618 SOS 14296 HAS SOPS 14296 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13282.296
AT ITER 40 NEW BEST:: SOT 32618 SOS 14289 HAS SOPS 14289 HAS SOUS 13267 HAS SOUPS 13267 WITH SCORE 13281.289
AT ITER 41 NEW BEST:: SOT 32520 SOS 14142 HAS SOPS 14142 HAS SOUS 13120 HAS SOUPS 13120 WITH SCORE 13134.142
AT ITER 43 NEW BEST:: SOT 32520 SOS 14110 HAS SOPS 14110 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13102.11
AT ITER 45 NEW BEST:: SOT 32401 SOS 13989 HAS SOPS 13989 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12923.989
AT ITER 46 NEW BEST:: SOT 32350 SOS 13938 HAS SOPS 13938 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12872.938
AT ITER 50 NEW BEST:: SOT 32335 SOS 13908 HAS SOPS 13908 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12842.908
AT ITER 52 NEW BEST:: SOT 32254 SOS 13850 HAS SOPS 13850 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12777.85
AT ITER 53 NEW BEST:: SOT 31923 SOS 13810 HAS SOPS 13810 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12572.81
AT ITER 58 NEW BEST:: SOT 31922 SOS 13808 HAS SOPS 13808 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12570.808
AT ITER 59 NEW BEST:: SOT 31830 SOS 13716 HAS SOPS 13716 HAS SOUS 12465 HAS SOUPS 12465 WITH SCORE 12478.716
AT ITER 63 NEW BEST:: SOT 31830 SOS 13690 HAS SOPS 13690 HAS SOUS 12463 HAS SOUPS 12463 WITH SCORE 12476.69
AT ITER 68 NEW BEST:: SOT 31790 SOS 13630 HAS SOPS 13630 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12416.63
AT ITER 69 NEW BEST:: SOT 31779 SOS 13563 HAS SOPS 13563 HAS SOUS 12364 HAS SOUPS 12364 WITH SCORE 12377.563
AT ITER 86 NEW BEST:: SOT 31779 SOS 13563 HAS SOPS 13563 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12376.563
AT ITER 92 NEW BEST:: SOT 31779 SOS 13532 HAS SOPS 13532 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12345.532
AT ITER 96 NEW BEST:: SOT 31754 SOS 13519 HAS SOPS 13519 HAS SOUS 12319 HAS SOUPS 12319 WITH SCORE 12332.519
AT ITER 97 NEW BEST:: SOT 31656 SOS 13421 HAS SOPS 13421 HAS SOUS 12172 HAS SOUPS 12172 WITH SCORE 12185.421
AT ITER 98 NEW BEST:: SOT 31661 SOS 13349 HAS SOPS 13349 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12132.349
AT ITER 99 NEW BEST:: SOT 31630 SOS 13288 HAS SOPS 13288 HAS SOUS 12058 HAS SOUPS 12058 WITH SCORE 12071.288
AT ITER 100 NEW BEST:: SOT 31599 SOS 13250 HAS SOPS 13250 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12023.25
AT ITER 107 NEW BEST:: SOT 31581 SOS 13241 HAS SOPS 13241 HAS SOUS 12001 HAS SOUPS 12001 WITH SCORE 12014.241
AT ITER 109 NEW BEST:: SOT 31570 SOS 13208 HAS SOPS 13208 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11981.208
AT ITER 110 NEW BEST:: SOT 31568 SOS 13177 HAS SOPS 13177 HAS SOUS 11937 HAS SOUPS 11937 WITH SCORE 11950.177
AT ITER 112 NEW BEST:: SOT 31567 SOS 13175 HAS SOPS 13175 HAS SOUS 11935 HAS SOUPS 11935 WITH SCORE 11948.175
AT ITER 114 NEW BEST:: SOT 31553 SOS 13158 HAS SOPS 13158 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11931.158
AT ITER 116 NEW BEST:: SOT 31516 SOS 13121 HAS SOPS 13121 HAS SOUS 11881 HAS SOUPS 11881 WITH SCORE 11894.121
AT ITER 140 NEW BEST:: SOT 31473 SOS 13135 HAS SOPS 13135 HAS SOUS 11844 HAS SOUPS 11844 WITH SCORE 11857.135
AT ITER 141 NEW BEST:: SOT 31444 SOS 13134 HAS SOPS 13134 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11856.134
AT ITER 148 NEW BEST:: SOT 31434 SOS 13129 HAS SOPS 13129 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11807.129
AT ITER 159 NEW BEST:: SOT 31437 SOS 13132 HAS SOPS 13132 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11795.132
AT ITER 160 NEW BEST:: SOT 31236 SOS 12923 HAS SOPS 12923 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11536.923
AT ITER 161 NEW BEST:: SOT 31239 SOS 12852 HAS SOPS 12852 HAS SOUS 11446 HAS SOUPS 11446 WITH SCORE 11458.852
AT ITER 179 NEW BEST:: SOT 31241 SOS 12854 HAS SOPS 12854 HAS SOUS 11377 HAS SOUPS 11377 WITH SCORE 11389.854
AT ITER 180 NEW BEST:: SOT 31229 SOS 12853 HAS SOPS 12853 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11388.853
AT ITER 190 NEW BEST:: SOT 31227 SOS 12850 HAS SOPS 12850 HAS SOUS 11373 HAS SOUPS 11373 WITH SCORE 11385.85
AT ITER 194 NEW BEST:: SOT 31227 SOS 12849 HAS SOPS 12849 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11384.849
AT ITER 201 NEW BEST:: SOT 31130 SOS 12714 HAS SOPS 12714 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11238.714
AT ITER 214 NEW BEST:: SOT 31130 SOS 12714 HAS SOPS 12714 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11233.714
AT ITER 224 NEW BEST:: SOT 31130 SOS 12687 HAS SOPS 12687 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11233.687
AT ITER 225 NEW BEST:: SOT 31095 SOS 12651 HAS SOPS 12651 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11197.651
AT ITER 231 NEW BEST:: SOT 31095 SOS 12434 HAS SOPS 12434 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11197.434
AT ITER 234 NEW BEST:: SOT 31066 SOS 12318 HAS SOPS 12318 HAS SOUS 11156 HAS SOUPS 11156 WITH SCORE 11168.318
AT ITER 235 NEW BEST:: SOT 30547 SOS 11802 HAS SOPS 11802 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10651.802
AT ITER 239 NEW BEST:: SOT 30371 SOS 11752 HAS SOPS 11752 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10516.752
AT ITER 242 NEW BEST:: SOT 30390 SOS 11826 HAS SOPS 11826 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10481.826
AT ITER 246 NEW BEST:: SOT 30323 SOS 11940 HAS SOPS 11940 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10402.94
AT ITER 265 NEW BEST:: SOT 30320 SOS 11934 HAS SOPS 11934 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10397.934
AT ITER 269 NEW BEST:: SOT 30310 SOS 11924 HAS SOPS 11924 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10377.924
AT ITER 285 NEW BEST:: SOT 30270 SOS 11917 HAS SOPS 11917 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10352.917
AT ITER 286 NEW BEST:: SOT 30226 SOS 11871 HAS SOPS 11871 HAS SOUS 10295 HAS SOUPS 10295 WITH SCORE 10306.871
AT ITER 289 NEW BEST:: SOT 30079 SOS 11953 HAS SOPS 11953 HAS SOUS 10253 HAS SOUPS 10253 WITH SCORE 10264.953
AT ITER 294 NEW BEST:: SOT 30067 SOS 11950 HAS SOPS 11950 HAS SOUS 10250 HAS SOUPS 10250 WITH SCORE 10261.95
AT ITER 295 NEW BEST:: SOT 30061 SOS 11947 HAS SOPS 11947 HAS SOUS 10247 HAS SOUPS 10247 WITH SCORE 10258.947
AT ITER 298 NEW BEST:: SOT 30060 SOS 11946 HAS SOPS 11946 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10256.946
AT ITER 301 NEW BEST:: SOT 29980 SOS 11826 HAS SOPS 11826 HAS SOUS 10125 HAS SOUPS 10125 WITH SCORE 10136.826
AT ITER 305 NEW BEST:: SOT 29972 SOS 11766 HAS SOPS 11766 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10120.766
AT ITER 315 NEW BEST:: SOT 29911 SOS 11693 HAS SOPS 11693 HAS SOUS 10061 HAS SOUPS 10061 WITH SCORE 10072.693
AT ITER 318 NEW BEST:: SOT 29901 SOS 11673 HAS SOPS 11673 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10052.673
AT ITER 329 NEW BEST:: SOT 29901 SOS 11652 HAS SOPS 11652 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10051.652
AT ITER 331 NEW BEST:: SOT 29858 SOS 11513 HAS SOPS 11513 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10007.513
AT ITER 333 NEW BEST:: SOT 29786 SOS 11441 HAS SOPS 11441 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10007.441
AT ITER 336 NEW BEST:: SOT 29767 SOS 11403 HAS SOPS 11403 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9969.403
AT ITER 341 NEW BEST:: SOT 29725 SOS 11278 HAS SOPS 11278 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9854.278
AT ITER 342 NEW BEST:: SOT 29761 SOS 11303 HAS SOPS 11303 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9825.303
AT ITER 345 NEW BEST:: SOT 29746 SOS 11243 HAS SOPS 11243 HAS SOUS 9794 HAS SOUPS 9794 WITH SCORE 9805.243
AT ITER 347 NEW BEST:: SOT 29702 SOS 11056 HAS SOPS 11056 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9612.056
AT ITER 348 NEW BEST:: SOT 29702 SOS 11044 HAS SOPS 11044 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9612.044
AT ITER 349 NEW BEST:: SOT 29702 SOS 11044 HAS SOPS 11044 HAS SOUS 9595 HAS SOUPS 9595 WITH SCORE 9606.044
AT ITER 350 NEW BEST:: SOT 29683 SOS 11006 HAS SOPS 11006 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9581.006
AT ITER 353 NEW BEST:: SOT 29680 SOS 11002 HAS SOPS 11002 HAS SOUS 9566 HAS SOUPS 9566 WITH SCORE 9577.002
AT ITER 357 NEW BEST:: SOT 29680 SOS 11002 HAS SOPS 11002 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9565.002
AT ITER 365 NEW BEST:: SOT 29662 SOS 10966 HAS SOPS 10966 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9537.966
AT ITER 372 NEW BEST:: SOT 29654 SOS 10953 HAS SOPS 10953 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9521.953
AT ITER 393 NEW BEST:: SOT 29644 SOS 10917 HAS SOPS 10917 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9520.917
AT ITER 396 NEW BEST:: SOT 29638 SOS 10905 HAS SOPS 10905 HAS SOUS 9504 HAS SOUPS 9504 WITH SCORE 9514.905
AT ITER 401 NEW BEST:: SOT 29609 SOS 10879 HAS SOPS 10879 HAS SOUS 9478 HAS SOUPS 9478 WITH SCORE 9488.879
AT ITER 406 NEW BEST:: SOT 29585 SOS 10817 HAS SOPS 10817 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9451.817
AT ITER 416 NEW BEST:: SOT 29577 SOS 10737 HAS SOPS 10737 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9435.737
AT ITER 431 NEW BEST:: SOT 29577 SOS 10698 HAS SOPS 10698 HAS SOUS 9386 HAS SOUPS 9386 WITH SCORE 9396.698
AT ITER 432 NEW BEST:: SOT 29576 SOS 10696 HAS SOPS 10696 HAS SOUS 9385 HAS SOUPS 9385 WITH SCORE 9395.696
AT ITER 433 NEW BEST:: SOT 29576 SOS 10560 HAS SOPS 10560 HAS SOUS 9349 HAS SOUPS 9349 WITH SCORE 9359.56
AT ITER 438 NEW BEST:: SOT 29575 SOS 10558 HAS SOPS 10558 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9357.558
AT ITER 460 NEW BEST:: SOT 29575 SOS 10502 HAS SOPS 10502 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9301.502
AT ITER 464 NEW BEST:: SOT 29559 SOS 10451 HAS SOPS 10451 HAS SOUS 9250 HAS SOUPS 9250 WITH SCORE 9260.451
AT ITER 467 NEW BEST:: SOT 29557 SOS 10445 HAS SOPS 10445 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9254.445
AT ITER 483 NEW BEST:: SOT 29549 SOS 10429 HAS SOPS 10429 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9229.429
AT ITER 484 NEW BEST:: SOT 29547 SOS 10427 HAS SOPS 10427 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9222.427
AT ITER 487 NEW BEST:: SOT 29570 SOS 10473 HAS SOPS 10473 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9218.473
AT ITER 499 NEW BEST:: SOT 29570 SOS 10412 HAS SOPS 10412 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9157.412
AT ITER 500 NEW BEST:: SOT 29565 SOS 10402 HAS SOPS 10402 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9147.402
AT ITER 524 NEW BEST:: SOT 29552 SOS 10389 HAS SOPS 10389 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9134.389
AT ITER 529 NEW BEST:: SOT 29530 SOS 10345 HAS SOPS 10345 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9101.345
AT ITER 555 NEW BEST:: SOT 29540 SOS 10279 HAS SOPS 10279 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9091.279
AT ITER 560 NEW BEST:: SOT 29534 SOS 10267 HAS SOPS 10267 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9083.267
AT ITER 565 NEW BEST:: SOT 29550 SOS 10252 HAS SOPS 10252 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9068.252
AT ITER 570 NEW BEST:: SOT 29549 SOS 10250 HAS SOPS 10250 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9066.25
AT ITER 576 NEW BEST:: SOT 29509 SOS 10170 HAS SOPS 10170 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9024.17
AT ITER 609 NEW BEST:: SOT 29473 SOS 10141 HAS SOPS 10141 HAS SOUS 9010 HAS SOUPS 9010 WITH SCORE 9020.141
AT ITER 616 NEW BEST:: SOT 29485 SOS 10143 HAS SOPS 10143 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8990.143
AT ITER 621 NEW BEST:: SOT 29425 SOS 10108 HAS SOPS 10108 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8929.108
AT ITER 624 NEW BEST:: SOT 29304 SOS 10341 HAS SOPS 10341 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8854.341
AT ITER 625 NEW BEST:: SOT 29266 SOS 10265 HAS SOPS 10265 HAS SOUS 8798 HAS SOUPS 8798 WITH SCORE 8808.265
AT ITER 626 NEW BEST:: SOT 29257 SOS 10247 HAS SOPS 10247 HAS SOUS 8780 HAS SOUPS 8780 WITH SCORE 8790.247
AT ITER 640 NEW BEST:: SOT 29244 SOS 10217 HAS SOPS 10217 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8764.217
AT ITER 647 NEW BEST:: SOT 29241 SOS 10211 HAS SOPS 10211 HAS SOUS 8748 HAS SOUPS 8748 WITH SCORE 8758.211
AT ITER 648 NEW BEST:: SOT 29225 SOS 10171 HAS SOPS 10171 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8726.171
AT ITER 649 NEW BEST:: SOT 29224 SOS 10169 HAS SOPS 10169 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8724.169
AT ITER 651 NEW BEST:: SOT 29151 SOS 10069 HAS SOPS 10069 HAS SOUS 8614 HAS SOUPS 8614 WITH SCORE 8624.069
AT ITER 671 NEW BEST:: SOT 29145 SOS 10057 HAS SOPS 10057 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8610.057
AT ITER 696 NEW BEST:: SOT 29145 SOS 10053 HAS SOPS 10053 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8606.053
AT ITER 704 NEW BEST:: SOT 29142 SOS 10053 HAS SOPS 10053 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8605.053
AT ITER 713 NEW BEST:: SOT 29130 SOS 10012 HAS SOPS 10012 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8580.012
AT ITER 727 NEW BEST:: SOT 29142 SOS 9998 HAS SOPS 9998 HAS SOUS 8570 HAS SOUPS 8570 WITH SCORE 8579.998
AT ITER 749 NEW BEST:: SOT 29139 SOS 9995 HAS SOPS 9995 HAS SOUS 8567 HAS SOUPS 8567 WITH SCORE 8576.995
AT ITER 765 NEW BEST:: SOT 29145 SOS 9955 HAS SOPS 9955 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8496.955
AT ITER 775 NEW BEST:: SOT 29092 SOS 9770 HAS SOPS 9770 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8348.77
AT ITER 786 NEW BEST:: SOT 29080 SOS 9746 HAS SOPS 9746 HAS SOUS 8315 HAS SOUPS 8315 WITH SCORE 8324.746
AT ITER 796 NEW BEST:: SOT 29084 SOS 9741 HAS SOPS 9741 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8319.741
AT ITER 819 NEW BEST:: SOT 29086 SOS 9743 HAS SOPS 9743 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8307.743
AT ITER 828 NEW BEST:: SOT 29071 SOS 9728 HAS SOPS 9728 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8307.728
AT ITER 832 NEW BEST:: SOT 29071 SOS 9719 HAS SOPS 9719 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8307.719
AT ITER 841 NEW BEST:: SOT 29071 SOS 9719 HAS SOPS 9719 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8290.719
AT ITER 851 NEW BEST:: SOT 29070 SOS 9718 HAS SOPS 9718 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8288.718
AT ITER 864 NEW BEST:: SOT 29070 SOS 9715 HAS SOPS 9715 HAS SOUS 8276 HAS SOUPS 8276 WITH SCORE 8285.715
AT ITER 870 NEW BEST:: SOT 29069 SOS 9724 HAS SOPS 9724 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.724
AT ITER 871 NEW BEST:: SOT 29019 SOS 9607 HAS SOPS 9607 HAS SOUS 8181 HAS SOUPS 8181 WITH SCORE 8190.607
AT ITER 875 NEW BEST:: SOT 29002 SOS 9595 HAS SOPS 9595 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8178.595
AT ITER 879 NEW BEST:: SOT 28992 SOS 9614 HAS SOPS 9614 HAS SOUS 8149 HAS SOUPS 8149 WITH SCORE 8158.614
AT ITER 882 NEW BEST:: SOT 29003 SOS 9636 HAS SOPS 9636 HAS SOUS 8145 HAS SOUPS 8145 WITH SCORE 8154.636
AT ITER 883 NEW BEST:: SOT 28999 SOS 9624 HAS SOPS 9624 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8150.624
AT ITER 903 NEW BEST:: SOT 28983 SOS 9575 HAS SOPS 9575 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8129.575
AT ITER 904 NEW BEST:: SOT 28854 SOS 10676 HAS SOPS 10676 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8123.676
AT ITER 906 NEW BEST:: SOT 28831 SOS 10652 HAS SOPS 10652 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8099.652
AT ITER 913 NEW BEST:: SOT 28871 SOS 10670 HAS SOPS 10670 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8075.67
AT ITER 936 NEW BEST:: SOT 28839 SOS 10674 HAS SOPS 10674 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8047.674
AT ITER 943 NEW BEST:: SOT 28836 SOS 10651 HAS SOPS 10651 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8024.651
AT ITER 960 NEW BEST:: SOT 28839 SOS 10662 HAS SOPS 10662 HAS SOUS 8009 HAS SOUPS 8009 WITH SCORE 8019.662
AT ITER 966 NEW BEST:: SOT 28808 SOS 10614 HAS SOPS 10614 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7957.614
AT ITER 977 NEW BEST:: SOT 28798 SOS 10585 HAS SOPS 10585 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7937.585
AT ITER 990 NEW BEST:: SOT 28784 SOS 10583 HAS SOPS 10583 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7886.583
AT ITER 994 NEW BEST:: SOT 28781 SOS 10580 HAS SOPS 10580 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7881.58
AT ITER 1026 NEW BEST:: SOT 28782 SOS 10602 HAS SOPS 10602 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7880.602
AT ITER 1051 NEW BEST:: SOT 28720 SOS 10512 HAS SOPS 10512 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7870.512
AT ITER 1054 NEW BEST:: SOT 28724 SOS 10503 HAS SOPS 10503 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7839.503
AT ITER 1062 NEW BEST:: SOT 28678 SOS 10457 HAS SOPS 10457 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7806.457
AT ITER 1064 NEW BEST:: SOT 28671 SOS 10408 HAS SOPS 10408 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7792.408
AT ITER 1086 NEW BEST:: SOT 28671 SOS 10381 HAS SOPS 10381 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7785.381
AT ITER 1098 NEW BEST:: SOT 28602 SOS 10276 HAS SOPS 10276 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7680.276
AT ITER 1099 NEW BEST:: SOT 28600 SOS 9998 HAS SOPS 9998 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7665.998
AT ITER 1105 NEW BEST:: SOT 28554 SOS 9881 HAS SOPS 9881 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7546.881
AT ITER 1124 NEW BEST:: SOT 28551 SOS 9875 HAS SOPS 9875 HAS SOUS 7531 HAS SOUPS 7531 WITH SCORE 7540.875
AT ITER 1145 NEW BEST:: SOT 28539 SOS 9848 HAS SOPS 9848 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7515.848
AT ITER 1154 NEW BEST:: SOT 28539 SOS 9843 HAS SOPS 9843 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7515.843
AT ITER 1157 NEW BEST:: SOT 28523 SOS 9794 HAS SOPS 9794 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7499.794
AT ITER 1181 NEW BEST:: SOT 28511 SOS 9742 HAS SOPS 9742 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7475.742
AT ITER 1197 NEW BEST:: SOT 28496 SOS 9728 HAS SOPS 9728 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7461.728
AT ITER 1204 NEW BEST:: SOT 28496 SOS 9702 HAS SOPS 9702 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7461.702
AT ITER 1210 NEW BEST:: SOT 28496 SOS 9702 HAS SOPS 9702 HAS SOUS 7450 HAS SOUPS 7450 WITH SCORE 7459.702
AT ITER 1236 NEW BEST:: SOT 28510 SOS 9666 HAS SOPS 9666 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7450.666
AT ITER 1257 NEW BEST:: SOT 28507 SOS 9660 HAS SOPS 9660 HAS SOUS 7440 HAS SOUPS 7440 WITH SCORE 7449.66
AT ITER 1262 NEW BEST:: SOT 28500 SOS 9646 HAS SOPS 9646 HAS SOUS 7426 HAS SOUPS 7426 WITH SCORE 7435.646
AT ITER 1265 NEW BEST:: SOT 28499 SOS 9643 HAS SOPS 9643 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7433.643
AT ITER 1266 NEW BEST:: SOT 28493 SOS 9599 HAS SOPS 9599 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7389.599
AT ITER 1269 NEW BEST:: SOT 28472 SOS 9557 HAS SOPS 9557 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7361.557
AT ITER 1297 NEW BEST:: SOT 28492 SOS 9553 HAS SOPS 9553 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7358.553
AT ITER 1316 NEW BEST:: SOT 28477 SOS 9536 HAS SOPS 9536 HAS SOUS 7328 HAS SOUPS 7328 WITH SCORE 7337.536
AT ITER 1343 NEW BEST:: SOT 28505 SOS 9551 HAS SOPS 9551 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7332.551
AT ITER 1372 NEW BEST:: SOT 28505 SOS 9547 HAS SOPS 9547 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7332.547
AT ITER 1379 NEW BEST:: SOT 28491 SOS 9533 HAS SOPS 9533 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7304.533
AT ITER 1386 NEW BEST:: SOT 28496 SOS 9509 HAS SOPS 9509 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7300.509
AT ITER 1399 NEW BEST:: SOT 28451 SOS 9998 HAS SOPS 9998 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7294.998
AT ITER 1409 NEW BEST:: SOT 28441 SOS 9998 HAS SOPS 9998 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7284.998
AT ITER 1416 NEW BEST:: SOT 28432 SOS 9993 HAS SOPS 9993 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7266.993
AT ITER 1423 NEW BEST:: SOT 28444 SOS 9980 HAS SOPS 9980 HAS SOUS 7232 HAS SOUPS 7232 WITH SCORE 7241.98
AT ITER 1435 NEW BEST:: SOT 28434 SOS 9921 HAS SOPS 9921 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7175.921
AT ITER 1440 NEW BEST:: SOT 28433 SOS 9920 HAS SOPS 9920 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7175.92
AT ITER 1444 NEW BEST:: SOT 28417 SOS 9888 HAS SOPS 9888 HAS SOUS 7134 HAS SOUPS 7134 WITH SCORE 7143.888
AT ITER 1460 NEW BEST:: SOT 28412 SOS 9883 HAS SOPS 9883 HAS SOUS 7128 HAS SOUPS 7128 WITH SCORE 7137.883
AT ITER 1469 NEW BEST:: SOT 28396 SOS 9828 HAS SOPS 9828 HAS SOUS 7074 HAS SOUPS 7074 WITH SCORE 7083.828
AT ITER 1487 NEW BEST:: SOT 28404 SOS 9821 HAS SOPS 9821 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7076.821
AT ITER 1493 NEW BEST:: SOT 28358 SOS 9760 HAS SOPS 9760 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7019.76
AT ITER 1500 NEW BEST:: SOT 28357 SOS 9759 HAS SOPS 9759 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7018.759
AT ITER 1504 NEW BEST:: SOT 28357 SOS 9759 HAS SOPS 9759 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7006.759
AT ITER 1515 NEW BEST:: SOT 28349 SOS 9749 HAS SOPS 9749 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7002.749
AT ITER 1555 NEW BEST:: SOT 28342 SOS 9742 HAS SOPS 9742 HAS SOUS 6986 HAS SOUPS 6986 WITH SCORE 6995.742
AT ITER 1596 NEW BEST:: SOT 28342 SOS 9772 HAS SOPS 9772 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6993.772
AT ITER 1611 NEW BEST:: SOT 28339 SOS 9781 HAS SOPS 9781 HAS SOUS 6966 HAS SOUPS 6966 WITH SCORE 6975.781
AT ITER 1643 NEW BEST:: SOT 28331 SOS 9747 HAS SOPS 9747 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6959.747
AT ITER 1667 NEW BEST:: SOT 28336 SOS 9750 HAS SOPS 9750 HAS SOUS 6946 HAS SOUPS 6946 WITH SCORE 6955.75
AT ITER 1692 NEW BEST:: SOT 28337 SOS 9748 HAS SOPS 9748 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6953.748
AT ITER 1702 NEW BEST:: SOT 28318 SOS 9736 HAS SOPS 9736 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6920.736
AT ITER 1709 NEW BEST:: SOT 28313 SOS 9726 HAS SOPS 9726 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6914.726
AT ITER 1733 NEW BEST:: SOT 28313 SOS 9719 HAS SOPS 9719 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6907.719
AT ITER 1763 NEW BEST:: SOT 28313 SOS 9690 HAS SOPS 9690 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6907.69
AT ITER 1780 NEW BEST:: SOT 28309 SOS 9686 HAS SOPS 9686 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6903.686
AT ITER 1804 NEW BEST:: SOT 28290 SOS 9667 HAS SOPS 9667 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6865.667
AT ITER 1846 NEW BEST:: SOT 28278 SOS 9652 HAS SOPS 9652 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6853.652
AT ITER 1868 NEW BEST:: SOT 28269 SOS 9638 HAS SOPS 9638 HAS SOUS 6830 HAS SOUPS 6830 WITH SCORE 6839.638
AT ITER 1884 NEW BEST:: SOT 28269 SOS 9623 HAS SOPS 9623 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6825.623
AT ITER 1907 NEW BEST:: SOT 28271 SOS 9620 HAS SOPS 9620 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6808.62
AT ITER 1916 NEW BEST:: SOT 28210 SOS 9574 HAS SOPS 9574 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6763.574
AT ITER 1922 NEW BEST:: SOT 28208 SOS 9564 HAS SOPS 9564 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6751.564
AT ITER 1923 NEW BEST:: SOT 28196 SOS 9563 HAS SOPS 9563 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6750.563
AT ITER 1932 NEW BEST:: SOT 28182 SOS 9528 HAS SOPS 9528 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6725.528
AT ITER 1939 NEW BEST:: SOT 28178 SOS 9520 HAS SOPS 9520 HAS SOUS 6711 HAS SOUPS 6711 WITH SCORE 6720.52
AT ITER 1940 NEW BEST:: SOT 28195 SOS 9491 HAS SOPS 9491 HAS SOUS 6699 HAS SOUPS 6699 WITH SCORE 6708.491
AT ITER 1943 NEW BEST:: SOT 28195 SOS 9491 HAS SOPS 9491 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6705.491
AT ITER 1960 NEW BEST:: SOT 28195 SOS 9486 HAS SOPS 9486 HAS SOUS 6696 HAS SOUPS 6696 WITH SCORE 6705.486
AT ITER 1961 NEW BEST:: SOT 28187 SOS 9470 HAS SOPS 9470 HAS SOUS 6683 HAS SOUPS 6683 WITH SCORE 6692.47
AT ITER 1977 NEW BEST:: SOT 28186 SOS 9468 HAS SOPS 9468 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6690.468
AT ITER 1987 NEW BEST:: SOT 28190 SOS 9462 HAS SOPS 9462 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6673.462
AT ITER 1997 NEW BEST:: SOT 28188 SOS 9460 HAS SOPS 9460 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6671.46
AT ITER 2001 NEW BEST:: SOT 28182 SOS 9457 HAS SOPS 9457 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6668.457
AT ITER 2004 NEW BEST:: SOT 28182 SOS 9483 HAS SOPS 9483 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6666.483
AT ITER 2017 NEW BEST:: SOT 28179 SOS 9477 HAS SOPS 9477 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6660.477
AT ITER 2020 NEW BEST:: SOT 28175 SOS 9473 HAS SOPS 9473 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6656.473
AT ITER 2025 NEW BEST:: SOT 28175 SOS 9482 HAS SOPS 9482 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6654.482
AT ITER 2041 NEW BEST:: SOT 28170 SOS 9467 HAS SOPS 9467 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6644.467
AT ITER 2047 NEW BEST:: SOT 28170 SOS 9454 HAS SOPS 9454 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6618.454
AT ITER 2065 NEW BEST:: SOT 28170 SOS 9452 HAS SOPS 9452 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6616.452
AT ITER 2076 NEW BEST:: SOT 28157 SOS 9006 HAS SOPS 9006 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6600.006
AT ITER 2110 NEW BEST:: SOT 28148 SOS 8988 HAS SOPS 8988 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.988
AT ITER 2118 NEW BEST:: SOT 28141 SOS 8974 HAS SOPS 8974 HAS SOUS 6585 HAS SOUPS 6585 WITH SCORE 6593.974
AT ITER 2120 NEW BEST:: SOT 28140 SOS 8972 HAS SOPS 8972 HAS SOUS 6583 HAS SOUPS 6583 WITH SCORE 6591.972
AT ITER 2136 NEW BEST:: SOT 28081 SOS 8896 HAS SOPS 8896 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6515.896
AT ITER 2150 NEW BEST:: SOT 28082 SOS 8898 HAS SOPS 8898 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6503.898
AT ITER 2158 NEW BEST:: SOT 28077 SOS 8926 HAS SOPS 8926 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6493.926
AT ITER 2166 NEW BEST:: SOT 28075 SOS 8891 HAS SOPS 8891 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6489.891
AT ITER 2199 NEW BEST:: SOT 28073 SOS 8900 HAS SOPS 8900 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6474.9
AT ITER 2203 NEW BEST:: SOT 28055 SOS 8876 HAS SOPS 8876 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6450.876
AT ITER 2218 NEW BEST:: SOT 28055 SOS 8867 HAS SOPS 8867 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6441.867
AT ITER 2234 NEW BEST:: SOT 28080 SOS 8551 HAS SOPS 8551 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6438.551
AT ITER 2278 NEW BEST:: SOT 28034 SOS 8459 HAS SOPS 8459 HAS SOUS 6371 HAS SOUPS 6371 WITH SCORE 6379.459
AT ITER 2313 NEW BEST:: SOT 28025 SOS 8489 HAS SOPS 8489 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6368.489
AT ITER 2333 NEW BEST:: SOT 28025 SOS 8459 HAS SOPS 8459 HAS SOUS 6360 HAS SOUPS 6360 WITH SCORE 6368.459
AT ITER 2342 NEW BEST:: SOT 28025 SOS 8459 HAS SOPS 8459 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6367.459
AT ITER 2364 NEW BEST:: SOT 28008 SOS 8463 HAS SOPS 8463 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6354.463
AT ITER 2378 NEW BEST:: SOT 27990 SOS 8427 HAS SOPS 8427 HAS SOUS 6297 HAS SOUPS 6297 WITH SCORE 6305.427
AT ITER 2406 NEW BEST:: SOT 27982 SOS 8421 HAS SOPS 8421 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6294.421
AT ITER 2421 NEW BEST:: SOT 27982 SOS 8401 HAS SOPS 8401 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6294.401
AT ITER 2425 NEW BEST:: SOT 27980 SOS 8397 HAS SOPS 8397 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6276.397
AT ITER 2436 NEW BEST:: SOT 27979 SOS 8395 HAS SOPS 8395 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6275.395
AT ITER 2455 NEW BEST:: SOT 27979 SOS 8371 HAS SOPS 8371 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6261.371
AT ITER 2508 NEW BEST:: SOT 27969 SOS 8367 HAS SOPS 8367 HAS SOUS 6249 HAS SOUPS 6249 WITH SCORE 6257.367
AT ITER 2512 NEW BEST:: SOT 27970 SOS 8365 HAS SOPS 8365 HAS SOUS 6247 HAS SOUPS 6247 WITH SCORE 6255.365
AT ITER 2573 NEW BEST:: SOT 27959 SOS 8343 HAS SOPS 8343 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6233.343
AT ITER 2583 NEW BEST:: SOT 27958 SOS 8334 HAS SOPS 8334 HAS SOUS 6224 HAS SOUPS 6224 WITH SCORE 6232.334
AT ITER 2639 NEW BEST:: SOT 27956 SOS 8334 HAS SOPS 8334 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6226.334
AT ITER 2640 NEW BEST:: SOT 27967 SOS 8331 HAS SOPS 8331 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6224.331
AT ITER 2667 NEW BEST:: SOT 27960 SOS 8319 HAS SOPS 8319 HAS SOUS 6206 HAS SOUPS 6206 WITH SCORE 6214.319
AT ITER 2668 NEW BEST:: SOT 27956 SOS 8264 HAS SOPS 8264 HAS SOUS 6185 HAS SOUPS 6185 WITH SCORE 6193.264
AT ITER 2670 NEW BEST:: SOT 27942 SOS 8253 HAS SOPS 8253 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6182.253
AT ITER 2676 NEW BEST:: SOT 27907 SOS 7766 HAS SOPS 7766 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6141.766
AT ITER 2695 NEW BEST:: SOT 27889 SOS 7751 HAS SOPS 7751 HAS SOUS 6120 HAS SOUPS 6120 WITH SCORE 6127.751
AT ITER 2719 NEW BEST:: SOT 27889 SOS 7751 HAS SOPS 7751 HAS SOUS 6117 HAS SOUPS 6117 WITH SCORE 6124.751
AT ITER 2724 NEW BEST:: SOT 27889 SOS 7724 HAS SOPS 7724 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6097.724
AT ITER 2791 NEW BEST:: SOT 27889 SOS 7716 HAS SOPS 7716 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6091.716
AT ITER 2884 NEW BEST:: SOT 27888 SOS 7700 HAS SOPS 7700 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6075.7
AT ITER 2895 NEW BEST:: SOT 27857 SOS 7669 HAS SOPS 7669 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6044.669
AT ITER 2926 NEW BEST:: SOT 27852 SOS 7664 HAS SOPS 7664 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6039.664
AT ITER 2944 NEW BEST:: SOT 27850 SOS 7660 HAS SOPS 7660 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6035.66
AT ITER 2954 NEW BEST:: SOT 27837 SOS 7677 HAS SOPS 7677 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6009.677
AT ITER 2955 NEW BEST:: SOT 27836 SOS 7770 HAS SOPS 7770 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6003.77
AT ITER 2967 NEW BEST:: SOT 27821 SOS 7755 HAS SOPS 7755 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5973.755
AT ITER 2981 NEW BEST:: SOT 27768 SOS 7702 HAS SOPS 7702 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5920.702
AT ITER 2997 NEW BEST:: SOT 27767 SOS 7700 HAS SOPS 7700 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5918.7
AT ITER 3042 NEW BEST:: SOT 27768 SOS 7698 HAS SOPS 7698 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5916.698
AT ITER 3046 NEW BEST:: SOT 27767 SOS 7696 HAS SOPS 7696 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5915.696
AT ITER 3066 NEW BEST:: SOT 27757 SOS 7664 HAS SOPS 7664 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5888.664
AT ITER 3069 NEW BEST:: SOT 27751 SOS 7652 HAS SOPS 7652 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5879.652
AT ITER 3074 NEW BEST:: SOT 27707 SOS 8194 HAS SOPS 8194 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5861.194
AT ITER 3133 NEW BEST:: SOT 27584 SOS 8359 HAS SOPS 8359 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5851.359
AT ITER 3154 NEW BEST:: SOT 27567 SOS 8342 HAS SOPS 8342 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5834.342
AT ITER 3160 NEW BEST:: SOT 27569 SOS 8340 HAS SOPS 8340 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5832.34
AT ITER 3166 NEW BEST:: SOT 27501 SOS 9121 HAS SOPS 9121 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5819.121
AT ITER 3195 NEW BEST:: SOT 27491 SOS 9101 HAS SOPS 9101 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5801.101
AT ITER 3222 NEW BEST:: SOT 27484 SOS 9062 HAS SOPS 9062 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5787.062
AT ITER 3241 NEW BEST:: SOT 27482 SOS 9060 HAS SOPS 9060 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5784.06
AT ITER 3250 NEW BEST:: SOT 27449 SOS 8994 HAS SOPS 8994 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5748.994
AT ITER 3259 NEW BEST:: SOT 27445 SOS 8986 HAS SOPS 8986 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5748.986
AT ITER 3302 NEW BEST:: SOT 27438 SOS 8972 HAS SOPS 8972 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5741.972
AT ITER 3303 NEW BEST:: SOT 27409 SOS 8910 HAS SOPS 8910 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5623.91
AT ITER 3339 NEW BEST:: SOT 27379 SOS 8875 HAS SOPS 8875 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5596.875
AT ITER 3404 NEW BEST:: SOT 27357 SOS 8831 HAS SOPS 8831 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5552.831
AT ITER 3413 NEW BEST:: SOT 27357 SOS 8845 HAS SOPS 8845 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5543.845
AT ITER 3419 NEW BEST:: SOT 27341 SOS 8826 HAS SOPS 8826 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5537.826
AT ITER 3425 NEW BEST:: SOT 27338 SOS 8820 HAS SOPS 8820 HAS SOUS 5523 HAS SOUPS 5523 WITH SCORE 5531.82
AT ITER 3433 NEW BEST:: SOT 27338 SOS 8812 HAS SOPS 8812 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5523.812
AT ITER 3453 NEW BEST:: SOT 27337 SOS 8810 HAS SOPS 8810 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5523.81
AT ITER 3484 NEW BEST:: SOT 27326 SOS 8810 HAS SOPS 8810 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5510.81
AT ITER 3501 NEW BEST:: SOT 27325 SOS 8808 HAS SOPS 8808 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5508.808
AT ITER 3556 NEW BEST:: SOT 27286 SOS 8769 HAS SOPS 8769 HAS SOUS 5461 HAS SOUPS 5461 WITH SCORE 5469.769
AT ITER 3569 NEW BEST:: SOT 27278 SOS 8765 HAS SOPS 8765 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5465.765
AT ITER 3581 NEW BEST:: SOT 27257 SOS 8755 HAS SOPS 8755 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5462.755
AT ITER 3590 NEW BEST:: SOT 27236 SOS 8734 HAS SOPS 8734 HAS SOUS 5412 HAS SOUPS 5412 WITH SCORE 5420.734
AT ITER 3606 NEW BEST:: SOT 27236 SOS 8718 HAS SOPS 8718 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5404.718
AT ITER 3636 NEW BEST:: SOT 27236 SOS 8712 HAS SOPS 8712 HAS SOUS 5396 HAS SOUPS 5396 WITH SCORE 5404.712
AT ITER 3651 NEW BEST:: SOT 27212 SOS 8664 HAS SOPS 8664 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5380.664
AT ITER 3665 NEW BEST:: SOT 27201 SOS 8642 HAS SOPS 8642 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5374.642
AT ITER 3713 NEW BEST:: SOT 27200 SOS 8639 HAS SOPS 8639 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5372.639
AT ITER 3718 NEW BEST:: SOT 27176 SOS 8591 HAS SOPS 8591 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5367.591
AT ITER 3749 NEW BEST:: SOT 27175 SOS 8589 HAS SOPS 8589 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5362.589
AT ITER 3822 NEW BEST:: SOT 27173 SOS 8590 HAS SOPS 8590 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5359.59
AT ITER 3855 NEW BEST:: SOT 27173 SOS 8585 HAS SOPS 8585 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5359.585
AT ITER 3859 NEW BEST:: SOT 27166 SOS 8571 HAS SOPS 8571 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5345.571
AT ITER 3913 NEW BEST:: SOT 27163 SOS 8589 HAS SOPS 8589 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5342.589
AT ITER 3969 NEW BEST:: SOT 27162 SOS 8587 HAS SOPS 8587 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5340.587
AT ITER 3989 NEW BEST:: SOT 27163 SOS 8578 HAS SOPS 8578 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5331.578
AT ITER 3996 NEW BEST:: SOT 27159 SOS 8574 HAS SOPS 8574 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5323.574
AT ITER 4040 NEW BEST:: SOT 27150 SOS 8556 HAS SOPS 8556 HAS SOUS 5297 HAS SOUPS 5297 WITH SCORE 5305.556
AT ITER 4061 NEW BEST:: SOT 27139 SOS 8546 HAS SOPS 8546 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5299.546
AT ITER 4074 NEW BEST:: SOT 27137 SOS 8552 HAS SOPS 8552 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5297.552
AT ITER 4089 NEW BEST:: SOT 27125 SOS 8543 HAS SOPS 8543 HAS SOUS 5279 HAS SOUPS 5279 WITH SCORE 5287.543
AT ITER 4094 NEW BEST:: SOT 27121 SOS 8535 HAS SOPS 8535 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5269.535
AT ITER 4191 NEW BEST:: SOT 27114 SOS 8528 HAS SOPS 8528 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5255.528
AT ITER 4204 NEW BEST:: SOT 27094 SOS 8524 HAS SOPS 8524 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5255.524
AT ITER 4217 NEW BEST:: SOT 27094 SOS 8522 HAS SOPS 8522 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5253.522
AT ITER 4224 NEW BEST:: SOT 27095 SOS 8490 HAS SOPS 8490 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5221.49
AT ITER 4246 NEW BEST:: SOT 27084 SOS 8473 HAS SOPS 8473 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5210.473
AT ITER 4264 NEW BEST:: SOT 27084 SOS 8469 HAS SOPS 8469 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5210.469
AT ITER 4297 NEW BEST:: SOT 27083 SOS 8468 HAS SOPS 8468 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5208.468
AT ITER 4315 NEW BEST:: SOT 27102 SOS 8472 HAS SOPS 8472 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5203.472
AT ITER 4318 NEW BEST:: SOT 27083 SOS 8434 HAS SOPS 8434 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5167.434
AT ITER 4343 NEW BEST:: SOT 27083 SOS 8431 HAS SOPS 8431 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5167.431
AT ITER 4351 NEW BEST:: SOT 27083 SOS 8431 HAS SOPS 8431 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5160.431
AT ITER 4357 NEW BEST:: SOT 27083 SOS 8424 HAS SOPS 8424 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5160.424
AT ITER 4385 NEW BEST:: SOT 27073 SOS 8403 HAS SOPS 8403 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5151.403
AT ITER 4394 NEW BEST:: SOT 27079 SOS 8395 HAS SOPS 8395 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5150.395
AT ITER 4412 NEW BEST:: SOT 27068 SOS 8373 HAS SOPS 8373 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5135.373
AT ITER 4415 NEW BEST:: SOT 27063 SOS 8359 HAS SOPS 8359 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5121.359
AT ITER 4524 NEW BEST:: SOT 27067 SOS 8364 HAS SOPS 8364 HAS SOUS 5108 HAS SOUPS 5108 WITH SCORE 5116.364
AT ITER 4546 NEW BEST:: SOT 27067 SOS 8332 HAS SOPS 8332 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5101.332
AT ITER 4574 NEW BEST:: SOT 27067 SOS 8308 HAS SOPS 8308 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5101.308
AT ITER 4592 NEW BEST:: SOT 27067 SOS 8307 HAS SOPS 8307 HAS SOUS 5093 HAS SOUPS 5093 WITH SCORE 5101.307
AT ITER 4613 NEW BEST:: SOT 27064 SOS 8301 HAS SOPS 8301 HAS SOUS 5087 HAS SOUPS 5087 WITH SCORE 5095.301
AT ITER 4618 NEW BEST:: SOT 27062 SOS 8297 HAS SOPS 8297 HAS SOUS 5083 HAS SOUPS 5083 WITH SCORE 5091.297
AT ITER 4640 NEW BEST:: SOT 27043 SOS 8296 HAS SOPS 8296 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5090.296
AT ITER 4652 NEW BEST:: SOT 27035 SOS 8280 HAS SOPS 8280 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5082.28
AT ITER 4663 NEW BEST:: SOT 27032 SOS 8363 HAS SOPS 8363 HAS SOUS 5069 HAS SOUPS 5069 WITH SCORE 5077.363
AT ITER 4695 NEW BEST:: SOT 27014 SOS 8530 HAS SOPS 8530 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5067.53
AT ITER 4752 NEW BEST:: SOT 27001 SOS 8504 HAS SOPS 8504 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5041.504
AT ITER 4754 NEW BEST:: SOT 26981 SOS 8489 HAS SOPS 8489 HAS SOUS 4993 HAS SOUPS 4993 WITH SCORE 5001.489
AT ITER 4834 NEW BEST:: SOT 26965 SOS 8473 HAS SOPS 8473 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4985.473
AT ITER 4836 NEW BEST:: SOT 26964 SOS 8472 HAS SOPS 8472 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4983.472
AT ITER 4925 NEW BEST:: SOT 26967 SOS 8471 HAS SOPS 8471 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4975.471
AT ITER 4991 NEW BEST:: SOT 26941 SOS 8445 HAS SOPS 8445 HAS SOUS 4941 HAS SOUPS 4941 WITH SCORE 4949.445
AT ITER 5020 NEW BEST:: SOT 26931 SOS 8435 HAS SOPS 8435 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4939.435
AT ITER 5041 NEW BEST:: SOT 26930 SOS 8435 HAS SOPS 8435 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4937.435
AT ITER 5050 NEW BEST:: SOT 26927 SOS 8429 HAS SOPS 8429 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4931.429
AT ITER 5077 NEW BEST:: SOT 26929 SOS 8431 HAS SOPS 8431 HAS SOUS 4922 HAS SOUPS 4922 WITH SCORE 4930.431
AT ITER 5142 NEW BEST:: SOT 26927 SOS 8431 HAS SOPS 8431 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4926.431
AT ITER 5154 NEW BEST:: SOT 26926 SOS 8430 HAS SOPS 8430 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4925.43
AT ITER 5177 NEW BEST:: SOT 26936 SOS 8425 HAS SOPS 8425 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4920.425
AT ITER 5205 NEW BEST:: SOT 26934 SOS 8419 HAS SOPS 8419 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4914.419
AT ITER 5208 NEW BEST:: SOT 26934 SOS 8409 HAS SOPS 8409 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4914.409
AT ITER 5290 NEW BEST:: SOT 26921 SOS 8302 HAS SOPS 8302 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4888.302
AT ITER 5296 NEW BEST:: SOT 26920 SOS 8300 HAS SOPS 8300 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4886.3
AT ITER 5309 NEW BEST:: SOT 26908 SOS 8254 HAS SOPS 8254 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4862.254
AT ITER 5341 NEW BEST:: SOT 26903 SOS 8247 HAS SOPS 8247 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4855.247
AT ITER 5343 NEW BEST:: SOT 26895 SOS 8239 HAS SOPS 8239 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4847.239
AT ITER 5364 NEW BEST:: SOT 26894 SOS 8237 HAS SOPS 8237 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4847.237
AT ITER 5393 NEW BEST:: SOT 26879 SOS 8230 HAS SOPS 8230 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4841.23
AT ITER 5418 NEW BEST:: SOT 26886 SOS 8234 HAS SOPS 8234 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4839.234
AT ITER 5420 NEW BEST:: SOT 26833 SOS 8178 HAS SOPS 8178 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4783.178
AT ITER 5459 NEW BEST:: SOT 26830 SOS 8168 HAS SOPS 8168 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4777.168
AT ITER 5488 NEW BEST:: SOT 26830 SOS 8168 HAS SOPS 8168 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4776.168
AT ITER 5525 NEW BEST:: SOT 26822 SOS 8152 HAS SOPS 8152 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4760.152
AT ITER 5566 NEW BEST:: SOT 26821 SOS 8150 HAS SOPS 8150 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4758.15
AT ITER 5567 NEW BEST:: SOT 26802 SOS 8129 HAS SOPS 8129 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4737.129
AT ITER 5614 NEW BEST:: SOT 26794 SOS 8122 HAS SOPS 8122 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4729.122
AT ITER 5652 NEW BEST:: SOT 26793 SOS 8120 HAS SOPS 8120 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4727.12
AT ITER 5659 NEW BEST:: SOT 26793 SOS 8080 HAS SOPS 8080 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4727.08
AT ITER 5660 NEW BEST:: SOT 26792 SOS 8075 HAS SOPS 8075 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4725.075
AT ITER 5694 NEW BEST:: SOT 26791 SOS 8073 HAS SOPS 8073 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4723.073
AT ITER 5720 NEW BEST:: SOT 26792 SOS 8072 HAS SOPS 8072 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4722.072
AT ITER 5750 NEW BEST:: SOT 26792 SOS 8068 HAS SOPS 8068 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4722.068
AT ITER 5779 NEW BEST:: SOT 26791 SOS 8065 HAS SOPS 8065 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4720.065
AT ITER 5844 NEW BEST:: SOT 26791 SOS 8065 HAS SOPS 8065 HAS SOUS 4709 HAS SOUPS 4709 WITH SCORE 4717.065
AT ITER 5903 NEW BEST:: SOT 26784 SOS 8073 HAS SOPS 8073 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4710.073
AT ITER 6006 NEW BEST:: SOT 26783 SOS 8071 HAS SOPS 8071 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4708.071
AT ITER 6029 NEW BEST:: SOT 26783 SOS 8062 HAS SOPS 8062 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4708.062
AT ITER 6032 NEW BEST:: SOT 26773 SOS 8038 HAS SOPS 8038 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4688.038
AT ITER 6153 NEW BEST:: SOT 26768 SOS 8033 HAS SOPS 8033 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4678.033
AT ITER 6354 NEW BEST:: SOT 26768 SOS 8019 HAS SOPS 8019 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4678.019
AT ITER 6389 NEW BEST:: SOT 26768 SOS 8019 HAS SOPS 8019 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4664.019
AT ITER 6404 NEW BEST:: SOT 26767 SOS 8017 HAS SOPS 8017 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4651.017
AT ITER 6439 NEW BEST:: SOT 26767 SOS 8013 HAS SOPS 8013 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4647.013
AT ITER 6459 NEW BEST:: SOT 26766 SOS 8014 HAS SOPS 8014 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4646.014
AT ITER 6602 NEW BEST:: SOT 26763 SOS 8011 HAS SOPS 8011 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4646.011
AT ITER 6639 NEW BEST:: SOT 26745 SOS 8186 HAS SOPS 8186 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4640.186
AT ITER 6646 NEW BEST:: SOT 26749 SOS 8189 HAS SOPS 8189 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4639.189
AT ITER 6649 NEW BEST:: SOT 26756 SOS 8185 HAS SOPS 8185 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4635.185
AT ITER 6665 NEW BEST:: SOT 26752 SOS 8181 HAS SOPS 8181 HAS SOUS 4627 HAS SOUPS 4627 WITH SCORE 4635.181
AT ITER 6681 NEW BEST:: SOT 26745 SOS 8190 HAS SOPS 8190 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4621.19
AT ITER 6773 NEW BEST:: SOT 26745 SOS 8190 HAS SOPS 8190 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4619.19
AT ITER 6796 NEW BEST:: SOT 26725 SOS 8165 HAS SOPS 8165 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4594.165
AT ITER 6819 NEW BEST:: SOT 26723 SOS 8163 HAS SOPS 8163 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4592.163
AT ITER 6933 NEW BEST:: SOT 26727 SOS 8155 HAS SOPS 8155 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4585.155
AT ITER 6945 NEW BEST:: SOT 26725 SOS 8151 HAS SOPS 8151 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4581.151
AT ITER 6978 NEW BEST:: SOT 26725 SOS 8150 HAS SOPS 8150 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4580.15
AT ITER 7035 NEW BEST:: SOT 26725 SOS 8149 HAS SOPS 8149 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4580.149
AT ITER 7207 NEW BEST:: SOT 26719 SOS 8151 HAS SOPS 8151 HAS SOUS 4560 HAS SOUPS 4560 WITH SCORE 4568.151
AT ITER 7209 NEW BEST:: SOT 26717 SOS 8153 HAS SOPS 8153 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4564.153
AT ITER 7211 NEW BEST:: SOT 26714 SOS 8150 HAS SOPS 8150 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4561.15
AT ITER 7216 NEW BEST:: SOT 26705 SOS 8142 HAS SOPS 8142 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4543.142
AT ITER 7238 NEW BEST:: SOT 26705 SOS 8142 HAS SOPS 8142 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4541.142
AT ITER 7297 NEW BEST:: SOT 26697 SOS 8127 HAS SOPS 8127 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4537.127
AT ITER 7316 NEW BEST:: SOT 26697 SOS 8126 HAS SOPS 8126 HAS SOUS 4529 HAS SOUPS 4529 WITH SCORE 4537.126
AT ITER 7394 NEW BEST:: SOT 26696 SOS 8132 HAS SOPS 8132 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4536.132
AT ITER 7414 NEW BEST:: SOT 26696 SOS 8132 HAS SOPS 8132 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4534.132
AT ITER 7459 NEW BEST:: SOT 26700 SOS 8128 HAS SOPS 8128 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4530.128
AT ITER 7492 NEW BEST:: SOT 26699 SOS 8126 HAS SOPS 8126 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4528.126
AT ITER 7544 NEW BEST:: SOT 26696 SOS 8113 HAS SOPS 8113 HAS SOUS 4520 HAS SOUPS 4520 WITH SCORE 4528.113
AT ITER 7545 NEW BEST:: SOT 26696 SOS 8113 HAS SOPS 8113 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4524.113
AT ITER 7631 NEW BEST:: SOT 26694 SOS 8111 HAS SOPS 8111 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4522.111
AT ITER 7727 NEW BEST:: SOT 26702 SOS 8119 HAS SOPS 8119 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4520.119
AT ITER 7735 NEW BEST:: SOT 26702 SOS 8114 HAS SOPS 8114 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4520.114
AT ITER 7773 NEW BEST:: SOT 26701 SOS 8113 HAS SOPS 8113 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4519.113
AT ITER 7839 NEW BEST:: SOT 26698 SOS 8107 HAS SOPS 8107 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4519.107
AT ITER 7930 NEW BEST:: SOT 26695 SOS 8098 HAS SOPS 8098 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4510.098
AT ITER 7934 NEW BEST:: SOT 26694 SOS 8097 HAS SOPS 8097 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4508.097
AT ITER 7957 NEW BEST:: SOT 26679 SOS 8067 HAS SOPS 8067 HAS SOUS 4470 HAS SOUPS 4470 WITH SCORE 4478.067
AT ITER 8006 NEW BEST:: SOT 26679 SOS 8066 HAS SOPS 8066 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4477.066
AT ITER 8013 NEW BEST:: SOT 26676 SOS 8060 HAS SOPS 8060 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4471.06
AT ITER 8049 NEW BEST:: SOT 26676 SOS 8060 HAS SOPS 8060 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4470.06
AT ITER 8071 NEW BEST:: SOT 26676 SOS 8059 HAS SOPS 8059 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4470.059
AT ITER 8183 NEW BEST:: SOT 26680 SOS 8067 HAS SOPS 8067 HAS SOUS 4460 HAS SOUPS 4460 WITH SCORE 4468.067
AT ITER 8208 NEW BEST:: SOT 26673 SOS 8059 HAS SOPS 8059 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4459.059
AT ITER 8232 NEW BEST:: SOT 26673 SOS 8053 HAS SOPS 8053 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4453.053
AT ITER 8238 NEW BEST:: SOT 26674 SOS 8055 HAS SOPS 8055 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4449.055
AT ITER 8349 NEW BEST:: SOT 26674 SOS 8054 HAS SOPS 8054 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4449.054
AT ITER 8374 NEW BEST:: SOT 26672 SOS 8052 HAS SOPS 8052 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4447.052
AT ITER 8378 NEW BEST:: SOT 26659 SOS 8039 HAS SOPS 8039 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4434.039
AT ITER 8402 NEW BEST:: SOT 26657 SOS 8051 HAS SOPS 8051 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4430.051
AT ITER 8424 NEW BEST:: SOT 26645 SOS 8042 HAS SOPS 8042 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4401.042
AT ITER 8441 NEW BEST:: SOT 26640 SOS 8030 HAS SOPS 8030 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4400.03
AT ITER 8472 NEW BEST:: SOT 26638 SOS 8028 HAS SOPS 8028 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4398.028
AT ITER 8478 NEW BEST:: SOT 26637 SOS 8025 HAS SOPS 8025 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4395.025
AT ITER 8543 NEW BEST:: SOT 26630 SOS 8019 HAS SOPS 8019 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4381.019
AT ITER 8700 NEW BEST:: SOT 26623 SOS 7999 HAS SOPS 7999 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4373.999
AT ITER 8705 NEW BEST:: SOT 26622 SOS 7998 HAS SOPS 7998 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4372.998
AT ITER 8720 NEW BEST:: SOT 26622 SOS 7998 HAS SOPS 7998 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4370.998
AT ITER 8749 NEW BEST:: SOT 26619 SOS 8039 HAS SOPS 8039 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4368.039
AT ITER 8845 NEW BEST:: SOT 26617 SOS 8043 HAS SOPS 8043 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4363.043
AT ITER 8851 NEW BEST:: SOT 26617 SOS 8027 HAS SOPS 8027 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4363.027
AT ITER 8915 NEW BEST:: SOT 26617 SOS 8027 HAS SOPS 8027 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4361.027
AT ITER 8927 NEW BEST:: SOT 26606 SOS 8005 HAS SOPS 8005 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4357.005
AT ITER 8959 NEW BEST:: SOT 26603 SOS 8002 HAS SOPS 8002 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4354.002
AT ITER 9279 NEW BEST:: SOT 26604 SOS 8000 HAS SOPS 8000 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4352.0
AT ITER 9397 NEW BEST:: SOT 26603 SOS 7999 HAS SOPS 7999 HAS SOUS 4343 HAS SOUPS 4343 WITH SCORE 4350.999
AT ITER 9470 NEW BEST:: SOT 26603 SOS 7998 HAS SOPS 7998 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4349.998
AT ITER 9645 NEW BEST:: SOT 26603 SOS 7998 HAS SOPS 7998 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4347.998
AT ITER 9750 NEW BEST:: SOT 26598 SOS 7997 HAS SOPS 7997 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4341.997
AT ITER 9813 NEW BEST:: SOT 26594 SOS 7989 HAS SOPS 7989 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4333.989
AT ITER 9845 NEW BEST:: SOT 26592 SOS 7988 HAS SOPS 7988 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4329.988
AT ITER 9915 NEW BEST:: SOT 26591 SOS 7987 HAS SOPS 7987 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4327.987
AT ITER 9931 NEW BEST:: SOT 26581 SOS 7978 HAS SOPS 7978 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4320.978
AT ITER 9971 NEW BEST:: SOT 26581 SOS 7977 HAS SOPS 7977 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4320.977
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6905888 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150356 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="DiscoveryGPU-PT-07b"
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 DiscoveryGPU-PT-07b, 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 r131-smll-167819407300312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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