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.r491-tall-167912711301016.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 smartxred
Input is UtilityControlRoom-COL-Z2T4N08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711301016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 8.3K Feb 26 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 14:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 136K Feb 26 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679307414353

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-COL-Z2T4N08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:16:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:16:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:16:56] [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-20 10:16:56] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:16:57] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 764 ms
[2023-03-20 10:16:57] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 140 PT places and 216.0 transition bindings in 14 ms.
[2023-03-20 10:16:57] [INFO ] Unfolded HLPN to a Petri net with 140 places and 216 transitions 680 arcs in 17 ms.
[2023-03-20 10:16:57] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:16:57] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 140 places, 216 transitions and 680 arcs took 5 ms.
Total runtime 896 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T4N08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 140 places, 216 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 24109 SOS 17637 HAS SOPS 17637 HAS SOUS 11248 HAS SOUPS 11248 WITH SCORE 11265.637
AT ITER 1 NEW BEST:: SOT 24073 SOS 17607 HAS SOPS 17607 HAS SOUS 11194 HAS SOUPS 11194 WITH SCORE 11211.607
AT ITER 3 NEW BEST:: SOT 24069 SOS 17613 HAS SOPS 17613 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11202.613
AT ITER 6 NEW BEST:: SOT 24032 SOS 17576 HAS SOPS 17576 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11200.576
AT ITER 8 NEW BEST:: SOT 24032 SOS 17506 HAS SOPS 17506 HAS SOUS 11148 HAS SOUPS 11148 WITH SCORE 11165.506
AT ITER 10 NEW BEST:: SOT 24027 SOS 17506 HAS SOPS 17506 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11161.506
AT ITER 11 NEW BEST:: SOT 24010 SOS 17472 HAS SOPS 17472 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11143.472
AT ITER 16 NEW BEST:: SOT 23869 SOS 17356 HAS SOPS 17356 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11019.356
AT ITER 17 NEW BEST:: SOT 23835 SOS 17363 HAS SOPS 17363 HAS SOUS 10922 HAS SOUPS 10922 WITH SCORE 10939.363
AT ITER 19 NEW BEST:: SOT 23802 SOS 17225 HAS SOPS 17225 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10898.225
AT ITER 23 NEW BEST:: SOT 23760 SOS 17070 HAS SOPS 17070 HAS SOUS 10810 HAS SOUPS 10810 WITH SCORE 10827.07
AT ITER 24 NEW BEST:: SOT 23731 SOS 17049 HAS SOPS 17049 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10803.049
AT ITER 25 NEW BEST:: SOT 23728 SOS 17027 HAS SOPS 17027 HAS SOUS 10773 HAS SOUPS 10773 WITH SCORE 10790.027
AT ITER 26 NEW BEST:: SOT 23705 SOS 16981 HAS SOPS 16981 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10732.981
AT ITER 27 NEW BEST:: SOT 23656 SOS 16932 HAS SOPS 16932 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10701.932
AT ITER 29 NEW BEST:: SOT 23654 SOS 16928 HAS SOPS 16928 HAS SOUS 10681 HAS SOUPS 10681 WITH SCORE 10697.928
AT ITER 34 NEW BEST:: SOT 23654 SOS 17001 HAS SOPS 17001 HAS SOUS 10678 HAS SOUPS 10678 WITH SCORE 10695.001
AT ITER 41 NEW BEST:: SOT 23629 SOS 16976 HAS SOPS 16976 HAS SOUS 10672 HAS SOUPS 10672 WITH SCORE 10688.976
AT ITER 43 NEW BEST:: SOT 23629 SOS 16906 HAS SOPS 16906 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10670.906
AT ITER 45 NEW BEST:: SOT 23590 SOS 16793 HAS SOPS 16793 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10620.793
AT ITER 47 NEW BEST:: SOT 23574 SOS 16777 HAS SOPS 16777 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10620.777
AT ITER 50 NEW BEST:: SOT 23578 SOS 16866 HAS SOPS 16866 HAS SOUS 10601 HAS SOUPS 10601 WITH SCORE 10617.866
AT ITER 54 NEW BEST:: SOT 23578 SOS 16849 HAS SOPS 16849 HAS SOUS 10578 HAS SOUPS 10578 WITH SCORE 10594.849
AT ITER 58 NEW BEST:: SOT 23578 SOS 16848 HAS SOPS 16848 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10593.848
AT ITER 60 NEW BEST:: SOT 23560 SOS 16832 HAS SOPS 16832 HAS SOUS 10534 HAS SOUPS 10534 WITH SCORE 10550.832
AT ITER 61 NEW BEST:: SOT 23525 SOS 16698 HAS SOPS 16698 HAS SOUS 10451 HAS SOUPS 10451 WITH SCORE 10467.698
AT ITER 66 NEW BEST:: SOT 23464 SOS 16586 HAS SOPS 16586 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10380.586
AT ITER 70 NEW BEST:: SOT 23464 SOS 16573 HAS SOPS 16573 HAS SOUS 10363 HAS SOUPS 10363 WITH SCORE 10379.573
AT ITER 72 NEW BEST:: SOT 23464 SOS 16565 HAS SOPS 16565 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10364.565
AT ITER 77 NEW BEST:: SOT 23462 SOS 16561 HAS SOPS 16561 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10362.561
AT ITER 79 NEW BEST:: SOT 23462 SOS 16484 HAS SOPS 16484 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10342.484
AT ITER 80 NEW BEST:: SOT 23457 SOS 16479 HAS SOPS 16479 HAS SOUS 10321 HAS SOUPS 10321 WITH SCORE 10337.479
AT ITER 81 NEW BEST:: SOT 23430 SOS 16452 HAS SOPS 16452 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10335.452
AT ITER 87 NEW BEST:: SOT 23425 SOS 16442 HAS SOPS 16442 HAS SOUS 10315 HAS SOUPS 10315 WITH SCORE 10331.442
AT ITER 88 NEW BEST:: SOT 23407 SOS 16424 HAS SOPS 16424 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10313.424
AT ITER 89 NEW BEST:: SOT 23325 SOS 15550 HAS SOPS 15550 HAS SOUS 10151 HAS SOUPS 10151 WITH SCORE 10166.55
AT ITER 90 NEW BEST:: SOT 23306 SOS 15414 HAS SOPS 15414 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10081.414
AT ITER 91 NEW BEST:: SOT 23297 SOS 15396 HAS SOPS 15396 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10063.396
AT ITER 93 NEW BEST:: SOT 23288 SOS 15204 HAS SOPS 15204 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10015.204
AT ITER 95 NEW BEST:: SOT 23288 SOS 15222 HAS SOPS 15222 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10013.222
AT ITER 96 NEW BEST:: SOT 23285 SOS 15148 HAS SOPS 15148 HAS SOUS 9962 HAS SOUPS 9962 WITH SCORE 9977.148
AT ITER 101 NEW BEST:: SOT 23285 SOS 15136 HAS SOPS 15136 HAS SOUS 9962 HAS SOUPS 9962 WITH SCORE 9977.136
AT ITER 102 NEW BEST:: SOT 23262 SOS 15190 HAS SOPS 15190 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9931.19
AT ITER 104 NEW BEST:: SOT 23259 SOS 15187 HAS SOPS 15187 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9931.187
AT ITER 105 NEW BEST:: SOT 23235 SOS 15151 HAS SOPS 15151 HAS SOUS 9867 HAS SOUPS 9867 WITH SCORE 9882.151
AT ITER 106 NEW BEST:: SOT 23145 SOS 15107 HAS SOPS 15107 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9806.107
AT ITER 113 NEW BEST:: SOT 23145 SOS 15007 HAS SOPS 15007 HAS SOUS 9741 HAS SOUPS 9741 WITH SCORE 9756.007
AT ITER 115 NEW BEST:: SOT 23142 SOS 15005 HAS SOPS 15005 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9750.005
AT ITER 118 NEW BEST:: SOT 23106 SOS 14980 HAS SOPS 14980 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9724.98
AT ITER 122 NEW BEST:: SOT 23075 SOS 14846 HAS SOPS 14846 HAS SOUS 9671 HAS SOUPS 9671 WITH SCORE 9685.846
AT ITER 126 NEW BEST:: SOT 23073 SOS 14845 HAS SOPS 14845 HAS SOUS 9668 HAS SOUPS 9668 WITH SCORE 9682.845
AT ITER 127 NEW BEST:: SOT 23071 SOS 14841 HAS SOPS 14841 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9678.841
AT ITER 128 NEW BEST:: SOT 23037 SOS 14170 HAS SOPS 14170 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9516.17
AT ITER 132 NEW BEST:: SOT 22989 SOS 14043 HAS SOPS 14043 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9455.043
AT ITER 133 NEW BEST:: SOT 22989 SOS 14043 HAS SOPS 14043 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9452.043
AT ITER 134 NEW BEST:: SOT 22964 SOS 14022 HAS SOPS 14022 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9369.022
AT ITER 135 NEW BEST:: SOT 21837 SOS 12918 HAS SOPS 12918 HAS SOUS 8647 HAS SOUPS 8647 WITH SCORE 8659.918
AT ITER 136 NEW BEST:: SOT 21837 SOS 12918 HAS SOPS 12918 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8658.918
AT ITER 139 NEW BEST:: SOT 21860 SOS 12854 HAS SOPS 12854 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8608.854
AT ITER 140 NEW BEST:: SOT 21860 SOS 12823 HAS SOPS 12823 HAS SOUS 8586 HAS SOUPS 8586 WITH SCORE 8598.823
AT ITER 144 NEW BEST:: SOT 22091 SOS 12442 HAS SOPS 12442 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8239.442
AT ITER 147 NEW BEST:: SOT 22086 SOS 12509 HAS SOPS 12509 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8238.509
AT ITER 148 NEW BEST:: SOT 22050 SOS 12481 HAS SOPS 12481 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8223.481
AT ITER 149 NEW BEST:: SOT 22050 SOS 12471 HAS SOPS 12471 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8217.471
AT ITER 150 NEW BEST:: SOT 22002 SOS 12228 HAS SOPS 12228 HAS SOUS 8122 HAS SOUPS 8122 WITH SCORE 8134.228
AT ITER 157 NEW BEST:: SOT 21995 SOS 12203 HAS SOPS 12203 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8127.203
AT ITER 159 NEW BEST:: SOT 22002 SOS 12194 HAS SOPS 12194 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8100.194
AT ITER 160 NEW BEST:: SOT 22004 SOS 12192 HAS SOPS 12192 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8098.192
AT ITER 172 NEW BEST:: SOT 22003 SOS 12182 HAS SOPS 12182 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8094.182
AT ITER 173 NEW BEST:: SOT 21983 SOS 12224 HAS SOPS 12224 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8044.224
AT ITER 174 NEW BEST:: SOT 21936 SOS 12153 HAS SOPS 12153 HAS SOUS 7923 HAS SOUPS 7923 WITH SCORE 7935.153
AT ITER 182 NEW BEST:: SOT 21900 SOS 12014 HAS SOPS 12014 HAS SOUS 7877 HAS SOUPS 7877 WITH SCORE 7889.014
AT ITER 191 NEW BEST:: SOT 21884 SOS 11948 HAS SOPS 11948 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7844.948
AT ITER 195 NEW BEST:: SOT 21881 SOS 11933 HAS SOPS 11933 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7841.933
AT ITER 198 NEW BEST:: SOT 21881 SOS 11912 HAS SOPS 11912 HAS SOUS 7818 HAS SOUPS 7818 WITH SCORE 7829.912
AT ITER 202 NEW BEST:: SOT 21833 SOS 11836 HAS SOPS 11836 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7781.836
AT ITER 205 NEW BEST:: SOT 21825 SOS 11711 HAS SOPS 11711 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7737.711
AT ITER 213 NEW BEST:: SOT 21825 SOS 11707 HAS SOPS 11707 HAS SOUS 7726 HAS SOUPS 7726 WITH SCORE 7737.707
AT ITER 214 NEW BEST:: SOT 21846 SOS 11749 HAS SOPS 11749 HAS SOUS 7724 HAS SOUPS 7724 WITH SCORE 7735.749
AT ITER 229 NEW BEST:: SOT 21866 SOS 11740 HAS SOPS 11740 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7715.74
AT ITER 236 NEW BEST:: SOT 21833 SOS 11686 HAS SOPS 11686 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7701.686
AT ITER 237 NEW BEST:: SOT 21823 SOS 11666 HAS SOPS 11666 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7691.666
AT ITER 238 NEW BEST:: SOT 21795 SOS 11638 HAS SOPS 11638 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7663.638
AT ITER 241 NEW BEST:: SOT 21575 SOS 11422 HAS SOPS 11422 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7532.422
AT ITER 255 NEW BEST:: SOT 21575 SOS 11414 HAS SOPS 11414 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.414
AT ITER 258 NEW BEST:: SOT 21649 SOS 11258 HAS SOPS 11258 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7460.258
AT ITER 260 NEW BEST:: SOT 21646 SOS 11248 HAS SOPS 11248 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7458.248
AT ITER 261 NEW BEST:: SOT 21670 SOS 11289 HAS SOPS 11289 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7448.289
AT ITER 263 NEW BEST:: SOT 21666 SOS 11393 HAS SOPS 11393 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7444.393
AT ITER 270 NEW BEST:: SOT 21638 SOS 11349 HAS SOPS 11349 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7400.349
AT ITER 272 NEW BEST:: SOT 21611 SOS 11295 HAS SOPS 11295 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7363.295
AT ITER 273 NEW BEST:: SOT 21592 SOS 11197 HAS SOPS 11197 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7347.197
AT ITER 274 NEW BEST:: SOT 21548 SOS 11476 HAS SOPS 11476 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7303.476
AT ITER 277 NEW BEST:: SOT 21540 SOS 11472 HAS SOPS 11472 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7299.472
AT ITER 283 NEW BEST:: SOT 21498 SOS 11221 HAS SOPS 11221 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7241.221
AT ITER 285 NEW BEST:: SOT 21495 SOS 11191 HAS SOPS 11191 HAS SOUS 7225 HAS SOUPS 7225 WITH SCORE 7236.191
AT ITER 286 NEW BEST:: SOT 21495 SOS 11191 HAS SOPS 11191 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7218.191
AT ITER 290 NEW BEST:: SOT 21493 SOS 11207 HAS SOPS 11207 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7216.207
AT ITER 298 NEW BEST:: SOT 21453 SOS 11247 HAS SOPS 11247 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7154.247
AT ITER 301 NEW BEST:: SOT 21453 SOS 11246 HAS SOPS 11246 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7154.246
AT ITER 308 NEW BEST:: SOT 21453 SOS 11246 HAS SOPS 11246 HAS SOUS 7095 HAS SOUPS 7095 WITH SCORE 7106.246
AT ITER 310 NEW BEST:: SOT 21447 SOS 10683 HAS SOPS 10683 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7099.683
AT ITER 311 NEW BEST:: SOT 21444 SOS 10680 HAS SOPS 10680 HAS SOUS 7089 HAS SOUPS 7089 WITH SCORE 7099.68
AT ITER 314 NEW BEST:: SOT 21437 SOS 10677 HAS SOPS 10677 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7094.677
AT ITER 316 NEW BEST:: SOT 21437 SOS 10657 HAS SOPS 10657 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7094.657
AT ITER 330 NEW BEST:: SOT 21391 SOS 10611 HAS SOPS 10611 HAS SOUS 7012 HAS SOUPS 7012 WITH SCORE 7022.611
AT ITER 336 NEW BEST:: SOT 21376 SOS 10618 HAS SOPS 10618 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6967.618
AT ITER 349 NEW BEST:: SOT 21376 SOS 10585 HAS SOPS 10585 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6967.585
AT ITER 351 NEW BEST:: SOT 21375 SOS 10584 HAS SOPS 10584 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6965.584
AT ITER 356 NEW BEST:: SOT 21375 SOS 10579 HAS SOPS 10579 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6965.579
AT ITER 360 NEW BEST:: SOT 21381 SOS 10535 HAS SOPS 10535 HAS SOUS 6917 HAS SOUPS 6917 WITH SCORE 6927.535
AT ITER 371 NEW BEST:: SOT 21441 SOS 10571 HAS SOPS 10571 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6893.571
AT ITER 374 NEW BEST:: SOT 21397 SOS 10506 HAS SOPS 10506 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6892.506
AT ITER 376 NEW BEST:: SOT 21392 SOS 10501 HAS SOPS 10501 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6887.501
AT ITER 377 NEW BEST:: SOT 21393 SOS 10499 HAS SOPS 10499 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6887.499
AT ITER 378 NEW BEST:: SOT 21393 SOS 10463 HAS SOPS 10463 HAS SOUS 6859 HAS SOUPS 6859 WITH SCORE 6869.463
AT ITER 381 NEW BEST:: SOT 21393 SOS 10471 HAS SOPS 10471 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6868.471
AT ITER 397 NEW BEST:: SOT 21391 SOS 10469 HAS SOPS 10469 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6866.469
AT ITER 400 NEW BEST:: SOT 21393 SOS 10467 HAS SOPS 10467 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6860.467
AT ITER 417 NEW BEST:: SOT 21391 SOS 10452 HAS SOPS 10452 HAS SOUS 6846 HAS SOUPS 6846 WITH SCORE 6856.452
AT ITER 423 NEW BEST:: SOT 21391 SOS 10450 HAS SOPS 10450 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6854.45
AT ITER 432 NEW BEST:: SOT 21373 SOS 10419 HAS SOPS 10419 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6837.419
AT ITER 443 NEW BEST:: SOT 21371 SOS 10415 HAS SOPS 10415 HAS SOUS 6825 HAS SOUPS 6825 WITH SCORE 6835.415
AT ITER 446 NEW BEST:: SOT 21376 SOS 10395 HAS SOPS 10395 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6830.395
AT ITER 447 NEW BEST:: SOT 21366 SOS 10385 HAS SOPS 10385 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6820.385
AT ITER 448 NEW BEST:: SOT 21361 SOS 10374 HAS SOPS 10374 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6811.374
AT ITER 456 NEW BEST:: SOT 21337 SOS 10337 HAS SOPS 10337 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6783.337
AT ITER 465 NEW BEST:: SOT 20778 SOS 10047 HAS SOPS 10047 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6514.047
AT ITER 466 NEW BEST:: SOT 20735 SOS 10005 HAS SOPS 10005 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6479.005
AT ITER 470 NEW BEST:: SOT 20724 SOS 10157 HAS SOPS 10157 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6468.157
AT ITER 476 NEW BEST:: SOT 20727 SOS 10160 HAS SOPS 10160 HAS SOUS 6456 HAS SOUPS 6456 WITH SCORE 6466.16
AT ITER 485 NEW BEST:: SOT 20725 SOS 10122 HAS SOPS 10122 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6445.122
AT ITER 499 NEW BEST:: SOT 20725 SOS 10122 HAS SOPS 10122 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6442.122
AT ITER 500 NEW BEST:: SOT 20725 SOS 10130 HAS SOPS 10130 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6438.13
AT ITER 509 NEW BEST:: SOT 20729 SOS 9950 HAS SOPS 9950 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6435.95
AT ITER 513 NEW BEST:: SOT 20729 SOS 9950 HAS SOPS 9950 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6413.95
AT ITER 522 NEW BEST:: SOT 20725 SOS 9928 HAS SOPS 9928 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6389.928
AT ITER 544 NEW BEST:: SOT 20706 SOS 9957 HAS SOPS 9957 HAS SOUS 6364 HAS SOUPS 6364 WITH SCORE 6373.957
AT ITER 554 NEW BEST:: SOT 20545 SOS 9796 HAS SOPS 9796 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6273.796
AT ITER 562 NEW BEST:: SOT 20521 SOS 9788 HAS SOPS 9788 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6242.788
AT ITER 567 NEW BEST:: SOT 20517 SOS 9782 HAS SOPS 9782 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6234.782
AT ITER 574 NEW BEST:: SOT 20512 SOS 9757 HAS SOPS 9757 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6212.757
AT ITER 579 NEW BEST:: SOT 20512 SOS 9754 HAS SOPS 9754 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6206.754
AT ITER 580 NEW BEST:: SOT 20512 SOS 9754 HAS SOPS 9754 HAS SOUS 6195 HAS SOUPS 6195 WITH SCORE 6204.754
AT ITER 581 NEW BEST:: SOT 20500 SOS 9742 HAS SOPS 9742 HAS SOUS 6183 HAS SOUPS 6183 WITH SCORE 6192.742
AT ITER 583 NEW BEST:: SOT 20509 SOS 9799 HAS SOPS 9799 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6171.799
AT ITER 587 NEW BEST:: SOT 20508 SOS 9790 HAS SOPS 9790 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6170.79
AT ITER 591 NEW BEST:: SOT 20542 SOS 9801 HAS SOPS 9801 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6168.801
AT ITER 598 NEW BEST:: SOT 20559 SOS 9818 HAS SOPS 9818 HAS SOUS 6140 HAS SOUPS 6140 WITH SCORE 6149.818
AT ITER 601 NEW BEST:: SOT 20539 SOS 9798 HAS SOPS 9798 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6119.798
AT ITER 609 NEW BEST:: SOT 20532 SOS 9784 HAS SOPS 9784 HAS SOUS 6096 HAS SOUPS 6096 WITH SCORE 6105.784
AT ITER 612 NEW BEST:: SOT 20531 SOS 9782 HAS SOPS 9782 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6104.782
AT ITER 616 NEW BEST:: SOT 20530 SOS 9779 HAS SOPS 9779 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6102.779
AT ITER 626 NEW BEST:: SOT 20528 SOS 9751 HAS SOPS 9751 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6095.751
AT ITER 634 NEW BEST:: SOT 20525 SOS 9745 HAS SOPS 9745 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6092.745
AT ITER 652 NEW BEST:: SOT 20509 SOS 9729 HAS SOPS 9729 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6084.729
AT ITER 657 NEW BEST:: SOT 20478 SOS 9713 HAS SOPS 9713 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6026.713
AT ITER 663 NEW BEST:: SOT 20515 SOS 9681 HAS SOPS 9681 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5999.681
AT ITER 666 NEW BEST:: SOT 20515 SOS 9681 HAS SOPS 9681 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5996.681
AT ITER 677 NEW BEST:: SOT 20527 SOS 9645 HAS SOPS 9645 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5996.645
AT ITER 678 NEW BEST:: SOT 20462 SOS 9585 HAS SOPS 9585 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5974.585
AT ITER 698 NEW BEST:: SOT 20458 SOS 9577 HAS SOPS 9577 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5974.577
AT ITER 706 NEW BEST:: SOT 20455 SOS 9588 HAS SOPS 9588 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5971.588
AT ITER 756 NEW BEST:: SOT 20458 SOS 9590 HAS SOPS 9590 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5965.59
AT ITER 757 NEW BEST:: SOT 20445 SOS 9593 HAS SOPS 9593 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5951.593
AT ITER 763 NEW BEST:: SOT 20487 SOS 9558 HAS SOPS 9558 HAS SOUS 5905 HAS SOUPS 5905 WITH SCORE 5914.558
AT ITER 778 NEW BEST:: SOT 20467 SOS 9479 HAS SOPS 9479 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5838.479
AT ITER 780 NEW BEST:: SOT 20448 SOS 9455 HAS SOPS 9455 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5828.455
AT ITER 785 NEW BEST:: SOT 20444 SOS 9476 HAS SOPS 9476 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5823.476
AT ITER 811 NEW BEST:: SOT 20419 SOS 9417 HAS SOPS 9417 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5784.417
AT ITER 830 NEW BEST:: SOT 20414 SOS 9373 HAS SOPS 9373 HAS SOUS 5764 HAS SOUPS 5764 WITH SCORE 5773.373
AT ITER 837 NEW BEST:: SOT 20414 SOS 9365 HAS SOPS 9365 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5765.365
AT ITER 846 NEW BEST:: SOT 20414 SOS 9363 HAS SOPS 9363 HAS SOUS 5755 HAS SOUPS 5755 WITH SCORE 5764.363
AT ITER 879 NEW BEST:: SOT 20414 SOS 9365 HAS SOPS 9365 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5762.365
AT ITER 908 NEW BEST:: SOT 20414 SOS 9365 HAS SOPS 9365 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5760.365
AT ITER 912 NEW BEST:: SOT 20425 SOS 9360 HAS SOPS 9360 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5755.36
AT ITER 915 NEW BEST:: SOT 20438 SOS 9362 HAS SOPS 9362 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5734.362
AT ITER 922 NEW BEST:: SOT 20388 SOS 9288 HAS SOPS 9288 HAS SOUS 5688 HAS SOUPS 5688 WITH SCORE 5697.288
AT ITER 974 NEW BEST:: SOT 20383 SOS 9261 HAS SOPS 9261 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5638.261
AT ITER 981 NEW BEST:: SOT 20366 SOS 9222 HAS SOPS 9222 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5629.222
AT ITER 983 NEW BEST:: SOT 20340 SOS 9196 HAS SOPS 9196 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5613.196
AT ITER 984 NEW BEST:: SOT 20000 SOS 8978 HAS SOPS 8978 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5449.978
AT ITER 1000 NEW BEST:: SOT 19997 SOS 8975 HAS SOPS 8975 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5426.975
AT ITER 1006 NEW BEST:: SOT 19997 SOS 8961 HAS SOPS 8961 HAS SOUS 5404 HAS SOUPS 5404 WITH SCORE 5412.961
AT ITER 1008 NEW BEST:: SOT 19997 SOS 8961 HAS SOPS 8961 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5409.961
AT ITER 1018 NEW BEST:: SOT 19965 SOS 8926 HAS SOPS 8926 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5375.926
AT ITER 1024 NEW BEST:: SOT 19965 SOS 8962 HAS SOPS 8962 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5366.962
AT ITER 1031 NEW BEST:: SOT 19965 SOS 8978 HAS SOPS 8978 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5350.978
AT ITER 1033 NEW BEST:: SOT 19955 SOS 8973 HAS SOPS 8973 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5350.973
AT ITER 1040 NEW BEST:: SOT 19957 SOS 8975 HAS SOPS 8975 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5347.975
AT ITER 1046 NEW BEST:: SOT 19924 SOS 9001 HAS SOPS 9001 HAS SOUS 5332 HAS SOUPS 5332 WITH SCORE 5341.001
AT ITER 1049 NEW BEST:: SOT 19932 SOS 8996 HAS SOPS 8996 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5335.996
AT ITER 1054 NEW BEST:: SOT 19972 SOS 8980 HAS SOPS 8980 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5319.98
AT ITER 1065 NEW BEST:: SOT 19971 SOS 8978 HAS SOPS 8978 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5317.978
AT ITER 1075 NEW BEST:: SOT 19971 SOS 8976 HAS SOPS 8976 HAS SOUS 5309 HAS SOUPS 5309 WITH SCORE 5317.976
AT ITER 1076 NEW BEST:: SOT 19972 SOS 8977 HAS SOPS 8977 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5304.977
AT ITER 1079 NEW BEST:: SOT 19972 SOS 8975 HAS SOPS 8975 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5302.975
AT ITER 1104 NEW BEST:: SOT 19970 SOS 8963 HAS SOPS 8963 HAS SOUS 5294 HAS SOUPS 5294 WITH SCORE 5302.963
AT ITER 1109 NEW BEST:: SOT 19928 SOS 8921 HAS SOPS 8921 HAS SOUS 5273 HAS SOUPS 5273 WITH SCORE 5281.921
AT ITER 1129 NEW BEST:: SOT 19753 SOS 9034 HAS SOPS 9034 HAS SOUS 5236 HAS SOUPS 5236 WITH SCORE 5245.034
AT ITER 1131 NEW BEST:: SOT 19731 SOS 8991 HAS SOPS 8991 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5219.991
AT ITER 1140 NEW BEST:: SOT 19676 SOS 8918 HAS SOPS 8918 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5193.918
AT ITER 1156 NEW BEST:: SOT 19683 SOS 8883 HAS SOPS 8883 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5186.883
AT ITER 1161 NEW BEST:: SOT 19662 SOS 8778 HAS SOPS 8778 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5165.778
AT ITER 1177 NEW BEST:: SOT 19662 SOS 8767 HAS SOPS 8767 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5165.767
AT ITER 1192 NEW BEST:: SOT 19652 SOS 8747 HAS SOPS 8747 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5145.747
AT ITER 1200 NEW BEST:: SOT 19606 SOS 8832 HAS SOPS 8832 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5142.832
AT ITER 1227 NEW BEST:: SOT 19235 SOS 8471 HAS SOPS 8471 HAS SOUS 4891 HAS SOUPS 4891 WITH SCORE 4899.471
AT ITER 1236 NEW BEST:: SOT 19193 SOS 8406 HAS SOPS 8406 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4882.406
AT ITER 1242 NEW BEST:: SOT 19099 SOS 8210 HAS SOPS 8210 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4791.21
AT ITER 1255 NEW BEST:: SOT 19083 SOS 8178 HAS SOPS 8178 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4775.178
AT ITER 1259 NEW BEST:: SOT 19085 SOS 8180 HAS SOPS 8180 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4773.18
AT ITER 1260 NEW BEST:: SOT 19084 SOS 8178 HAS SOPS 8178 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4773.178
AT ITER 1270 NEW BEST:: SOT 19062 SOS 8176 HAS SOPS 8176 HAS SOUS 4755 HAS SOUPS 4755 WITH SCORE 4763.176
AT ITER 1299 NEW BEST:: SOT 19060 SOS 8172 HAS SOPS 8172 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4759.172
AT ITER 1300 NEW BEST:: SOT 19075 SOS 8166 HAS SOPS 8166 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4759.166
AT ITER 1329 NEW BEST:: SOT 19061 SOS 8166 HAS SOPS 8166 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4734.166
AT ITER 1344 NEW BEST:: SOT 19064 SOS 8144 HAS SOPS 8144 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4726.144
AT ITER 1356 NEW BEST:: SOT 19070 SOS 8154 HAS SOPS 8154 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4697.154
AT ITER 1383 NEW BEST:: SOT 19054 SOS 8118 HAS SOPS 8118 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4671.118
AT ITER 1384 NEW BEST:: SOT 19051 SOS 8117 HAS SOPS 8117 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4670.117
AT ITER 1394 NEW BEST:: SOT 19054 SOS 8119 HAS SOPS 8119 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4665.119
AT ITER 1396 NEW BEST:: SOT 19003 SOS 8068 HAS SOPS 8068 HAS SOUS 4606 HAS SOUPS 4606 WITH SCORE 4614.068
AT ITER 1412 NEW BEST:: SOT 18984 SOS 8011 HAS SOPS 8011 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4580.011
AT ITER 1469 NEW BEST:: SOT 18987 SOS 7925 HAS SOPS 7925 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4562.925
AT ITER 1499 NEW BEST:: SOT 19001 SOS 7952 HAS SOPS 7952 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4558.952
AT ITER 1503 NEW BEST:: SOT 19014 SOS 7967 HAS SOPS 7967 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4551.967
AT ITER 1516 NEW BEST:: SOT 19014 SOS 7967 HAS SOPS 7967 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4547.967
AT ITER 1518 NEW BEST:: SOT 19021 SOS 7935 HAS SOPS 7935 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4533.935
AT ITER 1522 NEW BEST:: SOT 19021 SOS 7935 HAS SOPS 7935 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4525.935
AT ITER 1527 NEW BEST:: SOT 19011 SOS 7925 HAS SOPS 7925 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4507.925
AT ITER 1543 NEW BEST:: SOT 19002 SOS 7911 HAS SOPS 7911 HAS SOUS 4475 HAS SOUPS 4475 WITH SCORE 4482.911
AT ITER 1574 NEW BEST:: SOT 18984 SOS 7878 HAS SOPS 7878 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4470.878
AT ITER 1583 NEW BEST:: SOT 18972 SOS 7886 HAS SOPS 7886 HAS SOUS 4459 HAS SOUPS 4459 WITH SCORE 4466.886
AT ITER 1587 NEW BEST:: SOT 18970 SOS 7886 HAS SOPS 7886 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4462.886
AT ITER 1593 NEW BEST:: SOT 18953 SOS 7825 HAS SOPS 7825 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4424.825
AT ITER 1601 NEW BEST:: SOT 18955 SOS 7829 HAS SOPS 7829 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4411.829
AT ITER 1642 NEW BEST:: SOT 18959 SOS 7812 HAS SOPS 7812 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4400.812
AT ITER 1643 NEW BEST:: SOT 18953 SOS 7806 HAS SOPS 7806 HAS SOUS 4391 HAS SOUPS 4391 WITH SCORE 4398.806
AT ITER 1645 NEW BEST:: SOT 18943 SOS 7796 HAS SOPS 7796 HAS SOUS 4381 HAS SOUPS 4381 WITH SCORE 4388.796
AT ITER 1678 NEW BEST:: SOT 18939 SOS 7793 HAS SOPS 7793 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4385.793
AT ITER 1683 NEW BEST:: SOT 18910 SOS 7726 HAS SOPS 7726 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4331.726
AT ITER 1712 NEW BEST:: SOT 18894 SOS 7710 HAS SOPS 7710 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4315.71
AT ITER 1722 NEW BEST:: SOT 18894 SOS 7709 HAS SOPS 7709 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4313.709
AT ITER 1733 NEW BEST:: SOT 18922 SOS 7721 HAS SOPS 7721 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4309.721
AT ITER 1757 NEW BEST:: SOT 18932 SOS 7809 HAS SOPS 7809 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4293.809
AT ITER 1774 NEW BEST:: SOT 18954 SOS 7828 HAS SOPS 7828 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4282.828
AT ITER 1782 NEW BEST:: SOT 18937 SOS 7821 HAS SOPS 7821 HAS SOUS 4265 HAS SOUPS 4265 WITH SCORE 4272.821
AT ITER 1813 NEW BEST:: SOT 18929 SOS 7805 HAS SOPS 7805 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4270.805
AT ITER 1816 NEW BEST:: SOT 18915 SOS 7796 HAS SOPS 7796 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4263.796
AT ITER 1826 NEW BEST:: SOT 18898 SOS 7832 HAS SOPS 7832 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4245.832
AT ITER 1837 NEW BEST:: SOT 18898 SOS 7831 HAS SOPS 7831 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4245.831
AT ITER 1856 NEW BEST:: SOT 18892 SOS 7811 HAS SOPS 7811 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4244.811
AT ITER 1886 NEW BEST:: SOT 18903 SOS 7641 HAS SOPS 7641 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4223.641
AT ITER 1896 NEW BEST:: SOT 18847 SOS 7497 HAS SOPS 7497 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4168.497
AT ITER 1899 NEW BEST:: SOT 18829 SOS 7479 HAS SOPS 7479 HAS SOUS 4156 HAS SOUPS 4156 WITH SCORE 4163.479
AT ITER 1926 NEW BEST:: SOT 18821 SOS 7471 HAS SOPS 7471 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4150.471
AT ITER 1934 NEW BEST:: SOT 18811 SOS 7461 HAS SOPS 7461 HAS SOUS 4143 HAS SOUPS 4143 WITH SCORE 4150.461
AT ITER 1966 NEW BEST:: SOT 18809 SOS 7458 HAS SOPS 7458 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4147.458
AT ITER 1970 NEW BEST:: SOT 18810 SOS 7456 HAS SOPS 7456 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4140.456
AT ITER 2001 NEW BEST:: SOT 18819 SOS 7444 HAS SOPS 7444 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4131.444
AT ITER 2028 NEW BEST:: SOT 18819 SOS 7443 HAS SOPS 7443 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4129.443
AT ITER 2071 NEW BEST:: SOT 18798 SOS 7433 HAS SOPS 7433 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4127.433
AT ITER 2072 NEW BEST:: SOT 18812 SOS 7455 HAS SOPS 7455 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4123.455
AT ITER 2112 NEW BEST:: SOT 18811 SOS 7484 HAS SOPS 7484 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4122.484
AT ITER 2114 NEW BEST:: SOT 18837 SOS 7496 HAS SOPS 7496 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4120.496
AT ITER 2116 NEW BEST:: SOT 18818 SOS 7494 HAS SOPS 7494 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4099.494
AT ITER 2135 NEW BEST:: SOT 18820 SOS 7487 HAS SOPS 7487 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4093.487
AT ITER 2136 NEW BEST:: SOT 18814 SOS 7481 HAS SOPS 7481 HAS SOUS 4080 HAS SOUPS 4080 WITH SCORE 4087.481
AT ITER 2183 NEW BEST:: SOT 18814 SOS 7451 HAS SOPS 7451 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4081.451
AT ITER 2208 NEW BEST:: SOT 18806 SOS 7429 HAS SOPS 7429 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4068.429
AT ITER 2224 NEW BEST:: SOT 18815 SOS 7455 HAS SOPS 7455 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4059.455
AT ITER 2250 NEW BEST:: SOT 18823 SOS 7431 HAS SOPS 7431 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4055.431
AT ITER 2264 NEW BEST:: SOT 18820 SOS 7425 HAS SOPS 7425 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4055.425
AT ITER 2290 NEW BEST:: SOT 18775 SOS 7417 HAS SOPS 7417 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4024.417
AT ITER 2308 NEW BEST:: SOT 18775 SOS 7416 HAS SOPS 7416 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4023.416
AT ITER 2314 NEW BEST:: SOT 18774 SOS 7414 HAS SOPS 7414 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4022.414
AT ITER 2336 NEW BEST:: SOT 18754 SOS 7377 HAS SOPS 7377 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4010.377
AT ITER 2348 NEW BEST:: SOT 18752 SOS 7373 HAS SOPS 7373 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4008.373
AT ITER 2350 NEW BEST:: SOT 18742 SOS 7363 HAS SOPS 7363 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4001.363
AT ITER 2363 NEW BEST:: SOT 18730 SOS 7339 HAS SOPS 7339 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3989.339
AT ITER 2382 NEW BEST:: SOT 18728 SOS 7337 HAS SOPS 7337 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3984.337
AT ITER 2440 NEW BEST:: SOT 18728 SOS 7332 HAS SOPS 7332 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3983.332
AT ITER 2503 NEW BEST:: SOT 18727 SOS 7330 HAS SOPS 7330 HAS SOUS 3975 HAS SOUPS 3975 WITH SCORE 3982.33
AT ITER 2551 NEW BEST:: SOT 18731 SOS 7379 HAS SOPS 7379 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3973.379
AT ITER 2553 NEW BEST:: SOT 18726 SOS 7374 HAS SOPS 7374 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3968.374
AT ITER 2574 NEW BEST:: SOT 18727 SOS 7364 HAS SOPS 7364 HAS SOUS 3959 HAS SOUPS 3959 WITH SCORE 3966.364
AT ITER 2596 NEW BEST:: SOT 18724 SOS 7353 HAS SOPS 7353 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3965.353
AT ITER 2629 NEW BEST:: SOT 18724 SOS 7346 HAS SOPS 7346 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3963.346
AT ITER 2662 NEW BEST:: SOT 18714 SOS 7346 HAS SOPS 7346 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.346
AT ITER 2670 NEW BEST:: SOT 18696 SOS 7337 HAS SOPS 7337 HAS SOUS 3955 HAS SOUPS 3955 WITH SCORE 3962.337
AT ITER 2684 NEW BEST:: SOT 18696 SOS 7336 HAS SOPS 7336 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3960.336
AT ITER 2689 NEW BEST:: SOT 18694 SOS 7341 HAS SOPS 7341 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3956.341
AT ITER 2754 NEW BEST:: SOT 18688 SOS 7335 HAS SOPS 7335 HAS SOUS 3943 HAS SOUPS 3943 WITH SCORE 3950.335
AT ITER 2757 NEW BEST:: SOT 18687 SOS 7330 HAS SOPS 7330 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3947.33
AT ITER 2761 NEW BEST:: SOT 18680 SOS 7324 HAS SOPS 7324 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3937.324
AT ITER 2800 NEW BEST:: SOT 18680 SOS 7325 HAS SOPS 7325 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3936.325
AT ITER 2810 NEW BEST:: SOT 18676 SOS 7313 HAS SOPS 7313 HAS SOUS 3925 HAS SOUPS 3925 WITH SCORE 3932.313
AT ITER 2815 NEW BEST:: SOT 18676 SOS 7313 HAS SOPS 7313 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3926.313
AT ITER 2847 NEW BEST:: SOT 18680 SOS 7309 HAS SOPS 7309 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3922.309
AT ITER 2858 NEW BEST:: SOT 18680 SOS 7304 HAS SOPS 7304 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3912.304
AT ITER 2859 NEW BEST:: SOT 18681 SOS 7300 HAS SOPS 7300 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3911.3
AT ITER 2870 NEW BEST:: SOT 18688 SOS 7229 HAS SOPS 7229 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3905.229
AT ITER 2883 NEW BEST:: SOT 18688 SOS 7218 HAS SOPS 7218 HAS SOUS 3896 HAS SOUPS 3896 WITH SCORE 3903.218
AT ITER 2914 NEW BEST:: SOT 18687 SOS 7217 HAS SOPS 7217 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3901.217
AT ITER 2923 NEW BEST:: SOT 18687 SOS 7208 HAS SOPS 7208 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3898.208
AT ITER 2987 NEW BEST:: SOT 18667 SOS 7310 HAS SOPS 7310 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3894.31
AT ITER 3018 NEW BEST:: SOT 18662 SOS 7305 HAS SOPS 7305 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3894.305
AT ITER 3023 NEW BEST:: SOT 18663 SOS 7304 HAS SOPS 7304 HAS SOUS 3885 HAS SOUPS 3885 WITH SCORE 3892.304
AT ITER 3038 NEW BEST:: SOT 18659 SOS 7300 HAS SOPS 7300 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3883.3
AT ITER 3057 NEW BEST:: SOT 18658 SOS 7300 HAS SOPS 7300 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3879.3
AT ITER 3165 NEW BEST:: SOT 18655 SOS 7291 HAS SOPS 7291 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3879.291
AT ITER 3196 NEW BEST:: SOT 18655 SOS 7285 HAS SOPS 7285 HAS SOUS 3866 HAS SOUPS 3866 WITH SCORE 3873.285
AT ITER 3200 NEW BEST:: SOT 18655 SOS 7284 HAS SOPS 7284 HAS SOUS 3865 HAS SOUPS 3865 WITH SCORE 3872.284
AT ITER 3225 NEW BEST:: SOT 18654 SOS 7288 HAS SOPS 7288 HAS SOUS 3863 HAS SOUPS 3863 WITH SCORE 3870.288
AT ITER 3241 NEW BEST:: SOT 18652 SOS 7284 HAS SOPS 7284 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3868.284
AT ITER 3317 NEW BEST:: SOT 18652 SOS 7278 HAS SOPS 7278 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3866.278
AT ITER 3370 NEW BEST:: SOT 18642 SOS 7258 HAS SOPS 7258 HAS SOUS 3859 HAS SOUPS 3859 WITH SCORE 3866.258
AT ITER 3376 NEW BEST:: SOT 18641 SOS 7258 HAS SOPS 7258 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3865.258
AT ITER 3381 NEW BEST:: SOT 18635 SOS 7252 HAS SOPS 7252 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3865.252
AT ITER 3437 NEW BEST:: SOT 18621 SOS 7243 HAS SOPS 7243 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3858.243
AT ITER 3440 NEW BEST:: SOT 18619 SOS 7241 HAS SOPS 7241 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3856.241
AT ITER 3596 NEW BEST:: SOT 18618 SOS 7241 HAS SOPS 7241 HAS SOUS 3847 HAS SOUPS 3847 WITH SCORE 3854.241
AT ITER 3674 NEW BEST:: SOT 18630 SOS 7187 HAS SOPS 7187 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3851.187
AT ITER 3716 NEW BEST:: SOT 18650 SOS 7194 HAS SOPS 7194 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3845.194
AT ITER 3761 NEW BEST:: SOT 18644 SOS 7178 HAS SOPS 7178 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3837.178
AT ITER 3788 NEW BEST:: SOT 18644 SOS 7176 HAS SOPS 7176 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3831.176
AT ITER 3815 NEW BEST:: SOT 18630 SOS 7130 HAS SOPS 7130 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3823.13
AT ITER 3882 NEW BEST:: SOT 18626 SOS 7126 HAS SOPS 7126 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3819.126
AT ITER 3910 NEW BEST:: SOT 18611 SOS 7101 HAS SOPS 7101 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3809.101
AT ITER 3913 NEW BEST:: SOT 18609 SOS 7097 HAS SOPS 7097 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3805.097
AT ITER 3916 NEW BEST:: SOT 18609 SOS 7095 HAS SOPS 7095 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3805.095
AT ITER 3922 NEW BEST:: SOT 18607 SOS 7101 HAS SOPS 7101 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3803.101
AT ITER 3944 NEW BEST:: SOT 18612 SOS 7091 HAS SOPS 7091 HAS SOUS 3793 HAS SOUPS 3793 WITH SCORE 3800.091
AT ITER 4032 NEW BEST:: SOT 18611 SOS 7093 HAS SOPS 7093 HAS SOUS 3789 HAS SOUPS 3789 WITH SCORE 3796.093
AT ITER 4047 NEW BEST:: SOT 18612 SOS 7094 HAS SOPS 7094 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3792.094
AT ITER 4063 NEW BEST:: SOT 18616 SOS 7075 HAS SOPS 7075 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3788.075
AT ITER 4124 NEW BEST:: SOT 18617 SOS 7073 HAS SOPS 7073 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3787.073
AT ITER 4218 NEW BEST:: SOT 18616 SOS 7072 HAS SOPS 7072 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3785.072
AT ITER 4263 NEW BEST:: SOT 18617 SOS 7073 HAS SOPS 7073 HAS SOUS 3777 HAS SOUPS 3777 WITH SCORE 3784.073
AT ITER 4267 NEW BEST:: SOT 18619 SOS 7075 HAS SOPS 7075 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3780.075
AT ITER 4282 NEW BEST:: SOT 18619 SOS 7075 HAS SOPS 7075 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3779.075
AT ITER 4295 NEW BEST:: SOT 18616 SOS 7071 HAS SOPS 7071 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3774.071
AT ITER 4393 NEW BEST:: SOT 18597 SOS 7108 HAS SOPS 7108 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3773.108
AT ITER 4441 NEW BEST:: SOT 18588 SOS 7099 HAS SOPS 7099 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3769.099
AT ITER 4454 NEW BEST:: SOT 18579 SOS 7077 HAS SOPS 7077 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3760.077
AT ITER 4474 NEW BEST:: SOT 18554 SOS 7052 HAS SOPS 7052 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3755.052
AT ITER 4495 NEW BEST:: SOT 18545 SOS 7040 HAS SOPS 7040 HAS SOUS 3739 HAS SOUPS 3739 WITH SCORE 3746.04
AT ITER 4567 NEW BEST:: SOT 18529 SOS 7024 HAS SOPS 7024 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3725.024
AT ITER 4583 NEW BEST:: SOT 18525 SOS 7020 HAS SOPS 7020 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3721.02
AT ITER 4591 NEW BEST:: SOT 18525 SOS 7020 HAS SOPS 7020 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3719.02
AT ITER 4614 NEW BEST:: SOT 18525 SOS 7011 HAS SOPS 7011 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3717.011
AT ITER 4628 NEW BEST:: SOT 18518 SOS 7005 HAS SOPS 7005 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3711.005
AT ITER 4671 NEW BEST:: SOT 18518 SOS 6999 HAS SOPS 6999 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3704.999
AT ITER 4676 NEW BEST:: SOT 18519 SOS 7001 HAS SOPS 7001 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3704.001
AT ITER 4702 NEW BEST:: SOT 18451 SOS 7140 HAS SOPS 7140 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3698.14
AT ITER 4714 NEW BEST:: SOT 18448 SOS 7134 HAS SOPS 7134 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3695.134
AT ITER 4718 NEW BEST:: SOT 18446 SOS 7134 HAS SOPS 7134 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3691.134
AT ITER 4743 NEW BEST:: SOT 18437 SOS 7131 HAS SOPS 7131 HAS SOUS 3681 HAS SOUPS 3681 WITH SCORE 3688.131
AT ITER 4767 NEW BEST:: SOT 18427 SOS 7108 HAS SOPS 7108 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3680.108
AT ITER 4792 NEW BEST:: SOT 18424 SOS 7102 HAS SOPS 7102 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3677.102
AT ITER 4818 NEW BEST:: SOT 18419 SOS 7087 HAS SOPS 7087 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3676.087
AT ITER 4826 NEW BEST:: SOT 18401 SOS 7069 HAS SOPS 7069 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3658.069
AT ITER 4843 NEW BEST:: SOT 18403 SOS 7052 HAS SOPS 7052 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3655.052
AT ITER 4941 NEW BEST:: SOT 18407 SOS 6956 HAS SOPS 6956 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3638.956
AT ITER 5014 NEW BEST:: SOT 18401 SOS 6932 HAS SOPS 6932 HAS SOUS 3620 HAS SOUPS 3620 WITH SCORE 3626.932
AT ITER 5039 NEW BEST:: SOT 18400 SOS 6930 HAS SOPS 6930 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3624.93
AT ITER 5081 NEW BEST:: SOT 18398 SOS 6928 HAS SOPS 6928 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3622.928
AT ITER 5097 NEW BEST:: SOT 18387 SOS 6922 HAS SOPS 6922 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3616.922
AT ITER 5119 NEW BEST:: SOT 18395 SOS 6931 HAS SOPS 6931 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3614.931
AT ITER 5147 NEW BEST:: SOT 18391 SOS 6927 HAS SOPS 6927 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3613.927
AT ITER 5302 NEW BEST:: SOT 18388 SOS 6924 HAS SOPS 6924 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3606.924
AT ITER 5303 NEW BEST:: SOT 18388 SOS 6923 HAS SOPS 6923 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3605.923
AT ITER 5319 NEW BEST:: SOT 18388 SOS 6920 HAS SOPS 6920 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3604.92
AT ITER 5370 NEW BEST:: SOT 18391 SOS 6920 HAS SOPS 6920 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3603.92
AT ITER 5487 NEW BEST:: SOT 18388 SOS 6917 HAS SOPS 6917 HAS SOUS 3594 HAS SOUPS 3594 WITH SCORE 3600.917
AT ITER 5509 NEW BEST:: SOT 18387 SOS 6913 HAS SOPS 6913 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3598.913
AT ITER 5528 NEW BEST:: SOT 18384 SOS 6910 HAS SOPS 6910 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3596.91
AT ITER 5621 NEW BEST:: SOT 18386 SOS 6890 HAS SOPS 6890 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3596.89
AT ITER 5645 NEW BEST:: SOT 18384 SOS 6888 HAS SOPS 6888 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3588.888
AT ITER 5765 NEW BEST:: SOT 18382 SOS 6886 HAS SOPS 6886 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3586.886
AT ITER 5923 NEW BEST:: SOT 18369 SOS 6877 HAS SOPS 6877 HAS SOUS 3576 HAS SOUPS 3576 WITH SCORE 3582.877
AT ITER 5935 NEW BEST:: SOT 18367 SOS 6871 HAS SOPS 6871 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3580.871
AT ITER 5952 NEW BEST:: SOT 18377 SOS 6872 HAS SOPS 6872 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3577.872
AT ITER 5981 NEW BEST:: SOT 18385 SOS 6891 HAS SOPS 6891 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3570.891
AT ITER 6270 NEW BEST:: SOT 18385 SOS 6890 HAS SOPS 6890 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3567.89
AT ITER 6410 NEW BEST:: SOT 18383 SOS 6886 HAS SOPS 6886 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3565.886
AT ITER 6490 NEW BEST:: SOT 18382 SOS 6890 HAS SOPS 6890 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3563.89
AT ITER 6533 NEW BEST:: SOT 18381 SOS 6896 HAS SOPS 6896 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3559.896
AT ITER 6709 NEW BEST:: SOT 18374 SOS 6890 HAS SOPS 6890 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3557.89
AT ITER 6734 NEW BEST:: SOT 18367 SOS 6872 HAS SOPS 6872 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3539.872
AT ITER 6773 NEW BEST:: SOT 18367 SOS 6872 HAS SOPS 6872 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3538.872
AT ITER 6870 NEW BEST:: SOT 18366 SOS 6859 HAS SOPS 6859 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3525.859
AT ITER 6899 NEW BEST:: SOT 18365 SOS 6860 HAS SOPS 6860 HAS SOUS 3518 HAS SOUPS 3518 WITH SCORE 3524.86
AT ITER 6912 NEW BEST:: SOT 18361 SOS 6860 HAS SOPS 6860 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3516.86
AT ITER 6930 NEW BEST:: SOT 18361 SOS 6862 HAS SOPS 6862 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3514.862
AT ITER 6989 NEW BEST:: SOT 18356 SOS 6857 HAS SOPS 6857 HAS SOUS 3507 HAS SOUPS 3507 WITH SCORE 3513.857
AT ITER 7051 NEW BEST:: SOT 18353 SOS 6855 HAS SOPS 6855 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3512.855
AT ITER 7088 NEW BEST:: SOT 18353 SOS 6861 HAS SOPS 6861 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3510.861
AT ITER 7176 NEW BEST:: SOT 18348 SOS 6843 HAS SOPS 6843 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3500.843
AT ITER 7322 NEW BEST:: SOT 18345 SOS 6839 HAS SOPS 6839 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3496.839
AT ITER 7391 NEW BEST:: SOT 18343 SOS 6835 HAS SOPS 6835 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3494.835
AT ITER 7472 NEW BEST:: SOT 18336 SOS 6827 HAS SOPS 6827 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3490.827
AT ITER 7552 NEW BEST:: SOT 18334 SOS 6825 HAS SOPS 6825 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3488.825
AT ITER 7563 NEW BEST:: SOT 18333 SOS 6825 HAS SOPS 6825 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3487.825
AT ITER 7615 NEW BEST:: SOT 18333 SOS 6825 HAS SOPS 6825 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3486.825
AT ITER 7663 NEW BEST:: SOT 18328 SOS 6812 HAS SOPS 6812 HAS SOUS 3479 HAS SOUPS 3479 WITH SCORE 3485.812
AT ITER 7723 NEW BEST:: SOT 18329 SOS 6812 HAS SOPS 6812 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3483.812
AT ITER 7742 NEW BEST:: SOT 18322 SOS 6806 HAS SOPS 6806 HAS SOUS 3471 HAS SOUPS 3471 WITH SCORE 3477.806
AT ITER 7912 NEW BEST:: SOT 18319 SOS 6802 HAS SOPS 6802 HAS SOUS 3469 HAS SOUPS 3469 WITH SCORE 3475.802
AT ITER 8065 NEW BEST:: SOT 18319 SOS 6801 HAS SOPS 6801 HAS SOUS 3468 HAS SOUPS 3468 WITH SCORE 3474.801
AT ITER 8105 NEW BEST:: SOT 18321 SOS 6801 HAS SOPS 6801 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3470.801
AT ITER 8199 NEW BEST:: SOT 18325 SOS 6798 HAS SOPS 6798 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3469.798
AT ITER 8220 NEW BEST:: SOT 18325 SOS 6797 HAS SOPS 6797 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3469.797
AT ITER 8256 NEW BEST:: SOT 18318 SOS 6779 HAS SOPS 6779 HAS SOUS 3461 HAS SOUPS 3461 WITH SCORE 3467.779
AT ITER 8378 NEW BEST:: SOT 18314 SOS 6771 HAS SOPS 6771 HAS SOUS 3457 HAS SOUPS 3457 WITH SCORE 3463.771
AT ITER 8396 NEW BEST:: SOT 18313 SOS 6769 HAS SOPS 6769 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3459.769
AT ITER 8410 NEW BEST:: SOT 18309 SOS 6773 HAS SOPS 6773 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3458.773
AT ITER 8467 NEW BEST:: SOT 18309 SOS 6772 HAS SOPS 6772 HAS SOUS 3449 HAS SOUPS 3449 WITH SCORE 3455.772
AT ITER 8475 NEW BEST:: SOT 18283 SOS 6752 HAS SOPS 6752 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3447.752
AT ITER 8498 NEW BEST:: SOT 18275 SOS 6742 HAS SOPS 6742 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3439.742
AT ITER 8584 NEW BEST:: SOT 18275 SOS 6741 HAS SOPS 6741 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3439.741
AT ITER 8769 NEW BEST:: SOT 18275 SOS 6735 HAS SOPS 6735 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3438.735
AT ITER 8804 NEW BEST:: SOT 18274 SOS 6732 HAS SOPS 6732 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3436.732
AT ITER 8825 NEW BEST:: SOT 18274 SOS 6722 HAS SOPS 6722 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3436.722
AT ITER 8959 NEW BEST:: SOT 18273 SOS 6719 HAS SOPS 6719 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3435.719
AT ITER 9088 NEW BEST:: SOT 18273 SOS 6706 HAS SOPS 6706 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3430.706
AT ITER 9127 NEW BEST:: SOT 18273 SOS 6700 HAS SOPS 6700 HAS SOUS 3418 HAS SOUPS 3418 WITH SCORE 3424.7
AT ITER 9279 NEW BEST:: SOT 18274 SOS 6698 HAS SOPS 6698 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3423.698
AT ITER 9370 NEW BEST:: SOT 18272 SOS 6707 HAS SOPS 6707 HAS SOUS 3416 HAS SOUPS 3416 WITH SCORE 3422.707
AT ITER 9377 NEW BEST:: SOT 18270 SOS 6696 HAS SOPS 6696 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3419.696
AT ITER 9434 NEW BEST:: SOT 18267 SOS 6693 HAS SOPS 6693 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3416.693
AT ITER 9569 NEW BEST:: SOT 18261 SOS 6704 HAS SOPS 6704 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3415.704
AT ITER 9642 NEW BEST:: SOT 18264 SOS 6701 HAS SOPS 6701 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3412.701
AT ITER 9655 NEW BEST:: SOT 18250 SOS 6687 HAS SOPS 6687 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3401.687
AT ITER 9777 NEW BEST:: SOT 18251 SOS 6690 HAS SOPS 6690 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3400.69
AT ITER 9964 NEW BEST:: SOT 18250 SOS 6689 HAS SOPS 6689 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3400.689
AT ITER 9999 NEW BEST:: SOT 18249 SOS 6689 HAS SOPS 6689 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3398.689
STATE_SPACE STATES 2959359753 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 34123933984 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307457842

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-COL-Z2T4N08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is UtilityControlRoom-COL-Z2T4N08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711301016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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