Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100152.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NQueens-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100152
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.8K Apr 8 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 8 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 02:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 6 02:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 193K Mar 24 05:37 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 1589637830424

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 15
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 315 places, 225 transitions, 1125 arcs.
AT ITER 0 NEW BEST:: SOT 56768 SOS 36218 HAS SOPS 36218 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31349.218
AT ITER 7 NEW BEST:: SOT 56711 SOS 36180 HAS SOPS 36180 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31300.18
AT ITER 8 NEW BEST:: SOT 56611 SOS 36500 HAS SOPS 36500 HAS SOUS 31173 HAS SOUPS 31173 WITH SCORE 31209.5
AT ITER 9 NEW BEST:: SOT 56506 SOS 36683 HAS SOPS 36683 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31098.683
AT ITER 11 NEW BEST:: SOT 56506 SOS 36670 HAS SOPS 36670 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31098.67
AT ITER 14 NEW BEST:: SOT 56506 SOS 36660 HAS SOPS 36660 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31098.66
AT ITER 16 NEW BEST:: SOT 56506 SOS 35922 HAS SOPS 35922 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31097.922
AT ITER 19 NEW BEST:: SOT 56445 SOS 35914 HAS SOPS 35914 HAS SOUS 31014 HAS SOUPS 31014 WITH SCORE 31049.914
AT ITER 23 NEW BEST:: SOT 56445 SOS 35879 HAS SOPS 35879 HAS SOUS 31002 HAS SOUPS 31002 WITH SCORE 31037.879
AT ITER 24 NEW BEST:: SOT 56445 SOS 35803 HAS SOPS 35803 HAS SOUS 31002 HAS SOUPS 31002 WITH SCORE 31037.803
AT ITER 31 NEW BEST:: SOT 56446 SOS 35791 HAS SOPS 35791 HAS SOUS 30954 HAS SOUPS 30954 WITH SCORE 30989.791
AT ITER 33 NEW BEST:: SOT 56383 SOS 35856 HAS SOPS 35856 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30954.856
AT ITER 43 NEW BEST:: SOT 56368 SOS 35841 HAS SOPS 35841 HAS SOUS 30904 HAS SOUPS 30904 WITH SCORE 30939.841
AT ITER 44 NEW BEST:: SOT 56368 SOS 35840 HAS SOPS 35840 HAS SOUS 30903 HAS SOUPS 30903 WITH SCORE 30938.84
AT ITER 49 NEW BEST:: SOT 56338 SOS 36012 HAS SOPS 36012 HAS SOUS 30879 HAS SOUPS 30879 WITH SCORE 30915.012
AT ITER 50 NEW BEST:: SOT 56175 SOS 35886 HAS SOPS 35886 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30787.886
AT ITER 54 NEW BEST:: SOT 56175 SOS 35841 HAS SOPS 35841 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30787.841
AT ITER 56 NEW BEST:: SOT 56175 SOS 35005 HAS SOPS 35005 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30787.005
AT ITER 58 NEW BEST:: SOT 56175 SOS 34884 HAS SOPS 34884 HAS SOUS 30752 HAS SOUPS 30752 WITH SCORE 30786.884
AT ITER 61 NEW BEST:: SOT 56165 SOS 34854 HAS SOPS 34854 HAS SOUS 30727 HAS SOUPS 30727 WITH SCORE 30761.854
AT ITER 68 NEW BEST:: SOT 56094 SOS 34864 HAS SOPS 34864 HAS SOUS 30675 HAS SOUPS 30675 WITH SCORE 30709.864
AT ITER 71 NEW BEST:: SOT 56094 SOS 34732 HAS SOPS 34732 HAS SOUS 30675 HAS SOUPS 30675 WITH SCORE 30709.732
AT ITER 84 NEW BEST:: SOT 56094 SOS 34702 HAS SOPS 34702 HAS SOUS 30675 HAS SOUPS 30675 WITH SCORE 30709.702
AT ITER 86 NEW BEST:: SOT 56094 SOS 34689 HAS SOPS 34689 HAS SOUS 30675 HAS SOUPS 30675 WITH SCORE 30709.689
AT ITER 87 NEW BEST:: SOT 56012 SOS 34697 HAS SOPS 34697 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30626.697
AT ITER 94 NEW BEST:: SOT 56012 SOS 34683 HAS SOPS 34683 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30626.683
AT ITER 95 NEW BEST:: SOT 56012 SOS 34676 HAS SOPS 34676 HAS SOUS 30592 HAS SOUPS 30592 WITH SCORE 30626.676
AT ITER 96 NEW BEST:: SOT 56003 SOS 34667 HAS SOPS 34667 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30621.667
AT ITER 100 NEW BEST:: SOT 55993 SOS 34649 HAS SOPS 34649 HAS SOUS 30585 HAS SOUPS 30585 WITH SCORE 30619.649
AT ITER 102 NEW BEST:: SOT 55993 SOS 34642 HAS SOPS 34642 HAS SOUS 30585 HAS SOUPS 30585 WITH SCORE 30619.642
AT ITER 127 NEW BEST:: SOT 55980 SOS 34745 HAS SOPS 34745 HAS SOUS 30572 HAS SOUPS 30572 WITH SCORE 30606.745
AT ITER 131 NEW BEST:: SOT 55851 SOS 34623 HAS SOPS 34623 HAS SOUS 30421 HAS SOUPS 30421 WITH SCORE 30455.623
AT ITER 135 NEW BEST:: SOT 55851 SOS 34558 HAS SOPS 34558 HAS SOUS 30397 HAS SOUPS 30397 WITH SCORE 30431.558
AT ITER 152 NEW BEST:: SOT 55851 SOS 34480 HAS SOPS 34480 HAS SOUS 30397 HAS SOUPS 30397 WITH SCORE 30431.48
AT ITER 160 NEW BEST:: SOT 55815 SOS 34488 HAS SOPS 34488 HAS SOUS 30386 HAS SOUPS 30386 WITH SCORE 30420.488
AT ITER 163 NEW BEST:: SOT 55815 SOS 34474 HAS SOPS 34474 HAS SOUS 30386 HAS SOUPS 30386 WITH SCORE 30420.474
AT ITER 164 NEW BEST:: SOT 55815 SOS 34437 HAS SOPS 34437 HAS SOUS 30386 HAS SOUPS 30386 WITH SCORE 30420.437
AT ITER 165 NEW BEST:: SOT 55697 SOS 34539 HAS SOPS 34539 HAS SOUS 30363 HAS SOUPS 30363 WITH SCORE 30397.539
AT ITER 175 NEW BEST:: SOT 55659 SOS 34501 HAS SOPS 34501 HAS SOUS 30325 HAS SOUPS 30325 WITH SCORE 30359.501
AT ITER 192 NEW BEST:: SOT 55652 SOS 34494 HAS SOPS 34494 HAS SOUS 30321 HAS SOUPS 30321 WITH SCORE 30355.494
AT ITER 196 NEW BEST:: SOT 55639 SOS 34494 HAS SOPS 34494 HAS SOUS 30318 HAS SOUPS 30318 WITH SCORE 30352.494
AT ITER 199 NEW BEST:: SOT 55619 SOS 34470 HAS SOPS 34470 HAS SOUS 30294 HAS SOUPS 30294 WITH SCORE 30328.47
AT ITER 202 NEW BEST:: SOT 55630 SOS 34481 HAS SOPS 34481 HAS SOUS 30289 HAS SOUPS 30289 WITH SCORE 30323.481
AT ITER 204 NEW BEST:: SOT 55596 SOS 34396 HAS SOPS 34396 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30236.396
AT ITER 210 NEW BEST:: SOT 55596 SOS 34367 HAS SOPS 34367 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30236.367
AT ITER 215 NEW BEST:: SOT 55596 SOS 34337 HAS SOPS 34337 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30236.337
AT ITER 237 NEW BEST:: SOT 55596 SOS 34327 HAS SOPS 34327 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30236.327
AT ITER 243 NEW BEST:: SOT 55596 SOS 34286 HAS SOPS 34286 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30236.286
AT ITER 246 NEW BEST:: SOT 55540 SOS 34258 HAS SOPS 34258 HAS SOUS 30184 HAS SOUPS 30184 WITH SCORE 30218.258
AT ITER 253 NEW BEST:: SOT 55540 SOS 34232 HAS SOPS 34232 HAS SOUS 30184 HAS SOUPS 30184 WITH SCORE 30218.232
AT ITER 256 NEW BEST:: SOT 55531 SOS 34209 HAS SOPS 34209 HAS SOUS 30161 HAS SOUPS 30161 WITH SCORE 30195.209
AT ITER 261 NEW BEST:: SOT 55531 SOS 34208 HAS SOPS 34208 HAS SOUS 30161 HAS SOUPS 30161 WITH SCORE 30195.208
AT ITER 266 NEW BEST:: SOT 55493 SOS 34170 HAS SOPS 34170 HAS SOUS 30113 HAS SOUPS 30113 WITH SCORE 30147.17
AT ITER 271 NEW BEST:: SOT 55368 SOS 34255 HAS SOPS 34255 HAS SOUS 30095 HAS SOUPS 30095 WITH SCORE 30129.255
AT ITER 277 NEW BEST:: SOT 55368 SOS 34145 HAS SOPS 34145 HAS SOUS 30095 HAS SOUPS 30095 WITH SCORE 30129.145
AT ITER 279 NEW BEST:: SOT 55368 SOS 34141 HAS SOPS 34141 HAS SOUS 30095 HAS SOUPS 30095 WITH SCORE 30129.141
AT ITER 280 NEW BEST:: SOT 55368 SOS 34100 HAS SOPS 34100 HAS SOUS 30095 HAS SOUPS 30095 WITH SCORE 30129.1
AT ITER 287 NEW BEST:: SOT 55307 SOS 34124 HAS SOPS 34124 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30128.124
AT ITER 288 NEW BEST:: SOT 55307 SOS 34155 HAS SOPS 34155 HAS SOUS 30090 HAS SOUPS 30090 WITH SCORE 30124.155
AT ITER 289 NEW BEST:: SOT 55212 SOS 34215 HAS SOPS 34215 HAS SOUS 30013 HAS SOUPS 30013 WITH SCORE 30047.215
AT ITER 297 NEW BEST:: SOT 55212 SOS 34207 HAS SOPS 34207 HAS SOUS 30013 HAS SOUPS 30013 WITH SCORE 30047.207
AT ITER 304 NEW BEST:: SOT 55212 SOS 34133 HAS SOPS 34133 HAS SOUS 30001 HAS SOUPS 30001 WITH SCORE 30035.133
AT ITER 314 NEW BEST:: SOT 55304 SOS 34121 HAS SOPS 34121 HAS SOUS 29951 HAS SOUPS 29951 WITH SCORE 29985.121
AT ITER 326 NEW BEST:: SOT 55305 SOS 34055 HAS SOPS 34055 HAS SOUS 29913 HAS SOUPS 29913 WITH SCORE 29947.055
AT ITER 328 NEW BEST:: SOT 55305 SOS 34054 HAS SOPS 34054 HAS SOUS 29913 HAS SOUPS 29913 WITH SCORE 29947.054
AT ITER 332 NEW BEST:: SOT 55305 SOS 33374 HAS SOPS 33374 HAS SOUS 29889 HAS SOUPS 29889 WITH SCORE 29922.374
AT ITER 337 NEW BEST:: SOT 55305 SOS 33557 HAS SOPS 33557 HAS SOUS 29879 HAS SOUPS 29879 WITH SCORE 29912.557
AT ITER 346 NEW BEST:: SOT 55305 SOS 33540 HAS SOPS 33540 HAS SOUS 29879 HAS SOUPS 29879 WITH SCORE 29912.54
AT ITER 351 NEW BEST:: SOT 55305 SOS 33494 HAS SOPS 33494 HAS SOUS 29879 HAS SOUPS 29879 WITH SCORE 29912.494
AT ITER 354 NEW BEST:: SOT 55305 SOS 33425 HAS SOPS 33425 HAS SOUS 29879 HAS SOUPS 29879 WITH SCORE 29912.425
AT ITER 356 NEW BEST:: SOT 55179 SOS 33287 HAS SOPS 33287 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29789.287
AT ITER 357 NEW BEST:: SOT 55179 SOS 32913 HAS SOPS 32913 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29788.913
AT ITER 361 NEW BEST:: SOT 55179 SOS 32883 HAS SOPS 32883 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29788.883
AT ITER 386 NEW BEST:: SOT 55179 SOS 32856 HAS SOPS 32856 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29788.856
AT ITER 391 NEW BEST:: SOT 55179 SOS 32844 HAS SOPS 32844 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29788.844
AT ITER 393 NEW BEST:: SOT 55179 SOS 32830 HAS SOPS 32830 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29788.83
AT ITER 397 NEW BEST:: SOT 55179 SOS 32798 HAS SOPS 32798 HAS SOUS 29756 HAS SOUPS 29756 WITH SCORE 29788.798
AT ITER 405 NEW BEST:: SOT 55175 SOS 32820 HAS SOPS 32820 HAS SOUS 29741 HAS SOUPS 29741 WITH SCORE 29773.82
AT ITER 408 NEW BEST:: SOT 55175 SOS 32719 HAS SOPS 32719 HAS SOUS 29741 HAS SOUPS 29741 WITH SCORE 29773.719
AT ITER 412 NEW BEST:: SOT 55160 SOS 32704 HAS SOPS 32704 HAS SOUS 29726 HAS SOUPS 29726 WITH SCORE 29758.704
AT ITER 423 NEW BEST:: SOT 55160 SOS 32649 HAS SOPS 32649 HAS SOUS 29726 HAS SOUPS 29726 WITH SCORE 29758.649
AT ITER 439 NEW BEST:: SOT 54917 SOS 32465 HAS SOPS 32465 HAS SOUS 29542 HAS SOUPS 29542 WITH SCORE 29574.465
AT ITER 440 NEW BEST:: SOT 54763 SOS 32466 HAS SOPS 32466 HAS SOUS 29499 HAS SOUPS 29499 WITH SCORE 29531.466
AT ITER 444 NEW BEST:: SOT 54763 SOS 32445 HAS SOPS 32445 HAS SOUS 29499 HAS SOUPS 29499 WITH SCORE 29531.445
AT ITER 462 NEW BEST:: SOT 54685 SOS 32357 HAS SOPS 32357 HAS SOUS 29426 HAS SOUPS 29426 WITH SCORE 29458.357
AT ITER 469 NEW BEST:: SOT 54782 SOS 32309 HAS SOPS 32309 HAS SOUS 29368 HAS SOUPS 29368 WITH SCORE 29400.309
AT ITER 473 NEW BEST:: SOT 54755 SOS 32346 HAS SOPS 32346 HAS SOUS 29345 HAS SOUPS 29345 WITH SCORE 29377.346
AT ITER 493 NEW BEST:: SOT 54712 SOS 32158 HAS SOPS 32158 HAS SOUS 29332 HAS SOUPS 29332 WITH SCORE 29364.158
AT ITER 495 NEW BEST:: SOT 54612 SOS 32275 HAS SOPS 32275 HAS SOUS 29283 HAS SOUPS 29283 WITH SCORE 29315.275
AT ITER 496 NEW BEST:: SOT 54612 SOS 32192 HAS SOPS 32192 HAS SOUS 29283 HAS SOUPS 29283 WITH SCORE 29315.192
AT ITER 500 NEW BEST:: SOT 54672 SOS 32190 HAS SOPS 32190 HAS SOUS 29277 HAS SOUPS 29277 WITH SCORE 29309.19
AT ITER 510 NEW BEST:: SOT 54672 SOS 32182 HAS SOPS 32182 HAS SOUS 29277 HAS SOUPS 29277 WITH SCORE 29309.182
AT ITER 513 NEW BEST:: SOT 54592 SOS 32138 HAS SOPS 32138 HAS SOUS 29211 HAS SOUPS 29211 WITH SCORE 29243.138
AT ITER 521 NEW BEST:: SOT 54592 SOS 32122 HAS SOPS 32122 HAS SOUS 29193 HAS SOUPS 29193 WITH SCORE 29225.122
AT ITER 537 NEW BEST:: SOT 54508 SOS 32038 HAS SOPS 32038 HAS SOUS 29109 HAS SOUPS 29109 WITH SCORE 29141.038
AT ITER 546 NEW BEST:: SOT 54486 SOS 32016 HAS SOPS 32016 HAS SOUS 29087 HAS SOUPS 29087 WITH SCORE 29119.016
AT ITER 550 NEW BEST:: SOT 54486 SOS 31966 HAS SOPS 31966 HAS SOUS 29087 HAS SOUPS 29087 WITH SCORE 29118.966
AT ITER 573 NEW BEST:: SOT 54473 SOS 32032 HAS SOPS 32032 HAS SOUS 29080 HAS SOUPS 29080 WITH SCORE 29112.032
AT ITER 575 NEW BEST:: SOT 54473 SOS 32024 HAS SOPS 32024 HAS SOUS 29080 HAS SOUPS 29080 WITH SCORE 29112.024
AT ITER 578 NEW BEST:: SOT 54444 SOS 31953 HAS SOPS 31953 HAS SOUS 29030 HAS SOUPS 29030 WITH SCORE 29061.953
AT ITER 580 NEW BEST:: SOT 54444 SOS 31941 HAS SOPS 31941 HAS SOUS 29030 HAS SOUPS 29030 WITH SCORE 29061.941
AT ITER 583 NEW BEST:: SOT 54508 SOS 31980 HAS SOPS 31980 HAS SOUS 29021 HAS SOUPS 29021 WITH SCORE 29052.98
AT ITER 586 NEW BEST:: SOT 54489 SOS 31961 HAS SOPS 31961 HAS SOUS 29002 HAS SOUPS 29002 WITH SCORE 29033.961
AT ITER 592 NEW BEST:: SOT 54489 SOS 31750 HAS SOPS 31750 HAS SOUS 28925 HAS SOUPS 28925 WITH SCORE 28956.75
AT ITER 593 NEW BEST:: SOT 54487 SOS 31748 HAS SOPS 31748 HAS SOUS 28923 HAS SOUPS 28923 WITH SCORE 28954.748
AT ITER 598 NEW BEST:: SOT 54487 SOS 31742 HAS SOPS 31742 HAS SOUS 28923 HAS SOUPS 28923 WITH SCORE 28954.742
AT ITER 605 NEW BEST:: SOT 54450 SOS 31689 HAS SOPS 31689 HAS SOUS 28890 HAS SOUPS 28890 WITH SCORE 28921.689
AT ITER 613 NEW BEST:: SOT 54450 SOS 31688 HAS SOPS 31688 HAS SOUS 28890 HAS SOUPS 28890 WITH SCORE 28921.688
AT ITER 618 NEW BEST:: SOT 54450 SOS 31671 HAS SOPS 31671 HAS SOUS 28890 HAS SOUPS 28890 WITH SCORE 28921.671
AT ITER 625 NEW BEST:: SOT 54450 SOS 31631 HAS SOPS 31631 HAS SOUS 28860 HAS SOUPS 28860 WITH SCORE 28891.631
AT ITER 628 NEW BEST:: SOT 54450 SOS 31615 HAS SOPS 31615 HAS SOUS 28844 HAS SOUPS 28844 WITH SCORE 28875.615
AT ITER 631 NEW BEST:: SOT 54487 SOS 31640 HAS SOPS 31640 HAS SOUS 28815 HAS SOUPS 28815 WITH SCORE 28846.64
AT ITER 632 NEW BEST:: SOT 54487 SOS 31597 HAS SOPS 31597 HAS SOUS 28815 HAS SOUPS 28815 WITH SCORE 28846.597
AT ITER 656 NEW BEST:: SOT 54493 SOS 31844 HAS SOPS 31844 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28807.844
AT ITER 661 NEW BEST:: SOT 54493 SOS 31837 HAS SOPS 31837 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28807.837
AT ITER 668 NEW BEST:: SOT 54493 SOS 31835 HAS SOPS 31835 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28807.835
AT ITER 673 NEW BEST:: SOT 54489 SOS 31831 HAS SOPS 31831 HAS SOUS 28771 HAS SOUPS 28771 WITH SCORE 28802.831
AT ITER 676 NEW BEST:: SOT 54467 SOS 31793 HAS SOPS 31793 HAS SOUS 28770 HAS SOUPS 28770 WITH SCORE 28801.793
AT ITER 678 NEW BEST:: SOT 54467 SOS 31704 HAS SOPS 31704 HAS SOUS 28700 HAS SOUPS 28700 WITH SCORE 28731.704
AT ITER 693 NEW BEST:: SOT 54373 SOS 31947 HAS SOPS 31947 HAS SOUS 28635 HAS SOUPS 28635 WITH SCORE 28666.947
AT ITER 699 NEW BEST:: SOT 54328 SOS 31919 HAS SOPS 31919 HAS SOUS 28593 HAS SOUPS 28593 WITH SCORE 28624.919
AT ITER 717 NEW BEST:: SOT 54303 SOS 31866 HAS SOPS 31866 HAS SOUS 28507 HAS SOUPS 28507 WITH SCORE 28538.866
AT ITER 730 NEW BEST:: SOT 54303 SOS 31891 HAS SOPS 31891 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28518.891
AT ITER 732 NEW BEST:: SOT 54261 SOS 31849 HAS SOPS 31849 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28476.849
AT ITER 761 NEW BEST:: SOT 54261 SOS 31849 HAS SOPS 31849 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28464.849
AT ITER 778 NEW BEST:: SOT 54261 SOS 31743 HAS SOPS 31743 HAS SOUS 28431 HAS SOUPS 28431 WITH SCORE 28462.743
AT ITER 804 NEW BEST:: SOT 54261 SOS 31706 HAS SOPS 31706 HAS SOUS 28431 HAS SOUPS 28431 WITH SCORE 28462.706
AT ITER 813 NEW BEST:: SOT 54261 SOS 31704 HAS SOPS 31704 HAS SOUS 28431 HAS SOUPS 28431 WITH SCORE 28462.704
AT ITER 822 NEW BEST:: SOT 54261 SOS 31693 HAS SOPS 31693 HAS SOUS 28428 HAS SOUPS 28428 WITH SCORE 28459.693
AT ITER 834 NEW BEST:: SOT 54261 SOS 31658 HAS SOPS 31658 HAS SOUS 28428 HAS SOUPS 28428 WITH SCORE 28459.658
AT ITER 839 NEW BEST:: SOT 54261 SOS 31623 HAS SOPS 31623 HAS SOUS 28428 HAS SOUPS 28428 WITH SCORE 28459.623
AT ITER 847 NEW BEST:: SOT 54261 SOS 31589 HAS SOPS 31589 HAS SOUS 28428 HAS SOUPS 28428 WITH SCORE 28459.589
AT ITER 848 NEW BEST:: SOT 54261 SOS 31568 HAS SOPS 31568 HAS SOUS 28428 HAS SOUPS 28428 WITH SCORE 28459.568
AT ITER 864 NEW BEST:: SOT 54274 SOS 31555 HAS SOPS 31555 HAS SOUS 28419 HAS SOUPS 28419 WITH SCORE 28450.555
AT ITER 867 NEW BEST:: SOT 54273 SOS 31554 HAS SOPS 31554 HAS SOUS 28418 HAS SOUPS 28418 WITH SCORE 28449.554
AT ITER 879 NEW BEST:: SOT 54273 SOS 31538 HAS SOPS 31538 HAS SOUS 28418 HAS SOUPS 28418 WITH SCORE 28449.538
AT ITER 883 NEW BEST:: SOT 54273 SOS 31527 HAS SOPS 31527 HAS SOUS 28418 HAS SOUPS 28418 WITH SCORE 28449.527
AT ITER 884 NEW BEST:: SOT 54273 SOS 31490 HAS SOPS 31490 HAS SOUS 28418 HAS SOUPS 28418 WITH SCORE 28449.49
AT ITER 900 NEW BEST:: SOT 54273 SOS 31487 HAS SOPS 31487 HAS SOUS 28418 HAS SOUPS 28418 WITH SCORE 28449.487
AT ITER 910 NEW BEST:: SOT 54321 SOS 31488 HAS SOPS 31488 HAS SOUS 28371 HAS SOUPS 28371 WITH SCORE 28402.488
AT ITER 921 NEW BEST:: SOT 54321 SOS 31384 HAS SOPS 31384 HAS SOUS 28359 HAS SOUPS 28359 WITH SCORE 28390.384
AT ITER 922 NEW BEST:: SOT 54321 SOS 31248 HAS SOPS 31248 HAS SOUS 28340 HAS SOUPS 28340 WITH SCORE 28371.248
AT ITER 923 NEW BEST:: SOT 54321 SOS 31246 HAS SOPS 31246 HAS SOUS 28340 HAS SOUPS 28340 WITH SCORE 28371.246
AT ITER 936 NEW BEST:: SOT 54321 SOS 31243 HAS SOPS 31243 HAS SOUS 28340 HAS SOUPS 28340 WITH SCORE 28371.243
AT ITER 941 NEW BEST:: SOT 54321 SOS 31162 HAS SOPS 31162 HAS SOUS 28340 HAS SOUPS 28340 WITH SCORE 28371.162
AT ITER 969 NEW BEST:: SOT 54321 SOS 31107 HAS SOPS 31107 HAS SOUS 28322 HAS SOUPS 28322 WITH SCORE 28353.107
AT ITER 970 NEW BEST:: SOT 54321 SOS 31094 HAS SOPS 31094 HAS SOUS 28322 HAS SOUPS 28322 WITH SCORE 28353.094
AT ITER 977 NEW BEST:: SOT 54294 SOS 31062 HAS SOPS 31062 HAS SOUS 28285 HAS SOUPS 28285 WITH SCORE 28316.062
AT ITER 978 NEW BEST:: SOT 54294 SOS 30951 HAS SOPS 30951 HAS SOUS 28285 HAS SOUPS 28285 WITH SCORE 28315.951
AT ITER 981 NEW BEST:: SOT 54294 SOS 30911 HAS SOPS 30911 HAS SOUS 28285 HAS SOUPS 28285 WITH SCORE 28315.911
AT ITER 1003 NEW BEST:: SOT 54294 SOS 30911 HAS SOPS 30911 HAS SOUS 28277 HAS SOUPS 28277 WITH SCORE 28307.911
AT ITER 1006 NEW BEST:: SOT 54258 SOS 30881 HAS SOPS 30881 HAS SOUS 28252 HAS SOUPS 28252 WITH SCORE 28282.881
AT ITER 1019 NEW BEST:: SOT 54258 SOS 30878 HAS SOPS 30878 HAS SOUS 28252 HAS SOUPS 28252 WITH SCORE 28282.878
AT ITER 1027 NEW BEST:: SOT 53924 SOS 30544 HAS SOPS 30544 HAS SOUS 27918 HAS SOUPS 27918 WITH SCORE 27948.544
AT ITER 1030 NEW BEST:: SOT 53866 SOS 30461 HAS SOPS 30461 HAS SOUS 27873 HAS SOUPS 27873 WITH SCORE 27903.461
AT ITER 1041 NEW BEST:: SOT 53866 SOS 30459 HAS SOPS 30459 HAS SOUS 27873 HAS SOUPS 27873 WITH SCORE 27903.459
AT ITER 1059 NEW BEST:: SOT 53866 SOS 30365 HAS SOPS 30365 HAS SOUS 27862 HAS SOUPS 27862 WITH SCORE 27892.365
AT ITER 1064 NEW BEST:: SOT 53866 SOS 30344 HAS SOPS 30344 HAS SOUS 27862 HAS SOUPS 27862 WITH SCORE 27892.344
AT ITER 1080 NEW BEST:: SOT 53860 SOS 30338 HAS SOPS 30338 HAS SOUS 27856 HAS SOUPS 27856 WITH SCORE 27886.338
AT ITER 1081 NEW BEST:: SOT 53860 SOS 30331 HAS SOPS 30331 HAS SOUS 27856 HAS SOUPS 27856 WITH SCORE 27886.331
AT ITER 1082 NEW BEST:: SOT 53563 SOS 30514 HAS SOPS 30514 HAS SOUS 27827 HAS SOUPS 27827 WITH SCORE 27857.514
AT ITER 1088 NEW BEST:: SOT 53563 SOS 30462 HAS SOPS 30462 HAS SOUS 27827 HAS SOUPS 27827 WITH SCORE 27857.462
AT ITER 1089 NEW BEST:: SOT 53548 SOS 30516 HAS SOPS 30516 HAS SOUS 27807 HAS SOUPS 27807 WITH SCORE 27837.516
AT ITER 1094 NEW BEST:: SOT 53540 SOS 30504 HAS SOPS 30504 HAS SOUS 27803 HAS SOUPS 27803 WITH SCORE 27833.504
AT ITER 1097 NEW BEST:: SOT 53540 SOS 30489 HAS SOPS 30489 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27804.489
AT ITER 1101 NEW BEST:: SOT 53537 SOS 30486 HAS SOPS 30486 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27804.486
AT ITER 1106 NEW BEST:: SOT 53554 SOS 30402 HAS SOPS 30402 HAS SOUS 27738 HAS SOUPS 27738 WITH SCORE 27768.402
AT ITER 1112 NEW BEST:: SOT 53554 SOS 30399 HAS SOPS 30399 HAS SOUS 27738 HAS SOUPS 27738 WITH SCORE 27768.399
AT ITER 1116 NEW BEST:: SOT 53533 SOS 30378 HAS SOPS 30378 HAS SOUS 27717 HAS SOUPS 27717 WITH SCORE 27747.378
AT ITER 1125 NEW BEST:: SOT 53533 SOS 30362 HAS SOPS 30362 HAS SOUS 27717 HAS SOUPS 27717 WITH SCORE 27747.362
AT ITER 1128 NEW BEST:: SOT 53412 SOS 30312 HAS SOPS 30312 HAS SOUS 27703 HAS SOUPS 27703 WITH SCORE 27733.312
AT ITER 1134 NEW BEST:: SOT 53412 SOS 30278 HAS SOPS 30278 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27714.278
AT ITER 1135 NEW BEST:: SOT 53389 SOS 30255 HAS SOPS 30255 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27691.255
AT ITER 1142 NEW BEST:: SOT 53381 SOS 30247 HAS SOPS 30247 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27683.247
AT ITER 1143 NEW BEST:: SOT 53381 SOS 30228 HAS SOPS 30228 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27683.228
AT ITER 1157 NEW BEST:: SOT 53381 SOS 30183 HAS SOPS 30183 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27683.183
AT ITER 1178 NEW BEST:: SOT 53356 SOS 30111 HAS SOPS 30111 HAS SOUS 27581 HAS SOUPS 27581 WITH SCORE 27611.111
AT ITER 1202 NEW BEST:: SOT 53356 SOS 30217 HAS SOPS 30217 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27597.217
AT ITER 1203 NEW BEST:: SOT 53356 SOS 30205 HAS SOPS 30205 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27597.205
AT ITER 1211 NEW BEST:: SOT 53356 SOS 30182 HAS SOPS 30182 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27597.182
AT ITER 1218 NEW BEST:: SOT 53369 SOS 30195 HAS SOPS 30195 HAS SOUS 27566 HAS SOUPS 27566 WITH SCORE 27596.195
AT ITER 1224 NEW BEST:: SOT 53359 SOS 30118 HAS SOPS 30118 HAS SOUS 27549 HAS SOUPS 27549 WITH SCORE 27579.118
AT ITER 1232 NEW BEST:: SOT 53395 SOS 30003 HAS SOPS 30003 HAS SOUS 27507 HAS SOUPS 27507 WITH SCORE 27537.003
AT ITER 1236 NEW BEST:: SOT 53323 SOS 29967 HAS SOPS 29967 HAS SOUS 27494 HAS SOUPS 27494 WITH SCORE 27523.967
AT ITER 1244 NEW BEST:: SOT 53323 SOS 29857 HAS SOPS 29857 HAS SOUS 27482 HAS SOUPS 27482 WITH SCORE 27511.857
AT ITER 1258 NEW BEST:: SOT 53321 SOS 29855 HAS SOPS 29855 HAS SOUS 27480 HAS SOUPS 27480 WITH SCORE 27509.855
AT ITER 1265 NEW BEST:: SOT 53289 SOS 29859 HAS SOPS 29859 HAS SOUS 27458 HAS SOUPS 27458 WITH SCORE 27487.859
AT ITER 1275 NEW BEST:: SOT 53284 SOS 29787 HAS SOPS 29787 HAS SOUS 27410 HAS SOUPS 27410 WITH SCORE 27439.787
AT ITER 1286 NEW BEST:: SOT 53284 SOS 29778 HAS SOPS 29778 HAS SOUS 27410 HAS SOUPS 27410 WITH SCORE 27439.778
AT ITER 1297 NEW BEST:: SOT 53284 SOS 29768 HAS SOPS 29768 HAS SOUS 27400 HAS SOUPS 27400 WITH SCORE 27429.768
AT ITER 1304 NEW BEST:: SOT 53273 SOS 29744 HAS SOPS 29744 HAS SOUS 27350 HAS SOUPS 27350 WITH SCORE 27379.744
AT ITER 1333 NEW BEST:: SOT 53273 SOS 29716 HAS SOPS 29716 HAS SOUS 27350 HAS SOUPS 27350 WITH SCORE 27379.716
AT ITER 1347 NEW BEST:: SOT 53273 SOS 29742 HAS SOPS 29742 HAS SOUS 27348 HAS SOUPS 27348 WITH SCORE 27377.742
AT ITER 1349 NEW BEST:: SOT 53137 SOS 29780 HAS SOPS 29780 HAS SOUS 27258 HAS SOUPS 27258 WITH SCORE 27287.78
AT ITER 1354 NEW BEST:: SOT 53137 SOS 29773 HAS SOPS 29773 HAS SOUS 27258 HAS SOUPS 27258 WITH SCORE 27287.773
AT ITER 1359 NEW BEST:: SOT 53131 SOS 29767 HAS SOPS 29767 HAS SOUS 27252 HAS SOUPS 27252 WITH SCORE 27281.767
AT ITER 1362 NEW BEST:: SOT 53099 SOS 29735 HAS SOPS 29735 HAS SOUS 27220 HAS SOUPS 27220 WITH SCORE 27249.735
AT ITER 1366 NEW BEST:: SOT 53099 SOS 29708 HAS SOPS 29708 HAS SOUS 27202 HAS SOUPS 27202 WITH SCORE 27231.708
AT ITER 1369 NEW BEST:: SOT 53099 SOS 29708 HAS SOPS 29708 HAS SOUS 27198 HAS SOUPS 27198 WITH SCORE 27227.708
AT ITER 1373 NEW BEST:: SOT 53099 SOS 29658 HAS SOPS 29658 HAS SOUS 27198 HAS SOUPS 27198 WITH SCORE 27227.658
AT ITER 1388 NEW BEST:: SOT 53099 SOS 29622 HAS SOPS 29622 HAS SOUS 27182 HAS SOUPS 27182 WITH SCORE 27211.622
AT ITER 1391 NEW BEST:: SOT 53099 SOS 29613 HAS SOPS 29613 HAS SOUS 27182 HAS SOUPS 27182 WITH SCORE 27211.613
AT ITER 1397 NEW BEST:: SOT 53099 SOS 29579 HAS SOPS 29579 HAS SOUS 27166 HAS SOUPS 27166 WITH SCORE 27195.579
AT ITER 1401 NEW BEST:: SOT 52940 SOS 29551 HAS SOPS 29551 HAS SOUS 27074 HAS SOUPS 27074 WITH SCORE 27103.551
AT ITER 1404 NEW BEST:: SOT 52954 SOS 29406 HAS SOPS 29406 HAS SOUS 26955 HAS SOUPS 26955 WITH SCORE 26984.406
AT ITER 1410 NEW BEST:: SOT 52954 SOS 29238 HAS SOPS 29238 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26982.238
AT ITER 1413 NEW BEST:: SOT 52954 SOS 29214 HAS SOPS 29214 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26982.214
AT ITER 1426 NEW BEST:: SOT 52954 SOS 29175 HAS SOPS 29175 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26982.175
AT ITER 1440 NEW BEST:: SOT 52954 SOS 29166 HAS SOPS 29166 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26979.166
AT ITER 1445 NEW BEST:: SOT 52954 SOS 29165 HAS SOPS 29165 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26979.165
AT ITER 1451 NEW BEST:: SOT 52954 SOS 29119 HAS SOPS 29119 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26979.119
AT ITER 1455 NEW BEST:: SOT 52954 SOS 29097 HAS SOPS 29097 HAS SOUS 26946 HAS SOUPS 26946 WITH SCORE 26975.097
AT ITER 1465 NEW BEST:: SOT 52903 SOS 29067 HAS SOPS 29067 HAS SOUS 26916 HAS SOUPS 26916 WITH SCORE 26945.067
AT ITER 1478 NEW BEST:: SOT 52903 SOS 29132 HAS SOPS 29132 HAS SOUS 26911 HAS SOUPS 26911 WITH SCORE 26940.132
AT ITER 1496 NEW BEST:: SOT 52915 SOS 29108 HAS SOPS 29108 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26939.108
AT ITER 1509 NEW BEST:: SOT 52913 SOS 29106 HAS SOPS 29106 HAS SOUS 26909 HAS SOUPS 26909 WITH SCORE 26938.106
AT ITER 1517 NEW BEST:: SOT 52902 SOS 29095 HAS SOPS 29095 HAS SOUS 26898 HAS SOUPS 26898 WITH SCORE 26927.095
AT ITER 1522 NEW BEST:: SOT 52902 SOS 29112 HAS SOPS 29112 HAS SOUS 26897 HAS SOUPS 26897 WITH SCORE 26926.112
AT ITER 1526 NEW BEST:: SOT 52902 SOS 28936 HAS SOPS 28936 HAS SOUS 26881 HAS SOUPS 26881 WITH SCORE 26909.936
AT ITER 1533 NEW BEST:: SOT 52894 SOS 28928 HAS SOPS 28928 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26901.928
AT ITER 1538 NEW BEST:: SOT 52894 SOS 28880 HAS SOPS 28880 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26901.88
AT ITER 1548 NEW BEST:: SOT 52894 SOS 28863 HAS SOPS 28863 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26901.863
AT ITER 1556 NEW BEST:: SOT 52894 SOS 28834 HAS SOPS 28834 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26901.834
AT ITER 1558 NEW BEST:: SOT 52875 SOS 28782 HAS SOPS 28782 HAS SOUS 26832 HAS SOUPS 26832 WITH SCORE 26860.782
AT ITER 1562 NEW BEST:: SOT 52847 SOS 28819 HAS SOPS 28819 HAS SOUS 26812 HAS SOUPS 26812 WITH SCORE 26840.819
AT ITER 1572 NEW BEST:: SOT 52847 SOS 28816 HAS SOPS 28816 HAS SOUS 26791 HAS SOUPS 26791 WITH SCORE 26819.816
AT ITER 1576 NEW BEST:: SOT 52804 SOS 28773 HAS SOPS 28773 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26776.773
AT ITER 1583 NEW BEST:: SOT 52767 SOS 28793 HAS SOPS 28793 HAS SOUS 26729 HAS SOUPS 26729 WITH SCORE 26757.793
AT ITER 1590 NEW BEST:: SOT 52763 SOS 28789 HAS SOPS 28789 HAS SOUS 26725 HAS SOUPS 26725 WITH SCORE 26753.789
AT ITER 1597 NEW BEST:: SOT 52763 SOS 28765 HAS SOPS 28765 HAS SOUS 26725 HAS SOUPS 26725 WITH SCORE 26753.765
AT ITER 1606 NEW BEST:: SOT 52735 SOS 28737 HAS SOPS 28737 HAS SOUS 26697 HAS SOUPS 26697 WITH SCORE 26725.737
AT ITER 1621 NEW BEST:: SOT 52735 SOS 28735 HAS SOPS 28735 HAS SOUS 26695 HAS SOUPS 26695 WITH SCORE 26723.735
AT ITER 1622 NEW BEST:: SOT 52735 SOS 28721 HAS SOPS 28721 HAS SOUS 26695 HAS SOUPS 26695 WITH SCORE 26723.721
AT ITER 1654 NEW BEST:: SOT 52751 SOS 28721 HAS SOPS 28721 HAS SOUS 26687 HAS SOUPS 26687 WITH SCORE 26715.721
AT ITER 1668 NEW BEST:: SOT 52722 SOS 28693 HAS SOPS 28693 HAS SOUS 26645 HAS SOUPS 26645 WITH SCORE 26673.693
AT ITER 1669 NEW BEST:: SOT 52722 SOS 28669 HAS SOPS 28669 HAS SOUS 26634 HAS SOUPS 26634 WITH SCORE 26662.669
AT ITER 1687 NEW BEST:: SOT 52722 SOS 28661 HAS SOPS 28661 HAS SOUS 26633 HAS SOUPS 26633 WITH SCORE 26661.661
AT ITER 1693 NEW BEST:: SOT 52715 SOS 28654 HAS SOPS 28654 HAS SOUS 26626 HAS SOUPS 26626 WITH SCORE 26654.654
AT ITER 1694 NEW BEST:: SOT 52715 SOS 28616 HAS SOPS 28616 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26636.616
AT ITER 1703 NEW BEST:: SOT 52714 SOS 28615 HAS SOPS 28615 HAS SOUS 26607 HAS SOUPS 26607 WITH SCORE 26635.615
AT ITER 1719 NEW BEST:: SOT 52709 SOS 28615 HAS SOPS 28615 HAS SOUS 26601 HAS SOUPS 26601 WITH SCORE 26629.615
AT ITER 1728 NEW BEST:: SOT 52703 SOS 28585 HAS SOPS 28585 HAS SOUS 26601 HAS SOUPS 26601 WITH SCORE 26629.585
AT ITER 1739 NEW BEST:: SOT 52699 SOS 28607 HAS SOPS 28607 HAS SOUS 26594 HAS SOUPS 26594 WITH SCORE 26622.607
AT ITER 1745 NEW BEST:: SOT 52699 SOS 28586 HAS SOPS 28586 HAS SOUS 26594 HAS SOUPS 26594 WITH SCORE 26622.586
AT ITER 1756 NEW BEST:: SOT 52691 SOS 28578 HAS SOPS 28578 HAS SOUS 26589 HAS SOUPS 26589 WITH SCORE 26617.578
AT ITER 1776 NEW BEST:: SOT 52687 SOS 28570 HAS SOPS 28570 HAS SOUS 26581 HAS SOUPS 26581 WITH SCORE 26609.57
AT ITER 1803 NEW BEST:: SOT 52687 SOS 28476 HAS SOPS 28476 HAS SOUS 26561 HAS SOUPS 26561 WITH SCORE 26589.476
AT ITER 1817 NEW BEST:: SOT 52686 SOS 28541 HAS SOPS 28541 HAS SOUS 26559 HAS SOUPS 26559 WITH SCORE 26587.541
AT ITER 1827 NEW BEST:: SOT 52683 SOS 28538 HAS SOPS 28538 HAS SOUS 26556 HAS SOUPS 26556 WITH SCORE 26584.538
AT ITER 1830 NEW BEST:: SOT 52683 SOS 28528 HAS SOPS 28528 HAS SOUS 26556 HAS SOUPS 26556 WITH SCORE 26584.528
AT ITER 1833 NEW BEST:: SOT 52674 SOS 28519 HAS SOPS 28519 HAS SOUS 26547 HAS SOUPS 26547 WITH SCORE 26575.519
AT ITER 1836 NEW BEST:: SOT 52543 SOS 29305 HAS SOPS 29305 HAS SOUS 26520 HAS SOUPS 26520 WITH SCORE 26549.305
AT ITER 1864 NEW BEST:: SOT 52543 SOS 29270 HAS SOPS 29270 HAS SOUS 26515 HAS SOUPS 26515 WITH SCORE 26544.27
AT ITER 1865 NEW BEST:: SOT 52534 SOS 29260 HAS SOPS 29260 HAS SOUS 26468 HAS SOUPS 26468 WITH SCORE 26497.26
AT ITER 1867 NEW BEST:: SOT 52534 SOS 29260 HAS SOPS 29260 HAS SOUS 26465 HAS SOUPS 26465 WITH SCORE 26494.26
AT ITER 1871 NEW BEST:: SOT 52459 SOS 29234 HAS SOPS 29234 HAS SOUS 26449 HAS SOUPS 26449 WITH SCORE 26478.234
AT ITER 1879 NEW BEST:: SOT 52390 SOS 29185 HAS SOPS 29185 HAS SOUS 26396 HAS SOUPS 26396 WITH SCORE 26425.185
AT ITER 1884 NEW BEST:: SOT 52390 SOS 29165 HAS SOPS 29165 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26414.165
AT ITER 1898 NEW BEST:: SOT 52378 SOS 29149 HAS SOPS 29149 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26406.149
AT ITER 1911 NEW BEST:: SOT 52378 SOS 29149 HAS SOPS 29149 HAS SOUS 26363 HAS SOUPS 26363 WITH SCORE 26392.149
AT ITER 1913 NEW BEST:: SOT 52369 SOS 29119 HAS SOPS 29119 HAS SOUS 26343 HAS SOUPS 26343 WITH SCORE 26372.119
AT ITER 1914 NEW BEST:: SOT 52369 SOS 29107 HAS SOPS 29107 HAS SOUS 26343 HAS SOUPS 26343 WITH SCORE 26372.107
AT ITER 1947 NEW BEST:: SOT 52369 SOS 29099 HAS SOPS 29099 HAS SOUS 26343 HAS SOUPS 26343 WITH SCORE 26372.099
AT ITER 1949 NEW BEST:: SOT 52360 SOS 29097 HAS SOPS 29097 HAS SOUS 26317 HAS SOUPS 26317 WITH SCORE 26346.097
AT ITER 1951 NEW BEST:: SOT 52360 SOS 29085 HAS SOPS 29085 HAS SOUS 26317 HAS SOUPS 26317 WITH SCORE 26346.085
AT ITER 1955 NEW BEST:: SOT 52360 SOS 29044 HAS SOPS 29044 HAS SOUS 26315 HAS SOUPS 26315 WITH SCORE 26344.044
AT ITER 1957 NEW BEST:: SOT 52345 SOS 29029 HAS SOPS 29029 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26329.029
AT ITER 1963 NEW BEST:: SOT 52330 SOS 29058 HAS SOPS 29058 HAS SOUS 26294 HAS SOUPS 26294 WITH SCORE 26323.058
AT ITER 1968 NEW BEST:: SOT 52261 SOS 29002 HAS SOPS 29002 HAS SOUS 26247 HAS SOUPS 26247 WITH SCORE 26276.002
AT ITER 1991 NEW BEST:: SOT 52261 SOS 28987 HAS SOPS 28987 HAS SOUS 26247 HAS SOUPS 26247 WITH SCORE 26275.987
AT ITER 2001 NEW BEST:: SOT 52261 SOS 28954 HAS SOPS 28954 HAS SOUS 26238 HAS SOUPS 26238 WITH SCORE 26266.954
AT ITER 2006 NEW BEST:: SOT 52261 SOS 28940 HAS SOPS 28940 HAS SOUS 26238 HAS SOUPS 26238 WITH SCORE 26266.94
AT ITER 2013 NEW BEST:: SOT 52261 SOS 28754 HAS SOPS 28754 HAS SOUS 26238 HAS SOUPS 26238 WITH SCORE 26266.754
AT ITER 2034 NEW BEST:: SOT 52261 SOS 28691 HAS SOPS 28691 HAS SOUS 26238 HAS SOUPS 26238 WITH SCORE 26266.691
AT ITER 2070 NEW BEST:: SOT 52258 SOS 28733 HAS SOPS 28733 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26246.733
AT ITER 2071 NEW BEST:: SOT 52253 SOS 28728 HAS SOPS 28728 HAS SOUS 26213 HAS SOUPS 26213 WITH SCORE 26241.728
AT ITER 2076 NEW BEST:: SOT 52248 SOS 28723 HAS SOPS 28723 HAS SOUS 26208 HAS SOUPS 26208 WITH SCORE 26236.723
AT ITER 2098 NEW BEST:: SOT 52248 SOS 28717 HAS SOPS 28717 HAS SOUS 26208 HAS SOUPS 26208 WITH SCORE 26236.717
AT ITER 2109 NEW BEST:: SOT 52248 SOS 28581 HAS SOPS 28581 HAS SOUS 26208 HAS SOUPS 26208 WITH SCORE 26236.581
AT ITER 2125 NEW BEST:: SOT 52243 SOS 28576 HAS SOPS 28576 HAS SOUS 26203 HAS SOUPS 26203 WITH SCORE 26231.576
AT ITER 2127 NEW BEST:: SOT 52232 SOS 28568 HAS SOPS 28568 HAS SOUS 26195 HAS SOUPS 26195 WITH SCORE 26223.568
AT ITER 2129 NEW BEST:: SOT 52034 SOS 28568 HAS SOPS 28568 HAS SOUS 26181 HAS SOUPS 26181 WITH SCORE 26209.568
AT ITER 2133 NEW BEST:: SOT 52034 SOS 28562 HAS SOPS 28562 HAS SOUS 26181 HAS SOUPS 26181 WITH SCORE 26209.562
AT ITER 2143 NEW BEST:: SOT 52050 SOS 28514 HAS SOPS 28514 HAS SOUS 26178 HAS SOUPS 26178 WITH SCORE 26206.514
AT ITER 2153 NEW BEST:: SOT 52050 SOS 28514 HAS SOPS 28514 HAS SOUS 26164 HAS SOUPS 26164 WITH SCORE 26192.514
AT ITER 2204 NEW BEST:: SOT 52028 SOS 28559 HAS SOPS 28559 HAS SOUS 26162 HAS SOUPS 26162 WITH SCORE 26190.559
AT ITER 2222 NEW BEST:: SOT 52021 SOS 28552 HAS SOPS 28552 HAS SOUS 26155 HAS SOUPS 26155 WITH SCORE 26183.552
AT ITER 2255 NEW BEST:: SOT 52021 SOS 28550 HAS SOPS 28550 HAS SOUS 26153 HAS SOUPS 26153 WITH SCORE 26181.55
AT ITER 2277 NEW BEST:: SOT 51940 SOS 28848 HAS SOPS 28848 HAS SOUS 26137 HAS SOUPS 26137 WITH SCORE 26165.848
AT ITER 2283 NEW BEST:: SOT 51891 SOS 29034 HAS SOPS 29034 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26139.034
AT ITER 2294 NEW BEST:: SOT 51913 SOS 29056 HAS SOPS 29056 HAS SOUS 26106 HAS SOUPS 26106 WITH SCORE 26135.056
AT ITER 2296 NEW BEST:: SOT 51913 SOS 28912 HAS SOPS 28912 HAS SOUS 26056 HAS SOUPS 26056 WITH SCORE 26084.912
AT ITER 2302 NEW BEST:: SOT 51919 SOS 28918 HAS SOPS 28918 HAS SOUS 26047 HAS SOUPS 26047 WITH SCORE 26075.918
AT ITER 2303 NEW BEST:: SOT 51919 SOS 28914 HAS SOPS 28914 HAS SOUS 26047 HAS SOUPS 26047 WITH SCORE 26075.914
AT ITER 2329 NEW BEST:: SOT 51919 SOS 28909 HAS SOPS 28909 HAS SOUS 26047 HAS SOUPS 26047 WITH SCORE 26075.909
AT ITER 2341 NEW BEST:: SOT 51898 SOS 28808 HAS SOPS 28808 HAS SOUS 25987 HAS SOUPS 25987 WITH SCORE 26015.808
AT ITER 2367 NEW BEST:: SOT 51903 SOS 28787 HAS SOPS 28787 HAS SOUS 25967 HAS SOUPS 25967 WITH SCORE 25995.787
AT ITER 2378 NEW BEST:: SOT 51903 SOS 28771 HAS SOPS 28771 HAS SOUS 25967 HAS SOUPS 25967 WITH SCORE 25995.771
AT ITER 2384 NEW BEST:: SOT 51897 SOS 28769 HAS SOPS 28769 HAS SOUS 25958 HAS SOUPS 25958 WITH SCORE 25986.769
AT ITER 2386 NEW BEST:: SOT 51897 SOS 28757 HAS SOPS 28757 HAS SOUS 25958 HAS SOUPS 25958 WITH SCORE 25986.757
AT ITER 2387 NEW BEST:: SOT 51888 SOS 28748 HAS SOPS 28748 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 25977.748
AT ITER 2419 NEW BEST:: SOT 51847 SOS 28721 HAS SOPS 28721 HAS SOUS 25936 HAS SOUPS 25936 WITH SCORE 25964.721
AT ITER 2439 NEW BEST:: SOT 51843 SOS 28717 HAS SOPS 28717 HAS SOUS 25924 HAS SOUPS 25924 WITH SCORE 25952.717
AT ITER 2446 NEW BEST:: SOT 51843 SOS 28699 HAS SOPS 28699 HAS SOUS 25924 HAS SOUPS 25924 WITH SCORE 25952.699
AT ITER 2468 NEW BEST:: SOT 51843 SOS 28715 HAS SOPS 28715 HAS SOUS 25916 HAS SOUPS 25916 WITH SCORE 25944.715
AT ITER 2478 NEW BEST:: SOT 51843 SOS 28706 HAS SOPS 28706 HAS SOUS 25907 HAS SOUPS 25907 WITH SCORE 25935.706
AT ITER 2486 NEW BEST:: SOT 51843 SOS 28695 HAS SOPS 28695 HAS SOUS 25907 HAS SOUPS 25907 WITH SCORE 25935.695
AT ITER 2489 NEW BEST:: SOT 51854 SOS 28647 HAS SOPS 28647 HAS SOUS 25904 HAS SOUPS 25904 WITH SCORE 25932.647
AT ITER 2490 NEW BEST:: SOT 51847 SOS 28638 HAS SOPS 28638 HAS SOUS 25899 HAS SOUPS 25899 WITH SCORE 25927.638
AT ITER 2511 NEW BEST:: SOT 51851 SOS 28642 HAS SOPS 28642 HAS SOUS 25882 HAS SOUPS 25882 WITH SCORE 25910.642
AT ITER 2522 NEW BEST:: SOT 51878 SOS 28645 HAS SOPS 28645 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25903.645
AT ITER 2528 NEW BEST:: SOT 51878 SOS 28637 HAS SOPS 28637 HAS SOUS 25875 HAS SOUPS 25875 WITH SCORE 25903.637
AT ITER 2530 NEW BEST:: SOT 51874 SOS 28635 HAS SOPS 28635 HAS SOUS 25873 HAS SOUPS 25873 WITH SCORE 25901.635
AT ITER 2543 NEW BEST:: SOT 51874 SOS 28625 HAS SOPS 28625 HAS SOUS 25863 HAS SOUPS 25863 WITH SCORE 25891.625
AT ITER 2559 NEW BEST:: SOT 51874 SOS 28600 HAS SOPS 28600 HAS SOUS 25833 HAS SOUPS 25833 WITH SCORE 25861.6
AT ITER 2562 NEW BEST:: SOT 51838 SOS 28578 HAS SOPS 28578 HAS SOUS 25820 HAS SOUPS 25820 WITH SCORE 25848.578
AT ITER 2563 NEW BEST:: SOT 51833 SOS 28573 HAS SOPS 28573 HAS SOUS 25815 HAS SOUPS 25815 WITH SCORE 25843.573
AT ITER 2568 NEW BEST:: SOT 51804 SOS 28507 HAS SOPS 28507 HAS SOUS 25752 HAS SOUPS 25752 WITH SCORE 25780.507
AT ITER 2570 NEW BEST:: SOT 51804 SOS 28463 HAS SOPS 28463 HAS SOUS 25752 HAS SOUPS 25752 WITH SCORE 25780.463
AT ITER 2574 NEW BEST:: SOT 51679 SOS 28441 HAS SOPS 28441 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25757.441
AT ITER 2598 NEW BEST:: SOT 51650 SOS 28971 HAS SOPS 28971 HAS SOUS 25720 HAS SOUPS 25720 WITH SCORE 25748.971
AT ITER 2610 NEW BEST:: SOT 51650 SOS 28966 HAS SOPS 28966 HAS SOUS 25720 HAS SOUPS 25720 WITH SCORE 25748.966
AT ITER 2612 NEW BEST:: SOT 51650 SOS 28963 HAS SOPS 28963 HAS SOUS 25720 HAS SOUPS 25720 WITH SCORE 25748.963
AT ITER 2618 NEW BEST:: SOT 51650 SOS 29005 HAS SOPS 29005 HAS SOUS 25718 HAS SOUPS 25718 WITH SCORE 25747.005
AT ITER 2619 NEW BEST:: SOT 51597 SOS 29222 HAS SOPS 29222 HAS SOUS 25713 HAS SOUPS 25713 WITH SCORE 25742.222
AT ITER 2628 NEW BEST:: SOT 51597 SOS 29198 HAS SOPS 29198 HAS SOUS 25713 HAS SOUPS 25713 WITH SCORE 25742.198
AT ITER 2632 NEW BEST:: SOT 51574 SOS 29191 HAS SOPS 29191 HAS SOUS 25711 HAS SOUPS 25711 WITH SCORE 25740.191
AT ITER 2681 NEW BEST:: SOT 51574 SOS 29175 HAS SOPS 29175 HAS SOUS 25711 HAS SOUPS 25711 WITH SCORE 25740.175
AT ITER 2690 NEW BEST:: SOT 51574 SOS 29153 HAS SOPS 29153 HAS SOUS 25711 HAS SOUPS 25711 WITH SCORE 25740.153
AT ITER 2708 NEW BEST:: SOT 51574 SOS 29151 HAS SOPS 29151 HAS SOUS 25711 HAS SOUPS 25711 WITH SCORE 25740.151
AT ITER 2713 NEW BEST:: SOT 51574 SOS 29186 HAS SOPS 29186 HAS SOUS 25703 HAS SOUPS 25703 WITH SCORE 25732.186
AT ITER 2725 NEW BEST:: SOT 51574 SOS 29178 HAS SOPS 29178 HAS SOUS 25695 HAS SOUPS 25695 WITH SCORE 25724.178
AT ITER 2735 NEW BEST:: SOT 51574 SOS 29171 HAS SOPS 29171 HAS SOUS 25688 HAS SOUPS 25688 WITH SCORE 25717.171
AT ITER 2753 NEW BEST:: SOT 51569 SOS 29166 HAS SOPS 29166 HAS SOUS 25683 HAS SOUPS 25683 WITH SCORE 25712.166
AT ITER 2757 NEW BEST:: SOT 51552 SOS 29150 HAS SOPS 29150 HAS SOUS 25629 HAS SOUPS 25629 WITH SCORE 25658.15
AT ITER 2758 NEW BEST:: SOT 51552 SOS 29125 HAS SOPS 29125 HAS SOUS 25629 HAS SOUPS 25629 WITH SCORE 25658.125
AT ITER 2760 NEW BEST:: SOT 51552 SOS 29116 HAS SOPS 29116 HAS SOUS 25629 HAS SOUPS 25629 WITH SCORE 25658.116
AT ITER 2770 NEW BEST:: SOT 51552 SOS 29165 HAS SOPS 29165 HAS SOUS 25627 HAS SOUPS 25627 WITH SCORE 25656.165
AT ITER 2772 NEW BEST:: SOT 51552 SOS 29148 HAS SOPS 29148 HAS SOUS 25602 HAS SOUPS 25602 WITH SCORE 25631.148
AT ITER 2781 NEW BEST:: SOT 51552 SOS 29143 HAS SOPS 29143 HAS SOUS 25602 HAS SOUPS 25602 WITH SCORE 25631.143
AT ITER 2783 NEW BEST:: SOT 51547 SOS 29080 HAS SOPS 29080 HAS SOUS 25576 HAS SOUPS 25576 WITH SCORE 25605.08
AT ITER 2788 NEW BEST:: SOT 51547 SOS 29043 HAS SOPS 29043 HAS SOUS 25576 HAS SOUPS 25576 WITH SCORE 25605.043
AT ITER 2793 NEW BEST:: SOT 51547 SOS 29105 HAS SOPS 29105 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25591.105
AT ITER 2802 NEW BEST:: SOT 51547 SOS 29101 HAS SOPS 29101 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25591.101
AT ITER 2803 NEW BEST:: SOT 51547 SOS 29095 HAS SOPS 29095 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25583.095
AT ITER 2807 NEW BEST:: SOT 51547 SOS 29086 HAS SOPS 29086 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25583.086
AT ITER 2815 NEW BEST:: SOT 51547 SOS 29037 HAS SOPS 29037 HAS SOUS 25554 HAS SOUPS 25554 WITH SCORE 25583.037
AT ITER 2825 NEW BEST:: SOT 51544 SOS 29034 HAS SOPS 29034 HAS SOUS 25549 HAS SOUPS 25549 WITH SCORE 25578.034
AT ITER 2862 NEW BEST:: SOT 51546 SOS 28969 HAS SOPS 28969 HAS SOUS 25525 HAS SOUPS 25525 WITH SCORE 25553.969
AT ITER 2866 NEW BEST:: SOT 51538 SOS 28967 HAS SOPS 28967 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25551.967
AT ITER 2887 NEW BEST:: SOT 51538 SOS 28956 HAS SOPS 28956 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25551.956
AT ITER 2888 NEW BEST:: SOT 51538 SOS 28950 HAS SOPS 28950 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25551.95
AT ITER 2900 NEW BEST:: SOT 51538 SOS 28929 HAS SOPS 28929 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25551.929
AT ITER 2905 NEW BEST:: SOT 51538 SOS 28902 HAS SOPS 28902 HAS SOUS 25502 HAS SOUPS 25502 WITH SCORE 25530.902
AT ITER 2906 NEW BEST:: SOT 51531 SOS 28960 HAS SOPS 28960 HAS SOUS 25495 HAS SOUPS 25495 WITH SCORE 25523.96
AT ITER 2909 NEW BEST:: SOT 51531 SOS 28949 HAS SOPS 28949 HAS SOUS 25495 HAS SOUPS 25495 WITH SCORE 25523.949
AT ITER 2912 NEW BEST:: SOT 51531 SOS 28948 HAS SOPS 28948 HAS SOUS 25495 HAS SOUPS 25495 WITH SCORE 25523.948
AT ITER 2926 NEW BEST:: SOT 51531 SOS 28840 HAS SOPS 28840 HAS SOUS 25495 HAS SOUPS 25495 WITH SCORE 25523.84
AT ITER 2928 NEW BEST:: SOT 51485 SOS 28794 HAS SOPS 28794 HAS SOUS 25449 HAS SOUPS 25449 WITH SCORE 25477.794
AT ITER 2940 NEW BEST:: SOT 51485 SOS 28787 HAS SOPS 28787 HAS SOUS 25449 HAS SOUPS 25449 WITH SCORE 25477.787
AT ITER 2942 NEW BEST:: SOT 51462 SOS 28764 HAS SOPS 28764 HAS SOUS 25426 HAS SOUPS 25426 WITH SCORE 25454.764
AT ITER 2952 NEW BEST:: SOT 51462 SOS 28756 HAS SOPS 28756 HAS SOUS 25426 HAS SOUPS 25426 WITH SCORE 25454.756
AT ITER 2964 NEW BEST:: SOT 51462 SOS 28719 HAS SOPS 28719 HAS SOUS 25426 HAS SOUPS 25426 WITH SCORE 25454.719
AT ITER 2965 NEW BEST:: SOT 51462 SOS 28715 HAS SOPS 28715 HAS SOUS 25423 HAS SOUPS 25423 WITH SCORE 25451.715
AT ITER 2967 NEW BEST:: SOT 51462 SOS 28693 HAS SOPS 28693 HAS SOUS 25423 HAS SOUPS 25423 WITH SCORE 25451.693
AT ITER 2969 NEW BEST:: SOT 51393 SOS 28779 HAS SOPS 28779 HAS SOUS 25422 HAS SOUPS 25422 WITH SCORE 25450.779
AT ITER 2993 NEW BEST:: SOT 51332 SOS 28718 HAS SOPS 28718 HAS SOUS 25361 HAS SOUPS 25361 WITH SCORE 25389.718
AT ITER 3034 NEW BEST:: SOT 51332 SOS 28711 HAS SOPS 28711 HAS SOUS 25361 HAS SOUPS 25361 WITH SCORE 25389.711
AT ITER 3038 NEW BEST:: SOT 51326 SOS 28705 HAS SOPS 28705 HAS SOUS 25355 HAS SOUPS 25355 WITH SCORE 25383.705
AT ITER 3046 NEW BEST:: SOT 51326 SOS 28703 HAS SOPS 28703 HAS SOUS 25355 HAS SOUPS 25355 WITH SCORE 25383.703
AT ITER 3060 NEW BEST:: SOT 51142 SOS 29437 HAS SOPS 29437 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25338.437
AT ITER 3064 NEW BEST:: SOT 51142 SOS 29447 HAS SOPS 29447 HAS SOUS 25299 HAS SOUPS 25299 WITH SCORE 25328.447
AT ITER 3068 NEW BEST:: SOT 50953 SOS 29293 HAS SOPS 29293 HAS SOUS 25294 HAS SOUPS 25294 WITH SCORE 25323.293
AT ITER 3075 NEW BEST:: SOT 50953 SOS 29294 HAS SOPS 29294 HAS SOUS 25270 HAS SOUPS 25270 WITH SCORE 25299.294
AT ITER 3088 NEW BEST:: SOT 50877 SOS 29629 HAS SOPS 29629 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25224.629
AT ITER 3108 NEW BEST:: SOT 50877 SOS 29553 HAS SOPS 29553 HAS SOUS 25190 HAS SOUPS 25190 WITH SCORE 25219.553
AT ITER 3114 NEW BEST:: SOT 50877 SOS 29549 HAS SOPS 29549 HAS SOUS 25186 HAS SOUPS 25186 WITH SCORE 25215.549
AT ITER 3116 NEW BEST:: SOT 50870 SOS 29524 HAS SOPS 29524 HAS SOUS 25169 HAS SOUPS 25169 WITH SCORE 25198.524
AT ITER 3132 NEW BEST:: SOT 50870 SOS 29374 HAS SOPS 29374 HAS SOUS 25169 HAS SOUPS 25169 WITH SCORE 25198.374
AT ITER 3146 NEW BEST:: SOT 50862 SOS 29419 HAS SOPS 29419 HAS SOUS 25166 HAS SOUPS 25166 WITH SCORE 25195.419
AT ITER 3161 NEW BEST:: SOT 50844 SOS 29403 HAS SOPS 29403 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25193.403
AT ITER 3163 NEW BEST:: SOT 50844 SOS 29392 HAS SOPS 29392 HAS SOUS 25158 HAS SOUPS 25158 WITH SCORE 25187.392
AT ITER 3170 NEW BEST:: SOT 50844 SOS 29371 HAS SOPS 29371 HAS SOUS 25158 HAS SOUPS 25158 WITH SCORE 25187.371
AT ITER 3175 NEW BEST:: SOT 50843 SOS 29370 HAS SOPS 29370 HAS SOUS 25157 HAS SOUPS 25157 WITH SCORE 25186.37
AT ITER 3194 NEW BEST:: SOT 50843 SOS 29368 HAS SOPS 29368 HAS SOUS 25157 HAS SOUPS 25157 WITH SCORE 25186.368
AT ITER 3216 NEW BEST:: SOT 50792 SOS 29283 HAS SOPS 29283 HAS SOUS 25142 HAS SOUPS 25142 WITH SCORE 25171.283
AT ITER 3219 NEW BEST:: SOT 50737 SOS 29355 HAS SOPS 29355 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25161.355
AT ITER 3233 NEW BEST:: SOT 50737 SOS 29346 HAS SOPS 29346 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25161.346
AT ITER 3248 NEW BEST:: SOT 50737 SOS 29340 HAS SOPS 29340 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25161.34
AT ITER 3250 NEW BEST:: SOT 50769 SOS 29312 HAS SOPS 29312 HAS SOUS 25132 HAS SOUPS 25132 WITH SCORE 25161.312
AT ITER 3252 NEW BEST:: SOT 50764 SOS 29307 HAS SOPS 29307 HAS SOUS 25127 HAS SOUPS 25127 WITH SCORE 25156.307
AT ITER 3255 NEW BEST:: SOT 50764 SOS 29310 HAS SOPS 29310 HAS SOUS 25105 HAS SOUPS 25105 WITH SCORE 25134.31
AT ITER 3308 NEW BEST:: SOT 50764 SOS 29354 HAS SOPS 29354 HAS SOUS 25100 HAS SOUPS 25100 WITH SCORE 25129.354
AT ITER 3321 NEW BEST:: SOT 50749 SOS 29356 HAS SOPS 29356 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25108.356
AT ITER 3322 NEW BEST:: SOT 50749 SOS 29344 HAS SOPS 29344 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25108.344
AT ITER 3346 NEW BEST:: SOT 50749 SOS 29312 HAS SOPS 29312 HAS SOUS 25079 HAS SOUPS 25079 WITH SCORE 25108.312
AT ITER 3353 NEW BEST:: SOT 50743 SOS 29307 HAS SOPS 29307 HAS SOUS 25076 HAS SOUPS 25076 WITH SCORE 25105.307
AT ITER 3354 NEW BEST:: SOT 50726 SOS 29303 HAS SOPS 29303 HAS SOUS 25069 HAS SOUPS 25069 WITH SCORE 25098.303
AT ITER 3377 NEW BEST:: SOT 50717 SOS 29294 HAS SOPS 29294 HAS SOUS 25060 HAS SOUPS 25060 WITH SCORE 25089.294
AT ITER 3416 NEW BEST:: SOT 50705 SOS 29291 HAS SOPS 29291 HAS SOUS 25057 HAS SOUPS 25057 WITH SCORE 25086.291
AT ITER 3431 NEW BEST:: SOT 50705 SOS 29276 HAS SOPS 29276 HAS SOUS 25057 HAS SOUPS 25057 WITH SCORE 25086.276
AT ITER 3442 NEW BEST:: SOT 50695 SOS 29268 HAS SOPS 29268 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25084.268
AT ITER 3448 NEW BEST:: SOT 50615 SOS 29247 HAS SOPS 29247 HAS SOUS 25052 HAS SOUPS 25052 WITH SCORE 25081.247
AT ITER 3454 NEW BEST:: SOT 50607 SOS 29239 HAS SOPS 29239 HAS SOUS 25044 HAS SOUPS 25044 WITH SCORE 25073.239
AT ITER 3478 NEW BEST:: SOT 50607 SOS 29231 HAS SOPS 29231 HAS SOUS 25044 HAS SOUPS 25044 WITH SCORE 25073.231
AT ITER 3495 NEW BEST:: SOT 50628 SOS 29245 HAS SOPS 29245 HAS SOUS 25039 HAS SOUPS 25039 WITH SCORE 25068.245
AT ITER 3496 NEW BEST:: SOT 50628 SOS 29239 HAS SOPS 29239 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25062.239
AT ITER 3498 NEW BEST:: SOT 50629 SOS 29240 HAS SOPS 29240 HAS SOUS 25028 HAS SOUPS 25028 WITH SCORE 25057.24
AT ITER 3508 NEW BEST:: SOT 50625 SOS 29304 HAS SOPS 29304 HAS SOUS 25016 HAS SOUPS 25016 WITH SCORE 25045.304
AT ITER 3512 NEW BEST:: SOT 50625 SOS 29465 HAS SOPS 29465 HAS SOUS 25005 HAS SOUPS 25005 WITH SCORE 25034.465
AT ITER 3528 NEW BEST:: SOT 50625 SOS 29458 HAS SOPS 29458 HAS SOUS 24984 HAS SOUPS 24984 WITH SCORE 25013.458
AT ITER 3530 NEW BEST:: SOT 50606 SOS 29439 HAS SOPS 29439 HAS SOUS 24965 HAS SOUPS 24965 WITH SCORE 24994.439
AT ITER 3552 NEW BEST:: SOT 50606 SOS 29405 HAS SOPS 29405 HAS SOUS 24931 HAS SOUPS 24931 WITH SCORE 24960.405
AT ITER 3570 NEW BEST:: SOT 50499 SOS 29329 HAS SOPS 29329 HAS SOUS 24897 HAS SOUPS 24897 WITH SCORE 24926.329
AT ITER 3571 NEW BEST:: SOT 50400 SOS 29300 HAS SOPS 29300 HAS SOUS 24869 HAS SOUPS 24869 WITH SCORE 24898.3
AT ITER 3588 NEW BEST:: SOT 50400 SOS 29266 HAS SOPS 29266 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24896.266
AT ITER 3604 NEW BEST:: SOT 50256 SOS 29122 HAS SOPS 29122 HAS SOUS 24829 HAS SOUPS 24829 WITH SCORE 24858.122
AT ITER 3612 NEW BEST:: SOT 50267 SOS 29103 HAS SOPS 29103 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24845.103
AT ITER 3631 NEW BEST:: SOT 50267 SOS 29097 HAS SOPS 29097 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24845.097
AT ITER 3650 NEW BEST:: SOT 50267 SOS 29076 HAS SOPS 29076 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24845.076
AT ITER 3674 NEW BEST:: SOT 50257 SOS 29071 HAS SOPS 29071 HAS SOUS 24772 HAS SOUPS 24772 WITH SCORE 24801.071
AT ITER 3682 NEW BEST:: SOT 50277 SOS 28766 HAS SOPS 28766 HAS SOUS 24769 HAS SOUPS 24769 WITH SCORE 24797.766
AT ITER 3687 NEW BEST:: SOT 50265 SOS 28570 HAS SOPS 28570 HAS SOUS 24769 HAS SOUPS 24769 WITH SCORE 24797.57
AT ITER 3691 NEW BEST:: SOT 50265 SOS 28523 HAS SOPS 28523 HAS SOUS 24722 HAS SOUPS 24722 WITH SCORE 24750.523
AT ITER 3693 NEW BEST:: SOT 50265 SOS 28484 HAS SOPS 28484 HAS SOUS 24722 HAS SOUPS 24722 WITH SCORE 24750.484
AT ITER 3704 NEW BEST:: SOT 50265 SOS 28441 HAS SOPS 28441 HAS SOUS 24702 HAS SOUPS 24702 WITH SCORE 24730.441
AT ITER 3708 NEW BEST:: SOT 50266 SOS 28435 HAS SOPS 28435 HAS SOUS 24691 HAS SOUPS 24691 WITH SCORE 24719.435
AT ITER 3709 NEW BEST:: SOT 50266 SOS 28345 HAS SOPS 28345 HAS SOUS 24691 HAS SOUPS 24691 WITH SCORE 24719.345
AT ITER 3717 NEW BEST:: SOT 50266 SOS 28330 HAS SOPS 28330 HAS SOUS 24691 HAS SOUPS 24691 WITH SCORE 24719.33
AT ITER 3733 NEW BEST:: SOT 50266 SOS 28328 HAS SOPS 28328 HAS SOUS 24689 HAS SOUPS 24689 WITH SCORE 24717.328
AT ITER 3734 NEW BEST:: SOT 50166 SOS 28270 HAS SOPS 28270 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24696.27
AT ITER 3743 NEW BEST:: SOT 50166 SOS 28269 HAS SOPS 28269 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24696.269
AT ITER 3749 NEW BEST:: SOT 50160 SOS 28263 HAS SOPS 28263 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24690.263
AT ITER 3759 NEW BEST:: SOT 50160 SOS 28223 HAS SOPS 28223 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24690.223
AT ITER 3766 NEW BEST:: SOT 50160 SOS 28221 HAS SOPS 28221 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24690.221
AT ITER 3774 NEW BEST:: SOT 50140 SOS 28277 HAS SOPS 28277 HAS SOUS 24621 HAS SOUPS 24621 WITH SCORE 24649.277
AT ITER 3801 NEW BEST:: SOT 50120 SOS 28257 HAS SOPS 28257 HAS SOUS 24601 HAS SOUPS 24601 WITH SCORE 24629.257
AT ITER 3819 NEW BEST:: SOT 50129 SOS 28261 HAS SOPS 28261 HAS SOUS 24594 HAS SOUPS 24594 WITH SCORE 24622.261
AT ITER 3820 NEW BEST:: SOT 50043 SOS 28175 HAS SOPS 28175 HAS SOUS 24514 HAS SOUPS 24514 WITH SCORE 24542.175
AT ITER 3821 NEW BEST:: SOT 50043 SOS 28014 HAS SOPS 28014 HAS SOUS 24514 HAS SOUPS 24514 WITH SCORE 24542.014
AT ITER 3822 NEW BEST:: SOT 50043 SOS 28007 HAS SOPS 28007 HAS SOUS 24514 HAS SOUPS 24514 WITH SCORE 24542.007
AT ITER 3823 NEW BEST:: SOT 50043 SOS 27968 HAS SOPS 27968 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24524.968
AT ITER 3828 NEW BEST:: SOT 50043 SOS 27925 HAS SOPS 27925 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24524.925
AT ITER 3837 NEW BEST:: SOT 50043 SOS 27925 HAS SOPS 27925 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24521.925
AT ITER 3838 NEW BEST:: SOT 50043 SOS 27815 HAS SOPS 27815 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24521.815
AT ITER 3840 NEW BEST:: SOT 50004 SOS 28179 HAS SOPS 28179 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24499.179
AT ITER 3841 NEW BEST:: SOT 50004 SOS 28174 HAS SOPS 28174 HAS SOUS 24471 HAS SOUPS 24471 WITH SCORE 24499.174
AT ITER 3849 NEW BEST:: SOT 50014 SOS 28172 HAS SOPS 28172 HAS SOUS 24444 HAS SOUPS 24444 WITH SCORE 24472.172
AT ITER 3852 NEW BEST:: SOT 50008 SOS 28166 HAS SOPS 28166 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24466.166
AT ITER 3853 NEW BEST:: SOT 50008 SOS 28248 HAS SOPS 28248 HAS SOUS 24435 HAS SOUPS 24435 WITH SCORE 24463.248
AT ITER 3862 NEW BEST:: SOT 50008 SOS 28180 HAS SOPS 28180 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24428.18
AT ITER 3873 NEW BEST:: SOT 50008 SOS 28152 HAS SOPS 28152 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24428.152
AT ITER 3885 NEW BEST:: SOT 50008 SOS 28150 HAS SOPS 28150 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24428.15
AT ITER 3887 NEW BEST:: SOT 50008 SOS 28134 HAS SOPS 28134 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24428.134
AT ITER 3914 NEW BEST:: SOT 50021 SOS 28147 HAS SOPS 28147 HAS SOUS 24397 HAS SOUPS 24397 WITH SCORE 24425.147
AT ITER 3919 NEW BEST:: SOT 50021 SOS 28146 HAS SOPS 28146 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24424.146
AT ITER 3920 NEW BEST:: SOT 50021 SOS 28138 HAS SOPS 28138 HAS SOUS 24396 HAS SOUPS 24396 WITH SCORE 24424.138
AT ITER 3942 NEW BEST:: SOT 50036 SOS 28062 HAS SOPS 28062 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24410.062
AT ITER 3945 NEW BEST:: SOT 50036 SOS 28042 HAS SOPS 28042 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24410.042
AT ITER 3952 NEW BEST:: SOT 50025 SOS 28031 HAS SOPS 28031 HAS SOUS 24371 HAS SOUPS 24371 WITH SCORE 24399.031
AT ITER 3954 NEW BEST:: SOT 50024 SOS 28030 HAS SOPS 28030 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24398.03
AT ITER 3960 NEW BEST:: SOT 49908 SOS 27914 HAS SOPS 27914 HAS SOUS 24254 HAS SOUPS 24254 WITH SCORE 24281.914
AT ITER 3966 NEW BEST:: SOT 49898 SOS 27904 HAS SOPS 27904 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24271.904
AT ITER 3990 NEW BEST:: SOT 49883 SOS 27896 HAS SOPS 27896 HAS SOUS 24239 HAS SOUPS 24239 WITH SCORE 24266.896
AT ITER 3991 NEW BEST:: SOT 49883 SOS 27892 HAS SOPS 27892 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24263.892
AT ITER 3998 NEW BEST:: SOT 49883 SOS 27785 HAS SOPS 27785 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24263.785
AT ITER 4003 NEW BEST:: SOT 49877 SOS 27779 HAS SOPS 27779 HAS SOUS 24230 HAS SOUPS 24230 WITH SCORE 24257.779
AT ITER 4006 NEW BEST:: SOT 49711 SOS 27821 HAS SOPS 27821 HAS SOUS 24191 HAS SOUPS 24191 WITH SCORE 24218.821
AT ITER 4022 NEW BEST:: SOT 49711 SOS 27815 HAS SOPS 27815 HAS SOUS 24186 HAS SOUPS 24186 WITH SCORE 24213.815
AT ITER 4026 NEW BEST:: SOT 49681 SOS 27785 HAS SOPS 27785 HAS SOUS 24170 HAS SOUPS 24170 WITH SCORE 24197.785
AT ITER 4041 NEW BEST:: SOT 49681 SOS 27773 HAS SOPS 27773 HAS SOUS 24166 HAS SOUPS 24166 WITH SCORE 24193.773
AT ITER 4072 NEW BEST:: SOT 49681 SOS 27766 HAS SOPS 27766 HAS SOUS 24166 HAS SOUPS 24166 WITH SCORE 24193.766
AT ITER 4077 NEW BEST:: SOT 49681 SOS 27810 HAS SOPS 27810 HAS SOUS 24151 HAS SOUPS 24151 WITH SCORE 24178.81
AT ITER 4109 NEW BEST:: SOT 49680 SOS 27819 HAS SOPS 27819 HAS SOUS 24146 HAS SOUPS 24146 WITH SCORE 24173.819
AT ITER 4117 NEW BEST:: SOT 49623 SOS 27767 HAS SOPS 27767 HAS SOUS 24101 HAS SOUPS 24101 WITH SCORE 24128.767
AT ITER 4118 NEW BEST:: SOT 49610 SOS 27754 HAS SOPS 27754 HAS SOUS 24088 HAS SOUPS 24088 WITH SCORE 24115.754
AT ITER 4123 NEW BEST:: SOT 49607 SOS 27751 HAS SOPS 27751 HAS SOUS 24085 HAS SOUPS 24085 WITH SCORE 24112.751
AT ITER 4141 NEW BEST:: SOT 49578 SOS 27696 HAS SOPS 27696 HAS SOUS 24054 HAS SOUPS 24054 WITH SCORE 24081.696
AT ITER 4148 NEW BEST:: SOT 49624 SOS 27742 HAS SOPS 27742 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24055.742
AT ITER 4168 NEW BEST:: SOT 49624 SOS 27738 HAS SOPS 27738 HAS SOUS 24028 HAS SOUPS 24028 WITH SCORE 24055.738
AT ITER 4178 NEW BEST:: SOT 49622 SOS 27735 HAS SOPS 27735 HAS SOUS 24019 HAS SOUPS 24019 WITH SCORE 24046.735
AT ITER 4182 NEW BEST:: SOT 49622 SOS 27733 HAS SOPS 27733 HAS SOUS 24019 HAS SOUPS 24019 WITH SCORE 24046.733
AT ITER 4194 NEW BEST:: SOT 49621 SOS 27732 HAS SOPS 27732 HAS SOUS 24018 HAS SOUPS 24018 WITH SCORE 24045.732
AT ITER 4197 NEW BEST:: SOT 49597 SOS 27708 HAS SOPS 27708 HAS SOUS 24008 HAS SOUPS 24008 WITH SCORE 24035.708
AT ITER 4209 NEW BEST:: SOT 49581 SOS 27727 HAS SOPS 27727 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24033.727
AT ITER 4224 NEW BEST:: SOT 49581 SOS 27700 HAS SOPS 27700 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24033.7
AT ITER 4237 NEW BEST:: SOT 49581 SOS 27683 HAS SOPS 27683 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24033.683
AT ITER 4257 NEW BEST:: SOT 49581 SOS 27676 HAS SOPS 27676 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24026.676
AT ITER 4268 NEW BEST:: SOT 49581 SOS 27438 HAS SOPS 27438 HAS SOUS 23985 HAS SOUPS 23985 WITH SCORE 24012.438
AT ITER 4283 NEW BEST:: SOT 49580 SOS 27437 HAS SOPS 27437 HAS SOUS 23984 HAS SOUPS 23984 WITH SCORE 24011.437
AT ITER 4284 NEW BEST:: SOT 49568 SOS 27429 HAS SOPS 27429 HAS SOUS 23975 HAS SOUPS 23975 WITH SCORE 24002.429
AT ITER 4285 NEW BEST:: SOT 49568 SOS 27426 HAS SOPS 27426 HAS SOUS 23975 HAS SOUPS 23975 WITH SCORE 24002.426
AT ITER 4304 NEW BEST:: SOT 49554 SOS 27441 HAS SOPS 27441 HAS SOUS 23961 HAS SOUPS 23961 WITH SCORE 23988.441
AT ITER 4308 NEW BEST:: SOT 49507 SOS 27485 HAS SOPS 27485 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23986.485
AT ITER 4309 NEW BEST:: SOT 49474 SOS 27452 HAS SOPS 27452 HAS SOUS 23926 HAS SOUPS 23926 WITH SCORE 23953.452
AT ITER 4321 NEW BEST:: SOT 49454 SOS 27435 HAS SOPS 27435 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 23919.435
AT ITER 4340 NEW BEST:: SOT 49454 SOS 27435 HAS SOPS 27435 HAS SOUS 23890 HAS SOUPS 23890 WITH SCORE 23917.435
AT ITER 4378 NEW BEST:: SOT 49431 SOS 27412 HAS SOPS 27412 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 23895.412
AT ITER 4380 NEW BEST:: SOT 49419 SOS 27591 HAS SOPS 27591 HAS SOUS 23861 HAS SOUPS 23861 WITH SCORE 23888.591
AT ITER 4389 NEW BEST:: SOT 49419 SOS 27589 HAS SOPS 27589 HAS SOUS 23853 HAS SOUPS 23853 WITH SCORE 23880.589
AT ITER 4390 NEW BEST:: SOT 49419 SOS 27577 HAS SOPS 27577 HAS SOUS 23841 HAS SOUPS 23841 WITH SCORE 23868.577
AT ITER 4395 NEW BEST:: SOT 49419 SOS 27577 HAS SOPS 27577 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23863.577
AT ITER 4398 NEW BEST:: SOT 49401 SOS 27559 HAS SOPS 27559 HAS SOUS 23818 HAS SOUPS 23818 WITH SCORE 23845.559
AT ITER 4431 NEW BEST:: SOT 49400 SOS 27558 HAS SOPS 27558 HAS SOUS 23817 HAS SOUPS 23817 WITH SCORE 23844.558
AT ITER 4451 NEW BEST:: SOT 49400 SOS 27540 HAS SOPS 27540 HAS SOUS 23817 HAS SOUPS 23817 WITH SCORE 23844.54
AT ITER 4474 NEW BEST:: SOT 49394 SOS 27534 HAS SOPS 27534 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23838.534
AT ITER 4475 NEW BEST:: SOT 49426 SOS 27537 HAS SOPS 27537 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23819.537
AT ITER 4478 NEW BEST:: SOT 49426 SOS 27495 HAS SOPS 27495 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23819.495
AT ITER 4481 NEW BEST:: SOT 49426 SOS 27481 HAS SOPS 27481 HAS SOUS 23787 HAS SOUPS 23787 WITH SCORE 23814.481
AT ITER 4512 NEW BEST:: SOT 49430 SOS 27481 HAS SOPS 27481 HAS SOUS 23775 HAS SOUPS 23775 WITH SCORE 23802.481
AT ITER 4517 NEW BEST:: SOT 49425 SOS 27472 HAS SOPS 27472 HAS SOUS 23772 HAS SOUPS 23772 WITH SCORE 23799.472
AT ITER 4531 NEW BEST:: SOT 49411 SOS 27454 HAS SOPS 27454 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23789.454
AT ITER 4537 NEW BEST:: SOT 49411 SOS 27443 HAS SOPS 27443 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23789.443
AT ITER 4560 NEW BEST:: SOT 49407 SOS 27449 HAS SOPS 27449 HAS SOUS 23758 HAS SOUPS 23758 WITH SCORE 23785.449
AT ITER 4564 NEW BEST:: SOT 49421 SOS 27465 HAS SOPS 27465 HAS SOUS 23751 HAS SOUPS 23751 WITH SCORE 23778.465
AT ITER 4574 NEW BEST:: SOT 49375 SOS 27436 HAS SOPS 27436 HAS SOUS 23730 HAS SOUPS 23730 WITH SCORE 23757.436
AT ITER 4594 NEW BEST:: SOT 49375 SOS 27436 HAS SOPS 27436 HAS SOUS 23717 HAS SOUPS 23717 WITH SCORE 23744.436
AT ITER 4673 NEW BEST:: SOT 49375 SOS 27423 HAS SOPS 27423 HAS SOUS 23717 HAS SOUPS 23717 WITH SCORE 23744.423
AT ITER 4687 NEW BEST:: SOT 49375 SOS 27415 HAS SOPS 27415 HAS SOUS 23712 HAS SOUPS 23712 WITH SCORE 23739.415
AT ITER 4699 NEW BEST:: SOT 49367 SOS 27407 HAS SOPS 27407 HAS SOUS 23704 HAS SOUPS 23704 WITH SCORE 23731.407
AT ITER 4700 NEW BEST:: SOT 49360 SOS 27400 HAS SOPS 27400 HAS SOUS 23697 HAS SOUPS 23697 WITH SCORE 23724.4
AT ITER 4737 NEW BEST:: SOT 49343 SOS 27598 HAS SOPS 27598 HAS SOUS 23686 HAS SOUPS 23686 WITH SCORE 23713.598
AT ITER 4759 NEW BEST:: SOT 49342 SOS 27597 HAS SOPS 27597 HAS SOUS 23685 HAS SOUPS 23685 WITH SCORE 23712.597
AT ITER 4770 NEW BEST:: SOT 49342 SOS 27551 HAS SOPS 27551 HAS SOUS 23677 HAS SOUPS 23677 WITH SCORE 23704.551
AT ITER 4776 NEW BEST:: SOT 49342 SOS 27568 HAS SOPS 27568 HAS SOUS 23674 HAS SOUPS 23674 WITH SCORE 23701.568
AT ITER 4780 NEW BEST:: SOT 49340 SOS 27566 HAS SOPS 27566 HAS SOUS 23671 HAS SOUPS 23671 WITH SCORE 23698.566
AT ITER 4783 NEW BEST:: SOT 49331 SOS 27557 HAS SOPS 27557 HAS SOUS 23662 HAS SOUPS 23662 WITH SCORE 23689.557
AT ITER 4802 NEW BEST:: SOT 49327 SOS 27553 HAS SOPS 27553 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23685.553
AT ITER 4805 NEW BEST:: SOT 49216 SOS 27473 HAS SOPS 27473 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23598.473
AT ITER 4806 NEW BEST:: SOT 49216 SOS 27448 HAS SOPS 27448 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23598.448
AT ITER 4830 NEW BEST:: SOT 49208 SOS 28113 HAS SOPS 28113 HAS SOUS 23563 HAS SOUPS 23563 WITH SCORE 23591.113
AT ITER 4835 NEW BEST:: SOT 49208 SOS 28152 HAS SOPS 28152 HAS SOUS 23555 HAS SOUPS 23555 WITH SCORE 23583.152
AT ITER 4838 NEW BEST:: SOT 49215 SOS 28152 HAS SOPS 28152 HAS SOUS 23551 HAS SOUPS 23551 WITH SCORE 23579.152
AT ITER 4854 NEW BEST:: SOT 49215 SOS 28153 HAS SOPS 28153 HAS SOUS 23549 HAS SOUPS 23549 WITH SCORE 23577.153
AT ITER 4870 NEW BEST:: SOT 49215 SOS 28153 HAS SOPS 28153 HAS SOUS 23544 HAS SOUPS 23544 WITH SCORE 23572.153
AT ITER 4878 NEW BEST:: SOT 49215 SOS 28125 HAS SOPS 28125 HAS SOUS 23544 HAS SOUPS 23544 WITH SCORE 23572.125
AT ITER 4890 NEW BEST:: SOT 49215 SOS 28120 HAS SOPS 28120 HAS SOUS 23532 HAS SOUPS 23532 WITH SCORE 23560.12
AT ITER 4894 NEW BEST:: SOT 49215 SOS 28120 HAS SOPS 28120 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23554.12
AT ITER 4923 NEW BEST:: SOT 49215 SOS 28095 HAS SOPS 28095 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23554.095
AT ITER 4946 NEW BEST:: SOT 49215 SOS 28093 HAS SOPS 28093 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23554.093
AT ITER 4951 NEW BEST:: SOT 49215 SOS 27947 HAS SOPS 27947 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23553.947
AT ITER 4962 NEW BEST:: SOT 49215 SOS 27945 HAS SOPS 27945 HAS SOUS 23526 HAS SOUPS 23526 WITH SCORE 23553.945
AT ITER 4965 NEW BEST:: SOT 49193 SOS 27903 HAS SOPS 27903 HAS SOUS 23499 HAS SOUPS 23499 WITH SCORE 23526.903
AT ITER 5004 NEW BEST:: SOT 49189 SOS 27899 HAS SOPS 27899 HAS SOUS 23495 HAS SOUPS 23495 WITH SCORE 23522.899
AT ITER 5037 NEW BEST:: SOT 49180 SOS 27890 HAS SOPS 27890 HAS SOUS 23453 HAS SOUPS 23453 WITH SCORE 23480.89
AT ITER 5057 NEW BEST:: SOT 49208 SOS 27941 HAS SOPS 27941 HAS SOUS 23436 HAS SOUPS 23436 WITH SCORE 23463.941
AT ITER 5066 NEW BEST:: SOT 49190 SOS 27925 HAS SOPS 27925 HAS SOUS 23419 HAS SOUPS 23419 WITH SCORE 23446.925
AT ITER 5068 NEW BEST:: SOT 49190 SOS 27922 HAS SOPS 27922 HAS SOUS 23419 HAS SOUPS 23419 WITH SCORE 23446.922
AT ITER 5072 NEW BEST:: SOT 49190 SOS 27307 HAS SOPS 27307 HAS SOUS 23419 HAS SOUPS 23419 WITH SCORE 23446.307
AT ITER 5083 NEW BEST:: SOT 49207 SOS 27290 HAS SOPS 27290 HAS SOUS 23418 HAS SOUPS 23418 WITH SCORE 23445.29
AT ITER 5090 NEW BEST:: SOT 49207 SOS 27273 HAS SOPS 27273 HAS SOUS 23418 HAS SOUPS 23418 WITH SCORE 23445.273
AT ITER 5100 NEW BEST:: SOT 49202 SOS 27232 HAS SOPS 27232 HAS SOUS 23401 HAS SOUPS 23401 WITH SCORE 23428.232
AT ITER 5124 NEW BEST:: SOT 49202 SOS 27219 HAS SOPS 27219 HAS SOUS 23401 HAS SOUPS 23401 WITH SCORE 23428.219
AT ITER 5147 NEW BEST:: SOT 49193 SOS 27187 HAS SOPS 27187 HAS SOUS 23398 HAS SOUPS 23398 WITH SCORE 23425.187
AT ITER 5205 NEW BEST:: SOT 49177 SOS 27171 HAS SOPS 27171 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23409.171
AT ITER 5206 NEW BEST:: SOT 49161 SOS 27250 HAS SOPS 27250 HAS SOUS 23366 HAS SOUPS 23366 WITH SCORE 23393.25
AT ITER 5238 NEW BEST:: SOT 49149 SOS 27238 HAS SOPS 27238 HAS SOUS 23354 HAS SOUPS 23354 WITH SCORE 23381.238
AT ITER 5261 NEW BEST:: SOT 49149 SOS 27215 HAS SOPS 27215 HAS SOUS 23334 HAS SOUPS 23334 WITH SCORE 23361.215
AT ITER 5275 NEW BEST:: SOT 49148 SOS 27214 HAS SOPS 27214 HAS SOUS 23333 HAS SOUPS 23333 WITH SCORE 23360.214
AT ITER 5308 NEW BEST:: SOT 49142 SOS 27220 HAS SOPS 27220 HAS SOUS 23327 HAS SOUPS 23327 WITH SCORE 23354.22
AT ITER 5323 NEW BEST:: SOT 49129 SOS 27207 HAS SOPS 27207 HAS SOUS 23299 HAS SOUPS 23299 WITH SCORE 23326.207
AT ITER 5341 NEW BEST:: SOT 49128 SOS 27206 HAS SOPS 27206 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23325.206
AT ITER 5375 NEW BEST:: SOT 49126 SOS 27208 HAS SOPS 27208 HAS SOUS 23297 HAS SOUPS 23297 WITH SCORE 23324.208
AT ITER 5380 NEW BEST:: SOT 49100 SOS 27190 HAS SOPS 27190 HAS SOUS 23276 HAS SOUPS 23276 WITH SCORE 23303.19
AT ITER 5442 NEW BEST:: SOT 49082 SOS 27172 HAS SOPS 27172 HAS SOUS 23260 HAS SOUPS 23260 WITH SCORE 23287.172
AT ITER 5447 NEW BEST:: SOT 49021 SOS 27118 HAS SOPS 27118 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23251.118
AT ITER 5459 NEW BEST:: SOT 49021 SOS 27110 HAS SOPS 27110 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23251.11
AT ITER 5471 NEW BEST:: SOT 49021 SOS 27080 HAS SOPS 27080 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23251.08
AT ITER 5548 NEW BEST:: SOT 49010 SOS 27068 HAS SOPS 27068 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23242.068
AT ITER 5564 NEW BEST:: SOT 49010 SOS 27059 HAS SOPS 27059 HAS SOUS 23215 HAS SOUPS 23215 WITH SCORE 23242.059
AT ITER 5577 NEW BEST:: SOT 48957 SOS 27320 HAS SOPS 27320 HAS SOUS 23211 HAS SOUPS 23211 WITH SCORE 23238.32
AT ITER 5579 NEW BEST:: SOT 48962 SOS 27349 HAS SOPS 27349 HAS SOUS 23205 HAS SOUPS 23205 WITH SCORE 23232.349
AT ITER 5584 NEW BEST:: SOT 48957 SOS 27488 HAS SOPS 27488 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23227.488
AT ITER 5605 NEW BEST:: SOT 48953 SOS 27484 HAS SOPS 27484 HAS SOUS 23196 HAS SOUPS 23196 WITH SCORE 23223.484
AT ITER 5617 NEW BEST:: SOT 48975 SOS 27500 HAS SOPS 27500 HAS SOUS 23194 HAS SOUPS 23194 WITH SCORE 23221.5
AT ITER 5675 NEW BEST:: SOT 48975 SOS 27489 HAS SOPS 27489 HAS SOUS 23194 HAS SOUPS 23194 WITH SCORE 23221.489
AT ITER 5693 NEW BEST:: SOT 48979 SOS 27493 HAS SOPS 27493 HAS SOUS 23193 HAS SOUPS 23193 WITH SCORE 23220.493
AT ITER 5719 NEW BEST:: SOT 48972 SOS 27486 HAS SOPS 27486 HAS SOUS 23186 HAS SOUPS 23186 WITH SCORE 23213.486
AT ITER 5732 NEW BEST:: SOT 48940 SOS 27483 HAS SOPS 27483 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23190.483
AT ITER 5784 NEW BEST:: SOT 48940 SOS 27463 HAS SOPS 27463 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23190.463
AT ITER 5786 NEW BEST:: SOT 48940 SOS 27425 HAS SOPS 27425 HAS SOUS 23148 HAS SOUPS 23148 WITH SCORE 23175.425
AT ITER 5791 NEW BEST:: SOT 48943 SOS 27428 HAS SOPS 27428 HAS SOUS 23147 HAS SOUPS 23147 WITH SCORE 23174.428
AT ITER 5797 NEW BEST:: SOT 48939 SOS 27424 HAS SOPS 27424 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23170.424
AT ITER 5845 NEW BEST:: SOT 48932 SOS 27406 HAS SOPS 27406 HAS SOUS 23132 HAS SOUPS 23132 WITH SCORE 23159.406
AT ITER 5862 NEW BEST:: SOT 48941 SOS 27361 HAS SOPS 27361 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23148.361
AT ITER 5869 NEW BEST:: SOT 48941 SOS 27356 HAS SOPS 27356 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23148.356
AT ITER 5880 NEW BEST:: SOT 48941 SOS 27353 HAS SOPS 27353 HAS SOUS 23121 HAS SOUPS 23121 WITH SCORE 23148.353
AT ITER 5894 NEW BEST:: SOT 48941 SOS 27353 HAS SOPS 27353 HAS SOUS 23108 HAS SOUPS 23108 WITH SCORE 23135.353
AT ITER 5905 NEW BEST:: SOT 48941 SOS 27340 HAS SOPS 27340 HAS SOUS 23105 HAS SOUPS 23105 WITH SCORE 23132.34
AT ITER 5907 NEW BEST:: SOT 48941 SOS 27326 HAS SOPS 27326 HAS SOUS 23105 HAS SOUPS 23105 WITH SCORE 23132.326
AT ITER 5946 NEW BEST:: SOT 48941 SOS 27306 HAS SOPS 27306 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23122.306
AT ITER 5949 NEW BEST:: SOT 48941 SOS 27299 HAS SOPS 27299 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23122.299
AT ITER 5978 NEW BEST:: SOT 48938 SOS 27280 HAS SOPS 27280 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23100.28
AT ITER 5999 NEW BEST:: SOT 48936 SOS 27278 HAS SOPS 27278 HAS SOUS 23071 HAS SOUPS 23071 WITH SCORE 23098.278
AT ITER 6003 NEW BEST:: SOT 48936 SOS 27410 HAS SOPS 27410 HAS SOUS 23057 HAS SOUPS 23057 WITH SCORE 23084.41
AT ITER 6036 NEW BEST:: SOT 48936 SOS 27400 HAS SOPS 27400 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23082.4
AT ITER 6065 NEW BEST:: SOT 48936 SOS 27387 HAS SOPS 27387 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23082.387
AT ITER 6080 NEW BEST:: SOT 48936 SOS 27383 HAS SOPS 27383 HAS SOUS 23045 HAS SOUPS 23045 WITH SCORE 23072.383
AT ITER 6096 NEW BEST:: SOT 48936 SOS 27379 HAS SOPS 27379 HAS SOUS 23045 HAS SOUPS 23045 WITH SCORE 23072.379
AT ITER 6107 NEW BEST:: SOT 48936 SOS 27372 HAS SOPS 27372 HAS SOUS 23041 HAS SOUPS 23041 WITH SCORE 23068.372
AT ITER 6114 NEW BEST:: SOT 48936 SOS 27372 HAS SOPS 27372 HAS SOUS 23033 HAS SOUPS 23033 WITH SCORE 23060.372
AT ITER 6117 NEW BEST:: SOT 48930 SOS 27366 HAS SOPS 27366 HAS SOUS 23027 HAS SOUPS 23027 WITH SCORE 23054.366
AT ITER 6159 NEW BEST:: SOT 48929 SOS 27365 HAS SOPS 27365 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23053.365
AT ITER 6162 NEW BEST:: SOT 48929 SOS 27347 HAS SOPS 27347 HAS SOUS 23007 HAS SOUPS 23007 WITH SCORE 23034.347
AT ITER 6165 NEW BEST:: SOT 48923 SOS 27341 HAS SOPS 27341 HAS SOUS 23001 HAS SOUPS 23001 WITH SCORE 23028.341
AT ITER 6182 NEW BEST:: SOT 48822 SOS 27240 HAS SOPS 27240 HAS SOUS 22987 HAS SOUPS 22987 WITH SCORE 23014.24
AT ITER 6187 NEW BEST:: SOT 48822 SOS 27244 HAS SOPS 27244 HAS SOUS 22985 HAS SOUPS 22985 WITH SCORE 23012.244
AT ITER 6235 NEW BEST:: SOT 48822 SOS 27182 HAS SOPS 27182 HAS SOUS 22985 HAS SOUPS 22985 WITH SCORE 23012.182
AT ITER 6258 NEW BEST:: SOT 48811 SOS 27171 HAS SOPS 27171 HAS SOUS 22974 HAS SOUPS 22974 WITH SCORE 23001.171
AT ITER 6280 NEW BEST:: SOT 48811 SOS 27154 HAS SOPS 27154 HAS SOUS 22967 HAS SOUPS 22967 WITH SCORE 22994.154
AT ITER 6288 NEW BEST:: SOT 48764 SOS 27173 HAS SOPS 27173 HAS SOUS 22938 HAS SOUPS 22938 WITH SCORE 22965.173
AT ITER 6309 NEW BEST:: SOT 48760 SOS 27169 HAS SOPS 27169 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22961.169
AT ITER 6374 NEW BEST:: SOT 48758 SOS 27167 HAS SOPS 27167 HAS SOUS 22933 HAS SOUPS 22933 WITH SCORE 22960.167
AT ITER 6386 NEW BEST:: SOT 48748 SOS 27171 HAS SOPS 27171 HAS SOUS 22920 HAS SOUPS 22920 WITH SCORE 22947.171
AT ITER 6391 NEW BEST:: SOT 48748 SOS 27196 HAS SOPS 27196 HAS SOUS 22908 HAS SOUPS 22908 WITH SCORE 22935.196
AT ITER 6424 NEW BEST:: SOT 48748 SOS 27168 HAS SOPS 27168 HAS SOUS 22908 HAS SOUPS 22908 WITH SCORE 22935.168
AT ITER 6479 NEW BEST:: SOT 48737 SOS 27153 HAS SOPS 27153 HAS SOUS 22895 HAS SOUPS 22895 WITH SCORE 22922.153
AT ITER 6492 NEW BEST:: SOT 48737 SOS 27151 HAS SOPS 27151 HAS SOUS 22895 HAS SOUPS 22895 WITH SCORE 22922.151
AT ITER 6502 NEW BEST:: SOT 48681 SOS 27567 HAS SOPS 27567 HAS SOUS 22881 HAS SOUPS 22881 WITH SCORE 22908.567
AT ITER 6517 NEW BEST:: SOT 48680 SOS 27566 HAS SOPS 27566 HAS SOUS 22880 HAS SOUPS 22880 WITH SCORE 22907.566
AT ITER 6551 NEW BEST:: SOT 48680 SOS 27592 HAS SOPS 27592 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22899.592
AT ITER 6601 NEW BEST:: SOT 48680 SOS 27590 HAS SOPS 27590 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22899.59
AT ITER 6634 NEW BEST:: SOT 48680 SOS 27583 HAS SOPS 27583 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22899.583
AT ITER 6734 NEW BEST:: SOT 48680 SOS 27583 HAS SOPS 27583 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22894.583
AT ITER 6755 NEW BEST:: SOT 48680 SOS 27557 HAS SOPS 27557 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22894.557
AT ITER 6807 NEW BEST:: SOT 48680 SOS 27551 HAS SOPS 27551 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22894.551
AT ITER 6817 NEW BEST:: SOT 48670 SOS 27545 HAS SOPS 27545 HAS SOUS 22859 HAS SOUPS 22859 WITH SCORE 22886.545
AT ITER 6825 NEW BEST:: SOT 48664 SOS 27539 HAS SOPS 27539 HAS SOUS 22845 HAS SOUPS 22845 WITH SCORE 22872.539
AT ITER 6846 NEW BEST:: SOT 48664 SOS 27520 HAS SOPS 27520 HAS SOUS 22844 HAS SOUPS 22844 WITH SCORE 22871.52
AT ITER 6849 NEW BEST:: SOT 48664 SOS 27497 HAS SOPS 27497 HAS SOUS 22844 HAS SOUPS 22844 WITH SCORE 22871.497
AT ITER 6854 NEW BEST:: SOT 48664 SOS 27493 HAS SOPS 27493 HAS SOUS 22841 HAS SOUPS 22841 WITH SCORE 22868.493
AT ITER 6881 NEW BEST:: SOT 48662 SOS 27491 HAS SOPS 27491 HAS SOUS 22840 HAS SOUPS 22840 WITH SCORE 22867.491
AT ITER 6899 NEW BEST:: SOT 48652 SOS 27481 HAS SOPS 27481 HAS SOUS 22839 HAS SOUPS 22839 WITH SCORE 22866.481
AT ITER 6902 NEW BEST:: SOT 48646 SOS 27691 HAS SOPS 27691 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22865.691
AT ITER 6937 NEW BEST:: SOT 48641 SOS 27686 HAS SOPS 27686 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22863.686
AT ITER 6981 NEW BEST:: SOT 48599 SOS 27644 HAS SOPS 27644 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22858.644
AT ITER 6987 NEW BEST:: SOT 48577 SOS 27695 HAS SOPS 27695 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22846.695
AT ITER 6994 NEW BEST:: SOT 48592 SOS 27638 HAS SOPS 27638 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22831.638
AT ITER 7000 NEW BEST:: SOT 48592 SOS 27653 HAS SOPS 27653 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22825.653
AT ITER 7041 NEW BEST:: SOT 48584 SOS 27645 HAS SOPS 27645 HAS SOUS 22790 HAS SOUPS 22790 WITH SCORE 22817.645
AT ITER 7056 NEW BEST:: SOT 48573 SOS 27626 HAS SOPS 27626 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22813.626
AT ITER 7059 NEW BEST:: SOT 48572 SOS 27625 HAS SOPS 27625 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22813.625
AT ITER 7074 NEW BEST:: SOT 48572 SOS 27619 HAS SOPS 27619 HAS SOUS 22780 HAS SOUPS 22780 WITH SCORE 22807.619
AT ITER 7081 NEW BEST:: SOT 48572 SOS 27616 HAS SOPS 27616 HAS SOUS 22780 HAS SOUPS 22780 WITH SCORE 22807.616
AT ITER 7090 NEW BEST:: SOT 48568 SOS 27612 HAS SOPS 27612 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22803.612
AT ITER 7117 NEW BEST:: SOT 48568 SOS 27612 HAS SOPS 27612 HAS SOUS 22770 HAS SOUPS 22770 WITH SCORE 22797.612
AT ITER 7180 NEW BEST:: SOT 48568 SOS 27588 HAS SOPS 27588 HAS SOUS 22763 HAS SOUPS 22763 WITH SCORE 22790.588
AT ITER 7210 NEW BEST:: SOT 48574 SOS 27594 HAS SOPS 27594 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22784.594
AT ITER 7228 NEW BEST:: SOT 48574 SOS 27588 HAS SOPS 27588 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22784.588
AT ITER 7234 NEW BEST:: SOT 48574 SOS 27568 HAS SOPS 27568 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22784.568
AT ITER 7366 NEW BEST:: SOT 48574 SOS 27560 HAS SOPS 27560 HAS SOUS 22756 HAS SOUPS 22756 WITH SCORE 22783.56
AT ITER 7369 NEW BEST:: SOT 48572 SOS 27558 HAS SOPS 27558 HAS SOUS 22754 HAS SOUPS 22754 WITH SCORE 22781.558
AT ITER 7374 NEW BEST:: SOT 48572 SOS 27546 HAS SOPS 27546 HAS SOUS 22754 HAS SOUPS 22754 WITH SCORE 22781.546
AT ITER 7419 NEW BEST:: SOT 48572 SOS 27546 HAS SOPS 27546 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22777.546
AT ITER 7431 NEW BEST:: SOT 48532 SOS 27782 HAS SOPS 27782 HAS SOUS 22729 HAS SOUPS 22729 WITH SCORE 22756.782
AT ITER 7435 NEW BEST:: SOT 48532 SOS 27776 HAS SOPS 27776 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22755.776
AT ITER 7466 NEW BEST:: SOT 48532 SOS 27774 HAS SOPS 27774 HAS SOUS 22728 HAS SOUPS 22728 WITH SCORE 22755.774
AT ITER 7475 NEW BEST:: SOT 48510 SOS 27769 HAS SOPS 27769 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22739.769
AT ITER 7511 NEW BEST:: SOT 48510 SOS 27766 HAS SOPS 27766 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22739.766
AT ITER 7527 NEW BEST:: SOT 48510 SOS 27717 HAS SOPS 27717 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22739.717
AT ITER 7536 NEW BEST:: SOT 48510 SOS 27710 HAS SOPS 27710 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22739.71
AT ITER 7544 NEW BEST:: SOT 48510 SOS 27703 HAS SOPS 27703 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22739.703
AT ITER 7556 NEW BEST:: SOT 48462 SOS 28484 HAS SOPS 28484 HAS SOUS 22690 HAS SOUPS 22690 WITH SCORE 22718.484
AT ITER 7567 NEW BEST:: SOT 48448 SOS 28544 HAS SOPS 28544 HAS SOUS 22676 HAS SOUPS 22676 WITH SCORE 22704.544
AT ITER 7577 NEW BEST:: SOT 48448 SOS 28540 HAS SOPS 28540 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22700.54
AT ITER 7632 NEW BEST:: SOT 48365 SOS 28521 HAS SOPS 28521 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22700.521
AT ITER 7659 NEW BEST:: SOT 48365 SOS 28516 HAS SOPS 28516 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22700.516
AT ITER 7662 NEW BEST:: SOT 48345 SOS 28639 HAS SOPS 28639 HAS SOUS 22667 HAS SOUPS 22667 WITH SCORE 22695.639
AT ITER 7672 NEW BEST:: SOT 48339 SOS 28633 HAS SOPS 28633 HAS SOUS 22661 HAS SOUPS 22661 WITH SCORE 22689.633
AT ITER 7697 NEW BEST:: SOT 48339 SOS 28691 HAS SOPS 28691 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22678.691
AT ITER 7703 NEW BEST:: SOT 48339 SOS 28678 HAS SOPS 28678 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22678.678
AT ITER 7718 NEW BEST:: SOT 48339 SOS 28671 HAS SOPS 28671 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22678.671
AT ITER 7720 NEW BEST:: SOT 48334 SOS 28720 HAS SOPS 28720 HAS SOUS 22645 HAS SOUPS 22645 WITH SCORE 22673.72
AT ITER 7741 NEW BEST:: SOT 48334 SOS 28706 HAS SOPS 28706 HAS SOUS 22645 HAS SOUPS 22645 WITH SCORE 22673.706
AT ITER 7773 NEW BEST:: SOT 48334 SOS 28705 HAS SOPS 28705 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22672.705
AT ITER 7781 NEW BEST:: SOT 48332 SOS 28703 HAS SOPS 28703 HAS SOUS 22642 HAS SOUPS 22642 WITH SCORE 22670.703
AT ITER 7783 NEW BEST:: SOT 48338 SOS 28709 HAS SOPS 28709 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22662.709
AT ITER 7812 NEW BEST:: SOT 48330 SOS 28747 HAS SOPS 28747 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22660.747
AT ITER 7822 NEW BEST:: SOT 48330 SOS 28746 HAS SOPS 28746 HAS SOUS 22631 HAS SOUPS 22631 WITH SCORE 22659.746
AT ITER 7840 NEW BEST:: SOT 48317 SOS 28733 HAS SOPS 28733 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22646.733
AT ITER 7845 NEW BEST:: SOT 48318 SOS 28734 HAS SOPS 28734 HAS SOUS 22614 HAS SOUPS 22614 WITH SCORE 22642.734
AT ITER 7857 NEW BEST:: SOT 48345 SOS 28706 HAS SOPS 28706 HAS SOUS 22604 HAS SOUPS 22604 WITH SCORE 22632.706
AT ITER 7866 NEW BEST:: SOT 48341 SOS 28792 HAS SOPS 28792 HAS SOUS 22600 HAS SOUPS 22600 WITH SCORE 22628.792
AT ITER 7877 NEW BEST:: SOT 48340 SOS 28791 HAS SOPS 28791 HAS SOUS 22599 HAS SOUPS 22599 WITH SCORE 22627.791
AT ITER 7925 NEW BEST:: SOT 48318 SOS 28778 HAS SOPS 28778 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22620.778
AT ITER 7970 NEW BEST:: SOT 48310 SOS 28762 HAS SOPS 28762 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22620.762
AT ITER 7971 NEW BEST:: SOT 48310 SOS 28756 HAS SOPS 28756 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22620.756
AT ITER 7982 NEW BEST:: SOT 48310 SOS 28756 HAS SOPS 28756 HAS SOUS 22588 HAS SOUPS 22588 WITH SCORE 22616.756
AT ITER 7987 NEW BEST:: SOT 48250 SOS 28740 HAS SOPS 28740 HAS SOUS 22584 HAS SOUPS 22584 WITH SCORE 22612.74
AT ITER 8036 NEW BEST:: SOT 48250 SOS 28740 HAS SOPS 28740 HAS SOUS 22577 HAS SOUPS 22577 WITH SCORE 22605.74
AT ITER 8042 NEW BEST:: SOT 48250 SOS 28660 HAS SOPS 28660 HAS SOUS 22577 HAS SOUPS 22577 WITH SCORE 22605.66
AT ITER 8080 NEW BEST:: SOT 48249 SOS 28660 HAS SOPS 28660 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22604.66
AT ITER 8139 NEW BEST:: SOT 48244 SOS 28655 HAS SOPS 28655 HAS SOUS 22571 HAS SOUPS 22571 WITH SCORE 22599.655
AT ITER 8164 NEW BEST:: SOT 48244 SOS 28649 HAS SOPS 28649 HAS SOUS 22570 HAS SOUPS 22570 WITH SCORE 22598.649
AT ITER 8171 NEW BEST:: SOT 48244 SOS 28644 HAS SOPS 28644 HAS SOUS 22565 HAS SOUPS 22565 WITH SCORE 22593.644
AT ITER 8336 NEW BEST:: SOT 48244 SOS 28640 HAS SOPS 28640 HAS SOUS 22565 HAS SOUPS 22565 WITH SCORE 22593.64
AT ITER 8359 NEW BEST:: SOT 48191 SOS 28605 HAS SOPS 28605 HAS SOUS 22553 HAS SOUPS 22553 WITH SCORE 22581.605
AT ITER 8394 NEW BEST:: SOT 48171 SOS 29053 HAS SOPS 29053 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22574.053
AT ITER 8407 NEW BEST:: SOT 48171 SOS 29047 HAS SOPS 29047 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22574.047
AT ITER 8474 NEW BEST:: SOT 48164 SOS 29040 HAS SOPS 29040 HAS SOUS 22538 HAS SOUPS 22538 WITH SCORE 22567.04
AT ITER 8499 NEW BEST:: SOT 48162 SOS 29038 HAS SOPS 29038 HAS SOUS 22536 HAS SOUPS 22536 WITH SCORE 22565.038
AT ITER 8616 NEW BEST:: SOT 48162 SOS 29015 HAS SOPS 29015 HAS SOUS 22536 HAS SOUPS 22536 WITH SCORE 22565.015
AT ITER 8620 NEW BEST:: SOT 48148 SOS 29001 HAS SOPS 29001 HAS SOUS 22521 HAS SOUPS 22521 WITH SCORE 22550.001
AT ITER 8627 NEW BEST:: SOT 48148 SOS 29001 HAS SOPS 29001 HAS SOUS 22519 HAS SOUPS 22519 WITH SCORE 22548.001
AT ITER 8650 NEW BEST:: SOT 48148 SOS 28995 HAS SOPS 28995 HAS SOUS 22513 HAS SOUPS 22513 WITH SCORE 22541.995
AT ITER 8690 NEW BEST:: SOT 48141 SOS 28988 HAS SOPS 28988 HAS SOUS 22506 HAS SOUPS 22506 WITH SCORE 22534.988
AT ITER 8702 NEW BEST:: SOT 48141 SOS 28988 HAS SOPS 28988 HAS SOUS 22494 HAS SOUPS 22494 WITH SCORE 22522.988
AT ITER 8716 NEW BEST:: SOT 48095 SOS 28942 HAS SOPS 28942 HAS SOUS 22448 HAS SOUPS 22448 WITH SCORE 22476.942
AT ITER 8717 NEW BEST:: SOT 48094 SOS 28941 HAS SOPS 28941 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22475.941
AT ITER 8731 NEW BEST:: SOT 48083 SOS 28941 HAS SOPS 28941 HAS SOUS 22446 HAS SOUPS 22446 WITH SCORE 22474.941
AT ITER 8736 NEW BEST:: SOT 48081 SOS 28941 HAS SOPS 28941 HAS SOUS 22445 HAS SOUPS 22445 WITH SCORE 22473.941
AT ITER 8774 NEW BEST:: SOT 48072 SOS 28932 HAS SOPS 28932 HAS SOUS 22436 HAS SOUPS 22436 WITH SCORE 22464.932
AT ITER 8789 NEW BEST:: SOT 48116 SOS 28966 HAS SOPS 28966 HAS SOUS 22435 HAS SOUPS 22435 WITH SCORE 22463.966
AT ITER 8848 NEW BEST:: SOT 48116 SOS 28966 HAS SOPS 28966 HAS SOUS 22433 HAS SOUPS 22433 WITH SCORE 22461.966
AT ITER 8912 NEW BEST:: SOT 48113 SOS 28963 HAS SOPS 28963 HAS SOUS 22430 HAS SOUPS 22430 WITH SCORE 22458.963
AT ITER 8965 NEW BEST:: SOT 48083 SOS 28937 HAS SOPS 28937 HAS SOUS 22404 HAS SOUPS 22404 WITH SCORE 22432.937
AT ITER 9021 NEW BEST:: SOT 48082 SOS 28936 HAS SOPS 28936 HAS SOUS 22403 HAS SOUPS 22403 WITH SCORE 22431.936
AT ITER 9034 NEW BEST:: SOT 48082 SOS 28917 HAS SOPS 28917 HAS SOUS 22396 HAS SOUPS 22396 WITH SCORE 22424.917
AT ITER 9058 NEW BEST:: SOT 48082 SOS 28905 HAS SOPS 28905 HAS SOUS 22396 HAS SOUPS 22396 WITH SCORE 22424.905
AT ITER 9067 NEW BEST:: SOT 47966 SOS 28891 HAS SOPS 28891 HAS SOUS 22325 HAS SOUPS 22325 WITH SCORE 22353.891
AT ITER 9069 NEW BEST:: SOT 47966 SOS 28882 HAS SOPS 28882 HAS SOUS 22323 HAS SOUPS 22323 WITH SCORE 22351.882
AT ITER 9084 NEW BEST:: SOT 47972 SOS 28864 HAS SOPS 28864 HAS SOUS 22323 HAS SOUPS 22323 WITH SCORE 22351.864
AT ITER 9104 NEW BEST:: SOT 47968 SOS 28868 HAS SOPS 28868 HAS SOUS 22315 HAS SOUPS 22315 WITH SCORE 22343.868
AT ITER 9112 NEW BEST:: SOT 47968 SOS 28861 HAS SOPS 28861 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22338.861
AT ITER 9119 NEW BEST:: SOT 47977 SOS 28870 HAS SOPS 28870 HAS SOUS 22301 HAS SOUPS 22301 WITH SCORE 22329.87
AT ITER 9123 NEW BEST:: SOT 47971 SOS 28873 HAS SOPS 28873 HAS SOUS 22295 HAS SOUPS 22295 WITH SCORE 22323.873
AT ITER 9171 NEW BEST:: SOT 47970 SOS 28868 HAS SOPS 28868 HAS SOUS 22295 HAS SOUPS 22295 WITH SCORE 22323.868
AT ITER 9200 NEW BEST:: SOT 47970 SOS 28868 HAS SOPS 28868 HAS SOUS 22280 HAS SOUPS 22280 WITH SCORE 22308.868
AT ITER 9232 NEW BEST:: SOT 47970 SOS 28868 HAS SOPS 28868 HAS SOUS 22276 HAS SOUPS 22276 WITH SCORE 22304.868
AT ITER 9238 NEW BEST:: SOT 47970 SOS 28862 HAS SOPS 28862 HAS SOUS 22270 HAS SOUPS 22270 WITH SCORE 22298.862
AT ITER 9239 NEW BEST:: SOT 47970 SOS 28861 HAS SOPS 28861 HAS SOUS 22270 HAS SOUPS 22270 WITH SCORE 22298.861
AT ITER 9251 NEW BEST:: SOT 47970 SOS 28693 HAS SOPS 28693 HAS SOUS 22259 HAS SOUPS 22259 WITH SCORE 22287.693
AT ITER 9255 NEW BEST:: SOT 47957 SOS 28680 HAS SOPS 28680 HAS SOUS 22246 HAS SOUPS 22246 WITH SCORE 22274.68
AT ITER 9258 NEW BEST:: SOT 47919 SOS 28642 HAS SOPS 28642 HAS SOUS 22226 HAS SOUPS 22226 WITH SCORE 22254.642
AT ITER 9265 NEW BEST:: SOT 47919 SOS 28640 HAS SOPS 28640 HAS SOUS 22224 HAS SOUPS 22224 WITH SCORE 22252.64
AT ITER 9302 NEW BEST:: SOT 47898 SOS 28721 HAS SOPS 28721 HAS SOUS 22223 HAS SOUPS 22223 WITH SCORE 22251.721
AT ITER 9349 NEW BEST:: SOT 47896 SOS 28719 HAS SOPS 28719 HAS SOUS 22221 HAS SOUPS 22221 WITH SCORE 22249.719
AT ITER 9406 NEW BEST:: SOT 47896 SOS 28717 HAS SOPS 28717 HAS SOUS 22219 HAS SOUPS 22219 WITH SCORE 22247.717
AT ITER 9412 NEW BEST:: SOT 47893 SOS 28714 HAS SOPS 28714 HAS SOUS 22216 HAS SOUPS 22216 WITH SCORE 22244.714
AT ITER 9484 NEW BEST:: SOT 47893 SOS 28691 HAS SOPS 28691 HAS SOUS 22216 HAS SOUPS 22216 WITH SCORE 22244.691
AT ITER 9485 NEW BEST:: SOT 47893 SOS 28688 HAS SOPS 28688 HAS SOUS 22216 HAS SOUPS 22216 WITH SCORE 22244.688
AT ITER 9518 NEW BEST:: SOT 47893 SOS 28664 HAS SOPS 28664 HAS SOUS 22216 HAS SOUPS 22216 WITH SCORE 22244.664
AT ITER 9521 NEW BEST:: SOT 47888 SOS 28699 HAS SOPS 28699 HAS SOUS 22211 HAS SOUPS 22211 WITH SCORE 22239.699
AT ITER 9561 NEW BEST:: SOT 47880 SOS 28691 HAS SOPS 28691 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22234.691
AT ITER 9590 NEW BEST:: SOT 47893 SOS 28680 HAS SOPS 28680 HAS SOUS 22200 HAS SOUPS 22200 WITH SCORE 22228.68
AT ITER 9663 NEW BEST:: SOT 47891 SOS 28678 HAS SOPS 28678 HAS SOUS 22194 HAS SOUPS 22194 WITH SCORE 22222.678
AT ITER 9669 NEW BEST:: SOT 47891 SOS 28678 HAS SOPS 28678 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22215.678
AT ITER 9675 NEW BEST:: SOT 47891 SOS 28691 HAS SOPS 28691 HAS SOUS 22182 HAS SOUPS 22182 WITH SCORE 22210.691
AT ITER 9689 NEW BEST:: SOT 47881 SOS 28648 HAS SOPS 28648 HAS SOUS 22172 HAS SOUPS 22172 WITH SCORE 22200.648
AT ITER 9726 NEW BEST:: SOT 47881 SOS 28647 HAS SOPS 28647 HAS SOUS 22172 HAS SOUPS 22172 WITH SCORE 22200.647
AT ITER 9749 NEW BEST:: SOT 47881 SOS 28649 HAS SOPS 28649 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22195.649
AT ITER 9763 NEW BEST:: SOT 47881 SOS 28649 HAS SOPS 28649 HAS SOUS 22157 HAS SOUPS 22157 WITH SCORE 22185.649
AT ITER 9789 NEW BEST:: SOT 47881 SOS 28649 HAS SOPS 28649 HAS SOUS 22135 HAS SOUPS 22135 WITH SCORE 22163.649
AT ITER 9803 NEW BEST:: SOT 47874 SOS 28638 HAS SOPS 28638 HAS SOUS 22123 HAS SOUPS 22123 WITH SCORE 22151.638
AT ITER 9807 NEW BEST:: SOT 47873 SOS 28637 HAS SOPS 28637 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22150.637
AT ITER 9813 NEW BEST:: SOT 47873 SOS 28637 HAS SOPS 28637 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22147.637
AT ITER 9838 NEW BEST:: SOT 47873 SOS 28624 HAS SOPS 28624 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22147.624
AT ITER 9882 NEW BEST:: SOT 47873 SOS 28654 HAS SOPS 28654 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22144.654
AT ITER 9912 NEW BEST:: SOT 47872 SOS 28661 HAS SOPS 28661 HAS SOUS 22109 HAS SOUPS 22109 WITH SCORE 22137.661
AT ITER 9952 NEW BEST:: SOT 47872 SOS 28652 HAS SOPS 28652 HAS SOUS 22100 HAS SOUPS 22100 WITH SCORE 22128.652
AT ITER 9967 NEW BEST:: SOT 47872 SOS 28652 HAS SOPS 28652 HAS SOUS 22096 HAS SOUPS 22096 WITH SCORE 22124.652

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

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="NQueens-PT-15"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is NQueens-PT-15, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250100152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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