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.r163-tall-167838847900512.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 FlexibleBarrier-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847900512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 7.2K Feb 25 13:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 13:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 12:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 12:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 13:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 13:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 128K 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 1678451136875

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=FlexibleBarrier-PT-12a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 12a
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: 147 places, 448 transitions, 2045 arcs.
AT ITER 0 NEW BEST:: SOT 56392 SOS 46478 HAS SOPS 46478 HAS SOUS 27625 HAS SOUPS 27625 WITH SCORE 27671.478
AT ITER 1 NEW BEST:: SOT 56459 SOS 46581 HAS SOPS 46581 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26847.581
AT ITER 3 NEW BEST:: SOT 56447 SOS 46569 HAS SOPS 46569 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26847.569
AT ITER 6 NEW BEST:: SOT 56466 SOS 46420 HAS SOPS 46420 HAS SOUS 26188 HAS SOUPS 26188 WITH SCORE 26234.42
AT ITER 9 NEW BEST:: SOT 56558 SOS 46400 HAS SOPS 46400 HAS SOUS 26139 HAS SOUPS 26139 WITH SCORE 26185.4
AT ITER 13 NEW BEST:: SOT 56397 SOS 46273 HAS SOPS 46273 HAS SOUS 26031 HAS SOUPS 26031 WITH SCORE 26077.273
AT ITER 14 NEW BEST:: SOT 56397 SOS 46217 HAS SOPS 46217 HAS SOUS 26003 HAS SOUPS 26003 WITH SCORE 26049.217
AT ITER 15 NEW BEST:: SOT 56441 SOS 46213 HAS SOPS 46213 HAS SOUS 26001 HAS SOUPS 26001 WITH SCORE 26047.213
AT ITER 20 NEW BEST:: SOT 56476 SOS 46283 HAS SOPS 46283 HAS SOUS 25998 HAS SOUPS 25998 WITH SCORE 26044.283
AT ITER 21 NEW BEST:: SOT 56469 SOS 46276 HAS SOPS 46276 HAS SOUS 25998 HAS SOUPS 25998 WITH SCORE 26044.276
AT ITER 22 NEW BEST:: SOT 56471 SOS 46222 HAS SOPS 46222 HAS SOUS 25908 HAS SOUPS 25908 WITH SCORE 25954.222
AT ITER 24 NEW BEST:: SOT 56278 SOS 46029 HAS SOPS 46029 HAS SOUS 25803 HAS SOUPS 25803 WITH SCORE 25849.029
AT ITER 28 NEW BEST:: SOT 56404 SOS 45666 HAS SOPS 45666 HAS SOUS 24267 HAS SOUPS 24267 WITH SCORE 24312.666
AT ITER 29 NEW BEST:: SOT 56482 SOS 45702 HAS SOPS 45702 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24306.702
AT ITER 30 NEW BEST:: SOT 56362 SOS 45558 HAS SOPS 45558 HAS SOUS 24192 HAS SOUPS 24192 WITH SCORE 24237.558
AT ITER 31 NEW BEST:: SOT 56362 SOS 45551 HAS SOPS 45551 HAS SOUS 24192 HAS SOUPS 24192 WITH SCORE 24237.551
AT ITER 32 NEW BEST:: SOT 56426 SOS 45679 HAS SOPS 45679 HAS SOUS 24191 HAS SOUPS 24191 WITH SCORE 24236.679
AT ITER 33 NEW BEST:: SOT 56304 SOS 45517 HAS SOPS 45517 HAS SOUS 24053 HAS SOUPS 24053 WITH SCORE 24098.517
AT ITER 36 NEW BEST:: SOT 56029 SOS 44768 HAS SOPS 44768 HAS SOUS 22766 HAS SOUPS 22766 WITH SCORE 22810.768
AT ITER 37 NEW BEST:: SOT 54676 SOS 43482 HAS SOPS 43384 HAS SOUS 21461 HAS SOUPS 21426 WITH SCORE 21469.482
AT ITER 41 NEW BEST:: SOT 54773 SOS 43539 HAS SOPS 43441 HAS SOUS 21426 HAS SOUPS 21391 WITH SCORE 21434.539
AT ITER 43 NEW BEST:: SOT 54781 SOS 43555 HAS SOPS 43457 HAS SOUS 21403 HAS SOUPS 21368 WITH SCORE 21411.555
AT ITER 46 NEW BEST:: SOT 54781 SOS 43549 HAS SOPS 43451 HAS SOUS 21403 HAS SOUPS 21368 WITH SCORE 21411.549
AT ITER 48 NEW BEST:: SOT 54793 SOS 43521 HAS SOPS 43404 HAS SOUS 21353 HAS SOUPS 21318 WITH SCORE 21361.521
AT ITER 50 NEW BEST:: SOT 54814 SOS 43329 HAS SOPS 43212 HAS SOUS 20937 HAS SOUPS 20902 WITH SCORE 20945.329
AT ITER 53 NEW BEST:: SOT 54880 SOS 43356 HAS SOPS 43239 HAS SOUS 20892 HAS SOUPS 20857 WITH SCORE 20900.356
AT ITER 54 NEW BEST:: SOT 54957 SOS 43353 HAS SOPS 43236 HAS SOUS 20830 HAS SOUPS 20795 WITH SCORE 20838.353
AT ITER 56 NEW BEST:: SOT 53665 SOS 42169 HAS SOPS 41944 HAS SOUS 20566 HAS SOUPS 20500 WITH SCORE 20542.169
AT ITER 58 NEW BEST:: SOT 52595 SOS 41029 HAS SOPS 40800 HAS SOUS 20065 HAS SOUPS 19999 WITH SCORE 20040.029
AT ITER 59 NEW BEST:: SOT 52574 SOS 41008 HAS SOPS 40779 HAS SOUS 20023 HAS SOUPS 19957 WITH SCORE 19998.008
AT ITER 61 NEW BEST:: SOT 52595 SOS 41027 HAS SOPS 40798 HAS SOUS 20000 HAS SOUPS 19934 WITH SCORE 19975.027
AT ITER 64 NEW BEST:: SOT 52593 SOS 41023 HAS SOPS 40794 HAS SOUS 20000 HAS SOUPS 19934 WITH SCORE 19975.023
AT ITER 68 NEW BEST:: SOT 52546 SOS 40976 HAS SOPS 40747 HAS SOUS 19953 HAS SOUPS 19887 WITH SCORE 19927.976
AT ITER 71 NEW BEST:: SOT 51437 SOS 39910 HAS SOPS 39681 HAS SOUS 19483 HAS SOUPS 19417 WITH SCORE 19456.91
AT ITER 75 NEW BEST:: SOT 51349 SOS 39777 HAS SOPS 39533 HAS SOUS 19403 HAS SOUPS 19337 WITH SCORE 19376.777
AT ITER 83 NEW BEST:: SOT 51709 SOS 39037 HAS SOPS 38764 HAS SOUS 18548 HAS SOUPS 18482 WITH SCORE 18521.037
AT ITER 88 NEW BEST:: SOT 51708 SOS 39035 HAS SOPS 38762 HAS SOUS 18547 HAS SOUPS 18481 WITH SCORE 18520.035
AT ITER 89 NEW BEST:: SOT 51726 SOS 39014 HAS SOPS 38591 HAS SOUS 17910 HAS SOUPS 17826 WITH SCORE 17865.014
AT ITER 96 NEW BEST:: SOT 51726 SOS 38012 HAS SOPS 37589 HAS SOUS 17256 HAS SOUPS 17172 WITH SCORE 17210.012
AT ITER 101 NEW BEST:: SOT 51725 SOS 38010 HAS SOPS 37587 HAS SOUS 17253 HAS SOUPS 17169 WITH SCORE 17207.01
AT ITER 102 NEW BEST:: SOT 51712 SOS 37997 HAS SOPS 37574 HAS SOUS 17238 HAS SOUPS 17154 WITH SCORE 17191.997
AT ITER 104 NEW BEST:: SOT 51681 SOS 37935 HAS SOPS 37512 HAS SOUS 17167 HAS SOUPS 17083 WITH SCORE 17120.935
AT ITER 108 NEW BEST:: SOT 51668 SOS 37909 HAS SOPS 37486 HAS SOUS 17165 HAS SOUPS 17081 WITH SCORE 17118.909
AT ITER 110 NEW BEST:: SOT 51688 SOS 37844 HAS SOPS 37441 HAS SOUS 17119 HAS SOUPS 17035 WITH SCORE 17072.844
AT ITER 117 NEW BEST:: SOT 51499 SOS 37655 HAS SOPS 37252 HAS SOUS 17020 HAS SOUPS 16936 WITH SCORE 16973.655
AT ITER 120 NEW BEST:: SOT 51556 SOS 37653 HAS SOPS 37219 HAS SOUS 16987 HAS SOUPS 16903 WITH SCORE 16940.653
AT ITER 121 NEW BEST:: SOT 51532 SOS 35765 HAS SOPS 34931 HAS SOUS 15067 HAS SOUPS 14980 WITH SCORE 15015.765
AT ITER 122 NEW BEST:: SOT 51507 SOS 35709 HAS SOPS 34812 HAS SOUS 14976 HAS SOUPS 14889 WITH SCORE 14924.709
AT ITER 127 NEW BEST:: SOT 51373 SOS 35592 HAS SOPS 34695 HAS SOUS 14955 HAS SOUPS 14868 WITH SCORE 14903.592
AT ITER 130 NEW BEST:: SOT 51367 SOS 35580 HAS SOPS 34683 HAS SOUS 14949 HAS SOUPS 14862 WITH SCORE 14897.58
AT ITER 132 NEW BEST:: SOT 51330 SOS 35502 HAS SOPS 34620 HAS SOUS 14883 HAS SOUPS 14796 WITH SCORE 14831.502
AT ITER 134 NEW BEST:: SOT 51294 SOS 35358 HAS SOPS 34476 HAS SOUS 14841 HAS SOUPS 14754 WITH SCORE 14789.358
AT ITER 135 NEW BEST:: SOT 51310 SOS 35390 HAS SOPS 34508 HAS SOUS 14812 HAS SOUPS 14725 WITH SCORE 14760.39
AT ITER 137 NEW BEST:: SOT 51232 SOS 35312 HAS SOPS 34427 HAS SOUS 14770 HAS SOUPS 14680 WITH SCORE 14715.312
AT ITER 138 NEW BEST:: SOT 50771 SOS 35270 HAS SOPS 33908 HAS SOUS 14370 HAS SOUPS 14252 WITH SCORE 14287.27
AT ITER 140 NEW BEST:: SOT 50390 SOS 34914 HAS SOPS 33571 HAS SOUS 14233 HAS SOUPS 14115 WITH SCORE 14149.914
AT ITER 141 NEW BEST:: SOT 50388 SOS 34911 HAS SOPS 33567 HAS SOUS 14228 HAS SOUPS 14110 WITH SCORE 14144.911
AT ITER 142 NEW BEST:: SOT 50200 SOS 34719 HAS SOPS 33375 HAS SOUS 14132 HAS SOUPS 14014 WITH SCORE 14048.719
AT ITER 143 NEW BEST:: SOT 50189 SOS 34697 HAS SOPS 33353 HAS SOUS 14132 HAS SOUPS 14014 WITH SCORE 14048.697
AT ITER 146 NEW BEST:: SOT 49384 SOS 33899 HAS SOPS 32555 HAS SOUS 13721 HAS SOUPS 13603 WITH SCORE 13636.899
AT ITER 148 NEW BEST:: SOT 49417 SOS 33872 HAS SOPS 32528 HAS SOUS 13663 HAS SOUPS 13545 WITH SCORE 13578.872
AT ITER 149 NEW BEST:: SOT 49392 SOS 33754 HAS SOPS 32434 HAS SOUS 13613 HAS SOUPS 13495 WITH SCORE 13528.754
AT ITER 150 NEW BEST:: SOT 49392 SOS 33680 HAS SOPS 32373 HAS SOUS 13613 HAS SOUPS 13495 WITH SCORE 13528.68
AT ITER 158 NEW BEST:: SOT 49334 SOS 33662 HAS SOPS 32364 HAS SOUS 13589 HAS SOUPS 13471 WITH SCORE 13504.662
AT ITER 166 NEW BEST:: SOT 49355 SOS 33275 HAS SOPS 31977 HAS SOUS 13469 HAS SOUPS 13351 WITH SCORE 13384.275
AT ITER 170 NEW BEST:: SOT 49353 SOS 33273 HAS SOPS 31973 HAS SOUS 13466 HAS SOUPS 13348 WITH SCORE 13381.273
AT ITER 172 NEW BEST:: SOT 49324 SOS 33240 HAS SOPS 31915 HAS SOUS 13411 HAS SOUPS 13293 WITH SCORE 13326.24
AT ITER 173 NEW BEST:: SOT 49324 SOS 31739 HAS SOPS 30414 HAS SOUS 13023 HAS SOUPS 12905 WITH SCORE 12936.739
AT ITER 185 NEW BEST:: SOT 49301 SOS 30847 HAS SOPS 29522 HAS SOUS 12921 HAS SOUPS 12803 WITH SCORE 12833.847
AT ITER 186 NEW BEST:: SOT 49298 SOS 30844 HAS SOPS 29519 HAS SOUS 12919 HAS SOUPS 12801 WITH SCORE 12831.844
AT ITER 189 NEW BEST:: SOT 49292 SOS 30838 HAS SOPS 29507 HAS SOUS 12907 HAS SOUPS 12789 WITH SCORE 12819.838
AT ITER 193 NEW BEST:: SOT 49238 SOS 30806 HAS SOPS 29433 HAS SOUS 12851 HAS SOUPS 12733 WITH SCORE 12763.806
AT ITER 194 NEW BEST:: SOT 49267 SOS 30556 HAS SOPS 28860 HAS SOUS 12193 HAS SOUPS 12075 WITH SCORE 12105.556
AT ITER 201 NEW BEST:: SOT 49223 SOS 30404 HAS SOPS 28712 HAS SOUS 12043 HAS SOUPS 11934 WITH SCORE 11964.404
AT ITER 204 NEW BEST:: SOT 49203 SOS 30364 HAS SOPS 28692 HAS SOUS 12023 HAS SOUPS 11914 WITH SCORE 11944.364
AT ITER 209 NEW BEST:: SOT 49196 SOS 30279 HAS SOPS 28547 HAS SOUS 11841 HAS SOUPS 11732 WITH SCORE 11762.279
AT ITER 211 NEW BEST:: SOT 49204 SOS 30305 HAS SOPS 28563 HAS SOUS 11832 HAS SOUPS 11723 WITH SCORE 11753.305
AT ITER 212 NEW BEST:: SOT 47602 SOS 29065 HAS SOPS 27323 HAS SOUS 11295 HAS SOUPS 11186 WITH SCORE 11215.065
AT ITER 217 NEW BEST:: SOT 47447 SOS 28828 HAS SOPS 27077 HAS SOUS 11088 HAS SOUPS 10979 WITH SCORE 11007.828
AT ITER 218 NEW BEST:: SOT 47446 SOS 28827 HAS SOPS 27075 HAS SOUS 11085 HAS SOUPS 10976 WITH SCORE 11004.827
AT ITER 229 NEW BEST:: SOT 47442 SOS 28819 HAS SOPS 27067 HAS SOUS 11082 HAS SOUPS 10973 WITH SCORE 11001.819
AT ITER 231 NEW BEST:: SOT 47416 SOS 28767 HAS SOPS 27015 HAS SOUS 11058 HAS SOUPS 10949 WITH SCORE 10977.767
AT ITER 240 NEW BEST:: SOT 47413 SOS 28758 HAS SOPS 27006 HAS SOUS 11052 HAS SOUPS 10943 WITH SCORE 10971.758
AT ITER 244 NEW BEST:: SOT 47426 SOS 28687 HAS SOPS 26879 HAS SOUS 10926 HAS SOUPS 10817 WITH SCORE 10845.687
AT ITER 247 NEW BEST:: SOT 47325 SOS 28797 HAS SOPS 26778 HAS SOUS 10837 HAS SOUPS 10720 WITH SCORE 10748.797
AT ITER 248 NEW BEST:: SOT 47316 SOS 28784 HAS SOPS 26765 HAS SOUS 10824 HAS SOUPS 10707 WITH SCORE 10735.784
AT ITER 249 NEW BEST:: SOT 47314 SOS 28781 HAS SOPS 26761 HAS SOUS 10808 HAS SOUPS 10691 WITH SCORE 10719.781
AT ITER 257 NEW BEST:: SOT 47304 SOS 28664 HAS SOPS 26644 HAS SOUS 10776 HAS SOUPS 10659 WITH SCORE 10687.664
AT ITER 260 NEW BEST:: SOT 47292 SOS 28640 HAS SOPS 26620 HAS SOUS 10756 HAS SOUPS 10639 WITH SCORE 10667.64
AT ITER 271 NEW BEST:: SOT 47334 SOS 28536 HAS SOPS 26544 HAS SOUS 10740 HAS SOUPS 10623 WITH SCORE 10651.536
AT ITER 274 NEW BEST:: SOT 47276 SOS 28446 HAS SOPS 26426 HAS SOUS 10652 HAS SOUPS 10535 WITH SCORE 10563.446
AT ITER 277 NEW BEST:: SOT 47248 SOS 28418 HAS SOPS 26379 HAS SOUS 10610 HAS SOUPS 10493 WITH SCORE 10521.418
AT ITER 288 NEW BEST:: SOT 47253 SOS 28390 HAS SOPS 26351 HAS SOUS 10610 HAS SOUPS 10493 WITH SCORE 10521.39
AT ITER 290 NEW BEST:: SOT 47265 SOS 28430 HAS SOPS 26375 HAS SOUS 10576 HAS SOUPS 10459 WITH SCORE 10487.43
AT ITER 293 NEW BEST:: SOT 47222 SOS 28359 HAS SOPS 26304 HAS SOUS 10532 HAS SOUPS 10415 WITH SCORE 10443.359
AT ITER 295 NEW BEST:: SOT 47210 SOS 28317 HAS SOPS 26262 HAS SOUS 10515 HAS SOUPS 10398 WITH SCORE 10426.317
AT ITER 301 NEW BEST:: SOT 47201 SOS 28291 HAS SOPS 26189 HAS SOUS 10433 HAS SOUPS 10316 WITH SCORE 10344.291
AT ITER 304 NEW BEST:: SOT 47195 SOS 28279 HAS SOPS 26177 HAS SOUS 10433 HAS SOUPS 10316 WITH SCORE 10344.279
AT ITER 305 NEW BEST:: SOT 47210 SOS 27627 HAS SOPS 25525 HAS SOUS 10386 HAS SOUPS 10269 WITH SCORE 10296.627
AT ITER 312 NEW BEST:: SOT 47207 SOS 27621 HAS SOPS 25519 HAS SOUS 10386 HAS SOUPS 10269 WITH SCORE 10296.621
AT ITER 313 NEW BEST:: SOT 47194 SOS 27608 HAS SOPS 25493 HAS SOUS 10381 HAS SOUPS 10259 WITH SCORE 10286.608
AT ITER 318 NEW BEST:: SOT 47203 SOS 27598 HAS SOPS 25464 HAS SOUS 10352 HAS SOUPS 10230 WITH SCORE 10257.598
AT ITER 323 NEW BEST:: SOT 47087 SOS 27410 HAS SOPS 25216 HAS SOUS 10198 HAS SOUPS 10076 WITH SCORE 10103.41
AT ITER 324 NEW BEST:: SOT 47063 SOS 27386 HAS SOPS 25168 HAS SOUS 10150 HAS SOUPS 10028 WITH SCORE 10055.386
AT ITER 333 NEW BEST:: SOT 47062 SOS 27350 HAS SOPS 25132 HAS SOUS 10145 HAS SOUPS 10023 WITH SCORE 10050.35
AT ITER 338 NEW BEST:: SOT 47058 SOS 27342 HAS SOPS 25124 HAS SOUS 10141 HAS SOUPS 10019 WITH SCORE 10046.342
AT ITER 341 NEW BEST:: SOT 46616 SOS 27368 HAS SOPS 24682 HAS SOUS 9926 HAS SOUPS 9795 WITH SCORE 9822.368
AT ITER 344 NEW BEST:: SOT 46664 SOS 27321 HAS SOPS 24635 HAS SOUS 9915 HAS SOUPS 9784 WITH SCORE 9811.321
AT ITER 349 NEW BEST:: SOT 46623 SOS 27329 HAS SOPS 24630 HAS SOUS 9911 HAS SOUPS 9779 WITH SCORE 9806.329
AT ITER 352 NEW BEST:: SOT 46611 SOS 27305 HAS SOPS 24606 HAS SOUS 9891 HAS SOUPS 9759 WITH SCORE 9786.305
AT ITER 353 NEW BEST:: SOT 46611 SOS 27304 HAS SOPS 24603 HAS SOUS 9879 HAS SOUPS 9746 WITH SCORE 9773.304
AT ITER 363 NEW BEST:: SOT 46606 SOS 27329 HAS SOPS 24628 HAS SOUS 9875 HAS SOUPS 9742 WITH SCORE 9769.329
AT ITER 372 NEW BEST:: SOT 46548 SOS 27209 HAS SOPS 24471 HAS SOUS 9722 HAS SOUPS 9585 WITH SCORE 9612.209
AT ITER 375 NEW BEST:: SOT 46573 SOS 27186 HAS SOPS 24471 HAS SOUS 9722 HAS SOUPS 9585 WITH SCORE 9612.186
AT ITER 379 NEW BEST:: SOT 46537 SOS 27114 HAS SOPS 24363 HAS SOUS 9599 HAS SOUPS 9462 WITH SCORE 9489.114
AT ITER 380 NEW BEST:: SOT 46527 SOS 27095 HAS SOPS 24343 HAS SOUS 9579 HAS SOUPS 9442 WITH SCORE 9469.095
AT ITER 383 NEW BEST:: SOT 46517 SOS 27027 HAS SOPS 24275 HAS SOUS 9553 HAS SOUPS 9416 WITH SCORE 9443.027
AT ITER 393 NEW BEST:: SOT 45671 SOS 35945 HAS SOPS 23362 HAS SOUS 9356 HAS SOUPS 9150 WITH SCORE 9185.945
AT ITER 394 NEW BEST:: SOT 45671 SOS 35955 HAS SOPS 23362 HAS SOUS 9346 HAS SOUPS 9140 WITH SCORE 9175.955
AT ITER 396 NEW BEST:: SOT 45655 SOS 35939 HAS SOPS 23346 HAS SOUS 9314 HAS SOUPS 9108 WITH SCORE 9143.939
AT ITER 406 NEW BEST:: SOT 45677 SOS 35917 HAS SOPS 23346 HAS SOUS 9314 HAS SOUPS 9108 WITH SCORE 9143.917
AT ITER 416 NEW BEST:: SOT 45228 SOS 35475 HAS SOPS 22901 HAS SOUS 9100 HAS SOUPS 8892 WITH SCORE 8927.475
AT ITER 427 NEW BEST:: SOT 45219 SOS 35439 HAS SOPS 22865 HAS SOUS 9074 HAS SOUPS 8866 WITH SCORE 8901.439
AT ITER 432 NEW BEST:: SOT 44956 SOS 36597 HAS SOPS 22563 HAS SOUS 8819 HAS SOUPS 8572 WITH SCORE 8608.597
AT ITER 436 NEW BEST:: SOT 44937 SOS 36601 HAS SOPS 22560 HAS SOUS 8787 HAS SOUPS 8540 WITH SCORE 8576.601
AT ITER 440 NEW BEST:: SOT 44907 SOS 36586 HAS SOPS 22515 HAS SOUS 8742 HAS SOUPS 8495 WITH SCORE 8531.586
AT ITER 450 NEW BEST:: SOT 44897 SOS 36566 HAS SOPS 22490 HAS SOUS 8722 HAS SOUPS 8475 WITH SCORE 8511.566
AT ITER 457 NEW BEST:: SOT 44893 SOS 36558 HAS SOPS 22482 HAS SOUS 8714 HAS SOUPS 8467 WITH SCORE 8503.558
AT ITER 474 NEW BEST:: SOT 44825 SOS 36444 HAS SOPS 22346 HAS SOUS 8633 HAS SOUPS 8386 WITH SCORE 8422.444
AT ITER 476 NEW BEST:: SOT 44805 SOS 36414 HAS SOPS 22311 HAS SOUS 8603 HAS SOUPS 8356 WITH SCORE 8392.414
AT ITER 477 NEW BEST:: SOT 44758 SOS 36367 HAS SOPS 22251 HAS SOUS 8561 HAS SOUPS 8314 WITH SCORE 8350.367
AT ITER 481 NEW BEST:: SOT 44749 SOS 36358 HAS SOPS 22233 HAS SOUS 8543 HAS SOUPS 8296 WITH SCORE 8332.358
AT ITER 484 NEW BEST:: SOT 44359 SOS 35978 HAS SOPS 21985 HAS SOUS 8487 HAS SOUPS 8240 WITH SCORE 8275.978
AT ITER 488 NEW BEST:: SOT 44326 SOS 35919 HAS SOPS 22527 HAS SOUS 8486 HAS SOUPS 8239 WITH SCORE 8274.919
AT ITER 494 NEW BEST:: SOT 44459 SOS 28769 HAS SOPS 22719 HAS SOUS 8412 HAS SOUPS 8211 WITH SCORE 8239.769
AT ITER 497 NEW BEST:: SOT 44454 SOS 28810 HAS SOPS 22709 HAS SOUS 8402 HAS SOUPS 8201 WITH SCORE 8229.81
AT ITER 506 NEW BEST:: SOT 44438 SOS 28905 HAS SOPS 22691 HAS SOUS 8395 HAS SOUPS 8193 WITH SCORE 8221.905
AT ITER 510 NEW BEST:: SOT 44456 SOS 28931 HAS SOPS 22727 HAS SOUS 8380 HAS SOUPS 8178 WITH SCORE 8206.931
AT ITER 515 NEW BEST:: SOT 44378 SOS 28855 HAS SOPS 22653 HAS SOUS 8306 HAS SOUPS 8104 WITH SCORE 8132.855
AT ITER 519 NEW BEST:: SOT 44417 SOS 27158 HAS SOPS 20697 HAS SOUS 8077 HAS SOUPS 7875 WITH SCORE 7902.158
AT ITER 524 NEW BEST:: SOT 44478 SOS 27204 HAS SOPS 20734 HAS SOUS 8056 HAS SOUPS 7854 WITH SCORE 7881.204
AT ITER 525 NEW BEST:: SOT 44584 SOS 27115 HAS SOPS 20595 HAS SOUS 7960 HAS SOUPS 7758 WITH SCORE 7785.115
AT ITER 528 NEW BEST:: SOT 44572 SOS 27091 HAS SOPS 20571 HAS SOUS 7948 HAS SOUPS 7746 WITH SCORE 7773.091
AT ITER 539 NEW BEST:: SOT 44376 SOS 26933 HAS SOPS 20410 HAS SOUS 7926 HAS SOUPS 7711 WITH SCORE 7737.933
AT ITER 541 NEW BEST:: SOT 44303 SOS 26844 HAS SOPS 20264 HAS SOUS 7780 HAS SOUPS 7565 WITH SCORE 7591.844
AT ITER 550 NEW BEST:: SOT 44299 SOS 26836 HAS SOPS 20256 HAS SOUS 7774 HAS SOUPS 7559 WITH SCORE 7585.836
AT ITER 570 NEW BEST:: SOT 44253 SOS 26790 HAS SOPS 20210 HAS SOUS 7752 HAS SOUPS 7537 WITH SCORE 7563.79
AT ITER 592 NEW BEST:: SOT 44384 SOS 26908 HAS SOPS 20132 HAS SOUS 7461 HAS SOUPS 7246 WITH SCORE 7272.908
AT ITER 593 NEW BEST:: SOT 44382 SOS 26904 HAS SOPS 20128 HAS SOUS 7459 HAS SOUPS 7244 WITH SCORE 7270.904
AT ITER 603 NEW BEST:: SOT 44375 SOS 26888 HAS SOPS 20114 HAS SOUS 7457 HAS SOUPS 7242 WITH SCORE 7268.888
AT ITER 604 NEW BEST:: SOT 44375 SOS 26888 HAS SOPS 20048 HAS SOUS 7421 HAS SOUPS 7206 WITH SCORE 7232.888
AT ITER 608 NEW BEST:: SOT 44360 SOS 26860 HAS SOPS 20018 HAS SOUS 7395 HAS SOUPS 7180 WITH SCORE 7206.86
AT ITER 612 NEW BEST:: SOT 44351 SOS 26832 HAS SOPS 19986 HAS SOUS 7368 HAS SOUPS 7153 WITH SCORE 7179.832
AT ITER 622 NEW BEST:: SOT 44343 SOS 26815 HAS SOPS 19960 HAS SOUS 7341 HAS SOUPS 7126 WITH SCORE 7152.815
AT ITER 641 NEW BEST:: SOT 44312 SOS 26786 HAS SOPS 19914 HAS SOUS 7304 HAS SOUPS 7089 WITH SCORE 7115.786
AT ITER 642 NEW BEST:: SOT 44312 SOS 26784 HAS SOPS 19912 HAS SOUS 7300 HAS SOUPS 7085 WITH SCORE 7111.784
AT ITER 645 NEW BEST:: SOT 44312 SOS 26783 HAS SOPS 19911 HAS SOUS 7300 HAS SOUPS 7085 WITH SCORE 7111.783
AT ITER 669 NEW BEST:: SOT 44237 SOS 26813 HAS SOPS 19904 HAS SOUS 7285 HAS SOUPS 7070 WITH SCORE 7096.813
AT ITER 671 NEW BEST:: SOT 44194 SOS 26866 HAS SOPS 19926 HAS SOUS 7277 HAS SOUPS 7062 WITH SCORE 7088.866
AT ITER 676 NEW BEST:: SOT 44188 SOS 26854 HAS SOPS 19914 HAS SOUS 7265 HAS SOUPS 7050 WITH SCORE 7076.854
AT ITER 679 NEW BEST:: SOT 44176 SOS 26853 HAS SOPS 19907 HAS SOUS 7264 HAS SOUPS 7049 WITH SCORE 7075.853
AT ITER 686 NEW BEST:: SOT 44175 SOS 26852 HAS SOPS 19907 HAS SOUS 7264 HAS SOUPS 7049 WITH SCORE 7075.852
AT ITER 690 NEW BEST:: SOT 44199 SOS 26847 HAS SOPS 19901 HAS SOUS 7262 HAS SOUPS 7047 WITH SCORE 7073.847
AT ITER 691 NEW BEST:: SOT 44269 SOS 26919 HAS SOPS 19833 HAS SOUS 7146 HAS SOUPS 6931 WITH SCORE 6957.919
AT ITER 700 NEW BEST:: SOT 44265 SOS 26913 HAS SOPS 19825 HAS SOUS 7140 HAS SOUPS 6925 WITH SCORE 6951.913
AT ITER 710 NEW BEST:: SOT 44248 SOS 26899 HAS SOPS 19801 HAS SOUS 7123 HAS SOUPS 6908 WITH SCORE 6934.899
AT ITER 717 NEW BEST:: SOT 44244 SOS 26895 HAS SOPS 19797 HAS SOUS 7119 HAS SOUPS 6904 WITH SCORE 6930.895
AT ITER 734 NEW BEST:: SOT 44241 SOS 26907 HAS SOPS 19791 HAS SOUS 7118 HAS SOUPS 6903 WITH SCORE 6929.907
AT ITER 752 NEW BEST:: SOT 44238 SOS 26894 HAS SOPS 19777 HAS SOUS 7089 HAS SOUPS 6874 WITH SCORE 6900.894
AT ITER 754 NEW BEST:: SOT 44238 SOS 26880 HAS SOPS 19765 HAS SOUS 7089 HAS SOUPS 6874 WITH SCORE 6900.88
AT ITER 762 NEW BEST:: SOT 44202 SOS 26844 HAS SOPS 19693 HAS SOUS 7017 HAS SOUPS 6802 WITH SCORE 6828.844
AT ITER 800 NEW BEST:: SOT 44202 SOS 26842 HAS SOPS 19691 HAS SOUS 7017 HAS SOUPS 6802 WITH SCORE 6828.842
AT ITER 811 NEW BEST:: SOT 44224 SOS 26885 HAS SOPS 19734 HAS SOUS 7016 HAS SOUPS 6801 WITH SCORE 6827.885
AT ITER 812 NEW BEST:: SOT 44232 SOS 26393 HAS SOPS 19242 HAS SOUS 7016 HAS SOUPS 6801 WITH SCORE 6827.393
AT ITER 829 NEW BEST:: SOT 44184 SOS 26333 HAS SOPS 19104 HAS SOUS 6946 HAS SOUPS 6731 WITH SCORE 6757.333
AT ITER 841 NEW BEST:: SOT 44094 SOS 26231 HAS SOPS 18996 HAS SOUS 6880 HAS SOUPS 6665 WITH SCORE 6691.231
AT ITER 859 NEW BEST:: SOT 44034 SOS 26171 HAS SOPS 18882 HAS SOUS 6810 HAS SOUPS 6595 WITH SCORE 6621.171
AT ITER 876 NEW BEST:: SOT 44026 SOS 26130 HAS SOPS 18847 HAS SOUS 6789 HAS SOUPS 6574 WITH SCORE 6600.13
AT ITER 879 NEW BEST:: SOT 44024 SOS 26126 HAS SOPS 18843 HAS SOUS 6781 HAS SOUPS 6566 WITH SCORE 6592.126
AT ITER 881 NEW BEST:: SOT 44023 SOS 26125 HAS SOPS 18841 HAS SOUS 6779 HAS SOUPS 6564 WITH SCORE 6590.125
AT ITER 883 NEW BEST:: SOT 44023 SOS 26117 HAS SOPS 18833 HAS SOUS 6776 HAS SOUPS 6561 WITH SCORE 6587.117
AT ITER 889 NEW BEST:: SOT 44021 SOS 26111 HAS SOPS 18827 HAS SOUS 6774 HAS SOUPS 6559 WITH SCORE 6585.111
AT ITER 894 NEW BEST:: SOT 43712 SOS 25809 HAS SOPS 18525 HAS SOUS 6626 HAS SOUPS 6411 WITH SCORE 6436.809
AT ITER 905 NEW BEST:: SOT 43695 SOS 25769 HAS SOPS 18491 HAS SOUS 6620 HAS SOUPS 6405 WITH SCORE 6430.769
AT ITER 907 NEW BEST:: SOT 43693 SOS 25765 HAS SOPS 18487 HAS SOUS 6614 HAS SOUPS 6399 WITH SCORE 6424.765
AT ITER 919 NEW BEST:: SOT 43695 SOS 25760 HAS SOPS 18491 HAS SOUS 6587 HAS SOUPS 6372 WITH SCORE 6397.76
AT ITER 925 NEW BEST:: SOT 43680 SOS 25745 HAS SOPS 18461 HAS SOUS 6558 HAS SOUPS 6343 WITH SCORE 6368.745
AT ITER 928 NEW BEST:: SOT 43658 SOS 25717 HAS SOPS 18417 HAS SOUS 6542 HAS SOUPS 6327 WITH SCORE 6352.717
AT ITER 945 NEW BEST:: SOT 43650 SOS 25701 HAS SOPS 18401 HAS SOUS 6526 HAS SOUPS 6311 WITH SCORE 6336.701
AT ITER 948 NEW BEST:: SOT 43645 SOS 25668 HAS SOPS 18374 HAS SOUS 6526 HAS SOUPS 6311 WITH SCORE 6336.668
AT ITER 965 NEW BEST:: SOT 43645 SOS 25668 HAS SOPS 18328 HAS SOUS 6464 HAS SOUPS 6249 WITH SCORE 6274.668
AT ITER 978 NEW BEST:: SOT 43647 SOS 25661 HAS SOPS 18332 HAS SOUS 6439 HAS SOUPS 6224 WITH SCORE 6249.661
AT ITER 990 NEW BEST:: SOT 43639 SOS 25645 HAS SOPS 18316 HAS SOUS 6423 HAS SOUPS 6208 WITH SCORE 6233.645
AT ITER 1003 NEW BEST:: SOT 43630 SOS 25636 HAS SOPS 18298 HAS SOUS 6405 HAS SOUPS 6190 WITH SCORE 6215.636
AT ITER 1026 NEW BEST:: SOT 43630 SOS 25636 HAS SOPS 18298 HAS SOUS 6394 HAS SOUPS 6179 WITH SCORE 6204.636
AT ITER 1027 NEW BEST:: SOT 43630 SOS 25636 HAS SOPS 18298 HAS SOUS 6382 HAS SOUPS 6167 WITH SCORE 6192.636
AT ITER 1047 NEW BEST:: SOT 43555 SOS 25563 HAS SOPS 18261 HAS SOUS 6371 HAS SOUPS 6156 WITH SCORE 6181.563
AT ITER 1048 NEW BEST:: SOT 43535 SOS 25837 HAS SOPS 18235 HAS SOUS 6355 HAS SOUPS 6134 WITH SCORE 6159.837
AT ITER 1049 NEW BEST:: SOT 43528 SOS 26086 HAS SOPS 18218 HAS SOUS 6348 HAS SOUPS 6122 WITH SCORE 6148.086
AT ITER 1055 NEW BEST:: SOT 43534 SOS 26101 HAS SOPS 18230 HAS SOUS 6334 HAS SOUPS 6108 WITH SCORE 6134.101
AT ITER 1057 NEW BEST:: SOT 43531 SOS 26101 HAS SOPS 18224 HAS SOUS 6328 HAS SOUPS 6102 WITH SCORE 6128.101
AT ITER 1064 NEW BEST:: SOT 43529 SOS 26105 HAS SOPS 18220 HAS SOUS 6324 HAS SOUPS 6098 WITH SCORE 6124.105
AT ITER 1070 NEW BEST:: SOT 43511 SOS 26069 HAS SOPS 18178 HAS SOUS 6288 HAS SOUPS 6062 WITH SCORE 6088.069
AT ITER 1071 NEW BEST:: SOT 43499 SOS 25839 HAS SOPS 17950 HAS SOUS 6253 HAS SOUPS 6027 WITH SCORE 6052.839
AT ITER 1092 NEW BEST:: SOT 43493 SOS 25831 HAS SOPS 17896 HAS SOUS 6221 HAS SOUPS 5995 WITH SCORE 6020.831
AT ITER 1100 NEW BEST:: SOT 43488 SOS 25826 HAS SOPS 17886 HAS SOUS 6221 HAS SOUPS 5995 WITH SCORE 6020.826
AT ITER 1114 NEW BEST:: SOT 43458 SOS 25729 HAS SOPS 17790 HAS SOUS 6160 HAS SOUPS 5934 WITH SCORE 5959.729
AT ITER 1159 NEW BEST:: SOT 43445 SOS 25704 HAS SOPS 17764 HAS SOUS 6146 HAS SOUPS 5920 WITH SCORE 5945.704
AT ITER 1171 NEW BEST:: SOT 43425 SOS 25646 HAS SOPS 17724 HAS SOUS 6128 HAS SOUPS 5902 WITH SCORE 5927.646
AT ITER 1188 NEW BEST:: SOT 43412 SOS 25615 HAS SOPS 17698 HAS SOUS 6120 HAS SOUPS 5894 WITH SCORE 5919.615
AT ITER 1228 NEW BEST:: SOT 43410 SOS 25613 HAS SOPS 17696 HAS SOUS 6120 HAS SOUPS 5894 WITH SCORE 5919.613
AT ITER 1229 NEW BEST:: SOT 43409 SOS 25611 HAS SOPS 17694 HAS SOUS 6112 HAS SOUPS 5886 WITH SCORE 5911.611
AT ITER 1231 NEW BEST:: SOT 43400 SOS 25593 HAS SOPS 17676 HAS SOUS 6103 HAS SOUPS 5877 WITH SCORE 5902.593
AT ITER 1252 NEW BEST:: SOT 43400 SOS 25449 HAS SOPS 17536 HAS SOUS 6087 HAS SOUPS 5861 WITH SCORE 5886.449
AT ITER 1255 NEW BEST:: SOT 43400 SOS 25461 HAS SOPS 17536 HAS SOUS 6084 HAS SOUPS 5858 WITH SCORE 5883.461
AT ITER 1258 NEW BEST:: SOT 43356 SOS 25402 HAS SOPS 17477 HAS SOUS 6054 HAS SOUPS 5828 WITH SCORE 5853.402
AT ITER 1298 NEW BEST:: SOT 43338 SOS 25353 HAS SOPS 17441 HAS SOUS 6032 HAS SOUPS 5806 WITH SCORE 5831.353
AT ITER 1299 NEW BEST:: SOT 43309 SOS 25341 HAS SOPS 17410 HAS SOUS 6012 HAS SOUPS 5786 WITH SCORE 5811.341
AT ITER 1315 NEW BEST:: SOT 43306 SOS 25332 HAS SOPS 17404 HAS SOUS 6009 HAS SOUPS 5783 WITH SCORE 5808.332
AT ITER 1327 NEW BEST:: SOT 43305 SOS 25385 HAS SOPS 17401 HAS SOUS 6008 HAS SOUPS 5781 WITH SCORE 5806.385
AT ITER 1331 NEW BEST:: SOT 43293 SOS 25370 HAS SOPS 17377 HAS SOUS 5984 HAS SOUPS 5757 WITH SCORE 5782.37
AT ITER 1332 NEW BEST:: SOT 43277 SOS 25370 HAS SOPS 17361 HAS SOUS 5968 HAS SOUPS 5741 WITH SCORE 5766.37
AT ITER 1366 NEW BEST:: SOT 43273 SOS 25364 HAS SOPS 17353 HAS SOUS 5964 HAS SOUPS 5737 WITH SCORE 5762.364
AT ITER 1373 NEW BEST:: SOT 43264 SOS 25325 HAS SOPS 17305 HAS SOUS 5889 HAS SOUPS 5662 WITH SCORE 5687.325
AT ITER 1380 NEW BEST:: SOT 43263 SOS 25290 HAS SOPS 17275 HAS SOUS 5883 HAS SOUPS 5656 WITH SCORE 5681.29
AT ITER 1403 NEW BEST:: SOT 43273 SOS 25287 HAS SOPS 17272 HAS SOUS 5874 HAS SOUPS 5647 WITH SCORE 5672.287
AT ITER 1410 NEW BEST:: SOT 43271 SOS 25285 HAS SOPS 17268 HAS SOUS 5870 HAS SOUPS 5643 WITH SCORE 5668.285
AT ITER 1413 NEW BEST:: SOT 43278 SOS 25246 HAS SOPS 17232 HAS SOUS 5856 HAS SOUPS 5629 WITH SCORE 5654.246
AT ITER 1436 NEW BEST:: SOT 43287 SOS 25252 HAS SOPS 17238 HAS SOUS 5853 HAS SOUPS 5626 WITH SCORE 5651.252
AT ITER 1437 NEW BEST:: SOT 43312 SOS 25230 HAS SOPS 17257 HAS SOUS 5836 HAS SOUPS 5609 WITH SCORE 5634.23
AT ITER 1442 NEW BEST:: SOT 43309 SOS 25224 HAS SOPS 17251 HAS SOUS 5833 HAS SOUPS 5606 WITH SCORE 5631.224
AT ITER 1449 NEW BEST:: SOT 43191 SOS 30404 HAS SOPS 17049 HAS SOUS 5770 HAS SOUPS 5515 WITH SCORE 5545.404
AT ITER 1459 NEW BEST:: SOT 43157 SOS 30341 HAS SOPS 16981 HAS SOUS 5755 HAS SOUPS 5500 WITH SCORE 5530.341
AT ITER 1466 NEW BEST:: SOT 43156 SOS 30295 HAS SOPS 16936 HAS SOUS 5753 HAS SOUPS 5498 WITH SCORE 5528.295
AT ITER 1484 NEW BEST:: SOT 43153 SOS 30748 HAS SOPS 17363 HAS SOUS 5750 HAS SOUPS 5495 WITH SCORE 5525.748
AT ITER 1486 NEW BEST:: SOT 43157 SOS 30758 HAS SOPS 17371 HAS SOUS 5746 HAS SOUPS 5491 WITH SCORE 5521.758
AT ITER 1487 NEW BEST:: SOT 43140 SOS 30740 HAS SOPS 17353 HAS SOUS 5729 HAS SOUPS 5474 WITH SCORE 5504.74
AT ITER 1490 NEW BEST:: SOT 43124 SOS 30732 HAS SOPS 17345 HAS SOUS 5721 HAS SOUPS 5466 WITH SCORE 5496.732
AT ITER 1502 NEW BEST:: SOT 43124 SOS 30728 HAS SOPS 17343 HAS SOUS 5721 HAS SOUPS 5466 WITH SCORE 5496.728
AT ITER 1551 NEW BEST:: SOT 43103 SOS 30686 HAS SOPS 17280 HAS SOUS 5679 HAS SOUPS 5424 WITH SCORE 5454.686
AT ITER 1554 NEW BEST:: SOT 43097 SOS 30674 HAS SOPS 17268 HAS SOUS 5667 HAS SOUPS 5412 WITH SCORE 5442.674
AT ITER 1569 NEW BEST:: SOT 43077 SOS 30652 HAS SOPS 17244 HAS SOUS 5649 HAS SOUPS 5394 WITH SCORE 5424.652
AT ITER 1609 NEW BEST:: SOT 43076 SOS 30648 HAS SOPS 17174 HAS SOUS 5635 HAS SOUPS 5380 WITH SCORE 5410.648
AT ITER 1614 NEW BEST:: SOT 43069 SOS 30635 HAS SOPS 17160 HAS SOUS 5622 HAS SOUPS 5367 WITH SCORE 5397.635
AT ITER 1618 NEW BEST:: SOT 43058 SOS 30613 HAS SOPS 17155 HAS SOUS 5617 HAS SOUPS 5362 WITH SCORE 5392.613
AT ITER 1652 NEW BEST:: SOT 43056 SOS 30620 HAS SOPS 17160 HAS SOUS 5613 HAS SOUPS 5358 WITH SCORE 5388.62
AT ITER 1657 NEW BEST:: SOT 43054 SOS 30616 HAS SOPS 17154 HAS SOUS 5607 HAS SOUPS 5352 WITH SCORE 5382.616
AT ITER 1667 NEW BEST:: SOT 43044 SOS 30606 HAS SOPS 17134 HAS SOUS 5587 HAS SOUPS 5332 WITH SCORE 5362.606
AT ITER 1684 NEW BEST:: SOT 43024 SOS 30582 HAS SOPS 17094 HAS SOUS 5551 HAS SOUPS 5296 WITH SCORE 5326.582
AT ITER 1688 NEW BEST:: SOT 43015 SOS 30573 HAS SOPS 17085 HAS SOUS 5546 HAS SOUPS 5291 WITH SCORE 5321.573
AT ITER 1705 NEW BEST:: SOT 43010 SOS 30559 HAS SOPS 17075 HAS SOUS 5545 HAS SOUPS 5290 WITH SCORE 5320.559
AT ITER 1726 NEW BEST:: SOT 43008 SOS 30560 HAS SOPS 17074 HAS SOUS 5543 HAS SOUPS 5288 WITH SCORE 5318.56
AT ITER 1756 NEW BEST:: SOT 43004 SOS 30557 HAS SOPS 17071 HAS SOUS 5535 HAS SOUPS 5280 WITH SCORE 5310.557
AT ITER 1761 NEW BEST:: SOT 43006 SOS 30545 HAS SOPS 17058 HAS SOUS 5522 HAS SOUPS 5267 WITH SCORE 5297.545
AT ITER 1763 NEW BEST:: SOT 43123 SOS 30663 HAS SOPS 17018 HAS SOUS 5502 HAS SOUPS 5247 WITH SCORE 5277.663
AT ITER 1808 NEW BEST:: SOT 43100 SOS 30658 HAS SOPS 17006 HAS SOUS 5492 HAS SOUPS 5237 WITH SCORE 5267.658
AT ITER 1820 NEW BEST:: SOT 43100 SOS 30574 HAS SOPS 16880 HAS SOUS 5408 HAS SOUPS 5153 WITH SCORE 5183.574
AT ITER 1829 NEW BEST:: SOT 43100 SOS 30572 HAS SOPS 16878 HAS SOUS 5406 HAS SOUPS 5151 WITH SCORE 5181.572
AT ITER 1832 NEW BEST:: SOT 43099 SOS 30627 HAS SOPS 16876 HAS SOUS 5405 HAS SOUPS 5149 WITH SCORE 5179.627
AT ITER 1846 NEW BEST:: SOT 43092 SOS 30613 HAS SOPS 16854 HAS SOUS 5382 HAS SOUPS 5126 WITH SCORE 5156.613
AT ITER 1888 NEW BEST:: SOT 43083 SOS 30675 HAS SOPS 16880 HAS SOUS 5381 HAS SOUPS 5125 WITH SCORE 5155.675
AT ITER 1893 NEW BEST:: SOT 43075 SOS 30659 HAS SOPS 16856 HAS SOUS 5365 HAS SOUPS 5109 WITH SCORE 5139.659
AT ITER 1908 NEW BEST:: SOT 43066 SOS 30651 HAS SOPS 16880 HAS SOUS 5365 HAS SOUPS 5109 WITH SCORE 5139.651
AT ITER 1913 NEW BEST:: SOT 43065 SOS 30649 HAS SOPS 16878 HAS SOUS 5364 HAS SOUPS 5108 WITH SCORE 5138.649
AT ITER 1939 NEW BEST:: SOT 43053 SOS 30637 HAS SOPS 16854 HAS SOUS 5340 HAS SOUPS 5084 WITH SCORE 5114.637
AT ITER 1954 NEW BEST:: SOT 43050 SOS 30631 HAS SOPS 16848 HAS SOUS 5327 HAS SOUPS 5071 WITH SCORE 5101.631
AT ITER 1959 NEW BEST:: SOT 42979 SOS 30557 HAS SOPS 16774 HAS SOUS 5287 HAS SOUPS 5031 WITH SCORE 5061.557
AT ITER 1971 NEW BEST:: SOT 42976 SOS 30560 HAS SOPS 16768 HAS SOUS 5275 HAS SOUPS 5019 WITH SCORE 5049.56
AT ITER 1986 NEW BEST:: SOT 42960 SOS 30544 HAS SOPS 16736 HAS SOUS 5260 HAS SOUPS 5004 WITH SCORE 5034.544
AT ITER 2011 NEW BEST:: SOT 42957 SOS 30538 HAS SOPS 16727 HAS SOUS 5251 HAS SOUPS 4995 WITH SCORE 5025.538
AT ITER 2012 NEW BEST:: SOT 42933 SOS 30468 HAS SOPS 16656 HAS SOUS 5203 HAS SOUPS 4947 WITH SCORE 4977.468
AT ITER 2042 NEW BEST:: SOT 42926 SOS 30447 HAS SOPS 16642 HAS SOUS 5189 HAS SOUPS 4933 WITH SCORE 4963.447
AT ITER 2056 NEW BEST:: SOT 42923 SOS 30444 HAS SOPS 16636 HAS SOUS 5183 HAS SOUPS 4927 WITH SCORE 4957.444
AT ITER 2102 NEW BEST:: SOT 42917 SOS 30438 HAS SOPS 16630 HAS SOUS 5177 HAS SOUPS 4921 WITH SCORE 4951.438
AT ITER 2116 NEW BEST:: SOT 42909 SOS 30422 HAS SOPS 16606 HAS SOUS 5153 HAS SOUPS 4897 WITH SCORE 4927.422
AT ITER 2128 NEW BEST:: SOT 42909 SOS 30419 HAS SOPS 16606 HAS SOUS 5150 HAS SOUPS 4894 WITH SCORE 4924.419
AT ITER 2140 NEW BEST:: SOT 42893 SOS 30403 HAS SOPS 16574 HAS SOUS 5118 HAS SOUPS 4862 WITH SCORE 4892.403
AT ITER 2142 NEW BEST:: SOT 42812 SOS 30330 HAS SOPS 16496 HAS SOUS 5075 HAS SOUPS 4819 WITH SCORE 4849.33
AT ITER 2150 NEW BEST:: SOT 42805 SOS 30313 HAS SOPS 16482 HAS SOUS 5065 HAS SOUPS 4812 WITH SCORE 4842.313
AT ITER 2167 NEW BEST:: SOT 42804 SOS 30311 HAS SOPS 16443 HAS SOUS 5061 HAS SOUPS 4808 WITH SCORE 4838.311
AT ITER 2193 NEW BEST:: SOT 42798 SOS 30301 HAS SOPS 16431 HAS SOUS 5049 HAS SOUPS 4796 WITH SCORE 4826.301
AT ITER 2201 NEW BEST:: SOT 42795 SOS 30295 HAS SOPS 16425 HAS SOUS 5046 HAS SOUPS 4793 WITH SCORE 4823.295
AT ITER 2227 NEW BEST:: SOT 42788 SOS 30290 HAS SOPS 16421 HAS SOUS 5042 HAS SOUPS 4789 WITH SCORE 4819.29
AT ITER 2253 NEW BEST:: SOT 42786 SOS 30290 HAS SOPS 16419 HAS SOUS 5038 HAS SOUPS 4785 WITH SCORE 4815.29
AT ITER 2270 NEW BEST:: SOT 42785 SOS 30288 HAS SOPS 16417 HAS SOUS 5037 HAS SOUPS 4784 WITH SCORE 4814.288
AT ITER 2300 NEW BEST:: SOT 42783 SOS 30285 HAS SOPS 16413 HAS SOUS 5033 HAS SOUPS 4780 WITH SCORE 4810.285
AT ITER 2380 NEW BEST:: SOT 42795 SOS 30283 HAS SOPS 16411 HAS SOUS 5031 HAS SOUPS 4778 WITH SCORE 4808.283
AT ITER 2383 NEW BEST:: SOT 42793 SOS 30281 HAS SOPS 16407 HAS SOUS 5029 HAS SOUPS 4776 WITH SCORE 4806.281
AT ITER 2385 NEW BEST:: SOT 42797 SOS 30284 HAS SOPS 16398 HAS SOUS 5013 HAS SOUPS 4760 WITH SCORE 4790.284
AT ITER 2396 NEW BEST:: SOT 42790 SOS 30280 HAS SOPS 16394 HAS SOUS 5006 HAS SOUPS 4753 WITH SCORE 4783.28
AT ITER 2419 NEW BEST:: SOT 42634 SOS 30142 HAS SOPS 16284 HAS SOUS 4994 HAS SOUPS 4745 WITH SCORE 4775.142
AT ITER 2424 NEW BEST:: SOT 42632 SOS 30139 HAS SOPS 16280 HAS SOUS 4992 HAS SOUPS 4743 WITH SCORE 4773.139
AT ITER 2431 NEW BEST:: SOT 42618 SOS 30109 HAS SOPS 16252 HAS SOUS 4978 HAS SOUPS 4729 WITH SCORE 4759.109
AT ITER 2490 NEW BEST:: SOT 42610 SOS 30101 HAS SOPS 16236 HAS SOUS 4962 HAS SOUPS 4713 WITH SCORE 4743.101
AT ITER 2500 NEW BEST:: SOT 42610 SOS 30101 HAS SOPS 16232 HAS SOUS 4954 HAS SOUPS 4705 WITH SCORE 4735.101
AT ITER 2540 NEW BEST:: SOT 42609 SOS 30099 HAS SOPS 16227 HAS SOUS 4948 HAS SOUPS 4699 WITH SCORE 4729.099
AT ITER 2582 NEW BEST:: SOT 42610 SOS 30098 HAS SOPS 16227 HAS SOUS 4946 HAS SOUPS 4697 WITH SCORE 4727.098
AT ITER 2592 NEW BEST:: SOT 42596 SOS 30071 HAS SOPS 16199 HAS SOUS 4929 HAS SOUPS 4680 WITH SCORE 4710.071
AT ITER 2615 NEW BEST:: SOT 42590 SOS 30065 HAS SOPS 16191 HAS SOUS 4923 HAS SOUPS 4672 WITH SCORE 4702.065
AT ITER 2629 NEW BEST:: SOT 42583 SOS 30072 HAS SOPS 16195 HAS SOUS 4921 HAS SOUPS 4670 WITH SCORE 4700.072
AT ITER 2670 NEW BEST:: SOT 42587 SOS 30071 HAS SOPS 16193 HAS SOUS 4914 HAS SOUPS 4663 WITH SCORE 4693.071
AT ITER 2699 NEW BEST:: SOT 42593 SOS 30083 HAS SOPS 16205 HAS SOUS 4913 HAS SOUPS 4662 WITH SCORE 4692.083
AT ITER 2705 NEW BEST:: SOT 42579 SOS 30069 HAS SOPS 16184 HAS SOUS 4886 HAS SOUPS 4635 WITH SCORE 4665.069
AT ITER 2724 NEW BEST:: SOT 42579 SOS 30069 HAS SOPS 16180 HAS SOUS 4882 HAS SOUPS 4631 WITH SCORE 4661.069
AT ITER 2727 NEW BEST:: SOT 42588 SOS 30069 HAS SOPS 16167 HAS SOUS 4869 HAS SOUPS 4618 WITH SCORE 4648.069
AT ITER 2779 NEW BEST:: SOT 42561 SOS 30081 HAS SOPS 16182 HAS SOUS 4868 HAS SOUPS 4617 WITH SCORE 4647.081
AT ITER 2786 NEW BEST:: SOT 42546 SOS 30066 HAS SOPS 16167 HAS SOUS 4868 HAS SOUPS 4617 WITH SCORE 4647.066
AT ITER 2847 NEW BEST:: SOT 42547 SOS 30071 HAS SOPS 16168 HAS SOUS 4864 HAS SOUPS 4613 WITH SCORE 4643.071
AT ITER 2864 NEW BEST:: SOT 42546 SOS 30070 HAS SOPS 16166 HAS SOUS 4862 HAS SOUPS 4611 WITH SCORE 4641.07
AT ITER 2870 NEW BEST:: SOT 42545 SOS 30069 HAS SOPS 16164 HAS SOUS 4861 HAS SOUPS 4610 WITH SCORE 4640.069
AT ITER 2881 NEW BEST:: SOT 42482 SOS 30007 HAS SOPS 16111 HAS SOUS 4838 HAS SOUPS 4587 WITH SCORE 4617.007
AT ITER 2981 NEW BEST:: SOT 42470 SOS 29983 HAS SOPS 16087 HAS SOUS 4836 HAS SOUPS 4585 WITH SCORE 4614.983
AT ITER 2988 NEW BEST:: SOT 42468 SOS 29979 HAS SOPS 16083 HAS SOUS 4836 HAS SOUPS 4585 WITH SCORE 4614.979
AT ITER 3043 NEW BEST:: SOT 42468 SOS 29977 HAS SOPS 16081 HAS SOUS 4834 HAS SOUPS 4583 WITH SCORE 4612.977
AT ITER 3086 NEW BEST:: SOT 42459 SOS 29962 HAS SOPS 16063 HAS SOUS 4819 HAS SOUPS 4568 WITH SCORE 4597.962
AT ITER 3100 NEW BEST:: SOT 42442 SOS 29908 HAS SOPS 16009 HAS SOUS 4779 HAS SOUPS 4528 WITH SCORE 4557.908
AT ITER 3141 NEW BEST:: SOT 42442 SOS 29899 HAS SOPS 16009 HAS SOUS 4778 HAS SOUPS 4527 WITH SCORE 4556.899
AT ITER 3182 NEW BEST:: SOT 42422 SOS 29863 HAS SOPS 15969 HAS SOUS 4746 HAS SOUPS 4495 WITH SCORE 4524.863
AT ITER 3227 NEW BEST:: SOT 42421 SOS 29861 HAS SOPS 15968 HAS SOUS 4746 HAS SOUPS 4495 WITH SCORE 4524.861
AT ITER 3250 NEW BEST:: SOT 42424 SOS 29864 HAS SOPS 15966 HAS SOUS 4744 HAS SOUPS 4493 WITH SCORE 4522.864
AT ITER 3265 NEW BEST:: SOT 42401 SOS 29841 HAS SOPS 15943 HAS SOUS 4727 HAS SOUPS 4476 WITH SCORE 4505.841
AT ITER 3277 NEW BEST:: SOT 42401 SOS 29709 HAS SOPS 15814 HAS SOUS 4727 HAS SOUPS 4476 WITH SCORE 4505.709
AT ITER 3284 NEW BEST:: SOT 42394 SOS 29702 HAS SOPS 15808 HAS SOUS 4721 HAS SOUPS 4470 WITH SCORE 4499.702
AT ITER 3297 NEW BEST:: SOT 42400 SOS 29709 HAS SOPS 15812 HAS SOUS 4720 HAS SOUPS 4469 WITH SCORE 4498.709
AT ITER 3298 NEW BEST:: SOT 42393 SOS 29694 HAS SOPS 15790 HAS SOUS 4694 HAS SOUPS 4443 WITH SCORE 4472.694
AT ITER 3362 NEW BEST:: SOT 42396 SOS 29697 HAS SOPS 15793 HAS SOUS 4691 HAS SOUPS 4440 WITH SCORE 4469.697
AT ITER 3485 NEW BEST:: SOT 42416 SOS 29769 HAS SOPS 15833 HAS SOUS 4684 HAS SOUPS 4433 WITH SCORE 4462.769
AT ITER 3494 NEW BEST:: SOT 42406 SOS 29759 HAS SOPS 15818 HAS SOUS 4671 HAS SOUPS 4418 WITH SCORE 4447.759
AT ITER 3498 NEW BEST:: SOT 42404 SOS 29743 HAS SOPS 15796 HAS SOUS 4655 HAS SOUPS 4402 WITH SCORE 4431.743
AT ITER 3503 NEW BEST:: SOT 42418 SOS 29685 HAS SOPS 15788 HAS SOUS 4647 HAS SOUPS 4394 WITH SCORE 4423.685
AT ITER 3506 NEW BEST:: SOT 42413 SOS 29677 HAS SOPS 15778 HAS SOUS 4645 HAS SOUPS 4392 WITH SCORE 4421.677
AT ITER 3532 NEW BEST:: SOT 42412 SOS 29676 HAS SOPS 15776 HAS SOUS 4643 HAS SOUPS 4390 WITH SCORE 4419.676
AT ITER 3546 NEW BEST:: SOT 42418 SOS 29394 HAS SOPS 15494 HAS SOUS 4642 HAS SOUPS 4389 WITH SCORE 4418.394
AT ITER 3550 NEW BEST:: SOT 42404 SOS 29380 HAS SOPS 15485 HAS SOUS 4633 HAS SOUPS 4380 WITH SCORE 4409.38
AT ITER 3556 NEW BEST:: SOT 42385 SOS 29359 HAS SOPS 15456 HAS SOUS 4604 HAS SOUPS 4351 WITH SCORE 4380.359
AT ITER 3589 NEW BEST:: SOT 42387 SOS 29362 HAS SOPS 15453 HAS SOUS 4601 HAS SOUPS 4348 WITH SCORE 4377.362
AT ITER 3643 NEW BEST:: SOT 42351 SOS 29327 HAS SOPS 15440 HAS SOUS 4598 HAS SOUPS 4345 WITH SCORE 4374.327
AT ITER 3653 NEW BEST:: SOT 42351 SOS 29327 HAS SOPS 15438 HAS SOUS 4594 HAS SOUPS 4341 WITH SCORE 4370.327
AT ITER 3662 NEW BEST:: SOT 42344 SOS 29324 HAS SOPS 15429 HAS SOUS 4591 HAS SOUPS 4338 WITH SCORE 4367.324
AT ITER 3715 NEW BEST:: SOT 42341 SOS 29321 HAS SOPS 15423 HAS SOUS 4585 HAS SOUPS 4332 WITH SCORE 4361.321
AT ITER 3772 NEW BEST:: SOT 42343 SOS 29498 HAS SOPS 15425 HAS SOUS 4587 HAS SOUPS 4331 WITH SCORE 4360.498
AT ITER 3793 NEW BEST:: SOT 42327 SOS 29478 HAS SOPS 15417 HAS SOUS 4583 HAS SOUPS 4327 WITH SCORE 4356.478
AT ITER 3802 NEW BEST:: SOT 42324 SOS 29475 HAS SOPS 15411 HAS SOUS 4574 HAS SOUPS 4318 WITH SCORE 4347.475
AT ITER 3910 NEW BEST:: SOT 42321 SOS 29489 HAS SOPS 15430 HAS SOUS 4570 HAS SOUPS 4314 WITH SCORE 4343.489
AT ITER 3919 NEW BEST:: SOT 42318 SOS 29486 HAS SOPS 15426 HAS SOUS 4568 HAS SOUPS 4312 WITH SCORE 4341.486
AT ITER 3926 NEW BEST:: SOT 42316 SOS 29480 HAS SOPS 15422 HAS SOUS 4567 HAS SOUPS 4311 WITH SCORE 4340.48
AT ITER 3927 NEW BEST:: SOT 42314 SOS 29476 HAS SOPS 15416 HAS SOUS 4563 HAS SOUPS 4307 WITH SCORE 4336.476
AT ITER 4003 NEW BEST:: SOT 42285 SOS 29448 HAS SOPS 15400 HAS SOUS 4563 HAS SOUPS 4307 WITH SCORE 4336.448
AT ITER 4019 NEW BEST:: SOT 42195 SOS 29396 HAS SOPS 15400 HAS SOUS 4563 HAS SOUPS 4307 WITH SCORE 4336.396
AT ITER 4022 NEW BEST:: SOT 42192 SOS 29387 HAS SOPS 15388 HAS SOUS 4551 HAS SOUPS 4295 WITH SCORE 4324.387
AT ITER 4028 NEW BEST:: SOT 42188 SOS 29383 HAS SOPS 15384 HAS SOUS 4549 HAS SOUPS 4293 WITH SCORE 4322.383
AT ITER 4036 NEW BEST:: SOT 42198 SOS 29395 HAS SOPS 15286 HAS SOUS 4548 HAS SOUPS 4292 WITH SCORE 4321.395
AT ITER 4055 NEW BEST:: SOT 42199 SOS 29396 HAS SOPS 15284 HAS SOUS 4546 HAS SOUPS 4290 WITH SCORE 4319.396
AT ITER 4073 NEW BEST:: SOT 42193 SOS 29388 HAS SOPS 15272 HAS SOUS 4536 HAS SOUPS 4280 WITH SCORE 4309.388
AT ITER 4102 NEW BEST:: SOT 42193 SOS 29387 HAS SOPS 15271 HAS SOUS 4536 HAS SOUPS 4280 WITH SCORE 4309.387
AT ITER 4111 NEW BEST:: SOT 42160 SOS 29386 HAS SOPS 15238 HAS SOUS 4513 HAS SOUPS 4257 WITH SCORE 4286.386
AT ITER 4216 NEW BEST:: SOT 42160 SOS 29383 HAS SOPS 15235 HAS SOUS 4513 HAS SOUPS 4257 WITH SCORE 4286.383
AT ITER 4229 NEW BEST:: SOT 42152 SOS 29375 HAS SOPS 15219 HAS SOUS 4505 HAS SOUPS 4249 WITH SCORE 4278.375
AT ITER 4335 NEW BEST:: SOT 42151 SOS 29372 HAS SOPS 15217 HAS SOUS 4503 HAS SOUPS 4247 WITH SCORE 4276.372
AT ITER 4380 NEW BEST:: SOT 42151 SOS 29367 HAS SOPS 15217 HAS SOUS 4503 HAS SOUPS 4247 WITH SCORE 4276.367
AT ITER 4390 NEW BEST:: SOT 42149 SOS 29364 HAS SOPS 15213 HAS SOUS 4499 HAS SOUPS 4243 WITH SCORE 4272.364
AT ITER 4396 NEW BEST:: SOT 42136 SOS 29342 HAS SOPS 15187 HAS SOUS 4475 HAS SOUPS 4219 WITH SCORE 4248.342
AT ITER 4397 NEW BEST:: SOT 42146 SOS 29327 HAS SOPS 15175 HAS SOUS 4463 HAS SOUPS 4207 WITH SCORE 4236.327
AT ITER 4405 NEW BEST:: SOT 42144 SOS 29323 HAS SOPS 15170 HAS SOUS 4459 HAS SOUPS 4203 WITH SCORE 4232.323
AT ITER 4411 NEW BEST:: SOT 42143 SOS 29320 HAS SOPS 15168 HAS SOUS 4457 HAS SOUPS 4201 WITH SCORE 4230.32
AT ITER 4415 NEW BEST:: SOT 42137 SOS 29299 HAS SOPS 15148 HAS SOUS 4444 HAS SOUPS 4188 WITH SCORE 4217.299
AT ITER 4429 NEW BEST:: SOT 42135 SOS 29297 HAS SOPS 15144 HAS SOUS 4438 HAS SOUPS 4182 WITH SCORE 4211.297
AT ITER 4483 NEW BEST:: SOT 42135 SOS 29298 HAS SOPS 15144 HAS SOUS 4437 HAS SOUPS 4181 WITH SCORE 4210.298
AT ITER 4512 NEW BEST:: SOT 42138 SOS 29296 HAS SOPS 15145 HAS SOUS 4433 HAS SOUPS 4177 WITH SCORE 4206.296
AT ITER 4548 NEW BEST:: SOT 42135 SOS 29285 HAS SOPS 15139 HAS SOUS 4427 HAS SOUPS 4171 WITH SCORE 4200.285
AT ITER 4560 NEW BEST:: SOT 42135 SOS 29279 HAS SOPS 15130 HAS SOUS 4421 HAS SOUPS 4165 WITH SCORE 4194.279
AT ITER 4590 NEW BEST:: SOT 42118 SOS 29255 HAS SOPS 15103 HAS SOUS 4401 HAS SOUPS 4145 WITH SCORE 4174.255
AT ITER 4617 NEW BEST:: SOT 42104 SOS 29230 HAS SOPS 15075 HAS SOUS 4373 HAS SOUPS 4117 WITH SCORE 4146.23
AT ITER 4649 NEW BEST:: SOT 42094 SOS 29222 HAS SOPS 15067 HAS SOUS 4365 HAS SOUPS 4109 WITH SCORE 4138.222
AT ITER 4708 NEW BEST:: SOT 42093 SOS 29221 HAS SOPS 15066 HAS SOUS 4364 HAS SOUPS 4108 WITH SCORE 4137.221
AT ITER 4749 NEW BEST:: SOT 42089 SOS 29213 HAS SOPS 15058 HAS SOUS 4353 HAS SOUPS 4097 WITH SCORE 4126.213
AT ITER 4772 NEW BEST:: SOT 42113 SOS 29240 HAS SOPS 15049 HAS SOUS 4340 HAS SOUPS 4084 WITH SCORE 4113.24
AT ITER 4863 NEW BEST:: SOT 42109 SOS 29244 HAS SOPS 15049 HAS SOUS 4336 HAS SOUPS 4080 WITH SCORE 4109.244
AT ITER 4865 NEW BEST:: SOT 42106 SOS 29241 HAS SOPS 15043 HAS SOUS 4330 HAS SOUPS 4074 WITH SCORE 4103.241
AT ITER 4895 NEW BEST:: SOT 42093 SOS 29236 HAS SOPS 15034 HAS SOUS 4331 HAS SOUPS 4074 WITH SCORE 4103.236
AT ITER 4945 NEW BEST:: SOT 42091 SOS 29232 HAS SOPS 15028 HAS SOUS 4327 HAS SOUPS 4070 WITH SCORE 4099.232
AT ITER 4956 NEW BEST:: SOT 42091 SOS 29230 HAS SOPS 15028 HAS SOUS 4327 HAS SOUPS 4070 WITH SCORE 4099.23
AT ITER 5009 NEW BEST:: SOT 42052 SOS 29187 HAS SOPS 14988 HAS SOUS 4307 HAS SOUPS 4050 WITH SCORE 4079.187
AT ITER 5038 NEW BEST:: SOT 42052 SOS 29187 HAS SOPS 14980 HAS SOUS 4299 HAS SOUPS 4042 WITH SCORE 4071.187
AT ITER 5040 NEW BEST:: SOT 42049 SOS 29174 HAS SOPS 14969 HAS SOUS 4293 HAS SOUPS 4036 WITH SCORE 4065.174
AT ITER 5058 NEW BEST:: SOT 42045 SOS 29172 HAS SOPS 14965 HAS SOUS 4289 HAS SOUPS 4032 WITH SCORE 4061.172
AT ITER 5059 NEW BEST:: SOT 42045 SOS 29172 HAS SOPS 14964 HAS SOUS 4288 HAS SOUPS 4031 WITH SCORE 4060.172
AT ITER 5083 NEW BEST:: SOT 42047 SOS 29170 HAS SOPS 14964 HAS SOUS 4288 HAS SOUPS 4031 WITH SCORE 4060.17
AT ITER 5084 NEW BEST:: SOT 42048 SOS 29169 HAS SOPS 14964 HAS SOUS 4288 HAS SOUPS 4031 WITH SCORE 4060.169
AT ITER 5108 NEW BEST:: SOT 42046 SOS 29162 HAS SOPS 14960 HAS SOUS 4284 HAS SOUPS 4027 WITH SCORE 4056.162
AT ITER 5160 NEW BEST:: SOT 42036 SOS 29142 HAS SOPS 14935 HAS SOUS 4264 HAS SOUPS 4007 WITH SCORE 4036.142
AT ITER 5162 NEW BEST:: SOT 41999 SOS 29085 HAS SOPS 14873 HAS SOUS 4214 HAS SOUPS 3957 WITH SCORE 3986.085
AT ITER 5169 NEW BEST:: SOT 41995 SOS 29077 HAS SOPS 14863 HAS SOUS 4206 HAS SOUPS 3949 WITH SCORE 3978.077
AT ITER 5222 NEW BEST:: SOT 41993 SOS 29075 HAS SOPS 14859 HAS SOUS 4202 HAS SOUPS 3945 WITH SCORE 3974.075
AT ITER 5227 NEW BEST:: SOT 41992 SOS 29030 HAS SOPS 14690 HAS SOUS 4198 HAS SOUPS 3941 WITH SCORE 3970.03
AT ITER 5229 NEW BEST:: SOT 41995 SOS 29041 HAS SOPS 14696 HAS SOUS 4196 HAS SOUPS 3939 WITH SCORE 3968.041
AT ITER 5233 NEW BEST:: SOT 41994 SOS 28981 HAS SOPS 14695 HAS SOUS 4195 HAS SOUPS 3939 WITH SCORE 3967.981
AT ITER 5264 NEW BEST:: SOT 41994 SOS 28980 HAS SOPS 14695 HAS SOUS 4195 HAS SOUPS 3939 WITH SCORE 3967.98
AT ITER 5306 NEW BEST:: SOT 41994 SOS 28968 HAS SOPS 14683 HAS SOUS 4183 HAS SOUPS 3927 WITH SCORE 3955.968
AT ITER 5313 NEW BEST:: SOT 41993 SOS 28968 HAS SOPS 14682 HAS SOUS 4182 HAS SOUPS 3926 WITH SCORE 3954.968
AT ITER 5320 NEW BEST:: SOT 41991 SOS 28966 HAS SOPS 14678 HAS SOUS 4180 HAS SOUPS 3924 WITH SCORE 3952.966
AT ITER 5321 NEW BEST:: SOT 41991 SOS 28965 HAS SOPS 14665 HAS SOUS 4167 HAS SOUPS 3911 WITH SCORE 3939.965
AT ITER 5432 NEW BEST:: SOT 41984 SOS 28948 HAS SOPS 14651 HAS SOUS 4153 HAS SOUPS 3897 WITH SCORE 3925.948
AT ITER 5481 NEW BEST:: SOT 41981 SOS 28945 HAS SOPS 14648 HAS SOUS 4150 HAS SOUPS 3894 WITH SCORE 3922.945
AT ITER 5492 NEW BEST:: SOT 41981 SOS 28942 HAS SOPS 14648 HAS SOUS 4147 HAS SOUPS 3891 WITH SCORE 3919.942
AT ITER 5557 NEW BEST:: SOT 41954 SOS 28918 HAS SOPS 14612 HAS SOUS 4117 HAS SOUPS 3861 WITH SCORE 3889.918
AT ITER 5619 NEW BEST:: SOT 41952 SOS 28916 HAS SOPS 14609 HAS SOUS 4114 HAS SOUPS 3858 WITH SCORE 3886.916
AT ITER 5656 NEW BEST:: SOT 41953 SOS 28910 HAS SOPS 14601 HAS SOUS 4106 HAS SOUPS 3850 WITH SCORE 3878.91
AT ITER 5693 NEW BEST:: SOT 41953 SOS 28909 HAS SOPS 14600 HAS SOUS 4104 HAS SOUPS 3848 WITH SCORE 3876.909
AT ITER 5701 NEW BEST:: SOT 41937 SOS 28877 HAS SOPS 14560 HAS SOUS 4072 HAS SOUPS 3816 WITH SCORE 3844.877
AT ITER 5735 NEW BEST:: SOT 41934 SOS 28876 HAS SOPS 14557 HAS SOUS 4069 HAS SOUPS 3813 WITH SCORE 3841.876
AT ITER 5768 NEW BEST:: SOT 41933 SOS 28881 HAS SOPS 14555 HAS SOUS 4067 HAS SOUPS 3811 WITH SCORE 3839.881
AT ITER 5772 NEW BEST:: SOT 41924 SOS 28864 HAS SOPS 14537 HAS SOUS 4039 HAS SOUPS 3783 WITH SCORE 3811.864
AT ITER 5790 NEW BEST:: SOT 41920 SOS 28880 HAS SOPS 14540 HAS SOUS 4033 HAS SOUPS 3777 WITH SCORE 3805.88
AT ITER 5794 NEW BEST:: SOT 41924 SOS 28880 HAS SOPS 14540 HAS SOUS 4025 HAS SOUPS 3769 WITH SCORE 3797.88
AT ITER 5824 NEW BEST:: SOT 41923 SOS 28879 HAS SOPS 14538 HAS SOUS 4023 HAS SOUPS 3767 WITH SCORE 3795.879
AT ITER 5825 NEW BEST:: SOT 41936 SOS 28872 HAS SOPS 14524 HAS SOUS 4009 HAS SOUPS 3753 WITH SCORE 3781.872
AT ITER 5831 NEW BEST:: SOT 41934 SOS 28869 HAS SOPS 14520 HAS SOUS 4006 HAS SOUPS 3750 WITH SCORE 3778.869
AT ITER 5849 NEW BEST:: SOT 41932 SOS 28868 HAS SOPS 14519 HAS SOUS 4006 HAS SOUPS 3750 WITH SCORE 3778.868
AT ITER 6005 NEW BEST:: SOT 41927 SOS 28858 HAS SOPS 14509 HAS SOUS 4001 HAS SOUPS 3745 WITH SCORE 3773.858
AT ITER 6012 NEW BEST:: SOT 41926 SOS 28847 HAS SOPS 14502 HAS SOUS 3999 HAS SOUPS 3743 WITH SCORE 3771.847
AT ITER 6022 NEW BEST:: SOT 41926 SOS 28843 HAS SOPS 14498 HAS SOUS 3991 HAS SOUPS 3735 WITH SCORE 3763.843
AT ITER 6031 NEW BEST:: SOT 41920 SOS 28837 HAS SOPS 14492 HAS SOUS 3985 HAS SOUPS 3729 WITH SCORE 3757.837
AT ITER 6178 NEW BEST:: SOT 41919 SOS 28835 HAS SOPS 14490 HAS SOUS 3984 HAS SOUPS 3728 WITH SCORE 3756.835
AT ITER 6189 NEW BEST:: SOT 41906 SOS 28824 HAS SOPS 14470 HAS SOUS 3973 HAS SOUPS 3714 WITH SCORE 3742.824
AT ITER 6280 NEW BEST:: SOT 41887 SOS 28825 HAS SOPS 14451 HAS SOUS 3971 HAS SOUPS 3712 WITH SCORE 3740.825
AT ITER 6291 NEW BEST:: SOT 41888 SOS 28824 HAS SOPS 14450 HAS SOUS 3970 HAS SOUPS 3711 WITH SCORE 3739.824
AT ITER 6384 NEW BEST:: SOT 41880 SOS 28808 HAS SOPS 14434 HAS SOUS 3962 HAS SOUPS 3703 WITH SCORE 3731.808
AT ITER 6395 NEW BEST:: SOT 41880 SOS 28801 HAS SOPS 14427 HAS SOUS 3955 HAS SOUPS 3696 WITH SCORE 3724.801
AT ITER 6406 NEW BEST:: SOT 41879 SOS 28802 HAS SOPS 14425 HAS SOUS 3956 HAS SOUPS 3694 WITH SCORE 3722.802
AT ITER 6433 NEW BEST:: SOT 41880 SOS 28796 HAS SOPS 14422 HAS SOUS 3952 HAS SOUPS 3690 WITH SCORE 3718.796
AT ITER 6435 NEW BEST:: SOT 41880 SOS 28796 HAS SOPS 14422 HAS SOUS 3948 HAS SOUPS 3686 WITH SCORE 3714.796
AT ITER 6436 NEW BEST:: SOT 41876 SOS 28796 HAS SOPS 14418 HAS SOUS 3944 HAS SOUPS 3682 WITH SCORE 3710.796
AT ITER 6460 NEW BEST:: SOT 41877 SOS 28793 HAS SOPS 14413 HAS SOUS 3932 HAS SOUPS 3670 WITH SCORE 3698.793
AT ITER 6480 NEW BEST:: SOT 41874 SOS 28787 HAS SOPS 14407 HAS SOUS 3928 HAS SOUPS 3666 WITH SCORE 3694.787
AT ITER 6486 NEW BEST:: SOT 41874 SOS 28778 HAS SOPS 14407 HAS SOUS 3928 HAS SOUPS 3666 WITH SCORE 3694.778
AT ITER 6502 NEW BEST:: SOT 41862 SOS 28747 HAS SOPS 14383 HAS SOUS 3915 HAS SOUPS 3653 WITH SCORE 3681.747
AT ITER 6577 NEW BEST:: SOT 41860 SOS 28745 HAS SOPS 14380 HAS SOUS 3913 HAS SOUPS 3651 WITH SCORE 3679.745
AT ITER 6584 NEW BEST:: SOT 41852 SOS 28740 HAS SOPS 14372 HAS SOUS 3906 HAS SOUPS 3644 WITH SCORE 3672.74
AT ITER 6690 NEW BEST:: SOT 41839 SOS 28728 HAS SOPS 14388 HAS SOUS 3906 HAS SOUPS 3644 WITH SCORE 3672.728
AT ITER 6749 NEW BEST:: SOT 41835 SOS 28720 HAS SOPS 14378 HAS SOUS 3896 HAS SOUPS 3634 WITH SCORE 3662.72
AT ITER 6781 NEW BEST:: SOT 41834 SOS 28719 HAS SOPS 14376 HAS SOUS 3894 HAS SOUPS 3632 WITH SCORE 3660.719
AT ITER 6802 NEW BEST:: SOT 41831 SOS 28712 HAS SOPS 14370 HAS SOUS 3892 HAS SOUPS 3630 WITH SCORE 3658.712
AT ITER 6811 NEW BEST:: SOT 41824 SOS 28697 HAS SOPS 14356 HAS SOUS 3886 HAS SOUPS 3624 WITH SCORE 3652.697
AT ITER 6825 NEW BEST:: SOT 41836 SOS 31863 HAS SOPS 14332 HAS SOUS 3886 HAS SOUPS 3612 WITH SCORE 3643.863
AT ITER 6849 NEW BEST:: SOT 41835 SOS 31862 HAS SOPS 14331 HAS SOUS 3886 HAS SOUPS 3612 WITH SCORE 3643.862
AT ITER 6947 NEW BEST:: SOT 41834 SOS 31858 HAS SOPS 14326 HAS SOUS 3880 HAS SOUPS 3606 WITH SCORE 3637.858
AT ITER 6967 NEW BEST:: SOT 41830 SOS 31850 HAS SOPS 14314 HAS SOUS 3872 HAS SOUPS 3598 WITH SCORE 3629.85
AT ITER 6978 NEW BEST:: SOT 41830 SOS 31850 HAS SOPS 14314 HAS SOUS 3869 HAS SOUPS 3595 WITH SCORE 3626.85
AT ITER 7089 NEW BEST:: SOT 41836 SOS 31856 HAS SOPS 14280 HAS SOUS 3866 HAS SOUPS 3592 WITH SCORE 3623.856
AT ITER 7144 NEW BEST:: SOT 41763 SOS 31778 HAS SOPS 14198 HAS SOUS 3801 HAS SOUPS 3527 WITH SCORE 3558.778
AT ITER 7158 NEW BEST:: SOT 41761 SOS 31772 HAS SOPS 14192 HAS SOUS 3795 HAS SOUPS 3521 WITH SCORE 3552.772
AT ITER 7175 NEW BEST:: SOT 41761 SOS 31772 HAS SOPS 14192 HAS SOUS 3794 HAS SOUPS 3520 WITH SCORE 3551.772
AT ITER 7182 NEW BEST:: SOT 41760 SOS 31769 HAS SOPS 14190 HAS SOUS 3794 HAS SOUPS 3520 WITH SCORE 3551.769
AT ITER 7198 NEW BEST:: SOT 41757 SOS 31760 HAS SOPS 14184 HAS SOUS 3790 HAS SOUPS 3516 WITH SCORE 3547.76
AT ITER 7218 NEW BEST:: SOT 41757 SOS 31760 HAS SOPS 14147 HAS SOUS 3787 HAS SOUPS 3513 WITH SCORE 3544.76
AT ITER 7241 NEW BEST:: SOT 41753 SOS 31748 HAS SOPS 14134 HAS SOUS 3775 HAS SOUPS 3501 WITH SCORE 3532.748
AT ITER 7244 NEW BEST:: SOT 41751 SOS 31746 HAS SOPS 14131 HAS SOUS 3772 HAS SOUPS 3498 WITH SCORE 3529.746
AT ITER 7248 NEW BEST:: SOT 41754 SOS 31753 HAS SOPS 14137 HAS SOUS 3771 HAS SOUPS 3497 WITH SCORE 3528.753
AT ITER 7318 NEW BEST:: SOT 41751 SOS 31750 HAS SOPS 14134 HAS SOUS 3768 HAS SOUPS 3494 WITH SCORE 3525.75
AT ITER 7390 NEW BEST:: SOT 41750 SOS 31748 HAS SOPS 14132 HAS SOUS 3767 HAS SOUPS 3493 WITH SCORE 3524.748
AT ITER 7402 NEW BEST:: SOT 41749 SOS 31743 HAS SOPS 14126 HAS SOUS 3765 HAS SOUPS 3491 WITH SCORE 3522.743
AT ITER 7464 NEW BEST:: SOT 41747 SOS 31739 HAS SOPS 14121 HAS SOUS 3762 HAS SOUPS 3488 WITH SCORE 3519.739
AT ITER 7486 NEW BEST:: SOT 41743 SOS 31733 HAS SOPS 14113 HAS SOUS 3758 HAS SOUPS 3484 WITH SCORE 3515.733
AT ITER 7665 NEW BEST:: SOT 41741 SOS 31731 HAS SOPS 14109 HAS SOUS 3754 HAS SOUPS 3480 WITH SCORE 3511.731
AT ITER 7708 NEW BEST:: SOT 41725 SOS 31734 HAS SOPS 14096 HAS SOUS 3741 HAS SOUPS 3467 WITH SCORE 3498.734
AT ITER 7842 NEW BEST:: SOT 41725 SOS 31734 HAS SOPS 14096 HAS SOUS 3740 HAS SOUPS 3466 WITH SCORE 3497.734
AT ITER 7849 NEW BEST:: SOT 41726 SOS 31734 HAS SOPS 14098 HAS SOUS 3739 HAS SOUPS 3465 WITH SCORE 3496.734
AT ITER 7935 NEW BEST:: SOT 41727 SOS 31734 HAS SOPS 14097 HAS SOUS 3737 HAS SOUPS 3463 WITH SCORE 3494.734
AT ITER 8016 NEW BEST:: SOT 41724 SOS 31734 HAS SOPS 14091 HAS SOUS 3737 HAS SOUPS 3457 WITH SCORE 3488.734
AT ITER 8086 NEW BEST:: SOT 41723 SOS 31733 HAS SOPS 14089 HAS SOUS 3735 HAS SOUPS 3455 WITH SCORE 3486.733
AT ITER 8196 NEW BEST:: SOT 41694 SOS 31705 HAS SOPS 14075 HAS SOUS 3731 HAS SOUPS 3451 WITH SCORE 3482.705
AT ITER 8401 NEW BEST:: SOT 41691 SOS 31691 HAS SOPS 14069 HAS SOUS 3724 HAS SOUPS 3444 WITH SCORE 3475.691
AT ITER 8437 NEW BEST:: SOT 41690 SOS 31687 HAS SOPS 14065 HAS SOUS 3720 HAS SOUPS 3440 WITH SCORE 3471.687
AT ITER 8488 NEW BEST:: SOT 41686 SOS 31687 HAS SOPS 14061 HAS SOUS 3716 HAS SOUPS 3436 WITH SCORE 3467.687
AT ITER 8511 NEW BEST:: SOT 41696 SOS 31680 HAS SOPS 14063 HAS SOUS 3713 HAS SOUPS 3433 WITH SCORE 3464.68
AT ITER 8568 NEW BEST:: SOT 41701 SOS 31680 HAS SOPS 14061 HAS SOUS 3710 HAS SOUPS 3430 WITH SCORE 3461.68
AT ITER 8667 NEW BEST:: SOT 41693 SOS 31666 HAS SOPS 14054 HAS SOUS 3703 HAS SOUPS 3423 WITH SCORE 3454.666
AT ITER 8706 NEW BEST:: SOT 41691 SOS 31687 HAS SOPS 14050 HAS SOUS 3699 HAS SOUPS 3419 WITH SCORE 3450.687
AT ITER 8721 NEW BEST:: SOT 41690 SOS 31686 HAS SOPS 14048 HAS SOUS 3698 HAS SOUPS 3418 WITH SCORE 3449.686
AT ITER 8750 NEW BEST:: SOT 41690 SOS 31680 HAS SOPS 14045 HAS SOUS 3698 HAS SOUPS 3418 WITH SCORE 3449.68
AT ITER 8812 NEW BEST:: SOT 41688 SOS 31676 HAS SOPS 14041 HAS SOUS 3694 HAS SOUPS 3414 WITH SCORE 3445.676
AT ITER 8833 NEW BEST:: SOT 41687 SOS 31669 HAS SOPS 14039 HAS SOUS 3692 HAS SOUPS 3412 WITH SCORE 3443.669
AT ITER 8893 NEW BEST:: SOT 41687 SOS 31668 HAS SOPS 14038 HAS SOUS 3690 HAS SOUPS 3410 WITH SCORE 3441.668
AT ITER 8941 NEW BEST:: SOT 41686 SOS 31673 HAS SOPS 14042 HAS SOUS 3688 HAS SOUPS 3408 WITH SCORE 3439.673
AT ITER 8968 NEW BEST:: SOT 41686 SOS 31653 HAS SOPS 14032 HAS SOUS 3688 HAS SOUPS 3408 WITH SCORE 3439.653
AT ITER 9119 NEW BEST:: SOT 41673 SOS 31637 HAS SOPS 14024 HAS SOUS 3677 HAS SOUPS 3397 WITH SCORE 3428.637
AT ITER 9339 NEW BEST:: SOT 41667 SOS 31629 HAS SOPS 14014 HAS SOUS 3669 HAS SOUPS 3389 WITH SCORE 3420.629
AT ITER 9355 NEW BEST:: SOT 41643 SOS 31603 HAS SOPS 14006 HAS SOUS 3669 HAS SOUPS 3389 WITH SCORE 3420.603
AT ITER 9373 NEW BEST:: SOT 41643 SOS 31597 HAS SOPS 14003 HAS SOUS 3669 HAS SOUPS 3389 WITH SCORE 3420.597
AT ITER 9478 NEW BEST:: SOT 41641 SOS 31593 HAS SOPS 13999 HAS SOUS 3666 HAS SOUPS 3386 WITH SCORE 3417.593
AT ITER 9622 NEW BEST:: SOT 41635 SOS 31598 HAS SOPS 13998 HAS SOUS 3665 HAS SOUPS 3385 WITH SCORE 3416.598
AT ITER 9663 NEW BEST:: SOT 41628 SOS 31586 HAS SOPS 13984 HAS SOUS 3656 HAS SOUPS 3376 WITH SCORE 3407.586
AT ITER 9703 NEW BEST:: SOT 41627 SOS 31585 HAS SOPS 13982 HAS SOUS 3654 HAS SOUPS 3374 WITH SCORE 3405.585
AT ITER 9948 NEW BEST:: SOT 41626 SOS 31582 HAS SOPS 13976 HAS SOUS 3649 HAS SOUPS 3369 WITH SCORE 3400.582
AT ITER 9956 NEW BEST:: SOT 41620 SOS 31565 HAS SOPS 13964 HAS SOUS 3637 HAS SOUPS 3357 WITH SCORE 3388.565
AT ITER 9985 NEW BEST:: SOT 41619 SOS 31564 HAS SOPS 13963 HAS SOUS 3636 HAS SOUPS 3356 WITH SCORE 3387.564
STATE_SPACE STATES 8916100448257 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 14 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 167300718133249 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678451164706

--------------------
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-12a"
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 FlexibleBarrier-PT-12a, 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 r163-tall-167838847900512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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