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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.9M
-rw-r--r-- 1 mcc users 18K Apr 12 06:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Apr 12 06:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17K Apr 11 05:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Apr 11 05:48 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 17K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 58K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 182K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Apr 10 12:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 49K Apr 10 12:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 9 18:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Apr 9 18:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K 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 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.3M 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-S05J60-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S05J60-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646278013

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J60
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: 909 places, 1970 transitions, 12584 arcs.
AT ITER 0 NEW BEST:: SOT 1247084 SOS 616273 HAS SOPS 616273 HAS SOUS 387045 HAS SOUPS 387045 WITH SCORE 387661.273
AT ITER 7 NEW BEST:: SOT 1247084 SOS 616273 HAS SOPS 616273 HAS SOUS 386854 HAS SOUPS 386854 WITH SCORE 387470.273
AT ITER 9 NEW BEST:: SOT 1247034 SOS 616254 HAS SOPS 616254 HAS SOUS 386804 HAS SOUPS 386804 WITH SCORE 387420.254
AT ITER 47 NEW BEST:: SOT 1247034 SOS 616072 HAS SOPS 616072 HAS SOUS 385894 HAS SOUPS 385894 WITH SCORE 386510.072
AT ITER 50 NEW BEST:: SOT 1247034 SOS 616072 HAS SOPS 616072 HAS SOUS 385694 HAS SOUPS 385694 WITH SCORE 386310.072
AT ITER 57 NEW BEST:: SOT 1247042 SOS 616308 HAS SOPS 616308 HAS SOUS 385538 HAS SOUPS 385538 WITH SCORE 386154.308
AT ITER 61 NEW BEST:: SOT 1247042 SOS 616308 HAS SOPS 616308 HAS SOUS 385298 HAS SOUPS 385298 WITH SCORE 385914.308
AT ITER 71 NEW BEST:: SOT 1246993 SOS 616161 HAS SOPS 616161 HAS SOUS 384759 HAS SOUPS 384759 WITH SCORE 385375.161
AT ITER 72 NEW BEST:: SOT 1246930 SOS 615916 HAS SOPS 615916 HAS SOUS 383786 HAS SOUPS 383786 WITH SCORE 384401.916
AT ITER 86 NEW BEST:: SOT 1246938 SOS 616155 HAS SOPS 616155 HAS SOUS 383571 HAS SOUPS 383571 WITH SCORE 384187.155
AT ITER 98 NEW BEST:: SOT 1246873 SOS 616090 HAS SOPS 616090 HAS SOUS 383146 HAS SOUPS 383146 WITH SCORE 383762.09
AT ITER 101 NEW BEST:: SOT 1246873 SOS 616090 HAS SOPS 616090 HAS SOUS 382961 HAS SOUPS 382961 WITH SCORE 383577.09
AT ITER 111 NEW BEST:: SOT 1246873 SOS 616063 HAS SOPS 616063 HAS SOUS 382826 HAS SOUPS 382826 WITH SCORE 383442.063
AT ITER 118 NEW BEST:: SOT 1246989 SOS 616249 HAS SOPS 616249 HAS SOUS 382652 HAS SOUPS 382652 WITH SCORE 383268.249
AT ITER 125 NEW BEST:: SOT 1246942 SOS 616354 HAS SOPS 616354 HAS SOUS 382645 HAS SOUPS 382645 WITH SCORE 383261.354
AT ITER 134 NEW BEST:: SOT 1246942 SOS 616138 HAS SOPS 616138 HAS SOUS 382525 HAS SOUPS 382525 WITH SCORE 383141.138
AT ITER 147 NEW BEST:: SOT 1246942 SOS 616138 HAS SOPS 616138 HAS SOUS 382225 HAS SOUPS 382225 WITH SCORE 382841.138
AT ITER 148 NEW BEST:: SOT 1246942 SOS 615956 HAS SOPS 615956 HAS SOUS 381315 HAS SOUPS 381315 WITH SCORE 381930.956
AT ITER 149 NEW BEST:: SOT 1246942 SOS 615956 HAS SOPS 615956 HAS SOUS 381141 HAS SOUPS 381141 WITH SCORE 381756.956
AT ITER 157 NEW BEST:: SOT 1246884 SOS 615782 HAS SOPS 615782 HAS SOUS 380503 HAS SOUPS 380503 WITH SCORE 381118.782
AT ITER 161 NEW BEST:: SOT 1247618 SOS 616334 HAS SOPS 616334 HAS SOUS 380425 HAS SOUPS 380425 WITH SCORE 381041.334
AT ITER 180 NEW BEST:: SOT 1247618 SOS 616334 HAS SOPS 616334 HAS SOUS 380299 HAS SOUPS 380299 WITH SCORE 380915.334
AT ITER 185 NEW BEST:: SOT 1247517 SOS 616352 HAS SOPS 616352 HAS SOUS 380260 HAS SOUPS 380260 WITH SCORE 380876.352
AT ITER 189 NEW BEST:: SOT 1247416 SOS 616129 HAS SOPS 616129 HAS SOUS 379639 HAS SOUPS 379639 WITH SCORE 380255.129
AT ITER 210 NEW BEST:: SOT 1247313 SOS 616026 HAS SOPS 616026 HAS SOUS 379536 HAS SOUPS 379536 WITH SCORE 380152.026
AT ITER 216 NEW BEST:: SOT 1019673 SOS 433375 HAS SOPS 433375 HAS SOUS 345351 HAS SOUPS 345351 WITH SCORE 345784.375
AT ITER 222 NEW BEST:: SOT 1019552 SOS 433216 HAS SOPS 433216 HAS SOUS 344546 HAS SOUPS 344546 WITH SCORE 344979.216
AT ITER 224 NEW BEST:: SOT 1019633 SOS 433297 HAS SOPS 433297 HAS SOUS 344291 HAS SOUPS 344291 WITH SCORE 344724.297
AT ITER 232 NEW BEST:: SOT 1019646 SOS 434110 HAS SOPS 434110 HAS SOUS 344138 HAS SOUPS 344138 WITH SCORE 344572.11
AT ITER 235 NEW BEST:: SOT 1019229 SOS 433693 HAS SOPS 433693 HAS SOUS 343721 HAS SOUPS 343721 WITH SCORE 344154.693
AT ITER 236 NEW BEST:: SOT 1019229 SOS 433693 HAS SOPS 433693 HAS SOUS 343371 HAS SOUPS 343371 WITH SCORE 343804.693
AT ITER 237 NEW BEST:: SOT 1019158 SOS 433622 HAS SOPS 433622 HAS SOUS 343291 HAS SOUPS 343291 WITH SCORE 343724.622
AT ITER 240 NEW BEST:: SOT 1019171 SOS 433518 HAS SOPS 433518 HAS SOUS 342719 HAS SOUPS 342719 WITH SCORE 343152.518
AT ITER 256 NEW BEST:: SOT 1019142 SOS 433489 HAS SOPS 433489 HAS SOUS 342690 HAS SOUPS 342690 WITH SCORE 343123.489
AT ITER 264 NEW BEST:: SOT 1019077 SOS 433363 HAS SOPS 433363 HAS SOUS 341995 HAS SOUPS 341995 WITH SCORE 342428.363
AT ITER 268 NEW BEST:: SOT 1018904 SOS 433300 HAS SOPS 433300 HAS SOUS 341849 HAS SOUPS 341849 WITH SCORE 342282.3
AT ITER 278 NEW BEST:: SOT 1018904 SOS 433190 HAS SOPS 433190 HAS SOUS 341701 HAS SOUPS 341701 WITH SCORE 342134.19
AT ITER 284 NEW BEST:: SOT 1018865 SOS 433247 HAS SOPS 433247 HAS SOUS 341654 HAS SOUPS 341654 WITH SCORE 342087.247
AT ITER 293 NEW BEST:: SOT 1018642 SOS 433012 HAS SOPS 433012 HAS SOUS 340766 HAS SOUPS 340766 WITH SCORE 341199.012
AT ITER 294 NEW BEST:: SOT 1018631 SOS 433001 HAS SOPS 433001 HAS SOUS 340755 HAS SOUPS 340755 WITH SCORE 341188.001
AT ITER 325 NEW BEST:: SOT 1018639 SOS 433228 HAS SOPS 433228 HAS SOUS 340536 HAS SOUPS 340536 WITH SCORE 340969.228
AT ITER 331 NEW BEST:: SOT 1018559 SOS 433194 HAS SOPS 433194 HAS SOUS 340456 HAS SOUPS 340456 WITH SCORE 340889.194
AT ITER 346 NEW BEST:: SOT 1018567 SOS 433577 HAS SOPS 433577 HAS SOUS 340289 HAS SOUPS 340289 WITH SCORE 340722.577
AT ITER 348 NEW BEST:: SOT 1018508 SOS 433545 HAS SOPS 433545 HAS SOUS 340200 HAS SOUPS 340200 WITH SCORE 340633.545
AT ITER 357 NEW BEST:: SOT 1018508 SOS 433484 HAS SOPS 433484 HAS SOUS 339386 HAS SOUPS 339386 WITH SCORE 339819.484
AT ITER 359 NEW BEST:: SOT 1018508 SOS 433468 HAS SOPS 433468 HAS SOUS 339284 HAS SOUPS 339284 WITH SCORE 339717.468
AT ITER 364 NEW BEST:: SOT 1018508 SOS 433468 HAS SOPS 433468 HAS SOUS 338948 HAS SOUPS 338948 WITH SCORE 339381.468
AT ITER 373 NEW BEST:: SOT 1018389 SOS 433288 HAS SOPS 433288 HAS SOUS 337927 HAS SOUPS 337927 WITH SCORE 338360.288
AT ITER 374 NEW BEST:: SOT 1018356 SOS 433579 HAS SOPS 433579 HAS SOUS 337581 HAS SOUPS 337581 WITH SCORE 338014.579
AT ITER 385 NEW BEST:: SOT 1018245 SOS 433552 HAS SOPS 433552 HAS SOUS 337493 HAS SOUPS 337493 WITH SCORE 337926.552
AT ITER 391 NEW BEST:: SOT 982363 SOS 398596 HAS SOPS 398596 HAS SOUS 302146 HAS SOUPS 302146 WITH SCORE 302544.596
AT ITER 399 NEW BEST:: SOT 982247 SOS 398480 HAS SOPS 398480 HAS SOUS 302030 HAS SOUPS 302030 WITH SCORE 302428.48
AT ITER 400 NEW BEST:: SOT 982006 SOS 398239 HAS SOPS 398239 HAS SOUS 301789 HAS SOUPS 301789 WITH SCORE 302187.239
AT ITER 403 NEW BEST:: SOT 982627 SOS 398820 HAS SOPS 398820 HAS SOUS 301556 HAS SOUPS 301556 WITH SCORE 301954.82
AT ITER 406 NEW BEST:: SOT 982586 SOS 398779 HAS SOPS 398779 HAS SOUS 301515 HAS SOUPS 301515 WITH SCORE 301913.779
AT ITER 409 NEW BEST:: SOT 982444 SOS 398637 HAS SOPS 398637 HAS SOUS 301373 HAS SOUPS 301373 WITH SCORE 301771.637
AT ITER 420 NEW BEST:: SOT 982554 SOS 398866 HAS SOPS 398866 HAS SOUS 301242 HAS SOUPS 301242 WITH SCORE 301640.866
AT ITER 428 NEW BEST:: SOT 982433 SOS 398745 HAS SOPS 398745 HAS SOUS 301121 HAS SOUPS 301121 WITH SCORE 301519.745
AT ITER 432 NEW BEST:: SOT 982433 SOS 398595 HAS SOPS 398595 HAS SOUS 301061 HAS SOUPS 301061 WITH SCORE 301459.595
AT ITER 433 NEW BEST:: SOT 982433 SOS 398595 HAS SOPS 398595 HAS SOUS 300901 HAS SOUPS 300901 WITH SCORE 301299.595
AT ITER 443 NEW BEST:: SOT 982433 SOS 398595 HAS SOPS 398595 HAS SOUS 300879 HAS SOUPS 300879 WITH SCORE 301277.595
AT ITER 453 NEW BEST:: SOT 982415 SOS 398592 HAS SOPS 398592 HAS SOUS 300861 HAS SOUPS 300861 WITH SCORE 301259.592
AT ITER 457 NEW BEST:: SOT 982415 SOS 398592 HAS SOPS 398592 HAS SOUS 300681 HAS SOUPS 300681 WITH SCORE 301079.592
AT ITER 459 NEW BEST:: SOT 982414 SOS 398591 HAS SOPS 398591 HAS SOUS 300680 HAS SOUPS 300680 WITH SCORE 301078.591
AT ITER 462 NEW BEST:: SOT 982414 SOS 398591 HAS SOPS 398591 HAS SOUS 300477 HAS SOUPS 300477 WITH SCORE 300875.591
AT ITER 464 NEW BEST:: SOT 982311 SOS 398469 HAS SOPS 398469 HAS SOUS 299554 HAS SOUPS 299554 WITH SCORE 299952.469
AT ITER 467 NEW BEST:: SOT 982288 SOS 398446 HAS SOPS 398446 HAS SOUS 299511 HAS SOUPS 299511 WITH SCORE 299909.446
AT ITER 468 NEW BEST:: SOT 982123 SOS 398281 HAS SOPS 398281 HAS SOUS 299346 HAS SOUPS 299346 WITH SCORE 299744.281
AT ITER 479 NEW BEST:: SOT 982025 SOS 398183 HAS SOPS 398183 HAS SOUS 299248 HAS SOUPS 299248 WITH SCORE 299646.183
AT ITER 487 NEW BEST:: SOT 981935 SOS 398070 HAS SOPS 398070 HAS SOUS 298538 HAS SOUPS 298538 WITH SCORE 298936.07
AT ITER 506 NEW BEST:: SOT 981564 SOS 397699 HAS SOPS 397699 HAS SOUS 298167 HAS SOUPS 298167 WITH SCORE 298564.699
AT ITER 507 NEW BEST:: SOT 981443 SOS 397702 HAS SOPS 397702 HAS SOUS 298126 HAS SOUPS 298126 WITH SCORE 298523.702
AT ITER 513 NEW BEST:: SOT 981321 SOS 397543 HAS SOPS 397543 HAS SOUS 297614 HAS SOUPS 297614 WITH SCORE 298011.543
AT ITER 514 NEW BEST:: SOT 981321 SOS 397543 HAS SOPS 397543 HAS SOUS 297515 HAS SOUPS 297515 WITH SCORE 297912.543
AT ITER 540 NEW BEST:: SOT 981097 SOS 397286 HAS SOPS 397286 HAS SOUS 296426 HAS SOUPS 296426 WITH SCORE 296823.286
AT ITER 541 NEW BEST:: SOT 980982 SOS 397171 HAS SOPS 397171 HAS SOUS 296311 HAS SOUPS 296311 WITH SCORE 296708.171
AT ITER 550 NEW BEST:: SOT 981599 SOS 397768 HAS SOPS 397768 HAS SOUS 296220 HAS SOUPS 296220 WITH SCORE 296617.768
AT ITER 561 NEW BEST:: SOT 981457 SOS 397626 HAS SOPS 397626 HAS SOUS 296078 HAS SOUPS 296078 WITH SCORE 296475.626
AT ITER 570 NEW BEST:: SOT 981256 SOS 397425 HAS SOPS 397425 HAS SOUS 295877 HAS SOUPS 295877 WITH SCORE 296274.425
AT ITER 571 NEW BEST:: SOT 981256 SOS 397425 HAS SOPS 397425 HAS SOUS 295267 HAS SOUPS 295267 WITH SCORE 295664.425
AT ITER 572 NEW BEST:: SOT 981252 SOS 397421 HAS SOPS 397421 HAS SOUS 295223 HAS SOUPS 295223 WITH SCORE 295620.421
AT ITER 584 NEW BEST:: SOT 981190 SOS 397359 HAS SOPS 397359 HAS SOUS 295161 HAS SOUPS 295161 WITH SCORE 295558.359
AT ITER 588 NEW BEST:: SOT 981227 SOS 397396 HAS SOPS 397396 HAS SOUS 294738 HAS SOUPS 294738 WITH SCORE 295135.396
AT ITER 590 NEW BEST:: SOT 980993 SOS 397162 HAS SOPS 397162 HAS SOUS 294504 HAS SOUPS 294504 WITH SCORE 294901.162
AT ITER 592 NEW BEST:: SOT 980993 SOS 397162 HAS SOPS 397162 HAS SOUS 294334 HAS SOUPS 294334 WITH SCORE 294731.162
AT ITER 607 NEW BEST:: SOT 980993 SOS 397101 HAS SOPS 397101 HAS SOUS 294095 HAS SOUPS 294095 WITH SCORE 294492.101
AT ITER 609 NEW BEST:: SOT 980888 SOS 397359 HAS SOPS 397359 HAS SOUS 293951 HAS SOUPS 293951 WITH SCORE 294348.359
AT ITER 610 NEW BEST:: SOT 980886 SOS 397593 HAS SOPS 397593 HAS SOUS 293696 HAS SOUPS 293696 WITH SCORE 294093.593
AT ITER 612 NEW BEST:: SOT 980794 SOS 397501 HAS SOPS 397501 HAS SOUS 293604 HAS SOUPS 293604 WITH SCORE 294001.501
AT ITER 619 NEW BEST:: SOT 980538 SOS 397245 HAS SOPS 397245 HAS SOUS 293093 HAS SOUPS 293093 WITH SCORE 293490.245
AT ITER 620 NEW BEST:: SOT 980636 SOS 397473 HAS SOPS 397473 HAS SOUS 293019 HAS SOUPS 293019 WITH SCORE 293416.473
AT ITER 622 NEW BEST:: SOT 980796 SOS 397633 HAS SOPS 397633 HAS SOUS 292084 HAS SOUPS 292084 WITH SCORE 292481.633
AT ITER 625 NEW BEST:: SOT 980529 SOS 397366 HAS SOPS 397366 HAS SOUS 290736 HAS SOUPS 290736 WITH SCORE 291133.366
AT ITER 628 NEW BEST:: SOT 980529 SOS 397352 HAS SOPS 397352 HAS SOUS 290626 HAS SOUPS 290626 WITH SCORE 291023.352
AT ITER 637 NEW BEST:: SOT 980117 SOS 396929 HAS SOPS 396929 HAS SOUS 289304 HAS SOUPS 289304 WITH SCORE 289700.929
AT ITER 642 NEW BEST:: SOT 980117 SOS 396929 HAS SOPS 396929 HAS SOUS 288459 HAS SOUPS 288459 WITH SCORE 288855.929
AT ITER 654 NEW BEST:: SOT 980098 SOS 396923 HAS SOPS 396923 HAS SOUS 288367 HAS SOUPS 288367 WITH SCORE 288763.923
AT ITER 659 NEW BEST:: SOT 979990 SOS 396815 HAS SOPS 396815 HAS SOUS 288259 HAS SOUPS 288259 WITH SCORE 288655.815
AT ITER 660 NEW BEST:: SOT 979698 SOS 396498 HAS SOPS 396498 HAS SOUS 286654 HAS SOUPS 286654 WITH SCORE 287050.498
AT ITER 662 NEW BEST:: SOT 979482 SOS 396230 HAS SOPS 396230 HAS SOUS 285528 HAS SOUPS 285528 WITH SCORE 285924.23
AT ITER 663 NEW BEST:: SOT 979483 SOS 396232 HAS SOPS 396232 HAS SOUS 285321 HAS SOUPS 285321 WITH SCORE 285717.232
AT ITER 674 NEW BEST:: SOT 979000 SOS 395737 HAS SOPS 395737 HAS SOUS 284627 HAS SOUPS 284627 WITH SCORE 285022.737
AT ITER 680 NEW BEST:: SOT 979014 SOS 395751 HAS SOPS 395751 HAS SOUS 284105 HAS SOUPS 284105 WITH SCORE 284500.751
AT ITER 683 NEW BEST:: SOT 978978 SOS 395739 HAS SOPS 395739 HAS SOUS 284069 HAS SOUPS 284069 WITH SCORE 284464.739
AT ITER 684 NEW BEST:: SOT 978909 SOS 395670 HAS SOPS 395670 HAS SOUS 284000 HAS SOUPS 284000 WITH SCORE 284395.67
AT ITER 689 NEW BEST:: SOT 979024 SOS 395785 HAS SOPS 395785 HAS SOUS 283235 HAS SOUPS 283235 WITH SCORE 283630.785
AT ITER 693 NEW BEST:: SOT 978951 SOS 395712 HAS SOPS 395712 HAS SOUS 283203 HAS SOUPS 283203 WITH SCORE 283598.712
AT ITER 697 NEW BEST:: SOT 979140 SOS 395901 HAS SOPS 395901 HAS SOUS 282396 HAS SOUPS 282396 WITH SCORE 282791.901
AT ITER 709 NEW BEST:: SOT 979028 SOS 395789 HAS SOPS 395789 HAS SOUS 282060 HAS SOUPS 282060 WITH SCORE 282455.789
AT ITER 713 NEW BEST:: SOT 978912 SOS 395673 HAS SOPS 395673 HAS SOUS 281944 HAS SOUPS 281944 WITH SCORE 282339.673
AT ITER 715 NEW BEST:: SOT 978912 SOS 395673 HAS SOPS 395673 HAS SOUS 281932 HAS SOUPS 281932 WITH SCORE 282327.673
AT ITER 721 NEW BEST:: SOT 978839 SOS 395600 HAS SOPS 395600 HAS SOUS 281491 HAS SOUPS 281491 WITH SCORE 281886.6
AT ITER 723 NEW BEST:: SOT 978839 SOS 395508 HAS SOPS 395508 HAS SOUS 281339 HAS SOUPS 281339 WITH SCORE 281734.508
AT ITER 735 NEW BEST:: SOT 978736 SOS 395405 HAS SOPS 395405 HAS SOUS 280931 HAS SOUPS 280931 WITH SCORE 281326.405
AT ITER 746 NEW BEST:: SOT 978736 SOS 395329 HAS SOPS 395329 HAS SOUS 280665 HAS SOUPS 280665 WITH SCORE 281060.329
AT ITER 747 NEW BEST:: SOT 978736 SOS 395329 HAS SOPS 395329 HAS SOUS 280485 HAS SOUPS 280485 WITH SCORE 280880.329
AT ITER 750 NEW BEST:: SOT 978721 SOS 395299 HAS SOPS 395299 HAS SOUS 280455 HAS SOUPS 280455 WITH SCORE 280850.299
AT ITER 758 NEW BEST:: SOT 978729 SOS 395549 HAS SOPS 395549 HAS SOUS 280251 HAS SOUPS 280251 WITH SCORE 280646.549
AT ITER 765 NEW BEST:: SOT 978729 SOS 395505 HAS SOPS 395505 HAS SOUS 280207 HAS SOUPS 280207 WITH SCORE 280602.505
AT ITER 768 NEW BEST:: SOT 978729 SOS 395368 HAS SOPS 395368 HAS SOUS 280129 HAS SOUPS 280129 WITH SCORE 280524.368
AT ITER 770 NEW BEST:: SOT 978599 SOS 395286 HAS SOPS 395286 HAS SOUS 280047 HAS SOUPS 280047 WITH SCORE 280442.286
AT ITER 771 NEW BEST:: SOT 978599 SOS 395286 HAS SOPS 395286 HAS SOUS 280043 HAS SOUPS 280043 WITH SCORE 280438.286
AT ITER 775 NEW BEST:: SOT 978559 SOS 396046 HAS SOPS 396046 HAS SOUS 280038 HAS SOUPS 280038 WITH SCORE 280434.046
AT ITER 786 NEW BEST:: SOT 978378 SOS 395865 HAS SOPS 395865 HAS SOUS 278327 HAS SOUPS 278327 WITH SCORE 278722.865
AT ITER 794 NEW BEST:: SOT 978366 SOS 395853 HAS SOPS 395853 HAS SOUS 278315 HAS SOUPS 278315 WITH SCORE 278710.853
AT ITER 800 NEW BEST:: SOT 978082 SOS 395569 HAS SOPS 395569 HAS SOUS 278031 HAS SOUPS 278031 WITH SCORE 278426.569
AT ITER 806 NEW BEST:: SOT 978082 SOS 395436 HAS SOPS 395436 HAS SOUS 278010 HAS SOUPS 278010 WITH SCORE 278405.436
AT ITER 808 NEW BEST:: SOT 977742 SOS 395096 HAS SOPS 395096 HAS SOUS 277670 HAS SOUPS 277670 WITH SCORE 278065.096
AT ITER 812 NEW BEST:: SOT 977701 SOS 395055 HAS SOPS 395055 HAS SOUS 277629 HAS SOUPS 277629 WITH SCORE 278024.055
AT ITER 827 NEW BEST:: SOT 977671 SOS 395025 HAS SOPS 395025 HAS SOUS 277599 HAS SOUPS 277599 WITH SCORE 277994.025
AT ITER 828 NEW BEST:: SOT 977497 SOS 394677 HAS SOPS 394677 HAS SOUS 277251 HAS SOUPS 277251 WITH SCORE 277645.677
AT ITER 830 NEW BEST:: SOT 977479 SOS 394354 HAS SOPS 394354 HAS SOUS 277033 HAS SOUPS 277033 WITH SCORE 277427.354
AT ITER 833 NEW BEST:: SOT 977479 SOS 394262 HAS SOPS 394262 HAS SOUS 277010 HAS SOUPS 277010 WITH SCORE 277404.262
AT ITER 835 NEW BEST:: SOT 977426 SOS 394209 HAS SOPS 394209 HAS SOUS 276957 HAS SOUPS 276957 WITH SCORE 277351.209
AT ITER 839 NEW BEST:: SOT 977426 SOS 394208 HAS SOPS 394208 HAS SOUS 276956 HAS SOUPS 276956 WITH SCORE 277350.208
AT ITER 841 NEW BEST:: SOT 977202 SOS 393984 HAS SOPS 393984 HAS SOUS 275668 HAS SOUPS 275668 WITH SCORE 276061.984
AT ITER 844 NEW BEST:: SOT 977129 SOS 394026 HAS SOPS 394026 HAS SOUS 275522 HAS SOUPS 275522 WITH SCORE 275916.026
AT ITER 845 NEW BEST:: SOT 977119 SOS 394016 HAS SOPS 394016 HAS SOUS 275512 HAS SOUPS 275512 WITH SCORE 275906.016
AT ITER 848 NEW BEST:: SOT 977021 SOS 393918 HAS SOPS 393918 HAS SOUS 275414 HAS SOUPS 275414 WITH SCORE 275807.918
AT ITER 855 NEW BEST:: SOT 977021 SOS 393867 HAS SOPS 393867 HAS SOUS 275363 HAS SOUPS 275363 WITH SCORE 275756.867
AT ITER 858 NEW BEST:: SOT 977139 SOS 393917 HAS SOPS 393917 HAS SOUS 275092 HAS SOUPS 275092 WITH SCORE 275485.917
AT ITER 860 NEW BEST:: SOT 977030 SOS 393765 HAS SOPS 393765 HAS SOUS 274133 HAS SOUPS 274133 WITH SCORE 274526.765
AT ITER 866 NEW BEST:: SOT 977058 SOS 393793 HAS SOPS 393793 HAS SOUS 274063 HAS SOUPS 274063 WITH SCORE 274456.793
AT ITER 869 NEW BEST:: SOT 976846 SOS 393772 HAS SOPS 393772 HAS SOUS 273716 HAS SOUPS 273716 WITH SCORE 274109.772
AT ITER 875 NEW BEST:: SOT 976810 SOS 393754 HAS SOPS 393754 HAS SOUS 273680 HAS SOUPS 273680 WITH SCORE 274073.754
AT ITER 876 NEW BEST:: SOT 976831 SOS 393426 HAS SOPS 393426 HAS SOUS 273537 HAS SOUPS 273537 WITH SCORE 273930.426
AT ITER 880 NEW BEST:: SOT 976831 SOS 393392 HAS SOPS 393392 HAS SOUS 273537 HAS SOUPS 273537 WITH SCORE 273930.392
AT ITER 883 NEW BEST:: SOT 976831 SOS 393392 HAS SOPS 393392 HAS SOUS 273439 HAS SOUPS 273439 WITH SCORE 273832.392
AT ITER 886 NEW BEST:: SOT 977014 SOS 393515 HAS SOPS 393515 HAS SOUS 272973 HAS SOUPS 272973 WITH SCORE 273366.515
AT ITER 888 NEW BEST:: SOT 977040 SOS 393541 HAS SOPS 393541 HAS SOUS 272881 HAS SOUPS 272881 WITH SCORE 273274.541
AT ITER 891 NEW BEST:: SOT 976871 SOS 393372 HAS SOPS 393372 HAS SOUS 271782 HAS SOUPS 271782 WITH SCORE 272175.372
AT ITER 894 NEW BEST:: SOT 976871 SOS 393372 HAS SOPS 393372 HAS SOUS 271227 HAS SOUPS 271227 WITH SCORE 271620.372
AT ITER 897 NEW BEST:: SOT 976715 SOS 393351 HAS SOPS 393351 HAS SOUS 271133 HAS SOUPS 271133 WITH SCORE 271526.351
AT ITER 898 NEW BEST:: SOT 976605 SOS 393241 HAS SOPS 393241 HAS SOUS 270575 HAS SOUPS 270575 WITH SCORE 270968.241
AT ITER 901 NEW BEST:: SOT 976535 SOS 393171 HAS SOPS 393171 HAS SOUS 270505 HAS SOUPS 270505 WITH SCORE 270898.171
AT ITER 907 NEW BEST:: SOT 976469 SOS 393105 HAS SOPS 393105 HAS SOUS 270439 HAS SOUPS 270439 WITH SCORE 270832.105
AT ITER 914 NEW BEST:: SOT 976666 SOS 393302 HAS SOPS 393302 HAS SOUS 270378 HAS SOUPS 270378 WITH SCORE 270771.302
AT ITER 915 NEW BEST:: SOT 976625 SOS 393292 HAS SOPS 393292 HAS SOUS 270337 HAS SOUPS 270337 WITH SCORE 270730.292
AT ITER 928 NEW BEST:: SOT 976607 SOS 393027 HAS SOPS 393027 HAS SOUS 270123 HAS SOUPS 270123 WITH SCORE 270516.027
AT ITER 936 NEW BEST:: SOT 976593 SOS 393013 HAS SOPS 393013 HAS SOUS 270109 HAS SOUPS 270109 WITH SCORE 270502.013
AT ITER 938 NEW BEST:: SOT 976491 SOS 393100 HAS SOPS 393100 HAS SOUS 270025 HAS SOUPS 270025 WITH SCORE 270418.1
AT ITER 942 NEW BEST:: SOT 976491 SOS 393100 HAS SOPS 393100 HAS SOUS 269964 HAS SOUPS 269964 WITH SCORE 270357.1
AT ITER 945 NEW BEST:: SOT 976676 SOS 393224 HAS SOPS 393224 HAS SOUS 269257 HAS SOUPS 269257 WITH SCORE 269650.224
AT ITER 946 NEW BEST:: SOT 976673 SOS 393221 HAS SOPS 393221 HAS SOUS 269254 HAS SOUPS 269254 WITH SCORE 269647.221
AT ITER 958 NEW BEST:: SOT 976621 SOS 393198 HAS SOPS 393198 HAS SOUS 269218 HAS SOUPS 269218 WITH SCORE 269611.198
AT ITER 960 NEW BEST:: SOT 976734 SOS 393450 HAS SOPS 393450 HAS SOUS 269114 HAS SOUPS 269114 WITH SCORE 269507.45
AT ITER 961 NEW BEST:: SOT 976734 SOS 393441 HAS SOPS 393441 HAS SOUS 269049 HAS SOUPS 269049 WITH SCORE 269442.441
AT ITER 967 NEW BEST:: SOT 976734 SOS 393441 HAS SOPS 393441 HAS SOUS 269015 HAS SOUPS 269015 WITH SCORE 269408.441
AT ITER 972 NEW BEST:: SOT 976734 SOS 393395 HAS SOPS 393395 HAS SOUS 269015 HAS SOUPS 269015 WITH SCORE 269408.395
AT ITER 991 NEW BEST:: SOT 976579 SOS 393184 HAS SOPS 393184 HAS SOUS 267964 HAS SOUPS 267964 WITH SCORE 268357.184
AT ITER 999 NEW BEST:: SOT 976506 SOS 393115 HAS SOPS 393115 HAS SOUS 267568 HAS SOUPS 267568 WITH SCORE 267961.115
AT ITER 1000 NEW BEST:: SOT 976511 SOS 393226 HAS SOPS 393226 HAS SOUS 267499 HAS SOUPS 267499 WITH SCORE 267892.226
AT ITER 1009 NEW BEST:: SOT 976630 SOS 393260 HAS SOPS 393260 HAS SOUS 267238 HAS SOUPS 267238 WITH SCORE 267631.26
AT ITER 1017 NEW BEST:: SOT 976644 SOS 393274 HAS SOPS 393274 HAS SOUS 267183 HAS SOUPS 267183 WITH SCORE 267576.274
AT ITER 1026 NEW BEST:: SOT 976631 SOS 393227 HAS SOPS 393227 HAS SOUS 267157 HAS SOUPS 267157 WITH SCORE 267550.227
AT ITER 1032 NEW BEST:: SOT 976645 SOS 393235 HAS SOPS 393235 HAS SOUS 267118 HAS SOUPS 267118 WITH SCORE 267511.235
AT ITER 1037 NEW BEST:: SOT 976800 SOS 393366 HAS SOPS 393366 HAS SOUS 266620 HAS SOUPS 266620 WITH SCORE 267013.366
AT ITER 1040 NEW BEST:: SOT 976800 SOS 393321 HAS SOPS 393321 HAS SOUS 266560 HAS SOUPS 266560 WITH SCORE 266953.321
AT ITER 1046 NEW BEST:: SOT 976756 SOS 393365 HAS SOPS 393365 HAS SOUS 266301 HAS SOUPS 266301 WITH SCORE 266694.365
AT ITER 1066 NEW BEST:: SOT 976508 SOS 393117 HAS SOPS 393117 HAS SOUS 265941 HAS SOUPS 265941 WITH SCORE 266334.117
AT ITER 1068 NEW BEST:: SOT 976490 SOS 393081 HAS SOPS 393081 HAS SOUS 265905 HAS SOUPS 265905 WITH SCORE 266298.081
AT ITER 1070 NEW BEST:: SOT 976362 SOS 393109 HAS SOPS 393109 HAS SOUS 265833 HAS SOUPS 265833 WITH SCORE 266226.109
AT ITER 1072 NEW BEST:: SOT 976381 SOS 392884 HAS SOPS 392884 HAS SOUS 265689 HAS SOUPS 265689 WITH SCORE 266081.884
AT ITER 1079 NEW BEST:: SOT 976228 SOS 392731 HAS SOPS 392731 HAS SOUS 265523 HAS SOUPS 265523 WITH SCORE 265915.731
AT ITER 1080 NEW BEST:: SOT 976208 SOS 392711 HAS SOPS 392711 HAS SOUS 265503 HAS SOUPS 265503 WITH SCORE 265895.711
AT ITER 1089 NEW BEST:: SOT 976377 SOS 392880 HAS SOPS 392880 HAS SOUS 265209 HAS SOUPS 265209 WITH SCORE 265601.88
AT ITER 1095 NEW BEST:: SOT 976349 SOS 392852 HAS SOPS 392852 HAS SOUS 264721 HAS SOUPS 264721 WITH SCORE 265113.852
AT ITER 1096 NEW BEST:: SOT 976349 SOS 392919 HAS SOPS 392919 HAS SOUS 264693 HAS SOUPS 264693 WITH SCORE 265085.919
AT ITER 1106 NEW BEST:: SOT 976233 SOS 392803 HAS SOPS 392803 HAS SOUS 264582 HAS SOUPS 264582 WITH SCORE 264974.803
AT ITER 1112 NEW BEST:: SOT 976233 SOS 392803 HAS SOPS 392803 HAS SOUS 264229 HAS SOUPS 264229 WITH SCORE 264621.803
AT ITER 1118 NEW BEST:: SOT 976242 SOS 392767 HAS SOPS 392767 HAS SOUS 264093 HAS SOUPS 264093 WITH SCORE 264485.767
AT ITER 1123 NEW BEST:: SOT 976242 SOS 392791 HAS SOPS 392791 HAS SOUS 264008 HAS SOUPS 264008 WITH SCORE 264400.791
AT ITER 1134 NEW BEST:: SOT 976242 SOS 392798 HAS SOPS 392798 HAS SOUS 264001 HAS SOUPS 264001 WITH SCORE 264393.798
AT ITER 1135 NEW BEST:: SOT 976242 SOS 392798 HAS SOPS 392798 HAS SOUS 263944 HAS SOUPS 263944 WITH SCORE 264336.798
AT ITER 1140 NEW BEST:: SOT 976196 SOS 392752 HAS SOPS 392752 HAS SOUS 263898 HAS SOUPS 263898 WITH SCORE 264290.752
AT ITER 1155 NEW BEST:: SOT 976103 SOS 392659 HAS SOPS 392659 HAS SOUS 263310 HAS SOUPS 263310 WITH SCORE 263702.659
AT ITER 1170 NEW BEST:: SOT 975916 SOS 392472 HAS SOPS 392472 HAS SOUS 262743 HAS SOUPS 262743 WITH SCORE 263135.472
AT ITER 1174 NEW BEST:: SOT 975709 SOS 392265 HAS SOPS 392265 HAS SOUS 262536 HAS SOUPS 262536 WITH SCORE 262928.265
AT ITER 1177 NEW BEST:: SOT 975657 SOS 392213 HAS SOPS 392213 HAS SOUS 262484 HAS SOUPS 262484 WITH SCORE 262876.213
AT ITER 1182 NEW BEST:: SOT 975657 SOS 392211 HAS SOPS 392211 HAS SOUS 262484 HAS SOUPS 262484 WITH SCORE 262876.211
AT ITER 1186 NEW BEST:: SOT 975925 SOS 392444 HAS SOPS 392444 HAS SOUS 261896 HAS SOUPS 261896 WITH SCORE 262288.444
AT ITER 1196 NEW BEST:: SOT 975915 SOS 392434 HAS SOPS 392434 HAS SOUS 261886 HAS SOUPS 261886 WITH SCORE 262278.434
AT ITER 1207 NEW BEST:: SOT 975966 SOS 392485 HAS SOPS 392485 HAS SOUS 261820 HAS SOUPS 261820 WITH SCORE 262212.485
AT ITER 1214 NEW BEST:: SOT 975966 SOS 392485 HAS SOPS 392485 HAS SOUS 261640 HAS SOUPS 261640 WITH SCORE 262032.485
AT ITER 1224 NEW BEST:: SOT 975966 SOS 392469 HAS SOPS 392469 HAS SOUS 261559 HAS SOUPS 261559 WITH SCORE 261951.469
AT ITER 1229 NEW BEST:: SOT 976000 SOS 392459 HAS SOPS 392459 HAS SOUS 260902 HAS SOUPS 260902 WITH SCORE 261294.459
AT ITER 1234 NEW BEST:: SOT 976000 SOS 392459 HAS SOPS 392459 HAS SOUS 260662 HAS SOUPS 260662 WITH SCORE 261054.459
AT ITER 1236 NEW BEST:: SOT 975936 SOS 392395 HAS SOPS 392395 HAS SOUS 260598 HAS SOUPS 260598 WITH SCORE 260990.395
AT ITER 1237 NEW BEST:: SOT 975775 SOS 392365 HAS SOPS 392365 HAS SOUS 260596 HAS SOUPS 260596 WITH SCORE 260988.365
AT ITER 1248 NEW BEST:: SOT 975685 SOS 392367 HAS SOPS 392367 HAS SOUS 260547 HAS SOUPS 260547 WITH SCORE 260939.367
AT ITER 1252 NEW BEST:: SOT 975727 SOS 392952 HAS SOPS 392952 HAS SOUS 260495 HAS SOUPS 260495 WITH SCORE 260887.952
AT ITER 1261 NEW BEST:: SOT 975727 SOS 392952 HAS SOPS 392952 HAS SOUS 260464 HAS SOUPS 260464 WITH SCORE 260856.952
AT ITER 1262 NEW BEST:: SOT 975683 SOS 392905 HAS SOPS 392905 HAS SOUS 260417 HAS SOUPS 260417 WITH SCORE 260809.905
AT ITER 1269 NEW BEST:: SOT 975624 SOS 392923 HAS SOPS 392923 HAS SOUS 260381 HAS SOUPS 260381 WITH SCORE 260773.923
AT ITER 1289 NEW BEST:: SOT 975624 SOS 392882 HAS SOPS 392882 HAS SOUS 260371 HAS SOUPS 260371 WITH SCORE 260763.882
AT ITER 1292 NEW BEST:: SOT 975624 SOS 392882 HAS SOPS 392882 HAS SOUS 260346 HAS SOUPS 260346 WITH SCORE 260738.882
AT ITER 1293 NEW BEST:: SOT 975624 SOS 393130 HAS SOPS 393130 HAS SOUS 260279 HAS SOUPS 260279 WITH SCORE 260672.13
AT ITER 1295 NEW BEST:: SOT 975612 SOS 393118 HAS SOPS 393118 HAS SOUS 260255 HAS SOUPS 260255 WITH SCORE 260648.118
AT ITER 1326 NEW BEST:: SOT 975562 SOS 393068 HAS SOPS 393068 HAS SOUS 260205 HAS SOUPS 260205 WITH SCORE 260598.068
AT ITER 1328 NEW BEST:: SOT 975399 SOS 392902 HAS SOPS 392902 HAS SOUS 259902 HAS SOUPS 259902 WITH SCORE 260294.902
AT ITER 1329 NEW BEST:: SOT 975248 SOS 392751 HAS SOPS 392751 HAS SOUS 259691 HAS SOUPS 259691 WITH SCORE 260083.751
AT ITER 1338 NEW BEST:: SOT 975663 SOS 393144 HAS SOPS 393144 HAS SOUS 259344 HAS SOUPS 259344 WITH SCORE 259737.144
AT ITER 1340 NEW BEST:: SOT 975663 SOS 393144 HAS SOPS 393144 HAS SOUS 259331 HAS SOUPS 259331 WITH SCORE 259724.144
AT ITER 1347 NEW BEST:: SOT 975610 SOS 393091 HAS SOPS 393091 HAS SOUS 259217 HAS SOUPS 259217 WITH SCORE 259610.091
AT ITER 1350 NEW BEST:: SOT 975556 SOS 393019 HAS SOPS 393019 HAS SOUS 259145 HAS SOUPS 259145 WITH SCORE 259538.019
AT ITER 1355 NEW BEST:: SOT 975534 SOS 392997 HAS SOPS 392997 HAS SOUS 259123 HAS SOUPS 259123 WITH SCORE 259515.997
AT ITER 1364 NEW BEST:: SOT 975534 SOS 393066 HAS SOPS 393066 HAS SOUS 259112 HAS SOUPS 259112 WITH SCORE 259505.066
AT ITER 1366 NEW BEST:: SOT 975389 SOS 392921 HAS SOPS 392921 HAS SOUS 258164 HAS SOUPS 258164 WITH SCORE 258556.921
AT ITER 1380 NEW BEST:: SOT 975382 SOS 392914 HAS SOPS 392914 HAS SOUS 257942 HAS SOUPS 257942 WITH SCORE 258334.914
AT ITER 1382 NEW BEST:: SOT 975374 SOS 392906 HAS SOPS 392906 HAS SOUS 257499 HAS SOUPS 257499 WITH SCORE 257891.906
AT ITER 1391 NEW BEST:: SOT 975306 SOS 392838 HAS SOPS 392838 HAS SOUS 257335 HAS SOUPS 257335 WITH SCORE 257727.838
AT ITER 1395 NEW BEST:: SOT 975258 SOS 392790 HAS SOPS 392790 HAS SOUS 257287 HAS SOUPS 257287 WITH SCORE 257679.79
AT ITER 1406 NEW BEST:: SOT 975185 SOS 404415 HAS SOPS 404415 HAS SOUS 257140 HAS SOUPS 257140 WITH SCORE 257544.415
AT ITER 1412 NEW BEST:: SOT 974831 SOS 404043 HAS SOPS 404043 HAS SOUS 255963 HAS SOUPS 255963 WITH SCORE 256367.043
AT ITER 1419 NEW BEST:: SOT 974831 SOS 404140 HAS SOPS 404140 HAS SOUS 255948 HAS SOUPS 255948 WITH SCORE 256352.14
AT ITER 1421 NEW BEST:: SOT 974685 SOS 403994 HAS SOPS 403994 HAS SOUS 255794 HAS SOUPS 255794 WITH SCORE 256197.994
AT ITER 1424 NEW BEST:: SOT 974662 SOS 404146 HAS SOPS 404146 HAS SOUS 255789 HAS SOUPS 255789 WITH SCORE 256193.146
AT ITER 1426 NEW BEST:: SOT 974662 SOS 404120 HAS SOPS 404120 HAS SOUS 255789 HAS SOUPS 255789 WITH SCORE 256193.12
AT ITER 1430 NEW BEST:: SOT 974641 SOS 403902 HAS SOPS 403902 HAS SOUS 255704 HAS SOUPS 255704 WITH SCORE 256107.902
AT ITER 1434 NEW BEST:: SOT 974538 SOS 405745 HAS SOPS 405745 HAS SOUS 255630 HAS SOUPS 255630 WITH SCORE 256035.745
AT ITER 1435 NEW BEST:: SOT 974538 SOS 405660 HAS SOPS 405660 HAS SOUS 255450 HAS SOUPS 255450 WITH SCORE 255855.66
AT ITER 1444 NEW BEST:: SOT 974434 SOS 405556 HAS SOPS 405556 HAS SOUS 255244 HAS SOUPS 255244 WITH SCORE 255649.556
AT ITER 1452 NEW BEST:: SOT 974434 SOS 405553 HAS SOPS 405553 HAS SOUS 255214 HAS SOUPS 255214 WITH SCORE 255619.553
AT ITER 1459 NEW BEST:: SOT 974231 SOS 405350 HAS SOPS 405350 HAS SOUS 255011 HAS SOUPS 255011 WITH SCORE 255416.35
AT ITER 1461 NEW BEST:: SOT 973915 SOS 405034 HAS SOPS 405034 HAS SOUS 254577 HAS SOUPS 254577 WITH SCORE 254982.034
AT ITER 1464 NEW BEST:: SOT 973813 SOS 404932 HAS SOPS 404932 HAS SOUS 254475 HAS SOUPS 254475 WITH SCORE 254879.932
AT ITER 1474 NEW BEST:: SOT 973807 SOS 404926 HAS SOPS 404926 HAS SOUS 254469 HAS SOUPS 254469 WITH SCORE 254873.926
AT ITER 1477 NEW BEST:: SOT 973807 SOS 404907 HAS SOPS 404907 HAS SOUS 254443 HAS SOUPS 254443 WITH SCORE 254847.907
AT ITER 1488 NEW BEST:: SOT 973780 SOS 404880 HAS SOPS 404880 HAS SOUS 254389 HAS SOUPS 254389 WITH SCORE 254793.88
AT ITER 1498 NEW BEST:: SOT 973780 SOS 404773 HAS SOPS 404773 HAS SOUS 254389 HAS SOUPS 254389 WITH SCORE 254793.773
AT ITER 1499 NEW BEST:: SOT 973780 SOS 404773 HAS SOPS 404773 HAS SOUS 254356 HAS SOUPS 254356 WITH SCORE 254760.773
AT ITER 1521 NEW BEST:: SOT 973780 SOS 404773 HAS SOPS 404773 HAS SOUS 254330 HAS SOUPS 254330 WITH SCORE 254734.773
AT ITER 1530 NEW BEST:: SOT 973694 SOS 404687 HAS SOPS 404687 HAS SOUS 254244 HAS SOUPS 254244 WITH SCORE 254648.687
AT ITER 1535 NEW BEST:: SOT 973645 SOS 404602 HAS SOPS 404602 HAS SOUS 253950 HAS SOUPS 253950 WITH SCORE 254354.602
AT ITER 1544 NEW BEST:: SOT 973605 SOS 404562 HAS SOPS 404562 HAS SOUS 253910 HAS SOUPS 253910 WITH SCORE 254314.562
AT ITER 1545 NEW BEST:: SOT 973583 SOS 404660 HAS SOPS 404660 HAS SOUS 253867 HAS SOUPS 253867 WITH SCORE 254271.66
AT ITER 1563 NEW BEST:: SOT 973347 SOS 404306 HAS SOPS 404306 HAS SOUS 253041 HAS SOUPS 253041 WITH SCORE 253445.306
AT ITER 1565 NEW BEST:: SOT 973347 SOS 404254 HAS SOPS 404254 HAS SOUS 252989 HAS SOUPS 252989 WITH SCORE 253393.254
AT ITER 1568 NEW BEST:: SOT 973232 SOS 404277 HAS SOPS 404277 HAS SOUS 252885 HAS SOUPS 252885 WITH SCORE 253289.277
AT ITER 1573 NEW BEST:: SOT 973118 SOS 404163 HAS SOPS 404163 HAS SOUS 252771 HAS SOUPS 252771 WITH SCORE 253175.163
AT ITER 1577 NEW BEST:: SOT 973100 SOS 404145 HAS SOPS 404145 HAS SOUS 252673 HAS SOUPS 252673 WITH SCORE 253077.145
AT ITER 1578 NEW BEST:: SOT 973098 SOS 404143 HAS SOPS 404143 HAS SOUS 252657 HAS SOUPS 252657 WITH SCORE 253061.143
AT ITER 1585 NEW BEST:: SOT 973098 SOS 404143 HAS SOPS 404143 HAS SOUS 252642 HAS SOUPS 252642 WITH SCORE 253046.143
AT ITER 1586 NEW BEST:: SOT 973069 SOS 404107 HAS SOPS 404107 HAS SOUS 252505 HAS SOUPS 252505 WITH SCORE 252909.107
AT ITER 1590 NEW BEST:: SOT 972901 SOS 403939 HAS SOPS 403939 HAS SOUS 252337 HAS SOUPS 252337 WITH SCORE 252740.939
AT ITER 1596 NEW BEST:: SOT 972701 SOS 403739 HAS SOPS 403739 HAS SOUS 252137 HAS SOUPS 252137 WITH SCORE 252540.739
AT ITER 1598 NEW BEST:: SOT 972698 SOS 403736 HAS SOPS 403736 HAS SOUS 252104 HAS SOUPS 252104 WITH SCORE 252507.736
AT ITER 1605 NEW BEST:: SOT 972628 SOS 403666 HAS SOPS 403666 HAS SOUS 252034 HAS SOUPS 252034 WITH SCORE 252437.666
AT ITER 1609 NEW BEST:: SOT 972536 SOS 403574 HAS SOPS 403574 HAS SOUS 251888 HAS SOUPS 251888 WITH SCORE 252291.574
AT ITER 1618 NEW BEST:: SOT 972206 SOS 403356 HAS SOPS 403356 HAS SOUS 251683 HAS SOUPS 251683 WITH SCORE 252086.356
AT ITER 1623 NEW BEST:: SOT 972066 SOS 403216 HAS SOPS 403216 HAS SOUS 251090 HAS SOUPS 251090 WITH SCORE 251493.216
AT ITER 1625 NEW BEST:: SOT 972066 SOS 403223 HAS SOPS 403223 HAS SOUS 251088 HAS SOUPS 251088 WITH SCORE 251491.223
AT ITER 1644 NEW BEST:: SOT 972150 SOS 403307 HAS SOPS 403307 HAS SOUS 250944 HAS SOUPS 250944 WITH SCORE 251347.307
AT ITER 1653 NEW BEST:: SOT 972269 SOS 403396 HAS SOPS 403396 HAS SOUS 250613 HAS SOUPS 250613 WITH SCORE 251016.396
AT ITER 1654 NEW BEST:: SOT 972252 SOS 403396 HAS SOPS 403396 HAS SOUS 250596 HAS SOUPS 250596 WITH SCORE 250999.396
AT ITER 1664 NEW BEST:: SOT 972749 SOS 403893 HAS SOPS 403893 HAS SOUS 250529 HAS SOUPS 250529 WITH SCORE 250932.893
AT ITER 1668 NEW BEST:: SOT 972746 SOS 403890 HAS SOPS 403890 HAS SOUS 250363 HAS SOUPS 250363 WITH SCORE 250766.89
AT ITER 1674 NEW BEST:: SOT 972921 SOS 404006 HAS SOPS 404006 HAS SOUS 250166 HAS SOUPS 250166 WITH SCORE 250570.006
AT ITER 1678 NEW BEST:: SOT 972919 SOS 404004 HAS SOPS 404004 HAS SOUS 250112 HAS SOUPS 250112 WITH SCORE 250516.004
AT ITER 1684 NEW BEST:: SOT 972983 SOS 404068 HAS SOPS 404068 HAS SOUS 249955 HAS SOUPS 249955 WITH SCORE 250359.068
AT ITER 1688 NEW BEST:: SOT 972825 SOS 403910 HAS SOPS 403910 HAS SOUS 249783 HAS SOUPS 249783 WITH SCORE 250186.91
AT ITER 1732 NEW BEST:: SOT 972847 SOS 403920 HAS SOPS 403920 HAS SOUS 249284 HAS SOUPS 249284 WITH SCORE 249687.92
AT ITER 1742 NEW BEST:: SOT 972810 SOS 403883 HAS SOPS 403883 HAS SOUS 249247 HAS SOUPS 249247 WITH SCORE 249650.883
AT ITER 1743 NEW BEST:: SOT 972754 SOS 403827 HAS SOPS 403827 HAS SOUS 249191 HAS SOUPS 249191 WITH SCORE 249594.827
AT ITER 1744 NEW BEST:: SOT 972795 SOS 403868 HAS SOPS 403868 HAS SOUS 249146 HAS SOUPS 249146 WITH SCORE 249549.868
AT ITER 1770 NEW BEST:: SOT 972718 SOS 403559 HAS SOPS 403559 HAS SOUS 248922 HAS SOUPS 248922 WITH SCORE 249325.559
AT ITER 1771 NEW BEST:: SOT 972718 SOS 403525 HAS SOPS 403525 HAS SOUS 248081 HAS SOUPS 248081 WITH SCORE 248484.525
AT ITER 1775 NEW BEST:: SOT 972718 SOS 403461 HAS SOPS 403461 HAS SOUS 247941 HAS SOUPS 247941 WITH SCORE 248344.461
AT ITER 1786 NEW BEST:: SOT 972593 SOS 403336 HAS SOPS 403336 HAS SOUS 247677 HAS SOUPS 247677 WITH SCORE 248080.336
AT ITER 1788 NEW BEST:: SOT 972432 SOS 403175 HAS SOPS 403175 HAS SOUS 247301 HAS SOUPS 247301 WITH SCORE 247704.175
AT ITER 1798 NEW BEST:: SOT 972345 SOS 403088 HAS SOPS 403088 HAS SOUS 247152 HAS SOUPS 247152 WITH SCORE 247555.088
AT ITER 1809 NEW BEST:: SOT 972275 SOS 403018 HAS SOPS 403018 HAS SOUS 246882 HAS SOUPS 246882 WITH SCORE 247285.018
AT ITER 1824 NEW BEST:: SOT 972275 SOS 403018 HAS SOPS 403018 HAS SOUS 246817 HAS SOUPS 246817 WITH SCORE 247220.018
AT ITER 1825 NEW BEST:: SOT 972275 SOS 403010 HAS SOPS 403010 HAS SOUS 246705 HAS SOUPS 246705 WITH SCORE 247108.01
AT ITER 1833 NEW BEST:: SOT 972267 SOS 403002 HAS SOPS 403002 HAS SOUS 246697 HAS SOUPS 246697 WITH SCORE 247100.002
AT ITER 1834 NEW BEST:: SOT 972035 SOS 402772 HAS SOPS 402772 HAS SOUS 246469 HAS SOUPS 246469 WITH SCORE 246871.772
AT ITER 1850 NEW BEST:: SOT 971584 SOS 402321 HAS SOPS 402321 HAS SOUS 246054 HAS SOUPS 246054 WITH SCORE 246456.321
AT ITER 1873 NEW BEST:: SOT 971567 SOS 402304 HAS SOPS 402304 HAS SOUS 246020 HAS SOUPS 246020 WITH SCORE 246422.304
AT ITER 1881 NEW BEST:: SOT 971613 SOS 402350 HAS SOPS 402350 HAS SOUS 246000 HAS SOUPS 246000 WITH SCORE 246402.35
AT ITER 1891 NEW BEST:: SOT 971602 SOS 402339 HAS SOPS 402339 HAS SOUS 245989 HAS SOUPS 245989 WITH SCORE 246391.339
AT ITER 1895 NEW BEST:: SOT 971205 SOS 401906 HAS SOPS 401906 HAS SOUS 245512 HAS SOUPS 245512 WITH SCORE 245913.906
AT ITER 1906 NEW BEST:: SOT 971205 SOS 401879 HAS SOPS 401879 HAS SOUS 245512 HAS SOUPS 245512 WITH SCORE 245913.879
AT ITER 1911 NEW BEST:: SOT 971154 SOS 402074 HAS SOPS 402074 HAS SOUS 245504 HAS SOUPS 245504 WITH SCORE 245906.074
AT ITER 1924 NEW BEST:: SOT 971154 SOS 402041 HAS SOPS 402041 HAS SOUS 245450 HAS SOUPS 245450 WITH SCORE 245852.041
AT ITER 1929 NEW BEST:: SOT 971067 SOS 401949 HAS SOPS 401949 HAS SOUS 245362 HAS SOUPS 245362 WITH SCORE 245763.949
AT ITER 1938 NEW BEST:: SOT 971067 SOS 401949 HAS SOPS 401949 HAS SOUS 245315 HAS SOUPS 245315 WITH SCORE 245716.949
AT ITER 1939 NEW BEST:: SOT 970944 SOS 401826 HAS SOPS 401826 HAS SOUS 245192 HAS SOUPS 245192 WITH SCORE 245593.826
AT ITER 1951 NEW BEST:: SOT 970944 SOS 401826 HAS SOPS 401826 HAS SOUS 245176 HAS SOUPS 245176 WITH SCORE 245577.826
AT ITER 1958 NEW BEST:: SOT 970944 SOS 401826 HAS SOPS 401826 HAS SOUS 245139 HAS SOUPS 245139 WITH SCORE 245540.826
AT ITER 1961 NEW BEST:: SOT 971059 SOS 401692 HAS SOPS 401692 HAS SOUS 245056 HAS SOUPS 245056 WITH SCORE 245457.692
AT ITER 1970 NEW BEST:: SOT 970955 SOS 401874 HAS SOPS 401874 HAS SOUS 244848 HAS SOUPS 244848 WITH SCORE 245249.874
AT ITER 1980 NEW BEST:: SOT 970775 SOS 401694 HAS SOPS 401694 HAS SOUS 244128 HAS SOUPS 244128 WITH SCORE 244529.694
AT ITER 1982 NEW BEST:: SOT 970755 SOS 401674 HAS SOPS 401674 HAS SOUS 244082 HAS SOUPS 244082 WITH SCORE 244483.674
AT ITER 1997 NEW BEST:: SOT 970655 SOS 401576 HAS SOPS 401576 HAS SOUS 243774 HAS SOUPS 243774 WITH SCORE 244175.576
AT ITER 2012 NEW BEST:: SOT 970647 SOS 401455 HAS SOPS 401455 HAS SOUS 243530 HAS SOUPS 243530 WITH SCORE 243931.455
AT ITER 2026 NEW BEST:: SOT 970659 SOS 401467 HAS SOPS 401467 HAS SOUS 243437 HAS SOUPS 243437 WITH SCORE 243838.467
AT ITER 2042 NEW BEST:: SOT 970566 SOS 401478 HAS SOPS 401318 HAS SOUS 243320 HAS SOUPS 243288 WITH SCORE 243689.478
AT ITER 2060 NEW BEST:: SOT 970551 SOS 401463 HAS SOPS 401303 HAS SOUS 243305 HAS SOUPS 243273 WITH SCORE 243674.463
AT ITER 2065 NEW BEST:: SOT 970551 SOS 401437 HAS SOPS 401277 HAS SOUS 243193 HAS SOUPS 243161 WITH SCORE 243562.437
AT ITER 2066 NEW BEST:: SOT 970529 SOS 401415 HAS SOPS 401255 HAS SOUS 243171 HAS SOUPS 243139 WITH SCORE 243540.415
AT ITER 2067 NEW BEST:: SOT 970524 SOS 401410 HAS SOPS 401250 HAS SOUS 243168 HAS SOUPS 243136 WITH SCORE 243537.41
AT ITER 2068 NEW BEST:: SOT 970520 SOS 401402 HAS SOPS 401242 HAS SOUS 243160 HAS SOUPS 243128 WITH SCORE 243529.402
AT ITER 2086 NEW BEST:: SOT 970570 SOS 401452 HAS SOPS 401292 HAS SOUS 242980 HAS SOUPS 242948 WITH SCORE 243349.452
AT ITER 2091 NEW BEST:: SOT 970509 SOS 401498 HAS SOPS 401338 HAS SOUS 242883 HAS SOUPS 242851 WITH SCORE 243252.498
AT ITER 2097 NEW BEST:: SOT 970571 SOS 401543 HAS SOPS 401383 HAS SOUS 242094 HAS SOUPS 242062 WITH SCORE 242463.543
AT ITER 2101 NEW BEST:: SOT 970571 SOS 401465 HAS SOPS 401305 HAS SOUS 242094 HAS SOUPS 242062 WITH SCORE 242463.465
AT ITER 2105 NEW BEST:: SOT 970571 SOS 401465 HAS SOPS 401305 HAS SOUS 241949 HAS SOUPS 241917 WITH SCORE 242318.465
AT ITER 2107 NEW BEST:: SOT 970419 SOS 401313 HAS SOPS 401153 HAS SOUS 241797 HAS SOUPS 241765 WITH SCORE 242166.313
AT ITER 2108 NEW BEST:: SOT 970167 SOS 401061 HAS SOPS 400901 HAS SOUS 241545 HAS SOUPS 241513 WITH SCORE 241914.061
AT ITER 2110 NEW BEST:: SOT 970133 SOS 401027 HAS SOPS 400867 HAS SOUS 241375 HAS SOUPS 241343 WITH SCORE 241744.027
AT ITER 2116 NEW BEST:: SOT 970133 SOS 401022 HAS SOPS 400862 HAS SOUS 241366 HAS SOUPS 241334 WITH SCORE 241735.022
AT ITER 2138 NEW BEST:: SOT 970019 SOS 400908 HAS SOPS 400748 HAS SOUS 241252 HAS SOUPS 241220 WITH SCORE 241620.908
AT ITER 2141 NEW BEST:: SOT 969912 SOS 400801 HAS SOPS 400641 HAS SOUS 240888 HAS SOUPS 240856 WITH SCORE 241256.801
AT ITER 2158 NEW BEST:: SOT 969918 SOS 401307 HAS SOPS 401147 HAS SOUS 240795 HAS SOUPS 240763 WITH SCORE 241164.307
AT ITER 2180 NEW BEST:: SOT 969856 SOS 401245 HAS SOPS 401085 HAS SOUS 240621 HAS SOUPS 240589 WITH SCORE 240990.245
AT ITER 2188 NEW BEST:: SOT 969856 SOS 401268 HAS SOPS 401108 HAS SOUS 240552 HAS SOUPS 240520 WITH SCORE 240921.268
AT ITER 2189 NEW BEST:: SOT 969847 SOS 401259 HAS SOPS 401099 HAS SOUS 240543 HAS SOUPS 240511 WITH SCORE 240912.259
AT ITER 2196 NEW BEST:: SOT 970212 SOS 401624 HAS SOPS 401464 HAS SOUS 240461 HAS SOUPS 240429 WITH SCORE 240830.624
AT ITER 2198 NEW BEST:: SOT 970182 SOS 401594 HAS SOPS 401434 HAS SOUS 240371 HAS SOUPS 240339 WITH SCORE 240740.594
AT ITER 2207 NEW BEST:: SOT 970182 SOS 401594 HAS SOPS 401434 HAS SOUS 240141 HAS SOUPS 240109 WITH SCORE 240510.594
AT ITER 2212 NEW BEST:: SOT 970404 SOS 401816 HAS SOPS 401656 HAS SOUS 239985 HAS SOUPS 239953 WITH SCORE 240354.816
AT ITER 2225 NEW BEST:: SOT 970527 SOS 401939 HAS SOPS 401779 HAS SOUS 239542 HAS SOUPS 239510 WITH SCORE 239911.939
AT ITER 2229 NEW BEST:: SOT 971347 SOS 402730 HAS SOPS 402570 HAS SOUS 238408 HAS SOUPS 238376 WITH SCORE 238778.73
AT ITER 2230 NEW BEST:: SOT 971041 SOS 402472 HAS SOPS 402312 HAS SOUS 238006 HAS SOUPS 237974 WITH SCORE 238376.472
AT ITER 2254 NEW BEST:: SOT 971036 SOS 402469 HAS SOPS 402309 HAS SOUS 237997 HAS SOUPS 237965 WITH SCORE 238367.469
AT ITER 2257 NEW BEST:: SOT 971036 SOS 402469 HAS SOPS 402309 HAS SOUS 237964 HAS SOUPS 237932 WITH SCORE 238334.469
AT ITER 2262 NEW BEST:: SOT 970975 SOS 402408 HAS SOPS 402248 HAS SOUS 237903 HAS SOUPS 237871 WITH SCORE 238273.408
AT ITER 2275 NEW BEST:: SOT 970975 SOS 402407 HAS SOPS 402247 HAS SOUS 237903 HAS SOUPS 237871 WITH SCORE 238273.407
AT ITER 2282 NEW BEST:: SOT 970947 SOS 402379 HAS SOPS 402219 HAS SOUS 237875 HAS SOUPS 237843 WITH SCORE 238245.379
AT ITER 2288 NEW BEST:: SOT 970951 SOS 402387 HAS SOPS 402227 HAS SOUS 237871 HAS SOUPS 237839 WITH SCORE 238241.387
AT ITER 2297 NEW BEST:: SOT 970108 SOS 401544 HAS SOPS 401384 HAS SOUS 237004 HAS SOUPS 236972 WITH SCORE 237373.544
AT ITER 2304 NEW BEST:: SOT 970106 SOS 401542 HAS SOPS 401382 HAS SOUS 236905 HAS SOUPS 236873 WITH SCORE 237274.542
AT ITER 2307 NEW BEST:: SOT 970034 SOS 401470 HAS SOPS 401310 HAS SOUS 236773 HAS SOUPS 236741 WITH SCORE 237142.47
AT ITER 2310 NEW BEST:: SOT 969980 SOS 401439 HAS SOPS 401279 HAS SOUS 236711 HAS SOUPS 236679 WITH SCORE 237080.439
AT ITER 2323 NEW BEST:: SOT 969960 SOS 401419 HAS SOPS 401259 HAS SOUS 236671 HAS SOUPS 236639 WITH SCORE 237040.419
AT ITER 2324 NEW BEST:: SOT 969913 SOS 401372 HAS SOPS 401212 HAS SOUS 236624 HAS SOUPS 236592 WITH SCORE 236993.372
AT ITER 2341 NEW BEST:: SOT 969911 SOS 401370 HAS SOPS 401210 HAS SOUS 236624 HAS SOUPS 236592 WITH SCORE 236993.37
AT ITER 2349 NEW BEST:: SOT 970289 SOS 401776 HAS SOPS 401616 HAS SOUS 235548 HAS SOUPS 235516 WITH SCORE 235917.776
AT ITER 2371 NEW BEST:: SOT 970143 SOS 401630 HAS SOPS 401470 HAS SOUS 234391 HAS SOUPS 234359 WITH SCORE 234760.63
AT ITER 2389 NEW BEST:: SOT 970141 SOS 401628 HAS SOPS 401468 HAS SOUS 234389 HAS SOUPS 234357 WITH SCORE 234758.628
AT ITER 2393 NEW BEST:: SOT 970141 SOS 402004 HAS SOPS 401844 HAS SOUS 234173 HAS SOUPS 234141 WITH SCORE 234543.004
AT ITER 2401 NEW BEST:: SOT 970031 SOS 401894 HAS SOPS 401734 HAS SOUS 234063 HAS SOUPS 234031 WITH SCORE 234432.894
AT ITER 2405 NEW BEST:: SOT 969971 SOS 401834 HAS SOPS 401674 HAS SOUS 233784 HAS SOUPS 233752 WITH SCORE 234153.834
AT ITER 2411 NEW BEST:: SOT 969834 SOS 401697 HAS SOPS 401537 HAS SOUS 232917 HAS SOUPS 232885 WITH SCORE 233286.697
AT ITER 2414 NEW BEST:: SOT 969799 SOS 401662 HAS SOPS 401502 HAS SOUS 232917 HAS SOUPS 232885 WITH SCORE 233286.662
AT ITER 2433 NEW BEST:: SOT 969824 SOS 401712 HAS SOPS 401552 HAS SOUS 232915 HAS SOUPS 232883 WITH SCORE 233284.712
AT ITER 2474 NEW BEST:: SOT 969911 SOS 401537 HAS SOPS 401377 HAS SOUS 232809 HAS SOUPS 232777 WITH SCORE 233178.537
AT ITER 2477 NEW BEST:: SOT 969751 SOS 401377 HAS SOPS 401217 HAS SOUS 232684 HAS SOUPS 232652 WITH SCORE 233053.377
AT ITER 2495 NEW BEST:: SOT 969687 SOS 401313 HAS SOPS 401153 HAS SOUS 232620 HAS SOUPS 232588 WITH SCORE 232989.313
AT ITER 2500 NEW BEST:: SOT 969688 SOS 401224 HAS SOPS 401064 HAS SOUS 232553 HAS SOUPS 232521 WITH SCORE 232922.224
AT ITER 2504 NEW BEST:: SOT 969574 SOS 401110 HAS SOPS 400950 HAS SOUS 232439 HAS SOUPS 232407 WITH SCORE 232808.11
AT ITER 2511 NEW BEST:: SOT 969528 SOS 401064 HAS SOPS 400904 HAS SOUS 232378 HAS SOUPS 232346 WITH SCORE 232747.064
AT ITER 2512 NEW BEST:: SOT 969024 SOS 400560 HAS SOPS 400400 HAS SOUS 232074 HAS SOUPS 232042 WITH SCORE 232442.56
AT ITER 2518 NEW BEST:: SOT 969024 SOS 400560 HAS SOPS 400400 HAS SOUS 231926 HAS SOUPS 231894 WITH SCORE 232294.56
AT ITER 2533 NEW BEST:: SOT 968954 SOS 400490 HAS SOPS 400330 HAS SOUS 231506 HAS SOUPS 231474 WITH SCORE 231874.49
AT ITER 2539 NEW BEST:: SOT 968876 SOS 400412 HAS SOPS 400252 HAS SOUS 231360 HAS SOUPS 231328 WITH SCORE 231728.412
AT ITER 2543 NEW BEST:: SOT 968847 SOS 400383 HAS SOPS 400223 HAS SOUS 231280 HAS SOUPS 231248 WITH SCORE 231648.383
AT ITER 2547 NEW BEST:: SOT 968847 SOS 400360 HAS SOPS 400200 HAS SOUS 231280 HAS SOUPS 231248 WITH SCORE 231648.36
AT ITER 2583 NEW BEST:: SOT 968847 SOS 400360 HAS SOPS 400200 HAS SOUS 231269 HAS SOUPS 231237 WITH SCORE 231637.36
AT ITER 2598 NEW BEST:: SOT 968621 SOS 400089 HAS SOPS 399929 HAS SOUS 230323 HAS SOUPS 230291 WITH SCORE 230691.089
AT ITER 2600 NEW BEST:: SOT 968597 SOS 400065 HAS SOPS 399905 HAS SOUS 230299 HAS SOUPS 230267 WITH SCORE 230667.065
AT ITER 2603 NEW BEST:: SOT 968549 SOS 400017 HAS SOPS 399857 HAS SOUS 230129 HAS SOUPS 230097 WITH SCORE 230497.017
AT ITER 2608 NEW BEST:: SOT 968327 SOS 399795 HAS SOPS 399635 HAS SOUS 229671 HAS SOUPS 229639 WITH SCORE 230038.795
AT ITER 2609 NEW BEST:: SOT 968397 SOS 399865 HAS SOPS 399705 HAS SOUS 229502 HAS SOUPS 229470 WITH SCORE 229869.865
AT ITER 2613 NEW BEST:: SOT 968585 SOS 400123 HAS SOPS 399963 HAS SOUS 229398 HAS SOUPS 229366 WITH SCORE 229766.123
AT ITER 2618 NEW BEST:: SOT 968585 SOS 400123 HAS SOPS 399963 HAS SOUS 229325 HAS SOUPS 229293 WITH SCORE 229693.123
AT ITER 2627 NEW BEST:: SOT 968547 SOS 400085 HAS SOPS 399925 HAS SOUS 229268 HAS SOUPS 229236 WITH SCORE 229636.085
AT ITER 2633 NEW BEST:: SOT 968473 SOS 400077 HAS SOPS 399917 HAS SOUS 229252 HAS SOUPS 229220 WITH SCORE 229620.077
AT ITER 2638 NEW BEST:: SOT 968474 SOS 400078 HAS SOPS 399918 HAS SOUS 229251 HAS SOUPS 229219 WITH SCORE 229619.078
AT ITER 2640 NEW BEST:: SOT 968474 SOS 400078 HAS SOPS 399918 HAS SOUS 229235 HAS SOUPS 229203 WITH SCORE 229603.078
AT ITER 2642 NEW BEST:: SOT 968501 SOS 400107 HAS SOPS 399947 HAS SOUS 229222 HAS SOUPS 229190 WITH SCORE 229590.107
AT ITER 2663 NEW BEST:: SOT 968605 SOS 400211 HAS SOPS 400051 HAS SOUS 229111 HAS SOUPS 229079 WITH SCORE 229479.211
AT ITER 2666 NEW BEST:: SOT 968728 SOS 400334 HAS SOPS 400174 HAS SOUS 228496 HAS SOUPS 228464 WITH SCORE 228864.334
AT ITER 2668 NEW BEST:: SOT 968628 SOS 400207 HAS SOPS 400047 HAS SOUS 228307 HAS SOUPS 228275 WITH SCORE 228675.207
AT ITER 2671 NEW BEST:: SOT 968628 SOS 400279 HAS SOPS 400119 HAS SOUS 228200 HAS SOUPS 228168 WITH SCORE 228568.279
AT ITER 2685 NEW BEST:: SOT 968567 SOS 400180 HAS SOPS 400020 HAS SOUS 228176 HAS SOUPS 228144 WITH SCORE 228544.18
AT ITER 2716 NEW BEST:: SOT 968476 SOS 400089 HAS SOPS 399929 HAS SOUS 227656 HAS SOUPS 227624 WITH SCORE 228024.089
AT ITER 2726 NEW BEST:: SOT 968488 SOS 400101 HAS SOPS 399941 HAS SOUS 227518 HAS SOUPS 227486 WITH SCORE 227886.101
AT ITER 2744 NEW BEST:: SOT 968488 SOS 400101 HAS SOPS 399941 HAS SOUS 227512 HAS SOUPS 227480 WITH SCORE 227880.101
AT ITER 2747 NEW BEST:: SOT 968472 SOS 400024 HAS SOPS 399864 HAS SOUS 227289 HAS SOUPS 227257 WITH SCORE 227657.024
AT ITER 2752 NEW BEST:: SOT 968422 SOS 399974 HAS SOPS 399814 HAS SOUS 227189 HAS SOUPS 227157 WITH SCORE 227556.974
AT ITER 2764 NEW BEST:: SOT 968439 SOS 399991 HAS SOPS 399831 HAS SOUS 227138 HAS SOUPS 227106 WITH SCORE 227505.991
AT ITER 2770 NEW BEST:: SOT 968619 SOS 400013 HAS SOPS 399853 HAS SOUS 226919 HAS SOUPS 226887 WITH SCORE 227287.013
AT ITER 2771 NEW BEST:: SOT 968561 SOS 399955 HAS SOPS 399795 HAS SOUS 226861 HAS SOUPS 226829 WITH SCORE 227228.955
AT ITER 2776 NEW BEST:: SOT 968784 SOS 400172 HAS SOPS 400012 HAS SOUS 226744 HAS SOUPS 226712 WITH SCORE 227112.172
AT ITER 2779 NEW BEST:: SOT 968445 SOS 399833 HAS SOPS 399673 HAS SOUS 226361 HAS SOUPS 226329 WITH SCORE 226728.833
AT ITER 2791 NEW BEST:: SOT 968349 SOS 399737 HAS SOPS 399577 HAS SOUS 226265 HAS SOUPS 226233 WITH SCORE 226632.737
AT ITER 2798 NEW BEST:: SOT 968394 SOS 399646 HAS SOPS 399486 HAS SOUS 226265 HAS SOUPS 226233 WITH SCORE 226632.646
AT ITER 2809 NEW BEST:: SOT 968360 SOS 399636 HAS SOPS 399476 HAS SOUS 226204 HAS SOUPS 226172 WITH SCORE 226571.636
AT ITER 2817 NEW BEST:: SOT 968362 SOS 399638 HAS SOPS 399478 HAS SOUS 225792 HAS SOUPS 225760 WITH SCORE 226159.638
AT ITER 2828 NEW BEST:: SOT 968442 SOS 399718 HAS SOPS 399558 HAS SOUS 225644 HAS SOUPS 225612 WITH SCORE 226011.718
AT ITER 2830 NEW BEST:: SOT 968200 SOS 399476 HAS SOPS 399316 HAS SOUS 225130 HAS SOUPS 225098 WITH SCORE 225497.476
AT ITER 2836 NEW BEST:: SOT 968187 SOS 399463 HAS SOPS 399303 HAS SOUS 225117 HAS SOUPS 225085 WITH SCORE 225484.463
AT ITER 2860 NEW BEST:: SOT 968180 SOS 399456 HAS SOPS 399296 HAS SOUS 225048 HAS SOUPS 225016 WITH SCORE 225415.456
AT ITER 2872 NEW BEST:: SOT 968179 SOS 399490 HAS SOPS 399330 HAS SOUS 225046 HAS SOUPS 225014 WITH SCORE 225413.49
AT ITER 2879 NEW BEST:: SOT 968299 SOS 399715 HAS SOPS 399555 HAS SOUS 225031 HAS SOUPS 224999 WITH SCORE 225398.715
AT ITER 2881 NEW BEST:: SOT 968299 SOS 399741 HAS SOPS 399581 HAS SOUS 224987 HAS SOUPS 224955 WITH SCORE 225354.741
AT ITER 2898 NEW BEST:: SOT 968299 SOS 399663 HAS SOPS 399503 HAS SOUS 224947 HAS SOUPS 224915 WITH SCORE 225314.663
AT ITER 2911 NEW BEST:: SOT 968299 SOS 399645 HAS SOPS 399485 HAS SOUS 224946 HAS SOUPS 224914 WITH SCORE 225313.645
AT ITER 2947 NEW BEST:: SOT 968299 SOS 399645 HAS SOPS 399485 HAS SOUS 224781 HAS SOUPS 224749 WITH SCORE 225148.645
AT ITER 2954 NEW BEST:: SOT 968329 SOS 399474 HAS SOPS 399314 HAS SOUS 224667 HAS SOUPS 224635 WITH SCORE 225034.474
AT ITER 2955 NEW BEST:: SOT 968196 SOS 399341 HAS SOPS 399181 HAS SOUS 224467 HAS SOUPS 224435 WITH SCORE 224834.341
AT ITER 2974 NEW BEST:: SOT 968049 SOS 399194 HAS SOPS 399034 HAS SOUS 224320 HAS SOUPS 224288 WITH SCORE 224687.194
AT ITER 2975 NEW BEST:: SOT 967994 SOS 399139 HAS SOPS 398979 HAS SOUS 224265 HAS SOUPS 224233 WITH SCORE 224632.139
AT ITER 2987 NEW BEST:: SOT 967946 SOS 399204 HAS SOPS 399044 HAS SOUS 224169 HAS SOUPS 224137 WITH SCORE 224536.204
AT ITER 2994 NEW BEST:: SOT 967946 SOS 399204 HAS SOPS 399044 HAS SOUS 224162 HAS SOUPS 224130 WITH SCORE 224529.204
AT ITER 3005 NEW BEST:: SOT 967907 SOS 399173 HAS SOPS 399013 HAS SOUS 224052 HAS SOUPS 224020 WITH SCORE 224419.173
AT ITER 3008 NEW BEST:: SOT 967870 SOS 399136 HAS SOPS 398976 HAS SOUS 224015 HAS SOUPS 223983 WITH SCORE 224382.136
AT ITER 3023 NEW BEST:: SOT 967754 SOS 399245 HAS SOPS 399085 HAS SOUS 223981 HAS SOUPS 223949 WITH SCORE 224348.245
AT ITER 3042 NEW BEST:: SOT 967754 SOS 399137 HAS SOPS 398977 HAS SOUS 223916 HAS SOUPS 223884 WITH SCORE 224283.137
AT ITER 3053 NEW BEST:: SOT 967762 SOS 398882 HAS SOPS 398722 HAS SOUS 223880 HAS SOUPS 223848 WITH SCORE 224246.882
AT ITER 3058 NEW BEST:: SOT 967753 SOS 398873 HAS SOPS 398713 HAS SOUS 223854 HAS SOUPS 223822 WITH SCORE 224220.873
AT ITER 3060 NEW BEST:: SOT 967838 SOS 398926 HAS SOPS 398766 HAS SOUS 222287 HAS SOUPS 222255 WITH SCORE 222653.926
AT ITER 3066 NEW BEST:: SOT 967594 SOS 398682 HAS SOPS 398522 HAS SOUS 221591 HAS SOUPS 221559 WITH SCORE 221957.682
AT ITER 3082 NEW BEST:: SOT 967625 SOS 398713 HAS SOPS 398553 HAS SOUS 221575 HAS SOUPS 221543 WITH SCORE 221941.713
AT ITER 3105 NEW BEST:: SOT 967573 SOS 398687 HAS SOPS 398527 HAS SOUS 221523 HAS SOUPS 221491 WITH SCORE 221889.687
AT ITER 3107 NEW BEST:: SOT 967474 SOS 398588 HAS SOPS 398428 HAS SOUS 221432 HAS SOUPS 221400 WITH SCORE 221798.588
AT ITER 3117 NEW BEST:: SOT 967429 SOS 398616 HAS SOPS 398456 HAS SOUS 221342 HAS SOUPS 221310 WITH SCORE 221708.616
AT ITER 3131 NEW BEST:: SOT 967409 SOS 398615 HAS SOPS 398455 HAS SOUS 221341 HAS SOUPS 221309 WITH SCORE 221707.615
AT ITER 3132 NEW BEST:: SOT 965778 SOS 402286 HAS SOPS 402126 HAS SOUS 220266 HAS SOUPS 220234 WITH SCORE 220636.286
AT ITER 3136 NEW BEST:: SOT 965716 SOS 402224 HAS SOPS 402064 HAS SOUS 220142 HAS SOUPS 220110 WITH SCORE 220512.224
AT ITER 3140 NEW BEST:: SOT 965716 SOS 402516 HAS SOPS 401991 HAS SOUS 220142 HAS SOUPS 220037 WITH SCORE 220439.516
AT ITER 3142 NEW BEST:: SOT 965701 SOS 402501 HAS SOPS 401976 HAS SOUS 220122 HAS SOUPS 220017 WITH SCORE 220419.501
AT ITER 3147 NEW BEST:: SOT 965682 SOS 402482 HAS SOPS 401957 HAS SOUS 220111 HAS SOUPS 220006 WITH SCORE 220408.482
AT ITER 3154 NEW BEST:: SOT 965529 SOS 402238 HAS SOPS 401713 HAS SOUS 220020 HAS SOUPS 219915 WITH SCORE 220317.238
AT ITER 3160 NEW BEST:: SOT 965529 SOS 402216 HAS SOPS 401691 HAS SOUS 220020 HAS SOUPS 219915 WITH SCORE 220317.216
AT ITER 3174 NEW BEST:: SOT 965529 SOS 402216 HAS SOPS 401691 HAS SOUS 220016 HAS SOUPS 219911 WITH SCORE 220313.216
AT ITER 3176 NEW BEST:: SOT 965525 SOS 402272 HAS SOPS 401747 HAS SOUS 219987 HAS SOUPS 219882 WITH SCORE 220284.272
AT ITER 3178 NEW BEST:: SOT 965526 SOS 402273 HAS SOPS 401748 HAS SOUS 219977 HAS SOUPS 219872 WITH SCORE 220274.273
AT ITER 3180 NEW BEST:: SOT 965381 SOS 402128 HAS SOPS 401603 HAS SOUS 219832 HAS SOUPS 219727 WITH SCORE 220129.128
AT ITER 3187 NEW BEST:: SOT 965384 SOS 402131 HAS SOPS 401606 HAS SOUS 219810 HAS SOUPS 219705 WITH SCORE 220107.131
AT ITER 3193 NEW BEST:: SOT 965429 SOS 402159 HAS SOPS 401634 HAS SOUS 219369 HAS SOUPS 219264 WITH SCORE 219666.159
AT ITER 3201 NEW BEST:: SOT 965416 SOS 402157 HAS SOPS 401632 HAS SOUS 219365 HAS SOUPS 219260 WITH SCORE 219662.157
AT ITER 3215 NEW BEST:: SOT 965579 SOS 402320 HAS SOPS 401795 HAS SOUS 219272 HAS SOUPS 219167 WITH SCORE 219569.32
AT ITER 3216 NEW BEST:: SOT 965607 SOS 402348 HAS SOPS 401823 HAS SOUS 219242 HAS SOUPS 219137 WITH SCORE 219539.348
AT ITER 3222 NEW BEST:: SOT 965505 SOS 402280 HAS SOPS 401755 HAS SOUS 219106 HAS SOUPS 219001 WITH SCORE 219403.28
AT ITER 3251 NEW BEST:: SOT 965479 SOS 402254 HAS SOPS 401729 HAS SOUS 219064 HAS SOUPS 218959 WITH SCORE 219361.254
AT ITER 3255 NEW BEST:: SOT 965479 SOS 402254 HAS SOPS 401729 HAS SOUS 219054 HAS SOUPS 218949 WITH SCORE 219351.254
AT ITER 3256 NEW BEST:: SOT 965342 SOS 402117 HAS SOPS 401592 HAS SOUS 218793 HAS SOUPS 218688 WITH SCORE 219090.117
AT ITER 3261 NEW BEST:: SOT 965342 SOS 401894 HAS SOPS 401369 HAS SOUS 218319 HAS SOUPS 218214 WITH SCORE 218615.894
AT ITER 3264 NEW BEST:: SOT 965460 SOS 402033 HAS SOPS 401508 HAS SOUS 218234 HAS SOUPS 218129 WITH SCORE 218531.033
AT ITER 3272 NEW BEST:: SOT 965437 SOS 402010 HAS SOPS 401485 HAS SOUS 217852 HAS SOUPS 217747 WITH SCORE 218149.01
AT ITER 3290 NEW BEST:: SOT 965411 SOS 401984 HAS SOPS 401459 HAS SOUS 217826 HAS SOUPS 217721 WITH SCORE 218122.984
AT ITER 3293 NEW BEST:: SOT 965443 SOS 402016 HAS SOPS 401491 HAS SOUS 217792 HAS SOUPS 217687 WITH SCORE 218089.016
AT ITER 3302 NEW BEST:: SOT 965349 SOS 401922 HAS SOPS 401397 HAS SOUS 217694 HAS SOUPS 217589 WITH SCORE 217990.922
AT ITER 3305 NEW BEST:: SOT 965313 SOS 401912 HAS SOPS 401387 HAS SOUS 217684 HAS SOUPS 217579 WITH SCORE 217980.912
AT ITER 3317 NEW BEST:: SOT 965315 SOS 401914 HAS SOPS 401389 HAS SOUS 217648 HAS SOUPS 217543 WITH SCORE 217944.914
AT ITER 3332 NEW BEST:: SOT 965183 SOS 401838 HAS SOPS 401313 HAS SOUS 217428 HAS SOUPS 217323 WITH SCORE 217724.838
AT ITER 3339 NEW BEST:: SOT 965075 SOS 401730 HAS SOPS 401205 HAS SOUS 217298 HAS SOUPS 217193 WITH SCORE 217594.73
AT ITER 3348 NEW BEST:: SOT 965075 SOS 401730 HAS SOPS 401205 HAS SOUS 217291 HAS SOUPS 217186 WITH SCORE 217587.73
AT ITER 3354 NEW BEST:: SOT 964971 SOS 401626 HAS SOPS 401101 HAS SOUS 217277 HAS SOUPS 217172 WITH SCORE 217573.626
AT ITER 3358 NEW BEST:: SOT 964965 SOS 401620 HAS SOPS 401095 HAS SOUS 217247 HAS SOUPS 217142 WITH SCORE 217543.62
AT ITER 3371 NEW BEST:: SOT 964926 SOS 401581 HAS SOPS 401056 HAS SOUS 217013 HAS SOUPS 216908 WITH SCORE 217309.581
AT ITER 3376 NEW BEST:: SOT 964840 SOS 401495 HAS SOPS 400970 HAS SOUS 216868 HAS SOUPS 216763 WITH SCORE 217164.495
AT ITER 3380 NEW BEST:: SOT 965362 SOS 401981 HAS SOPS 401456 HAS SOUS 216695 HAS SOUPS 216590 WITH SCORE 216991.981
AT ITER 3428 NEW BEST:: SOT 965344 SOS 401963 HAS SOPS 401438 HAS SOUS 216597 HAS SOUPS 216492 WITH SCORE 216893.963
AT ITER 3441 NEW BEST:: SOT 965318 SOS 401937 HAS SOPS 401412 HAS SOUS 216441 HAS SOUPS 216336 WITH SCORE 216737.937
AT ITER 3449 NEW BEST:: SOT 965121 SOS 401740 HAS SOPS 401215 HAS SOUS 215706 HAS SOUPS 215601 WITH SCORE 216002.74
AT ITER 3450 NEW BEST:: SOT 965077 SOS 401696 HAS SOPS 401171 HAS SOUS 215618 HAS SOUPS 215513 WITH SCORE 215914.696
AT ITER 3460 NEW BEST:: SOT 964989 SOS 401608 HAS SOPS 401083 HAS SOUS 215536 HAS SOUPS 215431 WITH SCORE 215832.608
AT ITER 3461 NEW BEST:: SOT 964983 SOS 401596 HAS SOPS 401071 HAS SOUS 215518 HAS SOUPS 215413 WITH SCORE 215814.596
AT ITER 3491 NEW BEST:: SOT 965382 SOS 401933 HAS SOPS 401408 HAS SOUS 215254 HAS SOUPS 215149 WITH SCORE 215550.933
AT ITER 3502 NEW BEST:: SOT 965416 SOS 401906 HAS SOPS 401381 HAS SOUS 214869 HAS SOUPS 214764 WITH SCORE 215165.906
AT ITER 3504 NEW BEST:: SOT 965318 SOS 401808 HAS SOPS 401283 HAS SOUS 214771 HAS SOUPS 214666 WITH SCORE 215067.808
AT ITER 3525 NEW BEST:: SOT 965281 SOS 401808 HAS SOPS 401283 HAS SOUS 214697 HAS SOUPS 214592 WITH SCORE 214993.808
AT ITER 3534 NEW BEST:: SOT 965111 SOS 401588 HAS SOPS 401063 HAS SOUS 214382 HAS SOUPS 214277 WITH SCORE 214678.588
AT ITER 3535 NEW BEST:: SOT 965168 SOS 401645 HAS SOPS 401120 HAS SOUS 214086 HAS SOUPS 213981 WITH SCORE 214382.645
AT ITER 3538 NEW BEST:: SOT 965168 SOS 401533 HAS SOPS 401008 HAS SOUS 214086 HAS SOUPS 213981 WITH SCORE 214382.533
AT ITER 3541 NEW BEST:: SOT 965160 SOS 401525 HAS SOPS 401000 HAS SOUS 214070 HAS SOUPS 213965 WITH SCORE 214366.525
AT ITER 3547 NEW BEST:: SOT 965160 SOS 401525 HAS SOPS 401000 HAS SOUS 213710 HAS SOUPS 213605 WITH SCORE 214006.525
AT ITER 3560 NEW BEST:: SOT 965084 SOS 401449 HAS SOPS 400924 HAS SOUS 213613 HAS SOUPS 213508 WITH SCORE 213909.449
AT ITER 3561 NEW BEST:: SOT 965084 SOS 401360 HAS SOPS 400835 HAS SOUS 213531 HAS SOUPS 213426 WITH SCORE 213827.36
AT ITER 3562 NEW BEST:: SOT 965164 SOS 401440 HAS SOPS 400915 HAS SOUS 213199 HAS SOUPS 213094 WITH SCORE 213495.44
AT ITER 3567 NEW BEST:: SOT 965130 SOS 401406 HAS SOPS 400881 HAS SOUS 213027 HAS SOUPS 212922 WITH SCORE 213323.406
AT ITER 3571 NEW BEST:: SOT 965152 SOS 401428 HAS SOPS 400903 HAS SOUS 213011 HAS SOUPS 212906 WITH SCORE 213307.428
AT ITER 3574 NEW BEST:: SOT 958560 SOS 394836 HAS SOPS 394311 HAS SOUS 206419 HAS SOUPS 206314 WITH SCORE 206708.836
AT ITER 3585 NEW BEST:: SOT 958398 SOS 394674 HAS SOPS 394149 HAS SOUS 206207 HAS SOUPS 206102 WITH SCORE 206496.674
AT ITER 3592 NEW BEST:: SOT 958279 SOS 394741 HAS SOPS 394216 HAS SOUS 205980 HAS SOUPS 205875 WITH SCORE 206269.741
AT ITER 3594 NEW BEST:: SOT 958278 SOS 394740 HAS SOPS 394215 HAS SOUS 205978 HAS SOUPS 205873 WITH SCORE 206267.74
AT ITER 3597 NEW BEST:: SOT 958113 SOS 394707 HAS SOPS 394182 HAS SOUS 205808 HAS SOUPS 205703 WITH SCORE 206097.707
AT ITER 3603 NEW BEST:: SOT 958191 SOS 394623 HAS SOPS 394098 HAS SOUS 205798 HAS SOUPS 205693 WITH SCORE 206087.623
AT ITER 3627 NEW BEST:: SOT 957964 SOS 394396 HAS SOPS 393871 HAS SOUS 205571 HAS SOUPS 205466 WITH SCORE 205860.396
AT ITER 3644 NEW BEST:: SOT 957887 SOS 394319 HAS SOPS 393794 HAS SOUS 205460 HAS SOUPS 205355 WITH SCORE 205749.319
AT ITER 3645 NEW BEST:: SOT 957959 SOS 394391 HAS SOPS 393866 HAS SOUS 205389 HAS SOUPS 205284 WITH SCORE 205678.391
AT ITER 3650 NEW BEST:: SOT 957432 SOS 393864 HAS SOPS 393339 HAS SOUS 204375 HAS SOUPS 204270 WITH SCORE 204663.864
AT ITER 3685 NEW BEST:: SOT 957411 SOS 393843 HAS SOPS 393318 HAS SOUS 204333 HAS SOUPS 204228 WITH SCORE 204621.843
AT ITER 3688 NEW BEST:: SOT 957448 SOS 393880 HAS SOPS 393355 HAS SOUS 203731 HAS SOUPS 203626 WITH SCORE 204019.88
AT ITER 3693 NEW BEST:: SOT 957448 SOS 393876 HAS SOPS 393351 HAS SOUS 203731 HAS SOUPS 203626 WITH SCORE 204019.876
AT ITER 3715 NEW BEST:: SOT 957391 SOS 393819 HAS SOPS 393294 HAS SOUS 203674 HAS SOUPS 203569 WITH SCORE 203962.819
AT ITER 3724 NEW BEST:: SOT 957418 SOS 393846 HAS SOPS 393321 HAS SOUS 203201 HAS SOUPS 203096 WITH SCORE 203489.846
AT ITER 3728 NEW BEST:: SOT 957357 SOS 393822 HAS SOPS 393297 HAS SOUS 203177 HAS SOUPS 203072 WITH SCORE 203465.822
AT ITER 3743 NEW BEST:: SOT 957389 SOS 393854 HAS SOPS 393329 HAS SOUS 203077 HAS SOUPS 202972 WITH SCORE 203365.854
AT ITER 3749 NEW BEST:: SOT 957389 SOS 393854 HAS SOPS 393329 HAS SOUS 202562 HAS SOUPS 202457 WITH SCORE 202850.854
AT ITER 3764 NEW BEST:: SOT 957347 SOS 393812 HAS SOPS 393287 HAS SOUS 202408 HAS SOUPS 202303 WITH SCORE 202696.812
AT ITER 3783 NEW BEST:: SOT 957347 SOS 393823 HAS SOPS 393298 HAS SOUS 202387 HAS SOUPS 202282 WITH SCORE 202675.823
AT ITER 3812 NEW BEST:: SOT 957355 SOS 393416 HAS SOPS 392891 HAS SOUS 202357 HAS SOUPS 202252 WITH SCORE 202645.416
AT ITER 3825 NEW BEST:: SOT 957355 SOS 393390 HAS SOPS 392865 HAS SOUS 202313 HAS SOUPS 202208 WITH SCORE 202601.39
AT ITER 3832 NEW BEST:: SOT 957317 SOS 393352 HAS SOPS 392827 HAS SOUS 202223 HAS SOUPS 202118 WITH SCORE 202511.352
AT ITER 3839 NEW BEST:: SOT 957289 SOS 393324 HAS SOPS 392799 HAS SOUS 202201 HAS SOUPS 202096 WITH SCORE 202489.324
AT ITER 3840 NEW BEST:: SOT 957289 SOS 393324 HAS SOPS 392799 HAS SOUS 202185 HAS SOUPS 202080 WITH SCORE 202473.324
AT ITER 3848 NEW BEST:: SOT 957155 SOS 393190 HAS SOPS 392665 HAS SOUS 202051 HAS SOUPS 201946 WITH SCORE 202339.19
AT ITER 3859 NEW BEST:: SOT 957143 SOS 393178 HAS SOPS 392653 HAS SOUS 201991 HAS SOUPS 201886 WITH SCORE 202279.178
AT ITER 3886 NEW BEST:: SOT 956972 SOS 393007 HAS SOPS 392482 HAS SOUS 201569 HAS SOUPS 201464 WITH SCORE 201857.007
AT ITER 3917 NEW BEST:: SOT 956972 SOS 392970 HAS SOPS 392445 HAS SOUS 201528 HAS SOUPS 201423 WITH SCORE 201815.97
AT ITER 3939 NEW BEST:: SOT 956972 SOS 392969 HAS SOPS 392444 HAS SOUS 201528 HAS SOUPS 201423 WITH SCORE 201815.969
AT ITER 3943 NEW BEST:: SOT 956972 SOS 393008 HAS SOPS 392483 HAS SOUS 201467 HAS SOUPS 201362 WITH SCORE 201755.008
AT ITER 3947 NEW BEST:: SOT 957169 SOS 393205 HAS SOPS 392680 HAS SOUS 201220 HAS SOUPS 201115 WITH SCORE 201508.205
AT ITER 3948 NEW BEST:: SOT 957137 SOS 393173 HAS SOPS 392648 HAS SOUS 201172 HAS SOUPS 201067 WITH SCORE 201460.173
AT ITER 3951 NEW BEST:: SOT 956961 SOS 393116 HAS SOPS 392591 HAS SOUS 201042 HAS SOUPS 200937 WITH SCORE 201330.116
AT ITER 3979 NEW BEST:: SOT 956609 SOS 392764 HAS SOPS 392239 HAS SOUS 200527 HAS SOUPS 200422 WITH SCORE 200814.764
AT ITER 3984 NEW BEST:: SOT 956609 SOS 387297 HAS SOPS 386772 HAS SOUS 200364 HAS SOUPS 200259 WITH SCORE 200646.297
AT ITER 3992 NEW BEST:: SOT 956566 SOS 387254 HAS SOPS 386729 HAS SOUS 200357 HAS SOUPS 200252 WITH SCORE 200639.254
AT ITER 4028 NEW BEST:: SOT 956694 SOS 387382 HAS SOPS 386857 HAS SOUS 200351 HAS SOUPS 200246 WITH SCORE 200633.382
AT ITER 4032 NEW BEST:: SOT 956663 SOS 387320 HAS SOPS 386795 HAS SOUS 200351 HAS SOUPS 200246 WITH SCORE 200633.32
AT ITER 4053 NEW BEST:: SOT 956657 SOS 387330 HAS SOPS 386805 HAS SOUS 200325 HAS SOUPS 200220 WITH SCORE 200607.33
AT ITER 4061 NEW BEST:: SOT 956454 SOS 387127 HAS SOPS 386602 HAS SOUS 200114 HAS SOUPS 200009 WITH SCORE 200396.127
AT ITER 4066 NEW BEST:: SOT 956454 SOS 387127 HAS SOPS 386602 HAS SOUS 200004 HAS SOUPS 199899 WITH SCORE 200286.127
AT ITER 4071 NEW BEST:: SOT 956399 SOS 387072 HAS SOPS 386547 HAS SOUS 199873 HAS SOUPS 199768 WITH SCORE 200155.072
AT ITER 4085 NEW BEST:: SOT 956398 SOS 387071 HAS SOPS 386546 HAS SOUS 199872 HAS SOUPS 199767 WITH SCORE 200154.071
AT ITER 4086 NEW BEST:: SOT 956295 SOS 386968 HAS SOPS 386443 HAS SOUS 199730 HAS SOUPS 199625 WITH SCORE 200011.968
AT ITER 4087 NEW BEST:: SOT 956295 SOS 386968 HAS SOPS 386443 HAS SOUS 199702 HAS SOUPS 199597 WITH SCORE 199983.968
AT ITER 4093 NEW BEST:: SOT 956413 SOS 387086 HAS SOPS 386561 HAS SOUS 199613 HAS SOUPS 199508 WITH SCORE 199895.086
AT ITER 4095 NEW BEST:: SOT 956413 SOS 387086 HAS SOPS 386561 HAS SOUS 199558 HAS SOUPS 199453 WITH SCORE 199840.086
AT ITER 4110 NEW BEST:: SOT 956319 SOS 387117 HAS SOPS 386592 HAS SOUS 199479 HAS SOUPS 199374 WITH SCORE 199761.117
AT ITER 4117 NEW BEST:: SOT 956314 SOS 387118 HAS SOPS 386593 HAS SOUS 199466 HAS SOUPS 199361 WITH SCORE 199748.118
AT ITER 4119 NEW BEST:: SOT 955914 SOS 386862 HAS SOPS 386337 HAS SOUS 199426 HAS SOUPS 199321 WITH SCORE 199707.862
AT ITER 4137 NEW BEST:: SOT 955763 SOS 386711 HAS SOPS 386186 HAS SOUS 199206 HAS SOUPS 199101 WITH SCORE 199487.711
AT ITER 4150 NEW BEST:: SOT 955699 SOS 386647 HAS SOPS 386122 HAS SOUS 199100 HAS SOUPS 198995 WITH SCORE 199381.647
AT ITER 4153 NEW BEST:: SOT 955367 SOS 386374 HAS SOPS 385849 HAS SOUS 198844 HAS SOUPS 198739 WITH SCORE 199125.374
AT ITER 4184 NEW BEST:: SOT 955189 SOS 386196 HAS SOPS 385671 HAS SOUS 198721 HAS SOUPS 198616 WITH SCORE 199002.196
AT ITER 4191 NEW BEST:: SOT 955189 SOS 386196 HAS SOPS 385671 HAS SOUS 198658 HAS SOUPS 198553 WITH SCORE 198939.196
AT ITER 4237 NEW BEST:: SOT 954985 SOS 386161 HAS SOPS 385636 HAS SOUS 198358 HAS SOUPS 198253 WITH SCORE 198639.161
AT ITER 4253 NEW BEST:: SOT 954957 SOS 386133 HAS SOPS 385608 HAS SOUS 198351 HAS SOUPS 198246 WITH SCORE 198632.133
AT ITER 4266 NEW BEST:: SOT 954957 SOS 386150 HAS SOPS 385625 HAS SOUS 198334 HAS SOUPS 198229 WITH SCORE 198615.15
AT ITER 4276 NEW BEST:: SOT 954957 SOS 386025 HAS SOPS 385500 HAS SOUS 198263 HAS SOUPS 198158 WITH SCORE 198544.025
AT ITER 4281 NEW BEST:: SOT 954950 SOS 386018 HAS SOPS 385493 HAS SOUS 198262 HAS SOUPS 198157 WITH SCORE 198543.018
AT ITER 4284 NEW BEST:: SOT 955039 SOS 385925 HAS SOPS 385400 HAS SOUS 198257 HAS SOUPS 198152 WITH SCORE 198537.925
AT ITER 4310 NEW BEST:: SOT 955139 SOS 386025 HAS SOPS 385500 HAS SOUS 198252 HAS SOUPS 198147 WITH SCORE 198533.025
AT ITER 4328 NEW BEST:: SOT 955146 SOS 386032 HAS SOPS 385507 HAS SOUS 198118 HAS SOUPS 198013 WITH SCORE 198399.032
AT ITER 4351 NEW BEST:: SOT 955142 SOS 386028 HAS SOPS 385503 HAS SOUS 198114 HAS SOUPS 198009 WITH SCORE 198395.028
AT ITER 4357 NEW BEST:: SOT 955095 SOS 385981 HAS SOPS 385456 HAS SOUS 198106 HAS SOUPS 198001 WITH SCORE 198386.981
AT ITER 4369 NEW BEST:: SOT 955061 SOS 385947 HAS SOPS 385422 HAS SOUS 198038 HAS SOUPS 197933 WITH SCORE 198318.947
AT ITER 4378 NEW BEST:: SOT 955061 SOS 385947 HAS SOPS 385422 HAS SOUS 198015 HAS SOUPS 197910 WITH SCORE 198295.947
AT ITER 4381 NEW BEST:: SOT 954891 SOS 385963 HAS SOPS 385438 HAS SOUS 197932 HAS SOUPS 197827 WITH SCORE 198212.963
AT ITER 4382 NEW BEST:: SOT 954882 SOS 385954 HAS SOPS 385429 HAS SOUS 197923 HAS SOUPS 197818 WITH SCORE 198203.954
AT ITER 4401 NEW BEST:: SOT 954514 SOS 385557 HAS SOPS 385032 HAS SOUS 197155 HAS SOUPS 197050 WITH SCORE 197435.557
AT ITER 4405 NEW BEST:: SOT 954514 SOS 385557 HAS SOPS 385032 HAS SOUS 197082 HAS SOUPS 196977 WITH SCORE 197362.557
AT ITER 4407 NEW BEST:: SOT 954451 SOS 385494 HAS SOPS 384969 HAS SOUS 197019 HAS SOUPS 196914 WITH SCORE 197299.494
AT ITER 4413 NEW BEST:: SOT 954653 SOS 385696 HAS SOPS 385171 HAS SOUS 196980 HAS SOUPS 196875 WITH SCORE 197260.696
AT ITER 4418 NEW BEST:: SOT 954694 SOS 385737 HAS SOPS 385212 HAS SOUS 196675 HAS SOUPS 196570 WITH SCORE 196955.737
AT ITER 4420 NEW BEST:: SOT 954694 SOS 385682 HAS SOPS 385157 HAS SOUS 196584 HAS SOUPS 196479 WITH SCORE 196864.682
AT ITER 4426 NEW BEST:: SOT 954693 SOS 385681 HAS SOPS 385156 HAS SOUS 196583 HAS SOUPS 196478 WITH SCORE 196863.681
AT ITER 4443 NEW BEST:: SOT 954660 SOS 385648 HAS SOPS 385123 HAS SOUS 196550 HAS SOUPS 196445 WITH SCORE 196830.648
AT ITER 4449 NEW BEST:: SOT 954611 SOS 385599 HAS SOPS 385074 HAS SOUS 196498 HAS SOUPS 196393 WITH SCORE 196778.599
AT ITER 4475 NEW BEST:: SOT 954607 SOS 385591 HAS SOPS 385066 HAS SOUS 196490 HAS SOUPS 196385 WITH SCORE 196770.591
AT ITER 4484 NEW BEST:: SOT 954499 SOS 385483 HAS SOPS 384958 HAS SOUS 196163 HAS SOUPS 196058 WITH SCORE 196443.483
AT ITER 4488 NEW BEST:: SOT 954518 SOS 385502 HAS SOPS 384977 HAS SOUS 196128 HAS SOUPS 196023 WITH SCORE 196408.502
AT ITER 4490 NEW BEST:: SOT 954518 SOS 385473 HAS SOPS 384948 HAS SOUS 196128 HAS SOUPS 196023 WITH SCORE 196408.473
AT ITER 4491 NEW BEST:: SOT 954518 SOS 385457 HAS SOPS 384932 HAS SOUS 196112 HAS SOUPS 196007 WITH SCORE 196392.457
AT ITER 4516 NEW BEST:: SOT 954525 SOS 385464 HAS SOPS 384939 HAS SOUS 196098 HAS SOUPS 195993 WITH SCORE 196378.464
AT ITER 4525 NEW BEST:: SOT 954467 SOS 385348 HAS SOPS 384823 HAS SOUS 195982 HAS SOUPS 195877 WITH SCORE 196262.348
AT ITER 4530 NEW BEST:: SOT 954256 SOS 385251 HAS SOPS 384726 HAS SOUS 195920 HAS SOUPS 195815 WITH SCORE 196200.251
AT ITER 4538 NEW BEST:: SOT 954223 SOS 385537 HAS SOPS 385012 HAS SOUS 195862 HAS SOUPS 195757 WITH SCORE 196142.537
AT ITER 4563 NEW BEST:: SOT 954391 SOS 385692 HAS SOPS 385167 HAS SOUS 195659 HAS SOUPS 195554 WITH SCORE 195939.692
AT ITER 4605 NEW BEST:: SOT 954231 SOS 385532 HAS SOPS 385007 HAS SOUS 195339 HAS SOUPS 195234 WITH SCORE 195619.532
AT ITER 4613 NEW BEST:: SOT 954152 SOS 385453 HAS SOPS 384928 HAS SOUS 195305 HAS SOUPS 195200 WITH SCORE 195585.453
AT ITER 4615 NEW BEST:: SOT 954082 SOS 385383 HAS SOPS 384858 HAS SOUS 195094 HAS SOUPS 194989 WITH SCORE 195374.383
AT ITER 4631 NEW BEST:: SOT 954050 SOS 385370 HAS SOPS 384845 HAS SOUS 195068 HAS SOUPS 194963 WITH SCORE 195348.37
AT ITER 4636 NEW BEST:: SOT 954021 SOS 385250 HAS SOPS 384725 HAS SOUS 194948 HAS SOUPS 194843 WITH SCORE 195228.25
AT ITER 4643 NEW BEST:: SOT 953965 SOS 385194 HAS SOPS 384669 HAS SOUS 194791 HAS SOUPS 194686 WITH SCORE 195071.194
AT ITER 4644 NEW BEST:: SOT 953853 SOS 384673 HAS SOPS 384148 HAS SOUS 194321 HAS SOUPS 194216 WITH SCORE 194600.673
AT ITER 4646 NEW BEST:: SOT 953847 SOS 384667 HAS SOPS 384142 HAS SOUS 194275 HAS SOUPS 194170 WITH SCORE 194554.667
AT ITER 4650 NEW BEST:: SOT 953847 SOS 384639 HAS SOPS 384114 HAS SOUS 194229 HAS SOUPS 194124 WITH SCORE 194508.639
AT ITER 4653 NEW BEST:: SOT 953795 SOS 384587 HAS SOPS 384062 HAS SOUS 194125 HAS SOUPS 194020 WITH SCORE 194404.587
AT ITER 4661 NEW BEST:: SOT 953701 SOS 384493 HAS SOPS 383968 HAS SOUS 193937 HAS SOUPS 193832 WITH SCORE 194216.493
AT ITER 4680 NEW BEST:: SOT 953640 SOS 384432 HAS SOPS 383907 HAS SOUS 193876 HAS SOUPS 193771 WITH SCORE 194155.432
AT ITER 4692 NEW BEST:: SOT 953629 SOS 384432 HAS SOPS 383907 HAS SOUS 193854 HAS SOUPS 193749 WITH SCORE 194133.432
AT ITER 4696 NEW BEST:: SOT 953629 SOS 384432 HAS SOPS 383907 HAS SOUS 193807 HAS SOUPS 193702 WITH SCORE 194086.432
AT ITER 4705 NEW BEST:: SOT 953561 SOS 384414 HAS SOPS 383889 HAS SOUS 193779 HAS SOUPS 193674 WITH SCORE 194058.414
AT ITER 4713 NEW BEST:: SOT 953435 SOS 384288 HAS SOPS 383763 HAS SOUS 193653 HAS SOUPS 193548 WITH SCORE 193932.288
AT ITER 4729 NEW BEST:: SOT 953448 SOS 384299 HAS SOPS 383774 HAS SOUS 193627 HAS SOUPS 193522 WITH SCORE 193906.299
AT ITER 4735 NEW BEST:: SOT 953412 SOS 384263 HAS SOPS 383738 HAS SOUS 193591 HAS SOUPS 193486 WITH SCORE 193870.263
AT ITER 4743 NEW BEST:: SOT 953344 SOS 384195 HAS SOPS 383670 HAS SOUS 193405 HAS SOUPS 193300 WITH SCORE 193684.195
AT ITER 4758 NEW BEST:: SOT 953334 SOS 383960 HAS SOPS 383435 HAS SOUS 193228 HAS SOUPS 193123 WITH SCORE 193506.96
AT ITER 4760 NEW BEST:: SOT 953255 SOS 383881 HAS SOPS 383356 HAS SOUS 192775 HAS SOUPS 192670 WITH SCORE 193053.881
AT ITER 4761 NEW BEST:: SOT 953231 SOS 383833 HAS SOPS 383308 HAS SOUS 192727 HAS SOUPS 192622 WITH SCORE 193005.833
AT ITER 4770 NEW BEST:: SOT 953162 SOS 383764 HAS SOPS 383239 HAS SOUS 192658 HAS SOUPS 192553 WITH SCORE 192936.764
AT ITER 4790 NEW BEST:: SOT 953243 SOS 383845 HAS SOPS 383320 HAS SOUS 192595 HAS SOUPS 192490 WITH SCORE 192873.845
AT ITER 4792 NEW BEST:: SOT 953229 SOS 383838 HAS SOPS 383313 HAS SOUS 192581 HAS SOUPS 192476 WITH SCORE 192859.838
AT ITER 4830 NEW BEST:: SOT 953127 SOS 383736 HAS SOPS 383211 HAS SOUS 191969 HAS SOUPS 191864 WITH SCORE 192247.736
AT ITER 4833 NEW BEST:: SOT 953064 SOS 383673 HAS SOPS 383148 HAS SOUS 191890 HAS SOUPS 191785 WITH SCORE 192168.673
AT ITER 4843 NEW BEST:: SOT 953050 SOS 383663 HAS SOPS 383138 HAS SOUS 191831 HAS SOUPS 191726 WITH SCORE 192109.663
AT ITER 4847 NEW BEST:: SOT 952933 SOS 384792 HAS SOPS 384267 HAS SOUS 191712 HAS SOUPS 191607 WITH SCORE 191991.792
AT ITER 4856 NEW BEST:: SOT 952907 SOS 384766 HAS SOPS 384241 HAS SOUS 191698 HAS SOUPS 191593 WITH SCORE 191977.766
AT ITER 4859 NEW BEST:: SOT 952942 SOS 384801 HAS SOPS 384276 HAS SOUS 191095 HAS SOUPS 190990 WITH SCORE 191374.801
AT ITER 4871 NEW BEST:: SOT 952967 SOS 384739 HAS SOPS 384214 HAS SOUS 190986 HAS SOUPS 190881 WITH SCORE 191265.739
AT ITER 4872 NEW BEST:: SOT 952957 SOS 384736 HAS SOPS 384211 HAS SOUS 190976 HAS SOUPS 190871 WITH SCORE 191255.736
AT ITER 4882 NEW BEST:: SOT 952957 SOS 384713 HAS SOPS 384188 HAS SOUS 190953 HAS SOUPS 190848 WITH SCORE 191232.713
AT ITER 4888 NEW BEST:: SOT 952864 SOS 384620 HAS SOPS 384095 HAS SOUS 190722 HAS SOUPS 190617 WITH SCORE 191001.62
AT ITER 4915 NEW BEST:: SOT 952895 SOS 384651 HAS SOPS 384126 HAS SOUS 190463 HAS SOUPS 190358 WITH SCORE 190742.651
AT ITER 4935 NEW BEST:: SOT 952878 SOS 384634 HAS SOPS 384109 HAS SOUS 190446 HAS SOUPS 190341 WITH SCORE 190725.634
AT ITER 4946 NEW BEST:: SOT 952928 SOS 384684 HAS SOPS 384159 HAS SOUS 190410 HAS SOUPS 190305 WITH SCORE 190689.684
AT ITER 4947 NEW BEST:: SOT 953029 SOS 384653 HAS SOPS 384128 HAS SOUS 190192 HAS SOUPS 190087 WITH SCORE 190471.653
AT ITER 4959 NEW BEST:: SOT 953029 SOS 384653 HAS SOPS 384128 HAS SOUS 190107 HAS SOUPS 190002 WITH SCORE 190386.653
AT ITER 4965 NEW BEST:: SOT 953022 SOS 384646 HAS SOPS 384121 HAS SOUS 190060 HAS SOUPS 189955 WITH SCORE 190339.646
AT ITER 4968 NEW BEST:: SOT 953022 SOS 384646 HAS SOPS 384121 HAS SOUS 190049 HAS SOUPS 189944 WITH SCORE 190328.646
AT ITER 4971 NEW BEST:: SOT 953099 SOS 384699 HAS SOPS 384174 HAS SOUS 189989 HAS SOUPS 189884 WITH SCORE 190268.699
AT ITER 4979 NEW BEST:: SOT 953069 SOS 384669 HAS SOPS 384144 HAS SOUS 189911 HAS SOUPS 189806 WITH SCORE 190190.669
AT ITER 4988 NEW BEST:: SOT 953001 SOS 384706 HAS SOPS 384181 HAS SOUS 189893 HAS SOUPS 189788 WITH SCORE 190172.706
AT ITER 4996 NEW BEST:: SOT 952974 SOS 384679 HAS SOPS 384154 HAS SOUS 189866 HAS SOUPS 189761 WITH SCORE 190145.679
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-00 (AG( ( potential( (tk(P813)) <= (tk(P67) + tk(P104) + tk(P149) + tk(P275) + tk(P902)) ) | potential( (tk(P9) + tk(P15) + tk(P18) + tk(P28) + tk(P36) + tk(P91) + tk(P124) + tk(P145) + tk(P148) + tk(P159) + tk(P161) + tk(P174) + tk(P206) + tk(P251) + tk(P260) + tk(P297) + tk(P314) + tk(P337) + tk(P339) + tk(P350) + tk(P369) + tk(P375) + tk(P379) + tk(P398) + tk(P400) + tk(P436) + tk(P483) + tk(P516) + tk(P518) + tk(P524) + tk(P536) + tk(P565) + tk(P567) + tk(P594) + tk(P597) + tk(P618) + tk(P632) + tk(P633) + tk(P645) + tk(P653) + tk(P664) + tk(P666) + tk(P680) + tk(P681) + tk(P688) + tk(P694) + tk(P709) + tk(P719) + tk(P762) + tk(P763) + tk(P780) + tk(P782) + tk(P804) + tk(P829) + tk(P835) + tk(P839) + tk(P853) + tk(P855) + tk(P887) + tk(P901) + tk(P908)) <= (tk(P740)) ) )))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-01 (EG( ( (! ( potential( ( 2 ) <= (tk(P9) + tk(P15) + tk(P18) + tk(P28) + tk(P36) + tk(P91) + tk(P124) + tk(P145) + tk(P148) + tk(P159) + tk(P161) + tk(P174) + tk(P206) + tk(P251) + tk(P260) + tk(P297) + tk(P314) + tk(P337) + tk(P339) + tk(P350) + tk(P369) + tk(P375) + tk(P379) + tk(P398) + tk(P400) + tk(P436) + tk(P483) + tk(P516) + tk(P518) + tk(P524) + tk(P536) + tk(P565) + tk(P567) + tk(P594) + tk(P597) + tk(P618) + tk(P632) + tk(P633) + tk(P645) + tk(P653) + tk(P664) + tk(P666) + tk(P680) + tk(P681) + tk(P688) + tk(P694) + tk(P709) + tk(P719) + tk(P762) + tk(P763) + tk(P780) + tk(P782) + tk(P804) + tk(P829) + tk(P835) + tk(P839) + tk(P853) + tk(P855) + tk(P887) + tk(P901) + tk(P908)) ) | potential( ( 3 ) <= (tk(P229)) ) )) | ( (! potential( ( 1 ) <= (tk(P216) + tk(P463) + tk(P534) + tk(P542) + tk(P826)) )) & ( potential( ( 3 ) <= (tk(P411)) ) & potential( (tk(P3) + tk(P5) + tk(P6) + tk(P7) + tk(P8) + tk(P10) + tk(P12) + tk(P13) + tk(P16) + tk(P17) + tk(P21) + tk(P30) + tk(P31) + tk(P35) + tk(P38) + tk(P39) + tk(P40) + tk(P44) + tk(P51) + tk(P55) + tk(P57) + tk(P58) + tk(P64) + tk(P66) + tk(P74) + tk(P76) + tk(P83) + tk(P84) + tk(P86) + tk(P88) + tk(P89) + tk(P94) + tk(P95) + tk(P97) + tk(P100) + tk(P101) + tk(P107) + tk(P117) + tk(P120) + tk(P121) + tk(P126) + tk(P127) + tk(P129) + tk(P133) + tk(P140) + tk(P150) + tk(P151) + tk(P156) + tk(P158) + tk(P163) + tk(P164) + tk(P166) + tk(P172) + tk(P176) + tk(P185) + tk(P187) + tk(P189) + tk(P190) + tk(P193) + tk(P195) + tk(P197) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P207) + tk(P208) + tk(P209) + tk(P211) + tk(P215) + tk(P225) + tk(P226) + tk(P230) + tk(P234) + tk(P235) + tk(P239) + tk(P242) + tk(P244) + tk(P246) + tk(P249) + tk(P250) + tk(P252) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P272) + tk(P274) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P288) + tk(P289) + tk(P291) + tk(P293) + tk(P294) + tk(P295) + tk(P299) + tk(P300) + tk(P303) + tk(P304) + tk(P305) + tk(P309) + tk(P313) + tk(P318) + tk(P322) + tk(P325) + tk(P327) + tk(P332) + tk(P333) + tk(P338) + tk(P340) + tk(P341) + tk(P344) + tk(P346) + tk(P349) + tk(P353) + tk(P357) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P366) + tk(P372) + tk(P377) + tk(P380) + tk(P384) + tk(P386) + tk(P387) + tk(P388) + tk(P393) + tk(P394) + tk(P397) + tk(P399) + tk(P403) + tk(P405) + tk(P410) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P423) + tk(P424) + tk(P425) + tk(P430) + tk(P432) + tk(P440) + tk(P445) + tk(P449) + tk(P456) + tk(P457) + tk(P458) + tk(P462) + tk(P468) + tk(P471) + tk(P475) + tk(P476) + tk(P477) + tk(P480) + tk(P481) + tk(P482) + tk(P484) + tk(P487) + tk(P491) + tk(P496) + tk(P497) + tk(P499) + tk(P505) + tk(P509) + tk(P510) + tk(P512) + tk(P517) + tk(P519) + tk(P520) + tk(P528) + tk(P535) + tk(P537) + tk(P539) + tk(P543) + tk(P546) + tk(P547) + tk(P548) + tk(P549) + tk(P551) + tk(P555) + tk(P558) + tk(P559) + tk(P560) + tk(P561) + tk(P566) + tk(P571) + tk(P572) + tk(P573) + tk(P578) + tk(P580) + tk(P584) + tk(P585) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P592) + tk(P593) + tk(P600) + tk(P614) + tk(P616) + tk(P617) + tk(P620) + tk(P622) + tk(P624) + tk(P626) + tk(P628) + tk(P630) + tk(P631) + tk(P634) + tk(P635) + tk(P636) + tk(P637) + tk(P639) + tk(P644) + tk(P647) + tk(P650) + tk(P651) + tk(P654) + tk(P656) + tk(P661) + tk(P667) + tk(P668) + tk(P669) + tk(P670) + tk(P673) + tk(P674) + tk(P676) + tk(P686) + tk(P687) + tk(P692) + tk(P693) + tk(P697) + tk(P701) + tk(P703) + tk(P704) + tk(P710) + tk(P711) + tk(P715) + tk(P720) + tk(P721) + tk(P727) + tk(P728) + tk(P730) + tk(P731) + tk(P736) + tk(P743) + tk(P744) + tk(P746) + tk(P747) + tk(P750) + tk(P751) + tk(P752) + tk(P757) + tk(P758) + tk(P761) + tk(P765) + tk(P766) + tk(P767) + tk(P770) + tk(P774) + tk(P777) + tk(P779) + tk(P787) + tk(P792) + tk(P793) + tk(P796) + tk(P806) + tk(P812) + tk(P816) + tk(P819) + tk(P820) + tk(P821) + tk(P822) + tk(P824) + tk(P831) + tk(P836) + tk(P838) + tk(P841) + tk(P843) + tk(P845) + tk(P847) + tk(P854) + tk(P857) + tk(P859) + tk(P862) + tk(P865) + tk(P875) + tk(P876) + tk(P880) + tk(P882) + tk(P892) + tk(P894) + tk(P896) + tk(P897) + tk(P899) + tk(P907)) <= (tk(P142)) ) ) ) )))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-02 ( (! (AG( (! potential( ( 1 ) <= (tk(P19) + tk(P26) + tk(P47) + tk(P59) + tk(P71) + tk(P72) + tk(P99) + tk(P106) + tk(P108) + tk(P109) + tk(P137) + tk(P143) + tk(P165) + tk(P183) + tk(P186) + tk(P222) + tk(P228) + tk(P232) + tk(P243) + tk(P253) + tk(P271) + tk(P277) + tk(P326) + tk(P364) + tk(P374) + tk(P391) + tk(P421) + tk(P434) + tk(P435) + tk(P438) + tk(P446) + tk(P474) + tk(P502) + tk(P511) + tk(P526) + tk(P530) + tk(P540) + tk(P550) + tk(P557) + tk(P586) + tk(P599) + tk(P615) + tk(P619) + tk(P643) + tk(P662) + tk(P690) + tk(P724) + tk(P738) + tk(P754) + tk(P759) + tk(P768) + tk(P775) + tk(P790) + tk(P801) + tk(P807) + tk(P808) + tk(P809) + tk(P818) + tk(P837) + tk(P870) + tk(P884)) ))))) | ( (EX( ( potential( ( 3 ) <= (tk(P20) + tk(P152) + tk(P330) + tk(P723) + tk(P844)) ) | potential( ( 3 ) <= (tk(P162)) ) ))) | (! (AG( potential( (tk(P29) + tk(P53) + tk(P56) + tk(P60) + tk(P62) + tk(P98) + tk(P115) + tk(P134) + tk(P136) + tk(P138) + tk(P167) + tk(P179) + tk(P191) + tk(P218) + tk(P219) + tk(P231) + tk(P247) + tk(P269) + tk(P286) + tk(P316) + tk(P331) + tk(P354) + tk(P373) + tk(P447) + tk(P448) + tk(P451) + tk(P452) + tk(P459) + tk(P469) + tk(P478) + tk(P489) + tk(P504) + tk(P529) + tk(P533) + tk(P538) + tk(P568) + tk(P601) + tk(P606) + tk(P608) + tk(P623) + tk(P638) + tk(P646) + tk(P672) + tk(P685) + tk(P689) + tk(P698) + tk(P705) + tk(P712) + tk(P714) + tk(P732) + tk(P739) + tk(P749) + tk(P772) + tk(P798) + tk(P802) + tk(P846) + tk(P864) + tk(P881) + tk(P886) + tk(P891) + tk(P900) + tk(P903)) <= (tk(P842)) )))) ) )
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-03 (EG( (! (! (! potential( ( 1 ) <= (tk(P444)) ))))))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-04 (EF((EG( ( potential( (tk(P139)) <= (tk(P192)) ) | potential( (tk(P9) + tk(P15) + tk(P18) + tk(P28) + tk(P36) + tk(P91) + tk(P124) + tk(P145) + tk(P148) + tk(P159) + tk(P161) + tk(P174) + tk(P206) + tk(P251) + tk(P260) + tk(P297) + tk(P314) + tk(P337) + tk(P339) + tk(P350) + tk(P369) + tk(P375) + tk(P379) + tk(P398) + tk(P400) + tk(P436) + tk(P483) + tk(P516) + tk(P518) + tk(P524) + tk(P536) + tk(P565) + tk(P567) + tk(P594) + tk(P597) + tk(P618) + tk(P632) + tk(P633) + tk(P645) + tk(P653) + tk(P664) + tk(P666) + tk(P680) + tk(P681) + tk(P688) + tk(P694) + tk(P709) + tk(P719) + tk(P762) + tk(P763) + tk(P780) + tk(P782) + tk(P804) + tk(P829) + tk(P835) + tk(P839) + tk(P853) + tk(P855) + tk(P887) + tk(P901) + tk(P908)) <= (tk(P4) + tk(P22) + tk(P25) + tk(P32) + tk(P69) + tk(P70) + tk(P73) + tk(P79) + tk(P102) + tk(P119) + tk(P132) + tk(P153) + tk(P171) + tk(P180) + tk(P188) + tk(P196) + tk(P199) + tk(P236) + tk(P245) + tk(P279) + tk(P292) + tk(P301) + tk(P308) + tk(P317) + tk(P321) + tk(P324) + tk(P328) + tk(P347) + tk(P376) + tk(P383) + tk(P392) + tk(P404) + tk(P428) + tk(P429) + tk(P442) + tk(P453) + tk(P455) + tk(P470) + tk(P503) + tk(P507) + tk(P556) + tk(P562) + tk(P660) + tk(P678) + tk(P695) + tk(P713) + tk(P734) + tk(P741) + tk(P742) + tk(P755) + tk(P760) + tk(P811) + tk(P825) + tk(P827) + tk(P830) + tk(P834) + tk(P852) + tk(P863) + tk(P866) + tk(P888) + tk(P906)) ) )))))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-05 (AF(( potential( (tk(P19) + tk(P26) + tk(P47) + tk(P59) + tk(P71) + tk(P72) + tk(P99) + tk(P106) + tk(P108) + tk(P109) + tk(P137) + tk(P143) + tk(P165) + tk(P183) + tk(P186) + tk(P222) + tk(P228) + tk(P232) + tk(P243) + tk(P253) + tk(P271) + tk(P277) + tk(P326) + tk(P364) + tk(P374) + tk(P391) + tk(P421) + tk(P434) + tk(P435) + tk(P438) + tk(P446) + tk(P474) + tk(P502) + tk(P511) + tk(P526) + tk(P530) + tk(P540) + tk(P550) + tk(P557) + tk(P586) + tk(P599) + tk(P615) + tk(P619) + tk(P643) + tk(P662) + tk(P690) + tk(P724) + tk(P738) + tk(P754) + tk(P759) + tk(P768) + tk(P775) + tk(P790) + tk(P801) + tk(P807) + tk(P808) + tk(P809) + tk(P818) + tk(P837) + tk(P870) + tk(P884)) <= (tk(P411)) ) & (EF(potential( ( 2 ) <= (tk(P302)) ))) )))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-06 (AF((AX( ( potential( ( 1 ) <= (tk(P212)) ) & potential( ( 2 ) <= (tk(P216) + tk(P463) + tk(P534) + tk(P542) + tk(P826)) ) )))))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-07 (EF((! (EX( potential( ( 1 ) <= (tk(P265)) ))))))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-08 ( (EF((AG( potential( ( 3 ) <= (tk(P466)) ))))) | (! (! potential( ( 3 ) <= (tk(P313)) ))) )
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-09 (AX( (EG( (! potential( ( 3 ) <= (tk(P302)) ))))))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-10 (EF(( (AF(potential( (tk(P382)) <= (tk(P297)) ))) & ( ( potential( (tk(P616)) <= (tk(P247)) ) & potential( ( 2 ) <= (tk(P586)) ) ) & ( potential( (tk(P327)) <= (tk(P676)) ) | potential( ( 2 ) <= (tk(P500)) ) ) ) )))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-11 (AU( ( (! potential( ( 1 ) <= (tk(P875)) )) & ( potential( (tk(P743)) <= (tk(P880)) ) | potential( ( 2 ) <= (tk(P783)) ) ) ),(EX( potential( ( 2 ) <= (tk(P850)) ))) ))
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-12 ( (AG( (EX( potential( (tk(P643)) <= (tk(P628)) ))))) & ( (EG( (! potential( ( 1 ) <= (tk(P875)) )))) | potential( (tk(P168)) <= (tk(P508)) ) ) )
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-13 ( (! ( ( potential( (tk(P723)) <= (tk(P721)) ) | (! potential( (tk(P508)) <= (tk(P32)) )) ) & potential( (tk(P390)) <= (tk(P487)) ) )) & (AU( ( potential( (tk(P63)) <= (tk(P901)) ) & potential( (tk(P279)) <= (tk(P645)) ) ),(! potential( (tk(P230)) <= (tk(P402)) )) )) )
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-14 ( (EG( ( ( potential( (tk(P213)) <= (tk(P378)) ) & potential( (tk(P845)) <= (tk(P334)) ) ) & ( potential( (tk(P474)) <= (tk(P239)) ) & potential( (tk(P528)) <= (tk(P321)) ) ) ))) & (EF(( ( potential( (tk(P783)) <= (tk(P783)) ) | potential( ( 2 ) <= (tk(P462)) ) ) | ( potential( ( 1 ) <= (tk(P846)) ) & potential( ( 1 ) <= (tk(P627)) ) ) ))) )
PROPERTY: PolyORBNT-PT-S05J60-CTLCardinality-15 (AF(potential( ( 2 ) <= (tk(P838)) )))

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-S05J60"
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-S05J60, 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-158961355100659"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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