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-158897679500068.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897679500068
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME BART-PT-002-CTLFireability-01
FORMULA_NAME BART-PT-002-CTLFireability-02
FORMULA_NAME BART-PT-002-CTLFireability-03
FORMULA_NAME BART-PT-002-CTLFireability-04
FORMULA_NAME BART-PT-002-CTLFireability-05
FORMULA_NAME BART-PT-002-CTLFireability-06
FORMULA_NAME BART-PT-002-CTLFireability-07
FORMULA_NAME BART-PT-002-CTLFireability-08
FORMULA_NAME BART-PT-002-CTLFireability-09
FORMULA_NAME BART-PT-002-CTLFireability-10
FORMULA_NAME BART-PT-002-CTLFireability-11
FORMULA_NAME BART-PT-002-CTLFireability-12
FORMULA_NAME BART-PT-002-CTLFireability-13
FORMULA_NAME BART-PT-002-CTLFireability-14
FORMULA_NAME BART-PT-002-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589012448580

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BART (PT), instance 002
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 4 NEW BEST:: SOT 148082 SOS 89351 HAS SOPS 54936 HAS SOUS 62484 HAS SOUPS 47839 WITH SCORE 47928.351
AT ITER 7 NEW BEST:: SOT 148046 SOS 89243 HAS SOPS 54943 HAS SOUS 62396 HAS SOUPS 47823 WITH SCORE 47912.243
AT ITER 11 NEW BEST:: SOT 148096 SOS 89342 HAS SOPS 54913 HAS SOUS 62616 HAS SOUPS 47794 WITH SCORE 47883.342
AT ITER 14 NEW BEST:: SOT 148060 SOS 89234 HAS SOPS 54927 HAS SOUS 62541 HAS SOUPS 47791 WITH SCORE 47880.234
AT ITER 19 NEW BEST:: SOT 147923 SOS 89097 HAS SOPS 54847 HAS SOUS 62462 HAS SOUPS 47712 WITH SCORE 47801.097
AT ITER 20 NEW BEST:: SOT 147923 SOS 82639 HAS SOPS 48187 HAS SOUS 62245 HAS SOUPS 47352 WITH SCORE 47434.639
AT ITER 21 NEW BEST:: SOT 147848 SOS 82564 HAS SOPS 48101 HAS SOUS 62164 HAS SOUPS 47266 WITH SCORE 47348.564
AT ITER 22 NEW BEST:: SOT 147879 SOS 82618 HAS SOPS 48077 HAS SOUS 62268 HAS SOUPS 47242 WITH SCORE 47324.618
AT ITER 33 NEW BEST:: SOT 147703 SOS 82442 HAS SOPS 48077 HAS SOUS 62092 HAS SOUPS 47242 WITH SCORE 47324.442
AT ITER 36 NEW BEST:: SOT 147703 SOS 82442 HAS SOPS 48067 HAS SOUS 62230 HAS SOUPS 47232 WITH SCORE 47314.442
AT ITER 37 NEW BEST:: SOT 147667 SOS 82334 HAS SOPS 48080 HAS SOUS 62136 HAS SOUPS 47210 WITH SCORE 47292.334
AT ITER 41 NEW BEST:: SOT 144451 SOS 82356 HAS SOPS 50730 HAS SOUS 59296 HAS SOUPS 46875 WITH SCORE 46957.356
AT ITER 42 NEW BEST:: SOT 144404 SOS 82215 HAS SOPS 50730 HAS SOUS 59249 HAS SOUPS 46875 WITH SCORE 46957.215
AT ITER 50 NEW BEST:: SOT 144214 SOS 82025 HAS SOPS 50652 HAS SOUS 59172 HAS SOUPS 46798 WITH SCORE 46880.025
AT ITER 55 NEW BEST:: SOT 144214 SOS 82025 HAS SOPS 50651 HAS SOUS 59136 HAS SOUPS 46749 WITH SCORE 46831.025
AT ITER 68 NEW BEST:: SOT 144066 SOS 81643 HAS SOPS 50571 HAS SOUS 58937 HAS SOUPS 46670 WITH SCORE 46751.643
AT ITER 69 NEW BEST:: SOT 143854 SOS 81431 HAS SOPS 50493 HAS SOUS 58860 HAS SOUPS 46593 WITH SCORE 46674.431
AT ITER 71 NEW BEST:: SOT 143936 SOS 81513 HAS SOPS 50500 HAS SOUS 58870 HAS SOUPS 46525 WITH SCORE 46606.513
AT ITER 76 NEW BEST:: SOT 143967 SOS 81574 HAS SOPS 50451 HAS SOUS 59052 HAS SOUPS 46477 WITH SCORE 46558.574
AT ITER 80 NEW BEST:: SOT 144006 SOS 81647 HAS SOPS 50420 HAS SOUS 59282 HAS SOUPS 46447 WITH SCORE 46528.647
AT ITER 83 NEW BEST:: SOT 144006 SOS 81647 HAS SOPS 50388 HAS SOUS 59282 HAS SOUPS 46416 WITH SCORE 46497.647
AT ITER 101 NEW BEST:: SOT 144006 SOS 81575 HAS SOPS 50388 HAS SOUS 59259 HAS SOUPS 46416 WITH SCORE 46497.575
AT ITER 102 NEW BEST:: SOT 144006 SOS 81495 HAS SOPS 50388 HAS SOUS 59239 HAS SOUPS 46416 WITH SCORE 46497.495
AT ITER 107 NEW BEST:: SOT 144035 SOS 81524 HAS SOPS 50476 HAS SOUS 59230 HAS SOUPS 46407 WITH SCORE 46488.524
AT ITER 115 NEW BEST:: SOT 144008 SOS 81497 HAS SOPS 50583 HAS SOUS 59221 HAS SOUPS 46398 WITH SCORE 46479.497
AT ITER 142 NEW BEST:: SOT 144008 SOS 81467 HAS SOPS 50583 HAS SOUS 59191 HAS SOUPS 46398 WITH SCORE 46479.467
AT ITER 143 NEW BEST:: SOT 143866 SOS 81325 HAS SOPS 50440 HAS SOUS 59016 HAS SOUPS 46223 WITH SCORE 46304.325
AT ITER 153 NEW BEST:: SOT 143633 SOS 80970 HAS SOPS 50385 HAS SOUS 58891 HAS SOUPS 46169 WITH SCORE 46249.97
AT ITER 162 NEW BEST:: SOT 143608 SOS 80918 HAS SOPS 50385 HAS SOUS 58876 HAS SOUPS 46169 WITH SCORE 46249.918
AT ITER 165 NEW BEST:: SOT 143619 SOS 80929 HAS SOPS 50435 HAS SOUS 58819 HAS SOUPS 46112 WITH SCORE 46192.929
AT ITER 173 NEW BEST:: SOT 143657 SOS 80967 HAS SOPS 50541 HAS SOUS 58818 HAS SOUPS 46111 WITH SCORE 46191.967
AT ITER 175 NEW BEST:: SOT 143657 SOS 80967 HAS SOPS 50617 HAS SOUS 58740 HAS SOUPS 46072 WITH SCORE 46152.967
AT ITER 177 NEW BEST:: SOT 143656 SOS 80966 HAS SOPS 50615 HAS SOUS 58739 HAS SOUPS 46070 WITH SCORE 46150.966
AT ITER 184 NEW BEST:: SOT 143656 SOS 80948 HAS SOPS 50615 HAS SOUS 58739 HAS SOUPS 46070 WITH SCORE 46150.948
AT ITER 185 NEW BEST:: SOT 143656 SOS 80922 HAS SOPS 50615 HAS SOUS 58713 HAS SOUPS 46070 WITH SCORE 46150.922
AT ITER 193 NEW BEST:: SOT 139853 SOS 78651 HAS SOPS 46812 HAS SOUS 55116 HAS SOUPS 42267 WITH SCORE 42345.651
AT ITER 199 NEW BEST:: SOT 139640 SOS 78438 HAS SOPS 46726 HAS SOUS 54990 HAS SOUPS 42182 WITH SCORE 42260.438
AT ITER 209 NEW BEST:: SOT 139664 SOS 78537 HAS SOPS 46715 HAS SOUS 55049 HAS SOUPS 42171 WITH SCORE 42249.537
AT ITER 217 NEW BEST:: SOT 139680 SOS 77703 HAS SOPS 45424 HAS SOUS 55065 HAS SOUPS 41730 WITH SCORE 41807.703
AT ITER 219 NEW BEST:: SOT 139639 SOS 77662 HAS SOPS 45424 HAS SOUS 55065 HAS SOUPS 41730 WITH SCORE 41807.662
AT ITER 230 NEW BEST:: SOT 139639 SOS 77660 HAS SOPS 45424 HAS SOUS 55063 HAS SOUPS 41730 WITH SCORE 41807.66
AT ITER 232 NEW BEST:: SOT 139601 SOS 77622 HAS SOPS 45305 HAS SOUS 54812 HAS SOUPS 41435 WITH SCORE 41512.622
AT ITER 240 NEW BEST:: SOT 139638 SOS 77659 HAS SOPS 45304 HAS SOUS 54831 HAS SOUPS 41398 WITH SCORE 41475.659
AT ITER 243 NEW BEST:: SOT 139636 SOS 77657 HAS SOPS 45302 HAS SOUS 54829 HAS SOUPS 41396 WITH SCORE 41473.657
AT ITER 258 NEW BEST:: SOT 139638 SOS 77659 HAS SOPS 45239 HAS SOUS 54846 HAS SOUPS 41335 WITH SCORE 41412.659
AT ITER 264 NEW BEST:: SOT 139625 SOS 77645 HAS SOPS 45268 HAS SOUS 54833 HAS SOUPS 41324 WITH SCORE 41401.645
AT ITER 291 NEW BEST:: SOT 139735 SOS 78026 HAS SOPS 45235 HAS SOUS 55012 HAS SOUPS 41291 WITH SCORE 41369.026
AT ITER 294 NEW BEST:: SOT 139611 SOS 77902 HAS SOPS 45069 HAS SOUS 54767 HAS SOUPS 41002 WITH SCORE 41079.902
AT ITER 296 NEW BEST:: SOT 139573 SOS 77864 HAS SOPS 45031 HAS SOUS 54729 HAS SOUPS 40964 WITH SCORE 41041.864
AT ITER 302 NEW BEST:: SOT 139640 SOS 78135 HAS SOPS 45002 HAS SOUS 54810 HAS SOUPS 40935 WITH SCORE 41013.135
AT ITER 307 NEW BEST:: SOT 139562 SOS 78057 HAS SOPS 44927 HAS SOUS 54655 HAS SOUPS 40780 WITH SCORE 40858.057
AT ITER 311 NEW BEST:: SOT 139544 SOS 78039 HAS SOPS 44805 HAS SOUS 54654 HAS SOUPS 40658 WITH SCORE 40736.039
AT ITER 317 NEW BEST:: SOT 139548 SOS 78111 HAS SOPS 44741 HAS SOUS 54654 HAS SOUPS 40594 WITH SCORE 40672.111
AT ITER 319 NEW BEST:: SOT 139548 SOS 78083 HAS SOPS 44741 HAS SOUS 54640 HAS SOUPS 40594 WITH SCORE 40672.083
AT ITER 320 NEW BEST:: SOT 139535 SOS 78096 HAS SOPS 44688 HAS SOUS 54810 HAS SOUPS 40542 WITH SCORE 40620.096
AT ITER 328 NEW BEST:: SOT 139513 SOS 78074 HAS SOPS 44534 HAS SOUS 54836 HAS SOUPS 40491 WITH SCORE 40569.074
AT ITER 332 NEW BEST:: SOT 139469 SOS 78030 HAS SOPS 44445 HAS SOUS 54793 HAS SOUPS 40404 WITH SCORE 40482.03
AT ITER 341 NEW BEST:: SOT 137396 SOS 75957 HAS SOPS 42338 HAS SOUS 52746 HAS SOUPS 38323 WITH SCORE 38398.957
AT ITER 344 NEW BEST:: SOT 137396 SOS 75953 HAS SOPS 42338 HAS SOUS 52710 HAS SOUPS 38323 WITH SCORE 38398.953
AT ITER 345 NEW BEST:: SOT 137455 SOS 76300 HAS SOPS 42325 HAS SOUS 52824 HAS SOUPS 38310 WITH SCORE 38386.3
AT ITER 346 NEW BEST:: SOT 137571 SOS 76752 HAS SOPS 42260 HAS SOUS 52892 HAS SOUPS 38245 WITH SCORE 38321.752
AT ITER 347 NEW BEST:: SOT 137514 SOS 76695 HAS SOPS 42057 HAS SOUS 52742 HAS SOUPS 38092 WITH SCORE 38168.695
AT ITER 350 NEW BEST:: SOT 137514 SOS 76695 HAS SOPS 42032 HAS SOUS 52731 HAS SOUPS 38081 WITH SCORE 38157.695
AT ITER 369 NEW BEST:: SOT 137514 SOS 76695 HAS SOPS 42006 HAS SOUS 52752 HAS SOUPS 38055 WITH SCORE 38131.695
AT ITER 371 NEW BEST:: SOT 137381 SOS 76562 HAS SOPS 41896 HAS SOUS 52643 HAS SOUPS 37946 WITH SCORE 38022.562
AT ITER 373 NEW BEST:: SOT 137401 SOS 76582 HAS SOPS 41826 HAS SOUS 52675 HAS SOUPS 37892 WITH SCORE 37968.582
AT ITER 378 NEW BEST:: SOT 137397 SOS 76578 HAS SOPS 41829 HAS SOUS 52670 HAS SOUPS 37891 WITH SCORE 37967.578
AT ITER 379 NEW BEST:: SOT 137399 SOS 76596 HAS SOPS 41823 HAS SOUS 52675 HAS SOUPS 37885 WITH SCORE 37961.596
AT ITER 389 NEW BEST:: SOT 137406 SOS 76701 HAS SOPS 41728 HAS SOUS 52693 HAS SOUPS 37790 WITH SCORE 37866.701
AT ITER 402 NEW BEST:: SOT 137228 SOS 77007 HAS SOPS 41550 HAS SOUS 52656 HAS SOUPS 37612 WITH SCORE 37689.007
AT ITER 403 NEW BEST:: SOT 137217 SOS 77046 HAS SOPS 41497 HAS SOUS 52834 HAS SOUPS 37560 WITH SCORE 37637.046
AT ITER 407 NEW BEST:: SOT 137217 SOS 77032 HAS SOPS 41497 HAS SOUS 52820 HAS SOUPS 37560 WITH SCORE 37637.032
AT ITER 408 NEW BEST:: SOT 137176 SOS 76991 HAS SOPS 41415 HAS SOUS 52697 HAS SOUPS 37437 WITH SCORE 37513.991
AT ITER 418 NEW BEST:: SOT 137200 SOS 77031 HAS SOPS 41356 HAS SOUS 52715 HAS SOUPS 37422 WITH SCORE 37499.031
AT ITER 430 NEW BEST:: SOT 137198 SOS 77029 HAS SOPS 41356 HAS SOUS 52715 HAS SOUPS 37422 WITH SCORE 37499.029
AT ITER 443 NEW BEST:: SOT 134536 SOS 87041 HAS SOPS 38694 HAS SOUS 55814 HAS SOUPS 35221 WITH SCORE 35308.041
AT ITER 444 NEW BEST:: SOT 134602 SOS 87153 HAS SOPS 38680 HAS SOUS 55878 HAS SOUPS 35207 WITH SCORE 35294.153
AT ITER 450 NEW BEST:: SOT 134410 SOS 86953 HAS SOPS 38751 HAS SOUS 55679 HAS SOUPS 35121 WITH SCORE 35207.953
AT ITER 460 NEW BEST:: SOT 134483 SOS 87026 HAS SOPS 38823 HAS SOUS 55671 HAS SOUPS 35119 WITH SCORE 35206.026
AT ITER 463 NEW BEST:: SOT 134420 SOS 86948 HAS SOPS 38826 HAS SOUS 55547 HAS SOUPS 35051 WITH SCORE 35137.948
AT ITER 467 NEW BEST:: SOT 134349 SOS 86877 HAS SOPS 38755 HAS SOUS 55524 HAS SOUPS 34980 WITH SCORE 35066.877
AT ITER 468 NEW BEST:: SOT 134358 SOS 86910 HAS SOPS 38752 HAS SOUS 55545 HAS SOUPS 34977 WITH SCORE 35063.91
AT ITER 476 NEW BEST:: SOT 134226 SOS 87130 HAS SOPS 38577 HAS SOUS 55456 HAS SOUPS 34802 WITH SCORE 34889.13
AT ITER 491 NEW BEST:: SOT 134130 SOS 87024 HAS SOPS 38577 HAS SOUS 55446 HAS SOUPS 34802 WITH SCORE 34889.024
AT ITER 497 NEW BEST:: SOT 134149 SOS 87043 HAS SOPS 38508 HAS SOUS 55537 HAS SOUPS 34733 WITH SCORE 34820.043
AT ITER 503 NEW BEST:: SOT 134149 SOS 87043 HAS SOPS 38500 HAS SOUS 55533 HAS SOUPS 34727 WITH SCORE 34814.043
AT ITER 505 NEW BEST:: SOT 133978 SOS 86872 HAS SOPS 38329 HAS SOUS 55352 HAS SOUPS 34556 WITH SCORE 34642.872
AT ITER 517 NEW BEST:: SOT 133942 SOS 86836 HAS SOPS 38257 HAS SOUS 55316 HAS SOUPS 34484 WITH SCORE 34570.836
AT ITER 520 NEW BEST:: SOT 133930 SOS 86824 HAS SOPS 38208 HAS SOUS 55311 HAS SOUPS 34435 WITH SCORE 34521.824
AT ITER 521 NEW BEST:: SOT 133930 SOS 84208 HAS SOPS 35322 HAS SOUS 55119 HAS SOUPS 34165 WITH SCORE 34249.208
AT ITER 527 NEW BEST:: SOT 133852 SOS 84130 HAS SOPS 35166 HAS SOUS 55153 HAS SOUPS 34009 WITH SCORE 34093.13
AT ITER 528 NEW BEST:: SOT 133852 SOS 84090 HAS SOPS 35166 HAS SOUS 55132 HAS SOUPS 34009 WITH SCORE 34093.09
AT ITER 537 NEW BEST:: SOT 133969 SOS 84232 HAS SOPS 35136 HAS SOUS 55255 HAS SOUPS 33979 WITH SCORE 34063.232
AT ITER 538 NEW BEST:: SOT 133783 SOS 84046 HAS SOPS 34950 HAS SOUS 55069 HAS SOUPS 33793 WITH SCORE 33877.046
AT ITER 546 NEW BEST:: SOT 133782 SOS 84045 HAS SOPS 34927 HAS SOUS 55047 HAS SOUPS 33770 WITH SCORE 33854.045
AT ITER 554 NEW BEST:: SOT 133804 SOS 84103 HAS SOPS 34883 HAS SOUS 55082 HAS SOUPS 33726 WITH SCORE 33810.103
AT ITER 562 NEW BEST:: SOT 133780 SOS 84079 HAS SOPS 34830 HAS SOUS 55019 HAS SOUPS 33673 WITH SCORE 33757.079
AT ITER 580 NEW BEST:: SOT 133850 SOS 84369 HAS SOPS 34736 HAS SOUS 55051 HAS SOUPS 33585 WITH SCORE 33669.369
AT ITER 589 NEW BEST:: SOT 133850 SOS 84374 HAS SOPS 34708 HAS SOUS 55032 HAS SOUPS 33559 WITH SCORE 33643.374
AT ITER 595 NEW BEST:: SOT 133715 SOS 84239 HAS SOPS 34708 HAS SOUS 54988 HAS SOUPS 33559 WITH SCORE 33643.239
AT ITER 614 NEW BEST:: SOT 133821 SOS 84611 HAS SOPS 34570 HAS SOUS 55320 HAS SOUPS 33505 WITH SCORE 33589.611
AT ITER 625 NEW BEST:: SOT 133814 SOS 84624 HAS SOPS 34535 HAS SOUS 55317 HAS SOUPS 33470 WITH SCORE 33554.624
AT ITER 629 NEW BEST:: SOT 133813 SOS 84623 HAS SOPS 34533 HAS SOUS 55293 HAS SOUPS 33445 WITH SCORE 33529.623
AT ITER 633 NEW BEST:: SOT 133788 SOS 84596 HAS SOPS 34572 HAS SOUS 55188 HAS SOUPS 33378 WITH SCORE 33462.596
AT ITER 637 NEW BEST:: SOT 133862 SOS 84670 HAS SOPS 34446 HAS SOUS 55127 HAS SOUPS 33252 WITH SCORE 33336.67
AT ITER 647 NEW BEST:: SOT 133856 SOS 84664 HAS SOPS 34431 HAS SOUS 55127 HAS SOUPS 33237 WITH SCORE 33321.664
AT ITER 655 NEW BEST:: SOT 133842 SOS 84657 HAS SOPS 34431 HAS SOUS 55126 HAS SOUPS 33237 WITH SCORE 33321.657
AT ITER 656 NEW BEST:: SOT 133806 SOS 84610 HAS SOPS 34460 HAS SOUS 55054 HAS SOUPS 33176 WITH SCORE 33260.61
AT ITER 662 NEW BEST:: SOT 133779 SOS 84583 HAS SOPS 34406 HAS SOUS 55039 HAS SOUPS 33122 WITH SCORE 33206.583
AT ITER 682 NEW BEST:: SOT 133779 SOS 84617 HAS SOPS 34385 HAS SOUS 55056 HAS SOUPS 33101 WITH SCORE 33185.617
AT ITER 688 NEW BEST:: SOT 133770 SOS 84608 HAS SOPS 34376 HAS SOUS 55038 HAS SOUPS 33083 WITH SCORE 33167.608
AT ITER 692 NEW BEST:: SOT 133770 SOS 84374 HAS SOPS 34376 HAS SOUS 55038 HAS SOUPS 33083 WITH SCORE 33167.374
AT ITER 699 NEW BEST:: SOT 133782 SOS 84478 HAS SOPS 34338 HAS SOUS 55073 HAS SOUPS 33045 WITH SCORE 33129.478
AT ITER 700 NEW BEST:: SOT 133782 SOS 84389 HAS SOPS 34338 HAS SOUS 55069 HAS SOUPS 33045 WITH SCORE 33129.389
AT ITER 704 NEW BEST:: SOT 133526 SOS 84133 HAS SOPS 33826 HAS SOUS 54557 HAS SOUPS 32533 WITH SCORE 32617.133
AT ITER 721 NEW BEST:: SOT 133560 SOS 84235 HAS SOPS 33792 HAS SOUS 54625 HAS SOUPS 32499 WITH SCORE 32583.235
AT ITER 722 NEW BEST:: SOT 133322 SOS 83997 HAS SOPS 33632 HAS SOUS 54465 HAS SOUPS 32339 WITH SCORE 32422.997
AT ITER 729 NEW BEST:: SOT 133282 SOS 83877 HAS SOPS 33632 HAS SOUS 54425 HAS SOUPS 32339 WITH SCORE 32422.877
AT ITER 731 NEW BEST:: SOT 133260 SOS 83842 HAS SOPS 33610 HAS SOUS 54368 HAS SOUPS 32295 WITH SCORE 32378.842
AT ITER 749 NEW BEST:: SOT 133091 SOS 83673 HAS SOPS 33539 HAS SOUS 54111 HAS SOUPS 32224 WITH SCORE 32307.673
AT ITER 758 NEW BEST:: SOT 133091 SOS 83692 HAS SOPS 33520 HAS SOUS 54111 HAS SOUPS 32205 WITH SCORE 32288.692
AT ITER 763 NEW BEST:: SOT 133101 SOS 83802 HAS SOPS 33438 HAS SOUS 54131 HAS SOUPS 32123 WITH SCORE 32206.802
AT ITER 765 NEW BEST:: SOT 133101 SOS 83792 HAS SOPS 33438 HAS SOUS 54089 HAS SOUPS 32123 WITH SCORE 32206.792
AT ITER 771 NEW BEST:: SOT 132970 SOS 83449 HAS SOPS 33524 HAS SOUS 53805 HAS SOUPS 32077 WITH SCORE 32160.449
AT ITER 772 NEW BEST:: SOT 133042 SOS 83593 HAS SOPS 33475 HAS SOUS 53908 HAS SOUPS 32028 WITH SCORE 32111.593
AT ITER 791 NEW BEST:: SOT 133042 SOS 83593 HAS SOPS 33474 HAS SOUS 53907 HAS SOUPS 32027 WITH SCORE 32110.593
AT ITER 796 NEW BEST:: SOT 133040 SOS 83591 HAS SOPS 33470 HAS SOUS 53856 HAS SOUPS 32023 WITH SCORE 32106.591
AT ITER 798 NEW BEST:: SOT 133040 SOS 83561 HAS SOPS 33470 HAS SOUS 53750 HAS SOUPS 32023 WITH SCORE 32106.561
AT ITER 799 NEW BEST:: SOT 133040 SOS 77027 HAS SOPS 33470 HAS SOUS 53749 HAS SOUPS 32023 WITH SCORE 32100.027
AT ITER 806 NEW BEST:: SOT 133000 SOS 76987 HAS SOPS 33360 HAS SOUS 53695 HAS SOUPS 31913 WITH SCORE 31989.987
AT ITER 811 NEW BEST:: SOT 133062 SOS 77049 HAS SOPS 33308 HAS SOUS 53753 HAS SOUPS 31861 WITH SCORE 31938.049
AT ITER 820 NEW BEST:: SOT 133021 SOS 77008 HAS SOPS 33226 HAS SOUS 53783 HAS SOUPS 31779 WITH SCORE 31856.008
AT ITER 840 NEW BEST:: SOT 133043 SOS 77150 HAS SOPS 33124 HAS SOUS 53827 HAS SOUPS 31677 WITH SCORE 31754.15
AT ITER 842 NEW BEST:: SOT 133043 SOS 77144 HAS SOPS 33124 HAS SOUS 53824 HAS SOUPS 31677 WITH SCORE 31754.144
AT ITER 851 NEW BEST:: SOT 133059 SOS 77224 HAS SOPS 33065 HAS SOUS 53872 HAS SOUPS 31618 WITH SCORE 31695.224
AT ITER 855 NEW BEST:: SOT 133059 SOS 77224 HAS SOPS 32885 HAS SOUS 53764 HAS SOUPS 31438 WITH SCORE 31515.224
AT ITER 872 NEW BEST:: SOT 133025 SOS 77190 HAS SOPS 32744 HAS SOUS 53773 HAS SOUPS 31297 WITH SCORE 31374.19
AT ITER 880 NEW BEST:: SOT 132990 SOS 77155 HAS SOPS 32744 HAS SOUS 53773 HAS SOUPS 31297 WITH SCORE 31374.155
AT ITER 883 NEW BEST:: SOT 132526 SOS 76991 HAS SOPS 32280 HAS SOUS 53339 HAS SOUPS 30833 WITH SCORE 30909.991
AT ITER 892 NEW BEST:: SOT 132466 SOS 76931 HAS SOPS 32189 HAS SOUS 53278 HAS SOUPS 30742 WITH SCORE 30818.931
AT ITER 895 NEW BEST:: SOT 132450 SOS 76915 HAS SOPS 32166 HAS SOUS 53262 HAS SOUPS 30719 WITH SCORE 30795.915
AT ITER 937 NEW BEST:: SOT 132416 SOS 76881 HAS SOPS 32166 HAS SOUS 53222 HAS SOUPS 30719 WITH SCORE 30795.881
AT ITER 942 NEW BEST:: SOT 132454 SOS 76973 HAS SOPS 32145 HAS SOUS 53319 HAS SOUPS 30698 WITH SCORE 30774.973
AT ITER 950 NEW BEST:: SOT 132474 SOS 76993 HAS SOPS 32141 HAS SOUS 53315 HAS SOUPS 30651 WITH SCORE 30727.993
AT ITER 951 NEW BEST:: SOT 132304 SOS 76860 HAS SOPS 32112 HAS SOUS 53243 HAS SOUPS 30622 WITH SCORE 30698.86
AT ITER 969 NEW BEST:: SOT 132286 SOS 76832 HAS SOPS 32112 HAS SOUS 53207 HAS SOUPS 30622 WITH SCORE 30698.832
AT ITER 975 NEW BEST:: SOT 132533 SOS 77189 HAS SOPS 32092 HAS SOUS 53521 HAS SOUPS 30602 WITH SCORE 30679.189
AT ITER 992 NEW BEST:: SOT 132533 SOS 77205 HAS SOPS 32038 HAS SOUS 53533 HAS SOUPS 30548 WITH SCORE 30625.205
AT ITER 993 NEW BEST:: SOT 132513 SOS 77185 HAS SOPS 31998 HAS SOUS 53493 HAS SOUPS 30508 WITH SCORE 30585.185
AT ITER 1004 NEW BEST:: SOT 132498 SOS 77170 HAS SOPS 31991 HAS SOUS 53519 HAS SOUPS 30501 WITH SCORE 30578.17
AT ITER 1016 NEW BEST:: SOT 132492 SOS 77160 HAS SOPS 31985 HAS SOUS 53513 HAS SOUPS 30495 WITH SCORE 30572.16
AT ITER 1021 NEW BEST:: SOT 132481 SOS 77355 HAS SOPS 31974 HAS SOUS 53677 HAS SOUPS 30484 WITH SCORE 30561.355
AT ITER 1029 NEW BEST:: SOT 132473 SOS 77347 HAS SOPS 31974 HAS SOUS 53677 HAS SOUPS 30484 WITH SCORE 30561.347
AT ITER 1032 NEW BEST:: SOT 132473 SOS 72427 HAS SOPS 31974 HAS SOUS 52403 HAS SOUPS 30484 WITH SCORE 30556.427
AT ITER 1043 NEW BEST:: SOT 132473 SOS 72393 HAS SOPS 31974 HAS SOUS 52403 HAS SOUPS 30484 WITH SCORE 30556.393
AT ITER 1045 NEW BEST:: SOT 132487 SOS 71876 HAS SOPS 30913 HAS SOUS 52144 HAS SOUPS 29888 WITH SCORE 29959.876
AT ITER 1063 NEW BEST:: SOT 132487 SOS 71826 HAS SOPS 30913 HAS SOUS 52106 HAS SOUPS 29888 WITH SCORE 29959.826
AT ITER 1073 NEW BEST:: SOT 132487 SOS 71818 HAS SOPS 30913 HAS SOUS 52104 HAS SOUPS 29888 WITH SCORE 29959.818
AT ITER 1077 NEW BEST:: SOT 132499 SOS 71926 HAS SOPS 30841 HAS SOUS 52111 HAS SOUPS 29816 WITH SCORE 29887.926
AT ITER 1083 NEW BEST:: SOT 132466 SOS 71893 HAS SOPS 30841 HAS SOUS 52111 HAS SOUPS 29816 WITH SCORE 29887.893
AT ITER 1101 NEW BEST:: SOT 132466 SOS 71885 HAS SOPS 30841 HAS SOUS 52068 HAS SOUPS 29816 WITH SCORE 29887.885
AT ITER 1131 NEW BEST:: SOT 132472 SOS 71915 HAS SOPS 30835 HAS SOUS 52080 HAS SOUPS 29810 WITH SCORE 29881.915
AT ITER 1138 NEW BEST:: SOT 132462 SOS 71828 HAS SOPS 30825 HAS SOUS 51989 HAS SOUPS 29765 WITH SCORE 29836.828
AT ITER 1141 NEW BEST:: SOT 132419 SOS 71613 HAS SOPS 30825 HAS SOUS 51903 HAS SOUPS 29765 WITH SCORE 29836.613
AT ITER 1148 NEW BEST:: SOT 132311 SOS 71493 HAS SOPS 30717 HAS SOUS 51687 HAS SOUPS 29561 WITH SCORE 29632.493
AT ITER 1151 NEW BEST:: SOT 132243 SOS 71425 HAS SOPS 30666 HAS SOUS 51619 HAS SOUPS 29510 WITH SCORE 29581.425
AT ITER 1154 NEW BEST:: SOT 132242 SOS 71443 HAS SOPS 30643 HAS SOUS 51623 HAS SOUPS 29487 WITH SCORE 29558.443
AT ITER 1195 NEW BEST:: SOT 132254 SOS 71455 HAS SOPS 30649 HAS SOUS 51624 HAS SOUPS 29482 WITH SCORE 29553.455
AT ITER 1200 NEW BEST:: SOT 132215 SOS 71416 HAS SOPS 30610 HAS SOUS 51546 HAS SOUPS 29404 WITH SCORE 29475.416
AT ITER 1203 NEW BEST:: SOT 132198 SOS 71399 HAS SOPS 30643 HAS SOUS 51495 HAS SOUPS 29403 WITH SCORE 29474.399
AT ITER 1205 NEW BEST:: SOT 132198 SOS 71371 HAS SOPS 30643 HAS SOUS 51481 HAS SOUPS 29403 WITH SCORE 29474.371
AT ITER 1209 NEW BEST:: SOT 132349 SOS 71844 HAS SOPS 30625 HAS SOUS 51694 HAS SOUPS 29385 WITH SCORE 29456.844
AT ITER 1217 NEW BEST:: SOT 132402 SOS 72053 HAS SOPS 30617 HAS SOUS 51747 HAS SOUPS 29377 WITH SCORE 29449.053
AT ITER 1228 NEW BEST:: SOT 132430 SOS 72129 HAS SOPS 30594 HAS SOUS 51787 HAS SOUPS 29354 WITH SCORE 29426.129
AT ITER 1252 NEW BEST:: SOT 132430 SOS 72129 HAS SOPS 30578 HAS SOUS 51771 HAS SOUPS 29338 WITH SCORE 29410.129
AT ITER 1255 NEW BEST:: SOT 132451 SOS 72218 HAS SOPS 30518 HAS SOUS 51826 HAS SOUPS 29278 WITH SCORE 29350.218
AT ITER 1269 NEW BEST:: SOT 132306 SOS 72048 HAS SOPS 30373 HAS SOUS 51554 HAS SOUPS 29026 WITH SCORE 29098.048
AT ITER 1280 NEW BEST:: SOT 132172 SOS 71839 HAS SOPS 30332 HAS SOUS 51286 HAS SOUPS 28833 WITH SCORE 28904.839
AT ITER 1286 NEW BEST:: SOT 132217 SOS 71929 HAS SOPS 30329 HAS SOUS 51283 HAS SOUPS 28830 WITH SCORE 28901.929
AT ITER 1289 NEW BEST:: SOT 132217 SOS 71953 HAS SOPS 30317 HAS SOUS 51287 HAS SOUPS 28818 WITH SCORE 28889.953
AT ITER 1299 NEW BEST:: SOT 132245 SOS 71981 HAS SOPS 30326 HAS SOUS 51278 HAS SOUPS 28813 WITH SCORE 28884.981
AT ITER 1304 NEW BEST:: SOT 132369 SOS 72601 HAS SOPS 30202 HAS SOUS 51496 HAS SOUPS 28689 WITH SCORE 28761.601
AT ITER 1327 NEW BEST:: SOT 132514 SOS 73146 HAS SOPS 30192 HAS SOUS 51651 HAS SOUPS 28679 WITH SCORE 28752.146
AT ITER 1338 NEW BEST:: SOT 132587 SOS 73422 HAS SOPS 30161 HAS SOUS 51724 HAS SOUPS 28648 WITH SCORE 28721.422
AT ITER 1348 NEW BEST:: SOT 132536 SOS 73539 HAS SOPS 30110 HAS SOUS 51688 HAS SOUPS 28597 WITH SCORE 28670.539
AT ITER 1353 NEW BEST:: SOT 132517 SOS 73520 HAS SOPS 30110 HAS SOUS 51688 HAS SOUPS 28597 WITH SCORE 28670.52
AT ITER 1355 NEW BEST:: SOT 132586 SOS 73801 HAS SOPS 30089 HAS SOUS 51747 HAS SOUPS 28576 WITH SCORE 28649.801
AT ITER 1370 NEW BEST:: SOT 132661 SOS 74193 HAS SOPS 30068 HAS SOUS 51810 HAS SOUPS 28555 WITH SCORE 28629.193
AT ITER 1374 NEW BEST:: SOT 132632 SOS 74164 HAS SOPS 30068 HAS SOUS 51781 HAS SOUPS 28555 WITH SCORE 28629.164
AT ITER 1394 NEW BEST:: SOT 132651 SOS 74183 HAS SOPS 30034 HAS SOUS 51736 HAS SOUPS 28521 WITH SCORE 28595.183
AT ITER 1404 NEW BEST:: SOT 132713 SOS 74245 HAS SOPS 30100 HAS SOUS 51717 HAS SOUPS 28506 WITH SCORE 28580.245
AT ITER 1406 NEW BEST:: SOT 132663 SOS 73995 HAS SOPS 30100 HAS SOUS 51617 HAS SOUPS 28506 WITH SCORE 28579.995
AT ITER 1420 NEW BEST:: SOT 132663 SOS 73603 HAS SOPS 30100 HAS SOUS 51643 HAS SOUPS 28506 WITH SCORE 28579.603
AT ITER 1424 NEW BEST:: SOT 132651 SOS 73591 HAS SOPS 30088 HAS SOUS 51631 HAS SOUPS 28494 WITH SCORE 28567.591
AT ITER 1434 NEW BEST:: SOT 132643 SOS 73583 HAS SOPS 30088 HAS SOUS 51631 HAS SOUPS 28494 WITH SCORE 28567.583
AT ITER 1440 NEW BEST:: SOT 132839 SOS 73779 HAS SOPS 30026 HAS SOUS 51801 HAS SOUPS 28432 WITH SCORE 28505.779
AT ITER 1441 NEW BEST:: SOT 132804 SOS 73744 HAS SOPS 29920 HAS SOUS 51747 HAS SOUPS 28326 WITH SCORE 28399.744
AT ITER 1448 NEW BEST:: SOT 132753 SOS 73639 HAS SOPS 29920 HAS SOUS 51634 HAS SOUPS 28326 WITH SCORE 28399.639
AT ITER 1466 NEW BEST:: SOT 132726 SOS 73504 HAS SOPS 29920 HAS SOUS 51607 HAS SOUPS 28326 WITH SCORE 28399.504
AT ITER 1478 NEW BEST:: SOT 132711 SOS 73489 HAS SOPS 29884 HAS SOUS 51571 HAS SOUPS 28290 WITH SCORE 28363.489
AT ITER 1494 NEW BEST:: SOT 132677 SOS 73464 HAS SOPS 29861 HAS SOUS 51642 HAS SOUPS 28267 WITH SCORE 28340.464
AT ITER 1496 NEW BEST:: SOT 132677 SOS 73428 HAS SOPS 29861 HAS SOUS 51606 HAS SOUPS 28267 WITH SCORE 28340.428
AT ITER 1500 NEW BEST:: SOT 132775 SOS 73676 HAS SOPS 29669 HAS SOUS 51749 HAS SOUPS 28075 WITH SCORE 28148.676
AT ITER 1513 NEW BEST:: SOT 132757 SOS 73658 HAS SOPS 29669 HAS SOUS 51731 HAS SOUPS 28075 WITH SCORE 28148.658
AT ITER 1514 NEW BEST:: SOT 132805 SOS 73706 HAS SOPS 29658 HAS SOUS 51756 HAS SOUPS 28041 WITH SCORE 28114.706
AT ITER 1531 NEW BEST:: SOT 132780 SOS 73681 HAS SOPS 29620 HAS SOUS 51706 HAS SOUPS 27991 WITH SCORE 28064.681
AT ITER 1543 NEW BEST:: SOT 132693 SOS 73269 HAS SOPS 29620 HAS SOUS 51563 HAS SOUPS 27991 WITH SCORE 28064.269
AT ITER 1552 NEW BEST:: SOT 132693 SOS 73169 HAS SOPS 29620 HAS SOUS 51538 HAS SOUPS 27991 WITH SCORE 28064.169
AT ITER 1555 NEW BEST:: SOT 132613 SOS 73089 HAS SOPS 29460 HAS SOUS 51491 HAS SOUPS 27831 WITH SCORE 27904.089
AT ITER 1589 NEW BEST:: SOT 132651 SOS 73340 HAS SOPS 29422 HAS SOUS 51491 HAS SOUPS 27793 WITH SCORE 27866.34
AT ITER 1601 NEW BEST:: SOT 132674 SOS 73372 HAS SOPS 29409 HAS SOUS 51573 HAS SOUPS 27780 WITH SCORE 27853.372
AT ITER 1603 NEW BEST:: SOT 132681 SOS 73401 HAS SOPS 29390 HAS SOUS 51565 HAS SOUPS 27761 WITH SCORE 27834.401
AT ITER 1612 NEW BEST:: SOT 132650 SOS 73356 HAS SOPS 29424 HAS SOUS 51438 HAS SOUPS 27713 WITH SCORE 27786.356
AT ITER 1618 NEW BEST:: SOT 132743 SOS 73689 HAS SOPS 29370 HAS SOUS 51597 HAS SOUPS 27659 WITH SCORE 27732.689
AT ITER 1626 NEW BEST:: SOT 132724 SOS 73670 HAS SOPS 29328 HAS SOUS 51560 HAS SOUPS 27617 WITH SCORE 27690.67
AT ITER 1645 NEW BEST:: SOT 132724 SOS 73670 HAS SOPS 29306 HAS SOUS 51549 HAS SOUPS 27595 WITH SCORE 27668.67
AT ITER 1649 NEW BEST:: SOT 132656 SOS 73602 HAS SOPS 29254 HAS SOUS 51497 HAS SOUPS 27559 WITH SCORE 27632.602
AT ITER 1655 NEW BEST:: SOT 132656 SOS 73602 HAS SOPS 29252 HAS SOUS 51495 HAS SOUPS 27557 WITH SCORE 27630.602
AT ITER 1658 NEW BEST:: SOT 132656 SOS 73610 HAS SOPS 29244 HAS SOUS 51495 HAS SOUPS 27549 WITH SCORE 27622.61
AT ITER 1670 NEW BEST:: SOT 132573 SOS 73307 HAS SOPS 29244 HAS SOUS 51363 HAS SOUPS 27549 WITH SCORE 27622.307
AT ITER 1671 NEW BEST:: SOT 132559 SOS 73237 HAS SOPS 29244 HAS SOUS 51349 HAS SOUPS 27549 WITH SCORE 27622.237
AT ITER 1683 NEW BEST:: SOT 132566 SOS 73244 HAS SOPS 29233 HAS SOUS 51325 HAS SOUPS 27538 WITH SCORE 27611.244
AT ITER 1694 NEW BEST:: SOT 132478 SOS 73156 HAS SOPS 29127 HAS SOUS 51226 HAS SOUPS 27439 WITH SCORE 27512.156
AT ITER 1696 NEW BEST:: SOT 132478 SOS 73092 HAS SOPS 29127 HAS SOUS 51180 HAS SOUPS 27439 WITH SCORE 27512.092
AT ITER 1713 NEW BEST:: SOT 132475 SOS 73089 HAS SOPS 29137 HAS SOUS 51138 HAS SOUPS 27397 WITH SCORE 27470.089
AT ITER 1734 NEW BEST:: SOT 132501 SOS 73115 HAS SOPS 29124 HAS SOUS 51110 HAS SOUPS 27384 WITH SCORE 27457.115
AT ITER 1746 NEW BEST:: SOT 132500 SOS 73114 HAS SOPS 29040 HAS SOUS 51103 HAS SOUPS 27294 WITH SCORE 27367.114
AT ITER 1751 NEW BEST:: SOT 132494 SOS 73108 HAS SOPS 29052 HAS SOUS 51085 HAS SOUPS 27294 WITH SCORE 27367.108
AT ITER 1758 NEW BEST:: SOT 132469 SOS 73083 HAS SOPS 29052 HAS SOUS 51057 HAS SOUPS 27294 WITH SCORE 27367.083
AT ITER 1801 NEW BEST:: SOT 132465 SOS 73024 HAS SOPS 29048 HAS SOUS 51069 HAS SOUPS 27290 WITH SCORE 27363.024
AT ITER 1802 NEW BEST:: SOT 132515 SOS 73338 HAS SOPS 29023 HAS SOUS 51194 HAS SOUPS 27265 WITH SCORE 27338.338
AT ITER 1811 NEW BEST:: SOT 132572 SOS 73623 HAS SOPS 28966 HAS SOUS 51304 HAS SOUPS 27208 WITH SCORE 27281.623
AT ITER 1824 NEW BEST:: SOT 132634 SOS 73927 HAS SOPS 28934 HAS SOUS 51376 HAS SOUPS 27176 WITH SCORE 27249.927
AT ITER 1826 NEW BEST:: SOT 132634 SOS 73855 HAS SOPS 28934 HAS SOUS 51330 HAS SOUPS 27176 WITH SCORE 27249.855
AT ITER 1832 NEW BEST:: SOT 132670 SOS 73963 HAS SOPS 28898 HAS SOUS 51368 HAS SOUPS 27140 WITH SCORE 27213.963
AT ITER 1833 NEW BEST:: SOT 132670 SOS 73951 HAS SOPS 28898 HAS SOUS 51365 HAS SOUPS 27140 WITH SCORE 27213.951
AT ITER 1843 NEW BEST:: SOT 132609 SOS 73775 HAS SOPS 28933 HAS SOUS 51231 HAS SOUPS 27133 WITH SCORE 27206.775
AT ITER 1852 NEW BEST:: SOT 132609 SOS 73775 HAS SOPS 28922 HAS SOUS 51231 HAS SOUPS 27122 WITH SCORE 27195.775
AT ITER 1854 NEW BEST:: SOT 132593 SOS 73759 HAS SOPS 28877 HAS SOUS 51200 HAS SOUPS 27077 WITH SCORE 27150.759
AT ITER 1862 NEW BEST:: SOT 132593 SOS 73759 HAS SOPS 28847 HAS SOUS 51155 HAS SOUPS 27047 WITH SCORE 27120.759
AT ITER 1881 NEW BEST:: SOT 132593 SOS 73723 HAS SOPS 28847 HAS SOUS 51149 HAS SOUPS 27047 WITH SCORE 27120.723
AT ITER 1887 NEW BEST:: SOT 132682 SOS 74080 HAS SOPS 28788 HAS SOUS 51317 HAS SOUPS 26988 WITH SCORE 27062.08
AT ITER 1890 NEW BEST:: SOT 132787 SOS 74625 HAS SOPS 28740 HAS SOUS 51358 HAS SOUPS 26940 WITH SCORE 27014.625
AT ITER 1911 NEW BEST:: SOT 132768 SOS 74606 HAS SOPS 28740 HAS SOUS 51358 HAS SOUPS 26940 WITH SCORE 27014.606
AT ITER 1912 NEW BEST:: SOT 132822 SOS 74660 HAS SOPS 28739 HAS SOUS 51357 HAS SOUPS 26939 WITH SCORE 27013.66
AT ITER 1915 NEW BEST:: SOT 132821 SOS 74659 HAS SOPS 28730 HAS SOUS 51355 HAS SOUPS 26937 WITH SCORE 27011.659
AT ITER 1941 NEW BEST:: SOT 132800 SOS 74638 HAS SOPS 28688 HAS SOUS 51345 HAS SOUPS 26895 WITH SCORE 26969.638
AT ITER 1961 NEW BEST:: SOT 132901 SOS 74739 HAS SOPS 28670 HAS SOUS 51360 HAS SOUPS 26877 WITH SCORE 26951.739
AT ITER 1977 NEW BEST:: SOT 132951 SOS 74789 HAS SOPS 28611 HAS SOUS 51410 HAS SOUPS 26818 WITH SCORE 26892.789
AT ITER 1986 NEW BEST:: SOT 132956 SOS 74794 HAS SOPS 28570 HAS SOUS 51478 HAS SOUPS 26777 WITH SCORE 26851.794
AT ITER 1997 NEW BEST:: SOT 132931 SOS 74769 HAS SOPS 28520 HAS SOUS 51453 HAS SOUPS 26727 WITH SCORE 26801.769
AT ITER 2001 NEW BEST:: SOT 132894 SOS 74732 HAS SOPS 28446 HAS SOUS 51282 HAS SOUPS 26653 WITH SCORE 26727.732
AT ITER 2026 NEW BEST:: SOT 132888 SOS 74726 HAS SOPS 28420 HAS SOUS 51246 HAS SOUPS 26627 WITH SCORE 26701.726
AT ITER 2032 NEW BEST:: SOT 132888 SOS 74726 HAS SOPS 28402 HAS SOUS 51228 HAS SOUPS 26609 WITH SCORE 26683.726
AT ITER 2034 NEW BEST:: SOT 132890 SOS 74728 HAS SOPS 28386 HAS SOUS 51241 HAS SOUPS 26604 WITH SCORE 26678.728
AT ITER 2037 NEW BEST:: SOT 132876 SOS 74871 HAS SOPS 28372 HAS SOUS 51251 HAS SOUPS 26590 WITH SCORE 26664.871
AT ITER 2048 NEW BEST:: SOT 132855 SOS 74850 HAS SOPS 28370 HAS SOUS 51230 HAS SOUPS 26588 WITH SCORE 26662.85
AT ITER 2079 NEW BEST:: SOT 132841 SOS 74836 HAS SOPS 28370 HAS SOUS 51216 HAS SOUPS 26588 WITH SCORE 26662.836
AT ITER 2092 NEW BEST:: SOT 132841 SOS 74812 HAS SOPS 28370 HAS SOUS 51204 HAS SOUPS 26588 WITH SCORE 26662.812
AT ITER 2093 NEW BEST:: SOT 132830 SOS 74801 HAS SOPS 28364 HAS SOUS 51193 HAS SOUPS 26582 WITH SCORE 26656.801
AT ITER 2102 NEW BEST:: SOT 132830 SOS 74801 HAS SOPS 28298 HAS SOUS 51189 HAS SOUPS 26516 WITH SCORE 26590.801
AT ITER 2121 NEW BEST:: SOT 132824 SOS 74795 HAS SOPS 28291 HAS SOUS 51168 HAS SOUPS 26504 WITH SCORE 26578.795
AT ITER 2122 NEW BEST:: SOT 132793 SOS 74764 HAS SOPS 28273 HAS SOUS 51160 HAS SOUPS 26502 WITH SCORE 26576.764
AT ITER 2133 NEW BEST:: SOT 132882 SOS 74853 HAS SOPS 28242 HAS SOUS 51180 HAS SOUPS 26471 WITH SCORE 26545.853
AT ITER 2146 NEW BEST:: SOT 132882 SOS 74318 HAS SOPS 28242 HAS SOUS 51158 HAS SOUPS 26471 WITH SCORE 26545.318
AT ITER 2165 NEW BEST:: SOT 132825 SOS 74259 HAS SOPS 28219 HAS SOUS 51090 HAS SOUPS 26405 WITH SCORE 26479.259
AT ITER 2174 NEW BEST:: SOT 132830 SOS 74227 HAS SOPS 28157 HAS SOUS 50959 HAS SOUPS 26343 WITH SCORE 26417.227
AT ITER 2181 NEW BEST:: SOT 132830 SOS 74207 HAS SOPS 28157 HAS SOUS 50950 HAS SOUPS 26343 WITH SCORE 26417.207
AT ITER 2185 NEW BEST:: SOT 132830 SOS 74159 HAS SOPS 28157 HAS SOUS 50938 HAS SOUPS 26343 WITH SCORE 26417.159
AT ITER 2187 NEW BEST:: SOT 132830 SOS 73783 HAS SOPS 28157 HAS SOUS 50865 HAS SOUPS 26343 WITH SCORE 26416.783
AT ITER 2195 NEW BEST:: SOT 132886 SOS 73963 HAS SOPS 28145 HAS SOUS 50884 HAS SOUPS 26331 WITH SCORE 26404.963
AT ITER 2203 NEW BEST:: SOT 132903 SOS 74048 HAS SOPS 28128 HAS SOUS 50918 HAS SOUPS 26314 WITH SCORE 26388.048
AT ITER 2213 NEW BEST:: SOT 132932 SOS 74085 HAS SOPS 28112 HAS SOUS 50914 HAS SOUPS 26302 WITH SCORE 26376.085
AT ITER 2214 NEW BEST:: SOT 132902 SOS 74055 HAS SOPS 28082 HAS SOUS 50944 HAS SOUPS 26302 WITH SCORE 26376.055
AT ITER 2218 NEW BEST:: SOT 132923 SOS 74099 HAS SOPS 28073 HAS SOUS 50982 HAS SOUPS 26293 WITH SCORE 26367.099
AT ITER 2221 NEW BEST:: SOT 132923 SOS 74103 HAS SOPS 28071 HAS SOUS 50982 HAS SOUPS 26291 WITH SCORE 26365.103
AT ITER 2224 NEW BEST:: SOT 132916 SOS 74096 HAS SOPS 28071 HAS SOUS 50982 HAS SOUPS 26291 WITH SCORE 26365.096
AT ITER 2249 NEW BEST:: SOT 132908 SOS 74088 HAS SOPS 28055 HAS SOUS 50974 HAS SOUPS 26275 WITH SCORE 26349.088
AT ITER 2250 NEW BEST:: SOT 132908 SOS 74076 HAS SOPS 28055 HAS SOUS 50968 HAS SOUPS 26275 WITH SCORE 26349.076
AT ITER 2255 NEW BEST:: SOT 132904 SOS 74072 HAS SOPS 28047 HAS SOUS 50924 HAS SOUPS 26267 WITH SCORE 26341.072
AT ITER 2303 NEW BEST:: SOT 132871 SOS 73982 HAS SOPS 28047 HAS SOUS 50849 HAS SOUPS 26258 WITH SCORE 26331.982
AT ITER 2321 NEW BEST:: SOT 132908 SOS 74181 HAS SOPS 28010 HAS SOUS 50923 HAS SOUPS 26221 WITH SCORE 26295.181
AT ITER 2336 NEW BEST:: SOT 132885 SOS 74158 HAS SOPS 27964 HAS SOUS 50854 HAS SOUPS 26175 WITH SCORE 26249.158
AT ITER 2378 NEW BEST:: SOT 132914 SOS 74343 HAS SOPS 27954 HAS SOUS 50917 HAS SOUPS 26165 WITH SCORE 26239.343
AT ITER 2384 NEW BEST:: SOT 132870 SOS 74299 HAS SOPS 27954 HAS SOUS 50902 HAS SOUPS 26165 WITH SCORE 26239.299
AT ITER 2388 NEW BEST:: SOT 132863 SOS 74292 HAS SOPS 27940 HAS SOUS 50888 HAS SOUPS 26151 WITH SCORE 26225.292
AT ITER 2409 NEW BEST:: SOT 132863 SOS 74292 HAS SOPS 27915 HAS SOUS 50815 HAS SOUPS 26126 WITH SCORE 26200.292
AT ITER 2424 NEW BEST:: SOT 132863 SOS 74293 HAS SOPS 27864 HAS SOUS 50866 HAS SOUPS 26075 WITH SCORE 26149.293
AT ITER 2429 NEW BEST:: SOT 132870 SOS 74300 HAS SOPS 27855 HAS SOUS 50880 HAS SOUPS 26066 WITH SCORE 26140.3
AT ITER 2437 NEW BEST:: SOT 132870 SOS 74280 HAS SOPS 27855 HAS SOUS 50880 HAS SOUPS 26066 WITH SCORE 26140.28
AT ITER 2446 NEW BEST:: SOT 132870 SOS 74120 HAS SOPS 27855 HAS SOUS 50880 HAS SOUPS 26066 WITH SCORE 26140.12
AT ITER 2455 NEW BEST:: SOT 132828 SOS 73994 HAS SOPS 27855 HAS SOUS 50796 HAS SOUPS 26066 WITH SCORE 26139.994
AT ITER 2463 NEW BEST:: SOT 132795 SOS 73945 HAS SOPS 27844 HAS SOUS 50766 HAS SOUPS 26052 WITH SCORE 26125.945
AT ITER 2471 NEW BEST:: SOT 132745 SOS 73905 HAS SOPS 27844 HAS SOUS 50766 HAS SOUPS 26052 WITH SCORE 26125.905
AT ITER 2475 NEW BEST:: SOT 132745 SOS 73863 HAS SOPS 27844 HAS SOUS 50037 HAS SOUPS 26052 WITH SCORE 26125.863
AT ITER 2482 NEW BEST:: SOT 132774 SOS 73892 HAS SOPS 27815 HAS SOUS 50066 HAS SOUPS 26023 WITH SCORE 26096.892
AT ITER 2496 NEW BEST:: SOT 132774 SOS 73771 HAS SOPS 27815 HAS SOUS 50068 HAS SOUPS 26023 WITH SCORE 26096.771
AT ITER 2507 NEW BEST:: SOT 132774 SOS 73739 HAS SOPS 27815 HAS SOUS 50068 HAS SOUPS 26023 WITH SCORE 26096.739
AT ITER 2518 NEW BEST:: SOT 132783 SOS 73760 HAS SOPS 27809 HAS SOUS 50083 HAS SOUPS 26017 WITH SCORE 26090.76
AT ITER 2529 NEW BEST:: SOT 132769 SOS 73746 HAS SOPS 27809 HAS SOUS 50081 HAS SOUPS 26017 WITH SCORE 26090.746
AT ITER 2530 NEW BEST:: SOT 132767 SOS 73736 HAS SOPS 27809 HAS SOUS 50077 HAS SOUPS 26017 WITH SCORE 26090.736
AT ITER 2545 NEW BEST:: SOT 132731 SOS 73656 HAS SOPS 27803 HAS SOUS 50019 HAS SOUPS 26011 WITH SCORE 26084.656
AT ITER 2548 NEW BEST:: SOT 132723 SOS 73648 HAS SOPS 27795 HAS SOUS 50003 HAS SOUPS 25995 WITH SCORE 26068.648
AT ITER 2576 NEW BEST:: SOT 132723 SOS 73624 HAS SOPS 27795 HAS SOUS 49991 HAS SOUPS 25995 WITH SCORE 26068.624
AT ITER 2596 NEW BEST:: SOT 132739 SOS 73665 HAS SOPS 27779 HAS SOUS 50023 HAS SOUPS 25979 WITH SCORE 26052.665
AT ITER 2625 NEW BEST:: SOT 132743 SOS 73685 HAS SOPS 27763 HAS SOUS 50015 HAS SOUPS 25963 WITH SCORE 26036.685
AT ITER 2636 NEW BEST:: SOT 132652 SOS 73594 HAS SOPS 27464 HAS SOUS 49761 HAS SOUPS 25664 WITH SCORE 25737.594
AT ITER 2648 NEW BEST:: SOT 132685 SOS 73627 HAS SOPS 27431 HAS SOUS 49790 HAS SOUPS 25631 WITH SCORE 25704.627
AT ITER 2656 NEW BEST:: SOT 132667 SOS 73609 HAS SOPS 27395 HAS SOUS 49772 HAS SOUPS 25595 WITH SCORE 25668.609
AT ITER 2675 NEW BEST:: SOT 132667 SOS 73608 HAS SOPS 27395 HAS SOUS 49772 HAS SOUPS 25595 WITH SCORE 25668.608
AT ITER 2677 NEW BEST:: SOT 132667 SOS 73586 HAS SOPS 27395 HAS SOUS 49750 HAS SOUPS 25595 WITH SCORE 25668.586
AT ITER 2681 NEW BEST:: SOT 132700 SOS 73548 HAS SOPS 27428 HAS SOUS 49640 HAS SOUPS 25528 WITH SCORE 25601.548
AT ITER 2690 NEW BEST:: SOT 132690 SOS 73538 HAS SOPS 27418 HAS SOUS 49640 HAS SOUPS 25528 WITH SCORE 25601.538
AT ITER 2696 NEW BEST:: SOT 132669 SOS 73517 HAS SOPS 27376 HAS SOUS 49630 HAS SOUPS 25495 WITH SCORE 25568.517
AT ITER 2702 NEW BEST:: SOT 132651 SOS 73470 HAS SOPS 27458 HAS SOUS 49501 HAS SOUPS 25488 WITH SCORE 25561.47
AT ITER 2705 NEW BEST:: SOT 132621 SOS 73440 HAS SOPS 27458 HAS SOUS 49501 HAS SOUPS 25488 WITH SCORE 25561.44
AT ITER 2717 NEW BEST:: SOT 132621 SOS 73430 HAS SOPS 27458 HAS SOUS 49479 HAS SOUPS 25488 WITH SCORE 25561.43
AT ITER 2725 NEW BEST:: SOT 132738 SOS 73547 HAS SOPS 27320 HAS SOUS 49657 HAS SOUPS 25350 WITH SCORE 25423.547
AT ITER 2755 NEW BEST:: SOT 132738 SOS 73513 HAS SOPS 27320 HAS SOUS 49657 HAS SOUPS 25350 WITH SCORE 25423.513
AT ITER 2757 NEW BEST:: SOT 132758 SOS 73547 HAS SOPS 27305 HAS SOUS 49713 HAS SOUPS 25335 WITH SCORE 25408.547
AT ITER 2764 NEW BEST:: SOT 132743 SOS 73552 HAS SOPS 27200 HAS SOUS 49615 HAS SOUPS 25230 WITH SCORE 25303.552
AT ITER 2793 NEW BEST:: SOT 132680 SOS 73489 HAS SOPS 27074 HAS SOUS 49552 HAS SOUPS 25104 WITH SCORE 25177.489
AT ITER 2802 NEW BEST:: SOT 132737 SOS 73810 HAS SOPS 27056 HAS SOUS 49664 HAS SOUPS 25086 WITH SCORE 25159.81
AT ITER 2808 NEW BEST:: SOT 132624 SOS 73645 HAS SOPS 27130 HAS SOUS 49501 HAS SOUPS 25071 WITH SCORE 25144.645
AT ITER 2811 NEW BEST:: SOT 132624 SOS 73627 HAS SOPS 27130 HAS SOUS 49452 HAS SOUPS 25071 WITH SCORE 25144.627
AT ITER 2823 NEW BEST:: SOT 132550 SOS 73424 HAS SOPS 27124 HAS SOUS 49353 HAS SOUPS 25052 WITH SCORE 25125.424
AT ITER 2826 NEW BEST:: SOT 132550 SOS 73370 HAS SOPS 27124 HAS SOUS 49380 HAS SOUPS 25052 WITH SCORE 25125.37
AT ITER 2836 NEW BEST:: SOT 132535 SOS 73325 HAS SOPS 27124 HAS SOUS 49350 HAS SOUPS 25052 WITH SCORE 25125.325
AT ITER 2842 NEW BEST:: SOT 132534 SOS 73324 HAS SOPS 27122 HAS SOUS 49349 HAS SOUPS 25050 WITH SCORE 25123.324
AT ITER 2852 NEW BEST:: SOT 132530 SOS 73320 HAS SOPS 27118 HAS SOUS 49343 HAS SOUPS 25046 WITH SCORE 25119.32
AT ITER 2856 NEW BEST:: SOT 132499 SOS 73280 HAS SOPS 27118 HAS SOUS 49340 HAS SOUPS 25046 WITH SCORE 25119.28
AT ITER 2874 NEW BEST:: SOT 132422 SOS 73203 HAS SOPS 27041 HAS SOUS 49252 HAS SOUPS 24969 WITH SCORE 25042.203
AT ITER 2878 NEW BEST:: SOT 132432 SOS 73253 HAS SOPS 27031 HAS SOUS 49272 HAS SOUPS 24959 WITH SCORE 25032.253
AT ITER 2879 NEW BEST:: SOT 132432 SOS 73229 HAS SOPS 27031 HAS SOUS 49259 HAS SOUPS 24959 WITH SCORE 25032.229
AT ITER 2886 NEW BEST:: SOT 132401 SOS 73198 HAS SOPS 27000 HAS SOUS 49229 HAS SOUPS 24954 WITH SCORE 25027.198
AT ITER 2894 NEW BEST:: SOT 132401 SOS 73189 HAS SOPS 27000 HAS SOUS 49222 HAS SOUPS 24954 WITH SCORE 25027.189
AT ITER 2895 NEW BEST:: SOT 132447 SOS 73214 HAS SOPS 27046 HAS SOUS 49124 HAS SOUPS 24849 WITH SCORE 24922.214
AT ITER 2908 NEW BEST:: SOT 132818 SOS 72632 HAS SOPS 25876 HAS SOUS 49447 HAS SOUPS 24572 WITH SCORE 24644.632
AT ITER 2926 NEW BEST:: SOT 132819 SOS 72633 HAS SOPS 25875 HAS SOUS 49443 HAS SOUPS 24568 WITH SCORE 24640.633
AT ITER 2939 NEW BEST:: SOT 132809 SOS 72613 HAS SOPS 25865 HAS SOUS 49428 HAS SOUPS 24558 WITH SCORE 24630.613
AT ITER 2952 NEW BEST:: SOT 132869 SOS 72673 HAS SOPS 25895 HAS SOUS 49363 HAS SOUPS 24512 WITH SCORE 24584.673
AT ITER 2983 NEW BEST:: SOT 132670 SOS 72474 HAS SOPS 25835 HAS SOUS 49164 HAS SOUPS 24452 WITH SCORE 24524.474
AT ITER 3003 NEW BEST:: SOT 132628 SOS 72432 HAS SOPS 25835 HAS SOUS 49122 HAS SOUPS 24452 WITH SCORE 24524.432
AT ITER 3028 NEW BEST:: SOT 132620 SOS 72424 HAS SOPS 25827 HAS SOUS 49114 HAS SOUPS 24452 WITH SCORE 24524.424
AT ITER 3040 NEW BEST:: SOT 132659 SOS 72653 HAS SOPS 25820 HAS SOUS 49153 HAS SOUPS 24445 WITH SCORE 24517.653
AT ITER 3101 NEW BEST:: SOT 132651 SOS 72645 HAS SOPS 25820 HAS SOUS 49129 HAS SOUPS 24429 WITH SCORE 24501.645
AT ITER 3104 NEW BEST:: SOT 132640 SOS 72634 HAS SOPS 25820 HAS SOUS 49118 HAS SOUPS 24429 WITH SCORE 24501.634
AT ITER 3119 NEW BEST:: SOT 132640 SOS 72634 HAS SOPS 25819 HAS SOUS 49118 HAS SOUPS 24428 WITH SCORE 24500.634
AT ITER 3124 NEW BEST:: SOT 132780 SOS 72994 HAS SOPS 25769 HAS SOUS 49250 HAS SOUPS 24378 WITH SCORE 24450.994
AT ITER 3131 NEW BEST:: SOT 132606 SOS 72820 HAS SOPS 25651 HAS SOUS 49076 HAS SOUPS 24260 WITH SCORE 24332.82
AT ITER 3132 NEW BEST:: SOT 132581 SOS 72795 HAS SOPS 25651 HAS SOUS 49076 HAS SOUPS 24260 WITH SCORE 24332.795
AT ITER 3197 NEW BEST:: SOT 132515 SOS 72705 HAS SOPS 25642 HAS SOUS 49052 HAS SOUPS 24251 WITH SCORE 24323.705
AT ITER 3228 NEW BEST:: SOT 132583 SOS 72855 HAS SOPS 25506 HAS SOUS 49156 HAS SOUPS 24160 WITH SCORE 24232.855
AT ITER 3230 NEW BEST:: SOT 132583 SOS 72685 HAS SOPS 25506 HAS SOUS 49087 HAS SOUPS 24160 WITH SCORE 24232.685
AT ITER 3235 NEW BEST:: SOT 132583 SOS 72581 HAS SOPS 25506 HAS SOUS 49061 HAS SOUPS 24160 WITH SCORE 24232.581
AT ITER 3236 NEW BEST:: SOT 132583 SOS 72573 HAS SOPS 25506 HAS SOUS 48991 HAS SOUPS 24160 WITH SCORE 24232.573
AT ITER 3237 NEW BEST:: SOT 132571 SOS 72561 HAS SOPS 25506 HAS SOUS 48979 HAS SOUPS 24160 WITH SCORE 24232.561
AT ITER 3240 NEW BEST:: SOT 132570 SOS 72560 HAS SOPS 25504 HAS SOUS 48978 HAS SOUPS 24158 WITH SCORE 24230.56
AT ITER 3247 NEW BEST:: SOT 132579 SOS 72569 HAS SOPS 25496 HAS SOUS 48986 HAS SOUPS 24150 WITH SCORE 24222.569
AT ITER 3254 NEW BEST:: SOT 132583 SOS 72573 HAS SOPS 25488 HAS SOUS 48990 HAS SOUPS 24142 WITH SCORE 24214.573
AT ITER 3266 NEW BEST:: SOT 132631 SOS 72861 HAS SOPS 25476 HAS SOUS 49038 HAS SOUPS 24130 WITH SCORE 24202.861
AT ITER 3275 NEW BEST:: SOT 132530 SOS 72760 HAS SOPS 25356 HAS SOUS 48955 HAS SOUPS 24028 WITH SCORE 24100.76
AT ITER 3293 NEW BEST:: SOT 132527 SOS 72757 HAS SOPS 25350 HAS SOUS 48952 HAS SOUPS 24022 WITH SCORE 24094.757
AT ITER 3318 NEW BEST:: SOT 132519 SOS 72745 HAS SOPS 25350 HAS SOUS 48940 HAS SOUPS 24018 WITH SCORE 24090.745
AT ITER 3320 NEW BEST:: SOT 132476 SOS 72690 HAS SOPS 25350 HAS SOUS 48936 HAS SOUPS 24018 WITH SCORE 24090.69
AT ITER 3321 NEW BEST:: SOT 132470 SOS 72688 HAS SOPS 25344 HAS SOUS 48928 HAS SOUPS 24006 WITH SCORE 24078.688
AT ITER 3347 NEW BEST:: SOT 132511 SOS 72734 HAS SOPS 25333 HAS SOUS 48974 HAS SOUPS 23995 WITH SCORE 24067.734
AT ITER 3352 NEW BEST:: SOT 132702 SOS 73576 HAS SOPS 25316 HAS SOUS 49109 HAS SOUPS 23978 WITH SCORE 24051.576
AT ITER 3357 NEW BEST:: SOT 132567 SOS 73201 HAS SOPS 25316 HAS SOUS 48991 HAS SOUPS 23978 WITH SCORE 24051.201
AT ITER 3367 NEW BEST:: SOT 132564 SOS 73198 HAS SOPS 25310 HAS SOUS 48988 HAS SOUPS 23972 WITH SCORE 24045.198
AT ITER 3405 NEW BEST:: SOT 132546 SOS 73180 HAS SOPS 25274 HAS SOUS 48912 HAS SOUPS 23936 WITH SCORE 24009.18
AT ITER 3408 NEW BEST:: SOT 132542 SOS 73176 HAS SOPS 25270 HAS SOUS 48910 HAS SOUPS 23932 WITH SCORE 24005.176
AT ITER 3412 NEW BEST:: SOT 132536 SOS 73170 HAS SOPS 25270 HAS SOUS 48898 HAS SOUPS 23932 WITH SCORE 24005.17
AT ITER 3433 NEW BEST:: SOT 132536 SOS 73153 HAS SOPS 25270 HAS SOUS 48849 HAS SOUPS 23932 WITH SCORE 24005.153
AT ITER 3455 NEW BEST:: SOT 132536 SOS 73139 HAS SOPS 25270 HAS SOUS 48835 HAS SOUPS 23932 WITH SCORE 24005.139
AT ITER 3456 NEW BEST:: SOT 132509 SOS 72656 HAS SOPS 25270 HAS SOUS 48808 HAS SOUPS 23932 WITH SCORE 24004.656
AT ITER 3465 NEW BEST:: SOT 132499 SOS 72646 HAS SOPS 25239 HAS SOUS 48809 HAS SOUPS 23901 WITH SCORE 23973.646
AT ITER 3480 NEW BEST:: SOT 132501 SOS 72625 HAS SOPS 25211 HAS SOUS 48803 HAS SOUPS 23895 WITH SCORE 23967.625
AT ITER 3488 NEW BEST:: SOT 132501 SOS 72623 HAS SOPS 25211 HAS SOUS 48803 HAS SOUPS 23895 WITH SCORE 23967.623
AT ITER 3501 NEW BEST:: SOT 132480 SOS 72602 HAS SOPS 25211 HAS SOUS 48782 HAS SOUPS 23895 WITH SCORE 23967.602
AT ITER 3509 NEW BEST:: SOT 132477 SOS 72599 HAS SOPS 25205 HAS SOUS 48779 HAS SOUPS 23889 WITH SCORE 23961.599
AT ITER 3532 NEW BEST:: SOT 132398 SOS 72520 HAS SOPS 25205 HAS SOUS 48779 HAS SOUPS 23889 WITH SCORE 23961.52
AT ITER 3533 NEW BEST:: SOT 132198 SOS 72342 HAS SOPS 25183 HAS SOUS 48709 HAS SOUPS 23867 WITH SCORE 23939.342
AT ITER 3565 NEW BEST:: SOT 132198 SOS 72258 HAS SOPS 25183 HAS SOUS 48709 HAS SOUPS 23867 WITH SCORE 23939.258
AT ITER 3573 NEW BEST:: SOT 132320 SOS 72622 HAS SOPS 25135 HAS SOUS 48922 HAS SOUPS 23843 WITH SCORE 23915.622
AT ITER 3578 NEW BEST:: SOT 132370 SOS 72744 HAS SOPS 25127 HAS SOUS 49008 HAS SOUPS 23835 WITH SCORE 23907.744
AT ITER 3592 NEW BEST:: SOT 132298 SOS 72550 HAS SOPS 25293 HAS SOUS 48661 HAS SOUPS 23824 WITH SCORE 23896.55
AT ITER 3612 NEW BEST:: SOT 132356 SOS 72605 HAS SOPS 25291 HAS SOUS 48630 HAS SOUPS 23822 WITH SCORE 23894.605
AT ITER 3626 NEW BEST:: SOT 132356 SOS 72601 HAS SOPS 25291 HAS SOUS 48628 HAS SOUPS 23822 WITH SCORE 23894.601
AT ITER 3640 NEW BEST:: SOT 132372 SOS 72660 HAS SOPS 25280 HAS SOUS 48601 HAS SOUPS 23811 WITH SCORE 23883.66
AT ITER 3649 NEW BEST:: SOT 132373 SOS 72663 HAS SOPS 25279 HAS SOUS 48603 HAS SOUPS 23810 WITH SCORE 23882.663
AT ITER 3656 NEW BEST:: SOT 132374 SOS 72664 HAS SOPS 25284 HAS SOUS 48556 HAS SOUPS 23791 WITH SCORE 23863.664
AT ITER 3687 NEW BEST:: SOT 132356 SOS 72655 HAS SOPS 25181 HAS SOUS 48478 HAS SOUPS 23688 WITH SCORE 23760.655
AT ITER 3688 NEW BEST:: SOT 132274 SOS 72573 HAS SOPS 25181 HAS SOUS 48396 HAS SOUPS 23688 WITH SCORE 23760.573
AT ITER 3710 NEW BEST:: SOT 132389 SOS 72962 HAS SOPS 25125 HAS SOUS 48494 HAS SOUPS 23632 WITH SCORE 23704.962
AT ITER 3721 NEW BEST:: SOT 132389 SOS 72942 HAS SOPS 25125 HAS SOUS 48494 HAS SOUPS 23632 WITH SCORE 23704.942
AT ITER 3734 NEW BEST:: SOT 132389 SOS 72934 HAS SOPS 25125 HAS SOUS 48490 HAS SOUPS 23632 WITH SCORE 23704.934
AT ITER 3736 NEW BEST:: SOT 132380 SOS 72925 HAS SOPS 25125 HAS SOUS 48481 HAS SOUPS 23632 WITH SCORE 23704.925
AT ITER 3739 NEW BEST:: SOT 132380 SOS 72893 HAS SOPS 25125 HAS SOUS 48473 HAS SOUPS 23632 WITH SCORE 23704.893
AT ITER 3744 NEW BEST:: SOT 132356 SOS 72773 HAS SOPS 25125 HAS SOUS 48449 HAS SOUPS 23632 WITH SCORE 23704.773
AT ITER 3763 NEW BEST:: SOT 132356 SOS 72889 HAS SOPS 25038 HAS SOUS 48440 HAS SOUPS 23545 WITH SCORE 23617.889
AT ITER 3765 NEW BEST:: SOT 132204 SOS 72505 HAS SOPS 25038 HAS SOUS 48177 HAS SOUPS 23545 WITH SCORE 23617.505
AT ITER 3799 NEW BEST:: SOT 132202 SOS 72503 HAS SOPS 25034 HAS SOUS 48177 HAS SOUPS 23541 WITH SCORE 23613.503
AT ITER 3825 NEW BEST:: SOT 132194 SOS 72594 HAS SOPS 25026 HAS SOUS 48225 HAS SOUPS 23533 WITH SCORE 23605.594
AT ITER 3845 NEW BEST:: SOT 132294 SOS 72694 HAS SOPS 24989 HAS SOUS 48188 HAS SOUPS 23496 WITH SCORE 23568.694
AT ITER 3870 NEW BEST:: SOT 132256 SOS 72656 HAS SOPS 24970 HAS SOUS 48150 HAS SOUPS 23477 WITH SCORE 23549.656
AT ITER 3876 NEW BEST:: SOT 132314 SOS 72844 HAS SOPS 24956 HAS SOUS 48211 HAS SOUPS 23463 WITH SCORE 23535.844
AT ITER 3879 NEW BEST:: SOT 132339 SOS 72893 HAS SOPS 24902 HAS SOUS 48233 HAS SOUPS 23409 WITH SCORE 23481.893
AT ITER 3889 NEW BEST:: SOT 132283 SOS 72837 HAS SOPS 24902 HAS SOUS 48233 HAS SOUPS 23409 WITH SCORE 23481.837
AT ITER 3901 NEW BEST:: SOT 132521 SOS 73807 HAS SOPS 24829 HAS SOUS 48599 HAS SOUPS 23336 WITH SCORE 23409.807
AT ITER 3928 NEW BEST:: SOT 132527 SOS 73813 HAS SOPS 24795 HAS SOUS 48605 HAS SOUPS 23302 WITH SCORE 23375.813
AT ITER 3935 NEW BEST:: SOT 132527 SOS 73749 HAS SOPS 24795 HAS SOUS 48578 HAS SOUPS 23302 WITH SCORE 23375.749
AT ITER 3999 NEW BEST:: SOT 132415 SOS 73637 HAS SOPS 24571 HAS SOUS 48466 HAS SOUPS 23078 WITH SCORE 23151.637
AT ITER 4000 NEW BEST:: SOT 132411 SOS 73633 HAS SOPS 24567 HAS SOUS 48466 HAS SOUPS 23078 WITH SCORE 23151.633
AT ITER 4035 NEW BEST:: SOT 132376 SOS 73598 HAS SOPS 24504 HAS SOUS 48436 HAS SOUPS 23008 WITH SCORE 23081.598
AT ITER 4041 NEW BEST:: SOT 132373 SOS 73589 HAS SOPS 24504 HAS SOUS 48433 HAS SOUPS 23008 WITH SCORE 23081.589
AT ITER 4044 NEW BEST:: SOT 132349 SOS 73505 HAS SOPS 24396 HAS SOUS 48449 HAS SOUPS 22960 WITH SCORE 23033.505
AT ITER 4069 NEW BEST:: SOT 132337 SOS 73493 HAS SOPS 24384 HAS SOUS 48425 HAS SOUPS 22948 WITH SCORE 23021.493
AT ITER 4111 NEW BEST:: SOT 132380 SOS 73536 HAS SOPS 24382 HAS SOUS 48468 HAS SOUPS 22946 WITH SCORE 23019.536
AT ITER 4119 NEW BEST:: SOT 132380 SOS 73536 HAS SOPS 24377 HAS SOUS 48468 HAS SOUPS 22941 WITH SCORE 23014.536
AT ITER 4120 NEW BEST:: SOT 132441 SOS 73597 HAS SOPS 24335 HAS SOUS 48417 HAS SOUPS 22899 WITH SCORE 22972.597
AT ITER 4143 NEW BEST:: SOT 132427 SOS 73561 HAS SOPS 24321 HAS SOUS 48403 HAS SOUPS 22885 WITH SCORE 22958.561
AT ITER 4162 NEW BEST:: SOT 132397 SOS 73531 HAS SOPS 24321 HAS SOUS 48373 HAS SOUPS 22885 WITH SCORE 22958.531
AT ITER 4165 NEW BEST:: SOT 132397 SOS 73530 HAS SOPS 24321 HAS SOUS 48374 HAS SOUPS 22885 WITH SCORE 22958.53
AT ITER 4169 NEW BEST:: SOT 132402 SOS 73535 HAS SOPS 24307 HAS SOUS 48379 HAS SOUPS 22871 WITH SCORE 22944.535
AT ITER 4173 NEW BEST:: SOT 132402 SOS 73223 HAS SOPS 24307 HAS SOUS 48373 HAS SOUPS 22871 WITH SCORE 22944.223
AT ITER 4179 NEW BEST:: SOT 132402 SOS 73146 HAS SOPS 24307 HAS SOUS 48326 HAS SOUPS 22871 WITH SCORE 22944.146
AT ITER 4181 NEW BEST:: SOT 132421 SOS 73228 HAS SOPS 24303 HAS SOUS 48345 HAS SOUPS 22867 WITH SCORE 22940.228
AT ITER 4182 NEW BEST:: SOT 132362 SOS 73169 HAS SOPS 24251 HAS SOUS 48265 HAS SOUPS 22815 WITH SCORE 22888.169
AT ITER 4196 NEW BEST:: SOT 132360 SOS 73167 HAS SOPS 24241 HAS SOUS 48320 HAS SOUPS 22805 WITH SCORE 22878.167
AT ITER 4211 NEW BEST:: SOT 132412 SOS 73219 HAS SOPS 24114 HAS SOUS 48219 HAS SOUPS 22678 WITH SCORE 22751.219
AT ITER 4226 NEW BEST:: SOT 132412 SOS 73195 HAS SOPS 24114 HAS SOUS 48213 HAS SOUPS 22678 WITH SCORE 22751.195
AT ITER 4247 NEW BEST:: SOT 132412 SOS 73155 HAS SOPS 24114 HAS SOUS 48203 HAS SOUPS 22678 WITH SCORE 22751.155
AT ITER 4288 NEW BEST:: SOT 132325 SOS 72934 HAS SOPS 24114 HAS SOUS 48121 HAS SOUPS 22678 WITH SCORE 22750.934
AT ITER 4323 NEW BEST:: SOT 132301 SOS 72886 HAS SOPS 24114 HAS SOUS 48097 HAS SOUPS 22678 WITH SCORE 22750.886
AT ITER 4363 NEW BEST:: SOT 132315 SOS 73188 HAS SOPS 24083 HAS SOUS 48115 HAS SOUPS 22647 WITH SCORE 22720.188
AT ITER 4378 NEW BEST:: SOT 132315 SOS 73094 HAS SOPS 24083 HAS SOUS 48070 HAS SOUPS 22647 WITH SCORE 22720.094
AT ITER 4404 NEW BEST:: SOT 132325 SOS 73194 HAS SOPS 24058 HAS SOUS 48060 HAS SOUPS 22622 WITH SCORE 22695.194
AT ITER 4413 NEW BEST:: SOT 132306 SOS 73173 HAS SOPS 24058 HAS SOUS 48016 HAS SOUPS 22622 WITH SCORE 22695.173
AT ITER 4419 NEW BEST:: SOT 132326 SOS 73241 HAS SOPS 24026 HAS SOUS 48008 HAS SOUPS 22590 WITH SCORE 22663.241
AT ITER 4425 NEW BEST:: SOT 132257 SOS 73038 HAS SOPS 24093 HAS SOUS 47764 HAS SOUPS 22586 WITH SCORE 22659.038
AT ITER 4427 NEW BEST:: SOT 132156 SOS 72937 HAS SOPS 24038 HAS SOUS 47696 HAS SOUPS 22548 WITH SCORE 22620.937
AT ITER 4428 NEW BEST:: SOT 132066 SOS 72847 HAS SOPS 24038 HAS SOUS 47691 HAS SOUPS 22548 WITH SCORE 22620.847
AT ITER 4431 NEW BEST:: SOT 132085 SOS 72914 HAS SOPS 24027 HAS SOUS 47740 HAS SOUPS 22537 WITH SCORE 22609.914
AT ITER 4438 NEW BEST:: SOT 132109 SOS 72955 HAS SOPS 24024 HAS SOUS 47781 HAS SOUPS 22534 WITH SCORE 22606.955
AT ITER 4452 NEW BEST:: SOT 132091 SOS 72937 HAS SOPS 24015 HAS SOUS 47763 HAS SOUPS 22525 WITH SCORE 22597.937
AT ITER 4463 NEW BEST:: SOT 132039 SOS 72781 HAS SOPS 24015 HAS SOUS 47685 HAS SOUPS 22525 WITH SCORE 22597.781
AT ITER 4480 NEW BEST:: SOT 132031 SOS 72757 HAS SOPS 24015 HAS SOUS 47677 HAS SOUPS 22525 WITH SCORE 22597.757
AT ITER 4528 NEW BEST:: SOT 132031 SOS 72713 HAS SOPS 24015 HAS SOUS 47666 HAS SOUPS 22525 WITH SCORE 22597.713
AT ITER 4563 NEW BEST:: SOT 131986 SOS 72668 HAS SOPS 23959 HAS SOUS 47610 HAS SOUPS 22469 WITH SCORE 22541.668
AT ITER 4564 NEW BEST:: SOT 131957 SOS 72639 HAS SOPS 23959 HAS SOUS 47610 HAS SOUPS 22469 WITH SCORE 22541.639
AT ITER 4586 NEW BEST:: SOT 131956 SOS 72638 HAS SOPS 23957 HAS SOUS 47641 HAS SOUPS 22467 WITH SCORE 22539.638
AT ITER 4614 NEW BEST:: SOT 131921 SOS 72628 HAS SOPS 23850 HAS SOUS 47574 HAS SOUPS 22360 WITH SCORE 22432.628
AT ITER 4620 NEW BEST:: SOT 131921 SOS 72608 HAS SOPS 23850 HAS SOUS 47574 HAS SOUPS 22360 WITH SCORE 22432.608
AT ITER 4622 NEW BEST:: SOT 131921 SOS 72608 HAS SOPS 23842 HAS SOUS 47570 HAS SOUPS 22352 WITH SCORE 22424.608
AT ITER 4673 NEW BEST:: SOT 131921 SOS 72604 HAS SOPS 23842 HAS SOUS 47570 HAS SOUPS 22352 WITH SCORE 22424.604
AT ITER 4693 NEW BEST:: SOT 131991 SOS 72829 HAS SOPS 23825 HAS SOUS 47647 HAS SOUPS 22337 WITH SCORE 22409.829
AT ITER 4746 NEW BEST:: SOT 131991 SOS 72753 HAS SOPS 23825 HAS SOUS 47640 HAS SOUPS 22337 WITH SCORE 22409.753
AT ITER 4765 NEW BEST:: SOT 131982 SOS 72744 HAS SOPS 23823 HAS SOUS 47631 HAS SOUPS 22335 WITH SCORE 22407.744
AT ITER 4777 NEW BEST:: SOT 131946 SOS 72636 HAS SOPS 23823 HAS SOUS 47595 HAS SOUPS 22335 WITH SCORE 22407.636
AT ITER 4778 NEW BEST:: SOT 131862 SOS 72562 HAS SOPS 23823 HAS SOUS 47595 HAS SOUPS 22335 WITH SCORE 22407.562
AT ITER 4813 NEW BEST:: SOT 131906 SOS 72628 HAS SOPS 23795 HAS SOUS 47637 HAS SOUPS 22307 WITH SCORE 22379.628
AT ITER 4841 NEW BEST:: SOT 131911 SOS 72633 HAS SOPS 23785 HAS SOUS 47642 HAS SOUPS 22297 WITH SCORE 22369.633
AT ITER 4856 NEW BEST:: SOT 131911 SOS 72626 HAS SOPS 23785 HAS SOUS 47642 HAS SOUPS 22297 WITH SCORE 22369.626
AT ITER 4876 NEW BEST:: SOT 131883 SOS 72598 HAS SOPS 23751 HAS SOUS 47592 HAS SOUPS 22263 WITH SCORE 22335.598
AT ITER 4904 NEW BEST:: SOT 131882 SOS 72597 HAS SOPS 23751 HAS SOUS 47590 HAS SOUPS 22263 WITH SCORE 22335.597
AT ITER 4905 NEW BEST:: SOT 131867 SOS 72582 HAS SOPS 23711 HAS SOUS 47506 HAS SOUPS 22233 WITH SCORE 22305.582
AT ITER 4946 NEW BEST:: SOT 131807 SOS 72534 HAS SOPS 23711 HAS SOUS 47506 HAS SOUPS 22233 WITH SCORE 22305.534
AT ITER 4956 NEW BEST:: SOT 131761 SOS 72396 HAS SOPS 23711 HAS SOUS 47460 HAS SOUPS 22233 WITH SCORE 22305.396
AT ITER 4959 NEW BEST:: SOT 131872 SOS 72738 HAS SOPS 23688 HAS SOUS 47675 HAS SOUPS 22224 WITH SCORE 22296.738
AT ITER 4960 NEW BEST:: SOT 131867 SOS 72703 HAS SOPS 23688 HAS SOUS 47670 HAS SOUPS 22224 WITH SCORE 22296.703
AT ITER 4992 NEW BEST:: SOT 131861 SOS 72623 HAS SOPS 23688 HAS SOUS 47497 HAS SOUPS 22224 WITH SCORE 22296.623
AT ITER 4994 NEW BEST:: SOT 131856 SOS 72610 HAS SOPS 23688 HAS SOUS 47492 HAS SOUPS 22224 WITH SCORE 22296.61
Bounds file is: CTLFireability.xml
PROPERTY: BART-PT-002-CTLFireability-00 (EG( (EF( (! (! ((potential((tk(P2)>=1) & (tk(P457)>=1))))))))))
PROPERTY: BART-PT-002-CTLFireability-01 ( ( ((potential((tk(P161)>=1) & (tk(P268)>=1) & (tk(P367)>=1) & (tk(P371)>=1)))) | (EU( (! ((potential((tk(P18)>=1) & (tk(P266)>=1) & (tk(P282)>=1) & (tk(P285)>=1))))) , ((potential((tk(P89)>=1) & (tk(P268)>=1) & (tk(P322)>=1) & (tk(P326)>=1)))) )) ) & (AF( ( ((potential((tk(P2)>=1) & (tk(P456)>=1)))) | ( ((potential((tk(P186)>=1) & (tk(P268)>=1) & (tk(P382)>=1) & (tk(P386)>=1)))) | ( ((potential((tk(P32)>=1) & (tk(P268)>=1) & (tk(P267)>=1) & (tk(P284)>=1) & (tk(P287)>=1)))) | ((potential((tk(P237)>=1) & (tk(P266)>=1) & (tk(P422)>=1) & (tk(P425)>=1)))) ) ) ))) )
PROPERTY: BART-PT-002-CTLFireability-02 (EG( (! ((potential((tk(P164)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P363)>=1) & (tk(P367)>=1)))))))
PROPERTY: BART-PT-002-CTLFireability-03 ( ( (! (EX( ( ((potential((tk(P197)>=1) & (tk(P266)>=1) & (tk(P265)>=1) & (tk(P400)>=1) & (tk(P404)>=1)))) | ((potential((tk(P141)>=1) & (tk(P266)>=1) & (tk(P365)>=1) & (tk(P369)>=1)))) )))) & ( ( ((potential((tk(P162)>=1) & (tk(P268)>=1) & (tk(P367)>=1) & (tk(P371)>=1)))) | (AX( ((potential((tk(P226)>=1) & (tk(P268)>=1) & (tk(P407)>=1) & (tk(P411)>=1)))))) ) & ( ((potential((tk(P34)>=1) & (tk(P266)>=1) & (tk(P265)>=1) & (tk(P295)>=1) & (tk(P299)>=1)))) | (AX( ((potential((tk(P136)>=1) & (tk(P267)>=1) & (tk(P356)>=1) & (tk(P360)>=1)))))) ) ) ) | (AF( ( (AF( ((potential((tk(P34)>=1) & (tk(P266)>=1) & (tk(P265)>=1) & (tk(P295)>=1) & (tk(P299)>=1)))))) | (! ( ((potential((tk(P36)>=1) & (tk(P267)>=1) & (tk(P266)>=1) & (tk(P291)>=1) & (tk(P295)>=1)))) | ((potential((tk(P1)>=1) & (tk(P468)>=1)))) )) ))) )
PROPERTY: BART-PT-002-CTLFireability-04 (EF( ((potential((tk(P202)>=1) & (tk(P268)>=1) & (tk(P392)>=1) & (tk(P396)>=1))))))
PROPERTY: BART-PT-002-CTLFireability-05 (EG( (! ((potential((tk(P250)>=1) & (tk(P266)>=1) & (tk(P429)>=1) & (tk(P431)>=1)))))))
PROPERTY: BART-PT-002-CTLFireability-06 ( (AF( ( (EF( ((potential((tk(P154)>=1) & (tk(P268)>=1) & (tk(P362)>=1) & (tk(P366)>=1)))))) | ((potential((tk(P204)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P388)>=1) & (tk(P392)>=1)))) ))) | ((potential((tk(P45)>=1) & (tk(P266)>=1) & (tk(P305)>=1) & (tk(P309)>=1)))) )
PROPERTY: BART-PT-002-CTLFireability-07 (AF( ((potential((tk(P101)>=1) & (tk(P266)>=1) & (tk(P340)>=1) & (tk(P344)>=1))))))
PROPERTY: BART-PT-002-CTLFireability-08 ( (AF( ((potential((tk(P209)>=1) & (tk(P268)>=1) & (tk(P397)>=1) & (tk(P401)>=1)))))) | ( ((potential((tk(P51)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P293)>=1) & (tk(P297)>=1)))) | (EG( (! ( ((potential((tk(P236)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P408)>=1) & (tk(P412)>=1)))) & ((potential((tk(P1)>=1) & (tk(P459)>=1)))) )))) ) )
PROPERTY: BART-PT-002-CTLFireability-09 (AF( ( (! (AF( ((potential((tk(P124)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P338)>=1) & (tk(P342)>=1))))))) & (EG( ((potential((tk(P157)>=1) & (tk(P266)>=1) & (tk(P265)>=1) & (tk(P375)>=1) & (tk(P379)>=1)))))) )))
PROPERTY: BART-PT-002-CTLFireability-10 ( (EG( ((potential((tk(P1)>=1) & (tk(P466)>=1)))))) | ((potential((tk(P41)>=1) & (tk(P267)>=1) & (tk(P296)>=1) & (tk(P300)>=1)))) )
PROPERTY: BART-PT-002-CTLFireability-11 ( ((potential((tk(P217)>=1) & (tk(P268)>=1) & (tk(P402)>=1) & (tk(P406)>=1)))) | (EG( ((potential((tk(P1)>=1) & (tk(P465)>=1)))))) )
PROPERTY: BART-PT-002-CTLFireability-12 (EG( ( ( (EG( ((potential((tk(P56)>=1) & (tk(P267)>=1) & (tk(P306)>=1) & (tk(P310)>=1)))))) | (AF( ((potential((tk(P264)>=1) & (tk(P266)>=1) & (tk(P437)>=1) & (tk(P438)>=1)))))) ) & (! ((potential((tk(P123)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P338)>=1) & (tk(P342)>=1))))) )))
PROPERTY: BART-PT-002-CTLFireability-13 (EG( (EF( (! ((potential((tk(P9)>=1) & (tk(P266)>=1) & (tk(P265)>=1) & (tk(P275)>=1) & (tk(P277)>=1)))))))))
PROPERTY: BART-PT-002-CTLFireability-14 (AF( ( ( ((potential((tk(P1)>=1) & (tk(P464)>=1)))) & ( (! ((potential((tk(P236)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P408)>=1) & (tk(P412)>=1))))) & (! ((potential((tk(P1)>=1) & (tk(P443)>=1))))) ) ) | ( (AF( ((potential((tk(P217)>=1) & (tk(P268)>=1) & (tk(P402)>=1) & (tk(P406)>=1)))))) | ( ( ((potential((tk(P238)>=1) & (tk(P266)>=1) & (tk(P422)>=1) & (tk(P425)>=1)))) & ((potential((tk(P165)>=1) & (tk(P266)>=1) & (tk(P380)>=1) & (tk(P384)>=1)))) ) & ((potential((tk(P36)>=1) & (tk(P267)>=1) & (tk(P266)>=1) & (tk(P291)>=1) & (tk(P295)>=1)))) ) ) )))
PROPERTY: BART-PT-002-CTLFireability-15 (! ( ( (! ( ((potential((tk(P160)>=1) & (tk(P267)>=1) & (tk(P371)>=1) & (tk(P375)>=1)))) | (! ((potential((tk(P116)>=1) & (tk(P269)>=1) & (tk(P268)>=1) & (tk(P333)>=1) & (tk(P337)>=1))))) )) | ((potential((tk(P230)>=1) & (tk(P266)>=1) & (tk(P265)>=1) & (tk(P418)>=1) & (tk(P421)>=1)))) ) | (EF( (AX( ((potential((tk(P117)>=1) & (tk(P266)>=1) & (tk(P265)>=1) & (tk(P350)>=1) & (tk(P354)>=1)))))))) ))

BK_STOP 1589014434356

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

INTERNAL in file ../../src/ExprLib/mod_inst.cc on line 509:
Engine ran out of memory on measure automodel.4

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="CTLFireability"
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 CTLFireability"
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-158897679500068"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;