Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 16K Feb 25 13:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 25 13:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 31K Feb 25 13:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 175K Feb 25 13:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 200K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 68K Feb 25 13:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 349K Feb 25 13:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 208K 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 1678612271703

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LamportFastMutEx-PT-6
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (PT), instance 6
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: 217 places, 420 transitions, 1834 arcs.
AT ITER 0 NEW BEST:: SOT 41910 SOS 26093 HAS SOPS 23376 HAS SOUS 20093 HAS SOUPS 18690 WITH SCORE 18716.093
AT ITER 7 NEW BEST:: SOT 41910 SOS 26074 HAS SOPS 23357 HAS SOUS 20074 HAS SOUPS 18671 WITH SCORE 18697.074
AT ITER 11 NEW BEST:: SOT 41957 SOS 26138 HAS SOPS 23421 HAS SOUS 19926 HAS SOUPS 18523 WITH SCORE 18549.138
AT ITER 16 NEW BEST:: SOT 42017 SOS 26276 HAS SOPS 23559 HAS SOUS 19800 HAS SOUPS 18397 WITH SCORE 18423.276
AT ITER 17 NEW BEST:: SOT 42017 SOS 26273 HAS SOPS 23556 HAS SOUS 19797 HAS SOUPS 18394 WITH SCORE 18420.273
AT ITER 24 NEW BEST:: SOT 41674 SOS 25951 HAS SOPS 23177 HAS SOUS 19467 HAS SOUPS 18015 WITH SCORE 18040.951
AT ITER 27 NEW BEST:: SOT 41662 SOS 25939 HAS SOPS 23165 HAS SOUS 19427 HAS SOUPS 17975 WITH SCORE 18000.939
AT ITER 28 NEW BEST:: SOT 41662 SOS 25904 HAS SOPS 23130 HAS SOUS 19392 HAS SOUPS 17940 WITH SCORE 17965.904
AT ITER 38 NEW BEST:: SOT 41550 SOS 25795 HAS SOPS 23005 HAS SOUS 19283 HAS SOUPS 17815 WITH SCORE 17840.795
AT ITER 46 NEW BEST:: SOT 41621 SOS 25704 HAS SOPS 22736 HAS SOUS 19337 HAS SOUPS 17719 WITH SCORE 17744.704
AT ITER 49 NEW BEST:: SOT 41663 SOS 26132 HAS SOPS 22792 HAS SOUS 19131 HAS SOUPS 17415 WITH SCORE 17441.132
AT ITER 52 NEW BEST:: SOT 41633 SOS 26103 HAS SOPS 22797 HAS SOUS 19088 HAS SOUPS 17382 WITH SCORE 17408.103
AT ITER 53 NEW BEST:: SOT 41493 SOS 26039 HAS SOPS 22845 HAS SOUS 18770 HAS SOUPS 17229 WITH SCORE 17255.039
AT ITER 57 NEW BEST:: SOT 41624 SOS 26170 HAS SOPS 23063 HAS SOUS 18692 HAS SOUPS 17151 WITH SCORE 17177.17
AT ITER 63 NEW BEST:: SOT 41702 SOS 26296 HAS SOPS 23189 HAS SOUS 18482 HAS SOUPS 16941 WITH SCORE 16967.296
AT ITER 68 NEW BEST:: SOT 41702 SOS 26188 HAS SOPS 23179 HAS SOUS 18456 HAS SOUPS 16931 WITH SCORE 16957.188
AT ITER 72 NEW BEST:: SOT 41702 SOS 26176 HAS SOPS 23167 HAS SOUS 18444 HAS SOUPS 16919 WITH SCORE 16945.176
AT ITER 79 NEW BEST:: SOT 41672 SOS 26145 HAS SOPS 23106 HAS SOUS 18383 HAS SOUPS 16858 WITH SCORE 16884.145
AT ITER 84 NEW BEST:: SOT 41574 SOS 26047 HAS SOPS 22991 HAS SOUS 18202 HAS SOUPS 16677 WITH SCORE 16703.047
AT ITER 90 NEW BEST:: SOT 41599 SOS 26103 HAS SOPS 23047 HAS SOUS 18158 HAS SOUPS 16633 WITH SCORE 16659.103
AT ITER 105 NEW BEST:: SOT 41599 SOS 26075 HAS SOPS 23019 HAS SOUS 18130 HAS SOUPS 16605 WITH SCORE 16631.075
AT ITER 108 NEW BEST:: SOT 41599 SOS 25939 HAS SOPS 22883 HAS SOUS 18116 HAS SOUPS 16591 WITH SCORE 16616.939
AT ITER 119 NEW BEST:: SOT 41599 SOS 25939 HAS SOPS 22873 HAS SOUS 18106 HAS SOUPS 16581 WITH SCORE 16606.939
AT ITER 120 NEW BEST:: SOT 41599 SOS 25915 HAS SOPS 22849 HAS SOUS 18082 HAS SOUPS 16557 WITH SCORE 16582.915
AT ITER 122 NEW BEST:: SOT 41572 SOS 25888 HAS SOPS 22822 HAS SOUS 18055 HAS SOUPS 16530 WITH SCORE 16555.888
AT ITER 127 NEW BEST:: SOT 41464 SOS 25956 HAS SOPS 22678 HAS SOUS 18010 HAS SOUPS 16386 WITH SCORE 16411.956
AT ITER 138 NEW BEST:: SOT 41475 SOS 25967 HAS SOPS 22689 HAS SOUS 17977 HAS SOUPS 16353 WITH SCORE 16378.967
AT ITER 144 NEW BEST:: SOT 41474 SOS 25930 HAS SOPS 22659 HAS SOUS 17947 HAS SOUPS 16323 WITH SCORE 16348.93
AT ITER 149 NEW BEST:: SOT 41381 SOS 25837 HAS SOPS 22566 HAS SOUS 17906 HAS SOUPS 16282 WITH SCORE 16307.837
AT ITER 172 NEW BEST:: SOT 41404 SOS 25896 HAS SOPS 22579 HAS SOUS 17883 HAS SOUPS 16259 WITH SCORE 16284.896
AT ITER 177 NEW BEST:: SOT 41320 SOS 25826 HAS SOPS 22411 HAS SOUS 17708 HAS SOUPS 16084 WITH SCORE 16109.826
AT ITER 183 NEW BEST:: SOT 41283 SOS 25807 HAS SOPS 22330 HAS SOUS 17480 HAS SOUPS 15856 WITH SCORE 15881.807
AT ITER 190 NEW BEST:: SOT 41241 SOS 25771 HAS SOPS 22288 HAS SOUS 17444 HAS SOUPS 15814 WITH SCORE 15839.771
AT ITER 192 NEW BEST:: SOT 41241 SOS 25788 HAS SOPS 22218 HAS SOUS 17449 HAS SOUPS 15736 WITH SCORE 15761.788
AT ITER 196 NEW BEST:: SOT 41127 SOS 25847 HAS SOPS 22086 HAS SOUS 17423 HAS SOUPS 15604 WITH SCORE 15629.847
AT ITER 204 NEW BEST:: SOT 40974 SOS 25888 HAS SOPS 21897 HAS SOUS 17308 HAS SOUPS 15415 WITH SCORE 15440.888
AT ITER 215 NEW BEST:: SOT 40982 SOS 25896 HAS SOPS 21908 HAS SOUS 17280 HAS SOUPS 15390 WITH SCORE 15415.896
AT ITER 223 NEW BEST:: SOT 40876 SOS 25828 HAS SOPS 21840 HAS SOUS 17193 HAS SOUPS 15303 WITH SCORE 15328.828
AT ITER 224 NEW BEST:: SOT 40682 SOS 25716 HAS SOPS 21728 HAS SOUS 17040 HAS SOUPS 15150 WITH SCORE 15175.716
AT ITER 235 NEW BEST:: SOT 40780 SOS 25896 HAS SOPS 21222 HAS SOUS 16622 HAS SOUPS 14644 WITH SCORE 14669.896
AT ITER 239 NEW BEST:: SOT 40780 SOS 25901 HAS SOPS 21207 HAS SOUS 16607 HAS SOUPS 14629 WITH SCORE 14654.901
AT ITER 264 NEW BEST:: SOT 40685 SOS 25785 HAS SOPS 21053 HAS SOUS 16402 HAS SOUPS 14492 WITH SCORE 14517.785
AT ITER 272 NEW BEST:: SOT 40701 SOS 25801 HAS SOPS 21033 HAS SOUS 16382 HAS SOUPS 14472 WITH SCORE 14497.801
AT ITER 274 NEW BEST:: SOT 40715 SOS 25883 HAS SOPS 21011 HAS SOUS 16431 HAS SOUPS 14450 WITH SCORE 14475.883
AT ITER 286 NEW BEST:: SOT 40394 SOS 25610 HAS SOPS 20654 HAS SOUS 16332 HAS SOUPS 14261 WITH SCORE 14286.61
AT ITER 303 NEW BEST:: SOT 40116 SOS 25498 HAS SOPS 20376 HAS SOUS 16462 HAS SOUPS 14175 WITH SCORE 14200.498
AT ITER 309 NEW BEST:: SOT 40059 SOS 25435 HAS SOPS 20313 HAS SOUS 16399 HAS SOUPS 14112 WITH SCORE 14137.435
AT ITER 311 NEW BEST:: SOT 40059 SOS 25325 HAS SOPS 20104 HAS SOUS 16372 HAS SOUPS 14006 WITH SCORE 14031.325
AT ITER 325 NEW BEST:: SOT 40033 SOS 25369 HAS SOPS 20148 HAS SOUS 16339 HAS SOUPS 13973 WITH SCORE 13998.369
AT ITER 333 NEW BEST:: SOT 40087 SOS 25459 HAS SOPS 20148 HAS SOUS 16321 HAS SOUPS 13955 WITH SCORE 13980.459
AT ITER 338 NEW BEST:: SOT 40051 SOS 25411 HAS SOPS 20058 HAS SOUS 16237 HAS SOUPS 13871 WITH SCORE 13896.411
AT ITER 339 NEW BEST:: SOT 40051 SOS 25411 HAS SOPS 20023 HAS SOUS 16231 HAS SOUPS 13836 WITH SCORE 13861.411
AT ITER 343 NEW BEST:: SOT 40051 SOS 25402 HAS SOPS 20022 HAS SOUS 16230 HAS SOUPS 13835 WITH SCORE 13860.402
AT ITER 345 NEW BEST:: SOT 39797 SOS 25302 HAS SOPS 19761 HAS SOUS 16410 HAS SOUPS 13802 WITH SCORE 13827.302
AT ITER 346 NEW BEST:: SOT 39706 SOS 25198 HAS SOPS 19657 HAS SOUS 16306 HAS SOUPS 13698 WITH SCORE 13723.198
AT ITER 352 NEW BEST:: SOT 39693 SOS 25185 HAS SOPS 19631 HAS SOUS 16266 HAS SOUPS 13672 WITH SCORE 13697.185
AT ITER 354 NEW BEST:: SOT 39603 SOS 25095 HAS SOPS 19514 HAS SOUS 16149 HAS SOUPS 13555 WITH SCORE 13580.095
AT ITER 390 NEW BEST:: SOT 39635 SOS 25044 HAS SOPS 19572 HAS SOUS 16124 HAS SOUPS 13553 WITH SCORE 13578.044
AT ITER 396 NEW BEST:: SOT 39638 SOS 25047 HAS SOPS 19575 HAS SOUS 16115 HAS SOUPS 13544 WITH SCORE 13569.047
AT ITER 408 NEW BEST:: SOT 39638 SOS 25042 HAS SOPS 19575 HAS SOUS 16113 HAS SOUPS 13544 WITH SCORE 13569.042
AT ITER 420 NEW BEST:: SOT 39351 SOS 24862 HAS SOPS 19225 HAS SOUS 16243 HAS SOUPS 13446 WITH SCORE 13470.862
AT ITER 422 NEW BEST:: SOT 39320 SOS 24831 HAS SOPS 19207 HAS SOUS 16212 HAS SOUPS 13428 WITH SCORE 13452.831
AT ITER 429 NEW BEST:: SOT 39380 SOS 24889 HAS SOPS 19169 HAS SOUS 16175 HAS SOUPS 13391 WITH SCORE 13415.889
AT ITER 430 NEW BEST:: SOT 39277 SOS 24798 HAS SOPS 19060 HAS SOUS 16084 HAS SOUPS 13282 WITH SCORE 13306.798
AT ITER 456 NEW BEST:: SOT 39186 SOS 24707 HAS SOPS 18953 HAS SOUS 15881 HAS SOUPS 13079 WITH SCORE 13103.707
AT ITER 471 NEW BEST:: SOT 39078 SOS 24639 HAS SOPS 18845 HAS SOUS 15813 HAS SOUPS 12971 WITH SCORE 12995.639
AT ITER 489 NEW BEST:: SOT 39078 SOS 24361 HAS SOPS 18567 HAS SOUS 15793 HAS SOUPS 12951 WITH SCORE 12975.361
AT ITER 496 NEW BEST:: SOT 39077 SOS 24360 HAS SOPS 18565 HAS SOUS 15792 HAS SOUPS 12949 WITH SCORE 12973.36
AT ITER 501 NEW BEST:: SOT 38954 SOS 24279 HAS SOPS 18468 HAS SOUS 15690 HAS SOUPS 12831 WITH SCORE 12855.279
AT ITER 505 NEW BEST:: SOT 38864 SOS 24189 HAS SOPS 18360 HAS SOUS 15600 HAS SOUPS 12723 WITH SCORE 12747.189
AT ITER 506 NEW BEST:: SOT 38857 SOS 24182 HAS SOPS 18353 HAS SOUS 15593 HAS SOUPS 12716 WITH SCORE 12740.182
AT ITER 507 NEW BEST:: SOT 38857 SOS 24022 HAS SOPS 18193 HAS SOUS 15591 HAS SOUPS 12714 WITH SCORE 12738.022
AT ITER 514 NEW BEST:: SOT 38844 SOS 24009 HAS SOPS 18193 HAS SOUS 15578 HAS SOUPS 12714 WITH SCORE 12738.009
AT ITER 523 NEW BEST:: SOT 38839 SOS 24003 HAS SOPS 18185 HAS SOUS 15541 HAS SOUPS 12706 WITH SCORE 12730.003
AT ITER 528 NEW BEST:: SOT 38839 SOS 23992 HAS SOPS 18185 HAS SOUS 15532 HAS SOUPS 12706 WITH SCORE 12729.992
AT ITER 536 NEW BEST:: SOT 38821 SOS 23974 HAS SOPS 18144 HAS SOUS 15512 HAS SOUPS 12665 WITH SCORE 12688.974
AT ITER 538 NEW BEST:: SOT 38788 SOS 23928 HAS SOPS 18110 HAS SOUS 15467 HAS SOUPS 12631 WITH SCORE 12654.928
AT ITER 546 NEW BEST:: SOT 38739 SOS 23879 HAS SOPS 18028 HAS SOUS 15396 HAS SOUPS 12560 WITH SCORE 12583.879
AT ITER 557 NEW BEST:: SOT 38739 SOS 23872 HAS SOPS 18021 HAS SOUS 15396 HAS SOUPS 12560 WITH SCORE 12583.872
AT ITER 564 NEW BEST:: SOT 38744 SOS 23877 HAS SOPS 17991 HAS SOUS 15365 HAS SOUPS 12530 WITH SCORE 12553.877
AT ITER 565 NEW BEST:: SOT 38738 SOS 23871 HAS SOPS 17983 HAS SOUS 15359 HAS SOUPS 12522 WITH SCORE 12545.871
AT ITER 569 NEW BEST:: SOT 38683 SOS 23816 HAS SOPS 17917 HAS SOUS 15304 HAS SOUPS 12456 WITH SCORE 12479.816
AT ITER 570 NEW BEST:: SOT 38679 SOS 23812 HAS SOPS 17913 HAS SOUS 15300 HAS SOUPS 12452 WITH SCORE 12475.812
AT ITER 575 NEW BEST:: SOT 38681 SOS 23837 HAS SOPS 17912 HAS SOUS 15319 HAS SOUPS 12451 WITH SCORE 12474.837
AT ITER 589 NEW BEST:: SOT 38680 SOS 23836 HAS SOPS 17911 HAS SOUS 15318 HAS SOUPS 12450 WITH SCORE 12473.836
AT ITER 592 NEW BEST:: SOT 38678 SOS 23834 HAS SOPS 17907 HAS SOUS 15316 HAS SOUPS 12446 WITH SCORE 12469.834
AT ITER 593 NEW BEST:: SOT 38618 SOS 23792 HAS SOPS 17859 HAS SOUS 15265 HAS SOUPS 12389 WITH SCORE 12412.792
AT ITER 610 NEW BEST:: SOT 38609 SOS 23783 HAS SOPS 17856 HAS SOUS 15262 HAS SOUPS 12386 WITH SCORE 12409.783
AT ITER 615 NEW BEST:: SOT 38606 SOS 23780 HAS SOPS 17853 HAS SOUS 15259 HAS SOUPS 12383 WITH SCORE 12406.78
AT ITER 626 NEW BEST:: SOT 38608 SOS 23886 HAS SOPS 17829 HAS SOUS 15320 HAS SOUPS 12359 WITH SCORE 12382.886
AT ITER 627 NEW BEST:: SOT 38591 SOS 23869 HAS SOPS 17812 HAS SOUS 15303 HAS SOUPS 12342 WITH SCORE 12365.869
AT ITER 637 NEW BEST:: SOT 38351 SOS 23629 HAS SOPS 17572 HAS SOUS 15131 HAS SOUPS 12170 WITH SCORE 12193.629
AT ITER 642 NEW BEST:: SOT 38375 SOS 23822 HAS SOPS 17500 HAS SOUS 15200 HAS SOUPS 12159 WITH SCORE 12182.822
AT ITER 661 NEW BEST:: SOT 38382 SOS 23829 HAS SOPS 17497 HAS SOUS 15207 HAS SOUPS 12156 WITH SCORE 12179.829
AT ITER 681 NEW BEST:: SOT 38291 SOS 23778 HAS SOPS 17433 HAS SOUS 15136 HAS SOUPS 12072 WITH SCORE 12095.778
AT ITER 684 NEW BEST:: SOT 38291 SOS 23766 HAS SOPS 17421 HAS SOUS 15130 HAS SOUPS 12066 WITH SCORE 12089.766
AT ITER 685 NEW BEST:: SOT 38320 SOS 23573 HAS SOPS 17165 HAS SOUS 15121 HAS SOUPS 12057 WITH SCORE 12080.573
AT ITER 698 NEW BEST:: SOT 38320 SOS 23559 HAS SOPS 17151 HAS SOUS 15114 HAS SOUPS 12050 WITH SCORE 12073.559
AT ITER 699 NEW BEST:: SOT 38268 SOS 23473 HAS SOPS 17021 HAS SOUS 14932 HAS SOUPS 11868 WITH SCORE 11891.473
AT ITER 722 NEW BEST:: SOT 38263 SOS 23468 HAS SOPS 17012 HAS SOUS 14927 HAS SOUPS 11859 WITH SCORE 11882.468
AT ITER 726 NEW BEST:: SOT 38168 SOS 23373 HAS SOPS 16890 HAS SOUS 14805 HAS SOUPS 11737 WITH SCORE 11760.373
AT ITER 736 NEW BEST:: SOT 38136 SOS 23341 HAS SOPS 16887 HAS SOUS 14780 HAS SOUPS 11734 WITH SCORE 11757.341
AT ITER 739 NEW BEST:: SOT 38138 SOS 23343 HAS SOPS 16889 HAS SOUS 14774 HAS SOUPS 11728 WITH SCORE 11751.343
AT ITER 750 NEW BEST:: SOT 38202 SOS 23389 HAS SOPS 16847 HAS SOUS 14775 HAS SOUPS 11709 WITH SCORE 11732.389
AT ITER 756 NEW BEST:: SOT 38120 SOS 23308 HAS SOPS 16765 HAS SOUS 14694 HAS SOUPS 11627 WITH SCORE 11650.308
AT ITER 761 NEW BEST:: SOT 38098 SOS 23286 HAS SOPS 16732 HAS SOUS 14672 HAS SOUPS 11594 WITH SCORE 11617.286
AT ITER 762 NEW BEST:: SOT 38110 SOS 23298 HAS SOPS 16744 HAS SOUS 14668 HAS SOUPS 11590 WITH SCORE 11613.298
AT ITER 768 NEW BEST:: SOT 37994 SOS 23294 HAS SOPS 16581 HAS SOUS 14757 HAS SOUPS 11575 WITH SCORE 11598.294
AT ITER 772 NEW BEST:: SOT 38045 SOS 23289 HAS SOPS 16420 HAS SOUS 14716 HAS SOUPS 11482 WITH SCORE 11505.289
AT ITER 777 NEW BEST:: SOT 38036 SOS 23280 HAS SOPS 16407 HAS SOUS 14707 HAS SOUPS 11469 WITH SCORE 11492.28
AT ITER 779 NEW BEST:: SOT 38038 SOS 23282 HAS SOPS 16406 HAS SOUS 14709 HAS SOUPS 11468 WITH SCORE 11491.282
AT ITER 803 NEW BEST:: SOT 38025 SOS 23282 HAS SOPS 16380 HAS SOUS 14748 HAS SOUPS 11442 WITH SCORE 11465.282
AT ITER 827 NEW BEST:: SOT 38025 SOS 23281 HAS SOPS 16379 HAS SOUS 14747 HAS SOUPS 11441 WITH SCORE 11464.281
AT ITER 847 NEW BEST:: SOT 38016 SOS 23221 HAS SOPS 16359 HAS SOUS 14642 HAS SOUPS 11346 WITH SCORE 11369.221
AT ITER 849 NEW BEST:: SOT 38009 SOS 23214 HAS SOPS 16318 HAS SOUS 14645 HAS SOUPS 11305 WITH SCORE 11328.214
AT ITER 853 NEW BEST:: SOT 37862 SOS 23279 HAS SOPS 16375 HAS SOUS 14596 HAS SOUPS 11256 WITH SCORE 11279.279
AT ITER 867 NEW BEST:: SOT 37862 SOS 23278 HAS SOPS 16374 HAS SOUS 14596 HAS SOUPS 11256 WITH SCORE 11279.278
AT ITER 873 NEW BEST:: SOT 37862 SOS 23278 HAS SOPS 16374 HAS SOUS 14572 HAS SOUPS 11232 WITH SCORE 11255.278
AT ITER 878 NEW BEST:: SOT 37862 SOS 23218 HAS SOPS 16314 HAS SOUS 14572 HAS SOUPS 11232 WITH SCORE 11255.218
AT ITER 883 NEW BEST:: SOT 37914 SOS 23270 HAS SOPS 16268 HAS SOUS 14495 HAS SOUPS 11186 WITH SCORE 11209.27
AT ITER 889 NEW BEST:: SOT 37884 SOS 23240 HAS SOPS 16228 HAS SOUS 14455 HAS SOUPS 11146 WITH SCORE 11169.24
AT ITER 910 NEW BEST:: SOT 37884 SOS 23240 HAS SOPS 16221 HAS SOUS 14448 HAS SOUPS 11139 WITH SCORE 11162.24
AT ITER 912 NEW BEST:: SOT 37830 SOS 23194 HAS SOPS 16165 HAS SOUS 14442 HAS SOUPS 11115 WITH SCORE 11138.194
AT ITER 957 NEW BEST:: SOT 37795 SOS 23159 HAS SOPS 16130 HAS SOUS 14407 HAS SOUPS 11080 WITH SCORE 11103.159
AT ITER 965 NEW BEST:: SOT 37795 SOS 23156 HAS SOPS 16127 HAS SOUS 14404 HAS SOUPS 11077 WITH SCORE 11100.156
AT ITER 966 NEW BEST:: SOT 37857 SOS 23132 HAS SOPS 16223 HAS SOUS 14304 HAS SOUPS 11057 WITH SCORE 11080.132
AT ITER 976 NEW BEST:: SOT 37837 SOS 23039 HAS SOPS 16219 HAS SOUS 14134 HAS SOUPS 11053 WITH SCORE 11076.039
AT ITER 983 NEW BEST:: SOT 37835 SOS 23037 HAS SOPS 16217 HAS SOUS 14132 HAS SOUPS 11051 WITH SCORE 11074.037
AT ITER 990 NEW BEST:: SOT 37820 SOS 23022 HAS SOPS 16187 HAS SOUS 14117 HAS SOUPS 11021 WITH SCORE 11044.022
AT ITER 1006 NEW BEST:: SOT 37813 SOS 23015 HAS SOPS 16173 HAS SOUS 14110 HAS SOUPS 11007 WITH SCORE 11030.015
AT ITER 1016 NEW BEST:: SOT 37837 SOS 23025 HAS SOPS 16204 HAS SOUS 14075 HAS SOUPS 10979 WITH SCORE 11002.025
AT ITER 1025 NEW BEST:: SOT 37816 SOS 22983 HAS SOPS 16186 HAS SOUS 14042 HAS SOUPS 10949 WITH SCORE 10971.983
AT ITER 1030 NEW BEST:: SOT 37871 SOS 23038 HAS SOPS 16122 HAS SOUS 13978 HAS SOUPS 10885 WITH SCORE 10908.038
AT ITER 1041 NEW BEST:: SOT 37827 SOS 22994 HAS SOPS 16078 HAS SOUS 13934 HAS SOUPS 10841 WITH SCORE 10863.994
AT ITER 1042 NEW BEST:: SOT 37827 SOS 22972 HAS SOPS 16074 HAS SOUS 13918 HAS SOUPS 10837 WITH SCORE 10859.972
AT ITER 1086 NEW BEST:: SOT 37703 SOS 22897 HAS SOPS 15976 HAS SOUS 13777 HAS SOUPS 10696 WITH SCORE 10718.897
AT ITER 1112 NEW BEST:: SOT 37615 SOS 22807 HAS SOPS 15886 HAS SOUS 13687 HAS SOUPS 10606 WITH SCORE 10628.807
AT ITER 1121 NEW BEST:: SOT 37615 SOS 22947 HAS SOPS 16026 HAS SOUS 13678 HAS SOUPS 10597 WITH SCORE 10619.947
AT ITER 1143 NEW BEST:: SOT 37591 SOS 22917 HAS SOPS 15996 HAS SOUS 13651 HAS SOUPS 10570 WITH SCORE 10592.917
AT ITER 1145 NEW BEST:: SOT 37594 SOS 22826 HAS SOPS 15990 HAS SOUS 13571 HAS SOUPS 10564 WITH SCORE 10586.826
AT ITER 1167 NEW BEST:: SOT 37593 SOS 22825 HAS SOPS 15988 HAS SOUS 13570 HAS SOUPS 10562 WITH SCORE 10584.825
AT ITER 1174 NEW BEST:: SOT 37589 SOS 22825 HAS SOPS 15984 HAS SOUS 13566 HAS SOUPS 10558 WITH SCORE 10580.825
AT ITER 1178 NEW BEST:: SOT 37589 SOS 22824 HAS SOPS 15983 HAS SOUS 13566 HAS SOUPS 10558 WITH SCORE 10580.824
AT ITER 1189 NEW BEST:: SOT 37576 SOS 23260 HAS SOPS 15963 HAS SOUS 13796 HAS SOUPS 10538 WITH SCORE 10561.26
AT ITER 1213 NEW BEST:: SOT 37575 SOS 23258 HAS SOPS 15961 HAS SOUS 13793 HAS SOUPS 10536 WITH SCORE 10559.258
AT ITER 1225 NEW BEST:: SOT 37576 SOS 23247 HAS SOPS 15962 HAS SOUS 13782 HAS SOUPS 10529 WITH SCORE 10552.247
AT ITER 1263 NEW BEST:: SOT 37576 SOS 23235 HAS SOPS 15944 HAS SOUS 13776 HAS SOUPS 10517 WITH SCORE 10540.235
AT ITER 1281 NEW BEST:: SOT 37523 SOS 23042 HAS SOPS 15868 HAS SOUS 13535 HAS SOUPS 10441 WITH SCORE 10464.042
AT ITER 1285 NEW BEST:: SOT 37495 SOS 23028 HAS SOPS 15842 HAS SOUS 13472 HAS SOUPS 10378 WITH SCORE 10401.028
AT ITER 1287 NEW BEST:: SOT 37448 SOS 22990 HAS SOPS 15789 HAS SOUS 13450 HAS SOUPS 10341 WITH SCORE 10363.99
AT ITER 1295 NEW BEST:: SOT 37410 SOS 22846 HAS SOPS 15751 HAS SOUS 13200 HAS SOUPS 10303 WITH SCORE 10325.846
AT ITER 1301 NEW BEST:: SOT 37410 SOS 22811 HAS SOPS 15716 HAS SOUS 13193 HAS SOUPS 10296 WITH SCORE 10318.811
AT ITER 1333 NEW BEST:: SOT 37411 SOS 22806 HAS SOPS 15717 HAS SOUS 13188 HAS SOUPS 10293 WITH SCORE 10315.806
AT ITER 1352 NEW BEST:: SOT 37411 SOS 22803 HAS SOPS 15701 HAS SOUS 13172 HAS SOUPS 10277 WITH SCORE 10299.803
AT ITER 1364 NEW BEST:: SOT 37411 SOS 22841 HAS SOPS 15739 HAS SOUS 13162 HAS SOUPS 10267 WITH SCORE 10289.841
AT ITER 1397 NEW BEST:: SOT 37423 SOS 23080 HAS SOPS 15727 HAS SOUS 13401 HAS SOUPS 10255 WITH SCORE 10278.08
AT ITER 1424 NEW BEST:: SOT 37383 SOS 23053 HAS SOPS 15659 HAS SOUS 13372 HAS SOUPS 10187 WITH SCORE 10210.053
AT ITER 1460 NEW BEST:: SOT 37383 SOS 23053 HAS SOPS 15657 HAS SOUS 13370 HAS SOUPS 10185 WITH SCORE 10208.053
AT ITER 1471 NEW BEST:: SOT 37379 SOS 23049 HAS SOPS 15649 HAS SOUS 13366 HAS SOUPS 10177 WITH SCORE 10200.049
AT ITER 1476 NEW BEST:: SOT 37316 SOS 22986 HAS SOPS 15586 HAS SOUS 13303 HAS SOUPS 10114 WITH SCORE 10136.986
AT ITER 1486 NEW BEST:: SOT 37353 SOS 23042 HAS SOPS 15514 HAS SOUS 13231 HAS SOUPS 10042 WITH SCORE 10065.042
AT ITER 1491 NEW BEST:: SOT 37358 SOS 23037 HAS SOPS 15497 HAS SOUS 13214 HAS SOUPS 10025 WITH SCORE 10048.037
AT ITER 1508 NEW BEST:: SOT 37358 SOS 22969 HAS SOPS 15427 HAS SOUS 13211 HAS SOUPS 10022 WITH SCORE 10044.969
AT ITER 1522 NEW BEST:: SOT 37415 SOS 23054 HAS SOPS 15377 HAS SOUS 13147 HAS SOUPS 9958 WITH SCORE 9981.054
AT ITER 1540 NEW BEST:: SOT 37391 SOS 23032 HAS SOPS 15337 HAS SOUS 13116 HAS SOUPS 9927 WITH SCORE 9950.032
AT ITER 1553 NEW BEST:: SOT 37393 SOS 23034 HAS SOPS 15327 HAS SOUS 13106 HAS SOUPS 9917 WITH SCORE 9940.034
AT ITER 1568 NEW BEST:: SOT 37392 SOS 23033 HAS SOPS 15325 HAS SOUS 13105 HAS SOUPS 9915 WITH SCORE 9938.033
AT ITER 1580 NEW BEST:: SOT 37392 SOS 23033 HAS SOPS 15318 HAS SOUS 13105 HAS SOUPS 9908 WITH SCORE 9931.033
AT ITER 1661 NEW BEST:: SOT 37180 SOS 22821 HAS SOPS 15106 HAS SOUS 12893 HAS SOUPS 9696 WITH SCORE 9718.821
AT ITER 1666 NEW BEST:: SOT 37180 SOS 22821 HAS SOPS 15102 HAS SOUS 12893 HAS SOUPS 9692 WITH SCORE 9714.821
AT ITER 1668 NEW BEST:: SOT 37140 SOS 22781 HAS SOPS 15062 HAS SOUS 12853 HAS SOUPS 9652 WITH SCORE 9674.781
AT ITER 1719 NEW BEST:: SOT 37081 SOS 22675 HAS SOPS 15000 HAS SOUS 12772 HAS SOUPS 9606 WITH SCORE 9628.675
AT ITER 1720 NEW BEST:: SOT 37073 SOS 22667 HAS SOPS 14992 HAS SOUS 12764 HAS SOUPS 9598 WITH SCORE 9620.667
AT ITER 1784 NEW BEST:: SOT 37055 SOS 22649 HAS SOPS 14974 HAS SOUS 12746 HAS SOUPS 9580 WITH SCORE 9602.649
AT ITER 1804 NEW BEST:: SOT 37052 SOS 22646 HAS SOPS 14968 HAS SOUS 12743 HAS SOUPS 9574 WITH SCORE 9596.646
AT ITER 1828 NEW BEST:: SOT 37031 SOS 22625 HAS SOPS 14942 HAS SOUS 12726 HAS SOUPS 9552 WITH SCORE 9574.625
AT ITER 1837 NEW BEST:: SOT 36862 SOS 22519 HAS SOPS 14770 HAS SOUS 12802 HAS SOUPS 9536 WITH SCORE 9558.519
AT ITER 1839 NEW BEST:: SOT 36852 SOS 22516 HAS SOPS 14760 HAS SOUS 12811 HAS SOUPS 9534 WITH SCORE 9556.516
AT ITER 1852 NEW BEST:: SOT 36852 SOS 22516 HAS SOPS 14759 HAS SOUS 12811 HAS SOUPS 9533 WITH SCORE 9555.516
AT ITER 1886 NEW BEST:: SOT 36876 SOS 22540 HAS SOPS 14699 HAS SOUS 12751 HAS SOUPS 9473 WITH SCORE 9495.54
AT ITER 1890 NEW BEST:: SOT 36868 SOS 22532 HAS SOPS 14691 HAS SOUS 12747 HAS SOUPS 9469 WITH SCORE 9491.532
AT ITER 1902 NEW BEST:: SOT 36874 SOS 22538 HAS SOPS 14668 HAS SOUS 12730 HAS SOUPS 9446 WITH SCORE 9468.538
AT ITER 1936 NEW BEST:: SOT 36874 SOS 22528 HAS SOPS 14658 HAS SOUS 12725 HAS SOUPS 9441 WITH SCORE 9463.528
AT ITER 1949 NEW BEST:: SOT 36872 SOS 22526 HAS SOPS 14654 HAS SOUS 12723 HAS SOUPS 9437 WITH SCORE 9459.526
AT ITER 1950 NEW BEST:: SOT 36897 SOS 22475 HAS SOPS 14675 HAS SOUS 12686 HAS SOUPS 9407 WITH SCORE 9429.475
AT ITER 1999 NEW BEST:: SOT 36878 SOS 22456 HAS SOPS 14636 HAS SOUS 12667 HAS SOUPS 9368 WITH SCORE 9390.456
AT ITER 2000 NEW BEST:: SOT 36878 SOS 22451 HAS SOPS 14636 HAS SOUS 12660 HAS SOUPS 9364 WITH SCORE 9386.451
AT ITER 2006 NEW BEST:: SOT 36874 SOS 22447 HAS SOPS 14632 HAS SOUS 12652 HAS SOUPS 9356 WITH SCORE 9378.447
AT ITER 2025 NEW BEST:: SOT 36879 SOS 22447 HAS SOPS 14607 HAS SOUS 12626 HAS SOUPS 9331 WITH SCORE 9353.447
AT ITER 2027 NEW BEST:: SOT 36879 SOS 22419 HAS SOPS 14579 HAS SOUS 12622 HAS SOUPS 9327 WITH SCORE 9349.419
AT ITER 2028 NEW BEST:: SOT 36874 SOS 22475 HAS SOPS 14635 HAS SOUS 12606 HAS SOUPS 9311 WITH SCORE 9333.475
AT ITER 2035 NEW BEST:: SOT 36862 SOS 22480 HAS SOPS 14612 HAS SOUS 12594 HAS SOUPS 9288 WITH SCORE 9310.48
AT ITER 2053 NEW BEST:: SOT 36862 SOS 22480 HAS SOPS 14611 HAS SOUS 12594 HAS SOUPS 9287 WITH SCORE 9309.48
AT ITER 2072 NEW BEST:: SOT 36855 SOS 22473 HAS SOPS 14597 HAS SOUS 12587 HAS SOUPS 9273 WITH SCORE 9295.473
AT ITER 2118 NEW BEST:: SOT 36855 SOS 22420 HAS SOPS 14544 HAS SOUS 12583 HAS SOUPS 9269 WITH SCORE 9291.42
AT ITER 2140 NEW BEST:: SOT 36784 SOS 22383 HAS SOPS 14492 HAS SOUS 12514 HAS SOUPS 9200 WITH SCORE 9222.383
AT ITER 2164 NEW BEST:: SOT 36784 SOS 22381 HAS SOPS 14487 HAS SOUS 12509 HAS SOUPS 9195 WITH SCORE 9217.381
AT ITER 2167 NEW BEST:: SOT 36756 SOS 22353 HAS SOPS 14452 HAS SOUS 12499 HAS SOUPS 9180 WITH SCORE 9202.353
AT ITER 2195 NEW BEST:: SOT 36756 SOS 22339 HAS SOPS 14438 HAS SOUS 12497 HAS SOUPS 9178 WITH SCORE 9200.339
AT ITER 2216 NEW BEST:: SOT 36714 SOS 22297 HAS SOPS 14423 HAS SOUS 12482 HAS SOUPS 9163 WITH SCORE 9185.297
AT ITER 2242 NEW BEST:: SOT 36712 SOS 22295 HAS SOPS 14419 HAS SOUS 12480 HAS SOUPS 9159 WITH SCORE 9181.295
AT ITER 2246 NEW BEST:: SOT 36789 SOS 22286 HAS SOPS 14508 HAS SOUS 12470 HAS SOUPS 9159 WITH SCORE 9181.286
AT ITER 2254 NEW BEST:: SOT 36775 SOS 22549 HAS SOPS 14498 HAS SOUS 12759 HAS SOUPS 9149 WITH SCORE 9171.549
AT ITER 2319 NEW BEST:: SOT 36772 SOS 22546 HAS SOPS 14492 HAS SOUS 12756 HAS SOUPS 9143 WITH SCORE 9165.546
AT ITER 2326 NEW BEST:: SOT 36772 SOS 22543 HAS SOPS 14489 HAS SOUS 12753 HAS SOUPS 9140 WITH SCORE 9162.543
AT ITER 2346 NEW BEST:: SOT 36745 SOS 22532 HAS SOPS 14465 HAS SOUS 12721 HAS SOUPS 9108 WITH SCORE 9130.532
AT ITER 2361 NEW BEST:: SOT 36721 SOS 22508 HAS SOPS 14417 HAS SOUS 12673 HAS SOUPS 9060 WITH SCORE 9082.508
AT ITER 2384 NEW BEST:: SOT 36717 SOS 22501 HAS SOPS 14410 HAS SOUS 12666 HAS SOUPS 9053 WITH SCORE 9075.501
AT ITER 2387 NEW BEST:: SOT 36743 SOS 22491 HAS SOPS 14428 HAS SOUS 12656 HAS SOUPS 9043 WITH SCORE 9065.491
AT ITER 2427 NEW BEST:: SOT 36739 SOS 22487 HAS SOPS 14424 HAS SOUS 12652 HAS SOUPS 9039 WITH SCORE 9061.487
AT ITER 2458 NEW BEST:: SOT 36601 SOS 22056 HAS SOPS 14232 HAS SOUS 12320 HAS SOUPS 9019 WITH SCORE 9041.056
AT ITER 2459 NEW BEST:: SOT 36585 SOS 22043 HAS SOPS 14211 HAS SOUS 12307 HAS SOUPS 8998 WITH SCORE 9020.043
AT ITER 2467 NEW BEST:: SOT 36546 SOS 22053 HAS SOPS 14171 HAS SOUS 12458 HAS SOUPS 8958 WITH SCORE 8980.053
AT ITER 2468 NEW BEST:: SOT 36528 SOS 22035 HAS SOPS 14135 HAS SOUS 12440 HAS SOUPS 8922 WITH SCORE 8944.035
AT ITER 2522 NEW BEST:: SOT 36402 SOS 21879 HAS SOPS 13999 HAS SOUS 12304 HAS SOUPS 8786 WITH SCORE 8807.879
AT ITER 2547 NEW BEST:: SOT 36282 SOS 21799 HAS SOPS 13899 HAS SOUS 12184 HAS SOUPS 8666 WITH SCORE 8687.799
AT ITER 2561 NEW BEST:: SOT 36197 SOS 21783 HAS SOPS 13814 HAS SOUS 12240 HAS SOUPS 8653 WITH SCORE 8674.783
AT ITER 2568 NEW BEST:: SOT 36200 SOS 21786 HAS SOPS 13800 HAS SOUS 12233 HAS SOUPS 8639 WITH SCORE 8660.786
AT ITER 2573 NEW BEST:: SOT 36182 SOS 21768 HAS SOPS 13775 HAS SOUS 12215 HAS SOUPS 8614 WITH SCORE 8635.768
AT ITER 2591 NEW BEST:: SOT 36176 SOS 21762 HAS SOPS 13763 HAS SOUS 12209 HAS SOUPS 8602 WITH SCORE 8623.762
AT ITER 2599 NEW BEST:: SOT 36176 SOS 21758 HAS SOPS 13759 HAS SOUS 12209 HAS SOUPS 8602 WITH SCORE 8623.758
AT ITER 2602 NEW BEST:: SOT 36174 SOS 21756 HAS SOPS 13755 HAS SOUS 12207 HAS SOUPS 8598 WITH SCORE 8619.756
AT ITER 2651 NEW BEST:: SOT 36170 SOS 21752 HAS SOPS 13747 HAS SOUS 12203 HAS SOUPS 8590 WITH SCORE 8611.752
AT ITER 2760 NEW BEST:: SOT 36170 SOS 21758 HAS SOPS 13746 HAS SOUS 12192 HAS SOUPS 8579 WITH SCORE 8600.758
AT ITER 2767 NEW BEST:: SOT 36155 SOS 21749 HAS SOPS 13737 HAS SOUS 12180 HAS SOUPS 8567 WITH SCORE 8588.749
AT ITER 2786 NEW BEST:: SOT 36155 SOS 21745 HAS SOPS 13724 HAS SOUS 12167 HAS SOUPS 8554 WITH SCORE 8575.745
AT ITER 2800 NEW BEST:: SOT 36145 SOS 21735 HAS SOPS 13700 HAS SOUS 12145 HAS SOUPS 8532 WITH SCORE 8553.735
AT ITER 2835 NEW BEST:: SOT 36139 SOS 21729 HAS SOPS 13676 HAS SOUS 12121 HAS SOUPS 8508 WITH SCORE 8529.729
AT ITER 2853 NEW BEST:: SOT 36136 SOS 21726 HAS SOPS 13670 HAS SOUS 12118 HAS SOUPS 8502 WITH SCORE 8523.726
AT ITER 2878 NEW BEST:: SOT 35998 SOS 21667 HAS SOPS 13531 HAS SOUS 12032 HAS SOUPS 8363 WITH SCORE 8384.667
AT ITER 2948 NEW BEST:: SOT 35995 SOS 21664 HAS SOPS 13528 HAS SOUS 12029 HAS SOUPS 8360 WITH SCORE 8381.664
AT ITER 2968 NEW BEST:: SOT 35987 SOS 21654 HAS SOPS 13524 HAS SOUS 12025 HAS SOUPS 8356 WITH SCORE 8377.654
AT ITER 3002 NEW BEST:: SOT 35986 SOS 21653 HAS SOPS 13522 HAS SOUS 12024 HAS SOUPS 8354 WITH SCORE 8375.653
AT ITER 3061 NEW BEST:: SOT 35982 SOS 21649 HAS SOPS 13514 HAS SOUS 12020 HAS SOUPS 8346 WITH SCORE 8367.649
AT ITER 3099 NEW BEST:: SOT 35982 SOS 21647 HAS SOPS 13512 HAS SOUS 12018 HAS SOUPS 8344 WITH SCORE 8365.647
AT ITER 3116 NEW BEST:: SOT 35976 SOS 21642 HAS SOPS 13507 HAS SOUS 12013 HAS SOUPS 8339 WITH SCORE 8360.642
AT ITER 3145 NEW BEST:: SOT 35963 SOS 21736 HAS SOPS 13472 HAS SOUS 12140 HAS SOUPS 8304 WITH SCORE 8325.736
AT ITER 3189 NEW BEST:: SOT 35945 SOS 21730 HAS SOPS 13478 HAS SOUS 12140 HAS SOUPS 8304 WITH SCORE 8325.73
AT ITER 3213 NEW BEST:: SOT 35921 SOS 21707 HAS SOPS 13455 HAS SOUS 12117 HAS SOUPS 8281 WITH SCORE 8302.707
AT ITER 3287 NEW BEST:: SOT 35919 SOS 21708 HAS SOPS 13447 HAS SOUS 12109 HAS SOUPS 8273 WITH SCORE 8294.708
AT ITER 3344 NEW BEST:: SOT 35913 SOS 21702 HAS SOPS 13435 HAS SOUS 12102 HAS SOUPS 8261 WITH SCORE 8282.702
AT ITER 3384 NEW BEST:: SOT 35909 SOS 21698 HAS SOPS 13431 HAS SOUS 12098 HAS SOUPS 8257 WITH SCORE 8278.698
AT ITER 3387 NEW BEST:: SOT 35896 SOS 21679 HAS SOPS 13412 HAS SOUS 12079 HAS SOUPS 8238 WITH SCORE 8259.679
AT ITER 3430 NEW BEST:: SOT 35894 SOS 21675 HAS SOPS 13410 HAS SOUS 12067 HAS SOUPS 8236 WITH SCORE 8257.675
AT ITER 3444 NEW BEST:: SOT 35856 SOS 21629 HAS SOPS 13374 HAS SOUS 12039 HAS SOUPS 8208 WITH SCORE 8229.629
AT ITER 3453 NEW BEST:: SOT 35856 SOS 21625 HAS SOPS 13374 HAS SOUS 12030 HAS SOUPS 8208 WITH SCORE 8229.625
AT ITER 3466 NEW BEST:: SOT 35855 SOS 21624 HAS SOPS 13372 HAS SOUS 12029 HAS SOUPS 8206 WITH SCORE 8227.624
AT ITER 3470 NEW BEST:: SOT 35851 SOS 21620 HAS SOPS 13368 HAS SOUS 12003 HAS SOUPS 8186 WITH SCORE 8207.62
AT ITER 3509 NEW BEST:: SOT 35848 SOS 21617 HAS SOPS 13367 HAS SOUS 12000 HAS SOUPS 8185 WITH SCORE 8206.617
AT ITER 3552 NEW BEST:: SOT 35853 SOS 21631 HAS SOPS 13347 HAS SOUS 11975 HAS SOUPS 8160 WITH SCORE 8181.631
AT ITER 3562 NEW BEST:: SOT 35816 SOS 21638 HAS SOPS 13310 HAS SOUS 12010 HAS SOUPS 8151 WITH SCORE 8172.638
AT ITER 3573 NEW BEST:: SOT 35814 SOS 21636 HAS SOPS 13308 HAS SOUS 12008 HAS SOUPS 8149 WITH SCORE 8170.636
AT ITER 3596 NEW BEST:: SOT 35811 SOS 21633 HAS SOPS 13303 HAS SOUS 12005 HAS SOUPS 8144 WITH SCORE 8165.633
AT ITER 3658 NEW BEST:: SOT 35808 SOS 21634 HAS SOPS 13297 HAS SOUS 12011 HAS SOUPS 8138 WITH SCORE 8159.634
AT ITER 3660 NEW BEST:: SOT 35804 SOS 21630 HAS SOPS 13289 HAS SOUS 12007 HAS SOUPS 8130 WITH SCORE 8151.63
AT ITER 3670 NEW BEST:: SOT 35799 SOS 21625 HAS SOPS 13279 HAS SOUS 12002 HAS SOUPS 8120 WITH SCORE 8141.625
AT ITER 3697 NEW BEST:: SOT 35789 SOS 21581 HAS SOPS 13264 HAS SOUS 11976 HAS SOUPS 8105 WITH SCORE 8126.581
AT ITER 3719 NEW BEST:: SOT 35787 SOS 21579 HAS SOPS 13262 HAS SOUS 11974 HAS SOUPS 8103 WITH SCORE 8124.579
AT ITER 3737 NEW BEST:: SOT 35787 SOS 21538 HAS SOPS 13221 HAS SOUS 11974 HAS SOUPS 8103 WITH SCORE 8124.538
AT ITER 3739 NEW BEST:: SOT 35829 SOS 21528 HAS SOPS 13261 HAS SOUS 11915 HAS SOUPS 8049 WITH SCORE 8070.528
AT ITER 3811 NEW BEST:: SOT 35820 SOS 21515 HAS SOPS 13249 HAS SOUS 11904 HAS SOUPS 8039 WITH SCORE 8060.515
AT ITER 3840 NEW BEST:: SOT 35812 SOS 21507 HAS SOPS 13233 HAS SOUS 11896 HAS SOUPS 8023 WITH SCORE 8044.507
AT ITER 3867 NEW BEST:: SOT 35812 SOS 21507 HAS SOPS 13233 HAS SOUS 11892 HAS SOUPS 8019 WITH SCORE 8040.507
AT ITER 3883 NEW BEST:: SOT 35802 SOS 21499 HAS SOPS 13220 HAS SOUS 11884 HAS SOUPS 8006 WITH SCORE 8027.499
AT ITER 3937 NEW BEST:: SOT 35802 SOS 21495 HAS SOPS 13216 HAS SOUS 11884 HAS SOUPS 8006 WITH SCORE 8027.495
AT ITER 3977 NEW BEST:: SOT 35800 SOS 21493 HAS SOPS 13212 HAS SOUS 11882 HAS SOUPS 8002 WITH SCORE 8023.493
AT ITER 3995 NEW BEST:: SOT 35798 SOS 21491 HAS SOPS 13208 HAS SOUS 11880 HAS SOUPS 7998 WITH SCORE 8019.491
AT ITER 4028 NEW BEST:: SOT 35813 SOS 21475 HAS SOPS 13216 HAS SOUS 11872 HAS SOUPS 7990 WITH SCORE 8011.475
AT ITER 4057 NEW BEST:: SOT 35805 SOS 21467 HAS SOPS 13200 HAS SOUS 11864 HAS SOUPS 7974 WITH SCORE 7995.467
AT ITER 4100 NEW BEST:: SOT 35847 SOS 21477 HAS SOPS 13258 HAS SOUS 11801 HAS SOUPS 7968 WITH SCORE 7989.477
AT ITER 4168 NEW BEST:: SOT 35847 SOS 21476 HAS SOPS 13258 HAS SOUS 11796 HAS SOUPS 7968 WITH SCORE 7989.476
AT ITER 4294 NEW BEST:: SOT 35871 SOS 21491 HAS SOPS 13295 HAS SOUS 11730 HAS SOUPS 7913 WITH SCORE 7934.491
AT ITER 4364 NEW BEST:: SOT 35877 SOS 21484 HAS SOPS 13301 HAS SOUS 11713 HAS SOUPS 7907 WITH SCORE 7928.484
AT ITER 4406 NEW BEST:: SOT 35872 SOS 21479 HAS SOPS 13291 HAS SOUS 11708 HAS SOUPS 7897 WITH SCORE 7918.479
AT ITER 4464 NEW BEST:: SOT 35872 SOS 21474 HAS SOPS 13286 HAS SOUS 11708 HAS SOUPS 7897 WITH SCORE 7918.474
AT ITER 4472 NEW BEST:: SOT 35872 SOS 21423 HAS SOPS 13235 HAS SOUS 11708 HAS SOUPS 7897 WITH SCORE 7918.423
AT ITER 4510 NEW BEST:: SOT 35869 SOS 21420 HAS SOPS 13229 HAS SOUS 11705 HAS SOUPS 7891 WITH SCORE 7912.42
AT ITER 4531 NEW BEST:: SOT 35867 SOS 21418 HAS SOPS 13227 HAS SOUS 11703 HAS SOUPS 7889 WITH SCORE 7910.418
AT ITER 4542 NEW BEST:: SOT 35867 SOS 21350 HAS SOPS 13159 HAS SOUS 11701 HAS SOUPS 7887 WITH SCORE 7908.35
AT ITER 4560 NEW BEST:: SOT 35865 SOS 21348 HAS SOPS 13155 HAS SOUS 11699 HAS SOUPS 7883 WITH SCORE 7904.348
AT ITER 4580 NEW BEST:: SOT 35864 SOS 21347 HAS SOPS 13153 HAS SOUS 11698 HAS SOUPS 7881 WITH SCORE 7902.347
AT ITER 4581 NEW BEST:: SOT 35864 SOS 21341 HAS SOPS 13153 HAS SOUS 11698 HAS SOUPS 7881 WITH SCORE 7902.341
AT ITER 4596 NEW BEST:: SOT 35777 SOS 21254 HAS SOPS 13052 HAS SOUS 11681 HAS SOUPS 7864 WITH SCORE 7885.254
AT ITER 4613 NEW BEST:: SOT 35779 SOS 21256 HAS SOPS 13064 HAS SOUS 11639 HAS SOUPS 7832 WITH SCORE 7853.256
AT ITER 4630 NEW BEST:: SOT 35800 SOS 21277 HAS SOPS 13085 HAS SOUS 11620 HAS SOUPS 7813 WITH SCORE 7834.277
AT ITER 4650 NEW BEST:: SOT 35806 SOS 21279 HAS SOPS 13073 HAS SOUS 11608 HAS SOUPS 7801 WITH SCORE 7822.279
AT ITER 4673 NEW BEST:: SOT 35826 SOS 21277 HAS SOPS 13091 HAS SOUS 11604 HAS SOUPS 7799 WITH SCORE 7820.277
AT ITER 4682 NEW BEST:: SOT 35826 SOS 21277 HAS SOPS 13090 HAS SOUS 11603 HAS SOUPS 7798 WITH SCORE 7819.277
AT ITER 4757 NEW BEST:: SOT 35833 SOS 21239 HAS SOPS 13072 HAS SOUS 11601 HAS SOUPS 7797 WITH SCORE 7818.239
AT ITER 4824 NEW BEST:: SOT 35827 SOS 21233 HAS SOPS 13068 HAS SOUS 11565 HAS SOUPS 7761 WITH SCORE 7782.233
AT ITER 4853 NEW BEST:: SOT 35826 SOS 21232 HAS SOPS 13060 HAS SOUS 11559 HAS SOUPS 7753 WITH SCORE 7774.232
AT ITER 4884 NEW BEST:: SOT 35815 SOS 21223 HAS SOPS 13051 HAS SOUS 11550 HAS SOUPS 7744 WITH SCORE 7765.223
AT ITER 4987 NEW BEST:: SOT 35807 SOS 21215 HAS SOPS 13043 HAS SOUS 11550 HAS SOUPS 7744 WITH SCORE 7765.215
AT ITER 5102 NEW BEST:: SOT 35815 SOS 21223 HAS SOPS 13042 HAS SOUS 11558 HAS SOUPS 7743 WITH SCORE 7764.223
AT ITER 5133 NEW BEST:: SOT 35792 SOS 21212 HAS SOPS 13032 HAS SOUS 11542 HAS SOUPS 7727 WITH SCORE 7748.212
AT ITER 5198 NEW BEST:: SOT 35788 SOS 21208 HAS SOPS 13023 HAS SOUS 11538 HAS SOUPS 7718 WITH SCORE 7739.208
AT ITER 5279 NEW BEST:: SOT 35773 SOS 21193 HAS SOPS 13019 HAS SOUS 11546 HAS SOUPS 7714 WITH SCORE 7735.193
AT ITER 5299 NEW BEST:: SOT 35740 SOS 21178 HAS SOPS 13016 HAS SOUS 11525 HAS SOUPS 7702 WITH SCORE 7723.178
AT ITER 5348 NEW BEST:: SOT 35739 SOS 21177 HAS SOPS 13014 HAS SOUS 11524 HAS SOUPS 7700 WITH SCORE 7721.177
AT ITER 5423 NEW BEST:: SOT 35702 SOS 21042 HAS SOPS 13012 HAS SOUS 11398 HAS SOUPS 7698 WITH SCORE 7719.042
AT ITER 5519 NEW BEST:: SOT 35702 SOS 21041 HAS SOPS 13011 HAS SOUS 11397 HAS SOUPS 7697 WITH SCORE 7718.041
AT ITER 5572 NEW BEST:: SOT 35701 SOS 21040 HAS SOPS 13009 HAS SOUS 11396 HAS SOUPS 7695 WITH SCORE 7716.04
AT ITER 5573 NEW BEST:: SOT 35715 SOS 21045 HAS SOPS 13023 HAS SOUS 11383 HAS SOUPS 7685 WITH SCORE 7706.045
AT ITER 5598 NEW BEST:: SOT 35713 SOS 21043 HAS SOPS 13019 HAS SOUS 11381 HAS SOUPS 7681 WITH SCORE 7702.043
AT ITER 5625 NEW BEST:: SOT 35713 SOS 21043 HAS SOPS 13018 HAS SOUS 11381 HAS SOUPS 7680 WITH SCORE 7701.043
AT ITER 5635 NEW BEST:: SOT 35712 SOS 21042 HAS SOPS 13017 HAS SOUS 11380 HAS SOUPS 7679 WITH SCORE 7700.042
AT ITER 5722 NEW BEST:: SOT 35709 SOS 20757 HAS SOPS 13033 HAS SOUS 11328 HAS SOUPS 7665 WITH SCORE 7685.757
AT ITER 5753 NEW BEST:: SOT 35706 SOS 20754 HAS SOPS 13027 HAS SOUS 11325 HAS SOUPS 7659 WITH SCORE 7679.754
AT ITER 5766 NEW BEST:: SOT 35705 SOS 20753 HAS SOPS 13025 HAS SOUS 11324 HAS SOUPS 7657 WITH SCORE 7677.753
AT ITER 5925 NEW BEST:: SOT 35691 SOS 20731 HAS SOPS 13001 HAS SOUS 11303 HAS SOUPS 7637 WITH SCORE 7657.731
AT ITER 6035 NEW BEST:: SOT 35672 SOS 20712 HAS SOPS 12973 HAS SOUS 11284 HAS SOUPS 7609 WITH SCORE 7629.712
AT ITER 6120 NEW BEST:: SOT 35661 SOS 20701 HAS SOPS 12962 HAS SOUS 11277 HAS SOUPS 7602 WITH SCORE 7622.701
AT ITER 6124 NEW BEST:: SOT 35644 SOS 20684 HAS SOPS 12940 HAS SOUS 11263 HAS SOUPS 7588 WITH SCORE 7608.684
AT ITER 6127 NEW BEST:: SOT 35629 SOS 20669 HAS SOPS 12922 HAS SOUS 11245 HAS SOUPS 7570 WITH SCORE 7590.669
AT ITER 6153 NEW BEST:: SOT 35637 SOS 20665 HAS SOPS 12918 HAS SOUS 11241 HAS SOUPS 7566 WITH SCORE 7586.665
AT ITER 6239 NEW BEST:: SOT 35628 SOS 20656 HAS SOPS 12906 HAS SOUS 11229 HAS SOUPS 7554 WITH SCORE 7574.656
AT ITER 6262 NEW BEST:: SOT 35628 SOS 20654 HAS SOPS 12904 HAS SOUS 11228 HAS SOUPS 7553 WITH SCORE 7573.654
AT ITER 6285 NEW BEST:: SOT 35628 SOS 20573 HAS SOPS 12894 HAS SOUS 11202 HAS SOUPS 7543 WITH SCORE 7563.573
AT ITER 6304 NEW BEST:: SOT 35628 SOS 20573 HAS SOPS 12893 HAS SOUS 11201 HAS SOUPS 7542 WITH SCORE 7562.573
AT ITER 6470 NEW BEST:: SOT 35627 SOS 20572 HAS SOPS 12891 HAS SOUS 11200 HAS SOUPS 7540 WITH SCORE 7560.572
AT ITER 6486 NEW BEST:: SOT 35617 SOS 20526 HAS SOPS 12845 HAS SOUS 11184 HAS SOUPS 7524 WITH SCORE 7544.526
AT ITER 6572 NEW BEST:: SOT 35616 SOS 20530 HAS SOPS 12839 HAS SOUS 11210 HAS SOUPS 7518 WITH SCORE 7538.53
AT ITER 6657 NEW BEST:: SOT 35602 SOS 20523 HAS SOPS 12832 HAS SOUS 11203 HAS SOUPS 7511 WITH SCORE 7531.523
AT ITER 6766 NEW BEST:: SOT 35558 SOS 20596 HAS SOPS 12770 HAS SOUS 11223 HAS SOUPS 7509 WITH SCORE 7529.596
AT ITER 6836 NEW BEST:: SOT 35566 SOS 20604 HAS SOPS 12768 HAS SOUS 11213 HAS SOUPS 7507 WITH SCORE 7527.604
AT ITER 6846 NEW BEST:: SOT 35566 SOS 20599 HAS SOPS 12763 HAS SOUS 11207 HAS SOUPS 7501 WITH SCORE 7521.599
AT ITER 7012 NEW BEST:: SOT 35556 SOS 20616 HAS SOPS 12753 HAS SOUS 11254 HAS SOUPS 7491 WITH SCORE 7511.616
AT ITER 7033 NEW BEST:: SOT 35556 SOS 20615 HAS SOPS 12752 HAS SOUS 11268 HAS SOUPS 7490 WITH SCORE 7510.615
AT ITER 7136 NEW BEST:: SOT 35543 SOS 20602 HAS SOPS 12735 HAS SOUS 11255 HAS SOUPS 7473 WITH SCORE 7493.602
AT ITER 7189 NEW BEST:: SOT 35543 SOS 20565 HAS SOPS 12725 HAS SOUS 11245 HAS SOUPS 7463 WITH SCORE 7483.565
AT ITER 7195 NEW BEST:: SOT 35539 SOS 20460 HAS SOPS 12620 HAS SOUS 11237 HAS SOUPS 7455 WITH SCORE 7475.46
AT ITER 7211 NEW BEST:: SOT 35538 SOS 20461 HAS SOPS 12618 HAS SOUS 11239 HAS SOUPS 7453 WITH SCORE 7473.461
AT ITER 7219 NEW BEST:: SOT 35468 SOS 20382 HAS SOPS 12512 HAS SOUS 11219 HAS SOUPS 7424 WITH SCORE 7444.382
AT ITER 7225 NEW BEST:: SOT 35443 SOS 20367 HAS SOPS 12492 HAS SOUS 11194 HAS SOUPS 7399 WITH SCORE 7419.367
AT ITER 7336 NEW BEST:: SOT 35443 SOS 20363 HAS SOPS 12492 HAS SOUS 11194 HAS SOUPS 7399 WITH SCORE 7419.363
AT ITER 7420 NEW BEST:: SOT 35443 SOS 20380 HAS SOPS 12509 HAS SOUS 11193 HAS SOUPS 7398 WITH SCORE 7418.38
AT ITER 7607 NEW BEST:: SOT 35447 SOS 20362 HAS SOPS 12519 HAS SOUS 11183 HAS SOUPS 7392 WITH SCORE 7412.362
AT ITER 7632 NEW BEST:: SOT 35445 SOS 20360 HAS SOPS 12515 HAS SOUS 11181 HAS SOUPS 7388 WITH SCORE 7408.36
AT ITER 7865 NEW BEST:: SOT 35443 SOS 20359 HAS SOPS 12513 HAS SOUS 11180 HAS SOUPS 7386 WITH SCORE 7406.359
AT ITER 7926 NEW BEST:: SOT 35444 SOS 20366 HAS SOPS 12508 HAS SOUS 11180 HAS SOUPS 7385 WITH SCORE 7405.366
AT ITER 7945 NEW BEST:: SOT 35443 SOS 20365 HAS SOPS 12506 HAS SOUS 11179 HAS SOUPS 7383 WITH SCORE 7403.365
AT ITER 7967 NEW BEST:: SOT 35441 SOS 20363 HAS SOPS 12502 HAS SOUS 11177 HAS SOUPS 7379 WITH SCORE 7399.363
AT ITER 8012 NEW BEST:: SOT 35438 SOS 20360 HAS SOPS 12496 HAS SOUS 11174 HAS SOUPS 7373 WITH SCORE 7393.36
AT ITER 8060 NEW BEST:: SOT 35430 SOS 20352 HAS SOPS 12488 HAS SOUS 11170 HAS SOUPS 7369 WITH SCORE 7389.352
AT ITER 8074 NEW BEST:: SOT 35417 SOS 20343 HAS SOPS 12491 HAS SOUS 11169 HAS SOUPS 7368 WITH SCORE 7388.343
AT ITER 8079 NEW BEST:: SOT 35409 SOS 20334 HAS SOPS 12483 HAS SOUS 11161 HAS SOUPS 7360 WITH SCORE 7380.334
AT ITER 8110 NEW BEST:: SOT 35408 SOS 20333 HAS SOPS 12481 HAS SOUS 11160 HAS SOUPS 7358 WITH SCORE 7378.333
AT ITER 8147 NEW BEST:: SOT 35406 SOS 20331 HAS SOPS 12473 HAS SOUS 11153 HAS SOUPS 7350 WITH SCORE 7370.331
AT ITER 8187 NEW BEST:: SOT 35406 SOS 20314 HAS SOPS 12456 HAS SOUS 11152 HAS SOUPS 7349 WITH SCORE 7369.314
AT ITER 8604 NEW BEST:: SOT 35404 SOS 20312 HAS SOPS 12452 HAS SOUS 11150 HAS SOUPS 7345 WITH SCORE 7365.312
AT ITER 8638 NEW BEST:: SOT 35402 SOS 20306 HAS SOPS 12446 HAS SOUS 11136 HAS SOUPS 7339 WITH SCORE 7359.306
AT ITER 8688 NEW BEST:: SOT 35402 SOS 20382 HAS SOPS 12438 HAS SOUS 11167 HAS SOUPS 7331 WITH SCORE 7351.382
AT ITER 8790 NEW BEST:: SOT 35430 SOS 20325 HAS SOPS 12495 HAS SOUS 11127 HAS SOUPS 7328 WITH SCORE 7348.325
AT ITER 8815 NEW BEST:: SOT 35426 SOS 20325 HAS SOPS 12487 HAS SOUS 11117 HAS SOUPS 7318 WITH SCORE 7338.325
AT ITER 8873 NEW BEST:: SOT 35392 SOS 20327 HAS SOPS 12450 HAS SOUS 11143 HAS SOUPS 7313 WITH SCORE 7333.327
AT ITER 8875 NEW BEST:: SOT 35389 SOS 20324 HAS SOPS 12444 HAS SOUS 11140 HAS SOUPS 7307 WITH SCORE 7327.324
AT ITER 8895 NEW BEST:: SOT 35389 SOS 20318 HAS SOPS 12438 HAS SOUS 11134 HAS SOUPS 7301 WITH SCORE 7321.318
AT ITER 8942 NEW BEST:: SOT 35383 SOS 20312 HAS SOPS 12421 HAS SOUS 11123 HAS SOUPS 7284 WITH SCORE 7304.312
AT ITER 9053 NEW BEST:: SOT 35374 SOS 20301 HAS SOPS 12412 HAS SOUS 11105 HAS SOUPS 7271 WITH SCORE 7291.301
AT ITER 9065 NEW BEST:: SOT 35372 SOS 20295 HAS SOPS 12408 HAS SOUS 11103 HAS SOUPS 7269 WITH SCORE 7289.295
AT ITER 9099 NEW BEST:: SOT 35372 SOS 20295 HAS SOPS 12405 HAS SOUS 11103 HAS SOUPS 7266 WITH SCORE 7286.295
AT ITER 9136 NEW BEST:: SOT 35366 SOS 20288 HAS SOPS 12392 HAS SOUS 11090 HAS SOUPS 7253 WITH SCORE 7273.288
AT ITER 9237 NEW BEST:: SOT 35364 SOS 20286 HAS SOPS 12388 HAS SOUS 11088 HAS SOUPS 7249 WITH SCORE 7269.286
AT ITER 9404 NEW BEST:: SOT 35364 SOS 20262 HAS SOPS 12364 HAS SOUS 11085 HAS SOUPS 7246 WITH SCORE 7266.262
AT ITER 9413 NEW BEST:: SOT 35357 SOS 20255 HAS SOPS 12356 HAS SOUS 11082 HAS SOUPS 7238 WITH SCORE 7258.255
AT ITER 9450 NEW BEST:: SOT 35355 SOS 20231 HAS SOPS 12341 HAS SOUS 11068 HAS SOUPS 7223 WITH SCORE 7243.231
AT ITER 9998 NEW BEST:: SOT 35346 SOS 20228 HAS SOPS 12344 HAS SOUS 11068 HAS SOUPS 7223 WITH SCORE 7243.228

BK_STOP 1678614795333

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is LamportFastMutEx-PT-6, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410400432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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