Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354900523.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S06J04T08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354900523
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 6.9K Apr 12 05:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 12 05:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 57K Apr 11 05:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 193K Apr 11 05:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 15K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Apr 10 12:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 54K Apr 10 12:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 252K Apr 9 18:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 796K Apr 9 18:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 19M Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S06J04T08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646119161

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J04T08
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 810 places, 14014 transitions, 118428 arcs.
AT ITER 0 NEW BEST:: SOT 7044553 SOS 4422184 HAS SOPS 4400850 HAS SOUS 771131 HAS SOUPS 770259 WITH SCORE 774681.184
AT ITER 3 NEW BEST:: SOT 7044505 SOS 4422136 HAS SOPS 4400802 HAS SOUS 771170 HAS SOUPS 770259 WITH SCORE 774681.136
AT ITER 13 NEW BEST:: SOT 7044367 SOS 4421968 HAS SOPS 4400634 HAS SOUS 770995 HAS SOUPS 770084 WITH SCORE 774505.968
AT ITER 17 NEW BEST:: SOT 7044367 SOS 4421934 HAS SOPS 4400600 HAS SOUS 770961 HAS SOUPS 770050 WITH SCORE 774471.934
AT ITER 19 NEW BEST:: SOT 7043508 SOS 4421259 HAS SOPS 4399925 HAS SOUS 770278 HAS SOUPS 769367 WITH SCORE 773788.259
AT ITER 28 NEW BEST:: SOT 7043515 SOS 4421208 HAS SOPS 4399874 HAS SOUS 770227 HAS SOUPS 769316 WITH SCORE 773737.208
AT ITER 57 NEW BEST:: SOT 7043509 SOS 4421202 HAS SOPS 4399860 HAS SOUS 770173 HAS SOUPS 769260 WITH SCORE 773681.202
AT ITER 70 NEW BEST:: SOT 7043491 SOS 4421170 HAS SOPS 4399828 HAS SOUS 770141 HAS SOUPS 769228 WITH SCORE 773649.17
AT ITER 76 NEW BEST:: SOT 7043491 SOS 4421418 HAS SOPS 4400076 HAS SOUS 770118 HAS SOUPS 769205 WITH SCORE 773626.418
AT ITER 77 NEW BEST:: SOT 7043056 SOS 4421146 HAS SOPS 4399804 HAS SOUS 769469 HAS SOUPS 768556 WITH SCORE 772977.146
AT ITER 78 NEW BEST:: SOT 7042554 SOS 4420617 HAS SOPS 4399272 HAS SOUS 768785 HAS SOUPS 767872 WITH SCORE 772292.617
AT ITER 80 NEW BEST:: SOT 7042528 SOS 4420591 HAS SOPS 4399256 HAS SOUS 768779 HAS SOUPS 767866 WITH SCORE 772286.591
AT ITER 94 NEW BEST:: SOT 7042480 SOS 4420543 HAS SOPS 4399060 HAS SOUS 768646 HAS SOUPS 767718 WITH SCORE 772138.543
AT ITER 101 NEW BEST:: SOT 7042480 SOS 4422319 HAS SOPS 4400836 HAS SOUS 768334 HAS SOUPS 767406 WITH SCORE 771828.319
AT ITER 102 NEW BEST:: SOT 7042100 SOS 4421861 HAS SOPS 4400378 HAS SOUS 767876 HAS SOUPS 766948 WITH SCORE 771369.861
AT ITER 110 NEW BEST:: SOT 7041692 SOS 4421181 HAS SOPS 4399698 HAS SOUS 767348 HAS SOUPS 766420 WITH SCORE 770841.181
AT ITER 111 NEW BEST:: SOT 7041664 SOS 4421153 HAS SOPS 4399656 HAS SOUS 767334 HAS SOUPS 766406 WITH SCORE 770827.153
AT ITER 114 NEW BEST:: SOT 7040844 SOS 4420642 HAS SOPS 4399145 HAS SOUS 767015 HAS SOUPS 766087 WITH SCORE 770507.642
AT ITER 117 NEW BEST:: SOT 7040688 SOS 4420328 HAS SOPS 4398831 HAS SOUS 766742 HAS SOUPS 765814 WITH SCORE 770234.328
AT ITER 119 NEW BEST:: SOT 7040267 SOS 4419769 HAS SOPS 4398272 HAS SOUS 766183 HAS SOUPS 765255 WITH SCORE 769674.769
AT ITER 122 NEW BEST:: SOT 7039964 SOS 4419046 HAS SOPS 4397989 HAS SOUS 765911 HAS SOUPS 765038 WITH SCORE 769457.046
AT ITER 130 NEW BEST:: SOT 7039996 SOS 4419030 HAS SOPS 4397973 HAS SOUS 765895 HAS SOUPS 765022 WITH SCORE 769441.03
AT ITER 131 NEW BEST:: SOT 7018785 SOS 4410942 HAS SOPS 4403213 HAS SOUS 747354 HAS SOUPS 746757 WITH SCORE 751167.942
AT ITER 147 NEW BEST:: SOT 7018395 SOS 4410575 HAS SOPS 4402846 HAS SOUS 747111 HAS SOUPS 746514 WITH SCORE 750924.575
AT ITER 160 NEW BEST:: SOT 7018395 SOS 4410575 HAS SOPS 4402846 HAS SOUS 747103 HAS SOUPS 746506 WITH SCORE 750916.575
AT ITER 162 NEW BEST:: SOT 7017951 SOS 4410131 HAS SOPS 4402402 HAS SOUS 746733 HAS SOUPS 746136 WITH SCORE 750546.131
AT ITER 171 NEW BEST:: SOT 7017511 SOS 4409714 HAS SOPS 4401985 HAS SOUS 746542 HAS SOUPS 745945 WITH SCORE 750354.714
AT ITER 172 NEW BEST:: SOT 7015568 SOS 4407965 HAS SOPS 4400236 HAS SOUS 746323 HAS SOUPS 745726 WITH SCORE 750133.965
AT ITER 176 NEW BEST:: SOT 7015558 SOS 4407955 HAS SOPS 4400226 HAS SOUS 746303 HAS SOUPS 745706 WITH SCORE 750113.955
AT ITER 185 NEW BEST:: SOT 7015723 SOS 4408419 HAS SOPS 4400811 HAS SOUS 746194 HAS SOUPS 745597 WITH SCORE 750005.419
AT ITER 188 NEW BEST:: SOT 7015894 SOS 4408916 HAS SOPS 4401441 HAS SOUS 744954 HAS SOUPS 744357 WITH SCORE 748765.916
AT ITER 191 NEW BEST:: SOT 7015507 SOS 4408271 HAS SOPS 4400796 HAS SOUS 743697 HAS SOUPS 743100 WITH SCORE 747508.271
AT ITER 195 NEW BEST:: SOT 7015087 SOS 4407978 HAS SOPS 4400503 HAS SOUS 742463 HAS SOUPS 741866 WITH SCORE 746273.978
AT ITER 196 NEW BEST:: SOT 7016230 SOS 4409437 HAS SOPS 4401962 HAS SOUS 742324 HAS SOUPS 741727 WITH SCORE 746136.437
AT ITER 197 NEW BEST:: SOT 7016225 SOS 4409433 HAS SOPS 4401958 HAS SOUS 741946 HAS SOUPS 741349 WITH SCORE 745758.433
AT ITER 201 NEW BEST:: SOT 7016225 SOS 4409249 HAS SOPS 4401774 HAS SOUS 741946 HAS SOUPS 741349 WITH SCORE 745758.249
AT ITER 202 NEW BEST:: SOT 6996036 SOS 4389047 HAS SOPS 4381572 HAS SOUS 739242 HAS SOUPS 738645 WITH SCORE 743034.047
AT ITER 204 NEW BEST:: SOT 6995736 SOS 4388699 HAS SOPS 4381224 HAS SOUS 738987 HAS SOUPS 738390 WITH SCORE 742778.699
AT ITER 208 NEW BEST:: SOT 6995596 SOS 4388351 HAS SOPS 4380876 HAS SOUS 738934 HAS SOUPS 738337 WITH SCORE 742725.351
AT ITER 238 NEW BEST:: SOT 6995415 SOS 4388194 HAS SOPS 4380719 HAS SOUS 738870 HAS SOUPS 738273 WITH SCORE 742661.194
AT ITER 242 NEW BEST:: SOT 6995094 SOS 4387884 HAS SOPS 4380409 HAS SOUS 738359 HAS SOUPS 737762 WITH SCORE 742149.884
AT ITER 243 NEW BEST:: SOT 6994760 SOS 4387550 HAS SOPS 4380075 HAS SOUS 737731 HAS SOUPS 737134 WITH SCORE 741521.55
AT ITER 252 NEW BEST:: SOT 6994820 SOS 4387610 HAS SOPS 4380087 HAS SOUS 737713 HAS SOUPS 737104 WITH SCORE 741491.61
AT ITER 254 NEW BEST:: SOT 6994309 SOS 4387229 HAS SOPS 4379706 HAS SOUS 737311 HAS SOUPS 736702 WITH SCORE 741089.229
AT ITER 277 NEW BEST:: SOT 6994291 SOS 4387211 HAS SOPS 4379692 HAS SOUS 737299 HAS SOUPS 736691 WITH SCORE 741078.211
AT ITER 281 NEW BEST:: SOT 6994355 SOS 4387787 HAS SOPS 4380268 HAS SOUS 736841 HAS SOUPS 736233 WITH SCORE 740620.787
AT ITER 288 NEW BEST:: SOT 6994355 SOS 4388063 HAS SOPS 4380541 HAS SOUS 736839 HAS SOUPS 736231 WITH SCORE 740619.063
AT ITER 304 NEW BEST:: SOT 6994263 SOS 4387939 HAS SOPS 4380391 HAS SOUS 736643 HAS SOUPS 736012 WITH SCORE 740399.939
AT ITER 309 NEW BEST:: SOT 6994220 SOS 4387896 HAS SOPS 4380348 HAS SOUS 736600 HAS SOUPS 735969 WITH SCORE 740356.896
AT ITER 318 NEW BEST:: SOT 6849977 SOS 4243707 HAS SOPS 4236159 HAS SOUS 717535 HAS SOUPS 716904 WITH SCORE 721147.707
AT ITER 319 NEW BEST:: SOT 6849701 SOS 4243431 HAS SOPS 4235883 HAS SOUS 717301 HAS SOUPS 716670 WITH SCORE 720913.431
AT ITER 320 NEW BEST:: SOT 6849606 SOS 4243344 HAS SOPS 4235796 HAS SOUS 717179 HAS SOUPS 716548 WITH SCORE 720791.344
AT ITER 331 NEW BEST:: SOT 6849411 SOS 4242876 HAS SOPS 4235640 HAS SOUS 713424 HAS SOUPS 712832 WITH SCORE 717074.876
AT ITER 339 NEW BEST:: SOT 6849380 SOS 4242845 HAS SOPS 4235578 HAS SOUS 713362 HAS SOUPS 712770 WITH SCORE 717012.845
AT ITER 344 NEW BEST:: SOT 6849073 SOS 4242538 HAS SOPS 4235271 HAS SOUS 712660 HAS SOUPS 712068 WITH SCORE 716310.538
AT ITER 347 NEW BEST:: SOT 6847291 SOS 4240833 HAS SOPS 4233566 HAS SOUS 711301 HAS SOUPS 710709 WITH SCORE 714949.833
AT ITER 351 NEW BEST:: SOT 6847206 SOS 4240748 HAS SOPS 4233481 HAS SOUS 710973 HAS SOUPS 710381 WITH SCORE 714621.748
AT ITER 352 NEW BEST:: SOT 6845490 SOS 4239051 HAS SOPS 4231747 HAS SOUS 709238 HAS SOUPS 708609 WITH SCORE 712848.051
AT ITER 353 NEW BEST:: SOT 6845539 SOS 4239100 HAS SOPS 4231748 HAS SOUS 709142 HAS SOUPS 708513 WITH SCORE 712752.1
AT ITER 354 NEW BEST:: SOT 6845491 SOS 4239052 HAS SOPS 4231652 HAS SOUS 709008 HAS SOUPS 708362 WITH SCORE 712601.052
AT ITER 361 NEW BEST:: SOT 6845217 SOS 4238912 HAS SOPS 4231512 HAS SOUS 708219 HAS SOUPS 707573 WITH SCORE 711811.912
AT ITER 367 NEW BEST:: SOT 6844915 SOS 4238183 HAS SOPS 4231231 HAS SOUS 705092 HAS SOUPS 704502 WITH SCORE 708740.183
AT ITER 371 NEW BEST:: SOT 6844069 SOS 4237562 HAS SOPS 4230610 HAS SOUS 703597 HAS SOUPS 703007 WITH SCORE 707244.562
AT ITER 373 NEW BEST:: SOT 6843609 SOS 4237102 HAS SOPS 4230140 HAS SOUS 703137 HAS SOUPS 702537 WITH SCORE 706774.102
AT ITER 376 NEW BEST:: SOT 6843609 SOS 4237302 HAS SOPS 4230340 HAS SOUS 702558 HAS SOUPS 701958 WITH SCORE 706195.302
AT ITER 380 NEW BEST:: SOT 6843588 SOS 4237281 HAS SOPS 4230298 HAS SOUS 702516 HAS SOUPS 701916 WITH SCORE 706153.281
AT ITER 401 NEW BEST:: SOT 6843302 SOS 4236712 HAS SOPS 4229823 HAS SOUS 702245 HAS SOUPS 701645 WITH SCORE 705881.712
AT ITER 404 NEW BEST:: SOT 6843286 SOS 4236696 HAS SOPS 4229807 HAS SOUS 702229 HAS SOUPS 701629 WITH SCORE 705865.696
AT ITER 405 NEW BEST:: SOT 6842876 SOS 4236395 HAS SOPS 4229506 HAS SOUS 701256 HAS SOUPS 700656 WITH SCORE 704892.395
AT ITER 406 NEW BEST:: SOT 6842882 SOS 4240190 HAS SOPS 4231789 HAS SOUS 700199 HAS SOUPS 699410 WITH SCORE 703650.19
AT ITER 417 NEW BEST:: SOT 6842880 SOS 4240188 HAS SOPS 4231739 HAS SOUS 700038 HAS SOUPS 699249 WITH SCORE 703489.188
AT ITER 423 NEW BEST:: SOT 6842090 SOS 4239597 HAS SOPS 4231148 HAS SOUS 699371 HAS SOUPS 698582 WITH SCORE 702821.597
AT ITER 429 NEW BEST:: SOT 6616602 SOS 4228984 HAS SOPS 4220535 HAS SOUS 670288 HAS SOUPS 669499 WITH SCORE 673727.984
AT ITER 437 NEW BEST:: SOT 6616089 SOS 4228725 HAS SOPS 4220276 HAS SOUS 669989 HAS SOUPS 669200 WITH SCORE 673428.725
AT ITER 444 NEW BEST:: SOT 6615789 SOS 4228377 HAS SOPS 4219928 HAS SOUS 669734 HAS SOUPS 668945 WITH SCORE 673173.377
AT ITER 448 NEW BEST:: SOT 6614450 SOS 4227127 HAS SOPS 4218678 HAS SOUS 668578 HAS SOUPS 667789 WITH SCORE 672016.127
AT ITER 459 NEW BEST:: SOT 6614353 SOS 4227030 HAS SOPS 4218484 HAS SOUS 668531 HAS SOUPS 667644 WITH SCORE 671871.03
AT ITER 462 NEW BEST:: SOT 6614041 SOS 4226836 HAS SOPS 4218290 HAS SOUS 666353 HAS SOUPS 665466 WITH SCORE 669692.836
AT ITER 468 NEW BEST:: SOT 6624518 SOS 4237697 HAS SOPS 4229151 HAS SOUS 662879 HAS SOUPS 661992 WITH SCORE 666229.697
AT ITER 470 NEW BEST:: SOT 6624548 SOS 4237808 HAS SOPS 4229262 HAS SOUS 662828 HAS SOUPS 661941 WITH SCORE 666178.808
AT ITER 475 NEW BEST:: SOT 6624606 SOS 4237866 HAS SOPS 4229268 HAS SOUS 662801 HAS SOUPS 661902 WITH SCORE 666139.866
AT ITER 477 NEW BEST:: SOT 6624594 SOS 4237826 HAS SOPS 4229228 HAS SOUS 662736 HAS SOUPS 661837 WITH SCORE 666074.826
AT ITER 478 NEW BEST:: SOT 6623878 SOS 4237285 HAS SOPS 4228687 HAS SOUS 661996 HAS SOUPS 661097 WITH SCORE 665334.285
AT ITER 488 NEW BEST:: SOT 6623447 SOS 4236944 HAS SOPS 4228346 HAS SOUS 660996 HAS SOUPS 660097 WITH SCORE 664333.944
AT ITER 494 NEW BEST:: SOT 6623037 SOS 4236452 HAS SOPS 4227854 HAS SOUS 660094 HAS SOUPS 659195 WITH SCORE 663431.452
AT ITER 505 NEW BEST:: SOT 6622861 SOS 4236403 HAS SOPS 4227805 HAS SOUS 659623 HAS SOUPS 658724 WITH SCORE 662960.403
AT ITER 507 NEW BEST:: SOT 6622561 SOS 4235953 HAS SOPS 4227355 HAS SOUS 659248 HAS SOUPS 658349 WITH SCORE 662584.953
AT ITER 508 NEW BEST:: SOT 6622913 SOS 4236089 HAS SOPS 4227723 HAS SOUS 657212 HAS SOUPS 656342 WITH SCORE 660578.089
AT ITER 519 NEW BEST:: SOT 6379808 SOS 4164271 HAS SOPS 4155905 HAS SOUS 625467 HAS SOUPS 624597 WITH SCORE 628761.271
AT ITER 530 NEW BEST:: SOT 6379877 SOS 4164340 HAS SOPS 4155926 HAS SOUS 625282 HAS SOUPS 624412 WITH SCORE 628576.34
AT ITER 531 NEW BEST:: SOT 6379520 SOS 4164164 HAS SOPS 4155750 HAS SOUS 625133 HAS SOUPS 624263 WITH SCORE 628427.164
AT ITER 545 NEW BEST:: SOT 6380686 SOS 4165387 HAS SOPS 4156973 HAS SOUS 624857 HAS SOUPS 623987 WITH SCORE 628152.387
AT ITER 549 NEW BEST:: SOT 6380745 SOS 4165540 HAS SOPS 4157126 HAS SOUS 624519 HAS SOUPS 623649 WITH SCORE 627814.54
AT ITER 560 NEW BEST:: SOT 6380777 SOS 4165572 HAS SOPS 4157110 HAS SOUS 624421 HAS SOUPS 623551 WITH SCORE 627716.572
AT ITER 566 NEW BEST:: SOT 6380540 SOS 4165364 HAS SOPS 4156902 HAS SOUS 624255 HAS SOUPS 623385 WITH SCORE 627550.364
AT ITER 568 NEW BEST:: SOT 6380596 SOS 4165498 HAS SOPS 4157036 HAS SOUS 624119 HAS SOUPS 623249 WITH SCORE 627414.498
AT ITER 577 NEW BEST:: SOT 6283069 SOS 4068122 HAS SOPS 4059660 HAS SOUS 608877 HAS SOUPS 608007 WITH SCORE 612075.122
AT ITER 578 NEW BEST:: SOT 6283072 SOS 4067976 HAS SOPS 4059514 HAS SOUS 608748 HAS SOUPS 607878 WITH SCORE 611945.976
AT ITER 586 NEW BEST:: SOT 6282743 SOS 4067689 HAS SOPS 4059227 HAS SOUS 608411 HAS SOUPS 607541 WITH SCORE 611608.689
AT ITER 591 NEW BEST:: SOT 6282713 SOS 4067652 HAS SOPS 4059190 HAS SOUS 608395 HAS SOUPS 607525 WITH SCORE 611592.652
AT ITER 602 NEW BEST:: SOT 6282793 SOS 4058541 HAS SOPS 4042732 HAS SOUS 608566 HAS SOUPS 607523 WITH SCORE 611581.541
AT ITER 604 NEW BEST:: SOT 6282793 SOS 4058586 HAS SOPS 4042777 HAS SOUS 608560 HAS SOUPS 607517 WITH SCORE 611575.586
AT ITER 607 NEW BEST:: SOT 6282589 SOS 4058382 HAS SOPS 4042573 HAS SOUS 608150 HAS SOUPS 607107 WITH SCORE 611165.382
AT ITER 612 NEW BEST:: SOT 6282573 SOS 4058356 HAS SOPS 4042547 HAS SOUS 608115 HAS SOUPS 607072 WITH SCORE 611130.356
AT ITER 618 NEW BEST:: SOT 6027664 SOS 3861230 HAS SOPS 3845421 HAS SOUS 572427 HAS SOUPS 571384 WITH SCORE 575245.23
AT ITER 620 NEW BEST:: SOT 6027605 SOS 3860915 HAS SOPS 3845106 HAS SOUS 572309 HAS SOUPS 571266 WITH SCORE 575126.915
AT ITER 631 NEW BEST:: SOT 6027185 SOS 3860085 HAS SOPS 3844276 HAS SOUS 571686 HAS SOUPS 570643 WITH SCORE 574503.085
AT ITER 632 NEW BEST:: SOT 6026949 SOS 3859849 HAS SOPS 3844040 HAS SOUS 571279 HAS SOUPS 570236 WITH SCORE 574095.849
AT ITER 658 NEW BEST:: SOT 6027133 SOS 3860033 HAS SOPS 3844224 HAS SOUS 570098 HAS SOUPS 569055 WITH SCORE 572915.033
AT ITER 665 NEW BEST:: SOT 6027178 SOS 3860238 HAS SOPS 3844429 HAS SOUS 569459 HAS SOUPS 568416 WITH SCORE 572276.238
AT ITER 675 NEW BEST:: SOT 6027138 SOS 3860224 HAS SOPS 3844415 HAS SOUS 569419 HAS SOUPS 568376 WITH SCORE 572236.224
AT ITER 685 NEW BEST:: SOT 6027136 SOS 3860222 HAS SOPS 3844411 HAS SOUS 569415 HAS SOUPS 568372 WITH SCORE 572232.222
AT ITER 695 NEW BEST:: SOT 6026469 SOS 3859811 HAS SOPS 3844000 HAS SOUS 569289 HAS SOUPS 568246 WITH SCORE 572105.811
AT ITER 697 NEW BEST:: SOT 6027179 SOS 3861001 HAS SOPS 3845190 HAS SOUS 568612 HAS SOUPS 567569 WITH SCORE 571430.001
AT ITER 705 NEW BEST:: SOT 6027116 SOS 3860812 HAS SOPS 3845001 HAS SOUS 568483 HAS SOUPS 567440 WITH SCORE 571300.812
AT ITER 715 NEW BEST:: SOT 6027076 SOS 3860953 HAS SOPS 3845157 HAS SOUS 568446 HAS SOUPS 567403 WITH SCORE 571263.953
AT ITER 716 NEW BEST:: SOT 6024205 SOS 3858480 HAS SOPS 3842286 HAS SOUS 565665 HAS SOUPS 564532 WITH SCORE 568390.48
AT ITER 717 NEW BEST:: SOT 6024205 SOS 3838278 HAS SOPS 3822084 HAS SOUS 565665 HAS SOUPS 564532 WITH SCORE 568370.278
AT ITER 721 NEW BEST:: SOT 6023777 SOS 3837290 HAS SOPS 3821096 HAS SOUS 565354 HAS SOUPS 564221 WITH SCORE 568058.29
AT ITER 725 NEW BEST:: SOT 6023723 SOS 3837207 HAS SOPS 3821013 HAS SOUS 565246 HAS SOUPS 564113 WITH SCORE 567950.207
AT ITER 731 NEW BEST:: SOT 6023975 SOS 3837459 HAS SOPS 3821448 HAS SOUS 565122 HAS SOUPS 563989 WITH SCORE 567826.459
AT ITER 741 NEW BEST:: SOT 6023948 SOS 3837432 HAS SOPS 3821421 HAS SOUS 565095 HAS SOUPS 563962 WITH SCORE 567799.432
AT ITER 784 NEW BEST:: SOT 6023542 SOS 3837075 HAS SOPS 3821064 HAS SOUS 564811 HAS SOUPS 563678 WITH SCORE 567515.075
AT ITER 794 NEW BEST:: SOT 6024058 SOS 3837900 HAS SOPS 3821889 HAS SOUS 564076 HAS SOUPS 562943 WITH SCORE 566780.9
AT ITER 805 NEW BEST:: SOT 6023994 SOS 3838059 HAS SOPS 3822048 HAS SOUS 563541 HAS SOUPS 562408 WITH SCORE 566246.059
AT ITER 808 NEW BEST:: SOT 6023903 SOS 3838002 HAS SOPS 3821991 HAS SOUS 563440 HAS SOUPS 562307 WITH SCORE 566145.002
AT ITER 810 NEW BEST:: SOT 6022473 SOS 3836525 HAS SOPS 3820514 HAS SOUS 562010 HAS SOUPS 560877 WITH SCORE 564713.525
AT ITER 823 NEW BEST:: SOT 6022353 SOS 3836297 HAS SOPS 3820286 HAS SOUS 561795 HAS SOUPS 560662 WITH SCORE 564498.297
AT ITER 824 NEW BEST:: SOT 6022306 SOS 3836203 HAS SOPS 3820192 HAS SOUS 561629 HAS SOUPS 560496 WITH SCORE 564332.203
AT ITER 829 NEW BEST:: SOT 6022270 SOS 3836167 HAS SOPS 3820156 HAS SOUS 561521 HAS SOUPS 560388 WITH SCORE 564224.167
AT ITER 830 NEW BEST:: SOT 6022384 SOS 3836737 HAS SOPS 3820726 HAS SOUS 556981 HAS SOUPS 555848 WITH SCORE 559684.737
AT ITER 841 NEW BEST:: SOT 6021433 SOS 3835786 HAS SOPS 3819775 HAS SOUS 556125 HAS SOUPS 554992 WITH SCORE 558827.786
AT ITER 850 NEW BEST:: SOT 6021505 SOS 3836331 HAS SOPS 3820366 HAS SOUS 556052 HAS SOUPS 554919 WITH SCORE 558755.331
AT ITER 852 NEW BEST:: SOT 5862416 SOS 3716413 HAS SOPS 3700448 HAS SOUS 534056 HAS SOUPS 532923 WITH SCORE 536639.413
AT ITER 860 NEW BEST:: SOT 5585444 SOS 3439738 HAS SOPS 3423773 HAS SOUS 494560 HAS SOUPS 493427 WITH SCORE 496866.738
AT ITER 875 NEW BEST:: SOT 5585421 SOS 3439715 HAS SOPS 3423740 HAS SOUS 494544 HAS SOUPS 493411 WITH SCORE 496850.715
AT ITER 876 NEW BEST:: SOT 5507001 SOS 3363617 HAS SOPS 3347642 HAS SOUS 484996 HAS SOUPS 483863 WITH SCORE 487226.617
AT ITER 891 NEW BEST:: SOT 5507167 SOS 3363543 HAS SOPS 3347808 HAS SOUS 481848 HAS SOUPS 480745 WITH SCORE 484108.543
AT ITER 899 NEW BEST:: SOT 5507117 SOS 3363493 HAS SOPS 3347748 HAS SOUS 481788 HAS SOUPS 480685 WITH SCORE 484048.493
AT ITER 908 NEW BEST:: SOT 5508584 SOS 3365186 HAS SOPS 3349441 HAS SOUS 481558 HAS SOUPS 480455 WITH SCORE 483820.186
AT ITER 913 NEW BEST:: SOT 5480195 SOS 3336797 HAS SOPS 3321052 HAS SOUS 479129 HAS SOUPS 478026 WITH SCORE 481362.797
AT ITER 920 NEW BEST:: SOT 5480134 SOS 3336774 HAS SOPS 3321029 HAS SOUS 478324 HAS SOUPS 477221 WITH SCORE 480557.774
AT ITER 922 NEW BEST:: SOT 5335181 SOS 3191821 HAS SOPS 3176076 HAS SOUS 462713 HAS SOUPS 461610 WITH SCORE 464801.821
AT ITER 923 NEW BEST:: SOT 5335165 SOS 3191813 HAS SOPS 3176068 HAS SOUS 462689 HAS SOUPS 461586 WITH SCORE 464777.813
AT ITER 925 NEW BEST:: SOT 5335158 SOS 3191806 HAS SOPS 3176058 HAS SOUS 462674 HAS SOUPS 461569 WITH SCORE 464760.806
AT ITER 928 NEW BEST:: SOT 5335013 SOS 3191661 HAS SOPS 3175913 HAS SOUS 462623 HAS SOUPS 461518 WITH SCORE 464709.661
AT ITER 938 NEW BEST:: SOT 5334598 SOS 3191341 HAS SOPS 3175593 HAS SOUS 461923 HAS SOUPS 460818 WITH SCORE 464009.341
AT ITER 953 NEW BEST:: SOT 5334598 SOS 3109191 HAS SOPS 3093443 HAS SOUS 461923 HAS SOUPS 460818 WITH SCORE 463927.191
AT ITER 955 NEW BEST:: SOT 5334481 SOS 3109074 HAS SOPS 3093323 HAS SOUS 461710 HAS SOUPS 460605 WITH SCORE 463714.074
AT ITER 956 NEW BEST:: SOT 5334185 SOS 3108892 HAS SOPS 3093141 HAS SOUS 461414 HAS SOUPS 460309 WITH SCORE 463417.892
AT ITER 961 NEW BEST:: SOT 5334159 SOS 3108866 HAS SOPS 3093089 HAS SOUS 461401 HAS SOUPS 460270 WITH SCORE 463378.866
AT ITER 966 NEW BEST:: SOT 5334159 SOS 3108894 HAS SOPS 3093131 HAS SOUS 461387 HAS SOUPS 460256 WITH SCORE 463364.894
AT ITER 967 NEW BEST:: SOT 5334159 SOS 3108874 HAS SOPS 3093111 HAS SOUS 461307 HAS SOUPS 460176 WITH SCORE 463284.874
AT ITER 974 NEW BEST:: SOT 5334064 SOS 3108464 HAS SOPS 3092701 HAS SOUS 460897 HAS SOUPS 459766 WITH SCORE 462874.464
AT ITER 977 NEW BEST:: SOT 5325940 SOS 3173505 HAS SOPS 3157742 HAS SOUS 460817 HAS SOUPS 459686 WITH SCORE 462859.505
AT ITER 979 NEW BEST:: SOT 5067579 SOS 3145588 HAS SOPS 3129825 HAS SOUS 427345 HAS SOUPS 426214 WITH SCORE 429359.588
AT ITER 999 NEW BEST:: SOT 5067477 SOS 3145452 HAS SOPS 3129689 HAS SOUS 427243 HAS SOUPS 426112 WITH SCORE 429257.452
AT ITER 1004 NEW BEST:: SOT 5066970 SOS 3144737 HAS SOPS 3128974 HAS SOUS 426814 HAS SOUPS 425683 WITH SCORE 428827.737
AT ITER 1021 NEW BEST:: SOT 5067041 SOS 3144664 HAS SOPS 3128901 HAS SOUS 426741 HAS SOUPS 425610 WITH SCORE 428754.664
AT ITER 1022 NEW BEST:: SOT 5066957 SOS 3144552 HAS SOPS 3128789 HAS SOUS 426629 HAS SOUPS 425498 WITH SCORE 428642.552
AT ITER 1024 NEW BEST:: SOT 5066965 SOS 3144592 HAS SOPS 3128829 HAS SOUS 426613 HAS SOUPS 425482 WITH SCORE 428626.592
AT ITER 1038 NEW BEST:: SOT 5066960 SOS 3144587 HAS SOPS 3128819 HAS SOUS 426598 HAS SOUPS 425467 WITH SCORE 428611.587
AT ITER 1040 NEW BEST:: SOT 5019782 SOS 3097409 HAS SOPS 3081641 HAS SOUS 421208 HAS SOUPS 420077 WITH SCORE 423174.409
AT ITER 1044 NEW BEST:: SOT 5020537 SOS 3098251 HAS SOPS 3082483 HAS SOUS 421184 HAS SOUPS 420053 WITH SCORE 423151.251
AT ITER 1047 NEW BEST:: SOT 5020508 SOS 3098277 HAS SOPS 3082509 HAS SOUS 421148 HAS SOUPS 420017 WITH SCORE 423115.277
AT ITER 1053 NEW BEST:: SOT 5020594 SOS 3098363 HAS SOPS 3082547 HAS SOUS 421059 HAS SOUPS 419928 WITH SCORE 423026.363
AT ITER 1069 NEW BEST:: SOT 5020307 SOS 3097834 HAS SOPS 3082018 HAS SOUS 420881 HAS SOUPS 419750 WITH SCORE 422847.834
AT ITER 1070 NEW BEST:: SOT 5019155 SOS 3096682 HAS SOPS 3080866 HAS SOUS 419729 HAS SOUPS 418598 WITH SCORE 421694.682
AT ITER 1080 NEW BEST:: SOT 5019395 SOS 3097177 HAS SOPS 3081361 HAS SOUS 419386 HAS SOUPS 418255 WITH SCORE 421352.177
AT ITER 1086 NEW BEST:: SOT 5019525 SOS 3098976 HAS SOPS 3083160 HAS SOUS 419158 HAS SOUPS 418027 WITH SCORE 421125.976
AT ITER 1088 NEW BEST:: SOT 5019511 SOS 3098962 HAS SOPS 3083146 HAS SOUS 419144 HAS SOUPS 418013 WITH SCORE 421111.962
AT ITER 1094 NEW BEST:: SOT 5019113 SOS 3098564 HAS SOPS 3082748 HAS SOUS 418767 HAS SOUPS 417636 WITH SCORE 420734.564
AT ITER 1096 NEW BEST:: SOT 5019258 SOS 3098332 HAS SOPS 3082220 HAS SOUS 418381 HAS SOUPS 417250 WITH SCORE 420348.332
AT ITER 1097 NEW BEST:: SOT 5011478 SOS 3090532 HAS SOPS 3074410 HAS SOUS 417481 HAS SOUPS 416350 WITH SCORE 419440.532
AT ITER 1100 NEW BEST:: SOT 5011405 SOS 3090459 HAS SOPS 3074337 HAS SOUS 417408 HAS SOUPS 416277 WITH SCORE 419367.459
AT ITER 1109 NEW BEST:: SOT 5011405 SOS 2863721 HAS SOPS 2847599 HAS SOUS 417408 HAS SOUPS 416277 WITH SCORE 419140.721
AT ITER 1112 NEW BEST:: SOT 5011405 SOS 2863717 HAS SOPS 2847595 HAS SOUS 417408 HAS SOUPS 416277 WITH SCORE 419140.717
AT ITER 1117 NEW BEST:: SOT 5011349 SOS 2863987 HAS SOPS 2847865 HAS SOUS 417107 HAS SOUPS 415976 WITH SCORE 418839.987
AT ITER 1121 NEW BEST:: SOT 5011020 SOS 2863693 HAS SOPS 2847571 HAS SOUS 416850 HAS SOUPS 415719 WITH SCORE 418582.693
AT ITER 1127 NEW BEST:: SOT 5011020 SOS 2863693 HAS SOPS 2847571 HAS SOUS 416847 HAS SOUPS 415716 WITH SCORE 418579.693
AT ITER 1129 NEW BEST:: SOT 5029362 SOS 2882042 HAS SOPS 2865920 HAS SOUS 412678 HAS SOUPS 411547 WITH SCORE 414429.042
AT ITER 1136 NEW BEST:: SOT 5028411 SOS 2816244 HAS SOPS 2800122 HAS SOUS 410953 HAS SOUPS 409822 WITH SCORE 412638.244
AT ITER 1141 NEW BEST:: SOT 5028503 SOS 2816336 HAS SOPS 2800199 HAS SOUS 410923 HAS SOUPS 409792 WITH SCORE 412608.336
AT ITER 1142 NEW BEST:: SOT 5028486 SOS 2833868 HAS SOPS 2817731 HAS SOUS 410766 HAS SOUPS 409635 WITH SCORE 412468.868
AT ITER 1146 NEW BEST:: SOT 5028461 SOS 2833843 HAS SOPS 2817706 HAS SOUS 410716 HAS SOUPS 409585 WITH SCORE 412418.843
AT ITER 1149 NEW BEST:: SOT 5028458 SOS 2833840 HAS SOPS 2817703 HAS SOUS 410713 HAS SOUPS 409582 WITH SCORE 412415.84
AT ITER 1193 NEW BEST:: SOT 5028444 SOS 2833668 HAS SOPS 2817531 HAS SOUS 410685 HAS SOUPS 409554 WITH SCORE 412387.668
AT ITER 1199 NEW BEST:: SOT 5028444 SOS 2830210 HAS SOPS 2814073 HAS SOUS 410685 HAS SOUPS 409554 WITH SCORE 412384.21
AT ITER 1203 NEW BEST:: SOT 5028401 SOS 2830167 HAS SOPS 2813987 HAS SOUS 410599 HAS SOUPS 409468 WITH SCORE 412298.167
AT ITER 1213 NEW BEST:: SOT 5028259 SOS 2830371 HAS SOPS 2814204 HAS SOUS 410462 HAS SOUPS 409331 WITH SCORE 412161.371
AT ITER 1214 NEW BEST:: SOT 5028191 SOS 2830303 HAS SOPS 2814136 HAS SOUS 410394 HAS SOUPS 409263 WITH SCORE 412093.303
AT ITER 1257 NEW BEST:: SOT 5028108 SOS 2810443 HAS SOPS 2794276 HAS SOUS 409937 HAS SOUPS 408806 WITH SCORE 411616.443
AT ITER 1262 NEW BEST:: SOT 5028355 SOS 2810757 HAS SOPS 2794590 HAS SOUS 409686 HAS SOUPS 408555 WITH SCORE 411365.757
AT ITER 1266 NEW BEST:: SOT 5028710 SOS 2811112 HAS SOPS 2794945 HAS SOUS 409677 HAS SOUPS 408546 WITH SCORE 411357.112
AT ITER 1273 NEW BEST:: SOT 5028677 SOS 2811046 HAS SOPS 2794879 HAS SOUS 409638 HAS SOUPS 408507 WITH SCORE 411318.046
AT ITER 1279 NEW BEST:: SOT 5031741 SOS 2814114 HAS SOPS 2797947 HAS SOUS 407830 HAS SOUPS 406699 WITH SCORE 409513.114
AT ITER 1280 NEW BEST:: SOT 5031713 SOS 2814086 HAS SOPS 2797895 HAS SOUS 407774 HAS SOUPS 406643 WITH SCORE 409457.086
AT ITER 1301 NEW BEST:: SOT 5031713 SOS 2785263 HAS SOPS 2769072 HAS SOUS 407755 HAS SOUPS 406624 WITH SCORE 409409.263
AT ITER 1312 NEW BEST:: SOT 5031736 SOS 2845892 HAS SOPS 2829701 HAS SOUS 407631 HAS SOUPS 406500 WITH SCORE 409345.892
AT ITER 1316 NEW BEST:: SOT 5031736 SOS 2845956 HAS SOPS 2829765 HAS SOUS 407607 HAS SOUPS 406476 WITH SCORE 409321.956
AT ITER 1319 NEW BEST:: SOT 5031736 SOS 2842939 HAS SOPS 2826748 HAS SOUS 407600 HAS SOUPS 406469 WITH SCORE 409311.939
AT ITER 1321 NEW BEST:: SOT 5031673 SOS 2843188 HAS SOPS 2826997 HAS SOUS 407143 HAS SOUPS 406012 WITH SCORE 408855.188
AT ITER 1338 NEW BEST:: SOT 5054727 SOS 2866242 HAS SOPS 2850051 HAS SOUS 403581 HAS SOUPS 402450 WITH SCORE 405316.242
AT ITER 1341 NEW BEST:: SOT 5054795 SOS 2866310 HAS SOPS 2850071 HAS SOUS 403486 HAS SOUPS 402355 WITH SCORE 405221.31
AT ITER 1360 NEW BEST:: SOT 5054739 SOS 2866254 HAS SOPS 2849903 HAS SOUS 403430 HAS SOUPS 402187 WITH SCORE 405053.254
AT ITER 1370 NEW BEST:: SOT 5054739 SOS 2864291 HAS SOPS 2847940 HAS SOUS 403316 HAS SOUPS 402073 WITH SCORE 404937.291
AT ITER 1387 NEW BEST:: SOT 5054520 SOS 2864072 HAS SOPS 2847721 HAS SOUS 403021 HAS SOUPS 401778 WITH SCORE 404642.072
AT ITER 1388 NEW BEST:: SOT 5054500 SOS 2864052 HAS SOPS 2847681 HAS SOUS 402981 HAS SOUPS 401738 WITH SCORE 404602.052
AT ITER 1431 NEW BEST:: SOT 5054488 SOS 2864040 HAS SOPS 2847669 HAS SOUS 402849 HAS SOUPS 401606 WITH SCORE 404470.04
AT ITER 1439 NEW BEST:: SOT 5054480 SOS 2864024 HAS SOPS 2847653 HAS SOUS 402833 HAS SOUPS 401590 WITH SCORE 404454.024
AT ITER 1443 NEW BEST:: SOT 5054442 SOS 2863984 HAS SOPS 2847613 HAS SOUS 402793 HAS SOUPS 401550 WITH SCORE 404413.984
AT ITER 1450 NEW BEST:: SOT 5054209 SOS 2863815 HAS SOPS 2847444 HAS SOUS 402455 HAS SOUPS 401212 WITH SCORE 404075.815
AT ITER 1456 NEW BEST:: SOT 5053990 SOS 2863596 HAS SOPS 2847225 HAS SOUS 402119 HAS SOUPS 400876 WITH SCORE 403739.596
AT ITER 1462 NEW BEST:: SOT 5053742 SOS 2863336 HAS SOPS 2846965 HAS SOUS 401638 HAS SOUPS 400395 WITH SCORE 403258.336
AT ITER 1470 NEW BEST:: SOT 5053592 SOS 2863414 HAS SOPS 2847043 HAS SOUS 401115 HAS SOUPS 399872 WITH SCORE 402735.414
AT ITER 1479 NEW BEST:: SOT 5053639 SOS 2863660 HAS SOPS 2847289 HAS SOUS 400961 HAS SOUPS 399718 WITH SCORE 402581.66
AT ITER 1480 NEW BEST:: SOT 5053576 SOS 2863576 HAS SOPS 2847205 HAS SOUS 400898 HAS SOUPS 399655 WITH SCORE 402518.576
AT ITER 1481 NEW BEST:: SOT 5053566 SOS 2863566 HAS SOPS 2847195 HAS SOUS 400852 HAS SOUPS 399609 WITH SCORE 402472.566
AT ITER 1482 NEW BEST:: SOT 5053566 SOS 2862622 HAS SOPS 2846251 HAS SOUS 400852 HAS SOUPS 399609 WITH SCORE 402471.622
AT ITER 1490 NEW BEST:: SOT 5053566 SOS 2862599 HAS SOPS 2846228 HAS SOUS 400829 HAS SOUPS 399586 WITH SCORE 402448.599
AT ITER 1498 NEW BEST:: SOT 5053665 SOS 2862698 HAS SOPS 2846279 HAS SOUS 400772 HAS SOUPS 399529 WITH SCORE 402391.698
AT ITER 1500 NEW BEST:: SOT 5052238 SOS 2861042 HAS SOPS 2844623 HAS SOUS 398426 HAS SOUPS 397183 WITH SCORE 400044.042
AT ITER 1501 NEW BEST:: SOT 5052178 SOS 2860982 HAS SOPS 2844563 HAS SOUS 398264 HAS SOUPS 397021 WITH SCORE 399881.982
AT ITER 1503 NEW BEST:: SOT 5052340 SOS 2861711 HAS SOPS 2845292 HAS SOUS 398064 HAS SOUPS 396821 WITH SCORE 399682.711
AT ITER 1510 NEW BEST:: SOT 5052237 SOS 2862049 HAS SOPS 2845642 HAS SOUS 397989 HAS SOUPS 396746 WITH SCORE 399608.049
AT ITER 1512 NEW BEST:: SOT 5052204 SOS 2862057 HAS SOPS 2845650 HAS SOUS 397736 HAS SOUPS 396493 WITH SCORE 399355.057
AT ITER 1527 NEW BEST:: SOT 5051667 SOS 2861414 HAS SOPS 2845007 HAS SOUS 397274 HAS SOUPS 396031 WITH SCORE 398892.414
AT ITER 1544 NEW BEST:: SOT 5051674 SOS 2861421 HAS SOPS 2845014 HAS SOUS 397266 HAS SOUPS 396023 WITH SCORE 398884.421
AT ITER 1548 NEW BEST:: SOT 5031836 SOS 2841583 HAS SOPS 2825176 HAS SOUS 395368 HAS SOUPS 394125 WITH SCORE 396966.583
AT ITER 1566 NEW BEST:: SOT 5031810 SOS 2841557 HAS SOPS 2825150 HAS SOUS 395342 HAS SOUPS 394099 WITH SCORE 396940.557
AT ITER 1578 NEW BEST:: SOT 5031820 SOS 2841520 HAS SOPS 2825160 HAS SOUS 395338 HAS SOUPS 394095 WITH SCORE 396936.52
AT ITER 1591 NEW BEST:: SOT 5031780 SOS 2841480 HAS SOPS 2825120 HAS SOUS 395273 HAS SOUPS 394030 WITH SCORE 396871.48
AT ITER 1599 NEW BEST:: SOT 5031732 SOS 2841432 HAS SOPS 2825024 HAS SOUS 395094 HAS SOUPS 393851 WITH SCORE 396692.432
AT ITER 1617 NEW BEST:: SOT 5031803 SOS 2841503 HAS SOPS 2825047 HAS SOUS 395019 HAS SOUPS 393776 WITH SCORE 396617.503
AT ITER 1623 NEW BEST:: SOT 5031339 SOS 2841060 HAS SOPS 2824604 HAS SOUS 394885 HAS SOUPS 393642 WITH SCORE 396483.06
AT ITER 1650 NEW BEST:: SOT 5031168 SOS 2839929 HAS SOPS 2823793 HAS SOUS 394698 HAS SOUPS 393495 WITH SCORE 396334.929
AT ITER 1652 NEW BEST:: SOT 5030961 SOS 2839204 HAS SOPS 2823068 HAS SOUS 394665 HAS SOUPS 393462 WITH SCORE 396301.204
AT ITER 1654 NEW BEST:: SOT 5030935 SOS 2839237 HAS SOPS 2823101 HAS SOUS 394400 HAS SOUPS 393197 WITH SCORE 396036.237
AT ITER 1660 NEW BEST:: SOT 5030924 SOS 2839226 HAS SOPS 2823089 HAS SOUS 394291 HAS SOUPS 393088 WITH SCORE 395927.226
AT ITER 1710 NEW BEST:: SOT 5030906 SOS 2839208 HAS SOPS 2823080 HAS SOUS 394279 HAS SOUPS 393077 WITH SCORE 395916.208
AT ITER 1722 NEW BEST:: SOT 5030900 SOS 2833406 HAS SOPS 2817278 HAS SOUS 394182 HAS SOUPS 392980 WITH SCORE 395813.406
AT ITER 1735 NEW BEST:: SOT 5030966 SOS 2833585 HAS SOPS 2817457 HAS SOUS 394083 HAS SOUPS 392881 WITH SCORE 395714.585
AT ITER 1737 NEW BEST:: SOT 5030947 SOS 2833566 HAS SOPS 2817438 HAS SOUS 394045 HAS SOUPS 392843 WITH SCORE 395676.566
AT ITER 1744 NEW BEST:: SOT 5030981 SOS 2833698 HAS SOPS 2817507 HAS SOUS 394011 HAS SOUPS 392809 WITH SCORE 395642.698
AT ITER 1760 NEW BEST:: SOT 5030976 SOS 2833604 HAS SOPS 2817413 HAS SOUS 393917 HAS SOUPS 392715 WITH SCORE 395548.604
AT ITER 1767 NEW BEST:: SOT 5030941 SOS 2833610 HAS SOPS 2817419 HAS SOUS 393902 HAS SOUPS 392700 WITH SCORE 395533.61
AT ITER 1772 NEW BEST:: SOT 5030673 SOS 2832080 HAS SOPS 2812801 HAS SOUS 393676 HAS SOUPS 392088 WITH SCORE 394920.08
AT ITER 1784 NEW BEST:: SOT 5029725 SOS 2831053 HAS SOPS 2811774 HAS SOUS 392649 HAS SOUPS 391061 WITH SCORE 393892.053
AT ITER 1793 NEW BEST:: SOT 5029551 SOS 2830792 HAS SOPS 2811513 HAS SOUS 392417 HAS SOUPS 390829 WITH SCORE 393659.792
AT ITER 1847 NEW BEST:: SOT 5029572 SOS 2830813 HAS SOPS 2811434 HAS SOUS 392386 HAS SOUPS 390724 WITH SCORE 393554.813
AT ITER 1857 NEW BEST:: SOT 5029558 SOS 2830799 HAS SOPS 2811420 HAS SOUS 392358 HAS SOUPS 390696 WITH SCORE 393526.799
AT ITER 1863 NEW BEST:: SOT 5029499 SOS 2831673 HAS SOPS 2812306 HAS SOUS 391675 HAS SOUPS 390013 WITH SCORE 392844.673
AT ITER 1876 NEW BEST:: SOT 5029455 SOS 2831674 HAS SOPS 2812307 HAS SOUS 390931 HAS SOUPS 389269 WITH SCORE 392100.674
AT ITER 1917 NEW BEST:: SOT 5029455 SOS 2831674 HAS SOPS 2812283 HAS SOUS 390883 HAS SOUPS 389221 WITH SCORE 392052.674
AT ITER 1922 NEW BEST:: SOT 4985424 SOS 2787643 HAS SOPS 2768252 HAS SOUS 386145 HAS SOUPS 384483 WITH SCORE 387270.643
AT ITER 1932 NEW BEST:: SOT 4985400 SOS 2787619 HAS SOPS 2768228 HAS SOUS 386145 HAS SOUPS 384483 WITH SCORE 387270.619
AT ITER 1944 NEW BEST:: SOT 4985405 SOS 2787623 HAS SOPS 2768232 HAS SOUS 386035 HAS SOUPS 384373 WITH SCORE 387160.623
AT ITER 1948 NEW BEST:: SOT 4903043 SOS 2705314 HAS SOPS 2685923 HAS SOUS 374958 HAS SOUPS 373296 WITH SCORE 376001.314
AT ITER 1957 NEW BEST:: SOT 4903007 SOS 2536106 HAS SOPS 2516715 HAS SOUS 374280 HAS SOUPS 372618 WITH SCORE 375154.106
AT ITER 1965 NEW BEST:: SOT 4903061 SOS 2537676 HAS SOPS 2518293 HAS SOUS 373856 HAS SOUPS 372194 WITH SCORE 374731.676
AT ITER 1967 NEW BEST:: SOT 4918190 SOS 2552581 HAS SOPS 2533454 HAS SOUS 373778 HAS SOUPS 372148 WITH SCORE 374700.581
AT ITER 1968 NEW BEST:: SOT 4918190 SOS 2552571 HAS SOPS 2533444 HAS SOUS 373768 HAS SOUPS 372138 WITH SCORE 374690.571
AT ITER 1969 NEW BEST:: SOT 4918163 SOS 2552544 HAS SOPS 2533417 HAS SOUS 373677 HAS SOUPS 372047 WITH SCORE 374599.544
AT ITER 1981 NEW BEST:: SOT 4918070 SOS 2551064 HAS SOPS 2531929 HAS SOUS 373507 HAS SOUPS 371877 WITH SCORE 374428.064
AT ITER 1984 NEW BEST:: SOT 4918020 SOS 2551014 HAS SOPS 2531879 HAS SOUS 373463 HAS SOUPS 371833 WITH SCORE 374384.014
AT ITER 1996 NEW BEST:: SOT 4918020 SOS 2550949 HAS SOPS 2531814 HAS SOUS 373463 HAS SOUPS 371833 WITH SCORE 374383.949
AT ITER 1997 NEW BEST:: SOT 4918020 SOS 2550520 HAS SOPS 2531385 HAS SOUS 373441 HAS SOUPS 371811 WITH SCORE 374361.52
AT ITER 2026 NEW BEST:: SOT 4917543 SOS 2550195 HAS SOPS 2531060 HAS SOUS 373101 HAS SOUPS 371471 WITH SCORE 374021.195
AT ITER 2027 NEW BEST:: SOT 4917538 SOS 2549997 HAS SOPS 2530862 HAS SOUS 373091 HAS SOUPS 371461 WITH SCORE 374010.997
AT ITER 2043 NEW BEST:: SOT 4917523 SOS 2549982 HAS SOPS 2530847 HAS SOUS 373076 HAS SOUPS 371446 WITH SCORE 373995.982
AT ITER 2058 NEW BEST:: SOT 4917376 SOS 2549737 HAS SOPS 2530602 HAS SOUS 372899 HAS SOUPS 371269 WITH SCORE 373818.737
AT ITER 2060 NEW BEST:: SOT 4917042 SOS 2549260 HAS SOPS 2530311 HAS SOUS 372696 HAS SOUPS 371066 WITH SCORE 373615.26
AT ITER 2067 NEW BEST:: SOT 4917091 SOS 2549148 HAS SOPS 2530199 HAS SOUS 372651 HAS SOUPS 371021 WITH SCORE 373570.148
AT ITER 2083 NEW BEST:: SOT 4917054 SOS 2549111 HAS SOPS 2530199 HAS SOUS 372651 HAS SOUPS 371021 WITH SCORE 373570.111
AT ITER 2095 NEW BEST:: SOT 4916274 SOS 2548230 HAS SOPS 2529318 HAS SOUS 372213 HAS SOUPS 370583 WITH SCORE 373131.23
AT ITER 2101 NEW BEST:: SOT 4916153 SOS 2548865 HAS SOPS 2529966 HAS SOUS 372183 HAS SOUPS 370553 WITH SCORE 373101.865
AT ITER 2112 NEW BEST:: SOT 4916151 SOS 2548863 HAS SOPS 2529964 HAS SOUS 372179 HAS SOUPS 370549 WITH SCORE 373097.863
AT ITER 2120 NEW BEST:: SOT 4916162 SOS 2550770 HAS SOPS 2531871 HAS SOUS 372175 HAS SOUPS 370545 WITH SCORE 373095.77
AT ITER 2138 NEW BEST:: SOT 4916142 SOS 2551376 HAS SOPS 2532477 HAS SOUS 372145 HAS SOUPS 370515 WITH SCORE 373066.376
AT ITER 2158 NEW BEST:: SOT 4916094 SOS 2551274 HAS SOPS 2532327 HAS SOUS 372022 HAS SOUPS 370392 WITH SCORE 372943.274
AT ITER 2187 NEW BEST:: SOT 4916004 SOS 2551184 HAS SOPS 2532237 HAS SOUS 371932 HAS SOUPS 370302 WITH SCORE 372853.184
AT ITER 2190 NEW BEST:: SOT 4915948 SOS 2551128 HAS SOPS 2532181 HAS SOUS 371932 HAS SOUPS 370302 WITH SCORE 372853.128
AT ITER 2199 NEW BEST:: SOT 4915906 SOS 2551086 HAS SOPS 2532139 HAS SOUS 371890 HAS SOUPS 370260 WITH SCORE 372811.086
AT ITER 2204 NEW BEST:: SOT 4915903 SOS 2551083 HAS SOPS 2532139 HAS SOUS 371890 HAS SOUPS 370260 WITH SCORE 372811.083
AT ITER 2205 NEW BEST:: SOT 4915074 SOS 2550254 HAS SOPS 2531310 HAS SOUS 371148 HAS SOUPS 369518 WITH SCORE 372068.254
AT ITER 2208 NEW BEST:: SOT 4914861 SOS 2548581 HAS SOPS 2529637 HAS SOUS 370966 HAS SOUPS 369336 WITH SCORE 371884.581
AT ITER 2210 NEW BEST:: SOT 4914890 SOS 2548642 HAS SOPS 2529698 HAS SOUS 370960 HAS SOUPS 369330 WITH SCORE 371878.642
AT ITER 2215 NEW BEST:: SOT 4914924 SOS 2548879 HAS SOPS 2529935 HAS SOUS 370918 HAS SOUPS 369288 WITH SCORE 371836.879
AT ITER 2217 NEW BEST:: SOT 4914844 SOS 2548799 HAS SOPS 2529807 HAS SOUS 370758 HAS SOUPS 369128 WITH SCORE 371676.799
AT ITER 2220 NEW BEST:: SOT 4914851 SOS 2548902 HAS SOPS 2529910 HAS SOUS 370702 HAS SOUPS 369072 WITH SCORE 371620.902
AT ITER 2244 NEW BEST:: SOT 4806351 SOS 2440472 HAS SOPS 2421480 HAS SOUS 356422 HAS SOUPS 354792 WITH SCORE 357232.472
AT ITER 2267 NEW BEST:: SOT 4806335 SOS 2440456 HAS SOPS 2421464 HAS SOUS 356406 HAS SOUPS 354776 WITH SCORE 357216.456
AT ITER 2296 NEW BEST:: SOT 4805789 SOS 2439835 HAS SOPS 2420843 HAS SOUS 355056 HAS SOUPS 353426 WITH SCORE 355865.835
AT ITER 2309 NEW BEST:: SOT 4805882 SOS 2439795 HAS SOPS 2420666 HAS SOUS 354948 HAS SOUPS 353318 WITH SCORE 355757.795
AT ITER 2319 NEW BEST:: SOT 4806885 SOS 2441041 HAS SOPS 2421912 HAS SOUS 354142 HAS SOUPS 352512 WITH SCORE 354953.041
AT ITER 2328 NEW BEST:: SOT 4792395 SOS 2426518 HAS SOPS 2407389 HAS SOUS 352297 HAS SOUPS 350667 WITH SCORE 353093.518
AT ITER 2333 NEW BEST:: SOT 4792395 SOS 2426829 HAS SOPS 2407700 HAS SOUS 352284 HAS SOUPS 350654 WITH SCORE 353080.829
AT ITER 2353 NEW BEST:: SOT 4792395 SOS 2426829 HAS SOPS 2407700 HAS SOUS 352274 HAS SOUPS 350644 WITH SCORE 353070.829
AT ITER 2358 NEW BEST:: SOT 4792336 SOS 2426783 HAS SOPS 2407654 HAS SOUS 352215 HAS SOUPS 350585 WITH SCORE 353011.783
AT ITER 2366 NEW BEST:: SOT 4792249 SOS 2426663 HAS SOPS 2407534 HAS SOUS 352041 HAS SOUPS 350411 WITH SCORE 352837.663
AT ITER 2374 NEW BEST:: SOT 4791992 SOS 2426463 HAS SOPS 2407403 HAS SOUS 351823 HAS SOUPS 350193 WITH SCORE 352619.463
AT ITER 2387 NEW BEST:: SOT 4791992 SOS 2426499 HAS SOPS 2407439 HAS SOUS 351822 HAS SOUPS 350192 WITH SCORE 352618.499
AT ITER 2388 NEW BEST:: SOT 4770662 SOS 2404935 HAS SOPS 2385875 HAS SOUS 348395 HAS SOUPS 346765 WITH SCORE 349169.935
AT ITER 2389 NEW BEST:: SOT 4770656 SOS 2404926 HAS SOPS 2385866 HAS SOUS 348386 HAS SOUPS 346756 WITH SCORE 349160.926
AT ITER 2409 NEW BEST:: SOT 4770421 SOS 2404688 HAS SOPS 2385779 HAS SOUS 348308 HAS SOUPS 346678 WITH SCORE 349082.688
AT ITER 2410 NEW BEST:: SOT 4769833 SOS 2404100 HAS SOPS 2385191 HAS SOUS 347877 HAS SOUPS 346247 WITH SCORE 348651.1
AT ITER 2418 NEW BEST:: SOT 4769833 SOS 2404100 HAS SOPS 2385191 HAS SOUS 347817 HAS SOUPS 346187 WITH SCORE 348591.1
AT ITER 2463 NEW BEST:: SOT 4769907 SOS 2404174 HAS SOPS 2385217 HAS SOUS 347721 HAS SOUPS 346091 WITH SCORE 348495.174
AT ITER 2487 NEW BEST:: SOT 4770042 SOS 2404377 HAS SOPS 2385420 HAS SOUS 347651 HAS SOUPS 346021 WITH SCORE 348425.377
AT ITER 2488 NEW BEST:: SOT 4770139 SOS 2404474 HAS SOPS 2385469 HAS SOUS 347603 HAS SOUPS 345973 WITH SCORE 348377.474
AT ITER 2489 NEW BEST:: SOT 4770101 SOS 2404436 HAS SOPS 2385431 HAS SOUS 347527 HAS SOUPS 345897 WITH SCORE 348301.436
AT ITER 2497 NEW BEST:: SOT 4769885 SOS 2404180 HAS SOPS 2385175 HAS SOUS 346527 HAS SOUPS 344897 WITH SCORE 347301.18
AT ITER 2519 NEW BEST:: SOT 4769878 SOS 2404173 HAS SOPS 2385229 HAS SOUS 345984 HAS SOUPS 344354 WITH SCORE 346758.173
AT ITER 2524 NEW BEST:: SOT 4769391 SOS 2403663 HAS SOPS 2384719 HAS SOUS 345946 HAS SOUPS 344316 WITH SCORE 346719.663
AT ITER 2530 NEW BEST:: SOT 4769430 SOS 2403702 HAS SOPS 2384758 HAS SOUS 345922 HAS SOUPS 344292 WITH SCORE 346695.702
AT ITER 2534 NEW BEST:: SOT 4769385 SOS 2403701 HAS SOPS 2384757 HAS SOUS 342124 HAS SOUPS 340494 WITH SCORE 342897.701
AT ITER 2562 NEW BEST:: SOT 4769060 SOS 2402921 HAS SOPS 2383977 HAS SOUS 341799 HAS SOUPS 340169 WITH SCORE 342571.921
AT ITER 2591 NEW BEST:: SOT 4769149 SOS 2403010 HAS SOPS 2384028 HAS SOUS 341751 HAS SOUPS 340121 WITH SCORE 342524.01
AT ITER 2597 NEW BEST:: SOT 4769217 SOS 2403142 HAS SOPS 2384160 HAS SOUS 341691 HAS SOUPS 340061 WITH SCORE 342464.142
AT ITER 2612 NEW BEST:: SOT 4769175 SOS 2403100 HAS SOPS 2384118 HAS SOUS 341649 HAS SOUPS 340019 WITH SCORE 342422.1
AT ITER 2618 NEW BEST:: SOT 4769074 SOS 2402864 HAS SOPS 2382538 HAS SOUS 341554 HAS SOUPS 339756 WITH SCORE 342158.864
AT ITER 2622 NEW BEST:: SOT 4769040 SOS 2402830 HAS SOPS 2382504 HAS SOUS 341520 HAS SOUPS 339722 WITH SCORE 342124.83
AT ITER 2626 NEW BEST:: SOT 4768620 SOS 2400319 HAS SOPS 2379993 HAS SOUS 340664 HAS SOUPS 338866 WITH SCORE 341266.319
AT ITER 2646 NEW BEST:: SOT 4768483 SOS 2400182 HAS SOPS 2379856 HAS SOUS 340592 HAS SOUPS 338794 WITH SCORE 341194.182
AT ITER 2660 NEW BEST:: SOT 4768709 SOS 2400408 HAS SOPS 2380082 HAS SOUS 339538 HAS SOUPS 337740 WITH SCORE 340140.408
AT ITER 2674 NEW BEST:: SOT 4768830 SOS 2400529 HAS SOPS 2380334 HAS SOUS 339236 HAS SOUPS 337438 WITH SCORE 339838.529
AT ITER 2675 NEW BEST:: SOT 4768833 SOS 2400532 HAS SOPS 2380337 HAS SOUS 339233 HAS SOUPS 337435 WITH SCORE 339835.532
AT ITER 2713 NEW BEST:: SOT 4726008 SOS 2357689 HAS SOPS 2337494 HAS SOUS 333425 HAS SOUPS 331627 WITH SCORE 333984.689
AT ITER 2725 NEW BEST:: SOT 4726006 SOS 2357685 HAS SOPS 2337490 HAS SOUS 333421 HAS SOUPS 331623 WITH SCORE 333980.685
AT ITER 2732 NEW BEST:: SOT 4725735 SOS 2357292 HAS SOPS 2337161 HAS SOUS 333240 HAS SOUPS 331442 WITH SCORE 333799.292
AT ITER 2735 NEW BEST:: SOT 4725735 SOS 2359093 HAS SOPS 2338962 HAS SOUS 333232 HAS SOUPS 331434 WITH SCORE 333793.093
AT ITER 2757 NEW BEST:: SOT 4726595 SOS 2359778 HAS SOPS 2339647 HAS SOUS 332723 HAS SOUPS 330925 WITH SCORE 333284.778
AT ITER 2758 NEW BEST:: SOT 4725740 SOS 2358065 HAS SOPS 2337934 HAS SOUS 331676 HAS SOUPS 329878 WITH SCORE 332236.065
AT ITER 2761 NEW BEST:: SOT 4725572 SOS 2357894 HAS SOPS 2337763 HAS SOUS 331595 HAS SOUPS 329797 WITH SCORE 332154.894
AT ITER 2788 NEW BEST:: SOT 4725572 SOS 2357894 HAS SOPS 2337763 HAS SOUS 331593 HAS SOUPS 329795 WITH SCORE 332152.894
AT ITER 2790 NEW BEST:: SOT 4725474 SOS 2358215 HAS SOPS 2338084 HAS SOUS 331164 HAS SOUPS 329366 WITH SCORE 331724.215
AT ITER 2792 NEW BEST:: SOT 4725465 SOS 2358209 HAS SOPS 2338078 HAS SOUS 331155 HAS SOUPS 329357 WITH SCORE 331715.209
AT ITER 2795 NEW BEST:: SOT 4725405 SOS 2358149 HAS SOPS 2337958 HAS SOUS 331035 HAS SOUPS 329237 WITH SCORE 331595.149
AT ITER 2797 NEW BEST:: SOT 4724294 SOS 2357176 HAS SOPS 2336985 HAS SOUS 330454 HAS SOUPS 328656 WITH SCORE 331013.176
AT ITER 2809 NEW BEST:: SOT 4727089 SOS 2360042 HAS SOPS 2339851 HAS SOUS 327525 HAS SOUPS 325727 WITH SCORE 328087.042
AT ITER 2817 NEW BEST:: SOT 4727043 SOS 2360092 HAS SOPS 2339901 HAS SOUS 327450 HAS SOUPS 325652 WITH SCORE 328012.092
AT ITER 2825 NEW BEST:: SOT 4726974 SOS 2359876 HAS SOPS 2339685 HAS SOUS 327417 HAS SOUPS 325619 WITH SCORE 327978.876
AT ITER 2834 NEW BEST:: SOT 4726958 SOS 2359860 HAS SOPS 2339669 HAS SOUS 327341 HAS SOUPS 325543 WITH SCORE 327902.86
AT ITER 2861 NEW BEST:: SOT 4724841 SOS 2357743 HAS SOPS 2337552 HAS SOUS 326923 HAS SOUPS 325125 WITH SCORE 327482.743
AT ITER 2864 NEW BEST:: SOT 4724841 SOS 2357460 HAS SOPS 2337269 HAS SOUS 326899 HAS SOUPS 325101 WITH SCORE 327458.46
AT ITER 2887 NEW BEST:: SOT 4724549 SOS 2357139 HAS SOPS 2336948 HAS SOUS 326721 HAS SOUPS 324923 WITH SCORE 327280.139
AT ITER 2891 NEW BEST:: SOT 4723041 SOS 2355631 HAS SOPS 2335440 HAS SOUS 326205 HAS SOUPS 324407 WITH SCORE 326762.631
AT ITER 2933 NEW BEST:: SOT 4722754 SOS 2355344 HAS SOPS 2335153 HAS SOUS 325967 HAS SOUPS 324169 WITH SCORE 326524.344
AT ITER 2935 NEW BEST:: SOT 4699574 SOS 2332164 HAS SOPS 2311973 HAS SOUS 323497 HAS SOUPS 321699 WITH SCORE 324031.164
AT ITER 2949 NEW BEST:: SOT 4699836 SOS 2332394 HAS SOPS 2312235 HAS SOUS 323245 HAS SOUPS 321451 WITH SCORE 323783.394
AT ITER 2955 NEW BEST:: SOT 4699185 SOS 2331743 HAS SOPS 2311584 HAS SOUS 322423 HAS SOUPS 320629 WITH SCORE 322960.743
AT ITER 2966 NEW BEST:: SOT 4699066 SOS 2331624 HAS SOPS 2311465 HAS SOUS 322325 HAS SOUPS 320524 WITH SCORE 322855.624
AT ITER 2995 NEW BEST:: SOT 4699066 SOS 2331580 HAS SOPS 2311421 HAS SOUS 322325 HAS SOUPS 320524 WITH SCORE 322855.58
AT ITER 2999 NEW BEST:: SOT 4698805 SOS 2331589 HAS SOPS 2311430 HAS SOUS 322254 HAS SOUPS 320453 WITH SCORE 322784.589
AT ITER 3000 NEW BEST:: SOT 4698150 SOS 2331195 HAS SOPS 2311036 HAS SOUS 322063 HAS SOUPS 320262 WITH SCORE 322593.195
AT ITER 3006 NEW BEST:: SOT 4698127 SOS 2331217 HAS SOPS 2311058 HAS SOUS 322042 HAS SOUPS 320241 WITH SCORE 322572.217
AT ITER 3012 NEW BEST:: SOT 4698007 SOS 2331097 HAS SOPS 2310938 HAS SOUS 321847 HAS SOUPS 320046 WITH SCORE 322377.097
AT ITER 3021 NEW BEST:: SOT 4697822 SOS 2332200 HAS SOPS 2312041 HAS SOUS 321661 HAS SOUPS 319860 WITH SCORE 322192.2
AT ITER 3025 NEW BEST:: SOT 4697815 SOS 2332172 HAS SOPS 2312013 HAS SOUS 321633 HAS SOUPS 319832 WITH SCORE 322164.172
AT ITER 3026 NEW BEST:: SOT 4698378 SOS 2332311 HAS SOPS 2312152 HAS SOUS 321568 HAS SOUPS 319767 WITH SCORE 322099.311
AT ITER 3039 NEW BEST:: SOT 4697332 SOS 2331305 HAS SOPS 2311146 HAS SOUS 320520 HAS SOUPS 318719 WITH SCORE 321050.305
AT ITER 3041 NEW BEST:: SOT 4697313 SOS 2331286 HAS SOPS 2311127 HAS SOUS 320501 HAS SOUPS 318700 WITH SCORE 321031.286
AT ITER 3046 NEW BEST:: SOT 4696847 SOS 2330999 HAS SOPS 2310840 HAS SOUS 320199 HAS SOUPS 318398 WITH SCORE 320728.999
AT ITER 3070 NEW BEST:: SOT 4696847 SOS 2331191 HAS SOPS 2311032 HAS SOUS 320198 HAS SOUPS 318397 WITH SCORE 320728.191
AT ITER 3084 NEW BEST:: SOT 4696821 SOS 2331139 HAS SOPS 2310980 HAS SOUS 320120 HAS SOUPS 318319 WITH SCORE 320650.139
AT ITER 3104 NEW BEST:: SOT 4696821 SOS 2331033 HAS SOPS 2310874 HAS SOUS 320014 HAS SOUPS 318213 WITH SCORE 320544.033
AT ITER 3114 NEW BEST:: SOT 4696822 SOS 2331047 HAS SOPS 2310888 HAS SOUS 319976 HAS SOUPS 318175 WITH SCORE 320506.047
AT ITER 3129 NEW BEST:: SOT 4696669 SOS 2331086 HAS SOPS 2310927 HAS SOUS 319808 HAS SOUPS 318007 WITH SCORE 320338.086
AT ITER 3142 NEW BEST:: SOT 4696648 SOS 2331059 HAS SOPS 2310900 HAS SOUS 319766 HAS SOUPS 317965 WITH SCORE 320296.059
AT ITER 3143 NEW BEST:: SOT 4696632 SOS 2331027 HAS SOPS 2310868 HAS SOUS 319672 HAS SOUPS 317871 WITH SCORE 320202.027
AT ITER 3157 NEW BEST:: SOT 4696415 SOS 2330644 HAS SOPS 2310485 HAS SOUS 319257 HAS SOUPS 317456 WITH SCORE 319786.644
AT ITER 3165 NEW BEST:: SOT 4696415 SOS 2332396 HAS SOPS 2311653 HAS SOUS 319184 HAS SOUPS 317310 WITH SCORE 319642.396
AT ITER 3201 NEW BEST:: SOT 4696438 SOS 2332551 HAS SOPS 2311808 HAS SOUS 318856 HAS SOUPS 316982 WITH SCORE 319314.551
AT ITER 3220 NEW BEST:: SOT 4696451 SOS 2332564 HAS SOPS 2311835 HAS SOUS 318746 HAS SOUPS 316872 WITH SCORE 319204.564
AT ITER 3224 NEW BEST:: SOT 4696451 SOS 2332562 HAS SOPS 2311833 HAS SOUS 318742 HAS SOUPS 316868 WITH SCORE 319200.562
AT ITER 3236 NEW BEST:: SOT 4696433 SOS 2332574 HAS SOPS 2311712 HAS SOUS 318650 HAS SOUPS 316776 WITH SCORE 319108.574
AT ITER 3241 NEW BEST:: SOT 4696150 SOS 2332291 HAS SOPS 2311429 HAS SOUS 318576 HAS SOUPS 316702 WITH SCORE 319034.291
AT ITER 3246 NEW BEST:: SOT 4696150 SOS 2332191 HAS SOPS 2311329 HAS SOUS 318576 HAS SOUPS 316702 WITH SCORE 319034.191
AT ITER 3250 NEW BEST:: SOT 4696076 SOS 2332117 HAS SOPS 2311255 HAS SOUS 318509 HAS SOUPS 316635 WITH SCORE 318967.117
AT ITER 3262 NEW BEST:: SOT 4696076 SOS 2332117 HAS SOPS 2311255 HAS SOUS 318502 HAS SOUPS 316628 WITH SCORE 318960.117
AT ITER 3263 NEW BEST:: SOT 4696058 SOS 2332099 HAS SOPS 2311237 HAS SOUS 318477 HAS SOUPS 316603 WITH SCORE 318935.099
AT ITER 3278 NEW BEST:: SOT 4696012 SOS 2332053 HAS SOPS 2311188 HAS SOUS 318428 HAS SOUPS 316554 WITH SCORE 318886.053
AT ITER 3280 NEW BEST:: SOT 4695975 SOS 2331979 HAS SOPS 2311114 HAS SOUS 318391 HAS SOUPS 316517 WITH SCORE 318848.979
AT ITER 3296 NEW BEST:: SOT 4695661 SOS 2331553 HAS SOPS 2310688 HAS SOUS 318114 HAS SOUPS 316240 WITH SCORE 318571.553
AT ITER 3310 NEW BEST:: SOT 4695656 SOS 2331528 HAS SOPS 2310663 HAS SOUS 318085 HAS SOUPS 316211 WITH SCORE 318542.528
AT ITER 3359 NEW BEST:: SOT 4695640 SOS 2331512 HAS SOPS 2310647 HAS SOUS 318069 HAS SOUPS 316195 WITH SCORE 318526.512
AT ITER 3362 NEW BEST:: SOT 4695566 SOS 2331438 HAS SOPS 2310573 HAS SOUS 318014 HAS SOUPS 316140 WITH SCORE 318471.438
AT ITER 3363 NEW BEST:: SOT 4695503 SOS 2331312 HAS SOPS 2310447 HAS SOUS 317006 HAS SOUPS 315132 WITH SCORE 317463.312
AT ITER 3376 NEW BEST:: SOT 4695492 SOS 2331301 HAS SOPS 2310425 HAS SOUS 316984 HAS SOUPS 315110 WITH SCORE 317441.301
AT ITER 3378 NEW BEST:: SOT 4695435 SOS 2331195 HAS SOPS 2310319 HAS SOUS 316976 HAS SOUPS 315102 WITH SCORE 317433.195
AT ITER 3379 NEW BEST:: SOT 4695435 SOS 2331359 HAS SOPS 2310483 HAS SOUS 316953 HAS SOUPS 315079 WITH SCORE 317410.359
AT ITER 3399 NEW BEST:: SOT 4695459 SOS 2331383 HAS SOPS 2310507 HAS SOUS 316917 HAS SOUPS 315043 WITH SCORE 317374.383
AT ITER 3409 NEW BEST:: SOT 4695364 SOS 2331121 HAS SOPS 2310245 HAS SOUS 316655 HAS SOUPS 314781 WITH SCORE 317112.121
AT ITER 3412 NEW BEST:: SOT 4695271 SOS 2331039 HAS SOPS 2310163 HAS SOUS 316573 HAS SOUPS 314699 WITH SCORE 317030.039
AT ITER 3414 NEW BEST:: SOT 4695271 SOS 2331039 HAS SOPS 2310163 HAS SOUS 316549 HAS SOUPS 314675 WITH SCORE 317006.039
AT ITER 3415 NEW BEST:: SOT 4695226 SOS 2330994 HAS SOPS 2310118 HAS SOUS 316505 HAS SOUPS 314631 WITH SCORE 316961.994
AT ITER 3453 NEW BEST:: SOT 4694532 SOS 2329854 HAS SOPS 2308978 HAS SOUS 315465 HAS SOUPS 313591 WITH SCORE 315920.854
AT ITER 3475 NEW BEST:: SOT 4694532 SOS 2329898 HAS SOPS 2308978 HAS SOUS 315453 HAS SOUPS 313579 WITH SCORE 315908.898
AT ITER 3481 NEW BEST:: SOT 4694512 SOS 2329868 HAS SOPS 2308948 HAS SOUS 315423 HAS SOUPS 313549 WITH SCORE 315878.868
AT ITER 3483 NEW BEST:: SOT 4694457 SOS 2329824 HAS SOPS 2308904 HAS SOUS 315335 HAS SOUPS 313461 WITH SCORE 315790.824
AT ITER 3489 NEW BEST:: SOT 4694439 SOS 2329806 HAS SOPS 2308886 HAS SOUS 315317 HAS SOUPS 313443 WITH SCORE 315772.806
AT ITER 3494 NEW BEST:: SOT 4694313 SOS 2329669 HAS SOPS 2308749 HAS SOUS 315060 HAS SOUPS 313186 WITH SCORE 315515.669
AT ITER 3498 NEW BEST:: SOT 4694229 SOS 2329529 HAS SOPS 2308609 HAS SOUS 314948 HAS SOUPS 313074 WITH SCORE 315403.529
AT ITER 3502 NEW BEST:: SOT 4677244 SOS 2367810 HAS SOPS 2346890 HAS SOUS 313826 HAS SOUPS 311952 WITH SCORE 314319.81
AT ITER 3503 NEW BEST:: SOT 4677224 SOS 2367670 HAS SOPS 2346750 HAS SOUS 313806 HAS SOUPS 311932 WITH SCORE 314299.67
AT ITER 3538 NEW BEST:: SOT 4677226 SOS 2367699 HAS SOPS 2346779 HAS SOUS 313786 HAS SOUPS 311912 WITH SCORE 314279.699
AT ITER 3540 NEW BEST:: SOT 4677218 SOS 2367541 HAS SOPS 2346709 HAS SOUS 313750 HAS SOUPS 311876 WITH SCORE 314243.541
AT ITER 3544 NEW BEST:: SOT 4677113 SOS 2367289 HAS SOPS 2346457 HAS SOUS 313645 HAS SOUPS 311771 WITH SCORE 314138.289
AT ITER 3564 NEW BEST:: SOT 4676789 SOS 2367454 HAS SOPS 2346854 HAS SOUS 313404 HAS SOUPS 311530 WITH SCORE 313897.454
AT ITER 3567 NEW BEST:: SOT 4675413 SOS 2366138 HAS SOPS 2345538 HAS SOUS 312705 HAS SOUPS 310831 WITH SCORE 313197.138
AT ITER 3586 NEW BEST:: SOT 4675349 SOS 2366010 HAS SOPS 2345410 HAS SOUS 312648 HAS SOUPS 310774 WITH SCORE 313140.01
AT ITER 3587 NEW BEST:: SOT 4675072 SOS 2365700 HAS SOPS 2345100 HAS SOUS 312401 HAS SOUPS 310527 WITH SCORE 312892.7
AT ITER 3592 NEW BEST:: SOT 4675909 SOS 2366559 HAS SOPS 2345959 HAS SOUS 312364 HAS SOUPS 310490 WITH SCORE 312856.559
AT ITER 3617 NEW BEST:: SOT 4675916 SOS 2366566 HAS SOPS 2345966 HAS SOUS 312357 HAS SOUPS 310483 WITH SCORE 312849.566
AT ITER 3648 NEW BEST:: SOT 4675829 SOS 2366440 HAS SOPS 2345840 HAS SOUS 312310 HAS SOUPS 310436 WITH SCORE 312802.44
AT ITER 3690 NEW BEST:: SOT 4675697 SOS 2366224 HAS SOPS 2345660 HAS SOUS 312214 HAS SOUPS 310340 WITH SCORE 312706.224
AT ITER 3707 NEW BEST:: SOT 4675692 SOS 2366210 HAS SOPS 2345646 HAS SOUS 312204 HAS SOUPS 310330 WITH SCORE 312696.21
AT ITER 3746 NEW BEST:: SOT 4675236 SOS 2365754 HAS SOPS 2345190 HAS SOUS 311798 HAS SOUPS 309924 WITH SCORE 312289.754
AT ITER 3747 NEW BEST:: SOT 4675256 SOS 2365558 HAS SOPS 2344994 HAS SOUS 311071 HAS SOUPS 309197 WITH SCORE 311562.558
AT ITER 3758 NEW BEST:: SOT 4675275 SOS 2365577 HAS SOPS 2344979 HAS SOUS 311003 HAS SOUPS 309129 WITH SCORE 311494.577
AT ITER 3761 NEW BEST:: SOT 4675244 SOS 2365534 HAS SOPS 2344907 HAS SOUS 310917 HAS SOUPS 309042 WITH SCORE 311407.534
AT ITER 3764 NEW BEST:: SOT 4677566 SOS 2364733 HAS SOPS 2344106 HAS SOUS 310206 HAS SOUPS 308331 WITH SCORE 310695.733
AT ITER 3765 NEW BEST:: SOT 4677564 SOS 2364731 HAS SOPS 2344100 HAS SOUS 310204 HAS SOUPS 308329 WITH SCORE 310693.731
AT ITER 3768 NEW BEST:: SOT 4677797 SOS 2364964 HAS SOPS 2344525 HAS SOUS 310161 HAS SOUPS 308286 WITH SCORE 310650.964
AT ITER 3783 NEW BEST:: SOT 4677987 SOS 2365162 HAS SOPS 2344723 HAS SOUS 310099 HAS SOUPS 308224 WITH SCORE 310589.162
AT ITER 3795 NEW BEST:: SOT 4677981 SOS 2365150 HAS SOPS 2344711 HAS SOUS 310099 HAS SOUPS 308224 WITH SCORE 310589.15
AT ITER 3839 NEW BEST:: SOT 4677056 SOS 2364012 HAS SOPS 2343573 HAS SOUS 309172 HAS SOUPS 307297 WITH SCORE 309661.012
AT ITER 3862 NEW BEST:: SOT 4677046 SOS 2364002 HAS SOPS 2343563 HAS SOUS 309162 HAS SOUPS 307287 WITH SCORE 309651.002
AT ITER 3872 NEW BEST:: SOT 4677052 SOS 2364008 HAS SOPS 2343554 HAS SOUS 309115 HAS SOUPS 307240 WITH SCORE 309604.008
AT ITER 3923 NEW BEST:: SOT 4676835 SOS 2363909 HAS SOPS 2343455 HAS SOUS 309049 HAS SOUPS 307174 WITH SCORE 309537.909
AT ITER 3924 NEW BEST:: SOT 4676824 SOS 2363898 HAS SOPS 2343420 HAS SOUS 309027 HAS SOUPS 307152 WITH SCORE 309515.898
AT ITER 3940 NEW BEST:: SOT 4676909 SOS 2363903 HAS SOPS 2343425 HAS SOUS 308958 HAS SOUPS 307083 WITH SCORE 309446.903
AT ITER 3948 NEW BEST:: SOT 4676909 SOS 2363897 HAS SOPS 2343419 HAS SOUS 308958 HAS SOUPS 307083 WITH SCORE 309446.897
AT ITER 3965 NEW BEST:: SOT 4694772 SOS 2381488 HAS SOPS 2361282 HAS SOUS 305680 HAS SOUPS 303839 WITH SCORE 306220.488
AT ITER 3969 NEW BEST:: SOT 4694548 SOS 2381084 HAS SOPS 2360878 HAS SOUS 305548 HAS SOUPS 303707 WITH SCORE 306088.084
AT ITER 3975 NEW BEST:: SOT 4694548 SOS 2376904 HAS SOPS 2358218 HAS SOUS 305358 HAS SOUPS 303707 WITH SCORE 306083.904
AT ITER 3987 NEW BEST:: SOT 4694483 SOS 2376839 HAS SOPS 2358153 HAS SOUS 305144 HAS SOUPS 303493 WITH SCORE 305869.839
AT ITER 3988 NEW BEST:: SOT 4694448 SOS 2376797 HAS SOPS 2358111 HAS SOUS 305102 HAS SOUPS 303451 WITH SCORE 305827.797
AT ITER 4057 NEW BEST:: SOT 4694058 SOS 2376407 HAS SOPS 2357720 HAS SOUS 304711 HAS SOUPS 303060 WITH SCORE 305436.407
AT ITER 4071 NEW BEST:: SOT 4694047 SOS 2376407 HAS SOPS 2357720 HAS SOUS 304689 HAS SOUPS 303038 WITH SCORE 305414.407
AT ITER 4072 NEW BEST:: SOT 4694077 SOS 2376437 HAS SOPS 2357750 HAS SOUS 304045 HAS SOUPS 302394 WITH SCORE 304770.437
AT ITER 4076 NEW BEST:: SOT 4693717 SOS 2375773 HAS SOPS 2357086 HAS SOUS 303904 HAS SOUPS 302253 WITH SCORE 304628.773
AT ITER 4085 NEW BEST:: SOT 4695255 SOS 2377192 HAS SOPS 2358641 HAS SOUS 302588 HAS SOUPS 300954 WITH SCORE 303331.192
AT ITER 4090 NEW BEST:: SOT 4695261 SOS 2377200 HAS SOPS 2358649 HAS SOUS 302432 HAS SOUPS 300798 WITH SCORE 303175.2
AT ITER 4112 NEW BEST:: SOT 4695174 SOS 2376815 HAS SOPS 2358264 HAS SOUS 302425 HAS SOUPS 300791 WITH SCORE 303167.815
AT ITER 4134 NEW BEST:: SOT 4695100 SOS 2376761 HAS SOPS 2358210 HAS SOUS 301872 HAS SOUPS 300238 WITH SCORE 302614.761
AT ITER 4164 NEW BEST:: SOT 4695100 SOS 2340192 HAS SOPS 2321641 HAS SOUS 301705 HAS SOUPS 300071 WITH SCORE 302411.192
AT ITER 4174 NEW BEST:: SOT 4695280 SOS 2340372 HAS SOPS 2321775 HAS SOUS 301635 HAS SOUPS 300001 WITH SCORE 302341.372
AT ITER 4182 NEW BEST:: SOT 4695402 SOS 2340537 HAS SOPS 2321684 HAS SOUS 301472 HAS SOUPS 299838 WITH SCORE 302178.537
AT ITER 4205 NEW BEST:: SOT 4695378 SOS 2340513 HAS SOPS 2321660 HAS SOUS 301448 HAS SOUPS 299814 WITH SCORE 302154.513
AT ITER 4218 NEW BEST:: SOT 4696544 SOS 2341518 HAS SOPS 2322665 HAS SOUS 301422 HAS SOUPS 299788 WITH SCORE 302129.518
AT ITER 4226 NEW BEST:: SOT 4696777 SOS 2341716 HAS SOPS 2322863 HAS SOUS 301251 HAS SOUPS 299617 WITH SCORE 301958.716
AT ITER 4231 NEW BEST:: SOT 4696738 SOS 2341649 HAS SOPS 2322796 HAS SOUS 301190 HAS SOUPS 299556 WITH SCORE 301897.649
AT ITER 4247 NEW BEST:: SOT 4696730 SOS 2341641 HAS SOPS 2322788 HAS SOUS 301174 HAS SOUPS 299540 WITH SCORE 301881.641
AT ITER 4253 NEW BEST:: SOT 4696722 SOS 2341635 HAS SOPS 2322782 HAS SOUS 301166 HAS SOUPS 299532 WITH SCORE 301873.635
AT ITER 4269 NEW BEST:: SOT 4696602 SOS 2341694 HAS SOPS 2322841 HAS SOUS 301059 HAS SOUPS 299425 WITH SCORE 301766.694
AT ITER 4270 NEW BEST:: SOT 4696542 SOS 2341634 HAS SOPS 2322781 HAS SOUS 300999 HAS SOUPS 299365 WITH SCORE 301706.634
AT ITER 4293 NEW BEST:: SOT 4696539 SOS 2341673 HAS SOPS 2322820 HAS SOUS 300951 HAS SOUPS 299317 WITH SCORE 301658.673
AT ITER 4316 NEW BEST:: SOT 4696477 SOS 2341483 HAS SOPS 2322630 HAS SOUS 300503 HAS SOUPS 298869 WITH SCORE 301210.483
AT ITER 4317 NEW BEST:: SOT 4696312 SOS 2340219 HAS SOPS 2321366 HAS SOUS 300310 HAS SOUPS 298676 WITH SCORE 301016.219
AT ITER 4339 NEW BEST:: SOT 4696312 SOS 2340242 HAS SOPS 2321348 HAS SOUS 300292 HAS SOUPS 298658 WITH SCORE 300998.242
AT ITER 4343 NEW BEST:: SOT 4696279 SOS 2340172 HAS SOPS 2321218 HAS SOUS 300167 HAS SOUPS 298533 WITH SCORE 300873.172
AT ITER 4352 NEW BEST:: SOT 4696278 SOS 2340171 HAS SOPS 2321217 HAS SOUS 300165 HAS SOUPS 298531 WITH SCORE 300871.171
AT ITER 4357 NEW BEST:: SOT 4641308 SOS 2285246 HAS SOPS 2266292 HAS SOUS 292727 HAS SOUPS 291093 WITH SCORE 293378.246
AT ITER 4359 NEW BEST:: SOT 4641308 SOS 2285787 HAS SOPS 2266833 HAS SOUS 292357 HAS SOUPS 290723 WITH SCORE 293008.787
AT ITER 4371 NEW BEST:: SOT 4641256 SOS 2285727 HAS SOPS 2266773 HAS SOUS 292253 HAS SOUPS 290619 WITH SCORE 292904.727
AT ITER 4384 NEW BEST:: SOT 4641256 SOS 2285712 HAS SOPS 2266758 HAS SOUS 292238 HAS SOUPS 290604 WITH SCORE 292889.712
AT ITER 4387 NEW BEST:: SOT 4641237 SOS 2285342 HAS SOPS 2266388 HAS SOUS 292162 HAS SOUPS 290528 WITH SCORE 292813.342
AT ITER 4391 NEW BEST:: SOT 4641264 SOS 2285369 HAS SOPS 2266415 HAS SOUS 292155 HAS SOUPS 290521 WITH SCORE 292806.369
AT ITER 4411 NEW BEST:: SOT 4640972 SOS 2285212 HAS SOPS 2266258 HAS SOUS 292064 HAS SOUPS 290430 WITH SCORE 292715.212
AT ITER 4444 NEW BEST:: SOT 4640759 SOS 2285116 HAS SOPS 2266162 HAS SOUS 291872 HAS SOUPS 290238 WITH SCORE 292523.116
AT ITER 4452 NEW BEST:: SOT 4640815 SOS 2285078 HAS SOPS 2266124 HAS SOUS 291839 HAS SOUPS 290205 WITH SCORE 292490.078
AT ITER 4472 NEW BEST:: SOT 4641274 SOS 2285703 HAS SOPS 2266749 HAS SOUS 291498 HAS SOUPS 289864 WITH SCORE 292149.703
AT ITER 4474 NEW BEST:: SOT 4641334 SOS 2285763 HAS SOPS 2266790 HAS SOUS 291482 HAS SOUPS 289848 WITH SCORE 292133.763
AT ITER 4478 NEW BEST:: SOT 4641329 SOS 2285758 HAS SOPS 2266787 HAS SOUS 291472 HAS SOUPS 289838 WITH SCORE 292123.758
AT ITER 4496 NEW BEST:: SOT 4641311 SOS 2285728 HAS SOPS 2266757 HAS SOUS 291442 HAS SOUPS 289808 WITH SCORE 292093.728
AT ITER 4501 NEW BEST:: SOT 4639559 SOS 2283976 HAS SOPS 2265005 HAS SOUS 291226 HAS SOUPS 289592 WITH SCORE 291875.976
AT ITER 4505 NEW BEST:: SOT 4638656 SOS 2282818 HAS SOPS 2263847 HAS SOUS 290230 HAS SOUPS 288596 WITH SCORE 290878.818
AT ITER 4506 NEW BEST:: SOT 4639237 SOS 2283479 HAS SOPS 2264508 HAS SOUS 290210 HAS SOUPS 288576 WITH SCORE 290859.479
AT ITER 4509 NEW BEST:: SOT 4639160 SOS 2283254 HAS SOPS 2264283 HAS SOUS 290056 HAS SOUPS 288422 WITH SCORE 290705.254
AT ITER 4512 NEW BEST:: SOT 4639148 SOS 2283242 HAS SOPS 2264271 HAS SOUS 289918 HAS SOUPS 288284 WITH SCORE 290567.242
AT ITER 4522 NEW BEST:: SOT 4639136 SOS 2283230 HAS SOPS 2264286 HAS SOUS 289894 HAS SOUPS 288260 WITH SCORE 290543.23
AT ITER 4534 NEW BEST:: SOT 4639136 SOS 2283160 HAS SOPS 2264216 HAS SOUS 289857 HAS SOUPS 288223 WITH SCORE 290506.16
AT ITER 4547 NEW BEST:: SOT 4639084 SOS 2283079 HAS SOPS 2264127 HAS SOUS 289841 HAS SOUPS 288207 WITH SCORE 290490.079
AT ITER 4551 NEW BEST:: SOT 4638934 SOS 2282729 HAS SOPS 2263777 HAS SOUS 289501 HAS SOUPS 287867 WITH SCORE 290149.729
AT ITER 4569 NEW BEST:: SOT 4638926 SOS 2282713 HAS SOPS 2263761 HAS SOUS 289482 HAS SOUPS 287848 WITH SCORE 290130.713
AT ITER 4585 NEW BEST:: SOT 4638892 SOS 2282679 HAS SOPS 2263727 HAS SOUS 289414 HAS SOUPS 287780 WITH SCORE 290062.679
AT ITER 4629 NEW BEST:: SOT 4638958 SOS 2282745 HAS SOPS 2263793 HAS SOUS 289270 HAS SOUPS 287636 WITH SCORE 289918.745
AT ITER 4634 NEW BEST:: SOT 4639387 SOS 2283208 HAS SOPS 2264256 HAS SOUS 289112 HAS SOUPS 287478 WITH SCORE 289761.208
AT ITER 4641 NEW BEST:: SOT 4639296 SOS 2282935 HAS SOPS 2263983 HAS SOUS 289021 HAS SOUPS 287387 WITH SCORE 289669.935
AT ITER 4643 NEW BEST:: SOT 4639387 SOS 2283059 HAS SOPS 2264251 HAS SOUS 288746 HAS SOUPS 287112 WITH SCORE 289395.059
AT ITER 4648 NEW BEST:: SOT 4639374 SOS 2283046 HAS SOPS 2264238 HAS SOUS 288733 HAS SOUPS 287099 WITH SCORE 289382.046
AT ITER 4649 NEW BEST:: SOT 4638890 SOS 2283608 HAS SOPS 2269421 HAS SOUS 288473 HAS SOUPS 286939 WITH SCORE 289222.608
AT ITER 4651 NEW BEST:: SOT 4638858 SOS 2283563 HAS SOPS 2269376 HAS SOUS 288428 HAS SOUPS 286894 WITH SCORE 289177.563
AT ITER 4664 NEW BEST:: SOT 4638834 SOS 2283524 HAS SOPS 2269337 HAS SOUS 288418 HAS SOUPS 286884 WITH SCORE 289167.524
AT ITER 4674 NEW BEST:: SOT 4638800 SOS 2283414 HAS SOPS 2269227 HAS SOUS 288384 HAS SOUPS 286850 WITH SCORE 289133.414
AT ITER 4679 NEW BEST:: SOT 4638791 SOS 2283405 HAS SOPS 2269209 HAS SOUS 288375 HAS SOUPS 286841 WITH SCORE 289124.405
AT ITER 4680 NEW BEST:: SOT 4638788 SOS 2283402 HAS SOPS 2269206 HAS SOUS 288363 HAS SOUPS 286829 WITH SCORE 289112.402
AT ITER 4681 NEW BEST:: SOT 4638797 SOS 2283411 HAS SOPS 2269215 HAS SOUS 287513 HAS SOUPS 285979 WITH SCORE 288262.411
AT ITER 4684 NEW BEST:: SOT 4638634 SOS 2283248 HAS SOPS 2269083 HAS SOUS 287361 HAS SOUPS 285827 WITH SCORE 288110.248
AT ITER 4690 NEW BEST:: SOT 4638365 SOS 2282924 HAS SOPS 2268734 HAS SOUS 287098 HAS SOUPS 285564 WITH SCORE 287846.924
AT ITER 4692 NEW BEST:: SOT 4638371 SOS 2282930 HAS SOPS 2268740 HAS SOUS 287076 HAS SOUPS 285542 WITH SCORE 287824.93
AT ITER 4712 NEW BEST:: SOT 4638225 SOS 2282784 HAS SOPS 2268594 HAS SOUS 286856 HAS SOUPS 285322 WITH SCORE 287604.784
AT ITER 4715 NEW BEST:: SOT 4638154 SOS 2282713 HAS SOPS 2268508 HAS SOUS 286789 HAS SOUPS 285255 WITH SCORE 287537.713
AT ITER 4736 NEW BEST:: SOT 4638272 SOS 2282908 HAS SOPS 2268703 HAS SOUS 286728 HAS SOUPS 285194 WITH SCORE 287476.908
AT ITER 4737 NEW BEST:: SOT 4638244 SOS 2282852 HAS SOPS 2268647 HAS SOUS 286704 HAS SOUPS 285170 WITH SCORE 287452.852
AT ITER 4739 NEW BEST:: SOT 4638168 SOS 2282807 HAS SOPS 2268602 HAS SOUS 285963 HAS SOUPS 284429 WITH SCORE 286711.807
AT ITER 4779 NEW BEST:: SOT 4638210 SOS 2282849 HAS SOPS 2268644 HAS SOUS 285855 HAS SOUPS 284321 WITH SCORE 286603.849
AT ITER 4800 NEW BEST:: SOT 4638200 SOS 2282839 HAS SOPS 2268615 HAS SOUS 285780 HAS SOUPS 284246 WITH SCORE 286528.839
AT ITER 4824 NEW BEST:: SOT 4638251 SOS 2282890 HAS SOPS 2268666 HAS SOUS 285771 HAS SOUPS 284237 WITH SCORE 286519.89
AT ITER 4831 NEW BEST:: SOT 4638205 SOS 2282798 HAS SOPS 2268574 HAS SOUS 285679 HAS SOUPS 284145 WITH SCORE 286427.798
AT ITER 4853 NEW BEST:: SOT 4638143 SOS 2282646 HAS SOPS 2268410 HAS SOUS 285515 HAS SOUPS 283981 WITH SCORE 286263.646
AT ITER 4863 NEW BEST:: SOT 4638144 SOS 2282618 HAS SOPS 2268382 HAS SOUS 285442 HAS SOUPS 283908 WITH SCORE 286190.618
AT ITER 4867 NEW BEST:: SOT 4638144 SOS 2282618 HAS SOPS 2268382 HAS SOUS 285355 HAS SOUPS 283821 WITH SCORE 286103.618
AT ITER 4882 NEW BEST:: SOT 4638194 SOS 2282718 HAS SOPS 2268482 HAS SOUS 285015 HAS SOUPS 283481 WITH SCORE 285763.718
AT ITER 4890 NEW BEST:: SOT 4638196 SOS 2282718 HAS SOPS 2268482 HAS SOUS 285013 HAS SOUPS 283479 WITH SCORE 285761.718
AT ITER 4901 NEW BEST:: SOT 4625537 SOS 2270059 HAS SOPS 2255823 HAS SOUS 283473 HAS SOUPS 281939 WITH SCORE 284209.059
AT ITER 4908 NEW BEST:: SOT 4625502 SOS 2270024 HAS SOPS 2255788 HAS SOUS 283403 HAS SOUPS 281869 WITH SCORE 284139.024
AT ITER 4917 NEW BEST:: SOT 4625071 SOS 2269573 HAS SOPS 2255337 HAS SOUS 283200 HAS SOUPS 281666 WITH SCORE 283935.573
AT ITER 4918 NEW BEST:: SOT 4625102 SOS 2269604 HAS SOPS 2255368 HAS SOUS 282463 HAS SOUPS 280929 WITH SCORE 283198.604
AT ITER 4927 NEW BEST:: SOT 4625076 SOS 2269578 HAS SOPS 2255342 HAS SOUS 282443 HAS SOUPS 280909 WITH SCORE 283178.578
AT ITER 4943 NEW BEST:: SOT 4624982 SOS 2269185 HAS SOPS 2254949 HAS SOUS 282380 HAS SOUPS 280846 WITH SCORE 283115.185
AT ITER 4973 NEW BEST:: SOT 4624982 SOS 2269199 HAS SOPS 2254963 HAS SOUS 282030 HAS SOUPS 280496 WITH SCORE 282765.199
AT ITER 4975 NEW BEST:: SOT 4624932 SOS 2269177 HAS SOPS 2254941 HAS SOUS 281949 HAS SOUPS 280415 WITH SCORE 282684.177
AT ITER 4987 NEW BEST:: SOT 4624904 SOS 2269129 HAS SOPS 2254893 HAS SOUS 281921 HAS SOUPS 280387 WITH SCORE 282656.129
AT ITER 4999 NEW BEST:: SOT 4624908 SOS 2269137 HAS SOPS 2254901 HAS SOUS 281894 HAS SOUPS 280360 WITH SCORE 282629.137
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-00 (EG( (EF(( potential( (tk(P30) + tk(P125) + tk(P300) + tk(P365) + tk(P422) + tk(P485) + tk(P618) + tk(P740)) <= (tk(P19) + tk(P133) + tk(P190) + tk(P295) + tk(P648) + tk(P751)) ) & potential( ( 2 ) <= (tk(P336)) ) )))))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-01 (EG( potential( (tk(P68) + tk(P231) + tk(P301) + tk(P329) + tk(P585) + tk(P653)) <= (tk(P404)) )))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-02 (! (AF((! potential( (tk(P9) + tk(P49) + tk(P153) + tk(P335) + tk(P463) + tk(P608) + tk(P621) + tk(P790)) <= (tk(P29) + tk(P63) + tk(P150) + tk(P312) + tk(P773)) )))))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-03 (! (AG( potential( (tk(P3) + tk(P27) + tk(P151) + tk(P224) + tk(P305) + tk(P399) + tk(P523) + tk(P596)) <= (tk(P20) + tk(P423) + tk(P497) + tk(P597) + tk(P687)) ))))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-04 ( (! (EU( potential( (tk(P112) + tk(P174) + tk(P412) + tk(P429) + tk(P496) + tk(P628) + tk(P727) + tk(P728)) <= (tk(P55) + tk(P138) + tk(P232) + tk(P395) + tk(P502) + tk(P546) + tk(P600) + tk(P714)) ),potential( ( 2 ) <= (tk(P6) + tk(P139) + tk(P146) + tk(P298) + tk(P361) + tk(P490) + tk(P602) + tk(P729)) ) ))) | (EF(potential( ( 1 ) <= (tk(P3) + tk(P27) + tk(P151) + tk(P224) + tk(P305) + tk(P399) + tk(P523) + tk(P596)) ))) )
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-05 (EU( (EF(potential( ( 3 ) <= (tk(P31)) ))),(AG( potential( (tk(P84) + tk(P179) + tk(P303) + tk(P428) + tk(P455) + tk(P557) + tk(P655) + tk(P766)) <= (tk(P68) + tk(P231) + tk(P301) + tk(P329) + tk(P585) + tk(P653)) ))) ))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-06 ( (EU( ( potential( ( 3 ) <= (tk(P18) + tk(P129) + tk(P304) + tk(P358) + tk(P503) + tk(P609) + tk(P743) + tk(P760)) ) | potential( (tk(P6) + tk(P139) + tk(P146) + tk(P298) + tk(P361) + tk(P490) + tk(P602) + tk(P729)) <= (tk(P336)) ) ),potential( ( 2 ) <= (tk(P12) + tk(P184) + tk(P334) + tk(P387) + tk(P548) + tk(P604) + tk(P624) + tk(P745)) ) )) | (AX( potential( ( 3 ) <= (tk(P140) + tk(P142) + tk(P229) + tk(P263) + tk(P469) + tk(P563) + tk(P644) + tk(P802)) ))) )
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-07 ( (EG( (EG( potential( ( 3 ) <= (tk(P6) + tk(P139) + tk(P146) + tk(P298) + tk(P361) + tk(P490) + tk(P602) + tk(P729)) ))))) | (EX( (EG( potential( (tk(P7) + tk(P35) + tk(P51) + tk(P54) + tk(P60) + tk(P88) + tk(P93) + tk(P120) + tk(P121) + tk(P123) + tk(P130) + tk(P158) + tk(P168) + tk(P170) + tk(P195) + tk(P225) + tk(P238) + tk(P243) + tk(P245) + tk(P282) + tk(P296) + tk(P317) + tk(P400) + tk(P403) + tk(P425) + tk(P436) + tk(P450) + tk(P454) + tk(P479) + tk(P506) + tk(P522) + tk(P541) + tk(P569) + tk(P576) + tk(P579) + tk(P613) + tk(P617) + tk(P619) + tk(P625) + tk(P632) + tk(P666) + tk(P676) + tk(P712) + tk(P753) + tk(P771) + tk(P799) + tk(P803) + tk(P804)) <= (tk(P12) + tk(P184) + tk(P334) + tk(P387) + tk(P548) + tk(P604) + tk(P624) + tk(P745)) ))))) )
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-08 (EF((EG( potential( (tk(P521)) <= (tk(P50)) )))))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-09 ( (! (EG( ( potential( ( 1 ) <= (tk(P115)) ) & potential( ( 3 ) <= (tk(P482)) ) )))) & ( ( (EF(potential( ( 2 ) <= (tk(P212)) ))) & ( (! potential( ( 2 ) <= (tk(P391)) )) | ( potential( (tk(P239)) <= (tk(P615)) ) & potential( (tk(P690)) <= (tk(P33)) ) ) ) ) & (EX( ( potential( (tk(P790)) <= (tk(P729)) ) | potential( ( 2 ) <= (tk(P220)) ) ))) ) )
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-10 ( (EU( ( potential( (tk(P633)) <= (tk(P292)) ) | potential( (tk(P4)) <= (tk(P372)) ) ),potential( (tk(P492)) <= (tk(P535)) ) )) & ( potential( (tk(P694)) <= (tk(P672)) ) & (EF(potential( ( 2 ) <= (tk(P200)) ))) ) )
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-11 (EX( (AF(( potential( ( 3 ) <= (tk(P138)) ) & potential( ( 1 ) <= (tk(P758)) ) )))))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-12 (EF((AF(potential( ( 3 ) <= (tk(P23)) )))))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-13 (EF((! (! potential( ( 3 ) <= (tk(P656)) )))))
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-14 ( potential( ( 2 ) <= (tk(P520)) ) | ( ( potential( ( 1 ) <= (tk(P150)) ) | (EG( potential( (tk(P352)) <= (tk(P102)) ))) ) | ( potential( ( 2 ) <= (tk(P747)) ) | (AG( potential( (tk(P730)) <= (tk(P293)) ))) ) ) )
PROPERTY: PolyORBLF-PT-S06J04T08-CTLCardinality-15 (AU( ( potential( (tk(P242)) <= (tk(P677)) ) & potential( (tk(P731)) <= (tk(P308)) ) ),(AF(potential( ( 3 ) <= (tk(P643)) ))) ))

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="PolyORBLF-PT-S06J04T08"
export BK_EXAMINATION="CTLCardinality"
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 PolyORBLF-PT-S06J04T08, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354900523"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J04T08.tgz
mv PolyORBLF-PT-S06J04T08 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;