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.r195-smll-167840342300360.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 smart
Input is HealthRecord-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342300360
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.5K Feb 26 18:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 18:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 18:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 18:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 18:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 18:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 18:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 125K 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 1678498109531

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HealthRecord-PT-16
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 16
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 453 places, 594 transitions, 1333 arcs.
AT ITER 0 NEW BEST:: SOT 159058 SOS 42837 HAS SOPS 42837 HAS SOUS 34530 HAS SOUPS 34530 WITH SCORE 34572.837
AT ITER 11 NEW BEST:: SOT 159038 SOS 42797 HAS SOPS 42797 HAS SOUS 34401 HAS SOUPS 34401 WITH SCORE 34443.797
AT ITER 16 NEW BEST:: SOT 159074 SOS 42802 HAS SOPS 42802 HAS SOUS 34387 HAS SOUPS 34387 WITH SCORE 34429.802
AT ITER 28 NEW BEST:: SOT 158974 SOS 42602 HAS SOPS 42602 HAS SOUS 34272 HAS SOUPS 34272 WITH SCORE 34314.602
AT ITER 39 NEW BEST:: SOT 158969 SOS 42592 HAS SOPS 42592 HAS SOUS 34262 HAS SOUPS 34262 WITH SCORE 34304.592
AT ITER 42 NEW BEST:: SOT 158969 SOS 42508 HAS SOPS 42508 HAS SOUS 34262 HAS SOUPS 34262 WITH SCORE 34304.508
AT ITER 55 NEW BEST:: SOT 158846 SOS 42338 HAS SOPS 42338 HAS SOUS 34138 HAS SOUPS 34138 WITH SCORE 34180.338
AT ITER 56 NEW BEST:: SOT 158812 SOS 42270 HAS SOPS 42270 HAS SOUS 34070 HAS SOUPS 34070 WITH SCORE 34112.27
AT ITER 63 NEW BEST:: SOT 158855 SOS 42305 HAS SOPS 42305 HAS SOUS 34056 HAS SOUPS 34056 WITH SCORE 34098.305
AT ITER 69 NEW BEST:: SOT 158855 SOS 42299 HAS SOPS 42299 HAS SOUS 34056 HAS SOUPS 34056 WITH SCORE 34098.299
AT ITER 70 NEW BEST:: SOT 158753 SOS 42160 HAS SOPS 42160 HAS SOUS 34026 HAS SOUPS 34026 WITH SCORE 34068.16
AT ITER 81 NEW BEST:: SOT 157829 SOS 41920 HAS SOPS 41920 HAS SOUS 33144 HAS SOUPS 33144 WITH SCORE 33185.92
AT ITER 88 NEW BEST:: SOT 157797 SOS 41946 HAS SOPS 41946 HAS SOUS 33141 HAS SOUPS 33141 WITH SCORE 33182.946
AT ITER 89 NEW BEST:: SOT 157760 SOS 41872 HAS SOPS 41872 HAS SOUS 33104 HAS SOUPS 33104 WITH SCORE 33145.872
AT ITER 99 NEW BEST:: SOT 157769 SOS 41848 HAS SOPS 41848 HAS SOUS 33071 HAS SOUPS 33071 WITH SCORE 33112.848
AT ITER 102 NEW BEST:: SOT 157735 SOS 41780 HAS SOPS 41780 HAS SOUS 33003 HAS SOUPS 33003 WITH SCORE 33044.78
AT ITER 104 NEW BEST:: SOT 157669 SOS 41728 HAS SOPS 41728 HAS SOUS 32937 HAS SOUPS 32937 WITH SCORE 32978.728
AT ITER 107 NEW BEST:: SOT 157696 SOS 41648 HAS SOPS 41648 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32961.648
AT ITER 109 NEW BEST:: SOT 157699 SOS 41645 HAS SOPS 41645 HAS SOUS 32920 HAS SOUPS 32920 WITH SCORE 32961.645
AT ITER 110 NEW BEST:: SOT 157692 SOS 41631 HAS SOPS 41631 HAS SOUS 32913 HAS SOUPS 32913 WITH SCORE 32954.631
AT ITER 114 NEW BEST:: SOT 157691 SOS 41629 HAS SOPS 41629 HAS SOUS 32911 HAS SOUPS 32911 WITH SCORE 32952.629
AT ITER 124 NEW BEST:: SOT 157691 SOS 41629 HAS SOPS 41629 HAS SOUS 32898 HAS SOUPS 32898 WITH SCORE 32939.629
AT ITER 132 NEW BEST:: SOT 157691 SOS 41584 HAS SOPS 41584 HAS SOUS 32898 HAS SOUPS 32898 WITH SCORE 32939.584
AT ITER 146 NEW BEST:: SOT 157669 SOS 41540 HAS SOPS 41540 HAS SOUS 32854 HAS SOUPS 32854 WITH SCORE 32895.54
AT ITER 147 NEW BEST:: SOT 157557 SOS 42436 HAS SOPS 42436 HAS SOUS 32742 HAS SOUPS 32742 WITH SCORE 32784.436
AT ITER 150 NEW BEST:: SOT 157031 SOS 44259 HAS SOPS 44259 HAS SOUS 32683 HAS SOUPS 32683 WITH SCORE 32727.259
AT ITER 151 NEW BEST:: SOT 157061 SOS 44287 HAS SOPS 44287 HAS SOUS 32681 HAS SOUPS 32681 WITH SCORE 32725.287
AT ITER 156 NEW BEST:: SOT 157061 SOS 44287 HAS SOPS 44287 HAS SOUS 32664 HAS SOUPS 32664 WITH SCORE 32708.287
AT ITER 169 NEW BEST:: SOT 157139 SOS 44270 HAS SOPS 44270 HAS SOUS 32610 HAS SOUPS 32610 WITH SCORE 32654.27
AT ITER 177 NEW BEST:: SOT 157105 SOS 44208 HAS SOPS 44208 HAS SOUS 32579 HAS SOUPS 32579 WITH SCORE 32623.208
AT ITER 179 NEW BEST:: SOT 157088 SOS 44174 HAS SOPS 44174 HAS SOUS 32480 HAS SOUPS 32480 WITH SCORE 32524.174
AT ITER 191 NEW BEST:: SOT 157023 SOS 44404 HAS SOPS 44404 HAS SOUS 32436 HAS SOUPS 32436 WITH SCORE 32480.404
AT ITER 192 NEW BEST:: SOT 157008 SOS 44466 HAS SOPS 44466 HAS SOUS 32343 HAS SOUPS 32343 WITH SCORE 32387.466
AT ITER 194 NEW BEST:: SOT 156985 SOS 44420 HAS SOPS 44420 HAS SOUS 32297 HAS SOUPS 32297 WITH SCORE 32341.42
AT ITER 199 NEW BEST:: SOT 156985 SOS 44420 HAS SOPS 44420 HAS SOUS 32289 HAS SOUPS 32289 WITH SCORE 32333.42
AT ITER 208 NEW BEST:: SOT 156928 SOS 44335 HAS SOPS 44335 HAS SOUS 32195 HAS SOUPS 32195 WITH SCORE 32239.335
AT ITER 210 NEW BEST:: SOT 156921 SOS 44321 HAS SOPS 44321 HAS SOUS 32181 HAS SOUPS 32181 WITH SCORE 32225.321
AT ITER 215 NEW BEST:: SOT 156873 SOS 44274 HAS SOPS 44274 HAS SOUS 32085 HAS SOUPS 32085 WITH SCORE 32129.274
AT ITER 221 NEW BEST:: SOT 156845 SOS 44218 HAS SOPS 44218 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32071.218
AT ITER 246 NEW BEST:: SOT 156860 SOS 44225 HAS SOPS 44225 HAS SOUS 32019 HAS SOUPS 32019 WITH SCORE 32063.225
AT ITER 250 NEW BEST:: SOT 156859 SOS 44224 HAS SOPS 44224 HAS SOUS 32019 HAS SOUPS 32019 WITH SCORE 32063.224
AT ITER 251 NEW BEST:: SOT 156872 SOS 44224 HAS SOPS 44224 HAS SOUS 32006 HAS SOUPS 32006 WITH SCORE 32050.224
AT ITER 252 NEW BEST:: SOT 156720 SOS 43951 HAS SOPS 43951 HAS SOUS 31946 HAS SOUPS 31946 WITH SCORE 31989.951
AT ITER 262 NEW BEST:: SOT 156695 SOS 43877 HAS SOPS 43877 HAS SOUS 31897 HAS SOUPS 31897 WITH SCORE 31940.877
AT ITER 271 NEW BEST:: SOT 156695 SOS 43848 HAS SOPS 43848 HAS SOUS 31897 HAS SOUPS 31897 WITH SCORE 31940.848
AT ITER 274 NEW BEST:: SOT 156575 SOS 44513 HAS SOPS 44513 HAS SOUS 31798 HAS SOUPS 31798 WITH SCORE 31842.513
AT ITER 276 NEW BEST:: SOT 156568 SOS 44505 HAS SOPS 44505 HAS SOUS 31797 HAS SOUPS 31797 WITH SCORE 31841.505
AT ITER 298 NEW BEST:: SOT 156563 SOS 44534 HAS SOPS 44534 HAS SOUS 31792 HAS SOUPS 31792 WITH SCORE 31836.534
AT ITER 319 NEW BEST:: SOT 156524 SOS 44496 HAS SOPS 44496 HAS SOUS 31746 HAS SOUPS 31746 WITH SCORE 31790.496
AT ITER 336 NEW BEST:: SOT 156524 SOS 44536 HAS SOPS 44536 HAS SOUS 31706 HAS SOUPS 31706 WITH SCORE 31750.536
AT ITER 361 NEW BEST:: SOT 156519 SOS 44526 HAS SOPS 44526 HAS SOUS 31696 HAS SOUPS 31696 WITH SCORE 31740.526
AT ITER 363 NEW BEST:: SOT 156501 SOS 44490 HAS SOPS 44490 HAS SOUS 31677 HAS SOUPS 31677 WITH SCORE 31721.49
AT ITER 374 NEW BEST:: SOT 156514 SOS 44516 HAS SOPS 44516 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31710.516
AT ITER 386 NEW BEST:: SOT 156514 SOS 44464 HAS SOPS 44464 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31710.464
AT ITER 402 NEW BEST:: SOT 156478 SOS 44346 HAS SOPS 44346 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31684.346
AT ITER 408 NEW BEST:: SOT 156440 SOS 44260 HAS SOPS 44260 HAS SOUS 31476 HAS SOUPS 31476 WITH SCORE 31520.26
AT ITER 410 NEW BEST:: SOT 156440 SOS 44260 HAS SOPS 44260 HAS SOUS 31452 HAS SOUPS 31452 WITH SCORE 31496.26
AT ITER 411 NEW BEST:: SOT 156440 SOS 44260 HAS SOPS 44260 HAS SOUS 31448 HAS SOUPS 31448 WITH SCORE 31492.26
AT ITER 418 NEW BEST:: SOT 156436 SOS 44252 HAS SOPS 44252 HAS SOUS 31425 HAS SOUPS 31425 WITH SCORE 31469.252
AT ITER 422 NEW BEST:: SOT 156421 SOS 44222 HAS SOPS 44222 HAS SOUS 31395 HAS SOUPS 31395 WITH SCORE 31439.222
AT ITER 434 NEW BEST:: SOT 156298 SOS 44144 HAS SOPS 44144 HAS SOUS 31272 HAS SOUPS 31272 WITH SCORE 31316.144
AT ITER 474 NEW BEST:: SOT 156104 SOS 43962 HAS SOPS 43962 HAS SOUS 31079 HAS SOUPS 31079 WITH SCORE 31122.962
AT ITER 487 NEW BEST:: SOT 156103 SOS 43961 HAS SOPS 43961 HAS SOUS 31079 HAS SOUPS 31079 WITH SCORE 31122.961
AT ITER 494 NEW BEST:: SOT 156103 SOS 43961 HAS SOPS 43961 HAS SOUS 31078 HAS SOUPS 31078 WITH SCORE 31121.961
AT ITER 496 NEW BEST:: SOT 156094 SOS 43955 HAS SOPS 43955 HAS SOUS 31069 HAS SOUPS 31069 WITH SCORE 31112.955
AT ITER 506 NEW BEST:: SOT 155893 SOS 43754 HAS SOPS 43754 HAS SOUS 30993 HAS SOUPS 30993 WITH SCORE 31036.754
AT ITER 516 NEW BEST:: SOT 155883 SOS 45791 HAS SOPS 45791 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30972.791
AT ITER 520 NEW BEST:: SOT 155775 SOS 45620 HAS SOPS 45620 HAS SOUS 30904 HAS SOUPS 30904 WITH SCORE 30949.62
AT ITER 536 NEW BEST:: SOT 155775 SOS 45606 HAS SOPS 45606 HAS SOUS 30876 HAS SOUPS 30876 WITH SCORE 30921.606
AT ITER 550 NEW BEST:: SOT 155756 SOS 45569 HAS SOPS 45569 HAS SOUS 30857 HAS SOUPS 30857 WITH SCORE 30902.569
AT ITER 552 NEW BEST:: SOT 155530 SOS 45512 HAS SOPS 45512 HAS SOUS 30735 HAS SOUPS 30735 WITH SCORE 30780.512
AT ITER 553 NEW BEST:: SOT 155488 SOS 45398 HAS SOPS 45398 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 30696.398
AT ITER 555 NEW BEST:: SOT 155488 SOS 45398 HAS SOPS 45398 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30694.398
AT ITER 558 NEW BEST:: SOT 155506 SOS 45416 HAS SOPS 45416 HAS SOUS 30642 HAS SOUPS 30642 WITH SCORE 30687.416
AT ITER 570 NEW BEST:: SOT 155520 SOS 45444 HAS SOPS 45444 HAS SOUS 30560 HAS SOUPS 30560 WITH SCORE 30605.444
AT ITER 571 NEW BEST:: SOT 155520 SOS 45417 HAS SOPS 45417 HAS SOUS 30533 HAS SOUPS 30533 WITH SCORE 30578.417
AT ITER 575 NEW BEST:: SOT 155538 SOS 45410 HAS SOPS 45410 HAS SOUS 30526 HAS SOUPS 30526 WITH SCORE 30571.41
AT ITER 578 NEW BEST:: SOT 155537 SOS 45408 HAS SOPS 45408 HAS SOUS 30524 HAS SOUPS 30524 WITH SCORE 30569.408
AT ITER 580 NEW BEST:: SOT 155374 SOS 45082 HAS SOPS 45082 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30173.082
AT ITER 589 NEW BEST:: SOT 155390 SOS 45083 HAS SOPS 45083 HAS SOUS 30089 HAS SOUPS 30089 WITH SCORE 30134.083
AT ITER 599 NEW BEST:: SOT 155380 SOS 45018 HAS SOPS 45018 HAS SOUS 30079 HAS SOUPS 30079 WITH SCORE 30124.018
AT ITER 601 NEW BEST:: SOT 155369 SOS 44996 HAS SOPS 44996 HAS SOUS 30057 HAS SOUPS 30057 WITH SCORE 30101.996
AT ITER 604 NEW BEST:: SOT 155313 SOS 44884 HAS SOPS 44884 HAS SOUS 29998 HAS SOUPS 29998 WITH SCORE 30042.884
AT ITER 605 NEW BEST:: SOT 155319 SOS 44775 HAS SOPS 44775 HAS SOUS 29920 HAS SOUPS 29920 WITH SCORE 29964.775
AT ITER 621 NEW BEST:: SOT 155283 SOS 44703 HAS SOPS 44703 HAS SOUS 29852 HAS SOUPS 29852 WITH SCORE 29896.703
AT ITER 626 NEW BEST:: SOT 155262 SOS 44661 HAS SOPS 44661 HAS SOUS 29752 HAS SOUPS 29752 WITH SCORE 29796.661
AT ITER 629 NEW BEST:: SOT 155331 SOS 44645 HAS SOPS 44645 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29711.645
AT ITER 630 NEW BEST:: SOT 155322 SOS 44633 HAS SOPS 44633 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29711.633
AT ITER 647 NEW BEST:: SOT 155312 SOS 44593 HAS SOPS 44593 HAS SOUS 29643 HAS SOUPS 29643 WITH SCORE 29687.593
AT ITER 651 NEW BEST:: SOT 155250 SOS 44469 HAS SOPS 44469 HAS SOUS 29622 HAS SOUPS 29622 WITH SCORE 29666.469
AT ITER 666 NEW BEST:: SOT 155149 SOS 44385 HAS SOPS 44385 HAS SOUS 29525 HAS SOUPS 29525 WITH SCORE 29569.385
AT ITER 676 NEW BEST:: SOT 155146 SOS 44341 HAS SOPS 44341 HAS SOUS 29463 HAS SOUPS 29463 WITH SCORE 29507.341
AT ITER 691 NEW BEST:: SOT 155137 SOS 44323 HAS SOPS 44323 HAS SOUS 29454 HAS SOUPS 29454 WITH SCORE 29498.323
AT ITER 727 NEW BEST:: SOT 155137 SOS 43975 HAS SOPS 43975 HAS SOUS 29425 HAS SOUPS 29425 WITH SCORE 29468.975
AT ITER 763 NEW BEST:: SOT 155099 SOS 43899 HAS SOPS 43899 HAS SOUS 29327 HAS SOUPS 29327 WITH SCORE 29370.899
AT ITER 766 NEW BEST:: SOT 154960 SOS 43754 HAS SOPS 43754 HAS SOUS 29324 HAS SOUPS 29324 WITH SCORE 29367.754
AT ITER 767 NEW BEST:: SOT 154975 SOS 43756 HAS SOPS 43756 HAS SOUS 29315 HAS SOUPS 29315 WITH SCORE 29358.756
AT ITER 768 NEW BEST:: SOT 154959 SOS 43724 HAS SOPS 43724 HAS SOUS 29229 HAS SOUPS 29229 WITH SCORE 29272.724
AT ITER 769 NEW BEST:: SOT 154947 SOS 43723 HAS SOPS 43723 HAS SOUS 29205 HAS SOUPS 29205 WITH SCORE 29248.723
AT ITER 776 NEW BEST:: SOT 154947 SOS 43723 HAS SOPS 43723 HAS SOUS 29183 HAS SOUPS 29183 WITH SCORE 29226.723
AT ITER 799 NEW BEST:: SOT 154945 SOS 43719 HAS SOPS 43719 HAS SOUS 29179 HAS SOUPS 29179 WITH SCORE 29222.719
AT ITER 803 NEW BEST:: SOT 154839 SOS 43658 HAS SOPS 43658 HAS SOUS 29073 HAS SOUPS 29073 WITH SCORE 29116.658
AT ITER 814 NEW BEST:: SOT 154819 SOS 43440 HAS SOPS 43440 HAS SOUS 28963 HAS SOUPS 28963 WITH SCORE 29006.44
AT ITER 822 NEW BEST:: SOT 154848 SOS 43451 HAS SOPS 43451 HAS SOUS 28912 HAS SOUPS 28912 WITH SCORE 28955.451
AT ITER 830 NEW BEST:: SOT 154807 SOS 43322 HAS SOPS 43322 HAS SOUS 28830 HAS SOUPS 28830 WITH SCORE 28873.322
AT ITER 832 NEW BEST:: SOT 154756 SOS 43245 HAS SOPS 43245 HAS SOUS 28828 HAS SOUPS 28828 WITH SCORE 28871.245
AT ITER 833 NEW BEST:: SOT 154710 SOS 43153 HAS SOPS 43153 HAS SOUS 28717 HAS SOUPS 28717 WITH SCORE 28760.153
AT ITER 841 NEW BEST:: SOT 154680 SOS 43128 HAS SOPS 43128 HAS SOUS 28711 HAS SOUPS 28711 WITH SCORE 28754.128
AT ITER 842 NEW BEST:: SOT 154677 SOS 43125 HAS SOPS 43125 HAS SOUS 28708 HAS SOUPS 28708 WITH SCORE 28751.125
AT ITER 869 NEW BEST:: SOT 154678 SOS 43132 HAS SOPS 43132 HAS SOUS 28705 HAS SOUPS 28705 WITH SCORE 28748.132
AT ITER 882 NEW BEST:: SOT 154552 SOS 42880 HAS SOPS 42880 HAS SOUS 28687 HAS SOUPS 28687 WITH SCORE 28729.88
AT ITER 901 NEW BEST:: SOT 154545 SOS 42873 HAS SOPS 42873 HAS SOUS 28687 HAS SOUPS 28687 WITH SCORE 28729.873
AT ITER 907 NEW BEST:: SOT 154513 SOS 42873 HAS SOPS 42873 HAS SOUS 28670 HAS SOUPS 28670 WITH SCORE 28712.873
AT ITER 912 NEW BEST:: SOT 154525 SOS 42879 HAS SOPS 42879 HAS SOUS 28637 HAS SOUPS 28637 WITH SCORE 28679.879
AT ITER 919 NEW BEST:: SOT 154519 SOS 42867 HAS SOPS 42867 HAS SOUS 28625 HAS SOUPS 28625 WITH SCORE 28667.867
AT ITER 920 NEW BEST:: SOT 154519 SOS 42867 HAS SOPS 42867 HAS SOUS 28610 HAS SOUPS 28610 WITH SCORE 28652.867
AT ITER 925 NEW BEST:: SOT 154514 SOS 42862 HAS SOPS 42862 HAS SOUS 28605 HAS SOUPS 28605 WITH SCORE 28647.862
AT ITER 952 NEW BEST:: SOT 154505 SOS 42835 HAS SOPS 42835 HAS SOUS 28587 HAS SOUPS 28587 WITH SCORE 28629.835
AT ITER 955 NEW BEST:: SOT 154443 SOS 42646 HAS SOPS 42646 HAS SOUS 28587 HAS SOUPS 28587 WITH SCORE 28629.646
AT ITER 968 NEW BEST:: SOT 154472 SOS 42704 HAS SOPS 42704 HAS SOUS 28586 HAS SOUPS 28586 WITH SCORE 28628.704
AT ITER 978 NEW BEST:: SOT 154458 SOS 42676 HAS SOPS 42676 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28579.676
AT ITER 990 NEW BEST:: SOT 154481 SOS 42633 HAS SOPS 42633 HAS SOUS 28520 HAS SOUPS 28520 WITH SCORE 28562.633
AT ITER 998 NEW BEST:: SOT 154499 SOS 42531 HAS SOPS 42531 HAS SOUS 28471 HAS SOUPS 28471 WITH SCORE 28513.531
AT ITER 1018 NEW BEST:: SOT 154475 SOS 42507 HAS SOPS 42507 HAS SOUS 28471 HAS SOUPS 28471 WITH SCORE 28513.507
AT ITER 1036 NEW BEST:: SOT 154475 SOS 42507 HAS SOPS 42507 HAS SOUS 28449 HAS SOUPS 28449 WITH SCORE 28491.507
AT ITER 1044 NEW BEST:: SOT 154473 SOS 42505 HAS SOPS 42505 HAS SOUS 28447 HAS SOUPS 28447 WITH SCORE 28489.505
AT ITER 1048 NEW BEST:: SOT 154441 SOS 42441 HAS SOPS 42441 HAS SOUS 28376 HAS SOUPS 28376 WITH SCORE 28418.441
AT ITER 1059 NEW BEST:: SOT 154391 SOS 42341 HAS SOPS 42341 HAS SOUS 28286 HAS SOUPS 28286 WITH SCORE 28328.341
AT ITER 1075 NEW BEST:: SOT 154381 SOS 42354 HAS SOPS 42354 HAS SOUS 28277 HAS SOUPS 28277 WITH SCORE 28319.354
AT ITER 1077 NEW BEST:: SOT 154398 SOS 42590 HAS SOPS 42590 HAS SOUS 28237 HAS SOUPS 28237 WITH SCORE 28279.59
AT ITER 1092 NEW BEST:: SOT 154396 SOS 42586 HAS SOPS 42586 HAS SOUS 28233 HAS SOUPS 28233 WITH SCORE 28275.586
AT ITER 1107 NEW BEST:: SOT 154351 SOS 42182 HAS SOPS 42182 HAS SOUS 28089 HAS SOUPS 28089 WITH SCORE 28131.182
AT ITER 1112 NEW BEST:: SOT 154291 SOS 42062 HAS SOPS 42062 HAS SOUS 28073 HAS SOUPS 28073 WITH SCORE 28115.062
AT ITER 1118 NEW BEST:: SOT 154167 SOS 41910 HAS SOPS 41910 HAS SOUS 27988 HAS SOUPS 27988 WITH SCORE 28029.91
AT ITER 1128 NEW BEST:: SOT 154181 SOS 41922 HAS SOPS 41922 HAS SOUS 27984 HAS SOUPS 27984 WITH SCORE 28025.922
AT ITER 1141 NEW BEST:: SOT 154181 SOS 41913 HAS SOPS 41913 HAS SOUS 27984 HAS SOUPS 27984 WITH SCORE 28025.913
AT ITER 1159 NEW BEST:: SOT 154241 SOS 40689 HAS SOPS 40689 HAS SOUS 27957 HAS SOUPS 27957 WITH SCORE 27997.689
AT ITER 1191 NEW BEST:: SOT 154239 SOS 40728 HAS SOPS 40728 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 27995.728
AT ITER 1195 NEW BEST:: SOT 154139 SOS 40528 HAS SOPS 40528 HAS SOUS 27863 HAS SOUPS 27863 WITH SCORE 27903.528
AT ITER 1205 NEW BEST:: SOT 154132 SOS 40514 HAS SOPS 40514 HAS SOUS 27856 HAS SOUPS 27856 WITH SCORE 27896.514
AT ITER 1206 NEW BEST:: SOT 154124 SOS 40506 HAS SOPS 40506 HAS SOUS 27856 HAS SOUPS 27856 WITH SCORE 27896.506
AT ITER 1216 NEW BEST:: SOT 154086 SOS 40430 HAS SOPS 40430 HAS SOUS 27818 HAS SOUPS 27818 WITH SCORE 27858.43
AT ITER 1217 NEW BEST:: SOT 154082 SOS 40422 HAS SOPS 40422 HAS SOUS 27810 HAS SOUPS 27810 WITH SCORE 27850.422
AT ITER 1223 NEW BEST:: SOT 154025 SOS 40308 HAS SOPS 40308 HAS SOUS 27696 HAS SOUPS 27696 WITH SCORE 27736.308
AT ITER 1229 NEW BEST:: SOT 154025 SOS 40308 HAS SOPS 40308 HAS SOUS 27681 HAS SOUPS 27681 WITH SCORE 27721.308
AT ITER 1230 NEW BEST:: SOT 153985 SOS 40228 HAS SOPS 40228 HAS SOUS 27641 HAS SOUPS 27641 WITH SCORE 27681.228
AT ITER 1231 NEW BEST:: SOT 153908 SOS 40103 HAS SOPS 40103 HAS SOUS 27612 HAS SOUPS 27612 WITH SCORE 27652.103
AT ITER 1248 NEW BEST:: SOT 153905 SOS 40097 HAS SOPS 40097 HAS SOUS 27606 HAS SOUPS 27606 WITH SCORE 27646.097
AT ITER 1252 NEW BEST:: SOT 153898 SOS 40083 HAS SOPS 40083 HAS SOUS 27592 HAS SOUPS 27592 WITH SCORE 27632.083
AT ITER 1269 NEW BEST:: SOT 153866 SOS 40065 HAS SOPS 40065 HAS SOUS 27560 HAS SOUPS 27560 WITH SCORE 27600.065
AT ITER 1282 NEW BEST:: SOT 153865 SOS 40047 HAS SOPS 40047 HAS SOUS 27559 HAS SOUPS 27559 WITH SCORE 27599.047
AT ITER 1292 NEW BEST:: SOT 153823 SOS 40037 HAS SOPS 40037 HAS SOUS 27517 HAS SOUPS 27517 WITH SCORE 27557.037
AT ITER 1309 NEW BEST:: SOT 153851 SOS 40021 HAS SOPS 40021 HAS SOUS 27501 HAS SOUPS 27501 WITH SCORE 27541.021
AT ITER 1318 NEW BEST:: SOT 153884 SOS 40041 HAS SOPS 40041 HAS SOUS 27475 HAS SOUPS 27475 WITH SCORE 27515.041
AT ITER 1325 NEW BEST:: SOT 153883 SOS 40039 HAS SOPS 40039 HAS SOUS 27455 HAS SOUPS 27455 WITH SCORE 27495.039
AT ITER 1328 NEW BEST:: SOT 153802 SOS 40916 HAS SOPS 40916 HAS SOUS 27443 HAS SOUPS 27443 WITH SCORE 27483.916
AT ITER 1355 NEW BEST:: SOT 153788 SOS 40888 HAS SOPS 40888 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27469.888
AT ITER 1372 NEW BEST:: SOT 153788 SOS 40859 HAS SOPS 40859 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27469.859
AT ITER 1382 NEW BEST:: SOT 153779 SOS 40841 HAS SOPS 40841 HAS SOUS 27411 HAS SOUPS 27411 WITH SCORE 27451.841
AT ITER 1394 NEW BEST:: SOT 153787 SOS 40857 HAS SOPS 40857 HAS SOUS 27245 HAS SOUPS 27245 WITH SCORE 27285.857
AT ITER 1423 NEW BEST:: SOT 153891 SOS 40952 HAS SOPS 40952 HAS SOUS 27240 HAS SOUPS 27240 WITH SCORE 27280.952
AT ITER 1426 NEW BEST:: SOT 153872 SOS 40914 HAS SOPS 40914 HAS SOUS 27201 HAS SOUPS 27201 WITH SCORE 27241.914
AT ITER 1438 NEW BEST:: SOT 153872 SOS 40881 HAS SOPS 40881 HAS SOUS 27201 HAS SOUPS 27201 WITH SCORE 27241.881
AT ITER 1450 NEW BEST:: SOT 153847 SOS 40856 HAS SOPS 40856 HAS SOUS 27165 HAS SOUPS 27165 WITH SCORE 27205.856
AT ITER 1500 NEW BEST:: SOT 153779 SOS 39635 HAS SOPS 39635 HAS SOUS 27109 HAS SOUPS 27109 WITH SCORE 27148.635
AT ITER 1501 NEW BEST:: SOT 153731 SOS 39539 HAS SOPS 39539 HAS SOUS 27071 HAS SOUPS 27071 WITH SCORE 27110.539
AT ITER 1511 NEW BEST:: SOT 153711 SOS 39519 HAS SOPS 39519 HAS SOUS 27061 HAS SOUPS 27061 WITH SCORE 27100.519
AT ITER 1525 NEW BEST:: SOT 153711 SOS 39507 HAS SOPS 39507 HAS SOUS 27049 HAS SOUPS 27049 WITH SCORE 27088.507
AT ITER 1528 NEW BEST:: SOT 153713 SOS 39508 HAS SOPS 39508 HAS SOUS 27045 HAS SOUPS 27045 WITH SCORE 27084.508
AT ITER 1531 NEW BEST:: SOT 153595 SOS 40478 HAS SOPS 40478 HAS SOUS 27031 HAS SOUPS 27031 WITH SCORE 27071.478
AT ITER 1534 NEW BEST:: SOT 153570 SOS 40395 HAS SOPS 40395 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 26988.395
AT ITER 1537 NEW BEST:: SOT 153554 SOS 40363 HAS SOPS 40363 HAS SOUS 26932 HAS SOUPS 26932 WITH SCORE 26972.363
AT ITER 1540 NEW BEST:: SOT 153516 SOS 40306 HAS SOPS 40306 HAS SOUS 26894 HAS SOUPS 26894 WITH SCORE 26934.306
AT ITER 1545 NEW BEST:: SOT 153526 SOS 40326 HAS SOPS 40326 HAS SOUS 26884 HAS SOUPS 26884 WITH SCORE 26924.326
AT ITER 1546 NEW BEST:: SOT 153514 SOS 40302 HAS SOPS 40302 HAS SOUS 26873 HAS SOUPS 26873 WITH SCORE 26913.302
AT ITER 1578 NEW BEST:: SOT 153473 SOS 40220 HAS SOPS 40220 HAS SOUS 26791 HAS SOUPS 26791 WITH SCORE 26831.22
AT ITER 1586 NEW BEST:: SOT 153464 SOS 40202 HAS SOPS 40202 HAS SOUS 26773 HAS SOUPS 26773 WITH SCORE 26813.202
AT ITER 1595 NEW BEST:: SOT 153463 SOS 40187 HAS SOPS 40187 HAS SOUS 26772 HAS SOUPS 26772 WITH SCORE 26812.187
AT ITER 1611 NEW BEST:: SOT 153428 SOS 40117 HAS SOPS 40117 HAS SOUS 26702 HAS SOUPS 26702 WITH SCORE 26742.117
AT ITER 1620 NEW BEST:: SOT 153455 SOS 40096 HAS SOPS 40096 HAS SOUS 26692 HAS SOUPS 26692 WITH SCORE 26732.096
AT ITER 1624 NEW BEST:: SOT 153563 SOS 40204 HAS SOPS 40204 HAS SOUS 26678 HAS SOUPS 26678 WITH SCORE 26718.204
AT ITER 1637 NEW BEST:: SOT 153524 SOS 40402 HAS SOPS 40402 HAS SOUS 26658 HAS SOUPS 26658 WITH SCORE 26698.402
AT ITER 1639 NEW BEST:: SOT 153486 SOS 40354 HAS SOPS 40354 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26660.354
AT ITER 1664 NEW BEST:: SOT 153486 SOS 40352 HAS SOPS 40352 HAS SOUS 26616 HAS SOUPS 26616 WITH SCORE 26656.352
AT ITER 1674 NEW BEST:: SOT 153464 SOS 40311 HAS SOPS 40311 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26649.311
AT ITER 1686 NEW BEST:: SOT 153464 SOS 40267 HAS SOPS 40267 HAS SOUS 26609 HAS SOUPS 26609 WITH SCORE 26649.267
AT ITER 1705 NEW BEST:: SOT 153445 SOS 40273 HAS SOPS 40273 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26636.273
AT ITER 1711 NEW BEST:: SOT 153423 SOS 40251 HAS SOPS 40251 HAS SOUS 26596 HAS SOUPS 26596 WITH SCORE 26636.251
AT ITER 1731 NEW BEST:: SOT 153406 SOS 40240 HAS SOPS 40240 HAS SOUS 26579 HAS SOUPS 26579 WITH SCORE 26619.24
AT ITER 1734 NEW BEST:: SOT 153406 SOS 40237 HAS SOPS 40237 HAS SOUS 26579 HAS SOUPS 26579 WITH SCORE 26619.237
AT ITER 1737 NEW BEST:: SOT 153393 SOS 40230 HAS SOPS 40230 HAS SOUS 26565 HAS SOUPS 26565 WITH SCORE 26605.23
AT ITER 1742 NEW BEST:: SOT 153381 SOS 40206 HAS SOPS 40206 HAS SOUS 26553 HAS SOUPS 26553 WITH SCORE 26593.206
AT ITER 1752 NEW BEST:: SOT 153390 SOS 40273 HAS SOPS 40273 HAS SOUS 26504 HAS SOUPS 26504 WITH SCORE 26544.273
AT ITER 1759 NEW BEST:: SOT 153379 SOS 40216 HAS SOPS 40216 HAS SOUS 26493 HAS SOUPS 26493 WITH SCORE 26533.216
AT ITER 1784 NEW BEST:: SOT 153368 SOS 40194 HAS SOPS 40194 HAS SOUS 26486 HAS SOUPS 26486 WITH SCORE 26526.194
AT ITER 1850 NEW BEST:: SOT 153388 SOS 40278 HAS SOPS 40278 HAS SOUS 26477 HAS SOUPS 26477 WITH SCORE 26517.278
AT ITER 1866 NEW BEST:: SOT 153386 SOS 40274 HAS SOPS 40274 HAS SOUS 26471 HAS SOUPS 26471 WITH SCORE 26511.274
AT ITER 1886 NEW BEST:: SOT 152309 SOS 44598 HAS SOPS 44598 HAS SOUS 25700 HAS SOUPS 25700 WITH SCORE 25744.598
AT ITER 1889 NEW BEST:: SOT 152286 SOS 44556 HAS SOPS 44556 HAS SOUS 25658 HAS SOUPS 25658 WITH SCORE 25702.556
AT ITER 1896 NEW BEST:: SOT 152340 SOS 44576 HAS SOPS 44576 HAS SOUS 25643 HAS SOUPS 25643 WITH SCORE 25687.576
AT ITER 1897 NEW BEST:: SOT 152303 SOS 44465 HAS SOPS 44465 HAS SOUS 25569 HAS SOUPS 25569 WITH SCORE 25613.465
AT ITER 1900 NEW BEST:: SOT 152343 SOS 43573 HAS SOPS 43573 HAS SOUS 25566 HAS SOUPS 25566 WITH SCORE 25609.573
AT ITER 1947 NEW BEST:: SOT 152269 SOS 43446 HAS SOPS 43446 HAS SOUS 25501 HAS SOUPS 25501 WITH SCORE 25544.446
AT ITER 1967 NEW BEST:: SOT 152279 SOS 43466 HAS SOPS 43466 HAS SOUS 25443 HAS SOUPS 25443 WITH SCORE 25486.466
AT ITER 1973 NEW BEST:: SOT 152212 SOS 43295 HAS SOPS 43295 HAS SOUS 25345 HAS SOUPS 25345 WITH SCORE 25388.295
AT ITER 1975 NEW BEST:: SOT 152190 SOS 43295 HAS SOPS 43295 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25344.295
AT ITER 2003 NEW BEST:: SOT 152190 SOS 43280 HAS SOPS 43280 HAS SOUS 25261 HAS SOUPS 25261 WITH SCORE 25304.28
AT ITER 2006 NEW BEST:: SOT 152129 SOS 43272 HAS SOPS 43272 HAS SOUS 25163 HAS SOUPS 25163 WITH SCORE 25206.272
AT ITER 2013 NEW BEST:: SOT 152118 SOS 43250 HAS SOPS 43250 HAS SOUS 25089 HAS SOUPS 25089 WITH SCORE 25132.25
AT ITER 2015 NEW BEST:: SOT 152092 SOS 43203 HAS SOPS 43203 HAS SOUS 25061 HAS SOUPS 25061 WITH SCORE 25104.203
AT ITER 2023 NEW BEST:: SOT 151986 SOS 43131 HAS SOPS 43131 HAS SOUS 25035 HAS SOUPS 25035 WITH SCORE 25078.131
AT ITER 2045 NEW BEST:: SOT 151892 SOS 43130 HAS SOPS 43130 HAS SOUS 24980 HAS SOUPS 24980 WITH SCORE 25023.13
AT ITER 2048 NEW BEST:: SOT 151993 SOS 43139 HAS SOPS 43139 HAS SOUS 24860 HAS SOUPS 24860 WITH SCORE 24903.139
AT ITER 2077 NEW BEST:: SOT 152059 SOS 43155 HAS SOPS 43155 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24860.155
AT ITER 2078 NEW BEST:: SOT 151992 SOS 43123 HAS SOPS 43123 HAS SOUS 24785 HAS SOUPS 24785 WITH SCORE 24828.123
AT ITER 2080 NEW BEST:: SOT 151947 SOS 42986 HAS SOPS 42986 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24810.986
AT ITER 2081 NEW BEST:: SOT 151913 SOS 42952 HAS SOPS 42952 HAS SOUS 24734 HAS SOUPS 24734 WITH SCORE 24776.952
AT ITER 2096 NEW BEST:: SOT 151901 SOS 42928 HAS SOPS 42928 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24752.928
AT ITER 2105 NEW BEST:: SOT 151886 SOS 42898 HAS SOPS 42898 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24734.898
AT ITER 2108 NEW BEST:: SOT 151814 SOS 42785 HAS SOPS 42785 HAS SOUS 24641 HAS SOUPS 24641 WITH SCORE 24683.785
AT ITER 2160 NEW BEST:: SOT 151788 SOS 42759 HAS SOPS 42759 HAS SOUS 24641 HAS SOUPS 24641 WITH SCORE 24683.759
AT ITER 2177 NEW BEST:: SOT 150778 SOS 47402 HAS SOPS 47402 HAS SOUS 24051 HAS SOUPS 24051 WITH SCORE 24098.402
AT ITER 2204 NEW BEST:: SOT 150778 SOS 47402 HAS SOPS 47402 HAS SOUS 24049 HAS SOUPS 24049 WITH SCORE 24096.402
AT ITER 2222 NEW BEST:: SOT 150738 SOS 47430 HAS SOPS 47430 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24062.43
AT ITER 2229 NEW BEST:: SOT 150738 SOS 47430 HAS SOPS 47430 HAS SOUS 24010 HAS SOUPS 24010 WITH SCORE 24057.43
AT ITER 2241 NEW BEST:: SOT 150731 SOS 47374 HAS SOPS 47374 HAS SOUS 24003 HAS SOUPS 24003 WITH SCORE 24050.374
AT ITER 2242 NEW BEST:: SOT 150731 SOS 47358 HAS SOPS 47358 HAS SOUS 23987 HAS SOUPS 23987 WITH SCORE 24034.358
AT ITER 2250 NEW BEST:: SOT 150716 SOS 47343 HAS SOPS 47343 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 24019.343
AT ITER 2253 NEW BEST:: SOT 150660 SOS 47248 HAS SOPS 47248 HAS SOUS 23877 HAS SOUPS 23877 WITH SCORE 23924.248
AT ITER 2260 NEW BEST:: SOT 150655 SOS 47243 HAS SOPS 47243 HAS SOUS 23872 HAS SOUPS 23872 WITH SCORE 23919.243
AT ITER 2280 NEW BEST:: SOT 150624 SOS 47150 HAS SOPS 47150 HAS SOUS 23841 HAS SOUPS 23841 WITH SCORE 23888.15
AT ITER 2286 NEW BEST:: SOT 150618 SOS 47138 HAS SOPS 47138 HAS SOUS 23835 HAS SOUPS 23835 WITH SCORE 23882.138
AT ITER 2298 NEW BEST:: SOT 150617 SOS 47136 HAS SOPS 47136 HAS SOUS 23830 HAS SOUPS 23830 WITH SCORE 23877.136
AT ITER 2299 NEW BEST:: SOT 150598 SOS 47098 HAS SOPS 47098 HAS SOUS 23788 HAS SOUPS 23788 WITH SCORE 23835.098
AT ITER 2300 NEW BEST:: SOT 150522 SOS 47058 HAS SOPS 47058 HAS SOUS 23752 HAS SOUPS 23752 WITH SCORE 23799.058
AT ITER 2325 NEW BEST:: SOT 150522 SOS 47106 HAS SOPS 47106 HAS SOUS 23678 HAS SOUPS 23678 WITH SCORE 23725.106
AT ITER 2339 NEW BEST:: SOT 150522 SOS 47076 HAS SOPS 47076 HAS SOUS 23678 HAS SOUPS 23678 WITH SCORE 23725.076
AT ITER 2350 NEW BEST:: SOT 150521 SOS 47074 HAS SOPS 47074 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23723.074
AT ITER 2369 NEW BEST:: SOT 150499 SOS 45103 HAS SOPS 45103 HAS SOUS 23632 HAS SOUPS 23632 WITH SCORE 23677.103
AT ITER 2388 NEW BEST:: SOT 150504 SOS 45113 HAS SOPS 45113 HAS SOUS 23630 HAS SOUPS 23630 WITH SCORE 23675.113
AT ITER 2406 NEW BEST:: SOT 150467 SOS 45085 HAS SOPS 45085 HAS SOUS 23625 HAS SOUPS 23625 WITH SCORE 23670.085
AT ITER 2416 NEW BEST:: SOT 150465 SOS 45081 HAS SOPS 45081 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23666.081
AT ITER 2431 NEW BEST:: SOT 150465 SOS 45081 HAS SOPS 45081 HAS SOUS 23620 HAS SOUPS 23620 WITH SCORE 23665.081
AT ITER 2445 NEW BEST:: SOT 150450 SOS 45036 HAS SOPS 45036 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23650.036
AT ITER 2463 NEW BEST:: SOT 150446 SOS 44893 HAS SOPS 44893 HAS SOUS 23582 HAS SOUPS 23582 WITH SCORE 23626.893
AT ITER 2505 NEW BEST:: SOT 150398 SOS 44797 HAS SOPS 44797 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23545.797
AT ITER 2522 NEW BEST:: SOT 150395 SOS 44788 HAS SOPS 44788 HAS SOUS 23492 HAS SOUPS 23492 WITH SCORE 23536.788
AT ITER 2524 NEW BEST:: SOT 150352 SOS 44745 HAS SOPS 44745 HAS SOUS 23449 HAS SOUPS 23449 WITH SCORE 23493.745
AT ITER 2527 NEW BEST:: SOT 150371 SOS 44705 HAS SOPS 44705 HAS SOUS 23426 HAS SOUPS 23426 WITH SCORE 23470.705
AT ITER 2538 NEW BEST:: SOT 150403 SOS 44769 HAS SOPS 44769 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23465.769
AT ITER 2539 NEW BEST:: SOT 150410 SOS 44783 HAS SOPS 44783 HAS SOUS 23411 HAS SOUPS 23411 WITH SCORE 23455.783
AT ITER 2549 NEW BEST:: SOT 150420 SOS 44777 HAS SOPS 44777 HAS SOUS 23379 HAS SOUPS 23379 WITH SCORE 23423.777
AT ITER 2564 NEW BEST:: SOT 150411 SOS 44759 HAS SOPS 44759 HAS SOUS 23361 HAS SOUPS 23361 WITH SCORE 23405.759
AT ITER 2577 NEW BEST:: SOT 150444 SOS 44825 HAS SOPS 44825 HAS SOUS 23297 HAS SOUPS 23297 WITH SCORE 23341.825
AT ITER 2605 NEW BEST:: SOT 150410 SOS 44710 HAS SOPS 44710 HAS SOUS 23225 HAS SOUPS 23225 WITH SCORE 23269.71
AT ITER 2616 NEW BEST:: SOT 150408 SOS 44706 HAS SOPS 44706 HAS SOUS 23221 HAS SOUPS 23221 WITH SCORE 23265.706
AT ITER 2619 NEW BEST:: SOT 150401 SOS 44692 HAS SOPS 44692 HAS SOUS 23207 HAS SOUPS 23207 WITH SCORE 23251.692
AT ITER 2630 NEW BEST:: SOT 150414 SOS 44616 HAS SOPS 44616 HAS SOUS 23042 HAS SOUPS 23042 WITH SCORE 23086.616
AT ITER 2643 NEW BEST:: SOT 150388 SOS 44590 HAS SOPS 44590 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23060.59
AT ITER 2682 NEW BEST:: SOT 150355 SOS 44590 HAS SOPS 44590 HAS SOUS 22983 HAS SOUPS 22983 WITH SCORE 23027.59
AT ITER 2684 NEW BEST:: SOT 150335 SOS 44530 HAS SOPS 44530 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 23007.53
AT ITER 2764 NEW BEST:: SOT 150310 SOS 44519 HAS SOPS 44519 HAS SOUS 22952 HAS SOUPS 22952 WITH SCORE 22996.519
AT ITER 2773 NEW BEST:: SOT 150234 SOS 44433 HAS SOPS 44433 HAS SOUS 22876 HAS SOUPS 22876 WITH SCORE 22920.433
AT ITER 2781 NEW BEST:: SOT 150240 SOS 44404 HAS SOPS 44404 HAS SOUS 22847 HAS SOUPS 22847 WITH SCORE 22891.404
AT ITER 2790 NEW BEST:: SOT 150236 SOS 44396 HAS SOPS 44396 HAS SOUS 22843 HAS SOUPS 22843 WITH SCORE 22887.396
AT ITER 2811 NEW BEST:: SOT 150230 SOS 44389 HAS SOPS 44389 HAS SOUS 22802 HAS SOUPS 22802 WITH SCORE 22846.389
AT ITER 2821 NEW BEST:: SOT 150229 SOS 44386 HAS SOPS 44386 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22843.386
AT ITER 2847 NEW BEST:: SOT 150214 SOS 44356 HAS SOPS 44356 HAS SOUS 22784 HAS SOUPS 22784 WITH SCORE 22828.356
AT ITER 2879 NEW BEST:: SOT 150148 SOS 44261 HAS SOPS 44261 HAS SOUS 22726 HAS SOUPS 22726 WITH SCORE 22770.261
AT ITER 2896 NEW BEST:: SOT 150140 SOS 44190 HAS SOPS 44190 HAS SOUS 22656 HAS SOUPS 22656 WITH SCORE 22700.19
AT ITER 2926 NEW BEST:: SOT 150140 SOS 44190 HAS SOPS 44190 HAS SOUS 22642 HAS SOUPS 22642 WITH SCORE 22686.19
AT ITER 2948 NEW BEST:: SOT 150128 SOS 44180 HAS SOPS 44180 HAS SOUS 22632 HAS SOUPS 22632 WITH SCORE 22676.18
AT ITER 2952 NEW BEST:: SOT 150096 SOS 44116 HAS SOPS 44116 HAS SOUS 22568 HAS SOUPS 22568 WITH SCORE 22612.116
AT ITER 2957 NEW BEST:: SOT 150099 SOS 44122 HAS SOPS 44122 HAS SOUS 22554 HAS SOUPS 22554 WITH SCORE 22598.122
AT ITER 2962 NEW BEST:: SOT 150038 SOS 44058 HAS SOPS 44058 HAS SOUS 22506 HAS SOUPS 22506 WITH SCORE 22550.058
AT ITER 2970 NEW BEST:: SOT 149990 SOS 43962 HAS SOPS 43962 HAS SOUS 22480 HAS SOUPS 22480 WITH SCORE 22523.962
AT ITER 3018 NEW BEST:: SOT 150040 SOS 44037 HAS SOPS 44037 HAS SOUS 22397 HAS SOUPS 22397 WITH SCORE 22441.037
AT ITER 3040 NEW BEST:: SOT 150040 SOS 44037 HAS SOPS 44037 HAS SOUS 22385 HAS SOUPS 22385 WITH SCORE 22429.037
AT ITER 3051 NEW BEST:: SOT 150037 SOS 44031 HAS SOPS 44031 HAS SOUS 22375 HAS SOUPS 22375 WITH SCORE 22419.031
AT ITER 3069 NEW BEST:: SOT 150024 SOS 43973 HAS SOPS 43973 HAS SOUS 22349 HAS SOUPS 22349 WITH SCORE 22392.973
AT ITER 3115 NEW BEST:: SOT 150024 SOS 43973 HAS SOPS 43973 HAS SOUS 22347 HAS SOUPS 22347 WITH SCORE 22390.973
AT ITER 3118 NEW BEST:: SOT 150008 SOS 43957 HAS SOPS 43957 HAS SOUS 22331 HAS SOUPS 22331 WITH SCORE 22374.957
AT ITER 3134 NEW BEST:: SOT 150008 SOS 43957 HAS SOPS 43957 HAS SOUS 22320 HAS SOUPS 22320 WITH SCORE 22363.957
AT ITER 3139 NEW BEST:: SOT 150016 SOS 43911 HAS SOPS 43911 HAS SOUS 22274 HAS SOUPS 22274 WITH SCORE 22317.911
AT ITER 3219 NEW BEST:: SOT 150016 SOS 43911 HAS SOPS 43911 HAS SOUS 22259 HAS SOUPS 22259 WITH SCORE 22302.911
AT ITER 3222 NEW BEST:: SOT 149927 SOS 43644 HAS SOPS 43644 HAS SOUS 22259 HAS SOUPS 22259 WITH SCORE 22302.644
AT ITER 3262 NEW BEST:: SOT 149893 SOS 43610 HAS SOPS 43610 HAS SOUS 22242 HAS SOUPS 22242 WITH SCORE 22285.61
AT ITER 3264 NEW BEST:: SOT 149933 SOS 43462 HAS SOPS 43462 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22249.462
AT ITER 3269 NEW BEST:: SOT 149929 SOS 43454 HAS SOPS 43454 HAS SOUS 22198 HAS SOUPS 22198 WITH SCORE 22241.454
AT ITER 3271 NEW BEST:: SOT 149931 SOS 43260 HAS SOPS 43260 HAS SOUS 22195 HAS SOUPS 22195 WITH SCORE 22238.26
AT ITER 3308 NEW BEST:: SOT 149887 SOS 43172 HAS SOPS 43172 HAS SOUS 22168 HAS SOUPS 22168 WITH SCORE 22211.172
AT ITER 3375 NEW BEST:: SOT 149872 SOS 43156 HAS SOPS 43156 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22209.156
AT ITER 3377 NEW BEST:: SOT 149854 SOS 43120 HAS SOPS 43120 HAS SOUS 22130 HAS SOUPS 22130 WITH SCORE 22173.12
AT ITER 3378 NEW BEST:: SOT 149844 SOS 43089 HAS SOPS 43089 HAS SOUS 22110 HAS SOUPS 22110 WITH SCORE 22153.089
AT ITER 3436 NEW BEST:: SOT 149839 SOS 43079 HAS SOPS 43079 HAS SOUS 22099 HAS SOUPS 22099 WITH SCORE 22142.079
AT ITER 3441 NEW BEST:: SOT 149811 SOS 43037 HAS SOPS 43037 HAS SOUS 22071 HAS SOUPS 22071 WITH SCORE 22114.037
AT ITER 3442 NEW BEST:: SOT 149809 SOS 43037 HAS SOPS 43037 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22110.037
AT ITER 3467 NEW BEST:: SOT 149799 SOS 43014 HAS SOPS 43014 HAS SOUS 22058 HAS SOUPS 22058 WITH SCORE 22101.014
AT ITER 3486 NEW BEST:: SOT 149795 SOS 43006 HAS SOPS 43006 HAS SOUS 22047 HAS SOUPS 22047 WITH SCORE 22090.006
AT ITER 3504 NEW BEST:: SOT 149787 SOS 42990 HAS SOPS 42990 HAS SOUS 22031 HAS SOUPS 22031 WITH SCORE 22073.99
AT ITER 3567 NEW BEST:: SOT 149781 SOS 42981 HAS SOPS 42981 HAS SOUS 22025 HAS SOUPS 22025 WITH SCORE 22067.981
AT ITER 3570 NEW BEST:: SOT 149780 SOS 42979 HAS SOPS 42979 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22062.979
AT ITER 3573 NEW BEST:: SOT 149775 SOS 42974 HAS SOPS 42974 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22062.974
AT ITER 3579 NEW BEST:: SOT 149779 SOS 42978 HAS SOPS 42978 HAS SOUS 22013 HAS SOUPS 22013 WITH SCORE 22055.978
AT ITER 3591 NEW BEST:: SOT 149681 SOS 42855 HAS SOPS 42855 HAS SOUS 21963 HAS SOUPS 21963 WITH SCORE 22005.855
AT ITER 3593 NEW BEST:: SOT 149704 SOS 42901 HAS SOPS 42901 HAS SOUS 21956 HAS SOUPS 21956 WITH SCORE 21998.901
AT ITER 3600 NEW BEST:: SOT 149685 SOS 42863 HAS SOPS 42863 HAS SOUS 21937 HAS SOUPS 21937 WITH SCORE 21979.863
AT ITER 3614 NEW BEST:: SOT 149698 SOS 42889 HAS SOPS 42889 HAS SOUS 21920 HAS SOUPS 21920 WITH SCORE 21962.889
AT ITER 3616 NEW BEST:: SOT 149682 SOS 42872 HAS SOPS 42872 HAS SOUS 21902 HAS SOUPS 21902 WITH SCORE 21944.872
AT ITER 3625 NEW BEST:: SOT 149680 SOS 42868 HAS SOPS 42868 HAS SOUS 21889 HAS SOUPS 21889 WITH SCORE 21931.868
AT ITER 3633 NEW BEST:: SOT 149674 SOS 42919 HAS SOPS 42919 HAS SOUS 21883 HAS SOUPS 21883 WITH SCORE 21925.919
AT ITER 3646 NEW BEST:: SOT 149674 SOS 42909 HAS SOPS 42909 HAS SOUS 21868 HAS SOUPS 21868 WITH SCORE 21910.909
AT ITER 3652 NEW BEST:: SOT 149681 SOS 42909 HAS SOPS 42909 HAS SOUS 21861 HAS SOUPS 21861 WITH SCORE 21903.909
AT ITER 3655 NEW BEST:: SOT 149681 SOS 42909 HAS SOPS 42909 HAS SOUS 21832 HAS SOUPS 21832 WITH SCORE 21874.909
AT ITER 3706 NEW BEST:: SOT 149700 SOS 42848 HAS SOPS 42848 HAS SOUS 21785 HAS SOUPS 21785 WITH SCORE 21827.848
AT ITER 3736 NEW BEST:: SOT 149696 SOS 42820 HAS SOPS 42820 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21823.82
AT ITER 3745 NEW BEST:: SOT 149695 SOS 42818 HAS SOPS 42818 HAS SOUS 21779 HAS SOUPS 21779 WITH SCORE 21821.818
AT ITER 3813 NEW BEST:: SOT 149693 SOS 42817 HAS SOPS 42817 HAS SOUS 21777 HAS SOUPS 21777 WITH SCORE 21819.817
AT ITER 3837 NEW BEST:: SOT 149806 SOS 42868 HAS SOPS 42868 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21695.868
AT ITER 3852 NEW BEST:: SOT 149804 SOS 42866 HAS SOPS 42866 HAS SOUS 21651 HAS SOUPS 21651 WITH SCORE 21693.866
AT ITER 3875 NEW BEST:: SOT 149798 SOS 42864 HAS SOPS 42864 HAS SOUS 21617 HAS SOUPS 21617 WITH SCORE 21659.864
AT ITER 3900 NEW BEST:: SOT 149744 SOS 42785 HAS SOPS 42785 HAS SOUS 21609 HAS SOUPS 21609 WITH SCORE 21651.785
AT ITER 3915 NEW BEST:: SOT 149743 SOS 42770 HAS SOPS 42770 HAS SOUS 21607 HAS SOUPS 21607 WITH SCORE 21649.77
AT ITER 3924 NEW BEST:: SOT 149704 SOS 42692 HAS SOPS 42692 HAS SOUS 21560 HAS SOUPS 21560 WITH SCORE 21602.692
AT ITER 3966 NEW BEST:: SOT 149701 SOS 42686 HAS SOPS 42686 HAS SOUS 21554 HAS SOUPS 21554 WITH SCORE 21596.686
AT ITER 3983 NEW BEST:: SOT 149670 SOS 42624 HAS SOPS 42624 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21569.624
AT ITER 4034 NEW BEST:: SOT 149659 SOS 42602 HAS SOPS 42602 HAS SOUS 21505 HAS SOUPS 21505 WITH SCORE 21547.602
AT ITER 4096 NEW BEST:: SOT 149618 SOS 43941 HAS SOPS 43941 HAS SOUS 21478 HAS SOUPS 21478 WITH SCORE 21521.941
AT ITER 4138 NEW BEST:: SOT 149620 SOS 43879 HAS SOPS 43879 HAS SOUS 21478 HAS SOUPS 21478 WITH SCORE 21521.879
AT ITER 4148 NEW BEST:: SOT 149633 SOS 43853 HAS SOPS 43853 HAS SOUS 21465 HAS SOUPS 21465 WITH SCORE 21508.853
AT ITER 4175 NEW BEST:: SOT 149585 SOS 43728 HAS SOPS 43728 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21460.728
AT ITER 4189 NEW BEST:: SOT 149590 SOS 43724 HAS SOPS 43724 HAS SOUS 21399 HAS SOUPS 21399 WITH SCORE 21442.724
AT ITER 4191 NEW BEST:: SOT 149590 SOS 43724 HAS SOPS 43724 HAS SOUS 21392 HAS SOUPS 21392 WITH SCORE 21435.724
AT ITER 4207 NEW BEST:: SOT 149559 SOS 43662 HAS SOPS 43662 HAS SOUS 21383 HAS SOUPS 21383 WITH SCORE 21426.662
AT ITER 4212 NEW BEST:: SOT 149559 SOS 43662 HAS SOPS 43662 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21423.662
AT ITER 4229 NEW BEST:: SOT 149535 SOS 43614 HAS SOPS 43614 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21313.614
AT ITER 4259 NEW BEST:: SOT 149535 SOS 43609 HAS SOPS 43609 HAS SOUS 21270 HAS SOUPS 21270 WITH SCORE 21313.609
AT ITER 4263 NEW BEST:: SOT 149527 SOS 43604 HAS SOPS 43604 HAS SOUS 21262 HAS SOUPS 21262 WITH SCORE 21305.604
AT ITER 4327 NEW BEST:: SOT 149475 SOS 43572 HAS SOPS 43572 HAS SOUS 21194 HAS SOUPS 21194 WITH SCORE 21237.572
AT ITER 4364 NEW BEST:: SOT 149430 SOS 43482 HAS SOPS 43482 HAS SOUS 21160 HAS SOUPS 21160 WITH SCORE 21203.482
AT ITER 4414 NEW BEST:: SOT 149428 SOS 43673 HAS SOPS 43673 HAS SOUS 21147 HAS SOUPS 21147 WITH SCORE 21190.673
AT ITER 4415 NEW BEST:: SOT 149415 SOS 43647 HAS SOPS 43647 HAS SOUS 21134 HAS SOUPS 21134 WITH SCORE 21177.647
AT ITER 4453 NEW BEST:: SOT 149409 SOS 43635 HAS SOPS 43635 HAS SOUS 21122 HAS SOUPS 21122 WITH SCORE 21165.635
AT ITER 4461 NEW BEST:: SOT 149377 SOS 43597 HAS SOPS 43597 HAS SOUS 21109 HAS SOUPS 21109 WITH SCORE 21152.597
AT ITER 4499 NEW BEST:: SOT 149351 SOS 43465 HAS SOPS 43465 HAS SOUS 21081 HAS SOUPS 21081 WITH SCORE 21124.465
AT ITER 4500 NEW BEST:: SOT 149347 SOS 43457 HAS SOPS 43457 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21101.457
AT ITER 4541 NEW BEST:: SOT 149327 SOS 43467 HAS SOPS 43467 HAS SOUS 21048 HAS SOUPS 21048 WITH SCORE 21091.467
AT ITER 4574 NEW BEST:: SOT 149285 SOS 43383 HAS SOPS 43383 HAS SOUS 21006 HAS SOUPS 21006 WITH SCORE 21049.383
AT ITER 4621 NEW BEST:: SOT 149285 SOS 43383 HAS SOPS 43383 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21033.383
AT ITER 4646 NEW BEST:: SOT 149291 SOS 43347 HAS SOPS 43347 HAS SOUS 20987 HAS SOUPS 20987 WITH SCORE 21030.347
AT ITER 4651 NEW BEST:: SOT 149292 SOS 43336 HAS SOPS 43336 HAS SOUS 20976 HAS SOUPS 20976 WITH SCORE 21019.336
AT ITER 4771 NEW BEST:: SOT 149290 SOS 43332 HAS SOPS 43332 HAS SOUS 20972 HAS SOUPS 20972 WITH SCORE 21015.332
AT ITER 4774 NEW BEST:: SOT 149248 SOS 43266 HAS SOPS 43266 HAS SOUS 20936 HAS SOUPS 20936 WITH SCORE 20979.266
AT ITER 4784 NEW BEST:: SOT 149244 SOS 43186 HAS SOPS 43186 HAS SOUS 20928 HAS SOUPS 20928 WITH SCORE 20971.186
AT ITER 4795 NEW BEST:: SOT 149242 SOS 43186 HAS SOPS 43186 HAS SOUS 20926 HAS SOUPS 20926 WITH SCORE 20969.186
AT ITER 4798 NEW BEST:: SOT 149262 SOS 43206 HAS SOPS 43206 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20963.206
AT ITER 4804 NEW BEST:: SOT 149190 SOS 43072 HAS SOPS 43072 HAS SOUS 20873 HAS SOUPS 20873 WITH SCORE 20916.072
AT ITER 4810 NEW BEST:: SOT 149191 SOS 43064 HAS SOPS 43064 HAS SOUS 20864 HAS SOUPS 20864 WITH SCORE 20907.064
AT ITER 4855 NEW BEST:: SOT 149159 SOS 43000 HAS SOPS 43000 HAS SOUS 20800 HAS SOUPS 20800 WITH SCORE 20843.0
AT ITER 4860 NEW BEST:: SOT 149145 SOS 42972 HAS SOPS 42972 HAS SOUS 20792 HAS SOUPS 20792 WITH SCORE 20834.972
AT ITER 4918 NEW BEST:: SOT 149113 SOS 42940 HAS SOPS 42940 HAS SOUS 20773 HAS SOUPS 20773 WITH SCORE 20815.94
AT ITER 4979 NEW BEST:: SOT 149113 SOS 42926 HAS SOPS 42926 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20808.926
AT ITER 4986 NEW BEST:: SOT 149113 SOS 42920 HAS SOPS 42920 HAS SOUS 20754 HAS SOUPS 20754 WITH SCORE 20796.92
AT ITER 5034 NEW BEST:: SOT 149109 SOS 42912 HAS SOPS 42912 HAS SOUS 20742 HAS SOUPS 20742 WITH SCORE 20784.912
AT ITER 5062 NEW BEST:: SOT 149095 SOS 42898 HAS SOPS 42898 HAS SOUS 20734 HAS SOUPS 20734 WITH SCORE 20776.898
AT ITER 5077 NEW BEST:: SOT 149095 SOS 42862 HAS SOPS 42862 HAS SOUS 20729 HAS SOUPS 20729 WITH SCORE 20771.862
AT ITER 5129 NEW BEST:: SOT 149095 SOS 42836 HAS SOPS 42836 HAS SOUS 20729 HAS SOUPS 20729 WITH SCORE 20771.836
AT ITER 5131 NEW BEST:: SOT 149067 SOS 42362 HAS SOPS 42362 HAS SOUS 20723 HAS SOUPS 20723 WITH SCORE 20765.362
AT ITER 5156 NEW BEST:: SOT 149054 SOS 42310 HAS SOPS 42310 HAS SOUS 20710 HAS SOUPS 20710 WITH SCORE 20752.31
AT ITER 5172 NEW BEST:: SOT 149037 SOS 42276 HAS SOPS 42276 HAS SOUS 20682 HAS SOUPS 20682 WITH SCORE 20724.276
AT ITER 5181 NEW BEST:: SOT 148985 SOS 42198 HAS SOPS 42198 HAS SOUS 20630 HAS SOUPS 20630 WITH SCORE 20672.198
AT ITER 5233 NEW BEST:: SOT 148974 SOS 42176 HAS SOPS 42176 HAS SOUS 20608 HAS SOUPS 20608 WITH SCORE 20650.176
AT ITER 5271 NEW BEST:: SOT 149015 SOS 42136 HAS SOPS 42136 HAS SOUS 20528 HAS SOUPS 20528 WITH SCORE 20570.136
AT ITER 5297 NEW BEST:: SOT 149015 SOS 42113 HAS SOPS 42113 HAS SOUS 20505 HAS SOUPS 20505 WITH SCORE 20547.113
AT ITER 5307 NEW BEST:: SOT 149019 SOS 42121 HAS SOPS 42121 HAS SOUS 20479 HAS SOUPS 20479 WITH SCORE 20521.121
AT ITER 5347 NEW BEST:: SOT 149019 SOS 42121 HAS SOPS 42121 HAS SOUS 20462 HAS SOUPS 20462 WITH SCORE 20504.121
AT ITER 5351 NEW BEST:: SOT 149003 SOS 42089 HAS SOPS 42089 HAS SOUS 20414 HAS SOUPS 20414 WITH SCORE 20456.089
AT ITER 5352 NEW BEST:: SOT 149000 SOS 42083 HAS SOPS 42083 HAS SOUS 20408 HAS SOUPS 20408 WITH SCORE 20450.083
AT ITER 5363 NEW BEST:: SOT 148992 SOS 42067 HAS SOPS 42067 HAS SOUS 20396 HAS SOUPS 20396 WITH SCORE 20438.067
AT ITER 5421 NEW BEST:: SOT 148980 SOS 42043 HAS SOPS 42043 HAS SOUS 20372 HAS SOUPS 20372 WITH SCORE 20414.043
AT ITER 5436 NEW BEST:: SOT 148970 SOS 42023 HAS SOPS 42023 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20394.023
AT ITER 5446 NEW BEST:: SOT 148963 SOS 42009 HAS SOPS 42009 HAS SOUS 20338 HAS SOUPS 20338 WITH SCORE 20380.009
AT ITER 5501 NEW BEST:: SOT 148963 SOS 42001 HAS SOPS 42001 HAS SOUS 20322 HAS SOUPS 20322 WITH SCORE 20364.001
AT ITER 5519 NEW BEST:: SOT 148939 SOS 42022 HAS SOPS 42022 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20342.022
AT ITER 5521 NEW BEST:: SOT 148913 SOS 42002 HAS SOPS 42002 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20342.002
AT ITER 5580 NEW BEST:: SOT 148830 SOS 41919 HAS SOPS 41919 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20341.919
AT ITER 5659 NEW BEST:: SOT 148804 SOS 41893 HAS SOPS 41893 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20341.893
AT ITER 5678 NEW BEST:: SOT 148804 SOS 41902 HAS SOPS 41902 HAS SOUS 20291 HAS SOUPS 20291 WITH SCORE 20332.902
AT ITER 5679 NEW BEST:: SOT 148794 SOS 41910 HAS SOPS 41910 HAS SOUS 20281 HAS SOUPS 20281 WITH SCORE 20322.91
AT ITER 5698 NEW BEST:: SOT 148787 SOS 41888 HAS SOPS 41888 HAS SOUS 20278 HAS SOUPS 20278 WITH SCORE 20319.888
AT ITER 5779 NEW BEST:: SOT 148786 SOS 41884 HAS SOPS 41884 HAS SOUS 20274 HAS SOUPS 20274 WITH SCORE 20315.884
AT ITER 5793 NEW BEST:: SOT 148779 SOS 41877 HAS SOPS 41877 HAS SOUS 20260 HAS SOUPS 20260 WITH SCORE 20301.877
AT ITER 5823 NEW BEST:: SOT 148772 SOS 41849 HAS SOPS 41849 HAS SOUS 20253 HAS SOUPS 20253 WITH SCORE 20294.849
AT ITER 5833 NEW BEST:: SOT 148792 SOS 41868 HAS SOPS 41868 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20292.868
AT ITER 5863 NEW BEST:: SOT 148715 SOS 41802 HAS SOPS 41802 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20256.802
AT ITER 5871 NEW BEST:: SOT 148712 SOS 41796 HAS SOPS 41796 HAS SOUS 20215 HAS SOUPS 20215 WITH SCORE 20256.796
AT ITER 5887 NEW BEST:: SOT 148727 SOS 41811 HAS SOPS 41811 HAS SOUS 20199 HAS SOUPS 20199 WITH SCORE 20240.811
AT ITER 5893 NEW BEST:: SOT 148727 SOS 41811 HAS SOPS 41811 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20236.811
AT ITER 5907 NEW BEST:: SOT 148620 SOS 41704 HAS SOPS 41704 HAS SOUS 20147 HAS SOUPS 20147 WITH SCORE 20188.704
AT ITER 5950 NEW BEST:: SOT 148611 SOS 41686 HAS SOPS 41686 HAS SOUS 20132 HAS SOUPS 20132 WITH SCORE 20173.686
AT ITER 5958 NEW BEST:: SOT 148609 SOS 41686 HAS SOPS 41686 HAS SOUS 20130 HAS SOUPS 20130 WITH SCORE 20171.686
AT ITER 6000 NEW BEST:: SOT 148607 SOS 41682 HAS SOPS 41682 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20167.682
AT ITER 6009 NEW BEST:: SOT 148534 SOS 41574 HAS SOPS 41574 HAS SOUS 20080 HAS SOUPS 20080 WITH SCORE 20121.574
AT ITER 6024 NEW BEST:: SOT 148503 SOS 41521 HAS SOPS 41521 HAS SOUS 20062 HAS SOUPS 20062 WITH SCORE 20103.521
AT ITER 6043 NEW BEST:: SOT 148489 SOS 41493 HAS SOPS 41493 HAS SOUS 20035 HAS SOUPS 20035 WITH SCORE 20076.493
AT ITER 6044 NEW BEST:: SOT 148451 SOS 41430 HAS SOPS 41430 HAS SOUS 20014 HAS SOUPS 20014 WITH SCORE 20055.43
AT ITER 6046 NEW BEST:: SOT 148440 SOS 41408 HAS SOPS 41408 HAS SOUS 20009 HAS SOUPS 20009 WITH SCORE 20050.408
AT ITER 6060 NEW BEST:: SOT 148421 SOS 41389 HAS SOPS 41389 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20043.389
AT ITER 6096 NEW BEST:: SOT 148414 SOS 41375 HAS SOPS 41375 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20029.375
AT ITER 6128 NEW BEST:: SOT 148404 SOS 41364 HAS SOPS 41364 HAS SOUS 19977 HAS SOUPS 19977 WITH SCORE 20018.364
AT ITER 6173 NEW BEST:: SOT 148404 SOS 41339 HAS SOPS 41339 HAS SOUS 19977 HAS SOUPS 19977 WITH SCORE 20018.339
AT ITER 6246 NEW BEST:: SOT 148469 SOS 41374 HAS SOPS 41374 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 20002.374
AT ITER 6247 NEW BEST:: SOT 148467 SOS 41372 HAS SOPS 41372 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 19998.372
AT ITER 6276 NEW BEST:: SOT 148467 SOS 41366 HAS SOPS 41366 HAS SOUS 19957 HAS SOUPS 19957 WITH SCORE 19998.366
AT ITER 6305 NEW BEST:: SOT 148454 SOS 41377 HAS SOPS 41377 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19985.377
AT ITER 6335 NEW BEST:: SOT 148440 SOS 41349 HAS SOPS 41349 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19957.349
AT ITER 6336 NEW BEST:: SOT 148434 SOS 41343 HAS SOPS 41343 HAS SOUS 19910 HAS SOUPS 19910 WITH SCORE 19951.343
AT ITER 6467 NEW BEST:: SOT 148434 SOS 41343 HAS SOPS 41343 HAS SOUS 19875 HAS SOUPS 19875 WITH SCORE 19916.343
AT ITER 6477 NEW BEST:: SOT 148441 SOS 41957 HAS SOPS 41957 HAS SOUS 19867 HAS SOUPS 19867 WITH SCORE 19908.957
AT ITER 6513 NEW BEST:: SOT 148441 SOS 41957 HAS SOPS 41957 HAS SOUS 19860 HAS SOUPS 19860 WITH SCORE 19901.957
AT ITER 6531 NEW BEST:: SOT 148433 SOS 41941 HAS SOPS 41941 HAS SOUS 19851 HAS SOUPS 19851 WITH SCORE 19892.941
AT ITER 6575 NEW BEST:: SOT 148421 SOS 41869 HAS SOPS 41869 HAS SOUS 19815 HAS SOUPS 19815 WITH SCORE 19856.869
AT ITER 6576 NEW BEST:: SOT 148412 SOS 41860 HAS SOPS 41860 HAS SOUS 19799 HAS SOUPS 19799 WITH SCORE 19840.86
AT ITER 6635 NEW BEST:: SOT 148407 SOS 41855 HAS SOPS 41855 HAS SOUS 19799 HAS SOUPS 19799 WITH SCORE 19840.855
AT ITER 6705 NEW BEST:: SOT 148407 SOS 41855 HAS SOPS 41855 HAS SOUS 19791 HAS SOUPS 19791 WITH SCORE 19832.855
AT ITER 6713 NEW BEST:: SOT 148407 SOS 41841 HAS SOPS 41841 HAS SOUS 19791 HAS SOUPS 19791 WITH SCORE 19832.841
AT ITER 6727 NEW BEST:: SOT 148398 SOS 41823 HAS SOPS 41823 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19823.823
AT ITER 6835 NEW BEST:: SOT 148398 SOS 41800 HAS SOPS 41800 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19823.8
AT ITER 6836 NEW BEST:: SOT 148420 SOS 41008 HAS SOPS 41008 HAS SOUS 19782 HAS SOUPS 19782 WITH SCORE 19823.008
AT ITER 6886 NEW BEST:: SOT 148426 SOS 41014 HAS SOPS 41014 HAS SOUS 19780 HAS SOUPS 19780 WITH SCORE 19821.014
AT ITER 6933 NEW BEST:: SOT 148421 SOS 41004 HAS SOPS 41004 HAS SOUS 19777 HAS SOUPS 19777 WITH SCORE 19818.004
AT ITER 6942 NEW BEST:: SOT 148341 SOS 40940 HAS SOPS 40940 HAS SOUS 19761 HAS SOUPS 19761 WITH SCORE 19801.94
AT ITER 6943 NEW BEST:: SOT 148322 SOS 40902 HAS SOPS 40902 HAS SOUS 19752 HAS SOUPS 19752 WITH SCORE 19792.902
AT ITER 7020 NEW BEST:: SOT 148322 SOS 40748 HAS SOPS 40748 HAS SOUS 19752 HAS SOUPS 19752 WITH SCORE 19792.748
AT ITER 7049 NEW BEST:: SOT 148287 SOS 40678 HAS SOPS 40678 HAS SOUS 19725 HAS SOUPS 19725 WITH SCORE 19765.678
AT ITER 7074 NEW BEST:: SOT 148287 SOS 40678 HAS SOPS 40678 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19759.678
AT ITER 7081 NEW BEST:: SOT 148270 SOS 40661 HAS SOPS 40661 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19759.661
AT ITER 7103 NEW BEST:: SOT 148261 SOS 40652 HAS SOPS 40652 HAS SOUS 19719 HAS SOUPS 19719 WITH SCORE 19759.652
AT ITER 7110 NEW BEST:: SOT 148258 SOS 40643 HAS SOPS 40643 HAS SOUS 19716 HAS SOUPS 19716 WITH SCORE 19756.643
AT ITER 7111 NEW BEST:: SOT 148258 SOS 40610 HAS SOPS 40610 HAS SOUS 19705 HAS SOUPS 19705 WITH SCORE 19745.61
AT ITER 7123 NEW BEST:: SOT 148258 SOS 40601 HAS SOPS 40601 HAS SOUS 19705 HAS SOUPS 19705 WITH SCORE 19745.601
AT ITER 7180 NEW BEST:: SOT 148255 SOS 40598 HAS SOPS 40598 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19742.598
AT ITER 7188 NEW BEST:: SOT 148250 SOS 40588 HAS SOPS 40588 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19732.588
AT ITER 7189 NEW BEST:: SOT 148232 SOS 40558 HAS SOPS 40558 HAS SOUS 19664 HAS SOUPS 19664 WITH SCORE 19704.558
AT ITER 7190 NEW BEST:: SOT 148231 SOS 40558 HAS SOPS 40558 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19702.558
AT ITER 7199 NEW BEST:: SOT 148140 SOS 40548 HAS SOPS 40548 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19671.548
AT ITER 7278 NEW BEST:: SOT 148144 SOS 40404 HAS SOPS 40404 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19671.404
AT ITER 7314 NEW BEST:: SOT 148143 SOS 40402 HAS SOPS 40402 HAS SOUS 19630 HAS SOUPS 19630 WITH SCORE 19670.402
AT ITER 7358 NEW BEST:: SOT 148150 SOS 40409 HAS SOPS 40409 HAS SOUS 19623 HAS SOUPS 19623 WITH SCORE 19663.409
AT ITER 7379 NEW BEST:: SOT 148168 SOS 40318 HAS SOPS 40318 HAS SOUS 19615 HAS SOUPS 19615 WITH SCORE 19655.318
AT ITER 7411 NEW BEST:: SOT 148172 SOS 40326 HAS SOPS 40326 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19653.326
AT ITER 7431 NEW BEST:: SOT 148171 SOS 40324 HAS SOPS 40324 HAS SOUS 19611 HAS SOUPS 19611 WITH SCORE 19651.324
AT ITER 7438 NEW BEST:: SOT 148170 SOS 40323 HAS SOPS 40323 HAS SOUS 19611 HAS SOUPS 19611 WITH SCORE 19651.323
AT ITER 7501 NEW BEST:: SOT 148137 SOS 40257 HAS SOPS 40257 HAS SOUS 19567 HAS SOUPS 19567 WITH SCORE 19607.257
AT ITER 7530 NEW BEST:: SOT 148137 SOS 40231 HAS SOPS 40231 HAS SOUS 19541 HAS SOUPS 19541 WITH SCORE 19581.231
AT ITER 7546 NEW BEST:: SOT 148140 SOS 40230 HAS SOPS 40230 HAS SOUS 19540 HAS SOUPS 19540 WITH SCORE 19580.23
AT ITER 7570 NEW BEST:: SOT 148136 SOS 40229 HAS SOPS 40229 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19579.229
AT ITER 7579 NEW BEST:: SOT 148161 SOS 40226 HAS SOPS 40226 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19576.226
AT ITER 7590 NEW BEST:: SOT 148159 SOS 40222 HAS SOPS 40222 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19576.222
AT ITER 7603 NEW BEST:: SOT 148171 SOS 40288 HAS SOPS 40288 HAS SOUS 19514 HAS SOUPS 19514 WITH SCORE 19554.288
AT ITER 7608 NEW BEST:: SOT 148176 SOS 40298 HAS SOPS 40298 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19542.298
AT ITER 7609 NEW BEST:: SOT 148088 SOS 40122 HAS SOPS 40122 HAS SOUS 19502 HAS SOUPS 19502 WITH SCORE 19542.122
AT ITER 7629 NEW BEST:: SOT 148084 SOS 40100 HAS SOPS 40100 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19540.1
AT ITER 7635 NEW BEST:: SOT 148072 SOS 40076 HAS SOPS 40076 HAS SOUS 19476 HAS SOUPS 19476 WITH SCORE 19516.076
AT ITER 7662 NEW BEST:: SOT 148106 SOS 40129 HAS SOPS 40129 HAS SOUS 19474 HAS SOUPS 19474 WITH SCORE 19514.129
AT ITER 7705 NEW BEST:: SOT 148102 SOS 40121 HAS SOPS 40121 HAS SOUS 19466 HAS SOUPS 19466 WITH SCORE 19506.121
AT ITER 7752 NEW BEST:: SOT 148059 SOS 40035 HAS SOPS 40035 HAS SOUS 19375 HAS SOUPS 19375 WITH SCORE 19415.035
AT ITER 7776 NEW BEST:: SOT 148039 SOS 39995 HAS SOPS 39995 HAS SOUS 19355 HAS SOUPS 19355 WITH SCORE 19394.995
AT ITER 7873 NEW BEST:: SOT 148030 SOS 39977 HAS SOPS 39977 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19385.977
AT ITER 7900 NEW BEST:: SOT 148024 SOS 39965 HAS SOPS 39965 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19384.965
AT ITER 7914 NEW BEST:: SOT 148027 SOS 39966 HAS SOPS 39966 HAS SOUS 19325 HAS SOUPS 19325 WITH SCORE 19364.966
AT ITER 7924 NEW BEST:: SOT 148019 SOS 39950 HAS SOPS 39950 HAS SOUS 19309 HAS SOUPS 19309 WITH SCORE 19348.95
AT ITER 7932 NEW BEST:: SOT 148005 SOS 39922 HAS SOPS 39922 HAS SOUS 19281 HAS SOUPS 19281 WITH SCORE 19320.922
AT ITER 7935 NEW BEST:: SOT 148005 SOS 39922 HAS SOPS 39922 HAS SOUS 19274 HAS SOUPS 19274 WITH SCORE 19313.922
AT ITER 7986 NEW BEST:: SOT 147997 SOS 39914 HAS SOPS 39914 HAS SOUS 19266 HAS SOUPS 19266 WITH SCORE 19305.914
AT ITER 8035 NEW BEST:: SOT 147989 SOS 39922 HAS SOPS 39922 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19302.922
AT ITER 8042 NEW BEST:: SOT 147988 SOS 39920 HAS SOPS 39920 HAS SOUS 19261 HAS SOUPS 19261 WITH SCORE 19300.92
AT ITER 8068 NEW BEST:: SOT 147982 SOS 39908 HAS SOPS 39908 HAS SOUS 19257 HAS SOUPS 19257 WITH SCORE 19296.908
AT ITER 8086 NEW BEST:: SOT 147982 SOS 39908 HAS SOPS 39908 HAS SOUS 19255 HAS SOUPS 19255 WITH SCORE 19294.908
AT ITER 8093 NEW BEST:: SOT 147978 SOS 39900 HAS SOPS 39900 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19286.9
AT ITER 8126 NEW BEST:: SOT 147977 SOS 39895 HAS SOPS 39895 HAS SOUS 19245 HAS SOUPS 19245 WITH SCORE 19284.895
AT ITER 8147 NEW BEST:: SOT 147934 SOS 39889 HAS SOPS 39889 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19278.889
AT ITER 8169 NEW BEST:: SOT 147931 SOS 39880 HAS SOPS 39880 HAS SOUS 19234 HAS SOUPS 19234 WITH SCORE 19273.88
AT ITER 8186 NEW BEST:: SOT 148005 SOS 39952 HAS SOPS 39952 HAS SOUS 19220 HAS SOUPS 19220 WITH SCORE 19259.952
AT ITER 8235 NEW BEST:: SOT 148001 SOS 39935 HAS SOPS 39935 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19251.935
AT ITER 8236 NEW BEST:: SOT 147994 SOS 39912 HAS SOPS 39912 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19244.912
AT ITER 8237 NEW BEST:: SOT 147943 SOS 39810 HAS SOPS 39810 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19244.81
AT ITER 8261 NEW BEST:: SOT 147930 SOS 39784 HAS SOPS 39784 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19244.784
AT ITER 8341 NEW BEST:: SOT 147927 SOS 39778 HAS SOPS 39778 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19242.778
AT ITER 8408 NEW BEST:: SOT 147927 SOS 39778 HAS SOPS 39778 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19234.778
AT ITER 8429 NEW BEST:: SOT 147927 SOS 39751 HAS SOPS 39751 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19234.751
AT ITER 8435 NEW BEST:: SOT 147921 SOS 39767 HAS SOPS 39767 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19229.767
AT ITER 8450 NEW BEST:: SOT 147921 SOS 39741 HAS SOPS 39741 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19229.741
AT ITER 8465 NEW BEST:: SOT 147929 SOS 39757 HAS SOPS 39757 HAS SOUS 19184 HAS SOUPS 19184 WITH SCORE 19223.757
AT ITER 8478 NEW BEST:: SOT 147914 SOS 39692 HAS SOPS 39692 HAS SOUS 19180 HAS SOUPS 19180 WITH SCORE 19219.692
AT ITER 8509 NEW BEST:: SOT 147913 SOS 39690 HAS SOPS 39690 HAS SOUS 19178 HAS SOUPS 19178 WITH SCORE 19217.69
AT ITER 8523 NEW BEST:: SOT 147888 SOS 39654 HAS SOPS 39654 HAS SOUS 19170 HAS SOUPS 19170 WITH SCORE 19209.654
AT ITER 8552 NEW BEST:: SOT 147896 SOS 39654 HAS SOPS 39654 HAS SOUS 19154 HAS SOUPS 19154 WITH SCORE 19193.654
AT ITER 8566 NEW BEST:: SOT 147896 SOS 39654 HAS SOPS 39654 HAS SOUS 19134 HAS SOUPS 19134 WITH SCORE 19173.654
AT ITER 8669 NEW BEST:: SOT 147894 SOS 39652 HAS SOPS 39652 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19171.652
AT ITER 8691 NEW BEST:: SOT 147898 SOS 39644 HAS SOPS 39644 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19171.644
AT ITER 8719 NEW BEST:: SOT 147949 SOS 38450 HAS SOPS 38450 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19170.45
AT ITER 8748 NEW BEST:: SOT 147931 SOS 38414 HAS SOPS 38414 HAS SOUS 19132 HAS SOUPS 19132 WITH SCORE 19170.414
AT ITER 8750 NEW BEST:: SOT 147921 SOS 38374 HAS SOPS 38374 HAS SOUS 19112 HAS SOUPS 19112 WITH SCORE 19150.374
AT ITER 8776 NEW BEST:: SOT 147920 SOS 38372 HAS SOPS 38372 HAS SOUS 19110 HAS SOUPS 19110 WITH SCORE 19148.372
AT ITER 8782 NEW BEST:: SOT 147920 SOS 38198 HAS SOPS 38198 HAS SOUS 19110 HAS SOUPS 19110 WITH SCORE 19148.198
AT ITER 8895 NEW BEST:: SOT 147880 SOS 38118 HAS SOPS 38118 HAS SOUS 19088 HAS SOUPS 19088 WITH SCORE 19126.118
AT ITER 8940 NEW BEST:: SOT 147878 SOS 38110 HAS SOPS 38110 HAS SOUS 19088 HAS SOUPS 19088 WITH SCORE 19126.11
AT ITER 8956 NEW BEST:: SOT 147878 SOS 38098 HAS SOPS 38098 HAS SOUS 19088 HAS SOUPS 19088 WITH SCORE 19126.098
AT ITER 8969 NEW BEST:: SOT 147877 SOS 38069 HAS SOPS 38069 HAS SOUS 19086 HAS SOUPS 19086 WITH SCORE 19124.069
AT ITER 8982 NEW BEST:: SOT 147874 SOS 38075 HAS SOPS 38075 HAS SOUS 19084 HAS SOUPS 19084 WITH SCORE 19122.075
AT ITER 9005 NEW BEST:: SOT 147872 SOS 38071 HAS SOPS 38071 HAS SOUS 19080 HAS SOUPS 19080 WITH SCORE 19118.071
AT ITER 9012 NEW BEST:: SOT 147860 SOS 38047 HAS SOPS 38047 HAS SOUS 19056 HAS SOUPS 19056 WITH SCORE 19094.047
AT ITER 9044 NEW BEST:: SOT 147843 SOS 38251 HAS SOPS 38251 HAS SOUS 19039 HAS SOUPS 19039 WITH SCORE 19077.251
AT ITER 9090 NEW BEST:: SOT 147843 SOS 38231 HAS SOPS 38231 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19076.231
AT ITER 9116 NEW BEST:: SOT 147848 SOS 38255 HAS SOPS 38255 HAS SOUS 19028 HAS SOUPS 19028 WITH SCORE 19066.255
AT ITER 9150 NEW BEST:: SOT 147848 SOS 38255 HAS SOPS 38255 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19048.255
AT ITER 9158 NEW BEST:: SOT 147789 SOS 38196 HAS SOPS 38196 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19048.196
AT ITER 9165 NEW BEST:: SOT 147786 SOS 38193 HAS SOPS 38193 HAS SOUS 19007 HAS SOUPS 19007 WITH SCORE 19045.193
AT ITER 9186 NEW BEST:: SOT 147786 SOS 38193 HAS SOPS 38193 HAS SOUS 19006 HAS SOUPS 19006 WITH SCORE 19044.193
AT ITER 9259 NEW BEST:: SOT 147785 SOS 38191 HAS SOPS 38191 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19042.191
AT ITER 9278 NEW BEST:: SOT 147791 SOS 38179 HAS SOPS 38179 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19042.179
AT ITER 9326 NEW BEST:: SOT 147712 SOS 38100 HAS SOPS 38100 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19042.1
AT ITER 9327 NEW BEST:: SOT 147686 SOS 38088 HAS SOPS 38088 HAS SOUS 18992 HAS SOUPS 18992 WITH SCORE 19030.088
AT ITER 9342 NEW BEST:: SOT 147686 SOS 38102 HAS SOPS 38102 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19016.102
AT ITER 9360 NEW BEST:: SOT 147686 SOS 38095 HAS SOPS 38095 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19016.095
AT ITER 9467 NEW BEST:: SOT 147686 SOS 38095 HAS SOPS 38095 HAS SOUS 18976 HAS SOUPS 18976 WITH SCORE 19014.095
AT ITER 9470 NEW BEST:: SOT 147688 SOS 38097 HAS SOPS 38097 HAS SOUS 18974 HAS SOUPS 18974 WITH SCORE 19012.097
AT ITER 9483 NEW BEST:: SOT 147688 SOS 38087 HAS SOPS 38087 HAS SOUS 18964 HAS SOUPS 18964 WITH SCORE 19002.087
AT ITER 9504 NEW BEST:: SOT 147704 SOS 38101 HAS SOPS 38101 HAS SOUS 18960 HAS SOUPS 18960 WITH SCORE 18998.101
AT ITER 9505 NEW BEST:: SOT 147655 SOS 37915 HAS SOPS 37915 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18948.915
AT ITER 9553 NEW BEST:: SOT 147651 SOS 37915 HAS SOPS 37915 HAS SOUS 18907 HAS SOUPS 18907 WITH SCORE 18944.915
AT ITER 9562 NEW BEST:: SOT 147650 SOS 37914 HAS SOPS 37914 HAS SOUS 18905 HAS SOUPS 18905 WITH SCORE 18942.914
AT ITER 9571 NEW BEST:: SOT 147648 SOS 37910 HAS SOPS 37910 HAS SOUS 18901 HAS SOUPS 18901 WITH SCORE 18938.91
AT ITER 9627 NEW BEST:: SOT 147653 SOS 37910 HAS SOPS 37910 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18929.91
AT ITER 9680 NEW BEST:: SOT 147653 SOS 37881 HAS SOPS 37881 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18900.881
AT ITER 9698 NEW BEST:: SOT 147628 SOS 37831 HAS SOPS 37831 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18858.831
AT ITER 9752 NEW BEST:: SOT 147626 SOS 37827 HAS SOPS 37827 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18854.827
AT ITER 9796 NEW BEST:: SOT 147641 SOS 37587 HAS SOPS 37587 HAS SOUS 18802 HAS SOUPS 18802 WITH SCORE 18839.587
AT ITER 9892 NEW BEST:: SOT 147620 SOS 37545 HAS SOPS 37545 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18797.545
AT ITER 9905 NEW BEST:: SOT 147627 SOS 37559 HAS SOPS 37559 HAS SOUS 18757 HAS SOUPS 18757 WITH SCORE 18794.559
AT ITER 9979 NEW BEST:: SOT 147626 SOS 37557 HAS SOPS 37557 HAS SOUS 18755 HAS SOUPS 18755 WITH SCORE 18792.557
AT ITER 9989 NEW BEST:: SOT 147626 SOS 37558 HAS SOPS 37558 HAS SOUS 18754 HAS SOUPS 18754 WITH SCORE 18791.558
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 1049016 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154336 kB

BK_TIME_CONFINEMENT_REACHED

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

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="HealthRecord-PT-16"
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"
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 smart"
echo " Input is HealthRecord-PT-16, 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 r195-smll-167840342300360"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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