Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200595.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-19, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200595
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.3K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 189K 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 BusinessProcesses-PT-19-CTLCardinality-00
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-01
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-02
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-03
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-04
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-05
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-06
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-07
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-08
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-09
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-10
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-11
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-12
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-13
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-14
FORMULA_NAME BusinessProcesses-PT-19-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590869263600

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 19
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: 772 places, 685 transitions, 1981 arcs.
AT ITER 0 NEW BEST:: SOT 336519 SOS 127778 HAS SOPS 127778 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124653.778
AT ITER 8 NEW BEST:: SOT 332571 SOS 125719 HAS SOPS 125719 HAS SOUS 121057 HAS SOUPS 121057 WITH SCORE 121182.719
AT ITER 11 NEW BEST:: SOT 332570 SOS 125717 HAS SOPS 125717 HAS SOUS 121055 HAS SOUPS 121055 WITH SCORE 121180.717
AT ITER 13 NEW BEST:: SOT 332569 SOS 125531 HAS SOPS 125531 HAS SOUS 120869 HAS SOUPS 120869 WITH SCORE 120994.531
AT ITER 15 NEW BEST:: SOT 331909 SOS 124871 HAS SOPS 124871 HAS SOUS 120209 HAS SOUPS 120209 WITH SCORE 120333.871
AT ITER 21 NEW BEST:: SOT 331886 SOS 124825 HAS SOPS 124825 HAS SOUS 120186 HAS SOUPS 120186 WITH SCORE 120310.825
AT ITER 29 NEW BEST:: SOT 331701 SOS 124601 HAS SOPS 124601 HAS SOUS 119964 HAS SOUPS 119964 WITH SCORE 120088.601
AT ITER 37 NEW BEST:: SOT 331714 SOS 124599 HAS SOPS 124599 HAS SOUS 119962 HAS SOUPS 119962 WITH SCORE 120086.599
AT ITER 39 NEW BEST:: SOT 331714 SOS 124375 HAS SOPS 124375 HAS SOUS 119788 HAS SOUPS 119788 WITH SCORE 119912.375
AT ITER 42 NEW BEST:: SOT 331714 SOS 124374 HAS SOPS 124374 HAS SOUS 119787 HAS SOUPS 119787 WITH SCORE 119911.374
AT ITER 43 NEW BEST:: SOT 331714 SOS 124284 HAS SOPS 124284 HAS SOUS 119697 HAS SOUPS 119697 WITH SCORE 119821.284
AT ITER 49 NEW BEST:: SOT 331691 SOS 124261 HAS SOPS 124261 HAS SOUS 119674 HAS SOUPS 119674 WITH SCORE 119798.261
AT ITER 52 NEW BEST:: SOT 331406 SOS 124021 HAS SOPS 124021 HAS SOUS 119434 HAS SOUPS 119434 WITH SCORE 119558.021
AT ITER 53 NEW BEST:: SOT 330222 SOS 122910 HAS SOPS 122910 HAS SOUS 118323 HAS SOUPS 118323 WITH SCORE 118445.91
AT ITER 61 NEW BEST:: SOT 330203 SOS 122926 HAS SOPS 122926 HAS SOUS 118321 HAS SOUPS 118321 WITH SCORE 118443.926
AT ITER 78 NEW BEST:: SOT 330076 SOS 122667 HAS SOPS 122667 HAS SOUS 117823 HAS SOUPS 117823 WITH SCORE 117945.667
AT ITER 83 NEW BEST:: SOT 329957 SOS 122548 HAS SOPS 122548 HAS SOUS 117704 HAS SOUPS 117704 WITH SCORE 117826.548
AT ITER 89 NEW BEST:: SOT 330057 SOS 122317 HAS SOPS 122317 HAS SOUS 117639 HAS SOUPS 117639 WITH SCORE 117761.317
AT ITER 102 NEW BEST:: SOT 330057 SOS 122307 HAS SOPS 122307 HAS SOUS 117637 HAS SOUPS 117637 WITH SCORE 117759.307
AT ITER 111 NEW BEST:: SOT 330057 SOS 122080 HAS SOPS 122080 HAS SOUS 117410 HAS SOUPS 117410 WITH SCORE 117532.08
AT ITER 113 NEW BEST:: SOT 330057 SOS 122079 HAS SOPS 122079 HAS SOUS 117409 HAS SOUPS 117409 WITH SCORE 117531.079
AT ITER 123 NEW BEST:: SOT 329820 SOS 121808 HAS SOPS 121808 HAS SOUS 117138 HAS SOUPS 117138 WITH SCORE 117259.808
AT ITER 127 NEW BEST:: SOT 329573 SOS 121474 HAS SOPS 121474 HAS SOUS 116804 HAS SOUPS 116804 WITH SCORE 116925.474
AT ITER 153 NEW BEST:: SOT 329434 SOS 121228 HAS SOPS 121228 HAS SOUS 116558 HAS SOUPS 116558 WITH SCORE 116679.228
AT ITER 159 NEW BEST:: SOT 329434 SOS 121228 HAS SOPS 121228 HAS SOUS 116557 HAS SOUPS 116557 WITH SCORE 116678.228
AT ITER 161 NEW BEST:: SOT 329433 SOS 121226 HAS SOPS 121226 HAS SOUS 116555 HAS SOUPS 116555 WITH SCORE 116676.226
AT ITER 166 NEW BEST:: SOT 329327 SOS 121104 HAS SOPS 121104 HAS SOUS 116433 HAS SOUPS 116433 WITH SCORE 116554.104
AT ITER 181 NEW BEST:: SOT 329088 SOS 120853 HAS SOPS 120853 HAS SOUS 116072 HAS SOUPS 116072 WITH SCORE 116192.853
AT ITER 184 NEW BEST:: SOT 329088 SOS 120776 HAS SOPS 120776 HAS SOUS 116072 HAS SOUPS 116072 WITH SCORE 116192.776
AT ITER 188 NEW BEST:: SOT 328869 SOS 120490 HAS SOPS 120490 HAS SOUS 115786 HAS SOUPS 115786 WITH SCORE 115906.49
AT ITER 198 NEW BEST:: SOT 328869 SOS 120395 HAS SOPS 120395 HAS SOUS 115733 HAS SOUPS 115733 WITH SCORE 115853.395
AT ITER 204 NEW BEST:: SOT 328897 SOS 120367 HAS SOPS 120367 HAS SOUS 115733 HAS SOUPS 115733 WITH SCORE 115853.367
AT ITER 205 NEW BEST:: SOT 328852 SOS 120322 HAS SOPS 120322 HAS SOUS 115688 HAS SOUPS 115688 WITH SCORE 115808.322
AT ITER 207 NEW BEST:: SOT 328852 SOS 120291 HAS SOPS 120291 HAS SOUS 115657 HAS SOUPS 115657 WITH SCORE 115777.291
AT ITER 230 NEW BEST:: SOT 328934 SOS 120255 HAS SOPS 120255 HAS SOUS 115621 HAS SOUPS 115621 WITH SCORE 115741.255
AT ITER 237 NEW BEST:: SOT 328932 SOS 120292 HAS SOPS 120292 HAS SOUS 115614 HAS SOUPS 115614 WITH SCORE 115734.292
AT ITER 238 NEW BEST:: SOT 328842 SOS 120292 HAS SOPS 120292 HAS SOUS 115613 HAS SOUPS 115613 WITH SCORE 115733.292
AT ITER 246 NEW BEST:: SOT 328901 SOS 120107 HAS SOPS 120107 HAS SOUS 115427 HAS SOUPS 115427 WITH SCORE 115547.107
AT ITER 251 NEW BEST:: SOT 328690 SOS 119685 HAS SOPS 119685 HAS SOUS 115005 HAS SOUPS 115005 WITH SCORE 115124.685
AT ITER 259 NEW BEST:: SOT 328681 SOS 119667 HAS SOPS 119667 HAS SOUS 114996 HAS SOUPS 114996 WITH SCORE 115115.667
AT ITER 260 NEW BEST:: SOT 328681 SOS 119638 HAS SOPS 119638 HAS SOUS 114995 HAS SOUPS 114995 WITH SCORE 115114.638
AT ITER 261 NEW BEST:: SOT 328681 SOS 119637 HAS SOPS 119637 HAS SOUS 114994 HAS SOUPS 114994 WITH SCORE 115113.637
AT ITER 280 NEW BEST:: SOT 328621 SOS 119635 HAS SOPS 119635 HAS SOUS 114992 HAS SOUPS 114992 WITH SCORE 115111.635
AT ITER 282 NEW BEST:: SOT 328579 SOS 119569 HAS SOPS 119569 HAS SOUS 114926 HAS SOUPS 114926 WITH SCORE 115045.569
AT ITER 284 NEW BEST:: SOT 328579 SOS 119249 HAS SOPS 119249 HAS SOUS 114742 HAS SOUPS 114742 WITH SCORE 114861.249
AT ITER 293 NEW BEST:: SOT 320956 SOS 162196 HAS SOPS 162196 HAS SOUS 108556 HAS SOUPS 108556 WITH SCORE 108718.196
AT ITER 297 NEW BEST:: SOT 320967 SOS 161958 HAS SOPS 161958 HAS SOUS 108289 HAS SOUPS 108289 WITH SCORE 108450.958
AT ITER 299 NEW BEST:: SOT 320968 SOS 161789 HAS SOPS 161789 HAS SOUS 108241 HAS SOUPS 108241 WITH SCORE 108402.789
AT ITER 300 NEW BEST:: SOT 320817 SOS 161371 HAS SOPS 161371 HAS SOUS 108184 HAS SOUPS 108184 WITH SCORE 108345.371
AT ITER 302 NEW BEST:: SOT 320891 SOS 161348 HAS SOPS 161348 HAS SOUS 108161 HAS SOUPS 108161 WITH SCORE 108322.348
AT ITER 313 NEW BEST:: SOT 320821 SOS 161278 HAS SOPS 161278 HAS SOUS 108091 HAS SOUPS 108091 WITH SCORE 108252.278
AT ITER 314 NEW BEST:: SOT 320820 SOS 161276 HAS SOPS 161276 HAS SOUS 108089 HAS SOUPS 108089 WITH SCORE 108250.276
AT ITER 322 NEW BEST:: SOT 320769 SOS 161174 HAS SOPS 161174 HAS SOUS 108037 HAS SOUPS 108037 WITH SCORE 108198.174
AT ITER 329 NEW BEST:: SOT 317003 SOS 158278 HAS SOPS 158278 HAS SOUS 104334 HAS SOUPS 104334 WITH SCORE 104492.278
AT ITER 330 NEW BEST:: SOT 317001 SOS 158032 HAS SOPS 158032 HAS SOUS 104155 HAS SOUPS 104155 WITH SCORE 104313.032
AT ITER 333 NEW BEST:: SOT 317056 SOS 158087 HAS SOPS 158087 HAS SOUS 104095 HAS SOUPS 104095 WITH SCORE 104253.087
AT ITER 335 NEW BEST:: SOT 316806 SOS 157095 HAS SOPS 157095 HAS SOUS 103651 HAS SOUPS 103651 WITH SCORE 103808.095
AT ITER 338 NEW BEST:: SOT 316617 SOS 156898 HAS SOPS 156898 HAS SOUS 103602 HAS SOUPS 103602 WITH SCORE 103758.898
AT ITER 344 NEW BEST:: SOT 316236 SOS 156212 HAS SOPS 156212 HAS SOUS 103453 HAS SOUPS 103453 WITH SCORE 103609.212
AT ITER 351 NEW BEST:: SOT 316001 SOS 155742 HAS SOPS 155742 HAS SOUS 103136 HAS SOUPS 103136 WITH SCORE 103291.742
AT ITER 354 NEW BEST:: SOT 315818 SOS 155376 HAS SOPS 155376 HAS SOUS 102770 HAS SOUPS 102770 WITH SCORE 102925.376
AT ITER 368 NEW BEST:: SOT 315668 SOS 155225 HAS SOPS 155225 HAS SOUS 102619 HAS SOUPS 102619 WITH SCORE 102774.225
AT ITER 371 NEW BEST:: SOT 315642 SOS 155199 HAS SOPS 155199 HAS SOUS 102593 HAS SOUPS 102593 WITH SCORE 102748.199
AT ITER 381 NEW BEST:: SOT 315412 SOS 154656 HAS SOPS 154656 HAS SOUS 102280 HAS SOUPS 102280 WITH SCORE 102434.656
AT ITER 393 NEW BEST:: SOT 315410 SOS 154559 HAS SOPS 154559 HAS SOUS 102183 HAS SOUPS 102183 WITH SCORE 102337.559
AT ITER 395 NEW BEST:: SOT 315126 SOS 154373 HAS SOPS 154373 HAS SOUS 101945 HAS SOUPS 101945 WITH SCORE 102099.373
AT ITER 400 NEW BEST:: SOT 315039 SOS 154041 HAS SOPS 154041 HAS SOUS 101819 HAS SOUPS 101819 WITH SCORE 101973.041
AT ITER 401 NEW BEST:: SOT 315067 SOS 153691 HAS SOPS 153691 HAS SOUS 101730 HAS SOUPS 101730 WITH SCORE 101883.691
AT ITER 405 NEW BEST:: SOT 315048 SOS 153658 HAS SOPS 153658 HAS SOUS 101697 HAS SOUPS 101697 WITH SCORE 101850.658
AT ITER 414 NEW BEST:: SOT 314907 SOS 153376 HAS SOPS 153376 HAS SOUS 101534 HAS SOUPS 101534 WITH SCORE 101687.376
AT ITER 415 NEW BEST:: SOT 314920 SOS 152851 HAS SOPS 152851 HAS SOUS 101490 HAS SOUPS 101490 WITH SCORE 101642.851
AT ITER 417 NEW BEST:: SOT 314908 SOS 152820 HAS SOPS 152820 HAS SOUS 101459 HAS SOUPS 101459 WITH SCORE 101611.82
AT ITER 421 NEW BEST:: SOT 314908 SOS 152658 HAS SOPS 152658 HAS SOUS 101378 HAS SOUPS 101378 WITH SCORE 101530.658
AT ITER 424 NEW BEST:: SOT 314837 SOS 152524 HAS SOPS 152524 HAS SOUS 101243 HAS SOUPS 101243 WITH SCORE 101395.524
AT ITER 431 NEW BEST:: SOT 314784 SOS 152444 HAS SOPS 152444 HAS SOUS 101190 HAS SOUPS 101190 WITH SCORE 101342.444
AT ITER 438 NEW BEST:: SOT 314753 SOS 152623 HAS SOPS 152623 HAS SOUS 101165 HAS SOUPS 101165 WITH SCORE 101317.623
AT ITER 446 NEW BEST:: SOT 314735 SOS 152587 HAS SOPS 152587 HAS SOUS 101110 HAS SOUPS 101110 WITH SCORE 101262.587
AT ITER 448 NEW BEST:: SOT 314686 SOS 152538 HAS SOPS 152538 HAS SOUS 101061 HAS SOUPS 101061 WITH SCORE 101213.538
AT ITER 449 NEW BEST:: SOT 314182 SOS 151818 HAS SOPS 151818 HAS SOUS 100629 HAS SOUPS 100629 WITH SCORE 100780.818
AT ITER 452 NEW BEST:: SOT 314274 SOS 151596 HAS SOPS 151596 HAS SOUS 100415 HAS SOUPS 100415 WITH SCORE 100566.596
AT ITER 456 NEW BEST:: SOT 314209 SOS 151466 HAS SOPS 151466 HAS SOUS 100336 HAS SOUPS 100336 WITH SCORE 100487.466
AT ITER 461 NEW BEST:: SOT 314205 SOS 151460 HAS SOPS 151460 HAS SOUS 100332 HAS SOUPS 100332 WITH SCORE 100483.46
AT ITER 472 NEW BEST:: SOT 314114 SOS 151437 HAS SOPS 151437 HAS SOUS 100309 HAS SOUPS 100309 WITH SCORE 100460.437
AT ITER 482 NEW BEST:: SOT 314114 SOS 151428 HAS SOPS 151428 HAS SOUS 100300 HAS SOUPS 100300 WITH SCORE 100451.428
AT ITER 487 NEW BEST:: SOT 314061 SOS 151375 HAS SOPS 151375 HAS SOUS 100247 HAS SOUPS 100247 WITH SCORE 100398.375
AT ITER 490 NEW BEST:: SOT 314015 SOS 151329 HAS SOPS 151329 HAS SOUS 100224 HAS SOUPS 100224 WITH SCORE 100375.329
AT ITER 501 NEW BEST:: SOT 314025 SOS 150898 HAS SOPS 150898 HAS SOUS 100075 HAS SOUPS 100075 WITH SCORE 100225.898
AT ITER 503 NEW BEST:: SOT 313984 SOS 150816 HAS SOPS 150816 HAS SOUS 100034 HAS SOUPS 100034 WITH SCORE 100184.816
AT ITER 510 NEW BEST:: SOT 313984 SOS 150688 HAS SOPS 150688 HAS SOUS 99906 HAS SOUPS 99906 WITH SCORE 100056.688
AT ITER 514 NEW BEST:: SOT 313984 SOS 150663 HAS SOPS 150663 HAS SOUS 99881 HAS SOUPS 99881 WITH SCORE 100031.663
AT ITER 518 NEW BEST:: SOT 313716 SOS 150127 HAS SOPS 150127 HAS SOUS 99345 HAS SOUPS 99345 WITH SCORE 99495.127
AT ITER 521 NEW BEST:: SOT 313702 SOS 150113 HAS SOPS 150113 HAS SOUS 99331 HAS SOUPS 99331 WITH SCORE 99481.113
AT ITER 522 NEW BEST:: SOT 313674 SOS 150029 HAS SOPS 150029 HAS SOUS 99247 HAS SOUPS 99247 WITH SCORE 99397.029
AT ITER 525 NEW BEST:: SOT 313628 SOS 149764 HAS SOPS 149764 HAS SOUS 98997 HAS SOUPS 98997 WITH SCORE 99146.764
AT ITER 532 NEW BEST:: SOT 313627 SOS 149710 HAS SOPS 149710 HAS SOUS 98949 HAS SOUPS 98949 WITH SCORE 99098.71
AT ITER 535 NEW BEST:: SOT 313456 SOS 149696 HAS SOPS 149696 HAS SOUS 98935 HAS SOUPS 98935 WITH SCORE 99084.696
AT ITER 543 NEW BEST:: SOT 313415 SOS 149428 HAS SOPS 149428 HAS SOUS 98667 HAS SOUPS 98667 WITH SCORE 98816.428
AT ITER 549 NEW BEST:: SOT 313374 SOS 149387 HAS SOPS 149387 HAS SOUS 98626 HAS SOUPS 98626 WITH SCORE 98775.387
AT ITER 563 NEW BEST:: SOT 313465 SOS 149386 HAS SOPS 149386 HAS SOUS 98625 HAS SOUPS 98625 WITH SCORE 98774.386
AT ITER 575 NEW BEST:: SOT 313448 SOS 149352 HAS SOPS 149352 HAS SOUS 98591 HAS SOUPS 98591 WITH SCORE 98740.352
AT ITER 581 NEW BEST:: SOT 313256 SOS 148862 HAS SOPS 148862 HAS SOUS 98101 HAS SOUPS 98101 WITH SCORE 98249.862
AT ITER 583 NEW BEST:: SOT 313187 SOS 148807 HAS SOPS 148807 HAS SOUS 97979 HAS SOUPS 97979 WITH SCORE 98127.807
AT ITER 587 NEW BEST:: SOT 313182 SOS 148797 HAS SOPS 148797 HAS SOUS 97969 HAS SOUPS 97969 WITH SCORE 98117.797
AT ITER 588 NEW BEST:: SOT 313129 SOS 148744 HAS SOPS 148744 HAS SOUS 97916 HAS SOUPS 97916 WITH SCORE 98064.744
AT ITER 597 NEW BEST:: SOT 312925 SOS 148424 HAS SOPS 148424 HAS SOUS 97596 HAS SOUPS 97596 WITH SCORE 97744.424
AT ITER 598 NEW BEST:: SOT 312906 SOS 148396 HAS SOPS 148396 HAS SOUS 97568 HAS SOUPS 97568 WITH SCORE 97716.396
AT ITER 610 NEW BEST:: SOT 312397 SOS 147694 HAS SOPS 147694 HAS SOUS 97182 HAS SOUPS 97182 WITH SCORE 97329.694
AT ITER 620 NEW BEST:: SOT 312151 SOS 147562 HAS SOPS 147562 HAS SOUS 97050 HAS SOUPS 97050 WITH SCORE 97197.562
AT ITER 638 NEW BEST:: SOT 312074 SOS 147394 HAS SOPS 147394 HAS SOUS 96925 HAS SOUPS 96925 WITH SCORE 97072.394
AT ITER 649 NEW BEST:: SOT 312093 SOS 147345 HAS SOPS 147345 HAS SOUS 96923 HAS SOUPS 96923 WITH SCORE 97070.345
AT ITER 651 NEW BEST:: SOT 311806 SOS 146782 HAS SOPS 146782 HAS SOUS 96833 HAS SOUPS 96833 WITH SCORE 96979.782
AT ITER 652 NEW BEST:: SOT 311783 SOS 146736 HAS SOPS 146736 HAS SOUS 96787 HAS SOUPS 96787 WITH SCORE 96933.736
AT ITER 653 NEW BEST:: SOT 311830 SOS 146782 HAS SOPS 146782 HAS SOUS 96785 HAS SOUPS 96785 WITH SCORE 96931.782
AT ITER 665 NEW BEST:: SOT 311872 SOS 146824 HAS SOPS 146824 HAS SOUS 96750 HAS SOUPS 96750 WITH SCORE 96896.824
AT ITER 669 NEW BEST:: SOT 311662 SOS 145984 HAS SOPS 145984 HAS SOUS 96141 HAS SOUPS 96141 WITH SCORE 96286.984
AT ITER 680 NEW BEST:: SOT 311593 SOS 145846 HAS SOPS 145846 HAS SOUS 96003 HAS SOUPS 96003 WITH SCORE 96148.846
AT ITER 683 NEW BEST:: SOT 311534 SOS 145728 HAS SOPS 145728 HAS SOUS 95885 HAS SOUPS 95885 WITH SCORE 96030.728
AT ITER 693 NEW BEST:: SOT 311487 SOS 145567 HAS SOPS 145567 HAS SOUS 95883 HAS SOUPS 95883 WITH SCORE 96028.567
AT ITER 728 NEW BEST:: SOT 311440 SOS 145531 HAS SOPS 145531 HAS SOUS 95847 HAS SOUPS 95847 WITH SCORE 95992.531
AT ITER 735 NEW BEST:: SOT 311442 SOS 145077 HAS SOPS 145077 HAS SOUS 95730 HAS SOUPS 95730 WITH SCORE 95875.077
AT ITER 740 NEW BEST:: SOT 311438 SOS 145074 HAS SOPS 145074 HAS SOUS 95675 HAS SOUPS 95675 WITH SCORE 95820.074
AT ITER 743 NEW BEST:: SOT 311404 SOS 145006 HAS SOPS 145006 HAS SOUS 95607 HAS SOUPS 95607 WITH SCORE 95752.006
AT ITER 754 NEW BEST:: SOT 311404 SOS 144952 HAS SOPS 144952 HAS SOUS 95553 HAS SOUPS 95553 WITH SCORE 95697.952
AT ITER 761 NEW BEST:: SOT 311304 SOS 144946 HAS SOPS 144946 HAS SOUS 95547 HAS SOUPS 95547 WITH SCORE 95691.946
AT ITER 784 NEW BEST:: SOT 310793 SOS 144056 HAS SOPS 144056 HAS SOUS 94927 HAS SOUPS 94927 WITH SCORE 95071.056
AT ITER 795 NEW BEST:: SOT 310735 SOS 143908 HAS SOPS 143908 HAS SOUS 94837 HAS SOUPS 94837 WITH SCORE 94980.908
AT ITER 802 NEW BEST:: SOT 310722 SOS 143895 HAS SOPS 143895 HAS SOUS 94811 HAS SOUPS 94811 WITH SCORE 94954.895
AT ITER 803 NEW BEST:: SOT 310722 SOS 143873 HAS SOPS 143873 HAS SOUS 94800 HAS SOUPS 94800 WITH SCORE 94943.873
AT ITER 804 NEW BEST:: SOT 310248 SOS 143167 HAS SOPS 143167 HAS SOUS 94529 HAS SOUPS 94529 WITH SCORE 94672.167
AT ITER 816 NEW BEST:: SOT 310343 SOS 143011 HAS SOPS 143011 HAS SOUS 94373 HAS SOUPS 94373 WITH SCORE 94516.011
AT ITER 827 NEW BEST:: SOT 310295 SOS 142963 HAS SOPS 142963 HAS SOUS 94325 HAS SOUPS 94325 WITH SCORE 94467.963
AT ITER 829 NEW BEST:: SOT 310295 SOS 142943 HAS SOPS 142943 HAS SOUS 94305 HAS SOUPS 94305 WITH SCORE 94447.943
AT ITER 831 NEW BEST:: SOT 310226 SOS 142801 HAS SOPS 142801 HAS SOUS 94163 HAS SOUPS 94163 WITH SCORE 94305.801
AT ITER 840 NEW BEST:: SOT 309907 SOS 142163 HAS SOPS 142163 HAS SOUS 93829 HAS SOUPS 93829 WITH SCORE 93971.163
AT ITER 861 NEW BEST:: SOT 309836 SOS 142055 HAS SOPS 142055 HAS SOUS 93721 HAS SOUPS 93721 WITH SCORE 93863.055
AT ITER 877 NEW BEST:: SOT 309818 SOS 142019 HAS SOPS 142019 HAS SOUS 93685 HAS SOUPS 93685 WITH SCORE 93827.019
AT ITER 895 NEW BEST:: SOT 309818 SOS 141963 HAS SOPS 141963 HAS SOUS 93629 HAS SOUPS 93629 WITH SCORE 93770.963
AT ITER 908 NEW BEST:: SOT 309792 SOS 141885 HAS SOPS 141885 HAS SOUS 93577 HAS SOUPS 93577 WITH SCORE 93718.885
AT ITER 911 NEW BEST:: SOT 309994 SOS 142121 HAS SOPS 142121 HAS SOUS 93555 HAS SOUPS 93555 WITH SCORE 93697.121
AT ITER 912 NEW BEST:: SOT 309953 SOS 142039 HAS SOPS 142039 HAS SOUS 93473 HAS SOUPS 93473 WITH SCORE 93615.039
AT ITER 924 NEW BEST:: SOT 309953 SOS 141969 HAS SOPS 141969 HAS SOUS 93333 HAS SOUPS 93333 WITH SCORE 93474.969
AT ITER 930 NEW BEST:: SOT 309815 SOS 141693 HAS SOPS 141693 HAS SOUS 93194 HAS SOUPS 93194 WITH SCORE 93335.693
AT ITER 933 NEW BEST:: SOT 309707 SOS 141585 HAS SOPS 141585 HAS SOUS 93043 HAS SOUPS 93043 WITH SCORE 93184.585
AT ITER 936 NEW BEST:: SOT 309707 SOS 141529 HAS SOPS 141529 HAS SOUS 92987 HAS SOUPS 92987 WITH SCORE 93128.529
AT ITER 953 NEW BEST:: SOT 309697 SOS 141519 HAS SOPS 141519 HAS SOUS 92987 HAS SOUPS 92987 WITH SCORE 93128.519
AT ITER 978 NEW BEST:: SOT 309530 SOS 141351 HAS SOPS 141351 HAS SOUS 92985 HAS SOUPS 92985 WITH SCORE 93126.351
AT ITER 983 NEW BEST:: SOT 309359 SOS 141009 HAS SOPS 141009 HAS SOUS 92813 HAS SOUPS 92813 WITH SCORE 92954.009
AT ITER 984 NEW BEST:: SOT 309358 SOS 141007 HAS SOPS 141007 HAS SOUS 92811 HAS SOUPS 92811 WITH SCORE 92952.007
AT ITER 991 NEW BEST:: SOT 309306 SOS 140903 HAS SOPS 140903 HAS SOUS 92707 HAS SOUPS 92707 WITH SCORE 92847.903
AT ITER 1007 NEW BEST:: SOT 309299 SOS 140896 HAS SOPS 140896 HAS SOUS 92700 HAS SOUPS 92700 WITH SCORE 92840.896
AT ITER 1031 NEW BEST:: SOT 309299 SOS 140835 HAS SOPS 140835 HAS SOUS 92639 HAS SOUPS 92639 WITH SCORE 92779.835
AT ITER 1037 NEW BEST:: SOT 309016 SOS 140339 HAS SOPS 140339 HAS SOUS 92301 HAS SOUPS 92301 WITH SCORE 92441.339
AT ITER 1040 NEW BEST:: SOT 308952 SOS 140275 HAS SOPS 140275 HAS SOUS 92301 HAS SOUPS 92301 WITH SCORE 92441.275
AT ITER 1043 NEW BEST:: SOT 308940 SOS 115136 HAS SOPS 115136 HAS SOUS 92289 HAS SOUPS 92289 WITH SCORE 92404.136
AT ITER 1058 NEW BEST:: SOT 308357 SOS 114682 HAS SOPS 114682 HAS SOUS 92158 HAS SOUPS 92158 WITH SCORE 92272.682
AT ITER 1061 NEW BEST:: SOT 308352 SOS 114672 HAS SOPS 114672 HAS SOUS 92148 HAS SOUPS 92148 WITH SCORE 92262.672
AT ITER 1080 NEW BEST:: SOT 308366 SOS 114667 HAS SOPS 114667 HAS SOUS 92143 HAS SOUPS 92143 WITH SCORE 92257.667
AT ITER 1106 NEW BEST:: SOT 307876 SOS 113949 HAS SOPS 113949 HAS SOUS 91688 HAS SOUPS 91688 WITH SCORE 91801.949
AT ITER 1110 NEW BEST:: SOT 307866 SOS 113841 HAS SOPS 113841 HAS SOUS 91623 HAS SOUPS 91623 WITH SCORE 91736.841
AT ITER 1139 NEW BEST:: SOT 307723 SOS 113555 HAS SOPS 113555 HAS SOUS 91484 HAS SOUPS 91484 WITH SCORE 91597.555
AT ITER 1158 NEW BEST:: SOT 307767 SOS 113389 HAS SOPS 113389 HAS SOUS 91318 HAS SOUPS 91318 WITH SCORE 91431.389
AT ITER 1163 NEW BEST:: SOT 307767 SOS 113362 HAS SOPS 113362 HAS SOUS 91291 HAS SOUPS 91291 WITH SCORE 91404.362
AT ITER 1175 NEW BEST:: SOT 307665 SOS 113158 HAS SOPS 113158 HAS SOUS 91189 HAS SOUPS 91189 WITH SCORE 91302.158
AT ITER 1176 NEW BEST:: SOT 307656 SOS 113144 HAS SOPS 113144 HAS SOUS 91175 HAS SOUPS 91175 WITH SCORE 91288.144
AT ITER 1181 NEW BEST:: SOT 307647 SOS 113135 HAS SOPS 113135 HAS SOUS 91166 HAS SOUPS 91166 WITH SCORE 91279.135
AT ITER 1187 NEW BEST:: SOT 307825 SOS 113135 HAS SOPS 113135 HAS SOUS 90988 HAS SOUPS 90988 WITH SCORE 91101.135
AT ITER 1235 NEW BEST:: SOT 307802 SOS 113112 HAS SOPS 113112 HAS SOUS 90965 HAS SOUPS 90965 WITH SCORE 91078.112
AT ITER 1253 NEW BEST:: SOT 307802 SOS 112999 HAS SOPS 112999 HAS SOUS 90852 HAS SOUPS 90852 WITH SCORE 90964.999
AT ITER 1258 NEW BEST:: SOT 307696 SOS 112787 HAS SOPS 112787 HAS SOUS 90639 HAS SOUPS 90639 WITH SCORE 90751.787
AT ITER 1266 NEW BEST:: SOT 307787 SOS 112878 HAS SOPS 112878 HAS SOUS 90562 HAS SOUPS 90562 WITH SCORE 90674.878
AT ITER 1269 NEW BEST:: SOT 307738 SOS 112580 HAS SOPS 112580 HAS SOUS 90264 HAS SOUPS 90264 WITH SCORE 90376.58
AT ITER 1272 NEW BEST:: SOT 307738 SOS 112568 HAS SOPS 112568 HAS SOUS 90264 HAS SOUPS 90264 WITH SCORE 90376.568
AT ITER 1278 NEW BEST:: SOT 307842 SOS 112672 HAS SOPS 112672 HAS SOUS 90262 HAS SOUPS 90262 WITH SCORE 90374.672
AT ITER 1295 NEW BEST:: SOT 307809 SOS 112606 HAS SOPS 112606 HAS SOUS 90196 HAS SOUPS 90196 WITH SCORE 90308.606
AT ITER 1303 NEW BEST:: SOT 307632 SOS 112252 HAS SOPS 112252 HAS SOUS 90018 HAS SOUPS 90018 WITH SCORE 90130.252
AT ITER 1323 NEW BEST:: SOT 307503 SOS 111994 HAS SOPS 111994 HAS SOUS 89928 HAS SOUPS 89928 WITH SCORE 90039.994
AT ITER 1324 NEW BEST:: SOT 307503 SOS 111977 HAS SOPS 111977 HAS SOUS 89911 HAS SOUPS 89911 WITH SCORE 90022.977
AT ITER 1344 NEW BEST:: SOT 307495 SOS 111961 HAS SOPS 111961 HAS SOUS 89895 HAS SOUPS 89895 WITH SCORE 90006.961
AT ITER 1345 NEW BEST:: SOT 307495 SOS 111940 HAS SOPS 111940 HAS SOUS 89857 HAS SOUPS 89857 WITH SCORE 89968.94
AT ITER 1367 NEW BEST:: SOT 307444 SOS 111885 HAS SOPS 111885 HAS SOUS 89805 HAS SOUPS 89805 WITH SCORE 89916.885
AT ITER 1368 NEW BEST:: SOT 307174 SOS 111728 HAS SOPS 111728 HAS SOUS 89672 HAS SOUPS 89672 WITH SCORE 89783.728
AT ITER 1375 NEW BEST:: SOT 307161 SOS 111710 HAS SOPS 111710 HAS SOUS 89654 HAS SOUPS 89654 WITH SCORE 89765.71
AT ITER 1387 NEW BEST:: SOT 307079 SOS 111546 HAS SOPS 111546 HAS SOUS 89613 HAS SOUPS 89613 WITH SCORE 89724.546
AT ITER 1388 NEW BEST:: SOT 307082 SOS 111236 HAS SOPS 111236 HAS SOUS 89596 HAS SOUPS 89596 WITH SCORE 89707.236
AT ITER 1393 NEW BEST:: SOT 307060 SOS 111214 HAS SOPS 111214 HAS SOUS 89574 HAS SOUPS 89574 WITH SCORE 89685.214
AT ITER 1399 NEW BEST:: SOT 306996 SOS 111150 HAS SOPS 111150 HAS SOUS 89510 HAS SOUPS 89510 WITH SCORE 89621.15
AT ITER 1410 NEW BEST:: SOT 306900 SOS 110954 HAS SOPS 110954 HAS SOUS 89314 HAS SOUPS 89314 WITH SCORE 89424.954
AT ITER 1414 NEW BEST:: SOT 306878 SOS 110910 HAS SOPS 110910 HAS SOUS 89298 HAS SOUPS 89298 WITH SCORE 89408.91
AT ITER 1417 NEW BEST:: SOT 306873 SOS 110905 HAS SOPS 110905 HAS SOUS 89293 HAS SOUPS 89293 WITH SCORE 89403.905
AT ITER 1422 NEW BEST:: SOT 306835 SOS 110745 HAS SOPS 110745 HAS SOUS 89090 HAS SOUPS 89090 WITH SCORE 89200.745
AT ITER 1423 NEW BEST:: SOT 306834 SOS 110542 HAS SOPS 110542 HAS SOUS 88961 HAS SOUPS 88961 WITH SCORE 89071.542
AT ITER 1444 NEW BEST:: SOT 306819 SOS 110512 HAS SOPS 110512 HAS SOUS 88931 HAS SOUPS 88931 WITH SCORE 89041.512
AT ITER 1457 NEW BEST:: SOT 306819 SOS 110456 HAS SOPS 110456 HAS SOUS 88875 HAS SOUPS 88875 WITH SCORE 88985.456
AT ITER 1459 NEW BEST:: SOT 306747 SOS 110284 HAS SOPS 110284 HAS SOUS 88703 HAS SOUPS 88703 WITH SCORE 88813.284
AT ITER 1471 NEW BEST:: SOT 306747 SOS 110133 HAS SOPS 110133 HAS SOUS 88699 HAS SOUPS 88699 WITH SCORE 88809.133
AT ITER 1476 NEW BEST:: SOT 306492 SOS 109767 HAS SOPS 109767 HAS SOUS 88494 HAS SOUPS 88494 WITH SCORE 88603.767
AT ITER 1505 NEW BEST:: SOT 306359 SOS 109353 HAS SOPS 109353 HAS SOUS 88113 HAS SOUPS 88113 WITH SCORE 88222.353
AT ITER 1522 NEW BEST:: SOT 306359 SOS 109349 HAS SOPS 109349 HAS SOUS 88113 HAS SOUPS 88113 WITH SCORE 88222.349
AT ITER 1524 NEW BEST:: SOT 306248 SOS 109003 HAS SOPS 109003 HAS SOUS 87767 HAS SOUPS 87767 WITH SCORE 87876.003
AT ITER 1525 NEW BEST:: SOT 306247 SOS 109002 HAS SOPS 109002 HAS SOUS 87767 HAS SOUPS 87767 WITH SCORE 87876.002
AT ITER 1536 NEW BEST:: SOT 306090 SOS 108845 HAS SOPS 108845 HAS SOUS 87723 HAS SOUPS 87723 WITH SCORE 87831.845
AT ITER 1539 NEW BEST:: SOT 306081 SOS 108827 HAS SOPS 108827 HAS SOUS 87705 HAS SOUPS 87705 WITH SCORE 87813.827
AT ITER 1544 NEW BEST:: SOT 306018 SOS 108764 HAS SOPS 108764 HAS SOUS 87705 HAS SOUPS 87705 WITH SCORE 87813.764
AT ITER 1562 NEW BEST:: SOT 305955 SOS 108719 HAS SOPS 108719 HAS SOUS 87691 HAS SOUPS 87691 WITH SCORE 87799.719
AT ITER 1564 NEW BEST:: SOT 305954 SOS 108697 HAS SOPS 108697 HAS SOUS 87669 HAS SOUPS 87669 WITH SCORE 87777.697
AT ITER 1579 NEW BEST:: SOT 305924 SOS 108656 HAS SOPS 108656 HAS SOUS 87628 HAS SOUPS 87628 WITH SCORE 87736.656
AT ITER 1594 NEW BEST:: SOT 305907 SOS 108622 HAS SOPS 108622 HAS SOUS 87594 HAS SOUPS 87594 WITH SCORE 87702.622
AT ITER 1596 NEW BEST:: SOT 305911 SOS 108560 HAS SOPS 108560 HAS SOUS 87532 HAS SOUPS 87532 WITH SCORE 87640.56
AT ITER 1597 NEW BEST:: SOT 305644 SOS 115700 HAS SOPS 115700 HAS SOUS 87355 HAS SOUPS 87355 WITH SCORE 87470.7
AT ITER 1616 NEW BEST:: SOT 305593 SOS 115649 HAS SOPS 115649 HAS SOUS 87304 HAS SOUPS 87304 WITH SCORE 87419.649
AT ITER 1631 NEW BEST:: SOT 305538 SOS 115515 HAS SOPS 115515 HAS SOUS 87170 HAS SOUPS 87170 WITH SCORE 87285.515
AT ITER 1633 NEW BEST:: SOT 305471 SOS 115448 HAS SOPS 115448 HAS SOUS 87103 HAS SOUPS 87103 WITH SCORE 87218.448
AT ITER 1635 NEW BEST:: SOT 305471 SOS 115444 HAS SOPS 115444 HAS SOUS 87099 HAS SOUPS 87099 WITH SCORE 87214.444
AT ITER 1668 NEW BEST:: SOT 305466 SOS 115417 HAS SOPS 115417 HAS SOUS 87072 HAS SOUPS 87072 WITH SCORE 87187.417
AT ITER 1709 NEW BEST:: SOT 305404 SOS 115342 HAS SOPS 115342 HAS SOUS 86997 HAS SOUPS 86997 WITH SCORE 87112.342
AT ITER 1721 NEW BEST:: SOT 305379 SOS 115292 HAS SOPS 115292 HAS SOUS 86947 HAS SOUPS 86947 WITH SCORE 87062.292
AT ITER 1762 NEW BEST:: SOT 305343 SOS 115256 HAS SOPS 115256 HAS SOUS 86911 HAS SOUPS 86911 WITH SCORE 87026.256
AT ITER 1773 NEW BEST:: SOT 305416 SOS 115277 HAS SOPS 115277 HAS SOUS 86910 HAS SOUPS 86910 WITH SCORE 87025.277
AT ITER 1792 NEW BEST:: SOT 305336 SOS 115117 HAS SOPS 115117 HAS SOUS 86750 HAS SOUPS 86750 WITH SCORE 86865.117
AT ITER 1797 NEW BEST:: SOT 305394 SOS 115175 HAS SOPS 115175 HAS SOUS 86708 HAS SOUPS 86708 WITH SCORE 86823.175
AT ITER 1804 NEW BEST:: SOT 305394 SOS 115175 HAS SOPS 115175 HAS SOUS 86658 HAS SOUPS 86658 WITH SCORE 86773.175
AT ITER 1816 NEW BEST:: SOT 305296 SOS 115077 HAS SOPS 115077 HAS SOUS 86657 HAS SOUPS 86657 WITH SCORE 86772.077
AT ITER 1828 NEW BEST:: SOT 305139 SOS 114919 HAS SOPS 114919 HAS SOUS 86655 HAS SOUPS 86655 WITH SCORE 86769.919
AT ITER 1836 NEW BEST:: SOT 305080 SOS 114865 HAS SOPS 114865 HAS SOUS 86601 HAS SOUPS 86601 WITH SCORE 86715.865
AT ITER 1856 NEW BEST:: SOT 304999 SOS 114676 HAS SOPS 114676 HAS SOUS 86412 HAS SOUPS 86412 WITH SCORE 86526.676
AT ITER 1858 NEW BEST:: SOT 304991 SOS 114672 HAS SOPS 114672 HAS SOUS 86408 HAS SOUPS 86408 WITH SCORE 86522.672
AT ITER 1859 NEW BEST:: SOT 304991 SOS 114634 HAS SOPS 114634 HAS SOUS 86370 HAS SOUPS 86370 WITH SCORE 86484.634
AT ITER 1862 NEW BEST:: SOT 304956 SOS 114564 HAS SOPS 114564 HAS SOUS 86300 HAS SOUPS 86300 WITH SCORE 86414.564
AT ITER 1886 NEW BEST:: SOT 304947 SOS 114555 HAS SOPS 114555 HAS SOUS 86291 HAS SOUPS 86291 WITH SCORE 86405.555
AT ITER 1889 NEW BEST:: SOT 304956 SOS 114499 HAS SOPS 114499 HAS SOUS 86235 HAS SOUPS 86235 WITH SCORE 86349.499
AT ITER 1919 NEW BEST:: SOT 304927 SOS 114470 HAS SOPS 114470 HAS SOUS 86206 HAS SOUPS 86206 WITH SCORE 86320.47
AT ITER 1922 NEW BEST:: SOT 304713 SOS 114256 HAS SOPS 114256 HAS SOUS 85991 HAS SOUPS 85991 WITH SCORE 86105.256
AT ITER 1930 NEW BEST:: SOT 304663 SOS 114158 HAS SOPS 114158 HAS SOUS 85983 HAS SOUPS 85983 WITH SCORE 86097.158
AT ITER 1932 NEW BEST:: SOT 304663 SOS 114135 HAS SOPS 114135 HAS SOUS 85960 HAS SOUPS 85960 WITH SCORE 86074.135
AT ITER 1934 NEW BEST:: SOT 304577 SOS 113949 HAS SOPS 113949 HAS SOUS 85774 HAS SOUPS 85774 WITH SCORE 85887.949
AT ITER 1973 NEW BEST:: SOT 304562 SOS 113934 HAS SOPS 113934 HAS SOUS 85759 HAS SOUPS 85759 WITH SCORE 85872.934
AT ITER 1975 NEW BEST:: SOT 304471 SOS 113733 HAS SOPS 113733 HAS SOUS 85740 HAS SOUPS 85740 WITH SCORE 85853.733
AT ITER 1983 NEW BEST:: SOT 304413 SOS 113675 HAS SOPS 113675 HAS SOUS 85740 HAS SOUPS 85740 WITH SCORE 85853.675
AT ITER 1986 NEW BEST:: SOT 304391 SOS 113653 HAS SOPS 113653 HAS SOUS 85718 HAS SOUPS 85718 WITH SCORE 85831.653
AT ITER 1992 NEW BEST:: SOT 304391 SOS 113570 HAS SOPS 113570 HAS SOUS 85635 HAS SOUPS 85635 WITH SCORE 85748.57
AT ITER 1998 NEW BEST:: SOT 304303 SOS 113536 HAS SOPS 113536 HAS SOUS 85533 HAS SOUPS 85533 WITH SCORE 85646.536
AT ITER 2005 NEW BEST:: SOT 304243 SOS 113416 HAS SOPS 113416 HAS SOUS 85473 HAS SOUPS 85473 WITH SCORE 85586.416
AT ITER 2006 NEW BEST:: SOT 304355 SOS 113632 HAS SOPS 113632 HAS SOUS 85411 HAS SOUPS 85411 WITH SCORE 85524.632
AT ITER 2022 NEW BEST:: SOT 304321 SOS 113564 HAS SOPS 113564 HAS SOUS 85377 HAS SOUPS 85377 WITH SCORE 85490.564
AT ITER 2059 NEW BEST:: SOT 304207 SOS 113336 HAS SOPS 113336 HAS SOUS 85149 HAS SOUPS 85149 WITH SCORE 85262.336
AT ITER 2063 NEW BEST:: SOT 304229 SOS 113317 HAS SOPS 113317 HAS SOUS 85130 HAS SOUPS 85130 WITH SCORE 85243.317
AT ITER 2083 NEW BEST:: SOT 304037 SOS 113124 HAS SOPS 113124 HAS SOUS 85128 HAS SOUPS 85128 WITH SCORE 85241.124
AT ITER 2085 NEW BEST:: SOT 304029 SOS 113108 HAS SOPS 113108 HAS SOUS 85112 HAS SOUPS 85112 WITH SCORE 85225.108
AT ITER 2100 NEW BEST:: SOT 304073 SOS 113080 HAS SOPS 113080 HAS SOUS 85084 HAS SOUPS 85084 WITH SCORE 85197.08
AT ITER 2143 NEW BEST:: SOT 304041 SOS 113048 HAS SOPS 113048 HAS SOUS 85052 HAS SOUPS 85052 WITH SCORE 85165.048
AT ITER 2156 NEW BEST:: SOT 303984 SOS 112934 HAS SOPS 112934 HAS SOUS 84938 HAS SOUPS 84938 WITH SCORE 85050.934
AT ITER 2162 NEW BEST:: SOT 303892 SOS 112750 HAS SOPS 112750 HAS SOUS 84778 HAS SOUPS 84778 WITH SCORE 84890.75
AT ITER 2178 NEW BEST:: SOT 303861 SOS 112688 HAS SOPS 112688 HAS SOUS 84716 HAS SOUPS 84716 WITH SCORE 84828.688
AT ITER 2198 NEW BEST:: SOT 303833 SOS 112660 HAS SOPS 112660 HAS SOUS 84716 HAS SOUPS 84716 WITH SCORE 84828.66
AT ITER 2200 NEW BEST:: SOT 303832 SOS 112611 HAS SOPS 112611 HAS SOUS 84667 HAS SOUPS 84667 WITH SCORE 84779.611
AT ITER 2231 NEW BEST:: SOT 303743 SOS 112518 HAS SOPS 112518 HAS SOUS 84564 HAS SOUPS 84564 WITH SCORE 84676.518
AT ITER 2232 NEW BEST:: SOT 303560 SOS 112152 HAS SOPS 112152 HAS SOUS 84381 HAS SOUPS 84381 WITH SCORE 84493.152
AT ITER 2238 NEW BEST:: SOT 303493 SOS 112093 HAS SOPS 112093 HAS SOUS 84322 HAS SOUPS 84322 WITH SCORE 84434.093
AT ITER 2242 NEW BEST:: SOT 303589 SOS 112189 HAS SOPS 112189 HAS SOUS 84257 HAS SOUPS 84257 WITH SCORE 84369.189
AT ITER 2247 NEW BEST:: SOT 303553 SOS 112153 HAS SOPS 112153 HAS SOUS 84185 HAS SOUPS 84185 WITH SCORE 84297.153
AT ITER 2248 NEW BEST:: SOT 301958 SOS 111517 HAS SOPS 111517 HAS SOUS 82624 HAS SOUPS 82624 WITH SCORE 82735.517
AT ITER 2263 NEW BEST:: SOT 301935 SOS 111331 HAS SOPS 111331 HAS SOUS 82519 HAS SOUPS 82519 WITH SCORE 82630.331
AT ITER 2277 NEW BEST:: SOT 301933 SOS 111329 HAS SOPS 111329 HAS SOUS 82517 HAS SOUPS 82517 WITH SCORE 82628.329
AT ITER 2283 NEW BEST:: SOT 301898 SOS 111416 HAS SOPS 111416 HAS SOUS 82482 HAS SOUPS 82482 WITH SCORE 82593.416
AT ITER 2289 NEW BEST:: SOT 301624 SOS 112036 HAS SOPS 112036 HAS SOUS 82348 HAS SOUPS 82348 WITH SCORE 82460.036
AT ITER 2294 NEW BEST:: SOT 301549 SOS 111689 HAS SOPS 111689 HAS SOUS 82001 HAS SOUPS 82001 WITH SCORE 82112.689
AT ITER 2299 NEW BEST:: SOT 301625 SOS 111747 HAS SOPS 111747 HAS SOUS 81960 HAS SOUPS 81960 WITH SCORE 82071.747
AT ITER 2311 NEW BEST:: SOT 301501 SOS 111499 HAS SOPS 111499 HAS SOUS 81821 HAS SOUPS 81821 WITH SCORE 81932.499
AT ITER 2349 NEW BEST:: SOT 301555 SOS 111480 HAS SOPS 111480 HAS SOUS 81802 HAS SOUPS 81802 WITH SCORE 81913.48
AT ITER 2357 NEW BEST:: SOT 301555 SOS 111480 HAS SOPS 111480 HAS SOUS 81781 HAS SOUPS 81781 WITH SCORE 81892.48
AT ITER 2387 NEW BEST:: SOT 301550 SOS 111475 HAS SOPS 111475 HAS SOUS 81776 HAS SOUPS 81776 WITH SCORE 81887.475
AT ITER 2419 NEW BEST:: SOT 301493 SOS 111361 HAS SOPS 111361 HAS SOUS 81662 HAS SOUPS 81662 WITH SCORE 81773.361
AT ITER 2420 NEW BEST:: SOT 301492 SOS 111359 HAS SOPS 111359 HAS SOUS 81660 HAS SOUPS 81660 WITH SCORE 81771.359
AT ITER 2424 NEW BEST:: SOT 301344 SOS 111137 HAS SOPS 111137 HAS SOUS 81438 HAS SOUPS 81438 WITH SCORE 81549.137
AT ITER 2425 NEW BEST:: SOT 301048 SOS 110545 HAS SOPS 110545 HAS SOUS 81039 HAS SOUPS 81039 WITH SCORE 81149.545
AT ITER 2428 NEW BEST:: SOT 301062 SOS 110423 HAS SOPS 110423 HAS SOUS 80917 HAS SOUPS 80917 WITH SCORE 81027.423
AT ITER 2433 NEW BEST:: SOT 300973 SOS 110186 HAS SOPS 110186 HAS SOUS 80680 HAS SOUPS 80680 WITH SCORE 80790.186
AT ITER 2440 NEW BEST:: SOT 300941 SOS 110154 HAS SOPS 110154 HAS SOUS 80680 HAS SOUPS 80680 WITH SCORE 80790.154
AT ITER 2447 NEW BEST:: SOT 300837 SOS 109969 HAS SOPS 109969 HAS SOUS 80495 HAS SOUPS 80495 WITH SCORE 80604.969
AT ITER 2456 NEW BEST:: SOT 300950 SOS 109924 HAS SOPS 109924 HAS SOUS 80450 HAS SOUPS 80450 WITH SCORE 80559.924
AT ITER 2457 NEW BEST:: SOT 300934 SOS 109892 HAS SOPS 109892 HAS SOUS 80432 HAS SOUPS 80432 WITH SCORE 80541.892
AT ITER 2470 NEW BEST:: SOT 300925 SOS 109874 HAS SOPS 109874 HAS SOUS 80414 HAS SOUPS 80414 WITH SCORE 80523.874
AT ITER 2496 NEW BEST:: SOT 300898 SOS 109847 HAS SOPS 109847 HAS SOUS 80387 HAS SOUPS 80387 WITH SCORE 80496.847
AT ITER 2505 NEW BEST:: SOT 300880 SOS 109825 HAS SOPS 109825 HAS SOUS 80365 HAS SOUPS 80365 WITH SCORE 80474.825
AT ITER 2558 NEW BEST:: SOT 300863 SOS 109791 HAS SOPS 109791 HAS SOUS 80331 HAS SOUPS 80331 WITH SCORE 80440.791
AT ITER 2567 NEW BEST:: SOT 300873 SOS 109772 HAS SOPS 109772 HAS SOUS 80312 HAS SOUPS 80312 WITH SCORE 80421.772
AT ITER 2582 NEW BEST:: SOT 300873 SOS 109704 HAS SOPS 109704 HAS SOUS 80244 HAS SOUPS 80244 WITH SCORE 80353.704
AT ITER 2601 NEW BEST:: SOT 300933 SOS 108852 HAS SOPS 108852 HAS SOUS 80240 HAS SOUPS 80240 WITH SCORE 80348.852
AT ITER 2613 NEW BEST:: SOT 300871 SOS 108830 HAS SOPS 108830 HAS SOUS 80236 HAS SOUPS 80236 WITH SCORE 80344.83
AT ITER 2621 NEW BEST:: SOT 300852 SOS 108792 HAS SOPS 108792 HAS SOUS 80217 HAS SOUPS 80217 WITH SCORE 80325.792
AT ITER 2630 NEW BEST:: SOT 300852 SOS 108776 HAS SOPS 108776 HAS SOUS 80201 HAS SOUPS 80201 WITH SCORE 80309.776
AT ITER 2645 NEW BEST:: SOT 300799 SOS 108670 HAS SOPS 108670 HAS SOUS 80095 HAS SOUPS 80095 WITH SCORE 80203.67
AT ITER 2649 NEW BEST:: SOT 300735 SOS 108513 HAS SOPS 108513 HAS SOUS 79967 HAS SOUPS 79967 WITH SCORE 80075.513
AT ITER 2660 NEW BEST:: SOT 300635 SOS 108413 HAS SOPS 108413 HAS SOUS 79867 HAS SOUPS 79867 WITH SCORE 79975.413
AT ITER 2668 NEW BEST:: SOT 300618 SOS 108396 HAS SOPS 108396 HAS SOUS 79867 HAS SOUPS 79867 WITH SCORE 79975.396
AT ITER 2673 NEW BEST:: SOT 300495 SOS 108273 HAS SOPS 108273 HAS SOUS 79744 HAS SOUPS 79744 WITH SCORE 79852.273
AT ITER 2683 NEW BEST:: SOT 300484 SOS 108262 HAS SOPS 108262 HAS SOUS 79725 HAS SOUPS 79725 WITH SCORE 79833.262
AT ITER 2689 NEW BEST:: SOT 300484 SOS 108262 HAS SOPS 108262 HAS SOUS 79716 HAS SOUPS 79716 WITH SCORE 79824.262
AT ITER 2690 NEW BEST:: SOT 300477 SOS 108248 HAS SOPS 108248 HAS SOUS 79702 HAS SOUPS 79702 WITH SCORE 79810.248
AT ITER 2710 NEW BEST:: SOT 300474 SOS 108245 HAS SOPS 108245 HAS SOUS 79702 HAS SOUPS 79702 WITH SCORE 79810.245
AT ITER 2717 NEW BEST:: SOT 300471 SOS 108239 HAS SOPS 108239 HAS SOUS 79665 HAS SOUPS 79665 WITH SCORE 79773.239
AT ITER 2731 NEW BEST:: SOT 300467 SOS 108227 HAS SOPS 108227 HAS SOUS 79657 HAS SOUPS 79657 WITH SCORE 79765.227
AT ITER 2732 NEW BEST:: SOT 300467 SOS 108209 HAS SOPS 108209 HAS SOUS 79639 HAS SOUPS 79639 WITH SCORE 79747.209
AT ITER 2756 NEW BEST:: SOT 300362 SOS 107999 HAS SOPS 107999 HAS SOUS 79429 HAS SOUPS 79429 WITH SCORE 79536.999
AT ITER 2757 NEW BEST:: SOT 300383 SOS 108041 HAS SOPS 108041 HAS SOUS 79421 HAS SOUPS 79421 WITH SCORE 79529.041
AT ITER 2775 NEW BEST:: SOT 300383 SOS 108040 HAS SOPS 108040 HAS SOUS 79421 HAS SOUPS 79421 WITH SCORE 79529.04
AT ITER 2796 NEW BEST:: SOT 300402 SOS 108004 HAS SOPS 108004 HAS SOUS 79385 HAS SOUPS 79385 WITH SCORE 79493.004
AT ITER 2820 NEW BEST:: SOT 300297 SOS 107933 HAS SOPS 107933 HAS SOUS 79314 HAS SOUPS 79314 WITH SCORE 79421.933
AT ITER 2827 NEW BEST:: SOT 299962 SOS 107534 HAS SOPS 107534 HAS SOUS 79186 HAS SOUPS 79186 WITH SCORE 79293.534
AT ITER 2828 NEW BEST:: SOT 300171 SOS 107569 HAS SOPS 107569 HAS SOUS 79179 HAS SOUPS 79179 WITH SCORE 79286.569
AT ITER 2861 NEW BEST:: SOT 300169 SOS 107565 HAS SOPS 107565 HAS SOUS 79177 HAS SOUPS 79177 WITH SCORE 79284.565
AT ITER 2885 NEW BEST:: SOT 300160 SOS 107552 HAS SOPS 107552 HAS SOUS 79164 HAS SOUPS 79164 WITH SCORE 79271.552
AT ITER 2886 NEW BEST:: SOT 300134 SOS 107492 HAS SOPS 107492 HAS SOUS 79076 HAS SOUPS 79076 WITH SCORE 79183.492
AT ITER 2897 NEW BEST:: SOT 300177 SOS 107432 HAS SOPS 107432 HAS SOUS 79016 HAS SOUPS 79016 WITH SCORE 79123.432
AT ITER 2931 NEW BEST:: SOT 300123 SOS 107352 HAS SOPS 107352 HAS SOUS 78964 HAS SOUPS 78964 WITH SCORE 79071.352
AT ITER 2940 NEW BEST:: SOT 300124 SOS 107310 HAS SOPS 107310 HAS SOUS 78922 HAS SOUPS 78922 WITH SCORE 79029.31
AT ITER 2948 NEW BEST:: SOT 300120 SOS 107306 HAS SOPS 107306 HAS SOUS 78918 HAS SOUPS 78918 WITH SCORE 79025.306
AT ITER 2951 NEW BEST:: SOT 300170 SOS 107241 HAS SOPS 107241 HAS SOUS 78853 HAS SOUPS 78853 WITH SCORE 78960.241
AT ITER 2964 NEW BEST:: SOT 300169 SOS 107239 HAS SOPS 107239 HAS SOUS 78851 HAS SOUPS 78851 WITH SCORE 78958.239
AT ITER 2968 NEW BEST:: SOT 300177 SOS 107247 HAS SOPS 107247 HAS SOUS 78842 HAS SOUPS 78842 WITH SCORE 78949.247
AT ITER 2971 NEW BEST:: SOT 300153 SOS 107223 HAS SOPS 107223 HAS SOUS 78818 HAS SOUPS 78818 WITH SCORE 78925.223
AT ITER 2975 NEW BEST:: SOT 300153 SOS 107223 HAS SOPS 107223 HAS SOUS 78801 HAS SOUPS 78801 WITH SCORE 78908.223
AT ITER 2995 NEW BEST:: SOT 300029 SOS 106826 HAS SOPS 106826 HAS SOUS 78526 HAS SOUPS 78526 WITH SCORE 78632.826
AT ITER 2998 NEW BEST:: SOT 299982 SOS 106696 HAS SOPS 106696 HAS SOUS 78525 HAS SOUPS 78525 WITH SCORE 78631.696
AT ITER 3010 NEW BEST:: SOT 299935 SOS 106316 HAS SOPS 106316 HAS SOUS 78381 HAS SOUPS 78381 WITH SCORE 78487.316
AT ITER 3012 NEW BEST:: SOT 299623 SOS 106118 HAS SOPS 106118 HAS SOUS 78224 HAS SOUPS 78224 WITH SCORE 78330.118
AT ITER 3022 NEW BEST:: SOT 299623 SOS 106107 HAS SOPS 106107 HAS SOUS 78213 HAS SOUPS 78213 WITH SCORE 78319.107
AT ITER 3025 NEW BEST:: SOT 299163 SOS 105505 HAS SOPS 105505 HAS SOUS 77735 HAS SOUPS 77735 WITH SCORE 77840.505
AT ITER 3027 NEW BEST:: SOT 299163 SOS 105336 HAS SOPS 105336 HAS SOUS 77697 HAS SOUPS 77697 WITH SCORE 77802.336
AT ITER 3048 NEW BEST:: SOT 299161 SOS 105333 HAS SOPS 105333 HAS SOUS 77694 HAS SOUPS 77694 WITH SCORE 77799.333
AT ITER 3051 NEW BEST:: SOT 299130 SOS 105271 HAS SOPS 105271 HAS SOUS 77632 HAS SOUPS 77632 WITH SCORE 77737.271
AT ITER 3064 NEW BEST:: SOT 299119 SOS 105261 HAS SOPS 105261 HAS SOUS 77622 HAS SOUPS 77622 WITH SCORE 77727.261
AT ITER 3069 NEW BEST:: SOT 299094 SOS 105242 HAS SOPS 105242 HAS SOUS 77603 HAS SOUPS 77603 WITH SCORE 77708.242
AT ITER 3081 NEW BEST:: SOT 298882 SOS 105030 HAS SOPS 105030 HAS SOUS 77396 HAS SOUPS 77396 WITH SCORE 77501.03
AT ITER 3098 NEW BEST:: SOT 298883 SOS 105020 HAS SOPS 105020 HAS SOUS 77386 HAS SOUPS 77386 WITH SCORE 77491.02
AT ITER 3100 NEW BEST:: SOT 298701 SOS 104687 HAS SOPS 104687 HAS SOUS 77053 HAS SOUPS 77053 WITH SCORE 77157.687
AT ITER 3132 NEW BEST:: SOT 298652 SOS 104638 HAS SOPS 104638 HAS SOUS 77032 HAS SOUPS 77032 WITH SCORE 77136.638
AT ITER 3139 NEW BEST:: SOT 298641 SOS 104627 HAS SOPS 104627 HAS SOUS 77021 HAS SOUPS 77021 WITH SCORE 77125.627
AT ITER 3141 NEW BEST:: SOT 298606 SOS 104590 HAS SOPS 104590 HAS SOUS 76951 HAS SOUPS 76951 WITH SCORE 77055.59
AT ITER 3160 NEW BEST:: SOT 298551 SOS 104444 HAS SOPS 104444 HAS SOUS 76805 HAS SOUPS 76805 WITH SCORE 76909.444
AT ITER 3169 NEW BEST:: SOT 298435 SOS 104282 HAS SOPS 104282 HAS SOUS 76774 HAS SOUPS 76774 WITH SCORE 76878.282
AT ITER 3181 NEW BEST:: SOT 298389 SOS 104271 HAS SOPS 104271 HAS SOUS 76763 HAS SOUPS 76763 WITH SCORE 76867.271
AT ITER 3184 NEW BEST:: SOT 298422 SOS 104225 HAS SOPS 104225 HAS SOUS 76737 HAS SOUPS 76737 WITH SCORE 76841.225
AT ITER 3233 NEW BEST:: SOT 298422 SOS 104221 HAS SOPS 104221 HAS SOUS 76733 HAS SOUPS 76733 WITH SCORE 76837.221
AT ITER 3256 NEW BEST:: SOT 298275 SOS 103991 HAS SOPS 103991 HAS SOUS 76650 HAS SOUPS 76650 WITH SCORE 76753.991
AT ITER 3285 NEW BEST:: SOT 298214 SOS 103971 HAS SOPS 103971 HAS SOUS 76630 HAS SOUPS 76630 WITH SCORE 76733.971
AT ITER 3322 NEW BEST:: SOT 298158 SOS 103926 HAS SOPS 103926 HAS SOUS 76574 HAS SOUPS 76574 WITH SCORE 76677.926
AT ITER 3324 NEW BEST:: SOT 298127 SOS 103895 HAS SOPS 103895 HAS SOUS 76523 HAS SOUPS 76523 WITH SCORE 76626.895
AT ITER 3356 NEW BEST:: SOT 298092 SOS 103748 HAS SOPS 103748 HAS SOUS 76376 HAS SOUPS 76376 WITH SCORE 76479.748
AT ITER 3423 NEW BEST:: SOT 298049 SOS 103705 HAS SOPS 103705 HAS SOUS 76333 HAS SOUPS 76333 WITH SCORE 76436.705
AT ITER 3436 NEW BEST:: SOT 298038 SOS 103694 HAS SOPS 103694 HAS SOUS 76322 HAS SOUPS 76322 WITH SCORE 76425.694
AT ITER 3445 NEW BEST:: SOT 297954 SOS 103568 HAS SOPS 103568 HAS SOUS 76238 HAS SOUPS 76238 WITH SCORE 76341.568
AT ITER 3450 NEW BEST:: SOT 297960 SOS 103518 HAS SOPS 103518 HAS SOUS 76199 HAS SOUPS 76199 WITH SCORE 76302.518
AT ITER 3452 NEW BEST:: SOT 297910 SOS 103471 HAS SOPS 103471 HAS SOUS 76152 HAS SOUPS 76152 WITH SCORE 76255.471
AT ITER 3466 NEW BEST:: SOT 297900 SOS 103450 HAS SOPS 103450 HAS SOUS 76141 HAS SOUPS 76141 WITH SCORE 76244.45
AT ITER 3487 NEW BEST:: SOT 297900 SOS 103414 HAS SOPS 103414 HAS SOUS 76105 HAS SOUPS 76105 WITH SCORE 76208.414
AT ITER 3489 NEW BEST:: SOT 297964 SOS 103299 HAS SOPS 103299 HAS SOUS 76099 HAS SOUPS 76099 WITH SCORE 76202.299
AT ITER 3491 NEW BEST:: SOT 297704 SOS 102779 HAS SOPS 102779 HAS SOUS 75638 HAS SOUPS 75638 WITH SCORE 75740.779
AT ITER 3508 NEW BEST:: SOT 297707 SOS 102637 HAS SOPS 102637 HAS SOUS 75524 HAS SOUPS 75524 WITH SCORE 75626.637
AT ITER 3515 NEW BEST:: SOT 297701 SOS 102609 HAS SOPS 102609 HAS SOUS 75516 HAS SOUPS 75516 WITH SCORE 75618.609
AT ITER 3522 NEW BEST:: SOT 297609 SOS 102517 HAS SOPS 102517 HAS SOUS 75516 HAS SOUPS 75516 WITH SCORE 75618.517
AT ITER 3541 NEW BEST:: SOT 297628 SOS 102555 HAS SOPS 102555 HAS SOUS 75471 HAS SOUPS 75471 WITH SCORE 75573.555
AT ITER 3580 NEW BEST:: SOT 297544 SOS 102473 HAS SOPS 102473 HAS SOUS 75465 HAS SOUPS 75465 WITH SCORE 75567.473
AT ITER 3587 NEW BEST:: SOT 297602 SOS 102531 HAS SOPS 102531 HAS SOUS 75420 HAS SOUPS 75420 WITH SCORE 75522.531
AT ITER 3614 NEW BEST:: SOT 297595 SOS 102469 HAS SOPS 102469 HAS SOUS 75412 HAS SOUPS 75412 WITH SCORE 75514.469
AT ITER 3621 NEW BEST:: SOT 297562 SOS 102403 HAS SOPS 102403 HAS SOUS 75346 HAS SOUPS 75346 WITH SCORE 75448.403
AT ITER 3636 NEW BEST:: SOT 297562 SOS 102392 HAS SOPS 102392 HAS SOUS 75335 HAS SOUPS 75335 WITH SCORE 75437.392
AT ITER 3640 NEW BEST:: SOT 297525 SOS 102355 HAS SOPS 102355 HAS SOUS 75335 HAS SOUPS 75335 WITH SCORE 75437.355
AT ITER 3662 NEW BEST:: SOT 297462 SOS 102282 HAS SOPS 102282 HAS SOUS 75233 HAS SOUPS 75233 WITH SCORE 75335.282
AT ITER 3681 NEW BEST:: SOT 297469 SOS 102279 HAS SOPS 102279 HAS SOUS 75213 HAS SOUPS 75213 WITH SCORE 75315.279
AT ITER 3686 NEW BEST:: SOT 297469 SOS 102279 HAS SOPS 102279 HAS SOUS 75171 HAS SOUPS 75171 WITH SCORE 75273.279
AT ITER 3697 NEW BEST:: SOT 297520 SOS 102264 HAS SOPS 102264 HAS SOUS 75156 HAS SOUPS 75156 WITH SCORE 75258.264
AT ITER 3703 NEW BEST:: SOT 297483 SOS 102227 HAS SOPS 102227 HAS SOUS 75128 HAS SOUPS 75128 WITH SCORE 75230.227
AT ITER 3710 NEW BEST:: SOT 297452 SOS 102155 HAS SOPS 102155 HAS SOUS 75056 HAS SOUPS 75056 WITH SCORE 75158.155
AT ITER 3717 NEW BEST:: SOT 297177 SOS 101937 HAS SOPS 101937 HAS SOUS 74922 HAS SOUPS 74922 WITH SCORE 75023.937
AT ITER 3721 NEW BEST:: SOT 296974 SOS 101734 HAS SOPS 101734 HAS SOUS 74719 HAS SOUPS 74719 WITH SCORE 74820.734
AT ITER 3723 NEW BEST:: SOT 296942 SOS 101670 HAS SOPS 101670 HAS SOUS 74655 HAS SOUPS 74655 WITH SCORE 74756.67
AT ITER 3725 NEW BEST:: SOT 296871 SOS 101407 HAS SOPS 101407 HAS SOUS 74527 HAS SOUPS 74527 WITH SCORE 74628.407
AT ITER 3729 NEW BEST:: SOT 296882 SOS 101365 HAS SOPS 101365 HAS SOUS 74485 HAS SOUPS 74485 WITH SCORE 74586.365
AT ITER 3734 NEW BEST:: SOT 296882 SOS 101294 HAS SOPS 101294 HAS SOUS 74414 HAS SOUPS 74414 WITH SCORE 74515.294
AT ITER 3738 NEW BEST:: SOT 296805 SOS 101191 HAS SOPS 101191 HAS SOUS 74342 HAS SOUPS 74342 WITH SCORE 74443.191
AT ITER 3739 NEW BEST:: SOT 296832 SOS 101050 HAS SOPS 101050 HAS SOUS 74071 HAS SOUPS 74071 WITH SCORE 74172.05
AT ITER 3740 NEW BEST:: SOT 296822 SOS 101020 HAS SOPS 101020 HAS SOUS 74041 HAS SOUPS 74041 WITH SCORE 74142.02
AT ITER 3762 NEW BEST:: SOT 296844 SOS 100930 HAS SOPS 100930 HAS SOUS 73961 HAS SOUPS 73961 WITH SCORE 74061.93
AT ITER 3770 NEW BEST:: SOT 296860 SOS 100962 HAS SOPS 100962 HAS SOUS 73955 HAS SOUPS 73955 WITH SCORE 74055.962
AT ITER 3802 NEW BEST:: SOT 296929 SOS 101059 HAS SOPS 101059 HAS SOUS 73949 HAS SOUPS 73949 WITH SCORE 74050.059
AT ITER 3803 NEW BEST:: SOT 296922 SOS 101052 HAS SOPS 101052 HAS SOUS 73942 HAS SOUPS 73942 WITH SCORE 74043.052
AT ITER 3808 NEW BEST:: SOT 296922 SOS 101014 HAS SOPS 101014 HAS SOUS 73904 HAS SOUPS 73904 WITH SCORE 74005.014
AT ITER 3814 NEW BEST:: SOT 296918 SOS 101006 HAS SOPS 101006 HAS SOUS 73896 HAS SOUPS 73896 WITH SCORE 73997.006
AT ITER 3822 NEW BEST:: SOT 296918 SOS 101006 HAS SOPS 101006 HAS SOUS 73837 HAS SOUPS 73837 WITH SCORE 73938.006
AT ITER 3833 NEW BEST:: SOT 296918 SOS 101002 HAS SOPS 101002 HAS SOUS 73833 HAS SOUPS 73833 WITH SCORE 73934.002
AT ITER 3839 NEW BEST:: SOT 296918 SOS 100987 HAS SOPS 100987 HAS SOUS 73831 HAS SOUPS 73831 WITH SCORE 73931.987
AT ITER 3860 NEW BEST:: SOT 296946 SOS 100987 HAS SOPS 100987 HAS SOUS 73803 HAS SOUPS 73803 WITH SCORE 73903.987
AT ITER 3866 NEW BEST:: SOT 296748 SOS 100789 HAS SOPS 100789 HAS SOUS 73611 HAS SOUPS 73611 WITH SCORE 73711.789
AT ITER 3874 NEW BEST:: SOT 296748 SOS 100758 HAS SOPS 100758 HAS SOUS 73580 HAS SOUPS 73580 WITH SCORE 73680.758
AT ITER 3891 NEW BEST:: SOT 296748 SOS 100690 HAS SOPS 100690 HAS SOUS 73512 HAS SOUPS 73512 WITH SCORE 73612.69
AT ITER 3901 NEW BEST:: SOT 296679 SOS 100676 HAS SOPS 100676 HAS SOUS 73498 HAS SOUPS 73498 WITH SCORE 73598.676
AT ITER 3904 NEW BEST:: SOT 296679 SOS 100674 HAS SOPS 100674 HAS SOUS 73496 HAS SOUPS 73496 WITH SCORE 73596.674
AT ITER 3911 NEW BEST:: SOT 296582 SOS 100577 HAS SOPS 100577 HAS SOUS 73399 HAS SOUPS 73399 WITH SCORE 73499.577
AT ITER 3913 NEW BEST:: SOT 296574 SOS 100515 HAS SOPS 100515 HAS SOUS 73337 HAS SOUPS 73337 WITH SCORE 73437.515
AT ITER 3935 NEW BEST:: SOT 296548 SOS 100480 HAS SOPS 100480 HAS SOUS 73302 HAS SOUPS 73302 WITH SCORE 73402.48
AT ITER 3938 NEW BEST:: SOT 296548 SOS 100480 HAS SOPS 100480 HAS SOUS 73286 HAS SOUPS 73286 WITH SCORE 73386.48
AT ITER 3950 NEW BEST:: SOT 296422 SOS 100228 HAS SOPS 100228 HAS SOUS 73150 HAS SOUPS 73150 WITH SCORE 73250.228
AT ITER 3984 NEW BEST:: SOT 296394 SOS 100200 HAS SOPS 100200 HAS SOUS 73122 HAS SOUPS 73122 WITH SCORE 73222.2
AT ITER 4010 NEW BEST:: SOT 296354 SOS 100121 HAS SOPS 100121 HAS SOUS 73043 HAS SOUPS 73043 WITH SCORE 73143.121
AT ITER 4011 NEW BEST:: SOT 296368 SOS 100063 HAS SOPS 100063 HAS SOUS 72985 HAS SOUPS 72985 WITH SCORE 73085.063
AT ITER 4024 NEW BEST:: SOT 296365 SOS 100060 HAS SOPS 100060 HAS SOUS 72982 HAS SOUPS 72982 WITH SCORE 73082.06
AT ITER 4028 NEW BEST:: SOT 296365 SOS 100061 HAS SOPS 100061 HAS SOUS 72840 HAS SOUPS 72840 WITH SCORE 72940.061
AT ITER 4082 NEW BEST:: SOT 296338 SOS 100049 HAS SOPS 100049 HAS SOUS 72828 HAS SOUPS 72828 WITH SCORE 72928.049
AT ITER 4085 NEW BEST:: SOT 296193 SOS 99918 HAS SOPS 99918 HAS SOUS 72808 HAS SOUPS 72808 WITH SCORE 72907.918
AT ITER 4089 NEW BEST:: SOT 296180 SOS 99911 HAS SOPS 99911 HAS SOUS 72801 HAS SOUPS 72801 WITH SCORE 72900.911
AT ITER 4106 NEW BEST:: SOT 296297 SOS 100014 HAS SOPS 100014 HAS SOUS 72797 HAS SOUPS 72797 WITH SCORE 72897.014
AT ITER 4124 NEW BEST:: SOT 296245 SOS 99962 HAS SOPS 99962 HAS SOUS 72745 HAS SOUPS 72745 WITH SCORE 72844.962
AT ITER 4127 NEW BEST:: SOT 296249 SOS 99858 HAS SOPS 99858 HAS SOUS 72641 HAS SOUPS 72641 WITH SCORE 72740.858
AT ITER 4129 NEW BEST:: SOT 296086 SOS 99833 HAS SOPS 99833 HAS SOUS 72616 HAS SOUPS 72616 WITH SCORE 72715.833
AT ITER 4177 NEW BEST:: SOT 296106 SOS 99831 HAS SOPS 99831 HAS SOUS 72594 HAS SOUPS 72594 WITH SCORE 72693.831
AT ITER 4200 NEW BEST:: SOT 296043 SOS 99789 HAS SOPS 99789 HAS SOUS 72524 HAS SOUPS 72524 WITH SCORE 72623.789
AT ITER 4208 NEW BEST:: SOT 296084 SOS 99830 HAS SOPS 99830 HAS SOUS 72506 HAS SOUPS 72506 WITH SCORE 72605.83
AT ITER 4225 NEW BEST:: SOT 296062 SOS 99808 HAS SOPS 99808 HAS SOUS 72484 HAS SOUPS 72484 WITH SCORE 72583.808
AT ITER 4227 NEW BEST:: SOT 296044 SOS 99812 HAS SOPS 99812 HAS SOUS 72482 HAS SOUPS 72482 WITH SCORE 72581.812
AT ITER 4234 NEW BEST:: SOT 296040 SOS 99808 HAS SOPS 99808 HAS SOUS 72482 HAS SOUPS 72482 WITH SCORE 72581.808
AT ITER 4235 NEW BEST:: SOT 295980 SOS 99668 HAS SOPS 99668 HAS SOUS 72402 HAS SOUPS 72402 WITH SCORE 72501.668
AT ITER 4275 NEW BEST:: SOT 295990 SOS 99705 HAS SOPS 99705 HAS SOUS 72368 HAS SOUPS 72368 WITH SCORE 72467.705
AT ITER 4292 NEW BEST:: SOT 295978 SOS 99693 HAS SOPS 99693 HAS SOUS 72368 HAS SOUPS 72368 WITH SCORE 72467.693
AT ITER 4295 NEW BEST:: SOT 295969 SOS 99675 HAS SOPS 99675 HAS SOUS 72350 HAS SOUPS 72350 WITH SCORE 72449.675
AT ITER 4312 NEW BEST:: SOT 295969 SOS 99582 HAS SOPS 99582 HAS SOUS 72257 HAS SOUPS 72257 WITH SCORE 72356.582
AT ITER 4315 NEW BEST:: SOT 295968 SOS 99577 HAS SOPS 99577 HAS SOUS 72252 HAS SOUPS 72252 WITH SCORE 72351.577
AT ITER 4321 NEW BEST:: SOT 295946 SOS 99525 HAS SOPS 99525 HAS SOUS 72208 HAS SOUPS 72208 WITH SCORE 72307.525
AT ITER 4334 NEW BEST:: SOT 295958 SOS 99535 HAS SOPS 99535 HAS SOUS 72182 HAS SOUPS 72182 WITH SCORE 72281.535
AT ITER 4345 NEW BEST:: SOT 295898 SOS 99475 HAS SOPS 99475 HAS SOUS 72122 HAS SOUPS 72122 WITH SCORE 72221.475
AT ITER 4350 NEW BEST:: SOT 295935 SOS 99542 HAS SOPS 99542 HAS SOUS 72104 HAS SOUPS 72104 WITH SCORE 72203.542
AT ITER 4358 NEW BEST:: SOT 295935 SOS 99462 HAS SOPS 99462 HAS SOUS 72024 HAS SOUPS 72024 WITH SCORE 72123.462
AT ITER 4397 NEW BEST:: SOT 295944 SOS 99421 HAS SOPS 99421 HAS SOUS 71983 HAS SOUPS 71983 WITH SCORE 72082.421
AT ITER 4463 NEW BEST:: SOT 295936 SOS 99412 HAS SOPS 99412 HAS SOUS 71974 HAS SOUPS 71974 WITH SCORE 72073.412
AT ITER 4478 NEW BEST:: SOT 295933 SOS 99406 HAS SOPS 99406 HAS SOUS 71968 HAS SOUPS 71968 WITH SCORE 72067.406
AT ITER 4488 NEW BEST:: SOT 295932 SOS 99402 HAS SOPS 99402 HAS SOUS 71964 HAS SOUPS 71964 WITH SCORE 72063.402
AT ITER 4489 NEW BEST:: SOT 296036 SOS 99382 HAS SOPS 99382 HAS SOUS 71944 HAS SOUPS 71944 WITH SCORE 72043.382
AT ITER 4492 NEW BEST:: SOT 296028 SOS 99374 HAS SOPS 99374 HAS SOUS 71936 HAS SOUPS 71936 WITH SCORE 72035.374
AT ITER 4503 NEW BEST:: SOT 295966 SOS 99249 HAS SOPS 99249 HAS SOUS 71811 HAS SOUPS 71811 WITH SCORE 71910.249
AT ITER 4506 NEW BEST:: SOT 295921 SOS 99159 HAS SOPS 99159 HAS SOUS 71720 HAS SOUPS 71720 WITH SCORE 71819.159
AT ITER 4547 NEW BEST:: SOT 295914 SOS 99152 HAS SOPS 99152 HAS SOUS 71720 HAS SOUPS 71720 WITH SCORE 71819.152
AT ITER 4577 NEW BEST:: SOT 295914 SOS 99065 HAS SOPS 99065 HAS SOUS 71633 HAS SOUPS 71633 WITH SCORE 71732.065
AT ITER 4586 NEW BEST:: SOT 295938 SOS 99029 HAS SOPS 99029 HAS SOUS 71597 HAS SOUPS 71597 WITH SCORE 71696.029
AT ITER 4588 NEW BEST:: SOT 295923 SOS 99043 HAS SOPS 99043 HAS SOUS 71596 HAS SOUPS 71596 WITH SCORE 71695.043
AT ITER 4590 NEW BEST:: SOT 295919 SOS 99021 HAS SOPS 99021 HAS SOUS 71574 HAS SOUPS 71574 WITH SCORE 71673.021
AT ITER 4596 NEW BEST:: SOT 295898 SOS 99003 HAS SOPS 99003 HAS SOUS 71556 HAS SOUPS 71556 WITH SCORE 71655.003
AT ITER 4620 NEW BEST:: SOT 295884 SOS 98989 HAS SOPS 98989 HAS SOUS 71530 HAS SOUPS 71530 WITH SCORE 71628.989
AT ITER 4622 NEW BEST:: SOT 295796 SOS 98868 HAS SOPS 98868 HAS SOUS 71516 HAS SOUPS 71516 WITH SCORE 71614.868
AT ITER 4624 NEW BEST:: SOT 295736 SOS 98712 HAS SOPS 98712 HAS SOUS 71420 HAS SOUPS 71420 WITH SCORE 71518.712
AT ITER 4625 NEW BEST:: SOT 295691 SOS 98647 HAS SOPS 98647 HAS SOUS 71380 HAS SOUPS 71380 WITH SCORE 71478.647
AT ITER 4632 NEW BEST:: SOT 295690 SOS 98645 HAS SOPS 98645 HAS SOUS 71378 HAS SOUPS 71378 WITH SCORE 71476.645
AT ITER 4637 NEW BEST:: SOT 295680 SOS 98479 HAS SOPS 98479 HAS SOUS 71315 HAS SOUPS 71315 WITH SCORE 71413.479
AT ITER 4644 NEW BEST:: SOT 295817 SOS 98616 HAS SOPS 98616 HAS SOUS 71313 HAS SOUPS 71313 WITH SCORE 71411.616
AT ITER 4667 NEW BEST:: SOT 295807 SOS 98610 HAS SOPS 98610 HAS SOUS 71303 HAS SOUPS 71303 WITH SCORE 71401.61
AT ITER 4677 NEW BEST:: SOT 295816 SOS 98402 HAS SOPS 98402 HAS SOUS 71202 HAS SOUPS 71202 WITH SCORE 71300.402
AT ITER 4681 NEW BEST:: SOT 295816 SOS 98401 HAS SOPS 98401 HAS SOUS 71201 HAS SOUPS 71201 WITH SCORE 71299.401
AT ITER 4689 NEW BEST:: SOT 295835 SOS 98439 HAS SOPS 98439 HAS SOUS 71173 HAS SOUPS 71173 WITH SCORE 71271.439
AT ITER 4740 NEW BEST:: SOT 295866 SOS 98501 HAS SOPS 98501 HAS SOUS 71158 HAS SOUPS 71158 WITH SCORE 71256.501
AT ITER 4746 NEW BEST:: SOT 295861 SOS 98491 HAS SOPS 98491 HAS SOUS 71148 HAS SOUPS 71148 WITH SCORE 71246.491
AT ITER 4748 NEW BEST:: SOT 295820 SOS 98448 HAS SOPS 98448 HAS SOUS 71057 HAS SOUPS 71057 WITH SCORE 71155.448
AT ITER 4749 NEW BEST:: SOT 295804 SOS 98447 HAS SOPS 98447 HAS SOUS 71056 HAS SOUPS 71056 WITH SCORE 71154.447
AT ITER 4766 NEW BEST:: SOT 295737 SOS 98312 HAS SOPS 98312 HAS SOUS 70921 HAS SOUPS 70921 WITH SCORE 71019.312
AT ITER 4786 NEW BEST:: SOT 295698 SOS 98273 HAS SOPS 98273 HAS SOUS 70882 HAS SOUPS 70882 WITH SCORE 70980.273
AT ITER 4794 NEW BEST:: SOT 295698 SOS 98262 HAS SOPS 98262 HAS SOUS 70871 HAS SOUPS 70871 WITH SCORE 70969.262
AT ITER 4799 NEW BEST:: SOT 295546 SOS 97977 HAS SOPS 97977 HAS SOUS 70586 HAS SOUPS 70586 WITH SCORE 70683.977
AT ITER 4818 NEW BEST:: SOT 295546 SOS 97923 HAS SOPS 97923 HAS SOUS 70532 HAS SOUPS 70532 WITH SCORE 70629.923
AT ITER 4830 NEW BEST:: SOT 295391 SOS 97666 HAS SOPS 97666 HAS SOUS 70408 HAS SOUPS 70408 WITH SCORE 70505.666
AT ITER 4833 NEW BEST:: SOT 295357 SOS 97533 HAS SOPS 97533 HAS SOUS 70400 HAS SOUPS 70400 WITH SCORE 70497.533
AT ITER 4839 NEW BEST:: SOT 295417 SOS 97529 HAS SOPS 97529 HAS SOUS 70396 HAS SOUPS 70396 WITH SCORE 70493.529
AT ITER 4859 NEW BEST:: SOT 295417 SOS 97529 HAS SOPS 97529 HAS SOUS 70391 HAS SOUPS 70391 WITH SCORE 70488.529
AT ITER 4875 NEW BEST:: SOT 295412 SOS 97529 HAS SOPS 97529 HAS SOUS 70387 HAS SOUPS 70387 WITH SCORE 70484.529
AT ITER 4894 NEW BEST:: SOT 295433 SOS 97525 HAS SOPS 97525 HAS SOUS 70383 HAS SOUPS 70383 WITH SCORE 70480.525
AT ITER 4910 NEW BEST:: SOT 295409 SOS 97489 HAS SOPS 97489 HAS SOUS 70347 HAS SOUPS 70347 WITH SCORE 70444.489
AT ITER 4924 NEW BEST:: SOT 295409 SOS 97456 HAS SOPS 97456 HAS SOUS 70314 HAS SOUPS 70314 WITH SCORE 70411.456
AT ITER 4943 NEW BEST:: SOT 295479 SOS 97447 HAS SOPS 97447 HAS SOUS 70305 HAS SOUPS 70305 WITH SCORE 70402.447
AT ITER 4950 NEW BEST:: SOT 295404 SOS 97269 HAS SOPS 97269 HAS SOUS 70155 HAS SOUPS 70155 WITH SCORE 70252.269
AT ITER 4957 NEW BEST:: SOT 295404 SOS 97269 HAS SOPS 97269 HAS SOUS 70146 HAS SOUPS 70146 WITH SCORE 70243.269
AT ITER 4991 NEW BEST:: SOT 295383 SOS 97227 HAS SOPS 97227 HAS SOUS 70068 HAS SOUPS 70068 WITH SCORE 70165.227
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-00 ( (! (EU( potential( (tk(P448)) <= (tk(P208)) ),potential( ( 3 ) <= (tk(P513)) ) ))) & ( (! potential( (tk(P374)) <= (tk(P582)) )) | ( (AF(potential( (tk(P471)) <= (tk(P456)) ))) | potential( (tk(P393)) <= (tk(P761)) ) ) ) )
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-01 (AG( (! (! ( potential( (tk(P525)) <= (tk(P195)) ) | potential( ( 2 ) <= (tk(P636)) ) )))))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-02 (EU( ( (! potential( ( 1 ) <= (tk(P672)) )) | ( potential( ( 3 ) <= (tk(P39)) ) & potential( (tk(P622)) <= (tk(P343)) ) ) ),( ( potential( ( 1 ) <= (tk(P720)) ) | potential( ( 3 ) <= (tk(P31)) ) ) & potential( ( 2 ) <= (tk(P290)) ) ) ))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-03 (EF(( potential( (tk(P430)) <= (tk(P179)) ) & ( potential( ( 2 ) <= (tk(P659)) ) | ( potential( ( 1 ) <= (tk(P646)) ) & potential( ( 3 ) <= (tk(P379)) ) ) ) )))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-04 (EU( (! (! potential( (tk(P200)) <= (tk(P573)) ))),( ( potential( ( 1 ) <= (tk(P465)) ) & potential( ( 1 ) <= (tk(P405)) ) ) & ( potential( (tk(P713)) <= (tk(P2)) ) & potential( ( 1 ) <= (tk(P243)) ) ) ) ))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-05 (! (! ( (! ( potential( (tk(P655)) <= (tk(P347)) ) | potential( ( 3 ) <= (tk(P229)) ) )) | (AG( potential( (tk(P537)) <= (tk(P52)) ))) )))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-06 (EF(( (! (! potential( (tk(P269)) <= (tk(P65)) ))) & (EF(potential( ( 2 ) <= (tk(P485)) ))) )))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-07 (AG( (! (AF(potential( ( 1 ) <= (tk(P679)) ))))))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-08 (AX( (EF(potential( ( 2 ) <= (tk(P457)) )))))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-09 (EF(potential( ( 3 ) <= (tk(P175)) )))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-10 (AG( (! (EF(potential( ( 1 ) <= (tk(P191)) ))))))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-11 ( (! (AG( potential( (tk(P118)) <= (tk(P264)) )))) | (EX( (EG( potential( ( 3 ) <= (tk(P771)) ))))) )
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-12 (AG( (EU( potential( ( 1 ) <= (tk(P667)) ),potential( (tk(P403)) <= (tk(P157)) ) ))))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-13 (AG( (! ( potential( (tk(P578)) <= (tk(P211)) ) & (! potential( (tk(P196)) <= (tk(P535)) )) ))))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-14 (! (EU( ( potential( (tk(P147)) <= (tk(P740)) ) | potential( ( 3 ) <= (tk(P64)) ) ),( potential( ( 2 ) <= (tk(P127)) ) | potential( ( 2 ) <= (tk(P622)) ) ) )))
PROPERTY: BusinessProcesses-PT-19-CTLCardinality-15 (EG( (EF(( potential( ( 2 ) <= (tk(P392)) ) & potential( (tk(P153)) <= (tk(P588)) ) )))))

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="BusinessProcesses-PT-19"
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 BusinessProcesses-PT-19, 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 r018-oct2-158897680200595"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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