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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.0M
-rw-r--r-- 1 mcc users 11K Apr 12 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 12 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 11 04:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Apr 11 04:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 9.3K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 49K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Apr 10 12:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 10 12:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Apr 9 17:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Apr 9 17:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.8K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 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 PolyORBLF-PT-S02J06T10-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S02J06T10-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642559044

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T10
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: 844 places, 1812 transitions, 8302 arcs.
AT ITER 0 NEW BEST:: SOT 924185 SOS 509863 HAS SOPS 502960 HAS SOUS 287439 HAS SOUPS 286947 WITH SCORE 287456.863
AT ITER 8 NEW BEST:: SOT 924240 SOS 509918 HAS SOPS 502959 HAS SOUS 287451 HAS SOUPS 286914 WITH SCORE 287423.918
AT ITER 12 NEW BEST:: SOT 919999 SOS 504980 HAS SOPS 498021 HAS SOUS 283702 HAS SOUPS 283165 WITH SCORE 283669.98
AT ITER 19 NEW BEST:: SOT 919218 SOS 504380 HAS SOPS 497421 HAS SOUS 283256 HAS SOUPS 282719 WITH SCORE 283223.38
AT ITER 29 NEW BEST:: SOT 919115 SOS 503572 HAS SOPS 494953 HAS SOUS 283230 HAS SOUPS 282527 WITH SCORE 283030.572
AT ITER 32 NEW BEST:: SOT 919006 SOS 503463 HAS SOPS 494844 HAS SOUS 283121 HAS SOUPS 282418 WITH SCORE 282921.463
AT ITER 50 NEW BEST:: SOT 918763 SOS 503277 HAS SOPS 494658 HAS SOUS 282935 HAS SOUPS 282232 WITH SCORE 282735.277
AT ITER 53 NEW BEST:: SOT 918672 SOS 503148 HAS SOPS 494529 HAS SOUS 282917 HAS SOUPS 282214 WITH SCORE 282717.148
AT ITER 64 NEW BEST:: SOT 918505 SOS 502981 HAS SOPS 494362 HAS SOUS 282814 HAS SOUPS 282111 WITH SCORE 282613.981
AT ITER 72 NEW BEST:: SOT 918505 SOS 502381 HAS SOPS 493762 HAS SOUS 282814 HAS SOUPS 282111 WITH SCORE 282613.381
AT ITER 76 NEW BEST:: SOT 918520 SOS 502387 HAS SOPS 493768 HAS SOUS 282730 HAS SOUPS 282027 WITH SCORE 282529.387
AT ITER 87 NEW BEST:: SOT 918173 SOS 501675 HAS SOPS 493056 HAS SOUS 282133 HAS SOUPS 281430 WITH SCORE 281931.675
AT ITER 94 NEW BEST:: SOT 909024 SOS 492866 HAS SOPS 484247 HAS SOUS 278536 HAS SOUPS 277833 WITH SCORE 278325.866
AT ITER 98 NEW BEST:: SOT 908983 SOS 492801 HAS SOPS 484182 HAS SOUS 278489 HAS SOUPS 277786 WITH SCORE 278278.801
AT ITER 100 NEW BEST:: SOT 908965 SOS 492765 HAS SOPS 484146 HAS SOUS 278489 HAS SOUPS 277786 WITH SCORE 278278.765
AT ITER 124 NEW BEST:: SOT 908937 SOS 492653 HAS SOPS 484034 HAS SOUS 278405 HAS SOUPS 277702 WITH SCORE 278194.653
AT ITER 134 NEW BEST:: SOT 908538 SOS 492311 HAS SOPS 483692 HAS SOUS 277825 HAS SOUPS 277122 WITH SCORE 277614.311
AT ITER 142 NEW BEST:: SOT 908536 SOS 492309 HAS SOPS 483690 HAS SOUS 277823 HAS SOUPS 277120 WITH SCORE 277612.309
AT ITER 149 NEW BEST:: SOT 908576 SOS 492315 HAS SOPS 483696 HAS SOUS 277795 HAS SOUPS 277092 WITH SCORE 277584.315
AT ITER 151 NEW BEST:: SOT 908480 SOS 493635 HAS SOPS 485016 HAS SOUS 277684 HAS SOUPS 276981 WITH SCORE 277474.635
AT ITER 162 NEW BEST:: SOT 908296 SOS 493451 HAS SOPS 484832 HAS SOUS 277139 HAS SOUPS 276436 WITH SCORE 276929.451
AT ITER 165 NEW BEST:: SOT 908199 SOS 493212 HAS SOPS 484593 HAS SOUS 276955 HAS SOUPS 276252 WITH SCORE 276745.212
AT ITER 167 NEW BEST:: SOT 908045 SOS 492995 HAS SOPS 484376 HAS SOUS 276641 HAS SOUPS 275938 WITH SCORE 276430.995
AT ITER 169 NEW BEST:: SOT 908008 SOS 492921 HAS SOPS 484302 HAS SOUS 276620 HAS SOUPS 275917 WITH SCORE 276409.921
AT ITER 174 NEW BEST:: SOT 907840 SOS 492753 HAS SOPS 484134 HAS SOUS 275853 HAS SOUPS 275150 WITH SCORE 275642.753
AT ITER 178 NEW BEST:: SOT 907778 SOS 492629 HAS SOPS 484010 HAS SOUS 275811 HAS SOUPS 275108 WITH SCORE 275600.629
AT ITER 180 NEW BEST:: SOT 907758 SOS 492609 HAS SOPS 483990 HAS SOUS 275791 HAS SOUPS 275088 WITH SCORE 275580.609
AT ITER 184 NEW BEST:: SOT 907717 SOS 492595 HAS SOPS 483976 HAS SOUS 275777 HAS SOUPS 275074 WITH SCORE 275566.595
AT ITER 188 NEW BEST:: SOT 907617 SOS 492495 HAS SOPS 483876 HAS SOUS 275677 HAS SOUPS 274974 WITH SCORE 275466.495
AT ITER 202 NEW BEST:: SOT 907575 SOS 492453 HAS SOPS 483834 HAS SOUS 275670 HAS SOUPS 274967 WITH SCORE 275459.453
AT ITER 212 NEW BEST:: SOT 907575 SOS 492453 HAS SOPS 483824 HAS SOUS 275670 HAS SOUPS 274957 WITH SCORE 275449.453
AT ITER 220 NEW BEST:: SOT 907293 SOS 492171 HAS SOPS 483542 HAS SOUS 274322 HAS SOUPS 273609 WITH SCORE 274101.171
AT ITER 226 NEW BEST:: SOT 905293 SOS 490231 HAS SOPS 481602 HAS SOUS 272422 HAS SOUPS 271709 WITH SCORE 272199.231
AT ITER 235 NEW BEST:: SOT 905293 SOS 490402 HAS SOPS 481773 HAS SOUS 272275 HAS SOUPS 271562 WITH SCORE 272052.402
AT ITER 238 NEW BEST:: SOT 905171 SOS 490288 HAS SOPS 481659 HAS SOUS 272267 HAS SOUPS 271554 WITH SCORE 272044.288
AT ITER 241 NEW BEST:: SOT 905164 SOS 490333 HAS SOPS 481705 HAS SOUS 272259 HAS SOUPS 271547 WITH SCORE 272037.333
AT ITER 242 NEW BEST:: SOT 905013 SOS 490325 HAS SOPS 481697 HAS SOUS 272201 HAS SOUPS 271489 WITH SCORE 271979.325
AT ITER 258 NEW BEST:: SOT 904933 SOS 490250 HAS SOPS 481622 HAS SOUS 271938 HAS SOUPS 271226 WITH SCORE 271716.25
AT ITER 259 NEW BEST:: SOT 904933 SOS 490250 HAS SOPS 481612 HAS SOUS 271918 HAS SOUPS 271206 WITH SCORE 271696.25
AT ITER 260 NEW BEST:: SOT 904933 SOS 490260 HAS SOPS 481622 HAS SOUS 271891 HAS SOUPS 271179 WITH SCORE 271669.26
AT ITER 269 NEW BEST:: SOT 904639 SOS 489952 HAS SOPS 481314 HAS SOUS 271303 HAS SOUPS 270591 WITH SCORE 271080.952
AT ITER 311 NEW BEST:: SOT 904597 SOS 489895 HAS SOPS 481257 HAS SOUS 271001 HAS SOUPS 270289 WITH SCORE 270778.895
AT ITER 317 NEW BEST:: SOT 904265 SOS 489614 HAS SOPS 480976 HAS SOUS 270153 HAS SOUPS 269441 WITH SCORE 269930.614
AT ITER 319 NEW BEST:: SOT 904167 SOS 489516 HAS SOPS 480878 HAS SOUS 270047 HAS SOUPS 269335 WITH SCORE 269824.516
AT ITER 329 NEW BEST:: SOT 904167 SOS 489470 HAS SOPS 480832 HAS SOUS 270001 HAS SOUPS 269289 WITH SCORE 269778.47
AT ITER 332 NEW BEST:: SOT 899138 SOS 484621 HAS SOPS 475983 HAS SOUS 268032 HAS SOUPS 267320 WITH SCORE 267804.621
AT ITER 338 NEW BEST:: SOT 898898 SOS 484381 HAS SOPS 475743 HAS SOUS 266866 HAS SOUPS 266154 WITH SCORE 266638.381
AT ITER 341 NEW BEST:: SOT 891221 SOS 477874 HAS SOPS 469236 HAS SOUS 264428 HAS SOUPS 263716 WITH SCORE 264193.874
AT ITER 343 NEW BEST:: SOT 891167 SOS 477620 HAS SOPS 468982 HAS SOUS 264380 HAS SOUPS 263668 WITH SCORE 264145.62
AT ITER 349 NEW BEST:: SOT 890517 SOS 477100 HAS SOPS 468462 HAS SOUS 263839 HAS SOUPS 263127 WITH SCORE 263604.1
AT ITER 352 NEW BEST:: SOT 888807 SOS 475427 HAS SOPS 466789 HAS SOUS 263078 HAS SOUPS 262366 WITH SCORE 262841.427
AT ITER 366 NEW BEST:: SOT 888667 SOS 475230 HAS SOPS 466592 HAS SOUS 262644 HAS SOUPS 261932 WITH SCORE 262407.23
AT ITER 367 NEW BEST:: SOT 888713 SOS 475276 HAS SOPS 466592 HAS SOUS 262686 HAS SOUPS 261930 WITH SCORE 262405.276
AT ITER 374 NEW BEST:: SOT 888458 SOS 475021 HAS SOPS 466337 HAS SOUS 260499 HAS SOUPS 259743 WITH SCORE 260218.021
AT ITER 376 NEW BEST:: SOT 888442 SOS 475005 HAS SOPS 466321 HAS SOUS 260378 HAS SOUPS 259622 WITH SCORE 260097.005
AT ITER 410 NEW BEST:: SOT 888442 SOS 475005 HAS SOPS 466321 HAS SOUS 260376 HAS SOUPS 259620 WITH SCORE 260095.005
AT ITER 412 NEW BEST:: SOT 888374 SOS 474937 HAS SOPS 466253 HAS SOUS 259226 HAS SOUPS 258470 WITH SCORE 258944.937
AT ITER 415 NEW BEST:: SOT 887885 SOS 474511 HAS SOPS 465827 HAS SOUS 258737 HAS SOUPS 257981 WITH SCORE 258455.511
AT ITER 418 NEW BEST:: SOT 887885 SOS 474479 HAS SOPS 465795 HAS SOUS 258705 HAS SOUPS 257949 WITH SCORE 258423.479
AT ITER 426 NEW BEST:: SOT 887757 SOS 474075 HAS SOPS 465391 HAS SOUS 258429 HAS SOUPS 257673 WITH SCORE 258147.075
AT ITER 430 NEW BEST:: SOT 887757 SOS 474075 HAS SOPS 465381 HAS SOUS 258409 HAS SOUPS 257653 WITH SCORE 258127.075
AT ITER 432 NEW BEST:: SOT 887721 SOS 474045 HAS SOPS 465351 HAS SOUS 258355 HAS SOUPS 257599 WITH SCORE 258073.045
AT ITER 438 NEW BEST:: SOT 883451 SOS 469881 HAS SOPS 461187 HAS SOUS 253931 HAS SOUPS 253175 WITH SCORE 253644.881
AT ITER 446 NEW BEST:: SOT 883343 SOS 469223 HAS SOPS 460529 HAS SOUS 253835 HAS SOUPS 253079 WITH SCORE 253548.223
AT ITER 462 NEW BEST:: SOT 883349 SOS 469238 HAS SOPS 460544 HAS SOUS 253667 HAS SOUPS 252911 WITH SCORE 253380.238
AT ITER 485 NEW BEST:: SOT 883301 SOS 469158 HAS SOPS 460464 HAS SOUS 253587 HAS SOUPS 252831 WITH SCORE 253300.158
AT ITER 493 NEW BEST:: SOT 883276 SOS 469133 HAS SOPS 457839 HAS SOUS 253603 HAS SOUPS 252587 WITH SCORE 253056.133
AT ITER 496 NEW BEST:: SOT 882564 SOS 468574 HAS SOPS 457280 HAS SOUS 253107 HAS SOUPS 252091 WITH SCORE 252559.574
AT ITER 498 NEW BEST:: SOT 882270 SOS 468329 HAS SOPS 457035 HAS SOUS 252372 HAS SOUPS 251356 WITH SCORE 251824.329
AT ITER 504 NEW BEST:: SOT 882247 SOS 468260 HAS SOPS 456966 HAS SOUS 252280 HAS SOUPS 251264 WITH SCORE 251732.26
AT ITER 508 NEW BEST:: SOT 882067 SOS 467918 HAS SOPS 456684 HAS SOUS 252184 HAS SOUPS 251174 WITH SCORE 251641.918
AT ITER 514 NEW BEST:: SOT 882059 SOS 467902 HAS SOPS 456668 HAS SOUS 252168 HAS SOUPS 251158 WITH SCORE 251625.902
AT ITER 515 NEW BEST:: SOT 881976 SOS 467819 HAS SOPS 456585 HAS SOUS 251129 HAS SOUPS 250119 WITH SCORE 250586.819
AT ITER 524 NEW BEST:: SOT 875529 SOS 461611 HAS SOPS 450377 HAS SOUS 248675 HAS SOUPS 247665 WITH SCORE 248126.611
AT ITER 526 NEW BEST:: SOT 875459 SOS 461471 HAS SOPS 450237 HAS SOUS 248628 HAS SOUPS 247618 WITH SCORE 248079.471
AT ITER 533 NEW BEST:: SOT 871406 SOS 462530 HAS SOPS 451296 HAS SOUS 248393 HAS SOUPS 247383 WITH SCORE 247845.53
AT ITER 536 NEW BEST:: SOT 871425 SOS 462479 HAS SOPS 451245 HAS SOUS 248253 HAS SOUPS 247243 WITH SCORE 247705.479
AT ITER 555 NEW BEST:: SOT 871425 SOS 462479 HAS SOPS 451245 HAS SOUS 248220 HAS SOUPS 247210 WITH SCORE 247672.479
AT ITER 561 NEW BEST:: SOT 871477 SOS 462323 HAS SOPS 451089 HAS SOUS 248064 HAS SOUPS 247054 WITH SCORE 247516.323
AT ITER 562 NEW BEST:: SOT 871388 SOS 464006 HAS SOPS 452795 HAS SOUS 247794 HAS SOUPS 246784 WITH SCORE 247248.006
AT ITER 567 NEW BEST:: SOT 867144 SOS 459784 HAS SOPS 448573 HAS SOUS 245467 HAS SOUPS 244457 WITH SCORE 244916.784
AT ITER 576 NEW BEST:: SOT 863069 SOS 455855 HAS SOPS 444644 HAS SOUS 243874 HAS SOUPS 242864 WITH SCORE 243319.855
AT ITER 580 NEW BEST:: SOT 863189 SOS 455994 HAS SOPS 444705 HAS SOUS 243862 HAS SOUPS 242833 WITH SCORE 243288.994
AT ITER 582 NEW BEST:: SOT 863128 SOS 455872 HAS SOPS 444583 HAS SOUS 243661 HAS SOUPS 242632 WITH SCORE 243087.872
AT ITER 586 NEW BEST:: SOT 863095 SOS 455806 HAS SOPS 444517 HAS SOUS 243659 HAS SOUPS 242630 WITH SCORE 243085.806
AT ITER 598 NEW BEST:: SOT 863042 SOS 455790 HAS SOPS 444671 HAS SOUS 243635 HAS SOUPS 242606 WITH SCORE 243061.79
AT ITER 600 NEW BEST:: SOT 862286 SOS 455178 HAS SOPS 444059 HAS SOUS 242858 HAS SOUPS 241829 WITH SCORE 242284.178
AT ITER 604 NEW BEST:: SOT 862277 SOS 455172 HAS SOPS 444053 HAS SOUS 242852 HAS SOUPS 241823 WITH SCORE 242278.172
AT ITER 610 NEW BEST:: SOT 861017 SOS 453897 HAS SOPS 442778 HAS SOUS 241572 HAS SOUPS 240543 WITH SCORE 240996.897
AT ITER 611 NEW BEST:: SOT 861050 SOS 453921 HAS SOPS 442840 HAS SOUS 241571 HAS SOUPS 240542 WITH SCORE 240995.921
AT ITER 613 NEW BEST:: SOT 861051 SOS 453922 HAS SOPS 442851 HAS SOUS 241567 HAS SOUPS 240538 WITH SCORE 240991.922
AT ITER 643 NEW BEST:: SOT 860837 SOS 453708 HAS SOPS 442637 HAS SOUS 241353 HAS SOUPS 240324 WITH SCORE 240777.708
AT ITER 645 NEW BEST:: SOT 860909 SOS 453780 HAS SOPS 442709 HAS SOUS 241284 HAS SOUPS 240255 WITH SCORE 240708.78
AT ITER 653 NEW BEST:: SOT 861140 SOS 454011 HAS SOPS 442940 HAS SOUS 240972 HAS SOUPS 239943 WITH SCORE 240397.011
AT ITER 657 NEW BEST:: SOT 861094 SOS 453896 HAS SOPS 442825 HAS SOUS 240880 HAS SOUPS 239851 WITH SCORE 240304.896
AT ITER 661 NEW BEST:: SOT 860938 SOS 447739 HAS SOPS 436668 HAS SOUS 240798 HAS SOUPS 239769 WITH SCORE 240216.739
AT ITER 667 NEW BEST:: SOT 860817 SOS 447798 HAS SOPS 436727 HAS SOUS 240749 HAS SOUPS 239720 WITH SCORE 240167.798
AT ITER 708 NEW BEST:: SOT 860806 SOS 447787 HAS SOPS 436716 HAS SOUS 240738 HAS SOUPS 239709 WITH SCORE 240156.787
AT ITER 709 NEW BEST:: SOT 860539 SOS 447558 HAS SOPS 436487 HAS SOUS 240648 HAS SOUPS 239619 WITH SCORE 240066.558
AT ITER 726 NEW BEST:: SOT 860456 SOS 447635 HAS SOPS 436564 HAS SOUS 240629 HAS SOUPS 239600 WITH SCORE 240047.635
AT ITER 730 NEW BEST:: SOT 860427 SOS 447594 HAS SOPS 436523 HAS SOUS 240461 HAS SOUPS 239432 WITH SCORE 239879.594
AT ITER 731 NEW BEST:: SOT 859516 SOS 446844 HAS SOPS 435773 HAS SOUS 239854 HAS SOUPS 238825 WITH SCORE 239271.844
AT ITER 739 NEW BEST:: SOT 859423 SOS 447015 HAS SOPS 435944 HAS SOUS 239730 HAS SOUPS 238701 WITH SCORE 239148.015
AT ITER 744 NEW BEST:: SOT 849643 SOS 467610 HAS SOPS 461312 HAS SOUS 231444 HAS SOUPS 230755 WITH SCORE 231222.61
AT ITER 752 NEW BEST:: SOT 849554 SOS 467521 HAS SOPS 461223 HAS SOUS 231355 HAS SOUPS 230666 WITH SCORE 231133.521
AT ITER 757 NEW BEST:: SOT 849338 SOS 467166 HAS SOPS 460868 HAS SOUS 231155 HAS SOUPS 230466 WITH SCORE 230933.166
AT ITER 767 NEW BEST:: SOT 849296 SOS 467124 HAS SOPS 460826 HAS SOUS 231099 HAS SOUPS 230410 WITH SCORE 230877.124
AT ITER 768 NEW BEST:: SOT 849345 SOS 467103 HAS SOPS 460805 HAS SOUS 230959 HAS SOUPS 230270 WITH SCORE 230737.103
AT ITER 774 NEW BEST:: SOT 845374 SOS 463132 HAS SOPS 456834 HAS SOUS 228434 HAS SOUPS 227745 WITH SCORE 228208.132
AT ITER 799 NEW BEST:: SOT 845204 SOS 463045 HAS SOPS 456747 HAS SOUS 227359 HAS SOUPS 226670 WITH SCORE 227133.045
AT ITER 804 NEW BEST:: SOT 845046 SOS 462902 HAS SOPS 456679 HAS SOUS 227304 HAS SOUPS 226615 WITH SCORE 227077.902
AT ITER 809 NEW BEST:: SOT 845046 SOS 462902 HAS SOPS 456679 HAS SOUS 227292 HAS SOUPS 226603 WITH SCORE 227065.902
AT ITER 821 NEW BEST:: SOT 845028 SOS 462812 HAS SOPS 456589 HAS SOUS 227274 HAS SOUPS 226585 WITH SCORE 227047.812
AT ITER 825 NEW BEST:: SOT 844996 SOS 462748 HAS SOPS 456525 HAS SOUS 227178 HAS SOUPS 226489 WITH SCORE 226951.748
AT ITER 826 NEW BEST:: SOT 844738 SOS 462355 HAS SOPS 456132 HAS SOUS 226896 HAS SOUPS 226207 WITH SCORE 226669.355
AT ITER 829 NEW BEST:: SOT 844804 SOS 462398 HAS SOPS 456175 HAS SOUS 226611 HAS SOUPS 225922 WITH SCORE 226384.398
AT ITER 838 NEW BEST:: SOT 844804 SOS 462381 HAS SOPS 456158 HAS SOUS 226601 HAS SOUPS 225912 WITH SCORE 226374.381
AT ITER 855 NEW BEST:: SOT 844804 SOS 462371 HAS SOPS 456148 HAS SOUS 226551 HAS SOUPS 225862 WITH SCORE 226324.371
AT ITER 864 NEW BEST:: SOT 843795 SOS 461385 HAS SOPS 455162 HAS SOUS 226192 HAS SOUPS 225503 WITH SCORE 225964.385
AT ITER 887 NEW BEST:: SOT 843865 SOS 461442 HAS SOPS 455219 HAS SOUS 226114 HAS SOUPS 225425 WITH SCORE 225886.442
AT ITER 896 NEW BEST:: SOT 844751 SOS 462370 HAS SOPS 456147 HAS SOUS 225698 HAS SOUPS 225009 WITH SCORE 225471.37
AT ITER 903 NEW BEST:: SOT 847669 SOS 465520 HAS SOPS 459297 HAS SOUS 225356 HAS SOUPS 224667 WITH SCORE 225132.52
AT ITER 917 NEW BEST:: SOT 847657 SOS 465508 HAS SOPS 459285 HAS SOUS 225344 HAS SOUPS 224655 WITH SCORE 225120.508
AT ITER 927 NEW BEST:: SOT 845162 SOS 463284 HAS SOPS 457061 HAS SOUS 225163 HAS SOUPS 224474 WITH SCORE 224937.284
AT ITER 929 NEW BEST:: SOT 844952 SOS 462041 HAS SOPS 455818 HAS SOUS 225067 HAS SOUPS 224378 WITH SCORE 224840.041
AT ITER 934 NEW BEST:: SOT 844910 SOS 461999 HAS SOPS 455776 HAS SOUS 225025 HAS SOUPS 224336 WITH SCORE 224797.999
AT ITER 941 NEW BEST:: SOT 844856 SOS 461945 HAS SOPS 455722 HAS SOUS 224647 HAS SOUPS 223958 WITH SCORE 224419.945
AT ITER 942 NEW BEST:: SOT 844797 SOS 461886 HAS SOPS 455457 HAS SOUS 224628 HAS SOUPS 223733 WITH SCORE 224194.886
AT ITER 956 NEW BEST:: SOT 844777 SOS 461866 HAS SOPS 455437 HAS SOUS 224588 HAS SOUPS 223693 WITH SCORE 224154.866
AT ITER 960 NEW BEST:: SOT 844572 SOS 461689 HAS SOPS 455260 HAS SOUS 224411 HAS SOUPS 223516 WITH SCORE 223977.689
AT ITER 967 NEW BEST:: SOT 844506 SOS 462336 HAS SOPS 455932 HAS SOUS 224238 HAS SOUPS 223343 WITH SCORE 223805.336
AT ITER 976 NEW BEST:: SOT 844434 SOS 462156 HAS SOPS 455752 HAS SOUS 224172 HAS SOUPS 223277 WITH SCORE 223739.156
AT ITER 979 NEW BEST:: SOT 838046 SOS 460098 HAS SOPS 453694 HAS SOUS 222309 HAS SOUPS 221414 WITH SCORE 221874.098
AT ITER 981 NEW BEST:: SOT 837865 SOS 460000 HAS SOPS 453596 HAS SOUS 221930 HAS SOUPS 221035 WITH SCORE 221495.0
AT ITER 989 NEW BEST:: SOT 837842 SOS 459726 HAS SOPS 453322 HAS SOUS 221884 HAS SOUPS 220989 WITH SCORE 221448.726
AT ITER 996 NEW BEST:: SOT 837855 SOS 459739 HAS SOPS 453335 HAS SOUS 221722 HAS SOUPS 220827 WITH SCORE 221286.739
AT ITER 1001 NEW BEST:: SOT 837806 SOS 459715 HAS SOPS 453311 HAS SOUS 221618 HAS SOUPS 220723 WITH SCORE 221182.715
AT ITER 1002 NEW BEST:: SOT 837768 SOS 459636 HAS SOPS 453232 HAS SOUS 221520 HAS SOUPS 220625 WITH SCORE 221084.636
AT ITER 1044 NEW BEST:: SOT 837523 SOS 459057 HAS SOPS 452653 HAS SOUS 221197 HAS SOUPS 220302 WITH SCORE 220761.057
AT ITER 1052 NEW BEST:: SOT 837601 SOS 459135 HAS SOPS 452731 HAS SOUS 221169 HAS SOUPS 220274 WITH SCORE 220733.135
AT ITER 1058 NEW BEST:: SOT 837508 SOS 459108 HAS SOPS 452704 HAS SOUS 220521 HAS SOUPS 219626 WITH SCORE 220085.108
AT ITER 1061 NEW BEST:: SOT 836472 SOS 458219 HAS SOPS 451815 HAS SOUS 219770 HAS SOUPS 218875 WITH SCORE 219333.219
AT ITER 1094 NEW BEST:: SOT 836393 SOS 458076 HAS SOPS 451672 HAS SOUS 219563 HAS SOUPS 218668 WITH SCORE 219126.076
AT ITER 1106 NEW BEST:: SOT 836252 SOS 457935 HAS SOPS 451531 HAS SOUS 219452 HAS SOUPS 218557 WITH SCORE 219014.935
AT ITER 1112 NEW BEST:: SOT 836235 SOS 457738 HAS SOPS 451334 HAS SOUS 219326 HAS SOUPS 218431 WITH SCORE 218888.738
AT ITER 1113 NEW BEST:: SOT 836170 SOS 457673 HAS SOPS 451269 HAS SOUS 219261 HAS SOUPS 218366 WITH SCORE 218823.673
AT ITER 1121 NEW BEST:: SOT 836034 SOS 456904 HAS SOPS 450500 HAS SOUS 219118 HAS SOUPS 218223 WITH SCORE 218679.904
AT ITER 1122 NEW BEST:: SOT 836025 SOS 456895 HAS SOPS 450491 HAS SOUS 219109 HAS SOUPS 218214 WITH SCORE 218670.895
AT ITER 1123 NEW BEST:: SOT 834322 SOS 455148 HAS SOPS 448744 HAS SOUS 219006 HAS SOUPS 218111 WITH SCORE 218566.148
AT ITER 1138 NEW BEST:: SOT 834234 SOS 455005 HAS SOPS 448601 HAS SOUS 218775 HAS SOUPS 217880 WITH SCORE 218335.005
AT ITER 1146 NEW BEST:: SOT 834242 SOS 455021 HAS SOPS 448617 HAS SOUS 218677 HAS SOUPS 217782 WITH SCORE 218237.021
AT ITER 1155 NEW BEST:: SOT 834177 SOS 454934 HAS SOPS 448530 HAS SOUS 218521 HAS SOUPS 217626 WITH SCORE 218080.934
AT ITER 1161 NEW BEST:: SOT 834121 SOS 454840 HAS SOPS 448436 HAS SOUS 218447 HAS SOUPS 217552 WITH SCORE 218006.84
AT ITER 1166 NEW BEST:: SOT 834106 SOS 454825 HAS SOPS 448421 HAS SOUS 218432 HAS SOUPS 217537 WITH SCORE 217991.825
AT ITER 1190 NEW BEST:: SOT 831863 SOS 461813 HAS SOPS 453240 HAS SOUS 216134 HAS SOUPS 214894 WITH SCORE 215355.813
AT ITER 1198 NEW BEST:: SOT 831863 SOS 461769 HAS SOPS 453196 HAS SOUS 216090 HAS SOUPS 214850 WITH SCORE 215311.769
AT ITER 1203 NEW BEST:: SOT 830855 SOS 460761 HAS SOPS 452188 HAS SOUS 215632 HAS SOUPS 214392 WITH SCORE 214852.761
AT ITER 1207 NEW BEST:: SOT 830855 SOS 460709 HAS SOPS 452136 HAS SOUS 215632 HAS SOUPS 214392 WITH SCORE 214852.709
AT ITER 1233 NEW BEST:: SOT 830818 SOS 460628 HAS SOPS 452055 HAS SOUS 215625 HAS SOUPS 214385 WITH SCORE 214845.628
AT ITER 1247 NEW BEST:: SOT 828455 SOS 458366 HAS SOPS 449793 HAS SOUS 213837 HAS SOUPS 212597 WITH SCORE 213055.366
AT ITER 1254 NEW BEST:: SOT 828270 SOS 457758 HAS SOPS 449185 HAS SOUS 213637 HAS SOUPS 212397 WITH SCORE 212854.758
AT ITER 1261 NEW BEST:: SOT 827973 SOS 457520 HAS SOPS 448935 HAS SOUS 213376 HAS SOUPS 212136 WITH SCORE 212593.52
AT ITER 1269 NEW BEST:: SOT 827945 SOS 457492 HAS SOPS 448907 HAS SOUS 213320 HAS SOUPS 212080 WITH SCORE 212537.492
AT ITER 1286 NEW BEST:: SOT 827887 SOS 457376 HAS SOPS 448791 HAS SOUS 213268 HAS SOUPS 212028 WITH SCORE 212485.376
AT ITER 1288 NEW BEST:: SOT 826624 SOS 456194 HAS SOPS 447609 HAS SOUS 212016 HAS SOUPS 210776 WITH SCORE 211232.194
AT ITER 1299 NEW BEST:: SOT 826624 SOS 456238 HAS SOPS 447653 HAS SOUS 211994 HAS SOUPS 210754 WITH SCORE 211210.238
AT ITER 1303 NEW BEST:: SOT 826624 SOS 456232 HAS SOPS 447647 HAS SOUS 211994 HAS SOUPS 210754 WITH SCORE 211210.232
AT ITER 1317 NEW BEST:: SOT 826584 SOS 456192 HAS SOPS 447607 HAS SOUS 211928 HAS SOUPS 210688 WITH SCORE 211144.192
AT ITER 1355 NEW BEST:: SOT 826692 SOS 456300 HAS SOPS 447715 HAS SOUS 211921 HAS SOUPS 210681 WITH SCORE 211137.3
AT ITER 1357 NEW BEST:: SOT 826652 SOS 456684 HAS SOPS 448099 HAS SOUS 211893 HAS SOUPS 210653 WITH SCORE 211109.684
AT ITER 1362 NEW BEST:: SOT 826442 SOS 456509 HAS SOPS 447924 HAS SOUS 211648 HAS SOUPS 210408 WITH SCORE 210864.509
AT ITER 1371 NEW BEST:: SOT 824328 SOS 454325 HAS SOPS 445740 HAS SOUS 210705 HAS SOUPS 209465 WITH SCORE 209919.325
AT ITER 1372 NEW BEST:: SOT 824604 SOS 454560 HAS SOPS 445975 HAS SOUS 210580 HAS SOUPS 209340 WITH SCORE 209794.56
AT ITER 1393 NEW BEST:: SOT 824526 SOS 454482 HAS SOPS 445897 HAS SOUS 210571 HAS SOUPS 209331 WITH SCORE 209785.482
AT ITER 1402 NEW BEST:: SOT 823987 SOS 454038 HAS SOPS 445453 HAS SOUS 209998 HAS SOUPS 208758 WITH SCORE 209212.038
AT ITER 1408 NEW BEST:: SOT 823995 SOS 454046 HAS SOPS 445461 HAS SOUS 209952 HAS SOUPS 208712 WITH SCORE 209166.046
AT ITER 1412 NEW BEST:: SOT 823995 SOS 454506 HAS SOPS 445921 HAS SOUS 209900 HAS SOUPS 208660 WITH SCORE 209114.506
AT ITER 1418 NEW BEST:: SOT 823936 SOS 454387 HAS SOPS 445802 HAS SOUS 209703 HAS SOUPS 208463 WITH SCORE 208917.387
AT ITER 1434 NEW BEST:: SOT 823929 SOS 454183 HAS SOPS 445700 HAS SOUS 209642 HAS SOUPS 208402 WITH SCORE 208856.183
AT ITER 1495 NEW BEST:: SOT 823886 SOS 454097 HAS SOPS 445614 HAS SOUS 209556 HAS SOUPS 208316 WITH SCORE 208770.097
AT ITER 1524 NEW BEST:: SOT 823778 SOS 453940 HAS SOPS 445457 HAS SOUS 209479 HAS SOUPS 208239 WITH SCORE 208692.94
AT ITER 1529 NEW BEST:: SOT 823369 SOS 453628 HAS SOPS 445145 HAS SOUS 209206 HAS SOUPS 207966 WITH SCORE 208419.628
AT ITER 1530 NEW BEST:: SOT 823372 SOS 453631 HAS SOPS 445148 HAS SOUS 209193 HAS SOUPS 207953 WITH SCORE 208406.631
AT ITER 1540 NEW BEST:: SOT 823332 SOS 453581 HAS SOPS 445098 HAS SOUS 209113 HAS SOUPS 207873 WITH SCORE 208326.581
AT ITER 1548 NEW BEST:: SOT 823332 SOS 453581 HAS SOPS 445098 HAS SOUS 208648 HAS SOUPS 207408 WITH SCORE 207861.581
AT ITER 1552 NEW BEST:: SOT 823060 SOS 452889 HAS SOPS 444406 HAS SOUS 208225 HAS SOUPS 206985 WITH SCORE 207437.889
AT ITER 1553 NEW BEST:: SOT 822823 SOS 452573 HAS SOPS 444090 HAS SOUS 206882 HAS SOUPS 205642 WITH SCORE 206094.573
AT ITER 1565 NEW BEST:: SOT 822800 SOS 452550 HAS SOPS 444067 HAS SOUS 206859 HAS SOUPS 205619 WITH SCORE 206071.55
AT ITER 1583 NEW BEST:: SOT 822769 SOS 452388 HAS SOPS 443905 HAS SOUS 206606 HAS SOUPS 205366 WITH SCORE 205818.388
AT ITER 1586 NEW BEST:: SOT 822658 SOS 452314 HAS SOPS 443831 HAS SOUS 205755 HAS SOUPS 204515 WITH SCORE 204967.314
AT ITER 1590 NEW BEST:: SOT 822702 SOS 452277 HAS SOPS 443794 HAS SOUS 205755 HAS SOUPS 204515 WITH SCORE 204967.277
AT ITER 1594 NEW BEST:: SOT 822702 SOS 452274 HAS SOPS 443791 HAS SOUS 205755 HAS SOUPS 204515 WITH SCORE 204967.274
AT ITER 1600 NEW BEST:: SOT 822722 SOS 452314 HAS SOPS 443831 HAS SOUS 205474 HAS SOUPS 204234 WITH SCORE 204686.314
AT ITER 1602 NEW BEST:: SOT 822397 SOS 451989 HAS SOPS 443506 HAS SOUS 205070 HAS SOUPS 203830 WITH SCORE 204281.989
AT ITER 1607 NEW BEST:: SOT 822206 SOS 451606 HAS SOPS 443123 HAS SOUS 204783 HAS SOUPS 203543 WITH SCORE 203994.606
AT ITER 1615 NEW BEST:: SOT 822083 SOS 451613 HAS SOPS 443130 HAS SOUS 204537 HAS SOUPS 203297 WITH SCORE 203748.613
AT ITER 1617 NEW BEST:: SOT 822089 SOS 451619 HAS SOPS 443136 HAS SOUS 204447 HAS SOUPS 203207 WITH SCORE 203658.619
AT ITER 1623 NEW BEST:: SOT 821977 SOS 451661 HAS SOPS 443208 HAS SOUS 204287 HAS SOUPS 203048 WITH SCORE 203499.661
AT ITER 1668 NEW BEST:: SOT 817674 SOS 462352 HAS SOPS 453899 HAS SOUS 200376 HAS SOUPS 199137 WITH SCORE 199599.352
AT ITER 1741 NEW BEST:: SOT 817982 SOS 462896 HAS SOPS 454443 HAS SOUS 200252 HAS SOUPS 199013 WITH SCORE 199475.896
AT ITER 1742 NEW BEST:: SOT 818071 SOS 462985 HAS SOPS 454532 HAS SOUS 200240 HAS SOUPS 199001 WITH SCORE 199463.985
AT ITER 1743 NEW BEST:: SOT 816468 SOS 461312 HAS SOPS 452859 HAS SOUS 200073 HAS SOUPS 198834 WITH SCORE 199295.312
AT ITER 1754 NEW BEST:: SOT 816314 SOS 450770 HAS SOPS 442317 HAS SOUS 199644 HAS SOUPS 198405 WITH SCORE 198855.77
AT ITER 1761 NEW BEST:: SOT 816041 SOS 450497 HAS SOPS 442044 HAS SOUS 199138 HAS SOUPS 197899 WITH SCORE 198349.497
AT ITER 1767 NEW BEST:: SOT 816029 SOS 450485 HAS SOPS 442032 HAS SOUS 199126 HAS SOUPS 197887 WITH SCORE 198337.485
AT ITER 1770 NEW BEST:: SOT 813042 SOS 447194 HAS SOPS 438741 HAS SOUS 195773 HAS SOUPS 194534 WITH SCORE 194981.194
AT ITER 1776 NEW BEST:: SOT 812778 SOS 446935 HAS SOPS 438482 HAS SOUS 195660 HAS SOUPS 194421 WITH SCORE 194867.935
AT ITER 1777 NEW BEST:: SOT 812751 SOS 446890 HAS SOPS 438437 HAS SOUS 195624 HAS SOUPS 194385 WITH SCORE 194831.89
AT ITER 1782 NEW BEST:: SOT 812717 SOS 446856 HAS SOPS 438403 HAS SOUS 195554 HAS SOUPS 194315 WITH SCORE 194761.856
AT ITER 1791 NEW BEST:: SOT 812492 SOS 446671 HAS SOPS 438218 HAS SOUS 195339 HAS SOUPS 194100 WITH SCORE 194546.671
AT ITER 1796 NEW BEST:: SOT 812419 SOS 446561 HAS SOPS 438108 HAS SOUS 195229 HAS SOUPS 193990 WITH SCORE 194436.561
AT ITER 1805 NEW BEST:: SOT 812418 SOS 446560 HAS SOPS 438107 HAS SOUS 195227 HAS SOUPS 193988 WITH SCORE 194434.56
AT ITER 1807 NEW BEST:: SOT 812401 SOS 446543 HAS SOPS 438090 HAS SOUS 195148 HAS SOUPS 193909 WITH SCORE 194355.543
AT ITER 1808 NEW BEST:: SOT 811968 SOS 446110 HAS SOPS 437657 HAS SOUS 194567 HAS SOUPS 193328 WITH SCORE 193774.11
AT ITER 1813 NEW BEST:: SOT 811976 SOS 446115 HAS SOPS 437662 HAS SOUS 194498 HAS SOUPS 193259 WITH SCORE 193705.115
AT ITER 1832 NEW BEST:: SOT 811972 SOS 446111 HAS SOPS 437658 HAS SOUS 194490 HAS SOUPS 193251 WITH SCORE 193697.111
AT ITER 1834 NEW BEST:: SOT 811958 SOS 446090 HAS SOPS 437637 HAS SOUS 194455 HAS SOUPS 193216 WITH SCORE 193662.09
AT ITER 1839 NEW BEST:: SOT 809797 SOS 443829 HAS SOPS 435376 HAS SOUS 194329 HAS SOUPS 193090 WITH SCORE 193533.829
AT ITER 1841 NEW BEST:: SOT 809763 SOS 443761 HAS SOPS 435308 HAS SOUS 194227 HAS SOUPS 192988 WITH SCORE 193431.761
AT ITER 1847 NEW BEST:: SOT 809687 SOS 443685 HAS SOPS 435232 HAS SOUS 194075 HAS SOUPS 192836 WITH SCORE 193279.685
AT ITER 1854 NEW BEST:: SOT 809627 SOS 443595 HAS SOPS 435142 HAS SOUS 193925 HAS SOUPS 192686 WITH SCORE 193129.595
AT ITER 1856 NEW BEST:: SOT 809557 SOS 443455 HAS SOPS 435002 HAS SOUS 193820 HAS SOUPS 192581 WITH SCORE 193024.455
AT ITER 1861 NEW BEST:: SOT 809550 SOS 443448 HAS SOPS 434995 HAS SOUS 193806 HAS SOUPS 192567 WITH SCORE 193010.448
AT ITER 1867 NEW BEST:: SOT 809529 SOS 443427 HAS SOPS 434974 HAS SOUS 193684 HAS SOUPS 192445 WITH SCORE 192888.427
AT ITER 1870 NEW BEST:: SOT 807716 SOS 441685 HAS SOPS 433232 HAS SOUS 192689 HAS SOUPS 191450 WITH SCORE 191891.685
AT ITER 1882 NEW BEST:: SOT 807691 SOS 441644 HAS SOPS 433191 HAS SOUS 192648 HAS SOUPS 191409 WITH SCORE 191850.644
AT ITER 1885 NEW BEST:: SOT 807569 SOS 441599 HAS SOPS 433146 HAS SOUS 192618 HAS SOUPS 191379 WITH SCORE 191820.599
AT ITER 1886 NEW BEST:: SOT 807446 SOS 441293 HAS SOPS 432840 HAS SOUS 192512 HAS SOUPS 191273 WITH SCORE 191714.293
AT ITER 1919 NEW BEST:: SOT 807559 SOS 441406 HAS SOPS 432953 HAS SOUS 192391 HAS SOUPS 191152 WITH SCORE 191593.406
AT ITER 1920 NEW BEST:: SOT 807461 SOS 441287 HAS SOPS 432834 HAS SOUS 192161 HAS SOUPS 190922 WITH SCORE 191363.287
AT ITER 1928 NEW BEST:: SOT 807441 SOS 441267 HAS SOPS 432814 HAS SOUS 192160 HAS SOUPS 190921 WITH SCORE 191362.267
AT ITER 1941 NEW BEST:: SOT 807197 SOS 440681 HAS SOPS 432228 HAS SOUS 191842 HAS SOUPS 190603 WITH SCORE 191043.681
AT ITER 1942 NEW BEST:: SOT 807118 SOS 440285 HAS SOPS 431832 HAS SOUS 191684 HAS SOUPS 190445 WITH SCORE 190885.285
AT ITER 1956 NEW BEST:: SOT 807047 SOS 440223 HAS SOPS 431770 HAS SOUS 191582 HAS SOUPS 190343 WITH SCORE 190783.223
AT ITER 1960 NEW BEST:: SOT 806982 SOS 440158 HAS SOPS 431705 HAS SOUS 191364 HAS SOUPS 190125 WITH SCORE 190565.158
AT ITER 1983 NEW BEST:: SOT 807009 SOS 440225 HAS SOPS 431772 HAS SOUS 191350 HAS SOUPS 190111 WITH SCORE 190551.225
AT ITER 2057 NEW BEST:: SOT 806957 SOS 440173 HAS SOPS 431720 HAS SOUS 191283 HAS SOUPS 190044 WITH SCORE 190484.173
AT ITER 2060 NEW BEST:: SOT 806969 SOS 440185 HAS SOPS 431732 HAS SOUS 191224 HAS SOUPS 189985 WITH SCORE 190425.185
AT ITER 2064 NEW BEST:: SOT 806917 SOS 440073 HAS SOPS 431620 HAS SOUS 191120 HAS SOUPS 189881 WITH SCORE 190321.073
AT ITER 2083 NEW BEST:: SOT 806899 SOS 440043 HAS SOPS 431590 HAS SOUS 191099 HAS SOUPS 189860 WITH SCORE 190300.043
AT ITER 2102 NEW BEST:: SOT 806919 SOS 440093 HAS SOPS 431640 HAS SOUS 191060 HAS SOUPS 189821 WITH SCORE 190261.093
AT ITER 2109 NEW BEST:: SOT 806787 SOS 439873 HAS SOPS 431420 HAS SOUS 190884 HAS SOUPS 189645 WITH SCORE 190084.873
AT ITER 2113 NEW BEST:: SOT 806787 SOS 439873 HAS SOPS 431420 HAS SOUS 190878 HAS SOUPS 189639 WITH SCORE 190078.873
AT ITER 2123 NEW BEST:: SOT 806772 SOS 439858 HAS SOPS 431405 HAS SOUS 190863 HAS SOUPS 189624 WITH SCORE 190063.858
AT ITER 2159 NEW BEST:: SOT 806741 SOS 439827 HAS SOPS 431374 HAS SOUS 190822 HAS SOUPS 189583 WITH SCORE 190022.827
AT ITER 2180 NEW BEST:: SOT 806617 SOS 439632 HAS SOPS 431077 HAS SOUS 190280 HAS SOUPS 189041 WITH SCORE 189480.632
AT ITER 2195 NEW BEST:: SOT 806566 SOS 439581 HAS SOPS 431026 HAS SOUS 190181 HAS SOUPS 188942 WITH SCORE 189381.581
AT ITER 2204 NEW BEST:: SOT 806560 SOS 439575 HAS SOPS 431020 HAS SOUS 190180 HAS SOUPS 188941 WITH SCORE 189380.575
AT ITER 2210 NEW BEST:: SOT 806307 SOS 439322 HAS SOPS 430767 HAS SOUS 190169 HAS SOUPS 188930 WITH SCORE 189369.322
AT ITER 2237 NEW BEST:: SOT 806277 SOS 439277 HAS SOPS 430722 HAS SOUS 190109 HAS SOUPS 188870 WITH SCORE 189309.277
AT ITER 2261 NEW BEST:: SOT 806253 SOS 439002 HAS SOPS 430447 HAS SOUS 190061 HAS SOUPS 188822 WITH SCORE 189261.002
AT ITER 2265 NEW BEST:: SOT 806095 SOS 438859 HAS SOPS 430389 HAS SOUS 190033 HAS SOUPS 188794 WITH SCORE 189232.859
AT ITER 2282 NEW BEST:: SOT 806019 SOS 438875 HAS SOPS 430405 HAS SOUS 189881 HAS SOUPS 188642 WITH SCORE 189080.875
AT ITER 2288 NEW BEST:: SOT 805983 SOS 438839 HAS SOPS 430369 HAS SOUS 189845 HAS SOUPS 188606 WITH SCORE 189044.839
AT ITER 2293 NEW BEST:: SOT 805955 SOS 438751 HAS SOPS 430281 HAS SOUS 189789 HAS SOUPS 188550 WITH SCORE 188988.751
AT ITER 2314 NEW BEST:: SOT 806052 SOS 438848 HAS SOPS 430378 HAS SOUS 189788 HAS SOUPS 188549 WITH SCORE 188987.848
AT ITER 2321 NEW BEST:: SOT 806059 SOS 438855 HAS SOPS 430385 HAS SOUS 189755 HAS SOUPS 188516 WITH SCORE 188954.855
AT ITER 2327 NEW BEST:: SOT 806074 SOS 438870 HAS SOPS 430400 HAS SOUS 189663 HAS SOUPS 188424 WITH SCORE 188862.87
AT ITER 2335 NEW BEST:: SOT 805890 SOS 438516 HAS SOPS 430046 HAS SOUS 189387 HAS SOUPS 188148 WITH SCORE 188586.516
AT ITER 2341 NEW BEST:: SOT 805880 SOS 438537 HAS SOPS 430056 HAS SOUS 189317 HAS SOUPS 188078 WITH SCORE 188516.537
AT ITER 2347 NEW BEST:: SOT 805705 SOS 438350 HAS SOPS 429869 HAS SOUS 189173 HAS SOUPS 187934 WITH SCORE 188372.35
AT ITER 2358 NEW BEST:: SOT 805699 SOS 438344 HAS SOPS 429860 HAS SOUS 189161 HAS SOUPS 187922 WITH SCORE 188360.344
AT ITER 2360 NEW BEST:: SOT 805686 SOS 438331 HAS SOPS 429847 HAS SOUS 189135 HAS SOUPS 187896 WITH SCORE 188334.331
AT ITER 2371 NEW BEST:: SOT 805624 SOS 438238 HAS SOPS 429754 HAS SOUS 189042 HAS SOUPS 187803 WITH SCORE 188241.238
AT ITER 2373 NEW BEST:: SOT 805621 SOS 438235 HAS SOPS 429751 HAS SOUS 189028 HAS SOUPS 187789 WITH SCORE 188227.235
AT ITER 2387 NEW BEST:: SOT 805580 SOS 438094 HAS SOPS 429610 HAS SOUS 188992 HAS SOUPS 187753 WITH SCORE 188191.094
AT ITER 2393 NEW BEST:: SOT 805532 SOS 438046 HAS SOPS 429562 HAS SOUS 188912 HAS SOUPS 187673 WITH SCORE 188111.046
AT ITER 2395 NEW BEST:: SOT 805532 SOS 437966 HAS SOPS 429482 HAS SOUS 188910 HAS SOUPS 187671 WITH SCORE 188108.966
AT ITER 2403 NEW BEST:: SOT 805462 SOS 437896 HAS SOPS 429412 HAS SOUS 188770 HAS SOUPS 187531 WITH SCORE 187968.896
AT ITER 2410 NEW BEST:: SOT 805433 SOS 437867 HAS SOPS 429383 HAS SOUS 188712 HAS SOUPS 187473 WITH SCORE 187910.867
AT ITER 2415 NEW BEST:: SOT 805054 SOS 437546 HAS SOPS 429062 HAS SOUS 188430 HAS SOUPS 187191 WITH SCORE 187628.546
AT ITER 2417 NEW BEST:: SOT 805018 SOS 437474 HAS SOPS 428990 HAS SOUS 188309 HAS SOUPS 187070 WITH SCORE 187507.474
AT ITER 2425 NEW BEST:: SOT 804950 SOS 437406 HAS SOPS 428922 HAS SOUS 188302 HAS SOUPS 187063 WITH SCORE 187500.406
AT ITER 2430 NEW BEST:: SOT 804832 SOS 437904 HAS SOPS 429420 HAS SOUS 188213 HAS SOUPS 186974 WITH SCORE 187411.904
AT ITER 2445 NEW BEST:: SOT 804447 SOS 437572 HAS SOPS 429088 HAS SOUS 187803 HAS SOUPS 186564 WITH SCORE 187001.572
AT ITER 2446 NEW BEST:: SOT 804452 SOS 437577 HAS SOPS 429093 HAS SOUS 187683 HAS SOUPS 186444 WITH SCORE 186881.577
AT ITER 2483 NEW BEST:: SOT 803207 SOS 435643 HAS SOPS 427159 HAS SOUS 186721 HAS SOUPS 185482 WITH SCORE 185917.643
AT ITER 2484 NEW BEST:: SOT 803220 SOS 435669 HAS SOPS 427185 HAS SOUS 186668 HAS SOUPS 185429 WITH SCORE 185864.669
AT ITER 2493 NEW BEST:: SOT 803220 SOS 435018 HAS SOPS 426534 HAS SOUS 186648 HAS SOUPS 185409 WITH SCORE 185844.018
AT ITER 2495 NEW BEST:: SOT 803094 SOS 434892 HAS SOPS 426534 HAS SOUS 186522 HAS SOUPS 185283 WITH SCORE 185717.892
AT ITER 2499 NEW BEST:: SOT 803024 SOS 434892 HAS SOPS 426534 HAS SOUS 186452 HAS SOUPS 185213 WITH SCORE 185647.892
AT ITER 2504 NEW BEST:: SOT 803024 SOS 431880 HAS SOPS 423522 HAS SOUS 186449 HAS SOUPS 185210 WITH SCORE 185641.88
AT ITER 2505 NEW BEST:: SOT 802942 SOS 431798 HAS SOPS 423440 HAS SOUS 186407 HAS SOUPS 185168 WITH SCORE 185599.798
AT ITER 2509 NEW BEST:: SOT 802858 SOS 431673 HAS SOPS 423315 HAS SOUS 186275 HAS SOUPS 185036 WITH SCORE 185467.673
AT ITER 2517 NEW BEST:: SOT 802858 SOS 431580 HAS SOPS 423222 HAS SOUS 186255 HAS SOUPS 185016 WITH SCORE 185447.58
AT ITER 2525 NEW BEST:: SOT 802738 SOS 431340 HAS SOPS 422982 HAS SOUS 186233 HAS SOUPS 184994 WITH SCORE 185425.34
AT ITER 2531 NEW BEST:: SOT 802714 SOS 431324 HAS SOPS 422966 HAS SOUS 186215 HAS SOUPS 184976 WITH SCORE 185407.324
AT ITER 2534 NEW BEST:: SOT 802691 SOS 431221 HAS SOPS 422863 HAS SOUS 186209 HAS SOUPS 184970 WITH SCORE 185401.221
AT ITER 2536 NEW BEST:: SOT 802719 SOS 431249 HAS SOPS 422891 HAS SOUS 186187 HAS SOUPS 184948 WITH SCORE 185379.249
AT ITER 2538 NEW BEST:: SOT 802719 SOS 430749 HAS SOPS 422391 HAS SOUS 186187 HAS SOUPS 184948 WITH SCORE 185378.749
AT ITER 2539 NEW BEST:: SOT 803438 SOS 431468 HAS SOPS 423110 HAS SOUS 185935 HAS SOUPS 184696 WITH SCORE 185127.468
AT ITER 2542 NEW BEST:: SOT 803426 SOS 431444 HAS SOPS 423086 HAS SOUS 185935 HAS SOUPS 184696 WITH SCORE 185127.444
AT ITER 2563 NEW BEST:: SOT 803294 SOS 431224 HAS SOPS 422866 HAS SOUS 185715 HAS SOUPS 184476 WITH SCORE 184907.224
AT ITER 2585 NEW BEST:: SOT 803130 SOS 431011 HAS SOPS 422653 HAS SOUS 185629 HAS SOUPS 184390 WITH SCORE 184821.011
AT ITER 2592 NEW BEST:: SOT 803035 SOS 430735 HAS SOPS 422377 HAS SOUS 185525 HAS SOUPS 184286 WITH SCORE 184716.735
AT ITER 2596 NEW BEST:: SOT 803030 SOS 430720 HAS SOPS 422362 HAS SOUS 185515 HAS SOUPS 184276 WITH SCORE 184706.72
AT ITER 2608 NEW BEST:: SOT 802803 SOS 430448 HAS SOPS 422090 HAS SOUS 185179 HAS SOUPS 183940 WITH SCORE 184370.448
AT ITER 2612 NEW BEST:: SOT 802783 SOS 430428 HAS SOPS 422070 HAS SOUS 185152 HAS SOUPS 183913 WITH SCORE 184343.428
AT ITER 2631 NEW BEST:: SOT 802650 SOS 430295 HAS SOPS 421937 HAS SOUS 184997 HAS SOUPS 183758 WITH SCORE 184188.295
AT ITER 2686 NEW BEST:: SOT 802611 SOS 430217 HAS SOPS 421898 HAS SOUS 184997 HAS SOUPS 183758 WITH SCORE 184188.217
AT ITER 2696 NEW BEST:: SOT 803211 SOS 430731 HAS SOPS 422412 HAS SOUS 184709 HAS SOUPS 183470 WITH SCORE 183900.731
AT ITER 2708 NEW BEST:: SOT 803238 SOS 430758 HAS SOPS 422439 HAS SOUS 184669 HAS SOUPS 183430 WITH SCORE 183860.758
AT ITER 2713 NEW BEST:: SOT 803225 SOS 430732 HAS SOPS 422413 HAS SOUS 184655 HAS SOUPS 183416 WITH SCORE 183846.732
AT ITER 2720 NEW BEST:: SOT 803211 SOS 430718 HAS SOPS 422399 HAS SOUS 184625 HAS SOUPS 183386 WITH SCORE 183816.718
AT ITER 2725 NEW BEST:: SOT 803243 SOS 430654 HAS SOPS 422335 HAS SOUS 184588 HAS SOUPS 183349 WITH SCORE 183779.654
AT ITER 2726 NEW BEST:: SOT 803231 SOS 430642 HAS SOPS 422323 HAS SOUS 184576 HAS SOUPS 183337 WITH SCORE 183767.642
AT ITER 2753 NEW BEST:: SOT 803488 SOS 430610 HAS SOPS 421988 HAS SOUS 184468 HAS SOUPS 183229 WITH SCORE 183659.61
AT ITER 2779 NEW BEST:: SOT 803429 SOS 430539 HAS SOPS 421778 HAS SOUS 184446 HAS SOUPS 183158 WITH SCORE 183588.539
AT ITER 2780 NEW BEST:: SOT 803426 SOS 430536 HAS SOPS 421755 HAS SOUS 184440 HAS SOUPS 183152 WITH SCORE 183582.536
AT ITER 2781 NEW BEST:: SOT 803299 SOS 430409 HAS SOPS 421628 HAS SOUS 184181 HAS SOUPS 182893 WITH SCORE 183323.409
AT ITER 2784 NEW BEST:: SOT 803267 SOS 430460 HAS SOPS 421708 HAS SOUS 184166 HAS SOUPS 182880 WITH SCORE 183310.46
AT ITER 2791 NEW BEST:: SOT 803301 SOS 430494 HAS SOPS 421742 HAS SOUS 184028 HAS SOUPS 182742 WITH SCORE 183172.494
AT ITER 2795 NEW BEST:: SOT 803142 SOS 430273 HAS SOPS 421521 HAS SOUS 183784 HAS SOUPS 182498 WITH SCORE 182928.273
AT ITER 2817 NEW BEST:: SOT 803858 SOS 431065 HAS SOPS 422313 HAS SOUS 183627 HAS SOUPS 182341 WITH SCORE 182772.065
AT ITER 2874 NEW BEST:: SOT 803848 SOS 431045 HAS SOPS 422293 HAS SOUS 183607 HAS SOUPS 182321 WITH SCORE 182752.045
AT ITER 2905 NEW BEST:: SOT 803632 SOS 430792 HAS SOPS 422040 HAS SOUS 183298 HAS SOUPS 182012 WITH SCORE 182442.792
AT ITER 2917 NEW BEST:: SOT 803627 SOS 430787 HAS SOPS 422035 HAS SOUS 183293 HAS SOUPS 182007 WITH SCORE 182437.787
AT ITER 2924 NEW BEST:: SOT 803461 SOS 430533 HAS SOPS 421781 HAS SOUS 182889 HAS SOUPS 181603 WITH SCORE 182033.533
AT ITER 2932 NEW BEST:: SOT 803012 SOS 430084 HAS SOPS 421332 HAS SOUS 182420 HAS SOUPS 181134 WITH SCORE 181564.084
AT ITER 2935 NEW BEST:: SOT 802851 SOS 429971 HAS SOPS 421219 HAS SOUS 182146 HAS SOUPS 180860 WITH SCORE 181289.971
AT ITER 2939 NEW BEST:: SOT 802809 SOS 429929 HAS SOPS 421177 HAS SOUS 182113 HAS SOUPS 180827 WITH SCORE 181256.929
AT ITER 2945 NEW BEST:: SOT 802781 SOS 429901 HAS SOPS 421149 HAS SOUS 182085 HAS SOUPS 180799 WITH SCORE 181228.901
AT ITER 2953 NEW BEST:: SOT 802780 SOS 429969 HAS SOPS 421217 HAS SOUS 181987 HAS SOUPS 180701 WITH SCORE 181130.969
AT ITER 2959 NEW BEST:: SOT 802702 SOS 429855 HAS SOPS 421103 HAS SOUS 181789 HAS SOUPS 180503 WITH SCORE 180932.855
AT ITER 2967 NEW BEST:: SOT 802679 SOS 429832 HAS SOPS 421080 HAS SOUS 181743 HAS SOUPS 180457 WITH SCORE 180886.832
AT ITER 2976 NEW BEST:: SOT 802679 SOS 429802 HAS SOPS 421050 HAS SOUS 181743 HAS SOUPS 180457 WITH SCORE 180886.802
AT ITER 2988 NEW BEST:: SOT 802673 SOS 429796 HAS SOPS 421011 HAS SOUS 181645 HAS SOUPS 180359 WITH SCORE 180788.796
AT ITER 3004 NEW BEST:: SOT 802822 SOS 422223 HAS SOPS 409470 HAS SOUS 181673 HAS SOUPS 180284 WITH SCORE 180706.223
AT ITER 3021 NEW BEST:: SOT 802803 SOS 422204 HAS SOPS 409451 HAS SOUS 181654 HAS SOUPS 180265 WITH SCORE 180687.204
AT ITER 3057 NEW BEST:: SOT 802787 SOS 422193 HAS SOPS 409440 HAS SOUS 181637 HAS SOUPS 180248 WITH SCORE 180670.193
AT ITER 3070 NEW BEST:: SOT 802753 SOS 422159 HAS SOPS 409406 HAS SOUS 181620 HAS SOUPS 180231 WITH SCORE 180653.159
AT ITER 3072 NEW BEST:: SOT 802748 SOS 422154 HAS SOPS 409406 HAS SOUS 181615 HAS SOUPS 180226 WITH SCORE 180648.154
AT ITER 3105 NEW BEST:: SOT 802692 SOS 422112 HAS SOPS 409364 HAS SOUS 181517 HAS SOUPS 180128 WITH SCORE 180550.112
AT ITER 3188 NEW BEST:: SOT 802739 SOS 422159 HAS SOPS 409411 HAS SOUS 181397 HAS SOUPS 180008 WITH SCORE 180430.159
AT ITER 3195 NEW BEST:: SOT 802877 SOS 422457 HAS SOPS 409709 HAS SOUS 181390 HAS SOUPS 180001 WITH SCORE 180423.457
AT ITER 3197 NEW BEST:: SOT 800852 SOS 420135 HAS SOPS 407387 HAS SOUS 179795 HAS SOUPS 178406 WITH SCORE 178826.135
AT ITER 3198 NEW BEST:: SOT 800810 SOS 420093 HAS SOPS 407345 HAS SOUS 179735 HAS SOUPS 178346 WITH SCORE 178766.093
AT ITER 3200 NEW BEST:: SOT 800786 SOS 420079 HAS SOPS 407331 HAS SOUS 179687 HAS SOUPS 178298 WITH SCORE 178718.079
AT ITER 3215 NEW BEST:: SOT 800759 SOS 420052 HAS SOPS 407304 HAS SOUS 179633 HAS SOUPS 178244 WITH SCORE 178664.052
AT ITER 3224 NEW BEST:: SOT 800759 SOS 419923 HAS SOPS 407175 HAS SOUS 179633 HAS SOUPS 178244 WITH SCORE 178663.923
AT ITER 3225 NEW BEST:: SOT 800698 SOS 419822 HAS SOPS 407074 HAS SOUS 179511 HAS SOUPS 178122 WITH SCORE 178541.822
AT ITER 3243 NEW BEST:: SOT 800538 SOS 419662 HAS SOPS 406914 HAS SOUS 179351 HAS SOUPS 177962 WITH SCORE 178381.662
AT ITER 3246 NEW BEST:: SOT 800277 SOS 419227 HAS SOPS 406479 HAS SOUS 178916 HAS SOUPS 177527 WITH SCORE 177946.227
AT ITER 3249 NEW BEST:: SOT 800006 SOS 419395 HAS SOPS 406647 HAS SOUS 178781 HAS SOUPS 177392 WITH SCORE 177811.395
AT ITER 3255 NEW BEST:: SOT 800006 SOS 419329 HAS SOPS 406581 HAS SOUS 178781 HAS SOUPS 177392 WITH SCORE 177811.329
AT ITER 3271 NEW BEST:: SOT 800092 SOS 419484 HAS SOPS 406736 HAS SOUS 178521 HAS SOUPS 177132 WITH SCORE 177551.484
AT ITER 3287 NEW BEST:: SOT 800015 SOS 419264 HAS SOPS 406516 HAS SOUS 178494 HAS SOUPS 177105 WITH SCORE 177524.264
AT ITER 3291 NEW BEST:: SOT 799980 SOS 419182 HAS SOPS 406434 HAS SOUS 178424 HAS SOUPS 177035 WITH SCORE 177454.182
AT ITER 3318 NEW BEST:: SOT 799937 SOS 419096 HAS SOPS 406348 HAS SOUS 178381 HAS SOUPS 176992 WITH SCORE 177411.096
AT ITER 3320 NEW BEST:: SOT 799926 SOS 419083 HAS SOPS 406300 HAS SOUS 178359 HAS SOUPS 176970 WITH SCORE 177389.083
AT ITER 3332 NEW BEST:: SOT 799932 SOS 419000 HAS SOPS 406217 HAS SOUS 178332 HAS SOUPS 176943 WITH SCORE 177362.0
AT ITER 3336 NEW BEST:: SOT 799997 SOS 418956 HAS SOPS 406173 HAS SOUS 178323 HAS SOUPS 176934 WITH SCORE 177352.956
AT ITER 3347 NEW BEST:: SOT 799941 SOS 418900 HAS SOPS 406117 HAS SOUS 178267 HAS SOUPS 176878 WITH SCORE 177296.9
AT ITER 3360 NEW BEST:: SOT 799993 SOS 418952 HAS SOPS 406169 HAS SOUS 178265 HAS SOUPS 176876 WITH SCORE 177294.952
AT ITER 3366 NEW BEST:: SOT 799198 SOS 417451 HAS SOPS 404668 HAS SOUS 178236 HAS SOUPS 176847 WITH SCORE 177264.451
AT ITER 3369 NEW BEST:: SOT 799183 SOS 417440 HAS SOPS 404657 HAS SOUS 178215 HAS SOUPS 176826 WITH SCORE 177243.44
AT ITER 3371 NEW BEST:: SOT 799183 SOS 417440 HAS SOPS 404677 HAS SOUS 178198 HAS SOUPS 176817 WITH SCORE 177234.44
AT ITER 3378 NEW BEST:: SOT 798343 SOS 416600 HAS SOPS 403837 HAS SOUS 178151 HAS SOUPS 176770 WITH SCORE 177186.6
AT ITER 3381 NEW BEST:: SOT 798387 SOS 416674 HAS SOPS 403911 HAS SOUS 177994 HAS SOUPS 176613 WITH SCORE 177029.674
AT ITER 3389 NEW BEST:: SOT 798365 SOS 416652 HAS SOPS 403889 HAS SOUS 177971 HAS SOUPS 176590 WITH SCORE 177006.652
AT ITER 3398 NEW BEST:: SOT 798321 SOS 416608 HAS SOPS 403845 HAS SOUS 177817 HAS SOUPS 176436 WITH SCORE 176852.608
AT ITER 3411 NEW BEST:: SOT 798121 SOS 416408 HAS SOPS 403645 HAS SOUS 177717 HAS SOUPS 176336 WITH SCORE 176752.408
AT ITER 3434 NEW BEST:: SOT 797857 SOS 416210 HAS SOPS 403447 HAS SOUS 177564 HAS SOUPS 176183 WITH SCORE 176599.21
AT ITER 3444 NEW BEST:: SOT 797854 SOS 416207 HAS SOPS 403444 HAS SOUS 177558 HAS SOUPS 176177 WITH SCORE 176593.207
AT ITER 3454 NEW BEST:: SOT 797638 SOS 415910 HAS SOPS 403147 HAS SOUS 177331 HAS SOUPS 175950 WITH SCORE 176365.91
AT ITER 3465 NEW BEST:: SOT 797638 SOS 415899 HAS SOPS 403136 HAS SOUS 177320 HAS SOUPS 175939 WITH SCORE 176354.899
AT ITER 3493 NEW BEST:: SOT 797616 SOS 415877 HAS SOPS 403114 HAS SOUS 177298 HAS SOUPS 175917 WITH SCORE 176332.877
AT ITER 3497 NEW BEST:: SOT 797595 SOS 415856 HAS SOPS 403093 HAS SOUS 177256 HAS SOUPS 175875 WITH SCORE 176290.856
AT ITER 3500 NEW BEST:: SOT 797548 SOS 415809 HAS SOPS 403046 HAS SOUS 177204 HAS SOUPS 175823 WITH SCORE 176238.809
AT ITER 3523 NEW BEST:: SOT 797349 SOS 415332 HAS SOPS 402569 HAS SOUS 177084 HAS SOUPS 175703 WITH SCORE 176118.332
AT ITER 3530 NEW BEST:: SOT 797084 SOS 415099 HAS SOPS 402336 HAS SOUS 176860 HAS SOUPS 175479 WITH SCORE 175894.099
AT ITER 3533 NEW BEST:: SOT 797053 SOS 419548 HAS SOPS 402141 HAS SOUS 176747 HAS SOUPS 175284 WITH SCORE 175703.548
AT ITER 3539 NEW BEST:: SOT 797053 SOS 419548 HAS SOPS 402141 HAS SOUS 176739 HAS SOUPS 175276 WITH SCORE 175695.548
AT ITER 3563 NEW BEST:: SOT 796749 SOS 417716 HAS SOPS 400309 HAS SOUS 176432 HAS SOUPS 174969 WITH SCORE 175386.716
AT ITER 3575 NEW BEST:: SOT 796786 SOS 417700 HAS SOPS 400293 HAS SOUS 176374 HAS SOUPS 174911 WITH SCORE 175328.7
AT ITER 3577 NEW BEST:: SOT 796727 SOS 417641 HAS SOPS 400234 HAS SOUS 176184 HAS SOUPS 174721 WITH SCORE 175138.641
AT ITER 3628 NEW BEST:: SOT 796711 SOS 417617 HAS SOPS 400210 HAS SOUS 176144 HAS SOUPS 174681 WITH SCORE 175098.617
AT ITER 3631 NEW BEST:: SOT 796632 SOS 417538 HAS SOPS 400131 HAS SOUS 176031 HAS SOUPS 174568 WITH SCORE 174985.538
AT ITER 3635 NEW BEST:: SOT 796618 SOS 417496 HAS SOPS 400089 HAS SOUS 176003 HAS SOUPS 174540 WITH SCORE 174957.496
AT ITER 3647 NEW BEST:: SOT 796602 SOS 417480 HAS SOPS 400073 HAS SOUS 175993 HAS SOUPS 174530 WITH SCORE 174947.48
AT ITER 3656 NEW BEST:: SOT 796527 SOS 416866 HAS SOPS 399459 HAS SOUS 175861 HAS SOUPS 174398 WITH SCORE 174814.866
AT ITER 3686 NEW BEST:: SOT 796519 SOS 416652 HAS SOPS 399245 HAS SOUS 175845 HAS SOUPS 174382 WITH SCORE 174798.652
AT ITER 3690 NEW BEST:: SOT 796425 SOS 415098 HAS SOPS 397691 HAS SOUS 175741 HAS SOUPS 174278 WITH SCORE 174693.098
AT ITER 3699 NEW BEST:: SOT 796379 SOS 415006 HAS SOPS 397576 HAS SOUS 175649 HAS SOUPS 174186 WITH SCORE 174601.006
AT ITER 3715 NEW BEST:: SOT 796307 SOS 414934 HAS SOPS 397504 HAS SOUS 175370 HAS SOUPS 173907 WITH SCORE 174321.934
AT ITER 3731 NEW BEST:: SOT 796317 SOS 414881 HAS SOPS 397451 HAS SOUS 175317 HAS SOUPS 173854 WITH SCORE 174268.881
AT ITER 3743 NEW BEST:: SOT 794828 SOS 413468 HAS SOPS 396038 HAS SOUS 174812 HAS SOUPS 173349 WITH SCORE 173762.468
AT ITER 3746 NEW BEST:: SOT 794538 SOS 413178 HAS SOPS 395748 HAS SOUS 174512 HAS SOUPS 173049 WITH SCORE 173462.178
AT ITER 3758 NEW BEST:: SOT 794852 SOS 413452 HAS SOPS 396022 HAS SOUS 174503 HAS SOUPS 173040 WITH SCORE 173453.452
AT ITER 3763 NEW BEST:: SOT 794318 SOS 412918 HAS SOPS 395488 HAS SOUS 173969 HAS SOUPS 172506 WITH SCORE 172918.918
AT ITER 3781 NEW BEST:: SOT 794318 SOS 413145 HAS SOPS 395715 HAS SOUS 173900 HAS SOUPS 172437 WITH SCORE 172850.145
AT ITER 3786 NEW BEST:: SOT 794157 SOS 412984 HAS SOPS 395580 HAS SOUS 173755 HAS SOUPS 172292 WITH SCORE 172704.984
AT ITER 3797 NEW BEST:: SOT 794005 SOS 412702 HAS SOPS 395298 HAS SOUS 173516 HAS SOUPS 172053 WITH SCORE 172465.702
AT ITER 3846 NEW BEST:: SOT 793945 SOS 412612 HAS SOPS 395208 HAS SOUS 173426 HAS SOUPS 171963 WITH SCORE 172375.612
AT ITER 3861 NEW BEST:: SOT 793825 SOS 412552 HAS SOPS 395148 HAS SOUS 173426 HAS SOUPS 171963 WITH SCORE 172375.552
AT ITER 3881 NEW BEST:: SOT 793715 SOS 412451 HAS SOPS 395047 HAS SOUS 173130 HAS SOUPS 171667 WITH SCORE 172079.451
AT ITER 3912 NEW BEST:: SOT 793621 SOS 412357 HAS SOPS 394953 HAS SOUS 172917 HAS SOUPS 171454 WITH SCORE 171866.357
AT ITER 3927 NEW BEST:: SOT 793326 SOS 411427 HAS SOPS 394023 HAS SOUS 172681 HAS SOUPS 171218 WITH SCORE 171629.427
AT ITER 3951 NEW BEST:: SOT 793326 SOS 411437 HAS SOPS 394033 HAS SOUS 172651 HAS SOUPS 171188 WITH SCORE 171599.437
AT ITER 3959 NEW BEST:: SOT 793107 SOS 410858 HAS SOPS 393454 HAS SOUS 172573 HAS SOUPS 171110 WITH SCORE 171520.858
AT ITER 3961 NEW BEST:: SOT 793106 SOS 410856 HAS SOPS 393452 HAS SOUS 172571 HAS SOUPS 171108 WITH SCORE 171518.856
AT ITER 3964 NEW BEST:: SOT 793057 SOS 410807 HAS SOPS 393403 HAS SOUS 172541 HAS SOUPS 171078 WITH SCORE 171488.807
AT ITER 3970 NEW BEST:: SOT 792937 SOS 410167 HAS SOPS 392763 HAS SOUS 172457 HAS SOUPS 170994 WITH SCORE 171404.167
AT ITER 3972 NEW BEST:: SOT 792805 SOS 409930 HAS SOPS 392526 HAS SOUS 172368 HAS SOUPS 170905 WITH SCORE 171314.93
AT ITER 3976 NEW BEST:: SOT 792776 SOS 409901 HAS SOPS 392497 HAS SOUS 172341 HAS SOUPS 170878 WITH SCORE 171287.901
AT ITER 4011 NEW BEST:: SOT 792804 SOS 409751 HAS SOPS 392416 HAS SOUS 172311 HAS SOUPS 170848 WITH SCORE 171257.751
AT ITER 4033 NEW BEST:: SOT 792789 SOS 409736 HAS SOPS 392386 HAS SOUS 172288 HAS SOUPS 170825 WITH SCORE 171234.736
AT ITER 4042 NEW BEST:: SOT 792762 SOS 409682 HAS SOPS 392332 HAS SOUS 172275 HAS SOUPS 170812 WITH SCORE 171221.682
AT ITER 4073 NEW BEST:: SOT 792693 SOS 409613 HAS SOPS 392263 HAS SOUS 172137 HAS SOUPS 170674 WITH SCORE 171083.613
AT ITER 4076 NEW BEST:: SOT 792271 SOS 409282 HAS SOPS 391932 HAS SOUS 171806 HAS SOUPS 170343 WITH SCORE 170752.282
AT ITER 4078 NEW BEST:: SOT 792297 SOS 409308 HAS SOPS 391958 HAS SOUS 171790 HAS SOUPS 170327 WITH SCORE 170736.308
AT ITER 4093 NEW BEST:: SOT 792198 SOS 409209 HAS SOPS 391859 HAS SOUS 171691 HAS SOUPS 170228 WITH SCORE 170637.209
AT ITER 4105 NEW BEST:: SOT 791958 SOS 408824 HAS SOPS 391474 HAS SOUS 171356 HAS SOUPS 169893 WITH SCORE 170301.824
AT ITER 4127 NEW BEST:: SOT 791952 SOS 408818 HAS SOPS 391468 HAS SOUS 171302 HAS SOUPS 169839 WITH SCORE 170247.818
AT ITER 4154 NEW BEST:: SOT 791897 SOS 409489 HAS SOPS 392097 HAS SOUS 171195 HAS SOUPS 169733 WITH SCORE 170142.489
AT ITER 4209 NEW BEST:: SOT 791789 SOS 409350 HAS SOPS 391958 HAS SOUS 170944 HAS SOUPS 169482 WITH SCORE 169891.35
AT ITER 4223 NEW BEST:: SOT 791753 SOS 409318 HAS SOPS 391926 HAS SOUS 170872 HAS SOUPS 169410 WITH SCORE 169819.318
AT ITER 4226 NEW BEST:: SOT 791537 SOS 408994 HAS SOPS 391602 HAS SOUS 170548 HAS SOUPS 169086 WITH SCORE 169494.994
AT ITER 4229 NEW BEST:: SOT 791537 SOS 409158 HAS SOPS 391766 HAS SOUS 170302 HAS SOUPS 168840 WITH SCORE 169249.158
AT ITER 4246 NEW BEST:: SOT 789565 SOS 407186 HAS SOPS 389794 HAS SOUS 168556 HAS SOUPS 167094 WITH SCORE 167501.186
AT ITER 4249 NEW BEST:: SOT 789519 SOS 407140 HAS SOPS 389748 HAS SOUS 168464 HAS SOUPS 167002 WITH SCORE 167409.14
AT ITER 4278 NEW BEST:: SOT 787947 SOS 405449 HAS SOPS 388057 HAS SOUS 166605 HAS SOUPS 165143 WITH SCORE 165548.449
AT ITER 4279 NEW BEST:: SOT 787957 SOS 405469 HAS SOPS 388077 HAS SOUS 166566 HAS SOUPS 165104 WITH SCORE 165509.469
AT ITER 4281 NEW BEST:: SOT 787929 SOS 405463 HAS SOPS 388071 HAS SOUS 166537 HAS SOUPS 165075 WITH SCORE 165480.463
AT ITER 4284 NEW BEST:: SOT 787891 SOS 405425 HAS SOPS 388033 HAS SOUS 166461 HAS SOUPS 164999 WITH SCORE 165404.425
AT ITER 4318 NEW BEST:: SOT 787891 SOS 405464 HAS SOPS 388072 HAS SOUS 166431 HAS SOUPS 164969 WITH SCORE 165374.464
AT ITER 4321 NEW BEST:: SOT 787861 SOS 405210 HAS SOPS 387858 HAS SOUS 166371 HAS SOUPS 164909 WITH SCORE 165314.21
AT ITER 4330 NEW BEST:: SOT 787929 SOS 405238 HAS SOPS 387886 HAS SOUS 166249 HAS SOUPS 164787 WITH SCORE 165192.238
AT ITER 4342 NEW BEST:: SOT 786147 SOS 403456 HAS SOPS 386104 HAS SOUS 165664 HAS SOUPS 164202 WITH SCORE 164605.456
AT ITER 4352 NEW BEST:: SOT 786132 SOS 403441 HAS SOPS 386089 HAS SOUS 165649 HAS SOUPS 164187 WITH SCORE 164590.441
AT ITER 4356 NEW BEST:: SOT 786122 SOS 403421 HAS SOPS 386069 HAS SOUS 165639 HAS SOUPS 164177 WITH SCORE 164580.421
AT ITER 4368 NEW BEST:: SOT 785768 SOS 402809 HAS SOPS 385457 HAS SOUS 165589 HAS SOUPS 164127 WITH SCORE 164529.809
AT ITER 4375 NEW BEST:: SOT 785738 SOS 402779 HAS SOPS 385427 HAS SOUS 165572 HAS SOUPS 164110 WITH SCORE 164512.779
AT ITER 4382 NEW BEST:: SOT 785693 SOS 402734 HAS SOPS 385382 HAS SOUS 165482 HAS SOUPS 164020 WITH SCORE 164422.734
AT ITER 4386 NEW BEST:: SOT 785671 SOS 402673 HAS SOPS 385321 HAS SOUS 165439 HAS SOUPS 163977 WITH SCORE 164379.673
AT ITER 4390 NEW BEST:: SOT 785620 SOS 402622 HAS SOPS 385270 HAS SOUS 165316 HAS SOUPS 163854 WITH SCORE 164256.622
AT ITER 4400 NEW BEST:: SOT 785466 SOS 402468 HAS SOPS 385116 HAS SOUS 165085 HAS SOUPS 163623 WITH SCORE 164025.468
AT ITER 4411 NEW BEST:: SOT 785423 SOS 402425 HAS SOPS 385073 HAS SOUS 165076 HAS SOUPS 163614 WITH SCORE 164016.425
AT ITER 4434 NEW BEST:: SOT 785353 SOS 402355 HAS SOPS 385003 HAS SOUS 164936 HAS SOUPS 163474 WITH SCORE 163876.355
AT ITER 4438 NEW BEST:: SOT 785343 SOS 402335 HAS SOPS 384983 HAS SOUS 164921 HAS SOUPS 163459 WITH SCORE 163861.335
AT ITER 4443 NEW BEST:: SOT 785275 SOS 402267 HAS SOPS 384915 HAS SOUS 164785 HAS SOUPS 163323 WITH SCORE 163725.267
AT ITER 4456 NEW BEST:: SOT 785218 SOS 402210 HAS SOPS 384858 HAS SOUS 164558 HAS SOUPS 163096 WITH SCORE 163498.21
AT ITER 4461 NEW BEST:: SOT 785202 SOS 402194 HAS SOPS 384842 HAS SOUS 164318 HAS SOUPS 162856 WITH SCORE 163258.194
AT ITER 4492 NEW BEST:: SOT 785202 SOS 402193 HAS SOPS 384841 HAS SOUS 164318 HAS SOUPS 162856 WITH SCORE 163258.193
AT ITER 4502 NEW BEST:: SOT 785061 SOS 401506 HAS SOPS 384154 HAS SOUS 164244 HAS SOUPS 162782 WITH SCORE 163183.506
AT ITER 4535 NEW BEST:: SOT 785018 SOS 401463 HAS SOPS 384111 HAS SOUS 164223 HAS SOUPS 162761 WITH SCORE 163162.463
AT ITER 4540 NEW BEST:: SOT 784943 SOS 401313 HAS SOPS 383961 HAS SOUS 164146 HAS SOUPS 162684 WITH SCORE 163085.313
AT ITER 4547 NEW BEST:: SOT 785031 SOS 401401 HAS SOPS 384049 HAS SOUS 164085 HAS SOUPS 162623 WITH SCORE 163024.401
AT ITER 4552 NEW BEST:: SOT 785031 SOS 401285 HAS SOPS 383793 HAS SOUS 163945 HAS SOUPS 162483 WITH SCORE 162884.285
AT ITER 4559 NEW BEST:: SOT 785031 SOS 401285 HAS SOPS 383793 HAS SOUS 163863 HAS SOUPS 162401 WITH SCORE 162802.285
AT ITER 4560 NEW BEST:: SOT 784904 SOS 401158 HAS SOPS 383666 HAS SOUS 163749 HAS SOUPS 162287 WITH SCORE 162688.158
AT ITER 4566 NEW BEST:: SOT 784904 SOS 401158 HAS SOPS 383629 HAS SOUS 163686 HAS SOUPS 162224 WITH SCORE 162625.158
AT ITER 4570 NEW BEST:: SOT 784904 SOS 401142 HAS SOPS 383613 HAS SOUS 163382 HAS SOUPS 161920 WITH SCORE 162321.142
AT ITER 4579 NEW BEST:: SOT 784796 SOS 401034 HAS SOPS 383576 HAS SOUS 163338 HAS SOUPS 161876 WITH SCORE 162277.034
AT ITER 4600 NEW BEST:: SOT 784780 SOS 401010 HAS SOPS 383552 HAS SOUS 163322 HAS SOUPS 161860 WITH SCORE 162261.01
AT ITER 4607 NEW BEST:: SOT 784696 SOS 400926 HAS SOPS 383468 HAS SOUS 163238 HAS SOUPS 161776 WITH SCORE 162176.926
AT ITER 4612 NEW BEST:: SOT 784669 SOS 400899 HAS SOPS 383441 HAS SOUS 163184 HAS SOUPS 161722 WITH SCORE 162122.899
AT ITER 4613 NEW BEST:: SOT 784701 SOS 400911 HAS SOPS 383453 HAS SOUS 163164 HAS SOUPS 161702 WITH SCORE 162102.911
AT ITER 4623 NEW BEST:: SOT 784633 SOS 400843 HAS SOPS 383385 HAS SOUS 163096 HAS SOUPS 161634 WITH SCORE 162034.843
AT ITER 4660 NEW BEST:: SOT 784555 SOS 400765 HAS SOPS 383307 HAS SOUS 162923 HAS SOUPS 161461 WITH SCORE 161861.765
AT ITER 4669 NEW BEST:: SOT 783294 SOS 399534 HAS SOPS 382076 HAS SOUS 162757 HAS SOUPS 161295 WITH SCORE 161694.534
AT ITER 4672 NEW BEST:: SOT 783294 SOS 399521 HAS SOPS 382063 HAS SOUS 162744 HAS SOUPS 161282 WITH SCORE 161681.521
AT ITER 4681 NEW BEST:: SOT 783290 SOS 398875 HAS SOPS 381417 HAS SOUS 162666 HAS SOUPS 161204 WITH SCORE 161602.875
AT ITER 4701 NEW BEST:: SOT 783307 SOS 398858 HAS SOPS 381400 HAS SOUS 162666 HAS SOUPS 161204 WITH SCORE 161602.858
AT ITER 4704 NEW BEST:: SOT 783388 SOS 398858 HAS SOPS 381400 HAS SOUS 162624 HAS SOUPS 161162 WITH SCORE 161560.858
AT ITER 4720 NEW BEST:: SOT 783160 SOS 398421 HAS SOPS 380963 HAS SOUS 162169 HAS SOUPS 160707 WITH SCORE 161105.421
AT ITER 4756 NEW BEST:: SOT 783139 SOS 398329 HAS SOPS 380871 HAS SOUS 161955 HAS SOUPS 160493 WITH SCORE 160891.329
AT ITER 4758 NEW BEST:: SOT 783210 SOS 398362 HAS SOPS 380904 HAS SOUS 161917 HAS SOUPS 160455 WITH SCORE 160853.362
AT ITER 4761 NEW BEST:: SOT 783046 SOS 398062 HAS SOPS 380674 HAS SOUS 161742 HAS SOUPS 160280 WITH SCORE 160678.062
AT ITER 4769 NEW BEST:: SOT 782992 SOS 398008 HAS SOPS 380620 HAS SOUS 161634 HAS SOUPS 160172 WITH SCORE 160570.008
AT ITER 4813 NEW BEST:: SOT 783079 SOS 398095 HAS SOPS 380707 HAS SOUS 161606 HAS SOUPS 160144 WITH SCORE 160542.095
AT ITER 4861 NEW BEST:: SOT 783163 SOS 398149 HAS SOPS 380761 HAS SOUS 161234 HAS SOUPS 159772 WITH SCORE 160170.149
AT ITER 4883 NEW BEST:: SOT 783076 SOS 398062 HAS SOPS 380674 HAS SOUS 161105 HAS SOUPS 159643 WITH SCORE 160041.062
AT ITER 4898 NEW BEST:: SOT 783066 SOS 398052 HAS SOPS 380664 HAS SOUS 160973 HAS SOUPS 159511 WITH SCORE 159909.052
AT ITER 4901 NEW BEST:: SOT 783063 SOS 398050 HAS SOPS 380662 HAS SOUS 160970 HAS SOUPS 159508 WITH SCORE 159906.05
AT ITER 4907 NEW BEST:: SOT 783057 SOS 398044 HAS SOPS 380656 HAS SOUS 160958 HAS SOUPS 159496 WITH SCORE 159894.044
AT ITER 4922 NEW BEST:: SOT 783048 SOS 398017 HAS SOPS 380629 HAS SOUS 160940 HAS SOUPS 159478 WITH SCORE 159876.017
AT ITER 4924 NEW BEST:: SOT 783007 SOS 397976 HAS SOPS 380588 HAS SOUS 160883 HAS SOUPS 159421 WITH SCORE 159818.976
AT ITER 4941 NEW BEST:: SOT 782936 SOS 397929 HAS SOPS 380541 HAS SOUS 160765 HAS SOUPS 159303 WITH SCORE 159700.929
AT ITER 4945 NEW BEST:: SOT 782914 SOS 397907 HAS SOPS 380519 HAS SOUS 160719 HAS SOUPS 159257 WITH SCORE 159654.907
AT ITER 4965 NEW BEST:: SOT 782844 SOS 397837 HAS SOPS 380449 HAS SOUS 160696 HAS SOUPS 159234 WITH SCORE 159631.837
AT ITER 4977 NEW BEST:: SOT 782796 SOS 397789 HAS SOPS 380401 HAS SOUS 160648 HAS SOUPS 159186 WITH SCORE 159583.789
AT ITER 4990 NEW BEST:: SOT 782786 SOS 397769 HAS SOPS 380381 HAS SOUS 160628 HAS SOUPS 159166 WITH SCORE 159563.769
AT ITER 4994 NEW BEST:: SOT 782705 SOS 397699 HAS SOPS 380311 HAS SOUS 160547 HAS SOUPS 159085 WITH SCORE 159482.699
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-00 (EU( ( ( potential( (tk(P353)) <= (tk(P248)) ) | potential( (tk(P425)) <= (tk(P98) + tk(P191) + tk(P194) + tk(P285) + tk(P460) + tk(P506) + tk(P679) + tk(P751) + tk(P769) + tk(P780)) ) ) | ( potential( (tk(P38) + tk(P55) + tk(P115) + tk(P223) + tk(P267) + tk(P367) + tk(P499) + tk(P573) + tk(P603) + tk(P735)) <= (tk(P81) + tk(P429) + tk(P464) + tk(P527) + tk(P534) + tk(P609) + tk(P720) + tk(P729) + tk(P798) + tk(P805)) ) | potential( (tk(P56) + tk(P164) + tk(P292) + tk(P412) + tk(P498) + tk(P525) + tk(P591) + tk(P598) + tk(P648) + tk(P838)) <= (tk(P88) + tk(P110) + tk(P172) + tk(P228) + tk(P270) + tk(P294) + tk(P388) + tk(P473) + tk(P544) + tk(P676)) ) ) ),( potential( ( 2 ) <= (tk(P52) + tk(P77) + tk(P235) + tk(P298) + tk(P349) + tk(P518) + tk(P528) + tk(P627) + tk(P647) + tk(P829)) ) & ( potential( (tk(P68) + tk(P222) + tk(P357) + tk(P422) + tk(P577) + tk(P606) + tk(P608) + tk(P713) + tk(P721) + tk(P831)) <= (tk(P16) + tk(P33) + tk(P42) + tk(P90) + tk(P173) + tk(P214) + tk(P363) + tk(P393) + tk(P502) + tk(P589) + tk(P665) + tk(P699) + tk(P739) + tk(P782)) ) | potential( (tk(P104) + tk(P202) + tk(P346) + tk(P417) + tk(P442) + tk(P493) + tk(P563) + tk(P664) + tk(P681) + tk(P821)) <= (tk(P333)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-01 (EG( ( ( ( potential( ( 3 ) <= (tk(P118) + tk(P307) + tk(P414) + tk(P455) + tk(P479) + tk(P587) + tk(P588) + tk(P637) + tk(P705) + tk(P794)) ) | potential( (tk(P88) + tk(P110) + tk(P172) + tk(P228) + tk(P270) + tk(P294) + tk(P388) + tk(P473) + tk(P544) + tk(P676)) <= (tk(P425)) ) ) | (! potential( (tk(P71) + tk(P103) + tk(P132) + tk(P311) + tk(P317) + tk(P391) + tk(P476) + tk(P607) + tk(P686) + tk(P797)) <= (tk(P688)) )) ) | (AF(potential( ( 3 ) <= (tk(P57) + tk(P143) + tk(P146) + tk(P241) + tk(P407) + tk(P462) + tk(P521) + tk(P567) + tk(P622) + tk(P743)) ))) )))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-02 (EG( (! ( ( potential( ( 3 ) <= (tk(P81) + tk(P429) + tk(P464) + tk(P527) + tk(P534) + tk(P609) + tk(P720) + tk(P729) + tk(P798) + tk(P805)) ) | potential( (tk(P492) + tk(P666)) <= (tk(P70) + tk(P249) + tk(P251) + tk(P337) + tk(P339) + tk(P482) + tk(P549) + tk(P592) + tk(P677) + tk(P791)) ) ) & potential( (tk(P56) + tk(P164) + tk(P292) + tk(P412) + tk(P498) + tk(P525) + tk(P591) + tk(P598) + tk(P648) + tk(P838)) <= (tk(P279)) ) ))))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-03 (EF((AG( ( potential( ( 1 ) <= (tk(P3) + tk(P144) + tk(P157) + tk(P233) + tk(P308) + tk(P373) + tk(P411) + tk(P509) + tk(P625) + tk(P759)) ) | potential( (tk(P159)) <= (tk(P118) + tk(P307) + tk(P414) + tk(P455) + tk(P479) + tk(P587) + tk(P588) + tk(P637) + tk(P705) + tk(P794)) ) )))))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-04 (! ( potential( ( 3 ) <= (tk(P19) + tk(P32) + tk(P35) + tk(P39) + tk(P44) + tk(P76) + tk(P79) + tk(P86) + tk(P111) + tk(P120) + tk(P127) + tk(P138) + tk(P153) + tk(P168) + tk(P175) + tk(P195) + tk(P196) + tk(P199) + tk(P213) + tk(P218) + tk(P232) + tk(P237) + tk(P243) + tk(P253) + tk(P278) + tk(P305) + tk(P309) + tk(P318) + tk(P326) + tk(P361) + tk(P371) + tk(P381) + tk(P390) + tk(P400) + tk(P428) + tk(P431) + tk(P452) + tk(P456) + tk(P459) + tk(P484) + tk(P494) + tk(P501) + tk(P511) + tk(P531) + tk(P536) + tk(P539) + tk(P547) + tk(P551) + tk(P568) + tk(P582) + tk(P600) + tk(P646) + tk(P649) + tk(P650) + tk(P667) + tk(P673) + tk(P675) + tk(P703) + tk(P714) + tk(P718) + tk(P734) + tk(P738) + tk(P764) + tk(P777) + tk(P781) + tk(P804) + tk(P813) + tk(P820) + tk(P833) + tk(P840)) ) | ( potential( (tk(P353)) <= (tk(P159)) ) & (EF(potential( ( 1 ) <= (tk(P88) + tk(P110) + tk(P172) + tk(P228) + tk(P270) + tk(P294) + tk(P388) + tk(P473) + tk(P544) + tk(P676)) ))) ) ))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-05 (EF(( ( ( potential( (tk(P56) + tk(P164) + tk(P292) + tk(P412) + tk(P498) + tk(P525) + tk(P591) + tk(P598) + tk(P648) + tk(P838)) <= (tk(P793)) ) | potential( (tk(P469)) <= (tk(P11) + tk(P124) + tk(P256) + tk(P295) + tk(P343) + tk(P409) + tk(P483) + tk(P510) + tk(P554) + tk(P814)) ) ) & ( potential( (tk(P89) + tk(P166) + tk(P246) + tk(P323) + tk(P614) + tk(P771) + tk(P795)) <= (tk(P118) + tk(P307) + tk(P414) + tk(P455) + tk(P479) + tk(P587) + tk(P588) + tk(P637) + tk(P705) + tk(P794)) ) & potential( (tk(P49) + tk(P75) + tk(P95) + tk(P117) + tk(P200) + tk(P221) + tk(P227) + tk(P282) + tk(P304) + tk(P376) + tk(P449) + tk(P488) + tk(P538) + tk(P566) + tk(P604) + tk(P610) + tk(P668) + tk(P684) + tk(P766) + tk(P839)) <= (tk(P88) + tk(P110) + tk(P172) + tk(P228) + tk(P270) + tk(P294) + tk(P388) + tk(P473) + tk(P544) + tk(P676)) ) ) ) & (! (! potential( ( 1 ) <= (tk(P160)) ))) )))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-06 (! (! (EG( (! potential( ( 3 ) <= (tk(P74) + tk(P155) + tk(P244) + tk(P274) + tk(P430) + tk(P432) + tk(P500) + tk(P626) + tk(P733) + tk(P809)) ))))))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-07 (AG( (AX( (! potential( ( 2 ) <= (tk(P353)) ))))))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-08 (AU( (! potential( ( 1 ) <= (tk(P423)) )),( potential( (tk(P356)) <= (tk(P96)) ) & potential( ( 3 ) <= (tk(P516)) ) ) ))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-09 (AF((! (EG( potential( ( 1 ) <= (tk(P461)) ))))))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-10 (AG( ( ( (! potential( ( 2 ) <= (tk(P65)) )) & (! potential( ( 2 ) <= (tk(P90)) )) ) & (AG( potential( (tk(P680)) <= (tk(P198)) ))) )))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-11 (AG( potential( (tk(P144)) <= (tk(P18)) )))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-12 (AU( (! (! potential( (tk(P232)) <= (tk(P49)) ))),( (! potential( (tk(P437)) <= (tk(P281)) )) & ( potential( ( 2 ) <= (tk(P552)) ) | potential( ( 3 ) <= (tk(P230)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-13 ( (EF(( ( potential( ( 1 ) <= (tk(P138)) ) | potential( ( 2 ) <= (tk(P480)) ) ) | ( potential( ( 3 ) <= (tk(P742)) ) | potential( ( 3 ) <= (tk(P791)) ) ) ))) | ( ( (EF(potential( (tk(P828)) <= (tk(P234)) ))) & (AG( potential( (tk(P841)) <= (tk(P389)) ))) ) & (AG( ( potential( ( 3 ) <= (tk(P7)) ) & potential( ( 1 ) <= (tk(P577)) ) ))) ) )
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-14 ( (EU( (! potential( (tk(P737)) <= (tk(P729)) )),( potential( (tk(P363)) <= (tk(P12)) ) & potential( ( 2 ) <= (tk(P17)) ) ) )) & (EG( ( ( potential( (tk(P289)) <= (tk(P329)) ) | potential( (tk(P34)) <= (tk(P744)) ) ) & potential( (tk(P115)) <= (tk(P447)) ) ))) )
PROPERTY: PolyORBLF-PT-S02J06T10-CTLCardinality-15 (EG( potential( (tk(P374)) <= (tk(P218)) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S02J06T10"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S02J06T10, 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-158961354700451"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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