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.r227-tall-167856410400376.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 LamportFastMutEx-COL-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410400376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 7.1K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 13:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 13:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 97K Feb 25 13:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 42K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678610419306

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=LamportFastMutEx-COL-6
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-12 08:40:21] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-12 08:40:21] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-12 08:40: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-12 08:40:22] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 08:40:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 705 ms
[2023-03-12 08:40:22] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 217 PT places and 525.0 transition bindings in 34 ms.
[2023-03-12 08:40:22] [INFO ] Unfolded HLPN to a Petri net with 217 places and 420 transitions 1834 arcs in 45 ms.
[2023-03-12 08:40:22] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 7 places and 7 transitions.
Reduce places removed 7 places and 0 transitions.
[2023-03-12 08:40:22] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 203 places, 413 transitions and 1792 arcs took 14 ms.
Total runtime 1026 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 6
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: 203 places, 413 transitions, 1792 arcs.
AT ITER 0 NEW BEST:: SOT 39987 SOS 24601 HAS SOPS 22698 HAS SOUS 17679 HAS SOUPS 17017 WITH SCORE 17041.601
AT ITER 7 NEW BEST:: SOT 39987 SOS 24380 HAS SOPS 22477 HAS SOUS 17662 HAS SOUPS 17000 WITH SCORE 17024.38
AT ITER 9 NEW BEST:: SOT 39957 SOS 24499 HAS SOPS 22417 HAS SOUS 17666 HAS SOUPS 16940 WITH SCORE 16964.499
AT ITER 12 NEW BEST:: SOT 39957 SOS 24485 HAS SOPS 22403 HAS SOUS 17652 HAS SOUPS 16926 WITH SCORE 16950.485
AT ITER 19 NEW BEST:: SOT 39956 SOS 24484 HAS SOPS 22393 HAS SOUS 17651 HAS SOUPS 16916 WITH SCORE 16940.484
AT ITER 25 NEW BEST:: SOT 39956 SOS 24461 HAS SOPS 22370 HAS SOUS 17628 HAS SOUPS 16893 WITH SCORE 16917.461
AT ITER 42 NEW BEST:: SOT 39629 SOS 24187 HAS SOPS 22043 HAS SOUS 17358 HAS SOUPS 16566 WITH SCORE 16590.187
AT ITER 43 NEW BEST:: SOT 39629 SOS 24183 HAS SOPS 22023 HAS SOUS 17338 HAS SOUPS 16546 WITH SCORE 16570.183
AT ITER 47 NEW BEST:: SOT 39384 SOS 23973 HAS SOPS 21748 HAS SOUS 17128 HAS SOUPS 16271 WITH SCORE 16294.973
AT ITER 54 NEW BEST:: SOT 39384 SOS 23972 HAS SOPS 21748 HAS SOUS 17128 HAS SOUPS 16271 WITH SCORE 16294.972
AT ITER 59 NEW BEST:: SOT 39342 SOS 23998 HAS SOPS 21731 HAS SOUS 17120 HAS SOUPS 16220 WITH SCORE 16243.998
AT ITER 60 NEW BEST:: SOT 39342 SOS 23998 HAS SOPS 21719 HAS SOUS 17108 HAS SOUPS 16208 WITH SCORE 16231.998
AT ITER 65 NEW BEST:: SOT 39342 SOS 23984 HAS SOPS 21705 HAS SOUS 17094 HAS SOUPS 16194 WITH SCORE 16217.984
AT ITER 73 NEW BEST:: SOT 38845 SOS 23630 HAS SOPS 21351 HAS SOUS 16667 HAS SOUPS 15767 WITH SCORE 15790.63
AT ITER 78 NEW BEST:: SOT 38826 SOS 23618 HAS SOPS 21342 HAS SOUS 16651 HAS SOUPS 15753 WITH SCORE 15776.618
AT ITER 79 NEW BEST:: SOT 38826 SOS 23612 HAS SOPS 21336 HAS SOUS 16648 HAS SOUPS 15750 WITH SCORE 15773.612
AT ITER 82 NEW BEST:: SOT 38808 SOS 23594 HAS SOPS 21297 HAS SOUS 16610 HAS SOUPS 15711 WITH SCORE 15734.594
AT ITER 84 NEW BEST:: SOT 38808 SOS 23594 HAS SOPS 21287 HAS SOUS 16615 HAS SOUPS 15701 WITH SCORE 15724.594
AT ITER 98 NEW BEST:: SOT 38556 SOS 23404 HAS SOPS 21109 HAS SOUS 16406 HAS SOUPS 15492 WITH SCORE 15515.404
AT ITER 103 NEW BEST:: SOT 38554 SOS 23412 HAS SOPS 21105 HAS SOUS 16414 HAS SOUPS 15488 WITH SCORE 15511.412
AT ITER 109 NEW BEST:: SOT 38603 SOS 23124 HAS SOPS 20723 HAS SOUS 16336 HAS SOUPS 15410 WITH SCORE 15433.124
AT ITER 110 NEW BEST:: SOT 38578 SOS 23110 HAS SOPS 20709 HAS SOUS 16312 HAS SOUPS 15386 WITH SCORE 15409.11
AT ITER 118 NEW BEST:: SOT 38516 SOS 23048 HAS SOPS 20647 HAS SOUS 16290 HAS SOUPS 15364 WITH SCORE 15387.048
AT ITER 119 NEW BEST:: SOT 38251 SOS 22875 HAS SOPS 20490 HAS SOUS 16041 HAS SOUPS 15161 WITH SCORE 15183.875
AT ITER 128 NEW BEST:: SOT 38251 SOS 22859 HAS SOPS 20485 HAS SOUS 16036 HAS SOUPS 15156 WITH SCORE 15178.859
AT ITER 133 NEW BEST:: SOT 37829 SOS 22499 HAS SOPS 20125 HAS SOUS 15676 HAS SOUPS 14796 WITH SCORE 14818.499
AT ITER 146 NEW BEST:: SOT 37819 SOS 22491 HAS SOPS 20115 HAS SOUS 15668 HAS SOUPS 14786 WITH SCORE 14808.491
AT ITER 147 NEW BEST:: SOT 37757 SOS 22375 HAS SOPS 19963 HAS SOUS 15439 HAS SOUPS 14557 WITH SCORE 14579.375
AT ITER 156 NEW BEST:: SOT 37757 SOS 22358 HAS SOPS 19946 HAS SOUS 15422 HAS SOUPS 14540 WITH SCORE 14562.358
AT ITER 160 NEW BEST:: SOT 37757 SOS 22349 HAS SOPS 19931 HAS SOUS 15423 HAS SOUPS 14535 WITH SCORE 14557.349
AT ITER 162 NEW BEST:: SOT 37636 SOS 22264 HAS SOPS 19846 HAS SOUS 15320 HAS SOUPS 14432 WITH SCORE 14454.264
AT ITER 164 NEW BEST:: SOT 37628 SOS 22252 HAS SOPS 19906 HAS SOUS 15271 HAS SOUPS 14389 WITH SCORE 14411.252
AT ITER 170 NEW BEST:: SOT 37624 SOS 22248 HAS SOPS 19886 HAS SOUS 15262 HAS SOUPS 14369 WITH SCORE 14391.248
AT ITER 175 NEW BEST:: SOT 37561 SOS 22189 HAS SOPS 19814 HAS SOUS 15208 HAS SOUPS 14297 WITH SCORE 14319.189
AT ITER 178 NEW BEST:: SOT 37559 SOS 22157 HAS SOPS 19782 HAS SOUS 15176 HAS SOUPS 14265 WITH SCORE 14287.157
AT ITER 181 NEW BEST:: SOT 37815 SOS 22411 HAS SOPS 19760 HAS SOUS 15384 HAS SOUPS 14243 WITH SCORE 14265.411
AT ITER 192 NEW BEST:: SOT 37812 SOS 22408 HAS SOPS 19757 HAS SOUS 15381 HAS SOUPS 14240 WITH SCORE 14262.408
AT ITER 193 NEW BEST:: SOT 37828 SOS 22494 HAS SOPS 19579 HAS SOUS 15241 HAS SOUPS 14062 WITH SCORE 14084.494
AT ITER 195 NEW BEST:: SOT 37818 SOS 22479 HAS SOPS 19564 HAS SOUS 15230 HAS SOUPS 14051 WITH SCORE 14073.479
AT ITER 209 NEW BEST:: SOT 37854 SOS 22497 HAS SOPS 19472 HAS SOUS 15147 HAS SOUPS 13968 WITH SCORE 13990.497
AT ITER 213 NEW BEST:: SOT 37854 SOS 22432 HAS SOPS 19407 HAS SOUS 15147 HAS SOUPS 13968 WITH SCORE 13990.432
AT ITER 227 NEW BEST:: SOT 37872 SOS 22459 HAS SOPS 19434 HAS SOUS 15111 HAS SOUPS 13932 WITH SCORE 13954.459
AT ITER 228 NEW BEST:: SOT 37702 SOS 22355 HAS SOPS 19262 HAS SOUS 14906 HAS SOUPS 13727 WITH SCORE 13749.355
AT ITER 244 NEW BEST:: SOT 37700 SOS 22353 HAS SOPS 19258 HAS SOUS 14904 HAS SOUPS 13723 WITH SCORE 13745.353
AT ITER 247 NEW BEST:: SOT 37700 SOS 22352 HAS SOPS 19255 HAS SOUS 14901 HAS SOUPS 13720 WITH SCORE 13742.352
AT ITER 249 NEW BEST:: SOT 37786 SOS 22495 HAS SOPS 19398 HAS SOUS 14744 HAS SOUPS 13563 WITH SCORE 13585.495
AT ITER 250 NEW BEST:: SOT 37459 SOS 22386 HAS SOPS 19066 HAS SOUS 14581 HAS SOUPS 13275 WITH SCORE 13297.386
AT ITER 270 NEW BEST:: SOT 37453 SOS 22380 HAS SOPS 19066 HAS SOUS 14575 HAS SOUPS 13275 WITH SCORE 13297.38
AT ITER 277 NEW BEST:: SOT 37453 SOS 22380 HAS SOPS 19058 HAS SOUS 14567 HAS SOUPS 13267 WITH SCORE 13289.38
AT ITER 292 NEW BEST:: SOT 37399 SOS 22275 HAS SOPS 18911 HAS SOUS 14448 HAS SOUPS 13152 WITH SCORE 13174.275
AT ITER 299 NEW BEST:: SOT 37395 SOS 22286 HAS SOPS 18910 HAS SOUS 14459 HAS SOUPS 13151 WITH SCORE 13173.286
AT ITER 308 NEW BEST:: SOT 37328 SOS 22252 HAS SOPS 18849 HAS SOUS 14425 HAS SOUPS 13090 WITH SCORE 13112.252
AT ITER 312 NEW BEST:: SOT 37328 SOS 22246 HAS SOPS 18843 HAS SOUS 14423 HAS SOUPS 13088 WITH SCORE 13110.246
AT ITER 319 NEW BEST:: SOT 37232 SOS 22150 HAS SOPS 18747 HAS SOUS 14327 HAS SOUPS 12992 WITH SCORE 13014.15
AT ITER 320 NEW BEST:: SOT 37403 SOS 22263 HAS SOPS 18646 HAS SOUS 14459 HAS SOUPS 12940 WITH SCORE 12962.263
AT ITER 322 NEW BEST:: SOT 37403 SOS 22127 HAS SOPS 18510 HAS SOUS 14452 HAS SOUPS 12933 WITH SCORE 12955.127
AT ITER 327 NEW BEST:: SOT 37401 SOS 22125 HAS SOPS 18511 HAS SOUS 14370 HAS SOUPS 12854 WITH SCORE 12876.125
AT ITER 329 NEW BEST:: SOT 37395 SOS 22099 HAS SOPS 18491 HAS SOUS 14354 HAS SOUPS 12844 WITH SCORE 12866.099
AT ITER 330 NEW BEST:: SOT 37395 SOS 22074 HAS SOPS 18466 HAS SOUS 14354 HAS SOUPS 12844 WITH SCORE 12866.074
AT ITER 336 NEW BEST:: SOT 37326 SOS 22010 HAS SOPS 18359 HAS SOUS 14285 HAS SOUPS 12737 WITH SCORE 12759.01
AT ITER 344 NEW BEST:: SOT 37326 SOS 21998 HAS SOPS 18347 HAS SOUS 14285 HAS SOUPS 12737 WITH SCORE 12758.998
AT ITER 346 NEW BEST:: SOT 37334 SOS 22006 HAS SOPS 18355 HAS SOUS 14277 HAS SOUPS 12729 WITH SCORE 12751.006
AT ITER 356 NEW BEST:: SOT 37334 SOS 22043 HAS SOPS 18383 HAS SOUS 14272 HAS SOUPS 12724 WITH SCORE 12746.043
AT ITER 365 NEW BEST:: SOT 37334 SOS 22009 HAS SOPS 18373 HAS SOUS 14262 HAS SOUPS 12714 WITH SCORE 12736.009
AT ITER 376 NEW BEST:: SOT 37334 SOS 21999 HAS SOPS 18361 HAS SOUS 14256 HAS SOUPS 12708 WITH SCORE 12729.999
AT ITER 401 NEW BEST:: SOT 37287 SOS 21920 HAS SOPS 18355 HAS SOUS 14222 HAS SOUPS 12702 WITH SCORE 12723.92
AT ITER 403 NEW BEST:: SOT 37332 SOS 21996 HAS SOPS 18344 HAS SOUS 14250 HAS SOUPS 12691 WITH SCORE 12712.996
AT ITER 415 NEW BEST:: SOT 37234 SOS 21934 HAS SOPS 18136 HAS SOUS 14044 HAS SOUPS 12465 WITH SCORE 12486.934
AT ITER 416 NEW BEST:: SOT 37234 SOS 21901 HAS SOPS 18105 HAS SOUS 14013 HAS SOUPS 12434 WITH SCORE 12455.901
AT ITER 417 NEW BEST:: SOT 37234 SOS 21899 HAS SOPS 18105 HAS SOUS 14013 HAS SOUPS 12434 WITH SCORE 12455.899
AT ITER 424 NEW BEST:: SOT 37341 SOS 21776 HAS SOPS 17871 HAS SOUS 14077 HAS SOUPS 12422 WITH SCORE 12443.776
AT ITER 429 NEW BEST:: SOT 37341 SOS 21767 HAS SOPS 17858 HAS SOUS 14064 HAS SOUPS 12409 WITH SCORE 12430.767
AT ITER 446 NEW BEST:: SOT 37359 SOS 21789 HAS SOPS 17884 HAS SOUS 13999 HAS SOUPS 12348 WITH SCORE 12369.789
AT ITER 447 NEW BEST:: SOT 37336 SOS 21766 HAS SOPS 17884 HAS SOUS 13976 HAS SOUPS 12348 WITH SCORE 12369.766
AT ITER 450 NEW BEST:: SOT 37344 SOS 21780 HAS SOPS 17882 HAS SOUS 13982 HAS SOUPS 12346 WITH SCORE 12367.78
AT ITER 462 NEW BEST:: SOT 37208 SOS 21786 HAS SOPS 17684 HAS SOUS 13861 HAS SOUPS 12148 WITH SCORE 12169.786
AT ITER 465 NEW BEST:: SOT 37103 SOS 21720 HAS SOPS 17579 HAS SOUS 13872 HAS SOUPS 12135 WITH SCORE 12156.72
AT ITER 467 NEW BEST:: SOT 37171 SOS 21800 HAS SOPS 17522 HAS SOUS 13891 HAS SOUPS 12097 WITH SCORE 12118.8
AT ITER 469 NEW BEST:: SOT 37168 SOS 21795 HAS SOPS 17513 HAS SOUS 13886 HAS SOUPS 12088 WITH SCORE 12109.795
AT ITER 471 NEW BEST:: SOT 37187 SOS 21948 HAS SOPS 17718 HAS SOUS 13803 HAS SOUPS 12008 WITH SCORE 12029.948
AT ITER 475 NEW BEST:: SOT 37192 SOS 21963 HAS SOPS 17728 HAS SOUS 13778 HAS SOUPS 11983 WITH SCORE 12004.963
AT ITER 478 NEW BEST:: SOT 37225 SOS 21980 HAS SOPS 17626 HAS SOUS 13730 HAS SOUPS 11935 WITH SCORE 11956.98
AT ITER 490 NEW BEST:: SOT 37225 SOS 21945 HAS SOPS 17591 HAS SOUS 13723 HAS SOUPS 11928 WITH SCORE 11949.945
AT ITER 502 NEW BEST:: SOT 37245 SOS 21983 HAS SOPS 17589 HAS SOUS 13741 HAS SOUPS 11926 WITH SCORE 11947.983
AT ITER 505 NEW BEST:: SOT 37215 SOS 21953 HAS SOPS 17559 HAS SOUS 13711 HAS SOUPS 11896 WITH SCORE 11917.953
AT ITER 527 NEW BEST:: SOT 37205 SOS 21945 HAS SOPS 17558 HAS SOUS 13699 HAS SOUPS 11895 WITH SCORE 11916.945
AT ITER 544 NEW BEST:: SOT 37204 SOS 21944 HAS SOPS 17556 HAS SOUS 13698 HAS SOUPS 11893 WITH SCORE 11914.944
AT ITER 557 NEW BEST:: SOT 37149 SOS 21838 HAS SOPS 17417 HAS SOUS 13599 HAS SOUPS 11794 WITH SCORE 11815.838
AT ITER 558 NEW BEST:: SOT 37014 SOS 21753 HAS SOPS 17332 HAS SOUS 13489 HAS SOUPS 11684 WITH SCORE 11705.753
AT ITER 567 NEW BEST:: SOT 37014 SOS 21749 HAS SOPS 17328 HAS SOUS 13489 HAS SOUPS 11684 WITH SCORE 11705.749
AT ITER 577 NEW BEST:: SOT 36864 SOS 21659 HAS SOPS 17238 HAS SOUS 13369 HAS SOUPS 11564 WITH SCORE 11585.659
AT ITER 579 NEW BEST:: SOT 36821 SOS 21650 HAS SOPS 17195 HAS SOUS 13361 HAS SOUPS 11521 WITH SCORE 11542.65
AT ITER 640 NEW BEST:: SOT 36799 SOS 21628 HAS SOPS 17173 HAS SOUS 13339 HAS SOUPS 11499 WITH SCORE 11520.628
AT ITER 646 NEW BEST:: SOT 36799 SOS 21374 HAS SOPS 16919 HAS SOUS 13323 HAS SOUPS 11483 WITH SCORE 11504.374
AT ITER 649 NEW BEST:: SOT 36797 SOS 21377 HAS SOPS 16914 HAS SOUS 13320 HAS SOUPS 11478 WITH SCORE 11499.377
AT ITER 651 NEW BEST:: SOT 36797 SOS 21384 HAS SOPS 16904 HAS SOUS 13310 HAS SOUPS 11468 WITH SCORE 11489.384
AT ITER 652 NEW BEST:: SOT 36719 SOS 21423 HAS SOPS 16825 HAS SOUS 13276 HAS SOUPS 11389 WITH SCORE 11410.423
AT ITER 658 NEW BEST:: SOT 36703 SOS 21376 HAS SOPS 16775 HAS SOUS 13226 HAS SOUPS 11339 WITH SCORE 11360.376
AT ITER 661 NEW BEST:: SOT 36660 SOS 21333 HAS SOPS 16732 HAS SOUS 13139 HAS SOUPS 11252 WITH SCORE 11273.333
AT ITER 679 NEW BEST:: SOT 36487 SOS 21074 HAS SOPS 16473 HAS SOUS 12929 HAS SOUPS 11042 WITH SCORE 11063.074
AT ITER 680 NEW BEST:: SOT 36526 SOS 21146 HAS SOPS 16472 HAS SOUS 12910 HAS SOUPS 11023 WITH SCORE 11044.146
AT ITER 682 NEW BEST:: SOT 36526 SOS 21078 HAS SOPS 16388 HAS SOUS 12817 HAS SOUPS 10930 WITH SCORE 10951.078
AT ITER 712 NEW BEST:: SOT 36512 SOS 21043 HAS SOPS 16356 HAS SOUS 12785 HAS SOUPS 10898 WITH SCORE 10919.043
AT ITER 715 NEW BEST:: SOT 36420 SOS 20951 HAS SOPS 16286 HAS SOUS 12695 HAS SOUPS 10828 WITH SCORE 10848.951
AT ITER 719 NEW BEST:: SOT 36420 SOS 20881 HAS SOPS 16216 HAS SOUS 12685 HAS SOUPS 10818 WITH SCORE 10838.881
AT ITER 725 NEW BEST:: SOT 36417 SOS 20878 HAS SOPS 16213 HAS SOUS 12682 HAS SOUPS 10815 WITH SCORE 10835.878
AT ITER 741 NEW BEST:: SOT 36417 SOS 20877 HAS SOPS 16212 HAS SOUS 12681 HAS SOUPS 10814 WITH SCORE 10834.877
AT ITER 760 NEW BEST:: SOT 36397 SOS 20857 HAS SOPS 16184 HAS SOUS 12653 HAS SOUPS 10786 WITH SCORE 10806.857
AT ITER 762 NEW BEST:: SOT 36397 SOS 20859 HAS SOPS 16186 HAS SOUS 12647 HAS SOUPS 10780 WITH SCORE 10800.859
AT ITER 782 NEW BEST:: SOT 36397 SOS 20853 HAS SOPS 16180 HAS SOUS 12641 HAS SOUPS 10774 WITH SCORE 10794.853
AT ITER 798 NEW BEST:: SOT 36199 SOS 20721 HAS SOPS 16048 HAS SOUS 12476 HAS SOUPS 10609 WITH SCORE 10629.721
AT ITER 811 NEW BEST:: SOT 36192 SOS 20714 HAS SOPS 16034 HAS SOUS 12462 HAS SOUPS 10595 WITH SCORE 10615.714
AT ITER 830 NEW BEST:: SOT 36189 SOS 20711 HAS SOPS 16031 HAS SOUS 12459 HAS SOUPS 10592 WITH SCORE 10612.711
AT ITER 841 NEW BEST:: SOT 36187 SOS 20709 HAS SOPS 16027 HAS SOUS 12457 HAS SOUPS 10588 WITH SCORE 10608.709
AT ITER 874 NEW BEST:: SOT 36179 SOS 20712 HAS SOPS 16009 HAS SOUS 12472 HAS SOUPS 10570 WITH SCORE 10590.712
AT ITER 898 NEW BEST:: SOT 36179 SOS 20729 HAS SOPS 16001 HAS SOUS 12489 HAS SOUPS 10562 WITH SCORE 10582.729
AT ITER 901 NEW BEST:: SOT 36191 SOS 20741 HAS SOPS 15997 HAS SOUS 12499 HAS SOUPS 10558 WITH SCORE 10578.741
AT ITER 904 NEW BEST:: SOT 36188 SOS 20732 HAS SOPS 15973 HAS SOUS 12496 HAS SOUPS 10555 WITH SCORE 10575.732
AT ITER 911 NEW BEST:: SOT 36354 SOS 20904 HAS SOPS 16101 HAS SOUS 12439 HAS SOUPS 10498 WITH SCORE 10518.904
AT ITER 921 NEW BEST:: SOT 36354 SOS 21008 HAS SOPS 16082 HAS SOUS 12493 HAS SOUPS 10479 WITH SCORE 10500.008
AT ITER 932 NEW BEST:: SOT 36353 SOS 20981 HAS SOPS 16080 HAS SOUS 12489 HAS SOUPS 10477 WITH SCORE 10497.981
AT ITER 957 NEW BEST:: SOT 36339 SOS 20967 HAS SOPS 16064 HAS SOUS 12461 HAS SOUPS 10449 WITH SCORE 10469.967
AT ITER 959 NEW BEST:: SOT 36339 SOS 20974 HAS SOPS 16070 HAS SOUS 12459 HAS SOUPS 10447 WITH SCORE 10467.974
AT ITER 961 NEW BEST:: SOT 36162 SOS 20998 HAS SOPS 15834 HAS SOUS 12569 HAS SOUPS 10421 WITH SCORE 10441.998
AT ITER 981 NEW BEST:: SOT 36156 SOS 20986 HAS SOPS 15819 HAS SOUS 12582 HAS SOUPS 10406 WITH SCORE 10426.986
AT ITER 985 NEW BEST:: SOT 36137 SOS 20993 HAS SOPS 15793 HAS SOUS 12611 HAS SOUPS 10380 WITH SCORE 10400.993
AT ITER 1004 NEW BEST:: SOT 36137 SOS 20987 HAS SOPS 15793 HAS SOUS 12598 HAS SOUPS 10380 WITH SCORE 10400.987
AT ITER 1014 NEW BEST:: SOT 36143 SOS 21008 HAS SOPS 15715 HAS SOUS 12520 HAS SOUPS 10302 WITH SCORE 10323.008
AT ITER 1030 NEW BEST:: SOT 36136 SOS 21001 HAS SOPS 15701 HAS SOUS 12513 HAS SOUPS 10288 WITH SCORE 10309.001
AT ITER 1031 NEW BEST:: SOT 36146 SOS 21021 HAS SOPS 15661 HAS SOUS 12473 HAS SOUPS 10248 WITH SCORE 10269.021
AT ITER 1043 NEW BEST:: SOT 36145 SOS 21020 HAS SOPS 15659 HAS SOUS 12472 HAS SOUPS 10246 WITH SCORE 10267.02
AT ITER 1046 NEW BEST:: SOT 36067 SOS 20895 HAS SOPS 15593 HAS SOUS 12362 HAS SOUPS 10169 WITH SCORE 10189.895
AT ITER 1053 NEW BEST:: SOT 36080 SOS 20908 HAS SOPS 15592 HAS SOUS 12352 HAS SOUPS 10168 WITH SCORE 10188.908
AT ITER 1058 NEW BEST:: SOT 36073 SOS 20901 HAS SOPS 15585 HAS SOUS 12345 HAS SOUPS 10161 WITH SCORE 10181.901
AT ITER 1082 NEW BEST:: SOT 36033 SOS 20861 HAS SOPS 15545 HAS SOUS 12305 HAS SOUPS 10121 WITH SCORE 10141.861
AT ITER 1096 NEW BEST:: SOT 36023 SOS 20855 HAS SOPS 15537 HAS SOUS 12297 HAS SOUPS 10111 WITH SCORE 10131.855
AT ITER 1099 NEW BEST:: SOT 35997 SOS 20829 HAS SOPS 15498 HAS SOUS 12271 HAS SOUPS 10072 WITH SCORE 10092.829
AT ITER 1114 NEW BEST:: SOT 36087 SOS 20919 HAS SOPS 15584 HAS SOUS 12267 HAS SOUPS 10068 WITH SCORE 10088.919
AT ITER 1118 NEW BEST:: SOT 36079 SOS 20911 HAS SOPS 15563 HAS SOUS 12251 HAS SOUPS 10047 WITH SCORE 10067.911
AT ITER 1122 NEW BEST:: SOT 36068 SOS 21029 HAS SOPS 15678 HAS SOUS 12234 HAS SOUPS 10030 WITH SCORE 10051.029
AT ITER 1123 NEW BEST:: SOT 36068 SOS 20978 HAS SOPS 15627 HAS SOUS 12234 HAS SOUPS 10030 WITH SCORE 10050.978
AT ITER 1128 NEW BEST:: SOT 36046 SOS 20930 HAS SOPS 15579 HAS SOUS 12199 HAS SOUPS 9995 WITH SCORE 10015.93
AT ITER 1135 NEW BEST:: SOT 36025 SOS 20909 HAS SOPS 15527 HAS SOUS 12172 HAS SOUPS 9943 WITH SCORE 9963.909
AT ITER 1136 NEW BEST:: SOT 36025 SOS 20891 HAS SOPS 15527 HAS SOUS 12144 HAS SOUPS 9943 WITH SCORE 9963.891
AT ITER 1153 NEW BEST:: SOT 35966 SOS 20796 HAS SOPS 15421 HAS SOUS 12076 HAS SOUPS 9875 WITH SCORE 9895.796
AT ITER 1156 NEW BEST:: SOT 35958 SOS 20788 HAS SOPS 15368 HAS SOUS 12031 HAS SOUPS 9822 WITH SCORE 9842.788
AT ITER 1160 NEW BEST:: SOT 35948 SOS 20826 HAS SOPS 15334 HAS SOUS 12096 HAS SOUPS 9788 WITH SCORE 9808.826
AT ITER 1163 NEW BEST:: SOT 35923 SOS 20989 HAS SOPS 15280 HAS SOUS 12250 HAS SOUPS 9734 WITH SCORE 9754.989
AT ITER 1169 NEW BEST:: SOT 35774 SOS 21034 HAS SOPS 15325 HAS SOUS 12166 HAS SOUPS 9650 WITH SCORE 9671.034
AT ITER 1175 NEW BEST:: SOT 35774 SOS 21016 HAS SOPS 15323 HAS SOUS 12162 HAS SOUPS 9648 WITH SCORE 9669.016
AT ITER 1204 NEW BEST:: SOT 35613 SOS 20835 HAS SOPS 15167 HAS SOUS 12072 HAS SOUPS 9558 WITH SCORE 9578.835
AT ITER 1230 NEW BEST:: SOT 35574 SOS 20808 HAS SOPS 15128 HAS SOUS 12102 HAS SOUPS 9555 WITH SCORE 9575.808
AT ITER 1266 NEW BEST:: SOT 35565 SOS 20793 HAS SOPS 15125 HAS SOUS 12086 HAS SOUPS 9555 WITH SCORE 9575.793
AT ITER 1292 NEW BEST:: SOT 35563 SOS 20793 HAS SOPS 15123 HAS SOUS 12084 HAS SOUPS 9553 WITH SCORE 9573.793
AT ITER 1299 NEW BEST:: SOT 35556 SOS 20766 HAS SOPS 15119 HAS SOUS 12033 HAS SOUPS 9549 WITH SCORE 9569.766
AT ITER 1321 NEW BEST:: SOT 35559 SOS 20788 HAS SOPS 15117 HAS SOUS 12016 HAS SOUPS 9529 WITH SCORE 9549.788
AT ITER 1329 NEW BEST:: SOT 35548 SOS 20777 HAS SOPS 15095 HAS SOUS 12005 HAS SOUPS 9507 WITH SCORE 9527.777
AT ITER 1356 NEW BEST:: SOT 35498 SOS 20729 HAS SOPS 15034 HAS SOUS 12009 HAS SOUPS 9498 WITH SCORE 9518.729
AT ITER 1359 NEW BEST:: SOT 35493 SOS 20724 HAS SOPS 15024 HAS SOUS 12004 HAS SOUPS 9488 WITH SCORE 9508.724
AT ITER 1390 NEW BEST:: SOT 35271 SOS 20499 HAS SOPS 14799 HAS SOUS 11779 HAS SOUPS 9263 WITH SCORE 9283.499
AT ITER 1406 NEW BEST:: SOT 35277 SOS 20511 HAS SOPS 14793 HAS SOUS 11770 HAS SOUPS 9254 WITH SCORE 9274.511
AT ITER 1407 NEW BEST:: SOT 35277 SOS 20518 HAS SOPS 14800 HAS SOUS 11749 HAS SOUPS 9233 WITH SCORE 9253.518
AT ITER 1411 NEW BEST:: SOT 35272 SOS 20513 HAS SOPS 14795 HAS SOUS 11744 HAS SOUPS 9228 WITH SCORE 9248.513
AT ITER 1415 NEW BEST:: SOT 35268 SOS 20509 HAS SOPS 14787 HAS SOUS 11740 HAS SOUPS 9220 WITH SCORE 9240.509
AT ITER 1421 NEW BEST:: SOT 35266 SOS 20507 HAS SOPS 14783 HAS SOUS 11738 HAS SOUPS 9216 WITH SCORE 9236.507
AT ITER 1433 NEW BEST:: SOT 35268 SOS 20509 HAS SOPS 14782 HAS SOUS 11740 HAS SOUPS 9215 WITH SCORE 9235.509
AT ITER 1443 NEW BEST:: SOT 35265 SOS 20506 HAS SOPS 14779 HAS SOUS 11737 HAS SOUPS 9212 WITH SCORE 9232.506
AT ITER 1457 NEW BEST:: SOT 35135 SOS 20376 HAS SOPS 14647 HAS SOUS 11631 HAS SOUPS 9104 WITH SCORE 9124.376
AT ITER 1460 NEW BEST:: SOT 35135 SOS 20411 HAS SOPS 14674 HAS SOUS 11636 HAS SOUPS 9101 WITH SCORE 9121.411
AT ITER 1468 NEW BEST:: SOT 35190 SOS 20382 HAS SOPS 14767 HAS SOUS 11500 HAS SOUPS 9066 WITH SCORE 9086.382
AT ITER 1482 NEW BEST:: SOT 35181 SOS 20375 HAS SOPS 14738 HAS SOUS 11471 HAS SOUPS 9037 WITH SCORE 9057.375
AT ITER 1487 NEW BEST:: SOT 35175 SOS 20341 HAS SOPS 14728 HAS SOUS 11457 HAS SOUPS 9027 WITH SCORE 9047.341
AT ITER 1492 NEW BEST:: SOT 35174 SOS 20344 HAS SOPS 14710 HAS SOUS 11446 HAS SOUPS 9009 WITH SCORE 9029.344
AT ITER 1568 NEW BEST:: SOT 35149 SOS 20372 HAS SOPS 14658 HAS SOUS 11448 HAS SOUPS 8957 WITH SCORE 8977.372
AT ITER 1603 NEW BEST:: SOT 35141 SOS 20360 HAS SOPS 14646 HAS SOUS 11436 HAS SOUPS 8945 WITH SCORE 8965.36
AT ITER 1646 NEW BEST:: SOT 35123 SOS 20338 HAS SOPS 14624 HAS SOUS 11414 HAS SOUPS 8923 WITH SCORE 8943.338
AT ITER 1654 NEW BEST:: SOT 35120 SOS 20335 HAS SOPS 14618 HAS SOUS 11411 HAS SOUPS 8917 WITH SCORE 8937.335
AT ITER 1663 NEW BEST:: SOT 35084 SOS 20299 HAS SOPS 14618 HAS SOUS 11382 HAS SOUPS 8917 WITH SCORE 8937.299
AT ITER 1678 NEW BEST:: SOT 35084 SOS 20298 HAS SOPS 14618 HAS SOUS 11382 HAS SOUPS 8917 WITH SCORE 8937.298
AT ITER 1679 NEW BEST:: SOT 35078 SOS 20291 HAS SOPS 14605 HAS SOUS 11369 HAS SOUPS 8904 WITH SCORE 8924.291
AT ITER 1694 NEW BEST:: SOT 35077 SOS 20290 HAS SOPS 14603 HAS SOUS 11368 HAS SOUPS 8902 WITH SCORE 8922.29
AT ITER 1710 NEW BEST:: SOT 35083 SOS 20296 HAS SOPS 14597 HAS SOUS 11372 HAS SOUPS 8896 WITH SCORE 8916.296
AT ITER 1725 NEW BEST:: SOT 35079 SOS 20312 HAS SOPS 14584 HAS SOUS 11359 HAS SOUPS 8883 WITH SCORE 8903.312
AT ITER 1733 NEW BEST:: SOT 35070 SOS 20303 HAS SOPS 14566 HAS SOUS 11350 HAS SOUPS 8865 WITH SCORE 8885.303
AT ITER 1751 NEW BEST:: SOT 35070 SOS 20289 HAS SOPS 14552 HAS SOUS 11348 HAS SOUPS 8863 WITH SCORE 8883.289
AT ITER 1757 NEW BEST:: SOT 35069 SOS 20288 HAS SOPS 14551 HAS SOUS 11347 HAS SOUPS 8862 WITH SCORE 8882.288
AT ITER 1771 NEW BEST:: SOT 35003 SOS 20267 HAS SOPS 14481 HAS SOUS 11358 HAS SOUPS 8836 WITH SCORE 8856.267
AT ITER 1799 NEW BEST:: SOT 35003 SOS 20260 HAS SOPS 14474 HAS SOUS 11357 HAS SOUPS 8835 WITH SCORE 8855.26
AT ITER 1805 NEW BEST:: SOT 34999 SOS 20256 HAS SOPS 14468 HAS SOUS 11353 HAS SOUPS 8829 WITH SCORE 8849.256
AT ITER 1843 NEW BEST:: SOT 34999 SOS 20260 HAS SOPS 14460 HAS SOUS 11357 HAS SOUPS 8821 WITH SCORE 8841.26
AT ITER 1856 NEW BEST:: SOT 34907 SOS 20168 HAS SOPS 14388 HAS SOUS 11285 HAS SOUPS 8749 WITH SCORE 8769.168
AT ITER 1875 NEW BEST:: SOT 34907 SOS 20168 HAS SOPS 14343 HAS SOUS 11239 HAS SOUPS 8704 WITH SCORE 8724.168
AT ITER 1881 NEW BEST:: SOT 34907 SOS 20182 HAS SOPS 14341 HAS SOUS 11247 HAS SOUPS 8702 WITH SCORE 8722.182
AT ITER 1901 NEW BEST:: SOT 34907 SOS 20267 HAS SOPS 14426 HAS SOUS 11244 HAS SOUPS 8699 WITH SCORE 8719.267
AT ITER 1932 NEW BEST:: SOT 34777 SOS 20166 HAS SOPS 14290 HAS SOUS 11104 HAS SOUPS 8559 WITH SCORE 8579.166
AT ITER 1959 NEW BEST:: SOT 34736 SOS 20156 HAS SOPS 14266 HAS SOUS 11094 HAS SOUPS 8535 WITH SCORE 8555.156
AT ITER 1960 NEW BEST:: SOT 34639 SOS 20031 HAS SOPS 14131 HAS SOUS 10959 HAS SOUPS 8400 WITH SCORE 8420.031
AT ITER 1990 NEW BEST:: SOT 34633 SOS 20027 HAS SOPS 14123 HAS SOUS 10963 HAS SOUPS 8400 WITH SCORE 8420.027
AT ITER 2008 NEW BEST:: SOT 34616 SOS 20010 HAS SOPS 14101 HAS SOUS 10946 HAS SOUPS 8378 WITH SCORE 8398.01
AT ITER 2017 NEW BEST:: SOT 34617 SOS 20011 HAS SOPS 14096 HAS SOUS 10947 HAS SOUPS 8373 WITH SCORE 8393.011
AT ITER 2022 NEW BEST:: SOT 34613 SOS 20007 HAS SOPS 14084 HAS SOUS 10911 HAS SOUPS 8337 WITH SCORE 8357.007
AT ITER 2056 NEW BEST:: SOT 34562 SOS 19918 HAS SOPS 14053 HAS SOUS 10895 HAS SOUPS 8325 WITH SCORE 8344.918
AT ITER 2061 NEW BEST:: SOT 34555 SOS 19911 HAS SOPS 14046 HAS SOUS 10888 HAS SOUPS 8318 WITH SCORE 8337.911
AT ITER 2065 NEW BEST:: SOT 34555 SOS 19887 HAS SOPS 14018 HAS SOUS 10880 HAS SOUPS 8310 WITH SCORE 8329.887
AT ITER 2094 NEW BEST:: SOT 34555 SOS 19838 HAS SOPS 13976 HAS SOUS 10873 HAS SOUPS 8310 WITH SCORE 8329.838
AT ITER 2149 NEW BEST:: SOT 34552 SOS 19835 HAS SOPS 13970 HAS SOUS 10870 HAS SOUPS 8304 WITH SCORE 8323.835
AT ITER 2151 NEW BEST:: SOT 34512 SOS 19795 HAS SOPS 13930 HAS SOUS 10854 HAS SOUPS 8288 WITH SCORE 8307.795
AT ITER 2186 NEW BEST:: SOT 34511 SOS 19794 HAS SOPS 13928 HAS SOUS 10853 HAS SOUPS 8286 WITH SCORE 8305.794
AT ITER 2187 NEW BEST:: SOT 34494 SOS 19777 HAS SOPS 13918 HAS SOUS 10836 HAS SOUPS 8276 WITH SCORE 8295.777
AT ITER 2233 NEW BEST:: SOT 34485 SOS 19768 HAS SOPS 13905 HAS SOUS 10821 HAS SOUPS 8263 WITH SCORE 8282.768
AT ITER 2237 NEW BEST:: SOT 34429 SOS 19709 HAS SOPS 13835 HAS SOUS 10761 HAS SOUPS 8197 WITH SCORE 8216.709
AT ITER 2244 NEW BEST:: SOT 34429 SOS 19719 HAS SOPS 13830 HAS SOUS 10776 HAS SOUPS 8192 WITH SCORE 8211.719
AT ITER 2277 NEW BEST:: SOT 34429 SOS 19719 HAS SOPS 13829 HAS SOUS 10775 HAS SOUPS 8191 WITH SCORE 8210.719
AT ITER 2294 NEW BEST:: SOT 34414 SOS 19704 HAS SOPS 13787 HAS SOUS 10745 HAS SOUPS 8167 WITH SCORE 8186.704
AT ITER 2301 NEW BEST:: SOT 34412 SOS 19702 HAS SOPS 13783 HAS SOUS 10743 HAS SOUPS 8163 WITH SCORE 8182.702
AT ITER 2315 NEW BEST:: SOT 34412 SOS 19694 HAS SOPS 13779 HAS SOUS 10726 HAS SOUPS 8159 WITH SCORE 8178.694
AT ITER 2354 NEW BEST:: SOT 34411 SOS 19693 HAS SOPS 13777 HAS SOUS 10725 HAS SOUPS 8157 WITH SCORE 8176.693
AT ITER 2382 NEW BEST:: SOT 34409 SOS 19691 HAS SOPS 13773 HAS SOUS 10723 HAS SOUPS 8153 WITH SCORE 8172.691
AT ITER 2422 NEW BEST:: SOT 34405 SOS 19679 HAS SOPS 13765 HAS SOUS 10691 HAS SOUPS 8123 WITH SCORE 8142.679
AT ITER 2436 NEW BEST:: SOT 34434 SOS 19698 HAS SOPS 13729 HAS SOUS 10653 HAS SOUPS 8085 WITH SCORE 8104.698
AT ITER 2442 NEW BEST:: SOT 34428 SOS 19692 HAS SOPS 13717 HAS SOUS 10647 HAS SOUPS 8073 WITH SCORE 8092.692
AT ITER 2445 NEW BEST:: SOT 34421 SOS 19685 HAS SOPS 13706 HAS SOUS 10640 HAS SOUPS 8062 WITH SCORE 8081.685
AT ITER 2452 NEW BEST:: SOT 34421 SOS 19682 HAS SOPS 13704 HAS SOUS 10638 HAS SOUPS 8061 WITH SCORE 8080.682
AT ITER 2514 NEW BEST:: SOT 34429 SOS 19706 HAS SOPS 13680 HAS SOUS 10650 HAS SOUPS 8029 WITH SCORE 8048.706
AT ITER 2536 NEW BEST:: SOT 34389 SOS 19666 HAS SOPS 13636 HAS SOUS 10642 HAS SOUPS 8021 WITH SCORE 8040.666
AT ITER 2542 NEW BEST:: SOT 34347 SOS 19495 HAS SOPS 13485 HAS SOUS 10633 HAS SOUPS 8017 WITH SCORE 8036.495
AT ITER 2547 NEW BEST:: SOT 34347 SOS 19420 HAS SOPS 13410 HAS SOUS 10633 HAS SOUPS 8017 WITH SCORE 8036.42
AT ITER 2588 NEW BEST:: SOT 34335 SOS 19412 HAS SOPS 13390 HAS SOUS 10609 HAS SOUPS 7993 WITH SCORE 8012.412
AT ITER 2594 NEW BEST:: SOT 34334 SOS 19407 HAS SOPS 13384 HAS SOUS 10586 HAS SOUPS 7987 WITH SCORE 8006.407
AT ITER 2599 NEW BEST:: SOT 34335 SOS 19401 HAS SOPS 13379 HAS SOUS 10581 HAS SOUPS 7982 WITH SCORE 8001.401
AT ITER 2616 NEW BEST:: SOT 34302 SOS 19386 HAS SOPS 13367 HAS SOUS 10560 HAS SOUPS 7961 WITH SCORE 7980.386
AT ITER 2627 NEW BEST:: SOT 34302 SOS 19388 HAS SOPS 13368 HAS SOUS 10559 HAS SOUPS 7960 WITH SCORE 7979.388
AT ITER 2637 NEW BEST:: SOT 34301 SOS 19387 HAS SOPS 13363 HAS SOUS 10555 HAS SOUPS 7955 WITH SCORE 7974.387
AT ITER 2641 NEW BEST:: SOT 34298 SOS 19384 HAS SOPS 13357 HAS SOUS 10555 HAS SOUPS 7949 WITH SCORE 7968.384
AT ITER 2665 NEW BEST:: SOT 34304 SOS 19443 HAS SOPS 13406 HAS SOUS 10556 HAS SOUPS 7945 WITH SCORE 7964.443
AT ITER 2676 NEW BEST:: SOT 34299 SOS 19438 HAS SOPS 13396 HAS SOUS 10551 HAS SOUPS 7935 WITH SCORE 7954.438
AT ITER 2728 NEW BEST:: SOT 34288 SOS 19427 HAS SOPS 13374 HAS SOUS 10536 HAS SOUPS 7913 WITH SCORE 7932.427
AT ITER 2729 NEW BEST:: SOT 34288 SOS 19379 HAS SOPS 13326 HAS SOUS 10536 HAS SOUPS 7913 WITH SCORE 7932.379
AT ITER 2778 NEW BEST:: SOT 34284 SOS 19373 HAS SOPS 13332 HAS SOUS 10535 HAS SOUPS 7912 WITH SCORE 7931.373
AT ITER 2804 NEW BEST:: SOT 34284 SOS 19418 HAS SOPS 13377 HAS SOUS 10526 HAS SOUPS 7903 WITH SCORE 7922.418
AT ITER 2844 NEW BEST:: SOT 34302 SOS 19454 HAS SOPS 13359 HAS SOUS 10553 HAS SOUPS 7876 WITH SCORE 7895.454
AT ITER 2854 NEW BEST:: SOT 34294 SOS 19452 HAS SOPS 13351 HAS SOUS 10551 HAS SOUPS 7868 WITH SCORE 7887.452
AT ITER 2899 NEW BEST:: SOT 34288 SOS 19446 HAS SOPS 13340 HAS SOUS 10545 HAS SOUPS 7857 WITH SCORE 7876.446
AT ITER 2905 NEW BEST:: SOT 34280 SOS 19438 HAS SOPS 13324 HAS SOUS 10537 HAS SOUPS 7841 WITH SCORE 7860.438
AT ITER 3040 NEW BEST:: SOT 34278 SOS 19436 HAS SOPS 13320 HAS SOUS 10535 HAS SOUPS 7837 WITH SCORE 7856.436
AT ITER 3057 NEW BEST:: SOT 34264 SOS 19422 HAS SOPS 13308 HAS SOUS 10521 HAS SOUPS 7825 WITH SCORE 7844.422
AT ITER 3060 NEW BEST:: SOT 34264 SOS 19407 HAS SOPS 13284 HAS SOUS 10518 HAS SOUPS 7819 WITH SCORE 7838.407
AT ITER 3061 NEW BEST:: SOT 34261 SOS 19404 HAS SOPS 13278 HAS SOUS 10515 HAS SOUPS 7813 WITH SCORE 7832.404
AT ITER 3082 NEW BEST:: SOT 34242 SOS 19410 HAS SOPS 13255 HAS SOUS 10511 HAS SOUPS 7798 WITH SCORE 7817.41
AT ITER 3139 NEW BEST:: SOT 34224 SOS 19398 HAS SOPS 13240 HAS SOUS 10493 HAS SOUPS 7780 WITH SCORE 7799.398
AT ITER 3176 NEW BEST:: SOT 34217 SOS 19391 HAS SOPS 13226 HAS SOUS 10484 HAS SOUPS 7766 WITH SCORE 7785.391
AT ITER 3218 NEW BEST:: SOT 34217 SOS 19377 HAS SOPS 13212 HAS SOUS 10470 HAS SOUPS 7752 WITH SCORE 7771.377
AT ITER 3322 NEW BEST:: SOT 34220 SOS 19442 HAS SOPS 13269 HAS SOUS 10448 HAS SOUPS 7730 WITH SCORE 7749.442
AT ITER 3354 NEW BEST:: SOT 34154 SOS 19418 HAS SOPS 13202 HAS SOUS 10513 HAS SOUPS 7711 WITH SCORE 7730.418
AT ITER 3381 NEW BEST:: SOT 34074 SOS 19338 HAS SOPS 13122 HAS SOUS 10433 HAS SOUPS 7631 WITH SCORE 7650.338
AT ITER 3384 NEW BEST:: SOT 34068 SOS 19332 HAS SOPS 13105 HAS SOUS 10427 HAS SOUPS 7614 WITH SCORE 7633.332
AT ITER 3395 NEW BEST:: SOT 34064 SOS 19328 HAS SOPS 13097 HAS SOUS 10432 HAS SOUPS 7606 WITH SCORE 7625.328
AT ITER 3436 NEW BEST:: SOT 34064 SOS 19307 HAS SOPS 13079 HAS SOUS 10429 HAS SOUPS 7606 WITH SCORE 7625.307
AT ITER 3471 NEW BEST:: SOT 34067 SOS 19294 HAS SOPS 13078 HAS SOUS 10365 HAS SOUPS 7548 WITH SCORE 7567.294
AT ITER 3506 NEW BEST:: SOT 34060 SOS 19287 HAS SOPS 13064 HAS SOUS 10349 HAS SOUPS 7534 WITH SCORE 7553.287
AT ITER 3530 NEW BEST:: SOT 33992 SOS 19219 HAS SOPS 12997 HAS SOUS 10342 HAS SOUPS 7527 WITH SCORE 7546.219
AT ITER 3539 NEW BEST:: SOT 33992 SOS 19219 HAS SOPS 12996 HAS SOUS 10351 HAS SOUPS 7526 WITH SCORE 7545.219
AT ITER 3591 NEW BEST:: SOT 34012 SOS 19232 HAS SOPS 13016 HAS SOUS 10340 HAS SOUPS 7522 WITH SCORE 7541.232
AT ITER 3687 NEW BEST:: SOT 34003 SOS 19223 HAS SOPS 12998 HAS SOUS 10335 HAS SOUPS 7504 WITH SCORE 7523.223
AT ITER 3722 NEW BEST:: SOT 33997 SOS 19220 HAS SOPS 12992 HAS SOUS 10332 HAS SOUPS 7498 WITH SCORE 7517.22
AT ITER 3745 NEW BEST:: SOT 33992 SOS 19215 HAS SOPS 12982 HAS SOUS 10324 HAS SOUPS 7488 WITH SCORE 7507.215
AT ITER 3829 NEW BEST:: SOT 33985 SOS 19199 HAS SOPS 12968 HAS SOUS 10317 HAS SOUPS 7481 WITH SCORE 7500.199
AT ITER 3835 NEW BEST:: SOT 34003 SOS 19225 HAS SOPS 12956 HAS SOUS 10305 HAS SOUPS 7469 WITH SCORE 7488.225
AT ITER 3858 NEW BEST:: SOT 34003 SOS 19258 HAS SOPS 12989 HAS SOUS 10302 HAS SOUPS 7466 WITH SCORE 7485.258
AT ITER 3928 NEW BEST:: SOT 34006 SOS 19261 HAS SOPS 12988 HAS SOUS 10305 HAS SOUPS 7465 WITH SCORE 7484.261
AT ITER 4004 NEW BEST:: SOT 33992 SOS 19251 HAS SOPS 12972 HAS SOUS 10277 HAS SOUPS 7435 WITH SCORE 7454.251
AT ITER 4011 NEW BEST:: SOT 33990 SOS 19247 HAS SOPS 12968 HAS SOUS 10275 HAS SOUPS 7433 WITH SCORE 7452.247
AT ITER 4047 NEW BEST:: SOT 33972 SOS 19248 HAS SOPS 12950 HAS SOUS 10292 HAS SOUPS 7415 WITH SCORE 7434.248
AT ITER 4055 NEW BEST:: SOT 33957 SOS 19221 HAS SOPS 12932 HAS SOUS 10262 HAS SOUPS 7397 WITH SCORE 7416.221
AT ITER 4133 NEW BEST:: SOT 33947 SOS 19211 HAS SOPS 12927 HAS SOUS 10252 HAS SOUPS 7392 WITH SCORE 7411.211
AT ITER 4138 NEW BEST:: SOT 33943 SOS 19207 HAS SOPS 12921 HAS SOUS 10248 HAS SOUPS 7386 WITH SCORE 7405.207
AT ITER 4142 NEW BEST:: SOT 33939 SOS 19191 HAS SOPS 12901 HAS SOUS 10220 HAS SOUPS 7366 WITH SCORE 7385.191
AT ITER 4161 NEW BEST:: SOT 33941 SOS 19193 HAS SOPS 12903 HAS SOUS 10216 HAS SOUPS 7362 WITH SCORE 7381.193
AT ITER 4215 NEW BEST:: SOT 33939 SOS 19191 HAS SOPS 12903 HAS SOUS 10214 HAS SOUPS 7362 WITH SCORE 7381.191
AT ITER 4225 NEW BEST:: SOT 33940 SOS 19185 HAS SOPS 12899 HAS SOUS 10210 HAS SOUPS 7358 WITH SCORE 7377.185
AT ITER 4236 NEW BEST:: SOT 33958 SOS 19202 HAS SOPS 12917 HAS SOUS 10202 HAS SOUPS 7352 WITH SCORE 7371.202
AT ITER 4287 NEW BEST:: SOT 33968 SOS 19217 HAS SOPS 12912 HAS SOUS 10217 HAS SOUPS 7347 WITH SCORE 7366.217
AT ITER 4325 NEW BEST:: SOT 33967 SOS 19216 HAS SOPS 12910 HAS SOUS 10216 HAS SOUPS 7345 WITH SCORE 7364.216
AT ITER 4366 NEW BEST:: SOT 33967 SOS 19194 HAS SOPS 12888 HAS SOUS 10215 HAS SOUPS 7344 WITH SCORE 7363.194
AT ITER 4377 NEW BEST:: SOT 33955 SOS 19173 HAS SOPS 12870 HAS SOUS 10203 HAS SOUPS 7332 WITH SCORE 7351.173
AT ITER 4399 NEW BEST:: SOT 33953 SOS 19171 HAS SOPS 12866 HAS SOUS 10201 HAS SOUPS 7328 WITH SCORE 7347.171
AT ITER 4418 NEW BEST:: SOT 33951 SOS 19169 HAS SOPS 12862 HAS SOUS 10199 HAS SOUPS 7324 WITH SCORE 7343.169
AT ITER 4428 NEW BEST:: SOT 33949 SOS 19167 HAS SOPS 12860 HAS SOUS 10197 HAS SOUPS 7322 WITH SCORE 7341.167
AT ITER 4580 NEW BEST:: SOT 33940 SOS 19155 HAS SOPS 12848 HAS SOUS 10185 HAS SOUPS 7310 WITH SCORE 7329.155
AT ITER 4648 NEW BEST:: SOT 33928 SOS 19140 HAS SOPS 12815 HAS SOUS 10152 HAS SOUPS 7277 WITH SCORE 7296.14
AT ITER 4689 NEW BEST:: SOT 33910 SOS 19137 HAS SOPS 12809 HAS SOUS 10149 HAS SOUPS 7271 WITH SCORE 7290.137
AT ITER 4701 NEW BEST:: SOT 33900 SOS 19107 HAS SOPS 12789 HAS SOUS 10139 HAS SOUPS 7261 WITH SCORE 7280.107
AT ITER 4734 NEW BEST:: SOT 33900 SOS 19159 HAS SOPS 12841 HAS SOUS 10132 HAS SOUPS 7254 WITH SCORE 7273.159
AT ITER 4737 NEW BEST:: SOT 33899 SOS 19158 HAS SOPS 12839 HAS SOUS 10131 HAS SOUPS 7252 WITH SCORE 7271.158
AT ITER 4862 NEW BEST:: SOT 33887 SOS 19146 HAS SOPS 12827 HAS SOUS 10119 HAS SOUPS 7240 WITH SCORE 7259.146
AT ITER 4933 NEW BEST:: SOT 33881 SOS 19140 HAS SOPS 12822 HAS SOUS 10113 HAS SOUPS 7235 WITH SCORE 7254.14
AT ITER 4980 NEW BEST:: SOT 33880 SOS 19139 HAS SOPS 12820 HAS SOUS 10112 HAS SOUPS 7233 WITH SCORE 7252.139
AT ITER 5035 NEW BEST:: SOT 33878 SOS 19133 HAS SOPS 12817 HAS SOUS 10105 HAS SOUPS 7230 WITH SCORE 7249.133
AT ITER 5072 NEW BEST:: SOT 33872 SOS 19120 HAS SOPS 12804 HAS SOUS 10098 HAS SOUPS 7223 WITH SCORE 7242.12
AT ITER 5083 NEW BEST:: SOT 33872 SOS 19138 HAS SOPS 12822 HAS SOUS 10096 HAS SOUPS 7221 WITH SCORE 7240.138
AT ITER 5153 NEW BEST:: SOT 33872 SOS 19132 HAS SOPS 12816 HAS SOUS 10093 HAS SOUPS 7218 WITH SCORE 7237.132
AT ITER 5169 NEW BEST:: SOT 33865 SOS 19125 HAS SOPS 12811 HAS SOUS 10088 HAS SOUPS 7213 WITH SCORE 7232.125
AT ITER 5264 NEW BEST:: SOT 33844 SOS 19094 HAS SOPS 12795 HAS SOUS 10063 HAS SOUPS 7194 WITH SCORE 7213.094
AT ITER 5294 NEW BEST:: SOT 33823 SOS 19073 HAS SOPS 12764 HAS SOUS 10032 HAS SOUPS 7163 WITH SCORE 7182.073
AT ITER 5298 NEW BEST:: SOT 33823 SOS 19096 HAS SOPS 12787 HAS SOUS 10026 HAS SOUPS 7157 WITH SCORE 7176.096
AT ITER 5357 NEW BEST:: SOT 33811 SOS 19084 HAS SOPS 12779 HAS SOUS 10018 HAS SOUPS 7149 WITH SCORE 7168.084
AT ITER 5358 NEW BEST:: SOT 33811 SOS 19065 HAS SOPS 12760 HAS SOUS 10017 HAS SOUPS 7148 WITH SCORE 7167.065
AT ITER 5365 NEW BEST:: SOT 33783 SOS 19035 HAS SOPS 12730 HAS SOUS 10003 HAS SOUPS 7134 WITH SCORE 7153.035
AT ITER 5416 NEW BEST:: SOT 33704 SOS 19039 HAS SOPS 12654 HAS SOUS 10005 HAS SOUPS 7128 WITH SCORE 7147.039
AT ITER 5446 NEW BEST:: SOT 33704 SOS 19033 HAS SOPS 12648 HAS SOUS 10005 HAS SOUPS 7128 WITH SCORE 7147.033
AT ITER 5574 NEW BEST:: SOT 33702 SOS 19031 HAS SOPS 12644 HAS SOUS 10003 HAS SOUPS 7124 WITH SCORE 7143.031
AT ITER 5610 NEW BEST:: SOT 33669 SOS 19002 HAS SOPS 12611 HAS SOUS 10006 HAS SOUPS 7123 WITH SCORE 7142.002
AT ITER 5666 NEW BEST:: SOT 33666 SOS 18999 HAS SOPS 12605 HAS SOUS 10003 HAS SOUPS 7117 WITH SCORE 7135.999
AT ITER 5760 NEW BEST:: SOT 33660 SOS 18995 HAS SOPS 12599 HAS SOUS 9990 HAS SOUPS 7104 WITH SCORE 7122.995
AT ITER 5761 NEW BEST:: SOT 33655 SOS 18990 HAS SOPS 12594 HAS SOUS 9985 HAS SOUPS 7099 WITH SCORE 7117.99
AT ITER 5771 NEW BEST:: SOT 33644 SOS 18975 HAS SOPS 12581 HAS SOUS 9974 HAS SOUPS 7088 WITH SCORE 7106.975
AT ITER 5788 NEW BEST:: SOT 33643 SOS 18973 HAS SOPS 12579 HAS SOUS 9973 HAS SOUPS 7087 WITH SCORE 7105.973
AT ITER 5807 NEW BEST:: SOT 33641 SOS 18971 HAS SOPS 12576 HAS SOUS 9970 HAS SOUPS 7084 WITH SCORE 7102.971
AT ITER 5849 NEW BEST:: SOT 33629 SOS 18967 HAS SOPS 12565 HAS SOUS 9966 HAS SOUPS 7073 WITH SCORE 7091.967
AT ITER 5901 NEW BEST:: SOT 33635 SOS 18969 HAS SOPS 12571 HAS SOUS 9954 HAS SOUPS 7071 WITH SCORE 7089.969
AT ITER 5916 NEW BEST:: SOT 33606 SOS 18940 HAS SOPS 12542 HAS SOUS 9925 HAS SOUPS 7042 WITH SCORE 7060.94
AT ITER 5942 NEW BEST:: SOT 33462 SOS 18685 HAS SOPS 12503 HAS SOUS 9765 HAS SOUPS 7003 WITH SCORE 7021.685
AT ITER 5986 NEW BEST:: SOT 33463 SOS 18686 HAS SOPS 12502 HAS SOUS 9769 HAS SOUPS 7002 WITH SCORE 7020.686
AT ITER 6017 NEW BEST:: SOT 33448 SOS 18656 HAS SOPS 12477 HAS SOUS 9734 HAS SOUPS 6967 WITH SCORE 6985.656
AT ITER 6041 NEW BEST:: SOT 33443 SOS 18667 HAS SOPS 12471 HAS SOUS 9726 HAS SOUPS 6959 WITH SCORE 6977.667
AT ITER 6116 NEW BEST:: SOT 33443 SOS 18755 HAS SOPS 12559 HAS SOUS 9718 HAS SOUPS 6951 WITH SCORE 6969.755
AT ITER 6273 NEW BEST:: SOT 33442 SOS 18755 HAS SOPS 12558 HAS SOUS 9717 HAS SOUPS 6950 WITH SCORE 6968.755
AT ITER 6313 NEW BEST:: SOT 33439 SOS 18752 HAS SOPS 12552 HAS SOUS 9714 HAS SOUPS 6944 WITH SCORE 6962.752
AT ITER 6324 NEW BEST:: SOT 33421 SOS 18740 HAS SOPS 12540 HAS SOUS 9699 HAS SOUPS 6929 WITH SCORE 6947.74
AT ITER 6433 NEW BEST:: SOT 33413 SOS 18684 HAS SOPS 12534 HAS SOUS 9652 HAS SOUPS 6923 WITH SCORE 6941.684
AT ITER 6519 NEW BEST:: SOT 33409 SOS 18680 HAS SOPS 12526 HAS SOUS 9648 HAS SOUPS 6915 WITH SCORE 6933.68
AT ITER 6592 NEW BEST:: SOT 33408 SOS 18679 HAS SOPS 12524 HAS SOUS 9647 HAS SOUPS 6913 WITH SCORE 6931.679
AT ITER 6683 NEW BEST:: SOT 33405 SOS 18644 HAS SOPS 12493 HAS SOUS 9635 HAS SOUPS 6901 WITH SCORE 6919.644
AT ITER 6687 NEW BEST:: SOT 33395 SOS 18634 HAS SOPS 12483 HAS SOUS 9625 HAS SOUPS 6891 WITH SCORE 6909.634
AT ITER 6728 NEW BEST:: SOT 33389 SOS 18628 HAS SOPS 12475 HAS SOUS 9619 HAS SOUPS 6883 WITH SCORE 6901.628
AT ITER 6747 NEW BEST:: SOT 33399 SOS 18660 HAS SOPS 12490 HAS SOUS 9622 HAS SOUPS 6881 WITH SCORE 6899.66
AT ITER 6748 NEW BEST:: SOT 33398 SOS 18659 HAS SOPS 12488 HAS SOUS 9621 HAS SOUPS 6879 WITH SCORE 6897.659
AT ITER 6806 NEW BEST:: SOT 33397 SOS 18656 HAS SOPS 12486 HAS SOUS 9614 HAS SOUPS 6877 WITH SCORE 6895.656
AT ITER 6896 NEW BEST:: SOT 33391 SOS 18650 HAS SOPS 12478 HAS SOUS 9612 HAS SOUPS 6873 WITH SCORE 6891.65
AT ITER 7102 NEW BEST:: SOT 33388 SOS 18647 HAS SOPS 12475 HAS SOUS 9609 HAS SOUPS 6870 WITH SCORE 6888.647
AT ITER 7166 NEW BEST:: SOT 33387 SOS 18645 HAS SOPS 12472 HAS SOUS 9606 HAS SOUPS 6867 WITH SCORE 6885.645
AT ITER 7213 NEW BEST:: SOT 33326 SOS 18608 HAS SOPS 12434 HAS SOUS 9556 HAS SOUPS 6817 WITH SCORE 6835.608
AT ITER 7313 NEW BEST:: SOT 33312 SOS 18559 HAS SOPS 12388 HAS SOUS 9543 HAS SOUPS 6804 WITH SCORE 6822.559
AT ITER 7372 NEW BEST:: SOT 33306 SOS 18557 HAS SOPS 12388 HAS SOUS 9537 HAS SOUPS 6800 WITH SCORE 6818.557
AT ITER 7441 NEW BEST:: SOT 33288 SOS 18539 HAS SOPS 12382 HAS SOUS 9495 HAS SOUPS 6758 WITH SCORE 6776.539
AT ITER 7656 NEW BEST:: SOT 33282 SOS 18533 HAS SOPS 12373 HAS SOUS 9494 HAS SOUPS 6757 WITH SCORE 6775.533
AT ITER 7747 NEW BEST:: SOT 33281 SOS 18532 HAS SOPS 12371 HAS SOUS 9493 HAS SOUPS 6755 WITH SCORE 6773.532
AT ITER 7772 NEW BEST:: SOT 33279 SOS 18606 HAS SOPS 12429 HAS SOUS 9485 HAS SOUPS 6747 WITH SCORE 6765.606
AT ITER 7818 NEW BEST:: SOT 33279 SOS 18606 HAS SOPS 12428 HAS SOUS 9485 HAS SOUPS 6746 WITH SCORE 6764.606
AT ITER 7904 NEW BEST:: SOT 33276 SOS 18603 HAS SOPS 12422 HAS SOUS 9482 HAS SOUPS 6740 WITH SCORE 6758.603
AT ITER 7921 NEW BEST:: SOT 33260 SOS 18587 HAS SOPS 12406 HAS SOUS 9470 HAS SOUPS 6728 WITH SCORE 6746.587
AT ITER 7958 NEW BEST:: SOT 33260 SOS 18585 HAS SOPS 12405 HAS SOUS 9469 HAS SOUPS 6727 WITH SCORE 6745.585
AT ITER 7978 NEW BEST:: SOT 33242 SOS 18503 HAS SOPS 12331 HAS SOUS 9463 HAS SOUPS 6724 WITH SCORE 6742.503
AT ITER 7996 NEW BEST:: SOT 33241 SOS 18502 HAS SOPS 12329 HAS SOUS 9462 HAS SOUPS 6722 WITH SCORE 6740.502
AT ITER 8028 NEW BEST:: SOT 33225 SOS 18494 HAS SOPS 12309 HAS SOUS 9480 HAS SOUPS 6714 WITH SCORE 6732.494
AT ITER 8042 NEW BEST:: SOT 33217 SOS 18486 HAS SOPS 12286 HAS SOUS 9472 HAS SOUPS 6691 WITH SCORE 6709.486
AT ITER 8151 NEW BEST:: SOT 33216 SOS 18485 HAS SOPS 12284 HAS SOUS 9471 HAS SOUPS 6689 WITH SCORE 6707.485
AT ITER 8276 NEW BEST:: SOT 33213 SOS 18482 HAS SOPS 12295 HAS SOUS 9458 HAS SOUPS 6676 WITH SCORE 6694.482
AT ITER 8316 NEW BEST:: SOT 33212 SOS 18481 HAS SOPS 12293 HAS SOUS 9453 HAS SOUPS 6674 WITH SCORE 6692.481
AT ITER 8338 NEW BEST:: SOT 33195 SOS 18472 HAS SOPS 12277 HAS SOUS 9438 HAS SOUPS 6658 WITH SCORE 6676.472
AT ITER 8390 NEW BEST:: SOT 33183 SOS 18451 HAS SOPS 12276 HAS SOUS 9380 HAS SOUPS 6657 WITH SCORE 6675.451
AT ITER 8446 NEW BEST:: SOT 33171 SOS 18447 HAS SOPS 12260 HAS SOUS 9400 HAS SOUPS 6657 WITH SCORE 6675.447
AT ITER 8671 NEW BEST:: SOT 33167 SOS 18443 HAS SOPS 12252 HAS SOUS 9396 HAS SOUPS 6649 WITH SCORE 6667.443
AT ITER 8781 NEW BEST:: SOT 33164 SOS 18437 HAS SOPS 12249 HAS SOUS 9378 HAS SOUPS 6646 WITH SCORE 6664.437
AT ITER 8795 NEW BEST:: SOT 33160 SOS 18433 HAS SOPS 12245 HAS SOUS 9378 HAS SOUPS 6646 WITH SCORE 6664.433
AT ITER 8806 NEW BEST:: SOT 33163 SOS 18436 HAS SOPS 12244 HAS SOUS 9381 HAS SOUPS 6645 WITH SCORE 6663.436
AT ITER 8884 NEW BEST:: SOT 33155 SOS 18448 HAS SOPS 12256 HAS SOUS 9373 HAS SOUPS 6637 WITH SCORE 6655.448
AT ITER 8943 NEW BEST:: SOT 33151 SOS 18444 HAS SOPS 12253 HAS SOUS 9369 HAS SOUPS 6634 WITH SCORE 6652.444
AT ITER 9069 NEW BEST:: SOT 33137 SOS 18418 HAS SOPS 12245 HAS SOUS 9340 HAS SOUPS 6611 WITH SCORE 6629.418
AT ITER 9077 NEW BEST:: SOT 33118 SOS 18411 HAS SOPS 12222 HAS SOUS 9345 HAS SOUPS 6596 WITH SCORE 6614.411
AT ITER 9082 NEW BEST:: SOT 33121 SOS 18410 HAS SOPS 12223 HAS SOUS 9338 HAS SOUPS 6590 WITH SCORE 6608.41
AT ITER 9176 NEW BEST:: SOT 33116 SOS 18409 HAS SOPS 12222 HAS SOUS 9330 HAS SOUPS 6582 WITH SCORE 6600.409
AT ITER 9181 NEW BEST:: SOT 33116 SOS 18407 HAS SOPS 12222 HAS SOUS 9330 HAS SOUPS 6582 WITH SCORE 6600.407
AT ITER 9250 NEW BEST:: SOT 33116 SOS 18402 HAS SOPS 12217 HAS SOUS 9329 HAS SOUPS 6581 WITH SCORE 6599.402
AT ITER 9311 NEW BEST:: SOT 33115 SOS 18400 HAS SOPS 12215 HAS SOUS 9328 HAS SOUPS 6580 WITH SCORE 6598.4
AT ITER 9323 NEW BEST:: SOT 33115 SOS 18400 HAS SOPS 12212 HAS SOUS 9328 HAS SOUPS 6577 WITH SCORE 6595.4
AT ITER 9379 NEW BEST:: SOT 33110 SOS 18395 HAS SOPS 12207 HAS SOUS 9323 HAS SOUPS 6572 WITH SCORE 6590.395
AT ITER 9504 NEW BEST:: SOT 33101 SOS 18401 HAS SOPS 12195 HAS SOUS 9317 HAS SOUPS 6560 WITH SCORE 6578.401
AT ITER 9564 NEW BEST:: SOT 33101 SOS 18400 HAS SOPS 12188 HAS SOUS 9310 HAS SOUPS 6553 WITH SCORE 6571.4
AT ITER 9714 NEW BEST:: SOT 33097 SOS 18396 HAS SOPS 12182 HAS SOUS 9306 HAS SOUPS 6547 WITH SCORE 6565.396
AT ITER 9812 NEW BEST:: SOT 33097 SOS 18392 HAS SOPS 12178 HAS SOUS 9306 HAS SOUPS 6547 WITH SCORE 6565.392

BK_STOP 1678613429294

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 407 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-COL-6"
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 LamportFastMutEx-COL-6, 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 r227-tall-167856410400376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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