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.r048-ebro-158902542400579.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 DLCround-PT-11a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400579
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 940K
-rw-r--r-- 1 mcc users 3.5K Mar 30 20:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 20:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 10:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 10:27 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 3.3K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 06:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 06:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 00:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 00:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 762K 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 DLCround-PT-11a-CTLCardinality-00
FORMULA_NAME DLCround-PT-11a-CTLCardinality-01
FORMULA_NAME DLCround-PT-11a-CTLCardinality-02
FORMULA_NAME DLCround-PT-11a-CTLCardinality-03
FORMULA_NAME DLCround-PT-11a-CTLCardinality-04
FORMULA_NAME DLCround-PT-11a-CTLCardinality-05
FORMULA_NAME DLCround-PT-11a-CTLCardinality-06
FORMULA_NAME DLCround-PT-11a-CTLCardinality-07
FORMULA_NAME DLCround-PT-11a-CTLCardinality-08
FORMULA_NAME DLCround-PT-11a-CTLCardinality-09
FORMULA_NAME DLCround-PT-11a-CTLCardinality-10
FORMULA_NAME DLCround-PT-11a-CTLCardinality-11
FORMULA_NAME DLCround-PT-11a-CTLCardinality-12
FORMULA_NAME DLCround-PT-11a-CTLCardinality-13
FORMULA_NAME DLCround-PT-11a-CTLCardinality-14
FORMULA_NAME DLCround-PT-11a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589130612467

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11a
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: 377 places, 2993 transitions, 11677 arcs.
AT ITER 0 NEW BEST:: SOT 704367 SOS 601399 HAS SOPS 364833 HAS SOUS 69005 HAS SOUPS 48869 WITH SCORE 49470.399
AT ITER 5 NEW BEST:: SOT 703922 SOS 601052 HAS SOPS 363996 HAS SOUS 68185 HAS SOUPS 47693 WITH SCORE 48294.052
AT ITER 6 NEW BEST:: SOT 703893 SOS 600588 HAS SOPS 363532 HAS SOUS 68156 HAS SOUPS 47664 WITH SCORE 48264.588
AT ITER 7 NEW BEST:: SOT 703749 SOS 600474 HAS SOPS 363268 HAS SOUS 67895 HAS SOUPS 47295 WITH SCORE 47895.474
AT ITER 13 NEW BEST:: SOT 703726 SOS 600083 HAS SOPS 363222 HAS SOUS 67849 HAS SOUPS 47272 WITH SCORE 47872.083
AT ITER 21 NEW BEST:: SOT 703930 SOS 595763 HAS SOPS 360948 HAS SOUS 67922 HAS SOUPS 46325 WITH SCORE 46920.763
AT ITER 24 NEW BEST:: SOT 703904 SOS 592456 HAS SOPS 360257 HAS SOUS 67647 HAS SOUPS 46032 WITH SCORE 46624.456
AT ITER 25 NEW BEST:: SOT 702909 SOS 589518 HAS SOPS 359273 HAS SOUS 67895 HAS SOUPS 46006 WITH SCORE 46595.518
AT ITER 35 NEW BEST:: SOT 701794 SOS 587059 HAS SOPS 357138 HAS SOUS 67818 HAS SOUPS 45929 WITH SCORE 46516.059
AT ITER 40 NEW BEST:: SOT 700178 SOS 582871 HAS SOPS 355662 HAS SOUS 66122 HAS SOUPS 44459 WITH SCORE 45041.871
AT ITER 55 NEW BEST:: SOT 700636 SOS 580046 HAS SOPS 355181 HAS SOUS 67617 HAS SOUPS 44367 WITH SCORE 44947.046
AT ITER 65 NEW BEST:: SOT 700563 SOS 576096 HAS SOPS 351231 HAS SOUS 67544 HAS SOUPS 44294 WITH SCORE 44870.096
AT ITER 69 NEW BEST:: SOT 700582 SOS 575811 HAS SOPS 350946 HAS SOUS 67544 HAS SOUPS 44294 WITH SCORE 44869.811
AT ITER 90 NEW BEST:: SOT 699985 SOS 574571 HAS SOPS 350537 HAS SOUS 67523 HAS SOUPS 44292 WITH SCORE 44866.571
AT ITER 91 NEW BEST:: SOT 699925 SOS 573551 HAS SOPS 350417 HAS SOUS 67439 HAS SOUPS 44268 WITH SCORE 44841.551
AT ITER 101 NEW BEST:: SOT 699838 SOS 572072 HAS SOPS 350243 HAS SOUS 67318 HAS SOUPS 44234 WITH SCORE 44806.072
AT ITER 106 NEW BEST:: SOT 699806 SOS 572013 HAS SOPS 350184 HAS SOUS 67273 HAS SOUPS 44189 WITH SCORE 44761.013
AT ITER 141 NEW BEST:: SOT 699376 SOS 571794 HAS SOPS 349965 HAS SOUS 66632 HAS SOUPS 43548 WITH SCORE 44119.794
AT ITER 149 NEW BEST:: SOT 699376 SOS 571796 HAS SOPS 349965 HAS SOUS 66630 HAS SOUPS 43546 WITH SCORE 44117.796
AT ITER 150 NEW BEST:: SOT 699471 SOS 570191 HAS SOPS 349560 HAS SOUS 66500 HAS SOUPS 43496 WITH SCORE 44066.191
AT ITER 162 NEW BEST:: SOT 699465 SOS 570185 HAS SOPS 349554 HAS SOUS 66494 HAS SOUPS 43490 WITH SCORE 44060.185
AT ITER 164 NEW BEST:: SOT 699465 SOS 570185 HAS SOPS 349554 HAS SOUS 66492 HAS SOUPS 43488 WITH SCORE 44058.185
AT ITER 166 NEW BEST:: SOT 699102 SOS 569855 HAS SOPS 349554 HAS SOUS 66030 HAS SOUPS 43488 WITH SCORE 44057.855
AT ITER 167 NEW BEST:: SOT 698445 SOS 567809 HAS SOPS 349047 HAS SOUS 66042 HAS SOUPS 43476 WITH SCORE 44043.809
AT ITER 168 NEW BEST:: SOT 698410 SOS 567256 HAS SOPS 348494 HAS SOUS 66014 HAS SOUPS 43448 WITH SCORE 44015.256
AT ITER 183 NEW BEST:: SOT 699227 SOS 565831 HAS SOPS 347269 HAS SOUS 66298 HAS SOUPS 42098 WITH SCORE 42663.831
AT ITER 192 NEW BEST:: SOT 699227 SOS 565831 HAS SOPS 347269 HAS SOUS 66226 HAS SOUPS 42058 WITH SCORE 42623.831
AT ITER 210 NEW BEST:: SOT 699224 SOS 565828 HAS SOPS 347266 HAS SOUS 66223 HAS SOUPS 42055 WITH SCORE 42620.828
AT ITER 212 NEW BEST:: SOT 701273 SOS 568159 HAS SOPS 349597 HAS SOUS 64835 HAS SOUPS 40667 WITH SCORE 41235.159
AT ITER 227 NEW BEST:: SOT 701249 SOS 568123 HAS SOPS 349585 HAS SOUS 64832 HAS SOUPS 40667 WITH SCORE 41235.123
AT ITER 230 NEW BEST:: SOT 701377 SOS 566985 HAS SOPS 349677 HAS SOUS 64686 HAS SOUPS 40603 WITH SCORE 41169.985
AT ITER 244 NEW BEST:: SOT 701335 SOS 566985 HAS SOPS 349614 HAS SOUS 64644 HAS SOUPS 40561 WITH SCORE 41127.985
AT ITER 262 NEW BEST:: SOT 701165 SOS 568210 HAS SOPS 350064 HAS SOUS 64520 HAS SOUPS 40464 WITH SCORE 41032.21
AT ITER 263 NEW BEST:: SOT 701165 SOS 567916 HAS SOPS 349770 HAS SOUS 64514 HAS SOUPS 40458 WITH SCORE 41025.916
AT ITER 266 NEW BEST:: SOT 701122 SOS 566852 HAS SOPS 349336 HAS SOUS 64455 HAS SOUPS 40441 WITH SCORE 41007.852
AT ITER 277 NEW BEST:: SOT 701128 SOS 566864 HAS SOPS 349348 HAS SOUS 64449 HAS SOUPS 40435 WITH SCORE 41001.864
AT ITER 278 NEW BEST:: SOT 701136 SOS 566744 HAS SOPS 349348 HAS SOUS 64429 HAS SOUPS 40423 WITH SCORE 40989.744
AT ITER 279 NEW BEST:: SOT 701109 SOS 566285 HAS SOPS 348889 HAS SOUS 64425 HAS SOUPS 40419 WITH SCORE 40985.285
AT ITER 281 NEW BEST:: SOT 700588 SOS 565888 HAS SOPS 347872 HAS SOUS 63496 HAS SOUPS 39010 WITH SCORE 39575.888
AT ITER 299 NEW BEST:: SOT 700588 SOS 565548 HAS SOPS 347532 HAS SOUS 63456 HAS SOUPS 38970 WITH SCORE 39535.548
AT ITER 319 NEW BEST:: SOT 699588 SOS 563513 HAS SOPS 346903 HAS SOUS 63439 HAS SOUPS 38970 WITH SCORE 39533.513
AT ITER 320 NEW BEST:: SOT 699636 SOS 563531 HAS SOPS 346921 HAS SOUS 63351 HAS SOUPS 38882 WITH SCORE 39445.531
AT ITER 321 NEW BEST:: SOT 699481 SOS 559539 HAS SOPS 346375 HAS SOUS 64004 HAS SOUPS 38669 WITH SCORE 39228.539
AT ITER 324 NEW BEST:: SOT 699475 SOS 559527 HAS SOPS 346363 HAS SOUS 63995 HAS SOUPS 38660 WITH SCORE 39219.527
AT ITER 327 NEW BEST:: SOT 699310 SOS 556691 HAS SOPS 344802 HAS SOUS 63912 HAS SOUPS 38662 WITH SCORE 39218.691
AT ITER 328 NEW BEST:: SOT 699416 SOS 556903 HAS SOPS 344802 HAS SOUS 64011 HAS SOUPS 38658 WITH SCORE 39214.903
AT ITER 332 NEW BEST:: SOT 699096 SOS 556242 HAS SOPS 344609 HAS SOUS 63969 HAS SOUPS 38642 WITH SCORE 39198.242
AT ITER 336 NEW BEST:: SOT 699038 SOS 553241 HAS SOPS 341608 HAS SOUS 63942 HAS SOUPS 38615 WITH SCORE 39168.241
AT ITER 349 NEW BEST:: SOT 699060 SOS 553142 HAS SOPS 341615 HAS SOUS 63934 HAS SOUPS 38608 WITH SCORE 39161.142
AT ITER 356 NEW BEST:: SOT 699381 SOS 553649 HAS SOPS 341657 HAS SOUS 63307 HAS SOUPS 37981 WITH SCORE 38534.649
AT ITER 358 NEW BEST:: SOT 699331 SOS 552824 HAS SOPS 341207 HAS SOUS 63232 HAS SOUPS 37931 WITH SCORE 38483.824
AT ITER 360 NEW BEST:: SOT 699248 SOS 552688 HAS SOPS 341177 HAS SOUS 63149 HAS SOUPS 37901 WITH SCORE 38453.688
AT ITER 365 NEW BEST:: SOT 699130 SOS 543087 HAS SOPS 332986 HAS SOUS 62971 HAS SOUPS 37817 WITH SCORE 38360.087
AT ITER 372 NEW BEST:: SOT 699115 SOS 542817 HAS SOPS 332941 HAS SOUS 62941 HAS SOUPS 37802 WITH SCORE 38344.817
AT ITER 375 NEW BEST:: SOT 699097 SOS 542777 HAS SOPS 332835 HAS SOUS 62801 HAS SOUPS 37639 WITH SCORE 38181.777
AT ITER 378 NEW BEST:: SOT 699127 SOS 542807 HAS SOPS 332865 HAS SOUS 62794 HAS SOUPS 37632 WITH SCORE 38174.807
AT ITER 392 NEW BEST:: SOT 699323 SOS 543694 HAS SOPS 333027 HAS SOUS 62429 HAS SOUPS 37489 WITH SCORE 38032.694
AT ITER 398 NEW BEST:: SOT 699596 SOS 536511 HAS SOPS 327524 HAS SOUS 62316 HAS SOUPS 37488 WITH SCORE 38024.511
AT ITER 399 NEW BEST:: SOT 699554 SOS 536176 HAS SOPS 327419 HAS SOUS 62252 HAS SOUPS 37441 WITH SCORE 37977.176
AT ITER 403 NEW BEST:: SOT 699027 SOS 534613 HAS SOPS 326883 HAS SOUS 62325 HAS SOUPS 37378 WITH SCORE 37912.613
AT ITER 405 NEW BEST:: SOT 699125 SOS 533687 HAS SOPS 326947 HAS SOUS 62257 HAS SOUPS 37376 WITH SCORE 37909.687
AT ITER 406 NEW BEST:: SOT 698495 SOS 533183 HAS SOPS 325823 HAS SOUS 61248 HAS SOUPS 35874 WITH SCORE 36407.183
AT ITER 413 NEW BEST:: SOT 698361 SOS 533034 HAS SOPS 325704 HAS SOUS 61069 HAS SOUPS 35730 WITH SCORE 36263.034
AT ITER 421 NEW BEST:: SOT 698338 SOS 532997 HAS SOPS 325695 HAS SOUS 61046 HAS SOUPS 35721 WITH SCORE 36253.997
AT ITER 427 NEW BEST:: SOT 698331 SOS 532923 HAS SOPS 325561 HAS SOUS 61044 HAS SOUPS 35715 WITH SCORE 36247.923
AT ITER 429 NEW BEST:: SOT 698304 SOS 532880 HAS SOPS 325550 HAS SOUS 61008 HAS SOUPS 35699 WITH SCORE 36231.88
AT ITER 447 NEW BEST:: SOT 699140 SOS 534573 HAS SOPS 326001 HAS SOUS 61056 HAS SOUPS 35678 WITH SCORE 36212.573
AT ITER 455 NEW BEST:: SOT 699135 SOS 534563 HAS SOPS 326001 HAS SOUS 61006 HAS SOUPS 35653 WITH SCORE 36187.563
AT ITER 493 NEW BEST:: SOT 699216 SOS 534744 HAS SOPS 325982 HAS SOUS 61061 HAS SOUPS 35608 WITH SCORE 36142.744
AT ITER 494 NEW BEST:: SOT 699211 SOS 534734 HAS SOPS 325972 HAS SOUS 61048 HAS SOUPS 35595 WITH SCORE 36129.734
AT ITER 499 NEW BEST:: SOT 699187 SOS 534710 HAS SOPS 325948 HAS SOUS 61040 HAS SOUPS 35587 WITH SCORE 36121.71
AT ITER 502 NEW BEST:: SOT 699275 SOS 534798 HAS SOPS 325948 HAS SOUS 60886 HAS SOUPS 35455 WITH SCORE 35989.798
AT ITER 519 NEW BEST:: SOT 698800 SOS 533797 HAS SOPS 325560 HAS SOUS 60865 HAS SOUPS 35432 WITH SCORE 35965.797
AT ITER 530 NEW BEST:: SOT 698344 SOS 532906 HAS SOPS 324724 HAS SOUS 60730 HAS SOUPS 35297 WITH SCORE 35829.906
AT ITER 538 NEW BEST:: SOT 698518 SOS 533254 HAS SOPS 324811 HAS SOUS 60815 HAS SOUPS 35295 WITH SCORE 35828.254
AT ITER 540 NEW BEST:: SOT 698519 SOS 533253 HAS SOPS 324810 HAS SOUS 60814 HAS SOUPS 35294 WITH SCORE 35827.253
AT ITER 547 NEW BEST:: SOT 698498 SOS 533219 HAS SOPS 324802 HAS SOUS 60793 HAS SOUPS 35286 WITH SCORE 35819.219
AT ITER 557 NEW BEST:: SOT 698989 SOS 533796 HAS SOPS 324949 HAS SOUS 60252 HAS SOUPS 34745 WITH SCORE 35278.796
AT ITER 560 NEW BEST:: SOT 698970 SOS 533758 HAS SOPS 324949 HAS SOUS 60233 HAS SOUPS 34745 WITH SCORE 35278.758
AT ITER 575 NEW BEST:: SOT 698958 SOS 534079 HAS SOPS 325270 HAS SOUS 60231 HAS SOUPS 34743 WITH SCORE 35277.079
AT ITER 592 NEW BEST:: SOT 698922 SOS 534025 HAS SOPS 325252 HAS SOUS 60195 HAS SOUPS 34725 WITH SCORE 35259.025
AT ITER 594 NEW BEST:: SOT 698937 SOS 533848 HAS SOPS 325235 HAS SOUS 60162 HAS SOUPS 34708 WITH SCORE 35241.848
AT ITER 605 NEW BEST:: SOT 698954 SOS 533227 HAS SOPS 324563 HAS SOUS 60145 HAS SOUPS 34691 WITH SCORE 35224.227
AT ITER 612 NEW BEST:: SOT 698896 SOS 533146 HAS SOPS 324528 HAS SOUS 60087 HAS SOUPS 34656 WITH SCORE 35189.146
AT ITER 613 NEW BEST:: SOT 698863 SOS 533080 HAS SOPS 324528 HAS SOUS 60054 HAS SOUPS 34656 WITH SCORE 35189.08
AT ITER 618 NEW BEST:: SOT 698661 SOS 532930 HAS SOPS 324222 HAS SOUS 59679 HAS SOUPS 34189 WITH SCORE 34721.93
AT ITER 649 NEW BEST:: SOT 698606 SOS 532864 HAS SOPS 324216 HAS SOUS 59586 HAS SOUPS 34107 WITH SCORE 34639.864
AT ITER 652 NEW BEST:: SOT 698595 SOS 532842 HAS SOPS 324205 HAS SOUS 59572 HAS SOUPS 34104 WITH SCORE 34636.842
AT ITER 665 NEW BEST:: SOT 698625 SOS 532877 HAS SOPS 324210 HAS SOUS 59537 HAS SOUPS 34069 WITH SCORE 34601.877
AT ITER 674 NEW BEST:: SOT 698713 SOS 532985 HAS SOPS 324238 HAS SOUS 59437 HAS SOUPS 33989 WITH SCORE 34521.985
AT ITER 678 NEW BEST:: SOT 698948 SOS 533252 HAS SOPS 324313 HAS SOUS 59290 HAS SOUPS 33842 WITH SCORE 34375.252
AT ITER 691 NEW BEST:: SOT 698931 SOS 533186 HAS SOPS 324247 HAS SOUS 59282 HAS SOUPS 33834 WITH SCORE 34367.186
AT ITER 709 NEW BEST:: SOT 698907 SOS 533162 HAS SOPS 324223 HAS SOUS 59274 HAS SOUPS 33826 WITH SCORE 34359.162
AT ITER 712 NEW BEST:: SOT 698553 SOS 532867 HAS SOPS 324636 HAS SOUS 58295 HAS SOUPS 33782 WITH SCORE 34314.867
AT ITER 737 NEW BEST:: SOT 698523 SOS 532885 HAS SOPS 324654 HAS SOUS 58285 HAS SOUPS 33772 WITH SCORE 34304.885
AT ITER 745 NEW BEST:: SOT 698483 SOS 532835 HAS SOPS 324624 HAS SOUS 58265 HAS SOUPS 33762 WITH SCORE 34294.835
AT ITER 761 NEW BEST:: SOT 698430 SOS 532281 HAS SOPS 324070 HAS SOUS 58234 HAS SOUPS 33731 WITH SCORE 34263.281
AT ITER 766 NEW BEST:: SOT 698414 SOS 532299 HAS SOPS 324088 HAS SOUS 58228 HAS SOUPS 33725 WITH SCORE 34257.299
AT ITER 776 NEW BEST:: SOT 698391 SOS 532276 HAS SOPS 324065 HAS SOUS 58205 HAS SOUPS 33702 WITH SCORE 34234.276
AT ITER 779 NEW BEST:: SOT 698357 SOS 532174 HAS SOPS 324031 HAS SOUS 58171 HAS SOUPS 33702 WITH SCORE 34234.174
AT ITER 791 NEW BEST:: SOT 698336 SOS 531447 HAS SOPS 324009 HAS SOUS 58111 HAS SOUPS 33689 WITH SCORE 34220.447
AT ITER 793 NEW BEST:: SOT 698539 SOS 531708 HAS SOPS 324125 HAS SOUS 58024 HAS SOUPS 33602 WITH SCORE 34133.708
AT ITER 797 NEW BEST:: SOT 698535 SOS 531700 HAS SOPS 324125 HAS SOUS 58024 HAS SOUPS 33602 WITH SCORE 34133.7
AT ITER 798 NEW BEST:: SOT 698541 SOS 531706 HAS SOPS 324118 HAS SOUS 58017 HAS SOUPS 33595 WITH SCORE 34126.706
AT ITER 802 NEW BEST:: SOT 697831 SOS 531081 HAS SOPS 323851 HAS SOUS 57156 HAS SOUPS 33186 WITH SCORE 33717.081
AT ITER 808 NEW BEST:: SOT 697797 SOS 531137 HAS SOPS 323907 HAS SOUS 57064 HAS SOUPS 33094 WITH SCORE 33625.137
AT ITER 809 NEW BEST:: SOT 697972 SOS 534350 HAS SOPS 325392 HAS SOUS 57044 HAS SOUPS 33074 WITH SCORE 33608.35
AT ITER 839 NEW BEST:: SOT 698577 SOS 534821 HAS SOPS 325491 HAS SOUS 56709 HAS SOUPS 32821 WITH SCORE 33355.821
AT ITER 864 NEW BEST:: SOT 698557 SOS 534781 HAS SOPS 325451 HAS SOUS 56689 HAS SOUPS 32801 WITH SCORE 33335.781
AT ITER 871 NEW BEST:: SOT 698533 SOS 528966 HAS SOPS 320674 HAS SOUS 56607 HAS SOUPS 32789 WITH SCORE 33317.966
AT ITER 878 NEW BEST:: SOT 698763 SOS 529260 HAS SOPS 320808 HAS SOUS 56517 HAS SOUPS 32699 WITH SCORE 33228.26
AT ITER 889 NEW BEST:: SOT 698610 SOS 529060 HAS SOPS 320636 HAS SOUS 56430 HAS SOUPS 32659 WITH SCORE 33188.06
AT ITER 893 NEW BEST:: SOT 698586 SOS 529024 HAS SOPS 320624 HAS SOUS 56406 HAS SOUPS 32647 WITH SCORE 33176.024
AT ITER 895 NEW BEST:: SOT 698550 SOS 528970 HAS SOPS 320606 HAS SOUS 56370 HAS SOUPS 32629 WITH SCORE 33157.97
AT ITER 928 NEW BEST:: SOT 698539 SOS 528948 HAS SOPS 320734 HAS SOUS 56339 HAS SOUPS 32608 WITH SCORE 33136.948
AT ITER 941 NEW BEST:: SOT 698530 SOS 528930 HAS SOPS 320734 HAS SOUS 56330 HAS SOUPS 32608 WITH SCORE 33136.93
AT ITER 943 NEW BEST:: SOT 698520 SOS 528910 HAS SOPS 320734 HAS SOUS 56311 HAS SOUPS 32603 WITH SCORE 33131.91
AT ITER 944 NEW BEST:: SOT 698460 SOS 527650 HAS SOPS 320044 HAS SOUS 56229 HAS SOUPS 32559 WITH SCORE 33086.65
AT ITER 948 NEW BEST:: SOT 698360 SOS 528294 HAS SOPS 320460 HAS SOUS 56211 HAS SOUPS 32553 WITH SCORE 33081.294
AT ITER 973 NEW BEST:: SOT 698359 SOS 528277 HAS SOPS 320443 HAS SOUS 56210 HAS SOUPS 32552 WITH SCORE 33080.277
AT ITER 1009 NEW BEST:: SOT 697677 SOS 517215 HAS SOPS 311146 HAS SOUS 56091 HAS SOUPS 32493 WITH SCORE 33010.215
AT ITER 1013 NEW BEST:: SOT 697589 SOS 516841 HAS SOPS 311036 HAS SOUS 55963 HAS SOUPS 32387 WITH SCORE 32903.841
AT ITER 1018 NEW BEST:: SOT 697706 SOS 516972 HAS SOPS 311111 HAS SOUS 55936 HAS SOUPS 32374 WITH SCORE 32890.972
AT ITER 1023 NEW BEST:: SOT 697673 SOS 516906 HAS SOPS 311111 HAS SOUS 55885 HAS SOUPS 32364 WITH SCORE 32880.906
AT ITER 1030 NEW BEST:: SOT 697631 SOS 516388 HAS SOPS 310593 HAS SOUS 55871 HAS SOUPS 32350 WITH SCORE 32866.388
AT ITER 1038 NEW BEST:: SOT 697600 SOS 516326 HAS SOPS 310593 HAS SOUS 55840 HAS SOUPS 32350 WITH SCORE 32866.326
AT ITER 1045 NEW BEST:: SOT 697694 SOS 516609 HAS SOPS 310707 HAS SOUS 55706 HAS SOUPS 32312 WITH SCORE 32828.609
AT ITER 1046 NEW BEST:: SOT 698263 SOS 517820 HAS SOPS 311019 HAS SOUS 55615 HAS SOUPS 32184 WITH SCORE 32701.82
AT ITER 1060 NEW BEST:: SOT 698022 SOS 518553 HAS SOPS 311752 HAS SOUS 55493 HAS SOUPS 32062 WITH SCORE 32580.553
AT ITER 1072 NEW BEST:: SOT 697952 SOS 518392 HAS SOPS 311682 HAS SOUS 55323 HAS SOUPS 31987 WITH SCORE 32505.392
AT ITER 1087 NEW BEST:: SOT 698008 SOS 518462 HAS SOPS 311710 HAS SOUS 55333 HAS SOUPS 31978 WITH SCORE 32496.462
AT ITER 1095 NEW BEST:: SOT 698082 SOS 519240 HAS SOPS 311858 HAS SOUS 55365 HAS SOUPS 31968 WITH SCORE 32487.24
AT ITER 1098 NEW BEST:: SOT 698082 SOS 519179 HAS SOPS 311858 HAS SOUS 55304 HAS SOUPS 31968 WITH SCORE 32487.179
AT ITER 1110 NEW BEST:: SOT 698188 SOS 517892 HAS SOPS 311576 HAS SOUS 55238 HAS SOUPS 31969 WITH SCORE 32486.892
AT ITER 1118 NEW BEST:: SOT 698188 SOS 517892 HAS SOPS 311576 HAS SOUS 55220 HAS SOUPS 31959 WITH SCORE 32476.892
AT ITER 1119 NEW BEST:: SOT 698188 SOS 517892 HAS SOPS 311576 HAS SOUS 55193 HAS SOUPS 31944 WITH SCORE 32461.892
AT ITER 1127 NEW BEST:: SOT 698170 SOS 517865 HAS SOPS 311567 HAS SOUS 55175 HAS SOUPS 31935 WITH SCORE 32452.865
AT ITER 1150 NEW BEST:: SOT 697322 SOS 516911 HAS SOPS 309818 HAS SOUS 55864 HAS SOUPS 31829 WITH SCORE 32345.911
AT ITER 1155 NEW BEST:: SOT 697311 SOS 516889 HAS SOPS 309818 HAS SOUS 55853 HAS SOUPS 31829 WITH SCORE 32345.889
AT ITER 1159 NEW BEST:: SOT 697303 SOS 516859 HAS SOPS 309786 HAS SOUS 55849 HAS SOUPS 31825 WITH SCORE 32341.859
AT ITER 1162 NEW BEST:: SOT 697303 SOS 516067 HAS SOPS 309002 HAS SOUS 55841 HAS SOUPS 31817 WITH SCORE 32333.067
AT ITER 1164 NEW BEST:: SOT 697293 SOS 516372 HAS SOPS 309307 HAS SOUS 55836 HAS SOUPS 31812 WITH SCORE 32328.372
AT ITER 1181 NEW BEST:: SOT 697470 SOS 516838 HAS SOPS 309647 HAS SOUS 55804 HAS SOUPS 31780 WITH SCORE 32296.838
AT ITER 1186 NEW BEST:: SOT 697421 SOS 512820 HAS SOPS 306364 HAS SOUS 55705 HAS SOUPS 31730 WITH SCORE 32242.82
AT ITER 1205 NEW BEST:: SOT 697417 SOS 512812 HAS SOPS 306364 HAS SOUS 55701 HAS SOUPS 31730 WITH SCORE 32242.812
AT ITER 1206 NEW BEST:: SOT 697690 SOS 513046 HAS SOPS 306442 HAS SOUS 55584 HAS SOUPS 31652 WITH SCORE 32165.046
AT ITER 1221 NEW BEST:: SOT 697674 SOS 513014 HAS SOPS 306426 HAS SOUS 55584 HAS SOUPS 31652 WITH SCORE 32165.014
AT ITER 1234 NEW BEST:: SOT 697607 SOS 512813 HAS SOPS 306359 HAS SOUS 55517 HAS SOUPS 31652 WITH SCORE 32164.813
AT ITER 1250 NEW BEST:: SOT 697685 SOS 513049 HAS SOPS 306453 HAS SOUS 55567 HAS SOUPS 31608 WITH SCORE 32121.049
AT ITER 1273 NEW BEST:: SOT 697580 SOS 512773 HAS SOPS 306337 HAS SOUS 55478 HAS SOUPS 31567 WITH SCORE 32079.773
AT ITER 1296 NEW BEST:: SOT 697454 SOS 512521 HAS SOPS 306345 HAS SOUS 55334 HAS SOUPS 31549 WITH SCORE 32061.521
AT ITER 1299 NEW BEST:: SOT 697452 SOS 512907 HAS SOPS 306731 HAS SOUS 55306 HAS SOUPS 31521 WITH SCORE 32033.907
AT ITER 1308 NEW BEST:: SOT 697618 SOS 513112 HAS SOPS 306798 HAS SOUS 55205 HAS SOUPS 31420 WITH SCORE 31933.112
AT ITER 1310 NEW BEST:: SOT 697390 SOS 513610 HAS SOPS 306460 HAS SOUS 55099 HAS SOUPS 31338 WITH SCORE 31851.61
AT ITER 1317 NEW BEST:: SOT 697392 SOS 513592 HAS SOPS 306277 HAS SOUS 55081 HAS SOUPS 31309 WITH SCORE 31822.592
AT ITER 1391 NEW BEST:: SOT 697339 SOS 514517 HAS SOPS 306860 HAS SOUS 54861 HAS SOUPS 31293 WITH SCORE 31807.517
AT ITER 1426 NEW BEST:: SOT 697312 SOS 514428 HAS SOPS 306796 HAS SOUS 54797 HAS SOUPS 31260 WITH SCORE 31774.428
AT ITER 1429 NEW BEST:: SOT 697870 SOS 514733 HAS SOPS 307320 HAS SOUS 54605 HAS SOUPS 31177 WITH SCORE 31691.733
AT ITER 1450 NEW BEST:: SOT 697744 SOS 514607 HAS SOPS 307194 HAS SOUS 54555 HAS SOUPS 31127 WITH SCORE 31641.607
AT ITER 1453 NEW BEST:: SOT 697660 SOS 514523 HAS SOPS 307131 HAS SOUS 54534 HAS SOUPS 31106 WITH SCORE 31620.523
AT ITER 1457 NEW BEST:: SOT 697624 SOS 513075 HAS SOPS 306973 HAS SOUS 54434 HAS SOUPS 31092 WITH SCORE 31605.075
AT ITER 1464 NEW BEST:: SOT 697612 SOS 512883 HAS SOPS 306961 HAS SOUS 54398 HAS SOUPS 31068 WITH SCORE 31580.883
AT ITER 1465 NEW BEST:: SOT 697387 SOS 512415 HAS SOPS 306799 HAS SOUS 54353 HAS SOUPS 31041 WITH SCORE 31553.415
AT ITER 1488 NEW BEST:: SOT 696892 SOS 510041 HAS SOPS 305377 HAS SOUS 54352 HAS SOUPS 31019 WITH SCORE 31529.041
AT ITER 1491 NEW BEST:: SOT 696908 SOS 510145 HAS SOPS 305431 HAS SOUS 54349 HAS SOUPS 31016 WITH SCORE 31526.145
AT ITER 1529 NEW BEST:: SOT 696908 SOS 510054 HAS SOPS 305319 HAS SOUS 54335 HAS SOUPS 31002 WITH SCORE 31512.054
AT ITER 1531 NEW BEST:: SOT 696838 SOS 510004 HAS SOPS 305194 HAS SOUS 54216 HAS SOUPS 30827 WITH SCORE 31337.004
AT ITER 1553 NEW BEST:: SOT 696808 SOS 509958 HAS SOPS 305583 HAS SOUS 54184 HAS SOUPS 30824 WITH SCORE 31333.958
AT ITER 1563 NEW BEST:: SOT 696740 SOS 509924 HAS SOPS 305464 HAS SOUS 53929 HAS SOUPS 30569 WITH SCORE 31078.924
AT ITER 1569 NEW BEST:: SOT 696764 SOS 509992 HAS SOPS 305488 HAS SOUS 53905 HAS SOUPS 30561 WITH SCORE 31070.992
AT ITER 1579 NEW BEST:: SOT 696750 SOS 509970 HAS SOPS 305482 HAS SOUS 53891 HAS SOUPS 30555 WITH SCORE 31064.97
AT ITER 1582 NEW BEST:: SOT 696672 SOS 509852 HAS SOPS 305444 HAS SOUS 53813 HAS SOUPS 30517 WITH SCORE 31026.852
AT ITER 1602 NEW BEST:: SOT 696630 SOS 508508 HAS SOPS 304730 HAS SOUS 53771 HAS SOUPS 30517 WITH SCORE 31025.508
AT ITER 1618 NEW BEST:: SOT 696608 SOS 508533 HAS SOPS 304605 HAS SOUS 53734 HAS SOUPS 30480 WITH SCORE 30988.533
AT ITER 1626 NEW BEST:: SOT 696602 SOS 508525 HAS SOPS 304603 HAS SOUS 53730 HAS SOUPS 30478 WITH SCORE 30986.525
AT ITER 1631 NEW BEST:: SOT 696490 SOS 508349 HAS SOPS 304555 HAS SOUS 53625 HAS SOUPS 30430 WITH SCORE 30938.349
AT ITER 1637 NEW BEST:: SOT 696470 SOS 508020 HAS SOPS 304226 HAS SOUS 53611 HAS SOUPS 30416 WITH SCORE 30924.02
AT ITER 1641 NEW BEST:: SOT 696386 SOS 507893 HAS SOPS 304185 HAS SOUS 53527 HAS SOUPS 30375 WITH SCORE 30882.893
AT ITER 1642 NEW BEST:: SOT 697311 SOS 509591 HAS SOPS 304963 HAS SOUS 53234 HAS SOUPS 30082 WITH SCORE 30591.591
AT ITER 1646 NEW BEST:: SOT 697297 SOS 509563 HAS SOPS 304963 HAS SOUS 53220 HAS SOUPS 30082 WITH SCORE 30591.563
AT ITER 1649 NEW BEST:: SOT 697285 SOS 509527 HAS SOPS 304951 HAS SOUS 53208 HAS SOUPS 30082 WITH SCORE 30591.527
AT ITER 1655 NEW BEST:: SOT 697246 SOS 509475 HAS SOPS 304925 HAS SOUS 53182 HAS SOUPS 30069 WITH SCORE 30578.475
AT ITER 1657 NEW BEST:: SOT 697197 SOS 509377 HAS SOPS 304925 HAS SOUS 53123 HAS SOUPS 30064 WITH SCORE 30573.377
AT ITER 1661 NEW BEST:: SOT 697145 SOS 509715 HAS SOPS 304873 HAS SOUS 53097 HAS SOUPS 30012 WITH SCORE 30521.715
AT ITER 1705 NEW BEST:: SOT 697139 SOS 509705 HAS SOPS 304833 HAS SOUS 53093 HAS SOUPS 30006 WITH SCORE 30515.705
AT ITER 1713 NEW BEST:: SOT 697168 SOS 509756 HAS SOPS 304840 HAS SOUS 53114 HAS SOUPS 30005 WITH SCORE 30514.756
AT ITER 1714 NEW BEST:: SOT 697088 SOS 509676 HAS SOPS 304760 HAS SOUS 53075 HAS SOUPS 29966 WITH SCORE 30475.676
AT ITER 1736 NEW BEST:: SOT 697080 SOS 509660 HAS SOPS 304760 HAS SOUS 53067 HAS SOUPS 29966 WITH SCORE 30475.66
AT ITER 1747 NEW BEST:: SOT 697024 SOS 509578 HAS SOPS 304730 HAS SOUS 53026 HAS SOUPS 29951 WITH SCORE 30460.578
AT ITER 1752 NEW BEST:: SOT 697489 SOS 510211 HAS SOPS 305170 HAS SOUS 52936 HAS SOUPS 29861 WITH SCORE 30371.211
AT ITER 1756 NEW BEST:: SOT 697463 SOS 509893 HAS SOPS 304852 HAS SOUS 52910 HAS SOUPS 29835 WITH SCORE 30344.893
AT ITER 1761 NEW BEST:: SOT 697336 SOS 509723 HAS SOPS 304768 HAS SOUS 52825 HAS SOUPS 29793 WITH SCORE 30302.723
AT ITER 1762 NEW BEST:: SOT 697323 SOS 509697 HAS SOPS 304768 HAS SOUS 52812 HAS SOUPS 29793 WITH SCORE 30302.697
AT ITER 1784 NEW BEST:: SOT 697280 SOS 509611 HAS SOPS 304768 HAS SOUS 52769 HAS SOUPS 29793 WITH SCORE 30302.611
AT ITER 1791 NEW BEST:: SOT 697281 SOS 509548 HAS SOPS 304733 HAS SOUS 52763 HAS SOUPS 29788 WITH SCORE 30297.548
AT ITER 1795 NEW BEST:: SOT 697373 SOS 509640 HAS SOPS 304712 HAS SOUS 52749 HAS SOUPS 29774 WITH SCORE 30283.64
AT ITER 1803 NEW BEST:: SOT 697243 SOS 509536 HAS SOPS 304868 HAS SOUS 52307 HAS SOUPS 29722 WITH SCORE 30231.536
AT ITER 1806 NEW BEST:: SOT 697183 SOS 509482 HAS SOPS 304826 HAS SOUS 52307 HAS SOUPS 29717 WITH SCORE 30226.482
AT ITER 1825 NEW BEST:: SOT 697392 SOS 509710 HAS SOPS 304940 HAS SOUS 52281 HAS SOUPS 29691 WITH SCORE 30200.71
AT ITER 1826 NEW BEST:: SOT 697416 SOS 509734 HAS SOPS 304954 HAS SOUS 52279 HAS SOUPS 29689 WITH SCORE 30198.734
AT ITER 1845 NEW BEST:: SOT 697416 SOS 509788 HAS SOPS 304954 HAS SOUS 52279 HAS SOUPS 29671 WITH SCORE 30180.788
AT ITER 1895 NEW BEST:: SOT 697502 SOS 510090 HAS SOPS 305054 HAS SOUS 52213 HAS SOUPS 29653 WITH SCORE 30163.09
AT ITER 1905 NEW BEST:: SOT 697439 SOS 511180 HAS SOPS 305128 HAS SOUS 52194 HAS SOUPS 29620 WITH SCORE 30131.18
AT ITER 1906 NEW BEST:: SOT 697451 SOS 511102 HAS SOPS 305140 HAS SOUS 52188 HAS SOUPS 29620 WITH SCORE 30131.102
AT ITER 1908 NEW BEST:: SOT 697409 SOS 511046 HAS SOPS 305112 HAS SOUS 52160 HAS SOUPS 29606 WITH SCORE 30117.046
AT ITER 1967 NEW BEST:: SOT 697420 SOS 510859 HAS SOPS 305090 HAS SOUS 52149 HAS SOUPS 29606 WITH SCORE 30116.859
AT ITER 1970 NEW BEST:: SOT 696773 SOS 508997 HAS SOPS 304483 HAS SOUS 52069 HAS SOUPS 29585 WITH SCORE 30093.997
AT ITER 1977 NEW BEST:: SOT 696463 SOS 504909 HAS SOPS 301421 HAS SOUS 52000 HAS SOUPS 29536 WITH SCORE 30040.909
AT ITER 1983 NEW BEST:: SOT 696351 SOS 504789 HAS SOPS 301349 HAS SOUS 51992 HAS SOUPS 29528 WITH SCORE 30032.789
AT ITER 2003 NEW BEST:: SOT 696369 SOS 503902 HAS SOPS 300476 HAS SOUS 51957 HAS SOUPS 29521 WITH SCORE 30024.902
AT ITER 2021 NEW BEST:: SOT 696305 SOS 503806 HAS SOPS 300444 HAS SOUS 51893 HAS SOUPS 29489 WITH SCORE 29992.806
AT ITER 2026 NEW BEST:: SOT 696299 SOS 503755 HAS SOPS 300393 HAS SOUS 51893 HAS SOUPS 29489 WITH SCORE 29992.755
AT ITER 2032 NEW BEST:: SOT 696473 SOS 504643 HAS SOPS 300933 HAS SOUS 51167 HAS SOUPS 29369 WITH SCORE 29873.643
AT ITER 2036 NEW BEST:: SOT 696403 SOS 504505 HAS SOPS 300931 HAS SOUS 51097 HAS SOUPS 29367 WITH SCORE 29871.505
AT ITER 2043 NEW BEST:: SOT 696319 SOS 504421 HAS SOPS 300875 HAS SOUS 51059 HAS SOUPS 29329 WITH SCORE 29833.421
AT ITER 2048 NEW BEST:: SOT 696828 SOS 505829 HAS SOPS 301224 HAS SOUS 51064 HAS SOUPS 29323 WITH SCORE 29828.829
AT ITER 2059 NEW BEST:: SOT 696806 SOS 505785 HAS SOPS 301224 HAS SOUS 51042 HAS SOUPS 29323 WITH SCORE 29828.785
AT ITER 2078 NEW BEST:: SOT 697113 SOS 506383 HAS SOPS 301240 HAS SOUS 51193 HAS SOUPS 29322 WITH SCORE 29828.383
AT ITER 2106 NEW BEST:: SOT 697096 SOS 505554 HAS SOPS 301476 HAS SOUS 51100 HAS SOUPS 29300 WITH SCORE 29805.554
AT ITER 2107 NEW BEST:: SOT 697120 SOS 505584 HAS SOPS 301491 HAS SOUS 51094 HAS SOUPS 29294 WITH SCORE 29799.584
AT ITER 2127 NEW BEST:: SOT 697014 SOS 506858 HAS SOPS 302859 HAS SOUS 51081 HAS SOUPS 29281 WITH SCORE 29787.858
AT ITER 2146 NEW BEST:: SOT 696854 SOS 506588 HAS SOPS 302737 HAS SOUS 51037 HAS SOUPS 29237 WITH SCORE 29743.588
AT ITER 2170 NEW BEST:: SOT 696854 SOS 506588 HAS SOPS 302737 HAS SOUS 51034 HAS SOUPS 29235 WITH SCORE 29741.588
AT ITER 2183 NEW BEST:: SOT 696847 SOS 506574 HAS SOPS 302730 HAS SOUS 51022 HAS SOUPS 29230 WITH SCORE 29736.574
AT ITER 2193 NEW BEST:: SOT 696697 SOS 506362 HAS SOPS 302642 HAS SOUS 50924 HAS SOUPS 29191 WITH SCORE 29697.362
AT ITER 2199 NEW BEST:: SOT 696583 SOS 504776 HAS SOPS 301971 HAS SOUS 50848 HAS SOUPS 29176 WITH SCORE 29680.776
AT ITER 2208 NEW BEST:: SOT 696372 SOS 504542 HAS SOPS 301578 HAS SOUS 50485 HAS SOUPS 28836 WITH SCORE 29340.542
AT ITER 2245 NEW BEST:: SOT 696358 SOS 504514 HAS SOPS 301564 HAS SOUS 50457 HAS SOUPS 28822 WITH SCORE 29326.514
AT ITER 2257 NEW BEST:: SOT 696385 SOS 504568 HAS SOPS 301564 HAS SOUS 50476 HAS SOUPS 28817 WITH SCORE 29321.568
AT ITER 2267 NEW BEST:: SOT 696389 SOS 504475 HAS SOPS 301475 HAS SOUS 50470 HAS SOUPS 28811 WITH SCORE 29315.475
AT ITER 2270 NEW BEST:: SOT 695289 SOS 501053 HAS SOPS 300256 HAS SOUS 50433 HAS SOUPS 28811 WITH SCORE 29312.053
AT ITER 2278 NEW BEST:: SOT 695204 SOS 499383 HAS SOPS 300198 HAS SOUS 50288 HAS SOUPS 28774 WITH SCORE 29273.383
AT ITER 2292 NEW BEST:: SOT 695162 SOS 499341 HAS SOPS 300198 HAS SOUS 50242 HAS SOUPS 28728 WITH SCORE 29227.341
AT ITER 2334 NEW BEST:: SOT 695105 SOS 499297 HAS SOPS 300160 HAS SOUS 50179 HAS SOUPS 28652 WITH SCORE 29151.297
AT ITER 2348 NEW BEST:: SOT 695081 SOS 499093 HAS SOPS 300136 HAS SOUS 50143 HAS SOUPS 28628 WITH SCORE 29127.093
AT ITER 2360 NEW BEST:: SOT 695185 SOS 499217 HAS SOPS 300200 HAS SOUS 50139 HAS SOUPS 28624 WITH SCORE 29123.217
AT ITER 2375 NEW BEST:: SOT 695068 SOS 499102 HAS SOPS 299677 HAS SOUS 50007 HAS SOUPS 28491 WITH SCORE 28990.102
AT ITER 2381 NEW BEST:: SOT 695141 SOS 494953 HAS SOPS 295528 HAS SOUS 49898 HAS SOUPS 28382 WITH SCORE 28876.953
AT ITER 2388 NEW BEST:: SOT 695230 SOS 495522 HAS SOPS 296097 HAS SOUS 49866 HAS SOUPS 28350 WITH SCORE 28845.522
AT ITER 2396 NEW BEST:: SOT 695263 SOS 495588 HAS SOPS 296097 HAS SOUS 49891 HAS SOUPS 28345 WITH SCORE 28840.588
AT ITER 2406 NEW BEST:: SOT 695256 SOS 495574 HAS SOPS 296097 HAS SOUS 49884 HAS SOUPS 28345 WITH SCORE 28840.574
AT ITER 2427 NEW BEST:: SOT 695217 SOS 494536 HAS SOPS 295689 HAS SOUS 49820 HAS SOUPS 28323 WITH SCORE 28817.536
AT ITER 2436 NEW BEST:: SOT 695212 SOS 494026 HAS SOPS 295179 HAS SOUS 49687 HAS SOUPS 28190 WITH SCORE 28684.026
AT ITER 2509 NEW BEST:: SOT 694864 SOS 493649 HAS SOPS 294947 HAS SOUS 49687 HAS SOUPS 28190 WITH SCORE 28683.649
AT ITER 2522 NEW BEST:: SOT 694789 SOS 493603 HAS SOPS 295059 HAS SOUS 49622 HAS SOUPS 28177 WITH SCORE 28670.603
AT ITER 2530 NEW BEST:: SOT 693738 SOS 489137 HAS SOPS 290556 HAS SOUS 49600 HAS SOUPS 28062 WITH SCORE 28551.137
AT ITER 2538 NEW BEST:: SOT 693833 SOS 489311 HAS SOPS 290572 HAS SOUS 49632 HAS SOUPS 28043 WITH SCORE 28532.311
AT ITER 2565 NEW BEST:: SOT 693801 SOS 489279 HAS SOPS 290540 HAS SOUS 49608 HAS SOUPS 28019 WITH SCORE 28508.279
AT ITER 2573 NEW BEST:: SOT 693795 SOS 489499 HAS SOPS 290758 HAS SOUS 49569 HAS SOUPS 27980 WITH SCORE 28469.499
AT ITER 2624 NEW BEST:: SOT 693997 SOS 490179 HAS SOPS 290978 HAS SOUS 49339 HAS SOUPS 27952 WITH SCORE 28442.179
AT ITER 2629 NEW BEST:: SOT 694047 SOS 490229 HAS SOPS 290973 HAS SOUS 49352 HAS SOUPS 27941 WITH SCORE 28431.229
AT ITER 2635 NEW BEST:: SOT 693981 SOS 491593 HAS SOPS 291665 HAS SOUS 49332 HAS SOUPS 27921 WITH SCORE 28412.593
AT ITER 2638 NEW BEST:: SOT 693981 SOS 491593 HAS SOPS 291665 HAS SOUS 49287 HAS SOUPS 27876 WITH SCORE 28367.593
AT ITER 2648 NEW BEST:: SOT 693986 SOS 491533 HAS SOPS 291665 HAS SOUS 49287 HAS SOUPS 27876 WITH SCORE 28367.533
AT ITER 2653 NEW BEST:: SOT 693776 SOS 491053 HAS SOPS 291275 HAS SOUS 49257 HAS SOUPS 27846 WITH SCORE 28337.053
AT ITER 2659 NEW BEST:: SOT 693793 SOS 490796 HAS SOPS 291153 HAS SOUS 49225 HAS SOUPS 27825 WITH SCORE 28315.796
AT ITER 2673 NEW BEST:: SOT 693774 SOS 490758 HAS SOPS 291153 HAS SOUS 49206 HAS SOUPS 27825 WITH SCORE 28315.758
AT ITER 2679 NEW BEST:: SOT 693825 SOS 490860 HAS SOPS 291153 HAS SOUS 49177 HAS SOUPS 27775 WITH SCORE 28265.86
AT ITER 2683 NEW BEST:: SOT 693845 SOS 490910 HAS SOPS 291165 HAS SOUS 49177 HAS SOUPS 27773 WITH SCORE 28263.91
AT ITER 2728 NEW BEST:: SOT 693715 SOS 490770 HAS SOPS 291085 HAS SOUS 49177 HAS SOUPS 27773 WITH SCORE 28263.77
AT ITER 2731 NEW BEST:: SOT 693715 SOS 490980 HAS SOPS 291295 HAS SOUS 49153 HAS SOUPS 27749 WITH SCORE 28239.98
AT ITER 2741 NEW BEST:: SOT 693656 SOS 490430 HAS SOPS 290717 HAS SOUS 49109 HAS SOUPS 27705 WITH SCORE 28195.43
AT ITER 2778 NEW BEST:: SOT 693637 SOS 490392 HAS SOPS 290679 HAS SOUS 49105 HAS SOUPS 27701 WITH SCORE 28191.392
AT ITER 2799 NEW BEST:: SOT 693612 SOS 490342 HAS SOPS 290679 HAS SOUS 49080 HAS SOUPS 27701 WITH SCORE 28191.342
AT ITER 2824 NEW BEST:: SOT 693612 SOS 490342 HAS SOPS 290679 HAS SOUS 49053 HAS SOUPS 27686 WITH SCORE 28176.342
AT ITER 2876 NEW BEST:: SOT 693600 SOS 489868 HAS SOPS 290205 HAS SOUS 49011 HAS SOUPS 27644 WITH SCORE 28133.868
AT ITER 2888 NEW BEST:: SOT 692837 SOS 487757 HAS SOPS 289580 HAS SOUS 48970 HAS SOUPS 27643 WITH SCORE 28130.757
AT ITER 2891 NEW BEST:: SOT 692359 SOS 486620 HAS SOPS 288658 HAS SOUS 48891 HAS SOUPS 27564 WITH SCORE 28050.62
AT ITER 2895 NEW BEST:: SOT 692333 SOS 486238 HAS SOPS 288486 HAS SOUS 48871 HAS SOUPS 27558 WITH SCORE 28044.238
AT ITER 2896 NEW BEST:: SOT 692310 SOS 486202 HAS SOPS 288300 HAS SOUS 48865 HAS SOUPS 27542 WITH SCORE 28028.202
AT ITER 2942 NEW BEST:: SOT 692051 SOS 483055 HAS SOPS 286767 HAS SOUS 48829 HAS SOUPS 27519 WITH SCORE 28002.055
AT ITER 2951 NEW BEST:: SOT 692051 SOS 483055 HAS SOPS 286767 HAS SOUS 48784 HAS SOUPS 27494 WITH SCORE 27977.055
AT ITER 2987 NEW BEST:: SOT 692050 SOS 483053 HAS SOPS 286767 HAS SOUS 48783 HAS SOUPS 27494 WITH SCORE 27977.053
AT ITER 2995 NEW BEST:: SOT 692037 SOS 482747 HAS SOPS 286461 HAS SOUS 48778 HAS SOUPS 27489 WITH SCORE 27971.747
AT ITER 3000 NEW BEST:: SOT 692020 SOS 482713 HAS SOPS 286461 HAS SOUS 48761 HAS SOUPS 27489 WITH SCORE 27971.713
AT ITER 3001 NEW BEST:: SOT 691995 SOS 482647 HAS SOPS 286436 HAS SOUS 48695 HAS SOUPS 27464 WITH SCORE 27946.647
AT ITER 3027 NEW BEST:: SOT 691967 SOS 482631 HAS SOPS 286436 HAS SOUS 48707 HAS SOUPS 27464 WITH SCORE 27946.631
AT ITER 3038 NEW BEST:: SOT 691962 SOS 482658 HAS SOPS 286432 HAS SOUS 48696 HAS SOUPS 27455 WITH SCORE 27937.658
AT ITER 3064 NEW BEST:: SOT 691959 SOS 482655 HAS SOPS 286429 HAS SOUS 48693 HAS SOUPS 27452 WITH SCORE 27934.655
AT ITER 3072 NEW BEST:: SOT 691955 SOS 482653 HAS SOPS 286427 HAS SOUS 48693 HAS SOUPS 27452 WITH SCORE 27934.653
AT ITER 3079 NEW BEST:: SOT 691248 SOS 482152 HAS SOPS 285877 HAS SOUS 48740 HAS SOUPS 27417 WITH SCORE 27899.152
AT ITER 3101 NEW BEST:: SOT 691344 SOS 482782 HAS SOPS 286315 HAS SOUS 48022 HAS SOUPS 27271 WITH SCORE 27753.782
AT ITER 3130 NEW BEST:: SOT 691341 SOS 482776 HAS SOPS 286315 HAS SOUS 48019 HAS SOUPS 27271 WITH SCORE 27753.776
AT ITER 3163 NEW BEST:: SOT 691325 SOS 482664 HAS SOPS 286299 HAS SOUS 48011 HAS SOUPS 27271 WITH SCORE 27753.664
AT ITER 3188 NEW BEST:: SOT 691008 SOS 481766 HAS SOPS 285401 HAS SOUS 48024 HAS SOUPS 27240 WITH SCORE 27721.766
AT ITER 3189 NEW BEST:: SOT 691059 SOS 481769 HAS SOPS 285310 HAS SOUS 48003 HAS SOUPS 27231 WITH SCORE 27712.769
AT ITER 3190 NEW BEST:: SOT 691149 SOS 481877 HAS SOPS 285364 HAS SOUS 47994 HAS SOUPS 27222 WITH SCORE 27703.877
AT ITER 3229 NEW BEST:: SOT 691131 SOS 482121 HAS SOPS 285308 HAS SOUS 47959 HAS SOUPS 27167 WITH SCORE 27649.121
AT ITER 3250 NEW BEST:: SOT 690755 SOS 480732 HAS SOPS 284595 HAS SOUS 47877 HAS SOUPS 27125 WITH SCORE 27605.732
AT ITER 3282 NEW BEST:: SOT 690747 SOS 480604 HAS SOPS 284467 HAS SOUS 47869 HAS SOUPS 27117 WITH SCORE 27597.604
AT ITER 3301 NEW BEST:: SOT 690744 SOS 480541 HAS SOPS 284435 HAS SOUS 47837 HAS SOUPS 27115 WITH SCORE 27595.541
AT ITER 3339 NEW BEST:: SOT 692838 SOS 484796 HAS SOPS 285855 HAS SOUS 47839 HAS SOUPS 27104 WITH SCORE 27588.796
AT ITER 3376 NEW BEST:: SOT 692770 SOS 484728 HAS SOPS 285787 HAS SOUS 47793 HAS SOUPS 27058 WITH SCORE 27542.728
AT ITER 3392 NEW BEST:: SOT 692680 SOS 484494 HAS SOPS 285733 HAS SOUS 47784 HAS SOUPS 27058 WITH SCORE 27542.494
AT ITER 3403 NEW BEST:: SOT 692548 SOS 484108 HAS SOPS 285567 HAS SOUS 47716 HAS SOUPS 27034 WITH SCORE 27518.108
AT ITER 3444 NEW BEST:: SOT 692482 SOS 484127 HAS SOPS 285475 HAS SOUS 47672 HAS SOUPS 26995 WITH SCORE 27479.127
AT ITER 3450 NEW BEST:: SOT 693099 SOS 484868 HAS SOPS 285906 HAS SOUS 47669 HAS SOUPS 26992 WITH SCORE 27476.868
AT ITER 3528 NEW BEST:: SOT 693347 SOS 485133 HAS SOPS 286045 HAS SOUS 47666 HAS SOUPS 26989 WITH SCORE 27474.133
AT ITER 3535 NEW BEST:: SOT 693334 SOS 485088 HAS SOPS 286021 HAS SOUS 47663 HAS SOUPS 26987 WITH SCORE 27472.088
AT ITER 3539 NEW BEST:: SOT 693380 SOS 485102 HAS SOPS 286035 HAS SOUS 47638 HAS SOUPS 26962 WITH SCORE 27447.102
AT ITER 3561 NEW BEST:: SOT 693380 SOS 485102 HAS SOPS 286035 HAS SOUS 47622 HAS SOUPS 26946 WITH SCORE 27431.102
AT ITER 3590 NEW BEST:: SOT 693358 SOS 484903 HAS SOPS 285948 HAS SOUS 47611 HAS SOUPS 26935 WITH SCORE 27419.903
AT ITER 3596 NEW BEST:: SOT 693350 SOS 484323 HAS SOPS 285896 HAS SOUS 47593 HAS SOUPS 26917 WITH SCORE 27401.323
AT ITER 3601 NEW BEST:: SOT 693458 SOS 484525 HAS SOPS 286054 HAS SOUS 47583 HAS SOUPS 26913 WITH SCORE 27397.525
AT ITER 3610 NEW BEST:: SOT 693446 SOS 484501 HAS SOPS 286048 HAS SOUS 47577 HAS SOUPS 26913 WITH SCORE 27397.501
AT ITER 3629 NEW BEST:: SOT 693516 SOS 484179 HAS SOPS 286028 HAS SOUS 47520 HAS SOUPS 26906 WITH SCORE 27390.179
AT ITER 3672 NEW BEST:: SOT 693498 SOS 484979 HAS SOPS 286608 HAS SOUS 47502 HAS SOUPS 26888 WITH SCORE 27372.979
AT ITER 3683 NEW BEST:: SOT 693004 SOS 483801 HAS SOPS 285620 HAS SOUS 47426 HAS SOUPS 26812 WITH SCORE 27295.801
AT ITER 3744 NEW BEST:: SOT 692989 SOS 484779 HAS SOPS 286130 HAS SOUS 47411 HAS SOUPS 26797 WITH SCORE 27281.779
AT ITER 3752 NEW BEST:: SOT 693013 SOS 484825 HAS SOPS 286143 HAS SOUS 47415 HAS SOUPS 26794 WITH SCORE 27278.825
AT ITER 3814 NEW BEST:: SOT 693003 SOS 484815 HAS SOPS 286143 HAS SOUS 47415 HAS SOUPS 26794 WITH SCORE 27278.815
AT ITER 3819 NEW BEST:: SOT 693030 SOS 484821 HAS SOPS 286139 HAS SOUS 47390 HAS SOUPS 26790 WITH SCORE 27274.821
AT ITER 3847 NEW BEST:: SOT 692887 SOS 484665 HAS SOPS 286048 HAS SOUS 47385 HAS SOUPS 26785 WITH SCORE 27269.665
AT ITER 3851 NEW BEST:: SOT 692953 SOS 480602 HAS SOPS 281985 HAS SOUS 47374 HAS SOUPS 26774 WITH SCORE 27254.602
AT ITER 3860 NEW BEST:: SOT 692953 SOS 480602 HAS SOPS 281985 HAS SOUS 47347 HAS SOUPS 26759 WITH SCORE 27239.602
AT ITER 3867 NEW BEST:: SOT 692687 SOS 479500 HAS SOPS 281333 HAS SOUS 47291 HAS SOUPS 26703 WITH SCORE 27182.5
AT ITER 3870 NEW BEST:: SOT 692593 SOS 479852 HAS SOPS 280710 HAS SOUS 47327 HAS SOUPS 26674 WITH SCORE 27153.852
AT ITER 3907 NEW BEST:: SOT 692602 SOS 479870 HAS SOPS 280710 HAS SOUS 47334 HAS SOUPS 26672 WITH SCORE 27151.87
AT ITER 3911 NEW BEST:: SOT 692626 SOS 479918 HAS SOPS 280710 HAS SOUS 47350 HAS SOUPS 26667 WITH SCORE 27146.918
AT ITER 3934 NEW BEST:: SOT 692365 SOS 479275 HAS SOPS 280146 HAS SOUS 47358 HAS SOUPS 26652 WITH SCORE 27131.275
AT ITER 3940 NEW BEST:: SOT 692247 SOS 479139 HAS SOPS 280070 HAS SOUS 47352 HAS SOUPS 26646 WITH SCORE 27125.139
AT ITER 4002 NEW BEST:: SOT 692230 SOS 479040 HAS SOPS 280027 HAS SOUS 47309 HAS SOUPS 26644 WITH SCORE 27123.04
AT ITER 4065 NEW BEST:: SOT 692235 SOS 479120 HAS SOPS 280042 HAS SOUS 47309 HAS SOUPS 26639 WITH SCORE 27118.12
AT ITER 4076 NEW BEST:: SOT 692232 SOS 479117 HAS SOPS 280042 HAS SOUS 47303 HAS SOUPS 26633 WITH SCORE 27112.117
AT ITER 4090 NEW BEST:: SOT 692220 SOS 479034 HAS SOPS 279959 HAS SOUS 47294 HAS SOUPS 26624 WITH SCORE 27103.034
AT ITER 4185 NEW BEST:: SOT 692222 SOS 479037 HAS SOPS 279960 HAS SOUS 47294 HAS SOUPS 26623 WITH SCORE 27102.037
AT ITER 4217 NEW BEST:: SOT 692208 SOS 479030 HAS SOPS 279953 HAS SOUS 47294 HAS SOUPS 26623 WITH SCORE 27102.03
AT ITER 4226 NEW BEST:: SOT 692175 SOS 478964 HAS SOPS 279953 HAS SOUS 47261 HAS SOUPS 26623 WITH SCORE 27101.964
AT ITER 4239 NEW BEST:: SOT 692198 SOS 478978 HAS SOPS 279946 HAS SOUS 47245 HAS SOUPS 26616 WITH SCORE 27094.978
AT ITER 4254 NEW BEST:: SOT 692198 SOS 478978 HAS SOPS 279946 HAS SOUS 47218 HAS SOUPS 26601 WITH SCORE 27079.978
AT ITER 4269 NEW BEST:: SOT 692234 SOS 479086 HAS SOPS 279964 HAS SOUS 47215 HAS SOUPS 26583 WITH SCORE 27062.086
AT ITER 4285 NEW BEST:: SOT 692039 SOS 478700 HAS SOPS 279634 HAS SOUS 47166 HAS SOUPS 26534 WITH SCORE 27012.7
AT ITER 4299 NEW BEST:: SOT 692038 SOS 478460 HAS SOPS 279394 HAS SOUS 47165 HAS SOUPS 26533 WITH SCORE 27011.46
AT ITER 4309 NEW BEST:: SOT 692024 SOS 478432 HAS SOPS 279394 HAS SOUS 47151 HAS SOUPS 26533 WITH SCORE 27011.432
AT ITER 4319 NEW BEST:: SOT 691943 SOS 478225 HAS SOPS 279196 HAS SOUS 47151 HAS SOUPS 26524 WITH SCORE 27002.225
AT ITER 4374 NEW BEST:: SOT 691952 SOS 478303 HAS SOPS 279247 HAS SOUS 47142 HAS SOUPS 26521 WITH SCORE 26999.303
AT ITER 4376 NEW BEST:: SOT 692002 SOS 478353 HAS SOPS 279247 HAS SOUS 47133 HAS SOUPS 26516 WITH SCORE 26994.353
AT ITER 4379 NEW BEST:: SOT 692002 SOS 478353 HAS SOPS 279247 HAS SOUS 47124 HAS SOUPS 26511 WITH SCORE 26989.353
AT ITER 4387 NEW BEST:: SOT 691947 SOS 478288 HAS SOPS 279207 HAS SOUS 47124 HAS SOUPS 26511 WITH SCORE 26989.288
AT ITER 4390 NEW BEST:: SOT 691906 SOS 478023 HAS SOPS 279131 HAS SOUS 47101 HAS SOUPS 26488 WITH SCORE 26966.023
AT ITER 4395 NEW BEST:: SOT 691896 SOS 477955 HAS SOPS 279063 HAS SOUS 47093 HAS SOUPS 26480 WITH SCORE 26957.955
AT ITER 4420 NEW BEST:: SOT 691887 SOS 477937 HAS SOPS 279054 HAS SOUS 47075 HAS SOUPS 26471 WITH SCORE 26948.937
AT ITER 4429 NEW BEST:: SOT 692603 SOS 480375 HAS SOPS 280028 HAS SOUS 46164 HAS SOUPS 26240 WITH SCORE 26720.375
AT ITER 4462 NEW BEST:: SOT 692610 SOS 480355 HAS SOPS 280008 HAS SOUS 46141 HAS SOUPS 26227 WITH SCORE 26707.355
AT ITER 4463 NEW BEST:: SOT 692610 SOS 480271 HAS SOPS 280014 HAS SOUS 46135 HAS SOUPS 26227 WITH SCORE 26707.271
AT ITER 4477 NEW BEST:: SOT 692555 SOS 480216 HAS SOPS 280014 HAS SOUS 46135 HAS SOUPS 26227 WITH SCORE 26707.216
AT ITER 4500 NEW BEST:: SOT 692510 SOS 480171 HAS SOPS 280014 HAS SOUS 46135 HAS SOUPS 26227 WITH SCORE 26707.171
AT ITER 4531 NEW BEST:: SOT 692484 SOS 480131 HAS SOPS 280002 HAS SOUS 46109 HAS SOUPS 26215 WITH SCORE 26695.131
AT ITER 4566 NEW BEST:: SOT 692418 SOS 479973 HAS SOPS 279889 HAS SOUS 46054 HAS SOUPS 26180 WITH SCORE 26659.973
AT ITER 4571 NEW BEST:: SOT 692418 SOS 479973 HAS SOPS 279889 HAS SOUS 46018 HAS SOUPS 26160 WITH SCORE 26639.973
AT ITER 4577 NEW BEST:: SOT 692516 SOS 480248 HAS SOPS 279947 HAS SOUS 46028 HAS SOUPS 26132 WITH SCORE 26612.248
AT ITER 4643 NEW BEST:: SOT 691845 SOS 479634 HAS SOPS 279496 HAS SOUS 46023 HAS SOUPS 26119 WITH SCORE 26598.634
AT ITER 4654 NEW BEST:: SOT 691614 SOS 479046 HAS SOPS 279328 HAS SOUS 45981 HAS SOUPS 26098 WITH SCORE 26577.046
AT ITER 4676 NEW BEST:: SOT 691623 SOS 479171 HAS SOPS 279708 HAS SOUS 45945 HAS SOUPS 26079 WITH SCORE 26558.171
AT ITER 4700 NEW BEST:: SOT 691620 SOS 479201 HAS SOPS 279706 HAS SOUS 45937 HAS SOUPS 26072 WITH SCORE 26551.201
AT ITER 4728 NEW BEST:: SOT 691677 SOS 479258 HAS SOPS 279706 HAS SOUS 45883 HAS SOUPS 26042 WITH SCORE 26521.258
AT ITER 4734 NEW BEST:: SOT 691689 SOS 478898 HAS SOPS 279526 HAS SOUS 45859 HAS SOUPS 26030 WITH SCORE 26508.898
AT ITER 4785 NEW BEST:: SOT 691686 SOS 478847 HAS SOPS 279550 HAS SOUS 45848 HAS SOUPS 26024 WITH SCORE 26502.847
AT ITER 4794 NEW BEST:: SOT 691222 SOS 477139 HAS SOPS 278622 HAS SOUS 45739 HAS SOUPS 25954 WITH SCORE 26431.139
AT ITER 4803 NEW BEST:: SOT 691276 SOS 477193 HAS SOPS 278622 HAS SOUS 45712 HAS SOUPS 25939 WITH SCORE 26416.193
AT ITER 4814 NEW BEST:: SOT 691222 SOS 477429 HAS SOPS 278854 HAS SOUS 45694 HAS SOUPS 25921 WITH SCORE 26398.429
AT ITER 4930 NEW BEST:: SOT 691222 SOS 477429 HAS SOPS 278854 HAS SOUS 45595 HAS SOUPS 25866 WITH SCORE 26343.429
AT ITER 4972 NEW BEST:: SOT 691212 SOS 477497 HAS SOPS 278928 HAS SOUS 45585 HAS SOUPS 25859 WITH SCORE 26336.497
AT ITER 4985 NEW BEST:: SOT 691228 SOS 477305 HAS SOPS 278688 HAS SOUS 45585 HAS SOUPS 25859 WITH SCORE 26336.305
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-11a-CTLCardinality-00 ( (AG( ( potential( ( 3 ) <= (tk(P100)) ) | ( potential( (tk(P365)) <= (tk(P312)) ) | potential( (tk(P47)) <= (tk(P3)) ) ) ))) | (! ( potential( (tk(P272)) <= (tk(P224)) ) & potential( (tk(P260)) <= (tk(P10)) ) )) )
PROPERTY: DLCround-PT-11a-CTLCardinality-01 ( ( ( ( ( potential( ( 3 ) <= (tk(P174)) ) & potential( (tk(P281)) <= (tk(P303)) ) ) & ( potential( (tk(P87)) <= (tk(P322)) ) & potential( ( 2 ) <= (tk(P325)) ) ) ) & (AX( potential( ( 3 ) <= (tk(P176)) ))) ) | (AX( (! potential( (tk(P168)) <= (tk(P262)) )))) ) | (AG( ( ( potential( (tk(P245)) <= (tk(P26)) ) & potential( ( 2 ) <= (tk(P25)) ) ) | (! potential( ( 2 ) <= (tk(P248)) )) ))) )
PROPERTY: DLCround-PT-11a-CTLCardinality-02 (EU( (AF(potential( (tk(P263)) <= (tk(P69)) ))),( (! potential( (tk(P23)) <= (tk(P106)) )) & potential( (tk(P129)) <= (tk(P141)) ) ) ))
PROPERTY: DLCround-PT-11a-CTLCardinality-03 (AG( (! ( (! potential( ( 3 ) <= (tk(P72)) )) & potential( ( 2 ) <= (tk(P343)) ) ))))
PROPERTY: DLCround-PT-11a-CTLCardinality-04 (EU( (! ( potential( (tk(P356)) <= (tk(P39)) ) | potential( ( 1 ) <= (tk(P63)) ) )),(AG( potential( (tk(P360)) <= (tk(P283)) ))) ))
PROPERTY: DLCround-PT-11a-CTLCardinality-05 ( (! ( (AG( potential( (tk(P76)) <= (tk(P217)) ))) | (EF(potential( ( 3 ) <= (tk(P244)) ))) )) & (AF((AX( potential( (tk(P51)) <= (tk(P241)) ))))) )
PROPERTY: DLCround-PT-11a-CTLCardinality-06 (! (AG( (! (! potential( (tk(P66)) <= (tk(P159)) ))))))
PROPERTY: DLCround-PT-11a-CTLCardinality-07 (AF(( (EF(potential( ( 2 ) <= (tk(P116)) ))) & potential( (tk(P355)) <= (tk(P151)) ) )))
PROPERTY: DLCround-PT-11a-CTLCardinality-08 ( (AG( ( ( potential( (tk(P11)) <= (tk(P187)) ) & potential( (tk(P90)) <= (tk(P154)) ) ) | ( potential( (tk(P324)) <= (tk(P341)) ) | potential( ( 2 ) <= (tk(P16)) ) ) ))) | (AX( (! ( potential( ( 1 ) <= (tk(P94)) ) | potential( (tk(P147)) <= (tk(P198)) ) )))) )
PROPERTY: DLCround-PT-11a-CTLCardinality-09 ( (AG( (AX( potential( ( 2 ) <= (tk(P324)) ))))) | (EG( (EF(potential( ( 2 ) <= (tk(P123)) ))))) )
PROPERTY: DLCround-PT-11a-CTLCardinality-10 (EF(( potential( ( 2 ) <= (tk(P179)) ) | (EF(potential( ( 2 ) <= (tk(P59)) ))) )))
PROPERTY: DLCround-PT-11a-CTLCardinality-11 (EF(( (! ( potential( (tk(P75)) <= (tk(P96)) ) & potential( (tk(P267)) <= (tk(P202)) ) )) | ( (! potential( (tk(P78)) <= (tk(P173)) )) & (! potential( (tk(P231)) <= (tk(P70)) )) ) )))
PROPERTY: DLCround-PT-11a-CTLCardinality-12 (AX( (AG( ( potential( (tk(P308)) <= (tk(P254)) ) | potential( ( 1 ) <= (tk(P289)) ) )))))
PROPERTY: DLCround-PT-11a-CTLCardinality-13 (EG( (EF(potential( ( 2 ) <= (tk(P162)) )))))
PROPERTY: DLCround-PT-11a-CTLCardinality-14 (EF((AG( (! potential( ( 1 ) <= (tk(P296)) ))))))
PROPERTY: DLCround-PT-11a-CTLCardinality-15 (AU( ( ( potential( ( 1 ) <= (tk(P332)) ) | potential( ( 2 ) <= (tk(P291)) ) ) | potential( (tk(P278)) <= (tk(P370)) ) ),(AG( potential( (tk(P176)) <= (tk(P377)) ))) ))

BK_STOP 1589132337326

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 487 Aborted ${SMART} ${INPUT_SM}

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="DLCround-PT-11a"
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 DLCround-PT-11a, 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 r048-ebro-158902542400579"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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