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.r195-smll-167840342100200.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 GlobalResAllocation-COL-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342100200
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 29K 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 1678480074354

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=GlobalResAllocation-COL-09
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 20:27:58] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 20:27:58] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 20:27:58] [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-10 20:27:59] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 20:28:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1266 ms
[2023-03-10 20:28:00] [INFO ] Imported 5 HL places and 7 HL transitions for a total of 207 PT places and 1003437.0 transition bindings in 43 ms.
[2023-03-10 20:28:15] [INFO ] Unfolded HLPN to a Petri net with 207 places and 1003437 transitions 9334944 arcs in 15530 ms.
[2023-03-10 20:28:15] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 935901 transitions
Reduce isomorphic transitions removed 935901 transitions.
Reduce isomorphic (modulo) transitions removed 324 transitions.
[2023-03-10 20:29:12] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 207 places, 67374 transitions and 583461 arcs took 577 ms.
Total runtime 73993 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GlobalResAllocation (COL), instance 09
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: 207 places, 67374 transitions, 583461 arcs.
AT ITER 0 NEW BEST:: SOT 12441863 SOS 10947239 HAS SOPS 10947239 HAS SOUS 5138880 HAS SOUPS 5138880 WITH SCORE 5149827.239
AT ITER 4 NEW BEST:: SOT 12441863 SOS 10947239 HAS SOPS 10947239 HAS SOUS 5133161 HAS SOUPS 5133161 WITH SCORE 5144108.239
AT ITER 7 NEW BEST:: SOT 12441863 SOS 10947239 HAS SOPS 10947239 HAS SOUS 5047251 HAS SOUPS 5047251 WITH SCORE 5058198.239
AT ITER 8 NEW BEST:: SOT 12451686 SOS 11144137 HAS SOPS 11144137 HAS SOUS 4947618 HAS SOUPS 4947618 WITH SCORE 4958762.137
AT ITER 9 NEW BEST:: SOT 12451686 SOS 11144137 HAS SOPS 11144137 HAS SOUS 4841107 HAS SOUPS 4841107 WITH SCORE 4852251.137
AT ITER 10 NEW BEST:: SOT 12403390 SOS 11229505 HAS SOPS 11229505 HAS SOUS 4827122 HAS SOUPS 4827122 WITH SCORE 4838351.505
AT ITER 12 NEW BEST:: SOT 12403390 SOS 11229505 HAS SOPS 11229505 HAS SOUS 4820302 HAS SOUPS 4820302 WITH SCORE 4831531.505
AT ITER 13 NEW BEST:: SOT 12403390 SOS 11253521 HAS SOPS 11253521 HAS SOUS 4813641 HAS SOUPS 4813641 WITH SCORE 4824894.521
AT ITER 14 NEW BEST:: SOT 12355342 SOS 11307217 HAS SOPS 11307217 HAS SOUS 4812107 HAS SOUPS 4812107 WITH SCORE 4823414.217
AT ITER 15 NEW BEST:: SOT 12354887 SOS 11306762 HAS SOPS 11306762 HAS SOUS 4690351 HAS SOUPS 4690351 WITH SCORE 4701657.762
AT ITER 18 NEW BEST:: SOT 12354611 SOS 11306486 HAS SOPS 11306486 HAS SOUS 4682747 HAS SOUPS 4682747 WITH SCORE 4694053.486
AT ITER 19 NEW BEST:: SOT 12354611 SOS 11306486 HAS SOPS 11306486 HAS SOUS 4677681 HAS SOUPS 4677681 WITH SCORE 4688987.486
AT ITER 21 NEW BEST:: SOT 12354409 SOS 11306284 HAS SOPS 11306284 HAS SOUS 4633832 HAS SOUPS 4633832 WITH SCORE 4645138.284
AT ITER 22 NEW BEST:: SOT 12354409 SOS 11306284 HAS SOPS 11306284 HAS SOUS 4623737 HAS SOUPS 4623737 WITH SCORE 4635043.284
AT ITER 24 NEW BEST:: SOT 12354325 SOS 11306200 HAS SOPS 11306200 HAS SOUS 4620188 HAS SOUPS 4620188 WITH SCORE 4631494.2
AT ITER 25 NEW BEST:: SOT 12354325 SOS 11306200 HAS SOPS 11306200 HAS SOUS 4619060 HAS SOUPS 4619060 WITH SCORE 4630366.2
AT ITER 26 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4590503 HAS SOUPS 4590503 WITH SCORE 4601824.347
AT ITER 28 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4580537 HAS SOUPS 4580537 WITH SCORE 4591858.347
AT ITER 29 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4499836 HAS SOUPS 4499836 WITH SCORE 4511157.347
AT ITER 30 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4493967 HAS SOUPS 4493967 WITH SCORE 4505288.347
AT ITER 34 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4491015 HAS SOUPS 4491015 WITH SCORE 4502336.347
AT ITER 35 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4429928 HAS SOUPS 4429928 WITH SCORE 4441249.347
AT ITER 38 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4370665 HAS SOUPS 4370665 WITH SCORE 4381986.347
AT ITER 43 NEW BEST:: SOT 12350024 SOS 11321347 HAS SOPS 11321347 HAS SOUS 4306707 HAS SOUPS 4306707 WITH SCORE 4318028.347
AT ITER 44 NEW BEST:: SOT 12377647 SOS 11434359 HAS SOPS 11434359 HAS SOUS 4237365 HAS SOUPS 4237365 WITH SCORE 4248799.359
AT ITER 48 NEW BEST:: SOT 12405735 SOS 11516087 HAS SOPS 11516087 HAS SOUS 4225103 HAS SOUPS 4225103 WITH SCORE 4236619.087
AT ITER 49 NEW BEST:: SOT 12362129 SOS 11525070 HAS SOPS 11525070 HAS SOUS 4134418 HAS SOUPS 4134418 WITH SCORE 4145943.07
AT ITER 50 NEW BEST:: SOT 12339388 SOS 11507790 HAS SOPS 11507790 HAS SOUS 4111217 HAS SOUPS 4111217 WITH SCORE 4122724.79
AT ITER 53 NEW BEST:: SOT 12339388 SOS 11507790 HAS SOPS 11507790 HAS SOUS 4100794 HAS SOUPS 4100794 WITH SCORE 4112301.79
AT ITER 55 NEW BEST:: SOT 12339388 SOS 11507790 HAS SOPS 11507790 HAS SOUS 4088878 HAS SOUPS 4088878 WITH SCORE 4100385.79
AT ITER 60 NEW BEST:: SOT 12339353 SOS 11507755 HAS SOPS 11507755 HAS SOUS 4048371 HAS SOUPS 4048371 WITH SCORE 4059878.755
AT ITER 63 NEW BEST:: SOT 12339353 SOS 11507755 HAS SOPS 11507755 HAS SOUS 4034551 HAS SOUPS 4034551 WITH SCORE 4046058.755
AT ITER 64 NEW BEST:: SOT 12339353 SOS 11507755 HAS SOPS 11507755 HAS SOUS 4029382 HAS SOUPS 4029382 WITH SCORE 4040889.755
AT ITER 66 NEW BEST:: SOT 12311752 SOS 11571024 HAS SOPS 11571024 HAS SOUS 3946400 HAS SOUPS 3946400 WITH SCORE 3957971.024
AT ITER 67 NEW BEST:: SOT 12311752 SOS 11571024 HAS SOPS 11571024 HAS SOUS 3939312 HAS SOUPS 3939312 WITH SCORE 3950883.024
AT ITER 68 NEW BEST:: SOT 12311752 SOS 11589180 HAS SOPS 11589180 HAS SOUS 3924707 HAS SOUPS 3924707 WITH SCORE 3936296.18
AT ITER 71 NEW BEST:: SOT 12311535 SOS 11588963 HAS SOPS 11588963 HAS SOUS 3895877 HAS SOUPS 3895877 WITH SCORE 3907465.963
AT ITER 72 NEW BEST:: SOT 12320640 SOS 11551776 HAS SOPS 11551776 HAS SOUS 3792558 HAS SOUPS 3792558 WITH SCORE 3804109.776
AT ITER 74 NEW BEST:: SOT 12320637 SOS 11551770 HAS SOPS 11551770 HAS SOUS 3792552 HAS SOUPS 3792552 WITH SCORE 3804103.77
AT ITER 75 NEW BEST:: SOT 12327527 SOS 11595261 HAS SOPS 11595261 HAS SOUS 3761687 HAS SOUPS 3761687 WITH SCORE 3773282.261
AT ITER 78 NEW BEST:: SOT 12327527 SOS 11595261 HAS SOPS 11595261 HAS SOUS 3759386 HAS SOUPS 3759386 WITH SCORE 3770981.261
AT ITER 80 NEW BEST:: SOT 12327527 SOS 11595261 HAS SOPS 11595261 HAS SOUS 3739515 HAS SOUPS 3739515 WITH SCORE 3751110.261
AT ITER 82 NEW BEST:: SOT 12327322 SOS 11595056 HAS SOPS 11595056 HAS SOUS 3733051 HAS SOUPS 3733051 WITH SCORE 3744646.056
AT ITER 83 NEW BEST:: SOT 12327322 SOS 11595056 HAS SOPS 11595056 HAS SOUS 3668382 HAS SOUPS 3668382 WITH SCORE 3679977.056
AT ITER 84 NEW BEST:: SOT 12327168 SOS 11583527 HAS SOPS 11583527 HAS SOUS 3668207 HAS SOUPS 3668207 WITH SCORE 3679790.527
AT ITER 87 NEW BEST:: SOT 12327168 SOS 11583527 HAS SOPS 11583527 HAS SOUS 3656256 HAS SOUPS 3656256 WITH SCORE 3667839.527
AT ITER 88 NEW BEST:: SOT 12340197 SOS 11667862 HAS SOPS 11667862 HAS SOUS 3576012 HAS SOUPS 3576012 WITH SCORE 3587679.862
AT ITER 89 NEW BEST:: SOT 12340780 SOS 11668445 HAS SOPS 11668445 HAS SOUS 3575074 HAS SOUPS 3575074 WITH SCORE 3586742.445
AT ITER 93 NEW BEST:: SOT 12340780 SOS 11668445 HAS SOPS 11668445 HAS SOUS 3573350 HAS SOUPS 3573350 WITH SCORE 3585018.445
AT ITER 94 NEW BEST:: SOT 12340775 SOS 11616047 HAS SOPS 11616047 HAS SOUS 3573305 HAS SOUPS 3573305 WITH SCORE 3584921.047
AT ITER 105 NEW BEST:: SOT 12340775 SOS 11616047 HAS SOPS 11616047 HAS SOUS 3563545 HAS SOUPS 3563545 WITH SCORE 3575161.047
AT ITER 106 NEW BEST:: SOT 12340775 SOS 11616047 HAS SOPS 11616047 HAS SOUS 3557228 HAS SOUPS 3557228 WITH SCORE 3568844.047
AT ITER 107 NEW BEST:: SOT 12340685 SOS 11615957 HAS SOPS 11615957 HAS SOUS 3535008 HAS SOUPS 3535008 WITH SCORE 3546623.957
AT ITER 111 NEW BEST:: SOT 12340685 SOS 11615957 HAS SOPS 11615957 HAS SOUS 3492445 HAS SOUPS 3492445 WITH SCORE 3504060.957
AT ITER 112 NEW BEST:: SOT 12340685 SOS 11615957 HAS SOPS 11615957 HAS SOUS 3455937 HAS SOUPS 3455937 WITH SCORE 3467552.957
AT ITER 115 NEW BEST:: SOT 12339970 SOS 11615242 HAS SOPS 11615242 HAS SOUS 3455032 HAS SOUPS 3455032 WITH SCORE 3466647.242
AT ITER 116 NEW BEST:: SOT 12329982 SOS 11605254 HAS SOPS 11605254 HAS SOUS 3445044 HAS SOUPS 3445044 WITH SCORE 3456649.254
AT ITER 121 NEW BEST:: SOT 12329982 SOS 11582270 HAS SOPS 11582270 HAS SOUS 3444999 HAS SOUPS 3444999 WITH SCORE 3456581.27
AT ITER 125 NEW BEST:: SOT 12329982 SOS 11582270 HAS SOPS 11582270 HAS SOUS 3435761 HAS SOUPS 3435761 WITH SCORE 3447343.27
AT ITER 129 NEW BEST:: SOT 12329982 SOS 11582270 HAS SOPS 11582270 HAS SOUS 3435074 HAS SOUPS 3435074 WITH SCORE 3446656.27
AT ITER 133 NEW BEST:: SOT 12357522 SOS 11609810 HAS SOPS 11609810 HAS SOUS 3404751 HAS SOUPS 3404751 WITH SCORE 3416360.81
AT ITER 151 NEW BEST:: SOT 12357522 SOS 11609810 HAS SOPS 11609810 HAS SOUS 3394422 HAS SOUPS 3394422 WITH SCORE 3406031.81
AT ITER 152 NEW BEST:: SOT 12372335 SOS 11677541 HAS SOPS 11677541 HAS SOUS 3377429 HAS SOUPS 3377429 WITH SCORE 3389106.541
AT ITER 157 NEW BEST:: SOT 12372335 SOS 11677541 HAS SOPS 11677541 HAS SOUS 3365392 HAS SOUPS 3365392 WITH SCORE 3377069.541
AT ITER 160 NEW BEST:: SOT 12381440 SOS 11661400 HAS SOPS 11661400 HAS SOUS 3349077 HAS SOUPS 3349077 WITH SCORE 3360738.4
AT ITER 162 NEW BEST:: SOT 12381440 SOS 11661400 HAS SOPS 11661400 HAS SOUS 3339667 HAS SOUPS 3339667 WITH SCORE 3351328.4
AT ITER 163 NEW BEST:: SOT 12352083 SOS 11632043 HAS SOPS 11632043 HAS SOUS 3304922 HAS SOUPS 3304922 WITH SCORE 3316554.043
AT ITER 168 NEW BEST:: SOT 12352083 SOS 11632043 HAS SOPS 11632043 HAS SOUS 3304330 HAS SOUPS 3304330 WITH SCORE 3315962.043
AT ITER 172 NEW BEST:: SOT 12352083 SOS 11632043 HAS SOPS 11632043 HAS SOUS 3282536 HAS SOUPS 3282536 WITH SCORE 3294168.043
AT ITER 174 NEW BEST:: SOT 12351874 SOS 11631834 HAS SOPS 11631834 HAS SOUS 3276577 HAS SOUPS 3276577 WITH SCORE 3288208.834
AT ITER 175 NEW BEST:: SOT 12351874 SOS 11631834 HAS SOPS 11631834 HAS SOUS 3272877 HAS SOUPS 3272877 WITH SCORE 3284508.834
AT ITER 177 NEW BEST:: SOT 12367228 SOS 11691334 HAS SOPS 11691334 HAS SOUS 3259644 HAS SOUPS 3259644 WITH SCORE 3271335.334
AT ITER 181 NEW BEST:: SOT 12367228 SOS 11691334 HAS SOPS 11691334 HAS SOUS 3256802 HAS SOUPS 3256802 WITH SCORE 3268493.334
AT ITER 182 NEW BEST:: SOT 12366622 SOS 11690728 HAS SOPS 11690728 HAS SOUS 3220831 HAS SOUPS 3220831 WITH SCORE 3232521.728
AT ITER 183 NEW BEST:: SOT 12306001 SOS 11630107 HAS SOPS 11630107 HAS SOUS 3172529 HAS SOUPS 3172529 WITH SCORE 3184159.107
AT ITER 186 NEW BEST:: SOT 12306001 SOS 11630107 HAS SOPS 11630107 HAS SOUS 3158950 HAS SOUPS 3158950 WITH SCORE 3170580.107
AT ITER 188 NEW BEST:: SOT 12305940 SOS 11630046 HAS SOPS 11630046 HAS SOUS 3158195 HAS SOUPS 3158195 WITH SCORE 3169825.046
AT ITER 191 NEW BEST:: SOT 12305685 SOS 11629791 HAS SOPS 11629791 HAS SOUS 3148285 HAS SOUPS 3148285 WITH SCORE 3159914.791
AT ITER 194 NEW BEST:: SOT 12305685 SOS 11629791 HAS SOPS 11629791 HAS SOUS 3131773 HAS SOUPS 3131773 WITH SCORE 3143402.791
AT ITER 195 NEW BEST:: SOT 12244994 SOS 11569100 HAS SOPS 11569100 HAS SOUS 3105547 HAS SOUPS 3105547 WITH SCORE 3117116.1
AT ITER 198 NEW BEST:: SOT 12244994 SOS 11569100 HAS SOPS 11569100 HAS SOUS 3102063 HAS SOUPS 3102063 WITH SCORE 3113632.1
AT ITER 200 NEW BEST:: SOT 12244753 SOS 11568859 HAS SOPS 11568859 HAS SOUS 3099329 HAS SOUPS 3099329 WITH SCORE 3110897.859
AT ITER 201 NEW BEST:: SOT 12244021 SOS 11568127 HAS SOPS 11568127 HAS SOUS 3081408 HAS SOUPS 3081408 WITH SCORE 3092976.127
AT ITER 202 NEW BEST:: SOT 12244021 SOS 11546952 HAS SOPS 11546952 HAS SOUS 3081072 HAS SOUPS 3081072 WITH SCORE 3092618.952
AT ITER 203 NEW BEST:: SOT 12264285 SOS 11583112 HAS SOPS 11583112 HAS SOUS 3054127 HAS SOUPS 3054127 WITH SCORE 3065710.112
AT ITER 204 NEW BEST:: SOT 12264285 SOS 11583112 HAS SOPS 11583112 HAS SOUS 3053915 HAS SOUPS 3053915 WITH SCORE 3065498.112
AT ITER 209 NEW BEST:: SOT 12268613 SOS 11587440 HAS SOPS 11587440 HAS SOUS 3053246 HAS SOUPS 3053246 WITH SCORE 3064833.44
AT ITER 210 NEW BEST:: SOT 12268613 SOS 11587440 HAS SOPS 11587440 HAS SOUS 3050125 HAS SOUPS 3050125 WITH SCORE 3061712.44
AT ITER 220 NEW BEST:: SOT 12268613 SOS 11587440 HAS SOPS 11587440 HAS SOUS 3050019 HAS SOUPS 3050019 WITH SCORE 3061606.44
AT ITER 223 NEW BEST:: SOT 12268613 SOS 11587440 HAS SOPS 11587440 HAS SOUS 3045619 HAS SOUPS 3045619 WITH SCORE 3057206.44
AT ITER 224 NEW BEST:: SOT 12268613 SOS 11587440 HAS SOPS 11587440 HAS SOUS 3045351 HAS SOUPS 3045351 WITH SCORE 3056938.44
AT ITER 235 NEW BEST:: SOT 12268613 SOS 11587440 HAS SOPS 11587440 HAS SOUS 3045266 HAS SOUPS 3045266 WITH SCORE 3056853.44
AT ITER 236 NEW BEST:: SOT 12269008 SOS 11557596 HAS SOPS 11557596 HAS SOUS 3039617 HAS SOUPS 3039617 WITH SCORE 3051174.596
AT ITER 240 NEW BEST:: SOT 12268817 SOS 11557405 HAS SOPS 11557405 HAS SOUS 3036505 HAS SOUPS 3036505 WITH SCORE 3048062.405
AT ITER 242 NEW BEST:: SOT 12268817 SOS 11557405 HAS SOPS 11557405 HAS SOUS 3034222 HAS SOUPS 3034222 WITH SCORE 3045779.405
AT ITER 245 NEW BEST:: SOT 12268817 SOS 11557405 HAS SOPS 11557405 HAS SOUS 3014882 HAS SOUPS 3014882 WITH SCORE 3026439.405
AT ITER 247 NEW BEST:: SOT 12268909 SOS 11557497 HAS SOPS 11557497 HAS SOUS 3013756 HAS SOUPS 3013756 WITH SCORE 3025313.497
AT ITER 250 NEW BEST:: SOT 12268909 SOS 11557497 HAS SOPS 11557497 HAS SOUS 3012496 HAS SOUPS 3012496 WITH SCORE 3024053.497
AT ITER 251 NEW BEST:: SOT 12268909 SOS 11557497 HAS SOPS 11557497 HAS SOUS 3006893 HAS SOUPS 3006893 WITH SCORE 3018450.497
AT ITER 253 NEW BEST:: SOT 12268909 SOS 11557497 HAS SOPS 11557497 HAS SOUS 3003730 HAS SOUPS 3003730 WITH SCORE 3015287.497
AT ITER 255 NEW BEST:: SOT 12286118 SOS 11574706 HAS SOPS 11574706 HAS SOUS 2968816 HAS SOUPS 2968816 WITH SCORE 2980390.706
AT ITER 262 NEW BEST:: SOT 12286118 SOS 11574706 HAS SOPS 11574706 HAS SOUS 2968489 HAS SOUPS 2968489 WITH SCORE 2980063.706
AT ITER 266 NEW BEST:: SOT 12286118 SOS 11574536 HAS SOPS 11574536 HAS SOUS 2968485 HAS SOUPS 2968485 WITH SCORE 2980059.536
AT ITER 267 NEW BEST:: SOT 12289705 SOS 11557731 HAS SOPS 11557731 HAS SOUS 2941653 HAS SOUPS 2941653 WITH SCORE 2953210.731
AT ITER 268 NEW BEST:: SOT 12289580 SOS 11557606 HAS SOPS 11557606 HAS SOUS 2932131 HAS SOUPS 2932131 WITH SCORE 2943688.606
AT ITER 269 NEW BEST:: SOT 12289580 SOS 11557606 HAS SOPS 11557606 HAS SOUS 2927978 HAS SOUPS 2927978 WITH SCORE 2939535.606
AT ITER 270 NEW BEST:: SOT 12289444 SOS 11557470 HAS SOPS 11557470 HAS SOUS 2923616 HAS SOUPS 2923616 WITH SCORE 2935173.47
AT ITER 271 NEW BEST:: SOT 12286534 SOS 11554560 HAS SOPS 11554560 HAS SOUS 2920706 HAS SOUPS 2920706 WITH SCORE 2932260.56
AT ITER 284 NEW BEST:: SOT 12286534 SOS 11554560 HAS SOPS 11554560 HAS SOUS 2919791 HAS SOUPS 2919791 WITH SCORE 2931345.56
AT ITER 286 NEW BEST:: SOT 12286534 SOS 11554560 HAS SOPS 11554560 HAS SOUS 2919396 HAS SOUPS 2919396 WITH SCORE 2930950.56
AT ITER 289 NEW BEST:: SOT 12286534 SOS 11554560 HAS SOPS 11554560 HAS SOUS 2918720 HAS SOUPS 2918720 WITH SCORE 2930274.56
AT ITER 290 NEW BEST:: SOT 12285147 SOS 11553173 HAS SOPS 11553173 HAS SOUS 2901559 HAS SOUPS 2901559 WITH SCORE 2913112.173
AT ITER 305 NEW BEST:: SOT 12285147 SOS 11553173 HAS SOPS 11553173 HAS SOUS 2900487 HAS SOUPS 2900487 WITH SCORE 2912040.173
AT ITER 310 NEW BEST:: SOT 12285147 SOS 11553173 HAS SOPS 11553173 HAS SOUS 2899592 HAS SOUPS 2899592 WITH SCORE 2911145.173
AT ITER 311 NEW BEST:: SOT 12285097 SOS 11553123 HAS SOPS 11553123 HAS SOUS 2895792 HAS SOUPS 2895792 WITH SCORE 2907345.123
AT ITER 318 NEW BEST:: SOT 12285097 SOS 11553123 HAS SOPS 11553123 HAS SOUS 2887385 HAS SOUPS 2887385 WITH SCORE 2898938.123
AT ITER 327 NEW BEST:: SOT 12284904 SOS 11552930 HAS SOPS 11552930 HAS SOUS 2879965 HAS SOUPS 2879965 WITH SCORE 2891517.93
AT ITER 330 NEW BEST:: SOT 12284904 SOS 11552930 HAS SOPS 11552930 HAS SOUS 2879828 HAS SOUPS 2879828 WITH SCORE 2891380.93
AT ITER 335 NEW BEST:: SOT 12284637 SOS 11552663 HAS SOPS 11552663 HAS SOUS 2877205 HAS SOUPS 2877205 WITH SCORE 2888757.663
AT ITER 337 NEW BEST:: SOT 12284637 SOS 11552663 HAS SOPS 11552663 HAS SOUS 2876477 HAS SOUPS 2876477 WITH SCORE 2888029.663
AT ITER 344 NEW BEST:: SOT 12284637 SOS 11552663 HAS SOPS 11552663 HAS SOUS 2876404 HAS SOUPS 2876404 WITH SCORE 2887956.663
AT ITER 353 NEW BEST:: SOT 12283299 SOS 11551325 HAS SOPS 11551325 HAS SOUS 2868418 HAS SOUPS 2868418 WITH SCORE 2879969.325
AT ITER 359 NEW BEST:: SOT 12283299 SOS 11551325 HAS SOPS 11551325 HAS SOUS 2858506 HAS SOUPS 2858506 WITH SCORE 2870057.325
AT ITER 360 NEW BEST:: SOT 12299177 SOS 11600695 HAS SOPS 11600695 HAS SOUS 2821324 HAS SOUPS 2821324 WITH SCORE 2832924.695
AT ITER 370 NEW BEST:: SOT 12299177 SOS 11600695 HAS SOPS 11600695 HAS SOUS 2821292 HAS SOUPS 2821292 WITH SCORE 2832892.695
AT ITER 371 NEW BEST:: SOT 12298274 SOS 11599792 HAS SOPS 11599792 HAS SOUS 2810539 HAS SOUPS 2810539 WITH SCORE 2822138.792
AT ITER 372 NEW BEST:: SOT 12285969 SOS 11587487 HAS SOPS 11587487 HAS SOUS 2804969 HAS SOUPS 2804969 WITH SCORE 2816556.487
AT ITER 374 NEW BEST:: SOT 12285969 SOS 11587487 HAS SOPS 11587487 HAS SOUS 2803798 HAS SOUPS 2803798 WITH SCORE 2815385.487
AT ITER 377 NEW BEST:: SOT 12285969 SOS 11587487 HAS SOPS 11587487 HAS SOUS 2795261 HAS SOUPS 2795261 WITH SCORE 2806848.487
AT ITER 384 NEW BEST:: SOT 12285605 SOS 11620499 HAS SOPS 11620499 HAS SOUS 2795071 HAS SOUPS 2795071 WITH SCORE 2806691.499
AT ITER 385 NEW BEST:: SOT 12285566 SOS 11620460 HAS SOPS 11620460 HAS SOUS 2792507 HAS SOUPS 2792507 WITH SCORE 2804127.46
AT ITER 389 NEW BEST:: SOT 12287016 SOS 11611650 HAS SOPS 11611650 HAS SOUS 2766204 HAS SOUPS 2766204 WITH SCORE 2777815.65
AT ITER 395 NEW BEST:: SOT 12286905 SOS 11611539 HAS SOPS 11611539 HAS SOUS 2759074 HAS SOUPS 2759074 WITH SCORE 2770685.539
AT ITER 396 NEW BEST:: SOT 12286905 SOS 11627239 HAS SOPS 11627239 HAS SOUS 2758265 HAS SOUPS 2758265 WITH SCORE 2769892.239
AT ITER 398 NEW BEST:: SOT 12286905 SOS 11627239 HAS SOPS 11627239 HAS SOUS 2757918 HAS SOUPS 2757918 WITH SCORE 2769545.239
AT ITER 400 NEW BEST:: SOT 12286461 SOS 11626795 HAS SOPS 11626795 HAS SOUS 2757155 HAS SOUPS 2757155 WITH SCORE 2768781.795
AT ITER 411 NEW BEST:: SOT 12286461 SOS 11626795 HAS SOPS 11626795 HAS SOUS 2757032 HAS SOUPS 2757032 WITH SCORE 2768658.795
AT ITER 413 NEW BEST:: SOT 12298057 SOS 11640757 HAS SOPS 11640757 HAS SOUS 2752310 HAS SOUPS 2752310 WITH SCORE 2763950.757
AT ITER 417 NEW BEST:: SOT 12298011 SOS 11640711 HAS SOPS 11640711 HAS SOUS 2751330 HAS SOUPS 2751330 WITH SCORE 2762970.711
AT ITER 418 NEW BEST:: SOT 12276668 SOS 11619368 HAS SOPS 11619368 HAS SOUS 2738021 HAS SOUPS 2738021 WITH SCORE 2749640.368
AT ITER 430 NEW BEST:: SOT 12278350 SOS 11621050 HAS SOPS 11621050 HAS SOUS 2734857 HAS SOUPS 2734857 WITH SCORE 2746478.05
AT ITER 432 NEW BEST:: SOT 12278201 SOS 11620901 HAS SOPS 11620901 HAS SOUS 2720615 HAS SOUPS 2720615 WITH SCORE 2732235.901
AT ITER 439 NEW BEST:: SOT 12276302 SOS 11619002 HAS SOPS 11619002 HAS SOUS 2717480 HAS SOUPS 2717480 WITH SCORE 2729099.002
AT ITER 443 NEW BEST:: SOT 12276302 SOS 11619002 HAS SOPS 11619002 HAS SOUS 2717275 HAS SOUPS 2717275 WITH SCORE 2728894.002
AT ITER 448 NEW BEST:: SOT 12276302 SOS 11619002 HAS SOPS 11619002 HAS SOUS 2717188 HAS SOUPS 2717188 WITH SCORE 2728807.002
AT ITER 450 NEW BEST:: SOT 12271661 SOS 11614361 HAS SOPS 11614361 HAS SOUS 2701138 HAS SOUPS 2701138 WITH SCORE 2712752.361
AT ITER 462 NEW BEST:: SOT 12271661 SOS 11614361 HAS SOPS 11614361 HAS SOUS 2700512 HAS SOUPS 2700512 WITH SCORE 2712126.361
AT ITER 467 NEW BEST:: SOT 12271661 SOS 11614361 HAS SOPS 11614361 HAS SOUS 2699412 HAS SOUPS 2699412 WITH SCORE 2711026.361
AT ITER 478 NEW BEST:: SOT 12271661 SOS 11614361 HAS SOPS 11614361 HAS SOUS 2699388 HAS SOUPS 2699388 WITH SCORE 2711002.361
AT ITER 485 NEW BEST:: SOT 12271661 SOS 11599235 HAS SOPS 11599235 HAS SOUS 2698877 HAS SOUPS 2698877 WITH SCORE 2710476.235
AT ITER 496 NEW BEST:: SOT 12271661 SOS 11599235 HAS SOPS 11599235 HAS SOUS 2697123 HAS SOUPS 2697123 WITH SCORE 2708722.235
AT ITER 499 NEW BEST:: SOT 12271661 SOS 11600204 HAS SOPS 11600204 HAS SOUS 2697107 HAS SOUPS 2697107 WITH SCORE 2708707.204
AT ITER 503 NEW BEST:: SOT 12271541 SOS 11600084 HAS SOPS 11600084 HAS SOUS 2693337 HAS SOUPS 2693337 WITH SCORE 2704937.084
AT ITER 516 NEW BEST:: SOT 12271541 SOS 11600084 HAS SOPS 11600084 HAS SOUS 2693247 HAS SOUPS 2693247 WITH SCORE 2704847.084
AT ITER 520 NEW BEST:: SOT 12271541 SOS 11610804 HAS SOPS 11610804 HAS SOUS 2692735 HAS SOUPS 2692735 WITH SCORE 2704345.804
AT ITER 529 NEW BEST:: SOT 12271532 SOS 11566229 HAS SOPS 11566229 HAS SOUS 2692687 HAS SOUPS 2692687 WITH SCORE 2704253.229
AT ITER 531 NEW BEST:: SOT 12271512 SOS 11566209 HAS SOPS 11566209 HAS SOUS 2691807 HAS SOUPS 2691807 WITH SCORE 2703373.209
AT ITER 535 NEW BEST:: SOT 12271512 SOS 11559349 HAS SOPS 11559349 HAS SOUS 2691798 HAS SOUPS 2691798 WITH SCORE 2703357.349
AT ITER 536 NEW BEST:: SOT 12271473 SOS 11559310 HAS SOPS 11559310 HAS SOUS 2691186 HAS SOUPS 2691186 WITH SCORE 2702745.31
AT ITER 567 NEW BEST:: SOT 12266541 SOS 11554378 HAS SOPS 11554378 HAS SOUS 2679248 HAS SOUPS 2679248 WITH SCORE 2690802.378
AT ITER 570 NEW BEST:: SOT 12266541 SOS 11554378 HAS SOPS 11554378 HAS SOUS 2676475 HAS SOUPS 2676475 WITH SCORE 2688029.378
AT ITER 572 NEW BEST:: SOT 12266531 SOS 11554368 HAS SOPS 11554368 HAS SOUS 2676073 HAS SOUPS 2676073 WITH SCORE 2687627.368
AT ITER 574 NEW BEST:: SOT 12266446 SOS 11554283 HAS SOPS 11554283 HAS SOUS 2671893 HAS SOUPS 2671893 WITH SCORE 2683447.283
AT ITER 577 NEW BEST:: SOT 12266446 SOS 11554283 HAS SOPS 11554283 HAS SOUS 2671042 HAS SOUPS 2671042 WITH SCORE 2682596.283
AT ITER 587 NEW BEST:: SOT 12240697 SOS 11526294 HAS SOPS 11526294 HAS SOUS 2667656 HAS SOUPS 2667656 WITH SCORE 2679182.294
AT ITER 602 NEW BEST:: SOT 12240697 SOS 11498682 HAS SOPS 11498682 HAS SOUS 2667630 HAS SOUPS 2667630 WITH SCORE 2679128.682
AT ITER 606 NEW BEST:: SOT 12240697 SOS 11498682 HAS SOPS 11498682 HAS SOUS 2665643 HAS SOUPS 2665643 WITH SCORE 2677141.682
AT ITER 609 NEW BEST:: SOT 12241767 SOS 11499752 HAS SOPS 11499752 HAS SOUS 2665366 HAS SOUPS 2665366 WITH SCORE 2676865.752
AT ITER 618 NEW BEST:: SOT 12241767 SOS 11527184 HAS SOPS 11527184 HAS SOUS 2665310 HAS SOUPS 2665310 WITH SCORE 2676837.184
AT ITER 620 NEW BEST:: SOT 12241767 SOS 11543609 HAS SOPS 11543609 HAS SOUS 2663930 HAS SOUPS 2663930 WITH SCORE 2675473.609
AT ITER 621 NEW BEST:: SOT 12241767 SOS 11543609 HAS SOPS 11543609 HAS SOUS 2663215 HAS SOUPS 2663215 WITH SCORE 2674758.609
AT ITER 630 NEW BEST:: SOT 12239446 SOS 11541288 HAS SOPS 11541288 HAS SOUS 2662981 HAS SOUPS 2662981 WITH SCORE 2674522.288
AT ITER 636 NEW BEST:: SOT 12229721 SOS 11531563 HAS SOPS 11531563 HAS SOUS 2654703 HAS SOUPS 2654703 WITH SCORE 2666234.563
AT ITER 638 NEW BEST:: SOT 12229721 SOS 11531563 HAS SOPS 11531563 HAS SOUS 2652228 HAS SOUPS 2652228 WITH SCORE 2663759.563
AT ITER 642 NEW BEST:: SOT 12229721 SOS 11531563 HAS SOPS 11531563 HAS SOUS 2650003 HAS SOUPS 2650003 WITH SCORE 2661534.563
AT ITER 654 NEW BEST:: SOT 12231529 SOS 11533371 HAS SOPS 11533371 HAS SOUS 2641942 HAS SOUPS 2641942 WITH SCORE 2653475.371
AT ITER 668 NEW BEST:: SOT 12231529 SOS 11533371 HAS SOPS 11533371 HAS SOUS 2641092 HAS SOUPS 2641092 WITH SCORE 2652625.371
AT ITER 679 NEW BEST:: SOT 12248290 SOS 11550132 HAS SOPS 11550132 HAS SOUS 2640251 HAS SOUPS 2640251 WITH SCORE 2651801.132
AT ITER 683 NEW BEST:: SOT 12248281 SOS 11570598 HAS SOPS 11570598 HAS SOUS 2638410 HAS SOUPS 2638410 WITH SCORE 2649980.598
AT ITER 691 NEW BEST:: SOT 12248281 SOS 11570598 HAS SOPS 11570598 HAS SOUS 2635875 HAS SOUPS 2635875 WITH SCORE 2647445.598
AT ITER 694 NEW BEST:: SOT 12248281 SOS 11570598 HAS SOPS 11570598 HAS SOUS 2634571 HAS SOUPS 2634571 WITH SCORE 2646141.598
AT ITER 699 NEW BEST:: SOT 12227852 SOS 11550169 HAS SOPS 11550169 HAS SOUS 2622034 HAS SOUPS 2622034 WITH SCORE 2633584.169
AT ITER 707 NEW BEST:: SOT 12227852 SOS 11533225 HAS SOPS 11533225 HAS SOUS 2621475 HAS SOUPS 2621475 WITH SCORE 2633008.225
AT ITER 718 NEW BEST:: SOT 12227076 SOS 11532449 HAS SOPS 11532449 HAS SOUS 2620699 HAS SOUPS 2620699 WITH SCORE 2632231.449
AT ITER 719 NEW BEST:: SOT 12227076 SOS 11532449 HAS SOPS 11532449 HAS SOUS 2617246 HAS SOUPS 2617246 WITH SCORE 2628778.449
AT ITER 730 NEW BEST:: SOT 12227076 SOS 11532449 HAS SOPS 11532449 HAS SOUS 2617167 HAS SOUPS 2617167 WITH SCORE 2628699.449
AT ITER 767 NEW BEST:: SOT 12220549 SOS 11525922 HAS SOPS 11525922 HAS SOUS 2599098 HAS SOUPS 2599098 WITH SCORE 2610623.922
AT ITER 775 NEW BEST:: SOT 12220549 SOS 11523262 HAS SOPS 11523262 HAS SOUS 2599100 HAS SOUPS 2599100 WITH SCORE 2610623.262
AT ITER 777 NEW BEST:: SOT 12220549 SOS 11523262 HAS SOPS 11523262 HAS SOUS 2598628 HAS SOUPS 2598628 WITH SCORE 2610151.262
AT ITER 781 NEW BEST:: SOT 12220952 SOS 11523665 HAS SOPS 11523665 HAS SOUS 2582350 HAS SOUPS 2582350 WITH SCORE 2593873.665
AT ITER 784 NEW BEST:: SOT 12220717 SOS 11606466 HAS SOPS 11606466 HAS SOUS 2571891 HAS SOUPS 2571891 WITH SCORE 2583497.466
AT ITER 788 NEW BEST:: SOT 12220717 SOS 11606466 HAS SOPS 11606466 HAS SOUS 2567851 HAS SOUPS 2567851 WITH SCORE 2579457.466
AT ITER 796 NEW BEST:: SOT 12220717 SOS 11606466 HAS SOPS 11606466 HAS SOUS 2567597 HAS SOUPS 2567597 WITH SCORE 2579203.466
AT ITER 797 NEW BEST:: SOT 12220040 SOS 11605789 HAS SOPS 11605789 HAS SOUS 2556375 HAS SOUPS 2556375 WITH SCORE 2567980.789
AT ITER 805 NEW BEST:: SOT 12219369 SOS 11605118 HAS SOPS 11605118 HAS SOUS 2555502 HAS SOUPS 2555502 WITH SCORE 2567107.118
AT ITER 821 NEW BEST:: SOT 12219369 SOS 11560214 HAS SOPS 11560214 HAS SOUS 2555472 HAS SOUPS 2555472 WITH SCORE 2567032.214
AT ITER 828 NEW BEST:: SOT 12219369 SOS 11560214 HAS SOPS 11560214 HAS SOUS 2554804 HAS SOUPS 2554804 WITH SCORE 2566364.214
AT ITER 832 NEW BEST:: SOT 12219369 SOS 11567660 HAS SOPS 11567660 HAS SOUS 2554461 HAS SOUPS 2554461 WITH SCORE 2566028.66
AT ITER 833 NEW BEST:: SOT 12219369 SOS 11567660 HAS SOPS 11567660 HAS SOUS 2554263 HAS SOUPS 2554263 WITH SCORE 2565830.66
AT ITER 838 NEW BEST:: SOT 12219379 SOS 11556675 HAS SOPS 11556675 HAS SOUS 2554181 HAS SOUPS 2554181 WITH SCORE 2565737.675
AT ITER 840 NEW BEST:: SOT 12217757 SOS 11555053 HAS SOPS 11555053 HAS SOUS 2540843 HAS SOUPS 2540843 WITH SCORE 2552398.053
AT ITER 845 NEW BEST:: SOT 12209995 SOS 11547291 HAS SOPS 11547291 HAS SOUS 2538991 HAS SOUPS 2538991 WITH SCORE 2550538.291
AT ITER 886 NEW BEST:: SOT 12209995 SOS 11547291 HAS SOPS 11547291 HAS SOUS 2537237 HAS SOUPS 2537237 WITH SCORE 2548784.291
AT ITER 900 NEW BEST:: SOT 12206501 SOS 11543797 HAS SOPS 11543797 HAS SOUS 2508717 HAS SOUPS 2508717 WITH SCORE 2520260.797
AT ITER 902 NEW BEST:: SOT 12197862 SOS 11535158 HAS SOPS 11535158 HAS SOUS 2503402 HAS SOUPS 2503402 WITH SCORE 2514937.158
AT ITER 903 NEW BEST:: SOT 12194134 SOS 11531430 HAS SOPS 11531430 HAS SOUS 2502534 HAS SOUPS 2502534 WITH SCORE 2514065.43
AT ITER 904 NEW BEST:: SOT 12193531 SOS 11530827 HAS SOPS 11530827 HAS SOUS 2489608 HAS SOUPS 2489608 WITH SCORE 2501138.827
AT ITER 923 NEW BEST:: SOT 12190884 SOS 11528180 HAS SOPS 11528180 HAS SOUS 2486279 HAS SOUPS 2486279 WITH SCORE 2497807.18
AT ITER 924 NEW BEST:: SOT 12190884 SOS 11528180 HAS SOPS 11528180 HAS SOUS 2484265 HAS SOUPS 2484265 WITH SCORE 2495793.18
AT ITER 941 NEW BEST:: SOT 12199786 SOS 11537082 HAS SOPS 11537082 HAS SOUS 2477073 HAS SOUPS 2477073 WITH SCORE 2488610.082
AT ITER 958 NEW BEST:: SOT 12191193 SOS 11528489 HAS SOPS 11528489 HAS SOUS 2476389 HAS SOUPS 2476389 WITH SCORE 2487917.489
AT ITER 962 NEW BEST:: SOT 12191193 SOS 11528489 HAS SOPS 11528489 HAS SOUS 2476244 HAS SOUPS 2476244 WITH SCORE 2487772.489
AT ITER 971 NEW BEST:: SOT 12191193 SOS 11528489 HAS SOPS 11528489 HAS SOUS 2475909 HAS SOUPS 2475909 WITH SCORE 2487437.489
AT ITER 985 NEW BEST:: SOT 12191193 SOS 11528489 HAS SOPS 11528489 HAS SOUS 2474855 HAS SOUPS 2474855 WITH SCORE 2486383.489
AT ITER 995 NEW BEST:: SOT 12191033 SOS 11528329 HAS SOPS 11528329 HAS SOUS 2469991 HAS SOUPS 2469991 WITH SCORE 2481519.329
AT ITER 996 NEW BEST:: SOT 12191033 SOS 11528329 HAS SOPS 11528329 HAS SOUS 2469459 HAS SOUPS 2469459 WITH SCORE 2480987.329
AT ITER 1003 NEW BEST:: SOT 12191033 SOS 11528449 HAS SOPS 11528449 HAS SOUS 2469022 HAS SOUPS 2469022 WITH SCORE 2480550.449
AT ITER 1006 NEW BEST:: SOT 12191033 SOS 11591947 HAS SOPS 11591947 HAS SOUS 2467144 HAS SOUPS 2467144 WITH SCORE 2478735.947
AT ITER 1013 NEW BEST:: SOT 12191033 SOS 11591947 HAS SOPS 11591947 HAS SOUS 2466868 HAS SOUPS 2466868 WITH SCORE 2478459.947
AT ITER 1020 NEW BEST:: SOT 12161667 SOS 11562581 HAS SOPS 11562581 HAS SOUS 2455805 HAS SOUPS 2455805 WITH SCORE 2467367.581
AT ITER 1028 NEW BEST:: SOT 12161667 SOS 11562581 HAS SOPS 11562581 HAS SOUS 2455604 HAS SOUPS 2455604 WITH SCORE 2467166.581
AT ITER 1034 NEW BEST:: SOT 12160428 SOS 11561342 HAS SOPS 11561342 HAS SOUS 2454365 HAS SOUPS 2454365 WITH SCORE 2465926.342
AT ITER 1043 NEW BEST:: SOT 12160428 SOS 11561342 HAS SOPS 11561342 HAS SOUS 2451010 HAS SOUPS 2451010 WITH SCORE 2462571.342
AT ITER 1056 NEW BEST:: SOT 12158013 SOS 11558927 HAS SOPS 11558927 HAS SOUS 2442116 HAS SOUPS 2442116 WITH SCORE 2453674.927
AT ITER 1059 NEW BEST:: SOT 12158013 SOS 11558927 HAS SOPS 11558927 HAS SOUS 2440069 HAS SOUPS 2440069 WITH SCORE 2451627.927
AT ITER 1063 NEW BEST:: SOT 12158005 SOS 11558911 HAS SOPS 11558911 HAS SOUS 2440053 HAS SOUPS 2440053 WITH SCORE 2451611.911
AT ITER 1066 NEW BEST:: SOT 12154615 SOS 11555521 HAS SOPS 11555521 HAS SOUS 2436663 HAS SOUPS 2436663 WITH SCORE 2448218.521
AT ITER 1093 NEW BEST:: SOT 12154379 SOS 11555285 HAS SOPS 11555285 HAS SOUS 2435080 HAS SOUPS 2435080 WITH SCORE 2446635.285
AT ITER 1098 NEW BEST:: SOT 12153767 SOS 11554673 HAS SOPS 11554673 HAS SOUS 2432109 HAS SOUPS 2432109 WITH SCORE 2443663.673
AT ITER 1100 NEW BEST:: SOT 12153309 SOS 11554215 HAS SOPS 11554215 HAS SOUS 2429681 HAS SOUPS 2429681 WITH SCORE 2441235.215
AT ITER 1105 NEW BEST:: SOT 12153309 SOS 11554215 HAS SOPS 11554215 HAS SOUS 2429635 HAS SOUPS 2429635 WITH SCORE 2441189.215
AT ITER 1110 NEW BEST:: SOT 12153309 SOS 11554215 HAS SOPS 11554215 HAS SOUS 2428641 HAS SOUPS 2428641 WITH SCORE 2440195.215
AT ITER 1129 NEW BEST:: SOT 12145434 SOS 11546340 HAS SOPS 11546340 HAS SOUS 2424164 HAS SOUPS 2424164 WITH SCORE 2435710.34
AT ITER 1150 NEW BEST:: SOT 12145432 SOS 11546336 HAS SOPS 11546336 HAS SOUS 2424160 HAS SOUPS 2424160 WITH SCORE 2435706.336
AT ITER 1151 NEW BEST:: SOT 12145203 SOS 11546107 HAS SOPS 11546107 HAS SOUS 2415878 HAS SOUPS 2415878 WITH SCORE 2427424.107
AT ITER 1155 NEW BEST:: SOT 12145203 SOS 11546107 HAS SOPS 11546107 HAS SOUS 2415311 HAS SOUPS 2415311 WITH SCORE 2426857.107
AT ITER 1156 NEW BEST:: SOT 12145203 SOS 11546107 HAS SOPS 11546107 HAS SOUS 2414581 HAS SOUPS 2414581 WITH SCORE 2426127.107
AT ITER 1161 NEW BEST:: SOT 12145510 SOS 11546414 HAS SOPS 11546414 HAS SOUS 2411523 HAS SOUPS 2411523 WITH SCORE 2423069.414
AT ITER 1162 NEW BEST:: SOT 12145510 SOS 11546414 HAS SOPS 11546414 HAS SOUS 2410535 HAS SOUPS 2410535 WITH SCORE 2422081.414
AT ITER 1165 NEW BEST:: SOT 12145510 SOS 11546414 HAS SOPS 11546414 HAS SOUS 2409857 HAS SOUPS 2409857 WITH SCORE 2421403.414
AT ITER 1172 NEW BEST:: SOT 12137372 SOS 11538276 HAS SOPS 11538276 HAS SOUS 2408870 HAS SOUPS 2408870 WITH SCORE 2420408.276
AT ITER 1175 NEW BEST:: SOT 12137372 SOS 11538276 HAS SOPS 11538276 HAS SOUS 2407581 HAS SOUPS 2407581 WITH SCORE 2419119.276
AT ITER 1178 NEW BEST:: SOT 12136382 SOS 11537286 HAS SOPS 11537286 HAS SOUS 2399105 HAS SOUPS 2399105 WITH SCORE 2410642.286
AT ITER 1183 NEW BEST:: SOT 12133599 SOS 11534503 HAS SOPS 11534503 HAS SOUS 2370333 HAS SOUPS 2370333 WITH SCORE 2381867.503
AT ITER 1185 NEW BEST:: SOT 12132246 SOS 11533150 HAS SOPS 11533150 HAS SOUS 2358041 HAS SOUPS 2358041 WITH SCORE 2369574.15
AT ITER 1187 NEW BEST:: SOT 12131214 SOS 11532118 HAS SOPS 11532118 HAS SOUS 2357009 HAS SOUPS 2357009 WITH SCORE 2368541.118
AT ITER 1192 NEW BEST:: SOT 12131214 SOS 11532118 HAS SOPS 11532118 HAS SOUS 2356061 HAS SOUPS 2356061 WITH SCORE 2367593.118
AT ITER 1202 NEW BEST:: SOT 12131214 SOS 11532118 HAS SOPS 11532118 HAS SOUS 2351986 HAS SOUPS 2351986 WITH SCORE 2363518.118
AT ITER 1214 NEW BEST:: SOT 12131214 SOS 11532126 HAS SOPS 11532126 HAS SOUS 2351876 HAS SOUPS 2351876 WITH SCORE 2363408.126
AT ITER 1234 NEW BEST:: SOT 12131214 SOS 11532126 HAS SOPS 11532126 HAS SOUS 2351286 HAS SOUPS 2351286 WITH SCORE 2362818.126
AT ITER 1276 NEW BEST:: SOT 12127715 SOS 11528627 HAS SOPS 11528627 HAS SOUS 2346147 HAS SOUPS 2346147 WITH SCORE 2357675.627
AT ITER 1308 NEW BEST:: SOT 12127532 SOS 11528444 HAS SOPS 11528444 HAS SOUS 2343882 HAS SOUPS 2343882 WITH SCORE 2355410.444
AT ITER 1311 NEW BEST:: SOT 12127532 SOS 11528444 HAS SOPS 11528444 HAS SOUS 2340633 HAS SOUPS 2340633 WITH SCORE 2352161.444
AT ITER 1316 NEW BEST:: SOT 12127532 SOS 11528444 HAS SOPS 11528444 HAS SOUS 2340147 HAS SOUPS 2340147 WITH SCORE 2351675.444
AT ITER 1317 NEW BEST:: SOT 12127532 SOS 11528444 HAS SOPS 11528444 HAS SOUS 2340039 HAS SOUPS 2340039 WITH SCORE 2351567.444
AT ITER 1322 NEW BEST:: SOT 12130988 SOS 11531900 HAS SOPS 11531900 HAS SOUS 2307108 HAS SOUPS 2307108 WITH SCORE 2318639.9
AT ITER 1328 NEW BEST:: SOT 12130988 SOS 11531900 HAS SOPS 11531900 HAS SOUS 2305141 HAS SOUPS 2305141 WITH SCORE 2316672.9
AT ITER 1334 NEW BEST:: SOT 12130988 SOS 11531900 HAS SOPS 11531900 HAS SOUS 2304815 HAS SOUPS 2304815 WITH SCORE 2316346.9
AT ITER 1351 NEW BEST:: SOT 12130988 SOS 11531900 HAS SOPS 11531900 HAS SOUS 2304404 HAS SOUPS 2304404 WITH SCORE 2315935.9
AT ITER 1364 NEW BEST:: SOT 12131284 SOS 11532196 HAS SOPS 11532196 HAS SOUS 2302766 HAS SOUPS 2302766 WITH SCORE 2314298.196
AT ITER 1396 NEW BEST:: SOT 12131284 SOS 11532196 HAS SOPS 11532196 HAS SOUS 2302517 HAS SOUPS 2302517 WITH SCORE 2314049.196
AT ITER 1409 NEW BEST:: SOT 12131284 SOS 11532196 HAS SOPS 11532196 HAS SOUS 2301819 HAS SOUPS 2301819 WITH SCORE 2313351.196
AT ITER 1412 NEW BEST:: SOT 12128024 SOS 11528936 HAS SOPS 11528936 HAS SOUS 2290993 HAS SOUPS 2290993 WITH SCORE 2302521.936
AT ITER 1422 NEW BEST:: SOT 12128024 SOS 11528936 HAS SOPS 11528936 HAS SOUS 2290716 HAS SOUPS 2290716 WITH SCORE 2302244.936
AT ITER 1427 NEW BEST:: SOT 12126248 SOS 11527160 HAS SOPS 11527160 HAS SOUS 2284312 HAS SOUPS 2284312 WITH SCORE 2295839.16
AT ITER 1441 NEW BEST:: SOT 12126248 SOS 11527160 HAS SOPS 11527160 HAS SOUS 2284196 HAS SOUPS 2284196 WITH SCORE 2295723.16
AT ITER 1456 NEW BEST:: SOT 12114369 SOS 11515281 HAS SOPS 11515281 HAS SOUS 2282404 HAS SOUPS 2282404 WITH SCORE 2293919.281
AT ITER 1466 NEW BEST:: SOT 12114139 SOS 11515051 HAS SOPS 11515051 HAS SOUS 2280660 HAS SOUPS 2280660 WITH SCORE 2292175.051
AT ITER 1479 NEW BEST:: SOT 12114139 SOS 11515051 HAS SOPS 11515051 HAS SOUS 2280125 HAS SOUPS 2280125 WITH SCORE 2291640.051
AT ITER 1484 NEW BEST:: SOT 12114017 SOS 11514929 HAS SOPS 11514929 HAS SOUS 2278478 HAS SOUPS 2278478 WITH SCORE 2289992.929
AT ITER 1486 NEW BEST:: SOT 12114017 SOS 11514929 HAS SOPS 11514929 HAS SOUS 2278390 HAS SOUPS 2278390 WITH SCORE 2289904.929
AT ITER 1492 NEW BEST:: SOT 12112403 SOS 11513315 HAS SOPS 11513315 HAS SOUS 2266207 HAS SOUPS 2266207 WITH SCORE 2277720.315
AT ITER 1506 NEW BEST:: SOT 12112403 SOS 11513315 HAS SOPS 11513315 HAS SOUS 2266151 HAS SOUPS 2266151 WITH SCORE 2277664.315
AT ITER 1515 NEW BEST:: SOT 12112133 SOS 11513045 HAS SOPS 11513045 HAS SOUS 2265400 HAS SOUPS 2265400 WITH SCORE 2276913.045
AT ITER 1543 NEW BEST:: SOT 12112926 SOS 11513838 HAS SOPS 11513838 HAS SOUS 2264820 HAS SOUPS 2264820 WITH SCORE 2276333.838
AT ITER 1582 NEW BEST:: SOT 12112926 SOS 11513496 HAS SOPS 11513496 HAS SOUS 2264810 HAS SOUPS 2264810 WITH SCORE 2276323.496
AT ITER 1590 NEW BEST:: SOT 12112630 SOS 11513200 HAS SOPS 11513200 HAS SOUS 2264045 HAS SOUPS 2264045 WITH SCORE 2275558.2
AT ITER 1593 NEW BEST:: SOT 12112630 SOS 11513200 HAS SOPS 11513200 HAS SOUS 2263497 HAS SOUPS 2263497 WITH SCORE 2275010.2
AT ITER 1596 NEW BEST:: SOT 12112630 SOS 11513200 HAS SOPS 11513200 HAS SOUS 2263048 HAS SOUPS 2263048 WITH SCORE 2274561.2
AT ITER 1599 NEW BEST:: SOT 12104995 SOS 11505565 HAS SOPS 11505565 HAS SOUS 2253562 HAS SOUPS 2253562 WITH SCORE 2265067.565
AT ITER 1602 NEW BEST:: SOT 12103234 SOS 11503804 HAS SOPS 11503804 HAS SOUS 2244096 HAS SOUPS 2244096 WITH SCORE 2255599.804
AT ITER 1622 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2242342 HAS SOUPS 2242342 WITH SCORE 2253851.769
AT ITER 1629 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2235074 HAS SOUPS 2235074 WITH SCORE 2246583.769
AT ITER 1632 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2233861 HAS SOUPS 2233861 WITH SCORE 2245370.769
AT ITER 1641 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2233608 HAS SOUPS 2233608 WITH SCORE 2245117.769
AT ITER 1649 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2233576 HAS SOUPS 2233576 WITH SCORE 2245085.769
AT ITER 1651 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2232127 HAS SOUPS 2232127 WITH SCORE 2243636.769
AT ITER 1666 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2232048 HAS SOUPS 2232048 WITH SCORE 2243557.769
AT ITER 1675 NEW BEST:: SOT 12109199 SOS 11509769 HAS SOPS 11509769 HAS SOUS 2231390 HAS SOUPS 2231390 WITH SCORE 2242899.769
AT ITER 1677 NEW BEST:: SOT 12109016 SOS 11509586 HAS SOPS 11509586 HAS SOUS 2230860 HAS SOUPS 2230860 WITH SCORE 2242369.586
AT ITER 1693 NEW BEST:: SOT 12109016 SOS 11509586 HAS SOPS 11509586 HAS SOUS 2230420 HAS SOUPS 2230420 WITH SCORE 2241929.586
AT ITER 1697 NEW BEST:: SOT 12108825 SOS 11509395 HAS SOPS 11509395 HAS SOUS 2230229 HAS SOUPS 2230229 WITH SCORE 2241738.395
AT ITER 1699 NEW BEST:: SOT 12108825 SOS 11509395 HAS SOPS 11509395 HAS SOUS 2229781 HAS SOUPS 2229781 WITH SCORE 2241290.395
AT ITER 1710 NEW BEST:: SOT 12108825 SOS 11509395 HAS SOPS 11509395 HAS SOUS 2229274 HAS SOUPS 2229274 WITH SCORE 2240783.395
AT ITER 1714 NEW BEST:: SOT 12105720 SOS 11506290 HAS SOPS 11506290 HAS SOUS 2212370 HAS SOUPS 2212370 WITH SCORE 2223876.29
AT ITER 1746 NEW BEST:: SOT 12105720 SOS 11506290 HAS SOPS 11506290 HAS SOUS 2212184 HAS SOUPS 2212184 WITH SCORE 2223690.29
AT ITER 1747 NEW BEST:: SOT 12105720 SOS 11506290 HAS SOPS 11506290 HAS SOUS 2210996 HAS SOUPS 2210996 WITH SCORE 2222502.29
AT ITER 1748 NEW BEST:: SOT 12105715 SOS 11421170 HAS SOPS 11421170 HAS SOUS 2210970 HAS SOUPS 2210970 WITH SCORE 2222391.17
AT ITER 1758 NEW BEST:: SOT 12104341 SOS 11419796 HAS SOPS 11419796 HAS SOUS 2210322 HAS SOUPS 2210322 WITH SCORE 2221741.796
AT ITER 1759 NEW BEST:: SOT 12101492 SOS 11416947 HAS SOPS 11416947 HAS SOUS 2207940 HAS SOUPS 2207940 WITH SCORE 2219356.947
AT ITER 1763 NEW BEST:: SOT 12101492 SOS 11416947 HAS SOPS 11416947 HAS SOUS 2207128 HAS SOUPS 2207128 WITH SCORE 2218544.947
AT ITER 1780 NEW BEST:: SOT 12101492 SOS 11416947 HAS SOPS 11416947 HAS SOUS 2206793 HAS SOUPS 2206793 WITH SCORE 2218209.947
AT ITER 1793 NEW BEST:: SOT 12101490 SOS 11413945 HAS SOPS 11413945 HAS SOUS 2206785 HAS SOUPS 2206785 WITH SCORE 2218198.945
AT ITER 1829 NEW BEST:: SOT 12099282 SOS 11411737 HAS SOPS 11411737 HAS SOUS 2198070 HAS SOUPS 2198070 WITH SCORE 2209481.737
AT ITER 1859 NEW BEST:: SOT 12099102 SOS 11411557 HAS SOPS 11411557 HAS SOUS 2196680 HAS SOUPS 2196680 WITH SCORE 2208091.557
AT ITER 1866 NEW BEST:: SOT 12099102 SOS 11411557 HAS SOPS 11411557 HAS SOUS 2195262 HAS SOUPS 2195262 WITH SCORE 2206673.557
AT ITER 1871 NEW BEST:: SOT 12088797 SOS 11401252 HAS SOPS 11401252 HAS SOUS 2181487 HAS SOUPS 2181487 WITH SCORE 2192888.252
AT ITER 1887 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2180975 HAS SOUPS 2180975 WITH SCORE 2192375.998
AT ITER 1903 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2180925 HAS SOUPS 2180925 WITH SCORE 2192325.998
AT ITER 1935 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2176581 HAS SOUPS 2176581 WITH SCORE 2187981.998
AT ITER 1940 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2175775 HAS SOUPS 2175775 WITH SCORE 2187175.998
AT ITER 1962 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2175665 HAS SOUPS 2175665 WITH SCORE 2187065.998
AT ITER 1989 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2175458 HAS SOUPS 2175458 WITH SCORE 2186858.998
AT ITER 1993 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2175384 HAS SOUPS 2175384 WITH SCORE 2186784.998
AT ITER 1995 NEW BEST:: SOT 12088543 SOS 11400998 HAS SOPS 11400998 HAS SOUS 2172905 HAS SOUPS 2172905 WITH SCORE 2184305.998
AT ITER 2023 NEW BEST:: SOT 12087665 SOS 11400120 HAS SOPS 11400120 HAS SOUS 2165558 HAS SOUPS 2165558 WITH SCORE 2176958.12
AT ITER 2031 NEW BEST:: SOT 12087665 SOS 11400120 HAS SOPS 11400120 HAS SOUS 2165178 HAS SOUPS 2165178 WITH SCORE 2176578.12
AT ITER 2048 NEW BEST:: SOT 12087665 SOS 11400120 HAS SOPS 11400120 HAS SOUS 2164963 HAS SOUPS 2164963 WITH SCORE 2176363.12
AT ITER 2081 NEW BEST:: SOT 12087665 SOS 11400120 HAS SOPS 11400120 HAS SOUS 2164779 HAS SOUPS 2164779 WITH SCORE 2176179.12
AT ITER 2084 NEW BEST:: SOT 12014712 SOS 11329863 HAS SOPS 11329863 HAS SOUS 2162850 HAS SOUPS 2162850 WITH SCORE 2174179.863
AT ITER 2097 NEW BEST:: SOT 12014720 SOS 11314924 HAS SOPS 11314924 HAS SOUS 2162863 HAS SOUPS 2162863 WITH SCORE 2174177.924
AT ITER 2107 NEW BEST:: SOT 12013146 SOS 11313350 HAS SOPS 11313350 HAS SOUS 2145434 HAS SOUPS 2145434 WITH SCORE 2156747.35
AT ITER 2109 NEW BEST:: SOT 12013146 SOS 11313350 HAS SOPS 11313350 HAS SOUS 2144980 HAS SOUPS 2144980 WITH SCORE 2156293.35
AT ITER 2110 NEW BEST:: SOT 12008801 SOS 11309005 HAS SOPS 11309005 HAS SOUS 2113942 HAS SOUPS 2113942 WITH SCORE 2125251.005
AT ITER 2114 NEW BEST:: SOT 11990822 SOS 11291026 HAS SOPS 11291026 HAS SOUS 2100611 HAS SOUPS 2100611 WITH SCORE 2111902.026
AT ITER 2134 NEW BEST:: SOT 11990582 SOS 11290786 HAS SOPS 11290786 HAS SOUS 2096029 HAS SOUPS 2096029 WITH SCORE 2107319.786
AT ITER 2147 NEW BEST:: SOT 11990582 SOS 11290786 HAS SOPS 11290786 HAS SOUS 2095497 HAS SOUPS 2095497 WITH SCORE 2106787.786
AT ITER 2158 NEW BEST:: SOT 11989933 SOS 11290137 HAS SOPS 11290137 HAS SOUS 2089184 HAS SOUPS 2089184 WITH SCORE 2100474.137
AT ITER 2173 NEW BEST:: SOT 11989933 SOS 11290137 HAS SOPS 11290137 HAS SOUS 2086450 HAS SOUPS 2086450 WITH SCORE 2097740.137
AT ITER 2176 NEW BEST:: SOT 11989600 SOS 11289804 HAS SOPS 11289804 HAS SOUS 2086117 HAS SOUPS 2086117 WITH SCORE 2097406.804
AT ITER 2177 NEW BEST:: SOT 11989600 SOS 11289804 HAS SOPS 11289804 HAS SOUS 2086109 HAS SOUPS 2086109 WITH SCORE 2097398.804
AT ITER 2207 NEW BEST:: SOT 11982749 SOS 11282953 HAS SOPS 11282953 HAS SOUS 2086046 HAS SOUPS 2086046 WITH SCORE 2097328.953
AT ITER 2221 NEW BEST:: SOT 11982749 SOS 11282953 HAS SOPS 11282953 HAS SOUS 2082653 HAS SOUPS 2082653 WITH SCORE 2093935.953
AT ITER 2237 NEW BEST:: SOT 11982749 SOS 11282953 HAS SOPS 11282953 HAS SOUS 2082390 HAS SOUPS 2082390 WITH SCORE 2093672.953
AT ITER 2243 NEW BEST:: SOT 11982749 SOS 11282953 HAS SOPS 11282953 HAS SOUS 2081679 HAS SOUPS 2081679 WITH SCORE 2092961.953
AT ITER 2274 NEW BEST:: SOT 11982839 SOS 11280347 HAS SOPS 11280347 HAS SOUS 2079381 HAS SOUPS 2079381 WITH SCORE 2090661.347
AT ITER 2277 NEW BEST:: SOT 11982546 SOS 11280054 HAS SOPS 11280054 HAS SOUS 2072930 HAS SOUPS 2072930 WITH SCORE 2084210.054
AT ITER 2283 NEW BEST:: SOT 11982039 SOS 11279547 HAS SOPS 11279547 HAS SOUS 2066519 HAS SOUPS 2066519 WITH SCORE 2077798.547
AT ITER 2302 NEW BEST:: SOT 11982016 SOS 11279524 HAS SOPS 11279524 HAS SOUS 2066267 HAS SOUPS 2066267 WITH SCORE 2077546.524
AT ITER 2306 NEW BEST:: SOT 11982016 SOS 11279524 HAS SOPS 11279524 HAS SOUS 2065394 HAS SOUPS 2065394 WITH SCORE 2076673.524
AT ITER 2323 NEW BEST:: SOT 11982016 SOS 11279527 HAS SOPS 11279527 HAS SOUS 2065328 HAS SOUPS 2065328 WITH SCORE 2076607.527
AT ITER 2362 NEW BEST:: SOT 11982016 SOS 11279527 HAS SOPS 11279527 HAS SOUS 2065257 HAS SOUPS 2065257 WITH SCORE 2076536.527
AT ITER 2381 NEW BEST:: SOT 11981641 SOS 11279152 HAS SOPS 11279152 HAS SOUS 2060813 HAS SOUPS 2060813 WITH SCORE 2072092.152
AT ITER 2383 NEW BEST:: SOT 11981641 SOS 11279152 HAS SOPS 11279152 HAS SOUS 2060328 HAS SOUPS 2060328 WITH SCORE 2071607.152
AT ITER 2387 NEW BEST:: SOT 11979245 SOS 11276756 HAS SOPS 11276756 HAS SOUS 2058327 HAS SOUPS 2058327 WITH SCORE 2069603.756
AT ITER 2391 NEW BEST:: SOT 11979245 SOS 11276756 HAS SOPS 11276756 HAS SOUS 2057775 HAS SOUPS 2057775 WITH SCORE 2069051.756
AT ITER 2403 NEW BEST:: SOT 11976443 SOS 11273954 HAS SOPS 11273954 HAS SOUS 2052386 HAS SOUPS 2052386 WITH SCORE 2063659.954
AT ITER 2428 NEW BEST:: SOT 11976068 SOS 11273579 HAS SOPS 11273579 HAS SOUS 2050664 HAS SOUPS 2050664 WITH SCORE 2061937.579
AT ITER 2434 NEW BEST:: SOT 11976054 SOS 11258551 HAS SOPS 11258551 HAS SOUS 2050606 HAS SOUPS 2050606 WITH SCORE 2061864.551
AT ITER 2437 NEW BEST:: SOT 11974574 SOS 11257071 HAS SOPS 11257071 HAS SOUS 2044971 HAS SOUPS 2044971 WITH SCORE 2056228.071
AT ITER 2442 NEW BEST:: SOT 11974574 SOS 11257071 HAS SOPS 11257071 HAS SOUS 2043208 HAS SOUPS 2043208 WITH SCORE 2054465.071
AT ITER 2445 NEW BEST:: SOT 11974098 SOS 11256595 HAS SOPS 11256595 HAS SOUS 2038239 HAS SOUPS 2038239 WITH SCORE 2049495.595
AT ITER 2450 NEW BEST:: SOT 11970029 SOS 11252526 HAS SOPS 11252526 HAS SOUS 2030970 HAS SOUPS 2030970 WITH SCORE 2042222.526
AT ITER 2497 NEW BEST:: SOT 11970029 SOS 11219659 HAS SOPS 11219659 HAS SOUS 2030989 HAS SOUPS 2030989 WITH SCORE 2042208.659
AT ITER 2521 NEW BEST:: SOT 11970029 SOS 11219659 HAS SOPS 11219659 HAS SOUS 2030752 HAS SOUPS 2030752 WITH SCORE 2041971.659
AT ITER 2545 NEW BEST:: SOT 11974345 SOS 11223975 HAS SOPS 11223975 HAS SOUS 2021526 HAS SOUPS 2021526 WITH SCORE 2032749.975
AT ITER 2566 NEW BEST:: SOT 11974345 SOS 11223975 HAS SOPS 11223975 HAS SOUS 2020804 HAS SOUPS 2020804 WITH SCORE 2032027.975
AT ITER 2586 NEW BEST:: SOT 11973747 SOS 11223377 HAS SOPS 11223377 HAS SOUS 2019471 HAS SOUPS 2019471 WITH SCORE 2030694.377
AT ITER 2615 NEW BEST:: SOT 11958234 SOS 11207864 HAS SOPS 11207864 HAS SOUS 2012667 HAS SOUPS 2012667 WITH SCORE 2023874.864
AT ITER 2617 NEW BEST:: SOT 11954480 SOS 11204110 HAS SOPS 11204110 HAS SOUS 2011913 HAS SOUPS 2011913 WITH SCORE 2023117.11
AT ITER 2650 NEW BEST:: SOT 11954480 SOS 11180174 HAS SOPS 11180174 HAS SOUS 2011905 HAS SOUPS 2011905 WITH SCORE 2023085.174
AT ITER 2656 NEW BEST:: SOT 11953850 SOS 11179544 HAS SOPS 11179544 HAS SOUS 2010791 HAS SOUPS 2010791 WITH SCORE 2021970.544
AT ITER 2680 NEW BEST:: SOT 11953850 SOS 11179544 HAS SOPS 11179544 HAS SOUS 2010615 HAS SOUPS 2010615 WITH SCORE 2021794.544
AT ITER 2689 NEW BEST:: SOT 11936734 SOS 11162428 HAS SOPS 11162428 HAS SOUS 2001331 HAS SOUPS 2001331 WITH SCORE 2012493.428
AT ITER 2723 NEW BEST:: SOT 11936578 SOS 11162272 HAS SOPS 11162272 HAS SOUS 1999556 HAS SOUPS 1999556 WITH SCORE 2010718.272
AT ITER 2727 NEW BEST:: SOT 11936236 SOS 11161930 HAS SOPS 11161930 HAS SOUS 1996991 HAS SOUPS 1996991 WITH SCORE 2008152.93
AT ITER 2729 NEW BEST:: SOT 11935934 SOS 11161628 HAS SOPS 11161628 HAS SOUS 1993930 HAS SOUPS 1993930 WITH SCORE 2005091.628
AT ITER 2755 NEW BEST:: SOT 11931560 SOS 11157254 HAS SOPS 11157254 HAS SOUS 1989556 HAS SOUPS 1989556 WITH SCORE 2000713.254
AT ITER 2758 NEW BEST:: SOT 11931560 SOS 11157254 HAS SOPS 11157254 HAS SOUS 1987827 HAS SOUPS 1987827 WITH SCORE 1998984.254
AT ITER 2759 NEW BEST:: SOT 11930987 SOS 11156681 HAS SOPS 11156681 HAS SOUS 1986097 HAS SOUPS 1986097 WITH SCORE 1997253.681
AT ITER 2774 NEW BEST:: SOT 11930987 SOS 11156681 HAS SOPS 11156681 HAS SOUS 1985884 HAS SOUPS 1985884 WITH SCORE 1997040.681
AT ITER 2785 NEW BEST:: SOT 11930987 SOS 11156681 HAS SOPS 11156681 HAS SOUS 1985654 HAS SOUPS 1985654 WITH SCORE 1996810.681
AT ITER 2813 NEW BEST:: SOT 11930987 SOS 11156681 HAS SOPS 11156681 HAS SOUS 1985578 HAS SOUPS 1985578 WITH SCORE 1996734.681
AT ITER 2819 NEW BEST:: SOT 11963980 SOS 11189674 HAS SOPS 11189674 HAS SOUS 1985242 HAS SOUPS 1985242 WITH SCORE 1996431.674
AT ITER 2838 NEW BEST:: SOT 11963968 SOS 11189662 HAS SOPS 11189662 HAS SOUS 1984633 HAS SOUPS 1984633 WITH SCORE 1995822.662
AT ITER 2840 NEW BEST:: SOT 11963846 SOS 11189540 HAS SOPS 11189540 HAS SOUS 1983690 HAS SOUPS 1983690 WITH SCORE 1994879.54
AT ITER 2848 NEW BEST:: SOT 11963486 SOS 11189180 HAS SOPS 11189180 HAS SOUS 1981907 HAS SOUPS 1981907 WITH SCORE 1993096.18
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15576484 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16097224 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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="GlobalResAllocation-COL-09"
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 GlobalResAllocation-COL-09, 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 r195-smll-167840342100200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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