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-158897679500067.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 BART-PT-002, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500067
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.0K Apr 15 13:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 15 13:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 15 13:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 15 13:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 85K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 236K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 71K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 203K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K Apr 15 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 15 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Apr 15 13:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 15 13:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 15 13:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Apr 15 13:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 534K 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 BART-PT-002-CTLCardinality-00
FORMULA_NAME BART-PT-002-CTLCardinality-01
FORMULA_NAME BART-PT-002-CTLCardinality-02
FORMULA_NAME BART-PT-002-CTLCardinality-03
FORMULA_NAME BART-PT-002-CTLCardinality-04
FORMULA_NAME BART-PT-002-CTLCardinality-05
FORMULA_NAME BART-PT-002-CTLCardinality-06
FORMULA_NAME BART-PT-002-CTLCardinality-07
FORMULA_NAME BART-PT-002-CTLCardinality-08
FORMULA_NAME BART-PT-002-CTLCardinality-09
FORMULA_NAME BART-PT-002-CTLCardinality-10
FORMULA_NAME BART-PT-002-CTLCardinality-11
FORMULA_NAME BART-PT-002-CTLCardinality-12
FORMULA_NAME BART-PT-002-CTLCardinality-13
FORMULA_NAME BART-PT-002-CTLCardinality-14
FORMULA_NAME BART-PT-002-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589012443120

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 002
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: 474 places, 404 transitions, 3240 arcs.
AT ITER 0 NEW BEST:: SOT 148094 SOS 89363 HAS SOPS 54948 HAS SOUS 62508 HAS SOUPS 47851 WITH SCORE 47940.363
AT ITER 2 NEW BEST:: SOT 144642 SOS 87728 HAS SOPS 55993 HAS SOUS 59333 HAS SOUPS 47356 WITH SCORE 47443.728
AT ITER 9 NEW BEST:: SOT 145641 SOS 81701 HAS SOPS 49039 HAS SOUS 60432 HAS SOUPS 47096 WITH SCORE 47177.701
AT ITER 10 NEW BEST:: SOT 145597 SOS 81605 HAS SOPS 49039 HAS SOUS 60367 HAS SOUPS 47096 WITH SCORE 47177.605
AT ITER 13 NEW BEST:: SOT 145552 SOS 81560 HAS SOPS 48890 HAS SOUS 60297 HAS SOUPS 46948 WITH SCORE 47029.56
AT ITER 14 NEW BEST:: SOT 145505 SOS 81513 HAS SOPS 48740 HAS SOUS 60148 HAS SOUPS 46719 WITH SCORE 46800.513
AT ITER 16 NEW BEST:: SOT 145464 SOS 81472 HAS SOPS 48768 HAS SOUS 60091 HAS SOUPS 46637 WITH SCORE 46718.472
AT ITER 17 NEW BEST:: SOT 145265 SOS 81109 HAS SOPS 48716 HAS SOUS 59999 HAS SOUPS 46586 WITH SCORE 46667.109
AT ITER 19 NEW BEST:: SOT 145238 SOS 81082 HAS SOPS 48710 HAS SOUS 59994 HAS SOUPS 46531 WITH SCORE 46612.082
AT ITER 21 NEW BEST:: SOT 145238 SOS 81082 HAS SOPS 48643 HAS SOUS 59928 HAS SOUPS 46399 WITH SCORE 46480.082
AT ITER 29 NEW BEST:: SOT 145044 SOS 80724 HAS SOPS 48563 HAS SOUS 59808 HAS SOUPS 46320 WITH SCORE 46400.724
AT ITER 41 NEW BEST:: SOT 145014 SOS 80694 HAS SOPS 48492 HAS SOUS 59703 HAS SOUPS 46185 WITH SCORE 46265.694
AT ITER 42 NEW BEST:: SOT 145014 SOS 80707 HAS SOPS 48453 HAS SOUS 59664 HAS SOUPS 46094 WITH SCORE 46174.707
AT ITER 43 NEW BEST:: SOT 145014 SOS 80707 HAS SOPS 48378 HAS SOUS 59633 HAS SOUPS 46009 WITH SCORE 46089.707
AT ITER 47 NEW BEST:: SOT 144965 SOS 80658 HAS SOPS 48335 HAS SOUS 59584 HAS SOUPS 45966 WITH SCORE 46046.658
AT ITER 48 NEW BEST:: SOT 144833 SOS 80526 HAS SOPS 48255 HAS SOUS 59561 HAS SOUPS 45943 WITH SCORE 46023.526
AT ITER 52 NEW BEST:: SOT 144833 SOS 80402 HAS SOPS 48255 HAS SOUS 59530 HAS SOUPS 45943 WITH SCORE 46023.402
AT ITER 54 NEW BEST:: SOT 144790 SOS 80359 HAS SOPS 48291 HAS SOUS 59539 HAS SOUPS 45919 WITH SCORE 45999.359
AT ITER 56 NEW BEST:: SOT 144790 SOS 80295 HAS SOPS 48291 HAS SOUS 59523 HAS SOUPS 45919 WITH SCORE 45999.295
AT ITER 59 NEW BEST:: SOT 144794 SOS 80313 HAS SOPS 48288 HAS SOUS 59534 HAS SOUPS 45916 WITH SCORE 45996.313
AT ITER 63 NEW BEST:: SOT 144614 SOS 79806 HAS SOPS 48210 HAS SOUS 59408 HAS SOUPS 45905 WITH SCORE 45984.806
AT ITER 64 NEW BEST:: SOT 144416 SOS 79608 HAS SOPS 48132 HAS SOUS 59331 HAS SOUPS 45828 WITH SCORE 45907.608
AT ITER 68 NEW BEST:: SOT 144221 SOS 79250 HAS SOPS 48094 HAS SOUS 59253 HAS SOUPS 45791 WITH SCORE 45870.25
AT ITER 69 NEW BEST:: SOT 144195 SOS 79198 HAS SOPS 48094 HAS SOUS 59222 HAS SOUPS 45786 WITH SCORE 45865.198
AT ITER 76 NEW BEST:: SOT 144195 SOS 79121 HAS SOPS 48094 HAS SOUS 59203 HAS SOUPS 45786 WITH SCORE 45865.121
AT ITER 77 NEW BEST:: SOT 144195 SOS 79057 HAS SOPS 48094 HAS SOUS 59157 HAS SOUPS 45786 WITH SCORE 45865.057
AT ITER 80 NEW BEST:: SOT 144225 SOS 79175 HAS SOPS 48087 HAS SOUS 59248 HAS SOUPS 45779 WITH SCORE 45858.175
AT ITER 82 NEW BEST:: SOT 144042 SOS 78992 HAS SOPS 48009 HAS SOUS 59171 HAS SOUPS 45702 WITH SCORE 45780.992
AT ITER 84 NEW BEST:: SOT 144042 SOS 78992 HAS SOPS 47977 HAS SOUS 59139 HAS SOUPS 45670 WITH SCORE 45748.992
AT ITER 85 NEW BEST:: SOT 143847 SOS 78295 HAS SOPS 47897 HAS SOUS 58904 HAS SOUPS 45591 WITH SCORE 45669.295
AT ITER 101 NEW BEST:: SOT 143641 SOS 78089 HAS SOPS 47819 HAS SOUS 58827 HAS SOUPS 45514 WITH SCORE 45592.089
AT ITER 102 NEW BEST:: SOT 143619 SOS 78107 HAS SOPS 47813 HAS SOUS 58805 HAS SOUPS 45470 WITH SCORE 45548.107
AT ITER 106 NEW BEST:: SOT 143460 SOS 77948 HAS SOPS 47733 HAS SOUS 58726 HAS SOUPS 45391 WITH SCORE 45468.948
AT ITER 107 NEW BEST:: SOT 143481 SOS 78033 HAS SOPS 47690 HAS SOUS 58779 HAS SOUPS 45348 WITH SCORE 45426.033
AT ITER 110 NEW BEST:: SOT 143481 SOS 77973 HAS SOPS 47690 HAS SOUS 58756 HAS SOUPS 45348 WITH SCORE 45425.973
AT ITER 113 NEW BEST:: SOT 143481 SOS 77973 HAS SOPS 47664 HAS SOUS 58677 HAS SOUPS 45269 WITH SCORE 45346.973
AT ITER 123 NEW BEST:: SOT 143481 SOS 77973 HAS SOPS 47664 HAS SOUS 58612 HAS SOUPS 45204 WITH SCORE 45281.973
AT ITER 125 NEW BEST:: SOT 143471 SOS 77963 HAS SOPS 47662 HAS SOUS 58612 HAS SOUPS 45193 WITH SCORE 45270.963
AT ITER 128 NEW BEST:: SOT 143436 SOS 77928 HAS SOPS 47688 HAS SOUS 58604 HAS SOUPS 45163 WITH SCORE 45240.928
AT ITER 131 NEW BEST:: SOT 143464 SOS 77997 HAS SOPS 47642 HAS SOUS 58685 HAS SOUPS 45117 WITH SCORE 45194.997
AT ITER 140 NEW BEST:: SOT 143464 SOS 77947 HAS SOPS 47642 HAS SOUS 58659 HAS SOUPS 45117 WITH SCORE 45194.947
AT ITER 142 NEW BEST:: SOT 143464 SOS 77947 HAS SOPS 47656 HAS SOUS 58644 HAS SOUPS 45101 WITH SCORE 45178.947
AT ITER 157 NEW BEST:: SOT 143464 SOS 77909 HAS SOPS 47656 HAS SOUS 58666 HAS SOUPS 45101 WITH SCORE 45178.909
AT ITER 162 NEW BEST:: SOT 143464 SOS 77765 HAS SOPS 47656 HAS SOUS 58630 HAS SOUPS 45101 WITH SCORE 45178.765
AT ITER 163 NEW BEST:: SOT 143488 SOS 77857 HAS SOPS 47646 HAS SOUS 58683 HAS SOUPS 45091 WITH SCORE 45168.857
AT ITER 165 NEW BEST:: SOT 143504 SOS 77939 HAS SOPS 47625 HAS SOUS 58732 HAS SOUPS 45070 WITH SCORE 45147.939
AT ITER 171 NEW BEST:: SOT 143493 SOS 77928 HAS SOPS 47574 HAS SOUS 58659 HAS SOUPS 44986 WITH SCORE 45063.928
AT ITER 181 NEW BEST:: SOT 143493 SOS 77928 HAS SOPS 47570 HAS SOUS 58659 HAS SOUPS 44982 WITH SCORE 45059.928
AT ITER 185 NEW BEST:: SOT 143493 SOS 77928 HAS SOPS 47430 HAS SOUS 58561 HAS SOUPS 44842 WITH SCORE 44919.928
AT ITER 189 NEW BEST:: SOT 143493 SOS 77928 HAS SOPS 47400 HAS SOUS 58561 HAS SOUPS 44813 WITH SCORE 44890.928
AT ITER 195 NEW BEST:: SOT 143493 SOS 77928 HAS SOPS 47282 HAS SOUS 58522 HAS SOUPS 44715 WITH SCORE 44792.928
AT ITER 197 NEW BEST:: SOT 143530 SOS 77965 HAS SOPS 47058 HAS SOUS 58749 HAS SOUPS 44681 WITH SCORE 44758.965
AT ITER 201 NEW BEST:: SOT 140824 SOS 111284 HAS SOPS 44352 HAS SOUS 56533 HAS SOUPS 42088 WITH SCORE 42199.284
AT ITER 203 NEW BEST:: SOT 140791 SOS 111251 HAS SOPS 44348 HAS SOUS 56513 HAS SOUPS 42041 WITH SCORE 42152.251
AT ITER 206 NEW BEST:: SOT 140703 SOS 111163 HAS SOPS 44235 HAS SOUS 56360 HAS SOUPS 41864 WITH SCORE 41975.163
AT ITER 209 NEW BEST:: SOT 140703 SOS 111172 HAS SOPS 44231 HAS SOUS 56356 HAS SOUPS 41860 WITH SCORE 41971.172
AT ITER 211 NEW BEST:: SOT 140765 SOS 111234 HAS SOPS 44168 HAS SOUS 56480 HAS SOUPS 41797 WITH SCORE 41908.234
AT ITER 218 NEW BEST:: SOT 140850 SOS 111319 HAS SOPS 44157 HAS SOUS 56462 HAS SOUPS 41729 WITH SCORE 41840.319
AT ITER 219 NEW BEST:: SOT 140850 SOS 111319 HAS SOPS 44083 HAS SOUS 56425 HAS SOUPS 41655 WITH SCORE 41766.319
AT ITER 227 NEW BEST:: SOT 140919 SOS 111388 HAS SOPS 44056 HAS SOUS 56564 HAS SOUPS 41628 WITH SCORE 41739.388
AT ITER 243 NEW BEST:: SOT 140999 SOS 111468 HAS SOPS 44020 HAS SOUS 56567 HAS SOUPS 41553 WITH SCORE 41664.468
AT ITER 244 NEW BEST:: SOT 140972 SOS 111441 HAS SOPS 44042 HAS SOUS 56508 HAS SOUPS 41499 WITH SCORE 41610.441
AT ITER 254 NEW BEST:: SOT 140874 SOS 111343 HAS SOPS 44010 HAS SOUS 56477 HAS SOUPS 41468 WITH SCORE 41579.343
AT ITER 293 NEW BEST:: SOT 140874 SOS 111297 HAS SOPS 44010 HAS SOUS 56454 HAS SOUPS 41468 WITH SCORE 41579.297
AT ITER 295 NEW BEST:: SOT 140910 SOS 111435 HAS SOPS 43968 HAS SOUS 56503 HAS SOUPS 41426 WITH SCORE 41537.435
AT ITER 300 NEW BEST:: SOT 140836 SOS 111351 HAS SOPS 43896 HAS SOUS 56461 HAS SOUPS 41394 WITH SCORE 41505.351
AT ITER 301 NEW BEST:: SOT 140836 SOS 111351 HAS SOPS 43892 HAS SOUS 56457 HAS SOUPS 41390 WITH SCORE 41501.351
AT ITER 302 NEW BEST:: SOT 140836 SOS 111351 HAS SOPS 43892 HAS SOUS 56444 HAS SOUPS 41377 WITH SCORE 41488.351
AT ITER 307 NEW BEST:: SOT 140823 SOS 111338 HAS SOPS 43879 HAS SOUS 56431 HAS SOUPS 41364 WITH SCORE 41475.338
AT ITER 317 NEW BEST:: SOT 140823 SOS 111338 HAS SOPS 43872 HAS SOUS 56424 HAS SOUPS 41357 WITH SCORE 41468.338
AT ITER 318 NEW BEST:: SOT 141020 SOS 111535 HAS SOPS 43805 HAS SOUS 56577 HAS SOUPS 41290 WITH SCORE 41401.535
AT ITER 327 NEW BEST:: SOT 141009 SOS 111648 HAS SOPS 43794 HAS SOUS 56626 HAS SOUPS 41279 WITH SCORE 41390.648
AT ITER 338 NEW BEST:: SOT 140955 SOS 111558 HAS SOPS 43809 HAS SOUS 56571 HAS SOUPS 41260 WITH SCORE 41371.558
AT ITER 340 NEW BEST:: SOT 140898 SOS 111501 HAS SOPS 43655 HAS SOUS 56511 HAS SOUPS 41122 WITH SCORE 41233.501
AT ITER 368 NEW BEST:: SOT 140958 SOS 111561 HAS SOPS 43617 HAS SOUS 56412 HAS SOUPS 41006 WITH SCORE 41117.561
AT ITER 373 NEW BEST:: SOT 140897 SOS 111500 HAS SOPS 43495 HAS SOUS 56286 HAS SOUPS 40864 WITH SCORE 40975.5
AT ITER 385 NEW BEST:: SOT 140858 SOS 111461 HAS SOPS 43456 HAS SOUS 56247 HAS SOUPS 40825 WITH SCORE 40936.461
AT ITER 386 NEW BEST:: SOT 140786 SOS 111267 HAS SOPS 43456 HAS SOUS 56149 HAS SOUPS 40825 WITH SCORE 40936.267
AT ITER 402 NEW BEST:: SOT 140763 SOS 111244 HAS SOPS 43409 HAS SOUS 56111 HAS SOUPS 40800 WITH SCORE 40911.244
AT ITER 408 NEW BEST:: SOT 140630 SOS 111111 HAS SOPS 43374 HAS SOUS 55924 HAS SOUPS 40766 WITH SCORE 40877.111
AT ITER 420 NEW BEST:: SOT 140571 SOS 111014 HAS SOPS 43416 HAS SOUS 55804 HAS SOUPS 40734 WITH SCORE 40845.014
AT ITER 422 NEW BEST:: SOT 140444 SOS 110887 HAS SOPS 43402 HAS SOUS 55798 HAS SOUPS 40728 WITH SCORE 40838.887
AT ITER 427 NEW BEST:: SOT 140444 SOS 110916 HAS SOPS 43383 HAS SOUS 55809 HAS SOUPS 40710 WITH SCORE 40820.916
AT ITER 450 NEW BEST:: SOT 140442 SOS 110914 HAS SOPS 43381 HAS SOUS 55903 HAS SOUPS 40708 WITH SCORE 40818.914
AT ITER 451 NEW BEST:: SOT 140391 SOS 110863 HAS SOPS 43198 HAS SOUS 55857 HAS SOUPS 40588 WITH SCORE 40698.863
AT ITER 455 NEW BEST:: SOT 140330 SOS 110802 HAS SOPS 43137 HAS SOUS 55895 HAS SOUPS 40527 WITH SCORE 40637.802
AT ITER 466 NEW BEST:: SOT 140366 SOS 110838 HAS SOPS 43082 HAS SOUS 55931 HAS SOUPS 40464 WITH SCORE 40574.838
AT ITER 478 NEW BEST:: SOT 140366 SOS 110752 HAS SOPS 43082 HAS SOUS 55908 HAS SOUPS 40464 WITH SCORE 40574.752
AT ITER 485 NEW BEST:: SOT 136088 SOS 106474 HAS SOPS 38548 HAS SOUS 57658 HAS SOUPS 36858 WITH SCORE 36964.474
AT ITER 500 NEW BEST:: SOT 135919 SOS 106247 HAS SOPS 38397 HAS SOUS 57370 HAS SOUPS 36628 WITH SCORE 36734.247
AT ITER 504 NEW BEST:: SOT 135919 SOS 106267 HAS SOPS 38377 HAS SOUS 57370 HAS SOUPS 36608 WITH SCORE 36714.267
AT ITER 506 NEW BEST:: SOT 135895 SOS 106275 HAS SOPS 38311 HAS SOUS 57301 HAS SOUPS 36542 WITH SCORE 36648.275
AT ITER 519 NEW BEST:: SOT 135893 SOS 106273 HAS SOPS 38309 HAS SOUS 57299 HAS SOUPS 36540 WITH SCORE 36646.273
AT ITER 523 NEW BEST:: SOT 135867 SOS 106247 HAS SOPS 38257 HAS SOUS 57273 HAS SOUPS 36488 WITH SCORE 36594.247
AT ITER 538 NEW BEST:: SOT 135874 SOS 106254 HAS SOPS 38114 HAS SOUS 57393 HAS SOUPS 36345 WITH SCORE 36451.254
AT ITER 560 NEW BEST:: SOT 135874 SOS 106219 HAS SOPS 38114 HAS SOUS 57422 HAS SOUPS 36273 WITH SCORE 36379.219
AT ITER 565 NEW BEST:: SOT 136014 SOS 106359 HAS SOPS 38025 HAS SOUS 57423 HAS SOUPS 36184 WITH SCORE 36290.359
AT ITER 569 NEW BEST:: SOT 136039 SOS 106478 HAS SOPS 37936 HAS SOUS 57478 HAS SOUPS 36095 WITH SCORE 36201.478
AT ITER 572 NEW BEST:: SOT 136099 SOS 106538 HAS SOPS 37888 HAS SOUS 57476 HAS SOUPS 36047 WITH SCORE 36153.538
AT ITER 575 NEW BEST:: SOT 136270 SOS 106563 HAS SOPS 37576 HAS SOUS 57199 HAS SOUPS 35745 WITH SCORE 35851.563
AT ITER 594 NEW BEST:: SOT 136148 SOS 106441 HAS SOPS 37561 HAS SOUS 57077 HAS SOUPS 35730 WITH SCORE 35836.441
AT ITER 612 NEW BEST:: SOT 136174 SOS 106581 HAS SOPS 37526 HAS SOUS 57129 HAS SOUPS 35695 WITH SCORE 35801.581
AT ITER 617 NEW BEST:: SOT 136404 SOS 106811 HAS SOPS 37473 HAS SOUS 57455 HAS SOUPS 35642 WITH SCORE 35748.811
AT ITER 627 NEW BEST:: SOT 136245 SOS 106600 HAS SOPS 37412 HAS SOUS 57252 HAS SOUPS 35527 WITH SCORE 35633.6
AT ITER 643 NEW BEST:: SOT 136245 SOS 106556 HAS SOPS 37412 HAS SOUS 57208 HAS SOUPS 35527 WITH SCORE 35633.556
AT ITER 647 NEW BEST:: SOT 136220 SOS 106531 HAS SOPS 37412 HAS SOUS 57208 HAS SOUPS 35527 WITH SCORE 35633.531
AT ITER 652 NEW BEST:: SOT 136077 SOS 106335 HAS SOPS 37414 HAS SOUS 56993 HAS SOUPS 35444 WITH SCORE 35550.335
AT ITER 653 NEW BEST:: SOT 136073 SOS 106309 HAS SOPS 37406 HAS SOUS 56733 HAS SOUPS 35436 WITH SCORE 35542.309
AT ITER 656 NEW BEST:: SOT 135885 SOS 106121 HAS SOPS 37218 HAS SOUS 56545 HAS SOUPS 35248 WITH SCORE 35354.121
AT ITER 675 NEW BEST:: SOT 135907 SOS 106143 HAS SOPS 37207 HAS SOUS 56586 HAS SOUPS 35237 WITH SCORE 35343.143
AT ITER 685 NEW BEST:: SOT 135679 SOS 105927 HAS SOPS 37167 HAS SOUS 56469 HAS SOUPS 35197 WITH SCORE 35302.927
AT ITER 689 NEW BEST:: SOT 135679 SOS 98041 HAS SOPS 37167 HAS SOUS 56469 HAS SOUPS 35197 WITH SCORE 35295.041
AT ITER 693 NEW BEST:: SOT 135079 SOS 98844 HAS SOPS 36567 HAS SOUS 55863 HAS SOUPS 34597 WITH SCORE 34695.844
AT ITER 695 NEW BEST:: SOT 134941 SOS 98706 HAS SOPS 36558 HAS SOUS 55511 HAS SOUPS 34588 WITH SCORE 34686.706
AT ITER 703 NEW BEST:: SOT 134911 SOS 98676 HAS SOPS 36529 HAS SOUS 55450 HAS SOUPS 34559 WITH SCORE 34657.676
AT ITER 714 NEW BEST:: SOT 134909 SOS 98674 HAS SOPS 36525 HAS SOUS 55448 HAS SOUPS 34555 WITH SCORE 34653.674
AT ITER 715 NEW BEST:: SOT 134829 SOS 98558 HAS SOPS 36620 HAS SOUS 55356 HAS SOUPS 34541 WITH SCORE 34639.558
AT ITER 720 NEW BEST:: SOT 134728 SOS 98457 HAS SOPS 36601 HAS SOUS 55255 HAS SOUPS 34522 WITH SCORE 34620.457
AT ITER 721 NEW BEST:: SOT 134815 SOS 98460 HAS SOPS 36688 HAS SOUS 55299 HAS SOUPS 34516 WITH SCORE 34614.46
AT ITER 739 NEW BEST:: SOT 134782 SOS 98427 HAS SOPS 36668 HAS SOUS 55242 HAS SOUPS 34472 WITH SCORE 34570.427
AT ITER 756 NEW BEST:: SOT 134739 SOS 98316 HAS SOPS 36668 HAS SOUS 55199 HAS SOUPS 34472 WITH SCORE 34570.316
AT ITER 765 NEW BEST:: SOT 134739 SOS 98316 HAS SOPS 36640 HAS SOUS 55173 HAS SOUPS 34444 WITH SCORE 34542.316
AT ITER 770 NEW BEST:: SOT 134600 SOS 98092 HAS SOPS 36558 HAS SOUS 54860 HAS SOUPS 34273 WITH SCORE 34371.092
AT ITER 774 NEW BEST:: SOT 134586 SOS 98078 HAS SOPS 36558 HAS SOUS 54846 HAS SOUPS 34273 WITH SCORE 34371.078
AT ITER 775 NEW BEST:: SOT 134585 SOS 98077 HAS SOPS 36525 HAS SOUS 55019 HAS SOUPS 34240 WITH SCORE 34338.077
AT ITER 778 NEW BEST:: SOT 134564 SOS 98056 HAS SOPS 36483 HAS SOUS 54981 HAS SOUPS 34198 WITH SCORE 34296.056
AT ITER 803 NEW BEST:: SOT 134554 SOS 98246 HAS SOPS 36473 HAS SOUS 55180 HAS SOUPS 34188 WITH SCORE 34286.246
AT ITER 804 NEW BEST:: SOT 134520 SOS 98212 HAS SOPS 36424 HAS SOUS 55131 HAS SOUPS 34139 WITH SCORE 34237.212
AT ITER 812 NEW BEST:: SOT 134512 SOS 98188 HAS SOPS 36424 HAS SOUS 55123 HAS SOUPS 34139 WITH SCORE 34237.188
AT ITER 820 NEW BEST:: SOT 134511 SOS 98187 HAS SOPS 36422 HAS SOUS 55122 HAS SOUPS 34137 WITH SCORE 34235.187
AT ITER 831 NEW BEST:: SOT 134102 SOS 97778 HAS SOPS 35912 HAS SOUS 54657 HAS SOUPS 33627 WITH SCORE 33724.778
AT ITER 834 NEW BEST:: SOT 134079 SOS 97755 HAS SOPS 35820 HAS SOUS 54611 HAS SOUPS 33535 WITH SCORE 33632.755
AT ITER 835 NEW BEST:: SOT 134079 SOS 97723 HAS SOPS 35820 HAS SOUS 54677 HAS SOUPS 33535 WITH SCORE 33632.723
AT ITER 847 NEW BEST:: SOT 134137 SOS 97822 HAS SOPS 35784 HAS SOUS 54745 HAS SOUPS 33499 WITH SCORE 33596.822
AT ITER 853 NEW BEST:: SOT 134617 SOS 98302 HAS SOPS 35631 HAS SOUS 55282 HAS SOUPS 33346 WITH SCORE 33444.302
AT ITER 855 NEW BEST:: SOT 134617 SOS 98302 HAS SOPS 35624 HAS SOUS 55282 HAS SOUPS 33339 WITH SCORE 33437.302
AT ITER 856 NEW BEST:: SOT 134658 SOS 98344 HAS SOPS 35572 HAS SOUS 55237 HAS SOUPS 33254 WITH SCORE 33352.344
AT ITER 863 NEW BEST:: SOT 134616 SOS 98302 HAS SOPS 35572 HAS SOUS 55237 HAS SOUPS 33254 WITH SCORE 33352.302
AT ITER 878 NEW BEST:: SOT 134569 SOS 98255 HAS SOPS 35431 HAS SOUS 55190 HAS SOUPS 33113 WITH SCORE 33211.255
AT ITER 886 NEW BEST:: SOT 134575 SOS 98271 HAS SOPS 35392 HAS SOUS 55201 HAS SOUPS 33074 WITH SCORE 33172.271
AT ITER 892 NEW BEST:: SOT 134566 SOS 98210 HAS SOPS 35383 HAS SOUS 55285 HAS SOUPS 33065 WITH SCORE 33163.21
AT ITER 894 NEW BEST:: SOT 134487 SOS 98131 HAS SOPS 35383 HAS SOUS 55072 HAS SOUPS 33065 WITH SCORE 33163.131
AT ITER 895 NEW BEST:: SOT 134487 SOS 98050 HAS SOPS 35383 HAS SOUS 54983 HAS SOUPS 33065 WITH SCORE 33163.05
AT ITER 899 NEW BEST:: SOT 134406 SOS 97969 HAS SOPS 35228 HAS SOUS 54828 HAS SOUPS 32910 WITH SCORE 33007.969
AT ITER 911 NEW BEST:: SOT 134298 SOS 97789 HAS SOPS 35181 HAS SOUS 54523 HAS SOUPS 32709 WITH SCORE 32806.789
AT ITER 912 NEW BEST:: SOT 134293 SOS 97784 HAS SOPS 35176 HAS SOUS 54518 HAS SOUPS 32704 WITH SCORE 32801.784
AT ITER 913 NEW BEST:: SOT 134225 SOS 97716 HAS SOPS 35112 HAS SOUS 54450 HAS SOUPS 32640 WITH SCORE 32737.716
AT ITER 918 NEW BEST:: SOT 134124 SOS 97624 HAS SOPS 35090 HAS SOUS 54392 HAS SOUPS 32618 WITH SCORE 32715.624
AT ITER 930 NEW BEST:: SOT 134212 SOS 97712 HAS SOPS 35071 HAS SOUS 54404 HAS SOUPS 32599 WITH SCORE 32696.712
AT ITER 933 NEW BEST:: SOT 134088 SOS 97529 HAS SOPS 35013 HAS SOUS 54101 HAS SOUPS 32421 WITH SCORE 32518.529
AT ITER 937 NEW BEST:: SOT 134074 SOS 97515 HAS SOPS 34999 HAS SOUS 54087 HAS SOUPS 32407 WITH SCORE 32504.515
AT ITER 955 NEW BEST:: SOT 134119 SOS 97509 HAS SOPS 34973 HAS SOUS 54204 HAS SOUPS 32381 WITH SCORE 32478.509
AT ITER 964 NEW BEST:: SOT 134468 SOS 97799 HAS SOPS 34856 HAS SOUS 54266 HAS SOUPS 32264 WITH SCORE 32361.799
AT ITER 997 NEW BEST:: SOT 134536 SOS 97995 HAS SOPS 34800 HAS SOUS 54401 HAS SOUPS 32208 WITH SCORE 32305.995
AT ITER 1000 NEW BEST:: SOT 134509 SOS 97968 HAS SOPS 34800 HAS SOUS 54375 HAS SOUPS 32208 WITH SCORE 32305.968
AT ITER 1006 NEW BEST:: SOT 134410 SOS 97869 HAS SOPS 34762 HAS SOUS 54279 HAS SOUPS 32170 WITH SCORE 32267.869
AT ITER 1011 NEW BEST:: SOT 134416 SOS 97885 HAS SOPS 34759 HAS SOUS 54290 HAS SOUPS 32167 WITH SCORE 32264.885
AT ITER 1015 NEW BEST:: SOT 134416 SOS 97877 HAS SOPS 34759 HAS SOUS 54267 HAS SOUPS 32167 WITH SCORE 32264.877
AT ITER 1020 NEW BEST:: SOT 134460 SOS 97989 HAS SOPS 34729 HAS SOUS 54344 HAS SOUPS 32137 WITH SCORE 32234.989
AT ITER 1044 NEW BEST:: SOT 134468 SOS 98017 HAS SOPS 34725 HAS SOUS 54352 HAS SOUPS 32133 WITH SCORE 32231.017
AT ITER 1045 NEW BEST:: SOT 134450 SOS 97999 HAS SOPS 34707 HAS SOUS 54370 HAS SOUPS 32115 WITH SCORE 32212.999
AT ITER 1048 NEW BEST:: SOT 134450 SOS 97999 HAS SOPS 34697 HAS SOUS 54355 HAS SOUPS 32100 WITH SCORE 32197.999
AT ITER 1051 NEW BEST:: SOT 134450 SOS 98002 HAS SOPS 34681 HAS SOUS 54342 HAS SOUPS 32084 WITH SCORE 32182.002
AT ITER 1063 NEW BEST:: SOT 134383 SOS 97924 HAS SOPS 34614 HAS SOUS 54234 HAS SOUPS 31989 WITH SCORE 32086.924
AT ITER 1074 NEW BEST:: SOT 134379 SOS 97920 HAS SOPS 34611 HAS SOUS 54225 HAS SOUPS 31986 WITH SCORE 32083.92
AT ITER 1085 NEW BEST:: SOT 134382 SOS 97923 HAS SOPS 34609 HAS SOUS 54228 HAS SOUPS 31984 WITH SCORE 32081.923
AT ITER 1094 NEW BEST:: SOT 134363 SOS 97904 HAS SOPS 34609 HAS SOUS 54209 HAS SOUPS 31984 WITH SCORE 32081.904
AT ITER 1095 NEW BEST:: SOT 134278 SOS 97783 HAS SOPS 34595 HAS SOUS 54100 HAS SOUPS 31967 WITH SCORE 32064.783
AT ITER 1098 NEW BEST:: SOT 134273 SOS 97780 HAS SOPS 34587 HAS SOUS 54103 HAS SOUPS 31959 WITH SCORE 32056.78
AT ITER 1112 NEW BEST:: SOT 134273 SOS 97774 HAS SOPS 34587 HAS SOUS 54082 HAS SOUPS 31959 WITH SCORE 32056.774
AT ITER 1124 NEW BEST:: SOT 134264 SOS 97747 HAS SOPS 34587 HAS SOUS 54073 HAS SOUPS 31959 WITH SCORE 32056.747
AT ITER 1134 NEW BEST:: SOT 134264 SOS 97744 HAS SOPS 34587 HAS SOUS 54131 HAS SOUPS 31959 WITH SCORE 32056.744
AT ITER 1137 NEW BEST:: SOT 134264 SOS 97744 HAS SOPS 34584 HAS SOUS 54131 HAS SOUPS 31956 WITH SCORE 32053.744
AT ITER 1145 NEW BEST:: SOT 133958 SOS 97453 HAS SOPS 34456 HAS SOUS 54095 HAS SOUPS 31920 WITH SCORE 32017.453
AT ITER 1147 NEW BEST:: SOT 133684 SOS 97313 HAS SOPS 34557 HAS SOUS 53841 HAS SOUPS 31907 WITH SCORE 32004.313
AT ITER 1154 NEW BEST:: SOT 133841 SOS 97429 HAS SOPS 34340 HAS SOUS 54312 HAS SOUPS 31690 WITH SCORE 31787.429
AT ITER 1163 NEW BEST:: SOT 133834 SOS 97422 HAS SOPS 34331 HAS SOUS 54241 HAS SOUPS 31681 WITH SCORE 31778.422
AT ITER 1174 NEW BEST:: SOT 133834 SOS 97366 HAS SOPS 34331 HAS SOUS 54235 HAS SOUPS 31681 WITH SCORE 31778.366
AT ITER 1179 NEW BEST:: SOT 133811 SOS 97343 HAS SOPS 34288 HAS SOUS 54191 HAS SOUPS 31638 WITH SCORE 31735.343
AT ITER 1187 NEW BEST:: SOT 133810 SOS 97342 HAS SOPS 34290 HAS SOUS 54186 HAS SOUPS 31636 WITH SCORE 31733.342
AT ITER 1210 NEW BEST:: SOT 133901 SOS 97433 HAS SOPS 34281 HAS SOUS 54625 HAS SOUPS 31627 WITH SCORE 31724.433
AT ITER 1217 NEW BEST:: SOT 133870 SOS 97366 HAS SOPS 34250 HAS SOUS 54486 HAS SOUPS 31524 WITH SCORE 31621.366
AT ITER 1226 NEW BEST:: SOT 133870 SOS 97274 HAS SOPS 34250 HAS SOUS 54463 HAS SOUPS 31524 WITH SCORE 31621.274
AT ITER 1229 NEW BEST:: SOT 133941 SOS 97345 HAS SOPS 34238 HAS SOUS 54574 HAS SOUPS 31512 WITH SCORE 31609.345
AT ITER 1244 NEW BEST:: SOT 133934 SOS 97338 HAS SOPS 34231 HAS SOUS 54559 HAS SOUPS 31497 WITH SCORE 31594.338
AT ITER 1249 NEW BEST:: SOT 133940 SOS 97344 HAS SOPS 34168 HAS SOUS 54632 HAS SOUPS 31495 WITH SCORE 31592.344
AT ITER 1254 NEW BEST:: SOT 133811 SOS 97215 HAS SOPS 34099 HAS SOUS 54503 HAS SOUPS 31426 WITH SCORE 31523.215
AT ITER 1262 NEW BEST:: SOT 133758 SOS 97162 HAS SOPS 34045 HAS SOUS 54381 HAS SOUPS 31346 WITH SCORE 31443.162
AT ITER 1275 NEW BEST:: SOT 133850 SOS 97243 HAS SOPS 34074 HAS SOUS 54416 HAS SOUPS 31338 WITH SCORE 31435.243
AT ITER 1281 NEW BEST:: SOT 133842 SOS 97235 HAS SOPS 34068 HAS SOUS 54408 HAS SOUPS 31332 WITH SCORE 31429.235
AT ITER 1292 NEW BEST:: SOT 133890 SOS 97283 HAS SOPS 34034 HAS SOUS 54341 HAS SOUPS 31298 WITH SCORE 31395.283
AT ITER 1297 NEW BEST:: SOT 133870 SOS 97263 HAS SOPS 34034 HAS SOUS 54341 HAS SOUPS 31298 WITH SCORE 31395.263
AT ITER 1299 NEW BEST:: SOT 133776 SOS 97133 HAS SOPS 33990 HAS SOUS 54175 HAS SOUPS 31218 WITH SCORE 31315.133
AT ITER 1320 NEW BEST:: SOT 133815 SOS 97172 HAS SOPS 33966 HAS SOUS 54214 HAS SOUPS 31194 WITH SCORE 31291.172
AT ITER 1321 NEW BEST:: SOT 133798 SOS 97155 HAS SOPS 33949 HAS SOUS 54181 HAS SOUPS 31177 WITH SCORE 31274.155
AT ITER 1324 NEW BEST:: SOT 133789 SOS 97146 HAS SOPS 33939 HAS SOUS 54168 HAS SOUPS 31163 WITH SCORE 31260.146
AT ITER 1338 NEW BEST:: SOT 133744 SOS 97094 HAS SOPS 33924 HAS SOUS 54098 HAS SOUPS 31093 WITH SCORE 31190.094
AT ITER 1353 NEW BEST:: SOT 133745 SOS 97097 HAS SOPS 33923 HAS SOUS 54098 HAS SOUPS 31092 WITH SCORE 31189.097
AT ITER 1355 NEW BEST:: SOT 133740 SOS 97092 HAS SOPS 33889 HAS SOUS 54064 HAS SOUPS 31035 WITH SCORE 31132.092
AT ITER 1356 NEW BEST:: SOT 133687 SOS 97039 HAS SOPS 33900 HAS SOUS 53996 HAS SOUPS 31007 WITH SCORE 31104.039
AT ITER 1366 NEW BEST:: SOT 133683 SOS 97035 HAS SOPS 33892 HAS SOUS 53940 HAS SOUPS 30999 WITH SCORE 31096.035
AT ITER 1377 NEW BEST:: SOT 133666 SOS 97018 HAS SOPS 33847 HAS SOUS 53934 HAS SOUPS 30965 WITH SCORE 31062.018
AT ITER 1390 NEW BEST:: SOT 133574 SOS 96884 HAS SOPS 33755 HAS SOUS 53750 HAS SOUPS 30823 WITH SCORE 30919.884
AT ITER 1398 NEW BEST:: SOT 133501 SOS 96764 HAS SOPS 33755 HAS SOUS 53572 HAS SOUPS 30724 WITH SCORE 30820.764
AT ITER 1407 NEW BEST:: SOT 133486 SOS 96749 HAS SOPS 33740 HAS SOUS 53508 HAS SOUPS 30694 WITH SCORE 30790.749
AT ITER 1414 NEW BEST:: SOT 133537 SOS 96800 HAS SOPS 33738 HAS SOUS 53699 HAS SOUPS 30692 WITH SCORE 30788.8
AT ITER 1416 NEW BEST:: SOT 133519 SOS 96782 HAS SOPS 33702 HAS SOUS 53759 HAS SOUPS 30656 WITH SCORE 30752.782
AT ITER 1419 NEW BEST:: SOT 133567 SOS 96830 HAS SOPS 33674 HAS SOUS 53917 HAS SOUPS 30628 WITH SCORE 30724.83
AT ITER 1433 NEW BEST:: SOT 133482 SOS 96745 HAS SOPS 33674 HAS SOUS 53832 HAS SOUPS 30628 WITH SCORE 30724.745
AT ITER 1483 NEW BEST:: SOT 133578 SOS 96814 HAS SOPS 33614 HAS SOUS 53826 HAS SOUPS 30565 WITH SCORE 30661.814
AT ITER 1484 NEW BEST:: SOT 133606 SOS 96863 HAS SOPS 33577 HAS SOUS 53811 HAS SOUPS 30528 WITH SCORE 30624.863
AT ITER 1488 NEW BEST:: SOT 133450 SOS 96707 HAS SOPS 33421 HAS SOUS 53577 HAS SOUPS 30372 WITH SCORE 30468.707
AT ITER 1491 NEW BEST:: SOT 133450 SOS 96707 HAS SOPS 33418 HAS SOUS 53575 HAS SOUPS 30369 WITH SCORE 30465.707
AT ITER 1500 NEW BEST:: SOT 133450 SOS 96689 HAS SOPS 33418 HAS SOUS 53560 HAS SOUPS 30369 WITH SCORE 30465.689
AT ITER 1503 NEW BEST:: SOT 133389 SOS 96660 HAS SOPS 33357 HAS SOUS 53355 HAS SOUPS 30308 WITH SCORE 30404.66
AT ITER 1509 NEW BEST:: SOT 133286 SOS 96557 HAS SOPS 33254 HAS SOUS 53252 HAS SOUPS 30205 WITH SCORE 30301.557
AT ITER 1520 NEW BEST:: SOT 133224 SOS 96495 HAS SOPS 33254 HAS SOUS 53216 HAS SOUPS 30205 WITH SCORE 30301.495
AT ITER 1530 NEW BEST:: SOT 133315 SOS 96754 HAS SOPS 33231 HAS SOUS 53512 HAS SOUPS 30182 WITH SCORE 30278.754
AT ITER 1531 NEW BEST:: SOT 133312 SOS 96751 HAS SOPS 33231 HAS SOUS 53509 HAS SOUPS 30182 WITH SCORE 30278.751
AT ITER 1538 NEW BEST:: SOT 133246 SOS 96685 HAS SOPS 33231 HAS SOUS 53509 HAS SOUPS 30182 WITH SCORE 30278.685
AT ITER 1543 NEW BEST:: SOT 133239 SOS 96678 HAS SOPS 33231 HAS SOUS 53496 HAS SOUPS 30182 WITH SCORE 30278.678
AT ITER 1544 NEW BEST:: SOT 133156 SOS 96595 HAS SOPS 33214 HAS SOUS 53416 HAS SOUPS 30116 WITH SCORE 30212.595
AT ITER 1552 NEW BEST:: SOT 133180 SOS 96619 HAS SOPS 33078 HAS SOUS 53549 HAS SOUPS 29980 WITH SCORE 30076.619
AT ITER 1558 NEW BEST:: SOT 133190 SOS 96629 HAS SOPS 33068 HAS SOUS 53539 HAS SOUPS 29970 WITH SCORE 30066.629
AT ITER 1562 NEW BEST:: SOT 133058 SOS 96435 HAS SOPS 33079 HAS SOUS 53132 HAS SOUPS 29768 WITH SCORE 29864.435
AT ITER 1565 NEW BEST:: SOT 133058 SOS 96435 HAS SOPS 33038 HAS SOUS 53173 HAS SOUPS 29727 WITH SCORE 29823.435
AT ITER 1574 NEW BEST:: SOT 133058 SOS 96435 HAS SOPS 33012 HAS SOUS 53173 HAS SOUPS 29701 WITH SCORE 29797.435
AT ITER 1579 NEW BEST:: SOT 133056 SOS 96433 HAS SOPS 32984 HAS SOUS 53163 HAS SOUPS 29665 WITH SCORE 29761.433
AT ITER 1595 NEW BEST:: SOT 133123 SOS 96500 HAS SOPS 32935 HAS SOUS 53261 HAS SOUPS 29616 WITH SCORE 29712.5
AT ITER 1601 NEW BEST:: SOT 132990 SOS 96520 HAS SOPS 32802 HAS SOUS 53196 HAS SOUPS 29484 WITH SCORE 29580.52
AT ITER 1614 NEW BEST:: SOT 132742 SOS 96272 HAS SOPS 32682 HAS SOUS 52830 HAS SOUPS 29364 WITH SCORE 29460.272
AT ITER 1618 NEW BEST:: SOT 132641 SOS 96135 HAS SOPS 32678 HAS SOUS 52621 HAS SOUPS 29288 WITH SCORE 29384.135
AT ITER 1619 NEW BEST:: SOT 132696 SOS 96300 HAS SOPS 32623 HAS SOUS 52651 HAS SOUPS 29233 WITH SCORE 29329.3
AT ITER 1630 NEW BEST:: SOT 132709 SOS 96277 HAS SOPS 32636 HAS SOUS 52628 HAS SOUPS 29179 WITH SCORE 29275.277
AT ITER 1635 NEW BEST:: SOT 132548 SOS 96116 HAS SOPS 32620 HAS SOUS 52407 HAS SOUPS 29163 WITH SCORE 29259.116
AT ITER 1639 NEW BEST:: SOT 132448 SOS 96016 HAS SOPS 32611 HAS SOUS 52307 HAS SOUPS 29154 WITH SCORE 29250.016
AT ITER 1643 NEW BEST:: SOT 132440 SOS 96008 HAS SOPS 32603 HAS SOUS 52291 HAS SOUPS 29138 WITH SCORE 29234.008
AT ITER 1651 NEW BEST:: SOT 132366 SOS 95934 HAS SOPS 32603 HAS SOUS 52234 HAS SOUPS 29138 WITH SCORE 29233.934
AT ITER 1654 NEW BEST:: SOT 132301 SOS 95869 HAS SOPS 32538 HAS SOUS 52159 HAS SOUPS 29073 WITH SCORE 29168.869
AT ITER 1661 NEW BEST:: SOT 132301 SOS 95825 HAS SOPS 32538 HAS SOUS 52029 HAS SOUPS 28987 WITH SCORE 29082.825
AT ITER 1672 NEW BEST:: SOT 132356 SOS 95880 HAS SOPS 32482 HAS SOUS 52132 HAS SOUPS 28931 WITH SCORE 29026.88
AT ITER 1699 NEW BEST:: SOT 132286 SOS 95810 HAS SOPS 32480 HAS SOUS 51993 HAS SOUPS 28929 WITH SCORE 29024.81
AT ITER 1710 NEW BEST:: SOT 132286 SOS 95412 HAS SOPS 32480 HAS SOUS 51993 HAS SOUPS 28929 WITH SCORE 29024.412
AT ITER 1730 NEW BEST:: SOT 132322 SOS 95448 HAS SOPS 32409 HAS SOUS 52029 HAS SOUPS 28858 WITH SCORE 28953.448
AT ITER 1731 NEW BEST:: SOT 132328 SOS 95672 HAS SOPS 32352 HAS SOUS 52157 HAS SOUPS 28801 WITH SCORE 28896.672
AT ITER 1732 NEW BEST:: SOT 132328 SOS 95672 HAS SOPS 32337 HAS SOUS 52142 HAS SOUPS 28786 WITH SCORE 28881.672
AT ITER 1759 NEW BEST:: SOT 132288 SOS 95632 HAS SOPS 32319 HAS SOUS 52102 HAS SOUPS 28768 WITH SCORE 28863.632
AT ITER 1777 NEW BEST:: SOT 132275 SOS 95619 HAS SOPS 32319 HAS SOUS 52085 HAS SOUPS 28768 WITH SCORE 28863.619
AT ITER 1788 NEW BEST:: SOT 132206 SOS 95570 HAS SOPS 32277 HAS SOUS 52034 HAS SOUPS 28726 WITH SCORE 28821.57
AT ITER 1801 NEW BEST:: SOT 132193 SOS 95543 HAS SOPS 32255 HAS SOUS 51994 HAS SOUPS 28700 WITH SCORE 28795.543
AT ITER 1808 NEW BEST:: SOT 132140 SOS 95454 HAS SOPS 32277 HAS SOUS 51905 HAS SOUPS 28647 WITH SCORE 28742.454
AT ITER 1818 NEW BEST:: SOT 132204 SOS 95518 HAS SOPS 32190 HAS SOUS 52111 HAS SOUPS 28560 WITH SCORE 28655.518
AT ITER 1829 NEW BEST:: SOT 132256 SOS 95570 HAS SOPS 32174 HAS SOUS 52154 HAS SOUPS 28544 WITH SCORE 28639.57
AT ITER 1832 NEW BEST:: SOT 132247 SOS 95561 HAS SOPS 32156 HAS SOUS 52136 HAS SOUPS 28526 WITH SCORE 28621.561
AT ITER 1839 NEW BEST:: SOT 132223 SOS 95537 HAS SOPS 32156 HAS SOUS 52124 HAS SOUPS 28526 WITH SCORE 28621.537
AT ITER 1853 NEW BEST:: SOT 132336 SOS 95650 HAS SOPS 32093 HAS SOUS 52257 HAS SOUPS 28463 WITH SCORE 28558.65
AT ITER 1865 NEW BEST:: SOT 132298 SOS 95612 HAS SOPS 32017 HAS SOUS 52181 HAS SOUPS 28387 WITH SCORE 28482.612
AT ITER 1887 NEW BEST:: SOT 132298 SOS 95612 HAS SOPS 31993 HAS SOUS 52181 HAS SOUPS 28363 WITH SCORE 28458.612
AT ITER 1888 NEW BEST:: SOT 132298 SOS 95612 HAS SOPS 31990 HAS SOUS 52178 HAS SOUPS 28360 WITH SCORE 28455.612
AT ITER 1894 NEW BEST:: SOT 132286 SOS 95600 HAS SOPS 31966 HAS SOUS 52154 HAS SOUPS 28336 WITH SCORE 28431.6
AT ITER 1905 NEW BEST:: SOT 132275 SOS 95589 HAS SOPS 31955 HAS SOUS 52143 HAS SOUPS 28325 WITH SCORE 28420.589
AT ITER 1918 NEW BEST:: SOT 132296 SOS 95635 HAS SOPS 31896 HAS SOUS 52153 HAS SOUPS 28266 WITH SCORE 28361.635
AT ITER 1924 NEW BEST:: SOT 132296 SOS 95617 HAS SOPS 31896 HAS SOUS 52144 HAS SOUPS 28266 WITH SCORE 28361.617
AT ITER 1934 NEW BEST:: SOT 132296 SOS 94963 HAS SOPS 31896 HAS SOUS 51980 HAS SOUPS 28266 WITH SCORE 28360.963
AT ITER 1938 NEW BEST:: SOT 132332 SOS 95039 HAS SOPS 31848 HAS SOUS 51976 HAS SOUPS 28218 WITH SCORE 28313.039
AT ITER 1939 NEW BEST:: SOT 132326 SOS 95033 HAS SOPS 31836 HAS SOUS 51958 HAS SOUPS 28206 WITH SCORE 28301.033
AT ITER 1950 NEW BEST:: SOT 132291 SOS 94998 HAS SOPS 31822 HAS SOUS 51903 HAS SOUPS 28172 WITH SCORE 28266.998
AT ITER 1953 NEW BEST:: SOT 132291 SOS 94922 HAS SOPS 31822 HAS SOUS 51860 HAS SOUPS 28172 WITH SCORE 28266.922
AT ITER 1967 NEW BEST:: SOT 132279 SOS 94910 HAS SOPS 31810 HAS SOUS 51848 HAS SOUPS 28160 WITH SCORE 28254.91
AT ITER 2007 NEW BEST:: SOT 132233 SOS 94825 HAS SOPS 31895 HAS SOUS 51632 HAS SOUPS 28114 WITH SCORE 28208.825
AT ITER 2008 NEW BEST:: SOT 132236 SOS 94828 HAS SOPS 31879 HAS SOUS 51638 HAS SOUPS 28112 WITH SCORE 28206.828
AT ITER 2009 NEW BEST:: SOT 132236 SOS 94778 HAS SOPS 31879 HAS SOUS 51538 HAS SOUPS 28062 WITH SCORE 28156.778
AT ITER 2015 NEW BEST:: SOT 132236 SOS 94738 HAS SOPS 31879 HAS SOUS 51526 HAS SOUPS 28062 WITH SCORE 28156.738
AT ITER 2016 NEW BEST:: SOT 132282 SOS 94784 HAS SOPS 31854 HAS SOUS 51572 HAS SOUPS 28037 WITH SCORE 28131.784
AT ITER 2024 NEW BEST:: SOT 132275 SOS 94777 HAS SOPS 31840 HAS SOUS 51565 HAS SOUPS 28023 WITH SCORE 28117.777
AT ITER 2025 NEW BEST:: SOT 132275 SOS 94763 HAS SOPS 31840 HAS SOUS 51594 HAS SOUPS 28023 WITH SCORE 28117.763
AT ITER 2082 NEW BEST:: SOT 132075 SOS 94563 HAS SOPS 31758 HAS SOUS 51438 HAS SOUPS 27941 WITH SCORE 28035.563
AT ITER 2101 NEW BEST:: SOT 132121 SOS 94609 HAS SOPS 31700 HAS SOUS 51458 HAS SOUPS 27883 WITH SCORE 27977.609
AT ITER 2149 NEW BEST:: SOT 132114 SOS 94602 HAS SOPS 31700 HAS SOUS 51451 HAS SOUPS 27883 WITH SCORE 27977.602
AT ITER 2159 NEW BEST:: SOT 132116 SOS 94604 HAS SOPS 31696 HAS SOUS 51461 HAS SOUPS 27879 WITH SCORE 27973.604
AT ITER 2168 NEW BEST:: SOT 132096 SOS 94584 HAS SOPS 31696 HAS SOUS 51451 HAS SOUPS 27879 WITH SCORE 27973.584
AT ITER 2182 NEW BEST:: SOT 132122 SOS 94610 HAS SOPS 31687 HAS SOUS 51683 HAS SOUPS 27870 WITH SCORE 27964.61
AT ITER 2185 NEW BEST:: SOT 132075 SOS 94563 HAS SOPS 31687 HAS SOUS 51636 HAS SOUPS 27870 WITH SCORE 27964.563
AT ITER 2194 NEW BEST:: SOT 132053 SOS 94585 HAS SOPS 31665 HAS SOUS 51614 HAS SOUPS 27848 WITH SCORE 27942.585
AT ITER 2212 NEW BEST:: SOT 132053 SOS 94585 HAS SOPS 31617 HAS SOUS 51662 HAS SOUPS 27800 WITH SCORE 27894.585
AT ITER 2223 NEW BEST:: SOT 132071 SOS 94603 HAS SOPS 31588 HAS SOUS 51734 HAS SOUPS 27771 WITH SCORE 27865.603
AT ITER 2224 NEW BEST:: SOT 132069 SOS 94601 HAS SOPS 31583 HAS SOUS 51729 HAS SOUPS 27766 WITH SCORE 27860.601
AT ITER 2225 NEW BEST:: SOT 132068 SOS 94504 HAS SOPS 31582 HAS SOUS 51718 HAS SOUPS 27765 WITH SCORE 27859.504
AT ITER 2229 NEW BEST:: SOT 132224 SOS 94660 HAS SOPS 31558 HAS SOUS 51874 HAS SOUPS 27741 WITH SCORE 27835.66
AT ITER 2247 NEW BEST:: SOT 132207 SOS 94643 HAS SOPS 31541 HAS SOUS 51874 HAS SOUPS 27724 WITH SCORE 27818.643
AT ITER 2259 NEW BEST:: SOT 132260 SOS 94716 HAS SOPS 31533 HAS SOUS 51911 HAS SOUPS 27716 WITH SCORE 27810.716
AT ITER 2265 NEW BEST:: SOT 132249 SOS 94694 HAS SOPS 31533 HAS SOUS 51878 HAS SOUPS 27705 WITH SCORE 27799.694
AT ITER 2270 NEW BEST:: SOT 132248 SOS 94693 HAS SOPS 31531 HAS SOUS 51876 HAS SOUPS 27703 WITH SCORE 27797.693
AT ITER 2273 NEW BEST:: SOT 132248 SOS 94683 HAS SOPS 31531 HAS SOUS 51876 HAS SOUPS 27703 WITH SCORE 27797.683
AT ITER 2277 NEW BEST:: SOT 132247 SOS 94682 HAS SOPS 31517 HAS SOUS 51852 HAS SOUPS 27689 WITH SCORE 27783.682
AT ITER 2280 NEW BEST:: SOT 132269 SOS 94704 HAS SOPS 31491 HAS SOUS 51874 HAS SOUPS 27663 WITH SCORE 27757.704
AT ITER 2283 NEW BEST:: SOT 132205 SOS 94640 HAS SOPS 31471 HAS SOUS 51822 HAS SOUPS 27643 WITH SCORE 27737.64
AT ITER 2293 NEW BEST:: SOT 132270 SOS 94705 HAS SOPS 31406 HAS SOUS 51963 HAS SOUPS 27578 WITH SCORE 27672.705
AT ITER 2298 NEW BEST:: SOT 132241 SOS 94676 HAS SOPS 31348 HAS SOUS 52006 HAS SOUPS 27520 WITH SCORE 27614.676
AT ITER 2301 NEW BEST:: SOT 132225 SOS 94660 HAS SOPS 31332 HAS SOUS 51967 HAS SOUPS 27504 WITH SCORE 27598.66
AT ITER 2312 NEW BEST:: SOT 132222 SOS 94657 HAS SOPS 31326 HAS SOUS 51964 HAS SOUPS 27498 WITH SCORE 27592.657
AT ITER 2321 NEW BEST:: SOT 132200 SOS 94597 HAS SOPS 31361 HAS SOUS 51863 HAS SOUPS 27492 WITH SCORE 27586.597
AT ITER 2332 NEW BEST:: SOT 132222 SOS 94619 HAS SOPS 31339 HAS SOUS 51907 HAS SOUPS 27470 WITH SCORE 27564.619
AT ITER 2333 NEW BEST:: SOT 132083 SOS 94480 HAS SOPS 31339 HAS SOUS 51440 HAS SOUPS 27470 WITH SCORE 27564.48
AT ITER 2359 NEW BEST:: SOT 131987 SOS 94406 HAS SOPS 31243 HAS SOUS 51440 HAS SOUPS 27374 WITH SCORE 27468.406
AT ITER 2361 NEW BEST:: SOT 131964 SOS 94383 HAS SOPS 31243 HAS SOUS 51394 HAS SOUPS 27374 WITH SCORE 27468.383
AT ITER 2363 NEW BEST:: SOT 131919 SOS 94282 HAS SOPS 31243 HAS SOUS 51352 HAS SOUPS 27374 WITH SCORE 27468.282
AT ITER 2370 NEW BEST:: SOT 131916 SOS 94272 HAS SOPS 31225 HAS SOUS 51326 HAS SOUPS 27363 WITH SCORE 27457.272
AT ITER 2397 NEW BEST:: SOT 131916 SOS 94272 HAS SOPS 31199 HAS SOUS 51326 HAS SOUPS 27337 WITH SCORE 27431.272
AT ITER 2398 NEW BEST:: SOT 131894 SOS 94250 HAS SOPS 31114 HAS SOUS 51311 HAS SOUPS 27252 WITH SCORE 27346.25
AT ITER 2405 NEW BEST:: SOT 131894 SOS 94250 HAS SOPS 31107 HAS SOUS 51318 HAS SOUPS 27245 WITH SCORE 27339.25
AT ITER 2409 NEW BEST:: SOT 131807 SOS 94163 HAS SOPS 31020 HAS SOUS 51210 HAS SOUPS 27137 WITH SCORE 27231.163
AT ITER 2418 NEW BEST:: SOT 131774 SOS 94130 HAS SOPS 30987 HAS SOUS 51145 HAS SOUPS 27104 WITH SCORE 27198.13
AT ITER 2420 NEW BEST:: SOT 131706 SOS 94062 HAS SOPS 30919 HAS SOUS 51009 HAS SOUPS 26968 WITH SCORE 27062.062
AT ITER 2432 NEW BEST:: SOT 131701 SOS 94057 HAS SOPS 30914 HAS SOUS 50999 HAS SOUPS 26958 WITH SCORE 27052.057
AT ITER 2467 NEW BEST:: SOT 131867 SOS 94630 HAS SOPS 30831 HAS SOUS 51329 HAS SOUPS 26909 WITH SCORE 27003.63
AT ITER 2481 NEW BEST:: SOT 131849 SOS 94612 HAS SOPS 30795 HAS SOUS 51317 HAS SOUPS 26873 WITH SCORE 26967.612
AT ITER 2485 NEW BEST:: SOT 131815 SOS 94578 HAS SOPS 30795 HAS SOUS 51249 HAS SOUPS 26839 WITH SCORE 26933.578
AT ITER 2497 NEW BEST:: SOT 131920 SOS 94683 HAS SOPS 30793 HAS SOUS 51299 HAS SOUPS 26837 WITH SCORE 26931.683
AT ITER 2515 NEW BEST:: SOT 131967 SOS 94730 HAS SOPS 30770 HAS SOUS 51345 HAS SOUPS 26814 WITH SCORE 26908.73
AT ITER 2520 NEW BEST:: SOT 131923 SOS 94686 HAS SOPS 30682 HAS SOUS 51312 HAS SOUPS 26726 WITH SCORE 26820.686
AT ITER 2528 NEW BEST:: SOT 131896 SOS 94659 HAS SOPS 30682 HAS SOUS 51285 HAS SOUPS 26726 WITH SCORE 26820.659
AT ITER 2571 NEW BEST:: SOT 131893 SOS 94656 HAS SOPS 30673 HAS SOUS 51285 HAS SOUPS 26720 WITH SCORE 26814.656
AT ITER 2575 NEW BEST:: SOT 131889 SOS 94652 HAS SOPS 30673 HAS SOUS 51281 HAS SOUPS 26720 WITH SCORE 26814.652
AT ITER 2636 NEW BEST:: SOT 131876 SOS 94639 HAS SOPS 30660 HAS SOUS 51272 HAS SOUPS 26711 WITH SCORE 26805.639
AT ITER 2653 NEW BEST:: SOT 131870 SOS 94633 HAS SOPS 30648 HAS SOUS 51300 HAS SOUPS 26699 WITH SCORE 26793.633
AT ITER 2667 NEW BEST:: SOT 131856 SOS 94619 HAS SOPS 30687 HAS SOUS 51219 HAS SOUPS 26671 WITH SCORE 26765.619
AT ITER 2672 NEW BEST:: SOT 131885 SOS 94712 HAS SOPS 30649 HAS SOUS 51239 HAS SOUPS 26633 WITH SCORE 26727.712
AT ITER 2703 NEW BEST:: SOT 131937 SOS 94764 HAS SOPS 30632 HAS SOUS 51397 HAS SOUPS 26616 WITH SCORE 26710.764
AT ITER 2710 NEW BEST:: SOT 131921 SOS 94748 HAS SOPS 30562 HAS SOUS 51346 HAS SOUPS 26546 WITH SCORE 26640.748
AT ITER 2712 NEW BEST:: SOT 131956 SOS 94783 HAS SOPS 30527 HAS SOUS 51363 HAS SOUPS 26511 WITH SCORE 26605.783
AT ITER 2728 NEW BEST:: SOT 132073 SOS 94900 HAS SOPS 30516 HAS SOUS 51480 HAS SOUPS 26500 WITH SCORE 26594.9
AT ITER 2730 NEW BEST:: SOT 131977 SOS 94804 HAS SOPS 30275 HAS SOUS 51435 HAS SOUPS 26308 WITH SCORE 26402.804
AT ITER 2731 NEW BEST:: SOT 131959 SOS 94786 HAS SOPS 30275 HAS SOUS 51399 HAS SOUPS 26308 WITH SCORE 26402.786
AT ITER 2732 NEW BEST:: SOT 131959 SOS 94791 HAS SOPS 30178 HAS SOUS 51216 HAS SOUPS 26211 WITH SCORE 26305.791
AT ITER 2740 NEW BEST:: SOT 131923 SOS 94755 HAS SOPS 30178 HAS SOUS 51198 HAS SOUPS 26211 WITH SCORE 26305.755
AT ITER 2742 NEW BEST:: SOT 131997 SOS 94926 HAS SOPS 30172 HAS SOUS 51323 HAS SOUPS 26205 WITH SCORE 26299.926
AT ITER 2765 NEW BEST:: SOT 131983 SOS 94912 HAS SOPS 30172 HAS SOUS 51309 HAS SOUPS 26205 WITH SCORE 26299.912
AT ITER 2770 NEW BEST:: SOT 132092 SOS 95001 HAS SOPS 30148 HAS SOUS 51331 HAS SOUPS 26181 WITH SCORE 26276.001
AT ITER 2783 NEW BEST:: SOT 132152 SOS 95061 HAS SOPS 30135 HAS SOUS 51537 HAS SOUPS 26168 WITH SCORE 26263.061
AT ITER 2788 NEW BEST:: SOT 132133 SOS 95042 HAS SOPS 30097 HAS SOUS 51526 HAS SOUPS 26130 WITH SCORE 26225.042
AT ITER 2801 NEW BEST:: SOT 132085 SOS 94994 HAS SOPS 30097 HAS SOUS 51515 HAS SOUPS 26130 WITH SCORE 26224.994
AT ITER 2807 NEW BEST:: SOT 132085 SOS 94994 HAS SOPS 30067 HAS SOUS 51515 HAS SOUPS 26100 WITH SCORE 26194.994
AT ITER 2838 NEW BEST:: SOT 132052 SOS 94961 HAS SOPS 30023 HAS SOUS 51461 HAS SOUPS 26034 WITH SCORE 26128.961
AT ITER 2844 NEW BEST:: SOT 132040 SOS 94895 HAS SOPS 30023 HAS SOUS 51425 HAS SOUPS 26034 WITH SCORE 26128.895
AT ITER 2855 NEW BEST:: SOT 132029 SOS 94884 HAS SOPS 30023 HAS SOUS 51414 HAS SOUPS 26034 WITH SCORE 26128.884
AT ITER 2866 NEW BEST:: SOT 132029 SOS 94884 HAS SOPS 30017 HAS SOUS 51414 HAS SOUPS 26028 WITH SCORE 26122.884
AT ITER 2869 NEW BEST:: SOT 132029 SOS 94846 HAS SOPS 30017 HAS SOUS 51414 HAS SOUPS 26028 WITH SCORE 26122.846
AT ITER 2881 NEW BEST:: SOT 131993 SOS 94766 HAS SOPS 30017 HAS SOUS 51374 HAS SOUPS 26028 WITH SCORE 26122.766
AT ITER 2887 NEW BEST:: SOT 131992 SOS 94765 HAS SOPS 30017 HAS SOUS 51373 HAS SOUPS 26028 WITH SCORE 26122.765
AT ITER 2907 NEW BEST:: SOT 131928 SOS 94701 HAS SOPS 30007 HAS SOUS 51309 HAS SOUPS 26018 WITH SCORE 26112.701
AT ITER 2909 NEW BEST:: SOT 131929 SOS 94701 HAS SOPS 30005 HAS SOUS 51307 HAS SOUPS 26016 WITH SCORE 26110.701
AT ITER 2910 NEW BEST:: SOT 131901 SOS 94673 HAS SOPS 30005 HAS SOUS 51307 HAS SOUPS 26016 WITH SCORE 26110.673
AT ITER 2923 NEW BEST:: SOT 131865 SOS 94637 HAS SOPS 29987 HAS SOUS 51313 HAS SOUPS 25998 WITH SCORE 26092.637
AT ITER 2929 NEW BEST:: SOT 131933 SOS 94705 HAS SOPS 29919 HAS SOUS 51343 HAS SOUPS 25930 WITH SCORE 26024.705
AT ITER 2947 NEW BEST:: SOT 131919 SOS 94691 HAS SOPS 29881 HAS SOUS 51281 HAS SOUPS 25892 WITH SCORE 25986.691
AT ITER 2965 NEW BEST:: SOT 131890 SOS 94623 HAS SOPS 29916 HAS SOUS 51159 HAS SOUPS 25873 WITH SCORE 25967.623
AT ITER 2966 NEW BEST:: SOT 131890 SOS 94617 HAS SOPS 29916 HAS SOUS 51159 HAS SOUPS 25873 WITH SCORE 25967.617
AT ITER 2976 NEW BEST:: SOT 131842 SOS 94569 HAS SOPS 29831 HAS SOUS 51054 HAS SOUPS 25765 WITH SCORE 25859.569
AT ITER 2977 NEW BEST:: SOT 131895 SOS 94622 HAS SOPS 29778 HAS SOUS 51152 HAS SOUPS 25712 WITH SCORE 25806.622
AT ITER 3002 NEW BEST:: SOT 131926 SOS 94653 HAS SOPS 29715 HAS SOUS 51019 HAS SOUPS 25549 WITH SCORE 25643.653
AT ITER 3006 NEW BEST:: SOT 131926 SOS 94633 HAS SOPS 29715 HAS SOUS 51009 HAS SOUPS 25549 WITH SCORE 25643.633
AT ITER 3010 NEW BEST:: SOT 131888 SOS 94595 HAS SOPS 29715 HAS SOUS 50933 HAS SOUPS 25549 WITH SCORE 25643.595
AT ITER 3018 NEW BEST:: SOT 131869 SOS 94576 HAS SOPS 29677 HAS SOUS 50895 HAS SOUPS 25511 WITH SCORE 25605.576
AT ITER 3026 NEW BEST:: SOT 131832 SOS 94539 HAS SOPS 29677 HAS SOUS 50858 HAS SOUPS 25511 WITH SCORE 25605.539
AT ITER 3033 NEW BEST:: SOT 131789 SOS 94458 HAS SOPS 29677 HAS SOUS 50777 HAS SOUPS 25468 WITH SCORE 25562.458
AT ITER 3034 NEW BEST:: SOT 131793 SOS 94462 HAS SOPS 29662 HAS SOUS 50770 HAS SOUPS 25442 WITH SCORE 25536.462
AT ITER 3038 NEW BEST:: SOT 131806 SOS 94475 HAS SOPS 29636 HAS SOUS 50744 HAS SOUPS 25416 WITH SCORE 25510.475
AT ITER 3053 NEW BEST:: SOT 131796 SOS 94465 HAS SOPS 29632 HAS SOUS 50734 HAS SOUPS 25412 WITH SCORE 25506.465
AT ITER 3098 NEW BEST:: SOT 131830 SOS 94499 HAS SOPS 29475 HAS SOUS 50672 HAS SOUPS 25255 WITH SCORE 25349.499
AT ITER 3101 NEW BEST:: SOT 131819 SOS 94488 HAS SOPS 29475 HAS SOUS 50650 HAS SOUPS 25255 WITH SCORE 25349.488
AT ITER 3130 NEW BEST:: SOT 131787 SOS 94456 HAS SOPS 29472 HAS SOUS 50615 HAS SOUPS 25249 WITH SCORE 25343.456
AT ITER 3135 NEW BEST:: SOT 131766 SOS 94435 HAS SOPS 29451 HAS SOUS 50566 HAS SOUPS 25207 WITH SCORE 25301.435
AT ITER 3138 NEW BEST:: SOT 131763 SOS 94432 HAS SOPS 29451 HAS SOUS 50563 HAS SOUPS 25207 WITH SCORE 25301.432
AT ITER 3146 NEW BEST:: SOT 131778 SOS 94447 HAS SOPS 29442 HAS SOUS 50580 HAS SOUPS 25198 WITH SCORE 25292.447
AT ITER 3158 NEW BEST:: SOT 131764 SOS 94433 HAS SOPS 29428 HAS SOUS 50552 HAS SOUPS 25170 WITH SCORE 25264.433
AT ITER 3166 NEW BEST:: SOT 131757 SOS 94426 HAS SOPS 29414 HAS SOUS 50488 HAS SOUPS 25156 WITH SCORE 25250.426
AT ITER 3173 NEW BEST:: SOT 131757 SOS 94426 HAS SOPS 29394 HAS SOUS 50468 HAS SOUPS 25136 WITH SCORE 25230.426
AT ITER 3179 NEW BEST:: SOT 131757 SOS 94410 HAS SOPS 29394 HAS SOUS 50491 HAS SOUPS 25136 WITH SCORE 25230.41
AT ITER 3187 NEW BEST:: SOT 131798 SOS 94451 HAS SOPS 29393 HAS SOUS 50506 HAS SOUPS 25135 WITH SCORE 25229.451
AT ITER 3192 NEW BEST:: SOT 131795 SOS 94448 HAS SOPS 29387 HAS SOUS 50503 HAS SOUPS 25129 WITH SCORE 25223.448
AT ITER 3194 NEW BEST:: SOT 131773 SOS 94426 HAS SOPS 29343 HAS SOUS 50376 HAS SOUPS 25085 WITH SCORE 25179.426
AT ITER 3206 NEW BEST:: SOT 131694 SOS 94347 HAS SOPS 29185 HAS SOUS 50199 HAS SOUPS 24927 WITH SCORE 25021.347
AT ITER 3229 NEW BEST:: SOT 131614 SOS 94252 HAS SOPS 29185 HAS SOUS 50145 HAS SOUPS 24927 WITH SCORE 25021.252
AT ITER 3236 NEW BEST:: SOT 131606 SOS 94244 HAS SOPS 29185 HAS SOUS 50129 HAS SOUPS 24927 WITH SCORE 25021.244
AT ITER 3243 NEW BEST:: SOT 131596 SOS 94234 HAS SOPS 29185 HAS SOUS 50099 HAS SOUPS 24927 WITH SCORE 25021.234
AT ITER 3257 NEW BEST:: SOT 131590 SOS 94228 HAS SOPS 29185 HAS SOUS 50093 HAS SOUPS 24927 WITH SCORE 25021.228
AT ITER 3272 NEW BEST:: SOT 131713 SOS 94351 HAS SOPS 29157 HAS SOUS 50242 HAS SOUPS 24899 WITH SCORE 24993.351
AT ITER 3275 NEW BEST:: SOT 131665 SOS 94303 HAS SOPS 29157 HAS SOUS 50152 HAS SOUPS 24899 WITH SCORE 24993.303
AT ITER 3290 NEW BEST:: SOT 131658 SOS 94296 HAS SOPS 29143 HAS SOUS 50137 HAS SOUPS 24885 WITH SCORE 24979.296
AT ITER 3295 NEW BEST:: SOT 131773 SOS 94411 HAS SOPS 29121 HAS SOUS 50201 HAS SOUPS 24863 WITH SCORE 24957.411
AT ITER 3303 NEW BEST:: SOT 131718 SOS 94390 HAS SOPS 29147 HAS SOUS 50193 HAS SOUPS 24855 WITH SCORE 24949.39
AT ITER 3311 NEW BEST:: SOT 131718 SOS 94354 HAS SOPS 29147 HAS SOUS 50193 HAS SOUPS 24855 WITH SCORE 24949.354
AT ITER 3325 NEW BEST:: SOT 131704 SOS 94340 HAS SOPS 29100 HAS SOUS 50198 HAS SOUPS 24827 WITH SCORE 24921.34
AT ITER 3350 NEW BEST:: SOT 131704 SOS 94310 HAS SOPS 29100 HAS SOUS 50198 HAS SOUPS 24827 WITH SCORE 24921.31
AT ITER 3387 NEW BEST:: SOT 131693 SOS 94277 HAS SOPS 29100 HAS SOUS 50187 HAS SOUPS 24827 WITH SCORE 24921.277
AT ITER 3388 NEW BEST:: SOT 131673 SOS 94257 HAS SOPS 29100 HAS SOUS 50187 HAS SOUPS 24827 WITH SCORE 24921.257
AT ITER 3416 NEW BEST:: SOT 131652 SOS 94236 HAS SOPS 29076 HAS SOUS 50195 HAS SOUPS 24803 WITH SCORE 24897.236
AT ITER 3438 NEW BEST:: SOT 131652 SOS 94100 HAS SOPS 29076 HAS SOUS 50217 HAS SOUPS 24803 WITH SCORE 24897.1
AT ITER 3491 NEW BEST:: SOT 131654 SOS 94079 HAS SOPS 29078 HAS SOUS 50175 HAS SOUPS 24784 WITH SCORE 24878.079
AT ITER 3509 NEW BEST:: SOT 131603 SOS 94028 HAS SOPS 29027 HAS SOUS 50353 HAS SOUPS 24733 WITH SCORE 24827.028
AT ITER 3540 NEW BEST:: SOT 131574 SOS 93999 HAS SOPS 29009 HAS SOUS 50310 HAS SOUPS 24715 WITH SCORE 24808.999
AT ITER 3557 NEW BEST:: SOT 131569 SOS 93994 HAS SOPS 28983 HAS SOUS 50332 HAS SOUPS 24705 WITH SCORE 24798.994
AT ITER 3569 NEW BEST:: SOT 131559 SOS 93984 HAS SOPS 28974 HAS SOUS 50322 HAS SOUPS 24696 WITH SCORE 24789.984
AT ITER 3580 NEW BEST:: SOT 131528 SOS 93953 HAS SOPS 28974 HAS SOUS 50291 HAS SOUPS 24696 WITH SCORE 24789.953
AT ITER 3588 NEW BEST:: SOT 131526 SOS 93951 HAS SOPS 28972 HAS SOUS 50286 HAS SOUPS 24691 WITH SCORE 24784.951
AT ITER 3605 NEW BEST:: SOT 131505 SOS 93915 HAS SOPS 28972 HAS SOUS 50239 HAS SOUPS 24691 WITH SCORE 24784.915
AT ITER 3639 NEW BEST:: SOT 131487 SOS 93897 HAS SOPS 28972 HAS SOUS 50252 HAS SOUPS 24691 WITH SCORE 24784.897
AT ITER 3640 NEW BEST:: SOT 131487 SOS 93897 HAS SOPS 28967 HAS SOUS 50247 HAS SOUPS 24681 WITH SCORE 24774.897
AT ITER 3646 NEW BEST:: SOT 131485 SOS 93895 HAS SOPS 28965 HAS SOUS 50243 HAS SOUPS 24677 WITH SCORE 24770.895
AT ITER 3650 NEW BEST:: SOT 131483 SOS 93893 HAS SOPS 28963 HAS SOUS 50243 HAS SOUPS 24677 WITH SCORE 24770.893
AT ITER 3653 NEW BEST:: SOT 131430 SOS 93840 HAS SOPS 28937 HAS SOUS 50218 HAS SOUPS 24651 WITH SCORE 24744.84
AT ITER 3658 NEW BEST:: SOT 131429 SOS 93839 HAS SOPS 28924 HAS SOUS 50223 HAS SOUPS 24638 WITH SCORE 24731.839
AT ITER 3664 NEW BEST:: SOT 131433 SOS 93851 HAS SOPS 28920 HAS SOUS 50231 HAS SOUPS 24634 WITH SCORE 24727.851
AT ITER 3671 NEW BEST:: SOT 131447 SOS 93865 HAS SOPS 28898 HAS SOUS 50259 HAS SOUPS 24626 WITH SCORE 24719.865
AT ITER 3689 NEW BEST:: SOT 131447 SOS 93759 HAS SOPS 28898 HAS SOUS 50281 HAS SOUPS 24626 WITH SCORE 24719.759
AT ITER 3718 NEW BEST:: SOT 131427 SOS 93739 HAS SOPS 28898 HAS SOUS 50261 HAS SOUPS 24626 WITH SCORE 24719.739
AT ITER 3765 NEW BEST:: SOT 131413 SOS 93725 HAS SOPS 28892 HAS SOUS 50241 HAS SOUPS 24614 WITH SCORE 24707.725
AT ITER 3768 NEW BEST:: SOT 131306 SOS 93618 HAS SOPS 28892 HAS SOUS 50172 HAS SOUPS 24614 WITH SCORE 24707.618
AT ITER 3769 NEW BEST:: SOT 131329 SOS 93641 HAS SOPS 28864 HAS SOUS 50195 HAS SOUPS 24586 WITH SCORE 24679.641
AT ITER 3780 NEW BEST:: SOT 131380 SOS 93778 HAS SOPS 28837 HAS SOUS 50267 HAS SOUPS 24559 WITH SCORE 24652.778
AT ITER 3812 NEW BEST:: SOT 131381 SOS 93779 HAS SOPS 28736 HAS SOUS 50167 HAS SOUPS 24459 WITH SCORE 24552.779
AT ITER 3818 NEW BEST:: SOT 131366 SOS 93764 HAS SOPS 28721 HAS SOUS 50137 HAS SOUPS 24429 WITH SCORE 24522.764
AT ITER 3837 NEW BEST:: SOT 131301 SOS 93699 HAS SOPS 28695 HAS SOUS 50085 HAS SOUPS 24403 WITH SCORE 24496.699
AT ITER 3874 NEW BEST:: SOT 131296 SOS 93660 HAS SOPS 28695 HAS SOUS 50070 HAS SOUPS 24403 WITH SCORE 24496.66
AT ITER 3877 NEW BEST:: SOT 131287 SOS 93651 HAS SOPS 28677 HAS SOUS 50061 HAS SOUPS 24385 WITH SCORE 24478.651
AT ITER 3891 NEW BEST:: SOT 131221 SOS 93585 HAS SOPS 28611 HAS SOUS 50106 HAS SOUPS 24371 WITH SCORE 24464.585
AT ITER 3901 NEW BEST:: SOT 131399 SOS 93947 HAS SOPS 28598 HAS SOUS 50463 HAS SOUPS 24358 WITH SCORE 24451.947
AT ITER 3914 NEW BEST:: SOT 131367 SOS 93915 HAS SOPS 28566 HAS SOUS 50431 HAS SOUPS 24326 WITH SCORE 24419.915
AT ITER 3922 NEW BEST:: SOT 131431 SOS 94063 HAS SOPS 28502 HAS SOUS 50439 HAS SOUPS 24262 WITH SCORE 24356.063
AT ITER 3935 NEW BEST:: SOT 131431 SOS 94081 HAS SOPS 28475 HAS SOUS 50421 HAS SOUPS 24235 WITH SCORE 24329.081
AT ITER 3970 NEW BEST:: SOT 131431 SOS 94043 HAS SOPS 28475 HAS SOUS 50428 HAS SOUPS 24235 WITH SCORE 24329.043
AT ITER 3996 NEW BEST:: SOT 131463 SOS 94067 HAS SOPS 28507 HAS SOUS 50390 HAS SOUPS 24205 WITH SCORE 24299.067
AT ITER 3997 NEW BEST:: SOT 131477 SOS 94076 HAS SOPS 28501 HAS SOUS 50383 HAS SOUPS 24175 WITH SCORE 24269.076
AT ITER 4096 NEW BEST:: SOT 131484 SOS 94145 HAS SOPS 28449 HAS SOUS 50453 HAS SOUPS 24127 WITH SCORE 24221.145
AT ITER 4118 NEW BEST:: SOT 131413 SOS 94074 HAS SOPS 28449 HAS SOUS 50404 HAS SOUPS 24127 WITH SCORE 24221.074
AT ITER 4128 NEW BEST:: SOT 131471 SOS 94132 HAS SOPS 28446 HAS SOUS 50523 HAS SOUPS 24124 WITH SCORE 24218.132
AT ITER 4139 NEW BEST:: SOT 131416 SOS 94077 HAS SOPS 28350 HAS SOUS 50427 HAS SOUPS 24028 WITH SCORE 24122.077
AT ITER 4191 NEW BEST:: SOT 131415 SOS 94076 HAS SOPS 28349 HAS SOUS 50425 HAS SOUPS 24026 WITH SCORE 24120.076
AT ITER 4212 NEW BEST:: SOT 131415 SOS 94062 HAS SOPS 28349 HAS SOUS 50425 HAS SOUPS 24026 WITH SCORE 24120.062
AT ITER 4254 NEW BEST:: SOT 131415 SOS 94062 HAS SOPS 28299 HAS SOUS 50457 HAS SOUPS 23976 WITH SCORE 24070.062
AT ITER 4258 NEW BEST:: SOT 131415 SOS 93683 HAS SOPS 28299 HAS SOUS 50289 HAS SOUPS 23971 WITH SCORE 24064.683
AT ITER 4266 NEW BEST:: SOT 131415 SOS 93681 HAS SOPS 28299 HAS SOUS 50289 HAS SOUPS 23971 WITH SCORE 24064.681
AT ITER 4331 NEW BEST:: SOT 131415 SOS 81294 HAS SOPS 28299 HAS SOUS 50033 HAS SOUPS 23971 WITH SCORE 24052.294
AT ITER 4341 NEW BEST:: SOT 131402 SOS 81281 HAS SOPS 28299 HAS SOUS 50020 HAS SOUPS 23971 WITH SCORE 24052.281
AT ITER 4354 NEW BEST:: SOT 131402 SOS 81281 HAS SOPS 28287 HAS SOUS 50020 HAS SOUPS 23959 WITH SCORE 24040.281
AT ITER 4355 NEW BEST:: SOT 131401 SOS 81280 HAS SOPS 28285 HAS SOUS 49995 HAS SOUPS 23957 WITH SCORE 24038.28
AT ITER 4367 NEW BEST:: SOT 131386 SOS 81265 HAS SOPS 28285 HAS SOUS 49980 HAS SOUPS 23957 WITH SCORE 24038.265
AT ITER 4383 NEW BEST:: SOT 131386 SOS 80877 HAS SOPS 28285 HAS SOUS 49980 HAS SOUPS 23957 WITH SCORE 24037.877
AT ITER 4402 NEW BEST:: SOT 131369 SOS 80843 HAS SOPS 28285 HAS SOUS 49963 HAS SOUPS 23957 WITH SCORE 24037.843
AT ITER 4408 NEW BEST:: SOT 131357 SOS 80831 HAS SOPS 28261 HAS SOUS 49884 HAS SOUPS 23933 WITH SCORE 24013.831
AT ITER 4410 NEW BEST:: SOT 131303 SOS 80777 HAS SOPS 28261 HAS SOUS 49830 HAS SOUPS 23933 WITH SCORE 24013.777
AT ITER 4417 NEW BEST:: SOT 131438 SOS 81272 HAS SOPS 28258 HAS SOUS 49942 HAS SOUPS 23930 WITH SCORE 24011.272
AT ITER 4420 NEW BEST:: SOT 131438 SOS 81228 HAS SOPS 28258 HAS SOUS 49915 HAS SOUPS 23930 WITH SCORE 24011.228
AT ITER 4451 NEW BEST:: SOT 131428 SOS 81218 HAS SOPS 28238 HAS SOUS 49887 HAS SOUPS 23910 WITH SCORE 23991.218
AT ITER 4458 NEW BEST:: SOT 131428 SOS 81218 HAS SOPS 28229 HAS SOUS 49878 HAS SOUPS 23901 WITH SCORE 23982.218
AT ITER 4472 NEW BEST:: SOT 131407 SOS 81197 HAS SOPS 28229 HAS SOUS 49878 HAS SOUPS 23901 WITH SCORE 23982.197
AT ITER 4474 NEW BEST:: SOT 131479 SOS 79974 HAS SOPS 26967 HAS SOUS 49851 HAS SOUPS 23858 WITH SCORE 23937.974
AT ITER 4477 NEW BEST:: SOT 131494 SOS 79957 HAS SOPS 26982 HAS SOUS 49847 HAS SOUPS 23856 WITH SCORE 23935.957
AT ITER 4554 NEW BEST:: SOT 131554 SOS 80279 HAS SOPS 26955 HAS SOUS 49881 HAS SOUPS 23829 WITH SCORE 23909.279
AT ITER 4570 NEW BEST:: SOT 131535 SOS 80260 HAS SOPS 26936 HAS SOUS 49836 HAS SOUPS 23810 WITH SCORE 23890.26
AT ITER 4577 NEW BEST:: SOT 131535 SOS 80260 HAS SOPS 26921 HAS SOUS 49831 HAS SOUPS 23795 WITH SCORE 23875.26
AT ITER 4590 NEW BEST:: SOT 131532 SOS 80257 HAS SOPS 26918 HAS SOUS 49880 HAS SOUPS 23792 WITH SCORE 23872.257
AT ITER 4613 NEW BEST:: SOT 131499 SOS 80224 HAS SOPS 26908 HAS SOUS 49791 HAS SOUPS 23726 WITH SCORE 23806.224
AT ITER 4622 NEW BEST:: SOT 131561 SOS 80432 HAS SOPS 26837 HAS SOUS 49924 HAS SOUPS 23655 WITH SCORE 23735.432
AT ITER 4626 NEW BEST:: SOT 131559 SOS 80430 HAS SOPS 26833 HAS SOUS 49922 HAS SOUPS 23651 WITH SCORE 23731.43
AT ITER 4655 NEW BEST:: SOT 131559 SOS 80004 HAS SOPS 26833 HAS SOUS 49857 HAS SOUPS 23651 WITH SCORE 23731.004
AT ITER 4701 NEW BEST:: SOT 131566 SOS 80011 HAS SOPS 26826 HAS SOUS 49866 HAS SOUPS 23644 WITH SCORE 23724.011
AT ITER 4731 NEW BEST:: SOT 131703 SOS 80252 HAS SOPS 26802 HAS SOUS 50213 HAS SOUPS 23620 WITH SCORE 23700.252
AT ITER 4747 NEW BEST:: SOT 131703 SOS 80252 HAS SOPS 26774 HAS SOUS 50213 HAS SOUPS 23592 WITH SCORE 23672.252
AT ITER 4748 NEW BEST:: SOT 131688 SOS 80266 HAS SOPS 26713 HAS SOUS 50229 HAS SOUPS 23533 WITH SCORE 23613.266
AT ITER 4750 NEW BEST:: SOT 131697 SOS 80915 HAS SOPS 26689 HAS SOUS 50463 HAS SOUPS 23509 WITH SCORE 23589.915
AT ITER 4753 NEW BEST:: SOT 131667 SOS 80885 HAS SOPS 26689 HAS SOUS 50440 HAS SOUPS 23509 WITH SCORE 23589.885
AT ITER 4760 NEW BEST:: SOT 131629 SOS 80847 HAS SOPS 26665 HAS SOUS 50402 HAS SOUPS 23485 WITH SCORE 23565.847
AT ITER 4772 NEW BEST:: SOT 131682 SOS 80919 HAS SOPS 26630 HAS SOUS 50444 HAS SOUPS 23484 WITH SCORE 23564.919
AT ITER 4784 NEW BEST:: SOT 131601 SOS 80778 HAS SOPS 26630 HAS SOUS 50168 HAS SOUPS 23484 WITH SCORE 23564.778
AT ITER 4797 NEW BEST:: SOT 131777 SOS 80958 HAS SOPS 26623 HAS SOUS 50348 HAS SOUPS 23477 WITH SCORE 23557.958
AT ITER 4825 NEW BEST:: SOT 131777 SOS 80954 HAS SOPS 26623 HAS SOUS 50347 HAS SOUPS 23477 WITH SCORE 23557.954
AT ITER 4826 NEW BEST:: SOT 131785 SOS 80962 HAS SOPS 26611 HAS SOUS 50296 HAS SOUPS 23465 WITH SCORE 23545.962
AT ITER 4829 NEW BEST:: SOT 131783 SOS 80960 HAS SOPS 26607 HAS SOUS 50260 HAS SOUPS 23461 WITH SCORE 23541.96
AT ITER 4840 NEW BEST:: SOT 131679 SOS 80856 HAS SOPS 26565 HAS SOUS 50221 HAS SOUPS 23419 WITH SCORE 23499.856
AT ITER 4849 NEW BEST:: SOT 131642 SOS 80819 HAS SOPS 26551 HAS SOUS 50150 HAS SOUPS 23381 WITH SCORE 23461.819
AT ITER 4878 NEW BEST:: SOT 131620 SOS 80797 HAS SOPS 26529 HAS SOUS 50124 HAS SOUPS 23361 WITH SCORE 23441.797
AT ITER 4897 NEW BEST:: SOT 131635 SOS 81258 HAS SOPS 26514 HAS SOUS 50139 HAS SOUPS 23346 WITH SCORE 23427.258
AT ITER 4907 NEW BEST:: SOT 131570 SOS 81193 HAS SOPS 26384 HAS SOUS 50002 HAS SOUPS 23216 WITH SCORE 23297.193
AT ITER 4981 NEW BEST:: SOT 131594 SOS 81217 HAS SOPS 26345 HAS SOUS 50066 HAS SOUPS 23177 WITH SCORE 23258.217
AT ITER 4982 NEW BEST:: SOT 131553 SOS 81176 HAS SOPS 26263 HAS SOUS 49931 HAS SOUPS 23095 WITH SCORE 23176.176
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: BART-PT-002-CTLCardinality-00 (EX( ( potential( (tk(P217)) <= (tk(P93)) ) & (EF(potential( ( 3 ) <= (tk(P229)) ))) )))
PROPERTY: BART-PT-002-CTLCardinality-01 ( potential( (tk(P40)) <= (tk(P239)) ) & ( (AF(( potential( (tk(P162)) <= (tk(P133)) ) & potential( ( 2 ) <= (tk(P81)) ) ))) | (AF(( potential( ( 2 ) <= (tk(P135)) ) | potential( ( 3 ) <= (tk(P264)) ) ))) ) )
PROPERTY: BART-PT-002-CTLCardinality-02 (AU( (AF(potential( (tk(P308)) <= (tk(P387)) ))),( (! potential( (tk(P346)) <= (tk(P127)) )) & potential( (tk(P311)) <= (tk(P206)) ) ) ))
PROPERTY: BART-PT-002-CTLCardinality-03 (AG( (EF(potential( ( 2 ) <= (tk(P252)) )))))
PROPERTY: BART-PT-002-CTLCardinality-04 (EG( ( (! potential( (tk(P35)) <= (tk(P340)) )) | (! potential( ( 3 ) <= (tk(P177)) )) )))
PROPERTY: BART-PT-002-CTLCardinality-05 (AG( potential( (tk(P128)) <= (tk(P284)) )))
PROPERTY: BART-PT-002-CTLCardinality-06 (AX( (AG( ( potential( (tk(P261)) <= (tk(P156)) ) | potential( (tk(P89)) <= (tk(P410)) ) )))))
PROPERTY: BART-PT-002-CTLCardinality-07 ( (! (AF((! potential( (tk(P398)) <= (tk(P393)) ))))) & potential( (tk(P40)) <= (tk(P285)) ) )
PROPERTY: BART-PT-002-CTLCardinality-08 (EF(( potential( (tk(P290)) <= (tk(P162)) ) & (! ( potential( ( 3 ) <= (tk(P423)) ) & potential( (tk(P240)) <= (tk(P443)) ) )) )))
PROPERTY: BART-PT-002-CTLCardinality-09 (! ( ( ( ( potential( (tk(P48)) <= (tk(P121)) ) & potential( (tk(P100)) <= (tk(P23)) ) ) & potential( ( 1 ) <= (tk(P173)) ) ) | (EG( potential( (tk(P370)) <= (tk(P438)) ))) ) | (EG( (! potential( (tk(P432)) <= (tk(P366)) )))) ))
PROPERTY: BART-PT-002-CTLCardinality-10 (AU( (EF(potential( (tk(P158)) <= (tk(P101)) ))),(EG( potential( (tk(P243)) <= (tk(P283)) ))) ))
PROPERTY: BART-PT-002-CTLCardinality-11 ( (AX( (EG( potential( ( 2 ) <= (tk(P88)) ))))) | (EG( (AF(potential( (tk(P248)) <= (tk(P147)) ))))) )
PROPERTY: BART-PT-002-CTLCardinality-12 (! (AU( potential( (tk(P75)) <= (tk(P468)) ),( potential( ( 1 ) <= (tk(P82)) ) & potential( ( 2 ) <= (tk(P188)) ) ) )))
PROPERTY: BART-PT-002-CTLCardinality-13 (AU( (EX( potential( (tk(P438)) <= (tk(P337)) ))),(EF(potential( ( 1 ) <= (tk(P75)) ))) ))
PROPERTY: BART-PT-002-CTLCardinality-14 (AG( ( (EF(potential( ( 1 ) <= (tk(P69)) ))) | (EG( potential( (tk(P452)) <= (tk(P45)) ))) )))
PROPERTY: BART-PT-002-CTLCardinality-15 (! ( ( (AF(potential( ( 1 ) <= (tk(P37)) ))) | (AG( potential( (tk(P474)) <= (tk(P236)) ))) ) | ( (AX( potential( ( 2 ) <= (tk(P363)) ))) & (EG( potential( (tk(P186)) <= (tk(P406)) ))) ) ))
FORMULA BART-PT-002-CTLCardinality-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="BART-PT-002"
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 BART-PT-002, 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-158897679500067"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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