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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 20K Feb 26 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 51K Feb 26 14:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 184K Feb 26 14:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 94K Feb 26 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 357K Feb 26 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.4K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 128K 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 1679317241419

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-PT-Z4T4N04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 13:00:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 13:00:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 13:00:43] [INFO ] Load time of PNML (sax parser for PT used): 53 ms
[2023-03-20 13:00:43] [INFO ] Transformed 154 places.
[2023-03-20 13:00:43] [INFO ] Transformed 300 transitions.
[2023-03-20 13:00:43] [INFO ] Parsed PT model containing 154 places and 300 transitions and 964 arcs in 129 ms.
[2023-03-20 13:00:43] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 154 places, 300 transitions and 964 arcs took 5 ms.
Total runtime 170 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), 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 37965 SOS 30368 HAS SOPS 30368 HAS SOUS 17961 HAS SOUPS 17961 WITH SCORE 17991.368
AT ITER 4 NEW BEST:: SOT 37923 SOS 29749 HAS SOPS 29749 HAS SOUS 17910 HAS SOUPS 17910 WITH SCORE 17939.749
AT ITER 5 NEW BEST:: SOT 37910 SOS 29727 HAS SOPS 29727 HAS SOUS 17763 HAS SOUPS 17763 WITH SCORE 17792.727
AT ITER 9 NEW BEST:: SOT 37889 SOS 29727 HAS SOPS 29727 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17738.727
AT ITER 10 NEW BEST:: SOT 37875 SOS 29625 HAS SOPS 29625 HAS SOUS 17683 HAS SOUPS 17683 WITH SCORE 17712.625
AT ITER 12 NEW BEST:: SOT 37829 SOS 29423 HAS SOPS 29423 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17486.423
AT ITER 13 NEW BEST:: SOT 37809 SOS 29383 HAS SOPS 29383 HAS SOUS 17290 HAS SOUPS 17290 WITH SCORE 17319.383
AT ITER 18 NEW BEST:: SOT 37769 SOS 29343 HAS SOPS 29343 HAS SOUS 17225 HAS SOUPS 17225 WITH SCORE 17254.343
AT ITER 20 NEW BEST:: SOT 37769 SOS 29343 HAS SOPS 29343 HAS SOUS 17196 HAS SOUPS 17196 WITH SCORE 17225.343
AT ITER 23 NEW BEST:: SOT 37768 SOS 29243 HAS SOPS 29243 HAS SOUS 17168 HAS SOUPS 17168 WITH SCORE 17197.243
AT ITER 24 NEW BEST:: SOT 37745 SOS 29137 HAS SOPS 29137 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17075.137
AT ITER 25 NEW BEST:: SOT 37705 SOS 29262 HAS SOPS 29262 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17025.262
AT ITER 27 NEW BEST:: SOT 37677 SOS 29096 HAS SOPS 29096 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16915.096
AT ITER 28 NEW BEST:: SOT 37545 SOS 28832 HAS SOPS 28832 HAS SOUS 16424 HAS SOUPS 16424 WITH SCORE 16452.832
AT ITER 29 NEW BEST:: SOT 37533 SOS 28698 HAS SOPS 28698 HAS SOUS 16388 HAS SOUPS 16388 WITH SCORE 16416.698
AT ITER 31 NEW BEST:: SOT 37475 SOS 28414 HAS SOPS 28414 HAS SOUS 16018 HAS SOUPS 16018 WITH SCORE 16046.414
AT ITER 32 NEW BEST:: SOT 37459 SOS 28398 HAS SOPS 28398 HAS SOUS 15990 HAS SOUPS 15990 WITH SCORE 16018.398
AT ITER 33 NEW BEST:: SOT 37441 SOS 28290 HAS SOPS 28290 HAS SOUS 15936 HAS SOUPS 15936 WITH SCORE 15964.29
AT ITER 34 NEW BEST:: SOT 37441 SOS 28284 HAS SOPS 28284 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15961.284
AT ITER 36 NEW BEST:: SOT 37396 SOS 28149 HAS SOPS 28149 HAS SOUS 15834 HAS SOUPS 15834 WITH SCORE 15862.149
AT ITER 37 NEW BEST:: SOT 37370 SOS 27588 HAS SOPS 27588 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15687.588
AT ITER 40 NEW BEST:: SOT 37266 SOS 27357 HAS SOPS 27357 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15363.357
AT ITER 48 NEW BEST:: SOT 37222 SOS 27219 HAS SOPS 27219 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15223.219
AT ITER 51 NEW BEST:: SOT 37217 SOS 27161 HAS SOPS 27161 HAS SOUS 15191 HAS SOUPS 15191 WITH SCORE 15218.161
AT ITER 53 NEW BEST:: SOT 37113 SOS 27138 HAS SOPS 27138 HAS SOUS 15110 HAS SOUPS 15110 WITH SCORE 15137.138
AT ITER 62 NEW BEST:: SOT 37113 SOS 27090 HAS SOPS 27090 HAS SOUS 15062 HAS SOUPS 15062 WITH SCORE 15089.09
AT ITER 63 NEW BEST:: SOT 37088 SOS 26721 HAS SOPS 26721 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14832.721
AT ITER 69 NEW BEST:: SOT 37084 SOS 26717 HAS SOPS 26717 HAS SOUS 14802 HAS SOUPS 14802 WITH SCORE 14828.717
AT ITER 70 NEW BEST:: SOT 37104 SOS 26447 HAS SOPS 26447 HAS SOUS 14730 HAS SOUPS 14730 WITH SCORE 14756.447
AT ITER 71 NEW BEST:: SOT 37104 SOS 26447 HAS SOPS 26447 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14754.447
AT ITER 72 NEW BEST:: SOT 37088 SOS 26413 HAS SOPS 26413 HAS SOUS 14644 HAS SOUPS 14644 WITH SCORE 14670.413
AT ITER 76 NEW BEST:: SOT 37107 SOS 26275 HAS SOPS 26275 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14596.275
AT ITER 82 NEW BEST:: SOT 37096 SOS 26204 HAS SOPS 26204 HAS SOUS 14474 HAS SOUPS 14474 WITH SCORE 14500.204
AT ITER 88 NEW BEST:: SOT 37072 SOS 26010 HAS SOPS 26010 HAS SOUS 14314 HAS SOUPS 14314 WITH SCORE 14340.01
AT ITER 90 NEW BEST:: SOT 37057 SOS 25965 HAS SOPS 25965 HAS SOUS 14257 HAS SOUPS 14257 WITH SCORE 14282.965
AT ITER 93 NEW BEST:: SOT 37041 SOS 25912 HAS SOPS 25912 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14161.912
AT ITER 98 NEW BEST:: SOT 37041 SOS 25911 HAS SOPS 25911 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14161.911
AT ITER 99 NEW BEST:: SOT 37020 SOS 25651 HAS SOPS 25651 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 13979.651
AT ITER 103 NEW BEST:: SOT 32197 SOS 25771 HAS SOPS 25771 HAS SOUS 11731 HAS SOUPS 11731 WITH SCORE 11756.771
AT ITER 104 NEW BEST:: SOT 32080 SOS 25612 HAS SOPS 25612 HAS SOUS 11705 HAS SOUPS 11705 WITH SCORE 11730.612
AT ITER 106 NEW BEST:: SOT 32075 SOS 25634 HAS SOPS 25634 HAS SOUS 11655 HAS SOUPS 11655 WITH SCORE 11680.634
AT ITER 110 NEW BEST:: SOT 32056 SOS 25658 HAS SOPS 25658 HAS SOUS 11636 HAS SOUPS 11636 WITH SCORE 11661.658
AT ITER 111 NEW BEST:: SOT 32063 SOS 25642 HAS SOPS 25642 HAS SOUS 11633 HAS SOUPS 11633 WITH SCORE 11658.642
AT ITER 113 NEW BEST:: SOT 32058 SOS 25637 HAS SOPS 25637 HAS SOUS 11633 HAS SOUPS 11633 WITH SCORE 11658.637
AT ITER 114 NEW BEST:: SOT 32069 SOS 25648 HAS SOPS 25648 HAS SOUS 11626 HAS SOUPS 11626 WITH SCORE 11651.648
AT ITER 115 NEW BEST:: SOT 32042 SOS 25598 HAS SOPS 25598 HAS SOUS 11540 HAS SOUPS 11540 WITH SCORE 11565.598
AT ITER 117 NEW BEST:: SOT 32016 SOS 25630 HAS SOPS 25630 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11539.63
AT ITER 118 NEW BEST:: SOT 31849 SOS 25487 HAS SOPS 25487 HAS SOUS 11298 HAS SOUPS 11298 WITH SCORE 11323.487
AT ITER 121 NEW BEST:: SOT 31737 SOS 25375 HAS SOPS 25375 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11096.375
AT ITER 135 NEW BEST:: SOT 31733 SOS 25353 HAS SOPS 25353 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10980.353
AT ITER 139 NEW BEST:: SOT 31709 SOS 25201 HAS SOPS 25201 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10930.201
AT ITER 143 NEW BEST:: SOT 31701 SOS 25193 HAS SOPS 25193 HAS SOUS 10881 HAS SOUPS 10881 WITH SCORE 10906.193
AT ITER 147 NEW BEST:: SOT 31637 SOS 25176 HAS SOPS 25176 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10789.176
AT ITER 151 NEW BEST:: SOT 31596 SOS 25139 HAS SOPS 25139 HAS SOUS 10727 HAS SOUPS 10727 WITH SCORE 10752.139
AT ITER 153 NEW BEST:: SOT 31270 SOS 24829 HAS SOPS 24829 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10662.829
AT ITER 158 NEW BEST:: SOT 31254 SOS 24758 HAS SOPS 24758 HAS SOUS 10612 HAS SOUPS 10612 WITH SCORE 10636.758
AT ITER 159 NEW BEST:: SOT 31063 SOS 24586 HAS SOPS 24586 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10589.586
AT ITER 160 NEW BEST:: SOT 31057 SOS 24558 HAS SOPS 24558 HAS SOUS 10564 HAS SOUPS 10564 WITH SCORE 10588.558
AT ITER 164 NEW BEST:: SOT 31042 SOS 24341 HAS SOPS 24341 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10465.341
AT ITER 170 NEW BEST:: SOT 31042 SOS 24281 HAS SOPS 24281 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10465.281
AT ITER 171 NEW BEST:: SOT 31055 SOS 24255 HAS SOPS 24255 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10465.255
AT ITER 172 NEW BEST:: SOT 31033 SOS 24295 HAS SOPS 24295 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10422.295
AT ITER 174 NEW BEST:: SOT 31042 SOS 24307 HAS SOPS 24307 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10419.307
AT ITER 175 NEW BEST:: SOT 31032 SOS 24287 HAS SOPS 24287 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10409.287
AT ITER 182 NEW BEST:: SOT 31020 SOS 24281 HAS SOPS 24281 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10406.281
AT ITER 183 NEW BEST:: SOT 31014 SOS 24275 HAS SOPS 24275 HAS SOUS 10380 HAS SOUPS 10380 WITH SCORE 10404.275
AT ITER 185 NEW BEST:: SOT 30934 SOS 24145 HAS SOPS 24145 HAS SOUS 10300 HAS SOUPS 10300 WITH SCORE 10324.145
AT ITER 190 NEW BEST:: SOT 30885 SOS 24096 HAS SOPS 24096 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10190.096
AT ITER 191 NEW BEST:: SOT 30885 SOS 24096 HAS SOPS 24096 HAS SOUS 10164 HAS SOUPS 10164 WITH SCORE 10188.096
AT ITER 195 NEW BEST:: SOT 30885 SOS 24156 HAS SOPS 24156 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10173.156
AT ITER 196 NEW BEST:: SOT 30893 SOS 24108 HAS SOPS 24108 HAS SOUS 10128 HAS SOUPS 10128 WITH SCORE 10152.108
AT ITER 197 NEW BEST:: SOT 30905 SOS 24122 HAS SOPS 24122 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10140.122
AT ITER 201 NEW BEST:: SOT 30872 SOS 24089 HAS SOPS 24089 HAS SOUS 10104 HAS SOUPS 10104 WITH SCORE 10128.089
AT ITER 205 NEW BEST:: SOT 30958 SOS 24128 HAS SOPS 24128 HAS SOUS 10096 HAS SOUPS 10096 WITH SCORE 10120.128
AT ITER 206 NEW BEST:: SOT 30909 SOS 24082 HAS SOPS 24082 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10074.082
AT ITER 209 NEW BEST:: SOT 30869 SOS 24040 HAS SOPS 24040 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10032.04
AT ITER 210 NEW BEST:: SOT 30759 SOS 23930 HAS SOPS 23930 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9998.93
AT ITER 213 NEW BEST:: SOT 30666 SOS 23826 HAS SOPS 23826 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9919.826
AT ITER 216 NEW BEST:: SOT 30651 SOS 23900 HAS SOPS 23900 HAS SOUS 9888 HAS SOUPS 9888 WITH SCORE 9911.9
AT ITER 224 NEW BEST:: SOT 30643 SOS 23820 HAS SOPS 23820 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9879.82
AT ITER 229 NEW BEST:: SOT 30643 SOS 23806 HAS SOPS 23806 HAS SOUS 9856 HAS SOUPS 9856 WITH SCORE 9879.806
AT ITER 231 NEW BEST:: SOT 30600 SOS 23759 HAS SOPS 23759 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9840.759
AT ITER 233 NEW BEST:: SOT 30582 SOS 23741 HAS SOPS 23741 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9839.741
AT ITER 235 NEW BEST:: SOT 30567 SOS 23726 HAS SOPS 23726 HAS SOUS 9800 HAS SOUPS 9800 WITH SCORE 9823.726
AT ITER 238 NEW BEST:: SOT 30544 SOS 23688 HAS SOPS 23688 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9785.688
AT ITER 241 NEW BEST:: SOT 30506 SOS 23650 HAS SOPS 23650 HAS SOUS 9725 HAS SOUPS 9725 WITH SCORE 9748.65
AT ITER 244 NEW BEST:: SOT 29260 SOS 22451 HAS SOPS 22451 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9119.451
AT ITER 255 NEW BEST:: SOT 29216 SOS 22224 HAS SOPS 22224 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9071.224
AT ITER 257 NEW BEST:: SOT 29216 SOS 22224 HAS SOPS 22224 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9047.224
AT ITER 260 NEW BEST:: SOT 29148 SOS 22156 HAS SOPS 22156 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9038.156
AT ITER 262 NEW BEST:: SOT 29166 SOS 22138 HAS SOPS 22138 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 9002.138
AT ITER 264 NEW BEST:: SOT 29163 SOS 22134 HAS SOPS 22134 HAS SOUS 8977 HAS SOUPS 8977 WITH SCORE 8999.134
AT ITER 265 NEW BEST:: SOT 29163 SOS 22134 HAS SOPS 22134 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8962.134
AT ITER 268 NEW BEST:: SOT 29157 SOS 22122 HAS SOPS 22122 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8933.122
AT ITER 283 NEW BEST:: SOT 29153 SOS 21988 HAS SOPS 21988 HAS SOUS 8874 HAS SOUPS 8874 WITH SCORE 8895.988
AT ITER 284 NEW BEST:: SOT 29082 SOS 22104 HAS SOPS 22104 HAS SOUS 8868 HAS SOUPS 8868 WITH SCORE 8890.104
AT ITER 286 NEW BEST:: SOT 29034 SOS 22056 HAS SOPS 22056 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8888.056
AT ITER 288 NEW BEST:: SOT 29104 SOS 22126 HAS SOPS 22126 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8830.126
AT ITER 292 NEW BEST:: SOT 29118 SOS 22123 HAS SOPS 22123 HAS SOUS 8776 HAS SOUPS 8776 WITH SCORE 8798.123
AT ITER 297 NEW BEST:: SOT 29026 SOS 21997 HAS SOPS 21997 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8705.997
AT ITER 298 NEW BEST:: SOT 29062 SOS 22038 HAS SOPS 22038 HAS SOUS 8675 HAS SOUPS 8675 WITH SCORE 8697.038
AT ITER 302 NEW BEST:: SOT 29063 SOS 22056 HAS SOPS 22056 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8691.056
AT ITER 306 NEW BEST:: SOT 29025 SOS 22010 HAS SOPS 22010 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8645.01
AT ITER 308 NEW BEST:: SOT 29112 SOS 22061 HAS SOPS 22061 HAS SOUS 8609 HAS SOUPS 8609 WITH SCORE 8631.061
AT ITER 318 NEW BEST:: SOT 29086 SOS 21905 HAS SOPS 21905 HAS SOUS 8597 HAS SOUPS 8597 WITH SCORE 8618.905
AT ITER 324 NEW BEST:: SOT 29090 SOS 21909 HAS SOPS 21909 HAS SOUS 8593 HAS SOUPS 8593 WITH SCORE 8614.909
AT ITER 326 NEW BEST:: SOT 29077 SOS 21869 HAS SOPS 21869 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8570.869
AT ITER 327 NEW BEST:: SOT 29079 SOS 21871 HAS SOPS 21871 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8564.871
AT ITER 347 NEW BEST:: SOT 28985 SOS 21778 HAS SOPS 21778 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8470.778
AT ITER 349 NEW BEST:: SOT 28969 SOS 21746 HAS SOPS 21746 HAS SOUS 8441 HAS SOUPS 8441 WITH SCORE 8462.746
AT ITER 356 NEW BEST:: SOT 28975 SOS 21702 HAS SOPS 21702 HAS SOUS 8433 HAS SOUPS 8433 WITH SCORE 8454.702
AT ITER 357 NEW BEST:: SOT 28955 SOS 21681 HAS SOPS 21681 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8434.681
AT ITER 358 NEW BEST:: SOT 28924 SOS 21787 HAS SOPS 21787 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8418.787
AT ITER 359 NEW BEST:: SOT 28922 SOS 21787 HAS SOPS 21787 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8416.787
AT ITER 366 NEW BEST:: SOT 28811 SOS 21676 HAS SOPS 21676 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8364.676
AT ITER 376 NEW BEST:: SOT 28955 SOS 18335 HAS SOPS 18335 HAS SOUS 8343 HAS SOUPS 8343 WITH SCORE 8361.335
AT ITER 409 NEW BEST:: SOT 28979 SOS 18333 HAS SOPS 18333 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8359.333
AT ITER 416 NEW BEST:: SOT 28886 SOS 17920 HAS SOPS 17920 HAS SOUS 8167 HAS SOUPS 8167 WITH SCORE 8184.92
AT ITER 423 NEW BEST:: SOT 28886 SOS 17908 HAS SOPS 17908 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8178.908
AT ITER 433 NEW BEST:: SOT 28851 SOS 17873 HAS SOPS 17873 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8157.873
AT ITER 435 NEW BEST:: SOT 28837 SOS 17853 HAS SOPS 17853 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8143.853
AT ITER 436 NEW BEST:: SOT 28803 SOS 17825 HAS SOPS 17825 HAS SOUS 8053 HAS SOUPS 8053 WITH SCORE 8070.825
AT ITER 437 NEW BEST:: SOT 28671 SOS 17688 HAS SOPS 17688 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8019.688
AT ITER 448 NEW BEST:: SOT 28811 SOS 17871 HAS SOPS 17871 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7979.871
AT ITER 491 NEW BEST:: SOT 28875 SOS 17899 HAS SOPS 17899 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7897.899
AT ITER 499 NEW BEST:: SOT 28464 SOS 18530 HAS SOPS 18530 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7879.53
AT ITER 503 NEW BEST:: SOT 28394 SOS 18405 HAS SOPS 18405 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7840.405
AT ITER 516 NEW BEST:: SOT 28387 SOS 18391 HAS SOPS 18391 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7833.391
AT ITER 518 NEW BEST:: SOT 28406 SOS 18376 HAS SOPS 18376 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7811.376
AT ITER 519 NEW BEST:: SOT 28336 SOS 18316 HAS SOPS 18316 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7760.316
AT ITER 555 NEW BEST:: SOT 28244 SOS 18224 HAS SOPS 18224 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7688.224
AT ITER 558 NEW BEST:: SOT 28080 SOS 18060 HAS SOPS 18060 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7607.06
AT ITER 560 NEW BEST:: SOT 28102 SOS 18082 HAS SOPS 18082 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7606.082
AT ITER 565 NEW BEST:: SOT 28096 SOS 18064 HAS SOPS 18064 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7600.064
AT ITER 566 NEW BEST:: SOT 28048 SOS 18016 HAS SOPS 18016 HAS SOUS 7544 HAS SOUPS 7544 WITH SCORE 7562.016
AT ITER 578 NEW BEST:: SOT 27940 SOS 17902 HAS SOPS 17902 HAS SOUS 7484 HAS SOUPS 7484 WITH SCORE 7501.902
AT ITER 586 NEW BEST:: SOT 27882 SOS 17754 HAS SOPS 17754 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7452.754
AT ITER 588 NEW BEST:: SOT 27977 SOS 17801 HAS SOPS 17801 HAS SOUS 7427 HAS SOUPS 7427 WITH SCORE 7444.801
AT ITER 591 NEW BEST:: SOT 27963 SOS 17757 HAS SOPS 17757 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7408.757
AT ITER 593 NEW BEST:: SOT 27964 SOS 17750 HAS SOPS 17750 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7405.75
AT ITER 601 NEW BEST:: SOT 27950 SOS 17736 HAS SOPS 17736 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7398.736
AT ITER 610 NEW BEST:: SOT 27914 SOS 17700 HAS SOPS 17700 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7348.7
AT ITER 614 NEW BEST:: SOT 27973 SOS 17759 HAS SOPS 17759 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7332.759
AT ITER 620 NEW BEST:: SOT 27997 SOS 17747 HAS SOPS 17747 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7316.747
AT ITER 637 NEW BEST:: SOT 27989 SOS 17739 HAS SOPS 17739 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7312.739
AT ITER 659 NEW BEST:: SOT 28007 SOS 17705 HAS SOPS 17705 HAS SOUS 7279 HAS SOUPS 7279 WITH SCORE 7296.705
AT ITER 663 NEW BEST:: SOT 27993 SOS 17651 HAS SOPS 17651 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7290.651
AT ITER 664 NEW BEST:: SOT 28023 SOS 17687 HAS SOPS 17687 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7233.687
AT ITER 689 NEW BEST:: SOT 28112 SOS 17036 HAS SOPS 17036 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7185.036
AT ITER 701 NEW BEST:: SOT 28113 SOS 17052 HAS SOPS 17052 HAS SOUS 7163 HAS SOUPS 7163 WITH SCORE 7180.052
AT ITER 705 NEW BEST:: SOT 28113 SOS 16891 HAS SOPS 16891 HAS SOUS 7152 HAS SOUPS 7152 WITH SCORE 7168.891
AT ITER 732 NEW BEST:: SOT 28073 SOS 16546 HAS SOPS 16546 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7098.546
AT ITER 743 NEW BEST:: SOT 28070 SOS 16543 HAS SOPS 16543 HAS SOUS 7082 HAS SOUPS 7082 WITH SCORE 7098.543
AT ITER 750 NEW BEST:: SOT 27997 SOS 16470 HAS SOPS 16470 HAS SOUS 7052 HAS SOUPS 7052 WITH SCORE 7068.47
AT ITER 755 NEW BEST:: SOT 27996 SOS 16469 HAS SOPS 16469 HAS SOUS 7051 HAS SOUPS 7051 WITH SCORE 7067.469
AT ITER 762 NEW BEST:: SOT 27977 SOS 16411 HAS SOPS 16411 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7061.411
AT ITER 787 NEW BEST:: SOT 27978 SOS 16410 HAS SOPS 16410 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7060.41
AT ITER 794 NEW BEST:: SOT 28087 SOS 15811 HAS SOPS 15811 HAS SOUS 7041 HAS SOUPS 7041 WITH SCORE 7056.811
AT ITER 805 NEW BEST:: SOT 28072 SOS 15684 HAS SOPS 15684 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7054.684
AT ITER 838 NEW BEST:: SOT 28072 SOS 15661 HAS SOPS 15661 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7054.661
AT ITER 847 NEW BEST:: SOT 28072 SOS 15658 HAS SOPS 15658 HAS SOUS 7038 HAS SOUPS 7038 WITH SCORE 7053.658
AT ITER 854 NEW BEST:: SOT 28164 SOS 15673 HAS SOPS 15673 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7045.673
AT ITER 864 NEW BEST:: SOT 28174 SOS 15601 HAS SOPS 15601 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7041.601
AT ITER 877 NEW BEST:: SOT 28164 SOS 15571 HAS SOPS 15571 HAS SOUS 7021 HAS SOUPS 7021 WITH SCORE 7036.571
AT ITER 899 NEW BEST:: SOT 28166 SOS 15722 HAS SOPS 15722 HAS SOUS 7010 HAS SOUPS 7010 WITH SCORE 7025.722
AT ITER 913 NEW BEST:: SOT 28160 SOS 15740 HAS SOPS 15740 HAS SOUS 7004 HAS SOUPS 7004 WITH SCORE 7019.74
AT ITER 921 NEW BEST:: SOT 28186 SOS 15820 HAS SOPS 15820 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7010.82
AT ITER 927 NEW BEST:: SOT 28186 SOS 15820 HAS SOPS 15820 HAS SOUS 6994 HAS SOUPS 6994 WITH SCORE 7009.82
AT ITER 929 NEW BEST:: SOT 28186 SOS 15820 HAS SOPS 15820 HAS SOUS 6991 HAS SOUPS 6991 WITH SCORE 7006.82
AT ITER 931 NEW BEST:: SOT 28182 SOS 15812 HAS SOPS 15812 HAS SOUS 6987 HAS SOUPS 6987 WITH SCORE 7002.812
AT ITER 941 NEW BEST:: SOT 28178 SOS 15849 HAS SOPS 15849 HAS SOUS 6983 HAS SOUPS 6983 WITH SCORE 6998.849
AT ITER 947 NEW BEST:: SOT 28143 SOS 15814 HAS SOPS 15814 HAS SOUS 6973 HAS SOUPS 6973 WITH SCORE 6988.814
AT ITER 953 NEW BEST:: SOT 28099 SOS 15721 HAS SOPS 15721 HAS SOUS 6872 HAS SOUPS 6872 WITH SCORE 6887.721
AT ITER 964 NEW BEST:: SOT 28093 SOS 15715 HAS SOPS 15715 HAS SOUS 6869 HAS SOUPS 6869 WITH SCORE 6884.715
AT ITER 967 NEW BEST:: SOT 28025 SOS 15647 HAS SOPS 15647 HAS SOUS 6842 HAS SOUPS 6842 WITH SCORE 6857.647
AT ITER 969 NEW BEST:: SOT 28007 SOS 15663 HAS SOPS 15663 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6839.663
AT ITER 977 NEW BEST:: SOT 28007 SOS 15661 HAS SOPS 15661 HAS SOUS 6822 HAS SOUPS 6822 WITH SCORE 6837.661
AT ITER 981 NEW BEST:: SOT 28005 SOS 15667 HAS SOPS 15667 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6835.667
AT ITER 982 NEW BEST:: SOT 27933 SOS 15608 HAS SOPS 15608 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6780.608
AT ITER 1000 NEW BEST:: SOT 27930 SOS 15608 HAS SOPS 15608 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6777.608
AT ITER 1001 NEW BEST:: SOT 27918 SOS 15490 HAS SOPS 15490 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6749.49
AT ITER 1013 NEW BEST:: SOT 27870 SOS 15434 HAS SOPS 15434 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6733.434
AT ITER 1018 NEW BEST:: SOT 27893 SOS 15457 HAS SOPS 15457 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6719.457
AT ITER 1025 NEW BEST:: SOT 27893 SOS 15409 HAS SOPS 15409 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6695.409
AT ITER 1029 NEW BEST:: SOT 27876 SOS 15391 HAS SOPS 15391 HAS SOUS 6654 HAS SOUPS 6654 WITH SCORE 6669.391
AT ITER 1041 NEW BEST:: SOT 27867 SOS 15375 HAS SOPS 15375 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6632.375
AT ITER 1061 NEW BEST:: SOT 27867 SOS 15375 HAS SOPS 15375 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6622.375
AT ITER 1064 NEW BEST:: SOT 27857 SOS 15345 HAS SOPS 15345 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6607.345
AT ITER 1072 NEW BEST:: SOT 27855 SOS 15349 HAS SOPS 15349 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6605.349
AT ITER 1093 NEW BEST:: SOT 27855 SOS 15349 HAS SOPS 15349 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6581.349
AT ITER 1095 NEW BEST:: SOT 27855 SOS 15329 HAS SOPS 15329 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6571.329
AT ITER 1101 NEW BEST:: SOT 27816 SOS 15271 HAS SOPS 15271 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6532.271
AT ITER 1119 NEW BEST:: SOT 27850 SOS 15305 HAS SOPS 15305 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6498.305
AT ITER 1131 NEW BEST:: SOT 27848 SOS 15307 HAS SOPS 15307 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6494.307
AT ITER 1132 NEW BEST:: SOT 27810 SOS 15259 HAS SOPS 15259 HAS SOUS 6471 HAS SOUPS 6471 WITH SCORE 6486.259
AT ITER 1161 NEW BEST:: SOT 27805 SOS 15249 HAS SOPS 15249 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6480.249
AT ITER 1173 NEW BEST:: SOT 27819 SOS 15263 HAS SOPS 15263 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6466.263
AT ITER 1187 NEW BEST:: SOT 27819 SOS 15207 HAS SOPS 15207 HAS SOUS 6451 HAS SOUPS 6451 WITH SCORE 6466.207
AT ITER 1200 NEW BEST:: SOT 27808 SOS 15232 HAS SOPS 15232 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6455.232
AT ITER 1226 NEW BEST:: SOT 27786 SOS 15208 HAS SOPS 15208 HAS SOUS 6382 HAS SOUPS 6382 WITH SCORE 6397.208
AT ITER 1231 NEW BEST:: SOT 27761 SOS 15241 HAS SOPS 15241 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6369.241
AT ITER 1259 NEW BEST:: SOT 27752 SOS 15217 HAS SOPS 15217 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6363.217
AT ITER 1264 NEW BEST:: SOT 27745 SOS 15199 HAS SOPS 15199 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6330.199
AT ITER 1288 NEW BEST:: SOT 27727 SOS 15203 HAS SOPS 15203 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6321.203
AT ITER 1289 NEW BEST:: SOT 27687 SOS 15133 HAS SOPS 15133 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6281.133
AT ITER 1295 NEW BEST:: SOT 27711 SOS 15157 HAS SOPS 15157 HAS SOUS 6261 HAS SOUPS 6261 WITH SCORE 6276.157
AT ITER 1305 NEW BEST:: SOT 27702 SOS 15133 HAS SOPS 15133 HAS SOUS 6246 HAS SOUPS 6246 WITH SCORE 6261.133
AT ITER 1306 NEW BEST:: SOT 27699 SOS 15139 HAS SOPS 15139 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6260.139
AT ITER 1313 NEW BEST:: SOT 27706 SOS 14966 HAS SOPS 14966 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6246.966
AT ITER 1328 NEW BEST:: SOT 27669 SOS 14964 HAS SOPS 14964 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6186.964
AT ITER 1348 NEW BEST:: SOT 27668 SOS 14968 HAS SOPS 14968 HAS SOUS 6169 HAS SOUPS 6169 WITH SCORE 6183.968
AT ITER 1357 NEW BEST:: SOT 27657 SOS 14897 HAS SOPS 14897 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6175.897
AT ITER 1379 NEW BEST:: SOT 27639 SOS 14855 HAS SOPS 14855 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6170.855
AT ITER 1420 NEW BEST:: SOT 27626 SOS 14842 HAS SOPS 14842 HAS SOUS 6156 HAS SOUPS 6156 WITH SCORE 6170.842
AT ITER 1422 NEW BEST:: SOT 27619 SOS 14835 HAS SOPS 14835 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6163.835
AT ITER 1432 NEW BEST:: SOT 27611 SOS 14820 HAS SOPS 14820 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6143.82
AT ITER 1434 NEW BEST:: SOT 27597 SOS 14806 HAS SOPS 14806 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6143.806
AT ITER 1440 NEW BEST:: SOT 27589 SOS 14798 HAS SOPS 14798 HAS SOUS 6121 HAS SOUPS 6121 WITH SCORE 6135.798
AT ITER 1448 NEW BEST:: SOT 27490 SOS 14696 HAS SOPS 14696 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6078.696
AT ITER 1467 NEW BEST:: SOT 27488 SOS 14692 HAS SOPS 14692 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6076.692
AT ITER 1475 NEW BEST:: SOT 27481 SOS 14690 HAS SOPS 14690 HAS SOUS 6061 HAS SOUPS 6061 WITH SCORE 6075.69
AT ITER 1482 NEW BEST:: SOT 27475 SOS 14686 HAS SOPS 14686 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6072.686
AT ITER 1483 NEW BEST:: SOT 27459 SOS 14653 HAS SOPS 14653 HAS SOUS 6043 HAS SOUPS 6043 WITH SCORE 6057.653
AT ITER 1503 NEW BEST:: SOT 27459 SOS 14653 HAS SOPS 14653 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6054.653
AT ITER 1540 NEW BEST:: SOT 27455 SOS 14675 HAS SOPS 14675 HAS SOUS 6026 HAS SOUPS 6026 WITH SCORE 6040.675
AT ITER 1583 NEW BEST:: SOT 27367 SOS 14605 HAS SOPS 14605 HAS SOUS 6002 HAS SOUPS 6002 WITH SCORE 6016.605
AT ITER 1586 NEW BEST:: SOT 27258 SOS 14496 HAS SOPS 14496 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5995.496
AT ITER 1591 NEW BEST:: SOT 27221 SOS 14495 HAS SOPS 14495 HAS SOUS 5980 HAS SOUPS 5980 WITH SCORE 5994.495
AT ITER 1607 NEW BEST:: SOT 27212 SOS 14483 HAS SOPS 14483 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5979.483
AT ITER 1633 NEW BEST:: SOT 27195 SOS 14477 HAS SOPS 14477 HAS SOUS 5956 HAS SOUPS 5956 WITH SCORE 5970.477
AT ITER 1635 NEW BEST:: SOT 27190 SOS 14453 HAS SOPS 14453 HAS SOUS 5936 HAS SOUPS 5936 WITH SCORE 5950.453
AT ITER 1642 NEW BEST:: SOT 27170 SOS 14544 HAS SOPS 14544 HAS SOUS 5907 HAS SOUPS 5907 WITH SCORE 5921.544
AT ITER 1649 NEW BEST:: SOT 27142 SOS 14507 HAS SOPS 14507 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5905.507
AT ITER 1654 NEW BEST:: SOT 27130 SOS 14495 HAS SOPS 14495 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5893.495
AT ITER 1657 NEW BEST:: SOT 27112 SOS 14469 HAS SOPS 14469 HAS SOUS 5873 HAS SOUPS 5873 WITH SCORE 5887.469
AT ITER 1689 NEW BEST:: SOT 27135 SOS 14489 HAS SOPS 14489 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5882.489
AT ITER 1712 NEW BEST:: SOT 27115 SOS 14469 HAS SOPS 14469 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5872.469
AT ITER 1739 NEW BEST:: SOT 27110 SOS 14484 HAS SOPS 14484 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5867.484
AT ITER 1752 NEW BEST:: SOT 27109 SOS 14482 HAS SOPS 14482 HAS SOUS 5852 HAS SOUPS 5852 WITH SCORE 5866.482
AT ITER 1769 NEW BEST:: SOT 27108 SOS 14481 HAS SOPS 14481 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5865.481
AT ITER 1772 NEW BEST:: SOT 27090 SOS 14286 HAS SOPS 14286 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5864.286
AT ITER 1792 NEW BEST:: SOT 27033 SOS 14214 HAS SOPS 14214 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5833.214
AT ITER 1802 NEW BEST:: SOT 27020 SOS 14188 HAS SOPS 14188 HAS SOUS 5808 HAS SOUPS 5808 WITH SCORE 5822.188
AT ITER 1809 NEW BEST:: SOT 27017 SOS 14181 HAS SOPS 14181 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5821.181
AT ITER 1810 NEW BEST:: SOT 27051 SOS 14215 HAS SOPS 14215 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5813.215
AT ITER 1823 NEW BEST:: SOT 27050 SOS 14213 HAS SOPS 14213 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5812.213
AT ITER 1846 NEW BEST:: SOT 27049 SOS 14208 HAS SOPS 14208 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5806.208
AT ITER 1870 NEW BEST:: SOT 27047 SOS 14206 HAS SOPS 14206 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5806.206
AT ITER 1885 NEW BEST:: SOT 27047 SOS 14146 HAS SOPS 14146 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5806.146
AT ITER 1913 NEW BEST:: SOT 27045 SOS 14142 HAS SOPS 14142 HAS SOUS 5790 HAS SOUPS 5790 WITH SCORE 5804.142
AT ITER 1920 NEW BEST:: SOT 27040 SOS 14063 HAS SOPS 14063 HAS SOUS 5702 HAS SOUPS 5702 WITH SCORE 5716.063
AT ITER 1935 NEW BEST:: SOT 27027 SOS 14037 HAS SOPS 14037 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5703.037
AT ITER 1937 NEW BEST:: SOT 27025 SOS 14069 HAS SOPS 14069 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5689.069
AT ITER 1938 NEW BEST:: SOT 27036 SOS 14091 HAS SOPS 14091 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5687.091
AT ITER 1949 NEW BEST:: SOT 27004 SOS 14059 HAS SOPS 14059 HAS SOUS 5637 HAS SOUPS 5637 WITH SCORE 5651.059
AT ITER 1977 NEW BEST:: SOT 27011 SOS 14058 HAS SOPS 14058 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5646.058
AT ITER 1995 NEW BEST:: SOT 26996 SOS 14043 HAS SOPS 14043 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5646.043
AT ITER 2005 NEW BEST:: SOT 26984 SOS 13983 HAS SOPS 13983 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5633.983
AT ITER 2018 NEW BEST:: SOT 26987 SOS 14003 HAS SOPS 14003 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5630.003
AT ITER 2023 NEW BEST:: SOT 26925 SOS 13869 HAS SOPS 13869 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5582.869
AT ITER 2030 NEW BEST:: SOT 26927 SOS 13871 HAS SOPS 13871 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5574.871
AT ITER 2093 NEW BEST:: SOT 26927 SOS 13871 HAS SOPS 13871 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5573.871
AT ITER 2119 NEW BEST:: SOT 26926 SOS 13870 HAS SOPS 13870 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5572.87
AT ITER 2121 NEW BEST:: SOT 26925 SOS 13919 HAS SOPS 13919 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5570.919
AT ITER 2144 NEW BEST:: SOT 26886 SOS 13880 HAS SOPS 13880 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5556.88
AT ITER 2164 NEW BEST:: SOT 26886 SOS 13880 HAS SOPS 13880 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5537.88
AT ITER 2173 NEW BEST:: SOT 26875 SOS 13891 HAS SOPS 13891 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5520.891
AT ITER 2174 NEW BEST:: SOT 26875 SOS 13891 HAS SOPS 13891 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5518.891
AT ITER 2216 NEW BEST:: SOT 26879 SOS 13895 HAS SOPS 13895 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5515.895
AT ITER 2221 NEW BEST:: SOT 26870 SOS 13875 HAS SOPS 13875 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5503.875
AT ITER 2228 NEW BEST:: SOT 26872 SOS 13878 HAS SOPS 13878 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5502.878
AT ITER 2308 NEW BEST:: SOT 26870 SOS 13867 HAS SOPS 13867 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5500.867
AT ITER 2325 NEW BEST:: SOT 26866 SOS 13863 HAS SOPS 13863 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5496.863
AT ITER 2332 NEW BEST:: SOT 26809 SOS 13703 HAS SOPS 13703 HAS SOUS 5458 HAS SOUPS 5458 WITH SCORE 5471.703
AT ITER 2338 NEW BEST:: SOT 26799 SOS 13683 HAS SOPS 13683 HAS SOUS 5444 HAS SOUPS 5444 WITH SCORE 5457.683
AT ITER 2350 NEW BEST:: SOT 26759 SOS 13402 HAS SOPS 13402 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5418.402
AT ITER 2374 NEW BEST:: SOT 26768 SOS 13440 HAS SOPS 13440 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5412.44
AT ITER 2380 NEW BEST:: SOT 26740 SOS 13283 HAS SOPS 13283 HAS SOUS 5367 HAS SOUPS 5367 WITH SCORE 5380.283
AT ITER 2391 NEW BEST:: SOT 26727 SOS 13272 HAS SOPS 13272 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5377.272
AT ITER 2438 NEW BEST:: SOT 26721 SOS 13251 HAS SOPS 13251 HAS SOUS 5358 HAS SOUPS 5358 WITH SCORE 5371.251
AT ITER 2474 NEW BEST:: SOT 26719 SOS 13249 HAS SOPS 13249 HAS SOUS 5357 HAS SOUPS 5357 WITH SCORE 5370.249
AT ITER 2480 NEW BEST:: SOT 26718 SOS 13243 HAS SOPS 13243 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5360.243
AT ITER 2482 NEW BEST:: SOT 26707 SOS 13221 HAS SOPS 13221 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5349.221
AT ITER 2497 NEW BEST:: SOT 26701 SOS 13219 HAS SOPS 13219 HAS SOUS 5334 HAS SOUPS 5334 WITH SCORE 5347.219
AT ITER 2561 NEW BEST:: SOT 26690 SOS 13203 HAS SOPS 13203 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5336.203
AT ITER 2568 NEW BEST:: SOT 26687 SOS 13199 HAS SOPS 13199 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5329.199
AT ITER 2631 NEW BEST:: SOT 26684 SOS 13195 HAS SOPS 13195 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5326.195
AT ITER 2634 NEW BEST:: SOT 26681 SOS 13189 HAS SOPS 13189 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5320.189
AT ITER 2640 NEW BEST:: SOT 26635 SOS 13123 HAS SOPS 13123 HAS SOUS 5246 HAS SOUPS 5246 WITH SCORE 5259.123
AT ITER 2645 NEW BEST:: SOT 26620 SOS 13108 HAS SOPS 13108 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5244.108
AT ITER 2647 NEW BEST:: SOT 26600 SOS 13097 HAS SOPS 13097 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5244.097
AT ITER 2679 NEW BEST:: SOT 26596 SOS 13081 HAS SOPS 13081 HAS SOUS 5226 HAS SOUPS 5226 WITH SCORE 5239.081
AT ITER 2702 NEW BEST:: SOT 26565 SOS 13050 HAS SOPS 13050 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5223.05
AT ITER 2728 NEW BEST:: SOT 26559 SOS 12969 HAS SOPS 12969 HAS SOUS 5177 HAS SOUPS 5177 WITH SCORE 5189.969
AT ITER 2735 NEW BEST:: SOT 26563 SOS 12969 HAS SOPS 12969 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5187.969
AT ITER 2737 NEW BEST:: SOT 26565 SOS 12961 HAS SOPS 12961 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5163.961
AT ITER 2781 NEW BEST:: SOT 26564 SOS 12959 HAS SOPS 12959 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5161.959
AT ITER 2793 NEW BEST:: SOT 26561 SOS 12947 HAS SOPS 12947 HAS SOUS 5140 HAS SOUPS 5140 WITH SCORE 5152.947
AT ITER 2872 NEW BEST:: SOT 26560 SOS 12946 HAS SOPS 12946 HAS SOUS 5138 HAS SOUPS 5138 WITH SCORE 5150.946
AT ITER 2900 NEW BEST:: SOT 26564 SOS 12954 HAS SOPS 12954 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5144.954
AT ITER 2903 NEW BEST:: SOT 26611 SOS 13001 HAS SOPS 13001 HAS SOUS 5116 HAS SOUPS 5116 WITH SCORE 5129.001
AT ITER 2910 NEW BEST:: SOT 26609 SOS 12999 HAS SOPS 12999 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5127.999
AT ITER 2965 NEW BEST:: SOT 26566 SOS 12956 HAS SOPS 12956 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5111.956
AT ITER 2988 NEW BEST:: SOT 26565 SOS 12954 HAS SOPS 12954 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5110.954
AT ITER 3033 NEW BEST:: SOT 26564 SOS 12952 HAS SOPS 12952 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5109.952
AT ITER 3034 NEW BEST:: SOT 26562 SOS 12951 HAS SOPS 12951 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5108.951
AT ITER 3090 NEW BEST:: SOT 26558 SOS 12937 HAS SOPS 12937 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5104.937
AT ITER 3093 NEW BEST:: SOT 26473 SOS 13129 HAS SOPS 13129 HAS SOUS 5085 HAS SOUPS 5085 WITH SCORE 5098.129
AT ITER 3123 NEW BEST:: SOT 26503 SOS 13145 HAS SOPS 13145 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5090.145
AT ITER 3126 NEW BEST:: SOT 26453 SOS 13079 HAS SOPS 13079 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5062.079
AT ITER 3150 NEW BEST:: SOT 26437 SOS 13061 HAS SOPS 13061 HAS SOUS 5048 HAS SOUPS 5048 WITH SCORE 5061.061
AT ITER 3155 NEW BEST:: SOT 26420 SOS 13027 HAS SOPS 13027 HAS SOUS 5041 HAS SOUPS 5041 WITH SCORE 5054.027
AT ITER 3249 NEW BEST:: SOT 26406 SOS 13025 HAS SOPS 13025 HAS SOUS 5036 HAS SOUPS 5036 WITH SCORE 5049.025
AT ITER 3298 NEW BEST:: SOT 26404 SOS 13031 HAS SOPS 13031 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5047.031
AT ITER 3311 NEW BEST:: SOT 26377 SOS 13004 HAS SOPS 13004 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5041.004
AT ITER 3314 NEW BEST:: SOT 26402 SOS 13010 HAS SOPS 13010 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5011.01
AT ITER 3359 NEW BEST:: SOT 26402 SOS 13007 HAS SOPS 13007 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5011.007
AT ITER 3360 NEW BEST:: SOT 26395 SOS 12983 HAS SOPS 12983 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4995.983
AT ITER 3368 NEW BEST:: SOT 26360 SOS 12948 HAS SOPS 12948 HAS SOUS 4945 HAS SOUPS 4945 WITH SCORE 4957.948
AT ITER 3369 NEW BEST:: SOT 26356 SOS 12944 HAS SOPS 12944 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4949.944
AT ITER 3394 NEW BEST:: SOT 26348 SOS 12941 HAS SOPS 12941 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4946.941
AT ITER 3429 NEW BEST:: SOT 26367 SOS 12913 HAS SOPS 12913 HAS SOUS 4907 HAS SOUPS 4907 WITH SCORE 4919.913
AT ITER 3450 NEW BEST:: SOT 26366 SOS 12914 HAS SOPS 12914 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4917.914
AT ITER 3490 NEW BEST:: SOT 26363 SOS 12910 HAS SOPS 12910 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4913.91
AT ITER 3523 NEW BEST:: SOT 26360 SOS 12904 HAS SOPS 12904 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4911.904
AT ITER 3526 NEW BEST:: SOT 26354 SOS 12916 HAS SOPS 12916 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4902.916
AT ITER 3531 NEW BEST:: SOT 26348 SOS 12896 HAS SOPS 12896 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4894.896
AT ITER 3570 NEW BEST:: SOT 26347 SOS 12895 HAS SOPS 12895 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4893.895
AT ITER 3581 NEW BEST:: SOT 26337 SOS 12877 HAS SOPS 12877 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4887.877
AT ITER 3611 NEW BEST:: SOT 26337 SOS 12893 HAS SOPS 12893 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4881.893
AT ITER 3616 NEW BEST:: SOT 26337 SOS 12887 HAS SOPS 12887 HAS SOUS 4869 HAS SOUPS 4869 WITH SCORE 4881.887
AT ITER 3672 NEW BEST:: SOT 26277 SOS 12841 HAS SOPS 12841 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4836.841
AT ITER 3695 NEW BEST:: SOT 26258 SOS 12822 HAS SOPS 12822 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4836.822
AT ITER 3781 NEW BEST:: SOT 26254 SOS 12818 HAS SOPS 12818 HAS SOUS 4820 HAS SOUPS 4820 WITH SCORE 4832.818
AT ITER 3860 NEW BEST:: SOT 26239 SOS 12803 HAS SOPS 12803 HAS SOUS 4812 HAS SOUPS 4812 WITH SCORE 4824.803
AT ITER 3914 NEW BEST:: SOT 26233 SOS 12797 HAS SOPS 12797 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4822.797
AT ITER 3915 NEW BEST:: SOT 26183 SOS 12747 HAS SOPS 12747 HAS SOUS 4799 HAS SOUPS 4799 WITH SCORE 4811.747
AT ITER 3947 NEW BEST:: SOT 26181 SOS 12753 HAS SOPS 12753 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4807.753
AT ITER 4044 NEW BEST:: SOT 26151 SOS 12723 HAS SOPS 12723 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4741.723
AT ITER 4059 NEW BEST:: SOT 26149 SOS 12721 HAS SOPS 12721 HAS SOUS 4729 HAS SOUPS 4729 WITH SCORE 4741.721
AT ITER 4122 NEW BEST:: SOT 26146 SOS 12715 HAS SOPS 12715 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4738.715
AT ITER 4149 NEW BEST:: SOT 26143 SOS 12709 HAS SOPS 12709 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4731.709
AT ITER 4156 NEW BEST:: SOT 26122 SOS 12651 HAS SOPS 12651 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4722.651
AT ITER 4237 NEW BEST:: SOT 26118 SOS 12647 HAS SOPS 12647 HAS SOUS 4706 HAS SOUPS 4706 WITH SCORE 4718.647
AT ITER 4239 NEW BEST:: SOT 26108 SOS 12639 HAS SOPS 12639 HAS SOUS 4703 HAS SOUPS 4703 WITH SCORE 4715.639
AT ITER 4259 NEW BEST:: SOT 26112 SOS 12631 HAS SOPS 12631 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4711.631
AT ITER 4317 NEW BEST:: SOT 26112 SOS 12621 HAS SOPS 12621 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4709.621
AT ITER 4332 NEW BEST:: SOT 26105 SOS 12614 HAS SOPS 12614 HAS SOUS 4690 HAS SOUPS 4690 WITH SCORE 4702.614
AT ITER 4346 NEW BEST:: SOT 26083 SOS 12593 HAS SOPS 12593 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4685.593
AT ITER 4362 NEW BEST:: SOT 26071 SOS 12575 HAS SOPS 12575 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4676.575
AT ITER 4378 NEW BEST:: SOT 26067 SOS 12571 HAS SOPS 12571 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4673.571
AT ITER 4393 NEW BEST:: SOT 26072 SOS 12548 HAS SOPS 12548 HAS SOUS 4653 HAS SOUPS 4653 WITH SCORE 4665.548
AT ITER 4399 NEW BEST:: SOT 26072 SOS 12548 HAS SOPS 12548 HAS SOUS 4642 HAS SOUPS 4642 WITH SCORE 4654.548
AT ITER 4411 NEW BEST:: SOT 26069 SOS 12564 HAS SOPS 12564 HAS SOUS 4639 HAS SOUPS 4639 WITH SCORE 4651.564
AT ITER 4418 NEW BEST:: SOT 26087 SOS 12562 HAS SOPS 12562 HAS SOUS 4638 HAS SOUPS 4638 WITH SCORE 4650.562
AT ITER 4441 NEW BEST:: SOT 26085 SOS 12560 HAS SOPS 12560 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4648.56
AT ITER 4452 NEW BEST:: SOT 26079 SOS 12556 HAS SOPS 12556 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4648.556
AT ITER 4466 NEW BEST:: SOT 26083 SOS 12510 HAS SOPS 12510 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4636.51
AT ITER 4490 NEW BEST:: SOT 26056 SOS 12467 HAS SOPS 12467 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4635.467
AT ITER 4521 NEW BEST:: SOT 26018 SOS 12446 HAS SOPS 12446 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4635.446
AT ITER 4551 NEW BEST:: SOT 26017 SOS 12444 HAS SOPS 12444 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4633.444
AT ITER 4578 NEW BEST:: SOT 26029 SOS 12338 HAS SOPS 12338 HAS SOUS 4588 HAS SOUPS 4588 WITH SCORE 4600.338
AT ITER 4617 NEW BEST:: SOT 26028 SOS 12334 HAS SOPS 12334 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4599.334
AT ITER 4668 NEW BEST:: SOT 26028 SOS 12332 HAS SOPS 12332 HAS SOUS 4587 HAS SOUPS 4587 WITH SCORE 4599.332
AT ITER 4719 NEW BEST:: SOT 25997 SOS 12325 HAS SOPS 12325 HAS SOUS 4578 HAS SOUPS 4578 WITH SCORE 4590.325
AT ITER 4766 NEW BEST:: SOT 25993 SOS 12324 HAS SOPS 12324 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4589.324
AT ITER 4779 NEW BEST:: SOT 25993 SOS 12316 HAS SOPS 12316 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4586.316
AT ITER 4800 NEW BEST:: SOT 25993 SOS 12308 HAS SOPS 12308 HAS SOUS 4574 HAS SOUPS 4574 WITH SCORE 4586.308
AT ITER 4806 NEW BEST:: SOT 25989 SOS 12304 HAS SOPS 12304 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4582.304
AT ITER 4820 NEW BEST:: SOT 25985 SOS 12300 HAS SOPS 12300 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4576.3
AT ITER 4958 NEW BEST:: SOT 25985 SOS 12300 HAS SOPS 12300 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4575.3
AT ITER 4959 NEW BEST:: SOT 25977 SOS 12316 HAS SOPS 12316 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4567.316
AT ITER 4964 NEW BEST:: SOT 25964 SOS 12303 HAS SOPS 12303 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4567.303
AT ITER 4969 NEW BEST:: SOT 25987 SOS 12083 HAS SOPS 12083 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4552.083
AT ITER 4970 NEW BEST:: SOT 25948 SOS 12092 HAS SOPS 12092 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4537.092
AT ITER 4979 NEW BEST:: SOT 25928 SOS 12056 HAS SOPS 12056 HAS SOUS 4515 HAS SOUPS 4515 WITH SCORE 4527.056
AT ITER 5067 NEW BEST:: SOT 25930 SOS 12060 HAS SOPS 12060 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4525.06
AT ITER 5091 NEW BEST:: SOT 25916 SOS 12046 HAS SOPS 12046 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4519.046
AT ITER 5168 NEW BEST:: SOT 25918 SOS 12045 HAS SOPS 12045 HAS SOUS 4506 HAS SOUPS 4506 WITH SCORE 4518.045
AT ITER 5193 NEW BEST:: SOT 25871 SOS 12026 HAS SOPS 12026 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4495.026
AT ITER 5218 NEW BEST:: SOT 25870 SOS 12020 HAS SOPS 12020 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4494.02
AT ITER 5230 NEW BEST:: SOT 25869 SOS 12019 HAS SOPS 12019 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4493.019
AT ITER 5296 NEW BEST:: SOT 25865 SOS 12015 HAS SOPS 12015 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4489.015
AT ITER 5355 NEW BEST:: SOT 25861 SOS 12011 HAS SOPS 12011 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4475.011
AT ITER 5359 NEW BEST:: SOT 25841 SOS 11991 HAS SOPS 11991 HAS SOUS 4455 HAS SOUPS 4455 WITH SCORE 4466.991
AT ITER 5440 NEW BEST:: SOT 25838 SOS 11988 HAS SOPS 11988 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4463.988
AT ITER 5449 NEW BEST:: SOT 25839 SOS 11989 HAS SOPS 11989 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4462.989
AT ITER 5474 NEW BEST:: SOT 25840 SOS 11987 HAS SOPS 11987 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4461.987
AT ITER 5503 NEW BEST:: SOT 25835 SOS 11971 HAS SOPS 11971 HAS SOUS 4439 HAS SOUPS 4439 WITH SCORE 4450.971
AT ITER 5548 NEW BEST:: SOT 25830 SOS 11954 HAS SOPS 11954 HAS SOUS 4433 HAS SOUPS 4433 WITH SCORE 4444.954
AT ITER 5561 NEW BEST:: SOT 25816 SOS 11933 HAS SOPS 11933 HAS SOUS 4406 HAS SOUPS 4406 WITH SCORE 4417.933
AT ITER 5575 NEW BEST:: SOT 25786 SOS 11903 HAS SOPS 11903 HAS SOUS 4403 HAS SOUPS 4403 WITH SCORE 4414.903
AT ITER 5645 NEW BEST:: SOT 25791 SOS 11920 HAS SOPS 11920 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4407.92
AT ITER 5649 NEW BEST:: SOT 25767 SOS 11933 HAS SOPS 11933 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4403.933
AT ITER 5709 NEW BEST:: SOT 25767 SOS 11933 HAS SOPS 11933 HAS SOUS 4388 HAS SOUPS 4388 WITH SCORE 4399.933
AT ITER 5716 NEW BEST:: SOT 25760 SOS 11925 HAS SOPS 11925 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4394.925
AT ITER 5741 NEW BEST:: SOT 25754 SOS 11919 HAS SOPS 11919 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4390.919
AT ITER 5811 NEW BEST:: SOT 25755 SOS 11921 HAS SOPS 11921 HAS SOUS 4378 HAS SOUPS 4378 WITH SCORE 4389.921
AT ITER 5826 NEW BEST:: SOT 25752 SOS 11918 HAS SOPS 11918 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4386.918
AT ITER 5891 NEW BEST:: SOT 25754 SOS 11906 HAS SOPS 11906 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4384.906
AT ITER 5916 NEW BEST:: SOT 25760 SOS 11853 HAS SOPS 11853 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4384.853
AT ITER 5999 NEW BEST:: SOT 25760 SOS 11849 HAS SOPS 11849 HAS SOUS 4372 HAS SOUPS 4372 WITH SCORE 4383.849
AT ITER 6083 NEW BEST:: SOT 25752 SOS 11841 HAS SOPS 11841 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4376.841
AT ITER 6194 NEW BEST:: SOT 25740 SOS 11829 HAS SOPS 11829 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4370.829
AT ITER 6254 NEW BEST:: SOT 25746 SOS 11831 HAS SOPS 11831 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4345.831
AT ITER 6264 NEW BEST:: SOT 25744 SOS 11827 HAS SOPS 11827 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4341.827
AT ITER 6295 NEW BEST:: SOT 25751 SOS 11818 HAS SOPS 11818 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4334.818
AT ITER 6316 NEW BEST:: SOT 25752 SOS 11818 HAS SOPS 11818 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4331.818
AT ITER 6446 NEW BEST:: SOT 25752 SOS 11821 HAS SOPS 11821 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4330.821
AT ITER 6505 NEW BEST:: SOT 25740 SOS 11809 HAS SOPS 11809 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4325.809
AT ITER 6539 NEW BEST:: SOT 25778 SOS 11828 HAS SOPS 11828 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4319.828
AT ITER 6579 NEW BEST:: SOT 25772 SOS 11822 HAS SOPS 11822 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4313.822
AT ITER 6594 NEW BEST:: SOT 25757 SOS 11801 HAS SOPS 11801 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4313.801
AT ITER 6800 NEW BEST:: SOT 25756 SOS 11793 HAS SOPS 11793 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4300.793
AT ITER 6942 NEW BEST:: SOT 25753 SOS 11796 HAS SOPS 11796 HAS SOUS 4279 HAS SOUPS 4279 WITH SCORE 4290.796
AT ITER 7191 NEW BEST:: SOT 25754 SOS 11797 HAS SOPS 11797 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4288.797
AT ITER 7195 NEW BEST:: SOT 25753 SOS 11793 HAS SOPS 11793 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4285.793
AT ITER 7246 NEW BEST:: SOT 25753 SOS 11787 HAS SOPS 11787 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4285.787
AT ITER 7286 NEW BEST:: SOT 25761 SOS 11786 HAS SOPS 11786 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4277.786
AT ITER 7347 NEW BEST:: SOT 25748 SOS 11775 HAS SOPS 11775 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4269.775
AT ITER 7356 NEW BEST:: SOT 25749 SOS 11776 HAS SOPS 11776 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4268.776
AT ITER 7569 NEW BEST:: SOT 25748 SOS 11775 HAS SOPS 11775 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4267.775
AT ITER 7720 NEW BEST:: SOT 25744 SOS 11741 HAS SOPS 11741 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4250.741
AT ITER 7783 NEW BEST:: SOT 25745 SOS 11738 HAS SOPS 11738 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4249.738
AT ITER 7890 NEW BEST:: SOT 25738 SOS 11731 HAS SOPS 11731 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4245.731
AT ITER 7925 NEW BEST:: SOT 25737 SOS 11691 HAS SOPS 11691 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4244.691
AT ITER 7935 NEW BEST:: SOT 25738 SOS 11689 HAS SOPS 11689 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4244.689
AT ITER 7953 NEW BEST:: SOT 25737 SOS 11685 HAS SOPS 11685 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4239.685
AT ITER 8073 NEW BEST:: SOT 25728 SOS 11676 HAS SOPS 11676 HAS SOUS 4226 HAS SOUPS 4226 WITH SCORE 4237.676
AT ITER 8089 NEW BEST:: SOT 25728 SOS 11676 HAS SOPS 11676 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4233.676
AT ITER 8145 NEW BEST:: SOT 25724 SOS 11672 HAS SOPS 11672 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4231.672
AT ITER 8161 NEW BEST:: SOT 25743 SOS 11678 HAS SOPS 11678 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4224.678
AT ITER 8205 NEW BEST:: SOT 25741 SOS 11672 HAS SOPS 11672 HAS SOUS 4212 HAS SOUPS 4212 WITH SCORE 4223.672
AT ITER 8220 NEW BEST:: SOT 25767 SOS 11697 HAS SOPS 11697 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4222.697
AT ITER 8372 NEW BEST:: SOT 25764 SOS 11692 HAS SOPS 11692 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4220.692
AT ITER 8380 NEW BEST:: SOT 25762 SOS 11690 HAS SOPS 11690 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4220.69
AT ITER 8422 NEW BEST:: SOT 25758 SOS 11686 HAS SOPS 11686 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4216.686
AT ITER 8441 NEW BEST:: SOT 25758 SOS 11686 HAS SOPS 11686 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4211.686
AT ITER 8500 NEW BEST:: SOT 25760 SOS 11684 HAS SOPS 11684 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4209.684
AT ITER 8643 NEW BEST:: SOT 25756 SOS 11680 HAS SOPS 11680 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4205.68
AT ITER 8732 NEW BEST:: SOT 25748 SOS 11666 HAS SOPS 11666 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4197.666
AT ITER 8754 NEW BEST:: SOT 25692 SOS 11569 HAS SOPS 11569 HAS SOUS 4179 HAS SOUPS 4179 WITH SCORE 4190.569
AT ITER 8768 NEW BEST:: SOT 25694 SOS 11571 HAS SOPS 11571 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4189.571
AT ITER 8810 NEW BEST:: SOT 25671 SOS 11548 HAS SOPS 11548 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4181.548
AT ITER 8816 NEW BEST:: SOT 25669 SOS 11544 HAS SOPS 11544 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4177.544
AT ITER 8890 NEW BEST:: SOT 25668 SOS 11538 HAS SOPS 11538 HAS SOUS 4164 HAS SOUPS 4164 WITH SCORE 4175.538
AT ITER 8908 NEW BEST:: SOT 25643 SOS 11450 HAS SOPS 11450 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4157.45
AT ITER 8944 NEW BEST:: SOT 25604 SOS 11380 HAS SOPS 11380 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4135.38
AT ITER 9015 NEW BEST:: SOT 25599 SOS 11370 HAS SOPS 11370 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4131.37
AT ITER 9118 NEW BEST:: SOT 25602 SOS 11364 HAS SOPS 11364 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4130.364
AT ITER 9164 NEW BEST:: SOT 25596 SOS 11349 HAS SOPS 11349 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4116.349
AT ITER 9196 NEW BEST:: SOT 25603 SOS 11362 HAS SOPS 11362 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4114.362
AT ITER 9204 NEW BEST:: SOT 25603 SOS 11359 HAS SOPS 11359 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4114.359
AT ITER 9224 NEW BEST:: SOT 25613 SOS 11369 HAS SOPS 11369 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4110.369
AT ITER 9246 NEW BEST:: SOT 25613 SOS 11369 HAS SOPS 11369 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4109.369
AT ITER 9272 NEW BEST:: SOT 25595 SOS 11351 HAS SOPS 11351 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4108.351
AT ITER 9567 NEW BEST:: SOT 25595 SOS 11319 HAS SOPS 11319 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4107.319
AT ITER 9579 NEW BEST:: SOT 25578 SOS 11299 HAS SOPS 11299 HAS SOUS 4096 HAS SOUPS 4096 WITH SCORE 4107.299
AT ITER 9649 NEW BEST:: SOT 25574 SOS 11295 HAS SOPS 11295 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4103.295
AT ITER 9795 NEW BEST:: SOT 25586 SOS 11273 HAS SOPS 11273 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4087.273
AT ITER 9830 NEW BEST:: SOT 25578 SOS 11231 HAS SOPS 11231 HAS SOUS 4073 HAS SOUPS 4073 WITH SCORE 4084.231
AT ITER 9839 NEW BEST:: SOT 25568 SOS 11221 HAS SOPS 11221 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4068.221
AT ITER 9853 NEW BEST:: SOT 25574 SOS 11225 HAS SOPS 11225 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4061.225
AT ITER 9858 NEW BEST:: SOT 25557 SOS 11197 HAS SOPS 11197 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4054.197
AT ITER 9860 NEW BEST:: SOT 25559 SOS 11195 HAS SOPS 11195 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4050.195
AT ITER 9862 NEW BEST:: SOT 25543 SOS 11179 HAS SOPS 11179 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4043.179
AT ITER 9863 NEW BEST:: SOT 25553 SOS 11188 HAS SOPS 11188 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4035.188
AT ITER 9864 NEW BEST:: SOT 25553 SOS 11186 HAS SOPS 11186 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4034.186
AT ITER 9874 NEW BEST:: SOT 25553 SOS 11182 HAS SOPS 11182 HAS SOUS 4022 HAS SOUPS 4022 WITH SCORE 4033.182
AT ITER 9918 NEW BEST:: SOT 25548 SOS 11173 HAS SOPS 11173 HAS SOUS 4013 HAS SOUPS 4013 WITH SCORE 4024.173
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 1679317257205

--------------------
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-PT-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-PT-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-167912711501200"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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