Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688300496.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688300496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 8.0K Feb 25 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 85K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678469175215

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 376 places, 297 transitions, 830 arcs.
AT ITER 0 NEW BEST:: SOT 72155 SOS 29734 HAS SOPS 29734 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29649.734
AT ITER 7 NEW BEST:: SOT 72138 SOS 29733 HAS SOPS 29733 HAS SOUS 29619 HAS SOUPS 29619 WITH SCORE 29648.733
AT ITER 16 NEW BEST:: SOT 72032 SOS 29586 HAS SOPS 29586 HAS SOUS 29472 HAS SOUPS 29472 WITH SCORE 29501.586
AT ITER 27 NEW BEST:: SOT 69884 SOS 29831 HAS SOPS 29831 HAS SOUS 27595 HAS SOUPS 27595 WITH SCORE 27624.831
AT ITER 28 NEW BEST:: SOT 70051 SOS 29684 HAS SOPS 29684 HAS SOUS 27457 HAS SOUPS 27457 WITH SCORE 27486.684
AT ITER 32 NEW BEST:: SOT 70050 SOS 29683 HAS SOPS 29683 HAS SOUS 27456 HAS SOUPS 27456 WITH SCORE 27485.683
AT ITER 42 NEW BEST:: SOT 70017 SOS 29642 HAS SOPS 29642 HAS SOUS 27423 HAS SOUPS 27423 WITH SCORE 27452.642
AT ITER 44 NEW BEST:: SOT 70016 SOS 29641 HAS SOPS 29641 HAS SOUS 27422 HAS SOUPS 27422 WITH SCORE 27451.641
AT ITER 46 NEW BEST:: SOT 69886 SOS 29514 HAS SOPS 29514 HAS SOUS 27305 HAS SOUPS 27305 WITH SCORE 27334.514
AT ITER 49 NEW BEST:: SOT 69945 SOS 29573 HAS SOPS 29573 HAS SOUS 27304 HAS SOUPS 27304 WITH SCORE 27333.573
AT ITER 59 NEW BEST:: SOT 69966 SOS 29582 HAS SOPS 29582 HAS SOUS 27289 HAS SOUPS 27289 WITH SCORE 27318.582
AT ITER 60 NEW BEST:: SOT 69966 SOS 29522 HAS SOPS 29522 HAS SOUS 27229 HAS SOUPS 27229 WITH SCORE 27258.522
AT ITER 64 NEW BEST:: SOT 69932 SOS 29481 HAS SOPS 29481 HAS SOUS 27195 HAS SOUPS 27195 WITH SCORE 27224.481
AT ITER 70 NEW BEST:: SOT 69932 SOS 29478 HAS SOPS 29478 HAS SOUS 27192 HAS SOUPS 27192 WITH SCORE 27221.478
AT ITER 72 NEW BEST:: SOT 69798 SOS 29344 HAS SOPS 29344 HAS SOUS 27058 HAS SOUPS 27058 WITH SCORE 27087.344
AT ITER 73 NEW BEST:: SOT 69792 SOS 29338 HAS SOPS 29338 HAS SOUS 27052 HAS SOUPS 27052 WITH SCORE 27081.338
AT ITER 80 NEW BEST:: SOT 69889 SOS 29253 HAS SOPS 29253 HAS SOUS 26988 HAS SOUPS 26988 WITH SCORE 27017.253
AT ITER 90 NEW BEST:: SOT 69726 SOS 29013 HAS SOPS 29013 HAS SOUS 26854 HAS SOUPS 26854 WITH SCORE 26883.013
AT ITER 99 NEW BEST:: SOT 69552 SOS 28764 HAS SOPS 28764 HAS SOUS 26628 HAS SOUPS 26628 WITH SCORE 26656.764
AT ITER 102 NEW BEST:: SOT 69551 SOS 28761 HAS SOPS 28761 HAS SOUS 26625 HAS SOUPS 26625 WITH SCORE 26653.761
AT ITER 103 NEW BEST:: SOT 69545 SOS 28752 HAS SOPS 28752 HAS SOUS 26616 HAS SOUPS 26616 WITH SCORE 26644.752
AT ITER 120 NEW BEST:: SOT 69427 SOS 28625 HAS SOPS 28625 HAS SOUS 26489 HAS SOUPS 26489 WITH SCORE 26517.625
AT ITER 122 NEW BEST:: SOT 69426 SOS 28624 HAS SOPS 28624 HAS SOUS 26489 HAS SOUPS 26489 WITH SCORE 26517.624
AT ITER 124 NEW BEST:: SOT 69459 SOS 28469 HAS SOPS 28469 HAS SOUS 26365 HAS SOUPS 26365 WITH SCORE 26393.469
AT ITER 125 NEW BEST:: SOT 69409 SOS 28410 HAS SOPS 28410 HAS SOUS 26348 HAS SOUPS 26348 WITH SCORE 26376.41
AT ITER 134 NEW BEST:: SOT 69284 SOS 28307 HAS SOPS 28307 HAS SOUS 26332 HAS SOUPS 26332 WITH SCORE 26360.307
AT ITER 136 NEW BEST:: SOT 69201 SOS 28249 HAS SOPS 28249 HAS SOUS 26292 HAS SOUPS 26292 WITH SCORE 26320.249
AT ITER 138 NEW BEST:: SOT 69201 SOS 28248 HAS SOPS 28248 HAS SOUS 26291 HAS SOUPS 26291 WITH SCORE 26319.248
AT ITER 142 NEW BEST:: SOT 69076 SOS 28049 HAS SOPS 28049 HAS SOUS 26101 HAS SOUPS 26101 WITH SCORE 26129.049
AT ITER 144 NEW BEST:: SOT 68868 SOS 27771 HAS SOPS 27771 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25950.771
AT ITER 157 NEW BEST:: SOT 68833 SOS 27701 HAS SOPS 27701 HAS SOUS 25853 HAS SOUPS 25853 WITH SCORE 25880.701
AT ITER 161 NEW BEST:: SOT 68833 SOS 27634 HAS SOPS 27634 HAS SOUS 25786 HAS SOUPS 25786 WITH SCORE 25813.634
AT ITER 164 NEW BEST:: SOT 68832 SOS 27614 HAS SOPS 27614 HAS SOUS 25766 HAS SOUPS 25766 WITH SCORE 25793.614
AT ITER 168 NEW BEST:: SOT 68832 SOS 27504 HAS SOPS 27504 HAS SOUS 25656 HAS SOUPS 25656 WITH SCORE 25683.504
AT ITER 173 NEW BEST:: SOT 68832 SOS 27492 HAS SOPS 27492 HAS SOUS 25644 HAS SOUPS 25644 WITH SCORE 25671.492
AT ITER 176 NEW BEST:: SOT 68832 SOS 27372 HAS SOPS 27372 HAS SOUS 25524 HAS SOUPS 25524 WITH SCORE 25551.372
AT ITER 179 NEW BEST:: SOT 68806 SOS 27326 HAS SOPS 27326 HAS SOUS 25505 HAS SOUPS 25505 WITH SCORE 25532.326
AT ITER 180 NEW BEST:: SOT 68725 SOS 27095 HAS SOPS 27095 HAS SOUS 25274 HAS SOUPS 25274 WITH SCORE 25301.095
AT ITER 189 NEW BEST:: SOT 68699 SOS 27069 HAS SOPS 27069 HAS SOUS 25248 HAS SOUPS 25248 WITH SCORE 25275.069
AT ITER 195 NEW BEST:: SOT 68701 SOS 27028 HAS SOPS 27028 HAS SOUS 25207 HAS SOUPS 25207 WITH SCORE 25234.028
AT ITER 196 NEW BEST:: SOT 68675 SOS 27001 HAS SOPS 27001 HAS SOUS 25180 HAS SOUPS 25180 WITH SCORE 25207.001
AT ITER 200 NEW BEST:: SOT 68862 SOS 26780 HAS SOPS 26780 HAS SOUS 25059 HAS SOUPS 25059 WITH SCORE 25085.78
AT ITER 202 NEW BEST:: SOT 68865 SOS 26783 HAS SOPS 26783 HAS SOUS 25036 HAS SOUPS 25036 WITH SCORE 25062.783
AT ITER 204 NEW BEST:: SOT 68847 SOS 26764 HAS SOPS 26764 HAS SOUS 25034 HAS SOUPS 25034 WITH SCORE 25060.764
AT ITER 214 NEW BEST:: SOT 68846 SOS 26678 HAS SOPS 26678 HAS SOUS 24948 HAS SOUPS 24948 WITH SCORE 24974.678
AT ITER 223 NEW BEST:: SOT 68846 SOS 26634 HAS SOPS 26634 HAS SOUS 24904 HAS SOUPS 24904 WITH SCORE 24930.634
AT ITER 241 NEW BEST:: SOT 68852 SOS 26629 HAS SOPS 26629 HAS SOUS 24899 HAS SOUPS 24899 WITH SCORE 24925.629
AT ITER 247 NEW BEST:: SOT 68891 SOS 26522 HAS SOPS 26522 HAS SOUS 24792 HAS SOUPS 24792 WITH SCORE 24818.522
AT ITER 254 NEW BEST:: SOT 68930 SOS 26476 HAS SOPS 26476 HAS SOUS 24775 HAS SOUPS 24775 WITH SCORE 24801.476
AT ITER 255 NEW BEST:: SOT 68930 SOS 26385 HAS SOPS 26385 HAS SOUS 24684 HAS SOUPS 24684 WITH SCORE 24710.385
AT ITER 256 NEW BEST:: SOT 68934 SOS 26380 HAS SOPS 26380 HAS SOUS 24679 HAS SOUPS 24679 WITH SCORE 24705.38
AT ITER 271 NEW BEST:: SOT 68783 SOS 26090 HAS SOPS 26090 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24415.09
AT ITER 280 NEW BEST:: SOT 68857 SOS 26089 HAS SOPS 26089 HAS SOUS 24388 HAS SOUPS 24388 WITH SCORE 24414.089
AT ITER 282 NEW BEST:: SOT 68887 SOS 25996 HAS SOPS 25996 HAS SOUS 24295 HAS SOUPS 24295 WITH SCORE 24320.996
AT ITER 285 NEW BEST:: SOT 68820 SOS 25929 HAS SOPS 25929 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24253.929
AT ITER 295 NEW BEST:: SOT 68820 SOS 25887 HAS SOPS 25887 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24211.887
AT ITER 307 NEW BEST:: SOT 68807 SOS 25874 HAS SOPS 25874 HAS SOUS 24173 HAS SOUPS 24173 WITH SCORE 24198.874
AT ITER 312 NEW BEST:: SOT 68763 SOS 25835 HAS SOPS 25835 HAS SOUS 24134 HAS SOUPS 24134 WITH SCORE 24159.835
AT ITER 314 NEW BEST:: SOT 68743 SOS 25813 HAS SOPS 25813 HAS SOUS 24112 HAS SOUPS 24112 WITH SCORE 24137.813
AT ITER 327 NEW BEST:: SOT 68697 SOS 25780 HAS SOPS 25780 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24087.78
AT ITER 337 NEW BEST:: SOT 68699 SOS 25755 HAS SOPS 25755 HAS SOUS 24037 HAS SOUPS 24037 WITH SCORE 24062.755
AT ITER 338 NEW BEST:: SOT 68640 SOS 25680 HAS SOPS 25680 HAS SOUS 23962 HAS SOUPS 23962 WITH SCORE 23987.68
AT ITER 341 NEW BEST:: SOT 68636 SOS 25672 HAS SOPS 25672 HAS SOUS 23954 HAS SOUPS 23954 WITH SCORE 23979.672
AT ITER 344 NEW BEST:: SOT 68571 SOS 25612 HAS SOPS 25612 HAS SOUS 23904 HAS SOUPS 23904 WITH SCORE 23929.612
AT ITER 349 NEW BEST:: SOT 68632 SOS 25558 HAS SOPS 25558 HAS SOUS 23850 HAS SOUPS 23850 WITH SCORE 23875.558
AT ITER 350 NEW BEST:: SOT 68601 SOS 25496 HAS SOPS 25496 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23813.496
AT ITER 353 NEW BEST:: SOT 68559 SOS 25454 HAS SOPS 25454 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23771.454
AT ITER 360 NEW BEST:: SOT 68555 SOS 25446 HAS SOPS 25446 HAS SOUS 23715 HAS SOUPS 23715 WITH SCORE 23740.446
AT ITER 371 NEW BEST:: SOT 68512 SOS 25403 HAS SOPS 25403 HAS SOUS 23672 HAS SOUPS 23672 WITH SCORE 23697.403
AT ITER 376 NEW BEST:: SOT 68504 SOS 25395 HAS SOPS 25395 HAS SOUS 23664 HAS SOUPS 23664 WITH SCORE 23689.395
AT ITER 402 NEW BEST:: SOT 68388 SOS 25316 HAS SOPS 25316 HAS SOUS 23602 HAS SOUPS 23602 WITH SCORE 23627.316
AT ITER 415 NEW BEST:: SOT 68384 SOS 25308 HAS SOPS 25308 HAS SOUS 23594 HAS SOUPS 23594 WITH SCORE 23619.308
AT ITER 419 NEW BEST:: SOT 68242 SOS 25302 HAS SOPS 25302 HAS SOUS 23588 HAS SOUPS 23588 WITH SCORE 23613.302
AT ITER 424 NEW BEST:: SOT 68151 SOS 25174 HAS SOPS 25174 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23485.174
AT ITER 426 NEW BEST:: SOT 68314 SOS 25300 HAS SOPS 25300 HAS SOUS 23454 HAS SOUPS 23454 WITH SCORE 23479.3
AT ITER 427 NEW BEST:: SOT 68310 SOS 25298 HAS SOPS 25298 HAS SOUS 23452 HAS SOUPS 23452 WITH SCORE 23477.298
AT ITER 428 NEW BEST:: SOT 68297 SOS 25272 HAS SOPS 25272 HAS SOUS 23426 HAS SOUPS 23426 WITH SCORE 23451.272
AT ITER 463 NEW BEST:: SOT 68299 SOS 25271 HAS SOPS 25271 HAS SOUS 23422 HAS SOUPS 23422 WITH SCORE 23447.271
AT ITER 469 NEW BEST:: SOT 68342 SOS 25115 HAS SOPS 25115 HAS SOUS 23266 HAS SOUPS 23266 WITH SCORE 23291.115
AT ITER 472 NEW BEST:: SOT 68342 SOS 25112 HAS SOPS 25112 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23288.112
AT ITER 475 NEW BEST:: SOT 68292 SOS 25056 HAS SOPS 25056 HAS SOUS 23207 HAS SOUPS 23207 WITH SCORE 23232.056
AT ITER 478 NEW BEST:: SOT 68289 SOS 25050 HAS SOPS 25050 HAS SOUS 23160 HAS SOUPS 23160 WITH SCORE 23185.05
AT ITER 481 NEW BEST:: SOT 68353 SOS 25156 HAS SOPS 25156 HAS SOUS 23156 HAS SOUPS 23156 WITH SCORE 23181.156
AT ITER 482 NEW BEST:: SOT 68349 SOS 25096 HAS SOPS 25096 HAS SOUS 23113 HAS SOUPS 23113 WITH SCORE 23138.096
AT ITER 490 NEW BEST:: SOT 68349 SOS 24999 HAS SOPS 24999 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23040.999
AT ITER 522 NEW BEST:: SOT 68340 SOS 24979 HAS SOPS 24979 HAS SOUS 22996 HAS SOUPS 22996 WITH SCORE 23020.979
AT ITER 528 NEW BEST:: SOT 68340 SOS 24978 HAS SOPS 24978 HAS SOUS 22995 HAS SOUPS 22995 WITH SCORE 23019.978
AT ITER 531 NEW BEST:: SOT 68325 SOS 24948 HAS SOPS 24948 HAS SOUS 22965 HAS SOUPS 22965 WITH SCORE 22989.948
AT ITER 539 NEW BEST:: SOT 68325 SOS 24855 HAS SOPS 24855 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22896.855
AT ITER 550 NEW BEST:: SOT 68324 SOS 24853 HAS SOPS 24853 HAS SOUS 22870 HAS SOUPS 22870 WITH SCORE 22894.853
AT ITER 552 NEW BEST:: SOT 68328 SOS 24746 HAS SOPS 24746 HAS SOUS 22763 HAS SOUPS 22763 WITH SCORE 22787.746
AT ITER 574 NEW BEST:: SOT 68191 SOS 24609 HAS SOPS 24609 HAS SOUS 22727 HAS SOUPS 22727 WITH SCORE 22751.609
AT ITER 589 NEW BEST:: SOT 68138 SOS 24540 HAS SOPS 24540 HAS SOUS 22689 HAS SOUPS 22689 WITH SCORE 22713.54
AT ITER 592 NEW BEST:: SOT 68086 SOS 24424 HAS SOPS 24424 HAS SOUS 22573 HAS SOUPS 22573 WITH SCORE 22597.424
AT ITER 597 NEW BEST:: SOT 68053 SOS 24373 HAS SOPS 24373 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22546.373
AT ITER 601 NEW BEST:: SOT 68053 SOS 24331 HAS SOPS 24331 HAS SOUS 22480 HAS SOUPS 22480 WITH SCORE 22504.331
AT ITER 606 NEW BEST:: SOT 68092 SOS 24296 HAS SOPS 24296 HAS SOUS 22445 HAS SOUPS 22445 WITH SCORE 22469.296
AT ITER 620 NEW BEST:: SOT 68091 SOS 24262 HAS SOPS 24262 HAS SOUS 22378 HAS SOUPS 22378 WITH SCORE 22402.262
AT ITER 641 NEW BEST:: SOT 68041 SOS 24111 HAS SOPS 24111 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22251.111
AT ITER 671 NEW BEST:: SOT 68038 SOS 24108 HAS SOPS 24108 HAS SOUS 22224 HAS SOUPS 22224 WITH SCORE 22248.108
AT ITER 677 NEW BEST:: SOT 67953 SOS 24007 HAS SOPS 24007 HAS SOUS 22123 HAS SOUPS 22123 WITH SCORE 22147.007
AT ITER 680 NEW BEST:: SOT 67893 SOS 23958 HAS SOPS 23958 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22097.958
AT ITER 687 NEW BEST:: SOT 67789 SOS 23804 HAS SOPS 23804 HAS SOUS 21936 HAS SOUPS 21936 WITH SCORE 21959.804
AT ITER 702 NEW BEST:: SOT 67773 SOS 23782 HAS SOPS 23782 HAS SOUS 21914 HAS SOUPS 21914 WITH SCORE 21937.782
AT ITER 716 NEW BEST:: SOT 67791 SOS 23752 HAS SOPS 23752 HAS SOUS 21884 HAS SOUPS 21884 WITH SCORE 21907.752
AT ITER 726 NEW BEST:: SOT 67791 SOS 23734 HAS SOPS 23734 HAS SOUS 21866 HAS SOUPS 21866 WITH SCORE 21889.734
AT ITER 728 NEW BEST:: SOT 67716 SOS 23622 HAS SOPS 23622 HAS SOUS 21725 HAS SOUPS 21725 WITH SCORE 21748.622
AT ITER 731 NEW BEST:: SOT 67722 SOS 23595 HAS SOPS 23595 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21721.595
AT ITER 734 NEW BEST:: SOT 67697 SOS 23561 HAS SOPS 23561 HAS SOUS 21664 HAS SOUPS 21664 WITH SCORE 21687.561
AT ITER 741 NEW BEST:: SOT 67696 SOS 23559 HAS SOPS 23559 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21685.559
AT ITER 759 NEW BEST:: SOT 67599 SOS 23462 HAS SOPS 23462 HAS SOUS 21565 HAS SOUPS 21565 WITH SCORE 21588.462
AT ITER 766 NEW BEST:: SOT 67549 SOS 23388 HAS SOPS 23388 HAS SOUS 21491 HAS SOUPS 21491 WITH SCORE 21514.388
AT ITER 801 NEW BEST:: SOT 67534 SOS 23373 HAS SOPS 23373 HAS SOUS 21476 HAS SOUPS 21476 WITH SCORE 21499.373
AT ITER 811 NEW BEST:: SOT 67530 SOS 23252 HAS SOPS 23252 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21390.252
AT ITER 812 NEW BEST:: SOT 67475 SOS 23114 HAS SOPS 23114 HAS SOUS 21229 HAS SOUPS 21229 WITH SCORE 21252.114
AT ITER 816 NEW BEST:: SOT 67473 SOS 23103 HAS SOPS 23103 HAS SOUS 21218 HAS SOUPS 21218 WITH SCORE 21241.103
AT ITER 829 NEW BEST:: SOT 67473 SOS 23103 HAS SOPS 23103 HAS SOUS 21185 HAS SOUPS 21185 WITH SCORE 21208.103
AT ITER 870 NEW BEST:: SOT 67473 SOS 23053 HAS SOPS 23053 HAS SOUS 21135 HAS SOUPS 21135 WITH SCORE 21158.053
AT ITER 885 NEW BEST:: SOT 67433 SOS 23038 HAS SOPS 23038 HAS SOUS 21120 HAS SOUPS 21120 WITH SCORE 21143.038
AT ITER 892 NEW BEST:: SOT 67432 SOS 22984 HAS SOPS 22984 HAS SOUS 21066 HAS SOUPS 21066 WITH SCORE 21088.984
AT ITER 903 NEW BEST:: SOT 67432 SOS 22952 HAS SOPS 22952 HAS SOUS 21034 HAS SOUPS 21034 WITH SCORE 21056.952
AT ITER 909 NEW BEST:: SOT 67432 SOS 22903 HAS SOPS 22903 HAS SOUS 20985 HAS SOUPS 20985 WITH SCORE 21007.903
AT ITER 912 NEW BEST:: SOT 67440 SOS 22898 HAS SOPS 22898 HAS SOUS 20980 HAS SOUPS 20980 WITH SCORE 21002.898
AT ITER 924 NEW BEST:: SOT 67443 SOS 22901 HAS SOPS 22901 HAS SOUS 20962 HAS SOUPS 20962 WITH SCORE 20984.901
AT ITER 933 NEW BEST:: SOT 67389 SOS 22888 HAS SOPS 22888 HAS SOUS 20949 HAS SOUPS 20949 WITH SCORE 20971.888
AT ITER 934 NEW BEST:: SOT 67378 SOS 22866 HAS SOPS 22866 HAS SOUS 20927 HAS SOUPS 20927 WITH SCORE 20949.866
AT ITER 948 NEW BEST:: SOT 67346 SOS 22865 HAS SOPS 22865 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20948.865
AT ITER 955 NEW BEST:: SOT 67346 SOS 22802 HAS SOPS 22802 HAS SOUS 20863 HAS SOUPS 20863 WITH SCORE 20885.802
AT ITER 972 NEW BEST:: SOT 67308 SOS 22739 HAS SOPS 22739 HAS SOUS 20800 HAS SOUPS 20800 WITH SCORE 20822.739
AT ITER 995 NEW BEST:: SOT 67363 SOS 22765 HAS SOPS 22765 HAS SOUS 20784 HAS SOUPS 20784 WITH SCORE 20806.765
AT ITER 1011 NEW BEST:: SOT 67377 SOS 22709 HAS SOPS 22709 HAS SOUS 20728 HAS SOUPS 20728 WITH SCORE 20750.709
AT ITER 1025 NEW BEST:: SOT 67359 SOS 22708 HAS SOPS 22708 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20749.708
AT ITER 1027 NEW BEST:: SOT 67299 SOS 22588 HAS SOPS 22588 HAS SOUS 20607 HAS SOUPS 20607 WITH SCORE 20629.588
AT ITER 1046 NEW BEST:: SOT 67299 SOS 22574 HAS SOPS 22574 HAS SOUS 20593 HAS SOUPS 20593 WITH SCORE 20615.574
AT ITER 1047 NEW BEST:: SOT 67242 SOS 22470 HAS SOPS 22470 HAS SOUS 20500 HAS SOUPS 20500 WITH SCORE 20522.47
AT ITER 1049 NEW BEST:: SOT 67230 SOS 22439 HAS SOPS 22439 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20480.439
AT ITER 1072 NEW BEST:: SOT 67230 SOS 22439 HAS SOPS 22439 HAS SOUS 20433 HAS SOUPS 20433 WITH SCORE 20455.439
AT ITER 1086 NEW BEST:: SOT 67230 SOS 22437 HAS SOPS 22437 HAS SOUS 20431 HAS SOUPS 20431 WITH SCORE 20453.437
AT ITER 1087 NEW BEST:: SOT 67230 SOS 22437 HAS SOPS 22437 HAS SOUS 20406 HAS SOUPS 20406 WITH SCORE 20428.437
AT ITER 1095 NEW BEST:: SOT 67230 SOS 22386 HAS SOPS 22386 HAS SOUS 20355 HAS SOUPS 20355 WITH SCORE 20377.386
AT ITER 1101 NEW BEST:: SOT 67218 SOS 22362 HAS SOPS 22362 HAS SOUS 20331 HAS SOUPS 20331 WITH SCORE 20353.362
AT ITER 1104 NEW BEST:: SOT 67218 SOS 22269 HAS SOPS 22269 HAS SOUS 20238 HAS SOUPS 20238 WITH SCORE 20260.269
AT ITER 1113 NEW BEST:: SOT 67211 SOS 22256 HAS SOPS 22256 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20247.256
AT ITER 1117 NEW BEST:: SOT 67211 SOS 22242 HAS SOPS 22242 HAS SOUS 20211 HAS SOUPS 20211 WITH SCORE 20233.242
AT ITER 1141 NEW BEST:: SOT 67182 SOS 22202 HAS SOPS 22202 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20193.202
AT ITER 1163 NEW BEST:: SOT 67178 SOS 22194 HAS SOPS 22194 HAS SOUS 20163 HAS SOUPS 20163 WITH SCORE 20185.194
AT ITER 1166 NEW BEST:: SOT 67193 SOS 22209 HAS SOPS 22209 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20179.209
AT ITER 1172 NEW BEST:: SOT 67180 SOS 22183 HAS SOPS 22183 HAS SOUS 20131 HAS SOUPS 20131 WITH SCORE 20153.183
AT ITER 1194 NEW BEST:: SOT 67180 SOS 22182 HAS SOPS 22182 HAS SOUS 20130 HAS SOUPS 20130 WITH SCORE 20152.182
AT ITER 1196 NEW BEST:: SOT 67180 SOS 22176 HAS SOPS 22176 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20146.176
AT ITER 1197 NEW BEST:: SOT 67205 SOS 22155 HAS SOPS 22155 HAS SOUS 20103 HAS SOUPS 20103 WITH SCORE 20125.155
AT ITER 1212 NEW BEST:: SOT 67176 SOS 22115 HAS SOPS 22115 HAS SOUS 20076 HAS SOUPS 20076 WITH SCORE 20098.115
AT ITER 1229 NEW BEST:: SOT 67176 SOS 22075 HAS SOPS 22075 HAS SOUS 20065 HAS SOUPS 20065 WITH SCORE 20087.075
AT ITER 1243 NEW BEST:: SOT 67154 SOS 22071 HAS SOPS 22071 HAS SOUS 20061 HAS SOUPS 20061 WITH SCORE 20083.071
AT ITER 1245 NEW BEST:: SOT 67085 SOS 22008 HAS SOPS 22008 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20053.008
AT ITER 1253 NEW BEST:: SOT 67076 SOS 21997 HAS SOPS 21997 HAS SOUS 20020 HAS SOUPS 20020 WITH SCORE 20041.997
AT ITER 1293 NEW BEST:: SOT 67084 SOS 21953 HAS SOPS 21953 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 19997.953
AT ITER 1333 NEW BEST:: SOT 67020 SOS 21902 HAS SOPS 21902 HAS SOUS 19925 HAS SOUPS 19925 WITH SCORE 19946.902
AT ITER 1335 NEW BEST:: SOT 67013 SOS 21888 HAS SOPS 21888 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19932.888
AT ITER 1337 NEW BEST:: SOT 67043 SOS 21883 HAS SOPS 21883 HAS SOUS 19906 HAS SOUPS 19906 WITH SCORE 19927.883
AT ITER 1349 NEW BEST:: SOT 67033 SOS 21873 HAS SOPS 21873 HAS SOUS 19896 HAS SOUPS 19896 WITH SCORE 19917.873
AT ITER 1350 NEW BEST:: SOT 67045 SOS 21849 HAS SOPS 21849 HAS SOUS 19872 HAS SOUPS 19872 WITH SCORE 19893.849
AT ITER 1364 NEW BEST:: SOT 67038 SOS 21835 HAS SOPS 21835 HAS SOUS 19858 HAS SOUPS 19858 WITH SCORE 19879.835
AT ITER 1387 NEW BEST:: SOT 66955 SOS 21639 HAS SOPS 21639 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19683.639
AT ITER 1398 NEW BEST:: SOT 66880 SOS 21550 HAS SOPS 21550 HAS SOUS 19573 HAS SOUPS 19573 WITH SCORE 19594.55
AT ITER 1401 NEW BEST:: SOT 66880 SOS 21537 HAS SOPS 21537 HAS SOUS 19560 HAS SOUPS 19560 WITH SCORE 19581.537
AT ITER 1403 NEW BEST:: SOT 66818 SOS 21412 HAS SOPS 21412 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19456.412
AT ITER 1409 NEW BEST:: SOT 66846 SOS 21406 HAS SOPS 21406 HAS SOUS 19429 HAS SOUPS 19429 WITH SCORE 19450.406
AT ITER 1413 NEW BEST:: SOT 66856 SOS 21385 HAS SOPS 21385 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19429.385
AT ITER 1415 NEW BEST:: SOT 66850 SOS 21382 HAS SOPS 21382 HAS SOUS 19405 HAS SOUPS 19405 WITH SCORE 19426.382
AT ITER 1427 NEW BEST:: SOT 66851 SOS 21363 HAS SOPS 21363 HAS SOUS 19386 HAS SOUPS 19386 WITH SCORE 19407.363
AT ITER 1428 NEW BEST:: SOT 66853 SOS 21365 HAS SOPS 21365 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19390.365
AT ITER 1429 NEW BEST:: SOT 66710 SOS 21236 HAS SOPS 21236 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19261.236
AT ITER 1435 NEW BEST:: SOT 66637 SOS 21676 HAS SOPS 21676 HAS SOUS 19184 HAS SOUPS 19184 WITH SCORE 19205.676
AT ITER 1451 NEW BEST:: SOT 66636 SOS 21675 HAS SOPS 21675 HAS SOUS 19183 HAS SOUPS 19183 WITH SCORE 19204.675
AT ITER 1456 NEW BEST:: SOT 66636 SOS 21609 HAS SOPS 21609 HAS SOUS 19117 HAS SOUPS 19117 WITH SCORE 19138.609
AT ITER 1464 NEW BEST:: SOT 66619 SOS 21575 HAS SOPS 21575 HAS SOUS 19083 HAS SOUPS 19083 WITH SCORE 19104.575
AT ITER 1493 NEW BEST:: SOT 66589 SOS 21414 HAS SOPS 21414 HAS SOUS 18889 HAS SOUPS 18889 WITH SCORE 18910.414
AT ITER 1497 NEW BEST:: SOT 66588 SOS 21405 HAS SOPS 21405 HAS SOUS 18880 HAS SOUPS 18880 WITH SCORE 18901.405
AT ITER 1523 NEW BEST:: SOT 66547 SOS 21345 HAS SOPS 21345 HAS SOUS 18842 HAS SOUPS 18842 WITH SCORE 18863.345
AT ITER 1533 NEW BEST:: SOT 66545 SOS 21344 HAS SOPS 21344 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18862.344
AT ITER 1536 NEW BEST:: SOT 66543 SOS 21341 HAS SOPS 21341 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18859.341
AT ITER 1540 NEW BEST:: SOT 66592 SOS 21374 HAS SOPS 21374 HAS SOUS 18798 HAS SOUPS 18798 WITH SCORE 18819.374
AT ITER 1552 NEW BEST:: SOT 66605 SOS 21359 HAS SOPS 21359 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18804.359
AT ITER 1553 NEW BEST:: SOT 66600 SOS 21304 HAS SOPS 21304 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18749.304
AT ITER 1565 NEW BEST:: SOT 66599 SOS 21302 HAS SOPS 21302 HAS SOUS 18726 HAS SOUPS 18726 WITH SCORE 18747.302
AT ITER 1586 NEW BEST:: SOT 66568 SOS 21255 HAS SOPS 21255 HAS SOUS 18679 HAS SOUPS 18679 WITH SCORE 18700.255
AT ITER 1602 NEW BEST:: SOT 66532 SOS 21141 HAS SOPS 21141 HAS SOUS 18565 HAS SOUPS 18565 WITH SCORE 18586.141
AT ITER 1603 NEW BEST:: SOT 66501 SOS 21090 HAS SOPS 21090 HAS SOUS 18514 HAS SOUPS 18514 WITH SCORE 18535.09
AT ITER 1625 NEW BEST:: SOT 66529 SOS 21071 HAS SOPS 21071 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18488.071
AT ITER 1644 NEW BEST:: SOT 66403 SOS 20965 HAS SOPS 20965 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18381.965
AT ITER 1651 NEW BEST:: SOT 66371 SOS 20929 HAS SOPS 20929 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18345.929
AT ITER 1663 NEW BEST:: SOT 66371 SOS 20902 HAS SOPS 20902 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18343.902
AT ITER 1673 NEW BEST:: SOT 66330 SOS 20820 HAS SOPS 20820 HAS SOUS 18282 HAS SOUPS 18282 WITH SCORE 18302.82
AT ITER 1676 NEW BEST:: SOT 66328 SOS 20816 HAS SOPS 20816 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18298.816
AT ITER 1699 NEW BEST:: SOT 66286 SOS 20732 HAS SOPS 20732 HAS SOUS 18194 HAS SOUPS 18194 WITH SCORE 18214.732
AT ITER 1702 NEW BEST:: SOT 66246 SOS 20692 HAS SOPS 20692 HAS SOUS 18154 HAS SOUPS 18154 WITH SCORE 18174.692
AT ITER 1704 NEW BEST:: SOT 66246 SOS 20691 HAS SOPS 20691 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18173.691
AT ITER 1719 NEW BEST:: SOT 66244 SOS 20695 HAS SOPS 20695 HAS SOUS 18149 HAS SOUPS 18149 WITH SCORE 18169.695
AT ITER 1729 NEW BEST:: SOT 66224 SOS 20655 HAS SOPS 20655 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18129.655
AT ITER 1731 NEW BEST:: SOT 66206 SOS 20637 HAS SOPS 20637 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18111.637
AT ITER 1752 NEW BEST:: SOT 66252 SOS 20623 HAS SOPS 20623 HAS SOUS 18074 HAS SOUPS 18074 WITH SCORE 18094.623
AT ITER 1759 NEW BEST:: SOT 66249 SOS 20620 HAS SOPS 20620 HAS SOUS 18071 HAS SOUPS 18071 WITH SCORE 18091.62
AT ITER 1768 NEW BEST:: SOT 66245 SOS 20612 HAS SOPS 20612 HAS SOUS 18063 HAS SOUPS 18063 WITH SCORE 18083.612
AT ITER 1770 NEW BEST:: SOT 66271 SOS 20587 HAS SOPS 20587 HAS SOUS 18038 HAS SOUPS 18038 WITH SCORE 18058.587
AT ITER 1793 NEW BEST:: SOT 66267 SOS 20583 HAS SOPS 20583 HAS SOUS 18034 HAS SOUPS 18034 WITH SCORE 18054.583
AT ITER 1826 NEW BEST:: SOT 66160 SOS 20580 HAS SOPS 20580 HAS SOUS 18031 HAS SOUPS 18031 WITH SCORE 18051.58
AT ITER 1831 NEW BEST:: SOT 66159 SOS 20579 HAS SOPS 20579 HAS SOUS 18030 HAS SOUPS 18030 WITH SCORE 18050.579
AT ITER 1847 NEW BEST:: SOT 66160 SOS 20578 HAS SOPS 20578 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18049.578
AT ITER 1861 NEW BEST:: SOT 66146 SOS 20473 HAS SOPS 20473 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17853.473
AT ITER 1866 NEW BEST:: SOT 66145 SOS 20471 HAS SOPS 20471 HAS SOUS 17831 HAS SOUPS 17831 WITH SCORE 17851.471
AT ITER 1875 NEW BEST:: SOT 66127 SOS 20453 HAS SOPS 20453 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17833.453
AT ITER 1884 NEW BEST:: SOT 66048 SOS 20374 HAS SOPS 20374 HAS SOUS 17734 HAS SOUPS 17734 WITH SCORE 17754.374
AT ITER 1922 NEW BEST:: SOT 66048 SOS 20356 HAS SOPS 20356 HAS SOUS 17716 HAS SOUPS 17716 WITH SCORE 17736.356
AT ITER 1923 NEW BEST:: SOT 66044 SOS 20348 HAS SOPS 20348 HAS SOUS 17708 HAS SOUPS 17708 WITH SCORE 17728.348
AT ITER 1926 NEW BEST:: SOT 66007 SOS 20301 HAS SOPS 20301 HAS SOUS 17661 HAS SOUPS 17661 WITH SCORE 17681.301
AT ITER 1954 NEW BEST:: SOT 65992 SOS 20298 HAS SOPS 20298 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17678.298
AT ITER 1955 NEW BEST:: SOT 65992 SOS 20292 HAS SOPS 20292 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17678.292
AT ITER 1982 NEW BEST:: SOT 65990 SOS 20291 HAS SOPS 20291 HAS SOUS 17657 HAS SOUPS 17657 WITH SCORE 17677.291
AT ITER 1985 NEW BEST:: SOT 65988 SOS 20285 HAS SOPS 20285 HAS SOUS 17653 HAS SOUPS 17653 WITH SCORE 17673.285
AT ITER 1991 NEW BEST:: SOT 65988 SOS 20270 HAS SOPS 20270 HAS SOUS 17638 HAS SOUPS 17638 WITH SCORE 17658.27
AT ITER 1998 NEW BEST:: SOT 65972 SOS 20264 HAS SOPS 20264 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17652.264
AT ITER 2015 NEW BEST:: SOT 65968 SOS 20260 HAS SOPS 20260 HAS SOUS 17628 HAS SOUPS 17628 WITH SCORE 17648.26
AT ITER 2017 NEW BEST:: SOT 65955 SOS 20234 HAS SOPS 20234 HAS SOUS 17602 HAS SOUPS 17602 WITH SCORE 17622.234
AT ITER 2035 NEW BEST:: SOT 65935 SOS 20174 HAS SOPS 20174 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17562.174
AT ITER 2050 NEW BEST:: SOT 65935 SOS 20091 HAS SOPS 20091 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17479.091
AT ITER 2060 NEW BEST:: SOT 65936 SOS 20070 HAS SOPS 20070 HAS SOUS 17438 HAS SOUPS 17438 WITH SCORE 17458.07
AT ITER 2067 NEW BEST:: SOT 65930 SOS 20062 HAS SOPS 20062 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17450.062
AT ITER 2069 NEW BEST:: SOT 65917 SOS 20049 HAS SOPS 20049 HAS SOUS 17417 HAS SOUPS 17417 WITH SCORE 17437.049
AT ITER 2071 NEW BEST:: SOT 65937 SOS 19976 HAS SOPS 19976 HAS SOUS 17344 HAS SOUPS 17344 WITH SCORE 17363.976
AT ITER 2095 NEW BEST:: SOT 65937 SOS 19967 HAS SOPS 19967 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17354.967
AT ITER 2097 NEW BEST:: SOT 65929 SOS 19951 HAS SOPS 19951 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17346.951
AT ITER 2098 NEW BEST:: SOT 65925 SOS 19945 HAS SOPS 19945 HAS SOUS 17323 HAS SOUPS 17323 WITH SCORE 17342.945
AT ITER 2100 NEW BEST:: SOT 65924 SOS 19943 HAS SOPS 19943 HAS SOUS 17321 HAS SOUPS 17321 WITH SCORE 17340.943
AT ITER 2101 NEW BEST:: SOT 65933 SOS 19824 HAS SOPS 19824 HAS SOUS 17249 HAS SOUPS 17249 WITH SCORE 17268.824
AT ITER 2120 NEW BEST:: SOT 65926 SOS 19810 HAS SOPS 19810 HAS SOUS 17235 HAS SOUPS 17235 WITH SCORE 17254.81
AT ITER 2124 NEW BEST:: SOT 65920 SOS 19802 HAS SOPS 19802 HAS SOUS 17227 HAS SOUPS 17227 WITH SCORE 17246.802
AT ITER 2128 NEW BEST:: SOT 65909 SOS 19780 HAS SOPS 19780 HAS SOUS 17222 HAS SOUPS 17222 WITH SCORE 17241.78
AT ITER 2140 NEW BEST:: SOT 65898 SOS 19728 HAS SOPS 19728 HAS SOUS 17170 HAS SOUPS 17170 WITH SCORE 17189.728
AT ITER 2161 NEW BEST:: SOT 65897 SOS 19726 HAS SOPS 19726 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17187.726
AT ITER 2168 NEW BEST:: SOT 65839 SOS 19584 HAS SOPS 19584 HAS SOUS 17026 HAS SOUPS 17026 WITH SCORE 17045.584
AT ITER 2169 NEW BEST:: SOT 65830 SOS 19566 HAS SOPS 19566 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17027.566
AT ITER 2239 NEW BEST:: SOT 65774 SOS 19510 HAS SOPS 19510 HAS SOUS 16952 HAS SOUPS 16952 WITH SCORE 16971.51
AT ITER 2242 NEW BEST:: SOT 65773 SOS 19509 HAS SOPS 19509 HAS SOUS 16951 HAS SOUPS 16951 WITH SCORE 16970.509
AT ITER 2289 NEW BEST:: SOT 65678 SOS 19422 HAS SOPS 19422 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16883.422
AT ITER 2290 NEW BEST:: SOT 65670 SOS 19414 HAS SOPS 19414 HAS SOUS 16858 HAS SOUPS 16858 WITH SCORE 16877.414
AT ITER 2296 NEW BEST:: SOT 65661 SOS 19399 HAS SOPS 19399 HAS SOUS 16843 HAS SOUPS 16843 WITH SCORE 16862.399
AT ITER 2329 NEW BEST:: SOT 65695 SOS 19395 HAS SOPS 19395 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16798.395
AT ITER 2355 NEW BEST:: SOT 65691 SOS 19391 HAS SOPS 19391 HAS SOUS 16775 HAS SOUPS 16775 WITH SCORE 16794.391
AT ITER 2356 NEW BEST:: SOT 65691 SOS 19376 HAS SOPS 19376 HAS SOUS 16760 HAS SOUPS 16760 WITH SCORE 16779.376
AT ITER 2362 NEW BEST:: SOT 65691 SOS 19376 HAS SOPS 19376 HAS SOUS 16745 HAS SOUPS 16745 WITH SCORE 16764.376
AT ITER 2386 NEW BEST:: SOT 65634 SOS 19319 HAS SOPS 19319 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16707.319
AT ITER 2400 NEW BEST:: SOT 65634 SOS 19314 HAS SOPS 19314 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16702.314
AT ITER 2411 NEW BEST:: SOT 65619 SOS 19293 HAS SOPS 19293 HAS SOUS 16671 HAS SOUPS 16671 WITH SCORE 16690.293
AT ITER 2444 NEW BEST:: SOT 65618 SOS 19291 HAS SOPS 19291 HAS SOUS 16669 HAS SOUPS 16669 WITH SCORE 16688.291
AT ITER 2450 NEW BEST:: SOT 65618 SOS 19291 HAS SOPS 19291 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16679.291
AT ITER 2451 NEW BEST:: SOT 65609 SOS 19269 HAS SOPS 19269 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16657.269
AT ITER 2465 NEW BEST:: SOT 65546 SOS 19314 HAS SOPS 19314 HAS SOUS 16607 HAS SOUPS 16607 WITH SCORE 16626.314
AT ITER 2475 NEW BEST:: SOT 65546 SOS 19305 HAS SOPS 19305 HAS SOUS 16598 HAS SOUPS 16598 WITH SCORE 16617.305
AT ITER 2484 NEW BEST:: SOT 65547 SOS 19304 HAS SOPS 19304 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16616.304
AT ITER 2490 NEW BEST:: SOT 65518 SOS 19275 HAS SOPS 19275 HAS SOUS 16508 HAS SOUPS 16508 WITH SCORE 16527.275
AT ITER 2498 NEW BEST:: SOT 65503 SOS 19260 HAS SOPS 19260 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16512.26
AT ITER 2516 NEW BEST:: SOT 65495 SOS 19259 HAS SOPS 19259 HAS SOUS 16492 HAS SOUPS 16492 WITH SCORE 16511.259
AT ITER 2534 NEW BEST:: SOT 65487 SOS 19247 HAS SOPS 19247 HAS SOUS 16484 HAS SOUPS 16484 WITH SCORE 16503.247
AT ITER 2537 NEW BEST:: SOT 65475 SOS 19237 HAS SOPS 19237 HAS SOUS 16474 HAS SOUPS 16474 WITH SCORE 16493.237
AT ITER 2546 NEW BEST:: SOT 65475 SOS 19226 HAS SOPS 19226 HAS SOUS 16463 HAS SOUPS 16463 WITH SCORE 16482.226
AT ITER 2562 NEW BEST:: SOT 65438 SOS 19186 HAS SOPS 19186 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16445.186
AT ITER 2569 NEW BEST:: SOT 65430 SOS 19178 HAS SOPS 19178 HAS SOUS 16426 HAS SOUPS 16426 WITH SCORE 16445.178
AT ITER 2582 NEW BEST:: SOT 65400 SOS 19128 HAS SOPS 19128 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16395.128
AT ITER 2592 NEW BEST:: SOT 65386 SOS 19112 HAS SOPS 19112 HAS SOUS 16360 HAS SOUPS 16360 WITH SCORE 16379.112
AT ITER 2605 NEW BEST:: SOT 65383 SOS 19090 HAS SOPS 19090 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16357.09
AT ITER 2617 NEW BEST:: SOT 65383 SOS 19082 HAS SOPS 19082 HAS SOUS 16330 HAS SOUPS 16330 WITH SCORE 16349.082
AT ITER 2625 NEW BEST:: SOT 65379 SOS 19078 HAS SOPS 19078 HAS SOUS 16326 HAS SOUPS 16326 WITH SCORE 16345.078
AT ITER 2638 NEW BEST:: SOT 65374 SOS 19068 HAS SOPS 19068 HAS SOUS 16316 HAS SOUPS 16316 WITH SCORE 16335.068
AT ITER 2686 NEW BEST:: SOT 65359 SOS 19038 HAS SOPS 19038 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16305.038
AT ITER 2703 NEW BEST:: SOT 65359 SOS 18994 HAS SOPS 18994 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16260.994
AT ITER 2705 NEW BEST:: SOT 65336 SOS 18990 HAS SOPS 18990 HAS SOUS 16238 HAS SOUPS 16238 WITH SCORE 16256.99
AT ITER 2728 NEW BEST:: SOT 65346 SOS 18987 HAS SOPS 18987 HAS SOUS 16235 HAS SOUPS 16235 WITH SCORE 16253.987
AT ITER 2734 NEW BEST:: SOT 65254 SOS 18888 HAS SOPS 18888 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16154.888
AT ITER 2739 NEW BEST:: SOT 65240 SOS 18868 HAS SOPS 18868 HAS SOUS 16116 HAS SOUPS 16116 WITH SCORE 16134.868
AT ITER 2748 NEW BEST:: SOT 65237 SOS 18896 HAS SOPS 18896 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16131.896
AT ITER 2766 NEW BEST:: SOT 65240 SOS 18885 HAS SOPS 18885 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16120.885
AT ITER 2773 NEW BEST:: SOT 65248 SOS 18852 HAS SOPS 18852 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16087.852
AT ITER 2818 NEW BEST:: SOT 65186 SOS 18790 HAS SOPS 18790 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16087.79
AT ITER 2833 NEW BEST:: SOT 65181 SOS 18785 HAS SOPS 18785 HAS SOUS 16064 HAS SOUPS 16064 WITH SCORE 16082.785
AT ITER 2852 NEW BEST:: SOT 65185 SOS 18770 HAS SOPS 18770 HAS SOUS 16050 HAS SOUPS 16050 WITH SCORE 16068.77
AT ITER 2865 NEW BEST:: SOT 65116 SOS 18761 HAS SOPS 18761 HAS SOUS 16041 HAS SOUPS 16041 WITH SCORE 16059.761
AT ITER 2925 NEW BEST:: SOT 65119 SOS 18746 HAS SOPS 18746 HAS SOUS 16026 HAS SOUPS 16026 WITH SCORE 16044.746
AT ITER 2959 NEW BEST:: SOT 65099 SOS 18706 HAS SOPS 18706 HAS SOUS 15986 HAS SOUPS 15986 WITH SCORE 16004.706
AT ITER 2977 NEW BEST:: SOT 65125 SOS 18692 HAS SOPS 18692 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15934.692
AT ITER 2984 NEW BEST:: SOT 65122 SOS 18686 HAS SOPS 18686 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15928.686
AT ITER 2987 NEW BEST:: SOT 65114 SOS 18670 HAS SOPS 18670 HAS SOUS 15893 HAS SOUPS 15893 WITH SCORE 15911.67
AT ITER 2996 NEW BEST:: SOT 65114 SOS 18610 HAS SOPS 18610 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15889.61
AT ITER 3012 NEW BEST:: SOT 65114 SOS 18609 HAS SOPS 18609 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15888.609
AT ITER 3017 NEW BEST:: SOT 65061 SOS 18585 HAS SOPS 18585 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15881.585
AT ITER 3020 NEW BEST:: SOT 65031 SOS 18555 HAS SOPS 18555 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15851.555
AT ITER 3048 NEW BEST:: SOT 65030 SOS 18554 HAS SOPS 18554 HAS SOUS 15832 HAS SOUPS 15832 WITH SCORE 15850.554
AT ITER 3131 NEW BEST:: SOT 65024 SOS 18545 HAS SOPS 18545 HAS SOUS 15823 HAS SOUPS 15823 WITH SCORE 15841.545
AT ITER 3153 NEW BEST:: SOT 65029 SOS 18530 HAS SOPS 18530 HAS SOUS 15783 HAS SOUPS 15783 WITH SCORE 15801.53
AT ITER 3164 NEW BEST:: SOT 65026 SOS 18528 HAS SOPS 18528 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15799.528
AT ITER 3193 NEW BEST:: SOT 65026 SOS 18526 HAS SOPS 18526 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15797.526
AT ITER 3217 NEW BEST:: SOT 65026 SOS 18516 HAS SOPS 18516 HAS SOUS 15769 HAS SOUPS 15769 WITH SCORE 15787.516
AT ITER 3232 NEW BEST:: SOT 65051 SOS 18527 HAS SOPS 18527 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15756.527
AT ITER 3240 NEW BEST:: SOT 65050 SOS 18526 HAS SOPS 18526 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15755.526
AT ITER 3279 NEW BEST:: SOT 65048 SOS 18522 HAS SOPS 18522 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15751.522
AT ITER 3284 NEW BEST:: SOT 65045 SOS 18519 HAS SOPS 18519 HAS SOUS 15730 HAS SOUPS 15730 WITH SCORE 15748.519
AT ITER 3298 NEW BEST:: SOT 65015 SOS 18398 HAS SOPS 18398 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15640.398
AT ITER 3303 NEW BEST:: SOT 64999 SOS 18371 HAS SOPS 18371 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15613.371
AT ITER 3311 NEW BEST:: SOT 64996 SOS 18368 HAS SOPS 18368 HAS SOUS 15592 HAS SOUPS 15592 WITH SCORE 15610.368
AT ITER 3323 NEW BEST:: SOT 64982 SOS 18347 HAS SOPS 18347 HAS SOUS 15571 HAS SOUPS 15571 WITH SCORE 15589.347
AT ITER 3352 NEW BEST:: SOT 64975 SOS 18332 HAS SOPS 18332 HAS SOUS 15556 HAS SOUPS 15556 WITH SCORE 15574.332
AT ITER 3363 NEW BEST:: SOT 64975 SOS 18285 HAS SOPS 18285 HAS SOUS 15509 HAS SOUPS 15509 WITH SCORE 15527.285
AT ITER 3381 NEW BEST:: SOT 64954 SOS 18283 HAS SOPS 18283 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15525.283
AT ITER 3392 NEW BEST:: SOT 65082 SOS 18266 HAS SOPS 18266 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15508.266
AT ITER 3407 NEW BEST:: SOT 65080 SOS 18265 HAS SOPS 18265 HAS SOUS 15489 HAS SOUPS 15489 WITH SCORE 15507.265
AT ITER 3413 NEW BEST:: SOT 65041 SOS 18219 HAS SOPS 18219 HAS SOUS 15448 HAS SOUPS 15448 WITH SCORE 15466.219
AT ITER 3424 NEW BEST:: SOT 64959 SOS 19428 HAS SOPS 19428 HAS SOUS 15444 HAS SOUPS 15444 WITH SCORE 15463.428
AT ITER 3437 NEW BEST:: SOT 64947 SOS 19416 HAS SOPS 19416 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15451.416
AT ITER 3449 NEW BEST:: SOT 64965 SOS 19372 HAS SOPS 19372 HAS SOUS 15388 HAS SOUPS 15388 WITH SCORE 15407.372
AT ITER 3479 NEW BEST:: SOT 64949 SOS 19340 HAS SOPS 19340 HAS SOUS 15356 HAS SOUPS 15356 WITH SCORE 15375.34
AT ITER 3487 NEW BEST:: SOT 64934 SOS 19310 HAS SOPS 19310 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15345.31
AT ITER 3512 NEW BEST:: SOT 64921 SOS 19305 HAS SOPS 19305 HAS SOUS 15321 HAS SOUPS 15321 WITH SCORE 15340.305
AT ITER 3526 NEW BEST:: SOT 64904 SOS 19288 HAS SOPS 19288 HAS SOUS 15304 HAS SOUPS 15304 WITH SCORE 15323.288
AT ITER 3537 NEW BEST:: SOT 64902 SOS 19286 HAS SOPS 19286 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15321.286
AT ITER 3575 NEW BEST:: SOT 64900 SOS 19282 HAS SOPS 19282 HAS SOUS 15298 HAS SOUPS 15298 WITH SCORE 15317.282
AT ITER 3597 NEW BEST:: SOT 65005 SOS 19213 HAS SOPS 19213 HAS SOUS 15229 HAS SOUPS 15229 WITH SCORE 15248.213
AT ITER 3611 NEW BEST:: SOT 65003 SOS 19209 HAS SOPS 19209 HAS SOUS 15225 HAS SOUPS 15225 WITH SCORE 15244.209
AT ITER 3614 NEW BEST:: SOT 65001 SOS 19205 HAS SOPS 19205 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15240.205
AT ITER 3619 NEW BEST:: SOT 65000 SOS 19203 HAS SOPS 19203 HAS SOUS 15219 HAS SOUPS 15219 WITH SCORE 15238.203
AT ITER 3624 NEW BEST:: SOT 64969 SOS 19146 HAS SOPS 19146 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15212.146
AT ITER 3639 NEW BEST:: SOT 64912 SOS 19137 HAS SOPS 19137 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15203.137
AT ITER 3656 NEW BEST:: SOT 64912 SOS 19127 HAS SOPS 19127 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15193.127
AT ITER 3664 NEW BEST:: SOT 64906 SOS 19115 HAS SOPS 19115 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15175.115
AT ITER 3666 NEW BEST:: SOT 64934 SOS 19171 HAS SOPS 19171 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15173.171
AT ITER 3684 NEW BEST:: SOT 64801 SOS 19018 HAS SOPS 19018 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15133.018
AT ITER 3719 NEW BEST:: SOT 64789 SOS 18993 HAS SOPS 18993 HAS SOUS 15097 HAS SOUPS 15097 WITH SCORE 15115.993
AT ITER 3721 NEW BEST:: SOT 64739 SOS 18929 HAS SOPS 18929 HAS SOUS 15042 HAS SOUPS 15042 WITH SCORE 15060.929
AT ITER 3727 NEW BEST:: SOT 64743 SOS 18926 HAS SOPS 18926 HAS SOUS 15028 HAS SOUPS 15028 WITH SCORE 15046.926
AT ITER 3752 NEW BEST:: SOT 64726 SOS 18903 HAS SOPS 18903 HAS SOUS 15005 HAS SOUPS 15005 WITH SCORE 15023.903
AT ITER 3760 NEW BEST:: SOT 64720 SOS 18891 HAS SOPS 18891 HAS SOUS 14993 HAS SOUPS 14993 WITH SCORE 15011.891
AT ITER 3764 NEW BEST:: SOT 64721 SOS 18883 HAS SOPS 18883 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15003.883
AT ITER 3785 NEW BEST:: SOT 64721 SOS 18883 HAS SOPS 18883 HAS SOUS 14984 HAS SOUPS 14984 WITH SCORE 15002.883
AT ITER 3803 NEW BEST:: SOT 64706 SOS 18853 HAS SOPS 18853 HAS SOUS 14954 HAS SOUPS 14954 WITH SCORE 14972.853
AT ITER 3841 NEW BEST:: SOT 64675 SOS 18791 HAS SOPS 18791 HAS SOUS 14892 HAS SOUPS 14892 WITH SCORE 14910.791
AT ITER 3843 NEW BEST:: SOT 64675 SOS 18788 HAS SOPS 18788 HAS SOUS 14889 HAS SOUPS 14889 WITH SCORE 14907.788
AT ITER 3858 NEW BEST:: SOT 64666 SOS 18785 HAS SOPS 18785 HAS SOUS 14886 HAS SOUPS 14886 WITH SCORE 14904.785
AT ITER 3917 NEW BEST:: SOT 64665 SOS 18783 HAS SOPS 18783 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14902.783
AT ITER 3923 NEW BEST:: SOT 64649 SOS 18760 HAS SOPS 18760 HAS SOUS 14861 HAS SOUPS 14861 WITH SCORE 14879.76
AT ITER 3944 NEW BEST:: SOT 64633 SOS 18744 HAS SOPS 18744 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14863.744
AT ITER 3975 NEW BEST:: SOT 64635 SOS 18741 HAS SOPS 18741 HAS SOUS 14842 HAS SOUPS 14842 WITH SCORE 14860.741
AT ITER 3977 NEW BEST:: SOT 64607 SOS 18718 HAS SOPS 18718 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14835.718
AT ITER 3978 NEW BEST:: SOT 64629 SOS 18712 HAS SOPS 18712 HAS SOUS 14811 HAS SOUPS 14811 WITH SCORE 14829.712
AT ITER 3984 NEW BEST:: SOT 64625 SOS 18704 HAS SOPS 18704 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14821.704
AT ITER 4090 NEW BEST:: SOT 64640 SOS 18697 HAS SOPS 18697 HAS SOUS 14796 HAS SOUPS 14796 WITH SCORE 14814.697
AT ITER 4094 NEW BEST:: SOT 64628 SOS 18681 HAS SOPS 18681 HAS SOUS 14780 HAS SOUPS 14780 WITH SCORE 14798.681
AT ITER 4126 NEW BEST:: SOT 64598 SOS 18636 HAS SOPS 18636 HAS SOUS 14750 HAS SOUPS 14750 WITH SCORE 14768.636
AT ITER 4161 NEW BEST:: SOT 64598 SOS 18629 HAS SOPS 18629 HAS SOUS 14743 HAS SOUPS 14743 WITH SCORE 14761.629
AT ITER 4163 NEW BEST:: SOT 64597 SOS 18628 HAS SOPS 18628 HAS SOUS 14742 HAS SOUPS 14742 WITH SCORE 14760.628
AT ITER 4182 NEW BEST:: SOT 64593 SOS 18616 HAS SOPS 18616 HAS SOUS 14734 HAS SOUPS 14734 WITH SCORE 14752.616
AT ITER 4184 NEW BEST:: SOT 64593 SOS 18616 HAS SOPS 18616 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14751.616
AT ITER 4217 NEW BEST:: SOT 64593 SOS 18703 HAS SOPS 18703 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14743.703
AT ITER 4270 NEW BEST:: SOT 64564 SOS 18666 HAS SOPS 18666 HAS SOUS 14688 HAS SOUPS 14688 WITH SCORE 14706.666
AT ITER 4292 NEW BEST:: SOT 64564 SOS 18663 HAS SOPS 18663 HAS SOUS 14685 HAS SOUPS 14685 WITH SCORE 14703.663
AT ITER 4336 NEW BEST:: SOT 64558 SOS 18656 HAS SOPS 18656 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14701.656
AT ITER 4344 NEW BEST:: SOT 64535 SOS 18633 HAS SOPS 18633 HAS SOUS 14683 HAS SOUPS 14683 WITH SCORE 14701.633
AT ITER 4352 NEW BEST:: SOT 64535 SOS 18631 HAS SOPS 18631 HAS SOUS 14679 HAS SOUPS 14679 WITH SCORE 14697.631
AT ITER 4354 NEW BEST:: SOT 64526 SOS 18630 HAS SOPS 18630 HAS SOUS 14678 HAS SOUPS 14678 WITH SCORE 14696.63
AT ITER 4388 NEW BEST:: SOT 64511 SOS 18617 HAS SOPS 18617 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14683.617
AT ITER 4389 NEW BEST:: SOT 64397 SOS 18615 HAS SOPS 18615 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14681.615
AT ITER 4394 NEW BEST:: SOT 64431 SOS 18611 HAS SOPS 18611 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14677.611
AT ITER 4404 NEW BEST:: SOT 64415 SOS 18595 HAS SOPS 18595 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14677.595
AT ITER 4408 NEW BEST:: SOT 64438 SOS 18583 HAS SOPS 18583 HAS SOUS 14647 HAS SOUPS 14647 WITH SCORE 14665.583
AT ITER 4412 NEW BEST:: SOT 64431 SOS 18575 HAS SOPS 18575 HAS SOUS 14639 HAS SOUPS 14639 WITH SCORE 14657.575
AT ITER 4470 NEW BEST:: SOT 64427 SOS 18567 HAS SOPS 18567 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14649.567
AT ITER 4481 NEW BEST:: SOT 64394 SOS 18505 HAS SOPS 18505 HAS SOUS 14569 HAS SOUPS 14569 WITH SCORE 14587.505
AT ITER 4493 NEW BEST:: SOT 64388 SOS 18499 HAS SOPS 18499 HAS SOUS 14560 HAS SOUPS 14560 WITH SCORE 14578.499
AT ITER 4496 NEW BEST:: SOT 64367 SOS 18482 HAS SOPS 18482 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14561.482
AT ITER 4545 NEW BEST:: SOT 64354 SOS 18469 HAS SOPS 18469 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14554.469
AT ITER 4574 NEW BEST:: SOT 64348 SOS 18463 HAS SOPS 18463 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14554.463
AT ITER 4601 NEW BEST:: SOT 64325 SOS 18417 HAS SOPS 18417 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14508.417
AT ITER 4602 NEW BEST:: SOT 64324 SOS 18415 HAS SOPS 18415 HAS SOUS 14488 HAS SOUPS 14488 WITH SCORE 14506.415
AT ITER 4620 NEW BEST:: SOT 64313 SOS 18404 HAS SOPS 18404 HAS SOUS 14477 HAS SOUPS 14477 WITH SCORE 14495.404
AT ITER 4650 NEW BEST:: SOT 64245 SOS 18336 HAS SOPS 18336 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14427.336
AT ITER 4676 NEW BEST:: SOT 64194 SOS 18315 HAS SOPS 18315 HAS SOUS 14388 HAS SOUPS 14388 WITH SCORE 14406.315
AT ITER 4701 NEW BEST:: SOT 64187 SOS 18308 HAS SOPS 18308 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14399.308
AT ITER 4706 NEW BEST:: SOT 64190 SOS 18302 HAS SOPS 18302 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14393.302
AT ITER 4707 NEW BEST:: SOT 64191 SOS 18296 HAS SOPS 18296 HAS SOUS 14369 HAS SOUPS 14369 WITH SCORE 14387.296
AT ITER 4729 NEW BEST:: SOT 64172 SOS 18292 HAS SOPS 18292 HAS SOUS 14365 HAS SOUPS 14365 WITH SCORE 14383.292
AT ITER 4765 NEW BEST:: SOT 64161 SOS 18286 HAS SOPS 18286 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14377.286
AT ITER 4791 NEW BEST:: SOT 64157 SOS 18278 HAS SOPS 18278 HAS SOUS 14351 HAS SOUPS 14351 WITH SCORE 14369.278
AT ITER 4792 NEW BEST:: SOT 64153 SOS 18274 HAS SOPS 18274 HAS SOUS 14347 HAS SOUPS 14347 WITH SCORE 14365.274
AT ITER 4829 NEW BEST:: SOT 64126 SOS 18227 HAS SOPS 18227 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14314.227
AT ITER 4869 NEW BEST:: SOT 64073 SOS 18151 HAS SOPS 18151 HAS SOUS 14220 HAS SOUPS 14220 WITH SCORE 14238.151
AT ITER 4898 NEW BEST:: SOT 64010 SOS 18088 HAS SOPS 18088 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14175.088
AT ITER 4927 NEW BEST:: SOT 64003 SOS 18081 HAS SOPS 18081 HAS SOUS 14150 HAS SOUPS 14150 WITH SCORE 14168.081
AT ITER 4945 NEW BEST:: SOT 63993 SOS 18066 HAS SOPS 18066 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14153.066
AT ITER 4955 NEW BEST:: SOT 63947 SOS 17974 HAS SOPS 17974 HAS SOUS 14127 HAS SOUPS 14127 WITH SCORE 14144.974
AT ITER 4996 NEW BEST:: SOT 63949 SOS 17906 HAS SOPS 17906 HAS SOUS 14127 HAS SOUPS 14127 WITH SCORE 14144.906
AT ITER 4997 NEW BEST:: SOT 63941 SOS 17888 HAS SOPS 17888 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14126.888
AT ITER 5000 NEW BEST:: SOT 63917 SOS 17861 HAS SOPS 17861 HAS SOUS 14085 HAS SOUPS 14085 WITH SCORE 14102.861
AT ITER 5092 NEW BEST:: SOT 63920 SOS 17854 HAS SOPS 17854 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14095.854
AT ITER 5123 NEW BEST:: SOT 63914 SOS 17844 HAS SOPS 17844 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14079.844
AT ITER 5131 NEW BEST:: SOT 63914 SOS 17844 HAS SOPS 17844 HAS SOUS 14056 HAS SOUPS 14056 WITH SCORE 14073.844
AT ITER 5144 NEW BEST:: SOT 63919 SOS 17838 HAS SOPS 17838 HAS SOUS 14050 HAS SOUPS 14050 WITH SCORE 14067.838
AT ITER 5146 NEW BEST:: SOT 63897 SOS 17809 HAS SOPS 17809 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14038.809
AT ITER 5217 NEW BEST:: SOT 63908 SOS 17800 HAS SOPS 17800 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14029.8
AT ITER 5234 NEW BEST:: SOT 63907 SOS 17799 HAS SOPS 17799 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14028.799
AT ITER 5258 NEW BEST:: SOT 63903 SOS 17797 HAS SOPS 17797 HAS SOUS 14009 HAS SOUPS 14009 WITH SCORE 14026.797
AT ITER 5308 NEW BEST:: SOT 63880 SOS 17774 HAS SOPS 17774 HAS SOUS 13986 HAS SOUPS 13986 WITH SCORE 14003.774
AT ITER 5320 NEW BEST:: SOT 63879 SOS 17773 HAS SOPS 17773 HAS SOUS 13985 HAS SOUPS 13985 WITH SCORE 14002.773
AT ITER 5335 NEW BEST:: SOT 63851 SOS 17745 HAS SOPS 17745 HAS SOUS 13985 HAS SOUPS 13985 WITH SCORE 14002.745
AT ITER 5339 NEW BEST:: SOT 63851 SOS 17738 HAS SOPS 17738 HAS SOUS 13970 HAS SOUPS 13970 WITH SCORE 13987.738
AT ITER 5353 NEW BEST:: SOT 63832 SOS 17725 HAS SOPS 17725 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13974.725
AT ITER 5400 NEW BEST:: SOT 63782 SOS 17677 HAS SOPS 17677 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13926.677
AT ITER 5427 NEW BEST:: SOT 63782 SOS 17671 HAS SOPS 17671 HAS SOUS 13903 HAS SOUPS 13903 WITH SCORE 13920.671
AT ITER 5447 NEW BEST:: SOT 63778 SOS 17663 HAS SOPS 17663 HAS SOUS 13895 HAS SOUPS 13895 WITH SCORE 13912.663
AT ITER 5466 NEW BEST:: SOT 63784 SOS 17661 HAS SOPS 17661 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13910.661
AT ITER 5554 NEW BEST:: SOT 63779 SOS 17651 HAS SOPS 17651 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13908.651
AT ITER 5556 NEW BEST:: SOT 63768 SOS 17640 HAS SOPS 17640 HAS SOUS 13880 HAS SOUPS 13880 WITH SCORE 13897.64
AT ITER 5589 NEW BEST:: SOT 63765 SOS 17634 HAS SOPS 17634 HAS SOUS 13874 HAS SOUPS 13874 WITH SCORE 13891.634
AT ITER 5597 NEW BEST:: SOT 63762 SOS 17625 HAS SOPS 17625 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13882.625
AT ITER 5649 NEW BEST:: SOT 63759 SOS 17622 HAS SOPS 17622 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13882.622
AT ITER 5675 NEW BEST:: SOT 63760 SOS 17622 HAS SOPS 17622 HAS SOUS 13863 HAS SOUPS 13863 WITH SCORE 13880.622
AT ITER 5683 NEW BEST:: SOT 63691 SOS 17540 HAS SOPS 17540 HAS SOUS 13766 HAS SOUPS 13766 WITH SCORE 13783.54
AT ITER 5700 NEW BEST:: SOT 63683 SOS 17525 HAS SOPS 17525 HAS SOUS 13751 HAS SOUPS 13751 WITH SCORE 13768.525
AT ITER 5744 NEW BEST:: SOT 63693 SOS 17506 HAS SOPS 17506 HAS SOUS 13731 HAS SOUPS 13731 WITH SCORE 13748.506
AT ITER 5799 NEW BEST:: SOT 63687 SOS 17437 HAS SOPS 17437 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13736.437
AT ITER 5800 NEW BEST:: SOT 63662 SOS 17412 HAS SOPS 17412 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13736.412
AT ITER 5826 NEW BEST:: SOT 63653 SOS 17403 HAS SOPS 17403 HAS SOUS 13710 HAS SOUPS 13710 WITH SCORE 13727.403
AT ITER 5867 NEW BEST:: SOT 63679 SOS 17405 HAS SOPS 17405 HAS SOUS 13690 HAS SOUPS 13690 WITH SCORE 13707.405
AT ITER 6098 NEW BEST:: SOT 63648 SOS 17363 HAS SOPS 17363 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13665.363
AT ITER 6111 NEW BEST:: SOT 63639 SOS 17338 HAS SOPS 17338 HAS SOUS 13623 HAS SOUPS 13623 WITH SCORE 13640.338
AT ITER 6132 NEW BEST:: SOT 63638 SOS 17337 HAS SOPS 17337 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13639.337
AT ITER 6153 NEW BEST:: SOT 63626 SOS 17325 HAS SOPS 17325 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13627.325
AT ITER 6162 NEW BEST:: SOT 63626 SOS 17318 HAS SOPS 17318 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13620.318
AT ITER 6181 NEW BEST:: SOT 63625 SOS 17317 HAS SOPS 17317 HAS SOUS 13602 HAS SOUPS 13602 WITH SCORE 13619.317
AT ITER 6190 NEW BEST:: SOT 63632 SOS 17316 HAS SOPS 17316 HAS SOUS 13601 HAS SOUPS 13601 WITH SCORE 13618.316
AT ITER 6200 NEW BEST:: SOT 63626 SOS 17301 HAS SOPS 17301 HAS SOUS 13595 HAS SOUPS 13595 WITH SCORE 13612.301
AT ITER 6226 NEW BEST:: SOT 63620 SOS 17295 HAS SOPS 17295 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13606.295
AT ITER 6266 NEW BEST:: SOT 63595 SOS 17208 HAS SOPS 17208 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13519.208
AT ITER 6275 NEW BEST:: SOT 63585 SOS 17193 HAS SOPS 17193 HAS SOUS 13487 HAS SOUPS 13487 WITH SCORE 13504.193
AT ITER 6339 NEW BEST:: SOT 63583 SOS 17191 HAS SOPS 17191 HAS SOUS 13485 HAS SOUPS 13485 WITH SCORE 13502.191
AT ITER 6350 NEW BEST:: SOT 63565 SOS 17155 HAS SOPS 17155 HAS SOUS 13471 HAS SOUPS 13471 WITH SCORE 13488.155
AT ITER 6384 NEW BEST:: SOT 63554 SOS 17146 HAS SOPS 17146 HAS SOUS 13462 HAS SOUPS 13462 WITH SCORE 13479.146
AT ITER 6394 NEW BEST:: SOT 63503 SOS 17044 HAS SOPS 17044 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13377.044
AT ITER 6432 NEW BEST:: SOT 63500 SOS 17041 HAS SOPS 17041 HAS SOUS 13357 HAS SOUPS 13357 WITH SCORE 13374.041
AT ITER 6469 NEW BEST:: SOT 63481 SOS 17022 HAS SOPS 17022 HAS SOUS 13338 HAS SOUPS 13338 WITH SCORE 13355.022
AT ITER 6491 NEW BEST:: SOT 63481 SOS 17017 HAS SOPS 17017 HAS SOUS 13333 HAS SOUPS 13333 WITH SCORE 13350.017
AT ITER 6543 NEW BEST:: SOT 63481 SOS 17014 HAS SOPS 17014 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13347.014
AT ITER 6558 NEW BEST:: SOT 63475 SOS 17008 HAS SOPS 17008 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13347.008
AT ITER 6731 NEW BEST:: SOT 63475 SOS 16992 HAS SOPS 16992 HAS SOUS 13330 HAS SOUPS 13330 WITH SCORE 13346.992
AT ITER 6745 NEW BEST:: SOT 63474 SOS 16990 HAS SOPS 16990 HAS SOUS 13328 HAS SOUPS 13328 WITH SCORE 13344.99
AT ITER 6769 NEW BEST:: SOT 63473 SOS 16988 HAS SOPS 16988 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13343.988
AT ITER 6791 NEW BEST:: SOT 63484 SOS 16984 HAS SOPS 16984 HAS SOUS 13323 HAS SOUPS 13323 WITH SCORE 13339.984
AT ITER 6794 NEW BEST:: SOT 63484 SOS 16980 HAS SOPS 16980 HAS SOUS 13319 HAS SOUPS 13319 WITH SCORE 13335.98
AT ITER 6806 NEW BEST:: SOT 63484 SOS 16976 HAS SOPS 16976 HAS SOUS 13315 HAS SOUPS 13315 WITH SCORE 13331.976
AT ITER 6890 NEW BEST:: SOT 63488 SOS 16984 HAS SOPS 16984 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13323.984
AT ITER 6934 NEW BEST:: SOT 63480 SOS 16976 HAS SOPS 16976 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13315.976
AT ITER 6945 NEW BEST:: SOT 63455 SOS 16952 HAS SOPS 16952 HAS SOUS 13290 HAS SOUPS 13290 WITH SCORE 13306.952
AT ITER 6979 NEW BEST:: SOT 63455 SOS 16952 HAS SOPS 16952 HAS SOUS 13287 HAS SOUPS 13287 WITH SCORE 13303.952
AT ITER 7103 NEW BEST:: SOT 63439 SOS 16936 HAS SOPS 16936 HAS SOUS 13271 HAS SOUPS 13271 WITH SCORE 13287.936
AT ITER 7123 NEW BEST:: SOT 63421 SOS 16936 HAS SOPS 16936 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13284.936
AT ITER 7133 NEW BEST:: SOT 63411 SOS 16926 HAS SOPS 16926 HAS SOUS 13258 HAS SOUPS 13258 WITH SCORE 13274.926
AT ITER 7173 NEW BEST:: SOT 63407 SOS 16922 HAS SOPS 16922 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13270.922
AT ITER 7176 NEW BEST:: SOT 63393 SOS 16908 HAS SOPS 16908 HAS SOUS 13240 HAS SOUPS 13240 WITH SCORE 13256.908
AT ITER 7208 NEW BEST:: SOT 63368 SOS 16878 HAS SOPS 16878 HAS SOUS 13210 HAS SOUPS 13210 WITH SCORE 13226.878
AT ITER 7210 NEW BEST:: SOT 63368 SOS 16869 HAS SOPS 16869 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13214.869
AT ITER 7232 NEW BEST:: SOT 63368 SOS 16869 HAS SOPS 16869 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13201.869
AT ITER 7239 NEW BEST:: SOT 63368 SOS 16864 HAS SOPS 16864 HAS SOUS 13180 HAS SOUPS 13180 WITH SCORE 13196.864
AT ITER 7248 NEW BEST:: SOT 63347 SOS 16843 HAS SOPS 16843 HAS SOUS 13180 HAS SOUPS 13180 WITH SCORE 13196.843
AT ITER 7292 NEW BEST:: SOT 63342 SOS 16838 HAS SOPS 16838 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13191.838
AT ITER 7294 NEW BEST:: SOT 63339 SOS 16835 HAS SOPS 16835 HAS SOUS 13172 HAS SOUPS 13172 WITH SCORE 13188.835
AT ITER 7329 NEW BEST:: SOT 63338 SOS 16833 HAS SOPS 16833 HAS SOUS 13170 HAS SOUPS 13170 WITH SCORE 13186.833
AT ITER 7336 NEW BEST:: SOT 63338 SOS 16831 HAS SOPS 16831 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13184.831
AT ITER 7337 NEW BEST:: SOT 63311 SOS 16804 HAS SOPS 16804 HAS SOUS 13168 HAS SOUPS 13168 WITH SCORE 13184.804
AT ITER 7371 NEW BEST:: SOT 63306 SOS 16793 HAS SOPS 16793 HAS SOUS 13157 HAS SOUPS 13157 WITH SCORE 13173.793
AT ITER 7402 NEW BEST:: SOT 63306 SOS 16793 HAS SOPS 16793 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13158.793
AT ITER 7417 NEW BEST:: SOT 63303 SOS 16787 HAS SOPS 16787 HAS SOUS 13136 HAS SOUPS 13136 WITH SCORE 13152.787
AT ITER 7428 NEW BEST:: SOT 63296 SOS 16773 HAS SOPS 16773 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13138.773
AT ITER 7445 NEW BEST:: SOT 63296 SOS 16771 HAS SOPS 16771 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13138.771
AT ITER 7525 NEW BEST:: SOT 63298 SOS 16761 HAS SOPS 16761 HAS SOUS 13112 HAS SOUPS 13112 WITH SCORE 13128.761
AT ITER 7605 NEW BEST:: SOT 63298 SOS 16759 HAS SOPS 16759 HAS SOUS 13110 HAS SOUPS 13110 WITH SCORE 13126.759
AT ITER 7613 NEW BEST:: SOT 63296 SOS 16757 HAS SOPS 16757 HAS SOUS 13108 HAS SOUPS 13108 WITH SCORE 13124.757
AT ITER 7662 NEW BEST:: SOT 63296 SOS 16757 HAS SOPS 16757 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13100.757
AT ITER 7751 NEW BEST:: SOT 63288 SOS 16749 HAS SOPS 16749 HAS SOUS 13076 HAS SOUPS 13076 WITH SCORE 13092.749
AT ITER 7782 NEW BEST:: SOT 63284 SOS 16747 HAS SOPS 16747 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13084.747
AT ITER 7799 NEW BEST:: SOT 63267 SOS 16730 HAS SOPS 16730 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13067.73
AT ITER 7804 NEW BEST:: SOT 63264 SOS 16726 HAS SOPS 16726 HAS SOUS 13047 HAS SOUPS 13047 WITH SCORE 13063.726
AT ITER 7805 NEW BEST:: SOT 63257 SOS 16699 HAS SOPS 16699 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13048.699
AT ITER 7809 NEW BEST:: SOT 63258 SOS 16695 HAS SOPS 16695 HAS SOUS 13028 HAS SOUPS 13028 WITH SCORE 13044.695
AT ITER 7820 NEW BEST:: SOT 63259 SOS 16693 HAS SOPS 16693 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13042.693
AT ITER 7848 NEW BEST:: SOT 63257 SOS 16691 HAS SOPS 16691 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13040.691
AT ITER 7856 NEW BEST:: SOT 63257 SOS 16688 HAS SOPS 16688 HAS SOUS 13022 HAS SOUPS 13022 WITH SCORE 13038.688
AT ITER 7857 NEW BEST:: SOT 63257 SOS 16667 HAS SOPS 16667 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13017.667
AT ITER 7888 NEW BEST:: SOT 63259 SOS 16671 HAS SOPS 16671 HAS SOUS 12989 HAS SOUPS 12989 WITH SCORE 13005.671
AT ITER 7934 NEW BEST:: SOT 63259 SOS 16669 HAS SOPS 16669 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13003.669
AT ITER 7937 NEW BEST:: SOT 63259 SOS 16653 HAS SOPS 16653 HAS SOUS 12971 HAS SOUPS 12971 WITH SCORE 12987.653
AT ITER 7958 NEW BEST:: SOT 63295 SOS 16622 HAS SOPS 16622 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 12985.622
AT ITER 7981 NEW BEST:: SOT 63290 SOS 16617 HAS SOPS 16617 HAS SOUS 12959 HAS SOUPS 12959 WITH SCORE 12975.617
AT ITER 8015 NEW BEST:: SOT 63290 SOS 16665 HAS SOPS 16665 HAS SOUS 12956 HAS SOUPS 12956 WITH SCORE 12972.665
AT ITER 8107 NEW BEST:: SOT 63288 SOS 16661 HAS SOPS 16661 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12968.661
AT ITER 8162 NEW BEST:: SOT 63287 SOS 16659 HAS SOPS 16659 HAS SOUS 12952 HAS SOUPS 12952 WITH SCORE 12968.659
AT ITER 8197 NEW BEST:: SOT 63287 SOS 16658 HAS SOPS 16658 HAS SOUS 12951 HAS SOUPS 12951 WITH SCORE 12967.658
AT ITER 8218 NEW BEST:: SOT 63288 SOS 16651 HAS SOPS 16651 HAS SOUS 12944 HAS SOUPS 12944 WITH SCORE 12960.651
AT ITER 8226 NEW BEST:: SOT 63288 SOS 16648 HAS SOPS 16648 HAS SOUS 12941 HAS SOUPS 12941 WITH SCORE 12957.648
AT ITER 8354 NEW BEST:: SOT 63286 SOS 16646 HAS SOPS 16646 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12955.646
AT ITER 8358 NEW BEST:: SOT 63291 SOS 16623 HAS SOPS 16623 HAS SOUS 12933 HAS SOUPS 12933 WITH SCORE 12949.623
AT ITER 8371 NEW BEST:: SOT 63292 SOS 16619 HAS SOPS 16619 HAS SOUS 12929 HAS SOUPS 12929 WITH SCORE 12945.619
AT ITER 8459 NEW BEST:: SOT 63268 SOS 16593 HAS SOPS 16593 HAS SOUS 12925 HAS SOUPS 12925 WITH SCORE 12941.593
AT ITER 8461 NEW BEST:: SOT 63267 SOS 16591 HAS SOPS 16591 HAS SOUS 12923 HAS SOUPS 12923 WITH SCORE 12939.591
AT ITER 8478 NEW BEST:: SOT 63234 SOS 16558 HAS SOPS 16558 HAS SOUS 12890 HAS SOUPS 12890 WITH SCORE 12906.558
AT ITER 8774 NEW BEST:: SOT 63222 SOS 16538 HAS SOPS 16538 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12886.538
AT ITER 8808 NEW BEST:: SOT 63222 SOS 16508 HAS SOPS 16508 HAS SOUS 12870 HAS SOUPS 12870 WITH SCORE 12886.508
AT ITER 8825 NEW BEST:: SOT 63222 SOS 16504 HAS SOPS 16504 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12882.504
AT ITER 8914 NEW BEST:: SOT 63211 SOS 16496 HAS SOPS 16496 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12874.496
AT ITER 8936 NEW BEST:: SOT 63204 SOS 16491 HAS SOPS 16491 HAS SOUS 12853 HAS SOUPS 12853 WITH SCORE 12869.491
AT ITER 8977 NEW BEST:: SOT 63201 SOS 16485 HAS SOPS 16485 HAS SOUS 12847 HAS SOUPS 12847 WITH SCORE 12863.485
AT ITER 9045 NEW BEST:: SOT 63186 SOS 16476 HAS SOPS 16476 HAS SOUS 12838 HAS SOUPS 12838 WITH SCORE 12854.476
AT ITER 9052 NEW BEST:: SOT 63170 SOS 16472 HAS SOPS 16472 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12850.472
AT ITER 9060 NEW BEST:: SOT 63163 SOS 16468 HAS SOPS 16468 HAS SOUS 12830 HAS SOUPS 12830 WITH SCORE 12846.468
AT ITER 9094 NEW BEST:: SOT 63163 SOS 16468 HAS SOPS 16468 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12845.468
AT ITER 9195 NEW BEST:: SOT 63142 SOS 16400 HAS SOPS 16400 HAS SOUS 12761 HAS SOUPS 12761 WITH SCORE 12777.4
AT ITER 9333 NEW BEST:: SOT 63134 SOS 16404 HAS SOPS 16404 HAS SOUS 12757 HAS SOUPS 12757 WITH SCORE 12773.404
AT ITER 9361 NEW BEST:: SOT 63110 SOS 16379 HAS SOPS 16379 HAS SOUS 12732 HAS SOUPS 12732 WITH SCORE 12748.379
AT ITER 9378 NEW BEST:: SOT 63135 SOS 16351 HAS SOPS 16351 HAS SOUS 12713 HAS SOUPS 12713 WITH SCORE 12729.351
AT ITER 9387 NEW BEST:: SOT 63131 SOS 16345 HAS SOPS 16345 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12723.345
AT ITER 9407 NEW BEST:: SOT 63080 SOS 16294 HAS SOPS 16294 HAS SOUS 12707 HAS SOUPS 12707 WITH SCORE 12723.294
AT ITER 9411 NEW BEST:: SOT 63103 SOS 16281 HAS SOPS 16281 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12710.281
AT ITER 9425 NEW BEST:: SOT 63098 SOS 16278 HAS SOPS 16278 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12707.278
AT ITER 9474 NEW BEST:: SOT 63097 SOS 16275 HAS SOPS 16275 HAS SOUS 12688 HAS SOUPS 12688 WITH SCORE 12704.275
AT ITER 9507 NEW BEST:: SOT 63108 SOS 16264 HAS SOPS 16264 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12680.264
AT ITER 9543 NEW BEST:: SOT 63110 SOS 16243 HAS SOPS 16243 HAS SOUS 12643 HAS SOUPS 12643 WITH SCORE 12659.243
AT ITER 9560 NEW BEST:: SOT 63106 SOS 16239 HAS SOPS 16239 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12655.239
AT ITER 9690 NEW BEST:: SOT 63096 SOS 16232 HAS SOPS 16232 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12648.232
AT ITER 9704 NEW BEST:: SOT 63096 SOS 16225 HAS SOPS 16225 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12641.225
AT ITER 9711 NEW BEST:: SOT 63084 SOS 16213 HAS SOPS 16213 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12629.213
AT ITER 9715 NEW BEST:: SOT 63072 SOS 16197 HAS SOPS 16197 HAS SOUS 12597 HAS SOUPS 12597 WITH SCORE 12613.197
AT ITER 9800 NEW BEST:: SOT 63072 SOS 16195 HAS SOPS 16195 HAS SOUS 12595 HAS SOUPS 12595 WITH SCORE 12611.195
AT ITER 9874 NEW BEST:: SOT 63075 SOS 16192 HAS SOPS 16192 HAS SOUS 12592 HAS SOUPS 12592 WITH SCORE 12608.192
AT ITER 9931 NEW BEST:: SOT 63074 SOS 16190 HAS SOPS 16190 HAS SOUS 12590 HAS SOUPS 12590 WITH SCORE 12606.19
AT ITER 9933 NEW BEST:: SOT 63074 SOS 16140 HAS SOPS 16140 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12556.14
AT ITER 9957 NEW BEST:: SOT 63073 SOS 16138 HAS SOPS 16138 HAS SOUS 12538 HAS SOUPS 12538 WITH SCORE 12554.138
AT ITER 9998 NEW BEST:: SOT 63073 SOS 16121 HAS SOPS 16121 HAS SOUS 12527 HAS SOUPS 12527 WITH SCORE 12543.121
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 13383940 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16153452 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-06, 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 r035-tajo-167813688300496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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