Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r299-tall-167873953300688.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBNT-COL-S10J30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953300688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 8.9K Feb 26 00:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 00:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 00:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 00:29 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 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 01:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 01:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 01:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 93K Mar 5 18:23 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 1679532129850

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=PolyORBNT-COL-S10J30
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 00:42:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 00:42:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 00:42:11] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-23 00:42:11] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-23 00:42:12] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 674 ms
[2023-03-23 00:42:12] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 694 PT places and 12142.0 transition bindings in 19 ms.
[2023-03-23 00:42:12] [INFO ] Unfolded HLPN to a Petri net with 694 places and 12080 transitions 112619 arcs in 182 ms.
[2023-03-23 00:42:12] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-23 00:42:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 694 places, 12080 transitions and 112619 arcs took 153 ms.
Total runtime 1116 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J30
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: 694 places, 12080 transitions, 112619 arcs.
AT ITER 0 NEW BEST:: SOT 7798461 SOS 886164 HAS SOPS 886086 HAS SOUS 218876 HAS SOUPS 218798 WITH SCORE 219684.164
AT ITER 3 NEW BEST:: SOT 7798436 SOS 886379 HAS SOPS 886301 HAS SOUS 218855 HAS SOUPS 218777 WITH SCORE 219663.379
AT ITER 24 NEW BEST:: SOT 7798180 SOS 886144 HAS SOPS 886066 HAS SOUS 218632 HAS SOUPS 218554 WITH SCORE 219440.144
AT ITER 61 NEW BEST:: SOT 7798135 SOS 886121 HAS SOPS 886043 HAS SOUS 218552 HAS SOUPS 218474 WITH SCORE 219360.121
AT ITER 89 NEW BEST:: SOT 7796412 SOS 1059708 HAS SOPS 1059630 HAS SOUS 218132 HAS SOUPS 218054 WITH SCORE 219113.708
AT ITER 96 NEW BEST:: SOT 7794160 SOS 1456566 HAS SOPS 1456488 HAS SOUS 217348 HAS SOUPS 217270 WITH SCORE 218726.566
AT ITER 103 NEW BEST:: SOT 7788930 SOS 1451453 HAS SOPS 1451375 HAS SOUS 212204 HAS SOUPS 212126 WITH SCORE 213577.453
AT ITER 104 NEW BEST:: SOT 7788827 SOS 1451548 HAS SOPS 1451470 HAS SOUS 212189 HAS SOUPS 212111 WITH SCORE 213562.548
AT ITER 106 NEW BEST:: SOT 7788827 SOS 1451496 HAS SOPS 1451418 HAS SOUS 212060 HAS SOUPS 211982 WITH SCORE 213433.496
AT ITER 128 NEW BEST:: SOT 7788736 SOS 1450785 HAS SOPS 1450707 HAS SOUS 211908 HAS SOUPS 211830 WITH SCORE 213280.785
AT ITER 135 NEW BEST:: SOT 7788457 SOS 1450506 HAS SOPS 1450428 HAS SOUS 211623 HAS SOUPS 211545 WITH SCORE 212995.506
AT ITER 145 NEW BEST:: SOT 7788432 SOS 1450231 HAS SOPS 1450153 HAS SOUS 211556 HAS SOUPS 211478 WITH SCORE 212928.231
AT ITER 177 NEW BEST:: SOT 7788432 SOS 1450915 HAS SOPS 1450837 HAS SOUS 211525 HAS SOUPS 211447 WITH SCORE 212897.915
AT ITER 205 NEW BEST:: SOT 7788432 SOS 1450852 HAS SOPS 1450774 HAS SOUS 211525 HAS SOUPS 211447 WITH SCORE 212897.852
AT ITER 219 NEW BEST:: SOT 7788432 SOS 1450845 HAS SOPS 1450767 HAS SOUS 211511 HAS SOUPS 211433 WITH SCORE 212883.845
AT ITER 232 NEW BEST:: SOT 7788432 SOS 1450755 HAS SOPS 1450677 HAS SOUS 211494 HAS SOUPS 211416 WITH SCORE 212866.755
AT ITER 233 NEW BEST:: SOT 7788465 SOS 1450667 HAS SOPS 1450589 HAS SOUS 211398 HAS SOUPS 211320 WITH SCORE 212770.667
AT ITER 248 NEW BEST:: SOT 7788465 SOS 1450837 HAS SOPS 1450759 HAS SOUS 211375 HAS SOUPS 211297 WITH SCORE 212747.837
AT ITER 255 NEW BEST:: SOT 7788460 SOS 1450886 HAS SOPS 1450808 HAS SOUS 211370 HAS SOUPS 211292 WITH SCORE 212742.886
AT ITER 257 NEW BEST:: SOT 7788166 SOS 1450670 HAS SOPS 1450592 HAS SOUS 211076 HAS SOUPS 210998 WITH SCORE 212448.67
AT ITER 261 NEW BEST:: SOT 7788166 SOS 1450960 HAS SOPS 1450882 HAS SOUS 211058 HAS SOUPS 210980 WITH SCORE 212430.96
AT ITER 267 NEW BEST:: SOT 7788166 SOS 1450927 HAS SOPS 1450849 HAS SOUS 210966 HAS SOUPS 210888 WITH SCORE 212338.927
AT ITER 322 NEW BEST:: SOT 7788166 SOS 1450687 HAS SOPS 1450609 HAS SOUS 210941 HAS SOUPS 210863 WITH SCORE 212313.687
AT ITER 330 NEW BEST:: SOT 7787874 SOS 1450464 HAS SOPS 1450386 HAS SOUS 210910 HAS SOUPS 210832 WITH SCORE 212282.464
AT ITER 335 NEW BEST:: SOT 7787874 SOS 1450374 HAS SOPS 1450296 HAS SOUS 210910 HAS SOUPS 210832 WITH SCORE 212282.374
AT ITER 345 NEW BEST:: SOT 7787874 SOS 1450346 HAS SOPS 1450268 HAS SOUS 210875 HAS SOUPS 210797 WITH SCORE 212247.346
AT ITER 364 NEW BEST:: SOT 7787596 SOS 1450105 HAS SOPS 1450027 HAS SOUS 210709 HAS SOUPS 210631 WITH SCORE 212081.105
AT ITER 390 NEW BEST:: SOT 7787609 SOS 1450062 HAS SOPS 1449984 HAS SOUS 210569 HAS SOUPS 210491 WITH SCORE 211941.062
AT ITER 423 NEW BEST:: SOT 7787609 SOS 1450062 HAS SOPS 1449984 HAS SOUS 210556 HAS SOUPS 210478 WITH SCORE 211928.062
AT ITER 442 NEW BEST:: SOT 7787328 SOS 1449843 HAS SOPS 1449765 HAS SOUS 210286 HAS SOUPS 210208 WITH SCORE 211657.843
AT ITER 459 NEW BEST:: SOT 7787043 SOS 1449657 HAS SOPS 1449579 HAS SOUS 210220 HAS SOUPS 210142 WITH SCORE 211591.657
AT ITER 473 NEW BEST:: SOT 7786955 SOS 1449569 HAS SOPS 1449491 HAS SOUS 210204 HAS SOUPS 210126 WITH SCORE 211575.569
AT ITER 474 NEW BEST:: SOT 7787005 SOS 1449562 HAS SOPS 1449484 HAS SOUS 210099 HAS SOUPS 210021 WITH SCORE 211470.562
AT ITER 476 NEW BEST:: SOT 7786906 SOS 1449463 HAS SOPS 1449385 HAS SOUS 210001 HAS SOUPS 209923 WITH SCORE 211372.463
AT ITER 500 NEW BEST:: SOT 7786906 SOS 1449543 HAS SOPS 1449465 HAS SOUS 209970 HAS SOUPS 209892 WITH SCORE 211341.543
AT ITER 501 NEW BEST:: SOT 7786751 SOS 1449388 HAS SOPS 1449310 HAS SOUS 209812 HAS SOUPS 209734 WITH SCORE 211183.388
AT ITER 513 NEW BEST:: SOT 7786749 SOS 1449366 HAS SOPS 1449288 HAS SOUS 209806 HAS SOUPS 209728 WITH SCORE 211177.366
AT ITER 517 NEW BEST:: SOT 7786713 SOS 1449366 HAS SOPS 1449288 HAS SOUS 209765 HAS SOUPS 209687 WITH SCORE 211136.366
AT ITER 526 NEW BEST:: SOT 7786713 SOS 1449366 HAS SOPS 1449288 HAS SOUS 209764 HAS SOUPS 209686 WITH SCORE 211135.366
AT ITER 541 NEW BEST:: SOT 7786713 SOS 1449341 HAS SOPS 1449263 HAS SOUS 209764 HAS SOUPS 209686 WITH SCORE 211135.341
AT ITER 550 NEW BEST:: SOT 7786586 SOS 1449512 HAS SOPS 1449434 HAS SOUS 209744 HAS SOUPS 209666 WITH SCORE 211115.512
AT ITER 583 NEW BEST:: SOT 7786332 SOS 1449290 HAS SOPS 1449212 HAS SOUS 209511 HAS SOUPS 209433 WITH SCORE 210882.29
AT ITER 584 NEW BEST:: SOT 7786170 SOS 1449066 HAS SOPS 1448988 HAS SOUS 209451 HAS SOUPS 209373 WITH SCORE 210822.066
AT ITER 587 NEW BEST:: SOT 7786145 SOS 1449041 HAS SOPS 1448963 HAS SOUS 209400 HAS SOUPS 209322 WITH SCORE 210771.041
AT ITER 616 NEW BEST:: SOT 7786031 SOS 1448927 HAS SOPS 1448849 HAS SOUS 209273 HAS SOUPS 209195 WITH SCORE 210643.927
AT ITER 619 NEW BEST:: SOT 7786031 SOS 1448874 HAS SOPS 1448796 HAS SOUS 209273 HAS SOUPS 209195 WITH SCORE 210643.874
AT ITER 640 NEW BEST:: SOT 7785995 SOS 1448838 HAS SOPS 1448760 HAS SOUS 209201 HAS SOUPS 209123 WITH SCORE 210571.838
AT ITER 658 NEW BEST:: SOT 7785995 SOS 1448838 HAS SOPS 1448760 HAS SOUS 209183 HAS SOUPS 209105 WITH SCORE 210553.838
AT ITER 673 NEW BEST:: SOT 7784283 SOS 1587525 HAS SOPS 1587447 HAS SOUS 208728 HAS SOUPS 208650 WITH SCORE 210237.525
AT ITER 688 NEW BEST:: SOT 7784052 SOS 1586674 HAS SOPS 1586596 HAS SOUS 208455 HAS SOUPS 208377 WITH SCORE 209963.674
AT ITER 692 NEW BEST:: SOT 7784108 SOS 1586677 HAS SOPS 1586599 HAS SOUS 208433 HAS SOUPS 208355 WITH SCORE 209941.677
AT ITER 694 NEW BEST:: SOT 7784105 SOS 1586703 HAS SOPS 1586625 HAS SOUS 208430 HAS SOUPS 208352 WITH SCORE 209938.703
AT ITER 705 NEW BEST:: SOT 7783853 SOS 1586563 HAS SOPS 1586485 HAS SOUS 208324 HAS SOUPS 208246 WITH SCORE 209832.563
AT ITER 720 NEW BEST:: SOT 7783874 SOS 1586584 HAS SOPS 1586506 HAS SOUS 208206 HAS SOUPS 208128 WITH SCORE 209714.584
AT ITER 742 NEW BEST:: SOT 7783748 SOS 1586458 HAS SOPS 1586380 HAS SOUS 208060 HAS SOUPS 207982 WITH SCORE 209568.458
AT ITER 746 NEW BEST:: SOT 7783706 SOS 1586416 HAS SOPS 1586338 HAS SOUS 208018 HAS SOUPS 207940 WITH SCORE 209526.416
AT ITER 753 NEW BEST:: SOT 7783415 SOS 1586125 HAS SOPS 1586047 HAS SOUS 207736 HAS SOUPS 207658 WITH SCORE 209244.125
AT ITER 758 NEW BEST:: SOT 7783415 SOS 1586086 HAS SOPS 1586008 HAS SOUS 207736 HAS SOUPS 207658 WITH SCORE 209244.086
AT ITER 764 NEW BEST:: SOT 7783429 SOS 1587074 HAS SOPS 1586996 HAS SOUS 207733 HAS SOUPS 207655 WITH SCORE 209242.074
AT ITER 771 NEW BEST:: SOT 7772429 SOS 1621215 HAS SOPS 1620922 HAS SOUS 207300 HAS SOUPS 207007 WITH SCORE 208628.215
AT ITER 792 NEW BEST:: SOT 7772429 SOS 1621695 HAS SOPS 1621402 HAS SOUS 207269 HAS SOUPS 206976 WITH SCORE 208597.695
AT ITER 798 NEW BEST:: SOT 7772431 SOS 1621691 HAS SOPS 1621398 HAS SOUS 207265 HAS SOUPS 206972 WITH SCORE 208593.691
AT ITER 826 NEW BEST:: SOT 7772385 SOS 1621645 HAS SOPS 1621352 HAS SOUS 207161 HAS SOUPS 206868 WITH SCORE 208489.645
AT ITER 829 NEW BEST:: SOT 7772374 SOS 1622134 HAS SOPS 1621841 HAS SOUS 207116 HAS SOUPS 206823 WITH SCORE 208445.134
AT ITER 850 NEW BEST:: SOT 7772333 SOS 1622134 HAS SOPS 1621841 HAS SOUS 207034 HAS SOUPS 206741 WITH SCORE 208363.134
AT ITER 853 NEW BEST:: SOT 7772338 SOS 1622179 HAS SOPS 1621886 HAS SOUS 206964 HAS SOUPS 206671 WITH SCORE 208293.179
AT ITER 856 NEW BEST:: SOT 7772338 SOS 1622142 HAS SOPS 1621849 HAS SOUS 206964 HAS SOUPS 206671 WITH SCORE 208293.142
AT ITER 864 NEW BEST:: SOT 7772209 SOS 1621992 HAS SOPS 1621699 HAS SOUS 206890 HAS SOUPS 206597 WITH SCORE 208218.992
AT ITER 865 NEW BEST:: SOT 7772009 SOS 1621743 HAS SOPS 1621450 HAS SOUS 206732 HAS SOUPS 206439 WITH SCORE 208060.743
AT ITER 900 NEW BEST:: SOT 7772006 SOS 1621729 HAS SOPS 1621436 HAS SOUS 206726 HAS SOUPS 206433 WITH SCORE 208054.729
AT ITER 904 NEW BEST:: SOT 7772027 SOS 1622299 HAS SOPS 1622006 HAS SOUS 206656 HAS SOUPS 206363 WITH SCORE 207985.299
AT ITER 910 NEW BEST:: SOT 7771930 SOS 1621662 HAS SOPS 1621369 HAS SOUS 206593 HAS SOUPS 206300 WITH SCORE 207921.662
AT ITER 920 NEW BEST:: SOT 7771938 SOS 1621650 HAS SOPS 1621357 HAS SOUS 206559 HAS SOUPS 206266 WITH SCORE 207887.65
AT ITER 921 NEW BEST:: SOT 7771912 SOS 1621624 HAS SOPS 1621331 HAS SOUS 206460 HAS SOUPS 206167 WITH SCORE 207788.624
AT ITER 927 NEW BEST:: SOT 7771907 SOS 1621614 HAS SOPS 1621321 HAS SOUS 206450 HAS SOUPS 206157 WITH SCORE 207778.614
AT ITER 928 NEW BEST:: SOT 7771836 SOS 1621543 HAS SOPS 1621250 HAS SOUS 206379 HAS SOUPS 206086 WITH SCORE 207707.543
AT ITER 930 NEW BEST:: SOT 7771720 SOS 1621495 HAS SOPS 1621202 HAS SOUS 206328 HAS SOUPS 206035 WITH SCORE 207656.495
AT ITER 936 NEW BEST:: SOT 7771720 SOS 1620975 HAS SOPS 1620682 HAS SOUS 206297 HAS SOUPS 206004 WITH SCORE 207624.975
AT ITER 937 NEW BEST:: SOT 7771720 SOS 1620975 HAS SOPS 1620682 HAS SOUS 206276 HAS SOUPS 205983 WITH SCORE 207603.975
AT ITER 938 NEW BEST:: SOT 7771581 SOS 1620880 HAS SOPS 1620587 HAS SOUS 206205 HAS SOUPS 205912 WITH SCORE 207532.88
AT ITER 957 NEW BEST:: SOT 7771281 SOS 1620580 HAS SOPS 1620287 HAS SOUS 205919 HAS SOUPS 205626 WITH SCORE 207246.58
AT ITER 991 NEW BEST:: SOT 7771281 SOS 1620528 HAS SOPS 1620235 HAS SOUS 205774 HAS SOUPS 205481 WITH SCORE 207101.528
AT ITER 1007 NEW BEST:: SOT 7762291 SOS 1611871 HAS SOPS 1611245 HAS SOUS 197117 HAS SOUPS 196491 WITH SCORE 198102.871
AT ITER 1017 NEW BEST:: SOT 7762254 SOS 1611834 HAS SOPS 1611208 HAS SOUS 197117 HAS SOUPS 196491 WITH SCORE 198102.834
AT ITER 1030 NEW BEST:: SOT 7762116 SOS 1611696 HAS SOPS 1611070 HAS SOUS 196993 HAS SOUPS 196367 WITH SCORE 197978.696
AT ITER 1032 NEW BEST:: SOT 7762074 SOS 1611274 HAS SOPS 1610648 HAS SOUS 196946 HAS SOUPS 196320 WITH SCORE 197931.274
AT ITER 1041 NEW BEST:: SOT 7762054 SOS 1611254 HAS SOPS 1610628 HAS SOUS 196926 HAS SOUPS 196300 WITH SCORE 197911.254
AT ITER 1047 NEW BEST:: SOT 7762003 SOS 1610985 HAS SOPS 1610359 HAS SOUS 196824 HAS SOUPS 196198 WITH SCORE 197808.985
AT ITER 1056 NEW BEST:: SOT 7761954 SOS 1610446 HAS SOPS 1609820 HAS SOUS 196744 HAS SOUPS 196118 WITH SCORE 197728.446
AT ITER 1076 NEW BEST:: SOT 7761954 SOS 1610429 HAS SOPS 1609803 HAS SOUS 196744 HAS SOUPS 196118 WITH SCORE 197728.429
AT ITER 1096 NEW BEST:: SOT 7761515 SOS 1609990 HAS SOPS 1609602 HAS SOUS 196297 HAS SOUPS 195909 WITH SCORE 197518.99
AT ITER 1165 NEW BEST:: SOT 7761473 SOS 1609887 HAS SOPS 1609499 HAS SOUS 196213 HAS SOUPS 195825 WITH SCORE 197434.887
AT ITER 1173 NEW BEST:: SOT 7761473 SOS 1609277 HAS SOPS 1608889 HAS SOUS 196152 HAS SOUPS 195764 WITH SCORE 197373.277
AT ITER 1181 NEW BEST:: SOT 7761556 SOS 1609276 HAS SOPS 1608888 HAS SOUS 196150 HAS SOUPS 195762 WITH SCORE 197371.276
AT ITER 1204 NEW BEST:: SOT 7761564 SOS 1609939 HAS SOPS 1609551 HAS SOUS 196026 HAS SOUPS 195638 WITH SCORE 197247.939
AT ITER 1234 NEW BEST:: SOT 7750762 SOS 1599151 HAS SOPS 1598749 HAS SOUS 195428 HAS SOUPS 195026 WITH SCORE 196625.151
AT ITER 1241 NEW BEST:: SOT 7750697 SOS 1599086 HAS SOPS 1598684 HAS SOUS 195297 HAS SOUPS 194895 WITH SCORE 196494.086
AT ITER 1246 NEW BEST:: SOT 7750685 SOS 1599018 HAS SOPS 1598616 HAS SOUS 195273 HAS SOUPS 194871 WITH SCORE 196470.018
AT ITER 1285 NEW BEST:: SOT 7750421 SOS 1598134 HAS SOPS 1597732 HAS SOUS 194986 HAS SOUPS 194584 WITH SCORE 196182.134
AT ITER 1313 NEW BEST:: SOT 7749980 SOS 1646293 HAS SOPS 1645891 HAS SOUS 194810 HAS SOUPS 194408 WITH SCORE 196054.293
AT ITER 1319 NEW BEST:: SOT 7750966 SOS 1647279 HAS SOPS 1646877 HAS SOUS 194701 HAS SOUPS 194299 WITH SCORE 195946.279
AT ITER 1342 NEW BEST:: SOT 7750907 SOS 1647220 HAS SOPS 1646818 HAS SOUS 194642 HAS SOUPS 194240 WITH SCORE 195887.22
AT ITER 1357 NEW BEST:: SOT 7750809 SOS 1647122 HAS SOPS 1646720 HAS SOUS 194574 HAS SOUPS 194172 WITH SCORE 195819.122
AT ITER 1401 NEW BEST:: SOT 7750809 SOS 1646502 HAS SOPS 1646100 HAS SOUS 194512 HAS SOUPS 194110 WITH SCORE 195756.502
AT ITER 1402 NEW BEST:: SOT 7750608 SOS 1646265 HAS SOPS 1645863 HAS SOUS 194500 HAS SOUPS 194098 WITH SCORE 195744.265
AT ITER 1429 NEW BEST:: SOT 7750565 SOS 1646222 HAS SOPS 1645820 HAS SOUS 194406 HAS SOUPS 194004 WITH SCORE 195650.222
AT ITER 1435 NEW BEST:: SOT 7750484 SOS 1646210 HAS SOPS 1645808 HAS SOUS 194406 HAS SOUPS 194004 WITH SCORE 195650.21
AT ITER 1438 NEW BEST:: SOT 7750314 SOS 1645420 HAS SOPS 1645018 HAS SOUS 194143 HAS SOUPS 193741 WITH SCORE 195386.42
AT ITER 1466 NEW BEST:: SOT 7750183 SOS 1645289 HAS SOPS 1644887 HAS SOUS 193942 HAS SOUPS 193540 WITH SCORE 195185.289
AT ITER 1493 NEW BEST:: SOT 7750130 SOS 1645236 HAS SOPS 1644834 HAS SOUS 193832 HAS SOUPS 193430 WITH SCORE 195075.236
AT ITER 1500 NEW BEST:: SOT 7750130 SOS 1645556 HAS SOPS 1645154 HAS SOUS 193802 HAS SOUPS 193400 WITH SCORE 195045.556
AT ITER 1509 NEW BEST:: SOT 7750112 SOS 1645556 HAS SOPS 1645154 HAS SOUS 193766 HAS SOUPS 193364 WITH SCORE 195009.556
AT ITER 1512 NEW BEST:: SOT 7750053 SOS 1645177 HAS SOPS 1644775 HAS SOUS 193734 HAS SOUPS 193332 WITH SCORE 194977.177
AT ITER 1517 NEW BEST:: SOT 7750009 SOS 1645133 HAS SOPS 1644731 HAS SOUS 193686 HAS SOUPS 193284 WITH SCORE 194929.133
AT ITER 1534 NEW BEST:: SOT 7749944 SOS 1645024 HAS SOPS 1644622 HAS SOUS 193644 HAS SOUPS 193242 WITH SCORE 194887.024
AT ITER 1542 NEW BEST:: SOT 7749741 SOS 1644763 HAS SOPS 1644361 HAS SOUS 193532 HAS SOUPS 193130 WITH SCORE 194774.763
AT ITER 1556 NEW BEST:: SOT 7749741 SOS 1644143 HAS SOPS 1643741 HAS SOUS 193526 HAS SOUPS 193124 WITH SCORE 194768.143
AT ITER 1572 NEW BEST:: SOT 7749701 SOS 1644103 HAS SOPS 1643701 HAS SOUS 193446 HAS SOUPS 193044 WITH SCORE 194688.103
AT ITER 1579 NEW BEST:: SOT 7749597 SOS 1643379 HAS SOPS 1642977 HAS SOUS 193323 HAS SOUPS 192921 WITH SCORE 194564.379
AT ITER 1581 NEW BEST:: SOT 7768663 SOS 1662773 HAS SOPS 1662483 HAS SOUS 187608 HAS SOUPS 187318 WITH SCORE 188980.773
AT ITER 1582 NEW BEST:: SOT 7768647 SOS 1662757 HAS SOPS 1662467 HAS SOUS 187576 HAS SOUPS 187286 WITH SCORE 188948.757
AT ITER 1593 NEW BEST:: SOT 7768645 SOS 1662755 HAS SOPS 1662465 HAS SOUS 187574 HAS SOUPS 187284 WITH SCORE 188946.755
AT ITER 1599 NEW BEST:: SOT 7768564 SOS 1662664 HAS SOPS 1662374 HAS SOUS 187492 HAS SOUPS 187202 WITH SCORE 188864.664
AT ITER 1620 NEW BEST:: SOT 7768477 SOS 1662577 HAS SOPS 1662287 HAS SOUS 187401 HAS SOUPS 187111 WITH SCORE 188773.577
AT ITER 1644 NEW BEST:: SOT 7767790 SOS 1661539 HAS SOPS 1661210 HAS SOUS 186689 HAS SOUPS 186360 WITH SCORE 188021.539
AT ITER 1647 NEW BEST:: SOT 7767779 SOS 1661418 HAS SOPS 1661089 HAS SOUS 186670 HAS SOUPS 186341 WITH SCORE 188002.418
AT ITER 1707 NEW BEST:: SOT 7766779 SOS 1660418 HAS SOPS 1660089 HAS SOUS 185668 HAS SOUPS 185339 WITH SCORE 186999.418
AT ITER 1725 NEW BEST:: SOT 7766752 SOS 1660121 HAS SOPS 1659792 HAS SOUS 185641 HAS SOUPS 185312 WITH SCORE 186972.121
AT ITER 1731 NEW BEST:: SOT 7766735 SOS 1660104 HAS SOPS 1659775 HAS SOUS 185628 HAS SOUPS 185299 WITH SCORE 186959.104
AT ITER 1738 NEW BEST:: SOT 7766715 SOS 1661526 HAS SOPS 1661197 HAS SOUS 185588 HAS SOUPS 185259 WITH SCORE 186920.526
AT ITER 1784 NEW BEST:: SOT 7766715 SOS 1661526 HAS SOPS 1661197 HAS SOUS 185558 HAS SOUPS 185229 WITH SCORE 186890.526
AT ITER 1797 NEW BEST:: SOT 7766689 SOS 1660900 HAS SOPS 1660571 HAS SOUS 185450 HAS SOUPS 185121 WITH SCORE 186781.9
AT ITER 1800 NEW BEST:: SOT 7766598 SOS 1660809 HAS SOPS 1660480 HAS SOUS 185278 HAS SOUPS 184949 WITH SCORE 186609.809
AT ITER 1813 NEW BEST:: SOT 7766353 SOS 1660523 HAS SOPS 1660194 HAS SOUS 185208 HAS SOUPS 184879 WITH SCORE 186539.523
AT ITER 1817 NEW BEST:: SOT 7766332 SOS 1660502 HAS SOPS 1660173 HAS SOUS 185166 HAS SOUPS 184837 WITH SCORE 186497.502
AT ITER 1826 NEW BEST:: SOT 7766328 SOS 1660478 HAS SOPS 1660149 HAS SOUS 185158 HAS SOUPS 184829 WITH SCORE 186489.478
AT ITER 1835 NEW BEST:: SOT 7766328 SOS 1660502 HAS SOPS 1660173 HAS SOUS 184920 HAS SOUPS 184591 WITH SCORE 186251.502
AT ITER 1841 NEW BEST:: SOT 7766328 SOS 1660512 HAS SOPS 1660183 HAS SOUS 184894 HAS SOUPS 184565 WITH SCORE 186225.512
AT ITER 1888 NEW BEST:: SOT 7766277 SOS 1660461 HAS SOPS 1660132 HAS SOUS 184892 HAS SOUPS 184563 WITH SCORE 186223.461
AT ITER 1889 NEW BEST:: SOT 7766118 SOS 1660335 HAS SOPS 1660006 HAS SOUS 184878 HAS SOUPS 184549 WITH SCORE 186209.335
AT ITER 1891 NEW BEST:: SOT 7766118 SOS 1660316 HAS SOPS 1659987 HAS SOUS 184840 HAS SOUPS 184511 WITH SCORE 186171.316
AT ITER 1894 NEW BEST:: SOT 7766118 SOS 1660316 HAS SOPS 1659987 HAS SOUS 184809 HAS SOUPS 184480 WITH SCORE 186140.316
AT ITER 1926 NEW BEST:: SOT 7759602 SOS 1672860 HAS SOPS 1672448 HAS SOUS 184232 HAS SOUPS 183820 WITH SCORE 185492.86
AT ITER 1930 NEW BEST:: SOT 7759557 SOS 1672815 HAS SOPS 1672403 HAS SOUS 184142 HAS SOUPS 183730 WITH SCORE 185402.815
AT ITER 1965 NEW BEST:: SOT 7759629 SOS 1672843 HAS SOPS 1672431 HAS SOUS 184138 HAS SOUPS 183726 WITH SCORE 185398.843
AT ITER 1994 NEW BEST:: SOT 7759545 SOS 1672759 HAS SOPS 1672347 HAS SOUS 184054 HAS SOUPS 183642 WITH SCORE 185314.759
AT ITER 2015 NEW BEST:: SOT 7759503 SOS 1673403 HAS SOPS 1672991 HAS SOUS 183970 HAS SOUPS 183558 WITH SCORE 185231.403
AT ITER 2030 NEW BEST:: SOT 7759503 SOS 1673375 HAS SOPS 1672963 HAS SOUS 183970 HAS SOUPS 183558 WITH SCORE 185231.375
AT ITER 2031 NEW BEST:: SOT 7759486 SOS 1673375 HAS SOPS 1672963 HAS SOUS 183936 HAS SOUPS 183524 WITH SCORE 185197.375
AT ITER 2034 NEW BEST:: SOT 7759374 SOS 1673263 HAS SOPS 1672907 HAS SOUS 183824 HAS SOUPS 183468 WITH SCORE 185141.263
AT ITER 2043 NEW BEST:: SOT 7759374 SOS 1673203 HAS SOPS 1672847 HAS SOUS 183824 HAS SOUPS 183468 WITH SCORE 185141.203
AT ITER 2081 NEW BEST:: SOT 7759092 SOS 1672921 HAS SOPS 1672521 HAS SOUS 183542 HAS SOUPS 183142 WITH SCORE 184814.921
AT ITER 2087 NEW BEST:: SOT 7759092 SOS 1672915 HAS SOPS 1672515 HAS SOUS 183542 HAS SOUPS 183142 WITH SCORE 184814.915
AT ITER 2108 NEW BEST:: SOT 7757264 SOS 1787646 HAS SOPS 1787246 HAS SOUS 183309 HAS SOUPS 182909 WITH SCORE 184696.646
AT ITER 2130 NEW BEST:: SOT 7757141 SOS 1787763 HAS SOPS 1787363 HAS SOUS 183097 HAS SOUPS 182697 WITH SCORE 184484.763
AT ITER 2172 NEW BEST:: SOT 7757120 SOS 1787666 HAS SOPS 1787266 HAS SOUS 183081 HAS SOUPS 182681 WITH SCORE 184468.666
AT ITER 2191 NEW BEST:: SOT 7757091 SOS 1787637 HAS SOPS 1787237 HAS SOUS 183023 HAS SOUPS 182623 WITH SCORE 184410.637
AT ITER 2219 NEW BEST:: SOT 7757070 SOS 1787616 HAS SOPS 1787216 HAS SOUS 182935 HAS SOUPS 182535 WITH SCORE 184322.616
AT ITER 2224 NEW BEST:: SOT 7756984 SOS 1787480 HAS SOPS 1787166 HAS SOUS 182844 HAS SOUPS 182530 WITH SCORE 184317.48
AT ITER 2232 NEW BEST:: SOT 7756930 SOS 1787435 HAS SOPS 1787121 HAS SOUS 182799 HAS SOUPS 182485 WITH SCORE 184272.435
AT ITER 2236 NEW BEST:: SOT 7756648 SOS 1786964 HAS SOPS 1786650 HAS SOUS 182471 HAS SOUPS 182157 WITH SCORE 183943.964
AT ITER 2247 NEW BEST:: SOT 7756648 SOS 1786964 HAS SOPS 1786650 HAS SOUS 182457 HAS SOUPS 182143 WITH SCORE 183929.964
AT ITER 2255 NEW BEST:: SOT 7756600 SOS 1786916 HAS SOPS 1786602 HAS SOUS 182360 HAS SOUPS 182046 WITH SCORE 183832.916
AT ITER 2263 NEW BEST:: SOT 7756527 SOS 1786843 HAS SOPS 1786529 HAS SOUS 182214 HAS SOUPS 181900 WITH SCORE 183686.843
AT ITER 2272 NEW BEST:: SOT 7756498 SOS 1786753 HAS SOPS 1786439 HAS SOUS 182121 HAS SOUPS 181807 WITH SCORE 183593.753
AT ITER 2284 NEW BEST:: SOT 7755401 SOS 1785656 HAS SOPS 1785342 HAS SOUS 181024 HAS SOUPS 180710 WITH SCORE 182495.656
AT ITER 2309 NEW BEST:: SOT 7759701 SOS 1789956 HAS SOPS 1789642 HAS SOUS 174624 HAS SOUPS 174310 WITH SCORE 176099.956
AT ITER 2314 NEW BEST:: SOT 7759701 SOS 1789286 HAS SOPS 1788972 HAS SOUS 174605 HAS SOUPS 174291 WITH SCORE 176080.286
AT ITER 2337 NEW BEST:: SOT 7759695 SOS 1788370 HAS SOPS 1788056 HAS SOUS 174583 HAS SOUPS 174269 WITH SCORE 176057.37
AT ITER 2344 NEW BEST:: SOT 7759648 SOS 1788323 HAS SOPS 1788009 HAS SOUS 174545 HAS SOUPS 174231 WITH SCORE 176019.323
AT ITER 2360 NEW BEST:: SOT 7759621 SOS 1788323 HAS SOPS 1788009 HAS SOUS 174535 HAS SOUPS 174221 WITH SCORE 176009.323
AT ITER 2381 NEW BEST:: SOT 7759614 SOS 1788275 HAS SOPS 1787961 HAS SOUS 174521 HAS SOUPS 174207 WITH SCORE 175995.275
AT ITER 2409 NEW BEST:: SOT 7759614 SOS 1788275 HAS SOPS 1787961 HAS SOUS 174505 HAS SOUPS 174191 WITH SCORE 175979.275
AT ITER 2416 NEW BEST:: SOT 7759613 SOS 1788257 HAS SOPS 1787943 HAS SOUS 174479 HAS SOUPS 174165 WITH SCORE 175953.257
AT ITER 2421 NEW BEST:: SOT 7759613 SOS 1788231 HAS SOPS 1787917 HAS SOUS 174479 HAS SOUPS 174165 WITH SCORE 175953.231
AT ITER 2424 NEW BEST:: SOT 7759461 SOS 1788527 HAS SOPS 1788213 HAS SOUS 174346 HAS SOUPS 174032 WITH SCORE 175820.527
AT ITER 2459 NEW BEST:: SOT 7759461 SOS 1788237 HAS SOPS 1787923 HAS SOUS 174305 HAS SOUPS 173991 WITH SCORE 175779.237
AT ITER 2516 NEW BEST:: SOT 7759427 SOS 1787583 HAS SOPS 1787269 HAS SOUS 174225 HAS SOUPS 173911 WITH SCORE 175698.583
AT ITER 2528 NEW BEST:: SOT 7759423 SOS 1787579 HAS SOPS 1787265 HAS SOUS 174217 HAS SOUPS 173903 WITH SCORE 175690.579
AT ITER 2530 NEW BEST:: SOT 7759398 SOS 1787395 HAS SOPS 1787081 HAS SOUS 174172 HAS SOUPS 173858 WITH SCORE 175645.395
AT ITER 2552 NEW BEST:: SOT 7759340 SOS 1787338 HAS SOPS 1787024 HAS SOUS 174056 HAS SOUPS 173742 WITH SCORE 175529.338
AT ITER 2553 NEW BEST:: SOT 7759202 SOS 1787886 HAS SOPS 1787572 HAS SOUS 174043 HAS SOUPS 173729 WITH SCORE 175516.886
AT ITER 2559 NEW BEST:: SOT 7759202 SOS 1787886 HAS SOPS 1787572 HAS SOUS 174012 HAS SOUPS 173698 WITH SCORE 175485.886
AT ITER 2562 NEW BEST:: SOT 7759214 SOS 1787872 HAS SOPS 1787558 HAS SOUS 173984 HAS SOUPS 173670 WITH SCORE 175457.872
AT ITER 2601 NEW BEST:: SOT 7759214 SOS 1787837 HAS SOPS 1787523 HAS SOUS 173915 HAS SOUPS 173601 WITH SCORE 175388.837
AT ITER 2618 NEW BEST:: SOT 7759237 SOS 1787808 HAS SOPS 1787494 HAS SOUS 173857 HAS SOUPS 173543 WITH SCORE 175330.808
AT ITER 2620 NEW BEST:: SOT 7759101 SOS 1787681 HAS SOPS 1787367 HAS SOUS 173839 HAS SOUPS 173525 WITH SCORE 175312.681
AT ITER 2643 NEW BEST:: SOT 7759101 SOS 1787681 HAS SOPS 1787367 HAS SOUS 173815 HAS SOUPS 173501 WITH SCORE 175288.681
AT ITER 2664 NEW BEST:: SOT 7758428 SOS 1787008 HAS SOPS 1786694 HAS SOUS 173141 HAS SOUPS 172827 WITH SCORE 174614.008
AT ITER 2679 NEW BEST:: SOT 7758412 SOS 1787076 HAS SOPS 1786762 HAS SOUS 173109 HAS SOUPS 172795 WITH SCORE 174582.076
AT ITER 2694 NEW BEST:: SOT 7757732 SOS 1786451 HAS SOPS 1786137 HAS SOUS 172568 HAS SOUPS 172254 WITH SCORE 174040.451
AT ITER 2744 NEW BEST:: SOT 7757884 SOS 1786788 HAS SOPS 1786474 HAS SOUS 172444 HAS SOUPS 172130 WITH SCORE 173916.788
AT ITER 2747 NEW BEST:: SOT 7757927 SOS 1786796 HAS SOPS 1786482 HAS SOUS 172414 HAS SOUPS 172100 WITH SCORE 173886.796
AT ITER 2765 NEW BEST:: SOT 7757654 SOS 1786581 HAS SOPS 1786267 HAS SOUS 172353 HAS SOUPS 172039 WITH SCORE 173825.581
AT ITER 2786 NEW BEST:: SOT 7757603 SOS 1786530 HAS SOPS 1786216 HAS SOUS 172349 HAS SOUPS 172035 WITH SCORE 173821.53
AT ITER 2793 NEW BEST:: SOT 7757603 SOS 1786560 HAS SOPS 1786246 HAS SOUS 172318 HAS SOUPS 172004 WITH SCORE 173790.56
AT ITER 2811 NEW BEST:: SOT 7757603 SOS 1786560 HAS SOPS 1786246 HAS SOUS 172255 HAS SOUPS 171941 WITH SCORE 173727.56
AT ITER 2823 NEW BEST:: SOT 7757564 SOS 1786521 HAS SOPS 1786207 HAS SOUS 172177 HAS SOUPS 171863 WITH SCORE 173649.521
AT ITER 2845 NEW BEST:: SOT 7757544 SOS 1786481 HAS SOPS 1786167 HAS SOUS 172137 HAS SOUPS 171823 WITH SCORE 173609.481
AT ITER 2851 NEW BEST:: SOT 7757544 SOS 1786138 HAS SOPS 1785824 HAS SOUS 172066 HAS SOUPS 171752 WITH SCORE 173538.138
AT ITER 2878 NEW BEST:: SOT 7757262 SOS 1786101 HAS SOPS 1785787 HAS SOUS 172015 HAS SOUPS 171701 WITH SCORE 173487.101
AT ITER 2898 NEW BEST:: SOT 7757117 SOS 1785988 HAS SOPS 1785674 HAS SOUS 171875 HAS SOUPS 171561 WITH SCORE 173346.988
AT ITER 2913 NEW BEST:: SOT 7756810 SOS 1785681 HAS SOPS 1785367 HAS SOUS 171517 HAS SOUPS 171203 WITH SCORE 172988.681
AT ITER 2924 NEW BEST:: SOT 7756772 SOS 1785643 HAS SOPS 1785329 HAS SOUS 171502 HAS SOUPS 171188 WITH SCORE 172973.643
AT ITER 2938 NEW BEST:: SOT 7756835 SOS 1786071 HAS SOPS 1785757 HAS SOUS 171435 HAS SOUPS 171121 WITH SCORE 172907.071
AT ITER 2949 NEW BEST:: SOT 7756794 SOS 1741006 HAS SOPS 1740829 HAS SOUS 171311 HAS SOUPS 171134 WITH SCORE 172875.006
AT ITER 2951 NEW BEST:: SOT 7756830 SOS 1740986 HAS SOPS 1740809 HAS SOUS 171189 HAS SOUPS 171012 WITH SCORE 172752.986
AT ITER 2971 NEW BEST:: SOT 7756795 SOS 1740762 HAS SOPS 1740585 HAS SOUS 171077 HAS SOUPS 170900 WITH SCORE 172640.762
AT ITER 2990 NEW BEST:: SOT 7756780 SOS 1740597 HAS SOPS 1740420 HAS SOUS 171041 HAS SOUPS 170864 WITH SCORE 172604.597
AT ITER 2998 NEW BEST:: SOT 7756772 SOS 1740589 HAS SOPS 1740412 HAS SOUS 171033 HAS SOUPS 170856 WITH SCORE 172596.589
AT ITER 3026 NEW BEST:: SOT 7756757 SOS 1740574 HAS SOPS 1740397 HAS SOUS 171006 HAS SOUPS 170829 WITH SCORE 172569.574
AT ITER 3045 NEW BEST:: SOT 7756739 SOS 1740556 HAS SOPS 1740379 HAS SOUS 170988 HAS SOUPS 170811 WITH SCORE 172551.556
AT ITER 3058 NEW BEST:: SOT 7756739 SOS 1740556 HAS SOPS 1740379 HAS SOUS 170986 HAS SOUPS 170809 WITH SCORE 172549.556
AT ITER 3075 NEW BEST:: SOT 7756769 SOS 1740651 HAS SOPS 1740474 HAS SOUS 170916 HAS SOUPS 170739 WITH SCORE 172479.651
AT ITER 3092 NEW BEST:: SOT 7756787 SOS 1741128 HAS SOPS 1740951 HAS SOUS 170850 HAS SOUPS 170673 WITH SCORE 172414.128
AT ITER 3093 NEW BEST:: SOT 7756871 SOS 1741185 HAS SOPS 1741008 HAS SOUS 170837 HAS SOUPS 170660 WITH SCORE 172401.185
AT ITER 3096 NEW BEST:: SOT 7756866 SOS 1741180 HAS SOPS 1741003 HAS SOUS 170284 HAS SOUPS 170107 WITH SCORE 171848.18
AT ITER 3104 NEW BEST:: SOT 7756785 SOS 1741399 HAS SOPS 1741222 HAS SOUS 170183 HAS SOUPS 170006 WITH SCORE 171747.399
AT ITER 3128 NEW BEST:: SOT 7756746 SOS 1741360 HAS SOPS 1741183 HAS SOUS 170183 HAS SOUPS 170006 WITH SCORE 171747.36
AT ITER 3129 NEW BEST:: SOT 7756733 SOS 1741347 HAS SOPS 1741170 HAS SOUS 170157 HAS SOUPS 169980 WITH SCORE 171721.347
AT ITER 3139 NEW BEST:: SOT 7754599 SOS 1739328 HAS SOPS 1739151 HAS SOUS 169309 HAS SOUPS 169132 WITH SCORE 170871.328
AT ITER 3146 NEW BEST:: SOT 7754594 SOS 1738843 HAS SOPS 1738666 HAS SOUS 169251 HAS SOUPS 169074 WITH SCORE 170812.843
AT ITER 3163 NEW BEST:: SOT 7753088 SOS 1737409 HAS SOPS 1737232 HAS SOUS 168678 HAS SOUPS 168501 WITH SCORE 170238.409
AT ITER 3200 NEW BEST:: SOT 7753023 SOS 1737344 HAS SOPS 1737167 HAS SOUS 168432 HAS SOUPS 168255 WITH SCORE 169992.344
AT ITER 3212 NEW BEST:: SOT 7753079 SOS 1737654 HAS SOPS 1737477 HAS SOUS 168396 HAS SOUPS 168219 WITH SCORE 169956.654
AT ITER 3221 NEW BEST:: SOT 7753052 SOS 1737627 HAS SOPS 1737450 HAS SOUS 168365 HAS SOUPS 168188 WITH SCORE 169925.627
AT ITER 3252 NEW BEST:: SOT 7753081 SOS 1737656 HAS SOPS 1737479 HAS SOUS 168174 HAS SOUPS 167997 WITH SCORE 169734.656
AT ITER 3261 NEW BEST:: SOT 7753023 SOS 1737471 HAS SOPS 1737294 HAS SOUS 167804 HAS SOUPS 167627 WITH SCORE 169364.471
AT ITER 3274 NEW BEST:: SOT 7753023 SOS 1737471 HAS SOPS 1737294 HAS SOUS 167802 HAS SOUPS 167625 WITH SCORE 169362.471
AT ITER 3279 NEW BEST:: SOT 7752260 SOS 1736708 HAS SOPS 1736531 HAS SOUS 166969 HAS SOUPS 166792 WITH SCORE 168528.708
AT ITER 3280 NEW BEST:: SOT 7752145 SOS 1736619 HAS SOPS 1736442 HAS SOUS 166880 HAS SOUPS 166703 WITH SCORE 168439.619
AT ITER 3308 NEW BEST:: SOT 7752135 SOS 1736609 HAS SOPS 1736432 HAS SOUS 166880 HAS SOUPS 166703 WITH SCORE 168439.609
AT ITER 3356 NEW BEST:: SOT 7752135 SOS 1735909 HAS SOPS 1735732 HAS SOUS 166880 HAS SOUPS 166703 WITH SCORE 168438.909
AT ITER 3363 NEW BEST:: SOT 7752102 SOS 1735546 HAS SOPS 1735369 HAS SOUS 166847 HAS SOUPS 166670 WITH SCORE 168405.546
AT ITER 3395 NEW BEST:: SOT 7751765 SOS 1754109 HAS SOPS 1753932 HAS SOUS 166643 HAS SOUPS 166466 WITH SCORE 168220.109
AT ITER 3406 NEW BEST:: SOT 7749155 SOS 1751571 HAS SOPS 1751394 HAS SOUS 165382 HAS SOUPS 165205 WITH SCORE 166956.571
AT ITER 3441 NEW BEST:: SOT 7749154 SOS 1751580 HAS SOPS 1751403 HAS SOUS 165380 HAS SOUPS 165203 WITH SCORE 166954.58
AT ITER 3470 NEW BEST:: SOT 7749180 SOS 1751566 HAS SOPS 1751389 HAS SOUS 165366 HAS SOUPS 165189 WITH SCORE 166940.566
AT ITER 3479 NEW BEST:: SOT 7749170 SOS 1751566 HAS SOPS 1751389 HAS SOUS 165346 HAS SOUPS 165169 WITH SCORE 166920.566
AT ITER 3483 NEW BEST:: SOT 7749100 SOS 1751496 HAS SOPS 1751319 HAS SOUS 165312 HAS SOUPS 165135 WITH SCORE 166886.496
AT ITER 3491 NEW BEST:: SOT 7748884 SOS 1751280 HAS SOPS 1751103 HAS SOUS 165099 HAS SOUPS 164922 WITH SCORE 166673.28
AT ITER 3511 NEW BEST:: SOT 7748884 SOS 1751280 HAS SOPS 1751103 HAS SOUS 165097 HAS SOUPS 164920 WITH SCORE 166671.28
AT ITER 3523 NEW BEST:: SOT 7748884 SOS 1751280 HAS SOPS 1751103 HAS SOUS 165095 HAS SOUPS 164918 WITH SCORE 166669.28
AT ITER 3538 NEW BEST:: SOT 7748706 SOS 1751021 HAS SOPS 1750844 HAS SOUS 165011 HAS SOUPS 164834 WITH SCORE 166585.021
AT ITER 3558 NEW BEST:: SOT 7748820 SOS 1751258 HAS SOPS 1751081 HAS SOUS 164861 HAS SOUPS 164684 WITH SCORE 166435.258
AT ITER 3566 NEW BEST:: SOT 7748820 SOS 1751258 HAS SOPS 1751081 HAS SOUS 164858 HAS SOUPS 164681 WITH SCORE 166432.258
AT ITER 3574 NEW BEST:: SOT 7748696 SOS 1751146 HAS SOPS 1750969 HAS SOUS 164768 HAS SOUPS 164591 WITH SCORE 166342.146
AT ITER 3581 NEW BEST:: SOT 7748603 SOS 1751093 HAS SOPS 1750876 HAS SOUS 164675 HAS SOUPS 164458 WITH SCORE 166209.093
AT ITER 3583 NEW BEST:: SOT 7748464 SOS 1751025 HAS SOPS 1750808 HAS SOUS 164539 HAS SOUPS 164322 WITH SCORE 166073.025
AT ITER 3592 NEW BEST:: SOT 7748239 SOS 1750800 HAS SOPS 1750583 HAS SOUS 164239 HAS SOUPS 164022 WITH SCORE 165772.8
AT ITER 3604 NEW BEST:: SOT 7748144 SOS 1750705 HAS SOPS 1750488 HAS SOUS 164148 HAS SOUPS 163931 WITH SCORE 165681.705
AT ITER 3615 NEW BEST:: SOT 7747961 SOS 1750522 HAS SOPS 1750305 HAS SOUS 164029 HAS SOUPS 163812 WITH SCORE 165562.522
AT ITER 3616 NEW BEST:: SOT 7747923 SOS 1750484 HAS SOPS 1750267 HAS SOUS 164029 HAS SOUPS 163812 WITH SCORE 165562.484
AT ITER 3622 NEW BEST:: SOT 7747911 SOS 1750472 HAS SOPS 1750255 HAS SOUS 164014 HAS SOUPS 163797 WITH SCORE 165547.472
AT ITER 3634 NEW BEST:: SOT 7747906 SOS 1750462 HAS SOPS 1750245 HAS SOUS 163999 HAS SOUPS 163782 WITH SCORE 165532.462
AT ITER 3642 NEW BEST:: SOT 7747894 SOS 1750450 HAS SOPS 1750233 HAS SOUS 163995 HAS SOUPS 163778 WITH SCORE 165528.45
AT ITER 3652 NEW BEST:: SOT 7747894 SOS 1750450 HAS SOPS 1750233 HAS SOUS 163987 HAS SOUPS 163770 WITH SCORE 165520.45
AT ITER 3670 NEW BEST:: SOT 7747872 SOS 1750406 HAS SOPS 1750189 HAS SOUS 163943 HAS SOUPS 163726 WITH SCORE 165476.406
AT ITER 3690 NEW BEST:: SOT 7747843 SOS 1749600 HAS SOPS 1749383 HAS SOUS 163900 HAS SOUPS 163683 WITH SCORE 165432.6
AT ITER 3717 NEW BEST:: SOT 7747843 SOS 1749600 HAS SOPS 1749383 HAS SOUS 163872 HAS SOUPS 163655 WITH SCORE 165404.6
AT ITER 3723 NEW BEST:: SOT 7747828 SOS 1749585 HAS SOPS 1749368 HAS SOUS 163857 HAS SOUPS 163640 WITH SCORE 165389.585
AT ITER 3726 NEW BEST:: SOT 7747727 SOS 1749484 HAS SOPS 1749267 HAS SOUS 163847 HAS SOUPS 163630 WITH SCORE 165379.484
AT ITER 3780 NEW BEST:: SOT 7747727 SOS 1749134 HAS SOPS 1748917 HAS SOUS 163837 HAS SOUPS 163620 WITH SCORE 165369.134
AT ITER 3790 NEW BEST:: SOT 7747727 SOS 1749134 HAS SOPS 1748917 HAS SOUS 163834 HAS SOUPS 163617 WITH SCORE 165366.134
AT ITER 3791 NEW BEST:: SOT 7747717 SOS 1748893 HAS SOPS 1748676 HAS SOUS 163803 HAS SOUPS 163586 WITH SCORE 165334.893
AT ITER 3794 NEW BEST:: SOT 7747439 SOS 1748663 HAS SOPS 1748446 HAS SOUS 163581 HAS SOUPS 163364 WITH SCORE 165112.663
AT ITER 3816 NEW BEST:: SOT 7747439 SOS 1748663 HAS SOPS 1748446 HAS SOUS 163521 HAS SOUPS 163304 WITH SCORE 165052.663
AT ITER 3836 NEW BEST:: SOT 7747430 SOS 1748564 HAS SOPS 1748347 HAS SOUS 163503 HAS SOUPS 163286 WITH SCORE 165034.564
AT ITER 3876 NEW BEST:: SOT 7747417 SOS 1748551 HAS SOPS 1748334 HAS SOUS 163477 HAS SOUPS 163260 WITH SCORE 165008.551
AT ITER 3903 NEW BEST:: SOT 7747391 SOS 1748525 HAS SOPS 1748308 HAS SOUS 163425 HAS SOUPS 163208 WITH SCORE 164956.525
AT ITER 3906 NEW BEST:: SOT 7747339 SOS 1748473 HAS SOPS 1748256 HAS SOUS 163329 HAS SOUPS 163112 WITH SCORE 164860.473
AT ITER 3967 NEW BEST:: SOT 7747337 SOS 1748471 HAS SOPS 1748254 HAS SOUS 163312 HAS SOUPS 163095 WITH SCORE 164843.471
AT ITER 4000 NEW BEST:: SOT 7747265 SOS 1748399 HAS SOPS 1748182 HAS SOUS 163235 HAS SOUPS 163018 WITH SCORE 164766.399
AT ITER 4013 NEW BEST:: SOT 7747309 SOS 1748807 HAS SOPS 1748590 HAS SOUS 162979 HAS SOUPS 162762 WITH SCORE 164510.807
AT ITER 4059 NEW BEST:: SOT 7747266 SOS 1748764 HAS SOPS 1748547 HAS SOUS 162893 HAS SOUPS 162676 WITH SCORE 164424.764
AT ITER 4063 NEW BEST:: SOT 7747241 SOS 1748739 HAS SOPS 1748547 HAS SOUS 162868 HAS SOUPS 162676 WITH SCORE 164424.739
AT ITER 4090 NEW BEST:: SOT 7747291 SOS 1749064 HAS SOPS 1748872 HAS SOUS 162817 HAS SOUPS 162625 WITH SCORE 164374.064
AT ITER 4095 NEW BEST:: SOT 7747243 SOS 1749016 HAS SOPS 1748824 HAS SOUS 162808 HAS SOUPS 162616 WITH SCORE 164365.016
AT ITER 4130 NEW BEST:: SOT 7747223 SOS 1748996 HAS SOPS 1748804 HAS SOUS 162761 HAS SOUPS 162569 WITH SCORE 164317.996
AT ITER 4134 NEW BEST:: SOT 7747267 SOS 1749019 HAS SOPS 1748827 HAS SOUS 162751 HAS SOUPS 162559 WITH SCORE 164308.019
AT ITER 4154 NEW BEST:: SOT 7747277 SOS 1749039 HAS SOPS 1748847 HAS SOUS 162745 HAS SOUPS 162553 WITH SCORE 164302.039
AT ITER 4182 NEW BEST:: SOT 7747255 SOS 1748907 HAS SOPS 1748715 HAS SOUS 162712 HAS SOUPS 162520 WITH SCORE 164268.907
AT ITER 4193 NEW BEST:: SOT 7747244 SOS 1748910 HAS SOPS 1748718 HAS SOUS 162694 HAS SOUPS 162502 WITH SCORE 164250.91
AT ITER 4199 NEW BEST:: SOT 7747197 SOS 1748751 HAS SOPS 1748559 HAS SOUS 162600 HAS SOUPS 162408 WITH SCORE 164156.751
AT ITER 4201 NEW BEST:: SOT 7747197 SOS 1748751 HAS SOPS 1748559 HAS SOUS 162586 HAS SOUPS 162394 WITH SCORE 164142.751
AT ITER 4202 NEW BEST:: SOT 7747197 SOS 1748751 HAS SOPS 1748559 HAS SOUS 162584 HAS SOUPS 162392 WITH SCORE 164140.751
AT ITER 4209 NEW BEST:: SOT 7747197 SOS 1748751 HAS SOPS 1748559 HAS SOUS 162564 HAS SOUPS 162372 WITH SCORE 164120.751
AT ITER 4220 NEW BEST:: SOT 7747183 SOS 1748737 HAS SOPS 1748545 HAS SOUS 162536 HAS SOUPS 162344 WITH SCORE 164092.737
AT ITER 4229 NEW BEST:: SOT 7747183 SOS 1749097 HAS SOPS 1748905 HAS SOUS 162531 HAS SOUPS 162339 WITH SCORE 164088.097
AT ITER 4286 NEW BEST:: SOT 7747183 SOS 1749097 HAS SOPS 1748905 HAS SOUS 162493 HAS SOUPS 162301 WITH SCORE 164050.097
AT ITER 4340 NEW BEST:: SOT 7747129 SOS 1749961 HAS SOPS 1749769 HAS SOUS 162385 HAS SOUPS 162193 WITH SCORE 163942.961
AT ITER 4354 NEW BEST:: SOT 7746872 SOS 1749729 HAS SOPS 1749537 HAS SOUS 162247 HAS SOUPS 162055 WITH SCORE 163804.729
AT ITER 4372 NEW BEST:: SOT 7746682 SOS 1749539 HAS SOPS 1749347 HAS SOUS 162146 HAS SOUPS 161954 WITH SCORE 163703.539
AT ITER 4382 NEW BEST:: SOT 7746682 SOS 1749602 HAS SOPS 1749410 HAS SOUS 162083 HAS SOUPS 161891 WITH SCORE 163640.602
AT ITER 4431 NEW BEST:: SOT 7746650 SOS 1749570 HAS SOPS 1749378 HAS SOUS 162049 HAS SOUPS 161857 WITH SCORE 163606.57
AT ITER 4445 NEW BEST:: SOT 7746555 SOS 1749380 HAS SOPS 1749188 HAS SOUS 161859 HAS SOUPS 161667 WITH SCORE 163416.38
AT ITER 4464 NEW BEST:: SOT 7746525 SOS 1749707 HAS SOPS 1749515 HAS SOUS 161841 HAS SOUPS 161649 WITH SCORE 163398.707
AT ITER 4466 NEW BEST:: SOT 7746499 SOS 1749693 HAS SOPS 1749501 HAS SOUS 161827 HAS SOUPS 161635 WITH SCORE 163384.693
AT ITER 4478 NEW BEST:: SOT 7746393 SOS 1748907 HAS SOPS 1748715 HAS SOUS 161757 HAS SOUPS 161565 WITH SCORE 163313.907
AT ITER 4480 NEW BEST:: SOT 7746203 SOS 1748717 HAS SOPS 1748525 HAS SOUS 161457 HAS SOUPS 161265 WITH SCORE 163013.717
AT ITER 4498 NEW BEST:: SOT 7746157 SOS 1748671 HAS SOPS 1748479 HAS SOUS 161411 HAS SOUPS 161219 WITH SCORE 162967.671
AT ITER 4531 NEW BEST:: SOT 7746244 SOS 1748984 HAS SOPS 1748792 HAS SOUS 161409 HAS SOUPS 161217 WITH SCORE 162965.984
AT ITER 4563 NEW BEST:: SOT 7746209 SOS 1747761 HAS SOPS 1747569 HAS SOUS 161339 HAS SOUPS 161147 WITH SCORE 162894.761
AT ITER 4580 NEW BEST:: SOT 7746187 SOS 1747728 HAS SOPS 1747536 HAS SOUS 161317 HAS SOUPS 161125 WITH SCORE 162872.728
AT ITER 4583 NEW BEST:: SOT 7746187 SOS 1747728 HAS SOPS 1747536 HAS SOUS 161278 HAS SOUPS 161086 WITH SCORE 162833.728
AT ITER 4616 NEW BEST:: SOT 7746147 SOS 1747688 HAS SOPS 1747496 HAS SOUS 161222 HAS SOUPS 161030 WITH SCORE 162777.688
AT ITER 4618 NEW BEST:: SOT 7746124 SOS 1747665 HAS SOPS 1747473 HAS SOUS 161125 HAS SOUPS 160933 WITH SCORE 162680.665
AT ITER 4659 NEW BEST:: SOT 7746104 SOS 1747645 HAS SOPS 1747453 HAS SOUS 161085 HAS SOUPS 160893 WITH SCORE 162640.645
AT ITER 4688 NEW BEST:: SOT 7746019 SOS 1747601 HAS SOPS 1747409 HAS SOUS 161025 HAS SOUPS 160833 WITH SCORE 162580.601
AT ITER 4698 NEW BEST:: SOT 7746019 SOS 1747601 HAS SOPS 1747409 HAS SOUS 161016 HAS SOUPS 160824 WITH SCORE 162571.601
AT ITER 4717 NEW BEST:: SOT 7746011 SOS 1747593 HAS SOPS 1747401 HAS SOUS 161000 HAS SOUPS 160808 WITH SCORE 162555.593
AT ITER 4734 NEW BEST:: SOT 7745966 SOS 1747548 HAS SOPS 1747356 HAS SOUS 160939 HAS SOUPS 160747 WITH SCORE 162494.548
AT ITER 4743 NEW BEST:: SOT 7746015 SOS 1747778 HAS SOPS 1747586 HAS SOUS 160878 HAS SOUPS 160686 WITH SCORE 162433.778
AT ITER 4758 NEW BEST:: SOT 7746015 SOS 1747778 HAS SOPS 1747586 HAS SOUS 160875 HAS SOUPS 160683 WITH SCORE 162430.778
AT ITER 4759 NEW BEST:: SOT 7745891 SOS 1747654 HAS SOPS 1747462 HAS SOUS 160547 HAS SOUPS 160355 WITH SCORE 162102.654
AT ITER 4785 NEW BEST:: SOT 7745891 SOS 1747654 HAS SOPS 1747462 HAS SOUS 160536 HAS SOUPS 160344 WITH SCORE 162091.654
AT ITER 4797 NEW BEST:: SOT 7745891 SOS 1747634 HAS SOPS 1747442 HAS SOUS 160534 HAS SOUPS 160342 WITH SCORE 162089.634
AT ITER 4820 NEW BEST:: SOT 7745807 SOS 1747070 HAS SOPS 1746878 HAS SOUS 160459 HAS SOUPS 160267 WITH SCORE 162014.07
AT ITER 4828 NEW BEST:: SOT 7744935 SOS 1746198 HAS SOPS 1746006 HAS SOUS 159587 HAS SOUPS 159395 WITH SCORE 161141.198
AT ITER 4848 NEW BEST:: SOT 7744933 SOS 1747426 HAS SOPS 1747234 HAS SOUS 159584 HAS SOUPS 159392 WITH SCORE 161139.426
AT ITER 4886 NEW BEST:: SOT 7744931 SOS 1747426 HAS SOPS 1747234 HAS SOUS 159582 HAS SOUPS 159390 WITH SCORE 161137.426
AT ITER 4894 NEW BEST:: SOT 7744893 SOS 1747388 HAS SOPS 1747196 HAS SOUS 159555 HAS SOUPS 159363 WITH SCORE 161110.388
AT ITER 4909 NEW BEST:: SOT 7744757 SOS 1747252 HAS SOPS 1747060 HAS SOUS 159394 HAS SOUPS 159202 WITH SCORE 160949.252
AT ITER 4930 NEW BEST:: SOT 7744757 SOS 1747368 HAS SOPS 1747176 HAS SOUS 159392 HAS SOUPS 159200 WITH SCORE 160947.368
AT ITER 4969 NEW BEST:: SOT 7745003 SOS 1695394 HAS SOPS 1695202 HAS SOUS 159422 HAS SOUPS 159230 WITH SCORE 160925.394
AT ITER 4994 NEW BEST:: SOT 7744966 SOS 1695394 HAS SOPS 1695202 HAS SOUS 159421 HAS SOUPS 159229 WITH SCORE 160924.394
AT ITER 5028 NEW BEST:: SOT 7744966 SOS 1695394 HAS SOPS 1695202 HAS SOUS 159377 HAS SOUPS 159185 WITH SCORE 160880.394
AT ITER 5060 NEW BEST:: SOT 7744934 SOS 1695362 HAS SOPS 1695170 HAS SOUS 159313 HAS SOUPS 159121 WITH SCORE 160816.362
AT ITER 5071 NEW BEST:: SOT 7744700 SOS 1694178 HAS SOPS 1693986 HAS SOUS 159035 HAS SOUPS 158843 WITH SCORE 160537.178
AT ITER 5072 NEW BEST:: SOT 7744691 SOS 1694185 HAS SOPS 1693993 HAS SOUS 159012 HAS SOUPS 158820 WITH SCORE 160514.185
AT ITER 5076 NEW BEST:: SOT 7744621 SOS 1694115 HAS SOPS 1693923 HAS SOUS 159002 HAS SOUPS 158810 WITH SCORE 160504.115
AT ITER 5083 NEW BEST:: SOT 7744502 SOS 1694188 HAS SOPS 1693996 HAS SOUS 158821 HAS SOUPS 158629 WITH SCORE 160323.188
AT ITER 5125 NEW BEST:: SOT 7746830 SOS 1580124 HAS SOPS 1579932 HAS SOUS 157946 HAS SOUPS 157754 WITH SCORE 159334.124
AT ITER 5133 NEW BEST:: SOT 7746803 SOS 1580088 HAS SOPS 1579896 HAS SOUS 157910 HAS SOUPS 157718 WITH SCORE 159298.088
AT ITER 5154 NEW BEST:: SOT 7746701 SOS 1580088 HAS SOPS 1579896 HAS SOUS 157902 HAS SOUPS 157710 WITH SCORE 159290.088
AT ITER 5162 NEW BEST:: SOT 7746598 SOS 1581005 HAS SOPS 1580813 HAS SOUS 157804 HAS SOUPS 157612 WITH SCORE 159193.005
AT ITER 5178 NEW BEST:: SOT 7746577 SOS 1580984 HAS SOPS 1580792 HAS SOUS 157762 HAS SOUPS 157570 WITH SCORE 159150.984
AT ITER 5185 NEW BEST:: SOT 7727977 SOS 1562384 HAS SOPS 1562192 HAS SOUS 157529 HAS SOUPS 157337 WITH SCORE 158899.384
AT ITER 5196 NEW BEST:: SOT 7727948 SOS 1562355 HAS SOPS 1562163 HAS SOUS 157471 HAS SOUPS 157279 WITH SCORE 158841.355
AT ITER 5208 NEW BEST:: SOT 7727948 SOS 1562375 HAS SOPS 1562183 HAS SOUS 157451 HAS SOUPS 157259 WITH SCORE 158821.375
AT ITER 5212 NEW BEST:: SOT 7727913 SOS 1562292 HAS SOPS 1562100 HAS SOUS 157381 HAS SOUPS 157189 WITH SCORE 158751.292
AT ITER 5215 NEW BEST:: SOT 7727840 SOS 1562219 HAS SOPS 1562027 HAS SOUS 157228 HAS SOUPS 157036 WITH SCORE 158598.219
AT ITER 5217 NEW BEST:: SOT 7727840 SOS 1562219 HAS SOPS 1562027 HAS SOUS 157223 HAS SOUPS 157031 WITH SCORE 158593.219
AT ITER 5229 NEW BEST:: SOT 7726229 SOS 1568338 HAS SOPS 1568146 HAS SOUS 155992 HAS SOUPS 155800 WITH SCORE 157368.338
AT ITER 5232 NEW BEST:: SOT 7725893 SOS 1568002 HAS SOPS 1567810 HAS SOUS 155642 HAS SOUPS 155450 WITH SCORE 157018.002
AT ITER 5233 NEW BEST:: SOT 7725893 SOS 1568002 HAS SOPS 1567810 HAS SOUS 155633 HAS SOUPS 155441 WITH SCORE 157009.002
AT ITER 5254 NEW BEST:: SOT 7725893 SOS 1568051 HAS SOPS 1567859 HAS SOUS 155584 HAS SOUPS 155392 WITH SCORE 156960.051
AT ITER 5261 NEW BEST:: SOT 7725893 SOS 1568051 HAS SOPS 1567859 HAS SOUS 155580 HAS SOUPS 155388 WITH SCORE 156956.051
AT ITER 5266 NEW BEST:: SOT 7725893 SOS 1568051 HAS SOPS 1567859 HAS SOUS 155578 HAS SOUPS 155386 WITH SCORE 156954.051
AT ITER 5273 NEW BEST:: SOT 7725810 SOS 1567968 HAS SOPS 1567776 HAS SOUS 155395 HAS SOUPS 155203 WITH SCORE 156770.968
AT ITER 5290 NEW BEST:: SOT 7725792 SOS 1567986 HAS SOPS 1567794 HAS SOUS 155359 HAS SOUPS 155167 WITH SCORE 156734.986
AT ITER 5295 NEW BEST:: SOT 7725668 SOS 1567862 HAS SOPS 1567670 HAS SOUS 155111 HAS SOUPS 154919 WITH SCORE 156486.862
AT ITER 5297 NEW BEST:: SOT 7725511 SOS 1567705 HAS SOPS 1567513 HAS SOUS 154884 HAS SOUPS 154692 WITH SCORE 156259.705
AT ITER 5301 NEW BEST:: SOT 7725507 SOS 1568128 HAS SOPS 1567936 HAS SOUS 154790 HAS SOUPS 154598 WITH SCORE 156166.128
AT ITER 5311 NEW BEST:: SOT 7725493 SOS 1568114 HAS SOPS 1567922 HAS SOUS 154760 HAS SOUPS 154568 WITH SCORE 156136.114
AT ITER 5336 NEW BEST:: SOT 7725482 SOS 1568103 HAS SOPS 1567911 HAS SOUS 154738 HAS SOUPS 154546 WITH SCORE 156114.103
AT ITER 5365 NEW BEST:: SOT 7725477 SOS 1568098 HAS SOPS 1567906 HAS SOUS 154728 HAS SOUPS 154536 WITH SCORE 156104.098
AT ITER 5367 NEW BEST:: SOT 7725443 SOS 1568064 HAS SOPS 1567872 HAS SOUS 154660 HAS SOUPS 154468 WITH SCORE 156036.064
AT ITER 5372 NEW BEST:: SOT 7724473 SOS 1567176 HAS SOPS 1566984 HAS SOUS 154394 HAS SOUPS 154202 WITH SCORE 155769.176
AT ITER 5377 NEW BEST:: SOT 7724314 SOS 1567017 HAS SOPS 1566825 HAS SOUS 154169 HAS SOUPS 153977 WITH SCORE 155544.017
AT ITER 5404 NEW BEST:: SOT 7724314 SOS 1567017 HAS SOPS 1566825 HAS SOUS 154153 HAS SOUPS 153961 WITH SCORE 155528.017
AT ITER 5412 NEW BEST:: SOT 7724314 SOS 1567487 HAS SOPS 1567295 HAS SOUS 154148 HAS SOUPS 153956 WITH SCORE 155523.487
AT ITER 5422 NEW BEST:: SOT 7724309 SOS 1567482 HAS SOPS 1567290 HAS SOUS 154086 HAS SOUPS 153894 WITH SCORE 155461.482
AT ITER 5429 NEW BEST:: SOT 7724175 SOS 1567348 HAS SOPS 1567156 HAS SOUS 154069 HAS SOUPS 153877 WITH SCORE 155444.348
AT ITER 5451 NEW BEST:: SOT 7724170 SOS 1567343 HAS SOPS 1567151 HAS SOUS 154042 HAS SOUPS 153850 WITH SCORE 155417.343
AT ITER 5475 NEW BEST:: SOT 7724133 SOS 1567306 HAS SOPS 1567114 HAS SOUS 153968 HAS SOUPS 153776 WITH SCORE 155343.306
AT ITER 5504 NEW BEST:: SOT 7708495 SOS 1551668 HAS SOPS 1551476 HAS SOUS 152354 HAS SOUPS 152162 WITH SCORE 153713.668
AT ITER 5505 NEW BEST:: SOT 7708469 SOS 1551642 HAS SOPS 1551450 HAS SOUS 152175 HAS SOUPS 151983 WITH SCORE 153534.642
AT ITER 5517 NEW BEST:: SOT 7708469 SOS 1551642 HAS SOPS 1551450 HAS SOUS 152172 HAS SOUPS 151980 WITH SCORE 153531.642
AT ITER 5519 NEW BEST:: SOT 7708389 SOS 1551562 HAS SOPS 1551370 HAS SOUS 152054 HAS SOUPS 151862 WITH SCORE 153413.562
AT ITER 5536 NEW BEST:: SOT 7708371 SOS 1551544 HAS SOPS 1551352 HAS SOUS 152017 HAS SOUPS 151825 WITH SCORE 153376.544
AT ITER 5541 NEW BEST:: SOT 7708368 SOS 1551541 HAS SOPS 1551349 HAS SOUS 152017 HAS SOUPS 151825 WITH SCORE 153376.541
AT ITER 5559 NEW BEST:: SOT 7708324 SOS 1551497 HAS SOPS 1551305 HAS SOUS 151929 HAS SOUPS 151737 WITH SCORE 153288.497
AT ITER 5567 NEW BEST:: SOT 7708430 SOS 1552537 HAS SOPS 1552345 HAS SOUS 151853 HAS SOUPS 151661 WITH SCORE 153213.537
AT ITER 5578 NEW BEST:: SOT 7708430 SOS 1552518 HAS SOPS 1552326 HAS SOUS 151637 HAS SOUPS 151445 WITH SCORE 152997.518
AT ITER 5590 NEW BEST:: SOT 7708398 SOS 1552486 HAS SOPS 1552294 HAS SOUS 151530 HAS SOUPS 151338 WITH SCORE 152890.486
AT ITER 5595 NEW BEST:: SOT 7708394 SOS 1552482 HAS SOPS 1552290 HAS SOUS 151522 HAS SOUPS 151330 WITH SCORE 152882.482
AT ITER 5606 NEW BEST:: SOT 7708283 SOS 1552371 HAS SOPS 1552179 HAS SOUS 151320 HAS SOUPS 151128 WITH SCORE 152680.371
AT ITER 5638 NEW BEST:: SOT 7708214 SOS 1552302 HAS SOPS 1552110 HAS SOUS 151261 HAS SOUPS 151069 WITH SCORE 152621.302
AT ITER 5650 NEW BEST:: SOT 7708156 SOS 1552244 HAS SOPS 1552052 HAS SOUS 151145 HAS SOUPS 150953 WITH SCORE 152505.244
AT ITER 5695 NEW BEST:: SOT 7708156 SOS 1552216 HAS SOPS 1552024 HAS SOUS 151145 HAS SOUPS 150953 WITH SCORE 152505.216
AT ITER 5704 NEW BEST:: SOT 7708143 SOS 1552203 HAS SOPS 1552011 HAS SOUS 151132 HAS SOUPS 150940 WITH SCORE 152492.203
AT ITER 5735 NEW BEST:: SOT 7708090 SOS 1552150 HAS SOPS 1551958 HAS SOUS 151009 HAS SOUPS 150817 WITH SCORE 152369.15
AT ITER 5746 NEW BEST:: SOT 7708055 SOS 1552115 HAS SOPS 1551923 HAS SOUS 150873 HAS SOUPS 150681 WITH SCORE 152233.115
AT ITER 5773 NEW BEST:: SOT 7706861 SOS 1551021 HAS SOPS 1550829 HAS SOUS 150835 HAS SOUPS 150643 WITH SCORE 152194.021
AT ITER 5779 NEW BEST:: SOT 7706825 SOS 1550985 HAS SOPS 1550793 HAS SOUS 150829 HAS SOUPS 150637 WITH SCORE 152187.985
AT ITER 5788 NEW BEST:: SOT 7706773 SOS 1550933 HAS SOPS 1550741 HAS SOUS 150823 HAS SOUPS 150631 WITH SCORE 152181.933
AT ITER 5790 NEW BEST:: SOT 7706769 SOS 1551809 HAS SOPS 1551617 HAS SOUS 150815 HAS SOUPS 150623 WITH SCORE 152174.809
AT ITER 5798 NEW BEST:: SOT 7706643 SOS 1551683 HAS SOPS 1551491 HAS SOUS 150770 HAS SOUPS 150578 WITH SCORE 152129.683
AT ITER 5833 NEW BEST:: SOT 7706554 SOS 1551594 HAS SOPS 1551402 HAS SOUS 150728 HAS SOUPS 150536 WITH SCORE 152087.594
AT ITER 5838 NEW BEST:: SOT 7706541 SOS 1551581 HAS SOPS 1551389 HAS SOUS 150702 HAS SOUPS 150510 WITH SCORE 152061.581
AT ITER 5842 NEW BEST:: SOT 7706487 SOS 1551527 HAS SOPS 1551335 HAS SOUS 150582 HAS SOUPS 150390 WITH SCORE 151941.527
AT ITER 5857 NEW BEST:: SOT 7706439 SOS 1551479 HAS SOPS 1551287 HAS SOUS 150534 HAS SOUPS 150342 WITH SCORE 151893.479
AT ITER 5875 NEW BEST:: SOT 7706438 SOS 1551478 HAS SOPS 1551286 HAS SOUS 150465 HAS SOUPS 150273 WITH SCORE 151824.478
AT ITER 5885 NEW BEST:: SOT 7706366 SOS 1551409 HAS SOPS 1551217 HAS SOUS 150400 HAS SOUPS 150208 WITH SCORE 151759.409
AT ITER 5914 NEW BEST:: SOT 7706366 SOS 1551409 HAS SOPS 1551217 HAS SOUS 150320 HAS SOUPS 150128 WITH SCORE 151679.409
AT ITER 5941 NEW BEST:: SOT 7706358 SOS 1551401 HAS SOPS 1551209 HAS SOUS 150312 HAS SOUPS 150120 WITH SCORE 151671.401
AT ITER 5945 NEW BEST:: SOT 7706329 SOS 1551372 HAS SOPS 1551180 HAS SOUS 150295 HAS SOUPS 150103 WITH SCORE 151654.372
AT ITER 5946 NEW BEST:: SOT 7706329 SOS 1538998 HAS SOPS 1538806 HAS SOUS 150295 HAS SOUPS 150103 WITH SCORE 151641.998
AT ITER 5953 NEW BEST:: SOT 7706251 SOS 1538920 HAS SOPS 1538728 HAS SOUS 150273 HAS SOUPS 150081 WITH SCORE 151619.92
AT ITER 5967 NEW BEST:: SOT 7706251 SOS 1538920 HAS SOPS 1538728 HAS SOUS 150269 HAS SOUPS 150077 WITH SCORE 151615.92
AT ITER 5976 NEW BEST:: SOT 7706272 SOS 1539159 HAS SOPS 1538967 HAS SOUS 150238 HAS SOUPS 150046 WITH SCORE 151585.159
AT ITER 5985 NEW BEST:: SOT 7706246 SOS 1539026 HAS SOPS 1538834 HAS SOUS 150186 HAS SOUPS 149994 WITH SCORE 151533.026
AT ITER 6013 NEW BEST:: SOT 7706246 SOS 1539026 HAS SOPS 1538834 HAS SOUS 150163 HAS SOUPS 149971 WITH SCORE 151510.026
AT ITER 6027 NEW BEST:: SOT 7706206 SOS 1538986 HAS SOPS 1538794 HAS SOUS 150090 HAS SOUPS 149898 WITH SCORE 151436.986
AT ITER 6028 NEW BEST:: SOT 7706187 SOS 1538967 HAS SOPS 1538775 HAS SOUS 150071 HAS SOUPS 149879 WITH SCORE 151417.967
AT ITER 6034 NEW BEST:: SOT 7706141 SOS 1538921 HAS SOPS 1538729 HAS SOUS 149979 HAS SOUPS 149787 WITH SCORE 151325.921
AT ITER 6036 NEW BEST:: SOT 7706106 SOS 1538886 HAS SOPS 1538694 HAS SOUS 149892 HAS SOUPS 149700 WITH SCORE 151238.886
AT ITER 6071 NEW BEST:: SOT 7706088 SOS 1538508 HAS SOPS 1538316 HAS SOUS 149892 HAS SOUPS 149700 WITH SCORE 151238.508
AT ITER 6098 NEW BEST:: SOT 7706074 SOS 1538417 HAS SOPS 1538225 HAS SOUS 149864 HAS SOUPS 149672 WITH SCORE 151210.417
AT ITER 6104 NEW BEST:: SOT 7705813 SOS 1540103 HAS SOPS 1539911 HAS SOUS 149603 HAS SOUPS 149411 WITH SCORE 150951.103
AT ITER 6120 NEW BEST:: SOT 7705813 SOS 1540103 HAS SOPS 1539911 HAS SOUS 149570 HAS SOUPS 149378 WITH SCORE 150918.103
AT ITER 6121 NEW BEST:: SOT 7705800 SOS 1540090 HAS SOPS 1539898 HAS SOUS 149537 HAS SOUPS 149345 WITH SCORE 150885.09
AT ITER 6139 NEW BEST:: SOT 7705705 SOS 1539995 HAS SOPS 1539803 HAS SOUS 149466 HAS SOUPS 149274 WITH SCORE 150813.995
AT ITER 6187 NEW BEST:: SOT 7705585 SOS 1540365 HAS SOPS 1540173 HAS SOUS 149395 HAS SOUPS 149203 WITH SCORE 150743.365
AT ITER 6202 NEW BEST:: SOT 7705474 SOS 1540254 HAS SOPS 1540062 HAS SOUS 149361 HAS SOUPS 149169 WITH SCORE 150709.254
AT ITER 6208 NEW BEST:: SOT 7705486 SOS 1540198 HAS SOPS 1540006 HAS SOUS 149262 HAS SOUPS 149070 WITH SCORE 150610.198
AT ITER 6228 NEW BEST:: SOT 7705480 SOS 1540192 HAS SOPS 1540000 HAS SOUS 149250 HAS SOUPS 149058 WITH SCORE 150598.192
AT ITER 6246 NEW BEST:: SOT 7705462 SOS 1540174 HAS SOPS 1539982 HAS SOUS 149214 HAS SOUPS 149022 WITH SCORE 150562.174
AT ITER 6297 NEW BEST:: SOT 7705344 SOS 1540056 HAS SOPS 1539864 HAS SOUS 149056 HAS SOUPS 148864 WITH SCORE 150404.056
AT ITER 6299 NEW BEST:: SOT 7705331 SOS 1540043 HAS SOPS 1539851 HAS SOUS 149043 HAS SOUPS 148851 WITH SCORE 150391.043
AT ITER 6301 NEW BEST:: SOT 7705266 SOS 1539978 HAS SOPS 1539786 HAS SOUS 148923 HAS SOUPS 148731 WITH SCORE 150270.978
AT ITER 6302 NEW BEST:: SOT 7705210 SOS 1539922 HAS SOPS 1539730 HAS SOUS 148811 HAS SOUPS 148619 WITH SCORE 150158.922
AT ITER 6314 NEW BEST:: SOT 7705120 SOS 1539832 HAS SOPS 1539640 HAS SOUS 148671 HAS SOUPS 148479 WITH SCORE 150018.832
AT ITER 6326 NEW BEST:: SOT 7705089 SOS 1539801 HAS SOPS 1539609 HAS SOUS 148583 HAS SOUPS 148391 WITH SCORE 149930.801
AT ITER 6332 NEW BEST:: SOT 7705089 SOS 1539801 HAS SOPS 1539609 HAS SOUS 148581 HAS SOUPS 148389 WITH SCORE 149928.801
AT ITER 6333 NEW BEST:: SOT 7705004 SOS 1539716 HAS SOPS 1539524 HAS SOUS 148423 HAS SOUPS 148231 WITH SCORE 149770.716
AT ITER 6339 NEW BEST:: SOT 7704968 SOS 1539680 HAS SOPS 1539488 HAS SOUS 148382 HAS SOUPS 148190 WITH SCORE 149729.68
AT ITER 6352 NEW BEST:: SOT 7702816 SOS 1537544 HAS SOPS 1537352 HAS SOUS 146363 HAS SOUPS 146171 WITH SCORE 147708.544
AT ITER 6355 NEW BEST:: SOT 7697600 SOS 1532328 HAS SOPS 1532136 HAS SOUS 146056 HAS SOUPS 145864 WITH SCORE 147396.328
AT ITER 6380 NEW BEST:: SOT 7697561 SOS 1531951 HAS SOPS 1531759 HAS SOUS 145916 HAS SOUPS 145724 WITH SCORE 147255.951
AT ITER 6396 NEW BEST:: SOT 7697561 SOS 1531951 HAS SOPS 1531759 HAS SOUS 145913 HAS SOUPS 145721 WITH SCORE 147252.951
AT ITER 6398 NEW BEST:: SOT 7697561 SOS 1531882 HAS SOPS 1531690 HAS SOUS 145913 HAS SOUPS 145721 WITH SCORE 147252.882
AT ITER 6424 NEW BEST:: SOT 7697553 SOS 1531874 HAS SOPS 1531682 HAS SOUS 145913 HAS SOUPS 145721 WITH SCORE 147252.874
AT ITER 6454 NEW BEST:: SOT 7697547 SOS 1531868 HAS SOPS 1531676 HAS SOUS 145901 HAS SOUPS 145709 WITH SCORE 147240.868
AT ITER 6461 NEW BEST:: SOT 7697533 SOS 1531854 HAS SOPS 1531662 HAS SOUS 145875 HAS SOUPS 145683 WITH SCORE 147214.854
AT ITER 6462 NEW BEST:: SOT 7697517 SOS 1531838 HAS SOPS 1531646 HAS SOUS 145775 HAS SOUPS 145583 WITH SCORE 147114.838
AT ITER 6481 NEW BEST:: SOT 7697457 SOS 1531778 HAS SOPS 1531586 HAS SOUS 145732 HAS SOUPS 145540 WITH SCORE 147071.778
AT ITER 6503 NEW BEST:: SOT 7697378 SOS 1532015 HAS SOPS 1531823 HAS SOUS 145574 HAS SOUPS 145382 WITH SCORE 146914.015
AT ITER 6530 NEW BEST:: SOT 7697378 SOS 1531997 HAS SOPS 1531805 HAS SOUS 145508 HAS SOUPS 145316 WITH SCORE 146847.997
AT ITER 6555 NEW BEST:: SOT 7697360 SOS 1531961 HAS SOPS 1531769 HAS SOUS 145370 HAS SOUPS 145178 WITH SCORE 146709.961
AT ITER 6567 NEW BEST:: SOT 7696191 SOS 1530844 HAS SOPS 1530652 HAS SOUS 145094 HAS SOUPS 144902 WITH SCORE 146432.844
AT ITER 6589 NEW BEST:: SOT 7696189 SOS 1530842 HAS SOPS 1530650 HAS SOUS 145090 HAS SOUPS 144898 WITH SCORE 146428.842
AT ITER 6591 NEW BEST:: SOT 7696155 SOS 1530808 HAS SOPS 1530616 HAS SOUS 145022 HAS SOUPS 144830 WITH SCORE 146360.808
AT ITER 6593 NEW BEST:: SOT 7696151 SOS 1530764 HAS SOPS 1530572 HAS SOUS 145010 HAS SOUPS 144818 WITH SCORE 146348.764
AT ITER 6641 NEW BEST:: SOT 7696118 SOS 1530731 HAS SOPS 1530539 HAS SOUS 144951 HAS SOUPS 144759 WITH SCORE 146289.731
AT ITER 6648 NEW BEST:: SOT 7695892 SOS 1530505 HAS SOPS 1530313 HAS SOUS 144510 HAS SOUPS 144318 WITH SCORE 145848.505
AT ITER 6649 NEW BEST:: SOT 7695877 SOS 1530343 HAS SOPS 1530151 HAS SOUS 144510 HAS SOUPS 144318 WITH SCORE 145848.343
AT ITER 6658 NEW BEST:: SOT 7695861 SOS 1530311 HAS SOPS 1530119 HAS SOUS 144478 HAS SOUPS 144286 WITH SCORE 145816.311
AT ITER 6672 NEW BEST:: SOT 7695848 SOS 1530298 HAS SOPS 1530106 HAS SOUS 144452 HAS SOUPS 144260 WITH SCORE 145790.298
AT ITER 6675 NEW BEST:: SOT 7695848 SOS 1530298 HAS SOPS 1530106 HAS SOUS 144438 HAS SOUPS 144246 WITH SCORE 145776.298
AT ITER 6700 NEW BEST:: SOT 7695774 SOS 1530150 HAS SOPS 1530032 HAS SOUS 144290 HAS SOUPS 144172 WITH SCORE 145702.15
AT ITER 6743 NEW BEST:: SOT 7695743 SOS 1530119 HAS SOPS 1530001 HAS SOUS 144238 HAS SOUPS 144120 WITH SCORE 145650.119
AT ITER 6754 NEW BEST:: SOT 7695721 SOS 1530097 HAS SOPS 1529979 HAS SOUS 144211 HAS SOUPS 144093 WITH SCORE 145623.097
AT ITER 6769 NEW BEST:: SOT 7695694 SOS 1530720 HAS SOPS 1530602 HAS SOUS 144180 HAS SOUPS 144062 WITH SCORE 145592.72
AT ITER 6785 NEW BEST:: SOT 7695664 SOS 1530690 HAS SOPS 1530572 HAS SOUS 144068 HAS SOUPS 143950 WITH SCORE 145480.69
AT ITER 6816 NEW BEST:: SOT 7695516 SOS 1530542 HAS SOPS 1530424 HAS SOUS 144061 HAS SOUPS 143943 WITH SCORE 145473.542
AT ITER 6842 NEW BEST:: SOT 7695477 SOS 1530344 HAS SOPS 1530226 HAS SOUS 143969 HAS SOUPS 143851 WITH SCORE 145381.344
AT ITER 6850 NEW BEST:: SOT 7695400 SOS 1530267 HAS SOPS 1530149 HAS SOUS 143869 HAS SOUPS 143751 WITH SCORE 145281.267
AT ITER 6858 NEW BEST:: SOT 7695170 SOS 1530037 HAS SOPS 1529919 HAS SOUS 143844 HAS SOUPS 143726 WITH SCORE 145256.037
AT ITER 6866 NEW BEST:: SOT 7695129 SOS 1529996 HAS SOPS 1529878 HAS SOUS 143791 HAS SOUPS 143673 WITH SCORE 145202.996
AT ITER 6871 NEW BEST:: SOT 7695087 SOS 1529954 HAS SOPS 1529836 HAS SOUS 143707 HAS SOUPS 143589 WITH SCORE 145118.954
AT ITER 6882 NEW BEST:: SOT 7695270 SOS 1529888 HAS SOPS 1529569 HAS SOUS 143899 HAS SOUPS 143580 WITH SCORE 145109.888
AT ITER 6891 NEW BEST:: SOT 7695270 SOS 1529888 HAS SOPS 1529569 HAS SOUS 143895 HAS SOUPS 143576 WITH SCORE 145105.888
AT ITER 6896 NEW BEST:: SOT 7695236 SOS 1529854 HAS SOPS 1529535 HAS SOUS 143861 HAS SOUPS 143542 WITH SCORE 145071.854
AT ITER 6897 NEW BEST:: SOT 7695207 SOS 1529825 HAS SOPS 1529506 HAS SOUS 143819 HAS SOUPS 143500 WITH SCORE 145029.825
AT ITER 6905 NEW BEST:: SOT 7695207 SOS 1529405 HAS SOPS 1529086 HAS SOUS 143777 HAS SOUPS 143458 WITH SCORE 144987.405
AT ITER 6924 NEW BEST:: SOT 7695207 SOS 1529405 HAS SOPS 1529086 HAS SOUS 143737 HAS SOUPS 143418 WITH SCORE 144947.405
AT ITER 6969 NEW BEST:: SOT 7695207 SOS 1529405 HAS SOPS 1529086 HAS SOUS 143731 HAS SOUPS 143412 WITH SCORE 144941.405
AT ITER 6983 NEW BEST:: SOT 7695071 SOS 1529269 HAS SOPS 1528950 HAS SOUS 143462 HAS SOUPS 143143 WITH SCORE 144672.269
AT ITER 6987 NEW BEST:: SOT 7695046 SOS 1529244 HAS SOPS 1528925 HAS SOUS 143395 HAS SOUPS 143076 WITH SCORE 144605.244
AT ITER 6989 NEW BEST:: SOT 7695023 SOS 1529221 HAS SOPS 1528902 HAS SOUS 143349 HAS SOUPS 143030 WITH SCORE 144559.221
AT ITER 7008 NEW BEST:: SOT 7694810 SOS 1529008 HAS SOPS 1528689 HAS SOUS 142954 HAS SOUPS 142635 WITH SCORE 144164.008
AT ITER 7031 NEW BEST:: SOT 7694810 SOS 1529504 HAS SOPS 1529185 HAS SOUS 142858 HAS SOUPS 142539 WITH SCORE 144068.504
AT ITER 7048 NEW BEST:: SOT 7694677 SOS 1529371 HAS SOPS 1529052 HAS SOUS 142580 HAS SOUPS 142261 WITH SCORE 143790.371
AT ITER 7058 NEW BEST:: SOT 7694584 SOS 1529278 HAS SOPS 1528959 HAS SOUS 142580 HAS SOUPS 142261 WITH SCORE 143790.278
AT ITER 7074 NEW BEST:: SOT 7694584 SOS 1529218 HAS SOPS 1528899 HAS SOUS 142580 HAS SOUPS 142261 WITH SCORE 143790.218
AT ITER 7088 NEW BEST:: SOT 7694409 SOS 1529043 HAS SOPS 1528724 HAS SOUS 142242 HAS SOUPS 141923 WITH SCORE 143452.043
AT ITER 7114 NEW BEST:: SOT 7694406 SOS 1529040 HAS SOPS 1528721 HAS SOUS 142241 HAS SOUPS 141922 WITH SCORE 143451.04
AT ITER 7116 NEW BEST:: SOT 7694295 SOS 1528929 HAS SOPS 1528610 HAS SOUS 142229 HAS SOUPS 141910 WITH SCORE 143438.929
AT ITER 7121 NEW BEST:: SOT 7694286 SOS 1528920 HAS SOPS 1528601 HAS SOUS 142220 HAS SOUPS 141901 WITH SCORE 143429.92
AT ITER 7123 NEW BEST:: SOT 7692461 SOS 1527151 HAS SOPS 1526832 HAS SOUS 141209 HAS SOUPS 140890 WITH SCORE 142417.151
AT ITER 7132 NEW BEST:: SOT 7692450 SOS 1527221 HAS SOPS 1526902 HAS SOUS 141195 HAS SOUPS 140876 WITH SCORE 142403.221
AT ITER 7152 NEW BEST:: SOT 7692441 SOS 1527212 HAS SOPS 1526893 HAS SOUS 141186 HAS SOUPS 140867 WITH SCORE 142394.212
AT ITER 7165 NEW BEST:: SOT 7692426 SOS 1527197 HAS SOPS 1526878 HAS SOUS 141186 HAS SOUPS 140867 WITH SCORE 142394.197
AT ITER 7176 NEW BEST:: SOT 7692405 SOS 1527176 HAS SOPS 1526857 HAS SOUS 141141 HAS SOUPS 140822 WITH SCORE 142349.176
AT ITER 7204 NEW BEST:: SOT 7692401 SOS 1527172 HAS SOPS 1526853 HAS SOUS 141133 HAS SOUPS 140814 WITH SCORE 142341.172
AT ITER 7208 NEW BEST:: SOT 7692401 SOS 1527172 HAS SOPS 1526853 HAS SOUS 141119 HAS SOUPS 140800 WITH SCORE 142327.172
AT ITER 7214 NEW BEST:: SOT 7692394 SOS 1527165 HAS SOPS 1526846 HAS SOUS 141053 HAS SOUPS 140734 WITH SCORE 142261.165
AT ITER 7243 NEW BEST:: SOT 7692370 SOS 1527141 HAS SOPS 1526822 HAS SOUS 140989 HAS SOUPS 140670 WITH SCORE 142197.141
AT ITER 7267 NEW BEST:: SOT 7692343 SOS 1527032 HAS SOPS 1526713 HAS SOUS 140935 HAS SOUPS 140616 WITH SCORE 142143.032
AT ITER 7303 NEW BEST:: SOT 7692204 SOS 1526893 HAS SOPS 1526574 HAS SOUS 140641 HAS SOUPS 140322 WITH SCORE 141848.893
AT ITER 7308 NEW BEST:: SOT 7692180 SOS 1526869 HAS SOPS 1526550 HAS SOUS 140593 HAS SOUPS 140274 WITH SCORE 141800.869
AT ITER 7322 NEW BEST:: SOT 7692123 SOS 1526812 HAS SOPS 1526493 HAS SOUS 140478 HAS SOUPS 140159 WITH SCORE 141685.812
AT ITER 7330 NEW BEST:: SOT 7692122 SOS 1526811 HAS SOPS 1526492 HAS SOUS 140476 HAS SOUPS 140157 WITH SCORE 141683.811
AT ITER 7342 NEW BEST:: SOT 7692106 SOS 1526795 HAS SOPS 1526476 HAS SOUS 140444 HAS SOUPS 140125 WITH SCORE 141651.795
AT ITER 7344 NEW BEST:: SOT 7691602 SOS 1574891 HAS SOPS 1574572 HAS SOUS 140150 HAS SOUPS 139831 WITH SCORE 141405.891
AT ITER 7391 NEW BEST:: SOT 7691520 SOS 1573599 HAS SOPS 1573280 HAS SOUS 139989 HAS SOUPS 139670 WITH SCORE 141243.599
AT ITER 7401 NEW BEST:: SOT 7691417 SOS 1573496 HAS SOPS 1573177 HAS SOUS 139845 HAS SOUPS 139526 WITH SCORE 141099.496
AT ITER 7410 NEW BEST:: SOT 7691415 SOS 1573494 HAS SOPS 1573175 HAS SOUS 139841 HAS SOUPS 139522 WITH SCORE 141095.494
AT ITER 7417 NEW BEST:: SOT 7691415 SOS 1573494 HAS SOPS 1573175 HAS SOUS 139801 HAS SOUPS 139482 WITH SCORE 141055.494
AT ITER 7444 NEW BEST:: SOT 7691157 SOS 1573568 HAS SOPS 1573457 HAS SOUS 139564 HAS SOUPS 139461 WITH SCORE 141034.568
AT ITER 7454 NEW BEST:: SOT 7691115 SOS 1573446 HAS SOPS 1573335 HAS SOUS 139514 HAS SOUPS 139411 WITH SCORE 140984.446
AT ITER 7470 NEW BEST:: SOT 7691084 SOS 1573415 HAS SOPS 1573304 HAS SOUS 139442 HAS SOUPS 139339 WITH SCORE 140912.415
AT ITER 7481 NEW BEST:: SOT 7691081 SOS 1573415 HAS SOPS 1573304 HAS SOUS 139436 HAS SOUPS 139333 WITH SCORE 140906.415
AT ITER 7493 NEW BEST:: SOT 7691081 SOS 1573415 HAS SOPS 1573304 HAS SOUS 139432 HAS SOUPS 139329 WITH SCORE 140902.415
AT ITER 7505 NEW BEST:: SOT 7691013 SOS 1573347 HAS SOPS 1573236 HAS SOUS 139359 HAS SOUPS 139256 WITH SCORE 140829.347
AT ITER 7519 NEW BEST:: SOT 7691019 SOS 1573347 HAS SOPS 1573236 HAS SOUS 139347 HAS SOUPS 139244 WITH SCORE 140817.347
AT ITER 7547 NEW BEST:: SOT 7691000 SOS 1573198 HAS SOPS 1573087 HAS SOUS 139316 HAS SOUPS 139213 WITH SCORE 140786.198
AT ITER 7555 NEW BEST:: SOT 7690882 SOS 1573080 HAS SOPS 1572969 HAS SOUS 139222 HAS SOUPS 139119 WITH SCORE 140692.08
AT ITER 7564 NEW BEST:: SOT 7691718 SOS 1573916 HAS SOPS 1573805 HAS SOUS 136447 HAS SOUPS 136344 WITH SCORE 137917.916
AT ITER 7581 NEW BEST:: SOT 7691568 SOS 1573766 HAS SOPS 1573655 HAS SOUS 136399 HAS SOUPS 136296 WITH SCORE 137869.766
AT ITER 7587 NEW BEST:: SOT 7691692 SOS 1573890 HAS SOPS 1573779 HAS SOUS 136392 HAS SOUPS 136289 WITH SCORE 137862.89
AT ITER 7596 NEW BEST:: SOT 7691686 SOS 1573884 HAS SOPS 1573773 HAS SOUS 136360 HAS SOUPS 136257 WITH SCORE 137830.884
AT ITER 7601 NEW BEST:: SOT 7691686 SOS 1573890 HAS SOPS 1573773 HAS SOUS 136354 HAS SOUPS 136245 WITH SCORE 137818.89
AT ITER 7622 NEW BEST:: SOT 7691686 SOS 1573890 HAS SOPS 1573773 HAS SOUS 136336 HAS SOUPS 136227 WITH SCORE 137800.89
AT ITER 7624 NEW BEST:: SOT 7691660 SOS 1573864 HAS SOPS 1573747 HAS SOUS 136286 HAS SOUPS 136177 WITH SCORE 137750.864
AT ITER 7630 NEW BEST:: SOT 7691659 SOS 1573863 HAS SOPS 1573746 HAS SOUS 136286 HAS SOUPS 136177 WITH SCORE 137750.863
AT ITER 7635 NEW BEST:: SOT 7691771 SOS 1573975 HAS SOPS 1573858 HAS SOUS 136271 HAS SOUPS 136162 WITH SCORE 137735.975
AT ITER 7638 NEW BEST:: SOT 7691749 SOS 1574081 HAS SOPS 1573964 HAS SOUS 136227 HAS SOUPS 136118 WITH SCORE 137692.081
AT ITER 7644 NEW BEST:: SOT 7691723 SOS 1574079 HAS SOPS 1573962 HAS SOUS 136223 HAS SOUPS 136114 WITH SCORE 137688.079
AT ITER 7650 NEW BEST:: SOT 7691564 SOS 1573920 HAS SOPS 1573803 HAS SOUS 136034 HAS SOUPS 135925 WITH SCORE 137498.92
AT ITER 7664 NEW BEST:: SOT 7691538 SOS 1573634 HAS SOPS 1573517 HAS SOUS 135982 HAS SOUPS 135873 WITH SCORE 137446.634
AT ITER 7678 NEW BEST:: SOT 7691538 SOS 1573634 HAS SOPS 1573517 HAS SOUS 135968 HAS SOUPS 135859 WITH SCORE 137432.634
AT ITER 7689 NEW BEST:: SOT 7691540 SOS 1573636 HAS SOPS 1573519 HAS SOUS 135962 HAS SOUPS 135853 WITH SCORE 137426.636
AT ITER 7700 NEW BEST:: SOT 7691492 SOS 1573588 HAS SOPS 1573471 HAS SOUS 135866 HAS SOUPS 135757 WITH SCORE 137330.588
AT ITER 7702 NEW BEST:: SOT 7691469 SOS 1573565 HAS SOPS 1573448 HAS SOUS 135806 HAS SOUPS 135697 WITH SCORE 137270.565
AT ITER 7712 NEW BEST:: SOT 7691422 SOS 1573348 HAS SOPS 1573231 HAS SOUS 135765 HAS SOUPS 135656 WITH SCORE 137229.348
AT ITER 7725 NEW BEST:: SOT 7691443 SOS 1573313 HAS SOPS 1573196 HAS SOUS 135040 HAS SOUPS 134931 WITH SCORE 136504.313
AT ITER 7726 NEW BEST:: SOT 7690881 SOS 1572763 HAS SOPS 1572648 HAS SOUS 134565 HAS SOUPS 134456 WITH SCORE 136028.763
AT ITER 7749 NEW BEST:: SOT 7690828 SOS 1572710 HAS SOPS 1572595 HAS SOUS 134459 HAS SOUPS 134350 WITH SCORE 135922.71
AT ITER 7764 NEW BEST:: SOT 7690803 SOS 1572580 HAS SOPS 1572465 HAS SOUS 134401 HAS SOUPS 134292 WITH SCORE 135864.58
AT ITER 7773 NEW BEST:: SOT 7690801 SOS 1572578 HAS SOPS 1572463 HAS SOUS 134381 HAS SOUPS 134272 WITH SCORE 135844.578
AT ITER 7825 NEW BEST:: SOT 7690801 SOS 1572578 HAS SOPS 1572463 HAS SOUS 134359 HAS SOUPS 134250 WITH SCORE 135822.578
AT ITER 7828 NEW BEST:: SOT 7690792 SOS 1572560 HAS SOPS 1572454 HAS SOUS 134350 HAS SOUPS 134250 WITH SCORE 135822.56
AT ITER 7864 NEW BEST:: SOT 7690792 SOS 1572523 HAS SOPS 1572417 HAS SOUS 134350 HAS SOUPS 134250 WITH SCORE 135822.523
AT ITER 7870 NEW BEST:: SOT 7690792 SOS 1572496 HAS SOPS 1572390 HAS SOUS 134068 HAS SOUPS 133968 WITH SCORE 135540.496
AT ITER 7871 NEW BEST:: SOT 7690717 SOS 1572421 HAS SOPS 1572315 HAS SOUS 133903 HAS SOUPS 133803 WITH SCORE 135375.421
AT ITER 7880 NEW BEST:: SOT 7690397 SOS 1572102 HAS SOPS 1571996 HAS SOUS 133561 HAS SOUPS 133461 WITH SCORE 135033.102
AT ITER 7882 NEW BEST:: SOT 7690390 SOS 1572095 HAS SOPS 1571989 HAS SOUS 133547 HAS SOUPS 133447 WITH SCORE 135019.095
AT ITER 7891 NEW BEST:: SOT 7690352 SOS 1572057 HAS SOPS 1571951 HAS SOUS 133471 HAS SOUPS 133371 WITH SCORE 134943.057
AT ITER 7894 NEW BEST:: SOT 7690227 SOS 1572037 HAS SOPS 1571931 HAS SOUS 133439 HAS SOUPS 133339 WITH SCORE 134911.037
AT ITER 7904 NEW BEST:: SOT 7690213 SOS 1572023 HAS SOPS 1571917 HAS SOUS 133411 HAS SOUPS 133311 WITH SCORE 134883.023
AT ITER 7908 NEW BEST:: SOT 7690176 SOS 1571986 HAS SOPS 1571880 HAS SOUS 133408 HAS SOUPS 133308 WITH SCORE 134879.986
AT ITER 7932 NEW BEST:: SOT 7690201 SOS 1572011 HAS SOPS 1571905 HAS SOUS 133383 HAS SOUPS 133283 WITH SCORE 134855.011
AT ITER 7946 NEW BEST:: SOT 7690201 SOS 1571997 HAS SOPS 1571891 HAS SOUS 133304 HAS SOUPS 133204 WITH SCORE 134775.997
AT ITER 7961 NEW BEST:: SOT 7690201 SOS 1572027 HAS SOPS 1571904 HAS SOUS 133312 HAS SOUPS 133195 WITH SCORE 134767.027
AT ITER 7972 NEW BEST:: SOT 7690094 SOS 1571920 HAS SOPS 1571797 HAS SOUS 133100 HAS SOUPS 132983 WITH SCORE 134554.92
AT ITER 7974 NEW BEST:: SOT 7690038 SOS 1571864 HAS SOPS 1571741 HAS SOUS 133001 HAS SOUPS 132884 WITH SCORE 134455.864
AT ITER 7991 NEW BEST:: SOT 7690036 SOS 1571851 HAS SOPS 1571728 HAS SOUS 132997 HAS SOUPS 132880 WITH SCORE 134451.851
AT ITER 7992 NEW BEST:: SOT 7690028 SOS 1571843 HAS SOPS 1571720 HAS SOUS 132989 HAS SOUPS 132872 WITH SCORE 134443.843
AT ITER 7995 NEW BEST:: SOT 7690009 SOS 1571786 HAS SOPS 1571663 HAS SOUS 132951 HAS SOUPS 132834 WITH SCORE 134405.786
AT ITER 7996 NEW BEST:: SOT 7690004 SOS 1573302 HAS SOPS 1573179 HAS SOUS 132938 HAS SOUPS 132821 WITH SCORE 134394.302
AT ITER 8003 NEW BEST:: SOT 7689940 SOS 1573238 HAS SOPS 1573115 HAS SOUS 132784 HAS SOUPS 132667 WITH SCORE 134240.238
AT ITER 8005 NEW BEST:: SOT 7689896 SOS 1573194 HAS SOPS 1573071 HAS SOUS 132696 HAS SOUPS 132579 WITH SCORE 134152.194
AT ITER 8010 NEW BEST:: SOT 7689839 SOS 1573137 HAS SOPS 1573014 HAS SOUS 132639 HAS SOUPS 132522 WITH SCORE 134095.137
AT ITER 8019 NEW BEST:: SOT 7689827 SOS 1573491 HAS SOPS 1573368 HAS SOUS 132615 HAS SOUPS 132498 WITH SCORE 134071.491
AT ITER 8020 NEW BEST:: SOT 7689757 SOS 1573421 HAS SOPS 1573298 HAS SOUS 132475 HAS SOUPS 132358 WITH SCORE 133931.421
AT ITER 8022 NEW BEST:: SOT 7689730 SOS 1573394 HAS SOPS 1573271 HAS SOUS 132420 HAS SOUPS 132303 WITH SCORE 133876.394
AT ITER 8043 NEW BEST:: SOT 7689721 SOS 1573385 HAS SOPS 1573262 HAS SOUS 132402 HAS SOUPS 132285 WITH SCORE 133858.385
AT ITER 8048 NEW BEST:: SOT 7680332 SOS 1603368 HAS SOPS 1603227 HAS SOUS 132073 HAS SOUPS 131938 WITH SCORE 133541.368
AT ITER 8056 NEW BEST:: SOT 7680310 SOS 1603148 HAS SOPS 1603007 HAS SOUS 132073 HAS SOUPS 131938 WITH SCORE 133541.148
AT ITER 8067 NEW BEST:: SOT 7680310 SOS 1603148 HAS SOPS 1603007 HAS SOUS 132051 HAS SOUPS 131916 WITH SCORE 133519.148
AT ITER 8122 NEW BEST:: SOT 7680278 SOS 1603116 HAS SOPS 1602975 HAS SOUS 132008 HAS SOUPS 131873 WITH SCORE 133476.116
AT ITER 8123 NEW BEST:: SOT 7680272 SOS 1603110 HAS SOPS 1602969 HAS SOUS 132002 HAS SOUPS 131867 WITH SCORE 133470.11
AT ITER 8167 NEW BEST:: SOT 7680216 SOS 1603054 HAS SOPS 1602913 HAS SOUS 131900 HAS SOUPS 131765 WITH SCORE 133368.054
AT ITER 8183 NEW BEST:: SOT 7680186 SOS 1603024 HAS SOPS 1602883 HAS SOUS 131811 HAS SOUPS 131676 WITH SCORE 133279.024
AT ITER 8209 NEW BEST:: SOT 7680136 SOS 1602974 HAS SOPS 1602833 HAS SOUS 131711 HAS SOUPS 131576 WITH SCORE 133178.974
AT ITER 8220 NEW BEST:: SOT 7680008 SOS 1602846 HAS SOPS 1602705 HAS SOUS 131487 HAS SOUPS 131352 WITH SCORE 132954.846
AT ITER 8246 NEW BEST:: SOT 7679877 SOS 1602715 HAS SOPS 1602574 HAS SOUS 131347 HAS SOUPS 131212 WITH SCORE 132814.715
AT ITER 8257 NEW BEST:: SOT 7679789 SOS 1602627 HAS SOPS 1602486 HAS SOUS 131228 HAS SOUPS 131093 WITH SCORE 132695.627
AT ITER 8334 NEW BEST:: SOT 7679776 SOS 1602614 HAS SOPS 1602473 HAS SOUS 131202 HAS SOUPS 131067 WITH SCORE 132669.614
AT ITER 8360 NEW BEST:: SOT 7679776 SOS 1602614 HAS SOPS 1602473 HAS SOUS 131200 HAS SOUPS 131065 WITH SCORE 132667.614
AT ITER 8376 NEW BEST:: SOT 7679776 SOS 1602384 HAS SOPS 1602243 HAS SOUS 131177 HAS SOUPS 131042 WITH SCORE 132644.384
AT ITER 8385 NEW BEST:: SOT 7679754 SOS 1602362 HAS SOPS 1602221 HAS SOUS 131106 HAS SOUPS 130971 WITH SCORE 132573.362
AT ITER 8413 NEW BEST:: SOT 7679659 SOS 1602022 HAS SOPS 1601881 HAS SOUS 131072 HAS SOUPS 130937 WITH SCORE 132539.022
AT ITER 8447 NEW BEST:: SOT 7679651 SOS 1602014 HAS SOPS 1601873 HAS SOUS 131064 HAS SOUPS 130929 WITH SCORE 132531.014
AT ITER 8460 NEW BEST:: SOT 7679614 SOS 1601977 HAS SOPS 1601836 HAS SOUS 130994 HAS SOUPS 130859 WITH SCORE 132460.977
AT ITER 8462 NEW BEST:: SOT 7679630 SOS 1601833 HAS SOPS 1601692 HAS SOUS 130994 HAS SOUPS 130859 WITH SCORE 132460.833
AT ITER 8470 NEW BEST:: SOT 7679629 SOS 1601832 HAS SOPS 1601691 HAS SOUS 130991 HAS SOUPS 130856 WITH SCORE 132457.832
AT ITER 8526 NEW BEST:: SOT 7679550 SOS 1601753 HAS SOPS 1601612 HAS SOUS 130890 HAS SOUPS 130755 WITH SCORE 132356.753
AT ITER 8531 NEW BEST:: SOT 7679529 SOS 1601732 HAS SOPS 1601591 HAS SOUS 130873 HAS SOUPS 130738 WITH SCORE 132339.732
AT ITER 8533 NEW BEST:: SOT 7679528 SOS 1601497 HAS SOPS 1601356 HAS SOUS 130871 HAS SOUPS 130736 WITH SCORE 132337.497
AT ITER 8547 NEW BEST:: SOT 7679518 SOS 1601433 HAS SOPS 1601292 HAS SOUS 130833 HAS SOUPS 130698 WITH SCORE 132299.433
AT ITER 8564 NEW BEST:: SOT 7679507 SOS 1601434 HAS SOPS 1601293 HAS SOUS 130811 HAS SOUPS 130676 WITH SCORE 132277.434
AT ITER 8567 NEW BEST:: SOT 7679462 SOS 1601389 HAS SOPS 1601248 HAS SOUS 130721 HAS SOUPS 130586 WITH SCORE 132187.389
AT ITER 8573 NEW BEST:: SOT 7679478 SOS 1601382 HAS SOPS 1601241 HAS SOUS 130707 HAS SOUPS 130572 WITH SCORE 132173.382
AT ITER 8576 NEW BEST:: SOT 7679486 SOS 1602482 HAS SOPS 1602341 HAS SOUS 130682 HAS SOUPS 130547 WITH SCORE 132149.482
AT ITER 8600 NEW BEST:: SOT 7679486 SOS 1602482 HAS SOPS 1602341 HAS SOUS 130672 HAS SOUPS 130537 WITH SCORE 132139.482
AT ITER 8608 NEW BEST:: SOT 7679458 SOS 1602454 HAS SOPS 1602313 HAS SOUS 130616 HAS SOUPS 130481 WITH SCORE 132083.454
AT ITER 8654 NEW BEST:: SOT 7678165 SOS 1601161 HAS SOPS 1601020 HAS SOUS 129838 HAS SOUPS 129703 WITH SCORE 131304.161
AT ITER 8674 NEW BEST:: SOT 7677864 SOS 1600861 HAS SOPS 1600720 HAS SOUS 129789 HAS SOUPS 129654 WITH SCORE 131254.861
AT ITER 8691 NEW BEST:: SOT 7677794 SOS 1600791 HAS SOPS 1600650 HAS SOUS 129649 HAS SOUPS 129514 WITH SCORE 131114.791
AT ITER 8713 NEW BEST:: SOT 7677792 SOS 1600789 HAS SOPS 1600648 HAS SOUS 129648 HAS SOUPS 129513 WITH SCORE 131113.789
AT ITER 8720 NEW BEST:: SOT 7677729 SOS 1600726 HAS SOPS 1600585 HAS SOUS 129521 HAS SOUPS 129386 WITH SCORE 130986.726
AT ITER 8730 NEW BEST:: SOT 7677729 SOS 1600726 HAS SOPS 1600585 HAS SOUS 129519 HAS SOUPS 129384 WITH SCORE 130984.726
AT ITER 8752 NEW BEST:: SOT 7677684 SOS 1600681 HAS SOPS 1600540 HAS SOUS 129429 HAS SOUPS 129294 WITH SCORE 130894.681
AT ITER 8766 NEW BEST:: SOT 7677674 SOS 1600688 HAS SOPS 1600547 HAS SOUS 129409 HAS SOUPS 129274 WITH SCORE 130874.688
AT ITER 8770 NEW BEST:: SOT 7677667 SOS 1600681 HAS SOPS 1600540 HAS SOUS 129395 HAS SOUPS 129260 WITH SCORE 130860.681
AT ITER 8786 NEW BEST:: SOT 7677562 SOS 1600576 HAS SOPS 1600435 HAS SOUS 129185 HAS SOUPS 129050 WITH SCORE 130650.576
AT ITER 8793 NEW BEST:: SOT 7677271 SOS 1600285 HAS SOPS 1600144 HAS SOUS 128919 HAS SOUPS 128784 WITH SCORE 130384.285
AT ITER 8805 NEW BEST:: SOT 7677249 SOS 1600263 HAS SOPS 1600122 HAS SOUS 128897 HAS SOUPS 128762 WITH SCORE 130362.263
AT ITER 8807 NEW BEST:: SOT 7677241 SOS 1600255 HAS SOPS 1600114 HAS SOUS 128880 HAS SOUPS 128745 WITH SCORE 130345.255
AT ITER 8818 NEW BEST:: SOT 7677064 SOS 1600078 HAS SOPS 1599937 HAS SOUS 128526 HAS SOUPS 128391 WITH SCORE 129991.078
AT ITER 8855 NEW BEST:: SOT 7676930 SOS 1599944 HAS SOPS 1599803 HAS SOUS 128516 HAS SOUPS 128381 WITH SCORE 129980.944
AT ITER 8856 NEW BEST:: SOT 7676915 SOS 1599929 HAS SOPS 1599788 HAS SOUS 128486 HAS SOUPS 128351 WITH SCORE 129950.929
AT ITER 8879 NEW BEST:: SOT 7676855 SOS 1600419 HAS SOPS 1600278 HAS SOUS 128481 HAS SOUPS 128346 WITH SCORE 129946.419
AT ITER 8883 NEW BEST:: SOT 7676816 SOS 1600380 HAS SOPS 1600239 HAS SOUS 128442 HAS SOUPS 128307 WITH SCORE 129907.38
AT ITER 8917 NEW BEST:: SOT 7676796 SOS 1600360 HAS SOPS 1600219 HAS SOUS 128402 HAS SOUPS 128267 WITH SCORE 129867.36
AT ITER 9004 NEW BEST:: SOT 7676796 SOS 1600360 HAS SOPS 1600219 HAS SOUS 128348 HAS SOUPS 128213 WITH SCORE 129813.36
AT ITER 9044 NEW BEST:: SOT 7674603 SOS 1861157 HAS SOPS 1861016 HAS SOUS 126863 HAS SOUPS 126728 WITH SCORE 128589.157
AT ITER 9070 NEW BEST:: SOT 7674603 SOS 1861157 HAS SOPS 1861016 HAS SOUS 126861 HAS SOUPS 126726 WITH SCORE 128587.157
AT ITER 9108 NEW BEST:: SOT 7674595 SOS 1861149 HAS SOPS 1861008 HAS SOUS 126845 HAS SOUPS 126710 WITH SCORE 128571.149
AT ITER 9152 NEW BEST:: SOT 7674591 SOS 1861145 HAS SOPS 1861004 HAS SOUS 126839 HAS SOUPS 126704 WITH SCORE 128565.145
AT ITER 9159 NEW BEST:: SOT 7674604 SOS 1861132 HAS SOPS 1860991 HAS SOUS 126812 HAS SOUPS 126677 WITH SCORE 128538.132
AT ITER 9168 NEW BEST:: SOT 7674595 SOS 1861194 HAS SOPS 1861053 HAS SOUS 126794 HAS SOUPS 126659 WITH SCORE 128520.194
AT ITER 9194 NEW BEST:: SOT 7674578 SOS 1861191 HAS SOPS 1861056 HAS SOUS 126737 HAS SOUPS 126608 WITH SCORE 128469.191
AT ITER 9287 NEW BEST:: SOT 7674557 SOS 1861062 HAS SOPS 1860927 HAS SOUS 126721 HAS SOUPS 126592 WITH SCORE 128453.062
AT ITER 9290 NEW BEST:: SOT 7674466 SOS 1860971 HAS SOPS 1860836 HAS SOUS 126556 HAS SOUPS 126427 WITH SCORE 128287.971
AT ITER 9294 NEW BEST:: SOT 7674310 SOS 1860815 HAS SOPS 1860680 HAS SOUS 126230 HAS SOUPS 126101 WITH SCORE 127961.815
AT ITER 9332 NEW BEST:: SOT 7674305 SOS 1861000 HAS SOPS 1860865 HAS SOUS 126220 HAS SOUPS 126091 WITH SCORE 127952.0
AT ITER 9352 NEW BEST:: SOT 7674302 SOS 1861117 HAS SOPS 1860982 HAS SOUS 126202 HAS SOUPS 126073 WITH SCORE 127934.117
AT ITER 9366 NEW BEST:: SOT 7674306 SOS 1861112 HAS SOPS 1860977 HAS SOUS 126199 HAS SOUPS 126070 WITH SCORE 127931.112
AT ITER 9384 NEW BEST:: SOT 7674305 SOS 1861120 HAS SOPS 1860985 HAS SOUS 126197 HAS SOUPS 126068 WITH SCORE 127929.12
AT ITER 9391 NEW BEST:: SOT 7674268 SOS 1861083 HAS SOPS 1860948 HAS SOUS 126178 HAS SOUPS 126049 WITH SCORE 127910.083
AT ITER 9431 NEW BEST:: SOT 7674215 SOS 1861030 HAS SOPS 1860895 HAS SOUS 126082 HAS SOUPS 125953 WITH SCORE 127814.03
AT ITER 9445 NEW BEST:: SOT 7674197 SOS 1861012 HAS SOPS 1860877 HAS SOUS 126047 HAS SOUPS 125918 WITH SCORE 127779.012
AT ITER 9456 NEW BEST:: SOT 7674183 SOS 1861012 HAS SOPS 1860877 HAS SOUS 126019 HAS SOUPS 125890 WITH SCORE 127751.012
AT ITER 9488 NEW BEST:: SOT 7674183 SOS 1860841 HAS SOPS 1860706 HAS SOUS 126019 HAS SOUPS 125890 WITH SCORE 127750.841
AT ITER 9505 NEW BEST:: SOT 7674170 SOS 1860828 HAS SOPS 1860693 HAS SOUS 125993 HAS SOUPS 125864 WITH SCORE 127724.828
AT ITER 9510 NEW BEST:: SOT 7674170 SOS 1860828 HAS SOPS 1860693 HAS SOUS 125990 HAS SOUPS 125861 WITH SCORE 127721.828
AT ITER 9526 NEW BEST:: SOT 7674166 SOS 1860824 HAS SOPS 1860689 HAS SOUS 125986 HAS SOUPS 125857 WITH SCORE 127717.824
AT ITER 9558 NEW BEST:: SOT 7674166 SOS 1860824 HAS SOPS 1860689 HAS SOUS 125818 HAS SOUPS 125689 WITH SCORE 127549.824
AT ITER 9589 NEW BEST:: SOT 7673881 SOS 1860539 HAS SOPS 1860404 HAS SOUS 125518 HAS SOUPS 125389 WITH SCORE 127249.539
AT ITER 9597 NEW BEST:: SOT 7673875 SOS 1860533 HAS SOPS 1860398 HAS SOUS 125505 HAS SOUPS 125376 WITH SCORE 127236.533
AT ITER 9610 NEW BEST:: SOT 7673933 SOS 1861043 HAS SOPS 1860908 HAS SOUS 125373 HAS SOUPS 125244 WITH SCORE 127105.043
AT ITER 9623 NEW BEST:: SOT 7673924 SOS 1861034 HAS SOPS 1860899 HAS SOUS 125355 HAS SOUPS 125226 WITH SCORE 127087.034
AT ITER 9658 NEW BEST:: SOT 7673893 SOS 1861003 HAS SOPS 1860868 HAS SOUS 125293 HAS SOUPS 125164 WITH SCORE 127025.003
AT ITER 9713 NEW BEST:: SOT 7673893 SOS 1861003 HAS SOPS 1860868 HAS SOUS 125281 HAS SOUPS 125152 WITH SCORE 127013.003
AT ITER 9730 NEW BEST:: SOT 7673863 SOS 1860973 HAS SOPS 1860838 HAS SOUS 125217 HAS SOUPS 125088 WITH SCORE 126948.973
AT ITER 9777 NEW BEST:: SOT 7673681 SOS 1860791 HAS SOPS 1860656 HAS SOUS 125045 HAS SOUPS 124916 WITH SCORE 126776.791
AT ITER 9784 NEW BEST:: SOT 7673667 SOS 1860777 HAS SOPS 1860642 HAS SOUS 125017 HAS SOUPS 124888 WITH SCORE 126748.777
AT ITER 9803 NEW BEST:: SOT 7673654 SOS 1860764 HAS SOPS 1860629 HAS SOUS 124991 HAS SOUPS 124862 WITH SCORE 126722.764
AT ITER 9817 NEW BEST:: SOT 7675124 SOS 1862234 HAS SOPS 1862099 HAS SOUS 123894 HAS SOUPS 123765 WITH SCORE 125627.234
AT ITER 9832 NEW BEST:: SOT 7675116 SOS 1862218 HAS SOPS 1862083 HAS SOUS 123870 HAS SOUPS 123741 WITH SCORE 125603.218
AT ITER 9841 NEW BEST:: SOT 7675099 SOS 1862201 HAS SOPS 1862066 HAS SOUS 123837 HAS SOUPS 123708 WITH SCORE 125570.201
AT ITER 9868 NEW BEST:: SOT 7674727 SOS 1861858 HAS SOPS 1861723 HAS SOUS 123432 HAS SOUPS 123303 WITH SCORE 125164.858
AT ITER 9942 NEW BEST:: SOT 7674714 SOS 1861845 HAS SOPS 1861710 HAS SOUS 123384 HAS SOUPS 123255 WITH SCORE 125116.845
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14267424 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16093012 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="PolyORBNT-COL-S10J30"
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 PolyORBNT-COL-S10J30, 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 r299-tall-167873953300688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J30.tgz
mv PolyORBNT-COL-S10J30 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 ;