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-167912711200968.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-Z2T3N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711200968
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 7.3K Feb 26 14:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 14:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 14:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 14:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:24 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 1679307161347

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-Z2T3N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:12:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:12:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:12:43] [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:12:44] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:12:44] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 796 ms
[2023-03-20 10:12:44] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 106 PT places and 162.0 transition bindings in 28 ms.
[2023-03-20 10:12:44] [INFO ] Unfolded HLPN to a Petri net with 106 places and 162 transitions 510 arcs in 18 ms.
[2023-03-20 10:12:44] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:12:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 106 places, 162 transitions and 510 arcs took 5 ms.
Total runtime 956 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T3N06
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: 106 places, 162 transitions, 510 arcs.
AT ITER 0 NEW BEST:: SOT 13815 SOS 10287 HAS SOPS 10287 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6994.287
AT ITER 1 NEW BEST:: SOT 13792 SOS 10270 HAS SOPS 10270 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6973.27
AT ITER 3 NEW BEST:: SOT 13761 SOS 9831 HAS SOPS 9831 HAS SOUS 6935 HAS SOUPS 6935 WITH SCORE 6944.831
AT ITER 4 NEW BEST:: SOT 13761 SOS 9830 HAS SOPS 9830 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6943.83
AT ITER 7 NEW BEST:: SOT 13571 SOS 9808 HAS SOPS 9808 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6746.808
AT ITER 8 NEW BEST:: SOT 13547 SOS 9784 HAS SOPS 9784 HAS SOUS 6713 HAS SOUPS 6713 WITH SCORE 6722.784
AT ITER 9 NEW BEST:: SOT 13725 SOS 9734 HAS SOPS 9734 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6418.734
AT ITER 12 NEW BEST:: SOT 13725 SOS 9660 HAS SOPS 9660 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6407.66
AT ITER 14 NEW BEST:: SOT 13723 SOS 9446 HAS SOPS 9446 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6321.446
AT ITER 16 NEW BEST:: SOT 13723 SOS 9315 HAS SOPS 9315 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6299.315
AT ITER 18 NEW BEST:: SOT 13691 SOS 9283 HAS SOPS 9283 HAS SOUS 6244 HAS SOUPS 6244 WITH SCORE 6253.283
AT ITER 19 NEW BEST:: SOT 13661 SOS 9310 HAS SOPS 9310 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6241.31
AT ITER 24 NEW BEST:: SOT 13660 SOS 9309 HAS SOPS 9309 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6240.309
AT ITER 25 NEW BEST:: SOT 13654 SOS 9266 HAS SOPS 9266 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6227.266
AT ITER 30 NEW BEST:: SOT 13647 SOS 9217 HAS SOPS 9217 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6159.217
AT ITER 31 NEW BEST:: SOT 13604 SOS 9203 HAS SOPS 9203 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6136.203
AT ITER 32 NEW BEST:: SOT 13596 SOS 9111 HAS SOPS 9111 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6085.111
AT ITER 42 NEW BEST:: SOT 13616 SOS 9091 HAS SOPS 9091 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6085.091
AT ITER 43 NEW BEST:: SOT 13649 SOS 9094 HAS SOPS 9094 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6006.094
AT ITER 45 NEW BEST:: SOT 13576 SOS 8980 HAS SOPS 8980 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5891.98
AT ITER 46 NEW BEST:: SOT 13571 SOS 8975 HAS SOPS 8975 HAS SOUS 5878 HAS SOUPS 5878 WITH SCORE 5886.975
AT ITER 47 NEW BEST:: SOT 13571 SOS 8994 HAS SOPS 8994 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5885.994
AT ITER 52 NEW BEST:: SOT 13571 SOS 8841 HAS SOPS 8841 HAS SOUS 5836 HAS SOUPS 5836 WITH SCORE 5844.841
AT ITER 54 NEW BEST:: SOT 13588 SOS 8670 HAS SOPS 8670 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5769.67
AT ITER 57 NEW BEST:: SOT 13511 SOS 8453 HAS SOPS 8453 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5586.453
AT ITER 60 NEW BEST:: SOT 13496 SOS 8438 HAS SOPS 8438 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5574.438
AT ITER 62 NEW BEST:: SOT 13434 SOS 8262 HAS SOPS 8262 HAS SOUS 5475 HAS SOUPS 5475 WITH SCORE 5483.262
AT ITER 66 NEW BEST:: SOT 13417 SOS 8105 HAS SOPS 8105 HAS SOUS 5447 HAS SOUPS 5447 WITH SCORE 5455.105
AT ITER 68 NEW BEST:: SOT 13417 SOS 8105 HAS SOPS 8105 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5451.105
AT ITER 80 NEW BEST:: SOT 13407 SOS 8085 HAS SOPS 8085 HAS SOUS 5423 HAS SOUPS 5423 WITH SCORE 5431.085
AT ITER 84 NEW BEST:: SOT 13352 SOS 8030 HAS SOPS 8030 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5396.03
AT ITER 85 NEW BEST:: SOT 13348 SOS 8084 HAS SOPS 8084 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5394.084
AT ITER 93 NEW BEST:: SOT 13323 SOS 8063 HAS SOPS 8063 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5349.063
AT ITER 100 NEW BEST:: SOT 13299 SOS 7991 HAS SOPS 7991 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5343.991
AT ITER 101 NEW BEST:: SOT 13290 SOS 7982 HAS SOPS 7982 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5337.982
AT ITER 102 NEW BEST:: SOT 13253 SOS 7946 HAS SOPS 7946 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5335.946
AT ITER 104 NEW BEST:: SOT 13226 SOS 7791 HAS SOPS 7791 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5269.791
AT ITER 109 NEW BEST:: SOT 13224 SOS 7790 HAS SOPS 7790 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5268.79
AT ITER 111 NEW BEST:: SOT 13212 SOS 7761 HAS SOPS 7761 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5265.761
AT ITER 113 NEW BEST:: SOT 13212 SOS 7750 HAS SOPS 7750 HAS SOUS 5254 HAS SOUPS 5254 WITH SCORE 5261.75
AT ITER 116 NEW BEST:: SOT 13212 SOS 7756 HAS SOPS 7756 HAS SOUS 5253 HAS SOUPS 5253 WITH SCORE 5260.756
AT ITER 117 NEW BEST:: SOT 13206 SOS 7777 HAS SOPS 7777 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5253.777
AT ITER 119 NEW BEST:: SOT 13189 SOS 7564 HAS SOPS 7564 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5212.564
AT ITER 120 NEW BEST:: SOT 13183 SOS 7481 HAS SOPS 7481 HAS SOUS 5193 HAS SOUPS 5193 WITH SCORE 5200.481
AT ITER 122 NEW BEST:: SOT 13164 SOS 7387 HAS SOPS 7387 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5166.387
AT ITER 125 NEW BEST:: SOT 13163 SOS 7312 HAS SOPS 7312 HAS SOUS 5119 HAS SOUPS 5119 WITH SCORE 5126.312
AT ITER 126 NEW BEST:: SOT 13163 SOS 7304 HAS SOPS 7304 HAS SOUS 5105 HAS SOUPS 5105 WITH SCORE 5112.304
AT ITER 135 NEW BEST:: SOT 13178 SOS 7314 HAS SOPS 7314 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5110.314
AT ITER 141 NEW BEST:: SOT 13178 SOS 7304 HAS SOPS 7304 HAS SOUS 5103 HAS SOUPS 5103 WITH SCORE 5110.304
AT ITER 143 NEW BEST:: SOT 13152 SOS 7249 HAS SOPS 7249 HAS SOUS 5020 HAS SOUPS 5020 WITH SCORE 5027.249
AT ITER 145 NEW BEST:: SOT 13124 SOS 7178 HAS SOPS 7178 HAS SOUS 4964 HAS SOUPS 4964 WITH SCORE 4971.178
AT ITER 147 NEW BEST:: SOT 13107 SOS 7154 HAS SOPS 7154 HAS SOUS 4960 HAS SOUPS 4960 WITH SCORE 4967.154
AT ITER 153 NEW BEST:: SOT 13102 SOS 7152 HAS SOPS 7152 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4962.152
AT ITER 160 NEW BEST:: SOT 13108 SOS 7165 HAS SOPS 7165 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4961.165
AT ITER 163 NEW BEST:: SOT 13108 SOS 7161 HAS SOPS 7161 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4957.161
AT ITER 178 NEW BEST:: SOT 13113 SOS 7161 HAS SOPS 7161 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4952.161
AT ITER 186 NEW BEST:: SOT 13112 SOS 7158 HAS SOPS 7158 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4950.158
AT ITER 187 NEW BEST:: SOT 13107 SOS 7133 HAS SOPS 7133 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4937.133
AT ITER 188 NEW BEST:: SOT 13107 SOS 7131 HAS SOPS 7131 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4935.131
AT ITER 198 NEW BEST:: SOT 13102 SOS 7106 HAS SOPS 7106 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4920.106
AT ITER 203 NEW BEST:: SOT 13101 SOS 7104 HAS SOPS 7104 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4919.104
AT ITER 206 NEW BEST:: SOT 13101 SOS 7090 HAS SOPS 7090 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4919.09
AT ITER 207 NEW BEST:: SOT 13081 SOS 7074 HAS SOPS 7074 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4891.074
AT ITER 213 NEW BEST:: SOT 13077 SOS 7090 HAS SOPS 7090 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4889.09
AT ITER 216 NEW BEST:: SOT 13072 SOS 7099 HAS SOPS 7099 HAS SOUS 4872 HAS SOUPS 4872 WITH SCORE 4879.099
AT ITER 220 NEW BEST:: SOT 12900 SOS 6965 HAS SOPS 6965 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4806.965
AT ITER 222 NEW BEST:: SOT 12882 SOS 6947 HAS SOPS 6947 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4770.947
AT ITER 227 NEW BEST:: SOT 12887 SOS 6947 HAS SOPS 6947 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4765.947
AT ITER 229 NEW BEST:: SOT 12879 SOS 6987 HAS SOPS 6987 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4716.987
AT ITER 232 NEW BEST:: SOT 12883 SOS 6915 HAS SOPS 6915 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4672.915
AT ITER 234 NEW BEST:: SOT 12868 SOS 6927 HAS SOPS 6927 HAS SOUS 4665 HAS SOUPS 4665 WITH SCORE 4671.927
AT ITER 242 NEW BEST:: SOT 12865 SOS 6924 HAS SOPS 6924 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4668.924
AT ITER 249 NEW BEST:: SOT 12865 SOS 6918 HAS SOPS 6918 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4665.918
AT ITER 253 NEW BEST:: SOT 12904 SOS 6852 HAS SOPS 6852 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4660.852
AT ITER 254 NEW BEST:: SOT 12879 SOS 6825 HAS SOPS 6825 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4597.825
AT ITER 259 NEW BEST:: SOT 12855 SOS 6783 HAS SOPS 6783 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4593.783
AT ITER 261 NEW BEST:: SOT 12851 SOS 6832 HAS SOPS 6832 HAS SOUS 4583 HAS SOUPS 4583 WITH SCORE 4589.832
AT ITER 269 NEW BEST:: SOT 12846 SOS 6799 HAS SOPS 6799 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4560.799
AT ITER 272 NEW BEST:: SOT 12840 SOS 6799 HAS SOPS 6799 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4554.799
AT ITER 273 NEW BEST:: SOT 12840 SOS 6799 HAS SOPS 6799 HAS SOUS 4547 HAS SOUPS 4547 WITH SCORE 4553.799
AT ITER 274 NEW BEST:: SOT 12781 SOS 6757 HAS SOPS 6757 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4540.757
AT ITER 278 NEW BEST:: SOT 12775 SOS 6611 HAS SOPS 6611 HAS SOUS 4521 HAS SOUPS 4521 WITH SCORE 4527.611
AT ITER 279 NEW BEST:: SOT 12779 SOS 6597 HAS SOPS 6597 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4493.597
AT ITER 280 NEW BEST:: SOT 12071 SOS 6068 HAS SOPS 6068 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4088.068
AT ITER 281 NEW BEST:: SOT 12068 SOS 6063 HAS SOPS 6063 HAS SOUS 4077 HAS SOUPS 4077 WITH SCORE 4083.063
AT ITER 291 NEW BEST:: SOT 12044 SOS 6064 HAS SOPS 6064 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4059.064
AT ITER 293 NEW BEST:: SOT 12034 SOS 6031 HAS SOPS 6031 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4056.031
AT ITER 299 NEW BEST:: SOT 12029 SOS 6021 HAS SOPS 6021 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4046.021
AT ITER 303 NEW BEST:: SOT 12033 SOS 5895 HAS SOPS 5895 HAS SOUS 4038 HAS SOUPS 4038 WITH SCORE 4043.895
AT ITER 309 NEW BEST:: SOT 12025 SOS 5887 HAS SOPS 5887 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4037.887
AT ITER 316 NEW BEST:: SOT 12010 SOS 5857 HAS SOPS 5857 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4026.857
AT ITER 321 NEW BEST:: SOT 12009 SOS 6056 HAS SOPS 6056 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4026.056
AT ITER 324 NEW BEST:: SOT 12021 SOS 6066 HAS SOPS 6066 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4009.066
AT ITER 330 NEW BEST:: SOT 12012 SOS 6051 HAS SOPS 6051 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3998.051
AT ITER 342 NEW BEST:: SOT 12009 SOS 5970 HAS SOPS 5970 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3942.97
AT ITER 345 NEW BEST:: SOT 11999 SOS 5970 HAS SOPS 5970 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3922.97
AT ITER 355 NEW BEST:: SOT 11993 SOS 5980 HAS SOPS 5980 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3902.98
AT ITER 358 NEW BEST:: SOT 11967 SOS 5970 HAS SOPS 5970 HAS SOUS 3832 HAS SOUPS 3832 WITH SCORE 3837.97
AT ITER 365 NEW BEST:: SOT 11967 SOS 5970 HAS SOPS 5970 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3836.97
AT ITER 370 NEW BEST:: SOT 11967 SOS 5958 HAS SOPS 5958 HAS SOUS 3825 HAS SOUPS 3825 WITH SCORE 3830.958
AT ITER 380 NEW BEST:: SOT 11923 SOS 5908 HAS SOPS 5908 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3783.908
AT ITER 395 NEW BEST:: SOT 11923 SOS 5900 HAS SOPS 5900 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3775.9
AT ITER 399 NEW BEST:: SOT 11872 SOS 5849 HAS SOPS 5849 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3758.849
AT ITER 402 NEW BEST:: SOT 11909 SOS 5886 HAS SOPS 5886 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3753.886
AT ITER 407 NEW BEST:: SOT 11908 SOS 5884 HAS SOPS 5884 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3750.884
AT ITER 410 NEW BEST:: SOT 11908 SOS 5892 HAS SOPS 5892 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3737.892
AT ITER 413 NEW BEST:: SOT 11908 SOS 5880 HAS SOPS 5880 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3734.88
AT ITER 417 NEW BEST:: SOT 11908 SOS 5880 HAS SOPS 5880 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3724.88
AT ITER 418 NEW BEST:: SOT 11927 SOS 5821 HAS SOPS 5821 HAS SOUS 3702 HAS SOUPS 3702 WITH SCORE 3707.821
AT ITER 420 NEW BEST:: SOT 11926 SOS 5789 HAS SOPS 5789 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3702.789
AT ITER 425 NEW BEST:: SOT 11965 SOS 5809 HAS SOPS 5809 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3675.809
AT ITER 426 NEW BEST:: SOT 11965 SOS 5809 HAS SOPS 5809 HAS SOUS 3664 HAS SOUPS 3664 WITH SCORE 3669.809
AT ITER 429 NEW BEST:: SOT 11969 SOS 5810 HAS SOPS 5810 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3656.81
AT ITER 430 NEW BEST:: SOT 11937 SOS 5760 HAS SOPS 5760 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3614.76
AT ITER 456 NEW BEST:: SOT 11937 SOS 5748 HAS SOPS 5748 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3602.748
AT ITER 467 NEW BEST:: SOT 11741 SOS 6099 HAS SOPS 6099 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3543.099
AT ITER 471 NEW BEST:: SOT 11738 SOS 6103 HAS SOPS 6103 HAS SOUS 3536 HAS SOUPS 3536 WITH SCORE 3542.103
AT ITER 481 NEW BEST:: SOT 11713 SOS 6054 HAS SOPS 6054 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3498.054
AT ITER 492 NEW BEST:: SOT 11765 SOS 5588 HAS SOPS 5588 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3453.588
AT ITER 493 NEW BEST:: SOT 11827 SOS 5561 HAS SOPS 5561 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3429.561
AT ITER 501 NEW BEST:: SOT 11816 SOS 5557 HAS SOPS 5557 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3406.557
AT ITER 505 NEW BEST:: SOT 11816 SOS 5551 HAS SOPS 5551 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3403.551
AT ITER 510 NEW BEST:: SOT 11841 SOS 5576 HAS SOPS 5576 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3400.576
AT ITER 512 NEW BEST:: SOT 11835 SOS 5573 HAS SOPS 5573 HAS SOUS 3389 HAS SOUPS 3389 WITH SCORE 3394.573
AT ITER 515 NEW BEST:: SOT 11838 SOS 5559 HAS SOPS 5559 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3390.559
AT ITER 516 NEW BEST:: SOT 11834 SOS 5504 HAS SOPS 5504 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3382.504
AT ITER 518 NEW BEST:: SOT 11833 SOS 5544 HAS SOPS 5544 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3377.544
AT ITER 521 NEW BEST:: SOT 11807 SOS 5518 HAS SOPS 5518 HAS SOUS 3312 HAS SOUPS 3312 WITH SCORE 3317.518
AT ITER 533 NEW BEST:: SOT 11797 SOS 5500 HAS SOPS 5500 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3309.5
AT ITER 544 NEW BEST:: SOT 11763 SOS 5483 HAS SOPS 5483 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3309.483
AT ITER 571 NEW BEST:: SOT 11797 SOS 5470 HAS SOPS 5470 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3305.47
AT ITER 572 NEW BEST:: SOT 11797 SOS 5470 HAS SOPS 5470 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3299.47
AT ITER 574 NEW BEST:: SOT 11817 SOS 5459 HAS SOPS 5459 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3295.459
AT ITER 580 NEW BEST:: SOT 11807 SOS 5316 HAS SOPS 5316 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3259.316
AT ITER 596 NEW BEST:: SOT 11782 SOS 5294 HAS SOPS 5294 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3259.294
AT ITER 601 NEW BEST:: SOT 11762 SOS 5254 HAS SOPS 5254 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3199.254
AT ITER 603 NEW BEST:: SOT 11754 SOS 5240 HAS SOPS 5240 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3189.24
AT ITER 614 NEW BEST:: SOT 11750 SOS 5234 HAS SOPS 5234 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3187.234
AT ITER 626 NEW BEST:: SOT 11739 SOS 5250 HAS SOPS 5250 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3181.25
AT ITER 627 NEW BEST:: SOT 11733 SOS 5223 HAS SOPS 5223 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3180.223
AT ITER 645 NEW BEST:: SOT 11723 SOS 5213 HAS SOPS 5213 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3176.213
AT ITER 649 NEW BEST:: SOT 11723 SOS 5205 HAS SOPS 5205 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3172.205
AT ITER 655 NEW BEST:: SOT 11723 SOS 5205 HAS SOPS 5205 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3170.205
AT ITER 663 NEW BEST:: SOT 11721 SOS 5211 HAS SOPS 5211 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3168.211
AT ITER 676 NEW BEST:: SOT 11712 SOS 5231 HAS SOPS 5231 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3159.231
AT ITER 687 NEW BEST:: SOT 11688 SOS 5177 HAS SOPS 5177 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3124.177
AT ITER 689 NEW BEST:: SOT 11684 SOS 5167 HAS SOPS 5167 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3118.167
AT ITER 697 NEW BEST:: SOT 11679 SOS 5161 HAS SOPS 5161 HAS SOUS 3106 HAS SOUPS 3106 WITH SCORE 3111.161
AT ITER 705 NEW BEST:: SOT 11650 SOS 5122 HAS SOPS 5122 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3065.122
AT ITER 709 NEW BEST:: SOT 11644 SOS 5151 HAS SOPS 5151 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3059.151
AT ITER 712 NEW BEST:: SOT 11642 SOS 5149 HAS SOPS 5149 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3057.149
AT ITER 715 NEW BEST:: SOT 11623 SOS 5119 HAS SOPS 5119 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3037.119
AT ITER 721 NEW BEST:: SOT 11610 SOS 5070 HAS SOPS 5070 HAS SOUS 3009 HAS SOUPS 3009 WITH SCORE 3014.07
AT ITER 731 NEW BEST:: SOT 11609 SOS 5072 HAS SOPS 5072 HAS SOUS 3007 HAS SOUPS 3007 WITH SCORE 3012.072
AT ITER 758 NEW BEST:: SOT 11586 SOS 5059 HAS SOPS 5059 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3007.059
AT ITER 768 NEW BEST:: SOT 11592 SOS 5043 HAS SOPS 5043 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2977.043
AT ITER 772 NEW BEST:: SOT 11586 SOS 5037 HAS SOPS 5037 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2975.037
AT ITER 784 NEW BEST:: SOT 11570 SOS 4961 HAS SOPS 4961 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.961
AT ITER 785 NEW BEST:: SOT 11573 SOS 4958 HAS SOPS 4958 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2972.958
AT ITER 787 NEW BEST:: SOT 11622 SOS 4936 HAS SOPS 4936 HAS SOUS 2964 HAS SOUPS 2964 WITH SCORE 2968.936
AT ITER 788 NEW BEST:: SOT 11635 SOS 4907 HAS SOPS 4907 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2959.907
AT ITER 831 NEW BEST:: SOT 11633 SOS 4905 HAS SOPS 4905 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2959.905
AT ITER 840 NEW BEST:: SOT 11609 SOS 4879 HAS SOPS 4879 HAS SOUS 2935 HAS SOUPS 2935 WITH SCORE 2939.879
AT ITER 842 NEW BEST:: SOT 11601 SOS 4863 HAS SOPS 4863 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2933.863
AT ITER 857 NEW BEST:: SOT 11598 SOS 4791 HAS SOPS 4791 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2913.791
AT ITER 868 NEW BEST:: SOT 11601 SOS 4765 HAS SOPS 4765 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2911.765
AT ITER 875 NEW BEST:: SOT 11587 SOS 4748 HAS SOPS 4748 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2896.748
AT ITER 885 NEW BEST:: SOT 11584 SOS 4730 HAS SOPS 4730 HAS SOUS 2889 HAS SOUPS 2889 WITH SCORE 2893.73
AT ITER 897 NEW BEST:: SOT 11585 SOS 4732 HAS SOPS 4732 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2891.732
AT ITER 919 NEW BEST:: SOT 11583 SOS 4730 HAS SOPS 4730 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2891.73
AT ITER 967 NEW BEST:: SOT 11591 SOS 4734 HAS SOPS 4734 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2887.734
AT ITER 971 NEW BEST:: SOT 11591 SOS 4722 HAS SOPS 4722 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2881.722
AT ITER 992 NEW BEST:: SOT 11588 SOS 4716 HAS SOPS 4716 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2874.716
AT ITER 998 NEW BEST:: SOT 11587 SOS 4696 HAS SOPS 4696 HAS SOUS 2868 HAS SOUPS 2868 WITH SCORE 2872.696
AT ITER 1001 NEW BEST:: SOT 11604 SOS 4713 HAS SOPS 4713 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2863.713
AT ITER 1003 NEW BEST:: SOT 11575 SOS 4743 HAS SOPS 4743 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2850.743
AT ITER 1021 NEW BEST:: SOT 11563 SOS 4731 HAS SOPS 4731 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2831.731
AT ITER 1023 NEW BEST:: SOT 11540 SOS 4685 HAS SOPS 4685 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2785.685
AT ITER 1025 NEW BEST:: SOT 11540 SOS 4685 HAS SOPS 4685 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2779.685
AT ITER 1027 NEW BEST:: SOT 11542 SOS 4682 HAS SOPS 4682 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2767.682
AT ITER 1075 NEW BEST:: SOT 11532 SOS 4652 HAS SOPS 4652 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2750.652
AT ITER 1079 NEW BEST:: SOT 11536 SOS 4648 HAS SOPS 4648 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2750.648
AT ITER 1090 NEW BEST:: SOT 11524 SOS 4630 HAS SOPS 4630 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2742.63
AT ITER 1101 NEW BEST:: SOT 11524 SOS 4629 HAS SOPS 4629 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2741.629
AT ITER 1114 NEW BEST:: SOT 11415 SOS 5151 HAS SOPS 5151 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2668.151
AT ITER 1139 NEW BEST:: SOT 11415 SOS 5160 HAS SOPS 5160 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2659.16
AT ITER 1158 NEW BEST:: SOT 11409 SOS 5152 HAS SOPS 5152 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2651.152
AT ITER 1182 NEW BEST:: SOT 11392 SOS 5114 HAS SOPS 5114 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2623.114
AT ITER 1228 NEW BEST:: SOT 11390 SOS 5112 HAS SOPS 5112 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2621.112
AT ITER 1231 NEW BEST:: SOT 11384 SOS 5100 HAS SOPS 5100 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2615.1
AT ITER 1234 NEW BEST:: SOT 11390 SOS 5104 HAS SOPS 5104 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2611.104
AT ITER 1236 NEW BEST:: SOT 11353 SOS 5054 HAS SOPS 5054 HAS SOUS 2600 HAS SOUPS 2600 WITH SCORE 2605.054
AT ITER 1242 NEW BEST:: SOT 11355 SOS 5051 HAS SOPS 5051 HAS SOUS 2597 HAS SOUPS 2597 WITH SCORE 2602.051
AT ITER 1251 NEW BEST:: SOT 11358 SOS 5054 HAS SOPS 5054 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2590.054
AT ITER 1269 NEW BEST:: SOT 11125 SOS 5979 HAS SOPS 5979 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2523.979
AT ITER 1281 NEW BEST:: SOT 11128 SOS 5982 HAS SOPS 5982 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2522.982
AT ITER 1292 NEW BEST:: SOT 11122 SOS 5974 HAS SOPS 5974 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2512.974
AT ITER 1297 NEW BEST:: SOT 11119 SOS 5968 HAS SOPS 5968 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2512.968
AT ITER 1316 NEW BEST:: SOT 11114 SOS 5926 HAS SOPS 5926 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2512.926
AT ITER 1327 NEW BEST:: SOT 11114 SOS 5926 HAS SOPS 5926 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2509.926
AT ITER 1342 NEW BEST:: SOT 11087 SOS 5889 HAS SOPS 5889 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2482.889
AT ITER 1351 NEW BEST:: SOT 11087 SOS 5885 HAS SOPS 5885 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2482.885
AT ITER 1387 NEW BEST:: SOT 11087 SOS 5857 HAS SOPS 5857 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2480.857
AT ITER 1411 NEW BEST:: SOT 11067 SOS 5832 HAS SOPS 5832 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2465.832
AT ITER 1423 NEW BEST:: SOT 11062 SOS 5842 HAS SOPS 5842 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2464.842
AT ITER 1434 NEW BEST:: SOT 11064 SOS 5839 HAS SOPS 5839 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2458.839
AT ITER 1444 NEW BEST:: SOT 11064 SOS 5839 HAS SOPS 5839 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2456.839
AT ITER 1451 NEW BEST:: SOT 10820 SOS 6029 HAS SOPS 6029 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2310.029
AT ITER 1473 NEW BEST:: SOT 10810 SOS 6008 HAS SOPS 6008 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2299.008
AT ITER 1479 NEW BEST:: SOT 10808 SOS 5996 HAS SOPS 5996 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2293.996
AT ITER 1492 NEW BEST:: SOT 10808 SOS 5922 HAS SOPS 5922 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2293.922
AT ITER 1516 NEW BEST:: SOT 10797 SOS 5900 HAS SOPS 5900 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2288.9
AT ITER 1517 NEW BEST:: SOT 10789 SOS 5886 HAS SOPS 5886 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2274.886
AT ITER 1567 NEW BEST:: SOT 10782 SOS 5902 HAS SOPS 5902 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2272.902
AT ITER 1574 NEW BEST:: SOT 10763 SOS 5873 HAS SOPS 5873 HAS SOUS 2238 HAS SOUPS 2238 WITH SCORE 2243.873
AT ITER 1590 NEW BEST:: SOT 10763 SOS 5871 HAS SOPS 5871 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2241.871
AT ITER 1591 NEW BEST:: SOT 10762 SOS 5870 HAS SOPS 5870 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2241.87
AT ITER 1614 NEW BEST:: SOT 10761 SOS 5869 HAS SOPS 5869 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2240.869
AT ITER 1666 NEW BEST:: SOT 10759 SOS 5866 HAS SOPS 5866 HAS SOUS 2233 HAS SOUPS 2233 WITH SCORE 2238.866
AT ITER 1690 NEW BEST:: SOT 10758 SOS 5835 HAS SOPS 5835 HAS SOUS 2232 HAS SOUPS 2232 WITH SCORE 2237.835
AT ITER 1692 NEW BEST:: SOT 10763 SOS 5839 HAS SOPS 5839 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2236.839
AT ITER 1702 NEW BEST:: SOT 10733 SOS 5809 HAS SOPS 5809 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2206.809
AT ITER 1740 NEW BEST:: SOT 10729 SOS 5804 HAS SOPS 5804 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2198.804
AT ITER 1750 NEW BEST:: SOT 10727 SOS 5802 HAS SOPS 5802 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2196.802
AT ITER 1754 NEW BEST:: SOT 10689 SOS 5777 HAS SOPS 5777 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2184.777
AT ITER 1773 NEW BEST:: SOT 10688 SOS 5775 HAS SOPS 5775 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2184.775
AT ITER 1787 NEW BEST:: SOT 10685 SOS 5768 HAS SOPS 5768 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2183.768
AT ITER 1810 NEW BEST:: SOT 10689 SOS 5764 HAS SOPS 5764 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2183.764
AT ITER 1816 NEW BEST:: SOT 10688 SOS 5757 HAS SOPS 5757 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2182.757
AT ITER 1819 NEW BEST:: SOT 10685 SOS 5748 HAS SOPS 5748 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2179.748
AT ITER 1835 NEW BEST:: SOT 10683 SOS 5719 HAS SOPS 5719 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2176.719
AT ITER 1851 NEW BEST:: SOT 10673 SOS 5709 HAS SOPS 5709 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2161.709
AT ITER 1871 NEW BEST:: SOT 10671 SOS 5707 HAS SOPS 5707 HAS SOUS 2155 HAS SOUPS 2155 WITH SCORE 2160.707
AT ITER 1972 NEW BEST:: SOT 10667 SOS 5730 HAS SOPS 5730 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2147.73
AT ITER 2067 NEW BEST:: SOT 10634 SOS 6037 HAS SOPS 6037 HAS SOUS 2131 HAS SOUPS 2131 WITH SCORE 2137.037
AT ITER 2081 NEW BEST:: SOT 10631 SOS 6034 HAS SOPS 6034 HAS SOUS 2128 HAS SOUPS 2128 WITH SCORE 2134.034
AT ITER 2091 NEW BEST:: SOT 10629 SOS 6030 HAS SOPS 6030 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2132.03
AT ITER 2121 NEW BEST:: SOT 10616 SOS 6012 HAS SOPS 6012 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2119.012
AT ITER 2123 NEW BEST:: SOT 10613 SOS 6006 HAS SOPS 6006 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2115.006
AT ITER 2141 NEW BEST:: SOT 10607 SOS 5991 HAS SOPS 5991 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2089.991
AT ITER 2147 NEW BEST:: SOT 10615 SOS 6037 HAS SOPS 6037 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2075.037
AT ITER 2175 NEW BEST:: SOT 10609 SOS 6032 HAS SOPS 6032 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2069.032
AT ITER 2179 NEW BEST:: SOT 10604 SOS 6027 HAS SOPS 6027 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2064.027
AT ITER 2182 NEW BEST:: SOT 10600 SOS 6015 HAS SOPS 6015 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2056.015
AT ITER 2237 NEW BEST:: SOT 10600 SOS 6015 HAS SOPS 6015 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2054.015
AT ITER 2248 NEW BEST:: SOT 10573 SOS 6008 HAS SOPS 6008 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2018.008
AT ITER 2274 NEW BEST:: SOT 10565 SOS 5994 HAS SOPS 5994 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2013.994
AT ITER 2306 NEW BEST:: SOT 10520 SOS 5943 HAS SOPS 5943 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1957.943
AT ITER 2310 NEW BEST:: SOT 10518 SOS 5939 HAS SOPS 5939 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1953.939
AT ITER 2340 NEW BEST:: SOT 10515 SOS 5936 HAS SOPS 5936 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1947.936
AT ITER 2346 NEW BEST:: SOT 10507 SOS 5928 HAS SOPS 5928 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1943.928
AT ITER 2357 NEW BEST:: SOT 10507 SOS 5922 HAS SOPS 5922 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1940.922
AT ITER 2361 NEW BEST:: SOT 10492 SOS 5902 HAS SOPS 5902 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1915.902
AT ITER 2371 NEW BEST:: SOT 10488 SOS 5894 HAS SOPS 5894 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1907.894
AT ITER 2374 NEW BEST:: SOT 10489 SOS 5889 HAS SOPS 5889 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1905.889
AT ITER 2411 NEW BEST:: SOT 10469 SOS 5860 HAS SOPS 5860 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1893.86
AT ITER 2447 NEW BEST:: SOT 10465 SOS 5852 HAS SOPS 5852 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1887.852
AT ITER 2461 NEW BEST:: SOT 10465 SOS 5848 HAS SOPS 5848 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1885.848
AT ITER 2465 NEW BEST:: SOT 10463 SOS 5846 HAS SOPS 5846 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1883.846
AT ITER 2476 NEW BEST:: SOT 10440 SOS 5823 HAS SOPS 5823 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1876.823
AT ITER 2493 NEW BEST:: SOT 10424 SOS 5777 HAS SOPS 5777 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1872.777
AT ITER 2541 NEW BEST:: SOT 10424 SOS 5772 HAS SOPS 5772 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1868.772
AT ITER 2557 NEW BEST:: SOT 10423 SOS 5767 HAS SOPS 5767 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1865.767
AT ITER 2579 NEW BEST:: SOT 10416 SOS 5760 HAS SOPS 5760 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1853.76
AT ITER 2580 NEW BEST:: SOT 10416 SOS 5756 HAS SOPS 5756 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1851.756
AT ITER 2583 NEW BEST:: SOT 10406 SOS 5746 HAS SOPS 5746 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1839.746
AT ITER 2603 NEW BEST:: SOT 10406 SOS 5744 HAS SOPS 5744 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1839.744
AT ITER 2619 NEW BEST:: SOT 10393 SOS 5746 HAS SOPS 5746 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1821.746
AT ITER 2641 NEW BEST:: SOT 10390 SOS 5744 HAS SOPS 5744 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1812.744
AT ITER 2645 NEW BEST:: SOT 10382 SOS 5736 HAS SOPS 5736 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1802.736
AT ITER 2646 NEW BEST:: SOT 10382 SOS 5735 HAS SOPS 5735 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1802.735
AT ITER 2666 NEW BEST:: SOT 10373 SOS 5713 HAS SOPS 5713 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1772.713
AT ITER 2677 NEW BEST:: SOT 10384 SOS 5724 HAS SOPS 5724 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1770.724
AT ITER 2682 NEW BEST:: SOT 10378 SOS 5721 HAS SOPS 5721 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1766.721
AT ITER 2756 NEW BEST:: SOT 10348 SOS 5659 HAS SOPS 5659 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1743.659
AT ITER 2770 NEW BEST:: SOT 10336 SOS 5659 HAS SOPS 5659 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1741.659
AT ITER 2864 NEW BEST:: SOT 10332 SOS 5655 HAS SOPS 5655 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1738.655
AT ITER 2879 NEW BEST:: SOT 10312 SOS 5629 HAS SOPS 5629 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1719.629
AT ITER 2908 NEW BEST:: SOT 10310 SOS 5563 HAS SOPS 5563 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1714.563
AT ITER 2968 NEW BEST:: SOT 10309 SOS 5562 HAS SOPS 5562 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1713.562
AT ITER 3024 NEW BEST:: SOT 10306 SOS 5559 HAS SOPS 5559 HAS SOUS 1708 HAS SOUPS 1708 WITH SCORE 1713.559
AT ITER 3033 NEW BEST:: SOT 10305 SOS 5557 HAS SOPS 5557 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1710.557
AT ITER 3034 NEW BEST:: SOT 10296 SOS 5545 HAS SOPS 5545 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1694.545
AT ITER 3051 NEW BEST:: SOT 10273 SOS 5501 HAS SOPS 5501 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1683.501
AT ITER 3207 NEW BEST:: SOT 10267 SOS 5489 HAS SOPS 5489 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1681.489
AT ITER 3317 NEW BEST:: SOT 10266 SOS 5488 HAS SOPS 5488 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1681.488
AT ITER 3370 NEW BEST:: SOT 10264 SOS 5484 HAS SOPS 5484 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1675.484
AT ITER 3378 NEW BEST:: SOT 10257 SOS 5478 HAS SOPS 5478 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1672.478
AT ITER 3389 NEW BEST:: SOT 10256 SOS 5478 HAS SOPS 5478 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1664.478
AT ITER 3403 NEW BEST:: SOT 10253 SOS 5457 HAS SOPS 5457 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1656.457
AT ITER 3411 NEW BEST:: SOT 10247 SOS 5448 HAS SOPS 5448 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1656.448
AT ITER 3422 NEW BEST:: SOT 10241 SOS 5442 HAS SOPS 5442 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1652.442
AT ITER 3459 NEW BEST:: SOT 10240 SOS 5436 HAS SOPS 5436 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1652.436
AT ITER 3488 NEW BEST:: SOT 10241 SOS 5431 HAS SOPS 5431 HAS SOUS 1643 HAS SOUPS 1643 WITH SCORE 1648.431
AT ITER 3493 NEW BEST:: SOT 10238 SOS 5419 HAS SOPS 5419 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1639.419
AT ITER 3514 NEW BEST:: SOT 10238 SOS 5415 HAS SOPS 5415 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1639.415
AT ITER 3580 NEW BEST:: SOT 10236 SOS 5402 HAS SOPS 5402 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1637.402
AT ITER 3605 NEW BEST:: SOT 10236 SOS 5402 HAS SOPS 5402 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1636.402
AT ITER 3667 NEW BEST:: SOT 10234 SOS 5398 HAS SOPS 5398 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1636.398
AT ITER 3710 NEW BEST:: SOT 10236 SOS 5388 HAS SOPS 5388 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1634.388
AT ITER 3830 NEW BEST:: SOT 10242 SOS 5346 HAS SOPS 5346 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1601.346
AT ITER 3856 NEW BEST:: SOT 10240 SOS 5342 HAS SOPS 5342 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1599.342
AT ITER 3885 NEW BEST:: SOT 10241 SOS 5344 HAS SOPS 5344 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1596.344
AT ITER 3929 NEW BEST:: SOT 10258 SOS 5356 HAS SOPS 5356 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1595.356
AT ITER 3973 NEW BEST:: SOT 10257 SOS 5353 HAS SOPS 5353 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1593.353
AT ITER 3980 NEW BEST:: SOT 10251 SOS 5349 HAS SOPS 5349 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1589.349
AT ITER 4020 NEW BEST:: SOT 10251 SOS 5347 HAS SOPS 5347 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1589.347
AT ITER 4059 NEW BEST:: SOT 10247 SOS 5343 HAS SOPS 5343 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1585.343
AT ITER 4085 NEW BEST:: SOT 10246 SOS 5341 HAS SOPS 5341 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1584.341
AT ITER 4144 NEW BEST:: SOT 10245 SOS 5340 HAS SOPS 5340 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1583.34
AT ITER 4194 NEW BEST:: SOT 10239 SOS 5315 HAS SOPS 5315 HAS SOUS 1574 HAS SOUPS 1574 WITH SCORE 1579.315
AT ITER 4518 NEW BEST:: SOT 10238 SOS 5314 HAS SOPS 5314 HAS SOUS 1573 HAS SOUPS 1573 WITH SCORE 1578.314
AT ITER 4549 NEW BEST:: SOT 10240 SOS 5316 HAS SOPS 5316 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1577.316
AT ITER 4611 NEW BEST:: SOT 10239 SOS 5325 HAS SOPS 5325 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1570.325
AT ITER 4615 NEW BEST:: SOT 10236 SOS 5322 HAS SOPS 5322 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1564.322
AT ITER 4616 NEW BEST:: SOT 10235 SOS 5320 HAS SOPS 5320 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1561.32
AT ITER 4686 NEW BEST:: SOT 10234 SOS 5318 HAS SOPS 5318 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1559.318
AT ITER 4690 NEW BEST:: SOT 10233 SOS 5320 HAS SOPS 5320 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1557.32
AT ITER 4758 NEW BEST:: SOT 10225 SOS 5308 HAS SOPS 5308 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1549.308
AT ITER 4765 NEW BEST:: SOT 10224 SOS 5304 HAS SOPS 5304 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1546.304
AT ITER 4766 NEW BEST:: SOT 10224 SOS 5306 HAS SOPS 5306 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1544.306
AT ITER 4818 NEW BEST:: SOT 10221 SOS 5303 HAS SOPS 5303 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1539.303
AT ITER 4863 NEW BEST:: SOT 10222 SOS 5309 HAS SOPS 5309 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1537.309
AT ITER 4979 NEW BEST:: SOT 10218 SOS 5305 HAS SOPS 5305 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1533.305
AT ITER 5055 NEW BEST:: SOT 10217 SOS 5304 HAS SOPS 5304 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1533.304
AT ITER 5077 NEW BEST:: SOT 10211 SOS 5285 HAS SOPS 5285 HAS SOUS 1523 HAS SOUPS 1523 WITH SCORE 1528.285
AT ITER 5100 NEW BEST:: SOT 10210 SOS 5283 HAS SOPS 5283 HAS SOUS 1522 HAS SOUPS 1522 WITH SCORE 1527.283
AT ITER 5156 NEW BEST:: SOT 10206 SOS 5282 HAS SOPS 5282 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1520.282
AT ITER 5247 NEW BEST:: SOT 10202 SOS 5276 HAS SOPS 5276 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1516.276
AT ITER 5266 NEW BEST:: SOT 10204 SOS 5274 HAS SOPS 5274 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1514.274
AT ITER 5272 NEW BEST:: SOT 10204 SOS 5277 HAS SOPS 5277 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1513.277
AT ITER 5283 NEW BEST:: SOT 10203 SOS 5276 HAS SOPS 5276 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1512.276
AT ITER 5303 NEW BEST:: SOT 10201 SOS 5272 HAS SOPS 5272 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1508.272
AT ITER 5358 NEW BEST:: SOT 10200 SOS 5271 HAS SOPS 5271 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1508.271
AT ITER 5435 NEW BEST:: SOT 10200 SOS 5267 HAS SOPS 5267 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1506.267
AT ITER 5450 NEW BEST:: SOT 10200 SOS 5266 HAS SOPS 5266 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1506.266
AT ITER 5542 NEW BEST:: SOT 10198 SOS 5264 HAS SOPS 5264 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1504.264
AT ITER 5616 NEW BEST:: SOT 10195 SOS 5261 HAS SOPS 5261 HAS SOUS 1495 HAS SOUPS 1495 WITH SCORE 1500.261
AT ITER 5729 NEW BEST:: SOT 10193 SOS 5259 HAS SOPS 5259 HAS SOUS 1492 HAS SOUPS 1492 WITH SCORE 1497.259
AT ITER 5751 NEW BEST:: SOT 10193 SOS 5253 HAS SOPS 5253 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1494.253
AT ITER 5839 NEW BEST:: SOT 10193 SOS 5251 HAS SOPS 5251 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1494.251
AT ITER 5865 NEW BEST:: SOT 10192 SOS 5248 HAS SOPS 5248 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1493.248
AT ITER 6158 NEW BEST:: SOT 10191 SOS 5249 HAS SOPS 5249 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1492.249
AT ITER 6257 NEW BEST:: SOT 10187 SOS 5247 HAS SOPS 5247 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1492.247
AT ITER 6350 NEW BEST:: SOT 10188 SOS 5205 HAS SOPS 5205 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1492.205
AT ITER 6403 NEW BEST:: SOT 10182 SOS 5199 HAS SOPS 5199 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1485.199
AT ITER 6413 NEW BEST:: SOT 10181 SOS 5198 HAS SOPS 5198 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1484.198
AT ITER 6441 NEW BEST:: SOT 10180 SOS 5197 HAS SOPS 5197 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1483.197
AT ITER 6493 NEW BEST:: SOT 10176 SOS 5193 HAS SOPS 5193 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1481.193
AT ITER 6506 NEW BEST:: SOT 10175 SOS 5192 HAS SOPS 5192 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1480.192
AT ITER 6688 NEW BEST:: SOT 10175 SOS 5194 HAS SOPS 5194 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1479.194
AT ITER 6739 NEW BEST:: SOT 10175 SOS 5188 HAS SOPS 5188 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1479.188
AT ITER 6787 NEW BEST:: SOT 10171 SOS 5178 HAS SOPS 5178 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1477.178
AT ITER 6820 NEW BEST:: SOT 10172 SOS 5181 HAS SOPS 5181 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1474.181
AT ITER 6969 NEW BEST:: SOT 10172 SOS 5180 HAS SOPS 5180 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1474.18
AT ITER 7021 NEW BEST:: SOT 10172 SOS 5180 HAS SOPS 5180 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1464.18
AT ITER 7055 NEW BEST:: SOT 10171 SOS 5178 HAS SOPS 5178 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1463.178
AT ITER 7063 NEW BEST:: SOT 10170 SOS 5175 HAS SOPS 5175 HAS SOUS 1457 HAS SOUPS 1457 WITH SCORE 1462.175
AT ITER 7115 NEW BEST:: SOT 10170 SOS 5175 HAS SOPS 5175 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1461.175
AT ITER 7194 NEW BEST:: SOT 10170 SOS 5173 HAS SOPS 5173 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1461.173
AT ITER 7316 NEW BEST:: SOT 10168 SOS 5171 HAS SOPS 5171 HAS SOUS 1456 HAS SOUPS 1456 WITH SCORE 1461.171
AT ITER 7449 NEW BEST:: SOT 10167 SOS 5170 HAS SOPS 5170 HAS SOUS 1455 HAS SOUPS 1455 WITH SCORE 1460.17
AT ITER 7545 NEW BEST:: SOT 10168 SOS 5161 HAS SOPS 5161 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1459.161
AT ITER 7634 NEW BEST:: SOT 10167 SOS 5161 HAS SOPS 5161 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1458.161
AT ITER 8008 NEW BEST:: SOT 10166 SOS 5161 HAS SOPS 5161 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1457.161
AT ITER 8060 NEW BEST:: SOT 10164 SOS 5159 HAS SOPS 5159 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1455.159
AT ITER 8092 NEW BEST:: SOT 10163 SOS 5161 HAS SOPS 5161 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1453.161
AT ITER 8149 NEW BEST:: SOT 10158 SOS 5147 HAS SOPS 5147 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1451.147
AT ITER 8365 NEW BEST:: SOT 10154 SOS 5140 HAS SOPS 5140 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1445.14
AT ITER 8510 NEW BEST:: SOT 10154 SOS 5138 HAS SOPS 5138 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1445.138
AT ITER 8887 NEW BEST:: SOT 10153 SOS 5138 HAS SOPS 5138 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1444.138
AT ITER 8998 NEW BEST:: SOT 10149 SOS 5134 HAS SOPS 5134 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1443.134
AT ITER 9687 NEW BEST:: SOT 10148 SOS 5133 HAS SOPS 5133 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1440.133
AT ITER 9866 NEW BEST:: SOT 10144 SOS 5130 HAS SOPS 5130 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1437.13
STATE_SPACE STATES 26085150 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 238899108 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307172150

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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-Z2T3N06"
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-Z2T3N06, 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-167912711200968"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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