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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 12:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 12:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 12:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Feb 25 12:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 99K Feb 25 12:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:06 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 69K 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 1679474086621

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=FlexibleBarrier-PT-04b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 08:34:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 08:34:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 08:34:48] [INFO ] Load time of PNML (sax parser for PT used): 50 ms
[2023-03-22 08:34:48] [INFO ] Transformed 268 places.
[2023-03-22 08:34:48] [INFO ] Transformed 305 transitions.
[2023-03-22 08:34:48] [INFO ] Found NUPN structural information;
[2023-03-22 08:34:48] [INFO ] Parsed PT model containing 268 places and 305 transitions and 743 arcs in 113 ms.
[2023-03-22 08:34:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 268 places, 305 transitions and 743 arcs took 5 ms.
Total runtime 147 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 04b
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: 268 places, 305 transitions, 743 arcs.
AT ITER 0 NEW BEST:: SOT 51847 SOS 21531 HAS SOPS 21531 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.531
AT ITER 3 NEW BEST:: SOT 51869 SOS 21453 HAS SOPS 21453 HAS SOUS 18615 HAS SOUPS 18615 WITH SCORE 18636.453
AT ITER 7 NEW BEST:: SOT 51852 SOS 21202 HAS SOPS 21202 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18605.202
AT ITER 14 NEW BEST:: SOT 51851 SOS 21201 HAS SOPS 21201 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18605.201
AT ITER 18 NEW BEST:: SOT 51868 SOS 21193 HAS SOPS 21193 HAS SOUS 18576 HAS SOUPS 18576 WITH SCORE 18597.193
AT ITER 19 NEW BEST:: SOT 51889 SOS 21255 HAS SOPS 21255 HAS SOUS 18514 HAS SOUPS 18514 WITH SCORE 18535.255
AT ITER 21 NEW BEST:: SOT 51847 SOS 21224 HAS SOPS 21224 HAS SOUS 18509 HAS SOUPS 18509 WITH SCORE 18530.224
AT ITER 23 NEW BEST:: SOT 51847 SOS 21182 HAS SOPS 21182 HAS SOUS 18423 HAS SOUPS 18423 WITH SCORE 18444.182
AT ITER 25 NEW BEST:: SOT 51814 SOS 21138 HAS SOPS 21138 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18410.138
AT ITER 27 NEW BEST:: SOT 51730 SOS 21061 HAS SOPS 21061 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18333.061
AT ITER 35 NEW BEST:: SOT 51619 SOS 20894 HAS SOPS 20894 HAS SOUS 18137 HAS SOUPS 18137 WITH SCORE 18157.894
AT ITER 37 NEW BEST:: SOT 51619 SOS 20894 HAS SOPS 20894 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18154.894
AT ITER 44 NEW BEST:: SOT 51551 SOS 20690 HAS SOPS 20690 HAS SOUS 18090 HAS SOUPS 18090 WITH SCORE 18110.69
AT ITER 55 NEW BEST:: SOT 50864 SOS 21251 HAS SOPS 21251 HAS SOUS 17457 HAS SOUPS 17457 WITH SCORE 17478.251
AT ITER 59 NEW BEST:: SOT 50870 SOS 21208 HAS SOPS 21208 HAS SOUS 17410 HAS SOUPS 17410 WITH SCORE 17431.208
AT ITER 69 NEW BEST:: SOT 50863 SOS 21194 HAS SOPS 21194 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17409.194
AT ITER 74 NEW BEST:: SOT 50805 SOS 21078 HAS SOPS 21078 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17293.078
AT ITER 87 NEW BEST:: SOT 50817 SOS 21076 HAS SOPS 21076 HAS SOUS 17271 HAS SOUPS 17271 WITH SCORE 17292.076
AT ITER 100 NEW BEST:: SOT 50816 SOS 20990 HAS SOPS 20990 HAS SOUS 17265 HAS SOUPS 17265 WITH SCORE 17285.99
AT ITER 101 NEW BEST:: SOT 50850 SOS 19955 HAS SOPS 19955 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17264.955
AT ITER 104 NEW BEST:: SOT 50892 SOS 19997 HAS SOPS 19997 HAS SOUS 17221 HAS SOUPS 17221 WITH SCORE 17240.997
AT ITER 116 NEW BEST:: SOT 49606 SOS 20154 HAS SOPS 20154 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16105.154
AT ITER 129 NEW BEST:: SOT 49580 SOS 20102 HAS SOPS 20102 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16091.102
AT ITER 134 NEW BEST:: SOT 49482 SOS 19955 HAS SOPS 19955 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15991.955
AT ITER 135 NEW BEST:: SOT 49485 SOS 19873 HAS SOPS 19873 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15932.873
AT ITER 141 NEW BEST:: SOT 49477 SOS 19779 HAS SOPS 19779 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15864.779
AT ITER 142 NEW BEST:: SOT 49461 SOS 19747 HAS SOPS 19747 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15848.747
AT ITER 144 NEW BEST:: SOT 49431 SOS 19717 HAS SOPS 19717 HAS SOUS 15822 HAS SOUPS 15822 WITH SCORE 15841.717
AT ITER 151 NEW BEST:: SOT 49396 SOS 19647 HAS SOPS 19647 HAS SOUS 15715 HAS SOUPS 15715 WITH SCORE 15734.647
AT ITER 160 NEW BEST:: SOT 49396 SOS 19636 HAS SOPS 19636 HAS SOUS 15715 HAS SOUPS 15715 WITH SCORE 15734.636
AT ITER 162 NEW BEST:: SOT 49376 SOS 19596 HAS SOPS 19596 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15714.596
AT ITER 167 NEW BEST:: SOT 49364 SOS 19584 HAS SOPS 19584 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15702.584
AT ITER 170 NEW BEST:: SOT 49342 SOS 19540 HAS SOPS 19540 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15635.54
AT ITER 173 NEW BEST:: SOT 49279 SOS 19414 HAS SOPS 19414 HAS SOUS 15512 HAS SOUPS 15512 WITH SCORE 15531.414
AT ITER 175 NEW BEST:: SOT 49238 SOS 19373 HAS SOPS 19373 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15488.373
AT ITER 187 NEW BEST:: SOT 49192 SOS 19163 HAS SOPS 19163 HAS SOUS 15370 HAS SOUPS 15370 WITH SCORE 15389.163
AT ITER 192 NEW BEST:: SOT 49189 SOS 19120 HAS SOPS 19120 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15362.12
AT ITER 205 NEW BEST:: SOT 49185 SOS 19076 HAS SOPS 19076 HAS SOUS 15291 HAS SOUPS 15291 WITH SCORE 15310.076
AT ITER 207 NEW BEST:: SOT 49185 SOS 19019 HAS SOPS 19019 HAS SOUS 15272 HAS SOUPS 15272 WITH SCORE 15291.019
AT ITER 212 NEW BEST:: SOT 49172 SOS 18982 HAS SOPS 18982 HAS SOUS 15253 HAS SOUPS 15253 WITH SCORE 15271.982
AT ITER 213 NEW BEST:: SOT 49139 SOS 18949 HAS SOPS 18949 HAS SOUS 15220 HAS SOUPS 15220 WITH SCORE 15238.949
AT ITER 232 NEW BEST:: SOT 49154 SOS 18931 HAS SOPS 18931 HAS SOUS 15202 HAS SOUPS 15202 WITH SCORE 15220.931
AT ITER 241 NEW BEST:: SOT 49130 SOS 18835 HAS SOPS 18835 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15167.835
AT ITER 250 NEW BEST:: SOT 49109 SOS 18772 HAS SOPS 18772 HAS SOUS 15086 HAS SOUPS 15086 WITH SCORE 15104.772
AT ITER 253 NEW BEST:: SOT 48953 SOS 18729 HAS SOPS 18729 HAS SOUS 14906 HAS SOUPS 14906 WITH SCORE 14924.729
AT ITER 257 NEW BEST:: SOT 48953 SOS 18739 HAS SOPS 18739 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14914.739
AT ITER 260 NEW BEST:: SOT 48918 SOS 18653 HAS SOPS 18653 HAS SOUS 14816 HAS SOUPS 14816 WITH SCORE 14834.653
AT ITER 262 NEW BEST:: SOT 48770 SOS 18357 HAS SOPS 18357 HAS SOUS 14609 HAS SOUPS 14609 WITH SCORE 14627.357
AT ITER 286 NEW BEST:: SOT 48770 SOS 18357 HAS SOPS 18357 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14609.357
AT ITER 292 NEW BEST:: SOT 48770 SOS 18316 HAS SOPS 18316 HAS SOUS 14550 HAS SOUPS 14550 WITH SCORE 14568.316
AT ITER 293 NEW BEST:: SOT 48739 SOS 18254 HAS SOPS 18254 HAS SOUS 14502 HAS SOUPS 14502 WITH SCORE 14520.254
AT ITER 311 NEW BEST:: SOT 48640 SOS 18458 HAS SOPS 18458 HAS SOUS 14481 HAS SOUPS 14481 WITH SCORE 14499.458
AT ITER 313 NEW BEST:: SOT 48505 SOS 18291 HAS SOPS 18291 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14438.291
AT ITER 317 NEW BEST:: SOT 48505 SOS 18291 HAS SOPS 18291 HAS SOUS 14419 HAS SOUPS 14419 WITH SCORE 14437.291
AT ITER 318 NEW BEST:: SOT 48505 SOS 18242 HAS SOPS 18242 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14375.242
AT ITER 323 NEW BEST:: SOT 48494 SOS 18064 HAS SOPS 18064 HAS SOUS 14335 HAS SOUPS 14335 WITH SCORE 14353.064
AT ITER 326 NEW BEST:: SOT 48478 SOS 17978 HAS SOPS 17978 HAS SOUS 14292 HAS SOUPS 14292 WITH SCORE 14309.978
AT ITER 331 NEW BEST:: SOT 48477 SOS 17977 HAS SOPS 17977 HAS SOUS 14280 HAS SOUPS 14280 WITH SCORE 14297.977
AT ITER 334 NEW BEST:: SOT 48391 SOS 17934 HAS SOPS 17934 HAS SOUS 14230 HAS SOUPS 14230 WITH SCORE 14247.934
AT ITER 338 NEW BEST:: SOT 48355 SOS 17691 HAS SOPS 17691 HAS SOUS 14197 HAS SOUPS 14197 WITH SCORE 14214.691
AT ITER 351 NEW BEST:: SOT 48355 SOS 17676 HAS SOPS 17676 HAS SOUS 14181 HAS SOUPS 14181 WITH SCORE 14198.676
AT ITER 356 NEW BEST:: SOT 48355 SOS 17668 HAS SOPS 17668 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14190.668
AT ITER 363 NEW BEST:: SOT 48265 SOS 17631 HAS SOPS 17631 HAS SOUS 14138 HAS SOUPS 14138 WITH SCORE 14155.631
AT ITER 371 NEW BEST:: SOT 48229 SOS 17559 HAS SOPS 17559 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14152.559
AT ITER 373 NEW BEST:: SOT 48215 SOS 17545 HAS SOPS 17545 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14152.545
AT ITER 379 NEW BEST:: SOT 48207 SOS 17471 HAS SOPS 17471 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14124.471
AT ITER 390 NEW BEST:: SOT 48215 SOS 17460 HAS SOPS 17460 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14121.46
AT ITER 394 NEW BEST:: SOT 48249 SOS 17543 HAS SOPS 17543 HAS SOUS 14098 HAS SOUPS 14098 WITH SCORE 14115.543
AT ITER 403 NEW BEST:: SOT 48249 SOS 17546 HAS SOPS 17546 HAS SOUS 14097 HAS SOUPS 14097 WITH SCORE 14114.546
AT ITER 404 NEW BEST:: SOT 47966 SOS 17542 HAS SOPS 17542 HAS SOUS 13963 HAS SOUPS 13963 WITH SCORE 13980.542
AT ITER 406 NEW BEST:: SOT 47973 SOS 17585 HAS SOPS 17585 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13949.585
AT ITER 415 NEW BEST:: SOT 47962 SOS 17574 HAS SOPS 17574 HAS SOUS 13922 HAS SOUPS 13922 WITH SCORE 13939.574
AT ITER 416 NEW BEST:: SOT 47939 SOS 17528 HAS SOPS 17528 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13850.528
AT ITER 420 NEW BEST:: SOT 47925 SOS 17273 HAS SOPS 17273 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13733.273
AT ITER 428 NEW BEST:: SOT 47940 SOS 17207 HAS SOPS 17207 HAS SOUS 13620 HAS SOUPS 13620 WITH SCORE 13637.207
AT ITER 435 NEW BEST:: SOT 47928 SOS 17232 HAS SOPS 17232 HAS SOUS 13619 HAS SOUPS 13619 WITH SCORE 13636.232
AT ITER 442 NEW BEST:: SOT 47880 SOS 17193 HAS SOPS 17193 HAS SOUS 13571 HAS SOUPS 13571 WITH SCORE 13588.193
AT ITER 444 NEW BEST:: SOT 47880 SOS 17181 HAS SOPS 17181 HAS SOUS 13564 HAS SOUPS 13564 WITH SCORE 13581.181
AT ITER 445 NEW BEST:: SOT 47658 SOS 19487 HAS SOPS 19487 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13551.487
AT ITER 446 NEW BEST:: SOT 47658 SOS 19467 HAS SOPS 19467 HAS SOUS 13522 HAS SOUPS 13522 WITH SCORE 13541.467
AT ITER 447 NEW BEST:: SOT 47600 SOS 19286 HAS SOPS 19286 HAS SOUS 13370 HAS SOUPS 13370 WITH SCORE 13389.286
AT ITER 448 NEW BEST:: SOT 47582 SOS 19284 HAS SOPS 19284 HAS SOUS 13362 HAS SOUPS 13362 WITH SCORE 13381.284
AT ITER 454 NEW BEST:: SOT 47603 SOS 19242 HAS SOPS 19242 HAS SOUS 13232 HAS SOUPS 13232 WITH SCORE 13251.242
AT ITER 458 NEW BEST:: SOT 47590 SOS 19216 HAS SOPS 19216 HAS SOUS 13213 HAS SOUPS 13213 WITH SCORE 13232.216
AT ITER 471 NEW BEST:: SOT 47589 SOS 19210 HAS SOPS 19210 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13226.21
AT ITER 474 NEW BEST:: SOT 47587 SOS 19202 HAS SOPS 19202 HAS SOUS 13201 HAS SOUPS 13201 WITH SCORE 13220.202
AT ITER 481 NEW BEST:: SOT 47734 SOS 19205 HAS SOPS 19205 HAS SOUS 13123 HAS SOUPS 13123 WITH SCORE 13142.205
AT ITER 488 NEW BEST:: SOT 47732 SOS 19202 HAS SOPS 19202 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13140.202
AT ITER 489 NEW BEST:: SOT 47721 SOS 19180 HAS SOPS 19180 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13118.18
AT ITER 490 NEW BEST:: SOT 47714 SOS 19176 HAS SOPS 19176 HAS SOUS 13095 HAS SOUPS 13095 WITH SCORE 13114.176
AT ITER 492 NEW BEST:: SOT 47708 SOS 19164 HAS SOPS 19164 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13102.164
AT ITER 495 NEW BEST:: SOT 47662 SOS 19118 HAS SOPS 19118 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13102.118
AT ITER 500 NEW BEST:: SOT 47602 SOS 18980 HAS SOPS 18980 HAS SOUS 13006 HAS SOUPS 13006 WITH SCORE 13024.98
AT ITER 506 NEW BEST:: SOT 47602 SOS 18927 HAS SOPS 18927 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12983.927
AT ITER 510 NEW BEST:: SOT 47562 SOS 18847 HAS SOPS 18847 HAS SOUS 12900 HAS SOUPS 12900 WITH SCORE 12918.847
AT ITER 512 NEW BEST:: SOT 47487 SOS 18743 HAS SOPS 18743 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12860.743
AT ITER 514 NEW BEST:: SOT 47465 SOS 18710 HAS SOPS 18710 HAS SOUS 12820 HAS SOUPS 12820 WITH SCORE 12838.71
AT ITER 517 NEW BEST:: SOT 47452 SOS 18684 HAS SOPS 18684 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12822.684
AT ITER 542 NEW BEST:: SOT 47439 SOS 18658 HAS SOPS 18658 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12796.658
AT ITER 556 NEW BEST:: SOT 47439 SOS 18658 HAS SOPS 18658 HAS SOUS 12777 HAS SOUPS 12777 WITH SCORE 12795.658
AT ITER 557 NEW BEST:: SOT 47397 SOS 18585 HAS SOPS 18585 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12722.585
AT ITER 559 NEW BEST:: SOT 47384 SOS 18572 HAS SOPS 18572 HAS SOUS 12691 HAS SOUPS 12691 WITH SCORE 12709.572
AT ITER 566 NEW BEST:: SOT 47380 SOS 18553 HAS SOPS 18553 HAS SOUS 12690 HAS SOUPS 12690 WITH SCORE 12708.553
AT ITER 567 NEW BEST:: SOT 47312 SOS 18666 HAS SOPS 18666 HAS SOUS 12643 HAS SOUPS 12643 WITH SCORE 12661.666
AT ITER 574 NEW BEST:: SOT 47281 SOS 18604 HAS SOPS 18604 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12599.604
AT ITER 577 NEW BEST:: SOT 47255 SOS 18578 HAS SOPS 18578 HAS SOUS 12581 HAS SOUPS 12581 WITH SCORE 12599.578
AT ITER 578 NEW BEST:: SOT 47255 SOS 18544 HAS SOPS 18544 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12598.544
AT ITER 579 NEW BEST:: SOT 47245 SOS 17644 HAS SOPS 17644 HAS SOUS 12523 HAS SOUPS 12523 WITH SCORE 12540.644
AT ITER 587 NEW BEST:: SOT 47177 SOS 17526 HAS SOPS 17526 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12472.526
AT ITER 588 NEW BEST:: SOT 47147 SOS 17481 HAS SOPS 17481 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12442.481
AT ITER 597 NEW BEST:: SOT 47135 SOS 17441 HAS SOPS 17441 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12414.441
AT ITER 599 NEW BEST:: SOT 47139 SOS 17435 HAS SOPS 17435 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12411.435
AT ITER 601 NEW BEST:: SOT 47156 SOS 17313 HAS SOPS 17313 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12384.313
AT ITER 614 NEW BEST:: SOT 47129 SOS 17313 HAS SOPS 17313 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12366.313
AT ITER 624 NEW BEST:: SOT 47129 SOS 17311 HAS SOPS 17311 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12364.311
AT ITER 629 NEW BEST:: SOT 47053 SOS 17159 HAS SOPS 17159 HAS SOUS 12271 HAS SOUPS 12271 WITH SCORE 12288.159
AT ITER 632 NEW BEST:: SOT 47049 SOS 17137 HAS SOPS 17137 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12270.137
AT ITER 641 NEW BEST:: SOT 47024 SOS 17087 HAS SOPS 17087 HAS SOUS 12203 HAS SOUPS 12203 WITH SCORE 12220.087
AT ITER 646 NEW BEST:: SOT 47013 SOS 17092 HAS SOPS 17092 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12209.092
AT ITER 647 NEW BEST:: SOT 47017 SOS 16857 HAS SOPS 16857 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12203.857
AT ITER 653 NEW BEST:: SOT 47017 SOS 16810 HAS SOPS 16810 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12156.81
AT ITER 656 NEW BEST:: SOT 47017 SOS 16810 HAS SOPS 16810 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12143.81
AT ITER 657 NEW BEST:: SOT 46979 SOS 16810 HAS SOPS 16810 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12105.81
AT ITER 666 NEW BEST:: SOT 46966 SOS 16714 HAS SOPS 16714 HAS SOUS 11993 HAS SOUPS 11993 WITH SCORE 12009.714
AT ITER 667 NEW BEST:: SOT 46964 SOS 16708 HAS SOPS 16708 HAS SOUS 11989 HAS SOUPS 11989 WITH SCORE 12005.708
AT ITER 678 NEW BEST:: SOT 46952 SOS 16674 HAS SOPS 16674 HAS SOUS 11955 HAS SOUPS 11955 WITH SCORE 11971.674
AT ITER 698 NEW BEST:: SOT 46941 SOS 16841 HAS SOPS 16841 HAS SOUS 11944 HAS SOUPS 11944 WITH SCORE 11960.841
AT ITER 710 NEW BEST:: SOT 46959 SOS 16837 HAS SOPS 16837 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11946.837
AT ITER 711 NEW BEST:: SOT 46900 SOS 16660 HAS SOPS 16660 HAS SOUS 11812 HAS SOUPS 11812 WITH SCORE 11828.66
AT ITER 716 NEW BEST:: SOT 46567 SOS 16510 HAS SOPS 16510 HAS SOUS 11600 HAS SOUPS 11600 WITH SCORE 11616.51
AT ITER 722 NEW BEST:: SOT 46509 SOS 17337 HAS SOPS 17337 HAS SOUS 11591 HAS SOUPS 11591 WITH SCORE 11608.337
AT ITER 729 NEW BEST:: SOT 46509 SOS 17325 HAS SOPS 17325 HAS SOUS 11579 HAS SOUPS 11579 WITH SCORE 11596.325
AT ITER 756 NEW BEST:: SOT 46509 SOS 17324 HAS SOPS 17324 HAS SOUS 11579 HAS SOUPS 11579 WITH SCORE 11596.324
AT ITER 766 NEW BEST:: SOT 46500 SOS 17303 HAS SOPS 17303 HAS SOUS 11570 HAS SOUPS 11570 WITH SCORE 11587.303
AT ITER 770 NEW BEST:: SOT 46500 SOS 17301 HAS SOPS 17301 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11580.301
AT ITER 790 NEW BEST:: SOT 46492 SOS 17301 HAS SOPS 17301 HAS SOUS 11555 HAS SOUPS 11555 WITH SCORE 11572.301
AT ITER 797 NEW BEST:: SOT 46489 SOS 17280 HAS SOPS 17280 HAS SOUS 11537 HAS SOUPS 11537 WITH SCORE 11554.28
AT ITER 799 NEW BEST:: SOT 46452 SOS 17206 HAS SOPS 17206 HAS SOUS 11500 HAS SOUPS 11500 WITH SCORE 11517.206
AT ITER 802 NEW BEST:: SOT 46452 SOS 17187 HAS SOPS 17187 HAS SOUS 11496 HAS SOUPS 11496 WITH SCORE 11513.187
AT ITER 806 NEW BEST:: SOT 46439 SOS 17174 HAS SOPS 17174 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11500.174
AT ITER 816 NEW BEST:: SOT 46436 SOS 17171 HAS SOPS 17171 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11497.171
AT ITER 817 NEW BEST:: SOT 46353 SOS 17005 HAS SOPS 17005 HAS SOUS 11349 HAS SOUPS 11349 WITH SCORE 11366.005
AT ITER 822 NEW BEST:: SOT 46332 SOS 16963 HAS SOPS 16963 HAS SOUS 11286 HAS SOUPS 11286 WITH SCORE 11302.963
AT ITER 835 NEW BEST:: SOT 46310 SOS 16919 HAS SOPS 16919 HAS SOUS 11230 HAS SOUPS 11230 WITH SCORE 11246.919
AT ITER 838 NEW BEST:: SOT 46306 SOS 16907 HAS SOPS 16907 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11238.907
AT ITER 848 NEW BEST:: SOT 46306 SOS 16896 HAS SOPS 16896 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11238.896
AT ITER 854 NEW BEST:: SOT 46261 SOS 16822 HAS SOPS 16822 HAS SOUS 11177 HAS SOUPS 11177 WITH SCORE 11193.822
AT ITER 859 NEW BEST:: SOT 46273 SOS 16846 HAS SOPS 16846 HAS SOUS 11176 HAS SOUPS 11176 WITH SCORE 11192.846
AT ITER 864 NEW BEST:: SOT 46265 SOS 16785 HAS SOPS 16785 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11176.785
AT ITER 887 NEW BEST:: SOT 46265 SOS 16748 HAS SOPS 16748 HAS SOUS 11160 HAS SOUPS 11160 WITH SCORE 11176.748
AT ITER 893 NEW BEST:: SOT 46273 SOS 16764 HAS SOPS 16764 HAS SOUS 11157 HAS SOUPS 11157 WITH SCORE 11173.764
AT ITER 906 NEW BEST:: SOT 46200 SOS 16618 HAS SOPS 16618 HAS SOUS 11064 HAS SOUPS 11064 WITH SCORE 11080.618
AT ITER 908 NEW BEST:: SOT 46188 SOS 16636 HAS SOPS 16636 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11068.636
AT ITER 918 NEW BEST:: SOT 46118 SOS 17133 HAS SOPS 17133 HAS SOUS 11013 HAS SOUPS 11013 WITH SCORE 11030.133
AT ITER 928 NEW BEST:: SOT 46107 SOS 17122 HAS SOPS 17122 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11019.122
AT ITER 959 NEW BEST:: SOT 46105 SOS 17089 HAS SOPS 17089 HAS SOUS 10981 HAS SOUPS 10981 WITH SCORE 10998.089
AT ITER 990 NEW BEST:: SOT 46082 SOS 16965 HAS SOPS 16965 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10994.965
AT ITER 996 NEW BEST:: SOT 46082 SOS 16955 HAS SOPS 16955 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10984.955
AT ITER 1000 NEW BEST:: SOT 46082 SOS 16938 HAS SOPS 16938 HAS SOUS 10951 HAS SOUPS 10951 WITH SCORE 10967.938
AT ITER 1014 NEW BEST:: SOT 46087 SOS 16943 HAS SOPS 16943 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10957.943
AT ITER 1026 NEW BEST:: SOT 46088 SOS 16913 HAS SOPS 16913 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10957.913
AT ITER 1027 NEW BEST:: SOT 46110 SOS 16904 HAS SOPS 16904 HAS SOUS 10932 HAS SOUPS 10932 WITH SCORE 10948.904
AT ITER 1033 NEW BEST:: SOT 46109 SOS 16818 HAS SOPS 16818 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10905.818
AT ITER 1034 NEW BEST:: SOT 46095 SOS 16790 HAS SOPS 16790 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10877.79
AT ITER 1044 NEW BEST:: SOT 46095 SOS 16722 HAS SOPS 16722 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10809.722
AT ITER 1055 NEW BEST:: SOT 46094 SOS 16721 HAS SOPS 16721 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10809.721
AT ITER 1062 NEW BEST:: SOT 46094 SOS 16721 HAS SOPS 16721 HAS SOUS 10777 HAS SOUPS 10777 WITH SCORE 10793.721
AT ITER 1070 NEW BEST:: SOT 46083 SOS 16699 HAS SOPS 16699 HAS SOUS 10755 HAS SOUPS 10755 WITH SCORE 10771.699
AT ITER 1082 NEW BEST:: SOT 46083 SOS 16699 HAS SOPS 16699 HAS SOUS 10747 HAS SOUPS 10747 WITH SCORE 10763.699
AT ITER 1086 NEW BEST:: SOT 46060 SOS 16642 HAS SOPS 16642 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10720.642
AT ITER 1104 NEW BEST:: SOT 46060 SOS 16557 HAS SOPS 16557 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10720.557
AT ITER 1105 NEW BEST:: SOT 46045 SOS 16558 HAS SOPS 16558 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10717.558
AT ITER 1132 NEW BEST:: SOT 46041 SOS 16554 HAS SOPS 16554 HAS SOUS 10697 HAS SOUPS 10697 WITH SCORE 10713.554
AT ITER 1133 NEW BEST:: SOT 46036 SOS 16525 HAS SOPS 16525 HAS SOUS 10666 HAS SOUPS 10666 WITH SCORE 10682.525
AT ITER 1144 NEW BEST:: SOT 46013 SOS 16468 HAS SOPS 16468 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10648.468
AT ITER 1165 NEW BEST:: SOT 46013 SOS 16468 HAS SOPS 16468 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10642.468
AT ITER 1175 NEW BEST:: SOT 46007 SOS 16456 HAS SOPS 16456 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10642.456
AT ITER 1180 NEW BEST:: SOT 45960 SOS 16442 HAS SOPS 16442 HAS SOUS 10527 HAS SOUPS 10527 WITH SCORE 10543.442
AT ITER 1188 NEW BEST:: SOT 45960 SOS 16447 HAS SOPS 16447 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10541.447
AT ITER 1209 NEW BEST:: SOT 45957 SOS 16438 HAS SOPS 16438 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10535.438
AT ITER 1211 NEW BEST:: SOT 45936 SOS 16417 HAS SOPS 16417 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10535.417
AT ITER 1219 NEW BEST:: SOT 45926 SOS 16372 HAS SOPS 16372 HAS SOUS 10489 HAS SOUPS 10489 WITH SCORE 10505.372
AT ITER 1232 NEW BEST:: SOT 45902 SOS 16321 HAS SOPS 16321 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10500.321
AT ITER 1233 NEW BEST:: SOT 45864 SOS 16112 HAS SOPS 16112 HAS SOUS 10427 HAS SOUPS 10427 WITH SCORE 10443.112
AT ITER 1256 NEW BEST:: SOT 45864 SOS 16112 HAS SOPS 16112 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10439.112
AT ITER 1257 NEW BEST:: SOT 45855 SOS 16076 HAS SOPS 16076 HAS SOUS 10414 HAS SOUPS 10414 WITH SCORE 10430.076
AT ITER 1300 NEW BEST:: SOT 45870 SOS 16083 HAS SOPS 16083 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10414.083
AT ITER 1301 NEW BEST:: SOT 45859 SOS 16072 HAS SOPS 16072 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10411.072
AT ITER 1309 NEW BEST:: SOT 45853 SOS 16066 HAS SOPS 16066 HAS SOUS 10395 HAS SOUPS 10395 WITH SCORE 10411.066
AT ITER 1311 NEW BEST:: SOT 45855 SOS 16070 HAS SOPS 16070 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10399.07
AT ITER 1312 NEW BEST:: SOT 45879 SOS 16050 HAS SOPS 16050 HAS SOUS 10370 HAS SOUPS 10370 WITH SCORE 10386.05
AT ITER 1317 NEW BEST:: SOT 45872 SOS 16040 HAS SOPS 16040 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10375.04
AT ITER 1338 NEW BEST:: SOT 45846 SOS 15988 HAS SOPS 15988 HAS SOUS 10333 HAS SOUPS 10333 WITH SCORE 10348.988
AT ITER 1348 NEW BEST:: SOT 45840 SOS 15982 HAS SOPS 15982 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10342.982
AT ITER 1372 NEW BEST:: SOT 45825 SOS 15987 HAS SOPS 15987 HAS SOUS 10317 HAS SOUPS 10317 WITH SCORE 10332.987
AT ITER 1377 NEW BEST:: SOT 45809 SOS 15927 HAS SOPS 15927 HAS SOUS 10299 HAS SOUPS 10299 WITH SCORE 10314.927
AT ITER 1409 NEW BEST:: SOT 45793 SOS 16104 HAS SOPS 16104 HAS SOUS 10290 HAS SOUPS 10290 WITH SCORE 10306.104
AT ITER 1441 NEW BEST:: SOT 45790 SOS 16101 HAS SOPS 16101 HAS SOUS 10287 HAS SOUPS 10287 WITH SCORE 10303.101
AT ITER 1444 NEW BEST:: SOT 45786 SOS 16093 HAS SOPS 16093 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10294.093
AT ITER 1454 NEW BEST:: SOT 45785 SOS 16091 HAS SOPS 16091 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10292.091
AT ITER 1472 NEW BEST:: SOT 45787 SOS 16182 HAS SOPS 16182 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10289.182
AT ITER 1477 NEW BEST:: SOT 45777 SOS 16163 HAS SOPS 16163 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10280.163
AT ITER 1480 NEW BEST:: SOT 45776 SOS 16162 HAS SOPS 16162 HAS SOUS 10264 HAS SOUPS 10264 WITH SCORE 10280.162
AT ITER 1490 NEW BEST:: SOT 45775 SOS 16160 HAS SOPS 16160 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10278.16
AT ITER 1493 NEW BEST:: SOT 45768 SOS 16146 HAS SOPS 16146 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10227.146
AT ITER 1494 NEW BEST:: SOT 45764 SOS 16142 HAS SOPS 16142 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10219.142
AT ITER 1497 NEW BEST:: SOT 45756 SOS 16128 HAS SOPS 16128 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10213.128
AT ITER 1500 NEW BEST:: SOT 45756 SOS 16052 HAS SOPS 16052 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10185.052
AT ITER 1501 NEW BEST:: SOT 45744 SOS 16008 HAS SOPS 16008 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10110.008
AT ITER 1507 NEW BEST:: SOT 45720 SOS 15972 HAS SOPS 15972 HAS SOUS 10058 HAS SOUPS 10058 WITH SCORE 10073.972
AT ITER 1526 NEW BEST:: SOT 45725 SOS 15977 HAS SOPS 15977 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10071.977
AT ITER 1562 NEW BEST:: SOT 45720 SOS 15967 HAS SOPS 15967 HAS SOUS 10051 HAS SOUPS 10051 WITH SCORE 10066.967
AT ITER 1574 NEW BEST:: SOT 45706 SOS 15827 HAS SOPS 15827 HAS SOUS 10037 HAS SOUPS 10037 WITH SCORE 10052.827
AT ITER 1584 NEW BEST:: SOT 45673 SOS 15719 HAS SOPS 15719 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10003.719
AT ITER 1588 NEW BEST:: SOT 45654 SOS 15700 HAS SOPS 15700 HAS SOUS 9988 HAS SOUPS 9988 WITH SCORE 10003.7
AT ITER 1624 NEW BEST:: SOT 45654 SOS 15694 HAS SOPS 15694 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9997.694
AT ITER 1640 NEW BEST:: SOT 45650 SOS 15666 HAS SOPS 15666 HAS SOUS 9974 HAS SOUPS 9974 WITH SCORE 9989.666
AT ITER 1641 NEW BEST:: SOT 45650 SOS 15666 HAS SOPS 15666 HAS SOUS 9971 HAS SOUPS 9971 WITH SCORE 9986.666
AT ITER 1649 NEW BEST:: SOT 45676 SOS 15671 HAS SOPS 15671 HAS SOUS 9967 HAS SOUPS 9967 WITH SCORE 9982.671
AT ITER 1675 NEW BEST:: SOT 45661 SOS 15626 HAS SOPS 15626 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9952.626
AT ITER 1677 NEW BEST:: SOT 45654 SOS 15612 HAS SOPS 15612 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9945.612
AT ITER 1681 NEW BEST:: SOT 45652 SOS 15610 HAS SOPS 15610 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9943.61
AT ITER 1689 NEW BEST:: SOT 45653 SOS 15612 HAS SOPS 15612 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9926.612
AT ITER 1696 NEW BEST:: SOT 45653 SOS 15609 HAS SOPS 15609 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9911.609
AT ITER 1702 NEW BEST:: SOT 45653 SOS 15609 HAS SOPS 15609 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9909.609
AT ITER 1731 NEW BEST:: SOT 45649 SOS 15605 HAS SOPS 15605 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9905.605
AT ITER 1739 NEW BEST:: SOT 45644 SOS 15600 HAS SOPS 15600 HAS SOUS 9890 HAS SOUPS 9890 WITH SCORE 9905.6
AT ITER 1746 NEW BEST:: SOT 45644 SOS 15547 HAS SOPS 15547 HAS SOUS 9881 HAS SOUPS 9881 WITH SCORE 9896.547
AT ITER 1747 NEW BEST:: SOT 45578 SOS 15405 HAS SOPS 15405 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9825.405
AT ITER 1748 NEW BEST:: SOT 45581 SOS 15394 HAS SOPS 15394 HAS SOUS 9798 HAS SOUPS 9798 WITH SCORE 9813.394
AT ITER 1770 NEW BEST:: SOT 45574 SOS 15394 HAS SOPS 15394 HAS SOUS 9791 HAS SOUPS 9791 WITH SCORE 9806.394
AT ITER 1789 NEW BEST:: SOT 45589 SOS 15368 HAS SOPS 15368 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9805.368
AT ITER 1801 NEW BEST:: SOT 45575 SOS 15326 HAS SOPS 15326 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9777.326
AT ITER 1810 NEW BEST:: SOT 45579 SOS 15334 HAS SOPS 15334 HAS SOUS 9736 HAS SOUPS 9736 WITH SCORE 9751.334
AT ITER 1818 NEW BEST:: SOT 45579 SOS 15334 HAS SOPS 15334 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9732.334
AT ITER 1835 NEW BEST:: SOT 45602 SOS 15325 HAS SOPS 15325 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9725.325
AT ITER 1836 NEW BEST:: SOT 45602 SOS 15310 HAS SOPS 15310 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9725.31
AT ITER 1841 NEW BEST:: SOT 45602 SOS 15292 HAS SOPS 15292 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9725.292
AT ITER 1846 NEW BEST:: SOT 45592 SOS 15272 HAS SOPS 15272 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9702.272
AT ITER 1870 NEW BEST:: SOT 45589 SOS 15266 HAS SOPS 15266 HAS SOUS 9682 HAS SOUPS 9682 WITH SCORE 9697.266
AT ITER 1892 NEW BEST:: SOT 45587 SOS 15230 HAS SOPS 15230 HAS SOUS 9646 HAS SOUPS 9646 WITH SCORE 9661.23
AT ITER 1893 NEW BEST:: SOT 45582 SOS 15238 HAS SOPS 15238 HAS SOUS 9639 HAS SOUPS 9639 WITH SCORE 9654.238
AT ITER 1897 NEW BEST:: SOT 45536 SOS 15146 HAS SOPS 15146 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9650.146
AT ITER 1919 NEW BEST:: SOT 45518 SOS 15110 HAS SOPS 15110 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9614.11
AT ITER 1921 NEW BEST:: SOT 45556 SOS 15150 HAS SOPS 15150 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9603.15
AT ITER 1937 NEW BEST:: SOT 45544 SOS 15135 HAS SOPS 15135 HAS SOUS 9567 HAS SOUPS 9567 WITH SCORE 9582.135
AT ITER 1949 NEW BEST:: SOT 45512 SOS 15103 HAS SOPS 15103 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9569.103
AT ITER 1951 NEW BEST:: SOT 45507 SOS 15093 HAS SOPS 15093 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9564.093
AT ITER 1954 NEW BEST:: SOT 45492 SOS 15063 HAS SOPS 15063 HAS SOUS 9519 HAS SOUPS 9519 WITH SCORE 9534.063
AT ITER 1960 NEW BEST:: SOT 45494 SOS 15014 HAS SOPS 15014 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9530.014
AT ITER 1992 NEW BEST:: SOT 45494 SOS 14987 HAS SOPS 14987 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9529.987
AT ITER 2024 NEW BEST:: SOT 45495 SOS 14985 HAS SOPS 14985 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9528.985
AT ITER 2048 NEW BEST:: SOT 45494 SOS 14999 HAS SOPS 14999 HAS SOUS 9513 HAS SOUPS 9513 WITH SCORE 9527.999
AT ITER 2062 NEW BEST:: SOT 45491 SOS 14990 HAS SOPS 14990 HAS SOUS 9507 HAS SOUPS 9507 WITH SCORE 9521.99
AT ITER 2107 NEW BEST:: SOT 45487 SOS 14988 HAS SOPS 14988 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9519.988
AT ITER 2149 NEW BEST:: SOT 45472 SOS 14940 HAS SOPS 14940 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9507.94
AT ITER 2169 NEW BEST:: SOT 45472 SOS 14940 HAS SOPS 14940 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9497.94
AT ITER 2182 NEW BEST:: SOT 45473 SOS 14941 HAS SOPS 14941 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9481.941
AT ITER 2187 NEW BEST:: SOT 45468 SOS 14936 HAS SOPS 14936 HAS SOUS 9460 HAS SOUPS 9460 WITH SCORE 9474.936
AT ITER 2190 NEW BEST:: SOT 45458 SOS 14907 HAS SOPS 14907 HAS SOUS 9438 HAS SOUPS 9438 WITH SCORE 9452.907
AT ITER 2235 NEW BEST:: SOT 45489 SOS 14726 HAS SOPS 14726 HAS SOUS 9407 HAS SOUPS 9407 WITH SCORE 9421.726
AT ITER 2248 NEW BEST:: SOT 45484 SOS 14719 HAS SOPS 14719 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9416.719
AT ITER 2276 NEW BEST:: SOT 45476 SOS 14736 HAS SOPS 14736 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9411.736
AT ITER 2278 NEW BEST:: SOT 45476 SOS 14731 HAS SOPS 14731 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9411.731
AT ITER 2280 NEW BEST:: SOT 45451 SOS 14681 HAS SOPS 14681 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9386.681
AT ITER 2308 NEW BEST:: SOT 45451 SOS 14681 HAS SOPS 14681 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9370.681
AT ITER 2314 NEW BEST:: SOT 45404 SOS 14632 HAS SOPS 14632 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9366.632
AT ITER 2325 NEW BEST:: SOT 45413 SOS 14632 HAS SOPS 14632 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9357.632
AT ITER 2342 NEW BEST:: SOT 45407 SOS 14626 HAS SOPS 14626 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9351.626
AT ITER 2352 NEW BEST:: SOT 45407 SOS 14576 HAS SOPS 14576 HAS SOUS 9337 HAS SOUPS 9337 WITH SCORE 9351.576
AT ITER 2365 NEW BEST:: SOT 45407 SOS 14574 HAS SOPS 14574 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9349.574
AT ITER 2368 NEW BEST:: SOT 45407 SOS 14573 HAS SOPS 14573 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9348.573
AT ITER 2398 NEW BEST:: SOT 45407 SOS 14569 HAS SOPS 14569 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9348.569
AT ITER 2414 NEW BEST:: SOT 45401 SOS 14641 HAS SOPS 14641 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9345.641
AT ITER 2431 NEW BEST:: SOT 45366 SOS 14572 HAS SOPS 14572 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9310.572
AT ITER 2463 NEW BEST:: SOT 45357 SOS 14548 HAS SOPS 14548 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9298.548
AT ITER 2472 NEW BEST:: SOT 45368 SOS 13992 HAS SOPS 13992 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9283.992
AT ITER 2480 NEW BEST:: SOT 45368 SOS 13992 HAS SOPS 13992 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9282.992
AT ITER 2581 NEW BEST:: SOT 45364 SOS 13863 HAS SOPS 13863 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9248.863
AT ITER 2601 NEW BEST:: SOT 45319 SOS 13898 HAS SOPS 13898 HAS SOUS 9234 HAS SOUPS 9234 WITH SCORE 9247.898
AT ITER 2606 NEW BEST:: SOT 45313 SOS 13898 HAS SOPS 13898 HAS SOUS 9232 HAS SOUPS 9232 WITH SCORE 9245.898
AT ITER 2629 NEW BEST:: SOT 45285 SOS 13842 HAS SOPS 13842 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9207.842
AT ITER 2657 NEW BEST:: SOT 45283 SOS 13840 HAS SOPS 13840 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9205.84
AT ITER 2685 NEW BEST:: SOT 45283 SOS 13791 HAS SOPS 13791 HAS SOUS 9185 HAS SOUPS 9185 WITH SCORE 9198.791
AT ITER 2701 NEW BEST:: SOT 45283 SOS 13791 HAS SOPS 13791 HAS SOUS 9182 HAS SOUPS 9182 WITH SCORE 9195.791
AT ITER 2708 NEW BEST:: SOT 45283 SOS 13783 HAS SOPS 13783 HAS SOUS 9174 HAS SOUPS 9174 WITH SCORE 9187.783
AT ITER 2726 NEW BEST:: SOT 45283 SOS 13783 HAS SOPS 13783 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9186.783
AT ITER 2776 NEW BEST:: SOT 45277 SOS 13777 HAS SOPS 13777 HAS SOUS 9173 HAS SOUPS 9173 WITH SCORE 9186.777
AT ITER 2786 NEW BEST:: SOT 45223 SOS 13723 HAS SOPS 13723 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9132.723
AT ITER 2796 NEW BEST:: SOT 45211 SOS 13699 HAS SOPS 13699 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9109.699
AT ITER 2799 NEW BEST:: SOT 45221 SOS 13687 HAS SOPS 13687 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9097.687
AT ITER 2818 NEW BEST:: SOT 45233 SOS 13692 HAS SOPS 13692 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9095.692
AT ITER 2837 NEW BEST:: SOT 45223 SOS 13672 HAS SOPS 13672 HAS SOUS 9072 HAS SOUPS 9072 WITH SCORE 9085.672
AT ITER 2846 NEW BEST:: SOT 45221 SOS 13668 HAS SOPS 13668 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9083.668
AT ITER 2868 NEW BEST:: SOT 45212 SOS 13650 HAS SOPS 13650 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9074.65
AT ITER 2883 NEW BEST:: SOT 45203 SOS 13641 HAS SOPS 13641 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9074.641
AT ITER 2903 NEW BEST:: SOT 45209 SOS 13647 HAS SOPS 13647 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9061.647
AT ITER 2922 NEW BEST:: SOT 45207 SOS 13628 HAS SOPS 13628 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9059.628
AT ITER 2926 NEW BEST:: SOT 45299 SOS 13682 HAS SOPS 13682 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9048.682
AT ITER 2928 NEW BEST:: SOT 45295 SOS 13678 HAS SOPS 13678 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9048.678
AT ITER 2963 NEW BEST:: SOT 45295 SOS 13676 HAS SOPS 13676 HAS SOUS 9035 HAS SOUPS 9035 WITH SCORE 9048.676
AT ITER 2974 NEW BEST:: SOT 45274 SOS 13611 HAS SOPS 13611 HAS SOUS 9002 HAS SOUPS 9002 WITH SCORE 9015.611
AT ITER 2983 NEW BEST:: SOT 45276 SOS 13603 HAS SOPS 13603 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9007.603
AT ITER 3034 NEW BEST:: SOT 45263 SOS 13577 HAS SOPS 13577 HAS SOUS 8982 HAS SOUPS 8982 WITH SCORE 8995.577
AT ITER 3085 NEW BEST:: SOT 45257 SOS 13565 HAS SOPS 13565 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8989.565
AT ITER 3096 NEW BEST:: SOT 45257 SOS 13540 HAS SOPS 13540 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8979.54
AT ITER 3102 NEW BEST:: SOT 45249 SOS 13536 HAS SOPS 13536 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8975.536
AT ITER 3129 NEW BEST:: SOT 45249 SOS 13521 HAS SOPS 13521 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8975.521
AT ITER 3134 NEW BEST:: SOT 45249 SOS 13521 HAS SOPS 13521 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8969.521
AT ITER 3140 NEW BEST:: SOT 45240 SOS 13508 HAS SOPS 13508 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8955.508
AT ITER 3187 NEW BEST:: SOT 45190 SOS 13483 HAS SOPS 13483 HAS SOUS 8942 HAS SOUPS 8942 WITH SCORE 8955.483
AT ITER 3200 NEW BEST:: SOT 45190 SOS 13483 HAS SOPS 13483 HAS SOUS 8941 HAS SOUPS 8941 WITH SCORE 8954.483
AT ITER 3234 NEW BEST:: SOT 45198 SOS 13499 HAS SOPS 13499 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8952.499
AT ITER 3257 NEW BEST:: SOT 45198 SOS 13495 HAS SOPS 13495 HAS SOUS 8935 HAS SOUPS 8935 WITH SCORE 8948.495
AT ITER 3289 NEW BEST:: SOT 45178 SOS 13469 HAS SOPS 13469 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8915.469
AT ITER 3291 NEW BEST:: SOT 45172 SOS 13463 HAS SOPS 13463 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8906.463
AT ITER 3295 NEW BEST:: SOT 45176 SOS 13481 HAS SOPS 13481 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8896.481
AT ITER 3317 NEW BEST:: SOT 45166 SOS 13471 HAS SOPS 13471 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8896.471
AT ITER 3319 NEW BEST:: SOT 45166 SOS 13338 HAS SOPS 13338 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8858.338
AT ITER 3326 NEW BEST:: SOT 45170 SOS 13317 HAS SOPS 13317 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8837.317
AT ITER 3329 NEW BEST:: SOT 45161 SOS 13290 HAS SOPS 13290 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8810.29
AT ITER 3350 NEW BEST:: SOT 45161 SOS 13281 HAS SOPS 13281 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8810.281
AT ITER 3403 NEW BEST:: SOT 45150 SOS 13259 HAS SOPS 13259 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8808.259
AT ITER 3411 NEW BEST:: SOT 45150 SOS 13227 HAS SOPS 13227 HAS SOUS 8795 HAS SOUPS 8795 WITH SCORE 8808.227
AT ITER 3434 NEW BEST:: SOT 45150 SOS 13233 HAS SOPS 13233 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8803.233
AT ITER 3447 NEW BEST:: SOT 45149 SOS 13230 HAS SOPS 13230 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8801.23
AT ITER 3469 NEW BEST:: SOT 45142 SOS 13209 HAS SOPS 13209 HAS SOUS 8781 HAS SOUPS 8781 WITH SCORE 8794.209
AT ITER 3512 NEW BEST:: SOT 45140 SOS 13115 HAS SOPS 13115 HAS SOUS 8764 HAS SOUPS 8764 WITH SCORE 8777.115
AT ITER 3516 NEW BEST:: SOT 45078 SOS 13131 HAS SOPS 13131 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8758.131
AT ITER 3530 NEW BEST:: SOT 45078 SOS 13131 HAS SOPS 13131 HAS SOUS 8733 HAS SOUPS 8733 WITH SCORE 8746.131
AT ITER 3534 NEW BEST:: SOT 45078 SOS 13129 HAS SOPS 13129 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8745.129
AT ITER 3554 NEW BEST:: SOT 45076 SOS 13125 HAS SOPS 13125 HAS SOUS 8730 HAS SOUPS 8730 WITH SCORE 8743.125
AT ITER 3570 NEW BEST:: SOT 45081 SOS 13054 HAS SOPS 13054 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8694.054
AT ITER 3582 NEW BEST:: SOT 45079 SOS 13050 HAS SOPS 13050 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8692.05
AT ITER 3600 NEW BEST:: SOT 45062 SOS 13032 HAS SOPS 13032 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8675.032
AT ITER 3655 NEW BEST:: SOT 45062 SOS 13030 HAS SOPS 13030 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8673.03
AT ITER 3658 NEW BEST:: SOT 45051 SOS 13004 HAS SOPS 13004 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8655.004
AT ITER 3662 NEW BEST:: SOT 45052 SOS 12978 HAS SOPS 12978 HAS SOUS 8629 HAS SOUPS 8629 WITH SCORE 8641.978
AT ITER 3677 NEW BEST:: SOT 45056 SOS 12978 HAS SOPS 12978 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8623.978
AT ITER 3690 NEW BEST:: SOT 45058 SOS 12976 HAS SOPS 12976 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8623.976
AT ITER 3759 NEW BEST:: SOT 45058 SOS 12971 HAS SOPS 12971 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8622.971
AT ITER 3770 NEW BEST:: SOT 45056 SOS 12967 HAS SOPS 12967 HAS SOUS 8598 HAS SOUPS 8598 WITH SCORE 8610.967
AT ITER 3777 NEW BEST:: SOT 45075 SOS 12985 HAS SOPS 12985 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8608.985
AT ITER 3783 NEW BEST:: SOT 45071 SOS 12981 HAS SOPS 12981 HAS SOUS 8596 HAS SOUPS 8596 WITH SCORE 8608.981
AT ITER 3810 NEW BEST:: SOT 45055 SOS 12965 HAS SOPS 12965 HAS SOUS 8560 HAS SOUPS 8560 WITH SCORE 8572.965
AT ITER 3811 NEW BEST:: SOT 45049 SOS 12953 HAS SOPS 12953 HAS SOUS 8553 HAS SOUPS 8553 WITH SCORE 8565.953
AT ITER 3813 NEW BEST:: SOT 45049 SOS 12949 HAS SOPS 12949 HAS SOUS 8549 HAS SOUPS 8549 WITH SCORE 8561.949
AT ITER 3829 NEW BEST:: SOT 45057 SOS 12764 HAS SOPS 12764 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8558.764
AT ITER 3843 NEW BEST:: SOT 45052 SOS 12779 HAS SOPS 12779 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8553.779
AT ITER 3878 NEW BEST:: SOT 45052 SOS 12695 HAS SOPS 12695 HAS SOUS 8537 HAS SOUPS 8537 WITH SCORE 8549.695
AT ITER 3887 NEW BEST:: SOT 45050 SOS 12701 HAS SOPS 12701 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8547.701
AT ITER 3935 NEW BEST:: SOT 45036 SOS 12673 HAS SOPS 12673 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8534.673
AT ITER 3960 NEW BEST:: SOT 45036 SOS 12666 HAS SOPS 12666 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8520.666
AT ITER 3966 NEW BEST:: SOT 45036 SOS 12642 HAS SOPS 12642 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8520.642
AT ITER 4024 NEW BEST:: SOT 45028 SOS 12606 HAS SOPS 12606 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8512.606
AT ITER 4084 NEW BEST:: SOT 45026 SOS 12596 HAS SOPS 12596 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8504.596
AT ITER 4092 NEW BEST:: SOT 45026 SOS 12596 HAS SOPS 12596 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8503.596
AT ITER 4123 NEW BEST:: SOT 45052 SOS 12613 HAS SOPS 12613 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8486.613
AT ITER 4128 NEW BEST:: SOT 45045 SOS 12606 HAS SOPS 12606 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8479.606
AT ITER 4142 NEW BEST:: SOT 45039 SOS 12601 HAS SOPS 12601 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8466.601
AT ITER 4159 NEW BEST:: SOT 45039 SOS 12589 HAS SOPS 12589 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8466.589
AT ITER 4161 NEW BEST:: SOT 45046 SOS 12585 HAS SOPS 12585 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8462.585
AT ITER 4224 NEW BEST:: SOT 45055 SOS 12555 HAS SOPS 12555 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8441.555
AT ITER 4236 NEW BEST:: SOT 45049 SOS 12549 HAS SOPS 12549 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8429.549
AT ITER 4257 NEW BEST:: SOT 45047 SOS 12551 HAS SOPS 12551 HAS SOUS 8416 HAS SOUPS 8416 WITH SCORE 8428.551
AT ITER 4287 NEW BEST:: SOT 45091 SOS 12564 HAS SOPS 12564 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8416.564
AT ITER 4299 NEW BEST:: SOT 45092 SOS 12562 HAS SOPS 12562 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8413.562
AT ITER 4316 NEW BEST:: SOT 45085 SOS 12566 HAS SOPS 12566 HAS SOUS 8396 HAS SOUPS 8396 WITH SCORE 8408.566
AT ITER 4317 NEW BEST:: SOT 45084 SOS 12566 HAS SOPS 12566 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8407.566
AT ITER 4338 NEW BEST:: SOT 45089 SOS 12576 HAS SOPS 12576 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8404.576
AT ITER 4412 NEW BEST:: SOT 45086 SOS 12573 HAS SOPS 12573 HAS SOUS 8386 HAS SOUPS 8386 WITH SCORE 8398.573
AT ITER 4434 NEW BEST:: SOT 45083 SOS 12567 HAS SOPS 12567 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8392.567
AT ITER 4456 NEW BEST:: SOT 45083 SOS 12567 HAS SOPS 12567 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8391.567
AT ITER 4476 NEW BEST:: SOT 45083 SOS 12567 HAS SOPS 12567 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8388.567
AT ITER 4479 NEW BEST:: SOT 45070 SOS 12541 HAS SOPS 12541 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8369.541
AT ITER 4501 NEW BEST:: SOT 45075 SOS 12545 HAS SOPS 12545 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8364.545
AT ITER 4536 NEW BEST:: SOT 45063 SOS 12533 HAS SOPS 12533 HAS SOUS 8340 HAS SOUPS 8340 WITH SCORE 8352.533
AT ITER 4551 NEW BEST:: SOT 45063 SOS 12531 HAS SOPS 12531 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8350.531
AT ITER 4556 NEW BEST:: SOT 45063 SOS 12521 HAS SOPS 12521 HAS SOUS 8326 HAS SOUPS 8326 WITH SCORE 8338.521
AT ITER 4563 NEW BEST:: SOT 45083 SOS 12519 HAS SOPS 12519 HAS SOUS 8324 HAS SOUPS 8324 WITH SCORE 8336.519
AT ITER 4576 NEW BEST:: SOT 45075 SOS 12575 HAS SOPS 12575 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8328.575
AT ITER 4663 NEW BEST:: SOT 45066 SOS 12565 HAS SOPS 12565 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8325.565
AT ITER 4677 NEW BEST:: SOT 45052 SOS 12537 HAS SOPS 12537 HAS SOUS 8291 HAS SOUPS 8291 WITH SCORE 8303.537
AT ITER 4689 NEW BEST:: SOT 45046 SOS 12561 HAS SOPS 12561 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8299.561
AT ITER 4707 NEW BEST:: SOT 45040 SOS 12555 HAS SOPS 12555 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8293.555
AT ITER 4714 NEW BEST:: SOT 44993 SOS 12609 HAS SOPS 12609 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8272.609
AT ITER 4726 NEW BEST:: SOT 44993 SOS 12599 HAS SOPS 12599 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8262.599
AT ITER 4732 NEW BEST:: SOT 44984 SOS 12501 HAS SOPS 12501 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8214.501
AT ITER 4751 NEW BEST:: SOT 44982 SOS 12497 HAS SOPS 12497 HAS SOUS 8198 HAS SOUPS 8198 WITH SCORE 8210.497
AT ITER 4763 NEW BEST:: SOT 44959 SOS 12458 HAS SOPS 12458 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8192.458
AT ITER 4811 NEW BEST:: SOT 44954 SOS 12444 HAS SOPS 12444 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8188.444
AT ITER 4814 NEW BEST:: SOT 44953 SOS 12442 HAS SOPS 12442 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8184.442
AT ITER 4839 NEW BEST:: SOT 44955 SOS 12419 HAS SOPS 12419 HAS SOUS 8163 HAS SOUPS 8163 WITH SCORE 8175.419
AT ITER 4852 NEW BEST:: SOT 44951 SOS 12411 HAS SOPS 12411 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8167.411
AT ITER 4894 NEW BEST:: SOT 44928 SOS 12554 HAS SOPS 12554 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8163.554
AT ITER 4898 NEW BEST:: SOT 44913 SOS 12509 HAS SOPS 12509 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8148.509
AT ITER 5099 NEW BEST:: SOT 44894 SOS 12490 HAS SOPS 12490 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8144.49
AT ITER 5148 NEW BEST:: SOT 44885 SOS 12481 HAS SOPS 12481 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8130.481
AT ITER 5170 NEW BEST:: SOT 44879 SOS 12499 HAS SOPS 12499 HAS SOUS 8117 HAS SOUPS 8117 WITH SCORE 8129.499
AT ITER 5173 NEW BEST:: SOT 44878 SOS 12464 HAS SOPS 12464 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8123.464
AT ITER 5201 NEW BEST:: SOT 44878 SOS 12440 HAS SOPS 12440 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8101.44
AT ITER 5233 NEW BEST:: SOT 44852 SOS 12395 HAS SOPS 12395 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8083.395
AT ITER 5249 NEW BEST:: SOT 44844 SOS 12379 HAS SOPS 12379 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8067.379
AT ITER 5255 NEW BEST:: SOT 44822 SOS 12313 HAS SOPS 12313 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8067.313
AT ITER 5259 NEW BEST:: SOT 44820 SOS 12295 HAS SOPS 12295 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8049.295
AT ITER 5286 NEW BEST:: SOT 44819 SOS 12290 HAS SOPS 12290 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8047.29
AT ITER 5307 NEW BEST:: SOT 44817 SOS 12288 HAS SOPS 12288 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8045.288
AT ITER 5423 NEW BEST:: SOT 44795 SOS 12464 HAS SOPS 12464 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8023.464
AT ITER 5446 NEW BEST:: SOT 44795 SOS 12444 HAS SOPS 12444 HAS SOUS 8003 HAS SOUPS 8003 WITH SCORE 8015.444
AT ITER 5457 NEW BEST:: SOT 44756 SOS 12366 HAS SOPS 12366 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7980.366
AT ITER 5472 NEW BEST:: SOT 44755 SOS 12364 HAS SOPS 12364 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7978.364
AT ITER 5476 NEW BEST:: SOT 44752 SOS 12372 HAS SOPS 12372 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7972.372
AT ITER 5490 NEW BEST:: SOT 44755 SOS 12392 HAS SOPS 12392 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7967.392
AT ITER 5547 NEW BEST:: SOT 44760 SOS 12374 HAS SOPS 12374 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7961.374
AT ITER 5552 NEW BEST:: SOT 44758 SOS 12374 HAS SOPS 12374 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7959.374
AT ITER 5581 NEW BEST:: SOT 44757 SOS 12372 HAS SOPS 12372 HAS SOUS 7946 HAS SOUPS 7946 WITH SCORE 7958.372
AT ITER 5615 NEW BEST:: SOT 44763 SOS 12367 HAS SOPS 12367 HAS SOUS 7941 HAS SOUPS 7941 WITH SCORE 7953.367
AT ITER 5632 NEW BEST:: SOT 44760 SOS 12363 HAS SOPS 12363 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7952.363
AT ITER 5678 NEW BEST:: SOT 44765 SOS 12373 HAS SOPS 12373 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7937.373
AT ITER 5682 NEW BEST:: SOT 44762 SOS 12367 HAS SOPS 12367 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7936.367
AT ITER 5806 NEW BEST:: SOT 44752 SOS 12353 HAS SOPS 12353 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7931.353
AT ITER 5820 NEW BEST:: SOT 44742 SOS 12347 HAS SOPS 12347 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7925.347
AT ITER 5859 NEW BEST:: SOT 44732 SOS 12337 HAS SOPS 12337 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7915.337
AT ITER 5864 NEW BEST:: SOT 44732 SOS 12336 HAS SOPS 12336 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7913.336
AT ITER 5936 NEW BEST:: SOT 44724 SOS 12320 HAS SOPS 12320 HAS SOUS 7893 HAS SOUPS 7893 WITH SCORE 7905.32
AT ITER 5952 NEW BEST:: SOT 44735 SOS 12340 HAS SOPS 12340 HAS SOUS 7890 HAS SOUPS 7890 WITH SCORE 7902.34
AT ITER 6044 NEW BEST:: SOT 44728 SOS 12326 HAS SOPS 12326 HAS SOUS 7878 HAS SOUPS 7878 WITH SCORE 7890.326
AT ITER 6063 NEW BEST:: SOT 44728 SOS 12326 HAS SOPS 12326 HAS SOUS 7838 HAS SOUPS 7838 WITH SCORE 7850.326
AT ITER 6130 NEW BEST:: SOT 44721 SOS 12312 HAS SOPS 12312 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7836.312
AT ITER 6147 NEW BEST:: SOT 44722 SOS 12310 HAS SOPS 12310 HAS SOUS 7822 HAS SOUPS 7822 WITH SCORE 7834.31
AT ITER 6183 NEW BEST:: SOT 44733 SOS 12294 HAS SOPS 12294 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7826.294
AT ITER 6185 NEW BEST:: SOT 44741 SOS 12296 HAS SOPS 12296 HAS SOUS 7810 HAS SOUPS 7810 WITH SCORE 7822.296
AT ITER 6202 NEW BEST:: SOT 44739 SOS 12298 HAS SOPS 12298 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7821.298
AT ITER 6243 NEW BEST:: SOT 44732 SOS 12286 HAS SOPS 12286 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7811.286
AT ITER 6249 NEW BEST:: SOT 44726 SOS 12274 HAS SOPS 12274 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7810.274
AT ITER 6257 NEW BEST:: SOT 44719 SOS 12263 HAS SOPS 12263 HAS SOUS 7791 HAS SOUPS 7791 WITH SCORE 7803.263
AT ITER 6293 NEW BEST:: SOT 44719 SOS 12263 HAS SOPS 12263 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7792.263
AT ITER 6323 NEW BEST:: SOT 44709 SOS 12264 HAS SOPS 12264 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7789.264
AT ITER 6432 NEW BEST:: SOT 44705 SOS 12256 HAS SOPS 12256 HAS SOUS 7769 HAS SOUPS 7769 WITH SCORE 7781.256
AT ITER 6445 NEW BEST:: SOT 44701 SOS 12241 HAS SOPS 12241 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7780.241
AT ITER 6447 NEW BEST:: SOT 44703 SOS 12245 HAS SOPS 12245 HAS SOUS 7761 HAS SOUPS 7761 WITH SCORE 7773.245
AT ITER 6448 NEW BEST:: SOT 44698 SOS 12219 HAS SOPS 12219 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7747.219
AT ITER 6483 NEW BEST:: SOT 44696 SOS 12151 HAS SOPS 12151 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7732.151
AT ITER 6562 NEW BEST:: SOT 44689 SOS 12130 HAS SOPS 12130 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7732.13
AT ITER 6564 NEW BEST:: SOT 44685 SOS 12122 HAS SOPS 12122 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7728.122
AT ITER 6618 NEW BEST:: SOT 44672 SOS 12096 HAS SOPS 12096 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7702.096
AT ITER 6650 NEW BEST:: SOT 44668 SOS 12090 HAS SOPS 12090 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7696.09
AT ITER 6680 NEW BEST:: SOT 44674 SOS 12102 HAS SOPS 12102 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7690.102
AT ITER 6714 NEW BEST:: SOT 44688 SOS 12102 HAS SOPS 12102 HAS SOUS 7677 HAS SOUPS 7677 WITH SCORE 7689.102
AT ITER 6759 NEW BEST:: SOT 44686 SOS 12110 HAS SOPS 12110 HAS SOUS 7673 HAS SOUPS 7673 WITH SCORE 7685.11
AT ITER 6776 NEW BEST:: SOT 44669 SOS 12117 HAS SOPS 12117 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7681.117
AT ITER 6804 NEW BEST:: SOT 44660 SOS 12108 HAS SOPS 12108 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7672.108
AT ITER 6809 NEW BEST:: SOT 44656 SOS 12099 HAS SOPS 12099 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7664.099
AT ITER 6818 NEW BEST:: SOT 44653 SOS 12096 HAS SOPS 12096 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7664.096
AT ITER 6820 NEW BEST:: SOT 44649 SOS 12092 HAS SOPS 12092 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7660.092
AT ITER 6821 NEW BEST:: SOT 44648 SOS 12084 HAS SOPS 12084 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7658.084
AT ITER 6868 NEW BEST:: SOT 44650 SOS 12070 HAS SOPS 12070 HAS SOUS 7639 HAS SOUPS 7639 WITH SCORE 7651.07
AT ITER 6876 NEW BEST:: SOT 44644 SOS 12058 HAS SOPS 12058 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7644.058
AT ITER 6896 NEW BEST:: SOT 44638 SOS 12055 HAS SOPS 12055 HAS SOUS 7607 HAS SOUPS 7607 WITH SCORE 7619.055
AT ITER 6978 NEW BEST:: SOT 44644 SOS 12061 HAS SOPS 12061 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7616.061
AT ITER 6979 NEW BEST:: SOT 44646 SOS 12063 HAS SOPS 12063 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7615.063
AT ITER 6983 NEW BEST:: SOT 44646 SOS 12058 HAS SOPS 12058 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7613.058
AT ITER 6984 NEW BEST:: SOT 44644 SOS 12056 HAS SOPS 12056 HAS SOUS 7599 HAS SOUPS 7599 WITH SCORE 7611.056
AT ITER 7035 NEW BEST:: SOT 44644 SOS 12056 HAS SOPS 12056 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7605.056
AT ITER 7039 NEW BEST:: SOT 44644 SOS 12053 HAS SOPS 12053 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7605.053
AT ITER 7047 NEW BEST:: SOT 44639 SOS 12063 HAS SOPS 12063 HAS SOUS 7591 HAS SOUPS 7591 WITH SCORE 7603.063
AT ITER 7052 NEW BEST:: SOT 44637 SOS 12059 HAS SOPS 12059 HAS SOUS 7587 HAS SOUPS 7587 WITH SCORE 7599.059
AT ITER 7118 NEW BEST:: SOT 44635 SOS 12055 HAS SOPS 12055 HAS SOUS 7585 HAS SOUPS 7585 WITH SCORE 7597.055
AT ITER 7122 NEW BEST:: SOT 44632 SOS 12049 HAS SOPS 12049 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7594.049
AT ITER 7131 NEW BEST:: SOT 44627 SOS 12036 HAS SOPS 12036 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7588.036
AT ITER 7209 NEW BEST:: SOT 44627 SOS 12036 HAS SOPS 12036 HAS SOUS 7571 HAS SOUPS 7571 WITH SCORE 7583.036
AT ITER 7250 NEW BEST:: SOT 44629 SOS 12040 HAS SOPS 12040 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7574.04
AT ITER 7277 NEW BEST:: SOT 44629 SOS 11987 HAS SOPS 11987 HAS SOUS 7548 HAS SOUPS 7548 WITH SCORE 7559.987
AT ITER 7283 NEW BEST:: SOT 44626 SOS 11999 HAS SOPS 11999 HAS SOUS 7542 HAS SOUPS 7542 WITH SCORE 7553.999
AT ITER 7295 NEW BEST:: SOT 44610 SOS 12015 HAS SOPS 12015 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7541.015
AT ITER 7301 NEW BEST:: SOT 44603 SOS 11984 HAS SOPS 11984 HAS SOUS 7527 HAS SOUPS 7527 WITH SCORE 7538.984
AT ITER 7354 NEW BEST:: SOT 44602 SOS 11985 HAS SOPS 11985 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7536.985
AT ITER 7369 NEW BEST:: SOT 44602 SOS 11853 HAS SOPS 11853 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7526.853
AT ITER 7373 NEW BEST:: SOT 44600 SOS 11857 HAS SOPS 11857 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7522.857
AT ITER 7390 NEW BEST:: SOT 44599 SOS 11854 HAS SOPS 11854 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7521.854
AT ITER 7465 NEW BEST:: SOT 44599 SOS 11848 HAS SOPS 11848 HAS SOUS 7507 HAS SOUPS 7507 WITH SCORE 7518.848
AT ITER 7538 NEW BEST:: SOT 44594 SOS 11842 HAS SOPS 11842 HAS SOUS 7504 HAS SOUPS 7504 WITH SCORE 7515.842
AT ITER 7557 NEW BEST:: SOT 44596 SOS 11832 HAS SOPS 11832 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7513.832
AT ITER 7565 NEW BEST:: SOT 44576 SOS 11807 HAS SOPS 11807 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7501.807
AT ITER 7569 NEW BEST:: SOT 44545 SOS 11817 HAS SOPS 11817 HAS SOUS 7462 HAS SOUPS 7462 WITH SCORE 7473.817
AT ITER 7584 NEW BEST:: SOT 44545 SOS 11817 HAS SOPS 11817 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7471.817
AT ITER 7588 NEW BEST:: SOT 44512 SOS 11692 HAS SOPS 11692 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7446.692
AT ITER 7618 NEW BEST:: SOT 44514 SOS 11675 HAS SOPS 11675 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7446.675
AT ITER 7635 NEW BEST:: SOT 44510 SOS 11656 HAS SOPS 11656 HAS SOUS 7429 HAS SOUPS 7429 WITH SCORE 7440.656
AT ITER 7673 NEW BEST:: SOT 44498 SOS 11620 HAS SOPS 11620 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7428.62
AT ITER 7680 NEW BEST:: SOT 44464 SOS 11543 HAS SOPS 11543 HAS SOUS 7383 HAS SOUPS 7383 WITH SCORE 7394.543
AT ITER 7691 NEW BEST:: SOT 44453 SOS 11532 HAS SOPS 11532 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7383.532
AT ITER 7702 NEW BEST:: SOT 44442 SOS 11521 HAS SOPS 11521 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7383.521
AT ITER 7731 NEW BEST:: SOT 44441 SOS 11519 HAS SOPS 11519 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7382.519
AT ITER 7759 NEW BEST:: SOT 44436 SOS 11624 HAS SOPS 11624 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7377.624
AT ITER 7794 NEW BEST:: SOT 44441 SOS 11611 HAS SOPS 11611 HAS SOUS 7353 HAS SOUPS 7353 WITH SCORE 7364.611
AT ITER 7813 NEW BEST:: SOT 44459 SOS 11545 HAS SOPS 11545 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7360.545
AT ITER 7854 NEW BEST:: SOT 44448 SOS 11511 HAS SOPS 11511 HAS SOUS 7339 HAS SOUPS 7339 WITH SCORE 7350.511
AT ITER 7878 NEW BEST:: SOT 44447 SOS 11509 HAS SOPS 11509 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7330.509
AT ITER 7897 NEW BEST:: SOT 44445 SOS 11505 HAS SOPS 11505 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7324.505
AT ITER 7898 NEW BEST:: SOT 44447 SOS 11523 HAS SOPS 11523 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7318.523
AT ITER 7958 NEW BEST:: SOT 44448 SOS 11522 HAS SOPS 11522 HAS SOUS 7305 HAS SOUPS 7305 WITH SCORE 7316.522
AT ITER 7965 NEW BEST:: SOT 44444 SOS 11545 HAS SOPS 11545 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7312.545
AT ITER 7987 NEW BEST:: SOT 44444 SOS 11543 HAS SOPS 11543 HAS SOUS 7301 HAS SOUPS 7301 WITH SCORE 7312.543
AT ITER 8067 NEW BEST:: SOT 44439 SOS 11538 HAS SOPS 11538 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7302.538
AT ITER 8093 NEW BEST:: SOT 44436 SOS 11542 HAS SOPS 11542 HAS SOUS 7285 HAS SOUPS 7285 WITH SCORE 7296.542
AT ITER 8110 NEW BEST:: SOT 44433 SOS 11526 HAS SOPS 11526 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7293.526
AT ITER 8118 NEW BEST:: SOT 44433 SOS 11474 HAS SOPS 11474 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7292.474
AT ITER 8197 NEW BEST:: SOT 44437 SOS 11462 HAS SOPS 11462 HAS SOUS 7281 HAS SOUPS 7281 WITH SCORE 7292.462
AT ITER 8223 NEW BEST:: SOT 44432 SOS 11440 HAS SOPS 11440 HAS SOUS 7257 HAS SOUPS 7257 WITH SCORE 7268.44
AT ITER 8241 NEW BEST:: SOT 44432 SOS 11440 HAS SOPS 11440 HAS SOUS 7253 HAS SOUPS 7253 WITH SCORE 7264.44
AT ITER 8254 NEW BEST:: SOT 44431 SOS 11438 HAS SOPS 11438 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7262.438
AT ITER 8269 NEW BEST:: SOT 44418 SOS 11421 HAS SOPS 11421 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7257.421
AT ITER 8287 NEW BEST:: SOT 44416 SOS 11417 HAS SOPS 11417 HAS SOUS 7242 HAS SOUPS 7242 WITH SCORE 7253.417
AT ITER 8338 NEW BEST:: SOT 44411 SOS 11423 HAS SOPS 11423 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7251.423
AT ITER 8388 NEW BEST:: SOT 44411 SOS 11423 HAS SOPS 11423 HAS SOUS 7238 HAS SOUPS 7238 WITH SCORE 7249.423
AT ITER 8428 NEW BEST:: SOT 44409 SOS 11415 HAS SOPS 11415 HAS SOUS 7234 HAS SOUPS 7234 WITH SCORE 7245.415
AT ITER 8445 NEW BEST:: SOT 44396 SOS 11402 HAS SOPS 11402 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7228.402
AT ITER 8457 NEW BEST:: SOT 44383 SOS 11439 HAS SOPS 11439 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7227.439
AT ITER 8573 NEW BEST:: SOT 44377 SOS 11421 HAS SOPS 11421 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7221.421
AT ITER 8579 NEW BEST:: SOT 44372 SOS 11368 HAS SOPS 11368 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7216.368
AT ITER 8586 NEW BEST:: SOT 44379 SOS 11373 HAS SOPS 11373 HAS SOUS 7203 HAS SOUPS 7203 WITH SCORE 7214.373
AT ITER 8610 NEW BEST:: SOT 44376 SOS 11367 HAS SOPS 11367 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7212.367
AT ITER 8635 NEW BEST:: SOT 44375 SOS 11366 HAS SOPS 11366 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7212.366
AT ITER 8683 NEW BEST:: SOT 44369 SOS 11363 HAS SOPS 11363 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7209.363
AT ITER 8695 NEW BEST:: SOT 44367 SOS 11353 HAS SOPS 11353 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7204.353
AT ITER 8768 NEW BEST:: SOT 44366 SOS 11352 HAS SOPS 11352 HAS SOUS 7191 HAS SOUPS 7191 WITH SCORE 7202.352
AT ITER 8787 NEW BEST:: SOT 44349 SOS 11318 HAS SOPS 11318 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7168.318
AT ITER 8827 NEW BEST:: SOT 44352 SOS 11318 HAS SOPS 11318 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7167.318
AT ITER 8869 NEW BEST:: SOT 44353 SOS 11314 HAS SOPS 11314 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7167.314
AT ITER 8882 NEW BEST:: SOT 44351 SOS 11310 HAS SOPS 11310 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7167.31
AT ITER 8950 NEW BEST:: SOT 44351 SOS 11310 HAS SOPS 11310 HAS SOUS 7154 HAS SOUPS 7154 WITH SCORE 7165.31
AT ITER 9007 NEW BEST:: SOT 44361 SOS 11270 HAS SOPS 11270 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7155.27
AT ITER 9061 NEW BEST:: SOT 44353 SOS 11268 HAS SOPS 11268 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7147.268
AT ITER 9077 NEW BEST:: SOT 44353 SOS 11254 HAS SOPS 11254 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7147.254
AT ITER 9095 NEW BEST:: SOT 44372 SOS 11275 HAS SOPS 11275 HAS SOUS 7135 HAS SOUPS 7135 WITH SCORE 7146.275
AT ITER 9154 NEW BEST:: SOT 44352 SOS 11230 HAS SOPS 11230 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7126.23
AT ITER 9185 NEW BEST:: SOT 44352 SOS 11245 HAS SOPS 11245 HAS SOUS 7107 HAS SOUPS 7107 WITH SCORE 7118.245
AT ITER 9241 NEW BEST:: SOT 44326 SOS 11169 HAS SOPS 11169 HAS SOUS 7084 HAS SOUPS 7084 WITH SCORE 7095.169
AT ITER 9317 NEW BEST:: SOT 44323 SOS 11163 HAS SOPS 11163 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7089.163
AT ITER 9367 NEW BEST:: SOT 44325 SOS 11159 HAS SOPS 11159 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7079.159
AT ITER 9399 NEW BEST:: SOT 44306 SOS 11123 HAS SOPS 11123 HAS SOUS 7049 HAS SOUPS 7049 WITH SCORE 7060.123
AT ITER 9535 NEW BEST:: SOT 44304 SOS 11121 HAS SOPS 11121 HAS SOUS 7048 HAS SOUPS 7048 WITH SCORE 7059.121
AT ITER 9547 NEW BEST:: SOT 44295 SOS 11118 HAS SOPS 11118 HAS SOUS 7045 HAS SOUPS 7045 WITH SCORE 7056.118
AT ITER 9588 NEW BEST:: SOT 44307 SOS 11128 HAS SOPS 11128 HAS SOUS 7043 HAS SOUPS 7043 WITH SCORE 7054.128
AT ITER 9602 NEW BEST:: SOT 44307 SOS 11128 HAS SOPS 11128 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7053.128
AT ITER 9626 NEW BEST:: SOT 44303 SOS 11120 HAS SOPS 11120 HAS SOUS 7034 HAS SOUPS 7034 WITH SCORE 7045.12
AT ITER 9630 NEW BEST:: SOT 44299 SOS 11175 HAS SOPS 11175 HAS SOUS 7033 HAS SOUPS 7033 WITH SCORE 7044.175
AT ITER 9633 NEW BEST:: SOT 44291 SOS 11167 HAS SOPS 11167 HAS SOUS 7032 HAS SOUPS 7032 WITH SCORE 7043.167
AT ITER 9644 NEW BEST:: SOT 44285 SOS 11155 HAS SOPS 11155 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7037.155
AT ITER 9663 NEW BEST:: SOT 44264 SOS 11119 HAS SOPS 11119 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7016.119
AT ITER 9668 NEW BEST:: SOT 44260 SOS 11109 HAS SOPS 11109 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7010.109
AT ITER 9692 NEW BEST:: SOT 44260 SOS 11109 HAS SOPS 11109 HAS SOUS 6992 HAS SOUPS 6992 WITH SCORE 7003.109
AT ITER 9696 NEW BEST:: SOT 44267 SOS 11074 HAS SOPS 11074 HAS SOUS 6957 HAS SOUPS 6957 WITH SCORE 6968.074
AT ITER 9698 NEW BEST:: SOT 44263 SOS 11068 HAS SOPS 11068 HAS SOUS 6953 HAS SOUPS 6953 WITH SCORE 6964.068
AT ITER 9723 NEW BEST:: SOT 44249 SOS 11130 HAS SOPS 11130 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6950.13
AT ITER 9745 NEW BEST:: SOT 44247 SOS 11128 HAS SOPS 11128 HAS SOUS 6937 HAS SOUPS 6937 WITH SCORE 6948.128
AT ITER 9796 NEW BEST:: SOT 44233 SOS 11114 HAS SOPS 11114 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6921.114
AT ITER 9831 NEW BEST:: SOT 44233 SOS 11099 HAS SOPS 11099 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6921.099
AT ITER 9864 NEW BEST:: SOT 44227 SOS 11087 HAS SOPS 11087 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6915.087
AT ITER 9902 NEW BEST:: SOT 44228 SOS 11089 HAS SOPS 11089 HAS SOUS 6903 HAS SOUPS 6903 WITH SCORE 6914.089
AT ITER 9943 NEW BEST:: SOT 44214 SOS 11063 HAS SOPS 11063 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6902.063
AT ITER 9949 NEW BEST:: SOT 44213 SOS 11061 HAS SOPS 11061 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6901.061
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 1288448 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118208 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="FlexibleBarrier-PT-04b"
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 FlexibleBarrier-PT-04b, 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-167838858600456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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