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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 408K
-rw-r--r-- 1 mcc users 6.8K Feb 26 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 14:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 14:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 18K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 14:36 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 1679307841951

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-Z4T4N04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:24:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:24:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:24:03] [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:24:04] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:24:04] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 524 ms
[2023-03-20 10:24:04] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 154 PT places and 300.0 transition bindings in 168 ms.
[2023-03-20 10:24:04] [INFO ] Unfolded HLPN to a Petri net with 154 places and 300 transitions 964 arcs in 24 ms.
[2023-03-20 10:24:04] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:24:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 154 places, 300 transitions and 964 arcs took 6 ms.
Total runtime 816 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T4N04
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: 154 places, 300 transitions, 964 arcs.
AT ITER 0 NEW BEST:: SOT 38053 SOS 30427 HAS SOPS 30427 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18054.427
AT ITER 3 NEW BEST:: SOT 38036 SOS 30410 HAS SOPS 30410 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18033.41
AT ITER 6 NEW BEST:: SOT 37974 SOS 30286 HAS SOPS 30286 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17719.286
AT ITER 8 NEW BEST:: SOT 37966 SOS 30270 HAS SOPS 30270 HAS SOUS 17687 HAS SOUPS 17687 WITH SCORE 17717.27
AT ITER 9 NEW BEST:: SOT 37922 SOS 29922 HAS SOPS 29922 HAS SOUS 17466 HAS SOUPS 17466 WITH SCORE 17495.922
AT ITER 10 NEW BEST:: SOT 37876 SOS 29226 HAS SOPS 29226 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17423.226
AT ITER 11 NEW BEST:: SOT 37822 SOS 29172 HAS SOPS 29172 HAS SOUS 17373 HAS SOUPS 17373 WITH SCORE 17402.172
AT ITER 12 NEW BEST:: SOT 37795 SOS 29091 HAS SOPS 29091 HAS SOUS 17253 HAS SOUPS 17253 WITH SCORE 17282.091
AT ITER 16 NEW BEST:: SOT 37795 SOS 29091 HAS SOPS 29091 HAS SOUS 17241 HAS SOUPS 17241 WITH SCORE 17270.091
AT ITER 18 NEW BEST:: SOT 37765 SOS 29027 HAS SOPS 29027 HAS SOUS 17117 HAS SOUPS 17117 WITH SCORE 17146.027
AT ITER 19 NEW BEST:: SOT 37690 SOS 28833 HAS SOPS 28833 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16922.833
AT ITER 20 NEW BEST:: SOT 37658 SOS 28769 HAS SOPS 28769 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16855.769
AT ITER 22 NEW BEST:: SOT 37446 SOS 27690 HAS SOPS 27690 HAS SOUS 15766 HAS SOUPS 15766 WITH SCORE 15793.69
AT ITER 23 NEW BEST:: SOT 37446 SOS 27684 HAS SOPS 27684 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15755.684
AT ITER 25 NEW BEST:: SOT 37446 SOS 27684 HAS SOPS 27684 HAS SOUS 15720 HAS SOUPS 15720 WITH SCORE 15747.684
AT ITER 26 NEW BEST:: SOT 37438 SOS 27588 HAS SOPS 27588 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15739.588
AT ITER 32 NEW BEST:: SOT 37299 SOS 27495 HAS SOPS 27495 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15642.495
AT ITER 34 NEW BEST:: SOT 37322 SOS 27267 HAS SOPS 27267 HAS SOUS 15574 HAS SOUPS 15574 WITH SCORE 15601.267
AT ITER 36 NEW BEST:: SOT 37306 SOS 27011 HAS SOPS 27011 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15517.011
AT ITER 37 NEW BEST:: SOT 37258 SOS 26963 HAS SOPS 26963 HAS SOUS 15419 HAS SOUPS 15419 WITH SCORE 15445.963
AT ITER 38 NEW BEST:: SOT 37240 SOS 26951 HAS SOPS 26951 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15433.951
AT ITER 44 NEW BEST:: SOT 37226 SOS 26979 HAS SOPS 26979 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15419.979
AT ITER 45 NEW BEST:: SOT 37172 SOS 26731 HAS SOPS 26731 HAS SOUS 15259 HAS SOUPS 15259 WITH SCORE 15285.731
AT ITER 50 NEW BEST:: SOT 37111 SOS 25967 HAS SOPS 25967 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15037.967
AT ITER 54 NEW BEST:: SOT 37094 SOS 25957 HAS SOPS 25957 HAS SOUS 14985 HAS SOUPS 14985 WITH SCORE 15010.957
AT ITER 60 NEW BEST:: SOT 37085 SOS 25930 HAS SOPS 25930 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 14992.93
AT ITER 61 NEW BEST:: SOT 36997 SOS 25704 HAS SOPS 25704 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14732.704
AT ITER 63 NEW BEST:: SOT 36988 SOS 25610 HAS SOPS 25610 HAS SOUS 14655 HAS SOUPS 14655 WITH SCORE 14680.61
AT ITER 64 NEW BEST:: SOT 36962 SOS 24676 HAS SOPS 24676 HAS SOUS 14293 HAS SOUPS 14293 WITH SCORE 14317.676
AT ITER 66 NEW BEST:: SOT 36945 SOS 24574 HAS SOPS 24574 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14293.574
AT ITER 68 NEW BEST:: SOT 36920 SOS 24348 HAS SOPS 24348 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14221.348
AT ITER 70 NEW BEST:: SOT 36690 SOS 24087 HAS SOPS 24087 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13449.087
AT ITER 76 NEW BEST:: SOT 36656 SOS 23939 HAS SOPS 23939 HAS SOUS 13378 HAS SOUPS 13378 WITH SCORE 13401.939
AT ITER 80 NEW BEST:: SOT 36652 SOS 23935 HAS SOPS 23935 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13393.935
AT ITER 81 NEW BEST:: SOT 36610 SOS 24011 HAS SOPS 24011 HAS SOUS 13332 HAS SOUPS 13332 WITH SCORE 13356.011
AT ITER 83 NEW BEST:: SOT 36571 SOS 23843 HAS SOPS 23843 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13306.843
AT ITER 86 NEW BEST:: SOT 36571 SOS 23763 HAS SOPS 23763 HAS SOUS 13264 HAS SOUPS 13264 WITH SCORE 13287.763
AT ITER 87 NEW BEST:: SOT 36571 SOS 23763 HAS SOPS 23763 HAS SOUS 13244 HAS SOUPS 13244 WITH SCORE 13267.763
AT ITER 88 NEW BEST:: SOT 36543 SOS 23747 HAS SOPS 23747 HAS SOUS 13178 HAS SOUPS 13178 WITH SCORE 13201.747
AT ITER 90 NEW BEST:: SOT 36489 SOS 23637 HAS SOPS 23637 HAS SOUS 13084 HAS SOUPS 13084 WITH SCORE 13107.637
AT ITER 93 NEW BEST:: SOT 36489 SOS 23637 HAS SOPS 23637 HAS SOUS 13076 HAS SOUPS 13076 WITH SCORE 13099.637
AT ITER 94 NEW BEST:: SOT 36489 SOS 23637 HAS SOPS 23637 HAS SOUS 13050 HAS SOUPS 13050 WITH SCORE 13073.637
AT ITER 102 NEW BEST:: SOT 36435 SOS 23583 HAS SOPS 23583 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12965.583
AT ITER 105 NEW BEST:: SOT 36455 SOS 23602 HAS SOPS 23602 HAS SOUS 12838 HAS SOUPS 12838 WITH SCORE 12861.602
AT ITER 106 NEW BEST:: SOT 36447 SOS 23524 HAS SOPS 23524 HAS SOUS 12829 HAS SOUPS 12829 WITH SCORE 12852.524
AT ITER 107 NEW BEST:: SOT 36438 SOS 23470 HAS SOPS 23470 HAS SOUS 12811 HAS SOUPS 12811 WITH SCORE 12834.47
AT ITER 111 NEW BEST:: SOT 36452 SOS 23701 HAS SOPS 23701 HAS SOUS 12753 HAS SOUPS 12753 WITH SCORE 12776.701
AT ITER 113 NEW BEST:: SOT 36409 SOS 23658 HAS SOPS 23658 HAS SOUS 12684 HAS SOUPS 12684 WITH SCORE 12707.658
AT ITER 118 NEW BEST:: SOT 36337 SOS 23363 HAS SOPS 23363 HAS SOUS 12555 HAS SOUPS 12555 WITH SCORE 12578.363
AT ITER 123 NEW BEST:: SOT 36438 SOS 23236 HAS SOPS 23236 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12564.236
AT ITER 126 NEW BEST:: SOT 36352 SOS 23156 HAS SOPS 23156 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12521.156
AT ITER 128 NEW BEST:: SOT 36350 SOS 23178 HAS SOPS 23178 HAS SOUS 12488 HAS SOUPS 12488 WITH SCORE 12511.178
AT ITER 130 NEW BEST:: SOT 36372 SOS 23024 HAS SOPS 23024 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12503.024
AT ITER 131 NEW BEST:: SOT 36336 SOS 22988 HAS SOPS 22988 HAS SOUS 12460 HAS SOUPS 12460 WITH SCORE 12482.988
AT ITER 135 NEW BEST:: SOT 36336 SOS 22988 HAS SOPS 22988 HAS SOUS 12434 HAS SOUPS 12434 WITH SCORE 12456.988
AT ITER 138 NEW BEST:: SOT 36346 SOS 22988 HAS SOPS 22988 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12451.988
AT ITER 141 NEW BEST:: SOT 36277 SOS 22352 HAS SOPS 22352 HAS SOUS 12288 HAS SOUPS 12288 WITH SCORE 12310.352
AT ITER 146 NEW BEST:: SOT 36254 SOS 22372 HAS SOPS 22372 HAS SOUS 12243 HAS SOUPS 12243 WITH SCORE 12265.372
AT ITER 153 NEW BEST:: SOT 36290 SOS 22294 HAS SOPS 22294 HAS SOUS 12208 HAS SOUPS 12208 WITH SCORE 12230.294
AT ITER 159 NEW BEST:: SOT 36214 SOS 22218 HAS SOPS 22218 HAS SOUS 12124 HAS SOUPS 12124 WITH SCORE 12146.218
AT ITER 161 NEW BEST:: SOT 36196 SOS 22120 HAS SOPS 22120 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12070.12
AT ITER 169 NEW BEST:: SOT 36196 SOS 22002 HAS SOPS 22002 HAS SOUS 11941 HAS SOUPS 11941 WITH SCORE 11963.002
AT ITER 171 NEW BEST:: SOT 36176 SOS 21666 HAS SOPS 21666 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11893.666
AT ITER 177 NEW BEST:: SOT 36159 SOS 21643 HAS SOPS 21643 HAS SOUS 11833 HAS SOUPS 11833 WITH SCORE 11854.643
AT ITER 179 NEW BEST:: SOT 36134 SOS 21593 HAS SOPS 21593 HAS SOUS 11816 HAS SOUPS 11816 WITH SCORE 11837.593
AT ITER 181 NEW BEST:: SOT 36134 SOS 21503 HAS SOPS 21503 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11741.503
AT ITER 182 NEW BEST:: SOT 36106 SOS 21373 HAS SOPS 21373 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11703.373
AT ITER 184 NEW BEST:: SOT 36124 SOS 21167 HAS SOPS 21167 HAS SOUS 11651 HAS SOUPS 11651 WITH SCORE 11672.167
AT ITER 191 NEW BEST:: SOT 36100 SOS 21152 HAS SOPS 21152 HAS SOUS 11616 HAS SOUPS 11616 WITH SCORE 11637.152
AT ITER 202 NEW BEST:: SOT 36099 SOS 21189 HAS SOPS 21189 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11635.189
AT ITER 203 NEW BEST:: SOT 36099 SOS 21189 HAS SOPS 21189 HAS SOUS 11611 HAS SOUPS 11611 WITH SCORE 11632.189
AT ITER 205 NEW BEST:: SOT 36099 SOS 21141 HAS SOPS 21141 HAS SOUS 11528 HAS SOUPS 11528 WITH SCORE 11549.141
AT ITER 210 NEW BEST:: SOT 36084 SOS 21161 HAS SOPS 21161 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11534.161
AT ITER 214 NEW BEST:: SOT 36049 SOS 21101 HAS SOPS 21101 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11491.101
AT ITER 216 NEW BEST:: SOT 36034 SOS 21083 HAS SOPS 21083 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11477.083
AT ITER 217 NEW BEST:: SOT 36034 SOS 21167 HAS SOPS 21167 HAS SOUS 11451 HAS SOUPS 11451 WITH SCORE 11472.167
AT ITER 221 NEW BEST:: SOT 36024 SOS 21162 HAS SOPS 21162 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11457.162
AT ITER 222 NEW BEST:: SOT 36024 SOS 21128 HAS SOPS 21128 HAS SOUS 11436 HAS SOUPS 11436 WITH SCORE 11457.128
AT ITER 224 NEW BEST:: SOT 36024 SOS 21137 HAS SOPS 21137 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11402.137
AT ITER 226 NEW BEST:: SOT 35987 SOS 21052 HAS SOPS 21052 HAS SOUS 11313 HAS SOUPS 11313 WITH SCORE 11334.052
AT ITER 228 NEW BEST:: SOT 35946 SOS 21034 HAS SOPS 21034 HAS SOUS 11293 HAS SOUPS 11293 WITH SCORE 11314.034
AT ITER 229 NEW BEST:: SOT 36028 SOS 20793 HAS SOPS 20793 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11212.793
AT ITER 236 NEW BEST:: SOT 36034 SOS 20717 HAS SOPS 20717 HAS SOUS 11144 HAS SOUPS 11144 WITH SCORE 11164.717
AT ITER 244 NEW BEST:: SOT 36034 SOS 20611 HAS SOPS 20611 HAS SOUS 11133 HAS SOUPS 11133 WITH SCORE 11153.611
AT ITER 245 NEW BEST:: SOT 36034 SOS 20613 HAS SOPS 20613 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11151.613
AT ITER 254 NEW BEST:: SOT 36028 SOS 20578 HAS SOPS 20578 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11139.578
AT ITER 255 NEW BEST:: SOT 36000 SOS 20573 HAS SOPS 20573 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11086.573
AT ITER 256 NEW BEST:: SOT 36000 SOS 20555 HAS SOPS 20555 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11086.555
AT ITER 257 NEW BEST:: SOT 36000 SOS 20467 HAS SOPS 20467 HAS SOUS 11066 HAS SOUPS 11066 WITH SCORE 11086.467
AT ITER 258 NEW BEST:: SOT 35966 SOS 20433 HAS SOPS 20433 HAS SOUS 11062 HAS SOUPS 11062 WITH SCORE 11082.433
AT ITER 266 NEW BEST:: SOT 35966 SOS 20421 HAS SOPS 20421 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11070.421
AT ITER 267 NEW BEST:: SOT 35966 SOS 20327 HAS SOPS 20327 HAS SOUS 11021 HAS SOUPS 11021 WITH SCORE 11041.327
AT ITER 268 NEW BEST:: SOT 35966 SOS 20336 HAS SOPS 20336 HAS SOUS 11018 HAS SOUPS 11018 WITH SCORE 11038.336
AT ITER 271 NEW BEST:: SOT 35966 SOS 20149 HAS SOPS 20149 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10936.149
AT ITER 282 NEW BEST:: SOT 35966 SOS 20141 HAS SOPS 20141 HAS SOUS 10916 HAS SOUPS 10916 WITH SCORE 10936.141
AT ITER 285 NEW BEST:: SOT 35951 SOS 20141 HAS SOPS 20141 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10911.141
AT ITER 287 NEW BEST:: SOT 35956 SOS 20010 HAS SOPS 20010 HAS SOUS 10875 HAS SOUPS 10875 WITH SCORE 10895.01
AT ITER 288 NEW BEST:: SOT 35946 SOS 19960 HAS SOPS 19960 HAS SOUS 10845 HAS SOUPS 10845 WITH SCORE 10864.96
AT ITER 289 NEW BEST:: SOT 35947 SOS 19962 HAS SOPS 19962 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10843.962
AT ITER 291 NEW BEST:: SOT 35928 SOS 19924 HAS SOPS 19924 HAS SOUS 10790 HAS SOUPS 10790 WITH SCORE 10809.924
AT ITER 294 NEW BEST:: SOT 35938 SOS 19490 HAS SOPS 19490 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10801.49
AT ITER 297 NEW BEST:: SOT 35937 SOS 19480 HAS SOPS 19480 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10796.48
AT ITER 298 NEW BEST:: SOT 35942 SOS 19560 HAS SOPS 19560 HAS SOUS 10748 HAS SOUPS 10748 WITH SCORE 10767.56
AT ITER 308 NEW BEST:: SOT 35942 SOS 19528 HAS SOPS 19528 HAS SOUS 10716 HAS SOUPS 10716 WITH SCORE 10735.528
AT ITER 313 NEW BEST:: SOT 35736 SOS 19198 HAS SOPS 19198 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10419.198
AT ITER 316 NEW BEST:: SOT 35684 SOS 19108 HAS SOPS 19108 HAS SOUS 10336 HAS SOUPS 10336 WITH SCORE 10355.108
AT ITER 317 NEW BEST:: SOT 35692 SOS 19092 HAS SOPS 19092 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10341.092
AT ITER 322 NEW BEST:: SOT 35692 SOS 19081 HAS SOPS 19081 HAS SOUS 10322 HAS SOUPS 10322 WITH SCORE 10341.081
AT ITER 324 NEW BEST:: SOT 35675 SOS 19089 HAS SOPS 19089 HAS SOUS 10296 HAS SOUPS 10296 WITH SCORE 10315.089
AT ITER 341 NEW BEST:: SOT 32944 SOS 18321 HAS SOPS 18321 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9101.321
AT ITER 346 NEW BEST:: SOT 32264 SOS 17773 HAS SOPS 17773 HAS SOUS 8806 HAS SOUPS 8806 WITH SCORE 8823.773
AT ITER 350 NEW BEST:: SOT 32280 SOS 17789 HAS SOPS 17789 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8800.789
AT ITER 357 NEW BEST:: SOT 32284 SOS 17793 HAS SOPS 17793 HAS SOUS 8781 HAS SOUPS 8781 WITH SCORE 8798.793
AT ITER 360 NEW BEST:: SOT 31950 SOS 17459 HAS SOPS 17459 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8575.459
AT ITER 364 NEW BEST:: SOT 31926 SOS 17399 HAS SOPS 17399 HAS SOUS 8533 HAS SOUPS 8533 WITH SCORE 8550.399
AT ITER 366 NEW BEST:: SOT 31821 SOS 17294 HAS SOPS 17294 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8505.294
AT ITER 370 NEW BEST:: SOT 31847 SOS 17198 HAS SOPS 17198 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8495.198
AT ITER 371 NEW BEST:: SOT 31823 SOS 16975 HAS SOPS 16975 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8470.975
AT ITER 378 NEW BEST:: SOT 31851 SOS 16975 HAS SOPS 16975 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8455.975
AT ITER 381 NEW BEST:: SOT 31919 SOS 16341 HAS SOPS 16341 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8429.341
AT ITER 385 NEW BEST:: SOT 31730 SOS 16105 HAS SOPS 16105 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8354.105
AT ITER 387 NEW BEST:: SOT 31657 SOS 16032 HAS SOPS 16032 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8344.032
AT ITER 389 NEW BEST:: SOT 31639 SOS 15946 HAS SOPS 15946 HAS SOUS 8309 HAS SOUPS 8309 WITH SCORE 8324.946
AT ITER 419 NEW BEST:: SOT 31639 SOS 15946 HAS SOPS 15946 HAS SOUS 8292 HAS SOUPS 8292 WITH SCORE 8307.946
AT ITER 420 NEW BEST:: SOT 31481 SOS 15788 HAS SOPS 15788 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8234.788
AT ITER 427 NEW BEST:: SOT 31331 SOS 15490 HAS SOPS 15490 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8170.49
AT ITER 440 NEW BEST:: SOT 31251 SOS 15410 HAS SOPS 15410 HAS SOUS 8107 HAS SOUPS 8107 WITH SCORE 8122.41
AT ITER 441 NEW BEST:: SOT 31146 SOS 15242 HAS SOPS 15242 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7974.242
AT ITER 442 NEW BEST:: SOT 30372 SOS 14724 HAS SOPS 14724 HAS SOUS 7657 HAS SOUPS 7657 WITH SCORE 7671.724
AT ITER 443 NEW BEST:: SOT 30370 SOS 14722 HAS SOPS 14722 HAS SOUS 7655 HAS SOUPS 7655 WITH SCORE 7669.722
AT ITER 444 NEW BEST:: SOT 30341 SOS 14590 HAS SOPS 14590 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7569.59
AT ITER 447 NEW BEST:: SOT 30332 SOS 14499 HAS SOPS 14499 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7535.499
AT ITER 449 NEW BEST:: SOT 30332 SOS 14499 HAS SOPS 14499 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7518.499
AT ITER 451 NEW BEST:: SOT 30313 SOS 14449 HAS SOPS 14449 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7483.449
AT ITER 456 NEW BEST:: SOT 30251 SOS 14387 HAS SOPS 14387 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7395.387
AT ITER 459 NEW BEST:: SOT 30249 SOS 14435 HAS SOPS 14435 HAS SOUS 7379 HAS SOUPS 7379 WITH SCORE 7393.435
AT ITER 462 NEW BEST:: SOT 30237 SOS 14394 HAS SOPS 14394 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7365.394
AT ITER 463 NEW BEST:: SOT 30078 SOS 14201 HAS SOPS 14201 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7183.201
AT ITER 491 NEW BEST:: SOT 30080 SOS 14187 HAS SOPS 14187 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7113.187
AT ITER 494 NEW BEST:: SOT 30119 SOS 14233 HAS SOPS 14233 HAS SOUS 7091 HAS SOUPS 7091 WITH SCORE 7105.233
AT ITER 498 NEW BEST:: SOT 30080 SOS 14181 HAS SOPS 14181 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7086.181
AT ITER 506 NEW BEST:: SOT 30051 SOS 14153 HAS SOPS 14153 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7056.153
AT ITER 507 NEW BEST:: SOT 30051 SOS 14137 HAS SOPS 14137 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7056.137
AT ITER 509 NEW BEST:: SOT 30042 SOS 14137 HAS SOPS 14137 HAS SOUS 7037 HAS SOUPS 7037 WITH SCORE 7051.137
AT ITER 510 NEW BEST:: SOT 30038 SOS 14133 HAS SOPS 14133 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7047.133
AT ITER 513 NEW BEST:: SOT 30034 SOS 14115 HAS SOPS 14115 HAS SOUS 7025 HAS SOUPS 7025 WITH SCORE 7039.115
AT ITER 516 NEW BEST:: SOT 30030 SOS 14449 HAS SOPS 14449 HAS SOUS 7007 HAS SOUPS 7007 WITH SCORE 7021.449
AT ITER 518 NEW BEST:: SOT 30030 SOS 14445 HAS SOPS 14445 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7013.445
AT ITER 525 NEW BEST:: SOT 29999 SOS 14422 HAS SOPS 14422 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6910.422
AT ITER 528 NEW BEST:: SOT 29995 SOS 14424 HAS SOPS 14424 HAS SOUS 6894 HAS SOUPS 6894 WITH SCORE 6908.424
AT ITER 533 NEW BEST:: SOT 29981 SOS 14523 HAS SOPS 14523 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6861.523
AT ITER 534 NEW BEST:: SOT 29979 SOS 14521 HAS SOPS 14521 HAS SOUS 6843 HAS SOUPS 6843 WITH SCORE 6857.521
AT ITER 539 NEW BEST:: SOT 29943 SOS 14493 HAS SOPS 14493 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6845.493
AT ITER 545 NEW BEST:: SOT 29933 SOS 14450 HAS SOPS 14450 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6824.45
AT ITER 558 NEW BEST:: SOT 29918 SOS 14286 HAS SOPS 14286 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6786.286
AT ITER 568 NEW BEST:: SOT 29913 SOS 14291 HAS SOPS 14291 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6776.291
AT ITER 574 NEW BEST:: SOT 29911 SOS 14289 HAS SOPS 14289 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6765.289
AT ITER 576 NEW BEST:: SOT 29905 SOS 14289 HAS SOPS 14289 HAS SOUS 6745 HAS SOUPS 6745 WITH SCORE 6759.289
AT ITER 579 NEW BEST:: SOT 29903 SOS 14281 HAS SOPS 14281 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6746.281
AT ITER 581 NEW BEST:: SOT 29901 SOS 14277 HAS SOPS 14277 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6730.277
AT ITER 588 NEW BEST:: SOT 29899 SOS 14367 HAS SOPS 14367 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6720.367
AT ITER 591 NEW BEST:: SOT 29874 SOS 14365 HAS SOPS 14365 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6695.365
AT ITER 601 NEW BEST:: SOT 29860 SOS 14349 HAS SOPS 14349 HAS SOUS 6663 HAS SOUPS 6663 WITH SCORE 6677.349
AT ITER 604 NEW BEST:: SOT 29855 SOS 14344 HAS SOPS 14344 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6673.344
AT ITER 609 NEW BEST:: SOT 29847 SOS 14320 HAS SOPS 14320 HAS SOUS 6652 HAS SOUPS 6652 WITH SCORE 6666.32
AT ITER 612 NEW BEST:: SOT 29844 SOS 14331 HAS SOPS 14331 HAS SOUS 6622 HAS SOUPS 6622 WITH SCORE 6636.331
AT ITER 630 NEW BEST:: SOT 29799 SOS 14212 HAS SOPS 14212 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6535.212
AT ITER 639 NEW BEST:: SOT 29782 SOS 14239 HAS SOPS 14239 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6511.239
AT ITER 645 NEW BEST:: SOT 29784 SOS 14235 HAS SOPS 14235 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6497.235
AT ITER 658 NEW BEST:: SOT 29784 SOS 14193 HAS SOPS 14193 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6497.193
AT ITER 665 NEW BEST:: SOT 29772 SOS 14169 HAS SOPS 14169 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6473.169
AT ITER 719 NEW BEST:: SOT 29857 SOS 14254 HAS SOPS 14254 HAS SOUS 6444 HAS SOUPS 6444 WITH SCORE 6458.254
AT ITER 732 NEW BEST:: SOT 29857 SOS 14198 HAS SOPS 14198 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6446.198
AT ITER 748 NEW BEST:: SOT 29857 SOS 14186 HAS SOPS 14186 HAS SOUS 6424 HAS SOUPS 6424 WITH SCORE 6438.186
AT ITER 765 NEW BEST:: SOT 29659 SOS 14094 HAS SOPS 14094 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6426.094
AT ITER 766 NEW BEST:: SOT 29659 SOS 14088 HAS SOPS 14088 HAS SOUS 6412 HAS SOUPS 6412 WITH SCORE 6426.088
AT ITER 791 NEW BEST:: SOT 29644 SOS 14015 HAS SOPS 14015 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6423.015
AT ITER 805 NEW BEST:: SOT 29636 SOS 13973 HAS SOPS 13973 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6418.973
AT ITER 825 NEW BEST:: SOT 29625 SOS 13969 HAS SOPS 13969 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6406.969
AT ITER 828 NEW BEST:: SOT 29611 SOS 13955 HAS SOPS 13955 HAS SOUS 6367 HAS SOUPS 6367 WITH SCORE 6380.955
AT ITER 848 NEW BEST:: SOT 29607 SOS 13973 HAS SOPS 13973 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6375.973
AT ITER 864 NEW BEST:: SOT 29604 SOS 14000 HAS SOPS 14000 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6375.0
AT ITER 894 NEW BEST:: SOT 29560 SOS 13922 HAS SOPS 13922 HAS SOUS 6314 HAS SOUPS 6314 WITH SCORE 6327.922
AT ITER 899 NEW BEST:: SOT 29478 SOS 13840 HAS SOPS 13840 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6270.84
AT ITER 904 NEW BEST:: SOT 29276 SOS 13634 HAS SOPS 13634 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6117.634
AT ITER 905 NEW BEST:: SOT 29265 SOS 13584 HAS SOPS 13584 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6103.584
AT ITER 916 NEW BEST:: SOT 29265 SOS 13584 HAS SOPS 13584 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6088.584
AT ITER 917 NEW BEST:: SOT 29258 SOS 13566 HAS SOPS 13566 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6074.566
AT ITER 920 NEW BEST:: SOT 29272 SOS 13571 HAS SOPS 13571 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6072.571
AT ITER 933 NEW BEST:: SOT 29271 SOS 13569 HAS SOPS 13569 HAS SOUS 6056 HAS SOUPS 6056 WITH SCORE 6069.569
AT ITER 934 NEW BEST:: SOT 29275 SOS 13565 HAS SOPS 13565 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6061.565
AT ITER 944 NEW BEST:: SOT 29275 SOS 13563 HAS SOPS 13563 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6061.563
AT ITER 947 NEW BEST:: SOT 29271 SOS 13559 HAS SOPS 13559 HAS SOUS 6044 HAS SOUPS 6044 WITH SCORE 6057.559
AT ITER 950 NEW BEST:: SOT 29269 SOS 13555 HAS SOPS 13555 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6055.555
AT ITER 960 NEW BEST:: SOT 29265 SOS 13587 HAS SOPS 13587 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6053.587
AT ITER 961 NEW BEST:: SOT 29264 SOS 13599 HAS SOPS 13599 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6049.599
AT ITER 979 NEW BEST:: SOT 29256 SOS 13603 HAS SOPS 13603 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6045.603
AT ITER 980 NEW BEST:: SOT 29220 SOS 13567 HAS SOPS 13567 HAS SOUS 5996 HAS SOUPS 5996 WITH SCORE 6009.567
AT ITER 986 NEW BEST:: SOT 29220 SOS 13567 HAS SOPS 13567 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 6003.567
AT ITER 992 NEW BEST:: SOT 29194 SOS 13541 HAS SOPS 13541 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5951.541
AT ITER 994 NEW BEST:: SOT 29195 SOS 13535 HAS SOPS 13535 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5945.535
AT ITER 1002 NEW BEST:: SOT 29195 SOS 13510 HAS SOPS 13510 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5928.51
AT ITER 1023 NEW BEST:: SOT 29195 SOS 13502 HAS SOPS 13502 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5919.502
AT ITER 1024 NEW BEST:: SOT 29179 SOS 13519 HAS SOPS 13519 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5909.519
AT ITER 1045 NEW BEST:: SOT 29190 SOS 13508 HAS SOPS 13508 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5899.508
AT ITER 1062 NEW BEST:: SOT 29159 SOS 13429 HAS SOPS 13429 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5857.429
AT ITER 1063 NEW BEST:: SOT 29159 SOS 13458 HAS SOPS 13458 HAS SOUS 5837 HAS SOUPS 5837 WITH SCORE 5850.458
AT ITER 1070 NEW BEST:: SOT 29263 SOS 13014 HAS SOPS 13014 HAS SOUS 5786 HAS SOUPS 5786 WITH SCORE 5799.014
AT ITER 1127 NEW BEST:: SOT 29193 SOS 12814 HAS SOPS 12814 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5721.814
AT ITER 1144 NEW BEST:: SOT 29193 SOS 12811 HAS SOPS 12811 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5719.811
AT ITER 1148 NEW BEST:: SOT 29152 SOS 12715 HAS SOPS 12715 HAS SOUS 5679 HAS SOUPS 5679 WITH SCORE 5691.715
AT ITER 1175 NEW BEST:: SOT 29160 SOS 12729 HAS SOPS 12729 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5689.729
AT ITER 1189 NEW BEST:: SOT 29151 SOS 12731 HAS SOPS 12731 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5688.731
AT ITER 1192 NEW BEST:: SOT 29119 SOS 12709 HAS SOPS 12709 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5686.709
AT ITER 1225 NEW BEST:: SOT 29119 SOS 12695 HAS SOPS 12695 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5686.695
AT ITER 1252 NEW BEST:: SOT 29095 SOS 12671 HAS SOPS 12671 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5672.671
AT ITER 1259 NEW BEST:: SOT 29073 SOS 12627 HAS SOPS 12627 HAS SOUS 5638 HAS SOUPS 5638 WITH SCORE 5650.627
AT ITER 1263 NEW BEST:: SOT 29059 SOS 12584 HAS SOPS 12584 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5634.584
AT ITER 1271 NEW BEST:: SOT 29061 SOS 12609 HAS SOPS 12609 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5631.609
AT ITER 1279 NEW BEST:: SOT 29061 SOS 12607 HAS SOPS 12607 HAS SOUS 5617 HAS SOUPS 5617 WITH SCORE 5629.607
AT ITER 1292 NEW BEST:: SOT 29059 SOS 12591 HAS SOPS 12591 HAS SOUS 5608 HAS SOUPS 5608 WITH SCORE 5620.591
AT ITER 1308 NEW BEST:: SOT 29079 SOS 12736 HAS SOPS 12736 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5614.736
AT ITER 1320 NEW BEST:: SOT 29078 SOS 12728 HAS SOPS 12728 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5606.728
AT ITER 1331 NEW BEST:: SOT 29057 SOS 12698 HAS SOPS 12698 HAS SOUS 5573 HAS SOUPS 5573 WITH SCORE 5585.698
AT ITER 1336 NEW BEST:: SOT 29002 SOS 12643 HAS SOPS 12643 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5569.643
AT ITER 1345 NEW BEST:: SOT 29008 SOS 12649 HAS SOPS 12649 HAS SOUS 5551 HAS SOUPS 5551 WITH SCORE 5563.649
AT ITER 1353 NEW BEST:: SOT 28996 SOS 12613 HAS SOPS 12613 HAS SOUS 5549 HAS SOUPS 5549 WITH SCORE 5561.613
AT ITER 1376 NEW BEST:: SOT 28996 SOS 12589 HAS SOPS 12589 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5556.589
AT ITER 1381 NEW BEST:: SOT 28996 SOS 12589 HAS SOPS 12589 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5528.589
AT ITER 1416 NEW BEST:: SOT 28895 SOS 12843 HAS SOPS 12843 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5460.843
AT ITER 1433 NEW BEST:: SOT 28847 SOS 12795 HAS SOPS 12795 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5388.795
AT ITER 1464 NEW BEST:: SOT 28847 SOS 12785 HAS SOPS 12785 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5388.785
AT ITER 1470 NEW BEST:: SOT 28841 SOS 12771 HAS SOPS 12771 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5386.771
AT ITER 1471 NEW BEST:: SOT 28836 SOS 12825 HAS SOPS 12825 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5381.825
AT ITER 1472 NEW BEST:: SOT 28830 SOS 12819 HAS SOPS 12819 HAS SOUS 5363 HAS SOUPS 5363 WITH SCORE 5375.819
AT ITER 1486 NEW BEST:: SOT 28845 SOS 12739 HAS SOPS 12739 HAS SOUS 5345 HAS SOUPS 5345 WITH SCORE 5357.739
AT ITER 1493 NEW BEST:: SOT 28795 SOS 12681 HAS SOPS 12681 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5355.681
AT ITER 1505 NEW BEST:: SOT 28795 SOS 12748 HAS SOPS 12748 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5334.748
AT ITER 1511 NEW BEST:: SOT 28541 SOS 13550 HAS SOPS 13550 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5309.55
AT ITER 1533 NEW BEST:: SOT 28525 SOS 13534 HAS SOPS 13534 HAS SOUS 5280 HAS SOUPS 5280 WITH SCORE 5293.534
AT ITER 1536 NEW BEST:: SOT 28549 SOS 13545 HAS SOPS 13545 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5291.545
AT ITER 1539 NEW BEST:: SOT 28552 SOS 13556 HAS SOPS 13556 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5289.556
AT ITER 1550 NEW BEST:: SOT 28552 SOS 13556 HAS SOPS 13556 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5284.556
AT ITER 1583 NEW BEST:: SOT 28492 SOS 13556 HAS SOPS 13556 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5247.556
AT ITER 1585 NEW BEST:: SOT 28492 SOS 13554 HAS SOPS 13554 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5247.554
AT ITER 1588 NEW BEST:: SOT 28484 SOS 13516 HAS SOPS 13516 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5225.516
AT ITER 1590 NEW BEST:: SOT 28486 SOS 13518 HAS SOPS 13518 HAS SOUS 5209 HAS SOUPS 5209 WITH SCORE 5222.518
AT ITER 1599 NEW BEST:: SOT 28387 SOS 13723 HAS SOPS 13723 HAS SOUS 5196 HAS SOUPS 5196 WITH SCORE 5209.723
AT ITER 1618 NEW BEST:: SOT 28393 SOS 13719 HAS SOPS 13719 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5193.719
AT ITER 1644 NEW BEST:: SOT 28403 SOS 13729 HAS SOPS 13729 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5188.729
AT ITER 1655 NEW BEST:: SOT 28489 SOS 13531 HAS SOPS 13531 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5175.531
AT ITER 1658 NEW BEST:: SOT 28487 SOS 13609 HAS SOPS 13609 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5157.609
AT ITER 1659 NEW BEST:: SOT 28396 SOS 13518 HAS SOPS 13518 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5095.518
AT ITER 1660 NEW BEST:: SOT 28390 SOS 13512 HAS SOPS 13512 HAS SOUS 5079 HAS SOUPS 5079 WITH SCORE 5092.512
AT ITER 1676 NEW BEST:: SOT 28245 SOS 13288 HAS SOPS 13288 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4942.288
AT ITER 1688 NEW BEST:: SOT 28194 SOS 13111 HAS SOPS 13111 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4926.111
AT ITER 1693 NEW BEST:: SOT 28190 SOS 13107 HAS SOPS 13107 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4915.107
AT ITER 1708 NEW BEST:: SOT 28182 SOS 13068 HAS SOPS 13068 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4900.068
AT ITER 1767 NEW BEST:: SOT 28179 SOS 13048 HAS SOPS 13048 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4894.048
AT ITER 1785 NEW BEST:: SOT 28179 SOS 13048 HAS SOPS 13048 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4889.048
AT ITER 1786 NEW BEST:: SOT 28179 SOS 13048 HAS SOPS 13048 HAS SOUS 4874 HAS SOUPS 4874 WITH SCORE 4887.048
AT ITER 1788 NEW BEST:: SOT 28180 SOS 13047 HAS SOPS 13047 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4886.047
AT ITER 1789 NEW BEST:: SOT 28098 SOS 13131 HAS SOPS 13131 HAS SOUS 4814 HAS SOUPS 4814 WITH SCORE 4827.131
AT ITER 1793 NEW BEST:: SOT 28098 SOS 13117 HAS SOPS 13117 HAS SOUS 4809 HAS SOUPS 4809 WITH SCORE 4822.117
AT ITER 1805 NEW BEST:: SOT 28067 SOS 12916 HAS SOPS 12916 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4793.916
AT ITER 1818 NEW BEST:: SOT 28067 SOS 12878 HAS SOPS 12878 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4783.878
AT ITER 1820 NEW BEST:: SOT 28076 SOS 12914 HAS SOPS 12914 HAS SOUS 4753 HAS SOUPS 4753 WITH SCORE 4765.914
AT ITER 1857 NEW BEST:: SOT 28076 SOS 12914 HAS SOPS 12914 HAS SOUS 4749 HAS SOUPS 4749 WITH SCORE 4761.914
AT ITER 1873 NEW BEST:: SOT 28045 SOS 12883 HAS SOPS 12883 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4751.883
AT ITER 1879 NEW BEST:: SOT 28031 SOS 12869 HAS SOPS 12869 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4722.869
AT ITER 1913 NEW BEST:: SOT 28028 SOS 12866 HAS SOPS 12866 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4722.866
AT ITER 1954 NEW BEST:: SOT 28004 SOS 12842 HAS SOPS 12842 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4710.842
AT ITER 1957 NEW BEST:: SOT 28010 SOS 12848 HAS SOPS 12848 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4704.848
AT ITER 1959 NEW BEST:: SOT 28006 SOS 12844 HAS SOPS 12844 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4696.844
AT ITER 1977 NEW BEST:: SOT 27999 SOS 12816 HAS SOPS 12816 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4691.816
AT ITER 1989 NEW BEST:: SOT 27969 SOS 12559 HAS SOPS 12559 HAS SOUS 4675 HAS SOUPS 4675 WITH SCORE 4687.559
AT ITER 1993 NEW BEST:: SOT 27972 SOS 12550 HAS SOPS 12550 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4683.55
AT ITER 2047 NEW BEST:: SOT 27967 SOS 12521 HAS SOPS 12521 HAS SOUS 4666 HAS SOUPS 4666 WITH SCORE 4678.521
AT ITER 2056 NEW BEST:: SOT 27963 SOS 12517 HAS SOPS 12517 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4667.517
AT ITER 2057 NEW BEST:: SOT 27968 SOS 12515 HAS SOPS 12515 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4663.515
AT ITER 2087 NEW BEST:: SOT 27967 SOS 12569 HAS SOPS 12569 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4662.569
AT ITER 2091 NEW BEST:: SOT 27938 SOS 12542 HAS SOPS 12542 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4654.542
AT ITER 2132 NEW BEST:: SOT 27942 SOS 12565 HAS SOPS 12565 HAS SOUS 4640 HAS SOUPS 4640 WITH SCORE 4652.565
AT ITER 2136 NEW BEST:: SOT 27937 SOS 12560 HAS SOPS 12560 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4631.56
AT ITER 2144 NEW BEST:: SOT 27919 SOS 12547 HAS SOPS 12547 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4624.547
AT ITER 2153 NEW BEST:: SOT 27919 SOS 12576 HAS SOPS 12576 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4617.576
AT ITER 2160 NEW BEST:: SOT 27918 SOS 12611 HAS SOPS 12611 HAS SOUS 4591 HAS SOUPS 4591 WITH SCORE 4603.611
AT ITER 2164 NEW BEST:: SOT 27908 SOS 12591 HAS SOPS 12591 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4593.591
AT ITER 2176 NEW BEST:: SOT 27916 SOS 12599 HAS SOPS 12599 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4589.599
AT ITER 2179 NEW BEST:: SOT 27916 SOS 12599 HAS SOPS 12599 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4588.599
AT ITER 2220 NEW BEST:: SOT 27880 SOS 12541 HAS SOPS 12541 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4546.541
AT ITER 2222 NEW BEST:: SOT 27868 SOS 12529 HAS SOPS 12529 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4537.529
AT ITER 2225 NEW BEST:: SOT 27872 SOS 12533 HAS SOPS 12533 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4530.533
AT ITER 2227 NEW BEST:: SOT 27801 SOS 12061 HAS SOPS 12061 HAS SOUS 4487 HAS SOUPS 4487 WITH SCORE 4499.061
AT ITER 2245 NEW BEST:: SOT 27794 SOS 12034 HAS SOPS 12034 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4497.034
AT ITER 2265 NEW BEST:: SOT 27684 SOS 11925 HAS SOPS 11925 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4480.925
AT ITER 2299 NEW BEST:: SOT 27672 SOS 11913 HAS SOPS 11913 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4465.913
AT ITER 2311 NEW BEST:: SOT 27681 SOS 11911 HAS SOPS 11911 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4452.911
AT ITER 2320 NEW BEST:: SOT 27663 SOS 11791 HAS SOPS 11791 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4440.791
AT ITER 2323 NEW BEST:: SOT 27675 SOS 11803 HAS SOPS 11803 HAS SOUS 4412 HAS SOUPS 4412 WITH SCORE 4423.803
AT ITER 2330 NEW BEST:: SOT 27671 SOS 11795 HAS SOPS 11795 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4415.795
AT ITER 2341 NEW BEST:: SOT 27668 SOS 11777 HAS SOPS 11777 HAS SOUS 4398 HAS SOUPS 4398 WITH SCORE 4409.777
AT ITER 2356 NEW BEST:: SOT 27710 SOS 11780 HAS SOPS 11780 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4398.78
AT ITER 2363 NEW BEST:: SOT 27698 SOS 11764 HAS SOPS 11764 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4382.764
AT ITER 2400 NEW BEST:: SOT 27687 SOS 11751 HAS SOPS 11751 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4377.751
AT ITER 2444 NEW BEST:: SOT 27685 SOS 11751 HAS SOPS 11751 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4375.751
AT ITER 2466 NEW BEST:: SOT 27701 SOS 11783 HAS SOPS 11783 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4369.783
AT ITER 2535 NEW BEST:: SOT 27702 SOS 11780 HAS SOPS 11780 HAS SOUS 4342 HAS SOUPS 4342 WITH SCORE 4353.78
AT ITER 2546 NEW BEST:: SOT 27698 SOS 11776 HAS SOPS 11776 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4351.776
AT ITER 2554 NEW BEST:: SOT 27719 SOS 11758 HAS SOPS 11758 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4333.758
AT ITER 2559 NEW BEST:: SOT 27723 SOS 11759 HAS SOPS 11759 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4328.759
AT ITER 2560 NEW BEST:: SOT 27759 SOS 11614 HAS SOPS 11614 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4312.614
AT ITER 2564 NEW BEST:: SOT 27755 SOS 11610 HAS SOPS 11610 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4304.61
AT ITER 2582 NEW BEST:: SOT 27755 SOS 11610 HAS SOPS 11610 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4296.61
AT ITER 2593 NEW BEST:: SOT 27770 SOS 11706 HAS SOPS 11706 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4291.706
AT ITER 2597 NEW BEST:: SOT 27778 SOS 11674 HAS SOPS 11674 HAS SOUS 4280 HAS SOUPS 4280 WITH SCORE 4291.674
AT ITER 2612 NEW BEST:: SOT 27704 SOS 11517 HAS SOPS 11517 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4273.517
AT ITER 2687 NEW BEST:: SOT 27698 SOS 11505 HAS SOPS 11505 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4264.505
AT ITER 2690 NEW BEST:: SOT 27750 SOS 11581 HAS SOPS 11581 HAS SOUS 4252 HAS SOUPS 4252 WITH SCORE 4263.581
AT ITER 2722 NEW BEST:: SOT 27716 SOS 11523 HAS SOPS 11523 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4229.523
AT ITER 2744 NEW BEST:: SOT 27696 SOS 11503 HAS SOPS 11503 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4226.503
AT ITER 2761 NEW BEST:: SOT 27697 SOS 11501 HAS SOPS 11501 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4224.501
AT ITER 2797 NEW BEST:: SOT 27623 SOS 11711 HAS SOPS 11711 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4173.711
AT ITER 2801 NEW BEST:: SOT 27618 SOS 11703 HAS SOPS 11703 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4168.703
AT ITER 2805 NEW BEST:: SOT 27602 SOS 11687 HAS SOPS 11687 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4139.687
AT ITER 2811 NEW BEST:: SOT 27605 SOS 11682 HAS SOPS 11682 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4139.682
AT ITER 2828 NEW BEST:: SOT 27605 SOS 11673 HAS SOPS 11673 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4139.673
AT ITER 2830 NEW BEST:: SOT 27611 SOS 11683 HAS SOPS 11683 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4135.683
AT ITER 2868 NEW BEST:: SOT 27607 SOS 11695 HAS SOPS 11695 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4131.695
AT ITER 2956 NEW BEST:: SOT 27603 SOS 11690 HAS SOPS 11690 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4130.69
AT ITER 2971 NEW BEST:: SOT 27603 SOS 11700 HAS SOPS 11700 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4125.7
AT ITER 2986 NEW BEST:: SOT 27637 SOS 11701 HAS SOPS 11701 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4104.701
AT ITER 3030 NEW BEST:: SOT 27645 SOS 11717 HAS SOPS 11717 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4096.717
AT ITER 3049 NEW BEST:: SOT 27658 SOS 11739 HAS SOPS 11739 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4082.739
AT ITER 3051 NEW BEST:: SOT 27644 SOS 11777 HAS SOPS 11777 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4074.777
AT ITER 3065 NEW BEST:: SOT 27646 SOS 11779 HAS SOPS 11779 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4073.779
AT ITER 3074 NEW BEST:: SOT 27632 SOS 11778 HAS SOPS 11778 HAS SOUS 4052 HAS SOUPS 4052 WITH SCORE 4063.778
AT ITER 3105 NEW BEST:: SOT 27626 SOS 11771 HAS SOPS 11771 HAS SOUS 4049 HAS SOUPS 4049 WITH SCORE 4060.771
AT ITER 3135 NEW BEST:: SOT 27624 SOS 11770 HAS SOPS 11770 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4057.77
AT ITER 3145 NEW BEST:: SOT 27621 SOS 11767 HAS SOPS 11767 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4057.767
AT ITER 3170 NEW BEST:: SOT 27621 SOS 11763 HAS SOPS 11763 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4057.763
AT ITER 3172 NEW BEST:: SOT 27619 SOS 11761 HAS SOPS 11761 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4055.761
AT ITER 3176 NEW BEST:: SOT 27594 SOS 11719 HAS SOPS 11719 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4031.719
AT ITER 3194 NEW BEST:: SOT 27598 SOS 11675 HAS SOPS 11675 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4031.675
AT ITER 3205 NEW BEST:: SOT 27584 SOS 11592 HAS SOPS 11592 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4005.592
AT ITER 3222 NEW BEST:: SOT 27580 SOS 11588 HAS SOPS 11588 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3995.588
AT ITER 3244 NEW BEST:: SOT 27577 SOS 11584 HAS SOPS 11584 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3992.584
AT ITER 3287 NEW BEST:: SOT 27567 SOS 11566 HAS SOPS 11566 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3982.566
AT ITER 3290 NEW BEST:: SOT 27554 SOS 11553 HAS SOPS 11553 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3965.553
AT ITER 3335 NEW BEST:: SOT 27550 SOS 11565 HAS SOPS 11565 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3961.565
AT ITER 3368 NEW BEST:: SOT 27550 SOS 11563 HAS SOPS 11563 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3960.563
AT ITER 3374 NEW BEST:: SOT 27549 SOS 11597 HAS SOPS 11597 HAS SOUS 3945 HAS SOUPS 3945 WITH SCORE 3956.597
AT ITER 3390 NEW BEST:: SOT 27546 SOS 11566 HAS SOPS 11566 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3955.566
AT ITER 3410 NEW BEST:: SOT 27545 SOS 11564 HAS SOPS 11564 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3953.564
AT ITER 3418 NEW BEST:: SOT 27545 SOS 11564 HAS SOPS 11564 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3950.564
AT ITER 3424 NEW BEST:: SOT 27554 SOS 11616 HAS SOPS 11616 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3935.616
AT ITER 3426 NEW BEST:: SOT 27578 SOS 11613 HAS SOPS 11613 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3928.613
AT ITER 3516 NEW BEST:: SOT 27577 SOS 11611 HAS SOPS 11611 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3926.611
AT ITER 3550 NEW BEST:: SOT 27579 SOS 11585 HAS SOPS 11585 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3926.585
AT ITER 3621 NEW BEST:: SOT 27550 SOS 11542 HAS SOPS 11542 HAS SOUS 3914 HAS SOUPS 3914 WITH SCORE 3925.542
AT ITER 3636 NEW BEST:: SOT 27565 SOS 11557 HAS SOPS 11557 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3920.557
AT ITER 3694 NEW BEST:: SOT 27565 SOS 11549 HAS SOPS 11549 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3920.549
AT ITER 3713 NEW BEST:: SOT 27559 SOS 11543 HAS SOPS 11543 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3920.543
AT ITER 3720 NEW BEST:: SOT 27557 SOS 11558 HAS SOPS 11558 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3918.558
AT ITER 3726 NEW BEST:: SOT 27535 SOS 11504 HAS SOPS 11504 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3900.504
AT ITER 3729 NEW BEST:: SOT 27534 SOS 11504 HAS SOPS 11504 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3899.504
AT ITER 3764 NEW BEST:: SOT 27536 SOS 11505 HAS SOPS 11505 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3898.505
AT ITER 3778 NEW BEST:: SOT 27534 SOS 11503 HAS SOPS 11503 HAS SOUS 3887 HAS SOUPS 3887 WITH SCORE 3898.503
AT ITER 3785 NEW BEST:: SOT 27527 SOS 11496 HAS SOPS 11496 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3895.496
AT ITER 3791 NEW BEST:: SOT 27525 SOS 11500 HAS SOPS 11500 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3893.5
AT ITER 3849 NEW BEST:: SOT 27524 SOS 11498 HAS SOPS 11498 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3890.498
AT ITER 3865 NEW BEST:: SOT 27524 SOS 11497 HAS SOPS 11497 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3890.497
AT ITER 3911 NEW BEST:: SOT 27497 SOS 11454 HAS SOPS 11454 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3884.454
AT ITER 3923 NEW BEST:: SOT 27496 SOS 11451 HAS SOPS 11451 HAS SOUS 3873 HAS SOUPS 3873 WITH SCORE 3884.451
AT ITER 3955 NEW BEST:: SOT 27487 SOS 11438 HAS SOPS 11438 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3882.438
AT ITER 4048 NEW BEST:: SOT 27487 SOS 11432 HAS SOPS 11432 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3882.432
AT ITER 4057 NEW BEST:: SOT 27475 SOS 11584 HAS SOPS 11584 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3880.584
AT ITER 4078 NEW BEST:: SOT 27462 SOS 11571 HAS SOPS 11571 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3872.571
AT ITER 4082 NEW BEST:: SOT 27475 SOS 11632 HAS SOPS 11632 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3862.632
AT ITER 4106 NEW BEST:: SOT 27475 SOS 11630 HAS SOPS 11630 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3860.63
AT ITER 4150 NEW BEST:: SOT 27478 SOS 11633 HAS SOPS 11633 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3854.633
AT ITER 4163 NEW BEST:: SOT 27476 SOS 11601 HAS SOPS 11601 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3818.601
AT ITER 4183 NEW BEST:: SOT 27472 SOS 11597 HAS SOPS 11597 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3810.597
AT ITER 4189 NEW BEST:: SOT 27470 SOS 11611 HAS SOPS 11611 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3806.611
AT ITER 4199 NEW BEST:: SOT 27440 SOS 11551 HAS SOPS 11551 HAS SOUS 3770 HAS SOUPS 3770 WITH SCORE 3781.551
AT ITER 4202 NEW BEST:: SOT 27442 SOS 11553 HAS SOPS 11553 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3778.553
AT ITER 4209 NEW BEST:: SOT 27418 SOS 11521 HAS SOPS 11521 HAS SOUS 3732 HAS SOUPS 3732 WITH SCORE 3743.521
AT ITER 4218 NEW BEST:: SOT 27403 SOS 11506 HAS SOPS 11506 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3735.506
AT ITER 4237 NEW BEST:: SOT 27391 SOS 11494 HAS SOPS 11494 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3717.494
AT ITER 4238 NEW BEST:: SOT 27383 SOS 11478 HAS SOPS 11478 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3699.478
AT ITER 4258 NEW BEST:: SOT 27380 SOS 11474 HAS SOPS 11474 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3695.474
AT ITER 4323 NEW BEST:: SOT 27386 SOS 11395 HAS SOPS 11395 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3693.395
AT ITER 4381 NEW BEST:: SOT 27382 SOS 11459 HAS SOPS 11459 HAS SOUS 3678 HAS SOUPS 3678 WITH SCORE 3689.459
AT ITER 4426 NEW BEST:: SOT 27377 SOS 11454 HAS SOPS 11454 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3687.454
AT ITER 4652 NEW BEST:: SOT 27397 SOS 11474 HAS SOPS 11474 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3683.474
AT ITER 4721 NEW BEST:: SOT 27379 SOS 11424 HAS SOPS 11424 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3654.424
AT ITER 4758 NEW BEST:: SOT 27379 SOS 11424 HAS SOPS 11424 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3652.424
AT ITER 4828 NEW BEST:: SOT 27379 SOS 11411 HAS SOPS 11411 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3639.411
AT ITER 4992 NEW BEST:: SOT 27379 SOS 11411 HAS SOPS 11411 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3633.411
AT ITER 5012 NEW BEST:: SOT 27377 SOS 11410 HAS SOPS 11410 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3629.41
AT ITER 5013 NEW BEST:: SOT 27373 SOS 11402 HAS SOPS 11402 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3627.402
AT ITER 5019 NEW BEST:: SOT 27373 SOS 11302 HAS SOPS 11302 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3627.302
AT ITER 5044 NEW BEST:: SOT 27373 SOS 11302 HAS SOPS 11302 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3626.302
AT ITER 5113 NEW BEST:: SOT 27365 SOS 11288 HAS SOPS 11288 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3622.288
AT ITER 5121 NEW BEST:: SOT 27355 SOS 11278 HAS SOPS 11278 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3612.278
AT ITER 5134 NEW BEST:: SOT 27351 SOS 11274 HAS SOPS 11274 HAS SOUS 3601 HAS SOUPS 3601 WITH SCORE 3612.274
AT ITER 5160 NEW BEST:: SOT 27348 SOS 11270 HAS SOPS 11270 HAS SOUS 3598 HAS SOUPS 3598 WITH SCORE 3609.27
AT ITER 5179 NEW BEST:: SOT 27348 SOS 11240 HAS SOPS 11240 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3604.24
AT ITER 5217 NEW BEST:: SOT 27341 SOS 11222 HAS SOPS 11222 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3597.222
AT ITER 5287 NEW BEST:: SOT 27345 SOS 11226 HAS SOPS 11226 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3595.226
AT ITER 5301 NEW BEST:: SOT 27317 SOS 11198 HAS SOPS 11198 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3591.198
AT ITER 5366 NEW BEST:: SOT 27317 SOS 11198 HAS SOPS 11198 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3589.198
AT ITER 5384 NEW BEST:: SOT 27292 SOS 11384 HAS SOPS 11384 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3585.384
AT ITER 5413 NEW BEST:: SOT 27284 SOS 11364 HAS SOPS 11364 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3582.364
AT ITER 5433 NEW BEST:: SOT 27284 SOS 11364 HAS SOPS 11364 HAS SOUS 3570 HAS SOUPS 3570 WITH SCORE 3581.364
AT ITER 5505 NEW BEST:: SOT 27283 SOS 11360 HAS SOPS 11360 HAS SOUS 3569 HAS SOUPS 3569 WITH SCORE 3580.36
AT ITER 5531 NEW BEST:: SOT 27275 SOS 11389 HAS SOPS 11389 HAS SOUS 3566 HAS SOUPS 3566 WITH SCORE 3577.389
AT ITER 5543 NEW BEST:: SOT 27249 SOS 11355 HAS SOPS 11355 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3544.355
AT ITER 5593 NEW BEST:: SOT 27251 SOS 11297 HAS SOPS 11297 HAS SOUS 3530 HAS SOUPS 3530 WITH SCORE 3541.297
AT ITER 5739 NEW BEST:: SOT 27250 SOS 11298 HAS SOPS 11298 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3540.298
AT ITER 5784 NEW BEST:: SOT 27240 SOS 11280 HAS SOPS 11280 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3536.28
AT ITER 5856 NEW BEST:: SOT 27234 SOS 11301 HAS SOPS 11301 HAS SOUS 3524 HAS SOUPS 3524 WITH SCORE 3535.301
AT ITER 5857 NEW BEST:: SOT 27232 SOS 11299 HAS SOPS 11299 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3533.299
AT ITER 5877 NEW BEST:: SOT 27232 SOS 11283 HAS SOPS 11283 HAS SOUS 3522 HAS SOUPS 3522 WITH SCORE 3533.283
AT ITER 5904 NEW BEST:: SOT 27230 SOS 11281 HAS SOPS 11281 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3530.281
AT ITER 5963 NEW BEST:: SOT 27224 SOS 11264 HAS SOPS 11264 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3527.264
AT ITER 6030 NEW BEST:: SOT 27224 SOS 11262 HAS SOPS 11262 HAS SOUS 3516 HAS SOUPS 3516 WITH SCORE 3527.262
AT ITER 6078 NEW BEST:: SOT 27224 SOS 11261 HAS SOPS 11261 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3526.261
AT ITER 6086 NEW BEST:: SOT 27218 SOS 11245 HAS SOPS 11245 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3517.245
AT ITER 6195 NEW BEST:: SOT 27212 SOS 11239 HAS SOPS 11239 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3511.239
AT ITER 6255 NEW BEST:: SOT 27212 SOS 11216 HAS SOPS 11216 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3507.216
AT ITER 6341 NEW BEST:: SOT 27210 SOS 11210 HAS SOPS 11210 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3506.21
AT ITER 6347 NEW BEST:: SOT 27210 SOS 11165 HAS SOPS 11165 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3500.165
AT ITER 6484 NEW BEST:: SOT 27208 SOS 11163 HAS SOPS 11163 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3493.163
AT ITER 6493 NEW BEST:: SOT 27185 SOS 11084 HAS SOPS 11084 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3487.084
AT ITER 6561 NEW BEST:: SOT 27183 SOS 11082 HAS SOPS 11082 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3485.082
AT ITER 6562 NEW BEST:: SOT 27175 SOS 11070 HAS SOPS 11070 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3473.07
AT ITER 6574 NEW BEST:: SOT 27187 SOS 11082 HAS SOPS 11082 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3455.082
AT ITER 6580 NEW BEST:: SOT 27187 SOS 11080 HAS SOPS 11080 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3447.08
AT ITER 6598 NEW BEST:: SOT 27181 SOS 11074 HAS SOPS 11074 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3437.074
AT ITER 6621 NEW BEST:: SOT 27181 SOS 11023 HAS SOPS 11023 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3437.023
AT ITER 6730 NEW BEST:: SOT 27188 SOS 11030 HAS SOPS 11030 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3434.03
AT ITER 6771 NEW BEST:: SOT 27184 SOS 11026 HAS SOPS 11026 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3434.026
AT ITER 6896 NEW BEST:: SOT 27184 SOS 11026 HAS SOPS 11026 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3431.026
AT ITER 6913 NEW BEST:: SOT 27178 SOS 11020 HAS SOPS 11020 HAS SOUS 3413 HAS SOUPS 3413 WITH SCORE 3424.02
AT ITER 6933 NEW BEST:: SOT 27184 SOS 11013 HAS SOPS 11013 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3413.013
AT ITER 6950 NEW BEST:: SOT 27186 SOS 11014 HAS SOPS 11014 HAS SOUS 3401 HAS SOUPS 3401 WITH SCORE 3412.014
AT ITER 6993 NEW BEST:: SOT 27160 SOS 11206 HAS SOPS 11206 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3403.206
AT ITER 7062 NEW BEST:: SOT 27154 SOS 11188 HAS SOPS 11188 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3397.188
AT ITER 7173 NEW BEST:: SOT 27156 SOS 11190 HAS SOPS 11190 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3394.19
AT ITER 7239 NEW BEST:: SOT 27156 SOS 11174 HAS SOPS 11174 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3394.174
AT ITER 7372 NEW BEST:: SOT 27153 SOS 11183 HAS SOPS 11183 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3388.183
AT ITER 7381 NEW BEST:: SOT 27175 SOS 11210 HAS SOPS 11210 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3385.21
AT ITER 7436 NEW BEST:: SOT 27174 SOS 11208 HAS SOPS 11208 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3383.208
AT ITER 7491 NEW BEST:: SOT 27173 SOS 11208 HAS SOPS 11208 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3382.208
AT ITER 7551 NEW BEST:: SOT 27161 SOS 11201 HAS SOPS 11201 HAS SOUS 3371 HAS SOUPS 3371 WITH SCORE 3382.201
AT ITER 7740 NEW BEST:: SOT 27159 SOS 11228 HAS SOPS 11228 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3381.228
AT ITER 7851 NEW BEST:: SOT 27157 SOS 11226 HAS SOPS 11226 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3379.226
AT ITER 7866 NEW BEST:: SOT 27149 SOS 11218 HAS SOPS 11218 HAS SOUS 3360 HAS SOUPS 3360 WITH SCORE 3371.218
AT ITER 7924 NEW BEST:: SOT 27141 SOS 11182 HAS SOPS 11182 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3363.182
AT ITER 7975 NEW BEST:: SOT 27141 SOS 11163 HAS SOPS 11163 HAS SOUS 3349 HAS SOUPS 3349 WITH SCORE 3360.163
AT ITER 7980 NEW BEST:: SOT 27140 SOS 11163 HAS SOPS 11163 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3359.163
AT ITER 8109 NEW BEST:: SOT 27140 SOS 11159 HAS SOPS 11159 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3359.159
AT ITER 8169 NEW BEST:: SOT 27152 SOS 11173 HAS SOPS 11173 HAS SOUS 3347 HAS SOUPS 3347 WITH SCORE 3358.173
AT ITER 8233 NEW BEST:: SOT 27151 SOS 11169 HAS SOPS 11169 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3357.169
AT ITER 8392 NEW BEST:: SOT 27151 SOS 11169 HAS SOPS 11169 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3356.169
AT ITER 8396 NEW BEST:: SOT 27151 SOS 11166 HAS SOPS 11166 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3356.166
AT ITER 8403 NEW BEST:: SOT 27149 SOS 11164 HAS SOPS 11164 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3350.164
AT ITER 8409 NEW BEST:: SOT 27135 SOS 11141 HAS SOPS 11141 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3334.141
AT ITER 8503 NEW BEST:: SOT 27132 SOS 11163 HAS SOPS 11163 HAS SOUS 3322 HAS SOUPS 3322 WITH SCORE 3333.163
AT ITER 8556 NEW BEST:: SOT 27124 SOS 11155 HAS SOPS 11155 HAS SOUS 3320 HAS SOUPS 3320 WITH SCORE 3331.155
AT ITER 8595 NEW BEST:: SOT 27124 SOS 11152 HAS SOPS 11152 HAS SOUS 3319 HAS SOUPS 3319 WITH SCORE 3330.152
AT ITER 8624 NEW BEST:: SOT 27090 SOS 11275 HAS SOPS 11275 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3315.275
AT ITER 8850 NEW BEST:: SOT 27087 SOS 11272 HAS SOPS 11272 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3314.272
AT ITER 8957 NEW BEST:: SOT 27091 SOS 11210 HAS SOPS 11210 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3314.21
AT ITER 8990 NEW BEST:: SOT 27086 SOS 11205 HAS SOPS 11205 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3312.205
AT ITER 9074 NEW BEST:: SOT 27100 SOS 11214 HAS SOPS 11214 HAS SOUS 3300 HAS SOUPS 3300 WITH SCORE 3311.214
AT ITER 9092 NEW BEST:: SOT 27109 SOS 11204 HAS SOPS 11204 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3306.204
AT ITER 9140 NEW BEST:: SOT 27108 SOS 11206 HAS SOPS 11206 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3305.206
AT ITER 9236 NEW BEST:: SOT 27102 SOS 11201 HAS SOPS 11201 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3303.201
AT ITER 9273 NEW BEST:: SOT 27104 SOS 11203 HAS SOPS 11203 HAS SOUS 3290 HAS SOUPS 3290 WITH SCORE 3301.203
AT ITER 9489 NEW BEST:: SOT 27104 SOS 11205 HAS SOPS 11205 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3300.205
AT ITER 9504 NEW BEST:: SOT 27104 SOS 11205 HAS SOPS 11205 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3298.205
AT ITER 9525 NEW BEST:: SOT 27104 SOS 11199 HAS SOPS 11199 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3298.199
AT ITER 9629 NEW BEST:: SOT 27105 SOS 11203 HAS SOPS 11203 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3296.203
AT ITER 9690 NEW BEST:: SOT 27104 SOS 11206 HAS SOPS 11206 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3294.206
AT ITER 9913 NEW BEST:: SOT 27103 SOS 11201 HAS SOPS 11201 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3293.201
STATE_SPACE STATES 65585152 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 589934848 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307895820

--------------------
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-Z4T4N04"
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-Z4T4N04, 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-167912711301064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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