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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 11K Apr 12 06:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 38K Apr 12 06:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Apr 11 05:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 28K Apr 11 05:43 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 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 35K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 41K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 137K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Apr 10 12:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 10 12:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Apr 9 18:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 36K Apr 9 18:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K 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 1.7M 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-S05J30-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S05J30-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646266040

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J30
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: 489 places, 1400 transitions, 9764 arcs.
AT ITER 0 NEW BEST:: SOT 485864 SOS 230113 HAS SOPS 230113 HAS SOUS 111990 HAS SOUPS 111990 WITH SCORE 112220.113
AT ITER 12 NEW BEST:: SOT 485872 SOS 230313 HAS SOPS 230313 HAS SOUS 111912 HAS SOUPS 111912 WITH SCORE 112142.313
AT ITER 14 NEW BEST:: SOT 485872 SOS 230313 HAS SOPS 230313 HAS SOUS 111824 HAS SOUPS 111824 WITH SCORE 112054.313
AT ITER 25 NEW BEST:: SOT 485939 SOS 230435 HAS SOPS 230435 HAS SOUS 111766 HAS SOUPS 111766 WITH SCORE 111996.435
AT ITER 44 NEW BEST:: SOT 485939 SOS 230404 HAS SOPS 230404 HAS SOUS 111735 HAS SOUPS 111735 WITH SCORE 111965.404
AT ITER 61 NEW BEST:: SOT 485939 SOS 230378 HAS SOPS 230378 HAS SOUS 111657 HAS SOUPS 111657 WITH SCORE 111887.378
AT ITER 68 NEW BEST:: SOT 485862 SOS 230301 HAS SOPS 230301 HAS SOUS 111580 HAS SOUPS 111580 WITH SCORE 111810.301
AT ITER 71 NEW BEST:: SOT 485815 SOS 230312 HAS SOPS 230312 HAS SOUS 111562 HAS SOUPS 111562 WITH SCORE 111792.312
AT ITER 73 NEW BEST:: SOT 485815 SOS 230312 HAS SOPS 230312 HAS SOUS 111430 HAS SOUPS 111430 WITH SCORE 111660.312
AT ITER 84 NEW BEST:: SOT 485815 SOS 230312 HAS SOPS 230312 HAS SOUS 111382 HAS SOUPS 111382 WITH SCORE 111612.312
AT ITER 91 NEW BEST:: SOT 486042 SOS 230461 HAS SOPS 230461 HAS SOUS 111163 HAS SOUPS 111163 WITH SCORE 111393.461
AT ITER 92 NEW BEST:: SOT 486003 SOS 230330 HAS SOPS 230330 HAS SOUS 110664 HAS SOUPS 110664 WITH SCORE 110894.33
AT ITER 96 NEW BEST:: SOT 485905 SOS 230285 HAS SOPS 230285 HAS SOUS 110468 HAS SOUPS 110468 WITH SCORE 110698.285
AT ITER 100 NEW BEST:: SOT 485817 SOS 230105 HAS SOPS 230105 HAS SOUS 109920 HAS SOUPS 109920 WITH SCORE 110150.105
AT ITER 104 NEW BEST:: SOT 485817 SOS 230027 HAS SOPS 230027 HAS SOUS 109530 HAS SOUPS 109530 WITH SCORE 109760.027
AT ITER 109 NEW BEST:: SOT 485839 SOS 230049 HAS SOPS 230049 HAS SOUS 109372 HAS SOUPS 109372 WITH SCORE 109602.049
AT ITER 111 NEW BEST:: SOT 485839 SOS 229957 HAS SOPS 229957 HAS SOUS 108986 HAS SOUPS 108986 WITH SCORE 109215.957
AT ITER 113 NEW BEST:: SOT 485822 SOS 229940 HAS SOPS 229940 HAS SOUS 108969 HAS SOUPS 108969 WITH SCORE 109198.94
AT ITER 121 NEW BEST:: SOT 485830 SOS 230080 HAS SOPS 230080 HAS SOUS 108871 HAS SOUPS 108871 WITH SCORE 109101.08
AT ITER 123 NEW BEST:: SOT 485868 SOS 230026 HAS SOPS 230026 HAS SOUS 108615 HAS SOUPS 108615 WITH SCORE 108845.026
AT ITER 126 NEW BEST:: SOT 485846 SOS 230004 HAS SOPS 230004 HAS SOUS 108593 HAS SOUPS 108593 WITH SCORE 108823.004
AT ITER 137 NEW BEST:: SOT 485714 SOS 229858 HAS SOPS 229858 HAS SOUS 108455 HAS SOUPS 108455 WITH SCORE 108684.858
AT ITER 152 NEW BEST:: SOT 485707 SOS 229837 HAS SOPS 229837 HAS SOUS 108378 HAS SOUPS 108378 WITH SCORE 108607.837
AT ITER 153 NEW BEST:: SOT 485694 SOS 229826 HAS SOPS 229826 HAS SOUS 108367 HAS SOUPS 108367 WITH SCORE 108596.826
AT ITER 154 NEW BEST:: SOT 485670 SOS 229832 HAS SOPS 229832 HAS SOUS 108359 HAS SOUPS 108359 WITH SCORE 108588.832
AT ITER 156 NEW BEST:: SOT 485854 SOS 229924 HAS SOPS 229924 HAS SOUS 108093 HAS SOUPS 108093 WITH SCORE 108322.924
AT ITER 159 NEW BEST:: SOT 485826 SOS 229896 HAS SOPS 229896 HAS SOUS 108065 HAS SOUPS 108065 WITH SCORE 108294.896
AT ITER 174 NEW BEST:: SOT 485826 SOS 229860 HAS SOPS 229860 HAS SOUS 107921 HAS SOUPS 107921 WITH SCORE 108150.86
AT ITER 177 NEW BEST:: SOT 485790 SOS 229764 HAS SOPS 229764 HAS SOUS 107585 HAS SOUPS 107585 WITH SCORE 107814.764
AT ITER 178 NEW BEST:: SOT 485948 SOS 229833 HAS SOPS 229833 HAS SOUS 107500 HAS SOUPS 107500 WITH SCORE 107729.833
AT ITER 186 NEW BEST:: SOT 476968 SOS 220982 HAS SOPS 220982 HAS SOUS 98640 HAS SOUPS 98640 WITH SCORE 98860.982
AT ITER 192 NEW BEST:: SOT 476951 SOS 220948 HAS SOPS 220948 HAS SOUS 98538 HAS SOUPS 98538 WITH SCORE 98758.948
AT ITER 195 NEW BEST:: SOT 476853 SOS 220716 HAS SOPS 220716 HAS SOUS 98306 HAS SOUPS 98306 WITH SCORE 98526.716
AT ITER 197 NEW BEST:: SOT 476754 SOS 220656 HAS SOPS 220656 HAS SOUS 98165 HAS SOUPS 98165 WITH SCORE 98385.656
AT ITER 202 NEW BEST:: SOT 476754 SOS 220654 HAS SOPS 220654 HAS SOUS 98163 HAS SOUPS 98163 WITH SCORE 98383.654
AT ITER 224 NEW BEST:: SOT 476743 SOS 220551 HAS SOPS 220551 HAS SOUS 97692 HAS SOUPS 97692 WITH SCORE 97912.551
AT ITER 233 NEW BEST:: SOT 476743 SOS 220551 HAS SOPS 220551 HAS SOUS 97625 HAS SOUPS 97625 WITH SCORE 97845.551
AT ITER 236 NEW BEST:: SOT 476722 SOS 220509 HAS SOPS 220509 HAS SOUS 97499 HAS SOUPS 97499 WITH SCORE 97719.509
AT ITER 238 NEW BEST:: SOT 476698 SOS 220449 HAS SOPS 220449 HAS SOUS 97475 HAS SOUPS 97475 WITH SCORE 97695.449
AT ITER 244 NEW BEST:: SOT 476659 SOS 220379 HAS SOPS 220379 HAS SOUS 97281 HAS SOUPS 97281 WITH SCORE 97501.379
AT ITER 247 NEW BEST:: SOT 476667 SOS 220570 HAS SOPS 220570 HAS SOUS 97200 HAS SOUPS 97200 WITH SCORE 97420.57
AT ITER 259 NEW BEST:: SOT 476345 SOS 220279 HAS SOPS 220279 HAS SOUS 97031 HAS SOUPS 97031 WITH SCORE 97251.279
AT ITER 265 NEW BEST:: SOT 476289 SOS 220312 HAS SOPS 220312 HAS SOUS 97025 HAS SOUPS 97025 WITH SCORE 97245.312
AT ITER 279 NEW BEST:: SOT 476191 SOS 220214 HAS SOPS 220214 HAS SOUS 96927 HAS SOUPS 96927 WITH SCORE 97147.214
AT ITER 304 NEW BEST:: SOT 371304 SOS 116302 HAS SOPS 116302 HAS SOUS 82594 HAS SOUPS 82594 WITH SCORE 82710.302
AT ITER 306 NEW BEST:: SOT 371304 SOS 116232 HAS SOPS 116232 HAS SOUS 82564 HAS SOUPS 82564 WITH SCORE 82680.232
AT ITER 309 NEW BEST:: SOT 371304 SOS 116232 HAS SOPS 116232 HAS SOUS 82414 HAS SOUPS 82414 WITH SCORE 82530.232
AT ITER 310 NEW BEST:: SOT 371304 SOS 116208 HAS SOPS 116208 HAS SOUS 82318 HAS SOUPS 82318 WITH SCORE 82434.208
AT ITER 318 NEW BEST:: SOT 371304 SOS 116177 HAS SOPS 116177 HAS SOUS 81919 HAS SOUPS 81919 WITH SCORE 82035.177
AT ITER 320 NEW BEST:: SOT 371304 SOS 116177 HAS SOPS 116177 HAS SOUS 81824 HAS SOUPS 81824 WITH SCORE 81940.177
AT ITER 323 NEW BEST:: SOT 371645 SOS 116482 HAS SOPS 116482 HAS SOUS 81786 HAS SOUPS 81786 WITH SCORE 81902.482
AT ITER 336 NEW BEST:: SOT 371587 SOS 116569 HAS SOPS 116569 HAS SOUS 81715 HAS SOUPS 81715 WITH SCORE 81831.569
AT ITER 358 NEW BEST:: SOT 371663 SOS 116742 HAS SOPS 116742 HAS SOUS 81708 HAS SOUPS 81708 WITH SCORE 81824.742
AT ITER 361 NEW BEST:: SOT 371663 SOS 116742 HAS SOPS 116742 HAS SOUS 81699 HAS SOUPS 81699 WITH SCORE 81815.742
AT ITER 362 NEW BEST:: SOT 371971 SOS 117011 HAS SOPS 117011 HAS SOUS 81641 HAS SOUPS 81641 WITH SCORE 81758.011
AT ITER 365 NEW BEST:: SOT 371971 SOS 117011 HAS SOPS 117011 HAS SOUS 81615 HAS SOUPS 81615 WITH SCORE 81732.011
AT ITER 366 NEW BEST:: SOT 371971 SOS 117011 HAS SOPS 117011 HAS SOUS 81515 HAS SOUPS 81515 WITH SCORE 81632.011
AT ITER 368 NEW BEST:: SOT 371971 SOS 117011 HAS SOPS 117011 HAS SOUS 81416 HAS SOUPS 81416 WITH SCORE 81533.011
AT ITER 375 NEW BEST:: SOT 371980 SOS 116991 HAS SOPS 116991 HAS SOUS 81280 HAS SOUPS 81280 WITH SCORE 81396.991
AT ITER 384 NEW BEST:: SOT 371941 SOS 116952 HAS SOPS 116952 HAS SOUS 81241 HAS SOUPS 81241 WITH SCORE 81357.952
AT ITER 385 NEW BEST:: SOT 371931 SOS 116942 HAS SOPS 116942 HAS SOUS 81231 HAS SOUPS 81231 WITH SCORE 81347.942
AT ITER 393 NEW BEST:: SOT 371931 SOS 116931 HAS SOPS 116931 HAS SOUS 81151 HAS SOUPS 81151 WITH SCORE 81267.931
AT ITER 395 NEW BEST:: SOT 371814 SOS 116814 HAS SOPS 116814 HAS SOUS 81034 HAS SOUPS 81034 WITH SCORE 81150.814
AT ITER 404 NEW BEST:: SOT 371822 SOS 116990 HAS SOPS 116990 HAS SOUS 80948 HAS SOUPS 80948 WITH SCORE 81064.99
AT ITER 407 NEW BEST:: SOT 371863 SOS 117035 HAS SOPS 117035 HAS SOUS 80813 HAS SOUPS 80813 WITH SCORE 80930.035
AT ITER 418 NEW BEST:: SOT 371863 SOS 117035 HAS SOPS 117035 HAS SOUS 80566 HAS SOUPS 80566 WITH SCORE 80683.035
AT ITER 424 NEW BEST:: SOT 371814 SOS 116973 HAS SOPS 116973 HAS SOUS 80237 HAS SOUPS 80237 WITH SCORE 80353.973
AT ITER 430 NEW BEST:: SOT 371791 SOS 117103 HAS SOPS 117103 HAS SOUS 80224 HAS SOUPS 80224 WITH SCORE 80341.103
AT ITER 448 NEW BEST:: SOT 371677 SOS 116989 HAS SOPS 116989 HAS SOUS 80110 HAS SOUPS 80110 WITH SCORE 80226.989
AT ITER 449 NEW BEST:: SOT 371660 SOS 116972 HAS SOPS 116972 HAS SOUS 80093 HAS SOUPS 80093 WITH SCORE 80209.972
AT ITER 460 NEW BEST:: SOT 371607 SOS 116971 HAS SOPS 116971 HAS SOUS 80066 HAS SOUPS 80066 WITH SCORE 80182.971
AT ITER 469 NEW BEST:: SOT 371586 SOS 116866 HAS SOPS 116866 HAS SOUS 80066 HAS SOUPS 80066 WITH SCORE 80182.866
AT ITER 475 NEW BEST:: SOT 371586 SOS 116866 HAS SOPS 116866 HAS SOUS 79966 HAS SOUPS 79966 WITH SCORE 80082.866
AT ITER 476 NEW BEST:: SOT 371564 SOS 116981 HAS SOPS 116981 HAS SOUS 79924 HAS SOUPS 79924 WITH SCORE 80040.981
AT ITER 478 NEW BEST:: SOT 371561 SOS 116940 HAS SOPS 116940 HAS SOUS 79470 HAS SOUPS 79470 WITH SCORE 79586.94
AT ITER 490 NEW BEST:: SOT 371551 SOS 116920 HAS SOPS 116920 HAS SOUS 79370 HAS SOUPS 79370 WITH SCORE 79486.92
AT ITER 493 NEW BEST:: SOT 371534 SOS 116886 HAS SOPS 116886 HAS SOUS 79353 HAS SOUPS 79353 WITH SCORE 79469.886
AT ITER 503 NEW BEST:: SOT 371154 SOS 116506 HAS SOPS 116506 HAS SOUS 78973 HAS SOUPS 78973 WITH SCORE 79089.506
AT ITER 517 NEW BEST:: SOT 371160 SOS 116347 HAS SOPS 116347 HAS SOUS 78972 HAS SOUPS 78972 WITH SCORE 79088.347
AT ITER 518 NEW BEST:: SOT 371160 SOS 116388 HAS SOPS 116388 HAS SOUS 78919 HAS SOUPS 78919 WITH SCORE 79035.388
AT ITER 527 NEW BEST:: SOT 371217 SOS 116502 HAS SOPS 116502 HAS SOUS 78865 HAS SOUPS 78865 WITH SCORE 78981.502
AT ITER 528 NEW BEST:: SOT 371169 SOS 116423 HAS SOPS 116423 HAS SOUS 78662 HAS SOUPS 78662 WITH SCORE 78778.423
AT ITER 529 NEW BEST:: SOT 371188 SOS 116421 HAS SOPS 116421 HAS SOUS 78478 HAS SOUPS 78478 WITH SCORE 78594.421
AT ITER 536 NEW BEST:: SOT 371162 SOS 116369 HAS SOPS 116369 HAS SOUS 78192 HAS SOUPS 78192 WITH SCORE 78308.369
AT ITER 537 NEW BEST:: SOT 370494 SOS 134390 HAS SOPS 134390 HAS SOUS 77983 HAS SOUPS 77983 WITH SCORE 78117.39
AT ITER 538 NEW BEST:: SOT 370598 SOS 134494 HAS SOPS 134494 HAS SOUS 77595 HAS SOUPS 77595 WITH SCORE 77729.494
AT ITER 539 NEW BEST:: SOT 370565 SOS 134533 HAS SOPS 134533 HAS SOUS 77585 HAS SOUPS 77585 WITH SCORE 77719.533
AT ITER 541 NEW BEST:: SOT 370361 SOS 134363 HAS SOPS 134363 HAS SOUS 77328 HAS SOUPS 77328 WITH SCORE 77462.363
AT ITER 542 NEW BEST:: SOT 370361 SOS 134363 HAS SOPS 134363 HAS SOUS 77311 HAS SOUPS 77311 WITH SCORE 77445.363
AT ITER 546 NEW BEST:: SOT 370332 SOS 134334 HAS SOPS 134334 HAS SOUS 77137 HAS SOUPS 77137 WITH SCORE 77271.334
AT ITER 547 NEW BEST:: SOT 370325 SOS 134338 HAS SOPS 134338 HAS SOUS 77105 HAS SOUPS 77105 WITH SCORE 77239.338
AT ITER 548 NEW BEST:: SOT 370144 SOS 134157 HAS SOPS 134157 HAS SOUS 76924 HAS SOUPS 76924 WITH SCORE 77058.157
AT ITER 549 NEW BEST:: SOT 369957 SOS 133970 HAS SOPS 133970 HAS SOUS 76599 HAS SOUPS 76599 WITH SCORE 76732.97
AT ITER 559 NEW BEST:: SOT 369948 SOS 133952 HAS SOPS 133952 HAS SOUS 76599 HAS SOUPS 76599 WITH SCORE 76732.952
AT ITER 567 NEW BEST:: SOT 369959 SOS 133963 HAS SOPS 133963 HAS SOUS 76580 HAS SOUPS 76580 WITH SCORE 76713.963
AT ITER 573 NEW BEST:: SOT 369860 SOS 133873 HAS SOPS 133873 HAS SOUS 76400 HAS SOUPS 76400 WITH SCORE 76533.873
AT ITER 576 NEW BEST:: SOT 369809 SOS 133817 HAS SOPS 133817 HAS SOUS 76348 HAS SOUPS 76348 WITH SCORE 76481.817
AT ITER 579 NEW BEST:: SOT 369888 SOS 133896 HAS SOPS 133896 HAS SOUS 76122 HAS SOUPS 76122 WITH SCORE 76255.896
AT ITER 587 NEW BEST:: SOT 369888 SOS 132027 HAS SOPS 132027 HAS SOUS 76121 HAS SOUPS 76121 WITH SCORE 76253.027
AT ITER 595 NEW BEST:: SOT 369839 SOS 131978 HAS SOPS 131978 HAS SOUS 76072 HAS SOUPS 76072 WITH SCORE 76203.978
AT ITER 610 NEW BEST:: SOT 369802 SOS 131941 HAS SOPS 131941 HAS SOUS 76017 HAS SOUPS 76017 WITH SCORE 76148.941
AT ITER 615 NEW BEST:: SOT 369802 SOS 131758 HAS SOPS 131758 HAS SOUS 76017 HAS SOUPS 76017 WITH SCORE 76148.758
AT ITER 616 NEW BEST:: SOT 368889 SOS 130845 HAS SOPS 130845 HAS SOUS 75120 HAS SOUPS 75120 WITH SCORE 75250.845
AT ITER 620 NEW BEST:: SOT 368897 SOS 130851 HAS SOPS 130851 HAS SOUS 74726 HAS SOUPS 74726 WITH SCORE 74856.851
AT ITER 621 NEW BEST:: SOT 368897 SOS 130851 HAS SOPS 130851 HAS SOUS 74314 HAS SOUPS 74314 WITH SCORE 74444.851
AT ITER 632 NEW BEST:: SOT 368804 SOS 130758 HAS SOPS 130758 HAS SOUS 74221 HAS SOUPS 74221 WITH SCORE 74351.758
AT ITER 646 NEW BEST:: SOT 368804 SOS 130721 HAS SOPS 130721 HAS SOUS 74221 HAS SOUPS 74221 WITH SCORE 74351.721
AT ITER 670 NEW BEST:: SOT 368781 SOS 130534 HAS SOPS 130534 HAS SOUS 74055 HAS SOUPS 74055 WITH SCORE 74185.534
AT ITER 682 NEW BEST:: SOT 368664 SOS 130417 HAS SOPS 130417 HAS SOUS 73906 HAS SOUPS 73906 WITH SCORE 74036.417
AT ITER 685 NEW BEST:: SOT 368714 SOS 130467 HAS SOPS 130467 HAS SOUS 73588 HAS SOUPS 73588 WITH SCORE 73718.467
AT ITER 694 NEW BEST:: SOT 368325 SOS 129887 HAS SOPS 129887 HAS SOUS 73240 HAS SOUPS 73240 WITH SCORE 73369.887
AT ITER 702 NEW BEST:: SOT 368406 SOS 129968 HAS SOPS 129968 HAS SOUS 72987 HAS SOUPS 72987 WITH SCORE 73116.968
AT ITER 708 NEW BEST:: SOT 368558 SOS 130120 HAS SOPS 130120 HAS SOUS 72733 HAS SOUPS 72733 WITH SCORE 72863.12
AT ITER 719 NEW BEST:: SOT 368542 SOS 130104 HAS SOPS 130104 HAS SOUS 72713 HAS SOUPS 72713 WITH SCORE 72843.104
AT ITER 726 NEW BEST:: SOT 368509 SOS 130104 HAS SOPS 130104 HAS SOUS 72683 HAS SOUPS 72683 WITH SCORE 72813.104
AT ITER 731 NEW BEST:: SOT 368509 SOS 130080 HAS SOPS 130080 HAS SOUS 72645 HAS SOUPS 72645 WITH SCORE 72775.08
AT ITER 735 NEW BEST:: SOT 368443 SOS 130014 HAS SOPS 130014 HAS SOUS 72347 HAS SOUPS 72347 WITH SCORE 72477.014
AT ITER 736 NEW BEST:: SOT 368443 SOS 130007 HAS SOPS 130007 HAS SOUS 72273 HAS SOUPS 72273 WITH SCORE 72403.007
AT ITER 743 NEW BEST:: SOT 368401 SOS 129965 HAS SOPS 129965 HAS SOUS 72231 HAS SOUPS 72231 WITH SCORE 72360.965
AT ITER 748 NEW BEST:: SOT 368361 SOS 129870 HAS SOPS 129870 HAS SOUS 72000 HAS SOUPS 72000 WITH SCORE 72129.87
AT ITER 751 NEW BEST:: SOT 368375 SOS 129788 HAS SOPS 129788 HAS SOUS 71951 HAS SOUPS 71951 WITH SCORE 72080.788
AT ITER 757 NEW BEST:: SOT 368300 SOS 129713 HAS SOPS 129713 HAS SOUS 71821 HAS SOUPS 71821 WITH SCORE 71950.713
AT ITER 758 NEW BEST:: SOT 368300 SOS 129713 HAS SOPS 129713 HAS SOUS 71731 HAS SOUPS 71731 WITH SCORE 71860.713
AT ITER 768 NEW BEST:: SOT 368275 SOS 129688 HAS SOPS 129688 HAS SOUS 71331 HAS SOUPS 71331 WITH SCORE 71460.688
AT ITER 775 NEW BEST:: SOT 368213 SOS 129626 HAS SOPS 129626 HAS SOUS 70959 HAS SOUPS 70959 WITH SCORE 71088.626
AT ITER 780 NEW BEST:: SOT 368182 SOS 129595 HAS SOPS 129595 HAS SOUS 70692 HAS SOUPS 70692 WITH SCORE 70821.595
AT ITER 782 NEW BEST:: SOT 368195 SOS 129608 HAS SOPS 129608 HAS SOUS 70653 HAS SOUPS 70653 WITH SCORE 70782.608
AT ITER 783 NEW BEST:: SOT 368516 SOS 129923 HAS SOPS 129923 HAS SOUS 70630 HAS SOUPS 70630 WITH SCORE 70759.923
AT ITER 784 NEW BEST:: SOT 368491 SOS 130874 HAS SOPS 130214 HAS SOUS 70708 HAS SOUPS 70576 WITH SCORE 70706.874
AT ITER 786 NEW BEST:: SOT 368483 SOS 130866 HAS SOPS 130206 HAS SOUS 70432 HAS SOUPS 70300 WITH SCORE 70430.866
AT ITER 787 NEW BEST:: SOT 368469 SOS 130852 HAS SOPS 130192 HAS SOUS 70411 HAS SOUPS 70279 WITH SCORE 70409.852
AT ITER 791 NEW BEST:: SOT 368469 SOS 130853 HAS SOPS 130193 HAS SOUS 70405 HAS SOUPS 70273 WITH SCORE 70403.853
AT ITER 793 NEW BEST:: SOT 368467 SOS 130851 HAS SOPS 130191 HAS SOUS 70403 HAS SOUPS 70271 WITH SCORE 70401.851
AT ITER 803 NEW BEST:: SOT 368426 SOS 130810 HAS SOPS 130150 HAS SOUS 70307 HAS SOUPS 70175 WITH SCORE 70305.81
AT ITER 810 NEW BEST:: SOT 368421 SOS 130805 HAS SOPS 130145 HAS SOUS 70288 HAS SOUPS 70156 WITH SCORE 70286.805
AT ITER 815 NEW BEST:: SOT 368355 SOS 130739 HAS SOPS 130079 HAS SOUS 70217 HAS SOUPS 70085 WITH SCORE 70215.739
AT ITER 816 NEW BEST:: SOT 368324 SOS 130743 HAS SOPS 130083 HAS SOUS 70126 HAS SOUPS 69994 WITH SCORE 70124.743
AT ITER 819 NEW BEST:: SOT 368299 SOS 130718 HAS SOPS 130058 HAS SOUS 70051 HAS SOUPS 69919 WITH SCORE 70049.718
AT ITER 833 NEW BEST:: SOT 368208 SOS 130627 HAS SOPS 129967 HAS SOUS 69585 HAS SOUPS 69453 WITH SCORE 69583.627
AT ITER 840 NEW BEST:: SOT 368186 SOS 130641 HAS SOPS 129981 HAS SOUS 69520 HAS SOUPS 69388 WITH SCORE 69518.641
AT ITER 843 NEW BEST:: SOT 368186 SOS 130641 HAS SOPS 129981 HAS SOUS 69519 HAS SOUPS 69387 WITH SCORE 69517.641
AT ITER 873 NEW BEST:: SOT 368186 SOS 130641 HAS SOPS 129981 HAS SOUS 69511 HAS SOUPS 69379 WITH SCORE 69509.641
AT ITER 891 NEW BEST:: SOT 368173 SOS 130628 HAS SOPS 129968 HAS SOUS 69498 HAS SOUPS 69366 WITH SCORE 69496.628
AT ITER 894 NEW BEST:: SOT 368169 SOS 130624 HAS SOPS 129964 HAS SOUS 69482 HAS SOUPS 69350 WITH SCORE 69480.624
AT ITER 904 NEW BEST:: SOT 368147 SOS 130602 HAS SOPS 129942 HAS SOUS 69397 HAS SOUPS 69265 WITH SCORE 69395.602
AT ITER 925 NEW BEST:: SOT 368160 SOS 130615 HAS SOPS 129955 HAS SOUS 69293 HAS SOUPS 69161 WITH SCORE 69291.615
AT ITER 933 NEW BEST:: SOT 367982 SOS 130437 HAS SOPS 129777 HAS SOUS 69090 HAS SOUPS 68958 WITH SCORE 69088.437
AT ITER 941 NEW BEST:: SOT 368029 SOS 130484 HAS SOPS 129824 HAS SOUS 69057 HAS SOUPS 68925 WITH SCORE 69055.484
AT ITER 946 NEW BEST:: SOT 368011 SOS 130465 HAS SOPS 129805 HAS SOUS 69038 HAS SOUPS 68906 WITH SCORE 69036.465
AT ITER 947 NEW BEST:: SOT 367841 SOS 130295 HAS SOPS 129635 HAS SOUS 68868 HAS SOUPS 68736 WITH SCORE 68866.295
AT ITER 948 NEW BEST:: SOT 367841 SOS 133727 HAS SOPS 133067 HAS SOUS 68856 HAS SOUPS 68724 WITH SCORE 68857.727
AT ITER 960 NEW BEST:: SOT 368017 SOS 133903 HAS SOPS 133243 HAS SOUS 68492 HAS SOUPS 68360 WITH SCORE 68493.903
AT ITER 970 NEW BEST:: SOT 368051 SOS 133954 HAS SOPS 133294 HAS SOUS 68412 HAS SOUPS 68280 WITH SCORE 68413.954
AT ITER 975 NEW BEST:: SOT 368061 SOS 133929 HAS SOPS 133269 HAS SOUS 68274 HAS SOUPS 68142 WITH SCORE 68275.929
AT ITER 983 NEW BEST:: SOT 368034 SOS 133902 HAS SOPS 133242 HAS SOUS 68137 HAS SOUPS 68005 WITH SCORE 68138.902
AT ITER 987 NEW BEST:: SOT 367979 SOS 133847 HAS SOPS 133187 HAS SOUS 67994 HAS SOUPS 67862 WITH SCORE 67995.847
AT ITER 990 NEW BEST:: SOT 367978 SOS 133846 HAS SOPS 133186 HAS SOUS 67993 HAS SOUPS 67861 WITH SCORE 67994.846
AT ITER 991 NEW BEST:: SOT 367978 SOS 133846 HAS SOPS 133186 HAS SOUS 67963 HAS SOUPS 67831 WITH SCORE 67964.846
AT ITER 1010 NEW BEST:: SOT 367836 SOS 133704 HAS SOPS 133044 HAS SOUS 67861 HAS SOUPS 67729 WITH SCORE 67862.704
AT ITER 1017 NEW BEST:: SOT 367804 SOS 133640 HAS SOPS 132980 HAS SOUS 67797 HAS SOUPS 67665 WITH SCORE 67798.64
AT ITER 1020 NEW BEST:: SOT 367741 SOS 133577 HAS SOPS 132917 HAS SOUS 67734 HAS SOUPS 67602 WITH SCORE 67735.577
AT ITER 1021 NEW BEST:: SOT 367667 SOS 133503 HAS SOPS 132843 HAS SOUS 67660 HAS SOUPS 67528 WITH SCORE 67661.503
AT ITER 1026 NEW BEST:: SOT 367658 SOS 133492 HAS SOPS 132832 HAS SOUS 67649 HAS SOUPS 67517 WITH SCORE 67650.492
AT ITER 1035 NEW BEST:: SOT 367658 SOS 133465 HAS SOPS 132805 HAS SOUS 67622 HAS SOUPS 67490 WITH SCORE 67623.465
AT ITER 1043 NEW BEST:: SOT 367614 SOS 132771 HAS SOPS 132486 HAS SOUS 67523 HAS SOUPS 67466 WITH SCORE 67598.771
AT ITER 1045 NEW BEST:: SOT 367614 SOS 132740 HAS SOPS 132455 HAS SOUS 67416 HAS SOUPS 67359 WITH SCORE 67491.74
AT ITER 1048 NEW BEST:: SOT 367595 SOS 149752 HAS SOPS 149467 HAS SOUS 67334 HAS SOUPS 67277 WITH SCORE 67426.752
AT ITER 1090 NEW BEST:: SOT 367919 SOS 150076 HAS SOPS 149791 HAS SOUS 67274 HAS SOUPS 67217 WITH SCORE 67367.076
AT ITER 1094 NEW BEST:: SOT 367875 SOS 150032 HAS SOPS 149747 HAS SOUS 67186 HAS SOUPS 67129 WITH SCORE 67279.032
AT ITER 1096 NEW BEST:: SOT 367857 SOS 150014 HAS SOPS 149729 HAS SOUS 67138 HAS SOUPS 67081 WITH SCORE 67231.014
AT ITER 1106 NEW BEST:: SOT 367941 SOS 150098 HAS SOPS 149813 HAS SOUS 66986 HAS SOUPS 66929 WITH SCORE 67079.098
AT ITER 1109 NEW BEST:: SOT 367880 SOS 150037 HAS SOPS 149752 HAS SOUS 66560 HAS SOUPS 66503 WITH SCORE 66653.037
AT ITER 1118 NEW BEST:: SOT 367841 SOS 149998 HAS SOPS 149713 HAS SOUS 66521 HAS SOUPS 66464 WITH SCORE 66613.998
AT ITER 1129 NEW BEST:: SOT 367853 SOS 149920 HAS SOPS 149635 HAS SOUS 66494 HAS SOUPS 66437 WITH SCORE 66586.92
AT ITER 1158 NEW BEST:: SOT 367853 SOS 149920 HAS SOPS 149635 HAS SOUS 66471 HAS SOUPS 66414 WITH SCORE 66563.92
AT ITER 1160 NEW BEST:: SOT 367816 SOS 149883 HAS SOPS 149598 HAS SOUS 66411 HAS SOUPS 66354 WITH SCORE 66503.883
AT ITER 1172 NEW BEST:: SOT 367798 SOS 149865 HAS SOPS 149580 HAS SOUS 66369 HAS SOUPS 66312 WITH SCORE 66461.865
AT ITER 1173 NEW BEST:: SOT 367769 SOS 149807 HAS SOPS 149522 HAS SOUS 66311 HAS SOUPS 66254 WITH SCORE 66403.807
AT ITER 1174 NEW BEST:: SOT 367779 SOS 149817 HAS SOPS 149532 HAS SOUS 66303 HAS SOUPS 66246 WITH SCORE 66395.817
AT ITER 1176 NEW BEST:: SOT 367735 SOS 149773 HAS SOPS 149488 HAS SOUS 66190 HAS SOUPS 66133 WITH SCORE 66282.773
AT ITER 1180 NEW BEST:: SOT 367735 SOS 149773 HAS SOPS 149488 HAS SOUS 66162 HAS SOUPS 66105 WITH SCORE 66254.773
AT ITER 1182 NEW BEST:: SOT 367735 SOS 149749 HAS SOPS 149464 HAS SOUS 66162 HAS SOUPS 66105 WITH SCORE 66254.749
AT ITER 1200 NEW BEST:: SOT 367735 SOS 149749 HAS SOPS 149464 HAS SOUS 66157 HAS SOUPS 66100 WITH SCORE 66249.749
AT ITER 1207 NEW BEST:: SOT 367735 SOS 149737 HAS SOPS 149452 HAS SOUS 66157 HAS SOUPS 66100 WITH SCORE 66249.737
AT ITER 1229 NEW BEST:: SOT 367705 SOS 149717 HAS SOPS 149432 HAS SOUS 66137 HAS SOUPS 66080 WITH SCORE 66229.717
AT ITER 1232 NEW BEST:: SOT 367797 SOS 149809 HAS SOPS 149524 HAS SOUS 65890 HAS SOUPS 65833 WITH SCORE 65982.809
AT ITER 1233 NEW BEST:: SOT 367757 SOS 149769 HAS SOPS 149484 HAS SOUS 65850 HAS SOUPS 65793 WITH SCORE 65942.769
AT ITER 1244 NEW BEST:: SOT 367757 SOS 149714 HAS SOPS 149429 HAS SOUS 65814 HAS SOUPS 65757 WITH SCORE 65906.714
AT ITER 1246 NEW BEST:: SOT 367757 SOS 149714 HAS SOPS 149429 HAS SOUS 65811 HAS SOUPS 65754 WITH SCORE 65903.714
AT ITER 1253 NEW BEST:: SOT 367787 SOS 149744 HAS SOPS 149459 HAS SOUS 65728 HAS SOUPS 65671 WITH SCORE 65820.744
AT ITER 1256 NEW BEST:: SOT 367786 SOS 149743 HAS SOPS 149458 HAS SOUS 65727 HAS SOUPS 65670 WITH SCORE 65819.743
AT ITER 1260 NEW BEST:: SOT 367732 SOS 149689 HAS SOPS 149404 HAS SOUS 65656 HAS SOUPS 65599 WITH SCORE 65748.689
AT ITER 1270 NEW BEST:: SOT 367707 SOS 149664 HAS SOPS 149379 HAS SOUS 65584 HAS SOUPS 65527 WITH SCORE 65676.664
AT ITER 1281 NEW BEST:: SOT 367707 SOS 149664 HAS SOPS 149379 HAS SOUS 65552 HAS SOUPS 65495 WITH SCORE 65644.664
AT ITER 1300 NEW BEST:: SOT 367669 SOS 149626 HAS SOPS 149341 HAS SOUS 65309 HAS SOUPS 65252 WITH SCORE 65401.626
AT ITER 1314 NEW BEST:: SOT 367684 SOS 149584 HAS SOPS 149299 HAS SOUS 65303 HAS SOUPS 65246 WITH SCORE 65395.584
AT ITER 1319 NEW BEST:: SOT 367684 SOS 149545 HAS SOPS 149260 HAS SOUS 65270 HAS SOUPS 65213 WITH SCORE 65362.545
AT ITER 1330 NEW BEST:: SOT 367627 SOS 149435 HAS SOPS 149150 HAS SOUS 65168 HAS SOUPS 65111 WITH SCORE 65260.435
AT ITER 1343 NEW BEST:: SOT 367619 SOS 149427 HAS SOPS 149142 HAS SOUS 65160 HAS SOUPS 65103 WITH SCORE 65252.427
AT ITER 1360 NEW BEST:: SOT 367645 SOS 149453 HAS SOPS 149168 HAS SOUS 65036 HAS SOUPS 64979 WITH SCORE 65128.453
AT ITER 1367 NEW BEST:: SOT 367645 SOS 149448 HAS SOPS 149163 HAS SOUS 65031 HAS SOUPS 64974 WITH SCORE 65123.448
AT ITER 1368 NEW BEST:: SOT 367843 SOS 149646 HAS SOPS 149361 HAS SOUS 64936 HAS SOUPS 64879 WITH SCORE 65028.646
AT ITER 1370 NEW BEST:: SOT 367840 SOS 149634 HAS SOPS 149349 HAS SOUS 64936 HAS SOUPS 64879 WITH SCORE 65028.634
AT ITER 1377 NEW BEST:: SOT 367784 SOS 149578 HAS SOPS 149293 HAS SOUS 64569 HAS SOUPS 64512 WITH SCORE 64661.578
AT ITER 1388 NEW BEST:: SOT 367763 SOS 149477 HAS SOPS 149192 HAS SOUS 64548 HAS SOUPS 64491 WITH SCORE 64640.477
AT ITER 1393 NEW BEST:: SOT 367523 SOS 150237 HAS SOPS 149952 HAS SOUS 64413 HAS SOUPS 64356 WITH SCORE 64506.237
AT ITER 1401 NEW BEST:: SOT 367503 SOS 150312 HAS SOPS 150027 HAS SOUS 64373 HAS SOUPS 64316 WITH SCORE 64466.312
AT ITER 1406 NEW BEST:: SOT 367536 SOS 150345 HAS SOPS 150060 HAS SOUS 64331 HAS SOUPS 64274 WITH SCORE 64424.345
AT ITER 1435 NEW BEST:: SOT 365271 SOS 148151 HAS SOPS 147866 HAS SOUS 62083 HAS SOUPS 62026 WITH SCORE 62174.151
AT ITER 1444 NEW BEST:: SOT 365268 SOS 148148 HAS SOPS 147863 HAS SOUS 62077 HAS SOUPS 62020 WITH SCORE 62168.148
AT ITER 1459 NEW BEST:: SOT 365268 SOS 148148 HAS SOPS 147863 HAS SOUS 62049 HAS SOUPS 61992 WITH SCORE 62140.148
AT ITER 1462 NEW BEST:: SOT 365194 SOS 148074 HAS SOPS 147789 HAS SOUS 61942 HAS SOUPS 61885 WITH SCORE 62033.074
AT ITER 1464 NEW BEST:: SOT 365194 SOS 148074 HAS SOPS 147789 HAS SOUS 61827 HAS SOUPS 61770 WITH SCORE 61918.074
AT ITER 1465 NEW BEST:: SOT 365143 SOS 148017 HAS SOPS 147732 HAS SOUS 61746 HAS SOUPS 61689 WITH SCORE 61837.017
AT ITER 1466 NEW BEST:: SOT 365262 SOS 148136 HAS SOPS 147851 HAS SOUS 61555 HAS SOUPS 61498 WITH SCORE 61646.136
AT ITER 1467 NEW BEST:: SOT 365247 SOS 148207 HAS SOPS 147922 HAS SOUS 61525 HAS SOUPS 61468 WITH SCORE 61616.207
AT ITER 1475 NEW BEST:: SOT 365154 SOS 148114 HAS SOPS 147829 HAS SOUS 61463 HAS SOUPS 61406 WITH SCORE 61554.114
AT ITER 1483 NEW BEST:: SOT 365152 SOS 148104 HAS SOPS 147819 HAS SOUS 61453 HAS SOUPS 61396 WITH SCORE 61544.104
AT ITER 1485 NEW BEST:: SOT 365136 SOS 148088 HAS SOPS 147803 HAS SOUS 61421 HAS SOUPS 61364 WITH SCORE 61512.088
AT ITER 1515 NEW BEST:: SOT 365119 SOS 148071 HAS SOPS 147786 HAS SOUS 61404 HAS SOUPS 61347 WITH SCORE 61495.071
AT ITER 1525 NEW BEST:: SOT 365097 SOS 148130 HAS SOPS 147845 HAS SOUS 61360 HAS SOUPS 61303 WITH SCORE 61451.13
AT ITER 1549 NEW BEST:: SOT 365054 SOS 148116 HAS SOPS 147831 HAS SOUS 61288 HAS SOUPS 61231 WITH SCORE 61379.116
AT ITER 1567 NEW BEST:: SOT 365057 SOS 148119 HAS SOPS 147834 HAS SOUS 61281 HAS SOUPS 61224 WITH SCORE 61372.119
AT ITER 1580 NEW BEST:: SOT 364966 SOS 148087 HAS SOPS 147802 HAS SOUS 61248 HAS SOUPS 61191 WITH SCORE 61339.087
AT ITER 1581 NEW BEST:: SOT 364962 SOS 148083 HAS SOPS 147798 HAS SOUS 61244 HAS SOUPS 61187 WITH SCORE 61335.083
AT ITER 1622 NEW BEST:: SOT 364959 SOS 148083 HAS SOPS 147798 HAS SOUS 61238 HAS SOUPS 61181 WITH SCORE 61329.083
AT ITER 1623 NEW BEST:: SOT 364913 SOS 148083 HAS SOPS 147798 HAS SOUS 61146 HAS SOUPS 61089 WITH SCORE 61237.083
AT ITER 1627 NEW BEST:: SOT 364791 SOS 147961 HAS SOPS 147676 HAS SOUS 60990 HAS SOUPS 60933 WITH SCORE 61080.961
AT ITER 1647 NEW BEST:: SOT 364791 SOS 147961 HAS SOPS 147676 HAS SOUS 60902 HAS SOUPS 60845 WITH SCORE 60992.961
AT ITER 1665 NEW BEST:: SOT 364769 SOS 147939 HAS SOPS 147654 HAS SOUS 60858 HAS SOUPS 60801 WITH SCORE 60948.939
AT ITER 1680 NEW BEST:: SOT 364754 SOS 147924 HAS SOPS 147639 HAS SOUS 60858 HAS SOUPS 60801 WITH SCORE 60948.924
AT ITER 1708 NEW BEST:: SOT 364738 SOS 147908 HAS SOPS 147623 HAS SOUS 60802 HAS SOUPS 60745 WITH SCORE 60892.908
AT ITER 1742 NEW BEST:: SOT 364682 SOS 147852 HAS SOPS 147567 HAS SOUS 60702 HAS SOUPS 60645 WITH SCORE 60792.852
AT ITER 1745 NEW BEST:: SOT 364638 SOS 147789 HAS SOPS 147504 HAS SOUS 60664 HAS SOUPS 60607 WITH SCORE 60754.789
AT ITER 1748 NEW BEST:: SOT 364635 SOS 147786 HAS SOPS 147501 HAS SOUS 60594 HAS SOUPS 60537 WITH SCORE 60684.786
AT ITER 1751 NEW BEST:: SOT 364634 SOS 147785 HAS SOPS 147500 HAS SOUS 60582 HAS SOUPS 60525 WITH SCORE 60672.785
AT ITER 1752 NEW BEST:: SOT 364628 SOS 147779 HAS SOPS 147494 HAS SOUS 60552 HAS SOUPS 60495 WITH SCORE 60642.779
AT ITER 1760 NEW BEST:: SOT 364612 SOS 147763 HAS SOPS 147478 HAS SOUS 60474 HAS SOUPS 60417 WITH SCORE 60564.763
AT ITER 1800 NEW BEST:: SOT 364669 SOS 147820 HAS SOPS 147535 HAS SOUS 60252 HAS SOUPS 60195 WITH SCORE 60342.82
AT ITER 1805 NEW BEST:: SOT 364665 SOS 147816 HAS SOPS 147531 HAS SOUS 60248 HAS SOUPS 60191 WITH SCORE 60338.816
AT ITER 1816 NEW BEST:: SOT 364572 SOS 147723 HAS SOPS 147438 HAS SOUS 59997 HAS SOUPS 59940 WITH SCORE 60087.723
AT ITER 1833 NEW BEST:: SOT 364571 SOS 147722 HAS SOPS 147437 HAS SOUS 59883 HAS SOUPS 59826 WITH SCORE 59973.722
AT ITER 1835 NEW BEST:: SOT 364527 SOS 147678 HAS SOPS 147393 HAS SOUS 59839 HAS SOUPS 59782 WITH SCORE 59929.678
AT ITER 1879 NEW BEST:: SOT 364497 SOS 147648 HAS SOPS 147363 HAS SOUS 59695 HAS SOUPS 59638 WITH SCORE 59785.648
AT ITER 1889 NEW BEST:: SOT 364460 SOS 147673 HAS SOPS 147388 HAS SOUS 59628 HAS SOUPS 59571 WITH SCORE 59718.673
AT ITER 1891 NEW BEST:: SOT 364289 SOS 147502 HAS SOPS 147217 HAS SOUS 59463 HAS SOUPS 59406 WITH SCORE 59553.502
AT ITER 1900 NEW BEST:: SOT 364272 SOS 147485 HAS SOPS 147200 HAS SOUS 59393 HAS SOUPS 59336 WITH SCORE 59483.485
AT ITER 1948 NEW BEST:: SOT 364228 SOS 147463 HAS SOPS 147178 HAS SOUS 59349 HAS SOUPS 59292 WITH SCORE 59439.463
AT ITER 1952 NEW BEST:: SOT 364208 SOS 147461 HAS SOPS 147176 HAS SOUS 59183 HAS SOUPS 59126 WITH SCORE 59273.461
AT ITER 1954 NEW BEST:: SOT 364174 SOS 147427 HAS SOPS 147142 HAS SOUS 59055 HAS SOUPS 58998 WITH SCORE 59145.427
AT ITER 1970 NEW BEST:: SOT 364174 SOS 147375 HAS SOPS 147090 HAS SOUS 59055 HAS SOUPS 58998 WITH SCORE 59145.375
AT ITER 1971 NEW BEST:: SOT 364138 SOS 147528 HAS SOPS 147243 HAS SOUS 58983 HAS SOUPS 58926 WITH SCORE 59073.528
AT ITER 1982 NEW BEST:: SOT 364086 SOS 147476 HAS SOPS 147191 HAS SOUS 58973 HAS SOUPS 58916 WITH SCORE 59063.476
AT ITER 1987 NEW BEST:: SOT 364086 SOS 147476 HAS SOPS 147191 HAS SOUS 58966 HAS SOUPS 58909 WITH SCORE 59056.476
AT ITER 1999 NEW BEST:: SOT 364086 SOS 147468 HAS SOPS 147183 HAS SOUS 58958 HAS SOUPS 58901 WITH SCORE 59048.468
AT ITER 2004 NEW BEST:: SOT 364016 SOS 147398 HAS SOPS 147113 HAS SOUS 58888 HAS SOUPS 58831 WITH SCORE 58978.398
AT ITER 2008 NEW BEST:: SOT 364033 SOS 147415 HAS SOPS 147130 HAS SOUS 58835 HAS SOUPS 58778 WITH SCORE 58925.415
AT ITER 2011 NEW BEST:: SOT 363991 SOS 147373 HAS SOPS 147088 HAS SOUS 58793 HAS SOUPS 58736 WITH SCORE 58883.373
AT ITER 2037 NEW BEST:: SOT 363972 SOS 147357 HAS SOPS 147072 HAS SOUS 58777 HAS SOUPS 58720 WITH SCORE 58867.357
AT ITER 2038 NEW BEST:: SOT 363970 SOS 147355 HAS SOPS 147070 HAS SOUS 58767 HAS SOUPS 58710 WITH SCORE 58857.355
AT ITER 2041 NEW BEST:: SOT 363952 SOS 147331 HAS SOPS 147046 HAS SOUS 58743 HAS SOUPS 58686 WITH SCORE 58833.331
AT ITER 2053 NEW BEST:: SOT 363939 SOS 147318 HAS SOPS 147033 HAS SOUS 58725 HAS SOUPS 58668 WITH SCORE 58815.318
AT ITER 2063 NEW BEST:: SOT 363939 SOS 147307 HAS SOPS 147022 HAS SOUS 58644 HAS SOUPS 58587 WITH SCORE 58734.307
AT ITER 2068 NEW BEST:: SOT 363927 SOS 147295 HAS SOPS 147010 HAS SOUS 58584 HAS SOUPS 58527 WITH SCORE 58674.295
AT ITER 2085 NEW BEST:: SOT 363850 SOS 147202 HAS SOPS 146917 HAS SOUS 58491 HAS SOUPS 58434 WITH SCORE 58581.202
AT ITER 2086 NEW BEST:: SOT 352714 SOS 222451 HAS SOPS 222166 HAS SOUS 58339 HAS SOUPS 58282 WITH SCORE 58504.451
AT ITER 2113 NEW BEST:: SOT 352657 SOS 174366 HAS SOPS 174081 HAS SOUS 57912 HAS SOUPS 57855 WITH SCORE 58029.366
AT ITER 2115 NEW BEST:: SOT 352761 SOS 174470 HAS SOPS 174185 HAS SOUS 57620 HAS SOUPS 57563 WITH SCORE 57737.47
AT ITER 2121 NEW BEST:: SOT 352705 SOS 174414 HAS SOPS 174129 HAS SOUS 57592 HAS SOUPS 57535 WITH SCORE 57709.414
AT ITER 2136 NEW BEST:: SOT 352703 SOS 174412 HAS SOPS 174127 HAS SOUS 57590 HAS SOUPS 57533 WITH SCORE 57707.412
AT ITER 2160 NEW BEST:: SOT 352703 SOS 174412 HAS SOPS 174127 HAS SOUS 57365 HAS SOUPS 57308 WITH SCORE 57482.412
AT ITER 2161 NEW BEST:: SOT 352709 SOS 174395 HAS SOPS 174110 HAS SOUS 57313 HAS SOUPS 57256 WITH SCORE 57430.395
AT ITER 2167 NEW BEST:: SOT 352607 SOS 174293 HAS SOPS 174008 HAS SOUS 57109 HAS SOUPS 57052 WITH SCORE 57226.293
AT ITER 2189 NEW BEST:: SOT 352585 SOS 174271 HAS SOPS 173986 HAS SOUS 57094 HAS SOUPS 57037 WITH SCORE 57211.271
AT ITER 2194 NEW BEST:: SOT 352675 SOS 174361 HAS SOPS 174076 HAS SOUS 56996 HAS SOUPS 56939 WITH SCORE 57113.361
AT ITER 2213 NEW BEST:: SOT 352663 SOS 174349 HAS SOPS 174064 HAS SOUS 56984 HAS SOUPS 56927 WITH SCORE 57101.349
AT ITER 2216 NEW BEST:: SOT 352642 SOS 174328 HAS SOPS 174043 HAS SOUS 56942 HAS SOUPS 56885 WITH SCORE 57059.328
AT ITER 2225 NEW BEST:: SOT 352626 SOS 174312 HAS SOPS 174027 HAS SOUS 56926 HAS SOUPS 56869 WITH SCORE 57043.312
AT ITER 2228 NEW BEST:: SOT 352510 SOS 174239 HAS SOPS 173954 HAS SOUS 56847 HAS SOUPS 56790 WITH SCORE 56964.239
AT ITER 2241 NEW BEST:: SOT 352474 SOS 174203 HAS SOPS 173918 HAS SOUS 56652 HAS SOUPS 56595 WITH SCORE 56769.203
AT ITER 2260 NEW BEST:: SOT 352471 SOS 174188 HAS SOPS 173903 HAS SOUS 56646 HAS SOUPS 56589 WITH SCORE 56763.188
AT ITER 2266 NEW BEST:: SOT 352464 SOS 174181 HAS SOPS 173896 HAS SOUS 56632 HAS SOUPS 56575 WITH SCORE 56749.181
AT ITER 2278 NEW BEST:: SOT 352458 SOS 174169 HAS SOPS 173884 HAS SOUS 56608 HAS SOUPS 56551 WITH SCORE 56725.169
AT ITER 2287 NEW BEST:: SOT 352457 SOS 174168 HAS SOPS 173883 HAS SOUS 56481 HAS SOUPS 56424 WITH SCORE 56598.168
AT ITER 2296 NEW BEST:: SOT 352420 SOS 174131 HAS SOPS 173846 HAS SOUS 56407 HAS SOUPS 56350 WITH SCORE 56524.131
AT ITER 2300 NEW BEST:: SOT 352424 SOS 174135 HAS SOPS 173850 HAS SOUS 56365 HAS SOUPS 56308 WITH SCORE 56482.135
AT ITER 2307 NEW BEST:: SOT 352422 SOS 174133 HAS SOPS 173848 HAS SOUS 56361 HAS SOUPS 56304 WITH SCORE 56478.133
AT ITER 2318 NEW BEST:: SOT 352233 SOS 174086 HAS SOPS 173801 HAS SOUS 56267 HAS SOUPS 56210 WITH SCORE 56384.086
AT ITER 2340 NEW BEST:: SOT 352134 SOS 173987 HAS SOPS 173702 HAS SOUS 56226 HAS SOUPS 56169 WITH SCORE 56342.987
AT ITER 2359 NEW BEST:: SOT 352116 SOS 173951 HAS SOPS 173666 HAS SOUS 56200 HAS SOUPS 56143 WITH SCORE 56316.951
AT ITER 2394 NEW BEST:: SOT 352000 SOS 173835 HAS SOPS 173550 HAS SOUS 56084 HAS SOUPS 56027 WITH SCORE 56200.835
AT ITER 2406 NEW BEST:: SOT 352000 SOS 173835 HAS SOPS 173550 HAS SOUS 56077 HAS SOUPS 56020 WITH SCORE 56193.835
AT ITER 2426 NEW BEST:: SOT 351999 SOS 173834 HAS SOPS 173549 HAS SOUS 56077 HAS SOUPS 56020 WITH SCORE 56193.834
AT ITER 2428 NEW BEST:: SOT 352003 SOS 173838 HAS SOPS 173553 HAS SOUS 56059 HAS SOUPS 56002 WITH SCORE 56175.838
AT ITER 2435 NEW BEST:: SOT 352010 SOS 173817 HAS SOPS 173532 HAS SOUS 56040 HAS SOUPS 55983 WITH SCORE 56156.817
AT ITER 2439 NEW BEST:: SOT 351976 SOS 173783 HAS SOPS 173498 HAS SOUS 55980 HAS SOUPS 55923 WITH SCORE 56096.783
AT ITER 2451 NEW BEST:: SOT 351973 SOS 173780 HAS SOPS 173495 HAS SOUS 55977 HAS SOUPS 55920 WITH SCORE 56093.78
AT ITER 2461 NEW BEST:: SOT 351962 SOS 173769 HAS SOPS 173484 HAS SOUS 55966 HAS SOUPS 55909 WITH SCORE 56082.769
AT ITER 2495 NEW BEST:: SOT 351894 SOS 173701 HAS SOPS 173416 HAS SOUS 55898 HAS SOUPS 55841 WITH SCORE 56014.701
AT ITER 2499 NEW BEST:: SOT 351905 SOS 173712 HAS SOPS 173427 HAS SOUS 55746 HAS SOUPS 55689 WITH SCORE 55862.712
AT ITER 2503 NEW BEST:: SOT 351915 SOS 173722 HAS SOPS 173437 HAS SOUS 55736 HAS SOUPS 55679 WITH SCORE 55852.722
AT ITER 2510 NEW BEST:: SOT 351912 SOS 173719 HAS SOPS 173434 HAS SOUS 55733 HAS SOUPS 55676 WITH SCORE 55849.719
AT ITER 2526 NEW BEST:: SOT 351851 SOS 173658 HAS SOPS 173373 HAS SOUS 55367 HAS SOUPS 55310 WITH SCORE 55483.658
AT ITER 2531 NEW BEST:: SOT 351879 SOS 173686 HAS SOPS 173401 HAS SOUS 55364 HAS SOUPS 55307 WITH SCORE 55480.686
AT ITER 2538 NEW BEST:: SOT 351878 SOS 173685 HAS SOPS 173400 HAS SOUS 55353 HAS SOUPS 55296 WITH SCORE 55469.685
AT ITER 2545 NEW BEST:: SOT 351864 SOS 173671 HAS SOPS 173386 HAS SOUS 55325 HAS SOUPS 55268 WITH SCORE 55441.671
AT ITER 2555 NEW BEST:: SOT 351872 SOS 173587 HAS SOPS 173302 HAS SOUS 55318 HAS SOUPS 55261 WITH SCORE 55434.587
AT ITER 2561 NEW BEST:: SOT 351870 SOS 173599 HAS SOPS 173314 HAS SOUS 55314 HAS SOUPS 55257 WITH SCORE 55430.599
AT ITER 2563 NEW BEST:: SOT 351825 SOS 173554 HAS SOPS 173269 HAS SOUS 55299 HAS SOUPS 55242 WITH SCORE 55415.554
AT ITER 2578 NEW BEST:: SOT 351809 SOS 173557 HAS SOPS 173272 HAS SOUS 55264 HAS SOUPS 55207 WITH SCORE 55380.557
AT ITER 2589 NEW BEST:: SOT 351617 SOS 173365 HAS SOPS 173080 HAS SOUS 54880 HAS SOUPS 54823 WITH SCORE 54996.365
AT ITER 2604 NEW BEST:: SOT 351615 SOS 173361 HAS SOPS 173076 HAS SOUS 54878 HAS SOUPS 54821 WITH SCORE 54994.361
AT ITER 2608 NEW BEST:: SOT 351619 SOS 173401 HAS SOPS 173116 HAS SOUS 54872 HAS SOUPS 54815 WITH SCORE 54988.401
AT ITER 2617 NEW BEST:: SOT 351569 SOS 173351 HAS SOPS 173066 HAS SOUS 54822 HAS SOUPS 54765 WITH SCORE 54938.351
AT ITER 2621 NEW BEST:: SOT 351569 SOS 173347 HAS SOPS 173062 HAS SOUS 54822 HAS SOUPS 54765 WITH SCORE 54938.347
AT ITER 2643 NEW BEST:: SOT 351531 SOS 173309 HAS SOPS 173024 HAS SOUS 54711 HAS SOUPS 54654 WITH SCORE 54827.309
AT ITER 2647 NEW BEST:: SOT 351515 SOS 173293 HAS SOPS 173008 HAS SOUS 54706 HAS SOUPS 54649 WITH SCORE 54822.293
AT ITER 2669 NEW BEST:: SOT 351444 SOS 173222 HAS SOPS 172937 HAS SOUS 54206 HAS SOUPS 54149 WITH SCORE 54322.222
AT ITER 2678 NEW BEST:: SOT 351444 SOS 173222 HAS SOPS 172937 HAS SOUS 54157 HAS SOUPS 54100 WITH SCORE 54273.222
AT ITER 2697 NEW BEST:: SOT 351443 SOS 173222 HAS SOPS 172937 HAS SOUS 54155 HAS SOUPS 54098 WITH SCORE 54271.222
AT ITER 2729 NEW BEST:: SOT 351441 SOS 160616 HAS SOPS 160331 HAS SOUS 54050 HAS SOUPS 53993 WITH SCORE 54153.616
AT ITER 2765 NEW BEST:: SOT 351441 SOS 160616 HAS SOPS 160331 HAS SOUS 54037 HAS SOUPS 53980 WITH SCORE 54140.616
AT ITER 2790 NEW BEST:: SOT 351396 SOS 160571 HAS SOPS 160286 HAS SOUS 53947 HAS SOUPS 53890 WITH SCORE 54050.571
AT ITER 2793 NEW BEST:: SOT 351396 SOS 162766 HAS SOPS 162481 HAS SOUS 53919 HAS SOUPS 53862 WITH SCORE 54024.766
AT ITER 2800 NEW BEST:: SOT 351381 SOS 162751 HAS SOPS 162466 HAS SOUS 53904 HAS SOUPS 53847 WITH SCORE 54009.751
AT ITER 2801 NEW BEST:: SOT 351208 SOS 162713 HAS SOPS 162428 HAS SOUS 53840 HAS SOUPS 53783 WITH SCORE 53945.713
AT ITER 2804 NEW BEST:: SOT 351208 SOS 162713 HAS SOPS 162428 HAS SOUS 53815 HAS SOUPS 53758 WITH SCORE 53920.713
AT ITER 2827 NEW BEST:: SOT 351205 SOS 162710 HAS SOPS 162425 HAS SOUS 53803 HAS SOUPS 53746 WITH SCORE 53908.71
AT ITER 2841 NEW BEST:: SOT 351197 SOS 162702 HAS SOPS 162417 HAS SOUS 53795 HAS SOUPS 53738 WITH SCORE 53900.702
AT ITER 2848 NEW BEST:: SOT 351141 SOS 162646 HAS SOPS 162361 HAS SOUS 53554 HAS SOUPS 53497 WITH SCORE 53659.646
AT ITER 2863 NEW BEST:: SOT 351141 SOS 162646 HAS SOPS 162361 HAS SOUS 53539 HAS SOUPS 53482 WITH SCORE 53644.646
AT ITER 2878 NEW BEST:: SOT 351128 SOS 162645 HAS SOPS 162360 HAS SOUS 53538 HAS SOUPS 53481 WITH SCORE 53643.645
AT ITER 2879 NEW BEST:: SOT 351128 SOS 162645 HAS SOPS 162360 HAS SOUS 53523 HAS SOUPS 53466 WITH SCORE 53628.645
AT ITER 2909 NEW BEST:: SOT 351128 SOS 162621 HAS SOPS 162336 HAS SOUS 53523 HAS SOUPS 53466 WITH SCORE 53628.621
AT ITER 2916 NEW BEST:: SOT 351143 SOS 162636 HAS SOPS 162351 HAS SOUS 53493 HAS SOUPS 53436 WITH SCORE 53598.636
AT ITER 2957 NEW BEST:: SOT 351128 SOS 162621 HAS SOPS 162336 HAS SOUS 53475 HAS SOUPS 53418 WITH SCORE 53580.621
AT ITER 2972 NEW BEST:: SOT 351124 SOS 162617 HAS SOPS 162332 HAS SOUS 53464 HAS SOUPS 53407 WITH SCORE 53569.617
AT ITER 3013 NEW BEST:: SOT 351043 SOS 162536 HAS SOPS 162251 HAS SOUS 53316 HAS SOUPS 53259 WITH SCORE 53421.536
AT ITER 3024 NEW BEST:: SOT 351043 SOS 162502 HAS SOPS 162217 HAS SOUS 53267 HAS SOUPS 53210 WITH SCORE 53372.502
AT ITER 3039 NEW BEST:: SOT 351030 SOS 162489 HAS SOPS 162204 HAS SOUS 53232 HAS SOUPS 53175 WITH SCORE 53337.489
AT ITER 3047 NEW BEST:: SOT 351293 SOS 162752 HAS SOPS 162467 HAS SOUS 53203 HAS SOUPS 53146 WITH SCORE 53308.752
AT ITER 3049 NEW BEST:: SOT 351257 SOS 162716 HAS SOPS 162431 HAS SOUS 53167 HAS SOUPS 53110 WITH SCORE 53272.716
AT ITER 3062 NEW BEST:: SOT 351257 SOS 162713 HAS SOPS 162428 HAS SOUS 53164 HAS SOUPS 53107 WITH SCORE 53269.713
AT ITER 3075 NEW BEST:: SOT 351032 SOS 163359 HAS SOPS 163074 HAS SOUS 53122 HAS SOUPS 53065 WITH SCORE 53228.359
AT ITER 3078 NEW BEST:: SOT 351006 SOS 163333 HAS SOPS 163048 HAS SOUS 53031 HAS SOUPS 52974 WITH SCORE 53137.333
AT ITER 3109 NEW BEST:: SOT 351078 SOS 163405 HAS SOPS 163120 HAS SOUS 52920 HAS SOUPS 52863 WITH SCORE 53026.405
AT ITER 3132 NEW BEST:: SOT 351058 SOS 163385 HAS SOPS 163100 HAS SOUS 52880 HAS SOUPS 52823 WITH SCORE 52986.385
AT ITER 3186 NEW BEST:: SOT 351058 SOS 163393 HAS SOPS 163108 HAS SOUS 52864 HAS SOUPS 52807 WITH SCORE 52970.393
AT ITER 3220 NEW BEST:: SOT 350960 SOS 163295 HAS SOPS 163010 HAS SOUS 52752 HAS SOUPS 52695 WITH SCORE 52858.295
AT ITER 3240 NEW BEST:: SOT 350959 SOS 163294 HAS SOPS 163009 HAS SOUS 52750 HAS SOUPS 52693 WITH SCORE 52856.294
AT ITER 3274 NEW BEST:: SOT 350956 SOS 163291 HAS SOPS 163006 HAS SOUS 52747 HAS SOUPS 52690 WITH SCORE 52853.291
AT ITER 3275 NEW BEST:: SOT 350987 SOS 163322 HAS SOPS 163037 HAS SOUS 52695 HAS SOUPS 52638 WITH SCORE 52801.322
AT ITER 3278 NEW BEST:: SOT 350981 SOS 163316 HAS SOPS 163031 HAS SOUS 52593 HAS SOUPS 52536 WITH SCORE 52699.316
AT ITER 3280 NEW BEST:: SOT 350981 SOS 163303 HAS SOPS 163018 HAS SOUS 52559 HAS SOUPS 52502 WITH SCORE 52665.303
AT ITER 3288 NEW BEST:: SOT 350941 SOS 134054 HAS SOPS 133769 HAS SOUS 52446 HAS SOUPS 52389 WITH SCORE 52523.054
AT ITER 3327 NEW BEST:: SOT 350929 SOS 134042 HAS SOPS 133757 HAS SOUS 52414 HAS SOUPS 52357 WITH SCORE 52491.042
AT ITER 3337 NEW BEST:: SOT 350920 SOS 134042 HAS SOPS 133757 HAS SOUS 52396 HAS SOUPS 52339 WITH SCORE 52473.042
AT ITER 3361 NEW BEST:: SOT 350854 SOS 133976 HAS SOPS 133691 HAS SOUS 52327 HAS SOUPS 52270 WITH SCORE 52403.976
AT ITER 3368 NEW BEST:: SOT 350850 SOS 133972 HAS SOPS 133687 HAS SOUS 52319 HAS SOUPS 52262 WITH SCORE 52395.972
AT ITER 3394 NEW BEST:: SOT 350845 SOS 133967 HAS SOPS 133682 HAS SOUS 52309 HAS SOUPS 52252 WITH SCORE 52385.967
AT ITER 3415 NEW BEST:: SOT 350843 SOS 133965 HAS SOPS 133680 HAS SOUS 52303 HAS SOUPS 52246 WITH SCORE 52379.965
AT ITER 3416 NEW BEST:: SOT 350549 SOS 133699 HAS SOPS 133414 HAS SOUS 52009 HAS SOUPS 51952 WITH SCORE 52085.699
AT ITER 3417 NEW BEST:: SOT 350542 SOS 133685 HAS SOPS 133400 HAS SOUS 52009 HAS SOUPS 51952 WITH SCORE 52085.685
AT ITER 3418 NEW BEST:: SOT 350511 SOS 133654 HAS SOPS 133369 HAS SOUS 51910 HAS SOUPS 51853 WITH SCORE 51986.654
AT ITER 3424 NEW BEST:: SOT 350511 SOS 133654 HAS SOPS 133369 HAS SOUS 51895 HAS SOUPS 51838 WITH SCORE 51971.654
AT ITER 3433 NEW BEST:: SOT 350483 SOS 133626 HAS SOPS 133341 HAS SOUS 51867 HAS SOUPS 51810 WITH SCORE 51943.626
AT ITER 3443 NEW BEST:: SOT 350481 SOS 133725 HAS SOPS 133440 HAS SOUS 51865 HAS SOUPS 51808 WITH SCORE 51941.725
AT ITER 3444 NEW BEST:: SOT 350335 SOS 133579 HAS SOPS 133294 HAS SOUS 51520 HAS SOUPS 51463 WITH SCORE 51596.579
AT ITER 3457 NEW BEST:: SOT 350412 SOS 133656 HAS SOPS 133371 HAS SOUS 51384 HAS SOUPS 51327 WITH SCORE 51460.656
AT ITER 3479 NEW BEST:: SOT 350362 SOS 133606 HAS SOPS 133321 HAS SOUS 51243 HAS SOUPS 51186 WITH SCORE 51319.606
AT ITER 3499 NEW BEST:: SOT 350356 SOS 133600 HAS SOPS 133315 HAS SOUS 51204 HAS SOUPS 51147 WITH SCORE 51280.6
AT ITER 3501 NEW BEST:: SOT 350304 SOS 133548 HAS SOPS 133263 HAS SOUS 51188 HAS SOUPS 51131 WITH SCORE 51264.548
AT ITER 3517 NEW BEST:: SOT 350288 SOS 133532 HAS SOPS 133247 HAS SOUS 51088 HAS SOUPS 51031 WITH SCORE 51164.532
AT ITER 3549 NEW BEST:: SOT 348917 SOS 132161 HAS SOPS 131876 HAS SOUS 49694 HAS SOUPS 49637 WITH SCORE 49769.161
AT ITER 3580 NEW BEST:: SOT 348908 SOS 132152 HAS SOPS 131867 HAS SOUS 49666 HAS SOUPS 49609 WITH SCORE 49741.152
AT ITER 3587 NEW BEST:: SOT 348842 SOS 132086 HAS SOPS 131801 HAS SOUS 49534 HAS SOUPS 49477 WITH SCORE 49609.086
AT ITER 3597 NEW BEST:: SOT 348787 SOS 132031 HAS SOPS 131746 HAS SOUS 49424 HAS SOUPS 49367 WITH SCORE 49499.031
AT ITER 3602 NEW BEST:: SOT 348762 SOS 132006 HAS SOPS 131721 HAS SOUS 49374 HAS SOUPS 49317 WITH SCORE 49449.006
AT ITER 3608 NEW BEST:: SOT 348777 SOS 131999 HAS SOPS 131714 HAS SOUS 49360 HAS SOUPS 49303 WITH SCORE 49434.999
AT ITER 3644 NEW BEST:: SOT 348717 SOS 131969 HAS SOPS 131684 HAS SOUS 49306 HAS SOUPS 49249 WITH SCORE 49380.969
AT ITER 3650 NEW BEST:: SOT 348674 SOS 131926 HAS SOPS 131641 HAS SOUS 49078 HAS SOUPS 49021 WITH SCORE 49152.926
AT ITER 3693 NEW BEST:: SOT 348640 SOS 131892 HAS SOPS 131607 HAS SOUS 49044 HAS SOUPS 48987 WITH SCORE 49118.892
AT ITER 3708 NEW BEST:: SOT 348627 SOS 131879 HAS SOPS 131594 HAS SOUS 48999 HAS SOUPS 48942 WITH SCORE 49073.879
AT ITER 3771 NEW BEST:: SOT 348639 SOS 131784 HAS SOPS 131499 HAS SOUS 48988 HAS SOUPS 48931 WITH SCORE 49062.784
AT ITER 3788 NEW BEST:: SOT 348639 SOS 131777 HAS SOPS 131492 HAS SOUS 48981 HAS SOUPS 48924 WITH SCORE 49055.777
AT ITER 3814 NEW BEST:: SOT 348611 SOS 131749 HAS SOPS 131464 HAS SOUS 48953 HAS SOUPS 48896 WITH SCORE 49027.749
AT ITER 3836 NEW BEST:: SOT 348611 SOS 131749 HAS SOPS 131464 HAS SOUS 48944 HAS SOUPS 48887 WITH SCORE 49018.749
AT ITER 3854 NEW BEST:: SOT 348599 SOS 131737 HAS SOPS 131452 HAS SOUS 48926 HAS SOUPS 48869 WITH SCORE 49000.737
AT ITER 3883 NEW BEST:: SOT 348583 SOS 131783 HAS SOPS 131498 HAS SOUS 48907 HAS SOUPS 48850 WITH SCORE 48981.783
AT ITER 3907 NEW BEST:: SOT 348579 SOS 131779 HAS SOPS 131494 HAS SOUS 48903 HAS SOUPS 48846 WITH SCORE 48977.779
AT ITER 3950 NEW BEST:: SOT 348532 SOS 131859 HAS SOPS 131574 HAS SOUS 48856 HAS SOUPS 48799 WITH SCORE 48930.859
AT ITER 3951 NEW BEST:: SOT 348533 SOS 131860 HAS SOPS 131575 HAS SOUS 48853 HAS SOUPS 48796 WITH SCORE 48927.86
AT ITER 3963 NEW BEST:: SOT 348516 SOS 131843 HAS SOPS 131558 HAS SOUS 48836 HAS SOUPS 48779 WITH SCORE 48910.843
AT ITER 3970 NEW BEST:: SOT 348528 SOS 131855 HAS SOPS 131570 HAS SOUS 48745 HAS SOUPS 48688 WITH SCORE 48819.855
AT ITER 4048 NEW BEST:: SOT 348526 SOS 131853 HAS SOPS 131568 HAS SOUS 48743 HAS SOUPS 48686 WITH SCORE 48817.853
AT ITER 4109 NEW BEST:: SOT 348504 SOS 131831 HAS SOPS 131546 HAS SOUS 48727 HAS SOUPS 48670 WITH SCORE 48801.831
AT ITER 4134 NEW BEST:: SOT 348482 SOS 131809 HAS SOPS 131524 HAS SOUS 48683 HAS SOUPS 48626 WITH SCORE 48757.809
AT ITER 4149 NEW BEST:: SOT 348510 SOS 131809 HAS SOPS 131524 HAS SOUS 48677 HAS SOUPS 48620 WITH SCORE 48751.809
AT ITER 4155 NEW BEST:: SOT 348516 SOS 131815 HAS SOPS 131530 HAS SOUS 48625 HAS SOUPS 48568 WITH SCORE 48699.815
AT ITER 4162 NEW BEST:: SOT 348581 SOS 131703 HAS SOPS 131418 HAS SOUS 48591 HAS SOUPS 48534 WITH SCORE 48665.703
AT ITER 4163 NEW BEST:: SOT 348551 SOS 131673 HAS SOPS 131388 HAS SOUS 48544 HAS SOUPS 48487 WITH SCORE 48618.673
AT ITER 4168 NEW BEST:: SOT 348542 SOS 131654 HAS SOPS 131369 HAS SOUS 48529 HAS SOUPS 48472 WITH SCORE 48603.654
AT ITER 4169 NEW BEST:: SOT 348516 SOS 131628 HAS SOPS 131343 HAS SOUS 48381 HAS SOUPS 48324 WITH SCORE 48455.628
AT ITER 4184 NEW BEST:: SOT 348517 SOS 131629 HAS SOPS 131344 HAS SOUS 48380 HAS SOUPS 48323 WITH SCORE 48454.629
AT ITER 4192 NEW BEST:: SOT 348515 SOS 131627 HAS SOPS 131342 HAS SOUS 48378 HAS SOUPS 48321 WITH SCORE 48452.627
AT ITER 4224 NEW BEST:: SOT 348452 SOS 131564 HAS SOPS 131279 HAS SOUS 48315 HAS SOUPS 48258 WITH SCORE 48389.564
AT ITER 4248 NEW BEST:: SOT 348448 SOS 131560 HAS SOPS 131275 HAS SOUS 48303 HAS SOUPS 48246 WITH SCORE 48377.56
AT ITER 4271 NEW BEST:: SOT 348431 SOS 131543 HAS SOPS 131258 HAS SOUS 48249 HAS SOUPS 48192 WITH SCORE 48323.543
AT ITER 4290 NEW BEST:: SOT 348415 SOS 131527 HAS SOPS 131242 HAS SOUS 48184 HAS SOUPS 48127 WITH SCORE 48258.527
AT ITER 4304 NEW BEST:: SOT 348415 SOS 131506 HAS SOPS 131221 HAS SOUS 48184 HAS SOUPS 48127 WITH SCORE 48258.506
AT ITER 4313 NEW BEST:: SOT 347843 SOS 131209 HAS SOPS 130938 HAS SOUS 47666 HAS SOUPS 47609 WITH SCORE 47740.209
AT ITER 4323 NEW BEST:: SOT 347841 SOS 131207 HAS SOPS 130936 HAS SOUS 47634 HAS SOUPS 47577 WITH SCORE 47708.207
AT ITER 4325 NEW BEST:: SOT 347836 SOS 131202 HAS SOPS 130931 HAS SOUS 47629 HAS SOUPS 47572 WITH SCORE 47703.202
AT ITER 4357 NEW BEST:: SOT 347731 SOS 131097 HAS SOPS 130826 HAS SOUS 47449 HAS SOUPS 47392 WITH SCORE 47523.097
AT ITER 4364 NEW BEST:: SOT 347736 SOS 131102 HAS SOPS 130831 HAS SOUS 47439 HAS SOUPS 47382 WITH SCORE 47513.102
AT ITER 4385 NEW BEST:: SOT 347676 SOS 131042 HAS SOPS 130771 HAS SOUS 47345 HAS SOUPS 47288 WITH SCORE 47419.042
AT ITER 4444 NEW BEST:: SOT 347671 SOS 131037 HAS SOPS 130766 HAS SOUS 47325 HAS SOUPS 47268 WITH SCORE 47399.037
AT ITER 4451 NEW BEST:: SOT 347635 SOS 107609 HAS SOPS 107338 HAS SOUS 46956 HAS SOUPS 46899 WITH SCORE 47006.609
AT ITER 4456 NEW BEST:: SOT 347617 SOS 107582 HAS SOPS 107311 HAS SOUS 46929 HAS SOUPS 46872 WITH SCORE 46979.582
AT ITER 4467 NEW BEST:: SOT 347605 SOS 107570 HAS SOPS 107299 HAS SOUS 46929 HAS SOUPS 46872 WITH SCORE 46979.57
AT ITER 4511 NEW BEST:: SOT 347595 SOS 107561 HAS SOPS 107290 HAS SOUS 46921 HAS SOUPS 46864 WITH SCORE 46971.561
AT ITER 4515 NEW BEST:: SOT 347680 SOS 107735 HAS SOPS 107464 HAS SOUS 46850 HAS SOUPS 46793 WITH SCORE 46900.735
AT ITER 4525 NEW BEST:: SOT 347603 SOS 107658 HAS SOPS 107387 HAS SOUS 46723 HAS SOUPS 46666 WITH SCORE 46773.658
AT ITER 4559 NEW BEST:: SOT 347603 SOS 107658 HAS SOPS 107387 HAS SOUS 46719 HAS SOUPS 46662 WITH SCORE 46769.658
AT ITER 4565 NEW BEST:: SOT 347617 SOS 107672 HAS SOPS 107401 HAS SOUS 46691 HAS SOUPS 46634 WITH SCORE 46741.672
AT ITER 4581 NEW BEST:: SOT 347603 SOS 107658 HAS SOPS 107387 HAS SOUS 46677 HAS SOUPS 46620 WITH SCORE 46727.658
AT ITER 4594 NEW BEST:: SOT 347599 SOS 107654 HAS SOPS 107383 HAS SOUS 46673 HAS SOUPS 46616 WITH SCORE 46723.654
AT ITER 4600 NEW BEST:: SOT 347599 SOS 107618 HAS SOPS 107347 HAS SOUS 46637 HAS SOUPS 46580 WITH SCORE 46687.618
AT ITER 4604 NEW BEST:: SOT 347535 SOS 107554 HAS SOPS 107283 HAS SOUS 46614 HAS SOUPS 46557 WITH SCORE 46664.554
AT ITER 4619 NEW BEST:: SOT 347538 SOS 107561 HAS SOPS 107290 HAS SOUS 46566 HAS SOUPS 46509 WITH SCORE 46616.561
AT ITER 4626 NEW BEST:: SOT 347448 SOS 107471 HAS SOPS 107200 HAS SOUS 46361 HAS SOUPS 46304 WITH SCORE 46411.471
AT ITER 4632 NEW BEST:: SOT 347405 SOS 107428 HAS SOPS 107157 HAS SOUS 46298 HAS SOUPS 46241 WITH SCORE 46348.428
AT ITER 4643 NEW BEST:: SOT 347390 SOS 107398 HAS SOPS 107127 HAS SOUS 46268 HAS SOUPS 46211 WITH SCORE 46318.398
AT ITER 4677 NEW BEST:: SOT 347253 SOS 107261 HAS SOPS 106990 HAS SOUS 46038 HAS SOUPS 45981 WITH SCORE 46088.261
AT ITER 4713 NEW BEST:: SOT 347223 SOS 107231 HAS SOPS 106960 HAS SOUS 45933 HAS SOUPS 45876 WITH SCORE 45983.231
AT ITER 4736 NEW BEST:: SOT 347109 SOS 107117 HAS SOPS 106846 HAS SOUS 45707 HAS SOUPS 45650 WITH SCORE 45757.117
AT ITER 4747 NEW BEST:: SOT 347087 SOS 107147 HAS SOPS 106876 HAS SOUS 45686 HAS SOUPS 45629 WITH SCORE 45736.147
AT ITER 4755 NEW BEST:: SOT 347087 SOS 107179 HAS SOPS 106908 HAS SOUS 45655 HAS SOUPS 45598 WITH SCORE 45705.179
AT ITER 4758 NEW BEST:: SOT 347092 SOS 107184 HAS SOPS 106913 HAS SOUS 45647 HAS SOUPS 45590 WITH SCORE 45697.184
AT ITER 4843 NEW BEST:: SOT 347194 SOS 107286 HAS SOPS 107015 HAS SOUS 45639 HAS SOUPS 45582 WITH SCORE 45689.286
AT ITER 4855 NEW BEST:: SOT 347174 SOS 107266 HAS SOPS 106995 HAS SOUS 45619 HAS SOUPS 45562 WITH SCORE 45669.266
AT ITER 4871 NEW BEST:: SOT 347147 SOS 107239 HAS SOPS 106968 HAS SOUS 45552 HAS SOUPS 45495 WITH SCORE 45602.239
AT ITER 4873 NEW BEST:: SOT 347140 SOS 107290 HAS SOPS 107019 HAS SOUS 45545 HAS SOUPS 45488 WITH SCORE 45595.29
AT ITER 4888 NEW BEST:: SOT 347107 SOS 107272 HAS SOPS 107001 HAS SOUS 45509 HAS SOUPS 45452 WITH SCORE 45559.272
AT ITER 4912 NEW BEST:: SOT 347100 SOS 107265 HAS SOPS 106994 HAS SOUS 45502 HAS SOUPS 45445 WITH SCORE 45552.265
AT ITER 4939 NEW BEST:: SOT 347080 SOS 107245 HAS SOPS 106974 HAS SOUS 45442 HAS SOUPS 45385 WITH SCORE 45492.245
AT ITER 4948 NEW BEST:: SOT 347080 SOS 107243 HAS SOPS 106972 HAS SOUS 45438 HAS SOUPS 45381 WITH SCORE 45488.243
AT ITER 4957 NEW BEST:: SOT 347080 SOS 107243 HAS SOPS 106972 HAS SOUS 45432 HAS SOUPS 45375 WITH SCORE 45482.243
AT ITER 4963 NEW BEST:: SOT 347033 SOS 107090 HAS SOPS 106819 HAS SOUS 45321 HAS SOUPS 45264 WITH SCORE 45371.09
AT ITER 4997 NEW BEST:: SOT 347080 SOS 107137 HAS SOPS 106866 HAS SOUS 45232 HAS SOUPS 45175 WITH SCORE 45282.137
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-00 (AG( (EF((! potential( ( 1 ) <= (tk(P26) + tk(P70) + tk(P263) + tk(P422) + tk(P476)) ))))))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-01 (AF(( ( (! potential( (tk(P3) + tk(P6) + tk(P10) + tk(P11) + tk(P14) + tk(P17) + tk(P18) + tk(P19) + tk(P21) + tk(P37) + tk(P38) + tk(P40) + tk(P46) + tk(P47) + tk(P51) + tk(P52) + tk(P53) + tk(P63) + tk(P64) + tk(P65) + tk(P71) + tk(P73) + tk(P75) + tk(P80) + tk(P81) + tk(P88) + tk(P89) + tk(P92) + tk(P93) + tk(P95) + tk(P98) + tk(P99) + tk(P100) + tk(P103) + tk(P104) + tk(P106) + tk(P108) + tk(P114) + tk(P115) + tk(P117) + tk(P125) + tk(P126) + tk(P127) + tk(P128) + tk(P131) + tk(P141) + tk(P144) + tk(P146) + tk(P147) + tk(P148) + tk(P154) + tk(P159) + tk(P160) + tk(P163) + tk(P169) + tk(P174) + tk(P175) + tk(P177) + tk(P178) + tk(P179) + tk(P184) + tk(P187) + tk(P188) + tk(P190) + tk(P200) + tk(P202) + tk(P205) + tk(P207) + tk(P210) + tk(P216) + tk(P217) + tk(P219) + tk(P223) + tk(P227) + tk(P228) + tk(P232) + tk(P233) + tk(P235) + tk(P238) + tk(P240) + tk(P244) + tk(P246) + tk(P247) + tk(P249) + tk(P252) + tk(P254) + tk(P256) + tk(P264) + tk(P266) + tk(P271) + tk(P274) + tk(P277) + tk(P281) + tk(P284) + tk(P288) + tk(P292) + tk(P294) + tk(P297) + tk(P299) + tk(P300) + tk(P314) + tk(P317) + tk(P319) + tk(P332) + tk(P334) + tk(P337) + tk(P340) + tk(P344) + tk(P350) + tk(P351) + tk(P352) + tk(P368) + tk(P370) + tk(P371) + tk(P373) + tk(P377) + tk(P379) + tk(P381) + tk(P386) + tk(P387) + tk(P388) + tk(P391) + tk(P395) + tk(P396) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P406) + tk(P407) + tk(P412) + tk(P420) + tk(P428) + tk(P429) + tk(P430) + tk(P434) + tk(P437) + tk(P438) + tk(P439) + tk(P442) + tk(P443) + tk(P444) + tk(P445) + tk(P448) + tk(P450) + tk(P455) + tk(P459) + tk(P464) + tk(P465) + tk(P468) + tk(P472) + tk(P474) + tk(P478) + tk(P486) + tk(P487)) <= (tk(P201)) )) & (! potential( ( 2 ) <= (tk(P167)) )) ) & (AG( potential( ( 2 ) <= (tk(P214)) ))) )))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-02 ( potential( ( 3 ) <= (tk(P24) + tk(P48) + tk(P60) + tk(P62) + tk(P77) + tk(P113) + tk(P116) + tk(P120) + tk(P166) + tk(P183) + tk(P191) + tk(P206) + tk(P212) + tk(P229) + tk(P250) + tk(P269) + tk(P275) + tk(P286) + tk(P307) + tk(P311) + tk(P326) + tk(P335) + tk(P348) + tk(P409) + tk(P416) + tk(P417) + tk(P452) + tk(P461) + tk(P466) + tk(P480) + tk(P481)) ) | (EG( (EF(potential( (tk(P2) + tk(P12) + tk(P15) + tk(P32) + tk(P41) + tk(P74) + tk(P94) + tk(P138) + tk(P153) + tk(P162) + tk(P180) + tk(P196) + tk(P211) + tk(P243) + tk(P276) + tk(P279) + tk(P298) + tk(P301) + tk(P306) + tk(P327) + tk(P347) + tk(P362) + tk(P369) + tk(P375) + tk(P376) + tk(P389) + tk(P398) + tk(P423) + tk(P460) + tk(P469) + tk(P477)) <= (tk(P79)) ))))) )
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-03 (! (AX( (EF(potential( ( 2 ) <= (tk(P27) + tk(P28) + tk(P35) + tk(P36) + tk(P56) + tk(P57) + tk(P58) + tk(P67) + tk(P119) + tk(P123) + tk(P124) + tk(P152) + tk(P165) + tk(P197) + tk(P203) + tk(P208) + tk(P230) + tk(P245) + tk(P257) + tk(P320) + tk(P364) + tk(P365) + tk(P366) + tk(P374) + tk(P390) + tk(P414) + tk(P415) + tk(P451) + tk(P479) + tk(P482) + tk(P489)) ))))))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-04 (AG( (EF(potential( ( 1 ) <= (tk(P303)) )))))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-05 (AF((EG( ( potential( (tk(P182)) <= (tk(P107)) ) & potential( (tk(P290)) <= (tk(P446)) ) )))))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-06 ( ( potential( (tk(P8) + tk(P23) + tk(P30) + tk(P78) + tk(P83) + tk(P102) + tk(P110) + tk(P111) + tk(P140) + tk(P150) + tk(P155) + tk(P164) + tk(P186) + tk(P193) + tk(P194) + tk(P220) + tk(P248) + tk(P268) + tk(P272) + tk(P289) + tk(P295) + tk(P304) + tk(P316) + tk(P323) + tk(P341) + tk(P356) + tk(P384) + tk(P397) + tk(P426) + tk(P435) + tk(P463)) <= (tk(P185)) ) & ( ( ( potential( (tk(P236)) <= (tk(P61)) ) & potential( (tk(P265)) <= (tk(P290)) ) ) | ( potential( (tk(P303)) <= (tk(P61)) ) | potential( (tk(P449)) <= (tk(P185)) ) ) ) & potential( (tk(P222)) <= (tk(P24) + tk(P48) + tk(P60) + tk(P62) + tk(P77) + tk(P113) + tk(P116) + tk(P120) + tk(P166) + tk(P183) + tk(P191) + tk(P206) + tk(P212) + tk(P229) + tk(P250) + tk(P269) + tk(P275) + tk(P286) + tk(P307) + tk(P311) + tk(P326) + tk(P335) + tk(P348) + tk(P409) + tk(P416) + tk(P417) + tk(P452) + tk(P461) + tk(P466) + tk(P480) + tk(P481)) ) ) ) & (AF(potential( ( 2 ) <= (tk(P471)) ))) )
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-07 (EU( (! (! potential( (tk(P13) + tk(P22) + tk(P69) + tk(P90) + tk(P97) + tk(P101) + tk(P105) + tk(P134) + tk(P137) + tk(P145) + tk(P151) + tk(P209) + tk(P221) + tk(P224) + tk(P237) + tk(P261) + tk(P262) + tk(P273) + tk(P282) + tk(P293) + tk(P312) + tk(P329) + tk(P359) + tk(P361) + tk(P380) + tk(P408) + tk(P410) + tk(P453) + tk(P454) + tk(P467) + tk(P475) + tk(P483)) <= (tk(P24) + tk(P48) + tk(P60) + tk(P62) + tk(P77) + tk(P113) + tk(P116) + tk(P120) + tk(P166) + tk(P183) + tk(P191) + tk(P206) + tk(P212) + tk(P229) + tk(P250) + tk(P269) + tk(P275) + tk(P286) + tk(P307) + tk(P311) + tk(P326) + tk(P335) + tk(P348) + tk(P409) + tk(P416) + tk(P417) + tk(P452) + tk(P461) + tk(P466) + tk(P480) + tk(P481)) ))),(AF(potential( ( 2 ) <= (tk(P393)) ))) ))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-08 (! (AF(( ( potential( (tk(P483)) <= (tk(P319)) ) | potential( ( 2 ) <= (tk(P53)) ) ) & potential( ( 1 ) <= (tk(P161)) ) ))))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-09 (EG( ( (EF(potential( (tk(P103)) <= (tk(P421)) ))) | (! ( potential( (tk(P272)) <= (tk(P284)) ) | potential( (tk(P341)) <= (tk(P209)) ) )) )))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-10 ( (! ( (AF(potential( (tk(P300)) <= (tk(P92)) ))) & potential( (tk(P165)) <= (tk(P414)) ) )) | (AU( (! potential( (tk(P449)) <= (tk(P256)) )),potential( ( 2 ) <= (tk(P143)) ) )) )
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-11 (! (AU( (! potential( ( 2 ) <= (tk(P222)) )),( potential( ( 1 ) <= (tk(P64)) ) & potential( ( 1 ) <= (tk(P297)) ) ) )))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-12 (EF(potential( ( 2 ) <= (tk(P242)) )))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-13 (AG( ( ( ( potential( (tk(P102)) <= (tk(P466)) ) & potential( (tk(P314)) <= (tk(P111)) ) ) & ( potential( ( 1 ) <= (tk(P252)) ) | potential( ( 2 ) <= (tk(P93)) ) ) ) | (EX( potential( (tk(P260)) <= (tk(P190)) ))) )))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-14 (! (! (AG( ( potential( (tk(P306)) <= (tk(P326)) ) | potential( (tk(P54)) <= (tk(P62)) ) )))))
PROPERTY: PolyORBNT-PT-S05J30-CTLCardinality-15 ( ( ( (EX( potential( (tk(P28)) <= (tk(P385)) ))) & (EG( potential( (tk(P69)) <= (tk(P336)) ))) ) | (! ( (! potential( (tk(P401)) <= (tk(P153)) )) | ( potential( ( 1 ) <= (tk(P217)) ) & potential( (tk(P61)) <= (tk(P329)) ) ) )) ) & ( ( potential( (tk(P462)) <= (tk(P146)) ) | (AF(potential( (tk(P243)) <= (tk(P127)) ))) ) & (EG( (! potential( ( 2 ) <= (tk(P237)) )))) ) )

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

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