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.r355-smll-167891803800560.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 SharedMemory-COL-000010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803800560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 8.9K Feb 25 14:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 25 14:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 14:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 14:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 14:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 25 14:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:52 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 12K 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 1679996020167

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=SharedMemory-COL-000010
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-28 09:33:44] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-28 09:33:44] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-28 09:33:44] [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-28 09:33:45] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-28 09:33:46] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1203 ms
[2023-03-28 09:33:46] [INFO ] Imported 6 HL places and 5 HL transitions for a total of 141 PT places and 320.0 transition bindings in 42 ms.
[2023-03-28 09:33:46] [INFO ] Unfolded HLPN to a Petri net with 141 places and 220 transitions 840 arcs in 63 ms.
[2023-03-28 09:33:46] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 10 places and 10 transitions.
[2023-03-28 09:33:46] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 131 places, 210 transitions and 800 arcs took 16 ms.
Total runtime 1698 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SharedMemory (COL), instance 000010
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: 131 places, 210 transitions, 800 arcs.
AT ITER 0 NEW BEST:: SOT 22118 SOS 11501 HAS SOPS 11500 HAS SOUS 11123 HAS SOUPS 11122 WITH SCORE 11133.501
AT ITER 6 NEW BEST:: SOT 22110 SOS 11506 HAS SOPS 11505 HAS SOUS 11115 HAS SOUPS 11114 WITH SCORE 11125.506
AT ITER 7 NEW BEST:: SOT 22136 SOS 11532 HAS SOPS 11531 HAS SOUS 11108 HAS SOUPS 11107 WITH SCORE 11118.532
AT ITER 10 NEW BEST:: SOT 22126 SOS 11619 HAS SOPS 11618 HAS SOUS 11098 HAS SOUPS 11097 WITH SCORE 11108.619
AT ITER 11 NEW BEST:: SOT 21987 SOS 11664 HAS SOPS 11663 HAS SOUS 10962 HAS SOUPS 10961 WITH SCORE 10972.664
AT ITER 13 NEW BEST:: SOT 21994 SOS 11677 HAS SOPS 11676 HAS SOUS 10960 HAS SOUPS 10959 WITH SCORE 10970.677
AT ITER 16 NEW BEST:: SOT 21976 SOS 11659 HAS SOPS 11658 HAS SOUS 10937 HAS SOUPS 10936 WITH SCORE 10947.659
AT ITER 17 NEW BEST:: SOT 21882 SOS 11550 HAS SOPS 11540 HAS SOUS 10849 HAS SOUPS 10839 WITH SCORE 10850.55
AT ITER 22 NEW BEST:: SOT 21864 SOS 11586 HAS SOPS 11576 HAS SOUS 10831 HAS SOUPS 10821 WITH SCORE 10832.586
AT ITER 27 NEW BEST:: SOT 21888 SOS 11597 HAS SOPS 11587 HAS SOUS 10797 HAS SOUPS 10787 WITH SCORE 10798.597
AT ITER 28 NEW BEST:: SOT 21878 SOS 11587 HAS SOPS 11577 HAS SOUS 10787 HAS SOUPS 10777 WITH SCORE 10788.587
AT ITER 29 NEW BEST:: SOT 21802 SOS 11832 HAS SOPS 11813 HAS SOUS 10720 HAS SOUPS 10701 WITH SCORE 10712.832
AT ITER 32 NEW BEST:: SOT 21802 SOS 11822 HAS SOPS 11803 HAS SOUS 10720 HAS SOUPS 10701 WITH SCORE 10712.822
AT ITER 38 NEW BEST:: SOT 21802 SOS 11811 HAS SOPS 11792 HAS SOUS 10720 HAS SOUPS 10701 WITH SCORE 10712.811
AT ITER 41 NEW BEST:: SOT 21808 SOS 11769 HAS SOPS 11750 HAS SOUS 10705 HAS SOUPS 10686 WITH SCORE 10697.769
AT ITER 54 NEW BEST:: SOT 21808 SOS 11735 HAS SOPS 11716 HAS SOUS 10705 HAS SOUPS 10686 WITH SCORE 10697.735
AT ITER 56 NEW BEST:: SOT 21808 SOS 11726 HAS SOPS 11707 HAS SOUS 10704 HAS SOUPS 10685 WITH SCORE 10696.726
AT ITER 57 NEW BEST:: SOT 21633 SOS 11742 HAS SOPS 11723 HAS SOUS 10462 HAS SOUPS 10443 WITH SCORE 10454.742
AT ITER 59 NEW BEST:: SOT 21650 SOS 11759 HAS SOPS 11740 HAS SOUS 10440 HAS SOUPS 10421 WITH SCORE 10432.759
AT ITER 62 NEW BEST:: SOT 21417 SOS 12238 HAS SOPS 12167 HAS SOUS 10423 HAS SOUPS 10352 WITH SCORE 10364.238
AT ITER 63 NEW BEST:: SOT 21247 SOS 12110 HAS SOPS 11997 HAS SOUS 10337 HAS SOUPS 10224 WITH SCORE 10236.11
AT ITER 65 NEW BEST:: SOT 21237 SOS 12148 HAS SOPS 12035 HAS SOUS 10317 HAS SOUPS 10204 WITH SCORE 10216.148
AT ITER 70 NEW BEST:: SOT 21237 SOS 12145 HAS SOPS 12029 HAS SOUS 10314 HAS SOUPS 10198 WITH SCORE 10210.145
AT ITER 76 NEW BEST:: SOT 21075 SOS 12051 HAS SOPS 11935 HAS SOUS 10184 HAS SOUPS 10068 WITH SCORE 10080.051
AT ITER 78 NEW BEST:: SOT 21073 SOS 12046 HAS SOPS 11933 HAS SOUS 10179 HAS SOUPS 10066 WITH SCORE 10078.046
AT ITER 79 NEW BEST:: SOT 21035 SOS 12053 HAS SOPS 11949 HAS SOUS 10152 HAS SOUPS 10048 WITH SCORE 10060.053
AT ITER 82 NEW BEST:: SOT 21035 SOS 12017 HAS SOPS 11913 HAS SOUS 10150 HAS SOUPS 10046 WITH SCORE 10058.017
AT ITER 85 NEW BEST:: SOT 21013 SOS 11995 HAS SOPS 11891 HAS SOUS 10120 HAS SOUPS 10016 WITH SCORE 10027.995
AT ITER 86 NEW BEST:: SOT 21013 SOS 11903 HAS SOPS 11799 HAS SOUS 10120 HAS SOUPS 10016 WITH SCORE 10027.903
AT ITER 88 NEW BEST:: SOT 21013 SOS 11857 HAS SOPS 11753 HAS SOUS 10107 HAS SOUPS 10003 WITH SCORE 10014.857
AT ITER 89 NEW BEST:: SOT 20994 SOS 11847 HAS SOPS 11743 HAS SOUS 10077 HAS SOUPS 9973 WITH SCORE 9984.847
AT ITER 92 NEW BEST:: SOT 20965 SOS 11865 HAS SOPS 11761 HAS SOUS 10048 HAS SOUPS 9944 WITH SCORE 9955.865
AT ITER 94 NEW BEST:: SOT 20827 SOS 11935 HAS SOPS 11831 HAS SOUS 10003 HAS SOUPS 9899 WITH SCORE 9910.935
AT ITER 96 NEW BEST:: SOT 20779 SOS 11889 HAS SOPS 11785 HAS SOUS 9955 HAS SOUPS 9851 WITH SCORE 9862.889
AT ITER 99 NEW BEST:: SOT 20752 SOS 11847 HAS SOPS 11743 HAS SOUS 9897 HAS SOUPS 9793 WITH SCORE 9804.847
AT ITER 103 NEW BEST:: SOT 20756 SOS 11918 HAS SOPS 11814 HAS SOUS 9894 HAS SOUPS 9790 WITH SCORE 9801.918
AT ITER 105 NEW BEST:: SOT 20756 SOS 11905 HAS SOPS 11801 HAS SOUS 9894 HAS SOUPS 9790 WITH SCORE 9801.905
AT ITER 110 NEW BEST:: SOT 20644 SOS 12119 HAS SOPS 12015 HAS SOUS 9790 HAS SOUPS 9686 WITH SCORE 9698.119
AT ITER 111 NEW BEST:: SOT 20644 SOS 12046 HAS SOPS 11942 HAS SOUS 9790 HAS SOUPS 9686 WITH SCORE 9698.046
AT ITER 115 NEW BEST:: SOT 20644 SOS 12040 HAS SOPS 11936 HAS SOUS 9790 HAS SOUPS 9686 WITH SCORE 9698.04
AT ITER 121 NEW BEST:: SOT 20448 SOS 12146 HAS SOPS 12042 HAS SOUS 9652 HAS SOUPS 9548 WITH SCORE 9560.146
AT ITER 128 NEW BEST:: SOT 20448 SOS 12137 HAS SOPS 12033 HAS SOUS 9652 HAS SOUPS 9548 WITH SCORE 9560.137
AT ITER 130 NEW BEST:: SOT 20320 SOS 12473 HAS SOPS 12369 HAS SOUS 9651 HAS SOUPS 9547 WITH SCORE 9559.473
AT ITER 136 NEW BEST:: SOT 20303 SOS 12456 HAS SOPS 12352 HAS SOUS 9581 HAS SOUPS 9477 WITH SCORE 9489.456
AT ITER 138 NEW BEST:: SOT 20078 SOS 17757 HAS SOPS 17705 HAS SOUS 9121 HAS SOUPS 9069 WITH SCORE 9086.757
AT ITER 146 NEW BEST:: SOT 20066 SOS 17796 HAS SOPS 17744 HAS SOUS 9112 HAS SOUPS 9060 WITH SCORE 9077.796
AT ITER 149 NEW BEST:: SOT 19714 SOS 17444 HAS SOPS 17392 HAS SOUS 8731 HAS SOUPS 8679 WITH SCORE 8696.444
AT ITER 155 NEW BEST:: SOT 19712 SOS 17442 HAS SOPS 17390 HAS SOUS 8713 HAS SOUPS 8661 WITH SCORE 8678.442
AT ITER 157 NEW BEST:: SOT 19680 SOS 17410 HAS SOPS 17358 HAS SOUS 8668 HAS SOUPS 8616 WITH SCORE 8633.41
AT ITER 158 NEW BEST:: SOT 19572 SOS 17302 HAS SOPS 17250 HAS SOUS 8596 HAS SOUPS 8544 WITH SCORE 8561.302
AT ITER 161 NEW BEST:: SOT 19536 SOS 17266 HAS SOPS 17214 HAS SOUS 8588 HAS SOUPS 8536 WITH SCORE 8553.266
AT ITER 174 NEW BEST:: SOT 19474 SOS 17222 HAS SOPS 17170 HAS SOUS 8578 HAS SOUPS 8526 WITH SCORE 8543.222
AT ITER 179 NEW BEST:: SOT 19449 SOS 17211 HAS SOPS 17159 HAS SOUS 8508 HAS SOUPS 8456 WITH SCORE 8473.211
AT ITER 186 NEW BEST:: SOT 19393 SOS 17155 HAS SOPS 17103 HAS SOUS 8464 HAS SOUPS 8412 WITH SCORE 8429.155
AT ITER 191 NEW BEST:: SOT 19379 SOS 17141 HAS SOPS 17089 HAS SOUS 8436 HAS SOUPS 8384 WITH SCORE 8401.141
AT ITER 195 NEW BEST:: SOT 19363 SOS 17125 HAS SOPS 17073 HAS SOUS 8414 HAS SOUPS 8362 WITH SCORE 8379.125
AT ITER 202 NEW BEST:: SOT 19338 SOS 17100 HAS SOPS 17048 HAS SOUS 8414 HAS SOUPS 8362 WITH SCORE 8379.1
AT ITER 207 NEW BEST:: SOT 19381 SOS 17045 HAS SOPS 16993 HAS SOUS 8413 HAS SOUPS 8361 WITH SCORE 8378.045
AT ITER 209 NEW BEST:: SOT 19282 SOS 16974 HAS SOPS 16922 HAS SOUS 8359 HAS SOUPS 8307 WITH SCORE 8323.974
AT ITER 210 NEW BEST:: SOT 19117 SOS 16875 HAS SOPS 16823 HAS SOUS 8230 HAS SOUPS 8178 WITH SCORE 8194.875
AT ITER 216 NEW BEST:: SOT 19087 SOS 16867 HAS SOPS 16815 HAS SOUS 8216 HAS SOUPS 8164 WITH SCORE 8180.867
AT ITER 217 NEW BEST:: SOT 19053 SOS 16833 HAS SOPS 16781 HAS SOUS 8148 HAS SOUPS 8096 WITH SCORE 8112.833
AT ITER 218 NEW BEST:: SOT 19031 SOS 16811 HAS SOPS 16759 HAS SOUS 8111 HAS SOUPS 8059 WITH SCORE 8075.811
AT ITER 224 NEW BEST:: SOT 18784 SOS 16552 HAS SOPS 16476 HAS SOUS 7973 HAS SOUPS 7897 WITH SCORE 7913.552
AT ITER 230 NEW BEST:: SOT 18790 SOS 16558 HAS SOPS 16482 HAS SOUS 7969 HAS SOUPS 7893 WITH SCORE 7909.558
AT ITER 257 NEW BEST:: SOT 18785 SOS 16553 HAS SOPS 16477 HAS SOUS 7959 HAS SOUPS 7883 WITH SCORE 7899.553
AT ITER 271 NEW BEST:: SOT 18789 SOS 16565 HAS SOPS 16481 HAS SOUS 7965 HAS SOUPS 7881 WITH SCORE 7897.565
AT ITER 278 NEW BEST:: SOT 18785 SOS 16561 HAS SOPS 16477 HAS SOUS 7957 HAS SOUPS 7873 WITH SCORE 7889.561
AT ITER 298 NEW BEST:: SOT 18749 SOS 16523 HAS SOPS 16439 HAS SOUS 7934 HAS SOUPS 7850 WITH SCORE 7866.523
AT ITER 301 NEW BEST:: SOT 18749 SOS 16514 HAS SOPS 16423 HAS SOUS 7941 HAS SOUPS 7850 WITH SCORE 7866.514
AT ITER 304 NEW BEST:: SOT 18685 SOS 16454 HAS SOPS 16367 HAS SOUS 7905 HAS SOUPS 7818 WITH SCORE 7834.454
AT ITER 306 NEW BEST:: SOT 18676 SOS 16446 HAS SOPS 16358 HAS SOUS 7901 HAS SOUPS 7813 WITH SCORE 7829.446
AT ITER 307 NEW BEST:: SOT 18676 SOS 16430 HAS SOPS 16342 HAS SOUS 7901 HAS SOUPS 7813 WITH SCORE 7829.43
AT ITER 309 NEW BEST:: SOT 18666 SOS 16420 HAS SOPS 16332 HAS SOUS 7883 HAS SOUPS 7795 WITH SCORE 7811.42
AT ITER 315 NEW BEST:: SOT 18665 SOS 16419 HAS SOPS 16331 HAS SOUS 7881 HAS SOUPS 7793 WITH SCORE 7809.419
AT ITER 333 NEW BEST:: SOT 18612 SOS 16418 HAS SOPS 16351 HAS SOUS 7830 HAS SOUPS 7763 WITH SCORE 7779.418
AT ITER 334 NEW BEST:: SOT 18593 SOS 16399 HAS SOPS 16332 HAS SOUS 7792 HAS SOUPS 7725 WITH SCORE 7741.399
AT ITER 337 NEW BEST:: SOT 18569 SOS 16375 HAS SOPS 16308 HAS SOUS 7744 HAS SOUPS 7677 WITH SCORE 7693.375
AT ITER 341 NEW BEST:: SOT 18521 SOS 16327 HAS SOPS 16260 HAS SOUS 7724 HAS SOUPS 7657 WITH SCORE 7673.327
AT ITER 347 NEW BEST:: SOT 18510 SOS 16316 HAS SOPS 16249 HAS SOUS 7713 HAS SOUPS 7646 WITH SCORE 7662.316
AT ITER 348 NEW BEST:: SOT 18435 SOS 16254 HAS SOPS 16200 HAS SOUS 7651 HAS SOUPS 7597 WITH SCORE 7613.254
AT ITER 356 NEW BEST:: SOT 18435 SOS 16223 HAS SOPS 16169 HAS SOUS 7639 HAS SOUPS 7585 WITH SCORE 7601.223
AT ITER 358 NEW BEST:: SOT 18423 SOS 16291 HAS SOPS 16237 HAS SOUS 7627 HAS SOUPS 7573 WITH SCORE 7589.291
AT ITER 370 NEW BEST:: SOT 18424 SOS 16386 HAS SOPS 16332 HAS SOUS 7625 HAS SOUPS 7571 WITH SCORE 7587.386
AT ITER 371 NEW BEST:: SOT 18453 SOS 16336 HAS SOPS 16282 HAS SOUS 7619 HAS SOUPS 7565 WITH SCORE 7581.336
AT ITER 373 NEW BEST:: SOT 18305 SOS 16188 HAS SOPS 16134 HAS SOUS 7559 HAS SOUPS 7505 WITH SCORE 7521.188
AT ITER 383 NEW BEST:: SOT 18265 SOS 16154 HAS SOPS 16100 HAS SOUS 7505 HAS SOUPS 7451 WITH SCORE 7467.154
AT ITER 386 NEW BEST:: SOT 18265 SOS 16142 HAS SOPS 16088 HAS SOUS 7505 HAS SOUPS 7451 WITH SCORE 7467.142
AT ITER 387 NEW BEST:: SOT 18257 SOS 16134 HAS SOPS 16080 HAS SOUS 7493 HAS SOUPS 7439 WITH SCORE 7455.134
AT ITER 389 NEW BEST:: SOT 18256 SOS 16133 HAS SOPS 16079 HAS SOUS 7491 HAS SOUPS 7437 WITH SCORE 7453.133
AT ITER 427 NEW BEST:: SOT 18250 SOS 16127 HAS SOPS 16073 HAS SOUS 7479 HAS SOUPS 7425 WITH SCORE 7441.127
AT ITER 431 NEW BEST:: SOT 18214 SOS 16091 HAS SOPS 16037 HAS SOUS 7407 HAS SOUPS 7353 WITH SCORE 7369.091
AT ITER 437 NEW BEST:: SOT 18200 SOS 16077 HAS SOPS 16023 HAS SOUS 7379 HAS SOUPS 7325 WITH SCORE 7341.077
AT ITER 446 NEW BEST:: SOT 18184 SOS 16061 HAS SOPS 16007 HAS SOUS 7353 HAS SOUPS 7299 WITH SCORE 7315.061
AT ITER 459 NEW BEST:: SOT 17982 SOS 15959 HAS SOPS 15905 HAS SOUS 7152 HAS SOUPS 7098 WITH SCORE 7113.959
AT ITER 468 NEW BEST:: SOT 18021 SOS 15998 HAS SOPS 15944 HAS SOUS 7138 HAS SOUPS 7084 WITH SCORE 7099.998
AT ITER 469 NEW BEST:: SOT 18021 SOS 15998 HAS SOPS 15944 HAS SOUS 7120 HAS SOUPS 7066 WITH SCORE 7081.998
AT ITER 472 NEW BEST:: SOT 18027 SOS 15934 HAS SOPS 15880 HAS SOUS 7108 HAS SOUPS 7054 WITH SCORE 7069.934
AT ITER 474 NEW BEST:: SOT 18027 SOS 15608 HAS SOPS 15554 HAS SOUS 7108 HAS SOUPS 7054 WITH SCORE 7069.608
AT ITER 479 NEW BEST:: SOT 18056 SOS 15610 HAS SOPS 15556 HAS SOUS 7009 HAS SOUPS 6955 WITH SCORE 6970.61
AT ITER 493 NEW BEST:: SOT 18056 SOS 15610 HAS SOPS 15556 HAS SOUS 6977 HAS SOUPS 6923 WITH SCORE 6938.61
AT ITER 514 NEW BEST:: SOT 18038 SOS 15592 HAS SOPS 15538 HAS SOUS 6959 HAS SOUPS 6905 WITH SCORE 6920.592
AT ITER 516 NEW BEST:: SOT 17840 SOS 15422 HAS SOPS 15368 HAS SOUS 6801 HAS SOUPS 6747 WITH SCORE 6762.422
AT ITER 518 NEW BEST:: SOT 17785 SOS 15385 HAS SOPS 15331 HAS SOUS 6774 HAS SOUPS 6720 WITH SCORE 6735.385
AT ITER 548 NEW BEST:: SOT 17783 SOS 15383 HAS SOPS 15329 HAS SOUS 6770 HAS SOUPS 6716 WITH SCORE 6731.383
AT ITER 554 NEW BEST:: SOT 17778 SOS 15367 HAS SOPS 15313 HAS SOUS 6743 HAS SOUPS 6689 WITH SCORE 6704.367
AT ITER 560 NEW BEST:: SOT 17768 SOS 15357 HAS SOPS 15303 HAS SOUS 6735 HAS SOUPS 6681 WITH SCORE 6696.357
AT ITER 576 NEW BEST:: SOT 17707 SOS 15344 HAS SOPS 15290 HAS SOUS 6696 HAS SOUPS 6642 WITH SCORE 6657.344
AT ITER 580 NEW BEST:: SOT 17705 SOS 15341 HAS SOPS 15286 HAS SOUS 6693 HAS SOUPS 6638 WITH SCORE 6653.341
AT ITER 589 NEW BEST:: SOT 17726 SOS 15342 HAS SOPS 15267 HAS SOUS 6702 HAS SOUPS 6627 WITH SCORE 6642.342
AT ITER 595 NEW BEST:: SOT 17721 SOS 15352 HAS SOPS 15277 HAS SOUS 6692 HAS SOUPS 6617 WITH SCORE 6632.352
AT ITER 597 NEW BEST:: SOT 17711 SOS 15342 HAS SOPS 15267 HAS SOUS 6682 HAS SOUPS 6607 WITH SCORE 6622.342
AT ITER 599 NEW BEST:: SOT 17705 SOS 15337 HAS SOPS 15261 HAS SOUS 6680 HAS SOUPS 6604 WITH SCORE 6619.337
AT ITER 606 NEW BEST:: SOT 17693 SOS 15325 HAS SOPS 15249 HAS SOUS 6656 HAS SOUPS 6580 WITH SCORE 6595.325
AT ITER 609 NEW BEST:: SOT 17711 SOS 15353 HAS SOPS 15277 HAS SOUS 6651 HAS SOUPS 6575 WITH SCORE 6590.353
AT ITER 637 NEW BEST:: SOT 17703 SOS 15345 HAS SOPS 15269 HAS SOUS 6635 HAS SOUPS 6559 WITH SCORE 6574.345
AT ITER 639 NEW BEST:: SOT 17703 SOS 13126 HAS SOPS 13050 HAS SOUS 6634 HAS SOUPS 6558 WITH SCORE 6571.126
AT ITER 641 NEW BEST:: SOT 17703 SOS 13124 HAS SOPS 13048 HAS SOUS 6634 HAS SOUPS 6558 WITH SCORE 6571.124
AT ITER 661 NEW BEST:: SOT 17696 SOS 13146 HAS SOPS 13070 HAS SOUS 6627 HAS SOUPS 6551 WITH SCORE 6564.146
AT ITER 663 NEW BEST:: SOT 17647 SOS 13283 HAS SOPS 13231 HAS SOUS 6598 HAS SOUPS 6546 WITH SCORE 6559.283
AT ITER 665 NEW BEST:: SOT 17647 SOS 13283 HAS SOPS 13231 HAS SOUS 6590 HAS SOUPS 6538 WITH SCORE 6551.283
AT ITER 666 NEW BEST:: SOT 17641 SOS 13277 HAS SOPS 13225 HAS SOUS 6582 HAS SOUPS 6530 WITH SCORE 6543.277
AT ITER 671 NEW BEST:: SOT 17386 SOS 13022 HAS SOPS 12970 HAS SOUS 6463 HAS SOUPS 6411 WITH SCORE 6424.022
AT ITER 673 NEW BEST:: SOT 17374 SOS 13014 HAS SOPS 12962 HAS SOUS 6447 HAS SOUPS 6395 WITH SCORE 6408.014
AT ITER 681 NEW BEST:: SOT 17345 SOS 12985 HAS SOPS 12933 HAS SOUS 6389 HAS SOUPS 6337 WITH SCORE 6349.985
AT ITER 682 NEW BEST:: SOT 17345 SOS 12934 HAS SOPS 12882 HAS SOUS 6389 HAS SOUPS 6337 WITH SCORE 6349.934
AT ITER 691 NEW BEST:: SOT 17345 SOS 12929 HAS SOPS 12877 HAS SOUS 6389 HAS SOUPS 6337 WITH SCORE 6349.929
AT ITER 701 NEW BEST:: SOT 17341 SOS 12913 HAS SOPS 12861 HAS SOUS 6381 HAS SOUPS 6329 WITH SCORE 6341.913
AT ITER 715 NEW BEST:: SOT 17225 SOS 12811 HAS SOPS 12745 HAS SOUS 6387 HAS SOUPS 6321 WITH SCORE 6333.811
AT ITER 725 NEW BEST:: SOT 17213 SOS 12799 HAS SOPS 12733 HAS SOUS 6363 HAS SOUPS 6297 WITH SCORE 6309.799
AT ITER 726 NEW BEST:: SOT 17213 SOS 12701 HAS SOPS 12635 HAS SOUS 6363 HAS SOUPS 6297 WITH SCORE 6309.701
AT ITER 727 NEW BEST:: SOT 17165 SOS 12941 HAS SOPS 12878 HAS SOUS 6354 HAS SOUPS 6291 WITH SCORE 6303.941
AT ITER 728 NEW BEST:: SOT 17163 SOS 13104 HAS SOPS 13041 HAS SOUS 6352 HAS SOUPS 6289 WITH SCORE 6302.104
AT ITER 729 NEW BEST:: SOT 17155 SOS 13096 HAS SOPS 13033 HAS SOUS 6336 HAS SOUPS 6273 WITH SCORE 6286.096
AT ITER 733 NEW BEST:: SOT 17143 SOS 13076 HAS SOPS 13013 HAS SOUS 6312 HAS SOUPS 6249 WITH SCORE 6262.076
AT ITER 750 NEW BEST:: SOT 17133 SOS 13066 HAS SOPS 13003 HAS SOUS 6307 HAS SOUPS 6244 WITH SCORE 6257.066
AT ITER 756 NEW BEST:: SOT 17110 SOS 13173 HAS SOPS 13110 HAS SOUS 6293 HAS SOUPS 6230 WITH SCORE 6243.173
AT ITER 789 NEW BEST:: SOT 17089 SOS 13152 HAS SOPS 13089 HAS SOUS 6244 HAS SOUPS 6181 WITH SCORE 6194.152
AT ITER 795 NEW BEST:: SOT 17089 SOS 13149 HAS SOPS 13086 HAS SOUS 6244 HAS SOUPS 6181 WITH SCORE 6194.149
AT ITER 799 NEW BEST:: SOT 17089 SOS 13127 HAS SOPS 13064 HAS SOUS 6244 HAS SOUPS 6181 WITH SCORE 6194.127
AT ITER 830 NEW BEST:: SOT 17092 SOS 13128 HAS SOPS 13063 HAS SOUS 6245 HAS SOUPS 6180 WITH SCORE 6193.128
AT ITER 843 NEW BEST:: SOT 17092 SOS 13120 HAS SOPS 13055 HAS SOUS 6245 HAS SOUPS 6180 WITH SCORE 6193.12
AT ITER 853 NEW BEST:: SOT 17070 SOS 13098 HAS SOPS 13033 HAS SOUS 6239 HAS SOUPS 6174 WITH SCORE 6187.098
AT ITER 867 NEW BEST:: SOT 17063 SOS 13141 HAS SOPS 13076 HAS SOUS 6231 HAS SOUPS 6166 WITH SCORE 6179.141
AT ITER 881 NEW BEST:: SOT 17060 SOS 13138 HAS SOPS 13073 HAS SOUS 6225 HAS SOUPS 6160 WITH SCORE 6173.138
AT ITER 894 NEW BEST:: SOT 17055 SOS 13133 HAS SOPS 13068 HAS SOUS 6210 HAS SOUPS 6145 WITH SCORE 6158.133
AT ITER 896 NEW BEST:: SOT 17049 SOS 13127 HAS SOPS 13062 HAS SOUS 6204 HAS SOUPS 6139 WITH SCORE 6152.127
AT ITER 899 NEW BEST:: SOT 17049 SOS 13119 HAS SOPS 13054 HAS SOUS 6204 HAS SOUPS 6139 WITH SCORE 6152.119
AT ITER 903 NEW BEST:: SOT 17074 SOS 13137 HAS SOPS 13072 HAS SOUS 6162 HAS SOUPS 6097 WITH SCORE 6110.137
AT ITER 907 NEW BEST:: SOT 17028 SOS 13079 HAS SOPS 13014 HAS SOUS 6154 HAS SOUPS 6089 WITH SCORE 6102.079
AT ITER 920 NEW BEST:: SOT 17016 SOS 13067 HAS SOPS 13002 HAS SOUS 6130 HAS SOUPS 6065 WITH SCORE 6078.067
AT ITER 922 NEW BEST:: SOT 17013 SOS 12706 HAS SOPS 12641 HAS SOUS 6101 HAS SOUPS 6036 WITH SCORE 6048.706
AT ITER 927 NEW BEST:: SOT 17007 SOS 12700 HAS SOPS 12635 HAS SOUS 6089 HAS SOUPS 6024 WITH SCORE 6036.7
AT ITER 944 NEW BEST:: SOT 16993 SOS 12686 HAS SOPS 12621 HAS SOUS 6061 HAS SOUPS 5996 WITH SCORE 6008.686
AT ITER 945 NEW BEST:: SOT 16961 SOS 12654 HAS SOPS 12589 HAS SOUS 5997 HAS SOUPS 5932 WITH SCORE 5944.654
AT ITER 948 NEW BEST:: SOT 16971 SOS 12655 HAS SOPS 12590 HAS SOUS 5995 HAS SOUPS 5930 WITH SCORE 5942.655
AT ITER 952 NEW BEST:: SOT 16925 SOS 12614 HAS SOPS 12544 HAS SOUS 5988 HAS SOUPS 5918 WITH SCORE 5930.614
AT ITER 982 NEW BEST:: SOT 16906 SOS 12581 HAS SOPS 12511 HAS SOUS 5949 HAS SOUPS 5879 WITH SCORE 5891.581
AT ITER 1009 NEW BEST:: SOT 16901 SOS 12581 HAS SOPS 12511 HAS SOUS 5944 HAS SOUPS 5874 WITH SCORE 5886.581
AT ITER 1022 NEW BEST:: SOT 16891 SOS 12571 HAS SOPS 12501 HAS SOUS 5924 HAS SOUPS 5854 WITH SCORE 5866.571
AT ITER 1028 NEW BEST:: SOT 16881 SOS 12561 HAS SOPS 12491 HAS SOUS 5904 HAS SOUPS 5834 WITH SCORE 5846.561
AT ITER 1048 NEW BEST:: SOT 16879 SOS 12559 HAS SOPS 12489 HAS SOUS 5902 HAS SOUPS 5832 WITH SCORE 5844.559
AT ITER 1062 NEW BEST:: SOT 16869 SOS 12549 HAS SOPS 12479 HAS SOUS 5892 HAS SOUPS 5822 WITH SCORE 5834.549
AT ITER 1063 NEW BEST:: SOT 16834 SOS 12514 HAS SOPS 12444 HAS SOUS 5889 HAS SOUPS 5819 WITH SCORE 5831.514
AT ITER 1072 NEW BEST:: SOT 16770 SOS 12450 HAS SOPS 12380 HAS SOUS 5769 HAS SOUPS 5699 WITH SCORE 5711.45
AT ITER 1074 NEW BEST:: SOT 16801 SOS 12481 HAS SOPS 12411 HAS SOUS 5758 HAS SOUPS 5688 WITH SCORE 5700.481
AT ITER 1085 NEW BEST:: SOT 16795 SOS 12475 HAS SOPS 12405 HAS SOUS 5746 HAS SOUPS 5676 WITH SCORE 5688.475
AT ITER 1103 NEW BEST:: SOT 16795 SOS 12459 HAS SOPS 12389 HAS SOUS 5746 HAS SOUPS 5676 WITH SCORE 5688.459
AT ITER 1104 NEW BEST:: SOT 16794 SOS 12458 HAS SOPS 12388 HAS SOUS 5745 HAS SOUPS 5675 WITH SCORE 5687.458
AT ITER 1105 NEW BEST:: SOT 16794 SOS 12451 HAS SOPS 12381 HAS SOUS 5745 HAS SOUPS 5675 WITH SCORE 5687.451
AT ITER 1112 NEW BEST:: SOT 16788 SOS 12445 HAS SOPS 12375 HAS SOUS 5739 HAS SOUPS 5669 WITH SCORE 5681.445
AT ITER 1118 NEW BEST:: SOT 16786 SOS 12443 HAS SOPS 12373 HAS SOUS 5725 HAS SOUPS 5655 WITH SCORE 5667.443
AT ITER 1144 NEW BEST:: SOT 16768 SOS 12425 HAS SOPS 12355 HAS SOUS 5689 HAS SOUPS 5619 WITH SCORE 5631.425
AT ITER 1155 NEW BEST:: SOT 16772 SOS 12291 HAS SOPS 12221 HAS SOUS 5654 HAS SOUPS 5584 WITH SCORE 5596.291
AT ITER 1171 NEW BEST:: SOT 16756 SOS 12251 HAS SOPS 12181 HAS SOUS 5620 HAS SOUPS 5550 WITH SCORE 5562.251
AT ITER 1184 NEW BEST:: SOT 16748 SOS 12262 HAS SOPS 12192 HAS SOUS 5604 HAS SOUPS 5534 WITH SCORE 5546.262
AT ITER 1207 NEW BEST:: SOT 16746 SOS 12279 HAS SOPS 12209 HAS SOUS 5602 HAS SOUPS 5532 WITH SCORE 5544.279
AT ITER 1231 NEW BEST:: SOT 16743 SOS 12274 HAS SOPS 12204 HAS SOUS 5596 HAS SOUPS 5526 WITH SCORE 5538.274
AT ITER 1241 NEW BEST:: SOT 16719 SOS 12250 HAS SOPS 12180 HAS SOUS 5564 HAS SOUPS 5494 WITH SCORE 5506.25
AT ITER 1252 NEW BEST:: SOT 16709 SOS 12240 HAS SOPS 12170 HAS SOUS 5544 HAS SOUPS 5474 WITH SCORE 5486.24
AT ITER 1276 NEW BEST:: SOT 16702 SOS 12255 HAS SOPS 12185 HAS SOUS 5536 HAS SOUPS 5466 WITH SCORE 5478.255
AT ITER 1286 NEW BEST:: SOT 16695 SOS 12248 HAS SOPS 12178 HAS SOUS 5534 HAS SOUPS 5464 WITH SCORE 5476.248
AT ITER 1305 NEW BEST:: SOT 16690 SOS 12355 HAS SOPS 12285 HAS SOUS 5524 HAS SOUPS 5454 WITH SCORE 5466.355
AT ITER 1314 NEW BEST:: SOT 16690 SOS 12333 HAS SOPS 12263 HAS SOUS 5524 HAS SOUPS 5454 WITH SCORE 5466.333
AT ITER 1328 NEW BEST:: SOT 16686 SOS 12329 HAS SOPS 12259 HAS SOUS 5516 HAS SOUPS 5446 WITH SCORE 5458.329
AT ITER 1333 NEW BEST:: SOT 16686 SOS 12327 HAS SOPS 12257 HAS SOUS 5516 HAS SOUPS 5446 WITH SCORE 5458.327
AT ITER 1342 NEW BEST:: SOT 16711 SOS 12352 HAS SOPS 12282 HAS SOUS 5501 HAS SOUPS 5431 WITH SCORE 5443.352
AT ITER 1358 NEW BEST:: SOT 16711 SOS 12346 HAS SOPS 12276 HAS SOUS 5501 HAS SOUPS 5431 WITH SCORE 5443.346
AT ITER 1375 NEW BEST:: SOT 16692 SOS 12327 HAS SOPS 12257 HAS SOUS 5489 HAS SOUPS 5419 WITH SCORE 5431.327
AT ITER 1382 NEW BEST:: SOT 16727 SOS 12353 HAS SOPS 12276 HAS SOUS 5470 HAS SOUPS 5393 WITH SCORE 5405.353
AT ITER 1387 NEW BEST:: SOT 16725 SOS 12351 HAS SOPS 12274 HAS SOUS 5452 HAS SOUPS 5375 WITH SCORE 5387.351
AT ITER 1401 NEW BEST:: SOT 16713 SOS 12357 HAS SOPS 12280 HAS SOUS 5450 HAS SOUPS 5373 WITH SCORE 5385.357
AT ITER 1424 NEW BEST:: SOT 16695 SOS 12344 HAS SOPS 12267 HAS SOUS 5437 HAS SOUPS 5360 WITH SCORE 5372.344
AT ITER 1489 NEW BEST:: SOT 16691 SOS 12340 HAS SOPS 12263 HAS SOUS 5429 HAS SOUPS 5352 WITH SCORE 5364.34
AT ITER 1504 NEW BEST:: SOT 16689 SOS 12338 HAS SOPS 12261 HAS SOUS 5419 HAS SOUPS 5342 WITH SCORE 5354.338
AT ITER 1517 NEW BEST:: SOT 16682 SOS 12349 HAS SOPS 12272 HAS SOUS 5418 HAS SOUPS 5341 WITH SCORE 5353.349
AT ITER 1520 NEW BEST:: SOT 16668 SOS 12342 HAS SOPS 12265 HAS SOUS 5404 HAS SOUPS 5327 WITH SCORE 5339.342
AT ITER 1534 NEW BEST:: SOT 16664 SOS 12332 HAS SOPS 12249 HAS SOUS 5394 HAS SOUPS 5311 WITH SCORE 5323.332
AT ITER 1548 NEW BEST:: SOT 16654 SOS 12322 HAS SOPS 12239 HAS SOUS 5384 HAS SOUPS 5301 WITH SCORE 5313.322
AT ITER 1552 NEW BEST:: SOT 16615 SOS 12289 HAS SOPS 12206 HAS SOUS 5351 HAS SOUPS 5268 WITH SCORE 5280.289
AT ITER 1574 NEW BEST:: SOT 16611 SOS 12285 HAS SOPS 12202 HAS SOUS 5343 HAS SOUPS 5260 WITH SCORE 5272.285
AT ITER 1586 NEW BEST:: SOT 16605 SOS 12279 HAS SOPS 12196 HAS SOUS 5331 HAS SOUPS 5248 WITH SCORE 5260.279
AT ITER 1595 NEW BEST:: SOT 16593 SOS 12267 HAS SOPS 12184 HAS SOUS 5307 HAS SOUPS 5224 WITH SCORE 5236.267
AT ITER 1603 NEW BEST:: SOT 16593 SOS 12265 HAS SOPS 12182 HAS SOUS 5307 HAS SOUPS 5224 WITH SCORE 5236.265
AT ITER 1624 NEW BEST:: SOT 16574 SOS 12246 HAS SOPS 12163 HAS SOUS 5270 HAS SOUPS 5187 WITH SCORE 5199.246
AT ITER 1626 NEW BEST:: SOT 16552 SOS 12224 HAS SOPS 12141 HAS SOUS 5236 HAS SOUPS 5153 WITH SCORE 5165.224
AT ITER 1640 NEW BEST:: SOT 16458 SOS 12124 HAS SOPS 12041 HAS SOUS 5170 HAS SOUPS 5087 WITH SCORE 5099.124
AT ITER 1693 NEW BEST:: SOT 16456 SOS 12122 HAS SOPS 12039 HAS SOUS 5165 HAS SOUPS 5082 WITH SCORE 5094.122
AT ITER 1705 NEW BEST:: SOT 16449 SOS 12115 HAS SOPS 12032 HAS SOUS 5165 HAS SOUPS 5082 WITH SCORE 5094.115
AT ITER 1716 NEW BEST:: SOT 16445 SOS 12111 HAS SOPS 12028 HAS SOUS 5157 HAS SOUPS 5074 WITH SCORE 5086.111
AT ITER 1726 NEW BEST:: SOT 16442 SOS 12132 HAS SOPS 12049 HAS SOUS 5154 HAS SOUPS 5071 WITH SCORE 5083.132
AT ITER 1738 NEW BEST:: SOT 16408 SOS 12098 HAS SOPS 12015 HAS SOUS 5086 HAS SOUPS 5003 WITH SCORE 5015.098
AT ITER 1744 NEW BEST:: SOT 16408 SOS 12066 HAS SOPS 11983 HAS SOUS 5086 HAS SOUPS 5003 WITH SCORE 5015.066
AT ITER 1761 NEW BEST:: SOT 16397 SOS 12148 HAS SOPS 12065 HAS SOUS 5068 HAS SOUPS 4985 WITH SCORE 4997.148
AT ITER 1822 NEW BEST:: SOT 16393 SOS 12144 HAS SOPS 12061 HAS SOUS 5060 HAS SOUPS 4977 WITH SCORE 4989.144
AT ITER 1825 NEW BEST:: SOT 16385 SOS 12136 HAS SOPS 12053 HAS SOUS 5044 HAS SOUPS 4961 WITH SCORE 4973.136
AT ITER 1843 NEW BEST:: SOT 16385 SOS 12105 HAS SOPS 12022 HAS SOUS 5044 HAS SOUPS 4961 WITH SCORE 4973.105
AT ITER 1875 NEW BEST:: SOT 16379 SOS 12099 HAS SOPS 12016 HAS SOUS 5032 HAS SOUPS 4949 WITH SCORE 4961.099
AT ITER 1878 NEW BEST:: SOT 16381 SOS 12030 HAS SOPS 11947 HAS SOUS 5027 HAS SOUPS 4944 WITH SCORE 4956.03
AT ITER 1900 NEW BEST:: SOT 16381 SOS 12020 HAS SOPS 11937 HAS SOUS 5027 HAS SOUPS 4944 WITH SCORE 4956.02
AT ITER 1906 NEW BEST:: SOT 16365 SOS 12004 HAS SOPS 11921 HAS SOUS 5025 HAS SOUPS 4942 WITH SCORE 4954.004
AT ITER 1941 NEW BEST:: SOT 16357 SOS 11996 HAS SOPS 11913 HAS SOUS 5017 HAS SOUPS 4934 WITH SCORE 4945.996
AT ITER 1945 NEW BEST:: SOT 16386 SOS 11881 HAS SOPS 11798 HAS SOUS 5017 HAS SOUPS 4934 WITH SCORE 4945.881
AT ITER 1954 NEW BEST:: SOT 16377 SOS 12058 HAS SOPS 11975 HAS SOUS 4999 HAS SOUPS 4916 WITH SCORE 4928.058
AT ITER 1989 NEW BEST:: SOT 16371 SOS 12052 HAS SOPS 11969 HAS SOUS 4981 HAS SOUPS 4898 WITH SCORE 4910.052
AT ITER 2032 NEW BEST:: SOT 16359 SOS 12040 HAS SOPS 11957 HAS SOUS 4957 HAS SOUPS 4874 WITH SCORE 4886.04
AT ITER 2034 NEW BEST:: SOT 16355 SOS 12049 HAS SOPS 11966 HAS SOUS 4949 HAS SOUPS 4866 WITH SCORE 4878.049
AT ITER 2049 NEW BEST:: SOT 16352 SOS 12060 HAS SOPS 11977 HAS SOUS 4945 HAS SOUPS 4862 WITH SCORE 4874.06
AT ITER 2059 NEW BEST:: SOT 16350 SOS 12058 HAS SOPS 11975 HAS SOUS 4941 HAS SOUPS 4858 WITH SCORE 4870.058
AT ITER 2085 NEW BEST:: SOT 16326 SOS 12055 HAS SOPS 11972 HAS SOUS 4935 HAS SOUPS 4852 WITH SCORE 4864.055
AT ITER 2091 NEW BEST:: SOT 16326 SOS 12054 HAS SOPS 11971 HAS SOUS 4935 HAS SOUPS 4852 WITH SCORE 4864.054
AT ITER 2104 NEW BEST:: SOT 16326 SOS 12023 HAS SOPS 11940 HAS SOUS 4935 HAS SOUPS 4852 WITH SCORE 4864.023
AT ITER 2110 NEW BEST:: SOT 16326 SOS 12013 HAS SOPS 11930 HAS SOUS 4930 HAS SOUPS 4847 WITH SCORE 4859.013
AT ITER 2146 NEW BEST:: SOT 16312 SOS 11999 HAS SOPS 11916 HAS SOUS 4904 HAS SOUPS 4821 WITH SCORE 4832.999
AT ITER 2154 NEW BEST:: SOT 16313 SOS 11841 HAS SOPS 11758 HAS SOUS 4881 HAS SOUPS 4798 WITH SCORE 4809.841
AT ITER 2170 NEW BEST:: SOT 16311 SOS 11839 HAS SOPS 11756 HAS SOUS 4879 HAS SOUPS 4796 WITH SCORE 4807.839
AT ITER 2171 NEW BEST:: SOT 16307 SOS 11836 HAS SOPS 11753 HAS SOUS 4879 HAS SOUPS 4796 WITH SCORE 4807.836
AT ITER 2222 NEW BEST:: SOT 16202 SOS 11731 HAS SOPS 11648 HAS SOUS 4834 HAS SOUPS 4751 WITH SCORE 4762.731
AT ITER 2236 NEW BEST:: SOT 16200 SOS 11705 HAS SOPS 11622 HAS SOUS 4832 HAS SOUPS 4749 WITH SCORE 4760.705
AT ITER 2254 NEW BEST:: SOT 16198 SOS 11721 HAS SOPS 11638 HAS SOUS 4829 HAS SOUPS 4746 WITH SCORE 4757.721
AT ITER 2284 NEW BEST:: SOT 16195 SOS 11732 HAS SOPS 11649 HAS SOUS 4826 HAS SOUPS 4743 WITH SCORE 4754.732
AT ITER 2297 NEW BEST:: SOT 16189 SOS 11726 HAS SOPS 11643 HAS SOUS 4814 HAS SOUPS 4731 WITH SCORE 4742.726
AT ITER 2306 NEW BEST:: SOT 16191 SOS 11728 HAS SOPS 11645 HAS SOUS 4806 HAS SOUPS 4723 WITH SCORE 4734.728
AT ITER 2349 NEW BEST:: SOT 16263 SOS 11800 HAS SOPS 11717 HAS SOUS 4800 HAS SOUPS 4717 WITH SCORE 4728.8
AT ITER 2354 NEW BEST:: SOT 16253 SOS 11790 HAS SOPS 11707 HAS SOUS 4800 HAS SOUPS 4717 WITH SCORE 4728.79
AT ITER 2357 NEW BEST:: SOT 16251 SOS 11824 HAS SOPS 11741 HAS SOUS 4798 HAS SOUPS 4715 WITH SCORE 4726.824
AT ITER 2381 NEW BEST:: SOT 16236 SOS 12007 HAS SOPS 11924 HAS SOUS 4774 HAS SOUPS 4691 WITH SCORE 4703.007
AT ITER 2434 NEW BEST:: SOT 16236 SOS 12001 HAS SOPS 11918 HAS SOUS 4774 HAS SOUPS 4691 WITH SCORE 4703.001
AT ITER 2444 NEW BEST:: SOT 16221 SOS 11986 HAS SOPS 11903 HAS SOUS 4750 HAS SOUPS 4667 WITH SCORE 4678.986
AT ITER 2450 NEW BEST:: SOT 16205 SOS 11970 HAS SOPS 11887 HAS SOUS 4734 HAS SOUPS 4651 WITH SCORE 4662.97
AT ITER 2466 NEW BEST:: SOT 16203 SOS 11966 HAS SOPS 11883 HAS SOUS 4730 HAS SOUPS 4647 WITH SCORE 4658.966
AT ITER 2470 NEW BEST:: SOT 16219 SOS 11972 HAS SOPS 11889 HAS SOUS 4728 HAS SOUPS 4645 WITH SCORE 4656.972
AT ITER 2500 NEW BEST:: SOT 16217 SOS 11970 HAS SOPS 11887 HAS SOUS 4724 HAS SOUPS 4641 WITH SCORE 4652.97
AT ITER 2504 NEW BEST:: SOT 16213 SOS 11966 HAS SOPS 11883 HAS SOUS 4716 HAS SOUPS 4633 WITH SCORE 4644.966
AT ITER 2510 NEW BEST:: SOT 16203 SOS 11939 HAS SOPS 11856 HAS SOUS 4703 HAS SOUPS 4620 WITH SCORE 4631.939
AT ITER 2549 NEW BEST:: SOT 16203 SOS 11939 HAS SOPS 11856 HAS SOUS 4697 HAS SOUPS 4614 WITH SCORE 4625.939
AT ITER 2575 NEW BEST:: SOT 16191 SOS 11933 HAS SOPS 11850 HAS SOUS 4688 HAS SOUPS 4605 WITH SCORE 4616.933
AT ITER 2586 NEW BEST:: SOT 16134 SOS 11871 HAS SOPS 11788 HAS SOUS 4655 HAS SOUPS 4572 WITH SCORE 4583.871
AT ITER 2671 NEW BEST:: SOT 16077 SOS 11814 HAS SOPS 11731 HAS SOUS 4646 HAS SOUPS 4563 WITH SCORE 4574.814
AT ITER 2791 NEW BEST:: SOT 16065 SOS 11802 HAS SOPS 11719 HAS SOUS 4622 HAS SOUPS 4539 WITH SCORE 4550.802
AT ITER 2816 NEW BEST:: SOT 16065 SOS 11801 HAS SOPS 11718 HAS SOUS 4622 HAS SOUPS 4539 WITH SCORE 4550.801
AT ITER 2859 NEW BEST:: SOT 16005 SOS 11741 HAS SOPS 11658 HAS SOUS 4622 HAS SOUPS 4539 WITH SCORE 4550.741
AT ITER 2880 NEW BEST:: SOT 16022 SOS 11681 HAS SOPS 11598 HAS SOUS 4615 HAS SOUPS 4532 WITH SCORE 4543.681
AT ITER 2933 NEW BEST:: SOT 16022 SOS 11631 HAS SOPS 11548 HAS SOUS 4615 HAS SOUPS 4532 WITH SCORE 4543.631
AT ITER 2991 NEW BEST:: SOT 16021 SOS 11628 HAS SOPS 11545 HAS SOUS 4614 HAS SOUPS 4531 WITH SCORE 4542.628
AT ITER 3071 NEW BEST:: SOT 16020 SOS 11627 HAS SOPS 11544 HAS SOUS 4613 HAS SOUPS 4530 WITH SCORE 4541.627
AT ITER 3104 NEW BEST:: SOT 16020 SOS 11626 HAS SOPS 11543 HAS SOUS 4613 HAS SOUPS 4530 WITH SCORE 4541.626
AT ITER 3109 NEW BEST:: SOT 16004 SOS 11631 HAS SOPS 11548 HAS SOUS 4607 HAS SOUPS 4524 WITH SCORE 4535.631
AT ITER 3147 NEW BEST:: SOT 15999 SOS 11626 HAS SOPS 11543 HAS SOUS 4597 HAS SOUPS 4514 WITH SCORE 4525.626
AT ITER 3187 NEW BEST:: SOT 15987 SOS 11614 HAS SOPS 11531 HAS SOUS 4573 HAS SOUPS 4490 WITH SCORE 4501.614
AT ITER 3228 NEW BEST:: SOT 15987 SOS 11605 HAS SOPS 11522 HAS SOUS 4569 HAS SOUPS 4486 WITH SCORE 4497.605
AT ITER 3277 NEW BEST:: SOT 15981 SOS 11599 HAS SOPS 11516 HAS SOUS 4569 HAS SOUPS 4486 WITH SCORE 4497.599
AT ITER 3299 NEW BEST:: SOT 15984 SOS 11602 HAS SOPS 11519 HAS SOUS 4558 HAS SOUPS 4475 WITH SCORE 4486.602
AT ITER 3303 NEW BEST:: SOT 15970 SOS 11588 HAS SOPS 11505 HAS SOUS 4548 HAS SOUPS 4465 WITH SCORE 4476.588
AT ITER 3344 NEW BEST:: SOT 15968 SOS 11588 HAS SOPS 11505 HAS SOUS 4542 HAS SOUPS 4459 WITH SCORE 4470.588
AT ITER 3367 NEW BEST:: SOT 15967 SOS 11587 HAS SOPS 11504 HAS SOUS 4541 HAS SOUPS 4458 WITH SCORE 4469.587
AT ITER 3385 NEW BEST:: SOT 15963 SOS 11575 HAS SOPS 11492 HAS SOUS 4534 HAS SOUPS 4451 WITH SCORE 4462.575
AT ITER 3387 NEW BEST:: SOT 15943 SOS 11555 HAS SOPS 11472 HAS SOUS 4494 HAS SOUPS 4411 WITH SCORE 4422.555
AT ITER 3400 NEW BEST:: SOT 15939 SOS 11551 HAS SOPS 11468 HAS SOUS 4486 HAS SOUPS 4403 WITH SCORE 4414.551
AT ITER 3446 NEW BEST:: SOT 15937 SOS 11557 HAS SOPS 11474 HAS SOUS 4483 HAS SOUPS 4400 WITH SCORE 4411.557
AT ITER 3449 NEW BEST:: SOT 15937 SOS 11547 HAS SOPS 11464 HAS SOUS 4483 HAS SOUPS 4400 WITH SCORE 4411.547
AT ITER 3455 NEW BEST:: SOT 15963 SOS 11573 HAS SOPS 11490 HAS SOUS 4471 HAS SOUPS 4388 WITH SCORE 4399.573
AT ITER 3502 NEW BEST:: SOT 15961 SOS 11571 HAS SOPS 11488 HAS SOUS 4467 HAS SOUPS 4384 WITH SCORE 4395.571
AT ITER 3509 NEW BEST:: SOT 15961 SOS 11568 HAS SOPS 11485 HAS SOUS 4467 HAS SOUPS 4384 WITH SCORE 4395.568
AT ITER 3631 NEW BEST:: SOT 15961 SOS 11560 HAS SOPS 11477 HAS SOUS 4467 HAS SOUPS 4384 WITH SCORE 4395.56
AT ITER 3664 NEW BEST:: SOT 15918 SOS 11517 HAS SOPS 11434 HAS SOUS 4462 HAS SOUPS 4379 WITH SCORE 4390.517
AT ITER 3743 NEW BEST:: SOT 15918 SOS 11515 HAS SOPS 11432 HAS SOUS 4462 HAS SOUPS 4379 WITH SCORE 4390.515
AT ITER 3756 NEW BEST:: SOT 15912 SOS 11509 HAS SOPS 11426 HAS SOUS 4450 HAS SOUPS 4367 WITH SCORE 4378.509
AT ITER 3820 NEW BEST:: SOT 15894 SOS 11887 HAS SOPS 11804 HAS SOUS 4438 HAS SOUPS 4355 WITH SCORE 4366.887
AT ITER 3854 NEW BEST:: SOT 15890 SOS 11929 HAS SOPS 11846 HAS SOUS 4429 HAS SOUPS 4346 WITH SCORE 4357.929
AT ITER 3860 NEW BEST:: SOT 15834 SOS 11880 HAS SOPS 11790 HAS SOUS 4436 HAS SOUPS 4346 WITH SCORE 4357.88
AT ITER 3878 NEW BEST:: SOT 15837 SOS 11881 HAS SOPS 11791 HAS SOUS 4431 HAS SOUPS 4341 WITH SCORE 4352.881
AT ITER 4009 NEW BEST:: SOT 15837 SOS 11809 HAS SOPS 11719 HAS SOUS 4431 HAS SOUPS 4341 WITH SCORE 4352.809
AT ITER 4064 NEW BEST:: SOT 15836 SOS 11800 HAS SOPS 11710 HAS SOUS 4429 HAS SOUPS 4339 WITH SCORE 4350.8
AT ITER 4093 NEW BEST:: SOT 15834 SOS 11798 HAS SOPS 11708 HAS SOUS 4423 HAS SOUPS 4333 WITH SCORE 4344.798
AT ITER 4136 NEW BEST:: SOT 15830 SOS 11794 HAS SOPS 11704 HAS SOUS 4421 HAS SOUPS 4331 WITH SCORE 4342.794
AT ITER 4213 NEW BEST:: SOT 15828 SOS 11792 HAS SOPS 11702 HAS SOUS 4417 HAS SOUPS 4327 WITH SCORE 4338.792
AT ITER 4215 NEW BEST:: SOT 15827 SOS 11830 HAS SOPS 11740 HAS SOUS 4416 HAS SOUPS 4326 WITH SCORE 4337.83
AT ITER 4230 NEW BEST:: SOT 15823 SOS 11826 HAS SOPS 11736 HAS SOUS 4408 HAS SOUPS 4318 WITH SCORE 4329.826
AT ITER 4313 NEW BEST:: SOT 15829 SOS 11826 HAS SOPS 11736 HAS SOUS 4406 HAS SOUPS 4316 WITH SCORE 4327.826
AT ITER 4390 NEW BEST:: SOT 15834 SOS 11831 HAS SOPS 11741 HAS SOUS 4401 HAS SOUPS 4311 WITH SCORE 4322.831
AT ITER 4392 NEW BEST:: SOT 15830 SOS 11827 HAS SOPS 11737 HAS SOUS 4393 HAS SOUPS 4303 WITH SCORE 4314.827
AT ITER 4393 NEW BEST:: SOT 15829 SOS 11829 HAS SOPS 11739 HAS SOUS 4391 HAS SOUPS 4301 WITH SCORE 4312.829
AT ITER 4424 NEW BEST:: SOT 15825 SOS 11825 HAS SOPS 11735 HAS SOUS 4389 HAS SOUPS 4299 WITH SCORE 4310.825
AT ITER 4438 NEW BEST:: SOT 15817 SOS 11817 HAS SOPS 11727 HAS SOUS 4373 HAS SOUPS 4283 WITH SCORE 4294.817
AT ITER 4447 NEW BEST:: SOT 15819 SOS 11813 HAS SOPS 11723 HAS SOUS 4369 HAS SOUPS 4279 WITH SCORE 4290.813
AT ITER 4509 NEW BEST:: SOT 15819 SOS 11741 HAS SOPS 11651 HAS SOUS 4369 HAS SOUPS 4279 WITH SCORE 4290.741
AT ITER 4616 NEW BEST:: SOT 15781 SOS 11703 HAS SOPS 11613 HAS SOUS 4353 HAS SOUPS 4263 WITH SCORE 4274.703
AT ITER 4776 NEW BEST:: SOT 15780 SOS 11702 HAS SOPS 11612 HAS SOUS 4352 HAS SOUPS 4262 WITH SCORE 4273.702
AT ITER 4909 NEW BEST:: SOT 15777 SOS 11699 HAS SOPS 11609 HAS SOUS 4351 HAS SOUPS 4261 WITH SCORE 4272.699
AT ITER 4961 NEW BEST:: SOT 15775 SOS 11697 HAS SOPS 11607 HAS SOUS 4347 HAS SOUPS 4257 WITH SCORE 4268.697
AT ITER 4994 NEW BEST:: SOT 15779 SOS 11691 HAS SOPS 11601 HAS SOUS 4337 HAS SOUPS 4247 WITH SCORE 4258.691
AT ITER 5083 NEW BEST:: SOT 15777 SOS 11691 HAS SOPS 11601 HAS SOUS 4333 HAS SOUPS 4243 WITH SCORE 4254.691
AT ITER 5109 NEW BEST:: SOT 15756 SOS 11670 HAS SOPS 11580 HAS SOUS 4325 HAS SOUPS 4235 WITH SCORE 4246.67
AT ITER 5123 NEW BEST:: SOT 15745 SOS 11659 HAS SOPS 11569 HAS SOUS 4303 HAS SOUPS 4213 WITH SCORE 4224.659
AT ITER 5159 NEW BEST:: SOT 15733 SOS 11732 HAS SOPS 11642 HAS SOUS 4288 HAS SOUPS 4198 WITH SCORE 4209.732
AT ITER 5194 NEW BEST:: SOT 15734 SOS 11730 HAS SOPS 11640 HAS SOUS 4284 HAS SOUPS 4194 WITH SCORE 4205.73
AT ITER 5236 NEW BEST:: SOT 15734 SOS 11729 HAS SOPS 11639 HAS SOUS 4284 HAS SOUPS 4194 WITH SCORE 4205.729
AT ITER 5256 NEW BEST:: SOT 15734 SOS 11727 HAS SOPS 11637 HAS SOUS 4284 HAS SOUPS 4194 WITH SCORE 4205.727
AT ITER 5351 NEW BEST:: SOT 15728 SOS 11725 HAS SOPS 11635 HAS SOUS 4284 HAS SOUPS 4194 WITH SCORE 4205.725
AT ITER 5365 NEW BEST:: SOT 15736 SOS 11727 HAS SOPS 11637 HAS SOUS 4276 HAS SOUPS 4186 WITH SCORE 4197.727
AT ITER 5398 NEW BEST:: SOT 15735 SOS 11726 HAS SOPS 11636 HAS SOUS 4274 HAS SOUPS 4184 WITH SCORE 4195.726
AT ITER 5400 NEW BEST:: SOT 15733 SOS 11724 HAS SOPS 11634 HAS SOUS 4273 HAS SOUPS 4183 WITH SCORE 4194.724
AT ITER 5420 NEW BEST:: SOT 15733 SOS 11724 HAS SOPS 11634 HAS SOUS 4267 HAS SOUPS 4177 WITH SCORE 4188.724
AT ITER 5474 NEW BEST:: SOT 15730 SOS 11801 HAS SOPS 11711 HAS SOUS 4263 HAS SOUPS 4173 WITH SCORE 4184.801
AT ITER 5521 NEW BEST:: SOT 15710 SOS 11781 HAS SOPS 11691 HAS SOUS 4239 HAS SOUPS 4149 WITH SCORE 4160.781
AT ITER 5562 NEW BEST:: SOT 15708 SOS 11779 HAS SOPS 11689 HAS SOUS 4235 HAS SOUPS 4145 WITH SCORE 4156.779
AT ITER 5676 NEW BEST:: SOT 15704 SOS 11775 HAS SOPS 11685 HAS SOUS 4227 HAS SOUPS 4137 WITH SCORE 4148.775
AT ITER 5720 NEW BEST:: SOT 15707 SOS 11773 HAS SOPS 11683 HAS SOUS 4218 HAS SOUPS 4128 WITH SCORE 4139.773
AT ITER 5725 NEW BEST:: SOT 15701 SOS 11771 HAS SOPS 11681 HAS SOUS 4211 HAS SOUPS 4121 WITH SCORE 4132.771
AT ITER 5818 NEW BEST:: SOT 15699 SOS 11801 HAS SOPS 11711 HAS SOUS 4205 HAS SOUPS 4115 WITH SCORE 4126.801
AT ITER 5885 NEW BEST:: SOT 15691 SOS 11795 HAS SOPS 11705 HAS SOUS 4201 HAS SOUPS 4111 WITH SCORE 4122.795
AT ITER 6043 NEW BEST:: SOT 15688 SOS 11792 HAS SOPS 11702 HAS SOUS 4195 HAS SOUPS 4105 WITH SCORE 4116.792
AT ITER 6194 NEW BEST:: SOT 15688 SOS 11764 HAS SOPS 11674 HAS SOUS 4195 HAS SOUPS 4105 WITH SCORE 4116.764
AT ITER 6264 NEW BEST:: SOT 15687 SOS 11770 HAS SOPS 11680 HAS SOUS 4193 HAS SOUPS 4103 WITH SCORE 4114.77
AT ITER 6373 NEW BEST:: SOT 15677 SOS 11760 HAS SOPS 11670 HAS SOUS 4173 HAS SOUPS 4083 WITH SCORE 4094.76
AT ITER 6501 NEW BEST:: SOT 15676 SOS 11759 HAS SOPS 11669 HAS SOUS 4173 HAS SOUPS 4083 WITH SCORE 4094.759
AT ITER 6676 NEW BEST:: SOT 15668 SOS 11751 HAS SOPS 11661 HAS SOUS 4157 HAS SOUPS 4067 WITH SCORE 4078.751
AT ITER 6702 NEW BEST:: SOT 15668 SOS 11751 HAS SOPS 11661 HAS SOUS 4147 HAS SOUPS 4057 WITH SCORE 4068.751
AT ITER 6706 NEW BEST:: SOT 15660 SOS 11748 HAS SOPS 11658 HAS SOUS 4146 HAS SOUPS 4056 WITH SCORE 4067.748
AT ITER 6714 NEW BEST:: SOT 15661 SOS 11731 HAS SOPS 11641 HAS SOUS 4146 HAS SOUPS 4056 WITH SCORE 4067.731
AT ITER 7004 NEW BEST:: SOT 15658 SOS 11728 HAS SOPS 11638 HAS SOUS 4144 HAS SOUPS 4054 WITH SCORE 4065.728
AT ITER 7050 NEW BEST:: SOT 15650 SOS 11720 HAS SOPS 11630 HAS SOUS 4128 HAS SOUPS 4038 WITH SCORE 4049.72
AT ITER 7084 NEW BEST:: SOT 15649 SOS 11728 HAS SOPS 11638 HAS SOUS 4126 HAS SOUPS 4036 WITH SCORE 4047.728
AT ITER 7150 NEW BEST:: SOT 15663 SOS 11738 HAS SOPS 11648 HAS SOUS 4125 HAS SOUPS 4035 WITH SCORE 4046.738
AT ITER 7193 NEW BEST:: SOT 15657 SOS 11732 HAS SOPS 11642 HAS SOUS 4113 HAS SOUPS 4023 WITH SCORE 4034.732
AT ITER 7304 NEW BEST:: SOT 15657 SOS 11732 HAS SOPS 11642 HAS SOUS 4109 HAS SOUPS 4019 WITH SCORE 4030.732
AT ITER 7444 NEW BEST:: SOT 15651 SOS 11726 HAS SOPS 11636 HAS SOUS 4097 HAS SOUPS 4007 WITH SCORE 4018.726
AT ITER 7494 NEW BEST:: SOT 15651 SOS 11710 HAS SOPS 11620 HAS SOUS 4097 HAS SOUPS 4007 WITH SCORE 4018.71
AT ITER 7495 NEW BEST:: SOT 15609 SOS 11684 HAS SOPS 11594 HAS SOUS 4095 HAS SOUPS 4005 WITH SCORE 4016.684
AT ITER 7511 NEW BEST:: SOT 15606 SOS 11717 HAS SOPS 11627 HAS SOUS 4091 HAS SOUPS 4001 WITH SCORE 4012.717
AT ITER 7950 NEW BEST:: SOT 15605 SOS 11713 HAS SOPS 11623 HAS SOUS 4080 HAS SOUPS 3990 WITH SCORE 4001.713
AT ITER 7953 NEW BEST:: SOT 15590 SOS 11706 HAS SOPS 11616 HAS SOUS 4077 HAS SOUPS 3987 WITH SCORE 3998.706
AT ITER 7989 NEW BEST:: SOT 15584 SOS 11820 HAS SOPS 11730 HAS SOUS 4055 HAS SOUPS 3965 WITH SCORE 3976.82
AT ITER 8098 NEW BEST:: SOT 15582 SOS 11818 HAS SOPS 11728 HAS SOUS 4051 HAS SOUPS 3961 WITH SCORE 3972.818
AT ITER 8105 NEW BEST:: SOT 15608 SOS 11840 HAS SOPS 11754 HAS SOUS 4035 HAS SOUPS 3949 WITH SCORE 3960.84
AT ITER 8156 NEW BEST:: SOT 15608 SOS 11840 HAS SOPS 11754 HAS SOUS 4031 HAS SOUPS 3945 WITH SCORE 3956.84
AT ITER 8327 NEW BEST:: SOT 15610 SOS 11842 HAS SOPS 11756 HAS SOUS 4029 HAS SOUPS 3943 WITH SCORE 3954.842
AT ITER 8405 NEW BEST:: SOT 15610 SOS 11842 HAS SOPS 11756 HAS SOUS 4028 HAS SOUPS 3942 WITH SCORE 3953.842
AT ITER 8473 NEW BEST:: SOT 15608 SOS 11840 HAS SOPS 11754 HAS SOUS 4024 HAS SOUPS 3938 WITH SCORE 3949.84
AT ITER 8653 NEW BEST:: SOT 15601 SOS 11834 HAS SOPS 11748 HAS SOUS 4022 HAS SOUPS 3936 WITH SCORE 3947.834
AT ITER 8690 NEW BEST:: SOT 15597 SOS 11830 HAS SOPS 11744 HAS SOUS 4014 HAS SOUPS 3928 WITH SCORE 3939.83
AT ITER 9187 NEW BEST:: SOT 15597 SOS 11828 HAS SOPS 11742 HAS SOUS 4014 HAS SOUPS 3928 WITH SCORE 3939.828
AT ITER 9305 NEW BEST:: SOT 15593 SOS 11824 HAS SOPS 11738 HAS SOUS 4006 HAS SOUPS 3920 WITH SCORE 3931.824
AT ITER 9542 NEW BEST:: SOT 15589 SOS 11820 HAS SOPS 11734 HAS SOUS 3998 HAS SOUPS 3912 WITH SCORE 3923.82
AT ITER 9609 NEW BEST:: SOT 15581 SOS 11812 HAS SOPS 11726 HAS SOUS 3982 HAS SOUPS 3896 WITH SCORE 3907.812
AT ITER 9868 NEW BEST:: SOT 15582 SOS 11785 HAS SOPS 11699 HAS SOUS 3982 HAS SOUPS 3896 WITH SCORE 3907.785
AT ITER 9876 NEW BEST:: SOT 15581 SOS 11793 HAS SOPS 11707 HAS SOUS 3980 HAS SOUPS 3894 WITH SCORE 3905.793
AT ITER 9920 NEW BEST:: SOT 15561 SOS 11779 HAS SOPS 11697 HAS SOUS 3974 HAS SOUPS 3892 WITH SCORE 3903.779
AT ITER 9931 NEW BEST:: SOT 15553 SOS 11772 HAS SOPS 11689 HAS SOUS 3975 HAS SOUPS 3892 WITH SCORE 3903.772
AT ITER 9963 NEW BEST:: SOT 15550 SOS 11769 HAS SOPS 11686 HAS SOUS 3974 HAS SOUPS 3891 WITH SCORE 3902.769
AT ITER 9994 NEW BEST:: SOT 15546 SOS 11765 HAS SOPS 11682 HAS SOUS 3970 HAS SOUPS 3887 WITH SCORE 3898.765
STATE_SPACE STATES 1830519 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19486170 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679996042398

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

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="SharedMemory-COL-000010"
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 SharedMemory-COL-000010, 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 r355-smll-167891803800560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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