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.r483-tall-167912696601120.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 UtilityControlRoom-PT-Z2T3N10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696601120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 30K Feb 26 14:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 26 14:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 50K Feb 26 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 219K Feb 26 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 49K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 36K Feb 26 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 185K Feb 26 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 110K Feb 26 14:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 451K Feb 26 14:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.1K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 116K Mar 5 18:23 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 1679190569695

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=UtilityControlRoom-PT-Z2T3N10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T3N10
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: 174 places, 270 transitions, 850 arcs.
AT ITER 0 NEW BEST:: SOT 38518 SOS 28536 HAS SOPS 28536 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18946.536
AT ITER 2 NEW BEST:: SOT 38385 SOS 28371 HAS SOPS 28371 HAS SOUS 18745 HAS SOUPS 18745 WITH SCORE 18773.371
AT ITER 3 NEW BEST:: SOT 38366 SOS 28376 HAS SOPS 28376 HAS SOUS 18730 HAS SOUPS 18730 WITH SCORE 18758.376
AT ITER 6 NEW BEST:: SOT 38285 SOS 28214 HAS SOPS 28214 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18666.214
AT ITER 7 NEW BEST:: SOT 38254 SOS 28232 HAS SOPS 28232 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18610.232
AT ITER 12 NEW BEST:: SOT 38223 SOS 28264 HAS SOPS 28264 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18580.264
AT ITER 13 NEW BEST:: SOT 38069 SOS 28015 HAS SOPS 28015 HAS SOUS 18379 HAS SOUPS 18379 WITH SCORE 18407.015
AT ITER 14 NEW BEST:: SOT 38027 SOS 28039 HAS SOPS 28039 HAS SOUS 18367 HAS SOUPS 18367 WITH SCORE 18395.039
AT ITER 15 NEW BEST:: SOT 38003 SOS 27937 HAS SOPS 27937 HAS SOUS 18308 HAS SOUPS 18308 WITH SCORE 18335.937
AT ITER 17 NEW BEST:: SOT 37984 SOS 27937 HAS SOPS 27937 HAS SOUS 18270 HAS SOUPS 18270 WITH SCORE 18297.937
AT ITER 18 NEW BEST:: SOT 37965 SOS 27937 HAS SOPS 27937 HAS SOUS 18232 HAS SOUPS 18232 WITH SCORE 18259.937
AT ITER 19 NEW BEST:: SOT 37920 SOS 27898 HAS SOPS 27898 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18209.898
AT ITER 21 NEW BEST:: SOT 37920 SOS 27844 HAS SOPS 27844 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18180.844
AT ITER 22 NEW BEST:: SOT 37911 SOS 27844 HAS SOPS 27844 HAS SOUS 18135 HAS SOUPS 18135 WITH SCORE 18162.844
AT ITER 23 NEW BEST:: SOT 37846 SOS 27779 HAS SOPS 27779 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18143.779
AT ITER 26 NEW BEST:: SOT 37846 SOS 27794 HAS SOPS 27794 HAS SOUS 18039 HAS SOUPS 18039 WITH SCORE 18066.794
AT ITER 27 NEW BEST:: SOT 37844 SOS 27724 HAS SOPS 27724 HAS SOUS 18002 HAS SOUPS 18002 WITH SCORE 18029.724
AT ITER 29 NEW BEST:: SOT 37855 SOS 27721 HAS SOPS 27721 HAS SOUS 17999 HAS SOUPS 17999 WITH SCORE 18026.721
AT ITER 30 NEW BEST:: SOT 37855 SOS 27675 HAS SOPS 27675 HAS SOUS 17997 HAS SOUPS 17997 WITH SCORE 18024.675
AT ITER 38 NEW BEST:: SOT 37845 SOS 27655 HAS SOPS 27655 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18006.655
AT ITER 42 NEW BEST:: SOT 37796 SOS 27579 HAS SOPS 27579 HAS SOUS 17915 HAS SOUPS 17915 WITH SCORE 17942.579
AT ITER 43 NEW BEST:: SOT 37741 SOS 27474 HAS SOPS 27474 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17867.474
AT ITER 46 NEW BEST:: SOT 37741 SOS 27451 HAS SOPS 27451 HAS SOUS 17803 HAS SOUPS 17803 WITH SCORE 17830.451
AT ITER 47 NEW BEST:: SOT 37678 SOS 27388 HAS SOPS 27388 HAS SOUS 17785 HAS SOUPS 17785 WITH SCORE 17812.388
AT ITER 48 NEW BEST:: SOT 37638 SOS 27307 HAS SOPS 27307 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17679.307
AT ITER 49 NEW BEST:: SOT 30608 SOS 20775 HAS SOPS 20775 HAS SOUS 13285 HAS SOUPS 13285 WITH SCORE 13305.775
AT ITER 52 NEW BEST:: SOT 30596 SOS 20763 HAS SOPS 20763 HAS SOUS 13263 HAS SOUPS 13263 WITH SCORE 13283.763
AT ITER 60 NEW BEST:: SOT 30476 SOS 20565 HAS SOPS 20565 HAS SOUS 13158 HAS SOUPS 13158 WITH SCORE 13178.565
AT ITER 61 NEW BEST:: SOT 30468 SOS 20557 HAS SOPS 20557 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13170.557
AT ITER 62 NEW BEST:: SOT 30439 SOS 20557 HAS SOPS 20557 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13112.557
AT ITER 63 NEW BEST:: SOT 30346 SOS 20455 HAS SOPS 20455 HAS SOUS 13030 HAS SOUPS 13030 WITH SCORE 13050.455
AT ITER 68 NEW BEST:: SOT 30322 SOS 20431 HAS SOPS 20431 HAS SOUS 12994 HAS SOUPS 12994 WITH SCORE 13014.431
AT ITER 72 NEW BEST:: SOT 30291 SOS 20322 HAS SOPS 20322 HAS SOUS 12906 HAS SOUPS 12906 WITH SCORE 12926.322
AT ITER 73 NEW BEST:: SOT 30095 SOS 20078 HAS SOPS 20078 HAS SOUS 12739 HAS SOUPS 12739 WITH SCORE 12759.078
AT ITER 77 NEW BEST:: SOT 30064 SOS 20063 HAS SOPS 20063 HAS SOUS 12672 HAS SOUPS 12672 WITH SCORE 12692.063
AT ITER 79 NEW BEST:: SOT 30070 SOS 20075 HAS SOPS 20075 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12686.075
AT ITER 84 NEW BEST:: SOT 30057 SOS 20074 HAS SOPS 20074 HAS SOUS 12665 HAS SOUPS 12665 WITH SCORE 12685.074
AT ITER 86 NEW BEST:: SOT 29962 SOS 19908 HAS SOPS 19908 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12544.908
AT ITER 87 NEW BEST:: SOT 29904 SOS 19860 HAS SOPS 19860 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12430.86
AT ITER 90 NEW BEST:: SOT 30027 SOS 19983 HAS SOPS 19983 HAS SOUS 12378 HAS SOUPS 12378 WITH SCORE 12397.983
AT ITER 98 NEW BEST:: SOT 30041 SOS 18864 HAS SOPS 18864 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12320.864
AT ITER 99 NEW BEST:: SOT 30035 SOS 18858 HAS SOPS 18858 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12320.858
AT ITER 104 NEW BEST:: SOT 30023 SOS 18796 HAS SOPS 18796 HAS SOUS 12279 HAS SOUPS 12279 WITH SCORE 12297.796
AT ITER 106 NEW BEST:: SOT 29962 SOS 18798 HAS SOPS 18798 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12206.798
AT ITER 109 NEW BEST:: SOT 29962 SOS 18785 HAS SOPS 18785 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12206.785
AT ITER 114 NEW BEST:: SOT 30040 SOS 18863 HAS SOPS 18863 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12179.863
AT ITER 115 NEW BEST:: SOT 30036 SOS 18859 HAS SOPS 18859 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12179.859
AT ITER 117 NEW BEST:: SOT 29855 SOS 20225 HAS SOPS 20225 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12112.225
AT ITER 119 NEW BEST:: SOT 29763 SOS 20046 HAS SOPS 20046 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12007.046
AT ITER 124 NEW BEST:: SOT 29743 SOS 20046 HAS SOPS 20046 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11967.046
AT ITER 125 NEW BEST:: SOT 29723 SOS 20026 HAS SOPS 20026 HAS SOUS 11907 HAS SOUPS 11907 WITH SCORE 11927.026
AT ITER 129 NEW BEST:: SOT 29724 SOS 20040 HAS SOPS 20040 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11925.04
AT ITER 130 NEW BEST:: SOT 29688 SOS 19932 HAS SOPS 19932 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11902.932
AT ITER 142 NEW BEST:: SOT 29652 SOS 19877 HAS SOPS 19877 HAS SOUS 11813 HAS SOUPS 11813 WITH SCORE 11832.877
AT ITER 150 NEW BEST:: SOT 29695 SOS 19882 HAS SOPS 19882 HAS SOUS 11751 HAS SOUPS 11751 WITH SCORE 11770.882
AT ITER 154 NEW BEST:: SOT 29544 SOS 19654 HAS SOPS 19654 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11478.654
AT ITER 158 NEW BEST:: SOT 29520 SOS 19581 HAS SOPS 19581 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11430.581
AT ITER 161 NEW BEST:: SOT 29511 SOS 19579 HAS SOPS 19579 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11428.579
AT ITER 163 NEW BEST:: SOT 29494 SOS 19567 HAS SOPS 19567 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11400.567
AT ITER 169 NEW BEST:: SOT 29365 SOS 19391 HAS SOPS 19391 HAS SOUS 11315 HAS SOUPS 11315 WITH SCORE 11334.391
AT ITER 183 NEW BEST:: SOT 29359 SOS 19385 HAS SOPS 19385 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11316.385
AT ITER 185 NEW BEST:: SOT 29317 SOS 19343 HAS SOPS 19343 HAS SOUS 11276 HAS SOUPS 11276 WITH SCORE 11295.343
AT ITER 191 NEW BEST:: SOT 29248 SOS 19919 HAS SOPS 19919 HAS SOUS 11055 HAS SOUPS 11055 WITH SCORE 11074.919
AT ITER 194 NEW BEST:: SOT 29274 SOS 19828 HAS SOPS 19828 HAS SOUS 10938 HAS SOUPS 10938 WITH SCORE 10957.828
AT ITER 196 NEW BEST:: SOT 29267 SOS 19800 HAS SOPS 19800 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10950.8
AT ITER 205 NEW BEST:: SOT 29192 SOS 19222 HAS SOPS 19222 HAS SOUS 10827 HAS SOUPS 10827 WITH SCORE 10846.222
AT ITER 208 NEW BEST:: SOT 29186 SOS 19170 HAS SOPS 19170 HAS SOUS 10811 HAS SOUPS 10811 WITH SCORE 10830.17
AT ITER 209 NEW BEST:: SOT 29232 SOS 19146 HAS SOPS 19146 HAS SOUS 10773 HAS SOUPS 10773 WITH SCORE 10792.146
AT ITER 210 NEW BEST:: SOT 29145 SOS 18950 HAS SOPS 18950 HAS SOUS 10701 HAS SOUPS 10701 WITH SCORE 10719.95
AT ITER 212 NEW BEST:: SOT 29165 SOS 18970 HAS SOPS 18970 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10709.97
AT ITER 222 NEW BEST:: SOT 29098 SOS 18903 HAS SOPS 18903 HAS SOUS 10638 HAS SOUPS 10638 WITH SCORE 10656.903
AT ITER 224 NEW BEST:: SOT 29000 SOS 18677 HAS SOPS 18677 HAS SOUS 10431 HAS SOUPS 10431 WITH SCORE 10449.677
AT ITER 227 NEW BEST:: SOT 28950 SOS 18581 HAS SOPS 18581 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10382.581
AT ITER 231 NEW BEST:: SOT 28945 SOS 18521 HAS SOPS 18521 HAS SOUS 10353 HAS SOUPS 10353 WITH SCORE 10371.521
AT ITER 234 NEW BEST:: SOT 28933 SOS 18494 HAS SOPS 18494 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10352.494
AT ITER 245 NEW BEST:: SOT 28907 SOS 18416 HAS SOPS 18416 HAS SOUS 10280 HAS SOUPS 10280 WITH SCORE 10298.416
AT ITER 246 NEW BEST:: SOT 28893 SOS 18388 HAS SOPS 18388 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10256.388
AT ITER 248 NEW BEST:: SOT 28892 SOS 18386 HAS SOPS 18386 HAS SOUS 10236 HAS SOUPS 10236 WITH SCORE 10254.386
AT ITER 253 NEW BEST:: SOT 28805 SOS 18208 HAS SOPS 18208 HAS SOUS 10147 HAS SOUPS 10147 WITH SCORE 10165.208
AT ITER 254 NEW BEST:: SOT 28782 SOS 18125 HAS SOPS 18125 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10098.125
AT ITER 260 NEW BEST:: SOT 28732 SOS 18018 HAS SOPS 18018 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10010.018
AT ITER 263 NEW BEST:: SOT 28740 SOS 18032 HAS SOPS 18032 HAS SOUS 9911 HAS SOUPS 9911 WITH SCORE 9929.032
AT ITER 269 NEW BEST:: SOT 28758 SOS 17923 HAS SOPS 17923 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9903.923
AT ITER 273 NEW BEST:: SOT 28758 SOS 17920 HAS SOPS 17920 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9903.92
AT ITER 276 NEW BEST:: SOT 28787 SOS 17934 HAS SOPS 17934 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9888.934
AT ITER 278 NEW BEST:: SOT 28795 SOS 17911 HAS SOPS 17911 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9867.911
AT ITER 279 NEW BEST:: SOT 28806 SOS 17917 HAS SOPS 17917 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9862.917
AT ITER 284 NEW BEST:: SOT 28816 SOS 17884 HAS SOPS 17884 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9795.884
AT ITER 300 NEW BEST:: SOT 28800 SOS 17864 HAS SOPS 17864 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9787.864
AT ITER 301 NEW BEST:: SOT 28794 SOS 17842 HAS SOPS 17842 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9779.842
AT ITER 304 NEW BEST:: SOT 28817 SOS 18011 HAS SOPS 18011 HAS SOUS 9746 HAS SOUPS 9746 WITH SCORE 9764.011
AT ITER 322 NEW BEST:: SOT 28810 SOS 17990 HAS SOPS 17990 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9759.99
AT ITER 325 NEW BEST:: SOT 28814 SOS 17994 HAS SOPS 17994 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9702.994
AT ITER 330 NEW BEST:: SOT 28772 SOS 17962 HAS SOPS 17962 HAS SOUS 9638 HAS SOUPS 9638 WITH SCORE 9655.962
AT ITER 337 NEW BEST:: SOT 28742 SOS 17902 HAS SOPS 17902 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9619.902
AT ITER 340 NEW BEST:: SOT 28737 SOS 17899 HAS SOPS 17899 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9538.899
AT ITER 344 NEW BEST:: SOT 28728 SOS 17871 HAS SOPS 17871 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9528.871
AT ITER 348 NEW BEST:: SOT 28683 SOS 17781 HAS SOPS 17781 HAS SOUS 9436 HAS SOUPS 9436 WITH SCORE 9453.781
AT ITER 354 NEW BEST:: SOT 28689 SOS 17749 HAS SOPS 17749 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9411.749
AT ITER 358 NEW BEST:: SOT 28686 SOS 17746 HAS SOPS 17746 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9408.746
AT ITER 383 NEW BEST:: SOT 28620 SOS 17718 HAS SOPS 17718 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9376.718
AT ITER 384 NEW BEST:: SOT 28611 SOS 17703 HAS SOPS 17703 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9364.703
AT ITER 388 NEW BEST:: SOT 28606 SOS 17685 HAS SOPS 17685 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9359.685
AT ITER 389 NEW BEST:: SOT 28583 SOS 17594 HAS SOPS 17594 HAS SOUS 9277 HAS SOUPS 9277 WITH SCORE 9294.594
AT ITER 392 NEW BEST:: SOT 28535 SOS 17542 HAS SOPS 17542 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9272.542
AT ITER 411 NEW BEST:: SOT 28505 SOS 17510 HAS SOPS 17510 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9258.51
AT ITER 412 NEW BEST:: SOT 28505 SOS 17508 HAS SOPS 17508 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9257.508
AT ITER 413 NEW BEST:: SOT 28521 SOS 17540 HAS SOPS 17540 HAS SOUS 9224 HAS SOUPS 9224 WITH SCORE 9241.54
AT ITER 415 NEW BEST:: SOT 28508 SOS 17510 HAS SOPS 17510 HAS SOUS 9194 HAS SOUPS 9194 WITH SCORE 9211.51
AT ITER 420 NEW BEST:: SOT 28474 SOS 17454 HAS SOPS 17454 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9176.454
AT ITER 421 NEW BEST:: SOT 28450 SOS 17370 HAS SOPS 17370 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9124.37
AT ITER 422 NEW BEST:: SOT 28380 SOS 17300 HAS SOPS 17300 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9054.3
AT ITER 435 NEW BEST:: SOT 28376 SOS 17296 HAS SOPS 17296 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9046.296
AT ITER 445 NEW BEST:: SOT 28376 SOS 17285 HAS SOPS 17285 HAS SOUS 9029 HAS SOUPS 9029 WITH SCORE 9046.285
AT ITER 452 NEW BEST:: SOT 28351 SOS 17159 HAS SOPS 17159 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9037.159
AT ITER 458 NEW BEST:: SOT 28345 SOS 17187 HAS SOPS 17187 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9011.187
AT ITER 472 NEW BEST:: SOT 28320 SOS 17173 HAS SOPS 17173 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9006.173
AT ITER 476 NEW BEST:: SOT 28317 SOS 17173 HAS SOPS 17173 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9003.173
AT ITER 477 NEW BEST:: SOT 28107 SOS 16991 HAS SOPS 16991 HAS SOUS 8954 HAS SOUPS 8954 WITH SCORE 8970.991
AT ITER 479 NEW BEST:: SOT 28106 SOS 16996 HAS SOPS 16996 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8962.996
AT ITER 489 NEW BEST:: SOT 28033 SOS 16749 HAS SOPS 16749 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8962.749
AT ITER 501 NEW BEST:: SOT 28045 SOS 16761 HAS SOPS 16761 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8959.761
AT ITER 507 NEW BEST:: SOT 28052 SOS 16054 HAS SOPS 16054 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8933.054
AT ITER 530 NEW BEST:: SOT 28066 SOS 16060 HAS SOPS 16060 HAS SOUS 8904 HAS SOUPS 8904 WITH SCORE 8920.06
AT ITER 537 NEW BEST:: SOT 28066 SOS 16049 HAS SOPS 16049 HAS SOUS 8893 HAS SOUPS 8893 WITH SCORE 8909.049
AT ITER 540 NEW BEST:: SOT 28063 SOS 16056 HAS SOPS 16056 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8899.056
AT ITER 541 NEW BEST:: SOT 27696 SOS 17449 HAS SOPS 17449 HAS SOUS 8712 HAS SOUPS 8712 WITH SCORE 8729.449
AT ITER 547 NEW BEST:: SOT 27666 SOS 17409 HAS SOPS 17409 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8689.409
AT ITER 549 NEW BEST:: SOT 27728 SOS 17339 HAS SOPS 17339 HAS SOUS 8611 HAS SOUPS 8611 WITH SCORE 8628.339
AT ITER 557 NEW BEST:: SOT 27728 SOS 17339 HAS SOPS 17339 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8625.339
AT ITER 574 NEW BEST:: SOT 27728 SOS 17333 HAS SOPS 17333 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8625.333
AT ITER 576 NEW BEST:: SOT 27727 SOS 17352 HAS SOPS 17352 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8612.352
AT ITER 580 NEW BEST:: SOT 27662 SOS 17207 HAS SOPS 17207 HAS SOUS 8529 HAS SOUPS 8529 WITH SCORE 8546.207
AT ITER 597 NEW BEST:: SOT 27588 SOS 17059 HAS SOPS 17059 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8509.059
AT ITER 598 NEW BEST:: SOT 27581 SOS 17048 HAS SOPS 17048 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8446.048
AT ITER 600 NEW BEST:: SOT 27522 SOS 16918 HAS SOPS 16918 HAS SOUS 8403 HAS SOUPS 8403 WITH SCORE 8419.918
AT ITER 603 NEW BEST:: SOT 27507 SOS 16909 HAS SOPS 16909 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8384.909
AT ITER 610 NEW BEST:: SOT 27530 SOS 16776 HAS SOPS 16776 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8293.776
AT ITER 614 NEW BEST:: SOT 27364 SOS 16616 HAS SOPS 16616 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8139.616
AT ITER 615 NEW BEST:: SOT 27438 SOS 16769 HAS SOPS 16769 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8060.769
AT ITER 618 NEW BEST:: SOT 27435 SOS 16766 HAS SOPS 16766 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8057.766
AT ITER 622 NEW BEST:: SOT 27377 SOS 16754 HAS SOPS 16754 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8045.754
AT ITER 625 NEW BEST:: SOT 27394 SOS 16780 HAS SOPS 16780 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8010.78
AT ITER 626 NEW BEST:: SOT 27389 SOS 16774 HAS SOPS 16774 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8008.774
AT ITER 628 NEW BEST:: SOT 27381 SOS 16715 HAS SOPS 16715 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7995.715
AT ITER 630 NEW BEST:: SOT 27402 SOS 16712 HAS SOPS 16712 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7967.712
AT ITER 631 NEW BEST:: SOT 27396 SOS 16707 HAS SOPS 16707 HAS SOUS 7948 HAS SOUPS 7948 WITH SCORE 7964.707
AT ITER 639 NEW BEST:: SOT 27373 SOS 16693 HAS SOPS 16693 HAS SOUS 7932 HAS SOUPS 7932 WITH SCORE 7948.693
AT ITER 649 NEW BEST:: SOT 27346 SOS 16660 HAS SOPS 16660 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7925.66
AT ITER 651 NEW BEST:: SOT 27344 SOS 16658 HAS SOPS 16658 HAS SOUS 7906 HAS SOUPS 7906 WITH SCORE 7922.658
AT ITER 654 NEW BEST:: SOT 27346 SOS 16660 HAS SOPS 16660 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7921.66
AT ITER 657 NEW BEST:: SOT 27390 SOS 16689 HAS SOPS 16689 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7916.689
AT ITER 658 NEW BEST:: SOT 27340 SOS 16537 HAS SOPS 16537 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7774.537
AT ITER 660 NEW BEST:: SOT 27309 SOS 16470 HAS SOPS 16470 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7746.47
AT ITER 666 NEW BEST:: SOT 27183 SOS 16360 HAS SOPS 16360 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7637.36
AT ITER 685 NEW BEST:: SOT 27127 SOS 16259 HAS SOPS 16259 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7544.259
AT ITER 701 NEW BEST:: SOT 27142 SOS 16224 HAS SOPS 16224 HAS SOUS 7491 HAS SOUPS 7491 WITH SCORE 7507.224
AT ITER 702 NEW BEST:: SOT 27131 SOS 16213 HAS SOPS 16213 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7485.213
AT ITER 707 NEW BEST:: SOT 27131 SOS 16160 HAS SOPS 16160 HAS SOUS 7455 HAS SOUPS 7455 WITH SCORE 7471.16
AT ITER 715 NEW BEST:: SOT 27131 SOS 16142 HAS SOPS 16142 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7453.142
AT ITER 744 NEW BEST:: SOT 27107 SOS 16112 HAS SOPS 16112 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7438.112
AT ITER 745 NEW BEST:: SOT 27106 SOS 16116 HAS SOPS 16116 HAS SOUS 7410 HAS SOUPS 7410 WITH SCORE 7426.116
AT ITER 759 NEW BEST:: SOT 27066 SOS 16066 HAS SOPS 16066 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7396.066
AT ITER 761 NEW BEST:: SOT 27066 SOS 16066 HAS SOPS 16066 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7393.066
AT ITER 766 NEW BEST:: SOT 27066 SOS 16058 HAS SOPS 16058 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7393.058
AT ITER 781 NEW BEST:: SOT 27058 SOS 16048 HAS SOPS 16048 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7390.048
AT ITER 786 NEW BEST:: SOT 27050 SOS 16058 HAS SOPS 16058 HAS SOUS 7366 HAS SOUPS 7366 WITH SCORE 7382.058
AT ITER 798 NEW BEST:: SOT 27037 SOS 16052 HAS SOPS 16052 HAS SOUS 7360 HAS SOUPS 7360 WITH SCORE 7376.052
AT ITER 802 NEW BEST:: SOT 27046 SOS 16070 HAS SOPS 16070 HAS SOUS 7318 HAS SOUPS 7318 WITH SCORE 7334.07
AT ITER 815 NEW BEST:: SOT 27036 SOS 16060 HAS SOPS 16060 HAS SOUS 7308 HAS SOUPS 7308 WITH SCORE 7324.06
AT ITER 817 NEW BEST:: SOT 27003 SOS 16113 HAS SOPS 16113 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7284.113
AT ITER 829 NEW BEST:: SOT 27004 SOS 16134 HAS SOPS 16134 HAS SOUS 7263 HAS SOUPS 7263 WITH SCORE 7279.134
AT ITER 884 NEW BEST:: SOT 26874 SOS 16004 HAS SOPS 16004 HAS SOUS 7133 HAS SOUPS 7133 WITH SCORE 7149.004
AT ITER 893 NEW BEST:: SOT 26856 SOS 15966 HAS SOPS 15966 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7127.966
AT ITER 900 NEW BEST:: SOT 26852 SOS 15958 HAS SOPS 15958 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7115.958
AT ITER 903 NEW BEST:: SOT 26850 SOS 15954 HAS SOPS 15954 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7115.954
AT ITER 922 NEW BEST:: SOT 26846 SOS 15950 HAS SOPS 15950 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7115.95
AT ITER 929 NEW BEST:: SOT 26826 SOS 15913 HAS SOPS 15913 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7082.913
AT ITER 933 NEW BEST:: SOT 26756 SOS 15826 HAS SOPS 15826 HAS SOUS 6997 HAS SOUPS 6997 WITH SCORE 7012.826
AT ITER 936 NEW BEST:: SOT 26752 SOS 15822 HAS SOPS 15822 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7011.822
AT ITER 961 NEW BEST:: SOT 26703 SOS 15799 HAS SOPS 15799 HAS SOUS 6973 HAS SOUPS 6973 WITH SCORE 6988.799
AT ITER 975 NEW BEST:: SOT 26694 SOS 15755 HAS SOPS 15755 HAS SOUS 6960 HAS SOUPS 6960 WITH SCORE 6975.755
AT ITER 979 NEW BEST:: SOT 26693 SOS 15755 HAS SOPS 15755 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6973.755
AT ITER 1004 NEW BEST:: SOT 26675 SOS 15707 HAS SOPS 15707 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6970.707
AT ITER 1016 NEW BEST:: SOT 26669 SOS 15701 HAS SOPS 15701 HAS SOUS 6943 HAS SOUPS 6943 WITH SCORE 6958.701
AT ITER 1036 NEW BEST:: SOT 26674 SOS 15703 HAS SOPS 15703 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6954.703
AT ITER 1039 NEW BEST:: SOT 26663 SOS 15671 HAS SOPS 15671 HAS SOUS 6907 HAS SOUPS 6907 WITH SCORE 6922.671
AT ITER 1042 NEW BEST:: SOT 26666 SOS 15677 HAS SOPS 15677 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6919.677
AT ITER 1067 NEW BEST:: SOT 26551 SOS 16019 HAS SOPS 16019 HAS SOUS 6849 HAS SOUPS 6849 WITH SCORE 6865.019
AT ITER 1069 NEW BEST:: SOT 26550 SOS 16018 HAS SOPS 16018 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6863.018
AT ITER 1082 NEW BEST:: SOT 26513 SOS 15981 HAS SOPS 15981 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6825.981
AT ITER 1084 NEW BEST:: SOT 26424 SOS 15538 HAS SOPS 15538 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6757.538
AT ITER 1111 NEW BEST:: SOT 26432 SOS 15510 HAS SOPS 15510 HAS SOUS 6739 HAS SOUPS 6739 WITH SCORE 6754.51
AT ITER 1118 NEW BEST:: SOT 26422 SOS 15486 HAS SOPS 15486 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6751.486
AT ITER 1128 NEW BEST:: SOT 26416 SOS 15480 HAS SOPS 15480 HAS SOUS 6724 HAS SOUPS 6724 WITH SCORE 6739.48
AT ITER 1132 NEW BEST:: SOT 26387 SOS 15444 HAS SOPS 15444 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6720.444
AT ITER 1146 NEW BEST:: SOT 26379 SOS 15420 HAS SOPS 15420 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6683.42
AT ITER 1185 NEW BEST:: SOT 26375 SOS 15416 HAS SOPS 15416 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6679.416
AT ITER 1186 NEW BEST:: SOT 26371 SOS 15421 HAS SOPS 15421 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6677.421
AT ITER 1200 NEW BEST:: SOT 26370 SOS 15420 HAS SOPS 15420 HAS SOUS 6660 HAS SOUPS 6660 WITH SCORE 6675.42
AT ITER 1225 NEW BEST:: SOT 26366 SOS 15402 HAS SOPS 15402 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6664.402
AT ITER 1227 NEW BEST:: SOT 26339 SOS 15382 HAS SOPS 15382 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6644.382
AT ITER 1228 NEW BEST:: SOT 26339 SOS 15346 HAS SOPS 15346 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6626.346
AT ITER 1246 NEW BEST:: SOT 26321 SOS 15300 HAS SOPS 15300 HAS SOUS 6578 HAS SOUPS 6578 WITH SCORE 6593.3
AT ITER 1247 NEW BEST:: SOT 26291 SOS 15234 HAS SOPS 15234 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6535.234
AT ITER 1252 NEW BEST:: SOT 26283 SOS 15226 HAS SOPS 15226 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6532.226
AT ITER 1260 NEW BEST:: SOT 26096 SOS 15091 HAS SOPS 15091 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6476.091
AT ITER 1273 NEW BEST:: SOT 26070 SOS 15065 HAS SOPS 15065 HAS SOUS 6461 HAS SOUPS 6461 WITH SCORE 6476.065
AT ITER 1287 NEW BEST:: SOT 26066 SOS 15058 HAS SOPS 15058 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6467.058
AT ITER 1316 NEW BEST:: SOT 26066 SOS 14993 HAS SOPS 14993 HAS SOUS 6452 HAS SOUPS 6452 WITH SCORE 6466.993
AT ITER 1322 NEW BEST:: SOT 26035 SOS 14957 HAS SOPS 14957 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6442.957
AT ITER 1337 NEW BEST:: SOT 26025 SOS 14937 HAS SOPS 14937 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6406.937
AT ITER 1353 NEW BEST:: SOT 25988 SOS 14913 HAS SOPS 14913 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6382.913
AT ITER 1360 NEW BEST:: SOT 25988 SOS 14937 HAS SOPS 14937 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6376.937
AT ITER 1369 NEW BEST:: SOT 25998 SOS 14934 HAS SOPS 14934 HAS SOUS 6354 HAS SOUPS 6354 WITH SCORE 6368.934
AT ITER 1379 NEW BEST:: SOT 25994 SOS 14914 HAS SOPS 14914 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6360.914
AT ITER 1381 NEW BEST:: SOT 25983 SOS 14903 HAS SOPS 14903 HAS SOUS 6327 HAS SOUPS 6327 WITH SCORE 6341.903
AT ITER 1393 NEW BEST:: SOT 25987 SOS 14907 HAS SOPS 14907 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6338.907
AT ITER 1400 NEW BEST:: SOT 25987 SOS 14905 HAS SOPS 14905 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6338.905
AT ITER 1420 NEW BEST:: SOT 25933 SOS 14745 HAS SOPS 14745 HAS SOUS 6216 HAS SOUPS 6216 WITH SCORE 6230.745
AT ITER 1442 NEW BEST:: SOT 25933 SOS 14741 HAS SOPS 14741 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6228.741
AT ITER 1454 NEW BEST:: SOT 25938 SOS 14740 HAS SOPS 14740 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6221.74
AT ITER 1460 NEW BEST:: SOT 25938 SOS 14708 HAS SOPS 14708 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6205.708
AT ITER 1467 NEW BEST:: SOT 25940 SOS 14721 HAS SOPS 14721 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6186.721
AT ITER 1474 NEW BEST:: SOT 25895 SOS 14716 HAS SOPS 14716 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6164.716
AT ITER 1478 NEW BEST:: SOT 25860 SOS 14708 HAS SOPS 14708 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6095.708
AT ITER 1507 NEW BEST:: SOT 25860 SOS 14698 HAS SOPS 14698 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6072.698
AT ITER 1534 NEW BEST:: SOT 25837 SOS 14675 HAS SOPS 14675 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6067.675
AT ITER 1546 NEW BEST:: SOT 25812 SOS 14620 HAS SOPS 14620 HAS SOUS 6028 HAS SOUPS 6028 WITH SCORE 6042.62
AT ITER 1552 NEW BEST:: SOT 25771 SOS 14496 HAS SOPS 14496 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5981.496
AT ITER 1562 NEW BEST:: SOT 25753 SOS 14446 HAS SOPS 14446 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5967.446
AT ITER 1567 NEW BEST:: SOT 25753 SOS 14452 HAS SOPS 14452 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5964.452
AT ITER 1573 NEW BEST:: SOT 25747 SOS 14446 HAS SOPS 14446 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5956.446
AT ITER 1574 NEW BEST:: SOT 25743 SOS 14412 HAS SOPS 14412 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5932.412
AT ITER 1593 NEW BEST:: SOT 25727 SOS 14369 HAS SOPS 14369 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5900.369
AT ITER 1597 NEW BEST:: SOT 25727 SOS 14368 HAS SOPS 14368 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5898.368
AT ITER 1599 NEW BEST:: SOT 25675 SOS 14292 HAS SOPS 14292 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5791.292
AT ITER 1617 NEW BEST:: SOT 25659 SOS 14276 HAS SOPS 14276 HAS SOUS 5751 HAS SOUPS 5751 WITH SCORE 5765.276
AT ITER 1631 NEW BEST:: SOT 25647 SOS 14237 HAS SOPS 14237 HAS SOUS 5748 HAS SOUPS 5748 WITH SCORE 5762.237
AT ITER 1636 NEW BEST:: SOT 25650 SOS 14240 HAS SOPS 14240 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5758.24
AT ITER 1637 NEW BEST:: SOT 25638 SOS 14228 HAS SOPS 14228 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5745.228
AT ITER 1663 NEW BEST:: SOT 25614 SOS 14180 HAS SOPS 14180 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5720.18
AT ITER 1679 NEW BEST:: SOT 25604 SOS 14170 HAS SOPS 14170 HAS SOUS 5706 HAS SOUPS 5706 WITH SCORE 5720.17
AT ITER 1692 NEW BEST:: SOT 25566 SOS 14062 HAS SOPS 14062 HAS SOUS 5662 HAS SOUPS 5662 WITH SCORE 5676.062
AT ITER 1708 NEW BEST:: SOT 25555 SOS 12690 HAS SOPS 12690 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5644.69
AT ITER 1735 NEW BEST:: SOT 25575 SOS 12740 HAS SOPS 12740 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5593.74
AT ITER 1739 NEW BEST:: SOT 25556 SOS 12708 HAS SOPS 12708 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5572.708
AT ITER 1741 NEW BEST:: SOT 25559 SOS 12709 HAS SOPS 12709 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5569.709
AT ITER 1764 NEW BEST:: SOT 25555 SOS 12705 HAS SOPS 12705 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5568.705
AT ITER 1795 NEW BEST:: SOT 25555 SOS 12695 HAS SOPS 12695 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5568.695
AT ITER 1848 NEW BEST:: SOT 25558 SOS 12690 HAS SOPS 12690 HAS SOUS 5546 HAS SOUPS 5546 WITH SCORE 5558.69
AT ITER 1878 NEW BEST:: SOT 25548 SOS 12680 HAS SOPS 12680 HAS SOUS 5536 HAS SOUPS 5536 WITH SCORE 5548.68
AT ITER 1886 NEW BEST:: SOT 25500 SOS 12686 HAS SOPS 12686 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5527.686
AT ITER 1887 NEW BEST:: SOT 25479 SOS 12717 HAS SOPS 12717 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5502.717
AT ITER 1899 NEW BEST:: SOT 25479 SOS 12717 HAS SOPS 12717 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5501.717
AT ITER 1903 NEW BEST:: SOT 25477 SOS 12709 HAS SOPS 12709 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5499.709
AT ITER 1927 NEW BEST:: SOT 25474 SOS 12694 HAS SOPS 12694 HAS SOUS 5481 HAS SOUPS 5481 WITH SCORE 5493.694
AT ITER 1929 NEW BEST:: SOT 25468 SOS 12667 HAS SOPS 12667 HAS SOUS 5468 HAS SOUPS 5468 WITH SCORE 5480.667
AT ITER 1949 NEW BEST:: SOT 25468 SOS 12667 HAS SOPS 12667 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5478.667
AT ITER 1962 NEW BEST:: SOT 25466 SOS 12665 HAS SOPS 12665 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5476.665
AT ITER 1966 NEW BEST:: SOT 25465 SOS 12663 HAS SOPS 12663 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5475.663
AT ITER 1971 NEW BEST:: SOT 25482 SOS 12680 HAS SOPS 12680 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5468.68
AT ITER 1973 NEW BEST:: SOT 25470 SOS 12638 HAS SOPS 12638 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5438.638
AT ITER 1981 NEW BEST:: SOT 25452 SOS 12629 HAS SOPS 12629 HAS SOUS 5417 HAS SOUPS 5417 WITH SCORE 5429.629
AT ITER 1990 NEW BEST:: SOT 25456 SOS 12615 HAS SOPS 12615 HAS SOUS 5413 HAS SOUPS 5413 WITH SCORE 5425.615
AT ITER 1991 NEW BEST:: SOT 25460 SOS 12619 HAS SOPS 12619 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5405.619
AT ITER 1998 NEW BEST:: SOT 25474 SOS 12617 HAS SOPS 12617 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5403.617
AT ITER 2022 NEW BEST:: SOT 25470 SOS 12613 HAS SOPS 12613 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5403.613
AT ITER 2042 NEW BEST:: SOT 25457 SOS 12571 HAS SOPS 12571 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5380.571
AT ITER 2052 NEW BEST:: SOT 25439 SOS 12534 HAS SOPS 12534 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5376.534
AT ITER 2054 NEW BEST:: SOT 25437 SOS 12528 HAS SOPS 12528 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5372.528
AT ITER 2068 NEW BEST:: SOT 25437 SOS 12527 HAS SOPS 12527 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5372.527
AT ITER 2071 NEW BEST:: SOT 25446 SOS 12555 HAS SOPS 12555 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5366.555
AT ITER 2086 NEW BEST:: SOT 25448 SOS 12554 HAS SOPS 12554 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5351.554
AT ITER 2112 NEW BEST:: SOT 25446 SOS 12548 HAS SOPS 12548 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5339.548
AT ITER 2128 NEW BEST:: SOT 25445 SOS 12537 HAS SOPS 12537 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5339.537
AT ITER 2133 NEW BEST:: SOT 25460 SOS 12568 HAS SOPS 12568 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5337.568
AT ITER 2136 NEW BEST:: SOT 25431 SOS 12489 HAS SOPS 12489 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5312.489
AT ITER 2141 NEW BEST:: SOT 25427 SOS 12485 HAS SOPS 12485 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5308.485
AT ITER 2148 NEW BEST:: SOT 25410 SOS 12474 HAS SOPS 12474 HAS SOUS 5262 HAS SOUPS 5262 WITH SCORE 5274.474
AT ITER 2153 NEW BEST:: SOT 25409 SOS 12475 HAS SOPS 12475 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5273.475
AT ITER 2173 NEW BEST:: SOT 25398 SOS 12464 HAS SOPS 12464 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5229.464
AT ITER 2223 NEW BEST:: SOT 25382 SOS 12457 HAS SOPS 12457 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5222.457
AT ITER 2261 NEW BEST:: SOT 25378 SOS 12449 HAS SOPS 12449 HAS SOUS 5202 HAS SOUPS 5202 WITH SCORE 5214.449
AT ITER 2309 NEW BEST:: SOT 25387 SOS 12446 HAS SOPS 12446 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5192.446
AT ITER 2349 NEW BEST:: SOT 25387 SOS 12446 HAS SOPS 12446 HAS SOUS 5179 HAS SOUPS 5179 WITH SCORE 5191.446
AT ITER 2350 NEW BEST:: SOT 25377 SOS 12430 HAS SOPS 12430 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5178.43
AT ITER 2363 NEW BEST:: SOT 25368 SOS 12377 HAS SOPS 12377 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5154.377
AT ITER 2372 NEW BEST:: SOT 25333 SOS 12275 HAS SOPS 12275 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5145.275
AT ITER 2407 NEW BEST:: SOT 25335 SOS 12273 HAS SOPS 12273 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5143.273
AT ITER 2430 NEW BEST:: SOT 25332 SOS 12270 HAS SOPS 12270 HAS SOUS 5129 HAS SOUPS 5129 WITH SCORE 5141.27
AT ITER 2432 NEW BEST:: SOT 25329 SOS 12255 HAS SOPS 12255 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5139.255
AT ITER 2448 NEW BEST:: SOT 25335 SOS 12236 HAS SOPS 12236 HAS SOUS 5123 HAS SOUPS 5123 WITH SCORE 5135.236
AT ITER 2467 NEW BEST:: SOT 25339 SOS 12202 HAS SOPS 12202 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5089.202
AT ITER 2490 NEW BEST:: SOT 25340 SOS 12201 HAS SOPS 12201 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5088.201
AT ITER 2504 NEW BEST:: SOT 25343 SOS 12201 HAS SOPS 12201 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5085.201
AT ITER 2509 NEW BEST:: SOT 25315 SOS 12157 HAS SOPS 12157 HAS SOUS 5058 HAS SOUPS 5058 WITH SCORE 5070.157
AT ITER 2531 NEW BEST:: SOT 25303 SOS 12147 HAS SOPS 12147 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5062.147
AT ITER 2571 NEW BEST:: SOT 25304 SOS 12137 HAS SOPS 12137 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5052.137
AT ITER 2590 NEW BEST:: SOT 25304 SOS 12137 HAS SOPS 12137 HAS SOUS 5038 HAS SOUPS 5038 WITH SCORE 5050.137
AT ITER 2594 NEW BEST:: SOT 25308 SOS 12140 HAS SOPS 12140 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5042.14
AT ITER 2603 NEW BEST:: SOT 25293 SOS 12110 HAS SOPS 12110 HAS SOUS 5015 HAS SOUPS 5015 WITH SCORE 5027.11
AT ITER 2615 NEW BEST:: SOT 25289 SOS 12106 HAS SOPS 12106 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5023.106
AT ITER 2618 NEW BEST:: SOT 25287 SOS 12102 HAS SOPS 12102 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5023.102
AT ITER 2619 NEW BEST:: SOT 25289 SOS 12100 HAS SOPS 12100 HAS SOUS 5011 HAS SOUPS 5011 WITH SCORE 5023.1
AT ITER 2622 NEW BEST:: SOT 25289 SOS 12100 HAS SOPS 12100 HAS SOUS 5010 HAS SOUPS 5010 WITH SCORE 5022.1
AT ITER 2628 NEW BEST:: SOT 25280 SOS 12091 HAS SOPS 12091 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5014.091
AT ITER 2716 NEW BEST:: SOT 25278 SOS 12089 HAS SOPS 12089 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5010.089
AT ITER 2761 NEW BEST:: SOT 25277 SOS 12088 HAS SOPS 12088 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5009.088
AT ITER 2801 NEW BEST:: SOT 25257 SOS 12070 HAS SOPS 12070 HAS SOUS 4995 HAS SOUPS 4995 WITH SCORE 5007.07
AT ITER 2857 NEW BEST:: SOT 25257 SOS 11995 HAS SOPS 11995 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4960.995
AT ITER 2862 NEW BEST:: SOT 25257 SOS 11988 HAS SOPS 11988 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4946.988
AT ITER 2891 NEW BEST:: SOT 25258 SOS 11988 HAS SOPS 11988 HAS SOUS 4933 HAS SOUPS 4933 WITH SCORE 4944.988
AT ITER 2892 NEW BEST:: SOT 25253 SOS 11983 HAS SOPS 11983 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4939.983
AT ITER 2893 NEW BEST:: SOT 25253 SOS 11982 HAS SOPS 11982 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4936.982
AT ITER 2896 NEW BEST:: SOT 25219 SOS 11966 HAS SOPS 11966 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4928.966
AT ITER 2921 NEW BEST:: SOT 25219 SOS 11958 HAS SOPS 11958 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4928.958
AT ITER 2947 NEW BEST:: SOT 25229 SOS 11994 HAS SOPS 11994 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4925.994
AT ITER 2960 NEW BEST:: SOT 25226 SOS 11999 HAS SOPS 11999 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4924.999
AT ITER 2972 NEW BEST:: SOT 25225 SOS 11984 HAS SOPS 11984 HAS SOUS 4905 HAS SOUPS 4905 WITH SCORE 4916.984
AT ITER 2998 NEW BEST:: SOT 25209 SOS 11930 HAS SOPS 11930 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4862.93
AT ITER 3049 NEW BEST:: SOT 25214 SOS 11929 HAS SOPS 11929 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4861.929
AT ITER 3054 NEW BEST:: SOT 25203 SOS 11928 HAS SOPS 11928 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4855.928
AT ITER 3056 NEW BEST:: SOT 25177 SOS 11954 HAS SOPS 11954 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4829.954
AT ITER 3063 NEW BEST:: SOT 25170 SOS 11935 HAS SOPS 11935 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4821.935
AT ITER 3085 NEW BEST:: SOT 25163 SOS 11933 HAS SOPS 11933 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4809.933
AT ITER 3110 NEW BEST:: SOT 25159 SOS 11896 HAS SOPS 11896 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4800.896
AT ITER 3112 NEW BEST:: SOT 25154 SOS 11894 HAS SOPS 11894 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4798.894
AT ITER 3146 NEW BEST:: SOT 25167 SOS 11896 HAS SOPS 11896 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4790.896
AT ITER 3167 NEW BEST:: SOT 25167 SOS 11892 HAS SOPS 11892 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4790.892
AT ITER 3207 NEW BEST:: SOT 25169 SOS 11931 HAS SOPS 11931 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4784.931
AT ITER 3220 NEW BEST:: SOT 25171 SOS 11936 HAS SOPS 11936 HAS SOUS 4772 HAS SOUPS 4772 WITH SCORE 4783.936
AT ITER 3222 NEW BEST:: SOT 25168 SOS 11930 HAS SOPS 11930 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4777.93
AT ITER 3403 NEW BEST:: SOT 25165 SOS 11928 HAS SOPS 11928 HAS SOUS 4764 HAS SOUPS 4764 WITH SCORE 4775.928
AT ITER 3412 NEW BEST:: SOT 25146 SOS 11906 HAS SOPS 11906 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4759.906
AT ITER 3417 NEW BEST:: SOT 25142 SOS 11903 HAS SOPS 11903 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4756.903
AT ITER 3423 NEW BEST:: SOT 25124 SOS 11899 HAS SOPS 11899 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4746.899
AT ITER 3427 NEW BEST:: SOT 25122 SOS 11897 HAS SOPS 11897 HAS SOUS 4731 HAS SOUPS 4731 WITH SCORE 4742.897
AT ITER 3428 NEW BEST:: SOT 25122 SOS 11897 HAS SOPS 11897 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4735.897
AT ITER 3477 NEW BEST:: SOT 25088 SOS 11851 HAS SOPS 11851 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4708.851
AT ITER 3480 NEW BEST:: SOT 25096 SOS 11862 HAS SOPS 11862 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4703.862
AT ITER 3521 NEW BEST:: SOT 25101 SOS 11865 HAS SOPS 11865 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4702.865
AT ITER 3572 NEW BEST:: SOT 25101 SOS 11862 HAS SOPS 11862 HAS SOUS 4691 HAS SOUPS 4691 WITH SCORE 4702.862
AT ITER 3616 NEW BEST:: SOT 25075 SOS 11836 HAS SOPS 11836 HAS SOUS 4671 HAS SOUPS 4671 WITH SCORE 4682.836
AT ITER 3618 NEW BEST:: SOT 25069 SOS 11832 HAS SOPS 11832 HAS SOUS 4669 HAS SOUPS 4669 WITH SCORE 4680.832
AT ITER 3662 NEW BEST:: SOT 25069 SOS 11831 HAS SOPS 11831 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4674.831
AT ITER 3681 NEW BEST:: SOT 25065 SOS 11823 HAS SOPS 11823 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4668.823
AT ITER 3684 NEW BEST:: SOT 25060 SOS 11813 HAS SOPS 11813 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4660.813
AT ITER 3686 NEW BEST:: SOT 25053 SOS 11735 HAS SOPS 11735 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4643.735
AT ITER 3747 NEW BEST:: SOT 25059 SOS 11739 HAS SOPS 11739 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4641.739
AT ITER 3749 NEW BEST:: SOT 25046 SOS 11726 HAS SOPS 11726 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4608.726
AT ITER 3753 NEW BEST:: SOT 25034 SOS 11715 HAS SOPS 11715 HAS SOUS 4593 HAS SOUPS 4593 WITH SCORE 4604.715
AT ITER 3782 NEW BEST:: SOT 25015 SOS 11673 HAS SOPS 11673 HAS SOUS 4570 HAS SOUPS 4570 WITH SCORE 4581.673
AT ITER 3787 NEW BEST:: SOT 25015 SOS 11673 HAS SOPS 11673 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4565.673
AT ITER 3842 NEW BEST:: SOT 25012 SOS 11666 HAS SOPS 11666 HAS SOUS 4548 HAS SOUPS 4548 WITH SCORE 4559.666
AT ITER 3859 NEW BEST:: SOT 25020 SOS 11628 HAS SOPS 11628 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4527.628
AT ITER 3930 NEW BEST:: SOT 25020 SOS 11628 HAS SOPS 11628 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4521.628
AT ITER 3969 NEW BEST:: SOT 25013 SOS 11607 HAS SOPS 11607 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4514.607
AT ITER 3991 NEW BEST:: SOT 24979 SOS 11578 HAS SOPS 11578 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4485.578
AT ITER 4078 NEW BEST:: SOT 24969 SOS 11568 HAS SOPS 11568 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4485.568
AT ITER 4098 NEW BEST:: SOT 24951 SOS 11535 HAS SOPS 11535 HAS SOUS 4450 HAS SOUPS 4450 WITH SCORE 4461.535
AT ITER 4103 NEW BEST:: SOT 24918 SOS 11497 HAS SOPS 11497 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4456.497
AT ITER 4170 NEW BEST:: SOT 24915 SOS 11491 HAS SOPS 11491 HAS SOUS 4436 HAS SOUPS 4436 WITH SCORE 4447.491
AT ITER 4251 NEW BEST:: SOT 24917 SOS 11493 HAS SOPS 11493 HAS SOUS 4434 HAS SOUPS 4434 WITH SCORE 4445.493
AT ITER 4303 NEW BEST:: SOT 24909 SOS 11477 HAS SOPS 11477 HAS SOUS 4407 HAS SOUPS 4407 WITH SCORE 4418.477
AT ITER 4305 NEW BEST:: SOT 24908 SOS 11474 HAS SOPS 11474 HAS SOUS 4405 HAS SOUPS 4405 WITH SCORE 4416.474
AT ITER 4322 NEW BEST:: SOT 24903 SOS 11477 HAS SOPS 11477 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4401.477
AT ITER 4333 NEW BEST:: SOT 24893 SOS 11464 HAS SOPS 11464 HAS SOUS 4368 HAS SOUPS 4368 WITH SCORE 4379.464
AT ITER 4334 NEW BEST:: SOT 24890 SOS 11455 HAS SOPS 11455 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4376.455
AT ITER 4335 NEW BEST:: SOT 24889 SOS 11454 HAS SOPS 11454 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4374.454
AT ITER 4354 NEW BEST:: SOT 24884 SOS 11448 HAS SOPS 11448 HAS SOUS 4358 HAS SOUPS 4358 WITH SCORE 4369.448
AT ITER 4407 NEW BEST:: SOT 24861 SOS 11480 HAS SOPS 11480 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4355.48
AT ITER 4493 NEW BEST:: SOT 24858 SOS 11477 HAS SOPS 11477 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4355.477
AT ITER 4520 NEW BEST:: SOT 24842 SOS 11446 HAS SOPS 11446 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4343.446
AT ITER 4568 NEW BEST:: SOT 24838 SOS 11439 HAS SOPS 11439 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4339.439
AT ITER 4571 NEW BEST:: SOT 24829 SOS 11426 HAS SOPS 11426 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4331.426
AT ITER 4575 NEW BEST:: SOT 24819 SOS 11390 HAS SOPS 11390 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4325.39
AT ITER 4596 NEW BEST:: SOT 24818 SOS 11389 HAS SOPS 11389 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4323.389
AT ITER 4672 NEW BEST:: SOT 24816 SOS 11387 HAS SOPS 11387 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4317.387
AT ITER 4682 NEW BEST:: SOT 24820 SOS 11387 HAS SOPS 11387 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4316.387
AT ITER 4751 NEW BEST:: SOT 24824 SOS 11391 HAS SOPS 11391 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4315.391
AT ITER 4766 NEW BEST:: SOT 24807 SOS 11374 HAS SOPS 11374 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4299.374
AT ITER 4777 NEW BEST:: SOT 24793 SOS 11371 HAS SOPS 11371 HAS SOUS 4273 HAS SOUPS 4273 WITH SCORE 4284.371
AT ITER 4866 NEW BEST:: SOT 24793 SOS 11371 HAS SOPS 11371 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4283.371
AT ITER 4871 NEW BEST:: SOT 24768 SOS 11346 HAS SOPS 11346 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4272.346
AT ITER 4901 NEW BEST:: SOT 24760 SOS 11354 HAS SOPS 11354 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4260.354
AT ITER 4939 NEW BEST:: SOT 24760 SOS 11350 HAS SOPS 11350 HAS SOUS 4241 HAS SOUPS 4241 WITH SCORE 4252.35
AT ITER 4989 NEW BEST:: SOT 24760 SOS 11348 HAS SOPS 11348 HAS SOUS 4237 HAS SOUPS 4237 WITH SCORE 4248.348
AT ITER 4998 NEW BEST:: SOT 24743 SOS 11331 HAS SOPS 11331 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4221.331
AT ITER 5023 NEW BEST:: SOT 24741 SOS 11311 HAS SOPS 11311 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4210.311
AT ITER 5029 NEW BEST:: SOT 24740 SOS 11307 HAS SOPS 11307 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4193.307
AT ITER 5044 NEW BEST:: SOT 24742 SOS 11305 HAS SOPS 11305 HAS SOUS 4182 HAS SOUPS 4182 WITH SCORE 4193.305
AT ITER 5077 NEW BEST:: SOT 24739 SOS 11290 HAS SOPS 11290 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4189.29
AT ITER 5104 NEW BEST:: SOT 24733 SOS 11284 HAS SOPS 11284 HAS SOUS 4166 HAS SOUPS 4166 WITH SCORE 4177.284
AT ITER 5146 NEW BEST:: SOT 24730 SOS 11281 HAS SOPS 11281 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4174.281
AT ITER 5181 NEW BEST:: SOT 24728 SOS 11280 HAS SOPS 11280 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4171.28
AT ITER 5224 NEW BEST:: SOT 24725 SOS 11277 HAS SOPS 11277 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4168.277
AT ITER 5270 NEW BEST:: SOT 24716 SOS 11268 HAS SOPS 11268 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4140.268
AT ITER 5285 NEW BEST:: SOT 24704 SOS 11383 HAS SOPS 11383 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4126.383
AT ITER 5305 NEW BEST:: SOT 24698 SOS 11386 HAS SOPS 11386 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4123.386
AT ITER 5373 NEW BEST:: SOT 24692 SOS 11332 HAS SOPS 11332 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4117.332
AT ITER 5429 NEW BEST:: SOT 24696 SOS 11331 HAS SOPS 11331 HAS SOUS 4106 HAS SOUPS 4106 WITH SCORE 4117.331
AT ITER 5438 NEW BEST:: SOT 24698 SOS 11319 HAS SOPS 11319 HAS SOUS 4094 HAS SOUPS 4094 WITH SCORE 4105.319
AT ITER 5550 NEW BEST:: SOT 24676 SOS 11289 HAS SOPS 11289 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4075.289
AT ITER 5579 NEW BEST:: SOT 24682 SOS 11295 HAS SOPS 11295 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4073.295
AT ITER 5590 NEW BEST:: SOT 24687 SOS 11302 HAS SOPS 11302 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4065.302
AT ITER 5595 NEW BEST:: SOT 24677 SOS 11292 HAS SOPS 11292 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4059.292
AT ITER 5598 NEW BEST:: SOT 24674 SOS 11288 HAS SOPS 11288 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4055.288
AT ITER 5643 NEW BEST:: SOT 24673 SOS 11286 HAS SOPS 11286 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4054.286
AT ITER 5672 NEW BEST:: SOT 24669 SOS 11279 HAS SOPS 11279 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4048.279
AT ITER 5710 NEW BEST:: SOT 24669 SOS 11279 HAS SOPS 11279 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4046.279
AT ITER 5803 NEW BEST:: SOT 24663 SOS 11274 HAS SOPS 11274 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4041.274
AT ITER 5853 NEW BEST:: SOT 24656 SOS 11264 HAS SOPS 11264 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4029.264
AT ITER 5872 NEW BEST:: SOT 24662 SOS 11252 HAS SOPS 11252 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4023.252
AT ITER 5896 NEW BEST:: SOT 24656 SOS 11244 HAS SOPS 11244 HAS SOUS 3998 HAS SOUPS 3998 WITH SCORE 4009.244
AT ITER 5897 NEW BEST:: SOT 24655 SOS 11245 HAS SOPS 11245 HAS SOUS 3997 HAS SOUPS 3997 WITH SCORE 4008.245
AT ITER 5916 NEW BEST:: SOT 24648 SOS 11231 HAS SOPS 11231 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 4001.231
AT ITER 5937 NEW BEST:: SOT 24667 SOS 11243 HAS SOPS 11243 HAS SOUS 3989 HAS SOUPS 3989 WITH SCORE 4000.243
AT ITER 6012 NEW BEST:: SOT 24644 SOS 11192 HAS SOPS 11192 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3957.192
AT ITER 6035 NEW BEST:: SOT 24640 SOS 11188 HAS SOPS 11188 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3957.188
AT ITER 6070 NEW BEST:: SOT 24626 SOS 11174 HAS SOPS 11174 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3950.174
AT ITER 6135 NEW BEST:: SOT 24629 SOS 11177 HAS SOPS 11177 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3948.177
AT ITER 6140 NEW BEST:: SOT 24625 SOS 11143 HAS SOPS 11143 HAS SOUS 3935 HAS SOUPS 3935 WITH SCORE 3946.143
AT ITER 6142 NEW BEST:: SOT 24625 SOS 11139 HAS SOPS 11139 HAS SOUS 3933 HAS SOUPS 3933 WITH SCORE 3944.139
AT ITER 6163 NEW BEST:: SOT 24618 SOS 11133 HAS SOPS 11133 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3937.133
AT ITER 6184 NEW BEST:: SOT 24620 SOS 11135 HAS SOPS 11135 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3928.135
AT ITER 6194 NEW BEST:: SOT 24622 SOS 11139 HAS SOPS 11139 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3924.139
AT ITER 6296 NEW BEST:: SOT 24620 SOS 11117 HAS SOPS 11117 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3924.117
AT ITER 6307 NEW BEST:: SOT 24618 SOS 11112 HAS SOPS 11112 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3916.112
AT ITER 6330 NEW BEST:: SOT 24605 SOS 11086 HAS SOPS 11086 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3909.086
AT ITER 6343 NEW BEST:: SOT 24603 SOS 11086 HAS SOPS 11086 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3908.086
AT ITER 6431 NEW BEST:: SOT 24603 SOS 11082 HAS SOPS 11082 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3906.082
AT ITER 6455 NEW BEST:: SOT 24569 SOS 11048 HAS SOPS 11048 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3853.048
AT ITER 6525 NEW BEST:: SOT 24567 SOS 11038 HAS SOPS 11038 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3849.038
AT ITER 6535 NEW BEST:: SOT 24567 SOS 11036 HAS SOPS 11036 HAS SOUS 3837 HAS SOUPS 3837 WITH SCORE 3848.036
AT ITER 6556 NEW BEST:: SOT 24567 SOS 11036 HAS SOPS 11036 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3846.036
AT ITER 6590 NEW BEST:: SOT 24569 SOS 11035 HAS SOPS 11035 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3838.035
AT ITER 6608 NEW BEST:: SOT 24568 SOS 11034 HAS SOPS 11034 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3837.034
AT ITER 6687 NEW BEST:: SOT 24566 SOS 11028 HAS SOPS 11028 HAS SOUS 3824 HAS SOUPS 3824 WITH SCORE 3835.028
AT ITER 6763 NEW BEST:: SOT 24565 SOS 11028 HAS SOPS 11028 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3830.028
AT ITER 6790 NEW BEST:: SOT 24576 SOS 11044 HAS SOPS 11044 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3826.044
AT ITER 6879 NEW BEST:: SOT 24567 SOS 11027 HAS SOPS 11027 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3826.027
AT ITER 6907 NEW BEST:: SOT 24571 SOS 11022 HAS SOPS 11022 HAS SOUS 3810 HAS SOUPS 3810 WITH SCORE 3821.022
AT ITER 6958 NEW BEST:: SOT 24568 SOS 11019 HAS SOPS 11019 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3818.019
AT ITER 7024 NEW BEST:: SOT 24566 SOS 11015 HAS SOPS 11015 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3807.015
AT ITER 7034 NEW BEST:: SOT 24564 SOS 11018 HAS SOPS 11018 HAS SOUS 3792 HAS SOUPS 3792 WITH SCORE 3803.018
AT ITER 7042 NEW BEST:: SOT 24564 SOS 11016 HAS SOPS 11016 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3802.016
AT ITER 7118 NEW BEST:: SOT 24566 SOS 11010 HAS SOPS 11010 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3802.01
AT ITER 7241 NEW BEST:: SOT 24559 SOS 11017 HAS SOPS 11017 HAS SOUS 3784 HAS SOUPS 3784 WITH SCORE 3795.017
AT ITER 7271 NEW BEST:: SOT 24559 SOS 11016 HAS SOPS 11016 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3793.016
AT ITER 7352 NEW BEST:: SOT 24557 SOS 11014 HAS SOPS 11014 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3792.014
AT ITER 7363 NEW BEST:: SOT 24559 SOS 11010 HAS SOPS 11010 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3774.01
AT ITER 7369 NEW BEST:: SOT 24559 SOS 11019 HAS SOPS 11019 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3771.019
AT ITER 7403 NEW BEST:: SOT 24568 SOS 11030 HAS SOPS 11030 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3770.03
AT ITER 7405 NEW BEST:: SOT 24566 SOS 11034 HAS SOPS 11034 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3766.034
AT ITER 7436 NEW BEST:: SOT 24564 SOS 11033 HAS SOPS 11033 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3765.033
AT ITER 7445 NEW BEST:: SOT 24561 SOS 11034 HAS SOPS 11034 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3763.034
AT ITER 7461 NEW BEST:: SOT 24559 SOS 11033 HAS SOPS 11033 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3763.033
AT ITER 7488 NEW BEST:: SOT 24561 SOS 11035 HAS SOPS 11035 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3759.035
AT ITER 7536 NEW BEST:: SOT 24559 SOS 11035 HAS SOPS 11035 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3755.035
AT ITER 7540 NEW BEST:: SOT 24552 SOS 11025 HAS SOPS 11025 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3749.025
AT ITER 7582 NEW BEST:: SOT 24550 SOS 11023 HAS SOPS 11023 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3747.023
AT ITER 7706 NEW BEST:: SOT 24552 SOS 11023 HAS SOPS 11023 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3744.023
AT ITER 7820 NEW BEST:: SOT 24552 SOS 11019 HAS SOPS 11019 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3744.019
AT ITER 7942 NEW BEST:: SOT 24546 SOS 11011 HAS SOPS 11011 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3739.011
AT ITER 7949 NEW BEST:: SOT 24543 SOS 11027 HAS SOPS 11027 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3729.027
AT ITER 8017 NEW BEST:: SOT 24537 SOS 11024 HAS SOPS 11024 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3729.024
AT ITER 8019 NEW BEST:: SOT 24547 SOS 11036 HAS SOPS 11036 HAS SOUS 3717 HAS SOUPS 3717 WITH SCORE 3728.036
AT ITER 8021 NEW BEST:: SOT 24539 SOS 11028 HAS SOPS 11028 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3715.028
AT ITER 8076 NEW BEST:: SOT 24529 SOS 11018 HAS SOPS 11018 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3712.018
AT ITER 8128 NEW BEST:: SOT 24526 SOS 11012 HAS SOPS 11012 HAS SOUS 3701 HAS SOUPS 3701 WITH SCORE 3712.012
AT ITER 8241 NEW BEST:: SOT 24508 SOS 10994 HAS SOPS 10994 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3699.994
AT ITER 8329 NEW BEST:: SOT 24517 SOS 10999 HAS SOPS 10999 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3692.999
AT ITER 8498 NEW BEST:: SOT 24509 SOS 10985 HAS SOPS 10985 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3678.985
AT ITER 8528 NEW BEST:: SOT 24505 SOS 10982 HAS SOPS 10982 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3677.982
AT ITER 8585 NEW BEST:: SOT 24504 SOS 10974 HAS SOPS 10974 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3665.974
AT ITER 8599 NEW BEST:: SOT 24515 SOS 10981 HAS SOPS 10981 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3664.981
AT ITER 8680 NEW BEST:: SOT 24511 SOS 10976 HAS SOPS 10976 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3662.976
AT ITER 8696 NEW BEST:: SOT 24516 SOS 10982 HAS SOPS 10982 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3661.982
AT ITER 8778 NEW BEST:: SOT 24513 SOS 10979 HAS SOPS 10979 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3658.979
AT ITER 8941 NEW BEST:: SOT 24509 SOS 10963 HAS SOPS 10963 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3658.963
AT ITER 8960 NEW BEST:: SOT 24497 SOS 10951 HAS SOPS 10951 HAS SOUS 3642 HAS SOUPS 3642 WITH SCORE 3652.951
AT ITER 9140 NEW BEST:: SOT 24499 SOS 10949 HAS SOPS 10949 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3648.949
AT ITER 9216 NEW BEST:: SOT 24489 SOS 10929 HAS SOPS 10929 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3643.929
AT ITER 9287 NEW BEST:: SOT 24487 SOS 10925 HAS SOPS 10925 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3639.925
AT ITER 9393 NEW BEST:: SOT 24484 SOS 10921 HAS SOPS 10921 HAS SOUS 3624 HAS SOUPS 3624 WITH SCORE 3634.921
AT ITER 9425 NEW BEST:: SOT 24481 SOS 10896 HAS SOPS 10896 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3632.896
AT ITER 9548 NEW BEST:: SOT 24465 SOS 10866 HAS SOPS 10866 HAS SOUS 3607 HAS SOUPS 3607 WITH SCORE 3617.866
AT ITER 9587 NEW BEST:: SOT 24463 SOS 10865 HAS SOPS 10865 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3615.865
AT ITER 9682 NEW BEST:: SOT 24460 SOS 10862 HAS SOPS 10862 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3613.862
AT ITER 9756 NEW BEST:: SOT 24455 SOS 10854 HAS SOPS 10854 HAS SOUS 3593 HAS SOUPS 3593 WITH SCORE 3603.854
AT ITER 9860 NEW BEST:: SOT 24454 SOS 10841 HAS SOPS 10841 HAS SOUS 3584 HAS SOUPS 3584 WITH SCORE 3594.841
AT ITER 9896 NEW BEST:: SOT 24449 SOS 10852 HAS SOPS 10852 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3592.852
AT ITER 9931 NEW BEST:: SOT 24447 SOS 10848 HAS SOPS 10848 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3591.848
AT ITER 9994 NEW BEST:: SOT 24446 SOS 10844 HAS SOPS 10844 HAS SOUS 3579 HAS SOUPS 3579 WITH SCORE 3589.844
AT ITER 9999 NEW BEST:: SOT 24446 SOS 10844 HAS SOPS 10844 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3585.844
STATE_SPACE STATES 227119982712 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 35 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3146560152680 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679190632786

--------------------
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="UtilityControlRoom-PT-Z2T3N10"
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 UtilityControlRoom-PT-Z2T3N10, 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 r483-tall-167912696601120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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