fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902542400568
Last Updated
Jun 28, 2020

About the Execution of smart for DLCround-PT-10a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.770 1841210.00 1841030.00 0.00 [undef] Cannot compute

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.r048-ebro-158902542400568.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 DLCround-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 824K
-rw-r--r-- 1 mcc users 3.4K Mar 30 19:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 19:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 09:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 09:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 05:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 00:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 00:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589129857406

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 337 places, 2605 transitions, 10130 arcs.
AT ITER 0 NEW BEST:: SOT 551970 SOS 467153 HAS SOPS 282745 HAS SOUS 55803 HAS SOUPS 38909 WITH SCORE 39376.153
AT ITER 5 NEW BEST:: SOT 551491 SOS 466785 HAS SOPS 281822 HAS SOUS 54973 HAS SOUPS 37643 WITH SCORE 38109.785
AT ITER 7 NEW BEST:: SOT 551590 SOS 464665 HAS SOPS 280836 HAS SOUS 54855 HAS SOUPS 37606 WITH SCORE 38070.665
AT ITER 11 NEW BEST:: SOT 551538 SOS 464809 HAS SOPS 280716 HAS SOUS 54823 HAS SOUPS 37566 WITH SCORE 38030.809
AT ITER 21 NEW BEST:: SOT 551235 SOS 464607 HAS SOPS 280009 HAS SOUS 54190 HAS SOUPS 36541 WITH SCORE 37005.607
AT ITER 27 NEW BEST:: SOT 551576 SOS 465092 HAS SOPS 279630 HAS SOUS 53621 HAS SOUPS 35644 WITH SCORE 36109.092
AT ITER 28 NEW BEST:: SOT 551691 SOS 463014 HAS SOPS 278812 HAS SOUS 53519 HAS SOUPS 35632 WITH SCORE 36095.014
AT ITER 38 NEW BEST:: SOT 551678 SOS 462806 HAS SOPS 278604 HAS SOUS 53506 HAS SOUPS 35619 WITH SCORE 36081.806
AT ITER 40 NEW BEST:: SOT 551678 SOS 462806 HAS SOPS 278696 HAS SOUS 52676 HAS SOUPS 35117 WITH SCORE 35579.806
AT ITER 48 NEW BEST:: SOT 551658 SOS 460301 HAS SOPS 276191 HAS SOUS 52666 HAS SOUPS 35107 WITH SCORE 35567.301
AT ITER 53 NEW BEST:: SOT 551753 SOS 460362 HAS SOPS 276252 HAS SOUS 52650 HAS SOUPS 35091 WITH SCORE 35551.362
AT ITER 55 NEW BEST:: SOT 552364 SOS 461113 HAS SOPS 276163 HAS SOUS 52258 HAS SOUPS 34439 WITH SCORE 34900.113
AT ITER 63 NEW BEST:: SOT 552312 SOS 460281 HAS SOPS 276059 HAS SOUS 52183 HAS SOUPS 34416 WITH SCORE 34876.281
AT ITER 64 NEW BEST:: SOT 552279 SOS 459805 HAS SOPS 275583 HAS SOUS 52169 HAS SOUPS 34402 WITH SCORE 34861.805
AT ITER 70 NEW BEST:: SOT 551090 SOS 456505 HAS SOPS 274549 HAS SOUS 50947 HAS SOUPS 33386 WITH SCORE 33842.505
AT ITER 82 NEW BEST:: SOT 550719 SOS 453912 HAS SOPS 272922 HAS SOUS 50295 HAS SOUPS 31704 WITH SCORE 32157.912
AT ITER 93 NEW BEST:: SOT 550811 SOS 453606 HAS SOPS 273792 HAS SOUS 50193 HAS SOUPS 31686 WITH SCORE 32139.606
AT ITER 94 NEW BEST:: SOT 550799 SOS 453542 HAS SOPS 273772 HAS SOUS 50181 HAS SOUPS 31678 WITH SCORE 32131.542
AT ITER 100 NEW BEST:: SOT 550729 SOS 452979 HAS SOPS 273726 HAS SOUS 50123 HAS SOUPS 31667 WITH SCORE 32119.979
AT ITER 111 NEW BEST:: SOT 551134 SOS 453524 HAS SOPS 273431 HAS SOUS 48940 HAS SOUPS 30484 WITH SCORE 30937.524
AT ITER 122 NEW BEST:: SOT 551130 SOS 453542 HAS SOPS 273339 HAS SOUS 48825 HAS SOUPS 30301 WITH SCORE 30754.542
AT ITER 139 NEW BEST:: SOT 549784 SOS 449765 HAS SOPS 272088 HAS SOUS 49071 HAS SOUPS 30280 WITH SCORE 30729.765
AT ITER 142 NEW BEST:: SOT 549794 SOS 449944 HAS SOPS 272267 HAS SOUS 48821 HAS SOUPS 30030 WITH SCORE 30479.944
AT ITER 158 NEW BEST:: SOT 549785 SOS 449935 HAS SOPS 272258 HAS SOUS 48812 HAS SOUPS 30021 WITH SCORE 30470.935
AT ITER 160 NEW BEST:: SOT 549847 SOS 449997 HAS SOPS 272320 HAS SOUS 48781 HAS SOUPS 29990 WITH SCORE 30439.997
AT ITER 171 NEW BEST:: SOT 550572 SOS 447511 HAS SOPS 271888 HAS SOUS 49254 HAS SOUPS 29891 WITH SCORE 30338.511
AT ITER 179 NEW BEST:: SOT 550592 SOS 447549 HAS SOPS 271818 HAS SOUS 49058 HAS SOUPS 29695 WITH SCORE 30142.549
AT ITER 190 NEW BEST:: SOT 550559 SOS 447483 HAS SOPS 271785 HAS SOUS 48992 HAS SOUPS 29662 WITH SCORE 30109.483
AT ITER 195 NEW BEST:: SOT 550632 SOS 447556 HAS SOPS 271785 HAS SOUS 48983 HAS SOUPS 29657 WITH SCORE 30104.556
AT ITER 199 NEW BEST:: SOT 550786 SOS 447710 HAS SOPS 271802 HAS SOUS 48711 HAS SOUPS 29621 WITH SCORE 30068.71
AT ITER 222 NEW BEST:: SOT 550825 SOS 447749 HAS SOPS 271795 HAS SOUS 48704 HAS SOUPS 29614 WITH SCORE 30061.749
AT ITER 230 NEW BEST:: SOT 550819 SOS 447737 HAS SOPS 271783 HAS SOUS 48704 HAS SOUPS 29614 WITH SCORE 30061.737
AT ITER 237 NEW BEST:: SOT 550914 SOS 447832 HAS SOPS 271736 HAS SOUS 48657 HAS SOUPS 29567 WITH SCORE 30014.832
AT ITER 253 NEW BEST:: SOT 550892 SOS 447480 HAS SOPS 272056 HAS SOUS 48574 HAS SOUPS 29532 WITH SCORE 29979.48
AT ITER 265 NEW BEST:: SOT 550853 SOS 446414 HAS SOPS 271662 HAS SOUS 48509 HAS SOUPS 29515 WITH SCORE 29961.414
AT ITER 275 NEW BEST:: SOT 550705 SOS 446367 HAS SOPS 271009 HAS SOUS 48069 HAS SOUPS 28711 WITH SCORE 29157.367
AT ITER 287 NEW BEST:: SOT 550670 SOS 446427 HAS SOPS 270694 HAS SOUS 47813 HAS SOUPS 28171 WITH SCORE 28617.427
AT ITER 303 NEW BEST:: SOT 550620 SOS 441105 HAS SOPS 265372 HAS SOUS 47806 HAS SOUPS 28164 WITH SCORE 28605.105
AT ITER 332 NEW BEST:: SOT 550689 SOS 441174 HAS SOPS 265337 HAS SOUS 47771 HAS SOUPS 28129 WITH SCORE 28570.174
AT ITER 340 NEW BEST:: SOT 550621 SOS 441224 HAS SOPS 265387 HAS SOUS 47545 HAS SOUPS 27903 WITH SCORE 28344.224
AT ITER 352 NEW BEST:: SOT 550604 SOS 441207 HAS SOPS 265387 HAS SOUS 47545 HAS SOUPS 27903 WITH SCORE 28344.207
AT ITER 364 NEW BEST:: SOT 550601 SOS 441192 HAS SOPS 265383 HAS SOUS 47541 HAS SOUPS 27900 WITH SCORE 28341.192
AT ITER 370 NEW BEST:: SOT 550599 SOS 441190 HAS SOPS 265381 HAS SOUS 47539 HAS SOUPS 27898 WITH SCORE 28339.19
AT ITER 372 NEW BEST:: SOT 550592 SOS 441231 HAS SOPS 265447 HAS SOUS 47411 HAS SOUPS 27876 WITH SCORE 28317.231
AT ITER 373 NEW BEST:: SOT 550637 SOS 441207 HAS SOPS 265431 HAS SOUS 47326 HAS SOUPS 27860 WITH SCORE 28301.207
AT ITER 377 NEW BEST:: SOT 550637 SOS 441170 HAS SOPS 265394 HAS SOUS 47318 HAS SOUPS 27852 WITH SCORE 28293.17
AT ITER 379 NEW BEST:: SOT 550799 SOS 440982 HAS SOPS 265206 HAS SOUS 47311 HAS SOUPS 27845 WITH SCORE 28285.982
AT ITER 380 NEW BEST:: SOT 550727 SOS 439970 HAS SOPS 264908 HAS SOUS 47258 HAS SOUPS 27843 WITH SCORE 28282.97
AT ITER 386 NEW BEST:: SOT 550742 SOS 439985 HAS SOPS 264884 HAS SOUS 47234 HAS SOUPS 27819 WITH SCORE 28258.985
AT ITER 389 NEW BEST:: SOT 550742 SOS 440033 HAS SOPS 265196 HAS SOUS 47209 HAS SOUPS 27818 WITH SCORE 28258.033
AT ITER 404 NEW BEST:: SOT 550744 SOS 440035 HAS SOPS 265198 HAS SOUS 47203 HAS SOUPS 27812 WITH SCORE 28252.035
AT ITER 435 NEW BEST:: SOT 550672 SOS 439963 HAS SOPS 265198 HAS SOUS 47059 HAS SOUPS 27668 WITH SCORE 28107.963
AT ITER 436 NEW BEST:: SOT 550679 SOS 439970 HAS SOPS 265200 HAS SOUS 47056 HAS SOUPS 27665 WITH SCORE 28104.97
AT ITER 441 NEW BEST:: SOT 550884 SOS 440203 HAS SOPS 265265 HAS SOUS 46925 HAS SOUPS 27534 WITH SCORE 27974.203
AT ITER 445 NEW BEST:: SOT 550870 SOS 440175 HAS SOPS 265251 HAS SOUS 46897 HAS SOUPS 27520 WITH SCORE 27960.175
AT ITER 449 NEW BEST:: SOT 550798 SOS 439791 HAS SOPS 265131 HAS SOUS 46825 HAS SOUPS 27472 WITH SCORE 27911.791
AT ITER 450 NEW BEST:: SOT 550738 SOS 439821 HAS SOPS 264741 HAS SOUS 46825 HAS SOUPS 27442 WITH SCORE 27881.821
AT ITER 454 NEW BEST:: SOT 550725 SOS 439600 HAS SOPS 264702 HAS SOUS 46812 HAS SOUPS 27442 WITH SCORE 27881.6
AT ITER 466 NEW BEST:: SOT 550699 SOS 439574 HAS SOPS 264676 HAS SOUS 46786 HAS SOUPS 27416 WITH SCORE 27855.574
AT ITER 472 NEW BEST:: SOT 550699 SOS 439405 HAS SOPS 264507 HAS SOUS 46786 HAS SOUPS 27416 WITH SCORE 27855.405
AT ITER 476 NEW BEST:: SOT 550690 SOS 439396 HAS SOPS 264507 HAS SOUS 46786 HAS SOUPS 27416 WITH SCORE 27855.396
AT ITER 481 NEW BEST:: SOT 550688 SOS 439394 HAS SOPS 264505 HAS SOUS 46784 HAS SOUPS 27414 WITH SCORE 27853.394
AT ITER 483 NEW BEST:: SOT 551504 SOS 440210 HAS SOPS 264661 HAS SOUS 46415 HAS SOUPS 26985 WITH SCORE 27425.21
AT ITER 493 NEW BEST:: SOT 551359 SOS 441398 HAS SOPS 264991 HAS SOUS 46314 HAS SOUPS 26884 WITH SCORE 27325.398
AT ITER 500 NEW BEST:: SOT 551359 SOS 442230 HAS SOPS 265375 HAS SOUS 46314 HAS SOUPS 26852 WITH SCORE 27294.23
AT ITER 504 NEW BEST:: SOT 550777 SOS 443783 HAS SOPS 265746 HAS SOUS 45705 HAS SOUPS 26837 WITH SCORE 27280.783
AT ITER 505 NEW BEST:: SOT 551578 SOS 444584 HAS SOPS 266547 HAS SOUS 45729 HAS SOUPS 26790 WITH SCORE 27234.584
AT ITER 513 NEW BEST:: SOT 551547 SOS 444549 HAS SOPS 266547 HAS SOUS 45725 HAS SOUPS 26790 WITH SCORE 27234.549
AT ITER 514 NEW BEST:: SOT 551530 SOS 444311 HAS SOPS 266496 HAS SOUS 45657 HAS SOUPS 26739 WITH SCORE 27183.311
AT ITER 516 NEW BEST:: SOT 551519 SOS 444300 HAS SOPS 266485 HAS SOUS 45664 HAS SOUPS 26738 WITH SCORE 27182.3
AT ITER 525 NEW BEST:: SOT 551521 SOS 444855 HAS SOPS 266611 HAS SOUS 45674 HAS SOUPS 26735 WITH SCORE 27179.855
AT ITER 531 NEW BEST:: SOT 551455 SOS 444692 HAS SOPS 266448 HAS SOUS 45589 HAS SOUPS 26650 WITH SCORE 27094.692
AT ITER 537 NEW BEST:: SOT 551475 SOS 444722 HAS SOPS 266478 HAS SOUS 45579 HAS SOUPS 26640 WITH SCORE 27084.722
AT ITER 540 NEW BEST:: SOT 551411 SOS 443894 HAS SOPS 266042 HAS SOUS 45476 HAS SOUPS 26565 WITH SCORE 27008.894
AT ITER 575 NEW BEST:: SOT 551407 SOS 443894 HAS SOPS 265986 HAS SOUS 45476 HAS SOUPS 26561 WITH SCORE 27004.894
AT ITER 577 NEW BEST:: SOT 551356 SOS 443843 HAS SOPS 265952 HAS SOUS 45442 HAS SOUPS 26527 WITH SCORE 26970.843
AT ITER 598 NEW BEST:: SOT 551356 SOS 443860 HAS SOPS 265935 HAS SOUS 45442 HAS SOUPS 26510 WITH SCORE 26953.86
AT ITER 603 NEW BEST:: SOT 551357 SOS 443869 HAS SOPS 265936 HAS SOUS 45435 HAS SOUPS 26495 WITH SCORE 26938.869
AT ITER 607 NEW BEST:: SOT 551444 SOS 443956 HAS SOPS 265838 HAS SOUS 45304 HAS SOUPS 26280 WITH SCORE 26723.956
AT ITER 617 NEW BEST:: SOT 551596 SOS 444108 HAS SOPS 265862 HAS SOUS 45247 HAS SOUPS 26259 WITH SCORE 26703.108
AT ITER 631 NEW BEST:: SOT 551596 SOS 444108 HAS SOPS 265862 HAS SOUS 45238 HAS SOUPS 26250 WITH SCORE 26694.108
AT ITER 636 NEW BEST:: SOT 552531 SOS 445978 HAS SOPS 266372 HAS SOUS 45153 HAS SOUPS 26080 WITH SCORE 26525.978
AT ITER 644 NEW BEST:: SOT 552504 SOS 445951 HAS SOPS 266372 HAS SOUS 45153 HAS SOUPS 26080 WITH SCORE 26525.951
AT ITER 662 NEW BEST:: SOT 552524 SOS 445781 HAS SOPS 266328 HAS SOUS 45131 HAS SOUPS 26058 WITH SCORE 26503.781
AT ITER 663 NEW BEST:: SOT 552524 SOS 445781 HAS SOPS 266328 HAS SOUS 45122 HAS SOUPS 26053 WITH SCORE 26498.781
AT ITER 671 NEW BEST:: SOT 552514 SOS 445781 HAS SOPS 266313 HAS SOUS 45117 HAS SOUPS 26048 WITH SCORE 26493.781
AT ITER 677 NEW BEST:: SOT 552561 SOS 445828 HAS SOPS 266313 HAS SOUS 45017 HAS SOUPS 25996 WITH SCORE 26441.828
AT ITER 678 NEW BEST:: SOT 552516 SOS 445406 HAS SOPS 267319 HAS SOUS 44846 HAS SOUPS 25927 WITH SCORE 26372.406
AT ITER 687 NEW BEST:: SOT 552396 SOS 445286 HAS SOPS 267199 HAS SOUS 44846 HAS SOUPS 25927 WITH SCORE 26372.286
AT ITER 689 NEW BEST:: SOT 552511 SOS 445894 HAS SOPS 267518 HAS SOUS 44843 HAS SOUPS 25924 WITH SCORE 26369.894
AT ITER 693 NEW BEST:: SOT 552513 SOS 446093 HAS SOPS 267535 HAS SOUS 44847 HAS SOUPS 25915 WITH SCORE 26361.093
AT ITER 696 NEW BEST:: SOT 552499 SOS 446079 HAS SOPS 267521 HAS SOUS 44833 HAS SOUPS 25901 WITH SCORE 26347.079
AT ITER 702 NEW BEST:: SOT 551673 SOS 445253 HAS SOPS 266813 HAS SOUS 44603 HAS SOUPS 25671 WITH SCORE 26116.253
AT ITER 719 NEW BEST:: SOT 551664 SOS 445244 HAS SOPS 266804 HAS SOUS 44594 HAS SOUPS 25662 WITH SCORE 26107.244
AT ITER 729 NEW BEST:: SOT 551677 SOS 445280 HAS SOPS 266816 HAS SOUS 44585 HAS SOUPS 25658 WITH SCORE 26103.28
AT ITER 733 NEW BEST:: SOT 551697 SOS 445796 HAS SOPS 266940 HAS SOUS 44603 HAS SOUPS 25648 WITH SCORE 26093.796
AT ITER 756 NEW BEST:: SOT 551673 SOS 445772 HAS SOPS 266916 HAS SOUS 44579 HAS SOUPS 25624 WITH SCORE 26069.772
AT ITER 772 NEW BEST:: SOT 551642 SOS 445741 HAS SOPS 266885 HAS SOUS 44503 HAS SOUPS 25568 WITH SCORE 26013.741
AT ITER 774 NEW BEST:: SOT 551524 SOS 443933 HAS SOPS 265973 HAS SOUS 44361 HAS SOUPS 25490 WITH SCORE 25933.933
AT ITER 782 NEW BEST:: SOT 551512 SOS 443921 HAS SOPS 265973 HAS SOUS 44361 HAS SOUPS 25490 WITH SCORE 25933.921
AT ITER 789 NEW BEST:: SOT 551356 SOS 438164 HAS SOPS 260958 HAS SOUS 44256 HAS SOUPS 25438 WITH SCORE 25876.164
AT ITER 806 NEW BEST:: SOT 551350 SOS 438068 HAS SOPS 260862 HAS SOUS 44249 HAS SOUPS 25431 WITH SCORE 25869.068
AT ITER 826 NEW BEST:: SOT 551346 SOS 438004 HAS SOPS 260798 HAS SOUS 44245 HAS SOUPS 25427 WITH SCORE 25865.004
AT ITER 839 NEW BEST:: SOT 551346 SOS 438004 HAS SOPS 260798 HAS SOUS 44236 HAS SOUPS 25422 WITH SCORE 25860.004
AT ITER 841 NEW BEST:: SOT 551330 SOS 437748 HAS SOPS 260654 HAS SOUS 44220 HAS SOUPS 25414 WITH SCORE 25851.748
AT ITER 855 NEW BEST:: SOT 551275 SOS 437693 HAS SOPS 260599 HAS SOUS 44165 HAS SOUPS 25359 WITH SCORE 25796.693
AT ITER 863 NEW BEST:: SOT 551229 SOS 437647 HAS SOPS 260553 HAS SOUS 44119 HAS SOUPS 25313 WITH SCORE 25750.647
AT ITER 867 NEW BEST:: SOT 551227 SOS 437643 HAS SOPS 260553 HAS SOUS 44117 HAS SOUPS 25313 WITH SCORE 25750.643
AT ITER 877 NEW BEST:: SOT 551206 SOS 437538 HAS SOPS 260448 HAS SOUS 44096 HAS SOUPS 25292 WITH SCORE 25729.538
AT ITER 880 NEW BEST:: SOT 551292 SOS 438594 HAS SOPS 261283 HAS SOUS 44091 HAS SOUPS 25287 WITH SCORE 25725.594
AT ITER 897 NEW BEST:: SOT 551490 SOS 438792 HAS SOPS 261373 HAS SOUS 44077 HAS SOUPS 25273 WITH SCORE 25711.792
AT ITER 904 NEW BEST:: SOT 551720 SOS 439022 HAS SOPS 261487 HAS SOUS 43930 HAS SOUPS 25155 WITH SCORE 25594.022
AT ITER 916 NEW BEST:: SOT 551729 SOS 439097 HAS SOPS 261562 HAS SOUS 43905 HAS SOUPS 25130 WITH SCORE 25569.097
AT ITER 917 NEW BEST:: SOT 551893 SOS 439277 HAS SOPS 261646 HAS SOUS 43877 HAS SOUPS 25102 WITH SCORE 25541.277
AT ITER 919 NEW BEST:: SOT 551893 SOS 439247 HAS SOPS 261646 HAS SOUS 43838 HAS SOUPS 25097 WITH SCORE 25536.247
AT ITER 945 NEW BEST:: SOT 552372 SOS 439726 HAS SOPS 261795 HAS SOUS 43591 HAS SOUPS 24850 WITH SCORE 25289.726
AT ITER 949 NEW BEST:: SOT 552312 SOS 438179 HAS SOPS 261494 HAS SOUS 43482 HAS SOUPS 24830 WITH SCORE 25268.179
AT ITER 950 NEW BEST:: SOT 552145 SOS 437961 HAS SOPS 261276 HAS SOUS 43437 HAS SOUPS 24785 WITH SCORE 25222.961
AT ITER 972 NEW BEST:: SOT 552107 SOS 437923 HAS SOPS 261276 HAS SOUS 43437 HAS SOUPS 24785 WITH SCORE 25222.923
AT ITER 987 NEW BEST:: SOT 552082 SOS 437523 HAS SOPS 260876 HAS SOUS 43412 HAS SOUPS 24760 WITH SCORE 25197.523
AT ITER 992 NEW BEST:: SOT 552072 SOS 437363 HAS SOPS 260716 HAS SOUS 43406 HAS SOUPS 24754 WITH SCORE 25191.363
AT ITER 1010 NEW BEST:: SOT 552086 SOS 437231 HAS SOPS 260724 HAS SOUS 43384 HAS SOUPS 24742 WITH SCORE 25179.231
AT ITER 1024 NEW BEST:: SOT 552101 SOS 437021 HAS SOPS 260724 HAS SOUS 43340 HAS SOUPS 24713 WITH SCORE 25150.021
AT ITER 1044 NEW BEST:: SOT 551870 SOS 436909 HAS SOPS 261144 HAS SOUS 42323 HAS SOUPS 24598 WITH SCORE 25034.909
AT ITER 1055 NEW BEST:: SOT 551858 SOS 436685 HAS SOPS 260920 HAS SOUS 42291 HAS SOUPS 24566 WITH SCORE 25002.685
AT ITER 1070 NEW BEST:: SOT 551853 SOS 436693 HAS SOPS 260928 HAS SOUS 42288 HAS SOUPS 24563 WITH SCORE 24999.693
AT ITER 1087 NEW BEST:: SOT 551948 SOS 435779 HAS SOPS 260980 HAS SOUS 42219 HAS SOUPS 24563 WITH SCORE 24998.779
AT ITER 1112 NEW BEST:: SOT 552798 SOS 437421 HAS SOPS 261398 HAS SOUS 42313 HAS SOUPS 24505 WITH SCORE 24942.421
AT ITER 1115 NEW BEST:: SOT 552711 SOS 437334 HAS SOPS 261398 HAS SOUS 42285 HAS SOUPS 24477 WITH SCORE 24914.334
AT ITER 1155 NEW BEST:: SOT 552709 SOS 437306 HAS SOPS 261392 HAS SOUS 42277 HAS SOUPS 24471 WITH SCORE 24908.306
AT ITER 1170 NEW BEST:: SOT 552707 SOS 437304 HAS SOPS 261390 HAS SOUS 42275 HAS SOUPS 24469 WITH SCORE 24906.304
AT ITER 1172 NEW BEST:: SOT 552699 SOS 437288 HAS SOPS 261374 HAS SOUS 42267 HAS SOUPS 24461 WITH SCORE 24898.288
AT ITER 1177 NEW BEST:: SOT 552699 SOS 437288 HAS SOPS 261374 HAS SOUS 42213 HAS SOUPS 24431 WITH SCORE 24868.288
AT ITER 1194 NEW BEST:: SOT 552655 SOS 437244 HAS SOPS 261330 HAS SOUS 42169 HAS SOUPS 24387 WITH SCORE 24824.244
AT ITER 1217 NEW BEST:: SOT 552646 SOS 437284 HAS SOPS 261370 HAS SOUS 42083 HAS SOUPS 24301 WITH SCORE 24738.284
AT ITER 1240 NEW BEST:: SOT 552626 SOS 437432 HAS SOPS 261377 HAS SOUS 42028 HAS SOUPS 24246 WITH SCORE 24683.432
AT ITER 1256 NEW BEST:: SOT 552594 SOS 437397 HAS SOPS 261342 HAS SOUS 41976 HAS SOUPS 24194 WITH SCORE 24631.397
AT ITER 1279 NEW BEST:: SOT 552478 SOS 436705 HAS SOPS 261233 HAS SOUS 41859 HAS SOUPS 24130 WITH SCORE 24566.705
AT ITER 1291 NEW BEST:: SOT 552478 SOS 436705 HAS SOPS 261233 HAS SOUS 41850 HAS SOUPS 24125 WITH SCORE 24561.705
AT ITER 1303 NEW BEST:: SOT 552445 SOS 436529 HAS SOPS 261178 HAS SOUS 41828 HAS SOUPS 24114 WITH SCORE 24550.529
AT ITER 1307 NEW BEST:: SOT 552490 SOS 436569 HAS SOPS 261198 HAS SOUS 41813 HAS SOUPS 24104 WITH SCORE 24540.569
AT ITER 1364 NEW BEST:: SOT 552480 SOS 436231 HAS SOPS 260860 HAS SOUS 41742 HAS SOUPS 24033 WITH SCORE 24469.231
AT ITER 1367 NEW BEST:: SOT 552487 SOS 436113 HAS SOPS 260841 HAS SOUS 41661 HAS SOUPS 23952 WITH SCORE 24388.113
AT ITER 1387 NEW BEST:: SOT 552436 SOS 435750 HAS SOPS 260797 HAS SOUS 41612 HAS SOUPS 23932 WITH SCORE 24367.75
AT ITER 1401 NEW BEST:: SOT 552479 SOS 436270 HAS SOPS 260883 HAS SOUS 41605 HAS SOUPS 23894 WITH SCORE 24330.27
AT ITER 1409 NEW BEST:: SOT 552399 SOS 438947 HAS SOPS 261976 HAS SOUS 41629 HAS SOUPS 23870 WITH SCORE 24308.947
AT ITER 1410 NEW BEST:: SOT 552393 SOS 438941 HAS SOPS 261976 HAS SOUS 41629 HAS SOUPS 23870 WITH SCORE 24308.941
AT ITER 1433 NEW BEST:: SOT 552344 SOS 438892 HAS SOPS 261952 HAS SOUS 41605 HAS SOUPS 23846 WITH SCORE 24284.892
AT ITER 1445 NEW BEST:: SOT 552132 SOS 438571 HAS SOPS 261733 HAS SOUS 41597 HAS SOUPS 23838 WITH SCORE 24276.571
AT ITER 1451 NEW BEST:: SOT 552112 SOS 437714 HAS SOPS 261394 HAS SOUS 41559 HAS SOUPS 23837 WITH SCORE 24274.714
AT ITER 1486 NEW BEST:: SOT 552104 SOS 437706 HAS SOPS 261394 HAS SOUS 41559 HAS SOUPS 23837 WITH SCORE 24274.706
AT ITER 1488 NEW BEST:: SOT 552092 SOS 437682 HAS SOPS 261394 HAS SOUS 41547 HAS SOUPS 23837 WITH SCORE 24274.682
AT ITER 1496 NEW BEST:: SOT 552060 SOS 437650 HAS SOPS 261394 HAS SOUS 41547 HAS SOUPS 23837 WITH SCORE 24274.65
AT ITER 1531 NEW BEST:: SOT 552028 SOS 437046 HAS SOPS 261070 HAS SOUS 41484 HAS SOUPS 23794 WITH SCORE 24231.046
AT ITER 1543 NEW BEST:: SOT 552028 SOS 437018 HAS SOPS 261042 HAS SOUS 41482 HAS SOUPS 23792 WITH SCORE 24229.018
AT ITER 1568 NEW BEST:: SOT 552223 SOS 437603 HAS SOPS 261276 HAS SOUS 41256 HAS SOUPS 23722 WITH SCORE 24159.603
AT ITER 1583 NEW BEST:: SOT 552288 SOS 436397 HAS SOPS 260896 HAS SOUS 41191 HAS SOUPS 23716 WITH SCORE 24152.397
AT ITER 1609 NEW BEST:: SOT 552281 SOS 436243 HAS SOPS 260882 HAS SOUS 41167 HAS SOUPS 23702 WITH SCORE 24138.243
AT ITER 1639 NEW BEST:: SOT 552278 SOS 436240 HAS SOPS 260882 HAS SOUS 41161 HAS SOUPS 23696 WITH SCORE 24132.24
AT ITER 1644 NEW BEST:: SOT 552213 SOS 435298 HAS SOPS 260528 HAS SOUS 41048 HAS SOUPS 23625 WITH SCORE 24060.298
AT ITER 1651 NEW BEST:: SOT 552160 SOS 435240 HAS SOPS 260470 HAS SOUS 41039 HAS SOUPS 23616 WITH SCORE 24051.24
AT ITER 1668 NEW BEST:: SOT 552490 SOS 435570 HAS SOPS 260620 HAS SOUS 41009 HAS SOUPS 23586 WITH SCORE 24021.57
AT ITER 1688 NEW BEST:: SOT 552490 SOS 435570 HAS SOPS 260662 HAS SOUS 41003 HAS SOUPS 23583 WITH SCORE 24018.57
AT ITER 1704 NEW BEST:: SOT 552483 SOS 435563 HAS SOPS 260662 HAS SOUS 41003 HAS SOUPS 23583 WITH SCORE 24018.563
AT ITER 1706 NEW BEST:: SOT 552483 SOS 435563 HAS SOPS 260662 HAS SOUS 40958 HAS SOUPS 23558 WITH SCORE 23993.563
AT ITER 1730 NEW BEST:: SOT 552482 SOS 435561 HAS SOPS 260662 HAS SOUS 40957 HAS SOUPS 23558 WITH SCORE 23993.561
AT ITER 1733 NEW BEST:: SOT 552482 SOS 435561 HAS SOPS 260662 HAS SOUS 40894 HAS SOUPS 23523 WITH SCORE 23958.561
AT ITER 1735 NEW BEST:: SOT 552646 SOS 435973 HAS SOPS 260788 HAS SOUS 40841 HAS SOUPS 23516 WITH SCORE 23951.973
AT ITER 1777 NEW BEST:: SOT 552862 SOS 436501 HAS SOPS 260932 HAS SOUS 40793 HAS SOUPS 23492 WITH SCORE 23928.501
AT ITER 1792 NEW BEST:: SOT 552848 SOS 436503 HAS SOPS 261099 HAS SOUS 40750 HAS SOUPS 23464 WITH SCORE 23900.503
AT ITER 1799 NEW BEST:: SOT 552878 SOS 433923 HAS SOPS 258519 HAS SOUS 40742 HAS SOUPS 23456 WITH SCORE 23889.923
AT ITER 1804 NEW BEST:: SOT 553098 SOS 434143 HAS SOPS 258619 HAS SOUS 40722 HAS SOUPS 23436 WITH SCORE 23870.143
AT ITER 1810 NEW BEST:: SOT 553106 SOS 434159 HAS SOPS 258627 HAS SOUS 40722 HAS SOUPS 23428 WITH SCORE 23862.159
AT ITER 1834 NEW BEST:: SOT 553102 SOS 433026 HAS SOPS 257704 HAS SOUS 40703 HAS SOUPS 23424 WITH SCORE 23857.026
AT ITER 1842 NEW BEST:: SOT 553174 SOS 429270 HAS SOPS 253948 HAS SOUS 40620 HAS SOUPS 23341 WITH SCORE 23770.27
AT ITER 1852 NEW BEST:: SOT 553167 SOS 429263 HAS SOPS 253948 HAS SOUS 40620 HAS SOUPS 23341 WITH SCORE 23770.263
AT ITER 1858 NEW BEST:: SOT 553167 SOS 429263 HAS SOPS 253948 HAS SOUS 40611 HAS SOUPS 23336 WITH SCORE 23765.263
AT ITER 1898 NEW BEST:: SOT 553439 SOS 429535 HAS SOPS 254064 HAS SOUS 40571 HAS SOUPS 23296 WITH SCORE 23725.535
AT ITER 1904 NEW BEST:: SOT 552308 SOS 426707 HAS SOPS 251748 HAS SOUS 40562 HAS SOUPS 23283 WITH SCORE 23709.707
AT ITER 1936 NEW BEST:: SOT 552308 SOS 426707 HAS SOPS 251748 HAS SOUS 40409 HAS SOUPS 23198 WITH SCORE 23624.707
AT ITER 1955 NEW BEST:: SOT 552240 SOS 426605 HAS SOPS 251714 HAS SOUS 40345 HAS SOUPS 23168 WITH SCORE 23594.605
AT ITER 2007 NEW BEST:: SOT 552195 SOS 426560 HAS SOPS 251714 HAS SOUS 40345 HAS SOUPS 23168 WITH SCORE 23594.56
AT ITER 2112 NEW BEST:: SOT 552195 SOS 426560 HAS SOPS 251714 HAS SOUS 40336 HAS SOUPS 23163 WITH SCORE 23589.56
AT ITER 2138 NEW BEST:: SOT 552195 SOS 426532 HAS SOPS 251686 HAS SOUS 40334 HAS SOUPS 23161 WITH SCORE 23587.532
AT ITER 2157 NEW BEST:: SOT 552195 SOS 426532 HAS SOPS 251686 HAS SOUS 40190 HAS SOUPS 23081 WITH SCORE 23507.532
AT ITER 2167 NEW BEST:: SOT 552188 SOS 426616 HAS SOPS 251770 HAS SOUS 40169 HAS SOUPS 23060 WITH SCORE 23486.616
AT ITER 2182 NEW BEST:: SOT 552188 SOS 426616 HAS SOPS 251770 HAS SOUS 40160 HAS SOUPS 23055 WITH SCORE 23481.616
AT ITER 2186 NEW BEST:: SOT 552168 SOS 426313 HAS SOPS 251607 HAS SOUS 40130 HAS SOUPS 23035 WITH SCORE 23461.313
AT ITER 2204 NEW BEST:: SOT 552264 SOS 425705 HAS SOPS 251699 HAS SOUS 40080 HAS SOUPS 23035 WITH SCORE 23460.705
AT ITER 2206 NEW BEST:: SOT 552244 SOS 425995 HAS SOPS 251989 HAS SOUS 40070 HAS SOUPS 23025 WITH SCORE 23450.995
AT ITER 2237 NEW BEST:: SOT 552198 SOS 424965 HAS SOPS 251897 HAS SOUS 39978 HAS SOUPS 23000 WITH SCORE 23424.965
AT ITER 2259 NEW BEST:: SOT 552158 SOS 424925 HAS SOPS 251897 HAS SOUS 39843 HAS SOUPS 22925 WITH SCORE 23349.925
AT ITER 2267 NEW BEST:: SOT 552571 SOS 425403 HAS SOPS 252173 HAS SOUS 39837 HAS SOUPS 22923 WITH SCORE 23348.403
AT ITER 2305 NEW BEST:: SOT 552572 SOS 425417 HAS SOPS 252173 HAS SOUS 39837 HAS SOUPS 22922 WITH SCORE 23347.417
AT ITER 2315 NEW BEST:: SOT 552572 SOS 425417 HAS SOPS 252173 HAS SOUS 39738 HAS SOUPS 22867 WITH SCORE 23292.417
AT ITER 2318 NEW BEST:: SOT 552571 SOS 425280 HAS SOPS 252162 HAS SOUS 39728 HAS SOUPS 22866 WITH SCORE 23291.28
AT ITER 2325 NEW BEST:: SOT 552477 SOS 425159 HAS SOPS 252082 HAS SOUS 39723 HAS SOUPS 22858 WITH SCORE 23283.159
AT ITER 2346 NEW BEST:: SOT 552498 SOS 425465 HAS SOPS 251968 HAS SOUS 39723 HAS SOUPS 22828 WITH SCORE 23253.465
AT ITER 2364 NEW BEST:: SOT 552503 SOS 425470 HAS SOPS 251973 HAS SOUS 39683 HAS SOUPS 22808 WITH SCORE 23233.47
AT ITER 2366 NEW BEST:: SOT 552503 SOS 425470 HAS SOPS 251973 HAS SOUS 39674 HAS SOUPS 22803 WITH SCORE 23228.47
AT ITER 2400 NEW BEST:: SOT 552461 SOS 425428 HAS SOPS 251931 HAS SOUS 39623 HAS SOUPS 22776 WITH SCORE 23201.428
AT ITER 2401 NEW BEST:: SOT 552400 SOS 425367 HAS SOPS 251931 HAS SOUS 39607 HAS SOUPS 22760 WITH SCORE 23185.367
AT ITER 2450 NEW BEST:: SOT 552402 SOS 421508 HAS SOPS 248814 HAS SOUS 39548 HAS SOUPS 22754 WITH SCORE 23175.508
AT ITER 2461 NEW BEST:: SOT 552299 SOS 419935 HAS SOPS 248375 HAS SOUS 39417 HAS SOUPS 22704 WITH SCORE 23123.935
AT ITER 2468 NEW BEST:: SOT 552377 SOS 420013 HAS SOPS 248375 HAS SOUS 39031 HAS SOUPS 22494 WITH SCORE 22914.013
AT ITER 2472 NEW BEST:: SOT 552377 SOS 420013 HAS SOPS 248375 HAS SOUS 39022 HAS SOUPS 22489 WITH SCORE 22909.013
AT ITER 2492 NEW BEST:: SOT 552360 SOS 420047 HAS SOPS 248358 HAS SOUS 39009 HAS SOUPS 22476 WITH SCORE 22896.047
AT ITER 2493 NEW BEST:: SOT 551727 SOS 418629 HAS SOPS 247062 HAS SOUS 39056 HAS SOUPS 22466 WITH SCORE 22884.629
AT ITER 2498 NEW BEST:: SOT 551790 SOS 418692 HAS SOPS 247062 HAS SOUS 39038 HAS SOUPS 22456 WITH SCORE 22874.692
AT ITER 2522 NEW BEST:: SOT 551832 SOS 418727 HAS SOPS 247056 HAS SOUS 39030 HAS SOUPS 22451 WITH SCORE 22869.727
AT ITER 2557 NEW BEST:: SOT 551832 SOS 418727 HAS SOPS 247056 HAS SOUS 39027 HAS SOUPS 22449 WITH SCORE 22867.727
AT ITER 2606 NEW BEST:: SOT 551844 SOS 418187 HAS SOPS 246516 HAS SOUS 39003 HAS SOUPS 22425 WITH SCORE 22843.187
AT ITER 2622 NEW BEST:: SOT 551842 SOS 418155 HAS SOPS 246484 HAS SOUS 39001 HAS SOUPS 22423 WITH SCORE 22841.155
AT ITER 2630 NEW BEST:: SOT 551574 SOS 415944 HAS SOPS 244738 HAS SOUS 38971 HAS SOUPS 22408 WITH SCORE 22823.944
AT ITER 2636 NEW BEST:: SOT 551552 SOS 415922 HAS SOPS 244738 HAS SOUS 38971 HAS SOUPS 22408 WITH SCORE 22823.922
AT ITER 2642 NEW BEST:: SOT 551603 SOS 414998 HAS SOPS 244528 HAS SOUS 38905 HAS SOUPS 22393 WITH SCORE 22807.998
AT ITER 2717 NEW BEST:: SOT 551607 SOS 414893 HAS SOPS 244423 HAS SOUS 38900 HAS SOUPS 22388 WITH SCORE 22802.893
AT ITER 2744 NEW BEST:: SOT 551414 SOS 414507 HAS SOPS 244293 HAS SOUS 38872 HAS SOUPS 22376 WITH SCORE 22790.507
AT ITER 2774 NEW BEST:: SOT 551415 SOS 414523 HAS SOPS 244295 HAS SOUS 38872 HAS SOUPS 22375 WITH SCORE 22789.523
AT ITER 2782 NEW BEST:: SOT 551415 SOS 414562 HAS SOPS 244292 HAS SOUS 38872 HAS SOUPS 22372 WITH SCORE 22786.562
AT ITER 2837 NEW BEST:: SOT 551420 SOS 414296 HAS SOPS 244194 HAS SOUS 38830 HAS SOUPS 22342 WITH SCORE 22756.296
AT ITER 2898 NEW BEST:: SOT 551420 SOS 414296 HAS SOPS 244194 HAS SOUS 38821 HAS SOUPS 22337 WITH SCORE 22751.296
AT ITER 2946 NEW BEST:: SOT 551411 SOS 414287 HAS SOPS 244194 HAS SOUS 38821 HAS SOUPS 22337 WITH SCORE 22751.287
AT ITER 2986 NEW BEST:: SOT 551411 SOS 413643 HAS SOPS 244194 HAS SOUS 38775 HAS SOUPS 22337 WITH SCORE 22750.643
AT ITER 3111 NEW BEST:: SOT 551149 SOS 414887 HAS SOPS 244110 HAS SOUS 38813 HAS SOUPS 22335 WITH SCORE 22749.887
AT ITER 3112 NEW BEST:: SOT 551131 SOS 414749 HAS SOPS 244038 HAS SOUS 38809 HAS SOUPS 22331 WITH SCORE 22745.749
AT ITER 3119 NEW BEST:: SOT 551115 SOS 413817 HAS SOPS 243106 HAS SOUS 38805 HAS SOUPS 22327 WITH SCORE 22740.817
AT ITER 3122 NEW BEST:: SOT 551107 SOS 413801 HAS SOPS 242852 HAS SOUS 38814 HAS SOUPS 22319 WITH SCORE 22732.801
AT ITER 3142 NEW BEST:: SOT 550967 SOS 413688 HAS SOPS 243476 HAS SOUS 38693 HAS SOUPS 22265 WITH SCORE 22678.688
AT ITER 3160 NEW BEST:: SOT 550957 SOS 413528 HAS SOPS 243386 HAS SOUS 38683 HAS SOUPS 22260 WITH SCORE 22673.528
AT ITER 3169 NEW BEST:: SOT 550920 SOS 413491 HAS SOPS 243386 HAS SOUS 38683 HAS SOUPS 22260 WITH SCORE 22673.491
AT ITER 3190 NEW BEST:: SOT 550918 SOS 413489 HAS SOPS 243386 HAS SOUS 38683 HAS SOUPS 22260 WITH SCORE 22673.489
AT ITER 3192 NEW BEST:: SOT 549939 SOS 411175 HAS SOPS 242763 HAS SOUS 38571 HAS SOUPS 22237 WITH SCORE 22648.175
AT ITER 3213 NEW BEST:: SOT 550104 SOS 411340 HAS SOPS 242838 HAS SOUS 38556 HAS SOUPS 22222 WITH SCORE 22633.34
AT ITER 3216 NEW BEST:: SOT 550106 SOS 411100 HAS SOPS 242654 HAS SOUS 38548 HAS SOUPS 22218 WITH SCORE 22629.1
AT ITER 3231 NEW BEST:: SOT 550105 SOS 411098 HAS SOPS 242652 HAS SOUS 38539 HAS SOUPS 22209 WITH SCORE 22620.098
AT ITER 3300 NEW BEST:: SOT 550085 SOS 411058 HAS SOPS 242612 HAS SOUS 38523 HAS SOUPS 22193 WITH SCORE 22604.058
AT ITER 3370 NEW BEST:: SOT 550058 SOS 411004 HAS SOPS 242180 HAS SOUS 38550 HAS SOUPS 22193 WITH SCORE 22604.004
AT ITER 3377 NEW BEST:: SOT 550035 SOS 410981 HAS SOPS 242180 HAS SOUS 38550 HAS SOUPS 22193 WITH SCORE 22603.981
AT ITER 3384 NEW BEST:: SOT 550030 SOS 410901 HAS SOPS 242100 HAS SOUS 38545 HAS SOUPS 22188 WITH SCORE 22598.901
AT ITER 3411 NEW BEST:: SOT 550030 SOS 410901 HAS SOPS 242100 HAS SOUS 38536 HAS SOUPS 22183 WITH SCORE 22593.901
AT ITER 3442 NEW BEST:: SOT 549530 SOS 410399 HAS SOPS 241836 HAS SOUS 38542 HAS SOUPS 22159 WITH SCORE 22569.399
AT ITER 3447 NEW BEST:: SOT 549494 SOS 410363 HAS SOPS 241800 HAS SOUS 38506 HAS SOUPS 22141 WITH SCORE 22551.363
AT ITER 3476 NEW BEST:: SOT 549470 SOS 410309 HAS SOPS 241786 HAS SOUS 38502 HAS SOUPS 22139 WITH SCORE 22549.309
AT ITER 3515 NEW BEST:: SOT 549213 SOS 409682 HAS SOPS 241589 HAS SOUS 38467 HAS SOUPS 22121 WITH SCORE 22530.682
AT ITER 3554 NEW BEST:: SOT 549200 SOS 409664 HAS SOPS 241475 HAS SOUS 38441 HAS SOUPS 22087 WITH SCORE 22496.664
AT ITER 3587 NEW BEST:: SOT 549190 SOS 409504 HAS SOPS 241315 HAS SOUS 38431 HAS SOUPS 22077 WITH SCORE 22486.504
AT ITER 3593 NEW BEST:: SOT 549190 SOS 409511 HAS SOPS 241322 HAS SOUS 38417 HAS SOUPS 22063 WITH SCORE 22472.511
AT ITER 3672 NEW BEST:: SOT 549419 SOS 409830 HAS SOPS 241515 HAS SOUS 38416 HAS SOUPS 22062 WITH SCORE 22471.83
AT ITER 3703 NEW BEST:: SOT 549410 SOS 409104 HAS SOPS 240915 HAS SOUS 38383 HAS SOUPS 22038 WITH SCORE 22447.104
AT ITER 3710 NEW BEST:: SOT 549410 SOS 409088 HAS SOPS 240899 HAS SOUS 38383 HAS SOUPS 22038 WITH SCORE 22447.088
AT ITER 3747 NEW BEST:: SOT 549409 SOS 409086 HAS SOPS 240897 HAS SOUS 38382 HAS SOUPS 22037 WITH SCORE 22446.086
AT ITER 3774 NEW BEST:: SOT 549335 SOS 406200 HAS SOPS 238529 HAS SOUS 38123 HAS SOUPS 21815 WITH SCORE 22221.2
AT ITER 3806 NEW BEST:: SOT 549336 SOS 406002 HAS SOPS 238463 HAS SOUS 38113 HAS SOUPS 21809 WITH SCORE 22215.002
AT ITER 3826 NEW BEST:: SOT 549337 SOS 406004 HAS SOPS 238465 HAS SOUS 38110 HAS SOUPS 21806 WITH SCORE 22212.004
AT ITER 3837 NEW BEST:: SOT 549216 SOS 406277 HAS SOPS 238014 HAS SOUS 38077 HAS SOUPS 21746 WITH SCORE 22152.277
AT ITER 3857 NEW BEST:: SOT 549193 SOS 406254 HAS SOPS 238014 HAS SOUS 38077 HAS SOUPS 21746 WITH SCORE 22152.254
AT ITER 3858 NEW BEST:: SOT 549168 SOS 406722 HAS SOPS 238370 HAS SOUS 38081 HAS SOUPS 21742 WITH SCORE 22148.722
AT ITER 3864 NEW BEST:: SOT 549184 SOS 406738 HAS SOPS 238370 HAS SOUS 38072 HAS SOUPS 21737 WITH SCORE 22143.738
AT ITER 3907 NEW BEST:: SOT 548330 SOS 406002 HAS SOPS 237816 HAS SOUS 38087 HAS SOUPS 21705 WITH SCORE 22111.002
AT ITER 3922 NEW BEST:: SOT 548507 SOS 406217 HAS SOPS 237861 HAS SOUS 38042 HAS SOUPS 21681 WITH SCORE 22087.217
AT ITER 3942 NEW BEST:: SOT 548491 SOS 406201 HAS SOPS 237861 HAS SOUS 38042 HAS SOUPS 21681 WITH SCORE 22087.201
AT ITER 3961 NEW BEST:: SOT 548437 SOS 406147 HAS SOPS 237861 HAS SOUS 37931 HAS SOUPS 21574 WITH SCORE 21980.147
AT ITER 3991 NEW BEST:: SOT 548427 SOS 406067 HAS SOPS 237851 HAS SOUS 37916 HAS SOUPS 21564 WITH SCORE 21970.067
AT ITER 4035 NEW BEST:: SOT 548378 SOS 406018 HAS SOPS 237851 HAS SOUS 37916 HAS SOUPS 21564 WITH SCORE 21970.018
AT ITER 4043 NEW BEST:: SOT 548378 SOS 406018 HAS SOPS 237851 HAS SOUS 37889 HAS SOUPS 21549 WITH SCORE 21955.018
AT ITER 4061 NEW BEST:: SOT 548378 SOS 406018 HAS SOPS 237851 HAS SOUS 37880 HAS SOUPS 21544 WITH SCORE 21950.018
AT ITER 4072 NEW BEST:: SOT 548391 SOS 406031 HAS SOPS 237858 HAS SOUS 37879 HAS SOUPS 21543 WITH SCORE 21949.031
AT ITER 4108 NEW BEST:: SOT 548341 SOS 405981 HAS SOPS 237858 HAS SOUS 37879 HAS SOUPS 21543 WITH SCORE 21948.981
AT ITER 4124 NEW BEST:: SOT 548341 SOS 405981 HAS SOPS 237858 HAS SOUS 37870 HAS SOUPS 21538 WITH SCORE 21943.981
AT ITER 4183 NEW BEST:: SOT 548329 SOS 405291 HAS SOPS 237294 HAS SOUS 37828 HAS SOUPS 21505 WITH SCORE 21910.291
AT ITER 4215 NEW BEST:: SOT 548312 SOS 406056 HAS SOPS 238059 HAS SOUS 37812 HAS SOUPS 21489 WITH SCORE 21895.056
AT ITER 4258 NEW BEST:: SOT 548309 SOS 406008 HAS SOPS 238011 HAS SOUS 37804 HAS SOUPS 21481 WITH SCORE 21887.008
AT ITER 4273 NEW BEST:: SOT 548302 SOS 405896 HAS SOPS 237801 HAS SOUS 37811 HAS SOUPS 21481 WITH SCORE 21886.896
AT ITER 4322 NEW BEST:: SOT 548264 SOS 406129 HAS SOPS 237778 HAS SOUS 37802 HAS SOUPS 21458 WITH SCORE 21864.129
AT ITER 4360 NEW BEST:: SOT 548264 SOS 406129 HAS SOPS 237778 HAS SOUS 37784 HAS SOUPS 21448 WITH SCORE 21854.129
AT ITER 4368 NEW BEST:: SOT 548329 SOS 406196 HAS SOPS 237800 HAS SOUS 37768 HAS SOUPS 21432 WITH SCORE 21838.196
AT ITER 4369 NEW BEST:: SOT 548395 SOS 406262 HAS SOPS 237830 HAS SOUS 37762 HAS SOUPS 21426 WITH SCORE 21832.262
AT ITER 4427 NEW BEST:: SOT 548388 SOS 406161 HAS SOPS 237713 HAS SOUS 37731 HAS SOUPS 21395 WITH SCORE 21801.161
AT ITER 4429 NEW BEST:: SOT 548399 SOS 406183 HAS SOPS 237724 HAS SOUS 37733 HAS SOUPS 21386 WITH SCORE 21792.183
AT ITER 4438 NEW BEST:: SOT 548399 SOS 406183 HAS SOPS 237724 HAS SOUS 37718 HAS SOUPS 21376 WITH SCORE 21782.183
AT ITER 4442 NEW BEST:: SOT 548405 SOS 406261 HAS SOPS 237802 HAS SOUS 37717 HAS SOUPS 21375 WITH SCORE 21781.261
AT ITER 4470 NEW BEST:: SOT 548404 SOS 406241 HAS SOPS 237781 HAS SOUS 37707 HAS SOUPS 21365 WITH SCORE 21771.241
AT ITER 4484 NEW BEST:: SOT 548392 SOS 406163 HAS SOPS 237769 HAS SOUS 37695 HAS SOUPS 21359 WITH SCORE 21765.163
AT ITER 4500 NEW BEST:: SOT 548392 SOS 406160 HAS SOPS 237724 HAS SOUS 37692 HAS SOUPS 21353 WITH SCORE 21759.16
AT ITER 4508 NEW BEST:: SOT 548297 SOS 404678 HAS SOPS 237166 HAS SOUS 37518 HAS SOUPS 21245 WITH SCORE 21649.678
AT ITER 4520 NEW BEST:: SOT 548276 SOS 404367 HAS SOPS 237205 HAS SOUS 37484 HAS SOUPS 21236 WITH SCORE 21640.367
AT ITER 4551 NEW BEST:: SOT 548161 SOS 404121 HAS SOPS 237102 HAS SOUS 37475 HAS SOUPS 21227 WITH SCORE 21631.121
AT ITER 4579 NEW BEST:: SOT 548160 SOS 404105 HAS SOPS 237086 HAS SOUS 37474 HAS SOUPS 21226 WITH SCORE 21630.105
AT ITER 4591 NEW BEST:: SOT 548107 SOS 404044 HAS SOPS 237065 HAS SOUS 37447 HAS SOUPS 21210 WITH SCORE 21614.044
AT ITER 4598 NEW BEST:: SOT 548097 SOS 403544 HAS SOPS 236755 HAS SOUS 37437 HAS SOUPS 21200 WITH SCORE 21603.544
AT ITER 4612 NEW BEST:: SOT 548222 SOS 403784 HAS SOPS 236825 HAS SOUS 37440 HAS SOUPS 21193 WITH SCORE 21596.784
AT ITER 4660 NEW BEST:: SOT 548192 SOS 404074 HAS SOPS 236821 HAS SOUS 37444 HAS SOUPS 21176 WITH SCORE 21580.074
AT ITER 4676 NEW BEST:: SOT 548187 SOS 404059 HAS SOPS 236806 HAS SOUS 37439 HAS SOUPS 21171 WITH SCORE 21575.059
AT ITER 4722 NEW BEST:: SOT 548178 SOS 404020 HAS SOPS 236800 HAS SOUS 37436 HAS SOUPS 21171 WITH SCORE 21575.02
AT ITER 4724 NEW BEST:: SOT 548162 SOS 403764 HAS SOPS 236544 HAS SOUS 37428 HAS SOUPS 21163 WITH SCORE 21566.764
AT ITER 4729 NEW BEST:: SOT 548213 SOS 403814 HAS SOPS 236522 HAS SOUS 37397 HAS SOUPS 21141 WITH SCORE 21544.814
AT ITER 4731 NEW BEST:: SOT 548213 SOS 403606 HAS SOPS 236314 HAS SOUS 37397 HAS SOUPS 21141 WITH SCORE 21544.606
AT ITER 4774 NEW BEST:: SOT 548210 SOS 403600 HAS SOPS 236308 HAS SOUS 37394 HAS SOUPS 21138 WITH SCORE 21541.6
AT ITER 4850 NEW BEST:: SOT 548354 SOS 403745 HAS SOPS 236387 HAS SOUS 37385 HAS SOUPS 21129 WITH SCORE 21532.745
AT ITER 4855 NEW BEST:: SOT 548353 SOS 403730 HAS SOPS 236372 HAS SOUS 37384 HAS SOUPS 21128 WITH SCORE 21531.73
AT ITER 4874 NEW BEST:: SOT 548355 SOS 403734 HAS SOPS 236376 HAS SOUS 37382 HAS SOUPS 21126 WITH SCORE 21529.734
AT ITER 4876 NEW BEST:: SOT 548395 SOS 401771 HAS SOPS 234413 HAS SOUS 37377 HAS SOUPS 21121 WITH SCORE 21522.771
AT ITER 4883 NEW BEST:: SOT 548378 SOS 401623 HAS SOPS 234265 HAS SOUS 37355 HAS SOUPS 21099 WITH SCORE 21500.623
AT ITER 4911 NEW BEST:: SOT 548375 SOS 401620 HAS SOPS 234265 HAS SOUS 37355 HAS SOUPS 21099 WITH SCORE 21500.62
AT ITER 4973 NEW BEST:: SOT 548375 SOS 401611 HAS SOPS 234186 HAS SOUS 37359 HAS SOUPS 21098 WITH SCORE 21499.611
AT ITER 5008 NEW BEST:: SOT 548350 SOS 401586 HAS SOPS 234186 HAS SOUS 37357 HAS SOUPS 21096 WITH SCORE 21497.586
AT ITER 5052 NEW BEST:: SOT 548345 SOS 401506 HAS SOPS 234148 HAS SOUS 37353 HAS SOUPS 21095 WITH SCORE 21496.506
AT ITER 5094 NEW BEST:: SOT 548354 SOS 401328 HAS SOPS 234047 HAS SOUS 37341 HAS SOUPS 21090 WITH SCORE 21491.328
AT ITER 5099 NEW BEST:: SOT 548354 SOS 401328 HAS SOPS 234047 HAS SOUS 37314 HAS SOUPS 21075 WITH SCORE 21476.328
AT ITER 5106 NEW BEST:: SOT 548342 SOS 401264 HAS SOPS 234027 HAS SOUS 37306 HAS SOUPS 21071 WITH SCORE 21472.264
AT ITER 5110 NEW BEST:: SOT 548355 SOS 401310 HAS SOPS 234073 HAS SOUS 37305 HAS SOUPS 21070 WITH SCORE 21471.31
AT ITER 5160 NEW BEST:: SOT 548214 SOS 400997 HAS SOPS 233946 HAS SOUS 37233 HAS SOUPS 21028 WITH SCORE 21428.997
AT ITER 5233 NEW BEST:: SOT 548148 SOS 400919 HAS SOPS 233898 HAS SOUS 37227 HAS SOUPS 21022 WITH SCORE 21422.919
AT ITER 5236 NEW BEST:: SOT 548096 SOS 400867 HAS SOPS 233898 HAS SOUS 37227 HAS SOUPS 21022 WITH SCORE 21422.867
AT ITER 5269 NEW BEST:: SOT 548095 SOS 400866 HAS SOPS 233898 HAS SOUS 37227 HAS SOUPS 21022 WITH SCORE 21422.866
AT ITER 5281 NEW BEST:: SOT 548063 SOS 400158 HAS SOPS 233890 HAS SOUS 37165 HAS SOUPS 21010 WITH SCORE 21410.158
AT ITER 5286 NEW BEST:: SOT 547757 SOS 399408 HAS SOPS 233701 HAS SOUS 37126 HAS SOUPS 20998 WITH SCORE 21397.408
AT ITER 5292 NEW BEST:: SOT 547805 SOS 399456 HAS SOPS 233701 HAS SOUS 37108 HAS SOUPS 20988 WITH SCORE 21387.456
AT ITER 5318 NEW BEST:: SOT 547795 SOS 399468 HAS SOPS 233713 HAS SOUS 37072 HAS SOUPS 20952 WITH SCORE 21351.468
AT ITER 5324 NEW BEST:: SOT 547838 SOS 399511 HAS SOPS 233713 HAS SOUS 37056 HAS SOUPS 20944 WITH SCORE 21343.511
AT ITER 5331 NEW BEST:: SOT 547834 SOS 399503 HAS SOPS 233705 HAS SOUS 37054 HAS SOUPS 20942 WITH SCORE 21341.503
AT ITER 5338 NEW BEST:: SOT 547831 SOS 399565 HAS SOPS 233770 HAS SOUS 37046 HAS SOUPS 20934 WITH SCORE 21333.565
AT ITER 5340 NEW BEST:: SOT 547831 SOS 399455 HAS SOPS 233770 HAS SOUS 37036 HAS SOUPS 20934 WITH SCORE 21333.455
AT ITER 5351 NEW BEST:: SOT 547822 SOS 399438 HAS SOPS 233764 HAS SOUS 37036 HAS SOUPS 20934 WITH SCORE 21333.438
AT ITER 5379 NEW BEST:: SOT 547583 SOS 399144 HAS SOPS 233582 HAS SOUS 37045 HAS SOUPS 20933 WITH SCORE 21332.144
AT ITER 5388 NEW BEST:: SOT 547582 SOS 399143 HAS SOPS 233581 HAS SOUS 37044 HAS SOUPS 20932 WITH SCORE 21331.143
AT ITER 5391 NEW BEST:: SOT 547578 SOS 399139 HAS SOPS 233581 HAS SOUS 37044 HAS SOUPS 20932 WITH SCORE 21331.139
AT ITER 5395 NEW BEST:: SOT 547412 SOS 398737 HAS SOPS 233441 HAS SOUS 36971 HAS SOUPS 20918 WITH SCORE 21316.737
AT ITER 5399 NEW BEST:: SOT 547412 SOS 398737 HAS SOPS 233441 HAS SOUS 36967 HAS SOUPS 20914 WITH SCORE 21312.737
AT ITER 5448 NEW BEST:: SOT 547391 SOS 398724 HAS SOPS 233442 HAS SOUS 36972 HAS SOUPS 20911 WITH SCORE 21309.724
AT ITER 5469 NEW BEST:: SOT 547382 SOS 398715 HAS SOPS 233442 HAS SOUS 36972 HAS SOUPS 20911 WITH SCORE 21309.715
AT ITER 5472 NEW BEST:: SOT 547368 SOS 398624 HAS SOPS 233428 HAS SOUS 36963 HAS SOUPS 20909 WITH SCORE 21307.624
AT ITER 5488 NEW BEST:: SOT 547324 SOS 398546 HAS SOPS 233402 HAS SOUS 36944 HAS SOUPS 20899 WITH SCORE 21297.546
AT ITER 5527 NEW BEST:: SOT 547395 SOS 398393 HAS SOPS 233426 HAS SOUS 36939 HAS SOUPS 20894 WITH SCORE 21292.393
AT ITER 5554 NEW BEST:: SOT 547416 SOS 397745 HAS SOPS 233002 HAS SOUS 36922 HAS SOUPS 20893 WITH SCORE 21290.745
AT ITER 5653 NEW BEST:: SOT 547409 SOS 397297 HAS SOPS 232785 HAS SOUS 36908 HAS SOUPS 20886 WITH SCORE 21283.297
AT ITER 5668 NEW BEST:: SOT 547396 SOS 397272 HAS SOPS 232777 HAS SOUS 36907 HAS SOUPS 20886 WITH SCORE 21283.272
AT ITER 5688 NEW BEST:: SOT 547395 SOS 396970 HAS SOPS 232531 HAS SOUS 36893 HAS SOUPS 20876 WITH SCORE 21272.97
AT ITER 5704 NEW BEST:: SOT 547405 SOS 396957 HAS SOPS 232672 HAS SOUS 36872 HAS SOUPS 20866 WITH SCORE 21262.957
AT ITER 5802 NEW BEST:: SOT 547404 SOS 396956 HAS SOPS 232672 HAS SOUS 36872 HAS SOUPS 20866 WITH SCORE 21262.956
AT ITER 5834 NEW BEST:: SOT 546954 SOS 395462 HAS SOPS 231985 HAS SOUS 36836 HAS SOUPS 20855 WITH SCORE 21250.462
AT ITER 5897 NEW BEST:: SOT 546856 SOS 395328 HAS SOPS 231893 HAS SOUS 36822 HAS SOUPS 20841 WITH SCORE 21236.328
AT ITER 5903 NEW BEST:: SOT 546832 SOS 394438 HAS SOPS 231777 HAS SOUS 36767 HAS SOUPS 20825 WITH SCORE 21219.438
AT ITER 5977 NEW BEST:: SOT 546832 SOS 394438 HAS SOPS 231777 HAS SOUS 36740 HAS SOUPS 20810 WITH SCORE 21204.438
AT ITER 6051 NEW BEST:: SOT 546700 SOS 394306 HAS SOPS 231717 HAS SOUS 36740 HAS SOUPS 20810 WITH SCORE 21204.306
AT ITER 6056 NEW BEST:: SOT 546700 SOS 394306 HAS SOPS 231717 HAS SOUS 36731 HAS SOUPS 20805 WITH SCORE 21199.306
AT ITER 6151 NEW BEST:: SOT 547069 SOS 395254 HAS SOPS 231953 HAS SOUS 36735 HAS SOUPS 20789 WITH SCORE 21184.254
AT ITER 6167 NEW BEST:: SOT 547069 SOS 395254 HAS SOPS 231953 HAS SOUS 36690 HAS SOUPS 20764 WITH SCORE 21159.254
AT ITER 6279 NEW BEST:: SOT 547069 SOS 395254 HAS SOPS 231953 HAS SOUS 36672 HAS SOUPS 20754 WITH SCORE 21149.254
AT ITER 6285 NEW BEST:: SOT 547035 SOS 395220 HAS SOPS 231919 HAS SOUS 36663 HAS SOUPS 20745 WITH SCORE 21140.22
AT ITER 6287 NEW BEST:: SOT 547023 SOS 395478 HAS SOPS 232093 HAS SOUS 36663 HAS SOUPS 20739 WITH SCORE 21134.478
AT ITER 6318 NEW BEST:: SOT 546996 SOS 395597 HAS SOPS 232250 HAS SOUS 36619 HAS SOUPS 20714 WITH SCORE 21109.597
AT ITER 6371 NEW BEST:: SOT 547207 SOS 395811 HAS SOPS 232368 HAS SOUS 36609 HAS SOUPS 20704 WITH SCORE 21099.811
AT ITER 6449 NEW BEST:: SOT 547207 SOS 395797 HAS SOPS 232354 HAS SOUS 36609 HAS SOUPS 20704 WITH SCORE 21099.797
AT ITER 6478 NEW BEST:: SOT 547157 SOS 395564 HAS SOPS 232330 HAS SOUS 36576 HAS SOUPS 20690 WITH SCORE 21085.564
AT ITER 6500 NEW BEST:: SOT 547157 SOS 395564 HAS SOPS 232330 HAS SOUS 36549 HAS SOUPS 20675 WITH SCORE 21070.564
AT ITER 6581 NEW BEST:: SOT 547151 SOS 395474 HAS SOPS 232324 HAS SOUS 36541 HAS SOUPS 20673 WITH SCORE 21068.474
AT ITER 6587 NEW BEST:: SOT 547147 SOS 395470 HAS SOPS 232324 HAS SOUS 36541 HAS SOUPS 20673 WITH SCORE 21068.47
AT ITER 6699 NEW BEST:: SOT 547147 SOS 395470 HAS SOPS 232324 HAS SOUS 36505 HAS SOUPS 20653 WITH SCORE 21048.47
AT ITER 6729 NEW BEST:: SOT 547166 SOS 395489 HAS SOPS 232324 HAS SOUS 36496 HAS SOUPS 20648 WITH SCORE 21043.489
AT ITER 6748 NEW BEST:: SOT 547162 SOS 395533 HAS SOPS 232368 HAS SOUS 36492 HAS SOUPS 20644 WITH SCORE 21039.533
AT ITER 6875 NEW BEST:: SOT 547363 SOS 396028 HAS SOPS 232523 HAS SOUS 36556 HAS SOUPS 20642 WITH SCORE 21038.028
AT ITER 6877 NEW BEST:: SOT 547369 SOS 395600 HAS SOPS 232150 HAS SOUS 36548 HAS SOUPS 20634 WITH SCORE 21029.6
AT ITER 6910 NEW BEST:: SOT 547369 SOS 395600 HAS SOPS 232150 HAS SOUS 36503 HAS SOUPS 20609 WITH SCORE 21004.6
AT ITER 6937 NEW BEST:: SOT 547346 SOS 395906 HAS SOPS 232148 HAS SOUS 36523 HAS SOUPS 20607 WITH SCORE 21002.906
AT ITER 6973 NEW BEST:: SOT 547341 SOS 398357 HAS SOPS 233919 HAS SOUS 36531 HAS SOUPS 20567 WITH SCORE 20965.357
AT ITER 6983 NEW BEST:: SOT 547342 SOS 398412 HAS SOPS 233932 HAS SOUS 36530 HAS SOUPS 20563 WITH SCORE 20961.412
AT ITER 7043 NEW BEST:: SOT 547202 SOS 398084 HAS SOPS 233820 HAS SOUS 36473 HAS SOUPS 20553 WITH SCORE 20951.084
AT ITER 7068 NEW BEST:: SOT 547202 SOS 398084 HAS SOPS 233820 HAS SOUS 36464 HAS SOUPS 20548 WITH SCORE 20946.084
AT ITER 7166 NEW BEST:: SOT 546552 SOS 395606 HAS SOPS 232492 HAS SOUS 36393 HAS SOUPS 20496 WITH SCORE 20891.606
AT ITER 7194 NEW BEST:: SOT 546442 SOS 395206 HAS SOPS 232282 HAS SOUS 36383 HAS SOUPS 20496 WITH SCORE 20891.206
AT ITER 7216 NEW BEST:: SOT 546342 SOS 395087 HAS SOPS 232208 HAS SOUS 36372 HAS SOUPS 20485 WITH SCORE 20880.087
AT ITER 7220 NEW BEST:: SOT 546357 SOS 394911 HAS SOPS 232298 HAS SOUS 36337 HAS SOUPS 20469 WITH SCORE 20863.911
AT ITER 7264 NEW BEST:: SOT 546357 SOS 394911 HAS SOPS 232298 HAS SOUS 36328 HAS SOUPS 20464 WITH SCORE 20858.911
AT ITER 7270 NEW BEST:: SOT 546349 SOS 394839 HAS SOPS 232226 HAS SOUS 36328 HAS SOUPS 20464 WITH SCORE 20858.839
AT ITER 7325 NEW BEST:: SOT 546349 SOS 394839 HAS SOPS 232226 HAS SOUS 36283 HAS SOUPS 20439 WITH SCORE 20833.839
AT ITER 7344 NEW BEST:: SOT 546289 SOS 394779 HAS SOPS 232196 HAS SOUS 36283 HAS SOUPS 20439 WITH SCORE 20833.779
AT ITER 7352 NEW BEST:: SOT 546289 SOS 394779 HAS SOPS 232196 HAS SOUS 36274 HAS SOUPS 20434 WITH SCORE 20828.779
AT ITER 7380 NEW BEST:: SOT 546273 SOS 394763 HAS SOPS 232196 HAS SOUS 36274 HAS SOUPS 20434 WITH SCORE 20828.763
AT ITER 7382 NEW BEST:: SOT 546221 SOS 394711 HAS SOPS 232196 HAS SOUS 36288 HAS SOUPS 20416 WITH SCORE 20810.711
AT ITER 7501 NEW BEST:: SOT 546109 SOS 394181 HAS SOPS 231860 HAS SOUS 36271 HAS SOUPS 20399 WITH SCORE 20793.181
AT ITER 7514 NEW BEST:: SOT 546109 SOS 394181 HAS SOPS 231860 HAS SOUS 36244 HAS SOUPS 20384 WITH SCORE 20778.181
AT ITER 7522 NEW BEST:: SOT 546089 SOS 394169 HAS SOPS 231694 HAS SOUS 36245 HAS SOUPS 20374 WITH SCORE 20768.169
AT ITER 7601 NEW BEST:: SOT 546082 SOS 393819 HAS SOPS 231477 HAS SOUS 36238 HAS SOUPS 20367 WITH SCORE 20760.819
AT ITER 7623 NEW BEST:: SOT 545217 SOS 390128 HAS SOPS 229483 HAS SOUS 36175 HAS SOUPS 20363 WITH SCORE 20753.128
AT ITER 7647 NEW BEST:: SOT 545217 SOS 390128 HAS SOPS 229483 HAS SOUS 36139 HAS SOUPS 20343 WITH SCORE 20733.128
AT ITER 7687 NEW BEST:: SOT 545217 SOS 390128 HAS SOPS 229483 HAS SOUS 36112 HAS SOUPS 20328 WITH SCORE 20718.128
AT ITER 7700 NEW BEST:: SOT 545227 SOS 390130 HAS SOPS 229482 HAS SOUS 36103 HAS SOUPS 20327 WITH SCORE 20717.13
AT ITER 7751 NEW BEST:: SOT 545229 SOS 390032 HAS SOPS 229390 HAS SOUS 36096 HAS SOUPS 20320 WITH SCORE 20710.032
AT ITER 7759 NEW BEST:: SOT 545181 SOS 389936 HAS SOPS 229358 HAS SOUS 36088 HAS SOUPS 20316 WITH SCORE 20705.936
AT ITER 7780 NEW BEST:: SOT 545181 SOS 389936 HAS SOPS 229358 HAS SOUS 36016 HAS SOUPS 20276 WITH SCORE 20665.936
AT ITER 7785 NEW BEST:: SOT 545173 SOS 389860 HAS SOPS 229226 HAS SOUS 36016 HAS SOUPS 20272 WITH SCORE 20661.86
AT ITER 7789 NEW BEST:: SOT 545167 SOS 389854 HAS SOPS 229226 HAS SOUS 36016 HAS SOUPS 20272 WITH SCORE 20661.854
AT ITER 7833 NEW BEST:: SOT 545167 SOS 389854 HAS SOPS 229226 HAS SOUS 35980 HAS SOUPS 20252 WITH SCORE 20641.854
AT ITER 7840 NEW BEST:: SOT 545163 SOS 389552 HAS SOPS 229246 HAS SOUS 35951 HAS SOUPS 20246 WITH SCORE 20635.552
AT ITER 7854 NEW BEST:: SOT 545219 SOS 388247 HAS SOPS 228177 HAS SOUS 35930 HAS SOUPS 20246 WITH SCORE 20634.247
AT ITER 7917 NEW BEST:: SOT 545219 SOS 388247 HAS SOPS 228177 HAS SOUS 35903 HAS SOUPS 20231 WITH SCORE 20619.247
AT ITER 7932 NEW BEST:: SOT 544636 SOS 386850 HAS SOPS 227803 HAS SOUS 35831 HAS SOUPS 20214 WITH SCORE 20600.85
AT ITER 7934 NEW BEST:: SOT 544636 SOS 386850 HAS SOPS 227803 HAS SOUS 35822 HAS SOUPS 20209 WITH SCORE 20595.85
AT ITER 7939 NEW BEST:: SOT 544654 SOS 386682 HAS SOPS 227887 HAS SOUS 35774 HAS SOUPS 20179 WITH SCORE 20565.682
AT ITER 7958 NEW BEST:: SOT 544654 SOS 386682 HAS SOPS 227887 HAS SOUS 35756 HAS SOUPS 20169 WITH SCORE 20555.682
AT ITER 8035 NEW BEST:: SOT 544636 SOS 386646 HAS SOPS 227879 HAS SOUS 35730 HAS SOUPS 20157 WITH SCORE 20543.646
AT ITER 8106 NEW BEST:: SOT 544625 SOS 385645 HAS SOPS 226878 HAS SOUS 35730 HAS SOUPS 20157 WITH SCORE 20542.645
AT ITER 8206 NEW BEST:: SOT 544624 SOS 385563 HAS SOPS 226796 HAS SOUS 35718 HAS SOUPS 20145 WITH SCORE 20530.563
AT ITER 8215 NEW BEST:: SOT 544385 SOS 384952 HAS SOPS 226603 HAS SOUS 35639 HAS SOUPS 20143 WITH SCORE 20527.952
AT ITER 8269 NEW BEST:: SOT 544512 SOS 385355 HAS SOPS 226692 HAS SOUS 35674 HAS SOUPS 20111 WITH SCORE 20496.355
AT ITER 8307 NEW BEST:: SOT 544344 SOS 385021 HAS SOPS 226430 HAS SOUS 35651 HAS SOUPS 20088 WITH SCORE 20473.021
AT ITER 8432 NEW BEST:: SOT 544334 SOS 384877 HAS SOPS 226454 HAS SOUS 35635 HAS SOUPS 20084 WITH SCORE 20468.877
AT ITER 8452 NEW BEST:: SOT 544334 SOS 384877 HAS SOPS 226454 HAS SOUS 35590 HAS SOUPS 20059 WITH SCORE 20443.877
AT ITER 8484 NEW BEST:: SOT 544508 SOS 385265 HAS SOPS 226563 HAS SOUS 35568 HAS SOUPS 20036 WITH SCORE 20421.265
AT ITER 8581 NEW BEST:: SOT 544535 SOS 385124 HAS SOPS 225993 HAS SOUS 35556 HAS SOUPS 19985 WITH SCORE 20370.124
AT ITER 8645 NEW BEST:: SOT 544535 SOS 385124 HAS SOPS 225993 HAS SOUS 35538 HAS SOUPS 19975 WITH SCORE 20360.124
AT ITER 8673 NEW BEST:: SOT 544490 SOS 385004 HAS SOPS 225949 HAS SOUS 35532 HAS SOUPS 19973 WITH SCORE 20358.004
AT ITER 8701 NEW BEST:: SOT 543895 SOS 383797 HAS SOPS 225527 HAS SOUS 35451 HAS SOUPS 19934 WITH SCORE 20317.797
AT ITER 8706 NEW BEST:: SOT 543895 SOS 383797 HAS SOPS 225527 HAS SOUS 35442 HAS SOUPS 19929 WITH SCORE 20312.797
AT ITER 8804 NEW BEST:: SOT 543889 SOS 383701 HAS SOPS 225487 HAS SOUS 35438 HAS SOUPS 19929 WITH SCORE 20312.701
AT ITER 8840 NEW BEST:: SOT 543881 SOS 383693 HAS SOPS 225487 HAS SOUS 35438 HAS SOUPS 19929 WITH SCORE 20312.693
AT ITER 8856 NEW BEST:: SOT 543842 SOS 383693 HAS SOPS 225123 HAS SOUS 35460 HAS SOUPS 19925 WITH SCORE 20308.693
AT ITER 8883 NEW BEST:: SOT 543778 SOS 383357 HAS SOPS 224787 HAS SOUS 35396 HAS SOUPS 19861 WITH SCORE 20244.357
AT ITER 8973 NEW BEST:: SOT 543745 SOS 383318 HAS SOPS 224763 HAS SOUS 35393 HAS SOUPS 19858 WITH SCORE 20241.318
AT ITER 9025 NEW BEST:: SOT 543745 SOS 383318 HAS SOPS 224763 HAS SOUS 35384 HAS SOUPS 19853 WITH SCORE 20236.318
AT ITER 9059 NEW BEST:: SOT 543754 SOS 383327 HAS SOPS 224772 HAS SOUS 35382 HAS SOUPS 19851 WITH SCORE 20234.327
AT ITER 9112 NEW BEST:: SOT 543744 SOS 383312 HAS SOPS 224767 HAS SOUS 35366 HAS SOUPS 19840 WITH SCORE 20223.312
AT ITER 9279 NEW BEST:: SOT 543738 SOS 383240 HAS SOPS 224695 HAS SOUS 35358 HAS SOUPS 19832 WITH SCORE 20215.24
AT ITER 9321 NEW BEST:: SOT 543729 SOS 383231 HAS SOPS 224695 HAS SOUS 35358 HAS SOUPS 19832 WITH SCORE 20215.231
AT ITER 9576 NEW BEST:: SOT 543217 SOS 373521 HAS SOPS 216431 HAS SOUS 35311 HAS SOUPS 19813 WITH SCORE 20186.521
AT ITER 9579 NEW BEST:: SOT 543216 SOS 373520 HAS SOPS 216431 HAS SOUS 35311 HAS SOUPS 19813 WITH SCORE 20186.52
AT ITER 9596 NEW BEST:: SOT 543226 SOS 373617 HAS SOPS 216407 HAS SOUS 35320 HAS SOUPS 19811 WITH SCORE 20184.617
AT ITER 9700 NEW BEST:: SOT 543219 SOS 373635 HAS SOPS 216201 HAS SOUS 35330 HAS SOUPS 19805 WITH SCORE 20178.635
AT ITER 9754 NEW BEST:: SOT 543228 SOS 374407 HAS SOPS 216861 HAS SOUS 35337 HAS SOUPS 19804 WITH SCORE 20178.407
AT ITER 9762 NEW BEST:: SOT 543217 SOS 373987 HAS SOPS 216497 HAS SOUS 35330 HAS SOUPS 19801 WITH SCORE 20174.987
AT ITER 9774 NEW BEST:: SOT 543201 SOS 373971 HAS SOPS 216497 HAS SOUS 35310 HAS SOUPS 19781 WITH SCORE 20154.971
AT ITER 9918 NEW BEST:: SOT 543179 SOS 373947 HAS SOPS 216483 HAS SOUS 35310 HAS SOUPS 19781 WITH SCORE 20154.947
AT ITER 9977 NEW BEST:: SOT 543179 SOS 373947 HAS SOPS 216483 HAS SOUS 35301 HAS SOUPS 19776 WITH SCORE 20149.947

BK_STOP 1589131698616

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 483 Aborted ${SMART} ${INPUT_SM}

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="DLCround-PT-10a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 DLCround-PT-10a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542400568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-10a.tgz
mv DLCround-PT-10a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;