Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469500492.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPs-PT-020A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469500492
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.2K May 14 01:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 01:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 19:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 19:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.1K May 13 13:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 08:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 08:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 176K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-020A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590443060038

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 020A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 623 places, 523 transitions, 2006 arcs.
AT ITER 0 NEW BEST:: SOT 210468 SOS 145944 HAS SOPS 145944 HAS SOUS 110194 HAS SOUPS 110194 WITH SCORE 110339.944
AT ITER 2 NEW BEST:: SOT 210354 SOS 145374 HAS SOPS 145374 HAS SOUS 110194 HAS SOUPS 110194 WITH SCORE 110339.374
AT ITER 3 NEW BEST:: SOT 210228 SOS 144744 HAS SOPS 144744 HAS SOUS 110193 HAS SOUPS 110193 WITH SCORE 110337.744
AT ITER 4 NEW BEST:: SOT 210110 SOS 144154 HAS SOPS 144154 HAS SOUS 110192 HAS SOUPS 110192 WITH SCORE 110336.154
AT ITER 6 NEW BEST:: SOT 210027 SOS 144118 HAS SOPS 144118 HAS SOUS 110156 HAS SOUPS 110156 WITH SCORE 110300.118
AT ITER 9 NEW BEST:: SOT 209883 SOS 144097 HAS SOPS 144097 HAS SOUS 110124 HAS SOUPS 110124 WITH SCORE 110268.097
AT ITER 11 NEW BEST:: SOT 209810 SOS 143732 HAS SOPS 143732 HAS SOUS 110124 HAS SOUPS 110124 WITH SCORE 110267.732
AT ITER 13 NEW BEST:: SOT 209700 SOS 143622 HAS SOPS 143622 HAS SOUS 110014 HAS SOUPS 110014 WITH SCORE 110157.622
AT ITER 14 NEW BEST:: SOT 209700 SOS 143093 HAS SOPS 143093 HAS SOUS 109966 HAS SOUPS 109966 WITH SCORE 110109.093
AT ITER 16 NEW BEST:: SOT 209426 SOS 142926 HAS SOPS 142926 HAS SOUS 109799 HAS SOUPS 109799 WITH SCORE 109941.926
AT ITER 18 NEW BEST:: SOT 209417 SOS 142907 HAS SOPS 142907 HAS SOUS 109773 HAS SOUPS 109773 WITH SCORE 109915.907
AT ITER 22 NEW BEST:: SOT 209293 SOS 142782 HAS SOPS 142782 HAS SOUS 109648 HAS SOUPS 109648 WITH SCORE 109790.782
AT ITER 31 NEW BEST:: SOT 209244 SOS 142537 HAS SOPS 142537 HAS SOUS 109648 HAS SOUPS 109648 WITH SCORE 109790.537
AT ITER 37 NEW BEST:: SOT 209239 SOS 142519 HAS SOPS 142519 HAS SOUS 109627 HAS SOUPS 109627 WITH SCORE 109769.519
AT ITER 41 NEW BEST:: SOT 209183 SOS 142462 HAS SOPS 142462 HAS SOUS 109570 HAS SOUPS 109570 WITH SCORE 109712.462
AT ITER 50 NEW BEST:: SOT 209182 SOS 142160 HAS SOPS 142160 HAS SOUS 109561 HAS SOUPS 109561 WITH SCORE 109703.16
AT ITER 51 NEW BEST:: SOT 209135 SOS 141925 HAS SOPS 141925 HAS SOUS 109511 HAS SOUPS 109511 WITH SCORE 109652.925
AT ITER 52 NEW BEST:: SOT 209124 SOS 141912 HAS SOPS 141912 HAS SOUS 109498 HAS SOUPS 109498 WITH SCORE 109639.912
AT ITER 55 NEW BEST:: SOT 208970 SOS 141758 HAS SOPS 141758 HAS SOUS 109344 HAS SOUPS 109344 WITH SCORE 109485.758
AT ITER 58 NEW BEST:: SOT 208907 SOS 141694 HAS SOPS 141694 HAS SOUS 109280 HAS SOUPS 109280 WITH SCORE 109421.694
AT ITER 71 NEW BEST:: SOT 208828 SOS 141614 HAS SOPS 141614 HAS SOUS 109200 HAS SOUPS 109200 WITH SCORE 109341.614
AT ITER 74 NEW BEST:: SOT 208808 SOS 141480 HAS SOPS 141480 HAS SOUS 109200 HAS SOUPS 109200 WITH SCORE 109341.48
AT ITER 77 NEW BEST:: SOT 208789 SOS 141461 HAS SOPS 141461 HAS SOUS 109181 HAS SOUPS 109181 WITH SCORE 109322.461
AT ITER 84 NEW BEST:: SOT 208998 SOS 141661 HAS SOPS 141661 HAS SOUS 109158 HAS SOUPS 109158 WITH SCORE 109299.661
AT ITER 93 NEW BEST:: SOT 208838 SOS 141499 HAS SOPS 141499 HAS SOUS 108996 HAS SOUPS 108996 WITH SCORE 109137.499
AT ITER 100 NEW BEST:: SOT 208712 SOS 141373 HAS SOPS 141373 HAS SOUS 108870 HAS SOUPS 108870 WITH SCORE 109011.373
AT ITER 104 NEW BEST:: SOT 208737 SOS 141388 HAS SOPS 141388 HAS SOUS 108859 HAS SOUPS 108859 WITH SCORE 109000.388
AT ITER 109 NEW BEST:: SOT 208685 SOS 141128 HAS SOPS 141128 HAS SOUS 108807 HAS SOUPS 108807 WITH SCORE 108948.128
AT ITER 111 NEW BEST:: SOT 208173 SOS 140616 HAS SOPS 140616 HAS SOUS 108295 HAS SOUPS 108295 WITH SCORE 108435.616
AT ITER 114 NEW BEST:: SOT 208128 SOS 140389 HAS SOPS 140389 HAS SOUS 108295 HAS SOUPS 108295 WITH SCORE 108435.389
AT ITER 131 NEW BEST:: SOT 208107 SOS 140368 HAS SOPS 140368 HAS SOUS 108274 HAS SOUPS 108274 WITH SCORE 108414.368
AT ITER 132 NEW BEST:: SOT 208106 SOS 139956 HAS SOPS 139956 HAS SOUS 108251 HAS SOUPS 108251 WITH SCORE 108390.956
AT ITER 148 NEW BEST:: SOT 208093 SOS 139934 HAS SOPS 139934 HAS SOUS 108217 HAS SOUPS 108217 WITH SCORE 108356.934
AT ITER 152 NEW BEST:: SOT 207892 SOS 138499 HAS SOPS 138499 HAS SOUS 107523 HAS SOUPS 107523 WITH SCORE 107661.499
AT ITER 161 NEW BEST:: SOT 207891 SOS 137929 HAS SOPS 137929 HAS SOUS 107514 HAS SOUPS 107514 WITH SCORE 107651.929
AT ITER 168 NEW BEST:: SOT 207890 SOS 137460 HAS SOPS 137460 HAS SOUS 107499 HAS SOUPS 107499 WITH SCORE 107636.46
AT ITER 169 NEW BEST:: SOT 207778 SOS 136900 HAS SOPS 136900 HAS SOUS 107498 HAS SOUPS 107498 WITH SCORE 107634.9
AT ITER 170 NEW BEST:: SOT 207648 SOS 136250 HAS SOPS 136250 HAS SOUS 107491 HAS SOUPS 107491 WITH SCORE 107627.25
AT ITER 171 NEW BEST:: SOT 207646 SOS 136248 HAS SOPS 136248 HAS SOUS 107489 HAS SOUPS 107489 WITH SCORE 107625.248
AT ITER 175 NEW BEST:: SOT 207619 SOS 136219 HAS SOPS 136219 HAS SOUS 107460 HAS SOUPS 107460 WITH SCORE 107596.219
AT ITER 176 NEW BEST:: SOT 207537 SOS 136192 HAS SOPS 136192 HAS SOUS 107406 HAS SOUPS 107406 WITH SCORE 107542.192
AT ITER 181 NEW BEST:: SOT 207427 SOS 136071 HAS SOPS 136071 HAS SOUS 107285 HAS SOUPS 107285 WITH SCORE 107421.071
AT ITER 185 NEW BEST:: SOT 207426 SOS 136016 HAS SOPS 136016 HAS SOUS 107274 HAS SOUPS 107274 WITH SCORE 107410.016
AT ITER 186 NEW BEST:: SOT 207166 SOS 135746 HAS SOPS 135746 HAS SOUS 106997 HAS SOUPS 106997 WITH SCORE 107132.746
AT ITER 195 NEW BEST:: SOT 207122 SOS 135701 HAS SOPS 135701 HAS SOUS 106952 HAS SOUPS 106952 WITH SCORE 107087.701
AT ITER 198 NEW BEST:: SOT 206852 SOS 135431 HAS SOPS 135431 HAS SOUS 106682 HAS SOUPS 106682 WITH SCORE 106817.431
AT ITER 215 NEW BEST:: SOT 206794 SOS 135373 HAS SOPS 135373 HAS SOUS 106624 HAS SOUPS 106624 WITH SCORE 106759.373
AT ITER 223 NEW BEST:: SOT 206602 SOS 135179 HAS SOPS 135179 HAS SOUS 106498 HAS SOUPS 106498 WITH SCORE 106633.179
AT ITER 233 NEW BEST:: SOT 206454 SOS 134860 HAS SOPS 134860 HAS SOUS 106179 HAS SOUPS 106179 WITH SCORE 106313.86
AT ITER 245 NEW BEST:: SOT 206454 SOS 134510 HAS SOPS 134510 HAS SOUS 106105 HAS SOUPS 106105 WITH SCORE 106239.51
AT ITER 247 NEW BEST:: SOT 206412 SOS 134468 HAS SOPS 134468 HAS SOUS 106063 HAS SOUPS 106063 WITH SCORE 106197.468
AT ITER 248 NEW BEST:: SOT 206302 SOS 134356 HAS SOPS 134356 HAS SOUS 105951 HAS SOUPS 105951 WITH SCORE 106085.356
AT ITER 250 NEW BEST:: SOT 206118 SOS 134171 HAS SOPS 134171 HAS SOUS 105766 HAS SOUPS 105766 WITH SCORE 105900.171
AT ITER 253 NEW BEST:: SOT 206116 SOS 134056 HAS SOPS 134056 HAS SOUS 105651 HAS SOUPS 105651 WITH SCORE 105785.056
AT ITER 254 NEW BEST:: SOT 205788 SOS 132471 HAS SOPS 132471 HAS SOUS 104398 HAS SOUPS 104398 WITH SCORE 104530.471
AT ITER 278 NEW BEST:: SOT 205725 SOS 132399 HAS SOPS 132399 HAS SOUS 104312 HAS SOUPS 104312 WITH SCORE 104444.399
AT ITER 282 NEW BEST:: SOT 205766 SOS 132385 HAS SOPS 132385 HAS SOUS 104285 HAS SOUPS 104285 WITH SCORE 104417.385
AT ITER 284 NEW BEST:: SOT 205488 SOS 132102 HAS SOPS 132102 HAS SOUS 103988 HAS SOUPS 103988 WITH SCORE 104120.102
AT ITER 286 NEW BEST:: SOT 205226 SOS 131840 HAS SOPS 131840 HAS SOUS 103726 HAS SOUPS 103726 WITH SCORE 103857.84
AT ITER 291 NEW BEST:: SOT 205278 SOS 131629 HAS SOPS 131629 HAS SOUS 103515 HAS SOUPS 103515 WITH SCORE 103646.629
AT ITER 306 NEW BEST:: SOT 205260 SOS 131437 HAS SOPS 131437 HAS SOUS 103197 HAS SOUPS 103197 WITH SCORE 103328.437
AT ITER 311 NEW BEST:: SOT 205260 SOS 130777 HAS SOPS 130777 HAS SOUS 103193 HAS SOUPS 103193 WITH SCORE 103323.777
AT ITER 321 NEW BEST:: SOT 204896 SOS 130506 HAS SOPS 130506 HAS SOUS 102560 HAS SOUPS 102560 WITH SCORE 102690.506
AT ITER 323 NEW BEST:: SOT 204896 SOS 130440 HAS SOPS 130440 HAS SOUS 102489 HAS SOUPS 102489 WITH SCORE 102619.44
AT ITER 324 NEW BEST:: SOT 204777 SOS 130321 HAS SOPS 130321 HAS SOUS 102370 HAS SOUPS 102370 WITH SCORE 102500.321
AT ITER 344 NEW BEST:: SOT 204638 SOS 130182 HAS SOPS 130182 HAS SOUS 102231 HAS SOUPS 102231 WITH SCORE 102361.182
AT ITER 354 NEW BEST:: SOT 204638 SOS 130234 HAS SOPS 130234 HAS SOUS 102179 HAS SOUPS 102179 WITH SCORE 102309.234
AT ITER 366 NEW BEST:: SOT 204480 SOS 129355 HAS SOPS 129355 HAS SOUS 101765 HAS SOUPS 101765 WITH SCORE 101894.355
AT ITER 370 NEW BEST:: SOT 204367 SOS 129437 HAS SOPS 129437 HAS SOUS 101582 HAS SOUPS 101582 WITH SCORE 101711.437
AT ITER 379 NEW BEST:: SOT 204142 SOS 129124 HAS SOPS 129124 HAS SOUS 101269 HAS SOUPS 101269 WITH SCORE 101398.124
AT ITER 382 NEW BEST:: SOT 204141 SOS 128943 HAS SOPS 128943 HAS SOUS 101244 HAS SOUPS 101244 WITH SCORE 101372.943
AT ITER 394 NEW BEST:: SOT 204122 SOS 128924 HAS SOPS 128924 HAS SOUS 101225 HAS SOUPS 101225 WITH SCORE 101353.924
AT ITER 405 NEW BEST:: SOT 203870 SOS 127664 HAS SOPS 127664 HAS SOUS 101225 HAS SOUPS 101225 WITH SCORE 101352.664
AT ITER 409 NEW BEST:: SOT 203869 SOS 127663 HAS SOPS 127663 HAS SOUS 101224 HAS SOUPS 101224 WITH SCORE 101351.663
AT ITER 410 NEW BEST:: SOT 203781 SOS 127580 HAS SOPS 127580 HAS SOUS 101141 HAS SOUPS 101141 WITH SCORE 101268.58
AT ITER 421 NEW BEST:: SOT 203717 SOS 127516 HAS SOPS 127516 HAS SOUS 101077 HAS SOUPS 101077 WITH SCORE 101204.516
AT ITER 423 NEW BEST:: SOT 203889 SOS 127801 HAS SOPS 127801 HAS SOUS 100906 HAS SOUPS 100906 WITH SCORE 101033.801
AT ITER 427 NEW BEST:: SOT 203837 SOS 127706 HAS SOPS 127706 HAS SOUS 100811 HAS SOUPS 100811 WITH SCORE 100938.706
AT ITER 433 NEW BEST:: SOT 203855 SOS 127729 HAS SOPS 127729 HAS SOUS 100808 HAS SOUPS 100808 WITH SCORE 100935.729
AT ITER 438 NEW BEST:: SOT 203783 SOS 127690 HAS SOPS 127690 HAS SOUS 100768 HAS SOUPS 100768 WITH SCORE 100895.69
AT ITER 448 NEW BEST:: SOT 203783 SOS 127653 HAS SOPS 127653 HAS SOUS 100731 HAS SOUPS 100731 WITH SCORE 100858.653
AT ITER 451 NEW BEST:: SOT 203534 SOS 127401 HAS SOPS 127401 HAS SOUS 100479 HAS SOUPS 100479 WITH SCORE 100606.401
AT ITER 458 NEW BEST:: SOT 203600 SOS 126953 HAS SOPS 126953 HAS SOUS 100389 HAS SOUPS 100389 WITH SCORE 100515.953
AT ITER 466 NEW BEST:: SOT 203543 SOS 126619 HAS SOPS 126619 HAS SOUS 100254 HAS SOUPS 100254 WITH SCORE 100380.619
AT ITER 472 NEW BEST:: SOT 203551 SOS 126621 HAS SOPS 126621 HAS SOUS 100245 HAS SOUPS 100245 WITH SCORE 100371.621
AT ITER 474 NEW BEST:: SOT 203382 SOS 126381 HAS SOPS 126381 HAS SOUS 100005 HAS SOUPS 100005 WITH SCORE 100131.381
AT ITER 479 NEW BEST:: SOT 203388 SOS 126387 HAS SOPS 126387 HAS SOUS 99997 HAS SOUPS 99997 WITH SCORE 100123.387
AT ITER 480 NEW BEST:: SOT 203320 SOS 126319 HAS SOPS 126319 HAS SOUS 99929 HAS SOUPS 99929 WITH SCORE 100055.319
AT ITER 490 NEW BEST:: SOT 203174 SOS 126160 HAS SOPS 126160 HAS SOUS 99770 HAS SOUPS 99770 WITH SCORE 99896.16
AT ITER 494 NEW BEST:: SOT 203118 SOS 126104 HAS SOPS 126104 HAS SOUS 99714 HAS SOUPS 99714 WITH SCORE 99840.104
AT ITER 504 NEW BEST:: SOT 202934 SOS 125920 HAS SOPS 125920 HAS SOUS 99530 HAS SOUPS 99530 WITH SCORE 99655.92
AT ITER 526 NEW BEST:: SOT 202870 SOS 125856 HAS SOPS 125856 HAS SOUS 99466 HAS SOUPS 99466 WITH SCORE 99591.856
AT ITER 530 NEW BEST:: SOT 202857 SOS 125832 HAS SOPS 125832 HAS SOUS 99430 HAS SOUPS 99430 WITH SCORE 99555.832
AT ITER 534 NEW BEST:: SOT 202807 SOS 125732 HAS SOPS 125732 HAS SOUS 99249 HAS SOUPS 99249 WITH SCORE 99374.732
AT ITER 540 NEW BEST:: SOT 203061 SOS 125382 HAS SOPS 125382 HAS SOUS 98917 HAS SOUPS 98917 WITH SCORE 99042.382
AT ITER 541 NEW BEST:: SOT 203358 SOS 124565 HAS SOPS 124565 HAS SOUS 98706 HAS SOUPS 98706 WITH SCORE 98830.565
AT ITER 549 NEW BEST:: SOT 203362 SOS 124516 HAS SOPS 124516 HAS SOUS 98657 HAS SOUPS 98657 WITH SCORE 98781.516
AT ITER 550 NEW BEST:: SOT 203191 SOS 124345 HAS SOPS 124345 HAS SOUS 98486 HAS SOUPS 98486 WITH SCORE 98610.345
AT ITER 554 NEW BEST:: SOT 202951 SOS 124115 HAS SOPS 124115 HAS SOUS 98256 HAS SOUPS 98256 WITH SCORE 98380.115
AT ITER 556 NEW BEST:: SOT 202935 SOS 124099 HAS SOPS 124099 HAS SOUS 98240 HAS SOUPS 98240 WITH SCORE 98364.099
AT ITER 567 NEW BEST:: SOT 202918 SOS 124082 HAS SOPS 124082 HAS SOUS 98223 HAS SOUPS 98223 WITH SCORE 98347.082
AT ITER 583 NEW BEST:: SOT 202915 SOS 123926 HAS SOPS 123926 HAS SOUS 98220 HAS SOUPS 98220 WITH SCORE 98343.926
AT ITER 589 NEW BEST:: SOT 202871 SOS 123882 HAS SOPS 123882 HAS SOUS 98176 HAS SOUPS 98176 WITH SCORE 98299.882
AT ITER 599 NEW BEST:: SOT 202843 SOS 123769 HAS SOPS 123769 HAS SOUS 98148 HAS SOUPS 98148 WITH SCORE 98271.769
AT ITER 600 NEW BEST:: SOT 202855 SOS 123000 HAS SOPS 123000 HAS SOUS 97975 HAS SOUPS 97975 WITH SCORE 98098.0
AT ITER 601 NEW BEST:: SOT 202808 SOS 122953 HAS SOPS 122953 HAS SOUS 97928 HAS SOUPS 97928 WITH SCORE 98050.953
AT ITER 608 NEW BEST:: SOT 202808 SOS 122459 HAS SOPS 122459 HAS SOUS 97921 HAS SOUPS 97921 WITH SCORE 98043.459
AT ITER 614 NEW BEST:: SOT 202785 SOS 122436 HAS SOPS 122436 HAS SOUS 97892 HAS SOUPS 97892 WITH SCORE 98014.436
AT ITER 620 NEW BEST:: SOT 202715 SOS 122366 HAS SOPS 122366 HAS SOUS 97822 HAS SOUPS 97822 WITH SCORE 97944.366
AT ITER 624 NEW BEST:: SOT 202769 SOS 122742 HAS SOPS 122742 HAS SOUS 97818 HAS SOUPS 97818 WITH SCORE 97940.742
AT ITER 632 NEW BEST:: SOT 202787 SOS 122487 HAS SOPS 122487 HAS SOUS 97563 HAS SOUPS 97563 WITH SCORE 97685.487
AT ITER 643 NEW BEST:: SOT 202778 SOS 122478 HAS SOPS 122478 HAS SOUS 97554 HAS SOUPS 97554 WITH SCORE 97676.478
AT ITER 647 NEW BEST:: SOT 202673 SOS 122373 HAS SOPS 122373 HAS SOUS 97449 HAS SOUPS 97449 WITH SCORE 97571.373
AT ITER 662 NEW BEST:: SOT 202684 SOS 122389 HAS SOPS 122389 HAS SOUS 97448 HAS SOUPS 97448 WITH SCORE 97570.389
AT ITER 668 NEW BEST:: SOT 202684 SOS 121978 HAS SOPS 121978 HAS SOUS 97429 HAS SOUPS 97429 WITH SCORE 97550.978
AT ITER 683 NEW BEST:: SOT 202502 SOS 121796 HAS SOPS 121796 HAS SOUS 97247 HAS SOUPS 97247 WITH SCORE 97368.796
AT ITER 687 NEW BEST:: SOT 202029 SOS 121472 HAS SOPS 121472 HAS SOUS 97236 HAS SOUPS 97236 WITH SCORE 97357.472
AT ITER 690 NEW BEST:: SOT 201440 SOS 119527 HAS SOPS 119527 HAS SOUS 95994 HAS SOUPS 95994 WITH SCORE 96113.527
AT ITER 693 NEW BEST:: SOT 200972 SOS 119111 HAS SOPS 119111 HAS SOUS 95578 HAS SOUPS 95578 WITH SCORE 95697.111
AT ITER 706 NEW BEST:: SOT 200972 SOS 119110 HAS SOPS 119110 HAS SOUS 95577 HAS SOUPS 95577 WITH SCORE 95696.11
AT ITER 718 NEW BEST:: SOT 201034 SOS 119172 HAS SOPS 119172 HAS SOUS 95487 HAS SOUPS 95487 WITH SCORE 95606.172
AT ITER 719 NEW BEST:: SOT 201105 SOS 119237 HAS SOPS 119237 HAS SOUS 95476 HAS SOUPS 95476 WITH SCORE 95595.237
AT ITER 720 NEW BEST:: SOT 201036 SOS 119166 HAS SOPS 119166 HAS SOUS 95405 HAS SOUPS 95405 WITH SCORE 95524.166
AT ITER 732 NEW BEST:: SOT 201001 SOS 118030 HAS SOPS 118030 HAS SOUS 95093 HAS SOUPS 95093 WITH SCORE 95211.03
AT ITER 747 NEW BEST:: SOT 200919 SOS 117948 HAS SOPS 117948 HAS SOUS 95011 HAS SOUPS 95011 WITH SCORE 95128.948
AT ITER 762 NEW BEST:: SOT 200773 SOS 117802 HAS SOPS 117802 HAS SOUS 94865 HAS SOUPS 94865 WITH SCORE 94982.802
AT ITER 777 NEW BEST:: SOT 200720 SOS 117780 HAS SOPS 117780 HAS SOUS 94772 HAS SOUPS 94772 WITH SCORE 94889.78
AT ITER 778 NEW BEST:: SOT 200719 SOS 117779 HAS SOPS 117779 HAS SOUS 94771 HAS SOUPS 94771 WITH SCORE 94888.779
AT ITER 788 NEW BEST:: SOT 200717 SOS 117777 HAS SOPS 117777 HAS SOUS 94769 HAS SOUPS 94769 WITH SCORE 94886.777
AT ITER 790 NEW BEST:: SOT 200709 SOS 117769 HAS SOPS 117769 HAS SOUS 94761 HAS SOUPS 94761 WITH SCORE 94878.769
AT ITER 807 NEW BEST:: SOT 200676 SOS 117632 HAS SOPS 117632 HAS SOUS 94734 HAS SOUPS 94734 WITH SCORE 94851.632
AT ITER 808 NEW BEST:: SOT 200632 SOS 117588 HAS SOPS 117588 HAS SOUS 94690 HAS SOUPS 94690 WITH SCORE 94807.588
AT ITER 811 NEW BEST:: SOT 200615 SOS 117571 HAS SOPS 117571 HAS SOUS 94673 HAS SOUPS 94673 WITH SCORE 94790.571
AT ITER 824 NEW BEST:: SOT 200620 SOS 117235 HAS SOPS 117235 HAS SOUS 94337 HAS SOUPS 94337 WITH SCORE 94454.235
AT ITER 827 NEW BEST:: SOT 200242 SOS 116238 HAS SOPS 116238 HAS SOUS 93620 HAS SOUPS 93620 WITH SCORE 93736.238
AT ITER 842 NEW BEST:: SOT 200146 SOS 116076 HAS SOPS 116076 HAS SOUS 93554 HAS SOUPS 93554 WITH SCORE 93670.076
AT ITER 849 NEW BEST:: SOT 200134 SOS 116098 HAS SOPS 116098 HAS SOUS 93524 HAS SOUPS 93524 WITH SCORE 93640.098
AT ITER 861 NEW BEST:: SOT 200118 SOS 116082 HAS SOPS 116082 HAS SOUS 93508 HAS SOUPS 93508 WITH SCORE 93624.082
AT ITER 862 NEW BEST:: SOT 199824 SOS 115788 HAS SOPS 115788 HAS SOUS 93214 HAS SOUPS 93214 WITH SCORE 93329.788
AT ITER 867 NEW BEST:: SOT 199689 SOS 115672 HAS SOPS 115672 HAS SOUS 93098 HAS SOUPS 93098 WITH SCORE 93213.672
AT ITER 877 NEW BEST:: SOT 199791 SOS 115830 HAS SOPS 115830 HAS SOUS 93043 HAS SOUPS 93043 WITH SCORE 93158.83
AT ITER 878 NEW BEST:: SOT 199729 SOS 115246 HAS SOPS 115246 HAS SOUS 92993 HAS SOUPS 92993 WITH SCORE 93108.246
AT ITER 882 NEW BEST:: SOT 199634 SOS 115034 HAS SOPS 115034 HAS SOUS 92781 HAS SOUPS 92781 WITH SCORE 92896.034
AT ITER 893 NEW BEST:: SOT 199574 SOS 114718 HAS SOPS 114718 HAS SOUS 92677 HAS SOUPS 92677 WITH SCORE 92791.718
AT ITER 909 NEW BEST:: SOT 199574 SOS 114460 HAS SOPS 114460 HAS SOUS 92677 HAS SOUPS 92677 WITH SCORE 92791.46
AT ITER 913 NEW BEST:: SOT 199574 SOS 114201 HAS SOPS 114201 HAS SOUS 92644 HAS SOUPS 92644 WITH SCORE 92758.201
AT ITER 914 NEW BEST:: SOT 199470 SOS 114097 HAS SOPS 114097 HAS SOUS 92540 HAS SOUPS 92540 WITH SCORE 92654.097
AT ITER 916 NEW BEST:: SOT 199119 SOS 112882 HAS SOPS 112882 HAS SOUS 91836 HAS SOUPS 91836 WITH SCORE 91948.882
AT ITER 920 NEW BEST:: SOT 199117 SOS 112417 HAS SOPS 112417 HAS SOUS 91755 HAS SOUPS 91755 WITH SCORE 91867.417
AT ITER 925 NEW BEST:: SOT 199102 SOS 112402 HAS SOPS 112402 HAS SOUS 91740 HAS SOUPS 91740 WITH SCORE 91852.402
AT ITER 941 NEW BEST:: SOT 199054 SOS 112134 HAS SOPS 112134 HAS SOUS 91740 HAS SOUPS 91740 WITH SCORE 91852.134
AT ITER 945 NEW BEST:: SOT 198864 SOS 111943 HAS SOPS 111943 HAS SOUS 91550 HAS SOUPS 91550 WITH SCORE 91661.943
AT ITER 962 NEW BEST:: SOT 198746 SOS 111825 HAS SOPS 111825 HAS SOUS 91432 HAS SOUPS 91432 WITH SCORE 91543.825
AT ITER 982 NEW BEST:: SOT 198603 SOS 111820 HAS SOPS 111820 HAS SOUS 91300 HAS SOUPS 91300 WITH SCORE 91411.82
AT ITER 990 NEW BEST:: SOT 198603 SOS 111735 HAS SOPS 111735 HAS SOUS 91279 HAS SOUPS 91279 WITH SCORE 91390.735
AT ITER 991 NEW BEST:: SOT 198603 SOS 111358 HAS SOPS 111358 HAS SOUS 91192 HAS SOUPS 91192 WITH SCORE 91303.358
AT ITER 1006 NEW BEST:: SOT 198347 SOS 109987 HAS SOPS 109987 HAS SOUS 90472 HAS SOUPS 90472 WITH SCORE 90581.987
AT ITER 1009 NEW BEST:: SOT 198397 SOS 109924 HAS SOPS 109924 HAS SOUS 90422 HAS SOUPS 90422 WITH SCORE 90531.924
AT ITER 1012 NEW BEST:: SOT 198393 SOS 109772 HAS SOPS 109772 HAS SOUS 90381 HAS SOUPS 90381 WITH SCORE 90490.772
AT ITER 1021 NEW BEST:: SOT 198176 SOS 109370 HAS SOPS 109370 HAS SOUS 89977 HAS SOUPS 89977 WITH SCORE 90086.37
AT ITER 1034 NEW BEST:: SOT 198169 SOS 109354 HAS SOPS 109354 HAS SOUS 89954 HAS SOUPS 89954 WITH SCORE 90063.354
AT ITER 1043 NEW BEST:: SOT 198167 SOS 109341 HAS SOPS 109341 HAS SOUS 89932 HAS SOUPS 89932 WITH SCORE 90041.341
AT ITER 1044 NEW BEST:: SOT 198163 SOS 109337 HAS SOPS 109337 HAS SOUS 89928 HAS SOUPS 89928 WITH SCORE 90037.337
AT ITER 1045 NEW BEST:: SOT 198065 SOS 109333 HAS SOPS 109333 HAS SOUS 89924 HAS SOUPS 89924 WITH SCORE 90033.333
AT ITER 1051 NEW BEST:: SOT 197941 SOS 109208 HAS SOPS 109208 HAS SOUS 89799 HAS SOUPS 89799 WITH SCORE 89908.208
AT ITER 1054 NEW BEST:: SOT 197955 SOS 108928 HAS SOPS 108928 HAS SOUS 89556 HAS SOUPS 89556 WITH SCORE 89664.928
AT ITER 1058 NEW BEST:: SOT 197935 SOS 108908 HAS SOPS 108908 HAS SOUS 89536 HAS SOUPS 89536 WITH SCORE 89644.908
AT ITER 1071 NEW BEST:: SOT 197892 SOS 108821 HAS SOPS 108821 HAS SOUS 89512 HAS SOUPS 89512 WITH SCORE 89620.821
AT ITER 1072 NEW BEST:: SOT 197665 SOS 108594 HAS SOPS 108594 HAS SOUS 89276 HAS SOUPS 89276 WITH SCORE 89384.594
AT ITER 1086 NEW BEST:: SOT 197532 SOS 108461 HAS SOPS 108461 HAS SOUS 89143 HAS SOUPS 89143 WITH SCORE 89251.461
AT ITER 1089 NEW BEST:: SOT 197618 SOS 108454 HAS SOPS 108454 HAS SOUS 89136 HAS SOUPS 89136 WITH SCORE 89244.454
AT ITER 1112 NEW BEST:: SOT 197499 SOS 108331 HAS SOPS 108331 HAS SOUS 89013 HAS SOUPS 89013 WITH SCORE 89121.331
AT ITER 1126 NEW BEST:: SOT 196788 SOS 106368 HAS SOPS 106368 HAS SOUS 88132 HAS SOUPS 88132 WITH SCORE 88238.368
AT ITER 1132 NEW BEST:: SOT 196788 SOS 106290 HAS SOPS 106290 HAS SOUS 88054 HAS SOUPS 88054 WITH SCORE 88160.29
AT ITER 1134 NEW BEST:: SOT 196718 SOS 106238 HAS SOPS 106238 HAS SOUS 88002 HAS SOUPS 88002 WITH SCORE 88108.238
AT ITER 1136 NEW BEST:: SOT 196699 SOS 106143 HAS SOPS 106143 HAS SOUS 87964 HAS SOUPS 87964 WITH SCORE 88070.143
AT ITER 1142 NEW BEST:: SOT 196680 SOS 106066 HAS SOPS 106066 HAS SOUS 87931 HAS SOUPS 87931 WITH SCORE 88037.066
AT ITER 1155 NEW BEST:: SOT 196628 SOS 106003 HAS SOPS 106003 HAS SOUS 87807 HAS SOUPS 87807 WITH SCORE 87913.003
AT ITER 1156 NEW BEST:: SOT 196628 SOS 105989 HAS SOPS 105989 HAS SOUS 87793 HAS SOUPS 87793 WITH SCORE 87898.989
AT ITER 1160 NEW BEST:: SOT 196572 SOS 105931 HAS SOPS 105931 HAS SOUS 87735 HAS SOUPS 87735 WITH SCORE 87840.931
AT ITER 1163 NEW BEST:: SOT 196550 SOS 105913 HAS SOPS 105913 HAS SOUS 87725 HAS SOUPS 87725 WITH SCORE 87830.913
AT ITER 1170 NEW BEST:: SOT 196534 SOS 105865 HAS SOPS 105865 HAS SOUS 87677 HAS SOUPS 87677 WITH SCORE 87782.865
AT ITER 1173 NEW BEST:: SOT 196446 SOS 105689 HAS SOPS 105689 HAS SOUS 87501 HAS SOUPS 87501 WITH SCORE 87606.689
AT ITER 1174 NEW BEST:: SOT 196418 SOS 105661 HAS SOPS 105661 HAS SOUS 87473 HAS SOUPS 87473 WITH SCORE 87578.661
AT ITER 1180 NEW BEST:: SOT 196418 SOS 105411 HAS SOPS 105411 HAS SOUS 87473 HAS SOUPS 87473 WITH SCORE 87578.411
AT ITER 1182 NEW BEST:: SOT 196487 SOS 105562 HAS SOPS 105562 HAS SOUS 87417 HAS SOUPS 87417 WITH SCORE 87522.562
AT ITER 1193 NEW BEST:: SOT 196386 SOS 105461 HAS SOPS 105461 HAS SOUS 87316 HAS SOUPS 87316 WITH SCORE 87421.461
AT ITER 1204 NEW BEST:: SOT 196369 SOS 105427 HAS SOPS 105427 HAS SOUS 87282 HAS SOUPS 87282 WITH SCORE 87387.427
AT ITER 1207 NEW BEST:: SOT 196312 SOS 105142 HAS SOPS 105142 HAS SOUS 87281 HAS SOUPS 87281 WITH SCORE 87386.142
AT ITER 1223 NEW BEST:: SOT 196292 SOS 105122 HAS SOPS 105122 HAS SOUS 87261 HAS SOUPS 87261 WITH SCORE 87366.122
AT ITER 1228 NEW BEST:: SOT 196078 SOS 104906 HAS SOPS 104906 HAS SOUS 87045 HAS SOUPS 87045 WITH SCORE 87149.906
AT ITER 1234 NEW BEST:: SOT 196059 SOS 104887 HAS SOPS 104887 HAS SOUS 87026 HAS SOUPS 87026 WITH SCORE 87130.887
AT ITER 1239 NEW BEST:: SOT 195984 SOS 103985 HAS SOPS 103985 HAS SOUS 86882 HAS SOUPS 86882 WITH SCORE 86985.985
AT ITER 1246 NEW BEST:: SOT 195962 SOS 103963 HAS SOPS 103963 HAS SOUS 86860 HAS SOUPS 86860 WITH SCORE 86963.963
AT ITER 1251 NEW BEST:: SOT 196021 SOS 103908 HAS SOPS 103908 HAS SOUS 86793 HAS SOUPS 86793 WITH SCORE 86896.908
AT ITER 1252 NEW BEST:: SOT 196021 SOS 103872 HAS SOPS 103872 HAS SOUS 86757 HAS SOUPS 86757 WITH SCORE 86860.872
AT ITER 1256 NEW BEST:: SOT 196005 SOS 103848 HAS SOPS 103848 HAS SOUS 86739 HAS SOUPS 86739 WITH SCORE 86842.848
AT ITER 1260 NEW BEST:: SOT 196080 SOS 103855 HAS SOPS 103855 HAS SOUS 86533 HAS SOUPS 86533 WITH SCORE 86636.855
AT ITER 1275 NEW BEST:: SOT 195866 SOS 103238 HAS SOPS 103238 HAS SOUS 86503 HAS SOUPS 86503 WITH SCORE 86606.238
AT ITER 1280 NEW BEST:: SOT 195852 SOS 103182 HAS SOPS 103182 HAS SOUS 86503 HAS SOUPS 86503 WITH SCORE 86606.182
AT ITER 1281 NEW BEST:: SOT 195852 SOS 103182 HAS SOPS 103182 HAS SOUS 86500 HAS SOUPS 86500 WITH SCORE 86603.182
AT ITER 1285 NEW BEST:: SOT 195793 SOS 103123 HAS SOPS 103123 HAS SOUS 86441 HAS SOUPS 86441 WITH SCORE 86544.123
AT ITER 1291 NEW BEST:: SOT 195793 SOS 103078 HAS SOPS 103078 HAS SOUS 86396 HAS SOUPS 86396 WITH SCORE 86499.078
AT ITER 1292 NEW BEST:: SOT 195897 SOS 103050 HAS SOPS 103050 HAS SOUS 86269 HAS SOUPS 86269 WITH SCORE 86372.05
AT ITER 1294 NEW BEST:: SOT 195862 SOS 103007 HAS SOPS 103007 HAS SOUS 86214 HAS SOUPS 86214 WITH SCORE 86317.007
AT ITER 1303 NEW BEST:: SOT 195836 SOS 102969 HAS SOPS 102969 HAS SOUS 86176 HAS SOUPS 86176 WITH SCORE 86278.969
AT ITER 1308 NEW BEST:: SOT 195835 SOS 102966 HAS SOPS 102966 HAS SOUS 86173 HAS SOUPS 86173 WITH SCORE 86275.966
AT ITER 1314 NEW BEST:: SOT 195800 SOS 102756 HAS SOPS 102756 HAS SOUS 86171 HAS SOUPS 86171 WITH SCORE 86273.756
AT ITER 1323 NEW BEST:: SOT 195696 SOS 102673 HAS SOPS 102673 HAS SOUS 85924 HAS SOUPS 85924 WITH SCORE 86026.673
AT ITER 1325 NEW BEST:: SOT 195659 SOS 102587 HAS SOPS 102587 HAS SOUS 85883 HAS SOUPS 85883 WITH SCORE 85985.587
AT ITER 1336 NEW BEST:: SOT 195579 SOS 102406 HAS SOPS 102406 HAS SOUS 85702 HAS SOUPS 85702 WITH SCORE 85804.406
AT ITER 1360 NEW BEST:: SOT 195504 SOS 102331 HAS SOPS 102331 HAS SOUS 85627 HAS SOUPS 85627 WITH SCORE 85729.331
AT ITER 1380 NEW BEST:: SOT 195916 SOS 101813 HAS SOPS 101813 HAS SOUS 85422 HAS SOUPS 85422 WITH SCORE 85523.813
AT ITER 1392 NEW BEST:: SOT 195906 SOS 101803 HAS SOPS 101803 HAS SOUS 85412 HAS SOUPS 85412 WITH SCORE 85513.803
AT ITER 1394 NEW BEST:: SOT 195879 SOS 101795 HAS SOPS 101795 HAS SOUS 85404 HAS SOUPS 85404 WITH SCORE 85505.795
AT ITER 1399 NEW BEST:: SOT 195794 SOS 101414 HAS SOPS 101414 HAS SOUS 85265 HAS SOUPS 85265 WITH SCORE 85366.414
AT ITER 1403 NEW BEST:: SOT 195704 SOS 101214 HAS SOPS 101214 HAS SOUS 84968 HAS SOUPS 84968 WITH SCORE 85069.214
AT ITER 1411 NEW BEST:: SOT 195704 SOS 101205 HAS SOPS 101205 HAS SOUS 84959 HAS SOUPS 84959 WITH SCORE 85060.205
AT ITER 1416 NEW BEST:: SOT 195596 SOS 101003 HAS SOPS 101003 HAS SOUS 84756 HAS SOUPS 84756 WITH SCORE 84857.003
AT ITER 1417 NEW BEST:: SOT 195561 SOS 100905 HAS SOPS 100905 HAS SOUS 84736 HAS SOUPS 84736 WITH SCORE 84836.905
AT ITER 1436 NEW BEST:: SOT 195595 SOS 100749 HAS SOPS 100749 HAS SOUS 84635 HAS SOUPS 84635 WITH SCORE 84735.749
AT ITER 1443 NEW BEST:: SOT 195555 SOS 100689 HAS SOPS 100689 HAS SOUS 84575 HAS SOUPS 84575 WITH SCORE 84675.689
AT ITER 1484 NEW BEST:: SOT 195425 SOS 100598 HAS SOPS 100598 HAS SOUS 84519 HAS SOUPS 84519 WITH SCORE 84619.598
AT ITER 1487 NEW BEST:: SOT 195424 SOS 100556 HAS SOPS 100556 HAS SOUS 84490 HAS SOUPS 84490 WITH SCORE 84590.556
AT ITER 1489 NEW BEST:: SOT 195306 SOS 100438 HAS SOPS 100438 HAS SOUS 84372 HAS SOUPS 84372 WITH SCORE 84472.438
AT ITER 1501 NEW BEST:: SOT 195407 SOS 99896 HAS SOPS 99896 HAS SOUS 84208 HAS SOUPS 84208 WITH SCORE 84307.896
AT ITER 1520 NEW BEST:: SOT 195192 SOS 99492 HAS SOPS 99492 HAS SOUS 83804 HAS SOUPS 83804 WITH SCORE 83903.492
AT ITER 1535 NEW BEST:: SOT 195151 SOS 99433 HAS SOPS 99433 HAS SOUS 83745 HAS SOUPS 83745 WITH SCORE 83844.433
AT ITER 1538 NEW BEST:: SOT 195147 SOS 99429 HAS SOPS 99429 HAS SOUS 83741 HAS SOUPS 83741 WITH SCORE 83840.429
AT ITER 1539 NEW BEST:: SOT 195061 SOS 99435 HAS SOPS 99435 HAS SOUS 83723 HAS SOUPS 83723 WITH SCORE 83822.435
AT ITER 1550 NEW BEST:: SOT 194994 SOS 99435 HAS SOPS 99435 HAS SOUS 83690 HAS SOUPS 83690 WITH SCORE 83789.435
AT ITER 1558 NEW BEST:: SOT 194989 SOS 99342 HAS SOPS 99342 HAS SOUS 83597 HAS SOUPS 83597 WITH SCORE 83696.342
AT ITER 1560 NEW BEST:: SOT 195025 SOS 99378 HAS SOPS 99378 HAS SOUS 83575 HAS SOUPS 83575 WITH SCORE 83674.378
AT ITER 1561 NEW BEST:: SOT 195005 SOS 99358 HAS SOPS 99358 HAS SOUS 83555 HAS SOUPS 83555 WITH SCORE 83654.358
AT ITER 1567 NEW BEST:: SOT 194990 SOS 99328 HAS SOPS 99328 HAS SOUS 83555 HAS SOUPS 83555 WITH SCORE 83654.328
AT ITER 1568 NEW BEST:: SOT 194980 SOS 99298 HAS SOPS 99298 HAS SOUS 83555 HAS SOUPS 83555 WITH SCORE 83654.298
AT ITER 1574 NEW BEST:: SOT 194966 SOS 99255 HAS SOPS 99255 HAS SOUS 83555 HAS SOUPS 83555 WITH SCORE 83654.255
AT ITER 1576 NEW BEST:: SOT 194814 SOS 99069 HAS SOPS 99069 HAS SOUS 83369 HAS SOUPS 83369 WITH SCORE 83468.069
AT ITER 1581 NEW BEST:: SOT 194786 SOS 99041 HAS SOPS 99041 HAS SOUS 83341 HAS SOUPS 83341 WITH SCORE 83440.041
AT ITER 1592 NEW BEST:: SOT 194733 SOS 98817 HAS SOPS 98817 HAS SOUS 82969 HAS SOUPS 82969 WITH SCORE 83067.817
AT ITER 1596 NEW BEST:: SOT 194733 SOS 98557 HAS SOPS 98557 HAS SOUS 82891 HAS SOUPS 82891 WITH SCORE 82989.557
AT ITER 1630 NEW BEST:: SOT 194541 SOS 98365 HAS SOPS 98365 HAS SOUS 82699 HAS SOUPS 82699 WITH SCORE 82797.365
AT ITER 1635 NEW BEST:: SOT 194565 SOS 98365 HAS SOPS 98365 HAS SOUS 82675 HAS SOUPS 82675 WITH SCORE 82773.365
AT ITER 1640 NEW BEST:: SOT 194402 SOS 98325 HAS SOPS 98325 HAS SOUS 82640 HAS SOUPS 82640 WITH SCORE 82738.325
AT ITER 1646 NEW BEST:: SOT 194264 SOS 98193 HAS SOPS 98193 HAS SOUS 82546 HAS SOUPS 82546 WITH SCORE 82644.193
AT ITER 1654 NEW BEST:: SOT 194352 SOS 97034 HAS SOPS 97034 HAS SOUS 81900 HAS SOUPS 81900 WITH SCORE 81997.034
AT ITER 1661 NEW BEST:: SOT 194132 SOS 96712 HAS SOPS 96712 HAS SOUS 81578 HAS SOUPS 81578 WITH SCORE 81674.712
AT ITER 1668 NEW BEST:: SOT 194230 SOS 96408 HAS SOPS 96408 HAS SOUS 81436 HAS SOUPS 81436 WITH SCORE 81532.408
AT ITER 1670 NEW BEST:: SOT 194207 SOS 96385 HAS SOPS 96385 HAS SOUS 81413 HAS SOUPS 81413 WITH SCORE 81509.385
AT ITER 1671 NEW BEST:: SOT 194115 SOS 96109 HAS SOPS 96109 HAS SOUS 81413 HAS SOUPS 81413 WITH SCORE 81509.109
AT ITER 1675 NEW BEST:: SOT 194114 SOS 96108 HAS SOPS 96108 HAS SOUS 81412 HAS SOUPS 81412 WITH SCORE 81508.108
AT ITER 1688 NEW BEST:: SOT 194114 SOS 96084 HAS SOPS 96084 HAS SOUS 81400 HAS SOUPS 81400 WITH SCORE 81496.084
AT ITER 1697 NEW BEST:: SOT 194049 SOS 96005 HAS SOPS 96005 HAS SOUS 81321 HAS SOUPS 81321 WITH SCORE 81417.005
AT ITER 1698 NEW BEST:: SOT 194049 SOS 95803 HAS SOPS 95803 HAS SOUS 81293 HAS SOUPS 81293 WITH SCORE 81388.803
AT ITER 1699 NEW BEST:: SOT 194040 SOS 95767 HAS SOPS 95767 HAS SOUS 81266 HAS SOUPS 81266 WITH SCORE 81361.767
AT ITER 1711 NEW BEST:: SOT 193789 SOS 95516 HAS SOPS 95516 HAS SOUS 80781 HAS SOUPS 80781 WITH SCORE 80876.516
AT ITER 1721 NEW BEST:: SOT 193686 SOS 95307 HAS SOPS 95307 HAS SOUS 80582 HAS SOUPS 80582 WITH SCORE 80677.307
AT ITER 1736 NEW BEST:: SOT 193850 SOS 95425 HAS SOPS 95425 HAS SOUS 80564 HAS SOUPS 80564 WITH SCORE 80659.425
AT ITER 1737 NEW BEST:: SOT 193850 SOS 95276 HAS SOPS 95276 HAS SOUS 80513 HAS SOUPS 80513 WITH SCORE 80608.276
AT ITER 1744 NEW BEST:: SOT 193697 SOS 95154 HAS SOPS 95154 HAS SOUS 80391 HAS SOUPS 80391 WITH SCORE 80486.154
AT ITER 1774 NEW BEST:: SOT 193632 SOS 95115 HAS SOPS 95115 HAS SOUS 80355 HAS SOUPS 80355 WITH SCORE 80450.115
AT ITER 1781 NEW BEST:: SOT 193600 SOS 95083 HAS SOPS 95083 HAS SOUS 80323 HAS SOUPS 80323 WITH SCORE 80418.083
AT ITER 1799 NEW BEST:: SOT 193731 SOS 95034 HAS SOPS 95034 HAS SOUS 80223 HAS SOUPS 80223 WITH SCORE 80318.034
AT ITER 1808 NEW BEST:: SOT 193698 SOS 94999 HAS SOPS 94999 HAS SOUS 80188 HAS SOUPS 80188 WITH SCORE 80282.999
AT ITER 1813 NEW BEST:: SOT 193512 SOS 94722 HAS SOPS 94722 HAS SOUS 79920 HAS SOUPS 79920 WITH SCORE 80014.722
AT ITER 1817 NEW BEST:: SOT 193421 SOS 94579 HAS SOPS 94579 HAS SOUS 79777 HAS SOUPS 79777 WITH SCORE 79871.579
AT ITER 1829 NEW BEST:: SOT 193399 SOS 94495 HAS SOPS 94495 HAS SOUS 79733 HAS SOUPS 79733 WITH SCORE 79827.495
AT ITER 1857 NEW BEST:: SOT 193321 SOS 94415 HAS SOPS 94415 HAS SOUS 79653 HAS SOUPS 79653 WITH SCORE 79747.415
AT ITER 1863 NEW BEST:: SOT 193386 SOS 94432 HAS SOPS 94432 HAS SOUS 79294 HAS SOUPS 79294 WITH SCORE 79388.432
AT ITER 1868 NEW BEST:: SOT 193337 SOS 94190 HAS SOPS 94190 HAS SOUS 79130 HAS SOUPS 79130 WITH SCORE 79224.19
AT ITER 1884 NEW BEST:: SOT 193316 SOS 94169 HAS SOPS 94169 HAS SOUS 79109 HAS SOUPS 79109 WITH SCORE 79203.169
AT ITER 1895 NEW BEST:: SOT 193308 SOS 94144 HAS SOPS 94144 HAS SOUS 79084 HAS SOUPS 79084 WITH SCORE 79178.144
AT ITER 1919 NEW BEST:: SOT 193065 SOS 93758 HAS SOPS 93758 HAS SOUS 78417 HAS SOUPS 78417 WITH SCORE 78510.758
AT ITER 1920 NEW BEST:: SOT 193065 SOS 93728 HAS SOPS 93728 HAS SOUS 78407 HAS SOUPS 78407 WITH SCORE 78500.728
AT ITER 1934 NEW BEST:: SOT 193026 SOS 93537 HAS SOPS 93537 HAS SOUS 78349 HAS SOUPS 78349 WITH SCORE 78442.537
AT ITER 1947 NEW BEST:: SOT 193029 SOS 92977 HAS SOPS 92977 HAS SOUS 78117 HAS SOUPS 78117 WITH SCORE 78209.977
AT ITER 1963 NEW BEST:: SOT 192796 SOS 92506 HAS SOPS 92506 HAS SOUS 77799 HAS SOUPS 77799 WITH SCORE 77891.506
AT ITER 1964 NEW BEST:: SOT 192852 SOS 92481 HAS SOPS 92481 HAS SOUS 77774 HAS SOUPS 77774 WITH SCORE 77866.481
AT ITER 1966 NEW BEST:: SOT 192869 SOS 92498 HAS SOPS 92498 HAS SOUS 77718 HAS SOUPS 77718 WITH SCORE 77810.498
AT ITER 1978 NEW BEST:: SOT 192593 SOS 91872 HAS SOPS 91872 HAS SOUS 77327 HAS SOUPS 77327 WITH SCORE 77418.872
AT ITER 1990 NEW BEST:: SOT 192583 SOS 91862 HAS SOPS 91862 HAS SOUS 77317 HAS SOUPS 77317 WITH SCORE 77408.862
AT ITER 2004 NEW BEST:: SOT 192593 SOS 91872 HAS SOPS 91872 HAS SOUS 77312 HAS SOUPS 77312 WITH SCORE 77403.872
AT ITER 2007 NEW BEST:: SOT 192422 SOS 91609 HAS SOPS 91609 HAS SOUS 77049 HAS SOUPS 77049 WITH SCORE 77140.609
AT ITER 2020 NEW BEST:: SOT 192420 SOS 91422 HAS SOPS 91422 HAS SOUS 77010 HAS SOUPS 77010 WITH SCORE 77101.422
AT ITER 2026 NEW BEST:: SOT 192419 SOS 91421 HAS SOPS 91421 HAS SOUS 77009 HAS SOUPS 77009 WITH SCORE 77100.421
AT ITER 2032 NEW BEST:: SOT 192410 SOS 91276 HAS SOPS 91276 HAS SOUS 76889 HAS SOUPS 76889 WITH SCORE 76980.276
AT ITER 2035 NEW BEST:: SOT 192410 SOS 91276 HAS SOPS 91276 HAS SOUS 76878 HAS SOUPS 76878 WITH SCORE 76969.276
AT ITER 2041 NEW BEST:: SOT 192213 SOS 90584 HAS SOPS 90584 HAS SOUS 76357 HAS SOUPS 76357 WITH SCORE 76447.584
AT ITER 2053 NEW BEST:: SOT 192208 SOS 90569 HAS SOPS 90569 HAS SOUS 76347 HAS SOUPS 76347 WITH SCORE 76437.569
AT ITER 2065 NEW BEST:: SOT 192154 SOS 88953 HAS SOPS 88953 HAS SOUS 75776 HAS SOUPS 75776 WITH SCORE 75864.953
AT ITER 2073 NEW BEST:: SOT 192094 SOS 88893 HAS SOPS 88893 HAS SOUS 75716 HAS SOUPS 75716 WITH SCORE 75804.893
AT ITER 2083 NEW BEST:: SOT 192065 SOS 88843 HAS SOPS 88843 HAS SOUS 75666 HAS SOUPS 75666 WITH SCORE 75754.843
AT ITER 2085 NEW BEST:: SOT 192084 SOS 88862 HAS SOPS 88862 HAS SOUS 75651 HAS SOUPS 75651 WITH SCORE 75739.862
AT ITER 2117 NEW BEST:: SOT 192137 SOS 88821 HAS SOPS 88821 HAS SOUS 75300 HAS SOUPS 75300 WITH SCORE 75388.821
AT ITER 2137 NEW BEST:: SOT 192085 SOS 88741 HAS SOPS 88741 HAS SOUS 75220 HAS SOUPS 75220 WITH SCORE 75308.741
AT ITER 2140 NEW BEST:: SOT 192076 SOS 88732 HAS SOPS 88732 HAS SOUS 75168 HAS SOUPS 75168 WITH SCORE 75256.732
AT ITER 2144 NEW BEST:: SOT 192146 SOS 88732 HAS SOPS 88732 HAS SOUS 75141 HAS SOUPS 75141 WITH SCORE 75229.732
AT ITER 2159 NEW BEST:: SOT 192156 SOS 88697 HAS SOPS 88697 HAS SOUS 75106 HAS SOUPS 75106 WITH SCORE 75194.697
AT ITER 2161 NEW BEST:: SOT 192156 SOS 88616 HAS SOPS 88616 HAS SOUS 75045 HAS SOUPS 75045 WITH SCORE 75133.616
AT ITER 2171 NEW BEST:: SOT 192114 SOS 88574 HAS SOPS 88574 HAS SOUS 75003 HAS SOUPS 75003 WITH SCORE 75091.574
AT ITER 2178 NEW BEST:: SOT 192001 SOS 88433 HAS SOPS 88433 HAS SOUS 74862 HAS SOUPS 74862 WITH SCORE 74950.433
AT ITER 2179 NEW BEST:: SOT 191589 SOS 87519 HAS SOPS 87519 HAS SOUS 74024 HAS SOUPS 74024 WITH SCORE 74111.519
AT ITER 2182 NEW BEST:: SOT 191587 SOS 87517 HAS SOPS 87517 HAS SOUS 74022 HAS SOUPS 74022 WITH SCORE 74109.517
AT ITER 2186 NEW BEST:: SOT 191562 SOS 87492 HAS SOPS 87492 HAS SOUS 73997 HAS SOUPS 73997 WITH SCORE 74084.492
AT ITER 2197 NEW BEST:: SOT 191506 SOS 87434 HAS SOPS 87434 HAS SOUS 73939 HAS SOUPS 73939 WITH SCORE 74026.434
AT ITER 2207 NEW BEST:: SOT 191513 SOS 87416 HAS SOPS 87416 HAS SOUS 73933 HAS SOUPS 73933 WITH SCORE 74020.416
AT ITER 2208 NEW BEST:: SOT 191495 SOS 87368 HAS SOPS 87368 HAS SOUS 73900 HAS SOUPS 73900 WITH SCORE 73987.368
AT ITER 2212 NEW BEST:: SOT 191473 SOS 87334 HAS SOPS 87334 HAS SOUS 73860 HAS SOUPS 73860 WITH SCORE 73947.334
AT ITER 2222 NEW BEST:: SOT 191457 SOS 87298 HAS SOPS 87298 HAS SOUS 73820 HAS SOUPS 73820 WITH SCORE 73907.298
AT ITER 2237 NEW BEST:: SOT 191457 SOS 87206 HAS SOPS 87206 HAS SOUS 73749 HAS SOUPS 73749 WITH SCORE 73836.206
AT ITER 2260 NEW BEST:: SOT 191446 SOS 87078 HAS SOPS 87078 HAS SOUS 73577 HAS SOUPS 73577 WITH SCORE 73664.078
AT ITER 2264 NEW BEST:: SOT 191470 SOS 87046 HAS SOPS 87046 HAS SOUS 73465 HAS SOUPS 73465 WITH SCORE 73552.046
AT ITER 2265 NEW BEST:: SOT 191232 SOS 86567 HAS SOPS 86567 HAS SOUS 73270 HAS SOUPS 73270 WITH SCORE 73356.567
AT ITER 2273 NEW BEST:: SOT 191224 SOS 86559 HAS SOPS 86559 HAS SOUS 73256 HAS SOUPS 73256 WITH SCORE 73342.559
AT ITER 2278 NEW BEST:: SOT 190958 SOS 86297 HAS SOPS 86297 HAS SOUS 72994 HAS SOUPS 72994 WITH SCORE 73080.297
AT ITER 2302 NEW BEST:: SOT 190930 SOS 86231 HAS SOPS 86231 HAS SOUS 72890 HAS SOUPS 72890 WITH SCORE 72976.231
AT ITER 2303 NEW BEST:: SOT 191027 SOS 86195 HAS SOPS 86195 HAS SOUS 72861 HAS SOUPS 72861 WITH SCORE 72947.195
AT ITER 2306 NEW BEST:: SOT 191026 SOS 86194 HAS SOPS 86194 HAS SOUS 72860 HAS SOUPS 72860 WITH SCORE 72946.194
AT ITER 2311 NEW BEST:: SOT 191020 SOS 86185 HAS SOPS 86185 HAS SOUS 72822 HAS SOUPS 72822 WITH SCORE 72908.185
AT ITER 2317 NEW BEST:: SOT 190968 SOS 86108 HAS SOPS 86108 HAS SOUS 72745 HAS SOUPS 72745 WITH SCORE 72831.108
AT ITER 2321 NEW BEST:: SOT 190913 SOS 85904 HAS SOPS 85904 HAS SOUS 72677 HAS SOUPS 72677 WITH SCORE 72762.904
AT ITER 2326 NEW BEST:: SOT 190895 SOS 85839 HAS SOPS 85839 HAS SOUS 72612 HAS SOUPS 72612 WITH SCORE 72697.839
AT ITER 2342 NEW BEST:: SOT 190848 SOS 85763 HAS SOPS 85763 HAS SOUS 72536 HAS SOUPS 72536 WITH SCORE 72621.763
AT ITER 2357 NEW BEST:: SOT 190795 SOS 85533 HAS SOPS 85533 HAS SOUS 72412 HAS SOUPS 72412 WITH SCORE 72497.533
AT ITER 2379 NEW BEST:: SOT 190784 SOS 85522 HAS SOPS 85522 HAS SOUS 72391 HAS SOUPS 72391 WITH SCORE 72476.522
AT ITER 2400 NEW BEST:: SOT 190770 SOS 85508 HAS SOPS 85508 HAS SOUS 72377 HAS SOUPS 72377 WITH SCORE 72462.508
AT ITER 2410 NEW BEST:: SOT 190725 SOS 85386 HAS SOPS 85386 HAS SOUS 72287 HAS SOUPS 72287 WITH SCORE 72372.386
AT ITER 2421 NEW BEST:: SOT 190725 SOS 85161 HAS SOPS 85161 HAS SOUS 72273 HAS SOUPS 72273 WITH SCORE 72358.161
AT ITER 2422 NEW BEST:: SOT 190675 SOS 85011 HAS SOPS 85011 HAS SOUS 72273 HAS SOUPS 72273 WITH SCORE 72358.011
AT ITER 2429 NEW BEST:: SOT 190675 SOS 84956 HAS SOPS 84956 HAS SOUS 72241 HAS SOUPS 72241 WITH SCORE 72325.956
AT ITER 2439 NEW BEST:: SOT 190704 SOS 84957 HAS SOPS 84957 HAS SOUS 72239 HAS SOUPS 72239 WITH SCORE 72323.957
AT ITER 2454 NEW BEST:: SOT 190700 SOS 84953 HAS SOPS 84953 HAS SOUS 72235 HAS SOUPS 72235 WITH SCORE 72319.953
AT ITER 2460 NEW BEST:: SOT 190504 SOS 84781 HAS SOPS 84781 HAS SOUS 72108 HAS SOUPS 72108 WITH SCORE 72192.781
AT ITER 2469 NEW BEST:: SOT 190504 SOS 84586 HAS SOPS 84586 HAS SOUS 71978 HAS SOUPS 71978 WITH SCORE 72062.586
AT ITER 2470 NEW BEST:: SOT 190303 SOS 84247 HAS SOPS 84247 HAS SOUS 71639 HAS SOUPS 71639 WITH SCORE 71723.247
AT ITER 2493 NEW BEST:: SOT 190304 SOS 84246 HAS SOPS 84246 HAS SOUS 71638 HAS SOUPS 71638 WITH SCORE 71722.246
AT ITER 2520 NEW BEST:: SOT 190262 SOS 84095 HAS SOPS 84095 HAS SOUS 71628 HAS SOUPS 71628 WITH SCORE 71712.095
AT ITER 2528 NEW BEST:: SOT 190272 SOS 84089 HAS SOPS 84089 HAS SOUS 71622 HAS SOUPS 71622 WITH SCORE 71706.089
AT ITER 2529 NEW BEST:: SOT 190239 SOS 84056 HAS SOPS 84056 HAS SOUS 71589 HAS SOUPS 71589 WITH SCORE 71673.056
AT ITER 2550 NEW BEST:: SOT 190251 SOS 84082 HAS SOPS 84082 HAS SOUS 71569 HAS SOUPS 71569 WITH SCORE 71653.082
AT ITER 2557 NEW BEST:: SOT 190170 SOS 83901 HAS SOPS 83901 HAS SOUS 71388 HAS SOUPS 71388 WITH SCORE 71471.901
AT ITER 2571 NEW BEST:: SOT 190090 SOS 83821 HAS SOPS 83821 HAS SOUS 71308 HAS SOUPS 71308 WITH SCORE 71391.821
AT ITER 2579 NEW BEST:: SOT 190173 SOS 83785 HAS SOPS 83785 HAS SOUS 71277 HAS SOUPS 71277 WITH SCORE 71360.785
AT ITER 2587 NEW BEST:: SOT 190166 SOS 83778 HAS SOPS 83778 HAS SOUS 71270 HAS SOUPS 71270 WITH SCORE 71353.778
AT ITER 2610 NEW BEST:: SOT 190070 SOS 83452 HAS SOPS 83452 HAS SOUS 70949 HAS SOUPS 70949 WITH SCORE 71032.452
AT ITER 2611 NEW BEST:: SOT 190105 SOS 83511 HAS SOPS 83511 HAS SOUS 70903 HAS SOUPS 70903 WITH SCORE 70986.511
AT ITER 2613 NEW BEST:: SOT 190104 SOS 83508 HAS SOPS 83508 HAS SOUS 70900 HAS SOUPS 70900 WITH SCORE 70983.508
AT ITER 2618 NEW BEST:: SOT 190100 SOS 83428 HAS SOPS 83428 HAS SOUS 70871 HAS SOUPS 70871 WITH SCORE 70954.428
AT ITER 2638 NEW BEST:: SOT 190108 SOS 83309 HAS SOPS 83309 HAS SOUS 70743 HAS SOUPS 70743 WITH SCORE 70826.309
AT ITER 2639 NEW BEST:: SOT 189997 SOS 83197 HAS SOPS 83197 HAS SOUS 70631 HAS SOUPS 70631 WITH SCORE 70714.197
AT ITER 2644 NEW BEST:: SOT 189951 SOS 83151 HAS SOPS 83151 HAS SOUS 70585 HAS SOUPS 70585 WITH SCORE 70668.151
AT ITER 2647 NEW BEST:: SOT 189865 SOS 83065 HAS SOPS 83065 HAS SOUS 70499 HAS SOUPS 70499 WITH SCORE 70582.065
AT ITER 2660 NEW BEST:: SOT 189905 SOS 83136 HAS SOPS 83136 HAS SOUS 70493 HAS SOUPS 70493 WITH SCORE 70576.136
AT ITER 2661 NEW BEST:: SOT 190034 SOS 83217 HAS SOPS 83217 HAS SOUS 70372 HAS SOUPS 70372 WITH SCORE 70455.217
AT ITER 2669 NEW BEST:: SOT 190071 SOS 83096 HAS SOPS 83096 HAS SOUS 70332 HAS SOUPS 70332 WITH SCORE 70415.096
AT ITER 2675 NEW BEST:: SOT 190037 SOS 83421 HAS SOPS 83421 HAS SOUS 70285 HAS SOUPS 70285 WITH SCORE 70368.421
AT ITER 2678 NEW BEST:: SOT 189895 SOS 83220 HAS SOPS 83220 HAS SOUS 70000 HAS SOUPS 70000 WITH SCORE 70083.22
AT ITER 2683 NEW BEST:: SOT 189912 SOS 83236 HAS SOPS 83236 HAS SOUS 69998 HAS SOUPS 69998 WITH SCORE 70081.236
AT ITER 2686 NEW BEST:: SOT 189862 SOS 83161 HAS SOPS 83161 HAS SOUS 69923 HAS SOUPS 69923 WITH SCORE 70006.161
AT ITER 2699 NEW BEST:: SOT 189816 SOS 83095 HAS SOPS 83095 HAS SOUS 69862 HAS SOUPS 69862 WITH SCORE 69945.095
AT ITER 2707 NEW BEST:: SOT 189816 SOS 82947 HAS SOPS 82947 HAS SOUS 69842 HAS SOUPS 69842 WITH SCORE 69924.947
AT ITER 2710 NEW BEST:: SOT 189816 SOS 82903 HAS SOPS 82903 HAS SOUS 69799 HAS SOUPS 69799 WITH SCORE 69881.903
AT ITER 2713 NEW BEST:: SOT 189816 SOS 82374 HAS SOPS 82374 HAS SOUS 69763 HAS SOUPS 69763 WITH SCORE 69845.374
AT ITER 2721 NEW BEST:: SOT 189790 SOS 82296 HAS SOPS 82296 HAS SOUS 69763 HAS SOUPS 69763 WITH SCORE 69845.296
AT ITER 2726 NEW BEST:: SOT 189802 SOS 82308 HAS SOPS 82308 HAS SOUS 69752 HAS SOUPS 69752 WITH SCORE 69834.308
AT ITER 2736 NEW BEST:: SOT 189881 SOS 82410 HAS SOPS 82410 HAS SOUS 69749 HAS SOUPS 69749 WITH SCORE 69831.41
AT ITER 2744 NEW BEST:: SOT 189838 SOS 82211 HAS SOPS 82211 HAS SOUS 69628 HAS SOUPS 69628 WITH SCORE 69710.211
AT ITER 2784 NEW BEST:: SOT 189836 SOS 82014 HAS SOPS 82014 HAS SOUS 69602 HAS SOUPS 69602 WITH SCORE 69684.014
AT ITER 2800 NEW BEST:: SOT 189784 SOS 81962 HAS SOPS 81962 HAS SOUS 69550 HAS SOUPS 69550 WITH SCORE 69631.962
AT ITER 2801 NEW BEST:: SOT 189768 SOS 81946 HAS SOPS 81946 HAS SOUS 69534 HAS SOUPS 69534 WITH SCORE 69615.946
AT ITER 2809 NEW BEST:: SOT 189768 SOS 81676 HAS SOPS 81676 HAS SOUS 69509 HAS SOUPS 69509 WITH SCORE 69590.676
AT ITER 2821 NEW BEST:: SOT 189559 SOS 81201 HAS SOPS 81201 HAS SOUS 69034 HAS SOUPS 69034 WITH SCORE 69115.201
AT ITER 2842 NEW BEST:: SOT 189430 SOS 81072 HAS SOPS 81072 HAS SOUS 68905 HAS SOUPS 68905 WITH SCORE 68986.072
AT ITER 2844 NEW BEST:: SOT 189425 SOS 81067 HAS SOPS 81067 HAS SOUS 68883 HAS SOUPS 68883 WITH SCORE 68964.067
AT ITER 2848 NEW BEST:: SOT 189408 SOS 81027 HAS SOPS 81027 HAS SOUS 68883 HAS SOUPS 68883 WITH SCORE 68964.027
AT ITER 2853 NEW BEST:: SOT 189364 SOS 80983 HAS SOPS 80983 HAS SOUS 68839 HAS SOUPS 68839 WITH SCORE 68919.983
AT ITER 2864 NEW BEST:: SOT 189333 SOS 80970 HAS SOPS 80970 HAS SOUS 68826 HAS SOUPS 68826 WITH SCORE 68906.97
AT ITER 2881 NEW BEST:: SOT 189330 SOS 80969 HAS SOPS 80969 HAS SOUS 68825 HAS SOUPS 68825 WITH SCORE 68905.969
AT ITER 2889 NEW BEST:: SOT 189326 SOS 80965 HAS SOPS 80965 HAS SOUS 68821 HAS SOUPS 68821 WITH SCORE 68901.965
AT ITER 2896 NEW BEST:: SOT 189245 SOS 80636 HAS SOPS 80636 HAS SOUS 68758 HAS SOUPS 68758 WITH SCORE 68838.636
AT ITER 2897 NEW BEST:: SOT 189484 SOS 80882 HAS SOPS 80882 HAS SOUS 68756 HAS SOUPS 68756 WITH SCORE 68836.882
AT ITER 2910 NEW BEST:: SOT 189447 SOS 80827 HAS SOPS 80827 HAS SOUS 68623 HAS SOUPS 68623 WITH SCORE 68703.827
AT ITER 2912 NEW BEST:: SOT 189443 SOS 80815 HAS SOPS 80815 HAS SOUS 68611 HAS SOUPS 68611 WITH SCORE 68691.815
AT ITER 2938 NEW BEST:: SOT 189459 SOS 80763 HAS SOPS 80763 HAS SOUS 68559 HAS SOUPS 68559 WITH SCORE 68639.763
AT ITER 2953 NEW BEST:: SOT 189460 SOS 80732 HAS SOPS 80732 HAS SOUS 68559 HAS SOUPS 68559 WITH SCORE 68639.732
AT ITER 3021 NEW BEST:: SOT 189441 SOS 80534 HAS SOPS 80534 HAS SOUS 68552 HAS SOUPS 68552 WITH SCORE 68632.534
AT ITER 3027 NEW BEST:: SOT 189433 SOS 80526 HAS SOPS 80526 HAS SOUS 68544 HAS SOUPS 68544 WITH SCORE 68624.526
AT ITER 3032 NEW BEST:: SOT 189425 SOS 80454 HAS SOPS 80454 HAS SOUS 68522 HAS SOUPS 68522 WITH SCORE 68602.454
AT ITER 3057 NEW BEST:: SOT 189410 SOS 80439 HAS SOPS 80439 HAS SOUS 68507 HAS SOUPS 68507 WITH SCORE 68587.439
AT ITER 3076 NEW BEST:: SOT 189408 SOS 80412 HAS SOPS 80412 HAS SOUS 68505 HAS SOUPS 68505 WITH SCORE 68585.412
AT ITER 3086 NEW BEST:: SOT 189357 SOS 80087 HAS SOPS 80087 HAS SOUS 68265 HAS SOUPS 68265 WITH SCORE 68345.087
AT ITER 3093 NEW BEST:: SOT 189524 SOS 79885 HAS SOPS 79885 HAS SOUS 68244 HAS SOUPS 68244 WITH SCORE 68323.885
AT ITER 3114 NEW BEST:: SOT 189487 SOS 79836 HAS SOPS 79836 HAS SOUS 68195 HAS SOUPS 68195 WITH SCORE 68274.836
AT ITER 3121 NEW BEST:: SOT 189471 SOS 79804 HAS SOPS 79804 HAS SOUS 68187 HAS SOUPS 68187 WITH SCORE 68266.804
AT ITER 3122 NEW BEST:: SOT 189390 SOS 79720 HAS SOPS 79720 HAS SOUS 68102 HAS SOUPS 68102 WITH SCORE 68181.72
AT ITER 3139 NEW BEST:: SOT 189363 SOS 79693 HAS SOPS 79693 HAS SOUS 68076 HAS SOUPS 68076 WITH SCORE 68155.693
AT ITER 3148 NEW BEST:: SOT 189336 SOS 79538 HAS SOPS 79538 HAS SOUS 68037 HAS SOUPS 68037 WITH SCORE 68116.538
AT ITER 3153 NEW BEST:: SOT 189312 SOS 79454 HAS SOPS 79454 HAS SOUS 67953 HAS SOUPS 67953 WITH SCORE 68032.454
AT ITER 3162 NEW BEST:: SOT 189242 SOS 79384 HAS SOPS 79384 HAS SOUS 67883 HAS SOUPS 67883 WITH SCORE 67962.384
AT ITER 3166 NEW BEST:: SOT 189259 SOS 79375 HAS SOPS 79375 HAS SOUS 67882 HAS SOUPS 67882 WITH SCORE 67961.375
AT ITER 3169 NEW BEST:: SOT 189259 SOS 79325 HAS SOPS 79325 HAS SOUS 67867 HAS SOUPS 67867 WITH SCORE 67946.325
AT ITER 3172 NEW BEST:: SOT 189226 SOS 79254 HAS SOPS 79254 HAS SOUS 67796 HAS SOUPS 67796 WITH SCORE 67875.254
AT ITER 3182 NEW BEST:: SOT 189226 SOS 79216 HAS SOPS 79216 HAS SOUS 67758 HAS SOUPS 67758 WITH SCORE 67837.216
AT ITER 3212 NEW BEST:: SOT 189079 SOS 79066 HAS SOPS 79066 HAS SOUS 67608 HAS SOUPS 67608 WITH SCORE 67687.066
AT ITER 3279 NEW BEST:: SOT 189249 SOS 79126 HAS SOPS 79126 HAS SOUS 67520 HAS SOUPS 67520 WITH SCORE 67599.126
AT ITER 3282 NEW BEST:: SOT 188951 SOS 78828 HAS SOPS 78828 HAS SOUS 67222 HAS SOUPS 67222 WITH SCORE 67300.828
AT ITER 3285 NEW BEST:: SOT 188950 SOS 78566 HAS SOPS 78566 HAS SOUS 67168 HAS SOUPS 67168 WITH SCORE 67246.566
AT ITER 3286 NEW BEST:: SOT 188941 SOS 78511 HAS SOPS 78511 HAS SOUS 67130 HAS SOUPS 67130 WITH SCORE 67208.511
AT ITER 3310 NEW BEST:: SOT 188927 SOS 78476 HAS SOPS 78476 HAS SOUS 67116 HAS SOUPS 67116 WITH SCORE 67194.476
AT ITER 3315 NEW BEST:: SOT 188893 SOS 78343 HAS SOPS 78343 HAS SOUS 66983 HAS SOUPS 66983 WITH SCORE 67061.343
AT ITER 3317 NEW BEST:: SOT 188857 SOS 78305 HAS SOPS 78305 HAS SOUS 66943 HAS SOUPS 66943 WITH SCORE 67021.305
AT ITER 3327 NEW BEST:: SOT 188752 SOS 78258 HAS SOPS 78258 HAS SOUS 66892 HAS SOUPS 66892 WITH SCORE 66970.258
AT ITER 3336 NEW BEST:: SOT 188752 SOS 78195 HAS SOPS 78195 HAS SOUS 66817 HAS SOUPS 66817 WITH SCORE 66895.195
AT ITER 3337 NEW BEST:: SOT 188683 SOS 78011 HAS SOPS 78011 HAS SOUS 66702 HAS SOUPS 66702 WITH SCORE 66780.011
AT ITER 3339 NEW BEST:: SOT 188380 SOS 77659 HAS SOPS 77659 HAS SOUS 66350 HAS SOUPS 66350 WITH SCORE 66427.659
AT ITER 3352 NEW BEST:: SOT 188302 SOS 77542 HAS SOPS 77542 HAS SOUS 66233 HAS SOUPS 66233 WITH SCORE 66310.542
AT ITER 3372 NEW BEST:: SOT 188277 SOS 77517 HAS SOPS 77517 HAS SOUS 66208 HAS SOUPS 66208 WITH SCORE 66285.517
AT ITER 3375 NEW BEST:: SOT 188229 SOS 77579 HAS SOPS 77579 HAS SOUS 66156 HAS SOUPS 66156 WITH SCORE 66233.579
AT ITER 3383 NEW BEST:: SOT 188226 SOS 77576 HAS SOPS 77576 HAS SOUS 66153 HAS SOUPS 66153 WITH SCORE 66230.576
AT ITER 3384 NEW BEST:: SOT 188150 SOS 77462 HAS SOPS 77462 HAS SOUS 66039 HAS SOUPS 66039 WITH SCORE 66116.462
AT ITER 3385 NEW BEST:: SOT 188056 SOS 77215 HAS SOPS 77215 HAS SOUS 65826 HAS SOUPS 65826 WITH SCORE 65903.215
AT ITER 3386 NEW BEST:: SOT 187862 SOS 76923 HAS SOPS 76923 HAS SOUS 65559 HAS SOUPS 65559 WITH SCORE 65635.923
AT ITER 3397 NEW BEST:: SOT 187842 SOS 76863 HAS SOPS 76863 HAS SOUS 65529 HAS SOUPS 65529 WITH SCORE 65605.863
AT ITER 3412 NEW BEST:: SOT 187931 SOS 76954 HAS SOPS 76954 HAS SOUS 65519 HAS SOUPS 65519 WITH SCORE 65595.954
AT ITER 3426 NEW BEST:: SOT 187930 SOS 76863 HAS SOPS 76863 HAS SOUS 65506 HAS SOUPS 65506 WITH SCORE 65582.863
AT ITER 3431 NEW BEST:: SOT 187777 SOS 76712 HAS SOPS 76712 HAS SOUS 65435 HAS SOUPS 65435 WITH SCORE 65511.712
AT ITER 3432 NEW BEST:: SOT 187713 SOS 76607 HAS SOPS 76607 HAS SOUS 65322 HAS SOUPS 65322 WITH SCORE 65398.607
AT ITER 3440 NEW BEST:: SOT 187708 SOS 76602 HAS SOPS 76602 HAS SOUS 65317 HAS SOUPS 65317 WITH SCORE 65393.602
AT ITER 3460 NEW BEST:: SOT 187622 SOS 76268 HAS SOPS 76268 HAS SOUS 65228 HAS SOUPS 65228 WITH SCORE 65304.268
AT ITER 3469 NEW BEST:: SOT 187622 SOS 76357 HAS SOPS 76357 HAS SOUS 65188 HAS SOUPS 65188 WITH SCORE 65264.357
AT ITER 3484 NEW BEST:: SOT 187574 SOS 76285 HAS SOPS 76285 HAS SOUS 65076 HAS SOUPS 65076 WITH SCORE 65152.285
AT ITER 3486 NEW BEST:: SOT 187579 SOS 76270 HAS SOPS 76270 HAS SOUS 65074 HAS SOUPS 65074 WITH SCORE 65150.27
AT ITER 3493 NEW BEST:: SOT 187564 SOS 76255 HAS SOPS 76255 HAS SOUS 65059 HAS SOUPS 65059 WITH SCORE 65135.255
AT ITER 3494 NEW BEST:: SOT 187633 SOS 76377 HAS SOPS 76377 HAS SOUS 65058 HAS SOUPS 65058 WITH SCORE 65134.377
AT ITER 3495 NEW BEST:: SOT 187625 SOS 76369 HAS SOPS 76369 HAS SOUS 65050 HAS SOUPS 65050 WITH SCORE 65126.369
AT ITER 3523 NEW BEST:: SOT 187615 SOS 76359 HAS SOPS 76359 HAS SOUS 65040 HAS SOUPS 65040 WITH SCORE 65116.359
AT ITER 3529 NEW BEST:: SOT 187598 SOS 76314 HAS SOPS 76314 HAS SOUS 64961 HAS SOUPS 64961 WITH SCORE 65037.314
AT ITER 3531 NEW BEST:: SOT 187611 SOS 76327 HAS SOPS 76327 HAS SOUS 64952 HAS SOUPS 64952 WITH SCORE 65028.327
AT ITER 3534 NEW BEST:: SOT 187602 SOS 76362 HAS SOPS 76362 HAS SOUS 64940 HAS SOUPS 64940 WITH SCORE 65016.362
AT ITER 3541 NEW BEST:: SOT 187589 SOS 76352 HAS SOPS 76352 HAS SOUS 64897 HAS SOUPS 64897 WITH SCORE 64973.352
AT ITER 3544 NEW BEST:: SOT 187589 SOS 76386 HAS SOPS 76386 HAS SOUS 64856 HAS SOUPS 64856 WITH SCORE 64932.386
AT ITER 3551 NEW BEST:: SOT 187589 SOS 76378 HAS SOPS 76378 HAS SOUS 64852 HAS SOUPS 64852 WITH SCORE 64928.378
AT ITER 3552 NEW BEST:: SOT 187589 SOS 76359 HAS SOPS 76359 HAS SOUS 64852 HAS SOUPS 64852 WITH SCORE 64928.359
AT ITER 3567 NEW BEST:: SOT 187583 SOS 76341 HAS SOPS 76341 HAS SOUS 64828 HAS SOUPS 64828 WITH SCORE 64904.341
AT ITER 3579 NEW BEST:: SOT 187394 SOS 76152 HAS SOPS 76152 HAS SOUS 64639 HAS SOUPS 64639 WITH SCORE 64715.152
AT ITER 3581 NEW BEST:: SOT 187275 SOS 76033 HAS SOPS 76033 HAS SOUS 64461 HAS SOUPS 64461 WITH SCORE 64537.033
AT ITER 3583 NEW BEST:: SOT 187289 SOS 75990 HAS SOPS 75990 HAS SOUS 64418 HAS SOUPS 64418 WITH SCORE 64493.99
AT ITER 3587 NEW BEST:: SOT 187211 SOS 75931 HAS SOPS 75931 HAS SOUS 64339 HAS SOUPS 64339 WITH SCORE 64414.931
AT ITER 3588 NEW BEST:: SOT 187180 SOS 75823 HAS SOPS 75823 HAS SOUS 64297 HAS SOUPS 64297 WITH SCORE 64372.823
AT ITER 3596 NEW BEST:: SOT 187241 SOS 75582 HAS SOPS 75582 HAS SOUS 64269 HAS SOUPS 64269 WITH SCORE 64344.582
AT ITER 3612 NEW BEST:: SOT 187021 SOS 75450 HAS SOPS 75450 HAS SOUS 64231 HAS SOUPS 64231 WITH SCORE 64306.45
AT ITER 3623 NEW BEST:: SOT 187021 SOS 75427 HAS SOPS 75427 HAS SOUS 64231 HAS SOUPS 64231 WITH SCORE 64306.427
AT ITER 3632 NEW BEST:: SOT 187019 SOS 75388 HAS SOPS 75388 HAS SOUS 64226 HAS SOUPS 64226 WITH SCORE 64301.388
AT ITER 3634 NEW BEST:: SOT 187019 SOS 75563 HAS SOPS 75563 HAS SOUS 64006 HAS SOUPS 64006 WITH SCORE 64081.563
AT ITER 3647 NEW BEST:: SOT 186968 SOS 75530 HAS SOPS 75530 HAS SOUS 63971 HAS SOUPS 63971 WITH SCORE 64046.53
AT ITER 3650 NEW BEST:: SOT 186963 SOS 75444 HAS SOPS 75444 HAS SOUS 63920 HAS SOUPS 63920 WITH SCORE 63995.444
AT ITER 3664 NEW BEST:: SOT 186972 SOS 75388 HAS SOPS 75388 HAS SOUS 63864 HAS SOUPS 63864 WITH SCORE 63939.388
AT ITER 3680 NEW BEST:: SOT 186986 SOS 75415 HAS SOPS 75415 HAS SOUS 63863 HAS SOUPS 63863 WITH SCORE 63938.415
AT ITER 3699 NEW BEST:: SOT 186986 SOS 75365 HAS SOPS 75365 HAS SOUS 63813 HAS SOUPS 63813 WITH SCORE 63888.365
AT ITER 3709 NEW BEST:: SOT 186986 SOS 75335 HAS SOPS 75335 HAS SOUS 63783 HAS SOUPS 63783 WITH SCORE 63858.335
AT ITER 3710 NEW BEST:: SOT 186969 SOS 75281 HAS SOPS 75281 HAS SOUS 63740 HAS SOUPS 63740 WITH SCORE 63815.281
AT ITER 3723 NEW BEST:: SOT 186846 SOS 75158 HAS SOPS 75158 HAS SOUS 63617 HAS SOUPS 63617 WITH SCORE 63692.158
AT ITER 3740 NEW BEST:: SOT 186832 SOS 74791 HAS SOPS 74791 HAS SOUS 63617 HAS SOUPS 63617 WITH SCORE 63691.791
AT ITER 3761 NEW BEST:: SOT 186724 SOS 74541 HAS SOPS 74541 HAS SOUS 63367 HAS SOUPS 63367 WITH SCORE 63441.541
AT ITER 3765 NEW BEST:: SOT 186554 SOS 73946 HAS SOPS 73946 HAS SOUS 63027 HAS SOUPS 63027 WITH SCORE 63100.946
AT ITER 3774 NEW BEST:: SOT 186536 SOS 73940 HAS SOPS 73940 HAS SOUS 63021 HAS SOUPS 63021 WITH SCORE 63094.94
AT ITER 3789 NEW BEST:: SOT 186528 SOS 73924 HAS SOPS 73924 HAS SOUS 63009 HAS SOUPS 63009 WITH SCORE 63082.924
AT ITER 3790 NEW BEST:: SOT 186493 SOS 74005 HAS SOPS 74005 HAS SOUS 62982 HAS SOUPS 62982 WITH SCORE 63056.005
AT ITER 3807 NEW BEST:: SOT 186387 SOS 73983 HAS SOPS 73983 HAS SOUS 62933 HAS SOUPS 62933 WITH SCORE 63006.983
AT ITER 3825 NEW BEST:: SOT 186359 SOS 73917 HAS SOPS 73917 HAS SOUS 62868 HAS SOUPS 62868 WITH SCORE 62941.917
AT ITER 3834 NEW BEST:: SOT 186359 SOS 73891 HAS SOPS 73891 HAS SOUS 62842 HAS SOUPS 62842 WITH SCORE 62915.891
AT ITER 3837 NEW BEST:: SOT 186359 SOS 73891 HAS SOPS 73891 HAS SOUS 62820 HAS SOUPS 62820 WITH SCORE 62893.891
AT ITER 3867 NEW BEST:: SOT 186420 SOS 73957 HAS SOPS 73957 HAS SOUS 62752 HAS SOUPS 62752 WITH SCORE 62825.957
AT ITER 3902 NEW BEST:: SOT 186327 SOS 73813 HAS SOPS 73813 HAS SOUS 62608 HAS SOUPS 62608 WITH SCORE 62681.813
AT ITER 3903 NEW BEST:: SOT 186277 SOS 73710 HAS SOPS 73710 HAS SOUS 62600 HAS SOUPS 62600 WITH SCORE 62673.71
AT ITER 3911 NEW BEST:: SOT 186229 SOS 73686 HAS SOPS 73686 HAS SOUS 62600 HAS SOUPS 62600 WITH SCORE 62673.686
AT ITER 3930 NEW BEST:: SOT 186220 SOS 73668 HAS SOPS 73668 HAS SOUS 62573 HAS SOUPS 62573 WITH SCORE 62646.668
AT ITER 3949 NEW BEST:: SOT 186189 SOS 73606 HAS SOPS 73606 HAS SOUS 62449 HAS SOUPS 62449 WITH SCORE 62522.606
AT ITER 3953 NEW BEST:: SOT 186082 SOS 73320 HAS SOPS 73320 HAS SOUS 62443 HAS SOUPS 62443 WITH SCORE 62516.32
AT ITER 3960 NEW BEST:: SOT 186000 SOS 73220 HAS SOPS 73220 HAS SOUS 62351 HAS SOUPS 62351 WITH SCORE 62424.22
AT ITER 3962 NEW BEST:: SOT 185963 SOS 73027 HAS SOPS 73027 HAS SOUS 62257 HAS SOUPS 62257 WITH SCORE 62330.027
AT ITER 3967 NEW BEST:: SOT 185946 SOS 72982 HAS SOPS 72982 HAS SOUS 62210 HAS SOUPS 62210 WITH SCORE 62282.982
AT ITER 3981 NEW BEST:: SOT 185979 SOS 72937 HAS SOPS 72937 HAS SOUS 62024 HAS SOUPS 62024 WITH SCORE 62096.937
AT ITER 3992 NEW BEST:: SOT 185999 SOS 72916 HAS SOPS 72916 HAS SOUS 62003 HAS SOUPS 62003 WITH SCORE 62075.916
AT ITER 4006 NEW BEST:: SOT 185999 SOS 72920 HAS SOPS 72920 HAS SOUS 62000 HAS SOUPS 62000 WITH SCORE 62072.92
AT ITER 4008 NEW BEST:: SOT 185885 SOS 72582 HAS SOPS 72582 HAS SOUS 61811 HAS SOUPS 61811 WITH SCORE 61883.582
AT ITER 4030 NEW BEST:: SOT 185885 SOS 72557 HAS SOPS 72557 HAS SOUS 61786 HAS SOUPS 61786 WITH SCORE 61858.557
AT ITER 4031 NEW BEST:: SOT 185847 SOS 72481 HAS SOPS 72481 HAS SOUS 61710 HAS SOUPS 61710 WITH SCORE 61782.481
AT ITER 4038 NEW BEST:: SOT 185748 SOS 72307 HAS SOPS 72307 HAS SOUS 61505 HAS SOUPS 61505 WITH SCORE 61577.307
AT ITER 4050 NEW BEST:: SOT 185696 SOS 72280 HAS SOPS 72280 HAS SOUS 61478 HAS SOUPS 61478 WITH SCORE 61550.28
AT ITER 4056 NEW BEST:: SOT 185591 SOS 71662 HAS SOPS 71662 HAS SOUS 61301 HAS SOUPS 61301 WITH SCORE 61372.662
AT ITER 4077 NEW BEST:: SOT 185595 SOS 71601 HAS SOPS 71601 HAS SOUS 61226 HAS SOUPS 61226 WITH SCORE 61297.601
AT ITER 4082 NEW BEST:: SOT 185499 SOS 71499 HAS SOPS 71499 HAS SOUS 61123 HAS SOUPS 61123 WITH SCORE 61194.499
AT ITER 4111 NEW BEST:: SOT 185332 SOS 71189 HAS SOPS 71189 HAS SOUS 61037 HAS SOUPS 61037 WITH SCORE 61108.189
AT ITER 4114 NEW BEST:: SOT 185332 SOS 71064 HAS SOPS 71064 HAS SOUS 61009 HAS SOUPS 61009 WITH SCORE 61080.064
AT ITER 4134 NEW BEST:: SOT 185329 SOS 71061 HAS SOPS 71061 HAS SOUS 61006 HAS SOUPS 61006 WITH SCORE 61077.061
AT ITER 4135 NEW BEST:: SOT 185227 SOS 70920 HAS SOPS 70920 HAS SOUS 60790 HAS SOUPS 60790 WITH SCORE 60860.92
AT ITER 4141 NEW BEST:: SOT 185216 SOS 70869 HAS SOPS 70869 HAS SOUS 60779 HAS SOUPS 60779 WITH SCORE 60849.869
AT ITER 4175 NEW BEST:: SOT 185216 SOS 70858 HAS SOPS 70858 HAS SOUS 60768 HAS SOUPS 60768 WITH SCORE 60838.858
AT ITER 4187 NEW BEST:: SOT 185244 SOS 70742 HAS SOPS 70742 HAS SOUS 60580 HAS SOUPS 60580 WITH SCORE 60650.742
AT ITER 4208 NEW BEST:: SOT 185244 SOS 70730 HAS SOPS 70730 HAS SOUS 60574 HAS SOUPS 60574 WITH SCORE 60644.73
AT ITER 4232 NEW BEST:: SOT 185202 SOS 70700 HAS SOPS 70700 HAS SOUS 60544 HAS SOUPS 60544 WITH SCORE 60614.7
AT ITER 4292 NEW BEST:: SOT 185202 SOS 70863 HAS SOPS 70863 HAS SOUS 60533 HAS SOUPS 60533 WITH SCORE 60603.863
AT ITER 4310 NEW BEST:: SOT 185206 SOS 70852 HAS SOPS 70852 HAS SOUS 60524 HAS SOUPS 60524 WITH SCORE 60594.852
AT ITER 4315 NEW BEST:: SOT 185298 SOS 70882 HAS SOPS 70882 HAS SOUS 60508 HAS SOUPS 60508 WITH SCORE 60578.882
AT ITER 4333 NEW BEST:: SOT 185298 SOS 70867 HAS SOPS 70867 HAS SOUS 60493 HAS SOUPS 60493 WITH SCORE 60563.867
AT ITER 4341 NEW BEST:: SOT 185278 SOS 70822 HAS SOPS 70822 HAS SOUS 60453 HAS SOUPS 60453 WITH SCORE 60523.822
AT ITER 4376 NEW BEST:: SOT 185278 SOS 70714 HAS SOPS 70714 HAS SOUS 60433 HAS SOUPS 60433 WITH SCORE 60503.714
AT ITER 4377 NEW BEST:: SOT 185158 SOS 70589 HAS SOPS 70589 HAS SOUS 60308 HAS SOUPS 60308 WITH SCORE 60378.589
AT ITER 4379 NEW BEST:: SOT 185158 SOS 70549 HAS SOPS 70549 HAS SOUS 60307 HAS SOUPS 60307 WITH SCORE 60377.549
AT ITER 4384 NEW BEST:: SOT 185225 SOS 70166 HAS SOPS 70166 HAS SOUS 60251 HAS SOUPS 60251 WITH SCORE 60321.166
AT ITER 4387 NEW BEST:: SOT 185203 SOS 70120 HAS SOPS 70120 HAS SOUS 60216 HAS SOUPS 60216 WITH SCORE 60286.12
AT ITER 4400 NEW BEST:: SOT 185182 SOS 70087 HAS SOPS 70087 HAS SOUS 60193 HAS SOUPS 60193 WITH SCORE 60263.087
AT ITER 4433 NEW BEST:: SOT 185175 SOS 70080 HAS SOPS 70080 HAS SOUS 60186 HAS SOUPS 60186 WITH SCORE 60256.08
AT ITER 4445 NEW BEST:: SOT 185191 SOS 70096 HAS SOPS 70096 HAS SOUS 60176 HAS SOUPS 60176 WITH SCORE 60246.096
AT ITER 4461 NEW BEST:: SOT 185180 SOS 70089 HAS SOPS 70089 HAS SOUS 60163 HAS SOUPS 60163 WITH SCORE 60233.089
AT ITER 4479 NEW BEST:: SOT 185164 SOS 70048 HAS SOPS 70048 HAS SOUS 60151 HAS SOUPS 60151 WITH SCORE 60221.048
AT ITER 4528 NEW BEST:: SOT 185165 SOS 70049 HAS SOPS 70049 HAS SOUS 60141 HAS SOUPS 60141 WITH SCORE 60211.049
AT ITER 4549 NEW BEST:: SOT 185077 SOS 69584 HAS SOPS 69584 HAS SOUS 60032 HAS SOUPS 60032 WITH SCORE 60101.584
AT ITER 4564 NEW BEST:: SOT 185142 SOS 69486 HAS SOPS 69486 HAS SOUS 60017 HAS SOUPS 60017 WITH SCORE 60086.486
AT ITER 4566 NEW BEST:: SOT 185006 SOS 69582 HAS SOPS 69582 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60023.582
AT ITER 4568 NEW BEST:: SOT 184984 SOS 69539 HAS SOPS 69539 HAS SOUS 59930 HAS SOUPS 59930 WITH SCORE 59999.539
AT ITER 4569 NEW BEST:: SOT 184969 SOS 69483 HAS SOPS 69483 HAS SOUS 59874 HAS SOUPS 59874 WITH SCORE 59943.483
AT ITER 4585 NEW BEST:: SOT 184960 SOS 69456 HAS SOPS 69456 HAS SOUS 59856 HAS SOUPS 59856 WITH SCORE 59925.456
AT ITER 4591 NEW BEST:: SOT 184963 SOS 69458 HAS SOPS 69458 HAS SOUS 59855 HAS SOUPS 59855 WITH SCORE 59924.458
AT ITER 4620 NEW BEST:: SOT 184961 SOS 69412 HAS SOPS 69412 HAS SOUS 59826 HAS SOUPS 59826 WITH SCORE 59895.412
AT ITER 4631 NEW BEST:: SOT 184961 SOS 69410 HAS SOPS 69410 HAS SOUS 59826 HAS SOUPS 59826 WITH SCORE 59895.41
AT ITER 4635 NEW BEST:: SOT 184961 SOS 69404 HAS SOPS 69404 HAS SOUS 59820 HAS SOUPS 59820 WITH SCORE 59889.404
AT ITER 4646 NEW BEST:: SOT 184966 SOS 69320 HAS SOPS 69320 HAS SOUS 59685 HAS SOUPS 59685 WITH SCORE 59754.32
AT ITER 4658 NEW BEST:: SOT 184878 SOS 69092 HAS SOPS 69092 HAS SOUS 59572 HAS SOUPS 59572 WITH SCORE 59641.092
AT ITER 4659 NEW BEST:: SOT 184792 SOS 68600 HAS SOPS 68600 HAS SOUS 59256 HAS SOUPS 59256 WITH SCORE 59324.6
AT ITER 4708 NEW BEST:: SOT 184764 SOS 68567 HAS SOPS 68567 HAS SOUS 59223 HAS SOUPS 59223 WITH SCORE 59291.567
AT ITER 4712 NEW BEST:: SOT 184765 SOS 68566 HAS SOPS 68566 HAS SOUS 59223 HAS SOUPS 59223 WITH SCORE 59291.566
AT ITER 4731 NEW BEST:: SOT 184765 SOS 68548 HAS SOPS 68548 HAS SOUS 59217 HAS SOUPS 59217 WITH SCORE 59285.548
AT ITER 4733 NEW BEST:: SOT 184739 SOS 68521 HAS SOPS 68521 HAS SOUS 59190 HAS SOUPS 59190 WITH SCORE 59258.521
AT ITER 4747 NEW BEST:: SOT 184720 SOS 68464 HAS SOPS 68464 HAS SOUS 59133 HAS SOUPS 59133 WITH SCORE 59201.464
AT ITER 4783 NEW BEST:: SOT 184716 SOS 68450 HAS SOPS 68450 HAS SOUS 59119 HAS SOUPS 59119 WITH SCORE 59187.45
AT ITER 4802 NEW BEST:: SOT 184687 SOS 68421 HAS SOPS 68421 HAS SOUS 59114 HAS SOUPS 59114 WITH SCORE 59182.421
AT ITER 4822 NEW BEST:: SOT 184687 SOS 68403 HAS SOPS 68403 HAS SOUS 59102 HAS SOUPS 59102 WITH SCORE 59170.403
AT ITER 4826 NEW BEST:: SOT 184687 SOS 68403 HAS SOPS 68403 HAS SOUS 59078 HAS SOUPS 59078 WITH SCORE 59146.403
AT ITER 4838 NEW BEST:: SOT 184698 SOS 68365 HAS SOPS 68365 HAS SOUS 59040 HAS SOUPS 59040 WITH SCORE 59108.365
AT ITER 4874 NEW BEST:: SOT 184683 SOS 68350 HAS SOPS 68350 HAS SOUS 59025 HAS SOUPS 59025 WITH SCORE 59093.35
AT ITER 4883 NEW BEST:: SOT 184683 SOS 68268 HAS SOPS 68268 HAS SOUS 58969 HAS SOUPS 58969 WITH SCORE 59037.268
AT ITER 4902 NEW BEST:: SOT 184612 SOS 68152 HAS SOPS 68152 HAS SOUS 58853 HAS SOUPS 58853 WITH SCORE 58921.152
AT ITER 4914 NEW BEST:: SOT 184460 SOS 68000 HAS SOPS 68000 HAS SOUS 58701 HAS SOUPS 58701 WITH SCORE 58769.0
AT ITER 4918 NEW BEST:: SOT 184482 SOS 67523 HAS SOPS 67523 HAS SOUS 58354 HAS SOUPS 58354 WITH SCORE 58421.523
AT ITER 4929 NEW BEST:: SOT 184482 SOS 67453 HAS SOPS 67453 HAS SOUS 58311 HAS SOUPS 58311 WITH SCORE 58378.453
AT ITER 4932 NEW BEST:: SOT 184470 SOS 67441 HAS SOPS 67441 HAS SOUS 58299 HAS SOUPS 58299 WITH SCORE 58366.441
AT ITER 4934 NEW BEST:: SOT 184454 SOS 67164 HAS SOPS 67164 HAS SOUS 58198 HAS SOUPS 58198 WITH SCORE 58265.164
AT ITER 4946 NEW BEST:: SOT 184671 SOS 67363 HAS SOPS 67363 HAS SOUS 58143 HAS SOUPS 58143 WITH SCORE 58210.363
AT ITER 4951 NEW BEST:: SOT 184744 SOS 67303 HAS SOPS 67303 HAS SOUS 58083 HAS SOUPS 58083 WITH SCORE 58150.303
AT ITER 4977 NEW BEST:: SOT 184728 SOS 67287 HAS SOPS 67287 HAS SOUS 58067 HAS SOUPS 58067 WITH SCORE 58134.287
AT ITER 4979 NEW BEST:: SOT 184723 SOS 67282 HAS SOPS 67282 HAS SOUS 58052 HAS SOUPS 58052 WITH SCORE 58119.282
AT ITER 4982 NEW BEST:: SOT 184707 SOS 67230 HAS SOPS 67230 HAS SOUS 58000 HAS SOUPS 58000 WITH SCORE 58067.23
AT ITER 4984 NEW BEST:: SOT 184707 SOS 67223 HAS SOPS 67223 HAS SOUS 57991 HAS SOUPS 57991 WITH SCORE 58058.223
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-00 (EU( ( (AX( ((potential((tk(P574)>=1) & (tk(P616)>=1)))))) | (EX( ((potential((tk(P107)>=1) & (tk(P126)>=1)))))) ) , ( (AF( ((potential((tk(P441)>=1) & (tk(P457)>=1)))))) & (EF( ((potential((tk(P38)>=1) & (tk(P54)>=1)))))) ) ))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-01 (AF( (AF( ( ((potential((tk(P420)>=1) & (tk(P435)>=1)))) | ((potential((tk(P269)>=1) & (tk(P290)>=1)))) )))))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-02 (AF( (EU( ( ((potential((tk(P40)>=1) & (tk(P60)>=1)))) | ((potential((tk(P350)>=1) & (tk(P370)>=1)))) ) , ( ((potential((tk(P529)>=1)))) & ((potential((tk(P48)>=1) & (tk(P65)>=1)))) ) ))))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-03 ( ( ((potential((tk(P535)>=1) & (tk(P537)>=1)))) | ( (AF( ( ((potential((tk(P378)>=1) & (tk(P397)>=1)))) | ((potential((tk(P315)>=1) & (tk(P336)>=1)))) ))) | (AF( ( ((potential((tk(P518)>=1)))) | ((potential((tk(P317)>=1) & (tk(P334)>=1)))) ))) ) ) | (EU( ( ((potential((tk(P359)>=1) & (tk(P361)>=1)))) & ( ((potential((tk(P363)>=1)))) | ((potential((tk(P497)>=1)))) ) ) , (EF( ((potential((tk(P296)>=1) & (tk(P311)>=1)))))) )) )
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-04 (! (EF( ((potential((tk(P176)>=1) & (tk(P197)>=1)))))))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-05 (AF( (! (EF( (! ((potential((tk(P436)>=1))))))))))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-06 ( (EG( (! (EG( ((potential((tk(P67)>=1) & (tk(P88)>=1))))))))) | (EG( ( ( ( ((potential((tk(P107)>=1) & (tk(P127)>=1)))) & ((potential((tk(P432)>=1)))) ) | (! ((potential((tk(P373)>=1))))) ) & (! (! ((potential((tk(P138)>=1) & (tk(P158)>=1)))))) ))) )
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-07 (AF( ( (! (! ((potential((tk(P424)>=1) & (tk(P445)>=1)))))) & ( (AG( ((potential((tk(P178)>=1)))))) & (AX( ((potential((tk(P451)>=1) & (tk(P466)>=1)))))) ) )))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-08 (EU( (AG( (! ((potential((tk(P581)>=1))))))) , ((potential((tk(P328)>=1) & (tk(P330)>=1)))) ))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-09 (AX( (EF( ((potential((tk(P281)>=1))))))))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-10 (EX( (EX( (AF( ((potential((tk(P360)>=1) & (tk(P369)>=1))))))))))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-11 (EU( ( ( (! ((potential((tk(P488)>=1))))) | ((potential((tk(P168)>=1) & (tk(P170)>=1)))) ) | ((potential((tk(P349)>=1) & (tk(P351)>=1)))) ) , (AU( ((potential((tk(P331)>=1) & (tk(P352)>=1)))) , ((potential((tk(P346)>=1) & (tk(P367)>=1)))) )) ))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-12 (EG( ( (! (EF( ((potential((tk(P285)>=1) & (tk(P304)>=1))))))) | ((potential((tk(P138)>=1) & (tk(P158)>=1)))) )))
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-13 ( ( (AU( ( ((potential((tk(P369)>=1)))) & ((potential((tk(P107)>=1) & (tk(P127)>=1)))) ) , ( ((potential((tk(P45)>=1) & (tk(P65)>=1)))) | ((potential((tk(P296)>=1) & (tk(P311)>=1)))) ) )) | (EG( (! ( ((potential((tk(P389)>=1) & (tk(P406)>=1)))) | ((potential((tk(P422)>=1) & (tk(P433)>=1)))) )))) ) & (! ( (! ((potential((tk(P32)>=1))))) & (EX( ( ((potential((tk(P121)>=1)))) | ((potential((tk(P412)>=1) & (tk(P432)>=1)))) ))) )) )
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-14 ( (! ( ( ((potential((tk(P322)>=1) & (tk(P332)>=1)))) | (! (! ((potential((tk(P204)>=1) & (tk(P206)>=1)))))) ) & (AF( ( ((potential((tk(P156)>=1)))) | ((potential((tk(P203)>=1) & (tk(P220)>=1)))) ))) )) & (! ( (EG( (! ((potential((tk(P586)>=1))))))) & ( ((potential((tk(P67)>=1) & (tk(P88)>=1)))) | (EF( ((potential((tk(P339)>=1)))))) ) )) )
PROPERTY: ShieldPPPs-PT-020A-CTLFireability-15 (EG( (EF( (! (! ((potential((tk(P338)>=1))))))))))

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldPPPs-PT-020A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-020A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469500492"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-020A.tgz
mv ShieldPPPs-PT-020A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;