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.r043-tajo-167813696900504.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 smartxred
Input is BusinessProcesses-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696900504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 8.4K Feb 25 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 16:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K 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 9.9K Feb 25 16:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 16:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 100K 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 1678790628574

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:43:50] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:43:50] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:43:50] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-14 10:43:50] [INFO ] Transformed 386 places.
[2023-03-14 10:43:50] [INFO ] Transformed 360 transitions.
[2023-03-14 10:43:50] [INFO ] Found NUPN structural information;
[2023-03-14 10:43:50] [INFO ] Parsed PT model containing 386 places and 360 transitions and 1110 arcs in 149 ms.
[2023-03-14 10:43:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 386 places, 360 transitions and 1110 arcs took 9 ms.
Total runtime 191 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 07
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 386 places, 360 transitions, 1110 arcs.
AT ITER 0 NEW BEST:: SOT 89715 SOS 36715 HAS SOPS 36715 HAS SOUS 34995 HAS SOUPS 34995 WITH SCORE 35031.715
AT ITER 2 NEW BEST:: SOT 89079 SOS 36756 HAS SOPS 36756 HAS SOUS 34682 HAS SOUPS 34682 WITH SCORE 34718.756
AT ITER 12 NEW BEST:: SOT 89044 SOS 36721 HAS SOPS 36721 HAS SOUS 34647 HAS SOUPS 34647 WITH SCORE 34683.721
AT ITER 14 NEW BEST:: SOT 86984 SOS 35041 HAS SOPS 35041 HAS SOUS 32603 HAS SOUPS 32603 WITH SCORE 32638.041
AT ITER 27 NEW BEST:: SOT 86984 SOS 34989 HAS SOPS 34989 HAS SOUS 32558 HAS SOUPS 32558 WITH SCORE 32592.989
AT ITER 29 NEW BEST:: SOT 85401 SOS 44586 HAS SOPS 44586 HAS SOUS 31312 HAS SOUPS 31312 WITH SCORE 31356.586
AT ITER 31 NEW BEST:: SOT 85310 SOS 44398 HAS SOPS 44398 HAS SOUS 31212 HAS SOUPS 31212 WITH SCORE 31256.398
AT ITER 34 NEW BEST:: SOT 85236 SOS 44324 HAS SOPS 44324 HAS SOUS 31192 HAS SOUPS 31192 WITH SCORE 31236.324
AT ITER 37 NEW BEST:: SOT 85235 SOS 44236 HAS SOPS 44236 HAS SOUS 31113 HAS SOUPS 31113 WITH SCORE 31157.236
AT ITER 39 NEW BEST:: SOT 85323 SOS 43934 HAS SOPS 43934 HAS SOUS 31039 HAS SOUPS 31039 WITH SCORE 31082.934
AT ITER 41 NEW BEST:: SOT 85248 SOS 43774 HAS SOPS 43774 HAS SOUS 30895 HAS SOUPS 30895 WITH SCORE 30938.774
AT ITER 49 NEW BEST:: SOT 85213 SOS 43755 HAS SOPS 43755 HAS SOUS 30876 HAS SOUPS 30876 WITH SCORE 30919.755
AT ITER 50 NEW BEST:: SOT 85230 SOS 43825 HAS SOPS 43825 HAS SOUS 30867 HAS SOUPS 30867 WITH SCORE 30910.825
AT ITER 52 NEW BEST:: SOT 85230 SOS 43764 HAS SOPS 43764 HAS SOUS 30867 HAS SOUPS 30867 WITH SCORE 30910.764
AT ITER 54 NEW BEST:: SOT 85163 SOS 43696 HAS SOPS 43696 HAS SOUS 30799 HAS SOUPS 30799 WITH SCORE 30842.696
AT ITER 59 NEW BEST:: SOT 85116 SOS 43602 HAS SOPS 43602 HAS SOUS 30776 HAS SOUPS 30776 WITH SCORE 30819.602
AT ITER 60 NEW BEST:: SOT 85093 SOS 43579 HAS SOPS 43579 HAS SOUS 30776 HAS SOUPS 30776 WITH SCORE 30819.579
AT ITER 69 NEW BEST:: SOT 84949 SOS 43311 HAS SOPS 43311 HAS SOUS 30702 HAS SOUPS 30702 WITH SCORE 30745.311
AT ITER 83 NEW BEST:: SOT 84906 SOS 43215 HAS SOPS 43215 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30692.215
AT ITER 95 NEW BEST:: SOT 84895 SOS 43153 HAS SOPS 43153 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30630.153
AT ITER 100 NEW BEST:: SOT 84835 SOS 43092 HAS SOPS 43092 HAS SOUS 30585 HAS SOUPS 30585 WITH SCORE 30628.092
AT ITER 105 NEW BEST:: SOT 84782 SOS 42743 HAS SOPS 42743 HAS SOUS 30487 HAS SOUPS 30487 WITH SCORE 30529.743
AT ITER 107 NEW BEST:: SOT 84601 SOS 42297 HAS SOPS 42297 HAS SOUS 30301 HAS SOUPS 30301 WITH SCORE 30343.297
AT ITER 111 NEW BEST:: SOT 84542 SOS 42179 HAS SOPS 42179 HAS SOUS 30266 HAS SOUPS 30266 WITH SCORE 30308.179
AT ITER 118 NEW BEST:: SOT 84466 SOS 42103 HAS SOPS 42103 HAS SOUS 30266 HAS SOUPS 30266 WITH SCORE 30308.103
AT ITER 120 NEW BEST:: SOT 84396 SOS 41958 HAS SOPS 41958 HAS SOUS 30196 HAS SOUPS 30196 WITH SCORE 30237.958
AT ITER 122 NEW BEST:: SOT 83479 SOS 42246 HAS SOPS 42246 HAS SOUS 29610 HAS SOUPS 29610 WITH SCORE 29652.246
AT ITER 123 NEW BEST:: SOT 83473 SOS 42125 HAS SOPS 42125 HAS SOUS 29538 HAS SOUPS 29538 WITH SCORE 29580.125
AT ITER 131 NEW BEST:: SOT 83424 SOS 41982 HAS SOPS 41982 HAS SOUS 29403 HAS SOUPS 29403 WITH SCORE 29444.982
AT ITER 132 NEW BEST:: SOT 83431 SOS 41912 HAS SOPS 41912 HAS SOUS 29372 HAS SOUPS 29372 WITH SCORE 29413.912
AT ITER 140 NEW BEST:: SOT 83431 SOS 41858 HAS SOPS 41858 HAS SOUS 29318 HAS SOUPS 29318 WITH SCORE 29359.858
AT ITER 145 NEW BEST:: SOT 83414 SOS 41849 HAS SOPS 41849 HAS SOUS 29309 HAS SOUPS 29309 WITH SCORE 29350.849
AT ITER 154 NEW BEST:: SOT 83408 SOS 41843 HAS SOPS 41843 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29344.843
AT ITER 164 NEW BEST:: SOT 83308 SOS 41768 HAS SOPS 41768 HAS SOUS 29228 HAS SOUPS 29228 WITH SCORE 29269.768
AT ITER 182 NEW BEST:: SOT 83308 SOS 41763 HAS SOPS 41763 HAS SOUS 29218 HAS SOUPS 29218 WITH SCORE 29259.763
AT ITER 183 NEW BEST:: SOT 83284 SOS 41754 HAS SOPS 41754 HAS SOUS 29209 HAS SOUPS 29209 WITH SCORE 29250.754
AT ITER 189 NEW BEST:: SOT 83223 SOS 41675 HAS SOPS 41675 HAS SOUS 29094 HAS SOUPS 29094 WITH SCORE 29135.675
AT ITER 196 NEW BEST:: SOT 83219 SOS 41667 HAS SOPS 41667 HAS SOUS 29086 HAS SOUPS 29086 WITH SCORE 29127.667
AT ITER 199 NEW BEST:: SOT 83219 SOS 41668 HAS SOPS 41668 HAS SOUS 29042 HAS SOUPS 29042 WITH SCORE 29083.668
AT ITER 207 NEW BEST:: SOT 83234 SOS 41669 HAS SOPS 41669 HAS SOUS 29014 HAS SOUPS 29014 WITH SCORE 29055.669
AT ITER 215 NEW BEST:: SOT 83201 SOS 41636 HAS SOPS 41636 HAS SOUS 28981 HAS SOUPS 28981 WITH SCORE 29022.636
AT ITER 216 NEW BEST:: SOT 83194 SOS 41622 HAS SOPS 41622 HAS SOUS 28967 HAS SOUPS 28967 WITH SCORE 29008.622
AT ITER 222 NEW BEST:: SOT 83251 SOS 41679 HAS SOPS 41679 HAS SOUS 28966 HAS SOUPS 28966 WITH SCORE 29007.679
AT ITER 225 NEW BEST:: SOT 83224 SOS 41556 HAS SOPS 41556 HAS SOUS 28918 HAS SOUPS 28918 WITH SCORE 28959.556
AT ITER 229 NEW BEST:: SOT 81509 SOS 39716 HAS SOPS 39716 HAS SOUS 27194 HAS SOUPS 27194 WITH SCORE 27233.716
AT ITER 247 NEW BEST:: SOT 81454 SOS 34812 HAS SOPS 34812 HAS SOUS 26996 HAS SOUPS 26996 WITH SCORE 27030.812
AT ITER 264 NEW BEST:: SOT 81372 SOS 34717 HAS SOPS 34717 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26984.717
AT ITER 283 NEW BEST:: SOT 81169 SOS 34422 HAS SOPS 34422 HAS SOUS 26767 HAS SOUPS 26767 WITH SCORE 26801.422
AT ITER 309 NEW BEST:: SOT 81087 SOS 34258 HAS SOPS 34258 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26797.258
AT ITER 312 NEW BEST:: SOT 81080 SOS 34251 HAS SOPS 34251 HAS SOUS 26756 HAS SOUPS 26756 WITH SCORE 26790.251
AT ITER 325 NEW BEST:: SOT 81060 SOS 34231 HAS SOPS 34231 HAS SOUS 26736 HAS SOUPS 26736 WITH SCORE 26770.231
AT ITER 331 NEW BEST:: SOT 81060 SOS 34231 HAS SOPS 34231 HAS SOUS 26701 HAS SOUPS 26701 WITH SCORE 26735.231
AT ITER 343 NEW BEST:: SOT 81001 SOS 34113 HAS SOPS 34113 HAS SOUS 26583 HAS SOUPS 26583 WITH SCORE 26617.113
AT ITER 345 NEW BEST:: SOT 80824 SOS 33967 HAS SOPS 33967 HAS SOUS 26437 HAS SOUPS 26437 WITH SCORE 26470.967
AT ITER 350 NEW BEST:: SOT 80767 SOS 33887 HAS SOPS 33887 HAS SOUS 26357 HAS SOUPS 26357 WITH SCORE 26390.887
AT ITER 353 NEW BEST:: SOT 80833 SOS 33830 HAS SOPS 33830 HAS SOUS 26299 HAS SOUPS 26299 WITH SCORE 26332.83
AT ITER 360 NEW BEST:: SOT 80833 SOS 33827 HAS SOPS 33827 HAS SOUS 26296 HAS SOUPS 26296 WITH SCORE 26329.827
AT ITER 362 NEW BEST:: SOT 80832 SOS 33826 HAS SOPS 33826 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26328.826
AT ITER 364 NEW BEST:: SOT 80832 SOS 33733 HAS SOPS 33733 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26297.733
AT ITER 366 NEW BEST:: SOT 80754 SOS 33655 HAS SOPS 33655 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26297.655
AT ITER 370 NEW BEST:: SOT 80747 SOS 33648 HAS SOPS 33648 HAS SOUS 26257 HAS SOUPS 26257 WITH SCORE 26290.648
AT ITER 379 NEW BEST:: SOT 80712 SOS 33588 HAS SOPS 33588 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26251.588
AT ITER 391 NEW BEST:: SOT 80688 SOS 33540 HAS SOPS 33540 HAS SOUS 26215 HAS SOUPS 26215 WITH SCORE 26248.54
AT ITER 396 NEW BEST:: SOT 80394 SOS 33461 HAS SOPS 33461 HAS SOUS 26166 HAS SOUPS 26166 WITH SCORE 26199.461
AT ITER 407 NEW BEST:: SOT 80352 SOS 33408 HAS SOPS 33408 HAS SOUS 26113 HAS SOUPS 26113 WITH SCORE 26146.408
AT ITER 434 NEW BEST:: SOT 80351 SOS 33406 HAS SOPS 33406 HAS SOUS 26111 HAS SOUPS 26111 WITH SCORE 26144.406
AT ITER 438 NEW BEST:: SOT 80350 SOS 33347 HAS SOPS 33347 HAS SOUS 26109 HAS SOUPS 26109 WITH SCORE 26142.347
AT ITER 439 NEW BEST:: SOT 80347 SOS 33344 HAS SOPS 33344 HAS SOUS 26106 HAS SOUPS 26106 WITH SCORE 26139.344
AT ITER 440 NEW BEST:: SOT 80255 SOS 33160 HAS SOPS 33160 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26027.16
AT ITER 445 NEW BEST:: SOT 80222 SOS 33054 HAS SOPS 33054 HAS SOUS 25877 HAS SOUPS 25877 WITH SCORE 25910.054
AT ITER 449 NEW BEST:: SOT 80168 SOS 32914 HAS SOPS 32914 HAS SOUS 25844 HAS SOUPS 25844 WITH SCORE 25876.914
AT ITER 455 NEW BEST:: SOT 80131 SOS 32840 HAS SOPS 32840 HAS SOUS 25736 HAS SOUPS 25736 WITH SCORE 25768.84
AT ITER 456 NEW BEST:: SOT 80031 SOS 32688 HAS SOPS 32688 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25616.688
AT ITER 461 NEW BEST:: SOT 79984 SOS 32638 HAS SOPS 32638 HAS SOUS 25559 HAS SOUPS 25559 WITH SCORE 25591.638
AT ITER 471 NEW BEST:: SOT 79972 SOS 32626 HAS SOPS 32626 HAS SOUS 25547 HAS SOUPS 25547 WITH SCORE 25579.626
AT ITER 476 NEW BEST:: SOT 79936 SOS 32572 HAS SOPS 32572 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25525.572
AT ITER 479 NEW BEST:: SOT 79877 SOS 32401 HAS SOPS 32401 HAS SOUS 25381 HAS SOUPS 25381 WITH SCORE 25413.401
AT ITER 490 NEW BEST:: SOT 79662 SOS 32140 HAS SOPS 32140 HAS SOUS 25216 HAS SOUPS 25216 WITH SCORE 25248.14
AT ITER 506 NEW BEST:: SOT 79662 SOS 32122 HAS SOPS 32122 HAS SOUS 25198 HAS SOUPS 25198 WITH SCORE 25230.122
AT ITER 515 NEW BEST:: SOT 79545 SOS 31888 HAS SOPS 31888 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 24995.888
AT ITER 525 NEW BEST:: SOT 79509 SOS 31834 HAS SOPS 31834 HAS SOUS 24910 HAS SOUPS 24910 WITH SCORE 24941.834
AT ITER 526 NEW BEST:: SOT 79394 SOS 31719 HAS SOPS 31719 HAS SOUS 24707 HAS SOUPS 24707 WITH SCORE 24738.719
AT ITER 533 NEW BEST:: SOT 79394 SOS 31719 HAS SOPS 31719 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24737.719
AT ITER 546 NEW BEST:: SOT 79420 SOS 31662 HAS SOPS 31662 HAS SOUS 24649 HAS SOUPS 24649 WITH SCORE 24680.662
AT ITER 557 NEW BEST:: SOT 79420 SOS 31493 HAS SOPS 31493 HAS SOUS 24480 HAS SOUPS 24480 WITH SCORE 24511.493
AT ITER 567 NEW BEST:: SOT 79311 SOS 31374 HAS SOPS 31374 HAS SOUS 24289 HAS SOUPS 24289 WITH SCORE 24320.374
AT ITER 579 NEW BEST:: SOT 79244 SOS 31286 HAS SOPS 31286 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24232.286
AT ITER 584 NEW BEST:: SOT 79208 SOS 31250 HAS SOPS 31250 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24232.25
AT ITER 585 NEW BEST:: SOT 79169 SOS 31172 HAS SOPS 31172 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24133.172
AT ITER 598 NEW BEST:: SOT 79140 SOS 31114 HAS SOPS 31114 HAS SOUS 24044 HAS SOUPS 24044 WITH SCORE 24075.114
AT ITER 601 NEW BEST:: SOT 79134 SOS 31108 HAS SOPS 31108 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24069.108
AT ITER 603 NEW BEST:: SOT 79134 SOS 31087 HAS SOPS 31087 HAS SOUS 24017 HAS SOUPS 24017 WITH SCORE 24048.087
AT ITER 611 NEW BEST:: SOT 79145 SOS 31083 HAS SOPS 31083 HAS SOUS 24013 HAS SOUPS 24013 WITH SCORE 24044.083
AT ITER 619 NEW BEST:: SOT 79152 SOS 31097 HAS SOPS 31097 HAS SOUS 23985 HAS SOUPS 23985 WITH SCORE 24016.097
AT ITER 623 NEW BEST:: SOT 79152 SOS 31085 HAS SOPS 31085 HAS SOUS 23973 HAS SOUPS 23973 WITH SCORE 24004.085
AT ITER 649 NEW BEST:: SOT 79191 SOS 31062 HAS SOPS 31062 HAS SOUS 23950 HAS SOUPS 23950 WITH SCORE 23981.062
AT ITER 665 NEW BEST:: SOT 79191 SOS 31036 HAS SOPS 31036 HAS SOUS 23911 HAS SOUPS 23911 WITH SCORE 23942.036
AT ITER 695 NEW BEST:: SOT 79191 SOS 30996 HAS SOPS 30996 HAS SOUS 23910 HAS SOUPS 23910 WITH SCORE 23940.996
AT ITER 710 NEW BEST:: SOT 79037 SOS 30699 HAS SOPS 30699 HAS SOUS 23613 HAS SOUPS 23613 WITH SCORE 23643.699
AT ITER 713 NEW BEST:: SOT 79034 SOS 30696 HAS SOPS 30696 HAS SOUS 23610 HAS SOUPS 23610 WITH SCORE 23640.696
AT ITER 726 NEW BEST:: SOT 79023 SOS 30674 HAS SOPS 30674 HAS SOUS 23595 HAS SOUPS 23595 WITH SCORE 23625.674
AT ITER 737 NEW BEST:: SOT 78994 SOS 30645 HAS SOPS 30645 HAS SOUS 23566 HAS SOUPS 23566 WITH SCORE 23596.645
AT ITER 764 NEW BEST:: SOT 78994 SOS 30645 HAS SOPS 30645 HAS SOUS 23553 HAS SOUPS 23553 WITH SCORE 23583.645
AT ITER 769 NEW BEST:: SOT 78895 SOS 30559 HAS SOPS 30559 HAS SOUS 23539 HAS SOUPS 23539 WITH SCORE 23569.559
AT ITER 772 NEW BEST:: SOT 78879 SOS 30530 HAS SOPS 30530 HAS SOUS 23510 HAS SOUPS 23510 WITH SCORE 23540.53
AT ITER 793 NEW BEST:: SOT 78815 SOS 30402 HAS SOPS 30402 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23412.402
AT ITER 799 NEW BEST:: SOT 78763 SOS 30350 HAS SOPS 30350 HAS SOUS 23330 HAS SOUPS 23330 WITH SCORE 23360.35
AT ITER 807 NEW BEST:: SOT 78631 SOS 30095 HAS SOPS 30095 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23230.095
AT ITER 808 NEW BEST:: SOT 78628 SOS 30092 HAS SOPS 30092 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23230.092
AT ITER 826 NEW BEST:: SOT 78587 SOS 30010 HAS SOPS 30010 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23148.01
AT ITER 842 NEW BEST:: SOT 78694 SOS 30117 HAS SOPS 30117 HAS SOUS 23064 HAS SOUPS 23064 WITH SCORE 23094.117
AT ITER 861 NEW BEST:: SOT 78641 SOS 30047 HAS SOPS 30047 HAS SOUS 23030 HAS SOUPS 23030 WITH SCORE 23060.047
AT ITER 864 NEW BEST:: SOT 78376 SOS 29671 HAS SOPS 29671 HAS SOUS 22812 HAS SOUPS 22812 WITH SCORE 22841.671
AT ITER 868 NEW BEST:: SOT 78354 SOS 29529 HAS SOPS 29529 HAS SOUS 22692 HAS SOUPS 22692 WITH SCORE 22721.529
AT ITER 884 NEW BEST:: SOT 78354 SOS 29473 HAS SOPS 29473 HAS SOUS 22659 HAS SOUPS 22659 WITH SCORE 22688.473
AT ITER 894 NEW BEST:: SOT 78320 SOS 29412 HAS SOPS 29412 HAS SOUS 22602 HAS SOUPS 22602 WITH SCORE 22631.412
AT ITER 896 NEW BEST:: SOT 78284 SOS 29341 HAS SOPS 29341 HAS SOUS 22594 HAS SOUPS 22594 WITH SCORE 22623.341
AT ITER 906 NEW BEST:: SOT 78281 SOS 29328 HAS SOPS 29328 HAS SOUS 22581 HAS SOUPS 22581 WITH SCORE 22610.328
AT ITER 911 NEW BEST:: SOT 78280 SOS 29312 HAS SOPS 29312 HAS SOUS 22565 HAS SOUPS 22565 WITH SCORE 22594.312
AT ITER 921 NEW BEST:: SOT 78304 SOS 29336 HAS SOPS 29336 HAS SOUS 22564 HAS SOUPS 22564 WITH SCORE 22593.336
AT ITER 922 NEW BEST:: SOT 78304 SOS 29300 HAS SOPS 29300 HAS SOUS 22564 HAS SOUPS 22564 WITH SCORE 22593.3
AT ITER 933 NEW BEST:: SOT 78268 SOS 29264 HAS SOPS 29264 HAS SOUS 22528 HAS SOUPS 22528 WITH SCORE 22557.264
AT ITER 935 NEW BEST:: SOT 78266 SOS 29260 HAS SOPS 29260 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22551.26
AT ITER 953 NEW BEST:: SOT 78246 SOS 29260 HAS SOPS 29260 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22547.26
AT ITER 956 NEW BEST:: SOT 78246 SOS 29207 HAS SOPS 29207 HAS SOUS 22465 HAS SOUPS 22465 WITH SCORE 22494.207
AT ITER 957 NEW BEST:: SOT 78246 SOS 29202 HAS SOPS 29202 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22489.202
AT ITER 959 NEW BEST:: SOT 78275 SOS 29188 HAS SOPS 29188 HAS SOUS 22446 HAS SOUPS 22446 WITH SCORE 22475.188
AT ITER 971 NEW BEST:: SOT 78269 SOS 29179 HAS SOPS 29179 HAS SOUS 22437 HAS SOUPS 22437 WITH SCORE 22466.179
AT ITER 982 NEW BEST:: SOT 78269 SOS 29143 HAS SOPS 29143 HAS SOUS 22365 HAS SOUPS 22365 WITH SCORE 22394.143
AT ITER 996 NEW BEST:: SOT 78264 SOS 29137 HAS SOPS 29137 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22390.137
AT ITER 998 NEW BEST:: SOT 78281 SOS 28958 HAS SOPS 28958 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22322.958
AT ITER 999 NEW BEST:: SOT 78275 SOS 28946 HAS SOPS 28946 HAS SOUS 22288 HAS SOUPS 22288 WITH SCORE 22316.946
AT ITER 1022 NEW BEST:: SOT 78340 SOS 28928 HAS SOPS 28928 HAS SOUS 22139 HAS SOUPS 22139 WITH SCORE 22167.928
AT ITER 1030 NEW BEST:: SOT 78257 SOS 28777 HAS SOPS 28777 HAS SOUS 22071 HAS SOUPS 22071 WITH SCORE 22099.777
AT ITER 1031 NEW BEST:: SOT 78209 SOS 28708 HAS SOPS 28708 HAS SOUS 22002 HAS SOUPS 22002 WITH SCORE 22030.708
AT ITER 1033 NEW BEST:: SOT 78200 SOS 28613 HAS SOPS 28613 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21935.613
AT ITER 1063 NEW BEST:: SOT 78199 SOS 28612 HAS SOPS 28612 HAS SOUS 21906 HAS SOUPS 21906 WITH SCORE 21934.612
AT ITER 1066 NEW BEST:: SOT 78198 SOS 28610 HAS SOPS 28610 HAS SOUS 21904 HAS SOUPS 21904 WITH SCORE 21932.61
AT ITER 1074 NEW BEST:: SOT 78198 SOS 28608 HAS SOPS 28608 HAS SOUS 21900 HAS SOUPS 21900 WITH SCORE 21928.608
AT ITER 1096 NEW BEST:: SOT 78159 SOS 28581 HAS SOPS 28581 HAS SOUS 21873 HAS SOUPS 21873 WITH SCORE 21901.581
AT ITER 1099 NEW BEST:: SOT 78155 SOS 28573 HAS SOPS 28573 HAS SOUS 21871 HAS SOUPS 21871 WITH SCORE 21899.573
AT ITER 1111 NEW BEST:: SOT 78145 SOS 28563 HAS SOPS 28563 HAS SOUS 21871 HAS SOUPS 21871 WITH SCORE 21899.563
AT ITER 1120 NEW BEST:: SOT 78129 SOS 28516 HAS SOPS 28516 HAS SOUS 21824 HAS SOUPS 21824 WITH SCORE 21852.516
AT ITER 1128 NEW BEST:: SOT 78107 SOS 28504 HAS SOPS 28504 HAS SOUS 21812 HAS SOUPS 21812 WITH SCORE 21840.504
AT ITER 1131 NEW BEST:: SOT 78073 SOS 28436 HAS SOPS 28436 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21789.436
AT ITER 1140 NEW BEST:: SOT 78024 SOS 28387 HAS SOPS 28387 HAS SOUS 21712 HAS SOUPS 21712 WITH SCORE 21740.387
AT ITER 1172 NEW BEST:: SOT 77961 SOS 28324 HAS SOPS 28324 HAS SOUS 21649 HAS SOUPS 21649 WITH SCORE 21677.324
AT ITER 1180 NEW BEST:: SOT 78004 SOS 28364 HAS SOPS 28364 HAS SOUS 21636 HAS SOUPS 21636 WITH SCORE 21664.364
AT ITER 1181 NEW BEST:: SOT 77998 SOS 28356 HAS SOPS 28356 HAS SOUS 21628 HAS SOUPS 21628 WITH SCORE 21656.356
AT ITER 1184 NEW BEST:: SOT 77998 SOS 28353 HAS SOPS 28353 HAS SOUS 21622 HAS SOUPS 21622 WITH SCORE 21650.353
AT ITER 1206 NEW BEST:: SOT 77996 SOS 28319 HAS SOPS 28319 HAS SOUS 21588 HAS SOUPS 21588 WITH SCORE 21616.319
AT ITER 1209 NEW BEST:: SOT 77994 SOS 28313 HAS SOPS 28313 HAS SOUS 21585 HAS SOUPS 21585 WITH SCORE 21613.313
AT ITER 1211 NEW BEST:: SOT 77924 SOS 28173 HAS SOPS 28173 HAS SOUS 21495 HAS SOUPS 21495 WITH SCORE 21523.173
AT ITER 1212 NEW BEST:: SOT 77894 SOS 28142 HAS SOPS 28142 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21452.142
AT ITER 1217 NEW BEST:: SOT 77870 SOS 28156 HAS SOPS 28156 HAS SOUS 21408 HAS SOUPS 21408 WITH SCORE 21436.156
AT ITER 1222 NEW BEST:: SOT 77817 SOS 28050 HAS SOPS 28050 HAS SOUS 21355 HAS SOUPS 21355 WITH SCORE 21383.05
AT ITER 1226 NEW BEST:: SOT 77817 SOS 28036 HAS SOPS 28036 HAS SOUS 21341 HAS SOUPS 21341 WITH SCORE 21369.036
AT ITER 1234 NEW BEST:: SOT 77743 SOS 27972 HAS SOPS 27972 HAS SOUS 21277 HAS SOUPS 21277 WITH SCORE 21304.972
AT ITER 1242 NEW BEST:: SOT 77752 SOS 27981 HAS SOPS 27981 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21293.981
AT ITER 1247 NEW BEST:: SOT 77782 SOS 27971 HAS SOPS 27971 HAS SOUS 21256 HAS SOUPS 21256 WITH SCORE 21283.971
AT ITER 1248 NEW BEST:: SOT 77809 SOS 27968 HAS SOPS 27968 HAS SOUS 21189 HAS SOUPS 21189 WITH SCORE 21216.968
AT ITER 1268 NEW BEST:: SOT 77809 SOS 27907 HAS SOPS 27907 HAS SOUS 21160 HAS SOUPS 21160 WITH SCORE 21187.907
AT ITER 1271 NEW BEST:: SOT 77804 SOS 27898 HAS SOPS 27898 HAS SOUS 21151 HAS SOUPS 21151 WITH SCORE 21178.898
AT ITER 1289 NEW BEST:: SOT 77804 SOS 28212 HAS SOPS 28212 HAS SOUS 21150 HAS SOUPS 21150 WITH SCORE 21178.212
AT ITER 1298 NEW BEST:: SOT 77806 SOS 28195 HAS SOPS 28195 HAS SOUS 21133 HAS SOUPS 21133 WITH SCORE 21161.195
AT ITER 1299 NEW BEST:: SOT 77938 SOS 28310 HAS SOPS 28310 HAS SOUS 21085 HAS SOUPS 21085 WITH SCORE 21113.31
AT ITER 1304 NEW BEST:: SOT 77920 SOS 28300 HAS SOPS 28300 HAS SOUS 21075 HAS SOUPS 21075 WITH SCORE 21103.3
AT ITER 1305 NEW BEST:: SOT 77918 SOS 28298 HAS SOPS 28298 HAS SOUS 21073 HAS SOUPS 21073 WITH SCORE 21101.298
AT ITER 1306 NEW BEST:: SOT 77706 SOS 27997 HAS SOPS 27997 HAS SOUS 20894 HAS SOUPS 20894 WITH SCORE 20921.997
AT ITER 1309 NEW BEST:: SOT 77602 SOS 27789 HAS SOPS 27789 HAS SOUS 20811 HAS SOUPS 20811 WITH SCORE 20838.789
AT ITER 1314 NEW BEST:: SOT 77602 SOS 27781 HAS SOPS 27781 HAS SOUS 20803 HAS SOUPS 20803 WITH SCORE 20830.781
AT ITER 1318 NEW BEST:: SOT 77580 SOS 27759 HAS SOPS 27759 HAS SOUS 20781 HAS SOUPS 20781 WITH SCORE 20808.759
AT ITER 1326 NEW BEST:: SOT 77547 SOS 27726 HAS SOPS 27726 HAS SOUS 20748 HAS SOUPS 20748 WITH SCORE 20775.726
AT ITER 1353 NEW BEST:: SOT 77538 SOS 27708 HAS SOPS 27708 HAS SOUS 20730 HAS SOUPS 20730 WITH SCORE 20757.708
AT ITER 1357 NEW BEST:: SOT 77507 SOS 27658 HAS SOPS 27658 HAS SOUS 20680 HAS SOUPS 20680 WITH SCORE 20707.658
AT ITER 1359 NEW BEST:: SOT 77498 SOS 27623 HAS SOPS 27623 HAS SOUS 20631 HAS SOUPS 20631 WITH SCORE 20658.623
AT ITER 1380 NEW BEST:: SOT 77435 SOS 27534 HAS SOPS 27534 HAS SOUS 20579 HAS SOUPS 20579 WITH SCORE 20606.534
AT ITER 1383 NEW BEST:: SOT 77432 SOS 27491 HAS SOPS 27491 HAS SOUS 20536 HAS SOUPS 20536 WITH SCORE 20563.491
AT ITER 1385 NEW BEST:: SOT 77430 SOS 27489 HAS SOPS 27489 HAS SOUS 20533 HAS SOUPS 20533 WITH SCORE 20560.489
AT ITER 1395 NEW BEST:: SOT 77423 SOS 27475 HAS SOPS 27475 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20546.475
AT ITER 1409 NEW BEST:: SOT 77407 SOS 27451 HAS SOPS 27451 HAS SOUS 20495 HAS SOUPS 20495 WITH SCORE 20522.451
AT ITER 1410 NEW BEST:: SOT 77483 SOS 27521 HAS SOPS 27521 HAS SOUS 20489 HAS SOUPS 20489 WITH SCORE 20516.521
AT ITER 1411 NEW BEST:: SOT 77386 SOS 27386 HAS SOPS 27386 HAS SOUS 20427 HAS SOUPS 20427 WITH SCORE 20454.386
AT ITER 1419 NEW BEST:: SOT 77390 SOS 27376 HAS SOPS 27376 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20444.376
AT ITER 1424 NEW BEST:: SOT 77397 SOS 27385 HAS SOPS 27385 HAS SOUS 20405 HAS SOUPS 20405 WITH SCORE 20432.385
AT ITER 1428 NEW BEST:: SOT 77397 SOS 27374 HAS SOPS 27374 HAS SOUS 20405 HAS SOUPS 20405 WITH SCORE 20432.374
AT ITER 1439 NEW BEST:: SOT 77388 SOS 27356 HAS SOPS 27356 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20425.356
AT ITER 1443 NEW BEST:: SOT 77337 SOS 27305 HAS SOPS 27305 HAS SOUS 20398 HAS SOUPS 20398 WITH SCORE 20425.305
AT ITER 1447 NEW BEST:: SOT 77337 SOS 27303 HAS SOPS 27303 HAS SOUS 20396 HAS SOUPS 20396 WITH SCORE 20423.303
AT ITER 1452 NEW BEST:: SOT 77215 SOS 27145 HAS SOPS 27145 HAS SOUS 20324 HAS SOUPS 20324 WITH SCORE 20351.145
AT ITER 1457 NEW BEST:: SOT 77261 SOS 27116 HAS SOPS 27116 HAS SOUS 20323 HAS SOUPS 20323 WITH SCORE 20350.116
AT ITER 1458 NEW BEST:: SOT 77249 SOS 27104 HAS SOPS 27104 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20338.104
AT ITER 1504 NEW BEST:: SOT 77218 SOS 27073 HAS SOPS 27073 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20338.073
AT ITER 1509 NEW BEST:: SOT 77175 SOS 27030 HAS SOPS 27030 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20338.03
AT ITER 1531 NEW BEST:: SOT 77122 SOS 26876 HAS SOPS 26876 HAS SOUS 20232 HAS SOUPS 20232 WITH SCORE 20258.876
AT ITER 1534 NEW BEST:: SOT 77045 SOS 27378 HAS SOPS 27378 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20198.378
AT ITER 1535 NEW BEST:: SOT 77045 SOS 27341 HAS SOPS 27341 HAS SOUS 20171 HAS SOUPS 20171 WITH SCORE 20198.341
AT ITER 1549 NEW BEST:: SOT 77009 SOS 27268 HAS SOPS 27268 HAS SOUS 20136 HAS SOUPS 20136 WITH SCORE 20163.268
AT ITER 1556 NEW BEST:: SOT 77005 SOS 27264 HAS SOPS 27264 HAS SOUS 20132 HAS SOUPS 20132 WITH SCORE 20159.264
AT ITER 1578 NEW BEST:: SOT 77001 SOS 27260 HAS SOPS 27260 HAS SOUS 20132 HAS SOUPS 20132 WITH SCORE 20159.26
AT ITER 1582 NEW BEST:: SOT 76975 SOS 27253 HAS SOPS 27253 HAS SOUS 20099 HAS SOUPS 20099 WITH SCORE 20126.253
AT ITER 1595 NEW BEST:: SOT 76975 SOS 27232 HAS SOPS 27232 HAS SOUS 20078 HAS SOUPS 20078 WITH SCORE 20105.232
AT ITER 1614 NEW BEST:: SOT 76967 SOS 27231 HAS SOPS 27231 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20104.231
AT ITER 1628 NEW BEST:: SOT 76956 SOS 27209 HAS SOPS 27209 HAS SOUS 20066 HAS SOUPS 20066 WITH SCORE 20093.209
AT ITER 1641 NEW BEST:: SOT 76838 SOS 27091 HAS SOPS 27091 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 19988.091
AT ITER 1657 NEW BEST:: SOT 76836 SOS 27082 HAS SOPS 27082 HAS SOUS 19952 HAS SOUPS 19952 WITH SCORE 19979.082
AT ITER 1660 NEW BEST:: SOT 76828 SOS 27066 HAS SOPS 27066 HAS SOUS 19936 HAS SOUPS 19936 WITH SCORE 19963.066
AT ITER 1691 NEW BEST:: SOT 76828 SOS 27061 HAS SOPS 27061 HAS SOUS 19936 HAS SOUPS 19936 WITH SCORE 19963.061
AT ITER 1703 NEW BEST:: SOT 76827 SOS 27059 HAS SOPS 27059 HAS SOUS 19935 HAS SOUPS 19935 WITH SCORE 19962.059
AT ITER 1707 NEW BEST:: SOT 76769 SOS 26956 HAS SOPS 26956 HAS SOUS 19811 HAS SOUPS 19811 WITH SCORE 19837.956
AT ITER 1713 NEW BEST:: SOT 76762 SOS 26915 HAS SOPS 26915 HAS SOUS 19770 HAS SOUPS 19770 WITH SCORE 19796.915
AT ITER 1717 NEW BEST:: SOT 76761 SOS 26914 HAS SOPS 26914 HAS SOUS 19769 HAS SOUPS 19769 WITH SCORE 19795.914
AT ITER 1730 NEW BEST:: SOT 76761 SOS 26914 HAS SOPS 26914 HAS SOUS 19760 HAS SOUPS 19760 WITH SCORE 19786.914
AT ITER 1735 NEW BEST:: SOT 76743 SOS 26878 HAS SOPS 26878 HAS SOUS 19724 HAS SOUPS 19724 WITH SCORE 19750.878
AT ITER 1743 NEW BEST:: SOT 76716 SOS 26845 HAS SOPS 26845 HAS SOUS 19691 HAS SOUPS 19691 WITH SCORE 19717.845
AT ITER 1748 NEW BEST:: SOT 76640 SOS 26769 HAS SOPS 26769 HAS SOUS 19615 HAS SOUPS 19615 WITH SCORE 19641.769
AT ITER 1755 NEW BEST:: SOT 76672 SOS 26775 HAS SOPS 26775 HAS SOUS 19595 HAS SOUPS 19595 WITH SCORE 19621.775
AT ITER 1775 NEW BEST:: SOT 76657 SOS 26740 HAS SOPS 26740 HAS SOUS 19560 HAS SOUPS 19560 WITH SCORE 19586.74
AT ITER 1778 NEW BEST:: SOT 76662 SOS 26720 HAS SOPS 26720 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19562.72
AT ITER 1795 NEW BEST:: SOT 76662 SOS 26688 HAS SOPS 26688 HAS SOUS 19472 HAS SOUPS 19472 WITH SCORE 19498.688
AT ITER 1805 NEW BEST:: SOT 76647 SOS 26658 HAS SOPS 26658 HAS SOUS 19455 HAS SOUPS 19455 WITH SCORE 19481.658
AT ITER 1831 NEW BEST:: SOT 76632 SOS 26633 HAS SOPS 26633 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19456.633
AT ITER 1833 NEW BEST:: SOT 76542 SOS 26479 HAS SOPS 26479 HAS SOUS 19276 HAS SOUPS 19276 WITH SCORE 19302.479
AT ITER 1843 NEW BEST:: SOT 76520 SOS 26418 HAS SOPS 26418 HAS SOUS 19215 HAS SOUPS 19215 WITH SCORE 19241.418
AT ITER 1859 NEW BEST:: SOT 76520 SOS 26389 HAS SOPS 26389 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19238.389
AT ITER 1879 NEW BEST:: SOT 76520 SOS 26413 HAS SOPS 26413 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19235.413
AT ITER 1884 NEW BEST:: SOT 76505 SOS 26383 HAS SOPS 26383 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19235.383
AT ITER 1885 NEW BEST:: SOT 76469 SOS 26345 HAS SOPS 26345 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19231.345
AT ITER 1902 NEW BEST:: SOT 76469 SOS 26344 HAS SOPS 26344 HAS SOUS 19204 HAS SOUPS 19204 WITH SCORE 19230.344
AT ITER 1925 NEW BEST:: SOT 76466 SOS 26410 HAS SOPS 26410 HAS SOUS 19189 HAS SOUPS 19189 WITH SCORE 19215.41
AT ITER 1926 NEW BEST:: SOT 76476 SOS 26385 HAS SOPS 26385 HAS SOUS 19164 HAS SOUPS 19164 WITH SCORE 19190.385
AT ITER 1927 NEW BEST:: SOT 76404 SOS 26363 HAS SOPS 26363 HAS SOUS 19142 HAS SOUPS 19142 WITH SCORE 19168.363
AT ITER 1932 NEW BEST:: SOT 76404 SOS 26363 HAS SOPS 26363 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19167.363
AT ITER 1940 NEW BEST:: SOT 76378 SOS 26337 HAS SOPS 26337 HAS SOUS 19115 HAS SOUPS 19115 WITH SCORE 19141.337
AT ITER 2020 NEW BEST:: SOT 76364 SOS 26309 HAS SOPS 26309 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19113.309
AT ITER 2027 NEW BEST:: SOT 76365 SOS 26284 HAS SOPS 26284 HAS SOUS 19059 HAS SOUPS 19059 WITH SCORE 19085.284
AT ITER 2039 NEW BEST:: SOT 76365 SOS 26254 HAS SOPS 26254 HAS SOUS 19029 HAS SOUPS 19029 WITH SCORE 19055.254
AT ITER 2048 NEW BEST:: SOT 76287 SOS 26119 HAS SOPS 26119 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18920.119
AT ITER 2063 NEW BEST:: SOT 76260 SOS 26090 HAS SOPS 26090 HAS SOUS 18865 HAS SOUPS 18865 WITH SCORE 18891.09
AT ITER 2084 NEW BEST:: SOT 76215 SOS 26000 HAS SOPS 26000 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18856.0
AT ITER 2145 NEW BEST:: SOT 76212 SOS 25997 HAS SOPS 25997 HAS SOUS 18830 HAS SOUPS 18830 WITH SCORE 18855.997
AT ITER 2170 NEW BEST:: SOT 76242 SOS 25990 HAS SOPS 25990 HAS SOUS 18823 HAS SOUPS 18823 WITH SCORE 18848.99
AT ITER 2185 NEW BEST:: SOT 76242 SOS 25955 HAS SOPS 25955 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18778.955
AT ITER 2193 NEW BEST:: SOT 76241 SOS 25933 HAS SOPS 25933 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18756.933
AT ITER 2196 NEW BEST:: SOT 76287 SOS 25907 HAS SOPS 25907 HAS SOUS 18705 HAS SOUPS 18705 WITH SCORE 18730.907
AT ITER 2238 NEW BEST:: SOT 76285 SOS 25904 HAS SOPS 25904 HAS SOUS 18703 HAS SOUPS 18703 WITH SCORE 18728.904
AT ITER 2243 NEW BEST:: SOT 76285 SOS 25882 HAS SOPS 25882 HAS SOUS 18681 HAS SOUPS 18681 WITH SCORE 18706.882
AT ITER 2253 NEW BEST:: SOT 76265 SOS 25870 HAS SOPS 25870 HAS SOUS 18669 HAS SOUPS 18669 WITH SCORE 18694.87
AT ITER 2258 NEW BEST:: SOT 76257 SOS 25862 HAS SOPS 25862 HAS SOUS 18661 HAS SOUPS 18661 WITH SCORE 18686.862
AT ITER 2265 NEW BEST:: SOT 76283 SOS 25888 HAS SOPS 25888 HAS SOUS 18650 HAS SOUPS 18650 WITH SCORE 18675.888
AT ITER 2266 NEW BEST:: SOT 76283 SOS 25876 HAS SOPS 25876 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18669.876
AT ITER 2279 NEW BEST:: SOT 76282 SOS 25868 HAS SOPS 25868 HAS SOUS 18636 HAS SOUPS 18636 WITH SCORE 18661.868
AT ITER 2304 NEW BEST:: SOT 76286 SOS 25843 HAS SOPS 25843 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18610.843
AT ITER 2305 NEW BEST:: SOT 76286 SOS 25469 HAS SOPS 25469 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18608.469
AT ITER 2312 NEW BEST:: SOT 76286 SOS 25466 HAS SOPS 25466 HAS SOUS 18583 HAS SOUPS 18583 WITH SCORE 18608.466
AT ITER 2317 NEW BEST:: SOT 76273 SOS 25440 HAS SOPS 25440 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18582.44
AT ITER 2319 NEW BEST:: SOT 76264 SOS 25431 HAS SOPS 25431 HAS SOUS 18548 HAS SOUPS 18548 WITH SCORE 18573.431
AT ITER 2320 NEW BEST:: SOT 76251 SOS 25405 HAS SOPS 25405 HAS SOUS 18522 HAS SOUPS 18522 WITH SCORE 18547.405
AT ITER 2352 NEW BEST:: SOT 76205 SOS 25359 HAS SOPS 25359 HAS SOUS 18448 HAS SOUPS 18448 WITH SCORE 18473.359
AT ITER 2360 NEW BEST:: SOT 76239 SOS 25374 HAS SOPS 25374 HAS SOUS 18407 HAS SOUPS 18407 WITH SCORE 18432.374
AT ITER 2386 NEW BEST:: SOT 76239 SOS 25364 HAS SOPS 25364 HAS SOUS 18406 HAS SOUPS 18406 WITH SCORE 18431.364
AT ITER 2421 NEW BEST:: SOT 76212 SOS 25302 HAS SOPS 25302 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18369.302
AT ITER 2433 NEW BEST:: SOT 76215 SOS 25308 HAS SOPS 25308 HAS SOUS 18321 HAS SOUPS 18321 WITH SCORE 18346.308
AT ITER 2435 NEW BEST:: SOT 76183 SOS 25233 HAS SOPS 25233 HAS SOUS 18246 HAS SOUPS 18246 WITH SCORE 18271.233
AT ITER 2443 NEW BEST:: SOT 76183 SOS 25220 HAS SOPS 25220 HAS SOUS 18233 HAS SOUPS 18233 WITH SCORE 18258.22
AT ITER 2455 NEW BEST:: SOT 76145 SOS 25189 HAS SOPS 25189 HAS SOUS 18202 HAS SOUPS 18202 WITH SCORE 18227.189
AT ITER 2468 NEW BEST:: SOT 76141 SOS 25181 HAS SOPS 25181 HAS SOUS 18198 HAS SOUPS 18198 WITH SCORE 18223.181
AT ITER 2478 NEW BEST:: SOT 76141 SOS 25158 HAS SOPS 25158 HAS SOUS 18175 HAS SOUPS 18175 WITH SCORE 18200.158
AT ITER 2568 NEW BEST:: SOT 76130 SOS 25152 HAS SOPS 25152 HAS SOUS 18169 HAS SOUPS 18169 WITH SCORE 18194.152
AT ITER 2608 NEW BEST:: SOT 76132 SOS 25149 HAS SOPS 25149 HAS SOUS 18169 HAS SOUPS 18169 WITH SCORE 18194.149
AT ITER 2612 NEW BEST:: SOT 76087 SOS 25104 HAS SOPS 25104 HAS SOUS 18169 HAS SOUPS 18169 WITH SCORE 18194.104
AT ITER 2614 NEW BEST:: SOT 76059 SOS 24836 HAS SOPS 24836 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18140.836
AT ITER 2621 NEW BEST:: SOT 76096 SOS 24867 HAS SOPS 24867 HAS SOUS 18100 HAS SOUPS 18100 WITH SCORE 18124.867
AT ITER 2627 NEW BEST:: SOT 76088 SOS 24859 HAS SOPS 24859 HAS SOUS 18092 HAS SOUPS 18092 WITH SCORE 18116.859
AT ITER 2636 NEW BEST:: SOT 76117 SOS 24802 HAS SOPS 24802 HAS SOUS 18036 HAS SOUPS 18036 WITH SCORE 18060.802
AT ITER 2645 NEW BEST:: SOT 76117 SOS 24795 HAS SOPS 24795 HAS SOUS 18029 HAS SOUPS 18029 WITH SCORE 18053.795
AT ITER 2654 NEW BEST:: SOT 76117 SOS 24782 HAS SOPS 24782 HAS SOUS 18016 HAS SOUPS 18016 WITH SCORE 18040.782
AT ITER 2660 NEW BEST:: SOT 76098 SOS 24776 HAS SOPS 24776 HAS SOUS 18010 HAS SOUPS 18010 WITH SCORE 18034.776
AT ITER 2686 NEW BEST:: SOT 76087 SOS 24724 HAS SOPS 24724 HAS SOUS 17988 HAS SOUPS 17988 WITH SCORE 18012.724
AT ITER 2692 NEW BEST:: SOT 75931 SOS 24603 HAS SOPS 24603 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17825.603
AT ITER 2719 NEW BEST:: SOT 75906 SOS 24567 HAS SOPS 24567 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17789.567
AT ITER 2723 NEW BEST:: SOT 75971 SOS 24556 HAS SOPS 24556 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17778.556
AT ITER 2741 NEW BEST:: SOT 75960 SOS 24544 HAS SOPS 24544 HAS SOUS 17742 HAS SOUPS 17742 WITH SCORE 17766.544
AT ITER 2757 NEW BEST:: SOT 75944 SOS 24502 HAS SOPS 24502 HAS SOUS 17700 HAS SOUPS 17700 WITH SCORE 17724.502
AT ITER 2783 NEW BEST:: SOT 75944 SOS 24492 HAS SOPS 24492 HAS SOUS 17690 HAS SOUPS 17690 WITH SCORE 17714.492
AT ITER 2788 NEW BEST:: SOT 75942 SOS 24485 HAS SOPS 24485 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17712.485
AT ITER 2810 NEW BEST:: SOT 75936 SOS 24473 HAS SOPS 24473 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17700.473
AT ITER 2844 NEW BEST:: SOT 75935 SOS 24471 HAS SOPS 24471 HAS SOUS 17674 HAS SOUPS 17674 WITH SCORE 17698.471
AT ITER 2847 NEW BEST:: SOT 75935 SOS 24470 HAS SOPS 24470 HAS SOUS 17673 HAS SOUPS 17673 WITH SCORE 17697.47
AT ITER 2856 NEW BEST:: SOT 75935 SOS 24448 HAS SOPS 24448 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17675.448
AT ITER 2868 NEW BEST:: SOT 75981 SOS 24397 HAS SOPS 24397 HAS SOUS 17581 HAS SOUPS 17581 WITH SCORE 17605.397
AT ITER 2875 NEW BEST:: SOT 75979 SOS 24393 HAS SOPS 24393 HAS SOUS 17579 HAS SOUPS 17579 WITH SCORE 17603.393
AT ITER 2937 NEW BEST:: SOT 75987 SOS 24386 HAS SOPS 24386 HAS SOUS 17553 HAS SOUPS 17553 WITH SCORE 17577.386
AT ITER 2941 NEW BEST:: SOT 75972 SOS 24380 HAS SOPS 24380 HAS SOUS 17547 HAS SOUPS 17547 WITH SCORE 17571.38
AT ITER 2966 NEW BEST:: SOT 75984 SOS 24392 HAS SOPS 24392 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17534.392
AT ITER 2979 NEW BEST:: SOT 75860 SOS 24206 HAS SOPS 24206 HAS SOUS 17386 HAS SOUPS 17386 WITH SCORE 17410.206
AT ITER 3004 NEW BEST:: SOT 75806 SOS 24102 HAS SOPS 24102 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17356.102
AT ITER 3030 NEW BEST:: SOT 75795 SOS 24080 HAS SOPS 24080 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17334.08
AT ITER 3038 NEW BEST:: SOT 75795 SOS 24055 HAS SOPS 24055 HAS SOUS 17297 HAS SOUPS 17297 WITH SCORE 17321.055
AT ITER 3047 NEW BEST:: SOT 75788 SOS 24034 HAS SOPS 24034 HAS SOUS 17276 HAS SOUPS 17276 WITH SCORE 17300.034
AT ITER 3054 NEW BEST:: SOT 75784 SOS 24019 HAS SOPS 24019 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17269.019
AT ITER 3079 NEW BEST:: SOT 75770 SOS 23991 HAS SOPS 23991 HAS SOUS 17217 HAS SOUPS 17217 WITH SCORE 17240.991
AT ITER 3098 NEW BEST:: SOT 75770 SOS 23984 HAS SOPS 23984 HAS SOUS 17210 HAS SOUPS 17210 WITH SCORE 17233.984
AT ITER 3103 NEW BEST:: SOT 75750 SOS 23962 HAS SOPS 23962 HAS SOUS 17208 HAS SOUPS 17208 WITH SCORE 17231.962
AT ITER 3112 NEW BEST:: SOT 75741 SOS 23959 HAS SOPS 23959 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17228.959
AT ITER 3114 NEW BEST:: SOT 75741 SOS 23958 HAS SOPS 23958 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17227.958
AT ITER 3128 NEW BEST:: SOT 75735 SOS 23946 HAS SOPS 23946 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17215.946
AT ITER 3129 NEW BEST:: SOT 75713 SOS 23924 HAS SOPS 23924 HAS SOUS 17170 HAS SOUPS 17170 WITH SCORE 17193.924
AT ITER 3166 NEW BEST:: SOT 75676 SOS 23875 HAS SOPS 23875 HAS SOUS 17149 HAS SOUPS 17149 WITH SCORE 17172.875
AT ITER 3183 NEW BEST:: SOT 75663 SOS 23849 HAS SOPS 23849 HAS SOUS 17123 HAS SOUPS 17123 WITH SCORE 17146.849
AT ITER 3197 NEW BEST:: SOT 75663 SOS 23813 HAS SOPS 23813 HAS SOUS 17114 HAS SOUPS 17114 WITH SCORE 17137.813
AT ITER 3224 NEW BEST:: SOT 75663 SOS 23812 HAS SOPS 23812 HAS SOUS 17113 HAS SOUPS 17113 WITH SCORE 17136.812
AT ITER 3225 NEW BEST:: SOT 75652 SOS 23790 HAS SOPS 23790 HAS SOUS 17102 HAS SOUPS 17102 WITH SCORE 17125.79
AT ITER 3230 NEW BEST:: SOT 75635 SOS 23768 HAS SOPS 23768 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17109.768
AT ITER 3235 NEW BEST:: SOT 75626 SOS 23759 HAS SOPS 23759 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17100.759
AT ITER 3236 NEW BEST:: SOT 75622 SOS 23755 HAS SOPS 23755 HAS SOUS 17073 HAS SOUPS 17073 WITH SCORE 17096.755
AT ITER 3257 NEW BEST:: SOT 75564 SOS 23632 HAS SOPS 23632 HAS SOUS 17022 HAS SOUPS 17022 WITH SCORE 17045.632
AT ITER 3287 NEW BEST:: SOT 75561 SOS 23629 HAS SOPS 23629 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17042.629
AT ITER 3346 NEW BEST:: SOT 75536 SOS 23579 HAS SOPS 23579 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17019.579
AT ITER 3348 NEW BEST:: SOT 75538 SOS 23383 HAS SOPS 23383 HAS SOUS 16978 HAS SOUPS 16978 WITH SCORE 17001.383
AT ITER 3362 NEW BEST:: SOT 75536 SOS 23381 HAS SOPS 23381 HAS SOUS 16977 HAS SOUPS 16977 WITH SCORE 17000.381
AT ITER 3399 NEW BEST:: SOT 75532 SOS 23373 HAS SOPS 23373 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 16980.373
AT ITER 3456 NEW BEST:: SOT 75505 SOS 23320 HAS SOPS 23320 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16946.32
AT ITER 3468 NEW BEST:: SOT 75500 SOS 23310 HAS SOPS 23310 HAS SOUS 16918 HAS SOUPS 16918 WITH SCORE 16941.31
AT ITER 3565 NEW BEST:: SOT 75449 SOS 23256 HAS SOPS 23256 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16877.256
AT ITER 3598 NEW BEST:: SOT 75449 SOS 23242 HAS SOPS 23242 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16877.242
AT ITER 3599 NEW BEST:: SOT 75408 SOS 23241 HAS SOPS 23241 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16876.241
AT ITER 3620 NEW BEST:: SOT 75398 SOS 23230 HAS SOPS 23230 HAS SOUS 16842 HAS SOUPS 16842 WITH SCORE 16865.23
AT ITER 3641 NEW BEST:: SOT 75398 SOS 23229 HAS SOPS 23229 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16864.229
AT ITER 3680 NEW BEST:: SOT 75400 SOS 23220 HAS SOPS 23220 HAS SOUS 16780 HAS SOUPS 16780 WITH SCORE 16803.22
AT ITER 3689 NEW BEST:: SOT 75396 SOS 23294 HAS SOPS 23294 HAS SOUS 16776 HAS SOUPS 16776 WITH SCORE 16799.294
AT ITER 3694 NEW BEST:: SOT 75380 SOS 23276 HAS SOPS 23276 HAS SOUS 16774 HAS SOUPS 16774 WITH SCORE 16797.276
AT ITER 3700 NEW BEST:: SOT 75362 SOS 23234 HAS SOPS 23234 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16787.234
AT ITER 3706 NEW BEST:: SOT 75330 SOS 23170 HAS SOPS 23170 HAS SOUS 16749 HAS SOUPS 16749 WITH SCORE 16772.17
AT ITER 3709 NEW BEST:: SOT 75288 SOS 23228 HAS SOPS 23228 HAS SOUS 16731 HAS SOUPS 16731 WITH SCORE 16754.228
AT ITER 3721 NEW BEST:: SOT 75278 SOS 23208 HAS SOPS 23208 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16739.208
AT ITER 3741 NEW BEST:: SOT 75275 SOS 23209 HAS SOPS 23209 HAS SOUS 16713 HAS SOUPS 16713 WITH SCORE 16736.209
AT ITER 3775 NEW BEST:: SOT 75260 SOS 23194 HAS SOPS 23194 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16721.194
AT ITER 3803 NEW BEST:: SOT 75282 SOS 23183 HAS SOPS 23183 HAS SOUS 16675 HAS SOUPS 16675 WITH SCORE 16698.183
AT ITER 3817 NEW BEST:: SOT 75201 SOS 23164 HAS SOPS 23164 HAS SOUS 16641 HAS SOUPS 16641 WITH SCORE 16664.164
AT ITER 3832 NEW BEST:: SOT 75217 SOS 23171 HAS SOPS 23171 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16653.171
AT ITER 3852 NEW BEST:: SOT 75188 SOS 22973 HAS SOPS 22973 HAS SOUS 16576 HAS SOUPS 16576 WITH SCORE 16598.973
AT ITER 3895 NEW BEST:: SOT 75170 SOS 22947 HAS SOPS 22947 HAS SOUS 16556 HAS SOUPS 16556 WITH SCORE 16578.947
AT ITER 3924 NEW BEST:: SOT 75169 SOS 22945 HAS SOPS 22945 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16576.945
AT ITER 3942 NEW BEST:: SOT 75165 SOS 22885 HAS SOPS 22885 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16568.885
AT ITER 3949 NEW BEST:: SOT 75147 SOS 22867 HAS SOPS 22867 HAS SOUS 16528 HAS SOUPS 16528 WITH SCORE 16550.867
AT ITER 3957 NEW BEST:: SOT 75123 SOS 22832 HAS SOPS 22832 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16515.832
AT ITER 3977 NEW BEST:: SOT 75121 SOS 22820 HAS SOPS 22820 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16511.82
AT ITER 3984 NEW BEST:: SOT 75109 SOS 22790 HAS SOPS 22790 HAS SOUS 16453 HAS SOUPS 16453 WITH SCORE 16475.79
AT ITER 3988 NEW BEST:: SOT 75106 SOS 22787 HAS SOPS 22787 HAS SOUS 16450 HAS SOUPS 16450 WITH SCORE 16472.787
AT ITER 4012 NEW BEST:: SOT 75112 SOS 22784 HAS SOPS 22784 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16469.784
AT ITER 4044 NEW BEST:: SOT 75113 SOS 22786 HAS SOPS 22786 HAS SOUS 16441 HAS SOUPS 16441 WITH SCORE 16463.786
AT ITER 4047 NEW BEST:: SOT 75090 SOS 22775 HAS SOPS 22775 HAS SOUS 16430 HAS SOUPS 16430 WITH SCORE 16452.775
AT ITER 4077 NEW BEST:: SOT 75049 SOS 22740 HAS SOPS 22740 HAS SOUS 16381 HAS SOUPS 16381 WITH SCORE 16403.74
AT ITER 4084 NEW BEST:: SOT 75001 SOS 22747 HAS SOPS 22747 HAS SOUS 16362 HAS SOUPS 16362 WITH SCORE 16384.747
AT ITER 4089 NEW BEST:: SOT 74996 SOS 22737 HAS SOPS 22737 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16374.737
AT ITER 4099 NEW BEST:: SOT 74994 SOS 22735 HAS SOPS 22735 HAS SOUS 16350 HAS SOUPS 16350 WITH SCORE 16372.735
AT ITER 4146 NEW BEST:: SOT 74994 SOS 22725 HAS SOPS 22725 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16362.725
AT ITER 4149 NEW BEST:: SOT 74990 SOS 22721 HAS SOPS 22721 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16358.721
AT ITER 4160 NEW BEST:: SOT 74985 SOS 22709 HAS SOPS 22709 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16346.709
AT ITER 4187 NEW BEST:: SOT 74988 SOS 22705 HAS SOPS 22705 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16332.705
AT ITER 4191 NEW BEST:: SOT 74956 SOS 22673 HAS SOPS 22673 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16322.673
AT ITER 4197 NEW BEST:: SOT 74922 SOS 22605 HAS SOPS 22605 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16288.605
AT ITER 4279 NEW BEST:: SOT 74918 SOS 22590 HAS SOPS 22590 HAS SOUS 16251 HAS SOUPS 16251 WITH SCORE 16273.59
AT ITER 4338 NEW BEST:: SOT 74912 SOS 22584 HAS SOPS 22584 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16267.584
AT ITER 4421 NEW BEST:: SOT 74908 SOS 22572 HAS SOPS 22572 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16255.572
AT ITER 4429 NEW BEST:: SOT 74902 SOS 22563 HAS SOPS 22563 HAS SOUS 16227 HAS SOUPS 16227 WITH SCORE 16249.563
AT ITER 4529 NEW BEST:: SOT 74898 SOS 22559 HAS SOPS 22559 HAS SOUS 16223 HAS SOUPS 16223 WITH SCORE 16245.559
AT ITER 4569 NEW BEST:: SOT 74900 SOS 22550 HAS SOPS 22550 HAS SOUS 16214 HAS SOUPS 16214 WITH SCORE 16236.55
AT ITER 4589 NEW BEST:: SOT 74883 SOS 22533 HAS SOPS 22533 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16230.533
AT ITER 4602 NEW BEST:: SOT 74881 SOS 22529 HAS SOPS 22529 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16226.529
AT ITER 4631 NEW BEST:: SOT 74869 SOS 22505 HAS SOPS 22505 HAS SOUS 16180 HAS SOUPS 16180 WITH SCORE 16202.505
AT ITER 4633 NEW BEST:: SOT 74863 SOS 22499 HAS SOPS 22499 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16196.499
AT ITER 4658 NEW BEST:: SOT 74851 SOS 22457 HAS SOPS 22457 HAS SOUS 16132 HAS SOUPS 16132 WITH SCORE 16154.457
AT ITER 4687 NEW BEST:: SOT 74849 SOS 22423 HAS SOPS 22423 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16120.423
AT ITER 4694 NEW BEST:: SOT 74849 SOS 22423 HAS SOPS 22423 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16112.423
AT ITER 4716 NEW BEST:: SOT 74844 SOS 22413 HAS SOPS 22413 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16109.413
AT ITER 4735 NEW BEST:: SOT 74843 SOS 22409 HAS SOPS 22409 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16105.409
AT ITER 4761 NEW BEST:: SOT 74828 SOS 22395 HAS SOPS 22395 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16091.395
AT ITER 4781 NEW BEST:: SOT 74828 SOS 22335 HAS SOPS 22335 HAS SOUS 16009 HAS SOUPS 16009 WITH SCORE 16031.335
AT ITER 4809 NEW BEST:: SOT 74825 SOS 22354 HAS SOPS 22354 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16017.354
AT ITER 4851 NEW BEST:: SOT 74794 SOS 22292 HAS SOPS 22292 HAS SOUS 15940 HAS SOUPS 15940 WITH SCORE 15962.292
AT ITER 4922 NEW BEST:: SOT 74794 SOS 22292 HAS SOPS 22292 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15953.292
AT ITER 4932 NEW BEST:: SOT 74794 SOS 22278 HAS SOPS 22278 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15939.278
AT ITER 4947 NEW BEST:: SOT 74792 SOS 22315 HAS SOPS 22315 HAS SOUS 15906 HAS SOUPS 15906 WITH SCORE 15928.315
AT ITER 4975 NEW BEST:: SOT 74806 SOS 22329 HAS SOPS 22329 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15923.329
AT ITER 4981 NEW BEST:: SOT 74803 SOS 22323 HAS SOPS 22323 HAS SOUS 15895 HAS SOUPS 15895 WITH SCORE 15917.323
AT ITER 5002 NEW BEST:: SOT 74764 SOS 22286 HAS SOPS 22286 HAS SOUS 15872 HAS SOUPS 15872 WITH SCORE 15894.286
AT ITER 5007 NEW BEST:: SOT 74695 SOS 22148 HAS SOPS 22148 HAS SOUS 15746 HAS SOUPS 15746 WITH SCORE 15768.148
AT ITER 5075 NEW BEST:: SOT 74694 SOS 22129 HAS SOPS 22129 HAS SOUS 15727 HAS SOUPS 15727 WITH SCORE 15749.129
AT ITER 5106 NEW BEST:: SOT 74685 SOS 22112 HAS SOPS 22112 HAS SOUS 15678 HAS SOUPS 15678 WITH SCORE 15700.112
AT ITER 5130 NEW BEST:: SOT 74685 SOS 22099 HAS SOPS 22099 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15693.099
AT ITER 5150 NEW BEST:: SOT 74685 SOS 22097 HAS SOPS 22097 HAS SOUS 15669 HAS SOUPS 15669 WITH SCORE 15691.097
AT ITER 5162 NEW BEST:: SOT 74690 SOS 22074 HAS SOPS 22074 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15679.074
AT ITER 5176 NEW BEST:: SOT 74684 SOS 22068 HAS SOPS 22068 HAS SOUS 15651 HAS SOUPS 15651 WITH SCORE 15673.068
AT ITER 5202 NEW BEST:: SOT 74683 SOS 22045 HAS SOPS 22045 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15654.045
AT ITER 5262 NEW BEST:: SOT 74673 SOS 22035 HAS SOPS 22035 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15644.035
AT ITER 5269 NEW BEST:: SOT 74673 SOS 22028 HAS SOPS 22028 HAS SOUS 15608 HAS SOUPS 15608 WITH SCORE 15630.028
AT ITER 5317 NEW BEST:: SOT 74672 SOS 22022 HAS SOPS 22022 HAS SOUS 15603 HAS SOUPS 15603 WITH SCORE 15625.022
AT ITER 5396 NEW BEST:: SOT 74668 SOS 22018 HAS SOPS 22018 HAS SOUS 15599 HAS SOUPS 15599 WITH SCORE 15621.018
AT ITER 5454 NEW BEST:: SOT 74669 SOS 22017 HAS SOPS 22017 HAS SOUS 15595 HAS SOUPS 15595 WITH SCORE 15617.017
AT ITER 5464 NEW BEST:: SOT 74653 SOS 22000 HAS SOPS 22000 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15600.0
AT ITER 5522 NEW BEST:: SOT 74653 SOS 21984 HAS SOPS 21984 HAS SOUS 15577 HAS SOUPS 15577 WITH SCORE 15598.984
AT ITER 5599 NEW BEST:: SOT 74648 SOS 21979 HAS SOPS 21979 HAS SOUS 15572 HAS SOUPS 15572 WITH SCORE 15593.979
AT ITER 5628 NEW BEST:: SOT 74622 SOS 21952 HAS SOPS 21952 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15543.952
AT ITER 5674 NEW BEST:: SOT 74608 SOS 21942 HAS SOPS 21942 HAS SOUS 15509 HAS SOUPS 15509 WITH SCORE 15530.942
AT ITER 5678 NEW BEST:: SOT 74608 SOS 21940 HAS SOPS 21940 HAS SOUS 15507 HAS SOUPS 15507 WITH SCORE 15528.94
AT ITER 5700 NEW BEST:: SOT 74598 SOS 21925 HAS SOPS 21925 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15523.925
AT ITER 5715 NEW BEST:: SOT 74606 SOS 21923 HAS SOPS 21923 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15521.923
AT ITER 5721 NEW BEST:: SOT 74618 SOS 21932 HAS SOPS 21932 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15517.932
AT ITER 5731 NEW BEST:: SOT 74601 SOS 21898 HAS SOPS 21898 HAS SOUS 15465 HAS SOUPS 15465 WITH SCORE 15486.898
AT ITER 5736 NEW BEST:: SOT 74600 SOS 21894 HAS SOPS 21894 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15485.894
AT ITER 5739 NEW BEST:: SOT 74630 SOS 21924 HAS SOPS 21924 HAS SOUS 15458 HAS SOUPS 15458 WITH SCORE 15479.924
AT ITER 5749 NEW BEST:: SOT 74629 SOS 21922 HAS SOPS 21922 HAS SOUS 15456 HAS SOUPS 15456 WITH SCORE 15477.922
AT ITER 5775 NEW BEST:: SOT 74641 SOS 21934 HAS SOPS 21934 HAS SOUS 15453 HAS SOUPS 15453 WITH SCORE 15474.934
AT ITER 5779 NEW BEST:: SOT 74637 SOS 21930 HAS SOPS 21930 HAS SOUS 15449 HAS SOUPS 15449 WITH SCORE 15470.93
AT ITER 5799 NEW BEST:: SOT 74638 SOS 21932 HAS SOPS 21932 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15463.932
AT ITER 5825 NEW BEST:: SOT 74635 SOS 21926 HAS SOPS 21926 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15457.926
AT ITER 5869 NEW BEST:: SOT 74630 SOS 21920 HAS SOPS 21920 HAS SOUS 15431 HAS SOUPS 15431 WITH SCORE 15452.92
AT ITER 5873 NEW BEST:: SOT 74646 SOS 21941 HAS SOPS 21941 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15451.941
AT ITER 5914 NEW BEST:: SOT 74641 SOS 21936 HAS SOPS 21936 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15451.936
AT ITER 5949 NEW BEST:: SOT 74641 SOS 21929 HAS SOPS 21929 HAS SOUS 15423 HAS SOUPS 15423 WITH SCORE 15444.929
AT ITER 5960 NEW BEST:: SOT 74631 SOS 21909 HAS SOPS 21909 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15424.909
AT ITER 6019 NEW BEST:: SOT 74627 SOS 21904 HAS SOPS 21904 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15419.904
AT ITER 6037 NEW BEST:: SOT 74614 SOS 21902 HAS SOPS 21902 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15417.902
AT ITER 6072 NEW BEST:: SOT 74614 SOS 21897 HAS SOPS 21897 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15412.897
AT ITER 6094 NEW BEST:: SOT 74614 SOS 21885 HAS SOPS 21885 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15400.885
AT ITER 6160 NEW BEST:: SOT 74614 SOS 21880 HAS SOPS 21880 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15400.88
AT ITER 6174 NEW BEST:: SOT 74623 SOS 21889 HAS SOPS 21889 HAS SOUS 15369 HAS SOUPS 15369 WITH SCORE 15390.889
AT ITER 6245 NEW BEST:: SOT 74620 SOS 21886 HAS SOPS 21886 HAS SOUS 15366 HAS SOUPS 15366 WITH SCORE 15387.886
AT ITER 6246 NEW BEST:: SOT 74619 SOS 21884 HAS SOPS 21884 HAS SOUS 15365 HAS SOUPS 15365 WITH SCORE 15386.884
AT ITER 6250 NEW BEST:: SOT 74611 SOS 21878 HAS SOPS 21878 HAS SOUS 15359 HAS SOUPS 15359 WITH SCORE 15380.878
AT ITER 6255 NEW BEST:: SOT 74611 SOS 21878 HAS SOPS 21878 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15371.878
AT ITER 6271 NEW BEST:: SOT 74626 SOS 21871 HAS SOPS 21871 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15364.871
AT ITER 6280 NEW BEST:: SOT 74622 SOS 21870 HAS SOPS 21870 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15363.87
AT ITER 6328 NEW BEST:: SOT 74618 SOS 21871 HAS SOPS 21871 HAS SOUS 15337 HAS SOUPS 15337 WITH SCORE 15358.871
AT ITER 6334 NEW BEST:: SOT 74600 SOS 21751 HAS SOPS 21751 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15336.751
AT ITER 6339 NEW BEST:: SOT 74593 SOS 21749 HAS SOPS 21749 HAS SOUS 15313 HAS SOUPS 15313 WITH SCORE 15334.749
AT ITER 6380 NEW BEST:: SOT 74593 SOS 21739 HAS SOPS 21739 HAS SOUS 15303 HAS SOUPS 15303 WITH SCORE 15324.739
AT ITER 6429 NEW BEST:: SOT 74558 SOS 21585 HAS SOPS 21585 HAS SOUS 15223 HAS SOUPS 15223 WITH SCORE 15244.585
AT ITER 6448 NEW BEST:: SOT 74538 SOS 21589 HAS SOPS 21589 HAS SOUS 15219 HAS SOUPS 15219 WITH SCORE 15240.589
AT ITER 6453 NEW BEST:: SOT 74533 SOS 21578 HAS SOPS 21578 HAS SOUS 15211 HAS SOUPS 15211 WITH SCORE 15232.578
AT ITER 6515 NEW BEST:: SOT 74528 SOS 21573 HAS SOPS 21573 HAS SOUS 15206 HAS SOUPS 15206 WITH SCORE 15227.573
AT ITER 6538 NEW BEST:: SOT 74551 SOS 21570 HAS SOPS 21570 HAS SOUS 15203 HAS SOUPS 15203 WITH SCORE 15224.57
AT ITER 6540 NEW BEST:: SOT 74551 SOS 21568 HAS SOPS 21568 HAS SOUS 15201 HAS SOUPS 15201 WITH SCORE 15222.568
AT ITER 6562 NEW BEST:: SOT 74543 SOS 21563 HAS SOPS 21563 HAS SOUS 15193 HAS SOUPS 15193 WITH SCORE 15214.563
AT ITER 6589 NEW BEST:: SOT 74542 SOS 21561 HAS SOPS 21561 HAS SOUS 15191 HAS SOUPS 15191 WITH SCORE 15212.561
AT ITER 6599 NEW BEST:: SOT 74564 SOS 21577 HAS SOPS 21577 HAS SOUS 15171 HAS SOUPS 15171 WITH SCORE 15192.577
AT ITER 6680 NEW BEST:: SOT 74549 SOS 21560 HAS SOPS 21560 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15175.56
AT ITER 6687 NEW BEST:: SOT 74517 SOS 21536 HAS SOPS 21536 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15156.536
AT ITER 6701 NEW BEST:: SOT 74467 SOS 21486 HAS SOPS 21486 HAS SOUS 15085 HAS SOUPS 15085 WITH SCORE 15106.486
AT ITER 6778 NEW BEST:: SOT 74459 SOS 21470 HAS SOPS 21470 HAS SOUS 15071 HAS SOUPS 15071 WITH SCORE 15092.47
AT ITER 6779 NEW BEST:: SOT 74449 SOS 21449 HAS SOPS 21449 HAS SOUS 15050 HAS SOUPS 15050 WITH SCORE 15071.449
AT ITER 6792 NEW BEST:: SOT 74438 SOS 21421 HAS SOPS 21421 HAS SOUS 15022 HAS SOUPS 15022 WITH SCORE 15043.421
AT ITER 6799 NEW BEST:: SOT 74437 SOS 21420 HAS SOPS 21420 HAS SOUS 15021 HAS SOUPS 15021 WITH SCORE 15042.42
AT ITER 6822 NEW BEST:: SOT 74454 SOS 21420 HAS SOPS 21420 HAS SOUS 15004 HAS SOUPS 15004 WITH SCORE 15025.42
AT ITER 6855 NEW BEST:: SOT 74459 SOS 21416 HAS SOPS 21416 HAS SOUS 15000 HAS SOUPS 15000 WITH SCORE 15021.416
AT ITER 6880 NEW BEST:: SOT 74448 SOS 21405 HAS SOPS 21405 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15010.405
AT ITER 6899 NEW BEST:: SOT 74423 SOS 21372 HAS SOPS 21372 HAS SOUS 14975 HAS SOUPS 14975 WITH SCORE 14996.372
AT ITER 6930 NEW BEST:: SOT 74434 SOS 21394 HAS SOPS 21394 HAS SOUS 14877 HAS SOUPS 14877 WITH SCORE 14898.394
AT ITER 6933 NEW BEST:: SOT 74421 SOS 21368 HAS SOPS 21368 HAS SOUS 14874 HAS SOUPS 14874 WITH SCORE 14895.368
AT ITER 6934 NEW BEST:: SOT 74421 SOS 21357 HAS SOPS 21357 HAS SOUS 14863 HAS SOUPS 14863 WITH SCORE 14884.357
AT ITER 6959 NEW BEST:: SOT 74425 SOS 21295 HAS SOPS 21295 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14827.295
AT ITER 6964 NEW BEST:: SOT 74423 SOS 21291 HAS SOPS 21291 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14826.291
AT ITER 6979 NEW BEST:: SOT 74417 SOS 21279 HAS SOPS 21279 HAS SOUS 14793 HAS SOUPS 14793 WITH SCORE 14814.279
AT ITER 6991 NEW BEST:: SOT 74411 SOS 21273 HAS SOPS 21273 HAS SOUS 14787 HAS SOUPS 14787 WITH SCORE 14808.273
AT ITER 6995 NEW BEST:: SOT 74382 SOS 21248 HAS SOPS 21248 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14783.248
AT ITER 7002 NEW BEST:: SOT 74366 SOS 21176 HAS SOPS 21176 HAS SOUS 14705 HAS SOUPS 14705 WITH SCORE 14726.176
AT ITER 7080 NEW BEST:: SOT 74361 SOS 21161 HAS SOPS 21161 HAS SOUS 14695 HAS SOUPS 14695 WITH SCORE 14716.161
AT ITER 7121 NEW BEST:: SOT 74361 SOS 21159 HAS SOPS 21159 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14697.159
AT ITER 7149 NEW BEST:: SOT 74361 SOS 21154 HAS SOPS 21154 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14692.154
AT ITER 7162 NEW BEST:: SOT 74366 SOS 20954 HAS SOPS 20954 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14691.954
AT ITER 7189 NEW BEST:: SOT 74364 SOS 20952 HAS SOPS 20952 HAS SOUS 14670 HAS SOUPS 14670 WITH SCORE 14690.952
AT ITER 7220 NEW BEST:: SOT 74356 SOS 20944 HAS SOPS 20944 HAS SOUS 14662 HAS SOUPS 14662 WITH SCORE 14682.944
AT ITER 7250 NEW BEST:: SOT 74356 SOS 20940 HAS SOPS 20940 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14678.94
AT ITER 7292 NEW BEST:: SOT 74354 SOS 20938 HAS SOPS 20938 HAS SOUS 14658 HAS SOUPS 14658 WITH SCORE 14678.938
AT ITER 7313 NEW BEST:: SOT 74341 SOS 20931 HAS SOPS 20931 HAS SOUS 14651 HAS SOUPS 14651 WITH SCORE 14671.931
AT ITER 7330 NEW BEST:: SOT 74342 SOS 20916 HAS SOPS 20916 HAS SOUS 14636 HAS SOUPS 14636 WITH SCORE 14656.916
AT ITER 7341 NEW BEST:: SOT 74341 SOS 20914 HAS SOPS 20914 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14654.914
AT ITER 7390 NEW BEST:: SOT 74335 SOS 20908 HAS SOPS 20908 HAS SOUS 14628 HAS SOUPS 14628 WITH SCORE 14648.908
AT ITER 7402 NEW BEST:: SOT 74332 SOS 20905 HAS SOPS 20905 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14645.905
AT ITER 7499 NEW BEST:: SOT 74332 SOS 20880 HAS SOPS 20880 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14645.88
AT ITER 7522 NEW BEST:: SOT 74348 SOS 20880 HAS SOPS 20880 HAS SOUS 14609 HAS SOUPS 14609 WITH SCORE 14629.88
AT ITER 7590 NEW BEST:: SOT 74330 SOS 20853 HAS SOPS 20853 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14611.853
AT ITER 7627 NEW BEST:: SOT 74329 SOS 20851 HAS SOPS 20851 HAS SOUS 14589 HAS SOUPS 14589 WITH SCORE 14609.851
AT ITER 7649 NEW BEST:: SOT 74317 SOS 20836 HAS SOPS 20836 HAS SOUS 14574 HAS SOUPS 14574 WITH SCORE 14594.836
AT ITER 7657 NEW BEST:: SOT 74317 SOS 20834 HAS SOPS 20834 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14592.834
AT ITER 7671 NEW BEST:: SOT 74313 SOS 20826 HAS SOPS 20826 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14584.826
AT ITER 7709 NEW BEST:: SOT 74313 SOS 20826 HAS SOPS 20826 HAS SOUS 14561 HAS SOUPS 14561 WITH SCORE 14581.826
AT ITER 7721 NEW BEST:: SOT 74295 SOS 20812 HAS SOPS 20812 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14567.812
AT ITER 7790 NEW BEST:: SOT 74295 SOS 20807 HAS SOPS 20807 HAS SOUS 14542 HAS SOUPS 14542 WITH SCORE 14562.807
AT ITER 7885 NEW BEST:: SOT 74294 SOS 20806 HAS SOPS 20806 HAS SOUS 14541 HAS SOUPS 14541 WITH SCORE 14561.806
AT ITER 7892 NEW BEST:: SOT 74292 SOS 20805 HAS SOPS 20805 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14560.805
AT ITER 7916 NEW BEST:: SOT 74271 SOS 20817 HAS SOPS 20817 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14551.817
AT ITER 7917 NEW BEST:: SOT 74269 SOS 20814 HAS SOPS 20814 HAS SOUS 14529 HAS SOUPS 14529 WITH SCORE 14549.814
AT ITER 7977 NEW BEST:: SOT 74271 SOS 20811 HAS SOPS 20811 HAS SOUS 14519 HAS SOUPS 14519 WITH SCORE 14539.811
AT ITER 8024 NEW BEST:: SOT 74261 SOS 20796 HAS SOPS 20796 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14524.796
AT ITER 8047 NEW BEST:: SOT 74247 SOS 20782 HAS SOPS 20782 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14510.782
AT ITER 8049 NEW BEST:: SOT 74237 SOS 20772 HAS SOPS 20772 HAS SOUS 14480 HAS SOUPS 14480 WITH SCORE 14500.772
AT ITER 8136 NEW BEST:: SOT 74239 SOS 20783 HAS SOPS 20783 HAS SOUS 14476 HAS SOUPS 14476 WITH SCORE 14496.783
AT ITER 8171 NEW BEST:: SOT 74219 SOS 20752 HAS SOPS 20752 HAS SOUS 14455 HAS SOUPS 14455 WITH SCORE 14475.752
AT ITER 8217 NEW BEST:: SOT 74220 SOS 20751 HAS SOPS 20751 HAS SOUS 14454 HAS SOUPS 14454 WITH SCORE 14474.751
AT ITER 8241 NEW BEST:: SOT 74220 SOS 20745 HAS SOPS 20745 HAS SOUS 14454 HAS SOUPS 14454 WITH SCORE 14474.745
AT ITER 8267 NEW BEST:: SOT 74242 SOS 20775 HAS SOPS 20775 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14454.775
AT ITER 8328 NEW BEST:: SOT 74229 SOS 20762 HAS SOPS 20762 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14454.762
AT ITER 8396 NEW BEST:: SOT 74227 SOS 20760 HAS SOPS 20760 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14452.76
AT ITER 8443 NEW BEST:: SOT 74187 SOS 20720 HAS SOPS 20720 HAS SOUS 14429 HAS SOUPS 14429 WITH SCORE 14449.72
AT ITER 8448 NEW BEST:: SOT 74189 SOS 20711 HAS SOPS 20711 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14440.711
AT ITER 8456 NEW BEST:: SOT 74189 SOS 20709 HAS SOPS 20709 HAS SOUS 14418 HAS SOUPS 14418 WITH SCORE 14438.709
AT ITER 8462 NEW BEST:: SOT 74192 SOS 20707 HAS SOPS 20707 HAS SOUS 14416 HAS SOUPS 14416 WITH SCORE 14436.707
AT ITER 8526 NEW BEST:: SOT 74187 SOS 20705 HAS SOPS 20705 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14434.705
AT ITER 8668 NEW BEST:: SOT 74188 SOS 20707 HAS SOPS 20707 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14433.707
AT ITER 8711 NEW BEST:: SOT 74188 SOS 20819 HAS SOPS 20819 HAS SOUS 14411 HAS SOUPS 14411 WITH SCORE 14431.819
AT ITER 8725 NEW BEST:: SOT 74188 SOS 20809 HAS SOPS 20809 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14421.809
AT ITER 8781 NEW BEST:: SOT 74188 SOS 20809 HAS SOPS 20809 HAS SOUS 14394 HAS SOUPS 14394 WITH SCORE 14414.809
AT ITER 8910 NEW BEST:: SOT 74188 SOS 20801 HAS SOPS 20801 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14406.801
AT ITER 8927 NEW BEST:: SOT 74188 SOS 20801 HAS SOPS 20801 HAS SOUS 14379 HAS SOUPS 14379 WITH SCORE 14399.801
AT ITER 8948 NEW BEST:: SOT 74187 SOS 20800 HAS SOPS 20800 HAS SOUS 14378 HAS SOUPS 14378 WITH SCORE 14398.8
AT ITER 9001 NEW BEST:: SOT 74185 SOS 20796 HAS SOPS 20796 HAS SOUS 14374 HAS SOUPS 14374 WITH SCORE 14394.796
AT ITER 9122 NEW BEST:: SOT 74185 SOS 20796 HAS SOPS 20796 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14377.796
AT ITER 9210 NEW BEST:: SOT 74185 SOS 20788 HAS SOPS 20788 HAS SOUS 14349 HAS SOUPS 14349 WITH SCORE 14369.788
AT ITER 9308 NEW BEST:: SOT 74183 SOS 20785 HAS SOPS 20785 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14368.785
AT ITER 9330 NEW BEST:: SOT 74181 SOS 20778 HAS SOPS 20778 HAS SOUS 14341 HAS SOUPS 14341 WITH SCORE 14361.778
AT ITER 9342 NEW BEST:: SOT 74174 SOS 20775 HAS SOPS 20775 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14358.775
AT ITER 9383 NEW BEST:: SOT 74174 SOS 20772 HAS SOPS 20772 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14355.772
AT ITER 9392 NEW BEST:: SOT 74174 SOS 20765 HAS SOPS 20765 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14355.765
AT ITER 9396 NEW BEST:: SOT 74175 SOS 20765 HAS SOPS 20765 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14353.765
AT ITER 9400 NEW BEST:: SOT 74167 SOS 20760 HAS SOPS 20760 HAS SOUS 14328 HAS SOUPS 14328 WITH SCORE 14348.76
AT ITER 9463 NEW BEST:: SOT 74166 SOS 20753 HAS SOPS 20753 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14347.753
AT ITER 9602 NEW BEST:: SOT 74175 SOS 20743 HAS SOPS 20743 HAS SOUS 14326 HAS SOUPS 14326 WITH SCORE 14346.743
AT ITER 9651 NEW BEST:: SOT 74174 SOS 20741 HAS SOPS 20741 HAS SOUS 14325 HAS SOUPS 14325 WITH SCORE 14345.741
AT ITER 9656 NEW BEST:: SOT 74169 SOS 20731 HAS SOPS 20731 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14335.731
AT ITER 9706 NEW BEST:: SOT 74160 SOS 20721 HAS SOPS 20721 HAS SOUS 14313 HAS SOUPS 14313 WITH SCORE 14333.721
AT ITER 9722 NEW BEST:: SOT 74194 SOS 20712 HAS SOPS 20712 HAS SOUS 14304 HAS SOUPS 14304 WITH SCORE 14324.712
AT ITER 9817 NEW BEST:: SOT 74209 SOS 20710 HAS SOPS 20710 HAS SOUS 14302 HAS SOUPS 14302 WITH SCORE 14322.71
AT ITER 9882 NEW BEST:: SOT 74204 SOS 20712 HAS SOPS 20712 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14318.712
AT ITER 9883 NEW BEST:: SOT 74190 SOS 20698 HAS SOPS 20698 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14316.698
AT ITER 9967 NEW BEST:: SOT 74180 SOS 20683 HAS SOPS 20683 HAS SOUS 14281 HAS SOUPS 14281 WITH SCORE 14301.683
AT ITER 9976 NEW BEST:: SOT 74179 SOS 20681 HAS SOPS 20681 HAS SOUS 14279 HAS SOUPS 14279 WITH SCORE 14299.681
AT ITER 9995 NEW BEST:: SOT 74175 SOS 20673 HAS SOPS 20673 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14291.673
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 9752028 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16121916 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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-07"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is BusinessProcesses-PT-07, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813696900504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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