fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r018-oct2-158897680200604
Last Updated
Jun 28, 2020

About the Execution of smart for BusinessProcesses-PT-20

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15768.210 3600000.00 3600030.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200604.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-20, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200604
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 192K Mar 24 05:37 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 BusinessProcesses-PT-20-CTLFireability-00
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-01
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-02
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-03
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-04
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-05
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-06
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-07
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-08
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-09
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-10
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-11
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-12
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-13
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-14
FORMULA_NAME BusinessProcesses-PT-20-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590869258045

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 20
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: 782 places, 697 transitions, 2011 arcs.
AT ITER 0 NEW BEST:: SOT 346049 SOS 133379 HAS SOPS 133379 HAS SOUS 130584 HAS SOUPS 130584 WITH SCORE 130717.379
AT ITER 11 NEW BEST:: SOT 346049 SOS 133352 HAS SOPS 133352 HAS SOUS 130557 HAS SOUPS 130557 WITH SCORE 130690.352
AT ITER 17 NEW BEST:: SOT 342625 SOS 129928 HAS SOPS 129928 HAS SOUS 127133 HAS SOUPS 127133 WITH SCORE 127262.928
AT ITER 22 NEW BEST:: SOT 342625 SOS 129873 HAS SOPS 129873 HAS SOUS 127078 HAS SOUPS 127078 WITH SCORE 127207.873
AT ITER 32 NEW BEST:: SOT 342564 SOS 129788 HAS SOPS 129788 HAS SOUS 126993 HAS SOUPS 126993 WITH SCORE 127122.788
AT ITER 34 NEW BEST:: SOT 342564 SOS 129706 HAS SOPS 129706 HAS SOUS 126911 HAS SOUPS 126911 WITH SCORE 127040.706
AT ITER 35 NEW BEST:: SOT 342564 SOS 129626 HAS SOPS 129626 HAS SOUS 126831 HAS SOUPS 126831 WITH SCORE 126960.626
AT ITER 40 NEW BEST:: SOT 342307 SOS 129422 HAS SOPS 129422 HAS SOUS 126627 HAS SOUPS 126627 WITH SCORE 126756.422
AT ITER 44 NEW BEST:: SOT 342306 SOS 129421 HAS SOPS 129421 HAS SOUS 126626 HAS SOUPS 126626 WITH SCORE 126755.421
AT ITER 45 NEW BEST:: SOT 342254 SOS 129457 HAS SOPS 129457 HAS SOUS 126505 HAS SOUPS 126505 WITH SCORE 126634.457
AT ITER 51 NEW BEST:: SOT 342254 SOS 129356 HAS SOPS 129356 HAS SOUS 126404 HAS SOUPS 126404 WITH SCORE 126533.356
AT ITER 54 NEW BEST:: SOT 341936 SOS 128872 HAS SOPS 128872 HAS SOUS 125920 HAS SOUPS 125920 WITH SCORE 126048.872
AT ITER 64 NEW BEST:: SOT 341936 SOS 128796 HAS SOPS 128796 HAS SOUS 125844 HAS SOUPS 125844 WITH SCORE 125972.796
AT ITER 70 NEW BEST:: SOT 341602 SOS 128635 HAS SOPS 128635 HAS SOUS 125522 HAS SOUPS 125522 WITH SCORE 125650.635
AT ITER 81 NEW BEST:: SOT 341602 SOS 128590 HAS SOPS 128590 HAS SOUS 125522 HAS SOUPS 125522 WITH SCORE 125650.59
AT ITER 85 NEW BEST:: SOT 341410 SOS 128680 HAS SOPS 128680 HAS SOUS 125494 HAS SOUPS 125494 WITH SCORE 125622.68
AT ITER 92 NEW BEST:: SOT 340198 SOS 128037 HAS SOPS 128037 HAS SOUS 124315 HAS SOUPS 124315 WITH SCORE 124443.037
AT ITER 98 NEW BEST:: SOT 340198 SOS 127942 HAS SOPS 127942 HAS SOUS 124220 HAS SOUPS 124220 WITH SCORE 124347.942
AT ITER 105 NEW BEST:: SOT 340197 SOS 127797 HAS SOPS 127797 HAS SOUS 124075 HAS SOUPS 124075 WITH SCORE 124202.797
AT ITER 106 NEW BEST:: SOT 340196 SOS 127795 HAS SOPS 127795 HAS SOUS 124073 HAS SOUPS 124073 WITH SCORE 124200.795
AT ITER 113 NEW BEST:: SOT 340266 SOS 127700 HAS SOPS 127700 HAS SOUS 123978 HAS SOUPS 123978 WITH SCORE 124105.7
AT ITER 121 NEW BEST:: SOT 340266 SOS 127669 HAS SOPS 127669 HAS SOUS 123947 HAS SOUPS 123947 WITH SCORE 124074.669
AT ITER 122 NEW BEST:: SOT 340024 SOS 127410 HAS SOPS 127410 HAS SOUS 123688 HAS SOUPS 123688 WITH SCORE 123815.41
AT ITER 125 NEW BEST:: SOT 340024 SOS 127236 HAS SOPS 127236 HAS SOUS 123514 HAS SOUPS 123514 WITH SCORE 123641.236
AT ITER 163 NEW BEST:: SOT 340024 SOS 127198 HAS SOPS 127198 HAS SOUS 123476 HAS SOUPS 123476 WITH SCORE 123603.198
AT ITER 185 NEW BEST:: SOT 337849 SOS 125151 HAS SOPS 125151 HAS SOUS 121429 HAS SOUPS 121429 WITH SCORE 121554.151
AT ITER 188 NEW BEST:: SOT 337849 SOS 125005 HAS SOPS 125005 HAS SOUS 121283 HAS SOUPS 121283 WITH SCORE 121408.005
AT ITER 189 NEW BEST:: SOT 337718 SOS 124754 HAS SOPS 124754 HAS SOUS 121095 HAS SOUPS 121095 WITH SCORE 121219.754
AT ITER 197 NEW BEST:: SOT 337644 SOS 124606 HAS SOPS 124606 HAS SOUS 120929 HAS SOUPS 120929 WITH SCORE 121053.606
AT ITER 216 NEW BEST:: SOT 337628 SOS 124574 HAS SOPS 124574 HAS SOUS 120897 HAS SOUPS 120897 WITH SCORE 121021.574
AT ITER 226 NEW BEST:: SOT 337502 SOS 124531 HAS SOPS 124531 HAS SOUS 120771 HAS SOUPS 120771 WITH SCORE 120895.531
AT ITER 238 NEW BEST:: SOT 337488 SOS 124503 HAS SOPS 124503 HAS SOUS 120743 HAS SOUPS 120743 WITH SCORE 120867.503
AT ITER 247 NEW BEST:: SOT 337487 SOS 124501 HAS SOPS 124501 HAS SOUS 120741 HAS SOUPS 120741 WITH SCORE 120865.501
AT ITER 260 NEW BEST:: SOT 337440 SOS 124402 HAS SOPS 124402 HAS SOUS 120642 HAS SOUPS 120642 WITH SCORE 120766.402
AT ITER 264 NEW BEST:: SOT 336426 SOS 123593 HAS SOPS 123593 HAS SOUS 119833 HAS SOUPS 119833 WITH SCORE 119956.593
AT ITER 267 NEW BEST:: SOT 336373 SOS 123540 HAS SOPS 123540 HAS SOUS 119833 HAS SOUPS 119833 WITH SCORE 119956.54
AT ITER 279 NEW BEST:: SOT 336387 SOS 123493 HAS SOPS 123493 HAS SOUS 119788 HAS SOUPS 119788 WITH SCORE 119911.493
AT ITER 284 NEW BEST:: SOT 336035 SOS 123141 HAS SOPS 123141 HAS SOUS 119436 HAS SOUPS 119436 WITH SCORE 119559.141
AT ITER 294 NEW BEST:: SOT 335986 SOS 123092 HAS SOPS 123092 HAS SOUS 119387 HAS SOUPS 119387 WITH SCORE 119510.092
AT ITER 296 NEW BEST:: SOT 335728 SOS 122887 HAS SOPS 122887 HAS SOUS 119182 HAS SOUPS 119182 WITH SCORE 119304.887
AT ITER 302 NEW BEST:: SOT 335772 SOS 122884 HAS SOPS 122884 HAS SOUS 119179 HAS SOUPS 119179 WITH SCORE 119301.884
AT ITER 304 NEW BEST:: SOT 335551 SOS 122510 HAS SOPS 122510 HAS SOUS 119005 HAS SOUPS 119005 WITH SCORE 119127.51
AT ITER 317 NEW BEST:: SOT 335551 SOS 122388 HAS SOPS 122388 HAS SOUS 118883 HAS SOUPS 118883 WITH SCORE 119005.388
AT ITER 324 NEW BEST:: SOT 335551 SOS 122285 HAS SOPS 122285 HAS SOUS 118780 HAS SOUPS 118780 WITH SCORE 118902.285
AT ITER 333 NEW BEST:: SOT 335551 SOS 122184 HAS SOPS 122184 HAS SOUS 118679 HAS SOUPS 118679 WITH SCORE 118801.184
AT ITER 358 NEW BEST:: SOT 335550 SOS 122182 HAS SOPS 122182 HAS SOUS 118677 HAS SOUPS 118677 WITH SCORE 118799.182
AT ITER 363 NEW BEST:: SOT 335475 SOS 122188 HAS SOPS 122188 HAS SOUS 118641 HAS SOUPS 118641 WITH SCORE 118763.188
AT ITER 365 NEW BEST:: SOT 335408 SOS 122090 HAS SOPS 122090 HAS SOUS 118557 HAS SOUPS 118557 WITH SCORE 118679.09
AT ITER 366 NEW BEST:: SOT 335407 SOS 122088 HAS SOPS 122088 HAS SOUS 118555 HAS SOUPS 118555 WITH SCORE 118677.088
AT ITER 380 NEW BEST:: SOT 335396 SOS 122081 HAS SOPS 122081 HAS SOUS 118548 HAS SOUPS 118548 WITH SCORE 118670.081
AT ITER 385 NEW BEST:: SOT 335396 SOS 122075 HAS SOPS 122075 HAS SOUS 118542 HAS SOUPS 118542 WITH SCORE 118664.075
AT ITER 387 NEW BEST:: SOT 327428 SOS 162144 HAS SOPS 162144 HAS SOUS 111912 HAS SOUPS 111912 WITH SCORE 112074.144
AT ITER 388 NEW BEST:: SOT 327391 SOS 162902 HAS SOPS 162902 HAS SOUS 111875 HAS SOUPS 111875 WITH SCORE 112037.902
AT ITER 389 NEW BEST:: SOT 327368 SOS 162856 HAS SOPS 162856 HAS SOUS 111829 HAS SOUPS 111829 WITH SCORE 111991.856
AT ITER 391 NEW BEST:: SOT 327268 SOS 162510 HAS SOPS 162510 HAS SOUS 111675 HAS SOUPS 111675 WITH SCORE 111837.51
AT ITER 393 NEW BEST:: SOT 327205 SOS 162447 HAS SOPS 162447 HAS SOUS 111612 HAS SOUPS 111612 WITH SCORE 111774.447
AT ITER 397 NEW BEST:: SOT 327185 SOS 162363 HAS SOPS 162363 HAS SOUS 111528 HAS SOUPS 111528 WITH SCORE 111690.363
AT ITER 423 NEW BEST:: SOT 325294 SOS 160345 HAS SOPS 160345 HAS SOUS 109636 HAS SOUPS 109636 WITH SCORE 109796.345
AT ITER 429 NEW BEST:: SOT 325351 SOS 160402 HAS SOPS 160402 HAS SOUS 109561 HAS SOUPS 109561 WITH SCORE 109721.402
AT ITER 436 NEW BEST:: SOT 325342 SOS 160384 HAS SOPS 160384 HAS SOUS 109543 HAS SOUPS 109543 WITH SCORE 109703.384
AT ITER 440 NEW BEST:: SOT 325145 SOS 160062 HAS SOPS 160062 HAS SOUS 109221 HAS SOUPS 109221 WITH SCORE 109381.062
AT ITER 445 NEW BEST:: SOT 325130 SOS 160047 HAS SOPS 160047 HAS SOUS 109206 HAS SOUPS 109206 WITH SCORE 109366.047
AT ITER 453 NEW BEST:: SOT 324971 SOS 159880 HAS SOPS 159880 HAS SOUS 109058 HAS SOUPS 109058 WITH SCORE 109217.88
AT ITER 456 NEW BEST:: SOT 324970 SOS 159879 HAS SOPS 159879 HAS SOUS 109057 HAS SOUPS 109057 WITH SCORE 109216.879
AT ITER 457 NEW BEST:: SOT 324990 SOS 159918 HAS SOPS 159918 HAS SOUS 108983 HAS SOUPS 108983 WITH SCORE 109142.918
AT ITER 470 NEW BEST:: SOT 324990 SOS 159819 HAS SOPS 159819 HAS SOUS 108934 HAS SOUPS 108934 WITH SCORE 109093.819
AT ITER 471 NEW BEST:: SOT 324968 SOS 159797 HAS SOPS 159797 HAS SOUS 108932 HAS SOUPS 108932 WITH SCORE 109091.797
AT ITER 476 NEW BEST:: SOT 324948 SOS 159757 HAS SOPS 159757 HAS SOUS 108892 HAS SOUPS 108892 WITH SCORE 109051.757
AT ITER 478 NEW BEST:: SOT 324977 SOS 159523 HAS SOPS 159523 HAS SOUS 108769 HAS SOUPS 108769 WITH SCORE 108928.523
AT ITER 483 NEW BEST:: SOT 324772 SOS 159318 HAS SOPS 159318 HAS SOUS 108427 HAS SOUPS 108427 WITH SCORE 108586.318
AT ITER 487 NEW BEST:: SOT 324858 SOS 159404 HAS SOPS 159404 HAS SOUS 108416 HAS SOUPS 108416 WITH SCORE 108575.404
AT ITER 489 NEW BEST:: SOT 324827 SOS 159354 HAS SOPS 159354 HAS SOUS 108373 HAS SOUPS 108373 WITH SCORE 108532.354
AT ITER 490 NEW BEST:: SOT 324762 SOS 159289 HAS SOPS 159289 HAS SOUS 108308 HAS SOUPS 108308 WITH SCORE 108467.289
AT ITER 492 NEW BEST:: SOT 324832 SOS 159266 HAS SOPS 159266 HAS SOUS 108285 HAS SOUPS 108285 WITH SCORE 108444.266
AT ITER 496 NEW BEST:: SOT 324637 SOS 158876 HAS SOPS 158876 HAS SOUS 108089 HAS SOUPS 108089 WITH SCORE 108247.876
AT ITER 501 NEW BEST:: SOT 324637 SOS 158856 HAS SOPS 158856 HAS SOUS 108069 HAS SOUPS 108069 WITH SCORE 108227.856
AT ITER 508 NEW BEST:: SOT 324588 SOS 158444 HAS SOPS 158444 HAS SOUS 107753 HAS SOUPS 107753 WITH SCORE 107911.444
AT ITER 511 NEW BEST:: SOT 323993 SOS 157607 HAS SOPS 157607 HAS SOUS 107272 HAS SOUPS 107272 WITH SCORE 107429.607
AT ITER 521 NEW BEST:: SOT 323884 SOS 157205 HAS SOPS 157205 HAS SOUS 107064 HAS SOUPS 107064 WITH SCORE 107221.205
AT ITER 525 NEW BEST:: SOT 323685 SOS 157006 HAS SOPS 157006 HAS SOUS 107064 HAS SOUPS 107064 WITH SCORE 107221.006
AT ITER 528 NEW BEST:: SOT 324036 SOS 156940 HAS SOPS 156940 HAS SOUS 107056 HAS SOUPS 107056 WITH SCORE 107212.94
AT ITER 530 NEW BEST:: SOT 324036 SOS 156893 HAS SOPS 156893 HAS SOUS 107009 HAS SOUPS 107009 WITH SCORE 107165.893
AT ITER 547 NEW BEST:: SOT 323779 SOS 156378 HAS SOPS 156378 HAS SOUS 106716 HAS SOUPS 106716 WITH SCORE 106872.378
AT ITER 548 NEW BEST:: SOT 323360 SOS 156409 HAS SOPS 156409 HAS SOUS 106442 HAS SOUPS 106442 WITH SCORE 106598.409
AT ITER 550 NEW BEST:: SOT 321601 SOS 154756 HAS SOPS 154756 HAS SOUS 104826 HAS SOUPS 104826 WITH SCORE 104980.756
AT ITER 551 NEW BEST:: SOT 321576 SOS 154731 HAS SOPS 154731 HAS SOUS 104801 HAS SOUPS 104801 WITH SCORE 104955.731
AT ITER 554 NEW BEST:: SOT 321554 SOS 154709 HAS SOPS 154709 HAS SOUS 104786 HAS SOUPS 104786 WITH SCORE 104940.709
AT ITER 556 NEW BEST:: SOT 321371 SOS 154343 HAS SOPS 154343 HAS SOUS 104651 HAS SOUPS 104651 WITH SCORE 104805.343
AT ITER 559 NEW BEST:: SOT 321363 SOS 154335 HAS SOPS 154335 HAS SOUS 104643 HAS SOUPS 104643 WITH SCORE 104797.335
AT ITER 564 NEW BEST:: SOT 321333 SOS 154274 HAS SOPS 154274 HAS SOUS 104582 HAS SOUPS 104582 WITH SCORE 104736.274
AT ITER 568 NEW BEST:: SOT 321333 SOS 154053 HAS SOPS 154053 HAS SOUS 104390 HAS SOUPS 104390 WITH SCORE 104544.053
AT ITER 583 NEW BEST:: SOT 321398 SOS 154084 HAS SOPS 154084 HAS SOUS 104322 HAS SOUPS 104322 WITH SCORE 104476.084
AT ITER 587 NEW BEST:: SOT 321353 SOS 154032 HAS SOPS 154032 HAS SOUS 104270 HAS SOUPS 104270 WITH SCORE 104424.032
AT ITER 593 NEW BEST:: SOT 321315 SOS 153956 HAS SOPS 153956 HAS SOUS 104262 HAS SOUPS 104262 WITH SCORE 104415.956
AT ITER 600 NEW BEST:: SOT 321238 SOS 153665 HAS SOPS 153665 HAS SOUS 103982 HAS SOUPS 103982 WITH SCORE 104135.665
AT ITER 605 NEW BEST:: SOT 321237 SOS 153663 HAS SOPS 153663 HAS SOUS 103980 HAS SOUPS 103980 WITH SCORE 104133.663
AT ITER 607 NEW BEST:: SOT 321350 SOS 153688 HAS SOPS 153688 HAS SOUS 103950 HAS SOUPS 103950 WITH SCORE 104103.688
AT ITER 609 NEW BEST:: SOT 321323 SOS 153661 HAS SOPS 153661 HAS SOUS 103923 HAS SOUPS 103923 WITH SCORE 104076.661
AT ITER 612 NEW BEST:: SOT 321136 SOS 153287 HAS SOPS 153287 HAS SOUS 103702 HAS SOUPS 103702 WITH SCORE 103855.287
AT ITER 619 NEW BEST:: SOT 320798 SOS 152535 HAS SOPS 152535 HAS SOUS 103337 HAS SOUPS 103337 WITH SCORE 103489.535
AT ITER 621 NEW BEST:: SOT 320701 SOS 152341 HAS SOPS 152341 HAS SOUS 102969 HAS SOUPS 102969 WITH SCORE 103121.341
AT ITER 622 NEW BEST:: SOT 320700 SOS 152298 HAS SOPS 152298 HAS SOUS 102943 HAS SOUPS 102943 WITH SCORE 103095.298
AT ITER 626 NEW BEST:: SOT 320700 SOS 152163 HAS SOPS 152163 HAS SOUS 102901 HAS SOUPS 102901 WITH SCORE 103053.163
AT ITER 629 NEW BEST:: SOT 320661 SOS 152086 HAS SOPS 152086 HAS SOUS 102824 HAS SOUPS 102824 WITH SCORE 102976.086
AT ITER 630 NEW BEST:: SOT 320634 SOS 152059 HAS SOPS 152059 HAS SOUS 102824 HAS SOUPS 102824 WITH SCORE 102976.059
AT ITER 632 NEW BEST:: SOT 320637 SOS 151743 HAS SOPS 151743 HAS SOUS 102636 HAS SOUPS 102636 WITH SCORE 102787.743
AT ITER 647 NEW BEST:: SOT 320447 SOS 151458 HAS SOPS 151458 HAS SOUS 102446 HAS SOUPS 102446 WITH SCORE 102597.458
AT ITER 657 NEW BEST:: SOT 320446 SOS 151204 HAS SOPS 151204 HAS SOUS 102292 HAS SOUPS 102292 WITH SCORE 102443.204
AT ITER 661 NEW BEST:: SOT 320448 SOS 151208 HAS SOPS 151208 HAS SOUS 102265 HAS SOUPS 102265 WITH SCORE 102416.208
AT ITER 670 NEW BEST:: SOT 320437 SOS 151113 HAS SOPS 151113 HAS SOUS 102247 HAS SOUPS 102247 WITH SCORE 102398.113
AT ITER 682 NEW BEST:: SOT 320393 SOS 151069 HAS SOPS 151069 HAS SOUS 102247 HAS SOUPS 102247 WITH SCORE 102398.069
AT ITER 686 NEW BEST:: SOT 320109 SOS 150643 HAS SOPS 150643 HAS SOUS 101963 HAS SOUPS 101963 WITH SCORE 102113.643
AT ITER 690 NEW BEST:: SOT 320128 SOS 150475 HAS SOPS 150475 HAS SOUS 101898 HAS SOUPS 101898 WITH SCORE 102048.475
AT ITER 696 NEW BEST:: SOT 320126 SOS 150471 HAS SOPS 150471 HAS SOUS 101894 HAS SOUPS 101894 WITH SCORE 102044.471
AT ITER 701 NEW BEST:: SOT 320126 SOS 150438 HAS SOPS 150438 HAS SOUS 101861 HAS SOUPS 101861 WITH SCORE 102011.438
AT ITER 710 NEW BEST:: SOT 320054 SOS 150330 HAS SOPS 150330 HAS SOUS 101753 HAS SOUPS 101753 WITH SCORE 101903.33
AT ITER 714 NEW BEST:: SOT 319979 SOS 149982 HAS SOPS 149982 HAS SOUS 101405 HAS SOUPS 101405 WITH SCORE 101554.982
AT ITER 720 NEW BEST:: SOT 319839 SOS 149778 HAS SOPS 149778 HAS SOUS 101201 HAS SOUPS 101201 WITH SCORE 101350.778
AT ITER 741 NEW BEST:: SOT 319567 SOS 149162 HAS SOPS 149162 HAS SOUS 100951 HAS SOUPS 100951 WITH SCORE 101100.162
AT ITER 743 NEW BEST:: SOT 319554 SOS 149149 HAS SOPS 149149 HAS SOUS 100951 HAS SOUPS 100951 WITH SCORE 101100.149
AT ITER 753 NEW BEST:: SOT 319554 SOS 149113 HAS SOPS 149113 HAS SOUS 100915 HAS SOUPS 100915 WITH SCORE 101064.113
AT ITER 758 NEW BEST:: SOT 319163 SOS 148565 HAS SOPS 148565 HAS SOUS 100601 HAS SOUPS 100601 WITH SCORE 100749.565
AT ITER 766 NEW BEST:: SOT 319061 SOS 148544 HAS SOPS 148544 HAS SOUS 100580 HAS SOUPS 100580 WITH SCORE 100728.544
AT ITER 776 NEW BEST:: SOT 319071 SOS 148050 HAS SOPS 148050 HAS SOUS 100086 HAS SOUPS 100086 WITH SCORE 100234.05
AT ITER 777 NEW BEST:: SOT 318984 SOS 147922 HAS SOPS 147922 HAS SOUS 100011 HAS SOUPS 100011 WITH SCORE 100158.922
AT ITER 778 NEW BEST:: SOT 318984 SOS 147894 HAS SOPS 147894 HAS SOUS 99983 HAS SOUPS 99983 WITH SCORE 100130.894
AT ITER 781 NEW BEST:: SOT 318885 SOS 147687 HAS SOPS 147687 HAS SOUS 99884 HAS SOUPS 99884 WITH SCORE 100031.687
AT ITER 783 NEW BEST:: SOT 318890 SOS 147199 HAS SOPS 147199 HAS SOUS 99732 HAS SOUPS 99732 WITH SCORE 99879.199
AT ITER 787 NEW BEST:: SOT 318890 SOS 147173 HAS SOPS 147173 HAS SOUS 99706 HAS SOUPS 99706 WITH SCORE 99853.173
AT ITER 795 NEW BEST:: SOT 318834 SOS 147036 HAS SOPS 147036 HAS SOUS 99569 HAS SOUPS 99569 WITH SCORE 99716.036
AT ITER 802 NEW BEST:: SOT 318997 SOS 147034 HAS SOPS 147034 HAS SOUS 99567 HAS SOUPS 99567 WITH SCORE 99714.034
AT ITER 805 NEW BEST:: SOT 319132 SOS 146868 HAS SOPS 146868 HAS SOUS 99401 HAS SOUPS 99401 WITH SCORE 99547.868
AT ITER 830 NEW BEST:: SOT 318908 SOS 146643 HAS SOPS 146643 HAS SOUS 99399 HAS SOUPS 99399 WITH SCORE 99545.643
AT ITER 834 NEW BEST:: SOT 318908 SOS 146565 HAS SOPS 146565 HAS SOUS 99398 HAS SOUPS 99398 WITH SCORE 99544.565
AT ITER 854 NEW BEST:: SOT 319094 SOS 146759 HAS SOPS 146759 HAS SOUS 99351 HAS SOUPS 99351 WITH SCORE 99497.759
AT ITER 870 NEW BEST:: SOT 318981 SOS 146533 HAS SOPS 146533 HAS SOUS 99128 HAS SOUPS 99128 WITH SCORE 99274.533
AT ITER 877 NEW BEST:: SOT 318895 SOS 146217 HAS SOPS 146217 HAS SOUS 98940 HAS SOUPS 98940 WITH SCORE 99086.217
AT ITER 880 NEW BEST:: SOT 318804 SOS 146126 HAS SOPS 146126 HAS SOUS 98940 HAS SOUPS 98940 WITH SCORE 99086.126
AT ITER 884 NEW BEST:: SOT 318802 SOS 146124 HAS SOPS 146124 HAS SOUS 98938 HAS SOUPS 98938 WITH SCORE 99084.124
AT ITER 905 NEW BEST:: SOT 318760 SOS 146040 HAS SOPS 146040 HAS SOUS 98896 HAS SOUPS 98896 WITH SCORE 99042.04
AT ITER 921 NEW BEST:: SOT 318517 SOS 145169 HAS SOPS 145169 HAS SOUS 98129 HAS SOUPS 98129 WITH SCORE 98274.169
AT ITER 926 NEW BEST:: SOT 318143 SOS 144795 HAS SOPS 144795 HAS SOUS 97957 HAS SOUPS 97957 WITH SCORE 98101.795
AT ITER 931 NEW BEST:: SOT 318128 SOS 144740 HAS SOPS 144740 HAS SOUS 97902 HAS SOUPS 97902 WITH SCORE 98046.74
AT ITER 932 NEW BEST:: SOT 317679 SOS 144040 HAS SOPS 144040 HAS SOUS 97202 HAS SOUPS 97202 WITH SCORE 97346.04
AT ITER 933 NEW BEST:: SOT 317673 SOS 143895 HAS SOPS 143895 HAS SOUS 97057 HAS SOUPS 97057 WITH SCORE 97200.895
AT ITER 934 NEW BEST:: SOT 317601 SOS 143826 HAS SOPS 143826 HAS SOUS 96985 HAS SOUPS 96985 WITH SCORE 97128.826
AT ITER 939 NEW BEST:: SOT 317475 SOS 143675 HAS SOPS 143675 HAS SOUS 96842 HAS SOUPS 96842 WITH SCORE 96985.675
AT ITER 944 NEW BEST:: SOT 317519 SOS 143631 HAS SOPS 143631 HAS SOUS 96842 HAS SOUPS 96842 WITH SCORE 96985.631
AT ITER 957 NEW BEST:: SOT 317521 SOS 143633 HAS SOPS 143633 HAS SOUS 96799 HAS SOUPS 96799 WITH SCORE 96942.633
AT ITER 977 NEW BEST:: SOT 317455 SOS 143511 HAS SOPS 143511 HAS SOUS 96677 HAS SOUPS 96677 WITH SCORE 96820.511
AT ITER 989 NEW BEST:: SOT 317467 SOS 143023 HAS SOPS 143023 HAS SOUS 96528 HAS SOUPS 96528 WITH SCORE 96671.023
AT ITER 1002 NEW BEST:: SOT 317467 SOS 142570 HAS SOPS 142570 HAS SOUS 96079 HAS SOUPS 96079 WITH SCORE 96221.57
AT ITER 1022 NEW BEST:: SOT 317563 SOS 142322 HAS SOPS 142322 HAS SOUS 95831 HAS SOUPS 95831 WITH SCORE 95973.322
AT ITER 1025 NEW BEST:: SOT 317172 SOS 141562 HAS SOPS 141562 HAS SOUS 95071 HAS SOUPS 95071 WITH SCORE 95212.562
AT ITER 1030 NEW BEST:: SOT 317420 SOS 141810 HAS SOPS 141810 HAS SOUS 95066 HAS SOUPS 95066 WITH SCORE 95207.81
AT ITER 1031 NEW BEST:: SOT 317141 SOS 141427 HAS SOPS 141427 HAS SOUS 94683 HAS SOUPS 94683 WITH SCORE 94824.427
AT ITER 1032 NEW BEST:: SOT 317163 SOS 141325 HAS SOPS 141325 HAS SOUS 94581 HAS SOUPS 94581 WITH SCORE 94722.325
AT ITER 1040 NEW BEST:: SOT 317082 SOS 141163 HAS SOPS 141163 HAS SOUS 94419 HAS SOUPS 94419 WITH SCORE 94560.163
AT ITER 1046 NEW BEST:: SOT 317082 SOS 141163 HAS SOPS 141163 HAS SOUS 94409 HAS SOUPS 94409 WITH SCORE 94550.163
AT ITER 1052 NEW BEST:: SOT 317044 SOS 141125 HAS SOPS 141125 HAS SOUS 94371 HAS SOUPS 94371 WITH SCORE 94512.125
AT ITER 1054 NEW BEST:: SOT 316909 SOS 140855 HAS SOPS 140855 HAS SOUS 94236 HAS SOUPS 94236 WITH SCORE 94376.855
AT ITER 1058 NEW BEST:: SOT 316909 SOS 140820 HAS SOPS 140820 HAS SOUS 94201 HAS SOUPS 94201 WITH SCORE 94341.82
AT ITER 1091 NEW BEST:: SOT 316950 SOS 140736 HAS SOPS 140736 HAS SOUS 94117 HAS SOUPS 94117 WITH SCORE 94257.736
AT ITER 1102 NEW BEST:: SOT 316920 SOS 140676 HAS SOPS 140676 HAS SOUS 94057 HAS SOUPS 94057 WITH SCORE 94197.676
AT ITER 1124 NEW BEST:: SOT 316920 SOS 140675 HAS SOPS 140675 HAS SOUS 94056 HAS SOUPS 94056 WITH SCORE 94196.675
AT ITER 1128 NEW BEST:: SOT 317087 SOS 140842 HAS SOPS 140842 HAS SOUS 94049 HAS SOUPS 94049 WITH SCORE 94189.842
AT ITER 1143 NEW BEST:: SOT 317162 SOS 140917 HAS SOPS 140917 HAS SOUS 94047 HAS SOUPS 94047 WITH SCORE 94187.917
AT ITER 1167 NEW BEST:: SOT 317242 SOS 140997 HAS SOPS 140997 HAS SOUS 93947 HAS SOUPS 93947 WITH SCORE 94087.997
AT ITER 1178 NEW BEST:: SOT 317241 SOS 140995 HAS SOPS 140995 HAS SOUS 93945 HAS SOUPS 93945 WITH SCORE 94085.995
AT ITER 1183 NEW BEST:: SOT 317226 SOS 140965 HAS SOPS 140965 HAS SOUS 93930 HAS SOUPS 93930 WITH SCORE 94070.965
AT ITER 1197 NEW BEST:: SOT 317226 SOS 140918 HAS SOPS 140918 HAS SOUS 93929 HAS SOUPS 93929 WITH SCORE 94069.918
AT ITER 1203 NEW BEST:: SOT 317221 SOS 140840 HAS SOPS 140840 HAS SOUS 93919 HAS SOUPS 93919 WITH SCORE 94059.84
AT ITER 1204 NEW BEST:: SOT 317216 SOS 140830 HAS SOPS 140830 HAS SOUS 93909 HAS SOUPS 93909 WITH SCORE 94049.83
AT ITER 1209 NEW BEST:: SOT 317216 SOS 140804 HAS SOPS 140804 HAS SOUS 93883 HAS SOUPS 93883 WITH SCORE 94023.804
AT ITER 1214 NEW BEST:: SOT 316946 SOS 140410 HAS SOPS 140410 HAS SOUS 93489 HAS SOUPS 93489 WITH SCORE 93629.41
AT ITER 1223 NEW BEST:: SOT 316773 SOS 140358 HAS SOPS 140358 HAS SOUS 93373 HAS SOUPS 93373 WITH SCORE 93513.358
AT ITER 1231 NEW BEST:: SOT 316695 SOS 140202 HAS SOPS 140202 HAS SOUS 93310 HAS SOUPS 93310 WITH SCORE 93450.202
AT ITER 1232 NEW BEST:: SOT 316682 SOS 140176 HAS SOPS 140176 HAS SOUS 93281 HAS SOUPS 93281 WITH SCORE 93421.176
AT ITER 1247 NEW BEST:: SOT 316633 SOS 140085 HAS SOPS 140085 HAS SOUS 93278 HAS SOUPS 93278 WITH SCORE 93418.085
AT ITER 1259 NEW BEST:: SOT 316535 SOS 139987 HAS SOPS 139987 HAS SOUS 93234 HAS SOUPS 93234 WITH SCORE 93373.987
AT ITER 1265 NEW BEST:: SOT 316332 SOS 139627 HAS SOPS 139627 HAS SOUS 92954 HAS SOUPS 92954 WITH SCORE 93093.627
AT ITER 1271 NEW BEST:: SOT 316310 SOS 139594 HAS SOPS 139594 HAS SOUS 92921 HAS SOUPS 92921 WITH SCORE 93060.594
AT ITER 1303 NEW BEST:: SOT 316281 SOS 139536 HAS SOPS 139536 HAS SOUS 92863 HAS SOUPS 92863 WITH SCORE 93002.536
AT ITER 1315 NEW BEST:: SOT 316295 SOS 139533 HAS SOPS 139533 HAS SOUS 92860 HAS SOUPS 92860 WITH SCORE 92999.533
AT ITER 1330 NEW BEST:: SOT 316234 SOS 139471 HAS SOPS 139471 HAS SOUS 92802 HAS SOUPS 92802 WITH SCORE 92941.471
AT ITER 1364 NEW BEST:: SOT 316244 SOS 139359 HAS SOPS 139359 HAS SOUS 92766 HAS SOUPS 92766 WITH SCORE 92905.359
AT ITER 1372 NEW BEST:: SOT 316233 SOS 139348 HAS SOPS 139348 HAS SOUS 92755 HAS SOUPS 92755 WITH SCORE 92894.348
AT ITER 1380 NEW BEST:: SOT 316310 SOS 139454 HAS SOPS 139454 HAS SOUS 92743 HAS SOUPS 92743 WITH SCORE 92882.454
AT ITER 1381 NEW BEST:: SOT 316310 SOS 139396 HAS SOPS 139396 HAS SOUS 92685 HAS SOUPS 92685 WITH SCORE 92824.396
AT ITER 1393 NEW BEST:: SOT 316296 SOS 139382 HAS SOPS 139382 HAS SOUS 92685 HAS SOUPS 92685 WITH SCORE 92824.382
AT ITER 1404 NEW BEST:: SOT 316250 SOS 139336 HAS SOPS 139336 HAS SOUS 92685 HAS SOUPS 92685 WITH SCORE 92824.336
AT ITER 1405 NEW BEST:: SOT 316191 SOS 139300 HAS SOPS 139300 HAS SOUS 92497 HAS SOUPS 92497 WITH SCORE 92636.3
AT ITER 1421 NEW BEST:: SOT 316214 SOS 139236 HAS SOPS 139236 HAS SOUS 92433 HAS SOUPS 92433 WITH SCORE 92572.236
AT ITER 1434 NEW BEST:: SOT 316138 SOS 139131 HAS SOPS 139131 HAS SOUS 92375 HAS SOUPS 92375 WITH SCORE 92514.131
AT ITER 1454 NEW BEST:: SOT 315930 SOS 138965 HAS SOPS 138965 HAS SOUS 92346 HAS SOUPS 92346 WITH SCORE 92484.965
AT ITER 1476 NEW BEST:: SOT 315926 SOS 138961 HAS SOPS 138961 HAS SOUS 92342 HAS SOUPS 92342 WITH SCORE 92480.961
AT ITER 1496 NEW BEST:: SOT 315926 SOS 138958 HAS SOPS 138958 HAS SOUS 92339 HAS SOUPS 92339 WITH SCORE 92477.958
AT ITER 1500 NEW BEST:: SOT 315925 SOS 138957 HAS SOPS 138957 HAS SOUS 92338 HAS SOUPS 92338 WITH SCORE 92476.957
AT ITER 1502 NEW BEST:: SOT 315919 SOS 138951 HAS SOPS 138951 HAS SOUS 92297 HAS SOUPS 92297 WITH SCORE 92435.951
AT ITER 1504 NEW BEST:: SOT 315882 SOS 138858 HAS SOPS 138858 HAS SOUS 92211 HAS SOUPS 92211 WITH SCORE 92349.858
AT ITER 1506 NEW BEST:: SOT 315802 SOS 138714 HAS SOPS 138714 HAS SOUS 92211 HAS SOUPS 92211 WITH SCORE 92349.714
AT ITER 1509 NEW BEST:: SOT 315770 SOS 138666 HAS SOPS 138666 HAS SOUS 92179 HAS SOUPS 92179 WITH SCORE 92317.666
AT ITER 1514 NEW BEST:: SOT 315770 SOS 138430 HAS SOPS 138430 HAS SOUS 91731 HAS SOUPS 91731 WITH SCORE 91869.43
AT ITER 1522 NEW BEST:: SOT 315765 SOS 138425 HAS SOPS 138425 HAS SOUS 91731 HAS SOUPS 91731 WITH SCORE 91869.425
AT ITER 1523 NEW BEST:: SOT 315760 SOS 138415 HAS SOPS 138415 HAS SOUS 91721 HAS SOUPS 91721 WITH SCORE 91859.415
AT ITER 1532 NEW BEST:: SOT 315734 SOS 138164 HAS SOPS 138164 HAS SOUS 91429 HAS SOUPS 91429 WITH SCORE 91567.164
AT ITER 1556 NEW BEST:: SOT 315734 SOS 138160 HAS SOPS 138160 HAS SOUS 91427 HAS SOUPS 91427 WITH SCORE 91565.16
AT ITER 1557 NEW BEST:: SOT 315471 SOS 138054 HAS SOPS 138054 HAS SOUS 91362 HAS SOUPS 91362 WITH SCORE 91500.054
AT ITER 1559 NEW BEST:: SOT 315427 SOS 137966 HAS SOPS 137966 HAS SOUS 91359 HAS SOUPS 91359 WITH SCORE 91496.966
AT ITER 1580 NEW BEST:: SOT 315427 SOS 137966 HAS SOPS 137966 HAS SOUS 91331 HAS SOUPS 91331 WITH SCORE 91468.966
AT ITER 1582 NEW BEST:: SOT 315242 SOS 137781 HAS SOPS 137781 HAS SOUS 91331 HAS SOUPS 91331 WITH SCORE 91468.781
AT ITER 1601 NEW BEST:: SOT 315278 SOS 137676 HAS SOPS 137676 HAS SOUS 91226 HAS SOUPS 91226 WITH SCORE 91363.676
AT ITER 1623 NEW BEST:: SOT 315195 SOS 137593 HAS SOPS 137593 HAS SOUS 91143 HAS SOUPS 91143 WITH SCORE 91280.593
AT ITER 1632 NEW BEST:: SOT 315114 SOS 137514 HAS SOPS 137514 HAS SOUS 91064 HAS SOUPS 91064 WITH SCORE 91201.514
AT ITER 1635 NEW BEST:: SOT 314895 SOS 137294 HAS SOPS 137294 HAS SOUS 91062 HAS SOUPS 91062 WITH SCORE 91199.294
AT ITER 1651 NEW BEST:: SOT 314947 SOS 137394 HAS SOPS 137394 HAS SOUS 91030 HAS SOUPS 91030 WITH SCORE 91167.394
AT ITER 1661 NEW BEST:: SOT 314975 SOS 137282 HAS SOPS 137282 HAS SOUS 91030 HAS SOUPS 91030 WITH SCORE 91167.282
AT ITER 1666 NEW BEST:: SOT 314882 SOS 137096 HAS SOPS 137096 HAS SOUS 90844 HAS SOUPS 90844 WITH SCORE 90981.096
AT ITER 1690 NEW BEST:: SOT 314903 SOS 136340 HAS SOPS 136340 HAS SOUS 90716 HAS SOUPS 90716 WITH SCORE 90852.34
AT ITER 1711 NEW BEST:: SOT 314917 SOS 136265 HAS SOPS 136265 HAS SOUS 90641 HAS SOUPS 90641 WITH SCORE 90777.265
AT ITER 1712 NEW BEST:: SOT 315075 SOS 136092 HAS SOPS 136092 HAS SOUS 90605 HAS SOUPS 90605 WITH SCORE 90741.092
AT ITER 1717 NEW BEST:: SOT 315075 SOS 136092 HAS SOPS 136092 HAS SOUS 90577 HAS SOUPS 90577 WITH SCORE 90713.092
AT ITER 1718 NEW BEST:: SOT 314817 SOS 135833 HAS SOPS 135833 HAS SOUS 90318 HAS SOUPS 90318 WITH SCORE 90453.833
AT ITER 1735 NEW BEST:: SOT 314746 SOS 135743 HAS SOPS 135743 HAS SOUS 90228 HAS SOUPS 90228 WITH SCORE 90363.743
AT ITER 1746 NEW BEST:: SOT 314775 SOS 135695 HAS SOPS 135695 HAS SOUS 90180 HAS SOUPS 90180 WITH SCORE 90315.695
AT ITER 1750 NEW BEST:: SOT 314821 SOS 135731 HAS SOPS 135731 HAS SOUS 90095 HAS SOUPS 90095 WITH SCORE 90230.731
AT ITER 1755 NEW BEST:: SOT 314523 SOS 135405 HAS SOPS 135405 HAS SOUS 89844 HAS SOUPS 89844 WITH SCORE 89979.405
AT ITER 1758 NEW BEST:: SOT 314265 SOS 134889 HAS SOPS 134889 HAS SOUS 89771 HAS SOUPS 89771 WITH SCORE 89905.889
AT ITER 1774 NEW BEST:: SOT 314201 SOS 134761 HAS SOPS 134761 HAS SOUS 89643 HAS SOUPS 89643 WITH SCORE 89777.761
AT ITER 1783 NEW BEST:: SOT 314193 SOS 134382 HAS SOPS 134382 HAS SOUS 89418 HAS SOUPS 89418 WITH SCORE 89552.382
AT ITER 1796 NEW BEST:: SOT 314073 SOS 134244 HAS SOPS 134244 HAS SOUS 89382 HAS SOUPS 89382 WITH SCORE 89516.244
AT ITER 1801 NEW BEST:: SOT 314074 SOS 134153 HAS SOPS 134153 HAS SOUS 89291 HAS SOUPS 89291 WITH SCORE 89425.153
AT ITER 1815 NEW BEST:: SOT 314164 SOS 134142 HAS SOPS 134142 HAS SOUS 89280 HAS SOUPS 89280 WITH SCORE 89414.142
AT ITER 1817 NEW BEST:: SOT 314164 SOS 133893 HAS SOPS 133893 HAS SOUS 89031 HAS SOUPS 89031 WITH SCORE 89164.893
AT ITER 1833 NEW BEST:: SOT 313873 SOS 133673 HAS SOPS 133673 HAS SOUS 88811 HAS SOUPS 88811 WITH SCORE 88944.673
AT ITER 1842 NEW BEST:: SOT 313842 SOS 133642 HAS SOPS 133642 HAS SOUS 88780 HAS SOUPS 88780 WITH SCORE 88913.642
AT ITER 1845 NEW BEST:: SOT 313753 SOS 133337 HAS SOPS 133337 HAS SOUS 88475 HAS SOUPS 88475 WITH SCORE 88608.337
AT ITER 1853 NEW BEST:: SOT 313818 SOS 133331 HAS SOPS 133331 HAS SOUS 88434 HAS SOUPS 88434 WITH SCORE 88567.331
AT ITER 1864 NEW BEST:: SOT 313739 SOS 133243 HAS SOPS 133243 HAS SOUS 88346 HAS SOUPS 88346 WITH SCORE 88479.243
AT ITER 1876 NEW BEST:: SOT 313666 SOS 133170 HAS SOPS 133170 HAS SOUS 88273 HAS SOUPS 88273 WITH SCORE 88406.17
AT ITER 1880 NEW BEST:: SOT 313666 SOS 132650 HAS SOPS 132650 HAS SOUS 88273 HAS SOUPS 88273 WITH SCORE 88405.65
AT ITER 1881 NEW BEST:: SOT 313588 SOS 132452 HAS SOPS 132452 HAS SOUS 88231 HAS SOUPS 88231 WITH SCORE 88363.452
AT ITER 1906 NEW BEST:: SOT 313667 SOS 132433 HAS SOPS 132433 HAS SOUS 88212 HAS SOUPS 88212 WITH SCORE 88344.433
AT ITER 1910 NEW BEST:: SOT 313667 SOS 132411 HAS SOPS 132411 HAS SOUS 88212 HAS SOUPS 88212 WITH SCORE 88344.411
AT ITER 1916 NEW BEST:: SOT 313573 SOS 132222 HAS SOPS 132222 HAS SOUS 88023 HAS SOUPS 88023 WITH SCORE 88155.222
AT ITER 1933 NEW BEST:: SOT 313338 SOS 131946 HAS SOPS 131946 HAS SOUS 87830 HAS SOUPS 87830 WITH SCORE 87961.946
AT ITER 1936 NEW BEST:: SOT 313335 SOS 131940 HAS SOPS 131940 HAS SOUS 87827 HAS SOUPS 87827 WITH SCORE 87958.94
AT ITER 1947 NEW BEST:: SOT 313070 SOS 131797 HAS SOPS 131797 HAS SOUS 87684 HAS SOUPS 87684 WITH SCORE 87815.797
AT ITER 1955 NEW BEST:: SOT 312722 SOS 131442 HAS SOPS 131442 HAS SOUS 87504 HAS SOUPS 87504 WITH SCORE 87635.442
AT ITER 1964 NEW BEST:: SOT 312814 SOS 131399 HAS SOPS 131399 HAS SOUS 87461 HAS SOUPS 87461 WITH SCORE 87592.399
AT ITER 1966 NEW BEST:: SOT 312814 SOS 131374 HAS SOPS 131374 HAS SOUS 87436 HAS SOUPS 87436 WITH SCORE 87567.374
AT ITER 1969 NEW BEST:: SOT 312326 SOS 130862 HAS SOPS 130862 HAS SOUS 87072 HAS SOUPS 87072 WITH SCORE 87202.862
AT ITER 1975 NEW BEST:: SOT 312302 SOS 130814 HAS SOPS 130814 HAS SOUS 87024 HAS SOUPS 87024 WITH SCORE 87154.814
AT ITER 1976 NEW BEST:: SOT 312298 SOS 130810 HAS SOPS 130810 HAS SOUS 87020 HAS SOUPS 87020 WITH SCORE 87150.81
AT ITER 1978 NEW BEST:: SOT 312300 SOS 130812 HAS SOPS 130812 HAS SOUS 86997 HAS SOUPS 86997 WITH SCORE 87127.812
AT ITER 1985 NEW BEST:: SOT 312300 SOS 130808 HAS SOPS 130808 HAS SOUS 86993 HAS SOUPS 86993 WITH SCORE 87123.808
AT ITER 2020 NEW BEST:: SOT 312214 SOS 130679 HAS SOPS 130679 HAS SOUS 86907 HAS SOUPS 86907 WITH SCORE 87037.679
AT ITER 2024 NEW BEST:: SOT 312213 SOS 130579 HAS SOPS 130579 HAS SOUS 86807 HAS SOUPS 86807 WITH SCORE 86937.579
AT ITER 2030 NEW BEST:: SOT 312149 SOS 130515 HAS SOPS 130515 HAS SOUS 86743 HAS SOUPS 86743 WITH SCORE 86873.515
AT ITER 2031 NEW BEST:: SOT 312125 SOS 130467 HAS SOPS 130467 HAS SOUS 86695 HAS SOUPS 86695 WITH SCORE 86825.467
AT ITER 2042 NEW BEST:: SOT 312125 SOS 130425 HAS SOPS 130425 HAS SOUS 86673 HAS SOUPS 86673 WITH SCORE 86803.425
AT ITER 2046 NEW BEST:: SOT 312062 SOS 130299 HAS SOPS 130299 HAS SOUS 86582 HAS SOUPS 86582 WITH SCORE 86712.299
AT ITER 2071 NEW BEST:: SOT 312062 SOS 130276 HAS SOPS 130276 HAS SOUS 86582 HAS SOUPS 86582 WITH SCORE 86712.276
AT ITER 2091 NEW BEST:: SOT 312022 SOS 130243 HAS SOPS 130243 HAS SOUS 86549 HAS SOUPS 86549 WITH SCORE 86679.243
AT ITER 2092 NEW BEST:: SOT 311953 SOS 130140 HAS SOPS 130140 HAS SOUS 86481 HAS SOUPS 86481 WITH SCORE 86611.14
AT ITER 2116 NEW BEST:: SOT 312004 SOS 130140 HAS SOPS 130140 HAS SOUS 86444 HAS SOUPS 86444 WITH SCORE 86574.14
AT ITER 2131 NEW BEST:: SOT 312023 SOS 130124 HAS SOPS 130124 HAS SOUS 86428 HAS SOUPS 86428 WITH SCORE 86558.124
AT ITER 2141 NEW BEST:: SOT 311976 SOS 130030 HAS SOPS 130030 HAS SOUS 86334 HAS SOUPS 86334 WITH SCORE 86464.03
AT ITER 2146 NEW BEST:: SOT 312032 SOS 130086 HAS SOPS 130086 HAS SOUS 86291 HAS SOUPS 86291 WITH SCORE 86421.086
AT ITER 2152 NEW BEST:: SOT 312172 SOS 130249 HAS SOPS 130249 HAS SOUS 86287 HAS SOUPS 86287 WITH SCORE 86417.249
AT ITER 2153 NEW BEST:: SOT 312151 SOS 130207 HAS SOPS 130207 HAS SOUS 86245 HAS SOUPS 86245 WITH SCORE 86375.207
AT ITER 2158 NEW BEST:: SOT 312068 SOS 130123 HAS SOPS 130123 HAS SOUS 86243 HAS SOUPS 86243 WITH SCORE 86373.123
AT ITER 2161 NEW BEST:: SOT 312067 SOS 130107 HAS SOPS 130107 HAS SOUS 86241 HAS SOUPS 86241 WITH SCORE 86371.107
AT ITER 2162 NEW BEST:: SOT 312056 SOS 130085 HAS SOPS 130085 HAS SOUS 86219 HAS SOUPS 86219 WITH SCORE 86349.085
AT ITER 2171 NEW BEST:: SOT 311934 SOS 130045 HAS SOPS 130045 HAS SOUS 86179 HAS SOUPS 86179 WITH SCORE 86309.045
AT ITER 2182 NEW BEST:: SOT 311934 SOS 130013 HAS SOPS 130013 HAS SOUS 86147 HAS SOUPS 86147 WITH SCORE 86277.013
AT ITER 2185 NEW BEST:: SOT 311934 SOS 129826 HAS SOPS 129826 HAS SOUS 85960 HAS SOUPS 85960 WITH SCORE 86089.826
AT ITER 2214 NEW BEST:: SOT 311790 SOS 129692 HAS SOPS 129692 HAS SOUS 85826 HAS SOUPS 85826 WITH SCORE 85955.692
AT ITER 2221 NEW BEST:: SOT 311640 SOS 129242 HAS SOPS 129242 HAS SOUS 85416 HAS SOUPS 85416 WITH SCORE 85545.242
AT ITER 2225 NEW BEST:: SOT 311583 SOS 129185 HAS SOPS 129185 HAS SOUS 85359 HAS SOUPS 85359 WITH SCORE 85488.185
AT ITER 2234 NEW BEST:: SOT 311580 SOS 129182 HAS SOPS 129182 HAS SOUS 85356 HAS SOUPS 85356 WITH SCORE 85485.182
AT ITER 2242 NEW BEST:: SOT 311566 SOS 129154 HAS SOPS 129154 HAS SOUS 85325 HAS SOUPS 85325 WITH SCORE 85454.154
AT ITER 2247 NEW BEST:: SOT 311477 SOS 129151 HAS SOPS 129151 HAS SOUS 85322 HAS SOUPS 85322 WITH SCORE 85451.151
AT ITER 2257 NEW BEST:: SOT 311450 SOS 129120 HAS SOPS 129120 HAS SOUS 85291 HAS SOUPS 85291 WITH SCORE 85420.12
AT ITER 2262 NEW BEST:: SOT 311318 SOS 128987 HAS SOPS 128987 HAS SOUS 85290 HAS SOUPS 85290 WITH SCORE 85418.987
AT ITER 2271 NEW BEST:: SOT 311277 SOS 128905 HAS SOPS 128905 HAS SOUS 85218 HAS SOUPS 85218 WITH SCORE 85346.905
AT ITER 2275 NEW BEST:: SOT 311276 SOS 128903 HAS SOPS 128903 HAS SOUS 85216 HAS SOUPS 85216 WITH SCORE 85344.903
AT ITER 2278 NEW BEST:: SOT 311275 SOS 128901 HAS SOPS 128901 HAS SOUS 85214 HAS SOUPS 85214 WITH SCORE 85342.901
AT ITER 2280 NEW BEST:: SOT 311275 SOS 128901 HAS SOPS 128901 HAS SOUS 85172 HAS SOUPS 85172 WITH SCORE 85300.901
AT ITER 2301 NEW BEST:: SOT 311238 SOS 128898 HAS SOPS 128898 HAS SOUS 85169 HAS SOUPS 85169 WITH SCORE 85297.898
AT ITER 2302 NEW BEST:: SOT 311234 SOS 128892 HAS SOPS 128892 HAS SOUS 85163 HAS SOUPS 85163 WITH SCORE 85291.892
AT ITER 2314 NEW BEST:: SOT 311199 SOS 128857 HAS SOPS 128857 HAS SOUS 85093 HAS SOUPS 85093 WITH SCORE 85221.857
AT ITER 2327 NEW BEST:: SOT 311039 SOS 128639 HAS SOPS 128639 HAS SOUS 84875 HAS SOUPS 84875 WITH SCORE 85003.639
AT ITER 2328 NEW BEST:: SOT 311038 SOS 128638 HAS SOPS 128638 HAS SOUS 84874 HAS SOUPS 84874 WITH SCORE 85002.638
AT ITER 2337 NEW BEST:: SOT 311029 SOS 128629 HAS SOPS 128629 HAS SOUS 84874 HAS SOUPS 84874 WITH SCORE 85002.629
AT ITER 2358 NEW BEST:: SOT 311029 SOS 128509 HAS SOPS 128509 HAS SOUS 84814 HAS SOUPS 84814 WITH SCORE 84942.509
AT ITER 2364 NEW BEST:: SOT 310973 SOS 128426 HAS SOPS 128426 HAS SOUS 84787 HAS SOUPS 84787 WITH SCORE 84915.426
AT ITER 2403 NEW BEST:: SOT 310973 SOS 128425 HAS SOPS 128425 HAS SOUS 84786 HAS SOUPS 84786 WITH SCORE 84914.425
AT ITER 2422 NEW BEST:: SOT 310956 SOS 128408 HAS SOPS 128408 HAS SOUS 84782 HAS SOUPS 84782 WITH SCORE 84910.408
AT ITER 2458 NEW BEST:: SOT 311087 SOS 128346 HAS SOPS 128346 HAS SOUS 84750 HAS SOUPS 84750 WITH SCORE 84878.346
AT ITER 2464 NEW BEST:: SOT 311073 SOS 128332 HAS SOPS 128332 HAS SOUS 84736 HAS SOUPS 84736 WITH SCORE 84864.332
AT ITER 2470 NEW BEST:: SOT 311049 SOS 128272 HAS SOPS 128272 HAS SOUS 84676 HAS SOUPS 84676 WITH SCORE 84804.272
AT ITER 2490 NEW BEST:: SOT 311018 SOS 128241 HAS SOPS 128241 HAS SOUS 84645 HAS SOUPS 84645 WITH SCORE 84773.241
AT ITER 2493 NEW BEST:: SOT 310877 SOS 128075 HAS SOPS 128075 HAS SOUS 84479 HAS SOUPS 84479 WITH SCORE 84607.075
AT ITER 2500 NEW BEST:: SOT 310805 SOS 127980 HAS SOPS 127980 HAS SOUS 84476 HAS SOUPS 84476 WITH SCORE 84603.98
AT ITER 2501 NEW BEST:: SOT 310765 SOS 127940 HAS SOPS 127940 HAS SOUS 84436 HAS SOUPS 84436 WITH SCORE 84563.94
AT ITER 2514 NEW BEST:: SOT 310719 SOS 127871 HAS SOPS 127871 HAS SOUS 84390 HAS SOUPS 84390 WITH SCORE 84517.871
AT ITER 2515 NEW BEST:: SOT 310679 SOS 127831 HAS SOPS 127831 HAS SOUS 84350 HAS SOUPS 84350 WITH SCORE 84477.831
AT ITER 2517 NEW BEST:: SOT 310678 SOS 127829 HAS SOPS 127829 HAS SOUS 84348 HAS SOUPS 84348 WITH SCORE 84475.829
AT ITER 2535 NEW BEST:: SOT 310678 SOS 127826 HAS SOPS 127826 HAS SOUS 84345 HAS SOUPS 84345 WITH SCORE 84472.826
AT ITER 2540 NEW BEST:: SOT 310179 SOS 127327 HAS SOPS 127327 HAS SOUS 83846 HAS SOUPS 83846 WITH SCORE 83973.327
AT ITER 2554 NEW BEST:: SOT 310056 SOS 127131 HAS SOPS 127131 HAS SOUS 83723 HAS SOUPS 83723 WITH SCORE 83850.131
AT ITER 2564 NEW BEST:: SOT 309988 SOS 127064 HAS SOPS 127064 HAS SOUS 83656 HAS SOUPS 83656 WITH SCORE 83783.064
AT ITER 2567 NEW BEST:: SOT 309987 SOS 127062 HAS SOPS 127062 HAS SOUS 83654 HAS SOUPS 83654 WITH SCORE 83781.062
AT ITER 2568 NEW BEST:: SOT 310041 SOS 127009 HAS SOPS 127009 HAS SOUS 83601 HAS SOUPS 83601 WITH SCORE 83728.009
AT ITER 2583 NEW BEST:: SOT 309988 SOS 126992 HAS SOPS 126992 HAS SOUS 83584 HAS SOUPS 83584 WITH SCORE 83710.992
AT ITER 2591 NEW BEST:: SOT 309956 SOS 126960 HAS SOPS 126960 HAS SOUS 83584 HAS SOUPS 83584 WITH SCORE 83710.96
AT ITER 2597 NEW BEST:: SOT 309970 SOS 126934 HAS SOPS 126934 HAS SOUS 83558 HAS SOUPS 83558 WITH SCORE 83684.934
AT ITER 2629 NEW BEST:: SOT 309927 SOS 126908 HAS SOPS 126908 HAS SOUS 83532 HAS SOUPS 83532 WITH SCORE 83658.908
AT ITER 2646 NEW BEST:: SOT 309903 SOS 126860 HAS SOPS 126860 HAS SOUS 83379 HAS SOUPS 83379 WITH SCORE 83505.86
AT ITER 2659 NEW BEST:: SOT 309884 SOS 126915 HAS SOPS 126915 HAS SOUS 83372 HAS SOUPS 83372 WITH SCORE 83498.915
AT ITER 2668 NEW BEST:: SOT 309747 SOS 126778 HAS SOPS 126778 HAS SOUS 83262 HAS SOUPS 83262 WITH SCORE 83388.778
AT ITER 2695 NEW BEST:: SOT 309829 SOS 126770 HAS SOPS 126770 HAS SOUS 83246 HAS SOUPS 83246 WITH SCORE 83372.77
AT ITER 2698 NEW BEST:: SOT 309793 SOS 126717 HAS SOPS 126717 HAS SOUS 83193 HAS SOUPS 83193 WITH SCORE 83319.717
AT ITER 2700 NEW BEST:: SOT 309774 SOS 126463 HAS SOPS 126463 HAS SOUS 83085 HAS SOUPS 83085 WITH SCORE 83211.463
AT ITER 2708 NEW BEST:: SOT 309728 SOS 126284 HAS SOPS 126284 HAS SOUS 82906 HAS SOUPS 82906 WITH SCORE 83032.284
AT ITER 2724 NEW BEST:: SOT 309690 SOS 126213 HAS SOPS 126213 HAS SOUS 82835 HAS SOUPS 82835 WITH SCORE 82961.213
AT ITER 2726 NEW BEST:: SOT 309681 SOS 126204 HAS SOPS 126204 HAS SOUS 82826 HAS SOUPS 82826 WITH SCORE 82952.204
AT ITER 2733 NEW BEST:: SOT 309651 SOS 126174 HAS SOPS 126174 HAS SOUS 82796 HAS SOUPS 82796 WITH SCORE 82922.174
AT ITER 2742 NEW BEST:: SOT 309680 SOS 126149 HAS SOPS 126149 HAS SOUS 82781 HAS SOUPS 82781 WITH SCORE 82907.149
AT ITER 2743 NEW BEST:: SOT 309671 SOS 126140 HAS SOPS 126140 HAS SOUS 82781 HAS SOUPS 82781 WITH SCORE 82907.14
AT ITER 2750 NEW BEST:: SOT 309841 SOS 126095 HAS SOPS 126095 HAS SOUS 82736 HAS SOUPS 82736 WITH SCORE 82862.095
AT ITER 2759 NEW BEST:: SOT 309724 SOS 125881 HAS SOPS 125881 HAS SOUS 82611 HAS SOUPS 82611 WITH SCORE 82736.881
AT ITER 2766 NEW BEST:: SOT 309724 SOS 125872 HAS SOPS 125872 HAS SOUS 82602 HAS SOUPS 82602 WITH SCORE 82727.872
AT ITER 2767 NEW BEST:: SOT 309803 SOS 125865 HAS SOPS 125865 HAS SOUS 82595 HAS SOUPS 82595 WITH SCORE 82720.865
AT ITER 2770 NEW BEST:: SOT 309751 SOS 125890 HAS SOPS 125890 HAS SOUS 82577 HAS SOUPS 82577 WITH SCORE 82702.89
AT ITER 2773 NEW BEST:: SOT 309717 SOS 125839 HAS SOPS 125839 HAS SOUS 82526 HAS SOUPS 82526 WITH SCORE 82651.839
AT ITER 2775 NEW BEST:: SOT 309419 SOS 125344 HAS SOPS 125344 HAS SOUS 82329 HAS SOUPS 82329 WITH SCORE 82454.344
AT ITER 2788 NEW BEST:: SOT 309339 SOS 125323 HAS SOPS 125323 HAS SOUS 82308 HAS SOUPS 82308 WITH SCORE 82433.323
AT ITER 2791 NEW BEST:: SOT 309265 SOS 125175 HAS SOPS 125175 HAS SOUS 82160 HAS SOUPS 82160 WITH SCORE 82285.175
AT ITER 2803 NEW BEST:: SOT 309198 SOS 125134 HAS SOPS 125134 HAS SOUS 82119 HAS SOUPS 82119 WITH SCORE 82244.134
AT ITER 2804 NEW BEST:: SOT 309132 SOS 125020 HAS SOPS 125020 HAS SOUS 82005 HAS SOUPS 82005 WITH SCORE 82130.02
AT ITER 2841 NEW BEST:: SOT 309130 SOS 125018 HAS SOPS 125018 HAS SOUS 82003 HAS SOUPS 82003 WITH SCORE 82128.018
AT ITER 2842 NEW BEST:: SOT 309102 SOS 124990 HAS SOPS 124990 HAS SOUS 81975 HAS SOUPS 81975 WITH SCORE 82099.99
AT ITER 2856 NEW BEST:: SOT 309122 SOS 124978 HAS SOPS 124978 HAS SOUS 81943 HAS SOUPS 81943 WITH SCORE 82067.978
AT ITER 2911 NEW BEST:: SOT 309079 SOS 124892 HAS SOPS 124892 HAS SOUS 81857 HAS SOUPS 81857 WITH SCORE 81981.892
AT ITER 2942 NEW BEST:: SOT 309074 SOS 124882 HAS SOPS 124882 HAS SOUS 81852 HAS SOUPS 81852 WITH SCORE 81976.882
AT ITER 2944 NEW BEST:: SOT 309074 SOS 124787 HAS SOPS 124787 HAS SOUS 81757 HAS SOUPS 81757 WITH SCORE 81881.787
AT ITER 2953 NEW BEST:: SOT 309050 SOS 124739 HAS SOPS 124739 HAS SOUS 81709 HAS SOUPS 81709 WITH SCORE 81833.739
AT ITER 2954 NEW BEST:: SOT 309009 SOS 124716 HAS SOPS 124716 HAS SOUS 81686 HAS SOUPS 81686 WITH SCORE 81810.716
AT ITER 2956 NEW BEST:: SOT 309009 SOS 124714 HAS SOPS 124714 HAS SOUS 81684 HAS SOUPS 81684 WITH SCORE 81808.714
AT ITER 2959 NEW BEST:: SOT 309003 SOS 124702 HAS SOPS 124702 HAS SOUS 81672 HAS SOUPS 81672 WITH SCORE 81796.702
AT ITER 2983 NEW BEST:: SOT 307470 SOS 123031 HAS SOPS 123031 HAS SOUS 80089 HAS SOUPS 80089 WITH SCORE 80212.031
AT ITER 2996 NEW BEST:: SOT 307464 SOS 123025 HAS SOPS 123025 HAS SOUS 80083 HAS SOUPS 80083 WITH SCORE 80206.025
AT ITER 3013 NEW BEST:: SOT 307464 SOS 123025 HAS SOPS 123025 HAS SOUS 80031 HAS SOUPS 80031 WITH SCORE 80154.025
AT ITER 3056 NEW BEST:: SOT 307464 SOS 123023 HAS SOPS 123023 HAS SOUS 80029 HAS SOUPS 80029 WITH SCORE 80152.023
AT ITER 3065 NEW BEST:: SOT 307463 SOS 123021 HAS SOPS 123021 HAS SOUS 80027 HAS SOUPS 80027 WITH SCORE 80150.021
AT ITER 3066 NEW BEST:: SOT 307404 SOS 122903 HAS SOPS 122903 HAS SOUS 79909 HAS SOUPS 79909 WITH SCORE 80031.903
AT ITER 3078 NEW BEST:: SOT 307401 SOS 122909 HAS SOPS 122909 HAS SOUS 79903 HAS SOUPS 79903 WITH SCORE 80025.909
AT ITER 3097 NEW BEST:: SOT 307468 SOS 123039 HAS SOPS 123039 HAS SOUS 79887 HAS SOUPS 79887 WITH SCORE 80010.039
AT ITER 3099 NEW BEST:: SOT 307445 SOS 123016 HAS SOPS 123016 HAS SOUS 79864 HAS SOUPS 79864 WITH SCORE 79987.016
AT ITER 3121 NEW BEST:: SOT 307378 SOS 123504 HAS SOPS 123504 HAS SOUS 79783 HAS SOUPS 79783 WITH SCORE 79906.504
AT ITER 3125 NEW BEST:: SOT 307378 SOS 123516 HAS SOPS 123516 HAS SOUS 79776 HAS SOUPS 79776 WITH SCORE 79899.516
AT ITER 3130 NEW BEST:: SOT 307381 SOS 123510 HAS SOPS 123510 HAS SOUS 79770 HAS SOUPS 79770 WITH SCORE 79893.51
AT ITER 3134 NEW BEST:: SOT 307437 SOS 123398 HAS SOPS 123398 HAS SOUS 79687 HAS SOUPS 79687 WITH SCORE 79810.398
AT ITER 3146 NEW BEST:: SOT 307397 SOS 123388 HAS SOPS 123388 HAS SOUS 79677 HAS SOUPS 79677 WITH SCORE 79800.388
AT ITER 3148 NEW BEST:: SOT 307348 SOS 123290 HAS SOPS 123290 HAS SOUS 79657 HAS SOUPS 79657 WITH SCORE 79780.29
AT ITER 3152 NEW BEST:: SOT 306973 SOS 122540 HAS SOPS 122540 HAS SOUS 79265 HAS SOUPS 79265 WITH SCORE 79387.54
AT ITER 3155 NEW BEST:: SOT 306973 SOS 122279 HAS SOPS 122279 HAS SOUS 79039 HAS SOUPS 79039 WITH SCORE 79161.279
AT ITER 3162 NEW BEST:: SOT 306952 SOS 122067 HAS SOPS 122067 HAS SOUS 78827 HAS SOUPS 78827 WITH SCORE 78949.067
AT ITER 3171 NEW BEST:: SOT 306928 SOS 122065 HAS SOPS 122065 HAS SOUS 78825 HAS SOUPS 78825 WITH SCORE 78947.065
AT ITER 3174 NEW BEST:: SOT 306931 SOS 121991 HAS SOPS 121991 HAS SOUS 78751 HAS SOUPS 78751 WITH SCORE 78872.991
AT ITER 3181 NEW BEST:: SOT 306920 SOS 121969 HAS SOPS 121969 HAS SOUS 78729 HAS SOUPS 78729 WITH SCORE 78850.969
AT ITER 3203 NEW BEST:: SOT 306876 SOS 121925 HAS SOPS 121925 HAS SOUS 78685 HAS SOUPS 78685 WITH SCORE 78806.925
AT ITER 3213 NEW BEST:: SOT 306803 SOS 121770 HAS SOPS 121770 HAS SOUS 78530 HAS SOUPS 78530 WITH SCORE 78651.77
AT ITER 3215 NEW BEST:: SOT 306801 SOS 121768 HAS SOPS 121768 HAS SOUS 78528 HAS SOUPS 78528 WITH SCORE 78649.768
AT ITER 3223 NEW BEST:: SOT 306771 SOS 121708 HAS SOPS 121708 HAS SOUS 78493 HAS SOUPS 78493 WITH SCORE 78614.708
AT ITER 3226 NEW BEST:: SOT 306747 SOS 121672 HAS SOPS 121672 HAS SOUS 78457 HAS SOUPS 78457 WITH SCORE 78578.672
AT ITER 3238 NEW BEST:: SOT 306747 SOS 121662 HAS SOPS 121662 HAS SOUS 78457 HAS SOUPS 78457 WITH SCORE 78578.662
AT ITER 3249 NEW BEST:: SOT 306576 SOS 121415 HAS SOPS 121415 HAS SOUS 78302 HAS SOUPS 78302 WITH SCORE 78423.415
AT ITER 3251 NEW BEST:: SOT 306576 SOS 121410 HAS SOPS 121410 HAS SOUS 78302 HAS SOUPS 78302 WITH SCORE 78423.41
AT ITER 3261 NEW BEST:: SOT 306576 SOS 121410 HAS SOPS 121410 HAS SOUS 78295 HAS SOUPS 78295 WITH SCORE 78416.41
AT ITER 3262 NEW BEST:: SOT 306565 SOS 121367 HAS SOPS 121367 HAS SOUS 78262 HAS SOUPS 78262 WITH SCORE 78383.367
AT ITER 3313 NEW BEST:: SOT 306645 SOS 121447 HAS SOPS 121447 HAS SOUS 78261 HAS SOUPS 78261 WITH SCORE 78382.447
AT ITER 3335 NEW BEST:: SOT 306408 SOS 121182 HAS SOPS 121182 HAS SOUS 78247 HAS SOUPS 78247 WITH SCORE 78368.182
AT ITER 3341 NEW BEST:: SOT 306246 SOS 120938 HAS SOPS 120938 HAS SOUS 78109 HAS SOUPS 78109 WITH SCORE 78229.938
AT ITER 3366 NEW BEST:: SOT 306204 SOS 120854 HAS SOPS 120854 HAS SOUS 78053 HAS SOUPS 78053 WITH SCORE 78173.854
AT ITER 3424 NEW BEST:: SOT 306064 SOS 120659 HAS SOPS 120659 HAS SOUS 77849 HAS SOUPS 77849 WITH SCORE 77969.659
AT ITER 3436 NEW BEST:: SOT 306044 SOS 120635 HAS SOPS 120635 HAS SOUS 77825 HAS SOUPS 77825 WITH SCORE 77945.635
AT ITER 3441 NEW BEST:: SOT 306043 SOS 120629 HAS SOPS 120629 HAS SOUS 77823 HAS SOUPS 77823 WITH SCORE 77943.629
AT ITER 3443 NEW BEST:: SOT 305892 SOS 120393 HAS SOPS 120393 HAS SOUS 77587 HAS SOUPS 77587 WITH SCORE 77707.393
AT ITER 3449 NEW BEST:: SOT 306000 SOS 120459 HAS SOPS 120459 HAS SOUS 77503 HAS SOUPS 77503 WITH SCORE 77623.459
AT ITER 3464 NEW BEST:: SOT 305979 SOS 120433 HAS SOPS 120433 HAS SOUS 77498 HAS SOUPS 77498 WITH SCORE 77618.433
AT ITER 3466 NEW BEST:: SOT 305955 SOS 120385 HAS SOPS 120385 HAS SOUS 77491 HAS SOUPS 77491 WITH SCORE 77611.385
AT ITER 3468 NEW BEST:: SOT 305915 SOS 120345 HAS SOPS 120345 HAS SOUS 77451 HAS SOUPS 77451 WITH SCORE 77571.345
AT ITER 3496 NEW BEST:: SOT 305911 SOS 120337 HAS SOPS 120337 HAS SOUS 77447 HAS SOUPS 77447 WITH SCORE 77567.337
AT ITER 3500 NEW BEST:: SOT 305739 SOS 120085 HAS SOPS 120085 HAS SOUS 77430 HAS SOUPS 77430 WITH SCORE 77550.085
AT ITER 3519 NEW BEST:: SOT 305751 SOS 120075 HAS SOPS 120075 HAS SOUS 77420 HAS SOUPS 77420 WITH SCORE 77540.075
AT ITER 3531 NEW BEST:: SOT 305751 SOS 119976 HAS SOPS 119976 HAS SOUS 77321 HAS SOUPS 77321 WITH SCORE 77440.976
AT ITER 3534 NEW BEST:: SOT 305749 SOS 119964 HAS SOPS 119964 HAS SOUS 77309 HAS SOUPS 77309 WITH SCORE 77428.964
AT ITER 3536 NEW BEST:: SOT 305656 SOS 119834 HAS SOPS 119834 HAS SOUS 77235 HAS SOUPS 77235 WITH SCORE 77354.834
AT ITER 3562 NEW BEST:: SOT 305677 SOS 119823 HAS SOPS 119823 HAS SOUS 77223 HAS SOUPS 77223 WITH SCORE 77342.823
AT ITER 3603 NEW BEST:: SOT 305625 SOS 119814 HAS SOPS 119814 HAS SOUS 77186 HAS SOUPS 77186 WITH SCORE 77305.814
AT ITER 3606 NEW BEST:: SOT 305568 SOS 119757 HAS SOPS 119757 HAS SOUS 77129 HAS SOUPS 77129 WITH SCORE 77248.757
AT ITER 3609 NEW BEST:: SOT 305568 SOS 119752 HAS SOPS 119752 HAS SOUS 77124 HAS SOUPS 77124 WITH SCORE 77243.752
AT ITER 3650 NEW BEST:: SOT 305413 SOS 119562 HAS SOPS 119562 HAS SOUS 76960 HAS SOUPS 76960 WITH SCORE 77079.562
AT ITER 3652 NEW BEST:: SOT 305413 SOS 119533 HAS SOPS 119533 HAS SOUS 76931 HAS SOUPS 76931 WITH SCORE 77050.533
AT ITER 3658 NEW BEST:: SOT 305413 SOS 119512 HAS SOPS 119512 HAS SOUS 76910 HAS SOUPS 76910 WITH SCORE 77029.512
AT ITER 3682 NEW BEST:: SOT 305413 SOS 119511 HAS SOPS 119511 HAS SOUS 76909 HAS SOUPS 76909 WITH SCORE 77028.511
AT ITER 3686 NEW BEST:: SOT 305101 SOS 119199 HAS SOPS 119199 HAS SOUS 76909 HAS SOUPS 76909 WITH SCORE 77028.199
AT ITER 3693 NEW BEST:: SOT 304899 SOS 118908 HAS SOPS 118908 HAS SOUS 76766 HAS SOUPS 76766 WITH SCORE 76884.908
AT ITER 3706 NEW BEST:: SOT 304899 SOS 118864 HAS SOPS 118864 HAS SOUS 76760 HAS SOUPS 76760 WITH SCORE 76878.864
AT ITER 3730 NEW BEST:: SOT 305062 SOS 118864 HAS SOPS 118864 HAS SOUS 76696 HAS SOUPS 76696 WITH SCORE 76814.864
AT ITER 3750 NEW BEST:: SOT 305154 SOS 118937 HAS SOPS 118937 HAS SOUS 76658 HAS SOUPS 76658 WITH SCORE 76776.937
AT ITER 3760 NEW BEST:: SOT 305216 SOS 118890 HAS SOPS 118890 HAS SOUS 76611 HAS SOUPS 76611 WITH SCORE 76729.89
AT ITER 3774 NEW BEST:: SOT 305199 SOS 118873 HAS SOPS 118873 HAS SOUS 76540 HAS SOUPS 76540 WITH SCORE 76658.873
AT ITER 3779 NEW BEST:: SOT 305195 SOS 118867 HAS SOPS 118867 HAS SOUS 76534 HAS SOUPS 76534 WITH SCORE 76652.867
AT ITER 3814 NEW BEST:: SOT 305189 SOS 118855 HAS SOPS 118855 HAS SOUS 76522 HAS SOUPS 76522 WITH SCORE 76640.855
AT ITER 3856 NEW BEST:: SOT 305188 SOS 118853 HAS SOPS 118853 HAS SOUS 76520 HAS SOUPS 76520 WITH SCORE 76638.853
AT ITER 3891 NEW BEST:: SOT 305181 SOS 118849 HAS SOPS 118849 HAS SOUS 76516 HAS SOUPS 76516 WITH SCORE 76634.849
AT ITER 3895 NEW BEST:: SOT 305181 SOS 118849 HAS SOPS 118849 HAS SOUS 76510 HAS SOUPS 76510 WITH SCORE 76628.849
AT ITER 3899 NEW BEST:: SOT 305143 SOS 118809 HAS SOPS 118809 HAS SOUS 76440 HAS SOUPS 76440 WITH SCORE 76558.809
AT ITER 3938 NEW BEST:: SOT 305201 SOS 118756 HAS SOPS 118756 HAS SOUS 76420 HAS SOUPS 76420 WITH SCORE 76538.756
AT ITER 3942 NEW BEST:: SOT 305179 SOS 118734 HAS SOPS 118734 HAS SOUS 76398 HAS SOUPS 76398 WITH SCORE 76516.734
AT ITER 3950 NEW BEST:: SOT 305182 SOS 118737 HAS SOPS 118737 HAS SOUS 76397 HAS SOUPS 76397 WITH SCORE 76515.737
AT ITER 3953 NEW BEST:: SOT 305140 SOS 118674 HAS SOPS 118674 HAS SOUS 76355 HAS SOUPS 76355 WITH SCORE 76473.674
AT ITER 3963 NEW BEST:: SOT 305065 SOS 118599 HAS SOPS 118599 HAS SOUS 76280 HAS SOUPS 76280 WITH SCORE 76398.599
AT ITER 3985 NEW BEST:: SOT 305061 SOS 118595 HAS SOPS 118595 HAS SOUS 76280 HAS SOUPS 76280 WITH SCORE 76398.595
AT ITER 4005 NEW BEST:: SOT 305075 SOS 118555 HAS SOPS 118555 HAS SOUS 76274 HAS SOUPS 76274 WITH SCORE 76392.555
AT ITER 4009 NEW BEST:: SOT 305013 SOS 118431 HAS SOPS 118431 HAS SOUS 76150 HAS SOUPS 76150 WITH SCORE 76268.431
AT ITER 4010 NEW BEST:: SOT 305014 SOS 118415 HAS SOPS 118415 HAS SOUS 76134 HAS SOUPS 76134 WITH SCORE 76252.415
AT ITER 4031 NEW BEST:: SOT 304986 SOS 118386 HAS SOPS 118386 HAS SOUS 76105 HAS SOUPS 76105 WITH SCORE 76223.386
AT ITER 4034 NEW BEST:: SOT 304938 SOS 118314 HAS SOPS 118314 HAS SOUS 76057 HAS SOUPS 76057 WITH SCORE 76175.314
AT ITER 4039 NEW BEST:: SOT 304938 SOS 118204 HAS SOPS 118204 HAS SOUS 75961 HAS SOUPS 75961 WITH SCORE 76079.204
AT ITER 4047 NEW BEST:: SOT 304938 SOS 118172 HAS SOPS 118172 HAS SOUS 75929 HAS SOUPS 75929 WITH SCORE 76047.172
AT ITER 4049 NEW BEST:: SOT 304897 SOS 118049 HAS SOPS 118049 HAS SOUS 75806 HAS SOUPS 75806 WITH SCORE 75924.049
AT ITER 4061 NEW BEST:: SOT 304844 SOS 112828 HAS SOPS 112828 HAS SOUS 75700 HAS SOUPS 75700 WITH SCORE 75812.828
AT ITER 4082 NEW BEST:: SOT 304869 SOS 112792 HAS SOPS 112792 HAS SOUS 75672 HAS SOUPS 75672 WITH SCORE 75784.792
AT ITER 4121 NEW BEST:: SOT 304773 SOS 112600 HAS SOPS 112600 HAS SOUS 75605 HAS SOUPS 75605 WITH SCORE 75717.6
AT ITER 4125 NEW BEST:: SOT 304727 SOS 112508 HAS SOPS 112508 HAS SOUS 75513 HAS SOUPS 75513 WITH SCORE 75625.508
AT ITER 4133 NEW BEST:: SOT 304742 SOS 112537 HAS SOPS 112537 HAS SOUS 75409 HAS SOUPS 75409 WITH SCORE 75521.537
AT ITER 4140 NEW BEST:: SOT 304742 SOS 112536 HAS SOPS 112536 HAS SOUS 75408 HAS SOUPS 75408 WITH SCORE 75520.536
AT ITER 4183 NEW BEST:: SOT 304751 SOS 112534 HAS SOPS 112534 HAS SOUS 75406 HAS SOUPS 75406 WITH SCORE 75518.534
AT ITER 4192 NEW BEST:: SOT 304730 SOS 112492 HAS SOPS 112492 HAS SOUS 75403 HAS SOUPS 75403 WITH SCORE 75515.492
AT ITER 4200 NEW BEST:: SOT 304667 SOS 112366 HAS SOPS 112366 HAS SOUS 75320 HAS SOUPS 75320 WITH SCORE 75432.366
AT ITER 4210 NEW BEST:: SOT 304665 SOS 112364 HAS SOPS 112364 HAS SOUS 75318 HAS SOUPS 75318 WITH SCORE 75430.364
AT ITER 4213 NEW BEST:: SOT 304642 SOS 112350 HAS SOPS 112350 HAS SOUS 75304 HAS SOUPS 75304 WITH SCORE 75416.35
AT ITER 4218 NEW BEST:: SOT 304641 SOS 112348 HAS SOPS 112348 HAS SOUS 75302 HAS SOUPS 75302 WITH SCORE 75414.348
AT ITER 4221 NEW BEST:: SOT 304627 SOS 112320 HAS SOPS 112320 HAS SOUS 75274 HAS SOUPS 75274 WITH SCORE 75386.32
AT ITER 4238 NEW BEST:: SOT 304631 SOS 112328 HAS SOPS 112328 HAS SOUS 75176 HAS SOUPS 75176 WITH SCORE 75288.328
AT ITER 4248 NEW BEST:: SOT 304622 SOS 112310 HAS SOPS 112310 HAS SOUS 75160 HAS SOUPS 75160 WITH SCORE 75272.31
AT ITER 4273 NEW BEST:: SOT 304442 SOS 112119 HAS SOPS 112119 HAS SOUS 75138 HAS SOUPS 75138 WITH SCORE 75250.119
AT ITER 4278 NEW BEST:: SOT 304323 SOS 111869 HAS SOPS 111869 HAS SOUS 74888 HAS SOUPS 74888 WITH SCORE 74999.869
AT ITER 4293 NEW BEST:: SOT 304301 SOS 111898 HAS SOPS 111898 HAS SOUS 74881 HAS SOUPS 74881 WITH SCORE 74992.898
AT ITER 4302 NEW BEST:: SOT 304273 SOS 111751 HAS SOPS 111751 HAS SOUS 74734 HAS SOUPS 74734 WITH SCORE 74845.751
AT ITER 4305 NEW BEST:: SOT 304273 SOS 111731 HAS SOPS 111731 HAS SOUS 74694 HAS SOUPS 74694 WITH SCORE 74805.731
AT ITER 4309 NEW BEST:: SOT 304248 SOS 111706 HAS SOPS 111706 HAS SOUS 74654 HAS SOUPS 74654 WITH SCORE 74765.706
AT ITER 4316 NEW BEST:: SOT 304241 SOS 111692 HAS SOPS 111692 HAS SOUS 74640 HAS SOUPS 74640 WITH SCORE 74751.692
AT ITER 4319 NEW BEST:: SOT 304197 SOS 111552 HAS SOPS 111552 HAS SOUS 74634 HAS SOUPS 74634 WITH SCORE 74745.552
AT ITER 4336 NEW BEST:: SOT 304194 SOS 111550 HAS SOPS 111550 HAS SOUS 74632 HAS SOUPS 74632 WITH SCORE 74743.55
AT ITER 4369 NEW BEST:: SOT 304189 SOS 111537 HAS SOPS 111537 HAS SOUS 74624 HAS SOUPS 74624 WITH SCORE 74735.537
AT ITER 4382 NEW BEST:: SOT 304189 SOS 111358 HAS SOPS 111358 HAS SOUS 74445 HAS SOUPS 74445 WITH SCORE 74556.358
AT ITER 4387 NEW BEST:: SOT 304278 SOS 111329 HAS SOPS 111329 HAS SOUS 74416 HAS SOUPS 74416 WITH SCORE 74527.329
AT ITER 4395 NEW BEST:: SOT 304156 SOS 111085 HAS SOPS 111085 HAS SOUS 74215 HAS SOUPS 74215 WITH SCORE 74326.085
AT ITER 4406 NEW BEST:: SOT 304068 SOS 110997 HAS SOPS 110997 HAS SOUS 74127 HAS SOUPS 74127 WITH SCORE 74237.997
AT ITER 4415 NEW BEST:: SOT 304068 SOS 110994 HAS SOPS 110994 HAS SOUS 74121 HAS SOUPS 74121 WITH SCORE 74231.994
AT ITER 4440 NEW BEST:: SOT 304068 SOS 110994 HAS SOPS 110994 HAS SOUS 74116 HAS SOUPS 74116 WITH SCORE 74226.994
AT ITER 4451 NEW BEST:: SOT 303995 SOS 110848 HAS SOPS 110848 HAS SOUS 73988 HAS SOUPS 73988 WITH SCORE 74098.848
AT ITER 4453 NEW BEST:: SOT 303917 SOS 110770 HAS SOPS 110770 HAS SOUS 73910 HAS SOUPS 73910 WITH SCORE 74020.77
AT ITER 4460 NEW BEST:: SOT 303919 SOS 110616 HAS SOPS 110616 HAS SOUS 73756 HAS SOUPS 73756 WITH SCORE 73866.616
AT ITER 4467 NEW BEST:: SOT 303919 SOS 110616 HAS SOPS 110616 HAS SOUS 73746 HAS SOUPS 73746 WITH SCORE 73856.616
AT ITER 4474 NEW BEST:: SOT 303904 SOS 110645 HAS SOPS 110645 HAS SOUS 73731 HAS SOUPS 73731 WITH SCORE 73841.645
AT ITER 4476 NEW BEST:: SOT 303540 SOS 110120 HAS SOPS 110120 HAS SOUS 73429 HAS SOUPS 73429 WITH SCORE 73539.12
AT ITER 4480 NEW BEST:: SOT 303526 SOS 110092 HAS SOPS 110092 HAS SOUS 73361 HAS SOUPS 73361 WITH SCORE 73471.092
AT ITER 4492 NEW BEST:: SOT 303473 SOS 110039 HAS SOPS 110039 HAS SOUS 73308 HAS SOUPS 73308 WITH SCORE 73418.039
AT ITER 4521 NEW BEST:: SOT 303441 SOS 109985 HAS SOPS 109985 HAS SOUS 73254 HAS SOUPS 73254 WITH SCORE 73363.985
AT ITER 4528 NEW BEST:: SOT 303095 SOS 109542 HAS SOPS 109542 HAS SOUS 73060 HAS SOUPS 73060 WITH SCORE 73169.542
AT ITER 4555 NEW BEST:: SOT 303065 SOS 109523 HAS SOPS 109523 HAS SOUS 73041 HAS SOUPS 73041 WITH SCORE 73150.523
AT ITER 4566 NEW BEST:: SOT 303065 SOS 109515 HAS SOPS 109515 HAS SOUS 73041 HAS SOUPS 73041 WITH SCORE 73150.515
AT ITER 4574 NEW BEST:: SOT 303043 SOS 109507 HAS SOPS 109507 HAS SOUS 73033 HAS SOUPS 73033 WITH SCORE 73142.507
AT ITER 4576 NEW BEST:: SOT 303024 SOS 109499 HAS SOPS 109499 HAS SOUS 73025 HAS SOUPS 73025 WITH SCORE 73134.499
AT ITER 4577 NEW BEST:: SOT 303023 SOS 109498 HAS SOPS 109498 HAS SOUS 73024 HAS SOUPS 73024 WITH SCORE 73133.498
AT ITER 4584 NEW BEST:: SOT 303030 SOS 109375 HAS SOPS 109375 HAS SOUS 72901 HAS SOUPS 72901 WITH SCORE 73010.375
AT ITER 4597 NEW BEST:: SOT 302910 SOS 109135 HAS SOPS 109135 HAS SOUS 72791 HAS SOUPS 72791 WITH SCORE 72900.135
AT ITER 4608 NEW BEST:: SOT 302910 SOS 108995 HAS SOPS 108995 HAS SOUS 72651 HAS SOUPS 72651 WITH SCORE 72759.995
AT ITER 4623 NEW BEST:: SOT 302953 SOS 109081 HAS SOPS 109081 HAS SOUS 72632 HAS SOUPS 72632 WITH SCORE 72741.081
AT ITER 4632 NEW BEST:: SOT 302936 SOS 109063 HAS SOPS 109063 HAS SOUS 72614 HAS SOUPS 72614 WITH SCORE 72723.063
AT ITER 4642 NEW BEST:: SOT 302936 SOS 109129 HAS SOPS 109129 HAS SOUS 72606 HAS SOUPS 72606 WITH SCORE 72715.129
AT ITER 4644 NEW BEST:: SOT 302915 SOS 109107 HAS SOPS 109107 HAS SOUS 72584 HAS SOUPS 72584 WITH SCORE 72693.107
AT ITER 4647 NEW BEST:: SOT 302869 SOS 109061 HAS SOPS 109061 HAS SOUS 72492 HAS SOUPS 72492 WITH SCORE 72601.061
AT ITER 4659 NEW BEST:: SOT 302856 SOS 109009 HAS SOPS 109009 HAS SOUS 72453 HAS SOUPS 72453 WITH SCORE 72562.009
AT ITER 4668 NEW BEST:: SOT 302856 SOS 109009 HAS SOPS 109009 HAS SOUS 72440 HAS SOUPS 72440 WITH SCORE 72549.009
AT ITER 4669 NEW BEST:: SOT 302842 SOS 108995 HAS SOPS 108995 HAS SOUS 72394 HAS SOUPS 72394 WITH SCORE 72502.995
AT ITER 4682 NEW BEST:: SOT 302820 SOS 108951 HAS SOPS 108951 HAS SOUS 72350 HAS SOUPS 72350 WITH SCORE 72458.951
AT ITER 4691 NEW BEST:: SOT 302821 SOS 108942 HAS SOPS 108942 HAS SOUS 72344 HAS SOUPS 72344 WITH SCORE 72452.942
AT ITER 4693 NEW BEST:: SOT 302821 SOS 108933 HAS SOPS 108933 HAS SOUS 72335 HAS SOUPS 72335 WITH SCORE 72443.933
AT ITER 4696 NEW BEST:: SOT 302834 SOS 109033 HAS SOPS 109033 HAS SOUS 72318 HAS SOUPS 72318 WITH SCORE 72427.033
AT ITER 4737 NEW BEST:: SOT 302963 SOS 109117 HAS SOPS 109117 HAS SOUS 72315 HAS SOUPS 72315 WITH SCORE 72424.117
AT ITER 4768 NEW BEST:: SOT 302962 SOS 109116 HAS SOPS 109116 HAS SOUS 72315 HAS SOUPS 72315 WITH SCORE 72424.116
AT ITER 4779 NEW BEST:: SOT 302948 SOS 109102 HAS SOPS 109102 HAS SOUS 72301 HAS SOUPS 72301 WITH SCORE 72410.102
AT ITER 4780 NEW BEST:: SOT 302833 SOS 109179 HAS SOPS 109179 HAS SOUS 72230 HAS SOUPS 72230 WITH SCORE 72339.179
AT ITER 4805 NEW BEST:: SOT 302833 SOS 109179 HAS SOPS 109179 HAS SOUS 72171 HAS SOUPS 72171 WITH SCORE 72280.179
AT ITER 4808 NEW BEST:: SOT 302806 SOS 108936 HAS SOPS 108936 HAS SOUS 71928 HAS SOUPS 71928 WITH SCORE 72036.936
AT ITER 4814 NEW BEST:: SOT 302718 SOS 108760 HAS SOPS 108760 HAS SOUS 71793 HAS SOUPS 71793 WITH SCORE 71901.76
AT ITER 4815 NEW BEST:: SOT 302702 SOS 108728 HAS SOPS 108728 HAS SOUS 71761 HAS SOUPS 71761 WITH SCORE 71869.728
AT ITER 4818 NEW BEST:: SOT 302670 SOS 108707 HAS SOPS 108707 HAS SOUS 71719 HAS SOUPS 71719 WITH SCORE 71827.707
AT ITER 4863 NEW BEST:: SOT 302685 SOS 108703 HAS SOPS 108703 HAS SOUS 71715 HAS SOUPS 71715 WITH SCORE 71823.703
AT ITER 4876 NEW BEST:: SOT 302631 SOS 108663 HAS SOPS 108663 HAS SOUS 71709 HAS SOUPS 71709 WITH SCORE 71817.663
AT ITER 4894 NEW BEST:: SOT 302627 SOS 108661 HAS SOPS 108661 HAS SOUS 71705 HAS SOUPS 71705 WITH SCORE 71813.661
AT ITER 4901 NEW BEST:: SOT 302627 SOS 108649 HAS SOPS 108649 HAS SOUS 71663 HAS SOUPS 71663 WITH SCORE 71771.649
AT ITER 4926 NEW BEST:: SOT 302627 SOS 108605 HAS SOPS 108605 HAS SOUS 71641 HAS SOUPS 71641 WITH SCORE 71749.605
AT ITER 4950 NEW BEST:: SOT 302511 SOS 108418 HAS SOPS 108418 HAS SOUS 71454 HAS SOUPS 71454 WITH SCORE 71562.418
AT ITER 4983 NEW BEST:: SOT 302462 SOS 108369 HAS SOPS 108369 HAS SOUS 71405 HAS SOUPS 71405 WITH SCORE 71513.369
AT ITER 4997 NEW BEST:: SOT 302473 SOS 108372 HAS SOPS 108372 HAS SOUS 71380 HAS SOUPS 71380 WITH SCORE 71488.372
Bounds file is: CTLFireability.xml
PROPERTY: BusinessProcesses-PT-20-CTLFireability-00 (EU( ( (AX( ((potential((tk(P776)>=1)))))) | (! ( ((potential((tk(P7)>=1)))) | ((potential((tk(P379)>=1)))) )) ) , ( ( ((potential((tk(P33)>=1)))) & (! ((potential((tk(P743)>=1))))) ) | ( ( ((potential((tk(P599)>=1)))) & ((potential((tk(P747)>=1)))) ) & ( ((potential((tk(P46)>=1)))) & ((potential((tk(P248)>=1)))) ) ) ) ))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-01 (EF( (AU( (! ((potential((tk(P161)>=1))))) , ( ((potential((tk(P745)>=1)))) & ((potential((tk(P673)>=1)))) ) ))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-02 (EU( (AG( (! ((potential((tk(P393)>=1) & (tk(P134)>=1) & (tk(P627)>=1))))))) , (AU( ((potential((tk(P434)>=1)))) , ((potential((tk(P418)>=1) & (tk(P81)>=1) & (tk(P759)>=1)))) )) ))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-03 (AG( (AF( ( ( ((potential((tk(P692)>=1)))) | ((potential((tk(P336)>=1)))) ) | (! ((potential((tk(P79)>=1))))) )))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-04 (EU( (AX( (! ((potential((tk(P375)>=1))))))) , (AU( ((potential((tk(P739)>=1)))) , ((potential((tk(P551)>=1)))) )) ))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-05 (AX( (AG( (EF( ((potential((tk(P226)>=1))))))))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-06 (AF( (EF( (EG( ((potential((tk(P149)>=1))))))))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-07 ( ( (EF( ( ( ((potential((tk(P434)>=1)))) & ((potential((tk(P140)>=1)))) ) | (! ((potential((tk(P510)>=1))))) ))) & (EF( ((potential((tk(P88)>=1) & (tk(P613)>=1)))))) ) | (AU( ((potential((tk(P441)>=1)))) , ((potential((tk(P653)>=1)))) )) )
PROPERTY: BusinessProcesses-PT-20-CTLFireability-08 (AG( (EU( ((potential((tk(P10)>=1)))) , (! ((potential((tk(P572)>=1))))) ))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-09 (EU( ( ((potential((tk(P285)>=1)))) & (EG( ((potential((tk(P200)>=1)))))) ) , (EF( ((potential((tk(P514)>=1)))))) ))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-10 (AG( (! (EF( ( ((potential((tk(P534)>=1)))) | ((potential((tk(P641)>=1)))) ))))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-11 (EF( (! (! (AF( ((potential((tk(P639)>=1))))))))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-12 (! (EF( ( (AG( ((potential((tk(P543)>=1) & (tk(P280)>=1) & (tk(P723)>=1)))))) & ( ( ((potential((tk(P82)>=1)))) | ((potential((tk(P420)>=1)))) ) | ( ((potential((tk(P539)>=1)))) | ((potential((tk(P365)>=1)))) ) ) ))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-13 (AG( ( ((potential((tk(P679)>=1)))) | (! ((potential((tk(P75)>=1))))) )))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-14 (AG( (AF( ((potential((tk(P748)>=1))))))))
PROPERTY: BusinessProcesses-PT-20-CTLFireability-15 ( (! ( (EF( ( ((potential((tk(P266)>=1)))) | ((potential((tk(P428)>=1) & (tk(P97)>=1) & (tk(P756)>=1)))) ))) & (AX( (! ((potential((tk(P718)>=1))))))) )) | ( ( ( (EX( ((potential((tk(P198)>=1)))))) | ( ((potential((tk(P393)>=1) & (tk(P134)>=1) & (tk(P627)>=1)))) | (! ((potential((tk(P18)>=1))))) ) ) | (! (AG( ((potential((tk(P514)>=1))))))) ) & (AF( ( ( ((potential((tk(P330)>=1)))) & ((potential((tk(P14)>=1)))) ) | ((potential((tk(P428)>=1) & (tk(P109)>=1) & (tk(P612)>=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="BusinessProcesses-PT-20"
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 BusinessProcesses-PT-20, 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 r018-oct2-158897680200604"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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