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.r483-tall-167912696501032.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 UtilityControlRoom-COL-Z4T3N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696501032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 8.6K Feb 26 14:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 14:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 14:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 14:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 26 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679186778797

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=UtilityControlRoom-COL-Z4T3N06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 00:46:21] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 00:46:21] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 00:46:21] [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-19 00:46:22] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 00:46:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 673 ms
[2023-03-19 00:46:22] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 228 PT places and 450.0 transition bindings in 25 ms.
[2023-03-19 00:46:22] [INFO ] Unfolded HLPN to a Petri net with 228 places and 450 transitions 1446 arcs in 51 ms.
[2023-03-19 00:46:22] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 96 transitions
Reduce isomorphic transitions removed 96 transitions.
Drop transitions removed 24 transitions
Redundant transition composition rules discarded 24 transitions
[2023-03-19 00:46:22] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 228 places, 330 transitions and 966 arcs took 13 ms.
Total runtime 969 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T3N06
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: 228 places, 330 transitions, 966 arcs.
AT ITER 0 NEW BEST:: SOT 51934 SOS 34372 HAS SOPS 34372 HAS SOUS 22700 HAS SOUPS 22700 WITH SCORE 22734.372
AT ITER 1 NEW BEST:: SOT 51934 SOS 34372 HAS SOPS 34372 HAS SOUS 22696 HAS SOUPS 22696 WITH SCORE 22730.372
AT ITER 2 NEW BEST:: SOT 51926 SOS 34279 HAS SOPS 34279 HAS SOUS 22464 HAS SOUPS 22464 WITH SCORE 22498.279
AT ITER 3 NEW BEST:: SOT 51922 SOS 34269 HAS SOPS 34269 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22494.269
AT ITER 4 NEW BEST:: SOT 51902 SOS 34269 HAS SOPS 34269 HAS SOUS 22360 HAS SOUPS 22360 WITH SCORE 22394.269
AT ITER 15 NEW BEST:: SOT 51825 SOS 34202 HAS SOPS 34202 HAS SOUS 22289 HAS SOUPS 22289 WITH SCORE 22323.202
AT ITER 19 NEW BEST:: SOT 51825 SOS 34114 HAS SOPS 34114 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22150.114
AT ITER 21 NEW BEST:: SOT 51802 SOS 34068 HAS SOPS 34068 HAS SOUS 22070 HAS SOUPS 22070 WITH SCORE 22104.068
AT ITER 23 NEW BEST:: SOT 51802 SOS 34119 HAS SOPS 34119 HAS SOUS 22061 HAS SOUPS 22061 WITH SCORE 22095.119
AT ITER 29 NEW BEST:: SOT 51802 SOS 34084 HAS SOPS 34084 HAS SOUS 22048 HAS SOUPS 22048 WITH SCORE 22082.084
AT ITER 30 NEW BEST:: SOT 51844 SOS 34098 HAS SOPS 34098 HAS SOUS 22034 HAS SOUPS 22034 WITH SCORE 22068.098
AT ITER 36 NEW BEST:: SOT 51786 SOS 33982 HAS SOPS 33982 HAS SOUS 21972 HAS SOUPS 21972 WITH SCORE 22005.982
AT ITER 38 NEW BEST:: SOT 48039 SOS 30425 HAS SOPS 30425 HAS SOUS 18172 HAS SOUPS 18172 WITH SCORE 18202.425
AT ITER 39 NEW BEST:: SOT 47969 SOS 30355 HAS SOPS 30355 HAS SOUS 18146 HAS SOUPS 18146 WITH SCORE 18176.355
AT ITER 41 NEW BEST:: SOT 48196 SOS 30099 HAS SOPS 30099 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17550.099
AT ITER 49 NEW BEST:: SOT 48163 SOS 30066 HAS SOPS 30066 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17517.066
AT ITER 50 NEW BEST:: SOT 48163 SOS 29985 HAS SOPS 29985 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17516.985
AT ITER 58 NEW BEST:: SOT 48119 SOS 29941 HAS SOPS 29941 HAS SOUS 17479 HAS SOUPS 17479 WITH SCORE 17508.941
AT ITER 59 NEW BEST:: SOT 48119 SOS 29941 HAS SOPS 29941 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17504.941
AT ITER 64 NEW BEST:: SOT 48115 SOS 29937 HAS SOPS 29937 HAS SOUS 17471 HAS SOUPS 17471 WITH SCORE 17500.937
AT ITER 68 NEW BEST:: SOT 48092 SOS 29822 HAS SOPS 29822 HAS SOUS 17425 HAS SOUPS 17425 WITH SCORE 17454.822
AT ITER 69 NEW BEST:: SOT 48053 SOS 29687 HAS SOPS 29687 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17391.687
AT ITER 70 NEW BEST:: SOT 48053 SOS 29687 HAS SOPS 29687 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17390.687
AT ITER 79 NEW BEST:: SOT 48031 SOS 29695 HAS SOPS 29695 HAS SOUS 17309 HAS SOUPS 17309 WITH SCORE 17338.695
AT ITER 81 NEW BEST:: SOT 48031 SOS 29695 HAS SOPS 29695 HAS SOUS 17305 HAS SOUPS 17305 WITH SCORE 17334.695
AT ITER 84 NEW BEST:: SOT 48031 SOS 29635 HAS SOPS 29635 HAS SOUS 17238 HAS SOUPS 17238 WITH SCORE 17267.635
AT ITER 88 NEW BEST:: SOT 48011 SOS 29615 HAS SOPS 29615 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17233.615
AT ITER 90 NEW BEST:: SOT 47978 SOS 29766 HAS SOPS 29766 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17160.766
AT ITER 93 NEW BEST:: SOT 47971 SOS 29759 HAS SOPS 29759 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17156.759
AT ITER 96 NEW BEST:: SOT 47965 SOS 29747 HAS SOPS 29747 HAS SOUS 17121 HAS SOUPS 17121 WITH SCORE 17150.747
AT ITER 98 NEW BEST:: SOT 47965 SOS 29731 HAS SOPS 29731 HAS SOUS 17068 HAS SOUPS 17068 WITH SCORE 17097.731
AT ITER 102 NEW BEST:: SOT 47961 SOS 29727 HAS SOPS 29727 HAS SOUS 17066 HAS SOUPS 17066 WITH SCORE 17095.727
AT ITER 106 NEW BEST:: SOT 47949 SOS 29715 HAS SOPS 29715 HAS SOUS 17044 HAS SOUPS 17044 WITH SCORE 17073.715
AT ITER 107 NEW BEST:: SOT 47949 SOS 29690 HAS SOPS 29690 HAS SOUS 16964 HAS SOUPS 16964 WITH SCORE 16993.69
AT ITER 110 NEW BEST:: SOT 47964 SOS 29185 HAS SOPS 29185 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16748.185
AT ITER 111 NEW BEST:: SOT 47963 SOS 29278 HAS SOPS 29278 HAS SOUS 16692 HAS SOUPS 16692 WITH SCORE 16721.278
AT ITER 112 NEW BEST:: SOT 47963 SOS 29290 HAS SOPS 29290 HAS SOUS 16674 HAS SOUPS 16674 WITH SCORE 16703.29
AT ITER 118 NEW BEST:: SOT 48000 SOS 29507 HAS SOPS 29507 HAS SOUS 16635 HAS SOUPS 16635 WITH SCORE 16664.507
AT ITER 120 NEW BEST:: SOT 48000 SOS 29507 HAS SOPS 29507 HAS SOUS 16611 HAS SOUPS 16611 WITH SCORE 16640.507
AT ITER 126 NEW BEST:: SOT 48026 SOS 29505 HAS SOPS 29505 HAS SOUS 16585 HAS SOUPS 16585 WITH SCORE 16614.505
AT ITER 127 NEW BEST:: SOT 48003 SOS 29482 HAS SOPS 29482 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16604.482
AT ITER 133 NEW BEST:: SOT 48003 SOS 29482 HAS SOPS 29482 HAS SOUS 16561 HAS SOUPS 16561 WITH SCORE 16590.482
AT ITER 134 NEW BEST:: SOT 47975 SOS 29397 HAS SOPS 29397 HAS SOUS 16323 HAS SOUPS 16323 WITH SCORE 16352.397
AT ITER 147 NEW BEST:: SOT 47974 SOS 29396 HAS SOPS 29396 HAS SOUS 16322 HAS SOUPS 16322 WITH SCORE 16351.396
AT ITER 149 NEW BEST:: SOT 47973 SOS 29395 HAS SOPS 29395 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16350.395
AT ITER 152 NEW BEST:: SOT 47987 SOS 29409 HAS SOPS 29409 HAS SOUS 16298 HAS SOUPS 16298 WITH SCORE 16327.409
AT ITER 164 NEW BEST:: SOT 48039 SOS 29457 HAS SOPS 29457 HAS SOUS 16269 HAS SOUPS 16269 WITH SCORE 16298.457
AT ITER 166 NEW BEST:: SOT 48039 SOS 29373 HAS SOPS 29373 HAS SOUS 16269 HAS SOUPS 16269 WITH SCORE 16298.373
AT ITER 169 NEW BEST:: SOT 47999 SOS 29333 HAS SOPS 29333 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16218.333
AT ITER 173 NEW BEST:: SOT 47982 SOS 29315 HAS SOPS 29315 HAS SOUS 16189 HAS SOUPS 16189 WITH SCORE 16218.315
AT ITER 174 NEW BEST:: SOT 47949 SOS 29078 HAS SOPS 29078 HAS SOUS 16105 HAS SOUPS 16105 WITH SCORE 16134.078
AT ITER 175 NEW BEST:: SOT 47934 SOS 29063 HAS SOPS 29063 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16110.063
AT ITER 180 NEW BEST:: SOT 47934 SOS 29063 HAS SOPS 29063 HAS SOUS 16080 HAS SOUPS 16080 WITH SCORE 16109.063
AT ITER 182 NEW BEST:: SOT 47934 SOS 29064 HAS SOPS 29064 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16108.064
AT ITER 190 NEW BEST:: SOT 47924 SOS 29054 HAS SOPS 29054 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16087.054
AT ITER 200 NEW BEST:: SOT 47918 SOS 29003 HAS SOPS 29003 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15866.003
AT ITER 201 NEW BEST:: SOT 47918 SOS 29003 HAS SOPS 29003 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15810.003
AT ITER 220 NEW BEST:: SOT 47895 SOS 28872 HAS SOPS 28872 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15786.872
AT ITER 221 NEW BEST:: SOT 48336 SOS 28854 HAS SOPS 28854 HAS SOUS 15581 HAS SOUPS 15581 WITH SCORE 15609.854
AT ITER 234 NEW BEST:: SOT 48196 SOS 28545 HAS SOPS 28545 HAS SOUS 15522 HAS SOUPS 15522 WITH SCORE 15550.545
AT ITER 237 NEW BEST:: SOT 48196 SOS 28545 HAS SOPS 28545 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15546.545
AT ITER 238 NEW BEST:: SOT 47394 SOS 27743 HAS SOPS 27743 HAS SOUS 14741 HAS SOUPS 14741 WITH SCORE 14768.743
AT ITER 244 NEW BEST:: SOT 47392 SOS 27660 HAS SOPS 27660 HAS SOUS 14634 HAS SOUPS 14634 WITH SCORE 14661.66
AT ITER 248 NEW BEST:: SOT 47392 SOS 27652 HAS SOPS 27652 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14653.652
AT ITER 249 NEW BEST:: SOT 47437 SOS 27656 HAS SOPS 27656 HAS SOUS 14567 HAS SOUPS 14567 WITH SCORE 14594.656
AT ITER 253 NEW BEST:: SOT 47125 SOS 27600 HAS SOPS 27600 HAS SOUS 14565 HAS SOUPS 14565 WITH SCORE 14592.6
AT ITER 259 NEW BEST:: SOT 47121 SOS 27577 HAS SOPS 27577 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14591.577
AT ITER 261 NEW BEST:: SOT 47117 SOS 27573 HAS SOPS 27573 HAS SOUS 14560 HAS SOUPS 14560 WITH SCORE 14587.573
AT ITER 262 NEW BEST:: SOT 47063 SOS 27438 HAS SOPS 27438 HAS SOUS 14506 HAS SOUPS 14506 WITH SCORE 14533.438
AT ITER 267 NEW BEST:: SOT 46965 SOS 27340 HAS SOPS 27340 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14517.34
AT ITER 272 NEW BEST:: SOT 46961 SOS 27336 HAS SOPS 27336 HAS SOUS 14471 HAS SOUPS 14471 WITH SCORE 14498.336
AT ITER 276 NEW BEST:: SOT 46947 SOS 27301 HAS SOPS 27301 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14413.301
AT ITER 278 NEW BEST:: SOT 46907 SOS 27261 HAS SOPS 27261 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14373.261
AT ITER 281 NEW BEST:: SOT 46907 SOS 27209 HAS SOPS 27209 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14325.209
AT ITER 301 NEW BEST:: SOT 46898 SOS 27200 HAS SOPS 27200 HAS SOUS 14280 HAS SOUPS 14280 WITH SCORE 14307.2
AT ITER 307 NEW BEST:: SOT 46885 SOS 27094 HAS SOPS 27094 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14281.094
AT ITER 308 NEW BEST:: SOT 46851 SOS 27060 HAS SOPS 27060 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14223.06
AT ITER 309 NEW BEST:: SOT 46828 SOS 27073 HAS SOPS 27073 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14166.073
AT ITER 320 NEW BEST:: SOT 46827 SOS 26811 HAS SOPS 26811 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14148.811
AT ITER 323 NEW BEST:: SOT 46797 SOS 26781 HAS SOPS 26781 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14148.781
AT ITER 326 NEW BEST:: SOT 46794 SOS 26813 HAS SOPS 26813 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14134.813
AT ITER 327 NEW BEST:: SOT 46794 SOS 26796 HAS SOPS 26796 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14133.796
AT ITER 338 NEW BEST:: SOT 46734 SOS 26931 HAS SOPS 26931 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14120.931
AT ITER 342 NEW BEST:: SOT 46740 SOS 26955 HAS SOPS 26955 HAS SOUS 14076 HAS SOUPS 14076 WITH SCORE 14102.955
AT ITER 348 NEW BEST:: SOT 46734 SOS 26943 HAS SOPS 26943 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14090.943
AT ITER 350 NEW BEST:: SOT 46759 SOS 26935 HAS SOPS 26935 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14070.935
AT ITER 365 NEW BEST:: SOT 46759 SOS 26935 HAS SOPS 26935 HAS SOUS 14032 HAS SOUPS 14032 WITH SCORE 14058.935
AT ITER 370 NEW BEST:: SOT 46739 SOS 26900 HAS SOPS 26900 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14034.9
AT ITER 375 NEW BEST:: SOT 46631 SOS 26478 HAS SOPS 26478 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13964.478
AT ITER 399 NEW BEST:: SOT 46620 SOS 26434 HAS SOPS 26434 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13953.434
AT ITER 406 NEW BEST:: SOT 46584 SOS 26381 HAS SOPS 26381 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13881.381
AT ITER 412 NEW BEST:: SOT 46584 SOS 26379 HAS SOPS 26379 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13881.379
AT ITER 415 NEW BEST:: SOT 46556 SOS 26240 HAS SOPS 26240 HAS SOUS 13855 HAS SOUPS 13855 WITH SCORE 13881.24
AT ITER 417 NEW BEST:: SOT 46554 SOS 26240 HAS SOPS 26240 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13877.24
AT ITER 425 NEW BEST:: SOT 46538 SOS 26224 HAS SOPS 26224 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13813.224
AT ITER 426 NEW BEST:: SOT 46536 SOS 26223 HAS SOPS 26223 HAS SOUS 13786 HAS SOUPS 13786 WITH SCORE 13812.223
AT ITER 430 NEW BEST:: SOT 46537 SOS 26198 HAS SOPS 26198 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13655.198
AT ITER 431 NEW BEST:: SOT 46526 SOS 26171 HAS SOPS 26171 HAS SOUS 13538 HAS SOUPS 13538 WITH SCORE 13564.171
AT ITER 432 NEW BEST:: SOT 46521 SOS 26126 HAS SOPS 26126 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13549.126
AT ITER 439 NEW BEST:: SOT 46520 SOS 26010 HAS SOPS 26010 HAS SOUS 13422 HAS SOUPS 13422 WITH SCORE 13448.01
AT ITER 446 NEW BEST:: SOT 46485 SOS 25975 HAS SOPS 25975 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13391.975
AT ITER 454 NEW BEST:: SOT 46469 SOS 25924 HAS SOPS 25924 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13386.924
AT ITER 479 NEW BEST:: SOT 46476 SOS 25925 HAS SOPS 25925 HAS SOUS 13309 HAS SOUPS 13309 WITH SCORE 13334.925
AT ITER 483 NEW BEST:: SOT 46467 SOS 25927 HAS SOPS 25927 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13297.927
AT ITER 485 NEW BEST:: SOT 46470 SOS 25930 HAS SOPS 25930 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13282.93
AT ITER 487 NEW BEST:: SOT 46470 SOS 25930 HAS SOPS 25930 HAS SOUS 13246 HAS SOUPS 13246 WITH SCORE 13271.93
AT ITER 488 NEW BEST:: SOT 46471 SOS 25931 HAS SOPS 25931 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13256.931
AT ITER 489 NEW BEST:: SOT 46455 SOS 25963 HAS SOPS 25963 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13240.963
AT ITER 528 NEW BEST:: SOT 46440 SOS 25948 HAS SOPS 25948 HAS SOUS 13185 HAS SOUPS 13185 WITH SCORE 13210.948
AT ITER 538 NEW BEST:: SOT 46411 SOS 25772 HAS SOPS 25772 HAS SOUS 13147 HAS SOUPS 13147 WITH SCORE 13172.772
AT ITER 545 NEW BEST:: SOT 46410 SOS 25771 HAS SOPS 25771 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13167.771
AT ITER 546 NEW BEST:: SOT 46429 SOS 25790 HAS SOPS 25790 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13157.79
AT ITER 547 NEW BEST:: SOT 46429 SOS 25761 HAS SOPS 25761 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13157.761
AT ITER 549 NEW BEST:: SOT 46404 SOS 25736 HAS SOPS 25736 HAS SOUS 13115 HAS SOUPS 13115 WITH SCORE 13140.736
AT ITER 559 NEW BEST:: SOT 46404 SOS 25736 HAS SOPS 25736 HAS SOUS 13113 HAS SOUPS 13113 WITH SCORE 13138.736
AT ITER 562 NEW BEST:: SOT 46404 SOS 25739 HAS SOPS 25739 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13111.739
AT ITER 563 NEW BEST:: SOT 46377 SOS 25712 HAS SOPS 25712 HAS SOUS 13032 HAS SOUPS 13032 WITH SCORE 13057.712
AT ITER 566 NEW BEST:: SOT 46397 SOS 25732 HAS SOPS 25732 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13012.732
AT ITER 578 NEW BEST:: SOT 46418 SOS 25753 HAS SOPS 25753 HAS SOUS 12974 HAS SOUPS 12974 WITH SCORE 12999.753
AT ITER 584 NEW BEST:: SOT 46389 SOS 25724 HAS SOPS 25724 HAS SOUS 12960 HAS SOUPS 12960 WITH SCORE 12985.724
AT ITER 595 NEW BEST:: SOT 46384 SOS 25719 HAS SOPS 25719 HAS SOUS 12954 HAS SOUPS 12954 WITH SCORE 12979.719
AT ITER 604 NEW BEST:: SOT 46423 SOS 25758 HAS SOPS 25758 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12970.758
AT ITER 608 NEW BEST:: SOT 46416 SOS 25738 HAS SOPS 25738 HAS SOUS 12906 HAS SOUPS 12906 WITH SCORE 12931.738
AT ITER 627 NEW BEST:: SOT 46411 SOS 25728 HAS SOPS 25728 HAS SOUS 12886 HAS SOUPS 12886 WITH SCORE 12911.728
AT ITER 630 NEW BEST:: SOT 46415 SOS 25732 HAS SOPS 25732 HAS SOUS 12884 HAS SOUPS 12884 WITH SCORE 12909.732
AT ITER 636 NEW BEST:: SOT 46403 SOS 25716 HAS SOPS 25716 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12868.716
AT ITER 639 NEW BEST:: SOT 46388 SOS 25701 HAS SOPS 25701 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12868.701
AT ITER 654 NEW BEST:: SOT 46388 SOS 25706 HAS SOPS 25706 HAS SOUS 12841 HAS SOUPS 12841 WITH SCORE 12866.706
AT ITER 658 NEW BEST:: SOT 46389 SOS 25706 HAS SOPS 25706 HAS SOUS 12840 HAS SOUPS 12840 WITH SCORE 12865.706
AT ITER 662 NEW BEST:: SOT 46383 SOS 25591 HAS SOPS 25591 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12800.591
AT ITER 666 NEW BEST:: SOT 46437 SOS 25645 HAS SOPS 25645 HAS SOUS 12752 HAS SOUPS 12752 WITH SCORE 12777.645
AT ITER 671 NEW BEST:: SOT 46476 SOS 25684 HAS SOPS 25684 HAS SOUS 12747 HAS SOUPS 12747 WITH SCORE 12772.684
AT ITER 682 NEW BEST:: SOT 46476 SOS 25684 HAS SOPS 25684 HAS SOUS 12723 HAS SOUPS 12723 WITH SCORE 12748.684
AT ITER 686 NEW BEST:: SOT 46479 SOS 25687 HAS SOPS 25687 HAS SOUS 12719 HAS SOUPS 12719 WITH SCORE 12744.687
AT ITER 698 NEW BEST:: SOT 46473 SOS 25681 HAS SOPS 25681 HAS SOUS 12708 HAS SOUPS 12708 WITH SCORE 12733.681
AT ITER 712 NEW BEST:: SOT 46471 SOS 25679 HAS SOPS 25679 HAS SOUS 12706 HAS SOUPS 12706 WITH SCORE 12731.679
AT ITER 717 NEW BEST:: SOT 46526 SOS 25852 HAS SOPS 25852 HAS SOUS 12699 HAS SOUPS 12699 WITH SCORE 12724.852
AT ITER 719 NEW BEST:: SOT 46521 SOS 25847 HAS SOPS 25847 HAS SOUS 12694 HAS SOUPS 12694 WITH SCORE 12719.847
AT ITER 731 NEW BEST:: SOT 46453 SOS 25802 HAS SOPS 25802 HAS SOUS 12646 HAS SOUPS 12646 WITH SCORE 12671.802
AT ITER 742 NEW BEST:: SOT 46445 SOS 25802 HAS SOPS 25802 HAS SOUS 12630 HAS SOUPS 12630 WITH SCORE 12655.802
AT ITER 744 NEW BEST:: SOT 46430 SOS 25872 HAS SOPS 25872 HAS SOUS 12625 HAS SOUPS 12625 WITH SCORE 12650.872
AT ITER 747 NEW BEST:: SOT 46497 SOS 25939 HAS SOPS 25939 HAS SOUS 12539 HAS SOUPS 12539 WITH SCORE 12564.939
AT ITER 748 NEW BEST:: SOT 46472 SOS 25799 HAS SOPS 25799 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12515.799
AT ITER 756 NEW BEST:: SOT 46472 SOS 25769 HAS SOPS 25769 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12500.769
AT ITER 759 NEW BEST:: SOT 46507 SOS 25804 HAS SOPS 25804 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12489.804
AT ITER 770 NEW BEST:: SOT 46485 SOS 25709 HAS SOPS 25709 HAS SOUS 12464 HAS SOUPS 12464 WITH SCORE 12489.709
AT ITER 778 NEW BEST:: SOT 46501 SOS 25711 HAS SOPS 25711 HAS SOUS 12310 HAS SOUPS 12310 WITH SCORE 12335.711
AT ITER 785 NEW BEST:: SOT 46484 SOS 25713 HAS SOPS 25713 HAS SOUS 12295 HAS SOUPS 12295 WITH SCORE 12320.713
AT ITER 791 NEW BEST:: SOT 46466 SOS 25581 HAS SOPS 25581 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12316.581
AT ITER 796 NEW BEST:: SOT 46460 SOS 25575 HAS SOPS 25575 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12296.575
AT ITER 803 NEW BEST:: SOT 46445 SOS 25560 HAS SOPS 25560 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12266.56
AT ITER 815 NEW BEST:: SOT 46443 SOS 25556 HAS SOPS 25556 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12260.556
AT ITER 818 NEW BEST:: SOT 46079 SOS 25259 HAS SOPS 25259 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12017.259
AT ITER 828 NEW BEST:: SOT 46029 SOS 25209 HAS SOPS 25209 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11953.209
AT ITER 850 NEW BEST:: SOT 45800 SOS 26307 HAS SOPS 26307 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11744.307
AT ITER 863 NEW BEST:: SOT 45776 SOS 26259 HAS SOPS 26259 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11696.259
AT ITER 876 NEW BEST:: SOT 45779 SOS 26259 HAS SOPS 26259 HAS SOUS 11667 HAS SOUPS 11667 WITH SCORE 11693.259
AT ITER 889 NEW BEST:: SOT 45766 SOS 26246 HAS SOPS 26246 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11663.246
AT ITER 897 NEW BEST:: SOT 45927 SOS 26273 HAS SOPS 26273 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11547.273
AT ITER 898 NEW BEST:: SOT 45922 SOS 26183 HAS SOPS 26183 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11543.183
AT ITER 912 NEW BEST:: SOT 45926 SOS 26187 HAS SOPS 26187 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11518.187
AT ITER 930 NEW BEST:: SOT 45788 SOS 26078 HAS SOPS 26078 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11377.078
AT ITER 938 NEW BEST:: SOT 45814 SOS 26078 HAS SOPS 26078 HAS SOUS 11325 HAS SOUPS 11325 WITH SCORE 11351.078
AT ITER 952 NEW BEST:: SOT 45812 SOS 26078 HAS SOPS 26078 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11347.078
AT ITER 979 NEW BEST:: SOT 45805 SOS 26043 HAS SOPS 26043 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11347.043
AT ITER 985 NEW BEST:: SOT 45788 SOS 26093 HAS SOPS 26093 HAS SOUS 11283 HAS SOUPS 11283 WITH SCORE 11309.093
AT ITER 988 NEW BEST:: SOT 45787 SOS 26092 HAS SOPS 26092 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11306.092
AT ITER 1014 NEW BEST:: SOT 45787 SOS 26092 HAS SOPS 26092 HAS SOUS 11278 HAS SOUPS 11278 WITH SCORE 11304.092
AT ITER 1021 NEW BEST:: SOT 45771 SOS 26076 HAS SOPS 26076 HAS SOUS 11246 HAS SOUPS 11246 WITH SCORE 11272.076
AT ITER 1023 NEW BEST:: SOT 45771 SOS 26076 HAS SOPS 26076 HAS SOUS 11243 HAS SOUPS 11243 WITH SCORE 11269.076
AT ITER 1038 NEW BEST:: SOT 45725 SOS 26041 HAS SOPS 26041 HAS SOUS 11200 HAS SOUPS 11200 WITH SCORE 11226.041
AT ITER 1041 NEW BEST:: SOT 45725 SOS 26047 HAS SOPS 26047 HAS SOUS 11198 HAS SOUPS 11198 WITH SCORE 11224.047
AT ITER 1053 NEW BEST:: SOT 45709 SOS 26127 HAS SOPS 26127 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11096.127
AT ITER 1058 NEW BEST:: SOT 45709 SOS 26127 HAS SOPS 26127 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11094.127
AT ITER 1064 NEW BEST:: SOT 45665 SOS 26119 HAS SOPS 26119 HAS SOUS 11024 HAS SOUPS 11024 WITH SCORE 11050.119
AT ITER 1087 NEW BEST:: SOT 45670 SOS 26071 HAS SOPS 26071 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11046.071
AT ITER 1089 NEW BEST:: SOT 45673 SOS 26073 HAS SOPS 26073 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11035.073
AT ITER 1095 NEW BEST:: SOT 45673 SOS 26070 HAS SOPS 26070 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11035.07
AT ITER 1097 NEW BEST:: SOT 45648 SOS 26020 HAS SOPS 26020 HAS SOUS 11009 HAS SOUPS 11009 WITH SCORE 11035.02
AT ITER 1122 NEW BEST:: SOT 45648 SOS 26020 HAS SOPS 26020 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 11001.02
AT ITER 1144 NEW BEST:: SOT 45641 SOS 26013 HAS SOPS 26013 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10979.013
AT ITER 1149 NEW BEST:: SOT 45605 SOS 25950 HAS SOPS 25950 HAS SOUS 10920 HAS SOUPS 10920 WITH SCORE 10945.95
AT ITER 1151 NEW BEST:: SOT 45591 SOS 25936 HAS SOPS 25936 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10911.936
AT ITER 1160 NEW BEST:: SOT 45588 SOS 25933 HAS SOPS 25933 HAS SOUS 10871 HAS SOUPS 10871 WITH SCORE 10896.933
AT ITER 1174 NEW BEST:: SOT 45588 SOS 25847 HAS SOPS 25847 HAS SOUS 10829 HAS SOUPS 10829 WITH SCORE 10854.847
AT ITER 1176 NEW BEST:: SOT 45554 SOS 25753 HAS SOPS 25753 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10819.753
AT ITER 1177 NEW BEST:: SOT 45553 SOS 25752 HAS SOPS 25752 HAS SOUS 10792 HAS SOUPS 10792 WITH SCORE 10817.752
AT ITER 1184 NEW BEST:: SOT 45505 SOS 25704 HAS SOPS 25704 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10815.704
AT ITER 1204 NEW BEST:: SOT 45530 SOS 25727 HAS SOPS 25727 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10771.727
AT ITER 1259 NEW BEST:: SOT 45529 SOS 25726 HAS SOPS 25726 HAS SOUS 10744 HAS SOUPS 10744 WITH SCORE 10769.726
AT ITER 1268 NEW BEST:: SOT 45515 SOS 25712 HAS SOPS 25712 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10741.712
AT ITER 1274 NEW BEST:: SOT 45512 SOS 25714 HAS SOPS 25714 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10738.714
AT ITER 1294 NEW BEST:: SOT 45508 SOS 25710 HAS SOPS 25710 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10723.71
AT ITER 1295 NEW BEST:: SOT 45507 SOS 25709 HAS SOPS 25709 HAS SOUS 10697 HAS SOUPS 10697 WITH SCORE 10722.709
AT ITER 1296 NEW BEST:: SOT 45494 SOS 25698 HAS SOPS 25698 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10718.698
AT ITER 1319 NEW BEST:: SOT 45485 SOS 25689 HAS SOPS 25689 HAS SOUS 10667 HAS SOUPS 10667 WITH SCORE 10692.689
AT ITER 1339 NEW BEST:: SOT 45479 SOS 25749 HAS SOPS 25749 HAS SOUS 10661 HAS SOUPS 10661 WITH SCORE 10686.749
AT ITER 1348 NEW BEST:: SOT 45472 SOS 25742 HAS SOPS 25742 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10637.742
AT ITER 1364 NEW BEST:: SOT 45464 SOS 25737 HAS SOPS 25737 HAS SOUS 10596 HAS SOUPS 10596 WITH SCORE 10621.737
AT ITER 1379 NEW BEST:: SOT 45462 SOS 25755 HAS SOPS 25755 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10617.755
AT ITER 1402 NEW BEST:: SOT 45462 SOS 25776 HAS SOPS 25776 HAS SOUS 10591 HAS SOUPS 10591 WITH SCORE 10616.776
AT ITER 1410 NEW BEST:: SOT 45486 SOS 25800 HAS SOPS 25800 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10609.8
AT ITER 1419 NEW BEST:: SOT 45486 SOS 25794 HAS SOPS 25794 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10606.794
AT ITER 1426 NEW BEST:: SOT 45469 SOS 26144 HAS SOPS 26144 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10599.144
AT ITER 1439 NEW BEST:: SOT 45466 SOS 26141 HAS SOPS 26141 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10593.141
AT ITER 1440 NEW BEST:: SOT 45454 SOS 25921 HAS SOPS 25921 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10572.921
AT ITER 1452 NEW BEST:: SOT 45451 SOS 25912 HAS SOPS 25912 HAS SOUS 10541 HAS SOUPS 10541 WITH SCORE 10566.912
AT ITER 1460 NEW BEST:: SOT 45413 SOS 25874 HAS SOPS 25874 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10435.874
AT ITER 1461 NEW BEST:: SOT 45391 SOS 25852 HAS SOPS 25852 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10391.852
AT ITER 1479 NEW BEST:: SOT 45391 SOS 25831 HAS SOPS 25831 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10384.831
AT ITER 1482 NEW BEST:: SOT 45379 SOS 25819 HAS SOPS 25819 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10365.819
AT ITER 1510 NEW BEST:: SOT 45343 SOS 25783 HAS SOPS 25783 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10293.783
AT ITER 1536 NEW BEST:: SOT 45320 SOS 25621 HAS SOPS 25621 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10283.621
AT ITER 1542 NEW BEST:: SOT 45313 SOS 25614 HAS SOPS 25614 HAS SOUS 10253 HAS SOUPS 10253 WITH SCORE 10278.614
AT ITER 1545 NEW BEST:: SOT 45297 SOS 25590 HAS SOPS 25590 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10262.59
AT ITER 1565 NEW BEST:: SOT 45297 SOS 25550 HAS SOPS 25550 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10242.55
AT ITER 1579 NEW BEST:: SOT 45295 SOS 25548 HAS SOPS 25548 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10242.548
AT ITER 1603 NEW BEST:: SOT 45294 SOS 25547 HAS SOPS 25547 HAS SOUS 10217 HAS SOUPS 10217 WITH SCORE 10242.547
AT ITER 1608 NEW BEST:: SOT 45286 SOS 25531 HAS SOPS 25531 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10226.531
AT ITER 1611 NEW BEST:: SOT 45281 SOS 25511 HAS SOPS 25511 HAS SOUS 10201 HAS SOUPS 10201 WITH SCORE 10226.511
AT ITER 1638 NEW BEST:: SOT 45257 SOS 25511 HAS SOPS 25511 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10178.511
AT ITER 1639 NEW BEST:: SOT 45241 SOS 25495 HAS SOPS 25495 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10146.495
AT ITER 1645 NEW BEST:: SOT 45217 SOS 25562 HAS SOPS 25562 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10119.562
AT ITER 1646 NEW BEST:: SOT 45219 SOS 25566 HAS SOPS 25566 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10117.566
AT ITER 1658 NEW BEST:: SOT 45214 SOS 25561 HAS SOPS 25561 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10107.561
AT ITER 1674 NEW BEST:: SOT 45246 SOS 25593 HAS SOPS 25593 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10039.593
AT ITER 1690 NEW BEST:: SOT 45281 SOS 25920 HAS SOPS 25920 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10013.92
AT ITER 1691 NEW BEST:: SOT 45276 SOS 25915 HAS SOPS 25915 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 10008.915
AT ITER 1707 NEW BEST:: SOT 45271 SOS 25910 HAS SOPS 25910 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9993.91
AT ITER 1711 NEW BEST:: SOT 45262 SOS 25901 HAS SOPS 25901 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9966.901
AT ITER 1719 NEW BEST:: SOT 45258 SOS 25897 HAS SOPS 25897 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9954.897
AT ITER 1738 NEW BEST:: SOT 45258 SOS 25897 HAS SOPS 25897 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9953.897
AT ITER 1760 NEW BEST:: SOT 45231 SOS 25951 HAS SOPS 25951 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9899.951
AT ITER 1779 NEW BEST:: SOT 45231 SOS 25936 HAS SOPS 25936 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9899.936
AT ITER 1781 NEW BEST:: SOT 45228 SOS 25891 HAS SOPS 25891 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9896.891
AT ITER 1791 NEW BEST:: SOT 45228 SOS 25887 HAS SOPS 25887 HAS SOUS 9869 HAS SOUPS 9869 WITH SCORE 9894.887
AT ITER 1804 NEW BEST:: SOT 45222 SOS 25881 HAS SOPS 25881 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9884.881
AT ITER 1832 NEW BEST:: SOT 45221 SOS 25880 HAS SOPS 25880 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9882.88
AT ITER 1853 NEW BEST:: SOT 45224 SOS 25833 HAS SOPS 25833 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9866.833
AT ITER 1884 NEW BEST:: SOT 45216 SOS 25825 HAS SOPS 25825 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9846.825
AT ITER 1887 NEW BEST:: SOT 45222 SOS 25947 HAS SOPS 25947 HAS SOUS 9815 HAS SOUPS 9815 WITH SCORE 9840.947
AT ITER 1894 NEW BEST:: SOT 45212 SOS 25937 HAS SOPS 25937 HAS SOUS 9795 HAS SOUPS 9795 WITH SCORE 9820.937
AT ITER 1937 NEW BEST:: SOT 45207 SOS 25932 HAS SOPS 25932 HAS SOUS 9780 HAS SOUPS 9780 WITH SCORE 9805.932
AT ITER 1941 NEW BEST:: SOT 45200 SOS 25920 HAS SOPS 25920 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9795.92
AT ITER 1942 NEW BEST:: SOT 45199 SOS 25919 HAS SOPS 25919 HAS SOUS 9768 HAS SOUPS 9768 WITH SCORE 9793.919
AT ITER 1963 NEW BEST:: SOT 45195 SOS 25919 HAS SOPS 25919 HAS SOUS 9764 HAS SOUPS 9764 WITH SCORE 9789.919
AT ITER 1985 NEW BEST:: SOT 45191 SOS 25915 HAS SOPS 25915 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9760.915
AT ITER 2014 NEW BEST:: SOT 45201 SOS 25925 HAS SOPS 25925 HAS SOUS 9734 HAS SOUPS 9734 WITH SCORE 9759.925
AT ITER 2018 NEW BEST:: SOT 45195 SOS 25919 HAS SOPS 25919 HAS SOUS 9722 HAS SOUPS 9722 WITH SCORE 9747.919
AT ITER 2032 NEW BEST:: SOT 45179 SOS 25873 HAS SOPS 25873 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9715.873
AT ITER 2041 NEW BEST:: SOT 45152 SOS 25846 HAS SOPS 25846 HAS SOUS 9660 HAS SOUPS 9660 WITH SCORE 9685.846
AT ITER 2042 NEW BEST:: SOT 45139 SOS 25833 HAS SOPS 25833 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9666.833
AT ITER 2064 NEW BEST:: SOT 45121 SOS 25641 HAS SOPS 25641 HAS SOUS 9603 HAS SOUPS 9603 WITH SCORE 9628.641
AT ITER 2072 NEW BEST:: SOT 45121 SOS 25641 HAS SOPS 25641 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9627.641
AT ITER 2082 NEW BEST:: SOT 45110 SOS 25630 HAS SOPS 25630 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9606.63
AT ITER 2084 NEW BEST:: SOT 45066 SOS 25381 HAS SOPS 25381 HAS SOUS 9575 HAS SOUPS 9575 WITH SCORE 9600.381
AT ITER 2105 NEW BEST:: SOT 45066 SOS 25377 HAS SOPS 25377 HAS SOUS 9567 HAS SOUPS 9567 WITH SCORE 9592.377
AT ITER 2128 NEW BEST:: SOT 45026 SOS 25337 HAS SOPS 25337 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9577.337
AT ITER 2149 NEW BEST:: SOT 44989 SOS 25300 HAS SOPS 25300 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9575.3
AT ITER 2160 NEW BEST:: SOT 44982 SOS 25293 HAS SOPS 25293 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9569.293
AT ITER 2191 NEW BEST:: SOT 44960 SOS 25247 HAS SOPS 25247 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9531.247
AT ITER 2252 NEW BEST:: SOT 44934 SOS 25303 HAS SOPS 25303 HAS SOUS 9480 HAS SOUPS 9480 WITH SCORE 9505.303
AT ITER 2264 NEW BEST:: SOT 44911 SOS 25280 HAS SOPS 25280 HAS SOUS 9411 HAS SOUPS 9411 WITH SCORE 9436.28
AT ITER 2270 NEW BEST:: SOT 44915 SOS 25284 HAS SOPS 25284 HAS SOUS 9406 HAS SOUPS 9406 WITH SCORE 9431.284
AT ITER 2289 NEW BEST:: SOT 44884 SOS 25152 HAS SOPS 25152 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9423.152
AT ITER 2297 NEW BEST:: SOT 44882 SOS 25150 HAS SOPS 25150 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9421.15
AT ITER 2299 NEW BEST:: SOT 44853 SOS 25121 HAS SOPS 25121 HAS SOUS 9380 HAS SOUPS 9380 WITH SCORE 9405.121
AT ITER 2300 NEW BEST:: SOT 44853 SOS 25121 HAS SOPS 25121 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9399.121
AT ITER 2311 NEW BEST:: SOT 44848 SOS 25116 HAS SOPS 25116 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9395.116
AT ITER 2315 NEW BEST:: SOT 44832 SOS 25084 HAS SOPS 25084 HAS SOUS 9367 HAS SOUPS 9367 WITH SCORE 9392.084
AT ITER 2317 NEW BEST:: SOT 44815 SOS 25104 HAS SOPS 25104 HAS SOUS 9339 HAS SOUPS 9339 WITH SCORE 9364.104
AT ITER 2318 NEW BEST:: SOT 44811 SOS 25100 HAS SOPS 25100 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9356.1
AT ITER 2319 NEW BEST:: SOT 44811 SOS 25098 HAS SOPS 25098 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9356.098
AT ITER 2355 NEW BEST:: SOT 44807 SOS 25094 HAS SOPS 25094 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9355.094
AT ITER 2361 NEW BEST:: SOT 44812 SOS 25119 HAS SOPS 25119 HAS SOUS 9320 HAS SOUPS 9320 WITH SCORE 9345.119
AT ITER 2369 NEW BEST:: SOT 44812 SOS 25105 HAS SOPS 25105 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9303.105
AT ITER 2378 NEW BEST:: SOT 44829 SOS 25122 HAS SOPS 25122 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9294.122
AT ITER 2379 NEW BEST:: SOT 44827 SOS 25099 HAS SOPS 25099 HAS SOUS 9260 HAS SOUPS 9260 WITH SCORE 9285.099
AT ITER 2413 NEW BEST:: SOT 44821 SOS 25093 HAS SOPS 25093 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9262.093
AT ITER 2414 NEW BEST:: SOT 44806 SOS 25073 HAS SOPS 25073 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9237.073
AT ITER 2418 NEW BEST:: SOT 44806 SOS 25053 HAS SOPS 25053 HAS SOUS 9212 HAS SOUPS 9212 WITH SCORE 9237.053
AT ITER 2440 NEW BEST:: SOT 44804 SOS 25051 HAS SOPS 25051 HAS SOUS 9197 HAS SOUPS 9197 WITH SCORE 9222.051
AT ITER 2443 NEW BEST:: SOT 44804 SOS 25051 HAS SOPS 25051 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9221.051
AT ITER 2446 NEW BEST:: SOT 44836 SOS 25087 HAS SOPS 25087 HAS SOUS 9189 HAS SOUPS 9189 WITH SCORE 9214.087
AT ITER 2480 NEW BEST:: SOT 44834 SOS 25085 HAS SOPS 25085 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9212.085
AT ITER 2523 NEW BEST:: SOT 44824 SOS 25093 HAS SOPS 25093 HAS SOUS 9170 HAS SOUPS 9170 WITH SCORE 9195.093
AT ITER 2536 NEW BEST:: SOT 44832 SOS 25074 HAS SOPS 25074 HAS SOUS 9151 HAS SOUPS 9151 WITH SCORE 9176.074
AT ITER 2544 NEW BEST:: SOT 44814 SOS 25140 HAS SOPS 25140 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9170.14
AT ITER 2548 NEW BEST:: SOT 44813 SOS 25139 HAS SOPS 25139 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9162.139
AT ITER 2644 NEW BEST:: SOT 44813 SOS 25139 HAS SOPS 25139 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9160.139
AT ITER 2659 NEW BEST:: SOT 44813 SOS 25121 HAS SOPS 25121 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9151.121
AT ITER 2699 NEW BEST:: SOT 44813 SOS 25104 HAS SOPS 25104 HAS SOUS 9123 HAS SOUPS 9123 WITH SCORE 9148.104
AT ITER 2703 NEW BEST:: SOT 44793 SOS 25096 HAS SOPS 25096 HAS SOUS 9122 HAS SOUPS 9122 WITH SCORE 9147.096
AT ITER 2728 NEW BEST:: SOT 44785 SOS 25088 HAS SOPS 25088 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9123.088
AT ITER 2748 NEW BEST:: SOT 44779 SOS 25082 HAS SOPS 25082 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9111.082
AT ITER 2749 NEW BEST:: SOT 44773 SOS 25076 HAS SOPS 25076 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9098.076
AT ITER 2769 NEW BEST:: SOT 44705 SOS 25008 HAS SOPS 25008 HAS SOUS 9023 HAS SOUPS 9023 WITH SCORE 9048.008
AT ITER 2774 NEW BEST:: SOT 44704 SOS 25010 HAS SOPS 25010 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9046.01
AT ITER 2857 NEW BEST:: SOT 44704 SOS 25010 HAS SOPS 25010 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9045.01
AT ITER 2887 NEW BEST:: SOT 44687 SOS 24993 HAS SOPS 24993 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 9005.993
AT ITER 2895 NEW BEST:: SOT 44687 SOS 24983 HAS SOPS 24983 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 9005.983
AT ITER 2903 NEW BEST:: SOT 44685 SOS 24981 HAS SOPS 24981 HAS SOUS 8979 HAS SOUPS 8979 WITH SCORE 9003.981
AT ITER 2921 NEW BEST:: SOT 44680 SOS 24973 HAS SOPS 24973 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8992.973
AT ITER 2927 NEW BEST:: SOT 44672 SOS 24991 HAS SOPS 24991 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8984.991
AT ITER 2945 NEW BEST:: SOT 44667 SOS 25013 HAS SOPS 25013 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8975.013
AT ITER 2970 NEW BEST:: SOT 44664 SOS 25010 HAS SOPS 25010 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8969.01
AT ITER 2972 NEW BEST:: SOT 44652 SOS 25034 HAS SOPS 25034 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8961.034
AT ITER 2977 NEW BEST:: SOT 44683 SOS 25065 HAS SOPS 25065 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8955.065
AT ITER 2983 NEW BEST:: SOT 44661 SOS 25034 HAS SOPS 25034 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8933.034
AT ITER 3002 NEW BEST:: SOT 44655 SOS 25028 HAS SOPS 25028 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8917.028
AT ITER 3061 NEW BEST:: SOT 44650 SOS 25018 HAS SOPS 25018 HAS SOUS 8882 HAS SOUPS 8882 WITH SCORE 8907.018
AT ITER 3106 NEW BEST:: SOT 44649 SOS 25017 HAS SOPS 25017 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8905.017
AT ITER 3143 NEW BEST:: SOT 44632 SOS 24852 HAS SOPS 24852 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8904.852
AT ITER 3162 NEW BEST:: SOT 44632 SOS 24992 HAS SOPS 24992 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8869.992
AT ITER 3163 NEW BEST:: SOT 44681 SOS 25078 HAS SOPS 25078 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8864.078
AT ITER 3169 NEW BEST:: SOT 44681 SOS 25068 HAS SOPS 25068 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8864.068
AT ITER 3243 NEW BEST:: SOT 44681 SOS 25172 HAS SOPS 25172 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8838.172
AT ITER 3262 NEW BEST:: SOT 44679 SOS 25168 HAS SOPS 25168 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8835.168
AT ITER 3278 NEW BEST:: SOT 44680 SOS 25166 HAS SOPS 25166 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8834.166
AT ITER 3283 NEW BEST:: SOT 44671 SOS 25157 HAS SOPS 25157 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8830.157
AT ITER 3413 NEW BEST:: SOT 44670 SOS 25156 HAS SOPS 25156 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8826.156
AT ITER 3471 NEW BEST:: SOT 44655 SOS 25141 HAS SOPS 25141 HAS SOUS 8771 HAS SOUPS 8771 WITH SCORE 8796.141
AT ITER 3506 NEW BEST:: SOT 44652 SOS 25138 HAS SOPS 25138 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8787.138
AT ITER 3527 NEW BEST:: SOT 44652 SOS 25134 HAS SOPS 25134 HAS SOUS 8762 HAS SOUPS 8762 WITH SCORE 8787.134
AT ITER 3546 NEW BEST:: SOT 44635 SOS 25117 HAS SOPS 25117 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8770.117
AT ITER 3550 NEW BEST:: SOT 44628 SOS 25110 HAS SOPS 25110 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8753.11
AT ITER 3589 NEW BEST:: SOT 44614 SOS 25149 HAS SOPS 25149 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8750.149
AT ITER 3618 NEW BEST:: SOT 44604 SOS 25139 HAS SOPS 25139 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8745.139
AT ITER 3628 NEW BEST:: SOT 44590 SOS 25125 HAS SOPS 25125 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8705.125
AT ITER 3677 NEW BEST:: SOT 44588 SOS 25123 HAS SOPS 25123 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8697.123
AT ITER 3684 NEW BEST:: SOT 44559 SOS 25122 HAS SOPS 25122 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8696.122
AT ITER 3693 NEW BEST:: SOT 44525 SOS 25088 HAS SOPS 25088 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8667.088
AT ITER 3696 NEW BEST:: SOT 44511 SOS 25074 HAS SOPS 25074 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8659.074
AT ITER 3705 NEW BEST:: SOT 44497 SOS 24984 HAS SOPS 24984 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8641.984
AT ITER 3729 NEW BEST:: SOT 44479 SOS 24966 HAS SOPS 24966 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8579.966
AT ITER 3740 NEW BEST:: SOT 44449 SOS 24846 HAS SOPS 24846 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8549.846
AT ITER 3769 NEW BEST:: SOT 44449 SOS 24840 HAS SOPS 24840 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8546.84
AT ITER 3782 NEW BEST:: SOT 44446 SOS 24741 HAS SOPS 24741 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8543.741
AT ITER 3787 NEW BEST:: SOT 44442 SOS 24736 HAS SOPS 24736 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8543.736
AT ITER 3819 NEW BEST:: SOT 44446 SOS 24713 HAS SOPS 24713 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8538.713
AT ITER 3847 NEW BEST:: SOT 44418 SOS 24950 HAS SOPS 24950 HAS SOUS 8499 HAS SOUPS 8499 WITH SCORE 8523.95
AT ITER 3882 NEW BEST:: SOT 44421 SOS 24953 HAS SOPS 24953 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8510.953
AT ITER 3897 NEW BEST:: SOT 44392 SOS 24201 HAS SOPS 24201 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8487.201
AT ITER 3900 NEW BEST:: SOT 44392 SOS 24197 HAS SOPS 24197 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8487.197
AT ITER 3933 NEW BEST:: SOT 44394 SOS 24199 HAS SOPS 24199 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8478.199
AT ITER 3937 NEW BEST:: SOT 44392 SOS 24197 HAS SOPS 24197 HAS SOUS 8453 HAS SOUPS 8453 WITH SCORE 8477.197
AT ITER 3945 NEW BEST:: SOT 44394 SOS 24199 HAS SOPS 24199 HAS SOUS 8451 HAS SOUPS 8451 WITH SCORE 8475.199
AT ITER 3946 NEW BEST:: SOT 44409 SOS 24214 HAS SOPS 24214 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8466.214
AT ITER 3978 NEW BEST:: SOT 44409 SOS 24208 HAS SOPS 24208 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8466.208
AT ITER 3991 NEW BEST:: SOT 44409 SOS 24208 HAS SOPS 24208 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8463.208
AT ITER 3995 NEW BEST:: SOT 44400 SOS 24202 HAS SOPS 24202 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8457.202
AT ITER 4028 NEW BEST:: SOT 44398 SOS 24200 HAS SOPS 24200 HAS SOUS 8430 HAS SOUPS 8430 WITH SCORE 8454.2
AT ITER 4033 NEW BEST:: SOT 44390 SOS 24140 HAS SOPS 24140 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8451.14
AT ITER 4078 NEW BEST:: SOT 44390 SOS 24168 HAS SOPS 24168 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8444.168
AT ITER 4079 NEW BEST:: SOT 44380 SOS 24115 HAS SOPS 24115 HAS SOUS 8400 HAS SOUPS 8400 WITH SCORE 8424.115
AT ITER 4117 NEW BEST:: SOT 44370 SOS 24105 HAS SOPS 24105 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8393.105
AT ITER 4136 NEW BEST:: SOT 44365 SOS 24100 HAS SOPS 24100 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8378.1
AT ITER 4157 NEW BEST:: SOT 44362 SOS 24097 HAS SOPS 24097 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8372.097
AT ITER 4172 NEW BEST:: SOT 44351 SOS 24083 HAS SOPS 24083 HAS SOUS 8335 HAS SOUPS 8335 WITH SCORE 8359.083
AT ITER 4271 NEW BEST:: SOT 44341 SOS 24001 HAS SOPS 24001 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8350.001
AT ITER 4336 NEW BEST:: SOT 44338 SOS 23998 HAS SOPS 23998 HAS SOUS 8319 HAS SOUPS 8319 WITH SCORE 8342.998
AT ITER 4340 NEW BEST:: SOT 44337 SOS 23997 HAS SOPS 23997 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8341.997
AT ITER 4367 NEW BEST:: SOT 44333 SOS 23993 HAS SOPS 23993 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8339.993
AT ITER 4374 NEW BEST:: SOT 44330 SOS 23990 HAS SOPS 23990 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8339.99
AT ITER 4431 NEW BEST:: SOT 44315 SOS 23975 HAS SOPS 23975 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8321.975
AT ITER 4442 NEW BEST:: SOT 44308 SOS 23968 HAS SOPS 23968 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8315.968
AT ITER 4480 NEW BEST:: SOT 44342 SOS 24016 HAS SOPS 24016 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8301.016
AT ITER 4481 NEW BEST:: SOT 44337 SOS 24011 HAS SOPS 24011 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8291.011
AT ITER 4497 NEW BEST:: SOT 44384 SOS 24048 HAS SOPS 24048 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8261.048
AT ITER 4535 NEW BEST:: SOT 44352 SOS 24042 HAS SOPS 24042 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8261.042
AT ITER 4538 NEW BEST:: SOT 44353 SOS 24043 HAS SOPS 24043 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8260.043
AT ITER 4585 NEW BEST:: SOT 44349 SOS 23988 HAS SOPS 23988 HAS SOUS 8232 HAS SOUPS 8232 WITH SCORE 8255.988
AT ITER 4686 NEW BEST:: SOT 44356 SOS 24000 HAS SOPS 24000 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8254.0
AT ITER 4689 NEW BEST:: SOT 44354 SOS 23998 HAS SOPS 23998 HAS SOUS 8229 HAS SOUPS 8229 WITH SCORE 8252.998
AT ITER 4696 NEW BEST:: SOT 44351 SOS 23992 HAS SOPS 23992 HAS SOUS 8223 HAS SOUPS 8223 WITH SCORE 8246.992
AT ITER 4697 NEW BEST:: SOT 44352 SOS 23993 HAS SOPS 23993 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8243.993
AT ITER 4709 NEW BEST:: SOT 44291 SOS 23924 HAS SOPS 23924 HAS SOUS 8183 HAS SOUPS 8183 WITH SCORE 8206.924
AT ITER 4736 NEW BEST:: SOT 44280 SOS 23946 HAS SOPS 23946 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8195.946
AT ITER 4794 NEW BEST:: SOT 44275 SOS 23956 HAS SOPS 23956 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8190.956
AT ITER 4797 NEW BEST:: SOT 44267 SOS 23948 HAS SOPS 23948 HAS SOUS 8143 HAS SOUPS 8143 WITH SCORE 8166.948
AT ITER 4804 NEW BEST:: SOT 44261 SOS 23942 HAS SOPS 23942 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8160.942
AT ITER 4805 NEW BEST:: SOT 44255 SOS 23927 HAS SOPS 23927 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8157.927
AT ITER 4817 NEW BEST:: SOT 44259 SOS 23897 HAS SOPS 23897 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8157.897
AT ITER 4822 NEW BEST:: SOT 44259 SOS 23890 HAS SOPS 23890 HAS SOUS 8134 HAS SOUPS 8134 WITH SCORE 8157.89
AT ITER 4823 NEW BEST:: SOT 44250 SOS 23881 HAS SOPS 23881 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8148.881
AT ITER 4857 NEW BEST:: SOT 44250 SOS 23884 HAS SOPS 23884 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8144.884
AT ITER 4892 NEW BEST:: SOT 44193 SOS 26539 HAS SOPS 26539 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8126.539
AT ITER 4908 NEW BEST:: SOT 44193 SOS 26525 HAS SOPS 26525 HAS SOUS 8100 HAS SOUPS 8100 WITH SCORE 8126.525
AT ITER 4909 NEW BEST:: SOT 44205 SOS 26516 HAS SOPS 26516 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8121.516
AT ITER 4913 NEW BEST:: SOT 44198 SOS 26509 HAS SOPS 26509 HAS SOUS 8080 HAS SOUPS 8080 WITH SCORE 8106.509
AT ITER 4931 NEW BEST:: SOT 44196 SOS 26507 HAS SOPS 26507 HAS SOUS 8073 HAS SOUPS 8073 WITH SCORE 8099.507
AT ITER 4960 NEW BEST:: SOT 44196 SOS 26507 HAS SOPS 26507 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8097.507
AT ITER 4972 NEW BEST:: SOT 44195 SOS 26509 HAS SOPS 26509 HAS SOUS 8069 HAS SOUPS 8069 WITH SCORE 8095.509
AT ITER 4976 NEW BEST:: SOT 44195 SOS 26493 HAS SOPS 26493 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8087.493
AT ITER 5024 NEW BEST:: SOT 44188 SOS 26507 HAS SOPS 26507 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8080.507
AT ITER 5129 NEW BEST:: SOT 44199 SOS 26371 HAS SOPS 26371 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8074.371
AT ITER 5137 NEW BEST:: SOT 44193 SOS 26365 HAS SOPS 26365 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8057.365
AT ITER 5157 NEW BEST:: SOT 44175 SOS 26289 HAS SOPS 26289 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8029.289
AT ITER 5164 NEW BEST:: SOT 44169 SOS 26277 HAS SOPS 26277 HAS SOUS 7997 HAS SOUPS 7997 WITH SCORE 8023.277
AT ITER 5236 NEW BEST:: SOT 44167 SOS 26281 HAS SOPS 26281 HAS SOUS 7991 HAS SOUPS 7991 WITH SCORE 8017.281
AT ITER 5264 NEW BEST:: SOT 44166 SOS 26283 HAS SOPS 26283 HAS SOUS 7989 HAS SOUPS 7989 WITH SCORE 8015.283
AT ITER 5267 NEW BEST:: SOT 44166 SOS 26283 HAS SOPS 26283 HAS SOUS 7985 HAS SOUPS 7985 WITH SCORE 8011.283
AT ITER 5293 NEW BEST:: SOT 44165 SOS 26282 HAS SOPS 26282 HAS SOUS 7983 HAS SOUPS 7983 WITH SCORE 8009.282
AT ITER 5308 NEW BEST:: SOT 44164 SOS 26332 HAS SOPS 26332 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 8003.332
AT ITER 5320 NEW BEST:: SOT 44146 SOS 26322 HAS SOPS 26322 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7999.322
AT ITER 5339 NEW BEST:: SOT 44125 SOS 26301 HAS SOPS 26301 HAS SOUS 7918 HAS SOUPS 7918 WITH SCORE 7944.301
AT ITER 5340 NEW BEST:: SOT 44124 SOS 26300 HAS SOPS 26300 HAS SOUS 7917 HAS SOUPS 7917 WITH SCORE 7943.3
AT ITER 5355 NEW BEST:: SOT 44124 SOS 26300 HAS SOPS 26300 HAS SOUS 7914 HAS SOUPS 7914 WITH SCORE 7940.3
AT ITER 5379 NEW BEST:: SOT 44139 SOS 26315 HAS SOPS 26315 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7897.315
AT ITER 5381 NEW BEST:: SOT 44136 SOS 26312 HAS SOPS 26312 HAS SOUS 7870 HAS SOUPS 7870 WITH SCORE 7896.312
AT ITER 5405 NEW BEST:: SOT 44135 SOS 26311 HAS SOPS 26311 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7891.311
AT ITER 5432 NEW BEST:: SOT 44135 SOS 26303 HAS SOPS 26303 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7887.303
AT ITER 5481 NEW BEST:: SOT 44129 SOS 26297 HAS SOPS 26297 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7862.297
AT ITER 5551 NEW BEST:: SOT 44094 SOS 26199 HAS SOPS 26199 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7855.199
AT ITER 5659 NEW BEST:: SOT 44094 SOS 26219 HAS SOPS 26219 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7850.219
AT ITER 5736 NEW BEST:: SOT 44096 SOS 26253 HAS SOPS 26253 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7846.253
AT ITER 5780 NEW BEST:: SOT 44096 SOS 26253 HAS SOPS 26253 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7843.253
AT ITER 5920 NEW BEST:: SOT 44101 SOS 26258 HAS SOPS 26258 HAS SOUS 7816 HAS SOUPS 7816 WITH SCORE 7842.258
AT ITER 5959 NEW BEST:: SOT 44084 SOS 26241 HAS SOPS 26241 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7840.241
AT ITER 5967 NEW BEST:: SOT 44085 SOS 26245 HAS SOPS 26245 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7839.245
AT ITER 6016 NEW BEST:: SOT 44093 SOS 26265 HAS SOPS 26265 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7835.265
AT ITER 6062 NEW BEST:: SOT 44091 SOS 26263 HAS SOPS 26263 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7834.263
AT ITER 6107 NEW BEST:: SOT 44087 SOS 26259 HAS SOPS 26259 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7830.259
AT ITER 6139 NEW BEST:: SOT 44080 SOS 26252 HAS SOPS 26252 HAS SOUS 7804 HAS SOUPS 7804 WITH SCORE 7830.252
AT ITER 6260 NEW BEST:: SOT 44079 SOS 26254 HAS SOPS 26254 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7828.254
AT ITER 6267 NEW BEST:: SOT 44077 SOS 26252 HAS SOPS 26252 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7824.252
AT ITER 6295 NEW BEST:: SOT 44077 SOS 26252 HAS SOPS 26252 HAS SOUS 7796 HAS SOUPS 7796 WITH SCORE 7822.252
AT ITER 6391 NEW BEST:: SOT 44070 SOS 26245 HAS SOPS 26245 HAS SOUS 7794 HAS SOUPS 7794 WITH SCORE 7820.245
AT ITER 6481 NEW BEST:: SOT 44071 SOS 26250 HAS SOPS 26250 HAS SOUS 7792 HAS SOUPS 7792 WITH SCORE 7818.25
AT ITER 6489 NEW BEST:: SOT 44071 SOS 26244 HAS SOPS 26244 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7816.244
AT ITER 6507 NEW BEST:: SOT 44029 SOS 26186 HAS SOPS 26186 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7773.186
AT ITER 6511 NEW BEST:: SOT 44029 SOS 26186 HAS SOPS 26186 HAS SOUS 7743 HAS SOUPS 7743 WITH SCORE 7769.186
AT ITER 6529 NEW BEST:: SOT 44027 SOS 26184 HAS SOPS 26184 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7767.184
AT ITER 6532 NEW BEST:: SOT 44026 SOS 26183 HAS SOPS 26183 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7767.183
AT ITER 6551 NEW BEST:: SOT 44025 SOS 26182 HAS SOPS 26182 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7767.182
AT ITER 6579 NEW BEST:: SOT 44025 SOS 26150 HAS SOPS 26150 HAS SOUS 7733 HAS SOUPS 7733 WITH SCORE 7759.15
AT ITER 6589 NEW BEST:: SOT 44012 SOS 26125 HAS SOPS 26125 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7756.125
AT ITER 6624 NEW BEST:: SOT 43999 SOS 26112 HAS SOPS 26112 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7752.112
AT ITER 6639 NEW BEST:: SOT 43979 SOS 26092 HAS SOPS 26092 HAS SOUS 7722 HAS SOUPS 7722 WITH SCORE 7748.092
AT ITER 6672 NEW BEST:: SOT 43969 SOS 26082 HAS SOPS 26082 HAS SOUS 7702 HAS SOUPS 7702 WITH SCORE 7728.082
AT ITER 6714 NEW BEST:: SOT 43957 SOS 26076 HAS SOPS 26076 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7716.076
AT ITER 6787 NEW BEST:: SOT 43957 SOS 26075 HAS SOPS 26075 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7715.075
AT ITER 6789 NEW BEST:: SOT 43956 SOS 26065 HAS SOPS 26065 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7715.065
AT ITER 6808 NEW BEST:: SOT 43955 SOS 26064 HAS SOPS 26064 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7713.064
AT ITER 6901 NEW BEST:: SOT 43953 SOS 26062 HAS SOPS 26062 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7708.062
AT ITER 6920 NEW BEST:: SOT 43957 SOS 26054 HAS SOPS 26054 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7708.054
AT ITER 6922 NEW BEST:: SOT 43949 SOS 26046 HAS SOPS 26046 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7683.046
AT ITER 6975 NEW BEST:: SOT 43951 SOS 26046 HAS SOPS 26046 HAS SOUS 7653 HAS SOUPS 7653 WITH SCORE 7679.046
AT ITER 7010 NEW BEST:: SOT 43949 SOS 26044 HAS SOPS 26044 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7676.044
AT ITER 7019 NEW BEST:: SOT 43950 SOS 26014 HAS SOPS 26014 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7670.014
AT ITER 7049 NEW BEST:: SOT 43951 SOS 25969 HAS SOPS 25969 HAS SOUS 7611 HAS SOUPS 7611 WITH SCORE 7636.969
AT ITER 7342 NEW BEST:: SOT 43952 SOS 26030 HAS SOPS 26030 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7624.03
AT ITER 7351 NEW BEST:: SOT 43953 SOS 26031 HAS SOPS 26031 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7623.031
AT ITER 7373 NEW BEST:: SOT 43948 SOS 26026 HAS SOPS 26026 HAS SOUS 7592 HAS SOUPS 7592 WITH SCORE 7618.026
AT ITER 7377 NEW BEST:: SOT 43957 SOS 26055 HAS SOPS 26055 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7616.055
AT ITER 7395 NEW BEST:: SOT 43939 SOS 26037 HAS SOPS 26037 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7613.037
AT ITER 7477 NEW BEST:: SOT 43935 SOS 26024 HAS SOPS 26024 HAS SOUS 7579 HAS SOUPS 7579 WITH SCORE 7605.024
AT ITER 7579 NEW BEST:: SOT 43935 SOS 26024 HAS SOPS 26024 HAS SOUS 7577 HAS SOUPS 7577 WITH SCORE 7603.024
AT ITER 7609 NEW BEST:: SOT 43935 SOS 26024 HAS SOPS 26024 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7602.024
AT ITER 7621 NEW BEST:: SOT 43934 SOS 26026 HAS SOPS 26026 HAS SOUS 7575 HAS SOUPS 7575 WITH SCORE 7601.026
AT ITER 7743 NEW BEST:: SOT 43932 SOS 26022 HAS SOPS 26022 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7599.022
AT ITER 7763 NEW BEST:: SOT 43932 SOS 26022 HAS SOPS 26022 HAS SOUS 7566 HAS SOUPS 7566 WITH SCORE 7592.022
AT ITER 7802 NEW BEST:: SOT 43932 SOS 26020 HAS SOPS 26020 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7591.02
AT ITER 7854 NEW BEST:: SOT 43932 SOS 26014 HAS SOPS 26014 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7588.014
AT ITER 7862 NEW BEST:: SOT 43931 SOS 25932 HAS SOPS 25932 HAS SOUS 7561 HAS SOUPS 7561 WITH SCORE 7586.932
AT ITER 7897 NEW BEST:: SOT 43933 SOS 25954 HAS SOPS 25954 HAS SOUS 7560 HAS SOUPS 7560 WITH SCORE 7585.954
AT ITER 7993 NEW BEST:: SOT 43933 SOS 25954 HAS SOPS 25954 HAS SOUS 7558 HAS SOUPS 7558 WITH SCORE 7583.954
AT ITER 8064 NEW BEST:: SOT 43931 SOS 25952 HAS SOPS 25952 HAS SOUS 7554 HAS SOUPS 7554 WITH SCORE 7579.952
AT ITER 8081 NEW BEST:: SOT 43931 SOS 25952 HAS SOPS 25952 HAS SOUS 7552 HAS SOUPS 7552 WITH SCORE 7577.952
AT ITER 8132 NEW BEST:: SOT 43922 SOS 25903 HAS SOPS 25903 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7569.903
AT ITER 8167 NEW BEST:: SOT 43921 SOS 25902 HAS SOPS 25902 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7566.902
AT ITER 8246 NEW BEST:: SOT 43918 SOS 25882 HAS SOPS 25882 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7551.882
AT ITER 8263 NEW BEST:: SOT 43896 SOS 25760 HAS SOPS 25760 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7516.76
AT ITER 8322 NEW BEST:: SOT 43898 SOS 25790 HAS SOPS 25790 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7513.79
AT ITER 8344 NEW BEST:: SOT 43892 SOS 25784 HAS SOPS 25784 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7498.784
AT ITER 8394 NEW BEST:: SOT 43873 SOS 25759 HAS SOPS 25759 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7498.759
AT ITER 8459 NEW BEST:: SOT 43870 SOS 25732 HAS SOPS 25732 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7498.732
AT ITER 8476 NEW BEST:: SOT 43858 SOS 25697 HAS SOPS 25697 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7493.697
AT ITER 8509 NEW BEST:: SOT 43867 SOS 23746 HAS SOPS 23746 HAS SOUS 7457 HAS SOUPS 7457 WITH SCORE 7480.746
AT ITER 8589 NEW BEST:: SOT 43864 SOS 23743 HAS SOPS 23743 HAS SOUS 7450 HAS SOUPS 7450 WITH SCORE 7473.743
AT ITER 8590 NEW BEST:: SOT 43862 SOS 23743 HAS SOPS 23743 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7471.743
AT ITER 8602 NEW BEST:: SOT 43856 SOS 23737 HAS SOPS 23737 HAS SOUS 7441 HAS SOUPS 7441 WITH SCORE 7464.737
AT ITER 8672 NEW BEST:: SOT 43853 SOS 23734 HAS SOPS 23734 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7461.734
AT ITER 8690 NEW BEST:: SOT 43843 SOS 23714 HAS SOPS 23714 HAS SOUS 7418 HAS SOUPS 7418 WITH SCORE 7441.714
AT ITER 8712 NEW BEST:: SOT 43839 SOS 23710 HAS SOPS 23710 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7435.71
AT ITER 8756 NEW BEST:: SOT 43838 SOS 23718 HAS SOPS 23718 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7433.718
AT ITER 8846 NEW BEST:: SOT 43835 SOS 23715 HAS SOPS 23715 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7424.715
AT ITER 8923 NEW BEST:: SOT 43832 SOS 23712 HAS SOPS 23712 HAS SOUS 7395 HAS SOUPS 7395 WITH SCORE 7418.712
AT ITER 8991 NEW BEST:: SOT 43827 SOS 23707 HAS SOPS 23707 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7417.707
AT ITER 9065 NEW BEST:: SOT 43826 SOS 23706 HAS SOPS 23706 HAS SOUS 7394 HAS SOUPS 7394 WITH SCORE 7417.706
AT ITER 9231 NEW BEST:: SOT 43828 SOS 23688 HAS SOPS 23688 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7414.688
AT ITER 9386 NEW BEST:: SOT 43828 SOS 23688 HAS SOPS 23688 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7411.688
AT ITER 9663 NEW BEST:: SOT 43826 SOS 23692 HAS SOPS 23692 HAS SOUS 7386 HAS SOUPS 7386 WITH SCORE 7409.692
AT ITER 9689 NEW BEST:: SOT 43824 SOS 23696 HAS SOPS 23696 HAS SOUS 7384 HAS SOUPS 7384 WITH SCORE 7407.696
AT ITER 9693 NEW BEST:: SOT 43821 SOS 23681 HAS SOPS 23681 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7401.681
AT ITER 9696 NEW BEST:: SOT 43807 SOS 23674 HAS SOPS 23674 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7394.674
AT ITER 9841 NEW BEST:: SOT 43807 SOS 23674 HAS SOPS 23674 HAS SOUS 7367 HAS SOUPS 7367 WITH SCORE 7390.674
AT ITER 9935 NEW BEST:: SOT 43803 SOS 23670 HAS SOPS 23670 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7381.67
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 162724 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16297292 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="UtilityControlRoom-COL-Z4T3N06"
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 UtilityControlRoom-COL-Z4T3N06, 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 r483-tall-167912696501032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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