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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 5.5K Apr 12 05:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 05:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Apr 11 04:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Apr 11 04:53 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 6.9K Apr 14 12:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Apr 14 12:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 30K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.2K Apr 10 12:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 12:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Apr 9 17:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 9 17:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.5K Apr 10 22:21 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 862K 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-S02J04T06-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S02J04T06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642536307

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T06
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: 476 places, 920 transitions, 4242 arcs.
AT ITER 0 NEW BEST:: SOT 268758 SOS 143287 HAS SOPS 140459 HAS SOUS 85093 HAS SOUPS 84758 WITH SCORE 84901.287
AT ITER 4 NEW BEST:: SOT 268685 SOS 143200 HAS SOPS 140410 HAS SOUS 84979 HAS SOUPS 84644 WITH SCORE 84787.2
AT ITER 9 NEW BEST:: SOT 268650 SOS 143118 HAS SOPS 140328 HAS SOUS 84897 HAS SOUPS 84562 WITH SCORE 84705.118
AT ITER 10 NEW BEST:: SOT 268558 SOS 143014 HAS SOPS 140224 HAS SOUS 84852 HAS SOUPS 84517 WITH SCORE 84660.014
AT ITER 14 NEW BEST:: SOT 268444 SOS 142705 HAS SOPS 138751 HAS SOUS 84759 HAS SOUPS 84230 WITH SCORE 84372.705
AT ITER 18 NEW BEST:: SOT 268306 SOS 142432 HAS SOPS 138478 HAS SOUS 84625 HAS SOUPS 84096 WITH SCORE 84238.432
AT ITER 24 NEW BEST:: SOT 268189 SOS 142315 HAS SOPS 138361 HAS SOUS 84568 HAS SOUPS 84039 WITH SCORE 84181.315
AT ITER 35 NEW BEST:: SOT 268033 SOS 142159 HAS SOPS 138205 HAS SOUS 83900 HAS SOUPS 83371 WITH SCORE 83513.159
AT ITER 37 NEW BEST:: SOT 267123 SOS 141289 HAS SOPS 137335 HAS SOUS 83055 HAS SOUPS 82526 WITH SCORE 82667.289
AT ITER 61 NEW BEST:: SOT 267123 SOS 141264 HAS SOPS 137310 HAS SOUS 83030 HAS SOUPS 82501 WITH SCORE 82642.264
AT ITER 63 NEW BEST:: SOT 267087 SOS 141245 HAS SOPS 137390 HAS SOUS 83006 HAS SOUPS 82477 WITH SCORE 82618.245
AT ITER 80 NEW BEST:: SOT 265115 SOS 139330 HAS SOPS 135475 HAS SOUS 81065 HAS SOUPS 80536 WITH SCORE 80675.33
AT ITER 81 NEW BEST:: SOT 265115 SOS 139330 HAS SOPS 135475 HAS SOUS 81053 HAS SOUPS 80524 WITH SCORE 80663.33
AT ITER 84 NEW BEST:: SOT 265038 SOS 139513 HAS SOPS 135658 HAS SOUS 80961 HAS SOUPS 80432 WITH SCORE 80571.513
AT ITER 87 NEW BEST:: SOT 265031 SOS 139398 HAS SOPS 135543 HAS SOUS 80846 HAS SOUPS 80317 WITH SCORE 80456.398
AT ITER 90 NEW BEST:: SOT 265031 SOS 139386 HAS SOPS 135531 HAS SOUS 80834 HAS SOUPS 80305 WITH SCORE 80444.386
AT ITER 92 NEW BEST:: SOT 265026 SOS 139376 HAS SOPS 135521 HAS SOUS 80824 HAS SOUPS 80295 WITH SCORE 80434.376
AT ITER 93 NEW BEST:: SOT 265020 SOS 139370 HAS SOPS 135515 HAS SOUS 80818 HAS SOUPS 80289 WITH SCORE 80428.37
AT ITER 96 NEW BEST:: SOT 265020 SOS 139433 HAS SOPS 135578 HAS SOUS 80741 HAS SOUPS 80212 WITH SCORE 80351.433
AT ITER 102 NEW BEST:: SOT 264946 SOS 139462 HAS SOPS 135607 HAS SOUS 80721 HAS SOUPS 80192 WITH SCORE 80331.462
AT ITER 119 NEW BEST:: SOT 264931 SOS 139424 HAS SOPS 135569 HAS SOUS 80683 HAS SOUPS 80154 WITH SCORE 80293.424
AT ITER 130 NEW BEST:: SOT 263104 SOS 137597 HAS SOPS 133742 HAS SOUS 80200 HAS SOUPS 79671 WITH SCORE 79808.597
AT ITER 152 NEW BEST:: SOT 263122 SOS 137583 HAS SOPS 133728 HAS SOUS 80174 HAS SOUPS 79645 WITH SCORE 79782.583
AT ITER 162 NEW BEST:: SOT 263023 SOS 137518 HAS SOPS 133663 HAS SOUS 80109 HAS SOUPS 79580 WITH SCORE 79717.518
AT ITER 165 NEW BEST:: SOT 258233 SOS 132914 HAS SOPS 129059 HAS SOUS 78039 HAS SOUPS 77510 WITH SCORE 77642.914
AT ITER 173 NEW BEST:: SOT 256843 SOS 131197 HAS SOPS 127342 HAS SOUS 76966 HAS SOUPS 76437 WITH SCORE 76568.197
AT ITER 176 NEW BEST:: SOT 256826 SOS 131185 HAS SOPS 127330 HAS SOUS 76954 HAS SOUPS 76425 WITH SCORE 76556.185
AT ITER 186 NEW BEST:: SOT 256794 SOS 131137 HAS SOPS 127282 HAS SOUS 76859 HAS SOUPS 76330 WITH SCORE 76461.137
AT ITER 214 NEW BEST:: SOT 256636 SOS 130819 HAS SOPS 126964 HAS SOUS 76541 HAS SOUPS 76012 WITH SCORE 76142.819
AT ITER 215 NEW BEST:: SOT 256636 SOS 130819 HAS SOPS 126964 HAS SOUS 76537 HAS SOUPS 76008 WITH SCORE 76138.819
AT ITER 217 NEW BEST:: SOT 256471 SOS 130450 HAS SOPS 126595 HAS SOUS 76381 HAS SOUPS 75852 WITH SCORE 75982.45
AT ITER 239 NEW BEST:: SOT 256392 SOS 130612 HAS SOPS 126765 HAS SOUS 76242 HAS SOUPS 75713 WITH SCORE 75843.612
AT ITER 261 NEW BEST:: SOT 253073 SOS 127963 HAS SOPS 124116 HAS SOUS 75181 HAS SOUPS 74652 WITH SCORE 74779.963
AT ITER 262 NEW BEST:: SOT 253035 SOS 127925 HAS SOPS 124078 HAS SOUS 75158 HAS SOUPS 74629 WITH SCORE 74756.925
AT ITER 266 NEW BEST:: SOT 252708 SOS 127686 HAS SOPS 123839 HAS SOUS 74919 HAS SOUPS 74390 WITH SCORE 74517.686
AT ITER 271 NEW BEST:: SOT 252501 SOS 127479 HAS SOPS 123632 HAS SOUS 74883 HAS SOUPS 74354 WITH SCORE 74481.479
AT ITER 292 NEW BEST:: SOT 247385 SOS 120792 HAS SOPS 116945 HAS SOUS 72825 HAS SOUPS 72296 WITH SCORE 72416.792
AT ITER 304 NEW BEST:: SOT 247385 SOS 120792 HAS SOPS 116809 HAS SOUS 72809 HAS SOUPS 72144 WITH SCORE 72264.792
AT ITER 310 NEW BEST:: SOT 247385 SOS 120746 HAS SOPS 116763 HAS SOUS 72763 HAS SOUPS 72098 WITH SCORE 72218.746
AT ITER 312 NEW BEST:: SOT 247362 SOS 120734 HAS SOPS 116751 HAS SOUS 72751 HAS SOUPS 72086 WITH SCORE 72206.734
AT ITER 330 NEW BEST:: SOT 247289 SOS 120621 HAS SOPS 116638 HAS SOUS 72685 HAS SOUPS 72020 WITH SCORE 72140.621
AT ITER 335 NEW BEST:: SOT 247304 SOS 120634 HAS SOPS 116661 HAS SOUS 72645 HAS SOUPS 71981 WITH SCORE 72101.634
AT ITER 349 NEW BEST:: SOT 247304 SOS 120614 HAS SOPS 116641 HAS SOUS 72625 HAS SOUPS 71961 WITH SCORE 72081.614
AT ITER 353 NEW BEST:: SOT 247179 SOS 120233 HAS SOPS 116193 HAS SOUS 72238 HAS SOUPS 71574 WITH SCORE 71694.233
AT ITER 356 NEW BEST:: SOT 246987 SOS 119739 HAS SOPS 115690 HAS SOUS 71825 HAS SOUPS 71161 WITH SCORE 71280.739
AT ITER 358 NEW BEST:: SOT 245743 SOS 118565 HAS SOPS 114516 HAS SOUS 70618 HAS SOUPS 69954 WITH SCORE 70072.565
AT ITER 361 NEW BEST:: SOT 245707 SOS 118493 HAS SOPS 114444 HAS SOUS 70546 HAS SOUPS 69882 WITH SCORE 70000.493
AT ITER 367 NEW BEST:: SOT 244559 SOS 117427 HAS SOPS 113378 HAS SOUS 69440 HAS SOUPS 68776 WITH SCORE 68893.427
AT ITER 378 NEW BEST:: SOT 244548 SOS 117434 HAS SOPS 113385 HAS SOUS 69410 HAS SOUPS 68746 WITH SCORE 68863.434
AT ITER 391 NEW BEST:: SOT 244532 SOS 117402 HAS SOPS 113353 HAS SOUS 69362 HAS SOUPS 68698 WITH SCORE 68815.402
AT ITER 419 NEW BEST:: SOT 244493 SOS 117389 HAS SOPS 113333 HAS SOUS 69212 HAS SOUPS 68548 WITH SCORE 68665.389
AT ITER 423 NEW BEST:: SOT 244493 SOS 117370 HAS SOPS 113314 HAS SOUS 69206 HAS SOUPS 68542 WITH SCORE 68659.37
AT ITER 435 NEW BEST:: SOT 244328 SOS 117205 HAS SOPS 113149 HAS SOUS 69044 HAS SOUPS 68380 WITH SCORE 68497.205
AT ITER 436 NEW BEST:: SOT 244211 SOS 117006 HAS SOPS 112943 HAS SOUS 68814 HAS SOUPS 68150 WITH SCORE 68267.006
AT ITER 440 NEW BEST:: SOT 244186 SOS 116980 HAS SOPS 112917 HAS SOUS 68788 HAS SOUPS 68124 WITH SCORE 68240.98
AT ITER 466 NEW BEST:: SOT 243945 SOS 116846 HAS SOPS 112783 HAS SOUS 68654 HAS SOUPS 67990 WITH SCORE 68106.846
AT ITER 474 NEW BEST:: SOT 243926 SOS 116808 HAS SOPS 112745 HAS SOUS 68639 HAS SOUPS 67975 WITH SCORE 68091.808
AT ITER 488 NEW BEST:: SOT 243753 SOS 116697 HAS SOPS 112634 HAS SOUS 67950 HAS SOUPS 67286 WITH SCORE 67402.697
AT ITER 489 NEW BEST:: SOT 243753 SOS 116710 HAS SOPS 112647 HAS SOUS 67948 HAS SOUPS 67284 WITH SCORE 67400.71
AT ITER 504 NEW BEST:: SOT 242100 SOS 119792 HAS SOPS 117413 HAS SOUS 67007 HAS SOUPS 66479 WITH SCORE 66598.792
AT ITER 508 NEW BEST:: SOT 242007 SOS 119683 HAS SOPS 117377 HAS SOUS 66951 HAS SOUPS 66423 WITH SCORE 66542.683
AT ITER 528 NEW BEST:: SOT 242001 SOS 119665 HAS SOPS 117359 HAS SOUS 66930 HAS SOUPS 66402 WITH SCORE 66521.665
AT ITER 533 NEW BEST:: SOT 240061 SOS 119225 HAS SOPS 116193 HAS SOUS 65083 HAS SOUPS 64401 WITH SCORE 64520.225
AT ITER 538 NEW BEST:: SOT 239995 SOS 119131 HAS SOPS 116099 HAS SOUS 65008 HAS SOUPS 64326 WITH SCORE 64445.131
AT ITER 543 NEW BEST:: SOT 239975 SOS 119101 HAS SOPS 116069 HAS SOUS 64968 HAS SOUPS 64286 WITH SCORE 64405.101
AT ITER 544 NEW BEST:: SOT 239567 SOS 118693 HAS SOPS 115661 HAS SOUS 64860 HAS SOUPS 64178 WITH SCORE 64296.693
AT ITER 601 NEW BEST:: SOT 239480 SOS 118771 HAS SOPS 115756 HAS SOUS 64778 HAS SOUPS 64096 WITH SCORE 64214.771
AT ITER 604 NEW BEST:: SOT 239473 SOS 118764 HAS SOPS 115749 HAS SOUS 64716 HAS SOUPS 64034 WITH SCORE 64152.764
AT ITER 631 NEW BEST:: SOT 237946 SOS 117089 HAS SOPS 114074 HAS SOUS 64395 HAS SOUPS 63713 WITH SCORE 63830.089
AT ITER 648 NEW BEST:: SOT 237944 SOS 117087 HAS SOPS 114072 HAS SOUS 64391 HAS SOUPS 63709 WITH SCORE 63826.087
AT ITER 674 NEW BEST:: SOT 238066 SOS 117193 HAS SOPS 114178 HAS SOUS 64158 HAS SOUPS 63476 WITH SCORE 63593.193
AT ITER 699 NEW BEST:: SOT 238055 SOS 117171 HAS SOPS 114156 HAS SOUS 64136 HAS SOUPS 63454 WITH SCORE 63571.171
AT ITER 705 NEW BEST:: SOT 238014 SOS 117079 HAS SOPS 114064 HAS SOUS 64085 HAS SOUPS 63403 WITH SCORE 63520.079
AT ITER 713 NEW BEST:: SOT 237852 SOS 116786 HAS SOPS 113771 HAS SOUS 63929 HAS SOUPS 63247 WITH SCORE 63363.786
AT ITER 724 NEW BEST:: SOT 237852 SOS 116861 HAS SOPS 113846 HAS SOUS 63928 HAS SOUPS 63246 WITH SCORE 63362.861
AT ITER 745 NEW BEST:: SOT 237736 SOS 116886 HAS SOPS 113871 HAS SOUS 63919 HAS SOUPS 63237 WITH SCORE 63353.886
AT ITER 756 NEW BEST:: SOT 237656 SOS 116889 HAS SOPS 113874 HAS SOUS 63881 HAS SOUPS 63199 WITH SCORE 63315.889
AT ITER 758 NEW BEST:: SOT 237642 SOS 116875 HAS SOPS 113860 HAS SOUS 63860 HAS SOUPS 63178 WITH SCORE 63294.875
AT ITER 773 NEW BEST:: SOT 237637 SOS 116870 HAS SOPS 113855 HAS SOUS 63843 HAS SOUPS 63161 WITH SCORE 63277.87
AT ITER 776 NEW BEST:: SOT 237503 SOS 116750 HAS SOPS 113779 HAS SOUS 63785 HAS SOUPS 63103 WITH SCORE 63219.75
AT ITER 777 NEW BEST:: SOT 237373 SOS 116584 HAS SOPS 113613 HAS SOUS 63561 HAS SOUPS 62879 WITH SCORE 62995.584
AT ITER 780 NEW BEST:: SOT 237373 SOS 116584 HAS SOPS 113613 HAS SOUS 63560 HAS SOUPS 62878 WITH SCORE 62994.584
AT ITER 787 NEW BEST:: SOT 237363 SOS 116506 HAS SOPS 113535 HAS SOUS 63553 HAS SOUPS 62871 WITH SCORE 62987.506
AT ITER 788 NEW BEST:: SOT 237346 SOS 116489 HAS SOPS 113518 HAS SOUS 63536 HAS SOUPS 62854 WITH SCORE 62970.489
AT ITER 793 NEW BEST:: SOT 237135 SOS 117015 HAS SOPS 114044 HAS SOUS 63461 HAS SOUPS 62779 WITH SCORE 62896.015
AT ITER 800 NEW BEST:: SOT 237107 SOS 116973 HAS SOPS 114002 HAS SOUS 63419 HAS SOUPS 62737 WITH SCORE 62853.973
AT ITER 823 NEW BEST:: SOT 237006 SOS 118632 HAS SOPS 115661 HAS SOUS 63372 HAS SOUPS 62690 WITH SCORE 62808.632
AT ITER 832 NEW BEST:: SOT 235991 SOS 117694 HAS SOPS 114723 HAS SOUS 62434 HAS SOUPS 61752 WITH SCORE 61869.694
AT ITER 838 NEW BEST:: SOT 235979 SOS 117682 HAS SOPS 114711 HAS SOUS 62417 HAS SOUPS 61735 WITH SCORE 61852.682
AT ITER 842 NEW BEST:: SOT 236124 SOS 117827 HAS SOPS 114856 HAS SOUS 62322 HAS SOUPS 61640 WITH SCORE 61757.827
AT ITER 865 NEW BEST:: SOT 236030 SOS 117879 HAS SOPS 114908 HAS SOUS 62254 HAS SOUPS 61572 WITH SCORE 61689.879
AT ITER 871 NEW BEST:: SOT 236012 SOS 117853 HAS SOPS 114882 HAS SOUS 62200 HAS SOUPS 61518 WITH SCORE 61635.853
AT ITER 873 NEW BEST:: SOT 235904 SOS 117767 HAS SOPS 114796 HAS SOUS 61265 HAS SOUPS 60583 WITH SCORE 60700.767
AT ITER 875 NEW BEST:: SOT 235685 SOS 117548 HAS SOPS 114577 HAS SOUS 60902 HAS SOUPS 60220 WITH SCORE 60337.548
AT ITER 878 NEW BEST:: SOT 234900 SOS 116688 HAS SOPS 113717 HAS SOUS 60394 HAS SOUPS 59712 WITH SCORE 59828.688
AT ITER 888 NEW BEST:: SOT 234894 SOS 116660 HAS SOPS 113689 HAS SOUS 60366 HAS SOUPS 59684 WITH SCORE 59800.66
AT ITER 891 NEW BEST:: SOT 234927 SOS 116682 HAS SOPS 113711 HAS SOUS 60256 HAS SOUPS 59574 WITH SCORE 59690.682
AT ITER 894 NEW BEST:: SOT 234915 SOS 116646 HAS SOPS 113675 HAS SOUS 60240 HAS SOUPS 59558 WITH SCORE 59674.646
AT ITER 905 NEW BEST:: SOT 234910 SOS 116728 HAS SOPS 113757 HAS SOUS 60179 HAS SOUPS 59497 WITH SCORE 59613.728
AT ITER 924 NEW BEST:: SOT 234533 SOS 116466 HAS SOPS 113495 HAS SOUS 59797 HAS SOUPS 59115 WITH SCORE 59231.466
AT ITER 928 NEW BEST:: SOT 234468 SOS 116435 HAS SOPS 113464 HAS SOUS 59767 HAS SOUPS 59085 WITH SCORE 59201.435
AT ITER 930 NEW BEST:: SOT 234837 SOS 117839 HAS SOPS 114868 HAS SOUS 59127 HAS SOUPS 58445 WITH SCORE 58562.839
AT ITER 937 NEW BEST:: SOT 234883 SOS 117885 HAS SOPS 114914 HAS SOUS 59117 HAS SOUPS 58435 WITH SCORE 58552.885
AT ITER 944 NEW BEST:: SOT 234883 SOS 117884 HAS SOPS 114913 HAS SOUS 59026 HAS SOUPS 58344 WITH SCORE 58461.884
AT ITER 958 NEW BEST:: SOT 234891 SOS 113975 HAS SOPS 109341 HAS SOUS 58830 HAS SOUPS 58018 WITH SCORE 58131.975
AT ITER 969 NEW BEST:: SOT 234891 SOS 113814 HAS SOPS 109180 HAS SOUS 58764 HAS SOUPS 57952 WITH SCORE 58065.814
AT ITER 976 NEW BEST:: SOT 235429 SOS 114352 HAS SOPS 109718 HAS SOUS 58300 HAS SOUPS 57488 WITH SCORE 57602.352
AT ITER 977 NEW BEST:: SOT 235496 SOS 114329 HAS SOPS 109628 HAS SOUS 58277 HAS SOUPS 57465 WITH SCORE 57579.329
AT ITER 997 NEW BEST:: SOT 235482 SOS 114301 HAS SOPS 109600 HAS SOUS 58266 HAS SOUPS 57454 WITH SCORE 57568.301
AT ITER 1007 NEW BEST:: SOT 235478 SOS 114293 HAS SOPS 109592 HAS SOUS 58258 HAS SOUPS 57446 WITH SCORE 57560.293
AT ITER 1045 NEW BEST:: SOT 235474 SOS 114285 HAS SOPS 109584 HAS SOUS 58250 HAS SOUPS 57438 WITH SCORE 57552.285
AT ITER 1048 NEW BEST:: SOT 235408 SOS 114053 HAS SOPS 109352 HAS SOUS 58182 HAS SOUPS 57370 WITH SCORE 57484.053
AT ITER 1053 NEW BEST:: SOT 235288 SOS 113873 HAS SOPS 109172 HAS SOUS 58062 HAS SOUPS 57250 WITH SCORE 57363.873
AT ITER 1057 NEW BEST:: SOT 235277 SOS 113862 HAS SOPS 109154 HAS SOUS 58040 HAS SOUPS 57223 WITH SCORE 57336.862
AT ITER 1061 NEW BEST:: SOT 235265 SOS 113850 HAS SOPS 109142 HAS SOUS 58028 HAS SOUPS 57211 WITH SCORE 57324.85
AT ITER 1064 NEW BEST:: SOT 235262 SOS 113846 HAS SOPS 109138 HAS SOUS 58027 HAS SOUPS 57210 WITH SCORE 57323.846
AT ITER 1074 NEW BEST:: SOT 235262 SOS 113849 HAS SOPS 109141 HAS SOUS 57997 HAS SOUPS 57180 WITH SCORE 57293.849
AT ITER 1078 NEW BEST:: SOT 235157 SOS 113661 HAS SOPS 108953 HAS SOUS 57809 HAS SOUPS 56992 WITH SCORE 57105.661
AT ITER 1082 NEW BEST:: SOT 234992 SOS 113439 HAS SOPS 108861 HAS SOUS 57401 HAS SOUPS 56589 WITH SCORE 56702.439
AT ITER 1085 NEW BEST:: SOT 235000 SOS 113447 HAS SOPS 108869 HAS SOUS 57393 HAS SOUPS 56581 WITH SCORE 56694.447
AT ITER 1089 NEW BEST:: SOT 235000 SOS 113455 HAS SOPS 108877 HAS SOUS 57385 HAS SOUPS 56573 WITH SCORE 56686.455
AT ITER 1092 NEW BEST:: SOT 234937 SOS 113362 HAS SOPS 108784 HAS SOUS 57148 HAS SOUPS 56336 WITH SCORE 56449.362
AT ITER 1129 NEW BEST:: SOT 234632 SOS 113134 HAS SOPS 108556 HAS SOUS 57037 HAS SOUPS 56225 WITH SCORE 56338.134
AT ITER 1190 NEW BEST:: SOT 234630 SOS 113132 HAS SOPS 108554 HAS SOUS 57033 HAS SOUPS 56221 WITH SCORE 56334.132
AT ITER 1203 NEW BEST:: SOT 234530 SOS 113032 HAS SOPS 108454 HAS SOUS 56947 HAS SOUPS 56135 WITH SCORE 56248.032
AT ITER 1215 NEW BEST:: SOT 234518 SOS 113020 HAS SOPS 108454 HAS SOUS 56935 HAS SOUPS 56123 WITH SCORE 56236.02
AT ITER 1219 NEW BEST:: SOT 234476 SOS 112922 HAS SOPS 108356 HAS SOUS 56879 HAS SOUPS 56067 WITH SCORE 56179.922
AT ITER 1257 NEW BEST:: SOT 234463 SOS 113018 HAS SOPS 108452 HAS SOUS 56813 HAS SOUPS 56001 WITH SCORE 56114.018
AT ITER 1262 NEW BEST:: SOT 234354 SOS 112900 HAS SOPS 108334 HAS SOUS 56701 HAS SOUPS 55889 WITH SCORE 56001.9
AT ITER 1269 NEW BEST:: SOT 234370 SOS 113047 HAS SOPS 108481 HAS SOUS 56690 HAS SOUPS 55878 WITH SCORE 55991.047
AT ITER 1271 NEW BEST:: SOT 234362 SOS 113039 HAS SOPS 108473 HAS SOUS 56678 HAS SOUPS 55866 WITH SCORE 55979.039
AT ITER 1291 NEW BEST:: SOT 234369 SOS 113044 HAS SOPS 108478 HAS SOUS 56674 HAS SOUPS 55862 WITH SCORE 55975.044
AT ITER 1308 NEW BEST:: SOT 234370 SOS 113043 HAS SOPS 108477 HAS SOUS 56673 HAS SOUPS 55861 WITH SCORE 55974.043
AT ITER 1310 NEW BEST:: SOT 234335 SOS 113036 HAS SOPS 108470 HAS SOUS 56659 HAS SOUPS 55847 WITH SCORE 55960.036
AT ITER 1313 NEW BEST:: SOT 232460 SOS 111269 HAS SOPS 106703 HAS SOUS 56331 HAS SOUPS 55519 WITH SCORE 55630.269
AT ITER 1331 NEW BEST:: SOT 232460 SOS 111227 HAS SOPS 106661 HAS SOUS 56325 HAS SOUPS 55513 WITH SCORE 55624.227
AT ITER 1335 NEW BEST:: SOT 232459 SOS 111225 HAS SOPS 106659 HAS SOUS 56323 HAS SOUPS 55511 WITH SCORE 55622.225
AT ITER 1357 NEW BEST:: SOT 232448 SOS 111214 HAS SOPS 106648 HAS SOUS 56209 HAS SOUPS 55397 WITH SCORE 55508.214
AT ITER 1364 NEW BEST:: SOT 232128 SOS 110755 HAS SOPS 106189 HAS SOUS 55765 HAS SOUPS 54953 WITH SCORE 55063.755
AT ITER 1407 NEW BEST:: SOT 232098 SOS 110749 HAS SOPS 106183 HAS SOUS 55729 HAS SOUPS 54917 WITH SCORE 55027.749
AT ITER 1422 NEW BEST:: SOT 232103 SOS 110726 HAS SOPS 106160 HAS SOUS 55711 HAS SOUPS 54899 WITH SCORE 55009.726
AT ITER 1429 NEW BEST:: SOT 232125 SOS 110745 HAS SOPS 106179 HAS SOUS 55655 HAS SOUPS 54843 WITH SCORE 54953.745
AT ITER 1431 NEW BEST:: SOT 232148 SOS 110731 HAS SOPS 106165 HAS SOUS 55625 HAS SOUPS 54813 WITH SCORE 54923.731
AT ITER 1462 NEW BEST:: SOT 232115 SOS 110560 HAS SOPS 105994 HAS SOUS 55605 HAS SOUPS 54793 WITH SCORE 54903.56
AT ITER 1480 NEW BEST:: SOT 232108 SOS 110418 HAS SOPS 105852 HAS SOUS 55546 HAS SOUPS 54734 WITH SCORE 54844.418
AT ITER 1501 NEW BEST:: SOT 232108 SOS 110518 HAS SOPS 105952 HAS SOUS 55434 HAS SOUPS 54622 WITH SCORE 54732.518
AT ITER 1502 NEW BEST:: SOT 231985 SOS 110297 HAS SOPS 105731 HAS SOUS 55322 HAS SOUPS 54510 WITH SCORE 54620.297
AT ITER 1511 NEW BEST:: SOT 231985 SOS 110033 HAS SOPS 105467 HAS SOUS 55322 HAS SOUPS 54510 WITH SCORE 54620.033
AT ITER 1514 NEW BEST:: SOT 232004 SOS 110025 HAS SOPS 105459 HAS SOUS 55314 HAS SOUPS 54502 WITH SCORE 54612.025
AT ITER 1526 NEW BEST:: SOT 231925 SOS 109999 HAS SOPS 105540 HAS SOUS 55287 HAS SOUPS 54475 WITH SCORE 54584.999
AT ITER 1534 NEW BEST:: SOT 231911 SOS 109971 HAS SOPS 105526 HAS SOUS 55285 HAS SOUPS 54474 WITH SCORE 54583.971
AT ITER 1539 NEW BEST:: SOT 231911 SOS 109971 HAS SOPS 105526 HAS SOUS 55253 HAS SOUPS 54442 WITH SCORE 54551.971
AT ITER 1541 NEW BEST:: SOT 231913 SOS 109972 HAS SOPS 105527 HAS SOUS 55243 HAS SOUPS 54432 WITH SCORE 54541.972
AT ITER 1554 NEW BEST:: SOT 231883 SOS 109942 HAS SOPS 105497 HAS SOUS 55183 HAS SOUPS 54372 WITH SCORE 54481.942
AT ITER 1579 NEW BEST:: SOT 230958 SOS 109127 HAS SOPS 104682 HAS SOUS 54623 HAS SOUPS 53812 WITH SCORE 53921.127
AT ITER 1612 NEW BEST:: SOT 230958 SOS 109107 HAS SOPS 104662 HAS SOUS 54621 HAS SOUPS 53810 WITH SCORE 53919.107
AT ITER 1618 NEW BEST:: SOT 230958 SOS 108987 HAS SOPS 104542 HAS SOUS 54621 HAS SOUPS 53810 WITH SCORE 53918.987
AT ITER 1624 NEW BEST:: SOT 230847 SOS 108936 HAS SOPS 104491 HAS SOUS 54570 HAS SOUPS 53759 WITH SCORE 53867.936
AT ITER 1645 NEW BEST:: SOT 230857 SOS 108960 HAS SOPS 104515 HAS SOUS 54508 HAS SOUPS 53697 WITH SCORE 53805.96
AT ITER 1659 NEW BEST:: SOT 230849 SOS 108952 HAS SOPS 104507 HAS SOUS 54494 HAS SOUPS 53683 WITH SCORE 53791.952
AT ITER 1664 NEW BEST:: SOT 230431 SOS 108522 HAS SOPS 104077 HAS SOUS 54288 HAS SOUPS 53477 WITH SCORE 53585.522
AT ITER 1669 NEW BEST:: SOT 230419 SOS 108503 HAS SOPS 104058 HAS SOUS 54269 HAS SOUPS 53458 WITH SCORE 53566.503
AT ITER 1704 NEW BEST:: SOT 230251 SOS 108376 HAS SOPS 103931 HAS SOUS 54138 HAS SOUPS 53327 WITH SCORE 53435.376
AT ITER 1706 NEW BEST:: SOT 230236 SOS 108361 HAS SOPS 103916 HAS SOUS 54123 HAS SOUPS 53312 WITH SCORE 53420.361
AT ITER 1744 NEW BEST:: SOT 230240 SOS 108339 HAS SOPS 103894 HAS SOUS 53874 HAS SOUPS 53063 WITH SCORE 53171.339
AT ITER 1745 NEW BEST:: SOT 230248 SOS 108347 HAS SOPS 103902 HAS SOUS 53759 HAS SOUPS 52948 WITH SCORE 53056.347
AT ITER 1756 NEW BEST:: SOT 230116 SOS 108271 HAS SOPS 103826 HAS SOUS 53716 HAS SOUPS 52905 WITH SCORE 53013.271
AT ITER 1800 NEW BEST:: SOT 230103 SOS 108293 HAS SOPS 103854 HAS SOUS 53689 HAS SOUPS 52878 WITH SCORE 52986.293
AT ITER 1803 NEW BEST:: SOT 230101 SOS 108291 HAS SOPS 103852 HAS SOUS 53684 HAS SOUPS 52873 WITH SCORE 52981.291
AT ITER 1828 NEW BEST:: SOT 230100 SOS 108290 HAS SOPS 103851 HAS SOUS 53503 HAS SOUPS 52692 WITH SCORE 52800.29
AT ITER 1852 NEW BEST:: SOT 230100 SOS 108226 HAS SOPS 103835 HAS SOUS 53424 HAS SOUPS 52613 WITH SCORE 52721.226
AT ITER 1855 NEW BEST:: SOT 230034 SOS 108160 HAS SOPS 103769 HAS SOUS 53389 HAS SOUPS 52578 WITH SCORE 52686.16
AT ITER 1857 NEW BEST:: SOT 230059 SOS 108114 HAS SOPS 103723 HAS SOUS 53363 HAS SOUPS 52552 WITH SCORE 52660.114
AT ITER 1875 NEW BEST:: SOT 230099 SOS 107926 HAS SOPS 103535 HAS SOUS 53354 HAS SOUPS 52543 WITH SCORE 52650.926
AT ITER 1907 NEW BEST:: SOT 230040 SOS 107867 HAS SOPS 103476 HAS SOUS 53295 HAS SOUPS 52484 WITH SCORE 52591.867
AT ITER 1920 NEW BEST:: SOT 230040 SOS 108075 HAS SOPS 103684 HAS SOUS 53293 HAS SOUPS 52482 WITH SCORE 52590.075
AT ITER 1926 NEW BEST:: SOT 229789 SOS 107834 HAS SOPS 103443 HAS SOUS 52896 HAS SOUPS 52085 WITH SCORE 52192.834
AT ITER 1930 NEW BEST:: SOT 229741 SOS 107589 HAS SOPS 103198 HAS SOUS 52833 HAS SOUPS 52022 WITH SCORE 52129.589
AT ITER 1946 NEW BEST:: SOT 229723 SOS 107571 HAS SOPS 103180 HAS SOUS 52821 HAS SOUPS 52010 WITH SCORE 52117.571
AT ITER 1947 NEW BEST:: SOT 229730 SOS 107578 HAS SOPS 103187 HAS SOUS 52675 HAS SOUPS 51864 WITH SCORE 51971.578
AT ITER 1952 NEW BEST:: SOT 229726 SOS 107572 HAS SOPS 103181 HAS SOUS 52667 HAS SOUPS 51856 WITH SCORE 51963.572
AT ITER 1954 NEW BEST:: SOT 229730 SOS 108075 HAS SOPS 103700 HAS SOUS 52650 HAS SOUPS 51839 WITH SCORE 51947.075
AT ITER 1975 NEW BEST:: SOT 229730 SOS 108596 HAS SOPS 103950 HAS SOUS 52672 HAS SOUPS 51816 WITH SCORE 51924.596
AT ITER 1999 NEW BEST:: SOT 229745 SOS 108639 HAS SOPS 103993 HAS SOUS 52670 HAS SOUPS 51814 WITH SCORE 51922.639
AT ITER 2006 NEW BEST:: SOT 229725 SOS 108631 HAS SOPS 103994 HAS SOUS 52664 HAS SOUPS 51808 WITH SCORE 51916.631
AT ITER 2014 NEW BEST:: SOT 229723 SOS 107726 HAS SOPS 103412 HAS SOUS 52605 HAS SOUPS 51803 WITH SCORE 51910.726
AT ITER 2016 NEW BEST:: SOT 229699 SOS 107672 HAS SOPS 103358 HAS SOUS 52551 HAS SOUPS 51749 WITH SCORE 51856.672
AT ITER 2024 NEW BEST:: SOT 229705 SOS 107615 HAS SOPS 103301 HAS SOUS 52500 HAS SOUPS 51698 WITH SCORE 51805.615
AT ITER 2064 NEW BEST:: SOT 229697 SOS 107607 HAS SOPS 103293 HAS SOUS 52492 HAS SOUPS 51690 WITH SCORE 51797.607
AT ITER 2076 NEW BEST:: SOT 229657 SOS 107567 HAS SOPS 103253 HAS SOUS 52440 HAS SOUPS 51638 WITH SCORE 51745.567
AT ITER 2078 NEW BEST:: SOT 229678 SOS 107674 HAS SOPS 103294 HAS SOUS 52397 HAS SOUPS 51595 WITH SCORE 51702.674
AT ITER 2086 NEW BEST:: SOT 229641 SOS 107615 HAS SOPS 103235 HAS SOUS 52338 HAS SOUPS 51536 WITH SCORE 51643.615
AT ITER 2102 NEW BEST:: SOT 229625 SOS 107535 HAS SOPS 103155 HAS SOUS 52318 HAS SOUPS 51516 WITH SCORE 51623.535
AT ITER 2106 NEW BEST:: SOT 229611 SOS 107578 HAS SOPS 103198 HAS SOUS 52292 HAS SOUPS 51490 WITH SCORE 51597.578
AT ITER 2125 NEW BEST:: SOT 229611 SOS 107578 HAS SOPS 103198 HAS SOUS 52291 HAS SOUPS 51489 WITH SCORE 51596.578
AT ITER 2127 NEW BEST:: SOT 229611 SOS 107626 HAS SOPS 103246 HAS SOUS 52275 HAS SOUPS 51473 WITH SCORE 51580.626
AT ITER 2131 NEW BEST:: SOT 229643 SOS 107628 HAS SOPS 103248 HAS SOUS 52265 HAS SOUPS 51463 WITH SCORE 51570.628
AT ITER 2141 NEW BEST:: SOT 229636 SOS 107628 HAS SOPS 103248 HAS SOUS 52253 HAS SOUPS 51451 WITH SCORE 51558.628
AT ITER 2153 NEW BEST:: SOT 229624 SOS 107616 HAS SOPS 103236 HAS SOUS 52246 HAS SOUPS 51444 WITH SCORE 51551.616
AT ITER 2195 NEW BEST:: SOT 229619 SOS 107611 HAS SOPS 103212 HAS SOUS 52239 HAS SOUPS 51419 WITH SCORE 51526.611
AT ITER 2202 NEW BEST:: SOT 229589 SOS 107595 HAS SOPS 103196 HAS SOUS 52223 HAS SOUPS 51403 WITH SCORE 51510.595
AT ITER 2225 NEW BEST:: SOT 229502 SOS 107436 HAS SOPS 103037 HAS SOUS 52107 HAS SOUPS 51287 WITH SCORE 51394.436
AT ITER 2251 NEW BEST:: SOT 229403 SOS 107255 HAS SOPS 102856 HAS SOUS 52098 HAS SOUPS 51278 WITH SCORE 51385.255
AT ITER 2269 NEW BEST:: SOT 229361 SOS 107453 HAS SOPS 103054 HAS SOUS 52064 HAS SOUPS 51244 WITH SCORE 51351.453
AT ITER 2278 NEW BEST:: SOT 229416 SOS 107774 HAS SOPS 103375 HAS SOUS 51980 HAS SOUPS 51160 WITH SCORE 51267.774
AT ITER 2294 NEW BEST:: SOT 229407 SOS 107756 HAS SOPS 103357 HAS SOUS 51953 HAS SOUPS 51133 WITH SCORE 51240.756
AT ITER 2330 NEW BEST:: SOT 229380 SOS 107716 HAS SOPS 103317 HAS SOUS 51912 HAS SOUPS 51092 WITH SCORE 51199.716
AT ITER 2333 NEW BEST:: SOT 229387 SOS 107712 HAS SOPS 103313 HAS SOUS 51854 HAS SOUPS 51034 WITH SCORE 51141.712
AT ITER 2334 NEW BEST:: SOT 229377 SOS 107702 HAS SOPS 103293 HAS SOUS 51839 HAS SOUPS 51019 WITH SCORE 51126.702
AT ITER 2347 NEW BEST:: SOT 229296 SOS 107297 HAS SOPS 103134 HAS SOUS 51699 HAS SOUPS 50920 WITH SCORE 51027.297
AT ITER 2352 NEW BEST:: SOT 229297 SOS 107298 HAS SOPS 103135 HAS SOUS 51696 HAS SOUPS 50917 WITH SCORE 51024.298
AT ITER 2376 NEW BEST:: SOT 229297 SOS 107292 HAS SOPS 103123 HAS SOUS 51690 HAS SOUPS 50911 WITH SCORE 51018.292
AT ITER 2383 NEW BEST:: SOT 229323 SOS 107316 HAS SOPS 103147 HAS SOUS 51661 HAS SOUPS 50882 WITH SCORE 50989.316
AT ITER 2401 NEW BEST:: SOT 229334 SOS 107327 HAS SOPS 103158 HAS SOUS 51644 HAS SOUPS 50865 WITH SCORE 50972.327
AT ITER 2424 NEW BEST:: SOT 229334 SOS 107327 HAS SOPS 103154 HAS SOUS 51643 HAS SOUPS 50861 WITH SCORE 50968.327
AT ITER 2453 NEW BEST:: SOT 229317 SOS 107329 HAS SOPS 103156 HAS SOUS 51609 HAS SOUPS 50827 WITH SCORE 50934.329
AT ITER 2459 NEW BEST:: SOT 229102 SOS 107114 HAS SOPS 102941 HAS SOUS 51608 HAS SOUPS 50826 WITH SCORE 50933.114
AT ITER 2461 NEW BEST:: SOT 229041 SOS 107108 HAS SOPS 102935 HAS SOUS 51557 HAS SOUPS 50775 WITH SCORE 50882.108
AT ITER 2471 NEW BEST:: SOT 229026 SOS 107093 HAS SOPS 102920 HAS SOUS 51545 HAS SOUPS 50763 WITH SCORE 50870.093
AT ITER 2477 NEW BEST:: SOT 229012 SOS 106916 HAS SOPS 102856 HAS SOUS 51493 HAS SOUPS 50711 WITH SCORE 50817.916
AT ITER 2488 NEW BEST:: SOT 228868 SOS 106788 HAS SOPS 102728 HAS SOUS 51306 HAS SOUPS 50524 WITH SCORE 50630.788
AT ITER 2501 NEW BEST:: SOT 228857 SOS 106759 HAS SOPS 102699 HAS SOUS 51294 HAS SOUPS 50512 WITH SCORE 50618.759
AT ITER 2543 NEW BEST:: SOT 228931 SOS 106833 HAS SOPS 102773 HAS SOUS 51134 HAS SOUPS 50352 WITH SCORE 50458.833
AT ITER 2550 NEW BEST:: SOT 228931 SOS 106817 HAS SOPS 102757 HAS SOUS 51118 HAS SOUPS 50336 WITH SCORE 50442.817
AT ITER 2553 NEW BEST:: SOT 228897 SOS 106760 HAS SOPS 102715 HAS SOUS 51096 HAS SOUPS 50314 WITH SCORE 50420.76
AT ITER 2607 NEW BEST:: SOT 228710 SOS 106599 HAS SOPS 102554 HAS SOUS 50843 HAS SOUPS 50061 WITH SCORE 50167.599
AT ITER 2628 NEW BEST:: SOT 228731 SOS 106720 HAS SOPS 102675 HAS SOUS 50835 HAS SOUPS 50053 WITH SCORE 50159.72
AT ITER 2666 NEW BEST:: SOT 228693 SOS 106475 HAS SOPS 102430 HAS SOUS 50775 HAS SOUPS 49993 WITH SCORE 50099.475
AT ITER 2689 NEW BEST:: SOT 228617 SOS 106372 HAS SOPS 102327 HAS SOUS 50678 HAS SOUPS 49896 WITH SCORE 50002.372
AT ITER 2699 NEW BEST:: SOT 228595 SOS 106414 HAS SOPS 102369 HAS SOUS 50670 HAS SOUPS 49888 WITH SCORE 49994.414
AT ITER 2704 NEW BEST:: SOT 228588 SOS 106389 HAS SOPS 102344 HAS SOUS 50622 HAS SOUPS 49840 WITH SCORE 49946.389
AT ITER 2727 NEW BEST:: SOT 228577 SOS 106378 HAS SOPS 102333 HAS SOUS 50600 HAS SOUPS 49818 WITH SCORE 49924.378
AT ITER 2749 NEW BEST:: SOT 228577 SOS 106345 HAS SOPS 102301 HAS SOUS 50581 HAS SOUPS 49799 WITH SCORE 49905.345
AT ITER 2765 NEW BEST:: SOT 228571 SOS 106348 HAS SOPS 102304 HAS SOUS 50569 HAS SOUPS 49787 WITH SCORE 49893.348
AT ITER 2846 NEW BEST:: SOT 228543 SOS 106302 HAS SOPS 102258 HAS SOUS 50446 HAS SOUPS 49664 WITH SCORE 49770.302
AT ITER 2859 NEW BEST:: SOT 228543 SOS 105858 HAS SOPS 101814 HAS SOUS 50444 HAS SOUPS 49662 WITH SCORE 49767.858
AT ITER 2872 NEW BEST:: SOT 228546 SOS 105774 HAS SOPS 101730 HAS SOUS 50442 HAS SOUPS 49660 WITH SCORE 49765.774
AT ITER 2914 NEW BEST:: SOT 228513 SOS 105725 HAS SOPS 101681 HAS SOUS 50365 HAS SOUPS 49583 WITH SCORE 49688.725
AT ITER 2921 NEW BEST:: SOT 228509 SOS 105717 HAS SOPS 101677 HAS SOUS 50363 HAS SOUPS 49582 WITH SCORE 49687.717
AT ITER 2933 NEW BEST:: SOT 228509 SOS 105706 HAS SOPS 101666 HAS SOUS 50341 HAS SOUPS 49560 WITH SCORE 49665.706
AT ITER 2945 NEW BEST:: SOT 228377 SOS 105575 HAS SOPS 101484 HAS SOUS 50268 HAS SOUPS 49487 WITH SCORE 49592.575
AT ITER 2981 NEW BEST:: SOT 228295 SOS 105727 HAS SOPS 101632 HAS SOUS 50138 HAS SOUPS 49360 WITH SCORE 49465.727
AT ITER 2988 NEW BEST:: SOT 228262 SOS 105660 HAS SOPS 101565 HAS SOUS 50088 HAS SOUPS 49310 WITH SCORE 49415.66
AT ITER 2992 NEW BEST:: SOT 228252 SOS 105649 HAS SOPS 101554 HAS SOUS 50072 HAS SOUPS 49294 WITH SCORE 49399.649
AT ITER 2999 NEW BEST:: SOT 228175 SOS 105494 HAS SOPS 101399 HAS SOUS 50029 HAS SOUPS 49251 WITH SCORE 49356.494
AT ITER 3011 NEW BEST:: SOT 228108 SOS 105337 HAS SOPS 101242 HAS SOUS 49919 HAS SOUPS 49141 WITH SCORE 49246.337
AT ITER 3041 NEW BEST:: SOT 227694 SOS 104966 HAS SOPS 100871 HAS SOUS 49758 HAS SOUPS 48980 WITH SCORE 49084.966
AT ITER 3055 NEW BEST:: SOT 227637 SOS 104822 HAS SOPS 100727 HAS SOUS 49672 HAS SOUPS 48894 WITH SCORE 48998.822
AT ITER 3056 NEW BEST:: SOT 227685 SOS 105480 HAS SOPS 101385 HAS SOUS 49595 HAS SOUPS 48817 WITH SCORE 48922.48
AT ITER 3064 NEW BEST:: SOT 227694 SOS 105446 HAS SOPS 101351 HAS SOUS 49561 HAS SOUPS 48783 WITH SCORE 48888.446
AT ITER 3069 NEW BEST:: SOT 227694 SOS 105338 HAS SOPS 101243 HAS SOUS 49561 HAS SOUPS 48783 WITH SCORE 48888.338
AT ITER 3102 NEW BEST:: SOT 227694 SOS 105338 HAS SOPS 101243 HAS SOUS 49555 HAS SOUPS 48777 WITH SCORE 48882.338
AT ITER 3116 NEW BEST:: SOT 227488 SOS 105139 HAS SOPS 101044 HAS SOUS 49400 HAS SOUPS 48622 WITH SCORE 48727.139
AT ITER 3123 NEW BEST:: SOT 227591 SOS 104234 HAS SOPS 100139 HAS SOUS 49385 HAS SOUPS 48607 WITH SCORE 48711.234
AT ITER 3176 NEW BEST:: SOT 227527 SOS 104140 HAS SOPS 100045 HAS SOUS 49291 HAS SOUPS 48513 WITH SCORE 48617.14
AT ITER 3181 NEW BEST:: SOT 227527 SOS 104140 HAS SOPS 100081 HAS SOUS 49275 HAS SOUPS 48497 WITH SCORE 48601.14
AT ITER 3184 NEW BEST:: SOT 227404 SOS 103977 HAS SOPS 99994 HAS SOUS 49185 HAS SOUPS 48423 WITH SCORE 48526.977
AT ITER 3190 NEW BEST:: SOT 227539 SOS 104135 HAS SOPS 100152 HAS SOUS 49133 HAS SOUPS 48371 WITH SCORE 48475.135
AT ITER 3198 NEW BEST:: SOT 227591 SOS 104165 HAS SOPS 100182 HAS SOUS 49074 HAS SOUPS 48312 WITH SCORE 48416.165
AT ITER 3203 NEW BEST:: SOT 227567 SOS 104129 HAS SOPS 100146 HAS SOUS 49038 HAS SOUPS 48276 WITH SCORE 48380.129
AT ITER 3214 NEW BEST:: SOT 227411 SOS 104027 HAS SOPS 100044 HAS SOUS 48970 HAS SOUPS 48208 WITH SCORE 48312.027
AT ITER 3215 NEW BEST:: SOT 227331 SOS 103845 HAS SOPS 99862 HAS SOUS 48881 HAS SOUPS 48119 WITH SCORE 48222.845
AT ITER 3223 NEW BEST:: SOT 227315 SOS 103813 HAS SOPS 99830 HAS SOUS 48849 HAS SOUPS 48087 WITH SCORE 48190.813
AT ITER 3320 NEW BEST:: SOT 227292 SOS 103777 HAS SOPS 99794 HAS SOUS 48816 HAS SOUPS 48054 WITH SCORE 48157.777
AT ITER 3328 NEW BEST:: SOT 227294 SOS 103768 HAS SOPS 99785 HAS SOUS 48807 HAS SOUPS 48045 WITH SCORE 48148.768
AT ITER 3333 NEW BEST:: SOT 227197 SOS 103671 HAS SOPS 99688 HAS SOUS 48677 HAS SOUPS 47915 WITH SCORE 48018.671
AT ITER 3335 NEW BEST:: SOT 227137 SOS 103611 HAS SOPS 99628 HAS SOUS 48632 HAS SOUPS 47870 WITH SCORE 47973.611
AT ITER 3351 NEW BEST:: SOT 227120 SOS 103663 HAS SOPS 99680 HAS SOUS 48582 HAS SOUPS 47820 WITH SCORE 47923.663
AT ITER 3368 NEW BEST:: SOT 227123 SOS 103470 HAS SOPS 99487 HAS SOUS 48582 HAS SOUPS 47820 WITH SCORE 47923.47
AT ITER 3401 NEW BEST:: SOT 227104 SOS 103451 HAS SOPS 99468 HAS SOUS 48562 HAS SOUPS 47800 WITH SCORE 47903.451
AT ITER 3414 NEW BEST:: SOT 227097 SOS 103444 HAS SOPS 99461 HAS SOUS 48555 HAS SOUPS 47793 WITH SCORE 47896.444
AT ITER 3473 NEW BEST:: SOT 227062 SOS 103410 HAS SOPS 99427 HAS SOUS 48520 HAS SOUPS 47758 WITH SCORE 47861.41
AT ITER 3478 NEW BEST:: SOT 227064 SOS 103404 HAS SOPS 99421 HAS SOUS 48514 HAS SOUPS 47752 WITH SCORE 47855.404
AT ITER 3487 NEW BEST:: SOT 226824 SOS 106005 HAS SOPS 102022 HAS SOUS 48386 HAS SOUPS 47624 WITH SCORE 47730.005
AT ITER 3500 NEW BEST:: SOT 226812 SOS 105957 HAS SOPS 102010 HAS SOUS 48363 HAS SOUPS 47607 WITH SCORE 47712.957
AT ITER 3548 NEW BEST:: SOT 226674 SOS 105653 HAS SOPS 101706 HAS SOUS 48234 HAS SOUPS 47478 WITH SCORE 47583.653
AT ITER 3680 NEW BEST:: SOT 226645 SOS 105641 HAS SOPS 101694 HAS SOUS 48205 HAS SOUPS 47449 WITH SCORE 47554.641
AT ITER 3707 NEW BEST:: SOT 226509 SOS 105695 HAS SOPS 101610 HAS SOUS 48079 HAS SOUPS 47300 WITH SCORE 47405.695
AT ITER 3766 NEW BEST:: SOT 226511 SOS 105673 HAS SOPS 101588 HAS SOUS 48059 HAS SOUPS 47280 WITH SCORE 47385.673
AT ITER 3768 NEW BEST:: SOT 226507 SOS 105673 HAS SOPS 101589 HAS SOUS 48053 HAS SOUPS 47274 WITH SCORE 47379.673
AT ITER 3780 NEW BEST:: SOT 226391 SOS 105441 HAS SOPS 101357 HAS SOUS 47821 HAS SOUPS 47042 WITH SCORE 47147.441
AT ITER 3835 NEW BEST:: SOT 226376 SOS 105447 HAS SOPS 101362 HAS SOUS 47800 HAS SOUPS 47021 WITH SCORE 47126.447
AT ITER 3863 NEW BEST:: SOT 226375 SOS 105446 HAS SOPS 101361 HAS SOUS 47798 HAS SOUPS 47019 WITH SCORE 47124.446
AT ITER 3871 NEW BEST:: SOT 226356 SOS 105427 HAS SOPS 101342 HAS SOUS 47760 HAS SOUPS 46981 WITH SCORE 47086.427
AT ITER 3882 NEW BEST:: SOT 226442 SOS 105588 HAS SOPS 101440 HAS SOUS 47753 HAS SOUPS 46974 WITH SCORE 47079.588
AT ITER 3888 NEW BEST:: SOT 226442 SOS 105652 HAS SOPS 101504 HAS SOUS 47737 HAS SOUPS 46958 WITH SCORE 47063.652
AT ITER 3936 NEW BEST:: SOT 226417 SOS 105598 HAS SOPS 101450 HAS SOUS 47674 HAS SOUPS 46895 WITH SCORE 47000.598
AT ITER 3953 NEW BEST:: SOT 226387 SOS 105499 HAS SOPS 101257 HAS SOUS 47621 HAS SOUPS 46842 WITH SCORE 46947.499
AT ITER 3981 NEW BEST:: SOT 226395 SOS 105483 HAS SOPS 101241 HAS SOUS 47602 HAS SOUPS 46823 WITH SCORE 46928.483
AT ITER 4000 NEW BEST:: SOT 226395 SOS 105483 HAS SOPS 101241 HAS SOUS 47592 HAS SOUPS 46813 WITH SCORE 46918.483
AT ITER 4010 NEW BEST:: SOT 226387 SOS 105475 HAS SOPS 101233 HAS SOUS 47577 HAS SOUPS 46798 WITH SCORE 46903.475
AT ITER 4035 NEW BEST:: SOT 226399 SOS 105442 HAS SOPS 101200 HAS SOUS 47556 HAS SOUPS 46777 WITH SCORE 46882.442
AT ITER 4046 NEW BEST:: SOT 226387 SOS 105430 HAS SOPS 101188 HAS SOUS 47556 HAS SOUPS 46777 WITH SCORE 46882.43
AT ITER 4057 NEW BEST:: SOT 226387 SOS 105362 HAS SOPS 101114 HAS SOUS 47556 HAS SOUPS 46777 WITH SCORE 46882.362
AT ITER 4058 NEW BEST:: SOT 226357 SOS 105363 HAS SOPS 101162 HAS SOUS 47492 HAS SOUPS 46709 WITH SCORE 46814.363
AT ITER 4085 NEW BEST:: SOT 226295 SOS 104928 HAS SOPS 100727 HAS SOUS 47442 HAS SOUPS 46659 WITH SCORE 46763.928
AT ITER 4096 NEW BEST:: SOT 226283 SOS 104918 HAS SOPS 100717 HAS SOUS 47420 HAS SOUPS 46637 WITH SCORE 46741.918
AT ITER 4097 NEW BEST:: SOT 226270 SOS 104840 HAS SOPS 100639 HAS SOUS 47420 HAS SOUPS 46637 WITH SCORE 46741.84
AT ITER 4107 NEW BEST:: SOT 226270 SOS 104840 HAS SOPS 100639 HAS SOUS 47410 HAS SOUPS 46627 WITH SCORE 46731.84
AT ITER 4129 NEW BEST:: SOT 226157 SOS 104706 HAS SOPS 100505 HAS SOUS 47189 HAS SOUPS 46406 WITH SCORE 46510.706
AT ITER 4186 NEW BEST:: SOT 226140 SOS 104604 HAS SOPS 100403 HAS SOUS 47189 HAS SOUPS 46406 WITH SCORE 46510.604
AT ITER 4216 NEW BEST:: SOT 226092 SOS 104517 HAS SOPS 100316 HAS SOUS 47102 HAS SOUPS 46319 WITH SCORE 46423.517
AT ITER 4228 NEW BEST:: SOT 226051 SOS 104434 HAS SOPS 100233 HAS SOUS 47041 HAS SOUPS 46258 WITH SCORE 46362.434
AT ITER 4240 NEW BEST:: SOT 226045 SOS 104428 HAS SOPS 100227 HAS SOUS 47040 HAS SOUPS 46257 WITH SCORE 46361.428
AT ITER 4255 NEW BEST:: SOT 226039 SOS 104422 HAS SOPS 100220 HAS SOUS 47039 HAS SOUPS 46256 WITH SCORE 46360.422
AT ITER 4258 NEW BEST:: SOT 226027 SOS 104385 HAS SOPS 100183 HAS SOUS 46966 HAS SOUPS 46183 WITH SCORE 46287.385
AT ITER 4269 NEW BEST:: SOT 225975 SOS 104281 HAS SOPS 100131 HAS SOUS 46958 HAS SOUPS 46179 WITH SCORE 46283.281
AT ITER 4294 NEW BEST:: SOT 225972 SOS 104275 HAS SOPS 100125 HAS SOUS 46952 HAS SOUPS 46173 WITH SCORE 46277.275
AT ITER 4295 NEW BEST:: SOT 225909 SOS 104244 HAS SOPS 100094 HAS SOUS 46937 HAS SOUPS 46158 WITH SCORE 46262.244
AT ITER 4297 NEW BEST:: SOT 225904 SOS 104239 HAS SOPS 100089 HAS SOUS 46931 HAS SOUPS 46152 WITH SCORE 46256.239
AT ITER 4310 NEW BEST:: SOT 225843 SOS 104178 HAS SOPS 100028 HAS SOUS 46846 HAS SOUPS 46067 WITH SCORE 46171.178
AT ITER 4330 NEW BEST:: SOT 225524 SOS 103874 HAS SOPS 99724 HAS SOUS 46688 HAS SOUPS 45909 WITH SCORE 46012.874
AT ITER 4361 NEW BEST:: SOT 225485 SOS 103835 HAS SOPS 99685 HAS SOUS 46610 HAS SOUPS 45831 WITH SCORE 45934.835
AT ITER 4382 NEW BEST:: SOT 225374 SOS 103724 HAS SOPS 99574 HAS SOUS 46470 HAS SOUPS 45691 WITH SCORE 45794.724
AT ITER 4407 NEW BEST:: SOT 225351 SOS 103678 HAS SOPS 99528 HAS SOUS 46424 HAS SOUPS 45645 WITH SCORE 45748.678
AT ITER 4421 NEW BEST:: SOT 225351 SOS 103678 HAS SOPS 99528 HAS SOUS 46412 HAS SOUPS 45633 WITH SCORE 45736.678
AT ITER 4496 NEW BEST:: SOT 225385 SOS 103707 HAS SOPS 99557 HAS SOUS 46385 HAS SOUPS 45621 WITH SCORE 45724.707
AT ITER 4523 NEW BEST:: SOT 225325 SOS 103647 HAS SOPS 99497 HAS SOUS 46352 HAS SOUPS 45588 WITH SCORE 45691.647
AT ITER 4541 NEW BEST:: SOT 225182 SOS 103563 HAS SOPS 99413 HAS SOUS 46328 HAS SOUPS 45564 WITH SCORE 45667.563
AT ITER 4570 NEW BEST:: SOT 225249 SOS 103640 HAS SOPS 99482 HAS SOUS 46325 HAS SOUPS 45556 WITH SCORE 45659.64
AT ITER 4623 NEW BEST:: SOT 225108 SOS 103438 HAS SOPS 99280 HAS SOUS 46177 HAS SOUPS 45408 WITH SCORE 45511.438
AT ITER 4637 NEW BEST:: SOT 225108 SOS 103426 HAS SOPS 99268 HAS SOUS 46173 HAS SOUPS 45404 WITH SCORE 45507.426
AT ITER 4642 NEW BEST:: SOT 225090 SOS 103390 HAS SOPS 99232 HAS SOUS 46137 HAS SOUPS 45368 WITH SCORE 45471.39
AT ITER 4672 NEW BEST:: SOT 225082 SOS 103323 HAS SOPS 99165 HAS SOUS 46028 HAS SOUPS 45259 WITH SCORE 45362.323
AT ITER 4680 NEW BEST:: SOT 225032 SOS 103294 HAS SOPS 99310 HAS SOUS 46002 HAS SOUPS 45233 WITH SCORE 45336.294
AT ITER 4703 NEW BEST:: SOT 225010 SOS 103289 HAS SOPS 99305 HAS SOUS 45979 HAS SOUPS 45210 WITH SCORE 45313.289
AT ITER 4714 NEW BEST:: SOT 225004 SOS 103285 HAS SOPS 99301 HAS SOUS 45975 HAS SOUPS 45206 WITH SCORE 45309.285
AT ITER 4723 NEW BEST:: SOT 225004 SOS 103117 HAS SOPS 99133 HAS SOUS 45975 HAS SOUPS 45206 WITH SCORE 45309.117
AT ITER 4746 NEW BEST:: SOT 224996 SOS 103109 HAS SOPS 99125 HAS SOUS 45975 HAS SOUPS 45206 WITH SCORE 45309.109
AT ITER 4752 NEW BEST:: SOT 224945 SOS 103070 HAS SOPS 99086 HAS SOUS 45930 HAS SOUPS 45161 WITH SCORE 45264.07
AT ITER 4764 NEW BEST:: SOT 224946 SOS 103071 HAS SOPS 99087 HAS SOUS 45929 HAS SOUPS 45160 WITH SCORE 45263.071
AT ITER 4775 NEW BEST:: SOT 224930 SOS 103010 HAS SOPS 99026 HAS SOUS 45888 HAS SOUPS 45119 WITH SCORE 45222.01
AT ITER 4798 NEW BEST:: SOT 224911 SOS 102991 HAS SOPS 99007 HAS SOUS 45850 HAS SOUPS 45081 WITH SCORE 45183.991
AT ITER 4805 NEW BEST:: SOT 224991 SOS 103051 HAS SOPS 99067 HAS SOUS 45730 HAS SOUPS 44961 WITH SCORE 45064.051
AT ITER 4820 NEW BEST:: SOT 224982 SOS 103042 HAS SOPS 99058 HAS SOUS 45687 HAS SOUPS 44918 WITH SCORE 45021.042
AT ITER 4823 NEW BEST:: SOT 224975 SOS 102992 HAS SOPS 99080 HAS SOUS 45680 HAS SOUPS 44911 WITH SCORE 45013.992
AT ITER 4824 NEW BEST:: SOT 224957 SOS 102947 HAS SOPS 99035 HAS SOUS 45675 HAS SOUPS 44906 WITH SCORE 45008.947
AT ITER 4889 NEW BEST:: SOT 224957 SOS 102947 HAS SOPS 99043 HAS SOUS 45670 HAS SOUPS 44901 WITH SCORE 45003.947
AT ITER 4905 NEW BEST:: SOT 224923 SOS 102932 HAS SOPS 99028 HAS SOUS 45655 HAS SOUPS 44886 WITH SCORE 44988.932
AT ITER 4921 NEW BEST:: SOT 224923 SOS 102912 HAS SOPS 99008 HAS SOUS 45655 HAS SOUPS 44886 WITH SCORE 44988.912
AT ITER 4922 NEW BEST:: SOT 224885 SOS 102875 HAS SOPS 98971 HAS SOUS 45579 HAS SOUPS 44810 WITH SCORE 44912.875
AT ITER 4945 NEW BEST:: SOT 224878 SOS 102868 HAS SOPS 98964 HAS SOUS 45570 HAS SOUPS 44801 WITH SCORE 44903.868
AT ITER 4949 NEW BEST:: SOT 224881 SOS 102865 HAS SOPS 98961 HAS SOUS 45570 HAS SOUPS 44801 WITH SCORE 44903.865
AT ITER 4968 NEW BEST:: SOT 224871 SOS 102855 HAS SOPS 98951 HAS SOUS 45550 HAS SOUPS 44781 WITH SCORE 44883.855
AT ITER 4997 NEW BEST:: SOT 224795 SOS 102937 HAS SOPS 99033 HAS SOUS 45487 HAS SOUPS 44718 WITH SCORE 44820.937
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-00 ( (! (AF(( potential( (tk(P299)) <= (tk(P14) + tk(P123) + tk(P128) + tk(P204) + tk(P263) + tk(P432)) ) & potential( ( 3 ) <= (tk(P22) + tk(P26) + tk(P46) + tk(P50) + tk(P69) + tk(P100) + tk(P122) + tk(P131) + tk(P132) + tk(P142) + tk(P203) + tk(P209) + tk(P227) + tk(P254) + tk(P256) + tk(P265) + tk(P298) + tk(P302) + tk(P319) + tk(P334) + tk(P361) + tk(P389) + tk(P396) + tk(P398) + tk(P408) + tk(P410) + tk(P452) + tk(P463) + tk(P470) + tk(P473)) ) )))) | ( (! (EF(potential( (tk(P192) + tk(P251) + tk(P270) + tk(P343) + tk(P392)) <= (tk(P261)) )))) | (EG( potential( ( 2 ) <= (tk(P299)) ))) ) )
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-01 (! (! (AF(potential( ( 1 ) <= (tk(P43) + tk(P139) + tk(P154) + tk(P193) + tk(P246) + tk(P272) + tk(P282) + tk(P312) + tk(P347) + tk(P407) + tk(P457) + tk(P460)) )))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-02 (AF((AU( potential( (tk(P18) + tk(P74) + tk(P175) + tk(P213) + tk(P357) + tk(P430)) <= (tk(P109) + tk(P130) + tk(P207) + tk(P308) + tk(P329) + tk(P391)) ),potential( ( 1 ) <= (tk(P45) + tk(P111) + tk(P304) + tk(P360) + tk(P370) + tk(P435)) ) ))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-03 (EF((AU( potential( ( 3 ) <= (tk(P51) + tk(P183) + tk(P342) + tk(P431) + tk(P446)) ),potential( ( 2 ) <= (tk(P32)) ) ))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-04 (AU( (! potential( ( 2 ) <= (tk(P3) + tk(P107) + tk(P165) + tk(P211) + tk(P266) + tk(P474)) )),(EF(potential( ( 2 ) <= (tk(P15) + tk(P296) + tk(P317) + tk(P364) + tk(P456)) ))) ))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-05 (EX( (EF(( potential( ( 3 ) <= (tk(P365)) ) & potential( (tk(P89) + tk(P104) + tk(P217) + tk(P230) + tk(P274) + tk(P440)) <= (tk(P63) + tk(P72) + tk(P103) + tk(P156) + tk(P259) + tk(P362)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-06 (EX( (AF(( potential( (tk(P184)) <= (tk(P71)) ) & potential( ( 1 ) <= (tk(P82) + tk(P214) + tk(P241) + tk(P313) + tk(P331) + tk(P414)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-07 ( (! (! ( ( potential( ( 3 ) <= (tk(P42) + tk(P235)) ) | potential( ( 2 ) <= (tk(P365)) ) ) | (! potential( ( 2 ) <= (tk(P85) + tk(P232) + tk(P260) + tk(P292) + tk(P346) + tk(P413)) )) ))) & (AG( potential( (tk(P192) + tk(P251) + tk(P270) + tk(P343) + tk(P392)) <= (tk(P3) + tk(P107) + tk(P165) + tk(P211) + tk(P266) + tk(P474)) ))) )
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-08 (! ( (! (EG( potential( (tk(P210)) <= (tk(P469)) )))) | (AX( (! potential( ( 1 ) <= (tk(P342)) )))) ))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-09 (AG( (EX( ( potential( (tk(P33)) <= (tk(P380)) ) & potential( (tk(P306)) <= (tk(P213)) ) )))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-10 (EX( ( potential( ( 3 ) <= (tk(P17)) ) | (AF(potential( ( 2 ) <= (tk(P62)) ))) )))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-11 (EG( (AF((! potential( (tk(P53)) <= (tk(P348)) ))))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-12 (EU( (! ( potential( ( 1 ) <= (tk(P467)) ) & potential( ( 2 ) <= (tk(P424)) ) )),( (! potential( (tk(P467)) <= (tk(P429)) )) & potential( ( 2 ) <= (tk(P454)) ) ) ))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-13 (! (EF(potential( ( 2 ) <= (tk(P371)) ))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-14 (! (AX( (EF(potential( (tk(P32)) <= (tk(P21)) ))))))
PROPERTY: PolyORBLF-PT-S02J04T06-CTLCardinality-15 (! (AU( ( potential( (tk(P219)) <= (tk(P374)) ) | potential( ( 2 ) <= (tk(P238)) ) ),potential( ( 1 ) <= (tk(P281)) ) )))

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

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