Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979500280.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979500280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 7.7K Feb 25 23:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 23:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 23:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 23:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 23:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 23:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 23:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 23:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 54K 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 1679383596272

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=ShieldRVt-PT-020A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:26:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:26:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:26:38] [INFO ] Load time of PNML (sax parser for PT used): 48 ms
[2023-03-21 07:26:38] [INFO ] Transformed 163 places.
[2023-03-21 07:26:38] [INFO ] Transformed 163 transitions.
[2023-03-21 07:26:38] [INFO ] Found NUPN structural information;
[2023-03-21 07:26:38] [INFO ] Parsed PT model containing 163 places and 163 transitions and 686 arcs in 114 ms.
[2023-03-21 07:26:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 163 places, 163 transitions and 686 arcs took 6 ms.
Total runtime 151 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 020A
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: 163 places, 163 transitions, 686 arcs.
AT ITER 0 NEW BEST:: SOT 20915 SOS 15526 HAS SOPS 15526 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14461.526
AT ITER 3 NEW BEST:: SOT 20751 SOS 15313 HAS SOPS 15313 HAS SOUS 14233 HAS SOUPS 14233 WITH SCORE 14248.313
AT ITER 9 NEW BEST:: SOT 20751 SOS 15293 HAS SOPS 15293 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14247.293
AT ITER 13 NEW BEST:: SOT 20751 SOS 15198 HAS SOPS 15198 HAS SOUS 14182 HAS SOUPS 14182 WITH SCORE 14197.198
AT ITER 15 NEW BEST:: SOT 20735 SOS 15216 HAS SOPS 15216 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14183.216
AT ITER 18 NEW BEST:: SOT 20724 SOS 15197 HAS SOPS 15197 HAS SOUS 14149 HAS SOUPS 14149 WITH SCORE 14164.197
AT ITER 19 NEW BEST:: SOT 20669 SOS 15051 HAS SOPS 15051 HAS SOUS 14049 HAS SOUPS 14049 WITH SCORE 14064.051
AT ITER 21 NEW BEST:: SOT 20606 SOS 14959 HAS SOPS 14959 HAS SOUS 13951 HAS SOUPS 13951 WITH SCORE 13965.959
AT ITER 23 NEW BEST:: SOT 20590 SOS 14927 HAS SOPS 14927 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13923.927
AT ITER 24 NEW BEST:: SOT 20586 SOS 14923 HAS SOPS 14923 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13918.923
AT ITER 25 NEW BEST:: SOT 20562 SOS 14891 HAS SOPS 14891 HAS SOUS 13872 HAS SOUPS 13872 WITH SCORE 13886.891
AT ITER 27 NEW BEST:: SOT 20562 SOS 14891 HAS SOPS 14891 HAS SOUS 13828 HAS SOUPS 13828 WITH SCORE 13842.891
AT ITER 29 NEW BEST:: SOT 20386 SOS 14715 HAS SOPS 14715 HAS SOUS 13652 HAS SOUPS 13652 WITH SCORE 13666.715
AT ITER 30 NEW BEST:: SOT 20375 SOS 14657 HAS SOPS 14657 HAS SOUS 13652 HAS SOUPS 13652 WITH SCORE 13666.657
AT ITER 32 NEW BEST:: SOT 20321 SOS 14522 HAS SOPS 14522 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.522
AT ITER 36 NEW BEST:: SOT 20317 SOS 14517 HAS SOPS 14517 HAS SOUS 13456 HAS SOUPS 13456 WITH SCORE 13470.517
AT ITER 37 NEW BEST:: SOT 20214 SOS 14348 HAS SOPS 14348 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13294.348
AT ITER 38 NEW BEST:: SOT 20164 SOS 14221 HAS SOPS 14221 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13149.221
AT ITER 39 NEW BEST:: SOT 20105 SOS 14100 HAS SOPS 14100 HAS SOUS 13080 HAS SOUPS 13080 WITH SCORE 13094.1
AT ITER 40 NEW BEST:: SOT 20114 SOS 14112 HAS SOPS 14112 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13050.112
AT ITER 41 NEW BEST:: SOT 20044 SOS 13929 HAS SOPS 13929 HAS SOUS 12898 HAS SOUPS 12898 WITH SCORE 12911.929
AT ITER 42 NEW BEST:: SOT 19995 SOS 13827 HAS SOPS 13827 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12811.827
AT ITER 44 NEW BEST:: SOT 19978 SOS 13810 HAS SOPS 13810 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12794.81
AT ITER 45 NEW BEST:: SOT 19925 SOS 13673 HAS SOPS 13673 HAS SOUS 12649 HAS SOUPS 12649 WITH SCORE 12662.673
AT ITER 48 NEW BEST:: SOT 19901 SOS 13632 HAS SOPS 13632 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12607.632
AT ITER 50 NEW BEST:: SOT 19835 SOS 13495 HAS SOPS 13495 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12459.495
AT ITER 51 NEW BEST:: SOT 19835 SOS 13498 HAS SOPS 13498 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12456.498
AT ITER 53 NEW BEST:: SOT 19768 SOS 13322 HAS SOPS 13322 HAS SOUS 12318 HAS SOUPS 12318 WITH SCORE 12331.322
AT ITER 57 NEW BEST:: SOT 19716 SOS 13240 HAS SOPS 13240 HAS SOUS 12236 HAS SOUPS 12236 WITH SCORE 12249.24
AT ITER 60 NEW BEST:: SOT 19674 SOS 13184 HAS SOPS 13184 HAS SOUS 12180 HAS SOUPS 12180 WITH SCORE 12193.184
AT ITER 61 NEW BEST:: SOT 19612 SOS 13057 HAS SOPS 13057 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12107.057
AT ITER 66 NEW BEST:: SOT 19612 SOS 13054 HAS SOPS 13054 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12107.054
AT ITER 67 NEW BEST:: SOT 19612 SOS 13028 HAS SOPS 13028 HAS SOUS 12093 HAS SOUPS 12093 WITH SCORE 12106.028
AT ITER 68 NEW BEST:: SOT 19582 SOS 12980 HAS SOPS 12980 HAS SOUS 12071 HAS SOUPS 12071 WITH SCORE 12083.98
AT ITER 69 NEW BEST:: SOT 19572 SOS 12970 HAS SOPS 12970 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12073.97
AT ITER 73 NEW BEST:: SOT 19404 SOS 12723 HAS SOPS 12723 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11785.723
AT ITER 74 NEW BEST:: SOT 19356 SOS 12587 HAS SOPS 12587 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11687.587
AT ITER 85 NEW BEST:: SOT 19354 SOS 12585 HAS SOPS 12585 HAS SOUS 11673 HAS SOUPS 11673 WITH SCORE 11685.585
AT ITER 88 NEW BEST:: SOT 19335 SOS 12501 HAS SOPS 12501 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11654.501
AT ITER 89 NEW BEST:: SOT 19277 SOS 12407 HAS SOPS 12407 HAS SOUS 11546 HAS SOUPS 11546 WITH SCORE 11558.407
AT ITER 94 NEW BEST:: SOT 19274 SOS 12404 HAS SOPS 12404 HAS SOUS 11543 HAS SOUPS 11543 WITH SCORE 11555.404
AT ITER 95 NEW BEST:: SOT 19260 SOS 12376 HAS SOPS 12376 HAS SOUS 11514 HAS SOUPS 11514 WITH SCORE 11526.376
AT ITER 96 NEW BEST:: SOT 19260 SOS 12359 HAS SOPS 12359 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11509.359
AT ITER 98 NEW BEST:: SOT 19260 SOS 12331 HAS SOPS 12331 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11453.331
AT ITER 101 NEW BEST:: SOT 19202 SOS 12224 HAS SOPS 12224 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11355.224
AT ITER 103 NEW BEST:: SOT 19202 SOS 12206 HAS SOPS 12206 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11352.206
AT ITER 104 NEW BEST:: SOT 19193 SOS 12181 HAS SOPS 12181 HAS SOUS 11313 HAS SOUPS 11313 WITH SCORE 11325.181
AT ITER 112 NEW BEST:: SOT 19188 SOS 12156 HAS SOPS 12156 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11315.156
AT ITER 117 NEW BEST:: SOT 19144 SOS 12099 HAS SOPS 12099 HAS SOUS 11254 HAS SOUPS 11254 WITH SCORE 11266.099
AT ITER 118 NEW BEST:: SOT 19145 SOS 12128 HAS SOPS 12128 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11234.128
AT ITER 119 NEW BEST:: SOT 19145 SOS 12130 HAS SOPS 12130 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11202.13
AT ITER 122 NEW BEST:: SOT 19128 SOS 12096 HAS SOPS 12096 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11146.096
AT ITER 126 NEW BEST:: SOT 19121 SOS 12068 HAS SOPS 12068 HAS SOUS 11113 HAS SOUPS 11113 WITH SCORE 11125.068
AT ITER 128 NEW BEST:: SOT 19120 SOS 12066 HAS SOPS 12066 HAS SOUS 11111 HAS SOUPS 11111 WITH SCORE 11123.066
AT ITER 129 NEW BEST:: SOT 19111 SOS 12047 HAS SOPS 12047 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11116.047
AT ITER 133 NEW BEST:: SOT 19111 SOS 12038 HAS SOPS 12038 HAS SOUS 11071 HAS SOUPS 11071 WITH SCORE 11083.038
AT ITER 135 NEW BEST:: SOT 19111 SOS 12026 HAS SOPS 12026 HAS SOUS 11068 HAS SOUPS 11068 WITH SCORE 11080.026
AT ITER 136 NEW BEST:: SOT 19071 SOS 11912 HAS SOPS 11912 HAS SOUS 10917 HAS SOUPS 10917 WITH SCORE 10928.912
AT ITER 141 NEW BEST:: SOT 19050 SOS 11848 HAS SOPS 11848 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10878.848
AT ITER 143 NEW BEST:: SOT 19003 SOS 11777 HAS SOPS 11777 HAS SOUS 10796 HAS SOUPS 10796 WITH SCORE 10807.777
AT ITER 149 NEW BEST:: SOT 18937 SOS 11689 HAS SOPS 11689 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10719.689
AT ITER 153 NEW BEST:: SOT 18936 SOS 11684 HAS SOPS 11684 HAS SOUS 10705 HAS SOUPS 10705 WITH SCORE 10716.684
AT ITER 154 NEW BEST:: SOT 18936 SOS 11681 HAS SOPS 11681 HAS SOUS 10666 HAS SOUPS 10666 WITH SCORE 10677.681
AT ITER 158 NEW BEST:: SOT 18893 SOS 11594 HAS SOPS 11594 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10588.594
AT ITER 161 NEW BEST:: SOT 18725 SOS 11342 HAS SOPS 11342 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10287.342
AT ITER 162 NEW BEST:: SOT 18641 SOS 11228 HAS SOPS 11228 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10173.228
AT ITER 163 NEW BEST:: SOT 18641 SOS 11157 HAS SOPS 11157 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10127.157
AT ITER 165 NEW BEST:: SOT 18541 SOS 10966 HAS SOPS 10966 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9978.966
AT ITER 168 NEW BEST:: SOT 18531 SOS 10878 HAS SOPS 10878 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9890.878
AT ITER 170 NEW BEST:: SOT 18476 SOS 10706 HAS SOPS 10706 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9809.706
AT ITER 173 NEW BEST:: SOT 18476 SOS 10700 HAS SOPS 10700 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9757.7
AT ITER 174 NEW BEST:: SOT 18408 SOS 10603 HAS SOPS 10603 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9642.603
AT ITER 175 NEW BEST:: SOT 18408 SOS 10603 HAS SOPS 10603 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9633.603
AT ITER 176 NEW BEST:: SOT 18406 SOS 10584 HAS SOPS 10584 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9614.584
AT ITER 187 NEW BEST:: SOT 18361 SOS 10539 HAS SOPS 10539 HAS SOUS 9559 HAS SOUPS 9559 WITH SCORE 9569.539
AT ITER 189 NEW BEST:: SOT 18357 SOS 10532 HAS SOPS 10532 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9559.532
AT ITER 194 NEW BEST:: SOT 18258 SOS 10356 HAS SOPS 10356 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9335.356
AT ITER 195 NEW BEST:: SOT 18254 SOS 10345 HAS SOPS 10345 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9323.345
AT ITER 197 NEW BEST:: SOT 18254 SOS 10345 HAS SOPS 10345 HAS SOUS 9311 HAS SOUPS 9311 WITH SCORE 9321.345
AT ITER 200 NEW BEST:: SOT 18222 SOS 10272 HAS SOPS 10272 HAS SOUS 9264 HAS SOUPS 9264 WITH SCORE 9274.272
AT ITER 201 NEW BEST:: SOT 18217 SOS 10267 HAS SOPS 10267 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9269.267
AT ITER 204 NEW BEST:: SOT 18212 SOS 10260 HAS SOPS 10260 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9255.26
AT ITER 205 NEW BEST:: SOT 18174 SOS 10158 HAS SOPS 10158 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9206.158
AT ITER 207 NEW BEST:: SOT 18142 SOS 10078 HAS SOPS 10078 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9183.078
AT ITER 210 NEW BEST:: SOT 18126 SOS 10054 HAS SOPS 10054 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9159.054
AT ITER 214 NEW BEST:: SOT 18122 SOS 10048 HAS SOPS 10048 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9153.048
AT ITER 217 NEW BEST:: SOT 18081 SOS 9963 HAS SOPS 9963 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9067.963
AT ITER 221 NEW BEST:: SOT 18080 SOS 9962 HAS SOPS 9962 HAS SOUS 9057 HAS SOUPS 9057 WITH SCORE 9066.962
AT ITER 228 NEW BEST:: SOT 18080 SOS 9910 HAS SOPS 9910 HAS SOUS 9057 HAS SOUPS 9057 WITH SCORE 9066.91
AT ITER 234 NEW BEST:: SOT 18088 SOS 9956 HAS SOPS 9956 HAS SOUS 9017 HAS SOUPS 9017 WITH SCORE 9026.956
AT ITER 235 NEW BEST:: SOT 18075 SOS 9943 HAS SOPS 9943 HAS SOUS 9004 HAS SOUPS 9004 WITH SCORE 9013.943
AT ITER 240 NEW BEST:: SOT 18045 SOS 9878 HAS SOPS 9878 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8926.878
AT ITER 242 NEW BEST:: SOT 18042 SOS 9872 HAS SOPS 9872 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8922.872
AT ITER 249 NEW BEST:: SOT 18024 SOS 9818 HAS SOPS 9818 HAS SOUS 8859 HAS SOUPS 8859 WITH SCORE 8868.818
AT ITER 252 NEW BEST:: SOT 18019 SOS 9796 HAS SOPS 9796 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8856.796
AT ITER 253 NEW BEST:: SOT 17907 SOS 9651 HAS SOPS 9651 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8761.651
AT ITER 257 NEW BEST:: SOT 17903 SOS 9647 HAS SOPS 9647 HAS SOUS 8748 HAS SOUPS 8748 WITH SCORE 8757.647
AT ITER 267 NEW BEST:: SOT 17889 SOS 9633 HAS SOPS 9633 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8687.633
AT ITER 268 NEW BEST:: SOT 17886 SOS 9630 HAS SOPS 9630 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8681.63
AT ITER 269 NEW BEST:: SOT 17892 SOS 9572 HAS SOPS 9572 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8669.572
AT ITER 272 NEW BEST:: SOT 17890 SOS 9569 HAS SOPS 9569 HAS SOUS 8656 HAS SOUPS 8656 WITH SCORE 8665.569
AT ITER 279 NEW BEST:: SOT 17888 SOS 9563 HAS SOPS 9563 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8659.563
AT ITER 284 NEW BEST:: SOT 17856 SOS 9415 HAS SOPS 9415 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8598.415
AT ITER 286 NEW BEST:: SOT 17846 SOS 9403 HAS SOPS 9403 HAS SOUS 8575 HAS SOUPS 8575 WITH SCORE 8584.403
AT ITER 291 NEW BEST:: SOT 17846 SOS 9378 HAS SOPS 9378 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8554.378
AT ITER 292 NEW BEST:: SOT 17846 SOS 9378 HAS SOPS 9378 HAS SOUS 8542 HAS SOUPS 8542 WITH SCORE 8551.378
AT ITER 295 NEW BEST:: SOT 17845 SOS 9375 HAS SOPS 9375 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8549.375
AT ITER 305 NEW BEST:: SOT 17845 SOS 9360 HAS SOPS 9360 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8534.36
AT ITER 306 NEW BEST:: SOT 17837 SOS 9215 HAS SOPS 9215 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8471.215
AT ITER 310 NEW BEST:: SOT 17831 SOS 9197 HAS SOPS 9197 HAS SOUS 8446 HAS SOUPS 8446 WITH SCORE 8455.197
AT ITER 313 NEW BEST:: SOT 17831 SOS 9085 HAS SOPS 9085 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8434.085
AT ITER 315 NEW BEST:: SOT 17787 SOS 9025 HAS SOPS 9025 HAS SOUS 8365 HAS SOUPS 8365 WITH SCORE 8374.025
AT ITER 318 NEW BEST:: SOT 17787 SOS 9025 HAS SOPS 9025 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8369.025
AT ITER 327 NEW BEST:: SOT 17733 SOS 8855 HAS SOPS 8855 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8256.855
AT ITER 330 NEW BEST:: SOT 17727 SOS 8845 HAS SOPS 8845 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8248.845
AT ITER 334 NEW BEST:: SOT 17717 SOS 8830 HAS SOPS 8830 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8233.83
AT ITER 336 NEW BEST:: SOT 17711 SOS 8824 HAS SOPS 8824 HAS SOUS 8219 HAS SOUPS 8219 WITH SCORE 8227.824
AT ITER 340 NEW BEST:: SOT 17714 SOS 8823 HAS SOPS 8823 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8226.823
AT ITER 344 NEW BEST:: SOT 17707 SOS 8816 HAS SOPS 8816 HAS SOUS 8211 HAS SOUPS 8211 WITH SCORE 8219.816
AT ITER 351 NEW BEST:: SOT 17682 SOS 8752 HAS SOPS 8752 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8137.752
AT ITER 354 NEW BEST:: SOT 17682 SOS 8734 HAS SOPS 8734 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8128.734
AT ITER 365 NEW BEST:: SOT 17654 SOS 8654 HAS SOPS 8654 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8026.654
AT ITER 368 NEW BEST:: SOT 17592 SOS 8525 HAS SOPS 8525 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7898.525
AT ITER 374 NEW BEST:: SOT 17570 SOS 8503 HAS SOPS 8503 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7876.503
AT ITER 377 NEW BEST:: SOT 17555 SOS 8480 HAS SOPS 8480 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7861.48
AT ITER 378 NEW BEST:: SOT 17543 SOS 8463 HAS SOPS 8463 HAS SOUS 7836 HAS SOUPS 7836 WITH SCORE 7844.463
AT ITER 388 NEW BEST:: SOT 17510 SOS 8423 HAS SOPS 8423 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7790.423
AT ITER 399 NEW BEST:: SOT 17507 SOS 8417 HAS SOPS 8417 HAS SOUS 7776 HAS SOUPS 7776 WITH SCORE 7784.417
AT ITER 403 NEW BEST:: SOT 17449 SOS 8297 HAS SOPS 8297 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7677.297
AT ITER 408 NEW BEST:: SOT 17433 SOS 8265 HAS SOPS 8265 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7660.265
AT ITER 410 NEW BEST:: SOT 17419 SOS 8243 HAS SOPS 8243 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7638.243
AT ITER 412 NEW BEST:: SOT 17392 SOS 8228 HAS SOPS 8228 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7629.228
AT ITER 413 NEW BEST:: SOT 17341 SOS 8165 HAS SOPS 8165 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7575.165
AT ITER 425 NEW BEST:: SOT 17341 SOS 8164 HAS SOPS 8164 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7561.164
AT ITER 428 NEW BEST:: SOT 17341 SOS 8160 HAS SOPS 8160 HAS SOUS 7553 HAS SOUPS 7553 WITH SCORE 7561.16
AT ITER 434 NEW BEST:: SOT 17292 SOS 8093 HAS SOPS 8093 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7470.093
AT ITER 440 NEW BEST:: SOT 17286 SOS 8078 HAS SOPS 8078 HAS SOUS 7453 HAS SOUPS 7453 WITH SCORE 7461.078
AT ITER 443 NEW BEST:: SOT 17276 SOS 8068 HAS SOPS 8068 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7451.068
AT ITER 451 NEW BEST:: SOT 17266 SOS 8050 HAS SOPS 8050 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7431.05
AT ITER 466 NEW BEST:: SOT 17263 SOS 8047 HAS SOPS 8047 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7425.047
AT ITER 467 NEW BEST:: SOT 17259 SOS 8041 HAS SOPS 8041 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7419.041
AT ITER 472 NEW BEST:: SOT 17259 SOS 7995 HAS SOPS 7995 HAS SOUS 7411 HAS SOUPS 7411 WITH SCORE 7418.995
AT ITER 480 NEW BEST:: SOT 17259 SOS 7995 HAS SOPS 7995 HAS SOUS 7388 HAS SOUPS 7388 WITH SCORE 7395.995
AT ITER 482 NEW BEST:: SOT 17227 SOS 7963 HAS SOPS 7963 HAS SOUS 7356 HAS SOUPS 7356 WITH SCORE 7363.963
AT ITER 492 NEW BEST:: SOT 17209 SOS 7917 HAS SOPS 7917 HAS SOUS 7312 HAS SOUPS 7312 WITH SCORE 7319.917
AT ITER 504 NEW BEST:: SOT 17204 SOS 7907 HAS SOPS 7907 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7309.907
AT ITER 507 NEW BEST:: SOT 17204 SOS 7898 HAS SOPS 7898 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7287.898
AT ITER 508 NEW BEST:: SOT 17186 SOS 7844 HAS SOPS 7844 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7245.844
AT ITER 510 NEW BEST:: SOT 17175 SOS 7833 HAS SOPS 7833 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7234.833
AT ITER 511 NEW BEST:: SOT 17105 SOS 7705 HAS SOPS 7705 HAS SOUS 7081 HAS SOUPS 7081 WITH SCORE 7088.705
AT ITER 515 NEW BEST:: SOT 17085 SOS 7685 HAS SOPS 7685 HAS SOUS 7061 HAS SOUPS 7061 WITH SCORE 7068.685
AT ITER 518 NEW BEST:: SOT 17035 SOS 7564 HAS SOPS 7564 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6952.564
AT ITER 526 NEW BEST:: SOT 17036 SOS 7559 HAS SOPS 7559 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6947.559
AT ITER 531 NEW BEST:: SOT 17005 SOS 7510 HAS SOPS 7510 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6895.51
AT ITER 534 NEW BEST:: SOT 17010 SOS 7447 HAS SOPS 7447 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6859.447
AT ITER 539 NEW BEST:: SOT 17002 SOS 7429 HAS SOPS 7429 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6836.429
AT ITER 548 NEW BEST:: SOT 17013 SOS 7440 HAS SOPS 7440 HAS SOUS 6823 HAS SOUPS 6823 WITH SCORE 6830.44
AT ITER 559 NEW BEST:: SOT 17004 SOS 7431 HAS SOPS 7431 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6821.431
AT ITER 561 NEW BEST:: SOT 16950 SOS 7312 HAS SOPS 7312 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6725.312
AT ITER 562 NEW BEST:: SOT 16950 SOS 7312 HAS SOPS 7312 HAS SOUS 6715 HAS SOUPS 6715 WITH SCORE 6722.312
AT ITER 574 NEW BEST:: SOT 16936 SOS 7290 HAS SOPS 7290 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6700.29
AT ITER 595 NEW BEST:: SOT 16928 SOS 7277 HAS SOPS 7277 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6691.277
AT ITER 609 NEW BEST:: SOT 16926 SOS 7272 HAS SOPS 7272 HAS SOUS 6681 HAS SOUPS 6681 WITH SCORE 6688.272
AT ITER 626 NEW BEST:: SOT 16898 SOS 7228 HAS SOPS 7228 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6644.228
AT ITER 633 NEW BEST:: SOT 16875 SOS 7195 HAS SOPS 7195 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.195
AT ITER 636 NEW BEST:: SOT 16870 SOS 7192 HAS SOPS 7192 HAS SOUS 6601 HAS SOUPS 6601 WITH SCORE 6608.192
AT ITER 637 NEW BEST:: SOT 16783 SOS 7088 HAS SOPS 7088 HAS SOUS 6497 HAS SOUPS 6497 WITH SCORE 6504.088
AT ITER 643 NEW BEST:: SOT 16788 SOS 7129 HAS SOPS 7129 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6502.129
AT ITER 646 NEW BEST:: SOT 16795 SOS 7145 HAS SOPS 7145 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6488.145
AT ITER 648 NEW BEST:: SOT 16789 SOS 7139 HAS SOPS 7139 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6482.139
AT ITER 650 NEW BEST:: SOT 16812 SOS 7160 HAS SOPS 7160 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6480.16
AT ITER 656 NEW BEST:: SOT 16812 SOS 7152 HAS SOPS 7152 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6480.152
AT ITER 667 NEW BEST:: SOT 16783 SOS 7123 HAS SOPS 7123 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6422.123
AT ITER 669 NEW BEST:: SOT 16783 SOS 7132 HAS SOPS 7132 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6420.132
AT ITER 678 NEW BEST:: SOT 16782 SOS 7120 HAS SOPS 7120 HAS SOUS 6410 HAS SOUPS 6410 WITH SCORE 6417.12
AT ITER 682 NEW BEST:: SOT 16777 SOS 7112 HAS SOPS 7112 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6408.112
AT ITER 683 NEW BEST:: SOT 16777 SOS 7109 HAS SOPS 7109 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.109
AT ITER 686 NEW BEST:: SOT 16767 SOS 7080 HAS SOPS 7080 HAS SOUS 6389 HAS SOUPS 6389 WITH SCORE 6396.08
AT ITER 687 NEW BEST:: SOT 16751 SOS 7060 HAS SOPS 7060 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6376.06
AT ITER 702 NEW BEST:: SOT 16750 SOS 7056 HAS SOPS 7056 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6372.056
AT ITER 703 NEW BEST:: SOT 16753 SOS 7057 HAS SOPS 7057 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6370.057
AT ITER 704 NEW BEST:: SOT 16749 SOS 7053 HAS SOPS 7053 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6366.053
AT ITER 707 NEW BEST:: SOT 16727 SOS 7023 HAS SOPS 7023 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6347.023
AT ITER 709 NEW BEST:: SOT 16709 SOS 6994 HAS SOPS 6994 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6314.994
AT ITER 711 NEW BEST:: SOT 16707 SOS 6991 HAS SOPS 6991 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6311.991
AT ITER 717 NEW BEST:: SOT 16661 SOS 6937 HAS SOPS 6937 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6254.937
AT ITER 728 NEW BEST:: SOT 16649 SOS 6922 HAS SOPS 6922 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6240.922
AT ITER 740 NEW BEST:: SOT 16648 SOS 6919 HAS SOPS 6919 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6239.919
AT ITER 751 NEW BEST:: SOT 16612 SOS 6836 HAS SOPS 6836 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6161.836
AT ITER 767 NEW BEST:: SOT 16610 SOS 6836 HAS SOPS 6836 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6159.836
AT ITER 782 NEW BEST:: SOT 16604 SOS 6785 HAS SOPS 6785 HAS SOUS 6112 HAS SOUPS 6112 WITH SCORE 6118.785
AT ITER 804 NEW BEST:: SOT 16548 SOS 6685 HAS SOPS 6685 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6015.685
AT ITER 818 NEW BEST:: SOT 16534 SOS 6671 HAS SOPS 6671 HAS SOUS 5995 HAS SOUPS 5995 WITH SCORE 6001.671
AT ITER 852 NEW BEST:: SOT 16496 SOS 6564 HAS SOPS 6564 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5917.564
AT ITER 889 NEW BEST:: SOT 16490 SOS 6566 HAS SOPS 6566 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5914.566
AT ITER 899 NEW BEST:: SOT 16486 SOS 6562 HAS SOPS 6562 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5904.562
AT ITER 907 NEW BEST:: SOT 16460 SOS 6536 HAS SOPS 6536 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5878.536
AT ITER 926 NEW BEST:: SOT 16460 SOS 6540 HAS SOPS 6540 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5874.54
AT ITER 929 NEW BEST:: SOT 16438 SOS 6475 HAS SOPS 6475 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5835.475
AT ITER 931 NEW BEST:: SOT 16438 SOS 6454 HAS SOPS 6454 HAS SOUS 5812 HAS SOUPS 5812 WITH SCORE 5818.454
AT ITER 937 NEW BEST:: SOT 16426 SOS 6442 HAS SOPS 6442 HAS SOUS 5800 HAS SOUPS 5800 WITH SCORE 5806.442
AT ITER 952 NEW BEST:: SOT 16427 SOS 6449 HAS SOPS 6449 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5804.449
AT ITER 987 NEW BEST:: SOT 16426 SOS 6445 HAS SOPS 6445 HAS SOUS 5795 HAS SOUPS 5795 WITH SCORE 5801.445
AT ITER 991 NEW BEST:: SOT 16399 SOS 6386 HAS SOPS 6386 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5754.386
AT ITER 1000 NEW BEST:: SOT 16397 SOS 6381 HAS SOPS 6381 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5749.381
AT ITER 1003 NEW BEST:: SOT 16393 SOS 6365 HAS SOPS 6365 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5743.365
AT ITER 1044 NEW BEST:: SOT 16383 SOS 6335 HAS SOPS 6335 HAS SOUS 5707 HAS SOUPS 5707 WITH SCORE 5713.335
AT ITER 1047 NEW BEST:: SOT 16353 SOS 6300 HAS SOPS 6300 HAS SOUS 5672 HAS SOUPS 5672 WITH SCORE 5678.3
AT ITER 1048 NEW BEST:: SOT 16353 SOS 6285 HAS SOPS 6285 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5666.285
AT ITER 1050 NEW BEST:: SOT 16350 SOS 6298 HAS SOPS 6298 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5661.298
AT ITER 1054 NEW BEST:: SOT 16347 SOS 6286 HAS SOPS 6286 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5655.286
AT ITER 1067 NEW BEST:: SOT 16346 SOS 6284 HAS SOPS 6284 HAS SOUS 5647 HAS SOUPS 5647 WITH SCORE 5653.284
AT ITER 1068 NEW BEST:: SOT 16330 SOS 6253 HAS SOPS 6253 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5634.253
AT ITER 1080 NEW BEST:: SOT 16302 SOS 6201 HAS SOPS 6201 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5585.201
AT ITER 1089 NEW BEST:: SOT 16287 SOS 6204 HAS SOPS 6204 HAS SOUS 5545 HAS SOUPS 5545 WITH SCORE 5551.204
AT ITER 1120 NEW BEST:: SOT 16283 SOS 6196 HAS SOPS 6196 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5543.196
AT ITER 1137 NEW BEST:: SOT 16243 SOS 6156 HAS SOPS 6156 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5503.156
AT ITER 1143 NEW BEST:: SOT 16152 SOS 6021 HAS SOPS 6021 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5343.021
AT ITER 1151 NEW BEST:: SOT 16125 SOS 5957 HAS SOPS 5957 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5291.957
AT ITER 1171 NEW BEST:: SOT 16117 SOS 5915 HAS SOPS 5915 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5265.915
AT ITER 1186 NEW BEST:: SOT 16113 SOS 5899 HAS SOPS 5899 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.899
AT ITER 1194 NEW BEST:: SOT 16112 SOS 5895 HAS SOPS 5895 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5252.895
AT ITER 1196 NEW BEST:: SOT 16115 SOS 5868 HAS SOPS 5868 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5248.868
AT ITER 1197 NEW BEST:: SOT 16115 SOS 5868 HAS SOPS 5868 HAS SOUS 5242 HAS SOUPS 5242 WITH SCORE 5247.868
AT ITER 1211 NEW BEST:: SOT 16113 SOS 5856 HAS SOPS 5856 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5237.856
AT ITER 1223 NEW BEST:: SOT 16109 SOS 5848 HAS SOPS 5848 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5229.848
AT ITER 1241 NEW BEST:: SOT 16084 SOS 5811 HAS SOPS 5811 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5194.811
AT ITER 1255 NEW BEST:: SOT 16084 SOS 5808 HAS SOPS 5808 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5191.808
AT ITER 1260 NEW BEST:: SOT 16073 SOS 5797 HAS SOPS 5797 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5135.797
AT ITER 1313 NEW BEST:: SOT 16069 SOS 5787 HAS SOPS 5787 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5127.787
AT ITER 1337 NEW BEST:: SOT 16069 SOS 5814 HAS SOPS 5814 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5123.814
AT ITER 1342 NEW BEST:: SOT 16057 SOS 5794 HAS SOPS 5794 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5107.794
AT ITER 1365 NEW BEST:: SOT 16045 SOS 5770 HAS SOPS 5770 HAS SOUS 5082 HAS SOUPS 5082 WITH SCORE 5087.77
AT ITER 1376 NEW BEST:: SOT 16037 SOS 5762 HAS SOPS 5762 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5079.762
AT ITER 1378 NEW BEST:: SOT 16012 SOS 5716 HAS SOPS 5716 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5047.716
AT ITER 1401 NEW BEST:: SOT 15994 SOS 5690 HAS SOPS 5690 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5036.69
AT ITER 1412 NEW BEST:: SOT 15978 SOS 5666 HAS SOPS 5666 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5012.666
AT ITER 1438 NEW BEST:: SOT 15982 SOS 5727 HAS SOPS 5727 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5008.727
AT ITER 1441 NEW BEST:: SOT 15982 SOS 5715 HAS SOPS 5715 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5002.715
AT ITER 1485 NEW BEST:: SOT 15970 SOS 5683 HAS SOPS 5683 HAS SOUS 4965 HAS SOUPS 4965 WITH SCORE 4970.683
AT ITER 1498 NEW BEST:: SOT 15949 SOS 5628 HAS SOPS 5628 HAS SOUS 4937 HAS SOUPS 4937 WITH SCORE 4942.628
AT ITER 1507 NEW BEST:: SOT 15933 SOS 5596 HAS SOPS 5596 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4913.596
AT ITER 1550 NEW BEST:: SOT 15931 SOS 5588 HAS SOPS 5588 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4907.588
AT ITER 1573 NEW BEST:: SOT 15931 SOS 5579 HAS SOPS 5579 HAS SOUS 4890 HAS SOUPS 4890 WITH SCORE 4895.579
AT ITER 1583 NEW BEST:: SOT 15890 SOS 5513 HAS SOPS 5513 HAS SOUS 4839 HAS SOUPS 4839 WITH SCORE 4844.513
AT ITER 1585 NEW BEST:: SOT 15885 SOS 5508 HAS SOPS 5508 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.508
AT ITER 1603 NEW BEST:: SOT 15882 SOS 5504 HAS SOPS 5504 HAS SOUS 4825 HAS SOUPS 4825 WITH SCORE 4830.504
AT ITER 1611 NEW BEST:: SOT 15882 SOS 5484 HAS SOPS 5484 HAS SOUS 4813 HAS SOUPS 4813 WITH SCORE 4818.484
AT ITER 1622 NEW BEST:: SOT 15852 SOS 5452 HAS SOPS 5452 HAS SOUS 4793 HAS SOUPS 4793 WITH SCORE 4798.452
AT ITER 1630 NEW BEST:: SOT 15854 SOS 5444 HAS SOPS 5444 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4790.444
AT ITER 1645 NEW BEST:: SOT 15850 SOS 5440 HAS SOPS 5440 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4786.44
AT ITER 1650 NEW BEST:: SOT 15840 SOS 5430 HAS SOPS 5430 HAS SOUS 4771 HAS SOUPS 4771 WITH SCORE 4776.43
AT ITER 1684 NEW BEST:: SOT 15834 SOS 5404 HAS SOPS 5404 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4762.404
AT ITER 1700 NEW BEST:: SOT 15831 SOS 5392 HAS SOPS 5392 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.392
AT ITER 1704 NEW BEST:: SOT 15818 SOS 5379 HAS SOPS 5379 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.379
AT ITER 1721 NEW BEST:: SOT 15818 SOS 5376 HAS SOPS 5376 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4756.376
AT ITER 1734 NEW BEST:: SOT 15815 SOS 5373 HAS SOPS 5373 HAS SOUS 4744 HAS SOUPS 4744 WITH SCORE 4749.373
AT ITER 1745 NEW BEST:: SOT 15808 SOS 5351 HAS SOPS 5351 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4727.351
AT ITER 1747 NEW BEST:: SOT 15796 SOS 5341 HAS SOPS 5341 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4717.341
AT ITER 1778 NEW BEST:: SOT 15796 SOS 5341 HAS SOPS 5341 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4715.341
AT ITER 1784 NEW BEST:: SOT 15783 SOS 5319 HAS SOPS 5319 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4693.319
AT ITER 1803 NEW BEST:: SOT 15779 SOS 5313 HAS SOPS 5313 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.313
AT ITER 1804 NEW BEST:: SOT 15741 SOS 5274 HAS SOPS 5274 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4648.274
AT ITER 1809 NEW BEST:: SOT 15705 SOS 5236 HAS SOPS 5236 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4586.236
AT ITER 1815 NEW BEST:: SOT 15701 SOS 5216 HAS SOPS 5216 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.216
AT ITER 1875 NEW BEST:: SOT 15692 SOS 5201 HAS SOPS 5201 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4560.201
AT ITER 1934 NEW BEST:: SOT 15692 SOS 5210 HAS SOPS 5210 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4556.21
AT ITER 1947 NEW BEST:: SOT 15683 SOS 5182 HAS SOPS 5182 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4542.182
AT ITER 1978 NEW BEST:: SOT 15678 SOS 5171 HAS SOPS 5171 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.171
AT ITER 1985 NEW BEST:: SOT 15674 SOS 5159 HAS SOPS 5159 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4515.159
AT ITER 2011 NEW BEST:: SOT 15673 SOS 5158 HAS SOPS 5158 HAS SOUS 4507 HAS SOUPS 4507 WITH SCORE 4512.158
AT ITER 2025 NEW BEST:: SOT 15666 SOS 5151 HAS SOPS 5151 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4505.151
AT ITER 2041 NEW BEST:: SOT 15650 SOS 5127 HAS SOPS 5127 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4485.127
AT ITER 2067 NEW BEST:: SOT 15641 SOS 5118 HAS SOPS 5118 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4461.118
AT ITER 2095 NEW BEST:: SOT 15606 SOS 5064 HAS SOPS 5064 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4412.064
AT ITER 2116 NEW BEST:: SOT 15591 SOS 5032 HAS SOPS 5032 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4380.032
AT ITER 2118 NEW BEST:: SOT 15584 SOS 5022 HAS SOPS 5022 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4376.022
AT ITER 2169 NEW BEST:: SOT 15576 SOS 5013 HAS SOPS 5013 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4367.013
AT ITER 2175 NEW BEST:: SOT 15573 SOS 5002 HAS SOPS 5002 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4363.002
AT ITER 2206 NEW BEST:: SOT 15543 SOS 4884 HAS SOPS 4884 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4310.884
AT ITER 2228 NEW BEST:: SOT 15542 SOS 4881 HAS SOPS 4881 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.881
AT ITER 2237 NEW BEST:: SOT 15542 SOS 4898 HAS SOPS 4898 HAS SOUS 4302 HAS SOUPS 4302 WITH SCORE 4306.898
AT ITER 2240 NEW BEST:: SOT 15544 SOS 4898 HAS SOPS 4898 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4304.898
AT ITER 2278 NEW BEST:: SOT 15550 SOS 4895 HAS SOPS 4895 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4304.895
AT ITER 2310 NEW BEST:: SOT 15550 SOS 4889 HAS SOPS 4889 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4304.889
AT ITER 2362 NEW BEST:: SOT 15542 SOS 4874 HAS SOPS 4874 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4289.874
AT ITER 2373 NEW BEST:: SOT 15524 SOS 4844 HAS SOPS 4844 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4268.844
AT ITER 2380 NEW BEST:: SOT 15521 SOS 4819 HAS SOPS 4819 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4249.819
AT ITER 2388 NEW BEST:: SOT 15519 SOS 4815 HAS SOPS 4815 HAS SOUS 4242 HAS SOUPS 4242 WITH SCORE 4246.815
AT ITER 2416 NEW BEST:: SOT 15510 SOS 4808 HAS SOPS 4808 HAS SOUS 4234 HAS SOUPS 4234 WITH SCORE 4238.808
AT ITER 2441 NEW BEST:: SOT 15493 SOS 4798 HAS SOPS 4798 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.798
AT ITER 2449 NEW BEST:: SOT 15481 SOS 4753 HAS SOPS 4753 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4161.753
AT ITER 2465 NEW BEST:: SOT 15473 SOS 4741 HAS SOPS 4741 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4153.741
AT ITER 2489 NEW BEST:: SOT 15471 SOS 4735 HAS SOPS 4735 HAS SOUS 4144 HAS SOUPS 4144 WITH SCORE 4148.735
AT ITER 2494 NEW BEST:: SOT 15455 SOS 4723 HAS SOPS 4723 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4143.723
AT ITER 2519 NEW BEST:: SOT 15449 SOS 4711 HAS SOPS 4711 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4133.711
AT ITER 2520 NEW BEST:: SOT 15447 SOS 4709 HAS SOPS 4709 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4130.709
AT ITER 2521 NEW BEST:: SOT 15424 SOS 4684 HAS SOPS 4684 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.684
AT ITER 2527 NEW BEST:: SOT 15420 SOS 4674 HAS SOPS 4674 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4097.674
AT ITER 2528 NEW BEST:: SOT 15420 SOS 4674 HAS SOPS 4674 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4096.674
AT ITER 2566 NEW BEST:: SOT 15418 SOS 4670 HAS SOPS 4670 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4094.67
AT ITER 2581 NEW BEST:: SOT 15415 SOS 4664 HAS SOPS 4664 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4088.664
AT ITER 2589 NEW BEST:: SOT 15395 SOS 4636 HAS SOPS 4636 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4066.636
AT ITER 2613 NEW BEST:: SOT 15387 SOS 4631 HAS SOPS 4631 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4058.631
AT ITER 2630 NEW BEST:: SOT 15384 SOS 4627 HAS SOPS 4627 HAS SOUS 4050 HAS SOUPS 4050 WITH SCORE 4054.627
AT ITER 2677 NEW BEST:: SOT 15381 SOS 4624 HAS SOPS 4624 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.624
AT ITER 2685 NEW BEST:: SOT 15379 SOS 4621 HAS SOPS 4621 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4048.621
AT ITER 2687 NEW BEST:: SOT 15376 SOS 4614 HAS SOPS 4614 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4041.614
AT ITER 2719 NEW BEST:: SOT 15356 SOS 4602 HAS SOPS 4602 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.602
AT ITER 2724 NEW BEST:: SOT 15348 SOS 4581 HAS SOPS 4581 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4025.581
AT ITER 2737 NEW BEST:: SOT 15336 SOS 4557 HAS SOPS 4557 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4007.557
AT ITER 2759 NEW BEST:: SOT 15335 SOS 4554 HAS SOPS 4554 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4006.554
AT ITER 2788 NEW BEST:: SOT 15333 SOS 4565 HAS SOPS 4565 HAS SOUS 4001 HAS SOUPS 4001 WITH SCORE 4005.565
AT ITER 2802 NEW BEST:: SOT 15337 SOS 4565 HAS SOPS 4565 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4002.565
AT ITER 2814 NEW BEST:: SOT 15333 SOS 4556 HAS SOPS 4556 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.556
AT ITER 2866 NEW BEST:: SOT 15333 SOS 4544 HAS SOPS 4544 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.544
AT ITER 2906 NEW BEST:: SOT 15327 SOS 4530 HAS SOPS 4530 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3966.53
AT ITER 2923 NEW BEST:: SOT 15334 SOS 4525 HAS SOPS 4525 HAS SOUS 3961 HAS SOUPS 3961 WITH SCORE 3965.525
AT ITER 2988 NEW BEST:: SOT 15336 SOS 4545 HAS SOPS 4545 HAS SOUS 3952 HAS SOUPS 3952 WITH SCORE 3956.545
AT ITER 3035 NEW BEST:: SOT 15332 SOS 4539 HAS SOPS 4539 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3951.539
AT ITER 3044 NEW BEST:: SOT 15324 SOS 4527 HAS SOPS 4527 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3939.527
AT ITER 3082 NEW BEST:: SOT 15320 SOS 4523 HAS SOPS 4523 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.523
AT ITER 3167 NEW BEST:: SOT 15320 SOS 4502 HAS SOPS 4502 HAS SOUS 3924 HAS SOUPS 3924 WITH SCORE 3928.502
AT ITER 3181 NEW BEST:: SOT 15305 SOS 4476 HAS SOPS 4476 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3908.476
AT ITER 3227 NEW BEST:: SOT 15305 SOS 4476 HAS SOPS 4476 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.476
AT ITER 3231 NEW BEST:: SOT 15304 SOS 4471 HAS SOPS 4471 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3901.471
AT ITER 3250 NEW BEST:: SOT 15303 SOS 4470 HAS SOPS 4470 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.47
AT ITER 3358 NEW BEST:: SOT 15308 SOS 4473 HAS SOPS 4473 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3898.473
AT ITER 3402 NEW BEST:: SOT 15307 SOS 4471 HAS SOPS 4471 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3896.471
AT ITER 3442 NEW BEST:: SOT 15309 SOS 4470 HAS SOPS 4470 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3895.47
AT ITER 3463 NEW BEST:: SOT 15305 SOS 4454 HAS SOPS 4454 HAS SOUS 3879 HAS SOUPS 3879 WITH SCORE 3883.454
AT ITER 3491 NEW BEST:: SOT 15304 SOS 4453 HAS SOPS 4453 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.453
AT ITER 3509 NEW BEST:: SOT 15304 SOS 4450 HAS SOPS 4450 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3881.45
AT ITER 3526 NEW BEST:: SOT 15303 SOS 4449 HAS SOPS 4449 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3880.449
AT ITER 3542 NEW BEST:: SOT 15291 SOS 4429 HAS SOPS 4429 HAS SOUS 3864 HAS SOUPS 3864 WITH SCORE 3868.429
AT ITER 3646 NEW BEST:: SOT 15281 SOS 4412 HAS SOPS 4412 HAS SOUS 3851 HAS SOUPS 3851 WITH SCORE 3855.412
AT ITER 3678 NEW BEST:: SOT 15279 SOS 4406 HAS SOPS 4406 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3834.406
AT ITER 3683 NEW BEST:: SOT 15279 SOS 4406 HAS SOPS 4406 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.406
AT ITER 3733 NEW BEST:: SOT 15277 SOS 4399 HAS SOPS 4399 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.399
AT ITER 3741 NEW BEST:: SOT 15277 SOS 4397 HAS SOPS 4397 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3825.397
AT ITER 3762 NEW BEST:: SOT 15274 SOS 4396 HAS SOPS 4396 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3819.396
AT ITER 3776 NEW BEST:: SOT 15271 SOS 4389 HAS SOPS 4389 HAS SOUS 3810 HAS SOUPS 3810 WITH SCORE 3814.389
AT ITER 3820 NEW BEST:: SOT 15269 SOS 4385 HAS SOPS 4385 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3812.385
AT ITER 3843 NEW BEST:: SOT 15267 SOS 4378 HAS SOPS 4378 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.378
AT ITER 3865 NEW BEST:: SOT 15267 SOS 4372 HAS SOPS 4372 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3808.372
AT ITER 3889 NEW BEST:: SOT 15267 SOS 4368 HAS SOPS 4368 HAS SOUS 3803 HAS SOUPS 3803 WITH SCORE 3807.368
AT ITER 3906 NEW BEST:: SOT 15262 SOS 4350 HAS SOPS 4350 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3790.35
AT ITER 3911 NEW BEST:: SOT 15259 SOS 4347 HAS SOPS 4347 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.347
AT ITER 3913 NEW BEST:: SOT 15259 SOS 4346 HAS SOPS 4346 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.346
AT ITER 3965 NEW BEST:: SOT 15259 SOS 4336 HAS SOPS 4336 HAS SOUS 3783 HAS SOUPS 3783 WITH SCORE 3787.336
AT ITER 4040 NEW BEST:: SOT 15255 SOS 4334 HAS SOPS 4334 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3785.334
AT ITER 4050 NEW BEST:: SOT 15247 SOS 4322 HAS SOPS 4322 HAS SOUS 3769 HAS SOUPS 3769 WITH SCORE 3773.322
AT ITER 4117 NEW BEST:: SOT 15247 SOS 4324 HAS SOPS 4324 HAS SOUS 3768 HAS SOUPS 3768 WITH SCORE 3772.324
AT ITER 4253 NEW BEST:: SOT 15248 SOS 4328 HAS SOPS 4328 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.328
AT ITER 4273 NEW BEST:: SOT 15243 SOS 4318 HAS SOPS 4318 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3759.318
AT ITER 4287 NEW BEST:: SOT 15243 SOS 4317 HAS SOPS 4317 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3758.317
AT ITER 4302 NEW BEST:: SOT 15241 SOS 4310 HAS SOPS 4310 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3753.31
AT ITER 4418 NEW BEST:: SOT 15243 SOS 4307 HAS SOPS 4307 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3753.307
AT ITER 4431 NEW BEST:: SOT 15242 SOS 4304 HAS SOPS 4304 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.304
AT ITER 4442 NEW BEST:: SOT 15224 SOS 4274 HAS SOPS 4274 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.274
AT ITER 4452 NEW BEST:: SOT 15221 SOS 4268 HAS SOPS 4268 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.268
AT ITER 4455 NEW BEST:: SOT 15213 SOS 4252 HAS SOPS 4252 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3726.252
AT ITER 4460 NEW BEST:: SOT 15207 SOS 4242 HAS SOPS 4242 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3719.242
AT ITER 4491 NEW BEST:: SOT 15207 SOS 4246 HAS SOPS 4246 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3716.246
AT ITER 4526 NEW BEST:: SOT 15203 SOS 4238 HAS SOPS 4238 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3708.238
AT ITER 4595 NEW BEST:: SOT 15199 SOS 4233 HAS SOPS 4233 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3703.233
AT ITER 4605 NEW BEST:: SOT 15199 SOS 4232 HAS SOPS 4232 HAS SOUS 3699 HAS SOUPS 3699 WITH SCORE 3703.232
AT ITER 4702 NEW BEST:: SOT 15196 SOS 4228 HAS SOPS 4228 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3702.228
AT ITER 4723 NEW BEST:: SOT 15196 SOS 4228 HAS SOPS 4228 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3699.228
AT ITER 4769 NEW BEST:: SOT 15187 SOS 4215 HAS SOPS 4215 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3683.215
AT ITER 4779 NEW BEST:: SOT 15187 SOS 4215 HAS SOPS 4215 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3679.215
AT ITER 4846 NEW BEST:: SOT 15187 SOS 4215 HAS SOPS 4215 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.215
AT ITER 4904 NEW BEST:: SOT 15175 SOS 4200 HAS SOPS 4200 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.2
AT ITER 4966 NEW BEST:: SOT 15175 SOS 4197 HAS SOPS 4197 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3655.197
AT ITER 5111 NEW BEST:: SOT 15170 SOS 4193 HAS SOPS 4193 HAS SOUS 3647 HAS SOUPS 3647 WITH SCORE 3651.193
AT ITER 5137 NEW BEST:: SOT 15164 SOS 4190 HAS SOPS 4190 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3648.19
AT ITER 5155 NEW BEST:: SOT 15164 SOS 4186 HAS SOPS 4186 HAS SOUS 3640 HAS SOUPS 3640 WITH SCORE 3644.186
AT ITER 5199 NEW BEST:: SOT 15157 SOS 4171 HAS SOPS 4171 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3633.171
AT ITER 5248 NEW BEST:: SOT 15152 SOS 4165 HAS SOPS 4165 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.165
AT ITER 5272 NEW BEST:: SOT 15146 SOS 4149 HAS SOPS 4149 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3617.149
AT ITER 5309 NEW BEST:: SOT 15141 SOS 4138 HAS SOPS 4138 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3601.138
AT ITER 5402 NEW BEST:: SOT 15130 SOS 4117 HAS SOPS 4117 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3585.117
AT ITER 5426 NEW BEST:: SOT 15126 SOS 4111 HAS SOPS 4111 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.111
AT ITER 5625 NEW BEST:: SOT 15119 SOS 4106 HAS SOPS 4106 HAS SOUS 3568 HAS SOUPS 3568 WITH SCORE 3572.106
AT ITER 5824 NEW BEST:: SOT 15111 SOS 4102 HAS SOPS 4102 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.102
AT ITER 5849 NEW BEST:: SOT 15105 SOS 4090 HAS SOPS 4090 HAS SOUS 3544 HAS SOUPS 3544 WITH SCORE 3548.09
AT ITER 5895 NEW BEST:: SOT 15102 SOS 4087 HAS SOPS 4087 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.087
AT ITER 5920 NEW BEST:: SOT 15102 SOS 4080 HAS SOPS 4080 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.08
AT ITER 5951 NEW BEST:: SOT 15094 SOS 4070 HAS SOPS 4070 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3535.07
AT ITER 6088 NEW BEST:: SOT 15090 SOS 4065 HAS SOPS 4065 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3531.065
AT ITER 6139 NEW BEST:: SOT 15081 SOS 4044 HAS SOPS 4044 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3519.044
AT ITER 6151 NEW BEST:: SOT 15074 SOS 4035 HAS SOPS 4035 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3508.035
AT ITER 6217 NEW BEST:: SOT 15071 SOS 4029 HAS SOPS 4029 HAS SOUS 3496 HAS SOUPS 3496 WITH SCORE 3500.029
AT ITER 6327 NEW BEST:: SOT 15071 SOS 4028 HAS SOPS 4028 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3499.028
AT ITER 6384 NEW BEST:: SOT 15068 SOS 4019 HAS SOPS 4019 HAS SOUS 3486 HAS SOUPS 3486 WITH SCORE 3490.019
AT ITER 6421 NEW BEST:: SOT 15066 SOS 4015 HAS SOPS 4015 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3486.015
AT ITER 6430 NEW BEST:: SOT 15067 SOS 4015 HAS SOPS 4015 HAS SOUS 3480 HAS SOUPS 3480 WITH SCORE 3484.015
AT ITER 6433 NEW BEST:: SOT 15063 SOS 4009 HAS SOPS 4009 HAS SOUS 3475 HAS SOUPS 3475 WITH SCORE 3479.009
AT ITER 6566 NEW BEST:: SOT 15049 SOS 3949 HAS SOPS 3949 HAS SOUS 3454 HAS SOUPS 3454 WITH SCORE 3457.949
AT ITER 6619 NEW BEST:: SOT 15046 SOS 3948 HAS SOPS 3948 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3454.948
AT ITER 6666 NEW BEST:: SOT 15051 SOS 3954 HAS SOPS 3954 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3453.954
AT ITER 6679 NEW BEST:: SOT 15050 SOS 3951 HAS SOPS 3951 HAS SOUS 3447 HAS SOUPS 3447 WITH SCORE 3450.951
AT ITER 6722 NEW BEST:: SOT 15045 SOS 3938 HAS SOPS 3938 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.938
AT ITER 6807 NEW BEST:: SOT 15045 SOS 3936 HAS SOPS 3936 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3442.936
AT ITER 6916 NEW BEST:: SOT 15042 SOS 3932 HAS SOPS 3932 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3438.932
AT ITER 6922 NEW BEST:: SOT 15039 SOS 3927 HAS SOPS 3927 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3434.927
AT ITER 6957 NEW BEST:: SOT 15028 SOS 3918 HAS SOPS 3918 HAS SOUS 3415 HAS SOUPS 3415 WITH SCORE 3418.918
AT ITER 6961 NEW BEST:: SOT 15021 SOS 3909 HAS SOPS 3909 HAS SOUS 3405 HAS SOUPS 3405 WITH SCORE 3408.909
AT ITER 6969 NEW BEST:: SOT 15024 SOS 3900 HAS SOPS 3900 HAS SOUS 3396 HAS SOUPS 3396 WITH SCORE 3399.9
AT ITER 7043 NEW BEST:: SOT 15020 SOS 3890 HAS SOPS 3890 HAS SOUS 3390 HAS SOUPS 3390 WITH SCORE 3393.89
AT ITER 7046 NEW BEST:: SOT 15016 SOS 3882 HAS SOPS 3882 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3389.882
AT ITER 7290 NEW BEST:: SOT 15013 SOS 3867 HAS SOPS 3867 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3380.867
AT ITER 7378 NEW BEST:: SOT 15012 SOS 3863 HAS SOPS 3863 HAS SOUS 3374 HAS SOUPS 3374 WITH SCORE 3377.863
AT ITER 7391 NEW BEST:: SOT 15009 SOS 3858 HAS SOPS 3858 HAS SOUS 3370 HAS SOUPS 3370 WITH SCORE 3373.858
AT ITER 7449 NEW BEST:: SOT 15005 SOS 3855 HAS SOPS 3855 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.855
AT ITER 7532 NEW BEST:: SOT 15004 SOS 3853 HAS SOPS 3853 HAS SOUS 3367 HAS SOUPS 3367 WITH SCORE 3370.853
AT ITER 7681 NEW BEST:: SOT 15001 SOS 3844 HAS SOPS 3844 HAS SOUS 3361 HAS SOUPS 3361 WITH SCORE 3364.844
AT ITER 7746 NEW BEST:: SOT 15001 SOS 3844 HAS SOPS 3844 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3358.844
AT ITER 7787 NEW BEST:: SOT 15001 SOS 3827 HAS SOPS 3827 HAS SOUS 3355 HAS SOUPS 3355 WITH SCORE 3358.827
AT ITER 7898 NEW BEST:: SOT 14999 SOS 3825 HAS SOPS 3825 HAS SOUS 3352 HAS SOUPS 3352 WITH SCORE 3355.825
AT ITER 7979 NEW BEST:: SOT 14986 SOS 3819 HAS SOPS 3819 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3349.819
AT ITER 8122 NEW BEST:: SOT 14985 SOS 3814 HAS SOPS 3814 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3347.814
AT ITER 8164 NEW BEST:: SOT 14985 SOS 3806 HAS SOPS 3806 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3347.806
AT ITER 8271 NEW BEST:: SOT 14984 SOS 3805 HAS SOPS 3805 HAS SOUS 3341 HAS SOUPS 3341 WITH SCORE 3344.805
AT ITER 8311 NEW BEST:: SOT 14973 SOS 3794 HAS SOPS 3794 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.794
AT ITER 8380 NEW BEST:: SOT 14973 SOS 3794 HAS SOPS 3794 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3332.794
AT ITER 8441 NEW BEST:: SOT 14970 SOS 3788 HAS SOPS 3788 HAS SOUS 3324 HAS SOUPS 3324 WITH SCORE 3327.788
AT ITER 8452 NEW BEST:: SOT 14971 SOS 3773 HAS SOPS 3773 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3321.773
AT ITER 8506 NEW BEST:: SOT 14971 SOS 3771 HAS SOPS 3771 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.771
AT ITER 8548 NEW BEST:: SOT 14971 SOS 3771 HAS SOPS 3771 HAS SOUS 3314 HAS SOUPS 3314 WITH SCORE 3317.771
AT ITER 8670 NEW BEST:: SOT 14967 SOS 3766 HAS SOPS 3766 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3312.766
AT ITER 8691 NEW BEST:: SOT 14953 SOS 3751 HAS SOPS 3751 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.751
AT ITER 8762 NEW BEST:: SOT 14953 SOS 3750 HAS SOPS 3750 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.75
AT ITER 8766 NEW BEST:: SOT 14951 SOS 3748 HAS SOPS 3748 HAS SOUS 3294 HAS SOUPS 3294 WITH SCORE 3297.748
AT ITER 8796 NEW BEST:: SOT 14946 SOS 3741 HAS SOPS 3741 HAS SOUS 3289 HAS SOUPS 3289 WITH SCORE 3292.741
AT ITER 8851 NEW BEST:: SOT 14938 SOS 3734 HAS SOPS 3734 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3283.734
AT ITER 8919 NEW BEST:: SOT 14937 SOS 3727 HAS SOPS 3727 HAS SOUS 3276 HAS SOUPS 3276 WITH SCORE 3279.727
AT ITER 9052 NEW BEST:: SOT 14936 SOS 3725 HAS SOPS 3725 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.725
AT ITER 9253 NEW BEST:: SOT 14936 SOS 3725 HAS SOPS 3725 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3276.725
AT ITER 9265 NEW BEST:: SOT 14925 SOS 3721 HAS SOPS 3721 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3274.721
AT ITER 9267 NEW BEST:: SOT 14922 SOS 3717 HAS SOPS 3717 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3271.717
AT ITER 9400 NEW BEST:: SOT 14921 SOS 3716 HAS SOPS 3716 HAS SOUS 3267 HAS SOUPS 3267 WITH SCORE 3270.716
AT ITER 9406 NEW BEST:: SOT 14919 SOS 3712 HAS SOPS 3712 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.712
AT ITER 9526 NEW BEST:: SOT 14918 SOS 3711 HAS SOPS 3711 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3265.711
AT ITER 9529 NEW BEST:: SOT 14918 SOS 3692 HAS SOPS 3692 HAS SOUS 3256 HAS SOUPS 3256 WITH SCORE 3259.692
AT ITER 9565 NEW BEST:: SOT 14917 SOS 3681 HAS SOPS 3681 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.681
AT ITER 9669 NEW BEST:: SOT 14916 SOS 3677 HAS SOPS 3677 HAS SOUS 3251 HAS SOUPS 3251 WITH SCORE 3254.677
AT ITER 9759 NEW BEST:: SOT 14916 SOS 3682 HAS SOPS 3682 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3249.682
AT ITER 9814 NEW BEST:: SOT 14914 SOS 3680 HAS SOPS 3680 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.68
AT ITER 9867 NEW BEST:: SOT 14911 SOS 3673 HAS SOPS 3673 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.673
AT ITER 9876 NEW BEST:: SOT 14910 SOS 3668 HAS SOPS 3668 HAS SOUS 3237 HAS SOUPS 3237 WITH SCORE 3240.668
AT ITER 9911 NEW BEST:: SOT 14916 SOS 3688 HAS SOPS 3688 HAS SOUS 3217 HAS SOUPS 3217 WITH SCORE 3220.688
STATE_SPACE STATES 2417851639229258349412353 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 81 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 129052831243861664399884289 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679383608811

--------------------
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="ShieldRVt-PT-020A"
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 ShieldRVt-PT-020A, 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 r427-tajo-167905979500280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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