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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 764K
-rw-r--r-- 1 mcc users 6.1K Feb 25 11:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 11:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 11:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:04 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 311K 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 1679431300786

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=Eratosthenes-PT-200
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 20:41:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 20:41:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 20:41:42] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2023-03-21 20:41:42] [INFO ] Transformed 199 places.
[2023-03-21 20:41:42] [INFO ] Transformed 699 transitions.
[2023-03-21 20:41:42] [INFO ] Parsed PT model containing 199 places and 699 transitions and 2097 arcs in 142 ms.
[2023-03-21 20:41:42] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 199 places, 699 transitions and 2097 arcs took 7 ms.
Total runtime 176 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Eratosthenes (PT), instance 200
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: 199 places, 699 transitions, 2097 arcs.
AT ITER 0 NEW BEST:: SOT 91776 SOS 45229 HAS SOPS 36053 HAS SOUS 13279 HAS SOUPS 9747 WITH SCORE 9792.229
AT ITER 2 NEW BEST:: SOT 92484 SOS 45155 HAS SOPS 35271 HAS SOUS 13667 HAS SOUPS 9630 WITH SCORE 9675.155
AT ITER 5 NEW BEST:: SOT 92516 SOS 45059 HAS SOPS 35111 HAS SOUS 13712 HAS SOUPS 9630 WITH SCORE 9675.059
AT ITER 7 NEW BEST:: SOT 92274 SOS 44850 HAS SOPS 34847 HAS SOUS 13667 HAS SOUPS 9574 WITH SCORE 9618.85
AT ITER 8 NEW BEST:: SOT 92296 SOS 44774 HAS SOPS 34749 HAS SOUS 13677 HAS SOUPS 9574 WITH SCORE 9618.774
AT ITER 9 NEW BEST:: SOT 92321 SOS 44719 HAS SOPS 34774 HAS SOUS 13677 HAS SOUPS 9574 WITH SCORE 9618.719
AT ITER 10 NEW BEST:: SOT 92322 SOS 44707 HAS SOPS 34775 HAS SOUS 13677 HAS SOUPS 9574 WITH SCORE 9618.707
AT ITER 11 NEW BEST:: SOT 92346 SOS 44653 HAS SOPS 34663 HAS SOUS 13692 HAS SOUPS 9574 WITH SCORE 9618.653
AT ITER 12 NEW BEST:: SOT 90438 SOS 43262 HAS SOPS 32705 HAS SOUS 13359 HAS SOUPS 9191 WITH SCORE 9234.262
AT ITER 14 NEW BEST:: SOT 90972 SOS 43406 HAS SOPS 32711 HAS SOUS 13371 HAS SOUPS 9183 WITH SCORE 9226.406
AT ITER 19 NEW BEST:: SOT 91078 SOS 43393 HAS SOPS 32637 HAS SOUS 13391 HAS SOUPS 9183 WITH SCORE 9226.393
AT ITER 20 NEW BEST:: SOT 91645 SOS 43306 HAS SOPS 32760 HAS SOUS 13351 HAS SOUPS 9183 WITH SCORE 9226.306
AT ITER 23 NEW BEST:: SOT 91649 SOS 43252 HAS SOPS 32702 HAS SOUS 13357 HAS SOUPS 9183 WITH SCORE 9226.252
AT ITER 28 NEW BEST:: SOT 91710 SOS 42758 HAS SOPS 32147 HAS SOUS 13484 HAS SOUPS 9183 WITH SCORE 9225.758
AT ITER 33 NEW BEST:: SOT 91698 SOS 42722 HAS SOPS 32111 HAS SOUS 13496 HAS SOUPS 9183 WITH SCORE 9225.722
AT ITER 35 NEW BEST:: SOT 91927 SOS 42920 HAS SOPS 32080 HAS SOUS 13606 HAS SOUPS 9154 WITH SCORE 9196.92
AT ITER 36 NEW BEST:: SOT 88662 SOS 42534 HAS SOPS 28687 HAS SOUS 13296 HAS SOUPS 8804 WITH SCORE 8846.534
AT ITER 37 NEW BEST:: SOT 88654 SOS 42518 HAS SOPS 28679 HAS SOUS 13288 HAS SOUPS 8796 WITH SCORE 8838.518
AT ITER 39 NEW BEST:: SOT 88678 SOS 42378 HAS SOPS 28656 HAS SOUS 13288 HAS SOUPS 8796 WITH SCORE 8838.378
AT ITER 43 NEW BEST:: SOT 88714 SOS 42288 HAS SOPS 28548 HAS SOUS 13292 HAS SOUPS 8796 WITH SCORE 8838.288
AT ITER 44 NEW BEST:: SOT 88798 SOS 42221 HAS SOPS 28444 HAS SOUS 13361 HAS SOUPS 8796 WITH SCORE 8838.221
AT ITER 46 NEW BEST:: SOT 88999 SOS 42380 HAS SOPS 28483 HAS SOUS 13399 HAS SOUPS 8790 WITH SCORE 8832.38
AT ITER 47 NEW BEST:: SOT 88979 SOS 41932 HAS SOPS 28259 HAS SOUS 13224 HAS SOUPS 8717 WITH SCORE 8758.932
AT ITER 48 NEW BEST:: SOT 89338 SOS 42140 HAS SOPS 28108 HAS SOUS 13400 HAS SOUPS 8674 WITH SCORE 8716.14
AT ITER 52 NEW BEST:: SOT 89275 SOS 42014 HAS SOPS 28301 HAS SOUS 13310 HAS SOUPS 8674 WITH SCORE 8716.014
AT ITER 53 NEW BEST:: SOT 88611 SOS 41417 HAS SOPS 27551 HAS SOUS 13400 HAS SOUPS 8651 WITH SCORE 8692.417
AT ITER 54 NEW BEST:: SOT 88608 SOS 41411 HAS SOPS 27560 HAS SOUS 13400 HAS SOUPS 8651 WITH SCORE 8692.411
AT ITER 56 NEW BEST:: SOT 88633 SOS 41365 HAS SOPS 27457 HAS SOUS 13442 HAS SOUPS 8651 WITH SCORE 8692.365
AT ITER 57 NEW BEST:: SOT 88628 SOS 41199 HAS SOPS 27296 HAS SOUS 13417 HAS SOUPS 8646 WITH SCORE 8687.199
AT ITER 58 NEW BEST:: SOT 88610 SOS 41163 HAS SOPS 27454 HAS SOUS 13395 HAS SOUPS 8646 WITH SCORE 8687.163
AT ITER 60 NEW BEST:: SOT 88567 SOS 41052 HAS SOPS 27461 HAS SOUS 13395 HAS SOUPS 8646 WITH SCORE 8687.052
AT ITER 62 NEW BEST:: SOT 88524 SOS 40880 HAS SOPS 27418 HAS SOUS 13266 HAS SOUPS 8603 WITH SCORE 8643.88
AT ITER 64 NEW BEST:: SOT 88554 SOS 40860 HAS SOPS 27368 HAS SOUS 13276 HAS SOUPS 8603 WITH SCORE 8643.86
AT ITER 66 NEW BEST:: SOT 89222 SOS 40936 HAS SOPS 27196 HAS SOUS 13074 HAS SOUPS 8541 WITH SCORE 8581.936
AT ITER 71 NEW BEST:: SOT 90071 SOS 41554 HAS SOPS 27100 HAS SOUS 13360 HAS SOUPS 8493 WITH SCORE 8534.554
AT ITER 74 NEW BEST:: SOT 90149 SOS 42760 HAS SOPS 27028 HAS SOUS 13369 HAS SOUPS 8404 WITH SCORE 8446.76
AT ITER 76 NEW BEST:: SOT 90436 SOS 42384 HAS SOPS 26555 HAS SOUS 13192 HAS SOUPS 8335 WITH SCORE 8377.384
AT ITER 77 NEW BEST:: SOT 90543 SOS 42941 HAS SOPS 26564 HAS SOUS 13143 HAS SOUPS 8286 WITH SCORE 8328.941
AT ITER 80 NEW BEST:: SOT 90662 SOS 43039 HAS SOPS 26543 HAS SOUS 13207 HAS SOUPS 8283 WITH SCORE 8326.039
AT ITER 82 NEW BEST:: SOT 90746 SOS 43039 HAS SOPS 26459 HAS SOUS 13123 HAS SOUPS 8199 WITH SCORE 8242.039
AT ITER 83 NEW BEST:: SOT 90745 SOS 42959 HAS SOPS 26354 HAS SOUS 13125 HAS SOUPS 8173 WITH SCORE 8215.959
AT ITER 85 NEW BEST:: SOT 90783 SOS 42985 HAS SOPS 26342 HAS SOUS 13113 HAS SOUPS 8161 WITH SCORE 8203.985
AT ITER 86 NEW BEST:: SOT 91125 SOS 43213 HAS SOPS 26228 HAS SOUS 13203 HAS SOUPS 8107 WITH SCORE 8150.213
AT ITER 90 NEW BEST:: SOT 90669 SOS 43061 HAS SOPS 25772 HAS SOUS 13347 HAS SOUPS 8077 WITH SCORE 8120.061
AT ITER 94 NEW BEST:: SOT 90414 SOS 42929 HAS SOPS 25733 HAS SOUS 13387 HAS SOUPS 8041 WITH SCORE 8083.929
AT ITER 95 NEW BEST:: SOT 90424 SOS 42929 HAS SOPS 25723 HAS SOUS 13382 HAS SOUPS 8036 WITH SCORE 8078.929
AT ITER 96 NEW BEST:: SOT 90162 SOS 43029 HAS SOPS 25149 HAS SOUS 13497 HAS SOUPS 7995 WITH SCORE 8038.029
AT ITER 97 NEW BEST:: SOT 89734 SOS 43045 HAS SOPS 24067 HAS SOUS 13506 HAS SOUPS 7734 WITH SCORE 7777.045
AT ITER 100 NEW BEST:: SOT 89664 SOS 42905 HAS SOPS 23997 HAS SOUS 13436 HAS SOUPS 7697 WITH SCORE 7739.905
AT ITER 107 NEW BEST:: SOT 89787 SOS 43343 HAS SOPS 23544 HAS SOUS 13623 HAS SOUPS 7604 WITH SCORE 7647.343
AT ITER 109 NEW BEST:: SOT 89811 SOS 43339 HAS SOPS 23516 HAS SOUS 13623 HAS SOUPS 7591 WITH SCORE 7634.339
AT ITER 111 NEW BEST:: SOT 89922 SOS 43351 HAS SOPS 23459 HAS SOUS 13582 HAS SOUPS 7566 WITH SCORE 7609.351
AT ITER 112 NEW BEST:: SOT 90233 SOS 43973 HAS SOPS 23770 HAS SOUS 13435 HAS SOUPS 7530 WITH SCORE 7573.973
AT ITER 119 NEW BEST:: SOT 89584 SOS 43875 HAS SOPS 22221 HAS SOUS 13606 HAS SOUPS 7491 WITH SCORE 7534.875
AT ITER 120 NEW BEST:: SOT 88580 SOS 43495 HAS SOPS 21129 HAS SOUS 13274 HAS SOUPS 7115 WITH SCORE 7158.495
AT ITER 126 NEW BEST:: SOT 88640 SOS 43387 HAS SOPS 21189 HAS SOUS 13217 HAS SOUPS 7115 WITH SCORE 7158.387
AT ITER 129 NEW BEST:: SOT 88671 SOS 43295 HAS SOPS 21132 HAS SOUS 13192 HAS SOUPS 7112 WITH SCORE 7155.295
AT ITER 132 NEW BEST:: SOT 88595 SOS 43209 HAS SOPS 21122 HAS SOUS 13133 HAS SOUPS 7102 WITH SCORE 7145.209
AT ITER 133 NEW BEST:: SOT 88626 SOS 43209 HAS SOPS 21122 HAS SOUS 13071 HAS SOUPS 7071 WITH SCORE 7114.209
AT ITER 136 NEW BEST:: SOT 87066 SOS 42393 HAS SOPS 19370 HAS SOUS 12566 HAS SOUPS 6566 WITH SCORE 6608.393
AT ITER 139 NEW BEST:: SOT 87341 SOS 42439 HAS SOPS 19501 HAS SOUS 12464 HAS SOUPS 6536 WITH SCORE 6578.439
AT ITER 140 NEW BEST:: SOT 87824 SOS 42595 HAS SOPS 19444 HAS SOUS 12474 HAS SOUPS 6509 WITH SCORE 6551.595
AT ITER 142 NEW BEST:: SOT 88026 SOS 42367 HAS SOPS 19014 HAS SOUS 12429 HAS SOUPS 6442 WITH SCORE 6484.367
AT ITER 143 NEW BEST:: SOT 88315 SOS 42329 HAS SOPS 19039 HAS SOUS 12316 HAS SOUPS 6442 WITH SCORE 6484.329
AT ITER 149 NEW BEST:: SOT 88882 SOS 42839 HAS SOPS 18982 HAS SOUS 12479 HAS SOUPS 6385 WITH SCORE 6427.839
AT ITER 151 NEW BEST:: SOT 89930 SOS 43505 HAS SOPS 18600 HAS SOUS 12538 HAS SOUPS 6285 WITH SCORE 6328.505
AT ITER 152 NEW BEST:: SOT 89930 SOS 43478 HAS SOPS 18600 HAS SOUS 12511 HAS SOUPS 6285 WITH SCORE 6328.478
AT ITER 153 NEW BEST:: SOT 89935 SOS 43478 HAS SOPS 18595 HAS SOUS 12511 HAS SOUPS 6280 WITH SCORE 6323.478
AT ITER 155 NEW BEST:: SOT 89983 SOS 43169 HAS SOPS 17833 HAS SOUS 12637 HAS SOUPS 6206 WITH SCORE 6249.169
AT ITER 162 NEW BEST:: SOT 90002 SOS 43167 HAS SOPS 17802 HAS SOUS 12646 HAS SOUPS 6206 WITH SCORE 6249.167
AT ITER 165 NEW BEST:: SOT 90010 SOS 43183 HAS SOPS 17810 HAS SOUS 12520 HAS SOUPS 6199 WITH SCORE 6242.183
AT ITER 167 NEW BEST:: SOT 90091 SOS 42753 HAS SOPS 17595 HAS SOUS 12314 HAS SOUPS 6086 WITH SCORE 6128.753
AT ITER 173 NEW BEST:: SOT 90185 SOS 42305 HAS SOPS 17053 HAS SOUS 12288 HAS SOUPS 6055 WITH SCORE 6097.305
AT ITER 180 NEW BEST:: SOT 90167 SOS 42287 HAS SOPS 17053 HAS SOUS 12279 HAS SOUPS 6055 WITH SCORE 6097.287
AT ITER 181 NEW BEST:: SOT 90195 SOS 42123 HAS SOPS 16861 HAS SOUS 12323 HAS SOUPS 6055 WITH SCORE 6097.123
AT ITER 183 NEW BEST:: SOT 89365 SOS 42135 HAS SOPS 15879 HAS SOUS 12323 HAS SOUPS 5878 WITH SCORE 5920.135
AT ITER 185 NEW BEST:: SOT 89388 SOS 41950 HAS SOPS 15692 HAS SOUS 12281 HAS SOUPS 5857 WITH SCORE 5898.95
AT ITER 191 NEW BEST:: SOT 88827 SOS 42068 HAS SOPS 14697 HAS SOUS 12196 HAS SOUPS 5608 WITH SCORE 5650.068
AT ITER 192 NEW BEST:: SOT 88689 SOS 42471 HAS SOPS 14545 HAS SOUS 12161 HAS SOUPS 5559 WITH SCORE 5601.471
AT ITER 194 NEW BEST:: SOT 88685 SOS 42201 HAS SOPS 14279 HAS SOUS 12125 HAS SOUPS 5546 WITH SCORE 5588.201
AT ITER 197 NEW BEST:: SOT 88594 SOS 42019 HAS SOPS 14188 HAS SOUS 11923 HAS SOUPS 5498 WITH SCORE 5540.019
AT ITER 200 NEW BEST:: SOT 88544 SOS 42014 HAS SOPS 14176 HAS SOUS 11923 HAS SOUPS 5498 WITH SCORE 5540.014
AT ITER 201 NEW BEST:: SOT 88951 SOS 41348 HAS SOPS 14657 HAS SOUS 11849 HAS SOUPS 5498 WITH SCORE 5539.348
AT ITER 207 NEW BEST:: SOT 88981 SOS 41338 HAS SOPS 14631 HAS SOUS 11813 HAS SOUPS 5490 WITH SCORE 5531.338
AT ITER 208 NEW BEST:: SOT 89336 SOS 41112 HAS SOPS 14362 HAS SOUS 11788 HAS SOUPS 5490 WITH SCORE 5531.112
AT ITER 210 NEW BEST:: SOT 89309 SOS 40617 HAS SOPS 13957 HAS SOUS 11660 HAS SOUPS 5474 WITH SCORE 5514.617
AT ITER 217 NEW BEST:: SOT 89379 SOS 40349 HAS SOPS 13619 HAS SOUS 11670 HAS SOUPS 5474 WITH SCORE 5514.349
AT ITER 222 NEW BEST:: SOT 89378 SOS 40347 HAS SOPS 13618 HAS SOUS 11669 HAS SOUPS 5473 WITH SCORE 5513.347
AT ITER 227 NEW BEST:: SOT 89539 SOS 40354 HAS SOPS 13359 HAS SOUS 11763 HAS SOUPS 5371 WITH SCORE 5411.354
AT ITER 228 NEW BEST:: SOT 90301 SOS 40877 HAS SOPS 13211 HAS SOUS 11874 HAS SOUPS 5350 WITH SCORE 5390.877
AT ITER 231 NEW BEST:: SOT 90301 SOS 40835 HAS SOPS 13211 HAS SOUS 11860 HAS SOUPS 5350 WITH SCORE 5390.835
AT ITER 235 NEW BEST:: SOT 90565 SOS 40967 HAS SOPS 12881 HAS SOUS 12025 HAS SOUPS 5303 WITH SCORE 5343.967
AT ITER 236 NEW BEST:: SOT 90559 SOS 40955 HAS SOPS 12875 HAS SOUS 12025 HAS SOUPS 5303 WITH SCORE 5343.955
AT ITER 237 NEW BEST:: SOT 90321 SOS 44799 HAS SOPS 12637 HAS SOUS 11945 HAS SOUPS 5223 WITH SCORE 5267.799
AT ITER 245 NEW BEST:: SOT 89525 SOS 44677 HAS SOPS 12037 HAS SOUS 11681 HAS SOUPS 4861 WITH SCORE 4905.677
AT ITER 247 NEW BEST:: SOT 89522 SOS 44668 HAS SOPS 12028 HAS SOUS 11672 HAS SOUPS 4855 WITH SCORE 4899.668
AT ITER 250 NEW BEST:: SOT 89011 SOS 45254 HAS SOPS 10981 HAS SOUS 11816 HAS SOUPS 4833 WITH SCORE 4878.254
AT ITER 260 NEW BEST:: SOT 88583 SOS 44704 HAS SOPS 10961 HAS SOUS 11778 HAS SOUPS 4811 WITH SCORE 4855.704
AT ITER 261 NEW BEST:: SOT 88419 SOS 44514 HAS SOPS 11073 HAS SOUS 11709 HAS SOUPS 4811 WITH SCORE 4855.514
AT ITER 262 NEW BEST:: SOT 88385 SOS 44491 HAS SOPS 11039 HAS SOUS 11720 HAS SOUPS 4811 WITH SCORE 4855.491
AT ITER 272 NEW BEST:: SOT 88550 SOS 44380 HAS SOPS 10952 HAS SOUS 11616 HAS SOUPS 4770 WITH SCORE 4814.38
AT ITER 286 NEW BEST:: SOT 88485 SOS 44250 HAS SOPS 10999 HAS SOUS 11579 HAS SOUPS 4770 WITH SCORE 4814.25
AT ITER 288 NEW BEST:: SOT 88600 SOS 44319 HAS SOPS 10976 HAS SOUS 11510 HAS SOUPS 4747 WITH SCORE 4791.319
AT ITER 292 NEW BEST:: SOT 88343 SOS 45047 HAS SOPS 10719 HAS SOUS 11463 HAS SOUPS 4654 WITH SCORE 4699.047
AT ITER 293 NEW BEST:: SOT 88317 SOS 45019 HAS SOPS 10741 HAS SOUS 11449 HAS SOUPS 4654 WITH SCORE 4699.019
AT ITER 300 NEW BEST:: SOT 88330 SOS 44565 HAS SOPS 10634 HAS SOUS 11329 HAS SOUPS 4594 WITH SCORE 4638.565
AT ITER 301 NEW BEST:: SOT 88467 SOS 44695 HAS SOPS 10627 HAS SOUS 11387 HAS SOUPS 4587 WITH SCORE 4631.695
AT ITER 302 NEW BEST:: SOT 88530 SOS 44713 HAS SOPS 10609 HAS SOUS 11342 HAS SOUPS 4569 WITH SCORE 4613.713
AT ITER 303 NEW BEST:: SOT 88499 SOS 44682 HAS SOPS 10578 HAS SOUS 11342 HAS SOUPS 4538 WITH SCORE 4582.682
AT ITER 305 NEW BEST:: SOT 88492 SOS 44478 HAS SOPS 10533 HAS SOUS 11321 HAS SOUPS 4519 WITH SCORE 4563.478
AT ITER 306 NEW BEST:: SOT 88417 SOS 44472 HAS SOPS 10530 HAS SOUS 11321 HAS SOUPS 4497 WITH SCORE 4541.472
AT ITER 307 NEW BEST:: SOT 87944 SOS 44037 HAS SOPS 10495 HAS SOUS 11203 HAS SOUPS 4469 WITH SCORE 4513.037
AT ITER 309 NEW BEST:: SOT 88090 SOS 44024 HAS SOPS 10397 HAS SOUS 11125 HAS SOUPS 4452 WITH SCORE 4496.024
AT ITER 312 NEW BEST:: SOT 88307 SOS 44170 HAS SOPS 10326 HAS SOUS 11125 HAS SOUPS 4404 WITH SCORE 4448.17
AT ITER 313 NEW BEST:: SOT 88533 SOS 44438 HAS SOPS 10322 HAS SOUS 11279 HAS SOUPS 4400 WITH SCORE 4444.438
AT ITER 316 NEW BEST:: SOT 88523 SOS 44406 HAS SOPS 10318 HAS SOUS 11267 HAS SOUPS 4394 WITH SCORE 4438.406
AT ITER 318 NEW BEST:: SOT 88515 SOS 44222 HAS SOPS 10310 HAS SOUS 11239 HAS SOUPS 4394 WITH SCORE 4438.222
AT ITER 325 NEW BEST:: SOT 88513 SOS 44217 HAS SOPS 10310 HAS SOUS 11238 HAS SOUPS 4394 WITH SCORE 4438.217
AT ITER 327 NEW BEST:: SOT 88818 SOS 44517 HAS SOPS 10305 HAS SOUS 11281 HAS SOUPS 4389 WITH SCORE 4433.517
AT ITER 336 NEW BEST:: SOT 88818 SOS 44494 HAS SOPS 10305 HAS SOUS 11235 HAS SOUPS 4389 WITH SCORE 4433.494
AT ITER 339 NEW BEST:: SOT 88812 SOS 44486 HAS SOPS 10307 HAS SOUS 11231 HAS SOUPS 4389 WITH SCORE 4433.486
AT ITER 340 NEW BEST:: SOT 88848 SOS 44778 HAS SOPS 10255 HAS SOUS 11231 HAS SOUPS 4367 WITH SCORE 4411.778
AT ITER 341 NEW BEST:: SOT 88783 SOS 44670 HAS SOPS 10234 HAS SOUS 11231 HAS SOUPS 4367 WITH SCORE 4411.67
AT ITER 342 NEW BEST:: SOT 88521 SOS 44422 HAS SOPS 10110 HAS SOUS 11141 HAS SOUPS 4285 WITH SCORE 4329.422
AT ITER 344 NEW BEST:: SOT 89792 SOS 45438 HAS SOPS 9855 HAS SOUS 11367 HAS SOUPS 4218 WITH SCORE 4263.438
AT ITER 348 NEW BEST:: SOT 89780 SOS 45402 HAS SOPS 9831 HAS SOUS 11355 HAS SOUPS 4212 WITH SCORE 4257.402
AT ITER 351 NEW BEST:: SOT 90029 SOS 45476 HAS SOPS 9868 HAS SOUS 11296 HAS SOUPS 4206 WITH SCORE 4251.476
AT ITER 352 NEW BEST:: SOT 90004 SOS 45312 HAS SOPS 9843 HAS SOUS 11286 HAS SOUPS 4206 WITH SCORE 4251.312
AT ITER 361 NEW BEST:: SOT 89979 SOS 45352 HAS SOPS 9638 HAS SOUS 11284 HAS SOUPS 4204 WITH SCORE 4249.352
AT ITER 363 NEW BEST:: SOT 91102 SOS 46358 HAS SOPS 9521 HAS SOUS 11452 HAS SOUPS 4158 WITH SCORE 4204.358
AT ITER 366 NEW BEST:: SOT 89648 SOS 47770 HAS SOPS 7779 HAS SOUS 10597 HAS SOUPS 3235 WITH SCORE 3282.77
AT ITER 371 NEW BEST:: SOT 89732 SOS 47700 HAS SOPS 7829 HAS SOUS 10563 HAS SOUPS 3218 WITH SCORE 3265.7
AT ITER 379 NEW BEST:: SOT 89732 SOS 47613 HAS SOPS 7829 HAS SOUS 10476 HAS SOUPS 3218 WITH SCORE 3265.613
AT ITER 382 NEW BEST:: SOT 89567 SOS 47591 HAS SOPS 7692 HAS SOUS 10469 HAS SOUPS 3183 WITH SCORE 3230.591
AT ITER 383 NEW BEST:: SOT 89545 SOS 47547 HAS SOPS 7670 HAS SOUS 10359 HAS SOUPS 3161 WITH SCORE 3208.547
AT ITER 384 NEW BEST:: SOT 88948 SOS 49925 HAS SOPS 7149 HAS SOUS 10242 HAS SOUPS 3044 WITH SCORE 3093.925
AT ITER 385 NEW BEST:: SOT 88569 SOS 49677 HAS SOPS 6830 HAS SOUS 10071 HAS SOUPS 2843 WITH SCORE 2892.677
AT ITER 398 NEW BEST:: SOT 88692 SOS 49787 HAS SOPS 6817 HAS SOUS 10045 HAS SOUPS 2830 WITH SCORE 2879.787
AT ITER 405 NEW BEST:: SOT 88422 SOS 49562 HAS SOPS 6772 HAS SOUS 10045 HAS SOUPS 2785 WITH SCORE 2834.562
AT ITER 407 NEW BEST:: SOT 88499 SOS 49690 HAS SOPS 6745 HAS SOUS 10051 HAS SOUPS 2765 WITH SCORE 2814.69
AT ITER 408 NEW BEST:: SOT 88406 SOS 49776 HAS SOPS 6720 HAS SOUS 10079 HAS SOUPS 2759 WITH SCORE 2808.776
AT ITER 411 NEW BEST:: SOT 88427 SOS 49776 HAS SOPS 6699 HAS SOUS 10072 HAS SOUPS 2752 WITH SCORE 2801.776
AT ITER 412 NEW BEST:: SOT 88435 SOS 49684 HAS SOPS 6599 HAS SOUS 10080 HAS SOUPS 2752 WITH SCORE 2801.684
AT ITER 414 NEW BEST:: SOT 88471 SOS 49582 HAS SOPS 6200 HAS SOUS 10248 HAS SOUPS 2746 WITH SCORE 2795.582
AT ITER 425 NEW BEST:: SOT 88450 SOS 49540 HAS SOPS 6179 HAS SOUS 10261 HAS SOUPS 2725 WITH SCORE 2774.54
AT ITER 426 NEW BEST:: SOT 88443 SOS 49526 HAS SOPS 6172 HAS SOUS 10250 HAS SOUPS 2718 WITH SCORE 2767.526
AT ITER 432 NEW BEST:: SOT 88443 SOS 49482 HAS SOPS 6172 HAS SOUS 10250 HAS SOUPS 2718 WITH SCORE 2767.482
AT ITER 433 NEW BEST:: SOT 88391 SOS 49222 HAS SOPS 6146 HAS SOUS 10178 HAS SOUPS 2692 WITH SCORE 2741.222
AT ITER 435 NEW BEST:: SOT 88298 SOS 49129 HAS SOPS 6115 HAS SOUS 10174 HAS SOUPS 2661 WITH SCORE 2710.129
AT ITER 439 NEW BEST:: SOT 88274 SOS 49105 HAS SOPS 6115 HAS SOUS 10174 HAS SOUPS 2661 WITH SCORE 2710.105
AT ITER 447 NEW BEST:: SOT 88410 SOS 48629 HAS SOPS 6115 HAS SOUS 9976 HAS SOUPS 2596 WITH SCORE 2644.629
AT ITER 449 NEW BEST:: SOT 88404 SOS 48621 HAS SOPS 6113 HAS SOUS 9967 HAS SOUPS 2594 WITH SCORE 2642.621
AT ITER 451 NEW BEST:: SOT 87995 SOS 48193 HAS SOPS 6016 HAS SOUS 9888 HAS SOUPS 2518 WITH SCORE 2566.193
AT ITER 452 NEW BEST:: SOT 88032 SOS 47955 HAS SOPS 5637 HAS SOUS 10000 HAS SOUPS 2504 WITH SCORE 2551.955
AT ITER 453 NEW BEST:: SOT 88047 SOS 47970 HAS SOPS 5622 HAS SOUS 10009 HAS SOUPS 2498 WITH SCORE 2545.97
AT ITER 455 NEW BEST:: SOT 88112 SOS 47568 HAS SOPS 5535 HAS SOUS 9933 HAS SOUPS 2498 WITH SCORE 2545.568
AT ITER 456 NEW BEST:: SOT 87536 SOS 46992 HAS SOPS 5535 HAS SOUS 9746 HAS SOUPS 2498 WITH SCORE 2544.992
AT ITER 460 NEW BEST:: SOT 87536 SOS 46971 HAS SOPS 5535 HAS SOUS 9725 HAS SOUPS 2498 WITH SCORE 2544.971
AT ITER 464 NEW BEST:: SOT 87526 SOS 47151 HAS SOPS 5365 HAS SOUS 9717 HAS SOUPS 2470 WITH SCORE 2517.151
AT ITER 465 NEW BEST:: SOT 87543 SOS 47127 HAS SOPS 5382 HAS SOUS 9716 HAS SOUPS 2469 WITH SCORE 2516.127
AT ITER 466 NEW BEST:: SOT 87377 SOS 46899 HAS SOPS 5320 HAS SOUS 9590 HAS SOUPS 2448 WITH SCORE 2494.899
AT ITER 469 NEW BEST:: SOT 87105 SOS 46593 HAS SOPS 5286 HAS SOUS 9553 HAS SOUPS 2414 WITH SCORE 2460.593
AT ITER 471 NEW BEST:: SOT 87194 SOS 46624 HAS SOPS 5277 HAS SOUS 9446 HAS SOUPS 2405 WITH SCORE 2451.624
AT ITER 476 NEW BEST:: SOT 87268 SOS 46715 HAS SOPS 5275 HAS SOUS 9444 HAS SOUPS 2403 WITH SCORE 2449.715
AT ITER 479 NEW BEST:: SOT 87263 SOS 46769 HAS SOPS 5270 HAS SOUS 9501 HAS SOUPS 2398 WITH SCORE 2444.769
AT ITER 486 NEW BEST:: SOT 87333 SOS 46769 HAS SOPS 5200 HAS SOUS 9466 HAS SOUPS 2363 WITH SCORE 2409.769
AT ITER 491 NEW BEST:: SOT 87071 SOS 46361 HAS SOPS 5286 HAS SOUS 9367 HAS SOUPS 2335 WITH SCORE 2381.361
AT ITER 495 NEW BEST:: SOT 87168 SOS 46321 HAS SOPS 5227 HAS SOUS 9268 HAS SOUPS 2314 WITH SCORE 2360.321
AT ITER 496 NEW BEST:: SOT 87154 SOS 46300 HAS SOPS 5227 HAS SOUS 9261 HAS SOUPS 2314 WITH SCORE 2360.3
AT ITER 498 NEW BEST:: SOT 87295 SOS 46535 HAS SOPS 5180 HAS SOUS 9308 HAS SOUPS 2267 WITH SCORE 2313.535
AT ITER 511 NEW BEST:: SOT 87314 SOS 46534 HAS SOPS 5173 HAS SOUS 9288 HAS SOUPS 2260 WITH SCORE 2306.534
AT ITER 516 NEW BEST:: SOT 87353 SOS 46599 HAS SOPS 5160 HAS SOUS 9288 HAS SOUPS 2247 WITH SCORE 2293.599
AT ITER 522 NEW BEST:: SOT 87433 SOS 46311 HAS SOPS 4792 HAS SOUS 9185 HAS SOUPS 2191 WITH SCORE 2237.311
AT ITER 528 NEW BEST:: SOT 87614 SOS 46475 HAS SOPS 4775 HAS SOUS 9176 HAS SOUPS 2182 WITH SCORE 2228.475
AT ITER 530 NEW BEST:: SOT 87740 SOS 46595 HAS SOPS 4769 HAS SOUS 9289 HAS SOUPS 2176 WITH SCORE 2222.595
AT ITER 531 NEW BEST:: SOT 87754 SOS 45965 HAS SOPS 4769 HAS SOUS 9289 HAS SOUPS 2176 WITH SCORE 2221.965
AT ITER 533 NEW BEST:: SOT 87742 SOS 45941 HAS SOPS 4769 HAS SOUS 9289 HAS SOUPS 2176 WITH SCORE 2221.941
AT ITER 537 NEW BEST:: SOT 87739 SOS 46019 HAS SOPS 4766 HAS SOUS 9339 HAS SOUPS 2173 WITH SCORE 2219.019
AT ITER 539 NEW BEST:: SOT 87745 SOS 46011 HAS SOPS 4768 HAS SOUS 9339 HAS SOUPS 2173 WITH SCORE 2219.011
AT ITER 542 NEW BEST:: SOT 87657 SOS 45901 HAS SOPS 4768 HAS SOUS 9295 HAS SOUPS 2173 WITH SCORE 2218.901
AT ITER 554 NEW BEST:: SOT 87665 SOS 45845 HAS SOPS 4776 HAS SOUS 9283 HAS SOUPS 2165 WITH SCORE 2210.845
AT ITER 557 NEW BEST:: SOT 87760 SOS 45895 HAS SOPS 4731 HAS SOUS 9269 HAS SOUPS 2151 WITH SCORE 2196.895
AT ITER 558 NEW BEST:: SOT 88160 SOS 46259 HAS SOPS 4695 HAS SOUS 9261 HAS SOUPS 2119 WITH SCORE 2165.259
AT ITER 563 NEW BEST:: SOT 87972 SOS 46075 HAS SOPS 4699 HAS SOUS 9261 HAS SOUPS 2119 WITH SCORE 2165.075
AT ITER 570 NEW BEST:: SOT 88032 SOS 46069 HAS SOPS 4633 HAS SOUS 9244 HAS SOUPS 2098 WITH SCORE 2144.069
AT ITER 583 NEW BEST:: SOT 88001 SOS 46953 HAS SOPS 4516 HAS SOUS 9275 HAS SOUPS 2051 WITH SCORE 2097.953
AT ITER 594 NEW BEST:: SOT 87962 SOS 46797 HAS SOPS 4672 HAS SOUS 9234 HAS SOUPS 2051 WITH SCORE 2097.797
AT ITER 601 NEW BEST:: SOT 88777 SOS 47037 HAS SOPS 4236 HAS SOUS 9177 HAS SOUPS 2017 WITH SCORE 2064.037
AT ITER 602 NEW BEST:: SOT 88972 SOS 46387 HAS SOPS 3391 HAS SOUS 9172 HAS SOUPS 1994 WITH SCORE 2040.387
AT ITER 607 NEW BEST:: SOT 88964 SOS 46271 HAS SOPS 3303 HAS SOUS 9152 HAS SOUPS 1994 WITH SCORE 2040.271
AT ITER 609 NEW BEST:: SOT 89048 SOS 46327 HAS SOPS 3275 HAS SOUS 9124 HAS SOUPS 1966 WITH SCORE 2012.327
AT ITER 610 NEW BEST:: SOT 88928 SOS 46207 HAS SOPS 3275 HAS SOUS 9133 HAS SOUPS 1966 WITH SCORE 2012.207
AT ITER 611 NEW BEST:: SOT 88953 SOS 46087 HAS SOPS 3290 HAS SOUS 9128 HAS SOUPS 1966 WITH SCORE 2012.087
AT ITER 619 NEW BEST:: SOT 89084 SOS 46204 HAS SOPS 3276 HAS SOUS 9114 HAS SOUPS 1952 WITH SCORE 1998.204
AT ITER 625 NEW BEST:: SOT 89149 SOS 45986 HAS SOPS 2993 HAS SOUS 9056 HAS SOUPS 1894 WITH SCORE 1939.986
AT ITER 633 NEW BEST:: SOT 89065 SOS 47765 HAS SOPS 2791 HAS SOUS 9027 HAS SOUPS 1854 WITH SCORE 1901.765
AT ITER 640 NEW BEST:: SOT 88953 SOS 47891 HAS SOPS 2729 HAS SOUS 9035 HAS SOUPS 1837 WITH SCORE 1884.891
AT ITER 642 NEW BEST:: SOT 88657 SOS 47665 HAS SOPS 2677 HAS SOUS 9042 HAS SOUPS 1796 WITH SCORE 1843.665
AT ITER 644 NEW BEST:: SOT 88736 SOS 47727 HAS SOPS 2660 HAS SOUS 9056 HAS SOUPS 1779 WITH SCORE 1826.727
AT ITER 650 NEW BEST:: SOT 88622 SOS 47613 HAS SOPS 2660 HAS SOUS 9093 HAS SOUPS 1779 WITH SCORE 1826.613
AT ITER 654 NEW BEST:: SOT 88614 SOS 47597 HAS SOPS 2652 HAS SOUS 9093 HAS SOUPS 1779 WITH SCORE 1826.597
AT ITER 656 NEW BEST:: SOT 88669 SOS 47623 HAS SOPS 2651 HAS SOUS 9064 HAS SOUPS 1754 WITH SCORE 1801.623
AT ITER 657 NEW BEST:: SOT 88541 SOS 47495 HAS SOPS 2651 HAS SOUS 9041 HAS SOUPS 1754 WITH SCORE 1801.495
AT ITER 659 NEW BEST:: SOT 88800 SOS 47763 HAS SOPS 2610 HAS SOUS 9057 HAS SOUPS 1713 WITH SCORE 1760.763
AT ITER 664 NEW BEST:: SOT 88797 SOS 47801 HAS SOPS 2585 HAS SOUS 9053 HAS SOUPS 1709 WITH SCORE 1756.801
AT ITER 669 NEW BEST:: SOT 88828 SOS 47815 HAS SOPS 2568 HAS SOUS 9042 HAS SOUPS 1692 WITH SCORE 1739.815
AT ITER 672 NEW BEST:: SOT 88867 SOS 47853 HAS SOPS 2567 HAS SOUS 9024 HAS SOUPS 1691 WITH SCORE 1738.853
AT ITER 675 NEW BEST:: SOT 88825 SOS 47811 HAS SOPS 2567 HAS SOUS 9003 HAS SOUPS 1691 WITH SCORE 1738.811
AT ITER 677 NEW BEST:: SOT 88825 SOS 47796 HAS SOPS 2567 HAS SOUS 9000 HAS SOUPS 1691 WITH SCORE 1738.796
AT ITER 679 NEW BEST:: SOT 88821 SOS 47672 HAS SOPS 2447 HAS SOUS 8973 HAS SOUPS 1664 WITH SCORE 1711.672
AT ITER 683 NEW BEST:: SOT 88821 SOS 47664 HAS SOPS 2445 HAS SOUS 8969 HAS SOUPS 1662 WITH SCORE 1709.664
AT ITER 690 NEW BEST:: SOT 88783 SOS 47630 HAS SOPS 2414 HAS SOUS 8952 HAS SOUPS 1645 WITH SCORE 1692.63
AT ITER 695 NEW BEST:: SOT 88799 SOS 47662 HAS SOPS 2384 HAS SOUS 8981 HAS SOUPS 1625 WITH SCORE 1672.662
AT ITER 697 NEW BEST:: SOT 88813 SOS 47655 HAS SOPS 2363 HAS SOUS 8974 HAS SOUPS 1618 WITH SCORE 1665.655
AT ITER 699 NEW BEST:: SOT 88931 SOS 47688 HAS SOPS 2307 HAS SOUS 8923 HAS SOUPS 1596 WITH SCORE 1643.688
AT ITER 701 NEW BEST:: SOT 88781 SOS 47538 HAS SOPS 2307 HAS SOUS 8848 HAS SOUPS 1596 WITH SCORE 1643.538
AT ITER 706 NEW BEST:: SOT 88689 SOS 47440 HAS SOPS 2301 HAS SOUS 8860 HAS SOUPS 1590 WITH SCORE 1637.44
AT ITER 708 NEW BEST:: SOT 88703 SOS 47816 HAS SOPS 2315 HAS SOUS 9042 HAS SOUPS 1588 WITH SCORE 1635.816
AT ITER 710 NEW BEST:: SOT 88906 SOS 47991 HAS SOPS 2210 HAS SOUS 9065 HAS SOUPS 1534 WITH SCORE 1581.991
AT ITER 719 NEW BEST:: SOT 88998 SOS 47945 HAS SOPS 2210 HAS SOUS 9019 HAS SOUPS 1534 WITH SCORE 1581.945
AT ITER 723 NEW BEST:: SOT 88996 SOS 47945 HAS SOPS 2208 HAS SOUS 9018 HAS SOUPS 1532 WITH SCORE 1579.945
AT ITER 733 NEW BEST:: SOT 88974 SOS 47971 HAS SOPS 2186 HAS SOUS 9031 HAS SOUPS 1510 WITH SCORE 1557.971
AT ITER 749 NEW BEST:: SOT 88974 SOS 47847 HAS SOPS 2186 HAS SOUS 9031 HAS SOUPS 1510 WITH SCORE 1557.847
AT ITER 765 NEW BEST:: SOT 88648 SOS 47521 HAS SOPS 2186 HAS SOUS 8868 HAS SOUPS 1510 WITH SCORE 1557.521
AT ITER 766 NEW BEST:: SOT 89238 SOS 48077 HAS SOPS 2152 HAS SOUS 8934 HAS SOUPS 1490 WITH SCORE 1538.077
AT ITER 769 NEW BEST:: SOT 89154 SOS 47909 HAS SOPS 2152 HAS SOUS 8934 HAS SOUPS 1490 WITH SCORE 1537.909
AT ITER 778 NEW BEST:: SOT 89157 SOS 47921 HAS SOPS 2149 HAS SOUS 8930 HAS SOUPS 1486 WITH SCORE 1533.921
AT ITER 781 NEW BEST:: SOT 89396 SOS 48313 HAS SOPS 2130 HAS SOUS 8927 HAS SOUPS 1483 WITH SCORE 1531.313
AT ITER 782 NEW BEST:: SOT 89212 SOS 48129 HAS SOPS 2130 HAS SOUS 8927 HAS SOUPS 1483 WITH SCORE 1531.129
AT ITER 783 NEW BEST:: SOT 89364 SOS 48069 HAS SOPS 1918 HAS SOUS 8886 HAS SOUPS 1392 WITH SCORE 1440.069
AT ITER 790 NEW BEST:: SOT 89354 SOS 48088 HAS SOPS 1908 HAS SOUS 8889 HAS SOUPS 1382 WITH SCORE 1430.088
AT ITER 801 NEW BEST:: SOT 89276 SOS 48010 HAS SOPS 1908 HAS SOUS 8818 HAS SOUPS 1382 WITH SCORE 1430.01
AT ITER 815 NEW BEST:: SOT 89774 SOS 49297 HAS SOPS 1824 HAS SOUS 8815 HAS SOUPS 1379 WITH SCORE 1428.297
AT ITER 825 NEW BEST:: SOT 89781 SOS 49290 HAS SOPS 1817 HAS SOUS 8801 HAS SOUPS 1372 WITH SCORE 1421.29
AT ITER 829 NEW BEST:: SOT 89775 SOS 49284 HAS SOPS 1817 HAS SOUS 8801 HAS SOUPS 1372 WITH SCORE 1421.284
AT ITER 839 NEW BEST:: SOT 89679 SOS 49252 HAS SOPS 1817 HAS SOUS 8833 HAS SOUPS 1372 WITH SCORE 1421.252
AT ITER 842 NEW BEST:: SOT 89583 SOS 49749 HAS SOPS 1774 HAS SOUS 8832 HAS SOUPS 1371 WITH SCORE 1420.749
AT ITER 852 NEW BEST:: SOT 89603 SOS 49749 HAS SOPS 1754 HAS SOUS 8822 HAS SOUPS 1361 WITH SCORE 1410.749
AT ITER 861 NEW BEST:: SOT 90471 SOS 50579 HAS SOPS 1716 HAS SOUS 8986 HAS SOUPS 1337 WITH SCORE 1387.579
AT ITER 880 NEW BEST:: SOT 90471 SOS 50549 HAS SOPS 1716 HAS SOUS 8976 HAS SOUPS 1337 WITH SCORE 1387.549
AT ITER 882 NEW BEST:: SOT 90514 SOS 50683 HAS SOPS 1711 HAS SOUS 8995 HAS SOUPS 1332 WITH SCORE 1382.683
AT ITER 883 NEW BEST:: SOT 90435 SOS 50865 HAS SOPS 1632 HAS SOUS 8962 HAS SOUPS 1299 WITH SCORE 1349.865
AT ITER 889 NEW BEST:: SOT 90451 SOS 50852 HAS SOPS 1623 HAS SOUS 8947 HAS SOUPS 1294 WITH SCORE 1344.852
AT ITER 890 NEW BEST:: SOT 90574 SOS 50893 HAS SOPS 1582 HAS SOUS 8906 HAS SOUPS 1253 WITH SCORE 1303.893
AT ITER 896 NEW BEST:: SOT 90559 SOS 50975 HAS SOPS 1567 HAS SOUS 8947 HAS SOUPS 1238 WITH SCORE 1288.975
AT ITER 905 NEW BEST:: SOT 90559 SOS 50947 HAS SOPS 1567 HAS SOUS 8940 HAS SOUPS 1238 WITH SCORE 1288.9470000000001
AT ITER 906 NEW BEST:: SOT 90584 SOS 50897 HAS SOPS 1552 HAS SOUS 8921 HAS SOUPS 1222 WITH SCORE 1272.897
AT ITER 909 NEW BEST:: SOT 90565 SOS 50880 HAS SOPS 1533 HAS SOUS 8923 HAS SOUPS 1203 WITH SCORE 1253.88
AT ITER 915 NEW BEST:: SOT 90557 SOS 50872 HAS SOPS 1533 HAS SOUS 8921 HAS SOUPS 1203 WITH SCORE 1253.872
AT ITER 921 NEW BEST:: SOT 90557 SOS 50811 HAS SOPS 1533 HAS SOUS 8860 HAS SOUPS 1203 WITH SCORE 1253.811
AT ITER 932 NEW BEST:: SOT 90557 SOS 50800 HAS SOPS 1533 HAS SOUS 8860 HAS SOUPS 1203 WITH SCORE 1253.8
AT ITER 946 NEW BEST:: SOT 90338 SOS 50934 HAS SOPS 1446 HAS SOUS 8828 HAS SOUPS 1161 WITH SCORE 1211.934
AT ITER 957 NEW BEST:: SOT 90345 SOS 50486 HAS SOPS 1453 HAS SOUS 8828 HAS SOUPS 1161 WITH SCORE 1211.486
AT ITER 958 NEW BEST:: SOT 90345 SOS 50469 HAS SOPS 1453 HAS SOUS 8811 HAS SOUPS 1161 WITH SCORE 1211.469
AT ITER 964 NEW BEST:: SOT 90620 SOS 50590 HAS SOPS 1442 HAS SOUS 8659 HAS SOUPS 1152 WITH SCORE 1202.59
AT ITER 966 NEW BEST:: SOT 90623 SOS 50592 HAS SOPS 1441 HAS SOUS 8658 HAS SOUPS 1151 WITH SCORE 1201.592
AT ITER 987 NEW BEST:: SOT 90595 SOS 50646 HAS SOPS 1423 HAS SOUS 8650 HAS SOUPS 1143 WITH SCORE 1193.646
AT ITER 1005 NEW BEST:: SOT 90510 SOS 54828 HAS SOPS 1338 HAS SOUS 8658 HAS SOUPS 1133 WITH SCORE 1187.828
AT ITER 1010 NEW BEST:: SOT 90916 SOS 55276 HAS SOPS 1328 HAS SOUS 8690 HAS SOUPS 1123 WITH SCORE 1178.276
AT ITER 1013 NEW BEST:: SOT 90978 SOS 55304 HAS SOPS 1326 HAS SOUS 8656 HAS SOUPS 1121 WITH SCORE 1176.304
AT ITER 1016 NEW BEST:: SOT 90975 SOS 55368 HAS SOPS 1309 HAS SOUS 8642 HAS SOUPS 1107 WITH SCORE 1162.368
AT ITER 1039 NEW BEST:: SOT 91002 SOS 55392 HAS SOPS 1306 HAS SOUS 8636 HAS SOUPS 1104 WITH SCORE 1159.392
AT ITER 1065 NEW BEST:: SOT 90679 SOS 55604 HAS SOPS 1269 HAS SOUS 8742 HAS SOUPS 1067 WITH SCORE 1122.604
AT ITER 1071 NEW BEST:: SOT 90762 SOS 55728 HAS SOPS 1268 HAS SOUS 8765 HAS SOUPS 1066 WITH SCORE 1121.728
AT ITER 1075 NEW BEST:: SOT 90756 SOS 55716 HAS SOPS 1262 HAS SOUS 8880 HAS SOUPS 1065 WITH SCORE 1120.716
AT ITER 1078 NEW BEST:: SOT 90733 SOS 55749 HAS SOPS 1239 HAS SOUS 8930 HAS SOUPS 1042 WITH SCORE 1097.749
AT ITER 1085 NEW BEST:: SOT 90748 SOS 55752 HAS SOPS 1236 HAS SOUS 8924 HAS SOUPS 1039 WITH SCORE 1094.752
AT ITER 1088 NEW BEST:: SOT 90684 SOS 55720 HAS SOPS 1236 HAS SOUS 8940 HAS SOUPS 1039 WITH SCORE 1094.72
AT ITER 1093 NEW BEST:: SOT 90684 SOS 55650 HAS SOPS 1236 HAS SOUS 8905 HAS SOUPS 1039 WITH SCORE 1094.65
AT ITER 1095 NEW BEST:: SOT 90512 SOS 55478 HAS SOPS 1236 HAS SOUS 8905 HAS SOUPS 1039 WITH SCORE 1094.478
AT ITER 1104 NEW BEST:: SOT 90512 SOS 55385 HAS SOPS 1236 HAS SOUS 8874 HAS SOUPS 1039 WITH SCORE 1094.385
AT ITER 1111 NEW BEST:: SOT 90448 SOS 55321 HAS SOPS 1236 HAS SOUS 8890 HAS SOUPS 1039 WITH SCORE 1094.321
AT ITER 1138 NEW BEST:: SOT 90448 SOS 55246 HAS SOPS 1236 HAS SOUS 8777 HAS SOUPS 1039 WITH SCORE 1094.246
AT ITER 1154 NEW BEST:: SOT 90418 SOS 55216 HAS SOPS 1236 HAS SOUS 8767 HAS SOUPS 1039 WITH SCORE 1094.216
AT ITER 1157 NEW BEST:: SOT 90291 SOS 55282 HAS SOPS 1189 HAS SOUS 8721 HAS SOUPS 993 WITH SCORE 1048.282
AT ITER 1168 NEW BEST:: SOT 90069 SOS 55060 HAS SOPS 1189 HAS SOUS 8721 HAS SOUPS 993 WITH SCORE 1048.06
AT ITER 1193 NEW BEST:: SOT 90015 SOS 55033 HAS SOPS 1189 HAS SOUS 8748 HAS SOUPS 993 WITH SCORE 1048.033
AT ITER 1198 NEW BEST:: SOT 89897 SOS 54974 HAS SOPS 1189 HAS SOUS 8807 HAS SOUPS 993 WITH SCORE 1047.974
AT ITER 1209 NEW BEST:: SOT 89889 SOS 54970 HAS SOPS 1189 HAS SOUS 8807 HAS SOUPS 993 WITH SCORE 1047.97
AT ITER 1211 NEW BEST:: SOT 89967 SOS 55006 HAS SOPS 1187 HAS SOUS 8744 HAS SOUPS 991 WITH SCORE 1046.006
AT ITER 1223 NEW BEST:: SOT 89943 SOS 54982 HAS SOPS 1187 HAS SOUS 8744 HAS SOUPS 991 WITH SCORE 1045.982
AT ITER 1237 NEW BEST:: SOT 89825 SOS 54864 HAS SOPS 1187 HAS SOUS 8685 HAS SOUPS 991 WITH SCORE 1045.864
AT ITER 1239 NEW BEST:: SOT 89817 SOS 54858 HAS SOPS 1187 HAS SOUS 8689 HAS SOUPS 991 WITH SCORE 1045.858
AT ITER 1250 NEW BEST:: SOT 89810 SOS 54844 HAS SOPS 1180 HAS SOUS 8676 HAS SOUPS 972 WITH SCORE 1026.844
AT ITER 1259 NEW BEST:: SOT 89977 SOS 54743 HAS SOPS 1173 HAS SOUS 8582 HAS SOUPS 965 WITH SCORE 1019.743
AT ITER 1275 NEW BEST:: SOT 89977 SOS 54725 HAS SOPS 1173 HAS SOUS 8546 HAS SOUPS 965 WITH SCORE 1019.725
AT ITER 1281 NEW BEST:: SOT 89986 SOS 54808 HAS SOPS 1156 HAS SOUS 8536 HAS SOUPS 955 WITH SCORE 1009.808
AT ITER 1285 NEW BEST:: SOT 89558 SOS 54380 HAS SOPS 1156 HAS SOUS 8536 HAS SOUPS 955 WITH SCORE 1009.38
AT ITER 1301 NEW BEST:: SOT 89472 SOS 54304 HAS SOPS 1154 HAS SOUS 8538 HAS SOUPS 953 WITH SCORE 1007.304
AT ITER 1306 NEW BEST:: SOT 89344 SOS 54790 HAS SOPS 1132 HAS SOUS 8586 HAS SOUPS 948 WITH SCORE 1002.79
AT ITER 1324 NEW BEST:: SOT 89282 SOS 54728 HAS SOPS 1132 HAS SOUS 8551 HAS SOUPS 948 WITH SCORE 1002.728
AT ITER 1325 NEW BEST:: SOT 89196 SOS 54642 HAS SOPS 1132 HAS SOUS 8551 HAS SOUPS 948 WITH SCORE 1002.642
AT ITER 1339 NEW BEST:: SOT 88974 SOS 54531 HAS SOPS 1132 HAS SOUS 8662 HAS SOUPS 948 WITH SCORE 1002.531
AT ITER 1346 NEW BEST:: SOT 88956 SOS 54927 HAS SOPS 1114 HAS SOUS 8656 HAS SOUPS 942 WITH SCORE 996.927
AT ITER 1347 NEW BEST:: SOT 88958 SOS 54915 HAS SOPS 1104 HAS SOUS 8654 HAS SOUPS 940 WITH SCORE 994.915
AT ITER 1375 NEW BEST:: SOT 88977 SOS 55403 HAS SOPS 1048 HAS SOUS 8662 HAS SOUPS 898 WITH SCORE 953.403
AT ITER 1389 NEW BEST:: SOT 88980 SOS 55441 HAS SOPS 1003 HAS SOUS 8646 HAS SOUPS 882 WITH SCORE 937.441
AT ITER 1400 NEW BEST:: SOT 89012 SOS 55345 HAS SOPS 971 HAS SOUS 8614 HAS SOUPS 850 WITH SCORE 905.345
AT ITER 1419 NEW BEST:: SOT 88946 SOS 55290 HAS SOPS 971 HAS SOUS 8636 HAS SOUPS 850 WITH SCORE 905.29
AT ITER 1431 NEW BEST:: SOT 88941 SOS 56036 HAS SOPS 966 HAS SOUS 8662 HAS SOUPS 848 WITH SCORE 904.0360000000001
AT ITER 1437 NEW BEST:: SOT 88793 SOS 55925 HAS SOPS 966 HAS SOUS 8699 HAS SOUPS 848 WITH SCORE 903.925
AT ITER 1443 NEW BEST:: SOT 88681 SOS 55813 HAS SOPS 966 HAS SOUS 8718 HAS SOUPS 848 WITH SCORE 903.813
AT ITER 1449 NEW BEST:: SOT 88726 SOS 55858 HAS SOPS 957 HAS SOUS 8718 HAS SOUPS 839 WITH SCORE 894.858
AT ITER 1470 NEW BEST:: SOT 88712 SOS 55844 HAS SOPS 957 HAS SOUS 8718 HAS SOUPS 839 WITH SCORE 894.844
AT ITER 1476 NEW BEST:: SOT 88430 SOS 55775 HAS SOPS 945 HAS SOUS 8761 HAS SOUPS 837 WITH SCORE 892.775
AT ITER 1483 NEW BEST:: SOT 88416 SOS 56035 HAS SOPS 931 HAS SOUS 8765 HAS SOUPS 832 WITH SCORE 888.035
AT ITER 1497 NEW BEST:: SOT 88412 SOS 56033 HAS SOPS 931 HAS SOUS 8767 HAS SOUPS 832 WITH SCORE 888.033
AT ITER 1499 NEW BEST:: SOT 88300 SOS 55865 HAS SOPS 931 HAS SOUS 8655 HAS SOUPS 832 WITH SCORE 887.865
AT ITER 1502 NEW BEST:: SOT 88170 SOS 55735 HAS SOPS 931 HAS SOUS 8629 HAS SOUPS 832 WITH SCORE 887.735
AT ITER 1504 NEW BEST:: SOT 88195 SOS 55805 HAS SOPS 926 HAS SOUS 8629 HAS SOUPS 827 WITH SCORE 882.805
AT ITER 1514 NEW BEST:: SOT 88195 SOS 55789 HAS SOPS 926 HAS SOUS 8621 HAS SOUPS 827 WITH SCORE 882.789
AT ITER 1526 NEW BEST:: SOT 88177 SOS 55780 HAS SOPS 926 HAS SOUS 8630 HAS SOUPS 827 WITH SCORE 882.78
AT ITER 1533 NEW BEST:: SOT 88197 SOS 55904 HAS SOPS 918 HAS SOUS 8650 HAS SOUPS 819 WITH SCORE 874.904
AT ITER 1539 NEW BEST:: SOT 88191 SOS 55898 HAS SOPS 918 HAS SOUS 8650 HAS SOUPS 819 WITH SCORE 874.898
AT ITER 1548 NEW BEST:: SOT 88217 SOS 55780 HAS SOPS 910 HAS SOUS 8608 HAS SOUPS 811 WITH SCORE 866.78
AT ITER 1550 NEW BEST:: SOT 88225 SOS 55756 HAS SOPS 914 HAS SOUS 8608 HAS SOUPS 811 WITH SCORE 866.756
AT ITER 1561 NEW BEST:: SOT 88238 SOS 55791 HAS SOPS 891 HAS SOUS 8608 HAS SOUPS 802 WITH SCORE 857.791
AT ITER 1567 NEW BEST:: SOT 88148 SOS 55656 HAS SOPS 891 HAS SOUS 8518 HAS SOUPS 802 WITH SCORE 857.656
AT ITER 1571 NEW BEST:: SOT 88148 SOS 55424 HAS SOPS 891 HAS SOUS 8460 HAS SOUPS 802 WITH SCORE 857.424
AT ITER 1600 NEW BEST:: SOT 88078 SOS 55354 HAS SOPS 891 HAS SOUS 8459 HAS SOUPS 802 WITH SCORE 857.354
AT ITER 1621 NEW BEST:: SOT 87898 SOS 55264 HAS SOPS 891 HAS SOUS 8549 HAS SOUPS 802 WITH SCORE 857.264
AT ITER 1640 NEW BEST:: SOT 87882 SOS 55248 HAS SOPS 891 HAS SOUS 8533 HAS SOUPS 802 WITH SCORE 857.248
AT ITER 1648 NEW BEST:: SOT 87870 SOS 55236 HAS SOPS 891 HAS SOUS 8527 HAS SOUPS 802 WITH SCORE 857.236
AT ITER 1649 NEW BEST:: SOT 87870 SOS 55186 HAS SOPS 891 HAS SOUS 8477 HAS SOUPS 802 WITH SCORE 857.186
AT ITER 1657 NEW BEST:: SOT 87766 SOS 55082 HAS SOPS 891 HAS SOUS 8404 HAS SOUPS 802 WITH SCORE 857.082
AT ITER 1663 NEW BEST:: SOT 87766 SOS 55026 HAS SOPS 891 HAS SOUS 8376 HAS SOUPS 802 WITH SCORE 857.026
AT ITER 1679 NEW BEST:: SOT 87766 SOS 54729 HAS SOPS 891 HAS SOUS 8365 HAS SOUPS 802 WITH SCORE 856.729
AT ITER 1682 NEW BEST:: SOT 87748 SOS 54693 HAS SOPS 891 HAS SOUS 8365 HAS SOUPS 802 WITH SCORE 856.693
AT ITER 1699 NEW BEST:: SOT 87739 SOS 54681 HAS SOPS 891 HAS SOUS 8359 HAS SOUPS 802 WITH SCORE 856.681
AT ITER 1703 NEW BEST:: SOT 87703 SOS 54645 HAS SOPS 891 HAS SOUS 8359 HAS SOUPS 802 WITH SCORE 856.645
AT ITER 1705 NEW BEST:: SOT 87705 SOS 54645 HAS SOPS 889 HAS SOUS 8357 HAS SOUPS 800 WITH SCORE 854.645
AT ITER 1706 NEW BEST:: SOT 87645 SOS 54585 HAS SOPS 889 HAS SOUS 8327 HAS SOUPS 800 WITH SCORE 854.585
AT ITER 1714 NEW BEST:: SOT 87677 SOS 54649 HAS SOPS 879 HAS SOUS 8324 HAS SOUPS 797 WITH SCORE 851.649
AT ITER 1721 NEW BEST:: SOT 87679 SOS 54646 HAS SOPS 879 HAS SOUS 8324 HAS SOUPS 797 WITH SCORE 851.646
AT ITER 1741 NEW BEST:: SOT 87671 SOS 54289 HAS SOPS 871 HAS SOUS 8306 HAS SOUPS 789 WITH SCORE 843.289
AT ITER 1776 NEW BEST:: SOT 87868 SOS 54452 HAS SOPS 870 HAS SOUS 8247 HAS SOUPS 788 WITH SCORE 842.452
AT ITER 1790 NEW BEST:: SOT 87877 SOS 54550 HAS SOPS 859 HAS SOUS 8245 HAS SOUPS 786 WITH SCORE 840.55
AT ITER 1801 NEW BEST:: SOT 87869 SOS 54530 HAS SOPS 859 HAS SOUS 8245 HAS SOUPS 786 WITH SCORE 840.53
AT ITER 1808 NEW BEST:: SOT 87843 SOS 54504 HAS SOPS 859 HAS SOUS 8228 HAS SOUPS 786 WITH SCORE 840.504
AT ITER 1824 NEW BEST:: SOT 87877 SOS 54487 HAS SOPS 859 HAS SOUS 8211 HAS SOUPS 786 WITH SCORE 840.487
AT ITER 1835 NEW BEST:: SOT 87853 SOS 54361 HAS SOPS 859 HAS SOUS 8199 HAS SOUPS 786 WITH SCORE 840.361
AT ITER 1843 NEW BEST:: SOT 87853 SOS 54253 HAS SOPS 859 HAS SOUS 8145 HAS SOUPS 786 WITH SCORE 840.253
AT ITER 1849 NEW BEST:: SOT 87717 SOS 54117 HAS SOPS 859 HAS SOUS 8145 HAS SOUPS 786 WITH SCORE 840.117
AT ITER 1888 NEW BEST:: SOT 87657 SOS 54057 HAS SOPS 859 HAS SOUS 8128 HAS SOUPS 786 WITH SCORE 840.057
AT ITER 1893 NEW BEST:: SOT 87629 SOS 54036 HAS SOPS 859 HAS SOUS 8142 HAS SOUPS 786 WITH SCORE 840.0360000000001
AT ITER 1917 NEW BEST:: SOT 87671 SOS 54142 HAS SOPS 857 HAS SOUS 8162 HAS SOUPS 784 WITH SCORE 838.142
AT ITER 1941 NEW BEST:: SOT 87651 SOS 54122 HAS SOPS 857 HAS SOUS 8152 HAS SOUPS 784 WITH SCORE 838.122
AT ITER 1944 NEW BEST:: SOT 87651 SOS 54119 HAS SOPS 857 HAS SOUS 8152 HAS SOUPS 784 WITH SCORE 838.119
AT ITER 1950 NEW BEST:: SOT 87573 SOS 54041 HAS SOPS 857 HAS SOUS 8152 HAS SOUPS 784 WITH SCORE 838.041
AT ITER 1985 NEW BEST:: SOT 87569 SOS 53993 HAS SOPS 857 HAS SOUS 8152 HAS SOUPS 784 WITH SCORE 837.993
AT ITER 2009 NEW BEST:: SOT 87722 SOS 54530 HAS SOPS 856 HAS SOUS 8228 HAS SOUPS 783 WITH SCORE 837.53
AT ITER 2047 NEW BEST:: SOT 87666 SOS 54642 HAS SOPS 828 HAS SOUS 8228 HAS SOUPS 755 WITH SCORE 809.642
AT ITER 2073 NEW BEST:: SOT 87634 SOS 54618 HAS SOPS 828 HAS SOUS 8236 HAS SOUPS 755 WITH SCORE 809.618
AT ITER 2074 NEW BEST:: SOT 87570 SOS 54586 HAS SOPS 828 HAS SOUS 8268 HAS SOUPS 755 WITH SCORE 809.586
AT ITER 2081 NEW BEST:: SOT 87568 SOS 54584 HAS SOPS 828 HAS SOUS 8267 HAS SOUPS 755 WITH SCORE 809.5840000000001
AT ITER 2086 NEW BEST:: SOT 87540 SOS 54549 HAS SOPS 828 HAS SOUS 8225 HAS SOUPS 755 WITH SCORE 809.549
AT ITER 2099 NEW BEST:: SOT 87425 SOS 54434 HAS SOPS 828 HAS SOUS 8225 HAS SOUPS 755 WITH SCORE 809.434
AT ITER 2118 NEW BEST:: SOT 87425 SOS 54378 HAS SOPS 828 HAS SOUS 8211 HAS SOUPS 755 WITH SCORE 809.378
AT ITER 2122 NEW BEST:: SOT 87185 SOS 54108 HAS SOPS 828 HAS SOUS 8099 HAS SOUPS 755 WITH SCORE 809.108
AT ITER 2139 NEW BEST:: SOT 86933 SOS 53856 HAS SOPS 828 HAS SOUS 8049 HAS SOUPS 755 WITH SCORE 808.856
AT ITER 2149 NEW BEST:: SOT 86933 SOS 53849 HAS SOPS 828 HAS SOUS 8035 HAS SOUPS 755 WITH SCORE 808.849
AT ITER 2169 NEW BEST:: SOT 86933 SOS 53839 HAS SOPS 828 HAS SOUS 8015 HAS SOUPS 755 WITH SCORE 808.8389999999999
AT ITER 2213 NEW BEST:: SOT 86825 SOS 53731 HAS SOPS 828 HAS SOUS 8000 HAS SOUPS 755 WITH SCORE 808.731
AT ITER 2219 NEW BEST:: SOT 86765 SOS 53461 HAS SOPS 828 HAS SOUS 8000 HAS SOUPS 755 WITH SCORE 808.461
AT ITER 2252 NEW BEST:: SOT 86705 SOS 53401 HAS SOPS 828 HAS SOUS 7955 HAS SOUPS 755 WITH SCORE 808.401
AT ITER 2275 NEW BEST:: SOT 86489 SOS 53293 HAS SOPS 828 HAS SOUS 8063 HAS SOUPS 755 WITH SCORE 808.293
AT ITER 2333 NEW BEST:: SOT 86489 SOS 53267 HAS SOPS 828 HAS SOUS 8011 HAS SOUPS 755 WITH SCORE 808.267
AT ITER 2345 NEW BEST:: SOT 86469 SOS 53247 HAS SOPS 828 HAS SOUS 8011 HAS SOUPS 755 WITH SCORE 808.247
AT ITER 2361 NEW BEST:: SOT 86469 SOS 53243 HAS SOPS 828 HAS SOUS 8003 HAS SOUPS 755 WITH SCORE 808.243
AT ITER 2370 NEW BEST:: SOT 86457 SOS 53231 HAS SOPS 828 HAS SOUS 7998 HAS SOUPS 755 WITH SCORE 808.231
AT ITER 2389 NEW BEST:: SOT 86361 SOS 53135 HAS SOPS 828 HAS SOUS 7982 HAS SOUPS 755 WITH SCORE 808.135
AT ITER 2391 NEW BEST:: SOT 86361 SOS 52853 HAS SOPS 828 HAS SOUS 7982 HAS SOUPS 755 WITH SCORE 807.853
AT ITER 2396 NEW BEST:: SOT 86361 SOS 52898 HAS SOPS 819 HAS SOUS 7978 HAS SOUPS 751 WITH SCORE 803.898
AT ITER 2419 NEW BEST:: SOT 86303 SOS 52840 HAS SOPS 819 HAS SOUS 7949 HAS SOUPS 751 WITH SCORE 803.84
AT ITER 2432 NEW BEST:: SOT 86207 SOS 52744 HAS SOPS 819 HAS SOUS 7933 HAS SOUPS 751 WITH SCORE 803.744
AT ITER 2465 NEW BEST:: SOT 86187 SOS 52674 HAS SOPS 819 HAS SOUS 7893 HAS SOUPS 751 WITH SCORE 803.674
AT ITER 2489 NEW BEST:: SOT 86169 SOS 52593 HAS SOPS 819 HAS SOUS 7884 HAS SOUPS 751 WITH SCORE 803.593
AT ITER 2532 NEW BEST:: SOT 85817 SOS 52505 HAS SOPS 819 HAS SOUS 7972 HAS SOUPS 751 WITH SCORE 803.505
AT ITER 2564 NEW BEST:: SOT 85773 SOS 52461 HAS SOPS 819 HAS SOUS 7961 HAS SOUPS 751 WITH SCORE 803.461
AT ITER 2579 NEW BEST:: SOT 85693 SOS 52381 HAS SOPS 819 HAS SOUS 7953 HAS SOUPS 751 WITH SCORE 803.381
AT ITER 2583 NEW BEST:: SOT 85659 SOS 52364 HAS SOPS 819 HAS SOUS 7970 HAS SOUPS 751 WITH SCORE 803.364
AT ITER 2588 NEW BEST:: SOT 85657 SOS 52363 HAS SOPS 819 HAS SOUS 7972 HAS SOUPS 751 WITH SCORE 803.363
AT ITER 2604 NEW BEST:: SOT 85537 SOS 52243 HAS SOPS 819 HAS SOUS 7932 HAS SOUPS 751 WITH SCORE 803.243
AT ITER 2635 NEW BEST:: SOT 85524 SOS 52265 HAS SOPS 818 HAS SOUS 7931 HAS SOUPS 750 WITH SCORE 802.265
AT ITER 2638 NEW BEST:: SOT 85524 SOS 52246 HAS SOPS 818 HAS SOUS 7930 HAS SOUPS 750 WITH SCORE 802.246
AT ITER 2640 NEW BEST:: SOT 85304 SOS 52026 HAS SOPS 818 HAS SOUS 7875 HAS SOUPS 750 WITH SCORE 802.026
AT ITER 2665 NEW BEST:: SOT 85304 SOS 51980 HAS SOPS 818 HAS SOUS 7875 HAS SOUPS 750 WITH SCORE 801.98
AT ITER 2679 NEW BEST:: SOT 85328 SOS 51944 HAS SOPS 770 HAS SOUS 7863 HAS SOUPS 738 WITH SCORE 789.944
AT ITER 2721 NEW BEST:: SOT 85346 SOS 52024 HAS SOPS 744 HAS SOUS 7854 HAS SOUPS 729 WITH SCORE 781.024
AT ITER 2769 NEW BEST:: SOT 85329 SOS 51990 HAS SOPS 727 HAS SOUS 7776 HAS SOUPS 718 WITH SCORE 769.99
AT ITER 2784 NEW BEST:: SOT 85330 SOS 51961 HAS SOPS 728 HAS SOUS 7776 HAS SOUPS 718 WITH SCORE 769.961
AT ITER 2817 NEW BEST:: SOT 85326 SOS 51929 HAS SOPS 728 HAS SOUS 7772 HAS SOUPS 718 WITH SCORE 769.929
AT ITER 2822 NEW BEST:: SOT 85254 SOS 51857 HAS SOPS 728 HAS SOUS 7676 HAS SOUPS 718 WITH SCORE 769.857
AT ITER 2828 NEW BEST:: SOT 85120 SOS 51790 HAS SOPS 728 HAS SOUS 7743 HAS SOUPS 718 WITH SCORE 769.79
AT ITER 2842 NEW BEST:: SOT 84988 SOS 51724 HAS SOPS 728 HAS SOUS 7809 HAS SOUPS 718 WITH SCORE 769.724
AT ITER 2864 NEW BEST:: SOT 84940 SOS 51670 HAS SOPS 728 HAS SOUS 7783 HAS SOUPS 718 WITH SCORE 769.67
AT ITER 2915 NEW BEST:: SOT 84940 SOS 51568 HAS SOPS 728 HAS SOUS 7681 HAS SOUPS 718 WITH SCORE 769.568
AT ITER 2948 NEW BEST:: SOT 84704 SOS 51273 HAS SOPS 728 HAS SOUS 7527 HAS SOUPS 718 WITH SCORE 769.273
AT ITER 3004 NEW BEST:: SOT 84768 SOS 51209 HAS SOPS 728 HAS SOUS 7495 HAS SOUPS 718 WITH SCORE 769.2090000000001
AT ITER 3011 NEW BEST:: SOT 84770 SOS 51216 HAS SOPS 727 HAS SOUS 7494 HAS SOUPS 717 WITH SCORE 768.216
AT ITER 3017 NEW BEST:: SOT 85281 SOS 51722 HAS SOPS 722 HAS SOUS 7650 HAS SOUPS 712 WITH SCORE 763.722
AT ITER 3035 NEW BEST:: SOT 85249 SOS 51690 HAS SOPS 722 HAS SOUS 7650 HAS SOUPS 712 WITH SCORE 763.69
AT ITER 3053 NEW BEST:: SOT 85217 SOS 51674 HAS SOPS 722 HAS SOUS 7650 HAS SOUPS 712 WITH SCORE 763.674
AT ITER 3058 NEW BEST:: SOT 85201 SOS 51658 HAS SOPS 722 HAS SOUS 7650 HAS SOUPS 712 WITH SCORE 763.658
AT ITER 3074 NEW BEST:: SOT 85201 SOS 51646 HAS SOPS 722 HAS SOUS 7626 HAS SOUPS 712 WITH SCORE 763.646
AT ITER 3119 NEW BEST:: SOT 85117 SOS 51562 HAS SOPS 722 HAS SOUS 7554 HAS SOUPS 712 WITH SCORE 763.562
AT ITER 3120 NEW BEST:: SOT 85097 SOS 51542 HAS SOPS 722 HAS SOUS 7554 HAS SOUPS 712 WITH SCORE 763.542
AT ITER 3133 NEW BEST:: SOT 85013 SOS 51458 HAS SOPS 722 HAS SOUS 7554 HAS SOUPS 712 WITH SCORE 763.458
AT ITER 3170 NEW BEST:: SOT 85013 SOS 51445 HAS SOPS 722 HAS SOUS 7515 HAS SOUPS 712 WITH SCORE 763.445
AT ITER 3211 NEW BEST:: SOT 84963 SOS 51420 HAS SOPS 722 HAS SOUS 7565 HAS SOUPS 712 WITH SCORE 763.42
AT ITER 3226 NEW BEST:: SOT 84943 SOS 51410 HAS SOPS 722 HAS SOUS 7575 HAS SOUPS 712 WITH SCORE 763.41
AT ITER 3268 NEW BEST:: SOT 84961 SOS 51401 HAS SOPS 722 HAS SOUS 7557 HAS SOUPS 712 WITH SCORE 763.401
AT ITER 3310 NEW BEST:: SOT 84951 SOS 51341 HAS SOPS 722 HAS SOUS 7557 HAS SOUPS 712 WITH SCORE 763.341
AT ITER 3327 NEW BEST:: SOT 84899 SOS 51315 HAS SOPS 722 HAS SOUS 7557 HAS SOUPS 712 WITH SCORE 763.315
AT ITER 3348 NEW BEST:: SOT 84795 SOS 51263 HAS SOPS 722 HAS SOUS 7609 HAS SOUPS 712 WITH SCORE 763.263
AT ITER 3353 NEW BEST:: SOT 84763 SOS 51231 HAS SOPS 722 HAS SOUS 7585 HAS SOUPS 712 WITH SCORE 763.231
AT ITER 3357 NEW BEST:: SOT 84741 SOS 51209 HAS SOPS 722 HAS SOUS 7585 HAS SOUPS 712 WITH SCORE 763.2090000000001
AT ITER 3378 NEW BEST:: SOT 84741 SOS 51141 HAS SOPS 722 HAS SOUS 7585 HAS SOUPS 712 WITH SCORE 763.141
AT ITER 3393 NEW BEST:: SOT 84603 SOS 51003 HAS SOPS 722 HAS SOUS 7585 HAS SOUPS 712 WITH SCORE 763.003
AT ITER 3406 NEW BEST:: SOT 84603 SOS 50952 HAS SOPS 722 HAS SOUS 7568 HAS SOUPS 712 WITH SCORE 762.952
AT ITER 3410 NEW BEST:: SOT 84591 SOS 50940 HAS SOPS 722 HAS SOUS 7565 HAS SOUPS 712 WITH SCORE 762.94
AT ITER 3421 NEW BEST:: SOT 84527 SOS 50876 HAS SOPS 722 HAS SOUS 7559 HAS SOUPS 712 WITH SCORE 762.876
AT ITER 3450 NEW BEST:: SOT 84491 SOS 50837 HAS SOPS 722 HAS SOUS 7553 HAS SOUPS 712 WITH SCORE 762.837
AT ITER 3459 NEW BEST:: SOT 84475 SOS 50821 HAS SOPS 722 HAS SOUS 7537 HAS SOUPS 712 WITH SCORE 762.821
AT ITER 3532 NEW BEST:: SOT 84435 SOS 50791 HAS SOPS 722 HAS SOUS 7547 HAS SOUPS 712 WITH SCORE 762.791
AT ITER 3537 NEW BEST:: SOT 84435 SOS 50786 HAS SOPS 722 HAS SOUS 7545 HAS SOUPS 712 WITH SCORE 762.7860000000001
AT ITER 3550 NEW BEST:: SOT 84429 SOS 50699 HAS SOPS 722 HAS SOUS 7539 HAS SOUPS 712 WITH SCORE 762.699
AT ITER 3594 NEW BEST:: SOT 84403 SOS 50673 HAS SOPS 722 HAS SOUS 7513 HAS SOUPS 712 WITH SCORE 762.673
AT ITER 3605 NEW BEST:: SOT 84291 SOS 50505 HAS SOPS 722 HAS SOUS 7457 HAS SOUPS 712 WITH SCORE 762.505
AT ITER 3613 NEW BEST:: SOT 84287 SOS 50435 HAS SOPS 722 HAS SOUS 7457 HAS SOUPS 712 WITH SCORE 762.435
AT ITER 3641 NEW BEST:: SOT 84271 SOS 50395 HAS SOPS 722 HAS SOUS 7457 HAS SOUPS 712 WITH SCORE 762.395
AT ITER 3644 NEW BEST:: SOT 84211 SOS 50335 HAS SOPS 722 HAS SOUS 7436 HAS SOUPS 712 WITH SCORE 762.335
AT ITER 3665 NEW BEST:: SOT 84211 SOS 50331 HAS SOPS 722 HAS SOUS 7434 HAS SOUPS 712 WITH SCORE 762.331
AT ITER 3678 NEW BEST:: SOT 84203 SOS 50323 HAS SOPS 722 HAS SOUS 7434 HAS SOUPS 712 WITH SCORE 762.323
AT ITER 3698 NEW BEST:: SOT 84178 SOS 50303 HAS SOPS 722 HAS SOUS 7444 HAS SOUPS 712 WITH SCORE 762.303
AT ITER 3741 NEW BEST:: SOT 84178 SOS 50290 HAS SOPS 722 HAS SOUS 7431 HAS SOUPS 712 WITH SCORE 762.29
AT ITER 3761 NEW BEST:: SOT 84250 SOS 50254 HAS SOPS 722 HAS SOUS 7395 HAS SOUPS 712 WITH SCORE 762.254
AT ITER 3786 NEW BEST:: SOT 84250 SOS 50246 HAS SOPS 722 HAS SOUS 7393 HAS SOUPS 712 WITH SCORE 762.246
AT ITER 3841 NEW BEST:: SOT 84235 SOS 50231 HAS SOPS 722 HAS SOUS 7393 HAS SOUPS 712 WITH SCORE 762.231
AT ITER 3850 NEW BEST:: SOT 84220 SOS 50198 HAS SOPS 722 HAS SOUS 7393 HAS SOUPS 712 WITH SCORE 762.198
AT ITER 3858 NEW BEST:: SOT 84088 SOS 50054 HAS SOPS 722 HAS SOUS 7369 HAS SOUPS 712 WITH SCORE 762.054
AT ITER 3910 NEW BEST:: SOT 84082 SOS 50048 HAS SOPS 722 HAS SOUS 7367 HAS SOUPS 712 WITH SCORE 762.048
AT ITER 3953 NEW BEST:: SOT 83910 SOS 49833 HAS SOPS 722 HAS SOUS 7255 HAS SOUPS 712 WITH SCORE 761.833
AT ITER 3995 NEW BEST:: SOT 83905 SOS 49828 HAS SOPS 722 HAS SOUS 7253 HAS SOUPS 712 WITH SCORE 761.828
AT ITER 4029 NEW BEST:: SOT 83901 SOS 49825 HAS SOPS 722 HAS SOUS 7253 HAS SOUPS 712 WITH SCORE 761.825
AT ITER 4032 NEW BEST:: SOT 83901 SOS 49814 HAS SOPS 722 HAS SOUS 7242 HAS SOUPS 712 WITH SCORE 761.814
AT ITER 4049 NEW BEST:: SOT 83869 SOS 49782 HAS SOPS 722 HAS SOUS 7242 HAS SOUPS 712 WITH SCORE 761.782
AT ITER 4057 NEW BEST:: SOT 83869 SOS 49781 HAS SOPS 722 HAS SOUS 7238 HAS SOUPS 712 WITH SCORE 761.781
AT ITER 4111 NEW BEST:: SOT 83835 SOS 49747 HAS SOPS 722 HAS SOUS 7221 HAS SOUPS 712 WITH SCORE 761.747
AT ITER 4139 NEW BEST:: SOT 83665 SOS 49577 HAS SOPS 722 HAS SOUS 7205 HAS SOUPS 712 WITH SCORE 761.577
AT ITER 4152 NEW BEST:: SOT 83611 SOS 49523 HAS SOPS 722 HAS SOUS 7232 HAS SOUPS 712 WITH SCORE 761.523
AT ITER 4190 NEW BEST:: SOT 83607 SOS 49519 HAS SOPS 722 HAS SOUS 7228 HAS SOUPS 712 WITH SCORE 761.519
AT ITER 4219 NEW BEST:: SOT 83577 SOS 49489 HAS SOPS 722 HAS SOUS 7198 HAS SOUPS 712 WITH SCORE 761.489
AT ITER 4226 NEW BEST:: SOT 83551 SOS 49411 HAS SOPS 722 HAS SOUS 7198 HAS SOUPS 712 WITH SCORE 761.4110000000001
AT ITER 4233 NEW BEST:: SOT 83443 SOS 49357 HAS SOPS 722 HAS SOUS 7252 HAS SOUPS 712 WITH SCORE 761.357
AT ITER 4265 NEW BEST:: SOT 83443 SOS 49347 HAS SOPS 722 HAS SOUS 7248 HAS SOUPS 712 WITH SCORE 761.347
AT ITER 4313 NEW BEST:: SOT 83435 SOS 49335 HAS SOPS 722 HAS SOUS 7246 HAS SOUPS 712 WITH SCORE 761.335
AT ITER 4322 NEW BEST:: SOT 83433 SOS 49333 HAS SOPS 722 HAS SOUS 7246 HAS SOUPS 712 WITH SCORE 761.333
AT ITER 4323 NEW BEST:: SOT 83349 SOS 48829 HAS SOPS 722 HAS SOUS 7168 HAS SOUPS 712 WITH SCORE 760.829
AT ITER 4329 NEW BEST:: SOT 83361 SOS 48817 HAS SOPS 722 HAS SOUS 7168 HAS SOUPS 712 WITH SCORE 760.817
AT ITER 4348 NEW BEST:: SOT 83277 SOS 48712 HAS SOPS 722 HAS SOUS 7100 HAS SOUPS 712 WITH SCORE 760.712
AT ITER 4353 NEW BEST:: SOT 83241 SOS 48658 HAS SOPS 722 HAS SOUS 7064 HAS SOUPS 712 WITH SCORE 760.658
AT ITER 4358 NEW BEST:: SOT 83157 SOS 48574 HAS SOPS 722 HAS SOUS 7064 HAS SOUPS 712 WITH SCORE 760.574
AT ITER 4366 NEW BEST:: SOT 83294 SOS 48510 HAS SOPS 703 HAS SOUS 7029 HAS SOUPS 703 WITH SCORE 751.51
AT ITER 4397 NEW BEST:: SOT 83290 SOS 48506 HAS SOPS 703 HAS SOUS 7027 HAS SOUPS 703 WITH SCORE 751.506
AT ITER 4437 NEW BEST:: SOT 83290 SOS 48398 HAS SOPS 703 HAS SOUS 7027 HAS SOUPS 703 WITH SCORE 751.398
AT ITER 4449 NEW BEST:: SOT 83246 SOS 48332 HAS SOPS 703 HAS SOUS 7005 HAS SOUPS 703 WITH SCORE 751.332
AT ITER 4477 NEW BEST:: SOT 83234 SOS 48320 HAS SOPS 703 HAS SOUS 7003 HAS SOUPS 703 WITH SCORE 751.32
AT ITER 4505 NEW BEST:: SOT 83178 SOS 48264 HAS SOPS 703 HAS SOUS 7005 HAS SOUPS 703 WITH SCORE 751.264
AT ITER 4547 NEW BEST:: SOT 83302 SOS 48368 HAS SOPS 699 HAS SOUS 7001 HAS SOUPS 699 WITH SCORE 747.368
AT ITER 4567 NEW BEST:: SOT 83292 SOS 48359 HAS SOPS 699 HAS SOUS 7002 HAS SOUPS 699 WITH SCORE 747.359
AT ITER 4602 NEW BEST:: SOT 83280 SOS 48113 HAS SOPS 699 HAS SOUS 6996 HAS SOUPS 699 WITH SCORE 747.113
AT ITER 4692 NEW BEST:: SOT 82980 SOS 47813 HAS SOPS 699 HAS SOUS 6919 HAS SOUPS 699 WITH SCORE 746.813
AT ITER 4707 NEW BEST:: SOT 82968 SOS 47801 HAS SOPS 699 HAS SOUS 6915 HAS SOUPS 699 WITH SCORE 746.801
AT ITER 4757 NEW BEST:: SOT 82956 SOS 47789 HAS SOPS 699 HAS SOUS 6915 HAS SOUPS 699 WITH SCORE 746.789
AT ITER 4778 NEW BEST:: SOT 82940 SOS 47775 HAS SOPS 699 HAS SOUS 6917 HAS SOUPS 699 WITH SCORE 746.775
AT ITER 4786 NEW BEST:: SOT 82898 SOS 47733 HAS SOPS 699 HAS SOUS 6896 HAS SOUPS 699 WITH SCORE 746.733
AT ITER 4796 NEW BEST:: SOT 82828 SOS 47663 HAS SOPS 699 HAS SOUS 6896 HAS SOUPS 699 WITH SCORE 746.663
AT ITER 4814 NEW BEST:: SOT 82814 SOS 47649 HAS SOPS 699 HAS SOUS 6896 HAS SOUPS 699 WITH SCORE 746.649
AT ITER 4846 NEW BEST:: SOT 82814 SOS 47639 HAS SOPS 699 HAS SOUS 6876 HAS SOUPS 699 WITH SCORE 746.639
AT ITER 4918 NEW BEST:: SOT 82610 SOS 47401 HAS SOPS 699 HAS SOUS 6786 HAS SOUPS 699 WITH SCORE 746.401
AT ITER 4934 NEW BEST:: SOT 82494 SOS 47314 HAS SOPS 699 HAS SOUS 6815 HAS SOUPS 699 WITH SCORE 746.314
AT ITER 4958 NEW BEST:: SOT 82386 SOS 47206 HAS SOPS 699 HAS SOUS 6810 HAS SOUPS 699 WITH SCORE 746.206
AT ITER 4985 NEW BEST:: SOT 82290 SOS 47110 HAS SOPS 699 HAS SOUS 6810 HAS SOUPS 699 WITH SCORE 746.11
AT ITER 5006 NEW BEST:: SOT 82002 SOS 46966 HAS SOPS 699 HAS SOUS 6954 HAS SOUPS 699 WITH SCORE 745.966
AT ITER 5020 NEW BEST:: SOT 81996 SOS 46960 HAS SOPS 699 HAS SOUS 6954 HAS SOUPS 699 WITH SCORE 745.96
AT ITER 5049 NEW BEST:: SOT 81940 SOS 46904 HAS SOPS 699 HAS SOUS 6940 HAS SOUPS 699 WITH SCORE 745.904
AT ITER 5090 NEW BEST:: SOT 81938 SOS 46899 HAS SOPS 699 HAS SOUS 6940 HAS SOUPS 699 WITH SCORE 745.899
AT ITER 5115 NEW BEST:: SOT 81902 SOS 46875 HAS SOPS 699 HAS SOUS 6946 HAS SOUPS 699 WITH SCORE 745.875
AT ITER 5149 NEW BEST:: SOT 81884 SOS 46842 HAS SOPS 699 HAS SOUS 6940 HAS SOUPS 699 WITH SCORE 745.842
AT ITER 5150 NEW BEST:: SOT 81876 SOS 46826 HAS SOPS 699 HAS SOUS 6932 HAS SOUPS 699 WITH SCORE 745.826
AT ITER 5395 NEW BEST:: SOT 81876 SOS 46814 HAS SOPS 699 HAS SOUS 6932 HAS SOUPS 699 WITH SCORE 745.814
AT ITER 5396 NEW BEST:: SOT 81867 SOS 46772 HAS SOPS 699 HAS SOUS 6926 HAS SOUPS 699 WITH SCORE 745.772
AT ITER 5414 NEW BEST:: SOT 81860 SOS 46730 HAS SOPS 699 HAS SOUS 6910 HAS SOUPS 699 WITH SCORE 745.73
AT ITER 5427 NEW BEST:: SOT 81812 SOS 46682 HAS SOPS 699 HAS SOUS 6886 HAS SOUPS 699 WITH SCORE 745.682
AT ITER 5445 NEW BEST:: SOT 81797 SOS 46612 HAS SOPS 699 HAS SOUS 6881 HAS SOUPS 699 WITH SCORE 745.612
AT ITER 5602 NEW BEST:: SOT 81759 SOS 46555 HAS SOPS 699 HAS SOUS 6857 HAS SOUPS 699 WITH SCORE 745.555
AT ITER 5608 NEW BEST:: SOT 81585 SOS 46381 HAS SOPS 699 HAS SOUS 6789 HAS SOUPS 699 WITH SCORE 745.381
AT ITER 5696 NEW BEST:: SOT 81586 SOS 46377 HAS SOPS 699 HAS SOUS 6788 HAS SOUPS 699 WITH SCORE 745.377
AT ITER 5723 NEW BEST:: SOT 81586 SOS 46337 HAS SOPS 699 HAS SOUS 6788 HAS SOUPS 699 WITH SCORE 745.337
AT ITER 5775 NEW BEST:: SOT 81546 SOS 46297 HAS SOPS 699 HAS SOUS 6788 HAS SOUPS 699 WITH SCORE 745.297
AT ITER 5779 NEW BEST:: SOT 81516 SOS 46261 HAS SOPS 699 HAS SOUS 6780 HAS SOUPS 699 WITH SCORE 745.261
AT ITER 5796 NEW BEST:: SOT 81516 SOS 46253 HAS SOPS 699 HAS SOUS 6780 HAS SOUPS 699 WITH SCORE 745.253
AT ITER 5825 NEW BEST:: SOT 81510 SOS 46238 HAS SOPS 699 HAS SOUS 6777 HAS SOUPS 699 WITH SCORE 745.238
AT ITER 5827 NEW BEST:: SOT 81500 SOS 46228 HAS SOPS 699 HAS SOUS 6771 HAS SOUPS 699 WITH SCORE 745.228
AT ITER 5833 NEW BEST:: SOT 81492 SOS 46224 HAS SOPS 699 HAS SOUS 6775 HAS SOUPS 699 WITH SCORE 745.224
AT ITER 5834 NEW BEST:: SOT 81476 SOS 46212 HAS SOPS 699 HAS SOUS 6783 HAS SOUPS 699 WITH SCORE 745.212
AT ITER 5871 NEW BEST:: SOT 81348 SOS 46084 HAS SOPS 699 HAS SOUS 6669 HAS SOUPS 699 WITH SCORE 745.0840000000001
AT ITER 5885 NEW BEST:: SOT 81268 SOS 45984 HAS SOPS 699 HAS SOUS 6669 HAS SOUPS 699 WITH SCORE 744.984
AT ITER 5899 NEW BEST:: SOT 81266 SOS 45982 HAS SOPS 699 HAS SOUS 6666 HAS SOUPS 699 WITH SCORE 744.982
AT ITER 5905 NEW BEST:: SOT 81264 SOS 45965 HAS SOPS 699 HAS SOUS 6665 HAS SOUPS 699 WITH SCORE 744.965
AT ITER 5932 NEW BEST:: SOT 81250 SOS 45937 HAS SOPS 699 HAS SOUS 6665 HAS SOUPS 699 WITH SCORE 744.937
AT ITER 5976 NEW BEST:: SOT 81234 SOS 45921 HAS SOPS 699 HAS SOUS 6657 HAS SOUPS 699 WITH SCORE 744.921
AT ITER 5980 NEW BEST:: SOT 81234 SOS 45897 HAS SOPS 699 HAS SOUS 6651 HAS SOUPS 699 WITH SCORE 744.897
AT ITER 5995 NEW BEST:: SOT 80969 SOS 45685 HAS SOPS 699 HAS SOUS 6725 HAS SOUPS 699 WITH SCORE 744.685
AT ITER 6043 NEW BEST:: SOT 80949 SOS 45665 HAS SOPS 699 HAS SOUS 6725 HAS SOUPS 699 WITH SCORE 744.665
AT ITER 6051 NEW BEST:: SOT 80909 SOS 45620 HAS SOPS 699 HAS SOUS 6716 HAS SOUPS 699 WITH SCORE 744.62
AT ITER 6086 NEW BEST:: SOT 80909 SOS 45616 HAS SOPS 699 HAS SOUS 6716 HAS SOUPS 699 WITH SCORE 744.616
AT ITER 6097 NEW BEST:: SOT 80885 SOS 45592 HAS SOPS 699 HAS SOUS 6722 HAS SOUPS 699 WITH SCORE 744.592
AT ITER 6163 NEW BEST:: SOT 80885 SOS 45591 HAS SOPS 699 HAS SOUS 6720 HAS SOUPS 699 WITH SCORE 744.591
AT ITER 6180 NEW BEST:: SOT 80860 SOS 45566 HAS SOPS 699 HAS SOUS 6720 HAS SOUPS 699 WITH SCORE 744.566
AT ITER 6218 NEW BEST:: SOT 80836 SOS 45474 HAS SOPS 699 HAS SOUS 6716 HAS SOUPS 699 WITH SCORE 744.474
AT ITER 6317 NEW BEST:: SOT 80825 SOS 45459 HAS SOPS 699 HAS SOUS 6714 HAS SOUPS 699 WITH SCORE 744.4590000000001
AT ITER 6339 NEW BEST:: SOT 80807 SOS 45435 HAS SOPS 699 HAS SOUS 6702 HAS SOUPS 699 WITH SCORE 744.435
AT ITER 6343 NEW BEST:: SOT 80791 SOS 45419 HAS SOPS 699 HAS SOUS 6700 HAS SOUPS 699 WITH SCORE 744.419
AT ITER 6371 NEW BEST:: SOT 80757 SOS 45351 HAS SOPS 699 HAS SOUS 6660 HAS SOUPS 699 WITH SCORE 744.351
AT ITER 6453 NEW BEST:: SOT 80753 SOS 45313 HAS SOPS 699 HAS SOUS 6656 HAS SOUPS 699 WITH SCORE 744.313
AT ITER 6469 NEW BEST:: SOT 80669 SOS 45208 HAS SOPS 699 HAS SOUS 6621 HAS SOUPS 699 WITH SCORE 744.208
AT ITER 6477 NEW BEST:: SOT 80701 SOS 45136 HAS SOPS 699 HAS SOUS 6621 HAS SOUPS 699 WITH SCORE 744.136
AT ITER 6579 NEW BEST:: SOT 80689 SOS 45114 HAS SOPS 699 HAS SOUS 6617 HAS SOUPS 699 WITH SCORE 744.114
AT ITER 6642 NEW BEST:: SOT 80689 SOS 45103 HAS SOPS 699 HAS SOUS 6617 HAS SOUPS 699 WITH SCORE 744.103
AT ITER 6724 NEW BEST:: SOT 80679 SOS 45093 HAS SOPS 699 HAS SOUS 6607 HAS SOUPS 699 WITH SCORE 744.093
AT ITER 6793 NEW BEST:: SOT 80679 SOS 45092 HAS SOPS 699 HAS SOUS 6606 HAS SOUPS 699 WITH SCORE 744.092
AT ITER 6801 NEW BEST:: SOT 80431 SOS 44844 HAS SOPS 699 HAS SOUS 6466 HAS SOUPS 699 WITH SCORE 743.844
AT ITER 6808 NEW BEST:: SOT 80433 SOS 44843 HAS SOPS 699 HAS SOUS 6466 HAS SOUPS 699 WITH SCORE 743.843
AT ITER 6809 NEW BEST:: SOT 80429 SOS 44833 HAS SOPS 699 HAS SOUS 6466 HAS SOUPS 699 WITH SCORE 743.833
AT ITER 6941 NEW BEST:: SOT 80405 SOS 44809 HAS SOPS 699 HAS SOUS 6466 HAS SOUPS 699 WITH SCORE 743.809
AT ITER 7035 NEW BEST:: SOT 80405 SOS 44807 HAS SOPS 699 HAS SOUS 6462 HAS SOUPS 699 WITH SCORE 743.807
AT ITER 7147 NEW BEST:: SOT 80381 SOS 44783 HAS SOPS 699 HAS SOUS 6461 HAS SOUPS 699 WITH SCORE 743.783
AT ITER 7166 NEW BEST:: SOT 80369 SOS 44771 HAS SOPS 699 HAS SOUS 6455 HAS SOUPS 699 WITH SCORE 743.771
AT ITER 7208 NEW BEST:: SOT 80361 SOS 44743 HAS SOPS 699 HAS SOUS 6451 HAS SOUPS 699 WITH SCORE 743.743
AT ITER 7216 NEW BEST:: SOT 80357 SOS 44734 HAS SOPS 699 HAS SOUS 6449 HAS SOUPS 699 WITH SCORE 743.734
AT ITER 7317 NEW BEST:: SOT 80363 SOS 44710 HAS SOPS 699 HAS SOUS 6447 HAS SOUPS 699 WITH SCORE 743.71
AT ITER 7328 NEW BEST:: SOT 80379 SOS 44670 HAS SOPS 699 HAS SOUS 6447 HAS SOUPS 699 WITH SCORE 743.67
AT ITER 7554 NEW BEST:: SOT 80369 SOS 44660 HAS SOPS 699 HAS SOUS 6447 HAS SOUPS 699 WITH SCORE 743.66
AT ITER 7691 NEW BEST:: SOT 80335 SOS 44626 HAS SOPS 699 HAS SOUS 6421 HAS SOUPS 699 WITH SCORE 743.626
AT ITER 7696 NEW BEST:: SOT 80313 SOS 44604 HAS SOPS 699 HAS SOUS 6410 HAS SOUPS 699 WITH SCORE 743.604
AT ITER 7708 NEW BEST:: SOT 80313 SOS 44601 HAS SOPS 699 HAS SOUS 6404 HAS SOUPS 699 WITH SCORE 743.601
AT ITER 7711 NEW BEST:: SOT 80167 SOS 44455 HAS SOPS 699 HAS SOUS 6331 HAS SOUPS 699 WITH SCORE 743.455
AT ITER 7721 NEW BEST:: SOT 80095 SOS 44383 HAS SOPS 699 HAS SOUS 6301 HAS SOUPS 699 WITH SCORE 743.383
AT ITER 8114 NEW BEST:: SOT 80095 SOS 44371 HAS SOPS 699 HAS SOUS 6297 HAS SOUPS 699 WITH SCORE 743.371
AT ITER 8146 NEW BEST:: SOT 80079 SOS 44367 HAS SOPS 699 HAS SOUS 6305 HAS SOUPS 699 WITH SCORE 743.367
AT ITER 8149 NEW BEST:: SOT 80071 SOS 44365 HAS SOPS 699 HAS SOUS 6307 HAS SOUPS 699 WITH SCORE 743.365
AT ITER 8219 NEW BEST:: SOT 80071 SOS 44355 HAS SOPS 699 HAS SOUS 6307 HAS SOUPS 699 WITH SCORE 743.355
AT ITER 8285 NEW BEST:: SOT 80023 SOS 44307 HAS SOPS 699 HAS SOUS 6297 HAS SOUPS 699 WITH SCORE 743.307
AT ITER 8326 NEW BEST:: SOT 79913 SOS 44186 HAS SOPS 699 HAS SOUS 6286 HAS SOUPS 699 WITH SCORE 743.186
AT ITER 8430 NEW BEST:: SOT 79891 SOS 44164 HAS SOPS 699 HAS SOUS 6278 HAS SOUPS 699 WITH SCORE 743.164
AT ITER 8467 NEW BEST:: SOT 79891 SOS 44114 HAS SOPS 699 HAS SOUS 6273 HAS SOUPS 699 WITH SCORE 743.114
AT ITER 8533 NEW BEST:: SOT 79889 SOS 44108 HAS SOPS 699 HAS SOUS 6271 HAS SOUPS 699 WITH SCORE 743.108
AT ITER 8558 NEW BEST:: SOT 79879 SOS 44098 HAS SOPS 699 HAS SOUS 6261 HAS SOUPS 699 WITH SCORE 743.098
AT ITER 8619 NEW BEST:: SOT 79879 SOS 44096 HAS SOPS 699 HAS SOUS 6257 HAS SOUPS 699 WITH SCORE 743.096
AT ITER 8783 NEW BEST:: SOT 79841 SOS 44077 HAS SOPS 699 HAS SOUS 6295 HAS SOUPS 699 WITH SCORE 743.077
AT ITER 8784 NEW BEST:: SOT 79841 SOS 44059 HAS SOPS 699 HAS SOUS 6268 HAS SOUPS 699 WITH SCORE 743.059
AT ITER 8812 NEW BEST:: SOT 79829 SOS 44047 HAS SOPS 699 HAS SOUS 6268 HAS SOUPS 699 WITH SCORE 743.047
AT ITER 8918 NEW BEST:: SOT 79785 SOS 44003 HAS SOPS 699 HAS SOUS 6236 HAS SOUPS 699 WITH SCORE 743.003
AT ITER 8933 NEW BEST:: SOT 79781 SOS 43993 HAS SOPS 699 HAS SOUS 6232 HAS SOUPS 699 WITH SCORE 742.993
AT ITER 8973 NEW BEST:: SOT 79733 SOS 43957 HAS SOPS 699 HAS SOUS 6244 HAS SOUPS 699 WITH SCORE 742.957
AT ITER 9011 NEW BEST:: SOT 79731 SOS 43954 HAS SOPS 699 HAS SOUS 6242 HAS SOUPS 699 WITH SCORE 742.954
AT ITER 9017 NEW BEST:: SOT 79731 SOS 43918 HAS SOPS 699 HAS SOUS 6173 HAS SOUPS 699 WITH SCORE 742.918
AT ITER 9041 NEW BEST:: SOT 79737 SOS 43917 HAS SOPS 699 HAS SOUS 6172 HAS SOUPS 699 WITH SCORE 742.917
AT ITER 9102 NEW BEST:: SOT 79557 SOS 43737 HAS SOPS 699 HAS SOUS 6082 HAS SOUPS 699 WITH SCORE 742.737
AT ITER 9144 NEW BEST:: SOT 79555 SOS 43736 HAS SOPS 699 HAS SOUS 6083 HAS SOUPS 699 WITH SCORE 742.736
AT ITER 9253 NEW BEST:: SOT 79363 SOS 43688 HAS SOPS 699 HAS SOUS 6083 HAS SOUPS 699 WITH SCORE 742.688
AT ITER 9303 NEW BEST:: SOT 79359 SOS 43684 HAS SOPS 699 HAS SOUS 6082 HAS SOUPS 699 WITH SCORE 742.684
AT ITER 9331 NEW BEST:: SOT 79453 SOS 43637 HAS SOPS 699 HAS SOUS 6082 HAS SOUPS 699 WITH SCORE 742.637
AT ITER 9369 NEW BEST:: SOT 79447 SOS 43622 HAS SOPS 699 HAS SOUS 6076 HAS SOUPS 699 WITH SCORE 742.622
AT ITER 9383 NEW BEST:: SOT 79441 SOS 43598 HAS SOPS 699 HAS SOUS 6070 HAS SOUPS 699 WITH SCORE 742.598
AT ITER 9425 NEW BEST:: SOT 79417 SOS 43562 HAS SOPS 699 HAS SOUS 6058 HAS SOUPS 699 WITH SCORE 742.562
AT ITER 9485 NEW BEST:: SOT 79404 SOS 43510 HAS SOPS 699 HAS SOUS 6045 HAS SOUPS 699 WITH SCORE 742.51
AT ITER 9496 NEW BEST:: SOT 79388 SOS 43506 HAS SOPS 699 HAS SOUS 6053 HAS SOUPS 699 WITH SCORE 742.506
AT ITER 9539 NEW BEST:: SOT 79348 SOS 43466 HAS SOPS 699 HAS SOUS 6053 HAS SOUPS 699 WITH SCORE 742.466
AT ITER 9613 NEW BEST:: SOT 79324 SOS 43442 HAS SOPS 699 HAS SOUS 6047 HAS SOUPS 699 WITH SCORE 742.442
AT ITER 9653 NEW BEST:: SOT 79309 SOS 43436 HAS SOPS 699 HAS SOUS 6050 HAS SOUPS 699 WITH SCORE 742.436
AT ITER 9698 NEW BEST:: SOT 79307 SOS 43420 HAS SOPS 699 HAS SOUS 6049 HAS SOUPS 699 WITH SCORE 742.42
AT ITER 9709 NEW BEST:: SOT 79307 SOS 43408 HAS SOPS 699 HAS SOUS 6025 HAS SOUPS 699 WITH SCORE 742.408
AT ITER 9729 NEW BEST:: SOT 79293 SOS 43401 HAS SOPS 699 HAS SOUS 6032 HAS SOUPS 699 WITH SCORE 742.401
AT ITER 9730 NEW BEST:: SOT 79293 SOS 43389 HAS SOPS 699 HAS SOUS 6008 HAS SOUPS 699 WITH SCORE 742.389
AT ITER 9867 NEW BEST:: SOT 79247 SOS 43343 HAS SOPS 699 HAS SOUS 6008 HAS SOUPS 699 WITH SCORE 742.343
AT ITER 9882 NEW BEST:: SOT 79235 SOS 43329 HAS SOPS 699 HAS SOUS 6000 HAS SOUPS 699 WITH SCORE 742.329
AT ITER 9916 NEW BEST:: SOT 79221 SOS 43315 HAS SOPS 699 HAS SOUS 5993 HAS SOUPS 699 WITH SCORE 742.315
AT ITER 9978 NEW BEST:: SOT 79217 SOS 43306 HAS SOPS 699 HAS SOUS 5992 HAS SOUPS 699 WITH SCORE 742.306
STATE_SPACE STATES 11417981541647679048466287755595961091061972992 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 199 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 2917294283890981996883136521554768058766334099456 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679431318560

--------------------
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="Eratosthenes-PT-200"
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 Eratosthenes-PT-200, 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 r171-tall-167838858200176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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