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-158961355100691.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 PolyORBNT-PT-S10J40, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100691
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 22M
-rw-r--r-- 1 mcc users 20K Apr 12 06:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Apr 12 06:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 246K Apr 11 07:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 701K Apr 11 07:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 743K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.0M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Apr 10 13:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 58K Apr 10 13:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 43K Apr 9 19:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 138K Apr 9 19:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.3K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.3K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 18M 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 PolyORBNT-PT-S10J40-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S10J40-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589648870366

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J40
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: 854 places, 12340 transitions, 113999 arcs.
AT ITER 0 NEW BEST:: SOT 6007837 SOS 2750241 HAS SOPS 2750241 HAS SOUS 576352 HAS SOUPS 576352 WITH SCORE 579102.241
AT ITER 1 NEW BEST:: SOT 6007812 SOS 2750166 HAS SOPS 2750166 HAS SOUS 575827 HAS SOUPS 575827 WITH SCORE 578577.166
AT ITER 7 NEW BEST:: SOT 6007761 SOS 2750033 HAS SOPS 2750033 HAS SOUS 574956 HAS SOUPS 574956 WITH SCORE 577706.033
AT ITER 9 NEW BEST:: SOT 6007659 SOS 2749931 HAS SOPS 2749931 HAS SOUS 574854 HAS SOUPS 574854 WITH SCORE 577603.931
AT ITER 10 NEW BEST:: SOT 6008694 SOS 2750866 HAS SOPS 2750866 HAS SOUS 574691 HAS SOUPS 574691 WITH SCORE 577441.866
AT ITER 11 NEW BEST:: SOT 6008518 SOS 2750568 HAS SOPS 2750568 HAS SOUS 573295 HAS SOUPS 573295 WITH SCORE 576045.568
AT ITER 15 NEW BEST:: SOT 6009241 SOS 2751169 HAS SOPS 2751169 HAS SOUS 572820 HAS SOUPS 572820 WITH SCORE 575571.169
AT ITER 32 NEW BEST:: SOT 6009694 SOS 2751500 HAS SOPS 2751500 HAS SOUS 572175 HAS SOUPS 572175 WITH SCORE 574926.5
AT ITER 41 NEW BEST:: SOT 6009702 SOS 2751769 HAS SOPS 2751769 HAS SOUS 572070 HAS SOUPS 572070 WITH SCORE 574821.769
AT ITER 50 NEW BEST:: SOT 6009597 SOS 2751753 HAS SOPS 2751753 HAS SOUS 571916 HAS SOUPS 571916 WITH SCORE 574667.753
AT ITER 58 NEW BEST:: SOT 6008743 SOS 2750899 HAS SOPS 2750899 HAS SOUS 571062 HAS SOUPS 571062 WITH SCORE 573812.899
AT ITER 61 NEW BEST:: SOT 6008743 SOS 2750587 HAS SOPS 2750587 HAS SOUS 568299 HAS SOUPS 568299 WITH SCORE 571049.587
AT ITER 65 NEW BEST:: SOT 6008707 SOS 2750590 HAS SOPS 2750590 HAS SOUS 568283 HAS SOUPS 568283 WITH SCORE 571033.59
AT ITER 69 NEW BEST:: SOT 6008598 SOS 2750481 HAS SOPS 2750481 HAS SOUS 568174 HAS SOUPS 568174 WITH SCORE 570924.481
AT ITER 78 NEW BEST:: SOT 6008379 SOS 2750140 HAS SOPS 2750140 HAS SOUS 566735 HAS SOUPS 566735 WITH SCORE 569485.14
AT ITER 82 NEW BEST:: SOT 6008235 SOS 2749996 HAS SOPS 2749996 HAS SOUS 566591 HAS SOUPS 566591 WITH SCORE 569340.996
AT ITER 86 NEW BEST:: SOT 5986562 SOS 2728388 HAS SOPS 2728388 HAS SOUS 544983 HAS SOUPS 544983 WITH SCORE 547711.388
AT ITER 87 NEW BEST:: SOT 5986470 SOS 2728404 HAS SOPS 2728404 HAS SOUS 544977 HAS SOUPS 544977 WITH SCORE 547705.404
AT ITER 90 NEW BEST:: SOT 5986767 SOS 2728504 HAS SOPS 2728504 HAS SOUS 543248 HAS SOUPS 543248 WITH SCORE 545976.504
AT ITER 96 NEW BEST:: SOT 5986745 SOS 2728482 HAS SOPS 2728482 HAS SOUS 543226 HAS SOUPS 543226 WITH SCORE 545954.482
AT ITER 102 NEW BEST:: SOT 5986794 SOS 2728276 HAS SOPS 2728276 HAS SOUS 540967 HAS SOUPS 540967 WITH SCORE 543695.276
AT ITER 112 NEW BEST:: SOT 5986611 SOS 2727971 HAS SOPS 2727971 HAS SOUS 539564 HAS SOUPS 539564 WITH SCORE 542291.971
AT ITER 116 NEW BEST:: SOT 5986576 SOS 2727936 HAS SOPS 2727936 HAS SOUS 539529 HAS SOUPS 539529 WITH SCORE 542256.936
AT ITER 119 NEW BEST:: SOT 5756931 SOS 2498352 HAS SOPS 2498352 HAS SOUS 520029 HAS SOUPS 520029 WITH SCORE 522527.352
AT ITER 123 NEW BEST:: SOT 5756939 SOS 2498621 HAS SOPS 2498621 HAS SOUS 519924 HAS SOUPS 519924 WITH SCORE 522422.621
AT ITER 124 NEW BEST:: SOT 5756775 SOS 2498457 HAS SOPS 2498457 HAS SOUS 519760 HAS SOUPS 519760 WITH SCORE 522258.457
AT ITER 132 NEW BEST:: SOT 5756694 SOS 2498376 HAS SOPS 2498376 HAS SOUS 519598 HAS SOUPS 519598 WITH SCORE 522096.376
AT ITER 137 NEW BEST:: SOT 5756694 SOS 2498376 HAS SOPS 2498376 HAS SOUS 519457 HAS SOUPS 519457 WITH SCORE 521955.376
AT ITER 141 NEW BEST:: SOT 5756694 SOS 2498376 HAS SOPS 2498376 HAS SOUS 519445 HAS SOUPS 519445 WITH SCORE 521943.376
AT ITER 148 NEW BEST:: SOT 5756489 SOS 2498071 HAS SOPS 2498071 HAS SOUS 519140 HAS SOUPS 519140 WITH SCORE 521638.071
AT ITER 165 NEW BEST:: SOT 5756255 SOS 2497837 HAS SOPS 2497837 HAS SOUS 518906 HAS SOUPS 518906 WITH SCORE 521403.837
AT ITER 166 NEW BEST:: SOT 5756255 SOS 2497806 HAS SOPS 2497806 HAS SOUS 518596 HAS SOUPS 518596 WITH SCORE 521093.806
AT ITER 183 NEW BEST:: SOT 5756222 SOS 2497651 HAS SOPS 2497651 HAS SOUS 517345 HAS SOUPS 517345 WITH SCORE 519842.651
AT ITER 195 NEW BEST:: SOT 5756222 SOS 2497603 HAS SOPS 2497603 HAS SOUS 517301 HAS SOUPS 517301 WITH SCORE 519798.603
AT ITER 202 NEW BEST:: SOT 5756163 SOS 2497620 HAS SOPS 2497620 HAS SOUS 517283 HAS SOUPS 517283 WITH SCORE 519780.62
AT ITER 211 NEW BEST:: SOT 5756097 SOS 2497623 HAS SOPS 2497623 HAS SOUS 517241 HAS SOUPS 517241 WITH SCORE 519738.623
AT ITER 220 NEW BEST:: SOT 5756027 SOS 2497553 HAS SOPS 2497553 HAS SOUS 517171 HAS SOUPS 517171 WITH SCORE 519668.553
AT ITER 234 NEW BEST:: SOT 5755986 SOS 2497390 HAS SOPS 2497390 HAS SOUS 515910 HAS SOUPS 515910 WITH SCORE 518407.39
AT ITER 237 NEW BEST:: SOT 5755986 SOS 2497390 HAS SOPS 2497390 HAS SOUS 515714 HAS SOUPS 515714 WITH SCORE 518211.39
AT ITER 241 NEW BEST:: SOT 5755957 SOS 2497361 HAS SOPS 2497361 HAS SOUS 515685 HAS SOUPS 515685 WITH SCORE 518182.361
AT ITER 244 NEW BEST:: SOT 5756000 SOS 2497138 HAS SOPS 2497138 HAS SOUS 513308 HAS SOUPS 513308 WITH SCORE 515805.138
AT ITER 271 NEW BEST:: SOT 5756000 SOS 2497138 HAS SOPS 2497138 HAS SOUS 513236 HAS SOUPS 513236 WITH SCORE 515733.138
AT ITER 274 NEW BEST:: SOT 5756030 SOS 2497168 HAS SOPS 2497168 HAS SOUS 513026 HAS SOUPS 513026 WITH SCORE 515523.168
AT ITER 280 NEW BEST:: SOT 5756030 SOS 2497168 HAS SOPS 2497168 HAS SOUS 512846 HAS SOUPS 512846 WITH SCORE 515343.168
AT ITER 283 NEW BEST:: SOT 5755783 SOS 2496799 HAS SOPS 2496799 HAS SOUS 511393 HAS SOUPS 511393 WITH SCORE 513889.799
AT ITER 316 NEW BEST:: SOT 5755702 SOS 2496615 HAS SOPS 2496615 HAS SOUS 510398 HAS SOUPS 510398 WITH SCORE 512894.615
AT ITER 317 NEW BEST:: SOT 5755694 SOS 2496607 HAS SOPS 2496607 HAS SOUS 510382 HAS SOUPS 510382 WITH SCORE 512878.607
AT ITER 325 NEW BEST:: SOT 5755864 SOS 2496705 HAS SOPS 2496705 HAS SOUS 509974 HAS SOUPS 509974 WITH SCORE 512470.705
AT ITER 335 NEW BEST:: SOT 5756002 SOS 2496692 HAS SOPS 2496692 HAS SOUS 508719 HAS SOUPS 508719 WITH SCORE 511215.692
AT ITER 336 NEW BEST:: SOT 5755546 SOS 2496236 HAS SOPS 2496236 HAS SOUS 507593 HAS SOUPS 507593 WITH SCORE 510089.236
AT ITER 339 NEW BEST:: SOT 5755480 SOS 2496170 HAS SOPS 2496170 HAS SOUS 507527 HAS SOUPS 507527 WITH SCORE 510023.17
AT ITER 351 NEW BEST:: SOT 5755433 SOS 2496123 HAS SOPS 2496123 HAS SOUS 507480 HAS SOUPS 507480 WITH SCORE 509976.123
AT ITER 361 NEW BEST:: SOT 5755625 SOS 2496081 HAS SOPS 2496081 HAS SOUS 505378 HAS SOUPS 505378 WITH SCORE 507874.081
AT ITER 370 NEW BEST:: SOT 5755574 SOS 2495962 HAS SOPS 2495962 HAS SOUS 505310 HAS SOUPS 505310 WITH SCORE 507805.962
AT ITER 374 NEW BEST:: SOT 5756524 SOS 2496746 HAS SOPS 2496746 HAS SOUS 504766 HAS SOUPS 504766 WITH SCORE 507262.746
AT ITER 379 NEW BEST:: SOT 5756610 SOS 2496822 HAS SOPS 2496822 HAS SOUS 504762 HAS SOUPS 504762 WITH SCORE 507258.822
AT ITER 381 NEW BEST:: SOT 5756900 SOS 2497053 HAS SOPS 2497053 HAS SOUS 504521 HAS SOUPS 504521 WITH SCORE 507018.053
AT ITER 384 NEW BEST:: SOT 5756947 SOS 2496912 HAS SOPS 2496912 HAS SOUS 502937 HAS SOUPS 502937 WITH SCORE 505433.912
AT ITER 397 NEW BEST:: SOT 5756854 SOS 2496819 HAS SOPS 2496819 HAS SOUS 502844 HAS SOUPS 502844 WITH SCORE 505340.819
AT ITER 401 NEW BEST:: SOT 5756820 SOS 2496785 HAS SOPS 2496785 HAS SOUS 502784 HAS SOUPS 502784 WITH SCORE 505280.785
AT ITER 402 NEW BEST:: SOT 5715459 SOS 2455705 HAS SOPS 2455705 HAS SOUS 461462 HAS SOUPS 461462 WITH SCORE 463917.705
AT ITER 409 NEW BEST:: SOT 5715429 SOS 2455675 HAS SOPS 2455675 HAS SOUS 461402 HAS SOUPS 461402 WITH SCORE 463857.675
AT ITER 423 NEW BEST:: SOT 4211303 SOS 953275 HAS SOPS 953275 HAS SOUS 342166 HAS SOUPS 342166 WITH SCORE 343119.275
AT ITER 426 NEW BEST:: SOT 4211227 SOS 953199 HAS SOPS 953199 HAS SOUS 341926 HAS SOUPS 341926 WITH SCORE 342879.199
AT ITER 427 NEW BEST:: SOT 4211299 SOS 953179 HAS SOPS 953179 HAS SOUS 340900 HAS SOUPS 340900 WITH SCORE 341853.179
AT ITER 442 NEW BEST:: SOT 4210804 SOS 952684 HAS SOPS 952684 HAS SOUS 340405 HAS SOUPS 340405 WITH SCORE 341357.684
AT ITER 445 NEW BEST:: SOT 4210804 SOS 952684 HAS SOPS 952684 HAS SOUS 340285 HAS SOUPS 340285 WITH SCORE 341237.684
AT ITER 446 NEW BEST:: SOT 4210774 SOS 952654 HAS SOPS 952654 HAS SOUS 340255 HAS SOUPS 340255 WITH SCORE 341207.654
AT ITER 459 NEW BEST:: SOT 4210587 SOS 952467 HAS SOPS 952467 HAS SOUS 340068 HAS SOUPS 340068 WITH SCORE 341020.467
AT ITER 468 NEW BEST:: SOT 4210530 SOS 952410 HAS SOPS 952410 HAS SOUS 340011 HAS SOUPS 340011 WITH SCORE 340963.41
AT ITER 475 NEW BEST:: SOT 4210534 SOS 952209 HAS SOPS 952209 HAS SOUS 337835 HAS SOUPS 337835 WITH SCORE 338787.209
AT ITER 491 NEW BEST:: SOT 4212965 SOS 954401 HAS SOPS 954401 HAS SOUS 337810 HAS SOUPS 337810 WITH SCORE 338764.401
AT ITER 505 NEW BEST:: SOT 4212973 SOS 954727 HAS SOPS 954727 HAS SOUS 337724 HAS SOUPS 337724 WITH SCORE 338678.727
AT ITER 507 NEW BEST:: SOT 4212991 SOS 954745 HAS SOPS 954745 HAS SOUS 337502 HAS SOUPS 337502 WITH SCORE 338456.745
AT ITER 520 NEW BEST:: SOT 4212906 SOS 954706 HAS SOPS 954706 HAS SOUS 337494 HAS SOUPS 337494 WITH SCORE 338448.706
AT ITER 528 NEW BEST:: SOT 4212849 SOS 954649 HAS SOPS 954649 HAS SOUS 337437 HAS SOUPS 337437 WITH SCORE 338391.649
AT ITER 533 NEW BEST:: SOT 4212629 SOS 954429 HAS SOPS 954429 HAS SOUS 337084 HAS SOUPS 337084 WITH SCORE 338038.429
AT ITER 534 NEW BEST:: SOT 4212629 SOS 954429 HAS SOPS 954429 HAS SOUS 336524 HAS SOUPS 336524 WITH SCORE 337478.429
AT ITER 547 NEW BEST:: SOT 4213749 SOS 955444 HAS SOPS 955444 HAS SOUS 336444 HAS SOUPS 336444 WITH SCORE 337399.444
AT ITER 552 NEW BEST:: SOT 4213757 SOS 955632 HAS SOPS 955632 HAS SOUS 336312 HAS SOUPS 336312 WITH SCORE 337267.632
AT ITER 553 NEW BEST:: SOT 4213745 SOS 955534 HAS SOPS 955534 HAS SOUS 335090 HAS SOUPS 335090 WITH SCORE 336045.534
AT ITER 555 NEW BEST:: SOT 4213692 SOS 955542 HAS SOPS 955542 HAS SOUS 335075 HAS SOUPS 335075 WITH SCORE 336030.542
AT ITER 561 NEW BEST:: SOT 4213503 SOS 955353 HAS SOPS 955353 HAS SOUS 334886 HAS SOUPS 334886 WITH SCORE 335841.353
AT ITER 580 NEW BEST:: SOT 4213528 SOS 955081 HAS SOPS 955081 HAS SOUS 330589 HAS SOUPS 330589 WITH SCORE 331544.081
AT ITER 591 NEW BEST:: SOT 4213613 SOS 955120 HAS SOPS 955120 HAS SOUS 330464 HAS SOUPS 330464 WITH SCORE 331419.12
AT ITER 596 NEW BEST:: SOT 4213601 SOS 955108 HAS SOPS 955108 HAS SOUS 330452 HAS SOUPS 330452 WITH SCORE 331407.108
AT ITER 597 NEW BEST:: SOT 4213646 SOS 955153 HAS SOPS 955153 HAS SOUS 330295 HAS SOUPS 330295 WITH SCORE 331250.153
AT ITER 603 NEW BEST:: SOT 4213631 SOS 955138 HAS SOPS 955138 HAS SOUS 330265 HAS SOUPS 330265 WITH SCORE 331220.138
AT ITER 604 NEW BEST:: SOT 4213630 SOS 955064 HAS SOPS 955064 HAS SOUS 329193 HAS SOUPS 329193 WITH SCORE 330148.064
AT ITER 610 NEW BEST:: SOT 4213625 SOS 955059 HAS SOPS 955059 HAS SOUS 329188 HAS SOUPS 329188 WITH SCORE 330143.059
AT ITER 613 NEW BEST:: SOT 4211175 SOS 952625 HAS SOPS 952625 HAS SOUS 326853 HAS SOUPS 326853 WITH SCORE 327805.625
AT ITER 633 NEW BEST:: SOT 4211167 SOS 952617 HAS SOPS 952617 HAS SOUS 326845 HAS SOUPS 326845 WITH SCORE 327797.617
AT ITER 640 NEW BEST:: SOT 4211040 SOS 952567 HAS SOPS 952567 HAS SOUS 326795 HAS SOUPS 326795 WITH SCORE 327747.567
AT ITER 674 NEW BEST:: SOT 4211044 SOS 952571 HAS SOPS 952571 HAS SOUS 326792 HAS SOUPS 326792 WITH SCORE 327744.571
AT ITER 678 NEW BEST:: SOT 4211036 SOS 952563 HAS SOPS 952563 HAS SOUS 326776 HAS SOUPS 326776 WITH SCORE 327728.563
AT ITER 680 NEW BEST:: SOT 4211587 SOS 953084 HAS SOPS 953084 HAS SOUS 325929 HAS SOUPS 325929 WITH SCORE 326882.084
AT ITER 682 NEW BEST:: SOT 4211513 SOS 953010 HAS SOPS 953010 HAS SOUS 325855 HAS SOUPS 325855 WITH SCORE 326808.01
AT ITER 684 NEW BEST:: SOT 4211513 SOS 953010 HAS SOPS 953010 HAS SOUS 325817 HAS SOUPS 325817 WITH SCORE 326770.01
AT ITER 690 NEW BEST:: SOT 4211513 SOS 953010 HAS SOPS 953010 HAS SOUS 325627 HAS SOUPS 325627 WITH SCORE 326580.01
AT ITER 694 NEW BEST:: SOT 4211497 SOS 952994 HAS SOPS 952994 HAS SOUS 325611 HAS SOUPS 325611 WITH SCORE 326563.994
AT ITER 716 NEW BEST:: SOT 4211481 SOS 952956 HAS SOPS 952956 HAS SOUS 325573 HAS SOUPS 325573 WITH SCORE 326525.956
AT ITER 720 NEW BEST:: SOT 4211293 SOS 952768 HAS SOPS 952768 HAS SOUS 325259 HAS SOUPS 325259 WITH SCORE 326211.768
AT ITER 725 NEW BEST:: SOT 4211172 SOS 952753 HAS SOPS 952753 HAS SOUS 325094 HAS SOUPS 325094 WITH SCORE 326046.753
AT ITER 728 NEW BEST:: SOT 4211172 SOS 952753 HAS SOPS 952753 HAS SOUS 324918 HAS SOUPS 324918 WITH SCORE 325870.753
AT ITER 734 NEW BEST:: SOT 4211154 SOS 952735 HAS SOPS 952735 HAS SOUS 324900 HAS SOUPS 324900 WITH SCORE 325852.735
AT ITER 736 NEW BEST:: SOT 4211154 SOS 952725 HAS SOPS 952725 HAS SOUS 324800 HAS SOUPS 324800 WITH SCORE 325752.725
AT ITER 747 NEW BEST:: SOT 4211125 SOS 952696 HAS SOPS 952696 HAS SOUS 324771 HAS SOUPS 324771 WITH SCORE 325723.696
AT ITER 771 NEW BEST:: SOT 4211107 SOS 952678 HAS SOPS 952678 HAS SOUS 324753 HAS SOUPS 324753 WITH SCORE 325705.678
AT ITER 777 NEW BEST:: SOT 4211191 SOS 952820 HAS SOPS 952820 HAS SOUS 324655 HAS SOUPS 324655 WITH SCORE 325607.82
AT ITER 797 NEW BEST:: SOT 4211087 SOS 952716 HAS SOPS 952716 HAS SOUS 324551 HAS SOUPS 324551 WITH SCORE 325503.716
AT ITER 798 NEW BEST:: SOT 4211726 SOS 953219 HAS SOPS 953219 HAS SOUS 323706 HAS SOUPS 323706 WITH SCORE 324659.219
AT ITER 800 NEW BEST:: SOT 4211723 SOS 953216 HAS SOPS 953216 HAS SOUS 323676 HAS SOUPS 323676 WITH SCORE 324629.216
AT ITER 812 NEW BEST:: SOT 4200393 SOS 945190 HAS SOPS 945190 HAS SOUS 311440 HAS SOUPS 311440 WITH SCORE 312385.19
AT ITER 813 NEW BEST:: SOT 4200367 SOS 945164 HAS SOPS 945164 HAS SOUS 311414 HAS SOUPS 311414 WITH SCORE 312359.164
AT ITER 824 NEW BEST:: SOT 4200387 SOS 945249 HAS SOPS 945249 HAS SOUS 311196 HAS SOUPS 311196 WITH SCORE 312141.249
AT ITER 832 NEW BEST:: SOT 4200331 SOS 945727 HAS SOPS 945107 HAS SOUS 311096 HAS SOUPS 311034 WITH SCORE 311979.727
AT ITER 841 NEW BEST:: SOT 4200153 SOS 945549 HAS SOPS 944929 HAS SOUS 310918 HAS SOUPS 310856 WITH SCORE 311801.549
AT ITER 847 NEW BEST:: SOT 4200153 SOS 945549 HAS SOPS 944929 HAS SOUS 310903 HAS SOUPS 310841 WITH SCORE 311786.549
AT ITER 848 NEW BEST:: SOT 4200064 SOS 945460 HAS SOPS 944840 HAS SOUS 310814 HAS SOUPS 310752 WITH SCORE 311697.46
AT ITER 849 NEW BEST:: SOT 4201078 SOS 946474 HAS SOPS 945854 HAS SOUS 310373 HAS SOUPS 310311 WITH SCORE 311257.474
AT ITER 855 NEW BEST:: SOT 4201852 SOS 947248 HAS SOPS 946628 HAS SOUS 309491 HAS SOUPS 309429 WITH SCORE 310376.248
AT ITER 867 NEW BEST:: SOT 4201759 SOS 947155 HAS SOPS 946535 HAS SOUS 309398 HAS SOUPS 309336 WITH SCORE 310283.155
AT ITER 869 NEW BEST:: SOT 4201759 SOS 947136 HAS SOPS 946516 HAS SOUS 309379 HAS SOUPS 309317 WITH SCORE 310264.136
AT ITER 871 NEW BEST:: SOT 4201731 SOS 947056 HAS SOPS 946436 HAS SOUS 308494 HAS SOUPS 308432 WITH SCORE 309379.056
AT ITER 882 NEW BEST:: SOT 4201603 SOS 946928 HAS SOPS 946308 HAS SOUS 308366 HAS SOUPS 308304 WITH SCORE 309250.928
AT ITER 893 NEW BEST:: SOT 4201448 SOS 946773 HAS SOPS 946153 HAS SOUS 308211 HAS SOUPS 308149 WITH SCORE 309095.773
AT ITER 895 NEW BEST:: SOT 4201405 SOS 946730 HAS SOPS 946110 HAS SOUS 307985 HAS SOUPS 307923 WITH SCORE 308869.73
AT ITER 904 NEW BEST:: SOT 4201398 SOS 946723 HAS SOPS 946103 HAS SOUS 307978 HAS SOUPS 307916 WITH SCORE 308862.723
AT ITER 908 NEW BEST:: SOT 4201300 SOS 946625 HAS SOPS 946005 HAS SOUS 307880 HAS SOUPS 307818 WITH SCORE 308764.625
AT ITER 910 NEW BEST:: SOT 4201353 SOS 946620 HAS SOPS 946000 HAS SOUS 306838 HAS SOUPS 306776 WITH SCORE 307722.62
AT ITER 914 NEW BEST:: SOT 4201661 SOS 946928 HAS SOPS 946308 HAS SOUS 306689 HAS SOUPS 306627 WITH SCORE 307573.928
AT ITER 919 NEW BEST:: SOT 4201542 SOS 946445 HAS SOPS 945825 HAS SOUS 306300 HAS SOUPS 306238 WITH SCORE 307184.445
AT ITER 922 NEW BEST:: SOT 4201478 SOS 946381 HAS SOPS 945761 HAS SOUS 306236 HAS SOUPS 306174 WITH SCORE 307120.381
AT ITER 936 NEW BEST:: SOT 4202031 SOS 946934 HAS SOPS 946314 HAS SOUS 304959 HAS SOUPS 304897 WITH SCORE 305843.934
AT ITER 946 NEW BEST:: SOT 4201768 SOS 946671 HAS SOPS 946051 HAS SOUS 304561 HAS SOUPS 304499 WITH SCORE 305445.671
AT ITER 951 NEW BEST:: SOT 4201719 SOS 946708 HAS SOPS 946088 HAS SOUS 304546 HAS SOUPS 304484 WITH SCORE 305430.708
AT ITER 961 NEW BEST:: SOT 4201570 SOS 946559 HAS SOPS 945939 HAS SOUS 303243 HAS SOUPS 303181 WITH SCORE 304127.559
AT ITER 965 NEW BEST:: SOT 4201537 SOS 946526 HAS SOPS 945906 HAS SOUS 303201 HAS SOUPS 303139 WITH SCORE 304085.526
AT ITER 968 NEW BEST:: SOT 4201496 SOS 946508 HAS SOPS 945888 HAS SOUS 303183 HAS SOUPS 303121 WITH SCORE 304067.508
AT ITER 970 NEW BEST:: SOT 4201358 SOS 945996 HAS SOPS 945376 HAS SOUS 302785 HAS SOUPS 302723 WITH SCORE 303668.996
AT ITER 978 NEW BEST:: SOT 4201302 SOS 945940 HAS SOPS 945320 HAS SOUS 302729 HAS SOUPS 302667 WITH SCORE 303612.94
AT ITER 987 NEW BEST:: SOT 4201290 SOS 945928 HAS SOPS 945308 HAS SOUS 302717 HAS SOUPS 302655 WITH SCORE 303600.928
AT ITER 998 NEW BEST:: SOT 4201282 SOS 945920 HAS SOPS 945300 HAS SOUS 302709 HAS SOUPS 302647 WITH SCORE 303592.92
AT ITER 1001 NEW BEST:: SOT 4201272 SOS 945910 HAS SOPS 945290 HAS SOUS 302699 HAS SOUPS 302637 WITH SCORE 303582.91
AT ITER 1003 NEW BEST:: SOT 4202015 SOS 946653 HAS SOPS 946033 HAS SOUS 302552 HAS SOUPS 302490 WITH SCORE 303436.653
AT ITER 1004 NEW BEST:: SOT 4202015 SOS 946653 HAS SOPS 946033 HAS SOUS 302076 HAS SOUPS 302014 WITH SCORE 302960.653
AT ITER 1006 NEW BEST:: SOT 4202015 SOS 946653 HAS SOPS 946033 HAS SOUS 301957 HAS SOUPS 301895 WITH SCORE 302841.653
AT ITER 1017 NEW BEST:: SOT 4202003 SOS 946641 HAS SOPS 946021 HAS SOUS 301837 HAS SOUPS 301775 WITH SCORE 302721.641
AT ITER 1023 NEW BEST:: SOT 4202003 SOS 946641 HAS SOPS 946021 HAS SOUS 301818 HAS SOUPS 301756 WITH SCORE 302702.641
AT ITER 1028 NEW BEST:: SOT 4202112 SOS 946750 HAS SOPS 946130 HAS SOUS 299722 HAS SOUPS 299660 WITH SCORE 300606.75
AT ITER 1036 NEW BEST:: SOT 4202112 SOS 946750 HAS SOPS 946130 HAS SOUS 299698 HAS SOUPS 299636 WITH SCORE 300582.75
AT ITER 1045 NEW BEST:: SOT 4201778 SOS 946416 HAS SOPS 945796 HAS SOUS 299314 HAS SOUPS 299252 WITH SCORE 300198.416
AT ITER 1050 NEW BEST:: SOT 4201759 SOS 946408 HAS SOPS 945788 HAS SOUS 299278 HAS SOUPS 299216 WITH SCORE 300162.408
AT ITER 1056 NEW BEST:: SOT 4201746 SOS 946395 HAS SOPS 945775 HAS SOUS 299265 HAS SOUPS 299203 WITH SCORE 300149.395
AT ITER 1060 NEW BEST:: SOT 4201649 SOS 946298 HAS SOPS 945678 HAS SOUS 299134 HAS SOUPS 299072 WITH SCORE 300018.298
AT ITER 1064 NEW BEST:: SOT 4201620 SOS 946269 HAS SOPS 945649 HAS SOUS 299111 HAS SOUPS 299049 WITH SCORE 299995.269
AT ITER 1069 NEW BEST:: SOT 4201650 SOS 946299 HAS SOPS 945679 HAS SOUS 299065 HAS SOUPS 299003 WITH SCORE 299949.299
AT ITER 1073 NEW BEST:: SOT 4201793 SOS 946442 HAS SOPS 945822 HAS SOUS 297883 HAS SOUPS 297821 WITH SCORE 298767.442
AT ITER 1079 NEW BEST:: SOT 4201687 SOS 946336 HAS SOPS 945716 HAS SOUS 297777 HAS SOUPS 297715 WITH SCORE 298661.336
AT ITER 1100 NEW BEST:: SOT 4201687 SOS 946340 HAS SOPS 945720 HAS SOUS 297773 HAS SOUPS 297711 WITH SCORE 298657.34
AT ITER 1103 NEW BEST:: SOT 4201583 SOS 946320 HAS SOPS 945700 HAS SOUS 297773 HAS SOUPS 297711 WITH SCORE 298657.32
AT ITER 1117 NEW BEST:: SOT 4201507 SOS 946244 HAS SOPS 945624 HAS SOUS 297697 HAS SOUPS 297635 WITH SCORE 298581.244
AT ITER 1120 NEW BEST:: SOT 4201246 SOS 945983 HAS SOPS 945363 HAS SOUS 297436 HAS SOUPS 297374 WITH SCORE 298319.983
AT ITER 1124 NEW BEST:: SOT 4201246 SOS 945968 HAS SOPS 945348 HAS SOUS 297196 HAS SOUPS 297134 WITH SCORE 298079.968
AT ITER 1125 NEW BEST:: SOT 4201267 SOS 945999 HAS SOPS 945379 HAS SOUS 297160 HAS SOUPS 297098 WITH SCORE 298043.999
AT ITER 1127 NEW BEST:: SOT 4201227 SOS 945928 HAS SOPS 945308 HAS SOUS 296760 HAS SOUPS 296698 WITH SCORE 297643.928
AT ITER 1129 NEW BEST:: SOT 4200490 SOS 945191 HAS SOPS 944571 HAS SOUS 296153 HAS SOUPS 296091 WITH SCORE 297036.191
AT ITER 1135 NEW BEST:: SOT 4200437 SOS 945138 HAS SOPS 944518 HAS SOUS 296094 HAS SOUPS 296032 WITH SCORE 296977.138
AT ITER 1139 NEW BEST:: SOT 4200163 SOS 944864 HAS SOPS 944244 HAS SOUS 295820 HAS SOUPS 295758 WITH SCORE 296702.864
AT ITER 1142 NEW BEST:: SOT 4201132 SOS 945833 HAS SOPS 945213 HAS SOUS 295053 HAS SOUPS 294991 WITH SCORE 295936.833
AT ITER 1144 NEW BEST:: SOT 4200918 SOS 945619 HAS SOPS 944999 HAS SOUS 294702 HAS SOUPS 294640 WITH SCORE 295585.619
AT ITER 1155 NEW BEST:: SOT 4200809 SOS 945510 HAS SOPS 944890 HAS SOUS 294593 HAS SOUPS 294531 WITH SCORE 295476.51
AT ITER 1156 NEW BEST:: SOT 4200667 SOS 945362 HAS SOPS 944742 HAS SOUS 294299 HAS SOUPS 294237 WITH SCORE 295182.362
AT ITER 1158 NEW BEST:: SOT 4200611 SOS 945306 HAS SOPS 944686 HAS SOUS 294089 HAS SOUPS 294027 WITH SCORE 294972.306
AT ITER 1187 NEW BEST:: SOT 4200781 SOS 945476 HAS SOPS 944856 HAS SOUS 292634 HAS SOUPS 292572 WITH SCORE 293517.476
AT ITER 1190 NEW BEST:: SOT 4200777 SOS 945472 HAS SOPS 944852 HAS SOUS 292630 HAS SOUPS 292568 WITH SCORE 293513.472
AT ITER 1216 NEW BEST:: SOT 4200760 SOS 945455 HAS SOPS 944835 HAS SOUS 292613 HAS SOUPS 292551 WITH SCORE 293496.455
AT ITER 1217 NEW BEST:: SOT 4200760 SOS 945435 HAS SOPS 944815 HAS SOUS 292603 HAS SOUPS 292541 WITH SCORE 293486.435
AT ITER 1229 NEW BEST:: SOT 4200697 SOS 945372 HAS SOPS 944752 HAS SOUS 292540 HAS SOUPS 292478 WITH SCORE 293423.372
AT ITER 1236 NEW BEST:: SOT 4200563 SOS 945238 HAS SOPS 944618 HAS SOUS 292406 HAS SOUPS 292344 WITH SCORE 293289.238
AT ITER 1243 NEW BEST:: SOT 4200692 SOS 945367 HAS SOPS 944747 HAS SOUS 291616 HAS SOUPS 291554 WITH SCORE 292499.367
AT ITER 1247 NEW BEST:: SOT 4201109 SOS 945784 HAS SOPS 945164 HAS SOUS 291259 HAS SOUPS 291197 WITH SCORE 292142.784
AT ITER 1253 NEW BEST:: SOT 4200866 SOS 945541 HAS SOPS 944921 HAS SOUS 290961 HAS SOUPS 290899 WITH SCORE 291844.541
AT ITER 1277 NEW BEST:: SOT 4200630 SOS 945305 HAS SOPS 944685 HAS SOUS 290680 HAS SOUPS 290618 WITH SCORE 291563.305
AT ITER 1279 NEW BEST:: SOT 4200423 SOS 945098 HAS SOPS 944478 HAS SOUS 288013 HAS SOUPS 287951 WITH SCORE 288896.098
AT ITER 1285 NEW BEST:: SOT 4200363 SOS 945101 HAS SOPS 944481 HAS SOUS 287980 HAS SOUPS 287918 WITH SCORE 288863.101
AT ITER 1310 NEW BEST:: SOT 4200339 SOS 945113 HAS SOPS 944493 HAS SOUS 287893 HAS SOUPS 287831 WITH SCORE 288776.113
AT ITER 1312 NEW BEST:: SOT 4199989 SOS 944763 HAS SOPS 944143 HAS SOUS 287543 HAS SOUPS 287481 WITH SCORE 288425.763
AT ITER 1327 NEW BEST:: SOT 4199940 SOS 944709 HAS SOPS 944089 HAS SOUS 287027 HAS SOUPS 286965 WITH SCORE 287909.709
AT ITER 1328 NEW BEST:: SOT 4199904 SOS 944697 HAS SOPS 944077 HAS SOUS 286991 HAS SOUPS 286929 WITH SCORE 287873.697
AT ITER 1340 NEW BEST:: SOT 4199821 SOS 944614 HAS SOPS 943994 HAS SOUS 286829 HAS SOUPS 286767 WITH SCORE 287711.614
AT ITER 1343 NEW BEST:: SOT 4199749 SOS 944542 HAS SOPS 943922 HAS SOUS 286757 HAS SOUPS 286695 WITH SCORE 287639.542
AT ITER 1345 NEW BEST:: SOT 4199748 SOS 944518 HAS SOPS 943898 HAS SOUS 286733 HAS SOUPS 286671 WITH SCORE 287615.518
AT ITER 1347 NEW BEST:: SOT 4199914 SOS 944665 HAS SOPS 944045 HAS SOUS 286723 HAS SOUPS 286661 WITH SCORE 287605.665
AT ITER 1350 NEW BEST:: SOT 4200094 SOS 944845 HAS SOPS 944225 HAS SOUS 286704 HAS SOUPS 286642 WITH SCORE 287586.845
AT ITER 1376 NEW BEST:: SOT 4199574 SOS 944325 HAS SOPS 943705 HAS SOUS 285604 HAS SOUPS 285542 WITH SCORE 286486.325
AT ITER 1377 NEW BEST:: SOT 4199574 SOS 944352 HAS SOPS 943732 HAS SOUS 285586 HAS SOUPS 285524 WITH SCORE 286468.352
AT ITER 1391 NEW BEST:: SOT 4199442 SOS 944220 HAS SOPS 943600 HAS SOUS 285454 HAS SOUPS 285392 WITH SCORE 286336.22
AT ITER 1408 NEW BEST:: SOT 4199347 SOS 944125 HAS SOPS 943505 HAS SOUS 285359 HAS SOUPS 285297 WITH SCORE 286241.125
AT ITER 1410 NEW BEST:: SOT 4199309 SOS 944087 HAS SOPS 943467 HAS SOUS 285321 HAS SOUPS 285259 WITH SCORE 286203.087
AT ITER 1411 NEW BEST:: SOT 4199312 SOS 944090 HAS SOPS 943470 HAS SOUS 285194 HAS SOUPS 285132 WITH SCORE 286076.09
AT ITER 1423 NEW BEST:: SOT 4199329 SOS 944107 HAS SOPS 943487 HAS SOUS 285191 HAS SOUPS 285129 WITH SCORE 286073.107
AT ITER 1439 NEW BEST:: SOT 4199248 SOS 944026 HAS SOPS 943406 HAS SOUS 284989 HAS SOUPS 284927 WITH SCORE 285871.026
AT ITER 1442 NEW BEST:: SOT 4199238 SOS 944016 HAS SOPS 943396 HAS SOUS 284954 HAS SOUPS 284892 WITH SCORE 285836.016
AT ITER 1445 NEW BEST:: SOT 4199318 SOS 944096 HAS SOPS 943476 HAS SOUS 284714 HAS SOUPS 284652 WITH SCORE 285596.096
AT ITER 1449 NEW BEST:: SOT 4199034 SOS 943812 HAS SOPS 943192 HAS SOUS 284202 HAS SOUPS 284140 WITH SCORE 285083.812
AT ITER 1453 NEW BEST:: SOT 4199033 SOS 943811 HAS SOPS 943191 HAS SOUS 284201 HAS SOUPS 284139 WITH SCORE 285082.811
AT ITER 1454 NEW BEST:: SOT 4198730 SOS 943508 HAS SOPS 942888 HAS SOUS 283723 HAS SOUPS 283661 WITH SCORE 284604.508
AT ITER 1456 NEW BEST:: SOT 4198675 SOS 943533 HAS SOPS 942913 HAS SOUS 283699 HAS SOUPS 283637 WITH SCORE 284580.533
AT ITER 1461 NEW BEST:: SOT 4199361 SOS 944219 HAS SOPS 943599 HAS SOUS 282072 HAS SOUPS 282010 WITH SCORE 282954.219
AT ITER 1470 NEW BEST:: SOT 4199452 SOS 944233 HAS SOPS 943613 HAS SOUS 282024 HAS SOUPS 281962 WITH SCORE 282906.233
AT ITER 1472 NEW BEST:: SOT 4199462 SOS 944243 HAS SOPS 943623 HAS SOUS 281794 HAS SOUPS 281732 WITH SCORE 282676.243
AT ITER 1480 NEW BEST:: SOT 4199285 SOS 944066 HAS SOPS 943446 HAS SOUS 281360 HAS SOUPS 281298 WITH SCORE 282242.066
AT ITER 1492 NEW BEST:: SOT 4199193 SOS 943974 HAS SOPS 943354 HAS SOUS 281268 HAS SOUPS 281206 WITH SCORE 282149.974
AT ITER 1513 NEW BEST:: SOT 4198923 SOS 943704 HAS SOPS 943084 HAS SOUS 280998 HAS SOUPS 280936 WITH SCORE 281879.704
AT ITER 1514 NEW BEST:: SOT 4198888 SOS 943669 HAS SOPS 943049 HAS SOUS 280953 HAS SOUPS 280891 WITH SCORE 281834.669
AT ITER 1515 NEW BEST:: SOT 4198656 SOS 943437 HAS SOPS 942817 HAS SOUS 280593 HAS SOUPS 280531 WITH SCORE 281474.437
AT ITER 1522 NEW BEST:: SOT 4198656 SOS 943437 HAS SOPS 942817 HAS SOUS 280511 HAS SOUPS 280449 WITH SCORE 281392.437
AT ITER 1530 NEW BEST:: SOT 4199416 SOS 944143 HAS SOPS 943523 HAS SOUS 280209 HAS SOUPS 280147 WITH SCORE 281091.143
AT ITER 1558 NEW BEST:: SOT 4199188 SOS 943915 HAS SOPS 943295 HAS SOUS 279882 HAS SOUPS 279820 WITH SCORE 280763.915
AT ITER 1560 NEW BEST:: SOT 4199161 SOS 943888 HAS SOPS 943268 HAS SOUS 279855 HAS SOUPS 279793 WITH SCORE 280736.888
AT ITER 1565 NEW BEST:: SOT 4198948 SOS 943675 HAS SOPS 943055 HAS SOUS 279642 HAS SOUPS 279580 WITH SCORE 280523.675
AT ITER 1569 NEW BEST:: SOT 4198965 SOS 943680 HAS SOPS 943060 HAS SOUS 279479 HAS SOUPS 279417 WITH SCORE 280360.68
AT ITER 1572 NEW BEST:: SOT 4198853 SOS 943568 HAS SOPS 942948 HAS SOUS 279367 HAS SOUPS 279305 WITH SCORE 280248.568
AT ITER 1590 NEW BEST:: SOT 4198811 SOS 943209 HAS SOPS 942589 HAS SOUS 279108 HAS SOUPS 279046 WITH SCORE 279989.209
AT ITER 1593 NEW BEST:: SOT 4198726 SOS 943124 HAS SOPS 942504 HAS SOUS 279023 HAS SOUPS 278961 WITH SCORE 279904.124
AT ITER 1606 NEW BEST:: SOT 4198709 SOS 943107 HAS SOPS 942487 HAS SOUS 279006 HAS SOUPS 278944 WITH SCORE 279887.107
AT ITER 1609 NEW BEST:: SOT 4198649 SOS 942972 HAS SOPS 942352 HAS SOUS 278931 HAS SOUPS 278869 WITH SCORE 279811.972
AT ITER 1612 NEW BEST:: SOT 4198611 SOS 942934 HAS SOPS 942314 HAS SOUS 278893 HAS SOUPS 278831 WITH SCORE 279773.934
AT ITER 1617 NEW BEST:: SOT 4198470 SOS 942793 HAS SOPS 942173 HAS SOUS 278752 HAS SOUPS 278690 WITH SCORE 279632.793
AT ITER 1624 NEW BEST:: SOT 4198423 SOS 942746 HAS SOPS 942126 HAS SOUS 278689 HAS SOUPS 278627 WITH SCORE 279569.746
AT ITER 1634 NEW BEST:: SOT 4198037 SOS 942360 HAS SOPS 941740 HAS SOUS 278303 HAS SOUPS 278241 WITH SCORE 279183.36
AT ITER 1636 NEW BEST:: SOT 4198037 SOS 942351 HAS SOPS 941731 HAS SOUS 278303 HAS SOUPS 278241 WITH SCORE 279183.351
AT ITER 1651 NEW BEST:: SOT 4197869 SOS 942185 HAS SOPS 941565 HAS SOUS 278055 HAS SOUPS 277993 WITH SCORE 278935.185
AT ITER 1654 NEW BEST:: SOT 4197832 SOS 942148 HAS SOPS 941528 HAS SOUS 277685 HAS SOUPS 277623 WITH SCORE 278565.148
AT ITER 1677 NEW BEST:: SOT 4197774 SOS 942090 HAS SOPS 941470 HAS SOUS 277640 HAS SOUPS 277578 WITH SCORE 278520.09
AT ITER 1687 NEW BEST:: SOT 4198012 SOS 942328 HAS SOPS 941708 HAS SOUS 277477 HAS SOUPS 277415 WITH SCORE 278357.328
AT ITER 1693 NEW BEST:: SOT 4197992 SOS 942308 HAS SOPS 941688 HAS SOUS 277457 HAS SOUPS 277395 WITH SCORE 278337.308
AT ITER 1695 NEW BEST:: SOT 4197716 SOS 942032 HAS SOPS 941412 HAS SOUS 277181 HAS SOUPS 277119 WITH SCORE 278061.032
AT ITER 1721 NEW BEST:: SOT 4197705 SOS 941861 HAS SOPS 941241 HAS SOUS 277074 HAS SOUPS 277012 WITH SCORE 277953.861
AT ITER 1727 NEW BEST:: SOT 4197705 SOS 941861 HAS SOPS 941241 HAS SOUS 276912 HAS SOUPS 276850 WITH SCORE 277791.861
AT ITER 1728 NEW BEST:: SOT 4197595 SOS 941751 HAS SOPS 941131 HAS SOUS 276802 HAS SOUPS 276740 WITH SCORE 277681.751
AT ITER 1731 NEW BEST:: SOT 4197585 SOS 941741 HAS SOPS 941121 HAS SOUS 276782 HAS SOUPS 276720 WITH SCORE 277661.741
AT ITER 1740 NEW BEST:: SOT 4197535 SOS 941691 HAS SOPS 941071 HAS SOUS 276732 HAS SOUPS 276670 WITH SCORE 277611.691
AT ITER 1746 NEW BEST:: SOT 4197801 SOS 941957 HAS SOPS 941337 HAS SOUS 276374 HAS SOUPS 276312 WITH SCORE 277253.957
AT ITER 1752 NEW BEST:: SOT 4197746 SOS 941902 HAS SOPS 941282 HAS SOUS 276316 HAS SOUPS 276254 WITH SCORE 277195.902
AT ITER 1762 NEW BEST:: SOT 4198379 SOS 942535 HAS SOPS 941915 HAS SOUS 276094 HAS SOUPS 276032 WITH SCORE 276974.535
AT ITER 1769 NEW BEST:: SOT 4198293 SOS 942449 HAS SOPS 941829 HAS SOUS 275914 HAS SOUPS 275852 WITH SCORE 276794.449
AT ITER 1770 NEW BEST:: SOT 4198033 SOS 942189 HAS SOPS 941569 HAS SOUS 275410 HAS SOUPS 275348 WITH SCORE 276290.189
AT ITER 1773 NEW BEST:: SOT 4197613 SOS 942928 HAS SOPS 942308 HAS SOUS 275117 HAS SOUPS 275055 WITH SCORE 275997.928
AT ITER 1774 NEW BEST:: SOT 4197461 SOS 942776 HAS SOPS 942156 HAS SOUS 274555 HAS SOUPS 274493 WITH SCORE 275435.776
AT ITER 1794 NEW BEST:: SOT 4197542 SOS 942857 HAS SOPS 942237 HAS SOUS 273807 HAS SOUPS 273745 WITH SCORE 274687.857
AT ITER 1800 NEW BEST:: SOT 4197478 SOS 942793 HAS SOPS 942173 HAS SOUS 273679 HAS SOUPS 273617 WITH SCORE 274559.793
AT ITER 1803 NEW BEST:: SOT 4197478 SOS 942793 HAS SOPS 942173 HAS SOUS 273641 HAS SOUPS 273579 WITH SCORE 274521.793
AT ITER 1809 NEW BEST:: SOT 4197197 SOS 942512 HAS SOPS 941892 HAS SOUS 273130 HAS SOUPS 273068 WITH SCORE 274010.512
AT ITER 1813 NEW BEST:: SOT 4197063 SOS 942378 HAS SOPS 941758 HAS SOUS 272996 HAS SOUPS 272934 WITH SCORE 273876.378
AT ITER 1815 NEW BEST:: SOT 4196765 SOS 942080 HAS SOPS 941460 HAS SOUS 272456 HAS SOUPS 272394 WITH SCORE 273336.08
AT ITER 1821 NEW BEST:: SOT 4196751 SOS 942066 HAS SOPS 941446 HAS SOUS 272411 HAS SOUPS 272349 WITH SCORE 273291.066
AT ITER 1826 NEW BEST:: SOT 4196742 SOS 942057 HAS SOPS 941437 HAS SOUS 272400 HAS SOUPS 272338 WITH SCORE 273280.057
AT ITER 1843 NEW BEST:: SOT 3862471 SOS 1614590 HAS SOPS 1613970 HAS SOUS 264207 HAS SOUPS 264145 WITH SCORE 265759.59
AT ITER 1851 NEW BEST:: SOT 3862527 SOS 1614646 HAS SOPS 1614026 HAS SOUS 263806 HAS SOUPS 263744 WITH SCORE 265358.646
AT ITER 1876 NEW BEST:: SOT 3862315 SOS 1614434 HAS SOPS 1613814 HAS SOUS 263594 HAS SOUPS 263532 WITH SCORE 265146.434
AT ITER 1889 NEW BEST:: SOT 3862109 SOS 1614228 HAS SOPS 1613608 HAS SOUS 263388 HAS SOUPS 263326 WITH SCORE 264940.228
AT ITER 1910 NEW BEST:: SOT 3862097 SOS 1614216 HAS SOPS 1613596 HAS SOUS 263376 HAS SOUPS 263314 WITH SCORE 264928.216
AT ITER 1915 NEW BEST:: SOT 3862055 SOS 1614213 HAS SOPS 1613593 HAS SOUS 263280 HAS SOUPS 263218 WITH SCORE 264832.213
AT ITER 1921 NEW BEST:: SOT 3862000 SOS 1614103 HAS SOPS 1613483 HAS SOUS 263170 HAS SOUPS 263108 WITH SCORE 264722.103
AT ITER 1941 NEW BEST:: SOT 3862062 SOS 1614165 HAS SOPS 1613545 HAS SOUS 262080 HAS SOUPS 262018 WITH SCORE 263632.165
AT ITER 1969 NEW BEST:: SOT 3862062 SOS 1614155 HAS SOPS 1613535 HAS SOUS 262002 HAS SOUPS 261940 WITH SCORE 263554.155
AT ITER 1973 NEW BEST:: SOT 3862062 SOS 1614155 HAS SOPS 1613535 HAS SOUS 261966 HAS SOUPS 261904 WITH SCORE 263518.155
AT ITER 1975 NEW BEST:: SOT 3862036 SOS 1614129 HAS SOPS 1613509 HAS SOUS 261940 HAS SOUPS 261878 WITH SCORE 263492.129
AT ITER 1992 NEW BEST:: SOT 3861300 SOS 1613393 HAS SOPS 1612773 HAS SOUS 260674 HAS SOUPS 260612 WITH SCORE 262225.393
AT ITER 2006 NEW BEST:: SOT 3861323 SOS 1613439 HAS SOPS 1612819 HAS SOUS 260630 HAS SOUPS 260568 WITH SCORE 262181.439
AT ITER 2010 NEW BEST:: SOT 3861272 SOS 1613388 HAS SOPS 1612768 HAS SOUS 260531 HAS SOUPS 260469 WITH SCORE 262082.388
AT ITER 2016 NEW BEST:: SOT 3861410 SOS 1613526 HAS SOPS 1612906 HAS SOUS 258857 HAS SOUPS 258795 WITH SCORE 260408.526
AT ITER 2028 NEW BEST:: SOT 3861565 SOS 1613681 HAS SOPS 1613061 HAS SOUS 257985 HAS SOUPS 257923 WITH SCORE 259536.681
AT ITER 2036 NEW BEST:: SOT 3862056 SOS 1614172 HAS SOPS 1613552 HAS SOUS 257911 HAS SOUPS 257849 WITH SCORE 259463.172
AT ITER 2041 NEW BEST:: SOT 3861980 SOS 1614096 HAS SOPS 1613476 HAS SOUS 257835 HAS SOUPS 257773 WITH SCORE 259387.096
AT ITER 2055 NEW BEST:: SOT 3861918 SOS 1614034 HAS SOPS 1613414 HAS SOUS 257749 HAS SOUPS 257687 WITH SCORE 259301.034
AT ITER 2066 NEW BEST:: SOT 3861911 SOS 1614027 HAS SOPS 1613407 HAS SOUS 257735 HAS SOUPS 257673 WITH SCORE 259287.027
AT ITER 2087 NEW BEST:: SOT 3861853 SOS 1613969 HAS SOPS 1613349 HAS SOUS 257531 HAS SOUPS 257469 WITH SCORE 259082.969
AT ITER 2092 NEW BEST:: SOT 3848353 SOS 1600425 HAS SOPS 1599805 HAS SOUS 243987 HAS SOUPS 243925 WITH SCORE 245525.425
AT ITER 2120 NEW BEST:: SOT 3848344 SOS 1600416 HAS SOPS 1599796 HAS SOUS 243722 HAS SOUPS 243660 WITH SCORE 245260.416
AT ITER 2122 NEW BEST:: SOT 3848344 SOS 1600405 HAS SOPS 1599785 HAS SOUS 243711 HAS SOUPS 243649 WITH SCORE 245249.405
AT ITER 2130 NEW BEST:: SOT 3848315 SOS 1600376 HAS SOPS 1599756 HAS SOUS 243689 HAS SOUPS 243627 WITH SCORE 245227.376
AT ITER 2156 NEW BEST:: SOT 3848175 SOS 1600236 HAS SOPS 1599616 HAS SOUS 243395 HAS SOUPS 243333 WITH SCORE 244933.236
AT ITER 2158 NEW BEST:: SOT 3848144 SOS 1600205 HAS SOPS 1599585 HAS SOUS 243211 HAS SOUPS 243149 WITH SCORE 244749.205
AT ITER 2160 NEW BEST:: SOT 3848144 SOS 1600205 HAS SOPS 1599585 HAS SOUS 243132 HAS SOUPS 243070 WITH SCORE 244670.205
AT ITER 2162 NEW BEST:: SOT 3848144 SOS 1600115 HAS SOPS 1599495 HAS SOUS 242970 HAS SOUPS 242908 WITH SCORE 244508.115
AT ITER 2170 NEW BEST:: SOT 3848144 SOS 1600083 HAS SOPS 1599463 HAS SOUS 242970 HAS SOUPS 242908 WITH SCORE 244508.083
AT ITER 2179 NEW BEST:: SOT 3848070 SOS 1600009 HAS SOPS 1599389 HAS SOUS 242656 HAS SOUPS 242594 WITH SCORE 244194.009
AT ITER 2183 NEW BEST:: SOT 3847415 SOS 1599354 HAS SOPS 1598734 HAS SOUS 241066 HAS SOUPS 241004 WITH SCORE 242603.354
AT ITER 2184 NEW BEST:: SOT 3848249 SOS 1600188 HAS SOPS 1599568 HAS SOUS 240856 HAS SOUPS 240794 WITH SCORE 242394.188
AT ITER 2214 NEW BEST:: SOT 3848039 SOS 1599978 HAS SOPS 1599358 HAS SOUS 240659 HAS SOUPS 240597 WITH SCORE 242196.978
AT ITER 2224 NEW BEST:: SOT 3848039 SOS 1599978 HAS SOPS 1599358 HAS SOUS 240567 HAS SOUPS 240505 WITH SCORE 242104.978
AT ITER 2237 NEW BEST:: SOT 3847966 SOS 1599905 HAS SOPS 1599285 HAS SOUS 239653 HAS SOUPS 239591 WITH SCORE 241190.905
AT ITER 2250 NEW BEST:: SOT 3847662 SOS 1599601 HAS SOPS 1598981 HAS SOUS 239349 HAS SOUPS 239287 WITH SCORE 240886.601
AT ITER 2253 NEW BEST:: SOT 3847622 SOS 1599561 HAS SOPS 1598941 HAS SOUS 239029 HAS SOUPS 238967 WITH SCORE 240566.561
AT ITER 2256 NEW BEST:: SOT 3847203 SOS 1599142 HAS SOPS 1598522 HAS SOUS 238558 HAS SOUPS 238496 WITH SCORE 240095.142
AT ITER 2257 NEW BEST:: SOT 3847199 SOS 1599138 HAS SOPS 1598518 HAS SOUS 238554 HAS SOUPS 238492 WITH SCORE 240091.138
AT ITER 2286 NEW BEST:: SOT 3847199 SOS 1599138 HAS SOPS 1598518 HAS SOUS 238474 HAS SOUPS 238412 WITH SCORE 240011.138
AT ITER 2290 NEW BEST:: SOT 3847128 SOS 1599067 HAS SOPS 1598447 HAS SOUS 238403 HAS SOUPS 238341 WITH SCORE 239940.067
AT ITER 2303 NEW BEST:: SOT 3847044 SOS 1598983 HAS SOPS 1598363 HAS SOUS 238319 HAS SOUPS 238257 WITH SCORE 239855.983
AT ITER 2319 NEW BEST:: SOT 3846707 SOS 1598723 HAS SOPS 1598103 HAS SOUS 238057 HAS SOUPS 237995 WITH SCORE 239593.723
AT ITER 2331 NEW BEST:: SOT 3846710 SOS 1598726 HAS SOPS 1598106 HAS SOUS 237788 HAS SOUPS 237726 WITH SCORE 239324.726
AT ITER 2340 NEW BEST:: SOT 3846545 SOS 1598164 HAS SOPS 1597544 HAS SOUS 237336 HAS SOUPS 237274 WITH SCORE 238872.164
AT ITER 2342 NEW BEST:: SOT 3846336 SOS 1597955 HAS SOPS 1597335 HAS SOUS 237127 HAS SOUPS 237065 WITH SCORE 238662.955
AT ITER 2345 NEW BEST:: SOT 3846153 SOS 1597772 HAS SOPS 1597152 HAS SOUS 236944 HAS SOUPS 236882 WITH SCORE 238479.772
AT ITER 2352 NEW BEST:: SOT 3846156 SOS 1597775 HAS SOPS 1597155 HAS SOUS 236648 HAS SOUPS 236586 WITH SCORE 238183.775
AT ITER 2361 NEW BEST:: SOT 3846168 SOS 1597787 HAS SOPS 1597167 HAS SOUS 236543 HAS SOUPS 236481 WITH SCORE 238078.787
AT ITER 2362 NEW BEST:: SOT 3846098 SOS 1597647 HAS SOPS 1597027 HAS SOUS 236403 HAS SOUPS 236341 WITH SCORE 237938.647
AT ITER 2380 NEW BEST:: SOT 3846098 SOS 1597600 HAS SOPS 1596980 HAS SOUS 236309 HAS SOUPS 236247 WITH SCORE 237844.6
AT ITER 2381 NEW BEST:: SOT 3846075 SOS 1597577 HAS SOPS 1596957 HAS SOUS 236286 HAS SOUPS 236224 WITH SCORE 237821.577
AT ITER 2384 NEW BEST:: SOT 3845851 SOS 1597353 HAS SOPS 1596733 HAS SOUS 236062 HAS SOUPS 236000 WITH SCORE 237597.353
AT ITER 2385 NEW BEST:: SOT 3845851 SOS 1597353 HAS SOPS 1596733 HAS SOUS 234498 HAS SOUPS 234436 WITH SCORE 236033.353
AT ITER 2388 NEW BEST:: SOT 3846265 SOS 1597767 HAS SOPS 1597147 HAS SOUS 234282 HAS SOUPS 234220 WITH SCORE 235817.767
AT ITER 2390 NEW BEST:: SOT 3836195 SOS 1587627 HAS SOPS 1587027 HAS SOUS 233495 HAS SOUPS 233433 WITH SCORE 235020.627
AT ITER 2392 NEW BEST:: SOT 3835844 SOS 1587276 HAS SOPS 1586676 HAS SOUS 233144 HAS SOUPS 233082 WITH SCORE 234669.276
AT ITER 2397 NEW BEST:: SOT 3835700 SOS 1587060 HAS SOPS 1586460 HAS SOUS 232219 HAS SOUPS 232157 WITH SCORE 233744.06
AT ITER 2407 NEW BEST:: SOT 3835787 SOS 1587147 HAS SOPS 1586547 HAS SOUS 231958 HAS SOUPS 231896 WITH SCORE 233483.147
AT ITER 2410 NEW BEST:: SOT 3835770 SOS 1587130 HAS SOPS 1586530 HAS SOUS 231941 HAS SOUPS 231879 WITH SCORE 233466.13
AT ITER 2421 NEW BEST:: SOT 3835704 SOS 1587064 HAS SOPS 1586464 HAS SOUS 231703 HAS SOUPS 231641 WITH SCORE 233228.064
AT ITER 2422 NEW BEST:: SOT 3835735 SOS 1587126 HAS SOPS 1586526 HAS SOUS 231637 HAS SOUPS 231575 WITH SCORE 233162.126
AT ITER 2437 NEW BEST:: SOT 3835735 SOS 1587117 HAS SOPS 1586517 HAS SOUS 231628 HAS SOUPS 231566 WITH SCORE 233153.117
AT ITER 2461 NEW BEST:: SOT 3835741 SOS 1586976 HAS SOPS 1586376 HAS SOUS 231565 HAS SOUPS 231503 WITH SCORE 233089.976
AT ITER 2471 NEW BEST:: SOT 3835725 SOS 1586960 HAS SOPS 1586360 HAS SOUS 231549 HAS SOUPS 231487 WITH SCORE 233073.96
AT ITER 2483 NEW BEST:: SOT 3835658 SOS 1586893 HAS SOPS 1586293 HAS SOUS 231375 HAS SOUPS 231313 WITH SCORE 232899.893
AT ITER 2491 NEW BEST:: SOT 3836211 SOS 1587446 HAS SOPS 1586846 HAS SOUS 231340 HAS SOUPS 231278 WITH SCORE 232865.446
AT ITER 2494 NEW BEST:: SOT 3835908 SOS 1587143 HAS SOPS 1586543 HAS SOUS 231028 HAS SOUPS 230966 WITH SCORE 232553.143
AT ITER 2518 NEW BEST:: SOT 3835802 SOS 1587037 HAS SOPS 1586437 HAS SOUS 230922 HAS SOUPS 230860 WITH SCORE 232447.037
AT ITER 2528 NEW BEST:: SOT 3835802 SOS 1586996 HAS SOPS 1586396 HAS SOUS 230841 HAS SOUPS 230779 WITH SCORE 232365.996
AT ITER 2542 NEW BEST:: SOT 3835759 SOS 1586986 HAS SOPS 1586386 HAS SOUS 230831 HAS SOUPS 230769 WITH SCORE 232355.986
AT ITER 2547 NEW BEST:: SOT 3835737 SOS 1586720 HAS SOPS 1586120 HAS SOUS 230677 HAS SOUPS 230615 WITH SCORE 232201.72
AT ITER 2560 NEW BEST:: SOT 3835736 SOS 1586719 HAS SOPS 1586119 HAS SOUS 230676 HAS SOUPS 230614 WITH SCORE 232200.719
AT ITER 2568 NEW BEST:: SOT 3835727 SOS 1586710 HAS SOPS 1586110 HAS SOUS 230667 HAS SOUPS 230605 WITH SCORE 232191.71
AT ITER 2577 NEW BEST:: SOT 3835708 SOS 1586691 HAS SOPS 1586091 HAS SOUS 230456 HAS SOUPS 230394 WITH SCORE 231980.691
AT ITER 2583 NEW BEST:: SOT 3835665 SOS 1586648 HAS SOPS 1586048 HAS SOUS 230413 HAS SOUPS 230351 WITH SCORE 231937.648
AT ITER 2588 NEW BEST:: SOT 3835665 SOS 1586648 HAS SOPS 1586048 HAS SOUS 230385 HAS SOUPS 230323 WITH SCORE 231909.648
AT ITER 2595 NEW BEST:: SOT 3835665 SOS 1586648 HAS SOPS 1586048 HAS SOUS 230347 HAS SOUPS 230285 WITH SCORE 231871.648
AT ITER 2602 NEW BEST:: SOT 3835554 SOS 1586537 HAS SOPS 1585937 HAS SOUS 230225 HAS SOUPS 230163 WITH SCORE 231749.537
AT ITER 2608 NEW BEST:: SOT 3835494 SOS 1586477 HAS SOPS 1585877 HAS SOUS 230092 HAS SOUPS 230030 WITH SCORE 231616.477
AT ITER 2615 NEW BEST:: SOT 3835494 SOS 1586477 HAS SOPS 1585877 HAS SOUS 230053 HAS SOUPS 229991 WITH SCORE 231577.477
AT ITER 2637 NEW BEST:: SOT 3835458 SOS 1586441 HAS SOPS 1585841 HAS SOUS 229936 HAS SOUPS 229874 WITH SCORE 231460.441
AT ITER 2666 NEW BEST:: SOT 3835468 SOS 1586451 HAS SOPS 1585851 HAS SOUS 229911 HAS SOUPS 229849 WITH SCORE 231435.451
AT ITER 2669 NEW BEST:: SOT 3835480 SOS 1586331 HAS SOPS 1585731 HAS SOUS 229813 HAS SOUPS 229751 WITH SCORE 231337.331
AT ITER 2681 NEW BEST:: SOT 3835480 SOS 1586801 HAS SOPS 1586201 HAS SOUS 229801 HAS SOUPS 229739 WITH SCORE 231325.801
AT ITER 2685 NEW BEST:: SOT 3835407 SOS 1586728 HAS SOPS 1586128 HAS SOUS 229728 HAS SOUPS 229666 WITH SCORE 231252.728
AT ITER 2691 NEW BEST:: SOT 3835374 SOS 1586697 HAS SOPS 1586097 HAS SOUS 229721 HAS SOUPS 229659 WITH SCORE 231245.697
AT ITER 2692 NEW BEST:: SOT 3835374 SOS 1586697 HAS SOPS 1586097 HAS SOUS 229710 HAS SOUPS 229648 WITH SCORE 231234.697
AT ITER 2698 NEW BEST:: SOT 3835267 SOS 1586590 HAS SOPS 1585990 HAS SOUS 229581 HAS SOUPS 229519 WITH SCORE 231105.59
AT ITER 2700 NEW BEST:: SOT 3835203 SOS 1586526 HAS SOPS 1585926 HAS SOUS 229382 HAS SOUPS 229320 WITH SCORE 230906.526
AT ITER 2707 NEW BEST:: SOT 3835150 SOS 1586096 HAS SOPS 1585496 HAS SOUS 229119 HAS SOUPS 229057 WITH SCORE 230643.096
AT ITER 2709 NEW BEST:: SOT 3835496 SOS 1586442 HAS SOPS 1585842 HAS SOUS 227514 HAS SOUPS 227452 WITH SCORE 229038.442
AT ITER 2715 NEW BEST:: SOT 3835478 SOS 1586424 HAS SOPS 1585824 HAS SOUS 227478 HAS SOUPS 227416 WITH SCORE 229002.424
AT ITER 2722 NEW BEST:: SOT 3835443 SOS 1586389 HAS SOPS 1585789 HAS SOUS 226775 HAS SOUPS 226713 WITH SCORE 228299.389
AT ITER 2739 NEW BEST:: SOT 3835458 SOS 1586419 HAS SOPS 1585819 HAS SOUS 226715 HAS SOUPS 226653 WITH SCORE 228239.419
AT ITER 2741 NEW BEST:: SOT 3835432 SOS 1586393 HAS SOPS 1585793 HAS SOUS 226687 HAS SOUPS 226625 WITH SCORE 228211.393
AT ITER 2747 NEW BEST:: SOT 3835415 SOS 1586376 HAS SOPS 1585776 HAS SOUS 226674 HAS SOUPS 226612 WITH SCORE 228198.376
AT ITER 2756 NEW BEST:: SOT 3835415 SOS 1586412 HAS SOPS 1585812 HAS SOUS 226616 HAS SOUPS 226554 WITH SCORE 228140.412
AT ITER 2760 NEW BEST:: SOT 3835414 SOS 1586410 HAS SOPS 1585810 HAS SOUS 226614 HAS SOUPS 226552 WITH SCORE 228138.41
AT ITER 2763 NEW BEST:: SOT 3835575 SOS 1586237 HAS SOPS 1585637 HAS SOUS 226546 HAS SOUPS 226484 WITH SCORE 228070.237
AT ITER 2765 NEW BEST:: SOT 3835573 SOS 1586235 HAS SOPS 1585635 HAS SOUS 226544 HAS SOUPS 226482 WITH SCORE 228068.235
AT ITER 2768 NEW BEST:: SOT 3835573 SOS 1586257 HAS SOPS 1585657 HAS SOUS 226533 HAS SOUPS 226471 WITH SCORE 228057.257
AT ITER 2776 NEW BEST:: SOT 3835573 SOS 1586257 HAS SOPS 1585657 HAS SOUS 226532 HAS SOUPS 226470 WITH SCORE 228056.257
AT ITER 2788 NEW BEST:: SOT 3835476 SOS 1586160 HAS SOPS 1585560 HAS SOUS 226395 HAS SOUPS 226333 WITH SCORE 227919.16
AT ITER 2792 NEW BEST:: SOT 3835444 SOS 1586128 HAS SOPS 1585528 HAS SOUS 226363 HAS SOUPS 226301 WITH SCORE 227887.128
AT ITER 2794 NEW BEST:: SOT 3835412 SOS 1586096 HAS SOPS 1585496 HAS SOUS 226272 HAS SOUPS 226210 WITH SCORE 227796.096
AT ITER 2807 NEW BEST:: SOT 3835311 SOS 1585995 HAS SOPS 1585395 HAS SOUS 226137 HAS SOUPS 226075 WITH SCORE 227660.995
AT ITER 2814 NEW BEST:: SOT 3835201 SOS 1585885 HAS SOPS 1585285 HAS SOUS 225247 HAS SOUPS 225185 WITH SCORE 226770.885
AT ITER 2827 NEW BEST:: SOT 3835124 SOS 1585896 HAS SOPS 1585296 HAS SOUS 225219 HAS SOUPS 225157 WITH SCORE 226742.896
AT ITER 2836 NEW BEST:: SOT 3833231 SOS 1587126 HAS SOPS 1586526 HAS SOUS 223296 HAS SOUPS 223234 WITH SCORE 224821.126
AT ITER 2837 NEW BEST:: SOT 3833169 SOS 1587150 HAS SOPS 1586550 HAS SOUS 223255 HAS SOUPS 223193 WITH SCORE 224780.15
AT ITER 2873 NEW BEST:: SOT 3832582 SOS 1586563 HAS SOPS 1585963 HAS SOUS 222683 HAS SOUPS 222621 WITH SCORE 224207.563
AT ITER 2878 NEW BEST:: SOT 3832570 SOS 1586551 HAS SOPS 1585951 HAS SOUS 222501 HAS SOUPS 222439 WITH SCORE 224025.551
AT ITER 2896 NEW BEST:: SOT 3832570 SOS 1586465 HAS SOPS 1585865 HAS SOUS 222434 HAS SOUPS 222372 WITH SCORE 223958.465
AT ITER 2899 NEW BEST:: SOT 3832570 SOS 1586465 HAS SOPS 1585865 HAS SOUS 222379 HAS SOUPS 222317 WITH SCORE 223903.465
AT ITER 2901 NEW BEST:: SOT 3832546 SOS 1586441 HAS SOPS 1585841 HAS SOUS 222114 HAS SOUPS 222052 WITH SCORE 223638.441
AT ITER 2915 NEW BEST:: SOT 3832528 SOS 1586423 HAS SOPS 1585823 HAS SOUS 222096 HAS SOUPS 222034 WITH SCORE 223620.423
AT ITER 2920 NEW BEST:: SOT 3832505 SOS 1586400 HAS SOPS 1585800 HAS SOUS 222026 HAS SOUPS 221964 WITH SCORE 223550.4
AT ITER 2928 NEW BEST:: SOT 3832546 SOS 1586441 HAS SOPS 1585841 HAS SOUS 222004 HAS SOUPS 221942 WITH SCORE 223528.441
AT ITER 2967 NEW BEST:: SOT 3832597 SOS 1586492 HAS SOPS 1585892 HAS SOUS 221962 HAS SOUPS 221900 WITH SCORE 223486.492
AT ITER 2986 NEW BEST:: SOT 3832591 SOS 1586486 HAS SOPS 1585886 HAS SOUS 221956 HAS SOUPS 221894 WITH SCORE 223480.486
AT ITER 2993 NEW BEST:: SOT 3832462 SOS 1586357 HAS SOPS 1585757 HAS SOUS 221827 HAS SOUPS 221765 WITH SCORE 223351.357
AT ITER 2996 NEW BEST:: SOT 3832440 SOS 1586335 HAS SOPS 1585735 HAS SOUS 221799 HAS SOUPS 221737 WITH SCORE 223323.335
AT ITER 2997 NEW BEST:: SOT 3832560 SOS 1586455 HAS SOPS 1585855 HAS SOUS 221786 HAS SOUPS 221724 WITH SCORE 223310.455
AT ITER 3000 NEW BEST:: SOT 3834007 SOS 1587902 HAS SOPS 1587302 HAS SOUS 221540 HAS SOUPS 221478 WITH SCORE 223065.902
AT ITER 3007 NEW BEST:: SOT 3833961 SOS 1588042 HAS SOPS 1587442 HAS SOUS 221441 HAS SOUPS 221379 WITH SCORE 222967.042
AT ITER 3021 NEW BEST:: SOT 3834569 SOS 1588650 HAS SOPS 1588050 HAS SOUS 221278 HAS SOUPS 221216 WITH SCORE 222804.65
AT ITER 3033 NEW BEST:: SOT 3834569 SOS 1588614 HAS SOPS 1588014 HAS SOUS 221278 HAS SOUPS 221216 WITH SCORE 222804.614
AT ITER 3035 NEW BEST:: SOT 3834569 SOS 1588614 HAS SOPS 1588014 HAS SOUS 221270 HAS SOUPS 221208 WITH SCORE 222796.614
AT ITER 3055 NEW BEST:: SOT 3834585 SOS 1588630 HAS SOPS 1588030 HAS SOUS 220201 HAS SOUPS 220139 WITH SCORE 221727.63
AT ITER 3058 NEW BEST:: SOT 3834562 SOS 1588607 HAS SOPS 1588007 HAS SOUS 220164 HAS SOUPS 220102 WITH SCORE 221690.607
AT ITER 3061 NEW BEST:: SOT 3834219 SOS 1588265 HAS SOPS 1587665 HAS SOUS 219835 HAS SOUPS 219773 WITH SCORE 221361.265
AT ITER 3084 NEW BEST:: SOT 3834171 SOS 1588217 HAS SOPS 1587617 HAS SOUS 219541 HAS SOUPS 219479 WITH SCORE 221067.217
AT ITER 3088 NEW BEST:: SOT 3833724 SOS 1587887 HAS SOPS 1587287 HAS SOUS 219211 HAS SOUPS 219149 WITH SCORE 220736.887
AT ITER 3096 NEW BEST:: SOT 3833722 SOS 1587885 HAS SOPS 1587285 HAS SOUS 219211 HAS SOUPS 219149 WITH SCORE 220736.885
AT ITER 3101 NEW BEST:: SOT 3834234 SOS 1588397 HAS SOPS 1587797 HAS SOUS 218648 HAS SOUPS 218586 WITH SCORE 220174.397
AT ITER 3112 NEW BEST:: SOT 3834231 SOS 1588394 HAS SOPS 1587794 HAS SOUS 218617 HAS SOUPS 218555 WITH SCORE 220143.394
AT ITER 3120 NEW BEST:: SOT 3834145 SOS 1588428 HAS SOPS 1587828 HAS SOUS 218539 HAS SOUPS 218477 WITH SCORE 220065.428
AT ITER 3126 NEW BEST:: SOT 3834103 SOS 1588386 HAS SOPS 1587786 HAS SOUS 218455 HAS SOUPS 218393 WITH SCORE 219981.386
AT ITER 3144 NEW BEST:: SOT 3834036 SOS 1588319 HAS SOPS 1587719 HAS SOUS 218306 HAS SOUPS 218244 WITH SCORE 219832.319
AT ITER 3150 NEW BEST:: SOT 3833764 SOS 1588047 HAS SOPS 1587447 HAS SOUS 217910 HAS SOUPS 217848 WITH SCORE 219436.047
AT ITER 3155 NEW BEST:: SOT 3833648 SOS 1587808 HAS SOPS 1587208 HAS SOUS 217671 HAS SOUPS 217609 WITH SCORE 219196.808
AT ITER 3186 NEW BEST:: SOT 3833611 SOS 1587771 HAS SOPS 1587171 HAS SOUS 217634 HAS SOUPS 217572 WITH SCORE 219159.771
AT ITER 3188 NEW BEST:: SOT 3833597 SOS 1587757 HAS SOPS 1587157 HAS SOUS 217620 HAS SOUPS 217558 WITH SCORE 219145.757
AT ITER 3193 NEW BEST:: SOT 3833597 SOS 1587757 HAS SOPS 1587157 HAS SOUS 217571 HAS SOUPS 217509 WITH SCORE 219096.757
AT ITER 3194 NEW BEST:: SOT 3833545 SOS 1587705 HAS SOPS 1587105 HAS SOUS 217475 HAS SOUPS 217413 WITH SCORE 219000.705
AT ITER 3209 NEW BEST:: SOT 3832994 SOS 1587154 HAS SOPS 1586554 HAS SOUS 216873 HAS SOUPS 216811 WITH SCORE 218398.154
AT ITER 3212 NEW BEST:: SOT 3832996 SOS 1587156 HAS SOPS 1586556 HAS SOUS 216826 HAS SOUPS 216764 WITH SCORE 218351.156
AT ITER 3221 NEW BEST:: SOT 3833055 SOS 1587215 HAS SOPS 1586615 HAS SOUS 216476 HAS SOUPS 216414 WITH SCORE 218001.215
AT ITER 3228 NEW BEST:: SOT 3832759 SOS 1586919 HAS SOPS 1586319 HAS SOUS 215766 HAS SOUPS 215704 WITH SCORE 217290.919
AT ITER 3229 NEW BEST:: SOT 3832749 SOS 1586909 HAS SOPS 1586309 HAS SOUS 215756 HAS SOUPS 215694 WITH SCORE 217280.909
AT ITER 3233 NEW BEST:: SOT 3832627 SOS 1586787 HAS SOPS 1586187 HAS SOUS 215697 HAS SOUPS 215635 WITH SCORE 217221.787
AT ITER 3240 NEW BEST:: SOT 3832441 SOS 1586601 HAS SOPS 1586001 HAS SOUS 215315 HAS SOUPS 215253 WITH SCORE 216839.601
AT ITER 3242 NEW BEST:: SOT 3832360 SOS 1586520 HAS SOPS 1585920 HAS SOUS 215102 HAS SOUPS 215040 WITH SCORE 216626.52
AT ITER 3261 NEW BEST:: SOT 3832191 SOS 1586351 HAS SOPS 1585751 HAS SOUS 214933 HAS SOUPS 214871 WITH SCORE 216457.351
AT ITER 3264 NEW BEST:: SOT 3832186 SOS 1586346 HAS SOPS 1585746 HAS SOUS 214928 HAS SOUPS 214866 WITH SCORE 216452.346
AT ITER 3278 NEW BEST:: SOT 3832177 SOS 1586337 HAS SOPS 1585737 HAS SOUS 214919 HAS SOUPS 214857 WITH SCORE 216443.337
AT ITER 3287 NEW BEST:: SOT 3832191 SOS 1586260 HAS SOPS 1585660 HAS SOUS 214896 HAS SOUPS 214834 WITH SCORE 216420.26
AT ITER 3288 NEW BEST:: SOT 3832204 SOS 1586214 HAS SOPS 1585614 HAS SOUS 214853 HAS SOUPS 214791 WITH SCORE 216377.214
AT ITER 3290 NEW BEST:: SOT 3832204 SOS 1586201 HAS SOPS 1585601 HAS SOUS 214827 HAS SOUPS 214765 WITH SCORE 216351.201
AT ITER 3304 NEW BEST:: SOT 3832126 SOS 1586123 HAS SOPS 1585523 HAS SOUS 214605 HAS SOUPS 214543 WITH SCORE 216129.123
AT ITER 3308 NEW BEST:: SOT 3832094 SOS 1586059 HAS SOPS 1585459 HAS SOUS 214525 HAS SOUPS 214463 WITH SCORE 216049.059
AT ITER 3312 NEW BEST:: SOT 3832092 SOS 1586057 HAS SOPS 1585457 HAS SOUS 214513 HAS SOUPS 214451 WITH SCORE 216037.057
AT ITER 3316 NEW BEST:: SOT 3832082 SOS 1586076 HAS SOPS 1585476 HAS SOUS 214503 HAS SOUPS 214441 WITH SCORE 216027.076
AT ITER 3332 NEW BEST:: SOT 3832048 SOS 1586042 HAS SOPS 1585442 HAS SOUS 214455 HAS SOUPS 214393 WITH SCORE 215979.042
AT ITER 3334 NEW BEST:: SOT 3832003 SOS 1586103 HAS SOPS 1585503 HAS SOUS 214419 HAS SOUPS 214357 WITH SCORE 215943.103
AT ITER 3335 NEW BEST:: SOT 3831721 SOS 1585821 HAS SOPS 1585221 HAS SOUS 214014 HAS SOUPS 213952 WITH SCORE 215537.821
AT ITER 3339 NEW BEST:: SOT 3831702 SOS 1585802 HAS SOPS 1585202 HAS SOUS 213995 HAS SOUPS 213933 WITH SCORE 215518.802
AT ITER 3342 NEW BEST:: SOT 3831471 SOS 1585571 HAS SOPS 1584971 HAS SOUS 213630 HAS SOUPS 213568 WITH SCORE 215153.571
AT ITER 3345 NEW BEST:: SOT 3831412 SOS 1585556 HAS SOPS 1584956 HAS SOUS 213615 HAS SOUPS 213553 WITH SCORE 215138.556
AT ITER 3349 NEW BEST:: SOT 3831345 SOS 1585489 HAS SOPS 1584889 HAS SOUS 213535 HAS SOUPS 213473 WITH SCORE 215058.489
AT ITER 3357 NEW BEST:: SOT 3831345 SOS 1585469 HAS SOPS 1584869 HAS SOUS 213535 HAS SOUPS 213473 WITH SCORE 215058.469
AT ITER 3378 NEW BEST:: SOT 3831313 SOS 1585437 HAS SOPS 1584837 HAS SOUS 213338 HAS SOUPS 213276 WITH SCORE 214861.437
AT ITER 3408 NEW BEST:: SOT 3831324 SOS 1585448 HAS SOPS 1584848 HAS SOUS 213160 HAS SOUPS 213098 WITH SCORE 214683.448
AT ITER 3417 NEW BEST:: SOT 3831324 SOS 1585448 HAS SOPS 1584848 HAS SOUS 213139 HAS SOUPS 213077 WITH SCORE 214662.448
AT ITER 3420 NEW BEST:: SOT 3831324 SOS 1588618 HAS SOPS 1588018 HAS SOUS 212821 HAS SOUPS 212759 WITH SCORE 214347.618
AT ITER 3427 NEW BEST:: SOT 3831191 SOS 1588649 HAS SOPS 1588049 HAS SOUS 212555 HAS SOUPS 212493 WITH SCORE 214081.649
AT ITER 3429 NEW BEST:: SOT 3831591 SOS 1589049 HAS SOPS 1588449 HAS SOUS 212372 HAS SOUPS 212310 WITH SCORE 213899.049
AT ITER 3436 NEW BEST:: SOT 3831500 SOS 1588958 HAS SOPS 1588358 HAS SOUS 212281 HAS SOUPS 212219 WITH SCORE 213807.958
AT ITER 3439 NEW BEST:: SOT 3831445 SOS 1588903 HAS SOPS 1588303 HAS SOUS 212257 HAS SOUPS 212195 WITH SCORE 213783.903
AT ITER 3442 NEW BEST:: SOT 3831445 SOS 1588891 HAS SOPS 1588291 HAS SOUS 212251 HAS SOUPS 212189 WITH SCORE 213777.891
AT ITER 3447 NEW BEST:: SOT 3831350 SOS 1588796 HAS SOPS 1588196 HAS SOUS 212072 HAS SOUPS 212010 WITH SCORE 213598.796
AT ITER 3451 NEW BEST:: SOT 3831323 SOS 1588769 HAS SOPS 1588169 HAS SOUS 211170 HAS SOUPS 211108 WITH SCORE 212696.769
AT ITER 3463 NEW BEST:: SOT 3831255 SOS 1588701 HAS SOPS 1588101 HAS SOUS 211084 HAS SOUPS 211022 WITH SCORE 212610.701
AT ITER 3465 NEW BEST:: SOT 3831211 SOS 1588657 HAS SOPS 1588057 HAS SOUS 210968 HAS SOUPS 210906 WITH SCORE 212494.657
AT ITER 3475 NEW BEST:: SOT 3831176 SOS 1588622 HAS SOPS 1588022 HAS SOUS 210933 HAS SOUPS 210871 WITH SCORE 212459.622
AT ITER 3483 NEW BEST:: SOT 3831176 SOS 1588622 HAS SOPS 1588022 HAS SOUS 210883 HAS SOUPS 210821 WITH SCORE 212409.622
AT ITER 3492 NEW BEST:: SOT 3831130 SOS 1588622 HAS SOPS 1588022 HAS SOUS 210880 HAS SOUPS 210818 WITH SCORE 212406.622
AT ITER 3496 NEW BEST:: SOT 3831130 SOS 1588595 HAS SOPS 1587995 HAS SOUS 210853 HAS SOUPS 210791 WITH SCORE 212379.595
AT ITER 3504 NEW BEST:: SOT 3830930 SOS 1588395 HAS SOPS 1587795 HAS SOUS 210653 HAS SOUPS 210591 WITH SCORE 212179.395
AT ITER 3514 NEW BEST:: SOT 3830909 SOS 1588366 HAS SOPS 1587766 HAS SOUS 210611 HAS SOUPS 210549 WITH SCORE 212137.366
AT ITER 3515 NEW BEST:: SOT 3830960 SOS 1588415 HAS SOPS 1587815 HAS SOUS 209689 HAS SOUPS 209627 WITH SCORE 211215.415
AT ITER 3554 NEW BEST:: SOT 3831014 SOS 1588469 HAS SOPS 1587869 HAS SOUS 209682 HAS SOUPS 209620 WITH SCORE 211208.469
AT ITER 3583 NEW BEST:: SOT 3830986 SOS 1588441 HAS SOPS 1587841 HAS SOUS 209630 HAS SOUPS 209568 WITH SCORE 211156.441
AT ITER 3591 NEW BEST:: SOT 3830943 SOS 1588398 HAS SOPS 1587798 HAS SOUS 209587 HAS SOUPS 209525 WITH SCORE 211113.398
AT ITER 3596 NEW BEST:: SOT 3830943 SOS 1588398 HAS SOPS 1587798 HAS SOUS 209560 HAS SOUPS 209498 WITH SCORE 211086.398
AT ITER 3600 NEW BEST:: SOT 3830906 SOS 1588293 HAS SOPS 1587693 HAS SOUS 209529 HAS SOUPS 209467 WITH SCORE 211055.293
AT ITER 3623 NEW BEST:: SOT 3830896 SOS 1588283 HAS SOPS 1587683 HAS SOUS 209519 HAS SOUPS 209457 WITH SCORE 211045.283
AT ITER 3626 NEW BEST:: SOT 3830896 SOS 1588283 HAS SOPS 1587683 HAS SOUS 209477 HAS SOUPS 209415 WITH SCORE 211003.283
AT ITER 3632 NEW BEST:: SOT 3831006 SOS 1588393 HAS SOPS 1587793 HAS SOUS 208831 HAS SOUPS 208769 WITH SCORE 210357.393
AT ITER 3643 NEW BEST:: SOT 3831009 SOS 1588399 HAS SOPS 1587799 HAS SOUS 208816 HAS SOUPS 208754 WITH SCORE 210342.399
AT ITER 3644 NEW BEST:: SOT 3830634 SOS 1588176 HAS SOPS 1587576 HAS SOUS 208773 HAS SOUPS 208711 WITH SCORE 210299.176
AT ITER 3645 NEW BEST:: SOT 3830628 SOS 1588170 HAS SOPS 1587570 HAS SOUS 208767 HAS SOUPS 208705 WITH SCORE 210293.17
AT ITER 3647 NEW BEST:: SOT 3830628 SOS 1588197 HAS SOPS 1587597 HAS SOUS 208719 HAS SOUPS 208657 WITH SCORE 210245.197
AT ITER 3652 NEW BEST:: SOT 3830603 SOS 1588197 HAS SOPS 1587597 HAS SOUS 208675 HAS SOUPS 208613 WITH SCORE 210201.197
AT ITER 3667 NEW BEST:: SOT 3830466 SOS 1588060 HAS SOPS 1587460 HAS SOUS 208466 HAS SOUPS 208404 WITH SCORE 209992.06
AT ITER 3668 NEW BEST:: SOT 3830461 SOS 1588055 HAS SOPS 1587455 HAS SOUS 208461 HAS SOUPS 208399 WITH SCORE 209987.055
AT ITER 3705 NEW BEST:: SOT 3830458 SOS 1588091 HAS SOPS 1587491 HAS SOUS 208455 HAS SOUPS 208393 WITH SCORE 209981.091
AT ITER 3706 NEW BEST:: SOT 3830316 SOS 1587807 HAS SOPS 1587207 HAS SOUS 208171 HAS SOUPS 208109 WITH SCORE 209696.807
AT ITER 3710 NEW BEST:: SOT 3830086 SOS 1587577 HAS SOPS 1586977 HAS SOUS 207829 HAS SOUPS 207767 WITH SCORE 209354.577
AT ITER 3711 NEW BEST:: SOT 3829880 SOS 1587371 HAS SOPS 1586771 HAS SOUS 207622 HAS SOUPS 207560 WITH SCORE 209147.371
AT ITER 3712 NEW BEST:: SOT 3829895 SOS 1587334 HAS SOPS 1586734 HAS SOUS 207581 HAS SOUPS 207519 WITH SCORE 209106.334
AT ITER 3738 NEW BEST:: SOT 3829330 SOS 1586769 HAS SOPS 1586169 HAS SOUS 206510 HAS SOUPS 206448 WITH SCORE 208034.769
AT ITER 3763 NEW BEST:: SOT 3829387 SOS 1582154 HAS SOPS 1581458 HAS SOUS 206396 HAS SOUPS 206322 WITH SCORE 207904.154
AT ITER 3769 NEW BEST:: SOT 3829387 SOS 1582151 HAS SOPS 1581455 HAS SOUS 206390 HAS SOUPS 206316 WITH SCORE 207898.151
AT ITER 3789 NEW BEST:: SOT 3829381 SOS 1582145 HAS SOPS 1581449 HAS SOUS 206252 HAS SOUPS 206178 WITH SCORE 207760.145
AT ITER 3800 NEW BEST:: SOT 3829304 SOS 1582068 HAS SOPS 1581372 HAS SOUS 206083 HAS SOUPS 206009 WITH SCORE 207591.068
AT ITER 3814 NEW BEST:: SOT 3829304 SOS 1582071 HAS SOPS 1581372 HAS SOUS 206080 HAS SOUPS 206006 WITH SCORE 207588.071
AT ITER 3833 NEW BEST:: SOT 3829316 SOS 1581877 HAS SOPS 1581178 HAS SOUS 206030 HAS SOUPS 205956 WITH SCORE 207537.877
AT ITER 3863 NEW BEST:: SOT 3829255 SOS 1581896 HAS SOPS 1581197 HAS SOUS 205977 HAS SOUPS 205903 WITH SCORE 207484.896
AT ITER 3866 NEW BEST:: SOT 3829230 SOS 1581871 HAS SOPS 1581172 HAS SOUS 205942 HAS SOUPS 205868 WITH SCORE 207449.871
AT ITER 3867 NEW BEST:: SOT 3829230 SOS 1581839 HAS SOPS 1581140 HAS SOUS 205913 HAS SOUPS 205839 WITH SCORE 207420.839
AT ITER 3876 NEW BEST:: SOT 3829120 SOS 1581729 HAS SOPS 1581030 HAS SOUS 205725 HAS SOUPS 205651 WITH SCORE 207232.729
AT ITER 3879 NEW BEST:: SOT 3829120 SOS 1581733 HAS SOPS 1581034 HAS SOUS 205721 HAS SOUPS 205647 WITH SCORE 207228.733
AT ITER 3892 NEW BEST:: SOT 3829118 SOS 1581731 HAS SOPS 1581032 HAS SOUS 205702 HAS SOUPS 205628 WITH SCORE 207209.731
AT ITER 3895 NEW BEST:: SOT 3829264 SOS 1581877 HAS SOPS 1581178 HAS SOUS 205543 HAS SOUPS 205469 WITH SCORE 207050.877
AT ITER 3910 NEW BEST:: SOT 3829246 SOS 1581859 HAS SOPS 1581160 HAS SOUS 205525 HAS SOUPS 205451 WITH SCORE 207032.859
AT ITER 3912 NEW BEST:: SOT 3829481 SOS 1582094 HAS SOPS 1581395 HAS SOUS 205135 HAS SOUPS 205061 WITH SCORE 206643.094
AT ITER 3913 NEW BEST:: SOT 3829512 SOS 1583853 HAS SOPS 1583154 HAS SOUS 204989 HAS SOUPS 204915 WITH SCORE 206498.853
AT ITER 3922 NEW BEST:: SOT 3829684 SOS 1584025 HAS SOPS 1583326 HAS SOUS 204985 HAS SOUPS 204911 WITH SCORE 206495.025
AT ITER 3952 NEW BEST:: SOT 3829684 SOS 1584025 HAS SOPS 1583326 HAS SOUS 204978 HAS SOUPS 204904 WITH SCORE 206488.025
AT ITER 3959 NEW BEST:: SOT 3829659 SOS 1583996 HAS SOPS 1583297 HAS SOUS 204949 HAS SOUPS 204875 WITH SCORE 206458.996
AT ITER 3960 NEW BEST:: SOT 3829616 SOS 1583988 HAS SOPS 1583289 HAS SOUS 204871 HAS SOUPS 204797 WITH SCORE 206380.988
AT ITER 3974 NEW BEST:: SOT 3829616 SOS 1583998 HAS SOPS 1583299 HAS SOUS 204861 HAS SOUPS 204787 WITH SCORE 206370.998
AT ITER 3977 NEW BEST:: SOT 3829554 SOS 1583936 HAS SOPS 1583237 HAS SOUS 204781 HAS SOUPS 204707 WITH SCORE 206290.936
AT ITER 3988 NEW BEST:: SOT 3829506 SOS 1583975 HAS SOPS 1583276 HAS SOUS 204744 HAS SOUPS 204670 WITH SCORE 206253.975
AT ITER 4009 NEW BEST:: SOT 3829400 SOS 1583869 HAS SOPS 1583170 HAS SOUS 204546 HAS SOUPS 204472 WITH SCORE 206055.869
AT ITER 4013 NEW BEST:: SOT 3829397 SOS 1583858 HAS SOPS 1583159 HAS SOUS 204435 HAS SOUPS 204361 WITH SCORE 205944.858
AT ITER 4025 NEW BEST:: SOT 3829352 SOS 1583768 HAS SOPS 1583069 HAS SOUS 204345 HAS SOUPS 204271 WITH SCORE 205854.768
AT ITER 4070 NEW BEST:: SOT 3829352 SOS 1583789 HAS SOPS 1583090 HAS SOUS 204314 HAS SOUPS 204240 WITH SCORE 205823.789
AT ITER 4077 NEW BEST:: SOT 3829325 SOS 1583762 HAS SOPS 1583063 HAS SOUS 204269 HAS SOUPS 204195 WITH SCORE 205778.762
AT ITER 4083 NEW BEST:: SOT 3829283 SOS 1583720 HAS SOPS 1583021 HAS SOUS 204226 HAS SOUPS 204152 WITH SCORE 205735.72
AT ITER 4098 NEW BEST:: SOT 3829228 SOS 1583665 HAS SOPS 1582966 HAS SOUS 204171 HAS SOUPS 204097 WITH SCORE 205680.665
AT ITER 4099 NEW BEST:: SOT 3828639 SOS 1583076 HAS SOPS 1582377 HAS SOUS 203642 HAS SOUPS 203568 WITH SCORE 205151.076
AT ITER 4102 NEW BEST:: SOT 3828620 SOS 1583057 HAS SOPS 1582358 HAS SOUS 203460 HAS SOUPS 203386 WITH SCORE 204969.057
AT ITER 4106 NEW BEST:: SOT 3825154 SOS 1579591 HAS SOPS 1578892 HAS SOUS 199941 HAS SOUPS 199867 WITH SCORE 201446.591
AT ITER 4115 NEW BEST:: SOT 3824813 SOS 1579250 HAS SOPS 1578551 HAS SOUS 199412 HAS SOUPS 199338 WITH SCORE 200917.25
AT ITER 4128 NEW BEST:: SOT 3824838 SOS 1579275 HAS SOPS 1578576 HAS SOUS 199302 HAS SOUPS 199228 WITH SCORE 200807.275
AT ITER 4142 NEW BEST:: SOT 3824880 SOS 1579317 HAS SOPS 1578618 HAS SOUS 198970 HAS SOUPS 198896 WITH SCORE 200475.317
AT ITER 4154 NEW BEST:: SOT 3824865 SOS 1579338 HAS SOPS 1578639 HAS SOUS 198963 HAS SOUPS 198889 WITH SCORE 200468.338
AT ITER 4165 NEW BEST:: SOT 3824923 SOS 1579274 HAS SOPS 1578575 HAS SOUS 198744 HAS SOUPS 198670 WITH SCORE 200249.274
AT ITER 4184 NEW BEST:: SOT 3824679 SOS 1579030 HAS SOPS 1578331 HAS SOUS 198620 HAS SOUPS 198546 WITH SCORE 200125.03
AT ITER 4214 NEW BEST:: SOT 3824154 SOS 1578505 HAS SOPS 1577806 HAS SOUS 198095 HAS SOUPS 198021 WITH SCORE 199599.505
AT ITER 4218 NEW BEST:: SOT 3822972 SOS 1577323 HAS SOPS 1576624 HAS SOUS 197853 HAS SOUPS 197779 WITH SCORE 199356.323
AT ITER 4220 NEW BEST:: SOT 3822974 SOS 1577318 HAS SOPS 1576619 HAS SOUS 197849 HAS SOUPS 197775 WITH SCORE 199352.318
AT ITER 4224 NEW BEST:: SOT 3823053 SOS 1577573 HAS SOPS 1576874 HAS SOUS 196014 HAS SOUPS 195940 WITH SCORE 197517.573
AT ITER 4233 NEW BEST:: SOT 3822990 SOS 1577510 HAS SOPS 1576811 HAS SOUS 195875 HAS SOUPS 195801 WITH SCORE 197378.51
AT ITER 4250 NEW BEST:: SOT 3822896 SOS 1577416 HAS SOPS 1576717 HAS SOUS 195731 HAS SOUPS 195657 WITH SCORE 197234.416
AT ITER 4258 NEW BEST:: SOT 3822836 SOS 1577356 HAS SOPS 1576657 HAS SOUS 195671 HAS SOUPS 195597 WITH SCORE 197174.356
AT ITER 4265 NEW BEST:: SOT 3822836 SOS 1577332 HAS SOPS 1576633 HAS SOUS 195671 HAS SOUPS 195597 WITH SCORE 197174.332
AT ITER 4305 NEW BEST:: SOT 3822800 SOS 1577213 HAS SOPS 1576514 HAS SOUS 195552 HAS SOUPS 195478 WITH SCORE 197055.213
AT ITER 4318 NEW BEST:: SOT 3822777 SOS 1577190 HAS SOPS 1576491 HAS SOUS 195529 HAS SOUPS 195455 WITH SCORE 197032.19
AT ITER 4326 NEW BEST:: SOT 3822748 SOS 1577161 HAS SOPS 1576462 HAS SOUS 195360 HAS SOUPS 195286 WITH SCORE 196863.161
AT ITER 4329 NEW BEST:: SOT 3822739 SOS 1577152 HAS SOPS 1576453 HAS SOUS 195351 HAS SOUPS 195277 WITH SCORE 196854.152
AT ITER 4348 NEW BEST:: SOT 3822746 SOS 1577159 HAS SOPS 1576460 HAS SOUS 195290 HAS SOUPS 195216 WITH SCORE 196793.159
AT ITER 4351 NEW BEST:: SOT 3822731 SOS 1577144 HAS SOPS 1576445 HAS SOUS 195284 HAS SOUPS 195210 WITH SCORE 196787.144
AT ITER 4361 NEW BEST:: SOT 3822771 SOS 1577244 HAS SOPS 1576545 HAS SOUS 195007 HAS SOUPS 194933 WITH SCORE 196510.244
AT ITER 4367 NEW BEST:: SOT 3822771 SOS 1577225 HAS SOPS 1576526 HAS SOUS 195003 HAS SOUPS 194929 WITH SCORE 196506.225
AT ITER 4376 NEW BEST:: SOT 3822673 SOS 1577127 HAS SOPS 1576428 HAS SOUS 194905 HAS SOUPS 194831 WITH SCORE 196408.127
AT ITER 4381 NEW BEST:: SOT 3822655 SOS 1577109 HAS SOPS 1576410 HAS SOUS 194873 HAS SOUPS 194799 WITH SCORE 196376.109
AT ITER 4393 NEW BEST:: SOT 3822618 SOS 1577072 HAS SOPS 1576373 HAS SOUS 194825 HAS SOUPS 194751 WITH SCORE 196328.072
AT ITER 4409 NEW BEST:: SOT 3822375 SOS 1576829 HAS SOPS 1576130 HAS SOUS 194423 HAS SOUPS 194349 WITH SCORE 195925.829
AT ITER 4411 NEW BEST:: SOT 3822335 SOS 1576548 HAS SOPS 1575849 HAS SOUS 194260 HAS SOUPS 194186 WITH SCORE 195762.548
AT ITER 4413 NEW BEST:: SOT 3823502 SOS 1577715 HAS SOPS 1577016 HAS SOUS 193836 HAS SOUPS 193762 WITH SCORE 195339.715
AT ITER 4422 NEW BEST:: SOT 3823451 SOS 1577664 HAS SOPS 1576965 HAS SOUS 193341 HAS SOUPS 193267 WITH SCORE 194844.664
AT ITER 4429 NEW BEST:: SOT 3823264 SOS 1577477 HAS SOPS 1576778 HAS SOUS 193028 HAS SOUPS 192954 WITH SCORE 194531.477
AT ITER 4454 NEW BEST:: SOT 3823275 SOS 1577488 HAS SOPS 1576789 HAS SOUS 192949 HAS SOUPS 192875 WITH SCORE 194452.488
AT ITER 4458 NEW BEST:: SOT 3823208 SOS 1577421 HAS SOPS 1576722 HAS SOUS 192848 HAS SOUPS 192774 WITH SCORE 194351.421
AT ITER 4463 NEW BEST:: SOT 3823117 SOS 1577330 HAS SOPS 1576631 HAS SOUS 192694 HAS SOUPS 192620 WITH SCORE 194197.33
AT ITER 4480 NEW BEST:: SOT 3823117 SOS 1577330 HAS SOPS 1576631 HAS SOUS 192654 HAS SOUPS 192580 WITH SCORE 194157.33
AT ITER 4481 NEW BEST:: SOT 3822928 SOS 1577141 HAS SOPS 1576442 HAS SOUS 192175 HAS SOUPS 192101 WITH SCORE 193678.141
AT ITER 4486 NEW BEST:: SOT 3822919 SOS 1577132 HAS SOPS 1576433 HAS SOUS 192166 HAS SOUPS 192092 WITH SCORE 193669.132
AT ITER 4498 NEW BEST:: SOT 3822903 SOS 1577188 HAS SOPS 1576489 HAS SOUS 192108 HAS SOUPS 192034 WITH SCORE 193611.188
AT ITER 4508 NEW BEST:: SOT 3823348 SOS 1577633 HAS SOPS 1576934 HAS SOUS 192049 HAS SOUPS 191975 WITH SCORE 193552.633
AT ITER 4514 NEW BEST:: SOT 3823340 SOS 1577625 HAS SOPS 1576926 HAS SOUS 192041 HAS SOUPS 191967 WITH SCORE 193544.625
AT ITER 4516 NEW BEST:: SOT 3823309 SOS 1577594 HAS SOPS 1576895 HAS SOUS 192010 HAS SOUPS 191936 WITH SCORE 193513.594
AT ITER 4534 NEW BEST:: SOT 3823281 SOS 1577566 HAS SOPS 1576867 HAS SOUS 191982 HAS SOUPS 191908 WITH SCORE 193485.566
AT ITER 4541 NEW BEST:: SOT 3822979 SOS 1577264 HAS SOPS 1576565 HAS SOUS 191410 HAS SOUPS 191336 WITH SCORE 192913.264
AT ITER 4559 NEW BEST:: SOT 3823011 SOS 1577220 HAS SOPS 1576521 HAS SOUS 191321 HAS SOUPS 191247 WITH SCORE 192824.22
AT ITER 4581 NEW BEST:: SOT 3822128 SOS 1576337 HAS SOPS 1575638 HAS SOUS 190438 HAS SOUPS 190364 WITH SCORE 191940.337
AT ITER 4589 NEW BEST:: SOT 3822126 SOS 1576335 HAS SOPS 1575636 HAS SOUS 190432 HAS SOUPS 190358 WITH SCORE 191934.335
AT ITER 4609 NEW BEST:: SOT 3822319 SOS 1576528 HAS SOPS 1575829 HAS SOUS 190178 HAS SOUPS 190104 WITH SCORE 191680.528
AT ITER 4618 NEW BEST:: SOT 3822286 SOS 1576495 HAS SOPS 1575796 HAS SOUS 190130 HAS SOUPS 190056 WITH SCORE 191632.495
AT ITER 4620 NEW BEST:: SOT 3822292 SOS 1576501 HAS SOPS 1575802 HAS SOUS 190124 HAS SOUPS 190050 WITH SCORE 191626.501
AT ITER 4634 NEW BEST:: SOT 3822197 SOS 1576112 HAS SOPS 1575413 HAS SOUS 189851 HAS SOUPS 189777 WITH SCORE 191353.112
AT ITER 4654 NEW BEST:: SOT 3822173 SOS 1576088 HAS SOPS 1575389 HAS SOUS 189802 HAS SOUPS 189728 WITH SCORE 191304.088
AT ITER 4658 NEW BEST:: SOT 3822078 SOS 1575993 HAS SOPS 1575294 HAS SOUS 189579 HAS SOUPS 189505 WITH SCORE 191080.993
AT ITER 4661 NEW BEST:: SOT 3821976 SOS 1575891 HAS SOPS 1575192 HAS SOUS 189438 HAS SOUPS 189364 WITH SCORE 190939.891
AT ITER 4667 NEW BEST:: SOT 3821826 SOS 1575741 HAS SOPS 1575042 HAS SOUS 189109 HAS SOUPS 189035 WITH SCORE 190610.741
AT ITER 4679 NEW BEST:: SOT 3821803 SOS 1575718 HAS SOPS 1575019 HAS SOUS 189086 HAS SOUPS 189012 WITH SCORE 190587.718
AT ITER 4683 NEW BEST:: SOT 3821794 SOS 1575709 HAS SOPS 1575010 HAS SOUS 189077 HAS SOUPS 189003 WITH SCORE 190578.709
AT ITER 4712 NEW BEST:: SOT 3821752 SOS 1575619 HAS SOPS 1574920 HAS SOUS 188987 HAS SOUPS 188913 WITH SCORE 190488.619
AT ITER 4725 NEW BEST:: SOT 3821752 SOS 1575614 HAS SOPS 1574915 HAS SOUS 188982 HAS SOUPS 188908 WITH SCORE 190483.614
AT ITER 4731 NEW BEST:: SOT 3821726 SOS 1575588 HAS SOPS 1574889 HAS SOUS 188956 HAS SOUPS 188882 WITH SCORE 190457.588
AT ITER 4741 NEW BEST:: SOT 3821639 SOS 1575235 HAS SOPS 1574826 HAS SOUS 188864 HAS SOUPS 188819 WITH SCORE 190394.235
AT ITER 4768 NEW BEST:: SOT 3821639 SOS 1575263 HAS SOPS 1574854 HAS SOUS 188850 HAS SOUPS 188805 WITH SCORE 190380.263
AT ITER 4772 NEW BEST:: SOT 3821624 SOS 1575248 HAS SOPS 1574839 HAS SOUS 188805 HAS SOUPS 188760 WITH SCORE 190335.248
AT ITER 4776 NEW BEST:: SOT 3821603 SOS 1575227 HAS SOPS 1574818 HAS SOUS 188676 HAS SOUPS 188631 WITH SCORE 190206.227
AT ITER 4783 NEW BEST:: SOT 3821431 SOS 1575055 HAS SOPS 1574646 HAS SOUS 188506 HAS SOUPS 188461 WITH SCORE 190036.055
AT ITER 4785 NEW BEST:: SOT 3821223 SOS 1574847 HAS SOPS 1574438 HAS SOUS 187638 HAS SOUPS 187593 WITH SCORE 189167.847
AT ITER 4792 NEW BEST:: SOT 3821063 SOS 1574687 HAS SOPS 1574278 HAS SOUS 187344 HAS SOUPS 187299 WITH SCORE 188873.687
AT ITER 4820 NEW BEST:: SOT 3821013 SOS 1574637 HAS SOPS 1574228 HAS SOUS 187226 HAS SOUPS 187181 WITH SCORE 188755.637
AT ITER 4824 NEW BEST:: SOT 3821135 SOS 1574759 HAS SOPS 1574350 HAS SOUS 186559 HAS SOUPS 186514 WITH SCORE 188088.759
AT ITER 4837 NEW BEST:: SOT 3821103 SOS 1574764 HAS SOPS 1574355 HAS SOUS 186485 HAS SOUPS 186440 WITH SCORE 188014.764
AT ITER 4877 NEW BEST:: SOT 3821103 SOS 1510674 HAS SOPS 1510265 HAS SOUS 186434 HAS SOUPS 186389 WITH SCORE 187899.674
AT ITER 4885 NEW BEST:: SOT 3820995 SOS 1510586 HAS SOPS 1510177 HAS SOUS 186346 HAS SOUPS 186301 WITH SCORE 187811.586
AT ITER 4894 NEW BEST:: SOT 3820876 SOS 1510467 HAS SOPS 1510058 HAS SOUS 186227 HAS SOUPS 186182 WITH SCORE 187692.467
AT ITER 4910 NEW BEST:: SOT 3820876 SOS 1510467 HAS SOPS 1510058 HAS SOUS 186198 HAS SOUPS 186153 WITH SCORE 187663.467
AT ITER 4915 NEW BEST:: SOT 3820890 SOS 1510481 HAS SOPS 1510072 HAS SOUS 186128 HAS SOUPS 186083 WITH SCORE 187593.481
AT ITER 4933 NEW BEST:: SOT 3820890 SOS 1510481 HAS SOPS 1510072 HAS SOUS 186125 HAS SOUPS 186080 WITH SCORE 187590.481
AT ITER 4946 NEW BEST:: SOT 3820876 SOS 1510467 HAS SOPS 1510058 HAS SOUS 186111 HAS SOUPS 186066 WITH SCORE 187576.467
AT ITER 4960 NEW BEST:: SOT 3821207 SOS 1510798 HAS SOPS 1510389 HAS SOUS 185859 HAS SOUPS 185814 WITH SCORE 187324.798
AT ITER 4965 NEW BEST:: SOT 3821120 SOS 1510711 HAS SOPS 1510302 HAS SOUS 185743 HAS SOUPS 185698 WITH SCORE 187208.711
AT ITER 4986 NEW BEST:: SOT 3821120 SOS 1510677 HAS SOPS 1510268 HAS SOUS 185726 HAS SOUPS 185681 WITH SCORE 187191.677
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-00 ( (AU( (! potential( (tk(P788)) <= (tk(P413)) )),(! potential( (tk(P27) + tk(P50) + tk(P58) + tk(P86) + tk(P105) + tk(P124) + tk(P131) + tk(P154) + tk(P204) + tk(P214) + tk(P228) + tk(P256) + tk(P265) + tk(P332) + tk(P349) + tk(P360) + tk(P417) + tk(P421) + tk(P428) + tk(P438) + tk(P446) + tk(P494) + tk(P497) + tk(P513) + tk(P561) + tk(P568) + tk(P575) + tk(P579) + tk(P583) + tk(P630) + tk(P671) + tk(P688) + tk(P694) + tk(P704) + tk(P713) + tk(P725) + tk(P752) + tk(P829) + tk(P831) + tk(P836) + tk(P845)) <= (tk(P95)) )) )) | ( (EF((! potential( (tk(P298)) <= (tk(P226)) )))) & ( potential( ( 1 ) <= (tk(P65)) ) & (! potential( (tk(P380)) <= (tk(P772)) )) ) ) )
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-01 (EG( potential( ( 1 ) <= (tk(P689)) )))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-02 ( ( ( ( potential( (tk(P772)) <= (tk(P757)) ) | (! potential( ( 3 ) <= (tk(P3) + tk(P5) + tk(P6) + tk(P10) + tk(P12) + tk(P13) + tk(P14) + tk(P16) + tk(P17) + tk(P19) + tk(P20) + tk(P23) + tk(P28) + tk(P29) + tk(P32) + tk(P33) + tk(P35) + tk(P37) + tk(P38) + tk(P39) + tk(P40) + tk(P42) + tk(P44) + tk(P48) + tk(P52) + tk(P54) + tk(P55) + tk(P60) + tk(P62) + tk(P68) + tk(P69) + tk(P70) + tk(P76) + tk(P77) + tk(P78) + tk(P79) + tk(P80) + tk(P82) + tk(P83) + tk(P87) + tk(P88) + tk(P89) + tk(P90) + tk(P91) + tk(P94) + tk(P99) + tk(P107) + tk(P110) + tk(P111) + tk(P112) + tk(P116) + tk(P117) + tk(P119) + tk(P120) + tk(P121) + tk(P123) + tk(P128) + tk(P135) + tk(P138) + tk(P139) + tk(P140) + tk(P143) + tk(P144) + tk(P146) + tk(P151) + tk(P152) + tk(P153) + tk(P155) + tk(P156) + tk(P159) + tk(P162) + tk(P163) + tk(P165) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P174) + tk(P175) + tk(P177) + tk(P179) + tk(P180) + tk(P182) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P192) + tk(P193) + tk(P196) + tk(P197) + tk(P198) + tk(P200) + tk(P201) + tk(P209) + tk(P210) + tk(P215) + tk(P216) + tk(P217) + tk(P219) + tk(P220) + tk(P221) + tk(P224) + tk(P225) + tk(P227) + tk(P230) + tk(P231) + tk(P234) + tk(P235) + tk(P237) + tk(P238) + tk(P239) + tk(P241) + tk(P244) + tk(P245) + tk(P248) + tk(P250) + tk(P251) + tk(P253) + tk(P255) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P267) + tk(P268) + tk(P270) + tk(P272) + tk(P273) + tk(P274) + tk(P278) + tk(P279) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P288) + tk(P289) + tk(P292) + tk(P297) + tk(P301) + tk(P305) + tk(P308) + tk(P310) + tk(P311) + tk(P312) + tk(P316) + tk(P318) + tk(P319) + tk(P321) + tk(P322) + tk(P324) + tk(P327) + tk(P329) + tk(P331) + tk(P334) + tk(P336) + tk(P337) + tk(P338) + tk(P340) + tk(P342) + tk(P348) + tk(P352) + tk(P355) + tk(P359) + tk(P361) + tk(P362) + tk(P363) + tk(P365) + tk(P367) + tk(P368) + tk(P371) + tk(P373) + tk(P375) + tk(P376) + tk(P377) + tk(P379) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P389) + tk(P390) + tk(P392) + tk(P393) + tk(P394) + tk(P396) + tk(P397) + tk(P398) + tk(P403) + tk(P404) + tk(P408) + tk(P409) + tk(P410) + tk(P415) + tk(P418) + tk(P425) + tk(P426) + tk(P427) + tk(P430) + tk(P431) + tk(P432) + tk(P435) + tk(P437) + tk(P440) + tk(P443) + tk(P448) + tk(P449) + tk(P450) + tk(P452) + tk(P455) + tk(P456) + tk(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P463) + tk(P464) + tk(P465) + tk(P467) + tk(P472) + tk(P473) + tk(P476) + tk(P477) + tk(P478) + tk(P481) + tk(P483) + tk(P485) + tk(P486) + tk(P488) + tk(P489) + tk(P493) + tk(P496) + tk(P498) + tk(P499) + tk(P503) + tk(P505) + tk(P506) + tk(P507) + tk(P510) + tk(P511) + tk(P512) + tk(P514) + tk(P516) + tk(P518) + tk(P520) + tk(P521) + tk(P522) + tk(P523) + tk(P528) + tk(P533) + tk(P534) + tk(P535) + tk(P536) + tk(P540) + tk(P541) + tk(P542) + tk(P544) + tk(P547) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P552) + tk(P554) + tk(P556) + tk(P560) + tk(P562) + tk(P570) + tk(P573) + tk(P574) + tk(P576) + tk(P577) + tk(P580) + tk(P581) + tk(P582) + tk(P584) + tk(P586) + tk(P588) + tk(P589) + tk(P590) + tk(P591) + tk(P594) + tk(P595) + tk(P596) + tk(P597) + tk(P599) + tk(P600) + tk(P601) + tk(P603) + tk(P606) + tk(P607) + tk(P609) + tk(P610) + tk(P613) + tk(P615) + tk(P620) + tk(P621) + tk(P625) + tk(P626) + tk(P627) + tk(P628) + tk(P631) + tk(P632) + tk(P634) + tk(P635) + tk(P637) + tk(P644) + tk(P650) + tk(P653) + tk(P654) + tk(P656) + tk(P657) + tk(P658) + tk(P660) + tk(P661) + tk(P665) + tk(P667) + tk(P668) + tk(P672) + tk(P673) + tk(P674) + tk(P677) + tk(P678) + tk(P680) + tk(P681) + tk(P682) + tk(P683) + tk(P684) + tk(P686) + tk(P687) + tk(P692) + tk(P698) + tk(P699) + tk(P701) + tk(P702) + tk(P705) + tk(P706) + tk(P707) + tk(P710) + tk(P712) + tk(P715) + tk(P719) + tk(P720) + tk(P721) + tk(P722) + tk(P723) + tk(P726) + tk(P727) + tk(P729) + tk(P730) + tk(P731) + tk(P733) + tk(P739) + tk(P742) + tk(P743) + tk(P744) + tk(P746) + tk(P747) + tk(P753) + tk(P755) + tk(P758) + tk(P760) + tk(P763) + tk(P764) + tk(P765) + tk(P766) + tk(P767) + tk(P768) + tk(P769) + tk(P771) + tk(P773) + tk(P778) + tk(P780) + tk(P783) + tk(P784) + tk(P786) + tk(P787) + tk(P789) + tk(P790) + tk(P791) + tk(P793) + tk(P796) + tk(P797) + tk(P800) + tk(P803) + tk(P805) + tk(P808) + tk(P811) + tk(P813) + tk(P815) + tk(P819) + tk(P820) + tk(P821) + tk(P822) + tk(P824) + tk(P825) + tk(P827) + tk(P828) + tk(P830) + tk(P837) + tk(P839) + tk(P841) + tk(P843) + tk(P844) + tk(P850) + tk(P852)) )) ) & (! ( potential( ( 2 ) <= (tk(P229)) ) | potential( ( 1 ) <= (tk(P306)) ) )) ) & (EU( potential( ( 1 ) <= (tk(P4) + tk(P30) + tk(P31) + tk(P66) + tk(P113) + tk(P132) + tk(P150) + tk(P158) + tk(P160) + tk(P168) + tk(P184) + tk(P252) + tk(P258) + tk(P296) + tk(P313) + tk(P325) + tk(P326) + tk(P347) + tk(P351) + tk(P356) + tk(P378) + tk(P381) + tk(P406) + tk(P422) + tk(P429) + tk(P442) + tk(P474) + tk(P491) + tk(P508) + tk(P618) + tk(P648) + tk(P696) + tk(P708) + tk(P714) + tk(P724) + tk(P777) + tk(P779) + tk(P804) + tk(P812) + tk(P816) + tk(P851)) ),potential( ( 1 ) <= (tk(P303)) ) )) ) & (AX( ( (! potential( (tk(P11) + tk(P59) + tk(P74) + tk(P84) + tk(P106) + tk(P118) + tk(P125) + tk(P157) + tk(P183) + tk(P223) + tk(P246) + tk(P247) + tk(P259) + tk(P277) + tk(P294) + tk(P307) + tk(P335) + tk(P346) + tk(P434) + tk(P436) + tk(P453) + tk(P454) + tk(P487) + tk(P492) + tk(P504) + tk(P543) + tk(P559) + tk(P563) + tk(P587) + tk(P611) + tk(P617) + tk(P633) + tk(P675) + tk(P695) + tk(P741) + tk(P745) + tk(P761) + tk(P802) + tk(P818) + tk(P823) + tk(P849)) <= (tk(P306)) )) | (! potential( (tk(P7) + tk(P129) + tk(P194) + tk(P236) + tk(P304) + tk(P405) + tk(P509) + tk(P546) + tk(P645) + tk(P649)) <= (tk(P424)) )) ))) )
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-03 (AF(( (EF(potential( ( 2 ) <= (tk(P1) + tk(P43) + tk(P47) + tk(P57) + tk(P72) + tk(P98) + tk(P103) + tk(P142) + tk(P145) + tk(P148) + tk(P164) + tk(P185) + tk(P207) + tk(P208) + tk(P222) + tk(P243) + tk(P275) + tk(P302) + tk(P388) + tk(P400) + tk(P411) + tk(P466) + tk(P469) + tk(P515) + tk(P526) + tk(P537) + tk(P538) + tk(P545) + tk(P564) + tk(P569) + tk(P572) + tk(P602) + tk(P623) + tk(P629) + tk(P679) + tk(P718) + tk(P740) + tk(P750) + tk(P751) + tk(P762) + tk(P770)) ))) | (EX( potential( ( 3 ) <= (tk(P15) + tk(P34) + tk(P67) + tk(P73) + tk(P85) + tk(P114) + tk(P133) + tk(P147) + tk(P149) + tk(P191) + tk(P232) + tk(P240) + tk(P276) + tk(P293) + tk(P315) + tk(P328) + tk(P345) + tk(P354) + tk(P372) + tk(P414) + tk(P451) + tk(P482) + tk(P490) + tk(P529) + tk(P555) + tk(P558) + tk(P578) + tk(P593) + tk(P604) + tk(P622) + tk(P636) + tk(P646) + tk(P676) + tk(P716) + tk(P717) + tk(P732) + tk(P734) + tk(P776) + tk(P801) + tk(P846) + tk(P853)) ))) )))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-04 (AG( ( (! (! potential( ( 2 ) <= (tk(P380)) ))) | ( (! potential( ( 3 ) <= (tk(P2) + tk(P9) + tk(P18) + tk(P22) + tk(P25) + tk(P26) + tk(P51) + tk(P130) + tk(P136) + tk(P161) + tk(P269) + tk(P286) + tk(P317) + tk(P350) + tk(P369) + tk(P374) + tk(P407) + tk(P419) + tk(P484) + tk(P500) + tk(P517) + tk(P525) + tk(P527) + tk(P531) + tk(P567) + tk(P612) + tk(P624) + tk(P638) + tk(P639) + tk(P651) + tk(P663) + tk(P664) + tk(P666) + tk(P703) + tk(P748) + tk(P754) + tk(P782) + tk(P785) + tk(P799) + tk(P817) + tk(P832)) )) & ( potential( ( 1 ) <= (tk(P45) + tk(P46) + tk(P49) + tk(P61) + tk(P64) + tk(P96) + tk(P100) + tk(P101) + tk(P102) + tk(P115) + tk(P202) + tk(P205) + tk(P211) + tk(P212) + tk(P266) + tk(P285) + tk(P290) + tk(P299) + tk(P323) + tk(P341) + tk(P344) + tk(P353) + tk(P364) + tk(P387) + tk(P399) + tk(P423) + tk(P441) + tk(P447) + tk(P571) + tk(P640) + tk(P641) + tk(P642) + tk(P659) + tk(P691) + tk(P735) + tk(P736) + tk(P775) + tk(P794) + tk(P834) + tk(P840) + tk(P854)) ) | potential( (tk(P41) + tk(P71) + tk(P81) + tk(P104) + tk(P108) + tk(P134) + tk(P195) + tk(P199) + tk(P206) + tk(P242) + tk(P291) + tk(P314) + tk(P320) + tk(P333) + tk(P343) + tk(P357) + tk(P370) + tk(P395) + tk(P433) + tk(P462) + tk(P468) + tk(P479) + tk(P480) + tk(P495) + tk(P532) + tk(P539) + tk(P557) + tk(P565) + tk(P585) + tk(P614) + tk(P616) + tk(P693) + tk(P728) + tk(P737) + tk(P738) + tk(P795) + tk(P806) + tk(P807) + tk(P814) + tk(P835) + tk(P838)) <= (tk(P401)) ) ) ) )))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-05 (AU( (AX( potential( (tk(P592)) <= (tk(P15) + tk(P34) + tk(P67) + tk(P73) + tk(P85) + tk(P114) + tk(P133) + tk(P147) + tk(P149) + tk(P191) + tk(P232) + tk(P240) + tk(P276) + tk(P293) + tk(P315) + tk(P328) + tk(P345) + tk(P354) + tk(P372) + tk(P414) + tk(P451) + tk(P482) + tk(P490) + tk(P529) + tk(P555) + tk(P558) + tk(P578) + tk(P593) + tk(P604) + tk(P622) + tk(P636) + tk(P646) + tk(P676) + tk(P716) + tk(P717) + tk(P732) + tk(P734) + tk(P776) + tk(P801) + tk(P846) + tk(P853)) ))),potential( ( 3 ) <= (tk(P75)) ) ))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-06 ( ( (EG( (! potential( ( 1 ) <= (tk(P366)) )))) & ( potential( (tk(P524)) <= (tk(P826)) ) & potential( (tk(P298)) <= (tk(P669)) ) ) ) | ( (AG( (! potential( ( 1 ) <= (tk(P24) + tk(P109) + tk(P173) + tk(P287) + tk(P358) + tk(P439) + tk(P690) + tk(P697) + tk(P759) + tk(P781)) )))) & (AF(( potential( ( 3 ) <= (tk(P141)) ) | potential( ( 1 ) <= (tk(P1) + tk(P43) + tk(P47) + tk(P57) + tk(P72) + tk(P98) + tk(P103) + tk(P142) + tk(P145) + tk(P148) + tk(P164) + tk(P185) + tk(P207) + tk(P208) + tk(P222) + tk(P243) + tk(P275) + tk(P302) + tk(P388) + tk(P400) + tk(P411) + tk(P466) + tk(P469) + tk(P515) + tk(P526) + tk(P537) + tk(P538) + tk(P545) + tk(P564) + tk(P569) + tk(P572) + tk(P602) + tk(P623) + tk(P629) + tk(P679) + tk(P718) + tk(P740) + tk(P750) + tk(P751) + tk(P762) + tk(P770)) ) ))) ) )
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-07 (! (EG( (AF(potential( (tk(P709)) <= (tk(P380)) ))))))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-08 (AU( (EX( potential( (tk(P657)) <= (tk(P428)) ))),( ( potential( ( 3 ) <= (tk(P206)) ) & potential( (tk(P282)) <= (tk(P607)) ) ) & (! potential( ( 1 ) <= (tk(P334)) )) ) ))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-09 (! (AG( (EF(potential( (tk(P738)) <= (tk(P695)) ))))))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-10 (AU( potential( (tk(P428)) <= (tk(P774)) ),( potential( (tk(P102)) <= (tk(P65)) ) & ( potential( (tk(P104)) <= (tk(P120)) ) & potential( ( 3 ) <= (tk(P198)) ) ) ) ))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-11 ( ( ( (! ( potential( (tk(P834)) <= (tk(P334)) ) & potential( ( 1 ) <= (tk(P398)) ) )) & (EG( potential( (tk(P622)) <= (tk(P100)) ))) ) & (AX( ( potential( ( 2 ) <= (tk(P754)) ) & potential( (tk(P632)) <= (tk(P698)) ) ))) ) | (EX( (AF(potential( ( 1 ) <= (tk(P712)) ))))) )
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-12 (AF((EX( potential( ( 2 ) <= (tk(P759)) )))))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-13 ( ( (AG( ( potential( (tk(P13)) <= (tk(P96)) ) & potential( (tk(P394)) <= (tk(P385)) ) ))) & (! potential( ( 1 ) <= (tk(P107)) )) ) | ( (EG( potential( ( 1 ) <= (tk(P631)) ))) & potential( ( 1 ) <= (tk(P265)) ) ) )
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-14 (! (EF(potential( ( 3 ) <= (tk(P278)) ))))
PROPERTY: PolyORBNT-PT-S10J40-CTLCardinality-15 ( (! (EF(potential( ( 2 ) <= (tk(P801)) )))) | ( ( (! potential( (tk(P763)) <= (tk(P257)) )) & (AG( potential( ( 2 ) <= (tk(P788)) ))) ) & (! (! potential( ( 1 ) <= (tk(P479)) ))) ) )

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="PolyORBNT-PT-S10J40"
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 PolyORBNT-PT-S10J40, 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-158961355100691"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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