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.r291-tall-167873943200640.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 smart
Input is PolyORBNT-COL-S05J20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943200640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.0K Feb 25 23:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 23:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 23:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 23:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 25 23:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 23:46 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 92K 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 1678807456149

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-COL-S05J20
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 15:24:18] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 15:24:18] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 15:24:19] [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-14 15:24:19] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 15:24:20] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 922 ms
[2023-03-14 15:24:20] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 369 PT places and 1272.0 transition bindings in 37 ms.
[2023-03-14 15:24:20] [INFO ] Unfolded HLPN to a Petri net with 369 places and 1230 transitions 8864 arcs in 88 ms.
[2023-03-14 15:24:20] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 20 places and 20 transitions.
Ensure Unique test removed 655 transitions
Reduce isomorphic transitions removed 655 transitions.
[2023-03-14 15:24:20] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 349 places, 555 transitions and 3019 arcs took 26 ms.
Total runtime 1363 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 349 places, 555 transitions, 3019 arcs.
AT ITER 0 NEW BEST:: SOT 117591 SOS 70189 HAS SOPS 70159 HAS SOUS 58304 HAS SOUPS 58298 WITH SCORE 58368.189
AT ITER 6 NEW BEST:: SOT 117561 SOS 69929 HAS SOPS 69899 HAS SOUS 58174 HAS SOUPS 58168 WITH SCORE 58237.929
AT ITER 17 NEW BEST:: SOT 117521 SOS 69904 HAS SOPS 69874 HAS SOUS 58148 HAS SOUPS 58142 WITH SCORE 58211.904
AT ITER 19 NEW BEST:: SOT 117556 SOS 69915 HAS SOPS 69885 HAS SOUS 58101 HAS SOUPS 58095 WITH SCORE 58164.915
AT ITER 31 NEW BEST:: SOT 117531 SOS 69865 HAS SOPS 69835 HAS SOUS 58076 HAS SOUPS 58070 WITH SCORE 58139.865
AT ITER 41 NEW BEST:: SOT 117463 SOS 69729 HAS SOPS 69699 HAS SOUS 58008 HAS SOUPS 58002 WITH SCORE 58071.729
AT ITER 54 NEW BEST:: SOT 117391 SOS 69559 HAS SOPS 69529 HAS SOUS 57936 HAS SOUPS 57930 WITH SCORE 57999.559
AT ITER 60 NEW BEST:: SOT 117311 SOS 69495 HAS SOPS 69465 HAS SOUS 57872 HAS SOUPS 57866 WITH SCORE 57935.495
AT ITER 63 NEW BEST:: SOT 117358 SOS 69495 HAS SOPS 69465 HAS SOUS 57850 HAS SOUPS 57844 WITH SCORE 57913.495
AT ITER 74 NEW BEST:: SOT 117308 SOS 69467 HAS SOPS 69437 HAS SOUS 57818 HAS SOUPS 57812 WITH SCORE 57881.467
AT ITER 77 NEW BEST:: SOT 117290 SOS 69449 HAS SOPS 69419 HAS SOUS 57800 HAS SOUPS 57794 WITH SCORE 57863.449
AT ITER 79 NEW BEST:: SOT 117339 SOS 69449 HAS SOPS 69419 HAS SOUS 57752 HAS SOUPS 57746 WITH SCORE 57815.449
AT ITER 93 NEW BEST:: SOT 117288 SOS 69073 HAS SOPS 69043 HAS SOUS 57601 HAS SOUPS 57595 WITH SCORE 57664.073
AT ITER 102 NEW BEST:: SOT 117305 SOS 69073 HAS SOPS 69043 HAS SOUS 57567 HAS SOUPS 57561 WITH SCORE 57630.073
AT ITER 112 NEW BEST:: SOT 117605 SOS 69039 HAS SOPS 68984 HAS SOUS 57545 HAS SOUPS 57532 WITH SCORE 57601.039
AT ITER 118 NEW BEST:: SOT 117604 SOS 69016 HAS SOPS 68961 HAS SOUS 57544 HAS SOUPS 57531 WITH SCORE 57600.016
AT ITER 122 NEW BEST:: SOT 117702 SOS 69140 HAS SOPS 69080 HAS SOUS 53796 HAS SOUPS 53779 WITH SCORE 53848.14
AT ITER 124 NEW BEST:: SOT 117689 SOS 69127 HAS SOPS 69067 HAS SOUS 53783 HAS SOUPS 53766 WITH SCORE 53835.127
AT ITER 125 NEW BEST:: SOT 117748 SOS 69127 HAS SOPS 69067 HAS SOUS 53716 HAS SOUPS 53699 WITH SCORE 53768.127
AT ITER 127 NEW BEST:: SOT 117766 SOS 69235 HAS SOPS 69170 HAS SOUS 53180 HAS SOUPS 53162 WITH SCORE 53231.235
AT ITER 133 NEW BEST:: SOT 117793 SOS 69265 HAS SOPS 69195 HAS SOUS 52586 HAS SOUPS 52568 WITH SCORE 52637.265
AT ITER 140 NEW BEST:: SOT 117740 SOS 69257 HAS SOPS 69187 HAS SOUS 52580 HAS SOUPS 52562 WITH SCORE 52631.257
AT ITER 149 NEW BEST:: SOT 117740 SOS 69236 HAS SOPS 69166 HAS SOUS 52559 HAS SOUPS 52541 WITH SCORE 52610.236
AT ITER 152 NEW BEST:: SOT 117740 SOS 67874 HAS SOPS 67804 HAS SOUS 51238 HAS SOUPS 51220 WITH SCORE 51287.874
AT ITER 155 NEW BEST:: SOT 117702 SOS 67864 HAS SOPS 67794 HAS SOUS 51214 HAS SOUPS 51196 WITH SCORE 51263.864
AT ITER 163 NEW BEST:: SOT 117704 SOS 67611 HAS SOPS 67541 HAS SOUS 51116 HAS SOUPS 51098 WITH SCORE 51165.611
AT ITER 167 NEW BEST:: SOT 117642 SOS 67820 HAS SOPS 67750 HAS SOUS 51072 HAS SOUPS 51054 WITH SCORE 51121.82
AT ITER 174 NEW BEST:: SOT 117687 SOS 67910 HAS SOPS 67835 HAS SOUS 50288 HAS SOUPS 50270 WITH SCORE 50337.91
AT ITER 182 NEW BEST:: SOT 117687 SOS 67943 HAS SOPS 67868 HAS SOUS 50251 HAS SOUPS 50233 WITH SCORE 50300.943
AT ITER 186 NEW BEST:: SOT 117687 SOS 67926 HAS SOPS 67851 HAS SOUS 50251 HAS SOUPS 50233 WITH SCORE 50300.926
AT ITER 194 NEW BEST:: SOT 117687 SOS 67926 HAS SOPS 67851 HAS SOUS 50246 HAS SOUPS 50228 WITH SCORE 50295.926
AT ITER 212 NEW BEST:: SOT 117721 SOS 67926 HAS SOPS 67851 HAS SOUS 50216 HAS SOUPS 50198 WITH SCORE 50265.926
AT ITER 228 NEW BEST:: SOT 117709 SOS 67690 HAS SOPS 67615 HAS SOUS 50021 HAS SOUPS 50003 WITH SCORE 50070.69
AT ITER 239 NEW BEST:: SOT 117701 SOS 67682 HAS SOPS 67607 HAS SOUS 50013 HAS SOUPS 49995 WITH SCORE 50062.682
AT ITER 241 NEW BEST:: SOT 117701 SOS 67227 HAS SOPS 67152 HAS SOUS 49558 HAS SOUPS 49540 WITH SCORE 49607.227
AT ITER 246 NEW BEST:: SOT 117901 SOS 67113 HAS SOPS 67038 HAS SOUS 49374 HAS SOUPS 49356 WITH SCORE 49423.113
AT ITER 248 NEW BEST:: SOT 117901 SOS 67098 HAS SOPS 67023 HAS SOUS 49359 HAS SOUPS 49341 WITH SCORE 49408.098
AT ITER 253 NEW BEST:: SOT 117914 SOS 67111 HAS SOPS 67036 HAS SOUS 49349 HAS SOUPS 49331 WITH SCORE 49398.111
AT ITER 269 NEW BEST:: SOT 117853 SOS 67073 HAS SOPS 66998 HAS SOUS 49324 HAS SOUPS 49306 WITH SCORE 49373.073
AT ITER 283 NEW BEST:: SOT 117853 SOS 67073 HAS SOPS 66998 HAS SOUS 49319 HAS SOUPS 49301 WITH SCORE 49368.073
AT ITER 287 NEW BEST:: SOT 117845 SOS 67057 HAS SOPS 66982 HAS SOUS 49311 HAS SOUPS 49293 WITH SCORE 49360.057
AT ITER 295 NEW BEST:: SOT 117845 SOS 67057 HAS SOPS 66982 HAS SOUS 49224 HAS SOUPS 49206 WITH SCORE 49273.057
AT ITER 296 NEW BEST:: SOT 117981 SOS 67205 HAS SOPS 67130 HAS SOUS 45002 HAS SOUPS 44984 WITH SCORE 45051.205
AT ITER 300 NEW BEST:: SOT 117922 SOS 67188 HAS SOPS 67113 HAS SOUS 44965 HAS SOUPS 44947 WITH SCORE 45014.188
AT ITER 302 NEW BEST:: SOT 117918 SOS 67016 HAS SOPS 66941 HAS SOUS 44913 HAS SOUPS 44895 WITH SCORE 44962.016
AT ITER 306 NEW BEST:: SOT 117983 SOS 67042 HAS SOPS 66967 HAS SOUS 44863 HAS SOUPS 44845 WITH SCORE 44912.042
AT ITER 317 NEW BEST:: SOT 118041 SOS 67123 HAS SOPS 67043 HAS SOUS 42803 HAS SOUPS 42785 WITH SCORE 42852.123
AT ITER 319 NEW BEST:: SOT 118046 SOS 67071 HAS SOPS 66991 HAS SOUS 42677 HAS SOUPS 42659 WITH SCORE 42726.071
AT ITER 328 NEW BEST:: SOT 118073 SOS 67098 HAS SOPS 67018 HAS SOUS 41549 HAS SOUPS 41531 WITH SCORE 41598.098
AT ITER 338 NEW BEST:: SOT 118073 SOS 65850 HAS SOPS 65770 HAS SOUS 40340 HAS SOUPS 40322 WITH SCORE 40387.85
AT ITER 340 NEW BEST:: SOT 118000 SOS 65804 HAS SOPS 65724 HAS SOUS 40289 HAS SOUPS 40271 WITH SCORE 40336.804
AT ITER 344 NEW BEST:: SOT 117986 SOS 65905 HAS SOPS 65825 HAS SOUS 40275 HAS SOUPS 40257 WITH SCORE 40322.905
AT ITER 376 NEW BEST:: SOT 117986 SOS 65854 HAS SOPS 65774 HAS SOUS 40224 HAS SOUPS 40206 WITH SCORE 40271.854
AT ITER 380 NEW BEST:: SOT 117986 SOS 65854 HAS SOPS 65774 HAS SOUS 40210 HAS SOUPS 40192 WITH SCORE 40257.854
AT ITER 386 NEW BEST:: SOT 117986 SOS 65854 HAS SOPS 65774 HAS SOUS 40209 HAS SOUPS 40191 WITH SCORE 40256.854
AT ITER 389 NEW BEST:: SOT 117978 SOS 65854 HAS SOPS 65774 HAS SOUS 40193 HAS SOUPS 40175 WITH SCORE 40240.854
AT ITER 393 NEW BEST:: SOT 117830 SOS 65706 HAS SOPS 65626 HAS SOUS 40044 HAS SOUPS 40026 WITH SCORE 40091.706
AT ITER 395 NEW BEST:: SOT 117756 SOS 65663 HAS SOPS 65583 HAS SOUS 39997 HAS SOUPS 39979 WITH SCORE 40044.663
AT ITER 409 NEW BEST:: SOT 117713 SOS 65537 HAS SOPS 65457 HAS SOUS 39929 HAS SOUPS 39911 WITH SCORE 39976.537
AT ITER 411 NEW BEST:: SOT 117752 SOS 65447 HAS SOPS 65367 HAS SOUS 39911 HAS SOUPS 39893 WITH SCORE 39958.447
AT ITER 417 NEW BEST:: SOT 117814 SOS 65048 HAS SOPS 64968 HAS SOUS 39897 HAS SOUPS 39879 WITH SCORE 39944.048
AT ITER 421 NEW BEST:: SOT 117795 SOS 66083 HAS SOPS 66003 HAS SOUS 39854 HAS SOUPS 39836 WITH SCORE 39902.083
AT ITER 429 NEW BEST:: SOT 117784 SOS 66075 HAS SOPS 65995 HAS SOUS 39852 HAS SOUPS 39834 WITH SCORE 39900.075
AT ITER 436 NEW BEST:: SOT 117764 SOS 66058 HAS SOPS 65978 HAS SOUS 39757 HAS SOUPS 39739 WITH SCORE 39805.058
AT ITER 442 NEW BEST:: SOT 117763 SOS 66047 HAS SOPS 65967 HAS SOUS 39745 HAS SOUPS 39727 WITH SCORE 39793.047
AT ITER 452 NEW BEST:: SOT 117625 SOS 66196 HAS SOPS 66116 HAS SOUS 39699 HAS SOUPS 39681 WITH SCORE 39747.196
AT ITER 466 NEW BEST:: SOT 117616 SOS 66187 HAS SOPS 66107 HAS SOUS 39682 HAS SOUPS 39664 WITH SCORE 39730.187
AT ITER 480 NEW BEST:: SOT 117660 SOS 66030 HAS SOPS 65950 HAS SOUS 39591 HAS SOUPS 39573 WITH SCORE 39639.03
AT ITER 487 NEW BEST:: SOT 117640 SOS 65996 HAS SOPS 65916 HAS SOUS 39571 HAS SOUPS 39553 WITH SCORE 39618.996
AT ITER 492 NEW BEST:: SOT 117636 SOS 65732 HAS SOPS 65652 HAS SOUS 39455 HAS SOUPS 39437 WITH SCORE 39502.732
AT ITER 495 NEW BEST:: SOT 117630 SOS 65785 HAS SOPS 65705 HAS SOUS 39296 HAS SOUPS 39278 WITH SCORE 39343.785
AT ITER 496 NEW BEST:: SOT 117626 SOS 65797 HAS SOPS 65717 HAS SOUS 39295 HAS SOUPS 39277 WITH SCORE 39342.797
AT ITER 507 NEW BEST:: SOT 117606 SOS 65757 HAS SOPS 65677 HAS SOUS 39289 HAS SOUPS 39271 WITH SCORE 39336.757
AT ITER 512 NEW BEST:: SOT 117550 SOS 65722 HAS SOPS 65642 HAS SOUS 39254 HAS SOUPS 39236 WITH SCORE 39301.722
AT ITER 513 NEW BEST:: SOT 117565 SOS 65782 HAS SOPS 65702 HAS SOUS 38005 HAS SOUPS 37987 WITH SCORE 38052.782
AT ITER 514 NEW BEST:: SOT 117565 SOS 65730 HAS SOPS 65650 HAS SOUS 38005 HAS SOUPS 37987 WITH SCORE 38052.73
AT ITER 540 NEW BEST:: SOT 117565 SOS 65682 HAS SOPS 65602 HAS SOUS 37956 HAS SOUPS 37938 WITH SCORE 38003.682
AT ITER 542 NEW BEST:: SOT 117513 SOS 65630 HAS SOPS 65550 HAS SOUS 37869 HAS SOUPS 37851 WITH SCORE 37916.63
AT ITER 544 NEW BEST:: SOT 117496 SOS 65664 HAS SOPS 65584 HAS SOUS 37868 HAS SOUPS 37850 WITH SCORE 37915.664
AT ITER 556 NEW BEST:: SOT 117496 SOS 65597 HAS SOPS 65517 HAS SOUS 37801 HAS SOUPS 37783 WITH SCORE 37848.597
AT ITER 563 NEW BEST:: SOT 117496 SOS 65597 HAS SOPS 65517 HAS SOUS 37785 HAS SOUPS 37767 WITH SCORE 37832.597
AT ITER 564 NEW BEST:: SOT 117496 SOS 65597 HAS SOPS 65517 HAS SOUS 37772 HAS SOUPS 37754 WITH SCORE 37819.597
AT ITER 565 NEW BEST:: SOT 117449 SOS 65496 HAS SOPS 65416 HAS SOUS 37725 HAS SOUPS 37707 WITH SCORE 37772.496
AT ITER 569 NEW BEST:: SOT 117440 SOS 65478 HAS SOPS 65398 HAS SOUS 37683 HAS SOUPS 37665 WITH SCORE 37730.478
AT ITER 570 NEW BEST:: SOT 117345 SOS 65414 HAS SOPS 65334 HAS SOUS 37649 HAS SOUPS 37631 WITH SCORE 37696.414
AT ITER 573 NEW BEST:: SOT 117337 SOS 65414 HAS SOPS 65334 HAS SOUS 37609 HAS SOUPS 37591 WITH SCORE 37656.414
AT ITER 575 NEW BEST:: SOT 117336 SOS 65359 HAS SOPS 65279 HAS SOUS 37381 HAS SOUPS 37363 WITH SCORE 37428.359
AT ITER 578 NEW BEST:: SOT 117336 SOS 65359 HAS SOPS 65279 HAS SOUS 37380 HAS SOUPS 37362 WITH SCORE 37427.359
AT ITER 584 NEW BEST:: SOT 117336 SOS 65359 HAS SOPS 65279 HAS SOUS 37352 HAS SOUPS 37334 WITH SCORE 37399.359
AT ITER 616 NEW BEST:: SOT 117301 SOS 65289 HAS SOPS 65209 HAS SOUS 37328 HAS SOUPS 37310 WITH SCORE 37375.289
AT ITER 618 NEW BEST:: SOT 117317 SOS 65271 HAS SOPS 65191 HAS SOUS 37251 HAS SOUPS 37233 WITH SCORE 37298.271
AT ITER 634 NEW BEST:: SOT 117059 SOS 65900 HAS SOPS 65820 HAS SOUS 36961 HAS SOUPS 36943 WITH SCORE 37008.9
AT ITER 641 NEW BEST:: SOT 117059 SOS 65736 HAS SOPS 65656 HAS SOUS 36961 HAS SOUPS 36943 WITH SCORE 37008.736
AT ITER 644 NEW BEST:: SOT 117059 SOS 65725 HAS SOPS 65645 HAS SOUS 36961 HAS SOUPS 36943 WITH SCORE 37008.725
AT ITER 649 NEW BEST:: SOT 117315 SOS 65635 HAS SOPS 65555 HAS SOUS 36878 HAS SOUPS 36860 WITH SCORE 36925.635
AT ITER 678 NEW BEST:: SOT 117131 SOS 65530 HAS SOPS 65450 HAS SOUS 36767 HAS SOUPS 36749 WITH SCORE 36814.53
AT ITER 682 NEW BEST:: SOT 117113 SOS 65510 HAS SOPS 65430 HAS SOUS 36736 HAS SOUPS 36718 WITH SCORE 36783.51
AT ITER 697 NEW BEST:: SOT 117099 SOS 65469 HAS SOPS 65389 HAS SOUS 36688 HAS SOUPS 36670 WITH SCORE 36735.469
AT ITER 707 NEW BEST:: SOT 117079 SOS 65316 HAS SOPS 65236 HAS SOUS 36535 HAS SOUPS 36517 WITH SCORE 36582.316
AT ITER 713 NEW BEST:: SOT 117073 SOS 65314 HAS SOPS 65234 HAS SOUS 36524 HAS SOUPS 36506 WITH SCORE 36571.314
AT ITER 740 NEW BEST:: SOT 117133 SOS 65574 HAS SOPS 65494 HAS SOUS 36346 HAS SOUPS 36328 WITH SCORE 36393.574
AT ITER 755 NEW BEST:: SOT 116881 SOS 65436 HAS SOPS 65356 HAS SOUS 36154 HAS SOUPS 36136 WITH SCORE 36201.436
AT ITER 782 NEW BEST:: SOT 116881 SOS 65444 HAS SOPS 65364 HAS SOUS 36129 HAS SOUPS 36111 WITH SCORE 36176.444
AT ITER 789 NEW BEST:: SOT 116835 SOS 65438 HAS SOPS 65358 HAS SOUS 36113 HAS SOUPS 36095 WITH SCORE 36160.438
AT ITER 797 NEW BEST:: SOT 116920 SOS 65179 HAS SOPS 65099 HAS SOUS 36073 HAS SOUPS 36055 WITH SCORE 36120.179
AT ITER 802 NEW BEST:: SOT 116901 SOS 65158 HAS SOPS 65078 HAS SOUS 36042 HAS SOUPS 36024 WITH SCORE 36089.158
AT ITER 804 NEW BEST:: SOT 116813 SOS 65187 HAS SOPS 65107 HAS SOUS 36011 HAS SOUPS 35993 WITH SCORE 36058.187
AT ITER 815 NEW BEST:: SOT 116809 SOS 65188 HAS SOPS 65108 HAS SOUS 36003 HAS SOUPS 35985 WITH SCORE 36050.188
AT ITER 826 NEW BEST:: SOT 116790 SOS 65150 HAS SOPS 65070 HAS SOUS 35849 HAS SOUPS 35831 WITH SCORE 35896.15
AT ITER 836 NEW BEST:: SOT 116762 SOS 65095 HAS SOPS 65015 HAS SOUS 35828 HAS SOUPS 35810 WITH SCORE 35875.095
AT ITER 838 NEW BEST:: SOT 116759 SOS 64957 HAS SOPS 64877 HAS SOUS 35825 HAS SOUPS 35807 WITH SCORE 35871.957
AT ITER 846 NEW BEST:: SOT 116755 SOS 64962 HAS SOPS 64882 HAS SOUS 35822 HAS SOUPS 35804 WITH SCORE 35868.962
AT ITER 847 NEW BEST:: SOT 116755 SOS 64860 HAS SOPS 64780 HAS SOUS 35720 HAS SOUPS 35702 WITH SCORE 35766.86
AT ITER 863 NEW BEST:: SOT 116707 SOS 64853 HAS SOPS 64773 HAS SOUS 35713 HAS SOUPS 35695 WITH SCORE 35759.853
AT ITER 875 NEW BEST:: SOT 116688 SOS 64835 HAS SOPS 64755 HAS SOUS 35675 HAS SOUPS 35657 WITH SCORE 35721.835
AT ITER 879 NEW BEST:: SOT 116795 SOS 64837 HAS SOPS 64757 HAS SOUS 35448 HAS SOUPS 35430 WITH SCORE 35494.837
AT ITER 904 NEW BEST:: SOT 116795 SOS 64816 HAS SOPS 64736 HAS SOUS 35427 HAS SOUPS 35409 WITH SCORE 35473.816
AT ITER 905 NEW BEST:: SOT 116748 SOS 64769 HAS SOPS 64689 HAS SOUS 35401 HAS SOUPS 35383 WITH SCORE 35447.769
AT ITER 912 NEW BEST:: SOT 116717 SOS 64720 HAS SOPS 64640 HAS SOUS 35379 HAS SOUPS 35361 WITH SCORE 35425.72
AT ITER 916 NEW BEST:: SOT 116650 SOS 64689 HAS SOPS 64609 HAS SOUS 35346 HAS SOUPS 35328 WITH SCORE 35392.689
AT ITER 935 NEW BEST:: SOT 116630 SOS 64664 HAS SOPS 64584 HAS SOUS 35326 HAS SOUPS 35308 WITH SCORE 35372.664
AT ITER 938 NEW BEST:: SOT 116604 SOS 64632 HAS SOPS 64552 HAS SOUS 35290 HAS SOUPS 35272 WITH SCORE 35336.632
AT ITER 948 NEW BEST:: SOT 116556 SOS 64612 HAS SOPS 64532 HAS SOUS 35267 HAS SOUPS 35249 WITH SCORE 35313.612
AT ITER 950 NEW BEST:: SOT 116535 SOS 64608 HAS SOPS 64528 HAS SOUS 35261 HAS SOUPS 35243 WITH SCORE 35307.608
AT ITER 960 NEW BEST:: SOT 116528 SOS 64601 HAS SOPS 64521 HAS SOUS 35254 HAS SOUPS 35236 WITH SCORE 35300.601
AT ITER 961 NEW BEST:: SOT 116473 SOS 64546 HAS SOPS 64466 HAS SOUS 35199 HAS SOUPS 35181 WITH SCORE 35245.546
AT ITER 965 NEW BEST:: SOT 116459 SOS 64532 HAS SOPS 64452 HAS SOUS 35185 HAS SOUPS 35167 WITH SCORE 35231.532
AT ITER 989 NEW BEST:: SOT 116422 SOS 64533 HAS SOPS 64453 HAS SOUS 35173 HAS SOUPS 35155 WITH SCORE 35219.533
AT ITER 991 NEW BEST:: SOT 116407 SOS 64518 HAS SOPS 64438 HAS SOUS 35142 HAS SOUPS 35124 WITH SCORE 35188.518
AT ITER 1003 NEW BEST:: SOT 116407 SOS 64518 HAS SOPS 64438 HAS SOUS 35125 HAS SOUPS 35107 WITH SCORE 35171.518
AT ITER 1005 NEW BEST:: SOT 116383 SOS 64446 HAS SOPS 64366 HAS SOUS 35041 HAS SOUPS 35023 WITH SCORE 35087.446
AT ITER 1014 NEW BEST:: SOT 116303 SOS 64554 HAS SOPS 64474 HAS SOUS 34993 HAS SOUPS 34975 WITH SCORE 35039.554
AT ITER 1017 NEW BEST:: SOT 116020 SOS 64271 HAS SOPS 64191 HAS SOUS 34857 HAS SOUPS 34839 WITH SCORE 34903.271
AT ITER 1022 NEW BEST:: SOT 115683 SOS 63955 HAS SOPS 63875 HAS SOUS 34545 HAS SOUPS 34527 WITH SCORE 34590.955
AT ITER 1024 NEW BEST:: SOT 115840 SOS 63869 HAS SOPS 63789 HAS SOUS 34465 HAS SOUPS 34447 WITH SCORE 34510.869
AT ITER 1029 NEW BEST:: SOT 115833 SOS 63862 HAS SOPS 63782 HAS SOUS 34458 HAS SOUPS 34440 WITH SCORE 34503.862
AT ITER 1033 NEW BEST:: SOT 115862 SOS 63850 HAS SOPS 63770 HAS SOUS 34446 HAS SOUPS 34428 WITH SCORE 34491.85
AT ITER 1035 NEW BEST:: SOT 115862 SOS 63850 HAS SOPS 63770 HAS SOUS 34443 HAS SOUPS 34425 WITH SCORE 34488.85
AT ITER 1041 NEW BEST:: SOT 115861 SOS 63843 HAS SOPS 63763 HAS SOUS 34442 HAS SOUPS 34424 WITH SCORE 34487.843
AT ITER 1057 NEW BEST:: SOT 115792 SOS 63737 HAS SOPS 63657 HAS SOUS 34343 HAS SOUPS 34325 WITH SCORE 34388.737
AT ITER 1058 NEW BEST:: SOT 115712 SOS 63657 HAS SOPS 63577 HAS SOUS 34245 HAS SOUPS 34227 WITH SCORE 34290.657
AT ITER 1087 NEW BEST:: SOT 115643 SOS 63683 HAS SOPS 63603 HAS SOUS 34219 HAS SOUPS 34201 WITH SCORE 34264.683
AT ITER 1106 NEW BEST:: SOT 115629 SOS 63704 HAS SOPS 63624 HAS SOUS 34214 HAS SOUPS 34196 WITH SCORE 34259.704
AT ITER 1131 NEW BEST:: SOT 115601 SOS 63690 HAS SOPS 63610 HAS SOUS 34197 HAS SOUPS 34179 WITH SCORE 34242.69
AT ITER 1140 NEW BEST:: SOT 115629 SOS 63743 HAS SOPS 63663 HAS SOUS 34189 HAS SOUPS 34171 WITH SCORE 34234.743
AT ITER 1153 NEW BEST:: SOT 115598 SOS 63712 HAS SOPS 63632 HAS SOUS 34178 HAS SOUPS 34160 WITH SCORE 34223.712
AT ITER 1163 NEW BEST:: SOT 115588 SOS 63683 HAS SOPS 63603 HAS SOUS 34155 HAS SOUPS 34137 WITH SCORE 34200.683
AT ITER 1165 NEW BEST:: SOT 115557 SOS 63627 HAS SOPS 63547 HAS SOUS 34099 HAS SOUPS 34081 WITH SCORE 34144.627
AT ITER 1176 NEW BEST:: SOT 115555 SOS 63623 HAS SOPS 63543 HAS SOUS 34097 HAS SOUPS 34079 WITH SCORE 34142.623
AT ITER 1177 NEW BEST:: SOT 115555 SOS 63619 HAS SOPS 63539 HAS SOUS 34097 HAS SOUPS 34079 WITH SCORE 34142.619
AT ITER 1180 NEW BEST:: SOT 115545 SOS 63609 HAS SOPS 63529 HAS SOUS 34096 HAS SOUPS 34078 WITH SCORE 34141.609
AT ITER 1184 NEW BEST:: SOT 115540 SOS 63604 HAS SOPS 63524 HAS SOUS 34086 HAS SOUPS 34068 WITH SCORE 34131.604
AT ITER 1188 NEW BEST:: SOT 115541 SOS 63605 HAS SOPS 63525 HAS SOUS 34054 HAS SOUPS 34036 WITH SCORE 34099.605
AT ITER 1192 NEW BEST:: SOT 115537 SOS 63629 HAS SOPS 63549 HAS SOUS 34030 HAS SOUPS 34012 WITH SCORE 34075.629
AT ITER 1198 NEW BEST:: SOT 115524 SOS 63616 HAS SOPS 63536 HAS SOUS 34010 HAS SOUPS 33992 WITH SCORE 34055.616
AT ITER 1205 NEW BEST:: SOT 115513 SOS 63605 HAS SOPS 63525 HAS SOUS 33999 HAS SOUPS 33981 WITH SCORE 34044.605
AT ITER 1226 NEW BEST:: SOT 115513 SOS 63603 HAS SOPS 63523 HAS SOUS 33997 HAS SOUPS 33979 WITH SCORE 34042.603
AT ITER 1238 NEW BEST:: SOT 115518 SOS 63580 HAS SOPS 63500 HAS SOUS 33967 HAS SOUPS 33949 WITH SCORE 34012.58
AT ITER 1259 NEW BEST:: SOT 115516 SOS 63578 HAS SOPS 63498 HAS SOUS 33957 HAS SOUPS 33939 WITH SCORE 34002.578
AT ITER 1264 NEW BEST:: SOT 115416 SOS 63538 HAS SOPS 63458 HAS SOUS 33817 HAS SOUPS 33799 WITH SCORE 33862.538
AT ITER 1268 NEW BEST:: SOT 115272 SOS 63502 HAS SOPS 63422 HAS SOUS 33708 HAS SOUPS 33690 WITH SCORE 33753.502
AT ITER 1270 NEW BEST:: SOT 115199 SOS 63586 HAS SOPS 63506 HAS SOUS 33707 HAS SOUPS 33689 WITH SCORE 33752.586
AT ITER 1286 NEW BEST:: SOT 115149 SOS 63608 HAS SOPS 63528 HAS SOUS 33689 HAS SOUPS 33671 WITH SCORE 33734.608
AT ITER 1291 NEW BEST:: SOT 115146 SOS 63590 HAS SOPS 63510 HAS SOUS 33671 HAS SOUPS 33653 WITH SCORE 33716.59
AT ITER 1297 NEW BEST:: SOT 115146 SOS 63590 HAS SOPS 63510 HAS SOUS 33647 HAS SOUPS 33629 WITH SCORE 33692.59
AT ITER 1307 NEW BEST:: SOT 115146 SOS 63590 HAS SOPS 63510 HAS SOUS 33641 HAS SOUPS 33623 WITH SCORE 33686.59
AT ITER 1311 NEW BEST:: SOT 115114 SOS 63281 HAS SOPS 63201 HAS SOUS 33521 HAS SOUPS 33503 WITH SCORE 33566.281
AT ITER 1329 NEW BEST:: SOT 115046 SOS 63213 HAS SOPS 63133 HAS SOUS 33407 HAS SOUPS 33389 WITH SCORE 33452.213
AT ITER 1330 NEW BEST:: SOT 115046 SOS 63213 HAS SOPS 63133 HAS SOUS 33398 HAS SOUPS 33380 WITH SCORE 33443.213
AT ITER 1339 NEW BEST:: SOT 114988 SOS 63170 HAS SOPS 63090 HAS SOUS 33355 HAS SOUPS 33337 WITH SCORE 33400.17
AT ITER 1352 NEW BEST:: SOT 114988 SOS 63170 HAS SOPS 63090 HAS SOUS 33338 HAS SOUPS 33320 WITH SCORE 33383.17
AT ITER 1356 NEW BEST:: SOT 114967 SOS 63149 HAS SOPS 63069 HAS SOUS 33308 HAS SOUPS 33290 WITH SCORE 33353.149
AT ITER 1360 NEW BEST:: SOT 114888 SOS 63093 HAS SOPS 63013 HAS SOUS 33252 HAS SOUPS 33234 WITH SCORE 33297.093
AT ITER 1384 NEW BEST:: SOT 114865 SOS 63083 HAS SOPS 63003 HAS SOUS 33242 HAS SOUPS 33224 WITH SCORE 33287.083
AT ITER 1403 NEW BEST:: SOT 114830 SOS 63048 HAS SOPS 62968 HAS SOUS 33222 HAS SOUPS 33204 WITH SCORE 33267.048
AT ITER 1404 NEW BEST:: SOT 114829 SOS 63046 HAS SOPS 62966 HAS SOUS 33221 HAS SOUPS 33203 WITH SCORE 33266.046
AT ITER 1432 NEW BEST:: SOT 114829 SOS 63047 HAS SOPS 62967 HAS SOUS 33203 HAS SOUPS 33185 WITH SCORE 33248.047
AT ITER 1448 NEW BEST:: SOT 114597 SOS 62993 HAS SOPS 62913 HAS SOUS 33203 HAS SOUPS 33185 WITH SCORE 33247.993
AT ITER 1450 NEW BEST:: SOT 114514 SOS 62962 HAS SOPS 62882 HAS SOUS 33171 HAS SOUPS 33153 WITH SCORE 33215.962
AT ITER 1466 NEW BEST:: SOT 114509 SOS 62936 HAS SOPS 62856 HAS SOUS 33145 HAS SOUPS 33127 WITH SCORE 33189.936
AT ITER 1507 NEW BEST:: SOT 114681 SOS 63021 HAS SOPS 62941 HAS SOUS 33058 HAS SOUPS 33040 WITH SCORE 33103.021
AT ITER 1512 NEW BEST:: SOT 114665 SOS 63005 HAS SOPS 62925 HAS SOUS 33024 HAS SOUPS 33006 WITH SCORE 33069.005
AT ITER 1527 NEW BEST:: SOT 114653 SOS 62936 HAS SOPS 62856 HAS SOUS 32973 HAS SOUPS 32955 WITH SCORE 33017.936
AT ITER 1550 NEW BEST:: SOT 114587 SOS 62980 HAS SOPS 62900 HAS SOUS 32919 HAS SOUPS 32901 WITH SCORE 32963.98
AT ITER 1566 NEW BEST:: SOT 114588 SOS 62955 HAS SOPS 62875 HAS SOUS 32894 HAS SOUPS 32876 WITH SCORE 32938.955
AT ITER 1573 NEW BEST:: SOT 114577 SOS 62944 HAS SOPS 62864 HAS SOUS 32883 HAS SOUPS 32865 WITH SCORE 32927.944
AT ITER 1582 NEW BEST:: SOT 114452 SOS 62879 HAS SOPS 62799 HAS SOUS 32738 HAS SOUPS 32720 WITH SCORE 32782.879
AT ITER 1590 NEW BEST:: SOT 114451 SOS 62878 HAS SOPS 62798 HAS SOUS 32737 HAS SOUPS 32719 WITH SCORE 32781.878
AT ITER 1600 NEW BEST:: SOT 114406 SOS 62833 HAS SOPS 62753 HAS SOUS 32692 HAS SOUPS 32674 WITH SCORE 32736.833
AT ITER 1605 NEW BEST:: SOT 114310 SOS 62750 HAS SOPS 62670 HAS SOUS 32561 HAS SOUPS 32543 WITH SCORE 32605.75
AT ITER 1608 NEW BEST:: SOT 114307 SOS 62744 HAS SOPS 62664 HAS SOUS 32558 HAS SOUPS 32540 WITH SCORE 32602.744
AT ITER 1627 NEW BEST:: SOT 114313 SOS 62498 HAS SOPS 62418 HAS SOUS 32513 HAS SOUPS 32495 WITH SCORE 32557.498
AT ITER 1635 NEW BEST:: SOT 114348 SOS 62472 HAS SOPS 62392 HAS SOUS 32425 HAS SOUPS 32407 WITH SCORE 32469.472
AT ITER 1641 NEW BEST:: SOT 114298 SOS 62422 HAS SOPS 62342 HAS SOUS 32385 HAS SOUPS 32367 WITH SCORE 32429.422
AT ITER 1647 NEW BEST:: SOT 114272 SOS 62387 HAS SOPS 62307 HAS SOUS 32325 HAS SOUPS 32307 WITH SCORE 32369.387
AT ITER 1659 NEW BEST:: SOT 114237 SOS 62363 HAS SOPS 62283 HAS SOUS 32301 HAS SOUPS 32283 WITH SCORE 32345.363
AT ITER 1678 NEW BEST:: SOT 114254 SOS 62346 HAS SOPS 62266 HAS SOUS 32295 HAS SOUPS 32277 WITH SCORE 32339.346
AT ITER 1686 NEW BEST:: SOT 114246 SOS 62392 HAS SOPS 62312 HAS SOUS 32289 HAS SOUPS 32271 WITH SCORE 32333.392
AT ITER 1715 NEW BEST:: SOT 114245 SOS 62391 HAS SOPS 62311 HAS SOUS 32284 HAS SOUPS 32266 WITH SCORE 32328.391
AT ITER 1716 NEW BEST:: SOT 114233 SOS 62379 HAS SOPS 62299 HAS SOUS 32272 HAS SOUPS 32254 WITH SCORE 32316.379
AT ITER 1732 NEW BEST:: SOT 114230 SOS 62393 HAS SOPS 62313 HAS SOUS 32269 HAS SOUPS 32251 WITH SCORE 32313.393
AT ITER 1736 NEW BEST:: SOT 114278 SOS 62386 HAS SOPS 62306 HAS SOUS 32262 HAS SOUPS 32244 WITH SCORE 32306.386
AT ITER 1740 NEW BEST:: SOT 114266 SOS 62359 HAS SOPS 62279 HAS SOUS 32238 HAS SOUPS 32220 WITH SCORE 32282.359
AT ITER 1749 NEW BEST:: SOT 114218 SOS 62348 HAS SOPS 62268 HAS SOUS 32190 HAS SOUPS 32172 WITH SCORE 32234.348
AT ITER 1762 NEW BEST:: SOT 114250 SOS 62380 HAS SOPS 62300 HAS SOUS 32178 HAS SOUPS 32160 WITH SCORE 32222.38
AT ITER 1767 NEW BEST:: SOT 114214 SOS 62364 HAS SOPS 62284 HAS SOUS 32154 HAS SOUPS 32136 WITH SCORE 32198.364
AT ITER 1773 NEW BEST:: SOT 114208 SOS 62352 HAS SOPS 62272 HAS SOUS 32141 HAS SOUPS 32123 WITH SCORE 32185.352
AT ITER 1779 NEW BEST:: SOT 114186 SOS 62347 HAS SOPS 62267 HAS SOUS 32129 HAS SOUPS 32111 WITH SCORE 32173.347
AT ITER 1800 NEW BEST:: SOT 113990 SOS 62237 HAS SOPS 62157 HAS SOUS 31987 HAS SOUPS 31969 WITH SCORE 32031.237
AT ITER 1815 NEW BEST:: SOT 113974 SOS 62221 HAS SOPS 62141 HAS SOUS 31986 HAS SOUPS 31968 WITH SCORE 32030.221
AT ITER 1830 NEW BEST:: SOT 112975 SOS 61222 HAS SOPS 61142 HAS SOUS 31501 HAS SOUPS 31483 WITH SCORE 31544.222
AT ITER 1831 NEW BEST:: SOT 112900 SOS 61214 HAS SOPS 61134 HAS SOUS 31493 HAS SOUPS 31475 WITH SCORE 31536.214
AT ITER 1834 NEW BEST:: SOT 112890 SOS 60841 HAS SOPS 60761 HAS SOUS 31483 HAS SOUPS 31465 WITH SCORE 31525.841
AT ITER 1835 NEW BEST:: SOT 112854 SOS 60772 HAS SOPS 60692 HAS SOUS 31277 HAS SOUPS 31259 WITH SCORE 31319.772
AT ITER 1836 NEW BEST:: SOT 112174 SOS 60092 HAS SOPS 60012 HAS SOUS 30984 HAS SOUPS 30966 WITH SCORE 31026.092
AT ITER 1838 NEW BEST:: SOT 112174 SOS 60089 HAS SOPS 60009 HAS SOUS 30981 HAS SOUPS 30963 WITH SCORE 31023.089
AT ITER 1840 NEW BEST:: SOT 112174 SOS 60089 HAS SOPS 60009 HAS SOUS 30980 HAS SOUPS 30962 WITH SCORE 31022.089
AT ITER 1854 NEW BEST:: SOT 112203 SOS 60012 HAS SOPS 59932 HAS SOUS 30967 HAS SOUPS 30949 WITH SCORE 31009.012
AT ITER 1866 NEW BEST:: SOT 112262 SOS 60072 HAS SOPS 59992 HAS SOUS 30951 HAS SOUPS 30933 WITH SCORE 30993.072
AT ITER 1881 NEW BEST:: SOT 112256 SOS 60065 HAS SOPS 59985 HAS SOUS 30931 HAS SOUPS 30913 WITH SCORE 30973.065
AT ITER 1898 NEW BEST:: SOT 112256 SOS 60061 HAS SOPS 59981 HAS SOUS 30929 HAS SOUPS 30911 WITH SCORE 30971.061
AT ITER 1921 NEW BEST:: SOT 112254 SOS 60059 HAS SOPS 59979 HAS SOUS 30927 HAS SOUPS 30909 WITH SCORE 30969.059
AT ITER 1936 NEW BEST:: SOT 112251 SOS 60053 HAS SOPS 59973 HAS SOUS 30921 HAS SOUPS 30903 WITH SCORE 30963.053
AT ITER 1939 NEW BEST:: SOT 112251 SOS 60053 HAS SOPS 59973 HAS SOUS 30906 HAS SOUPS 30888 WITH SCORE 30948.053
AT ITER 1949 NEW BEST:: SOT 112213 SOS 59971 HAS SOPS 59891 HAS SOUS 30824 HAS SOUPS 30806 WITH SCORE 30865.971
AT ITER 1956 NEW BEST:: SOT 112189 SOS 59978 HAS SOPS 59898 HAS SOUS 30776 HAS SOUPS 30758 WITH SCORE 30817.978
AT ITER 1959 NEW BEST:: SOT 112189 SOS 59970 HAS SOPS 59890 HAS SOUS 30764 HAS SOUPS 30746 WITH SCORE 30805.97
AT ITER 1972 NEW BEST:: SOT 112159 SOS 59986 HAS SOPS 59906 HAS SOUS 30742 HAS SOUPS 30724 WITH SCORE 30783.986
AT ITER 1993 NEW BEST:: SOT 112094 SOS 59921 HAS SOPS 59841 HAS SOUS 30615 HAS SOUPS 30597 WITH SCORE 30656.921
AT ITER 1996 NEW BEST:: SOT 111969 SOS 59849 HAS SOPS 59769 HAS SOUS 30543 HAS SOUPS 30525 WITH SCORE 30584.849
AT ITER 2007 NEW BEST:: SOT 111958 SOS 59838 HAS SOPS 59758 HAS SOUS 30532 HAS SOUPS 30514 WITH SCORE 30573.838
AT ITER 2019 NEW BEST:: SOT 111954 SOS 59215 HAS SOPS 59135 HAS SOUS 30529 HAS SOUPS 30511 WITH SCORE 30570.215
AT ITER 2023 NEW BEST:: SOT 111915 SOS 59191 HAS SOPS 59111 HAS SOUS 30505 HAS SOUPS 30487 WITH SCORE 30546.191
AT ITER 2037 NEW BEST:: SOT 111909 SOS 59199 HAS SOPS 59119 HAS SOUS 30501 HAS SOUPS 30483 WITH SCORE 30542.199
AT ITER 2040 NEW BEST:: SOT 111889 SOS 59179 HAS SOPS 59099 HAS SOUS 30467 HAS SOUPS 30449 WITH SCORE 30508.179
AT ITER 2042 NEW BEST:: SOT 111884 SOS 59174 HAS SOPS 59094 HAS SOUS 30460 HAS SOUPS 30442 WITH SCORE 30501.174
AT ITER 2043 NEW BEST:: SOT 111884 SOS 59174 HAS SOPS 59094 HAS SOUS 30455 HAS SOUPS 30437 WITH SCORE 30496.174
AT ITER 2069 NEW BEST:: SOT 111884 SOS 59174 HAS SOPS 59094 HAS SOUS 30454 HAS SOUPS 30436 WITH SCORE 30495.174
AT ITER 2106 NEW BEST:: SOT 111857 SOS 59158 HAS SOPS 59078 HAS SOUS 30438 HAS SOUPS 30420 WITH SCORE 30479.158
AT ITER 2132 NEW BEST:: SOT 111858 SOS 59157 HAS SOPS 59077 HAS SOUS 30436 HAS SOUPS 30418 WITH SCORE 30477.157
AT ITER 2135 NEW BEST:: SOT 111858 SOS 59617 HAS SOPS 59537 HAS SOUS 30423 HAS SOUPS 30405 WITH SCORE 30464.617
AT ITER 2142 NEW BEST:: SOT 111820 SOS 59500 HAS SOPS 59420 HAS SOUS 30314 HAS SOUPS 30296 WITH SCORE 30355.5
AT ITER 2149 NEW BEST:: SOT 111820 SOS 59500 HAS SOPS 59420 HAS SOUS 29916 HAS SOUPS 29898 WITH SCORE 29957.5
AT ITER 2152 NEW BEST:: SOT 111785 SOS 59506 HAS SOPS 59426 HAS SOUS 29902 HAS SOUPS 29884 WITH SCORE 29943.506
AT ITER 2159 NEW BEST:: SOT 111785 SOS 59438 HAS SOPS 59358 HAS SOUS 29899 HAS SOUPS 29881 WITH SCORE 29940.438
AT ITER 2160 NEW BEST:: SOT 111780 SOS 59412 HAS SOPS 59332 HAS SOUS 29890 HAS SOUPS 29872 WITH SCORE 29931.412
AT ITER 2161 NEW BEST:: SOT 111769 SOS 59401 HAS SOPS 59321 HAS SOUS 29879 HAS SOUPS 29861 WITH SCORE 29920.401
AT ITER 2172 NEW BEST:: SOT 111731 SOS 59325 HAS SOPS 59245 HAS SOUS 29649 HAS SOUPS 29631 WITH SCORE 29690.325
AT ITER 2179 NEW BEST:: SOT 111731 SOS 59323 HAS SOPS 59243 HAS SOUS 29647 HAS SOUPS 29629 WITH SCORE 29688.323
AT ITER 2180 NEW BEST:: SOT 111741 SOS 59352 HAS SOPS 59272 HAS SOUS 29627 HAS SOUPS 29609 WITH SCORE 29668.352
AT ITER 2199 NEW BEST:: SOT 111738 SOS 59349 HAS SOPS 59269 HAS SOUS 29624 HAS SOUPS 29606 WITH SCORE 29665.349
AT ITER 2201 NEW BEST:: SOT 111738 SOS 59349 HAS SOPS 59269 HAS SOUS 29615 HAS SOUPS 29597 WITH SCORE 29656.349
AT ITER 2228 NEW BEST:: SOT 111703 SOS 59287 HAS SOPS 59207 HAS SOUS 29553 HAS SOUPS 29535 WITH SCORE 29594.287
AT ITER 2239 NEW BEST:: SOT 111703 SOS 59259 HAS SOPS 59179 HAS SOUS 29525 HAS SOUPS 29507 WITH SCORE 29566.259
AT ITER 2256 NEW BEST:: SOT 111663 SOS 59219 HAS SOPS 59139 HAS SOUS 29445 HAS SOUPS 29427 WITH SCORE 29486.219
AT ITER 2284 NEW BEST:: SOT 111652 SOS 59219 HAS SOPS 59139 HAS SOUS 29434 HAS SOUPS 29416 WITH SCORE 29475.219
AT ITER 2298 NEW BEST:: SOT 111646 SOS 59213 HAS SOPS 59133 HAS SOUS 29418 HAS SOUPS 29400 WITH SCORE 29459.213
AT ITER 2300 NEW BEST:: SOT 111642 SOS 59209 HAS SOPS 59129 HAS SOUS 29412 HAS SOUPS 29394 WITH SCORE 29453.209
AT ITER 2305 NEW BEST:: SOT 111634 SOS 59186 HAS SOPS 59106 HAS SOUS 29389 HAS SOUPS 29371 WITH SCORE 29430.186
AT ITER 2345 NEW BEST:: SOT 111634 SOS 59167 HAS SOPS 59087 HAS SOUS 29370 HAS SOUPS 29352 WITH SCORE 29411.167
AT ITER 2359 NEW BEST:: SOT 111634 SOS 59143 HAS SOPS 59063 HAS SOUS 29352 HAS SOUPS 29334 WITH SCORE 29393.143
AT ITER 2379 NEW BEST:: SOT 111604 SOS 59113 HAS SOPS 59033 HAS SOUS 29292 HAS SOUPS 29274 WITH SCORE 29333.113
AT ITER 2406 NEW BEST:: SOT 111584 SOS 59087 HAS SOPS 59007 HAS SOUS 29238 HAS SOUPS 29220 WITH SCORE 29279.087
AT ITER 2407 NEW BEST:: SOT 111603 SOS 59109 HAS SOPS 59029 HAS SOUS 29198 HAS SOUPS 29180 WITH SCORE 29239.109
AT ITER 2421 NEW BEST:: SOT 111603 SOS 59093 HAS SOPS 59013 HAS SOUS 29182 HAS SOUPS 29164 WITH SCORE 29223.093
AT ITER 2425 NEW BEST:: SOT 111556 SOS 59061 HAS SOPS 58981 HAS SOUS 29150 HAS SOUPS 29132 WITH SCORE 29191.061
AT ITER 2427 NEW BEST:: SOT 111550 SOS 59055 HAS SOPS 58975 HAS SOUS 29150 HAS SOUPS 29132 WITH SCORE 29191.055
AT ITER 2440 NEW BEST:: SOT 111543 SOS 59039 HAS SOPS 58959 HAS SOUS 29109 HAS SOUPS 29091 WITH SCORE 29150.039
AT ITER 2455 NEW BEST:: SOT 111543 SOS 59031 HAS SOPS 58951 HAS SOUS 29100 HAS SOUPS 29082 WITH SCORE 29141.031
AT ITER 2463 NEW BEST:: SOT 111543 SOS 59031 HAS SOPS 58947 HAS SOUS 29100 HAS SOUPS 29078 WITH SCORE 29137.031
AT ITER 2477 NEW BEST:: SOT 111542 SOS 59030 HAS SOPS 58946 HAS SOUS 29098 HAS SOUPS 29076 WITH SCORE 29135.03
AT ITER 2483 NEW BEST:: SOT 111527 SOS 59026 HAS SOPS 58942 HAS SOUS 29068 HAS SOUPS 29046 WITH SCORE 29105.026
AT ITER 2509 NEW BEST:: SOT 111526 SOS 59023 HAS SOPS 58939 HAS SOUS 29067 HAS SOUPS 29045 WITH SCORE 29104.023
AT ITER 2511 NEW BEST:: SOT 111522 SOS 59013 HAS SOPS 58929 HAS SOUS 29057 HAS SOUPS 29035 WITH SCORE 29094.013
AT ITER 2540 NEW BEST:: SOT 111521 SOS 59012 HAS SOPS 58928 HAS SOUS 29055 HAS SOUPS 29033 WITH SCORE 29092.012
AT ITER 2542 NEW BEST:: SOT 111510 SOS 58989 HAS SOPS 58905 HAS SOUS 29029 HAS SOUPS 29007 WITH SCORE 29065.989
AT ITER 2546 NEW BEST:: SOT 111501 SOS 58980 HAS SOPS 58896 HAS SOUS 29011 HAS SOUPS 28989 WITH SCORE 29047.98
AT ITER 2592 NEW BEST:: SOT 111500 SOS 58979 HAS SOPS 58895 HAS SOUS 29010 HAS SOUPS 28988 WITH SCORE 29046.979
AT ITER 2601 NEW BEST:: SOT 111452 SOS 58949 HAS SOPS 58865 HAS SOUS 28980 HAS SOUPS 28958 WITH SCORE 29016.949
AT ITER 2606 NEW BEST:: SOT 111463 SOS 58960 HAS SOPS 58876 HAS SOUS 28965 HAS SOUPS 28943 WITH SCORE 29001.96
AT ITER 2611 NEW BEST:: SOT 111641 SOS 59152 HAS SOPS 59068 HAS SOUS 28727 HAS SOUPS 28705 WITH SCORE 28764.152
AT ITER 2624 NEW BEST:: SOT 111851 SOS 59374 HAS SOPS 59290 HAS SOUS 28720 HAS SOUPS 28698 WITH SCORE 28757.374
AT ITER 2631 NEW BEST:: SOT 111849 SOS 59372 HAS SOPS 59288 HAS SOUS 28718 HAS SOUPS 28696 WITH SCORE 28755.372
AT ITER 2637 NEW BEST:: SOT 111835 SOS 59358 HAS SOPS 59274 HAS SOUS 28690 HAS SOUPS 28668 WITH SCORE 28727.358
AT ITER 2646 NEW BEST:: SOT 111819 SOS 59356 HAS SOPS 59271 HAS SOUS 28685 HAS SOUPS 28663 WITH SCORE 28722.356
AT ITER 2654 NEW BEST:: SOT 111804 SOS 59341 HAS SOPS 59256 HAS SOUS 28628 HAS SOUPS 28606 WITH SCORE 28665.341
AT ITER 2673 NEW BEST:: SOT 111811 SOS 59355 HAS SOPS 59270 HAS SOUS 28576 HAS SOUPS 28554 WITH SCORE 28613.355
AT ITER 2699 NEW BEST:: SOT 111796 SOS 59340 HAS SOPS 59255 HAS SOUS 28561 HAS SOUPS 28539 WITH SCORE 28598.34
AT ITER 2721 NEW BEST:: SOT 111755 SOS 59300 HAS SOPS 59215 HAS SOUS 28479 HAS SOUPS 28457 WITH SCORE 28516.3
AT ITER 2744 NEW BEST:: SOT 111735 SOS 59280 HAS SOPS 59195 HAS SOUS 28459 HAS SOUPS 28437 WITH SCORE 28496.28
AT ITER 2765 NEW BEST:: SOT 111733 SOS 59186 HAS SOPS 59101 HAS SOUS 28457 HAS SOUPS 28435 WITH SCORE 28494.186
AT ITER 2766 NEW BEST:: SOT 111728 SOS 59186 HAS SOPS 59101 HAS SOUS 28400 HAS SOUPS 28378 WITH SCORE 28437.186
AT ITER 2771 NEW BEST:: SOT 111715 SOS 59173 HAS SOPS 59088 HAS SOUS 28389 HAS SOUPS 28367 WITH SCORE 28426.173
AT ITER 2795 NEW BEST:: SOT 111517 SOS 58975 HAS SOPS 58890 HAS SOUS 28191 HAS SOUPS 28169 WITH SCORE 28227.975
AT ITER 2820 NEW BEST:: SOT 111517 SOS 58975 HAS SOPS 58890 HAS SOUS 28146 HAS SOUPS 28124 WITH SCORE 28182.975
AT ITER 2827 NEW BEST:: SOT 111517 SOS 58957 HAS SOPS 58872 HAS SOUS 28146 HAS SOUPS 28124 WITH SCORE 28182.957
AT ITER 2840 NEW BEST:: SOT 111514 SOS 58954 HAS SOPS 58869 HAS SOUS 28131 HAS SOUPS 28109 WITH SCORE 28167.954
AT ITER 2861 NEW BEST:: SOT 111514 SOS 58977 HAS SOPS 58892 HAS SOUS 28088 HAS SOUPS 28066 WITH SCORE 28124.977
AT ITER 2879 NEW BEST:: SOT 111567 SOS 59030 HAS SOPS 58945 HAS SOUS 28053 HAS SOUPS 28031 WITH SCORE 28090.03
AT ITER 2889 NEW BEST:: SOT 111564 SOS 59024 HAS SOPS 58939 HAS SOUS 28044 HAS SOUPS 28022 WITH SCORE 28081.024
AT ITER 2937 NEW BEST:: SOT 111583 SOS 59095 HAS SOPS 59010 HAS SOUS 28036 HAS SOUPS 28014 WITH SCORE 28073.095
AT ITER 2966 NEW BEST:: SOT 111528 SOS 59044 HAS SOPS 58959 HAS SOUS 27984 HAS SOUPS 27962 WITH SCORE 28021.044
AT ITER 2993 NEW BEST:: SOT 111542 SOS 59026 HAS SOPS 58941 HAS SOUS 27907 HAS SOUPS 27885 WITH SCORE 27944.026
AT ITER 3001 NEW BEST:: SOT 111542 SOS 59017 HAS SOPS 58932 HAS SOUS 27891 HAS SOUPS 27869 WITH SCORE 27928.017
AT ITER 3020 NEW BEST:: SOT 111575 SOS 59050 HAS SOPS 58965 HAS SOUS 27861 HAS SOUPS 27839 WITH SCORE 27898.05
AT ITER 3025 NEW BEST:: SOT 111533 SOS 59134 HAS SOPS 59049 HAS SOUS 27819 HAS SOUPS 27797 WITH SCORE 27856.134
AT ITER 3043 NEW BEST:: SOT 111539 SOS 59140 HAS SOPS 59055 HAS SOUS 27805 HAS SOUPS 27783 WITH SCORE 27842.14
AT ITER 3055 NEW BEST:: SOT 111534 SOS 59112 HAS SOPS 59027 HAS SOUS 27793 HAS SOUPS 27771 WITH SCORE 27830.112
AT ITER 3065 NEW BEST:: SOT 111619 SOS 59028 HAS SOPS 58943 HAS SOUS 27725 HAS SOUPS 27703 WITH SCORE 27762.028
AT ITER 3080 NEW BEST:: SOT 111603 SOS 59012 HAS SOPS 58927 HAS SOUS 27701 HAS SOUPS 27679 WITH SCORE 27738.012
AT ITER 3095 NEW BEST:: SOT 111596 SOS 58998 HAS SOPS 58913 HAS SOUS 27687 HAS SOUPS 27665 WITH SCORE 27723.998
AT ITER 3097 NEW BEST:: SOT 111596 SOS 58998 HAS SOPS 58913 HAS SOUS 27679 HAS SOUPS 27657 WITH SCORE 27715.998
AT ITER 3102 NEW BEST:: SOT 111570 SOS 58998 HAS SOPS 58913 HAS SOUS 27666 HAS SOUPS 27644 WITH SCORE 27702.998
AT ITER 3120 NEW BEST:: SOT 111564 SOS 58992 HAS SOPS 58907 HAS SOUS 27660 HAS SOUPS 27638 WITH SCORE 27696.992
AT ITER 3132 NEW BEST:: SOT 111534 SOS 58969 HAS SOPS 58884 HAS SOUS 27617 HAS SOUPS 27595 WITH SCORE 27653.969
AT ITER 3155 NEW BEST:: SOT 111522 SOS 58941 HAS SOPS 58856 HAS SOUS 27589 HAS SOUPS 27567 WITH SCORE 27625.941
AT ITER 3160 NEW BEST:: SOT 111509 SOS 58913 HAS SOPS 58828 HAS SOUS 27561 HAS SOUPS 27539 WITH SCORE 27597.913
AT ITER 3196 NEW BEST:: SOT 111502 SOS 58906 HAS SOPS 58821 HAS SOUS 27554 HAS SOUPS 27532 WITH SCORE 27590.906
AT ITER 3213 NEW BEST:: SOT 111501 SOS 58905 HAS SOPS 58820 HAS SOUS 27535 HAS SOUPS 27513 WITH SCORE 27571.905
AT ITER 3219 NEW BEST:: SOT 111506 SOS 58920 HAS SOPS 58835 HAS SOUS 27521 HAS SOUPS 27499 WITH SCORE 27557.92
AT ITER 3265 NEW BEST:: SOT 111416 SOS 58854 HAS SOPS 58769 HAS SOUS 27433 HAS SOUPS 27411 WITH SCORE 27469.854
AT ITER 3266 NEW BEST:: SOT 111396 SOS 58834 HAS SOPS 58749 HAS SOUS 27425 HAS SOUPS 27403 WITH SCORE 27461.834
AT ITER 3294 NEW BEST:: SOT 111395 SOS 58833 HAS SOPS 58748 HAS SOUS 27415 HAS SOUPS 27393 WITH SCORE 27451.833
AT ITER 3302 NEW BEST:: SOT 111398 SOS 58804 HAS SOPS 58719 HAS SOUS 27415 HAS SOUPS 27393 WITH SCORE 27451.804
AT ITER 3312 NEW BEST:: SOT 111410 SOS 58794 HAS SOPS 58709 HAS SOUS 27386 HAS SOUPS 27364 WITH SCORE 27422.794
AT ITER 3314 NEW BEST:: SOT 111410 SOS 58790 HAS SOPS 58705 HAS SOUS 27386 HAS SOUPS 27364 WITH SCORE 27422.79
AT ITER 3351 NEW BEST:: SOT 111410 SOS 58790 HAS SOPS 58705 HAS SOUS 27378 HAS SOUPS 27356 WITH SCORE 27414.79
AT ITER 3352 NEW BEST:: SOT 111409 SOS 58789 HAS SOPS 58704 HAS SOUS 27377 HAS SOUPS 27355 WITH SCORE 27413.789
AT ITER 3387 NEW BEST:: SOT 111416 SOS 58769 HAS SOPS 58684 HAS SOUS 27370 HAS SOUPS 27348 WITH SCORE 27406.769
AT ITER 3411 NEW BEST:: SOT 111457 SOS 58758 HAS SOPS 58673 HAS SOUS 27352 HAS SOUPS 27330 WITH SCORE 27388.758
AT ITER 3413 NEW BEST:: SOT 111450 SOS 58751 HAS SOPS 58666 HAS SOUS 27338 HAS SOUPS 27316 WITH SCORE 27374.751
AT ITER 3432 NEW BEST:: SOT 111443 SOS 58635 HAS SOPS 58550 HAS SOUS 27314 HAS SOUPS 27292 WITH SCORE 27350.635
AT ITER 3472 NEW BEST:: SOT 111427 SOS 58590 HAS SOPS 58505 HAS SOUS 27269 HAS SOUPS 27247 WITH SCORE 27305.59
AT ITER 3492 NEW BEST:: SOT 111459 SOS 58436 HAS SOPS 58351 HAS SOUS 27155 HAS SOUPS 27133 WITH SCORE 27191.436
AT ITER 3525 NEW BEST:: SOT 111459 SOS 58427 HAS SOPS 58342 HAS SOUS 27146 HAS SOUPS 27124 WITH SCORE 27182.427
AT ITER 3531 NEW BEST:: SOT 111463 SOS 58405 HAS SOPS 58320 HAS SOUS 27124 HAS SOUPS 27102 WITH SCORE 27160.405
AT ITER 3560 NEW BEST:: SOT 111458 SOS 58400 HAS SOPS 58315 HAS SOUS 27111 HAS SOUPS 27089 WITH SCORE 27147.4
AT ITER 3562 NEW BEST:: SOT 111435 SOS 58377 HAS SOPS 58292 HAS SOUS 27064 HAS SOUPS 27042 WITH SCORE 27100.377
AT ITER 3588 NEW BEST:: SOT 111395 SOS 58362 HAS SOPS 58277 HAS SOUS 27049 HAS SOUPS 27027 WITH SCORE 27085.362
AT ITER 3589 NEW BEST:: SOT 111335 SOS 58262 HAS SOPS 58177 HAS SOUS 26895 HAS SOUPS 26873 WITH SCORE 26931.262
AT ITER 3601 NEW BEST:: SOT 111321 SOS 58271 HAS SOPS 58186 HAS SOUS 26884 HAS SOUPS 26862 WITH SCORE 26920.271
AT ITER 3603 NEW BEST:: SOT 111321 SOS 58301 HAS SOPS 58216 HAS SOUS 26868 HAS SOUPS 26846 WITH SCORE 26904.301
AT ITER 3617 NEW BEST:: SOT 111318 SOS 58298 HAS SOPS 58213 HAS SOUS 26865 HAS SOUPS 26843 WITH SCORE 26901.298
AT ITER 3637 NEW BEST:: SOT 111318 SOS 58298 HAS SOPS 58213 HAS SOUS 26841 HAS SOUPS 26819 WITH SCORE 26877.298
AT ITER 3667 NEW BEST:: SOT 111284 SOS 58264 HAS SOPS 58179 HAS SOUS 26807 HAS SOUPS 26785 WITH SCORE 26843.264
AT ITER 3679 NEW BEST:: SOT 111282 SOS 58262 HAS SOPS 58177 HAS SOUS 26805 HAS SOUPS 26783 WITH SCORE 26841.262
AT ITER 3700 NEW BEST:: SOT 111288 SOS 58233 HAS SOPS 58148 HAS SOUS 26795 HAS SOUPS 26773 WITH SCORE 26831.233
AT ITER 3720 NEW BEST:: SOT 111287 SOS 58232 HAS SOPS 58147 HAS SOUS 26793 HAS SOUPS 26771 WITH SCORE 26829.232
AT ITER 3733 NEW BEST:: SOT 111287 SOS 58232 HAS SOPS 58147 HAS SOUS 26785 HAS SOUPS 26763 WITH SCORE 26821.232
AT ITER 3743 NEW BEST:: SOT 111287 SOS 58232 HAS SOPS 58147 HAS SOUS 26782 HAS SOUPS 26760 WITH SCORE 26818.232
AT ITER 3768 NEW BEST:: SOT 111285 SOS 58230 HAS SOPS 58145 HAS SOUS 26773 HAS SOUPS 26751 WITH SCORE 26809.23
AT ITER 3769 NEW BEST:: SOT 111281 SOS 58233 HAS SOPS 58135 HAS SOUS 26781 HAS SOUPS 26750 WITH SCORE 26808.233
AT ITER 3780 NEW BEST:: SOT 111272 SOS 58224 HAS SOPS 58126 HAS SOUS 26761 HAS SOUPS 26730 WITH SCORE 26788.224
AT ITER 3790 NEW BEST:: SOT 111275 SOS 58154 HAS SOPS 58056 HAS SOUS 26692 HAS SOUPS 26661 WITH SCORE 26719.154
AT ITER 3809 NEW BEST:: SOT 111269 SOS 58151 HAS SOPS 58053 HAS SOUS 26689 HAS SOUPS 26658 WITH SCORE 26716.151
AT ITER 3857 NEW BEST:: SOT 111115 SOS 58032 HAS SOPS 57934 HAS SOUS 26540 HAS SOUPS 26509 WITH SCORE 26567.032
AT ITER 3859 NEW BEST:: SOT 111115 SOS 58010 HAS SOPS 57912 HAS SOUS 26518 HAS SOUPS 26487 WITH SCORE 26545.01
AT ITER 3865 NEW BEST:: SOT 111115 SOS 58003 HAS SOPS 57905 HAS SOUS 26515 HAS SOUPS 26484 WITH SCORE 26542.003
AT ITER 3867 NEW BEST:: SOT 111115 SOS 57983 HAS SOPS 57885 HAS SOUS 26495 HAS SOUPS 26464 WITH SCORE 26521.983
AT ITER 3872 NEW BEST:: SOT 111077 SOS 57960 HAS SOPS 57862 HAS SOUS 26442 HAS SOUPS 26411 WITH SCORE 26468.96
AT ITER 3874 NEW BEST:: SOT 111026 SOS 57955 HAS SOPS 57857 HAS SOUS 26437 HAS SOUPS 26406 WITH SCORE 26463.955
AT ITER 3935 NEW BEST:: SOT 111024 SOS 57953 HAS SOPS 57855 HAS SOUS 26433 HAS SOUPS 26402 WITH SCORE 26459.953
AT ITER 4000 NEW BEST:: SOT 110993 SOS 57922 HAS SOPS 57824 HAS SOUS 26399 HAS SOUPS 26368 WITH SCORE 26425.922
AT ITER 4053 NEW BEST:: SOT 110993 SOS 57922 HAS SOPS 57824 HAS SOUS 26372 HAS SOUPS 26341 WITH SCORE 26398.922
AT ITER 4062 NEW BEST:: SOT 110753 SOS 57682 HAS SOPS 57584 HAS SOUS 26177 HAS SOUPS 26146 WITH SCORE 26203.682
AT ITER 4071 NEW BEST:: SOT 110753 SOS 57681 HAS SOPS 57583 HAS SOUS 26176 HAS SOUPS 26145 WITH SCORE 26202.681
AT ITER 4099 NEW BEST:: SOT 110709 SOS 57662 HAS SOPS 57564 HAS SOUS 26101 HAS SOUPS 26070 WITH SCORE 26127.662
AT ITER 4103 NEW BEST:: SOT 110713 SOS 57749 HAS SOPS 57651 HAS SOUS 26097 HAS SOUPS 26066 WITH SCORE 26123.749
AT ITER 4112 NEW BEST:: SOT 110695 SOS 57711 HAS SOPS 57613 HAS SOUS 26078 HAS SOUPS 26047 WITH SCORE 26104.711
AT ITER 4162 NEW BEST:: SOT 110695 SOS 57713 HAS SOPS 57613 HAS SOUS 26074 HAS SOUPS 26043 WITH SCORE 26100.713
AT ITER 4222 NEW BEST:: SOT 110679 SOS 57683 HAS SOPS 57583 HAS SOUS 26068 HAS SOUPS 26037 WITH SCORE 26094.683
AT ITER 4235 NEW BEST:: SOT 110707 SOS 57711 HAS SOPS 57611 HAS SOUS 26057 HAS SOUPS 26026 WITH SCORE 26083.711
AT ITER 4258 NEW BEST:: SOT 110688 SOS 57692 HAS SOPS 57592 HAS SOUS 26010 HAS SOUPS 25979 WITH SCORE 26036.692
AT ITER 4273 NEW BEST:: SOT 110683 SOS 57687 HAS SOPS 57587 HAS SOUS 26005 HAS SOUPS 25974 WITH SCORE 26031.687
AT ITER 4294 NEW BEST:: SOT 110666 SOS 57645 HAS SOPS 57545 HAS SOUS 25963 HAS SOUPS 25932 WITH SCORE 25989.645
AT ITER 4297 NEW BEST:: SOT 110652 SOS 57631 HAS SOPS 57531 HAS SOUS 25942 HAS SOUPS 25911 WITH SCORE 25968.631
AT ITER 4301 NEW BEST:: SOT 110652 SOS 57628 HAS SOPS 57532 HAS SOUS 25938 HAS SOUPS 25907 WITH SCORE 25964.628
AT ITER 4315 NEW BEST:: SOT 110646 SOS 57632 HAS SOPS 57536 HAS SOUS 25932 HAS SOUPS 25901 WITH SCORE 25958.632
AT ITER 4352 NEW BEST:: SOT 110646 SOS 57632 HAS SOPS 57536 HAS SOUS 25923 HAS SOUPS 25892 WITH SCORE 25949.632
AT ITER 4353 NEW BEST:: SOT 110652 SOS 57628 HAS SOPS 57532 HAS SOUS 25916 HAS SOUPS 25885 WITH SCORE 25942.628
AT ITER 4415 NEW BEST:: SOT 110652 SOS 57625 HAS SOPS 57529 HAS SOUS 25916 HAS SOUPS 25885 WITH SCORE 25942.625
AT ITER 4441 NEW BEST:: SOT 110559 SOS 57577 HAS SOPS 57481 HAS SOUS 25864 HAS SOUPS 25833 WITH SCORE 25890.577
AT ITER 4453 NEW BEST:: SOT 110551 SOS 57560 HAS SOPS 57464 HAS SOUS 25850 HAS SOUPS 25819 WITH SCORE 25876.56
AT ITER 4486 NEW BEST:: SOT 110546 SOS 57555 HAS SOPS 57459 HAS SOUS 25822 HAS SOUPS 25791 WITH SCORE 25848.555
AT ITER 4492 NEW BEST:: SOT 110546 SOS 57546 HAS SOPS 57450 HAS SOUS 25822 HAS SOUPS 25791 WITH SCORE 25848.546
AT ITER 4523 NEW BEST:: SOT 110552 SOS 57552 HAS SOPS 57456 HAS SOUS 25814 HAS SOUPS 25783 WITH SCORE 25840.552
AT ITER 4542 NEW BEST:: SOT 110549 SOS 57549 HAS SOPS 57453 HAS SOUS 25811 HAS SOUPS 25780 WITH SCORE 25837.549
AT ITER 4595 NEW BEST:: SOT 110545 SOS 57545 HAS SOPS 57449 HAS SOUS 25803 HAS SOUPS 25772 WITH SCORE 25829.545
AT ITER 4600 NEW BEST:: SOT 110247 SOS 57247 HAS SOPS 57151 HAS SOUS 25490 HAS SOUPS 25459 WITH SCORE 25516.247
AT ITER 4608 NEW BEST:: SOT 110232 SOS 57241 HAS SOPS 57145 HAS SOUS 25482 HAS SOUPS 25451 WITH SCORE 25508.241
AT ITER 4623 NEW BEST:: SOT 110232 SOS 57299 HAS SOPS 57203 HAS SOUS 25450 HAS SOUPS 25419 WITH SCORE 25476.299
AT ITER 4681 NEW BEST:: SOT 110220 SOS 57287 HAS SOPS 57191 HAS SOUS 25404 HAS SOUPS 25373 WITH SCORE 25430.287
AT ITER 4699 NEW BEST:: SOT 110182 SOS 57276 HAS SOPS 57180 HAS SOUS 25381 HAS SOUPS 25350 WITH SCORE 25407.276
AT ITER 4726 NEW BEST:: SOT 110182 SOS 57276 HAS SOPS 57180 HAS SOUS 25361 HAS SOUPS 25330 WITH SCORE 25387.276
AT ITER 4732 NEW BEST:: SOT 110180 SOS 57274 HAS SOPS 57178 HAS SOUS 25359 HAS SOUPS 25328 WITH SCORE 25385.274
AT ITER 4741 NEW BEST:: SOT 110174 SOS 57263 HAS SOPS 57167 HAS SOUS 25329 HAS SOUPS 25298 WITH SCORE 25355.263
AT ITER 4774 NEW BEST:: SOT 110176 SOS 57227 HAS SOPS 57134 HAS SOUS 25326 HAS SOUPS 25295 WITH SCORE 25352.227
AT ITER 4837 NEW BEST:: SOT 110161 SOS 57212 HAS SOPS 57119 HAS SOUS 25311 HAS SOUPS 25280 WITH SCORE 25337.212
AT ITER 4860 NEW BEST:: SOT 110176 SOS 57227 HAS SOPS 57134 HAS SOUS 25297 HAS SOUPS 25266 WITH SCORE 25323.227
AT ITER 4903 NEW BEST:: SOT 110174 SOS 57225 HAS SOPS 57132 HAS SOUS 25297 HAS SOUPS 25266 WITH SCORE 25323.225
AT ITER 4923 NEW BEST:: SOT 110190 SOS 57254 HAS SOPS 57161 HAS SOUS 25287 HAS SOUPS 25256 WITH SCORE 25313.254
AT ITER 4976 NEW BEST:: SOT 110181 SOS 57236 HAS SOPS 57143 HAS SOUS 25260 HAS SOUPS 25229 WITH SCORE 25286.236
AT ITER 4991 NEW BEST:: SOT 110178 SOS 57233 HAS SOPS 57140 HAS SOUS 25251 HAS SOUPS 25220 WITH SCORE 25277.233
AT ITER 4995 NEW BEST:: SOT 110178 SOS 57219 HAS SOPS 57126 HAS SOUS 25247 HAS SOUPS 25216 WITH SCORE 25273.219
AT ITER 5029 NEW BEST:: SOT 110186 SOS 57243 HAS SOPS 57150 HAS SOUS 25241 HAS SOUPS 25210 WITH SCORE 25267.243
AT ITER 5031 NEW BEST:: SOT 110169 SOS 57226 HAS SOPS 57133 HAS SOUS 25224 HAS SOUPS 25193 WITH SCORE 25250.226
AT ITER 5041 NEW BEST:: SOT 110160 SOS 57217 HAS SOPS 57124 HAS SOUS 25211 HAS SOUPS 25180 WITH SCORE 25237.217
AT ITER 5052 NEW BEST:: SOT 110197 SOS 57211 HAS SOPS 57118 HAS SOUS 25205 HAS SOUPS 25174 WITH SCORE 25231.211
AT ITER 5079 NEW BEST:: SOT 110197 SOS 57211 HAS SOPS 57118 HAS SOUS 25203 HAS SOUPS 25172 WITH SCORE 25229.211
AT ITER 5109 NEW BEST:: SOT 110175 SOS 57163 HAS SOPS 57070 HAS SOUS 25155 HAS SOUPS 25124 WITH SCORE 25181.163
AT ITER 5129 NEW BEST:: SOT 110173 SOS 57159 HAS SOPS 57066 HAS SOUS 25145 HAS SOUPS 25114 WITH SCORE 25171.159
AT ITER 5184 NEW BEST:: SOT 110142 SOS 57128 HAS SOPS 57035 HAS SOUS 25080 HAS SOUPS 25049 WITH SCORE 25106.128
AT ITER 5205 NEW BEST:: SOT 110142 SOS 57119 HAS SOPS 57026 HAS SOUS 25080 HAS SOUPS 25049 WITH SCORE 25106.119
AT ITER 5207 NEW BEST:: SOT 110132 SOS 57109 HAS SOPS 57016 HAS SOUS 25054 HAS SOUPS 25023 WITH SCORE 25080.109
AT ITER 5209 NEW BEST:: SOT 110104 SOS 57081 HAS SOPS 56988 HAS SOUS 25019 HAS SOUPS 24988 WITH SCORE 25045.081
AT ITER 5216 NEW BEST:: SOT 110102 SOS 57055 HAS SOPS 56962 HAS SOUS 25013 HAS SOUPS 24982 WITH SCORE 25039.055
AT ITER 5221 NEW BEST:: SOT 110088 SOS 57053 HAS SOPS 56960 HAS SOUS 25011 HAS SOUPS 24980 WITH SCORE 25037.053
AT ITER 5225 NEW BEST:: SOT 110047 SOS 57024 HAS SOPS 56931 HAS SOUS 24982 HAS SOUPS 24951 WITH SCORE 25008.024
AT ITER 5260 NEW BEST:: SOT 110038 SOS 57006 HAS SOPS 56913 HAS SOUS 24964 HAS SOUPS 24933 WITH SCORE 24990.006
AT ITER 5268 NEW BEST:: SOT 110028 SOS 56986 HAS SOPS 56893 HAS SOUS 24954 HAS SOUPS 24923 WITH SCORE 24979.986
AT ITER 5271 NEW BEST:: SOT 110026 SOS 56984 HAS SOPS 56891 HAS SOUS 24950 HAS SOUPS 24919 WITH SCORE 24975.984
AT ITER 5279 NEW BEST:: SOT 110008 SOS 56966 HAS SOPS 56873 HAS SOUS 24932 HAS SOUPS 24901 WITH SCORE 24957.966
AT ITER 5302 NEW BEST:: SOT 110103 SOS 57108 HAS SOPS 57015 HAS SOUS 24910 HAS SOUPS 24879 WITH SCORE 24936.108
AT ITER 5325 NEW BEST:: SOT 110128 SOS 57133 HAS SOPS 57040 HAS SOUS 24902 HAS SOUPS 24871 WITH SCORE 24928.133
AT ITER 5380 NEW BEST:: SOT 110101 SOS 57106 HAS SOPS 57013 HAS SOUS 24845 HAS SOUPS 24814 WITH SCORE 24871.106
AT ITER 5388 NEW BEST:: SOT 110108 SOS 57029 HAS SOPS 56936 HAS SOUS 24810 HAS SOUPS 24779 WITH SCORE 24836.029
AT ITER 5405 NEW BEST:: SOT 110112 SOS 57033 HAS SOPS 56940 HAS SOUS 24774 HAS SOUPS 24743 WITH SCORE 24800.033
AT ITER 5477 NEW BEST:: SOT 110156 SOS 57048 HAS SOPS 56955 HAS SOUS 24732 HAS SOUPS 24701 WITH SCORE 24758.048
AT ITER 5481 NEW BEST:: SOT 110150 SOS 57042 HAS SOPS 56949 HAS SOUS 24726 HAS SOUPS 24695 WITH SCORE 24752.042
AT ITER 5536 NEW BEST:: SOT 110147 SOS 57040 HAS SOPS 56947 HAS SOUS 24724 HAS SOUPS 24693 WITH SCORE 24750.04
AT ITER 5544 NEW BEST:: SOT 110144 SOS 57020 HAS SOPS 56927 HAS SOUS 24722 HAS SOUPS 24691 WITH SCORE 24748.02
AT ITER 5616 NEW BEST:: SOT 110182 SOS 57058 HAS SOPS 56965 HAS SOUS 24719 HAS SOUPS 24688 WITH SCORE 24745.058
AT ITER 5658 NEW BEST:: SOT 110182 SOS 57046 HAS SOPS 56953 HAS SOUS 24673 HAS SOUPS 24642 WITH SCORE 24699.046
AT ITER 5665 NEW BEST:: SOT 110179 SOS 57037 HAS SOPS 56944 HAS SOUS 24661 HAS SOUPS 24630 WITH SCORE 24687.037
AT ITER 5666 NEW BEST:: SOT 110167 SOS 57025 HAS SOPS 56932 HAS SOUS 24640 HAS SOUPS 24609 WITH SCORE 24666.025
AT ITER 5668 NEW BEST:: SOT 110136 SOS 56994 HAS SOPS 56901 HAS SOUS 24637 HAS SOUPS 24606 WITH SCORE 24662.994
AT ITER 5671 NEW BEST:: SOT 110130 SOS 56988 HAS SOPS 56895 HAS SOUS 24628 HAS SOUPS 24597 WITH SCORE 24653.988
AT ITER 5716 NEW BEST:: SOT 110129 SOS 56987 HAS SOPS 56894 HAS SOUS 24627 HAS SOUPS 24596 WITH SCORE 24652.987
AT ITER 5723 NEW BEST:: SOT 110126 SOS 56985 HAS SOPS 56892 HAS SOUS 24623 HAS SOUPS 24592 WITH SCORE 24648.985
AT ITER 5784 NEW BEST:: SOT 110120 SOS 56979 HAS SOPS 56886 HAS SOUS 24589 HAS SOUPS 24558 WITH SCORE 24614.979
AT ITER 5788 NEW BEST:: SOT 110113 SOS 56972 HAS SOPS 56879 HAS SOUS 24585 HAS SOUPS 24554 WITH SCORE 24610.972
AT ITER 5864 NEW BEST:: SOT 110094 SOS 56957 HAS SOPS 56864 HAS SOUS 24562 HAS SOUPS 24531 WITH SCORE 24587.957
AT ITER 5921 NEW BEST:: SOT 110094 SOS 56925 HAS SOPS 56832 HAS SOUS 24562 HAS SOUPS 24531 WITH SCORE 24587.925
AT ITER 5952 NEW BEST:: SOT 110070 SOS 56916 HAS SOPS 56823 HAS SOUS 24534 HAS SOUPS 24503 WITH SCORE 24559.916
AT ITER 5967 NEW BEST:: SOT 110070 SOS 56914 HAS SOPS 56821 HAS SOUS 24534 HAS SOUPS 24503 WITH SCORE 24559.914
AT ITER 5976 NEW BEST:: SOT 110068 SOS 56880 HAS SOPS 56787 HAS SOUS 24532 HAS SOUPS 24501 WITH SCORE 24557.88
AT ITER 5981 NEW BEST:: SOT 110039 SOS 56875 HAS SOPS 56782 HAS SOUS 24474 HAS SOUPS 24443 WITH SCORE 24499.875
AT ITER 5997 NEW BEST:: SOT 110038 SOS 56874 HAS SOPS 56781 HAS SOUS 24473 HAS SOUPS 24442 WITH SCORE 24498.874
AT ITER 6111 NEW BEST:: SOT 110032 SOS 56868 HAS SOPS 56775 HAS SOUS 24465 HAS SOUPS 24434 WITH SCORE 24490.868
AT ITER 6143 NEW BEST:: SOT 110026 SOS 56868 HAS SOPS 56775 HAS SOUS 24458 HAS SOUPS 24427 WITH SCORE 24483.868
AT ITER 6155 NEW BEST:: SOT 110027 SOS 56872 HAS SOPS 56779 HAS SOUS 24450 HAS SOUPS 24419 WITH SCORE 24475.872
AT ITER 6220 NEW BEST:: SOT 110018 SOS 56863 HAS SOPS 56770 HAS SOUS 24444 HAS SOUPS 24413 WITH SCORE 24469.863
AT ITER 6240 NEW BEST:: SOT 110012 SOS 56857 HAS SOPS 56764 HAS SOUS 24418 HAS SOUPS 24387 WITH SCORE 24443.857
AT ITER 6315 NEW BEST:: SOT 110012 SOS 56857 HAS SOPS 56764 HAS SOUS 24411 HAS SOUPS 24380 WITH SCORE 24436.857
AT ITER 6317 NEW BEST:: SOT 109946 SOS 56789 HAS SOPS 56696 HAS SOUS 24345 HAS SOUPS 24314 WITH SCORE 24370.789
AT ITER 6319 NEW BEST:: SOT 109944 SOS 56787 HAS SOPS 56694 HAS SOUS 24343 HAS SOUPS 24312 WITH SCORE 24368.787
AT ITER 6379 NEW BEST:: SOT 109930 SOS 56700 HAS SOPS 56607 HAS SOUS 24337 HAS SOUPS 24306 WITH SCORE 24362.7
AT ITER 6380 NEW BEST:: SOT 109924 SOS 56694 HAS SOPS 56601 HAS SOUS 24328 HAS SOUPS 24297 WITH SCORE 24353.694
AT ITER 6395 NEW BEST:: SOT 109924 SOS 56694 HAS SOPS 56601 HAS SOUS 24306 HAS SOUPS 24275 WITH SCORE 24331.694
AT ITER 6404 NEW BEST:: SOT 109992 SOS 56622 HAS SOPS 56529 HAS SOUS 24276 HAS SOUPS 24245 WITH SCORE 24301.622
AT ITER 6470 NEW BEST:: SOT 109992 SOS 56616 HAS SOPS 56523 HAS SOUS 24276 HAS SOUPS 24245 WITH SCORE 24301.616
AT ITER 6522 NEW BEST:: SOT 109971 SOS 56615 HAS SOPS 56522 HAS SOUS 24265 HAS SOUPS 24234 WITH SCORE 24290.615
AT ITER 6526 NEW BEST:: SOT 109957 SOS 56537 HAS SOPS 56444 HAS SOUS 24187 HAS SOUPS 24156 WITH SCORE 24212.537
AT ITER 6530 NEW BEST:: SOT 109957 SOS 53270 HAS SOPS 53177 HAS SOUS 24187 HAS SOUPS 24156 WITH SCORE 24209.27
AT ITER 6620 NEW BEST:: SOT 109956 SOS 53269 HAS SOPS 53176 HAS SOUS 24186 HAS SOUPS 24155 WITH SCORE 24208.269
AT ITER 6652 NEW BEST:: SOT 109956 SOS 53264 HAS SOPS 53171 HAS SOUS 24141 HAS SOUPS 24110 WITH SCORE 24163.264
AT ITER 6785 NEW BEST:: SOT 109956 SOS 53254 HAS SOPS 53161 HAS SOUS 24141 HAS SOUPS 24110 WITH SCORE 24163.254
AT ITER 6797 NEW BEST:: SOT 109956 SOS 53253 HAS SOPS 53160 HAS SOUS 24141 HAS SOUPS 24110 WITH SCORE 24163.253
AT ITER 6806 NEW BEST:: SOT 109956 SOS 53249 HAS SOPS 53156 HAS SOUS 24141 HAS SOUPS 24110 WITH SCORE 24163.249
AT ITER 6864 NEW BEST:: SOT 109860 SOS 53169 HAS SOPS 53076 HAS SOUS 24033 HAS SOUPS 24002 WITH SCORE 24055.169
AT ITER 6918 NEW BEST:: SOT 109852 SOS 53153 HAS SOPS 53060 HAS SOUS 24009 HAS SOUPS 23978 WITH SCORE 24031.153
AT ITER 6938 NEW BEST:: SOT 109642 SOS 52943 HAS SOPS 52850 HAS SOUS 23869 HAS SOUPS 23838 WITH SCORE 23890.943
AT ITER 6939 NEW BEST:: SOT 109642 SOS 52943 HAS SOPS 52850 HAS SOUS 23858 HAS SOUPS 23827 WITH SCORE 23879.943
AT ITER 7005 NEW BEST:: SOT 109641 SOS 52942 HAS SOPS 52849 HAS SOUS 23856 HAS SOUPS 23825 WITH SCORE 23877.942
AT ITER 7027 NEW BEST:: SOT 109638 SOS 52939 HAS SOPS 52846 HAS SOUS 23853 HAS SOUPS 23822 WITH SCORE 23874.939
AT ITER 7100 NEW BEST:: SOT 109636 SOS 52938 HAS SOPS 52845 HAS SOUS 23851 HAS SOUPS 23820 WITH SCORE 23872.938
AT ITER 7113 NEW BEST:: SOT 109618 SOS 52918 HAS SOPS 52825 HAS SOUS 23820 HAS SOUPS 23789 WITH SCORE 23841.918
AT ITER 7118 NEW BEST:: SOT 109616 SOS 52916 HAS SOPS 52823 HAS SOUS 23818 HAS SOUPS 23787 WITH SCORE 23839.916
AT ITER 7120 NEW BEST:: SOT 109614 SOS 52892 HAS SOPS 52814 HAS SOUS 23814 HAS SOUPS 23786 WITH SCORE 23838.892
AT ITER 7181 NEW BEST:: SOT 109616 SOS 52894 HAS SOPS 52816 HAS SOUS 23796 HAS SOUPS 23768 WITH SCORE 23820.894
AT ITER 7185 NEW BEST:: SOT 109637 SOS 52892 HAS SOPS 52814 HAS SOUS 23781 HAS SOUPS 23753 WITH SCORE 23805.892
AT ITER 7210 NEW BEST:: SOT 109630 SOS 52894 HAS SOPS 52816 HAS SOUS 23778 HAS SOUPS 23750 WITH SCORE 23802.894
AT ITER 7248 NEW BEST:: SOT 109630 SOS 52894 HAS SOPS 52816 HAS SOUS 23777 HAS SOUPS 23749 WITH SCORE 23801.894
AT ITER 7277 NEW BEST:: SOT 109630 SOS 52894 HAS SOPS 52816 HAS SOUS 23768 HAS SOUPS 23740 WITH SCORE 23792.894
AT ITER 7281 NEW BEST:: SOT 109630 SOS 52867 HAS SOPS 52789 HAS SOUS 23741 HAS SOUPS 23713 WITH SCORE 23765.867
AT ITER 7283 NEW BEST:: SOT 109623 SOS 52845 HAS SOPS 52767 HAS SOUS 23703 HAS SOUPS 23675 WITH SCORE 23727.845
AT ITER 7326 NEW BEST:: SOT 109497 SOS 52851 HAS SOPS 52773 HAS SOUS 23676 HAS SOUPS 23648 WITH SCORE 23700.851
AT ITER 7373 NEW BEST:: SOT 109475 SOS 52154 HAS SOPS 52076 HAS SOUS 23661 HAS SOUPS 23633 WITH SCORE 23685.154
AT ITER 7402 NEW BEST:: SOT 109484 SOS 52158 HAS SOPS 52080 HAS SOUS 23659 HAS SOUPS 23631 WITH SCORE 23683.158
AT ITER 7405 NEW BEST:: SOT 109484 SOS 52144 HAS SOPS 52066 HAS SOUS 23659 HAS SOUPS 23631 WITH SCORE 23683.144
AT ITER 7431 NEW BEST:: SOT 109437 SOS 52113 HAS SOPS 52035 HAS SOUS 23610 HAS SOUPS 23582 WITH SCORE 23634.113
AT ITER 7492 NEW BEST:: SOT 109437 SOS 52108 HAS SOPS 52032 HAS SOUS 23604 HAS SOUPS 23576 WITH SCORE 23628.108
AT ITER 7548 NEW BEST:: SOT 109436 SOS 52107 HAS SOPS 52031 HAS SOUS 23601 HAS SOUPS 23573 WITH SCORE 23625.107
AT ITER 7554 NEW BEST:: SOT 109436 SOS 52104 HAS SOPS 52028 HAS SOUS 23591 HAS SOUPS 23563 WITH SCORE 23615.104
AT ITER 7569 NEW BEST:: SOT 109403 SOS 52071 HAS SOPS 51995 HAS SOUS 23545 HAS SOUPS 23517 WITH SCORE 23569.071
AT ITER 7693 NEW BEST:: SOT 109398 SOS 52061 HAS SOPS 51985 HAS SOUS 23535 HAS SOUPS 23507 WITH SCORE 23559.061
AT ITER 7710 NEW BEST:: SOT 109398 SOS 52030 HAS SOPS 51954 HAS SOUS 23535 HAS SOUPS 23507 WITH SCORE 23559.03
AT ITER 7775 NEW BEST:: SOT 109398 SOS 52030 HAS SOPS 51954 HAS SOUS 23512 HAS SOUPS 23484 WITH SCORE 23536.03
AT ITER 7779 NEW BEST:: SOT 109390 SOS 52022 HAS SOPS 51946 HAS SOUS 23512 HAS SOUPS 23484 WITH SCORE 23536.022
AT ITER 7815 NEW BEST:: SOT 109385 SOS 52017 HAS SOPS 51941 HAS SOUS 23498 HAS SOUPS 23470 WITH SCORE 23522.017
AT ITER 7832 NEW BEST:: SOT 109365 SOS 52017 HAS SOPS 51941 HAS SOUS 23458 HAS SOUPS 23430 WITH SCORE 23482.017
AT ITER 7869 NEW BEST:: SOT 109365 SOS 52014 HAS SOPS 51938 HAS SOUS 23458 HAS SOUPS 23430 WITH SCORE 23482.014
AT ITER 7911 NEW BEST:: SOT 109300 SOS 52013 HAS SOPS 51937 HAS SOUS 23455 HAS SOUPS 23427 WITH SCORE 23479.013
AT ITER 7946 NEW BEST:: SOT 109308 SOS 52021 HAS SOPS 51945 HAS SOUS 23444 HAS SOUPS 23416 WITH SCORE 23468.021
AT ITER 8036 NEW BEST:: SOT 109305 SOS 52018 HAS SOPS 51942 HAS SOUS 23434 HAS SOUPS 23406 WITH SCORE 23458.018
AT ITER 8043 NEW BEST:: SOT 109310 SOS 52023 HAS SOPS 51947 HAS SOUS 23414 HAS SOUPS 23386 WITH SCORE 23438.023
AT ITER 8050 NEW BEST:: SOT 109307 SOS 52017 HAS SOPS 51941 HAS SOUS 23404 HAS SOUPS 23376 WITH SCORE 23428.017
AT ITER 8066 NEW BEST:: SOT 109337 SOS 52001 HAS SOPS 51925 HAS SOUS 23388 HAS SOUPS 23360 WITH SCORE 23412.001
AT ITER 8085 NEW BEST:: SOT 109316 SOS 51976 HAS SOPS 51900 HAS SOUS 23387 HAS SOUPS 23359 WITH SCORE 23410.976
AT ITER 8157 NEW BEST:: SOT 109332 SOS 52012 HAS SOPS 51936 HAS SOUS 23374 HAS SOUPS 23346 WITH SCORE 23398.012
AT ITER 8175 NEW BEST:: SOT 109332 SOS 51989 HAS SOPS 51913 HAS SOUS 23351 HAS SOUPS 23323 WITH SCORE 23374.989
AT ITER 8242 NEW BEST:: SOT 109332 SOS 51989 HAS SOPS 51913 HAS SOUS 23349 HAS SOUPS 23321 WITH SCORE 23372.989
AT ITER 8367 NEW BEST:: SOT 109293 SOS 51967 HAS SOPS 51891 HAS SOUS 23293 HAS SOUPS 23265 WITH SCORE 23316.967
AT ITER 8396 NEW BEST:: SOT 109281 SOS 51955 HAS SOPS 51879 HAS SOUS 23266 HAS SOUPS 23238 WITH SCORE 23289.955
AT ITER 8405 NEW BEST:: SOT 109197 SOS 51895 HAS SOPS 51819 HAS SOUS 23246 HAS SOUPS 23218 WITH SCORE 23269.895
AT ITER 8421 NEW BEST:: SOT 109197 SOS 51890 HAS SOPS 51814 HAS SOUS 23241 HAS SOUPS 23213 WITH SCORE 23264.89
AT ITER 8507 NEW BEST:: SOT 108852 SOS 51542 HAS SOPS 51466 HAS SOUS 22911 HAS SOUPS 22883 WITH SCORE 22934.542
AT ITER 8527 NEW BEST:: SOT 108845 SOS 51528 HAS SOPS 51452 HAS SOUS 22897 HAS SOUPS 22869 WITH SCORE 22920.528
AT ITER 8538 NEW BEST:: SOT 108837 SOS 51520 HAS SOPS 51444 HAS SOUS 22881 HAS SOUPS 22853 WITH SCORE 22904.52
AT ITER 8543 NEW BEST:: SOT 108771 SOS 51496 HAS SOPS 51420 HAS SOUS 22798 HAS SOUPS 22770 WITH SCORE 22821.496
AT ITER 8544 NEW BEST:: SOT 108755 SOS 51470 HAS SOPS 51394 HAS SOUS 22766 HAS SOUPS 22738 WITH SCORE 22789.47
AT ITER 8552 NEW BEST:: SOT 108753 SOS 51468 HAS SOPS 51392 HAS SOUS 22764 HAS SOUPS 22736 WITH SCORE 22787.468
AT ITER 8630 NEW BEST:: SOT 108746 SOS 51461 HAS SOPS 51385 HAS SOUS 22758 HAS SOUPS 22730 WITH SCORE 22781.461
AT ITER 8648 NEW BEST:: SOT 108743 SOS 51458 HAS SOPS 51382 HAS SOUS 22755 HAS SOUPS 22727 WITH SCORE 22778.458
AT ITER 8655 NEW BEST:: SOT 108743 SOS 51455 HAS SOPS 51379 HAS SOUS 22753 HAS SOUPS 22725 WITH SCORE 22776.455
AT ITER 8712 NEW BEST:: SOT 108744 SOS 51452 HAS SOPS 51376 HAS SOUS 22753 HAS SOUPS 22725 WITH SCORE 22776.452
AT ITER 8716 NEW BEST:: SOT 108738 SOS 51440 HAS SOPS 51364 HAS SOUS 22747 HAS SOUPS 22719 WITH SCORE 22770.44
AT ITER 8739 NEW BEST:: SOT 108738 SOS 51440 HAS SOPS 51364 HAS SOUS 22708 HAS SOUPS 22680 WITH SCORE 22731.44
AT ITER 8833 NEW BEST:: SOT 108738 SOS 51440 HAS SOPS 51364 HAS SOUS 22700 HAS SOUPS 22672 WITH SCORE 22723.44
AT ITER 8911 NEW BEST:: SOT 108738 SOS 51425 HAS SOPS 51349 HAS SOUS 22694 HAS SOUPS 22666 WITH SCORE 22717.425
AT ITER 9011 NEW BEST:: SOT 108732 SOS 51410 HAS SOPS 51334 HAS SOUS 22688 HAS SOUPS 22660 WITH SCORE 22711.41
AT ITER 9080 NEW BEST:: SOT 108731 SOS 51409 HAS SOPS 51333 HAS SOUS 22687 HAS SOUPS 22659 WITH SCORE 22710.409
AT ITER 9151 NEW BEST:: SOT 108732 SOS 51409 HAS SOPS 51333 HAS SOUS 22686 HAS SOUPS 22658 WITH SCORE 22709.409
AT ITER 9169 NEW BEST:: SOT 108732 SOS 51408 HAS SOPS 51332 HAS SOUS 22686 HAS SOUPS 22658 WITH SCORE 22709.408
AT ITER 9185 NEW BEST:: SOT 108710 SOS 51398 HAS SOPS 51322 HAS SOUS 22669 HAS SOUPS 22641 WITH SCORE 22692.398
AT ITER 9226 NEW BEST:: SOT 108706 SOS 51394 HAS SOPS 51318 HAS SOUS 22661 HAS SOUPS 22633 WITH SCORE 22684.394
AT ITER 9230 NEW BEST:: SOT 108709 SOS 51381 HAS SOPS 51305 HAS SOUS 22652 HAS SOUPS 22624 WITH SCORE 22675.381
AT ITER 9249 NEW BEST:: SOT 108705 SOS 51353 HAS SOPS 51277 HAS SOUS 22632 HAS SOUPS 22604 WITH SCORE 22655.353
AT ITER 9264 NEW BEST:: SOT 108699 SOS 51338 HAS SOPS 51262 HAS SOUS 22613 HAS SOUPS 22585 WITH SCORE 22636.338
AT ITER 9277 NEW BEST:: SOT 108683 SOS 51342 HAS SOPS 51266 HAS SOUS 22581 HAS SOUPS 22553 WITH SCORE 22604.342
AT ITER 9335 NEW BEST:: SOT 108671 SOS 51320 HAS SOPS 51244 HAS SOUS 22558 HAS SOUPS 22530 WITH SCORE 22581.32
AT ITER 9365 NEW BEST:: SOT 108646 SOS 51287 HAS SOPS 51211 HAS SOUS 22525 HAS SOUPS 22497 WITH SCORE 22548.287
AT ITER 9419 NEW BEST:: SOT 108628 SOS 51278 HAS SOPS 51202 HAS SOUS 22515 HAS SOUPS 22487 WITH SCORE 22538.278
AT ITER 9443 NEW BEST:: SOT 108613 SOS 51212 HAS SOPS 51136 HAS SOUS 22489 HAS SOUPS 22461 WITH SCORE 22512.212
AT ITER 9469 NEW BEST:: SOT 108613 SOS 51212 HAS SOPS 51136 HAS SOUS 22487 HAS SOUPS 22459 WITH SCORE 22510.212
AT ITER 9617 NEW BEST:: SOT 108610 SOS 51211 HAS SOPS 51135 HAS SOUS 22471 HAS SOUPS 22443 WITH SCORE 22494.211
AT ITER 9665 NEW BEST:: SOT 108581 SOS 51180 HAS SOPS 51104 HAS SOUS 22438 HAS SOUPS 22410 WITH SCORE 22461.18
AT ITER 9680 NEW BEST:: SOT 108580 SOS 51179 HAS SOPS 51103 HAS SOUS 22437 HAS SOUPS 22409 WITH SCORE 22460.179
AT ITER 9702 NEW BEST:: SOT 108580 SOS 51178 HAS SOPS 51102 HAS SOUS 22434 HAS SOUPS 22406 WITH SCORE 22457.178
AT ITER 9708 NEW BEST:: SOT 108577 SOS 51170 HAS SOPS 51094 HAS SOUS 22426 HAS SOUPS 22398 WITH SCORE 22449.17
AT ITER 9724 NEW BEST:: SOT 108547 SOS 51133 HAS SOPS 51057 HAS SOUS 22378 HAS SOUPS 22350 WITH SCORE 22401.133
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2845060 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16134816 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBNT-COL-S05J20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943200640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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