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.r203-smll-167840349100136.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 GPUForwardProgress-PT-36a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 7.5K Feb 25 14:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 25 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 14:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 14:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 56K Mar 5 18:22 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 1678547793872

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=GPUForwardProgress-PT-36a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 15:16:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 15:16:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 15:16:36] [INFO ] Load time of PNML (sax parser for PT used): 112 ms
[2023-03-11 15:16:37] [INFO ] Transformed 152 places.
[2023-03-11 15:16:37] [INFO ] Transformed 189 transitions.
[2023-03-11 15:16:37] [INFO ] Found NUPN structural information;
[2023-03-11 15:16:37] [INFO ] Parsed PT model containing 152 places and 189 transitions and 741 arcs in 222 ms.
[2023-03-11 15:16:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 152 places, 189 transitions and 741 arcs took 11 ms.
Total runtime 282 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 36a
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: 152 places, 189 transitions, 741 arcs.
AT ITER 0 NEW BEST:: SOT 18732 SOS 16252 HAS SOPS 16250 HAS SOUS 12119 HAS SOUPS 12118 WITH SCORE 12134.252
AT ITER 1 NEW BEST:: SOT 18708 SOS 16144 HAS SOPS 16142 HAS SOUS 12062 HAS SOUPS 12061 WITH SCORE 12077.144
AT ITER 3 NEW BEST:: SOT 18794 SOS 16140 HAS SOPS 16138 HAS SOUS 12005 HAS SOUPS 12004 WITH SCORE 12020.14
AT ITER 9 NEW BEST:: SOT 18746 SOS 16044 HAS SOPS 16042 HAS SOUS 11957 HAS SOUPS 11956 WITH SCORE 11972.044
AT ITER 13 NEW BEST:: SOT 18828 SOS 15977 HAS SOPS 15975 HAS SOUS 11821 HAS SOUPS 11820 WITH SCORE 11835.977
AT ITER 16 NEW BEST:: SOT 18856 SOS 15997 HAS SOPS 15995 HAS SOUS 11813 HAS SOUPS 11812 WITH SCORE 11827.997
AT ITER 17 NEW BEST:: SOT 18892 SOS 15916 HAS SOPS 15914 HAS SOUS 11670 HAS SOUPS 11669 WITH SCORE 11684.916
AT ITER 18 NEW BEST:: SOT 19023 SOS 15874 HAS SOPS 15872 HAS SOUS 11539 HAS SOUPS 11538 WITH SCORE 11553.874
AT ITER 19 NEW BEST:: SOT 19103 SOS 15906 HAS SOPS 15904 HAS SOUS 11522 HAS SOUPS 11521 WITH SCORE 11536.906
AT ITER 21 NEW BEST:: SOT 19158 SOS 15778 HAS SOPS 15776 HAS SOUS 11345 HAS SOUPS 11344 WITH SCORE 11359.778
AT ITER 22 NEW BEST:: SOT 19148 SOS 15758 HAS SOPS 15756 HAS SOUS 11335 HAS SOUPS 11334 WITH SCORE 11349.758
AT ITER 23 NEW BEST:: SOT 19182 SOS 15626 HAS SOPS 15624 HAS SOUS 11200 HAS SOUPS 11199 WITH SCORE 11214.626
AT ITER 28 NEW BEST:: SOT 19180 SOS 15618 HAS SOPS 15616 HAS SOUS 11194 HAS SOUPS 11193 WITH SCORE 11208.618
AT ITER 29 NEW BEST:: SOT 19110 SOS 15440 HAS SOPS 15438 HAS SOUS 11086 HAS SOUPS 11085 WITH SCORE 11100.44
AT ITER 30 NEW BEST:: SOT 19025 SOS 15387 HAS SOPS 15385 HAS SOUS 10995 HAS SOUPS 10994 WITH SCORE 11009.387
AT ITER 31 NEW BEST:: SOT 19115 SOS 15399 HAS SOPS 15397 HAS SOUS 10960 HAS SOUPS 10959 WITH SCORE 10974.399
AT ITER 32 NEW BEST:: SOT 19140 SOS 15251 HAS SOPS 15249 HAS SOUS 10713 HAS SOUPS 10712 WITH SCORE 10727.251
AT ITER 36 NEW BEST:: SOT 19104 SOS 15215 HAS SOPS 15213 HAS SOUS 10677 HAS SOUPS 10676 WITH SCORE 10691.215
AT ITER 40 NEW BEST:: SOT 19104 SOS 15161 HAS SOPS 15159 HAS SOUS 10623 HAS SOUPS 10622 WITH SCORE 10637.161
AT ITER 42 NEW BEST:: SOT 19163 SOS 15188 HAS SOPS 15186 HAS SOUS 10606 HAS SOUPS 10605 WITH SCORE 10620.188
AT ITER 44 NEW BEST:: SOT 19249 SOS 15117 HAS SOPS 15115 HAS SOUS 10448 HAS SOUPS 10447 WITH SCORE 10462.117
AT ITER 46 NEW BEST:: SOT 19290 SOS 14983 HAS SOPS 14981 HAS SOUS 10306 HAS SOUPS 10305 WITH SCORE 10319.983
AT ITER 49 NEW BEST:: SOT 19278 SOS 14977 HAS SOPS 14975 HAS SOUS 10306 HAS SOUPS 10305 WITH SCORE 10319.977
AT ITER 50 NEW BEST:: SOT 19278 SOS 14958 HAS SOPS 14956 HAS SOUS 10287 HAS SOUPS 10286 WITH SCORE 10300.958
AT ITER 56 NEW BEST:: SOT 19298 SOS 14952 HAS SOPS 14950 HAS SOUS 10261 HAS SOUPS 10260 WITH SCORE 10274.952
AT ITER 57 NEW BEST:: SOT 19228 SOS 14775 HAS SOPS 14773 HAS SOUS 10154 HAS SOUPS 10153 WITH SCORE 10167.775
AT ITER 59 NEW BEST:: SOT 19224 SOS 14102 HAS SOPS 14100 HAS SOUS 10054 HAS SOUPS 10053 WITH SCORE 10067.102
AT ITER 61 NEW BEST:: SOT 19218 SOS 14096 HAS SOPS 14094 HAS SOUS 10048 HAS SOUPS 10047 WITH SCORE 10061.096
AT ITER 62 NEW BEST:: SOT 19218 SOS 14096 HAS SOPS 14094 HAS SOUS 10047 HAS SOUPS 10046 WITH SCORE 10060.096
AT ITER 70 NEW BEST:: SOT 19218 SOS 13966 HAS SOPS 13964 HAS SOUS 10047 HAS SOUPS 10046 WITH SCORE 10059.966
AT ITER 71 NEW BEST:: SOT 19422 SOS 13841 HAS SOPS 13839 HAS SOUS 9978 HAS SOUPS 9977 WITH SCORE 9990.841
AT ITER 72 NEW BEST:: SOT 19466 SOS 13885 HAS SOPS 13883 HAS SOUS 9937 HAS SOUPS 9936 WITH SCORE 9949.885
AT ITER 74 NEW BEST:: SOT 19441 SOS 13860 HAS SOPS 13858 HAS SOUS 9926 HAS SOUPS 9925 WITH SCORE 9938.86
AT ITER 78 NEW BEST:: SOT 19409 SOS 13521 HAS SOPS 13519 HAS SOUS 9697 HAS SOUPS 9696 WITH SCORE 9709.521
AT ITER 79 NEW BEST:: SOT 19413 SOS 13455 HAS SOPS 13453 HAS SOUS 9642 HAS SOUPS 9641 WITH SCORE 9654.455
AT ITER 85 NEW BEST:: SOT 19433 SOS 13354 HAS SOPS 13352 HAS SOUS 9572 HAS SOUPS 9571 WITH SCORE 9584.354
AT ITER 86 NEW BEST:: SOT 19518 SOS 13450 HAS SOPS 13448 HAS SOUS 9518 HAS SOUPS 9517 WITH SCORE 9530.45
AT ITER 88 NEW BEST:: SOT 19518 SOS 13450 HAS SOPS 13448 HAS SOUS 9502 HAS SOUPS 9501 WITH SCORE 9514.45
AT ITER 91 NEW BEST:: SOT 19444 SOS 13302 HAS SOPS 13300 HAS SOUS 9307 HAS SOUPS 9306 WITH SCORE 9319.302
AT ITER 92 NEW BEST:: SOT 19439 SOS 13297 HAS SOPS 13295 HAS SOUS 9307 HAS SOUPS 9306 WITH SCORE 9319.297
AT ITER 94 NEW BEST:: SOT 19465 SOS 13145 HAS SOPS 13143 HAS SOUS 9103 HAS SOUPS 9102 WITH SCORE 9115.145
AT ITER 95 NEW BEST:: SOT 19379 SOS 12795 HAS SOPS 12793 HAS SOUS 8802 HAS SOUPS 8801 WITH SCORE 8813.795
AT ITER 97 NEW BEST:: SOT 19234 SOS 12412 HAS SOPS 12410 HAS SOUS 8428 HAS SOUPS 8427 WITH SCORE 8439.412
AT ITER 98 NEW BEST:: SOT 19234 SOS 12412 HAS SOPS 12410 HAS SOUS 8399 HAS SOUPS 8398 WITH SCORE 8410.412
AT ITER 101 NEW BEST:: SOT 19207 SOS 12331 HAS SOPS 12329 HAS SOUS 8322 HAS SOUPS 8321 WITH SCORE 8333.331
AT ITER 102 NEW BEST:: SOT 19207 SOS 11854 HAS SOPS 11852 HAS SOUS 7922 HAS SOUPS 7921 WITH SCORE 7932.854
AT ITER 108 NEW BEST:: SOT 19207 SOS 11829 HAS SOPS 11827 HAS SOUS 7884 HAS SOUPS 7883 WITH SCORE 7894.829
AT ITER 109 NEW BEST:: SOT 19226 SOS 11795 HAS SOPS 11793 HAS SOUS 7884 HAS SOUPS 7883 WITH SCORE 7894.795
AT ITER 110 NEW BEST:: SOT 19152 SOS 11323 HAS SOPS 11321 HAS SOUS 7680 HAS SOUPS 7679 WITH SCORE 7690.323
AT ITER 111 NEW BEST:: SOT 19145 SOS 11315 HAS SOPS 11313 HAS SOUS 7666 HAS SOUPS 7665 WITH SCORE 7676.315
AT ITER 113 NEW BEST:: SOT 19125 SOS 11305 HAS SOPS 11303 HAS SOUS 7656 HAS SOUPS 7655 WITH SCORE 7666.305
AT ITER 114 NEW BEST:: SOT 19123 SOS 11289 HAS SOPS 11287 HAS SOUS 7654 HAS SOUPS 7653 WITH SCORE 7664.289
AT ITER 117 NEW BEST:: SOT 19199 SOS 11365 HAS SOPS 11363 HAS SOUS 7607 HAS SOUPS 7606 WITH SCORE 7617.365
AT ITER 119 NEW BEST:: SOT 19199 SOS 9475 HAS SOPS 9473 HAS SOUS 7481 HAS SOUPS 7480 WITH SCORE 7489.475
AT ITER 122 NEW BEST:: SOT 19197 SOS 9470 HAS SOPS 9468 HAS SOUS 7478 HAS SOUPS 7477 WITH SCORE 7486.47
AT ITER 124 NEW BEST:: SOT 19119 SOS 9391 HAS SOPS 9389 HAS SOUS 7356 HAS SOUPS 7355 WITH SCORE 7364.391
AT ITER 125 NEW BEST:: SOT 19112 SOS 9365 HAS SOPS 9363 HAS SOUS 7320 HAS SOUPS 7319 WITH SCORE 7328.365
AT ITER 128 NEW BEST:: SOT 19112 SOS 9375 HAS SOPS 9373 HAS SOUS 7315 HAS SOUPS 7314 WITH SCORE 7323.375
AT ITER 129 NEW BEST:: SOT 19112 SOS 9341 HAS SOPS 9339 HAS SOUS 7301 HAS SOUPS 7300 WITH SCORE 7309.341
AT ITER 136 NEW BEST:: SOT 19103 SOS 9318 HAS SOPS 9316 HAS SOUS 7283 HAS SOUPS 7282 WITH SCORE 7291.318
AT ITER 138 NEW BEST:: SOT 19076 SOS 9291 HAS SOPS 9289 HAS SOUS 7271 HAS SOUPS 7270 WITH SCORE 7279.291
AT ITER 139 NEW BEST:: SOT 19060 SOS 9267 HAS SOPS 9265 HAS SOUS 7255 HAS SOUPS 7254 WITH SCORE 7263.267
AT ITER 147 NEW BEST:: SOT 19035 SOS 9242 HAS SOPS 9240 HAS SOUS 7230 HAS SOUPS 7229 WITH SCORE 7238.242
AT ITER 151 NEW BEST:: SOT 19047 SOS 9230 HAS SOPS 9228 HAS SOUS 7221 HAS SOUPS 7220 WITH SCORE 7229.23
AT ITER 164 NEW BEST:: SOT 19063 SOS 9211 HAS SOPS 9209 HAS SOUS 7204 HAS SOUPS 7203 WITH SCORE 7212.211
AT ITER 165 NEW BEST:: SOT 19063 SOS 9211 HAS SOPS 9209 HAS SOUS 7190 HAS SOUPS 7189 WITH SCORE 7198.211
AT ITER 166 NEW BEST:: SOT 19061 SOS 9202 HAS SOPS 9200 HAS SOUS 7188 HAS SOUPS 7187 WITH SCORE 7196.202
AT ITER 171 NEW BEST:: SOT 19061 SOS 9173 HAS SOPS 9171 HAS SOUS 7167 HAS SOUPS 7166 WITH SCORE 7175.173
AT ITER 172 NEW BEST:: SOT 19059 SOS 9169 HAS SOPS 9167 HAS SOUS 7165 HAS SOUPS 7164 WITH SCORE 7173.169
AT ITER 176 NEW BEST:: SOT 19059 SOS 9033 HAS SOPS 9031 HAS SOUS 7067 HAS SOUPS 7066 WITH SCORE 7075.033
AT ITER 178 NEW BEST:: SOT 18995 SOS 8977 HAS SOPS 8975 HAS SOUS 7035 HAS SOUPS 7034 WITH SCORE 7042.977
AT ITER 186 NEW BEST:: SOT 18992 SOS 8949 HAS SOPS 8947 HAS SOUS 6968 HAS SOUPS 6967 WITH SCORE 6975.949
AT ITER 187 NEW BEST:: SOT 18994 SOS 8877 HAS SOPS 8875 HAS SOUS 6932 HAS SOUPS 6931 WITH SCORE 6939.877
AT ITER 191 NEW BEST:: SOT 18975 SOS 8878 HAS SOPS 8876 HAS SOUS 6893 HAS SOUPS 6892 WITH SCORE 6900.878
AT ITER 202 NEW BEST:: SOT 18303 SOS 8746 HAS SOPS 8744 HAS SOUS 6335 HAS SOUPS 6334 WITH SCORE 6342.746
AT ITER 207 NEW BEST:: SOT 18290 SOS 8708 HAS SOPS 8706 HAS SOUS 6309 HAS SOUPS 6308 WITH SCORE 6316.708
AT ITER 211 NEW BEST:: SOT 18230 SOS 8648 HAS SOPS 8646 HAS SOUS 6269 HAS SOUPS 6268 WITH SCORE 6276.648
AT ITER 216 NEW BEST:: SOT 18241 SOS 8621 HAS SOPS 8619 HAS SOUS 6253 HAS SOUPS 6252 WITH SCORE 6260.621
AT ITER 225 NEW BEST:: SOT 18256 SOS 8636 HAS SOPS 8634 HAS SOUS 6230 HAS SOUPS 6229 WITH SCORE 6237.636
AT ITER 226 NEW BEST:: SOT 18256 SOS 8616 HAS SOPS 8614 HAS SOUS 6215 HAS SOUPS 6214 WITH SCORE 6222.616
AT ITER 228 NEW BEST:: SOT 18104 SOS 8415 HAS SOPS 8413 HAS SOUS 6098 HAS SOUPS 6097 WITH SCORE 6105.415
AT ITER 229 NEW BEST:: SOT 18068 SOS 8401 HAS SOPS 8399 HAS SOUS 6090 HAS SOUPS 6089 WITH SCORE 6097.401
AT ITER 232 NEW BEST:: SOT 18068 SOS 8401 HAS SOPS 8399 HAS SOUS 6088 HAS SOUPS 6087 WITH SCORE 6095.401
AT ITER 235 NEW BEST:: SOT 18084 SOS 8369 HAS SOPS 8367 HAS SOUS 6081 HAS SOUPS 6080 WITH SCORE 6088.369
AT ITER 240 NEW BEST:: SOT 18053 SOS 8269 HAS SOPS 8267 HAS SOUS 6036 HAS SOUPS 6035 WITH SCORE 6043.269
AT ITER 241 NEW BEST:: SOT 18068 SOS 8267 HAS SOPS 8265 HAS SOUS 6036 HAS SOUPS 6035 WITH SCORE 6043.267
AT ITER 251 NEW BEST:: SOT 18068 SOS 8223 HAS SOPS 8221 HAS SOUS 6015 HAS SOUPS 6014 WITH SCORE 6022.223
AT ITER 257 NEW BEST:: SOT 18056 SOS 8199 HAS SOPS 8197 HAS SOUS 6003 HAS SOUPS 6002 WITH SCORE 6010.199
AT ITER 265 NEW BEST:: SOT 17997 SOS 8169 HAS SOPS 8167 HAS SOUS 5916 HAS SOUPS 5915 WITH SCORE 5923.169
AT ITER 266 NEW BEST:: SOT 17989 SOS 8142 HAS SOPS 8140 HAS SOUS 5898 HAS SOUPS 5897 WITH SCORE 5905.142
AT ITER 268 NEW BEST:: SOT 17976 SOS 8116 HAS SOPS 8114 HAS SOUS 5864 HAS SOUPS 5863 WITH SCORE 5871.116
AT ITER 275 NEW BEST:: SOT 17960 SOS 8048 HAS SOPS 8046 HAS SOUS 5817 HAS SOUPS 5816 WITH SCORE 5824.048
AT ITER 276 NEW BEST:: SOT 17952 SOS 8028 HAS SOPS 8026 HAS SOUS 5805 HAS SOUPS 5804 WITH SCORE 5812.028
AT ITER 278 NEW BEST:: SOT 17914 SOS 8033 HAS SOPS 8031 HAS SOUS 5784 HAS SOUPS 5783 WITH SCORE 5791.033
AT ITER 285 NEW BEST:: SOT 17912 SOS 8012 HAS SOPS 8010 HAS SOUS 5763 HAS SOUPS 5762 WITH SCORE 5770.012
AT ITER 289 NEW BEST:: SOT 17880 SOS 7983 HAS SOPS 7981 HAS SOUS 5750 HAS SOUPS 5749 WITH SCORE 5756.983
AT ITER 291 NEW BEST:: SOT 17822 SOS 7908 HAS SOPS 7906 HAS SOUS 5690 HAS SOUPS 5689 WITH SCORE 5696.908
AT ITER 295 NEW BEST:: SOT 17817 SOS 7900 HAS SOPS 7898 HAS SOUS 5687 HAS SOUPS 5686 WITH SCORE 5693.9
AT ITER 300 NEW BEST:: SOT 17847 SOS 7930 HAS SOPS 7928 HAS SOUS 5679 HAS SOUPS 5678 WITH SCORE 5685.93
AT ITER 301 NEW BEST:: SOT 17810 SOS 7893 HAS SOPS 7891 HAS SOUS 5642 HAS SOUPS 5641 WITH SCORE 5648.893
AT ITER 305 NEW BEST:: SOT 17777 SOS 7808 HAS SOPS 7806 HAS SOUS 5609 HAS SOUPS 5608 WITH SCORE 5615.808
AT ITER 310 NEW BEST:: SOT 17771 SOS 7803 HAS SOPS 7801 HAS SOUS 5608 HAS SOUPS 5607 WITH SCORE 5614.803
AT ITER 328 NEW BEST:: SOT 17746 SOS 7753 HAS SOPS 7751 HAS SOUS 5535 HAS SOUPS 5534 WITH SCORE 5541.753
AT ITER 346 NEW BEST:: SOT 17730 SOS 7721 HAS SOPS 7719 HAS SOUS 5519 HAS SOUPS 5518 WITH SCORE 5525.721
AT ITER 354 NEW BEST:: SOT 17728 SOS 7719 HAS SOPS 7717 HAS SOUS 5518 HAS SOUPS 5517 WITH SCORE 5524.719
AT ITER 357 NEW BEST:: SOT 17735 SOS 7667 HAS SOPS 7665 HAS SOUS 5493 HAS SOUPS 5492 WITH SCORE 5499.667
AT ITER 367 NEW BEST:: SOT 17753 SOS 7620 HAS SOPS 7618 HAS SOUS 5454 HAS SOUPS 5453 WITH SCORE 5460.62
AT ITER 382 NEW BEST:: SOT 17748 SOS 7659 HAS SOPS 7657 HAS SOUS 5449 HAS SOUPS 5448 WITH SCORE 5455.659
AT ITER 384 NEW BEST:: SOT 17748 SOS 7658 HAS SOPS 7656 HAS SOUS 5448 HAS SOUPS 5447 WITH SCORE 5454.658
AT ITER 387 NEW BEST:: SOT 17706 SOS 7552 HAS SOPS 7550 HAS SOUS 5385 HAS SOUPS 5384 WITH SCORE 5391.552
AT ITER 415 NEW BEST:: SOT 17691 SOS 7542 HAS SOPS 7540 HAS SOUS 5379 HAS SOUPS 5378 WITH SCORE 5385.542
AT ITER 434 NEW BEST:: SOT 17682 SOS 7481 HAS SOPS 7479 HAS SOUS 5358 HAS SOUPS 5357 WITH SCORE 5364.481
AT ITER 440 NEW BEST:: SOT 17682 SOS 7477 HAS SOPS 7475 HAS SOUS 5358 HAS SOUPS 5357 WITH SCORE 5364.477
AT ITER 443 NEW BEST:: SOT 17677 SOS 7390 HAS SOPS 7388 HAS SOUS 5317 HAS SOUPS 5316 WITH SCORE 5323.39
AT ITER 451 NEW BEST:: SOT 17675 SOS 7388 HAS SOPS 7386 HAS SOUS 5317 HAS SOUPS 5316 WITH SCORE 5323.388
AT ITER 464 NEW BEST:: SOT 17683 SOS 7389 HAS SOPS 7387 HAS SOUS 5304 HAS SOUPS 5303 WITH SCORE 5310.389
AT ITER 465 NEW BEST:: SOT 17659 SOS 7365 HAS SOPS 7363 HAS SOUS 5280 HAS SOUPS 5279 WITH SCORE 5286.365
AT ITER 467 NEW BEST:: SOT 17658 SOS 7364 HAS SOPS 7362 HAS SOUS 5279 HAS SOUPS 5278 WITH SCORE 5285.364
AT ITER 482 NEW BEST:: SOT 17658 SOS 7351 HAS SOPS 7349 HAS SOUS 5255 HAS SOUPS 5254 WITH SCORE 5261.351
AT ITER 490 NEW BEST:: SOT 17658 SOS 7243 HAS SOPS 7241 HAS SOUS 5219 HAS SOUPS 5218 WITH SCORE 5225.243
AT ITER 499 NEW BEST:: SOT 17658 SOS 7241 HAS SOPS 7239 HAS SOUS 5217 HAS SOUPS 5216 WITH SCORE 5223.241
AT ITER 500 NEW BEST:: SOT 17654 SOS 7237 HAS SOPS 7235 HAS SOUS 5209 HAS SOUPS 5208 WITH SCORE 5215.237
AT ITER 504 NEW BEST:: SOT 17626 SOS 7203 HAS SOPS 7201 HAS SOUS 5187 HAS SOUPS 5186 WITH SCORE 5193.203
AT ITER 506 NEW BEST:: SOT 17645 SOS 7213 HAS SOPS 7211 HAS SOUS 5185 HAS SOUPS 5184 WITH SCORE 5191.213
AT ITER 522 NEW BEST:: SOT 17619 SOS 7161 HAS SOPS 7159 HAS SOUS 5112 HAS SOUPS 5111 WITH SCORE 5118.161
AT ITER 535 NEW BEST:: SOT 17580 SOS 7122 HAS SOPS 7120 HAS SOUS 5058 HAS SOUPS 5057 WITH SCORE 5064.122
AT ITER 538 NEW BEST:: SOT 17343 SOS 6907 HAS SOPS 6905 HAS SOUS 4832 HAS SOUPS 4831 WITH SCORE 4837.907
AT ITER 543 NEW BEST:: SOT 17333 SOS 6897 HAS SOPS 6895 HAS SOUS 4827 HAS SOUPS 4826 WITH SCORE 4832.897
AT ITER 549 NEW BEST:: SOT 17333 SOS 6893 HAS SOPS 6891 HAS SOUS 4804 HAS SOUPS 4803 WITH SCORE 4809.893
AT ITER 559 NEW BEST:: SOT 17333 SOS 6887 HAS SOPS 6885 HAS SOUS 4800 HAS SOUPS 4799 WITH SCORE 4805.887
AT ITER 562 NEW BEST:: SOT 17324 SOS 6878 HAS SOPS 6876 HAS SOUS 4800 HAS SOUPS 4799 WITH SCORE 4805.878
AT ITER 575 NEW BEST:: SOT 17320 SOS 6680 HAS SOPS 6678 HAS SOUS 4766 HAS SOUPS 4765 WITH SCORE 4771.68
AT ITER 587 NEW BEST:: SOT 17316 SOS 6672 HAS SOPS 6670 HAS SOUS 4762 HAS SOUPS 4761 WITH SCORE 4767.672
AT ITER 602 NEW BEST:: SOT 17294 SOS 6650 HAS SOPS 6648 HAS SOUS 4718 HAS SOUPS 4717 WITH SCORE 4723.65
AT ITER 604 NEW BEST:: SOT 17212 SOS 6570 HAS SOPS 6568 HAS SOUS 4638 HAS SOUPS 4637 WITH SCORE 4643.57
AT ITER 606 NEW BEST:: SOT 17205 SOS 6563 HAS SOPS 6561 HAS SOUS 4624 HAS SOUPS 4623 WITH SCORE 4629.563
AT ITER 612 NEW BEST:: SOT 17191 SOS 6539 HAS SOPS 6537 HAS SOUS 4607 HAS SOUPS 4606 WITH SCORE 4612.539
AT ITER 622 NEW BEST:: SOT 17181 SOS 6494 HAS SOPS 6492 HAS SOUS 4579 HAS SOUPS 4578 WITH SCORE 4584.494
AT ITER 636 NEW BEST:: SOT 17190 SOS 6374 HAS SOPS 6372 HAS SOUS 4511 HAS SOUPS 4510 WITH SCORE 4516.374
AT ITER 642 NEW BEST:: SOT 17181 SOS 6365 HAS SOPS 6363 HAS SOUS 4511 HAS SOUPS 4510 WITH SCORE 4516.365
AT ITER 651 NEW BEST:: SOT 17195 SOS 6346 HAS SOPS 6344 HAS SOUS 4506 HAS SOUPS 4505 WITH SCORE 4511.346
AT ITER 654 NEW BEST:: SOT 17186 SOS 6333 HAS SOPS 6331 HAS SOUS 4490 HAS SOUPS 4489 WITH SCORE 4495.333
AT ITER 676 NEW BEST:: SOT 17207 SOS 6332 HAS SOPS 6330 HAS SOUS 4487 HAS SOUPS 4486 WITH SCORE 4492.332
AT ITER 679 NEW BEST:: SOT 17215 SOS 6273 HAS SOPS 6271 HAS SOUS 4454 HAS SOUPS 4453 WITH SCORE 4459.273
AT ITER 691 NEW BEST:: SOT 17217 SOS 6271 HAS SOPS 6269 HAS SOUS 4453 HAS SOUPS 4452 WITH SCORE 4458.271
AT ITER 697 NEW BEST:: SOT 17212 SOS 6252 HAS SOPS 6250 HAS SOUS 4448 HAS SOUPS 4447 WITH SCORE 4453.252
AT ITER 706 NEW BEST:: SOT 17203 SOS 6192 HAS SOPS 6190 HAS SOUS 4418 HAS SOUPS 4417 WITH SCORE 4423.192
AT ITER 708 NEW BEST:: SOT 17189 SOS 6199 HAS SOPS 6197 HAS SOUS 4415 HAS SOUPS 4414 WITH SCORE 4420.199
AT ITER 718 NEW BEST:: SOT 17165 SOS 6163 HAS SOPS 6161 HAS SOUS 4391 HAS SOUPS 4390 WITH SCORE 4396.163
AT ITER 719 NEW BEST:: SOT 17165 SOS 6148 HAS SOPS 6146 HAS SOUS 4384 HAS SOUPS 4383 WITH SCORE 4389.148
AT ITER 740 NEW BEST:: SOT 17159 SOS 6120 HAS SOPS 6118 HAS SOUS 4370 HAS SOUPS 4369 WITH SCORE 4375.12
AT ITER 747 NEW BEST:: SOT 17159 SOS 6120 HAS SOPS 6118 HAS SOUS 4359 HAS SOUPS 4358 WITH SCORE 4364.12
AT ITER 748 NEW BEST:: SOT 17165 SOS 6126 HAS SOPS 6124 HAS SOUS 4351 HAS SOUPS 4350 WITH SCORE 4356.126
AT ITER 762 NEW BEST:: SOT 17195 SOS 6152 HAS SOPS 6150 HAS SOUS 4347 HAS SOUPS 4346 WITH SCORE 4352.152
AT ITER 781 NEW BEST:: SOT 17195 SOS 6152 HAS SOPS 6150 HAS SOUS 4339 HAS SOUPS 4338 WITH SCORE 4344.152
AT ITER 791 NEW BEST:: SOT 17197 SOS 6129 HAS SOPS 6127 HAS SOUS 4325 HAS SOUPS 4324 WITH SCORE 4330.129
AT ITER 793 NEW BEST:: SOT 17197 SOS 6073 HAS SOPS 6071 HAS SOUS 4300 HAS SOUPS 4299 WITH SCORE 4305.073
AT ITER 817 NEW BEST:: SOT 17197 SOS 6012 HAS SOPS 6010 HAS SOUS 4277 HAS SOUPS 4276 WITH SCORE 4282.012
AT ITER 818 NEW BEST:: SOT 17185 SOS 5976 HAS SOPS 5974 HAS SOUS 4253 HAS SOUPS 4252 WITH SCORE 4257.976
AT ITER 827 NEW BEST:: SOT 17220 SOS 5979 HAS SOPS 5977 HAS SOUS 4247 HAS SOUPS 4246 WITH SCORE 4251.979
AT ITER 832 NEW BEST:: SOT 17225 SOS 5575 HAS SOPS 5573 HAS SOUS 4232 HAS SOUPS 4231 WITH SCORE 4236.575
AT ITER 839 NEW BEST:: SOT 17163 SOS 5525 HAS SOPS 5523 HAS SOUS 4187 HAS SOUPS 4186 WITH SCORE 4191.525
AT ITER 842 NEW BEST:: SOT 17163 SOS 5489 HAS SOPS 5487 HAS SOUS 4151 HAS SOUPS 4150 WITH SCORE 4155.489
AT ITER 846 NEW BEST:: SOT 17153 SOS 5479 HAS SOPS 5477 HAS SOUS 4144 HAS SOUPS 4143 WITH SCORE 4148.479
AT ITER 856 NEW BEST:: SOT 17163 SOS 5439 HAS SOPS 5437 HAS SOUS 4128 HAS SOUPS 4127 WITH SCORE 4132.439
AT ITER 857 NEW BEST:: SOT 17155 SOS 5436 HAS SOPS 5434 HAS SOUS 4123 HAS SOUPS 4122 WITH SCORE 4127.436
AT ITER 868 NEW BEST:: SOT 17153 SOS 5430 HAS SOPS 5428 HAS SOUS 4119 HAS SOUPS 4118 WITH SCORE 4123.43
AT ITER 870 NEW BEST:: SOT 17155 SOS 5416 HAS SOPS 5414 HAS SOUS 4114 HAS SOUPS 4113 WITH SCORE 4118.416
AT ITER 875 NEW BEST:: SOT 17155 SOS 5396 HAS SOPS 5394 HAS SOUS 4080 HAS SOUPS 4079 WITH SCORE 4084.396
AT ITER 890 NEW BEST:: SOT 17139 SOS 5371 HAS SOPS 5369 HAS SOUS 4071 HAS SOUPS 4070 WITH SCORE 4075.371
AT ITER 917 NEW BEST:: SOT 17139 SOS 5335 HAS SOPS 5333 HAS SOUS 4055 HAS SOUPS 4054 WITH SCORE 4059.335
AT ITER 919 NEW BEST:: SOT 17133 SOS 5330 HAS SOPS 5328 HAS SOUS 4050 HAS SOUPS 4049 WITH SCORE 4054.33
AT ITER 947 NEW BEST:: SOT 17157 SOS 5324 HAS SOPS 5322 HAS SOUS 4045 HAS SOUPS 4044 WITH SCORE 4049.324
AT ITER 960 NEW BEST:: SOT 17151 SOS 5300 HAS SOPS 5298 HAS SOUS 4009 HAS SOUPS 4008 WITH SCORE 4013.3
AT ITER 975 NEW BEST:: SOT 17151 SOS 5289 HAS SOPS 5287 HAS SOUS 3993 HAS SOUPS 3992 WITH SCORE 3997.289
AT ITER 980 NEW BEST:: SOT 17111 SOS 5270 HAS SOPS 5268 HAS SOUS 3953 HAS SOUPS 3952 WITH SCORE 3957.27
AT ITER 1027 NEW BEST:: SOT 17107 SOS 5248 HAS SOPS 5246 HAS SOUS 3939 HAS SOUPS 3938 WITH SCORE 3943.248
AT ITER 1057 NEW BEST:: SOT 17107 SOS 5242 HAS SOPS 5240 HAS SOUS 3937 HAS SOUPS 3936 WITH SCORE 3941.242
AT ITER 1080 NEW BEST:: SOT 17105 SOS 5240 HAS SOPS 5238 HAS SOUS 3937 HAS SOUPS 3936 WITH SCORE 3941.24
AT ITER 1084 NEW BEST:: SOT 17103 SOS 5233 HAS SOPS 5231 HAS SOUS 3932 HAS SOUPS 3931 WITH SCORE 3936.233
AT ITER 1090 NEW BEST:: SOT 17050 SOS 5225 HAS SOPS 5223 HAS SOUS 3889 HAS SOUPS 3888 WITH SCORE 3893.225
AT ITER 1113 NEW BEST:: SOT 17036 SOS 5219 HAS SOPS 5217 HAS SOUS 3884 HAS SOUPS 3883 WITH SCORE 3888.219
AT ITER 1115 NEW BEST:: SOT 17015 SOS 5207 HAS SOPS 5205 HAS SOUS 3863 HAS SOUPS 3862 WITH SCORE 3867.207
AT ITER 1116 NEW BEST:: SOT 17023 SOS 5199 HAS SOPS 5197 HAS SOUS 3863 HAS SOUPS 3862 WITH SCORE 3867.199
AT ITER 1133 NEW BEST:: SOT 17039 SOS 5145 HAS SOPS 5143 HAS SOUS 3855 HAS SOUPS 3854 WITH SCORE 3859.145
AT ITER 1162 NEW BEST:: SOT 17021 SOS 5164 HAS SOPS 5162 HAS SOUS 3852 HAS SOUPS 3851 WITH SCORE 3856.164
AT ITER 1189 NEW BEST:: SOT 17005 SOS 5165 HAS SOPS 5163 HAS SOUS 3847 HAS SOUPS 3846 WITH SCORE 3851.165
AT ITER 1215 NEW BEST:: SOT 17001 SOS 5161 HAS SOPS 5159 HAS SOUS 3839 HAS SOUPS 3838 WITH SCORE 3843.161
AT ITER 1218 NEW BEST:: SOT 16989 SOS 5137 HAS SOPS 5135 HAS SOUS 3827 HAS SOUPS 3826 WITH SCORE 3831.137
AT ITER 1221 NEW BEST:: SOT 16977 SOS 5137 HAS SOPS 5135 HAS SOUS 3818 HAS SOUPS 3817 WITH SCORE 3822.137
AT ITER 1227 NEW BEST:: SOT 16978 SOS 5137 HAS SOPS 5135 HAS SOUS 3817 HAS SOUPS 3816 WITH SCORE 3821.137
AT ITER 1233 NEW BEST:: SOT 16950 SOS 5546 HAS SOPS 5544 HAS SOUS 3794 HAS SOUPS 3793 WITH SCORE 3798.546
AT ITER 1234 NEW BEST:: SOT 16942 SOS 5546 HAS SOPS 5544 HAS SOUS 3786 HAS SOUPS 3785 WITH SCORE 3790.546
AT ITER 1242 NEW BEST:: SOT 16936 SOS 5546 HAS SOPS 5544 HAS SOUS 3784 HAS SOUPS 3783 WITH SCORE 3788.546
AT ITER 1249 NEW BEST:: SOT 16932 SOS 5542 HAS SOPS 5540 HAS SOUS 3780 HAS SOUPS 3779 WITH SCORE 3784.542
AT ITER 1259 NEW BEST:: SOT 16946 SOS 5514 HAS SOPS 5512 HAS SOUS 3780 HAS SOUPS 3779 WITH SCORE 3784.514
AT ITER 1270 NEW BEST:: SOT 16946 SOS 5514 HAS SOPS 5512 HAS SOUS 3779 HAS SOUPS 3778 WITH SCORE 3783.514
AT ITER 1282 NEW BEST:: SOT 16942 SOS 5510 HAS SOPS 5508 HAS SOUS 3773 HAS SOUPS 3772 WITH SCORE 3777.51
AT ITER 1329 NEW BEST:: SOT 16942 SOS 5508 HAS SOPS 5506 HAS SOUS 3772 HAS SOUPS 3771 WITH SCORE 3776.508
AT ITER 1348 NEW BEST:: SOT 16956 SOS 5523 HAS SOPS 5521 HAS SOUS 3766 HAS SOUPS 3765 WITH SCORE 3770.523
AT ITER 1350 NEW BEST:: SOT 16979 SOS 5543 HAS SOPS 5541 HAS SOUS 3763 HAS SOUPS 3762 WITH SCORE 3767.543
AT ITER 1355 NEW BEST:: SOT 16981 SOS 5542 HAS SOPS 5540 HAS SOUS 3763 HAS SOUPS 3762 WITH SCORE 3767.542
AT ITER 1369 NEW BEST:: SOT 16980 SOS 5537 HAS SOPS 5535 HAS SOUS 3751 HAS SOUPS 3750 WITH SCORE 3755.537
AT ITER 1461 NEW BEST:: SOT 16974 SOS 5510 HAS SOPS 5508 HAS SOUS 3751 HAS SOUPS 3750 WITH SCORE 3755.51
AT ITER 1472 NEW BEST:: SOT 16967 SOS 5503 HAS SOPS 5501 HAS SOUS 3747 HAS SOUPS 3746 WITH SCORE 3751.503
AT ITER 1476 NEW BEST:: SOT 16967 SOS 5496 HAS SOPS 5494 HAS SOUS 3739 HAS SOUPS 3738 WITH SCORE 3743.496
AT ITER 1482 NEW BEST:: SOT 16957 SOS 5490 HAS SOPS 5488 HAS SOUS 3734 HAS SOUPS 3733 WITH SCORE 3738.49
AT ITER 1509 NEW BEST:: SOT 16951 SOS 5484 HAS SOPS 5482 HAS SOUS 3729 HAS SOUPS 3728 WITH SCORE 3733.484
AT ITER 1515 NEW BEST:: SOT 16951 SOS 5480 HAS SOPS 5478 HAS SOUS 3729 HAS SOUPS 3728 WITH SCORE 3733.48
AT ITER 1543 NEW BEST:: SOT 16951 SOS 5473 HAS SOPS 5471 HAS SOUS 3719 HAS SOUPS 3718 WITH SCORE 3723.473
AT ITER 1544 NEW BEST:: SOT 16942 SOS 5462 HAS SOPS 5460 HAS SOUS 3716 HAS SOUPS 3715 WITH SCORE 3720.462
AT ITER 1558 NEW BEST:: SOT 16942 SOS 5461 HAS SOPS 5459 HAS SOUS 3710 HAS SOUPS 3709 WITH SCORE 3714.461
AT ITER 1560 NEW BEST:: SOT 16930 SOS 5431 HAS SOPS 5429 HAS SOUS 3692 HAS SOUPS 3691 WITH SCORE 3696.431
AT ITER 1571 NEW BEST:: SOT 16925 SOS 5416 HAS SOPS 5414 HAS SOUS 3682 HAS SOUPS 3681 WITH SCORE 3686.416
AT ITER 1595 NEW BEST:: SOT 16921 SOS 5413 HAS SOPS 5411 HAS SOUS 3677 HAS SOUPS 3676 WITH SCORE 3681.413
AT ITER 1611 NEW BEST:: SOT 16888 SOS 5347 HAS SOPS 5345 HAS SOUS 3636 HAS SOUPS 3635 WITH SCORE 3640.347
AT ITER 1615 NEW BEST:: SOT 16888 SOS 5315 HAS SOPS 5313 HAS SOUS 3633 HAS SOUPS 3632 WITH SCORE 3637.315
AT ITER 1616 NEW BEST:: SOT 16888 SOS 5314 HAS SOPS 5312 HAS SOUS 3633 HAS SOUPS 3632 WITH SCORE 3637.314
AT ITER 1635 NEW BEST:: SOT 16881 SOS 5280 HAS SOPS 5278 HAS SOUS 3584 HAS SOUPS 3583 WITH SCORE 3588.28
AT ITER 1644 NEW BEST:: SOT 16881 SOS 5280 HAS SOPS 5278 HAS SOUS 3583 HAS SOUPS 3582 WITH SCORE 3587.28
AT ITER 1647 NEW BEST:: SOT 16881 SOS 5279 HAS SOPS 5277 HAS SOUS 3582 HAS SOUPS 3581 WITH SCORE 3586.279
AT ITER 1659 NEW BEST:: SOT 16873 SOS 5269 HAS SOPS 5267 HAS SOUS 3568 HAS SOUPS 3567 WITH SCORE 3572.269
AT ITER 1699 NEW BEST:: SOT 16855 SOS 5245 HAS SOPS 5243 HAS SOUS 3562 HAS SOUPS 3561 WITH SCORE 3566.245
AT ITER 1721 NEW BEST:: SOT 16869 SOS 5244 HAS SOPS 5242 HAS SOUS 3560 HAS SOUPS 3559 WITH SCORE 3564.244
AT ITER 1738 NEW BEST:: SOT 16841 SOS 5216 HAS SOPS 5214 HAS SOUS 3546 HAS SOUPS 3545 WITH SCORE 3550.216
AT ITER 1763 NEW BEST:: SOT 16867 SOS 5193 HAS SOPS 5191 HAS SOUS 3539 HAS SOUPS 3538 WITH SCORE 3543.193
AT ITER 1804 NEW BEST:: SOT 16876 SOS 5178 HAS SOPS 5176 HAS SOUS 3535 HAS SOUPS 3534 WITH SCORE 3539.178
AT ITER 1849 NEW BEST:: SOT 16875 SOS 5175 HAS SOPS 5173 HAS SOUS 3533 HAS SOUPS 3532 WITH SCORE 3537.175
AT ITER 1850 NEW BEST:: SOT 16881 SOS 5162 HAS SOPS 5160 HAS SOUS 3530 HAS SOUPS 3529 WITH SCORE 3534.162
AT ITER 1857 NEW BEST:: SOT 16871 SOS 5152 HAS SOPS 5150 HAS SOUS 3510 HAS SOUPS 3509 WITH SCORE 3514.152
AT ITER 1866 NEW BEST:: SOT 16865 SOS 5149 HAS SOPS 5147 HAS SOUS 3507 HAS SOUPS 3506 WITH SCORE 3511.149
AT ITER 1891 NEW BEST:: SOT 16862 SOS 5144 HAS SOPS 5142 HAS SOUS 3504 HAS SOUPS 3503 WITH SCORE 3508.144
AT ITER 1900 NEW BEST:: SOT 16854 SOS 5143 HAS SOPS 5141 HAS SOUS 3504 HAS SOUPS 3503 WITH SCORE 3508.143
AT ITER 1914 NEW BEST:: SOT 16859 SOS 5148 HAS SOPS 5146 HAS SOUS 3502 HAS SOUPS 3501 WITH SCORE 3506.148
AT ITER 1931 NEW BEST:: SOT 16856 SOS 5145 HAS SOPS 5143 HAS SOUS 3500 HAS SOUPS 3499 WITH SCORE 3504.145
AT ITER 1962 NEW BEST:: SOT 16867 SOS 5145 HAS SOPS 5143 HAS SOUS 3494 HAS SOUPS 3493 WITH SCORE 3498.145
AT ITER 1970 NEW BEST:: SOT 16862 SOS 5116 HAS SOPS 5114 HAS SOUS 3493 HAS SOUPS 3492 WITH SCORE 3497.116
AT ITER 2009 NEW BEST:: SOT 16861 SOS 5113 HAS SOPS 5111 HAS SOUS 3490 HAS SOUPS 3489 WITH SCORE 3494.113
AT ITER 2018 NEW BEST:: SOT 16852 SOS 4922 HAS SOPS 4920 HAS SOUS 3472 HAS SOUPS 3471 WITH SCORE 3475.922
AT ITER 2028 NEW BEST:: SOT 16850 SOS 4920 HAS SOPS 4918 HAS SOUS 3472 HAS SOUPS 3471 WITH SCORE 3475.92
AT ITER 2062 NEW BEST:: SOT 16851 SOS 4916 HAS SOPS 4914 HAS SOUS 3470 HAS SOUPS 3469 WITH SCORE 3473.916
AT ITER 2109 NEW BEST:: SOT 16850 SOS 4914 HAS SOPS 4912 HAS SOUS 3468 HAS SOUPS 3467 WITH SCORE 3471.914
AT ITER 2112 NEW BEST:: SOT 16849 SOS 4914 HAS SOPS 4912 HAS SOUS 3467 HAS SOUPS 3466 WITH SCORE 3470.914
AT ITER 2127 NEW BEST:: SOT 16834 SOS 4899 HAS SOPS 4897 HAS SOUS 3437 HAS SOUPS 3436 WITH SCORE 3440.899
AT ITER 2137 NEW BEST:: SOT 16833 SOS 4898 HAS SOPS 4896 HAS SOUS 3437 HAS SOUPS 3436 WITH SCORE 3440.898
AT ITER 2157 NEW BEST:: SOT 16828 SOS 4902 HAS SOPS 4900 HAS SOUS 3435 HAS SOUPS 3434 WITH SCORE 3438.902
AT ITER 2159 NEW BEST:: SOT 16827 SOS 4900 HAS SOPS 4898 HAS SOUS 3434 HAS SOUPS 3433 WITH SCORE 3437.9
AT ITER 2160 NEW BEST:: SOT 16826 SOS 4872 HAS SOPS 4870 HAS SOUS 3421 HAS SOUPS 3420 WITH SCORE 3424.872
AT ITER 2173 NEW BEST:: SOT 16815 SOS 4861 HAS SOPS 4859 HAS SOUS 3399 HAS SOUPS 3398 WITH SCORE 3402.861
AT ITER 2190 NEW BEST:: SOT 16797 SOS 4855 HAS SOPS 4853 HAS SOUS 3395 HAS SOUPS 3394 WITH SCORE 3398.855
AT ITER 2191 NEW BEST:: SOT 16790 SOS 4848 HAS SOPS 4846 HAS SOUS 3381 HAS SOUPS 3380 WITH SCORE 3384.848
AT ITER 2196 NEW BEST:: SOT 16790 SOS 4820 HAS SOPS 4818 HAS SOUS 3355 HAS SOUPS 3354 WITH SCORE 3358.82
AT ITER 2204 NEW BEST:: SOT 16772 SOS 4796 HAS SOPS 4794 HAS SOUS 3331 HAS SOUPS 3330 WITH SCORE 3334.796
AT ITER 2210 NEW BEST:: SOT 16758 SOS 4782 HAS SOPS 4780 HAS SOUS 3324 HAS SOUPS 3323 WITH SCORE 3327.782
AT ITER 2224 NEW BEST:: SOT 16765 SOS 4768 HAS SOPS 4766 HAS SOUS 3304 HAS SOUPS 3303 WITH SCORE 3307.768
AT ITER 2233 NEW BEST:: SOT 16755 SOS 4758 HAS SOPS 4756 HAS SOUS 3299 HAS SOUPS 3298 WITH SCORE 3302.758
AT ITER 2248 NEW BEST:: SOT 16752 SOS 4752 HAS SOPS 4750 HAS SOUS 3293 HAS SOUPS 3292 WITH SCORE 3296.752
AT ITER 2275 NEW BEST:: SOT 16737 SOS 4762 HAS SOPS 4760 HAS SOUS 3292 HAS SOUPS 3291 WITH SCORE 3295.762
AT ITER 2284 NEW BEST:: SOT 16730 SOS 4727 HAS SOPS 4725 HAS SOUS 3278 HAS SOUPS 3277 WITH SCORE 3281.727
AT ITER 2319 NEW BEST:: SOT 16701 SOS 5109 HAS SOPS 4798 HAS SOUS 3272 HAS SOUPS 3252 WITH SCORE 3257.109
AT ITER 2330 NEW BEST:: SOT 16681 SOS 5089 HAS SOPS 4778 HAS SOUS 3256 HAS SOUPS 3236 WITH SCORE 3241.089
AT ITER 2337 NEW BEST:: SOT 16679 SOS 5082 HAS SOPS 4771 HAS SOUS 3251 HAS SOUPS 3231 WITH SCORE 3236.082
AT ITER 2343 NEW BEST:: SOT 16679 SOS 5068 HAS SOPS 4757 HAS SOUS 3237 HAS SOUPS 3217 WITH SCORE 3222.068
AT ITER 2362 NEW BEST:: SOT 16672 SOS 5044 HAS SOPS 4733 HAS SOUS 3227 HAS SOUPS 3207 WITH SCORE 3212.044
AT ITER 2363 NEW BEST:: SOT 16672 SOS 5043 HAS SOPS 4732 HAS SOUS 3226 HAS SOUPS 3206 WITH SCORE 3211.043
AT ITER 2385 NEW BEST:: SOT 16673 SOS 5038 HAS SOPS 4727 HAS SOUS 3224 HAS SOUPS 3204 WITH SCORE 3209.038
AT ITER 2403 NEW BEST:: SOT 16672 SOS 5036 HAS SOPS 4725 HAS SOUS 3223 HAS SOUPS 3203 WITH SCORE 3208.036
AT ITER 2427 NEW BEST:: SOT 16676 SOS 5035 HAS SOPS 4724 HAS SOUS 3218 HAS SOUPS 3198 WITH SCORE 3203.035
AT ITER 2478 NEW BEST:: SOT 16595 SOS 5438 HAS SOPS 5436 HAS SOUS 3196 HAS SOUPS 3195 WITH SCORE 3200.438
AT ITER 2479 NEW BEST:: SOT 16341 SOS 5191 HAS SOPS 5189 HAS SOUS 2948 HAS SOUPS 2947 WITH SCORE 2952.191
AT ITER 2539 NEW BEST:: SOT 16341 SOS 5191 HAS SOPS 5189 HAS SOUS 2929 HAS SOUPS 2928 WITH SCORE 2933.191
AT ITER 2565 NEW BEST:: SOT 16329 SOS 5163 HAS SOPS 5161 HAS SOUS 2894 HAS SOUPS 2893 WITH SCORE 2898.163
AT ITER 2567 NEW BEST:: SOT 16334 SOS 5159 HAS SOPS 5157 HAS SOUS 2893 HAS SOUPS 2892 WITH SCORE 2897.159
AT ITER 2571 NEW BEST:: SOT 16334 SOS 5159 HAS SOPS 5157 HAS SOUS 2890 HAS SOUPS 2889 WITH SCORE 2894.159
AT ITER 2573 NEW BEST:: SOT 16330 SOS 5147 HAS SOPS 5145 HAS SOUS 2882 HAS SOUPS 2881 WITH SCORE 2886.147
AT ITER 2605 NEW BEST:: SOT 16324 SOS 5135 HAS SOPS 5133 HAS SOUS 2874 HAS SOUPS 2873 WITH SCORE 2878.135
AT ITER 2620 NEW BEST:: SOT 16323 SOS 5134 HAS SOPS 5132 HAS SOUS 2872 HAS SOUPS 2871 WITH SCORE 2876.134
AT ITER 2647 NEW BEST:: SOT 16323 SOS 5134 HAS SOPS 5132 HAS SOUS 2871 HAS SOUPS 2870 WITH SCORE 2875.134
AT ITER 2665 NEW BEST:: SOT 16322 SOS 5133 HAS SOPS 5131 HAS SOUS 2870 HAS SOUPS 2869 WITH SCORE 2874.133
AT ITER 2668 NEW BEST:: SOT 16315 SOS 5126 HAS SOPS 5124 HAS SOUS 2856 HAS SOUPS 2855 WITH SCORE 2860.126
AT ITER 2688 NEW BEST:: SOT 16330 SOS 5123 HAS SOPS 5121 HAS SOUS 2850 HAS SOUPS 2849 WITH SCORE 2854.123
AT ITER 2748 NEW BEST:: SOT 16326 SOS 5121 HAS SOPS 5119 HAS SOUS 2846 HAS SOUPS 2845 WITH SCORE 2850.121
AT ITER 2787 NEW BEST:: SOT 16332 SOS 5123 HAS SOPS 5121 HAS SOUS 2844 HAS SOUPS 2843 WITH SCORE 2848.123
AT ITER 2795 NEW BEST:: SOT 16341 SOS 5122 HAS SOPS 5120 HAS SOUS 2837 HAS SOUPS 2836 WITH SCORE 2841.122
AT ITER 2798 NEW BEST:: SOT 16339 SOS 5120 HAS SOPS 5118 HAS SOUS 2837 HAS SOUPS 2836 WITH SCORE 2841.12
AT ITER 2840 NEW BEST:: SOT 16339 SOS 5103 HAS SOPS 5101 HAS SOUS 2825 HAS SOUPS 2824 WITH SCORE 2829.103
AT ITER 2850 NEW BEST:: SOT 16340 SOS 5096 HAS SOPS 5094 HAS SOUS 2823 HAS SOUPS 2822 WITH SCORE 2827.096
AT ITER 2851 NEW BEST:: SOT 16312 SOS 5068 HAS SOPS 5066 HAS SOUS 2811 HAS SOUPS 2810 WITH SCORE 2815.068
AT ITER 2874 NEW BEST:: SOT 16310 SOS 5064 HAS SOPS 5062 HAS SOUS 2811 HAS SOUPS 2810 WITH SCORE 2815.064
AT ITER 2887 NEW BEST:: SOT 16302 SOS 5056 HAS SOPS 5054 HAS SOUS 2795 HAS SOUPS 2794 WITH SCORE 2799.056
AT ITER 2896 NEW BEST:: SOT 16318 SOS 5047 HAS SOPS 5045 HAS SOUS 2793 HAS SOUPS 2792 WITH SCORE 2797.047
AT ITER 2899 NEW BEST:: SOT 16306 SOS 5035 HAS SOPS 5033 HAS SOUS 2788 HAS SOUPS 2787 WITH SCORE 2792.035
AT ITER 2912 NEW BEST:: SOT 16204 SOS 5180 HAS SOPS 5178 HAS SOUS 2696 HAS SOUPS 2695 WITH SCORE 2700.18
AT ITER 2930 NEW BEST:: SOT 16206 SOS 5176 HAS SOPS 5174 HAS SOUS 2694 HAS SOUPS 2693 WITH SCORE 2698.176
AT ITER 2937 NEW BEST:: SOT 16126 SOS 5887 HAS SOPS 5399 HAS SOUS 2704 HAS SOUPS 2683 WITH SCORE 2688.887
AT ITER 2955 NEW BEST:: SOT 16029 SOS 5801 HAS SOPS 5313 HAS SOUS 2612 HAS SOUPS 2591 WITH SCORE 2596.801
AT ITER 2957 NEW BEST:: SOT 16029 SOS 5775 HAS SOPS 5287 HAS SOUS 2599 HAS SOUPS 2578 WITH SCORE 2583.775
AT ITER 2959 NEW BEST:: SOT 16024 SOS 5770 HAS SOPS 5282 HAS SOUS 2598 HAS SOUPS 2577 WITH SCORE 2582.77
AT ITER 2972 NEW BEST:: SOT 16060 SOS 5775 HAS SOPS 5282 HAS SOUS 2593 HAS SOUPS 2572 WITH SCORE 2577.775
AT ITER 2974 NEW BEST:: SOT 16059 SOS 5772 HAS SOPS 5279 HAS SOUS 2584 HAS SOUPS 2563 WITH SCORE 2568.772
AT ITER 3033 NEW BEST:: SOT 16050 SOS 5781 HAS SOPS 5288 HAS SOUS 2575 HAS SOUPS 2554 WITH SCORE 2559.781
AT ITER 3078 NEW BEST:: SOT 16043 SOS 5774 HAS SOPS 5281 HAS SOUS 2575 HAS SOUPS 2554 WITH SCORE 2559.774
AT ITER 3086 NEW BEST:: SOT 16043 SOS 5772 HAS SOPS 5279 HAS SOUS 2574 HAS SOUPS 2553 WITH SCORE 2558.772
AT ITER 3093 NEW BEST:: SOT 16042 SOS 5749 HAS SOPS 5256 HAS SOUS 2549 HAS SOUPS 2528 WITH SCORE 2533.749
AT ITER 3098 NEW BEST:: SOT 15881 SOS 5616 HAS SOPS 5123 HAS SOUS 2401 HAS SOUPS 2380 WITH SCORE 2385.616
AT ITER 3159 NEW BEST:: SOT 15857 SOS 5608 HAS SOPS 5115 HAS SOUS 2400 HAS SOUPS 2379 WITH SCORE 2384.608
AT ITER 3205 NEW BEST:: SOT 15830 SOS 5587 HAS SOPS 5094 HAS SOUS 2394 HAS SOUPS 2373 WITH SCORE 2378.587
AT ITER 3215 NEW BEST:: SOT 15816 SOS 5607 HAS SOPS 5114 HAS SOUS 2390 HAS SOUPS 2369 WITH SCORE 2374.607
AT ITER 3270 NEW BEST:: SOT 15803 SOS 5598 HAS SOPS 5105 HAS SOUS 2384 HAS SOUPS 2363 WITH SCORE 2368.598
AT ITER 3275 NEW BEST:: SOT 15804 SOS 5586 HAS SOPS 5093 HAS SOUS 2379 HAS SOUPS 2358 WITH SCORE 2363.586
AT ITER 3282 NEW BEST:: SOT 15802 SOS 5584 HAS SOPS 5091 HAS SOUS 2377 HAS SOUPS 2356 WITH SCORE 2361.584
AT ITER 3298 NEW BEST:: SOT 15790 SOS 5572 HAS SOPS 5079 HAS SOUS 2365 HAS SOUPS 2344 WITH SCORE 2349.572
AT ITER 3319 NEW BEST:: SOT 15783 SOS 5561 HAS SOPS 5068 HAS SOUS 2351 HAS SOUPS 2330 WITH SCORE 2335.561
AT ITER 3324 NEW BEST:: SOT 15780 SOS 5558 HAS SOPS 5065 HAS SOUS 2345 HAS SOUPS 2324 WITH SCORE 2329.558
AT ITER 3345 NEW BEST:: SOT 15758 SOS 5534 HAS SOPS 5041 HAS SOUS 2319 HAS SOUPS 2298 WITH SCORE 2303.534
AT ITER 3358 NEW BEST:: SOT 15752 SOS 5505 HAS SOPS 5012 HAS SOUS 2309 HAS SOUPS 2288 WITH SCORE 2293.505
AT ITER 3363 NEW BEST:: SOT 15752 SOS 5503 HAS SOPS 5010 HAS SOUS 2303 HAS SOUPS 2282 WITH SCORE 2287.503
AT ITER 3371 NEW BEST:: SOT 15744 SOS 5495 HAS SOPS 5002 HAS SOUS 2287 HAS SOUPS 2266 WITH SCORE 2271.495
AT ITER 3379 NEW BEST:: SOT 15743 SOS 5496 HAS SOPS 5003 HAS SOUS 2285 HAS SOUPS 2264 WITH SCORE 2269.496
AT ITER 3390 NEW BEST:: SOT 15743 SOS 5486 HAS SOPS 4993 HAS SOUS 2280 HAS SOUPS 2259 WITH SCORE 2264.486
AT ITER 3437 NEW BEST:: SOT 15750 SOS 5480 HAS SOPS 4987 HAS SOUS 2277 HAS SOUPS 2256 WITH SCORE 2261.48
AT ITER 3463 NEW BEST:: SOT 15743 SOS 5477 HAS SOPS 5073 HAS SOUS 2269 HAS SOUPS 2252 WITH SCORE 2257.477
AT ITER 3477 NEW BEST:: SOT 15742 SOS 5476 HAS SOPS 5072 HAS SOUS 2269 HAS SOUPS 2252 WITH SCORE 2257.476
AT ITER 3486 NEW BEST:: SOT 15740 SOS 5475 HAS SOPS 5071 HAS SOUS 2269 HAS SOUPS 2252 WITH SCORE 2257.475
AT ITER 3495 NEW BEST:: SOT 15738 SOS 5474 HAS SOPS 5070 HAS SOUS 2267 HAS SOUPS 2250 WITH SCORE 2255.474
AT ITER 3508 NEW BEST:: SOT 15738 SOS 5470 HAS SOPS 5066 HAS SOUS 2263 HAS SOUPS 2246 WITH SCORE 2251.47
AT ITER 3519 NEW BEST:: SOT 15738 SOS 5467 HAS SOPS 4997 HAS SOUS 2261 HAS SOUPS 2241 WITH SCORE 2246.467
AT ITER 3539 NEW BEST:: SOT 15739 SOS 5177 HAS SOPS 4916 HAS SOUS 2247 HAS SOUPS 2235 WITH SCORE 2240.177
AT ITER 3546 NEW BEST:: SOT 15737 SOS 5176 HAS SOPS 4915 HAS SOUS 2246 HAS SOUPS 2234 WITH SCORE 2239.176
AT ITER 3551 NEW BEST:: SOT 15735 SOS 5176 HAS SOPS 4915 HAS SOUS 2244 HAS SOUPS 2232 WITH SCORE 2237.176
AT ITER 3589 NEW BEST:: SOT 15741 SOS 5180 HAS SOPS 4919 HAS SOUS 2242 HAS SOUPS 2230 WITH SCORE 2235.18
AT ITER 3637 NEW BEST:: SOT 15742 SOS 5181 HAS SOPS 4920 HAS SOUS 2241 HAS SOUPS 2229 WITH SCORE 2234.181
AT ITER 3649 NEW BEST:: SOT 15734 SOS 5173 HAS SOPS 4912 HAS SOUS 2241 HAS SOUPS 2229 WITH SCORE 2234.173
AT ITER 3651 NEW BEST:: SOT 15740 SOS 5179 HAS SOPS 4918 HAS SOUS 2228 HAS SOUPS 2216 WITH SCORE 2221.179
AT ITER 3683 NEW BEST:: SOT 15722 SOS 5134 HAS SOPS 4873 HAS SOUS 2201 HAS SOUPS 2189 WITH SCORE 2194.134
AT ITER 3705 NEW BEST:: SOT 15712 SOS 5126 HAS SOPS 4865 HAS SOUS 2195 HAS SOUPS 2183 WITH SCORE 2188.126
AT ITER 3708 NEW BEST:: SOT 15708 SOS 5118 HAS SOPS 4857 HAS SOUS 2187 HAS SOUPS 2175 WITH SCORE 2180.118
AT ITER 3728 NEW BEST:: SOT 15701 SOS 5138 HAS SOPS 4877 HAS SOUS 2186 HAS SOUPS 2174 WITH SCORE 2179.138
AT ITER 3749 NEW BEST:: SOT 15683 SOS 5093 HAS SOPS 4832 HAS SOUS 2168 HAS SOUPS 2156 WITH SCORE 2161.093
AT ITER 3771 NEW BEST:: SOT 15683 SOS 5087 HAS SOPS 4826 HAS SOUS 2164 HAS SOUPS 2152 WITH SCORE 2157.087
AT ITER 3794 NEW BEST:: SOT 15682 SOS 5086 HAS SOPS 4825 HAS SOUS 2162 HAS SOUPS 2150 WITH SCORE 2155.086
AT ITER 3803 NEW BEST:: SOT 15711 SOS 5083 HAS SOPS 4822 HAS SOUS 2162 HAS SOUPS 2150 WITH SCORE 2155.083
AT ITER 3811 NEW BEST:: SOT 15710 SOS 5082 HAS SOPS 4821 HAS SOUS 2160 HAS SOUPS 2148 WITH SCORE 2153.082
AT ITER 3826 NEW BEST:: SOT 15708 SOS 5080 HAS SOPS 4819 HAS SOUS 2159 HAS SOUPS 2147 WITH SCORE 2152.08
AT ITER 3877 NEW BEST:: SOT 15697 SOS 5069 HAS SOPS 4808 HAS SOUS 2137 HAS SOUPS 2125 WITH SCORE 2130.069
AT ITER 3902 NEW BEST:: SOT 15697 SOS 5057 HAS SOPS 4796 HAS SOUS 2129 HAS SOUPS 2117 WITH SCORE 2122.057
AT ITER 3964 NEW BEST:: SOT 15696 SOS 5023 HAS SOPS 4759 HAS SOUS 2095 HAS SOUPS 2083 WITH SCORE 2088.023
AT ITER 4045 NEW BEST:: SOT 15693 SOS 5017 HAS SOPS 4753 HAS SOUS 2095 HAS SOUPS 2083 WITH SCORE 2088.017
AT ITER 4085 NEW BEST:: SOT 15705 SOS 5029 HAS SOPS 4765 HAS SOUS 2091 HAS SOUPS 2079 WITH SCORE 2084.029
AT ITER 4097 NEW BEST:: SOT 15706 SOS 5030 HAS SOPS 4766 HAS SOUS 2090 HAS SOUPS 2078 WITH SCORE 2083.03
AT ITER 4155 NEW BEST:: SOT 15698 SOS 5022 HAS SOPS 4758 HAS SOUS 2074 HAS SOUPS 2062 WITH SCORE 2067.022
AT ITER 4159 NEW BEST:: SOT 15664 SOS 5095 HAS SOPS 5093 HAS SOUS 2042 HAS SOUPS 2041 WITH SCORE 2046.095
AT ITER 4173 NEW BEST:: SOT 15666 SOS 5095 HAS SOPS 5093 HAS SOUS 2040 HAS SOUPS 2039 WITH SCORE 2044.095
AT ITER 4189 NEW BEST:: SOT 15670 SOS 5082 HAS SOPS 5080 HAS SOUS 2034 HAS SOUPS 2033 WITH SCORE 2038.082
AT ITER 4276 NEW BEST:: SOT 15657 SOS 5069 HAS SOPS 5067 HAS SOUS 2023 HAS SOUPS 2022 WITH SCORE 2027.069
AT ITER 4279 NEW BEST:: SOT 15654 SOS 5063 HAS SOPS 5061 HAS SOUS 2019 HAS SOUPS 2018 WITH SCORE 2023.063
AT ITER 4305 NEW BEST:: SOT 15654 SOS 5063 HAS SOPS 5061 HAS SOUS 2017 HAS SOUPS 2016 WITH SCORE 2021.063
AT ITER 4324 NEW BEST:: SOT 15644 SOS 5059 HAS SOPS 5057 HAS SOUS 2009 HAS SOUPS 2008 WITH SCORE 2013.059
AT ITER 4361 NEW BEST:: SOT 15638 SOS 5057 HAS SOPS 5055 HAS SOUS 2008 HAS SOUPS 2007 WITH SCORE 2012.057
AT ITER 4443 NEW BEST:: SOT 15629 SOS 5055 HAS SOPS 5053 HAS SOUS 2004 HAS SOUPS 2003 WITH SCORE 2008.055
AT ITER 4538 NEW BEST:: SOT 15626 SOS 5052 HAS SOPS 5050 HAS SOUS 1998 HAS SOUPS 1997 WITH SCORE 2002.052
AT ITER 4553 NEW BEST:: SOT 15624 SOS 5046 HAS SOPS 5044 HAS SOUS 1995 HAS SOUPS 1994 WITH SCORE 1999.046
AT ITER 4578 NEW BEST:: SOT 15624 SOS 5043 HAS SOPS 5041 HAS SOUS 1993 HAS SOUPS 1992 WITH SCORE 1997.043
AT ITER 4643 NEW BEST:: SOT 15624 SOS 5043 HAS SOPS 5041 HAS SOUS 1988 HAS SOUPS 1987 WITH SCORE 1992.043
AT ITER 4725 NEW BEST:: SOT 15624 SOS 5039 HAS SOPS 5037 HAS SOUS 1988 HAS SOUPS 1987 WITH SCORE 1992.039
AT ITER 4790 NEW BEST:: SOT 15637 SOS 5041 HAS SOPS 5039 HAS SOUS 1981 HAS SOUPS 1980 WITH SCORE 1985.041
AT ITER 4793 NEW BEST:: SOT 15640 SOS 5039 HAS SOPS 5037 HAS SOUS 1980 HAS SOUPS 1979 WITH SCORE 1984.039
AT ITER 4826 NEW BEST:: SOT 15641 SOS 5040 HAS SOPS 5038 HAS SOUS 1976 HAS SOUPS 1975 WITH SCORE 1980.04
AT ITER 4875 NEW BEST:: SOT 15647 SOS 5042 HAS SOPS 5040 HAS SOUS 1975 HAS SOUPS 1974 WITH SCORE 1979.042
AT ITER 4896 NEW BEST:: SOT 15640 SOS 5035 HAS SOPS 5033 HAS SOUS 1961 HAS SOUPS 1960 WITH SCORE 1965.035
AT ITER 4907 NEW BEST:: SOT 15642 SOS 5030 HAS SOPS 5028 HAS SOUS 1960 HAS SOUPS 1959 WITH SCORE 1964.03
AT ITER 4908 NEW BEST:: SOT 15641 SOS 5029 HAS SOPS 5027 HAS SOUS 1958 HAS SOUPS 1957 WITH SCORE 1962.029
AT ITER 4921 NEW BEST:: SOT 15641 SOS 5027 HAS SOPS 5025 HAS SOUS 1958 HAS SOUPS 1957 WITH SCORE 1962.027
AT ITER 4959 NEW BEST:: SOT 15641 SOS 5021 HAS SOPS 5019 HAS SOUS 1954 HAS SOUPS 1953 WITH SCORE 1958.021
AT ITER 4973 NEW BEST:: SOT 15536 SOS 4905 HAS SOPS 4903 HAS SOUS 1845 HAS SOUPS 1844 WITH SCORE 1848.905
AT ITER 5079 NEW BEST:: SOT 15539 SOS 4901 HAS SOPS 4899 HAS SOUS 1835 HAS SOUPS 1834 WITH SCORE 1838.901
AT ITER 5093 NEW BEST:: SOT 15538 SOS 4898 HAS SOPS 4896 HAS SOUS 1833 HAS SOUPS 1832 WITH SCORE 1836.898
AT ITER 5097 NEW BEST:: SOT 15537 SOS 4897 HAS SOPS 4895 HAS SOUS 1831 HAS SOUPS 1830 WITH SCORE 1834.897
AT ITER 5215 NEW BEST:: SOT 15537 SOS 5319 HAS SOPS 5317 HAS SOUS 1827 HAS SOUPS 1826 WITH SCORE 1831.319
AT ITER 5327 NEW BEST:: SOT 15519 SOS 5301 HAS SOPS 5299 HAS SOUS 1815 HAS SOUPS 1814 WITH SCORE 1819.301
AT ITER 5345 NEW BEST:: SOT 15517 SOS 5292 HAS SOPS 5290 HAS SOUS 1812 HAS SOUPS 1811 WITH SCORE 1816.292
AT ITER 5368 NEW BEST:: SOT 15515 SOS 5268 HAS SOPS 5266 HAS SOUS 1788 HAS SOUPS 1787 WITH SCORE 1792.268
AT ITER 5380 NEW BEST:: SOT 15477 SOS 5234 HAS SOPS 5232 HAS SOUS 1771 HAS SOUPS 1770 WITH SCORE 1775.234
AT ITER 5421 NEW BEST:: SOT 15472 SOS 5224 HAS SOPS 5222 HAS SOUS 1754 HAS SOUPS 1753 WITH SCORE 1758.224
AT ITER 5442 NEW BEST:: SOT 15455 SOS 5215 HAS SOPS 5213 HAS SOUS 1737 HAS SOUPS 1736 WITH SCORE 1741.215
AT ITER 5458 NEW BEST:: SOT 15454 SOS 5214 HAS SOPS 5212 HAS SOUS 1735 HAS SOUPS 1734 WITH SCORE 1739.214
AT ITER 5687 NEW BEST:: SOT 15454 SOS 5220 HAS SOPS 5218 HAS SOUS 1731 HAS SOUPS 1730 WITH SCORE 1735.22
AT ITER 5707 NEW BEST:: SOT 15449 SOS 5222 HAS SOPS 5220 HAS SOUS 1728 HAS SOUPS 1727 WITH SCORE 1732.222
AT ITER 5720 NEW BEST:: SOT 15445 SOS 5218 HAS SOPS 5216 HAS SOUS 1728 HAS SOUPS 1727 WITH SCORE 1732.218
AT ITER 5745 NEW BEST:: SOT 15445 SOS 5216 HAS SOPS 5214 HAS SOUS 1728 HAS SOUPS 1727 WITH SCORE 1732.216
AT ITER 5762 NEW BEST:: SOT 15449 SOS 5214 HAS SOPS 5212 HAS SOUS 1724 HAS SOUPS 1723 WITH SCORE 1728.214
AT ITER 5803 NEW BEST:: SOT 15446 SOS 5211 HAS SOPS 5209 HAS SOUS 1718 HAS SOUPS 1717 WITH SCORE 1722.211
AT ITER 5860 NEW BEST:: SOT 15444 SOS 5200 HAS SOPS 5198 HAS SOUS 1708 HAS SOUPS 1707 WITH SCORE 1712.2
AT ITER 5912 NEW BEST:: SOT 15444 SOS 5193 HAS SOPS 5191 HAS SOUS 1701 HAS SOUPS 1700 WITH SCORE 1705.193
AT ITER 5983 NEW BEST:: SOT 15441 SOS 5190 HAS SOPS 5188 HAS SOUS 1701 HAS SOUPS 1700 WITH SCORE 1705.19
AT ITER 6052 NEW BEST:: SOT 15438 SOS 5187 HAS SOPS 5185 HAS SOUS 1701 HAS SOUPS 1700 WITH SCORE 1705.187
AT ITER 6057 NEW BEST:: SOT 15437 SOS 5186 HAS SOPS 5184 HAS SOUS 1700 HAS SOUPS 1699 WITH SCORE 1704.186
AT ITER 6200 NEW BEST:: SOT 15437 SOS 5183 HAS SOPS 5181 HAS SOUS 1698 HAS SOUPS 1697 WITH SCORE 1702.183
AT ITER 6201 NEW BEST:: SOT 15417 SOS 5170 HAS SOPS 5168 HAS SOUS 1686 HAS SOUPS 1685 WITH SCORE 1690.17
AT ITER 6326 NEW BEST:: SOT 15426 SOS 5172 HAS SOPS 5170 HAS SOUS 1684 HAS SOUPS 1683 WITH SCORE 1688.172
AT ITER 6417 NEW BEST:: SOT 15424 SOS 5170 HAS SOPS 5168 HAS SOUS 1681 HAS SOUPS 1680 WITH SCORE 1685.17
AT ITER 6492 NEW BEST:: SOT 15415 SOS 5153 HAS SOPS 5151 HAS SOUS 1671 HAS SOUPS 1670 WITH SCORE 1675.153
AT ITER 6500 NEW BEST:: SOT 15406 SOS 5144 HAS SOPS 5142 HAS SOUS 1653 HAS SOUPS 1652 WITH SCORE 1657.144
AT ITER 6561 NEW BEST:: SOT 15405 SOS 5114 HAS SOPS 5112 HAS SOUS 1652 HAS SOUPS 1651 WITH SCORE 1656.114
AT ITER 6582 NEW BEST:: SOT 15405 SOS 5054 HAS SOPS 5052 HAS SOUS 1652 HAS SOUPS 1651 WITH SCORE 1656.054
AT ITER 6619 NEW BEST:: SOT 15433 SOS 4726 HAS SOPS 4724 HAS SOUS 1647 HAS SOUPS 1646 WITH SCORE 1650.726
AT ITER 6683 NEW BEST:: SOT 15431 SOS 4724 HAS SOPS 4722 HAS SOUS 1643 HAS SOUPS 1642 WITH SCORE 1646.724
AT ITER 6712 NEW BEST:: SOT 15424 SOS 4717 HAS SOPS 4715 HAS SOUS 1634 HAS SOUPS 1633 WITH SCORE 1637.717
AT ITER 6777 NEW BEST:: SOT 15417 SOS 4715 HAS SOPS 4713 HAS SOUS 1634 HAS SOUPS 1633 WITH SCORE 1637.715
AT ITER 6834 NEW BEST:: SOT 15413 SOS 4703 HAS SOPS 4701 HAS SOUS 1616 HAS SOUPS 1615 WITH SCORE 1619.703
AT ITER 6871 NEW BEST:: SOT 15408 SOS 4692 HAS SOPS 4690 HAS SOUS 1612 HAS SOUPS 1611 WITH SCORE 1615.692
AT ITER 6943 NEW BEST:: SOT 15410 SOS 4687 HAS SOPS 4685 HAS SOUS 1608 HAS SOUPS 1607 WITH SCORE 1611.687
AT ITER 6997 NEW BEST:: SOT 15408 SOS 4681 HAS SOPS 4679 HAS SOUS 1608 HAS SOUPS 1607 WITH SCORE 1611.681
AT ITER 7013 NEW BEST:: SOT 15411 SOS 4682 HAS SOPS 4680 HAS SOUS 1607 HAS SOUPS 1606 WITH SCORE 1610.682
AT ITER 7020 NEW BEST:: SOT 15408 SOS 4689 HAS SOPS 4687 HAS SOUS 1606 HAS SOUPS 1605 WITH SCORE 1609.689
AT ITER 7076 NEW BEST:: SOT 15408 SOS 4689 HAS SOPS 4687 HAS SOUS 1605 HAS SOUPS 1604 WITH SCORE 1608.689
AT ITER 7097 NEW BEST:: SOT 15408 SOS 4688 HAS SOPS 4686 HAS SOUS 1605 HAS SOUPS 1604 WITH SCORE 1608.688
AT ITER 7210 NEW BEST:: SOT 15393 SOS 4673 HAS SOPS 4671 HAS SOUS 1599 HAS SOUPS 1598 WITH SCORE 1602.673
AT ITER 7503 NEW BEST:: SOT 15392 SOS 4673 HAS SOPS 4671 HAS SOUS 1598 HAS SOUPS 1597 WITH SCORE 1601.673
AT ITER 7599 NEW BEST:: SOT 15376 SOS 4665 HAS SOPS 4663 HAS SOUS 1594 HAS SOUPS 1593 WITH SCORE 1597.665
AT ITER 7601 NEW BEST:: SOT 15377 SOS 4666 HAS SOPS 4664 HAS SOUS 1593 HAS SOUPS 1592 WITH SCORE 1596.666
AT ITER 7652 NEW BEST:: SOT 15373 SOS 4664 HAS SOPS 4662 HAS SOUS 1593 HAS SOUPS 1592 WITH SCORE 1596.664
AT ITER 7657 NEW BEST:: SOT 15382 SOS 4668 HAS SOPS 4666 HAS SOUS 1589 HAS SOUPS 1588 WITH SCORE 1592.668
AT ITER 7675 NEW BEST:: SOT 15366 SOS 4680 HAS SOPS 4678 HAS SOUS 1576 HAS SOUPS 1575 WITH SCORE 1579.68
AT ITER 7686 NEW BEST:: SOT 15363 SOS 4678 HAS SOPS 4676 HAS SOUS 1575 HAS SOUPS 1574 WITH SCORE 1578.678
AT ITER 7708 NEW BEST:: SOT 15362 SOS 4674 HAS SOPS 4672 HAS SOUS 1574 HAS SOUPS 1573 WITH SCORE 1577.674
AT ITER 7729 NEW BEST:: SOT 15359 SOS 4672 HAS SOPS 4670 HAS SOUS 1573 HAS SOUPS 1572 WITH SCORE 1576.672
AT ITER 7970 NEW BEST:: SOT 15359 SOS 4672 HAS SOPS 4670 HAS SOUS 1571 HAS SOUPS 1570 WITH SCORE 1574.672
AT ITER 8070 NEW BEST:: SOT 15364 SOS 4667 HAS SOPS 4665 HAS SOUS 1569 HAS SOUPS 1568 WITH SCORE 1572.667
AT ITER 8205 NEW BEST:: SOT 15366 SOS 4669 HAS SOPS 4667 HAS SOUS 1567 HAS SOUPS 1566 WITH SCORE 1570.669
AT ITER 8238 NEW BEST:: SOT 15366 SOS 4665 HAS SOPS 4663 HAS SOUS 1563 HAS SOUPS 1562 WITH SCORE 1566.665
AT ITER 8252 NEW BEST:: SOT 15366 SOS 4665 HAS SOPS 4663 HAS SOUS 1562 HAS SOUPS 1561 WITH SCORE 1565.665
AT ITER 8284 NEW BEST:: SOT 15364 SOS 4663 HAS SOPS 4661 HAS SOUS 1562 HAS SOUPS 1561 WITH SCORE 1565.663
AT ITER 8317 NEW BEST:: SOT 15359 SOS 4658 HAS SOPS 4656 HAS SOUS 1558 HAS SOUPS 1557 WITH SCORE 1561.658
AT ITER 8347 NEW BEST:: SOT 15355 SOS 4653 HAS SOPS 4651 HAS SOUS 1553 HAS SOUPS 1552 WITH SCORE 1556.653
AT ITER 8457 NEW BEST:: SOT 15354 SOS 4653 HAS SOPS 4651 HAS SOUS 1552 HAS SOUPS 1551 WITH SCORE 1555.653
AT ITER 8474 NEW BEST:: SOT 15352 SOS 4654 HAS SOPS 4652 HAS SOUS 1551 HAS SOUPS 1550 WITH SCORE 1554.654
AT ITER 8536 NEW BEST:: SOT 15348 SOS 4653 HAS SOPS 4651 HAS SOUS 1550 HAS SOUPS 1549 WITH SCORE 1553.653
AT ITER 8538 NEW BEST:: SOT 15348 SOS 4652 HAS SOPS 4650 HAS SOUS 1546 HAS SOUPS 1545 WITH SCORE 1549.652
AT ITER 8675 NEW BEST:: SOT 15347 SOS 4653 HAS SOPS 4651 HAS SOUS 1545 HAS SOUPS 1544 WITH SCORE 1548.653
AT ITER 8740 NEW BEST:: SOT 15343 SOS 4651 HAS SOPS 4649 HAS SOUS 1545 HAS SOUPS 1544 WITH SCORE 1548.651
AT ITER 8885 NEW BEST:: SOT 15344 SOS 4649 HAS SOPS 4647 HAS SOUS 1543 HAS SOUPS 1542 WITH SCORE 1546.649
AT ITER 8936 NEW BEST:: SOT 15343 SOS 4646 HAS SOPS 4644 HAS SOUS 1543 HAS SOUPS 1542 WITH SCORE 1546.646
AT ITER 8993 NEW BEST:: SOT 15343 SOS 4645 HAS SOPS 4643 HAS SOUS 1543 HAS SOUPS 1542 WITH SCORE 1546.645
AT ITER 9023 NEW BEST:: SOT 15332 SOS 4634 HAS SOPS 4632 HAS SOUS 1528 HAS SOUPS 1527 WITH SCORE 1531.634
AT ITER 9170 NEW BEST:: SOT 15332 SOS 4632 HAS SOPS 4630 HAS SOUS 1528 HAS SOUPS 1527 WITH SCORE 1531.632
AT ITER 9343 NEW BEST:: SOT 15341 SOS 4628 HAS SOPS 4626 HAS SOUS 1528 HAS SOUPS 1527 WITH SCORE 1531.628
AT ITER 9412 NEW BEST:: SOT 15337 SOS 4647 HAS SOPS 4645 HAS SOUS 1526 HAS SOUPS 1525 WITH SCORE 1529.647
AT ITER 9587 NEW BEST:: SOT 15337 SOS 4631 HAS SOPS 4629 HAS SOUS 1518 HAS SOUPS 1517 WITH SCORE 1521.631
AT ITER 9606 NEW BEST:: SOT 15335 SOS 4629 HAS SOPS 4627 HAS SOUS 1516 HAS SOUPS 1515 WITH SCORE 1519.629
AT ITER 9626 NEW BEST:: SOT 15333 SOS 4627 HAS SOPS 4625 HAS SOUS 1513 HAS SOUPS 1512 WITH SCORE 1516.627
AT ITER 9644 NEW BEST:: SOT 15330 SOS 4626 HAS SOPS 4624 HAS SOUS 1511 HAS SOUPS 1510 WITH SCORE 1514.626
AT ITER 9935 NEW BEST:: SOT 15329 SOS 4618 HAS SOPS 4616 HAS SOUS 1507 HAS SOUPS 1506 WITH SCORE 1510.618
STATE_SPACE STATES 28333898707947277283933 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 38 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 906683257707959903094670 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678547808421

--------------------
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="GPUForwardProgress-PT-36a"
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 GPUForwardProgress-PT-36a, 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 r203-smll-167840349100136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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