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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.4M
-rw-r--r-- 1 mcc users 9.7K Apr 12 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 12 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 11 05:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 84K Apr 11 05:01 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 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 35K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Apr 10 12:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 31K Apr 10 12:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 60K Apr 9 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 198K Apr 9 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.5K 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 4.8M 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-S04J04T08-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S04J04T08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589643497216

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T08
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: 712 places, 4012 transitions, 27744 arcs.
AT ITER 0 NEW BEST:: SOT 1791221 SOS 1065111 HAS SOPS 1052653 HAS SOUS 335702 HAS SOUPS 335058 WITH SCORE 336123.111
AT ITER 2 NEW BEST:: SOT 1790889 SOS 1064696 HAS SOPS 1052238 HAS SOUS 335310 HAS SOUPS 334666 WITH SCORE 335730.696
AT ITER 4 NEW BEST:: SOT 1789920 SOS 1063935 HAS SOPS 1051477 HAS SOUS 334612 HAS SOUPS 333968 WITH SCORE 335031.935
AT ITER 21 NEW BEST:: SOT 1789527 SOS 1059874 HAS SOPS 1047416 HAS SOUS 334204 HAS SOUPS 333560 WITH SCORE 334619.874
AT ITER 27 NEW BEST:: SOT 1789479 SOS 1059862 HAS SOPS 1047404 HAS SOUS 333863 HAS SOUPS 333219 WITH SCORE 334278.862
AT ITER 36 NEW BEST:: SOT 1789475 SOS 1060146 HAS SOPS 1047688 HAS SOUS 333734 HAS SOUPS 333090 WITH SCORE 334150.146
AT ITER 37 NEW BEST:: SOT 1789465 SOS 1060293 HAS SOPS 1047832 HAS SOUS 333665 HAS SOUPS 333021 WITH SCORE 334081.293
AT ITER 41 NEW BEST:: SOT 1788973 SOS 1059898 HAS SOPS 1047437 HAS SOUS 333246 HAS SOUPS 332602 WITH SCORE 333661.898
AT ITER 50 NEW BEST:: SOT 1787386 SOS 1058419 HAS SOPS 1045958 HAS SOUS 332372 HAS SOUPS 331728 WITH SCORE 332786.419
AT ITER 77 NEW BEST:: SOT 1787386 SOS 1058396 HAS SOPS 1045935 HAS SOUS 332349 HAS SOUPS 331705 WITH SCORE 332763.396
AT ITER 82 NEW BEST:: SOT 1787386 SOS 1058347 HAS SOPS 1045886 HAS SOUS 332300 HAS SOUPS 331656 WITH SCORE 332714.347
AT ITER 88 NEW BEST:: SOT 1787338 SOS 1058340 HAS SOPS 1045879 HAS SOUS 331941 HAS SOUPS 331297 WITH SCORE 332355.34
AT ITER 92 NEW BEST:: SOT 1787255 SOS 1058103 HAS SOPS 1045642 HAS SOUS 331704 HAS SOUPS 331060 WITH SCORE 332118.103
AT ITER 94 NEW BEST:: SOT 1787255 SOS 1058089 HAS SOPS 1045628 HAS SOUS 331690 HAS SOUPS 331046 WITH SCORE 332104.089
AT ITER 97 NEW BEST:: SOT 1787084 SOS 1057950 HAS SOPS 1045489 HAS SOUS 331662 HAS SOUPS 331018 WITH SCORE 332075.95
AT ITER 102 NEW BEST:: SOT 1786924 SOS 1057790 HAS SOPS 1045423 HAS SOUS 331630 HAS SOUPS 330980 WITH SCORE 332037.79
AT ITER 103 NEW BEST:: SOT 1786487 SOS 1057474 HAS SOPS 1045107 HAS SOUS 330983 HAS SOUPS 330333 WITH SCORE 331390.474
AT ITER 105 NEW BEST:: SOT 1786201 SOS 1057331 HAS SOPS 1044964 HAS SOUS 330941 HAS SOUPS 330291 WITH SCORE 331348.331
AT ITER 109 NEW BEST:: SOT 1785916 SOS 1057141 HAS SOPS 1044774 HAS SOUS 329991 HAS SOUPS 329341 WITH SCORE 330398.141
AT ITER 114 NEW BEST:: SOT 1785474 SOS 1056561 HAS SOPS 1044194 HAS SOUS 329521 HAS SOUPS 328871 WITH SCORE 329927.561
AT ITER 122 NEW BEST:: SOT 1785511 SOS 1056664 HAS SOPS 1044297 HAS SOUS 329340 HAS SOUPS 328690 WITH SCORE 329746.664
AT ITER 123 NEW BEST:: SOT 1785254 SOS 1056503 HAS SOPS 1044136 HAS SOUS 329086 HAS SOUPS 328436 WITH SCORE 329492.503
AT ITER 130 NEW BEST:: SOT 1785254 SOS 1056551 HAS SOPS 1044184 HAS SOUS 329078 HAS SOUPS 328428 WITH SCORE 329484.551
AT ITER 144 NEW BEST:: SOT 1785224 SOS 1056521 HAS SOPS 1044139 HAS SOUS 329068 HAS SOUPS 328413 WITH SCORE 329469.521
AT ITER 145 NEW BEST:: SOT 1784729 SOS 1056122 HAS SOPS 1043740 HAS SOUS 328565 HAS SOUPS 327910 WITH SCORE 328966.122
AT ITER 156 NEW BEST:: SOT 1784729 SOS 1056141 HAS SOPS 1043759 HAS SOUS 328555 HAS SOUPS 327900 WITH SCORE 328956.141
AT ITER 163 NEW BEST:: SOT 1698225 SOS 969895 HAS SOPS 957513 HAS SOUS 312004 HAS SOUPS 311349 WITH SCORE 312318.895
AT ITER 175 NEW BEST:: SOT 1698225 SOS 970006 HAS SOPS 957624 HAS SOUS 311311 HAS SOUPS 310656 WITH SCORE 311626.006
AT ITER 176 NEW BEST:: SOT 1698193 SOS 969926 HAS SOPS 957544 HAS SOUS 311231 HAS SOUPS 310576 WITH SCORE 311545.926
AT ITER 181 NEW BEST:: SOT 1698233 SOS 969854 HAS SOPS 957472 HAS SOUS 311159 HAS SOUPS 310504 WITH SCORE 311473.854
AT ITER 185 NEW BEST:: SOT 1698548 SOS 973212 HAS SOPS 960830 HAS SOUS 310175 HAS SOUPS 309520 WITH SCORE 310493.212
AT ITER 188 NEW BEST:: SOT 1697965 SOS 972859 HAS SOPS 960477 HAS SOUS 310085 HAS SOUPS 309430 WITH SCORE 310402.859
AT ITER 192 NEW BEST:: SOT 1697622 SOS 972643 HAS SOPS 960261 HAS SOUS 309869 HAS SOUPS 309214 WITH SCORE 310186.643
AT ITER 193 NEW BEST:: SOT 1697656 SOS 972627 HAS SOPS 960245 HAS SOUS 309853 HAS SOUPS 309198 WITH SCORE 310170.627
AT ITER 197 NEW BEST:: SOT 1644591 SOS 919562 HAS SOPS 907180 HAS SOUS 299403 HAS SOUPS 298748 WITH SCORE 299667.562
AT ITER 201 NEW BEST:: SOT 1561096 SOS 890217 HAS SOPS 877835 HAS SOUS 287076 HAS SOUPS 286421 WITH SCORE 287311.217
AT ITER 214 NEW BEST:: SOT 1561038 SOS 890159 HAS SOPS 877748 HAS SOUS 287069 HAS SOUPS 286392 WITH SCORE 287282.159
AT ITER 226 NEW BEST:: SOT 1561150 SOS 890455 HAS SOPS 878044 HAS SOUS 287040 HAS SOUPS 286363 WITH SCORE 287253.455
AT ITER 228 NEW BEST:: SOT 1560620 SOS 890168 HAS SOPS 877757 HAS SOUS 286579 HAS SOUPS 285902 WITH SCORE 286792.168
AT ITER 230 NEW BEST:: SOT 1560515 SOS 890084 HAS SOPS 877673 HAS SOUS 286306 HAS SOUPS 285629 WITH SCORE 286519.084
AT ITER 252 NEW BEST:: SOT 1560340 SOS 890084 HAS SOPS 877673 HAS SOUS 286302 HAS SOUPS 285625 WITH SCORE 286515.084
AT ITER 271 NEW BEST:: SOT 1560215 SOS 889728 HAS SOPS 876261 HAS SOUS 286177 HAS SOUPS 285368 WITH SCORE 286257.728
AT ITER 272 NEW BEST:: SOT 1560230 SOS 889712 HAS SOPS 876245 HAS SOUS 286161 HAS SOUPS 285352 WITH SCORE 286241.712
AT ITER 281 NEW BEST:: SOT 1559657 SOS 889305 HAS SOPS 875838 HAS SOUS 285805 HAS SOUPS 284996 WITH SCORE 285885.305
AT ITER 290 NEW BEST:: SOT 1500837 SOS 830423 HAS SOPS 816956 HAS SOUS 273880 HAS SOUPS 273071 WITH SCORE 273901.423
AT ITER 293 NEW BEST:: SOT 1500913 SOS 830160 HAS SOPS 814261 HAS SOUS 274013 HAS SOUPS 272900 WITH SCORE 273730.16
AT ITER 295 NEW BEST:: SOT 1500659 SOS 829987 HAS SOPS 814088 HAS SOUS 273840 HAS SOUPS 272727 WITH SCORE 273556.987
AT ITER 298 NEW BEST:: SOT 1500502 SOS 829998 HAS SOPS 814099 HAS SOUS 273831 HAS SOUPS 272718 WITH SCORE 273547.998
AT ITER 303 NEW BEST:: SOT 1500576 SOS 830138 HAS SOPS 814239 HAS SOUS 273746 HAS SOUPS 272633 WITH SCORE 273463.138
AT ITER 304 NEW BEST:: SOT 1500576 SOS 830122 HAS SOPS 814223 HAS SOUS 273730 HAS SOUPS 272617 WITH SCORE 273447.122
AT ITER 311 NEW BEST:: SOT 1500576 SOS 829942 HAS SOPS 814043 HAS SOUS 273730 HAS SOUPS 272617 WITH SCORE 273446.942
AT ITER 314 NEW BEST:: SOT 1500550 SOS 829916 HAS SOPS 814017 HAS SOUS 273704 HAS SOUPS 272591 WITH SCORE 273420.916
AT ITER 315 NEW BEST:: SOT 1500335 SOS 829842 HAS SOPS 813943 HAS SOUS 273037 HAS SOUPS 271924 WITH SCORE 272753.842
AT ITER 318 NEW BEST:: SOT 1500156 SOS 829793 HAS SOPS 813886 HAS SOUS 272842 HAS SOUPS 271729 WITH SCORE 272558.793
AT ITER 321 NEW BEST:: SOT 1500123 SOS 829727 HAS SOPS 813820 HAS SOUS 272766 HAS SOUPS 271653 WITH SCORE 272482.727
AT ITER 326 NEW BEST:: SOT 1468435 SOS 845841 HAS SOPS 829934 HAS SOUS 267573 HAS SOUPS 266460 WITH SCORE 267305.841
AT ITER 347 NEW BEST:: SOT 1468444 SOS 845850 HAS SOPS 829934 HAS SOUS 267566 HAS SOUPS 266451 WITH SCORE 267296.85
AT ITER 359 NEW BEST:: SOT 1468494 SOS 845900 HAS SOPS 829870 HAS SOUS 267556 HAS SOUPS 266407 WITH SCORE 267252.9
AT ITER 372 NEW BEST:: SOT 1468363 SOS 845638 HAS SOPS 825416 HAS SOUS 267294 HAS SOUPS 265621 WITH SCORE 266466.638
AT ITER 375 NEW BEST:: SOT 1468249 SOS 845809 HAS SOPS 825587 HAS SOUS 267072 HAS SOUPS 265399 WITH SCORE 266244.809
AT ITER 380 NEW BEST:: SOT 1468045 SOS 845648 HAS SOPS 825426 HAS SOUS 266979 HAS SOUPS 265306 WITH SCORE 266151.648
AT ITER 389 NEW BEST:: SOT 1468078 SOS 845747 HAS SOPS 825525 HAS SOUS 266866 HAS SOUPS 265193 WITH SCORE 266038.747
AT ITER 393 NEW BEST:: SOT 1468046 SOS 845715 HAS SOPS 825410 HAS SOUS 266783 HAS SOUPS 265110 WITH SCORE 265955.715
AT ITER 397 NEW BEST:: SOT 1468046 SOS 845717 HAS SOPS 825412 HAS SOUS 266779 HAS SOUPS 265106 WITH SCORE 265951.717
AT ITER 406 NEW BEST:: SOT 1468021 SOS 845692 HAS SOPS 825437 HAS SOUS 266776 HAS SOUPS 265103 WITH SCORE 265948.692
AT ITER 449 NEW BEST:: SOT 1467920 SOS 846100 HAS SOPS 825856 HAS SOUS 266587 HAS SOUPS 264914 WITH SCORE 265760.1
AT ITER 461 NEW BEST:: SOT 1467903 SOS 846066 HAS SOPS 825822 HAS SOUS 266569 HAS SOUPS 264896 WITH SCORE 265742.066
AT ITER 464 NEW BEST:: SOT 1467934 SOS 846357 HAS SOPS 826113 HAS SOUS 266253 HAS SOUPS 264580 WITH SCORE 265426.357
AT ITER 469 NEW BEST:: SOT 1397637 SOS 776253 HAS SOPS 756009 HAS SOUS 252082 HAS SOUPS 250409 WITH SCORE 251185.253
AT ITER 472 NEW BEST:: SOT 1397725 SOS 776251 HAS SOPS 756007 HAS SOUS 252080 HAS SOUPS 250407 WITH SCORE 251183.251
AT ITER 483 NEW BEST:: SOT 1397731 SOS 776235 HAS SOPS 755991 HAS SOUS 252064 HAS SOUPS 250391 WITH SCORE 251167.235
AT ITER 494 NEW BEST:: SOT 1397685 SOS 776143 HAS SOPS 755899 HAS SOUS 251922 HAS SOUPS 250249 WITH SCORE 251025.143
AT ITER 506 NEW BEST:: SOT 1397684 SOS 776140 HAS SOPS 755896 HAS SOUS 251921 HAS SOUPS 250248 WITH SCORE 251024.14
AT ITER 514 NEW BEST:: SOT 1397787 SOS 777678 HAS SOPS 757434 HAS SOUS 251553 HAS SOUPS 249880 WITH SCORE 250657.678
AT ITER 530 NEW BEST:: SOT 1397515 SOS 777639 HAS SOPS 757395 HAS SOUS 251537 HAS SOUPS 249864 WITH SCORE 250641.639
AT ITER 539 NEW BEST:: SOT 1397576 SOS 777895 HAS SOPS 757651 HAS SOUS 251492 HAS SOUPS 249819 WITH SCORE 250596.895
AT ITER 546 NEW BEST:: SOT 1397546 SOS 777865 HAS SOPS 757673 HAS SOUS 251388 HAS SOUPS 249715 WITH SCORE 250492.865
AT ITER 567 NEW BEST:: SOT 1397494 SOS 779473 HAS SOPS 759296 HAS SOUS 250976 HAS SOUPS 249303 WITH SCORE 250082.473
AT ITER 571 NEW BEST:: SOT 1397495 SOS 779475 HAS SOPS 759298 HAS SOUS 250968 HAS SOUPS 249295 WITH SCORE 250074.475
AT ITER 576 NEW BEST:: SOT 1397495 SOS 779471 HAS SOPS 759294 HAS SOUS 250964 HAS SOUPS 249291 WITH SCORE 250070.471
AT ITER 582 NEW BEST:: SOT 1397376 SOS 779246 HAS SOPS 759300 HAS SOUS 250901 HAS SOUPS 249228 WITH SCORE 250007.246
AT ITER 584 NEW BEST:: SOT 1397376 SOS 779282 HAS SOPS 759336 HAS SOUS 250893 HAS SOUPS 249220 WITH SCORE 249999.282
AT ITER 585 NEW BEST:: SOT 1397352 SOS 779258 HAS SOPS 759312 HAS SOUS 250869 HAS SOUPS 249196 WITH SCORE 249975.258
AT ITER 587 NEW BEST:: SOT 1397275 SOS 779341 HAS SOPS 759395 HAS SOUS 250830 HAS SOUPS 249157 WITH SCORE 249936.341
AT ITER 596 NEW BEST:: SOT 1397109 SOS 778878 HAS SOPS 758932 HAS SOUS 250367 HAS SOUPS 248694 WITH SCORE 249472.878
AT ITER 597 NEW BEST:: SOT 1396813 SOS 778724 HAS SOPS 758778 HAS SOUS 250313 HAS SOUPS 248640 WITH SCORE 249418.724
AT ITER 598 NEW BEST:: SOT 1396689 SOS 778935 HAS SOPS 759116 HAS SOUS 249607 HAS SOUPS 247934 WITH SCORE 248712.935
AT ITER 610 NEW BEST:: SOT 1396663 SOS 778909 HAS SOPS 759090 HAS SOUS 249581 HAS SOUPS 247908 WITH SCORE 248686.909
AT ITER 612 NEW BEST:: SOT 1396581 SOS 778680 HAS SOPS 758861 HAS SOUS 249417 HAS SOUPS 247744 WITH SCORE 248522.68
AT ITER 619 NEW BEST:: SOT 1396365 SOS 778378 HAS SOPS 758559 HAS SOUS 249321 HAS SOUPS 247648 WITH SCORE 248426.378
AT ITER 641 NEW BEST:: SOT 1396130 SOS 778143 HAS SOPS 758397 HAS SOUS 249104 HAS SOUPS 247429 WITH SCORE 248207.143
AT ITER 643 NEW BEST:: SOT 1396363 SOS 778526 HAS SOPS 758780 HAS SOUS 248906 HAS SOUPS 247231 WITH SCORE 248009.526
AT ITER 658 NEW BEST:: SOT 1396363 SOS 778490 HAS SOPS 758744 HAS SOUS 248902 HAS SOUPS 247227 WITH SCORE 248005.49
AT ITER 661 NEW BEST:: SOT 1384774 SOS 769132 HAS SOPS 752602 HAS SOUS 238623 HAS SOUPS 237077 WITH SCORE 237846.132
AT ITER 662 NEW BEST:: SOT 1384513 SOS 768001 HAS SOPS 751471 HAS SOUS 238235 HAS SOUPS 236689 WITH SCORE 237457.001
AT ITER 674 NEW BEST:: SOT 1384513 SOS 765273 HAS SOPS 748743 HAS SOUS 238235 HAS SOUPS 236689 WITH SCORE 237454.273
AT ITER 684 NEW BEST:: SOT 1384385 SOS 765189 HAS SOPS 748659 HAS SOUS 238151 HAS SOUPS 236605 WITH SCORE 237370.189
AT ITER 695 NEW BEST:: SOT 1384395 SOS 767884 HAS SOPS 751362 HAS SOUS 237614 HAS SOUPS 236068 WITH SCORE 236835.884
AT ITER 712 NEW BEST:: SOT 1383987 SOS 767553 HAS SOPS 751031 HAS SOUS 237210 HAS SOUPS 235664 WITH SCORE 236431.553
AT ITER 725 NEW BEST:: SOT 1383894 SOS 766463 HAS SOPS 749944 HAS SOUS 237086 HAS SOUPS 235540 WITH SCORE 236306.463
AT ITER 733 NEW BEST:: SOT 1383859 SOS 766591 HAS SOPS 750085 HAS SOUS 237064 HAS SOUPS 235518 WITH SCORE 236284.591
AT ITER 735 NEW BEST:: SOT 1383857 SOS 766581 HAS SOPS 750075 HAS SOUS 236998 HAS SOUPS 235452 WITH SCORE 236218.581
AT ITER 738 NEW BEST:: SOT 1383834 SOS 766558 HAS SOPS 750052 HAS SOUS 236910 HAS SOUPS 235364 WITH SCORE 236130.558
AT ITER 739 NEW BEST:: SOT 1383571 SOS 766582 HAS SOPS 750235 HAS SOUS 236639 HAS SOUPS 235093 WITH SCORE 235859.582
AT ITER 746 NEW BEST:: SOT 1383543 SOS 766504 HAS SOPS 750157 HAS SOUS 236106 HAS SOUPS 234560 WITH SCORE 235326.504
AT ITER 754 NEW BEST:: SOT 1383520 SOS 766440 HAS SOPS 750093 HAS SOUS 236097 HAS SOUPS 234551 WITH SCORE 235317.44
AT ITER 767 NEW BEST:: SOT 1383108 SOS 766186 HAS SOPS 749839 HAS SOUS 235876 HAS SOUPS 234330 WITH SCORE 235096.186
AT ITER 785 NEW BEST:: SOT 1382667 SOS 765893 HAS SOPS 749546 HAS SOUS 235709 HAS SOUPS 234163 WITH SCORE 234928.893
AT ITER 804 NEW BEST:: SOT 1382648 SOS 765874 HAS SOPS 749510 HAS SOUS 235608 HAS SOUPS 234062 WITH SCORE 234827.874
AT ITER 811 NEW BEST:: SOT 1381928 SOS 765261 HAS SOPS 748897 HAS SOUS 234841 HAS SOUPS 233295 WITH SCORE 234060.261
AT ITER 819 NEW BEST:: SOT 1381908 SOS 765028 HAS SOPS 748664 HAS SOUS 234041 HAS SOUPS 232495 WITH SCORE 233260.028
AT ITER 822 NEW BEST:: SOT 1381886 SOS 764984 HAS SOPS 748620 HAS SOUS 233984 HAS SOUPS 232438 WITH SCORE 233202.984
AT ITER 829 NEW BEST:: SOT 1381833 SOS 764980 HAS SOPS 748616 HAS SOUS 233913 HAS SOUPS 232367 WITH SCORE 233131.98
AT ITER 842 NEW BEST:: SOT 1381755 SOS 764902 HAS SOPS 748460 HAS SOUS 233895 HAS SOUPS 232257 WITH SCORE 233021.902
AT ITER 853 NEW BEST:: SOT 1381390 SOS 764627 HAS SOPS 748185 HAS SOUS 233388 HAS SOUPS 231750 WITH SCORE 232514.627
AT ITER 855 NEW BEST:: SOT 1381337 SOS 764570 HAS SOPS 748128 HAS SOUS 233331 HAS SOUPS 231693 WITH SCORE 232457.57
AT ITER 857 NEW BEST:: SOT 1381133 SOS 764588 HAS SOPS 748146 HAS SOUS 233262 HAS SOUPS 231624 WITH SCORE 232388.588
AT ITER 859 NEW BEST:: SOT 1380966 SOS 763983 HAS SOPS 747541 HAS SOUS 232792 HAS SOUPS 231154 WITH SCORE 231917.983
AT ITER 865 NEW BEST:: SOT 1380852 SOS 763904 HAS SOPS 747462 HAS SOUS 232647 HAS SOUPS 231009 WITH SCORE 231772.904
AT ITER 874 NEW BEST:: SOT 1380805 SOS 763849 HAS SOPS 747407 HAS SOUS 232553 HAS SOUPS 230915 WITH SCORE 231678.849
AT ITER 876 NEW BEST:: SOT 1380636 SOS 763736 HAS SOPS 747297 HAS SOUS 232416 HAS SOUPS 230778 WITH SCORE 231541.736
AT ITER 881 NEW BEST:: SOT 1380269 SOS 763369 HAS SOPS 746930 HAS SOUS 231897 HAS SOUPS 230259 WITH SCORE 231022.369
AT ITER 902 NEW BEST:: SOT 1380202 SOS 763300 HAS SOPS 746861 HAS SOUS 231828 HAS SOUPS 230190 WITH SCORE 230953.3
AT ITER 909 NEW BEST:: SOT 1380237 SOS 763335 HAS SOPS 746896 HAS SOUS 231788 HAS SOUPS 230150 WITH SCORE 230913.335
AT ITER 910 NEW BEST:: SOT 1380251 SOS 763366 HAS SOPS 746927 HAS SOUS 231737 HAS SOUPS 230099 WITH SCORE 230862.366
AT ITER 912 NEW BEST:: SOT 1380228 SOS 763320 HAS SOPS 746881 HAS SOUS 231691 HAS SOUPS 230053 WITH SCORE 230816.32
AT ITER 914 NEW BEST:: SOT 1380023 SOS 763115 HAS SOPS 746676 HAS SOUS 230918 HAS SOUPS 229280 WITH SCORE 230043.115
AT ITER 923 NEW BEST:: SOT 1379995 SOS 763087 HAS SOPS 746648 HAS SOUS 230378 HAS SOUPS 228740 WITH SCORE 229503.087
AT ITER 926 NEW BEST:: SOT 1379953 SOS 763045 HAS SOPS 746606 HAS SOUS 230340 HAS SOUPS 228702 WITH SCORE 229465.045
AT ITER 943 NEW BEST:: SOT 1379647 SOS 762778 HAS SOPS 746339 HAS SOUS 229939 HAS SOUPS 228301 WITH SCORE 229063.778
AT ITER 959 NEW BEST:: SOT 1379587 SOS 762718 HAS SOPS 746264 HAS SOUS 229834 HAS SOUPS 228196 WITH SCORE 228958.718
AT ITER 972 NEW BEST:: SOT 1379310 SOS 762341 HAS SOPS 745887 HAS SOUS 228199 HAS SOUPS 226561 WITH SCORE 227323.341
AT ITER 973 NEW BEST:: SOT 1379310 SOS 762341 HAS SOPS 745887 HAS SOUS 228184 HAS SOUPS 226546 WITH SCORE 227308.341
AT ITER 997 NEW BEST:: SOT 1379310 SOS 762341 HAS SOPS 745887 HAS SOUS 228168 HAS SOUPS 226530 WITH SCORE 227292.341
AT ITER 1002 NEW BEST:: SOT 1322018 SOS 725779 HAS SOPS 709325 HAS SOUS 219364 HAS SOUPS 217726 WITH SCORE 218451.779
AT ITER 1016 NEW BEST:: SOT 1321939 SOS 725700 HAS SOPS 709088 HAS SOUS 219285 HAS SOUPS 217489 WITH SCORE 218214.7
AT ITER 1020 NEW BEST:: SOT 1321942 SOS 725703 HAS SOPS 709088 HAS SOUS 219286 HAS SOUPS 217488 WITH SCORE 218213.703
AT ITER 1021 NEW BEST:: SOT 1321388 SOS 725192 HAS SOPS 708577 HAS SOUS 218795 HAS SOUPS 216997 WITH SCORE 217722.192
AT ITER 1038 NEW BEST:: SOT 1321075 SOS 724899 HAS SOPS 708284 HAS SOUS 218577 HAS SOUPS 216779 WITH SCORE 217503.899
AT ITER 1057 NEW BEST:: SOT 1321210 SOS 725939 HAS SOPS 709380 HAS SOUS 218301 HAS SOUPS 216503 WITH SCORE 217228.939
AT ITER 1065 NEW BEST:: SOT 1321259 SOS 725988 HAS SOPS 709429 HAS SOUS 218243 HAS SOUPS 216445 WITH SCORE 217170.988
AT ITER 1077 NEW BEST:: SOT 1321215 SOS 725944 HAS SOPS 709385 HAS SOUS 218144 HAS SOUPS 216346 WITH SCORE 217071.944
AT ITER 1089 NEW BEST:: SOT 1321199 SOS 725928 HAS SOPS 709369 HAS SOUS 218128 HAS SOUPS 216330 WITH SCORE 217055.928
AT ITER 1105 NEW BEST:: SOT 1320978 SOS 725707 HAS SOPS 709148 HAS SOUS 218091 HAS SOUPS 216293 WITH SCORE 217018.707
AT ITER 1107 NEW BEST:: SOT 1321342 SOS 726091 HAS SOPS 709532 HAS SOUS 217908 HAS SOUPS 216110 WITH SCORE 216836.091
AT ITER 1115 NEW BEST:: SOT 1321342 SOS 726091 HAS SOPS 709532 HAS SOUS 217876 HAS SOUPS 216078 WITH SCORE 216804.091
AT ITER 1116 NEW BEST:: SOT 1262844 SOS 669107 HAS SOPS 652548 HAS SOUS 207654 HAS SOUPS 205856 WITH SCORE 206525.107
AT ITER 1117 NEW BEST:: SOT 1262439 SOS 668668 HAS SOPS 652109 HAS SOUS 207631 HAS SOUPS 205833 WITH SCORE 206501.668
AT ITER 1147 NEW BEST:: SOT 1262299 SOS 668600 HAS SOPS 652041 HAS SOUS 207561 HAS SOUPS 205763 WITH SCORE 206431.6
AT ITER 1158 NEW BEST:: SOT 1262370 SOS 668671 HAS SOPS 652080 HAS SOUS 207548 HAS SOUPS 205750 WITH SCORE 206418.671
AT ITER 1161 NEW BEST:: SOT 1262202 SOS 668546 HAS SOPS 651955 HAS SOUS 207547 HAS SOUPS 205749 WITH SCORE 206417.546
AT ITER 1165 NEW BEST:: SOT 1262176 SOS 668546 HAS SOPS 651955 HAS SOUS 207371 HAS SOUPS 205573 WITH SCORE 206241.546
AT ITER 1168 NEW BEST:: SOT 1257091 SOS 663461 HAS SOPS 646870 HAS SOUS 206518 HAS SOUPS 204720 WITH SCORE 205383.461
AT ITER 1174 NEW BEST:: SOT 1257096 SOS 663471 HAS SOPS 646880 HAS SOUS 206444 HAS SOUPS 204646 WITH SCORE 205309.471
AT ITER 1179 NEW BEST:: SOT 1257060 SOS 663404 HAS SOPS 646813 HAS SOUS 206372 HAS SOUPS 204574 WITH SCORE 205237.404
AT ITER 1180 NEW BEST:: SOT 1255440 SOS 661784 HAS SOPS 645193 HAS SOUS 206057 HAS SOUPS 204259 WITH SCORE 204920.784
AT ITER 1184 NEW BEST:: SOT 1255476 SOS 661851 HAS SOPS 645260 HAS SOUS 206009 HAS SOUPS 204211 WITH SCORE 204872.851
AT ITER 1208 NEW BEST:: SOT 1255472 SOS 661849 HAS SOPS 645258 HAS SOUS 206005 HAS SOUPS 204207 WITH SCORE 204868.849
AT ITER 1211 NEW BEST:: SOT 1255243 SOS 661583 HAS SOPS 644992 HAS SOUS 205814 HAS SOUPS 204016 WITH SCORE 204677.583
AT ITER 1233 NEW BEST:: SOT 1255075 SOS 661484 HAS SOPS 645074 HAS SOUS 205719 HAS SOUPS 203921 WITH SCORE 204582.484
AT ITER 1236 NEW BEST:: SOT 1254724 SOS 661133 HAS SOPS 644723 HAS SOUS 205451 HAS SOUPS 203653 WITH SCORE 204314.133
AT ITER 1241 NEW BEST:: SOT 1249742 SOS 656622 HAS SOPS 639741 HAS SOUS 200556 HAS SOUPS 198626 WITH SCORE 199282.622
AT ITER 1282 NEW BEST:: SOT 1249742 SOS 656517 HAS SOPS 639636 HAS SOUS 200556 HAS SOUPS 198626 WITH SCORE 199282.517
AT ITER 1313 NEW BEST:: SOT 1249693 SOS 656303 HAS SOPS 639422 HAS SOUS 200458 HAS SOUPS 198528 WITH SCORE 199184.303
AT ITER 1322 NEW BEST:: SOT 1249620 SOS 656259 HAS SOPS 639378 HAS SOUS 199997 HAS SOUPS 198067 WITH SCORE 198723.259
AT ITER 1334 NEW BEST:: SOT 1249614 SOS 656253 HAS SOPS 639340 HAS SOUS 199898 HAS SOUPS 197968 WITH SCORE 198624.253
AT ITER 1337 NEW BEST:: SOT 1249614 SOS 681753 HAS SOPS 664840 HAS SOUS 199748 HAS SOUPS 197818 WITH SCORE 198499.753
AT ITER 1350 NEW BEST:: SOT 1249536 SOS 681688 HAS SOPS 664775 HAS SOUS 199633 HAS SOUPS 197703 WITH SCORE 198384.688
AT ITER 1361 NEW BEST:: SOT 1249522 SOS 681721 HAS SOPS 664808 HAS SOUS 199618 HAS SOUPS 197688 WITH SCORE 198369.721
AT ITER 1370 NEW BEST:: SOT 1249537 SOS 681703 HAS SOPS 664790 HAS SOUS 199552 HAS SOUPS 197622 WITH SCORE 198303.703
AT ITER 1379 NEW BEST:: SOT 1249487 SOS 681910 HAS SOPS 664998 HAS SOUS 199463 HAS SOUPS 197535 WITH SCORE 198216.91
AT ITER 1394 NEW BEST:: SOT 1197602 SOS 649049 HAS SOPS 632137 HAS SOUS 190165 HAS SOUPS 188237 WITH SCORE 188886.049
AT ITER 1395 NEW BEST:: SOT 1197554 SOS 648995 HAS SOPS 632083 HAS SOUS 190063 HAS SOUPS 188135 WITH SCORE 188783.995
AT ITER 1396 NEW BEST:: SOT 1197496 SOS 649030 HAS SOPS 632118 HAS SOUS 190040 HAS SOUPS 188112 WITH SCORE 188761.03
AT ITER 1397 NEW BEST:: SOT 1197501 SOS 648927 HAS SOPS 632015 HAS SOUS 189703 HAS SOUPS 187775 WITH SCORE 188423.927
AT ITER 1399 NEW BEST:: SOT 1197316 SOS 648693 HAS SOPS 631781 HAS SOUS 189469 HAS SOUPS 187541 WITH SCORE 188189.693
AT ITER 1403 NEW BEST:: SOT 1197318 SOS 648576 HAS SOPS 631664 HAS SOUS 189422 HAS SOUPS 187494 WITH SCORE 188142.576
AT ITER 1406 NEW BEST:: SOT 1197439 SOS 648658 HAS SOPS 631746 HAS SOUS 189350 HAS SOUPS 187422 WITH SCORE 188070.658
AT ITER 1434 NEW BEST:: SOT 1197379 SOS 648573 HAS SOPS 631641 HAS SOUS 189265 HAS SOUPS 187337 WITH SCORE 187985.573
AT ITER 1437 NEW BEST:: SOT 1197378 SOS 648572 HAS SOPS 631640 HAS SOUS 189264 HAS SOUPS 187336 WITH SCORE 187984.572
AT ITER 1444 NEW BEST:: SOT 1197369 SOS 648244 HAS SOPS 631312 HAS SOUS 189246 HAS SOUPS 187318 WITH SCORE 187966.244
AT ITER 1461 NEW BEST:: SOT 1197342 SOS 648217 HAS SOPS 631291 HAS SOUS 189216 HAS SOUPS 187288 WITH SCORE 187936.217
AT ITER 1468 NEW BEST:: SOT 1197186 SOS 648113 HAS SOPS 631187 HAS SOUS 189207 HAS SOUPS 187279 WITH SCORE 187927.113
AT ITER 1469 NEW BEST:: SOT 1197162 SOS 648096 HAS SOPS 631167 HAS SOUS 188990 HAS SOUPS 187062 WITH SCORE 187710.096
AT ITER 1478 NEW BEST:: SOT 1197161 SOS 648094 HAS SOPS 631165 HAS SOUS 188988 HAS SOUPS 187060 WITH SCORE 187708.094
AT ITER 1493 NEW BEST:: SOT 1197119 SOS 648052 HAS SOPS 631123 HAS SOUS 188931 HAS SOUPS 187003 WITH SCORE 187651.052
AT ITER 1547 NEW BEST:: SOT 1197059 SOS 648001 HAS SOPS 631072 HAS SOUS 188898 HAS SOUPS 186970 WITH SCORE 187618.001
AT ITER 1550 NEW BEST:: SOT 1197059 SOS 647985 HAS SOPS 631056 HAS SOUS 188832 HAS SOUPS 186904 WITH SCORE 187551.985
AT ITER 1561 NEW BEST:: SOT 1196882 SOS 647901 HAS SOPS 630975 HAS SOUS 188731 HAS SOUPS 186803 WITH SCORE 187450.901
AT ITER 1569 NEW BEST:: SOT 1196826 SOS 647841 HAS SOPS 630915 HAS SOUS 188592 HAS SOUPS 186664 WITH SCORE 187311.841
AT ITER 1572 NEW BEST:: SOT 1196802 SOS 647769 HAS SOPS 630843 HAS SOUS 188520 HAS SOUPS 186592 WITH SCORE 187239.769
AT ITER 1598 NEW BEST:: SOT 1196881 SOS 647867 HAS SOPS 630941 HAS SOUS 188256 HAS SOUPS 186328 WITH SCORE 186975.867
AT ITER 1603 NEW BEST:: SOT 1196850 SOS 647836 HAS SOPS 630879 HAS SOUS 188195 HAS SOUPS 186266 WITH SCORE 186913.836
AT ITER 1608 NEW BEST:: SOT 1196848 SOS 647917 HAS SOPS 630960 HAS SOUS 188188 HAS SOUPS 186259 WITH SCORE 186906.917
AT ITER 1637 NEW BEST:: SOT 1196670 SOS 647875 HAS SOPS 630918 HAS SOUS 188169 HAS SOUPS 186240 WITH SCORE 186887.875
AT ITER 1657 NEW BEST:: SOT 1196668 SOS 647917 HAS SOPS 630960 HAS SOUS 187600 HAS SOUPS 185671 WITH SCORE 186318.917
AT ITER 1659 NEW BEST:: SOT 1196533 SOS 647564 HAS SOPS 630607 HAS SOUS 187580 HAS SOUPS 185651 WITH SCORE 186298.564
AT ITER 1678 NEW BEST:: SOT 1196499 SOS 647484 HAS SOPS 630527 HAS SOUS 187512 HAS SOUPS 185583 WITH SCORE 186230.484
AT ITER 1680 NEW BEST:: SOT 1196959 SOS 647833 HAS SOPS 630876 HAS SOUS 187136 HAS SOUPS 185207 WITH SCORE 185854.833
AT ITER 1692 NEW BEST:: SOT 1196929 SOS 647803 HAS SOPS 630846 HAS SOUS 187106 HAS SOUPS 185177 WITH SCORE 185824.803
AT ITER 1696 NEW BEST:: SOT 1196916 SOS 647790 HAS SOPS 630873 HAS SOUS 187000 HAS SOUPS 185071 WITH SCORE 185718.79
AT ITER 1699 NEW BEST:: SOT 1196545 SOS 647482 HAS SOPS 630565 HAS SOUS 186867 HAS SOUPS 184938 WITH SCORE 185585.482
AT ITER 1702 NEW BEST:: SOT 1196722 SOS 647767 HAS SOPS 630850 HAS SOUS 186643 HAS SOUPS 184714 WITH SCORE 185361.767
AT ITER 1712 NEW BEST:: SOT 1196604 SOS 647708 HAS SOPS 630791 HAS SOUS 186434 HAS SOUPS 184505 WITH SCORE 185152.708
AT ITER 1723 NEW BEST:: SOT 1196316 SOS 647420 HAS SOPS 630503 HAS SOUS 186146 HAS SOUPS 184217 WITH SCORE 184864.42
AT ITER 1751 NEW BEST:: SOT 1196316 SOS 647387 HAS SOPS 630470 HAS SOUS 186146 HAS SOUPS 184217 WITH SCORE 184864.387
AT ITER 1760 NEW BEST:: SOT 1194914 SOS 645985 HAS SOPS 629068 HAS SOUS 184744 HAS SOUPS 182815 WITH SCORE 183460.985
AT ITER 1765 NEW BEST:: SOT 1194914 SOS 645985 HAS SOPS 629087 HAS SOUS 184706 HAS SOUPS 182777 WITH SCORE 183422.985
AT ITER 1770 NEW BEST:: SOT 1194898 SOS 645969 HAS SOPS 629071 HAS SOUS 184690 HAS SOUPS 182761 WITH SCORE 183406.969
AT ITER 1772 NEW BEST:: SOT 1194818 SOS 645877 HAS SOPS 628979 HAS SOUS 184626 HAS SOUPS 182697 WITH SCORE 183342.877
AT ITER 1782 NEW BEST:: SOT 1194288 SOS 645294 HAS SOPS 628396 HAS SOUS 184202 HAS SOUPS 182273 WITH SCORE 182918.294
AT ITER 1786 NEW BEST:: SOT 1194445 SOS 645347 HAS SOPS 628449 HAS SOUS 184106 HAS SOUPS 182177 WITH SCORE 182822.347
AT ITER 1799 NEW BEST:: SOT 1194228 SOS 645130 HAS SOPS 628232 HAS SOUS 183947 HAS SOUPS 182018 WITH SCORE 182663.13
AT ITER 1818 NEW BEST:: SOT 1194228 SOS 645130 HAS SOPS 628232 HAS SOUS 183736 HAS SOUPS 181807 WITH SCORE 182452.13
AT ITER 1826 NEW BEST:: SOT 1194144 SOS 645084 HAS SOPS 628186 HAS SOUS 183670 HAS SOUPS 181741 WITH SCORE 182386.084
AT ITER 1833 NEW BEST:: SOT 1194025 SOS 644965 HAS SOPS 628067 HAS SOUS 183479 HAS SOUPS 181550 WITH SCORE 182194.965
AT ITER 1843 NEW BEST:: SOT 1193993 SOS 644933 HAS SOPS 628035 HAS SOUS 183415 HAS SOUPS 181486 WITH SCORE 182130.933
AT ITER 1849 NEW BEST:: SOT 1193993 SOS 644936 HAS SOPS 628038 HAS SOUS 183409 HAS SOUPS 181480 WITH SCORE 182124.936
AT ITER 1851 NEW BEST:: SOT 1194031 SOS 644959 HAS SOPS 628061 HAS SOUS 183390 HAS SOUPS 181461 WITH SCORE 182105.959
AT ITER 1855 NEW BEST:: SOT 1193962 SOS 644890 HAS SOPS 627992 HAS SOUS 183252 HAS SOUPS 181323 WITH SCORE 181967.89
AT ITER 1870 NEW BEST:: SOT 1193630 SOS 644558 HAS SOPS 627660 HAS SOUS 183059 HAS SOUPS 181130 WITH SCORE 181774.558
AT ITER 1873 NEW BEST:: SOT 1193611 SOS 644536 HAS SOPS 627644 HAS SOUS 183021 HAS SOUPS 181092 WITH SCORE 181736.536
AT ITER 1877 NEW BEST:: SOT 1193588 SOS 644513 HAS SOPS 627621 HAS SOUS 182962 HAS SOUPS 181033 WITH SCORE 181677.513
AT ITER 1890 NEW BEST:: SOT 1170739 SOS 621352 HAS SOPS 604460 HAS SOUS 180186 HAS SOUPS 178257 WITH SCORE 178878.352
AT ITER 1893 NEW BEST:: SOT 1170676 SOS 621289 HAS SOPS 604397 HAS SOUS 180132 HAS SOUPS 178203 WITH SCORE 178824.289
AT ITER 1894 NEW BEST:: SOT 1170492 SOS 621191 HAS SOPS 604299 HAS SOUS 180081 HAS SOUPS 178152 WITH SCORE 178773.191
AT ITER 1899 NEW BEST:: SOT 1170395 SOS 621108 HAS SOPS 604216 HAS SOUS 179998 HAS SOUPS 178069 WITH SCORE 178690.108
AT ITER 1904 NEW BEST:: SOT 1170387 SOS 621100 HAS SOPS 604208 HAS SOUS 179982 HAS SOUPS 178053 WITH SCORE 178674.1
AT ITER 1922 NEW BEST:: SOT 1154686 SOS 606877 HAS SOPS 589985 HAS SOUS 178999 HAS SOUPS 177070 WITH SCORE 177676.877
AT ITER 1932 NEW BEST:: SOT 1154654 SOS 606777 HAS SOPS 589885 HAS SOUS 178899 HAS SOUPS 176970 WITH SCORE 177576.777
AT ITER 1949 NEW BEST:: SOT 1154641 SOS 606764 HAS SOPS 589859 HAS SOUS 178873 HAS SOUPS 176944 WITH SCORE 177550.764
AT ITER 1956 NEW BEST:: SOT 1154723 SOS 606846 HAS SOPS 589941 HAS SOUS 178858 HAS SOUPS 176929 WITH SCORE 177535.846
AT ITER 1963 NEW BEST:: SOT 1154657 SOS 606715 HAS SOPS 589810 HAS SOUS 178671 HAS SOUPS 176742 WITH SCORE 177348.715
AT ITER 1985 NEW BEST:: SOT 1154630 SOS 606661 HAS SOPS 589756 HAS SOUS 178239 HAS SOUPS 176310 WITH SCORE 176916.661
AT ITER 1989 NEW BEST:: SOT 1154133 SOS 606132 HAS SOPS 589227 HAS SOUS 177620 HAS SOUPS 175691 WITH SCORE 176297.132
AT ITER 1996 NEW BEST:: SOT 1154203 SOS 609117 HAS SOPS 592212 HAS SOUS 177572 HAS SOUPS 175643 WITH SCORE 176252.117
AT ITER 1999 NEW BEST:: SOT 1154189 SOS 609089 HAS SOPS 592184 HAS SOUS 177544 HAS SOUPS 175615 WITH SCORE 176224.089
AT ITER 2001 NEW BEST:: SOT 1154043 SOS 608555 HAS SOPS 591650 HAS SOUS 177473 HAS SOUPS 175544 WITH SCORE 176152.555
AT ITER 2028 NEW BEST:: SOT 1154033 SOS 608495 HAS SOPS 591590 HAS SOUS 177473 HAS SOUPS 175544 WITH SCORE 176152.495
AT ITER 2034 NEW BEST:: SOT 1153975 SOS 608383 HAS SOPS 591478 HAS SOUS 177406 HAS SOUPS 175477 WITH SCORE 176085.383
AT ITER 2052 NEW BEST:: SOT 1153686 SOS 607963 HAS SOPS 591058 HAS SOUS 176977 HAS SOUPS 175048 WITH SCORE 175655.963
AT ITER 2054 NEW BEST:: SOT 1148372 SOS 612545 HAS SOPS 595640 HAS SOUS 176562 HAS SOUPS 174633 WITH SCORE 175245.545
AT ITER 2062 NEW BEST:: SOT 1148170 SOS 612343 HAS SOPS 595438 HAS SOUS 176067 HAS SOUPS 174138 WITH SCORE 174750.343
AT ITER 2074 NEW BEST:: SOT 1148164 SOS 612337 HAS SOPS 595432 HAS SOUS 176061 HAS SOUPS 174132 WITH SCORE 174744.337
AT ITER 2082 NEW BEST:: SOT 1148121 SOS 612344 HAS SOPS 595439 HAS SOUS 175969 HAS SOUPS 174040 WITH SCORE 174652.344
AT ITER 2096 NEW BEST:: SOT 1127521 SOS 618286 HAS SOPS 601381 HAS SOUS 175167 HAS SOUPS 173238 WITH SCORE 173856.286
AT ITER 2098 NEW BEST:: SOT 1127469 SOS 618234 HAS SOPS 601329 HAS SOUS 175115 HAS SOUPS 173186 WITH SCORE 173804.234
AT ITER 2136 NEW BEST:: SOT 1127453 SOS 618204 HAS SOPS 601299 HAS SOUS 175083 HAS SOUPS 173154 WITH SCORE 173772.204
AT ITER 2151 NEW BEST:: SOT 1127445 SOS 618191 HAS SOPS 601286 HAS SOUS 175062 HAS SOUPS 173133 WITH SCORE 173751.191
AT ITER 2152 NEW BEST:: SOT 1127275 SOS 618090 HAS SOPS 601185 HAS SOUS 174978 HAS SOUPS 173049 WITH SCORE 173667.09
AT ITER 2157 NEW BEST:: SOT 1127324 SOS 618139 HAS SOPS 601234 HAS SOUS 174974 HAS SOUPS 173045 WITH SCORE 173663.139
AT ITER 2162 NEW BEST:: SOT 1127423 SOS 618238 HAS SOPS 601247 HAS SOUS 174901 HAS SOUPS 172964 WITH SCORE 173582.238
AT ITER 2172 NEW BEST:: SOT 1127377 SOS 618146 HAS SOPS 601155 HAS SOUS 174901 HAS SOUPS 172964 WITH SCORE 173582.146
AT ITER 2182 NEW BEST:: SOT 1126998 SOS 617767 HAS SOPS 600776 HAS SOUS 174661 HAS SOUPS 172724 WITH SCORE 173341.767
AT ITER 2184 NEW BEST:: SOT 1126946 SOS 617813 HAS SOPS 600822 HAS SOUS 174557 HAS SOUPS 172620 WITH SCORE 173237.813
AT ITER 2218 NEW BEST:: SOT 1126957 SOS 617824 HAS SOPS 600833 HAS SOUS 174543 HAS SOUPS 172606 WITH SCORE 173223.824
AT ITER 2229 NEW BEST:: SOT 1126853 SOS 617720 HAS SOPS 600729 HAS SOUS 174119 HAS SOUPS 172182 WITH SCORE 172799.72
AT ITER 2236 NEW BEST:: SOT 1126837 SOS 617713 HAS SOPS 600722 HAS SOUS 174096 HAS SOUPS 172159 WITH SCORE 172776.713
AT ITER 2258 NEW BEST:: SOT 1126834 SOS 617710 HAS SOPS 600719 HAS SOUS 174093 HAS SOUPS 172156 WITH SCORE 172773.71
AT ITER 2262 NEW BEST:: SOT 1126456 SOS 617332 HAS SOPS 600341 HAS SOUS 173715 HAS SOUPS 171778 WITH SCORE 172395.332
AT ITER 2273 NEW BEST:: SOT 1126357 SOS 617487 HAS SOPS 600496 HAS SOUS 173630 HAS SOUPS 171693 WITH SCORE 172310.487
AT ITER 2299 NEW BEST:: SOT 1126354 SOS 617419 HAS SOPS 600428 HAS SOUS 173591 HAS SOUPS 171654 WITH SCORE 172271.419
AT ITER 2301 NEW BEST:: SOT 1126334 SOS 617399 HAS SOPS 600408 HAS SOUS 173581 HAS SOUPS 171644 WITH SCORE 172261.399
AT ITER 2303 NEW BEST:: SOT 1126373 SOS 616859 HAS SOPS 599980 HAS SOUS 173436 HAS SOUPS 171499 WITH SCORE 172115.859
AT ITER 2305 NEW BEST:: SOT 1126232 SOS 616577 HAS SOPS 599698 HAS SOUS 173201 HAS SOUPS 171264 WITH SCORE 171880.577
AT ITER 2311 NEW BEST:: SOT 1125750 SOS 616020 HAS SOPS 599141 HAS SOUS 172644 HAS SOUPS 170707 WITH SCORE 171323.02
AT ITER 2332 NEW BEST:: SOT 1125584 SOS 615854 HAS SOPS 598975 HAS SOUS 172632 HAS SOUPS 170695 WITH SCORE 171310.854
AT ITER 2342 NEW BEST:: SOT 1125459 SOS 615692 HAS SOPS 598813 HAS SOUS 172465 HAS SOUPS 170528 WITH SCORE 171143.692
AT ITER 2344 NEW BEST:: SOT 1124758 SOS 614654 HAS SOPS 597775 HAS SOUS 171705 HAS SOUPS 169768 WITH SCORE 170382.654
AT ITER 2371 NEW BEST:: SOT 1124742 SOS 614638 HAS SOPS 597759 HAS SOUS 171677 HAS SOUPS 169740 WITH SCORE 170354.638
AT ITER 2389 NEW BEST:: SOT 1124703 SOS 614635 HAS SOPS 597756 HAS SOUS 171638 HAS SOUPS 169701 WITH SCORE 170315.635
AT ITER 2396 NEW BEST:: SOT 1124671 SOS 614405 HAS SOPS 597526 HAS SOUS 171586 HAS SOUPS 169649 WITH SCORE 170263.405
AT ITER 2412 NEW BEST:: SOT 1124595 SOS 614329 HAS SOPS 597450 HAS SOUS 171472 HAS SOUPS 169535 WITH SCORE 170149.329
AT ITER 2424 NEW BEST:: SOT 1124592 SOS 614326 HAS SOPS 597447 HAS SOUS 171468 HAS SOUPS 169531 WITH SCORE 170145.326
AT ITER 2427 NEW BEST:: SOT 1124585 SOS 614254 HAS SOPS 597375 HAS SOUS 171454 HAS SOUPS 169517 WITH SCORE 170131.254
AT ITER 2449 NEW BEST:: SOT 1124232 SOS 613100 HAS SOPS 596221 HAS SOUS 171038 HAS SOUPS 169101 WITH SCORE 169714.1
AT ITER 2452 NEW BEST:: SOT 1123850 SOS 612695 HAS SOPS 595816 HAS SOUS 170802 HAS SOUPS 168865 WITH SCORE 169477.695
AT ITER 2464 NEW BEST:: SOT 1123803 SOS 612648 HAS SOPS 595769 HAS SOUS 170755 HAS SOUPS 168818 WITH SCORE 169430.648
AT ITER 2515 NEW BEST:: SOT 1123349 SOS 612240 HAS SOPS 595361 HAS SOUS 170082 HAS SOUPS 168145 WITH SCORE 168757.24
AT ITER 2516 NEW BEST:: SOT 1123343 SOS 612234 HAS SOPS 595355 HAS SOUS 170082 HAS SOUPS 168145 WITH SCORE 168757.234
AT ITER 2518 NEW BEST:: SOT 1123361 SOS 612252 HAS SOPS 595373 HAS SOUS 170068 HAS SOUPS 168131 WITH SCORE 168743.252
AT ITER 2570 NEW BEST:: SOT 1121715 SOS 610661 HAS SOPS 593782 HAS SOUS 168960 HAS SOUPS 167023 WITH SCORE 167633.661
AT ITER 2572 NEW BEST:: SOT 1121627 SOS 610573 HAS SOPS 593694 HAS SOUS 168542 HAS SOUPS 166605 WITH SCORE 167215.573
AT ITER 2589 NEW BEST:: SOT 1121374 SOS 610297 HAS SOPS 593418 HAS SOUS 168488 HAS SOUPS 166551 WITH SCORE 167161.297
AT ITER 2593 NEW BEST:: SOT 1121306 SOS 610229 HAS SOPS 593350 HAS SOUS 168420 HAS SOUPS 166483 WITH SCORE 167093.229
AT ITER 2610 NEW BEST:: SOT 1121127 SOS 610027 HAS SOPS 593148 HAS SOUS 168256 HAS SOUPS 166319 WITH SCORE 166929.027
AT ITER 2639 NEW BEST:: SOT 1120915 SOS 609603 HAS SOPS 592724 HAS SOUS 167861 HAS SOUPS 165924 WITH SCORE 166533.603
AT ITER 2648 NEW BEST:: SOT 1120915 SOS 608586 HAS SOPS 591707 HAS SOUS 167861 HAS SOUPS 165924 WITH SCORE 166532.586
AT ITER 2690 NEW BEST:: SOT 1120782 SOS 608550 HAS SOPS 591671 HAS SOUS 167599 HAS SOUPS 165662 WITH SCORE 166270.55
AT ITER 2692 NEW BEST:: SOT 1120758 SOS 608466 HAS SOPS 591587 HAS SOUS 167563 HAS SOUPS 165626 WITH SCORE 166234.466
AT ITER 2749 NEW BEST:: SOT 1120689 SOS 608397 HAS SOPS 591518 HAS SOUS 167473 HAS SOUPS 165536 WITH SCORE 166144.397
AT ITER 2756 NEW BEST:: SOT 1120632 SOS 608340 HAS SOPS 591461 HAS SOUS 167419 HAS SOUPS 165482 WITH SCORE 166090.34
AT ITER 2777 NEW BEST:: SOT 1120654 SOS 608362 HAS SOPS 591483 HAS SOUS 167141 HAS SOUPS 165204 WITH SCORE 165812.362
AT ITER 2788 NEW BEST:: SOT 1120569 SOS 608759 HAS SOPS 591897 HAS SOUS 167112 HAS SOUPS 165182 WITH SCORE 165790.759
AT ITER 2812 NEW BEST:: SOT 1120566 SOS 608756 HAS SOPS 591889 HAS SOUS 167101 HAS SOUPS 165171 WITH SCORE 165779.756
AT ITER 2853 NEW BEST:: SOT 1120566 SOS 608732 HAS SOPS 591865 HAS SOUS 167077 HAS SOUPS 165147 WITH SCORE 165755.732
AT ITER 2861 NEW BEST:: SOT 1120529 SOS 608695 HAS SOPS 591828 HAS SOUS 167040 HAS SOUPS 165110 WITH SCORE 165718.695
AT ITER 2865 NEW BEST:: SOT 1120476 SOS 608642 HAS SOPS 591775 HAS SOUS 167040 HAS SOUPS 165110 WITH SCORE 165718.642
AT ITER 2866 NEW BEST:: SOT 1120372 SOS 608586 HAS SOPS 591722 HAS SOUS 166981 HAS SOUPS 165051 WITH SCORE 165659.586
AT ITER 2889 NEW BEST:: SOT 1120312 SOS 585346 HAS SOPS 568482 HAS SOUS 166997 HAS SOUPS 165067 WITH SCORE 165652.346
AT ITER 2890 NEW BEST:: SOT 1120280 SOS 585314 HAS SOPS 568450 HAS SOUS 166976 HAS SOUPS 165046 WITH SCORE 165631.314
AT ITER 2900 NEW BEST:: SOT 1120233 SOS 585171 HAS SOPS 568307 HAS SOUS 166833 HAS SOUPS 164903 WITH SCORE 165488.171
AT ITER 2901 NEW BEST:: SOT 1120295 SOS 585133 HAS SOPS 568269 HAS SOUS 166818 HAS SOUPS 164888 WITH SCORE 165473.133
AT ITER 2914 NEW BEST:: SOT 1120359 SOS 585023 HAS SOPS 568108 HAS SOUS 166791 HAS SOUPS 164861 WITH SCORE 165446.023
AT ITER 2929 NEW BEST:: SOT 1120359 SOS 584947 HAS SOPS 568032 HAS SOUS 166779 HAS SOUPS 164849 WITH SCORE 165433.947
AT ITER 2932 NEW BEST:: SOT 1120359 SOS 584947 HAS SOPS 568032 HAS SOUS 166752 HAS SOUPS 164822 WITH SCORE 165406.947
AT ITER 2967 NEW BEST:: SOT 1120635 SOS 585216 HAS SOPS 568301 HAS SOUS 166744 HAS SOUPS 164814 WITH SCORE 165399.216
AT ITER 2969 NEW BEST:: SOT 1120608 SOS 585189 HAS SOPS 568274 HAS SOUS 166717 HAS SOUPS 164787 WITH SCORE 165372.189
AT ITER 2971 NEW BEST:: SOT 1120579 SOS 585207 HAS SOPS 568292 HAS SOUS 166695 HAS SOUPS 164765 WITH SCORE 165350.207
AT ITER 2975 NEW BEST:: SOT 1120579 SOS 585117 HAS SOPS 568202 HAS SOUS 166693 HAS SOUPS 164763 WITH SCORE 165348.117
AT ITER 2977 NEW BEST:: SOT 1120333 SOS 584840 HAS SOPS 567881 HAS SOUS 166311 HAS SOUPS 164381 WITH SCORE 164965.84
AT ITER 2995 NEW BEST:: SOT 1120316 SOS 584806 HAS SOPS 567847 HAS SOUS 166277 HAS SOUPS 164347 WITH SCORE 164931.806
AT ITER 3000 NEW BEST:: SOT 1120340 SOS 584854 HAS SOPS 567895 HAS SOUS 166270 HAS SOUPS 164340 WITH SCORE 164924.854
AT ITER 3007 NEW BEST:: SOT 1120228 SOS 584635 HAS SOPS 567676 HAS SOUS 166129 HAS SOUPS 164199 WITH SCORE 164783.635
AT ITER 3012 NEW BEST:: SOT 1109932 SOS 574339 HAS SOPS 557380 HAS SOUS 164481 HAS SOUPS 162551 WITH SCORE 163125.339
AT ITER 3022 NEW BEST:: SOT 1109832 SOS 574239 HAS SOPS 557280 HAS SOUS 164425 HAS SOUPS 162495 WITH SCORE 163069.239
AT ITER 3056 NEW BEST:: SOT 1109895 SOS 574251 HAS SOPS 557292 HAS SOUS 164359 HAS SOUPS 162429 WITH SCORE 163003.251
AT ITER 3066 NEW BEST:: SOT 1109885 SOS 574431 HAS SOPS 557472 HAS SOUS 164324 HAS SOUPS 162394 WITH SCORE 162968.431
AT ITER 3075 NEW BEST:: SOT 1109980 SOS 574518 HAS SOPS 557465 HAS SOUS 164267 HAS SOUPS 162332 WITH SCORE 162906.518
AT ITER 3092 NEW BEST:: SOT 1109980 SOS 574515 HAS SOPS 557462 HAS SOUS 164264 HAS SOUPS 162329 WITH SCORE 162903.515
AT ITER 3094 NEW BEST:: SOT 1109872 SOS 574607 HAS SOPS 557554 HAS SOUS 164263 HAS SOUPS 162328 WITH SCORE 162902.607
AT ITER 3101 NEW BEST:: SOT 1109855 SOS 574573 HAS SOPS 557520 HAS SOUS 164229 HAS SOUPS 162294 WITH SCORE 162868.573
AT ITER 3111 NEW BEST:: SOT 1105006 SOS 584994 HAS SOPS 567941 HAS SOUS 163993 HAS SOUPS 162058 WITH SCORE 162642.994
AT ITER 3112 NEW BEST:: SOT 1104998 SOS 584990 HAS SOPS 567937 HAS SOUS 163983 HAS SOUPS 162048 WITH SCORE 162632.99
AT ITER 3117 NEW BEST:: SOT 1105016 SOS 584958 HAS SOPS 567905 HAS SOUS 163861 HAS SOUPS 161926 WITH SCORE 162510.958
AT ITER 3131 NEW BEST:: SOT 1104623 SOS 584350 HAS SOPS 567297 HAS SOUS 163103 HAS SOUPS 161168 WITH SCORE 161752.35
AT ITER 3139 NEW BEST:: SOT 1104627 SOS 584354 HAS SOPS 567301 HAS SOUS 163098 HAS SOUPS 161163 WITH SCORE 161747.354
AT ITER 3195 NEW BEST:: SOT 1104600 SOS 584344 HAS SOPS 567291 HAS SOUS 163068 HAS SOUPS 161133 WITH SCORE 161717.344
AT ITER 3223 NEW BEST:: SOT 1104548 SOS 584292 HAS SOPS 567239 HAS SOUS 163016 HAS SOUPS 161081 WITH SCORE 161665.292
AT ITER 3232 NEW BEST:: SOT 1104542 SOS 584280 HAS SOPS 567227 HAS SOUS 163004 HAS SOUPS 161069 WITH SCORE 161653.28
AT ITER 3243 NEW BEST:: SOT 1104552 SOS 584254 HAS SOPS 567201 HAS SOUS 162891 HAS SOUPS 160956 WITH SCORE 161540.254
AT ITER 3264 NEW BEST:: SOT 1104558 SOS 584260 HAS SOPS 567203 HAS SOUS 162883 HAS SOUPS 160948 WITH SCORE 161532.26
AT ITER 3274 NEW BEST:: SOT 1104503 SOS 584205 HAS SOPS 567148 HAS SOUS 162828 HAS SOUPS 160893 WITH SCORE 161477.205
AT ITER 3298 NEW BEST:: SOT 1104350 SOS 584052 HAS SOPS 566974 HAS SOUS 162623 HAS SOUPS 160687 WITH SCORE 161271.052
AT ITER 3315 NEW BEST:: SOT 1104350 SOS 584052 HAS SOPS 566974 HAS SOUS 162602 HAS SOUPS 160666 WITH SCORE 161250.052
AT ITER 3321 NEW BEST:: SOT 1104350 SOS 584029 HAS SOPS 566951 HAS SOUS 162349 HAS SOUPS 160413 WITH SCORE 160997.029
AT ITER 3323 NEW BEST:: SOT 1104344 SOS 584023 HAS SOPS 566945 HAS SOUS 162337 HAS SOUPS 160401 WITH SCORE 160985.023
AT ITER 3342 NEW BEST:: SOT 1104342 SOS 584021 HAS SOPS 566943 HAS SOUS 162335 HAS SOUPS 160399 WITH SCORE 160983.021
AT ITER 3344 NEW BEST:: SOT 1104320 SOS 583876 HAS SOPS 566798 HAS SOUS 162291 HAS SOUPS 160355 WITH SCORE 160938.876
AT ITER 3345 NEW BEST:: SOT 1104261 SOS 583745 HAS SOPS 566667 HAS SOUS 162211 HAS SOUPS 160275 WITH SCORE 160858.745
AT ITER 3346 NEW BEST:: SOT 1104195 SOS 583639 HAS SOPS 566561 HAS SOUS 162105 HAS SOUPS 160169 WITH SCORE 160752.639
AT ITER 3355 NEW BEST:: SOT 1104226 SOS 583607 HAS SOPS 566479 HAS SOUS 162073 HAS SOUPS 160137 WITH SCORE 160720.607
AT ITER 3398 NEW BEST:: SOT 1103959 SOS 584164 HAS SOPS 566212 HAS SOUS 161571 HAS SOUPS 159532 WITH SCORE 160116.164
AT ITER 3399 NEW BEST:: SOT 1103855 SOS 583852 HAS SOPS 565900 HAS SOUS 161441 HAS SOUPS 159402 WITH SCORE 159985.852
AT ITER 3403 NEW BEST:: SOT 1103755 SOS 583752 HAS SOPS 565800 HAS SOUS 161328 HAS SOUPS 159289 WITH SCORE 159872.752
AT ITER 3423 NEW BEST:: SOT 1103756 SOS 583753 HAS SOPS 565801 HAS SOUS 161316 HAS SOUPS 159277 WITH SCORE 159860.753
AT ITER 3432 NEW BEST:: SOT 1103741 SOS 583738 HAS SOPS 565786 HAS SOUS 161286 HAS SOUPS 159247 WITH SCORE 159830.738
AT ITER 3455 NEW BEST:: SOT 1103733 SOS 583728 HAS SOPS 565776 HAS SOUS 161248 HAS SOUPS 159209 WITH SCORE 159792.728
AT ITER 3464 NEW BEST:: SOT 1103532 SOS 583527 HAS SOPS 565575 HAS SOUS 161046 HAS SOUPS 159007 WITH SCORE 159590.527
AT ITER 3465 NEW BEST:: SOT 1103551 SOS 583546 HAS SOPS 565594 HAS SOUS 161044 HAS SOUPS 159005 WITH SCORE 159588.546
AT ITER 3466 NEW BEST:: SOT 1103308 SOS 583405 HAS SOPS 565453 HAS SOUS 160667 HAS SOUPS 158628 WITH SCORE 159211.405
AT ITER 3468 NEW BEST:: SOT 1103265 SOS 583362 HAS SOPS 565410 HAS SOUS 160631 HAS SOUPS 158592 WITH SCORE 159175.362
AT ITER 3485 NEW BEST:: SOT 1103241 SOS 583325 HAS SOPS 565373 HAS SOUS 160622 HAS SOUPS 158583 WITH SCORE 159166.325
AT ITER 3503 NEW BEST:: SOT 1103264 SOS 583348 HAS SOPS 565396 HAS SOUS 160614 HAS SOUPS 158575 WITH SCORE 159158.348
AT ITER 3512 NEW BEST:: SOT 1103262 SOS 583346 HAS SOPS 565394 HAS SOUS 160610 HAS SOUPS 158571 WITH SCORE 159154.346
AT ITER 3515 NEW BEST:: SOT 1103311 SOS 583395 HAS SOPS 565423 HAS SOUS 160587 HAS SOUPS 158548 WITH SCORE 159131.395
AT ITER 3544 NEW BEST:: SOT 1103323 SOS 583432 HAS SOPS 565460 HAS SOUS 160553 HAS SOUPS 158514 WITH SCORE 159097.432
AT ITER 3561 NEW BEST:: SOT 1103316 SOS 583425 HAS SOPS 565453 HAS SOUS 160539 HAS SOUPS 158500 WITH SCORE 159083.425
AT ITER 3589 NEW BEST:: SOT 1103308 SOS 583417 HAS SOPS 565437 HAS SOUS 160523 HAS SOUPS 158484 WITH SCORE 159067.417
AT ITER 3594 NEW BEST:: SOT 1103308 SOS 583300 HAS SOPS 565320 HAS SOUS 160494 HAS SOUPS 158455 WITH SCORE 159038.3
AT ITER 3597 NEW BEST:: SOT 1103292 SOS 583276 HAS SOPS 565296 HAS SOUS 160474 HAS SOUPS 158435 WITH SCORE 159018.276
AT ITER 3605 NEW BEST:: SOT 1103121 SOS 583194 HAS SOPS 565214 HAS SOUS 160320 HAS SOUPS 158281 WITH SCORE 158864.194
AT ITER 3610 NEW BEST:: SOT 1103087 SOS 582946 HAS SOPS 564966 HAS SOUS 160239 HAS SOUPS 158200 WITH SCORE 158782.946
AT ITER 3612 NEW BEST:: SOT 1102971 SOS 582598 HAS SOPS 564850 HAS SOUS 160094 HAS SOUPS 158084 WITH SCORE 158666.598
AT ITER 3623 NEW BEST:: SOT 1102960 SOS 582587 HAS SOPS 564828 HAS SOUS 160072 HAS SOUPS 158062 WITH SCORE 158644.587
AT ITER 3629 NEW BEST:: SOT 1102963 SOS 582590 HAS SOPS 564817 HAS SOUS 160036 HAS SOUPS 158026 WITH SCORE 158608.59
AT ITER 3677 NEW BEST:: SOT 1101597 SOS 581224 HAS SOPS 563451 HAS SOUS 158670 HAS SOUPS 156660 WITH SCORE 157241.224
AT ITER 3681 NEW BEST:: SOT 1101234 SOS 580757 HAS SOPS 562984 HAS SOUS 158508 HAS SOUPS 156498 WITH SCORE 157078.757
AT ITER 3684 NEW BEST:: SOT 1100927 SOS 580427 HAS SOPS 562654 HAS SOUS 158324 HAS SOUPS 156314 WITH SCORE 156894.427
AT ITER 3701 NEW BEST:: SOT 1100927 SOS 580427 HAS SOPS 562654 HAS SOUS 158308 HAS SOUPS 156298 WITH SCORE 156878.427
AT ITER 3712 NEW BEST:: SOT 1100907 SOS 580407 HAS SOPS 562654 HAS SOUS 158228 HAS SOUPS 156218 WITH SCORE 156798.407
AT ITER 3723 NEW BEST:: SOT 1100883 SOS 580437 HAS SOPS 562557 HAS SOUS 158180 HAS SOUPS 156170 WITH SCORE 156750.437
AT ITER 3751 NEW BEST:: SOT 1100789 SOS 580343 HAS SOPS 562463 HAS SOUS 157962 HAS SOUPS 155952 WITH SCORE 156532.343
AT ITER 3753 NEW BEST:: SOT 1100784 SOS 580333 HAS SOPS 562453 HAS SOUS 157927 HAS SOUPS 155917 WITH SCORE 156497.333
AT ITER 3754 NEW BEST:: SOT 1100784 SOS 580670 HAS SOPS 562790 HAS SOUS 157903 HAS SOUPS 155893 WITH SCORE 156473.67
AT ITER 3757 NEW BEST:: SOT 1100630 SOS 580638 HAS SOPS 562758 HAS SOUS 157805 HAS SOUPS 155795 WITH SCORE 156375.638
AT ITER 3778 NEW BEST:: SOT 1096209 SOS 576217 HAS SOPS 558337 HAS SOUS 157319 HAS SOUPS 155309 WITH SCORE 155885.217
AT ITER 3818 NEW BEST:: SOT 1096237 SOS 576187 HAS SOPS 558307 HAS SOUS 157304 HAS SOUPS 155294 WITH SCORE 155870.187
AT ITER 3830 NEW BEST:: SOT 1096226 SOS 576187 HAS SOPS 558307 HAS SOUS 157282 HAS SOUPS 155272 WITH SCORE 155848.187
AT ITER 3831 NEW BEST:: SOT 1096229 SOS 576204 HAS SOPS 558324 HAS SOUS 157011 HAS SOUPS 155001 WITH SCORE 155577.204
AT ITER 3860 NEW BEST:: SOT 1096205 SOS 576156 HAS SOPS 558276 HAS SOUS 156975 HAS SOUPS 154965 WITH SCORE 155541.156
AT ITER 3863 NEW BEST:: SOT 1096212 SOS 576161 HAS SOPS 558281 HAS SOUS 156971 HAS SOUPS 154961 WITH SCORE 155537.161
AT ITER 3889 NEW BEST:: SOT 1096222 SOS 576181 HAS SOPS 558301 HAS SOUS 156953 HAS SOUPS 154943 WITH SCORE 155519.181
AT ITER 3897 NEW BEST:: SOT 1096243 SOS 576202 HAS SOPS 558322 HAS SOUS 156927 HAS SOUPS 154917 WITH SCORE 155493.202
AT ITER 3907 NEW BEST:: SOT 1096230 SOS 576189 HAS SOPS 558309 HAS SOUS 156914 HAS SOUPS 154904 WITH SCORE 155480.189
AT ITER 3913 NEW BEST:: SOT 1096096 SOS 576001 HAS SOPS 558121 HAS SOUS 156726 HAS SOUPS 154716 WITH SCORE 155292.001
AT ITER 3921 NEW BEST:: SOT 1096129 SOS 576034 HAS SOPS 558122 HAS SOUS 156721 HAS SOUPS 154711 WITH SCORE 155287.034
AT ITER 3923 NEW BEST:: SOT 1096244 SOS 568276 HAS SOPS 550364 HAS SOUS 156717 HAS SOUPS 154707 WITH SCORE 155275.276
AT ITER 3930 NEW BEST:: SOT 1096104 SOS 568877 HAS SOPS 550965 HAS SOUS 156624 HAS SOUPS 154614 WITH SCORE 155182.877
AT ITER 3941 NEW BEST:: SOT 1096015 SOS 568788 HAS SOPS 550876 HAS SOUS 156535 HAS SOUPS 154525 WITH SCORE 155093.788
AT ITER 3944 NEW BEST:: SOT 1089296 SOS 561927 HAS SOPS 544015 HAS SOUS 156070 HAS SOUPS 154060 WITH SCORE 154621.927
AT ITER 3972 NEW BEST:: SOT 1089674 SOS 562192 HAS SOPS 544280 HAS SOUS 155425 HAS SOUPS 153415 WITH SCORE 153977.192
AT ITER 3977 NEW BEST:: SOT 1089662 SOS 562172 HAS SOPS 544260 HAS SOUS 155409 HAS SOUPS 153399 WITH SCORE 153961.172
AT ITER 3985 NEW BEST:: SOT 1089489 SOS 561837 HAS SOPS 543925 HAS SOUS 155189 HAS SOUPS 153179 WITH SCORE 153740.837
AT ITER 3988 NEW BEST:: SOT 1089475 SOS 561823 HAS SOPS 543911 HAS SOUS 155161 HAS SOUPS 153151 WITH SCORE 153712.823
AT ITER 3993 NEW BEST:: SOT 1089475 SOS 561825 HAS SOPS 543913 HAS SOUS 155157 HAS SOUPS 153147 WITH SCORE 153708.825
AT ITER 3997 NEW BEST:: SOT 1089552 SOS 561874 HAS SOPS 543962 HAS SOUS 154975 HAS SOUPS 152965 WITH SCORE 153526.874
AT ITER 4000 NEW BEST:: SOT 1089552 SOS 560717 HAS SOPS 542805 HAS SOUS 154806 HAS SOUPS 152796 WITH SCORE 153356.717
AT ITER 4003 NEW BEST:: SOT 1089415 SOS 560580 HAS SOPS 542668 HAS SOUS 154684 HAS SOUPS 152674 WITH SCORE 153234.58
AT ITER 4010 NEW BEST:: SOT 1089330 SOS 560495 HAS SOPS 542583 HAS SOUS 154666 HAS SOUPS 152656 WITH SCORE 153216.495
AT ITER 4015 NEW BEST:: SOT 1089004 SOS 560145 HAS SOPS 542233 HAS SOUS 154479 HAS SOUPS 152469 WITH SCORE 153029.145
AT ITER 4021 NEW BEST:: SOT 1088960 SOS 560030 HAS SOPS 542118 HAS SOUS 154391 HAS SOUPS 152381 WITH SCORE 152941.03
AT ITER 4028 NEW BEST:: SOT 1089233 SOS 560237 HAS SOPS 542325 HAS SOUS 154130 HAS SOUPS 152120 WITH SCORE 152680.237
AT ITER 4029 NEW BEST:: SOT 1089201 SOS 560205 HAS SOPS 542325 HAS SOUS 154001 HAS SOUPS 151991 WITH SCORE 152551.205
AT ITER 4055 NEW BEST:: SOT 1089160 SOS 560164 HAS SOPS 542284 HAS SOUS 153928 HAS SOUPS 151918 WITH SCORE 152478.164
AT ITER 4063 NEW BEST:: SOT 1092236 SOS 563274 HAS SOPS 545394 HAS SOUS 153901 HAS SOUPS 151891 WITH SCORE 152454.274
AT ITER 4070 NEW BEST:: SOT 1092204 SOS 563242 HAS SOPS 545373 HAS SOUS 153873 HAS SOUPS 151863 WITH SCORE 152426.242
AT ITER 4075 NEW BEST:: SOT 1092139 SOS 563231 HAS SOPS 545362 HAS SOUS 153797 HAS SOUPS 151787 WITH SCORE 152350.231
AT ITER 4139 NEW BEST:: SOT 1091427 SOS 562444 HAS SOPS 544575 HAS SOUS 153409 HAS SOUPS 151399 WITH SCORE 151961.444
AT ITER 4154 NEW BEST:: SOT 1091427 SOS 544138 HAS SOPS 526269 HAS SOUS 153409 HAS SOUPS 151399 WITH SCORE 151943.138
AT ITER 4164 NEW BEST:: SOT 1091418 SOS 544129 HAS SOPS 526260 HAS SOUS 153409 HAS SOUPS 151399 WITH SCORE 151943.129
AT ITER 4177 NEW BEST:: SOT 1091400 SOS 544111 HAS SOPS 526242 HAS SOUS 153373 HAS SOUPS 151363 WITH SCORE 151907.111
AT ITER 4219 NEW BEST:: SOT 1091128 SOS 543839 HAS SOPS 525970 HAS SOUS 153169 HAS SOUPS 151159 WITH SCORE 151702.839
AT ITER 4238 NEW BEST:: SOT 1091016 SOS 543988 HAS SOPS 526119 HAS SOUS 153110 HAS SOUPS 151100 WITH SCORE 151643.988
AT ITER 4241 NEW BEST:: SOT 1090977 SOS 543949 HAS SOPS 526080 HAS SOUS 152955 HAS SOUPS 150945 WITH SCORE 151488.949
AT ITER 4253 NEW BEST:: SOT 1090884 SOS 543863 HAS SOPS 525994 HAS SOUS 152894 HAS SOUPS 150884 WITH SCORE 151427.863
AT ITER 4264 NEW BEST:: SOT 1090868 SOS 543847 HAS SOPS 525978 HAS SOUS 152878 HAS SOUPS 150868 WITH SCORE 151411.847
AT ITER 4267 NEW BEST:: SOT 1090598 SOS 543612 HAS SOPS 525743 HAS SOUS 152822 HAS SOUPS 150812 WITH SCORE 151355.612
AT ITER 4270 NEW BEST:: SOT 1090661 SOS 543745 HAS SOPS 525876 HAS SOUS 152679 HAS SOUPS 150669 WITH SCORE 151212.745
AT ITER 4282 NEW BEST:: SOT 1090725 SOS 543762 HAS SOPS 525893 HAS SOUS 152243 HAS SOUPS 150233 WITH SCORE 150776.762
AT ITER 4286 NEW BEST:: SOT 1090707 SOS 543789 HAS SOPS 525920 HAS SOUS 151884 HAS SOUPS 149874 WITH SCORE 150417.789
AT ITER 4289 NEW BEST:: SOT 1090783 SOS 543721 HAS SOPS 525851 HAS SOUS 151888 HAS SOUPS 149871 WITH SCORE 150414.721
AT ITER 4296 NEW BEST:: SOT 1090647 SOS 543585 HAS SOPS 525715 HAS SOUS 151813 HAS SOUPS 149796 WITH SCORE 150339.585
AT ITER 4303 NEW BEST:: SOT 1090330 SOS 542775 HAS SOPS 524905 HAS SOUS 151543 HAS SOUPS 149526 WITH SCORE 150068.775
AT ITER 4309 NEW BEST:: SOT 1090483 SOS 542901 HAS SOPS 524828 HAS SOUS 151536 HAS SOUPS 149519 WITH SCORE 150061.901
AT ITER 4333 NEW BEST:: SOT 1090443 SOS 542530 HAS SOPS 524457 HAS SOUS 151501 HAS SOUPS 149484 WITH SCORE 150026.53
AT ITER 4341 NEW BEST:: SOT 1090438 SOS 542520 HAS SOPS 524447 HAS SOUS 151491 HAS SOUPS 149474 WITH SCORE 150016.52
AT ITER 4348 NEW BEST:: SOT 1090340 SOS 542422 HAS SOPS 524349 HAS SOUS 151449 HAS SOUPS 149432 WITH SCORE 149974.422
AT ITER 4352 NEW BEST:: SOT 1090340 SOS 542422 HAS SOPS 524349 HAS SOUS 151437 HAS SOUPS 149420 WITH SCORE 149962.422
AT ITER 4353 NEW BEST:: SOT 1090315 SOS 542397 HAS SOPS 524324 HAS SOUS 151292 HAS SOUPS 149275 WITH SCORE 149817.397
AT ITER 4363 NEW BEST:: SOT 1090315 SOS 542387 HAS SOPS 524314 HAS SOUS 151282 HAS SOUPS 149265 WITH SCORE 149807.387
AT ITER 4381 NEW BEST:: SOT 1090174 SOS 542246 HAS SOPS 524173 HAS SOUS 151138 HAS SOUPS 149121 WITH SCORE 149663.246
AT ITER 4410 NEW BEST:: SOT 1090180 SOS 542718 HAS SOPS 524645 HAS SOUS 151088 HAS SOUPS 149071 WITH SCORE 149613.718
AT ITER 4433 NEW BEST:: SOT 1090118 SOS 542656 HAS SOPS 524568 HAS SOUS 151006 HAS SOUPS 148989 WITH SCORE 149531.656
AT ITER 4448 NEW BEST:: SOT 1090112 SOS 542650 HAS SOPS 524562 HAS SOUS 150995 HAS SOUPS 148978 WITH SCORE 149520.65
AT ITER 4465 NEW BEST:: SOT 1081816 SOS 535425 HAS SOPS 517337 HAS SOUS 150169 HAS SOUPS 148152 WITH SCORE 148687.425
AT ITER 4474 NEW BEST:: SOT 1081816 SOS 512034 HAS SOPS 493946 HAS SOUS 150169 HAS SOUPS 148152 WITH SCORE 148664.034
AT ITER 4482 NEW BEST:: SOT 1081863 SOS 512014 HAS SOPS 493926 HAS SOUS 150159 HAS SOUPS 148142 WITH SCORE 148654.014
AT ITER 4493 NEW BEST:: SOT 1081891 SOS 511966 HAS SOPS 493878 HAS SOUS 149920 HAS SOUPS 147903 WITH SCORE 148414.966
AT ITER 4508 NEW BEST:: SOT 1081867 SOS 511894 HAS SOPS 493806 HAS SOUS 149890 HAS SOUPS 147873 WITH SCORE 148384.894
AT ITER 4547 NEW BEST:: SOT 1081863 SOS 511818 HAS SOPS 493730 HAS SOUS 149886 HAS SOUPS 147869 WITH SCORE 148380.818
AT ITER 4548 NEW BEST:: SOT 1081915 SOS 511784 HAS SOPS 493616 HAS SOUS 149793 HAS SOUPS 147776 WITH SCORE 148287.784
AT ITER 4554 NEW BEST:: SOT 1081910 SOS 511779 HAS SOPS 493611 HAS SOUS 149783 HAS SOUPS 147766 WITH SCORE 148277.779
AT ITER 4600 NEW BEST:: SOT 1081886 SOS 511733 HAS SOPS 493565 HAS SOUS 149759 HAS SOUPS 147742 WITH SCORE 148253.733
AT ITER 4603 NEW BEST:: SOT 1081811 SOS 511658 HAS SOPS 494770 HAS SOUS 149524 HAS SOUPS 147667 WITH SCORE 148178.658
AT ITER 4618 NEW BEST:: SOT 1081886 SOS 511745 HAS SOPS 494857 HAS SOUS 149455 HAS SOUPS 147598 WITH SCORE 148109.745
AT ITER 4627 NEW BEST:: SOT 1081862 SOS 511733 HAS SOPS 494845 HAS SOUS 149348 HAS SOUPS 147491 WITH SCORE 148002.733
AT ITER 4643 NEW BEST:: SOT 1081858 SOS 511763 HAS SOPS 494875 HAS SOUS 149338 HAS SOUPS 147481 WITH SCORE 147992.763
AT ITER 4656 NEW BEST:: SOT 1081693 SOS 511598 HAS SOPS 494710 HAS SOUS 149228 HAS SOUPS 147371 WITH SCORE 147882.598
AT ITER 4670 NEW BEST:: SOT 1080919 SOS 510864 HAS SOPS 493976 HAS SOUS 148972 HAS SOUPS 147115 WITH SCORE 147625.864
AT ITER 4688 NEW BEST:: SOT 1080800 SOS 510674 HAS SOPS 493807 HAS SOUS 148728 HAS SOUPS 146871 WITH SCORE 147381.674
AT ITER 4700 NEW BEST:: SOT 1080755 SOS 510796 HAS SOPS 493929 HAS SOUS 148638 HAS SOUPS 146781 WITH SCORE 147291.796
AT ITER 4737 NEW BEST:: SOT 1080799 SOS 510840 HAS SOPS 493941 HAS SOUS 148606 HAS SOUPS 146749 WITH SCORE 147259.84
AT ITER 4765 NEW BEST:: SOT 1080799 SOS 504460 HAS SOPS 487561 HAS SOUS 148403 HAS SOUPS 146546 WITH SCORE 147050.46
AT ITER 4766 NEW BEST:: SOT 1080799 SOS 504471 HAS SOPS 487561 HAS SOUS 148392 HAS SOUPS 146535 WITH SCORE 147039.471
AT ITER 4768 NEW BEST:: SOT 1080799 SOS 504471 HAS SOPS 487559 HAS SOUS 148389 HAS SOUPS 146531 WITH SCORE 147035.471
AT ITER 4818 NEW BEST:: SOT 1080796 SOS 504407 HAS SOPS 487476 HAS SOUS 148263 HAS SOUPS 146389 WITH SCORE 146893.407
AT ITER 4867 NEW BEST:: SOT 1080790 SOS 504401 HAS SOPS 487470 HAS SOUS 148257 HAS SOUPS 146383 WITH SCORE 146887.401
AT ITER 4873 NEW BEST:: SOT 1080782 SOS 504412 HAS SOPS 487481 HAS SOUS 148241 HAS SOUPS 146367 WITH SCORE 146871.412
AT ITER 4876 NEW BEST:: SOT 1080737 SOS 504371 HAS SOPS 487440 HAS SOUS 147775 HAS SOUPS 145901 WITH SCORE 146405.371
AT ITER 4902 NEW BEST:: SOT 1080842 SOS 504476 HAS SOPS 487545 HAS SOUS 147716 HAS SOUPS 145842 WITH SCORE 146346.476
AT ITER 4907 NEW BEST:: SOT 1080635 SOS 504465 HAS SOPS 487534 HAS SOUS 147676 HAS SOUPS 145802 WITH SCORE 146306.465
AT ITER 4913 NEW BEST:: SOT 1069173 SOS 493003 HAS SOPS 476072 HAS SOUS 145961 HAS SOUPS 144087 WITH SCORE 144580.003
AT ITER 4940 NEW BEST:: SOT 1068490 SOS 492320 HAS SOPS 475389 HAS SOUS 145936 HAS SOUPS 144062 WITH SCORE 144554.32
AT ITER 4992 NEW BEST:: SOT 1068499 SOS 492329 HAS SOPS 475378 HAS SOUS 145915 HAS SOUPS 144022 WITH SCORE 144514.329
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-00 ( (AG( (AF(potential( (tk(P33) + tk(P112) + tk(P202) + tk(P282) + tk(P395) + tk(P457) + tk(P564) + tk(P626)) <= (tk(P138) + tk(P149) + tk(P218) + tk(P325) + tk(P343) + tk(P410) + tk(P531) + tk(P667)) ))))) & ( (EU( potential( ( 3 ) <= (tk(P32) + tk(P207) + tk(P304) + tk(P396) + tk(P474) + tk(P605) + tk(P683) + tk(P694)) ),potential( ( 3 ) <= (tk(P69) + tk(P170) + tk(P277) + tk(P363) + tk(P392) + tk(P450) + tk(P603) + tk(P682)) ) )) | (AG( (! potential( ( 3 ) <= (tk(P32) + tk(P207) + tk(P304) + tk(P396) + tk(P474) + tk(P605) + tk(P683) + tk(P694)) )))) ) )
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-01 (AF(( potential( ( 2 ) <= (tk(P42) + tk(P48) + tk(P63) + tk(P72) + tk(P88) + tk(P100) + tk(P152) + tk(P185) + tk(P190) + tk(P205) + tk(P237) + tk(P245) + tk(P256) + tk(P279) + tk(P319) + tk(P378) + tk(P379) + tk(P413) + tk(P453) + tk(P469) + tk(P475) + tk(P486) + tk(P507) + tk(P513) + tk(P561) + tk(P575) + tk(P578) + tk(P620) + tk(P632) + tk(P646) + tk(P672) + tk(P707)) ) & (! potential( ( 2 ) <= (tk(P11) + tk(P53) + tk(P55) + tk(P61) + tk(P73) + tk(P79) + tk(P96) + tk(P110) + tk(P139) + tk(P159) + tk(P192) + tk(P224) + tk(P232) + tk(P250) + tk(P253) + tk(P274) + tk(P288) + tk(P311) + tk(P337) + tk(P347) + tk(P349) + tk(P355) + tk(P376) + tk(P403) + tk(P437) + tk(P462) + tk(P465) + tk(P492) + tk(P515) + tk(P518) + tk(P530) + tk(P538) + tk(P590) + tk(P594) + tk(P595) + tk(P607) + tk(P643) + tk(P671) + tk(P678) + tk(P711)) )) )))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-02 (EU( (AF(potential( (tk(P144) + tk(P231) + tk(P254) + tk(P356) + tk(P483) + tk(P549) + tk(P563) + tk(P692)) <= (tk(P344) + tk(P385) + tk(P482) + tk(P553)) ))),( (! potential( (tk(P559)) <= (tk(P32) + tk(P207) + tk(P304) + tk(P396) + tk(P474) + tk(P605) + tk(P683) + tk(P694)) )) | ( potential( ( 3 ) <= (tk(P47) + tk(P120) + tk(P201) + tk(P346) + tk(P439) + tk(P476) + tk(P525) + tk(P625)) ) & potential( (tk(P2) + tk(P18) + tk(P108) + tk(P222) + tk(P308) + tk(P431) + tk(P571) + tk(P623)) <= (tk(P119) + tk(P196) + tk(P280) + tk(P307) + tk(P399) + tk(P432) + tk(P516) + tk(P584)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-03 (EX( (AF(potential( ( 3 ) <= (tk(P32) + tk(P207) + tk(P304) + tk(P396) + tk(P474) + tk(P605) + tk(P683) + tk(P694)) )))))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-04 (EU( (AG( potential( (tk(P34) + tk(P309) + tk(P471) + tk(P701)) <= (tk(P30) + tk(P211) + tk(P260) + tk(P331) + tk(P409) + tk(P460) + tk(P568) + tk(P689)) ))),(! ( potential( (tk(P49) + tk(P71) + tk(P75) + tk(P78) + tk(P89) + tk(P155) + tk(P173) + tk(P179) + tk(P216) + tk(P247) + tk(P278) + tk(P302) + tk(P312) + tk(P329) + tk(P330) + tk(P367) + tk(P369) + tk(P389) + tk(P452) + tk(P459) + tk(P479) + tk(P487) + tk(P490) + tk(P523) + tk(P540) + tk(P569) + tk(P576) + tk(P588) + tk(P614) + tk(P677) + tk(P700) + tk(P710)) <= (tk(P6) + tk(P128) + tk(P220) + tk(P236) + tk(P259) + tk(P428) + tk(P526) + tk(P639)) ) & potential( (tk(P34) + tk(P309) + tk(P471) + tk(P701)) <= (tk(P31) + tk(P98) + tk(P187) + tk(P223) + tk(P420) + tk(P481) + tk(P506) + tk(P618)) ) )) ))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-05 (EF(( (EF(potential( ( 3 ) <= (tk(P30) + tk(P211) + tk(P260) + tk(P331) + tk(P409) + tk(P460) + tk(P568) + tk(P689)) ))) | (EG( potential( (tk(P76) + tk(P140) + tk(P272) + tk(P517) + tk(P674)) <= (tk(P87) + tk(P111) + tk(P267) + tk(P332) + tk(P444) + tk(P512) + tk(P612) + tk(P676)) ))) )))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-06 (EU( (AX( potential( (tk(P193) + tk(P381) + tk(P384) + tk(P451) + tk(P601) + tk(P621) + tk(P695) + tk(P705)) <= (tk(P15) + tk(P37) + tk(P67) + tk(P74) + tk(P94) + tk(P103) + tk(P107) + tk(P115) + tk(P148) + tk(P165) + tk(P167) + tk(P177) + tk(P197) + tk(P233) + tk(P257) + tk(P314) + tk(P340) + tk(P362) + tk(P417) + tk(P422) + tk(P430) + tk(P447) + tk(P504) + tk(P545) + tk(P546) + tk(P566) + tk(P591) + tk(P617) + tk(P644) + tk(P661) + tk(P681) + tk(P708)) ))),( (! potential( (tk(P58) + tk(P210) + tk(P285) + tk(P404) + tk(P461) + tk(P493) + tk(P497) + tk(P670)) <= (tk(P138) + tk(P149) + tk(P218) + tk(P325) + tk(P343) + tk(P410) + tk(P531) + tk(P667)) )) & potential( ( 1 ) <= (tk(P338) + tk(P542) + tk(P557) + tk(P645) + tk(P697)) ) ) ))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-07 ( (AG( potential( ( 3 ) <= (tk(P289)) ))) | (AG( (AG( potential( (tk(P31) + tk(P98) + tk(P187) + tk(P223) + tk(P420) + tk(P481) + tk(P506) + tk(P618)) <= (tk(P47) + tk(P120) + tk(P201) + tk(P346) + tk(P439) + tk(P476) + tk(P525) + tk(P625)) ))))) )
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-08 (AU( ( potential( (tk(P395)) <= (tk(P272)) ) & ( potential( ( 1 ) <= (tk(P411)) ) & potential( ( 3 ) <= (tk(P213)) ) ) ),(EG( potential( (tk(P311)) <= (tk(P693)) ))) ))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-09 (! (AU( ( potential( (tk(P4)) <= (tk(P204)) ) | potential( (tk(P203)) <= (tk(P82)) ) ),potential( ( 1 ) <= (tk(P589)) ) )))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-10 ( (EG( (EX( potential( (tk(P348)) <= (tk(P229)) ))))) & (EU( ( potential( ( 1 ) <= (tk(P425)) ) | potential( ( 2 ) <= (tk(P256)) ) ),(! potential( ( 2 ) <= (tk(P32)) )) )) )
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-11 ( (AU( ( potential( (tk(P132)) <= (tk(P356)) ) & potential( (tk(P543)) <= (tk(P710)) ) ),(! potential( (tk(P388)) <= (tk(P290)) )) )) | (! potential( (tk(P52)) <= (tk(P122)) )) )
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-12 (! ( potential( ( 3 ) <= (tk(P104)) ) | (EU( potential( (tk(P36)) <= (tk(P139)) ),potential( ( 3 ) <= (tk(P358)) ) )) ))
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-13 ( ( ( (AG( potential( ( 2 ) <= (tk(P668)) ))) | ( ( potential( (tk(P358)) <= (tk(P90)) ) & potential( ( 2 ) <= (tk(P586)) ) ) | ( potential( (tk(P692)) <= (tk(P20)) ) & potential( ( 2 ) <= (tk(P336)) ) ) ) ) & potential( ( 3 ) <= (tk(P412)) ) ) | ( ( ( (! potential( (tk(P533)) <= (tk(P584)) )) | potential( (tk(P227)) <= (tk(P509)) ) ) & (AG( potential( ( 3 ) <= (tk(P680)) ))) ) | (EG( ( potential( (tk(P413)) <= (tk(P164)) ) & potential( (tk(P60)) <= (tk(P673)) ) ))) ) )
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-14 ( (EF((AX( potential( ( 3 ) <= (tk(P288)) ))))) & potential( (tk(P566)) <= (tk(P588)) ) )
PROPERTY: PolyORBLF-PT-S04J04T08-CTLCardinality-15 (EG( potential( (tk(P554)) <= (tk(P301)) )))

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

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