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.r355-smll-167891802900136.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 RwMutex-PT-r0010w0100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891802900136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 6.7K Feb 25 22:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 22:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 22:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 22:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 22:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 22:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 22:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 22:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 183K Mar 5 18:23 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 1679854453275

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=RwMutex-PT-r0010w0100
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0010w0100
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: 230 places, 220 transitions, 2460 arcs.
AT ITER 0 NEW BEST:: SOT 50074 SOS 37866 HAS SOPS 37866 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37903.866
AT ITER 1 NEW BEST:: SOT 50074 SOS 37688 HAS SOPS 37688 HAS SOUS 37688 HAS SOUPS 37688 WITH SCORE 37725.688
AT ITER 2 NEW BEST:: SOT 50074 SOS 37628 HAS SOPS 37628 HAS SOUS 37628 HAS SOUPS 37628 WITH SCORE 37665.628
AT ITER 3 NEW BEST:: SOT 50074 SOS 37492 HAS SOPS 37492 HAS SOUS 37492 HAS SOUPS 37492 WITH SCORE 37529.492
AT ITER 5 NEW BEST:: SOT 50074 SOS 37350 HAS SOPS 37350 HAS SOUS 37350 HAS SOUPS 37350 WITH SCORE 37387.35
AT ITER 6 NEW BEST:: SOT 50074 SOS 37136 HAS SOPS 37136 HAS SOUS 37136 HAS SOUPS 37136 WITH SCORE 37173.136
AT ITER 8 NEW BEST:: SOT 50074 SOS 36942 HAS SOPS 36942 HAS SOUS 36942 HAS SOUPS 36942 WITH SCORE 36978.942
AT ITER 9 NEW BEST:: SOT 50074 SOS 36918 HAS SOPS 36918 HAS SOUS 36918 HAS SOUPS 36918 WITH SCORE 36954.918
AT ITER 10 NEW BEST:: SOT 50074 SOS 36698 HAS SOPS 36698 HAS SOUS 36698 HAS SOUPS 36698 WITH SCORE 36734.698
AT ITER 11 NEW BEST:: SOT 49858 SOS 42150 HAS SOPS 42150 HAS SOUS 36604 HAS SOUPS 36604 WITH SCORE 36646.15
AT ITER 15 NEW BEST:: SOT 49858 SOS 42150 HAS SOPS 42150 HAS SOUS 36580 HAS SOUPS 36580 WITH SCORE 36622.15
AT ITER 18 NEW BEST:: SOT 49858 SOS 42150 HAS SOPS 42150 HAS SOUS 36556 HAS SOUPS 36556 WITH SCORE 36598.15
AT ITER 21 NEW BEST:: SOT 49858 SOS 42150 HAS SOPS 42150 HAS SOUS 36378 HAS SOUPS 36378 WITH SCORE 36420.15
AT ITER 24 NEW BEST:: SOT 49858 SOS 42150 HAS SOPS 42150 HAS SOUS 36354 HAS SOUPS 36354 WITH SCORE 36396.15
AT ITER 26 NEW BEST:: SOT 49858 SOS 36442 HAS SOPS 36442 HAS SOUS 36354 HAS SOUPS 36354 WITH SCORE 36390.442
AT ITER 28 NEW BEST:: SOT 49858 SOS 36408 HAS SOPS 36408 HAS SOUS 36320 HAS SOUPS 36320 WITH SCORE 36356.408
AT ITER 30 NEW BEST:: SOT 49858 SOS 36314 HAS SOPS 36314 HAS SOUS 36226 HAS SOUPS 36226 WITH SCORE 36262.314
AT ITER 32 NEW BEST:: SOT 49858 SOS 36226 HAS SOPS 36226 HAS SOUS 36138 HAS SOUPS 36138 WITH SCORE 36174.226
AT ITER 36 NEW BEST:: SOT 49858 SOS 36070 HAS SOPS 36070 HAS SOUS 35920 HAS SOUPS 35920 WITH SCORE 35956.07
AT ITER 39 NEW BEST:: SOT 49858 SOS 35960 HAS SOPS 35960 HAS SOUS 35810 HAS SOUPS 35810 WITH SCORE 35845.96
AT ITER 41 NEW BEST:: SOT 49838 SOS 41770 HAS SOPS 41770 HAS SOUS 35786 HAS SOUPS 35786 WITH SCORE 35827.77
AT ITER 42 NEW BEST:: SOT 49838 SOS 41770 HAS SOPS 41770 HAS SOUS 35762 HAS SOUPS 35762 WITH SCORE 35803.77
AT ITER 44 NEW BEST:: SOT 49838 SOS 41770 HAS SOPS 41770 HAS SOUS 35546 HAS SOUPS 35546 WITH SCORE 35587.77
AT ITER 45 NEW BEST:: SOT 49838 SOS 41770 HAS SOPS 41770 HAS SOUS 35350 HAS SOUPS 35350 WITH SCORE 35391.77
AT ITER 47 NEW BEST:: SOT 49838 SOS 41538 HAS SOPS 41538 HAS SOUS 35120 HAS SOUPS 35120 WITH SCORE 35161.538
AT ITER 49 NEW BEST:: SOT 49818 SOS 41518 HAS SOPS 41518 HAS SOUS 35100 HAS SOUPS 35100 WITH SCORE 35141.518
AT ITER 52 NEW BEST:: SOT 49818 SOS 41518 HAS SOPS 41518 HAS SOUS 34896 HAS SOUPS 34896 WITH SCORE 34937.518
AT ITER 56 NEW BEST:: SOT 49818 SOS 41484 HAS SOPS 41484 HAS SOUS 34872 HAS SOUPS 34872 WITH SCORE 34913.484
AT ITER 57 NEW BEST:: SOT 49818 SOS 41484 HAS SOPS 41484 HAS SOUS 34750 HAS SOUPS 34750 WITH SCORE 34791.484
AT ITER 58 NEW BEST:: SOT 49818 SOS 41484 HAS SOPS 41484 HAS SOUS 34724 HAS SOUPS 34724 WITH SCORE 34765.484
AT ITER 59 NEW BEST:: SOT 49818 SOS 43074 HAS SOPS 43074 HAS SOUS 34602 HAS SOUPS 34602 WITH SCORE 34645.074
AT ITER 63 NEW BEST:: SOT 49818 SOS 43074 HAS SOPS 43074 HAS SOUS 34400 HAS SOUPS 34400 WITH SCORE 34443.074
AT ITER 68 NEW BEST:: SOT 49818 SOS 43074 HAS SOPS 43074 HAS SOUS 34368 HAS SOUPS 34368 WITH SCORE 34411.074
AT ITER 69 NEW BEST:: SOT 49818 SOS 43074 HAS SOPS 43074 HAS SOUS 34364 HAS SOUPS 34364 WITH SCORE 34407.074
AT ITER 72 NEW BEST:: SOT 49818 SOS 43074 HAS SOPS 43074 HAS SOUS 34340 HAS SOUPS 34340 WITH SCORE 34383.074
AT ITER 73 NEW BEST:: SOT 49818 SOS 42952 HAS SOPS 42952 HAS SOUS 34340 HAS SOUPS 34340 WITH SCORE 34382.952
AT ITER 75 NEW BEST:: SOT 49818 SOS 42952 HAS SOPS 42952 HAS SOUS 34158 HAS SOUPS 34158 WITH SCORE 34200.952
AT ITER 76 NEW BEST:: SOT 49818 SOS 42952 HAS SOPS 42952 HAS SOUS 34148 HAS SOUPS 34148 WITH SCORE 34190.952
AT ITER 77 NEW BEST:: SOT 49724 SOS 42858 HAS SOPS 42858 HAS SOUS 34054 HAS SOUPS 34054 WITH SCORE 34096.858
AT ITER 78 NEW BEST:: SOT 49318 SOS 42452 HAS SOPS 42452 HAS SOUS 33648 HAS SOUPS 33648 WITH SCORE 33690.452
AT ITER 86 NEW BEST:: SOT 49092 SOS 42224 HAS SOPS 42224 HAS SOUS 33420 HAS SOUPS 33420 WITH SCORE 33462.224
AT ITER 87 NEW BEST:: SOT 49092 SOS 42224 HAS SOPS 42224 HAS SOUS 33346 HAS SOUPS 33346 WITH SCORE 33388.224
AT ITER 89 NEW BEST:: SOT 49078 SOS 42210 HAS SOPS 42210 HAS SOUS 33106 HAS SOUPS 33106 WITH SCORE 33148.21
AT ITER 90 NEW BEST:: SOT 49058 SOS 42252 HAS SOPS 42252 HAS SOUS 32922 HAS SOUPS 32922 WITH SCORE 32964.252
AT ITER 91 NEW BEST:: SOT 49058 SOS 42252 HAS SOPS 42252 HAS SOUS 32858 HAS SOUPS 32858 WITH SCORE 32900.252
AT ITER 93 NEW BEST:: SOT 49058 SOS 42252 HAS SOPS 42252 HAS SOUS 32840 HAS SOUPS 32840 WITH SCORE 32882.252
AT ITER 97 NEW BEST:: SOT 48988 SOS 42182 HAS SOPS 42182 HAS SOUS 32770 HAS SOUPS 32770 WITH SCORE 32812.182
AT ITER 102 NEW BEST:: SOT 48988 SOS 42182 HAS SOPS 42182 HAS SOUS 32726 HAS SOUPS 32726 WITH SCORE 32768.182
AT ITER 103 NEW BEST:: SOT 48988 SOS 42120 HAS SOPS 42120 HAS SOUS 32664 HAS SOUPS 32664 WITH SCORE 32706.12
AT ITER 108 NEW BEST:: SOT 48988 SOS 42120 HAS SOPS 42120 HAS SOUS 32650 HAS SOUPS 32650 WITH SCORE 32692.12
AT ITER 110 NEW BEST:: SOT 48988 SOS 42120 HAS SOPS 42120 HAS SOUS 32422 HAS SOUPS 32422 WITH SCORE 32464.12
AT ITER 112 NEW BEST:: SOT 48988 SOS 42120 HAS SOPS 42120 HAS SOUS 32406 HAS SOUPS 32406 WITH SCORE 32448.12
AT ITER 114 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32330 HAS SOUPS 32330 WITH SCORE 32376.562
AT ITER 115 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32258 HAS SOUPS 32258 WITH SCORE 32304.562
AT ITER 117 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32256 HAS SOUPS 32256 WITH SCORE 32302.562
AT ITER 119 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32128 HAS SOUPS 32128 WITH SCORE 32174.562
AT ITER 120 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32088 HAS SOUPS 32088 WITH SCORE 32134.562
AT ITER 123 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32062 HAS SOUPS 32062 WITH SCORE 32108.562
AT ITER 126 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32054 HAS SOUPS 32054 WITH SCORE 32100.562
AT ITER 127 NEW BEST:: SOT 48988 SOS 46562 HAS SOPS 46562 HAS SOUS 32048 HAS SOUPS 32048 WITH SCORE 32094.562
AT ITER 129 NEW BEST:: SOT 48732 SOS 46382 HAS SOPS 46382 HAS SOUS 31638 HAS SOUPS 31638 WITH SCORE 31684.382
AT ITER 130 NEW BEST:: SOT 48732 SOS 46382 HAS SOPS 46382 HAS SOUS 31610 HAS SOUPS 31610 WITH SCORE 31656.382
AT ITER 132 NEW BEST:: SOT 48732 SOS 46382 HAS SOPS 46382 HAS SOUS 31594 HAS SOUPS 31594 WITH SCORE 31640.382
AT ITER 133 NEW BEST:: SOT 48720 SOS 46370 HAS SOPS 46370 HAS SOUS 31570 HAS SOUPS 31570 WITH SCORE 31616.37
AT ITER 135 NEW BEST:: SOT 48720 SOS 46370 HAS SOPS 46370 HAS SOUS 31418 HAS SOUPS 31418 WITH SCORE 31464.37
AT ITER 137 NEW BEST:: SOT 48720 SOS 46058 HAS SOPS 46058 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31310.058
AT ITER 140 NEW BEST:: SOT 48720 SOS 46058 HAS SOPS 46058 HAS SOUS 31162 HAS SOUPS 31162 WITH SCORE 31208.058
AT ITER 146 NEW BEST:: SOT 48720 SOS 46058 HAS SOPS 46058 HAS SOUS 31134 HAS SOUPS 31134 WITH SCORE 31180.058
AT ITER 148 NEW BEST:: SOT 48720 SOS 46058 HAS SOPS 46058 HAS SOUS 31110 HAS SOUPS 31110 WITH SCORE 31156.058
AT ITER 151 NEW BEST:: SOT 48584 SOS 45896 HAS SOPS 45896 HAS SOUS 30948 HAS SOUPS 30948 WITH SCORE 30993.896
AT ITER 157 NEW BEST:: SOT 48584 SOS 45896 HAS SOPS 45896 HAS SOUS 30946 HAS SOUPS 30946 WITH SCORE 30991.896
AT ITER 163 NEW BEST:: SOT 48584 SOS 45896 HAS SOPS 45896 HAS SOUS 30868 HAS SOUPS 30868 WITH SCORE 30913.896
AT ITER 170 NEW BEST:: SOT 48584 SOS 45896 HAS SOPS 45896 HAS SOUS 30840 HAS SOUPS 30840 WITH SCORE 30885.896
AT ITER 174 NEW BEST:: SOT 48584 SOS 45896 HAS SOPS 45896 HAS SOUS 30828 HAS SOUPS 30828 WITH SCORE 30873.896
AT ITER 178 NEW BEST:: SOT 48508 SOS 45820 HAS SOPS 45820 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30797.82
AT ITER 180 NEW BEST:: SOT 48508 SOS 45820 HAS SOPS 45820 HAS SOUS 30664 HAS SOUPS 30664 WITH SCORE 30709.82
AT ITER 182 NEW BEST:: SOT 48508 SOS 45820 HAS SOPS 45820 HAS SOUS 30432 HAS SOUPS 30432 WITH SCORE 30477.82
AT ITER 219 NEW BEST:: SOT 48494 SOS 45784 HAS SOPS 45784 HAS SOUS 30396 HAS SOUPS 30396 WITH SCORE 30441.784
AT ITER 222 NEW BEST:: SOT 48096 SOS 45602 HAS SOPS 45602 HAS SOUS 29984 HAS SOUPS 29984 WITH SCORE 30029.602
AT ITER 226 NEW BEST:: SOT 48096 SOS 45602 HAS SOPS 45602 HAS SOUS 29964 HAS SOUPS 29964 WITH SCORE 30009.602
AT ITER 229 NEW BEST:: SOT 48096 SOS 45602 HAS SOPS 45602 HAS SOUS 29940 HAS SOUPS 29940 WITH SCORE 29985.602
AT ITER 231 NEW BEST:: SOT 48096 SOS 45602 HAS SOPS 45602 HAS SOUS 29906 HAS SOUPS 29906 WITH SCORE 29951.602
AT ITER 237 NEW BEST:: SOT 48096 SOS 45602 HAS SOPS 45602 HAS SOUS 29902 HAS SOUPS 29902 WITH SCORE 29947.602
AT ITER 241 NEW BEST:: SOT 48044 SOS 45612 HAS SOPS 45612 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29733.612
AT ITER 255 NEW BEST:: SOT 48044 SOS 45612 HAS SOPS 45612 HAS SOUS 29640 HAS SOUPS 29640 WITH SCORE 29685.612
AT ITER 257 NEW BEST:: SOT 47956 SOS 45602 HAS SOPS 45602 HAS SOUS 29470 HAS SOUPS 29470 WITH SCORE 29515.602
AT ITER 258 NEW BEST:: SOT 47956 SOS 45602 HAS SOPS 45602 HAS SOUS 29420 HAS SOUPS 29420 WITH SCORE 29465.602
AT ITER 262 NEW BEST:: SOT 47756 SOS 45402 HAS SOPS 45402 HAS SOUS 29210 HAS SOUPS 29210 WITH SCORE 29255.402
AT ITER 265 NEW BEST:: SOT 47756 SOS 45402 HAS SOPS 45402 HAS SOUS 29184 HAS SOUPS 29184 WITH SCORE 29229.402
AT ITER 267 NEW BEST:: SOT 47720 SOS 45366 HAS SOPS 45366 HAS SOUS 29148 HAS SOUPS 29148 WITH SCORE 29193.366
AT ITER 272 NEW BEST:: SOT 47720 SOS 45366 HAS SOPS 45366 HAS SOUS 29080 HAS SOUPS 29080 WITH SCORE 29125.366
AT ITER 273 NEW BEST:: SOT 47720 SOS 45312 HAS SOPS 45312 HAS SOUS 29026 HAS SOUPS 29026 WITH SCORE 29071.312
AT ITER 276 NEW BEST:: SOT 47720 SOS 45312 HAS SOPS 45312 HAS SOUS 28848 HAS SOUPS 28848 WITH SCORE 28893.312
AT ITER 279 NEW BEST:: SOT 47720 SOS 45312 HAS SOPS 45312 HAS SOUS 28816 HAS SOUPS 28816 WITH SCORE 28861.312
AT ITER 280 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28847.234
AT ITER 288 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28821.234
AT ITER 294 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28738 HAS SOUPS 28738 WITH SCORE 28783.234
AT ITER 312 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28720 HAS SOUPS 28720 WITH SCORE 28765.234
AT ITER 315 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28755.234
AT ITER 318 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28676 HAS SOUPS 28676 WITH SCORE 28721.234
AT ITER 322 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28538 HAS SOUPS 28538 WITH SCORE 28583.234
AT ITER 327 NEW BEST:: SOT 47720 SOS 45234 HAS SOPS 45234 HAS SOUS 28522 HAS SOUPS 28522 WITH SCORE 28567.234
AT ITER 331 NEW BEST:: SOT 47720 SOS 45172 HAS SOPS 45172 HAS SOUS 28460 HAS SOUPS 28460 WITH SCORE 28505.172
AT ITER 336 NEW BEST:: SOT 47720 SOS 45172 HAS SOPS 45172 HAS SOUS 28444 HAS SOUPS 28444 WITH SCORE 28489.172
AT ITER 344 NEW BEST:: SOT 47720 SOS 45172 HAS SOPS 45172 HAS SOUS 28424 HAS SOUPS 28424 WITH SCORE 28469.172
AT ITER 345 NEW BEST:: SOT 47720 SOS 40564 HAS SOPS 40564 HAS SOUS 28378 HAS SOUPS 28378 WITH SCORE 28418.564
AT ITER 346 NEW BEST:: SOT 47720 SOS 40552 HAS SOPS 40552 HAS SOUS 28366 HAS SOUPS 28366 WITH SCORE 28406.552
AT ITER 348 NEW BEST:: SOT 47720 SOS 40486 HAS SOPS 40486 HAS SOUS 28356 HAS SOUPS 28356 WITH SCORE 28396.486
AT ITER 353 NEW BEST:: SOT 47700 SOS 40466 HAS SOPS 40466 HAS SOUS 28336 HAS SOUPS 28336 WITH SCORE 28376.466
AT ITER 358 NEW BEST:: SOT 47700 SOS 40466 HAS SOPS 40466 HAS SOUS 28302 HAS SOUPS 28302 WITH SCORE 28342.466
AT ITER 372 NEW BEST:: SOT 47258 SOS 40024 HAS SOPS 40024 HAS SOUS 27860 HAS SOUPS 27860 WITH SCORE 27900.024
AT ITER 375 NEW BEST:: SOT 47258 SOS 40024 HAS SOPS 40024 HAS SOUS 27838 HAS SOUPS 27838 WITH SCORE 27878.024
AT ITER 376 NEW BEST:: SOT 47258 SOS 40024 HAS SOPS 40024 HAS SOUS 27726 HAS SOUPS 27726 WITH SCORE 27766.024
AT ITER 377 NEW BEST:: SOT 47258 SOS 40024 HAS SOPS 40024 HAS SOUS 27724 HAS SOUPS 27724 WITH SCORE 27764.024
AT ITER 384 NEW BEST:: SOT 47144 SOS 39910 HAS SOPS 39910 HAS SOUS 27496 HAS SOUPS 27496 WITH SCORE 27535.91
AT ITER 394 NEW BEST:: SOT 47144 SOS 39910 HAS SOPS 39910 HAS SOUS 27360 HAS SOUPS 27360 WITH SCORE 27399.91
AT ITER 401 NEW BEST:: SOT 47144 SOS 39898 HAS SOPS 39898 HAS SOUS 27324 HAS SOUPS 27324 WITH SCORE 27363.898
AT ITER 405 NEW BEST:: SOT 47144 SOS 39908 HAS SOPS 39908 HAS SOUS 27320 HAS SOUPS 27320 WITH SCORE 27359.908
AT ITER 410 NEW BEST:: SOT 47144 SOS 39908 HAS SOPS 39908 HAS SOUS 27298 HAS SOUPS 27298 WITH SCORE 27337.908
AT ITER 415 NEW BEST:: SOT 47144 SOS 39908 HAS SOPS 39908 HAS SOUS 27214 HAS SOUPS 27214 WITH SCORE 27253.908
AT ITER 416 NEW BEST:: SOT 46406 SOS 39230 HAS SOPS 39230 HAS SOUS 26536 HAS SOUPS 26536 WITH SCORE 26575.23
AT ITER 424 NEW BEST:: SOT 46406 SOS 39230 HAS SOPS 39230 HAS SOUS 26476 HAS SOUPS 26476 WITH SCORE 26515.23
AT ITER 425 NEW BEST:: SOT 46406 SOS 39230 HAS SOPS 39230 HAS SOUS 26440 HAS SOUPS 26440 WITH SCORE 26479.23
AT ITER 436 NEW BEST:: SOT 46406 SOS 39230 HAS SOPS 39230 HAS SOUS 26416 HAS SOUPS 26416 WITH SCORE 26455.23
AT ITER 445 NEW BEST:: SOT 46406 SOS 39214 HAS SOPS 39214 HAS SOUS 26400 HAS SOUPS 26400 WITH SCORE 26439.214
AT ITER 447 NEW BEST:: SOT 46406 SOS 39214 HAS SOPS 39214 HAS SOUS 26216 HAS SOUPS 26216 WITH SCORE 26255.214
AT ITER 448 NEW BEST:: SOT 46462 SOS 39140 HAS SOPS 39140 HAS SOUS 26170 HAS SOUPS 26170 WITH SCORE 26209.14
AT ITER 453 NEW BEST:: SOT 46462 SOS 39140 HAS SOPS 39140 HAS SOUS 26140 HAS SOUPS 26140 WITH SCORE 26179.14
AT ITER 459 NEW BEST:: SOT 46462 SOS 39140 HAS SOPS 39140 HAS SOUS 26124 HAS SOUPS 26124 WITH SCORE 26163.14
AT ITER 469 NEW BEST:: SOT 46462 SOS 39140 HAS SOPS 39140 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26143.14
AT ITER 470 NEW BEST:: SOT 46462 SOS 39140 HAS SOPS 39140 HAS SOUS 26012 HAS SOUPS 26012 WITH SCORE 26051.14
AT ITER 479 NEW BEST:: SOT 46462 SOS 39140 HAS SOPS 39140 HAS SOUS 25938 HAS SOUPS 25938 WITH SCORE 25977.14
AT ITER 480 NEW BEST:: SOT 46462 SOS 39140 HAS SOPS 39140 HAS SOUS 25898 HAS SOUPS 25898 WITH SCORE 25937.14
AT ITER 487 NEW BEST:: SOT 46462 SOS 39082 HAS SOPS 39082 HAS SOUS 25868 HAS SOUPS 25868 WITH SCORE 25907.082
AT ITER 492 NEW BEST:: SOT 46462 SOS 39082 HAS SOPS 39082 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25873.082
AT ITER 503 NEW BEST:: SOT 46462 SOS 39082 HAS SOPS 39082 HAS SOUS 25796 HAS SOUPS 25796 WITH SCORE 25835.082
AT ITER 523 NEW BEST:: SOT 46462 SOS 39082 HAS SOPS 39082 HAS SOUS 25736 HAS SOUPS 25736 WITH SCORE 25775.082
AT ITER 545 NEW BEST:: SOT 46432 SOS 39242 HAS SOPS 39242 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25757.242
AT ITER 564 NEW BEST:: SOT 46400 SOS 39210 HAS SOPS 39210 HAS SOUS 25686 HAS SOUPS 25686 WITH SCORE 25725.21
AT ITER 583 NEW BEST:: SOT 46400 SOS 39210 HAS SOPS 39210 HAS SOUS 25650 HAS SOUPS 25650 WITH SCORE 25689.21
AT ITER 586 NEW BEST:: SOT 46400 SOS 39210 HAS SOPS 39210 HAS SOUS 25594 HAS SOUPS 25594 WITH SCORE 25633.21
AT ITER 593 NEW BEST:: SOT 46400 SOS 39210 HAS SOPS 39210 HAS SOUS 25586 HAS SOUPS 25586 WITH SCORE 25625.21
AT ITER 597 NEW BEST:: SOT 46400 SOS 39180 HAS SOPS 39180 HAS SOUS 25550 HAS SOUPS 25550 WITH SCORE 25589.18
AT ITER 601 NEW BEST:: SOT 46386 SOS 39166 HAS SOPS 39166 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25575.166
AT ITER 607 NEW BEST:: SOT 46386 SOS 39166 HAS SOPS 39166 HAS SOUS 25498 HAS SOUPS 25498 WITH SCORE 25537.166
AT ITER 613 NEW BEST:: SOT 46386 SOS 39156 HAS SOPS 39156 HAS SOUS 25478 HAS SOUPS 25478 WITH SCORE 25517.156
AT ITER 617 NEW BEST:: SOT 46386 SOS 39156 HAS SOPS 39156 HAS SOUS 25404 HAS SOUPS 25404 WITH SCORE 25443.156
AT ITER 620 NEW BEST:: SOT 46386 SOS 39156 HAS SOPS 39156 HAS SOUS 25334 HAS SOUPS 25334 WITH SCORE 25373.156
AT ITER 624 NEW BEST:: SOT 46386 SOS 39134 HAS SOPS 39134 HAS SOUS 25312 HAS SOUPS 25312 WITH SCORE 25351.134
AT ITER 631 NEW BEST:: SOT 46386 SOS 39134 HAS SOPS 39134 HAS SOUS 25270 HAS SOUPS 25270 WITH SCORE 25309.134
AT ITER 636 NEW BEST:: SOT 46386 SOS 39134 HAS SOPS 39134 HAS SOUS 25232 HAS SOUPS 25232 WITH SCORE 25271.134
AT ITER 641 NEW BEST:: SOT 46386 SOS 39134 HAS SOPS 39134 HAS SOUS 25218 HAS SOUPS 25218 WITH SCORE 25257.134
AT ITER 643 NEW BEST:: SOT 46342 SOS 39078 HAS SOPS 39078 HAS SOUS 25162 HAS SOUPS 25162 WITH SCORE 25201.078
AT ITER 644 NEW BEST:: SOT 46342 SOS 39078 HAS SOPS 39078 HAS SOUS 25114 HAS SOUPS 25114 WITH SCORE 25153.078
AT ITER 648 NEW BEST:: SOT 46286 SOS 39022 HAS SOPS 39022 HAS SOUS 24946 HAS SOUPS 24946 WITH SCORE 24985.022
AT ITER 652 NEW BEST:: SOT 46286 SOS 39022 HAS SOPS 39022 HAS SOUS 24918 HAS SOUPS 24918 WITH SCORE 24957.022
AT ITER 659 NEW BEST:: SOT 46286 SOS 39022 HAS SOPS 39022 HAS SOUS 24846 HAS SOUPS 24846 WITH SCORE 24885.022
AT ITER 662 NEW BEST:: SOT 44002 SOS 37004 HAS SOPS 37004 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22865.004
AT ITER 684 NEW BEST:: SOT 44002 SOS 37004 HAS SOPS 37004 HAS SOUS 22814 HAS SOUPS 22814 WITH SCORE 22851.004
AT ITER 686 NEW BEST:: SOT 43992 SOS 36994 HAS SOPS 36994 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22840.994
AT ITER 693 NEW BEST:: SOT 43884 SOS 36948 HAS SOPS 36948 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22794.948
AT ITER 694 NEW BEST:: SOT 43884 SOS 36948 HAS SOPS 36948 HAS SOUS 22748 HAS SOUPS 22748 WITH SCORE 22784.948
AT ITER 696 NEW BEST:: SOT 43728 SOS 36792 HAS SOPS 36792 HAS SOUS 22568 HAS SOUPS 22568 WITH SCORE 22604.792
AT ITER 702 NEW BEST:: SOT 43728 SOS 36792 HAS SOPS 36792 HAS SOUS 22528 HAS SOUPS 22528 WITH SCORE 22564.792
AT ITER 705 NEW BEST:: SOT 43728 SOS 36792 HAS SOPS 36792 HAS SOUS 22476 HAS SOUPS 22476 WITH SCORE 22512.792
AT ITER 711 NEW BEST:: SOT 43728 SOS 36754 HAS SOPS 36754 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22492.754
AT ITER 716 NEW BEST:: SOT 43728 SOS 36754 HAS SOPS 36754 HAS SOUS 22300 HAS SOUPS 22300 WITH SCORE 22336.754
AT ITER 731 NEW BEST:: SOT 43728 SOS 36740 HAS SOPS 36740 HAS SOUS 22286 HAS SOUPS 22286 WITH SCORE 22322.74
AT ITER 733 NEW BEST:: SOT 43728 SOS 36740 HAS SOPS 36740 HAS SOUS 22276 HAS SOUPS 22276 WITH SCORE 22312.74
AT ITER 745 NEW BEST:: SOT 43728 SOS 36740 HAS SOPS 36740 HAS SOUS 22162 HAS SOUPS 22162 WITH SCORE 22198.74
AT ITER 765 NEW BEST:: SOT 43728 SOS 36740 HAS SOPS 36740 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22152.74
AT ITER 771 NEW BEST:: SOT 43728 SOS 36740 HAS SOPS 36740 HAS SOUS 22110 HAS SOUPS 22110 WITH SCORE 22146.74
AT ITER 775 NEW BEST:: SOT 43728 SOS 36738 HAS SOPS 36738 HAS SOUS 22106 HAS SOUPS 22106 WITH SCORE 22142.738
AT ITER 791 NEW BEST:: SOT 37896 SOS 31152 HAS SOPS 31152 HAS SOUS 16520 HAS SOUPS 16520 WITH SCORE 16551.152
AT ITER 796 NEW BEST:: SOT 37896 SOS 31152 HAS SOPS 31152 HAS SOUS 16498 HAS SOUPS 16498 WITH SCORE 16529.152
AT ITER 803 NEW BEST:: SOT 37738 SOS 30994 HAS SOPS 30994 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16370.994
AT ITER 804 NEW BEST:: SOT 37738 SOS 30994 HAS SOPS 30994 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16366.994
AT ITER 805 NEW BEST:: SOT 37738 SOS 30890 HAS SOPS 30890 HAS SOUS 16232 HAS SOUPS 16232 WITH SCORE 16262.89
AT ITER 807 NEW BEST:: SOT 37738 SOS 30890 HAS SOPS 30890 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16250.89
AT ITER 832 NEW BEST:: SOT 37694 SOS 30846 HAS SOPS 30846 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16150.846
AT ITER 851 NEW BEST:: SOT 37694 SOS 30846 HAS SOPS 30846 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16108.846
AT ITER 854 NEW BEST:: SOT 37654 SOS 30832 HAS SOPS 30832 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16094.832
AT ITER 858 NEW BEST:: SOT 37636 SOS 30814 HAS SOPS 30814 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16058.814
AT ITER 882 NEW BEST:: SOT 37636 SOS 30814 HAS SOPS 30814 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16018.814
AT ITER 885 NEW BEST:: SOT 37636 SOS 30814 HAS SOPS 30814 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16010.814
AT ITER 894 NEW BEST:: SOT 35532 SOS 28710 HAS SOPS 28710 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13904.71
AT ITER 895 NEW BEST:: SOT 35532 SOS 28698 HAS SOPS 28698 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13892.698
AT ITER 908 NEW BEST:: SOT 35532 SOS 28698 HAS SOPS 28698 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13864.698
AT ITER 918 NEW BEST:: SOT 35532 SOS 28698 HAS SOPS 28698 HAS SOUS 13826 HAS SOUPS 13826 WITH SCORE 13854.698
AT ITER 927 NEW BEST:: SOT 35476 SOS 28642 HAS SOPS 28642 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13742.642
AT ITER 944 NEW BEST:: SOT 35280 SOS 28446 HAS SOPS 28446 HAS SOUS 13518 HAS SOUPS 13518 WITH SCORE 13546.446
AT ITER 956 NEW BEST:: SOT 35280 SOS 28336 HAS SOPS 28336 HAS SOUS 13518 HAS SOUPS 13518 WITH SCORE 13546.336
AT ITER 969 NEW BEST:: SOT 35280 SOS 28316 HAS SOPS 28316 HAS SOUS 13498 HAS SOUPS 13498 WITH SCORE 13526.316
AT ITER 971 NEW BEST:: SOT 35224 SOS 28298 HAS SOPS 28298 HAS SOUS 13350 HAS SOUPS 13350 WITH SCORE 13378.298
AT ITER 975 NEW BEST:: SOT 35200 SOS 28274 HAS SOPS 28274 HAS SOUS 13306 HAS SOUPS 13306 WITH SCORE 13334.274
AT ITER 984 NEW BEST:: SOT 35178 SOS 28252 HAS SOPS 28252 HAS SOUS 13262 HAS SOUPS 13262 WITH SCORE 13290.252
AT ITER 994 NEW BEST:: SOT 35082 SOS 28236 HAS SOPS 28236 HAS SOUS 13184 HAS SOUPS 13184 WITH SCORE 13212.236
AT ITER 1012 NEW BEST:: SOT 35056 SOS 28210 HAS SOPS 28210 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13160.21
AT ITER 1015 NEW BEST:: SOT 35056 SOS 28170 HAS SOPS 28170 HAS SOUS 13042 HAS SOUPS 13042 WITH SCORE 13070.17
AT ITER 1027 NEW BEST:: SOT 35056 SOS 28170 HAS SOPS 28170 HAS SOUS 12996 HAS SOUPS 12996 WITH SCORE 13024.17
AT ITER 1076 NEW BEST:: SOT 34990 SOS 28102 HAS SOPS 28102 HAS SOUS 12928 HAS SOUPS 12928 WITH SCORE 12956.102
AT ITER 1077 NEW BEST:: SOT 34990 SOS 28102 HAS SOPS 28102 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12946.102
AT ITER 1083 NEW BEST:: SOT 34986 SOS 28098 HAS SOPS 28098 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12938.098
AT ITER 1088 NEW BEST:: SOT 34986 SOS 28098 HAS SOPS 28098 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12862.098
AT ITER 1089 NEW BEST:: SOT 34870 SOS 27982 HAS SOPS 27982 HAS SOUS 12718 HAS SOUPS 12718 WITH SCORE 12745.982
AT ITER 1099 NEW BEST:: SOT 34870 SOS 27982 HAS SOPS 27982 HAS SOUS 12698 HAS SOUPS 12698 WITH SCORE 12725.982
AT ITER 1111 NEW BEST:: SOT 34870 SOS 27982 HAS SOPS 27982 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12691.982
AT ITER 1132 NEW BEST:: SOT 34864 SOS 27976 HAS SOPS 27976 HAS SOUS 12652 HAS SOUPS 12652 WITH SCORE 12679.976
AT ITER 1145 NEW BEST:: SOT 34864 SOS 27976 HAS SOPS 27976 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12649.976
AT ITER 1149 NEW BEST:: SOT 34864 SOS 28004 HAS SOPS 28004 HAS SOUS 12608 HAS SOUPS 12608 WITH SCORE 12636.004
AT ITER 1165 NEW BEST:: SOT 34864 SOS 28004 HAS SOPS 28004 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12594.004
AT ITER 1176 NEW BEST:: SOT 34864 SOS 28004 HAS SOPS 28004 HAS SOUS 12558 HAS SOUPS 12558 WITH SCORE 12586.004
AT ITER 1201 NEW BEST:: SOT 34850 SOS 27990 HAS SOPS 27990 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12557.99
AT ITER 1202 NEW BEST:: SOT 34806 SOS 27946 HAS SOPS 27946 HAS SOUS 12358 HAS SOUPS 12358 WITH SCORE 12385.946
AT ITER 1230 NEW BEST:: SOT 34806 SOS 27946 HAS SOPS 27946 HAS SOUS 12354 HAS SOUPS 12354 WITH SCORE 12381.946
AT ITER 1231 NEW BEST:: SOT 34800 SOS 27940 HAS SOPS 27940 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12369.94
AT ITER 1233 NEW BEST:: SOT 34796 SOS 27936 HAS SOPS 27936 HAS SOUS 12334 HAS SOUPS 12334 WITH SCORE 12361.936
AT ITER 1236 NEW BEST:: SOT 34796 SOS 27936 HAS SOPS 27936 HAS SOUS 12316 HAS SOUPS 12316 WITH SCORE 12343.936
AT ITER 1237 NEW BEST:: SOT 34796 SOS 27936 HAS SOPS 27936 HAS SOUS 12308 HAS SOUPS 12308 WITH SCORE 12335.936
AT ITER 1238 NEW BEST:: SOT 34762 SOS 27902 HAS SOPS 27902 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12301.902
AT ITER 1256 NEW BEST:: SOT 34734 SOS 27874 HAS SOPS 27874 HAS SOUS 12218 HAS SOUPS 12218 WITH SCORE 12245.874
AT ITER 1266 NEW BEST:: SOT 34730 SOS 27870 HAS SOPS 27870 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12241.87
AT ITER 1273 NEW BEST:: SOT 34730 SOS 27870 HAS SOPS 27870 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12231.87
AT ITER 1285 NEW BEST:: SOT 34694 SOS 27834 HAS SOPS 27834 HAS SOUS 12132 HAS SOUPS 12132 WITH SCORE 12159.834
AT ITER 1336 NEW BEST:: SOT 34690 SOS 27830 HAS SOPS 27830 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12155.83
AT ITER 1352 NEW BEST:: SOT 34690 SOS 27830 HAS SOPS 27830 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12135.83
AT ITER 1353 NEW BEST:: SOT 34660 SOS 27800 HAS SOPS 27800 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12075.8
AT ITER 1356 NEW BEST:: SOT 34650 SOS 27784 HAS SOPS 27784 HAS SOUS 12032 HAS SOUPS 12032 WITH SCORE 12059.784
AT ITER 1362 NEW BEST:: SOT 34650 SOS 27784 HAS SOPS 27784 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12047.784
AT ITER 1385 NEW BEST:: SOT 34650 SOS 27784 HAS SOPS 27784 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12045.784
AT ITER 1405 NEW BEST:: SOT 34650 SOS 27776 HAS SOPS 27776 HAS SOUS 12010 HAS SOUPS 12010 WITH SCORE 12037.776
AT ITER 1408 NEW BEST:: SOT 34650 SOS 27776 HAS SOPS 27776 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12033.776
AT ITER 1422 NEW BEST:: SOT 34642 SOS 27768 HAS SOPS 27768 HAS SOUS 11990 HAS SOUPS 11990 WITH SCORE 12017.768
AT ITER 1437 NEW BEST:: SOT 34640 SOS 27766 HAS SOPS 27766 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11993.766
AT ITER 1445 NEW BEST:: SOT 34562 SOS 27688 HAS SOPS 27688 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11915.688
AT ITER 1450 NEW BEST:: SOT 34562 SOS 27634 HAS SOPS 27634 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11915.634
AT ITER 1458 NEW BEST:: SOT 33680 SOS 26884 HAS SOPS 26884 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11160.884
AT ITER 1485 NEW BEST:: SOT 33680 SOS 26884 HAS SOPS 26884 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11154.884
AT ITER 1521 NEW BEST:: SOT 33680 SOS 26886 HAS SOPS 26886 HAS SOUS 10986 HAS SOUPS 10986 WITH SCORE 11012.886
AT ITER 1525 NEW BEST:: SOT 33680 SOS 26886 HAS SOPS 26886 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 11002.886
AT ITER 1526 NEW BEST:: SOT 33672 SOS 26878 HAS SOPS 26878 HAS SOUS 10960 HAS SOUPS 10960 WITH SCORE 10986.878
AT ITER 1528 NEW BEST:: SOT 33672 SOS 26878 HAS SOPS 26878 HAS SOUS 10934 HAS SOUPS 10934 WITH SCORE 10960.878
AT ITER 1560 NEW BEST:: SOT 33672 SOS 26878 HAS SOPS 26878 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10942.878
AT ITER 1579 NEW BEST:: SOT 33672 SOS 26878 HAS SOPS 26878 HAS SOUS 10914 HAS SOUPS 10914 WITH SCORE 10940.878
AT ITER 1592 NEW BEST:: SOT 33672 SOS 27222 HAS SOPS 27222 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10919.222
AT ITER 1609 NEW BEST:: SOT 33668 SOS 27218 HAS SOPS 27218 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10915.218
AT ITER 1617 NEW BEST:: SOT 33596 SOS 27146 HAS SOPS 27146 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10843.146
AT ITER 1659 NEW BEST:: SOT 33592 SOS 27126 HAS SOPS 27126 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10823.126
AT ITER 1665 NEW BEST:: SOT 33562 SOS 27096 HAS SOPS 27096 HAS SOUS 10736 HAS SOUPS 10736 WITH SCORE 10763.096
AT ITER 1668 NEW BEST:: SOT 33558 SOS 27092 HAS SOPS 27092 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10759.092
AT ITER 1681 NEW BEST:: SOT 33526 SOS 27060 HAS SOPS 27060 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10695.06
AT ITER 1691 NEW BEST:: SOT 33512 SOS 27046 HAS SOPS 27046 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10681.046
AT ITER 1704 NEW BEST:: SOT 33512 SOS 27046 HAS SOPS 27046 HAS SOUS 10652 HAS SOUPS 10652 WITH SCORE 10679.046
AT ITER 1710 NEW BEST:: SOT 33492 SOS 27026 HAS SOPS 27026 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10639.026
AT ITER 1712 NEW BEST:: SOT 33492 SOS 27026 HAS SOPS 27026 HAS SOUS 10602 HAS SOUPS 10602 WITH SCORE 10629.026
AT ITER 1714 NEW BEST:: SOT 33492 SOS 27026 HAS SOPS 27026 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10623.026
AT ITER 1741 NEW BEST:: SOT 33492 SOS 27026 HAS SOPS 27026 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10619.026
AT ITER 1761 NEW BEST:: SOT 33492 SOS 27026 HAS SOPS 27026 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10581.026
AT ITER 1792 NEW BEST:: SOT 33492 SOS 27026 HAS SOPS 27026 HAS SOUS 10552 HAS SOUPS 10552 WITH SCORE 10579.026
AT ITER 1794 NEW BEST:: SOT 33492 SOS 27026 HAS SOPS 27026 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10529.026
AT ITER 1802 NEW BEST:: SOT 33456 SOS 26990 HAS SOPS 26990 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10456.99
AT ITER 1819 NEW BEST:: SOT 33456 SOS 26990 HAS SOPS 26990 HAS SOUS 10386 HAS SOUPS 10386 WITH SCORE 10412.99
AT ITER 1831 NEW BEST:: SOT 33454 SOS 26988 HAS SOPS 26988 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10408.988
AT ITER 1847 NEW BEST:: SOT 32656 SOS 26208 HAS SOPS 26208 HAS SOUS 9584 HAS SOUPS 9584 WITH SCORE 9610.208
AT ITER 1857 NEW BEST:: SOT 32656 SOS 26208 HAS SOPS 26208 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9594.208
AT ITER 1859 NEW BEST:: SOT 32656 SOS 26208 HAS SOPS 26208 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9580.208
AT ITER 1881 NEW BEST:: SOT 32654 SOS 26206 HAS SOPS 26206 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9576.206
AT ITER 1908 NEW BEST:: SOT 32654 SOS 26206 HAS SOPS 26206 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9568.206
AT ITER 1918 NEW BEST:: SOT 32644 SOS 26196 HAS SOPS 26196 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9548.196
AT ITER 1934 NEW BEST:: SOT 32644 SOS 26196 HAS SOPS 26196 HAS SOUS 9492 HAS SOUPS 9492 WITH SCORE 9518.196
AT ITER 1956 NEW BEST:: SOT 32644 SOS 26194 HAS SOPS 26194 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9516.194
AT ITER 1962 NEW BEST:: SOT 32616 SOS 26166 HAS SOPS 26166 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9460.166
AT ITER 1967 NEW BEST:: SOT 32616 SOS 26160 HAS SOPS 26160 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9454.16
AT ITER 1976 NEW BEST:: SOT 32038 SOS 30744 HAS SOPS 30744 HAS SOUS 9074 HAS SOUPS 9074 WITH SCORE 9104.744
AT ITER 1980 NEW BEST:: SOT 32010 SOS 30716 HAS SOPS 30716 HAS SOUS 9014 HAS SOUPS 9014 WITH SCORE 9044.716
AT ITER 1993 NEW BEST:: SOT 32010 SOS 25672 HAS SOPS 25672 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9029.672
AT ITER 2005 NEW BEST:: SOT 32000 SOS 25662 HAS SOPS 25662 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 9009.662
AT ITER 2009 NEW BEST:: SOT 32000 SOS 25662 HAS SOPS 25662 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 9007.662
AT ITER 2025 NEW BEST:: SOT 32070 SOS 25732 HAS SOPS 25732 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8927.732
AT ITER 2069 NEW BEST:: SOT 31988 SOS 25654 HAS SOPS 25654 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8849.654
AT ITER 2112 NEW BEST:: SOT 31988 SOS 25654 HAS SOPS 25654 HAS SOUS 8816 HAS SOUPS 8816 WITH SCORE 8841.654
AT ITER 2127 NEW BEST:: SOT 31918 SOS 25584 HAS SOPS 25584 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8701.584
AT ITER 2128 NEW BEST:: SOT 31918 SOS 25572 HAS SOPS 25572 HAS SOUS 8664 HAS SOUPS 8664 WITH SCORE 8689.572
AT ITER 2131 NEW BEST:: SOT 31914 SOS 25568 HAS SOPS 25568 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8681.568
AT ITER 2155 NEW BEST:: SOT 31510 SOS 28140 HAS SOPS 28140 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8434.14
AT ITER 2157 NEW BEST:: SOT 31510 SOS 28140 HAS SOPS 28140 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8420.14
AT ITER 2188 NEW BEST:: SOT 31508 SOS 28146 HAS SOPS 28146 HAS SOUS 8384 HAS SOUPS 8384 WITH SCORE 8412.146
AT ITER 2200 NEW BEST:: SOT 31484 SOS 28122 HAS SOPS 28122 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8364.122
AT ITER 2214 NEW BEST:: SOT 31480 SOS 28118 HAS SOPS 28118 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8360.118
AT ITER 2235 NEW BEST:: SOT 31434 SOS 28098 HAS SOPS 28098 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8258.098
AT ITER 2240 NEW BEST:: SOT 31434 SOS 28192 HAS SOPS 28192 HAS SOUS 8222 HAS SOUPS 8222 WITH SCORE 8250.192
AT ITER 2241 NEW BEST:: SOT 31422 SOS 28180 HAS SOPS 28180 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8238.18
AT ITER 2253 NEW BEST:: SOT 31410 SOS 28168 HAS SOPS 28168 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8226.168
AT ITER 2258 NEW BEST:: SOT 31374 SOS 28136 HAS SOPS 28136 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8136.136
AT ITER 2269 NEW BEST:: SOT 29830 SOS 26680 HAS SOPS 26680 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6590.68
AT ITER 2270 NEW BEST:: SOT 29830 SOS 26658 HAS SOPS 26658 HAS SOUS 6564 HAS SOUPS 6564 WITH SCORE 6590.658
AT ITER 2275 NEW BEST:: SOT 29818 SOS 26646 HAS SOPS 26646 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6566.646
AT ITER 2281 NEW BEST:: SOT 29816 SOS 26644 HAS SOPS 26644 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6562.644
AT ITER 2295 NEW BEST:: SOT 29816 SOS 26644 HAS SOPS 26644 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6552.644
AT ITER 2299 NEW BEST:: SOT 29812 SOS 26640 HAS SOPS 26640 HAS SOUS 6518 HAS SOUPS 6518 WITH SCORE 6544.64
AT ITER 2301 NEW BEST:: SOT 29810 SOS 26638 HAS SOPS 26638 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6540.638
AT ITER 2313 NEW BEST:: SOT 29810 SOS 26646 HAS SOPS 26646 HAS SOUS 6512 HAS SOUPS 6512 WITH SCORE 6538.646
AT ITER 2374 NEW BEST:: SOT 29810 SOS 26646 HAS SOPS 26646 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6532.646
AT ITER 2391 NEW BEST:: SOT 29802 SOS 26638 HAS SOPS 26638 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6516.638
AT ITER 2396 NEW BEST:: SOT 29782 SOS 26618 HAS SOPS 26618 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6476.618
AT ITER 2398 NEW BEST:: SOT 29764 SOS 26600 HAS SOPS 26600 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6440.6
AT ITER 2400 NEW BEST:: SOT 29620 SOS 28920 HAS SOPS 28920 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6424.92
AT ITER 2404 NEW BEST:: SOT 29612 SOS 28912 HAS SOPS 28912 HAS SOUS 6378 HAS SOUPS 6378 WITH SCORE 6406.912
AT ITER 2417 NEW BEST:: SOT 29612 SOS 28912 HAS SOPS 28912 HAS SOUS 6370 HAS SOUPS 6370 WITH SCORE 6398.912
AT ITER 2428 NEW BEST:: SOT 29556 SOS 28856 HAS SOPS 28856 HAS SOUS 6258 HAS SOUPS 6258 WITH SCORE 6286.856
AT ITER 2442 NEW BEST:: SOT 29548 SOS 28848 HAS SOPS 28848 HAS SOUS 6242 HAS SOUPS 6242 WITH SCORE 6270.848
AT ITER 2478 NEW BEST:: SOT 29548 SOS 28848 HAS SOPS 28848 HAS SOUS 6238 HAS SOUPS 6238 WITH SCORE 6266.848
AT ITER 2510 NEW BEST:: SOT 29548 SOS 28874 HAS SOPS 28874 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6258.874
AT ITER 2513 NEW BEST:: SOT 28956 SOS 28340 HAS SOPS 28340 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5724.34
AT ITER 2535 NEW BEST:: SOT 28902 SOS 28286 HAS SOPS 28286 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5674.286
AT ITER 2556 NEW BEST:: SOT 28902 SOS 28286 HAS SOPS 28286 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5670.286
AT ITER 2559 NEW BEST:: SOT 28864 SOS 28248 HAS SOPS 28248 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5594.248
AT ITER 2578 NEW BEST:: SOT 28862 SOS 28246 HAS SOPS 28246 HAS SOUS 5562 HAS SOUPS 5562 WITH SCORE 5590.246
AT ITER 2582 NEW BEST:: SOT 28862 SOS 26280 HAS SOPS 26280 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5586.28
AT ITER 2589 NEW BEST:: SOT 28856 SOS 26274 HAS SOPS 26274 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5574.274
AT ITER 2622 NEW BEST:: SOT 28942 SOS 26360 HAS SOPS 26360 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5546.36
AT ITER 2667 NEW BEST:: SOT 28940 SOS 26358 HAS SOPS 26358 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5542.358
AT ITER 2678 NEW BEST:: SOT 28948 SOS 26366 HAS SOPS 26366 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5524.366
AT ITER 2694 NEW BEST:: SOT 28910 SOS 26344 HAS SOPS 26344 HAS SOUS 5402 HAS SOUPS 5402 WITH SCORE 5428.344
AT ITER 2700 NEW BEST:: SOT 28868 SOS 26302 HAS SOPS 26302 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5344.302
AT ITER 2730 NEW BEST:: SOT 28768 SOS 26202 HAS SOPS 26202 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5244.202
AT ITER 2743 NEW BEST:: SOT 28748 SOS 26182 HAS SOPS 26182 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5204.182
AT ITER 2773 NEW BEST:: SOT 28738 SOS 26172 HAS SOPS 26172 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5184.172
AT ITER 2778 NEW BEST:: SOT 28738 SOS 26172 HAS SOPS 26172 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5180.172
AT ITER 2820 NEW BEST:: SOT 28738 SOS 26168 HAS SOPS 26168 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5170.168
AT ITER 2853 NEW BEST:: SOT 28738 SOS 26168 HAS SOPS 26168 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5156.168
AT ITER 2904 NEW BEST:: SOT 28720 SOS 26150 HAS SOPS 26150 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5120.15
AT ITER 2915 NEW BEST:: SOT 28708 SOS 26138 HAS SOPS 26138 HAS SOUS 5070 HAS SOUPS 5070 WITH SCORE 5096.138
AT ITER 2917 NEW BEST:: SOT 28692 SOS 26122 HAS SOPS 26122 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5064.122
AT ITER 2925 NEW BEST:: SOT 28692 SOS 26122 HAS SOPS 26122 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5054.122
AT ITER 2968 NEW BEST:: SOT 28672 SOS 26102 HAS SOPS 26102 HAS SOUS 4988 HAS SOUPS 4988 WITH SCORE 5014.102
AT ITER 2985 NEW BEST:: SOT 28658 SOS 26088 HAS SOPS 26088 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4986.088
AT ITER 3105 NEW BEST:: SOT 28640 SOS 26066 HAS SOPS 26066 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4964.066
AT ITER 3124 NEW BEST:: SOT 28630 SOS 26056 HAS SOPS 26056 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4944.056
AT ITER 3149 NEW BEST:: SOT 28628 SOS 26054 HAS SOPS 26054 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4940.054
AT ITER 3162 NEW BEST:: SOT 28624 SOS 26050 HAS SOPS 26050 HAS SOUS 4906 HAS SOUPS 4906 WITH SCORE 4932.05
AT ITER 3178 NEW BEST:: SOT 28624 SOS 26040 HAS SOPS 26040 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4922.04
AT ITER 3183 NEW BEST:: SOT 28624 SOS 25988 HAS SOPS 25988 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4921.988
AT ITER 3198 NEW BEST:: SOT 28640 SOS 26004 HAS SOPS 26004 HAS SOUS 4888 HAS SOUPS 4888 WITH SCORE 4914.004
AT ITER 3202 NEW BEST:: SOT 28636 SOS 26000 HAS SOPS 26000 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4906.0
AT ITER 3203 NEW BEST:: SOT 28620 SOS 25984 HAS SOPS 25984 HAS SOUS 4848 HAS SOUPS 4848 WITH SCORE 4873.984
AT ITER 3259 NEW BEST:: SOT 28618 SOS 25982 HAS SOPS 25982 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4869.982
AT ITER 3306 NEW BEST:: SOT 28616 SOS 25980 HAS SOPS 25980 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4857.98
AT ITER 3330 NEW BEST:: SOT 28606 SOS 25970 HAS SOPS 25970 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4837.97
AT ITER 3332 NEW BEST:: SOT 28596 SOS 25960 HAS SOPS 25960 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4817.96
AT ITER 3360 NEW BEST:: SOT 28596 SOS 25960 HAS SOPS 25960 HAS SOUS 4784 HAS SOUPS 4784 WITH SCORE 4809.96
AT ITER 3361 NEW BEST:: SOT 28596 SOS 25960 HAS SOPS 25960 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4803.96
AT ITER 3365 NEW BEST:: SOT 28584 SOS 25948 HAS SOPS 25948 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4779.948
AT ITER 3403 NEW BEST:: SOT 28584 SOS 25922 HAS SOPS 25922 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4779.922
AT ITER 3419 NEW BEST:: SOT 28588 SOS 25964 HAS SOPS 25964 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4727.964
AT ITER 3423 NEW BEST:: SOT 28582 SOS 25958 HAS SOPS 25958 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4721.958
AT ITER 3457 NEW BEST:: SOT 28572 SOS 25948 HAS SOPS 25948 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4701.948
AT ITER 3472 NEW BEST:: SOT 28510 SOS 25886 HAS SOPS 25886 HAS SOUS 4552 HAS SOUPS 4552 WITH SCORE 4577.886
AT ITER 3481 NEW BEST:: SOT 28506 SOS 25882 HAS SOPS 25882 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4569.882
AT ITER 3499 NEW BEST:: SOT 28500 SOS 25876 HAS SOPS 25876 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4557.876
AT ITER 3505 NEW BEST:: SOT 28490 SOS 25866 HAS SOPS 25866 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4537.866
AT ITER 3526 NEW BEST:: SOT 28490 SOS 25866 HAS SOPS 25866 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4533.866
AT ITER 3557 NEW BEST:: SOT 28482 SOS 25858 HAS SOPS 25858 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4517.858
AT ITER 3570 NEW BEST:: SOT 28482 SOS 25870 HAS SOPS 25870 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4479.87
AT ITER 3576 NEW BEST:: SOT 28470 SOS 25858 HAS SOPS 25858 HAS SOUS 4418 HAS SOUPS 4418 WITH SCORE 4443.858
AT ITER 3609 NEW BEST:: SOT 28468 SOS 25856 HAS SOPS 25856 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4439.856
AT ITER 3669 NEW BEST:: SOT 28448 SOS 25836 HAS SOPS 25836 HAS SOUS 4374 HAS SOUPS 4374 WITH SCORE 4399.836
AT ITER 3718 NEW BEST:: SOT 28446 SOS 25834 HAS SOPS 25834 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4395.834
AT ITER 3725 NEW BEST:: SOT 28444 SOS 25832 HAS SOPS 25832 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4391.832
AT ITER 3795 NEW BEST:: SOT 28368 SOS 25756 HAS SOPS 25756 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4311.756
AT ITER 3819 NEW BEST:: SOT 28366 SOS 25754 HAS SOPS 25754 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4307.754
AT ITER 3831 NEW BEST:: SOT 28352 SOS 25740 HAS SOPS 25740 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4293.74
AT ITER 3902 NEW BEST:: SOT 28332 SOS 25716 HAS SOPS 25716 HAS SOUS 4244 HAS SOUPS 4244 WITH SCORE 4269.716
AT ITER 3954 NEW BEST:: SOT 28328 SOS 25712 HAS SOPS 25712 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4261.712
AT ITER 3985 NEW BEST:: SOT 28324 SOS 25708 HAS SOPS 25708 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4253.708
AT ITER 4022 NEW BEST:: SOT 28320 SOS 25704 HAS SOPS 25704 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4245.704
AT ITER 4050 NEW BEST:: SOT 28304 SOS 25688 HAS SOPS 25688 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4213.688
AT ITER 4114 NEW BEST:: SOT 28304 SOS 25678 HAS SOPS 25678 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4203.678
AT ITER 4184 NEW BEST:: SOT 28310 SOS 25668 HAS SOPS 25668 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4203.668
AT ITER 4193 NEW BEST:: SOT 28304 SOS 25662 HAS SOPS 25662 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4191.662
AT ITER 4200 NEW BEST:: SOT 28290 SOS 25648 HAS SOPS 25648 HAS SOUS 4138 HAS SOUPS 4138 WITH SCORE 4163.648
AT ITER 4239 NEW BEST:: SOT 28276 SOS 25634 HAS SOPS 25634 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4135.634
AT ITER 4243 NEW BEST:: SOT 28272 SOS 25630 HAS SOPS 25630 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4127.63
AT ITER 4254 NEW BEST:: SOT 28266 SOS 25624 HAS SOPS 25624 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4121.624
AT ITER 4260 NEW BEST:: SOT 28266 SOS 25624 HAS SOPS 25624 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4111.624
AT ITER 4274 NEW BEST:: SOT 28266 SOS 25624 HAS SOPS 25624 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4101.624
AT ITER 4291 NEW BEST:: SOT 28260 SOS 25618 HAS SOPS 25618 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4089.618
AT ITER 4299 NEW BEST:: SOT 28256 SOS 25614 HAS SOPS 25614 HAS SOUS 4056 HAS SOUPS 4056 WITH SCORE 4081.614
AT ITER 4305 NEW BEST:: SOT 28252 SOS 25610 HAS SOPS 25610 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4073.61
AT ITER 4311 NEW BEST:: SOT 28240 SOS 25594 HAS SOPS 25594 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4049.594
AT ITER 4316 NEW BEST:: SOT 28236 SOS 25590 HAS SOPS 25590 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4041.59
AT ITER 4325 NEW BEST:: SOT 28236 SOS 25590 HAS SOPS 25590 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 4017.59
AT ITER 4348 NEW BEST:: SOT 28234 SOS 25588 HAS SOPS 25588 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 4013.588
AT ITER 4360 NEW BEST:: SOT 28232 SOS 25586 HAS SOPS 25586 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 4009.586
AT ITER 4427 NEW BEST:: SOT 28230 SOS 25584 HAS SOPS 25584 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 4005.584
AT ITER 4441 NEW BEST:: SOT 28212 SOS 25566 HAS SOPS 25566 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3969.566
AT ITER 4479 NEW BEST:: SOT 28206 SOS 25560 HAS SOPS 25560 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3957.56
AT ITER 4480 NEW BEST:: SOT 28204 SOS 25558 HAS SOPS 25558 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3953.558
AT ITER 4490 NEW BEST:: SOT 28200 SOS 25554 HAS SOPS 25554 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3945.554
AT ITER 4517 NEW BEST:: SOT 28196 SOS 25550 HAS SOPS 25550 HAS SOUS 3912 HAS SOUPS 3912 WITH SCORE 3937.55
AT ITER 4526 NEW BEST:: SOT 28186 SOS 25540 HAS SOPS 25540 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3927.54
AT ITER 4540 NEW BEST:: SOT 28184 SOS 25538 HAS SOPS 25538 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3923.538
AT ITER 4588 NEW BEST:: SOT 28178 SOS 25532 HAS SOPS 25532 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3911.532
AT ITER 4629 NEW BEST:: SOT 28172 SOS 25538 HAS SOPS 25538 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3903.538
AT ITER 4641 NEW BEST:: SOT 28164 SOS 25530 HAS SOPS 25530 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3887.53
AT ITER 4673 NEW BEST:: SOT 28148 SOS 25514 HAS SOPS 25514 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3855.514
AT ITER 4700 NEW BEST:: SOT 28142 SOS 25508 HAS SOPS 25508 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3843.508
AT ITER 4719 NEW BEST:: SOT 28138 SOS 25504 HAS SOPS 25504 HAS SOUS 3810 HAS SOUPS 3810 WITH SCORE 3835.504
AT ITER 4735 NEW BEST:: SOT 28136 SOS 25502 HAS SOPS 25502 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3831.502
AT ITER 4737 NEW BEST:: SOT 28128 SOS 25494 HAS SOPS 25494 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3815.494
AT ITER 4743 NEW BEST:: SOT 28132 SOS 25498 HAS SOPS 25498 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3813.498
AT ITER 4753 NEW BEST:: SOT 28126 SOS 25492 HAS SOPS 25492 HAS SOUS 3776 HAS SOUPS 3776 WITH SCORE 3801.492
AT ITER 4771 NEW BEST:: SOT 28072 SOS 25438 HAS SOPS 25438 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3727.438
AT ITER 4806 NEW BEST:: SOT 28068 SOS 25434 HAS SOPS 25434 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3719.434
AT ITER 4878 NEW BEST:: SOT 28062 SOS 25428 HAS SOPS 25428 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3707.428
AT ITER 4885 NEW BEST:: SOT 28060 SOS 25426 HAS SOPS 25426 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3703.426
AT ITER 4902 NEW BEST:: SOT 28050 SOS 25416 HAS SOPS 25416 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3683.416
AT ITER 4904 NEW BEST:: SOT 28050 SOS 25416 HAS SOPS 25416 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3649.416
AT ITER 4939 NEW BEST:: SOT 28050 SOS 25416 HAS SOPS 25416 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3639.416
AT ITER 5006 NEW BEST:: SOT 28034 SOS 25400 HAS SOPS 25400 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3583.4
AT ITER 5038 NEW BEST:: SOT 27984 SOS 25350 HAS SOPS 25350 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3507.35
AT ITER 5063 NEW BEST:: SOT 27978 SOS 25344 HAS SOPS 25344 HAS SOUS 3470 HAS SOUPS 3470 WITH SCORE 3495.344
AT ITER 5094 NEW BEST:: SOT 27854 SOS 25310 HAS SOPS 25310 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3461.31
AT ITER 5165 NEW BEST:: SOT 27832 SOS 25288 HAS SOPS 25288 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3417.288
AT ITER 5239 NEW BEST:: SOT 27828 SOS 25284 HAS SOPS 25284 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3409.284
AT ITER 5274 NEW BEST:: SOT 27828 SOS 25284 HAS SOPS 25284 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3405.284
AT ITER 5311 NEW BEST:: SOT 27826 SOS 25282 HAS SOPS 25282 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3401.282
AT ITER 5424 NEW BEST:: SOT 27800 SOS 25256 HAS SOPS 25256 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3391.256
AT ITER 5426 NEW BEST:: SOT 27800 SOS 25256 HAS SOPS 25256 HAS SOUS 3356 HAS SOUPS 3356 WITH SCORE 3381.256
AT ITER 5434 NEW BEST:: SOT 27798 SOS 25254 HAS SOPS 25254 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3377.254
AT ITER 5446 NEW BEST:: SOT 27762 SOS 26190 HAS SOPS 26190 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3316.19
AT ITER 5451 NEW BEST:: SOT 27766 SOS 26184 HAS SOPS 26184 HAS SOUS 3284 HAS SOUPS 3284 WITH SCORE 3310.184
AT ITER 5486 NEW BEST:: SOT 27764 SOS 26182 HAS SOPS 26182 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3306.182
AT ITER 5505 NEW BEST:: SOT 27764 SOS 26182 HAS SOPS 26182 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3302.182
AT ITER 5571 NEW BEST:: SOT 27764 SOS 26182 HAS SOPS 26182 HAS SOUS 3274 HAS SOUPS 3274 WITH SCORE 3300.182
AT ITER 5593 NEW BEST:: SOT 27764 SOS 26182 HAS SOPS 26182 HAS SOUS 3242 HAS SOUPS 3242 WITH SCORE 3268.182
AT ITER 5642 NEW BEST:: SOT 27760 SOS 26178 HAS SOPS 26178 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3260.178
AT ITER 5652 NEW BEST:: SOT 27754 SOS 26172 HAS SOPS 26172 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3248.172
AT ITER 5813 NEW BEST:: SOT 27744 SOS 26162 HAS SOPS 26162 HAS SOUS 3202 HAS SOUPS 3202 WITH SCORE 3228.162
AT ITER 5822 NEW BEST:: SOT 27698 SOS 26328 HAS SOPS 26328 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3196.328
AT ITER 5839 NEW BEST:: SOT 27694 SOS 26324 HAS SOPS 26324 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3188.324
AT ITER 5867 NEW BEST:: SOT 27680 SOS 26310 HAS SOPS 26310 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3160.31
AT ITER 5883 NEW BEST:: SOT 27678 SOS 26308 HAS SOPS 26308 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3156.308
AT ITER 5910 NEW BEST:: SOT 27676 SOS 26306 HAS SOPS 26306 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3152.306
AT ITER 5922 NEW BEST:: SOT 27660 SOS 26290 HAS SOPS 26290 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3120.29
AT ITER 5951 NEW BEST:: SOT 27434 SOS 26082 HAS SOPS 26082 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2894.082
AT ITER 6058 NEW BEST:: SOT 27430 SOS 26078 HAS SOPS 26078 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2886.078
AT ITER 6143 NEW BEST:: SOT 27430 SOS 25876 HAS SOPS 25876 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2885.876
AT ITER 6167 NEW BEST:: SOT 27340 SOS 25854 HAS SOPS 25854 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2863.854
AT ITER 6168 NEW BEST:: SOT 27328 SOS 25856 HAS SOPS 25856 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2819.856
AT ITER 6184 NEW BEST:: SOT 27318 SOS 26044 HAS SOPS 26044 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2794.044
AT ITER 6192 NEW BEST:: SOT 27310 SOS 26036 HAS SOPS 26036 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2778.036
AT ITER 6193 NEW BEST:: SOT 27308 SOS 26034 HAS SOPS 26034 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2774.034
AT ITER 6331 NEW BEST:: SOT 27302 SOS 26028 HAS SOPS 26028 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2762.028
AT ITER 6403 NEW BEST:: SOT 27282 SOS 26008 HAS SOPS 26008 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2722.008
AT ITER 6480 NEW BEST:: SOT 27264 SOS 25990 HAS SOPS 25990 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2685.99
AT ITER 6507 NEW BEST:: SOT 27264 SOS 25986 HAS SOPS 25986 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2685.986
AT ITER 6509 NEW BEST:: SOT 27254 SOS 26018 HAS SOPS 26018 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2664.018
AT ITER 6560 NEW BEST:: SOT 27254 SOS 26018 HAS SOPS 26018 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2660.018
AT ITER 6663 NEW BEST:: SOT 27248 SOS 26012 HAS SOPS 26012 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2648.012
AT ITER 6675 NEW BEST:: SOT 27244 SOS 26008 HAS SOPS 26008 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2640.008
AT ITER 6691 NEW BEST:: SOT 27242 SOS 26006 HAS SOPS 26006 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2636.006
AT ITER 6711 NEW BEST:: SOT 27238 SOS 26002 HAS SOPS 26002 HAS SOUS 2602 HAS SOUPS 2602 WITH SCORE 2628.002
AT ITER 6720 NEW BEST:: SOT 27234 SOS 26792 HAS SOPS 26792 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2622.792
AT ITER 6731 NEW BEST:: SOT 27224 SOS 26782 HAS SOPS 26782 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2602.782
AT ITER 6806 NEW BEST:: SOT 27218 SOS 26776 HAS SOPS 26776 HAS SOUS 2564 HAS SOUPS 2564 WITH SCORE 2590.776
AT ITER 6808 NEW BEST:: SOT 27218 SOS 26776 HAS SOPS 26776 HAS SOUS 2562 HAS SOUPS 2562 WITH SCORE 2588.776
AT ITER 6864 NEW BEST:: SOT 27212 SOS 26770 HAS SOPS 26770 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2576.77
AT ITER 6865 NEW BEST:: SOT 27210 SOS 26768 HAS SOPS 26768 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2568.768
AT ITER 6870 NEW BEST:: SOT 27204 SOS 26762 HAS SOPS 26762 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2556.762
AT ITER 6873 NEW BEST:: SOT 27200 SOS 26758 HAS SOPS 26758 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2548.758
AT ITER 6928 NEW BEST:: SOT 27206 SOS 26764 HAS SOPS 26764 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2544.764
AT ITER 6964 NEW BEST:: SOT 27202 SOS 26760 HAS SOPS 26760 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2536.76
AT ITER 6985 NEW BEST:: SOT 27198 SOS 26756 HAS SOPS 26756 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2532.756
AT ITER 7052 NEW BEST:: SOT 27186 SOS 26744 HAS SOPS 26744 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2508.744
AT ITER 7117 NEW BEST:: SOT 27186 SOS 26704 HAS SOPS 26704 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2502.704
AT ITER 7151 NEW BEST:: SOT 27180 SOS 26698 HAS SOPS 26698 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2490.698
AT ITER 7157 NEW BEST:: SOT 27176 SOS 26694 HAS SOPS 26694 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2482.694
AT ITER 7285 NEW BEST:: SOT 27160 SOS 26678 HAS SOPS 26678 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2460.678
AT ITER 7337 NEW BEST:: SOT 27162 SOS 25878 HAS SOPS 25878 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2455.878
AT ITER 7358 NEW BEST:: SOT 27158 SOS 25874 HAS SOPS 25874 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2447.874
AT ITER 7363 NEW BEST:: SOT 27084 SOS 26820 HAS SOPS 26820 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2394.82
AT ITER 7385 NEW BEST:: SOT 27082 SOS 26818 HAS SOPS 26818 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2390.818
AT ITER 7409 NEW BEST:: SOT 27086 SOS 26822 HAS SOPS 26822 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2388.822
AT ITER 7458 NEW BEST:: SOT 27082 SOS 26818 HAS SOPS 26818 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2380.818
AT ITER 7460 NEW BEST:: SOT 27080 SOS 26816 HAS SOPS 26816 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2376.816
AT ITER 7616 NEW BEST:: SOT 27074 SOS 25816 HAS SOPS 25816 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2375.816
AT ITER 7645 NEW BEST:: SOT 27070 SOS 25812 HAS SOPS 25812 HAS SOUS 2346 HAS SOUPS 2346 WITH SCORE 2371.812
AT ITER 7660 NEW BEST:: SOT 27068 SOS 25810 HAS SOPS 25810 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2367.81
AT ITER 7668 NEW BEST:: SOT 27050 SOS 25792 HAS SOPS 25792 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2339.792
AT ITER 7669 NEW BEST:: SOT 27046 SOS 25788 HAS SOPS 25788 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2331.788
AT ITER 7677 NEW BEST:: SOT 27046 SOS 25788 HAS SOPS 25788 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2311.788
AT ITER 7692 NEW BEST:: SOT 27036 SOS 25778 HAS SOPS 25778 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2291.778
AT ITER 7727 NEW BEST:: SOT 27032 SOS 25774 HAS SOPS 25774 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2283.774
AT ITER 7747 NEW BEST:: SOT 27026 SOS 25768 HAS SOPS 25768 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2271.768
AT ITER 7792 NEW BEST:: SOT 27022 SOS 25764 HAS SOPS 25764 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2263.764
AT ITER 7800 NEW BEST:: SOT 27018 SOS 25760 HAS SOPS 25760 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2253.76
AT ITER 7819 NEW BEST:: SOT 27016 SOS 25758 HAS SOPS 25758 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2249.758
AT ITER 7859 NEW BEST:: SOT 27008 SOS 25750 HAS SOPS 25750 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2233.75
AT ITER 7918 NEW BEST:: SOT 27006 SOS 25748 HAS SOPS 25748 HAS SOUS 2204 HAS SOUPS 2204 WITH SCORE 2229.748
AT ITER 7960 NEW BEST:: SOT 26996 SOS 25738 HAS SOPS 25738 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2209.738
AT ITER 8167 NEW BEST:: SOT 26988 SOS 25730 HAS SOPS 25730 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2193.73
AT ITER 8300 NEW BEST:: SOT 26960 SOS 25726 HAS SOPS 25726 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2169.726
AT ITER 8307 NEW BEST:: SOT 26956 SOS 25722 HAS SOPS 25722 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2161.722
AT ITER 8321 NEW BEST:: SOT 26944 SOS 25710 HAS SOPS 25710 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2137.71
AT ITER 8428 NEW BEST:: SOT 26938 SOS 25704 HAS SOPS 25704 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2125.704
AT ITER 8469 NEW BEST:: SOT 26932 SOS 25698 HAS SOPS 25698 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2113.698
AT ITER 8477 NEW BEST:: SOT 26928 SOS 25694 HAS SOPS 25694 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2105.694
AT ITER 8583 NEW BEST:: SOT 26928 SOS 25692 HAS SOPS 25692 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2103.692
AT ITER 8601 NEW BEST:: SOT 26924 SOS 25688 HAS SOPS 25688 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2095.688
AT ITER 8805 NEW BEST:: SOT 26920 SOS 25684 HAS SOPS 25684 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2087.684
AT ITER 8907 NEW BEST:: SOT 26918 SOS 25682 HAS SOPS 25682 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2083.682
AT ITER 8993 NEW BEST:: SOT 26914 SOS 25678 HAS SOPS 25678 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2075.678
AT ITER 9194 NEW BEST:: SOT 26912 SOS 25676 HAS SOPS 25676 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2071.676
AT ITER 9249 NEW BEST:: SOT 26908 SOS 25672 HAS SOPS 25672 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2063.672
AT ITER 9288 NEW BEST:: SOT 26904 SOS 25668 HAS SOPS 25668 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2055.668
AT ITER 9329 NEW BEST:: SOT 26898 SOS 25662 HAS SOPS 25662 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2043.662
AT ITER 9446 NEW BEST:: SOT 26896 SOS 25660 HAS SOPS 25660 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2039.66
AT ITER 9521 NEW BEST:: SOT 26894 SOS 25658 HAS SOPS 25658 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2035.658
AT ITER 9550 NEW BEST:: SOT 26888 SOS 26644 HAS SOPS 26644 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2030.644
AT ITER 9558 NEW BEST:: SOT 26874 SOS 26630 HAS SOPS 26630 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 2002.63
AT ITER 9660 NEW BEST:: SOT 26872 SOS 26628 HAS SOPS 26628 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1998.628
AT ITER 9824 NEW BEST:: SOT 26864 SOS 26620 HAS SOPS 26620 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1982.62
AT ITER 9923 NEW BEST:: SOT 26864 SOS 26614 HAS SOPS 26614 HAS SOUS 1950 HAS SOUPS 1950 WITH SCORE 1976.614
STATE_SPACE STATES 1124 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 120 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10440 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679854511508

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

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="RwMutex-PT-r0010w0100"
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 RwMutex-PT-r0010w0100, 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 r355-smll-167891802900136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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