Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 388K
-rw-r--r-- 1 mcc users 3.3K Apr 4 19:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 4 19:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 07:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 07:48 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 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 3 21:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 3 21:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 3 13:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 3 13:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 214K 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 FlexibleBarrier-PT-16a-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-16a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589432224748

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 16a
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: 195 places, 724 transitions, 3489 arcs.
AT ITER 0 NEW BEST:: SOT 123777 SOS 105472 HAS SOPS 105472 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60227.472
AT ITER 1 NEW BEST:: SOT 123674 SOS 105393 HAS SOPS 105393 HAS SOUS 60023 HAS SOUPS 60023 WITH SCORE 60128.393
AT ITER 3 NEW BEST:: SOT 123670 SOS 104960 HAS SOPS 104960 HAS SOUS 59498 HAS SOUPS 59498 WITH SCORE 59602.96
AT ITER 5 NEW BEST:: SOT 123657 SOS 104472 HAS SOPS 104472 HAS SOUS 59181 HAS SOUPS 59181 WITH SCORE 59285.472
AT ITER 6 NEW BEST:: SOT 123161 SOS 103919 HAS SOPS 103919 HAS SOUS 58898 HAS SOUPS 58898 WITH SCORE 59001.919
AT ITER 7 NEW BEST:: SOT 123161 SOS 103907 HAS SOPS 103907 HAS SOUS 58886 HAS SOUPS 58886 WITH SCORE 58989.907
AT ITER 15 NEW BEST:: SOT 123176 SOS 103904 HAS SOPS 103904 HAS SOUS 58884 HAS SOUPS 58884 WITH SCORE 58987.904
AT ITER 20 NEW BEST:: SOT 121272 SOS 102084 HAS SOPS 101929 HAS SOUS 56993 HAS SOUPS 56952 WITH SCORE 57054.084
AT ITER 23 NEW BEST:: SOT 121356 SOS 102293 HAS SOPS 102153 HAS SOUS 56311 HAS SOUPS 56270 WITH SCORE 56372.293
AT ITER 25 NEW BEST:: SOT 121386 SOS 102213 HAS SOPS 102073 HAS SOUS 55526 HAS SOUPS 55485 WITH SCORE 55587.213
AT ITER 27 NEW BEST:: SOT 121386 SOS 102213 HAS SOPS 102073 HAS SOUS 55514 HAS SOUPS 55473 WITH SCORE 55575.213
AT ITER 30 NEW BEST:: SOT 121405 SOS 101598 HAS SOPS 101458 HAS SOUS 54746 HAS SOUPS 54705 WITH SCORE 54806.598
AT ITER 31 NEW BEST:: SOT 120775 SOS 100971 HAS SOPS 100831 HAS SOUS 54440 HAS SOUPS 54399 WITH SCORE 54499.971
AT ITER 32 NEW BEST:: SOT 120775 SOS 100765 HAS SOPS 100625 HAS SOUS 54108 HAS SOUPS 54067 WITH SCORE 54167.765
AT ITER 35 NEW BEST:: SOT 119447 SOS 99398 HAS SOPS 99215 HAS SOUS 53406 HAS SOUPS 53363 WITH SCORE 53462.398
AT ITER 38 NEW BEST:: SOT 119445 SOS 99396 HAS SOPS 99213 HAS SOUS 53404 HAS SOUPS 53361 WITH SCORE 53460.396
AT ITER 40 NEW BEST:: SOT 119463 SOS 99432 HAS SOPS 99249 HAS SOUS 53401 HAS SOUPS 53358 WITH SCORE 53457.432
AT ITER 44 NEW BEST:: SOT 119521 SOS 98733 HAS SOPS 98510 HAS SOUS 51287 HAS SOUPS 51244 WITH SCORE 51342.733
AT ITER 45 NEW BEST:: SOT 118344 SOS 97495 HAS SOPS 97272 HAS SOUS 50638 HAS SOUPS 50595 WITH SCORE 50692.495
AT ITER 48 NEW BEST:: SOT 118380 SOS 96353 HAS SOPS 96130 HAS SOUS 48964 HAS SOUPS 48921 WITH SCORE 49017.353
AT ITER 49 NEW BEST:: SOT 118334 SOS 96331 HAS SOPS 96108 HAS SOUS 48905 HAS SOUPS 48862 WITH SCORE 48958.331
AT ITER 50 NEW BEST:: SOT 118456 SOS 96485 HAS SOPS 96242 HAS SOUS 48848 HAS SOUPS 48805 WITH SCORE 48901.485
AT ITER 56 NEW BEST:: SOT 118926 SOS 96257 HAS SOPS 96014 HAS SOUS 48308 HAS SOUPS 48265 WITH SCORE 48361.257
AT ITER 60 NEW BEST:: SOT 118920 SOS 96251 HAS SOPS 96008 HAS SOUS 48302 HAS SOUPS 48259 WITH SCORE 48355.251
AT ITER 63 NEW BEST:: SOT 117802 SOS 95133 HAS SOPS 94890 HAS SOUS 47706 HAS SOUPS 47663 WITH SCORE 47758.133
AT ITER 64 NEW BEST:: SOT 115976 SOS 93570 HAS SOPS 93327 HAS SOUS 46704 HAS SOUPS 46661 WITH SCORE 46754.57
AT ITER 65 NEW BEST:: SOT 115976 SOS 93549 HAS SOPS 93252 HAS SOUS 46715 HAS SOUPS 46661 WITH SCORE 46754.549
AT ITER 66 NEW BEST:: SOT 115960 SOS 93518 HAS SOPS 93221 HAS SOUS 46693 HAS SOUPS 46639 WITH SCORE 46732.518
AT ITER 69 NEW BEST:: SOT 115392 SOS 92738 HAS SOPS 92408 HAS SOUS 46255 HAS SOUPS 46201 WITH SCORE 46293.738
AT ITER 72 NEW BEST:: SOT 115493 SOS 92423 HAS SOPS 91909 HAS SOUS 44510 HAS SOUPS 44456 WITH SCORE 44548.423
AT ITER 73 NEW BEST:: SOT 115696 SOS 90862 HAS SOPS 89908 HAS SOUS 41505 HAS SOUPS 41441 WITH SCORE 41531.862
AT ITER 75 NEW BEST:: SOT 115692 SOS 90854 HAS SOPS 89900 HAS SOUS 41505 HAS SOUPS 41441 WITH SCORE 41531.854
AT ITER 78 NEW BEST:: SOT 115659 SOS 90833 HAS SOPS 89879 HAS SOUS 41484 HAS SOUPS 41420 WITH SCORE 41510.833
AT ITER 84 NEW BEST:: SOT 115659 SOS 90788 HAS SOPS 89789 HAS SOUS 41404 HAS SOUPS 41330 WITH SCORE 41420.788
AT ITER 87 NEW BEST:: SOT 113553 SOS 88720 HAS SOPS 87721 HAS SOUS 40460 HAS SOUPS 40386 WITH SCORE 40474.72
AT ITER 90 NEW BEST:: SOT 113552 SOS 88718 HAS SOPS 87719 HAS SOUS 40459 HAS SOUPS 40385 WITH SCORE 40473.718
AT ITER 96 NEW BEST:: SOT 113613 SOS 88646 HAS SOPS 87647 HAS SOUS 40387 HAS SOUPS 40313 WITH SCORE 40401.646
AT ITER 100 NEW BEST:: SOT 111149 SOS 87117 HAS SOPS 86118 HAS SOUS 39946 HAS SOUPS 39872 WITH SCORE 39959.117
AT ITER 103 NEW BEST:: SOT 111149 SOS 87117 HAS SOPS 86080 HAS SOUS 39915 HAS SOUPS 39834 WITH SCORE 39921.117
AT ITER 104 NEW BEST:: SOT 111149 SOS 86508 HAS SOPS 85471 HAS SOUS 39735 HAS SOUPS 39654 WITH SCORE 39740.508
AT ITER 107 NEW BEST:: SOT 111178 SOS 86537 HAS SOPS 85500 HAS SOUS 39731 HAS SOUPS 39650 WITH SCORE 39736.537
AT ITER 111 NEW BEST:: SOT 111114 SOS 84170 HAS SOPS 82357 HAS SOUS 36465 HAS SOUPS 36384 WITH SCORE 36468.17
AT ITER 112 NEW BEST:: SOT 111113 SOS 84147 HAS SOPS 82334 HAS SOUS 36420 HAS SOUPS 36339 WITH SCORE 36423.147
AT ITER 113 NEW BEST:: SOT 111108 SOS 84137 HAS SOPS 82324 HAS SOUS 36420 HAS SOUPS 36339 WITH SCORE 36423.137
AT ITER 114 NEW BEST:: SOT 111135 SOS 84163 HAS SOPS 82350 HAS SOUS 36419 HAS SOUPS 36338 WITH SCORE 36422.163
AT ITER 117 NEW BEST:: SOT 111181 SOS 84170 HAS SOPS 82357 HAS SOUS 36378 HAS SOUPS 36297 WITH SCORE 36381.17
AT ITER 118 NEW BEST:: SOT 111193 SOS 84056 HAS SOPS 82165 HAS SOUS 36353 HAS SOUPS 36272 WITH SCORE 36356.056
AT ITER 119 NEW BEST:: SOT 111174 SOS 82623 HAS SOPS 80732 HAS SOUS 35724 HAS SOUPS 35643 WITH SCORE 35725.623
AT ITER 120 NEW BEST:: SOT 111149 SOS 82550 HAS SOPS 80659 HAS SOUS 35694 HAS SOUPS 35613 WITH SCORE 35695.55
AT ITER 130 NEW BEST:: SOT 111145 SOS 80082 HAS SOPS 77951 HAS SOUS 34421 HAS SOUPS 34340 WITH SCORE 34420.082
AT ITER 133 NEW BEST:: SOT 108475 SOS 77326 HAS SOPS 74351 HAS SOUS 30936 HAS SOUPS 30843 WITH SCORE 30920.326
AT ITER 134 NEW BEST:: SOT 108470 SOS 77311 HAS SOPS 74336 HAS SOUS 30936 HAS SOUPS 30843 WITH SCORE 30920.311
AT ITER 137 NEW BEST:: SOT 105461 SOS 76754 HAS SOPS 71156 HAS SOUS 28129 HAS SOUPS 27916 WITH SCORE 27992.754
AT ITER 140 NEW BEST:: SOT 105464 SOS 76728 HAS SOPS 71130 HAS SOUS 28117 HAS SOUPS 27904 WITH SCORE 27980.728
AT ITER 141 NEW BEST:: SOT 105412 SOS 76674 HAS SOPS 71026 HAS SOUS 27983 HAS SOUPS 27770 WITH SCORE 27846.674
AT ITER 142 NEW BEST:: SOT 104148 SOS 80668 HAS SOPS 69606 HAS SOUS 27737 HAS SOUPS 27472 WITH SCORE 27552.668
AT ITER 145 NEW BEST:: SOT 104101 SOS 80443 HAS SOPS 69410 HAS SOUS 27626 HAS SOUPS 27361 WITH SCORE 27441.443
AT ITER 146 NEW BEST:: SOT 104092 SOS 80434 HAS SOPS 69392 HAS SOUS 27608 HAS SOUPS 27343 WITH SCORE 27423.434
AT ITER 148 NEW BEST:: SOT 104070 SOS 80412 HAS SOPS 69382 HAS SOUS 27601 HAS SOUPS 27336 WITH SCORE 27416.412
AT ITER 150 NEW BEST:: SOT 104077 SOS 80419 HAS SOPS 69382 HAS SOUS 27587 HAS SOUPS 27322 WITH SCORE 27402.419
AT ITER 151 NEW BEST:: SOT 104077 SOS 80405 HAS SOPS 69368 HAS SOUS 27573 HAS SOUPS 27308 WITH SCORE 27388.405
AT ITER 157 NEW BEST:: SOT 104116 SOS 80194 HAS SOPS 69206 HAS SOUS 27485 HAS SOUPS 27220 WITH SCORE 27300.194
AT ITER 159 NEW BEST:: SOT 104007 SOS 80105 HAS SOPS 69085 HAS SOUS 27340 HAS SOUPS 27075 WITH SCORE 27155.105
AT ITER 162 NEW BEST:: SOT 104037 SOS 80114 HAS SOPS 69076 HAS SOUS 27335 HAS SOUPS 27070 WITH SCORE 27150.114
AT ITER 165 NEW BEST:: SOT 104117 SOS 80086 HAS SOPS 67680 HAS SOUS 26093 HAS SOUPS 25828 WITH SCORE 25908.086
AT ITER 166 NEW BEST:: SOT 104054 SOS 80023 HAS SOPS 67617 HAS SOUS 26051 HAS SOUPS 25786 WITH SCORE 25866.023
AT ITER 167 NEW BEST:: SOT 104010 SOS 79957 HAS SOPS 67529 HAS SOUS 25938 HAS SOUPS 25673 WITH SCORE 25752.957
AT ITER 170 NEW BEST:: SOT 103989 SOS 79871 HAS SOPS 67408 HAS SOUS 25846 HAS SOUPS 25581 WITH SCORE 25660.871
AT ITER 173 NEW BEST:: SOT 100359 SOS 76163 HAS SOPS 63700 HAS SOUS 23914 HAS SOUPS 23649 WITH SCORE 23725.163
AT ITER 174 NEW BEST:: SOT 100262 SOS 76211 HAS SOPS 63628 HAS SOUS 23849 HAS SOUPS 23584 WITH SCORE 23660.211
AT ITER 178 NEW BEST:: SOT 100228 SOS 76143 HAS SOPS 63560 HAS SOUS 23781 HAS SOUPS 23516 WITH SCORE 23592.143
AT ITER 179 NEW BEST:: SOT 99948 SOS 75862 HAS SOPS 63278 HAS SOUS 23638 HAS SOUPS 23373 WITH SCORE 23448.862
AT ITER 184 NEW BEST:: SOT 99974 SOS 75886 HAS SOPS 63226 HAS SOUS 23586 HAS SOUPS 23321 WITH SCORE 23396.886
AT ITER 190 NEW BEST:: SOT 99485 SOS 75464 HAS SOPS 62807 HAS SOUS 23264 HAS SOUPS 22999 WITH SCORE 23074.464
AT ITER 191 NEW BEST:: SOT 99476 SOS 75449 HAS SOPS 62765 HAS SOUS 23168 HAS SOUPS 22903 WITH SCORE 22978.449
AT ITER 194 NEW BEST:: SOT 99415 SOS 75405 HAS SOPS 62704 HAS SOUS 23168 HAS SOUPS 22903 WITH SCORE 22978.405
AT ITER 195 NEW BEST:: SOT 99664 SOS 75545 HAS SOPS 60842 HAS SOUS 21586 HAS SOUPS 21321 WITH SCORE 21396.545
AT ITER 198 NEW BEST:: SOT 99311 SOS 75203 HAS SOPS 60500 HAS SOUS 21426 HAS SOUPS 21161 WITH SCORE 21236.203
AT ITER 199 NEW BEST:: SOT 98748 SOS 74543 HAS SOPS 59809 HAS SOUS 21045 HAS SOUPS 20780 WITH SCORE 20854.543
AT ITER 202 NEW BEST:: SOT 98746 SOS 74539 HAS SOPS 59805 HAS SOUS 21034 HAS SOUPS 20769 WITH SCORE 20843.539
AT ITER 204 NEW BEST:: SOT 98740 SOS 74500 HAS SOPS 59761 HAS SOUS 20960 HAS SOUPS 20695 WITH SCORE 20769.5
AT ITER 208 NEW BEST:: SOT 98660 SOS 74380 HAS SOPS 59601 HAS SOUS 20840 HAS SOUPS 20575 WITH SCORE 20649.38
AT ITER 216 NEW BEST:: SOT 98633 SOS 74353 HAS SOPS 59547 HAS SOUS 20786 HAS SOUPS 20521 WITH SCORE 20595.353
AT ITER 222 NEW BEST:: SOT 98630 SOS 74350 HAS SOPS 59541 HAS SOUS 20780 HAS SOUPS 20515 WITH SCORE 20589.35
AT ITER 227 NEW BEST:: SOT 98630 SOS 74314 HAS SOPS 59487 HAS SOUS 20763 HAS SOUPS 20498 WITH SCORE 20572.314
AT ITER 231 NEW BEST:: SOT 98607 SOS 74277 HAS SOPS 59450 HAS SOUS 20741 HAS SOUPS 20476 WITH SCORE 20550.277
AT ITER 238 NEW BEST:: SOT 98605 SOS 74273 HAS SOPS 59446 HAS SOUS 20739 HAS SOUPS 20474 WITH SCORE 20548.273
AT ITER 239 NEW BEST:: SOT 98551 SOS 74182 HAS SOPS 59301 HAS SOUS 20631 HAS SOUPS 20366 WITH SCORE 20440.182
AT ITER 241 NEW BEST:: SOT 98591 SOS 74202 HAS SOPS 59311 HAS SOUS 20590 HAS SOUPS 20325 WITH SCORE 20399.202
AT ITER 242 NEW BEST:: SOT 98688 SOS 74190 HAS SOPS 59267 HAS SOUS 20538 HAS SOUPS 20273 WITH SCORE 20347.19
AT ITER 249 NEW BEST:: SOT 98774 SOS 74217 HAS SOPS 59288 HAS SOUS 20533 HAS SOUPS 20268 WITH SCORE 20342.217
AT ITER 254 NEW BEST:: SOT 98774 SOS 74217 HAS SOPS 59276 HAS SOUS 20521 HAS SOUPS 20256 WITH SCORE 20330.217
AT ITER 263 NEW BEST:: SOT 98774 SOS 74214 HAS SOPS 59229 HAS SOUS 20444 HAS SOUPS 20179 WITH SCORE 20253.214
AT ITER 264 NEW BEST:: SOT 98690 SOS 74130 HAS SOPS 59105 HAS SOUS 20360 HAS SOUPS 20089 WITH SCORE 20163.13
AT ITER 269 NEW BEST:: SOT 98661 SOS 74038 HAS SOPS 58947 HAS SOUS 20202 HAS SOUPS 19931 WITH SCORE 20005.038
AT ITER 270 NEW BEST:: SOT 98655 SOS 74032 HAS SOPS 58941 HAS SOUS 20196 HAS SOUPS 19925 WITH SCORE 19999.032
AT ITER 272 NEW BEST:: SOT 98614 SOS 73887 HAS SOPS 58807 HAS SOUS 20114 HAS SOUPS 19843 WITH SCORE 19916.887
AT ITER 277 NEW BEST:: SOT 98607 SOS 73878 HAS SOPS 58793 HAS SOUS 20105 HAS SOUPS 19834 WITH SCORE 19907.878
AT ITER 278 NEW BEST:: SOT 98610 SOS 73881 HAS SOPS 58777 HAS SOUS 20089 HAS SOUPS 19818 WITH SCORE 19891.881
AT ITER 280 NEW BEST:: SOT 98579 SOS 73849 HAS SOPS 58714 HAS SOUS 20026 HAS SOUPS 19755 WITH SCORE 19828.849
AT ITER 286 NEW BEST:: SOT 98561 SOS 73836 HAS SOPS 58715 HAS SOUS 20005 HAS SOUPS 19734 WITH SCORE 19807.836
AT ITER 290 NEW BEST:: SOT 98506 SOS 73723 HAS SOPS 58596 HAS SOUS 19941 HAS SOUPS 19670 WITH SCORE 19743.723
AT ITER 295 NEW BEST:: SOT 98506 SOS 73689 HAS SOPS 58562 HAS SOUS 19941 HAS SOUPS 19670 WITH SCORE 19743.689
AT ITER 298 NEW BEST:: SOT 98484 SOS 73667 HAS SOPS 58518 HAS SOUS 19897 HAS SOUPS 19626 WITH SCORE 19699.667
AT ITER 299 NEW BEST:: SOT 98484 SOS 73654 HAS SOPS 58492 HAS SOUS 19871 HAS SOUPS 19600 WITH SCORE 19673.654
AT ITER 302 NEW BEST:: SOT 97630 SOS 72800 HAS SOPS 57638 HAS SOUS 19434 HAS SOUPS 19163 WITH SCORE 19235.8
AT ITER 309 NEW BEST:: SOT 97630 SOS 72786 HAS SOPS 57480 HAS SOUS 19058 HAS SOUPS 18787 WITH SCORE 18859.786
AT ITER 315 NEW BEST:: SOT 97566 SOS 72690 HAS SOPS 57384 HAS SOUS 18962 HAS SOUPS 18691 WITH SCORE 18763.69
AT ITER 316 NEW BEST:: SOT 97564 SOS 72686 HAS SOPS 57362 HAS SOUS 18924 HAS SOUPS 18653 WITH SCORE 18725.686
AT ITER 324 NEW BEST:: SOT 97533 SOS 72655 HAS SOPS 57300 HAS SOUS 18862 HAS SOUPS 18591 WITH SCORE 18663.655
AT ITER 325 NEW BEST:: SOT 97524 SOS 72646 HAS SOPS 57282 HAS SOUS 18844 HAS SOUPS 18573 WITH SCORE 18645.646
AT ITER 331 NEW BEST:: SOT 97532 SOS 72654 HAS SOPS 57268 HAS SOUS 18830 HAS SOUPS 18559 WITH SCORE 18631.654
AT ITER 338 NEW BEST:: SOT 97511 SOS 72555 HAS SOPS 57169 HAS SOUS 18759 HAS SOUPS 18488 WITH SCORE 18560.555
AT ITER 353 NEW BEST:: SOT 97361 SOS 72401 HAS SOPS 57025 HAS SOUS 18689 HAS SOUPS 18418 WITH SCORE 18490.401
AT ITER 363 NEW BEST:: SOT 96767 SOS 71820 HAS SOPS 56444 HAS SOUS 18418 HAS SOUPS 18147 WITH SCORE 18218.82
AT ITER 364 NEW BEST:: SOT 96769 SOS 71826 HAS SOPS 56450 HAS SOUS 18417 HAS SOUPS 18146 WITH SCORE 18217.826
AT ITER 367 NEW BEST:: SOT 96772 SOS 71829 HAS SOPS 56432 HAS SOUS 18375 HAS SOUPS 18104 WITH SCORE 18175.829
AT ITER 376 NEW BEST:: SOT 96686 SOS 71717 HAS SOPS 56294 HAS SOUS 18295 HAS SOUPS 18021 WITH SCORE 18092.717
AT ITER 378 NEW BEST:: SOT 96686 SOS 71717 HAS SOPS 56259 HAS SOUS 18225 HAS SOUPS 17951 WITH SCORE 18022.717
AT ITER 383 NEW BEST:: SOT 96603 SOS 71456 HAS SOPS 55961 HAS SOUS 17995 HAS SOUPS 17721 WITH SCORE 17792.456
AT ITER 387 NEW BEST:: SOT 96590 SOS 71405 HAS SOPS 55880 HAS SOUS 17914 HAS SOUPS 17640 WITH SCORE 17711.405
AT ITER 396 NEW BEST:: SOT 96560 SOS 71375 HAS SOPS 55850 HAS SOUS 17884 HAS SOUPS 17610 WITH SCORE 17681.375
AT ITER 397 NEW BEST:: SOT 96559 SOS 71372 HAS SOPS 55823 HAS SOUS 17863 HAS SOUPS 17589 WITH SCORE 17660.372
AT ITER 402 NEW BEST:: SOT 96774 SOS 71590 HAS SOPS 56021 HAS SOUS 17835 HAS SOUPS 17556 WITH SCORE 17627.59
AT ITER 405 NEW BEST:: SOT 96761 SOS 71580 HAS SOPS 56005 HAS SOUS 17819 HAS SOUPS 17540 WITH SCORE 17611.58
AT ITER 409 NEW BEST:: SOT 96736 SOS 71551 HAS SOPS 55967 HAS SOUS 17782 HAS SOUPS 17502 WITH SCORE 17573.551
AT ITER 410 NEW BEST:: SOT 96734 SOS 71547 HAS SOPS 55963 HAS SOUS 17780 HAS SOUPS 17500 WITH SCORE 17571.547
AT ITER 414 NEW BEST:: SOT 96714 SOS 71525 HAS SOPS 55921 HAS SOUS 17760 HAS SOUPS 17480 WITH SCORE 17551.525
AT ITER 427 NEW BEST:: SOT 96704 SOS 71526 HAS SOPS 55898 HAS SOUS 17722 HAS SOUPS 17442 WITH SCORE 17513.526
AT ITER 432 NEW BEST:: SOT 96655 SOS 71408 HAS SOPS 55762 HAS SOUS 17610 HAS SOUPS 17330 WITH SCORE 17401.408
AT ITER 437 NEW BEST:: SOT 96590 SOS 71270 HAS SOPS 55632 HAS SOUS 17528 HAS SOUPS 17248 WITH SCORE 17319.27
AT ITER 439 NEW BEST:: SOT 96638 SOS 71226 HAS SOPS 55629 HAS SOUS 17466 HAS SOUPS 17186 WITH SCORE 17257.226
AT ITER 447 NEW BEST:: SOT 96629 SOS 71208 HAS SOPS 55602 HAS SOUS 17439 HAS SOUPS 17159 WITH SCORE 17230.208
AT ITER 448 NEW BEST:: SOT 96615 SOS 71212 HAS SOPS 55588 HAS SOUS 17431 HAS SOUPS 17151 WITH SCORE 17222.212
AT ITER 466 NEW BEST:: SOT 96651 SOS 71175 HAS SOPS 55575 HAS SOUS 17406 HAS SOUPS 17126 WITH SCORE 17197.175
AT ITER 467 NEW BEST:: SOT 96640 SOS 71153 HAS SOPS 55553 HAS SOUS 17395 HAS SOUPS 17115 WITH SCORE 17186.153
AT ITER 473 NEW BEST:: SOT 96575 SOS 70853 HAS SOPS 55245 HAS SOUS 17248 HAS SOUPS 16968 WITH SCORE 17038.853
AT ITER 481 NEW BEST:: SOT 96576 SOS 70855 HAS SOPS 55247 HAS SOUS 17246 HAS SOUPS 16966 WITH SCORE 17036.855
AT ITER 485 NEW BEST:: SOT 96574 SOS 70851 HAS SOPS 55243 HAS SOUS 17228 HAS SOUPS 16948 WITH SCORE 17018.851
AT ITER 487 NEW BEST:: SOT 96572 SOS 70830 HAS SOPS 55214 HAS SOUS 17193 HAS SOUPS 16913 WITH SCORE 16983.83
AT ITER 498 NEW BEST:: SOT 96657 SOS 70484 HAS SOPS 54511 HAS SOUS 16989 HAS SOUPS 16709 WITH SCORE 16779.484
AT ITER 505 NEW BEST:: SOT 96641 SOS 70436 HAS SOPS 54463 HAS SOUS 16973 HAS SOUPS 16693 WITH SCORE 16763.436
AT ITER 509 NEW BEST:: SOT 96580 SOS 70342 HAS SOPS 54341 HAS SOUS 16884 HAS SOUPS 16604 WITH SCORE 16674.342
AT ITER 520 NEW BEST:: SOT 96622 SOS 70382 HAS SOPS 54379 HAS SOUS 16875 HAS SOUPS 16595 WITH SCORE 16665.382
AT ITER 529 NEW BEST:: SOT 96630 SOS 70460 HAS SOPS 54395 HAS SOUS 16839 HAS SOUPS 16559 WITH SCORE 16629.46
AT ITER 540 NEW BEST:: SOT 96610 SOS 70420 HAS SOPS 54355 HAS SOUS 16819 HAS SOUPS 16539 WITH SCORE 16609.42
AT ITER 544 NEW BEST:: SOT 96588 SOS 70398 HAS SOPS 54311 HAS SOUS 16775 HAS SOUPS 16495 WITH SCORE 16565.398
AT ITER 546 NEW BEST:: SOT 96592 SOS 70368 HAS SOPS 54281 HAS SOUS 16775 HAS SOUPS 16495 WITH SCORE 16565.368
AT ITER 549 NEW BEST:: SOT 96916 SOS 70436 HAS SOPS 52677 HAS SOUS 16196 HAS SOUPS 15916 WITH SCORE 15986.436
AT ITER 550 NEW BEST:: SOT 96920 SOS 70440 HAS SOPS 52557 HAS SOUS 16136 HAS SOUPS 15856 WITH SCORE 15926.44
AT ITER 554 NEW BEST:: SOT 96934 SOS 70451 HAS SOPS 52553 HAS SOUS 16126 HAS SOUPS 15846 WITH SCORE 15916.451
AT ITER 569 NEW BEST:: SOT 96922 SOS 70427 HAS SOPS 52529 HAS SOUS 16108 HAS SOUPS 15828 WITH SCORE 15898.427
AT ITER 573 NEW BEST:: SOT 96906 SOS 70379 HAS SOPS 52481 HAS SOUS 16060 HAS SOUPS 15780 WITH SCORE 15850.379
AT ITER 577 NEW BEST:: SOT 96882 SOS 70339 HAS SOPS 52433 HAS SOUS 16012 HAS SOUPS 15732 WITH SCORE 15802.339
AT ITER 584 NEW BEST:: SOT 96841 SOS 70298 HAS SOPS 52351 HAS SOUS 15930 HAS SOUPS 15650 WITH SCORE 15720.298
AT ITER 588 NEW BEST:: SOT 96856 SOS 70268 HAS SOPS 52329 HAS SOUS 15909 HAS SOUPS 15629 WITH SCORE 15699.268
AT ITER 593 NEW BEST:: SOT 96803 SOS 70162 HAS SOPS 52223 HAS SOUS 15803 HAS SOUPS 15523 WITH SCORE 15593.162
AT ITER 608 NEW BEST:: SOT 96699 SOS 70058 HAS SOPS 52117 HAS SOUS 15749 HAS SOUPS 15467 WITH SCORE 15537.058
AT ITER 609 NEW BEST:: SOT 96694 SOS 70053 HAS SOPS 52112 HAS SOUS 15746 HAS SOUPS 15464 WITH SCORE 15534.053
AT ITER 614 NEW BEST:: SOT 96689 SOS 70038 HAS SOPS 52097 HAS SOUS 15736 HAS SOUPS 15454 WITH SCORE 15524.038
AT ITER 624 NEW BEST:: SOT 96650 SOS 70004 HAS SOPS 52019 HAS SOUS 15658 HAS SOUPS 15376 WITH SCORE 15446.004
AT ITER 627 NEW BEST:: SOT 96720 SOS 70001 HAS SOPS 52087 HAS SOUS 15656 HAS SOUPS 15374 WITH SCORE 15444.001
AT ITER 633 NEW BEST:: SOT 96713 SOS 69943 HAS SOPS 51985 HAS SOUS 15561 HAS SOUPS 15279 WITH SCORE 15348.943
AT ITER 647 NEW BEST:: SOT 96730 SOS 69901 HAS SOPS 51960 HAS SOUS 15536 HAS SOUPS 15254 WITH SCORE 15323.901
AT ITER 649 NEW BEST:: SOT 96730 SOS 69821 HAS SOPS 51880 HAS SOUS 15536 HAS SOUPS 15254 WITH SCORE 15323.821
AT ITER 653 NEW BEST:: SOT 96715 SOS 69798 HAS SOPS 51850 HAS SOUS 15512 HAS SOUPS 15230 WITH SCORE 15299.798
AT ITER 678 NEW BEST:: SOT 96667 SOS 69748 HAS SOPS 51798 HAS SOUS 15480 HAS SOUPS 15198 WITH SCORE 15267.748
AT ITER 679 NEW BEST:: SOT 96667 SOS 69656 HAS SOPS 51741 HAS SOUS 15462 HAS SOUPS 15180 WITH SCORE 15249.656
AT ITER 680 NEW BEST:: SOT 96667 SOS 69643 HAS SOPS 51728 HAS SOUS 15462 HAS SOUPS 15180 WITH SCORE 15249.643
AT ITER 685 NEW BEST:: SOT 96510 SOS 69481 HAS SOPS 51530 HAS SOUS 15300 HAS SOUPS 15018 WITH SCORE 15087.481
AT ITER 686 NEW BEST:: SOT 96386 SOS 69399 HAS SOPS 51411 HAS SOUS 15260 HAS SOUPS 14978 WITH SCORE 15047.399
AT ITER 689 NEW BEST:: SOT 96358 SOS 69358 HAS SOPS 51355 HAS SOUS 15226 HAS SOUPS 14944 WITH SCORE 15013.358
AT ITER 691 NEW BEST:: SOT 96318 SOS 69238 HAS SOPS 51235 HAS SOUS 15146 HAS SOUPS 14864 WITH SCORE 14933.238
AT ITER 717 NEW BEST:: SOT 96270 SOS 69248 HAS SOPS 51245 HAS SOUS 15128 HAS SOUPS 14846 WITH SCORE 14915.248
AT ITER 718 NEW BEST:: SOT 96270 SOS 69032 HAS SOPS 51029 HAS SOUS 15120 HAS SOUPS 14838 WITH SCORE 14907.032
AT ITER 719 NEW BEST:: SOT 96289 SOS 69051 HAS SOPS 51019 HAS SOUS 15110 HAS SOUPS 14828 WITH SCORE 14897.051
AT ITER 721 NEW BEST:: SOT 96318 SOS 68963 HAS SOPS 50994 HAS SOUS 15098 HAS SOUPS 14816 WITH SCORE 14884.963
AT ITER 727 NEW BEST:: SOT 96317 SOS 68962 HAS SOPS 50993 HAS SOUS 15097 HAS SOUPS 14815 WITH SCORE 14883.962
AT ITER 734 NEW BEST:: SOT 96303 SOS 68941 HAS SOPS 50965 HAS SOUS 15083 HAS SOUPS 14801 WITH SCORE 14869.941
AT ITER 735 NEW BEST:: SOT 96221 SOS 70329 HAS SOPS 50833 HAS SOUS 15072 HAS SOUPS 14765 WITH SCORE 14835.329
AT ITER 743 NEW BEST:: SOT 96186 SOS 70259 HAS SOPS 50763 HAS SOUS 15032 HAS SOUPS 14725 WITH SCORE 14795.259
AT ITER 750 NEW BEST:: SOT 96186 SOS 70255 HAS SOPS 50759 HAS SOUS 15028 HAS SOUPS 14721 WITH SCORE 14791.255
AT ITER 779 NEW BEST:: SOT 96222 SOS 70262 HAS SOPS 50748 HAS SOUS 15009 HAS SOUPS 14702 WITH SCORE 14772.262
AT ITER 785 NEW BEST:: SOT 96216 SOS 70252 HAS SOPS 50736 HAS SOUS 14997 HAS SOUPS 14690 WITH SCORE 14760.252
AT ITER 792 NEW BEST:: SOT 96205 SOS 70258 HAS SOPS 50714 HAS SOUS 14975 HAS SOUPS 14668 WITH SCORE 14738.258
AT ITER 803 NEW BEST:: SOT 95740 SOS 69793 HAS SOPS 50238 HAS SOUS 14721 HAS SOUPS 14414 WITH SCORE 14483.793
AT ITER 808 NEW BEST:: SOT 95736 SOS 69785 HAS SOPS 50230 HAS SOUS 14713 HAS SOUPS 14406 WITH SCORE 14475.785
AT ITER 815 NEW BEST:: SOT 95736 SOS 69785 HAS SOPS 50230 HAS SOUS 14702 HAS SOUPS 14395 WITH SCORE 14464.785
AT ITER 817 NEW BEST:: SOT 95712 SOS 69737 HAS SOPS 50182 HAS SOUS 14678 HAS SOUPS 14371 WITH SCORE 14440.737
AT ITER 828 NEW BEST:: SOT 95710 SOS 69732 HAS SOPS 50177 HAS SOUS 14677 HAS SOUPS 14370 WITH SCORE 14439.732
AT ITER 836 NEW BEST:: SOT 95706 SOS 69724 HAS SOPS 50165 HAS SOUS 14669 HAS SOUPS 14362 WITH SCORE 14431.724
AT ITER 849 NEW BEST:: SOT 95706 SOS 69714 HAS SOPS 50157 HAS SOUS 14663 HAS SOUPS 14356 WITH SCORE 14425.714
AT ITER 853 NEW BEST:: SOT 95674 SOS 69714 HAS SOPS 50125 HAS SOUS 14631 HAS SOUPS 14324 WITH SCORE 14393.714
AT ITER 860 NEW BEST:: SOT 95629 SOS 69580 HAS SOPS 49980 HAS SOUS 14520 HAS SOUPS 14213 WITH SCORE 14282.58
AT ITER 863 NEW BEST:: SOT 95629 SOS 69576 HAS SOPS 49976 HAS SOUS 14516 HAS SOUPS 14209 WITH SCORE 14278.576
AT ITER 879 NEW BEST:: SOT 95622 SOS 69699 HAS SOPS 49965 HAS SOUS 14511 HAS SOUPS 14202 WITH SCORE 14271.699
AT ITER 885 NEW BEST:: SOT 95614 SOS 69691 HAS SOPS 49949 HAS SOUS 14495 HAS SOUPS 14186 WITH SCORE 14255.691
AT ITER 896 NEW BEST:: SOT 95594 SOS 69651 HAS SOPS 49909 HAS SOUS 14455 HAS SOUPS 14146 WITH SCORE 14215.651
AT ITER 900 NEW BEST:: SOT 95508 SOS 74949 HAS SOPS 49787 HAS SOUS 14460 HAS SOUPS 14133 WITH SCORE 14207.949
AT ITER 908 NEW BEST:: SOT 95500 SOS 74947 HAS SOPS 49771 HAS SOUS 14444 HAS SOUPS 14117 WITH SCORE 14191.947
AT ITER 911 NEW BEST:: SOT 95281 SOS 74725 HAS SOPS 49553 HAS SOUS 14359 HAS SOUPS 14032 WITH SCORE 14106.725
AT ITER 924 NEW BEST:: SOT 95280 SOS 74643 HAS SOPS 49485 HAS SOUS 14306 HAS SOUPS 13979 WITH SCORE 14053.643
AT ITER 933 NEW BEST:: SOT 95266 SOS 74644 HAS SOPS 49486 HAS SOUS 14300 HAS SOUPS 13973 WITH SCORE 14047.644
AT ITER 939 NEW BEST:: SOT 95094 SOS 74472 HAS SOPS 49314 HAS SOUS 14218 HAS SOUPS 13891 WITH SCORE 13965.472
AT ITER 953 NEW BEST:: SOT 95517 SOS 74882 HAS SOPS 49592 HAS SOUS 14084 HAS SOUPS 13757 WITH SCORE 13831.882
AT ITER 973 NEW BEST:: SOT 95517 SOS 74859 HAS SOPS 49569 HAS SOUS 14061 HAS SOUPS 13734 WITH SCORE 13808.859
AT ITER 989 NEW BEST:: SOT 95515 SOS 74844 HAS SOPS 49554 HAS SOUS 14046 HAS SOUPS 13719 WITH SCORE 13793.844
AT ITER 1007 NEW BEST:: SOT 95496 SOS 74822 HAS SOPS 49516 HAS SOUS 14008 HAS SOUPS 13681 WITH SCORE 13755.822
AT ITER 1011 NEW BEST:: SOT 95286 SOS 74619 HAS SOPS 49313 HAS SOUS 13910 HAS SOUPS 13583 WITH SCORE 13657.619
AT ITER 1032 NEW BEST:: SOT 92166 SOS 71483 HAS SOPS 46607 HAS SOUS 12724 HAS SOUPS 12397 WITH SCORE 12468.483
AT ITER 1034 NEW BEST:: SOT 92161 SOS 71483 HAS SOPS 46602 HAS SOUS 12719 HAS SOUPS 12392 WITH SCORE 12463.483
AT ITER 1040 NEW BEST:: SOT 92157 SOS 71479 HAS SOPS 46596 HAS SOUS 12713 HAS SOUPS 12386 WITH SCORE 12457.479
AT ITER 1060 NEW BEST:: SOT 92127 SOS 71419 HAS SOPS 46536 HAS SOUS 12683 HAS SOUPS 12356 WITH SCORE 12427.419
AT ITER 1065 NEW BEST:: SOT 92126 SOS 71418 HAS SOPS 46535 HAS SOUS 12682 HAS SOUPS 12355 WITH SCORE 12426.418
AT ITER 1074 NEW BEST:: SOT 92108 SOS 71390 HAS SOPS 46499 HAS SOUS 12664 HAS SOUPS 12337 WITH SCORE 12408.39
AT ITER 1079 NEW BEST:: SOT 92059 SOS 71299 HAS SOPS 46401 HAS SOUS 12562 HAS SOUPS 12235 WITH SCORE 12306.299
AT ITER 1092 NEW BEST:: SOT 92056 SOS 71292 HAS SOPS 46395 HAS SOUS 12556 HAS SOUPS 12229 WITH SCORE 12300.292
AT ITER 1093 NEW BEST:: SOT 92066 SOS 71331 HAS SOPS 46415 HAS SOUS 12547 HAS SOUPS 12220 WITH SCORE 12291.331
AT ITER 1103 NEW BEST:: SOT 92071 SOS 71336 HAS SOPS 46215 HAS SOUS 12502 HAS SOUPS 12175 WITH SCORE 12246.336
AT ITER 1111 NEW BEST:: SOT 92098 SOS 71276 HAS SOPS 46163 HAS SOUS 12481 HAS SOUPS 12154 WITH SCORE 12225.276
AT ITER 1116 NEW BEST:: SOT 92033 SOS 71195 HAS SOPS 46090 HAS SOUS 12351 HAS SOUPS 12024 WITH SCORE 12095.195
AT ITER 1121 NEW BEST:: SOT 91969 SOS 71112 HAS SOPS 45962 HAS SOUS 12270 HAS SOUPS 11943 WITH SCORE 12014.112
AT ITER 1127 NEW BEST:: SOT 91969 SOS 71102 HAS SOPS 45962 HAS SOUS 12270 HAS SOUPS 11943 WITH SCORE 12014.102
AT ITER 1131 NEW BEST:: SOT 91959 SOS 71092 HAS SOPS 45942 HAS SOUS 12250 HAS SOUPS 11923 WITH SCORE 11994.092
AT ITER 1133 NEW BEST:: SOT 91963 SOS 71083 HAS SOPS 45950 HAS SOUS 12231 HAS SOUPS 11904 WITH SCORE 11975.083
AT ITER 1142 NEW BEST:: SOT 91953 SOS 71052 HAS SOPS 45930 HAS SOUS 12211 HAS SOUPS 11884 WITH SCORE 11955.052
AT ITER 1155 NEW BEST:: SOT 91974 SOS 71071 HAS SOPS 45949 HAS SOUS 12206 HAS SOUPS 11879 WITH SCORE 11950.071
AT ITER 1157 NEW BEST:: SOT 91957 SOS 71037 HAS SOPS 45915 HAS SOUS 12189 HAS SOUPS 11862 WITH SCORE 11933.037
AT ITER 1158 NEW BEST:: SOT 91957 SOS 70995 HAS SOPS 45915 HAS SOUS 12189 HAS SOUPS 11862 WITH SCORE 11932.995
AT ITER 1160 NEW BEST:: SOT 91957 SOS 70975 HAS SOPS 45895 HAS SOUS 12169 HAS SOUPS 11842 WITH SCORE 11912.975
AT ITER 1176 NEW BEST:: SOT 91932 SOS 70943 HAS SOPS 45854 HAS SOUS 12135 HAS SOUPS 11808 WITH SCORE 11878.943
AT ITER 1177 NEW BEST:: SOT 91881 SOS 70841 HAS SOPS 45752 HAS SOUS 12081 HAS SOUPS 11754 WITH SCORE 11824.841
AT ITER 1184 NEW BEST:: SOT 91869 SOS 70829 HAS SOPS 45728 HAS SOUS 12057 HAS SOUPS 11730 WITH SCORE 11800.829
AT ITER 1187 NEW BEST:: SOT 91819 SOS 70792 HAS SOPS 45676 HAS SOUS 12053 HAS SOUPS 11726 WITH SCORE 11796.792
AT ITER 1200 NEW BEST:: SOT 91792 SOS 70806 HAS SOPS 45664 HAS SOUS 12047 HAS SOUPS 11714 WITH SCORE 11784.806
AT ITER 1216 NEW BEST:: SOT 91791 SOS 70791 HAS SOPS 45648 HAS SOUS 12031 HAS SOUPS 11698 WITH SCORE 11768.791
AT ITER 1228 NEW BEST:: SOT 91791 SOS 70790 HAS SOPS 45648 HAS SOUS 12031 HAS SOUPS 11698 WITH SCORE 11768.79
AT ITER 1229 NEW BEST:: SOT 91778 SOS 70777 HAS SOPS 45622 HAS SOUS 12005 HAS SOUPS 11672 WITH SCORE 11742.777
AT ITER 1244 NEW BEST:: SOT 91779 SOS 70773 HAS SOPS 45615 HAS SOUS 11998 HAS SOUPS 11665 WITH SCORE 11735.773
AT ITER 1299 NEW BEST:: SOT 91777 SOS 70760 HAS SOPS 45611 HAS SOUS 11994 HAS SOUPS 11661 WITH SCORE 11731.76
AT ITER 1309 NEW BEST:: SOT 91791 SOS 70754 HAS SOPS 45621 HAS SOUS 11990 HAS SOUPS 11657 WITH SCORE 11727.754
AT ITER 1312 NEW BEST:: SOT 91779 SOS 70739 HAS SOPS 45597 HAS SOUS 11966 HAS SOUPS 11633 WITH SCORE 11703.739
AT ITER 1314 NEW BEST:: SOT 91786 SOS 70729 HAS SOPS 45590 HAS SOUS 11956 HAS SOUPS 11623 WITH SCORE 11693.729
AT ITER 1318 NEW BEST:: SOT 91783 SOS 70726 HAS SOPS 45587 HAS SOUS 11953 HAS SOUPS 11620 WITH SCORE 11690.726
AT ITER 1319 NEW BEST:: SOT 91773 SOS 70716 HAS SOPS 45573 HAS SOUS 11939 HAS SOUPS 11606 WITH SCORE 11676.716
AT ITER 1331 NEW BEST:: SOT 91747 SOS 70659 HAS SOPS 45521 HAS SOUS 11887 HAS SOUPS 11554 WITH SCORE 11624.659
AT ITER 1334 NEW BEST:: SOT 91753 SOS 70658 HAS SOPS 45520 HAS SOUS 11886 HAS SOUPS 11553 WITH SCORE 11623.658
AT ITER 1335 NEW BEST:: SOT 91753 SOS 70658 HAS SOPS 45499 HAS SOUS 11865 HAS SOUPS 11532 WITH SCORE 11602.658
AT ITER 1337 NEW BEST:: SOT 91748 SOS 70655 HAS SOPS 45489 HAS SOUS 11860 HAS SOUPS 11527 WITH SCORE 11597.655
AT ITER 1341 NEW BEST:: SOT 91712 SOS 70619 HAS SOPS 45484 HAS SOUS 11855 HAS SOUPS 11522 WITH SCORE 11592.619
AT ITER 1348 NEW BEST:: SOT 91650 SOS 70634 HAS SOPS 45432 HAS SOUS 11797 HAS SOUPS 11464 WITH SCORE 11534.634
AT ITER 1386 NEW BEST:: SOT 91644 SOS 70622 HAS SOPS 45420 HAS SOUS 11791 HAS SOUPS 11458 WITH SCORE 11528.622
AT ITER 1388 NEW BEST:: SOT 91537 SOS 70599 HAS SOPS 45315 HAS SOUS 11686 HAS SOUPS 11353 WITH SCORE 11423.599
AT ITER 1400 NEW BEST:: SOT 91515 SOS 70577 HAS SOPS 45271 HAS SOUS 11642 HAS SOUPS 11309 WITH SCORE 11379.577
AT ITER 1406 NEW BEST:: SOT 91506 SOS 70543 HAS SOPS 45235 HAS SOUS 11611 HAS SOUPS 11278 WITH SCORE 11348.543
AT ITER 1421 NEW BEST:: SOT 91506 SOS 70543 HAS SOPS 45199 HAS SOUS 11575 HAS SOUPS 11242 WITH SCORE 11312.543
AT ITER 1448 NEW BEST:: SOT 91435 SOS 70363 HAS SOPS 45057 HAS SOUS 11468 HAS SOUPS 11135 WITH SCORE 11205.363
AT ITER 1464 NEW BEST:: SOT 91433 SOS 70354 HAS SOPS 45048 HAS SOUS 11461 HAS SOUPS 11128 WITH SCORE 11198.354
AT ITER 1472 NEW BEST:: SOT 91429 SOS 70282 HAS SOPS 44973 HAS SOUS 11385 HAS SOUPS 11052 WITH SCORE 11122.282
AT ITER 1475 NEW BEST:: SOT 91419 SOS 70301 HAS SOPS 44953 HAS SOUS 11384 HAS SOUPS 11051 WITH SCORE 11121.301
AT ITER 1486 NEW BEST:: SOT 91817 SOS 70739 HAS SOPS 44977 HAS SOUS 11307 HAS SOUPS 10974 WITH SCORE 11044.739
AT ITER 1507 NEW BEST:: SOT 91819 SOS 70743 HAS SOPS 44981 HAS SOUS 11303 HAS SOUPS 10970 WITH SCORE 11040.743
AT ITER 1518 NEW BEST:: SOT 91881 SOS 70705 HAS SOPS 44901 HAS SOUS 11263 HAS SOUPS 10930 WITH SCORE 11000.705
AT ITER 1519 NEW BEST:: SOT 91870 SOS 70672 HAS SOPS 44868 HAS SOUS 11241 HAS SOUPS 10908 WITH SCORE 10978.672
AT ITER 1534 NEW BEST:: SOT 91864 SOS 70666 HAS SOPS 44856 HAS SOUS 11229 HAS SOUPS 10896 WITH SCORE 10966.666
AT ITER 1542 NEW BEST:: SOT 91856 SOS 70646 HAS SOPS 44836 HAS SOUS 11221 HAS SOUPS 10888 WITH SCORE 10958.646
AT ITER 1549 NEW BEST:: SOT 91855 SOS 70645 HAS SOPS 44823 HAS SOUS 11196 HAS SOUPS 10863 WITH SCORE 10933.645
AT ITER 1552 NEW BEST:: SOT 91857 SOS 70649 HAS SOPS 44827 HAS SOUS 11189 HAS SOUPS 10856 WITH SCORE 10926.649
AT ITER 1563 NEW BEST:: SOT 91849 SOS 70633 HAS SOPS 44811 HAS SOUS 11173 HAS SOUPS 10840 WITH SCORE 10910.633
AT ITER 1565 NEW BEST:: SOT 91853 SOS 70641 HAS SOPS 44819 HAS SOUS 11171 HAS SOUPS 10838 WITH SCORE 10908.641
AT ITER 1570 NEW BEST:: SOT 91853 SOS 70521 HAS SOPS 44699 HAS SOUS 11169 HAS SOUPS 10836 WITH SCORE 10906.521
AT ITER 1583 NEW BEST:: SOT 91851 SOS 70519 HAS SOPS 44696 HAS SOUS 11166 HAS SOUPS 10833 WITH SCORE 10903.519
AT ITER 1585 NEW BEST:: SOT 91846 SOS 70505 HAS SOPS 44682 HAS SOUS 11154 HAS SOUPS 10821 WITH SCORE 10891.505
AT ITER 1586 NEW BEST:: SOT 91842 SOS 70497 HAS SOPS 44670 HAS SOUS 11142 HAS SOUPS 10809 WITH SCORE 10879.497
AT ITER 1592 NEW BEST:: SOT 91837 SOS 70483 HAS SOPS 44651 HAS SOUS 11123 HAS SOUPS 10790 WITH SCORE 10860.483
AT ITER 1594 NEW BEST:: SOT 91856 SOS 70474 HAS SOPS 44642 HAS SOUS 11115 HAS SOUPS 10782 WITH SCORE 10852.474
AT ITER 1610 NEW BEST:: SOT 91854 SOS 70482 HAS SOPS 44638 HAS SOUS 11108 HAS SOUPS 10775 WITH SCORE 10845.482
AT ITER 1620 NEW BEST:: SOT 91844 SOS 70346 HAS SOPS 44552 HAS SOUS 11082 HAS SOUPS 10749 WITH SCORE 10819.346
AT ITER 1624 NEW BEST:: SOT 91833 SOS 70315 HAS SOPS 44514 HAS SOUS 11048 HAS SOUPS 10715 WITH SCORE 10785.315
AT ITER 1632 NEW BEST:: SOT 91783 SOS 70311 HAS SOPS 44504 HAS SOUS 11009 HAS SOUPS 10676 WITH SCORE 10746.311
AT ITER 1667 NEW BEST:: SOT 91744 SOS 70235 HAS SOPS 44426 HAS SOUS 10894 HAS SOUPS 10561 WITH SCORE 10631.235
AT ITER 1695 NEW BEST:: SOT 91726 SOS 70217 HAS SOPS 44399 HAS SOUS 10876 HAS SOUPS 10543 WITH SCORE 10613.217
AT ITER 1706 NEW BEST:: SOT 91735 SOS 70224 HAS SOPS 44406 HAS SOUS 10874 HAS SOUPS 10541 WITH SCORE 10611.224
AT ITER 1721 NEW BEST:: SOT 91725 SOS 70234 HAS SOPS 44401 HAS SOUS 10852 HAS SOUPS 10519 WITH SCORE 10589.234
AT ITER 1765 NEW BEST:: SOT 91725 SOS 70233 HAS SOPS 44355 HAS SOUS 10844 HAS SOUPS 10511 WITH SCORE 10581.233
AT ITER 1767 NEW BEST:: SOT 91712 SOS 70215 HAS SOPS 44329 HAS SOUS 10819 HAS SOUPS 10485 WITH SCORE 10555.215
AT ITER 1787 NEW BEST:: SOT 91709 SOS 70212 HAS SOPS 44323 HAS SOUS 10813 HAS SOUPS 10479 WITH SCORE 10549.212
AT ITER 1797 NEW BEST:: SOT 91724 SOS 70205 HAS SOPS 44353 HAS SOUS 10808 HAS SOUPS 10474 WITH SCORE 10544.205
AT ITER 1806 NEW BEST:: SOT 91683 SOS 70120 HAS SOPS 44236 HAS SOUS 10691 HAS SOUPS 10357 WITH SCORE 10427.12
AT ITER 1817 NEW BEST:: SOT 91683 SOS 70123 HAS SOPS 44236 HAS SOUS 10688 HAS SOUPS 10354 WITH SCORE 10424.123
AT ITER 1824 NEW BEST:: SOT 91669 SOS 70097 HAS SOPS 44208 HAS SOUS 10672 HAS SOUPS 10338 WITH SCORE 10408.097
AT ITER 1827 NEW BEST:: SOT 91643 SOS 70071 HAS SOPS 44156 HAS SOUS 10620 HAS SOUPS 10286 WITH SCORE 10356.071
AT ITER 1835 NEW BEST:: SOT 91637 SOS 70065 HAS SOPS 44147 HAS SOUS 10614 HAS SOUPS 10280 WITH SCORE 10350.065
AT ITER 1842 NEW BEST:: SOT 91637 SOS 70048 HAS SOPS 44130 HAS SOUS 10597 HAS SOUPS 10263 WITH SCORE 10333.048
AT ITER 1845 NEW BEST:: SOT 91556 SOS 69968 HAS SOPS 44049 HAS SOUS 10555 HAS SOUPS 10221 WITH SCORE 10290.968
AT ITER 1846 NEW BEST:: SOT 91567 SOS 69979 HAS SOPS 44048 HAS SOUS 10554 HAS SOUPS 10220 WITH SCORE 10289.979
AT ITER 1865 NEW BEST:: SOT 91557 SOS 69959 HAS SOPS 44028 HAS SOUS 10539 HAS SOUPS 10205 WITH SCORE 10274.959
AT ITER 1867 NEW BEST:: SOT 91551 SOS 69925 HAS SOPS 43971 HAS SOUS 10505 HAS SOUPS 10171 WITH SCORE 10240.925
AT ITER 1923 NEW BEST:: SOT 91514 SOS 69870 HAS SOPS 43916 HAS SOUS 10450 HAS SOUPS 10116 WITH SCORE 10185.87
AT ITER 1947 NEW BEST:: SOT 91513 SOS 69869 HAS SOPS 43914 HAS SOUS 10448 HAS SOUPS 10114 WITH SCORE 10183.869
AT ITER 1957 NEW BEST:: SOT 91511 SOS 69859 HAS SOPS 43899 HAS SOUS 10430 HAS SOUPS 10096 WITH SCORE 10165.859
AT ITER 1982 NEW BEST:: SOT 91497 SOS 69838 HAS SOPS 43871 HAS SOUS 10409 HAS SOUPS 10075 WITH SCORE 10144.838
AT ITER 1985 NEW BEST:: SOT 91491 SOS 69832 HAS SOPS 43865 HAS SOUS 10409 HAS SOUPS 10075 WITH SCORE 10144.832
AT ITER 2008 NEW BEST:: SOT 90929 SOS 69447 HAS SOPS 43687 HAS SOUS 10188 HAS SOUPS 9854 WITH SCORE 9923.447
AT ITER 2016 NEW BEST:: SOT 90893 SOS 69415 HAS SOPS 43635 HAS SOUS 10139 HAS SOUPS 9805 WITH SCORE 9874.415
AT ITER 2019 NEW BEST:: SOT 90886 SOS 69408 HAS SOPS 43621 HAS SOUS 10125 HAS SOUPS 9791 WITH SCORE 9860.408
AT ITER 2033 NEW BEST:: SOT 90886 SOS 69407 HAS SOPS 43620 HAS SOUS 10124 HAS SOUPS 9790 WITH SCORE 9859.407
AT ITER 2049 NEW BEST:: SOT 90866 SOS 69387 HAS SOPS 43580 HAS SOUS 10084 HAS SOUPS 9750 WITH SCORE 9819.387
AT ITER 2052 NEW BEST:: SOT 90841 SOS 69357 HAS SOPS 43530 HAS SOUS 10036 HAS SOUPS 9700 WITH SCORE 9769.357
AT ITER 2073 NEW BEST:: SOT 90830 SOS 69355 HAS SOPS 43525 HAS SOUS 10034 HAS SOUPS 9695 WITH SCORE 9764.355
AT ITER 2075 NEW BEST:: SOT 90815 SOS 69340 HAS SOPS 43509 HAS SOUS 10018 HAS SOUPS 9679 WITH SCORE 9748.34
AT ITER 2081 NEW BEST:: SOT 90772 SOS 69211 HAS SOPS 43380 HAS SOUS 9932 HAS SOUPS 9593 WITH SCORE 9662.211
AT ITER 2108 NEW BEST:: SOT 90763 SOS 69200 HAS SOPS 43369 HAS SOUS 9926 HAS SOUPS 9587 WITH SCORE 9656.2
AT ITER 2112 NEW BEST:: SOT 90760 SOS 69194 HAS SOPS 43363 HAS SOUS 9920 HAS SOUPS 9581 WITH SCORE 9650.194
AT ITER 2139 NEW BEST:: SOT 90837 SOS 69271 HAS SOPS 43229 HAS SOUS 9756 HAS SOUPS 9417 WITH SCORE 9486.271
AT ITER 2148 NEW BEST:: SOT 90835 SOS 69268 HAS SOPS 43197 HAS SOUS 9736 HAS SOUPS 9397 WITH SCORE 9466.268
AT ITER 2154 NEW BEST:: SOT 90834 SOS 69263 HAS SOPS 43191 HAS SOUS 9730 HAS SOUPS 9391 WITH SCORE 9460.263
AT ITER 2160 NEW BEST:: SOT 90819 SOS 69233 HAS SOPS 43151 HAS SOUS 9695 HAS SOUPS 9356 WITH SCORE 9425.233
AT ITER 2161 NEW BEST:: SOT 90812 SOS 69237 HAS SOPS 43146 HAS SOUS 9684 HAS SOUPS 9345 WITH SCORE 9414.237
AT ITER 2177 NEW BEST:: SOT 90807 SOS 69227 HAS SOPS 43136 HAS SOUS 9679 HAS SOUPS 9340 WITH SCORE 9409.227
AT ITER 2191 NEW BEST:: SOT 90795 SOS 69189 HAS SOPS 43097 HAS SOUS 9653 HAS SOUPS 9313 WITH SCORE 9382.189
AT ITER 2207 NEW BEST:: SOT 90777 SOS 69171 HAS SOPS 43061 HAS SOUS 9617 HAS SOUPS 9277 WITH SCORE 9346.171
AT ITER 2212 NEW BEST:: SOT 90771 SOS 69153 HAS SOPS 43037 HAS SOUS 9581 HAS SOUPS 9241 WITH SCORE 9310.153
AT ITER 2222 NEW BEST:: SOT 90746 SOS 69122 HAS SOPS 42998 HAS SOUS 9548 HAS SOUPS 9208 WITH SCORE 9277.122
AT ITER 2223 NEW BEST:: SOT 90744 SOS 69120 HAS SOPS 42994 HAS SOUS 9544 HAS SOUPS 9204 WITH SCORE 9273.12
AT ITER 2254 NEW BEST:: SOT 90743 SOS 69123 HAS SOPS 42997 HAS SOUS 9534 HAS SOUPS 9194 WITH SCORE 9263.123
AT ITER 2284 NEW BEST:: SOT 90741 SOS 69121 HAS SOPS 42993 HAS SOUS 9530 HAS SOUPS 9190 WITH SCORE 9259.121
AT ITER 2302 NEW BEST:: SOT 90728 SOS 69120 HAS SOPS 42982 HAS SOUS 9524 HAS SOUPS 9184 WITH SCORE 9253.12
AT ITER 2370 NEW BEST:: SOT 90726 SOS 69120 HAS SOPS 42980 HAS SOUS 9522 HAS SOUPS 9182 WITH SCORE 9251.12
AT ITER 2371 NEW BEST:: SOT 90730 SOS 69128 HAS SOPS 42988 HAS SOUS 9519 HAS SOUPS 9179 WITH SCORE 9248.128
AT ITER 2396 NEW BEST:: SOT 90748 SOS 69029 HAS SOPS 42695 HAS SOUS 9492 HAS SOUPS 9152 WITH SCORE 9221.029
AT ITER 2417 NEW BEST:: SOT 90741 SOS 69008 HAS SOPS 42674 HAS SOUS 9478 HAS SOUPS 9138 WITH SCORE 9207.008
AT ITER 2429 NEW BEST:: SOT 90734 SOS 68986 HAS SOPS 42652 HAS SOUS 9463 HAS SOUPS 9123 WITH SCORE 9191.986
AT ITER 2453 NEW BEST:: SOT 90742 SOS 68992 HAS SOPS 42656 HAS SOUS 9461 HAS SOUPS 9121 WITH SCORE 9189.992
AT ITER 2488 NEW BEST:: SOT 90741 SOS 68991 HAS SOPS 42655 HAS SOUS 9459 HAS SOUPS 9119 WITH SCORE 9187.991
AT ITER 2541 NEW BEST:: SOT 90735 SOS 68953 HAS SOPS 42643 HAS SOUS 9447 HAS SOUPS 9107 WITH SCORE 9175.953
AT ITER 2560 NEW BEST:: SOT 90704 SOS 68935 HAS SOPS 42581 HAS SOUS 9385 HAS SOUPS 9045 WITH SCORE 9113.935
AT ITER 2561 NEW BEST:: SOT 90704 SOS 68927 HAS SOPS 42581 HAS SOUS 9385 HAS SOUPS 9045 WITH SCORE 9113.927
AT ITER 2604 NEW BEST:: SOT 90694 SOS 68912 HAS SOPS 42566 HAS SOUS 9375 HAS SOUPS 9035 WITH SCORE 9103.912
AT ITER 2612 NEW BEST:: SOT 90682 SOS 68899 HAS SOPS 42541 HAS SOUS 9350 HAS SOUPS 9010 WITH SCORE 9078.899
AT ITER 2629 NEW BEST:: SOT 90681 SOS 68897 HAS SOPS 42538 HAS SOUS 9347 HAS SOUPS 9007 WITH SCORE 9075.897
AT ITER 2630 NEW BEST:: SOT 90509 SOS 68720 HAS SOPS 42365 HAS SOUS 9307 HAS SOUPS 8967 WITH SCORE 9035.72
AT ITER 2632 NEW BEST:: SOT 90514 SOS 68712 HAS SOPS 42366 HAS SOUS 9305 HAS SOUPS 8965 WITH SCORE 9033.712
AT ITER 2650 NEW BEST:: SOT 90505 SOS 68689 HAS SOPS 42348 HAS SOUS 9292 HAS SOUPS 8952 WITH SCORE 9020.689
AT ITER 2669 NEW BEST:: SOT 90449 SOS 68637 HAS SOPS 42339 HAS SOUS 9292 HAS SOUPS 8952 WITH SCORE 9020.637
AT ITER 2695 NEW BEST:: SOT 90445 SOS 68600 HAS SOPS 42298 HAS SOUS 9251 HAS SOUPS 8911 WITH SCORE 8979.6
AT ITER 2740 NEW BEST:: SOT 90445 SOS 68599 HAS SOPS 42297 HAS SOUS 9250 HAS SOUPS 8910 WITH SCORE 8978.599
AT ITER 2750 NEW BEST:: SOT 90445 SOS 68584 HAS SOPS 42282 HAS SOUS 9235 HAS SOUPS 8895 WITH SCORE 8963.584
AT ITER 2756 NEW BEST:: SOT 90432 SOS 68571 HAS SOPS 42264 HAS SOUS 9217 HAS SOUPS 8877 WITH SCORE 8945.571
AT ITER 2764 NEW BEST:: SOT 90439 SOS 68569 HAS SOPS 42263 HAS SOUS 9214 HAS SOUPS 8876 WITH SCORE 8944.569
AT ITER 2765 NEW BEST:: SOT 90438 SOS 68567 HAS SOPS 42261 HAS SOUS 9212 HAS SOUPS 8874 WITH SCORE 8942.567
AT ITER 2772 NEW BEST:: SOT 90436 SOS 68564 HAS SOPS 42257 HAS SOUS 9209 HAS SOUPS 8871 WITH SCORE 8939.564
AT ITER 2792 NEW BEST:: SOT 90436 SOS 68563 HAS SOPS 42257 HAS SOUS 9209 HAS SOUPS 8871 WITH SCORE 8939.563
AT ITER 2801 NEW BEST:: SOT 90405 SOS 68543 HAS SOPS 42226 HAS SOUS 9195 HAS SOUPS 8857 WITH SCORE 8925.543
AT ITER 2806 NEW BEST:: SOT 89971 SOS 68109 HAS SOPS 41856 HAS SOUS 9164 HAS SOUPS 8826 WITH SCORE 8894.109
AT ITER 2822 NEW BEST:: SOT 89962 SOS 68083 HAS SOPS 41838 HAS SOUS 9146 HAS SOUPS 8808 WITH SCORE 8876.083
AT ITER 2835 NEW BEST:: SOT 89978 SOS 68109 HAS SOPS 41832 HAS SOUS 9108 HAS SOUPS 8770 WITH SCORE 8838.109
AT ITER 2846 NEW BEST:: SOT 89976 SOS 68103 HAS SOPS 41826 HAS SOUS 9106 HAS SOUPS 8768 WITH SCORE 8836.103
AT ITER 2856 NEW BEST:: SOT 89988 SOS 68128 HAS SOPS 41850 HAS SOUS 9105 HAS SOUPS 8767 WITH SCORE 8835.128
AT ITER 2870 NEW BEST:: SOT 89974 SOS 68136 HAS SOPS 41844 HAS SOUS 9077 HAS SOUPS 8739 WITH SCORE 8807.136
AT ITER 2890 NEW BEST:: SOT 89945 SOS 68109 HAS SOPS 41831 HAS SOUS 9064 HAS SOUPS 8726 WITH SCORE 8794.109
AT ITER 2920 NEW BEST:: SOT 89941 SOS 68101 HAS SOPS 41823 HAS SOUS 9060 HAS SOUPS 8722 WITH SCORE 8790.101
AT ITER 2924 NEW BEST:: SOT 89938 SOS 68098 HAS SOPS 41817 HAS SOUS 9055 HAS SOUPS 8716 WITH SCORE 8784.098
AT ITER 2925 NEW BEST:: SOT 89928 SOS 68111 HAS SOPS 41811 HAS SOUS 9040 HAS SOUPS 8701 WITH SCORE 8769.111
AT ITER 2934 NEW BEST:: SOT 89917 SOS 68100 HAS SOPS 41806 HAS SOUS 9035 HAS SOUPS 8696 WITH SCORE 8764.1
AT ITER 2966 NEW BEST:: SOT 89907 SOS 68089 HAS SOPS 41786 HAS SOUS 9016 HAS SOUPS 8677 WITH SCORE 8745.089
AT ITER 2990 NEW BEST:: SOT 89900 SOS 68080 HAS SOPS 41724 HAS SOUS 8875 HAS SOUPS 8536 WITH SCORE 8604.08
AT ITER 3023 NEW BEST:: SOT 89891 SOS 68072 HAS SOPS 41716 HAS SOUS 8868 HAS SOUPS 8529 WITH SCORE 8597.072
AT ITER 3028 NEW BEST:: SOT 89885 SOS 68066 HAS SOPS 41709 HAS SOUS 8861 HAS SOUPS 8522 WITH SCORE 8590.066
AT ITER 3039 NEW BEST:: SOT 89878 SOS 68045 HAS SOPS 41681 HAS SOUS 8840 HAS SOUPS 8501 WITH SCORE 8569.045
AT ITER 3044 NEW BEST:: SOT 89876 SOS 68021 HAS SOPS 41662 HAS SOUS 8828 HAS SOUPS 8489 WITH SCORE 8557.021
AT ITER 3056 NEW BEST:: SOT 89860 SOS 67989 HAS SOPS 41622 HAS SOUS 8796 HAS SOUPS 8457 WITH SCORE 8524.989
AT ITER 3065 NEW BEST:: SOT 89845 SOS 67964 HAS SOPS 41597 HAS SOUS 8786 HAS SOUPS 8447 WITH SCORE 8514.964
AT ITER 3066 NEW BEST:: SOT 89842 SOS 67950 HAS SOPS 41583 HAS SOUS 8770 HAS SOUPS 8431 WITH SCORE 8498.95
AT ITER 3087 NEW BEST:: SOT 89831 SOS 67883 HAS SOPS 41530 HAS SOUS 8742 HAS SOUPS 8403 WITH SCORE 8470.883
AT ITER 3094 NEW BEST:: SOT 89828 SOS 67884 HAS SOPS 41524 HAS SOUS 8737 HAS SOUPS 8398 WITH SCORE 8465.884
AT ITER 3098 NEW BEST:: SOT 89826 SOS 67882 HAS SOPS 41520 HAS SOUS 8725 HAS SOUPS 8386 WITH SCORE 8453.882
AT ITER 3099 NEW BEST:: SOT 89804 SOS 67836 HAS SOPS 41463 HAS SOUS 8679 HAS SOUPS 8340 WITH SCORE 8407.836
AT ITER 3224 NEW BEST:: SOT 89790 SOS 67809 HAS SOPS 41435 HAS SOUS 8662 HAS SOUPS 8323 WITH SCORE 8390.809
AT ITER 3242 NEW BEST:: SOT 89771 SOS 67806 HAS SOPS 41439 HAS SOUS 8662 HAS SOUPS 8323 WITH SCORE 8390.806
AT ITER 3246 NEW BEST:: SOT 89768 SOS 67782 HAS SOPS 41433 HAS SOUS 8656 HAS SOUPS 8317 WITH SCORE 8384.782
AT ITER 3294 NEW BEST:: SOT 89749 SOS 68317 HAS SOPS 41398 HAS SOUS 8644 HAS SOUPS 8297 WITH SCORE 8365.317
AT ITER 3307 NEW BEST:: SOT 89741 SOS 68311 HAS SOPS 41390 HAS SOUS 8636 HAS SOUPS 8289 WITH SCORE 8357.311
AT ITER 3321 NEW BEST:: SOT 89735 SOS 68314 HAS SOPS 41387 HAS SOUS 8633 HAS SOUPS 8286 WITH SCORE 8354.314
AT ITER 3327 NEW BEST:: SOT 89732 SOS 68309 HAS SOPS 41381 HAS SOUS 8629 HAS SOUPS 8282 WITH SCORE 8350.309
AT ITER 3382 NEW BEST:: SOT 89722 SOS 68301 HAS SOPS 41366 HAS SOUS 8614 HAS SOUPS 8267 WITH SCORE 8335.301
AT ITER 3390 NEW BEST:: SOT 89710 SOS 68290 HAS SOPS 41355 HAS SOUS 8610 HAS SOUPS 8263 WITH SCORE 8331.29
AT ITER 3427 NEW BEST:: SOT 89708 SOS 68286 HAS SOPS 41350 HAS SOUS 8606 HAS SOUPS 8259 WITH SCORE 8327.286
AT ITER 3455 NEW BEST:: SOT 89699 SOS 68277 HAS SOPS 41341 HAS SOUS 8597 HAS SOUPS 8250 WITH SCORE 8318.277
AT ITER 3479 NEW BEST:: SOT 89699 SOS 68274 HAS SOPS 41338 HAS SOUS 8597 HAS SOUPS 8250 WITH SCORE 8318.274
AT ITER 3483 NEW BEST:: SOT 89699 SOS 68268 HAS SOPS 41332 HAS SOUS 8591 HAS SOUPS 8244 WITH SCORE 8312.268
AT ITER 3534 NEW BEST:: SOT 89699 SOS 68265 HAS SOPS 41329 HAS SOUS 8585 HAS SOUPS 8238 WITH SCORE 8306.265
AT ITER 3541 NEW BEST:: SOT 89677 SOS 68265 HAS SOPS 41307 HAS SOUS 8563 HAS SOUPS 8216 WITH SCORE 8284.265
AT ITER 3620 NEW BEST:: SOT 89676 SOS 68261 HAS SOPS 41301 HAS SOUS 8557 HAS SOUPS 8210 WITH SCORE 8278.261
AT ITER 3657 NEW BEST:: SOT 89675 SOS 68260 HAS SOPS 41299 HAS SOUS 8555 HAS SOUPS 8208 WITH SCORE 8276.26
AT ITER 3659 NEW BEST:: SOT 89681 SOS 68313 HAS SOPS 41309 HAS SOUS 8540 HAS SOUPS 8193 WITH SCORE 8261.313
AT ITER 3666 NEW BEST:: SOT 89656 SOS 68276 HAS SOPS 41259 HAS SOUS 8523 HAS SOUPS 8176 WITH SCORE 8244.276
AT ITER 3677 NEW BEST:: SOT 89656 SOS 68268 HAS SOPS 41251 HAS SOUS 8515 HAS SOUPS 8168 WITH SCORE 8236.268
AT ITER 3690 NEW BEST:: SOT 89657 SOS 68267 HAS SOPS 41234 HAS SOUS 8499 HAS SOUPS 8151 WITH SCORE 8219.267
AT ITER 3691 NEW BEST:: SOT 89657 SOS 68285 HAS SOPS 41234 HAS SOUS 8483 HAS SOUPS 8135 WITH SCORE 8203.285
AT ITER 3723 NEW BEST:: SOT 89656 SOS 68284 HAS SOPS 41232 HAS SOUS 8481 HAS SOUPS 8133 WITH SCORE 8201.284
AT ITER 3731 NEW BEST:: SOT 89655 SOS 68281 HAS SOPS 41230 HAS SOUS 8479 HAS SOUPS 8131 WITH SCORE 8199.281
AT ITER 3736 NEW BEST:: SOT 89655 SOS 68284 HAS SOPS 41230 HAS SOUS 8476 HAS SOUPS 8128 WITH SCORE 8196.284
AT ITER 3786 NEW BEST:: SOT 89612 SOS 68238 HAS SOPS 41188 HAS SOUS 8471 HAS SOUPS 8123 WITH SCORE 8191.238
AT ITER 3847 NEW BEST:: SOT 89608 SOS 68235 HAS SOPS 41183 HAS SOUS 8466 HAS SOUPS 8118 WITH SCORE 8186.235
AT ITER 3848 NEW BEST:: SOT 89582 SOS 68213 HAS SOPS 41154 HAS SOUS 8440 HAS SOUPS 8092 WITH SCORE 8160.213
AT ITER 3871 NEW BEST:: SOT 89592 SOS 68687 HAS SOPS 40641 HAS SOUS 8442 HAS SOUPS 8081 WITH SCORE 8149.687
AT ITER 3873 NEW BEST:: SOT 89584 SOS 68693 HAS SOPS 40639 HAS SOUS 8440 HAS SOUPS 8079 WITH SCORE 8147.693
AT ITER 3899 NEW BEST:: SOT 89582 SOS 68691 HAS SOPS 40635 HAS SOUS 8436 HAS SOUPS 8075 WITH SCORE 8143.691
AT ITER 3900 NEW BEST:: SOT 89581 SOS 68688 HAS SOPS 40601 HAS SOUS 8420 HAS SOUPS 8059 WITH SCORE 8127.688
AT ITER 3913 NEW BEST:: SOT 89581 SOS 68683 HAS SOPS 40596 HAS SOUS 8420 HAS SOUPS 8059 WITH SCORE 8127.683
AT ITER 3917 NEW BEST:: SOT 89575 SOS 68670 HAS SOPS 40576 HAS SOUS 8398 HAS SOUPS 8037 WITH SCORE 8105.67
AT ITER 3922 NEW BEST:: SOT 89552 SOS 68625 HAS SOPS 40530 HAS SOUS 8363 HAS SOUPS 8002 WITH SCORE 8070.625
AT ITER 4023 NEW BEST:: SOT 89551 SOS 68624 HAS SOPS 40529 HAS SOUS 8362 HAS SOUPS 8001 WITH SCORE 8069.624
AT ITER 4068 NEW BEST:: SOT 89549 SOS 68622 HAS SOPS 40525 HAS SOUS 8358 HAS SOUPS 7997 WITH SCORE 8065.622
AT ITER 4113 NEW BEST:: SOT 89546 SOS 68593 HAS SOPS 40506 HAS SOUS 8352 HAS SOUPS 7991 WITH SCORE 8059.593
AT ITER 4144 NEW BEST:: SOT 89537 SOS 68584 HAS SOPS 40488 HAS SOUS 8334 HAS SOUPS 7973 WITH SCORE 8041.584
AT ITER 4199 NEW BEST:: SOT 89533 SOS 68578 HAS SOPS 40480 HAS SOUS 8328 HAS SOUPS 7967 WITH SCORE 8035.578
AT ITER 4207 NEW BEST:: SOT 89533 SOS 68578 HAS SOPS 40480 HAS SOUS 8322 HAS SOUPS 7961 WITH SCORE 8029.578
AT ITER 4268 NEW BEST:: SOT 89529 SOS 68568 HAS SOPS 40466 HAS SOUS 8308 HAS SOUPS 7947 WITH SCORE 8015.568
AT ITER 4341 NEW BEST:: SOT 89507 SOS 68546 HAS SOPS 40446 HAS SOUS 8300 HAS SOUPS 7939 WITH SCORE 8007.546
AT ITER 4404 NEW BEST:: SOT 89506 SOS 68545 HAS SOPS 40444 HAS SOUS 8298 HAS SOUPS 7937 WITH SCORE 8005.545
AT ITER 4406 NEW BEST:: SOT 89493 SOS 68524 HAS SOPS 40418 HAS SOUS 8279 HAS SOUPS 7918 WITH SCORE 7986.524
AT ITER 4415 NEW BEST:: SOT 89487 SOS 68515 HAS SOPS 40406 HAS SOUS 8270 HAS SOUPS 7909 WITH SCORE 7977.515
AT ITER 4435 NEW BEST:: SOT 89483 SOS 68509 HAS SOPS 40398 HAS SOUS 8266 HAS SOUPS 7905 WITH SCORE 7973.509
AT ITER 4478 NEW BEST:: SOT 89479 SOS 68501 HAS SOPS 40390 HAS SOUS 8258 HAS SOUPS 7897 WITH SCORE 7965.501
AT ITER 4510 NEW BEST:: SOT 89475 SOS 68504 HAS SOPS 40389 HAS SOUS 8257 HAS SOUPS 7896 WITH SCORE 7964.504
AT ITER 4520 NEW BEST:: SOT 89368 SOS 68398 HAS SOPS 40287 HAS SOUS 8234 HAS SOUPS 7873 WITH SCORE 7941.398
AT ITER 4533 NEW BEST:: SOT 89356 SOS 68386 HAS SOPS 40275 HAS SOUS 8222 HAS SOUPS 7861 WITH SCORE 7929.386
AT ITER 4634 NEW BEST:: SOT 89348 SOS 68378 HAS SOPS 40267 HAS SOUS 8214 HAS SOUPS 7853 WITH SCORE 7921.378
AT ITER 4701 NEW BEST:: SOT 89324 SOS 68387 HAS SOPS 40249 HAS SOUS 8205 HAS SOUPS 7844 WITH SCORE 7912.387
AT ITER 4706 NEW BEST:: SOT 89304 SOS 68367 HAS SOPS 40209 HAS SOUS 8165 HAS SOUPS 7804 WITH SCORE 7872.367
AT ITER 4717 NEW BEST:: SOT 89303 SOS 68365 HAS SOPS 40206 HAS SOUS 8162 HAS SOUPS 7801 WITH SCORE 7869.365
AT ITER 4720 NEW BEST:: SOT 89295 SOS 68309 HAS SOPS 40163 HAS SOUS 8136 HAS SOUPS 7775 WITH SCORE 7843.309
AT ITER 4731 NEW BEST:: SOT 89299 SOS 68310 HAS SOPS 40164 HAS SOUS 8133 HAS SOUPS 7772 WITH SCORE 7840.31
AT ITER 4736 NEW BEST:: SOT 89318 SOS 68304 HAS SOPS 40158 HAS SOUS 8111 HAS SOUPS 7750 WITH SCORE 7818.304
AT ITER 4766 NEW BEST:: SOT 89316 SOS 68302 HAS SOPS 40154 HAS SOUS 8107 HAS SOUPS 7746 WITH SCORE 7814.302
AT ITER 4768 NEW BEST:: SOT 89293 SOS 68257 HAS SOPS 40108 HAS SOUS 8058 HAS SOUPS 7697 WITH SCORE 7765.257
AT ITER 4791 NEW BEST:: SOT 89273 SOS 68237 HAS SOPS 40068 HAS SOUS 8018 HAS SOUPS 7657 WITH SCORE 7725.237
AT ITER 4802 NEW BEST:: SOT 89270 SOS 68234 HAS SOPS 40062 HAS SOUS 8012 HAS SOUPS 7651 WITH SCORE 7719.234
AT ITER 4819 NEW BEST:: SOT 89233 SOS 68196 HAS SOPS 40046 HAS SOUS 8008 HAS SOUPS 7647 WITH SCORE 7715.196
AT ITER 4889 NEW BEST:: SOT 89234 SOS 68195 HAS SOPS 40046 HAS SOUS 8007 HAS SOUPS 7647 WITH SCORE 7715.195
AT ITER 4903 NEW BEST:: SOT 89217 SOS 68161 HAS SOPS 39999 HAS SOUS 7957 HAS SOUPS 7597 WITH SCORE 7665.161
AT ITER 4909 NEW BEST:: SOT 89217 SOS 68161 HAS SOPS 39999 HAS SOUS 7948 HAS SOUPS 7588 WITH SCORE 7656.161
AT ITER 4919 NEW BEST:: SOT 89216 SOS 68160 HAS SOPS 39998 HAS SOUS 7947 HAS SOUPS 7587 WITH SCORE 7655.16
AT ITER 4947 NEW BEST:: SOT 89213 SOS 68147 HAS SOPS 39992 HAS SOUS 7941 HAS SOUPS 7581 WITH SCORE 7649.147
AT ITER 4986 NEW BEST:: SOT 89195 SOS 68136 HAS SOPS 39965 HAS SOUS 7914 HAS SOUPS 7554 WITH SCORE 7622.136
AT ITER 4987 NEW BEST:: SOT 89195 SOS 68132 HAS SOPS 39961 HAS SOUS 7910 HAS SOUPS 7550 WITH SCORE 7618.132
AT ITER 4988 NEW BEST:: SOT 89193 SOS 68128 HAS SOPS 39957 HAS SOUS 7906 HAS SOUPS 7546 WITH SCORE 7614.128
AT ITER 4990 NEW BEST:: SOT 89187 SOS 68122 HAS SOPS 39945 HAS SOUS 7894 HAS SOUPS 7534 WITH SCORE 7602.122
AT ITER 4996 NEW BEST:: SOT 89191 SOS 68105 HAS SOPS 39932 HAS SOUS 7885 HAS SOUPS 7525 WITH SCORE 7593.105
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-00 (EU( ( (! potential( ( 3 ) <= (tk(P18)) )) & potential( (tk(P119)) <= (tk(P59)) ) ),potential( ( 2 ) <= (tk(P73)) ) ))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-01 (AG( (AU( potential( ( 2 ) <= (tk(P86)) ),potential( (tk(P188)) <= (tk(P62)) ) ))))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-02 (EU( ( ( potential( (tk(P85)) <= (tk(P181)) ) & potential( (tk(P2)) <= (tk(P82)) ) ) | ( potential( ( 2 ) <= (tk(P100)) ) & potential( ( 2 ) <= (tk(P18)) ) ) ),( potential( (tk(P71)) <= (tk(P68)) ) & potential( ( 2 ) <= (tk(P22)) ) ) ))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-03 (EF((AF(( potential( ( 1 ) <= (tk(P135)) ) & potential( ( 1 ) <= (tk(P28)) ) )))))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-04 ( (EU( ( potential( ( 1 ) <= (tk(P23)) ) & potential( (tk(P104)) <= (tk(P44)) ) ),( potential( (tk(P96)) <= (tk(P94)) ) | potential( (tk(P108)) <= (tk(P30)) ) ) )) & (EU( ( potential( (tk(P83)) <= (tk(P80)) ) | potential( (tk(P106)) <= (tk(P191)) ) ),( potential( (tk(P52)) <= (tk(P107)) ) & potential( ( 1 ) <= (tk(P62)) ) ) )) )
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-05 (EF(potential( ( 3 ) <= (tk(P98)) )))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-06 (EU( (! potential( (tk(P11)) <= (tk(P125)) )),(AG( potential( (tk(P92)) <= (tk(P194)) ))) ))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-07 (AX( (AG( (! potential( ( 2 ) <= (tk(P160)) ))))))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-08 ( (EF((EF(potential( ( 2 ) <= (tk(P181)) ))))) & potential( (tk(P52)) <= (tk(P134)) ) )
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-09 (! (EF(( (! potential( ( 3 ) <= (tk(P105)) )) & ( potential( ( 3 ) <= (tk(P72)) ) | potential( ( 3 ) <= (tk(P120)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-10 (EU( (EF(potential( (tk(P127)) <= (tk(P89)) ))),(AG( potential( (tk(P59)) <= (tk(P67)) ))) ))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-11 ( (EF(( (! potential( ( 3 ) <= (tk(P84)) )) & ( potential( ( 3 ) <= (tk(P173)) ) & potential( (tk(P23)) <= (tk(P115)) ) ) ))) & (EU( ( potential( ( 1 ) <= (tk(P22)) ) & potential( ( 3 ) <= (tk(P155)) ) ),(! potential( ( 1 ) <= (tk(P17)) )) )) )
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-12 (AG( (! (EF(potential( ( 1 ) <= (tk(P29)) ))))))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-13 (! ( (AG( (! potential( ( 3 ) <= (tk(P185)) )))) | (EG( potential( ( 1 ) <= (tk(P37)) ))) ))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-14 (EU( (! ( potential( ( 1 ) <= (tk(P58)) ) | potential( ( 2 ) <= (tk(P78)) ) )),potential( ( 2 ) <= (tk(P61)) ) ))
PROPERTY: FlexibleBarrier-PT-16a-CTLCardinality-15 (EX( (EU( potential( (tk(P80)) <= (tk(P157)) ),potential( ( 1 ) <= (tk(P161)) ) ))))
FORMULA FlexibleBarrier-PT-16a-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="FlexibleBarrier-PT-16a"
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 FlexibleBarrier-PT-16a, 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 r078-smll-158922972500355"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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