Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r227-tall-167856410500448.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is LamportFastMutEx-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 24K Feb 25 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 163K Feb 25 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 43K Feb 25 13:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 228K Feb 25 13:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 101K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 25 13:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 25 13:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 64K Feb 25 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 321K Feb 25 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 329K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678613472956

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LamportFastMutEx-PT-8
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 315 places, 666 transitions, 2934 arcs.
AT ITER 0 NEW BEST:: SOT 89207 SOS 57202 HAS SOPS 51770 HAS SOUS 43779 HAS SOUPS 41144 WITH SCORE 41201.202
AT ITER 5 NEW BEST:: SOT 89207 SOS 57166 HAS SOPS 51734 HAS SOUS 43743 HAS SOUPS 41108 WITH SCORE 41165.166
AT ITER 6 NEW BEST:: SOT 89320 SOS 57336 HAS SOPS 51904 HAS SOUS 43429 HAS SOUPS 40794 WITH SCORE 40851.336
AT ITER 17 NEW BEST:: SOT 89304 SOS 57320 HAS SOPS 51888 HAS SOUS 43377 HAS SOUPS 40742 WITH SCORE 40799.32
AT ITER 21 NEW BEST:: SOT 89304 SOS 57301 HAS SOPS 51869 HAS SOUS 43358 HAS SOUPS 40723 WITH SCORE 40780.301
AT ITER 23 NEW BEST:: SOT 89473 SOS 57621 HAS SOPS 50668 HAS SOUS 42325 HAS SOUPS 39522 WITH SCORE 39579.621
AT ITER 30 NEW BEST:: SOT 89513 SOS 57657 HAS SOPS 50474 HAS SOUS 42246 HAS SOUPS 39443 WITH SCORE 39500.657
AT ITER 37 NEW BEST:: SOT 89513 SOS 57640 HAS SOPS 50457 HAS SOUS 42229 HAS SOUPS 39426 WITH SCORE 39483.64
AT ITER 39 NEW BEST:: SOT 89195 SOS 57394 HAS SOPS 50211 HAS SOUS 41947 HAS SOUPS 39144 WITH SCORE 39201.394
AT ITER 40 NEW BEST:: SOT 89027 SOS 57250 HAS SOPS 50043 HAS SOUS 41803 HAS SOUPS 38976 WITH SCORE 39033.25
AT ITER 42 NEW BEST:: SOT 87837 SOS 56264 HAS SOPS 49057 HAS SOUS 40683 HAS SOUPS 37856 WITH SCORE 37912.264
AT ITER 43 NEW BEST:: SOT 87313 SOS 55876 HAS SOPS 48669 HAS SOUS 40227 HAS SOUPS 37400 WITH SCORE 37455.876
AT ITER 53 NEW BEST:: SOT 87309 SOS 55867 HAS SOPS 48660 HAS SOUS 40218 HAS SOUPS 37391 WITH SCORE 37446.867
AT ITER 55 NEW BEST:: SOT 87309 SOS 55835 HAS SOPS 48628 HAS SOUS 40186 HAS SOUPS 37359 WITH SCORE 37414.835
AT ITER 57 NEW BEST:: SOT 87309 SOS 55777 HAS SOPS 48570 HAS SOUS 40128 HAS SOUPS 37301 WITH SCORE 37356.777
AT ITER 65 NEW BEST:: SOT 87309 SOS 55745 HAS SOPS 48538 HAS SOUS 40096 HAS SOUPS 37269 WITH SCORE 37324.745
AT ITER 67 NEW BEST:: SOT 87309 SOS 55717 HAS SOPS 48510 HAS SOUS 40068 HAS SOUPS 37241 WITH SCORE 37296.717
AT ITER 71 NEW BEST:: SOT 87309 SOS 55637 HAS SOPS 48430 HAS SOUS 40052 HAS SOUPS 37225 WITH SCORE 37280.637
AT ITER 77 NEW BEST:: SOT 87201 SOS 55565 HAS SOPS 48322 HAS SOUS 39980 HAS SOUPS 37117 WITH SCORE 37172.565
AT ITER 81 NEW BEST:: SOT 87162 SOS 56078 HAS SOPS 48283 HAS SOUS 40085 HAS SOUPS 37078 WITH SCORE 37134.078
AT ITER 82 NEW BEST:: SOT 87160 SOS 56072 HAS SOPS 48263 HAS SOUS 40067 HAS SOUPS 37060 WITH SCORE 37116.072
AT ITER 98 NEW BEST:: SOT 86990 SOS 55871 HAS SOPS 47987 HAS SOUS 39595 HAS SOUPS 36588 WITH SCORE 36643.871
AT ITER 115 NEW BEST:: SOT 86990 SOS 55852 HAS SOPS 47968 HAS SOUS 39576 HAS SOUPS 36569 WITH SCORE 36624.852
AT ITER 125 NEW BEST:: SOT 86990 SOS 55843 HAS SOPS 47959 HAS SOUS 39567 HAS SOUPS 36560 WITH SCORE 36615.843
AT ITER 132 NEW BEST:: SOT 86592 SOS 55696 HAS SOPS 47497 HAS SOUS 39649 HAS SOUPS 36478 WITH SCORE 36533.696
AT ITER 142 NEW BEST:: SOT 86544 SOS 55584 HAS SOPS 47385 HAS SOUS 39537 HAS SOUPS 36366 WITH SCORE 36421.584
AT ITER 143 NEW BEST:: SOT 85872 SOS 55055 HAS SOPS 46856 HAS SOUS 38924 HAS SOUPS 35753 WITH SCORE 35808.055
AT ITER 144 NEW BEST:: SOT 85872 SOS 55022 HAS SOPS 46856 HAS SOUS 38924 HAS SOUPS 35753 WITH SCORE 35808.022
AT ITER 155 NEW BEST:: SOT 86201 SOS 55523 HAS SOPS 47390 HAS SOUS 38711 HAS SOUPS 35573 WITH SCORE 35628.523
AT ITER 156 NEW BEST:: SOT 86065 SOS 55417 HAS SOPS 47254 HAS SOUS 38605 HAS SOUPS 35437 WITH SCORE 35492.417
AT ITER 157 NEW BEST:: SOT 86014 SOS 55391 HAS SOPS 47233 HAS SOUS 38514 HAS SOUPS 35351 WITH SCORE 35406.391
AT ITER 159 NEW BEST:: SOT 86014 SOS 55366 HAS SOPS 47208 HAS SOUS 38489 HAS SOUPS 35326 WITH SCORE 35381.366
AT ITER 164 NEW BEST:: SOT 86014 SOS 55364 HAS SOPS 47208 HAS SOUS 38489 HAS SOUPS 35326 WITH SCORE 35381.364
AT ITER 165 NEW BEST:: SOT 85668 SOS 55047 HAS SOPS 46813 HAS SOUS 38143 HAS SOUPS 34931 WITH SCORE 34986.047
AT ITER 166 NEW BEST:: SOT 85798 SOS 55268 HAS SOPS 47034 HAS SOUS 37844 HAS SOUPS 34632 WITH SCORE 34687.268
AT ITER 179 NEW BEST:: SOT 85714 SOS 55120 HAS SOPS 46886 HAS SOUS 37696 HAS SOUPS 34484 WITH SCORE 34539.12
AT ITER 183 NEW BEST:: SOT 85456 SOS 55155 HAS SOPS 46567 HAS SOUS 37537 HAS SOUPS 34165 WITH SCORE 34220.155
AT ITER 187 NEW BEST:: SOT 85452 SOS 55223 HAS SOPS 46641 HAS SOUS 37520 HAS SOUPS 34154 WITH SCORE 34209.223
AT ITER 188 NEW BEST:: SOT 85225 SOS 54959 HAS SOPS 46309 HAS SOUS 37023 HAS SOUPS 33651 WITH SCORE 33705.959
AT ITER 204 NEW BEST:: SOT 85225 SOS 54592 HAS SOPS 45942 HAS SOUS 37007 HAS SOUPS 33635 WITH SCORE 33689.592
AT ITER 208 NEW BEST:: SOT 85073 SOS 54478 HAS SOPS 45726 HAS SOUS 36888 HAS SOUPS 33419 WITH SCORE 33473.478
AT ITER 210 NEW BEST:: SOT 84985 SOS 54430 HAS SOPS 45598 HAS SOUS 36800 HAS SOUPS 33291 WITH SCORE 33345.43
AT ITER 213 NEW BEST:: SOT 84985 SOS 54418 HAS SOPS 45586 HAS SOUS 36788 HAS SOUPS 33279 WITH SCORE 33333.418
AT ITER 221 NEW BEST:: SOT 84857 SOS 54304 HAS SOPS 45328 HAS SOUS 36523 HAS SOUPS 33014 WITH SCORE 33068.304
AT ITER 230 NEW BEST:: SOT 84917 SOS 54393 HAS SOPS 45456 HAS SOUS 36379 HAS SOUPS 32870 WITH SCORE 32924.393
AT ITER 231 NEW BEST:: SOT 85025 SOS 54573 HAS SOPS 45334 HAS SOUS 36481 HAS SOUPS 32707 WITH SCORE 32761.573
AT ITER 232 NEW BEST:: SOT 85029 SOS 54532 HAS SOPS 45289 HAS SOUS 36436 HAS SOUPS 32662 WITH SCORE 32716.532
AT ITER 242 NEW BEST:: SOT 85029 SOS 54494 HAS SOPS 45251 HAS SOUS 36398 HAS SOUPS 32624 WITH SCORE 32678.494
AT ITER 250 NEW BEST:: SOT 84903 SOS 54770 HAS SOPS 45125 HAS SOUS 36441 HAS SOUPS 32498 WITH SCORE 32552.77
AT ITER 251 NEW BEST:: SOT 84903 SOS 54770 HAS SOPS 45124 HAS SOUS 36440 HAS SOUPS 32497 WITH SCORE 32551.77
AT ITER 271 NEW BEST:: SOT 84903 SOS 54740 HAS SOPS 45094 HAS SOUS 36410 HAS SOUPS 32467 WITH SCORE 32521.74
AT ITER 276 NEW BEST:: SOT 84903 SOS 54740 HAS SOPS 45030 HAS SOUS 36346 HAS SOUPS 32403 WITH SCORE 32457.74
AT ITER 278 NEW BEST:: SOT 84834 SOS 54671 HAS SOPS 45015 HAS SOUS 36331 HAS SOUPS 32388 WITH SCORE 32442.671
AT ITER 283 NEW BEST:: SOT 84877 SOS 54714 HAS SOPS 45012 HAS SOUS 36328 HAS SOUPS 32385 WITH SCORE 32439.714
AT ITER 286 NEW BEST:: SOT 84305 SOS 54222 HAS SOPS 44376 HAS SOUS 35986 HAS SOUPS 31949 WITH SCORE 32003.222
AT ITER 291 NEW BEST:: SOT 84292 SOS 54209 HAS SOPS 44369 HAS SOUS 35979 HAS SOUPS 31942 WITH SCORE 31996.209
AT ITER 302 NEW BEST:: SOT 84309 SOS 54236 HAS SOPS 44332 HAS SOUS 35966 HAS SOUPS 31905 WITH SCORE 31959.236
AT ITER 303 NEW BEST:: SOT 84299 SOS 55073 HAS SOPS 44344 HAS SOUS 35637 HAS SOUPS 31309 WITH SCORE 31364.073
AT ITER 304 NEW BEST:: SOT 84292 SOS 55069 HAS SOPS 44337 HAS SOUS 35633 HAS SOUPS 31302 WITH SCORE 31357.069
AT ITER 305 NEW BEST:: SOT 83174 SOS 54318 HAS SOPS 43219 HAS SOUS 34925 HAS SOUPS 30196 WITH SCORE 30250.318
AT ITER 316 NEW BEST:: SOT 83174 SOS 54318 HAS SOPS 43187 HAS SOUS 34893 HAS SOUPS 30164 WITH SCORE 30218.318
AT ITER 319 NEW BEST:: SOT 83258 SOS 54463 HAS SOPS 43419 HAS SOUS 34613 HAS SOUPS 29884 WITH SCORE 29938.463
AT ITER 328 NEW BEST:: SOT 83154 SOS 54394 HAS SOPS 43315 HAS SOUS 34544 HAS SOUPS 29780 WITH SCORE 29834.394
AT ITER 347 NEW BEST:: SOT 83151 SOS 54391 HAS SOPS 43304 HAS SOUS 34549 HAS SOUPS 29769 WITH SCORE 29823.391
AT ITER 363 NEW BEST:: SOT 82818 SOS 54093 HAS SOPS 42971 HAS SOUS 34251 HAS SOUPS 29436 WITH SCORE 29490.093
AT ITER 364 NEW BEST:: SOT 82832 SOS 54106 HAS SOPS 42970 HAS SOUS 34226 HAS SOUPS 29435 WITH SCORE 29489.106
AT ITER 374 NEW BEST:: SOT 82584 SOS 53858 HAS SOPS 42658 HAS SOUS 34142 HAS SOUPS 29287 WITH SCORE 29340.858
AT ITER 379 NEW BEST:: SOT 82594 SOS 53885 HAS SOPS 42640 HAS SOUS 34125 HAS SOUPS 29269 WITH SCORE 29322.885
AT ITER 382 NEW BEST:: SOT 82655 SOS 53569 HAS SOPS 41942 HAS SOUS 33828 HAS SOUPS 28972 WITH SCORE 29025.569
AT ITER 400 NEW BEST:: SOT 82401 SOS 53297 HAS SOPS 41587 HAS SOUS 33482 HAS SOUPS 28626 WITH SCORE 28679.297
AT ITER 402 NEW BEST:: SOT 82353 SOS 53249 HAS SOPS 41539 HAS SOUS 33434 HAS SOUPS 28578 WITH SCORE 28631.249
AT ITER 403 NEW BEST:: SOT 82325 SOS 53221 HAS SOPS 41464 HAS SOUS 33406 HAS SOUPS 28503 WITH SCORE 28556.221
AT ITER 419 NEW BEST:: SOT 82246 SOS 53142 HAS SOPS 41362 HAS SOUS 33363 HAS SOUPS 28437 WITH SCORE 28490.142
AT ITER 421 NEW BEST:: SOT 82229 SOS 53064 HAS SOPS 41328 HAS SOUS 33292 HAS SOUPS 28403 WITH SCORE 28456.064
AT ITER 429 NEW BEST:: SOT 82229 SOS 53064 HAS SOPS 41323 HAS SOUS 33292 HAS SOUPS 28398 WITH SCORE 28451.064
AT ITER 432 NEW BEST:: SOT 82227 SOS 53062 HAS SOPS 41319 HAS SOUS 33288 HAS SOUPS 28394 WITH SCORE 28447.062
AT ITER 433 NEW BEST:: SOT 81871 SOS 52778 HAS SOPS 40920 HAS SOUS 33125 HAS SOUPS 28107 WITH SCORE 28159.778
AT ITER 437 NEW BEST:: SOT 81871 SOS 52750 HAS SOPS 40892 HAS SOUS 33125 HAS SOUPS 28107 WITH SCORE 28159.75
AT ITER 440 NEW BEST:: SOT 81748 SOS 52627 HAS SOPS 40753 HAS SOUS 32906 HAS SOUPS 27888 WITH SCORE 27940.627
AT ITER 441 NEW BEST:: SOT 81758 SOS 52616 HAS SOPS 40768 HAS SOUS 32887 HAS SOUPS 27883 WITH SCORE 27935.616
AT ITER 445 NEW BEST:: SOT 81644 SOS 52444 HAS SOPS 40638 HAS SOUS 32414 HAS SOUPS 27431 WITH SCORE 27483.444
AT ITER 458 NEW BEST:: SOT 81477 SOS 52277 HAS SOPS 40463 HAS SOUS 32247 HAS SOUPS 27256 WITH SCORE 27308.277
AT ITER 460 NEW BEST:: SOT 81477 SOS 52286 HAS SOPS 40448 HAS SOUS 32232 HAS SOUPS 27241 WITH SCORE 27293.286
AT ITER 462 NEW BEST:: SOT 81477 SOS 52638 HAS SOPS 40425 HAS SOUS 32355 HAS SOUPS 27218 WITH SCORE 27270.638
AT ITER 470 NEW BEST:: SOT 81477 SOS 52590 HAS SOPS 40425 HAS SOUS 32349 HAS SOUPS 27218 WITH SCORE 27270.59
AT ITER 476 NEW BEST:: SOT 81477 SOS 52590 HAS SOPS 40416 HAS SOUS 32349 HAS SOUPS 27209 WITH SCORE 27261.59
AT ITER 484 NEW BEST:: SOT 81410 SOS 52855 HAS SOPS 40277 HAS SOUS 32411 HAS SOUPS 27070 WITH SCORE 27122.855
AT ITER 489 NEW BEST:: SOT 81617 SOS 53062 HAS SOPS 40174 HAS SOUS 32322 HAS SOUPS 26967 WITH SCORE 27020.062
AT ITER 490 NEW BEST:: SOT 81559 SOS 53004 HAS SOPS 40072 HAS SOUS 32264 HAS SOUPS 26865 WITH SCORE 26918.004
AT ITER 491 NEW BEST:: SOT 81529 SOS 52968 HAS SOPS 40033 HAS SOUS 32228 HAS SOUPS 26829 WITH SCORE 26881.968
AT ITER 494 NEW BEST:: SOT 81483 SOS 52922 HAS SOPS 39987 HAS SOUS 32182 HAS SOUPS 26783 WITH SCORE 26835.922
AT ITER 501 NEW BEST:: SOT 81640 SOS 53070 HAS SOPS 40170 HAS SOUS 32016 HAS SOUPS 26652 WITH SCORE 26705.07
AT ITER 510 NEW BEST:: SOT 81556 SOS 52986 HAS SOPS 40086 HAS SOUS 31842 HAS SOUPS 26508 WITH SCORE 26560.986
AT ITER 521 NEW BEST:: SOT 81472 SOS 52908 HAS SOPS 39980 HAS SOUS 31736 HAS SOUPS 26402 WITH SCORE 26454.908
AT ITER 523 NEW BEST:: SOT 81472 SOS 52908 HAS SOPS 39970 HAS SOUS 31726 HAS SOUPS 26392 WITH SCORE 26444.908
AT ITER 529 NEW BEST:: SOT 81202 SOS 52638 HAS SOPS 39700 HAS SOUS 31416 HAS SOUPS 26082 WITH SCORE 26134.638
AT ITER 532 NEW BEST:: SOT 81204 SOS 52640 HAS SOPS 39696 HAS SOUS 31418 HAS SOUPS 26078 WITH SCORE 26130.64
AT ITER 543 NEW BEST:: SOT 81172 SOS 52579 HAS SOPS 39620 HAS SOUS 31367 HAS SOUPS 26002 WITH SCORE 26054.579
AT ITER 569 NEW BEST:: SOT 80973 SOS 52403 HAS SOPS 39245 HAS SOUS 30992 HAS SOUPS 25627 WITH SCORE 25679.403
AT ITER 577 NEW BEST:: SOT 80973 SOS 52353 HAS SOPS 39195 HAS SOUS 30982 HAS SOUPS 25617 WITH SCORE 25669.353
AT ITER 579 NEW BEST:: SOT 80994 SOS 52395 HAS SOPS 39216 HAS SOUS 30960 HAS SOUPS 25610 WITH SCORE 25662.395
AT ITER 588 NEW BEST:: SOT 81001 SOS 52389 HAS SOPS 39201 HAS SOUS 30945 HAS SOUPS 25595 WITH SCORE 25647.389
AT ITER 596 NEW BEST:: SOT 80764 SOS 52131 HAS SOPS 38901 HAS SOUS 30771 HAS SOUPS 25364 WITH SCORE 25416.131
AT ITER 598 NEW BEST:: SOT 80760 SOS 52127 HAS SOPS 38833 HAS SOUS 30743 HAS SOUPS 25296 WITH SCORE 25348.127
AT ITER 600 NEW BEST:: SOT 80760 SOS 52131 HAS SOPS 38837 HAS SOUS 30739 HAS SOUPS 25292 WITH SCORE 25344.131
AT ITER 601 NEW BEST:: SOT 80755 SOS 52126 HAS SOPS 38827 HAS SOUS 30725 HAS SOUPS 25282 WITH SCORE 25334.126
AT ITER 602 NEW BEST:: SOT 80755 SOS 52047 HAS SOPS 38827 HAS SOUS 30705 HAS SOUPS 25282 WITH SCORE 25334.047
AT ITER 613 NEW BEST:: SOT 80751 SOS 52043 HAS SOPS 38822 HAS SOUS 30700 HAS SOUPS 25277 WITH SCORE 25329.043
AT ITER 614 NEW BEST:: SOT 80751 SOS 52041 HAS SOPS 38822 HAS SOUS 30700 HAS SOUPS 25277 WITH SCORE 25329.041
AT ITER 620 NEW BEST:: SOT 80732 SOS 52022 HAS SOPS 38803 HAS SOUS 30681 HAS SOUPS 25258 WITH SCORE 25310.022
AT ITER 628 NEW BEST:: SOT 80636 SOS 51926 HAS SOPS 38675 HAS SOUS 30585 HAS SOUPS 25130 WITH SCORE 25181.926
AT ITER 632 NEW BEST:: SOT 80613 SOS 51903 HAS SOPS 38629 HAS SOUS 30539 HAS SOUPS 25084 WITH SCORE 25135.903
AT ITER 643 NEW BEST:: SOT 80607 SOS 51897 HAS SOPS 38623 HAS SOUS 30533 HAS SOUPS 25078 WITH SCORE 25129.897
AT ITER 646 NEW BEST:: SOT 80602 SOS 51892 HAS SOPS 38613 HAS SOUS 30492 HAS SOUPS 25068 WITH SCORE 25119.892
AT ITER 653 NEW BEST:: SOT 80658 SOS 51515 HAS SOPS 37990 HAS SOUS 30316 HAS SOUPS 24878 WITH SCORE 24929.515
AT ITER 660 NEW BEST:: SOT 80739 SOS 51630 HAS SOPS 38158 HAS SOUS 30130 HAS SOUPS 24694 WITH SCORE 24745.63
AT ITER 672 NEW BEST:: SOT 80718 SOS 51071 HAS SOPS 37463 HAS SOUS 29925 HAS SOUPS 24489 WITH SCORE 24540.071
AT ITER 677 NEW BEST:: SOT 80718 SOS 51071 HAS SOPS 37463 HAS SOUS 29919 HAS SOUPS 24483 WITH SCORE 24534.071
AT ITER 699 NEW BEST:: SOT 80718 SOS 50936 HAS SOPS 37328 HAS SOUS 29912 HAS SOUPS 24476 WITH SCORE 24526.936
AT ITER 701 NEW BEST:: SOT 80712 SOS 50930 HAS SOPS 37316 HAS SOUS 29906 HAS SOUPS 24464 WITH SCORE 24514.93
AT ITER 705 NEW BEST:: SOT 80656 SOS 50874 HAS SOPS 37260 HAS SOUS 29850 HAS SOUPS 24408 WITH SCORE 24458.874
AT ITER 711 NEW BEST:: SOT 80655 SOS 50868 HAS SOPS 37246 HAS SOUS 29835 HAS SOUPS 24393 WITH SCORE 24443.868
AT ITER 714 NEW BEST:: SOT 80655 SOS 50822 HAS SOPS 37200 HAS SOUS 29835 HAS SOUPS 24393 WITH SCORE 24443.822
AT ITER 721 NEW BEST:: SOT 80515 SOS 50706 HAS SOPS 37060 HAS SOUS 29876 HAS SOUPS 24305 WITH SCORE 24355.706
AT ITER 724 NEW BEST:: SOT 80522 SOS 50669 HAS SOPS 37012 HAS SOUS 29828 HAS SOUPS 24257 WITH SCORE 24307.669
AT ITER 736 NEW BEST:: SOT 80522 SOS 50643 HAS SOPS 36990 HAS SOUS 29791 HAS SOUPS 24235 WITH SCORE 24285.643
AT ITER 755 NEW BEST:: SOT 80496 SOS 50617 HAS SOPS 36938 HAS SOUS 29739 HAS SOUPS 24183 WITH SCORE 24233.617
AT ITER 763 NEW BEST:: SOT 80496 SOS 50617 HAS SOPS 36935 HAS SOUS 29739 HAS SOUPS 24180 WITH SCORE 24230.617
AT ITER 783 NEW BEST:: SOT 80820 SOS 51083 HAS SOPS 37267 HAS SOUS 29690 HAS SOUPS 24131 WITH SCORE 24182.083
AT ITER 791 NEW BEST:: SOT 80788 SOS 51051 HAS SOPS 37199 HAS SOUS 29658 HAS SOUPS 24063 WITH SCORE 24114.051
AT ITER 806 NEW BEST:: SOT 80705 SOS 51048 HAS SOPS 37067 HAS SOUS 29772 HAS SOUPS 23931 WITH SCORE 23982.048
AT ITER 812 NEW BEST:: SOT 80824 SOS 51149 HAS SOPS 36951 HAS SOUS 29665 HAS SOUPS 23824 WITH SCORE 23875.149
AT ITER 816 NEW BEST:: SOT 80823 SOS 51148 HAS SOPS 36948 HAS SOUS 29662 HAS SOUPS 23821 WITH SCORE 23872.148
AT ITER 820 NEW BEST:: SOT 80821 SOS 51146 HAS SOPS 36924 HAS SOUS 29660 HAS SOUPS 23797 WITH SCORE 23848.146
AT ITER 836 NEW BEST:: SOT 80850 SOS 51175 HAS SOPS 36916 HAS SOUS 29689 HAS SOUPS 23789 WITH SCORE 23840.175
AT ITER 839 NEW BEST:: SOT 80805 SOS 51130 HAS SOPS 36862 HAS SOUS 29644 HAS SOUPS 23735 WITH SCORE 23786.13
AT ITER 850 NEW BEST:: SOT 80805 SOS 51124 HAS SOPS 36862 HAS SOUS 29637 HAS SOUPS 23731 WITH SCORE 23782.124
AT ITER 855 NEW BEST:: SOT 80719 SOS 51038 HAS SOPS 36776 HAS SOUS 29551 HAS SOUPS 23645 WITH SCORE 23696.038
AT ITER 864 NEW BEST:: SOT 80710 SOS 51029 HAS SOPS 36759 HAS SOUS 29542 HAS SOUPS 23628 WITH SCORE 23679.029
AT ITER 868 NEW BEST:: SOT 80702 SOS 51021 HAS SOPS 36700 HAS SOUS 29506 HAS SOUPS 23569 WITH SCORE 23620.021
AT ITER 876 NEW BEST:: SOT 80702 SOS 51003 HAS SOPS 36682 HAS SOUS 29506 HAS SOUPS 23569 WITH SCORE 23620.003
AT ITER 917 NEW BEST:: SOT 80687 SOS 50988 HAS SOPS 36667 HAS SOUS 29491 HAS SOUPS 23554 WITH SCORE 23604.988
AT ITER 925 NEW BEST:: SOT 80687 SOS 50725 HAS SOPS 36404 HAS SOUS 29469 HAS SOUPS 23532 WITH SCORE 23582.725
AT ITER 930 NEW BEST:: SOT 80699 SOS 50739 HAS SOPS 36418 HAS SOUS 29463 HAS SOUPS 23526 WITH SCORE 23576.739
AT ITER 948 NEW BEST:: SOT 80689 SOS 50731 HAS SOPS 36408 HAS SOUS 29463 HAS SOUPS 23524 WITH SCORE 23574.731
AT ITER 955 NEW BEST:: SOT 80322 SOS 50441 HAS SOPS 36041 HAS SOUS 29450 HAS SOUPS 23385 WITH SCORE 23435.441
AT ITER 964 NEW BEST:: SOT 80313 SOS 50426 HAS SOPS 36038 HAS SOUS 29447 HAS SOUPS 23382 WITH SCORE 23432.426
AT ITER 970 NEW BEST:: SOT 80289 SOS 50402 HAS SOPS 35990 HAS SOUS 29393 HAS SOUPS 23334 WITH SCORE 23384.402
AT ITER 1006 NEW BEST:: SOT 80277 SOS 50390 HAS SOPS 35962 HAS SOUS 29365 HAS SOUPS 23306 WITH SCORE 23356.39
AT ITER 1015 NEW BEST:: SOT 80097 SOS 50230 HAS SOPS 35802 HAS SOUS 29185 HAS SOUPS 23126 WITH SCORE 23176.23
AT ITER 1020 NEW BEST:: SOT 80056 SOS 50189 HAS SOPS 35761 HAS SOUS 29144 HAS SOUPS 23085 WITH SCORE 23135.189
AT ITER 1023 NEW BEST:: SOT 80056 SOS 50184 HAS SOPS 35761 HAS SOUS 29144 HAS SOUPS 23085 WITH SCORE 23135.184
AT ITER 1030 NEW BEST:: SOT 80203 SOS 50313 HAS SOPS 35954 HAS SOUS 28859 HAS SOUPS 22832 WITH SCORE 22882.313
AT ITER 1034 NEW BEST:: SOT 80200 SOS 50310 HAS SOPS 35933 HAS SOUS 28856 HAS SOUPS 22811 WITH SCORE 22861.31
AT ITER 1036 NEW BEST:: SOT 80140 SOS 50250 HAS SOPS 35873 HAS SOUS 28844 HAS SOUPS 22799 WITH SCORE 22849.25
AT ITER 1041 NEW BEST:: SOT 80140 SOS 50250 HAS SOPS 35872 HAS SOUS 28910 HAS SOUPS 22798 WITH SCORE 22848.25
AT ITER 1048 NEW BEST:: SOT 80104 SOS 50214 HAS SOPS 35826 HAS SOUS 28874 HAS SOUPS 22752 WITH SCORE 22802.214
AT ITER 1081 NEW BEST:: SOT 80100 SOS 50146 HAS SOPS 35758 HAS SOUS 28862 HAS SOUPS 22740 WITH SCORE 22790.146
AT ITER 1082 NEW BEST:: SOT 80085 SOS 50053 HAS SOPS 35665 HAS SOUS 28850 HAS SOUPS 22728 WITH SCORE 22778.053
AT ITER 1099 NEW BEST:: SOT 79962 SOS 49918 HAS SOPS 35494 HAS SOUS 28771 HAS SOUPS 22649 WITH SCORE 22698.918
AT ITER 1122 NEW BEST:: SOT 79955 SOS 49911 HAS SOPS 35481 HAS SOUS 28764 HAS SOUPS 22636 WITH SCORE 22685.911
AT ITER 1123 NEW BEST:: SOT 79948 SOS 49897 HAS SOPS 35467 HAS SOUS 28750 HAS SOUPS 22622 WITH SCORE 22671.897
AT ITER 1125 NEW BEST:: SOT 79933 SOS 49962 HAS SOPS 35443 HAS SOUS 28786 HAS SOUPS 22598 WITH SCORE 22647.962
AT ITER 1137 NEW BEST:: SOT 80000 SOS 49534 HAS SOPS 34971 HAS SOUS 28771 HAS SOUPS 22583 WITH SCORE 22632.534
AT ITER 1148 NEW BEST:: SOT 80002 SOS 49526 HAS SOPS 34969 HAS SOUS 28739 HAS SOUPS 22553 WITH SCORE 22602.526
AT ITER 1155 NEW BEST:: SOT 79961 SOS 49241 HAS SOPS 34910 HAS SOUS 28582 HAS SOUPS 22494 WITH SCORE 22543.241
AT ITER 1157 NEW BEST:: SOT 79954 SOS 49234 HAS SOPS 34896 HAS SOUS 28575 HAS SOUPS 22480 WITH SCORE 22529.234
AT ITER 1164 NEW BEST:: SOT 79949 SOS 49244 HAS SOPS 34886 HAS SOUS 28575 HAS SOUPS 22470 WITH SCORE 22519.244
AT ITER 1166 NEW BEST:: SOT 79878 SOS 49207 HAS SOPS 34815 HAS SOUS 28616 HAS SOUPS 22463 WITH SCORE 22512.207
AT ITER 1167 NEW BEST:: SOT 79878 SOS 49201 HAS SOPS 34809 HAS SOUS 28598 HAS SOUPS 22445 WITH SCORE 22494.201
AT ITER 1170 NEW BEST:: SOT 79876 SOS 49199 HAS SOPS 34807 HAS SOUS 28596 HAS SOUPS 22443 WITH SCORE 22492.199
AT ITER 1194 NEW BEST:: SOT 79651 SOS 49003 HAS SOPS 34553 HAS SOUS 28526 HAS SOUPS 22305 WITH SCORE 22354.003
AT ITER 1197 NEW BEST:: SOT 79651 SOS 49003 HAS SOPS 34522 HAS SOUS 28510 HAS SOUPS 22274 WITH SCORE 22323.003
AT ITER 1203 NEW BEST:: SOT 79659 SOS 49011 HAS SOPS 34489 HAS SOUS 28493 HAS SOUPS 22241 WITH SCORE 22290.011
AT ITER 1219 NEW BEST:: SOT 79511 SOS 48662 HAS SOPS 34099 HAS SOUS 28114 HAS SOUPS 21862 WITH SCORE 21910.662
AT ITER 1248 NEW BEST:: SOT 79510 SOS 48634 HAS SOPS 34085 HAS SOUS 28024 HAS SOUPS 21777 WITH SCORE 21825.634
AT ITER 1255 NEW BEST:: SOT 79482 SOS 48615 HAS SOPS 34025 HAS SOUS 27964 HAS SOUPS 21717 WITH SCORE 21765.615
AT ITER 1260 NEW BEST:: SOT 79424 SOS 48557 HAS SOPS 33973 HAS SOUS 27912 HAS SOUPS 21665 WITH SCORE 21713.557
AT ITER 1261 NEW BEST:: SOT 79416 SOS 48551 HAS SOPS 33966 HAS SOUS 27904 HAS SOUPS 21657 WITH SCORE 21705.551
AT ITER 1266 NEW BEST:: SOT 79505 SOS 48611 HAS SOPS 34050 HAS SOUS 27818 HAS SOUPS 21583 WITH SCORE 21631.611
AT ITER 1269 NEW BEST:: SOT 79123 SOS 48225 HAS SOPS 33647 HAS SOUS 27631 HAS SOUPS 21396 WITH SCORE 21444.225
AT ITER 1272 NEW BEST:: SOT 79114 SOS 48219 HAS SOPS 33637 HAS SOUS 27629 HAS SOUPS 21393 WITH SCORE 21441.219
AT ITER 1282 NEW BEST:: SOT 79098 SOS 48203 HAS SOPS 33605 HAS SOUS 27613 HAS SOUPS 21361 WITH SCORE 21409.203
AT ITER 1283 NEW BEST:: SOT 79012 SOS 48141 HAS SOPS 33543 HAS SOUS 27539 HAS SOUPS 21287 WITH SCORE 21335.141
AT ITER 1294 NEW BEST:: SOT 79008 SOS 48137 HAS SOPS 33535 HAS SOUS 27535 HAS SOUPS 21279 WITH SCORE 21327.137
AT ITER 1298 NEW BEST:: SOT 79006 SOS 48135 HAS SOPS 33531 HAS SOUS 27533 HAS SOUPS 21275 WITH SCORE 21323.135
AT ITER 1301 NEW BEST:: SOT 79006 SOS 48135 HAS SOPS 33530 HAS SOUS 27533 HAS SOUPS 21274 WITH SCORE 21322.135
AT ITER 1308 NEW BEST:: SOT 79006 SOS 48135 HAS SOPS 33524 HAS SOUS 27527 HAS SOUPS 21268 WITH SCORE 21316.135
AT ITER 1311 NEW BEST:: SOT 79006 SOS 48129 HAS SOPS 33519 HAS SOUS 27518 HAS SOUPS 21259 WITH SCORE 21307.129
AT ITER 1312 NEW BEST:: SOT 79229 SOS 48408 HAS SOPS 34081 HAS SOUS 27385 HAS SOUPS 21213 WITH SCORE 21261.408
AT ITER 1320 NEW BEST:: SOT 79211 SOS 48390 HAS SOPS 34055 HAS SOUS 27367 HAS SOUPS 21187 WITH SCORE 21235.39
AT ITER 1322 NEW BEST:: SOT 79211 SOS 48390 HAS SOPS 34002 HAS SOUS 27314 HAS SOUPS 21134 WITH SCORE 21182.39
AT ITER 1323 NEW BEST:: SOT 79186 SOS 48371 HAS SOPS 33949 HAS SOUS 27307 HAS SOUPS 21081 WITH SCORE 21129.371
AT ITER 1346 NEW BEST:: SOT 79186 SOS 48368 HAS SOPS 33946 HAS SOUS 27304 HAS SOUPS 21078 WITH SCORE 21126.368
AT ITER 1367 NEW BEST:: SOT 79212 SOS 48394 HAS SOPS 33943 HAS SOUS 27301 HAS SOUPS 21075 WITH SCORE 21123.394
AT ITER 1404 NEW BEST:: SOT 79203 SOS 48385 HAS SOPS 33925 HAS SOUS 27273 HAS SOUPS 21057 WITH SCORE 21105.385
AT ITER 1430 NEW BEST:: SOT 78878 SOS 48280 HAS SOPS 33569 HAS SOUS 27555 HAS SOUPS 20985 WITH SCORE 21033.28
AT ITER 1442 NEW BEST:: SOT 78871 SOS 48273 HAS SOPS 33562 HAS SOUS 27548 HAS SOUPS 20978 WITH SCORE 21026.273
AT ITER 1452 NEW BEST:: SOT 78871 SOS 48273 HAS SOPS 33524 HAS SOUS 27548 HAS SOUPS 20940 WITH SCORE 20988.273
AT ITER 1454 NEW BEST:: SOT 78790 SOS 48192 HAS SOPS 33448 HAS SOUS 27512 HAS SOUPS 20904 WITH SCORE 20952.192
AT ITER 1455 NEW BEST:: SOT 78778 SOS 48180 HAS SOPS 33424 HAS SOUS 27488 HAS SOUPS 20880 WITH SCORE 20928.18
AT ITER 1457 NEW BEST:: SOT 78788 SOS 48029 HAS SOPS 33165 HAS SOUS 27383 HAS SOUPS 20775 WITH SCORE 20823.029
AT ITER 1469 NEW BEST:: SOT 78797 SOS 48029 HAS SOPS 33093 HAS SOUS 27347 HAS SOUPS 20739 WITH SCORE 20787.029
AT ITER 1479 NEW BEST:: SOT 78769 SOS 48001 HAS SOPS 33069 HAS SOUS 27319 HAS SOUPS 20715 WITH SCORE 20763.001
AT ITER 1483 NEW BEST:: SOT 78769 SOS 47992 HAS SOPS 33060 HAS SOUS 27310 HAS SOUPS 20706 WITH SCORE 20753.992
AT ITER 1488 NEW BEST:: SOT 78762 SOS 47985 HAS SOPS 33046 HAS SOUS 27303 HAS SOUPS 20692 WITH SCORE 20739.985
AT ITER 1492 NEW BEST:: SOT 78522 SOS 47745 HAS SOPS 32707 HAS SOUS 27052 HAS SOUPS 20353 WITH SCORE 20400.745
AT ITER 1509 NEW BEST:: SOT 78521 SOS 47705 HAS SOPS 32678 HAS SOUS 27023 HAS SOUPS 20324 WITH SCORE 20371.705
AT ITER 1512 NEW BEST:: SOT 78520 SOS 47704 HAS SOPS 32677 HAS SOUS 27022 HAS SOUPS 20323 WITH SCORE 20370.704
AT ITER 1517 NEW BEST:: SOT 78530 SOS 47703 HAS SOPS 32748 HAS SOUS 26952 HAS SOUPS 20261 WITH SCORE 20308.703
AT ITER 1521 NEW BEST:: SOT 78450 SOS 47623 HAS SOPS 32652 HAS SOUS 26856 HAS SOUPS 20165 WITH SCORE 20212.623
AT ITER 1528 NEW BEST:: SOT 78424 SOS 47597 HAS SOPS 32597 HAS SOUS 26846 HAS SOUPS 20110 WITH SCORE 20157.597
AT ITER 1529 NEW BEST:: SOT 78163 SOS 47308 HAS SOPS 32308 HAS SOUS 26554 HAS SOUPS 19818 WITH SCORE 19865.308
AT ITER 1538 NEW BEST:: SOT 78196 SOS 47403 HAS SOPS 32413 HAS SOUS 26467 HAS SOUPS 19731 WITH SCORE 19778.403
AT ITER 1552 NEW BEST:: SOT 78286 SOS 47519 HAS SOPS 32502 HAS SOUS 26324 HAS SOUPS 19588 WITH SCORE 19635.519
AT ITER 1567 NEW BEST:: SOT 78275 SOS 47526 HAS SOPS 32431 HAS SOUS 26253 HAS SOUPS 19517 WITH SCORE 19564.526
AT ITER 1582 NEW BEST:: SOT 78275 SOS 47422 HAS SOPS 32327 HAS SOUS 26252 HAS SOUPS 19516 WITH SCORE 19563.422
AT ITER 1585 NEW BEST:: SOT 77851 SOS 47157 HAS SOPS 31875 HAS SOUS 26165 HAS SOUPS 19144 WITH SCORE 19191.157
AT ITER 1609 NEW BEST:: SOT 77645 SOS 46936 HAS SOPS 31625 HAS SOUS 26171 HAS SOUPS 19131 WITH SCORE 19177.936
AT ITER 1649 NEW BEST:: SOT 77629 SOS 46920 HAS SOPS 31611 HAS SOUS 26157 HAS SOUPS 19117 WITH SCORE 19163.92
AT ITER 1679 NEW BEST:: SOT 77629 SOS 46642 HAS SOPS 31333 HAS SOUS 26147 HAS SOUPS 19107 WITH SCORE 19153.642
AT ITER 1680 NEW BEST:: SOT 77616 SOS 46629 HAS SOPS 31307 HAS SOUS 26134 HAS SOUPS 19081 WITH SCORE 19127.629
AT ITER 1685 NEW BEST:: SOT 77616 SOS 46611 HAS SOPS 31289 HAS SOUS 26132 HAS SOUPS 19079 WITH SCORE 19125.611
AT ITER 1690 NEW BEST:: SOT 77565 SOS 46560 HAS SOPS 31238 HAS SOUS 26105 HAS SOUPS 19052 WITH SCORE 19098.56
AT ITER 1712 NEW BEST:: SOT 77549 SOS 46542 HAS SOPS 31220 HAS SOUS 26087 HAS SOUPS 19034 WITH SCORE 19080.542
AT ITER 1717 NEW BEST:: SOT 77545 SOS 46538 HAS SOPS 31212 HAS SOUS 26083 HAS SOUPS 19026 WITH SCORE 19072.538
AT ITER 1730 NEW BEST:: SOT 77193 SOS 46330 HAS SOPS 30860 HAS SOUS 26354 HAS SOUPS 18942 WITH SCORE 18988.33
AT ITER 1744 NEW BEST:: SOT 77190 SOS 46327 HAS SOPS 30854 HAS SOUS 26351 HAS SOUPS 18936 WITH SCORE 18982.327
AT ITER 1749 NEW BEST:: SOT 77178 SOS 46315 HAS SOPS 30830 HAS SOUS 26339 HAS SOUPS 18912 WITH SCORE 18958.315
AT ITER 1751 NEW BEST:: SOT 76997 SOS 46359 HAS SOPS 30608 HAS SOUS 26332 HAS SOUPS 18762 WITH SCORE 18808.359
AT ITER 1767 NEW BEST:: SOT 76988 SOS 46350 HAS SOPS 30599 HAS SOUS 26323 HAS SOUPS 18753 WITH SCORE 18799.35
AT ITER 1808 NEW BEST:: SOT 76976 SOS 46338 HAS SOPS 30586 HAS SOUS 26311 HAS SOUPS 18740 WITH SCORE 18786.338
AT ITER 1815 NEW BEST:: SOT 76886 SOS 46338 HAS SOPS 30586 HAS SOUS 26231 HAS SOUPS 18660 WITH SCORE 18706.338
AT ITER 1817 NEW BEST:: SOT 76764 SOS 46206 HAS SOPS 30444 HAS SOUS 26199 HAS SOUPS 18618 WITH SCORE 18664.206
AT ITER 1823 NEW BEST:: SOT 76722 SOS 46114 HAS SOPS 30352 HAS SOUS 26139 HAS SOUPS 18558 WITH SCORE 18604.114
AT ITER 1846 NEW BEST:: SOT 76629 SOS 46021 HAS SOPS 30257 HAS SOUS 26046 HAS SOUPS 18463 WITH SCORE 18509.021
AT ITER 1847 NEW BEST:: SOT 76626 SOS 46018 HAS SOPS 30251 HAS SOUS 26043 HAS SOUPS 18457 WITH SCORE 18503.018
AT ITER 1885 NEW BEST:: SOT 76655 SOS 46047 HAS SOPS 30243 HAS SOUS 26057 HAS SOUPS 18449 WITH SCORE 18495.047
AT ITER 1886 NEW BEST:: SOT 76655 SOS 46031 HAS SOPS 30243 HAS SOUS 26041 HAS SOUPS 18449 WITH SCORE 18495.031
AT ITER 1897 NEW BEST:: SOT 76580 SOS 45896 HAS SOPS 30198 HAS SOUS 25876 HAS SOUPS 18329 WITH SCORE 18374.896
AT ITER 1925 NEW BEST:: SOT 76572 SOS 45888 HAS SOPS 30182 HAS SOUS 25868 HAS SOUPS 18313 WITH SCORE 18358.888
AT ITER 1956 NEW BEST:: SOT 76566 SOS 45891 HAS SOPS 30166 HAS SOUS 25869 HAS SOUPS 18312 WITH SCORE 18357.891
AT ITER 1988 NEW BEST:: SOT 76556 SOS 45881 HAS SOPS 30146 HAS SOUS 25859 HAS SOUPS 18292 WITH SCORE 18337.881
AT ITER 1992 NEW BEST:: SOT 76502 SOS 45816 HAS SOPS 30059 HAS SOUS 25772 HAS SOUPS 18205 WITH SCORE 18250.816
AT ITER 1993 NEW BEST:: SOT 76471 SOS 45818 HAS SOPS 30028 HAS SOUS 25785 HAS SOUPS 18174 WITH SCORE 18219.818
AT ITER 2026 NEW BEST:: SOT 76471 SOS 45714 HAS SOPS 29924 HAS SOUS 25772 HAS SOUPS 18161 WITH SCORE 18206.714
AT ITER 2030 NEW BEST:: SOT 76408 SOS 45589 HAS SOPS 29861 HAS SOUS 25694 HAS SOUPS 18098 WITH SCORE 18143.589
AT ITER 2051 NEW BEST:: SOT 76402 SOS 45583 HAS SOPS 29849 HAS SOUS 25688 HAS SOUPS 18086 WITH SCORE 18131.583
AT ITER 2057 NEW BEST:: SOT 76459 SOS 45640 HAS SOPS 29837 HAS SOUS 25532 HAS SOUPS 17930 WITH SCORE 17975.64
AT ITER 2068 NEW BEST:: SOT 76452 SOS 45633 HAS SOPS 29823 HAS SOUS 25525 HAS SOUPS 17916 WITH SCORE 17961.633
AT ITER 2141 NEW BEST:: SOT 76599 SOS 45661 HAS SOPS 29970 HAS SOUS 25357 HAS SOUPS 17911 WITH SCORE 17956.661
AT ITER 2145 NEW BEST:: SOT 76752 SOS 45814 HAS SOPS 29932 HAS SOUS 25319 HAS SOUPS 17873 WITH SCORE 17918.814
AT ITER 2151 NEW BEST:: SOT 76744 SOS 45807 HAS SOPS 29925 HAS SOUS 25308 HAS SOUPS 17862 WITH SCORE 17907.807
AT ITER 2180 NEW BEST:: SOT 76607 SOS 45634 HAS SOPS 29923 HAS SOUS 25306 HAS SOUPS 17860 WITH SCORE 17905.634
AT ITER 2198 NEW BEST:: SOT 76497 SOS 45524 HAS SOPS 29791 HAS SOUS 25193 HAS SOUPS 17728 WITH SCORE 17773.524
AT ITER 2211 NEW BEST:: SOT 76481 SOS 45508 HAS SOPS 29775 HAS SOUS 25177 HAS SOUPS 17712 WITH SCORE 17757.508
AT ITER 2222 NEW BEST:: SOT 76438 SOS 45493 HAS SOPS 29698 HAS SOUS 25086 HAS SOUPS 17621 WITH SCORE 17666.493
AT ITER 2223 NEW BEST:: SOT 76452 SOS 45529 HAS SOPS 29690 HAS SOUS 25078 HAS SOUPS 17613 WITH SCORE 17658.529
AT ITER 2233 NEW BEST:: SOT 76707 SOS 45700 HAS SOPS 30011 HAS SOUS 24962 HAS SOUPS 17532 WITH SCORE 17577.7
AT ITER 2266 NEW BEST:: SOT 76705 SOS 45698 HAS SOPS 30007 HAS SOUS 24960 HAS SOUPS 17528 WITH SCORE 17573.698
AT ITER 2296 NEW BEST:: SOT 76700 SOS 45693 HAS SOPS 29997 HAS SOUS 24955 HAS SOUPS 17518 WITH SCORE 17563.693
AT ITER 2298 NEW BEST:: SOT 76624 SOS 45617 HAS SOPS 29921 HAS SOUS 24879 HAS SOUPS 17442 WITH SCORE 17487.617
AT ITER 2302 NEW BEST:: SOT 76507 SOS 45500 HAS SOPS 29804 HAS SOUS 24762 HAS SOUPS 17325 WITH SCORE 17370.5
AT ITER 2321 NEW BEST:: SOT 76505 SOS 45438 HAS SOPS 29803 HAS SOUS 24685 HAS SOUPS 17324 WITH SCORE 17369.438
AT ITER 2330 NEW BEST:: SOT 76504 SOS 45437 HAS SOPS 29799 HAS SOUS 24684 HAS SOUPS 17320 WITH SCORE 17365.437
AT ITER 2381 NEW BEST:: SOT 76504 SOS 45488 HAS SOPS 29850 HAS SOUS 24683 HAS SOUPS 17319 WITH SCORE 17364.488
AT ITER 2439 NEW BEST:: SOT 76504 SOS 45488 HAS SOPS 29840 HAS SOUS 24678 HAS SOUPS 17309 WITH SCORE 17354.488
AT ITER 2448 NEW BEST:: SOT 76504 SOS 45521 HAS SOPS 29873 HAS SOUS 24671 HAS SOUPS 17302 WITH SCORE 17347.521
AT ITER 2459 NEW BEST:: SOT 76331 SOS 45348 HAS SOPS 29700 HAS SOUS 24582 HAS SOUPS 17213 WITH SCORE 17258.348
AT ITER 2478 NEW BEST:: SOT 76315 SOS 45332 HAS SOPS 29684 HAS SOUS 24566 HAS SOUPS 17197 WITH SCORE 17242.332
AT ITER 2494 NEW BEST:: SOT 76313 SOS 45330 HAS SOPS 29680 HAS SOUS 24564 HAS SOUPS 17193 WITH SCORE 17238.33
AT ITER 2501 NEW BEST:: SOT 76160 SOS 45177 HAS SOPS 29518 HAS SOUS 24549 HAS SOUPS 17169 WITH SCORE 17214.177
AT ITER 2541 NEW BEST:: SOT 76157 SOS 45174 HAS SOPS 29516 HAS SOUS 24546 HAS SOUPS 17167 WITH SCORE 17212.174
AT ITER 2556 NEW BEST:: SOT 76099 SOS 45303 HAS SOPS 29475 HAS SOUS 24718 HAS SOUPS 17126 WITH SCORE 17171.303
AT ITER 2571 NEW BEST:: SOT 76141 SOS 45385 HAS SOPS 29429 HAS SOUS 24650 HAS SOUPS 17058 WITH SCORE 17103.385
AT ITER 2584 NEW BEST:: SOT 76133 SOS 45359 HAS SOPS 29412 HAS SOUS 24591 HAS SOUPS 17002 WITH SCORE 17047.359
AT ITER 2597 NEW BEST:: SOT 76112 SOS 45338 HAS SOPS 29394 HAS SOUS 24573 HAS SOUPS 16984 WITH SCORE 17029.338
AT ITER 2630 NEW BEST:: SOT 76093 SOS 45319 HAS SOPS 29356 HAS SOUS 24539 HAS SOUPS 16946 WITH SCORE 16991.319
AT ITER 2633 NEW BEST:: SOT 76080 SOS 45306 HAS SOPS 29330 HAS SOUS 24541 HAS SOUPS 16920 WITH SCORE 16965.306
AT ITER 2636 NEW BEST:: SOT 76080 SOS 45298 HAS SOPS 29330 HAS SOUS 24541 HAS SOUPS 16920 WITH SCORE 16965.298
AT ITER 2639 NEW BEST:: SOT 76060 SOS 45265 HAS SOPS 29295 HAS SOUS 24506 HAS SOUPS 16885 WITH SCORE 16930.265
AT ITER 2700 NEW BEST:: SOT 76060 SOS 45262 HAS SOPS 29295 HAS SOUS 24491 HAS SOUPS 16885 WITH SCORE 16930.262
AT ITER 2711 NEW BEST:: SOT 76083 SOS 45305 HAS SOPS 29289 HAS SOUS 24483 HAS SOUPS 16877 WITH SCORE 16922.305
AT ITER 2730 NEW BEST:: SOT 76082 SOS 45304 HAS SOPS 29287 HAS SOUS 24482 HAS SOUPS 16875 WITH SCORE 16920.304
AT ITER 2752 NEW BEST:: SOT 76081 SOS 45303 HAS SOPS 29285 HAS SOUS 24481 HAS SOUPS 16873 WITH SCORE 16918.303
AT ITER 2773 NEW BEST:: SOT 76076 SOS 45298 HAS SOPS 29275 HAS SOUS 24471 HAS SOUPS 16863 WITH SCORE 16908.298
AT ITER 2784 NEW BEST:: SOT 76073 SOS 45295 HAS SOPS 29272 HAS SOUS 24468 HAS SOUPS 16860 WITH SCORE 16905.295
AT ITER 2785 NEW BEST:: SOT 76065 SOS 45289 HAS SOPS 29266 HAS SOUS 24462 HAS SOUPS 16854 WITH SCORE 16899.289
AT ITER 2834 NEW BEST:: SOT 76059 SOS 45291 HAS SOPS 29239 HAS SOUS 24441 HAS SOUPS 16827 WITH SCORE 16872.291
AT ITER 2838 NEW BEST:: SOT 76037 SOS 45269 HAS SOPS 29217 HAS SOUS 24419 HAS SOUPS 16805 WITH SCORE 16850.269
AT ITER 2849 NEW BEST:: SOT 76019 SOS 45251 HAS SOPS 29206 HAS SOUS 24387 HAS SOUPS 16794 WITH SCORE 16839.251
AT ITER 2865 NEW BEST:: SOT 76013 SOS 45251 HAS SOPS 29200 HAS SOUS 24387 HAS SOUPS 16788 WITH SCORE 16833.251
AT ITER 2891 NEW BEST:: SOT 76007 SOS 45245 HAS SOPS 29188 HAS SOUS 24381 HAS SOUPS 16776 WITH SCORE 16821.245
AT ITER 2912 NEW BEST:: SOT 76017 SOS 45255 HAS SOPS 29185 HAS SOUS 24378 HAS SOUPS 16773 WITH SCORE 16818.255
AT ITER 2914 NEW BEST:: SOT 76006 SOS 45244 HAS SOPS 29163 HAS SOUS 24367 HAS SOUPS 16751 WITH SCORE 16796.244
AT ITER 2933 NEW BEST:: SOT 76005 SOS 45259 HAS SOPS 29161 HAS SOUS 24378 HAS SOUPS 16749 WITH SCORE 16794.259
AT ITER 2994 NEW BEST:: SOT 76003 SOS 45257 HAS SOPS 29159 HAS SOUS 24376 HAS SOUPS 16747 WITH SCORE 16792.257
AT ITER 3045 NEW BEST:: SOT 75992 SOS 45239 HAS SOPS 29146 HAS SOUS 24358 HAS SOUPS 16734 WITH SCORE 16779.239
AT ITER 3071 NEW BEST:: SOT 75985 SOS 45232 HAS SOPS 29132 HAS SOUS 24354 HAS SOUPS 16720 WITH SCORE 16765.232
AT ITER 3088 NEW BEST:: SOT 75995 SOS 45242 HAS SOPS 29128 HAS SOUS 24364 HAS SOUPS 16716 WITH SCORE 16761.242
AT ITER 3089 NEW BEST:: SOT 75985 SOS 45232 HAS SOPS 29108 HAS SOUS 24354 HAS SOUPS 16696 WITH SCORE 16741.232
AT ITER 3099 NEW BEST:: SOT 75933 SOS 45172 HAS SOPS 29048 HAS SOUS 24300 HAS SOUPS 16642 WITH SCORE 16687.172
AT ITER 3111 NEW BEST:: SOT 75923 SOS 45162 HAS SOPS 29038 HAS SOUS 24290 HAS SOUPS 16632 WITH SCORE 16677.162
AT ITER 3131 NEW BEST:: SOT 75919 SOS 45126 HAS SOPS 29002 HAS SOUS 24278 HAS SOUPS 16620 WITH SCORE 16665.126
AT ITER 3139 NEW BEST:: SOT 75913 SOS 45079 HAS SOPS 28990 HAS SOUS 24247 HAS SOUPS 16608 WITH SCORE 16653.079
AT ITER 3157 NEW BEST:: SOT 75838 SOS 45021 HAS SOPS 28980 HAS SOUS 24209 HAS SOUPS 16570 WITH SCORE 16615.021
AT ITER 3161 NEW BEST:: SOT 75841 SOS 45019 HAS SOPS 28984 HAS SOUS 24205 HAS SOUPS 16570 WITH SCORE 16615.019
AT ITER 3175 NEW BEST:: SOT 75834 SOS 45012 HAS SOPS 28970 HAS SOUS 24198 HAS SOUPS 16556 WITH SCORE 16601.012
AT ITER 3190 NEW BEST:: SOT 75790 SOS 44961 HAS SOPS 28919 HAS SOUS 24147 HAS SOUPS 16505 WITH SCORE 16549.961
AT ITER 3210 NEW BEST:: SOT 75781 SOS 44952 HAS SOPS 28901 HAS SOUS 24138 HAS SOUPS 16487 WITH SCORE 16531.952
AT ITER 3221 NEW BEST:: SOT 75776 SOS 44952 HAS SOPS 28891 HAS SOUS 24168 HAS SOUPS 16477 WITH SCORE 16521.952
AT ITER 3226 NEW BEST:: SOT 75775 SOS 44951 HAS SOPS 28889 HAS SOUS 24159 HAS SOUPS 16468 WITH SCORE 16512.951
AT ITER 3253 NEW BEST:: SOT 75768 SOS 44945 HAS SOPS 28881 HAS SOUS 24159 HAS SOUPS 16464 WITH SCORE 16508.945
AT ITER 3270 NEW BEST:: SOT 75738 SOS 44915 HAS SOPS 28856 HAS SOUS 24134 HAS SOUPS 16439 WITH SCORE 16483.915
AT ITER 3287 NEW BEST:: SOT 75759 SOS 44936 HAS SOPS 28821 HAS SOUS 24109 HAS SOUPS 16414 WITH SCORE 16458.936
AT ITER 3320 NEW BEST:: SOT 75735 SOS 44924 HAS SOPS 28791 HAS SOUS 24117 HAS SOUPS 16392 WITH SCORE 16436.924
AT ITER 3325 NEW BEST:: SOT 75725 SOS 44914 HAS SOPS 28791 HAS SOUS 24107 HAS SOUPS 16392 WITH SCORE 16436.914
AT ITER 3338 NEW BEST:: SOT 75719 SOS 44908 HAS SOPS 28774 HAS SOUS 24112 HAS SOUPS 16375 WITH SCORE 16419.908
AT ITER 3341 NEW BEST:: SOT 75719 SOS 44956 HAS SOPS 28767 HAS SOUS 24220 HAS SOUPS 16368 WITH SCORE 16412.956
AT ITER 3359 NEW BEST:: SOT 75714 SOS 44951 HAS SOPS 28757 HAS SOUS 24215 HAS SOUPS 16358 WITH SCORE 16402.951
AT ITER 3361 NEW BEST:: SOT 75691 SOS 44928 HAS SOPS 28730 HAS SOUS 24192 HAS SOUPS 16331 WITH SCORE 16375.928
AT ITER 3375 NEW BEST:: SOT 75685 SOS 44922 HAS SOPS 28721 HAS SOUS 24186 HAS SOUPS 16322 WITH SCORE 16366.922
AT ITER 3398 NEW BEST:: SOT 75675 SOS 44912 HAS SOPS 28709 HAS SOUS 24176 HAS SOUPS 16310 WITH SCORE 16354.912
AT ITER 3501 NEW BEST:: SOT 75556 SOS 44793 HAS SOPS 28555 HAS SOUS 24113 HAS SOUPS 16212 WITH SCORE 16256.793
AT ITER 3519 NEW BEST:: SOT 75547 SOS 44784 HAS SOPS 28537 HAS SOUS 24104 HAS SOUPS 16194 WITH SCORE 16238.784
AT ITER 3530 NEW BEST:: SOT 75547 SOS 44801 HAS SOPS 28554 HAS SOUS 24102 HAS SOUPS 16192 WITH SCORE 16236.801
AT ITER 3533 NEW BEST:: SOT 75523 SOS 44783 HAS SOPS 28512 HAS SOUS 24057 HAS SOUPS 16147 WITH SCORE 16191.783
AT ITER 3535 NEW BEST:: SOT 75441 SOS 44712 HAS SOPS 28441 HAS SOUS 23975 HAS SOUPS 16065 WITH SCORE 16109.712
AT ITER 3584 NEW BEST:: SOT 75140 SOS 44454 HAS SOPS 28140 HAS SOUS 23958 HAS SOUPS 15880 WITH SCORE 15924.454
AT ITER 3600 NEW BEST:: SOT 75138 SOS 44452 HAS SOPS 28135 HAS SOUS 23956 HAS SOUPS 15875 WITH SCORE 15919.452
AT ITER 3603 NEW BEST:: SOT 75129 SOS 44443 HAS SOPS 28128 HAS SOUS 23947 HAS SOUPS 15868 WITH SCORE 15912.443
AT ITER 3610 NEW BEST:: SOT 75128 SOS 44442 HAS SOPS 28127 HAS SOUS 23946 HAS SOUPS 15867 WITH SCORE 15911.442
AT ITER 3629 NEW BEST:: SOT 75127 SOS 44441 HAS SOPS 28125 HAS SOUS 23930 HAS SOUPS 15865 WITH SCORE 15909.441
AT ITER 3635 NEW BEST:: SOT 75127 SOS 44449 HAS SOPS 28125 HAS SOUS 23924 HAS SOUPS 15859 WITH SCORE 15903.449
AT ITER 3715 NEW BEST:: SOT 75042 SOS 44452 HAS SOPS 28040 HAS SOUS 23901 HAS SOUPS 15774 WITH SCORE 15818.452
AT ITER 3733 NEW BEST:: SOT 75003 SOS 44425 HAS SOPS 27966 HAS SOUS 23829 HAS SOUPS 15702 WITH SCORE 15746.425
AT ITER 3755 NEW BEST:: SOT 74995 SOS 44417 HAS SOPS 27960 HAS SOUS 23821 HAS SOUPS 15696 WITH SCORE 15740.417
AT ITER 3762 NEW BEST:: SOT 74990 SOS 44412 HAS SOPS 27957 HAS SOUS 23816 HAS SOUPS 15693 WITH SCORE 15737.412
AT ITER 3769 NEW BEST:: SOT 75013 SOS 44437 HAS SOPS 27984 HAS SOUS 23809 HAS SOUPS 15688 WITH SCORE 15732.437
AT ITER 3776 NEW BEST:: SOT 75002 SOS 44426 HAS SOPS 27962 HAS SOUS 23798 HAS SOUPS 15666 WITH SCORE 15710.426
AT ITER 3805 NEW BEST:: SOT 75002 SOS 44408 HAS SOPS 27944 HAS SOUS 23794 HAS SOUPS 15662 WITH SCORE 15706.408
AT ITER 3829 NEW BEST:: SOT 74993 SOS 44383 HAS SOPS 27932 HAS SOUS 23772 HAS SOUPS 15654 WITH SCORE 15698.383
AT ITER 3876 NEW BEST:: SOT 74993 SOS 44374 HAS SOPS 27923 HAS SOUS 23771 HAS SOUPS 15653 WITH SCORE 15697.374
AT ITER 3899 NEW BEST:: SOT 74980 SOS 44361 HAS SOPS 27905 HAS SOUS 23767 HAS SOUPS 15647 WITH SCORE 15691.361
AT ITER 3918 NEW BEST:: SOT 74957 SOS 44315 HAS SOPS 27882 HAS SOUS 23606 HAS SOUPS 15624 WITH SCORE 15668.315
AT ITER 3936 NEW BEST:: SOT 74945 SOS 44303 HAS SOPS 27869 HAS SOUS 23594 HAS SOUPS 15611 WITH SCORE 15655.303
AT ITER 4029 NEW BEST:: SOT 74942 SOS 44300 HAS SOPS 27863 HAS SOUS 23591 HAS SOUPS 15605 WITH SCORE 15649.3
AT ITER 4040 NEW BEST:: SOT 74942 SOS 44288 HAS SOPS 27863 HAS SOUS 23593 HAS SOUPS 15605 WITH SCORE 15649.288
AT ITER 4044 NEW BEST:: SOT 74941 SOS 44287 HAS SOPS 27861 HAS SOUS 23592 HAS SOUPS 15603 WITH SCORE 15647.287
AT ITER 4054 NEW BEST:: SOT 74899 SOS 44113 HAS SOPS 27635 HAS SOUS 23478 HAS SOUPS 15489 WITH SCORE 15533.113
AT ITER 4069 NEW BEST:: SOT 74839 SOS 44070 HAS SOPS 27563 HAS SOUS 23557 HAS SOUPS 15453 WITH SCORE 15497.07
AT ITER 4070 NEW BEST:: SOT 74828 SOS 44059 HAS SOPS 27541 HAS SOUS 23546 HAS SOUPS 15431 WITH SCORE 15475.059
AT ITER 4077 NEW BEST:: SOT 74826 SOS 44057 HAS SOPS 27539 HAS SOUS 23544 HAS SOUPS 15429 WITH SCORE 15473.057
AT ITER 4129 NEW BEST:: SOT 74814 SOS 44045 HAS SOPS 27520 HAS SOUS 23525 HAS SOUPS 15410 WITH SCORE 15454.045
AT ITER 4138 NEW BEST:: SOT 74812 SOS 44043 HAS SOPS 27516 HAS SOUS 23523 HAS SOUPS 15406 WITH SCORE 15450.043
AT ITER 4227 NEW BEST:: SOT 74809 SOS 44040 HAS SOPS 27510 HAS SOUS 23520 HAS SOUPS 15400 WITH SCORE 15444.04
AT ITER 4272 NEW BEST:: SOT 74810 SOS 44037 HAS SOPS 27508 HAS SOUS 23520 HAS SOUPS 15400 WITH SCORE 15444.037
AT ITER 4291 NEW BEST:: SOT 74810 SOS 44035 HAS SOPS 27508 HAS SOUS 23520 HAS SOUPS 15400 WITH SCORE 15444.035
AT ITER 4321 NEW BEST:: SOT 74807 SOS 44032 HAS SOPS 27502 HAS SOUS 23517 HAS SOUPS 15394 WITH SCORE 15438.032
AT ITER 4324 NEW BEST:: SOT 74799 SOS 44024 HAS SOPS 27486 HAS SOUS 23509 HAS SOUPS 15378 WITH SCORE 15422.024
AT ITER 4325 NEW BEST:: SOT 74782 SOS 44007 HAS SOPS 27452 HAS SOUS 23492 HAS SOUPS 15344 WITH SCORE 15388.007
AT ITER 4351 NEW BEST:: SOT 74850 SOS 44075 HAS SOPS 27424 HAS SOUS 23464 HAS SOUPS 15316 WITH SCORE 15360.075
AT ITER 4357 NEW BEST:: SOT 74842 SOS 44074 HAS SOPS 27416 HAS SOUS 23463 HAS SOUPS 15308 WITH SCORE 15352.074
AT ITER 4367 NEW BEST:: SOT 74838 SOS 44070 HAS SOPS 27412 HAS SOUS 23459 HAS SOUPS 15304 WITH SCORE 15348.07
AT ITER 4391 NEW BEST:: SOT 74838 SOS 44064 HAS SOPS 27412 HAS SOUS 23453 HAS SOUPS 15304 WITH SCORE 15348.064
AT ITER 4393 NEW BEST:: SOT 74837 SOS 44063 HAS SOPS 27410 HAS SOUS 23452 HAS SOUPS 15302 WITH SCORE 15346.063
AT ITER 4453 NEW BEST:: SOT 74837 SOS 44063 HAS SOPS 27409 HAS SOUS 23452 HAS SOUPS 15301 WITH SCORE 15345.063
AT ITER 4542 NEW BEST:: SOT 74819 SOS 44060 HAS SOPS 27388 HAS SOUS 23431 HAS SOUPS 15280 WITH SCORE 15324.06
AT ITER 4569 NEW BEST:: SOT 74818 SOS 44056 HAS SOPS 27386 HAS SOUS 23414 HAS SOUPS 15264 WITH SCORE 15308.056
AT ITER 4599 NEW BEST:: SOT 74804 SOS 44042 HAS SOPS 27365 HAS SOUS 23400 HAS SOUPS 15243 WITH SCORE 15287.042
AT ITER 4620 NEW BEST:: SOT 74803 SOS 44041 HAS SOPS 27363 HAS SOUS 23399 HAS SOUPS 15241 WITH SCORE 15285.041
AT ITER 4625 NEW BEST:: SOT 74797 SOS 44035 HAS SOPS 27357 HAS SOUS 23393 HAS SOUPS 15235 WITH SCORE 15279.035
AT ITER 4633 NEW BEST:: SOT 74797 SOS 44033 HAS SOPS 27355 HAS SOUS 23392 HAS SOUPS 15234 WITH SCORE 15278.033
AT ITER 4634 NEW BEST:: SOT 74727 SOS 43952 HAS SOPS 27251 HAS SOUS 23288 HAS SOUPS 15130 WITH SCORE 15173.952
AT ITER 4687 NEW BEST:: SOT 74716 SOS 43941 HAS SOPS 27222 HAS SOUS 23278 HAS SOUPS 15101 WITH SCORE 15144.941
AT ITER 4718 NEW BEST:: SOT 74719 SOS 43947 HAS SOPS 27228 HAS SOUS 23272 HAS SOUPS 15095 WITH SCORE 15138.947
AT ITER 4722 NEW BEST:: SOT 74719 SOS 43984 HAS SOPS 27265 HAS SOUS 23271 HAS SOUPS 15094 WITH SCORE 15137.984
AT ITER 4745 NEW BEST:: SOT 74716 SOS 43981 HAS SOPS 27262 HAS SOUS 23268 HAS SOUPS 15091 WITH SCORE 15134.981
AT ITER 4786 NEW BEST:: SOT 74707 SOS 43972 HAS SOPS 27253 HAS SOUS 23259 HAS SOUPS 15082 WITH SCORE 15125.972
AT ITER 4804 NEW BEST:: SOT 74705 SOS 43970 HAS SOPS 27249 HAS SOUS 23257 HAS SOUPS 15078 WITH SCORE 15121.97
AT ITER 4826 NEW BEST:: SOT 74693 SOS 43958 HAS SOPS 27225 HAS SOUS 23235 HAS SOUPS 15054 WITH SCORE 15097.958
AT ITER 4832 NEW BEST:: SOT 74693 SOS 43972 HAS SOPS 27207 HAS SOUS 23229 HAS SOUPS 15044 WITH SCORE 15087.972
AT ITER 4896 NEW BEST:: SOT 74693 SOS 43972 HAS SOPS 27205 HAS SOUS 23229 HAS SOUPS 15042 WITH SCORE 15085.972
AT ITER 4963 NEW BEST:: SOT 74690 SOS 43969 HAS SOPS 27199 HAS SOUS 23226 HAS SOUPS 15036 WITH SCORE 15079.969
AT ITER 5052 NEW BEST:: SOT 74686 SOS 43965 HAS SOPS 27118 HAS SOUS 23193 HAS SOUPS 15003 WITH SCORE 15046.965
AT ITER 5073 NEW BEST:: SOT 74686 SOS 43969 HAS SOPS 27106 HAS SOUS 23179 HAS SOUPS 14989 WITH SCORE 15032.969
AT ITER 5104 NEW BEST:: SOT 74686 SOS 43969 HAS SOPS 27103 HAS SOUS 23179 HAS SOUPS 14986 WITH SCORE 15029.969
AT ITER 5118 NEW BEST:: SOT 74684 SOS 43967 HAS SOPS 27101 HAS SOUS 23177 HAS SOUPS 14984 WITH SCORE 15027.967
AT ITER 5207 NEW BEST:: SOT 74603 SOS 43884 HAS SOPS 27099 HAS SOUS 23103 HAS SOUPS 14982 WITH SCORE 15025.884
AT ITER 5218 NEW BEST:: SOT 74732 SOS 44027 HAS SOPS 27257 HAS SOUS 23001 HAS SOUPS 14895 WITH SCORE 14939.027
AT ITER 5266 NEW BEST:: SOT 74731 SOS 44026 HAS SOPS 27255 HAS SOUS 23000 HAS SOUPS 14893 WITH SCORE 14937.026
AT ITER 5358 NEW BEST:: SOT 74730 SOS 44025 HAS SOPS 27253 HAS SOUS 22998 HAS SOUPS 14891 WITH SCORE 14935.025
AT ITER 5380 NEW BEST:: SOT 74735 SOS 44030 HAS SOPS 27218 HAS SOUS 23003 HAS SOUPS 14856 WITH SCORE 14900.03
AT ITER 5407 NEW BEST:: SOT 74731 SOS 44026 HAS SOPS 27210 HAS SOUS 22999 HAS SOUPS 14848 WITH SCORE 14892.026
AT ITER 5424 NEW BEST:: SOT 74728 SOS 44023 HAS SOPS 27204 HAS SOUS 22986 HAS SOUPS 14842 WITH SCORE 14886.023
AT ITER 5603 NEW BEST:: SOT 74703 SOS 43998 HAS SOPS 27179 HAS SOUS 22961 HAS SOUPS 14817 WITH SCORE 14860.998
AT ITER 5616 NEW BEST:: SOT 74745 SOS 44043 HAS SOPS 27251 HAS SOUS 22843 HAS SOUPS 14710 WITH SCORE 14754.043
AT ITER 5629 NEW BEST:: SOT 74742 SOS 44029 HAS SOPS 27245 HAS SOUS 22813 HAS SOUPS 14704 WITH SCORE 14748.029
AT ITER 5634 NEW BEST:: SOT 74740 SOS 44031 HAS SOPS 27243 HAS SOUS 22816 HAS SOUPS 14702 WITH SCORE 14746.031
AT ITER 5647 NEW BEST:: SOT 74739 SOS 44030 HAS SOPS 27242 HAS SOUS 22815 HAS SOUPS 14701 WITH SCORE 14745.03
AT ITER 5676 NEW BEST:: SOT 74735 SOS 44026 HAS SOPS 27234 HAS SOUS 22811 HAS SOUPS 14693 WITH SCORE 14737.026
AT ITER 5702 NEW BEST:: SOT 74728 SOS 43777 HAS SOPS 27223 HAS SOUS 22698 HAS SOUPS 14682 WITH SCORE 14725.777
AT ITER 5732 NEW BEST:: SOT 74723 SOS 43772 HAS SOPS 27218 HAS SOUS 22693 HAS SOUPS 14677 WITH SCORE 14720.772
AT ITER 5742 NEW BEST:: SOT 74716 SOS 43770 HAS SOPS 27205 HAS SOUS 22680 HAS SOUPS 14664 WITH SCORE 14707.77
AT ITER 5772 NEW BEST:: SOT 74708 SOS 43762 HAS SOPS 27189 HAS SOUS 22672 HAS SOUPS 14648 WITH SCORE 14691.762
AT ITER 5812 NEW BEST:: SOT 74708 SOS 43762 HAS SOPS 27184 HAS SOUS 22672 HAS SOUPS 14643 WITH SCORE 14686.762
AT ITER 5816 NEW BEST:: SOT 74706 SOS 43760 HAS SOPS 27180 HAS SOUS 22670 HAS SOUPS 14639 WITH SCORE 14682.76
AT ITER 5880 NEW BEST:: SOT 74700 SOS 43754 HAS SOPS 27168 HAS SOUS 22664 HAS SOUPS 14627 WITH SCORE 14670.754
AT ITER 5881 NEW BEST:: SOT 74636 SOS 43717 HAS SOPS 27104 HAS SOUS 22765 HAS SOUPS 14619 WITH SCORE 14662.717
AT ITER 5958 NEW BEST:: SOT 74635 SOS 43716 HAS SOPS 27102 HAS SOUS 22764 HAS SOUPS 14617 WITH SCORE 14660.716
AT ITER 5966 NEW BEST:: SOT 74606 SOS 43609 HAS SOPS 27008 HAS SOUS 22762 HAS SOUPS 14615 WITH SCORE 14658.609
AT ITER 5971 NEW BEST:: SOT 74606 SOS 43603 HAS SOPS 26994 HAS SOUS 22754 HAS SOUPS 14607 WITH SCORE 14650.603
AT ITER 6137 NEW BEST:: SOT 74603 SOS 43600 HAS SOPS 26990 HAS SOUS 22751 HAS SOUPS 14603 WITH SCORE 14646.6
AT ITER 6141 NEW BEST:: SOT 74578 SOS 43563 HAS SOPS 26953 HAS SOUS 22714 HAS SOUPS 14566 WITH SCORE 14609.563
AT ITER 6168 NEW BEST:: SOT 74576 SOS 43561 HAS SOPS 26949 HAS SOUS 22712 HAS SOUPS 14562 WITH SCORE 14605.561
AT ITER 6228 NEW BEST:: SOT 74568 SOS 43553 HAS SOPS 26940 HAS SOUS 22703 HAS SOUPS 14553 WITH SCORE 14596.553
AT ITER 6300 NEW BEST:: SOT 74559 SOS 43544 HAS SOPS 26935 HAS SOUS 22694 HAS SOUPS 14548 WITH SCORE 14591.544
AT ITER 6334 NEW BEST:: SOT 74542 SOS 43527 HAS SOPS 26918 HAS SOUS 22677 HAS SOUPS 14531 WITH SCORE 14574.527
AT ITER 6365 NEW BEST:: SOT 74516 SOS 43609 HAS SOPS 26877 HAS SOUS 22840 HAS SOUPS 14490 WITH SCORE 14533.609
AT ITER 6452 NEW BEST:: SOT 74506 SOS 43599 HAS SOPS 26864 HAS SOUS 22830 HAS SOUPS 14477 WITH SCORE 14520.599
AT ITER 6465 NEW BEST:: SOT 74461 SOS 43554 HAS SOPS 26821 HAS SOUS 22803 HAS SOUPS 14450 WITH SCORE 14493.554
AT ITER 6663 NEW BEST:: SOT 74461 SOS 43554 HAS SOPS 26821 HAS SOUS 22800 HAS SOUPS 14447 WITH SCORE 14490.554
AT ITER 6669 NEW BEST:: SOT 74451 SOS 43544 HAS SOPS 26808 HAS SOUS 22790 HAS SOUPS 14434 WITH SCORE 14477.544
AT ITER 6671 NEW BEST:: SOT 74433 SOS 43465 HAS SOPS 26729 HAS SOUS 22733 HAS SOUPS 14377 WITH SCORE 14420.465
AT ITER 6701 NEW BEST:: SOT 74425 SOS 43457 HAS SOPS 26713 HAS SOUS 22725 HAS SOUPS 14361 WITH SCORE 14404.457
AT ITER 6719 NEW BEST:: SOT 74422 SOS 43457 HAS SOPS 26707 HAS SOUS 22740 HAS SOUPS 14355 WITH SCORE 14398.457
AT ITER 6775 NEW BEST:: SOT 74422 SOS 43458 HAS SOPS 26708 HAS SOUS 22733 HAS SOUPS 14348 WITH SCORE 14391.458
AT ITER 6844 NEW BEST:: SOT 74432 SOS 43456 HAS SOPS 26710 HAS SOUS 22708 HAS SOUPS 14326 WITH SCORE 14369.456
AT ITER 6909 NEW BEST:: SOT 74476 SOS 43500 HAS SOPS 26690 HAS SOUS 22688 HAS SOUPS 14306 WITH SCORE 14349.5
AT ITER 7006 NEW BEST:: SOT 74475 SOS 43499 HAS SOPS 26688 HAS SOUS 22687 HAS SOUPS 14304 WITH SCORE 14347.499
AT ITER 7058 NEW BEST:: SOT 74419 SOS 43457 HAS SOPS 26639 HAS SOUS 22631 HAS SOUPS 14248 WITH SCORE 14291.457
AT ITER 7071 NEW BEST:: SOT 74413 SOS 43463 HAS SOPS 26639 HAS SOUS 22625 HAS SOUPS 14242 WITH SCORE 14285.463
AT ITER 7095 NEW BEST:: SOT 74413 SOS 43458 HAS SOPS 26639 HAS SOUS 22614 HAS SOUPS 14242 WITH SCORE 14285.458
AT ITER 7099 NEW BEST:: SOT 74508 SOS 43495 HAS SOPS 26691 HAS SOUS 22544 HAS SOUPS 14183 WITH SCORE 14226.495
AT ITER 7106 NEW BEST:: SOT 74508 SOS 43460 HAS SOPS 26656 HAS SOUS 22541 HAS SOUPS 14180 WITH SCORE 14223.46
AT ITER 7143 NEW BEST:: SOT 74508 SOS 43458 HAS SOPS 26656 HAS SOUS 22541 HAS SOUPS 14180 WITH SCORE 14223.458
AT ITER 7159 NEW BEST:: SOT 74444 SOS 43394 HAS SOPS 26584 HAS SOUS 22493 HAS SOUPS 14124 WITH SCORE 14167.394
AT ITER 7168 NEW BEST:: SOT 74333 SOS 43283 HAS SOPS 26473 HAS SOUS 22466 HAS SOUPS 14097 WITH SCORE 14140.283
AT ITER 7175 NEW BEST:: SOT 74687 SOS 43703 HAS SOPS 26923 HAS SOUS 22423 HAS SOUPS 14084 WITH SCORE 14127.703
AT ITER 7199 NEW BEST:: SOT 74684 SOS 43700 HAS SOPS 26920 HAS SOUS 22420 HAS SOUPS 14081 WITH SCORE 14124.7
AT ITER 7217 NEW BEST:: SOT 74581 SOS 43620 HAS SOPS 26817 HAS SOUS 22480 HAS SOUPS 13986 WITH SCORE 14029.62
AT ITER 7263 NEW BEST:: SOT 74663 SOS 43710 HAS SOPS 26915 HAS SOUS 22426 HAS SOUPS 13940 WITH SCORE 13983.71
AT ITER 7331 NEW BEST:: SOT 74670 SOS 43711 HAS SOPS 26925 HAS SOUS 22406 HAS SOUPS 13938 WITH SCORE 13981.711
AT ITER 7359 NEW BEST:: SOT 74664 SOS 43704 HAS SOPS 26912 HAS SOUS 22398 HAS SOUPS 13925 WITH SCORE 13968.704
AT ITER 7409 NEW BEST:: SOT 74651 SOS 43691 HAS SOPS 26886 HAS SOUS 22385 HAS SOUPS 13899 WITH SCORE 13942.691
AT ITER 7450 NEW BEST:: SOT 74644 SOS 43681 HAS SOPS 26845 HAS SOUS 22378 HAS SOUPS 13892 WITH SCORE 13935.681
AT ITER 7507 NEW BEST:: SOT 74643 SOS 43680 HAS SOPS 26843 HAS SOUS 22377 HAS SOUPS 13890 WITH SCORE 13933.68
AT ITER 7526 NEW BEST:: SOT 74630 SOS 43668 HAS SOPS 26828 HAS SOUS 22371 HAS SOUPS 13883 WITH SCORE 13926.668
AT ITER 7543 NEW BEST:: SOT 74630 SOS 43676 HAS SOPS 26820 HAS SOUS 22366 HAS SOUPS 13875 WITH SCORE 13918.676
AT ITER 7593 NEW BEST:: SOT 74623 SOS 43670 HAS SOPS 26814 HAS SOUS 22360 HAS SOUPS 13869 WITH SCORE 13912.67
AT ITER 7609 NEW BEST:: SOT 74623 SOS 43670 HAS SOPS 26810 HAS SOUS 22360 HAS SOUPS 13865 WITH SCORE 13908.67
AT ITER 7634 NEW BEST:: SOT 74594 SOS 43645 HAS SOPS 26748 HAS SOUS 22340 HAS SOUPS 13845 WITH SCORE 13888.645
AT ITER 7666 NEW BEST:: SOT 74588 SOS 43639 HAS SOPS 26742 HAS SOUS 22310 HAS SOUPS 13815 WITH SCORE 13858.639
AT ITER 7678 NEW BEST:: SOT 74587 SOS 43638 HAS SOPS 26740 HAS SOUS 22309 HAS SOUPS 13813 WITH SCORE 13856.638
AT ITER 7700 NEW BEST:: SOT 74580 SOS 43633 HAS SOPS 26735 HAS SOUS 22304 HAS SOUPS 13808 WITH SCORE 13851.633
AT ITER 7742 NEW BEST:: SOT 74580 SOS 43633 HAS SOPS 26722 HAS SOUS 22291 HAS SOUPS 13795 WITH SCORE 13838.633
AT ITER 7756 NEW BEST:: SOT 74580 SOS 43638 HAS SOPS 26682 HAS SOUS 22291 HAS SOUPS 13755 WITH SCORE 13798.638
AT ITER 7766 NEW BEST:: SOT 74497 SOS 43555 HAS SOPS 26603 HAS SOUS 22212 HAS SOUPS 13676 WITH SCORE 13719.555
AT ITER 7778 NEW BEST:: SOT 74490 SOS 43548 HAS SOPS 26589 HAS SOUS 22200 HAS SOUPS 13662 WITH SCORE 13705.548
AT ITER 7884 NEW BEST:: SOT 74455 SOS 43435 HAS SOPS 26554 HAS SOUS 22134 HAS SOUPS 13651 WITH SCORE 13694.435
AT ITER 8012 NEW BEST:: SOT 74438 SOS 43200 HAS SOPS 26545 HAS SOUS 21888 HAS SOUPS 13642 WITH SCORE 13685.2
AT ITER 8029 NEW BEST:: SOT 74426 SOS 43166 HAS SOPS 26540 HAS SOUS 21849 HAS SOUPS 13637 WITH SCORE 13680.166
AT ITER 8090 NEW BEST:: SOT 74423 SOS 43163 HAS SOPS 26534 HAS SOUS 21846 HAS SOUPS 13631 WITH SCORE 13674.163
AT ITER 8134 NEW BEST:: SOT 74423 SOS 43107 HAS SOPS 26478 HAS SOUS 21846 HAS SOUPS 13631 WITH SCORE 13674.107
AT ITER 8180 NEW BEST:: SOT 74417 SOS 43101 HAS SOPS 26469 HAS SOUS 21840 HAS SOUPS 13622 WITH SCORE 13665.101
AT ITER 8183 NEW BEST:: SOT 74404 SOS 43088 HAS SOPS 26453 HAS SOUS 21827 HAS SOUPS 13606 WITH SCORE 13649.088
AT ITER 8193 NEW BEST:: SOT 74403 SOS 43087 HAS SOPS 26451 HAS SOUS 21826 HAS SOUPS 13604 WITH SCORE 13647.087
AT ITER 8335 NEW BEST:: SOT 74401 SOS 43071 HAS SOPS 26435 HAS SOUS 21810 HAS SOUPS 13588 WITH SCORE 13631.071
AT ITER 8342 NEW BEST:: SOT 74401 SOS 43067 HAS SOPS 26435 HAS SOUS 21805 HAS SOUPS 13588 WITH SCORE 13631.067
AT ITER 8376 NEW BEST:: SOT 74401 SOS 43066 HAS SOPS 26435 HAS SOUS 21804 HAS SOUPS 13588 WITH SCORE 13631.066
AT ITER 8403 NEW BEST:: SOT 74385 SOS 43050 HAS SOPS 26403 HAS SOUS 21788 HAS SOUPS 13556 WITH SCORE 13599.05
AT ITER 8406 NEW BEST:: SOT 74372 SOS 43102 HAS SOPS 26390 HAS SOUS 21999 HAS SOUPS 13543 WITH SCORE 13586.102
AT ITER 8470 NEW BEST:: SOT 74379 SOS 43110 HAS SOPS 26399 HAS SOUS 21990 HAS SOUPS 13535 WITH SCORE 13578.11
AT ITER 8484 NEW BEST:: SOT 74422 SOS 43158 HAS SOPS 26453 HAS SOUS 21962 HAS SOUPS 13512 WITH SCORE 13555.158
AT ITER 8554 NEW BEST:: SOT 74414 SOS 43150 HAS SOPS 26445 HAS SOUS 21954 HAS SOUPS 13504 WITH SCORE 13547.15
AT ITER 8683 NEW BEST:: SOT 74413 SOS 43150 HAS SOPS 26444 HAS SOUS 21952 HAS SOUPS 13503 WITH SCORE 13546.15
AT ITER 8712 NEW BEST:: SOT 74410 SOS 43147 HAS SOPS 26441 HAS SOUS 21949 HAS SOUPS 13500 WITH SCORE 13543.147
AT ITER 8722 NEW BEST:: SOT 74410 SOS 43147 HAS SOPS 26437 HAS SOUS 21949 HAS SOUPS 13496 WITH SCORE 13539.147
AT ITER 8753 NEW BEST:: SOT 74399 SOS 43103 HAS SOPS 26422 HAS SOUS 21934 HAS SOUPS 13481 WITH SCORE 13524.103
AT ITER 8766 NEW BEST:: SOT 74399 SOS 43079 HAS SOPS 26398 HAS SOUS 21934 HAS SOUPS 13481 WITH SCORE 13524.079
AT ITER 8804 NEW BEST:: SOT 74396 SOS 43076 HAS SOPS 26392 HAS SOUS 21931 HAS SOUPS 13475 WITH SCORE 13518.076
AT ITER 8898 NEW BEST:: SOT 74396 SOS 43076 HAS SOPS 26390 HAS SOUS 21931 HAS SOUPS 13473 WITH SCORE 13516.076
AT ITER 8917 NEW BEST:: SOT 74244 SOS 42934 HAS SOPS 26228 HAS SOUS 21939 HAS SOUPS 13471 WITH SCORE 13513.934
AT ITER 8937 NEW BEST:: SOT 74243 SOS 42933 HAS SOPS 26227 HAS SOUS 21938 HAS SOUPS 13470 WITH SCORE 13512.933
AT ITER 8955 NEW BEST:: SOT 74241 SOS 42931 HAS SOPS 26222 HAS SOUS 21936 HAS SOUPS 13465 WITH SCORE 13507.931
AT ITER 8970 NEW BEST:: SOT 74240 SOS 42930 HAS SOPS 26220 HAS SOUS 21935 HAS SOUPS 13463 WITH SCORE 13505.93
AT ITER 9155 NEW BEST:: SOT 74240 SOS 42868 HAS SOPS 26177 HAS SOUS 21929 HAS SOUPS 13457 WITH SCORE 13499.868
AT ITER 9262 NEW BEST:: SOT 74239 SOS 42868 HAS SOPS 26175 HAS SOUS 21932 HAS SOUPS 13455 WITH SCORE 13497.868
AT ITER 9391 NEW BEST:: SOT 74227 SOS 42856 HAS SOPS 26151 HAS SOUS 21920 HAS SOUPS 13431 WITH SCORE 13473.856
AT ITER 9397 NEW BEST:: SOT 74227 SOS 42840 HAS SOPS 26135 HAS SOUS 21918 HAS SOUPS 13429 WITH SCORE 13471.84
AT ITER 9478 NEW BEST:: SOT 74214 SOS 42827 HAS SOPS 26109 HAS SOUS 21905 HAS SOUPS 13403 WITH SCORE 13445.827
AT ITER 9530 NEW BEST:: SOT 74095 SOS 42742 HAS SOPS 26024 HAS SOUS 21803 HAS SOUPS 13301 WITH SCORE 13343.742
AT ITER 9578 NEW BEST:: SOT 74094 SOS 42741 HAS SOPS 26023 HAS SOUS 21802 HAS SOUPS 13300 WITH SCORE 13342.741
AT ITER 9649 NEW BEST:: SOT 74076 SOS 42667 HAS SOPS 25981 HAS SOUS 21760 HAS SOUPS 13258 WITH SCORE 13300.667
AT ITER 9651 NEW BEST:: SOT 74074 SOS 42665 HAS SOPS 25979 HAS SOUS 21758 HAS SOUPS 13256 WITH SCORE 13298.665
AT ITER 9717 NEW BEST:: SOT 74073 SOS 42664 HAS SOPS 25977 HAS SOUS 21757 HAS SOUPS 13254 WITH SCORE 13296.664
AT ITER 9790 NEW BEST:: SOT 74060 SOS 42644 HAS SOPS 25957 HAS SOUS 21749 HAS SOUPS 13246 WITH SCORE 13288.644
AT ITER 9824 NEW BEST:: SOT 74060 SOS 42623 HAS SOPS 25936 HAS SOUS 21749 HAS SOUPS 13246 WITH SCORE 13288.623
AT ITER 9921 NEW BEST:: SOT 74053 SOS 42617 HAS SOPS 25929 HAS SOUS 21743 HAS SOUPS 13239 WITH SCORE 13281.617
AT ITER 9928 NEW BEST:: SOT 74003 SOS 42727 HAS SOPS 25868 HAS SOUS 21753 HAS SOUPS 13230 WITH SCORE 13272.727
AT ITER 9946 NEW BEST:: SOT 74003 SOS 42726 HAS SOPS 25868 HAS SOUS 21753 HAS SOUPS 13230 WITH SCORE 13272.726
AT ITER 9950 NEW BEST:: SOT 74001 SOS 42724 HAS SOPS 25864 HAS SOUS 21751 HAS SOUPS 13226 WITH SCORE 13268.724

BK_STOP 1678616353654

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 365 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="LamportFastMutEx-PT-8"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is LamportFastMutEx-PT-8, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410500448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-PT-8.tgz
mv LamportFastMutEx-PT-8 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;